skeleton_only_accuracy
plain-language theorem explainer
Documents that Convention A quark masses built from integer rungs alone, omitting the charge-band correction gap(Z), miss PDG-scale values by 10% to O(1). Auditors of the fermion mass pipeline cite it when arguing that the phi-ladder skeleton is incomplete for quarks. The declaration is a fixed audit string, not a proved bound.
Claim. Audit note: if Convention A quark masses are evaluated on the integer-rung skeleton only, i.e. $m = \mathrm{yardstick} \times \varphi^{r-8}$ without the charge-band term $\mathrm{gap}(Z)$, the relative errors versus observed quark masses lie in the $10\%\text{--}O(1)$ range; a holdout structural test treats skeleton-only as insufficient.
background
The Quark Sector Audit module records the dual-coordinate blocker: two coexisting quark rung conventions that are not mathematically equivalent and have not been merged into one forward, parameter-free pipeline.
Convention A (canonical core) uses integer rungs from cube geometry, with mass law $m = \mathrm{yardstick}(\mathrm{Sector})\times\varphi^{r-8+\mathrm{gap}(Z)}$. Here $\varphi$ is the golden-ratio fixed point of the forcing chain, the exponent shift by 8 is the eight-tick octave offset, and $\mathrm{gap}(Z)$ is the charge-band correction (in the broader framework, gap factors include the Gap45 product of closure and Fibonacci factors). Convention B is a separate quarter-ladder hypothesis keyed to PDG targets.
This string sits among sibling audit flags (light-quark accuracy, reconciliation status) that mark what the skeleton can and cannot claim before reconciliation.
proof idea
No mathematical proof. The declaration is a String abbreviation whose body is a fixed prose audit sentence: skeleton masses without $\mathrm{gap}(Z)$ carry $10%$ to $O(1)$ quark errors, and the holdout structural test treats skeleton-only as insufficient. Nothing is reduced, rewritten, or discharged.
why it matters
In Recognition Science the fermion mass formula is yardstick times $\varphi$ to the power $(rung-8+\mathrm{gap}(Z))$ on the phi-ladder. For leptons the full exponent is part of the clean core story; for quarks this audit flag records that dropping $\mathrm{gap}(Z)$ leaves large errors, so the integer-rung geometry alone does not close the sector.
The module frames reconciliation of Convention A with Convention B as the main blocker to an end-to-end "all fermions" claim. With no downstream dependents, the string is a human-facing status marker next to no_reconciliation_yet and related audit defs, not a lemma in a proof chain. It ties the mass-law gap term to the open dual-coordinate problem rather than to T5--T8 forcing steps directly.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.