1943 — The Contracted Triple-Wall Fold Specializes to Signed-Energy Support, Not (mathcal Q)
Question
Entry 1942 constructs the unique carrier contraction selected by the active five-site walls. Before choosing either physical slice, what is the target triangle's generic three-singleton Landau discriminant, and does its homogeneous specialization produce (mathcal Q)?
Generic contracted triangle
Let (X,Y,Z) be the three contracted site energies and let
with (P_A+P_B+P_C=0). The three singleton wall equations solve uniquely as
Choose routing foci (0,P_A,-P_C). Their Gram matrix is
The common intersection of the three radius constraints has transverse height discriminant
where
This formula is derived from the frozen sphere-intersection geometry; no candidate polynomial is fitted.
Homogeneous specialization
Set
Exact Symbolica reduction gives
Thus the contracted three-wall fold lands entirely on the existing signed-energy arrangement.
By contrast, the source quartic is
It is not equal to (Delta_{\rm sing}^{\rm hom}). Moreover its restrictions to the three signed-energy walls are respectively
so no signed-energy wall is a generic component of (mathcal Q=0).
Result
Its target fold specializes to already frozen energy-arrangement support, whereas (mathcal Q) remains the distinct Källén collision discriminant of Entry 660's two-sheeted coefficient cover.
Scope and programme appraisal
This closes one Q-1 protective-belt hypothesis narrowly: Entry 1941's physical five-site successor quartic is not a parent of (mathcal Q) through the occurrence-selected graph contraction. It does not exclude some other source-derived enlargement or comparison from relating the two.
The negative result is progressive because it derives the target object and predicts its exact homogeneous support before comparing with (mathcal Q). No carrier modification is required.
Next falsifier
Treat (D_4) as an independent higher-site coefficient divisor. Compute its nearby-cycle specialization at the existing five-site soft and total-energy intersections, and test whether the logarithmic extension is generated by the established support calculus. Do not continue searching for a (D_4\to\mathcal Q) factor map along this contraction.
Evidence
research/benincasa/marici-gm/src/bin/contracted_triangle_singleton_discriminant.rsresearch/benincasa/results/contracted-triangle-singleton-discriminant.json- Entries 660, 1941, and 1942
- allocator claim:
seqclaim-7b818c93dcd14357669ccb70