执行摘要

• 一句话：新增打包 DeepSeek-V4 KV 清零几何回归测试
• 推荐动作：值得精读。该测试展示了如何为内部数据布局编写 constructor-crossing 回归测试：不重新实现任何布局算术，而是实例化真实生产代码链并以元数据语义作为断言目标；同时用新旧格式兼容分支让失败信息直接指向缺陷本质。对 KV 缓存布局、MLA 和 KVBlockZeroer 相关改动者是很好的防护样例。

功能与动机

50276 指出 KVBlockZeroer 在打包 KV 视图下将页面大小同时用作块地址步幅与清零元素数，会清除相邻打包数据并对最终逻辑块越界写。本 PR 为该内存安全修复提供回归保护：如 PR body 所述，测试实例化真实生产 seam 并验证构造函数元数据将完整打包行块步幅与每层有效清零跨度分开，防止该缺陷回归。

实现拆解

1. 新增测试文件 tests/v1/worker/test_dsv4_packed_zeroer_geometry.py（本 PR 唯一变更，+195 行），以 pytest.mark.cpu_test 标记，保证纯 CPU 执行、不启动任何 CUDA/Triton 内核。
2. 构建规格：为 4 个 self_attn 层构造 MLAAttentionSpec（block_size=256、head_size=512、cache_dtype_str='fp8_ds_mla'、alignment=576、compress_ratio=4），经 UniformTypeKVCacheSpecs.from_specs 得到统一缓存规格。
3. 调用真实布局规划器 _get_packed_kv_cache_layout，得到块步幅（4 * page_bytes）与各层偏移；再调用 _reshape_attention_kv_cache 生成每层打包视图，校验 data_ptr 相对偏移与行步幅。
4. 实例化 KVBlockZeroer，传入 DeepseekV4FlashMLABackend、kernel_block_sizes=[256] 与打包视图上下文；通过 _extract_segments 读取 zeroer._meta 段表，兼容修复前五字段与修复后六字段两种格式。
5. 断言语义：4 个段对应 4 个打包层、每段块步幅等于完整打包行、清零跨度等于有效页 real_page_size_bytes、block 99 的写区间 [off + 99*bs, off + 99*bs + zs) 不越界、最高偏移段末块精确结束于 total_size - alignment_gap，且清零跨度严格小于块步幅。
6. 验证配套：作者在 #50276 head 上跑通 pytest、ruff、mypy，在 pre-fix parent 上确认语义性失败（zero span 为整个打包行 149760 B 而非有效页 37376 B）。

关键文件：

• tests/v1/worker/test_dsv4_packed_zeroer_geometry.py（模块 KV 清零；类别 test；类型 test-coverage；符号 _extract_segments, test_dsv4_packed_zeroer_geometry）: 本 PR 唯一变更文件，新增 DeepSeek-V4 打包 KV 清零几何的 CPU 回归测试，覆盖 #50276 的块步幅与清零跨度分离修复。

关键符号：_extract_segments, test_dsv4_packed_zeroer_geometry

评论区精华

PR 的 review 无技术交锋：维护者 njhill 通过 /ci run 触发 CI 后批准合并（“Thanks @coltonottley”）；claude[bot] 提示 fork 仓库自动审核被禁用。PR body 中的“回归判别器”说明最值得注意：测试兼容旧五字段与新六字段 _meta，使失败成为语义性判别（zero span 应为 37376 B 的有效页，而非整个打包行 149760 B），而非 schema 形状错误。

• CI 启动与运行 (other): CI 正常执行，未发现失败记录。
• PR 审核 (other): 已合并。

风险与影响

• 风险：纯测试变更，无生产路径修改，运行时风险极低。风险集中在维护耦合：测试依赖 KVBlockZeroer._meta 六字段内部结构以及 _get_packed_kv_cache_layout、_reshape_attention_kv_cache 等内部 API，后续重构需同步维护；_extract_segments 的五/六字段分支提供一定兼容缓冲。测试仅在 CPU 上验证构造函数元数据，不覆盖真实 Triton/CUDA 内核清零行为，不能替代端到端验证。另外本 PR 明确堆叠在 #50276 之上，若 #50276 未先合入，测试会失败。
• 影响：对用户与系统无运行时影响，不改变任何推理行为。对工程团队，该测试为 V1 KV 缓存清零这一内存安全关键路径提供回归防护，能在 CI 中快速执行（CPU 测试，无 GPU 占用），保护 DeepSeek-V4 打包 KV 布局的后续修改。
• 风险标记：纯测试变更, 依赖 #50276 先合入, 耦合 KVBlockZeroer 内部元数据

关联脉络

• PR #50276 [Bugfix] Fix packed KV block zeroing stride: 本测试正是为 #50276 修复的打包 KV 清零步幅缺陷提供回归保护，验证块步幅与清零跨度分离的语义；PR 明确堆叠在该修复之上，需按顺序合并。