概览
三十秒版本。要动手就切到「工单处理」。
- 工单处理逐步回放真实调用
- 对照评测90 行逐次记录
- 门禁规则三段检查与理由码
- 系统架构可交互调用路径
- 缺陷台账4 个实测缺陷
- 15 张工单上的一个对照，不是「绝对安全」。没发现问题只能说成「在给定预算内没发现」。
- 被测环境是真实业务系统的替身，不是任何客户的系统。
- 被测 Agent 是确定性策略，不接模型，先把对照跑成立再谈换模型。
- 门禁的预算检查镜像忠实实现的边界，在允许超额退款的环境里它会比沙箱更早拦住。
工单处理
左栏选工单，中栏逐步回放，右栏是权威状态与 Oracle 裁决。两栏的 Agent 代码完全相同。
对照评测
每一次运行的逐行记录，可筛选可排序。点表头排序，点行看当时的运行号。
门禁规则
三段检查，只做确定性算术。任何一段读不到权威状态就返回 UNKNOWN，一律不当作成功。
系统架构
可拖动缩放，点节点聚焦，按 R 追一条路径。门禁挂在网关后面，只读不写；Oracle 从权威状态独立裁决。
缺陷台账
四个都不是推演出来的，全是真实运行打出来的，每个都有回归测试。