docs(acm2-51): 收口 D10/D14/D15

- D10 投递保序:architecture 改为 FLID 级(与 design/CLM-7 对齐,实现收敛归 ACM2-34)
- D14 REQ_TRACK 状态名:user-stories US-08 对齐实现的 PENDING/SENT/DONE/EXPIRED
- D15 容量假设:invariants 新增 CLM-10(未实测,含解除条件),design §10 加指针
纯文档,不改代码/迁移/配置/legacy。
This commit is contained in:
windyboy
2026-09-12 11:33:58 +08:00
parent 69c2cf219f
commit dcdc5117bf
4 changed files with 5 additions and 4 deletions
+1 -1
View File
@@ -69,7 +69,7 @@ CIIMS / AODB 等上游
### 投递
`Dispatcher``MSG_EVENT` 取出待发事件。普通事件按投递目标和 `EVENT_ID` 保序;某个目标失败时,不能跳过其队头投递后续事件
`Dispatcher``MSG_EVENT` 取出待发事件。普通事件按 `FLID` `EVENT_ID` 保序(与分区键一致):同一 `FLID` 内不跳队,不同 `FLID` 不互相阻塞(实现仍为目标级全序,收敛见 `CLM-7`
`schd` 是最新状态通知,不逐条发送中间变化:统一由 `flushSchd``FLID` 聚合,取批次内最新事件后发送。它不提供逐条变更历史,不能与普通事件的 FIFO 语义混为一谈。