FlightDiff: A Dual-Constraint Guided Two-Phase Diffusion Framework for Accurate Flight Prediction | Synapse