Reader orientation
Volume I implements the inversion as a closed first-order programme with explicit signature discipline. Primitives are introduced once, derived terms are defined once, and proofs cite earlier labelled material.
Contrast remains a meta-level admissibility discipline. Object-language begins at distinction, while truth-value language becomes available only under the relevant closure and interface conditions.
- closed formal language and station discipline
- diagonal obstruction to isolated self-settlement
- closure witness and Return as completed certification
- Presence, Absence, and unresolved readings as later interface discipline