PASS: left snake
PASS: right snake
PASS: loop value
PASS: Temperley-Lieb square
PASS: three-strand contraction 121
PASS: three-strand contraction 232
PASS: crossing inverse, right
PASS: crossing inverse, left
PASS: braid relation
PASS: curl eigenvalue
PASS: reduced GJV two-point identity
PASS: two-point denominator vanishes at A=-1
PASS: CK six-edge skew form is P-transpose Omega P
PASS: opposite-edge radical vector 1
PASS: opposite-edge radical vector 2
PASS: opposite-edge radical vector 3
PASS: peripheral quantum-torus convention
PASS: inverse-map representatives: H(m-r1)=Xm
PASS: Psi Phi minus identity is a filling relation
PASS: Phi Psi difference factors through meridian
PASS: Phi X explicit right-ideal factorization
PASS: Phi Y explicit right-ideal factorization
PASS: Phi kills first filling generator
PASS: Phi kills second filling generator
PASS: Phi Psi is identity modulo meridian relation

All 25 exact checks passed.
No numerical approximation, manifold census, or nonvanishing claim.
