Λ = Conjecture 1  The Ouroboros iteration bound is derived from Λ, which is currently advisory (conjecture) — not a proven theorem. Plans using this bound are clearly labelled as best-effort estimates.

Honest inverse of free-energy  This certificate is the opposite of an over-unity claim: it proves a real compute job's energy use and information throughput sit FAR BELOW the fundamental ceilings — Landauer (1961), Margolus-Levitin (1998), Bremermann (1962), Bekenstein (1981), Bekenstein-Hawking (Hawking 1975). These are established physics, cited — not SZL conjectures. Energy is DERIVED only from MEASURED power × MEASURED time; SAMPLE until on-box NVML wires a real reading. Λ = Conjecture 1 (advisory). Governed solve loop verdict: —.