1.2 KiB
1.2 KiB
type, node_id, title, date
| type | node_id | title | date |
|---|---|---|---|
| finding | finding:m2-verifier-fixes | M2 verifier 三项 Important 补齐(不变量接线/网关保护/P3 验收) | 2026-07-21 |
M2 verifier 三项 Important 补齐
独立 verifier(全新上下文)验收 M2:0 Critical,核心库逐条达标;3 Important + 4 Minor 全部当日修复。
| # | 问题 | 修复 | 证据 |
|---|---|---|---|
| I1 | 不变量 1(记账归零/gate 可再准入)未接线进 harness | run_soak._live_checks 跑后活检 + 新增 inv_gate_reenterable(探针悬挂检测,拿到即归还) |
P3 验收报告两项 PASS |
| I2 | 签字网关保护(100/600)无落点 | _guard 硬门:压测 scope 必配 __GLOBAL__ 键且 ≤ 签字值;.env.example SOAK 段写明 |
缺键拒跑 |
| I3 | P3 中等规模验收未跑 | 300 calls × 2 workers 真实跑:297 ok,7 不变量 PASS,结构化基线 0.942,p50/p95=16.9s/36.4s;真实网关自然出现 22 次空补全全被 Transient 重试吸收 | tests/outputs/soak/soak_20260721_015028.md |
| M4-M7 | settle 置位偏离未声明/对标未打钩/场景帽/故障存在性断言 | docstring 声明;chsanalyzer.md 十项打钩;capped_budget;inv_fault_errors_present |
单测 16 例 |