fix(processing): 接通 Redis 投影并修正验证缺口

docs/implementation.md

@@ -198,7 +198,7 @@ LIMIT PARAM:msgx.pipeline.backfill-batch
 3. 分批写：跨运营日整包失败；**覆盖范围内**快照缺席航班标删、发删除事件、删 Redis，范围外的不受影响（`INV-7`）。每批同事务写变更 + 事件（`INV-3`）。
 4. 整包成功 → `SUCCEEDED` + 回填意图；留痕在事务外。
 
-字段语义见「航班域」。`RESP` 须匹配开放请求，否则不更新（`G-RESP-GUARD`）。
+字段语义见「航班域」。`RESP` 须匹配开放请求，否则不更新。
 
 ### 7.2 上游请求与静态数据
 
@@ -283,7 +283,7 @@ PENDING → SENT → DONE
 | 航班历史存储 | 保留期 | — | — | 我们 | `G-FLIGHT-HIST-RETENTION` |
 | `SCHD_SNAP_LOG` | 保留期 | 无（本地可重建） | 无 | 我们 | — |
 | `MSG_EVENT` 已发送行 | `SENT` | 无 | 无 | 我们 | — |
-| `PROC_STATE` 终态行 | 见下 | 无（到期直接删除） | 回填了结 | 我们 | `G-PROC-CLEANUP` |
+| `PROC_STATE` 终态行 | 见下 | 无（到期直接删除） | 回填了结 | 我们 | — |
 | `REQ_TRACK` 关闭态行 | 保留期 | 无 | 无 | 我们 | `G-REQ-TRACK-RETENTION` |
 
 **`PROC_STATE` 清理**（`US-11`）：终态 + `BACKFILL_AT` 非空 + 超保留期（从 `UPDATED_AT` 起）。删除按 `STATE` 条件执行，0 行则跳过（与人工重放互斥）。批量删除不持 `PIPELINE_LOCK`。
@@ -357,7 +357,7 @@ PG 是航班数据源（`INV-5`）；Redis 从 PG 同步，处理完成前写入
 | `ORDINAL` | 从 1 起；单元素多属性（如 `FDIV/@DDES` 与 `FDIV/@DDIR`）各自 `ORDINAL=1`，因 `PATH` 不同而不冲突 |
 | `RAW_VALUE` | 原值 UTF-8 字符串；显式空标签记空串，不省略行 |
 
-写入与航班变更同一 PG 事务：对该 `MSG_ID` 先删后插，重处理结果一致即幂等。清理保留期不含本表（`G-PROC-CLEANUP` 只清 `PROC_STATE`）。
+写入与航班变更同一 PG 事务：对该 `MSG_ID` 先删后插，重处理结果一致即幂等。清理保留期不含本表；`US-11` 只清 `PROC_STATE`。
 
 - `ORDINAL` 是持久化顺序，从 1 开始；`SOURCE_SEQ` 是上游序号，允许为空或重复。
 - 相同资源号不代表同一条分配，禁止按资源号去重。