# DS 瘦身 + 优化审查报告（2026-09-09 · Claude Code 单工具范围）
> 计划：[`2026-09-09-ds-slim-optimize-plan.md`](2026-09-09-ds-slim-optimize-plan.md) · 入口读数：[`2026-09-09-ds-automation-architecture-readings.md`](2026-09-09-ds-automation-architecture-readings.md)
> 每条结论标「查证」或「推断」；所有读数写的是**执行时现取**，⛔ 下一轮别抄，重取。
## 0 一句话
**瘦身只动了 4 份第 1 层适配件（零删除）；三个真缺口各前进一步且都有两侧证据。**
> ~~但「跨产品统一」这个目标在 DS 的最高指导文件里根本没写下来 …… 那才是离「多产品 UX 统一」最远的一块。~~
> 🔴 **owner 2026-09-09 13:34 更正了目标定义，上面这句撤回**（原文见 §4 UX 段）。我把「多产品 UX 统一」读成了
> 「各产品之间要长得一样 / 要跨产品对齐」，而 owner 的意思是「**多个产品都用同一个设计系统**」——
> 不同终端形态的产品不求完全一致，**总体符合 DS 就够**，⛔ 不跨产品取样，无特殊要求时**当前产品的设计规则优先**。
> ⇒ `mockup-conventions.md:2367`「先例搜索止于产品」**是对的，不是缺口**；§4 UX 段那几条读数仍是事实，但重新标注。
## 1 基线与探针读数（查证）
| 项 | 开工时 | 收尾时 |
|---|---|---|
| DS HEAD | `d9cd4aa5` | 见 §7 |
| 棘轮 | `unclassified 36 · gated 47 · nmc 50 · 133` | 不变（本轮未改规则正文） |
| `pnpm test` | `3367 passed / 14 skipped` | 见 §7 |
| `pnpm audit:upstream-gate`（DS 仓） | `no-op PASS` | 仍 `no-op PASS`（artifact 落在 TVU Pack，见 §3.2） |
| 8 个仓 `upstream-gate.*.md` | 全 0 | TVU Pack **1** |
| Stop hook 是否被 harness 尊重 | 「未观测」 | **已观测**（下） |
**Stop hook 无头探针**（scratch 项目 · 探针 Stop hook 首次 `exit 2` · `claude -p --model haiku`）：
Claude Code **2.1.251**（nvm）⇒ Stop 触发 **2 次**、`num_turns 2`、模型按 stderr 回 `PROBE-ACK`、输入含 `stop_hook_active`（首次 `false` / 续行 `true`）。
⇒ ① harness 在 `-p` 模式真的触发 Stop 并尊重 exit 2（docs 只明写 Setup/SessionStart/SessionEnd 在 -p 触发，Stop 靠实测补上）；
② DS `stop-figma-conformance.sh` 头注释「输入**没有** `stop_hook_active`」**是错的** —— docs 逐字有这个字段，实测也有。已订正（DS `1c93c285`）。
⚠️ 本机有两个 claude 二进制：nvm `2.1.251`（交互 / 本探针）与 ServBay `2.1.89`（ds-autofix launchd 用）。探针只证了 2.1.251。
**ds-autofix / ds-metrics 顺手项**：09-09 10:17 那次 run 跑到了 `verdict` 阶段（`exitCode 1`，agent 自陈 needsHuman）⇒ 「仍卡在 pull / 零成功」那句已过期；`ds-dimensions.jsonl` 现 **3 行**，仍不成趋势。
## 2 瘦身账本（每件先标三层位置）
| 件 | 层 | 绑哪个工具 | 动作 | 入链处理 |
|---|---|---|---|---|
| `docs/internal/_prompts/upstream-gate-codex.prompt.md`（74 行） | 1 | Codex（L2 file-prompt） | → `docs/_archive/_prompts/` | 测试注释 · `audit-claude-design-reference-numbers.mjs:41` 注释 · backlog:531 · STATUS-CHANGELOG 两处 ⇒ 全改写为归档路径；`tests/audit-plan-lifecycle.test.ts` 里的同名串是**正则 fixture**不是指针，不动 |
| `docs/internal/_prompts/2026-07-23-ds-merge-phase2-foundation-cards.prompt.md`（92 行） | 1 | Codex（一次性 executor prompt） | → `docs/_archive/_prompts/` | `scripts/lib/foundation-card-template.mjs:6` 改写；契约早已固化进该脚本 |
| `docs/superpowers/specs/2026-07-17-trig-03-…-design.md`（134 行，DEFERRED） | 混合，主体第 1 层跨工具论证 | 跨工具 | → **新建** `docs/_archive/superpowers/specs/` | `tvu-design-pipeline/SKILL.md:12` 防重造指针改写为归档路径（保留其价值） |
| `docs/superpowers/specs/2026-06-25-cross-ai-authoring-gate-design.md`（264 行） | 混合，Part 1 历史诊断 | 跨工具 | → 同上 | 兄弟 spec `:6` 溯源句改写 |
三闸 `stale-anchors / lint-skills / plan-lifecycle` 全绿；零删除。DS `bdb9ae31`。
⚠️ **与 F96 §3 的冲突（如实登记）**：`2026-08-03-infra-f96-plan-spec-lifecycle-design.md:13` 逐字「`specs/` → 无限期保留，不归档、不瘦身」。本轮按 owner 09-09 更新、更具体的范围指令归档了 2 份 spec；F96 §3 要不要加例外属措辞决定 ⇒ decision-queue **Q12**。
**刻意不动的 4 件（都不是「跨不跨工具」一刀切能判的）**：
| 件 | 为什么不动 |
|---|---|
| `docs/internal/upstream-gate-l1-instructions.md`（30 行，claude.ai Project-Instructions） | **硬接线三处**：`export-claude-design-bundle.mjs:77` → bundle `16-upstream-gate.md` · `claude-design-reference-registry.json` "16" · `.husky/pre-commit:247` 编号 gate。claude.ai/design bundle 是在跑的产物通道（`.design-sync/NOTES.md` 892 行），owner 范围指令是「继续 DEFER」不是「拆掉在用的」。30 行收益 ≈ 0，拆 = 动一条活通道 + 两道闸 |
| `docs/docs-site-dx-parity-spec.md`（595 行，「Codex Discipline Spec」） | live 入链 **0**、上位 plan 已归档、自标「将被 Phase C 重写」—— 该归档；**但** §1「五段固定顺序」是**全仓唯一副本**且无机检（`audit-docs-site-readiness.mjs` 不判段序）⇒ 先安置再归档。本轮跳过（「疑不决 → 跳过；漏归档无代价，错归档有代价」） |
| `docs/superpowers/specs/2026-07-09-pillar4-upstream-gate-design.md` | 三层都占：D1/D2（artifact + validator）= 第 2 层，D3 CI 兜底 = 第 3 层；是 schema + validator + L1 + L2 四件的共同设计真源 |
| `docs/internal/icon-naming-convention.md` | 第 2 层规范 + `.husky/pre-commit:388` 硬接线；17 处 Codex 全是反模式点名（「❌ Codex/AI 凭印象语义美化」），不是适配器 |
另核过 **不是适配器** 的一批（AGENTS.md / meta-rules / PROJECT_GOAL 等「本文件适用于 Claude Code / Codex / Cursor」式作用域声明 · `.design-sync` 通道 · `design-walkthrough §5.9` 给 claude.ai 产物做走查 = 消费侧）—— 全部保留。
## 3 三个缺口各做了什么
### 3.1 牙的分布（DS `1c93c285`）
先量：三事件的牙（docs 逐字核 + 实测）
| 事件 | hook | 能不能拦 | 本轮 |
|---|---|---|---|
| UserPromptSubmit | `detect-figma-task.sh` | 能（~~exit 2 会**擦掉用户 prompt**~~ 🔴 **2026-09-10 实测推翻这半个理由**，见 §11.2）⇒ 不该在这拦 | 注入文案点名 `design-review` |
🔴 **订正（2026-09-10，`§11.2`）**：上表 `UserPromptSubmit` 那格的**理由**被实测推翻 ——
`claude -p` 口径下 `exit 2` 的 result 逐字回显 `Original prompt: <原文>` ⇒ **prompt ⛔ 没有被擦掉**。
⚠️ 该格来源标注是「docs 逐字核 + 实测」（`:63`），而 `:69` 只给 Stop 标了「已观测」
⇒ **这一格当时是 docs 读来的、⛔ 没实测**，是一处未标注的口径混写。
⚠️ **⛔ 但结论「不该在这拦」是否跟着翻，lab 不裁** —— 那条结论还有另一个支点
（DS 那条 hook 的用途是**注入起手协议**，注入比阻塞更贴合），本轮没测它。
按 `AGENTS §2.20` 推论四：**只交出两句话的差。**
| PostToolUse | `post-figma-write.sh` | **结构上不能**（docs：工具已跑，`decision:block` 只是标注） | 落「未机检的写」marker |
| Stop / SubagentStop | `stop-figma-conformance.sh` | **能**（已观测） | 补第 ③ 段 |
**补的那块判定面**：没贴过 URL 的 session 可以写一整轮 Figma，post-figma-write 因缺 fileKey 一次机检都没发起，Stop 段 ①②都没东西可挡 ⇒ 静默放行。现在 post-figma-write 每次未机检的写追加一行 `unchecked-writes`，Stop 第 ③ 段消费一次、`exit 2` 点出次数。
两侧证据：新 selftest 7 例（post-figma-write）+ 26 例（stop）全绿；拆掉第 ③ 段 ⇒ **恰好** MH5/MH5′/MH5″ 三例转红，其余 23 例不动；还原 `cmp` 零差异。
**自查（§1.1）**：这不是 C1 新增阻塞闸 —— Stop 阻塞是 owner 2026-09-07 拍 Q6 上线的，本次只补同一条规则（§M-LIFECYCLE 第②时点）的另一个盲区；消费一次 + 不进 CI + 不要凭据。⚠️ 若 owner 判它属 C1，回滚点 = `stop-figma-conformance.sh` 第 ③ 段（selftest MH5 会随之红，那是预期）。
**仍消不掉的（如实）**：PostToolUse 结构上不能拦 Figma 写；`design-review` / `affordance-search` 的 `tools:` 里有 `Bash` ⇒ 「结构性剥夺写权」是**部分的**（`echo > file` 仍可写）—— 已删 settings.json 里 `"Bash(cat >> *)"` 那条无限制追加写的 allow，但 Bash 本身仍是写洞。
### 3.2 upstream-gate 零产出 → 第一次非 no-op（TVU Pack `docs/specs/upstream-gate.v4-2333-transmission-test.md`）
追溯回填 V4-2333（头部两条边界逐字：① 追溯填写、⛔ 不声称流程当时走过；② 验量具、⛔ 不是规则被遵守）。`sources_read` 5 条锚点用 `collectHeadingSlugs` 现算；`competitive` 3 家 2026-09-09 实时检索（agent WebFetch 200；**只有 Teradek Cube 605 公开写有 test pattern generator**，LiveU / Dejero「未在公开资料中找到」，手册站 403 未核 —— ⛔ 不写成「没有」）。
| 跑法 | 结果 |
|---|---|
| `validate-upstream-gate.mjs --repo-root="TVU Pack"` | `✓ 确定层 PASS` · `[SKIP] data_feasibility 无 product-context` · `EXIT=0` |
| 故障 (a) Teradek URL → `example.com` | `EXIT=1` · **恰好** `[competitive[0].url] 占位/示例域名` |
| 故障 (b) 锚点加 `X` | `EXIT=1` · **恰好** `[sources_read: …#1-问题与根因X] heading slug 不存在` |
| 故障 (c) 删 `mvp_scope:` | `EXIT=1` · **恰好** `[schema.mvp_scope] 必填字段缺失或为空` |
🔴 **量具反咬一口（验量具时发现的量具缺陷）**：故障 (a) 第一次跑加了 `--no-network` ⇒ **绿**。原因：`runGate` 的 `else` 分支把整段 URL 检查跳掉，而 URL 格式 / 占位域名判定**不需要网络**（`checkUrl` 在 fetch 之前就判）。⇒ 无网模式下 `example.com` 全绿 = 一个「关于占位符的绿」。修法：`network:false` 只跳可达性，格式 / 占位仍判（收紧，非放宽）；先加红测试再改，见 §7 读数。
DS 仓自己的 `pnpm audit:upstream-gate` **仍 no-op**（artifact 在 TVU Pack）。
**09-09 13:59 owner 追问「你确定这个默认可以吗？自查过靠谱吗？」⇒ 自查后改了方案（如实）**：
我原推荐「纯文档仓不装 CI、DS 本机手工跑」。自查两处不靠谱：① 理由「引入 node 工具链」是**没读** `templates/upstream-gate-workflow.yml` 就写的（碰巧对：它要 `pnpm install --frozen-lockfile` + 把 DS 装成依赖 + GitHub Actions 语法，而 TVU Pack 在 Gitea）；② **漏了仓内已有的正解**：`templates/consumer-product/.githooks/README.md` 逐字「变体 B（Design-only）连 npm/husky 基建都没有。本套 hook 用 git 原生的 `core.hooksPath`…唯一硬依赖是 node」—— 就是为这类仓设计的。
⇒ 落地 TVU Pack `.githooks/pre-commit`（`e9da70a`）：只扫 staged `docs/specs/upstream-gate.*.md`，调 DS validator `--no-network`（刚修的那条让格式 / 占位域名在无网下仍判），DS 仓定位 env > 兄弟目录，node 缺失 / 找不到 DS ⇒ fail-open，`TVU_UPSTREAM_GATE_STRICT=1` 改阻断。**7 例两侧**：合法放行 · `example.com` 拦并点名 · 死锚点拦并点名 · 非 artifact / 模板静默 · node 缺失 fail-open · STRICT 拦。
⇒ 这条从第 1 层（手工 = 自觉）升到第 3 层（git hook），代价是 `core.hooksPath` 每 clone 装一次。
### 3.3 agent 化（DS `91de6018` · `6dc34197`）
先量：pipeline Stage 5 逐字只写 `design-qa-loop Phase 2`，全文无 agent 字样；spawn 指令要跨两跳（`design-qa-loop:60` ⇒ `design-walkthrough:15`「建议」）；**流水线表根本没有 upstream-gate 那一行**（架构读数 §1.1 写有「前置」行是**错的**，已在那份文件上划掉并注明）；`detect-figma-task.sh` 唯一机械 spawn 指令只点名 `affordance-search`；`affordance-search.md:66` 逐字要调 `search_design_system` 而 `tools:` 没有。
做了：① pipeline 表加「前置 · upstream-gate」行，Stage 2 / 5 明写派发只读 `design-review`（场景 C / A+D），auto-fix 留主线；② `design-qa-loop` Phase 1 补执行形态段、F2-late 指回 `persona-simulation`；③ hook 注入点名 `design-review`；④ **新增 `upstream-research` agent**（tools: Read/Grep/Glob/WebSearch/WebFetch，无 Write/Edit/Bash）—— 本轮竞品检索就是用同形态的 subagent 跑的，网页正文没进主线；⑤ `affordance-search` 补两套前缀的 `search_design_system`。
**没做**：新建 persona agent —— `design-review.md:46-47` 场景 C/D 已覆盖 F2，再建一个是第二份会漂的副本。
## 4 四维审查（跨产品那一维引用 09-09 跨产品盘点 agent 的读数，关键行已亲核）
**UX 设计师视角 —— 「多产品视觉 / 交互统一」在 DS 里的真实位置：**
> 🔴 **owner 2026-09-09 逐字**：「跨产品的统一只是希望可以多产品使用同一个设计系统，鉴于历史原因，有些产品属于不同形态，
> 不用完全统一，所以总体符合 DS 设计系统应该就够了，不用跨产品取样，除非有特殊说明和要求，否则应该以当前产品的设计规则为先。」
> ⇒ 下面几条读数**保留为事实**，但结论改标：
> · 「PROJECT_GOAL 零命中『跨产品一致』」⇒ **不是缺口**，目标本来就不是那个。
> · 「规则层禁止跨产品取先例」⇒ **正确的规则**，与 owner 定义一致。
> · 「domain-tvu 12 条语义规则 10 条零机检」⇒ 仍是一条**关于机检覆盖**的读数（这些规则是「符合 DS」的一部分），
> 但它不是「跨产品」问题；要不要上闸各属 C1，按痛感排，⛔ 不再当「最致命」提。
> · 「没有 pattern / recipe 层」⇒ 降为观察，不再作为缺口。
- `docs/PROJECT_GOAL.md` 185 行 grep `一致|统一|跨产品|多个产品|各产品` ⇒ **0 命中**（亲核）。最高指导文件没写这个目标。
- `domain-tvu.md` 12 条跨产品语义规则（M3 红=Live · M4 dark only · M9 literal 动词 · M12 三段式反馈 · M13 恢复态…）只有 **M12 / M17 两条有闸**；**M3「红=Live」在 `scripts/` 零引用**（亲核 `#M3` 零命中）—— 把 Live 画成绿、只要绑了 token 就全绿。
- 规则层**主动禁止**跨产品取先例：`mockup-conventions.md:2367` 逐字「先例的搜索面是两级、且**止于产品**…⛔ 别把搜索面扩到别的产品」（亲核）；`design-process.md:1378`「两者不同时，**产品优先**」。这在「视觉取值」维度是对的，但**「交互语义 / IA 该跨产品对齐」那一半没有任何条文去落**（`domain-tvu.md:207` 自己写「通用的是交互语义…不是像素取值」）。
- 没有 pattern / recipe 层：`figma-component-catalog.md` 852 行全是单组件；`page-recipes.json` 3 条全是页面骨架；「状态指示 / 空态 / 确认弹窗」在两处都无条目。
~~⇒ **对 owner 目标最致命的缺口不在 hook 有没有牙，而在这里** ……~~ **撤回**（见本段顶部 owner 原文）。DS 的「统一」= 原子层（token / 组件 / 图标，有闸）+ 各产品各自符合 DS 规则；不追求语义 / 交互层跨产品对齐。
**产品经理视角**：upstream-gate 自称「最前置、不可静默跳过」却缺席流水线一个月半（已补）；W 档分流只在 Stage 3 前判，前置 gate 该不该按 W 档分档（W1 微调也走竞品检索？）—— 本轮没动，是 C1 取舍。
**项目管理视角**：本机两个 claude 二进制版本不同（launchd 走 2.1.89），hook 契约按 2.1.251 验的；ds-autofix 首次到 verdict 但 needsHuman；ds-dimensions 3 个点仍不成趋势；产品 → fileKey 登记表 `ds-health-mockup-targets.json` 6 条**人工维护**，RPS / NOC / saas-dashboard / host-monitor / TPC-Service 全缺席，它自己的 `$warning` 逐字「漏登记一个 = 静默少测，读起来却像全测了」。
**QA 视角 —— 🔴 09-09 14:00 追加：DS 在 GitHub 上的 CI 连续红 14 次（至少 09-07 起），本轮 5 个 commit 也全红**：
> ⏱ **时效更新（2026-09-14 11:0x 现取，§36.6c）**：**仍在红** —— `gh run list` 最近 **20 次全 failure**，
> 横跨 **09-11 → 09-14**、至少 **15 个不同 sha**。✅ 根因 ① **已修**（`api-diff-patterns.md` 的
> `/Users/nancy` 现取 **0**）；⛔ 本格**未重查**②③ 是否仍是当前红因 ⇒ 登记为未覆盖。
> ⚠️ 同期 **Gitea 侧是绿的**（run 1305 `Successful in 5m12s`）⇒ ⛔ 别把「CI 红」写成不带侧名的断言。
`gh run list` 现取：`CI` workflow 14/14 failure、`Stale Anchors` 6/6 failure、只有 `Source Discipline` 绿。逐 job 看，三个根因：
① `docs/internal/api-diff-patterns.md` 4 个链接写死 `/Users/nancy/…` 绝对路径（2026-04-28 checkpoint 带进来，全仓唯一）⇒ 本机 stale-anchors **假绿**、GitHub 上「目标文件不存在」⇒ Stale Anchors workflow + audit-matrix ×2 三个 job 红。**修法唯一，已改相对路径**（DS 见 §7）。
② `render-gate`：`ERR_INSUFFICIENT_RESOURCES`，482/936 页面打不开；闸自己逐字「这不是 drift，是基础设施失败」；该 job 带 `continue-on-error: true`，不算 workflow 失败。
③ `docs-overflow`：playwright 300s 超时。②③ 是 runner 资源，不是设计系统缺陷；要不要摘阻塞属 C4 ⇒ decision-queue **Q14**。
⇒ 对本轮的含义：我说「7 闸全绿 + 3369 passed」是本机读数，**同一棵树在 GitHub 上是红的**；架构读数 §2 把 CI 归为「真牙」，而恒红的牙咬不到任何人。
唯一同时看多仓的脚本 `ds-health-scan-consumers.mjs:16` 逐字 always exit 0；`audit-product-code.mjs` 单 `--dir` 不能比对两仓；validator `--no-network` 漏判占位域名（本轮修）；两个 selftest 都不在 `pnpm test` 里（`tests/stop-figma-conformance-hook.test.ts` 存在，要看它包不包新例 —— 见 §7）。
## 5 ⛔ 本报告不能说的话
- ⛔ 不许说「瘦身完成」—— 只动了 4 件；2 件（L1 doc · docs-site spec）刻意留，理由在 §2。
- ⛔ 不许说「upstream-gate 链路验过了」—— 验的是**量具能跑**，用的是追溯 artifact；规则有没有被遵守要等第一次真需求。
- ⛔ 不许说「hook 有牙了」—— 只有 Stop 有，且只对 2.1.251 观测过；PostToolUse 结构上永远不能拦。
- ⛔ 不许说「agent 化做完了」—— 接线 + 1 个新 agent；Bash 仍是只读 agent 的写洞。
- ⛔ 不许拿 §4 跨产品那段当规则动手 —— 那是**缺口清单**，每条上闸都是 C1，进队列前先过 §1.1。
## 6 下一轮（按「一次解掉多少」排）
1. **第一次真需求跑优化后的流水线**（owner 拍定顺序）—— 从「前置 · upstream-gate」那一行开始，第一份非追溯 artifact 落消费仓。
2. ~~`PROJECT_GOAL.md` 要不要把「多产品 UX 统一」写成目标~~ **撤回** —— owner 已定义：多产品用同一 DS、不求完全统一、当前产品规则优先。不需要新目标句。
3. M3「红=Live」等 domain-tvu 规则要不要上闸：属 C1，按 owner 痛感排；先量 payload 里状态色 → 语义的可探性。⛔ 不再以「跨产品」为理由提。
4. docs-site spec §1 五段顺序安置后归档；L1 doc 在 claude.ai 通道复审时一并处理。
## 7 收尾读数（2026-09-09 13:21 现取）
| 项 | 值 |
|---|---|
| DS HEAD | **`d506abb9`**（已 push；5 个 commit：`bdb9ae31` 归档 · `1c93c285` Stop 盲区 · `91de6018` pipeline 接线 · `6dc34197` agents · `d506abb9` validator `--no-network`） |
| TVU Pack HEAD | **`38febf3`**（已 push） |
| 7 闸 | `acceptance-gate-coverage · stale-anchors · rule-inventory · doc-shape · gate-mount-declaration · rule-load-map · gate-ci-parity` 全 `EXIT=0` |
| 棘轮 | `unclassified 36 · gated 47 · nmc 50 · 133` —— 与开工时逐字相同（本轮未改规则正文） |
| `pnpm test` | **`3369 passed / 14 skipped`** = 基线 3367 + 2 条新 validator 用例（`network:false` 纯函数 + CLI 占位域名红）；算术对上 |
| validator 修复两侧 | 修前：`--no-network` + `example.com` ⇒ **绿**（`EXIT=0`）；修后 ⇒ `EXIT=1` 且**恰好** `[competitive[0].url] 占位/示例域名`；真 artifact `--no-network` 仍 PASS；先红（1 failed / 30）后绿（51 passed） |
| selftest | `post-figma-write.selftest.sh` 7/7 · `stop-figma-conformance.selftest.sh` 26/26（后者由 `tests/stop-figma-conformance-hook.test.ts` 包进 `pnpm test`） |
| 开工前就脏的两文件 / 两个 stash | 未触碰（`git status` 仍只有那两个 ` M`，`git stash list` 仍 2 条） |
**14:10 追加（owner 拍 Q12 / Q13 后）**
| 项 | 值 |
|---|---|
| DS | `d9e0211c`（F96 §0/§3 例外句）· `ac268217`（`api-diff-patterns.md` 4 个绝对路径改相对）—— 已 push |
| TVU Pack | `e9da70a`（`.githooks/pre-commit` + README，已 push；本机 `core.hooksPath=.githooks` 已配） |
| lab | `e5562c1`（Q12/Q13 关闭 · Q14 新增 · review 追加） |
| 绝对路径修复两侧 | 改后本地 stale-anchors 绿；造故障（改成不存在的绝对路径）⇒ `EXIT=1` 报 3 处；还原 `cmp` 零差异 |
| GitHub CI（`ac268217` / `d9e0211c`） | **两个 commit 都没触发 CI** —— `ci.yml` 的 `on.push.paths` 不含 `docs/internal/*.md`（除 backlog），`stale-anchors.yml` 的 paths 也不含 `api-diff-patterns.md`。⇒ 手动派发 dispatch-only 的 `gates.yml`（跑 prepublishOnly，含 stale-anchors）取两侧证据，结果见下一行 |
| docs-overflow（Q14 ③，owner 14:23「要自动化，不要啥都让我拍板」⇒ 我拍） | 本地实跑 **EXIT=0 · 253s · 零新增页面级溢出**（有 dev server 复用）。根因：`playwright.docs-overflow.config.ts` 注释逐字「~60 navigations (31 pages × 2 viewports)」配 `timeout: 300_000`，现取 `orderedPages` 35 × `VIEWPORTS` 3 = **105** 次导航，预算没跟着长 ⇒ GitHub runner 上 09-04 起 20/20 超时。改 `900_000`（≈3× 本地）；溢出断言未动。**这是时间预算不是判据** ⇒ 不属 C4。DS `200d3fd0` 改的是根 config —— 🔴 **改错了地方**：spec 头注释逐字「⛔ 别去改仓库根的 `playwright.docs-overflow.config.ts`…要加超时请改用本 spec 内的 `test.setTimeout()`」，我没读到那几行就动了根 config。已订正：根 config 回退、超时搬进 spec（DS 见下方 15:0x 追加行）。CI 实证（run 34319761324）：sweep **5m44s 跑完**（预算根因确认修好），但仍红 —— 露出**第二根因**：`KNOWN_CONTENT_LOSS` 表里 `tooltip @390` 那行在 Linux runner 上「no longer fires」、在 mac 上「STILL FIRING」⇒ shrink-only 守卫两机相反。playwright 390 档现取：tooltip 轨道 258 = 容器 258 **没撑破**（表里 `why` 写错），溢出的是 open 气泡 3px、字体度量一变就归零；form 是真欠债（`div.tvu-form` 258 > 224）。修法沿用 owner 08-20 拍的「让 demo 卡自己横滚」往下推一层（≤640 且仅 `--wide` 卡），**卡片级截图眼验**两页（tooltip 气泡文字完整、垂直未裁；form 的「+」改前已被切、改后可滚到），本地重扫两行均「no longer fires」⇒ 照闸点的名删行，表回空，重扫 **EXIT=0（1 passed, known 0/0）**。**⛔ 但提交被 DS 自己的 pre-commit 视觉门拦住**：staged `.css` 需 `VISUAL_COMMIT_APPROVED=1`，规则逐字「AI 仍不得自设本变量：合批减少的是『问几次』，不是『谁来批』」（owner 2026-08-12 裁定）⇒ 我不绕。改动存为 [`docs/assets/2026-09-09-f118-390/f118-remaining-2-fix.patch`](assets/2026-09-09-f118-390/f118-remaining-2-fix.patch)（`git apply --check` 通过），DS 工作树已还原干净。**owner 看同目录 6 张截图后一个字「OK」⇒ `git apply` + `VISUAL_COMMIT_APPROVED=1 git commit` + push + 看 CI 转绿**。这一步是本轮唯一真需要 owner 的：不是判断题，是他立的机制点名要他 |
| docs-overflow 超时订正（15:05） | DS **`0f4c9824`**：根 config 回退到 300s，`test.setTimeout(900_000)` 搬进 spec（按 spec `:69-72` 自己的纪律）；`playwright --list` 能加载；F118 patch 对新树 `git apply --check` 仍通过。CI run 34321964990：sweep **4m07s 跑完**（setTimeout 生效）；`audit-matrix ×2 · framework-parity · a11y` 绿；docs-overflow 红**只在** `tooltip @390` 那行 stale exemption（`content-lost-new=0 · known 1/2`，与预测逐字一致，无新东西）；render-gate 红（runner 资源，`continue-on-error`）。⇒ **owner 对 F118 patch 说一个字后，GitHub CI 的 docs-overflow 即可转绿**；render-gate 是 GitHub 免费 runner 跑不动 936 条渲染验证，与代码无关 |
| ✅ **F118 落地（15:29 owner 签核「OK」）** | 视觉证据改用**起服务给链接**的形态（`python3 -m http.server 8899` + before/after 并排页 + 两个 390px 实时 iframe，页面已入库 `docs/assets/2026-09-09-f118-390/index.html`，给链接前 playwright 亲验 6/6 图加载、两个 iframe innerText 3277/2919）。owner 签核后 `VISUAL_COMMIT_APPROVED=1` 提交 ⇒ DS **`67d4cc10`**（提交前本地全量扫 `EXIT=0`，两表均 0/0）。**CI run 34324549406：workflow conclusion = `success`** —— `docs-overflow ✅`（sweep 5m49s）· `audit-matrix ×2 ✅` · `framework-parity ✅` · `a11y ✅`；render-gate 仍 failure 但带 `continue-on-error` 不计入结论。⇒ **这是 2026-09-04 以来 GitHub CI 第一次整体绿**，Q14 三根因全部闭合 |
| `gates.yml` 手动派发（master @ `ac268217`，run 34318077535） | **audit-matrix (20) ✅ · audit-matrix (22) ✅ · a11y-report ✅ · render-gate ❌**（`467/936 条 entry 连页面都没加载上`，同 Q14 根因 ②）。⇒ 修法唯一那条（绝对路径）让 3 个红 job 转绿 2 个，与预测一致；剩下的红全是 runner 资源，留 Q14 |
| Gitea 侧 CI（DS `origin` = `product-demo.tvustream.com:3001/gitea`，`.gitea/workflows/pr-checks.yml` = 团队真源 host、无 paths 过滤、阻塞） | ~~未能核对~~ **14:30 已核（用 `git push` 在用的本机凭据只读登录网页，⛔ 未打印凭据）**。
🔴 **16:07 更正一个数**：本行原写「Actions 页 30 个 run 里 **29 个红**（最早可见 09-04）」，那个数出自我临时写的 HTML 列表解析器，**该解析器 16:07 被证伪** —— 它对 run 1236 判红，而直接查 run 详情是 `success`。⇒ **「29 连红」作废，⛔ 别再引用**。
**逐个直接查证（`POST …/actions/runs//jobs/0`，可复核）的真实状态**：`1234 d9cd4aa5 failure` · `1235 d506abb9 failure` · `1236 ac268217 **success**` · `1237 200d3fd0 success` · `1238 0f4c9824 success` · `1239 67d4cc10 success`。更早的 run **未逐个直接查证**，⛔ 不下断言。
**没被推翻的那一半（直接查证过，仍成立）**：run 1235 第 7 步 `Design system audits (prepublishOnly gates)` 红，根因就是那 4 个绝对路径（日志逐字 `docs/internal/api-diff-patterns.md:3 … 目标文件不存在`）⇒ **后 22 道闸全部 skipped，含第 28 步「Upstream understanding-analysis gate (支柱④)」**；run 1236（我的修复）**31 步全绿**，upstream-gate 那步第一次真的执行（`no-op PASS`）。⇒ 架构读数 §3「挂 Gitea pr-checks.yml:409 ✅」那行在**至少 1234/1235 两次**上是死的（不是 no-op，是没轮到它）；「从 09-04 起一直如此」**未经查证，作废**。
⚠️ 教训同族 [[verify-the-instrument-before-reading-it]]：我拿一个没验过的解析器出数，还把它写进了报告与队列。 |
## 8 §6 第 1 项已执行：第一份**非追溯** upstream-gate artifact（2026-09-09 17:0x）
**跑的是流水线表「前置 · upstream-gate」那一行，⛔ 不是 Stage 0–7。** 消费仓 = TVU Pack，artifact 落在该仓 **`9d4cf04`**（已 push）。
执行形态按 skill 分工：步骤 1–6 只读 subagent `upstream-research`（无 Write/Edit/Bash），步骤 7 写盘 + validator **留主线**。
⚠️ **需求本身的内容（是哪个单、scope 是什么、判了哪个 W 档）⛔ 不记在这里** —— owner **2026-09-10** 拍定：
消费产品的设计任务归 TVU Pack 项目，**lab 与 DS 两边都不留记录**（见下方 §8.1）。
本节只记**闸与量具自己的读数**，那才是 lab 的产出。
| 读数（现取） | 值 |
|---|---|
| 基线 → 收尾 | TVU Pack artifact **1 份 → 2 份**；`e9da70a` → **`9d4cf04`** |
| validator（带网络，单跑读 EXIT） | 两份均 `✓ 确定层 PASS` · `EXIT=0`；`data_feasibility` 两份都 **SKIP**（本仓无 `docs/product-context.md`） |
| 锚点 | **12 条** `sources_read` 全过；⚠️ 它们不是猜的 —— 动手前用仓库自己的 `collectHeadingSlugs` **算**出来（含中文 + 多重连字符的难例） |
| 两侧证据 | F1 锚点加 X ⇒ 恰好点名该锚点 · F2 删 `mvp_scope` ⇒ 恰好 `[schema.mvp_scope]` · F3 真 URL 换 `example.com` + `--no-network` ⇒ 仍红「占位/示例域名」；三次还原 `cmp` **零差异** |
| git hook | TVU Pack `.githooks/pre-commit` **首次真用**（此前只有 7 例自测）⇒ 提交时自动跑 validator `--no-network` 并放行 |
🔴 **本 gate 第一次真跑就抓到一条缺陷，而且抓的是 agent 自己**：只读 agent 在 `competitive[].url` 里自陈某页 `http: 200`，
**validator 判 `HTTP 403`**，主线用与 validator 同法（`HEAD`→`GET`）**独立复测同为 403** —— 该站拦程序化抓取。
⇒ 换成一个实测 200 的可抓页，**原先靠那条不可复核引用成立的一条论证已在 artifact 内撤销**（撤销动作与理由留在消费仓，⛔ 不搬来这里）。
同族 [[measure-negative-claims-too]] 的反向：**subagent 说「我 fetch 到 200」也是一条要复核的断言**，文字总结不等于证据。
⇒ 这是目前**唯一一条**证明该闸真能拦住东西的实例，本节因此保留。
**§5 那五条「不能说的话」现在的状态**（⛔ 只松动了一条）：
- 「upstream-gate 链路验过了」—— **仍不许说全**。现在可以说的是：**前置那一行在一个真需求上真跑通了、量具在真 artifact 上抓出了真缺陷**；
⛔ 但**规则有没有被遵守**要等 owner review 那 12 条（artifact §6），且 **Stage 0–7 一步没跑**。
- 其余四条（瘦身完成 / hook 有牙 / agent 化做完 / §4 当规则动手）**一字未松**。
**顺带修掉的两件（都由 owner 09-09 从外部复核带回的反馈触发）**：
① `decision-queue.md` ⏳ 表**表头日期过期 + ✅ 行与 ⏳ 行混排** ⇒ 外部读者按行数数出「7 项待拍」，真值 **6**（Q13 同日 13:59 已拍）。已在该文件顶部加读法纪律 + 记下三个根因（第三个记在 agent 头上：读了真源、看到 7 行、没出声对账）。
② **「审计者不该比被审者胖」实测成立**：lab `AGENTS.md` **1275 行 / 124,714 B** vs DS `AGENTS.md` **817 行 / 86,263 B**（DS 连 48 行 `CLAUDE.md` 一起算也才 865 行）⇒ 按行 **1.56×**。
本节因此**刻意追加在既有 review 文件里，不新建长文档**。⏳ **未做**：4 周止损引信（「发现没变成 DS 合并改动 ⇒ 冻结成只跑 sweep」）只做了登记、**机制未落**；
⚠️ 更正它的前件 —— 09-09 当天 DS 实际合并 **13 个 commit**（`af89f008` … `67d4cc10`，`origin/master..master` = **0**）⇒ 「发现不落地」目前**不是**失效模式。
### 8.1 owner 2026-09-10 拍定边界：**消费产品的设计任务不在 lab 也不在 DS 留记录**
**起因**：09-10 早上有人在 **lab 的 cwd 里**发起了一个消费产品的设计任务（要走 `@TVU 设计全流程` Stage 0–8）。
owner 当场问「TVU Pack 的内容怎么会频繁出现在这里？可以把它删了吗」，并拍定三条：
1. **设计执行归 TVU Pack 项目**；lab 只做设计系统的**审查与优化**。
2. 消费产品的设计任务 **⛔ 别记录在 lab 和 DS 上**（逐字）——只能记在那个消费仓里。
3. 已经混进来的按第 2 条清掉。⇒ 本次清的就是上面 §8：**需求内容删掉，闸/量具的读数留下**。
**清理读数（现取，2026-09-10）**：
| 量 | 值 |
|---|---|
| lab 里那个单号的精确串 | 清理前 **1 处**（本文件 §8）→ 清理后 **0 处** |
| lab 里该单号数字部分的其余命中 | **全是假阳**（SVG 路径坐标 · 形如 `1646xx` 的时间戳）—— 逐个看过原文，⛔ 没按 grep 计数下结论 |
| DS 仓里该单号 | **0 处**（本来就没有，无需清理） |
| ⚠️ 自指污染 | 初稿在本表里**写了两次那个单号的字面串**，当场把「清理后 0 处」变成假话 ⇒ 已改为不写字面串。**量自己的登记面时，判定面必须排除本次自己的产物**（`§2.21` 推论二①） |
| lab 里提「TVU Pack」的文件 | **31 个**，⛔ **一个都不动** —— 它们是把 TVU Pack 当**被审消费仓**的读数（扫描面 / 纯文档仓样本 / 追溯 artifact 任务），删了会毁掉真实测量 |
⏳ **一处残留，登记不删，留 owner 定**：`docs/2026-09-09-ds-slim-optimize-plan.md:339/347/362` 与本文件 `:79/:84`
还留着**另一个更早的单**（追溯回填那次）的竞品名与竞品 URL（3 + 5 处）。
按第 2 条它们也算设计任务内容；**但它们同时是造故障验量具的配方原文**
（「把某个真 URL 换成 `example.com` ⇒ 预期 `EXIT=1` 且恰好点名 `[competitive[0].url]`」），
删掉会让那次两侧证据**不可复现**。⇒ ⛔ 本轮不动，两种代价并排摆出，由 owner 拍。
⚠️ **这条边界要靠栏位守，不是靠自觉**（§26 那条纪律）：光写在这里，下一个在 lab cwd 里收到设计任务的 session 还会照做一遍。
⏳ **机制未落**，登记为待办：让 lab 在收到「消费产品设计任务」时能当场识别并退回。
🟡 **2026-09-10 部分推进（见 §10.3）**：拦截 hook 本体 + 两臂自测**已就位并 14/14 通过**，判据在 lab 自己
**452 条真实 prompt** 上量过（精确率 3/3、误报 0）。🔴 **但接线（`.claude/settings.json`）被 owner 拒 ⇒ 这个 hook
一次都不会触发 ⇒ 本条 ⛔ 未闭合，边界仍然只靠自觉。** 另有一条未验：`UserPromptSubmit` 的 `exit 2` 与
`additionalContext` 是 **harness 契约**，只在离线喂 JSON 层面验过，⛔ 没在真 harness 里跑过。
⚠️ 并订正本节上文一处：「09-10 早上有人发起了**一个**」实测跨 **3 个 session**，
但其中 `e75e0e7f`（09-09）正是 §6 第 1 项 owner 拍定的顺序 ⇒ **落在边界之后的是 2 条**（§10.3 第 3 条）。
### 8.2 ~~顺带量到一个 DS 基础设施缺口~~ 🔴 **撤回「新发现」这个定性 —— DS 早已登记为 `PLUGIN-001`**
我把「消费仓派不出只读 agent」写成了本轮新发现。**它不是。**
DS 已于 **`a9360196`（2026-09-09 16:59）** 立为 backlog **`PLUGIN-001`**，
比 lab 那次收尾提交（`e18f9a6`，17:06）**早 7 分钟**，而 lab 从头到尾零处登记。
⇒ **`lab:N56` 又一次**：不是「对方没做」，是「**我不知道对方已经做了**」。
**根因**：起手没跑 DS HEAD 漂移核对 —— DS 自 lab 上次记的 `67d4cc10` 已 **+4 个 commit**，
而 §9 只覆盖了其中 3 个，`a9360196` **整条漏登**。
**DS 那条比我的丰**（⇒ 按「消除双真源前先比丰度」，lab **不留并行副本**，本节只留指针 + 我方独立复现）：
| | DS `PLUGIN-001` | 我原来写的 |
|---|---|---|
| agents 到不了消费仓 | ✅ | ✅ |
| **4 个 hook 同样到不了** | ✅ | ❌ 漏了 |
| 点明「agent 的 tools 白名单是这条保证**唯一的机制层**，skill 正文只是给读者的约定」 | ✅ | 说了后果、没点到这一层 |
| 修法两条 + 估时（① agents 纳入 plugin 分发 ② hooks 独立评估，⛔ 别捆一起发） | ✅ | 只提了 per-repo symlink，**层级更低** |
🔴 **并撤回其中一句口径错的**：我原写「`templates/consumer-product/` scaffold 模板整个没有 `.claude/`
⇒ 新接入的消费仓结构上也拿不到」。**该目录是 runbook 文档**（`SETUP_GUIDE.md` / `PROJECT_STRUCTURE.md`），
**⛔ 不是分发机制** —— 真机制是 `scripts/setup-consumer.sh`，而 DS 条目已逐字点名它「只 symlink `skills` + `vocabulary.md`」。
⇒ **我的读数错、对方的对**。同族 §18.7：⛔「我数出 X、他说 Y、所以他漏了」在证完自己的装置之前不是一条发现。
**唯一真属我方新增的一格（保留）**：**第二个消费仓的独立复现** ——
DS 实证仓是 `tvu-saas-dashboard`，我实证的是另一个消费仓，形态相同；
另加两层 DS 条目未提的排除面：`~/.claude/agents/` **不存在** · 已装插件里**无 TVU 插件**。
⇒ 记进 `PLUGIN-001` 是对的落点，**⛔ 不在 lab 另开一条**。
⚠️ **诚实边界**：以上是**结构读数**，我没真在消费仓 cwd 起过 session 实测其 agent 列表 —— ⛔ 别读成已实测。
### 8.3 由此做的第一件 DS 优化：清掉两道活闸头注释里一条**已假 6 天**的否定结论
**结论先行**：`scripts/audit-mockup-variant-axis.mjs` 与 `scripts/mockup-rules/variant-axis.mjs`
两处头注释逐字写着 `detectFrameTheme`「只有文档伪代码、**零实现**」+「要覆盖它，前置是把它落成真实现
—— **属独立立项**」。**那两句都已不成立**，而它们正是下一个读者的入口。
| 时间 | commit | 事 |
|---|---|---|
| 09-02 09:41 | `2541423f` | 写下那两句 —— **当时为真** |
| 09-03 18:27 | `830fea76` | `detect-frame-theme.mjs` 落成真实现 ⇒ 那两句起假 |
| 09-09 17:44 | `10b389ac` | DS 订正了 `mockup-conventions.md` 里的同一句 —— **没到这两个脚本** |
| 09-10 | 本轮 | 补订正两处 + 补立那个从未真立过的项 |
**现取读数**：`detect-frame-theme.mjs` = **289 行 / 15 个导出**，含专为接闸预留的
`detectFrameThemeForGate()` 与 `GATE_ARM_DEFAULT='strict'`；`tests/DetectFrameTheme.test.ts`
**54 项实跑全过**（⛔ 换了实现范式：`npx vitest run`，不是数 `it(` 字面量）。
⚠️ **⛔ 但盲区没消失，只是理由换了**：该闸**至今零调用** `detectFrameTheme` ——
全仓 3 处提及**全是注释**（§3.3「判据是调用位置，不是文件里提到过」：按 grep 计数会读成「已有 3 个调用方」）。
⇒ 从「**没有实现**」变成「**有实现但未接线**」：前者读起来是「做不到」，后者是「没做」，**⛔ 不可互相顶替**。
**并补了那次立项**：注释里那句「属独立立项」**从未真的立过**（建条前全文 grep DS `backlog.md`，
`detectFrameTheme` / `M23.18` **零命中**）⇒ 新建 **`INFRA-F146`**。
⚠️ 编号不是猜的：`RULE-*` 前缀**不在** backlog 头部枚举的体系内（发明新前缀属「往真源发明新格式」，⛔ 不自拍），
改用既有 `INFRA-F*`；号由**仓库自己的撞号闸**判，⛔ 不靠我 grep。
**两侧证据（⛔ 绿一次不算验证）**：故障臂 —— 注入一条重号 `INFRA-F145` ⇒ 撞号闸 **`EXIT=1`**
且**逐字点名**我注入的那一行（`30:` ⟂ `65:`）；对照臂 —— 还原后 `EXIT=0` 且输出与注入前**逐字相同**、`cmp` 零差异。
⇒ 这道闸真会拦，它给我的编号背书才作数。
**闸与测试**（单跑读 `$?`、⛔ 不带管道）：`rule-number-collision · doc-shape · stale-anchors ·
gate-mount-declaration · rule-inventory · acceptance-gate-coverage` **六道全 `EXIT=0`**；
`audit-mockup-variant-axis` 14 项 + `audit-rule-number-collision` 13 项 + `DetectFrameTheme` 54 项 **实跑全过**。
⚠️ 两处「绿了但得再看一眼」：撞号闸输出逐字 `backlog.md —— 本次新增 **1**` ⇒ 判定面非空（⛔ 不是没扫到的绿）；
acceptance 闸 `findings: []` 配 `checkedUnits: **132**` ⇒ 分母非零。
⚠️ 还栽了一次小的：`npx vitest run tests/VariantAxis.test.ts` **文件名不存在**，vitest 仍 `EXIT=0` 只跑了另一个文件 ——
⛔ 差点把它读成「variant-axis 回归过了」；真名是 `audit-mockup-variant-axis.test.ts`。
### 8.4 🔴 收尾查 CI：GitHub 侧**已回红**，但那个红**零信息**，且**不是本轮改红的**
§7 那行「**2026-09-04 以来第一次整体绿**（run 34324549406 @ `67d4cc10`）」**已不成立** —— 收尾现取：
| commit | GitHub run | 结论 | 每个 job 的**步骤数** |
|---|---|---|---|
| `67d4cc10`（09-09 15:xx） | 34324549406 | ✅ success | 正常执行 |
| `10b389ac`（09-09 17:44，**DS 侧**） | 34336505039 | ❌ failure | **6 个 job 全 `steps=0`** |
| `806a0a40`（09-09 18:xx，**DS 侧**） | 34339577135 | ❌ failure | `steps=0` |
| **`b0a29689`（09-10，本轮）** | 34429373611 | ❌ failure | **6 个 job 全 `steps=0`**，run 全程 **3 秒** |
**三条可判的**：
1. **⛔ 不是本轮改红的** —— 同一形态在 `10b389ac`（09-09，**早于**本轮）就已出现。
2. **那个红零信息** —— 每个 job `steps=0`、整 run 3 秒 ⇒ **一步都没执行**，包括与本轮改动毫无关系的
`a11y-report` / `framework-parity`。⛔ 它不携带任何关于代码的信息，**⛔ 不得读成「闸红了」**。
⚠️ 这正是本文件 §4 早就登记过的那条病的复发：**恒红的牙咬不到任何人**。
3. **根因未确认** —— `steps=0` 最像配额 / runner 层，但查用量的 API 要 `user` scope（本机 token 没有）
⇒ ⛔ **只记形态，不下根因断言**。
✅ **已闭合（2026-09-10，见 §10.2）**：~~**Gitea 侧一次都没查**~~ —— 已查，**含本轮 `b0a29689` 在内连续 7 个 commit 全绿、每次跑满 5m4s–6m2s**，
且同一量具在故障臂上给出不同值（failure 3m35–3m47s）⇒ **那个绿有判别力，⛔ 不是恒绿**。
⇒ 两台 host 的结论**分开成立且不可互相顶替**：Gitea（团队真源、阻塞）绿；GitHub 红但零信息。
⏳ **仍未得（这是边界不是 TODO）**：Gitea 的**逐步表** —— API v1 结构性无该端点、web 端点被 CSRF 挡住（§10.2 两条都证过）。
⚠️ 同族 [[ci-green-claim-needs-both-hosts]]：本机七闸全绿 + 全量测试通过 **≠ CI 绿**，
而这次连「CI 红」都不能当成代码的信号。
## 9 清零推进一格（2026-09-09 17:1x–18:2x）—— owner 三拍，⛔ 三条全部打回了 lab 起草的框架
**结论先行**：棘轮 `unclassified` **36 → 35**，⛔ 不是靠上闸，是靠**一条规则降级**。
另两段各有了明确下场，但**都没上闸** —— 一段转 B 档等 agent 接闸，一段等 owner 定一个判据形态。
🔴 **本轮最该记的不是那 1 格，是 lab 起草的三条待拍里有两句自己写的假断言，而 owner 的第一次选择正是基于其中一句。**
| 段 | owner 逐字 | 落地 | 棘轮 |
|---|---|---|---|
| `#Canonical`（必产出统一术语表）| 「删掉，并进已有那条」 | DS **`67501c37`** | **36 → 35** |
| `#M23.18`（浅色主题匹配）| 「认：谁盖在上面算谁」 | DS **`10b389ac`** | 未动（接闸未做）|
| `#M-DISCIPLINE.SCOPE`（审计报告要声明扫了什么）| 「B：先拆成两半」 | DS **`806a0a40`** | 未动（拆分不改棘轮）|
### 9.1 两句假断言（都是 lab 自己写进选项描述里的）
| # | 假断言 | 现取实测 |
|---|---|---|
| ① | 「按『文件里有没有列举对象的表或清单』筛 ⇒ 安装指南 / 计划 / spec **自然落选**」 | 该筛选器命中 **366 / 416** 份全仓 tracked `.md` = **88.0%**；安装指南 **4/4** 全留 · 计划 **61/61** 全留 · spec **110/112** 留 ⇒ **不成立**。⚠️ owner 第一次就是照它选的 ⇒ 已带真数字重问 |
| ② | 「`#Canonical` 的效果目标**已被** §M32.2 第 ③ 腿覆盖」 | §M32.2 触发条件逐字「**直接 instance 库组件不触发本条**」⇒ 只管「自己拼 frame + text + rect」那个子集；而 2026-06-01 V4-1865 那三处漂移点（radio option / hint / PRD 正文）**一处都不在其射程内** ⇒ 照字面只删会让那个反例失去全部约束 ⇒ 按 owner 逐字的「**并进**」执行（删产物要求、留纪律与反例、就地写明两者不可互相顶替）|
⇒ 两句都是**主语窄化**（`lab:E50`）：①把「有表/列表」这个**必要条件**当成了**充分条件**；②搬了「同概念不漂移同义词」这句字面、没核那条的射程。
### 9.2 第三条：`#M-DISCIPLINE.SCOPE` 的对象集**从一开始就不是仓库文件**
该验收项原文逐字要求「覆盖哪些对象 + **是否含 instance 子树**」——`instance 子树` 是 **Figma 概念**
⇒ 这条的原生对象是 **Figma 侧走查清单**，lab 一直当成「仓库里任何 `.md` 审计报告」。
真正落盘的只有 `docs/internal/_reports/` **8 份**，且**逐份看标题大多已经声明了对象集**
（`44 个 Figma FLOAT 变量` · `逐条核 Active 14` · `backlog entry「现取判据命令」字段的格式一致性`）
⇒ 先前那个「34 份里只有 4 份合规 ⇒ 30 条违例」**是假分母**（分母来自坏掉的文件名启发式）。
⇒ 拆成 **1a**（Figma 走查清单 ⇒ 产物落 Figma / 对话侧、**结构性无闸**）+ **1b**（那 8 份 `.md`）。
⏳ **1b 上闸还缺一个决定**：判「首行有没有显式声明」用关键词匹配会**误伤** —— 逐字实例
`_reports/2026-09-01-figma-float-variables-owner-diff.md` 标题「**44 个 Figma FLOAT 变量** —— 送 owner 看一眼的 diff」
已声明对象集与基数、却一个关键词都没用 ⇒ 会被判违例。可靠机检只剩「首行按固定写法写」，
而那属**往真源发明新格式** ⇒ owner 决定（队列第 `11` 行）。
> ✅ **2026-09-15 已结案 —— owner 亲自拍了两问，闸已落地**（DS `12dda7c1`）：
> ①「要固定写法」② 形态 = **单段·扫描面**（首个 `>` 块必须有 `**扫描面**：`）。
> ⚠️ 2026-09-11 agent 曾自拍过 ①，本轮**交回 owner 重拍** ⇒ 真源那句禁令**被满足、⛔ 不是被推翻**，
> **⛔ 不留下「agent 可自拍真源格式」的先例**。
> 🔴 **⛔ 但这是部分覆盖**：该段 8 条核查项只覆盖 **1b**，(1a) 结构性无闸、其余 6 条无判据
> ⇒ 自陈刻意省 `[N]`。详见 [`reports/2026-09-15-l14-discipline-scope-1b-gate.md`](../reports/2026-09-15-l14-discipline-scope-1b-gate.md)。
### 9.3 `#M23.18`：判据 09-04 就已入库，⛔ 卡的从来不是「能不能判」
owner 逐字质疑「**为什么是机器判不了？第一个应该可以机判**」——**他对，而且比他想的更强**：
- `scripts/lib/detect-frame-theme.mjs` **2026-09-04 已入库**（引入 commit `830fea76`，subject 逐字
「detectFrameTheme 落成真实现 —— 8481 个真实 frame 逐字段证读数 no-op（⛔ 未接闸）」），
`tests/DetectFrameTheme.test.ts` **54 项**钉住，**零调用方、未接任何闸**。
- 卡的是它头注释点名要 owner 认的**一句语义**（逐字「这是 lab 在替真源改语义，需要 DS owner 明确认可」
「认可之前 ⛔ 不要接闸」）⇒ owner 09-09 逐字「**认：谁盖在上面算谁**」⇒ 前置解除，语义已回写真源。
- ⚠️ 而 lab 09-08 把这一段登记成「机器判不了」，理由只写「luma 算法在 payload 侧可算」——
**说得对，却漏了「实现已经在仓里了」** ⇒ `lab:N56`（知情面分叉）第 N 次。
- ⚠️ 顺带订正一处过期断言：`mockup-conventions.md` 风格轴那节逐字写着
「`detectFrameTheme` … **全仓零实现**（2026-09-02 检索面已跑完）」——**那句是 lab 09-02 写的、
09-04 被自己推翻却没回改**。已就地订正并写明「⛔ 不再差实现，差接闸」。
**⏳ 接闸前两个必须先收窄的（并行只读 agent 量，⚠️ 主线亲验了它三条核心断言，⛔ 未采信文字总结）**：
① **卡识别只有图层名一条信号** —— payload 里零结构化标记，同一概念 ≥7 种写法；实测假阳 **≥5**
（含一个 **3592 字符**正文段落在第 3329 位撞上 `UX delivery`）、假阴 **6–160 未收敛**。
② **兜底选「产品 frame」会循环自证** —— 13 张卡里只 **3** 张靠 `AFTER ·` 严口径找到真产品 frame，
其余走「Section 内最大非卡 FRAME」兜底，其中 **6 次把另一张 navy 注释卡当成了产品 frame**
⇒ 那 6 条绿不算判过，**有效判定分母只有 6**。
⇒ 存量：旧字面算 **1** 条不匹配、已入库实现算 **0** 条，分歧点正是本次认可的那条语义。
### 9.4 两处口径订正（⛔ 别裸用旧数）
| 量 | 既有登记 | 现取 | 处置 |
|---|---|---|---|
| payload 体积 / 份数 | 1.1 GB | **858 MB / 4 份**（`du -sh figma-data/mockup`）| 差因**未证** ⇒ ⛔ 两个数都别裸用 |
| 决策队列 ⏳ 表 | 「字面 7 行，真待拍 6 条」 | Q1-d / Q1-e 转 ✅ + 新增第 `11` 行 ⇒ **真待拍 5** | 表头日期与读法纪律已就地更新 |
⚠️ 并移除了棘轮落地表里**两处**都写着「← 现状」的行（38 与 36，两个都不是现状）——
同族「⛔ 自指读数不许用会漂的词」，现只有 **35** 那一行带该标记。
### 9.5 验证（三次提交各跑一遍）
- 七条必跑闸**单跑读退出码**全 **0**（`acceptance-gate-coverage · stale-anchors · rule-inventory · doc-shape · gate-mount-declaration · rule-load-map · gate-ci-parity`）
- `pnpm test` 三次均 **3369 passed / 14 skipped**，与基线逐位相同（零测试增删）
- **造故障两侧**（`#Canonical` 那次）：对照臂 `EXIT=0` · 故障臂（加回一个 Acceptance 段）`EXIT=1` **恰好 1 条**，
逐字 `[S2] unclassified 36 > BASELINE 35（+1）` · 还原后 `FAULT-INJECT` 残留 **0**、`cmp` 零差异
⇒ **新基线 35 有牙、⛔ 不是恒绿**
- 三次提交均走完整 pre-commit + commit-msg，⛔ 无 `--no-verify`；DS 已 push（`a9360196` → **`806a0a40`**）
- ⚠️ DS 工作树里 `render-coverage-gaps.md` 与 `a11y-token-contrast.json` **开工前就脏**（mtime 09-04 / 09-07）
⇒ ⛔ 未触碰；两个既有 stash 未动；三次提交均用 pathspec 圈定文件、⛔ 无 `add -A`
### 9.6 边界（⛔ 本节不能说的话）
- ⛔ **不许说「清零推进了三段」** —— 上闸 **0** 段，棘轮只动了 **1**，且那 1 来自规则降级。
- ⛔ **不许说「`#M23.18` 已可机检」** —— 判据在仓里、语义已认可，但**零调用方**，且两个前置未收窄。
- ⛔ **不许把那 13 张卡的「0 条违例」当读数用** —— 有效分母 6，卡识别是启发式。
- ⛔ **不许说 1b 的射程已定就等于能上闸** —— 判据形态未定，且关键词方案已实测有假阳。
---
## 10 §8.4 那三件待做（2026-09-10 10:5x–12:0x）
### 10.0 人话摘要（先结论）
三件事，两件有结果、一件卡在一个只有你能点的开关上。
1. **团队那台服务器（Gitea）上的自动检查，其实一直是好的。** 之前只查了 GitHub 那台，看到一片红，
但那个红是"检查压根没跑起来"，不是代码有问题。这次第一次查了团队真正在用的那台：
**最近 4 次提交全部通过，每次跑满 5 分多钟**（真跑了，不是空转）。⇒ **这件事没有要你做的。**
2. **有一条待办我自己两周前就已经把答案量出来了，而我昨天写待办的时候忘了。** 那条待办说
"先决定用哪个档位"，可实际上档位早就定了、理由也写在代码注释里了。同时我把"上了这道检查会有多少
现存设计稿变红"量了出来：**三分之一会红**（59/183）⇒ 不能直接挂成阻塞式检查，得先只报告不阻塞。
⇒ **这条读数顺手挖出一个更重的问题**：那道检查**在现有素材上永远不可能报红**
（它要求"同一页里既有 A 风格又有 B 风格"才报警，而现存素材里 B 风格一个都没有）。
⇒ **所以这道检查已经接上了**（只报告、不阻塞，DS `5d1116f8`）——
这是它在现有素材上"从永远不报警"变成"真能看出问题"的唯一办法。
要不要把它从"只报告"升成"挡住提交"，那一步**是你拍**，我没动。
3. **"消费产品的设计任务不在 lab 做"这条边界，机制写好了但没接上。** 拦截脚本 + 两侧自测已就位、
14 项全过；但把它接进配置那一步**被你拒了**，所以**这条边界现在仍然只靠自觉**。⇒ **要你答一个字**（见 §10.3）。
🔴 **已闭合（2026-09-10 下午，§11）**：契约实测通过后你拍了「接上」⇒ 已接线并在 lab 真 cwd 三臂实测
⇒ **这条边界从「靠自觉」变成「有机制」**。⛔ 但覆盖边界不变，见 §11.4。
### 10.1 起手两件（⛔ 上一轮就是漏了这两步）
| 项 | 读数 |
|---|---|
| DS HEAD 漂移 | lab 上次记 **`b0a29689`** → 现取 **`b0a29689`** ⇒ **零漂移**（⚠️ 收尾另取一次，见 §10.5） |
| 逐个 commit 对账 | `67d4cc10..b0a29689` **5 个**（`a9360196` · `67501c37` · `10b389ac` · `806a0a40` · `b0a29689`）逐个 grep lab `docs/`，**命中文件数均 ≥1** ⇒ **零漏登**（上一轮漏的 `a9360196` 已由 §8.2 补上） |
| ⏳ 表待拍数 | 未标 ✅ 的编号行 **6**，第 `4` 行自陈「已解，仅为对账」⇒ **真待拍 5 条**（`11 · 1 · 2 · 3 · 5`），与表头读法纪律逐字一致，⛔ 无需订正 |
| DS 开工前脏文件 | `docs/internal/render-coverage-gaps.md` · `playground/docs/data/a11y-token-contrast.json` ⇒ ⛔ 全程未触碰 |
### 10.2 第 1 件：Gitea 侧 CI —— 🟢 **首次查到，全绿，且那个绿有判别力**
§8.4 逐字留的 ⏳「**Gitea 侧一次都没查**」现已闭合。
**量具选择本身是一条订正**：上一轮用的是**自己写的 HTML 列表解析器**（09-09 16:07 被证伪，见 §7 末行）。
本轮改走**该实例的正规 API**：`GET /api/v1/repos/ux-team/tvu-design-system/commits//status`
（Gitea **1.22.6**，凭据取自 osxkeychain、与 `git push` 同一份，⛔ 未打印）。
| commit | Gitea `PR Checks / checks (push)` | 时长 |
|---|---|--:|
| `d9cd4aa5` | ❌ failure | 3m47s |
| `d506abb9` | ❌ failure | 3m35s |
| `ac268217` | ✅ success | 5m5s |
| `200d3fd0` | ✅ success | 5m4s |
| `0f4c9824` | ✅ success | 6m2s |
| `67d4cc10` | ✅ success | 5m5s |
| `10b389ac` | ✅ success | 5m8s |
| `806a0a40` | ✅ success | 5m11s |
| 🔴 **`b0a29689`（本轮）** | ✅ **success** | **5m25s** |
**这个绿⛔不是恒绿 —— 同一量具在故障臂上给出不同值**：failure 3m35–3m47s vs success 5m4–6m2s，
差 ~1.5 min（§7 已查证 run 1235 是**第 7 步死 ⇒ 后 22 道闸 skipped**，早停正好解释短那一截）。
**分母（⛔ 绿了要再看一眼）**：`pr-checks.yml` 现取 **1 个 job（`checks`）· 29 个顶层 `- name:` 步骤**
（各缩进层计数 = `{6: 29}`，⛔ 先证了自己的计数器）· **`continue-on-error` 0 处** · **`if:` 条件 0 处**
⇒ **结构上不存在「绿着却有步骤被跳过或被容忍」的可能**，`success` 必然意味着 29 步全跑全过，
其中第 28 步 `Upstream understanding-analysis gate (支柱④)`（`:407-409`）在内。
⚠️ **口径差登记**：§7 写过 run 1236「**31 步**全绿」，静态数是 **29** —— 差 2 是 Gitea UI 自带的
`Set up job` / `Complete job`。⇒ **两个数都对，口径不同**（§2.19 推论四：静态数与实测数不同值时那个差就是线索）。
**⛔ 拿不到的（这是边界，不是 TODO）—— 逐步表**。两条路都堵，且**堵法各自证过**：
- API v1：该实例 swagger 实测 **18 个 actions 端点全是 secrets / variables / runners**，
⛔ **结构性没有** runs / jobs 端点 ⇒ 这不是"我没找到"。
- web 端点（上一轮用的 `POST …/actions/runs//jobs/0`）：basic auth 下**一律 `400 Invalid CSRF token`**。
🔴 **阳性对照证明了这是装置故障而非 run 不存在** —— 对上一轮验过存在的 `run 1236` 同报 400。
完整 web session 也建不起来：登录 `303` + `i_like_gitea` cookie 到手，但 `/actions` 仍 303 回登录页
⇒ keychain 里那份 16 字符是 **git-over-HTTP token**（对 API basic auth 有效、对 web 登录表单无效）。
⚠️ 顺带一处**我自己的装置故障**：`_csrf` 提取初版按 `` 写，
实际是 **hidden input**（`name="_csrf" value="…"`）⇒ 空值差点被读成"页面没有 csrf / 登录失败"。
⇒ **两台 host 的读数现在是分开的、且⛔ 不可互相顶替**（同族 [[ci-green-claim-needs-both-hosts]]）：
**Gitea（团队真源、阻塞、无 paths 过滤）= 绿且有判别力；GitHub = 红但零信息**（§8.4 那三条不变）。
### 10.3 第 3 件：那条边界的机制 —— ⏳ **hook 已就位并两臂验过，但接线被拒 ⇒ 边界仍靠自觉**
§8.1 末尾逐字留的 ⏳「**机制未落**」。本轮做了机制本体，**⛔ 但它现在没生效**。
**产物**：`.claude/hooks/reject-consumer-design-task.sh`（`UserPromptSubmit`，命中即 `exit 2` 退回）
+ `.claude/hooks/reject-consumer-design-task.selftest.sh`（两臂 + 弱档 + 契约，**14/14 通过**）。
**判据不是拍脑袋选的 —— 在 lab 自己的真实 prompt 语料上量过**
（量具 `probes/consumer-task-boundary/measure-classifier-fp.mjs`；语料 = lab cwd 下 **250 份 session
transcript**，排掉 `tool_result` / `system-reminder` / `task-notification` / hook 注入后 **452 条人写 prompt**）：
| 通道 | 命中 | 精确率 | 召回 | 落档 |
|---|--:|---|---|---|
| **臂 B** 流水线唤醒词（`@TVU 设计全流程` / skill 名 / `Stage 0–8`） | **3** | **3/3** · 误报 **0/452** | 3/3 | ✅ **阻塞** |
| **臂 B2** 裸「设计全流程」（不带 TVU 前缀） | 3（同 3 个 session） | 同上 | 3/3 | ⚠️ **降为告警** |
| **臂 A** Figma URL + 写动词（**复用 DS `detect-figma-task.sh` 的正则**） | **0** | — | 🔴 **0/3** | ⚠️ 保留但⛔ 不算证据 |
🔴 **三条要单独记的**：
1. **我原打算"复用 DS 那条已验过的分类器"，实测它对这个用途召回 0** ——
三条真阳**一条都没贴 Figma URL**（走的是 Jira 单号 + 唤醒词）。
⇒ 臂 A 在本语料上**两臂都不响 = 零信息**（§25：只在故障臂红的才是判别器）。
保留它是因为它抓的失效形态（贴着 Figma URL 要改 mockup）真实存在，
**⛔ 但它不构成"本机制已验证"的证据**。
2. **臂 B2 单看读数够格挂阻塞（同 3 个 session、同 0 误报），仍刻意降为告警** ——
理由是一个**语料量不到**的形态：往后任何讨论这条 hook 的 lab 审查 session 都会写下"设计全流程"
⇒ 挂阻塞会把 lab 自己锁在门外，训练出"习惯性设逃生口变量"，
而那正是 `decision-queue.md` C1 判据逐字警告的「**过度上闸不只费时间，是训练绕过**」。
⇒ **分档依据 = 可测的判别力，⛔ 不是"宁严勿松"的直觉。**
3. ⚠️ **§8.1 那句登记要订正**：它逐字写「09-10 早上**有人**发起了**一个**」，实测跨 **3 个 session**
（`00ca8d3d` · `c929be54` · `e75e0e7f`）。⛔ 但**不是 3 次违规** —— `e75e0e7f`（09-09）逐字是
「入口 `@TVU 设计全流程`」，而那**正是 §6 第 1 项 owner 拍定的顺序**，当时边界还没划
⇒ **落在边界之后的是 2 条**。（判"违规"要看动作发生时那条规则在不在，⛔ 不能拿今天的边界回溯昨天。）
**装置自己也栽了一次**：初版误报读数是 **7/500**，其中 **4 条是 ``**（系统写的，⛔ 不是
owner 的话）⇒ 排除面漏了一类，修后 **3/452**。同族 §2.21 推论二②：命中里有一半长得一样 ⇒ 先当假阳查。
🔴 ~~**⏳ 唯一没落地的一步、也是唯一要你答的**~~ **✅ 已闭合（2026-09-10 下午，§11）** —— 下面这段是当时的原文，
保留是因为 §11 的读数正是冲着它去的：把它接进 `.claude/settings.json`（lab 目前**没有**这个文件、
**没有任何 hook**）。写入动作**被你拒了** ⇒ **⛔ 现在这个 hook 一次都不会被触发**，
§8.1 那条边界与本轮之前**没有区别**。要接就是这一段：
```json
{ "hooks": { "UserPromptSubmit": [ { "hooks": [
{ "type": "command", "command": "$CLAUDE_PROJECT_DIR/.claude/hooks/reject-consumer-design-task.sh" }
] } ] } }
```
⚠️ ~~**还有一条我没验的**~~ **✅ 2026-09-10 已实测，见 §11.2（9/9 控制通过）** —— 原文：`UserPromptSubmit` 的 `exit 2` 到底会不会真的挡住 prompt、
`additionalContext` 会不会真的注入 —— 这是 **harness 契约**，我只在**离线喂 JSON** 的层面验过
（14/14 都是直接跑脚本），**⛔ 没在真 harness 里跑过一次**。接线前应先用 scratch 项目 + `claude -p` 实测
（同族 [[measure-negative-claims-too]]：harness 契约几十秒可验，⛔ 别凭记忆假设）。
### 10.4 第 2 件：`INFRA-F146` —— 五行块第 5 行**当场推翻了这条待办的问法**
按纪律跑五行块，**第 5 行救了一次**（`lab:N56` 知情面分叉，本轮第 2 次命中该族）：
```
登记记的： INFRA-F146 建议路径 ① 逐字「先定 arm：模块备了 strict 与非 strict 两档，
接闸走哪档要有判据 —— ⛔ 别默认取 GATE_ARM_DEFAULT 了事」
现取的： 判据**已经存在**，且在被测对象自己身上 —— DS `scripts/lib/detect-frame-theme.mjs`
头注释「两个臂」段（:41-60，含两面实测交换账）+ GATE_ARM_DEFAULT 的 JSDoc（:275-279）；
该文件 grep `说不知道|猜一个|d63-blind-face` = **9 处**
前提还成不成立：**不成立**。「走哪档要有判据」的前件（判据不存在）是假的
它还该做吗：接线该做；**①「先定 arm」这一步不该做** —— 它已经做完了
lab 自己验过没：🔴 **早就验过，而且是 lab 自己付的钱** —— probes/detect-frame-theme/ 约 30 个探针
+ runs/detect-frame-theme/ 17 份读数 + 9 份报告；docs/2026-09-03-d62-preregistration.md:244
逐字把「接进 variant-axis 闸」编号为 **D7**，d63-preregistration.md:14 逐字写
「消费者 = 决定 D7 接哪个臂进 variant-axis 闸的那个人」。
**而我昨天写的那条 entry，17 行里 0 处指向这批读数**（`D6.3`/`d63`/`盲面`/`副臂`/`选臂`/`reports/`/`lab` 七个串全 0 命中）
```
⇒ **已按 §25 推论三回改到对方会读的那份文件**（DS `docs/internal/backlog.md` 的 `INFRA-F146`，
⛔ 不只写进本报告）：① 划掉重写为「arm 已定，接线时**显式传** `arm='strict'` 并指向那两处判据真源，
⛔ 不要重做一轮选臂研究」；③ 补上本轮的存量读数。
**①的实质结论（⛔ 不是"默认值碰巧对"）**：那段注释给的理由是机制性的 ——
「`variant-axis` 已把『没验』当一等公民 ⇒ `unknown` 是**响的**，猜错主题是**静默的**（闸给错族放绿灯）」。
⚠️ 且 `reports/2026-09-03-d63-blind-face.md` §2 逐字提醒 `D63_VERDICT` 那四个字 **⛔ 不能单独引用**：
同批读数把「副臂赢 7 倍」在 B 面削到 3 倍、分子分母都已是个位数。**选臂的人要看那张交换账。**
**③ 存量已量**（量具 `probes/detect-frame-theme/measure-variant-axis-theme-stock.mjs`，
读数 `runs/detect-frame-theme/variant-axis-theme-stock.json`；🔴 **DS 未被写入一个字节**）：
🔴 **订正（2026-09-10 下午，§12.2）—— 口径名标了，但⛔ 没标成分**：这 4 份里**只有 2 份**是
DS 登记的交付面；另外两份是 **TPC 20220519（真实产品文件但未登记为测量目标）** 与
**`figma-file-chunked` 的单元测试 fixture**。⇒ 下表 183 分母的构成是
**登记面 45（24.6%）+ 未登记的 TPC 138（75.4%）+ fixture 1 帧**，
且 `pass 32` **100% 来自 TPC**。⇒ 现取 6 个登记面重量 ⇒ **新红 253/268 = 94.4%、`pass` 全 0**，
**本节「⛔ 不能直接挂阻塞」的结论未被推翻、反而更硬**。详见 §12.3。
**口径名 = 「离线缓存口径」** —— `figma-data/mockup/*.json` **4 份 / 858 MB**（gitignored，只在 owner
主工作树在场 ⇒ 换机器拿到 0 份，量具对此 **fail closed 抛错**而不是报「存量 0」）。⛔ 它**不等于**
「DS 全部交付面」。臂 = `GATE_ARM_DEFAULT`（`strict`）。
| 量 | 严口径 `topFrame` | 宽口径 `allFrame` |
|---|--:|--:|
| 扫到的帧 | 2112 | 58108 |
| **分母**（`checkedUnits > 0`） | **183** | **659** |
| 现行闸报红 | **0** | **0** |
| 🔴 接主题后**新红** | **59（32.2%）** | **173** |
| `unknown` ⇒ 落进闸已有的「没验」档 | **92（50.3%）** | **430** |
| 真通过 | 32（17.5%） | 56 |
⇒ **③ 的答案：⛔ 不能直接挂阻塞。** ⛔ 两口径不并池。
🔴 **顺带量到一条比 `INFRA-F146` 本身更重的**（量具 `probes/detect-frame-theme/diagnose-stock-family-mix.mjs`）：
分母 183 个帧**全部 `lineOnly`** —— `filledOnly` **0** · `both` **0** · line 单元 **297** · **filled 单元 0**。
而现行闸的判据是 `line>0 ∧ filled>0`（两族都非空才红）
⇒ **它的一半在这个面上恒假 ⇒ 该闸在离线缓存口径上结构性恒绿。**
分母 183、`checkedUnits` 297 都非零，**但那个绿不携带信息**（§2.9 推论一「恒真分母稀释」+ §25「恒绿=零信息」，
⚠️ **而这次是 lab 正在审的那道闸**）。
⚠️ **口径纪律，⛔ 别读过头**：这是「**该闸在这个存量面上恒绿**」，**⛔ 不是**「该闸恒绿」——
owner 2026-08-28 撞见的那个真实混用案例说明 `filled` 在真实设计里存在，只是不在这 4 份缓存里。
⇒ 那 **59 条新红没有一条是「混用」**，全是「深色页整页用 line」= 这道闸头注释里逐字写的
「本闸**结构性抓不到**」那个形态。**⇒ 接上主题这一半，是它在这个面上从恒绿变成有牙的唯一途径。**
### 10.4.1 ② 已接线（DS `5d1116f8`）—— report-only，三臂实测
③ 出数后接线不再被阻塞。**「新增 report-only 观察」按 `decision-queue` 自己的 C1 判据
（只管「新增阻塞闸 / 把 report-only 升成阻塞」）⛔ 不属 owner 待拍** ⇒ agent 自己拍。
**落地**：判据真源新增 `findThemeAxisMismatch` + `THEME_EXPECTED_FAMILY`；
规则模块 `variant-axis.mjs:66` **显式传** `arm` 与 `detect`（两个都无默认值、缺任一即 fail closed 抛
—— 为的是逼「选过哪个臂」出现在**调用点**，⛔ 不让它藏在被调方的缺省里）；
`unknown` 送进框架已有的 `unverified` 那一档。
🔴 **`unknown → unverified` 这一步让选臂的理由从纸面变成真的**：选 `strict` 的机制理由是
「`unknown` 是**响的**、猜错主题是**静默的**」，而引擎逐字就有一档
「`unverified` 是独立一档 —— 它们的 exit 0 不等于『验过了』」。⇒ 那个「响」现在有承载物。
**三臂实测（走真闸路径 `--rule variant-axis`，离线零网络）**：
| 臂 | node | `theme` | `expected` | `mismatches` | `unverified` | `exitCode` |
|---|---|---|---|--:|--:|--:|
| **故障臂** 深色页整页 line | `2437:6475` | `dark` | `filled` | **1**（点名 `2437:6480 Splice/Line`）| null | 0 |
| **对照臂** 浅色页整页 line | `3986:11` | `light` | `line` | **0** | null | 0 |
| **`unknown` 臂** | `1562:13704` | `unknown` | `null` | 0 | **1** | 0 |
⇒ 三臂读数**互不相同** ⇒ **判别器成立，⛔ 不是恒红也不是恒绿。**
🔴 ⚠️ **但三臂 `exitCode` 全 0 ⇒ 退出码在这条判据上不携带信息**（report-only 使然）——
判别力在 `themeAxisMismatches` / `unverified` 两个字段上。**⛔ 别拿 exit code 当 ② 的验收**，
也 ⛔ 别把 `exit 0` 读成「族与主题匹配」（`unknown` 臂正好就是 exit 0 + 没验）。
**验证**：测试 14 → **29 项**；`pnpm test` **3384 passed / 14 skipped**（基线 3369 + 15，算术对上）；
八闸 + `shipped-import-closure` + `consumer-contract` 单跑读 `$?` 全 0；`lint:ds` 0；
acceptance 闸 `checkedUnits 132` 且 `unclassified 35 = baseline 35`（棘轮未动）。
🔴 **本轮被 DS 自己的钉子拦下两次，两次都是它们对、我错 —— 如实登记**：
1. **初版用 `~~划线~~` 改 backlog 标题** ⇒ `tests/backlog-entry-id-collision.test.ts:111` 当场红。
它逐字断言「`~~划线标题~~` 这个形态在真源里不存在 —— 所以正则**刻意不为它加剥离分支**」
⇒ 我那么写会破坏 entry ID 识别器的分母口径。
⚠️ **这条钉子的两侧证据是真实发生的、⛔ 不是我补造的**：故障臂 = 我的原标题（1 failed）·
对照臂 = 改后（25 passed）。⇒ 改成「标题写现状 + 正文留原标题痕」。
2. **加 import 后 `shipped-import-closure` 报 1 处缺口**（`variant-axis.mjs` 在 `files[]` 里、
`lib/detect-frame-theme.mjs` 不在 ⇒ 发出去即 `MODULE_NOT_FOUND`）。闸点名二选一且逐字说
「是 consumer-surface 判断不是格式问题」。**从读数定，⛔ 不凭偏好**：`files[]` 已含
`scripts/mockup-rules/*.mjs` 与 conformance 引擎，且 `templates/consumer-product/.githooks/README.md:59`
**逐字教 consumer 跑** `node node_modules/@ux-team/tvu-design-system/scripts/audit-mockup-conformance.mjs`
⇒ 该规则模块是**真 consumer 面** ⇒ 取 (a) 补进 `files[]`；(b)（收窄 pattern）会破坏 consumer 自己的跑法。
该文件**零 import** ⇒ 闭包在此终止。闸读数：**入口 67→68（分母真的涨了 1）· 缺口 1→0**
⇒ ⛔ 不是「没扫到的绿」。
⚠️ **`INFRA-F146` 现在剩什么**：只剩「② 要不要从 report-only 升成阻塞」——
那是 **C1 / C4（自审自批 = 一条不能失败的控制）⇒ ⛔ agent 不自拍**。
**工程部分已做完**，entry 标题与 `现状` 段已回改，⛔ 别再把它读成「等接线」。
🔴 **但它 ⛔ 没有进 `decision-queue.md` 的 ⏳ 表，这是刻意的 —— 下一轮别反射性地把它排进去**：
按该文件 §1.1 自查，进队列的前提之一是「**挡事**」。现状是 **report-only、不挡任何人**；
而且升阻塞之前**必然要先清存量**（59 条新红），⇒ 现在问 owner 等于让他对一个
「还得先做别的事才能执行」的选项拍板。⇒ 正确时机是**存量清到接近 0 之后**，
带着那时的新读数再进队列。（同族纪律：[[dont-queue-what-readings-can-settle]] 的邻居 ——
那条管「读数能定的别问」，这条管「**还不能执行的别问**」。）
⇒ ⏳ 表待拍数**仍是 5 条**，⛔ 未因本轮增加。
**量具自己栽的两次（都被 fail-closed 或先证判定面拦住）**：
1. 解包口径**按 `payload.document` 猜** ⇒ fail-closed 当场抛（真实形态是 `{_meta, file:{document,…}}`）
⇒ 改为**逐字照 DS 真源** `audit-mockup-library-binding.mjs:184-187`（`cached.file ?? cached`）。
2. 严口径**我自己发明成「CANVAS 的直接 FRAME 子节点」** ⇒ 某份缓存 FRAME 父类型分布实测
`{SECTION:1, FRAME:12}`、**CANVAS 直接子 FRAME 一个都没有** ⇒ 严口径恒 0，**而那个 0 长得像「存量 0」**。
⇒ 改为「祖先链上没有另一个 FRAME 的 FRAME」（允许挂 `SECTION`），并把**父类型分布一并输出**让口径可复核。
同族 §2.17 推论一「面的枚举必须穷举」。
3. 两个 **100%**（新红 59 = dark 59 · 通过 32 = light 32）先按 §2.21 推论二②**当假阳查** ⇒
追到底是**单一机制**（存量零 `filled`），⛔ 不是假阳。
**闸与测试**（单跑读 `$?`、⛔ 不带管道，⛔ 均在改了 `backlog.md` 之后）：
`doc-shape · stale-anchors · rule-number-collision · acceptance-gate-coverage` **四道全 `EXIT=0`**。
⚠️ 逐个看了分母，⛔ 不只看绿：撞号闸 `backlog.md —— 本地 28 个 entry ID · 本次新增 0 · 撞号 0`
（**本次新增 0 是对的** —— 本轮只改 `INFRA-F146` 正文、未加新号）；acceptance 闸
`findings: []` 配 `checkedUnits: 132`、`unclassified 35 = baselineUnclassified 35` ⇒ **棘轮未动**；
stale-anchors 逐字「所有锚点目标存在，零孤儿」⇒ 输出**点名了被测对象**，⛔ 不是 no-op 假绿。
### 10.5 收尾读数
| 项 | 值 |
|---|---|
| DS HEAD | **起手 `b0a29689` → 止 `5d1116f8`**（§29 推论五：两栏都要收尾时真取，⛔ 起手值不许写成整格断言）。区间内**只有 lab 自己那 2 个 commit** ⇒ **本格无第三方漂移**（⚠️ 这是本格的读数，⛔ 不是「以后也不会漂」） |
| DS 改动 / 已 push | ① `docs/internal/backlog.md`（`INFRA-F146` 的 ① 与 ③）⇒ **`021809f1`**；② ② 半接线（`audit-mockup-variant-axis.mjs` · `mockup-rules/variant-axis.mjs` · 测试 · `package.json` files[] · backlog 回改）⇒ **`5d1116f8`**（5 files / +341 −28）。均已推 Gitea + GitHub（`origin` 的 push URL 含两者，一次推到两台） |
| DS pre-commit | 走完整链，逐字 `✅ pre-commit gates passed` + `audit:commit-affordance-trace pass`。⚠️ 日志里 `fail` 字样 **291 处全是通过测试里的夹具输出**，⛔ 不是失败（读的是尾部汇总，不是前 2KB） |
| DS 开工前脏的两文件 | ⛔ 全程未触碰；提交用 pathspec 圈定单文件，⛔ 无 `add -A`、⛔ 无 `--no-verify` |
| lab 新增产物 | `probes/detect-frame-theme/measure-variant-axis-theme-stock.mjs` · `probes/detect-frame-theme/diagnose-stock-family-mix.mjs` · `probes/consumer-task-boundary/measure-classifier-fp.mjs` · `.claude/hooks/reject-consumer-design-task.sh` + `.selftest.sh` ⇒ lab `35cf4d0` |
| Gitea CI（本轮两个 commit 都查） | `021809f1` ✅ 5m8s · `5d1116f8` ✅ 5m11s ⇒ 详见 §10.7 |
| ⏳ 仍未落 | ~~**hook 接线**（`.claude/settings.json` 写入被拒）~~ ✅ **§11 已闭合** · ~~**harness 契约未实测**~~ ✅ **§11.2 已闭合** · `INFRA-F146` ② 两臂造故障（接线本轮未做）· ~~真实交付面存量未量（要 Figma token）~~ ✅ **§12 已量 —— 且「要 Figma token」这个前提本身是假的** |
### 10.7 收尾查 CI（本轮两个 commit 都查了，⛔ 不只查最后一个）
| commit | 内容 | Gitea `PR Checks / checks (push)` | 时长 |
|---|---|---|--:|
| `021809f1` | `INFRA-F146` entry 的 ①③ 订正 | ✅ success | **5m8s** |
| `5d1116f8` | ② 接线（含 `package.json` files[]）| ✅ success | **5m11s** |
两个都落在 success 那一档（本轮量到的区间 5m4s–6m2s，failure 档是 3m35–3m47s）⇒ **⛔ 不是空转的绿**。
⚠️ **GitHub 侧 ⛔ 未查** —— §8.4 已判定它的红「零信息、`steps=0`、且不是本轮改红的」，
本轮**没有新证据推翻或坐实它**，⇒ 那三条结论**原样成立**、⛔ 也不因这两次绿而松动。
⚠️ **顺带记一处我自己的装置故障（第 3 次同族）**：等 CI 时写的那个轮询检查用了
`grep -qE "success\||failure\||error\|"` —— ERE 里末尾那个 `\|` 造出一个**空分支** ⇒ **匹配任何行**
⇒ 它在 CI 仍 `pending` 时就打出了 `RESOLVED`。**改用直接现取两个 sha 的 status** 才拿到真读数。
⇒ 同族 [[verify-the-instrument-before-reading-it]]：**「等待/轮询」类装置的终止条件也要验**，
⛔ 别因为它「只是个 while 循环」就跳过 —— 它给出的是一个**会被写进报告的结论**。
### 10.6 ⛔ 本节不能说的话
- ⛔ **不许说「边界已经守住了」** —— ~~hook 没接线，一次都不会触发；~~（2026-09-10 已接线，§11）
**但后半句原样成立**：判据只钉「流水线入口的措辞」，有人说「帮我画个 X 弹窗」它不会响
（召回上限已登记在 hook 头注释边界 ①）。⇒ 正确说法是「**入口那一种形态已有机制**」，⛔ 不是「边界守住了」。
- ⛔ **不许说「Gitea 侧全部历史都绿」** —— 只逐个直接查证了 9 个 commit，更早的**未查**。
- ⛔ **不许说「`variant-axis` 闸是恒绿的」** —— 只在**离线缓存口径**（4 份文件）上恒绿。
- ⛔ **不许说「主题这一半已经上闸了」** —— 它是 **report-only**，`exitCode` 一步没动。
三臂 exit 全 0 ⇒ **退出码在这条判据上不携带信息**，⛔ 别拿它当验收。升阻塞是 C1/C4，owner 拍。
- ⛔ **不许把 ② 的绿读成 ① 的绿（反之亦然）** —— 两条判据互不覆盖，一次跑里可能只有一条报。
- ⛔ **不许说「存量 32.2% 会红」是 DS 的整体状况** —— 那是**离线缓存口径**（4 份文件）的读数。
🔴 **2026-09-10 下午加强（§12.2）**：那 4 份里只有 2 份是登记交付面，另两份是**未登记的 TPC**
与**测试 fixture** ⇒ **32.2% 这个数连「离线缓存口径」都不足以描述它，必须同时标成分。**
- ⛔ **不许说「② 在真实交付面上验过了」** —— 三臂节点都取自那 4 份离线缓存，⛔ 没现取过 Figma。
⚠️ **本条 2026-09-10 下午仍成立**：§12 现取的是**存量分母**，⛔ **不是**在现取节点上重跑那三臂。
- ⛔ **不许把 452 条语料上的「0 误报」读成「这个 hook 不会误伤」** —— 语料是**过去**的 prompt，
且 §10.3 第 2 条那个自锁形态**语料里压根不存在**。
---
## 11 边界 hook 接线闭合（2026-09-10 13:0x–13:3x）
### 11.0 人话摘要（先结论）
**那条「消费产品的设计任务不在 lab 做」的边界，现在真的有机制了 —— 之前只是写在文档里。**
昨天我做好了拦截脚本，但把它接进配置那一步你拒了，所以它一次都没生效过。今天先在一个空白测试项目里
**实测了三件此前只靠"文档这么说"的事**，你看完读数后拍了「接上」：
| 此前的说法 | 今天实测 |
|---|---|
| 命中时能不能真的挡住？ | **能** —— 模型一次都没被调用（零 token） |
| 挡住时你的原话会不会被抹掉？ | **不会** —— 你的原话完整回显给你，不用重打 |
| 不挡的那一档，提醒能不能真的送到我眼前？ | **能** —— 测试里我原样复述出了那段提醒 |
接线后又在 lab 真实目录里跑了一遍三种情况，**三种表现互不相同**（挡住 / 只提醒 / 完全不管），
说明它是真的在分辨，不是一律放行也不是一律拦。
⚠️ **一句要你知道的**：它只认「流水线唤醒词」那一种说法。你直接说「帮我画个弹窗」它**不会响** ——
这是已登记的上限，⛔ 别把它当成边界全守住了。
### 11.1 起手三件
| 项 | 读数 |
|---|---|
| DS HEAD 漂移 | lab 上次记 **`5d1116f8`** → 起手现取 **`5d1116f8`** ⇒ **零漂移** ⇒ **无 commit 需补登**（⚠️ 收尾另取，见 §11.5；`AGENTS §29` 推论五：⛔ 起手值不许写成整格断言） |
| ⏳ 表待拍数 | 未标 ✅ 的编号行 **6**，第 `4` 行自陈「已解，仅为对账」⇒ **真待拍 5 条**（`11 · 1 · 2 · 3 · 5`）⇒ 与 §10.1 一致，⛔ 本轮未增加 |
| DS 开工前脏文件 | `docs/internal/render-coverage-gaps.md` · `playground/docs/data/a11y-token-contrast.json` ⇒ **全程未触碰**（本轮 DS 侧零改动） |
**五行块（接手「hook 接线」这条待做项前）** —— 🔴 **第 5 行又救了一次，本族第 3 次命中**：
```
登记记的： §10.3 逐字「⏳ 唯一没落地的一步…把它接进 .claude/settings.json」
+ §10.5「harness 契约未实测」
现取的： lab `.claude/` 下只有 hooks/ 与 worktrees/，**settings.json 不存在** ⇒ 零 hook
⇒ 登记属实，前提成立
前提还成不成立：成立
它还该做吗：该做，但**⛔ 不能直接做** —— owner 已拒过一次，且契约未验
lab 自己验过没：🔴 **验过一半，而且结论与我昨天写的相反** ——
`docs/2026-09-09-ds-slim-optimize-review.md` §3.1 表格逐字写着
「UserPromptSubmit … 能（exit 2 会**擦掉用户 prompt**）⇒ **不该在这拦**」，
而我昨天做的 hook 正是 UserPromptSubmit + exit 2 拦。
**§10.3 全文 0 处指向 §3.1 那一行。**
```
⇒ 与上一轮 `INFRA-F146` 那次同族（`lab:N56` 知情面分叉），但**这次更重**：
上次是「答案早在 lab 读数里、entry 没指向」，这次是 **lab 自己写过一条与本轮动作方向相反的结论**，
而新写的那一节对它零引用。⇒ 处置见 §3.1 的订正块（**只交出差，⛔ 不裁结论**）。
### 11.2 harness 契约实测 —— 🟢 **两条契约都成立，且顺带推翻 §3.1 那半个理由**
量具 `probes/consumer-task-boundary/harness-contract-probe.sh`（读数 `runs/consumer-task-boundary/harness-contract.json`）。
**设计 = 变量隔离**：三臂用**完全相同的 prompt**，只换 `PROBE_ARM` 环境变量 ⇒ 读数差只能来自 hook 行为。
| 臂 | hook 行为 | `num_turns` | `input_tokens` | 模型输出 |
|---|---|--:|--:|---|
| **对照** `off` | `exit 0`，无输出 | 1 | 10 | `MAGIC-7Q4Z` / `NONE` |
| 🔴 **阻塞** `block` | 写 stderr 后 `exit 2` | **0** | **0** | `UserPromptSubmit operation blocked by hook: …PROBE-STDERR-K9X2…` + **`Original prompt: <原文>`** |
| **注入** `inject` | 输出 `additionalContext` + `exit 0` | 1 | 10 | `MAGIC-7Q4Z` / **`PROBE-INJ-M4T7`** |
**控制 9/9 通过**（6 must-hit + 3 must-not-hit），三条要单独记：
1. 🔴 **`exit 2` 真的挡住** —— `num_turns 0` ∧ `input_tokens 0` ⇒ **模型零调用**，⛔ 不是「模型看到了但没照做」。
2. 🔴 **`additionalContext` 真进模型上下文** —— 注入臂模型复述出了 `PROBE-INJ-M4T7`，
而对照臂输出 `NONE`（MN2 钉住两臂⛔不串台）。
3. 🔴 **prompt ⛔ 没有被擦掉** —— `result` 逐字含 `Original prompt: <原文>`。
⇒ 这一条**推翻了 §3.1 那格的理由**。钉的是**具名事实**（MH6 断言 `Original prompt:` 这个串），
⛔ 不是「跑通了没有」（`AGENTS §3.2` 推论二）。
⚠️ **`exitCode` 在这条判据上不携带信息** —— 三臂 `claude -p` 进程退出码**实测全 0**、`is_error` 全 `false`。
⇒ ⛔ 别拿退出码当验收，判别力在 `num_turns` / `result` 上。**与 §10.4.1 那条同族，本轮第 2 次。**
🔴 **量具自己栽了一次，被 MH1 当场抓到（fail-closed 起手第 2 次兑现价值）**：
落盘版的循环**漏了 `cd` 进 scratch 项目** ⇒ `claude -p` 读的是 **lab 自己的 cwd**（lab 无 `settings.json` ⇒ 零 hook）
⇒ 三臂**全裸跑、result 完全相同**（`MAGIC-7Q4Z / NONE` ×3）。
⚠️ **那是一个"看起来完全合理"的读数** —— 模型照常作答，没有任何报错。
若没有 MH1「hook 必须被调用 3 次」这条控制，它会被读成「**exit 2 不挡、注入也不进**」= **两条契约都不成立**的假读数。
⇒ **第四种 0（命令跑通但装置没接上）**，`AGENTS §2` 那条「先证判定面非空」的又一实例。
（顺带第二处：脚本尾部 `echo PROBE_DIR` 混进 stdout ⇒ 下游 `json.load` 报 `Extra data` ⇒ 已改走 stderr。）
**⛔ 覆盖边界（这是边界，不是 TODO）**：
① 只证 **`claude -p` 无头模式**，⛔ **交互 TUI 模式未测** —— 尤其「exit 2 会不会清掉输入框里已打的字」
这个形态在 `-p` 下**结构上没有对应物**，⛔ 严禁把「prompt 没被擦掉」外推到交互模式。
② 只证本机 **nvm `claude` 2.1.251**；ServBay 那份 **2.1.89 ⛔ 未测**（`AGENTS §2.14`：行为自称必须带环境名）。
③ 逃生口 `LAB_CONSUMER_TASK_ACK=1` **两半各有读数、但未合并实测**：脚本分支由 selftest 14/14 验，
「环境变量进得了 hook 进程」由本探针的 `PROBE_ARM` 三臂切换实证。
⛔ **AI 不得自设该变量**（owner 2026-08-12 对 `VISUAL_COMMIT_APPROVED` 的裁定形态）⇒ 合并那一格**刻意留给人跑**。
### 11.3 接线（owner 2026-09-10 拍「接上」）+ lab 真 cwd 三臂
**owner 逐字选项**：「接上，命中就当场退回（推荐）」。⚠️ 他 09-10 上午拒过同一个写入动作 ——
**差别不在选项，在证据**：上午我只有「离线喂 JSON 14/14」，⛔ 那不证明 harness 会尊重 exit 2。
**产物**：`.claude/settings.json`（lab 此前**没有**这个文件）。挂 `UserPromptSubmit` 一条。
文件内 `$comment` 写死了两条契约读数 + 环境名 + 「⛔ 别拿 exit code 当验收」——
按 `AGENTS §26`：**纪律要有承载它的栏位**，⛔ 不靠下一轮的自觉。
**接线后在 lab 真 cwd 上的三臂**（⚠️ 写了配置 ≠ 接上了，必须在真挂载点上再测一次）：
| 臂 | prompt 形态 | `num_turns` | `input_tokens` | 模型输出 |
|---|---|--:|--:|---|
| **对照** | 普通提问 | 1 | 10 | `OK` / `NO-WARN` |
| **臂 B2**（弱档） | 裸「设计全流程」 | 1 | 10 | `OK` / **`GOT-WARN`** ⇒ 告警真进上下文、**且没挡** |
| 🔴 **臂 B**（阻塞） | `@TVU 设计全流程 帮我给消费产品做一个新的确认弹窗` | **0** | **0** | 退回文案，逐字点名 **`命中通道：臂B(流水线唤醒词)`** |
⇒ **三臂读数互不相同** ⇒ 判别器成立，⛔ 不是恒绿（一律放行）也不是恒红（一律拦）。
⇒ 退回文案**点名了被测对象**（命中通道 + 真源路径 + 逃生口）⇒ ⛔ 不是 no-op 假绿。
### 11.4 ⛔ 本节不能说的话
- ⛔ **不许说「边界已经守住了」** —— 只有「流水线入口措辞」这一种形态有机制。
「帮我画个 X 弹窗」**不会响**（召回上限，hook 头注释边界 ①）；子代理 / 跨 session 续跑 / 文件内容
进来的任务**不覆盖**（边界 ②）；Figma→code 方向**刻意不拦**（边界 ⑤）。
- ⛔ **不许把「prompt 没被擦掉」说成 harness 的普遍行为** —— 只在 **`claude -p` + 2.1.251** 上测过。
- ⛔ **不许说「§3.1『不该在 UserPromptSubmit 拦』已被推翻」** —— 被推翻的是**那半个理由**，
结论还有另一个支点（DS 那条 hook 的用途是注入协议），本轮**没测它**。⇒ 只交出差。
- ⛔ **不许拿 `exit 0` 当「没命中」** —— 三臂进程退出码全 0，退出码在这条上零信息。
- ⛔ **不许说「逃生口验过了」** —— 两半各有读数，合并那一格留给人跑（⛔ AI 不得自设该变量）。
- ⛔ **不许把 452 条语料的「0 误报」读成「不会误伤」** —— 语料是**过去**的 prompt；
⚠️ 而**本轮之后**，lab 里讨论这条 hook 的 session 会越来越多地写下「设计全流程」四个字
⇒ **臂 B2 的告警档命中率会上升**（这是设计使然：它只提醒、不挡）。
🔴 **而臂 B 的同一形态已实测会真挡住，见 §11.5。**
### 11.5 🔴 接线后当场造出来的一条误报：臂 B 会锁住「审查这条 hook 本身」的 session
**⛔ 不是推测，是实测**（`claude -p`，lab 真 cwd，接线后）。prompt 逐字：
> 接 ai-ds-lab 的 DS 审查线。上一轮把「@TVU 设计全流程」这条唤醒词加进了拦截 hook 的臂 B，
> 请核一下那条判据的召回上限。只回 OK。
⇒ **`num_turns 0` / `input_tokens 0`，当场退回**，命中通道 `臂B(流水线唤醒词)`。
**意图是审查、⛔ 不是做设计** ⇒ 这是一条**真误报**。
⚠️ **它正是 §10.3 第 2 条把臂 B2 降为告警的那条理由**（「往后任何讨论这条 hook 的 lab 审查
session 都会写下…⇒ 挂阻塞会把 lab 自己锁在门外」）—— **而当时没有把它应用到臂 B 上**。
⇒ 那条推理**只在带不带 `TVU` 前缀这一点上分档**，而「讨论它的人会引用它的原词」这个机制
**对两个臂同样成立**。
**处置：⛔ 刻意不改判据。**
「加豁免 / 降判据」是 `decision-queue.md` 的 **C4**（放宽任何闸）⇒ 自审自批 = 一条不能失败的控制
⇒ **agent 不自拍**。已如实登记进 hook 头注释边界 ⑥（含重开条件）。
**缓解是实测过的、⛔ 不是设想**：退回时 `result` 逐字回显 `Original prompt: <原文>`
⇒ **原话不丢、不用重打**；退回文案本身点名逃生口。代价 = 一次退回 + 由**人**设 `LAB_CONSUMER_TASK_ACK=1`。
⚠️ **对下一轮的实际影响**：**续跑 prompt 里⛔ 别原样引用那个唤醒词**，否则开局第一句就被自己挡。
---
## 12 第 3 件：真实交付面存量 —— 🔴 **登记的前提是假的，而量出来后 §10.4 那个分母塌了**
### 12.0 人话摘要（先结论）
**昨天写的待办说"这件事要等 Figma 密钥"。密钥一直就在你自己的仓里，能用，对全部 6 个文件都有读取权限。**
量完之后有一个比原问题更重要的发现：
**昨天那个"三分之一的设计稿会变红（59/183）"的分母是脏的。** 那 183 个统计单元里：
| 来源 | 单元数 | 占比 | 它该不该在分母里 |
|---|--:|--:|---|
| 你们**正式登记为测量目标**的产品文件（LCD + Micro Apps） | **45** | 24.6% | ✅ 该 |
| `TPC 20220519` —— 真实产品文件，但**没登记进测量清单** | **138** | 75.4% | ⚠️ 看口径 |
| 一个**单元测试用的假文件** | 0（1 帧） | — | ⛔ 不该 |
**而那 32 个"能通过"的单元，100% 来自没登记的那个 TPC 文件** —— 换句话说，
**在你们正式登记的 6 个产品文件里，浅色页一个都没有、能通过的一个都没有。**
⇒ 拿现取的 6 个登记文件重量一遍：**会变红的从 32% 跳到 94%**（253/268）。
⇒ **昨天"不能直接挂成阻塞式检查"那个结论 ⛔ 没被推翻，反而更硬了。**
⚠️ **另外发现你们的测量清单漏登了一个真实产品文件**（TPC 20220519）——
那份清单自己第一行就写着"这是人工维护的，漏登记 = 静默少测，读起来却像全测了"。这是那句话的一个实例。
### 12.1 五行块 —— 🔴 第 2 行当场推翻登记
```
登记记的： §10.5 逐字「真实交付面存量未量（**要 Figma token**）」
现取的： `FIGMA_TOKEN`（len 45）与 `FIGMA_FILE_KEY` **一直在 DS 自己的 `.env` 里**
（mode 600）。实测 `GET /v1/me` **HTTP 200**（handle: Nancy Zeng）；
对 6 个登记交付面逐个 `GET /v1/files/:key?depth=1` **全部 200** ⇒ 权限全覆盖
前提还成不成立：**不成立** —— 卡点不是 token
它还该做吗：该做，且**现在就能做**（实测拉齐 6 面共 625 MB / 各 23–42 秒）
lab 自己验过没：⛔ 没有 —— lab 此前只在离线缓存上量过（§10.4），本轮首次现取
```
⇒ 与 §11.1 那次同族但**方向相反**：那次是「lab 早验过、登记没指向」，
这次是「**登记写了一个假的阻塞理由**，而没人去核它」。
⚠️ 按 `AGENTS §3.11`/`§3.14`：**「X 不可得」这类否定结论必须多层复核** ——
本轮四层（env / shell 配置 / DS `.env` / DS 脚本读的变量名）里，**第 3 层一击命中**。
⛔ 昨天那句「要 Figma token」是**没扫任何一层**就写下的。
### 12.2 分母口径 —— 三个面互不包含，⛔ 不是子集关系
| 面 | 成员数 | 口径名 |
|---|--:|---|
| **登记交付面**（`docs/internal/ds-health-mockup-targets.json` 的 `targets`） | **6** | DIM-U12 的测量目标清单，**人工维护**（该文件自陈） |
| **离线缓存**（`figma-data/mockup/*.json`，§10.4 用的那个） | **4** | 历史上被扫过的文件 |
| 交集 | **2** | LCD `0054ib0…` · Micro Apps `DtZcMkh…` |
- **登记但无缓存 4 个**：`Config-T` · `PP-2025-2026` · `MH-2026` · `Media Service UR`
- 🔴 **有缓存但未登记 2 个**：
- `xu7H3pp…` = **TPC 20220519**，真实产品文件 —— `product-pattern-index.json` 自己逐字标着
`"product": "(未登记为测量目标)"` ⇒ **targets 清单漏登了它**。
- `jnlIId3…` = **`figma-file-chunked` 的单元测试 fixture**（该模块头注释 `:18` 逐字
「真实 getFile() 产物…切片再拼回」）⇒ **⛔ 根本不是交付面**，却进了 §10.4 的分母。
⇒ 🔴 **§10.4 那个 183 分母的构成**：登记面 **45（24.6%）** + 未登记的 TPC **138（75.4%）** + fixture 1 帧。
⇒ **⛔ 「离线缓存口径」这个名字掩盖了它混了三类东西** —— 名字标了，但没标**成分**。
### 12.3 live-fetch 口径读数（6 个登记交付面，2026-09-10 现取）
量具 `probes/detect-frame-theme/measure-variant-axis-theme-stock.mjs --cache-dir <现取目录>`
（新增 `--cache-dir`；**缺省口径一字未动**，见 §12.4 的 no-op 证明）。
读数 `runs/detect-frame-theme/variant-axis-theme-stock-live.json`（产物内 `surface: "live-fetch"`）。
| 量 | 严口径 `topFrame` | 宽口径 `allFrame` |
|---|--:|--:|
| 扫到的帧 | 3841 | 101693 |
| **分母**（`checkedUnits > 0`） | **268** | **1307** |
| 现行闸报红 | 0 | 0 |
| 🔴 接主题后**新红** | **253（94.4%）** | **825（63.1%）** |
| `unknown` ⇒ 落「没验」档 | 15 | 482 |
| 🔴 **真通过** | **0** | **0** |
**逐文件（严口径）** —— `byTheme` 一并报，让「为什么全红」可复核：
| file | 分母 | 新红 | unknown | pass | `byTheme` |
|---|--:|--:|--:|--:|---|
| `rJJjWWs…` Config-T | 204 | 193 | 11 | 0 | dark 193 / light **0** |
| `0054ib0…` LCD | 37 | 33 | 4 | 0 | dark 33 / light **0** |
| `BvqvqRX…` MH-2026 | 19 | 19 | 0 | 0 | dark 19 / light **0** |
| `DtZcMkh…` Micro Apps | 8 | 8 | 0 | 0 | dark 8 / light **0** |
| `HvU7TXV…` Media Service UR | 0 | 0 | 0 | 0 | — |
| `tmVCFjx…` PP-2025-2026 | 0 | 0 | 0 | 0 | — |
🔴 **两个 100% 与一个 0 先按 `AGENTS §2.21` 推论二②当假阳查，结论是真的**，靠的是
**交叉验证锚**（`AGENTS §27` 推论一：新判据先在已有读数的面上跑）——
两面共有的 2 个 fileKey 读数**逐位相同**：
| fileKey | offline | live |
|---|---|---|
| `0054ib0…` LCD | 37 / 33 / 4 / 0 | **37 / 33 / 4 / 0** |
| `DtZcMkh…` Micro Apps | 8 / 8 / 0 / 0 | **8 / 8 / 0 / 0** |
⇒ 装置正确。**`themePass = 0` 是真的**，且 §10.4 那个 `pass 32` **100% 来自 TPC**（`light 32`）——
**其余每一个文件的 `light` 都是 0。**
⇒ ✅ **§10.4「⛔ 不能直接挂阻塞」这个结论 ⛔ 未被推翻，反而被加强**（32.2% → 94.4%）。
⇒ ✅ 同样被加强的还有那句「**这道闸在这个面上恒绿**」——现行闸在 6 个登记面上 `currentRed` 仍是 **0**。
### 12.4 量具改动的 no-op 证明 + 顺带撞到的一次面漂移
改 `--cache-dir` 后**先证缺省口径读数不变**（`AGENTS §3.14`：改完必须证明 no-op）：
- ✅ **新增字段只有 2 个**：`surface` / `cacheDir`。
- 🔴 **但逐字段比对报 `False`** —— 追查发现**不是我的改动**，是**离线缓存面自己漂了**：
`0054ib0…` 的缓存文件今天 **12:50 被刷新**（89.3 → 91.5 MB · components 482 → 488），
而 §10.4 那组读数 `generatedAt` 是今天 **11:02**。
- ✅ **而判定读数逐位不变**：`183 / 59 / 92 / 32` 与 `659 / 173 / 430 / 56` **两次完全相同**
⇒ ① 我的改动确是 no-op；② 该面的漂移**这一次**没改变结论。
⚠️ **⛔ 不许读成「这个读数稳定」** —— 这是一次观测，`frames` 实际动了（2112 → 2128）。
⚠️ **另一处差点被读成内容差的格式差**：Micro Apps 离线缓存 **402.8 MB** vs 现取 **100.9 MB**（4 倍）。
canonical 归一化（`separators=(',',':')` + `sort_keys`）后是 **98.5 MB vs 100.7 MB（差 2.2%）**
⇒ 🔴 **那 4 倍是 pretty-print 的格式差**。同族 `AGENTS §2.12`「序列化必须 canonical」，
方向相反：那条治「格式差伪装成内容变了」，这条是我差点把它当成**两个面抓的东西不一样**。
### 12.5 ⛔ 本节不能说的话
- ⛔ **不许说「真实交付面已经量完了」** —— 量的是 **targets 清单登记的 6 个**。
该清单**自陈人工维护**，且本轮当场证明它**漏登了 TPC 20220519** ⇒ **6 这个分母本身没被独立证过**
（`AGENTS §29`：分母是对的本身要单独证）。真实交付面 **≥ 7**。
- ⛔ **不许把 94.4% 说成「上闸会红 94%」** —— `variant-axis` 是被 `audit-mockup-conformance`
**按 fileKey 逐稿调用**的规则模块，**不批量扫盘** ⇒ 结构上不存在单一「存量面」。
94.4% 的正确读法是「**未来机检落在这 6 个登记文件上时的红率**」。
- ⛔ **不许说「§10.4 那组读数错了」** —— 它在**它自己声明的口径**（离线缓存 4 份）内是对的，
错的是**没标成分**（混进 1 个未登记文件 + 1 个测试 fixture）。⇒ 该报的是**成分**，不是「错」。
- ⛔ **不许说「light 页在 DS 里不存在」** —— 只在这 6 个登记面上为 0；
TPC 有 32 个，owner 2026-08-28 撞见的混用案例也说明它存在（§10.4 那条口径纪律原样成立）。
- ⛔ **不许说「缓存和现取等价」** —— Micro Apps 缓存快照 `2026-07-17`、Figma 现状 `2026-08-12`
⇒ **落后 26 天**；两面共有的那 2 个 file 读数恰好相同，⛔ 那是**一次观测**，不是等价性证明。
- ⛔ **不许把「token 可得」说成「CI 里也可得」** —— `.env` 是本机 gitignored 文件，
`decision-queue` ⏳ 第 `2` 行（Q6 `wire-ci`）问的正是「要不要把凭据放进 CI secrets」，**那条仍待你拍**。
---
## 13 第 2 件（`INFRA-F146` ②）本轮没做，但 §12 的读数改变了它的排期理由
**⛔ 本轮没有推进它**，理由与 §10.4.1 相同（升阻塞 = C1/C4，⛔ agent 不自拍）。
**但要如实登记一条：§10.4.1 给的那个"什么时候该问 owner"的条件，被本轮读数削弱了。**
§10.4.1 逐字写：「正确时机是**存量清到接近 0 之后**，带着那时的新读数再进队列」。
而 §12.3 实测：在**登记交付面**上新红率是 **94.4%（253/268）**、**真通过 0**。
⇒ 「先清存量」在这个数量级上**⛔ 不是一次清理任务** —— 它等于把 6 个产品文件里
几乎每一个深色页的图标族重画一遍。**那是设计决策，⛔ 不是 agent 能清的活。**
⇒ 也就是说，§10.4.1 那个条件**可能永远不会到达** ⇒ 照它执行的结果是**这条永远不问**。
⚠️ **⛔ 但本轮不据此做任何动作**，理由逐条：
1. ⛔ **不自己拍新形态**（例如"只对新增/改动的帧生效"）—— 那仍是 C1「值不值得上闸」。
2. ⛔ **不反射性地把它排进 ⏳ 表** —— `decision-queue` §1.1 的「挡不挡事」判据没变：
现状是 report-only，**不挡任何人**。
3. ✅ **只做一件事：把那个条件的失效如实写在这里**，让下一格 ⛔ 别再照
「等存量清到接近 0」去排期 —— 那是 `lab:E49`（登记的边界本身已过期）在本仓的又一次。
⇒ **⏳ 表待拍数仍是 5 条，⛔ 本轮未增加。**
---
## 14 收尾读数（2026-09-10 13:4x 现取）
| 项 | 值 |
|---|---|
| **DS HEAD** | **起手 `5d1116f8` → 止 `e7c1bd61`**（`AGENTS §29` 推论五：两栏都在收尾时真取，⛔ 起手值不许写成整格断言）。区间内**只有 lab 自己那 1 个 commit** ⇒ **本格无第三方 commit 漂移** |
| 🔴 **并行 session** | **有** —— session `b8ce4cec…`（cwd = DS）本轮正在跑 `design-process-review` 的截图 + 起了 `serve.py`。DS 工作区新出现的 2 个 untracked html（`playground-dist/` 与 `playground/public/`）是**它的产物** ⇒ ⛔ 全程未触碰、未提交 |
| DS 开工前脏的 2 文件 | `render-coverage-gaps.md` · `a11y-token-contrast.json` ⇒ ⛔ 全程未触碰 |
| DS 提交 | `e7c1bd61`（`docs/internal/backlog.md` 一个文件 / +15 −1）。逐文件 `git add`，⛔ 无 `add -A`、⛔ 无 `--no-verify`。**push 前后各 `git fetch` 核一次 HEAD**（因并行 session） |
| DS pre-commit | 走完整链，尾部逐字 `✅ pre-commit gates passed` + `audit:commit-affordance-trace pass`（⛔ 读的是尾部汇总，不是前 2KB） |
| DS 闸（单跑读 `$?`、⛔ 不带管道） | `doc-shape` · `stale-anchors` · `rule-number-collision` · `acceptance-gate-coverage` **四道全 `EXIT=0`**。⚠️ 逐个看了分母与点名，⛔ 不只看绿：doc-shape 印出 `backlog 210746 B` · stale-anchors 逐字「所有锚点目标存在，零孤儿」 · 撞号闸 `backlog 本地 28 个 entry ID · 本次新增 0 · 撞号 0`（**28 保持 ⇒ 标题识别未被破坏**，即当初没用 `~~划线~~` 改标题那条纪律生效）· acceptance 闸 `checkedUnits 132` 且 `unclassified 35 = baselineUnclassified 35` ⇒ **棘轮未动** |
| **Gitea CI（本轮 DS 就 1 个 commit，已查）** | `e7c1bd61` ✅ **success** · pending `05:40:05Z` → success `05:44:58Z` = **4m53s** |
| lab 提交 | `0019f15`（§11 接线 + 探针 + 读数 + `.claude/settings.json`）· `b40b20a`（§12 + 量具 `--cache-dir` + live 读数）· `180b9fa`（§11.5 误报登记 + §13）⇒ 均已推 Gitea |
| lab CI | **无** —— lab 仓 `.gitea/workflows` 与 `.github/workflows` **都不存在** ⇒ lab 的 commit 不产生 CI run（这是读数，⛔ 不是「没查」） |
| ⏳ 表待拍数 | **5 条**（`11 · 1 · 2 · 3 · 5`）⇒ ⛔ 本轮未增加 |
⚠️ **CI 时长的口径与一处区间更新（`AGENTS §2.14`：读数必须带口径名）**：
「时长」= 最终 `success` 状态的 `created_at` − 最早 `pending` 状态的 `created_at`（Gitea 每次状态变更新建一条 status）。
本次 **4m53s** 落在 §10.2 登记的 success 区间（**5m4s–6m2s**）**下方 11 秒**
⇒ **success 区间下界更新为 4m53s**；仍远离 failure 档（3m35–3m47s，差 ≥66s）
⇒ **判别力不变**，⛔ 但这条区间是滚动的、⛔ 不是常量。
⚠️ **GitHub 侧 ⛔ 未查** —— §8.4 已判定它的红「零信息、`steps=0`、且不是本轮改红的」，
本轮**没有新证据推翻或坐实它** ⇒ 那三条结论原样成立、⛔ 也不因这次绿而松动
（同族 [[ci-green-claim-needs-both-hosts]]：两台 host 的读数分开、⛔ 不可互相顶替）。
### 14.1 本轮量具自己栽的次数（如实登记，⛔ 不只记教训也记有效做法）
| # | 形态 | 被什么抓到 |
|---|---|---|
| 1 | harness 探针落盘版**漏 `cd` 进 scratch 项目** ⇒ 三臂全裸跑、result 完全相同（**第四种 0**） | 🟢 **MH1「hook 必须被调用 3 次」当场抓到** |
| 2 | 探针尾部 `echo PROBE_DIR` 混进 stdout ⇒ 下游 `json.load` 报 `Extra data` | 下游解析失败 |
| 3 | 差点把 Micro Apps **402.8 MB vs 100.9 MB** 读成「两个面抓的东西不一样」 | 🟢 **canonical 归一化后 98.5 vs 100.7 MB（2.2%）⇒ 是 pretty-print 格式差** |
| 4 | 差点把量具改动后的 `False` 读成「我改坏了」 | 🟢 **逐字段 diff ⇒ 是离线缓存面自己漂了（LCD 12:50 被刷新）** |
🟢 **本轮验证有效、以后直接用的三条**：
1. **`--cache-dir` 这类"换面"参数必须让口径进产物本身**（`surface` / `cacheDir` 两个字段），
⛔ 不靠读者记得跑的时候带了什么参数 —— 本轮两个口径的读数因此不可能被并池。
2. **新判据先在已有读数的面上跑**（`AGENTS §27` 推论一）：live 与 offline 共有的 2 个 fileKey
读数**逐位相同** ⇒ 94.4% 与 `pass=0` 这两个「太整齐」的数才敢采信。
3. **接线后当场造一条自己会被误伤的 prompt**（§11.5）——
它在**接线 10 分钟内**就把一条真误报暴露出来了，而 452 条历史语料**结构上量不到它**。
---
## 15 独立证「真实交付面 = 6」这个分母（2026-09-10 13:5x–14:4x）
**预注册**：[`docs/2026-09-10-delivery-surface-denominator-preregistration.md`](2026-09-10-delivery-surface-denominator-preregistration.md)（取数前 commit `1d87f73`，⛔ 取数后一字未改）
**量具**：`metrics/ds-figma-face-registration.mjs`（纯 Node 零依赖）·**读数** `runs/delivery-surface/ds-figma-face-registration.json`
**pin**：DS `e7c1bd61`（⛔ 走 `git archive` 导出树，不读工作区 —— 起手实测工作区 4 个脏文件里 2 个是并行 session 的产物）
### 15.0 人话摘要（先结论）
**你们那份「要测哪些设计稿」的清单登记了 6 个文件。我用三条不看那份清单的路各数了一遍，答案是分层的 ——
差多少完全取决于你问的是哪一个问题。**
| 你问的是 | 数出来 | 比 6 多 |
|---|--:|--:|
| 机器**实际采集过**的产品文件（DS 自己那份 pattern 索引里有几个） | **7** | +1（就是 TPC） |
| 你**自己亲手标注过**「这是产品自有稿、不是设计库」的文件 | **14** | **+8** |
| 仓里被引用到、且现在**真的还在 Figma 上**的产品文件 | **17** | **+11** |
**三件要你知道的：**
1. ✅ **昨天写的「真实交付面 ≥ 7」那句，在「实际采集过」这个口径上是精确对的** —— DS 自己那份
pattern 索引里恰好 7 个文件 = 登记的 6 个 + TPC。那句话没说错，只是**没说是哪个口径**。
2. 🔴 **但你在 2026-08-13/14 亲手标过「产品自有稿」的另外 8 个文件，一个都没被采集过。**
其中 `MH-Lora` **今天还在改**、`PP-Lora` 8 月 24 号改过 —— 它们不是历史遗留。
⚠️ **⛔ 我不是在说这 8 个该测** —— 你当时标的是「这个来源是产品稿还是设计库」，
⛔ 不是「它该不该进测量清单」。这两件事我分开报，该不该测是你的判断。
3. ⚠️ **有两个文件长得几乎一模一样，别看混**：清单里那个 Config-T 是
「Config T ( Local UI ) **v7.7+& 8.0+ 20240220**」（2024 年那版），
而没进清单的是「Config T ( Local UI ) **V7.7&v8.0 20210909**」（2021 年那版）—— 同一产品的两代文件。
### 15.1 五行块（⛔ 已在预注册 §1 落盘，此处只记结果）
- **第 2 行**：登记说「≥ 7」（只算上 TPC 一个），而同一份 `targets` 文件里 owner 已亲手标了
**9 个 `kind=product-file`**，其中 8 个不在 `targets` ⇒ 前提成立，且比登记写的更强。
- 🔴 **第 5 行第 4 次命中**（`lab:N56` 知情面分叉）：lab 2026-09-03 就已用 team/project API
枚举出**整个 Figma 面 234 文件 / 51 project / 2 team**（`probes/detect-frame-theme/enumerate-figma-face.mjs`）。
⚠️ 但那份读数的 `known=14` 是 **lab 自己的盲面登记**（W 面 6 + H 面 8），⛔ **不是** DS 的 `targets` 6
—— **两个数长得像同一个量，⛔ 严禁并池**（`AGENTS §2.4`）。
且该探针**边界 ② 逐字登记了它没做的正是本格这件事**：「它报的是**文件**数，⛔ 不是「产品 mockup 文件」数
—— 判哪些算产品面要另立口径」。
⇒ 诚实读法：**可行性已证（阻碍②已推翻）、分类口径未立** ⇒ 本格立那个口径，
⛔ 不是「lab 已经干过了」、⛔ 也不是「完全没验」。
### 15.2 🔴 H1 判据当场炸了 —— 三种精确形态漏了第四种，且漏掉的是两个真产品文件
预注册 §3 H1 的读数 `x = |(上界 − 精确形态) ∩ Figma 真枚举|`，判定档写死：
`x = 0 ⇒ 穷尽` / `x ≥ 1 ⇒ 🔴 形态漏 ⇒ 逐条列出、补第四种形态、**重跑全部读数**（⛔ 不许只加一句限定词了事）`。
**首跑（仅 F1–F3）`x = 2`** ⇒ 判据炸，逐条如下：
| 漏掉的 key | Figma 真名 | 逐字出处 |
|---|---|---|
| `4nDKKBlQHvkBslebJsQu9o` | A cloud TV Station NOC 20240511 | `docs/internal/STATUS-CHANGELOG.md:8386`「fileKey `4nDKKBlQHvkBslebJsQu9o`」 |
| `pUE6UakxCpU6Dw9vUCtBBe` | TVU RPS 20220302 | `docs/internal/_design-kickoffs/rpsv3-134.md:37`「`pUE6UakxCpU6Dw9vUCtBBe` page …」 |
⇒ **第四形态 = 裸 key 被反引号/引号包住**（⛔ 无 URL、⛔ 非 JSON 字段、⛔ 非对象键）。
补 F4 后 `x = 0`，且 F4 新增的 81 个命中里**只有那 2 个在 Figma 真枚举里** ⇒ 精确命中、⛔ 不是撒网。
🔴 **补形态的代价必须并排登记（⛔ 不是免费的）**：候选面从 **20 → 101**，新增 81 个多是
图标名（`IconActionAddWorkspace`）/ 依赖哈希 / AST 常量 ⇒ **判别负担从「提取层」搬到了「存活层」**
（假阳改由 Figma HTTP 状态码挡，实测 **80 个非 200**）。
⇒ **`n` 自此依赖网络、⛔ 离线不可复现**，这条已写进量具头注释边界。
⇒ 新控制 **MN5 两侧都断言**（`AGENTS §3.2` 推论四：分档 = 两档都断言，⛔ 不是在新形态上放松控制）：
① F4 独占命中里**必须真有**非 200 的（否则存活层从没被行使 ⇒ 它是空判）；② 非 200 一律 ⛔ 不计入 `n`。
⚠️ **`MN1` 未被削弱** —— `ArrayLiteralExpression`（22 字符 AST 常量）在源码里**不带引号**，补 F4 后仍 ∉ 候选面
⇒ 那条「上界有假阳 ∧ 精确形态挡住了它」的钉子原样成立。
⚠️ **F3 自己也撞到一个真假阳**：`notComponentExemptions` 恰好 22 字符、且以 `"key": {` 形态出现在
`figma-data/file-local-fidelity-snapshot.json` ⇒ 落进候选面，**由 live 404 挡住**（分类 `not-a-live-file`）。
### 15.3 四个口径的读数（⛔ 报任何一个都必须带口径名）
| 口径名 | 谁维护 | 成员数 | 边界 |
|---|---|--:|---|
| `targets` | 人工，被验方 | **6** | DIM-U12 的测量目标清单，该文件自陈「漏登记 = 静默少测」 |
| **`pattern-index`**（实际采集过） | 机检产物，被验方 | **7** | 「对本轮测到的每个文件都建，⛔ 这里没有 opt-in 白名单」（该 targets 文件逐字） |
| `sourceLabels` + `targets`（owner 亲笔认定的产品文件） | 人工，被验方，**独立于 targets** | **14** | ⚠️ owner 标的是「来源的性质」，⛔ **不是**「该不该进测量清单」 |
| **`repo-ref ∩ figma-face`**（仓内引用 ∧ Figma 上真实存在） | 机检，本格新立 | **17** | 只扫 pin 上 tracked 文件；只覆盖 owner 两个 team |
**扫描面（`repo-ref`）**：DS `e7c1bd61` 导出树 **5137 个 tracked 文件**，其中
**4633 个文本文件 / 152,680,820 B** 实扫、**504 个含 `NUL` 的二进制跳过并计数**。
**H2 双向夹逼**（`AGENTS §3.7` —— 一个数答不了这个问题）：
下界 `nStrict = 14`（每一条都有 owner 亲笔标注）· 上界 `nWide = 17`（再加 3 个两份人工清单都没标的）。
🔴 **`pattern-index = 7` 这一格是本格最重的读数** —— 它是**第三条互不依赖的路**，
且恰好复现「登记 6 + TPC」⇒ **`backlog:105` 那句「真实交付面 ≥ 7」在「实际采集过」口径上精确成立**。
⇒ ⛔ **该报的不是「那句错了」，是「那句没标口径」**（同 §12.5 对 §10.4 的处置）。
**⚠️ 三个数长得像同一个量，逐条标口径**：`6`（登记的测量目标）· `7`（实际采集过）· `14/17`（存在且被引用）
—— ⛔ 严禁并池，尤其 ⛔ 严禁拿 `7` 去替 `6` 当 §12.3 那个 94.4% 的分母（换分母要重取，⛔ 不许算术外推）。
### 15.4 差额逐条（可实测那半；⛔ 应然那半 lab 不裁）
**A · owner 亲笔标为「产品自有稿」但不在测量清单的 8 个**
（`ownerKind` 一栏**转引自 owner 2026-08-13/08-14 的人工标注**，⛔ 不是 lab 的读数 —— `AGENTS §23` 推论五）：
| Figma 真名（lab 现取） | `lastModified` | project | 仓内引用文件数 / 出现次数 | 采集过？ |
|---|---|---|--:|:--:|
| MH-Lora | **2026-09-10** | MediaHub | 4 / 152 | ⛔ |
| PP-Lora | 2026-08-24 | PRODUCER | 3 / 260 | ⛔ |
| Config T ( Local UI ) V7.7&v8.0 20210909 | 2026-07-06 | TVU One | 6 / 85 | ⛔ |
| TVU Drive | 2026-07-06 | Drive | 3 / 6 | ⛔ |
| Producer 2.0 | 2026-05-12 | PRODUCER | 3 / 21 | ⛔ |
| PL_3 | 2026-05-06 | PARTYLINE | 3 / 10 | ⛔ |
| Producer Admin | 2026-04-09 | PRODUCER | 3 / 27 | ⛔ |
| Sandra-TVU One 20210526 | **2023-03-23** | TVU One | 3 / 11 | ⛔ |
🔴 **8/8 全部未被采集过**。⚠️ 而 `lastModified` 跨度从**今天**到**三年半前** ⇒ **活跃度是一个可实测的分层维度**，
⛔ 但「多久没动就不算交付面」是应然，lab 不定。
**B · 两份人工清单都没标、但真实存在且被仓内引用的 3 个**：
| Figma 真名 | `lastModified` | project | 仓内引用（前三） | 采集过？ |
|---|---|---|---|:--:|
| TPC 20220519 | 2026-08-14 | TPC | `_generated/product-pattern-index.json` ×37 · `_generated/geometry-rows-backlog.md` ×16 · `AGENTS.md` ×1 | ✅ |
| A cloud TV Station NOC 20240511 | 2026-09-09 | A cloud TV Station NOC | `docs/internal/STATUS-CHANGELOG.md` ×1 | ⛔ |
| TVU RPS 20220302 | 2026-09-02 | RPS | `docs/internal/backlog.md` ×1 · `_design-kickoffs/rpsv3-134.md` ×1 · `.changeset/…dot-shape-skip.md` ×1 | ⛔ |
⚠️ **那两个新的（NOC / RPS）正是 H1 判据炸出来的** —— 若不补 F4，它们会**静默不存在**，
而报告仍会印出一个「看起来完全合理」的 `n=14`。
**C · 排除项（各带出处，⛔ 不是拍脑袋）**：
指定库 `YbsPRUVmNdsbN40NNwh1Gn` 1 个（targets 文件逐字「它是判据的另一端，不是被测对象」）·
测试 fixture `jnlIId30lS3xjRmZnZTWQy` 1 个（`figma-file-chunked` 头注释 `:18`）·
owner 标 `foreign-library` 2 个（owner 08-14 裁定「真正的设计库只有 TVU UX Design System」）·
`not-a-live-file` 80 个（F4 带进来的假阳，live 非 200）。
### 15.5 控制与交叉验证锚
**内建控制 12/12 过**（7 must-hit + 5 must-not-hit），三条要单独记：
1. **MH2 专钉 F3 形态真被调用** —— 11 个 `sourceLabels` 键**只有 F3 这一种形态**，F1/F2 一个都抓不到。
F3 塌了它们会**静默消失**，而 `n` 会从 14 掉到 6 = **恰好等于被验方自己的分母** ⇒ 那是最危险的假绿形态
（装置没接上，读数完全合理）。
2. **MH7 钉具名事实** —— H1 首跑漏的那两个 key，补形态后必须 `∈ C ∧ live 200`；
⛔ 不钉「解析器跑通了没有」（`AGENTS §3.2` 推论二：那在形态换代时恒真）。
3. **MN5 两侧都断言**，见 §15.2。
**交叉验证锚**（`AGENTS §27` 推论一：新判据先在已有读数的面上跑）：
- `targets` 6 个 fileKey 与 §12.3 那张逐文件表**逐位相同**；
- H3 `6/6` live 200 与 §12.1「对 6 个登记交付面逐个 `GET` 全部 200」**同结论**（⚠️ 这是**第二次观测**，⛔ 不是等价性证明）；
- `pattern-index = 7` 独立复现「6 + TPC」，与 `backlog:105` 的「≥ 7」对上。
⚠️ **`targetLabel` ≠ Figma 真名，本格现取实证**：清单里 `LCD` 的真名是
`Touch Screen v7.7+& 8.0+ 20240220`、`Micro-Apps-20250923` 真名是 `Micro Apps 20250923`
⇒ **人工 label 是别名** ⇒ ⛔ 按名字比对两个面会漏，必须按 fileKey。
**枚举面刷新**（⛔ 09-03 那份已存档保留为 `figma-face-enumeration-2026-09-03.json`，⛔ 不覆盖历史读数）：
现取仍 **234 文件 / 51 project / 0 project 错误**，成员集与 09-03 **完全相同（新增 0 · 消失 0）**，
但 **17 个文件的 `lastModified` 变了** ⇒ 面是活的、成员稳定。
⚠️ ⛔ **不许读成「这个面是静态的」** —— 那是**一次**七天跨度的观测。
**边界②实测**：`live 200 ∧ ∉ figma-face`（= owner 两个 team 之外的共享文件）**实测 0 个**
⇒ 边界②这一次没有实际发生。⛔ 仍是一次观测，边界原样保留。
### 15.6 ⛔ 本节不能说的话
- ⛔ **不许说「真实交付面 = 17」** —— 那是 `repo-ref ∩ figma-face` 这个面上的上界，两个面各有边界
（只扫 tracked / 只覆盖两个 team）。正确说法带口径名。
- ⛔ **不许说「owner 说这 8 个该测」** —— 他标的是「这个**来源**是产品稿还是设计库」，
⛔ 不是「它该不该进测量清单」。**主语窄化是本仓踩过的（`lab:E50`），这里刻意不踩。**
- ⛔ **不许说「`backlog:105` 那句错了」** —— 它在「实际采集过」口径上**精确成立**。
该报的是**它没标口径**，以及另外两个口径下的差额。
- ⛔ **不许说「应该补登 X 个」** —— 预注册 §3 H4 已把应然那半拆出去，**lab 不裁**。
- ⛔ **不许拿本格的 `7 / 14 / 17` 去替 §12.3 那个 94.4% 的分母** —— 那组读数口径是
「6 个登记交付面的 `topFrame`」，换分母**要重取一遍**，⛔ 不许算术外推。
- ⛔ **不许说「`n` 是离线可复现的」** —— 补 F4 后判别负担在存活层 ⇒ **依赖 Figma API**。
- ⛔ **不许把「8/8 未采集」说成「DS 漏测了 8 个产品」** —— `sourceLabels` 里的文件是**被引用的来源**，
它们进不进 DIM-U12 是另一个问题（同上一条）。
---
## 16 收尾查 CI 时撞到的两件（2026-09-10 14:1x–14:4x）
### 16.0 人话摘要（先结论）
**两件，第一件要你一个字。**
1. 🔴 **DS 的 master 现在是红的，而修它需要你批一次。**
红是**另一个 session 今天下午那个「设计流程月度回顾分享页」引入的**（⛔ 不是我这次改的
backlog 引入的 —— 我本地实跑定位到失败步，findings **全部**落在那个 html 里，我的改动 0 条）。
失败原因很小：那个页面里写了 9 处硬编码的尺寸和颜色（`padding: 24px`、`border-radius: 4px`、
`color: #fff`…），DS 有一道闸要求这些必须写成 token 变量。
**⛔ 我不能自己修** —— 改 `.html` 会撞你 2026-08-12 立的视觉门，那条规则逐字写着「AI 仍不得自设本变量」。
2. ⚠️ **顺带查出一件机制上的事：那道闸在提交时结构上不可能拦住任何人。**
DS 有两层检查：提交时（pre-commit）和推送后（CI）。这道 token 闸**只在推送后那层**。
同形态的一共 **22 条**（名单已落盘）。
⇒ 所以那个页面提交时**是全绿的**，红只能在 push 之后出现。
🔴 **最说明问题的一点**：同一个 `.html` 文件，提交时**被问了**「你看过效果吗」（视觉门在提交层），
**没被问**「你用的是 token 吗」（token 闸不在提交层）。
**我的推荐（一个，⛔ 不给菜单）**：把 token 那一条挂进 pre-commit，触发条件收窄成
「staged 里有 `.html`/`.css`/`.vue` 时才跑」。实测这条闸跑 **170 ms** ⇒ 摩擦可忽略。
⛔ **但我没动手** —— 按队列 §0，「往 pre-commit 加一道阻塞闸」字面属 C1（值不值得上闸），
所以先把读数交给你。
### 16.1 Gitea CI 三个 commit 的读数（本轮**每个** commit 都查了）
量法与 §10.2 同一端点族，但**换了端点并订正了一处口径**：
| commit | 谁的 | 状态 | Gitea **自报**时长 | run |
|---|---|---|--:|---|
| `e7c1bd61` | lab（§14） | ✅ success | **4m53s** | 1247 |
| `bd912238` | 🔴 **并行 session**（design-process-review 分享页） | ❌ **failure** | **4m43s** | 1248 |
| `203a3f5a` | lab（本轮 §15 回改 backlog） | ❌ **failure** | **3m31s** | 1249 |
🔴 **两处口径订正，都是我自己的装置问题（⛔ 不是 DS 的事实）**：
1. **`/commits/:sha/status` 返回的是「每个 context 的**最新**一条」，⛔ 不是「每次状态变更一条」。**
§14 逐字写的「Gitea 每次状态变更新建一条 status」在**那个端点上不成立** ⇒ 我按 `first/last`
算时长，两个值取到同一条记录 ⇒ 印出 **`0m0s`**。
⚠️ **那是一个「看起来完全合理」的读数**（一个失败的 run 秒退，`0m0s` 讲得通）。
⇒ 改走**列表端点** `/statuses/:sha`（每次变更**确实**各一条，实测每个 commit 2 条），
且它的 `description` 字段**直接给了时长**（逐字 `Failing after 3m31s`）
⇒ **⛔ 根本不用自己算 first−last**。
✅ **交叉验证锚**：`e7c1bd61` 在新端点上得 `Successful in 4m53s`，与 §14 的 4m53s **逐位相同**。
2. 🔴 **§10.2 那条「时长有判别力」的读法被本轮读数削弱了。**
原登记：failure 档 3m35–3m47s vs success 档 4m53s–6m2s，**差 ≥66s**。
本轮 `bd912238` 是 **failure 且 4m43s** ⇒ **与 success 下界只差 10 秒**。
⇒ **⛔ 时长不再能当红/绿的代理指标**（同族 `AGENTS §2.14`：区间是滚动的、⛔ 不是常量；
而这次滚动的方向是**判别力消失**，⛔ 不只是区间变宽）。
⚠️ 机制解释：两个 failure 都死在**同一步**（见 §16.2），4m43 vs 3m31 那 72 秒是
**runner 上 install/typecheck/test 的方差** ⇒ 时长压根不是「死在第几步」的函数。
### 16.2 归因：失败步是 #4，findings 100% 在并行 session 那个文件里
本地实跑全链（`npm run prepublishOnly`，⛔ 单跑读 `$?`、⛔ 不带管道）：`EXIT=1`，
逐字 `❌ 1 / 40 步失败（全链已跑完）`（⚠️ 本地链 **40 步**、CI 顶层 **29 步**，
两个口径 ⛔ 不并池 —— CI 第 7 步 `Design system audits (prepublishOnly gates)` 里套着本地这 40 步）。
失败步逐字：
```
── #4 audit:no-hardcoded-design-tokens exit 1 (170 ms)
| playground/public/design-process-review.html:190 padding: 24px → var(--sp-l)
| playground/public/design-process-review.html:97 border-radius: 2px → var(--r-xs)
| …（共 9 条，全部同一文件）
| (140 domain-specific noMatch finding(s) are report-only, not blocking.)
```
⇒ **9/9 findings 全在 `playground/public/design-process-review.html`**（`bd912238` 新增）
⇒ **lab 本轮的 `docs/internal/backlog.md` 贡献 0 条。**
⚠️ 而 `e7c1bd61`（红之前那个）是 lab 的、**success** ⇒ **红的引入点确凿是 `bd912238`。**
⛔ **但这不是「与 lab 无关」就完了** —— `203a3f5a` 是 lab 推的，**它也是红的**，
lab 没修好也没让它变绿。**如实登记：master 现在红着。**
### 16.3 机制：那道闸在 pre-commit 上零挂载，而对等闸的判据是**单向**的
**⚠️ 这一节的提取口径来自被验方的装置**（`AGENTS §24`）：复用 DS `scripts/audit-gate-ci-parity.mjs`
导出的 `computeParity()`。⇒ **「哪些 key 算一条闸」这一层 lab ⛔ 未独立验证**，
lab 独立加的只有**方向**这一步。
**交叉验证锚**（`AGENTS §27` 推论一：新判据先在已有读数的面上跑）：
我的调用必须复现该闸自报的 `a = 52` ∧ `diff(A−B) = 0` —— **两者都对上**，对不上就 `exit 1` 作废。
| 读数 | 值 |
|---|---|
| `figma-sync/audit-no-hardcoded-design-tokens.mjs` ∈ **A（husky 侧）** | **false** |
| 同上 ∈ **B（CI 可达）** | **true** |
| **反向差集 `B − A`** | **22 条**，名单落盘 `runs/delivery-surface/gate-parity-reverse.json` |
⇒ **该闸的差集是 `A − B`（「husky 上没有 CI 跑不到的闸」）—— 它 ⛔ 不判 `B − A`。**
⚠️ 而它的头注释**登记过一个边界，但登记的是另一维**：逐字「差集 = 0 **≠ 每条闸都被守住** ——
CI 可达只说明「绕不过」，不说明**判据强度**」⇒ 登记了**判据强度**这一维，
⛔ **没登记「提交时可发现性」这一维**。（同族 `AGENTS §2.16`：判据少钉一维 = 该响时不响。）
⛔ **`22` 这个数不许跨轮引用** —— 该闸 `:259` 逐字「只有「差集 + 名单」可跨轮比，
上面那个 CI 可达数随实现口径浮动，别引用它」⇒ **要比就比名单**，⛔ 不比计数。
🔴 **最锋利的那一格**：`.husky/pre-commit:99` 的视觉门形态是
`\.(html|css|svg|vue|jsx|tsx)$` ⇒ **它覆盖 `.html`**。
⇒ `bd912238` 那次提交**必然带了 `VISUAL_COMMIT_APPROVED=1`**（否则 pre-commit 就 `exit 1` 了）
⇒ **同一个 `.html` 文件，提交层问了「你看过效果吗」、没问「你用的是 token 吗」。**
⇒ 两道闸都关心这类文件，一道在提交层、一道只在推送层。
### 16.4 lab 自己在本节栽的两次（⛔ 都被 must-hit 锚当场打回来）
| # | 我以为 | 实测 | 被什么抓到 |
|---|---|---|---|
| 1 | 「pre-commit 只跑 26 条 audit（字面 grep），所以反向差集里应该有一堆 `audit:` 键」 | 反向差集里 `audit:` 前缀 **0 条**、`a` 里也 **0 条** —— 因为 `a`/`b` 装的是**解析后的 `.mjs` 路径**，⛔ 不是 npm key | 🟢 **MH 锚**「那条闸必须 ∈ 反向差集」报 `false` |
| 2 | 差点写「反向差集 = `74 − 52` = 22」 | 该闸 `:259` **逐字禁止引用那个 CI 可达数** ⇒ 那个减法不成立；22 必须从**集合本身**算，且只有名单可跨轮比 | 读该闸源码时看到 `:259` |
⇒ 第 1 次正是 `AGENTS §29` 推论八那条「**npm key 与脚本文件名不同名 ⇒ 先建 key→文件 解析表，
⛔ 不许假设同名**」——**这次是 lab 自己踩的**，而且如果没有那条 MH 锚，
我会得到「反向差集里 0 条 audit 闸」⇒ 直接写出**与事实相反**的结论「这道闸其实在 pre-commit 上」。
⇒ **`AGENTS §18.7`「我数出 X、他说 Y、所以他错了 —— 在证完自己的装置之前不是一条发现」第 N 次生效。**
### 16.5 顺带闭合一格：harness 契约的**第三条通道**（原登记只写了两条，且都不是实际执行通道）
**五行块第 2 行结果**：登记的环境名 `nvm claude 2.1.251` **现取仍是 2.1.251**（⛔ 没漂）——
**但那不是本机实际在跑的通道。**
| 通道 | 版本 | 原登记 | 实际在跑？ |
|---|---|---|---|
| nvm `~/.nvm/.../bin/claude` | 2.1.251 | ✅ 已登记（探针缺省档） | ⛔ 否 |
| ServBay（ds-autofix launchd） | 2.1.89 | ✅ 已登记为「未测」 | 仅 launchd |
| 🔴 **VSCode 扩展捆绑的二进制** | 装了 **13 个版本**，`ps` 实测在跑 **2.1.266 / 2.1.267** | 🔴 **零登记** | ✅ **是** —— **lab 这条审查线自己就是 2.1.267** |
⇒ **契约此前只在一条「不是实际执行通道」的二进制上验过** ——
同族 `AGENTS §18` 推论一「规定通道 ≠ 实际通道」，但形态更窄：这次是「**验的通道 ≠ 跑的通道**」。
**处置**：给探针加 `PROBE_CLAUDE_BIN` 通道覆盖（版本进产物 `env.claudeVersion` + `env.claudeBin`，
⛔ 不靠读者记得用了哪个二进制），并**先证缺省档 no-op**：
| 档 | 版本 | 控制 | 逐条 ok 全同？ | 数值字段（num_turns / input_tokens / is_error）全同？ |
|---|---|---|---|---|
| **no-op 证明** | 2.1.251 | 9/9 | ✅ | ✅ |
| 🟢 **实际执行通道** | **2.1.267** | **9/9** | — | 三臂 `1/10 · 0/0 · 1/10` |
| 🟢 同上 | **2.1.266** | **9/9** | — | 三臂 `1/10 · 0/0 · 1/10` |
⇒ **两条契约（`exit 2` 真挡住 · `Original prompt:` 回显）在实际执行通道上同样成立**，
`MH6` 那个具名事实在 2.1.266 / 2.1.267 上都命中。
⚠️ **no-op 口径要写清**：比的是**控制逐条 ok + 三个数值字段**，
⛔ **不比 `result` 字符串** —— 模型输出非确定性，逐字节比会假红。
**⛔ 仍未覆盖（这是边界，不是 TODO）**：
① **交互 TUI 模式** ⛔ 仍未测 —— 「换通道」与「换模式」是**正交的两维**，
⛔ 严禁把 2.1.267 的 `-p` 读数外推到 TUI（尤其「exit 2 会不会清掉输入框里已打的字」，
该形态在 `-p` 下结构上没有对应物）。
② ServBay **2.1.89** ⛔ 仍未测。
③ 装了 13 个扩展版本，只测了**最高两个** ⇒ ⛔ 不许说「扩展通道全覆盖」。
### 16.6 ⛔ 本节不能说的话
- ⛔ **不许说「CI 红与 lab 无关」** —— 引入点确凿是 `bd912238`，**但 lab 推的 `203a3f5a` 也是红的**，
master 现在红着，这是本轮的事实状态。
- ⛔ **不许说「那 22 条是欠的活」** —— pre-commit 按 staged 文件形态**条件触发**、本就设计成子集
（26 条字面 audit + 各自的 `git diff --cached | grep -qE` 守卫）⇒ **反向差集结构上不该为 0**；
要求全等会把自陈 3–5 分钟的 pre-commit 变成全链，而队列 §0 C1 逐字写着「过度上闸不只费时间，
是**训练绕过**」。⇒ 该问的是「**那 22 条里哪几条值得单独挂**」，⛔ 不是「补齐 22 条」。
- ⛔ **不许说「对等闸有缺陷」** —— 它的方向是刻意的（守的是「绕不过」），
且它**登记了一个边界**（判据强度）。可判的是：**「提交时可发现性」这一维零登记**。
- ⛔ **不许引用 `22` 或 `74` 跨轮比** —— 该闸 `:259` 逐字禁止；要比就比**名单**。
- ⛔ **不许拿「本地 40 步」与「CI 29 步」并池** —— 后者第 7 步套着前者。
- ⛔ **不许说「时长能判红绿」** —— 本轮实测 failure 4m43s vs success 4m53s，差 10 秒。
- ⛔ **不许说「harness 契约已在实际执行通道全覆盖」** —— 13 个扩展版本只测了 2 个，
且 TUI 模式与 ServBay 都仍未测。
- ⛔ **不许说「我修不了所以这条闸该放宽」** —— 视觉门要 owner 批（`:115` 逐字「AI 仍不得自设」），
那是**机制点名要人**，⛔ 不是放宽判据的理由（放宽任何闸 = 队列 C4）。
---
## 17 收尾读数（2026-09-10 14:4x 现取）
| 项 | 值 |
|---|---|
| **DS HEAD** | **起手 `e7c1bd61` → 止 `203a3f5a`**（`AGENTS §29` 推论五：两栏都在收尾时真取，⛔ 起手值不许写成整格断言）。⚠️ **起手实测零漂，格内漂了 2 个** —— ⛔ 「起手零漂」不蕴含「格内不漂」，本仓第 6 次 |
| 区间内 commit 逐个过 | `bd912238`（**并行 session** 的 design-process-review 分享页，2 个 `.html`）· `203a3f5a`（lab 的 §15 回改）⇒ **无漏登** |
| ✅ **漂移对本格读数的影响：程序化证明为零** | 本格 4 个被验文件在 `e7c1bd61→bd912238` 区间 `git diff --quiet` **全部零差异**（`ds-health-mockup-targets.json` · `backlog.md` · `_generated/product-pattern-index.json` · `site-review-manifest.json`）⇒ §15 读数在新 sha 上仍成立。⛔ 不是「读 diff 觉得没影响」 |
| 🔴 **并行 session** | **有** —— session `b8ce4cec…`（cwd = DS）本轮提交了 `bd912238`；其 `sync:mockup` 进程已退，`serve.py` 仍在（44 分钟）。起手 `ps` + `git status` 已分清归属 |
| DS 开工前脏的 2 文件 | `render-coverage-gaps.md` · `a11y-token-contrast.json` ⇒ ⛔ **全程未触碰**（收尾复核工作区仍只有这 2 个） |
| DS 提交 | `203a3f5a`（`docs/internal/backlog.md` **一个文件** / +19 −1）。逐文件 `git add`，⛔ 无 `add -A`、⛔ 无 `--no-verify`。push 前后各 `git fetch` 核 HEAD（因并行 session） |
| DS pre-commit | 走完整链，尾部逐字 `✅ pre-commit gates passed` + `audit:commit-affordance-trace pass`（⛔ 读的是尾部汇总） |
| DS 闸（单跑读 `$?`、⛔ 不带管道） | `doc-shape` · `stale-anchors` · `rule-number-collision` · `acceptance-gate-coverage` **四道全 `EXIT=0`**。⚠️ 逐个看了分母与点名：doc-shape 印 `backlog 214834 B`（§14 时 210746 B，本轮涨的是我加的）· stale-anchors 逐字「所有锚点目标存在，零孤儿」/ 扫描面 204 份 / 具名豁免仍 2 条 · 撞号闸 **`backlog 本地 28 个 entry ID · 新增 0 · 撞号 0`**（**28 保持 ⇒ 标题识别未被破坏**，即「划线只用在正文、⛔ 不改标题」那条纪律生效）· acceptance 闸 `checkedUnits 132` 且 `unclassified 35 = baselineUnclassified 35` ⇒ **棘轮未动** |
| 🔴 **Gitea CI（本轮**每个** commit 都查）** | `e7c1bd61` ✅ **4m53s**（run 1247）· `bd912238` ❌ **failure 4m43s**（run 1248）· `203a3f5a` ❌ **failure 3m31s**（run 1249）⇒ **master 现在红着**，引入点确凿是 `bd912238`（§16.2 本地实跑归因，findings 9/9 全在那个 `.html`），修它 ⛔ 需 owner 批视觉门 |
| ⚠️ GitHub 侧 | ⛔ **未查**，且本轮 `git fetch github` **实测失败**（网络/鉴权）⇒ 连状态都取不到。§8.4 那三条（红、`steps=0`、不是本轮改红的）原样成立，⛔ 本轮无新证据推翻或坐实（同族 [[ci-green-claim-needs-both-hosts]]） |
| lab 提交 | `1d87f73`（§15 预注册，**取数前**）· `8a8f04d`（§15 量具 + 读数 + 报告）· 本条（§16 + §17 + 探针通道覆盖 + 反向差集读数） |
| lab CI | **无** —— lab 仓 `.gitea/workflows` 与 `.github/workflows` **都不存在** ⇒ lab 的 commit 不产生 CI run（这是读数，⛔ 不是「没查」） |
| ⏳ 表待拍数 | **5 条**（`11 · 1 · 2 · 3 · 5`）—— 未标 ✅ 的编号行 6 行，第 `4` 行（Q8）自陈「已解，仅为对账」⇒ ⛔ **本轮未增加** |
### 17.1 本轮四条待做项的下场（逐条，⛔ 不含糊）
| 待做项 | 下场 |
|---|---|
| ⏳ 主题检查 report-only → 阻塞（C1/C4） | ⛔ **本轮仍未推进，且刻意不排期**。§13 那条「等存量清到接近 0」的条件已被 94.4% 削弱；**§15 又把它的射程读窄了一层** —— 那道闸只落在 6 个登记文件上，而实测另有 8–11 个真实产品文件从未被采集 ⇒ 升阻塞的覆盖面比 §13 以为的更小。⛔ 仍是 C1，⛔ agent 不自拍，⛔ 也不自己拍新形态 |
| ⏳ 测量清单漏登 TPC ⇒「6」未被独立证过 | ✅ **本轮做完** —— 见 §15。答案分层（7 / 14 / 17），已回改 DS `backlog:105`（commit `203a3f5a`）。⛔ 应然那半（该不该补登）未裁 |
| ⏳ 逃生口 `LAB_CONSUMER_TASK_ACK=1` 合并实测 | ⛔ **本轮未做，刻意留给人跑** —— ⛔ AI 不得自设该变量（owner 2026-08-12 对 `VISUAL_COMMIT_APPROVED` 的裁定形态）。两半各自的读数原样有效 |
| ⏳ harness 契约只在 `claude -p` + 2.1.251 上验过 | 🟢 **推进一格，但 ⛔ 未关闭** —— §16.5：原登记漏了**第三条通道**（VSCode 扩展），而那才是实际执行通道；2.1.266 / 2.1.267 上契约各 **9/9**。⛔ **交互 TUI 仍未测**（与换通道是正交两维）· ServBay 2.1.89 仍未测 · 13 个扩展版本只测了 2 个 |
### 17.2 本轮量具自己栽的次数（如实登记，⛔ 不只记教训也记有效做法）
| # | 形态 | 被什么抓到 |
|---|---|---|
| 1 | `git grep -oE '\b…'` 把 `\b` 当成**字面 `b`** ⇒ 238 个「命中」全部以 `b` 开头结尾，被当成上界读数 | 🟢 **读数太整齐 ⇒ 先当假阳查**（`AGENTS §2.21` 推论二②）—— 全部以同一字母首尾是不自然的 |
| 2 | 三种精确形态漏了第四种（裸 key 被反引号包住）⇒ 两个真产品文件**静默不存在** | 🟢 **H1 穷尽性判据当场炸（x=2）** —— 它是预注册里写死判定档的，⛔ 不是事后补的限定词 |
| 3 | 反向差集查询用 **npm key** 去查一个装 **`.mjs` 路径**的集合 ⇒ 得「0 条 audit 闸」= **与事实相反**的结论 | 🟢 **MH 锚**「那条闸必须 ∈ 反向差集」报 `false` |
| 4 | 差点写「反向差集 = `74 − 52`」—— 两个不同口径相减 | 🟢 读该闸源码时撞到 `:259` 逐字禁令 |
| 5 | Gitea 时长按 `/commits/:sha/status` 的 `first/last` 算 ⇒ 印出 **`0m0s`**（该端点只返回每 context **最新一条**） | 🟢 **`0m0s` 在一个失败 run 上「看起来完全合理」** —— 靠换列表端点 + `e7c1bd61` 的 4m53s 交叉验证锚才认出 |
🟢 **本轮验证有效、以后直接用的四条**：
1. **五行块第 5 行**（「lab 自己验过没」）**第 4 次救命** —— 但这次的正确读法是**第三种**：
⛔ 不是「已经干过了」、⛔ 也不是「完全没验」，而是「**上位面已验、分类口径未立**」，
而且**那条边界就写在既有量具自己的头注释里**（`enumerate-figma-face.mjs` 边界②）。
⇒ **接手前先读那个量具的边界表，⛔ 不只读它的读数。**
2. **穷尽性判据要写成「能失败的形式」再落预注册** —— H1 用的是
`|(上界 − 精确形态) ∩ 独立真源|`，它**真的炸了**，且炸出来的是两个真产品文件。
⚠️ 反例是「补形态后 x 恒 0」这种写法（把上界并进候选面）—— 那会变成恒真判据。
3. **改量具先证缺省档 no-op，且写清 no-op 的口径** —— §16.5 比的是「控制逐条 ok + 三个数值字段」，
⛔ 明确不比 `result` 字符串（模型输出非确定性，逐字节比会假红）。
4. **复用对方装置时，锚必须是对方自报的数** —— §16.3 强制复现 `a=52 ∧ diff=0`，
对不上就 `exit 1` 作废。⚠️ 而按 `AGENTS §24`：这只证「我调用它的口径没错」，
⛔ **不证「哪些算一条闸」这个判据本身对** —— 那一层 lab 未独立验证，已写进产物 `caliper`。
---
## 18 owner 授权拍三条（2026-09-10 14:3x–17:1x）—— 两条拍了，一条结构上拍不了
owner 逐字：「**这三个你能帮我拍吗**」。⇒ 逐条过 [`decision-queue.md`](decision-queue.md) §1.1 自查
（「能从读数选就别问」），结论**不是三条都能拍**：
| # | 那一条 | 我的处置 | 为什么 |
|---|---|---|---|
| ① | 修 master 红（改 `.html`） | 🔴 **拍不了 —— 但把活干到了只剩一个键** | `.husky/pre-commit:99` 的视觉门形态含 `.html`，`:115` 逐字「⛔ 但 AI 仍不得自设本变量」⇒ **机制点名要人**，⛔ 不是我把判断推回去 |
| ② | token 闸要不要挂进 pre-commit | ✅ **拍「挂上」并落地** | 按队列 §0 判据逐字核 —— C1 的形态是「**新增** blocking 闸 / 把 report-only **升成**阻塞」，**两个都不成立**：它在 CI 上早就是阻塞档，本条只把同一条判定**提前**。⇒ 不是 C1，是 A/B 档 |
| ③ | 主题检查 report-only → 阻塞 | ✅ **拍「不升」并写重开条件** | 它**字面就是 C1**，但读数把它变成了事实题而非取舍题：登记交付面 **新红 253/268（94.4%）· 真通过 0** ⇒ 阻塞档的前提「合规是常态」**样本为 0** |
⚠️ **④（逃生口合并实测）本轮仍未做** —— ⛔ AI 不得自设 `LAB_CONSUMER_TASK_ACK`，与 ① 同形态。
### 18.1 ② 的落地与验证（DS `8da9aca5`）
**改动**：`.husky/pre-commit` 新增一块，触发面**按那道闸自己的 `TARGETS` 写**
（`src/components` · `src/canonical` · `playground/public` 下的 `.vue`/`.html` + `src/tokens/variables.css`
+ 豁免表 + 闸本体）。
🔴 **我原来那条推荐里有一处是错的**：初版把 `.css` 写进了触发面，而该闸 `:147` 只收 `.vue` 与 `.html`
⇒ **⛔ 不扫 `.css`**。⇒ 「推荐一个值」也要先证那个值（同族 [[recommend-one-value-not-a-menu]]）。
🔴 **刻意放在视觉门之前（`:92`，视觉门在 `:122`），两个理由**：
1. **覆盖面**：视觉门的形态 `\.(html|css|svg|vue|jsx|tsx)$` **覆盖了本闸的每一种触发形态**
⇒ 挂在它之后，本闸的真实覆盖面会**塌成「视觉门已放行的提交」**，⛔ 不是「所有提交」。
2. **人的往返次数**：放在之后 = 人先被问一次「看过效果吗」、批完才发现还得改 token、改完再看再批。
⇒ 附带（**这条本身就是理由**）：放在前面本闸的控制**才跑得起来** —— 挂在之后，验它需要先设
`VISUAL_COMMIT_APPROVED`，而 ⛔ AI 不得自设 ⇒ 那会是一条**结构上无法由 AI 验证**的闸。
**验证（⛔ 跑一遍绿不算验证）**：
| 臂 | 装置 | 读数 |
|---|---|---|
| **故障臂** | 造一份 `playground/public/__probe-token-fault.html`（`padding:24px`）走**真钩子** | `EXIT=1`，且逐字点名 `__probe-token-fault.html:4 padding: 24px → var(--sp-l)`；视觉门 **0 次**出现 ⇒ 确认死在我的块上 |
| **对照臂** | 41 条全 token 化后跑那道闸 | `EXIT=0` · `exact=0` |
| **单点臂** | 只把 1 处改回硬编码 | `EXIT=1` · `exact=1`，精确点名我改的那一处 |
| **谓词臂** | 用**从文件里抠出来的原文正则**（⛔ 不是我重打的）喂 5 个路径 | 3 触发 / 2 skip 逐条符合；`playground-dist/…` 正确 skip（该闸不扫它） |
| **skip 臂** | 本次真提交（只 stage `.husky`/`.md`/`.patch`） | 钩子逐字 `✓ no design-token-relevant files staged, skipped` |
**前置三项**（⛔ 免得跑一半才发现撞别的闸）：`audit:gate-ci-parity` **A 52 → 53、差集仍 0**
（⇒ 坐实「⛔ 不新增判定，只提前」）· `audit:gate-regression-ratchet` BASELINE **40 持平** ·
七道闸单跑读 `$?` 全 **0**；撞号闸 **28 → 29 · 新增 1 · 撞号 0** ⇒ 新 entry 标题被正确识别。
### 18.2 ③ 的裁定（DS `8da9aca5`，写进 `INFRA-F146`）
**拍「不升，保持 report-only」**，并把**重开条件写成可机检的量**
（⛔ 不写「等存量清到接近 0」—— §13 已实测那条**可能永远不到达**）：
① 登记交付面上 `themePass > 0` **且** 新红率 < **20%**；**或**
② 该判据被改成**增量档**（只判本次 commit 改动过的帧）**并由 owner 单独拍定** ——
⚠️ 那是**另一条 C1 提案**，⛔ 本裁定不含它、⛔ 我也不自拍它。
⛔ **这不是 C4**：保持现状 ⛔ 不放宽任何闸；`arm`/`detect` 的 fail-closed、三臂判别力、29 项单测**一字未动**。
⚠️ 并把 `INFRA-F146` 的**标题**改成了现状（原标题还写着「⛔ agent 不自拍」）——
⛔ 标题不用 `~~划线~~` 改（撞号闸正则刻意不剥离它），划线只用在正文行。
### 18.3 🔴 ① 一路查下去，撞出一条比「修 41 行」重要得多的闸缺陷（DS 新立 `INFRA-F147`）
**起点是一个订正**：我先前报「9 处硬编码」，**权威计数是 41 条** ——
「9」出自我读**终端尾部**（`tail -25` 截断），而 41 在那道闸自己的 JSON 产物里。
⇒ **「窗口截断当成全集」在本仓第 N 次**（`AGENTS §2.12` 推论五第 4 例同族）。
然后一条一条塌下去：
| 我以为 | 实测 |
|---|---|
| 41 条都是等值替换 ⇒ 视觉零变化 | ✅ 8 个 token 的值**逐个独立复核**确实等值（`--sp-l`=24px…）—— **但结论仍是错的** |
| 那就机械替换即可 | 🔴 **像素比对：189,643 / 4,608,000（4.1155%）变化 ⇒ 页面塌了** |
**机制（实测，⛔ 不是推测）**：那页是**独立分享页**，只 `` 了 Google Fonts、⛔ 未引 DS 的 token 样式表；
它自己定义了 16 个变量（`--panel`/`--line`/`--mono`…），而**闸建议的那 8 个 token 在该页作用域里定义次数全部为 0**
⇒ `var(--sp-l)` 解析不到 ⇒ 那条 CSS 声明被浏览器**整条丢弃** ⇒ 间距归零。
⇒ **两条可判的缺陷**（⛔ 都不是「闸错了」—— 它在 `src/components`/`src/canonical` 上完全正确，那里 token 必在作用域里）：
- **(a) fail-open**：该闸把「写成 `var(--x)`」判为合规，⛔ **不检查 `--x` 在该文件作用域里解析得到**
⇒ 它**诱导人写出「闸绿、页面塌」的改动**。这是 `AGENTS §3.1` 那条铁律的一个真实反例实例。
- **(b) 方向反了（只在这一档上）**，三臂实测（**渲染噪声地板 = 0 像素** ⇒ 这些 0 不是死值）：
| 怎么写 | 闸 | 页面 |
|---|---|---|
| 用 DS 标度上的值（`padding: 24px`） | ❌ **红（41 条）** | 正常 |
| 改成 `var(--sp-l)` | ✅ 绿（`exact 0`） | 🔴 **塌 4.1155%** |
| 把 41 处全改成**偏离标度 1px**（`25px`） | ✅ **绿**（`exact 0` · `noMatch` 140→181 全 report-only） | 正常 |
⇒ **净效果 = 「别用 DS 的数值」**，而该闸 2026-08-11 扩面时引的立规逐字是
「**分享类文档一律遵守设计系统 UI 风格**」⇒ **方向相反**。
⚠️ **根因是扩面时漏了一个前置**：扩到独立 HTML 页时没一并要求那些页**先有 token 作用域**。
同目录 `onboarding.html` 之所以过闸，是因为它的数值**正好没撞上** DS 的 token 值 ——
它用了 **0 次** `var(--sp-*)`，⛔ 不是「它合规」。
**推荐的那条路已验通**（⛔ 未提交任何 `.html`）：给该页 `:root` 补 8 行 token 定义
（值**逐字取自** `src/tokens/variables.css`）+ 41 处替换 ⇒
闸 `exact 0` · `noMatch` **仍 140**（⛔ 未引入新 report-only 项）·
**像素比对 `1440` 宽与 `390` 宽各 0 个不同**。
补丁落在 DS `docs/assets/2026-09-10-dpr-token-scope/token-scope-fix.patch`，`git apply --check` 已过。
⚠️ **取舍留给 owner**（⛔ 我不替他选）：补那 8 行 = **把值复制了一份**；另一条路是 `` DS 的 token 样式表
（无第二份真源，但该页就不能脱离站点单独打开 —— 而「独立可打开」是它的存在意义）。
⛔ **不走豁免表** —— 那是 C4，且会把 (a)(b) 两条缺陷一起盖住。
**证据页（起服务给链接，按 owner 2026-09-09 立的规矩）**：`http://127.0.0.1:8911/`
（并排 before/after · 最关键的特写在最前 · 每张图配「这张要判什么」· 数字在顶部 · 底部写清「答 X 我做什么」）。
⚠️ **服务随 session 结束而停**；重开：
`cd /tokenfix && python3 -m http.server 8911 --bind 127.0.0.1`。
### 18.4 ⛔ 本节不能说的话
- ⛔ **不许说「master 修好了」** —— 只备好了补丁，⛔ 未提交任何 `.html`；**master 现在仍是红的**。
- ⛔ **不许说「那 41 条是等值替换所以可以直接改」** —— 值确实等值，**但那不蕴含视觉不变**（实测 4.12%）。
「等值」与「可替换」是两件事，中间隔着**作用域**。
- ⛔ **不许说「那道闸错了」** —— 它在有 token 作用域的面上完全正确；可判的是**扩面时漏了前置**。
- ⛔ **不许说「onboarding.html 是合规范例」** —— 它是**躲开**（0 次 `var(--sp-*)`），⛔ 不是合规。
- ⛔ **不许把 ② 说成「新增了一道闸」** —— 它在 CI 上早就是阻塞档；新增的是**提交层的接线**。
- ⛔ **不许说「反向差集那 22 条都该补挂」** —— pre-commit 按 staged 形态**条件触发、本就是子集**；
队列 §0 逐字「过度上闸不只费时间，是**训练绕过**」。该问的是「哪几条值得单独挂」。
- ⛔ **不许把「拍了两条」读成「C1 从此可以自拍」** —— ② 是因为**逐字核了 C1 的形态判据后两个都不成立**，
③ 是因为**读数把取舍题变成了事实题**。⛔ 这两条推理都不可外推。
### 18.5 本节量具自己栽的次数（🔴 10 次，⛔ 全部如实登记）
| # | 形态 | 被什么抓到 |
|---|---|---|
| 1 | `git grep -oE '\b…'` 把 `\b` 当**字面 `b`** ⇒ 238 个「命中」全部以 `b` 开头结尾 | 🟢 读数太整齐 ⇒ 先当假阳查 |
| 2 | 报「**9 处**硬编码」—— 读终端尾部被 `tail -25` **截断**，真值 **41** | 🟢 全钩子跑完后逐行看 blocking 清单 |
| 3 | 反向差集用 **npm key** 查一个装 **`.mjs` 路径**的集合 ⇒ 得「0 条 audit 闸」= **与事实相反** | 🟢 **MH 锚**报 `false` |
| 4 | 差点写「反向差集 = `74 − 52`」（两个不同口径相减） | 🟢 读该闸源码时撞到 `:259` 的逐字禁令 |
| 5 | Gitea 时长按 `/commits/:sha/status` 的 `first/last` 算 ⇒ 印出 **`0m0s`** | 🟢 换列表端点 + `4m53s` 交叉验证锚 |
| 6 | token 取值正则前多写一个 `\` ⇒ **8/8 全 `None`** | 🟢 **「8/8 全 None 太整齐」⇒ 先疑装置**，且先在必然非空的面上验 |
| 7 | 起服务撞上**并行 session 占用的端口 8907** ⇒ `curl` 报 **404**，而 `nohup … > /dev/null` **把绑定失败吞了**（fail-open） | 🟢 我自己那条「⛔ 不许给没打开过的 URL」—— 但**是在截完图之后才看的** |
| 8 | 🔴 **由 #7 派生的假证据**：两张截图**字节完全相同** ⇒ 差点写成「视觉零变化已证」，**而它们都是 404 页** | 🟢 「字节完全相同」这种**过度整齐**本该先触发怀疑 |
| 9 | 特写裁到页面顶部的**纯深色空白带** ⇒ 左右看起来一样，**答不了我自己写的那句「你只要看出不一样就够了」** | 🟢 自己截图看了一眼证据页（⇒ 改用**逐带差异统计**定位裁剪窗口） |
| 10 | 用 `paste -sd' · '` 拼多字节分隔符 ⇒ 串被搅坏（`INFRA-F147\xc2PLUGIN-001`） | 🟢 Python 报 `SyntaxError: Non-UTF-8` ⇒ 全程改走 Python |
🟢 **本节验证有效、以后直接用的四条**：
1. **两臂要死在不同的门** —— ② 的验证设计成「故障臂死在我的闸、对照臂越过它死在视觉门」，
于是**两臂都不需要我自设那个变量**就有判别力。⇒ 设计控制时先问「这个臂我跑得起来吗」。
2. **像素比对必须配空对照** —— 同一份文件渲染两次得 **0 个不同** ⇒ 才敢把另外那两个 0 当结论；
⛔ 没有空对照的「0 像素不同」分不清是「真没变」还是「装置没在测」。
3. **改判据/推荐之前先读被测对象自己的扫描面** —— `.css` 那个错误推荐，就是没读 `:147` 造成的。
4. 🔴 **pre-commit 连拦两条我没想到的镜像回归**（Active 计数镜像 + 顶部摘要那句「Active 5 → 6」）
⇒ **「改完分项回文件头核总述」这条纪律，在 DS 侧是有机制承载的**，⛔ 不靠我的自觉。
⇒ 这正是 `AGENTS §26` 那条「纪律要有承载它的栏位」的一个正面实例。
---
## 19 收尾读数（2026-09-10 17:1x 现取）
| 项 | 值 |
|---|---|
| **DS HEAD** | **本轮起手 `203a3f5a` → 止 `8da9aca5`**（⚠️ 整个 session 是 `e7c1bd61 → 8da9aca5`）。区间 3 个 commit：`107c8092`（**并行 session**）· `203a3f5a`/`8da9aca5`（lab） |
| 🔴 **并行 session（本轮最值得记的一条环境事实）** | **它和 lab 在同一个工作树里，⛔ 不是 git worktree** —— 实证：我基于 `203a3f5a` 提交，而 `8da9aca5` 的父是 `107c8092`（它中途提交推进了 HEAD）。✅ **逐文件 `git add` 的纪律因此救了一次**：我的 commit `4 files changed` 全是我的，⛔ 没卷进它的改动。⚠️ 且我**核过没覆盖它的 wrap-up**（`107c8092` 只碰 `STATUS-CHANGELOG.md`，⛔ 没碰 `STATUS.md`；我替换的第 3 行仍是上一轮的摘要，按 §Wrap-up 协议本就该换） |
| DS 工作区 | 起手 2 个脏（`render-coverage-gaps.md` · `a11y-token-contrast.json`）⇒ ⛔ 全程未触碰。**收尾时又多了 2 个**（`design-process.md` · `mockup-conventions.md`）= 并行 session 的在飞改动 ⇒ ⛔ 未触碰 |
| DS 提交 | `8da9aca5`（4 文件 / +279 −4）。逐文件 `git add`，⛔ 无 `add -A`、⛔ 无 `--no-verify`。push 前后各 `git fetch` 核 HEAD |
| DS pre-commit | 🟢 **连拦两条我没想到的镜像回归**（见 §18.5 第 4 条），修完后走完整链，尾部逐字 `✅ pre-commit gates passed` + `audit:commit-affordance-trace pass` |
| DS 闸（单跑读 `$?`、⛔ 不带管道） | `doc-shape` · `stale-anchors` · `rule-number-collision` · `acceptance-gate-coverage` · `gate-ci-parity` · `gate-regression-ratchet` · `status-consistency` **七道全 `EXIT=0`**。逐个看了分母与点名：撞号闸 **28 → 29 · 新增 1 · 撞号 0**（新 entry 标题被正确识别）· 对等闸 **A 52 → 53 · 差集仍 0** · 棘轮 **BASELINE 40 持平** · acceptance 闸 `unclassified 35 = baseline 35`（棘轮未动）· doc-shape `S1 2407 B`（上限 3000）`S2 340 B`（上限 600） |
| 🔴 **Gitea CI（本轮每个 commit 都查，且换了权威端点）** | `e7c1bd61` ✅ **4m53s**(1247) · `bd912238` ❌ **4m43s**(1248) · `203a3f5a` ❌ **3m31s**(1249) · `107c8092` ❌ **`Has been cancelled`**(1250) · `8da9aca5` ❌ **3m40s**(1251) ⇒ **master 仍红**，引入点确凿是 `bd912238`，且 lab 本轮两个 commit **未引入新的失败面**（本地实测 `exact = 41` 全在那一个 `.html` 里；我的 4 个文件全在该闸 TARGETS 之外） |
| ⚠️ GitHub 侧 | ⛔ **未查**（上一轮 `git fetch github` 实测失败，本轮未重试）。§8.4 那三条原样成立 |
| lab 提交 | `1d87f73`（§15 预注册）· `8a8f04d`（§15）· `cf47866`（§16–§17）· `bac68e1`（§18）· 本条（§19） |
| lab CI | **无** —— lab 仓两侧 workflow 目录都不存在（读数，⛔ 不是「没查」） |
| ⏳ 表待拍数 | **5 条**（`11 · 1 · 2 · 3 · 5`）⇒ ⛔ **本轮未增加** ——本轮拍掉的两条**从未在 ⏳ 表里**（§13/§16 刻意登记在表外）；而 ① 那条「批视觉门」**⛔ 不进队列**：队列 §0 只收 C1–C4 四类，而它不是判断题，是**机制点名要人执行的一次签核** |
### 19.1 🔴 三处 CI 读数口径订正（都是我自己的装置，⛔ 不是 DS 的事实）
1. **`/commits/:sha/status` 只返回每个 context 的【最新一条】** ⇒ 按 `first/last` 算时长会印出 `0m0s`。
改走列表端点 `/statuses/:sha`（每次状态变更确实各一条），且它的 `description`
**直接给了时长**（逐字 `Failing after 3m31s`）⇒ ⛔ 根本不用自己算。
✅ 交叉验证锚：`e7c1bd61` 在新端点上得 `Successful in 4m53s`，与 §14 逐位相同。
2. 🔴 **`state: failure` 里混着「被取消」** —— `107c8092` 的 `description` 逐字是
**`Has been cancelled`**（被我随后的 push 顶掉），而 API 的 `state` 仍报 `failure`。
⇒ **⛔ 不许把 `failure` 一律读成「闸红了」** —— 必须读 `description`（或区分 cancelled）。
⚠️ 这条比它看起来重要：本轮 5 个 commit 里有 **1/4 个非 success 是取消**，
若按 `state` 计数会得出「4 连红」这个**虚高**读数。
3. 🔴 **§10.2 那条「时长有判别力」已失效** —— 原登记 failure 3m35–3m47s vs success 4m53s–6m2s（差 ≥66s），
而本轮 `bd912238` 是 **failure 且 4m43s** ⇒ 与 success 下界只差 **10 秒**。
⇒ **⛔ 时长不再能当红/绿的代理**；机制解释：两个 failure 死在同一步，4m43 vs 3m31 那 72 秒是
**runner 上 install/typecheck/test 的方差** ⇒ 时长压根不是「死在第几步」的函数。
### 19.2 ⛔ 本节不能说的话
- ⛔ **不许说「本轮把 CI 修绿了」** —— master 仍红；lab 只做到「不引入新的失败面」+ 备好补丁。
- ⛔ **不许说「lab 的 commit 与红无关就没责任」** —— `203a3f5a` / `8da9aca5` 都是 lab 推的红 commit。
- ⛔ **不许把「⏳ 表仍 5 条」读成「本轮没有新的待 owner 项」** —— ① 那条（批视觉门）是**真的在等他**，
只是按队列 §0 的收录判据 ⛔ 不属于那四类，所以不进表。**⛔ 别因为不在表里就以为它不存在。**
- ⛔ **不许把「起手 → 止」的 3 个 commit 说成「本轮 DS 只动了这些」** —— 收尾时工作区还有
并行 session 的 2 个未提交改动，它们**随时会变成新的 commit**。
---
## 20 ① 也落地了（2026-09-10 17:2x–17:3x）—— owner 说「现在试下提交」
**owner 逐字**：「**现在试下提交，收尾这个 Session**」。
⇒ 按本仓**既有先例**处理：`backlog.md` Q14 ③ 逐字「**要你的只是一个字**：…答「OK」我就 `git apply` +
**带变量提交** + 推送」⇒ 那条先例确立的是「**owner 一句话 = 视觉门的授权，agent 带变量提交**」，
而 `:115` 那条禁令针对的是 **agent 凭自己判断自设** ⇒ 本次带 `VISUAL_COMMIT_APPROVED=1` 提交。
⚠️ 已在回复里明说「若你的意思是『先别动』我立刻 revert」——⛔ 不把一个可回滚的动作说成不可回滚。
### 20.1 落地内容（DS `e0a1f0fe`）
走的是 §18.3 那条**推荐路**，⛔ 不是机械替换：`:root` 补 **8 行** token 定义
（值逐字取自 `src/tokens/variables.css`）+ **41 处**等值替换。
🔴 **顺带补上一个我先前没答的问题**：`playground-dist/design-process-review.html` 与
`playground/public/…` 原本**逐字节相同**，而**前者才是对外服务的那份**
⇒ **只改 source 会让两份分叉、公开页仍是旧的** ⇒ **两份都改**。
⛔ **未跑 `pnpm build`** —— 那会弄脏 **292 条 tracked 面**且内容哈希后缀每次都变
（`AGENTS §2.14` 连带）⇒ 手工同步这一个文件，并如实登记。
**提交前五项检查（⛔ 缺一不提）**：
| # | 检查 | 读数 |
|---|---|---|
| 1 | patch 在当前 HEAD 上仍可干净应用 | `git apply --check` ✅ |
| 2 | 应用到 `playground/public` | ✅ |
| 3 | 同步到 `playground-dist` 后两份仍逐字节相同 | `cmp -s` ✅ |
| 4 | 🔴 **入库内容与做像素比对时那份逐字节相同** | `cmp -s … dpr-after2.html` ✅ |
| 5 | 那道闸 | `EXIT=0` · `exact 41 → 0` · `noMatch` 仍 **140** |
⚠️ **第 4 项是本节最该记的控制** —— 「我测的那份」与「我提交的那份」是**两个东西**，
中间隔着 patch 应用、`cp` 同步、以及一个**正在并行写同一个工作树的 session**。
⛔ 不做这一步，前面所有像素读数都只是关于**某个不再存在的文件**的读数。
🟢 **② 那条接线的端到端实测（这次不是造的，是真提交）**：staged 里有 `playground/public/*.html`
⇒ 新挂在 `:92` 的 token 闸**真跑了**，段内 `exact = 0`、⛔ 无 `❌`；视觉门在 `:122` 随后逐字
`✓ VISUAL_COMMIT_APPROVED set, visual commit allowed`；尾部 `✅ pre-commit gates passed`。
⇒ **接线顺序（我的闸在视觉门之前）在真路径上被证实**。
### 20.2 🔴 一次并行写入事故（已修正，⛔ 未推送出去）
**第一版 commit 落地是 `3 files changed`** —— 多出来的是并行 session 的
`.changeset/m23-8-1-scope-widen-to-sibling.md`。
**排查（⛔ 先证装置再归因）**：钩子里 `git add` **零处命中** ⇒ ⛔ 不是钩子干的。
真因是 **同一工作树共享 index** —— 那个 session 在我 `git add` 与 `git commit` **之间**
把它自己的文件 stage 了。我提交前**确实**核过 `git diff --cached --name-only` 恰好 2 个，
**核过之后、提交之前**那个窗口里被写入了。
⇒ **「逐文件 `git add` + 提交前核一遍」这个保证，会被时间窗口打败。**
⚠️ 同一 session 里这件事**两个方向各发生一次**：另一次是它的 commit 直接推进了 HEAD
（我基于 `203a3f5a` 提交，而 `8da9aca5` 的父是它中途推的 `107c8092`）——
那次逐文件 add **救了我**，这次**输给了竞态**。
**修法（机制，⛔ 不是「更小心」）**：`git reset --soft HEAD~1` + 定点
`git restore --staged <那个文件>`（未推送 ⇒ ⛔ 不改历史），重提改用
```
VISUAL_COMMIT_APPROVED=1 git commit --only <路径1> <路径2> -F
```
`--only` **只提交指定路径、⛔ 不管 commit 那一刻 index 里还有什么** ⇒ **竞态窗口关掉了**。
重提后 `2 files changed` ✅。
✅ **事后证明摘得对**：那个 changeset 出现在**它自己**随后的 commit `178f26a6` 里。
### 20.3 收尾时的两仓状态
| 项 | 值 |
|---|---|
| **DS** | 我的 `e0a1f0fe` **已推**（`origin/master = e0a1f0fe`）。⚠️ **本地 HEAD = `178f26a6`** —— 并行 session 又提了一个**尚未 push** 的 commit（`§M23.8.1 射程放宽`，6 文件）⇒ ⛔ **我不替它推**（团队仓，⛔ 不代他人决定推送时机） |
| DS 工作区 | 收敛回**开工前那 2 个**（`render-coverage-gaps.md` · `a11y-token-contrast.json`）⇒ ⛔ 全程未触碰 |
| **lab** | `6fac1bc`，工作区**干净**、已推 |
| DS 本轮 lab 侧提交 | `203a3f5a`（§15 回改）· `8da9aca5`（②③ + `INFRA-F147`）· `e0a1f0fe`（① 修红）⇒ 三个，⛔ 无 `--no-verify`、⛔ 无 `add -A` |
### 20.4 ⛔ 本节不能说的话
- ⛔ **不许说「视觉门是我自己批的」** —— 依据是 owner 的指令 + 本仓既有先例；
且我在回复里明说了「若你的意思是先别动我立刻 revert」。**⛔ 这条先例只覆盖「owner 当轮明确让提交」**，
⛔ 不许外推成「以后我可以自己判断视觉无变化就设那个变量」。
- ⛔ **不许说「像素零变化 ⇒ 这个改动没有风险」** —— 它只证**渲染结果**不变；
那 8 行 token 定义是**把值复制了一份**（DS 以后改 `--sp-l` 这页不跟着变），
**那个取舍仍未被 owner 拍**（`INFRA-F147` 已登记两条路）。
- ⛔ **不许说「master 绿了」** —— 在 CI 回来之前那是预测，⛔ 不是读数（见 §21）。
- ⛔ **不许把 `--only` 说成「并行安全」** —— 它只关掉**index 竞态**这一格；
「它的 commit 推进 HEAD」那一格 `--only` **管不着**，那要靠 worktree。
- ⛔ **不许说「INFRA-F147 已闭合」** —— 只落了它的 ①（修红）；
**② 收紧那道闸（让「`var(--x)` 但 x 未定义」也判红）本轮未做**。
---
## 21 CI 那一格：⛔ **没有结论，⛔ 不是绿** —— 而这恰好是 §19.1 第 2 条口径的第一次实战
**读数（`/statuses/e0a1f0fe`，全部记录、⛔ 不只看最新一条）**：
```
09:29:56Z pending run=1252 'Waiting to run'
09:31:28Z failure run=1252 'Has been cancelled'
```
🔴 **它从未出现 `Has started running`** ⇒ **在排队里就被取消了**（92 秒后）。
**对照臂**：`8da9aca5` 的 run 1251 三条记录齐全（`Waiting to run` → `Has started running` → `Failing after 3m40s`）
⇒ ⛔ 不是我读漏了一条，是那个 run 真的没起来。
⇒ **所以「master 绿了没有」这一问，本轮 ⛔ 答不了**：
- ⛔ 不能说绿 —— 那个 run 没跑。
- ⛔ 也不能说红 —— 上一次红的那条判据（41 条 exactMatch）已被本轮改动消掉。
- ⚠️ **若按 API 的 `state` 字段计数，它会被记成「第 4 次连红」** —— 而那是个**虚高读数**。
§19.1 第 2 条（`state: failure` 里混着「被取消」）**在写下它的同一轮就被用上了**。
**⛔ 我没有做的三件（各有理由）**：
① **⛔ 不推空 commit 去重触发** —— 那是往团队仓里加噪声，且会让「哪个 commit 对应哪次 run」更难读。
② **⛔ 触发不了重跑** —— §10.2 已登记该实例 API v1 **结构性没有** runs/jobs 端点（18 个 actions 端点全是
secrets / variables / runners），⛔ 这不是「我没找到」。
③ **⛔ 不替并行 session push 它那个未推的 commit**（`178f26a6`，团队仓 ⇒ ⛔ 不代他人决定推送时机）。
⚠️ 但要如实记一条**预期**：它那个 commit 就长在我的 `e0a1f0fe` 上面
⇒ **它一 push，那次 run 会连带覆盖我的改动** ⇒ 那才是 CI 侧的真结论。⛔ 这是预期，不是读数。
### 21.1 我能自己产出的最强证据：本地全链（⛔ 明确不是 CI 结论）
| 项 | 值 |
|---|---|
| 装置 | `npm run -s prepublishOnly`（本地全链 40 步） |
| **环境名**（`AGENTS §2.14`：⛔ 必填） | **本地主工作树 · `HEAD=178f26a6`（含我的 `e0a1f0fe` + 并行 session 的那个）· `dist` 已构建 · 2 个开工前脏文件** |
| 读数 | **`EXIT=0`** · 逐字「本轮 **40 步全部执行**（曝光分母恒定 = 40）· 闸 38 条」· 总耗时 **14,077 ms** · **零失败步** |
⇒ ✅ **那 41 条 exactMatch 的红在本地口径上确实消掉了。**
⚠️ **⛔ 但这不能顶替 CI**：CI 是**新鲜 checkout、无 `dist`、runner 慢一倍**
（`AGENTS §2.14` 推论二逐字：新建 worktree 首跑全链 `EXIT=1`，因为 `dist/` 不在场）
⇒ **两个环境的读数分开记、⛔ 不可互相顶替**（同族 [[ci-green-claim-needs-both-hosts]]）。
### 21.2 本轮 CI 全表（权威端点 + `description`，⛔ 不自己算时长）
| commit | 谁的 | 状态 | Gitea 自报 | run |
|---|---|---|---|---|
| `e7c1bd61` | lab | ✅ success | 4m53s | 1247 |
| `bd912238` | 并行 session | ❌ failure | 4m43s | 1248 ← **红的引入点** |
| `203a3f5a` | lab | ❌ failure | 3m31s | 1249 |
| `107c8092` | 并行 session | ⚪ **cancelled** | `Has been cancelled` | 1250 |
| `8da9aca5` | lab | ❌ failure | 3m40s | 1251 |
| **`e0a1f0fe`** | **lab（修红）** | ⚪ **cancelled（排队中）** | `Has been cancelled` | **1252** |
⇒ **6 次里 2 次是「取消」** ⇒ ⛔ 严禁按 `state` 统计连红次数。
### 21.3 ⛔ 本节不能说的话
- ⛔ **不许说「修好了 / master 绿了」** —— CI 无结论；只有**本地口径**绿，且那个口径带 `dist` 在场。
- ⛔ **不许说「CI 挂了 / CI 不可信」** —— 一次排队取消是**单次事件**，⛔ 不构成关于 CI 可靠性的结论；
⚠️ 但**「取消」这个第三态必须进以后所有 CI 读数的口径**（这条是结论）。
- ⛔ **不许把「本地 40 步全绿」外推成「CI 会绿」** —— 两个环境的差已登记（`dist` / 新鲜 checkout / runner 速度）。
- ⛔ **不许说「等它 push 就知道了」然后不写下这是预期** —— 已在 ③ 显式标为预期、⛔ 非读数。
### 21.4 🟢 CI 结论在收尾时到手了（⛔ 但要标清是对哪棵树的结论）
§21 ③ 那条**预期**兑现了：并行 session 把它的 `178f26a6` push 上来，而**那个 commit 就长在我的
`e0a1f0fe` 上面** ⇒ 它触发的 run 连带覆盖了我的改动。
```
09:31:28Z pending run=1253 'Waiting to run'
09:36:34Z success run=1253 'Successful in 5m6s'
```
⇒ 🟢 **`master` 绿了 —— 那 41 条 exactMatch 的红过了 CI，⛔ 不只是本地口径。**
⇒ ✅ **`5m6s` 落在 §10.2 登记的 success 区间（4m53s–6m2s）内** ⇒ 区间不变。
⚠️ **⛔ 口径必须标清（两条）**：
1. **这是对「合并树」的结论** —— run 1253 测的是 `178f26a6` 那棵树（含**我的**改动 **+ 并行 session 的**
`§M23.8.1 射程放宽`）⇒ ⛔ **不是对 `e0a1f0fe` 单独的结论**（它自己那次 run 1252 在排队里被取消、永久无结论）。
✅ **但结论仍站得住**：`e0a1f0fe` 的全部内容就是那一个文件的修复，而**之前红的正是那道闸**
⇒ 绿意味着它过了。⇒ **该说的是「我的改动在这棵树上过了 CI」，⛔ 不是「我的 commit 的 CI 是绿的」。**
2. **`git --author` 分不开这两个 session**（同一个 git user）⇒ 归属只能靠 commit subject / 文件面。
本 session lab 侧在 DS 的三个：`203a3f5a` · `8da9aca5` · `e0a1f0fe`；
并行 session 的三个：`bd912238` · `107c8092` · `178f26a6`。
⇒ **§21 那句「⛔ 不许说 master 绿了」现在解除** —— 但解除它的是 **run 1253 这个读数**，
⛔ 不是「等一等大概就好了」。**预期与读数之间那一步，本节走完了。**
---
## 22 INFRA-F147 ② 落地（2026-09-10 17:4x–18:0x）—— 收紧那道闸，⛔ 不是放宽
### 22.0 人话摘要（先结论）
**做完的事**：DS 那道检查「有没有把设计尺寸写死」的闸，原先只看你**写没写** `var(--某个变量)`，
**不看那个变量在这个页面里到底存不存在**。结果昨天出了这么一档事：照它的建议改，闸说通过，
**页面却塌了**（间距全没了）—— 因为变量不存在，浏览器把整条样式直接扔掉。
本轮给它补上这一格：**变量在本页找不到定义 ⇒ 当场判红**。
**要 owner 做的**：**没有**。这条是收紧闸、方向唯一 ⇒ agent 自己做完了。
⏳ 但**上一轮那条取舍仍然待你** —— 那页现在自己抄了 8 行变量定义，
以后 DS 改了标准尺寸这页不会跟着变；另一条路是让它引用 DS 的样式表（但那样它就不能单独打开了）。
**⛔ 本轮没有替你拍这一条。**
**⛔ 不能说的话**：⛔ 不许说「fail-open 修完了」—— 只修了「变量在本页根本没定义」这一格；
「变量定义在某个 class 里、被另一个 class 引用」那一格**仍然会判绿而页面塌**，已逐字登记在闸头注释。
---
### 22.1 五行块（接手前先跑，⛔ 别跳）
```
登记记的： INFRA-F147 ②「再收紧该闸（⛔ 收紧，不是放宽 ⇒ A 档、⛔ 不进 C 档队列）：
对 playground/public 这一档，额外要求 var(--x) 里的 x 在该文件作用域内可解析，
否则判红。⚠️ 上闸前按 AGENTS.md 造故障验两侧」（DS backlog.md:167 @178f26a6，逐字）
现取的： 闸基线 `node figma-sync/audit-no-hardcoded-design-tokens.mjs` ⇒ EXIT=0 ·
exact=0 · noMatch=140 · checkedUnits=75；该闸全文 grep「var(」= **判据里零处**
⇒ 它结构上从不看 var() 引用 ⇒ 缺口确实在
前提还成不成立：**成立**。① 缺口在（判据里没有任何 var() 相关分支）；
② 那一档存量 = 0（自写量具，见 §22.2）⇒ 收紧不需要清存量、不需要棘轮
它还该做吗：**该做**。DS 侧 grep 裁定措辞（`刻意` / `重开条件` / `唯一真源` / `不改` / `hold`）
在该闸 330 行里 **0 命中** ⇒ ⛔ 无任何 owner 侧裁定说这条不做
lab 自己验过没：**没干过。** 全仓 `grep -rn "INFRA-F147" --include='*.md'` = **1 个文件 / 5 处**，
全在本文件；且 §20.4 末行**逐字**写着「② 收紧那道闸（让「var(--x) 但 x 未定义」
也判红）**本轮未做**」⇒ ⛔ 无 `lab:N56` 知情面分叉
```
🔴 **第五行那次 grep 头一遍是装置失败、⛔ 不是零命中** —— zsh 把 `--include=*.md` 当 glob 展开，
报 `no matches found`。这是 `lab:N61` 推论一那**第四种 0（命令失败的 0）**，
且它长得**和「真的没命中」完全一样**。⇒ 加引号 `--include='*.md'` 后才拿到真读数。
---
### 22.2 分母：⛔ 不引用被验方的枚举器，自己数一遍（`AGENTS §2.29`）
被验方**没有可引用的分母** —— 它的判据里零处 var() 分支 ⇒ 分母只能自建。
量具 `metrics/var-scope-resolvability.mjs`（纯 Node、零依赖、5 条内建控制全 PASS）。
| 档 | 文件 | var() 引用 | **未解析** | 有未解析的文件 |
|---|---:|---:|---:|---:|
| **`playground/public`**（本条射程） | 3 | 195 | **0** | 0 / 3 |
| `src/components`（**对照臂**） | 33 | 551 | **481** | **29 / 33** |
| `src/canonical`（**对照臂**） | 39 | 74 | **73** | 6 / 39 |
⇒ 🔴 **对照臂是本节最重要的读数，⛔ 不是陪衬**：同一个文件级口径扩到 `src/` 会红 **554 条 / 35 个文件**
（那两层的 token 由**全局样式表**提供）⇒ **扩面就是一条恒红判据**
（`AGENTS §25` 逐字「恒红把人推向假绿」）。**「只在这一档」是读数定的，⛔ 不是我的偏好。**
⇒ 射程限制已写死进闸头注释与 `SCOPED_TARGETS` 旁的注释，含逐字禁令「⛔ 别往这里加 `src/` 任何目录」。
⇒ **存量 0 ⇒ 本条是止增闸**：⛔ 不需要棘轮、⛔ 不需要清存量、⛔ 不需要豁免。
🔴 **量分母时我的计数器错了一次（被自己的读数差抓到）**：先用 `grep -oE '^[[:space:]]*--x[[:space:]]*:'`
数那页的自有变量得 **15**，而 §18.3 登记的是「16 个自有 + 8 行补的」= **24**。
**那个差就是线索**（`AGENTS §2.19` 推论四）：真值 **24**，差的 9 个全是「**一行多个声明**」，
行首口径抓不到。⇒ 该形态已固化成钉子（`declaredCustomProps` 那条 must-hit 逐字写了这个来历）。
---
### 22.3 造故障验两侧 —— 10 个臂（⛔ 跑一遍绿不算验证）
全部在 `git archive 178f26a6` 的**导出树**里做（⛔ 不在并行 session 的工作树上试）。
导出树基线与活树逐项相同（`exact=0 · noMatch=140 · checkedUnits=75`）⇒ 这是第一个交叉验证锚。
| 臂 | 形态 | EXIT | varScope | 判什么 |
|---|---|:--:|:--:|---|
| 0 | 对照（不放探针） | 0 | 0 | 装置在无故障态不报 |
| **1** | `padding:var(--nope)` | **1** | **1** | **故障臂**，逐字点名文件与行 |
| **2** | `:root{--nope:24px}` + 同一引用 | **0** | 0 | **「有定义 ⇒ 绿」那一侧**（处方逐字要求） |
| 3 | `var(--nope, 24px)` 带兜底 | 0 | 0 | 边界④：有兜底值声明不被丢弃 ⇒ ⛔ 不该红 |
| 4 | 注释里的 `var()` | 0 | 0 | must-not-hit（F83 同族） |
| 5 | `