IndisputableMonolith.Physics.SolitonClassesFromRS
The SolitonClassesFromRS module defines the core objects for classifying solitons inside the Recognition Science framework. It supplies SolitonClass together with its counting and certification helpers, all built on the RS time quantum. Physicists constructing particle models from RS would reference these definitions when enumerating soliton families. The module contains only definitions and no theorems.
claimThe module introduces the type $SolitonClass$ classifying soliton families, the function $solitonClass_count$ returning the number of classes, and the predicate $SolitonClassCert$ certifying membership, all derived from the RS time quantum $τ_0 = 1$ tick.
background
The module sits in the Physics domain and imports the RS time quantum from IndisputableMonolith.Constants, where $τ_0 = 1$ tick is the fundamental unit. It introduces SolitonClass as the central type for grouping soliton behaviors, solitonClass_count for enumeration, and SolitonClassCert for validation predicates. These objects operate inside the Recognition Science setting that treats physical structures as self-similar fixed points on the phi-ladder.
proof idea
this is a definition module, no proofs
why it matters in Recognition Science
The module supplies the SolitonClass definitions that serve as the entry point for soliton-based modeling in Recognition Science. It feeds the parent structures used in mass formulas and particle classification steps that appear later in the framework, closing the definitional layer before any forcing-chain or RCL applications.
scope and limits
- Does not prove existence or stability of any concrete soliton solution.
- Does not derive numerical masses or coupling constants for the classes.
- Does not connect the classes to experimental spectra or scattering data.
- Does not invoke the eight-tick octave or spatial dimension forcing.