IndisputableMonolith.Physics.RadioactiveDecayTypesFromConfigDim
This module defines the types of radioactive decay derivable from configuration dimension in Recognition Science. Nuclear physicists working in the RS framework would cite it when classifying decay channels. It is a definition module that introduces DecayMode, decayMode_count, RadioactiveDecayCert, and radioactiveDecayCert without any proofs.
claimDecayMode enumerates allowed decay channels; decayMode_count gives their cardinality; RadioactiveDecayCert certifies a decay mode; radioactiveDecayCert constructs the certificate, all parameterized by configuration dimension.
background
The module imports IndisputableMonolith.Constants, whose sole documented content is the fundamental RS time quantum τ₀ = 1 tick. It sits in the Physics domain and introduces four sibling definitions: DecayMode, decayMode_count, RadioactiveDecayCert, and radioactiveDecayCert. These objects formalize how decay types arise once the configuration dimension is fixed.
proof idea
this is a definition module, no proofs
why it matters in Recognition Science
The module supplies the decay-mode layer that higher physics results on nuclear processes would require, though the current dependency graph shows zero direct used_by edges. It completes the step of extracting radioactive decay types from configuration dimension within the RS physics module hierarchy.
scope and limits
- Does not derive numerical half-lives or branching ratios.
- Does not connect decay modes to specific nuclear species or Z values.
- Does not invoke the phi-ladder mass formula or Berry threshold.
- Does not address stability criteria beyond mode enumeration.