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

IndisputableMonolith.Physics.QuantumGravityFromRS

show as:
view Lean formalization →

The module introduces definitions for quantum gravity derived from Recognition Science, with the central object being the bounce radius r_min(N) = φ^(N/2) at rung N. Researchers deriving bounce cosmology or quantum effects from the phi-ladder would cite these objects. The module builds directly from the imported RS time quantum without any proof steps.

claim$r_{min}(N) = φ^{N/2}$

background

Recognition Science derives all physics from one functional equation whose landmarks include the J-uniqueness map and the phi self-similar fixed point. This module imports the fundamental RS time quantum τ₀ = 1 tick from IndisputableMonolith.Constants and places its definitions on the phi-ladder. The supplied doc-comment identifies the bounce radius at rung N as the minimum scale r_min(N) = φ^(N/2), with sibling objects such as echoDelay and QuantumGravityCert extending the same construction.

proof idea

this is a definition module, no proofs

why it matters in Recognition Science

The module supplies the bounce radius and related definitions that feed into QuantumGravityCert and the certification objects inside the same file. It fills the step that converts the phi-ladder rung structure into a concrete quantum-gravity length scale, consistent with the eight-tick octave and D = 3 from the forcing chain.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (9)