Claim [5]: add concrete experiments for Theorems 3, 4, 5 rule commutativity -- self-tested do-calculus engine (mutilation + d-separation), same-direction biconditional commutativity (0 asymmetries over 4000 DAGs) and mixed-direction weak one-way commutativity with converse-failure witnesses
verified 
DineshAI commited on 