Scope
Chapter “Proton safety, Pati–Salam and triality”, section “The surviving route”. This is assertion 2 of 2 in that section.
Expanded claim page · assertion 2 of 2
The surviving route
ConditionalBuilder
Works after a named field, coefficient, boundary condition or control is supplied. constructs a model, mechanism, calculation, protocol or intervention.
Exact assertion
This is a live conditional route, not closure: global anomalies, heavy thresholds, the full finite triple and the third edge remain decisive gates.
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
Evidence posture
Identify the named external input and verify that the construction follows after it is supplied.
Research move
constructs a model, mechanism, calculation, protocol or intervention.
Verification route
- Recover the declared objects and assumptions from the controlling documents.
- Check the calculation, construction, obstruction or stopping rule on those same objects.
- Compare the source conclusion with the exact assertion above; do not strengthen its verbs or enlarge its domain.
- 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
- NCG Pati Salam Model C realizes the safe source split but its minimal left right pair still closes the Wilson triangleOpen controlling document →
- the minimal spectral graph has an all orders rank one bridge normal form that forbids holomorphic cross six mixingOpen controlling document →
- the \(\mathbb Z_9\) extension not its naive mod3 reduction realizes baryon triality and matches the Dai Freed mod9 anomalyOpen controlling document →