Manuscript En10-B@1 · En10-B.tex · section · a1105bad
Thermodynamic underdetermination
Resources and residual non-identification › Thermodynamic underdetermination · lines 1641–1652
This locally proves the channel-versus-ledger distinction recorded in En07-B CheungEn07B. Landauer-type bounds belong to an additional physical setup; Reeb and Wolf give a precise finite-reservoir formulation ReebWolf2014. The prescribed pilot control generators are not a complete apparatus, reservoir, and restoration ledger.