The Intelligence Bound and the Planetary Biosphere-Productivity Ceiling as Duals of a Single Landauer Constraint

Standalone record of the Viridis Canon — the planetary face of the Intelligence Bound. Core IB spine unchanged (frozen at v9). Establishes that the Intelligence Bound on an agent's information-acquisition rate and a planetary ceiling on net biosphere productivity are two faces of one Landauer constraint. Lean 4 (Aristotle 27ef037f / a776fa56, 6 theorems, zero sorry, axioms ⊆ {propext, Classical.choice, Quot.sound}) certifies the Landauer duality, a conserved information–productivity ledger, the information–productivity trade-off, a positive-productivity↔Landauer biconditional, the min-branch decomposition Ï̇ ≤ min(ρB, P/(kBT ln2)), and the intelligence–productivity duality. Working paper; not peer-reviewed.