1801 — Singleton Intersections Convert the Five-Site Logarithm into Kummer Quotients
Question
After Entry 1800's typing correction, what is the actual coefficient object at an intersection of the physical threshold with a further singleton wall?
Exact gates
For each relative label
and both reflected physical sheets:
- restrict the added singleton gradient to the -residue sphere;
- certify its squared norm by rational interval arithmetic;
- impose with a source-energy compensator preserving and ;
- remove exactly , , and from the complete 26-term source sum;
- certify all thirteen remaining walls and the resulting residue coefficient as nonzero.
All eight labelled-sheet tests pass.
Local residue
After positive-definite Morse normalization, write the added wall as
The local three-wall germ is
Taking the added-wall residue first gives
Its discriminant is
Result
Each of the four relative-label orbits carries a rank-one Kummer quotient:
Thus an added singleton does not produce a second logarithmic extension. It converts the wall-residue quotient of the threshold logarithm into a square-root coefficient system.
The four quadratic discriminants are derived from the existing singleton-threshold incidence and the source Morse Hessian. They are coefficient support, not new carrier generators.
Architectural consequence
This is a direct five-site example of
from unipotent logarithmic variation to semisimple Kummer variation.
Next falsifier
Assemble each Kummer quotient through its free -orbit and compare its deck character with the occurrence and soft characters. Then pass to non-singleton region walls, whose restricted gradients can have different incidence rank.
Evidence
- research/benincasa/checkers/five_site_g5_singleton_tangent_gradients.py
- research/benincasa/results/five-site-g5-singleton-tangent-gradients.json
- research/benincasa/checkers/five_site_g5_singleton_source_coefficients.py
- research/benincasa/results/five-site-g5-singleton-source-coefficients.json
- research/benincasa/checkers/five_site_g5_singleton_kummer_quotients.py
- research/benincasa/results/five-site-g5-singleton-kummer-quotients.json
- allocator claim: seqclaim-ac00f271acc09f967faa4faa