prediction

This module holds a single preregistered forecast for the strong coupling evaluated at the Z mass. By design it stores no laboratory numbers: only a named real that later verification can match against external data.

A PointPrediction is a pair of a string label and a real value. The value here is built from the crystallographic constant wallpaper_groups = 17 (Fedorov, 1891), already used in the RS fine-structure derivation as the wallpaper factor in the curvature-fraction denominator. The parallel preregistered object for the inverse fine-structure constant is an interval prediction on $(137.030, 137.039)$, not a point.

Local convention: RS-native units and the forcing chain are upstream; this file only freezes the $\alpha_s(M_Z)$ number that the verification layer will test.

Definition, not a proof. The structure is filled by a one-line literal: name string "alpha_s_MZ" and val := 2 / wallpaper_groups with wallpaper_groups : ℕ := 17 cast to $\mathbb{R}$. No tactics, no lemmas beyond that constant.

Freezes the RS forecast $\alpha_s(M_Z) = 2/17$ inside the preregistered verification layer so downstream certificates can cite a single immutable real rather than re-deriving the ratio. It sits next to the inverse-fine-structure interval prediction and feeds the broader verification graph (dozens of use sites across astrophysics, chemistry, and constants modules that thread preregistered predictions into falsifiability certificates).

In the framework the factor 17 is the same wallpaper count that appears in the $\alpha$ curvature denominator; here it is reused as a pure geometric normalizer for the strong coupling at the Z pole. The module deliberately omits experimental anchors, so any clash with PDG $\alpha_s(M_Z)$ is a clean external falsifier of the preregistered number, not of a fitted constant.