Scope
Chapter “The projective loop”, section “A familiar twisted-loop picture”. This is assertion 2 of 2 in that section.
Expanded claim page · assertion 2 of 2
A familiar twisted-loop picture
Interpretive mapAuditor
Organizes thought or workflow but is not evidence for a physical claim. checks assumptions, certificates, counterexamples and stopping rules.
Exact assertion
The programme's three-placement loop behaves similarly. Local transitions can be consistent while their product returns a central sign. Lifting the triangle to a six-cycle makes the sign bookkeeping single-valued, and a twelve-step marked transport can return every decoration.
What this commits us to
The claim supplies a map or analogy. It becomes a derivation only after an explicit carrier-preserving map and invariant are given.
Logical anatomy
Evidence posture
Treat the passage as organization or analogy unless a cited carrier-preserving map is supplied.
Research move
checks assumptions, certificates, counterexamples and stopping rules.
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
Provide an explicit map that preserves the claimed structure, then identify an observable consequence that the analogy alone did not supply.
Source map
Controlling documents
- the three placement triangle has a z2 sideband frustration and requires path dependence or a double coverOpen controlling document →
- the unique connected double cover of the placement triangle is the six cycle with sideband as deck parityOpen controlling document →
- the graded sideband antiunitary lifts the six cycle to a nested c12 to c6 to c3 transportOpen controlling document →