Methodology
How the airline OCC demo is grounded
Every number comes from the synthetic regional-carrier fixture set, the benchmark harness, or the cached QPU trace in the repository.
Evidence
Regulatory sources
- FAA FAR 117 flight and duty limitations for rest, FDP, and cumulative duty.
- DOT controllable-cancellation cost bands for manual recovery baselines.
- OAG/BTS on-time performance distributions for slack-based arrival probability.
Solvers
Solver settings
- Routing: greedy tail swap over affected legs, then open-crew identification.
- Classical: OR-Tools CP-SAT multi-leg crew assignment with reserve fallback.
- Hybrid: repair-window QUBO over crew×leg binaries with cached QPU trace replay.
- QAOA defaults: reps=1, maxiter=8, shots=256, seed=1234; gated above 20 binary variables.
Artifacts
Evidence files
- benchmarks/airline_results.csv
- demos/airline_recovery/data/qpu_trace.json
- demos/airline_recovery/data/calibration.md
Hardware
Cached QPU trace
Production demo replays a recorded IBM Quantum run. Live QAOA remains available when the micro-window QUBO is small enough.