IndisputableMonolith.Physics.DecaySpectrumFromPhiLadder
The module defines decay channels, lifetimes, lifetime ratios, and a certified decay spectrum derived from the phi-ladder mass formula in Recognition Science. Researchers constructing particle decay models inside the RS framework would cite these definitions. It is a definition module that imports only the base time quantum from Constants.
claimDefinitions of decay channels, lifetime functions, lifetime ratios, and a decay spectrum certificate constructed from the phi-ladder mass assignments.
background
The module sits in the Physics domain and imports IndisputableMonolith.Constants. Its sole upstream doc-comment states: 'The fundamental RS time quantum (RS-native). τ₀ = 1 tick.' The module introduces sibling definitions for decay channels, channel counts, lifetime, lifetime ratio, lifetime position, and a DecaySpectrumCert structure to express decay processes on the phi-ladder.
proof idea
this is a definition module, no proofs
why it matters in Recognition Science
The module supplies decay-spectrum machinery that supports parent theorems on particle lifetimes and spectra in the Recognition framework. It connects the phi-ladder mass formula to observable decay behavior, though the used_by list is currently empty.
scope and limits
- Does not assign numerical lifetimes to specific particles.
- Does not compare results against experimental decay data.
- Does not incorporate standard-model quantum numbers or interactions.