Manuscript Hawk04-D@1 · Hawk04-D-v1.tex · section · 39b16f67
Three independent ledgers
Stage 3: energy, erasure cost, and a conditional mass law › Three independent ledgers · lines 1310–1330
The ledgers have different defining data:
Complete energy. Supply the Hamiltonians and complete dynamics. Conservation means , or, for an energy-intertwining isometry, . Unitarity alone does not imply either statement.
Physical erasure/reset cost. Supply the memory, input class, reservoirs, work storage, controls, initial correlations, heat/work conventions, and resource-restoration conditions.
Residual leakage. Compute the dimensionless complete-channel diagnostic . It is not an energy, stress tensor, area, or bit count.
This separation is central to En07-A/B/C CheungEn07A,CheungEn07B,CheungEn07C.