Manuscript VIII-C@3 · VIII-C-v3.tex · section · 3b070436
Dependencies and version-qualified source locators
Dependencies and version-qualified source locators · lines 2465–2558
| Result | Required hypothesis | Local work |
|---|---|---|
| Result | Required hypothesis | Local work |
| C1 | Particle and four-face realization interfaces | Endpoint length derivations, affine rates, collar realization, reference-frame preservation |
| C2 | Certified particle and four-face germs and isolation | Restricted catalogue, cap separation, preservation under flow |
| C3 | Complete command outputs, certified transports, deterministic control | Legal-domain composition, complete-output induction, paired executions, rejection at every installed packet |
| C4 | Particle interface and supplied token promise | Explicit word, packet algebra, worldline intersections, permission trace |
| C5 | Prescribed finite block channels | Local adjoint-inclusion and metric proofs, joint-reference statement, ancestry/influence separation |
| C6 | Finite deterministic canonical maps and transports | Permutation completion, composite code domain, separate semantic class, decoder induction, exact hybrid budget |
predecessor locators. The main textual locators are:
VIII-A, version 2:
A:def:Ein,A:thm:A1,A:thm:A4-stale,A:thm:A4-time.VIII-B, version 2:
thm:dictionary,thm:persistence,thm:source-map,thm:finite. The persistence and finite-table results were called B3 and B5 in the supplied earlier revision plan; textual labels avoid dependence on export numbering.VII-E, version 1: its four-face realization, exchange, transport, and ambient matching interface.
VII-F, version 1: the fixed-deficit particle realization and persistent-label convention.
locators, not additional hypotheses.
| Manuscript | Local role in VIII-C |
|---|---|
| VIII-B; VII-G | Expectation-token and affine deterministic-label obstructions |
| VII-E; Landmark I | Accessible adjoint images, residual/record distinction, destructive ownership |
| En05-A; En03-A; En05-C | Scheduled support and regional determination |
| VII-J; En06-A | Independently certified physical containment; algebraic microcausality is a separate interface |
| Oai280-C; Hawk04-B | Full-code recovery and record-only quantum-return obstruction |
| Em02-E; XVII-A | Relational lapse and entanglement-wedge non-identifications |
| Oai282-A; Oai282-B | Conservation and trace do not imply Einstein dynamics |
The supplied excerpts and realization data support these comparisons. The Enter Calculus Companion provides manuscript identifiers and passage locators; it is not a proof checker. A relationship, citation, registry entry, or restatement is not an independent verification. Stable full versions of any unpublished realization certificates relied upon should accompany technical review.