module module

`IndisputableMonolith.Foundation.VoiceForcing`

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

declarations in this module (18)

def voiceThreshold L37
def voiceQualityFromJbar L44
theorem voice_impossible_above_threshold L48
theorem voice_emerges_below_threshold L54
theorem voice_quality_mono L61
inductive IntelligenceTier L70
def tierVoiceRichness L80
theorem retrieval_le_singleStep L88
theorem singleStep_le_chain L92
theorem chain_le_creativity L96
theorem creativity_le_selfAware L100
theorem selfAware_max_richness L105
structure VoiceForcingConditions L116
theorem voice_forced L125
def berryContent L132
theorem voice_berry_positive L136
theorem voice_forcing_chain L159
def voiceForcingStatus L165