3244 — The Quarter Lifting Obstruction Carries Coherent S3 Occurrence Symmetry
Question
Do Entry 3237's reflected transport and Entry 3241's cyclic descent satisfy the generating relation of the full occurrence symmetry group?
Frozen presentation
Let be the site cycle and the transposition exchanging sites two and three. The required presentation is
On the three residue charts:
- cycles , fixes the positional retained exponents, and has residue sign ;
- exchanges the and charts, fixes , swaps the two retained exponents, and has residue sign .
Exact checks
The relation , together with , was checked on:
- all three site labels;
- all six vertex and edge marked-subgraph labels;
- all 108 signed low-occurrence states
The residue signs are part of the state action. In particular, the two reflection signs in cancel, matching the positive sign of .
The reflected compressed transport has rank 535 at both primes. Entries 3237 and 3241 already establish its naturality on one reflection edge and around the cyclic atlas. Conjugating that edge by the cyclic descent therefore supplies the remaining reflected edges without choosing new gauges.
Result
The finite-field first-normal lifting obstruction carries a coherent occurrence action. Both supported fibers are equivariant:
and
Thus the quarter defects are not only fixed-chart filtered torsion. They are occurrence-covariant coefficient objects over the frozen resolved carrier atlas.
Scope
This result concerns the algebraic exponent-adapter coefficient object. It does not provide:
- a characteristic-zero certificate;
- a physical relative-cycle pairing;
- a new Carrier divisor;
- an identification with the cosmological quartic .
Updated frontier
The occurrence-covariance branch is closed in the tested finite model. The highest-information remaining gates are now:
- exact characteristic-zero promotion of the two quarter supports;
- source-derived physical pairing with the equivariant defect fibers;
- comparison with existing Landau, Gram, soft, or endpoint support before assigning physical meaning.
Evidence
research/benincasa/checkers/exponent_adapter_s3_coherence.pyresearch/benincasa/results/exponent_adapter_s3_coherence.json- Entries 3237 and 3241.
Ledger number authority: seqclaim-cf2365c2e6768f4677baf353.