hurricaneCategoryCount
plain-language theorem explainer
The definition fixes the Saffir-Simpson hurricane category count at five inside the Recognition Science meteorology module. Researchers connecting the phi-ladder to empirical storm scales cite it when mapping configDim D = 5 onto the observed five-tier structure. It is introduced as a direct natural-number constant with no computation or lemmas applied.
Claim. The number of Saffir-Simpson hurricane categories is defined as the natural number 5.
background
The module treats the Saffir-Simpson scale as a structural consequence of the Recognition Science framework, where configDim D = 5 forces exactly five categories with adjacent intensity thresholds in ratio approximately φ^{1/3} ≈ 1.174. The J-cost function, defined on intensity ratios via the Recognition Composition Law, vanishes at the category boundaries once this count is supplied. The module documentation states that five categories are forced by configDim D = 5 and records the explicit falsifier that adoption of a sixth category would require either D = 4 or a non-φ organizational principle.
proof idea
The declaration is a direct constant definition that assigns the natural number five; no tactics or upstream lemmas are invoked.
why it matters
This definition supplies the integer count required by the downstream HurricaneCategoryCert structure and the categoryCount_pos theorem, which together certify the zero J-cost condition at each threshold. It realizes the module claim that five categories follow from configDim D = 5, consistent with the phi-ladder scaling and the eight-tick octave in the broader Recognition Science chain. The associated falsifier in the module documentation identifies the concrete observational test that would force revision of the dimension or the scaling principle.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.