D5 Flight Ops · sandbox runtime contract

Flight cycle runtime proof

manifest fake_runtime_contract
Initial statedispatch_planning

Workflow entry on dispatch planning

Terminal statessector_closed · cancelled

Sector closes or aborts cleanly

Replay fixtures1 green · 7 negative

Fail-closed coverage of every guarded transition

Ticketed proof actions

Queue replay and contract checks

queued fixture checks
D5 runtimeRun green replay fixture

Manifest-backed, fail-closed proof action.

D5 runtimeRun negative replay suite

Manifest-backed, fail-closed proof action.

D5 runtimeOpen bound-contract verification

Manifest-backed, fail-closed proof action.

Canonical 10-step replay

Green path — dispatch planning to sector closed

800 ms p95
#TransitionState changeRequired evidence
1open_release_evaluationdispatch_planning → release_evaluated5 hard gates
2prepare_dual_authrelease_evaluated → dual_auth_preparedP07 signature ready
3issue_release_to_captaindual_auth_prepared → released_to_captaindual auth + P07
4captain_accepts_releasereleased_to_captain → captain_acceptedEFB chain verified
5ramp_declares_readycaptain_accepted → ramp_readystand · GSE · de-ice
6gate_closesramp_ready → gate_closedDCS handoff complete
7capture_outgate_closed → off_blocksOOOI ≥2 sources
8capture_offoff_blocks → airborneOOOI ≥2 sources
9capture_onairborne → on_blocksOOOI ≥2 sources
10close_sectoron_blocks → sector_closedJourneyLog committed

Negative replay suite

Fail-closed assertions

7 fixtures
FixtureFailure modeDescription
NEG-001missing_dual_authrelease_to_captain without dual auth token
NEG-002stale_release_revisioncaptain accepts non-current revision
NEG-003oooi_single_sourcecapture_out with only 1 OOOI source
NEG-004missing_p07_signaturerelease issued without P07 signature
NEG-005unverified_efb_chaincaptain accepts before EFB verified
NEG-006missing_hard_gate_evidencefewer than 5 hard gates proven
NEG-007ramp_ready_without_captainramp ready before captain accepts

Active flight cycles

Cycles in flight right now

8 active
CycleFlightRouteStateLast transitionLatencyAudit
FC-26050813-0142AXM241LPPT-EHAMsector_closedclose_sector @ 13:42:18612 msP05-AXM-FC-0142
FC-26050813-0151AXM318EGLL-LIRFrelease_evaluatedopen_release_evaluation @ 13:38:04 · Blocked on slot rights—P05-AXM-FC-0151
FC-26050813-0160AXM407LEMD-LFPGreleased_to_captainissue_release_to_captain @ 13:51:09758 msP05-AXM-FC-0160
FC-26050813-0164AXM522EDDF-LOWWon_blockscapture_on @ 13:54:41691 msP05-AXM-FC-0164
FC-26050813-0171AXM118LPPR-LFPOairbornecapture_off @ 13:31:26540 msP05-AXM-FC-0171
FC-26050813-0177AXM632EHAM-EDDMcaptain_acceptedcaptain_accepts_release @ 13:50:55721 msP05-AXM-FC-0177
FC-26050813-0184AXM903LPMA-LPPTramp_readyramp_declares_ready @ 13:53:12668 msP05-AXM-FC-0184
FC-26050813-0188AXM450LPFR-EGKKdual_auth_preparedprepare_dual_auth @ 13:52:48 · Awaiting P07 sign—P05-AXM-FC-0188

Bound contracts

  • workflowcontracts/workflows/dispatch_flight_cycle.v1.yaml
  • command_asyncapicontracts/asyncapi/dispatch-flight-cycle-command.v1.yaml
  • state_asyncapicontracts/asyncapi/dispatch-flight-cycle-state.v1.yaml
  • release_asyncapicontracts/asyncapi/dispatch-release.v1.yaml
  • semantic_invariantscontracts/validators/dispatch/d5_flight_cycle_semantic_invariants.v1.yaml
  • latency_budgetcontracts/slo/dispatch_release_latency_budget.v1.yaml
  • dispatch_release_serviceservices/dispatch-release/src/lib.rs
  • captain_acceptance_gatecontracts/entities/dispatch/captain_acceptance_gate.schema.json
  • ramp_gate_readiness_gatecontracts/entities/dispatch/ramp_gate_readiness_gate.schema.json
  • tem_cataloguecontracts/tem/dispatch_flight_cycle_tem_catalogue.v1.yaml
Flight cycle runtime | AXIOM