模型上下文压缩重建与前缀完整性核验 (run-work-model-rebuild)

模型上下文压缩重建与前缀完整性核验 (run-work-model-rebuild) 由 Archify 生成的时序图。 reserveRuntimeWorkModelRebuild(expectedBoundarySeq) 核对 ModelInputRejection + 写 runtime_work_model_rebuilds 返回 WorkModelRebuildReservation (buildId, ordinal) prepareRuntimeWorkModelRebuildCandidate(summarize) verifyPreparedPrefix(sourceMessageIds, sourceDigest) 校验无跨 Run 分裂 (NOT split) 且消息哈希一致 publishRuntimeWorkModelRebuildCandidate → viewRef admitRuntimeWorkModelRebuildRequest (repeatable read) 写 rebuild_consumptions + UPDATE run_checkpoints 返回 nextSeq 与新输入绑定 (重放返回 already_consumed) 阶段 1：记录拒绝证明并预留重建槽位 (至多 2 次) 阶段 2：生成压缩候选并校验会话前缀完整性 阶段 3：Repeatable-Read 事务原子消费与推进边界 Work Attempt · RuntimeWorkClaim · 时序参与者 Work Attempt RuntimeWorkClaim RebuildReserve · ordinal 1 | 2 · 时序参与者 RebuildReserve ordinal 1 | 2 RebuildCandidate · CompactBuild · 时序参与者 RebuildCandidate CompactBuild PrefixVerifier · verifyPrefix · 时序参与者 PrefixVerifier verifyPrefix RebuildAdmit · fenced RR tx · 时序参与者 RebuildAdmit fenced RR tx PG Rebuild & Ckpt · rebuilds / ckpt · 时序参与者 PG Rebuild & Ckpt rebuilds / ckpt 图例 请求 返回 安全

链式槽位上限 (ordinal 1|2)

  • • 每条开放 Root 链最多预留 2 次上下文重建
  • • ordinal 2 必须精确指向已消费的 predecessorBuildId
  • • 仅当模型响应被接受收口后才允许开启新链

前缀完整性校验 (verifyPreparedPrefix)

  • • 强制核对 sourceMessageIds 数量、顺序与资格
  • • 禁止切碎同一 Run 的已发布模型响应 (split=false)
  • • canonicalJsonSha256 不一致即抛 SOURCE_CHANGED

单次消费与序列化隔离

  • • 在 repeatable-read 事务内复核驱动端当前授权
  • • 幂等重放仅返回 already_consumed 历史引用
  • • 40001 序列化冲突仅重试 DB 事务，绝不重跑摘要生成