1834 — The Physical Region-Pair Discriminant Has a Clean Open-Stratum Neighbourhood
Exact separation margin
At the representative physical pinch, rational interval arithmetic separates the critical point from:
- the total-energy wall ;
- all five edge-soft loci ;
- every other denominator occurring in the frozen source terms.
The minimum certified margin is
This is not a numerical nearest-distance estimate. It is a common lower bound extracted from the exact isolating interval used for the critical point.
Open neighbourhood
Entry 1832 gives a unique smooth deformation of the Landau solution. By continuity and the positive separation margin, there is a labelled external neighbourhood in which the whole critical-value discriminant remains away from all the supports listed above.
Hence the local family lies in the open stratum of the existing incidence
and requires no local excess, nearby-cycle, or Gysin correction from another carrier wall.
Generic H2 test
On this neighbourhood the complete local architecture is
There is no residual local structure to classify as a new carrier datum. This is a direct generic-sector success of H2 after the physical pullback gate.
Scope and next frontier
The statement is local and generic. The boundary closure of the multivariate discriminant may eventually meet total-energy, soft, or other source walls. Those collisions must be computed from the dehomogenized family; they cannot be inferred from the clean neighbourhood.
The next hostile test is therefore boundary closure, not further generic local algebra. Determine the first collision of this coefficient discriminant with a frozen carrier divisor and test whether the existing nearby/Gysin calculus resolves it.
Evidence
research/benincasa/checkers/five_site_region_pair_open_stratum.pyresearch/benincasa/results/five-site-region-pair-open-stratum.json- updated
research/benincasa/results/five-site-disjoint-region-pair-source-residue.json - Entries 1832--1833
- allocator claim:
seqclaim-d228827b80009cd6e0863404