Manuscript En07-C@1 · En07-C.tex · section · 3f7e9ebb
Mathematical release and the same-model exit contract
Mathematical release and the same-model exit contract · lines 2221–2227
No thermal machine is required when no thermal-cost claim is made. No continuum endpoint is required when the claim is restricted to a proved finite-time interface. The certificate must match the actual scope of the claim.