What does a record's export owe the Clausius relation? Laboratory folklore answers with a master account: information has a thermodynamic price, the price is paid in heat, and somewhere a single ledger — one currency, no declared boundary — adds it all up. That presumption is what this paper names the Global Heat Ledger, and for the one family of systems this sequence has actually qualified, the paper retires it by construction: not by refuting a universal account, but by doing the accounting properly and showing that nothing is left for a master account to do. The debt is four papers old. Paper 36's Clausius reading of gravitational dynamics imported the which-entropy circularity as a live defect; Paper 42 defined the Clausius defect DeltaCl = |dQₑxp - Tₗoc dSᵣecord-bearing| / dQₑxp with tolerance epsilonCl = 1e-3 and honestly never evaluated it; Paper 51 typed the accounting half of the circularity's exit (a flux normal form at the certified-export boundary, a five-way expenditure separation, an evaluation protocol) ; Paper 52 qualified one sector at model grade and licensed its temperature, Tₗoc of about 73 mK, from the sector's own relaxation profile. This paper — the fifty-third, capstone of the Entropy and Thermodynamic Standing Program (Papers 51-53) — consumes both hand-offs and runs the evaluation. Delivered: the dQₑxp normal form (boundary-oriented, per-event and per-unit-time, with the certified-export row identified inside the declared generator so that Paper 42's audit identity nu = etacert * kappa * nᵣes is preserved exactly, and the defect invariant under any scalar rescaling of the row) ; the five-way expenditure table — export heat, retained local correction, control work, reset heat, maintenance cost — checked for exhaustiveness and exclusivity against the full declared process set, with Landauer's bound scoped to reset only (Paper 6) and cost kept distinct from source (Paper 33) ; an eligibility gate adjudicating the chain's fourth link — which temperatured sectors enter the defect at all (Paper 52's zero-export sector is refused with its reason ledgered; the denominator is never zero on an admitted sector, by construction) ; and the evaluated table: on the admitted Regime-V benchmark sector at both declared corners (certified intensities 2. 28e3 and 5. 32e4 per second; export fluxes 9. 1e-21 and 2. 1e-19 W), a two-line identity lemma turns Paper 52's Gibbs-shape record into DeltaCl = 0 exactly — a pass inherited from qualification through a displayed lemma, with an in-class no-fail theorem stating that strength honestly rather than hiding it, and three mis-typed accounts failing in public: substituting the exported beam's carrier entropy for the record's state entropy misses by 25 percent (two hundred and fifty times the tolerance) ; summing a single picowatt of laboratory power into the flux row — the Ledger's signature one-currency move — contaminates it by more than eight orders of magnitude and saturates the defect at about 1; counting uncertified dissipation as export misses by 32. 3 and 0. 43 at the two corners. A conditioning display with the correct n-weighted jump arithmetic justifies the unconditioned-export clause, and a corrections table prices what would move at device grade. Verdict, from the charter-frozen domain: ClausiusStatus = pass — at model grade, scoped to the exhibited sector class, both corners, the declared window. The grouping closes with every thermodynamic conditional open since Paper 36 holding a definite disposition: the which-entropy cycle located by Paper 51 is discharged-in-one-instance at model grade (qualification half by Paper 52, accounting half by this paper — executed, not resolved-in-general) ; Paper 42's A3 row is discharged-in-one-instance by annotation; Paper 36's Clausius reading moves from typed-conditional to evaluated-within-scope; Paper 47's live ledger column closes; and Paper 44's co-location instrument receives the add-only device-grade evaluation protocol. No datum is scored; no new physics is adopted; nothing world-side follows; the sixteenth grouping (covariant completion) receives the hand with no dependency on this panel's cells; and no Global Heat Ledger is consulted anywhere on the way. The Ledger is never refuted; it is unemployed: five expenditure rows, one declared boundary, one two-line lemma — and nothing left for a master account to do.
Tomoyuki Uchida (Sun,) studied this question.