Manuscript VII-J@1 · VII-J.tex · section · d8c01b04
What VII-E and VII-F actually provide
The problem and the predecessor ledger › What VII-E and VII-F actually provide · lines 222–270
The supplied texts permit exact, manuscript-specific attribution.
| Supplied result | Scope retained here |
|---|---|
VII-E, thm:locality, cor:local-readout | Backward support for prescribed block channels and their readouts, with radius , not radius unless |
VII-E, thm:retiming | Equality of the total channel under legal reordering of fixed labelled channels; no clock identification |
VII-E, prop:relay, prop:direction | An attained relay speed and an anisotropic velocity diamond; these are schedule statements |
VII-E, thm:pullback, thm:residual-obstruction | Record compatibility and residual distinction, respectively; the supplied labels are used rather than an unverified thm:record or thm:residual |
VII-F, thm:certificate | One particle-supported three-to-six slicing event on a fixed cone |
VII-F, thm:implementation | A forward-domain event-code circuit with retained history and identity action on internal matter; no causal embedding of its compiler gates |
These statements are cited as manuscript results CheungVIIE,CheungVIIF. The network and causal arguments used below are proved here.
VII-G's history-stability theorem is a compatible finite-channel comparison, not the physical event theorem CheungVIIG. VII-H's response distribution is neither a schedule nor an instrument CheungVIIH. The classical, domain, and numerical results of VII-A–D likewise do not construct the causal embedding studied here CheungVIIA,CheungVIIB,CheungVIIC,CheungVIID.