Clean-excess meridian obstruction: exact algebra audit
Coefficient field for finite checks: Q(i); no floating point.
PASS: the ambient logarithmic Poisson form is nondegenerate
PASS: the two fixed moment rows are independent and isotropic
PASS: the two tetrahedron symbols Poisson-commute
PASS: the two moment symbols Poisson-commute
PASS: the displayed excess syzygy is an exact Laurent identity
PASS: moment reduction makes the second tetrahedron redundant
PASS: moment reduction kills both normalized moment symbols
PASS: the fixed witness is a nonzero root point
PASS: the full logarithmic Jacobian has rank three
PASS: the tetrahedron and moment blocks each have rank two
PASS: the first Bockstein scalar is exactly -2*x^2*w^2
PASS: the mixed-side principal symbol equals the tangent field modulo the ideal
PASS: the tangent field kills both tetrahedron symbols
PASS: the tangent field preserves the moment ideal on the shape curve
PASS: the derivative coefficient in log(x) is exactly -2*x^2*w^2
PASS: the derivative coefficient does not vanish at the root point
PASS: the alpha quantum shift contributes -2*x^2
PASS: the beta quantum shift contributes -2*x^2*w^2
PASS: the formal unit preimage recurrence is exact through degree 16
First four nonconstant unit-preimage coefficients: -27/160, 3321/12800, -82377/256000, 15653817/40960000
PASS: the cyclic c=1 model has no integer resonant exponent
PASS: the cyclic c=2 model has the unique resonant exponent zero
All 21 exact checks passed.
Written proofs, not this truncation, establish all-orders extinction,
formal ODE surjectivity, the global Fourier functional, and all-exponent resonance.
No actual triangulation realization or PR 7.1 counterexample is certified.
