Six-root peripheral attack: exact algebra verification
Ring: Z[i,t,t^-1], i^2=-1, A=t^2.
PASS: opposite-exponent collapse pulls back the full six-root skew form
PASS: the prime-reversal permutation is anti-symplectic
PASS: prime reversal is an involution
PASS: central-vertex elimination has the universal exact Weyl product factor
PASS: prime reversal preserves the full opposite-root sign row beta
PASS: fixed-parameter anti-map sends the native Lagrangian to CK's
PASS: conjugate inverse-root anti-map sends the native Lagrangian to CK's
PASS: fixed-parameter anti-map permutes all four central vertex monomials
PASS: inverse vertex relation has an exact generated-ideal witness
PASS: naive same-parameter inverse-root anti-map has a nonzero defect
PASS: ordered peripheral Weyl monomials obey LM=A^2 ML
PASS: first exact torus product-to-sum identity
PASS: second exact torus product-to-sum identity
PASS: two-generator commutator determines the named sum slope
PASS: both signs of the sum slope carry the same ordered A^-1 factor
PASS: the reciprocal of A^-1 LM is A^-1 L^-1 M^-1
PASS: inverse edge generator has its exact scalar witness
PASS: opposite multiplication reverses the full peripheral skew form
PASS: both cup coefficients differ by the same i A^(3/2) half-twist
PASS: the half-twist squares to the usual -A^3 framing scalar
All exact algebra checks passed.
Not certified by this script: GY's geometric diagram setup and local skein lemmas;
the raw GY/CK endpoint-duality and collar square; any nonvanishing theorem.
No manifold, triangulation, slope, or skein-configuration census was performed.
