Pith. sign in
module module high

IndisputableMonolith.Constants.AlphaGenesis.CalibrationForcing

show as:
view Lean formalization →

Calibration forcing closes the last free parameter in the forward α derivation: the dressing step is fixed by self-similarity, so no external calibration field remains. The survival fraction under gap load is the unique response compatible with the two ledger premises and the step-balance r² = r + 1. Anyone citing the genesis value of α⁻¹ or the exclusion of ad-hoc renormalization should land here. The module packages forced step, forced response, and the resulting certificate.

claimA self-similar dressing is a survival fraction $S(\varepsilon)$ under gap load $\varepsilon$ obeying the two inherited ledger premises (factorizing response, unit linear response at zero load) together with the self-similar step balance $r^2 = r + 1$. The step $r$ is forced positive and equal to $\varphi$; the response is forced to the exponential form. Consequently no free calibration field exists, and the genesis display of $\alpha^{-1}$ is determined.

background

Alpha Genesis derives $\alpha^{-1}$ forward from recognition structure rather than fitting a display. Upstream M1 (ResummationForcing) already forces any factorizing unit-linear dressing to be $\varepsilon \mapsto \exp(-\varepsilon)$; the additive $1-\varepsilon$ form is excluded. M2 (PatternForcing) forces the eight-tick ladder pattern with constant positive step and self-similar ratio $r^2 = r + 1$ to be exactly $u_t = \varphi^t$, with decay envelope the T9 measure. M3 (LoopCertificate) supplies the channel budget $\Omega(\partial Q_3)\times E_{\mathrm{passive}} = 4\pi \times 11$ for the EM recognition loop.

This module sits after those forcings. The remaining question is whether a free calibration (an overall scale or offset in the dressing) could still be chosen by hand. Self-similar dressing answers no: the step balance inherited from T6, together with the ledger premises, pins both the multiplicative step and the response, so the survival fraction under gap load carries no adjustable field.

Notation: $\varphi$ is the unique positive solution of $r^2 = r + 1$; gap load $\varepsilon$ is the dimensionless ledger excess; survival fraction is the multiplicative weight retained after dressing.

proof idea

The module is theorem-bearing, not a pure definition dump. It introduces the self-similar dressing structure, then forces its pieces in order: nonnegativity and positivity of the step, the identity equating the step to its square-shift (the T6 balance), uniqueness of that step, and uniqueness of the factorizing response. From those, a canonical natural display is assembled and the genesis $\alpha^{-1}$ is recovered from the self-similar data alone. A final certificate packages the chain for the AlphaGenesis aggregator. Individual lemmas are short algebraic or uniqueness arguments leaning on ResummationForcing, PatternForcing, and the $\varphi$ fixed-point facts already in Constants.

why it matters in Recognition Science

Without calibration forcing, the forward $\alpha$ program would still admit an external knob between the forced exponential dressing and the numerical display. This module removes that knob: self-similar step balance plus the two ledger premises leave only the RS-native survival fraction. The parent aggregator Constants.AlphaGenesis imports it to complete the mirror of the mass-derivation program: seed times continuum weight built from the forced $w_8$ pattern, with dressing fixed rather than fitted. It sits downstream of M1–M3 and T9 (MeasureForcing), and upstream of any claim that $\alpha^{-1}$ in the RS band needs no phenomenological renormalization constant. Framework landmarks in play: T6 ($\varphi$ as self-similar fixed point), T9 (forced measure matching the decay envelope), and the RCL/J-cost lineage that underwrites the ledger premises.

scope and limits

used by (1)

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

depends on (5)

Lean names referenced from this declaration's body.

declarations in this module (11)