Master CI test lanes red: storage/wire-roundtrip test failures block all PR merge verdicts #4081

来源: #3993 分析 Codex catalog 临时故障回退问题时，为 PR #3996 核对 CI 基线时发现

查重: 无（检索 open/closed issue 与 PR：当前失败签名无对应条目；#3994/#3995 是 lifecycle-ledger-guard 台账红风暴，根因不同且已关闭修复）。

现象: master HEAD 56a0f5a 的 CI test 分片红灯，与任何在途 PR 无关。PR #3996 头部同样红，但失败项是完全相同的测试家族——判定为基线问题，非该 PR 引入。

失败签名（2026-10-21 观察，ubuntu/windows × node22/24 多个分片复现）:

1. bare-id loadSync hydrates a pooled envelope when the unified index misses (#3769 flake) — tests/issue3769-pooled-bare-load.test.ts:115，ERR_ASSERTION expected:true actual:undefined（PR 头 ubuntu22-s1 / win22-s1 / ubu24-s1 三个平台分片均现）
2. upgraded pre-fold-gate state keeps rotation-hidden orphans hidden end-to-end (#3769) — tests/issue3769-upgrade-compat.test.ts:179（同上分片）
3. view-latch discipline: quiet turns replay latched bytes verbatim (arbitrary texts) — master 头 ubuntu 22/3 分片
4. wire-anthropic round-trip: block order + payload preserved (same-role pairs) 与 wire-anthropic round-trip: thinking keeps its own message after same-role group (cross-message order) — master 头 ubuntu 22/2 分片
5. generic append-only stability: arbitrary inputs over assignRefs + renderVisibleRefs 以 not-ok 形态出现且带 # SKIP no SMT solver available (set VERIF_PYTHON or VERIF_SOLVER_CMD)（master 22/2 与 PR 头 ubu24-s1）——SMT solver 缺失时该验证测试的 skip 被计为失败，harness 行为本身存疑

影响: 任何 PR 都拿不到全绿 CI 判定，合并决策被整体阻塞（当前直接阻塞 PR #3996 的合并判定；此前 lifecycle-ledger 红风暴 #3994 也是同类阻塞）。

建议方向: 逐项 triage——① 在干净 master 上单独重跑各失败文件，区分 flake 与真实回归；② 确认回归的按机制归并修复（本 issue 内以子缺陷清单管理，不拆散）；③ 核查第 5 条：CI 环境是否应提供 VERIF_PYTHON/VERIF_SOLVER_CMD，以及 skip 是否应计为失败（若是 harness 缺陷则一并修）。同一症状（master test lane 红）按政策归并为这一个 issue。