Manuscript En07-B@1 · En07-B.tex · section · 45dff4a1

The staged programme and documentary separations

The staged programme and documentary separations · lines 1642–1683

The following ledger distinguishes what this manuscript proves from what a physical successor must construct.

Stage	Present release	Remaining physical obligation
A	Typed complete, decoder, record, and discard interfaces; exact identities and obstructions proved.	A later implementation must retain these interface meanings.
B	Energy/cost/leakage separation and channel-only underdetermination proved.	No thermal machine or resource optimum is supplied; Appendix app:thermal is required for a cost claim.
C	Finite Choi, Bell, residual-witness, and continuity certificates proved.	A candidate microscopic model must earn its own channel, regulator, access, and dynamical certificates.
D	Access-preserving endpoint implication proved.	The gravitational H1–H4 package is not constructed.
E	Explicit approximate allowance and conditional window transfer proved.	No same-model gravitational window or coherent field-to-memory receiver is supplied.