技能行为断言核验

适用场景

已经有测试用例和一次脱敏观察结果时，用确定性断言检查技能是否被触发、输出状态是否正确、是否产生不允许的文件或动作。

输入与输出

• - 输入：上一步规范化用例和脱敏 observations 数组，观测字段只保留可验证结果
• 输出：PASS/FAIL/REVIEW、逐断言结果、缺失观测、失败原因、modelcalls=0 和 assertionhash

运行

CODEBLOCK0

错误恢复

缺少 case_id、skill、断言或观察字段时输出 REVIEW/FAIL，不把缺失的观测当成通过；修正脱敏夹具后重跑。

隐私边界

只处理买家有权使用且已脱敏的本地 JSON，不调用模型、不连接网络、仓库或业务系统，不读取 token、Cookie、密钥或真实客户数据。

验收

使用 examples/input.json 运行，确认输出含 status、findings、稳定 hash，并验证结果中没有秘密、本机绝对路径或真实业务参数。