pith. machine review for the scientific record. sign in
module module moderate

IndisputableMonolith.Physics.SupernovaClassificationFromRS

show as:
view Lean formalization →

The module defines types and certificates for classifying supernovae within the Recognition Science framework using its native constants. Researchers applying RS to astrophysical transients would cite it to represent supernova categories formally. It is a definition module with no proofs, importing only the RS time quantum and introducing sibling structures for types and certification.

claimThe module introduces an enumeration of supernova classes together with a structure certifying each classification, both constructed over the RS time quantum $τ_0 = 1$ tick.

background

Recognition Science begins from a single functional equation whose first derived constant is the fundamental time quantum $τ_0 = 1$ tick, supplied by the imported Constants module. This module extends that base to astrophysical classification by defining an enumeration of supernova types and an associated certification structure. The sibling objects therefore supply the formal vocabulary needed to express how RS-native units label observable cosmic events.

proof idea

this is a definition module, no proofs

why it matters in Recognition Science

The module supplies the classification primitives required by downstream Recognition Science derivations of physical observables. It fills the slot that connects the core RS constants and forcing chain to concrete astrophysical categories, preparing the ground for later results that would map RS parameters onto supernova data.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (4)