pith. machine review for the scientific record. sign in
module module low

IndisputableMonolith.Cosmology.VoidTopologyFromConfigDim

show as:
view Lean formalization →

This module derives cosmic void topology from configuration dimension in the Recognition Science cosmology setting. It introduces VoidClass for classifying underdense regions and VoidTopologyCert to certify the topology that follows from the dimensional parameter. The structure anchors on the imported RS time quantum τ₀ = 1 tick and sibling definitions to ground the derivations. It forms a definitional foundation for later cosmological constructions without performing explicit proofs.

claimThe module defines the void class as the classification of underdense regions and the topology certificate VoidTopologyCert(d) asserting that void topology is determined by configuration dimension d, using the Recognition Science time quantum τ₀ = 1 tick.

background

Recognition Science derives all physics from a single functional equation whose forcing chain yields J-uniqueness, the self-similar fixed point phi, the eight-tick octave, and D = 3 spatial dimensions. This module sits in the cosmology domain and supplies the definitional layer for void structures. It imports the fundamental RS time quantum τ₀ = 1 tick from IndisputableMonolith.Constants. Sibling objects include VoidClass for void classification and voidTopologyCert for the certificate that topology follows from config dimension.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

This module supplies the topological foundation for void structures that later feed into Recognition Science cosmological models built on the phi-ladder and the Recognition Composition Law. It directly supports derivations that align with the T8 step forcing D = 3 and the Berry creation threshold. No downstream theorems are listed, indicating it serves as an early definitional block in the cosmology section.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (4)