baseline_gravitational_coupling
plain-language theorem explainer
Baseline gravitational coupling extracts the absolute value of the gravitational potential gradient at an object's center of mass from a ProcessingField. Acoustic levitation and coherence-based gravity models cite it as the reference scale for quantifying weight reduction under external fields. The definition is a direct one-line extraction of the derivative magnitude with no additional computation.
Claim. For a processing field with potential function $Φ$ and an extended object with center-of-mass position $h_{cm}$, the baseline gravitational coupling is given by $|dΦ/dh(h_{cm})|$.
background
The AcousticPhaseLevitation module models gravitational coupling through coherence and external phase fields. A ProcessingField is a structure containing a potential function phi mapping positions to real numbers. An ExtendedObject is a structure containing a center-of-mass position h_cm together with a positive spatial extent.
proof idea
The definition is a one-line wrapper that applies the absolute value to the derivative of the field's phi function evaluated at the object's h_cm position.
why it matters
This definition supplies the reference gravitational coupling used by anti_coherence_reduces_coupling, partial_weight_reduction, and weight_reduction_factor to measure reductions from external anti-coherence. It anchors the acoustic levitation analysis in the Recognition framework's gravity module, where phase gradients determine effective forces relative to the baseline.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.