Step 017 — Boundary-first inversion
Book II reverses the classical order in which topology is chosen first, continuity is defined over it, and holomorphy is then imposed as an analytic condition.
Book II reverses the classical order in which topology is chosen first, continuity is defined over it, and holomorphy is then imposed as an analytic condition.
Book / layer. Book II · E0
Macro step. CS-02 — Recover Core Mathematics
Short routes. https://prrp.site/s17 · https://prrp.site/s017
Status tags. formal
Construction role
Book II reverses the classical order in which topology is chosen first, continuity is defined over it, and holomorphy is then imposed as an analytic condition. In τ, the admissible ω-germ transformer grammar of Book I is primary: holomorphy/probe compatibility supplies continuity; continuity supplies topology; topology supplies geometry. This inversion is the reason Book II can earn topology from the kernel rather than borrow it as ambient structure. The inspection question is correspondingly sharp: whether any topological assumption enters before the ω-germ/probe grammar has earned it.
What this step earns
Boundary-first inversion is made addressable as Step 017 in the fine-grained Construction Spine routing layer.
- Routing scaffold. Detailed earned-output extraction is pending the source-map pass.
What this step does not yet establish
This route exposes the RC3 construction step for inspection. It does not by itself establish peer review, empirical adequacy, or final manuscript-level source closure.
Source anchors
- Full Construction Spine RC3 whitepaper source (papers/whitepapers/panta-rhei-construction-spine-e0-e3/main.tex:283)
Manuscript extraction state: Detailed source anchors pending extraction.
Anchor classification: whitepaper source resolved; manuscript extraction pending; Registry extraction pending; TauLib extraction pending.
Formalization and verification
Registry links: Registry extraction pending.
TauLib modules: TauLib module extraction pending.
Dependencies
- Previous: Step 016 — Global Hartogs
- Next: Step 018 — τ³ as geometric readout τ¹×_f T²
Navigate
Save or share this page for inspection
Download a portable dossier, copy a reviewer note, or send this page to someone who can inspect it.