Manuscript XIX-C@1 · XIX-C.tex · section · 98b067d9
Finite constructions and their nontransfer boundaries
Documentary comparisons and unchanged obligations › Finite constructions and their nontransfer boundaries · lines 1434–1526
The following table records the supplied scopes, not independent verification of every predecessor proof.
| Record | Comparison and refusal |
|---|---|
| Record | Comparison and refusal |
| VIII-A, v3 | The supplied record describes a finite affine matching interface, a residual–record split, and one accepted three-to-six certificate at deficit . Admissibility is not a sourced dynamical law CheungVIIIA. |
| VIII-B, v3 | The supplied record describes a deterministic packet constructor on a compact deficit interval, matching uniqueness, rejected updates, and a finite promised-token table. The table does not acquire the expectation or construct the mixed incidence–deficit germ CheungVIIIB. |
| VIII-C, v3 | The supplied record composes fixed-packet flow, guarded incidence, and regular source replacement. Complete output certificates retain packet data. Its computational support bound is not an independently supplied physical causal past CheungVIIIC. |
| VII-J | Timed dependency, actual intervention-based influence, and physical causality are distinct. Its fixed-cone communication and buffered two-qubit transport statements do not evolve the cone or derive Lorentz invariance CheungVIIJ. |
| En05-A | Snapshot, channel, and adjoint-support comparisons are finite operational statements. Its full continuum and frame-covariance package requires additional hypotheses. No incidence realization satisfying that package is supplied here CheungEn05A. |
| Landmark I, v2 | Finite destructive readout returns records and residual outputs under a stated structural class. Budget-stable finite-instrument claims are not a continuum clock, an independence theorem, or a field-theoretic instrument CheungI,CheungEnter. |
| En05-B | Its supplied isotropic operational-limit construction concerns its own growing directional family and matched experiment class. It is not imported as the continuum limit of VIII, and its chosen speed is not derived from the incidence register CheungEn05B. |
| En05-C | Its tensor-free snapshot–channel–adjoint comparison and its named observable and refinement limits retain their algebraic domains. They do not reconstruct a physical metric or supply the missing incidence realization CheungEn05C. |
| En06-A | Its corrected layer account and conditional operational/algebraic interfaces do not derive invariant speed. Commuting superoperators are not a substitute for the required observable-product hypotheses CheungEn06A. |
| En06-B | Its finite transport and refinement construction uses its own routes, capacity convention, and prescribed speed. It does not derive that speed or supply an autonomous matter-driven substrate CheungEn06B. |
| XVIII-A | A selected witness is not the full compact kernel, and readout is not quantum return. No finite table is identified with its three-slot continuum kernel CheungXVIIIA. |
| XIX-A and XIX-B | Clock separation and a direct coordinate mismatch are distinct from the finite-register question. XIX-B's source, response sign, and forcing residual are not inputs here XIXA,XIXB. |