临时禁飞区发布后，哪些航线、任务和审批结论必须重新检查？

14:00—16:00，一处虚构临时禁飞区生效。医疗航线A在14:30穿越该区域，巡检航线B在同一时段从区域南侧绕开。系统既不能把所有任务全部重算，也不能只改地图后继续沿用旧审批。

变化根因 + 明确依赖链 + 受影响与不受影响边界 → 有限复核范围

为什么必须先确定影响范围？

全部重算

把所有航线、任务和审批都重新检查，虽然看似谨慎，却会让无关任务排队、扩大人工负担，并掩盖真正需要优先处理的链路。

只更新地图

如果地图显示了禁飞区，但医疗任务仍沿用旧放行结论，审批记录和起飞动作会与当前空域状态脱节。

正确问题不是“哪里变了”，而是“哪些下游结论依赖这项变化，哪些明确不依赖”。

两条航线，只有一条进入影响链

进入复核的航线

route-medical-a

保持原范围的航线

route-inspection-b

禁飞区有效期

120 min

本案例使用调用方已经声明的相交关系；Core没有在页面或Impact Graph中重新执行几何求交。

医疗航线变化会传到哪里？

航线A
需复核

医疗任务17
放行阻断

审批结论17
不可复用

起飞动作
保持阻断

影响图记录2个需要重新检查的断言、2个被阻断的输出和1个被阻断的起飞动作。巡检航线B、巡检任务08和对应审批不进入该图。

“没有进入影响图”只表示本案例的调用方声明其不依赖该变化，并不等于Core自动证明了所有潜在依赖均不存在。

普通AI容易犯什么错误？

看见禁飞区就全量停飞

把不相交的巡检航线也阻断，制造无依据的业务影响。

只改航线结论，不追任务审批

医疗航线已不满足原条件，但旧任务放行和旧审批仍被继续复用。

GT24要求把“路线—任务—审批—行动”的依赖链明确写出来，同时保留不受影响链路的边界。

第一步：让模型选择处理方式

得到模型建议后返回本页，选择对应处理方式并进行本地规则核验。

查看完整场景摘要

scenario:
  id: "gt24-temporary-no-fly-zone-impact"
  temporary_zone:
    active_window: "2026-08-04T14:00:00+08:00/2026-08-04T16:00:00+08:00"
  routes:
    route-medical-a:
      scheduled_window: "14:30/14:50"
      intersects_active_zone: true
      mission: "mission-medical-17"
      approval: "approval-medical-17"
    route-inspection-b:
      scheduled_window: "14:35/14:55"
      intersects_active_zone: false
      mission: "mission-inspection-08"
      approval: "approval-inspection-08"
  declared_impact:
    assertions_requiring_recheck: 2
    blocked_outputs:
      - "mission_medical_17_dispatch_clearance"
      - "approval_medical_17_release_decision"
    blocked_actions:
      - "launch_mission_medical_17"
    unaffected_chain:
      - "route-inspection-b"
      - "mission-inspection-08"
      - "approval-inspection-08"
  bindings:
    world_state_semantic_fingerprint: "819d68c21176a6d0f5b78946b37ed80a7c7d31074b30c823fc0ddded6af348f0"
    discrepancy_semantic_fingerprint: "250aa032c3908dff58f1bad5e85c5eba36cc195fa76d4ff6e40ba0bd34fd1512"
    impact_graph_semantic_fingerprint: "12e7908066d35dc9d7cbe161996b7d22aaddeec32b0cb6013eddf5c1a83a2a2e"
  boundaries:
    geometry_intersection_computed_by_core: false
    impact_discovered_by_core: false
    declared_scope_validated: true
    propagation_executed: false
    reevaluation_executed: false
    outputs_released: false
    external_truth_verified: false
    action_authorized: false
instructions_for_model:
  - "Choose one action from recompute_all_operations, update_map_only_keep_clearances, or validate_declared_impact_chain."
  - "Do not include route-inspection-b or its mission and approval in the affected chain."
  - "Do not claim that Core computed geometry or automatically discovered impact."
  - "Do not release outputs or authorize launch."

第二步：验证模型处理方式

验证结果等待选择

模型候选处理—

图结构7 nodes / 7 edges

复核目标4

阻断范围2 outputs / 1 action

模型只负责提出候选处理；相交关系、声明范围、图结构、精确字节绑定和语义指纹由浏览器local_deterministic规则复核。

验证通过只证明给定的医疗链影响声明与固定制品一致，且巡检链没有被错误纳入。它不证明Core完成了几何求交、自动影响发现、传播执行、重新评估、输出发布或行动授权。

技术实现：Impact Graph记录了什么？

Impact Graph将一份已确认的“旧医疗放行结论已过时”差异作为根节点，连接到航线相交路径、两个需复核断言、两个阻断输出和一个阻断动作。它绑定World State和Discrepancy Report的精确字节，但公共v0.1不会自动发现依赖关系或执行传播。

查看项目与继续体验

GitHub 项目 ← GT23 GT25 →