Manuscript Em06-A@1 · Em06-A-v1.tex · section · ee9923c6
Non-premise and non-transfer ledger
What the limit does not repair › Non-premise and non-transfer ledger · lines 1166–1276
The following is a scope ledger, not a list of assumptions used in the proof.
| Construction | Boundary retained by Em06-A |
|---|---|
| Construction | Boundary retained by Em06-A |
| III and VI | Classical quotient and solution-jet constructions do not supply the state family or the CCR scaling. Their interpretation may be used after a limit has been constructed; they are not premises here. Equations included in an Einstein–scalar jet are not equations derived by this theorem CheungIII,CheungVI. |
| IV Model 3 and V | A prescribed Newton–wave stress response, a represented form, and a coherent comparison are different objects. No inverse prescription from those models is inserted into the present proof. Their Einstein operator, current domains, and signs are not transferred CheungIV,CheungV. |
| VIII-B | An expectation selecting a member of a preconstructed conical family is not reconstruction of that family from quantum data. The conical dictionary is a non-premise CheungVIIIB. |
| VIII-C and VII-E | Support of prescribed block channels and scheduled directional dependency are not derived spacetime causal cones. The proof uses the already declared Minkowski causal structure CheungVIIIC,CheungDossier. |
| VII-G, VII-H, Em01-A, Em02-E | The finite instrument, massless susceptibility, wave-shell comparison, and inflationary lapse are separate constructions. None supplies the observable, quantum state, or acceptance pair proved here. In particular, no quantum regulator-removal audit for the lapse is completed CheungDossier,CheungEm02E. |
| Em04-A, Em05-A, Em05-B | The XY-chain reduction, signed extractor, leakage estimates, and recovery results are non-premises. No identification with their Hilbert spaces or dynamics is made CheungDossier. |
| En01-B and En01-C | The sphere contrast and total flat-stage diffusion certificate are not the preparation-response diagnostic (eq:diagnostic). No detector or source-identification ledger is inferred from those statistics CheungDossier. |
| En02 and Em03 examples | Finite decoders, perfect-tensor codes, packet channels, and fixed-background emission laws do not supply a bulk–boundary encoding or a metric reconstruction map. All are non-premises CheungDossier. |
| XI-G | The frozen free-shell class obstruction (eq:XIG) is untouched. The scalar-only restriction is not admission of that class CheungXIG. |
| XVI-N | The conditional obstruction of its regular seed-preserving antifield-linear completion is not negated. No BV complex is constructed. Its separately named Route B is not discharged CheungXVIN. |
| XVI-O | A kernel counterterm is not bulk BV restoration. The supplied O.1 status remains NOT_CLOSED; no inherited insertion completion is obtained CheungXVIO. |
| XIV-H, XIV-I, XIV-J; XV-B exit | No change to the recorded H2, I3, or J2 gates is claimed. In particular, a constructed internal amplitude module is not the missing full joint characteristic map. No quantum coefficient is admitted, and XV-B is not opened CheungXIVH,CheungXIVI,CheungXIVJ. |