std.causal.transport

Transportability and selection-bias helpers.

(import std.causal.transport)
SymbolDescription
(s-node? n)True when n is an S-node marker (a symbol whose name starts with S).
(do:sBD? g x y z s-nodes)Selection back-door criterion: Z satisfies the back-door for (X, Y) and Y is d-separated from each S-node given X and Z.
(do:transport g* g y x)sID-style transport query. Returns either an immediate ID estimand, a transport adjustment estimand (sum z (prod (P* (y x ...z)) (P z))), or a (fail (transport ...)) witness. P* denotes source-domain interventional information.

Bidirected edges are expanded to latent parents for d-separation checks.