Scope
Chapter “The admissibility frontier”, section “the phase target is relative, not absolute”. This is assertion 1 of 2 in that section.
Expanded claim page · assertion 1 of 2
Works after a named field, coefficient, boundary condition or control is supplied. checks assumptions, certificates, counterexamples and stopping rules.
Exact assertion
The free-Majorana part of the Monster 2A route now has exact reduced T1 and S₁ actions on all ten even genus-two spin sectors. The earlier exp(i*pi/4) fixed-sector phase was genuine but not yet an intrinsic device flux: a common anomaly-line convention can shift every phase assigned to one generator. What survives is relational. Under T1, a fixed-sector phase squared divided by a two-cycle product is exactly i. Under S₁, the odd--odd fixed sector divided by an even--even fixed sector is also i. Both comparisons survive sector rephasing and a common generator phase.
The construction is admitted only after the named additional input is supplied. The page records the dependency instead of hiding it inside the conclusion.
Chapter “The admissibility frontier”, section “the phase target is relative, not absolute”. This is assertion 1 of 2 in that section.
Identify the named external input and verify that the construction follows after it is supplied.
checks assumptions, certificates, counterexamples and stopping rules.
Show that the named input is inconsistent, insufficient, unavailable, or fails to imply the claimed construction.
Source map