18 lines
1.2 KiB
Markdown
18 lines
1.2 KiB
Markdown
---
|
||
type: finding
|
||
node_id: finding:m2-verifier-fixes
|
||
title: "M2 verifier 三项 Important 补齐(不变量接线/网关保护/P3 验收)"
|
||
date: 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 例 |
|