theorem proved term proof

`phi_gt_one`

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

formal statement (Lean)

 168theorem phi_gt_one : phi > 1 := one_lt_phi

proof body

Term-mode proof.

 169
 170/-- **THEOREM IC-002.15**: φ-based costs grow without bound as exponents increase.
 171    This means RS dynamics at high rung numbers require exponentially growing resources. -/

depends on (9)

Lean names referenced from this declaration's body.

rung in IndisputableMonolith.Compat.Constants decl_use
one_lt_phi in IndisputableMonolith.Constants decl_use
rung in IndisputableMonolith.Engineering.AsteroidOreSpectroscopy decl_use
as in IndisputableMonolith.Foundation.SimplicialLedger.ContinuumBridge decl_use
rung in IndisputableMonolith.Masses.AnchorPolicy decl_use
rung in IndisputableMonolith.Masses.RSBridge.Anchor decl_use
one_lt_phi in IndisputableMonolith.PhiSupport decl_use
one_lt_phi in IndisputableMonolith.PhiSupport.Lemmas decl_use
rung in IndisputableMonolith.RSBridge.Anchor decl_use