IndisputableMonolith.Physics.RadioactiveDecayTypesFromConfigDim
This module defines the type system for radioactive decay modes derived from configuration dimensions in the Recognition Science framework. It introduces DecayMode as an enumeration of decay processes together with RadioactiveDecayCert and the auxiliary decayMode_count function. Researchers modeling RS-derived particle stability and decay chains would cite these definitions when building typed physics calculations. The module is purely definitional with no theorems or proofs.
claimThe module declares the inductive type $DecayMode$ enumerating allowed radioactive decay processes, the structure $RadioactiveDecayCert$ (parameterized by configuration dimension), and the function $decayMode_count : DecayMode → ℕ$ that returns the multiplicity of each mode.
background
The module imports only the RS time quantum τ₀ = 1 tick from IndisputableMonolith.Constants and operates inside the physics domain. It supplies typed representations for decay processes that are intended to sit atop the J-cost, defectDist, and phi-ladder constructions already present in the broader Recognition Science development. No additional upstream lemmas are required beyond the constants module.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
The declarations supply the typed interface required by any later theorem that computes decay rates or stability thresholds from the phi-ladder and the eight-tick octave (T7). They therefore feed the physics layer that ultimately connects to the mass formula and the Berry creation threshold phi^{-1}.
scope and limits
- Does not compute numerical decay rates or lifetimes.
- Does not assign specific modes to named particles.
- Does not incorporate electromagnetic or weak interaction vertices.
- Does not derive the configuration dimension from the forcing chain.