fix(判据): 两条反向断言"标签比断言宽"——缩回真实范围并记下三条逃逸路（各注变异确认）；overlay 运行期边界进余额

pi 2026-09-14：变异证明的是"我注入的那两条会被抓"，不是"回滚会被抓" —— 对。

1. **标签缩回断言的真实范围**（选 pi 的 (a)）：两条判据原先叫"导航不得变暗 / 不得自叠模糊"，
   实际各只扫了一条路。按 pi 预测的三条逃逸路各注一次变异，**三条全部逃掉**（导航变黑/变模糊，
   判据照样全绿）：`.dark .nav-rail{background-color}`（选择器作用域）、组件 `dark:bg-slate-900`
   （Tailwind 产的不是 `.dark{--nav-}`）、组件 `backdrop-blur-lg`（不在那条选择器下）。
   现在名字就是它们真正断言的东西，**未覆盖的路逐条写在注释里**（含变异表），
   并写明要堵时按文件窄豁免写、别一刀切。
   理由：**标签比断言宽的判据，会在它没测的那条路上被回滚时给绿，而人信的是标签。**

2. **overlay 的运行期边界进余额**（`overlay-follows-app-theme`）：机制依据（`applyTheme →
   setColorMode`、资源按应用配置解析）我认，但它是**运行期**性质、注释里的"未验"没人判 ——
   按我自己刚立的纪律：只活在注释里的边界 = 没人判的边界。到期前提写死：上设备后翻转
   colorMode，断言遮罩跟着「应用」主题变；证伪则改为从应用主题派生，**不是**回双常量。

docs/DEBTS.json

@@ -36,6 +36,12 @@
       "count": 1,
       "due": "有人对上表那格**追认或驳回**「未知 id 显示 aurora 而不是空白」这个方向时（我作为实现者不能自己追认自己）",
       "where": "client/electron/test/CRITERIA.md §10 的『未知的预设 id』行（现为『无人类批准』）"
+    },
+    {
+      "id": "overlay-follows-app-theme",
+      "count": 1,
+      "due": "上设备后**翻转一次 colorMode**（应用深色 / 系统浅色），断言**解析出的遮罩值跟着「应用」主题变、而不是跟「系统」**；真机若证伪，正确修法是「遮罩从应用主题派生」，不是回到双常量",
+      "where": "client/harmony/entry/src/main/ets/common/Theme.ets:58-79 的注释（机制依据：AppearanceStore.applyTheme → app.setColorMode）——**注释不是判据，所以进余额**"
     }
   ]
 }