reality-check

现实核查

将预期状态与可观察证据进行比较、衡量已声明的目标，或报告原生状态。选择所问的问题；快照无需虚构完成声明。报告事实和差距，不选择要做的工作。相邻技能：关于计划或变更的建议见审查；关于已完成变更的验收结论见验证。

声明比较

列出每一项已声明的内容，包括从未开始的工作，并分别给出处理结果：已确认（引用证据）、存在差距（引用缺失或相矛盾之处）或无法验证（指出哪些证据可以得出结论）。这里要点名的失败模式是只审查差异涉及的内容：声明的事项若在证据中毫无踪迹，就是存在差距，不应从报告中略去。

1. 阅读准确的声明及其来源，并将其拆分为单独事项。
2. 检查相关文件、命令结果和产物，区分已确认的行为、具体差距、不完整的证据以及变更后的假设。只认可证据所显示的内容：只报告了运行情况却没有输出、行为交由默认设置或其他组件处理，以及执行了代码却未断言所声称结果的测试，均属无法验证，而非已确认。指出缺失的证据，不要用断言来判定无法测试的声明。 对于声称某项行为已实现的情况，应搜索其背后的代码，查找伪实现：常量或硬编码结果、TODO 或未实现分支、示例数据，或测试代码之外的测试替身。将每处命中追溯到其调用方，再进行分类。生产路径可达的占位实现意味着该事项存在差距；仅用于测试的替身或无人调用的代码则不意味着存在差距。 声称工作已推送、合并、发布或在指定提交或拉取请求中修复时，应根据当前远程状态中的可达性确认交付情况，而非依据本地引用、推送输出或保存的状态；内容是否仍存在于目标分支头部，以及是否实现所声称的内容，仍按上述方式检查。已推送意味着该内容可从指定远程分支访问，或可从拉取请求自身头部分支所在仓库中的当前头部访问，包括分叉仓库。已合并意味着该内容可从声明指定的目标分支访问；若未指定，则检查默认分支头部；或者拉取请求已合并到以该分支为基准的分支。合并到其他基准分支不算确认。已发布意味着内容包含在仓库发布策略所指定的位置（标签、已发布版本或部署）中，并应从该来源读取。当 squash 或 rebase 导致提交不再有祖先关系时，应将内容与目标进行比较，而不要假定等效提交成立。检查提供的 SHA 或拉取请求编号格式是否正确，再将其传入命令。
3. 被询问计划时，将拟定范围与原始目标进行比较；未经授权的新增内容属于范围扩大，报告不能批准。重复测量应使用相同的问题和标准；问题变更则开始新的比较。
4. 返回包含已检查和未检查范围的记录。区分原生跟踪器、Git、运行时、确定性检查和语义判断的事实。

Claim: <the claim as stated, and where it came from>
| # | Stated item | Disposition | Evidence, or what would settle it |
|---|---|---|---|
| 1 | <item> | confirmed / gap / unverifiable | <file:line, command output, artifact> |
Checked: <what was inspected>. Not checked: <what was not>.

记录只报告证据；不包含结论、就绪度判断或 PASS。

快速答复可直接写在行内。若选择生成持久化的差距报告，请使用 reality-check-report.v1：在调用方选择的目标目录下写入 reality-check-report.json，默认目录为 .agents/scratch/reality-check/<run-id>/，并使用此技能的 scripts/validate-output.sh <report.json> 对其进行检查。在 coverage 中记录声明、由证据支持的发现类型以及各事项的处理结果。该格式不允许包含 verdict、readiness 或 PASS 字段；观察结果不是独立的语义判断。

明确所请求的结果

如果请求是根据证据核查某项明确声明（已完成、已交付、已修复、每项均已完成），则无需再提问，直接选择上述声明对比；明确要求衡量已声明的目标或报告原生状态时也一样。如果只是询问是否就绪，既没有声明，也没有确定的目的，则存在歧义：只询问一次调用方是想要建议性发现还是验收判断，然后等待。声明审计不等于验收，也不能替代 Validate 新鲜且由不同作者作出的判断。如果需要验收，则移交，并将缺少新鲜审查者报告为差距，绝不可说成已进行验证。 共享路由与移交详情： 建议或验收。

健康状况快照

对于“此仓库是否健康”或“检查是否通过”，运行项目自身的只读检查：项目说明或 CI 配置中声明的检查，或在其构建文件中找到的检查。如果有 --check、dry-run 或 verify 变体，优先使用。将任何会写入受跟踪文件、发布、部署或需要凭据的步骤列为未运行，并说明原因。记录所选检查及其来源。分别运行每项检查；即使某项失败也继续执行，以免遗漏后续结果。 将每项检查报告为通过、失败、因工具不可用而未运行，或因无法捕获输出而未确定；并根据退出状态而非解析输出得出结果。列出未运行的已声明检查。不要修复任何内容，也不要将结果合并为会掩盖失败的单一分数。

目标衡量

关于针对已声明的目标来源运行 ao goals、其派生快照以及应返回的内容，请参阅目标。不要添加、删除、调整优先级、迁移或修复目标，也不要将衡量差距转化为分派的工作。

原生状态

关于使用 ao status 读取证据存储，以及快照无法显示的内容，请参阅状态。近期产物的时间戳只能证明证据是近期的，不能证明有工作者正在工作。

边界

返回所选报告或快照。此技能不会更改原生状态，也不会给出语义上的 PASS、修复记录、安排或重试工作。已记录的目标快照以及所请求的报告／规范写入，是其仅有的输出副作用。追求已授权结果的原生调用方会依据这些事实继续工作；报告模式不会替其判定是否完成。