[ranxianglei]

(ai: zai/glm-5.3)

Refs #5241(阶段 0,不 Closes——umbrella 走完全部阶段才关)

这个 PR 做什么:给 #5241 综合治理的第一阶段(打桩)交第一批特征化测试。只新增测试文件,零产品代码改动。钉的是「现在怎样」——包括不一致——让后续抽取共享生命周期时有明确的等价性验收网,改行为时必须显式改桩。

三个桩(8 个测试,全绿):

1. 四车道 verifyAttachAndRecover 矩阵(contract-v2-stake-verify-attach)

   • S1 健康等版本 target:pi/omp/opencode/dsh 一致 → 原地 attach,不 spawn、不发 shutdown;
   • S2 严格旧版本 target:pi/omp/opencode 照样 attach(无版本轮换);dsh 会轮换+重生(已有 issue3544 专项桩,不重跑)——四车道对同一输入给出不同答案,这是抽取合并前必须显式裁决的分歧;
   • S3 死 target:四车道一致 → spawnFallback 恰一次;env 侧 pi/omp/opencode 把 BILLION_CONTEXT_PROXY 重发布到新 origin,dsh 则解除 preset 改写 register。
   • 每车道一个子进程驱动(contract-v2-stake-lane-probe.mts):实测四车道共享同进程的 global fetch/env/模块状态,同进程顺序驱动会互相污染(一条车道的后台异步会改写另一条的 env 和 spawn 计数)——这本身就是打桩发现,生产现实就是每车道一个宿主进程。

2. 两把一次性闩锁的永久性(contract-v2-stake-latches)

   • shadow ingest 失败永不自我禁用(owner policy 2026-10-30 「never give up on index writes」):结构性失败每次 save 都重试、warn 按消息去重([Bug][fork] Cold restore cannot use an intact unified raw tail for a non-retained parent (#4266 item 4) #5140)、读保持 unified-first、fork 不 fail-close、stats.disabled 恒 false;故障消失后 record() 能恢复——这里钉的是旧 3-strike 闩锁被政策取代后的现状(C3 契约的对照基线);
   • logger stderrDead:一次失败永久跳过 stderr 腿,warn 恰一条(两条触发路径幂等),日志本身不沉默。闩无导出无 reset 且独占整个进程,所以用子进程驱动。

3. /__bili/health 词汇表(contract-v2-stake-health)

   • boot 前恰 503 {ok:false, reason:"starting"} 两键;boot 后恰 11 字段快照(键集逐一断言)。今天没有 degraded/lifecycle 词汇——sidecar 闩死、stderr 闩死、车道降级直发在 health 里一个字都不说,C1 要补的就是这个;先钉死,阶段 1 加字段就是显式可见的变更。

验证:三个套件本地全绿(重复跑稳定);tsc --noEmit 干净;相邻回归 issue3544(20)/issue5140(5)/pi-native(19)/opencode-native(65)全绿(opencode 套件须在无 BILLION_CONTEXT_NATIVE 的干净 env 下跑——本机 shell 被 bili pi 钩子标记时会误报,CI 不受影响)。

下一步(等 owner 点头):把四份 verifyAttachAndRecover 的「老方案 vs 新方案对比」写进 #5241 讨论,批准后再动阶段 1。

[github-actions]

📦 Built Package Artifact

Branch: 2026-10-31_contract-v2-stake-tests (d18e0f5)

Latest build — install this exact version

npm install -g billion-context@0.0.9202-pr.5242.5f1e2fc

This exact version is immutable and reproducible. The rolling pr tag tracks the newest test build across all PRs.

Recent builds (commit → version)

commit	version	build
d18e0f5	billion-context@0.0.9202-pr.5242.5f1e2fc	build
ac991de	billion-context@0.0.9180-pr.5242.d25a773	build
9ad1609	billion-context@0.0.9119-pr.5242.dd23c58	build
54523d0	billion-context@0.0.7229-pr.5242.1ad664c	build
3518c2f	billion-context@0.0.7142-pr.5242.6f41bf5	build

Download artifact

1. Download the artifact from the Actions run
2. Extract the tarball and install:

tar xzf billion-context-pr5242.tgz
npm install -g package

---

Install instructions are refreshed on each push.

[ranxianglei]

🤖 Powered by ework · qwen3.8-27b

[bot] (ai: vllm-qwen/qwen3.8-27b)

PR #5242 的两个 blocker(与 base 分支冲突 + CI 三片红)本轮已全部处理完,head ac991de7 上 30 项 check 全绿(镜像缓存实测:failed 0 / pending 0)。过程如下。

做了什么

1. 冲突:唯一冲突文件 scripts/live-files.mjs(append-only 数组)。解法:保留 master 新增的 5 条在其原位置不动,PR 的 2 个新测试文件追加到数组末尾(fresh slot,tests/preload-zone-slot.mjs 的端口带编号不受影响),共 66 条、无重复、全部在盘上存在。merge commit 9ad1609b7d,plain push。
2. CI 红的根因(git 历史查证,非 master 回归):master b9eb27a448(owner policy 2026-10-30「never give up on index writes」)把 src/storage/shadow.ts 里的「3 次结构错误自禁用 sidecar」闩锁整个移除;本 PR 的 stake 测试从更早的 base 分出,仍钉着已被移除的旧行为 → 三个红片(u22/3、u24/3、win22/4)全是同一个断言 three structural strikes latch the sidecar(expected true, actual false)。
3. 修法(纯测试,零产品代码改动,commit f922f13e82):同一 fault seam(sync.getBlocks 抛 "file is not a database")下改写 stake,钉住已落地的契约——结构错误永不 self-disable(stats.disabled 恒 false)、warn 按 distinct message 去重([Bug][fork] Cold restore cannot use an intact unified raw tail for a non-retained parent (#4266 item 4) #5140)、stats.lastError 携带最新失败细节、故障清除后健康记录恢复 ingest(retry-forever、可恢复)、full 模式读恒 unified-first(ingest 健康不参与读门)、createForkAsync 不再 fail-closed。fixture 从 shadow 模式改为 BILI_STORAGE_UNIFIED=full——只有 full 模式让 readsUnified 成为活门(shadow 模式下它结构性恒 false,原断言是假阳性)。
4. push 前 master 又前进(33104b1 → c26c31a,~20 commits,[PR] Web Panel: Handoff Documentation and Collapsed Tree Diagram Rendering Upgrade (eWork-Level Rendering, Appendix Sectionin | Web 面板：交接文档与压缩树图渲染升级（eWork 级渲染、附录分节、冻结快照水合） #6260/Request two capabilities: compressed block "retirement" and summary "external rewrite". | 请求两个能力：压缩块「退役」与摘要「外部重写」 #5765 等),干净合入无冲突(merge commit ac991de70e);合并树上 rebuild + typecheck + 定向测试全绿后 plain push(未 force-push;push 前两次 fetch 确认远端 head 未被并发推进)。
5. live 核验(本轮实测,非记忆):镜像缓存 sha=ac991de7,summary {total:30, failed:0, pending:0},11 个 test 分片全 success;一次性 GET 确认 PR mergeable=true(无冲突)。mergeable_state=blocked 且全部 check 已过 → 是必需评审/批准类分支保护,非 CI 或冲突,CI bot 不处理也不应处理(合并本就是 human-only)。

七问

1. 是什么问题:PR [PR] Boot contract stubbing: four-lane verifyAttachAndRecover behavior matrix + latch permanence + health glossary (#5241 Pha | 启动契约打桩:四车道 verifyAttachAndRecover 行为矩阵 + 闩锁永久性 + health 词汇表(#5241 阶段 0,只加测试) #5242([Design] Host contract v2: pin behavior with stubs first, then unify lifecycle / capability declaration / degradation re | [Design] 宿主契约 v2:先打桩固定行为,再统一生命周期/能力声明/降级恢复/入口实测(讨论通过后才动工)| [Design] Host contract v2: pin behavior with tests first, then unify lif… #5241 阶段 0 契约打桩,只加测试)有两个 blocker——与 base 分支 dirty 冲突;rebase 后 CI 三个分片红,且都是同一个测试失败。
2. 什么原因导致的:① 冲突:双方都往 append-only 的 LIVE_FILES 数组尾部追加;② CI 红:master b9eb27a448 按 owner 既定政策移除了 sidecar 自禁用闩锁,而本 PR 的 stake 测试钉的是分叉前旧 base 上的已废弃行为——过期期望(stale stake),不是代码回归。
3. 影响范围与严重程度:仅本 PR 自己新增的测试文件受影响;产品代码零 diff;严重度 = PR 无法合并(CI 红 + 冲突),对用户零影响。
4. 怎么修复的:冲突按数组语义追加式解决(master 条目原位保留、PR 条目末尾 fresh slot);CI 红按 owner 已在 b9eb27a 拍板的政策重写 stake 为落地契约(retry-forever / 不自禁用 / 可恢复 / 读不翻 legacy / fork 不 fail-closed),fixture 切 full 模式使关键断言成为真门。全部机械性修复,无设计决策点。
5. 是否有回归问题:审过的既有行为——LIVE_FILES 完整性(tripwire 复刻 run-ci-tests.mjs 检查:66 条/无重复/全在盘/PR 两文件仍在末位)、shadow.ts 产品代码零 diff、同文件其余测试(stderr-dead latch、isStreamWriteError 真值表、S1/S2/S3 attach 矩阵)在 pushed head 上 CI 全绿。无回归。
6. 是否破坏缓存:不涉及——纯测试改动,不触运行时路径,无缓存/重试/游标逻辑。
7. 是否改了设计方向 / 引入新配置:不涉及——无架构转向,无新 env/config/默认值;测试只是把 owner 已裁决的行为(b9eb27a)钉进回归网。

判定:两个 blocker 均已解除,CI 全绿(head ac991de,live 验证),PR 处于可人工评审/合并状态;剩余 blocked 仅为必需批准项,等 human 操作即可收工。

[ranxianglei]

(ai: opencode/qwen3.8-27b)

APPROVE — test-only PR(#5241 阶段 0 特征化打桩),零产品代码、不涉 kernel/、不动配置面。独立审核结论如下(非复读 issue 侧结论)。

独立验证

① 原 issue 方向:#5241 阶段 0 流程规则 = 先用特征化测试钉「现在怎样」(含不一致),老 vs 新对比经 owner 批准后才动实现。本 PR 严格照此执行,三个桩钉的都是 master 现状而非「应该怎样」。我逐条对照生产代码复核(不是只读 diff):

• 四车道矩阵:pi-native.ts:188 / omp-native.ts:294 / opencode-native.ts:335 / dsh-native.ts:775 四份 verifyAttachAndRecover 拷贝各自经 armNative*+singleFlight 挂到 state.respawn,生产唯一入口;S1/S3 断言与代码路径吻合(健康 → 原地 attach,spawn/shutdown 均 0;死 target → spawnFallback 恰一次,env 重发布 / dsh 解 preset + 改 register)。S2「无轮换只有 dsh」成立:pi/omp/opencode 三份拷贝版本抓取成功后无条件 attach(无版本比较),仅 dsh 有 isVersionNewer→rotatePinnedStaleProxy(dsh-native.ts:799-818);dsh 的 S2 分歧已有专项桩 tests/issue3544-stale-proxy-rotation.test.ts:392,此处正确地不重跑、只记录分歧事实并留给阶段 1 裁决——没有静默抹平。
• health 词汇表:src/server/admin.ts:306 boot 前恰 503 {ok:false,reason:"starting"} 两键;:314 boot 后恰 11 字段快照——与桩的键集断言逐一吻合;absence 循环(lifecycle/state/mode/degraded/reason 等)正是 C1 要补的 gap,有意钉死。
• 闩锁:logger.ts 的 markStderrDead 幂等、warn 恰一条、同步抛错与流 error 事件双路径都翻闩(log() 先 capture 后写 stderr,capture sink 不受闩影响)——子进程桩的断言机制上全部成立;shadow.ts:245 "Nothing is ever disabled; the next save retries the write",stats.disabled 恒 false、故障消失后 record() 能恢复——桩钉的是 b9eb27a 政策落地后的现状(C3 的对照基线),方向正确。

② 回归审查:diff 触碰路径 = scripts/live-files.mjs(+2 行注册)+ 4 个新测试文件。既有行为清单:产品代码零改动,不存在被触碰的既有行为。live-files.mjs 的改动是 CI tripwire 的强制要求(scripts/run-ci-tests.mjs:145-153:凡 SPAWN_RE 匹配的文件必须登记否则 CI 红),两个 spawn 子进程的新套件均已登记 ✓。无语义漂移、无 fail-fast 变吞错、无阈值/时序/输出格式变化。结论:无回归。

③④ 代码与测试有效性:hermetic 充分(mkdtemp + BILI_CONFIG_FILE 隔离、listen(0) 随机端口、NODE_TEST_CONTEXT 解除 MCP-entry 自启动守卫——claude-mcp-entry.ts:127 / zcode/mcp-entry.ts:201 有对应 if (process.env.NODE_TEST_CONTEXT !== undefined) return;,probe 的设置有据)。每车道独立子进程驱动避免共享 fetch/env/模块状态互污(PR 正文给出实测现象;生产现实也是每车道一个宿主进程),probe 末尾 PROBE 行打印后 force-exit(车道模块留后台定时器)合理。断言有牙:精确键集、精确计数(spawns==1 / shutdowns==0)、值级 deepEqual、warn 去重计数 ==1、isStreamWriteError 真值表逐格——行为任一漂移桩必红,非恒真测试。

证据:head ac991de 镜像缓存全绿(30 checks,0 failed / 0 pending,gated 车道按惯例 skip);本地定向复跑 8/8 绿(需先 build kernel dist);tsc --noEmit 干净;分支 base = 当前 master tip(c26c31a),不陈旧。PR 正文列的相邻回归(issue3544/issue5140/pi-native/opencode-native)由作者跑过,CI 全绿再覆盖一遍。

已顺手修

1. 删未使用 import:tests/contract-v2-stake-health.test.ts:15 before、tests/contract-v2-stake-verify-attach.test.ts:27-29 fs/os/path + commit d18e0f5(修后本地套件复跑绿 + typecheck 干净)
2. PR 描述 stale 表述:stake-2 的 shadow 半段还是 CI-fix commit f922f13 之前的旧措辞(称「3 次结构性失败闩死后进程内不存在任何恢复路径……永久 no-op」),与最终代码相反(最终桩钉的是 landed never-give-up 行为:永不自我禁用、故障消失后可恢复)→ 已 PATCH PR 正文对应段对齐最终桩语义(API PATCH,无 commit)

CI 会为新 head d18e0f5 重跑一轮(仅删 import,零行为变化;旧 head 已全绿)。合并动作归人类。

八问

1. 是什么问题:非缺陷修复——#5241 宿主契约 v2 治理的阶段 0:用特征化测试先钉住四车道 attach/recover 行为、两把闩锁现状、health 应答词汇表,为后续统一重构提供等价性验收网。
2. 什么原因导致的:N/A(非 bug)。根因动机:四车道各有一份 verifyAttachAndRecover 拷贝且行为分歧(仅 dsh 轮换严格旧版本 target)、health 无法表达降级状态——不先钉「现在怎样」,阶段 1 统一重构就没有验收基准。
3. 影响范围与严重程度:对产品行为零影响(test-only)。作用面 = 未来回归检测能力;若桩缺失,阶段 1 重构无等价性网(内部风险,无外部用户影响)。
4. 怎么修复的:三个独立套件;每车道独立子进程驱动避免全局状态污染;精确键集/精确计数强断言;不一致被有意钉死(S2 跨车道分歧作为事实记录、留阶段 1 显式裁决,不抹平)。
5. 是否有回归问题:无。产品代码零改动;唯一非测试文件 live-files.mjs 加两条登记(CI tripwire 强制要求)。无语义漂移、无吞错、无阈值/时序/输出格式变化。
6. 是否破坏缓存:不涉及(未触碰缓存/重试/游标/去重逻辑)。
7. 是否改了设计方向:无转向;这正是 #5241 声明的方向基础(阶段 0 打桩 → 阶段 1 统一),未来改行为必须显式改桩,构成可见变更账本。
8. 是否引入了新的配置:无。BILI_ATTACH_EVIDENCE_GRACE_MS / BILI_ATTACH_HEALTH_DEADLINE_MS 是既有 knob(native-intercept.ts:1196 等),仅在 probe 子进程内收紧用于计时控制。

判定:可合并(APPROVE;新 head d18e0f5 的 CI 重跑预期绿,合并动作归人类)。

[ranxianglei]

🤖 Powered by ework · qwen3.8-27b

[bot] 🏷 PR #5242 审核完成:APPROVE / 可合并(test-only,零产品代码、不涉 kernel/)。GitHub review 已提交(review id 5866229151)。

独立验证(非复读 issue 结论)

• 三个桩逐条对照生产代码复核:四车道 verifyAttachAndRecover 矩阵与 pi/omp/opencode/dsh-native.ts 的代码路径吻合(S1 原地 attach 零 spawn/shutdown;S3 spawnFallback 恰一次;S2「无轮换只有 dsh」成立——pi/omp/opencode 三份拷贝版本抓取成功后无条件 attach,仅 dsh 有 isVersionNewer→rotate;dsh 分歧已有专项桩 issue3544:392,此处正确地不重跑只记录分歧)。health 两态形状(admin.ts:306 boot 前 503 两键 / :314 boot 后 11 字段)与桩的键集断言逐一吻合;logger 双路径翻闩(同步抛错 + 流 error 事件,幂等、warn 恰一条)+ shadow never-give-up 现状(b9eb27a 落地后)机制上全部成立。
• 回归审查:无回归。diff 仅 live-files.mjs +2 行(CI tripwire 强制登记,scripts/run-ci-tests.mjs:145-153)+ 4 个新测试文件;产品行为零触碰,无语义/阈值/时序/输出格式漂移。
• 证据:旧 head ac991de 镜像缓存全绿(30 checks,0 failed / 0 pending);本地定向复跑 8/8 绿 + tsc --noEmit 干净;分支 base = 当前 master tip(c26c31a),不陈旧。

已顺手修(2 处,均已落 PR 分支)

1. 删未使用 import:tests/contract-v2-stake-health.test.ts:15 before、tests/contract-v2-stake-verify-attach.test.ts:27-29 fs/os/path + commit d18e0f5(修后本地复跑绿 + typecheck 干净);
2. PR 描述 stale:stake-2 的 shadow 半段还是 CI-fix commit f922f13 之前的旧措辞(称「闩死后进程内不存在任何恢复路径、永久 no-op」),与最终代码相反(最终桩钉的是 landed never-give-up:永不自我禁用、故障消失后可恢复)→ 已 API PATCH PR 正文对齐最终桩语义。

说明:GitHub API 不允许作者账号对自己 PR 提交 APPROVE review(422),按舰队惯例以 COMMENT review 提交、正文首行明确 APPROVE/可合并判定(同 #5681 模式);若分支保护要求正式 approve,owner 合并时点一下即可。新 head d18e0f5 的 CI 会重跑一轮(仅删 import,零行为变化)。

协调一行:#5241 阶段 0 打桩 PR #5242 审核完毕——APPROVE,2 处机械性小修已进 PR 分支(d18e0f5),CI 重跑中,待人类合并。