IndisputableMonolith.Chemistry.NuclearMagicIsotopesFromRS
This module supplies RS-derived definitions for doubly magic nuclides and nuclear magic certificates. Nuclear chemists and structure physicists cite it for phi-ladder predictions of closed-shell isotopes. The module consists entirely of type and count definitions with no embedded proofs.
claimDefines $DoublyMagicNuclide$ as nuclides with magic proton and neutron numbers, $doublyMagic_count$ as the enumeration function, and $NuclearMagicCert$ as the certification predicate, all in RS-native units with $τ_0 = 1$ tick.
background
The module imports the RS time quantum $τ_0 = 1$ tick from IndisputableMonolith.Constants and Mathlib. It introduces DoublyMagicNuclide for closed-shell nuclei, doublyMagic_count for enumeration, and NuclearMagicCert for verification. The setting applies Recognition Science forcing chains to nuclear structure via the phi-ladder and mass formula.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
The module feeds downstream Recognition Science chemistry results by supplying magic-isotope primitives. It fills the nuclear-structure slot in the T5–T8 chain and connects to the mass formula yardstick.
scope and limits
- Does not derive explicit mass values for listed isotopes.
- Does not prove dynamical stability from the RCL.
- Does not address non-magic isotopes or decay channels.
- Does not interface with experimental nuclear data tables.