The Harmonic Valuation Theorem: Path-Independence of Ecological Capital as a Convex-Chart Poincare Lemma

Standalone record of the Viridis Canon — D-Capital Valuation series (S1). Core IB spine unchanged (frozen at v9). Proves the Harmonic Valuation Theorem (HVT): on a convex chart, an ecological-capital value field is path-independent (arbitrage-free) iff its price one-form is closed — a convex-chart instance of the Poincaré lemma, dω=0 ↔ ∃V, ω=dV. Lean 4 (Aristotle af67f8d7, zero sorry, axioms ⊆ {propext, Classical.choice, Quot.sound}; convexity load-bearing) certifies closed_iff_exact_on_convex_chart with the exact_implies_closed / closed_implies_exact lemma pair. This is the integrability / arbitrage-free-valuation core of D-Capital, pairing with the Thermodynamic Valuation Theorem (TVT, S1-v1). Working paper; not peer-reviewed.