Oscillation‑Phase‑Tilt and Spiral Wave Geometry - Formalization Papers | Synapse