pith. sign in
module module high

IndisputableMonolith

show as:
view Lean formalization →

IndisputableMonolith serves as the root aggregator for the Recognition Science framework, importing 22 modules that establish the Recognition Composition Law, branch selection to the bilinear form, the integration gap at D=3, and the eta_B rung of -44. Physicists deriving cosmological parameters or the phi-ladder from the functional equation would cite this module as the central entry point. The module contains no local proofs and functions only as a dependency organizer.

claimThe root module aggregates derivations of the integration gap $D^2(D+2)$ at $D=3$, the bilinear branch $F_α(x)=α^{-2}(cosh(α ln x)-1)$, and the baryon-to-photon ratio rung $-44$ from the Recognition Composition Law family $F(xy)+F(x/y)=2F(x)+2F(y)+c F(x)F(y)$.

background

The theoretical setting is the Recognition Science framework that derives physics structures from a single functional equation. BranchSelection forces the bilinear branch under the combiner $P(u,v)=2u+2v+c·u·v$ from the Logic_FE rigidity theorem. AlphaCoordinateFixation reduces the calibrated family to the one-parameter form $F_α(x)=α^{-2}(cosh(α ln x)-1)$ for $α≥1$ after higher-derivative calibration.

proof idea

This is an aggregation module with no local proofs or definitions; its structure consists entirely of import statements that organize the dependency graph among the 22 foundational components.

why it matters in Recognition Science

This module earns its place as the top-level organizer for the Recognition Science framework, directly feeding the cosmology results in EtaBExactRungDerivation (three witnesses to the rung -44 via integrationGap D -1) and EtaBPrefactorDerivation (prefactor $c_{RS}=(1-φ^{-8})^2$). It assembles the chain from MagnitudeOfMismatch symmetry and IntegrationGap at D=3 into the eta_B formula.

scope and limits

depends on (22)

Lean names referenced from this declaration's body.