IndisputableMonolith.Relativity.ILG.PPNDerived
The PPNDerived module extracts parametrized post-Newtonian coefficients for the ILG theory by composing the Recognition Science J-cost with the phi-ladder. Gravitational physicists comparing alternative gravity models to solar-system tests would cite it. The module structures its content as a sequence of definitions that apply the Recognition Composition Law to the self-similar fixed point phi to recover the standard PPN parameters.
claimThe ILG-derived PPN parameters satisfy $gamma = 1$ and $beta = 1$ to post-Newtonian order, obtained from the J-function $J(x) = (x + x^{-1})/2 - 1$ evaluated on the phi-ladder.
background
Recognition Science derives all physics from the single functional equation whose unique solution is the J-cost $J(x) = (x + x^{-1})/2 - 1$, also written as cosh(log x) - 1. The phi-ladder supplies discrete mass and energy scales with phi the self-similar fixed point forced at T6. This module sits inside the Relativity.ILG section and converts those structures into the classical weak-field limit used for solar-system tests.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
The module supplies the PPN coefficients that feed parent theorems in the Relativity.ILG hierarchy for matching against observational bounds. It closes the step from the eight-tick octave (T7) and D = 3 (T8) to the parametrized post-Newtonian regime. It touches the open question of whether higher-order terms remain inside the alpha band (137.030, 137.039).
scope and limits
- Does not derive strong-field or black-hole corrections.
- Does not include quantum or Planck-scale modifications.
- Does not perform numerical integration of the resulting metrics.