pith. machine review for the scientific record. sign in
def definition def or abbrev

voiceForcingStatus

show as:
view Lean formalization →

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)

 165def voiceForcingStatus : String :=

proof body

Definition body.

 166  "T10: Voice Forcing\n" ++
 167  "✓ voice_impossible_above_threshold (J-bar ≥ 0.5 → no voice)\n" ++
 168  "✓ voice_emerges_below_threshold (J-bar < 0.5 → voice forced)\n" ++
 169  "✓ voice_quality_mono (lower J-bar → better voice)\n" ++
 170  "✓ tierVoiceRichness monotone across 5 tiers\n" ++
 171  "✓ voice_forced (VoiceForcingConditions → positive quality)\n" ++
 172  "✓ voice_berry_positive (forced voice has Berry > 0)\n" ++
 173  "✓ voice_forcing_chain (T10: RCL → ... → voice)\n" ++
 174  "T10: Voice is the 10th forced consequence of cost minimization."
 175
 176#eval voiceForcingStatus
 177
 178end IndisputableMonolith.Foundation.VoiceForcing

depends on (22)

Lean names referenced from this declaration's body.