classB_count
plain-language theorem explainer
The declaration establishes that exactly six powers belong to the Derivable epistemic class in the 27-power taxonomy. Researchers formalizing the σ-Resolution Superhero Thesis would cite this count when partitioning capabilities by RS mechanism type. The proof is a one-line native decision procedure that filters the complete power list by the classification function and verifies the resulting length.
Claim. The number of powers assigned to the Derivable class by the classification function equals 6.
background
The Superhuman Core module formalizes the σ-Resolution Superhero Thesis power taxonomy with 27 canonical powers classified into five epistemic classes (A–E) by RS mechanism type. The Power type enumerates these powers while the classification function maps each to DirectMechanism, Derivable, NautilusClass, Speculative, or Constrained. The complete list of powers is defined as a fixed enumeration of 27 items. This result depends on the definitions of the full power list and the classification mapping.
proof idea
The proof is a one-line wrapper that applies native_decide to evaluate the length of the filtered list of all powers whose classification equals Derivable.
why it matters
This count completes the partition of the 27 powers into their epistemic classes and supports the structural claim that 23 powers admit an RS path while 4 remain constrained. It fills the Derivable slot in the taxonomy alongside sibling results such as the total power count of 27. The declaration contributes to the exhaustive classification required by the σ-Resolution Superhero Thesis.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.