Scenario A • Flight Cancellation (Flagship Vertical Slice)
PRIMARY TRACK

Cancels flagship flight DA184 (MNL → NRT) with 282 passengers (connecting to JFK, LHR, LAX + point-to-point Tokyo). Includes named passenger Vivian Chen, dependent minor/parent families, Business/Economy cabins, synthetic transit-restricted passengers, and scarce alternative seat inventory.

Scenario B • Major Delay & Broken Connections
SCENARIO B

Introduces a 3-hour weather delay (+180m) on DA184. Tests deterministic downstream connection validation: only passengers whose connection time at NRT drops below MCT enter recovery; unaffected passengers remain unchanged.

Scenario C • Aircraft Downgrade / Capacity Deficit
SCENARIO C

Downgrades aircraft on DA184 from B787-9 to A321neo, creating an 80-seat deficit. Demonstrates fair mathematical reallocation under scarce capacity without autonomous involuntary denied boarding.

Safety Edge Case • Inventory Race Condition Simulation
SAFETY INVARIANT

Depletes live seat inventory on alternative flights immediately before execution. Tests the pre-execution inventory revalidation barrier: prevents stale booking actions, locks approved unaffected assignments, and triggers a subset re-optimization into plan version N+1.