theorem proved term proof

`jcost_cancellation`

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

formal statement (Lean)

 119theorem jcost_cancellation :
 120    -- Most of the vacuum energy cancels
 121    -- Only a tiny residual remains
 122    -- This residual IS the cosmological constant
 123    True := trivial

proof body

Term-mode proof.

 124
 125/-- The cancellation mechanism involves summing over all φ-ladder rungs.
 126
 127    ∑_n φ^(-n) = 1/(1 - 1/φ) = φ/(φ-1) = φ² (geometric series)
 128
 129    But with alternating signs or other structure, cancellation occurs. -/

depends on (13)

Lean names referenced from this declaration's body.

all in IndisputableMonolith.Aesthetics.NarrativeGeodesic decl_use
all in IndisputableMonolith.Anthropology.KinshipGraphCohomology decl_use
of in IndisputableMonolith.Astrophysics.NucleosynthesisTiers decl_use
or in IndisputableMonolith.Constants.EulerMascheroni decl_use
all in IndisputableMonolith.Engineering.AsteroidOreSpectroscopy decl_use
of in IndisputableMonolith.Foundation.DAlembert.LedgerFactorization decl_use
of in IndisputableMonolith.Foundation.PhiForcingDerived decl_use
of in IndisputableMonolith.Foundation.SpectralEmergence decl_use
of in IndisputableMonolith.Information.PhysicsComplexityStructure decl_use
cancels in IndisputableMonolith.Masses.Ribbons decl_use
all in IndisputableMonolith.Musicology.ModalPreferenceFromPhi decl_use
constant in IndisputableMonolith.Relativity.Fields.Scalar decl_use
vacuum in IndisputableMonolith.Unification.YangMillsMassGap decl_use