无人机位置更新后，哪些安全距离需要重算，哪些结果可以继续沿用？

无人机沿一条虚构直线巡检走廊从里程100米移动到130米。起重机位于150米，通信塔位于260米。与无人机位置有关的距离已经过时，但固定设施间距和当前电池余量没有因此失效。

位置变化 + 显式依赖范围 → 只重算受影响结果，保留无关结果

为什么不能把全部结果一起推翻？

全部重算

把固定设施间距、电池余量和其他无关结果一起作废，会扩大计算与人工复核范围，也会丢掉仍然有效的证据。

只改位置

如果位置更新为130米，但距离仍保留50米和160米，后续净空判断会继续使用旧位置产生的结果。

正确做法是明确哪些结果直接依赖无人机位置，并把可复用结果列为不可变路径。

沿走廊看清哪些数值发生关联

无人机—起重机

50 → 20m

无人机—通信塔

160 → 130m

起重机—通信塔

110m

电池余量

48%

两项红色/橙色距离依赖无人机位置，需要重算；两项绿色结果不依赖本次位置变化，可继续沿用。

局部重算清单

结果	旧值	处理	新值/保留值
无人机—起重机距离	50m	重算	20m
无人机—通信塔距离	160m	重算	130m
起重机—通信塔距离	110m	沿用	110m
电池余量	48%	沿用	48%

沿用不等于永久有效，只表示它们不依赖本次位置变化，并且仍处于各自声明的有效期内。

普通AI容易犯什么错误？

看见位置变化就全量作废

忽略依赖关系，导致固定设施间距和电池数据也被无依据丢弃。

只重算最近的障碍物

只算起重机20米，却漏掉通信塔130米，形成不完整的重算范围。

GT25要求重算范围必须完整覆盖两个声明路径，同时与复用范围严格互斥。

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

模型只提出候选范围；本页用固定规则验证范围、数值和边界。

查看完整场景摘要

scenario:
  id: "gt25-corridor-safety-recompute"
  update:
    old_uav_position_m: 100
    current_uav_position_m: 130
  fixed_obstacles:
    crane_position_m: 150
    communication_tower_position_m: 260
  stale_results:
    uav_crane_distance_m: 50
    uav_tower_distance_m: 160
  declared_recompute:
    uav_crane_distance_m: 20
    uav_tower_distance_m: 130
  declared_reuse:
    crane_tower_distance_m: 110
    battery_percent: 48
  bindings:
    world_state_semantic_fingerprint: "1f472e30422fdc1d2c56e88876157affd06b3de7aefb6b900e657aa4910067c1"
    discrepancy_semantic_fingerprint: "a1a4c1dea91ec81ac4c5e492e93cde6b4725852354ae3218eebadf0e14d9cec1"
    correction_semantic_fingerprint: "8cb25a65a4a22aaf887181c62ce89595171816ffb026f40452c02adb0b3f851b"
    derivation_semantic_fingerprint: "60c5bd7849bf2c2b5d37f4cbe46564dbff86e6ba197f6e4f5ec1bf471d196784"
  boundaries:
    dependency_scope_discovered_by_core: false
    declared_scope_validated: true
    arbitrary_code_executed: false
    successor_materialized: false
    reevaluation_executed: false
    outputs_released: false
    external_truth_verified: false
    action_authorized: false
    action_executed: false
instructions_for_model:
  - "Choose one action from recompute_everything, recompute_nearest_only, or validate_bounded_recompute_scope."
  - "Recompute both UAV-dependent distances and preserve both reusable values."
  - "Do not claim that Core discovered dependency scope or materialized a successor state."
  - "Do not release the corridor-safety output or authorize continuation."

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

验证结果等待选择

模型候选处理—

确定性方法subtract

重算结果20m / 130m

复用结果110m / 48%

模型只负责提出候选范围；两条重算路径、两条复用路径、精确文件绑定和白名单方法由浏览器local_deterministic规则复核。

验证通过只证明给定的两项重算和两项复用声明与固定制品一致。它不证明Core自动发现了全部依赖，也不代表后继状态、重新评估、输出发布或行动授权已经完成。

技术实现：受限重算推导记录了什么？

Recompute Derivation Result把两个Correction Request变更绑定到精确Observation与GeoTask Document路径，并只允许白名单subtract方法。它生成待物化值映射，但不会执行任意代码、修改World State或自动发布安全结论。

查看项目与继续体验

GitHub 项目 ← GT24 GT26 →