Manuscript I@2 · I.tex · section · 85631fa7
Companion-source provenance and non-transfer
Companion-source provenance and non-transfer · lines 3086–3147
The companion references below use manuscript identifiers, file names, and supplied versions rather than invented publication titles, dates, or DOIs. They are unpublished source records associated with the Enter Calculus Companion CompanionRegistry. Label locators identify statements within those versions; they are not internal cross-references to this manuscript.
| Source record | Use in this manuscript |
|---|---|
| En03-A, v1 | Three measurement interfaces, effect pullback, residual-instrument distinction, and prescribed-schedule locality. None is a new Born axiom or a solution of P1–P3. |
| En02-B, v1 | Resource-certified decoder soundness under fixed Born semantics and a schedule-dependent coherent/adaptive peak separation. |
| Psy02-B, v2 | Complete process equality implies equality of permitted adaptive record laws. No converse is attributed to its process theorem. |
| Hawk01-A, v1; Hawk02-A, v1 | Finite-channel nonidentifiability from matched marginal and thermal diagnostics; not a microscopic dynamics premise. |
| Hawk01-B, v1 | Destructive number-record access is not coherent code recovery. |
| Em03-C, v1; Em03-E, v1 | Finite observation and transfer interfaces do not by themselves construct an interior algebra or resolve horizon physics. |
| XIV-I, v1 | A named internal amplitude construction is distinct from the unconstructed joint characteristic map and an admitted coefficient. |
The mathematical core is self-contained. The supplied companion excerpts and registry summaries are not treated as machine verification, independent replication, or certificates for this source. A source dependency, analogy, or documented continuation is not automatically a formal premise.
No claim is made to reproduce an unavailable fourteen-figure companion layout. The figures in this manuscript are explanatory diagrams of its displayed definitions and proofs.