Pith. sign in
module module moderate

IndisputableMonolith

show as:
view Lean formalization →

The IndisputableMonolith module aggregates the full Recognition Science framework by importing 22 foundational and cosmological components. A researcher tracing the derivation of physical constants from a single functional equation would cite this as the central assembly point. The module itself performs no proofs and consists solely of imports that chain primitive distinction through the Recognition Composition Law to baryon asymmetry results.

claimThe root module collects the Recognition Composition Law family \(F(xy) + F(x/y) = 2F(x) + 2F(y) + c F(x)F(y)\), the integration gap \(D^2(D+2)\) evaluated at \(D=3\) as 45, the baryon-to-photon rung pinned at \(-44\) via three combinatorial witnesses, and the prefactor \((1 - \phi^{-8})^2\).

background

The module imports PrimitiveDistinction, MagnitudeOfMismatch, ObserverFromRecognition, RecognizerInducesLogic, MultiplicativeRecognizerL4, BranchSelection, AlphaCoordinateFixation, NonTrivialityFromDistinguishability, PreTemporalForcingOrder, RecognitionLattice3, RecognitionLatticeFromRecognizer, and RealityTerminalCategory, plus cosmological files. MagnitudeOfMismatch encodes non-contradiction as symmetry of the comparison operator (Cxy = Cyx). BranchSelection reduces the Logic_FE rigidity theorem to the bilinear branch under the combiner (P(u,v) = 2u + 2v + c uv). IntegrationGap defines the integer (D^2(D+2)) and notes its value 45 at three dimensions. EtaBExactRungDerivation and EtaBPrefactorDerivation supply the rung and prefactor for baryogenesis.

proof idea

This is a definition module with no local proofs. Its structure is the ordered import of 22 components that together realize the forcing chain from T0 to T8, the Recognition Composition Law, J-uniqueness, and the D=3 integration gap. The argument proceeds by first establishing symmetry and branch selection in the foundation modules, then applying those to fix the alpha coordinate and compute the exact rung witnesses for eta_B.

why it matters in Recognition Science

The module assembles the complete chain that feeds the cosmological derivations of the baryon-to-photon ratio and its prefactor. It supplies the structural setting in which the eight-tick octave, phi-ladder, and alpha band emerge from the Recognition Composition Law. No downstream uses are listed, indicating it functions as the top-level entry point for the entire framework.

scope and limits

depends on (22)

Lean names referenced from this declaration's body.