Manuscript VIII-C@3 · VIII-C-v3.tex · section · 3b070436
Conditional theorem architecture
Problem, contribution, and logical scope › Conditional theorem architecture · lines 177–224
The required geometric realization and location-transport interfaces are stated in sec:families,sec:commands. They are hypotheses of the conditional scheduling theorem. A citation does not replace an interface statement or independently validate its implementation.
By contrast, the completeness, token, record, support, recovery, and non-identification statements added here are proved locally. They are not imported as additional premises from companion manuscripts. Their citations identify corresponding results and comparisons in Cheung's series.
The two substrate profiles are alternatives. Their moving cores are not glued together, and no profile-switching command is supplied. A collar-refined representation must already be installed before collar flow acts. Source and incidence remain separate command kinds.
| Object | Status |
|---|---|
| Realization and transport interfaces | Explicit hypotheses of the conditional composition theorem |
| T0 source token | Supplied with a semantic promise; not acquired or verified |
| Particle incidence | At a fixed installed packet in profile |
| Four-face exchange | In the separate particle-free moving patch of profile |
| Collar flow | A separately installed module; absent from the hybrid dictionary |
| Mixed incidence–source germ | Not constructed or admitted |
| Backwards schedule support | A computational upper bound; not a physical causal past |
| Quantum recovery and holographic reconstruction | Not conclusions of reversible code decoding |
The dependency and source-locator tables in app:dependencies distinguish inherited hypotheses from locally proved statements.