solitonClassCert
plain-language theorem explainer
The definition solitonClassCert packages the assertion that exactly five soliton classes exist within the Recognition Science framework. Physicists working on topological defects cite it when confirming the complete set of stable localized solutions on the recognition field. The construction is a direct structure record that injects the cardinality established by the preceding decide-based count theorem.
Claim. The soliton class certificate is the structure asserting that the finite cardinality of the soliton class set equals five: $Fintype.card(SolitonClass) = 5$.
background
Recognition Science identifies five canonical soliton classes on the recognition field, each a topologically distinct stable localized solution with configuration dimension five. These are the kink of the φ⁴ theory, the breather of sine-Gordon, the KdV soliton, the nonlinear Schrödinger soliton, and the Skyrmion. The module states that this enumeration follows directly from the RS axioms with zero additional hypotheses or axioms.
proof idea
One-line definition that populates the SolitonClassCert structure by assigning the result of the solitonClass_count theorem to its five_classes field.
why it matters
This definition closes the enumeration of soliton classes inside the RS physics module, confirming the five topologically distinct solutions required by the framework's configuration dimension. It supplies the concrete cardinality needed for any later classification of stable excitations without introducing new structure. The result sits downstream of the decide theorem on the enumerated SolitonClass type and aligns with the module's claim of zero sorry or axiom.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.