缺陷修复
重要性 7.04
洞察度 7.00
修复 Mamba 状态退休被 null 空洞阻断导致的状态泄漏
值得精读。推荐重点看三处：（1）`MambaManager._remove_blocks_in_range` 的“水位线 + 长度夹紧 + 自后向前跳过 null”三元组合，这是修复泄漏同时保证幂等与摊还成本的核心，也是理解 align 模式“位置身份不稳定”假设（见 `has_positionally_stable_blocks`）的最佳样本；（2）`pop_blocks_for_free` 与 `__init__` 的成对清理，理解请求生命周期与水位线一致性的耦合；（3）`test_mamba_retirement_bounds_prefill_states` 用参数化回放把“峰值状态数上界”写成不变量的做法，值得作为其他长上下文内存泄漏修复的测试模板。读的时候同时留意 `last_block = min(last_block, len(blocks))` 这一静默截断，以及 E2E 期望值变化的语义；建议合入后补一条真实模型的长 prefill 端到端回归（断言块池峰值与输出正确性），以弥补当前以合成回放为主、无自动评审的验证缺口。