diff --git a/docs/specification.md b/docs/specification.md
index 634aace..9169a4e 100644
--- a/docs/specification.md
+++ b/docs/specification.md
@@ -16,18 +16,18 @@
 | 术语 | 含义 |
 |---|---|
 | 上游 | 产生报文的 AODB，报文经 CIIMS adapter 写入信箱。 |
-| 信箱 | 共享 MySQL 的 `CMINMSGS`（入站）与 `COUTMSGS`（出站），归库方所有；本系统不建表、不改表结构、不清数据（`C-14`）。读与写的边界见 `C-30`、`C-24`、`C-28`。 |
+| 信箱 | 共享 MySQL 的 `CMINMSGS`（入站）与 `COUTMSGS`（出站），归库方所有；边界见 `C-14`。 |
 | 库方 | 信箱所在的共享 MySQL 管理方，即 CIIMS adapter 方。 |
-| 处理标记 | 即信箱行上的处理时间：为空表示未处理，处理完成时写入完成时刻；只填空值，不回撤、不覆盖。 |
+| 处理标记 | 即信箱行上的处理时间：为空表示未处理，处理完成时写入完成时刻；写规则见 `C-15`。 |
 | 落信 | 报文写入信箱成为一行；入站由 CIIMS adapter 或兼容入口写入，出站由本系统写入 `COUTMSGS`；入站报文写进信箱后可能尚未登记。 |
 | 登记 | 本系统在自有 PG 为这条报文建立处理记录，排队等待处理。 |
-| 处理完成 | 该消息的全部本地副作用已持久化、对外投影（若有）已写成功，此后才允许回填与投递（`US-03` AC4）；各类别的判据见 `INV-23`、`INV-31` 与架构「主流程」。 |
+| 处理完成 | 该消息已得到处理结果，此后才允许回填与投递（`US-03` AC4）；成功类判据见 `INV-23`、`INV-31` 与架构「主流程」，非法与不支持见 `US-03` AC2。 |
 | 回填 | 把处理标记写回信箱行。 |
 | 投递 | 读待发事件发 Kafka。 |
-| Redis 投影 | 供页面与 `GET /all/flights` 查询的航班数据；只由本系统写入和移除，不作权威。 |
+| Redis 投影 | 供 `GET /all/flights` 与运营航班显示界面查询的航班数据，内容来自自有 PG 当前态；读写边界见 `INV-24`。 |
 | 自有 PG | 本系统唯一的业务数据库；航班当前态、管道记录与静态参考数据都在这里。 |
-| 权威 | 航班当前态以自有 PG 为唯一权威，信箱、Redis、Kafka 与展示视图均不作权威。 |
-| 出站请求 | 经 `COUTMSGS` 发向 AODB 的 `RQRD` 参考数据请求与 `RQFD` 日计划请求。 |
+| 权威 | 航班当前态的唯一权威是自有 PG（`INV-11b`）。 |
+| 出站请求 | 经 `COUTMSGS` 发向 AODB 的 `RQRD` 参考数据请求与 `RQFD` 日计划请求，消费方为 CIIMS adapter。 |
 | 运营航班显示界面 | Kafka 主题 `msg` 与 `schd` 的消费方，即需求所称网页客户端。 |
 | 航班历史 | 已结束航班写入 Elasticsearch 后的副本；写成功后才从实时数据删除。 |
 | 静态参考数据 | 13 类基础数据与资源状态，写自有 PG 的独立数据表，admin-api 直接只读。 |