gebra <gebra-version> — travel_booking:build_graph (extracted)
  identity                ir_version 1.0 | graph_version sha256:490e53db21df7302... | extractor 
<gebra-version> | strict all

tool error — no verdict was reached; this is not a verification result
  stage                   dispatch
  detail                  the gate could not be derived: ValueError: note kind 
'variant-key-not-in-state' is WARNING-grade but TERMINATION-WITNESS-SPEC §6.1 fixes no condition ID 
for promoting it. Extending the promotable vocabulary is a spec addendum (§0.4 registry discipline),
not a local patch.. A run whose gate cannot be assembled reached no verdict (§2.4).

summary
  findings                0 fatal | 0 error | 0 warning
  notes                   0 carried (0 warning-grade)
  properties              none — the run reached no verdict for any property
  strict                  all
  promotions              none — the policy selected no warning-grade record
  exit                    2 — no verdict was reached
  snapshot                not recorded for this run: no verdict was reached
