Files
Genarrative/docs/technical
lhk229 521b0b2ad4 文档:收敛立项策划方案里的 manifest 权威性挂起项
§19 增补 manifest 非轮次身份权威源的安全不变量:双侧契约都不含
run/root 字段且跨轮复用单例文件,因此只能作为 lineage 判定通过后的
补充信号;归档快照全部写入点须校验被归档 root 仍是当前 root;本阶段
不补身份字段,补则必须同时覆盖 set_task_status 旁路。

§22 接入点表新增一行,并点明 D4 关于 approvedGddRef 是否进 manifest
的 M2 决策需一并考虑该约束。

§23.3 记录 M0B-2 挂起项的处置与明确保留的残余风险,说明三条候选机制
各自为何不可安全落地;该挂起项不再阻塞 M0-4 收口。

§24 补一条通用不变量。

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
2026-08-12 03:28:02 +00:00
..