civilizationCyclesCert
plain-language theorem explainer
civilizationCyclesCert assembles a witness to the five-stage and phi-ratio properties by direct assignment of the stage-count theorem and the duration-ratio theorem. Historians or sociologists working in Recognition Science would cite it to formalize Spengler-style cycles as phi-ladder phenomena with exactly five stages. The construction is a one-line record instantiation that supplies the two fields of the target structure.
Claim. The structure asserting that the set of civilizational stages has cardinality five and that successive cycle durations satisfy $d(k+1)/d(k) = phi$ for every natural number $k$.
background
The module treats civilizational cohesion as a recognition coherence field whose rise-and-fall dynamics occur on phi-ladder timescales. Five canonical stages (emergence, growth, consolidation, decline, transformation) are identified with configuration dimension D = 5, and the RS prediction is that adjacent cycle durations stand in the golden-ratio relation. The target structure packages exactly these two claims: the cardinality of the stage type equals five, and the ratio of successive cycle durations equals phi. It draws on the upstream theorem that decides the stage cardinality by enumeration and the theorem that unfolds the cycle-duration definition, applies positivity of phi, and reduces the ratio identity by ring arithmetic.
proof idea
The definition is a direct record construction. It supplies the five-stages field with the result of the stage-count theorem and the phi-ratio field with the duration-ratio theorem, thereby satisfying both fields of the target structure.
why it matters
This definition supplies the top-level certificate realizing the phi-ladder model of civilization cycles. It closes the module's claim that historical patterns follow from the same forcing chain that produces D = 3 and the alpha band, with cycle scaling given by the golden ratio. No downstream uses are recorded, leaving open whether the certificate will be invoked in larger historical simulations or empirical calibration against observed civilizational periods.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.