Z_quark
plain-language theorem explainer
This definition supplies a placeholder quark Z-function that returns zero for any integer input, acting as a demo input inside the mass-ribbon model. Researchers testing ribbon constructions in Recognition Science would cite it while the formal derivations remain incomplete. It is realised as a constant function that discards its argument.
Claim. $Z_ {quark} : ℤ → ℤ$ is the constant function that returns 0 for every integer argument.
background
The Ribbons module records the φ-ladder ribbon machinery as a narrative scaffold for mass constructions. RS derivations are not yet formalised and downstream code treats the contents as demo inputs; the module is categorised as Model. The upstream Z_quark from RecogSpec.Scales supplies the concrete expression 4 + (6Q)^2 + (6Q)^4, which this placeholder overrides for modeling purposes.
proof idea
The definition is a direct constant function implemented by a lambda that ignores the integer input and returns zero.
why it matters
It supplies the quark branch for Z_of_charge, which selects between quark and lepton Z-values from integerized charge and sector flag. This supports the placeholder mass-ribbon construction in the Recognition Science framework, linking to the φ-ladder and mass formulas. The module remains a scaffold until the RS derivations are formalised.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.