执行摘要

• 一句话：文档补充 Granite 3.1 系列批量不变性验证
• 推荐动作：该 PR 值得简要浏览，可作为文档维护的范例：展示了如何为批量不变性新增模型验证记录，以及如何回应 reviewer 的反馈。无需精读源码，但可关注其中对 MoE 模型反向测试失败的解释，理解批量不变性的边界条件。

功能与动机

根据 issue #27433 的跟踪，批量不变性（Batch Invariant）功能需要覆盖更多模型以确保广泛适用性。作者发现 Granite 3.1 系列尚未经过批量不变性验证，因此希望通过文档记录验证结果，以明确声明该系列已获支持，方便用户使用并减少误报。PR body 中明确指出“This expands model coverage to both GraniteMoeForCausalLM (MoE, top-8 routing) and GraniteForCausalLM (dense)”，且经搜索无重复验证。

实现拆解

该 PR 仅修改文档文件 docs/features/batch_invariance.md，在已测试模型列表中添加两条记录：

1. 在 Batch invariance has been tested and verified on the following models: 列表末尾（Phi series 之后）追加两个条目：
   • **Granite 3.1 (MoE)**: ibm-granite/granite-3.1-1b-a400m-instruct, ibm-granite/granite-3.1-3b-a800m-instruct
   • **Granite 3.1 (Dense)**: ibm-granite/granite-3.1-2b-instruct, ibm-granite/granite-3.1-8b-instruct
2. 该修改为纯文档补充，不影响任何代码逻辑或数据结构。
3. 测试方面：作者在 H800 上手动运行了 tests/v1/determinism/test_batch_invariance.py 套件，覆盖三个后端（FLASH_ATTN、TRITON_ATTN、FLEX_ATTENTION），并记录了每个模型的通过/失败情况。但 PR 未包含自动化测试代码改动。

关键文件：

• docs/features/batch_invariance.md（模块 文档；类别 docs；类型 documentation）: 文档中追加 Granite 3.1 系列的验证记录，是 PR 唯一改动文件。

关键符号：未识别

评论区精华

核心讨论：reviewer yewentao256 在初次 review 中要求“Could you test the model series instead of one specifc model?”，即要求验证整个 Granite 3.1 系列而非单一模型。作者回应已扩展覆盖全部四个模型（两个 MoE、两个 Dense），并补充了 dense 模型的完整通过结果。最终 reviewer 批准（APPROVED），并留言“LGTM, thanks for the work!”。无其他争议或未解决问题。

• 验证整个系列而非单一模型 (question): 作者扩展覆盖至四个模型，包括两个 MoE 和两个 Dense，并验证通过。

风险与影响

• 风险：本 PR 为纯文档变更，不引入回归、安全或性能风险。唯一潜在风险是文档中声明的模型可能在未来的 vLLM 版本中因代码变更而不再满足批量不变性，导致用户依赖失效。但该风险属于所有文档声明的固有风险，且验证套件本身已存在（test_batch_invariance.py），未来回归可通过 CI 发现。
• 影响：影响范围极小，仅涉及文档变更。对用户：明确告知 Granite 3.1 系列可通过批量不变性获得确定性输出，方便依赖此特性（如 RL 训练）的用户。对系统：无影响。对团队：为后续模型验证提供了参考示例。
• 风险标记：文档声明可能因未来代码变更失效

关联脉络

• PR #27433 [Feature]: Batch Invariant Feature and Performance Optimization: 本 PR 为该 issue 中批量不变性验证覆盖的扩展，属于同一功能线。
• PR #27054 [Related PR] Addressing model-dependent sensitivity in batch-invariance inverse test: PR body 中提及 #27054 曾处理类似的反向测试模型敏感性，本 PR 的 MoE 反向测试失败与之相关。