Scope
Chapter “Front matter”, section “Things before names”. This is assertion 2 of 2 in that section.
Expanded claim page · assertion 2 of 2
Things before names
Ledger / governanceSteward
Preserves provenance, status, stopping rules and navigation. preserves provenance, memory, status and continuity.
Exact assertion
For example, two coupled readouts and their nonnegative response come before \(H_2(\mathbb R)\); eliminating a hidden component comes before the Schur complement and Jordan triple; transport around a loop and a changed return come before holonomy.
What this commits us to
The claim organizes provenance, scope or stopping rules. It governs how evidence is read rather than adding independent physical evidence.
Logical anatomy
Evidence posture
Use this passage to inspect provenance, scope and stopping rules rather than as independent physical evidence.
Research move
preserves provenance, memory, status and continuity.
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
Find a provenance mismatch, stale status, broken link or stronger source that changes the ledger entry.
Source map
Controlling documents
- genuine exhaustion leaves no untyped internal work but seven named external or conditional frontiersOpen controlling document →
- all finite escapes from the minimal connection parent now end at new model constructionOpen controlling document →