constrained_has_reason
plain-language theorem explainer
Any power placed in the Constrained epistemic class carries an explicit conservation-law obstruction. Researchers verifying the σ-Resolution Superhero Thesis taxonomy cite this result to confirm that the four constrained powers are not merely excluded but carry documented reasons. The proof proceeds by exhaustive case analysis on the 27-element enumeration followed by simplification against the classification and reason assignments.
Claim. For every power $p$ whose epistemic class equals Constrained, the function that maps constrained powers to their conservation-law reasons returns a defined value.
background
The module formalizes the σ-Resolution Superhero Thesis power taxonomy: an enumeration of 27 canonical superhuman powers drawn from mythology, comics, and folklore, partitioned into five epistemic classes (A–E) according to their relation to Recognition Science mechanisms. The classification function assigns each power to one of DirectMechanism, Derivable, NautilusClass, Speculative, or Constrained. The reason function is defined only on the Constrained class, returning specific obstructions such as zConservation for duplication, jUniqueness for realityWarping, costOfNothing for creationExNihilo, and boundaryDissolution for absoluteInvulnerability, and none otherwise.
proof idea
The term proof performs case analysis on the power enumeration and applies simplification using the definitions of the classification function and the reason assignment.
why it matters
The result verifies that every power assigned to the Constrained tier possesses a documented conservation-law obstruction, thereby supporting the structural claim that exactly four of the 27 powers are constrained while the remaining 23 admit an RS path. It belongs to the suite of theorems that close the epistemic classification under the module's claim-hygiene rules for structural results derived from RS axioms.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.