Scope
Chapter “The admissibility frontier”, section “the logical frontier is two controls, not one group name”. This is assertion 1 of 1 in that section.
Expanded claim page · assertion 1 of 1
Works after a named field, coefficient, boundary condition or control is supplied. checks assumptions, certificates, counterexamples and stopping rules.
Exact assertion
The two-qutrit code now has an exact control boundary. Source-visible charge-word self-shears plus the optional puncture swap close to order 18; adding the source-labelled compiled mutual shear reaches 54; admitting local Fourier changes without the mutual shear reaches the order-1,152 imprimitive subgroup; and only admitting both reaches all 51,840 elements of Sp(4,F3). The coupled word is real mathematics, but it does not yet explain why one physical carrier executes it, and a Fourier or Legendre change of polarization is not automatically dynamics. The next work is therefore not a search for the group. It is to build one carrier with independently calibrated mutual and polarization-changing controls, record leakage, and predict held-out allowed and forbidden gate words with restricted stabilizer witnesses. Success would be a source-restricted logical laboratory; failure would leave the exact code/Jordan match as compatibility rather than a physical law.
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 logical frontier is two controls, not one group name”. This is assertion 1 of 1 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