IndisputableMonolith.Nuclear.NeutronStarEOSStructure
The module defines neutron-star equation-of-state structures that imply the positive effective nuclear-force coefficients required by the Recognition ledger. Astrophysicists modeling compact objects or r-process yields cite it to maintain consistency with the J-cost and phi-ladder framework. It consists of four sibling definitions and one implication theorem that transfers the nuclear-force positivity result into the stellar context.
claimNeutron-star equation-of-state structure implies positive effective nuclear-force coefficients: neutron-star EOS structure maps to nuclear-force coefficients satisfying $c > 0$.
background
Recognition Science derives nuclear interactions from the J-functional equation and the self-similar fixed point phi. The upstream NuclearForceStructure module establishes that effective nuclear-force coefficients remain positive under this law. This module introduces neutron-star EOS structure as the ledger-based encoding of the equation of state for neutron-star matter, together with the implication that maps stellar density profiles back to the force coefficients.
proof idea
This is a definition module, no proofs. The argument structure consists of direct definitions of the EOS objects from the ledger and a straightforward implication that inherits positivity from the nuclear-force module.
why it matters in Recognition Science
The module supplies the nuclear-force-side input required by the downstream RProcessYieldsStructure for computing r-process yields. It closes the link between neutron-star interiors and the positive nuclear coefficients in the Recognition framework, enabling consistent modeling of nucleosynthesis in high-density environments.
scope and limits
- Does not provide numerical solutions for the Tolman-Oppenheimer-Volkoff equation.
- Does not incorporate finite-temperature effects in the EOS.
- Does not extend to hybrid stars with quark cores.
- Does not validate against observational constraints from gravitational waves.