用途：在编写编码任务、审查 PR 或重新评估变更行为是否真正被验证时，定义并评估应用变更的证明。核心要求是通过运行中的应用证明行为变化，并产出展示结果的产物。若仓库提供 /repo-proof，应加载它以获取项目专属协议。
主要能力与规则：单元测试、linter 和编译检查属于必要检查，不是证明，除非它们覆盖了所声称的整个应用行为。对于文档、策略、脚本或工具类变更，使用聚焦检查而非全栈应用证明，除非变更影响运行时行为。
证明声明：在任务或 issue 中描述实现必须展示的可观察声明，不要提供命令清单或罗列单元测试、编译等例行检查。在 nlspec 治理的工作中，声明分为 cell-local（通过单个 cell 的契约展示）与 integration（端到端展示）；integration 声明只能通过运行中的应用展示，cell-local 声明可按 slice-design 针对 mock 认证展示。
PR 证据：以每条声明及其证明方式开头，将完整具体证据放入 PR 正文并上传产物，而非引用本地路径。仓库存在证明产物上传器时应使用并验证其链接。若证据无法上传，说明哪些仍留在本地及原因，不得对审查者无法查看的证据声称完整证明。
收尾：标明已证明的 head SHA、已满足与未满足的声明、产物链接、相关检查及任何证明阻碍。限制：资料未提供具体安装命令、平台支持或收费信息。