IndisputableMonolith.Verification.Preregistered.AlphaInv.Prediction
Preregistered prediction module that freezes the Recognition Science interval for the inverse fine-structure constant before any measurement import. Downstream AlphaInv tests cite it to compare against CODATA without contaminating the formula. Exposes a prediction record plus certified lower and upper endpoints drawn from the interval-arithmetic bounds layer.
claimThe RS prediction for $\alpha^{-1}$ is a frozen closed interval $[L,H]$ whose endpoints are the rigorously certified bounds from the symbolic derivation (expected band roughly $(137.030, 137.039)$), packaged so that measurement modules never appear in its import cone.
background
The preregistered harness (Core) enforces “formula frozen before measurement” by architecture: prediction modules must not import measurement data; tests alone import both. This module is the AlphaInv prediction half of that split.
It sits on Constants and Constants.Alpha for the RS-native fine-structure construction, and on Numerics.Interval.AlphaBounds, which “provides interval bounds on alphaInv using the symbolic derivation.” Sibling names prediction, lo_verified, and hi_verified are the frozen interval object and its certified endpoint certificates.
In RS units the primer places $\alpha^{-1}$ inside $(137.030, 137.039)$; the bounds module turns that symbolic claim into machine-checkable interval endpoints.
proof idea
Definition and certificate packaging module, not a deep proof development. It re-exports the AlphaBounds interval as a preregistered prediction record and attaches the verified lower/upper endpoint facts (lo_verified, hi_verified) so downstream tests can quote a frozen $[L,H]$ without touching measurement imports. Any real interval arithmetic lives upstream in AlphaBounds; this file only freezes and names those results for the harness.
why it matters in Recognition Science
Closes the prediction side of the AlphaInv preregistration gate. The sole direct consumer is Verification.Preregistered.AlphaInv.Test, documented as “Test: $\alpha^{-1}$ RS interval contains CODATA 2022.” Without this separation, a test that both derives and compares $\alpha^{-1}$ could silently retune the formula after seeing data.
In the broader RS chain this is the verification surface for the fine-structure band cited in the primer, not a forcing-chain step (T0–T8). It makes the $\alpha^{-1}$ claim auditably preregistered before empirical confrontation.
scope and limits
- Does not import or mention CODATA or any measurement dataset.
- Does not re-derive the symbolic formula for $\alpha^{-1}$; that lives in Constants.Alpha / AlphaBounds.
- Does not prove containment of experimental values; that is the Test module’s job.
- Does not claim uniqueness of the interval beyond what AlphaBounds already certifies.
- Does not address other coupling constants or running of $\alpha$ with scale.