upquark_params_derived

The MassComparison module checks Recognition Science mass predictions against PDG 2024 values. It is quarantined from the certified surface because it imports experimental numbers and uses the φ-ladder anchor system. The sector mass formula is

$m = \mathrm{yardstick}(\mathrm{sector})\times\varphi^{r_0+r_{\mathrm{species}}}$,

with $\mathrm{yardstick}=2^{B_{\mathrm{pow}}},E_{\mathrm{coh}},\varphi^{r_0}$ and $E_{\mathrm{coh}}=\varphi^{-5}$.

$B_{\mathrm{pow}}$ and $r_0$ are sector-dependent integers derived from cube edge counting and wallpaper geometry, not free fits. For the up-quark sector the definitions specialize to $B_{\mathrm{pow}}=-(A)=-1$ and $r_0=2W+A=2\cdot 17+1=35$, where $A$ is active edges per tick and $W$ is the wallpaper-group count. The equalities $B_{\mathrm{pow}}(\mathrm{UpQuark})=-1$ and $r_0(\mathrm{UpQuark})=35$ are already proved by simplification and norm_num in the Anchor module.

Term-mode proof by constructor on the conjunction. The left conjunct is discharged by exact B_pow_UpQuark_eq; the right by exact r0_UpQuark_eq. No new arithmetic is performed here; both sector identities were already reduced from the geometric constants $A$ and $W$ upstream.

Without fixed $(B_{\mathrm{pow}},r_0)$ the up-quark yardstick and ladder offset are undefined, so the RS mass formula cannot be evaluated or compared to PDG. This declaration packages the two Anchor equalities into a single citation point for the up-quark sector inside the verification layer. It sits on the φ-ladder mass infrastructure (yardstick $\times,\varphi^{\mathrm{rung}}$) that ultimately rests on T6 (φ forced as the self-similar fixed point) and the geometric counting that produces $A$ and $W$. No downstream theorems currently depend on it in the graph; its role is local packaging for mass-comparison scripts and audits.