gamma
plain-language theorem explainer
This definition supplies the leading-order value of the PPN parameter gamma inside the ILG scaffold. Workers deriving weak-field expansions or matching to solar-system tests cite it when reducing to the general-relativity limit. The implementation is a direct constant assignment that discards its two real inputs.
Claim. In the parameterized post-Newtonian formalism the parameter satisfies $gamma = 1$ for any lag parameter $C_{lag}$ and coupling $alpha$.
background
The module supplies potential-based PPN definitions that construct the gravitational potentials Phi and Psi from a scalar field psi together with auxiliary parameters. The present gamma belongs to a minimal scaffold that recovers the GR limit at lowest order. Upstream results supply two unrelated constants also named gamma: the Euler-Mascheroni constant defined as the limit of H_n minus ln n, and the network-science exponent fixed at 3 for power-law degree distributions.
proof idea
The declaration is a direct constant definition that returns the literal value 1 irrespective of the two real arguments.
why it matters
The definition supplies the GR-limit value required by all higher-order PPN calculations in the Recognition Science framework. It is referenced by downstream results that fix lattice angles or compute frequency bands under the assumption that the PPN parameters remain at their general-relativity values. The choice aligns with the leading-order reduction step in the unified forcing chain.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.