currentStatus
plain-language theorem explainer
Records the quark-sector audit verdict as a fixed status string: the two rung conventions remain unresolved and non-equivalent. Anyone citing fermion mass completeness or the full-framework verdict needs this flag. The body is a literal string constant, not a derived proof.
Claim. The quark-sector status string equals the fixed message that the sector is unresolved: two coexisting conventions (integer rungs versus quarter-ladder) are documented as non-equivalent; Convention A is parameter-free but yields only skeleton masses (large errors without $\mathrm{gap}(Z)$); Convention B reaches $<2\%$ on heavy quarks but uses PDG targets; neither alone is a complete forward pipeline for all six quarks.
background
The Quark Sector Audit module isolates the main blocker to an end-to-end mass claim: two quark coordinate systems coexist and are not mathematically equivalent.
Convention A (canonical core) uses integer rungs from the cube geometry and the mass law $m = \mathrm{yardstick}(\mathrm{Sector})\times\varphi^{r-8+\mathrm{gap}(Z)}$, with up- and down-type rungs ${4,15,21}$ and distinct yardsticks. It is parameter-free but only skeleton-accurate without gap corrections. Convention B (hypothesis layer) places residues on a quarter-integer ladder relative to the electron structural mass and fits PDG targets; it is not part of the clean core pipeline.
The module states explicitly that the two conventions are not meant to be equivalent, so a single non-circular, parameter-free quark derivation on the same footing as the lepton chain is still missing.
proof idea
Definitional constant: the value is the quoted status string. No tactics, no lemmas, no reduction. Downstream code compares against this literal (e.g. inequality with $"RESOLVED"$).
why it matters
This status is the audit flag that prevents a full mass-framework verdict. The parent theorem quark_problem_blocks_full_verdict proves the status is not $"RESOLVED"$, so the framework cannot claim correctness for all fermions until the dual-coordinate problem is closed.
In Recognition Science the lepton side sits on the $\varphi$-ladder with a single forward law; quarks still split between integer rungs (T6 self-similarity / mass formula yardstick $\times\varphi^{r-8+\mathrm{gap}(Z)}$) and a PDG-tied quarter-ladder. Until one reconciled pipeline exists, "correct end-to-end" remains blocked. The module lists three mutually exclusive fix paths; this string is the standing witness that none has been chosen.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.