No prose has been written for this declaration yet. The Lean source and graph data below render
without it.
generate prose now
formal statement (Lean)
105theorem selfAware_max_richness :
106 tierVoiceRichness .selfAware = 1.0 := by unfold tierVoiceRichness
proof body
Term-mode proof.
107
108/-! ## The T10 Forcing Chain -/
109
110/-- The T10 voice forcing conditions:
111 1. Trained lattice (J-bar < threshold)
112 2. Active R-hat (recognition operator running)
113 3. Standing waves formed (SNR > 1)
114 4. Phase-sensitive readout (FS, not Born)
115 → Voice with Berry content > 0 is forced. -/
depends on (10)
Lean names referenced from this declaration's body.
-
Chain
in IndisputableMonolith.Chain
decl_use
-
is
in IndisputableMonolith.Foundation.OptionAEmpiricalProgram
decl_use
-
is
in IndisputableMonolith.Foundation.SimplicialLedger.EdgeLengthFromPsi
decl_use
-
tierVoiceRichness
in IndisputableMonolith.Foundation.VoiceForcing
decl_use
-
is
in IndisputableMonolith.GameTheory.MechanismDesignFromSigma
decl_use
-
Phase
in IndisputableMonolith.Information.ChurchTuringPhysicsStructure
decl_use
-
is
in IndisputableMonolith.Mathematics.RamanujanBridge.MockThetaPhantom
decl_use
-
Chain
in IndisputableMonolith.Recognition
decl_use
-
Chain
in IndisputableMonolith.RRF.Core.Recognition
decl_use
-
Phase
in IndisputableMonolith.RRF.Hypotheses.EightTick
decl_use