pith. sign in
module module moderate

IndisputableMonolith.Gravity.Candidates.Li

show as:
view Lean formalization →

The module defines the fundamental coupling ratio for a Cooper pair inside Recognition Science gravity candidates. Researchers deriving coherence conditions or gravitomagnetic forces from the phi-ladder would cite it. The module is purely definitional, imports the RS time quantum, and contains no theorems or proofs.

claimThe fundamental coupling ratio for a Cooper pair is introduced in RS-native units, building on the time quantum $τ_0 = 1$.

background

Recognition Science constructs gravity candidates from the unified forcing chain. This module sits in the Gravity domain and imports the Constants module, which fixes the fundamental RS time quantum at one tick. It supplies the coupling ratio specific to Cooper pairs that enters mass formulas and coherence calculations on the phi-ladder.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

The module supplies the Li candidate coupling that supports CoherentGravitomagnetism and related gravity candidates. It completes the coupling specification for the Li section, linking to J-uniqueness and the self-similar fixed point phi from the forcing chain.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (5)