M-Point Calibration

Minimal API for the m-point calibration layer that bridges FG geometry and algebraic multi-point symbols. This file intentionally provides Prop-valued statements and lightweight placeholders without proofs.

structure Frourio.MPointCalibration (m : ℕ) : Type

m-point calibration data: weights, integer shifts (scale indices), optional phases, and a normalization predicate kept abstract as Prop.

• weights : Fin m → ℝ
• shifts : Fin m → ℤ
• phase : Fin m → ℝ
• normalized : Prop

noncomputable def Frourio.phi_m (_m : ℕ) (_σ _τ : ℝ) : ℂ

Equations

• Frourio.phi_m _m _σ _τ = 0