Viridis Compiled Theorem Stack — Canon v8 (Recovered Footing: the Erasure-Side Intelligence Bound)

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 CANON_MANIFEST.md and IB_FOOTING_CORRECTION_2026-06-16.md. Concept DOI (always-latest): 10.5281/zenodo.19317982. v1–v7 stand; this is an evolution, not a retraction.