iter(g333): 留痕门禁补反向校验

.ua/backlog.json

@@ -3383,6 +3383,15 @@
       "motivation": "演示站自己写了二十行主题样板（读 ?theme= 参数、读 localStorage、判系统偏好、写 data-theme、落盘），任何接入方都得再抄一遍——抄漏「跟随系统」就永远停在默认亮色，抄漏「只记显式选择」则用户切过一次就再也不会跟着系统变。这类样板属于库该提供的能力，而不是使用说明里的一段示例。",
       "acceptance": "① 新增 theme(options) 工具（skin 包导出，走 --ua-* 令牌，不新增组件）：优先级 URL 参数 > 本地记忆 > 跟随系统，mode='system' 时监听 prefers-color-scheme 并在变化时换色；② 返回 { mode, dark, set, toggle, dispose }，dark 是可直接绑 switchButton 的布尔信号；③ 只有显式选择才落盘，system 档不写记忆；④ 演示站改用 theme({ storageKey: 'ua-demo-theme' })，删掉原先手写的样板且行为不变（?theme=dark 联动仍在）；⑤ manifest 导出说明补齐，npm run check 全绿。",
       "notes": ""
+    },
+    {
+      "id": "g333",
+      "domain": "tooling",
+      "status": "open",
+      "title": "留痕门禁补反向：提交了却忘写 iterations.log 也要红",
+      "motivation": "现有的交叉校验只有正向：留痕里的哈希必须真实存在且主题指向同一条目。反过来的漏写无人管——某个 iter 提交忘了 ua iter done，日志看起来完全正常（每条都合法），实际少记了一轮产出，周报统计与「停摆了多久」的判断全跟着失真；而人恰恰最容易在赶工时跳过收尾那一步。",
+      "acceptance": "① ua verify 新增反向校验：git 里每个 iter(<id>) 提交的短哈希必须在 iterations.log 出现过，缺失即退出码 1 并指出哈希与主题；② 非迭代提交（feat / chore / docs 等）不受影响；③ 负向自检：造一条空的 iter(g999) 提交后 verify 必须报红，回滚后必须恢复全绿（下一轮可复现）；④ 历史存量零违规（341 条 iter 提交全部有留痕）；⑤ AGENTS 的门禁说明与 verify 成功串同步，npm run check 全绿。",
+      "notes": ""
     }
   ]
 }

packages/tools/cli/bin/ua.js

@@ -1722,7 +1722,7 @@ function cmdVerify() {
     console.error(`${issues.length} violation(s)`);
     process.exit(1);
   }
-  console.log('verify OK (manifest ↔ docs ↔ demo 一致，文档 props ↔ 入参接口双向一致，皮肤无硬编码颜色与未定义令牌、暗色令牌齐全、tokens.json ↔ tokens.css 名字与值双源一致、@keyframes 无复制粘贴的重复帧、滚动容器全在细条规则内，README 组件清单与分组同步，backlog ↔ 留痕一致（编号严格递增、无重复 id、留痕时间线单调且带 +08:00），组合配方结构完整，MCP 工具清单三处一致，搜索同义词表目标存在且无歧义，视觉回归抽查清单十八组件 × 五维度齐全)');
+  console.log('verify OK (manifest ↔ docs ↔ demo 一致，文档 props ↔ 入参接口双向一致，皮肤无硬编码颜色与未定义令牌、暗色令牌齐全、tokens.json ↔ tokens.css 名字与值双源一致、@keyframes 无复制粘贴的重复帧、滚动容器全在细条规则内，README 组件清单与分组同步，backlog ↔ 留痕双向一致（编号严格递增、无重复 id、留痕时间线单调且带 +08:00，每个 iter 提交都有留痕），组合配方结构完整，MCP 工具清单三处一致，搜索同义词表目标存在且无歧义，视觉回归抽查清单十八组件 × 五维度齐全)');
 }
 
 /*** 校验 git 提交信息是否符合 COMMITTING.md 规范（参数为 message 文件路径或直接 message 文本），违规退出码 1 ***/