The Intelligence Bound: Thermodynamic Limits on Learning Rate and Implications for Biosphere Information

Corrected Intelligence Bound Methods Note. The certified minimum-form theorem is conditional on its named power–learning, probability-model, bandwidth and richness premises. Its data-wall corollary, fair-Bernoulli positive-learning witness and erasure-transfer statement are explicitly mapped to certified nontrivial Lean theorems. The physical product form remains THE INTELLIGENCE BOUND CONJECTURE (product form); its algebraic implication is certified only under the named premises PL and PD and positive K. This standalone paper supplements the Canon hub; it does not replace or become a version of the hub. The attached PUBLICATION_BINDING binds the exact final manuscript to the Run-902 certificate and its deterministic authorized review. The scientific claims are logical validity given the model, not empirical validation of its assumptions.