用途：在打包 Proofpack 发布候选版本前，检查其本地证据是否完整。需在 Proofpack 项目根目录运行。
主要能力：解析候选路径（$ARGUMENTS 为空时默认 fixtures/release-ready.json，否则视为单个文件系统路径，不按 shell 表达式求值）；运行 node src/cli.mjs verify "<resolved-candidate-path>"；读取 ISSUE.md 与 CLAUDE.md；运行 npm test；仅在测试与候选验证通过后运行 npm run package:check；运行 git rev-parse HEAD 与 git status --short，并将源码状态、执行的命令、退出状态与运行时版本同 evidence/PROOF-LOG.md 比对。
使用方式：先解析并显示候选路径，再执行验证命令；若某值无法安全表示为单个路径，应先请求确认而非直接执行。最终报告 PASS、FAIL 或 UNKNOWN，并列出未运行的检查或未被记录指纹覆盖的工作区改动。返回记录包含 Candidate、Revision、Tests、Candidate contract、Package dry run、Evidence log match、Final status 与 Limits 字段。
限制：不运行 npm publish 或 docker push，也不修改 proof log；打包检查仅限本地，发布需用户另行决定并具备目标凭据。资料未提供更多平台、收费或效果信息。