1803 — Nine Region-Wall Families Produce Kummer Quotients and Six Are Source-Absent
Question
Do non-singleton region walls create higher tangencies or new coefficient types at the physical five-site threshold?
Geometric census
For the representative - threshold, the frozen five-cycle packet contains fifteen non-singleton region-wall labels. On both reflected physical sheets, exact rational interval arithmetic proves that every wall has nonzero tangential gradient on the -residue sphere.
Thus all thirty labelled-sheet germs are linear–Morse, not higher tangent.
Source-support partition
The source packet divides the fifteen labels into two classes.
Six labels never occur in a term containing :
Their carrier intersections exist, but the corresponding wall-residue quotient is absent from the frozen source.
Nine labels do co-occur:
For each label and both reflected sheets, impose the wall with a source-energy deformation preserving the threshold point. Between six and twelve source terms contribute. Exact interval arithmetic certifies every remaining wall and every complete residue coefficient as nonzero.
Coefficient quotient
Each supported germ reduces to
Hence its added-wall residue is a rank-one Kummer line on
with
Cyclic assembly
Each of the nine relative labels generates a free -orbit. Therefore the assembled object has
Architectural result
No higher tangency and no new carrier generator appear. The distinction between carrier incidence and coefficient activation is determined exactly by source occurrence data.
Next falsifier
Study intersections among two added supported region walls. Their two restricted gradients may be independent or collinear; the collinear cases are the first candidates for a genuinely higher coefficient collision.
Evidence
- research/benincasa/checkers/five_site_g5_region_wall_tangent_census.py
- research/benincasa/results/five-site-g5-region-wall-tangent-census.json
- research/benincasa/checkers/five_site_g5_region_wall_source_coefficients.py
- research/benincasa/results/five-site-g5-region-wall-source-coefficients.json
- research/benincasa/checkers/five_site_g5_region_wall_kummer_quotients.py
- research/benincasa/results/five-site-g5-region-wall-kummer-quotients.json
- allocator claim: seqclaim-1c150238936814cda7c49e88