IndisputableMonolith.Physics.NeutronStarCrustalRegimesFromRS
This module defines neutron star crustal regimes and related certification objects derived from Recognition Science. Astrophysicists modeling compact object interiors in RS-native units would cite these constructions. It consists entirely of definitions for regimes, densities, ratios, and certificates with no theorems or proofs.
claimIntroduces the neutron star regime classification, associated density and ratio functions, and certification objects built on the RS time quantum $\tau_0 = 1$ tick.
background
The module imports the RS time quantum $\tau_0 = 1$ tick from Constants. It introduces definitions for neutron star regimes, regime counts, density functions, density ratios, density positivity, and neutron star certificates. These objects apply the Recognition Science framework to crustal modeling in neutron stars.
proof idea
this is a definition module, no proofs
why it matters in Recognition Science
This module supplies the definitions that connect RS constants to neutron star crustal regimes. It has no listed downstream theorems in the dependency graph.
scope and limits
- Does not derive any numerical predictions for neutron star observables.
- Does not prove existence or uniqueness of regimes.
- Does not connect to the phi-ladder or J-cost from upstream RS results.