Scope
Chapter “The admissibility frontier”, section “the graph has a Jordan face, but does not choose its cone”. This is assertion 1 of 3 in that section.
Expanded claim page · assertion 1 of 3
the graph has a Jordan face, but does not choose its cone
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 Claimipedia relation algebra contains more Jordan structure than the earlier gate language allowed. Removing its directed-path radical leaves a reversible two-state matrix block. Transpose exchanges the two reverse arrows, and its fixed three-coordinate space is exactly the rank-two Jordan algebra of symmetric two-by-two matrices.
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 111 relation quotient jordan face and positive order boundaryOpen controlling document →
- frontier wave7 38 radical quotient and c2 exhaustionOpen controlling document →
- admissibility 86 positive spectral atom and measure evaluation witnessOpen controlling document →