light_quark_accuracy
plain-language theorem explainer
Status string recording that Convention B light-quark mass matches sit at roughly 5% error (strange and down). Auditors of the dual-coordinate quark problem cite it when documenting that the quarter-ladder hypothesis is not a clean derivation. The body is a fixed prose constant, not a proved bound.
Claim. Under the quarter-ladder (Convention B) quark mass ansatz $m = m_e^{\mathrm{struct}} \varphi^{R}$ with $R \in \tfrac{1}{4}\mathbb{Z}$, the strange and down matches to PDG targets are at the $\sim 5\%$ level; that residual is attributed to non-perturbative QCD, but the attribution is a hypothesis rather than a derivation from the Recognition mass law.
background
The Quark Sector Audit module records the dual-coordinate blocker: two coexisting rung conventions that are not mathematically equivalent and have not been fused into one forward pipeline.
Convention A (canonical core) uses integer rungs from cube geometry with $m = \mathrm{yardstick}(\mathrm{Sector})\times\varphi^{r-8+\mathrm{gap}(Z)}$, up- and down-type rungs ${4,15,21}$, and sector yardsticks from the counting layer. Convention B (hypothesis module) uses a quarter-ladder $m = m_e^{\mathrm{struct}}\times\varphi^{R}$ with fixed residues (strange $-40/4$, down $-64/4$, etc.) and PDG targets, so it is not parameter-free.
Sibling audit strings contrast skeleton-only Convention A errors (order-one without $\mathrm{gap}(Z)$) against these Convention B light-quark residuals. The gap factor $\mathrm{gap}=45$ and the $\varphi$-ladder mass formula are the shared RS landmarks; the audit does not claim either convention already closes the fermion sector end-to-end.
proof idea
Definitional string constant. No tactics, no lemmas, no algebraic reduction: the declaration binds a fixed English status line summarizing the known $\sim 5%$ strange/down residuals under Convention B and flagging the non-perturbative-QCD attribution as undischarged hypothesis.
why it matters
Sits in the verification layer that blocks the claim "correct for all fermions." The module doc states that until the two quark coordinates are reconciled into one non-circular, parameter-free forward pipeline, lepton-style end-to-end status is not defensible. This string documents the light-quark side of Convention B's empirical shortfall (distinct from Convention A skeleton O(1) errors without gap). It feeds the audit narrative alongside siblings on generation spacing, rung-type mismatch, and the explicit no_reconciliation_yet stance. Framework landmarks in play are the $\varphi$-ladder mass formula and $\mathrm{gap}(Z)$ (T6 self-similarity, gap-45 derivation); the entry does not advance T0–T8 forcing, RCL, or the alpha band. Open question: mutually exclusive resolutions listed in the module (single coordinate, derived bridge, or demotion of one convention) remain unresolved; used_by is empty.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.