socialStratumCount_eq
plain-language theorem explainer
The Recognition Science model sets the number of canonical social strata to exactly five. Sociologists using the framework cite this when building certificates for stratification or deriving J-costs on mobility transitions between layers. The equality follows by direct reflexivity from the definition of the stratum count as the constant five.
Claim. The number of canonical social strata equals five.
background
The module treats social stratification as a direct consequence of configDim D = 5 in Recognition Science, yielding the same five-layer template seen in Köppen zones, soil horizons, and Big Five personality factors. The five strata are upper class, upper-middle class, middle class, working class, and lower class, with transitions governed by J-cost on the ratio φ^k. The cost function is the derived cost of a multiplicative recognizer comparator, equivalently the J-cost of any recognition event.
proof idea
The proof is a one-line reflexivity that unfolds the definition of socialStratumCount directly to the numeral 5.
why it matters
This supplies the stratum count field to the downstream SocialStratificationCert, which also bundles mobility cost non-negativity and positivity. It instantiates the framework claim that configDim D = 5 forces five strata, parallel to the eight-tick octave and other T0-T8 structures. The module doc states the explicit falsifier: any comparative survey on ten or more societies finding a different modal count.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.