Manuscript En03-A@1 · En03-A.tex · section · 5398614e
Documentary source ledger
Documentary source ledger · lines 3251–3320
The companion identifiers below are source records, not formal premises of the proofs. Full passages were supplied for I, VII-E, and selected VII-J statements. Other entries were supplied as statement summaries or revision recommendations. They are cited at that level; no missing full text or publication metadata is reconstructed.
| Source record | Interface comparison | Local replacement or boundary |
|---|---|---|
| Source record | Interface comparison | Local replacement or boundary |
| I; Enter article | Destructive measurement and surviving interfaces | def:enter,def:recording,def:nondestructive; Born semantics assumed, not rederived. |
| VII-E | Observation boundary, records, residuals, continuation | thm:spectators,thm:pullback,prop:accessible, ip:algebraclosure; all proofs local. |
| VII-J | Scheduled ancestors and no-signalling factorization | ip:nosignal,ip:networkcut; no physical cone or speed constant imported. |
| Psy02-A | Sequential instruments and probability error | thm:obstruction,ip:process; effects alone do not specify updates. |
| Psy02-B | Complete-process equality, overlap, and sampling | ip:process,ip:record-sampling; no conformational model imported. |
| Psy03-A | Classical population boundary and evaluation | eq:classical-population,ip:scalar-sampling; generator and independence stated locally. |
| Psy03-B; Psy03-C | Classical-register memory and persistent-label obstruction | ip:classicalmemory; no quantum-memory resource inference. |
| Psy03-D | Observation obstruction, leakage, sequence concentration | eq:record-allowance,ip:scalar-sampling; changing the carrier does not add an observation channel. |
| Psy04-A | Complete retained-state capacity boundary | Source-summary comparison only; no unavailable capacity theorem imported. |
| Em05-A | Half-diamond normalization and spectator conventions | eq:half-diamond; arbitrary extensions here use lem:trace, not a pure-spectator shortcut. |
| Em06-B | Declared-family stability and causal accounting | ip:stability; no scalar coefficient, field equation, or metric transferred. |
| En01-B | Unnormalized residual accounting | ip:residual; no calibration or apparatus model transferred. |