1833 — The Deformed Region-Pair Coefficient Germ Is Cyclically Natural
Equivariant Landau equations
Let , and let generate the labelled five-cycle. The physical Landau map satisfies
Entry 1832 proves that the solution of is locally unique. Applying to that solution and using uniqueness therefore gives
This identity holds for the whole local implicit germ, not merely its value on the homogeneous slice.
First jets and thresholds
Differentiating gives the labelled first-jet identity
In particular,
Thus no fitted transition matrix or occurrence-dependent normalization is needed to transport the critical-value discriminant.
Coefficient-family assembly
Entry 1830's ordered double-Leray orientation is constant on the same orbit. Combining it with the unique equivariant deformation gives a local -equivariant family of logarithmic coefficient lines:
This promotes Entry 1829's fiberwise cyclic packet to a coherent local family. No new carrier datum is required.
Remaining boundary
The result is local in external kinematic space. It does not supply the global Bunch--Davies relative chain, continue through other discriminant components, or prove global sewing with different occurrence orbits.
Next falsifier
Compute intersections of this local discriminant family with the already frozen total-energy and soft divisors. Test whether nearby cycles and excess terms are generated by the existing support calculus. A residual class that requires a new incidence stratum would be the first carrier-level challenge from this physical orbit.
Evidence
research/benincasa/checkers/five_site_region_pair_cyclic_deformation_naturality.pyresearch/benincasa/results/five-site-region-pair-cyclic-deformation-naturality.json- Entries 1829--1832
- allocator claim:
seqclaim-3dd29df907596fa40476ba59