Kalshi still runs its flight-cancellation markets. It relabeled the settlement source as Primary Source Agency, and FlightAware's lawsuit vanished in a day.