IndisputableMonolith.Verification.Preregistered.AlphaS.Test
Preregistered verification module for the strong coupling at the Z pole: it wires a frozen RS prediction for α_s(M_Z) to PDG 2022/2024 data and exposes a 1σ pass flag. Auditors of the “formula before measurement” harness cite it. The argument is structural import separation plus a boolean agreement check, not a derivation of α_s itself.
claimImport the frozen prediction for $\alpha_s(M_Z)$ and the PDG 2022/2024 measurement; report whether the prediction lies inside the one-standard-deviation experimental window (sibling flag: passes at $1\sigma$).
background
Recognition Science freezes dimensionless predictions before they touch data. The Core harness enforces that split: prediction modules must not import measurement modules; measurement modules are pure data; only test modules import both. That design goal is stated upstream as enforcing “formula frozen before measurement” structurally.
Here the observable is the strong coupling at the Z mass, $\alpha_s(M_Z)$. The Prediction import holds the RS-side value with no experimental numbers. The Measurement_PDG2022 import is a pure data module for the PDG 2022/2024 ballpark and is the place to edit when PDG updates.
This Test module is the join point. It does not re-derive the coupling; it only asks whether the already-frozen number sits inside the quoted experimental band.
proof idea
Not a derivation module. It imports Core, the α_s prediction (intentionally data-free), and the PDG 2022 measurement (pure data), then evaluates agreement. The visible sibling is a boolean 1σ pass flag against that PDG window. No tactic proof of a physical identity lives here; the “argument” is the harness wiring plus a numeric comparison.
why it matters in Recognition Science
Closes the preregistration loop for $\alpha_s(M_Z)$ inside the Verification domain: prediction frozen, measurement isolated, test the only place both meet. Downstream edges are empty in the graph, so this module is a leaf audit artifact rather than a lemma feeder. It supports the broader RS claim that constants and couplings are fixed by the forcing chain (φ, eight-tick structure, and related landmarks) before confrontation with PDG numbers, and it makes a failed 1σ check an explicit, local falsifier for that coupling channel.
scope and limits
- Does not derive or recompute the RS value of α_s(M_Z).
- Does not import or certify non-PDG datasets or later PDG editions until Measurement is updated.
- Does not prove running-coupling evolution; only a pole-value 1σ window check.
- Does not feed downstream theorems in the current dependency graph (leaf test module).
- Does not replace a full electroweak or QCD fit; it is a single-observable pass flag.