ageGradeCount_eq
plain-language theorem explainer
The equality fixes the universal count of human age grades at exactly five. Anthropologists and cross-cultural researchers would cite it when matching Recognition Science predictions to ethnographic patterns such as those in Murphy 1971 and Bernardi 1985. The proof reduces directly by reflexivity to the constant definition of the age-grade count.
Claim. The number of universal age grades recognized across human societies equals five: $5$.
background
The module develops age-grading systems from the configuration dimension in Recognition Science. Age grades (childhood, adolescence, adulthood, middle age, old age) appear universally, with most cultures recognizing exactly five. This matches other five-fold structures forced by configDim D = 5, including the Big Five personality factors, five Köppen climate zones, and five sleep stages. The upstream definition ageGradeCount simply sets this count to the constant five.
proof idea
The proof is a one-line reflexivity wrapper that reduces the theorem directly to the constant definition of ageGradeCount.
why it matters
This equality supplies the base count for the positivity theorem ageGradeCount_pos and the certification def cert that packages the full AgeGradingCert. It fills the structural claim that five grades are forced by configDim D = 5, consistent with the phi-ladder and eight-tick octave landmarks. The module doc flags the open ethnographic question of whether surveys of at least 100 cultures confirm the modal count remains 5 ± 1.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.