独立校验
那条规则由 独立校验 逐条配对
独立校验 只读步骤数组，自己重算“模型可见”和“已记录”两个集合再配对。它还检查步骤序号连续、输入先于第一次请求、每次被记录的调用都有结果、被拒绝的调用没有主体执行。
- 步骤
- —
- 模型请求
- —
- 工具执行
- —
- 日志事件
- —
- 不可重建
- —
- 独立校验
- —
有序轨迹
五条 lane 上的有序步骤
横轴是步骤序号，纵轴是参与方。虚线把同一份内容的“写入日志”和“进入模型请求”连起来——这条线就是可重建性本身。没有连线的日志事件是只入库不回传给模型的内容。
可改输入的沙盒
拖动旋钮，看同一次 Turn 怎么分叉
上面三个场景是固定剧本；这里换成五个可以连续调节的输入：消息多长、调几次工具、哪一次失败、要不要让首次领取被拒、以及在哪一步中止。每拖一格，下面的轨迹立刻重排——零 Step 的被拒 Turn 和中途中止的 Turn 都能亲手拼出来。图上那条红色竖线可以直接横向拖动。
- 分叉形态
- —
- 步骤
- —
- 模型请求
- —
- 重试次数
- —
- 不可重建
- —
- 独立校验
- —
| 步 | 执行通道 | 阶段 | 说明 |
|---|
独立校验逐条判定（只读步骤数组，自己重算）
能否从日志重建
每一份模型可见内容的日志出处
一行一份内容。左边是它进入模型请求的步骤，右边是它写入日志的步骤。任何一行右边为空，就说明有内容进了模型却无法从日志重建——独立校验（oracle） 会因此失败。
| 载荷 | 进入模型请求（步） | 写入日志（步） | 可从日志重建 |
|---|
证据边界
哪些结论可以带走
能证明什么
不能证明什么
完整文字替代
完整步骤表
图里的每一步，这张表都逐行给出，包括它是否进入模型请求、是否写入日志。没有脚本或图形支持时从这里读。
| 步 | 执行通道 | 阶段 | 说明 | 进模型请求 | 写入日志 | 载荷 |
|---|