classB_count
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.
claimThe 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 in Recognition Science
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.
scope and limits
- Does not establish physical realizability of any listed power.
- Does not supply empirical falsifiers for the classification assignments.
- Does not derive the five classes from Recognition Science axioms.
- Does not address powers outside the fixed list of 27.
formal statement (Lean)
142theorem classB_count :
143 (allPowers.filter (fun p => powerClass p == .Derivable)).length = 6 := by native_decide
proof body
Term-mode proof.
144
145/-- Class C has exactly 6 powers. -/