Viridis Compiled Theorem Stack — Canon v9.1.0 (Integrity Release: claims calibration + enforced verification)

Integrity Release of the Viridis Canon. This version does not add theorems; it tightens the correspondence between every headline, hypothesis, theorem statement, proof, and empirical claim, and makes the canon's guarantees machine-enforced. A Lean-checked theorem guarantees only that its proof inhabits the stated type — not that the type captures the informal claim, that the hypotheses are physically realizable, or that the assumptions describe nature. v9.1.0 separates these layers: every headline result is graded by formal strength in CLAIMS_MATRIX.md using the labels in THEOREM_STATUS_TAXONOMY.md (Derived / Conditional / Definition-expansion / Bridge-assumption / Empirical-hypothesis / Conjecture / Exploratory). Corrections. P9 (AI Safety) is quarantined as exploratory and removed from the verified spine: its ai_conservation_alignment was vacuous (existential witness T₀ = ⊤, making the universally quantified hypothesis unsatisfiable). P0's bounded-memory dissipation result is repaired — the unused hypothesis removed and a new module, BoundedMemoryDissipation, supplies the honest, non-vacuous floor in which bounded memory is load-bearing, including a machine-checked proof that the hypothesis cannot be dropped (Aristotle-verified: clean build, zero sorry, axioms ⊆ {propext, Classical.choice, Quot.sound}). P4's economics de-escalated from ‘perfect complements / Leontief / σ=0’ to boundary essentiality. P2 stated as the proved conclusion (an edge removal disconnects the tree, not ‘exactly two components’). Enforcement is now real, not asserted: an environment-walking axiom audit fails the build on any non-allowlisted axiom or sorry; a vacuity linter rejects empty-hypothesis proofs; CI runs these as blocking checks. Positioning: Lean-checked conditional mathematics for the Viridis research program, with explicit physical and empirical assumptions. The spine freeze is preserved — an integrity patch over v9, not a new spine version. Verified source mirror: github.com/jdhart81/viridis-canon. Co-authored with Aristotle (Harmonic).