windyboy
6eade95a97
- design.md 合并 message-lifecycle.md（后者保留跳转 stub），去重并改用稳定 ID 引用 - 新增 invariants.md（前提/不变量/声明边界/验证映射）、contracts.md（对外条款与 Q 台账）、 reference.md（参数/指标/模块/错误分类） - architecture/flight-state/user-stories/README 同步重划引用；README 废止「引用章节号」 - 裁决收敛：R 按超期而非次数放弃、清除前提含放弃清单、航班表写者互斥、head-deadline 仅告警、 超期判据用本地入队时间、投递批次读取时刻冻结、schd 只进不退与条件标记、FLID 复用为前提 - 删除 runbooks 与 CI 防漂移校验：设计阶段不产出面向执行期的产物 Refs: ACM2-42..51
732 B
732 B
上游消息生命周期设计（已合并）
本文件已并入 design.md：
- 收报、水位与空洞 → design.md「收报与水位」
- 回填（四种结果、放弃、
R的作用）→ design.md「回填」 - 中断恢复矩阵 → design.md「失败恢复与维护作业」
- 共享信箱保留与清除的前提 → contracts.md「保留与清除」
- 清除执行、切流播种、人工重放、故障恢复的前置条件与红线 → contracts.md（
C-7–C-12）与 invariants.md（CLM-x）；执行步骤在上线/切流前另立规程
保留本文件仅为承接历史链接；不要在此新增内容，规则定义处见 README.md 的事实归属表。