重建覆盖¶

rea evaluate-reconstruction-coverage coverage.json --json 评估一个内联覆盖工作区及其选定的 boundary_id。MCP 通过 evaluate_reconstruction_coverage 暴露相同的输入。结果包含状态、原因、推荐探针和证据引用；所提供的 bundle 保留完整记录。

证据 ID 和 bundle 清单必须在评估之前进行认证。一条有效记录仍可能不足以作为证明：通过验证器摘要不能将推断的证据提升为回放观察。这种情况返回 unknown，而缺失或篡改的记录仍然是输入错误。

有效完成范围¶

选定的边界要求其显式表面 ID、每个必需声明的表面，以及从这些表面可达的所有声明依赖项的并集。循环只访问一次。缺失的可达依赖项仍以 dependency-surface-missing 形式可见；它们使闭包保持部分完成。required_surfaces 摘要统计这个完整集合（包括缺失的 ID），required_claims 统计唯一的必需声明。

每个可达表面都接受相同的所有权、路径、分发、处置和权威独立性检查。任何这些表面上的活动矛盾都会影响该边界，即使调用方没有在 required_surface_ids 中重复该表面 ID。包证明必须覆盖此有效范围的工件。声明验证器必须承诺其自身的表面及其可达依赖项，包括它们的工件和已实现所有者摘要。调用方无需在请求中重复传递闭包。

可比较的验证器证据¶

最新验证器观察显式引用的至少一条记录必须支持声明的合约权威：

上下文引用可以伴随合格证明。bundle 中其他地方的无关注察记录无法修复仅引用推断的结果。较旧的观察结果不能替换最新的弱结果。同一时刻的等效观察可以共享其中一条观察的合格证明；冲突的并列评估保持 unknown。

包与集成证明¶

构建、干净安装和运行时路由声明需要已观察的运行时证据（controlled-replay 或 external-service）。包内容和权威独立性审计也可以使用已观察或派生的 shipped-artifact 证据。每条证明必须引用其合格记录并覆盖所选边界的工件摘要。仅凭推断既不能建立通过的包工作流，也不能建立失败的包工作流。

评估器保留证据来源，并在资格不可用时返回可操作的 unknown。它不会更改所引用的记录以使其权威匹配调用方的声明。

所有适用的包证明结果都会参与。即使另一条证明通过，失败的适用证明也会使闭包失败；unknown、不支持或跳过的适用结果使其保持 unknown。结果引用所有适用结果。证明数组顺序不建立新鲜度或取代关系。针对无关工件摘要的证明不会与所选边界矛盾。

函数重建声明¶

verify_reconstruction 在保留的比较证据上评估声明的声明。overall 函数声明包含活动残余未知项，其范围限定于该比较的任何维度。例如，一个未解决的伪代码问题会使整体声明保持 unknown，并保留其未知 ID 和推荐探针；独立的汇编声明仍然可以通过。仅限定于 overall 的未知项不会阻塞每个单独维度。

选择使用每个未知项的最新修订版本、其比较身份和证据引用。显式未知依赖项在不同维度之间仍然相关。来自另一个比较的未知项以及已解析的头部不会仅仅因为其源证据重叠而成为阻塞项。