Viridis Compiled Theorem Stack — Canon v10.0.0 (The Core-Extension Wave: SIB + MRAB + Biosphere-Productivity Bridge folded into the spine)

The Viridis Canon — Lean-Checked Conditional Mathematics for the Intelligence Bound. A machine-checked formal corpus underpinning the Viridis research program on the thermodynamics of intelligence and its application to planetary conservation. Its spine is the Intelligence Bound — a Landauer/erasure-grounded limit on the rate of intelligence creation — formalized in Lean 4 and extended through a stack of modules spanning information theory (the D-Score biodiversity metric), graph-theoretic landscape optimality (HDFM / dendritic corridors), thermodynamic economics, alignment-as-feasibility (Goodhart impossibility), the speed-limit shadow-price tower, and the recovered post-Wolpert erasure-side footing. Every…