fix(ci): ReproSpec.ci.skip —— 让 Windows-only / 手工预置类 spec 在 Ubuntu CI 上自报豁免 (closes #3)

[libz-renlab-ai]

fix(ci): ReproSpec.ci.skip —— 让 Windows-only / 手工预置类 spec 在 Ubuntu CI 上自报豁免

关闭 issue #3 Gap 1。

背景

PR #2 落地远程评审 workflow 后,首次 dogfood 跑出 verdict=fail —— 因为唯一现存 spec fixtures/repro-specs/hook-moment-block.ts 是「数据驱动差异」(baseline.ref="HEAD",两侧靠 env 切的 $TA_DEMO_STAGE/home-empty|loaded 切知识库),Ubuntu runner 上既没那俩目录也没 TA_DEMO_STAGE,必然 fail。本 PR 让这类 spec 自报「我在 CI 上跑不了」,被 list-specs job 显式过滤掉,verdict 把它当豁免。

变更

文件	内容
scripts/verify/list-specs-core.ts(新)	纯函数 filterCiSpecs(specs) —— 按 ci.skip 把 spec 列表分成 included 与 excluded。Functional Core,严禁 IO import
scripts/verify/list-specs-core.test.ts(新)	node:test 7 个 case:空数组 / 无 ci / ci.skip=false / 仅 reason / skip+reason / skip 无 reason 默认值 / 混合保序
scripts/verify/repro-types.ts	ReproSpec 加 optional ci?: SpecCi({skip?, reason?})
scripts/verify/list-ci-specs.ts(新)	IO 壳:readdirSync(fixtures/repro-specs) → pathToFileURL + 动态 import → 抽 spec.ci → filterCiSpecs → JSON to stdout
fixtures/repro-specs/hook-moment-block.ts	加 ci: { skip: true, reason: "需 $TA_DEMO_STAGE 下两份知识库目录预置 + 录 GIF 仅 Win32 可行" }
.github/workflows/pr-review.yml	list-specs job 拆 label-shortcut step(skip-repro label 早退,不必装 pnpm/node)+ setup-repo + npx tsx scripts/verify/list-ci-specs.ts;新加 excludedSpecs output;verdict job 把豁免列表附在 repro_summary 后,verdict comment 上一眼可见哪些 spec 被豁免

架构遵守

• Functional Core, Imperative Shell:list-specs-core.ts 纯函数,严禁 import fs;IO 在 list-ci-specs.ts。
• TDD:list-specs-core.test.ts 先写,跑红 → 实现 → 跑绿(7/7)。每个 commit 都跑得通、测试绿。
• 小 commit 4 个:list-specs-core 红→绿、ReproSpec.ci 类型、list-ci-specs IO 壳 + spec 标记、pr-review.yml 接入。

验证

$ tsx --test scripts/verify/list-specs-core.test.ts
# tests 7 / pass 7 / fail 0

$ tsx scripts/verify/list-ci-specs.ts
{"included":[],"excluded":[{"file":"fixtures/repro-specs/hook-moment-block.ts","reason":"需 $TA_DEMO_STAGE ... 录 GIF 仅 Win32 可行"}]}

预期 dogfood 表现

本 PR 一开,会触发的 pr-review.yml 跑应该:

1. list-specs job —— 读 spec ci.skip=true → specs=[] + excludedSpecs=[{...}] + skipReason="all-specs-ci-skip: ..." + 注解 warning
2. repro matrix —— specs=[] → 整个 job skipped
3. tests job —— 预期仍 fail(21 个 Matrix baseline 预存失败,不在本 PR 范围,issue [follow-up] PR #2 dogfood 揭示两个预存问题:CI repro 豁免 + Matrix baseline pnpm test 失败 #3 Gap 2)
4. verdict job —— repro_ok=true(豁免)+ tests_ok=false → verdict=fail,但只挂 tests-and-merge-clean 一条,不再因 repro 错挂

把「repro 不该挂」的部分修干净,留 Gap 2 作下一个独立 PR。

合并方式

无 Visual proof of work 章节 → can-auto-merge.ts 不会因此豁免;但 tests-and-merge-clean 还会 fail → can-auto-merge.ts:52 仍会因 reviewVerdictState !== "success" 拒绝自动合 → 回落到 human-merge(等 Gap 2 修了之后,本类纯 CI fixup PR 才能享受全自动)。

关联

• issue [follow-up] PR #2 dogfood 揭示两个预存问题:CI repro 豁免 + Matrix baseline pnpm test 失败 #3: [follow-up] PR #2 dogfood 揭示两个预存问题:CI repro 豁免 + Matrix baseline pnpm test 失败 #3 1 = 本 PR;Gap 2 留作下一个 PR)
• PR feat: 端到端搭通 WORKFLOW.md —— 5 个 Plans + 2 个 Phase,25 commits #2: https://github.com/libz-renlab-ai/Matrix/pull/2(揭示 Gap 1 的 dogfood 来源)
• WORKFLOW.md 第 4–5 步「本地 review → 远程 review」—— 本 PR 是 PR feat: 端到端搭通 WORKFLOW.md —— 5 个 Plans + 2 个 Phase,25 commits #2 落地后第一个跑完整流水线的 PR

🤖 Generated with Claude Code

[github-actions]

❌ 远程评审 verdict: fail

commit 07052d2 · workflow run · 2026-05-15T07:20:19Z

标准	结果	简述
repro-pass	✅	豁免 — all-specs-ci-skip: fixtures/repro-specs/hook-moment-block.ts (需 $TA_DEMO_STAGE 下 home-empty/home-loaded 两份知识库目录预置 + 录 GIF 仅 Win32 可行)
tests-and-merge-clean	❌	tests failed or tree dirty (TESTS_OUTCOME=failure)

---

要修这个失败,请在本地按 docs/plans/2026-05-15-local-review-loop.md 跑 loop-driver.ts,push 修复 commit 即可触发本评论刷新。