(April 13) see report2/report.pdf for writeup of the high-level algebraic pipeline proposed to facilitate procedure-to-claim certification of causal inference.

(April 4) see report0/report.pdf for writeup of a motivating example of AIM semantics to provide formal semantics for defining operating characteristics of causal programs making binary decisions. operationalize.ml for source thereof.