pith. machine review for the scientific record. sign in
module module high

IndisputableMonolith.Gravity.CoherenceFall

show as:
view Lean formalization →

CoherenceFall defines the total potential in an accelerating frame by superposing gravitational potential with a linear acceleration term. It supplies the core objects for coherence defect analysis in local frames. Researchers deriving acoustic levitation or weak-field energy flows cite these definitions directly. The module is purely definitional with no proofs, establishing the linear approximation for downstream gravity results.

claim$Φ_{tot}(z) ≈ Φ_{grav}(h_{cm} + z) + a z$ for position $z$ in a frame accelerating at $a$ relative to the center of mass.

background

Recognition Science models gravity via coherence defects on the phi-ladder, with J-cost measuring deviation from equilibrium. This module introduces Position as the local coordinate, ProcessingField as the effective field acting on ExtendedObject instances, and coherence_defect as the predicate quantifying departure from the equilibrium state. The total_potential_in_frame function encodes the linear approximation stated in the module documentation: Total Potential in a frame accelerating with a at position h (relative to CM). Φ_tot(z) ≈ Φ_grav(h_cm + z) + a * z (Linear approximation for local frame).

proof idea

this is a definition module, no proofs

why it matters in Recognition Science

The module feeds AcousticPhaseLevitation for phase-coherence levitation models, EnergyProcessingBridge for energy-flow calculations, and WeakFieldSuperposition for linear gravity approximations. It supplies the local-frame coherence-fall step required by the Recognition gravity chain.

scope and limits

used by (3)

From the project-wide theorem graph. These declarations reference this one in their body.

declarations in this module (8)