Scope
Chapter “The admissibility frontier”, section “the graph has a Jordan face, but does not choose its cone”. This is assertion 2 of 3 in that section.
Expanded claim page · assertion 2 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 gain is exact and the loss is visible. Symmetrized relation composition supplies the Jordan product, while determinant and matrix rank come from the same block. But thirty dimensions of one-way history have been discarded, the two relation labels are folded into one off-diagonal coordinate, and at this quotient stage positive-semidefinite order is supplied by the real matrix representation rather than forced by the authored path algebra.
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 →