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

Reproduce do-calculus derivation graph: Prop1 components=2^|V|-1, Prop2 size=3^|V\Y|, Thm3 R2 commutativity (empty-graph enumeration)

Update logbook: Repro - Do-Calculus Derivation Graphs

Update logbook: Repro - Do-Calculus Derivation Graphs

Update logbook: Repro - Do-Calculus Derivation Graphs

initial commit