IndisputableMonolith.Materials.MagnetismTypesFromConfigDim
This module defines magnetism type classifications for Recognition Science materials, parameterized by configuration dimension. Condensed matter researchers applying RS to magnetic systems would cite these when classifying behaviors from the phi-ladder. It is a definition module with no proofs, importing only the base RS time quantum.
claimThe module introduces the type $MagnetismType$, the counting function $magnetismType_count$, and the certification $MagnetismTypesCert$ derived from configuration dimension in RS-native units.
background
Recognition Science models materials via the unified forcing chain with base unit the time quantum τ₀ = 1 tick. This module supplies magnetism types extracted from configuration dimension, which connects to the spatial dimension D = 3 and the eight-tick octave. Sibling declarations define MagnetismType as the core enumeration, magnetismType_count for enumeration size, and MagnetismTypesCert as the validation predicate ensuring consistency with J-cost and phi-ladder conventions.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
This module supplies the magnetism type primitives that feed into higher-level materials theorems in the Recognition Science framework. It provides the classification layer required for integrating magnetic responses with the Recognition Composition Law and phi-based mass formulas.
scope and limits
- Does not compute numerical magnetic moments or susceptibilities.
- Does not connect to electromagnetic constants such as alpha.
- Does not treat time-dependent or dynamical magnetic fields.
- Does not extend beyond the D = 3 spatial setting.