IndisputableMonolith.Nuclear.RProcessYieldsStructure
The module links r-process yields structure to neutron-star equation-of-state inputs inside Recognition Science. Nuclear astrophysicists cite it when modeling heavy-element formation in neutron-rich sites that also constrain compact-object properties. The module imports the EOS structure and organizes its sibling declarations to encode the implication.
claimR-process yields structure implies neutron-star-EOS-side input: $r$-process yields structure $implies$ NS-EOS input.
background
Recognition Science derives nuclear constants from the J-uniqueness fixed point and the phi-ladder mass formula. The module sits in the nuclear domain and imports NeutronStarEOSStructure to supply the equation-of-state component. Its doc-comment states that the r-process yields structure implies neutron-star-EOS-side input, connecting rapid neutron capture to compact-star modeling.
proof idea
This is a definition module, no proofs. It organizes the argument through sibling declarations that define the yields structure and the implication to the EOS.
why it matters in Recognition Science
The module supplies the structural link used by r_process_yields_structure and r_process_implies_ns_eos. It advances the nuclear sector of the unified forcing chain by tying nucleosynthesis yields to the EOS that enters the phi-ladder mass formula.
scope and limits
- Does not compute numerical r-process yields for specific isotopes.
- Does not derive the EOS from the Recognition Composition Law.
- Does not address magnetic-field effects on r-process sites.
- Does not incorporate general-relativistic corrections beyond the imported EOS module.