docs: 统一术语、收紧需求验收范围、修正 Q3 归属

- "自有业务数据库" → "自有 PG"，与 specification/architecture 统一
- US-05 AC1 钉死现场 7 类子类型，白名单其余待 Q3 确认后增补
- US-05 AC3 恢复未映射字段唯一键（信箱编号+路径+出现序号）
- US-09 AC1 恢复旧请求作废可观察约束
- implementation.md VIPP/未映射字段去掉误引 Q3（不在 Q3 范围）
- 精简 architecture/requirements 系统定位复述与实现机制泄漏

docs/specification.md

@@ -175,8 +175,8 @@
 | US-03 AC3 | `US-03` AC3 | 失败回滚后消息仍在未完成；已提交结果不被写信箱处理时间或发 Kafka 失败回滚 |
 | INV-2 | `US-10` AC1/AC2 | 终态后才回填；重启后继续，写不上的有记录与告警 |
 | C-9 | `US-08` AC1/AC2/AC3 | `msg` 单条变更、`schd` 批量；失败重试后仍能投出；一直失败的记录保留可查并告警；`msg` 同一 `FLID` 按发送顺序保序（`CLM-3`）；同一条可能多发（`C-9`） |
-| INV-5 | 架构「系统定位与范围」 | 航班当前态的权威写入只在自有 PG |
-| INV-6 | 架构「必须保持的约束」 | `FLID` 唯一 |
+| INV-5 | 架构「数据归属与一致性」 | 航班当前态的权威写入只在自有 PG |
+| INV-6 | implementation.md「权威模型」 | `FLID` 唯一 |
 | US-04 AC2 | `US-04` AC2 | 未携带的字段保持原值 |
 | INV-7 | `US-07` AC2/AC3 | 缺席的航班在 PG 标为已删除并从 Redis 投影移除；未携带的字段被清空 |
 | INV-3 | `US-03` AC4、`US-05` AC4、`US-06` AC1 | 投影写失败时，没有终态与回填意图落库；处理完成前事件不可投递 |