Reproduce open do-Shapley claims: Thm 5.1 identifiability biconditional via Shpitser-Pearl ID algorithm on 4000 confounded ADMGs; r irreducible-set scaling d..2^d (2 claims)

Reproduce do-Shapley: Thm 5.1 identifiability + efficiency (residual 0), closed-set 8->5 classes, m=r phase transition to machine precision

Update logbook: Repro - Exactly Computing do-Shapley Values

Update logbook: Repro - Exactly Computing do-Shapley Values

Update logbook: Repro - Exactly Computing do-Shapley Values