IndisputableMonolith.Chemistry.NuclearMagicIsotopesFromRS
The module defines doubly magic nuclides and nuclear magic certificates using RS constants. Nuclear structure researchers would cite it to connect shell closures to the phi-ladder. It is a definition module with no proofs.
claimDefines DoublyMagicNuclide$(Z,N)$ for closed-shell nuclides, doublyMagic_count for enumeration, and NuclearMagicCert for RS-derived magic certification, all in units with $τ_0=1$ tick.
background
The module resides in the Chemistry domain and imports Constants, whose sole content is the definition $τ_0=1$ tick as the RS time quantum. Sibling declarations introduce DoublyMagicNuclide, a count function, and a certificate object that encode nuclear magic properties directly from RS-native parameters.
proof idea
this is a definition module, no proofs
why it matters in Recognition Science
Supplies the nuclear-magic objects that later chemistry results would apply to the mass formula and phi-ladder. No downstream theorems are recorded.
scope and limits
- Does not compute numerical masses or binding energies.
- Does not derive magic numbers from the J-function or RCL.
- Does not reference the eight-tick octave or spatial dimension D=3.