PASS 01: squared-root PBW convention
PASS 02: PBW Laurent inverse
PASS 03: exact first native scalar c_e1=A^2=-B^2
PASS 04: exact second native scalar c_e2=B^7
PASS 05: exact native meridian scalar c_m=B
PASS 06: the exact longitude square retains its crucial minus sign
PASS 07: ALL-ORDERS: finite correct-sided certificate for 1-l^2
PASS 08: intermediate moment consequence y1^2=B^3
PASS 09: final local q-difference cancellation
PASS 10: all moment rows are isotropic
PASS 11: longitude commutes with both edge rows
PASS 12: the named meridian/longitude law is ml=A^2 lm
PASS 13: all nine angles are strictly positive and every triple sums to one
PASS 14: the specified affine character valuations for the three designated rows
PASS 15: native lifted affine angle equations have right-hand side two
PASS 16: moment basis has index two in the squared-w coordinate lattice
PASS 17: universal lattice-coordinate reconstruction, not saturation
PASS 18: the character exponent formula follows symbolically from the basis
PASS 19: the exact character sign is (-1)^k2 on that lattice
PASS 20: exact six-root lift of edge1
PASS 21: exact six-root lift of edge2
PASS 22: exact six-root lift of meridian
PASS 23: exact six-root lift of longitude
PASS 24: witness cannot be an actual nonnegative edge-incidence presentation
PASS 25: positive second-edge coefficient violates incidence by a universal linear bound
PASS 26: negative second-edge coefficient violates incidence by its valuation alone
PASS 27: admissible edge-lattice rows therefore span at most rank one
PASS 28: unit degrees: positive first-block coefficients
PASS 29: shifted degrees: positive first-block coefficients
PASS 30: shifted degrees: negative first-block coefficients
PASS 31: shifted degrees: positive third-block coefficients
PASS 32: shifted degrees: negative third-block coefficients
PASS 33: both exact degree functions have a unique zero at the zero lattice point
PASS 34: shifted zero-lattice summand has leading coefficient one
PASS 35: independent exact bounded-series check of all-order cancellation
PASS 36: the original algebraic cokernel unit is detected
PASS 37: the longitude difference is zero through the certified coefficient bound

37 exact checks passed.
All-orders certificate residual: 0 monomials.
Certified series sanity bound: A^16; unit and shifted longitude agree.
{"0": [1, 0], "1": [0, 1], "10": [-1, 0], "11": [0, -1], "12": [1, 0], "13": [0, 1], "14": [-1, 0], "16": [-1, 0], "2": [-1, 0], "3": [0, -1], "4": [1, 0], "5": [0, 1], "6": [-1, 0], "9": [0, 1]}
