验证前完成: 一个精炼的仪器故障类别集合,网关尚未命名(正控制,报告≠验证,表面覆盖等) — 提供贡献表

verification-before-completion 门关是主要故障 — 在没有运行命令的情况下进行声明。在 ~14 个月的自主运行日志中，我们不断遇到第二层的故障，这些故障通过了这个门：代理确实运行了验证命令，读取了输出，但仍然错误，因为仪器本身就是问题。我们将它们提炼成八个短语，每个都可以追溯到实际事件，并将它们作为判决词汇的一部分发布（CC BY 4.0）：

https://GitHub.com/scos-lab/semantic-tension-language/blob/main/spec/eval-verdict-vocabulary.md (§6, V1–V8)