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.
Hart et al. (Sat,) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: