IndisputableMonolith.Sociology.UrbanizationFromPhiLadder
The module UrbanizationFromPhiLadder supplies definitions that map the phi-ladder of Recognition Science onto sociological urbanization. It equips models of city-size distributions and growth ratios with discrete rungs and a certification predicate. Sociologists or complex-systems researchers modeling self-similar scaling in human settlements would cite these objects. The module consists entirely of definitions and one predicate with no theorems or proofs.
claimThe module defines UrbanLevel as discrete stages indexed by phi-ladder rungs, populationAtRung(r) as the population size at rung r, populationRatio as the scaling factor between consecutive rungs, and UrbanizationCert as the predicate asserting consistency of a given urban configuration with the phi-ladder and Recognition Composition Law.
background
Recognition Science obtains all scales from the phi-ladder generated by the self-similar fixed point phi (T6) and the eight-tick octave (T7). The imported Constants module supplies the base RS time quantum tau_0 = 1 tick. This sociology module extends the same ladder, already used for the mass formula yardstick * phi^(rung - 8 + gap(Z)), to urban aggregates by defining discrete UrbanLevel stages and population counts that obey the same phi-power progression.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
The module supplies the core objects that allow the phi-ladder and Recognition Composition Law to be applied inside sociology. It therefore sits at the interface between the T0-T8 forcing chain and any future sociological theorems that would cite these definitions.
scope and limits
- Does not derive numerical values from census or empirical data.
- Does not model time evolution or dynamics of urban growth.
- Does not incorporate economic, political or geographic constraints.
- Does not claim uniqueness of the chosen rung indexing for cities.