fix(e7): readBoundedBody 读全响应体 —— 修 runForEachWhile 只读首个 chunk 的静默截断

[jinjunnn]

Fixes #647

缺陷

readBoundedBody() 用 Stream.runForEachWhile,它只消费第一个 chunk 就停,即使谓词恒返回
true。唯一的生产调用方 call()(mcp-websearch.ts:339)于是拿到截断的 JSON,登出态 web
search 真调报 invalid response … Unterminated string in JSON —— 而上游返回的是成功结果。

读法	chunk 数	字节
Stream.runForEachWhile(修复前)	1	4,090
Stream.runForEach	3	18,063
response.text	—	18,034

引入点 d341b208d(PR #639,落地 #489 的有界读取要求);该 commit 之前是
const body = yield* response.text,读全、无此缺陷。已发版的回归。

修法

与 tool/read.ts:146 同构 —— runForEach 读全 + tagged error 在触限那一刻中止上游流:

class BodyCapReached extends Schema.TaggedErrorClass<BodyCapReached>()("BodyCapReached", {}) {}

yield* Stream.runForEach(response.stream, (chunk) =>
  Effect.gen(function* () {
    const remaining = MAX_BODY_BYTES - size
    if (chunk.byteLength <= remaining) { chunks.push(chunk); size += chunk.byteLength; return }
    if (remaining > 0) { chunks.push(chunk.subarray(0, remaining)); size = MAX_BODY_BYTES }
    truncated = true
    return yield* new BodyCapReached()   // 触限即拉断上游
  }),
).pipe(Effect.catchTag("BodyCapReached", () => Effect.void))

不能天真换成裸 runForEach —— 那会读完整条流再截,把 #223 R2 Major 6 的 DoS 洞放回来
(R2 复现:单个 3 MiB chunk 实收 3,145,728 字节,而声明上限 2,097,152)。
MAX_BODY_BYTES 仍是与块大小无关的硬限;truncated 语义与 [truncated at N bytes] 后缀不变。

类扫

• Stream.runForEachWhile 生产用法:全仓仅 mcp-websearch.ts:272 一处。read.ts:144
  是禁令注释,不是调用。
• readBoundedBody 调用方:生产仅 mcp-websearch.ts:339;另有测试引用一处。
• 实例只有一个,但类已出现两次。

类级防复发:注释不是闸门

第一次踩(read.ts)的教训只写进了注释:

we avoid Stream.runForEachWhile (it currently swallows the final unterminated line …)

六周后 mcp-websearch.ts 照 API 直觉又写了一遍。一条写在 A 文件里的教训,对正在写 B 文件的
人不可见。

新增 packages/ui-mac/src/main/stream-read-hygiene.test.ts —— 全仓生产源码禁
Stream.runForEachWhile,并强制「新增提及即分类」。闸门自身带两条防空闸自检:
扫描器覆盖面(必须扫到 >200 个文件且包含两次事故现场文件)+ 检测器自我变异。
登记清单不构成豁免:登记的文件仍被单独断言「是禁令、不是调用」。

诚实边界写在文件抬头:这是源码文本闸,Stream["runForEachWhile"] / 取别名绕得过。
它挡的是现实里唯一见过的形态(有人照 API 直觉直接写了它),是减速带不是安全边界。
缺陷本身的行为闸在 opencode 测试里,断言的是可观测结果。

顺带修的空闸门

行为闸住在 packages/opencode/test,而该目录一条都没进过 alpha CI(test job 以前只跑
contracts-consumer / ext / ui-mac)—— alpha-websearch-failure.test.ts 的抬头早已把这条盲区
写下来。补一个 CI 步骤,只跑 alpha 自有的那份 web search 闸门测试(不跑 opencode 全量,那不属
alpha)。

测试 + 变异验证

新增 #647 一组三条,全部断言可观测结果(字节数 / 上游是否被 cancel / pull 次数),
无源码文本断言。

变异 A —— 撤掉「读全」修复(换回 runForEachWhile):

(fail) a multi-chunk body arrives whole — not just the first chunk
       Expected: 14097   Received: 4090
(fail) the truncated multi-chunk JSON no longer breaks a real search call
       Web search failed: invalid response … SchemaError(SyntaxError: JSON Parse error: Unterminated string)
(fail) reading to the end did NOT relax the cap — the upstream is torn down at the limit
       expect(cancelled).toBe(true)  Expected: true  Received: false
0 pass / 3 fail

变异 A 复现出的报错文本与线上真实故障逐字一致。

变异 B —— 撤掉「触限即中止」修复(裸 runForEach,读完再截):

(fail) reading to the end did NOT relax the cap — the upstream is torn down at the limit
       expect(pulls).toBeLessThan(8)   Expected: < 8   Received: 8
       expect(cancelled).toBe(true)    Expected: true  Received: false
2 pass / 1 fail

两条「提前中止」信号各自独立转红(分别单独验过),不是一条带着另一条。
两处修复放回后:45 pass / 0 fail。

变异 C —— 类级闸自身(把 runForEachWhile 重新写回 mcp-websearch.ts):

(fail) 全仓源码零处调用 Stream.runForEachWhile
       + ["packages/opencode/src/tool/mcp-websearch.ts"]
(fail) packages/opencode/src/tool/mcp-websearch.ts 里那处提及仍然是禁令,不是调用
       Expected: false  Received: true
4 pass / 2 fail

注意第二条:该文件在登记清单里,清单没有把它放过去 —— 登记不等于豁免。
放回后:6 pass / 0 fail。

本地闸门(主 checkout,未等 GitHub Actions)

闸	结论
north-star	PASS —— 按 CI 原命令跑(含全部 :(exclude)):零上游改动。mcp-websearch.ts 属 ADR-035 已收编面;两个测试文件对 --diff-filter=DMR 是 A
typecheck	零增量。base 与 HEAD 都是同样 2 条既有错误(alpha-mcp-websearch-gate.test.ts(342,31)、alpha-websearch-failure.test.ts TS2345);后者行号 540 → 644,正是本 PR 插入的 104 行位移,错误文本逐字相同。ui-mac typecheck 干净
unit	零回归。ui-mac base 3077 pass / 0 fail → HEAD 3083 pass / 0 fail(+6 = 新增闸门)。opencode alpha 自有测试 45 + 7 + 15 全绿
docs gate	无 Markdown 改动,no-op

未重新打包应用(按约定留到审计通过之后)。

🤖 Generated with Claude Code

[jinjunnn]

codex 第 1 轮 Major ①/② 已修(push ca69f24ab)

修复本身(readBoundedBody)未动 —— Q1/Q2/Q3/Q6 已过,不碰。

① stream-read-hygiene.test.ts —— 枚举补全 + 漏扫可观测

手写 walker 换成 git ls-files --cached --others --exclude-standard(可证明完备,且覆盖尚未 git add 的新文件)。覆盖面自检从「扫到了一些文件」改成「漏扫本身可观测」:钉住根 package.json 的 workspace 通配符清单(新增 workspace 根即红)+ 断言每个嵌套 workspace 根都真有文件进入集合 + 断言 packages/stats/server/src/ingest.ts 这个具体绕过点在集合里。抬头改成守住什么写什么,并显式列出守不住什么。

绕过实测 —— 在 packages/stats/server/src/ingest.ts 注入 Stream.runForEachWhile(...),同一时刻同时跑新旧两版闸门:

############ 新闸门(必须红)############
- ["packages/opencode/src/tool/read.ts", "packages/opencode/src/tool/mcp-websearch.ts"]
+ ["packages/opencode/src/tool/read.ts", "packages/stats/server/src/ingest.ts", ...]
(fail) 提到这个名字的文件集合没有变 —— 新增即分类
 6 pass / 2 fail

############ 旧闸门(HEAD 上的已提交版本,证明绕过真的成立)############
 6 pass / 0 fail        ← 全绿。codex 的判断完全正确。

撤掉注入后:8 pass / 0 fail。旧版漏掉的是 packages/console/* + packages/stats/* + packages/sdk/js 共 353 个生产文件。

② alpha-ci.yml —— 零用例不再默认放行

先证明前提:bun test 对被清空的文件打印 Ran 0 tests across 1 file 并 exit code = 0(实测)。原步骤在闸门被删光时会全绿。

改为解析实际通过数 + 钉下界 40(当前 45);bun 非零退出仍单独判红。五个场景逐一实测(脚本是从 workflow 里逐字拷出来跑的):

场景	bun exit	parsed pass	步骤 exit
A 文件被清空(0 用例)	0	0	1 ✅
B 用例条件注册成零条	0	0	1 ✅
C 闸门被砍到 5 条	0	5	1 ✅
D 45 条但有真失败	1	44	1 ✅
E 真实闸门文件	0	45	0 ✅

本地闸门(重跑)

闸	结论
north-star	PASS(CI 原命令,含全部 :(exclude))
typecheck	零增量 —— ui-mac 干净;opencode 仍是同样 2 条既有错误
unit	零回归 —— ui-mac 3085 pass / 0 fail(基线 3077,+8 = 本闸门);opencode 闸门 45 pass / 0 fail
docs gate	无 Markdown 改动,no-op

YAML 已用 yaml.safe_load 验证可解析,test job 步骤序列正确。

建票

#649 —— alpha 自有的其余 opencode 测试不在任何 CI 里跑(type:chore/P2),含 23 秒耗时与 Bun.serve 超时告警的评估要求。

第三种同类假绿(报告,未修,按范围要求不扩)

bun test src 对「测试文件被删除」同样默认放行。 删掉 stream-read-hygiene.test.ts,ui-mac суite 跑 3077 条全绿、CI 全绿,类级闸门就此消失 —— 与 ② 同一类(用例数减少不可观测),但②我修的是「文件还在但零用例」,这一种是「文件没了」。证据是现成的:本 PR 的基线测量(不含该文件)就是 3077 pass / 0 fail。
与 ② 的区别在于它不自愈。最小修法是给 ui-mac 那一步套用与本 PR ② 相同的下界断言形态。是否要做请裁决 —— 它影响的是所有 3000+ 条 ui-mac 断言,不止本票。

[jinjunnn]

第三种假绿已在本 PR 修掉(push 0c17d3c48)

形态

把「断言实际执行的用例数」抽成 scripts/bun-test-floor.sh,三处共用同一个机制而不是三份拷贝(拷贝会各自漂移,那正是下一次漏掉的成因)。

关键:两层下界,各管各的。 你要的两件事之间有张力,我按实测拆开处理 ——

层	下界	抓什么
ui-mac 整套 suite	3000(当前 3085)	灾难性丢失:suite 加载失败、成片删除、runner 配错
类级闸单独点名	6(当前 8)	单个闸门文件被删除

地板 3000 抓不到「删掉一个 8 条用例的文件」(3085→3077 远高于 3000)。所以单靠地板无法闭合这条缝——必须点名。地板值刻意留大余量,正是按你说的「别钉死在当前数字上」;点名步骤的下界 6 也留了 2 条余量(登记项增减不会误红)。

绕过实测

删掉 stream-read-hygiene.test.ts 后,同一时刻跑两步:

===== 步骤 1:ui-mac 整套 suite,地板 3000 =====
EXIT = 0                                            ← 全绿!
── bun exit=0 · 实际通过 3077 条 · 下界 3000
✓ 3077 条断言真的执行了

===== 步骤 2:点名类级闸自身,下界 6 =====
EXIT = 1                                            ← 红
── bun exit=0 · 实际通过 0 条 · 下界 6
::error::… 测试失败

这组对照就是「为什么两层都要有」的证据:只上地板等于没修。

另一分支(文件还在但被清空,bun 会 exit 0):

EXIT = 1
── bun exit=0 · 实际通过 0 条 · 下界 6
::error::只跑了 0 条断言,低于下界 6。用例被删除/清空/条件注册成零条时,bun 会打印 Ran 0 tests 并退出 0,只看退出码的步骤会全绿。

放回后:EXIT = 0 · 实际通过 8 条 · 下界 6 ✓,文件与备份 diff 一致。

三步在本地按 CI 的方式全跑一遍

ui-mac suite    EXIT=0 · 3085 条 · 下界 3000 ✓
class gate      EXIT=0 ·    8 条 · 下界    6 ✓
websearch gate  EXIT=0 ·   45 条 · 下界   40 ✓

#649 已追加

docs-only PR 跳过全部测试 job 那段已追加进 #649 正文:现象、为什么是延迟而非永久(违规永久留在 git ls-files 枚举里,下一个 code PR 必红)、以及真实成本——违规会在一个与它无关的 PR 上炸红,作者没碰过那个文件却看到自己的 PR 红,这训练人去怀疑闸门而不是怀疑代码,继而学会加 exclude / --admin 合掉。并给了三个候选处置供评估。

本地闸门(重跑)

闸	结论
north-star	PASS(CI 原命令,含全部 :(exclude))
typecheck	零增量 —— ui-mac 干净;opencode 仍是同样 2 条既有错误
unit	零回归 —— ui-mac 3085 / 0 fail;类闸 8 / 0;websearch 闸 45 / 0
YAML	yaml.safe_load 通过,test job 六步序列正确

第四种?

无。 说明搜索了什么见下一条回复。

[jinjunnn]

更正:上一条我答「无」,是错的(push 08daf5af3)

自查第四种时,我先按类枚举了 test job 的全部步骤,发现还有两步是同一类:

- name: bun test (contracts consumer fixtures)   →  run: bun test     ← 只看退出码
- name: bun test (ext)                           →  run: bun test     ← 只看退出码

它们和我刚修的三步共享完全相同的零用例默认放行缺陷。

绕过实测(把 ext 全部 10 个测试文件清空)

--- 原步骤形态(裸 bun test,只看退出码)---
 0 pass
 0 fail
Ran 0 tests across 10 files. [6.00ms]
裸 bun test EXIT = 0        ← 原来的 CI 步骤:全绿

--- 新步骤形态(带下界 100)---
EXIT = 1
── bun exit=0 · 实际通过 0 条 · 下界 100 · (packages/ext: )
::error::只跑了 0 条断言,低于下界 100。…只看退出码的步骤会全绿。

还原后 132 条绿。两步已接到同一个 scripts/bun-test-floor.sh(下界 15 / 100,当前 19 / 132)。

顺带修的一个真缺陷

脚本原先要求 0 -ge 3,而这两步只传 floor + workdir(整包跑)——会直接 exit 2。已放宽为 -ge 2。这个是我在实测过程中撞出来的,不是看出来的 —— 又一次说明「点名危险形状不够,得真去跑」。

现在 test job 五步全部带下界

EXIT=0 ·   19 条 · 下界   15 · packages/alpha-contracts-consumer
EXIT=0 ·  132 条 · 下界  100 · packages/ext
EXIT=0 · 3085 条 · 下界 3000 · packages/ui-mac src
EXIT=0 ·    8 条 · 下界    6 · packages/ui-mac 类级闸
EXIT=0 ·   45 条 · 下界   40 · packages/opencode web search 闸

关于范围

这一步是我自己判的:你上一轮说「只修被点名的、留着同类的其余实例」等于明知故犯交付假闸门,那条理由对这两步逐字成立,而修法就是把已经写好并已绕过实测过的机制多接两行。如果你判它超范围,revert 掉 08daf5af3 的 workflow 部分即可,脚本参数放宽那一处建议保留(它是真 bug)。

本地闸门(重跑)

north-star PASS;typecheck 零增量(ui-mac 干净、opencode 仍是同样 2 条既有错误);unit 零回归(五步如上);YAML 校验通过;无 Markdown 改动。

第四种之后还有没有第五种

我把 alpha-ci.yml 全部 job 过了一遍,其余步骤不属这一类:check:vendor / assert-seed-assets.sh 都是断言具体文件内容而非「跑了多少」;docs-gate 的 [ -z "$MD" ] && exit 0 是设计意图(无 Markdown 就无链接可查);typecheck 各步对空包会通过,但空包本身会先让别的闸红。除已追加进 #649 的 docs-only 跳过问题外,没有第五种。

[jinjunnn]

Q2 全量类扫完成(push eaefe0132)

你说得对 —— 我在 ui-mac 上实测出那条规律,却只应用了一次。这一轮做全量,并把「别再只应用一次」本身做成机制。

判据(写进了 scripts/gate-files.tsv 抬头)

闸门文件 = 删掉它就移除某条具体保证,而不只是减少覆盖率。
操作性 signature:它断言的是自己模块之外的东西 —— 仓库源码文本、vendored/生成的 fixture、上游文件、钉住的清单 —— 于是没有别的测试会因为它消失而变红。

三件配套

文件	作用
scripts/gate-files.tsv	登记簿:21 行,每行 = 下界 + 工作目录 + 路径 + 这道闸保证什么
scripts/assert-gate-files.sh	逐个跑 + 逐个判下界;登记簿被清空(<15 条)也判红
packages/ui-mac/src/main/gate-file-registry.test.ts	完备性闸 —— 这条才是防「只应用一次」的机制本身

完备性闸:凡文件名命中本仓闸门命名习惯(ratchet/lock/anchors/contract/copies/snapshot/drift/hygiene/rebrand/seam/coexistence/census)的测试文件,必须要么登记、要么在 NOT_GATES 里写明为什么不是。两边都没有 = 红。它自己也在登记簿里。

绕过实测:新增一个 probe-new-ratchet.test.ts(未登记)→

(fail) 命名命中闸门词的测试文件,要么已登记、要么已写明不是闸门
+ ["packages/ui-mac/src/main/probe-new-ratchet.test.ts"]
4 pass / 1 fail

这正是当初漏掉 ext drift lock 时会亮的那盏灯。

21 个闸门文件 · 逐个删除实测(全 PASS)

闸门文件                                                            删除后   放回后   判定
------------------------------------------------------------------------------------------
packages/alpha-contracts-consumer/src/contracts.test.ts            exit=1   exit=0   PASS
packages/ext/src/prompt-rebrand.test.ts                            exit=1   exit=0   PASS
packages/ext/src/cloud-websearch-kill.test.ts                      exit=1   exit=0   PASS
packages/ext/src/gen-skill-paths.test.ts                           exit=1   exit=0   PASS
packages/ext/src/cloud-contract-hook.test.ts                       exit=1   exit=0   PASS
packages/ui-mac/src/main/stream-read-hygiene.test.ts               exit=1   exit=0   PASS
packages/ui-mac/src/main/websearch-copies.test.ts                  exit=1   exit=0   PASS
packages/ui-mac/src/main/extension-seed-snapshot.test.ts           exit=1   exit=0   PASS
packages/ui-mac/src/main/alpha-web-contract-fixtures.test.ts       exit=1   exit=0   PASS
packages/ui-mac/src/main/alpha-contract-health.test.ts             exit=1   exit=0   PASS
packages/ui-mac/src/main/gate-file-registry.test.ts                exit=1   exit=0   PASS
packages/ui-mac/src/renderer/alpha-ui/upstream-anchors.test.ts     exit=1   exit=0   PASS
packages/ui-mac/src/renderer/alpha-ui/surface-seam-contract.test.ts exit=1  exit=0   PASS
packages/ui-mac/src/renderer/alpha-ui/contrast-ratchet.test.ts     exit=1   exit=0   PASS
packages/ui-mac/src/renderer/alpha-ui/takeover-adapter-coexistence.test.ts exit=1 exit=0 PASS
packages/ui-mac/src/renderer/alpha-ui/session-timeline/cards/cards-contract.test.ts exit=1 exit=0 PASS
packages/ui-mac/src/renderer/alpha-ui/permission-mount-ratchet.test.ts exit=1 exit=0 PASS
packages/ui-mac/src/renderer/alpha-ui/settings-surface-ratchet.test.ts exit=1 exit=0 PASS
packages/ui-mac/src/renderer/alpha-ui/reduced-motion-ratchet.test.ts exit=1 exit=0 PASS
packages/ui-mac/src/shared/route-authority-ratchet.test.ts         exit=1   exit=0   PASS
packages/opencode/test/tool/alpha-websearch-failure.test.ts        exit=1   exit=0   PASS
------------------------------------------------------------------------------------------
不合格条数: 0

判为「不是闸门」的三个(写进 NOT_GATES,附理由)

文件	理由
ext-bundle-lock.test.ts	bundle 锁的功能单测(互斥/争用/死 pid/心跳超时)。删掉是这个功能少测了
alpha-auth-clock.test.ts	只是 clock 撞上了 lock;内容是刷新时机纯逻辑单测
model-contract.test.ts	createModelContract 函数的输入→输出单测,不是钉外部产物的契约锁

分层判据已写进三处

gate-files.tsv 抬头、assert-gate-files.sh 抬头、workflow 注释,各自附上实测数字——ui-mac 3077≥3000 全绿、ext 106≥100 全绿——说明为什么地板不够、为什么必须两层。免得下一个人再以为地板就够了(这正是这一轮发生的事)。

自查发现的一个真缺陷

我给 gate-file-registry.test.ts 登记的下界写成 6,而它只有 5 条 —— assert-gate-files.sh 第一次跑就把它判红了。机制在自己身上先生效了一次,已改为 4。

本地闸门

north-star PASS;typecheck 零增量(ui-mac 干净、opencode 仍是同样 2 条既有错误);unit 零回归(contracts 19、ext 132、ui-mac 3090、闸门登记簿 21/21);YAML 校验通过;无 Markdown 改动。

心里没底的一个,请你判

route-authority-ratchet.test.ts 自己的抬头写着「主判据不在本文件 —— route-deep-link-consumer.test.ts 执行的才是真路径」。我按「源码棘轮」把它登记了(下界 35),但没有登记 route-deep-link-consumer.test.ts——它不命中命名词,而我判它是行为测试不是闸门。如果那份才是真保证的承载者,它现在只被 ui-mac 的地板 3000 罩着,和 ext drift lock 当初的处境一样。请裁决要不要一并登记。

[jinjunnn]

委派规则完成(push d3f40aa74),登记簿 21 → 30

1. route-deep-link-consumer.test.ts 已登记

下界 7(实际 9 条)。删除实测:删除 exit=1 / 放回 exit=0 → PASS。

2. 做法:显式列(权威)+ 发现绊线(不是权威)

选了做法 2 + 一个加强版的做法 1,理由是你自己指出的那条:自动解析抬头要按措辞枚举(「真实判据见」「行为层闸门在」「THE PRIMARY JUDGEMENT IS NOT IN THIS FILE」「移至」「由 X 断言」…),而按措辞枚举与按文件名枚举、与当初只扫一级目录的 walker 是同一种缺陷 —— 说法不合的就隐形。所以措辞扫描不能当权威。

• 权威:登记簿新增 delegates_to 列,默认拒 —— 每行必须显式填,没有委派写 -,留空即红;且每个受托方必须也在登记簿里。
• 发现绊线(只用来找、不用来判):闸门文件正文里出现的任何其它测试文件,必须已被分类 —— 已登记 / NOT_GATES / REFERENCED_BUT_UNREGISTERED 三选一。不理解语义,只要求「提到了就表态」。

绕过实测 A —— A 委派给 B、B 未登记(把 route-deep-link-consumer 从登记簿删掉):

error: 下列闸门文件把主判据委派给了一个**没有登记**的测试文件。
+ ["…/route-authority-ratchet.test.ts → …/route-deep-link-consumer.test.ts"]
(fail) 被委派的受托方必须也在登记簿里
error: 下列测试文件在某个闸门文件的正文里被提到,却没有被分类。
+ ["…/route-authority-ratchet.test.ts → …/route-deep-link-consumer.test.ts", …]

两条断言各自独立转红。

绕过实测 B —— delegates_to 留空(默认拒):

error: 这些行没有填 delegates_to。没有委派请显式写 '-' —— 留空默认拒,不默认放行。
+ ["…/upstream-anchors.test.ts"]
(fail) 每行都显式填了 delegates_to    8 pass / 1 fail

同一处 shell runner 侧:assert-gate-files EXIT=1

还原后 TSV 与备份 diff 一致。

3. 核完 21 个抬头,另外找出 7 处未登记的委派(+ 二阶 2 处)

委派方	受托方	抬头原话
websearch-copies	core/alpha-websearch-sovereignty	「运行时证据在两个引擎包的 alpha 自有测试里」
websearch-copies	sidecar-env / alpha-config-injection	「真实判据见 … 两条」
gen-skill-paths	ext-receipt-v2	「decoder 强度用例移至 …」
takeover-coexistence	permission-single-surface	「行为层闸门在 …」
permission-mount-ratchet	permission-single-surface	「与运行时行为闸 … 互补」
route-authority-ratchet	route-deep-link-consumer / route-upstream-shape	「THE PRIMARY JUDGEMENT IS NOT IN THIS FILE」

二阶闭包又找出 2 处(登记新文件后绊线再次转红):alpha-config-injection → sidecar-ready-message(抬头写着纯文本锚曾被 injection.error && undefined 变异实证绕过,值上车的判据已移走)与 → alpha-models。逐层登记到不动点。

其中一个是真窟窿:packages/core/test/alpha-websearch-sovereignty.test.ts —— websearch 主权闸的运行时半场,此前不在任何 CI 步骤里跑(整包地板都不覆盖 packages/core)。现已登记(11 条 / 下界 9 / 401ms)。

表态为「不登记」的 4 处,各带理由与跟踪票:三个 opencode 云 MCP/网关测试归 #649 评估(你已指示不在本 PR 纳入),两个上游 websearch 测试由 north-star 守卫保护、alpha 刻意不接管。

4. 登记簿 30 条 · 删除实测 30/30 PASS

不合格条数: 0

(完整 30 行表格与上一条评论同格式,每行 删除 exit=1 / 放回 exit=0。)

本地闸门

闸	结论
north-star	PASS(CI 原命令,含全部 :(exclude))
typecheck	零增量 —— ui-mac 干净;opencode 仍是同样 2 条既有错误
unit	零回归 —— contracts 19 / ext 132 / ui-mac 3094 / 闸门登记簿 30-30
docs gate	无 Markdown 改动,no-op

YAML 校验通过。test job 现为 6 步:三个整包地板 + 一个登记簿逐点步。