用途：把「声称某阶段完成」变成「逐条可验证」。每个 S 阶段有 stage-spec（docs/design/stage-specs/S{N}.md），其中的 DoD 节承载机器可验证断言，本技能逐条执行并输出 PASS/FAIL 加证据，只验不修，FAIL 只报告差异并交回开发。
主要能力：定位 spec，缺失时直接报告「无 spec，阶段无法门禁」；提取 DoD 节全部断言（含嵌套子断言）；按类型执行——L1 全量跑 npx vitest run，L2 契约双跑 npx tsc -p tsconfig.json --noEmit 与 npx tsc -p tsconfig.main.json --noEmit，L3 交互跑 npx playwright test --project=interaction，行为验收按 spec 命令或定向 npx vitest run <file>，另检查覆盖矩阵、审计状态、决策日志与 push 状态；最终写 gate 报告到 docs/audits/stage-gate-S{N}-YYYY-MM-DD.md。
使用方式：用户或 agent 声称某 S 阶段完成、请求「跑阶段门禁」或阶段收口前自查时触发。仓库工作目录为 apps/desktop，关联 docs/tests/coverage-matrix.md、.scratch/neonforge-v1/audit-items/、docs/decisions/。
限制：只验不修，不修代码、不补测试、不改 spec；每条断言须带本次运行的新鲜证据，不编造通过，命令跑不出或人工验收未做判「未验证」；DoD 每条断言全量逐条执行，不许抽样或跳过；对不存在的 spec 不得「照常跑」。具体平台、收费等信息暂未提供。