windy/msgexchange-v2
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
134 Commits 1 Branch 0 Tags
68c6bab7ef4e815b8c0341162ddceeca8f78df91
Commit Graph
77 Commits
Author SHA1 Message Date
windyboy 68c6bab7ef docs(acm2-75): 处理完成术语压缩为一句话 2026-09-16 12:28:59 +08:00
windyboy 6bb5faab79 docs(acm2-75): 处理完成术语改为直白表述 2026-09-16 12:27:49 +08:00
windyboy f938242028 docs(acm2-75): 收口处理时间口径与开篇元信息 2026-09-16 11:49:47 +08:00
windyboy ba7494242d docs(acm2-75): 术语表去契约化并修正完成与投影定义 2026-09-16 11:40:43 +08:00
windyboy 1424293194 docs(acm2-75): 信箱术语改为只述归属与边界，读写细节归各契约 2026-09-16 11:39:09 +08:00
windyboy 87d28fd8bc docs(acm2-75): 术语处理标记点名为处理时间 2026-09-16 11:36:26 +08:00
windyboy 8a690705e3 docs(acm2-75): 精简术语表并顺化表达；校验器兼容约定小节名 2026-09-16 11:34:54 +08:00
windyboy 56ad8c9220 docs(acm2-75): 收窄 c30 写边界并修正架构扫描谓词指针 2026-09-16 11:12:09 +08:00
windyboy 61d6c3779b docs(acm2-75): 消除规范内重复定义并修正映射与指针 2026-09-16 11:08:13 +08:00
windyboy 42ef6fd60f docs(acm2-75): 消除 c24 在途名额的指代歧义 2026-09-16 10:55:12 +08:00
windyboy 06f12cd35c docs(acm2-75): 清理 inv20b 残留关联并将双实例验收标记为未闭环 2026-09-16 10:42:42 +08:00
windyboy 2763e8463d docs(acm2-75): 按三轮复审修正交接口径、单实例声明与日计划幂等归属 2026-09-16 10:39:24 +08:00
windyboy 72c282bcff docs(acm2-75): 按复审结论修正投影可见性、重复身份与回退交接口径 2026-09-16 10:32:27 +08:00
windyboy 491fc276c9 docs(acm2-75): 按审核结论收口规范内容缺口 2026-09-16 10:21:42 +08:00
windyboyandCursor fd65bb24fb docs(acm2-75): 按需求与架构收口契约和规范 
补齐接口契约的入站、Redis 与出站边界，规范对齐已定语义并作废过期条款；Kafka 生产端约束编号改为 D2。

Co-authored-by: Cursor <cursoragent@cursor.com>
 2026-09-16 08:49:19 +08:00
windyboy 7cd17409f5 docs(acm2-75): 起草接口契约与现役对拍线索 2026-09-15 22:10:19 +08:00
windyboy de2549af2e docs(acm2-75): 澄清需求与架构验收口径 2026-09-15 21:48:37 +08:00
windyboy ca7c36ef38 docs(acm2-75): 精简重构架构文档并对齐两段事务口径 
- architecture.md：§1–§7 全文精简重构——图收敛为拓扑、主流程改七步时序+类别差异表、
  约束红线去行话、数据归属去黑话、关键决策按章程瘦身为 D1/D2
- specification.md：INV-17b 补静态参考数据单事务口径
- implementation/reference/README/requirements：对齐扫描谓词与两段事务表述
- AGENTS.md：新增文字纪律与用词归属规则
 2026-09-15 13:23:40 +08:00
windyboy 723b3e4c09 docs(acm2-75): 精简规范引言并重写术语表 
- 删除引言段：唯一出处清单、编号规则与空缺说明按评审结论去除
- 术语表逐行改写为平话：库方收敛为 CIIMS adapter 方（信箱表在其 MySQL，表结构变更与清除归它，机制未定）；上游收敛为 CIIMS adapter 写入，AODB 经它落信
- 落信涵盖兼容 HTTP 入口；处理标记标注与需求文档「处理时间」的对应
- 术语行去掉内部表名、编号括注与管道术语指针；处理完成、Redis 投影按 US-05/US-07 口径收窄 Redis 条件
 2026-09-14 17:56:18 +08:00
windyboy e57152dd83 docs(acm2-75): 规范全面对齐新需求口径 
specification.md 按新需求重写：
- 扫描模型反转：水位/ID 区间 → 处理标记为谓词（C-30 取代 C-1/C-2/C-13；INV-2b 替代 INV-2/4/5）
- Redis 回归为查询投影：处理完成门（INV-23）、投影治理与同源读取（INV-24），INV-11b 扩充非权威清单
- 日计划快照语义反转：缺席航班删除、未携带字段清除（INV-15b），增量报文语义另立（INV-14b）
- 终态记录归档 → 到期删除（INV-25），G-PROC-HST/G-HST-RETENTION/G-REPLAY-CHANNEL/G-FLOP-DIRECTION 关闭并清扫全仓引用
- 重放移出交付范围：R_keep 公式收窄、CLM-3 重定义为重处理幂等、Q6 删除
- 新增 INV-23~28：Redis 完成门、投影治理、清理谓词、参考数据逐类保存/门控、历史先行红线
- C-25/C-26 定案（原子级联不回发 EROR；快照未携带字段清除），Q13/Q14 关闭，Q6/Q12 删除，新增 C-30/C-31

联动：implementation.md 收报/回填/快照/生命周期/FLOP 方向各章按新口径重写；architecture.md
D1/D4 改删除语义；reference.md 退役 archive-after；requirements.md OPS 表改为注册表定义
语法；AGENTS.md 状态边界随新口径更新；check-docs.py OPS 注册表节名同步。

scripts/check-docs.sh 全部通过。
 2026-09-14 16:40:00 +08:00
windyboy 2471ea9cab docs(acm2-75): 大范围修正需求定义与验收口径 
- 收敛为 US-01~US-14 + OPS-1~4 的交付定义，去除阶段 A 框架、覆盖矩阵与契约依赖索引
- 明确系统定位与数据流向：航班动态入 PG 并同步写 Redis、经 Kafka 通知网页客户端，静态参考数据入库供 admin-api 只读
- US-14 改为航班历史与清理（ES 历史库），删除原 US-15
- 非目标重写：单实例、至少一次投递、同 FLID 保序、Oracle 未验证不承诺、不调 admin-api
 2026-09-14 15:54:16 +08:00
windyboy 0fbdf381b2 docs(acm2-75): align static reference data flow 2026-09-14 08:28:47 +08:00
windyboy 5b7938ac4b docs(acm2-74): 补齐 FLOP 逐类语义、静态参考数据与数据结构 
自洽与精简：

- specification 补第四种状态词 [我们自证]、验证映射补 INV-14 两行、去 CLM-7/CLM-9 的进度语、补编号空缺说明
- architecture/requirements/implementation 去除逐字复述（领域决策三写句、时间常数排序、C-25/C-26、INV-12/21/22）与参数值重复
- README 与新文档对齐：收报谓词改 ID>W、删不存在的 reference/ 包与 lua/、删 msgx.phase 与 MSGX_REDIS_URI、设计权威口径改 docs/、进度段改指 Plane

内容补齐：

- 新增 implementation.md「动态运行事件（FLOP）」：按 SIS 3.19–3.43 的 25 类逐类映射与空标签语义（含 CNCL 空标签为撤销等），补 RMS→AODB 方向拒绝、ROUT 只保留 4 条、VIPP 忽略等约束；厘清 legacy 29 类与 SIS 25 类的差集
- 新增 implementation.md「静态参考数据」章：13 类参考数据与资源状态的 RTYPE/RKEY、list 与增量合并语义、删除只由 DEL 表达、SLST/REMT/RSTA 机位与登机桥映射
- §11.3 数据结构改为标量分组表与集合明细表（元素键、条数上限、SIS 锚点）
- specification 新增 G-FLOP-DIRECTION / G-FLOP-UNMAPPED / G-REF-DATA；Q8 收窄为真实报文分布与 admin-api 清单
 2026-09-14 07:34:17 +08:00
windyboy cedd859bdf docs(acm2-74): consolidate design documentation 2026-09-13 20:31:13 +08:00
windyboy 800d7617f2 chore(db): 压缩 Flyway 迁移链为单基线 
原 V1–V10 的净结构全部合并进 V1__flight_state_baseline.sql，迁移链收敛为一条。
表集合、逐列类型/非空/默认值、表级约束、索引与种子行经重放比对与旧链条一致；
仅丢弃 5 条只对既有库有意义的存量数据语句（RECEIVED_AT/ENQUEUED_AT 回填、
schd 与开放请求去重、SENT_AT 回写）。

已按旧链迁移过的库版本链与校验和对不上，必须重建 schema 或删除数据卷后重跑，
禁止手工 repair 或改写 flyway_schema_history。

- 删除 V2–V10 共 9 个迁移文件
- 注释统一范式并改用稳定 ID（INV-x/C-x/G-x），修正 KAFKA_MSG/KAFKA_SCHD 与实际值不符
- 同步 docs/reference.md、docs/user-stories.md、oracle11g/README.md、README、application.yml、compose.yaml
- FlywayMigrationTest 改为断言单基线，并补 MSG_EVENT.SENT_AT 覆盖
 2026-09-13 16:31:14 +08:00
windyboy 62f61ad9e4 feat(delivery): 真实 Kafka 投递端口 + 闭合 G-BACKFILL-BACKOFF 配置缺口 
- 新增 KafkaDeliveryPort：ProducerRegistry + 同步 Future.get() 至少一次投递，
  闭合 OPS-1 真实适配器要求与 US-07 INV-10/C-29
- 回填退避从硬编码 30s/15min 提升为 backfill-backoff-ms / backfill-backoff-cap-ms
  配置绑定，闭合 [G-BACKFILL-BACKOFF]
- 删除死依赖 micronaut-redis-lettuce（代码零引用，ACM2-28 Redis 已退出阶段 A）
 2026-09-13 16:26:03 +08:00
windyboy 5bb9d6bb07 docs(spec): 精简需求边界闭合方案 2026-09-13 16:01:07 +08:00
windyboy fc744d0cfd feat(acm2): 闭合 G-KAFKA-D3 / G-IGNORE / G-EVENT-RETENTION 三个缺口 
- G-KAFKA-D3：max-in-flight 默认收敛到 1，KafkaD3Check 启动自检钉住三项联合满足 D3
- G-IGNORE：IgnoreRules 在身份绑定后精确匹配 TYPE 字段，命中写 SKIPPED + 回填意图
- G-EVENT-RETENTION：V10 迁移加 SENT_AT 列，投递原子写，EventCleanupJob 有界清理过期 SENT 行
 2026-09-13 15:48:16 +08:00
windyboy d37a9eb38e docs(spec): 收敛领域边界闭合方案为三个缺口 
- 本轮只做 G-KAFKA-D3 / G-IGNORE / G-EVENT-RETENTION，其余缺口不再写入 spec
- 删除约束与表结构副本、User Stories 重复、phase B 清单与进度记录
- US-04 AC1 明确先绑定身份再转 SKIPPED，引用改用稳定 ID US-03
 2026-09-13 13:49:06 +08:00
windyboy 30dc8adf00 docs(spec): 领域边界闭合 spec 与配套文档修正 
新增 docs/spec-boundary-closure.md：自包含 spec，内联展开所有
PRE/INV/CLM/D/C/US/PARAM/Q/错误分类/表结构/时间常数序引用，
覆盖 G-KAFKA-D3 / G-IGNORE / G-EVENT-RETENTION / G-BACKFILL-BACKOFF
/ G-PROC-HST 五个缺口的实现决策、验收与测试决策。

同步修正 design.md（归档段落改条件 DELETE、ARCHIVED 影子行、
SENT_AT 描述）与 user-stories.md US-11（AC1 改 UPDATED_AT、
AC2 删投递判据、AC3 补条件回滚语义）。
 2026-09-13 12:52:21 +08:00
windyboy 729e102b8e docs(lifecycle): 补齐清除生命周期与逐对象归档边界 
- design.md 9.3 扩为「生命周期与清除」：清除通则、逐对象生命周期表、
  处理终态归档判据（终态 ∧ 回填了结 ∧ 终局后到期）与时间常数排序
- contracts.md 新增 C-16：回填放弃清单在对应信箱边界清除前必须保持可查
- invariants.md 缺口索引新增 G-HST-RETENTION、G-FLIGHT-HIST-RETENTION、
  G-REQ-TRACK-RETENTION
- flight-state.md 补航班历史存储保留期开放项
- 同步 architecture.md / user-stories.md 的 9.3 交叉引用
 2026-09-13 10:49:48 +08:00
windyboy 17a4bfe91b feat(codec): 观测未落库的 SRVT/VIPF 集合 
SRVT/VIPF 只保留在 wire/domain 并计数告警，不落明细表、不参与合并：
出现事实不再被静默丢弃，为 Q13 定案提供真实流量证据（[G-SRVT-VIPF]）。

- wire DTO：SRVT/SERVICEDATA、VIPF/VIPDATA 与嵌套 VIPT（OPER 为元素属性）
- 出现即留键：缺席与"出现但为空"不再等价；已落库 10 类集合语义不变
- 新增 msgx.pipeline.codec.srvt_seen.total / vipf_seen.total（reference.md 已登记）
- 一并提交此前的 MAFL 文档改动（INV-21/INV-22、flight-state §2.3、G-MAFL 措辞）
 2026-09-13 09:21:51 +08:00
windyboy b8738554e6 refactor(ingress): 移除 G1 窗口补偿扫描与迟到到达检测 
实际负载不足 10 条/秒，G1 属过度防御。删除迟到到达检测机制、
existingIds 接口、PipelineCounters 字段、lateDetect 配置，
以及文档中 CLM-1/CLM-2 声明与 G1 缺口索引。
 2026-09-13 08:08:43 +08:00
windyboy 8053c01964 docs(contracts): Q8/Q13 标记为暂缓 
- Q8 逐类清单现阶段不处理
- Q13 缺失字段语义测试前不决定，真实消息优先于 SIS 文档
 2026-09-12 22:39:09 +08:00
windyboy cfece0c559 docs: drop merged message-lifecycle stub 
message-lifecycle.md 内容已全部并入 design.md / contracts.md；仓库内唯一引用是 docs/README.md 的跳转说明，已同步删除并在「当前状态」记录删除事实。历史链接按 README §2 职责表重定向到 design.md。
 2026-09-12 21:04:42 +08:00
windyboy 82cc70cbb3 docs(acm2-63): 精简架构文档并闭合模块入口登记 
architecture.md 138→116 行：删除 §9「当前实现与上线门槛」（进度内容，归 invariants 声明边界与 Plane，其中部署前提并入 §8）；§4 主流程压成链路摘要 + design 节名指针，去掉与 design 重复的机制细节；§8 可观测性收成一句并把指标口径指向 reference；D1–D4 第三列由「当前状态」改为「证据 / 缺口」稳定 ID 指针。

reference.md：模块入口补 infra/metrics/JobActivity.kt、infra/health/JobRunnerHealthIndicator.kt 与 config/OperationDayProps.kt；迁移清单补 V7–V9。
 2026-09-12 21:03:23 +08:00
windyboy 8093d20f9b docs(acm2-63): 收敛文档口径并补齐作业健康指标登记 
含：MAFL 派生投影与 SRVT/VIPF 无界集合口径、schd EVENT_ID 写代次与 DEAD 代次替换、运营日时区 fail-fast、缺口索引增删（G-MAFL/G-SRVT-VIPF/G-COMPAT-HTTP/G-REQ-OPEN-UNIQUE，移除 G-JOB-HEARTBEAT）、job 心跳/扫描积压/最近失败指标登记、INV-18 验证映射改为实际测试名。
 2026-09-12 21:00:01 +08:00
windyboy 3085431bea docs: 落地上轮复审修正并修正参考表位置 
- G-IGNORE 缺口表述去掉错引 INV-19、补 US-04
- reference 登记 msgx.pipeline.backfill-scan-period
- user-stories 的 R_keep 下界/deadline 措辞对齐
- reference 归档参数行从空行后挪回参数表内（修正 acm2-52 提交中的表格位置）
 2026-09-12 11:36:52 +08:00
windyboy dcdc5117bf 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。
 2026-09-12 11:33:58 +08:00
windyboy 69c2cf219f docs(acm2-52): 修正跨文档事实冲突 F1–F9 与错引编号 
- F1/F6 HTTP 契约：C-28 目标 ResponseDto + 请求体上限暂定 10MB，Q3 指向 C-28
- F2 legacy 与 SIS 的优先级限定；F3 超期判据对齐 ENQUEUED_AT；F4 改引 D1
- F5 参数默认值改引 reference/PARAM；F7 补 4 条契约状态词；F8 定义 MAID/MAFL 并明确排除共享航班；F9 补 INV-20
- N1/N2 错配编号改引；N3 迁移链指针；N4/M5 白名单补 D-x/OPS-x；N6 补 INV-16/17 映射；N7 加粗规则
- M1 回填退避事实与论证；M2 Q6/Q7；M4 Q4 假定标注；M7 去复述
纯文档，不改代码/迁移/配置/legacy。
 2026-09-12 09:57:26 +08:00
windyboy 817236ca26 fix(processing): 落地 D1/D5/D6 三项裁决，删除 head-deadline 参数 
D5（终态判据只保留尝试上限）：
- Pump.tick 内联 attempts 判定，删除 head-deadline 相关的毒丸分支与滞留告警代码
- 删除配置项 head-deadline（PipelineProps / application.yml）与 PumpDeadlineTest
- PROCESSING_STARTED_AT 变为只写，注释如实说明当前无判据消费它

D1（回填放弃判据改为时间）：
- 暂时性故障在 R 之前只退避重试，不再按尝试次数放弃；到 R 才放弃并记 TRANSIENT_DEADLINE
- backfill-max-attempts 降级为单行重试的告警阈值

D6（超期判据改用本地入队时间）：
- 新增 V6 迁移：PROC_STATE 加 ENQUEUED_AT（回填存量后置为非空 + 默认）
- findBackfillDue 的谓词与 overdue 标记改比较 enqueued_at，不再用库方时钟的 received_at
- BackfillDue 增加 overdue；收报与兼容入口显式写入本地入队时间

文档同步：
- 清理 4 处 message-lifecycle.md 章节号死链（Pump/InboxService/PipelineProps/application.yml）
- 关闭 G-HEAD-DEADLINE、G-BACKFILL-ABANDON-BYTIME、G-ENQUEUED-AT 三条缺口登记
- reference/user-stories/README 与实现对齐

验证：./gradlew test ⇒ 122 tests, 0 failures, 1 skipped

Refs: ACM2-45
 2026-09-11 20:44:30 +08:00
windyboy 6eade95a97 docs: 拆分契约/前提/参数文档，合并消息生命周期并收敛设计裁决 
- 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
 2026-09-11 15:48:14 +08:00
windyboy 632a5fe422 docs: 精简重复论证与过时流程表述，口径与实现双向对齐 2026-09-11 14:26:44 +08:00
windyboy fed0b5df26 docs: 同步取报-处理-回填链路的修复结论 
- 事务边界表：区分业务型/非业务型终态；回填改为扫描驱动（主泵不再 inline 回填）
- 符号与配置：补 delivery-batch / backfill-max-attempts / cutover-watermark /
  late-detect-* / backlog-cache-ttl-ms / 邮箱超时与指标口径
- 闭环状态：G2/G3/G9 标记已修；G1 标注「阶段 0 只读迟到检测已交付」
- 修正 R/R_keep 论证：R 不保护重放窗口；原文保留归 R_keep 与 Q7/Q9，
  并删除「由 SIS Expiry 推导提交时延」的无效推论
- 回填语义补全：四种结果、放弃 ≠ 标记已确认、公平轮转与饥饿说明
- 兼容入口与水位：登记行超出水位、水位追平前不被领取，并写明运维含义

Plane: ACM2-35 ACM2-37 ACM2-38 ACM2-39 ACM2-41
 2026-09-11 08:08:39 +08:00
windyboy 50e0e7f389 docs: 修复跨文档冲突与外部规范口径 
不动代码、配置与迁移，只收敛文档口径。

- 登记两项外部冲突：Q13 日计划缺失可选字段（SIS §3.16 注释 4 要求删除本地值，
  与现行"未携带字段保留"相反）、Q14 主/共享删除顺序与 EROR 回报义务
  （SIS §1.6.1-1.d / §4.8）；航班级"缺席不删"补 SIS §3.16 注释 1 依据。
- flight-state §3.3 补主/共享关联按 FLID 值比较的规则。
- message-lifecycle：§11 水位不变量与 §5.1 空洞老化自洽；删除过期的 updatedAt
  判据，统一为 PROCESSING_STARTED_AT + 可注入 Clock；§5.1/§6 补 SIS 480 分钟
  Expiry 与 legacy 1 天保留窗，作为 Q2/Q6/Q7 的取值参照。
- architecture/design：明细表口径统一为 8 张资源明细表 + FLIGHT_ROUTE_POINT；
  Oracle 11g 断言收敛为待适配验证；配置键按 application.yml 实际名称加 msgx. 前缀。
- user-stories：Q2/Q6/Q11 补外部锚点并收窄 Q11 到重置周期 + SNDR 值域；
  新增 Q13/Q14 并挂入 US-05/06/08 前置；五个独立事实改为引用 message-lifecycle §1。
- README/legacy：文档基线改为代码基线 eea1120 + git log 指引；补"外部协议冲突以
  SIS 为准"的维护规则；修正 /all/flights 过滤措辞；术语统一为「回填意图」。

验证：文档间章节引用 0 缺失、markdown 0 断链、SIS 引用小节全部存在、
Q1–Q14 正文与 Q 表双向可解析、代码块配对正常。
 2026-09-10 20:54:01 +08:00
windyboy eea11203a2 fix(processing): 收紧消息生命周期与投递约束 2026-09-10 20:39:22 +08:00
windyboy dd839e6abb docs: 统一生命周期与处理职责口径 2026-09-10 19:48:49 +08:00
windyboy 8c6bb83b62 docs: 同步信箱生命周期实现口径——§4 缺口收敛、水位空洞老化、回填事实并入 PROC_STATE 
message-lifecycle.md：§4 两个崩溃窗口随"终态与回填意图同体同行"消除（不再是缺口，改为
说明剩余未闭环项是回填跨库单写期间的持续失败）；§5.1 补空洞老化规则（自增回滚空位会使
水位永久停摆，超出最大提交时延即判永久并放行，只跳过空洞不越过已存在的行）；§5.2 补判据
机制（不依赖独立待办表，R 覆盖退避）；§3 表格改回填意图与"到期或已达 NOW − R"。
design.md：§2.1 表以 INBOX_CURSOR 取代 BACKFILL_TODO、PROC_STATE 责任补回填事实；
§3.1 收报改为按 ID 区间扫描且不以标记为谓词；§3.3 终态由处理器事务内落库、死信同样可
补写；§6.1 维护作业改为 BackfillService.sweep；§7 补 max-commit-delay/overdue-backfill/
backfill-batch 与 mailbox.processed-value；§8 验证表补"终态未回填不得阻断发现"与"意图随
事务回滚"；§9 入口表更新；§10 缺口两则改写为现状与待确认项。
architecture.md：§4 主流程第 1/3/4 步与 §3 存储表同步（水位、回填意图、单事务范围）。
flight-state.md：§2 对象表同步。user-stories.md：US-01/US-09 当前基础与落点改为实现现状、
Q2 口径改为"老化阈值待库方书面承诺"。
 2026-09-10 11:00:02 +08:00
windyboy ffd3abd655 docs: message-lifecycle 审查修正——消解跨文档冲突、口径归口并登记 Q12 
message-lifecycle.md：
- §5.3 日计划改为现行合并语义（缺席不删、缺失保留，引 flight-state §3.1），类型粒度统一 TYPE-STYP
- §5.1 明确两条扫描路径按 ID 区间取行、不以处理标记为谓词；水位定义与 Q2 绑定
- §4 两个缺口改与 design §10 同措辞；§5.2 的 R 构成挂 Q6/Q9，新增 Q12 积压跳过授权
- §6 方案 B 对账补“只补缺失行、标记单调不回退”；删除能力声明标注待 Q9 确认
- §7 改为“尚未实现”、统一 COUTMSGS_* 列名；§11 ID 不断链改为条件式不变量

user-stories.md：US-11 第 4 条限定为“本系统不写共享历史表/不清除外部信箱”；US-01 扫描谓词指向 lifecycle §5.1；US-01/09/11 前置补口径指针；新增 Q12；OPS-2 补积压与最老未处理信龄；Q10 列名统一。

architecture.md：共享 MySQL 红线限定主体；§6 中断恢复表改为指向 message-lifecycle §4；收报步骤补扫描谓词指针。

design.md：水位定义、回填死信处理、维护作业、归档、缺口恢复统一指向 message-lifecycle。

README.md：核对日期更新至 2026-09-10（代码基线 99a0f5f，文档基线 328bbf8）；维护规则补规范类文档一档。
 2026-09-10 09:00:53 +08:00
windyboy 328bbf88d2 docs: 新增 message-lifecycle.md——上游消息生命周期唯一规范（五事实/崩溃恢复/水位/超期补写/历史积压/信箱清除 A/B/出站契约），登记 Q9/Q10/Q11，README 索引与 architecture/design 指针补齐 2026-09-10 08:55:43 +08:00