liCoupling
plain-language theorem explainer
The definition of the Li coupling coefficient encodes Ning Li's gravitomagnetic coupling as the product of the coherence gain ratio and the mass-to-charge ratio. Modelers of coherent effects in superconductors cite this expression when assembling the modified internal field. It is implemented as a direct algebraic definition without additional lemmas.
Claim. $k_{Li} = (μ_g / μ) · (m / q)$, where $μ_g$ is the gravitomagnetic permeability, $μ$ the magnetic permeability, $m$ the mass and $q$ the charge.
background
The module sets out the Recognition Science hypothesis for Ning Li's coherent gravitomagnetism, interpreting the internal field as a coherence-gated source term that restores coupling normally suppressed by phase decoherence. The upstream mu definition from the Ndim projector supplies the scalar coefficient satisfying the quadratic relation A² = μ A. The phi-ladder lattice structure provides the hypothesis interface for Poisson summation that would support the coherence assumptions in a full derivation. Membership predicates from the stake graph and interval constructions enforce the relevant checks in the broader gating logic.
proof idea
The declaration is a one-line algebraic definition that multiplies the two ratios to realize the simplified coupling coefficient.
why it matters
This supplies the scaling factor inside the coherent gravitomagnetism hypothesis in the same module, which asserts that the internal field contains a term proportional to the applied magnetic field. It realizes the coherence-gated source term interpretation and connects to the Recognition Science forcing chain through the phi-ladder and coherence gain. The construction remains a placeholder pending integration with the full field equations.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.