IndisputableMonolith.Materials.MagnetismTypesFromConfigDim
The module MagnetismTypesFromConfigDim establishes type definitions for magnetism in the materials domain of Recognition Science, derived from configuration dimension. It imports the Constants module supplying the base time quantum. Materials researchers applying the RS framework to magnetic classification would cite these objects. This is a definition module containing no proofs.
claimIntroduces $\mathsf{MagnetismType}$ as the enumeration of magnetic behaviors and $\mathsf{MagnetismTypesCert}$ as the certificate for counts derived from configuration dimension.
background
The module sits in the Materials domain and imports IndisputableMonolith.Constants, whose doc-comment states the fundamental RS time quantum (RS-native) $\tau_0 = 1$ tick. Sibling declarations listed are MagnetismType, magnetismType_count, MagnetismTypesCert, and magnetismTypesCert. These supply the type system for magnetism types obtained from configuration dimension.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
Supplies the type definitions for magnetism classification that support downstream materials theorems in Recognition Science. It rests on the imported Constants module and prepares the phi-ladder and dimension-based machinery for magnetic properties.
scope and limits
- Does not derive explicit magnetic field equations.
- Does not link to the J-cost or defectDist functions.
- Does not compute mass values on the phi-ladder.
- Does not address the eight-tick octave or D=3 forcing.