3241 — The Quarter Obstruction Descends Around the Cyclic Residue Atlas
Question
Complete Entry 3237's one-edge test by constructing the and cyclic charts from source formulas and checking the signed three-chart composition.
Site cycle
Use
and
The retained coordinates therefore map as
and after a second cycle as
With the ambient orientation , the three cyclic Poincaré-residue transitions have signs
Source-level reconstruction
The one-cycle mark map is
The two-cycle chart has ordered marks
After substituting the cyclicly permuted external parameters and retaining these positional labels, the complete Cayley–Menger polynomial and all five marked linear forms are coefficientwise identical to the packet. This was checked at three independent integer kinematic points over both primes 32003 and 32009.
The result is structural rather than accidental: the target constructions call the canonical polynomial with argument orders
and
which return the original ordered arguments after the corresponding site permutation.
Composition
The three explicit mark maps compose to identity. Since the retained fiber coordinates are positional identities and all three orientation signs are positive, the full signed cyclic transport is also identity.
Consequently each cyclic chart carries the same first-normal lifting obstruction:
at , and
at .
Conclusion
The quarter-supported lifting obstruction descends around the complete residue atlas. Together with Entry 3237's reflected edge, this supplies cyclic descent plus one nontrivial reflection edge for the frozen occurrence packet.
This establishes occurrence covariance of the finite-field obstruction mechanism. It does not identify a physical cycle pairing or promote the quarter supports to characteristic zero.
Next falsifier
Test the reflection–cycle compatibility relation generating the full action on the obstruction complex. The required relation is not merely equality of ranks: the reflected transport must conjugate the cyclic generator to its inverse, including the Poincaré-residue sign.
Evidence
research/benincasa/checkers/exponent_adapter_cyclic_occurrence_descent.pyresearch/benincasa/results/exponent_adapter_cyclic_occurrence_descent.json- Entry 3237's independently reconstructed reflection packet.
Ledger number authority: seqclaim-debfd2fd80ba1661f81c130b.