safeBandUpper
plain-language theorem explainer
The upper bound of the safe geoengineering deployment interval is fixed at 0.13 in recognition units. Climate researchers applying the Recognition Science framework to the five canonical approaches would cite this constant when confirming that the J-cost band is nondegenerate and contains the phi point. The declaration is introduced by direct assignment with no computation or lemmas.
Claim. The upper endpoint of the canonical safe-deployment interval for geoengineering perturbations is $0.13$.
background
The module treats geoengineering as five approaches (SAI, MCB, OIF, CDR, CC) whose risk profiles sit on a J-cost ladder. The safe-deployment threshold is the canonical J(φ) band (0.11, 0.13) on the perturbation ratio. Constants are imported to support the certification structure that later requires the lower and upper bounds to satisfy strict inequality and to bracket 0.118.
proof idea
One-line definition that directly assigns the real constant 0.13.
why it matters
The definition supplies the upper endpoint required by GeoengineeringCert for the band_well_defined and band_inhabited fields. It anchors the interval to the J(φ) band stated in the module documentation, ensuring consistency with the recognition composition law and the phi-ladder used across the forcing chain.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.