用途：验证任务输出是否真正实现声明目标，而非仅标记完成。
主要能力：四级递进验证。Level 1 存在：检查预期产物是否在磁盘上；Level 2 实质：确认文件含真实内容而非占位或桩，如非空非注释行超过 10 行、代码含函数或类定义、Markdown 含标题与段落；Level 3 接线：确认产物被导入、引用或注册，如模块被 require/import、技能出现在 skills 前置元数据或 skill-index.json、schema 被校验脚本引用、hook 注册于 settings.json、agent 登记于 agent-registry.json；Level 4 功能：定位并运行关联测试（node --test <test-file>），退出码 0 为通过。
使用方式：以 Skill({ skill: 'goal-backward-verification' }); 调用。适用于任务声称完成需验证、QA 校验流水线交付物、流水线后校验产物、反思代理为任务完整性打分。流程为：从验收标准或计划文件识别产物，按顺序运行 1 至 4 级（Level 1 失败即停止），生成含逐产物逐级结果的 JSON，并按模式记录结果。
模式：严格模式（默认用于 HIGH/EPIC 复杂度）四层全部通过，任一失败即阻断；建议模式（默认用于 LOW/MEDIUM）四层均检查但失败仅告警。通过环境变量 GOAL_VERIFICATION_MODE=strict 或 advisory 设置。输出结论为 PASS、PARTIAL 或 FAIL。
限制与反模式：不得跳过 Level 1；不因目录正确就标记为已接线；Level 2 失败则不运行 Level 4；不硬编码产物路径，应从任务元数据或计划文件推导。关联技能有 verification-before-completion、proactive-audit、tdd。其他细节暂未提供。