docs(gap): 分支覆盖自检 —— 13 条分支本地全部有源行,零差异不是空转

docs/design/gap-set-based-rewrite-plan.md

@@ -288,3 +288,20 @@ WHERE cardinality(COALESCE(rem.remaining_teeth, ARRAY[]::text[])) > 0
 **噪音源**:测试机 `PAC_STALE_SCAN_CRON=0 2 * * *`(画像 stale 扫描)会落在验收中段。
 C/D 相邻,长时间后台负载对两者影响相近,不单边偏袒;若数字明显抖动,重跑 C/D 一对。
 `PAC_INCREMENTAL_CRON=15 8 * * *` 在窗口之外。
+
+### 分支覆盖自检(本地 30K 库,2026-08-30)
+
+「零差异」只有在**每条分支都真的产出过行**时才有意义 —— 一条从没触发的分支两边都返回空,
+差分当然为零,但什么也没证明。本地各分支的源行数:
+
+| 分支 | 源行数 | | 分支 | 源行数 |
+|---|---|---|---|---|
+| ① 治疗家族 | 56,552 | | ⑧ 裸抛光 | 66 |
+| ② 桥类修复 | 8,681 | | ⑨ 病历文本自证 | 4,157 |
+| ③ 缺牙间隙关闭 | 117 | | ⑩ 检查所见修复在位 | 4,628 |
+| ④ 患者拒绝 | 375 | | ⑪ 整颌活动义齿 | 584 |
+| ⑤ 更晚结构诊断 | 153,509 | | ⑫ 正畸减数位(外科拔牙) | 8,344 |
+| ⑥ 建议记录 | 15,440 | | ⑬ 让位编码病种 | 77,083 |
+| ⑦ 复查即治疗 | 1,805 | | | |
+
+13 条全部有料,本地对拍不是空转。测试机数据量 ~20 倍,覆盖只会更足。