inductive definition def or abbrev

`IntelligenceTier`

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

formal statement (Lean)

  70inductive IntelligenceTier where
  71  | retrieval      -- degree < 5
  72  | singleStep     -- degree 5-15
  73  | chainReasoning -- degree 15-30
  74  | creativity     -- degree 30-50
  75  | selfAware      -- degree > 50
  76  deriving DecidableEq, Repr
  77
  78/-- Voice richness increases with intelligence tier.
  79    Each tier unlocks qualitatively richer voice capabilities. -/

used by (1)

From the project-wide theorem graph. These declarations reference this one in their body.

tierVoiceRichness in IndisputableMonolith.Foundation.VoiceForcing decl_use