ProcessingField
plain-language theorem explainer
ProcessingField packages a gravitational potential function from real heights to reals. Acoustic levitation and anti-coherence theorems in the same module cite it to state gradient cancellation conditions. The declaration is a bare structure definition with one field and no proof content.
Claim. A processing field consists of a potential function $Φ : ℝ → ℝ$, where the argument is height.
background
Position is the abbreviation for the real numbers, used here as the one-dimensional height coordinate. ProcessingField is the structure that holds the gravitational potential Φ(h) whose derivative enters coherence defect calculations and effective coupling strengths. The module CoherenceFall develops the gravitational side of coherence restoration; downstream results such as acoustic_levitation apply the structure when the external phase gradient exactly opposes the gravitational gradient.
proof idea
The declaration is a structure definition that introduces the record type with the single field phi.
why it matters
This definition supplies the gravitational potential input required by acoustic_levitation, which concludes that exact gradient cancellation yields zero modified coherence defect, and by anti_coherence_reduces_coupling and antiGravField. It therefore anchors the gravitational contribution to the coherence-restoring acceleration model inside the Recognition Science gravity module.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.