pith. machine review for the scientific record. sign in
module module moderate

IndisputableMonolith.Sociology.CivilizationCyclesFromPhiLadder

show as:
view Lean formalization →

The module defines civilizational stages and cycle durations scaled by the phi ladder in Recognition Science. Sociologists modeling long-term societal patterns would cite these objects to express cycle lengths in RS-native units. It consists of type and function definitions plus a certification object, with no proofs inside the module.

claimCivilizationalStage is an enumerated type of discrete levels indexed by rungs on the phi ladder. cycleDuration maps each stage to a duration in base time units τ₀. cycleDurationRatio returns the scaling factor φ^k for integer rung difference k. CivilizationCyclesCert is a certificate asserting that the durations obey the self-similar ratio property of the ladder.

background

Recognition Science fixes the base time quantum τ₀ = 1 tick in the upstream Constants module. The phi ladder supplies successive scales by multiplication with the golden ratio φ, the self-similar fixed point. This sociology module extends the ladder to discrete civilizational stages, defining their count, durations, and ratios directly from the same scaling rule.

proof idea

This is a definition module, no proofs. It declares the stage type, the duration and ratio functions, and the certification object that later theorems will inhabit.

why it matters in Recognition Science

The module supplies the sociological extension of the phi ladder, connecting T6 (phi as self-similar fixed point) and the phi-ladder mass formula to cycle modeling. It prepares the ground for downstream claims about universal scaling in social systems, though no used-by edges are recorded yet.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (6)