01契约
执行前验证
每个行动计划都会被改写为形式契约——前置条件、后置条件、禁止状态、资源上限、恢复路径。在任何执行发生之前，契约会与实时的策略和状态核对。
实测 — 内核审计 2026-07-19
- 19/19
- 证伪测试通过
- 91%
- 核心路径覆盖率
- 12.7×
- 增量对全量再验证
- 5.0 ms
- 决策延迟中位数 (p50)
决策机制
四种机制，一条规则。
无法验证的行为，不会被执行。
02令牌
一次性授权
通过验证后，系统会铸造与策略纪元及状态哈希绑定的一次性执行令牌。令牌 60 秒即过期；策略一变，所有未用令牌立即作废。
03反例
再协商，而非拒绝
验证失败会返回最小反例——无法同时成立的最小约束集合——让计划带着修正回来，而非仅仅被拒绝。
04缓存
增量证明缓存
证明以依赖图形式缓存。策略或状态变化时，仅重新验证受影响的节点——实测比全量再验证快 12.7 倍。
账本，公开
我们展示记录，而非主张。
每个 VERA-K 决定都会追加到哈希链账本中。这是该链的构建时快照——仅含数量、时间与完整性。原始路径、原因和计划标识符从不离开内核主机。
- 2,867
- 已记录的决定
- 100%
- 哈希已验证记录
- 100%
- 已锚定记录
- 2
- 当前策略纪元
- 链完整性
- 全部记录重算一致
- 链头
- 58a47520fe0a…478deb
- 区间
- 2026-07-18 17:32 UTC → 2026-07-19 12:20 UTC
- 策略修订
- 2 — 2026-07-18 18:19 UTC
- 被拒绝的执行
- 0
- 再协商轮次
- 0
- 快照生成
- 2026-07-19 12:20 UTC
检测到的并发写入分叉
2 — #1,107 · 两次追加相隔 3 毫秒
分叉是两个内核进程在同一瞬间追加记录的签名。账本检测到这一点——并如实公开。无所隐瞒，也包括自身的异常。
静态快照——构建时重新生成。以上数字仅描述该区间。