IndisputableMonolith.Physics.SolitonClassesFromRS
This module defines soliton classes derived from Recognition Science. Physicists classifying field configurations or particle spectra in RS-native units would cite these structures. It is a purely definitional module introducing types, counts, and certificates with no theorems.
claimIntroduces the type of soliton classes together with a counting function and a certification predicate for valid classes in the RS framework.
background
The module resides in the Physics domain and imports Constants, which fixes the fundamental RS time quantum as τ₀ = 1 tick. It introduces the main objects SolitonClass, a count function, and a certification predicate that classify solitons using the J-cost and phi-ladder structures of the framework. No module-level documentation is supplied.
proof idea
this is a definition module, no proofs
why it matters in Recognition Science
The module supplies soliton class definitions that feed into downstream physics constructions within the Recognition Science framework, supporting derivations from the forcing chain T0-T8 and the eight-tick octave. No explicit parent theorems are listed in the dependency graph.
scope and limits
- Does not contain any theorems or proofs.
- Does not reference specific mass formulas or the alpha band.
- Does not connect soliton classes to the RCL identity.