The machine-verified theorem corpus of the Viridis research program — v8, the recovered footing. The Intelligence Bound's thermodynamic branch is here read on the erasure / maintenance side of the ledger, not the acquisition side: acquiring a bit carries no Landauer floor, but erasing one does. The biosphere is the largest known low-entropy dataset, so its erasure (extinction, collapse) carries an irreducible thermodynamic floor proportional to its information content, and stewarding it against erasure imposes a lower bound on the required intelligence. New in v8 (Aristotle-verified): BiosphereErasureBound (the erasure floor, complexity-scaling, and stewardship-intelligence lower bound) and BoundedMemoryLearning (bounded memory ⇒ forced erasure ⇒ power-limited learning, with the reversible-limit loophole encoded honestly). Together they replace the prior acquisition-rate framing on a footing that the stochastic-thermodynamics critique reinforces rather than refutes. Start with CANONMANIFEST. md and IBFOOTINGCORRECTION₂026-06-16. md. Concept DOI (always-latest): 10. 5281/zenodo. 19317982. v1–v7 stand; this is an evolution, not a retraction.
Hart et al. (Tue,) studied this question.