classC_count
plain-language theorem explainer
Exactly six of the twenty-seven powers receive the NautilusClass label under the classification function. Researchers working on the σ-Resolution Superhero Thesis taxonomy cite the count to confirm the distribution across the five epistemic tiers. The result follows from direct evaluation of the filtered list length.
Claim. Let $P$ be the list of all twenty-seven powers and let $C$ be the function that assigns each power to one of the five epistemic classes. Then the number of elements of $P$ with class NautilusClass equals six.
background
The Superhuman Core module formalizes the σ-Resolution Superhero Thesis power taxonomy. It enumerates twenty-seven powers and partitions them into five epistemic classes (DirectMechanism, Derivable, NautilusClass, Speculative, Constrained) via the classification function. The definition allPowers supplies the exhaustive list while powerClass supplies the assignment rule for each entry.
proof idea
The proof is a one-line wrapper that invokes native_decide to evaluate the length of the list filtered by the NautilusClass condition.
why it matters
The declaration supplies one of the five class counts that together verify the total of twenty-seven powers. It belongs to the set of structural results that partition the taxonomy, supporting the claim that twenty-three powers remain accessible. The result stays internal to the superhuman model and carries no direct link to the T0-T8 forcing chain or the Recognition Composition Law.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.