saturationAccel
plain-language theorem explainer
Saturation acceleration marks the threshold where a gravitating system's demanded recognition rate equals the holographic bandwidth of its gravitational area. Researchers deriving MOND-like scales from information bounds cite this as the RS-native a0. The definition is a direct algebraic reduction using the RS Boltzmann constant k_R = ln φ.
Claim. The saturation acceleration is defined by $a_{sat} := π / (2 k_R)$ where $k_R = ln φ$.
background
The Bandwidth Saturation module shows how recognition throughput limits force ILG activation. Demanded rate M / T_dyn(a) is set equal to bandwidth A / (4 ℓ_P² k_R 8 τ_0), with T_dyn drawn from Newtonian orbital relations and A the gravitational area at acceleration a. This equality defines the critical acceleration separating Newtonian and saturated regimes.
proof idea
One-line wrapper that applies the definition of k_R as ln φ from Constants.BoltzmannConstant.
why it matters
This supplies the threshold value used by high_accel_newtonian and low_accel_saturated to classify gravitational regimes. It realizes the bandwidth equality stated in the module documentation, connecting to the eight-tick cycle (T7) and the holographic bound. The definition closes the derivation of a0 from φ alone within RS-native units.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.