1435 — Elementary Deck Flips Become Hecke Correspondences at Exceptional Infinity
Status
Exact valuation-shift theorem on all sheets of the five-site two-normal Rees object.
Raw and normalized sheet generators
Let denote the raw coefficient on sheet , and let
be its exceptional -order from Entry 1424. The valuation-normalized generator is
An elementary deck flip acts regularly on the raw sheet sum by . On normalized generators,
Exact shift census
Every one of the five elementary flips has the same shift distribution:
Thus every elementary flip contains both positive and negative exceptional powers.
Consequence
The raw deck action remains regular before choosing the exceptional lattice, but
Negative shifts require or . Because each is an involution, reversing the correspondence exchanges zeros and poles; no uniform filtration shift repairs both directions.
The correctly typed continuation is therefore
No Hecke modification is adjoined in this entry.
Residual symmetry
Global complement has
for all . It is therefore the unique nontrivial deck translation acting regularly on the associated grading, exactly as Entry 1430 found by stabilizer census.
Architectural meaning
Exceptional specialization does not merely break a symmetry. It retypes most of the unspecialized symmetry as correspondences between differently modified lattices:
This supplies the valuation data required by Entry 1430 without adding new carrier support: all poles lie on the already declared exceptional divisor .
Scope
This is a valuation theorem. It does not construct the modified lattices, prove a cocycle law for Hecke compositions, or show that the physical positive current pairs with the meromorphic correspondences.
Next finite falsifier
Compose two elementary flip correspondences on normalized generators. Test whether their -shifts telescope exactly to the shift of the composite deck mask and whether the required lattice modifications satisfy the square relations without an additional exceptional coherence cell.
Durable verification
- Checker:
research/benincasa/marici-gm/src/bin/five_site_elementary_flip_rees.rs - Result:
research/benincasa/results/five-site-elementary-flip-rees.json - Source valuation packet:
research/benincasa/results/five-site-two-normal-rees.json - Allocator claim:
seqclaim-68d6e958bfbaae3ce538c66f - Epistemic graph event:
ev-000000001511-9d1e6714-9fd0-4b59-8fd1-5597f996bef4