docs(motion): 补位移读口的非穷举口径

④ 的形态清单是实例、不是穷举：穷举口径 = 右值折叠空白后**整段**匹配不上
LITERAL_RHS 者一律看不见（实测同类：.5 / 1_000 / Number(变量) / Math.min(8, y)）。

本笔只动注释：剔掉整行注释后与 dd48d93 的守卫文件逐字节相同（6010 B，机器证明）。

Author: Aparencia

app/src/motion/shift.guard.test.ts

@@ -29,6 +29,8 @@
  *      **右值来自跨文件导入或计算**（`= IMPORTED_PX` / `= BASE * 2`）。另有三条**结构性限度**：
  *      类型标注里含 `=`（如函数类型 `() => void`）会让读口错位 · 缺分号（ASI）的声明会把右值捕到**下一条**
  *      声明的 `;` · 右值里含 `;`（字符串 / 模板串内）会被截断。⇒ 这些面**由评审兜**，本判据不声称覆盖。
+ *      ⚠️ **上表是实例、不是穷举**：穷举口径 = 右值折叠空白后**整段**匹配不上 `LITERAL_RHS` 的一律看不见
+ *      （实测同类的还有 `.5` / `1_000` / `Number(变量)` / `Math.min(8, y)` 这类合法计算式）。
  *   ⑤ **正面口径（不许读成全覆盖）**：本判据只保证「**它看得见的形态必须 ≤ 8px**」——**不是**「所有 TS
  *      形态都被覆盖」。⇒ **有意不做 fail-closed**：非字面量 `_PX` 的**合法**来源包括跨文件导入与计算 ⇒
  *      判红会把合法写法当犯规 = **假阳性**；本仓口径 **判据错杀比漏判更坏**（它会挡住正当改动）——