Evaluation Core 产物持久化

现行宿主持久化、复用与下游投影契约。正式 omk eval、Studio、Gold、resume、batch 与 evolve 消费这些 Core 产物；传输来的 JSON 不会成为可信 Core capability。

一、边界

Evaluation Core 继续保持纯内存。宿主为每个 run 持久化一组不可变产物：

1. 版本化 RunPlan wire document；
2. ExecutionBundle；
3. EvaluationBundle；
4. AnalysisBundle；
5. EvaluationReport。

必须保存 Plan，因为 Bundle digest 只能标识已封存的测量契约，不能重建契约本身。若只保存结果，resume 将被迫信任摘要或依赖环境重新编译。宿主 manifest 只是定位和完整性投影，不是第六类测量事实。

二、权威性与校验

发布和完整读取时，store 校验：

• 每份 wire schema 与原生产物 digest；
• 根据 Plan 重新计算的 Dataset、stage、randomization 与 run-contract digest；
• Execution → Evaluation → Analysis → Report 父 digest 链；
• Report 的 Bundle 引用、状态、预算摘要、Decision 绑定与 provenance parent；
• manifest 的文档 digest 与最高 captured-content classification；
• 通过注入 resolver 解析并校验每个 content descriptor。

这些校验证明传输完整性与精确 lineage，不证明 provenance 真实性。持久化 RunPlan 读取后仍是 wire document，绝不重新授予 SealedRunPlan brand。resume 必须用当前 Definition 与 MeasurementPolicy 重新 prepare，获得新的 sealed Plan capability，再调用 Core 的 plan-aware Bundle verifier 决定是否复用。digest 相等不能凭空生成 source trust、cache receipt 或 Runtime attestation。

三、原子发布

每个 run 使用由 runId 的 SHA-256 派生出的 opaque 目录，用户 ID 不直接成为路径片段。宿主先把五份文档和 manifest 写入私有 staging 目录，manifest 最后写入，再通过同文件系统的一次 rename 发布整个目录。读取方只枚举已发布的 run-<digest> 目录；进程中断留下的隐藏 staging 目录不可见，可独立清理。

runId 不可变。完全相同的文档集合重复发布是幂等操作；同一 ID 对应不同集合时失败。进程内写入按 run 串行化，目录发布同时把跨进程竞态收敛为一个完整 winner。已发布 run 损坏时显式失败，不从列表里静默消失。

完整 Plan 可能包含 expected 或 evaluator-only 输入，因此目录只允许 owner 访问，文件只允许 owner 读写。路径属于宿主 effect，不进入 Core 文档或测量 digest。

四、Manifest 与索引

omk.core-run-artifact-manifest/v2 使用限定判别字段 manifestKind 与 documentKind。五个文档引用具有固定相对文件名、schema identity、原生 identity digest 和完整文档 canonical digest；manifest 另行记录 run／report identity、run-contract digest、Report 三轴状态、Execution／Evaluation replayability、创建时间与 captured content 的最高分级。目录布局 v2 把权威报告命名为 report.json；旧版 manifest bundle 不再读取。

索引卡片只是已校验 manifest 的纯 projection。列表重建卡片时可以不解析大 content，因为列表不声称 evidence 可用；完整读取 run 时必须闭合 descriptor，缺 resolver 或 content 损坏都会失败，不能投影为空证据。

五、宿主 ContentStore

Node content store 实现现有 Execution／Evaluation content port。写入前校验调用方提供的 value digest，并持久化私有的内容寻址 envelope。identity 同时绑定 value digest、media type 与 classification，因此相同 bytes 的 public 与 gold 内容不会 alias 或互相降级。descriptor 使用 opaque omk-content: URI，不泄漏文件系统路径。

解析时重新校验 envelope digest、descriptor、canonical value digest、media type、byte size 与 classification。失败只返回稳定且脱敏的错误码；原始文件路径和内容不会进入 Core error。

六、Resume disposition

resume 是完整事实复用，不是复制结果行或跨进程续接 checkpoint。宿主先根据当前 Definition 与 MeasurementPolicy prepare，获得新的 SealedRunPlan。admission adapter 会拒绝只有相同 JSON 结构的 transported Plan，再按 Execution、Evaluation、Analysis、Decision、Report 的顺序调用 Core verifier。

只有已完成且 evidence 完整的 run 可以复用。source 缺失、损坏、partial、contract 不匹配、信任不足，以及 cache receipt 或预算核算不确定时，都产生稳定原因码。调用方必须显式选择 fail-closed 或 start-fresh、最低 source trust，以及是否要求 cache receipt 与预算核算为 verified。拒绝不会复制成功结果行、创建新 trial 或改写旧 lineage。

verification context 必须来自独立宿主证据，绝不能根据 Bundle claim 自行构造 provenance attestation 或 cache receipt。admission digest 只记录产物 identity、Core 规范化 verification fact 与显式 policy，不包含原始 Dataset、Gold、output、trace 或 receipt material。

七、项目／全局 Overlay

overlay 只写 primary store，读取时 primary 优先于 fallback layer。索引卡片增加根据五份文档引用重建的 artifact-set digest。同一 runId 仅可在多个 layer 中指向相同 digest；否则 get、list 与 exists 均显式失败。写入不会遮蔽 fallback 已有 ID，即使两边事实相同也不写，因此项目／全局 store 不会静默选择不同事实。

八、Batch child run

omk.core-batch-manifest/v1 是宿主索引，不是 Core Report。每个有序 item 只保存限定字段 batchItemKind、稳定 itemId、独立 child runId locator、artifact-set／Report identity、状态和最高 captured-content classification。child 继续拥有自己的 Plan、Bundle、Report、provenance 与统计单位。

发布前必须解析并完整校验全部 child，随后原子发布私有 batch manifest。child 缺失、损坏、重复或 identity 变化都会失败。完整 batch 读取会重新校验 child locator；batch 列表只校验 manifest，因此不声称 child evidence 可用。中断留下的 staging 目录不可见。

九、Core 原生下游投影

下游 consumer 通过纯函数、无副作用的 projection 读取不可变 Core 事实。这些 API 不导入旧 Report 或结果行类型；原子 CLI 切换完成后，正式 consumer 已接入这些 projection。

artifact graph projection 消费一组已经校验的持久化 run，输出 Run、Target、Evaluator、Metric、Execution result、Evaluation result、Analysis result 与 Decision 等限定语义节点。节点状态只来自显式 stage 状态。数值 observation 可以作为视图 metric 展示，但分数档位和展示阈值不能变成 verdict。evidence reference 绑定 Core 文档的精确 hash 与 JSON pointer；原始 input、expected、output、trace、evidence 与 error text 一律不进入图。

gold comparison 要求调用方显式选择一个已封存的 Target、Evaluator 与数值 Metric。可选 trial／measurement coordinate 用于进一步限定 identity，但必须与 Plan 一致。Gold 与 Metric 的 scale 必须完全相同。同一样本匹配到多个 observation 时显式失败，不会跨 trial、ensemble member 或 replicate 暗自平均；scale 变换必须进入预注册 Analysis。v2 projection 绑定 canonical Gold dataset digest，并用 null 表示未定义统计量，不把非 JSON 的 NaN 写入版本化输出。它记录完整的 bootstrap draw coverage，使用固定期望分歧的可靠性 bootstrap；完全一致时区间显式标记为不适用。调用方可选择显式最低 alpha，事后 assessment 会比较区间下界；它没有通用默认值，也不是 release DecisionResult。Krippendorff alpha、加权 kappa 与 Pearson 点估计公式保持不变；v2 区间相对 v1 的条件有限 draw bootstrap 是一项 BREAKING-COMPARABILITY 变更。

evolution evidence 消费同一条 Evaluation Series Plan → SeriesAnalysisBundle → EvaluationSeriesReport 精确链。Series 固定 experimentalUnit = run；projection 保留 member 状态、trust、comparability、analysis standard、assumption、coverage 与已注册 Decision，绝不根据展示分数给 member run 排名或猜测 winner。只有 decided 的 Series Decision 才会得到 decision-ready；只有已完成 Analysis 而没有 Decision 时仍为 analysis-only。

CLI dry-run projection 只接收 prepare 返回的进程内 SealedRunPlan capability，投影 stage digest、Dataset／Target／Evaluator／Metric 数量、实验单位身份、Analysis 输出、Decision policy 身份与脱敏 preflight record。它不包含 input、expected、evaluation context、artifact config、locator 或 provider secret。传输后的 Plan document 不能冒充成功 prepare 的结果。

CLI run projection 只接收一条经过完整校验的持久化 artifact chain。运行是否完成、证据是否完整、结论是否可下以及已注册 Decision 分别参与 gate，保持正交。verdict 本身不是发布授权；PROGRESS 必须携带稳定的 release-gates-passed reason，SOLO 必须携带 solo-layer-gate-passed。report-only 只能对 completed run 跳过发布门禁；取消、预算耗尽与失败仍是非零 operational outcome。Batch projection 必须把 manifest 中每个 child 与精确 artifact-set identity 对齐，并投影独立 child outcome，不汇总 score、Report 或统计单位。

十、非目标

• 旧 EvaluationReport reader、迁移或双写；
• partial record resume 或跨进程 checkpoint engine；
• Studio projection；
• artifact 签名或 provenance attestation。

生产切换已作为一次原子的 BREAKING-SCHEMA 变更交付。当前任何命令都不会同时读取旧事实与 Core 事实。