Scope
Chapter “The admissibility frontier”, section “Three local motion types”. This is assertion 4 of 6 in that section.
Expanded claim page · assertion 4 of 6
Three local motion types
EstablishedTranslator
Follows from declared assumptions and has an inspectable certificate. moves a structure between mathematical, physical or ordinary languages.
Exact assertion
The live Claimipedia carrier now supplies that local cell without fitting: authored source and target roles define a grading that anticommutes with rail exchange, and their product is the negative-square quarter-turn. Its null mixtures are canonical within-fibre rail transfers. The crucial refusal is equally exact: the quarter-turn exchanges signed incidence with unsigned co-incidence rather than preserving the original response, and the scalar rail quotient erases it. Three other certified corpus carriers repeat the same Cl(1,1) grammar, but no cross-carrier intertwiner, shared action or detector record yet makes them one physical operator.
What this commits us to
The stated conclusion follows inside the declared model. Reusing it elsewhere requires carrying the same object definitions, assumptions and typing.
Logical anatomy
Evidence posture
Audit the declared carrier, assumptions and certificate. The result is exact only within that written scope.
Research move
moves a structure between mathematical, physical or ordinary languages.
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
Locate a mismatched definition, an omitted assumption, a failed certificate step or a counterexample on the declared carrier.
Source map
Controlling documents
- admissibility 129 elliptic hyperbolic parabolic local alphabetOpen controlling document →
- admissibility 130 quarter turn and mirror generate the dual seamOpen controlling document →
- admissibility 131 the authored rail grading closes the local clifford cell but opens a coincidence channelOpen controlling document →
- admissibility 132 cross corpus clifford cell atlas and exhaustionOpen controlling document →
- admissibility 133 the incidence coincidence doublet detects odd cycle topologyOpen controlling document →
- admissibility 134 no global semantic adjoint exists on the current claimipedia relation sourceOpen controlling document →
- admissibility 142 a three resonator parity switch turns the dual face into a detectorOpen controlling document →
- admissibility 123 locally invariant carrier and mirror face spineOpen controlling document →
- admissibility 126 typed two rail positive lift preserves the mirror faceOpen controlling document →