IndisputableMonolith.Sociology.SocialStratificationFromConfigDim
Module defines five canonical social strata derived from configuration dimension using RS costs. Sociologists modeling mobility transitions would cite the stratum count and associated J-costs. It is a definition module that introduces the stratification certificate without proofs.
claimFive canonical social strata exist with count equal to $5$, mobility transition costs defined via the J-cost function at each stratum, one-step costs positive and equal to $J_0$, and an inhabited certificate of stratification.
background
Recognition Science takes the fundamental time quantum as τ₀ = 1 tick from Constants. The Cost module supplies J-cost and defect-distance primitives. This sociology module builds on those to introduce social stratum count, mobility transition costs, and a stratification certificate tied to configuration dimension.
proof idea
this is a definition module, no proofs
why it matters in Recognition Science
Module supplies the stratification certificate and cost definitions that extend Recognition Science into sociology. It fills the step of deriving five strata from config dim and supplies the inhabited certificate for downstream mobility models.
scope and limits
- Does not derive the stratum count from the forcing chain T0-T8.
- Does not compute explicit numerical transition costs beyond J-cost expressions.
- Does not address empirical mapping to observed societies.
- Does not invoke the Recognition Composition Law directly.
depends on (2)
declarations in this module (11)
-
def
socialStratumCount -
theorem
socialStratumCount_eq -
def
mobilityTransitionCost -
theorem
mobilityTransitionCost_at_stratum -
theorem
mobilityTransitionCost_nonneg -
def
oneStepMobilityCost -
theorem
oneStepMobilityCost_eq_Jph -
theorem
oneStepMobilityCost_pos -
structure
SocialStratificationCert -
def
cert -
theorem
cert_inhabited