docs(skills): state the ablation-on-dist hazard as a resolution property, not a dogfood one

.claude/agents/os-dev.md

@@ -190,14 +190,21 @@ dispatch prompt 只携带每单增量(裁决引文、裁决 / PM-机制假设分
  (删掉一个喂计数的读取,能让下游门禁*多出*一个发现);反转(canonical-first 的 `??`
  链:非法拼写落到 schema 的具名拒收 —— 规则绿、schema 红)。报告你实际观察到的方向;永
  不硬套模板的预设。
-- **dogfood ablation 跑在 `dist/` 上,所以要重建被 ablate 的包 —— 并在报告里说明你建
- 了。** `packages/qa/dogfood` 刻意从各包**构建产物 `dist/`** 解析被测代码,且两个方向
- 不对称:没 build 的修复是会被注意到的假红,没 build 的 **ablation** 跑的是变异前的构
- 建、保持**绿** —— 给一条可能永远失败不了的断言背书,对 CI 永久隐形。每一腿都是:变异
- → `pnpm --filter <pkg> build` → **证明变异到达了产物** → 运行:
- `node scripts/ablation-dist-preflight.mjs <pkg> '<marker>'`,ablation 删守卫时用
- `--absent` —— 它同时是恢复腿,因为留在 `dist/` 里的 marker 会让变异代码在之后每次运行
- 里继续生效。
+- **ablation 的成立条件是解析路径,不是套件名 —— 变异腿与还原腿都要重建,并在报告里说
+ 明你建了。** 条件:**被测主体经依赖的 `exports` 解析**(那指向该包的 `dist/`,不是
+ `src/`),且没有 vitest alias 把 specifier 拉回源码;这批 pair 有实测台账 ——
+ `scripts/check-test-source-alias.mjs` 的 `KNOWN_UNALIASED_TEST_IMPORTS`。
+ `packages/qa/dogfood` 是最眼熟的一例,不是定义:读成 dogfood 专属,普通单元套件里的
+ ablation 就会被当真(实测:plugin-email → platform-objects 消融后 375 试全绿,重建后
+ 4 红;plugin-auth → core 那组「证明新门禁能红」的腿跑的是变异前产物)。两个方向不对
+ 称:没 build 的修复是会被注意到的假红;没 build 的 **ablation** 保持**绿**,给一条可
+ 能永远失败不了的断言背书,对 CI 永久隐形(CI 构建正确,那边永远绿)。⚠️ 消融本就为证
+ 明**新门禁能失败**时,这份假绿不是空结果 —— 它读作「门禁没触发」,指向门禁坏了而不是
+ 夹具坏了,于是有人去弱化一条本来正常的门禁。所以每一腿(变异**与**还原)都是:改动 →
+ `pnpm --filter <pkg> build` → **证明它到达了 `dist/`** → 才读运行结果:
+ `node scripts/ablation-dist-preflight.mjs <pkg> '<marker>'`(删守卫的消融、以及每个
+ **还原腿**,用 `--absent`)。⛔ 还原腿最常被跳过 —— 留在 `dist/` 里的 marker 会让变异
+ 代码对该树之后的每次运行继续生效,后面的测量量的是错的树。
 
 ## Definition of done(按序)
 

.claude/skills/dogfood-verification/SKILL.md

@@ -63,15 +63,22 @@ dev 工作树、dev-server 端口、preview 浏览器全是**共享的**:并行
  watcher 只重编译示例应用自己的 `objectstack.config.ts` / `src`,不管工作区的包。
 - [ ] 所以:先做完**全部**源码编辑 → `pnpm --filter <pkg...> build` →
  `preview_stop` + `preview_start`。不要每修一处就编辑→构建→重启一遍。
-- [ ] ⚠️ **消融验证(predict-then-mutate)以最危险的方式继承这一条 —— mutate 与运行
- 之间要重建,并在报告里写明重建过。** 忘记重建*修复*是假红:费一圈,但会被发
- 现。忘记重建**消融**跑的是突变前的构建,套件保持**绿**,而这份绿会被记成「测试
- 已被证明有区分度」—— 给一条可能根本红不了的断言发了证书,之后任何 CI 都暴露不
- 了它(CI 构建正确,在那边永远绿)。每一腿都是 mutate →
- `pnpm --filter <pkg> build` → **证明突变已到达 `dist/`** → 运行:
- `node scripts/ablation-dist-preflight.mjs <pkg> '<marker>'` 只在被消费的
- `dist/` 真带着突变时才退 0(消融删除守卫时用 `--absent`;restore 腿也要跑它 ——
- 留在 `dist/` 里的 marker 会让突变代码对该树之后的每次运行保持生效)。
+- [ ] ⚠️ **消融验证(predict-then-mutate)以最危险的方式继承这一条,而且它不是 dogfood
+ 专属 —— mutate 腿与 restore 腿各自都要重建,并在报告里写明重建过。** 判据是解析
+ 路径:任何主体经依赖的 `exports` 解析(→ 该包的 `dist/`,且没有 vitest alias
+ 把 specifier 拉回源码)的测试都中招,普通单元套件一样(这批 pair 的台账是
+ `scripts/check-test-source-alias.mjs` 的 `KNOWN_UNALIASED_TEST_IMPORTS`)。忘记重
+ 建*修复*是假红:费一圈,但会被发现。忘记重建**消融**跑的是突变前的构建,套件保持
+ **绿**,而这份绿会被记成「测试已被证明有区分度」—— 给一条可能根本红不了的断言发了
+ 证书,之后任何 CI 都暴露不了它(CI 构建正确,在那边永远绿);消融本就为证明**新门
+ 禁能失败**时更毒 —— 那份绿读作「门禁没触发」,指向门禁坏了而不是夹具坏了,会诱人
+ 去弱化一条本来正常的门禁(实测:plugin-auth → core;plugin-email →
+ platform-objects 则是消融后 375 试假绿、重建后 4 红)。每一腿(mutate **与**
+ restore)都是:改动 → `pnpm --filter <pkg> build` → **证明它到达了 `dist/`** → 才
+ 读运行结果:`node scripts/ablation-dist-preflight.mjs <pkg> '<marker>'` 只在被消费
+ 的 `dist/` 真带着该状态时才退 0(消融删除守卫、以及每个 restore 腿,用
+ `--absent`)。⛔ restore 腿最常被跳过 —— 留在 `dist/` 里的 marker 会让突变代码对该
+ 树之后的每次运行保持生效,后面的测量量的是错的树。
 - [ ] `dist/` 已 gitignore —— 安全;永不提交构建产物。
 - [ ] **`/_console` UI 是 *vendored objectui 构建*,与框架 `dist` 是两回事。** 它由
  `.objectui-sha` 钉住、按预构建 bundle 提供。已合并的 objectui 修复 —— *甚至