Manuscript En10-B@1 · En10-B.tex · proposition · a1105bad
Proposition: No unique thermal ledger from the visible channel
Resources and residual non-identification › Thermodynamic underdetermination · lines 1620–1641 · proof included or linked
En10-B@1#prop:thermal
Equality of the visible acquisition channels does not determine a unique bath heat, work cost, or cyclic reset cost.
Proof. Append to any implementation an independent fuel qubit, initially excited, and a designated Gibbs reservoir qubit, both with energy gap . At inverse temperature , the reservoir excitation probability is . Swapping these two qubits changes the reservoir energy by , while leaving the entire visible acquisition channel unchanged. Appending more such independent processes changes that designated ledger again.
These processes consume resources. They are not cyclic reset protocols unless the fuel, auxiliaries, and controls are also restored. The example proves underdetermination, not a violation of a thermodynamic inequality.