Manuscript II-B@1 · II-B-v1.tex · section · bfd2eb3c
Source roles
Introduction and the operational contract › Source roles · lines 290–334
| Source | Role and limit |
|---|---|
| II, version 2 CheungII | Frozen classical response problem. Its finite certificate is reproved here. |
| I-B, version 1 CheungIB | Prescribed conical model, calibration distinction, destructive instrument, and target-adapted transport architecture. |
| En09-A CheungEn09 | Clock conditioning and the separation of record, residual, and quantum return. |
| En03-A; En05-A CheungEn03,CheungEn05 | Declared access, spectator-blind control, and scheduled ancestry as an influence bound. |
| En08-B CheungEn08 | Comparison with transport approximations on a prescribed lattice family. No lattice resource formula is transferred here. |
| VII-F; VIII-B CheungCone | Documentary conical-carrier comparisons, not transferred cell counts or source laws. |
| XIX-A; Em02-E; XX-A CheungXIX,CheungEm02E,CheungXXA | Separation of time objects and an optional classical lapse-composition comparison. |
No companion theorem is needed as an unstated premise. The finite algebraic and operational assertions used in the release are defined and proved below.