ILG_w_t_display
plain-language theorem explainer
The ILG dynamical time display function re-exports the weight calculation from the gravity module into the truth core namespace. Researchers bridging gravity parameters with truth core structures cite it to maintain uniform access to orbital time displays. It accepts an ILG parameter record, bridge data containing the characteristic time tau0, and a dynamical time value. The definition is a direct one-line wrapper delegating to the core implementation under default configuration.
Claim. Let $P$ be the ILG parameter record containing the fine-structure constant, lag coefficient, amplitude, reference radius and exponent. Let $B$ be the bridge data record supplying the characteristic time scale. Let $T_0$ be the dynamical orbital period. Then the display weight is defined by $w_t(P,B,T_0) := w_t(P,T_0,B.tau0)$ evaluated with the default configuration.
background
In the TruthCore.ILGDisplay module this definition supplies a display interface for ILG gravity quantities. The upstream Params structure records the fine-structure constant alpha, lag coefficient Clag, amplitude A, reference radius r0 and exponent p. BridgeData supplies external anchors including the characteristic time tau0. The core w_t_display computes the weight via w_t_with defaultConfig P Tdyn B.tau0, where Tdyn is the orbital dynamical time given by $T_0 = 2 pi r / v$ for circular motion or the characteristic scale $2 pi sqrt(r0/a0)$.
proof idea
The definition is a one-line wrapper that directly invokes the w_t_display function from the Gravity.ILG module, passing the parameters, bridge data and dynamical time unchanged.
why it matters
This declaration supports the display layer in TruthCore for ILG computations, ensuring gravity-related quantities remain accessible without crossing module boundaries. It aligns with the Recognition Science use of ILG parameter records for gravitational modeling. No downstream uses are registered, indicating it functions as an interface point for future integrations with truth core results.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.