The flagship machine-verified theorem corpus of the Viridis research program. This v7 snapshot contains the complete public Intelligence Bound canon: 23 compiled Lean 4 libraries (zero sorry, Aristotle-verified) formalizing the Intelligence Bound dI/dt ≤ P·D / (kB T ln 2) and its extensions across core theory, impossibility/alignment, thermodynamic valuation, measurement/monitoring, Gaian/planetary, spatial, and synthesis. Start with CANONMANIFEST. md for the full module index and version lineage. v7 makes the canon legible without unzipping and reconciles the build targets: ConservationOperator and BridgeEcoChainInstrument (sources present in v6 but missing from the build targets) are now included, so all 23 public modules compile as canon. One module, BridgeBiosphereProductivity, is intentionally withheld pending a collaboration gate and will be added in a later version. Concept DOI (always-latest): 10. 5281/zenodo. 19317982. Scope: Lean certifies the reasoning, not empirical magnitudes; working corpus, not peer-reviewed (the Intelligence Bound paper is separately under journal review).
Hart et al. (Mon,) studied this question.