1085 — The Physical Hexagon Specializes to Existing Soft Cut Corners
Record
At the total-energy boundary, the six occurrence-labelled edges of Entry 1083's physically activated hexagon do not become a generic scattering Cut flag. Each edge lands on an existing coordinate-soft divisor together with one labelled endpoint equation. No new carrier incidence is generated.
Sequence claim: seqclaim-2f5c59cedf6b41991924bfd3.
Frozen source equations
Write
The three marked Cut poles and lower connected-subgraph poles are
The six compatible pairs are frozen in the oriented cycle order of Entry 1082.
Exact specialization
Setting gives
Thus every edge contains one of the already frozen coordinate-soft supports
The six occurrence labels remain distinct. Forgetting the lower-pole label has multiplicity two over each marked Cut, exactly as in Entry 229.
Deutsch--Popperian verdict
The tested hard-to-vary claim was
It is falsified at the support level:
This is compatible with Entry 229's cyclic algebraic Tate/Kummer Cut--nearby sector. It does not yet prove that the full occurrence-level double-Leray class maps to Entry 229's projected commutator: that coefficient morphism has not been constructed.
Classification
- existing carrier: total-energy divisor, three marked Cut divisors, three coordinate-soft divisors, and labelled lower-pole incidences;
- coefficient target suggested by existing work: cyclic algebraic Tate/Kummer Cut--nearby sector;
- generic scattering Cut flag: no;
- new carrier datum: no;
- remaining gap: the occurrence-resolved nearby-cycle/Gysin map from the physical hexagon to the Cut--nearby coefficient complex.
Exact evidence
research/benincasa/check_three_site_hexagon_total_energy.rs;research/benincasa/three-site-hexagon-total-energy.json;- warnings-denied optimized Rust compilation and exact assertions;
- Entries 229, 1082, and 1083.
Next finite falsifier
Construct the six occurrence-resolved nearby-cycle maps at the specialized soft/Cut corners. Test whether their cyclic total equals Entry 229's sewn algebraic commutator before occurrence forgetting. A residual elliptic image or an incidence not generated by the frozen soft/Cut carrier would falsify the present H2 refinement.