Pith. sign in
module module high

IndisputableMonolith.Constants.AlphaGenesis

show as:
view Lean formalization →

Barrel module for the Alpha Genesis derivation of the fine-structure inverse α⁻¹ from recognition geometry, without feeding measured CODATA into the forward chain. It re-exports eight submodules (pattern, spectral, loop, residual, calibration, resummation, κ_γ-irreducibility, measurement quarantine). Cite it when assembling the closed α⁻¹ certificate or checking which pieces stay blind to experiment. Structure is pure aggregation: no local proofs.

claimThe Alpha Genesis barrel collects the forward construction of $\alpha^{-1}$ as a property of the EM recognition loop: channel budget $\Omega(\partial Q_3)\times E_{\mathrm{passive}}=4\pi\times 11$, $\varphi$-ladder pattern $u_t=\varphi^t$ forced by T6 self-similarity, spectral weight with decay $\varphi^{-k}$, self-similar dressing eliminating unit-linear-response calibration, and the $\kappa_\gamma$-scaling irreducibility theorem. Residual comparison to CODATA and the measurement verdict sit in quarantined submodules only.

background

Recognition Science forces constants from the T0–T8 chain and the Recognition Composition Law rather than fitting them. In RS-native units one has $c=1$, $\hbar=\varphi^{-5}$, $G=\varphi^5/\pi$, and a predicted band for $\alpha^{-1}$ near $(137.030,137.039)$. Alpha Genesis is the constants-layer program that builds $\alpha^{-1}$ forward from discrete geometry of the recognition loop.

The eight imported submodules split cleanly. PatternForcing shows any eight-tick ladder with unit base, constant positive step ratio, and $r^2=r+1$ is exactly $u_t=\varphi^t$, with decay envelope $\varphi^{-k}$ the T9 measure. LoopCertificate defines $\alpha^{-1}$ from the EM channel budget $4\pi\times 11$ (discrete Gauss–Bonnet curvature times passive dressing). CalibrationForcing removes the unit-linear-response normalization by self-similar dressing under ledger factorization. KappaGammaIrreducibility upgrades “boundary datum” status to a structural theorem via the $\kappa_\gamma$-scaling test.

ResidualTarget and MeasurementVerdict are quarantined: they alone may mention CODATA or ExternalAnchors; M1–M3 stay blind by construction.

proof idea

This is a barrel module: it only imports the eight Alpha Genesis submodules and re-exports their namespaces. There are no local theorems, defs, or tactic proofs. The argument lives entirely in the children: PatternForcing and SpectralForcing force the $\varphi$-ladder and weights; LoopCertificate builds the genesis certificate from the EM recognition loop; ResummationForcing and CalibrationForcing close the dressing response without free normalization; KappaGammaIrreducibility settles structural irreducibility; ResidualTarget and MeasurementVerdict hold the CODATA comparison in quarantine so the forward chain never imports them.

why it matters in Recognition Science

The root IndisputableMonolith module imports this barrel as the public constants entry for the Shape of Logic release, which exports the T-2–T8 spine, recognition geometry, and core ILG gravity, but no later-physics verticals. Alpha Genesis is where the predicted $\alpha^{-1}$ band becomes a derived object rather than an input: the loop certificate, $\varphi$-pattern forcing (T6), eight-tick structure (T7), and $\kappa_\gamma$-irreducibility together aim to move $\alpha^{-1}$ from measured boundary datum to theorem.

Downstream consumers cite the barrel when they need the whole genesis stack without picking individual M-modules. Quarantine of ResidualTarget and MeasurementVerdict protects the forward derivation’s blindness claim, which is the main methodological stake of the program.

scope and limits

used by (1)

From the project-wide theorem graph. These declarations reference this one in their body.

depends on (8)

Lean names referenced from this declaration's body.