windy/msgexchange-v2
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

docs(acm2-75): 收口处理时间口径与开篇元信息

Browse Source
This commit is contained in:
windyboy
2026-09-16 11:49:47 +08:00
parent ba7494242d
commit f938242028
3 changed files with 15 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files
docs/specification.md
+10 -8
View File
@@ -1,6 +1,8 @@
# 规范：术语、约定、前提、不变量与能力边界
# 规范：术语、约定、前提、不变量、声明边界与验证映射
本文整理 msgexchange-v2 对外接口约定（`C-x`）、前提条件（`PRE-x`）、系统不变量（`INV-x`）、能力边界（`CLM-x`）、待确认事项（`Qn`）与已知偏差（`G-NAME`），并统一给出术语。条款依据 [requirements.md](requirements.md) 与 [architecture.md](architecture.md) 编写；字段联调草案另见 [contracts/interface-contract.md](contracts/interface-contract.md)，对外承诺以本文件为准。
本文整理 msgexchange-v2 的术语，对外接口约定（`C-x`）、前提条件（`PRE-x`）、系统不变量（`INV-x`）、声明边界（`CLM-x`）、待确认事项（`Qn`）、已知偏差（`G-NAME`）与验证映射。条款依据 [requirements.md](requirements.md) 与 [architecture.md](architecture.md) 编写；字段联调草案另见 [contracts/interface-contract.md](contracts/interface-contract.md)，对外承诺以本文件为准。
`C-x`、`PRE-x`、`INV-x`、`CLM-x`、`Qn`、`G-NAME` 只在本文件定义；ID 语法见 [README.md](README.md)。
约定条目的标记：
@@ -23,12 +25,12 @@
| 登记 | 本系统在自有 PG 为这条报文建立处理记录，排队等待处理。 |
| 处理完成 | 该消息已得到处理结果，此后才允许回填与投递（`US-03` AC4）；成功类判据见 `INV-23`、`INV-31` 与架构「主流程」，非法与不支持见 `US-03` AC2。 |
| 回填 | 把处理标记写回信箱行。 |
| 投递 | 读待发事件发 Kafka。 |
| Redis 投影 | 供 `GET /all/flights` 与运营航班显示界面查询的航班数据，内容来自自有 PG 当前态；读写边界见 `INV-24`。 |
| 投递 | 读待发事件，发往 Kafka。 |
| Redis 投影 | 供网页客户端（`GET /all/flights`）查询的航班投影，内容来自自有 PG 当前态；读写边界见 `INV-24`。 |
| 自有 PG | 本系统唯一的业务数据库；航班当前态、管道记录与静态参考数据都在这里。 |
| 权威 | 航班当前态的唯一权威是自有 PG（`INV-11b`）。 |
| 权威 | 航班当前态以自有 PG 为准（`INV-11b`）。 |
| 出站请求 | 经 `COUTMSGS` 发向 AODB 的 `RQRD` 参考数据请求与 `RQFD` 日计划请求，消费方为 CIIMS adapter。 |
| 运营航班显示界面 | Kafka 主题 `msg` 与 `schd` 的消费方，即需求所称网页客户端。 |
| 运营航班显示界面 | 需求所称网页客户端：Kafka 侧称运营航班显示界面，查询侧称网页客户端（`GET /all/flights` / Redis）。 |
| 航班历史 | 已结束航班写入 Elasticsearch 后的副本；写成功后才从实时数据删除。 |
| 静态参考数据 | 13 类基础数据与资源状态，写自有 PG 的独立数据表，admin-api 直接只读。 |
@@ -38,8 +40,8 @@
- **C-3** 信箱编号不复位、不复用、不回退，含表轮换、备份恢复与自增归零。不丢消息依赖这条（`PRE-2`、`PRE-3`）。`（待确认 Q2）`
- **C-4** 报文行不可变：同一业务身份（`SNDR`、`TYPE`、`STYP`、`SEQN`）的重发是同一内容。`（待确认 Q15）`
- **C-5** 处理标记的允许值由库方认可，本系统只在该值集内写入；死信、跳过与回填失败的原因记在自有 PG，不在信箱新增取值。
待确认：允许值的具体取值（`Q7`）。
- **C-5** 处理标记即处理时间列：本系统只写完成时刻、只填空值（`C-15`），不在该列引入状态码等其它语义；死信、跳过与回填失败的原因记在自有 PG。
待确认：处理时间列的列名、类型与可空性（`Q7`）。
- **C-6** 原文的保留期与清除时机由库方定；本系统不承诺清除时间，只要求不早于 `C-7` 的下界。`（待确认 Q7、Q9）`
- **C-7** 保留期下界分两层：回填重试期间信箱行必须仍在、标记列仍为空——`US-10` AC2 的重试需要的是可更新的行，不是原文；处理未完成的消息原文必须仍在——下轮重处理（`US-03` AC3）以原文为依据。`（待确认 Q7、Q9）`
- **C-8** 清除由库方执行；本系统不执行 DDL、不清数据、不写共享历史表（`C-14`）。清除是否需要标记以外的证据，另行确认。`（待确认 Q9）`