worldClassRung
plain-language theorem explainer
The definition fixes the world-class rung at the natural number 17 on the phi-ladder, matching the human cognitive ceiling imported from animal complexity bounds. Skill-acquisition researchers cite this constant when scaling the 45-hour baseline to total mastery costs via 45 * phi^17. It is introduced by direct numeric assignment to anchor the subsequent rung-ordering theorems.
Claim. The world-class rung is the natural number $17$ on the phi-ladder of skill-acquisition costs.
background
The module derives Ericsson's 10,000-hour rule as one phi-rung jump on the 45-hour-per-skill-rung baseline from the consciousness gap. Per-rung cost equals 45 hours; N-rung mastery cost scales as 45 * phi^N. Named rungs mark transitions: sub-mastery at 7, expert at 11, master at 14, and world-class at 17, yielding approximately 88,000 hours for the terminal rung.
proof idea
Direct constant definition that assigns the literal value 17.
why it matters
This definition supplies the terminal value for rung_ordering, which feeds masteryCost_rung_ordering and the MasteryThresholdCert structure. It closes the ladder at the human cognitive ceiling, producing the 45 * phi^17 cost that brackets empirical expert-performance data. The placement aligns with the phi-ladder scaling and the eight-tick octave structure in the Recognition framework.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.