The axiomatic-core module (axioms.py)

Verifies the foundation of Section §4 (ledger row A): the U₂ force is central with zero total force (momentum conserved); a two-body U₂ potential produces no centre-of-mass motion while a real dipole self-propels at Γ/2π d (the No-Go); and the triple-product reduces to S_ijk=2A_triangle(L_i+L_j+L_k) to machine precision, with U₃ inducing a nonzero transverse force on the pair CM (the restored self-propulsion channel).

)} Verifies the foundation of Section §4 (ledger row A): the U₂ force is central with zero total force (momentum conserved); a two-body U₂ potential produces no centre-of-mass motion while a real dipole self-propels at Γ/2π d (the No-Go); and the triple-product reduces to S_ijk=2A_triangle(L_i+L_j+L_k) to machine precision, with U₃ inducing a nonzero transverse force on the pair CM (the restored self-propulsion channel). Its in-body a

)} Verifies the foundation of Section §4 (ledger row A): the U_2 force is central with zero total force (momentum conserved); a two-body U_2 potential produces no centre-of-mass motion while a real dipole self-propels at $\Gamma/2\pi d$ (the No-Go); and the triple-product reduces to $S_{ijk}=2A_\triangle(L_i{+}L_j{+}L_k)$ to machine precision, with U_3 inducing a nonzero transverse force on the pair CM (the restored self-propulsion channel). Its in-body algorithm boxes are in Section §4. Full source ships as axioms.py.