用途：这是 gsdl 工作流的第 7 步（Verify），在开 PR 或收尾前运行项目实际存在的确定性检查，产出关卡报告，作为评审与闭环记录的证据。它被设计为独立技能，因为多数仓库尚未有 CI 自动强制这些检查。
主要能力：按顺序发现关卡——SPEC.md 的 Verification Plan、package.json 脚本（test、lint、typecheck、build、format:check）、其他清单（Makefile、pyproject.toml/tox.ini、Cargo.toml、go.mod、.csproj/.sln、Gemfile、pom.xml/build.gradle）、CI 配置（.github/workflows、.gitlab-ci.yml、.circleci、azure-pipelines.yml）、pre-commit 与 lint 配置；运行每个命令并记录命令、通过/失败、输出摘录；写入 .planning/[项目名]/verify-report.md，含关卡表、失败详情、手动检查与缺口。
使用方式：作为 MEDIUM 级子代理非交互运行，不询问用户、不自行修复失败；先读 SPEC.md 的 Verification Plan，再按安装/构建、lint/类型检查、测试的顺序执行。前置条件：项目目录存在、tasks.md 中父切片全部为 [x]、SPEC.md 存在。
限制：任一关卡失败即停止，不得进入 PR 或收尾，也不得把失败说成“基本通过”；无任何可发现关卡时须明确报告为验证契约缺口并询问手动检查项；昂贵检查（如完整 e2e）需用户明确同意才可跳过或跑子集，不得静默跳过；tasks.md 或 SPEC.md 变更后需重新读取再验证。