规则的含义
规则是关于函数行为的一项预期。它可以描述函数返回什么、调用方期望什么，或你添加的某项要求。从代码中推导出的规则可能有误；你可以更正它们。
验证检查什么
架构从源码解析而来，描述函数、调用方和依赖关系。一个定制模型从该架构中推导出预期。验证则根据这些预期来检查变更。
模型决定什么应当成立，规则检查它是否仍然成立。
解读失败
阅读相关函数、规则、实际发生的情况、位置以及受影响的调用方。在决定修改什么之前，顺着证据回到代码。一个失败可能影响你所编辑文件之外的调用方。
理解状态
通过表示所评估的规则已通过。失败表示所评估的规则不成立。待处理或无法完成的评估不能作为通过的证据。采取行动之前，请先阅读随附的说明。
新失败与已有失败
基线是变更之前的代码库。与基线比较，可以将新引入的失败与原本就存在的失败区分开来。已有的失败仍然可能很重要；这个标签只是告诉你，它不是本次变更引入的。
更正预期或代码
如果代码有误，自己修复，或在失败卡片上选择“修复”。Panolayer Agent 会把相关函数、规则和受影响的调用方作为任务说明，并在完成后再次运行验证。如果预期有误，请更正规则。验证无法发现所有 bug，覆盖范围也因语言和仓库而异。