neutronDecayQ
plain-language theorem explainer
neutronDecayQ supplies the free-neutron beta-decay Q-value of 0.782 MeV as a structural placeholder inside the Recognition Science neutron-lifetime model. Nuclear physicists working on the lifetime anomaly would cite this constant when verifying kinematic allowance or scaling the Q^5 phase-space factor. The definition consists of a direct real-number assignment with no lemmas or reductions applied.
Claim. The free-neutron beta-decay energy release is fixed at $Q = 0.782$ MeV.
background
The module formalizes the RS structural framework for neutron lifetime under registry item P-015. Experimental bottle/beam discrepancy remains unresolved; neutron lifetime is fixed by weak decay phase space with $Q^5$ scaling, matrix-element structure, and rung-determined mass inputs, while full numerical derivation stays BLOCKED. Upstream results define scale(k) as phi^k from LargeScaleStructureFromRS and lifetime(k) as phi^k from DecaySpectrumFromPhiLadder, supplying the phi-ladder basis for mass and lifetime inputs. The constant neutronDecayQ provides the specific Q input for local kinematic checks.
proof idea
The definition is a direct assignment of the real number 0.782. No lemmas or tactics are invoked; it functions purely as a structural placeholder.
why it matters
This constant supplies the input for downstream results including neutron_decay_allowed (proving Q > 0) and neutron_decay_phase_space_positive (proving Q^5 > 0). It fills the kinematic placeholder in P-015, where RS ties lifetime to Q^5 scaling on the phi-ladder. Framework status remains STARTED with full derivation blocked. It connects to the phi fixed point and self-similar ladder through the upstream lifetime definitions.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.