optionA_testable
plain-language theorem explainer
Option A encodes the claim that the information-limited gravity kernel produces a weight deviation exceeding 10 at laboratory scales, rendering the model directly falsifiable by precision weighing experiments. Researchers examining deviations from Newtonian gravity in rotating devices would cite this definition when testing the ILG extension beyond gravitationally bound systems. The definition is a direct one-line reduction to the inequality supplied by the upstream rsLabPrediction computation.
Claim. Let $w$ denote the weight predicted by the RS laboratory-scale ILG model with $C_{lag} = φ^{-5}$. Option A holds precisely when $w > 10$.
background
The Flight.GravityBridge module links the ILG weight kernel $w_t(T_{dyn}, τ_0) = 1 + C_{lag} ((T_{dyn}/τ_0)^α - 1)$ to rotating laboratory devices, where $τ_0 ≈ 7.3$ fs is the recognition tick and $α ≈ 0.191$. For such devices the dynamical timescale $T_{dyn}$ equals the rotation period, which exceeds $τ_0$ by many orders of magnitude. The upstream rsLabPrediction computes the resulting deviation under these scales and yields $w ≈ 29$, far from the Newtonian value of 1.
proof idea
One-line definition that evaluates the inequality drawn from rsLabPrediction.w_predicted.
why it matters
This definition formalizes the large-deviation prediction under Option A, supplying the concrete falsifier referenced in the module for the null hypothesis of $w = 1$. It connects the ILG kernel (derived from the Recognition Science forcing chain and phi-ladder constants) to laboratory observables and supports the module's explicit goal of testing whether the eight-tick schedule and ILG produce measurable effects at lab scales.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.