beta
plain-language theorem explainer
The declaration supplies the constant value 1 for the PPN beta parameter in the ILG scaffold, accepting but discarding real inputs for lag and alpha. Researchers recovering the general relativity limit in post-Newtonian expansions within Recognition Science would cite it. The implementation is a direct constant assignment.
Claim. The parametrized post-Newtonian parameter $β$ equals 1 for arbitrary real values of the lag parameter $C_{lag}$ and the coupling $α$.
background
The Relativity.ILG.PPN module supplies scaffold definitions for potential-based PPN parameters that employ potentials Φ and Ψ derived from ψ and supplied parameters. This beta sits among sibling definitions for gamma, beta_pot, gamma_bound and linear approximations. It depends on the meta-realization structure 'for' from UniversalForcingSelfReference, which records structural properties required by orbit and step coherence axioms, and on the inverse-temperature definition from the partition-function module.
proof idea
The definition is a direct constant assignment that returns 1, serving as a one-line wrapper establishing the general-relativity value of the PPN beta parameter.
why it matters
This definition supplies the standard general-relativity value for the PPN beta parameter and feeds downstream lattice-parameter constraints such as cubicConstraint, hexagonalConstraint and orthorhombicConstraint in the Chemistry.CrystalSymmetry module. It completes the potential-based PPN scaffold in the relativity section, aligning with the Recognition Science forcing chain and self-reference axioms. No open questions are closed by this entry.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.