docs: record verifier fixes and P7 confirmation round

2026-07-22 02:42:33 -04:00
parent 3c9f306ea3
commit d883d6e9c7
1 changed files with 11 additions and 1 deletions
@@ -26,7 +26,17 @@

 定性: 与 M2.5 R4"可信替代被闸跳过后穿透垫底垃圾源"同族,但量级(0.27%)远低于门槛且自愈窗口有界;chat 侧因有 AIMD 起步并发 8 天然缓解。**本轮裁决: 不加机制**(YAGNI——两轮数据均达标;若未来下游对冷启动窗口敏感,候选方案是选源侧"健康低于门槛且存在更健康的忙源时等待优于穿透",届时按 M2.5 流程走设计补遗)。

-## 4. 备注
+## 4. 独立 verifier 三条 Important 的处置(2026-07-22)
+
+| # | 发现 | 处置 |
+|---|---|---|
+| I1 | 计划承诺的"RSS <500MB 绝对值"未实现,且验收轮起跑 RSS 达 666-695MB(SoakCorpus 全量装载 P1/P2 的 base64 语料所致,非泄漏——随后回落 ~200MB) | 根因修复: SoakCorpus 增 modalities 按需装载(P7 只装 images)+ 新增 `inv_rss_absolute` 检查与单测 |
+| I2 | "真源零误熔"无机械化 gate 核对 | 新增 `inv_healthy_gates_closed` 活检查(跑后真源门态必须 CLOSED 可准入;配合遥测"真源零错误行"覆盖全程) |
+| I3 | 探针取消归还分支(ocr.py CancelledError→release_probe)无测试 | 补两用例: 半开探针挂起中取消→归还且可再探;退避 sleep 中取消→穿透且 permit 归零 |
+
+**确认轮 `soak_20260722_022232`**(修复后代码,300 调用,redis × 2 worker): 成功 296(98.67%,冷启动 4 例占比随规模缩小而放大,仍达标),**16/16 不变量全 PASS**(含两个新不变量);轻语料化后 RSS 峰值 92MB(修复前 695MB)。
+
+## 5. 备注

 - 首轮与验收轮失败数完全相同(各 4)纯属巧合,机理一致。
 - OCR 无 token/成本(usage 恒 0),报告 token/cost 列为 0 属预期;TTFT 列恒 0(非流式,不适用)。