Scope
Chapter “The admissibility frontier”, section “the local reversal stops at the path memory”. This is assertion 1 of 3 in that section.
Expanded claim page · assertion 1 of 3
the local reversal stops at the path memory
Interpretive mapIntegrator
Organizes thought or workflow but is not evidence for a physical claim. joins several typed results while letting the weakest edge set the claim.
Exact assertion
The obvious attempt to promote the local Jordan face back to the whole relation graph fails exactly. None of the four aggregate relation operators remains inside the 35-dimensional algebra when transposed.
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
joins several typed results while letting the weakest edge set the claim.
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
- admissibility 112 the jordan face involution does not lift through path memoryOpen controlling document →
- admissibility 111 relation quotient jordan face and positive order boundaryOpen controlling document →
- frontier wave7 38 radical quotient and c2 exhaustionOpen controlling document →