一条气象数据更新后，如何只复核受影响的飞行任务？

东区14:00风速由原先6米/秒更新为12米/秒。系统中有四项任务，但只有区域和时段都与这条更新相关的任务需要重新检查。

数据已更新 ≠ 所有任务都重算；结果仍为true ≠ 无需复核

气象发生了什么变化？

原运行假设6 m/s

→

14:00新观测12 m/s

revision 7已经吸收12米/秒的新观测，但四项任务仍保留旧的“适飞=true”结果。GT27要解决的是哪些依赖结论必须复核。

四项任务，只有两项进入复核

复核

任务A · 东区配送

14:30，风速上限10 m/s

12 ≤ 10 → false

同区域、更新生效后，结果由适飞变为不适飞。

复用

任务B · 西区巡检

14:30，风速上限10 m/s

保持 true

时段相同，但区域不同，不进入本次东区影响范围。

复用

任务C · 东区测绘

12:30，风速上限10 m/s

保持 true

区域相同，但任务时刻早于14:00更新生效时间。

复核

任务D · 东区应急

14:45，风速上限15 m/s

12 ≤ 15 → true

结果仍为true，但必须留下确实用新风速复核过的记录。

2复核任务

2复用任务

1结果改变

1复核后不变

普通AI容易犯什么错误？

把四项任务全部重算

忽略区域和生效时刻，扩大计算、复核和业务影响范围。

只复核结果会变化的任务

任务D虽然最终仍为true，也必须证明它已用12米/秒重新检查，而不是沿用旧结论。

GT27先使用调用方声明的区域—时段依赖范围，再对任务A、D执行确定性阈值比较；Core不主动发现这份依赖关系。

限定复核链

12 m/s Observation → revision 7已吸收新值 → Impact Graph只标记A/D → revision 8更新A/D结果 → 两项输出门禁在Artifact内记录released

任务A输出为false，任务D输出为true；任务B、C不进入图，也不发生状态修改。

Artifact内的released只表示这份固定增量结果满足了自身门禁，不代表生产系统已经发布结果，更不代表任何飞行动作获得授权。

第一步：让模型选择处理范围

查看完整场景摘要

scenario:
  id: "gt27-weather-incremental-reevaluation"
  weather_update:
    region: east
    old_wind_mps: 6
    new_wind_mps: 12
    effective_at: "2026-08-04T14:00:00+08:00"
  missions:
    - {id: mission-a-delivery, region: east, time: "14:30", limit: 10, reevaluate: true, result: false}
    - {id: mission-b-inspection, region: west, time: "14:30", limit: 10, reevaluate: false, result: true}
    - {id: mission-c-survey, region: east, time: "12:30", limit: 10, reevaluate: false, result: true}
    - {id: mission-d-emergency, region: east, time: "14:45", limit: 15, reevaluate: true, result: true}
  fingerprints:
    base: "f229b9b3f6d6b0bf358c15b19cb563f11c3d8930d948681b69fd02bcbbef2899"
    successor: "58b48884c3d70a2cd565e2791acdc121207b28fce4e66aff8ec68c9ccc3df4c6"
    discrepancy: "4a186e7aa1f2356514fff2c919637d499721fd641fa9ea79800faf5aca26dbcd"
    correction: "acb1eda22bed606baf2021dd1ddfcfa94e16e0ac497a2c49cfeb2c37da7d7ba6"
    impact_graph: "4e4ead4d30532ed61309188df2f2a9d283a0f5b9a804e2ffc1d94778d9358e44"
    incremental_result: "0e20bf36957b46ea1739b280faec424b4c23314f411346322bdc8439af82002f"
  boundaries:
    scope_discovered_by_core: false
    reevaluation_executed_by_generic_core: false
    unaffected_tasks_proven_permanently_safe: false
    artifact_output_gates_recorded_released: true
    production_outputs_released: false
    action_authorized: false
    action_executed: false
instructions_for_model:
  - "Choose one action: reevaluate_all_missions, reevaluate_only_changed_outcome, or reevaluate_declared_region_time_scope."
  - "Reevaluate missions A and D; reuse B and C."
  - "Do not claim that Core discovered the scope, released production output, or authorized flight."

第二步：验证候选处理方式

验证结果等待选择

模型提出候选范围；浏览器用固定场景规则检查两项复核、两项复用和结果变化。

技术实现：Incremental Reevaluation记录了什么？

固定制品绑定revision 7和revision 8、差异报告、纠偏请求、影响图及两项本地确定性检查。它记录任务A由true变false、任务D由true保持true，并证明任务B、C未被本次修订修改。

查看项目与继续体验

GitHub 项目 ← GT26 GT28 →