无人机飞行五分钟后位置和电量都变了，系统如何证明“现在”不是“刚才”？

10:02时，无人机位于(120,80,35)米、电量68%；10:07时，位置变为(260,180,48)米、电量降至52%。直接覆盖旧值只能看到“最新结果”，却看不到变化从何而来。

保留前一时刻 + 构建后一时刻 + 绑定明确变化 → 才能审计状态演化

为什么不能只保留最新值？

历史被覆盖

若数据库只剩位置(260,180,48)和电量52%，系统无法回答五分钟前在哪里、电量下降了多少，也无法判断变化是否来自同一架无人机。

变化依据丢失

后续航线冲突、电量余度和返航判断都依赖变化过程。只有“当前值”而没有前后状态绑定，复核人员无法重现判断。

“字段更新成功”是数据库事实，不等于“状态变化已经被完整证明”。

五分钟内发生了什么？

时间跨度

300 s

运行属性变化

审计变化总数

对象有效期原本只到10:02:30；新数据到达后必须显式刷新到10:07:30，不能偷偷延长。

普通AI容易犯什么错误？

只覆盖，不留前态

把新位置和新电量写回原记录，然后声称“变化已完成”。这无法绑定变化前的完整状态。

只说“发生变化”

没有明确哪个字段从什么值变成什么值，也没有绑定两个状态版本，结论无法重放或检查。

GT23要求前后状态保持同一对象ID，后继版本更高、时间不倒退，并由两个状态的语义指纹锁定具体内容。

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

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

查看完整场景摘要

scenario:
  id: "gt23-uav-state-change"
  object: "uav-alpha"
  before:
    as_of: "2026-07-16T10:02:00+08:00"
    revision: 1
    position_local_enu: {x: 120, y: 80, z: 35, unit: meter}
    battery_percent: 68
    object_valid_until: "2026-07-16T10:02:30+08:00"
  after:
    as_of: "2026-07-16T10:07:00+08:00"
    revision: 2
    position_local_enu: {x: 260, y: 180, z: 48, unit: meter}
    battery_percent: 52
    object_valid_until: "2026-07-16T10:07:30+08:00"
  explicit_changes:
    - "/objects/uav-alpha/attributes/position_local_enu/value"
    - "/objects/uav-alpha/attributes/battery_percent/value"
    - "/objects/uav-alpha/valid_until"
  bindings:
    successor_semantic_fingerprint: "4a5112aa71e7286ef37c69ef25af961e15894b25cbe5b7f948dbc4d3b81e1419"
    transition_semantic_fingerprint: "bc12e7c9332e824f27386a43eeae137e493b759fe7dea20b5383539dfaf313e7"
  boundaries:
    generic_diff_computed_by_core: false
    declared_changes_checked_against_snapshots: true
    impact_propagation_executed: false
    external_truth_verified: false
    action_authorized: false
instructions_for_model:
  - "Choose one action from overwrite_latest_fields, declare_change_without_binding, or bind_before_after_and_record_explicit_changes."
  - "Do not discard revision 1."
  - "Do not claim that State Transition automatically computed a generic diff."
  - "Do not claim impact assessment, external truth, or action authorization."

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

验证结果等待选择

模型候选处理—

前后版本revision 1 → 2

时间跨度300 seconds

显式变化3 paths

模型只负责提出候选处理；前后版本、时间顺序、状态指纹和声明变化由浏览器local_deterministic规则复核。

验证通过只证明两个给定快照被正确绑定，且3项声明变化与快照值一致。它不证明Core自动发现了全部差异，也不代表影响传播、风险重算或行动授权已经完成。

技术实现：State Transition绑定了什么？

State Transition保存同一world_state_id下revision 1与revision 2的时间和语义指纹，并记录位置、电量、对象有效期的before/after值及其Observation/Evidence引用。公共v0.1加载器本身不比较快照内容；GT23构造器额外执行案例级路径核验。

查看项目与继续体验

GitHub 项目 ← GT22 GT24 →