Admissibility frontier · Edition 3

Expanded claim page · assertion 1 of 1

the logical frontier is two controls, not one group name

ConditionalAuditor

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.

What this commits us to

The construction is admitted only after the named additional input is supplied. The page records the dependency instead of hiding it inside the conclusion.

Logical anatomy

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.

Evidence posture

Identify the named external input and verify that the construction follows after it is supplied.

Research move

checks assumptions, certificates, counterexamples and stopping rules.

Verification route

  1. Recover the declared objects and assumptions from the controlling documents.
  2. Check the calculation, construction, obstruction or stopping rule on those same objects.
  3. Compare the source conclusion with the exact assertion above; do not strengthen its verbs or enlarge its domain.
  4. Apply the status rule and retain every named external dependency.

What would move or defeat this claim

Show that the named input is inconsistent, insufficient, unavailable, or fails to imply the claimed construction.

Source map

Controlling documents