discrepancy_percent
plain-language theorem explainer
Records the relative mismatch between the RS baryon-asymmetry prediction η_B ≈ φ^{-44} and the observed value as a fixed 4.5 percent. Cosmologists comparing the φ-ladder η_B scale to Planck/BBN data cite this constant for context. It is a bare real definition, not a derived theorem.
Claim. The relative discrepancy between the Recognition Science baryon asymmetry $\eta_B \approx \varphi^{-44} \approx 6.376 \times 10^{-10}$ and the observed value $6.12 \pm 0.04 \times 10^{-10}$ is fixed at $4.5\%$.
background
The module closes the electroweak-baryogenesis chain by placing $\eta_B$ on $\varphi$-rung $-44$. The structural formula is $\eta_B = (\varepsilon_{\mathrm{CP}}/g_\star)\times$ washout, with $\varepsilon_{\mathrm{CP}}\propto J_{\mathrm{CP}}>0$, $g_\star=106.75$ from SM content forced by $Q_3$, and washout from the sphaleron rate at the EW transition.
The rung $44=4\times 11$ is the product of the chirality flip count (Gray-code pattern) and the generation torsion gap from the CW filtration spectrum ${0,11,17}$. The same product seeds $\alpha^{-1}$. The complementary balance $\eta_B\times\varphi^{45}=\varphi$ makes the golden ratio the self-similar overshoot one rung above the $-44/45$ pair.
For numerical context the RS scale is quoted as a multiple of $10^{-10}$: $\varphi^{-44}\approx 6.376\times 10^{-10}$ versus observed $6.12\pm 0.04$, hence a $\approx 4.5%$ relative gap.
proof idea
No proof. The declaration is a one-line real constant binding the documented relative discrepancy to the literal value $4.5$. Upstream rung and identity scaffolding are not invoked; the number is taken from the module doc-comment comparison of $\varphi^{-44}$ to the observed $\eta_B/(10^{-10})$.
why it matters
Sits in Part 7 of the baryon-asymmetry exact certificate, which packages the rung assignment $44=4\times 11$, the identity $\varphi^{-44}\times\varphi^{45}=\varphi$, and the balance $\eta_B\times\varphi^{45}=\varphi$. It gives a single named figure for how close the $\varphi$-ladder prediction sits to data, without claiming a statistical fit or error budget.
In the broader RS chain the same $44$ product links $\eta_B$ to the fine-structure seed and to T6 ($\varphi$ as self-similar fixed point). No downstream theorems currently depend on this constant; it is documentary context for the master certificate rather than a forcing step.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.