pith. machine review for the scientific record. sign in
module module moderate

IndisputableMonolith.Masses.SectorParams

show as:
view Lean formalization →

SectorParams supplies sector-specific rung offsets and gap adjustments for the phi-ladder mass formula in Recognition Science. Mass-spectrum researchers cite it when assigning parameters to distinct particle sectors before applying the yardstick scaling. The module contains only definitions and no theorems.

claimSector parameters $P_s$ for each sector $s$, each supplying rung offset and defect gap $g(Z)$ on the ladder $m = y_0 · ϕ^{r-8+g(Z)}$.

background

Recognition Science computes masses via the phi-ladder formula yardstick times phi to the power of rung minus eight plus gap(Z). SectorParams introduces the sector-indexed adjustments to rung and gap that distinguish different particle families. The module sits inside the Masses domain and inherits the phi fixed point and eight-tick octave from the upstream forcing chain.

proof idea

this is a definition module, no proofs

why it matters in Recognition Science

SectorParams feeds the concrete mass formulas used in downstream particle-spectrum calculations. It supplies the sector data required by the mass-ladder theorems that close the T8 step of the forcing chain.

scope and limits