pith. sign in
module module moderate

IndisputableMonolith.Archaeology.CivilizationComplexityFromZRung

show as:
view Lean formalization →

This module defines complexity tiers and civilization certificates derived from the Z-rung on the phi-ladder. Archaeologists or complexity theorists modeling societal evolution under Recognition Science would cite these constructions. It is a definition module containing no proofs.

claimIntroduces $\mathsf{ComplexityTier}(n)$ for the $n$-th tier of societal complexity, $\mathsf{tierThreshold}(n)$ for the separating $Z$-rung values, and $\mathsf{CivilizationCert}(Z)$ as the certificate that a civilization at rung $Z$ reaches a given tier.

background

The module sits in the Archaeology domain and imports the fundamental RS time quantum $\tau_0 = 1$ tick from IndisputableMonolith.Constants. It introduces ComplexityTier as discrete levels of societal organization, tierThreshold and tierThreshold_ratio as the critical rung values and ratios on the phi-ladder, and CivilizationCert as the certifying structure linking a civilization's rung position to its complexity tier.

proof idea

this is a definition module, no proofs

why it matters in Recognition Science

This module supplies the foundational definitions that connect the phi-ladder and Z-rung concepts from Constants to archaeological questions of civilization complexity. It has no recorded downstream uses yet and prepares the ground for future theorems that would apply the mass formula and Z_cf = phi^5 interval to historical transitions.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (7)