pith. sign in
module module high

IndisputableMonolith.Superhuman.Core

show as:
view Lean formalization →

The Superhuman.Core module defines five epistemic classes for superhuman powers, each with a distinct relation to proved RS structure. Researchers modeling capability tiers or safety constraints would cite the classification and counts. The module supplies definitions and equalities such as total power count 27 and accessible subset 23, with no proofs.

claimFive epistemic classes partitioning superhuman powers $P$, denoted $A,B,C,D,E$, satisfying $|P|=27$, accessible count $23$, constrained count $4$, and per-class cardinalities via powerClass and allPowers.

background

Recognition Science classifies superhuman powers by their epistemic relation to proved structure. The module imports the RS time quantum τ₀ from Constants and cost machinery from Cost. It introduces PowerClass, Power, powerClass, allPowers together with the five classes and their counts.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

The module supplies the classification used by SafetyInterlock (Gap-45 uncomputability barrier and σ-conservation) and TechnologicalAccess (Nautilus-class path for Class C powers). It fills the structural base for those downstream results on high-coherence operation and engineering parameters.

scope and limits

used by (2)

From the project-wide theorem graph. These declarations reference this one in their body.

depends on (2)

Lean names referenced from this declaration's body.

declarations in this module (15)