viable/strict/1787552956: Fix SymBool equality handling in symbolic shapes (#186461)
PyTorch 在 #186461 中修复了 SymBool 相等性处理：SymBool 相等可能产生操作数为布尔关系的 SymPy 关系（如 Eq(Eq(u0,1),Eq(u1,1))），此前布尔表达式规范化和 try_solve 假设关系操作数为算术表达式并相减，导致 expect_true 抛出 TypeError。该变更对非算术关系进行结构化规范化，并将 Gt/Ge 定向为 Lt/Le，保留 ShapeEnv.get_implications 所需的规范形式；try_solve 在任一操作数非算术时保守放弃。回归测试检查延迟运行时断言和蕴含集，包括幂等性和无 Gt/Ge 关系。修复 #124110。
Development
- First Reportviable/strict/1787552956: Fix SymBool equality handling in symbolic shapes (#186461)PyTorch Core
- Industry Responsetrunk/b7930e431f5b3a5d138bf9209b5c6decff9e7050: Fix SymBool equality handling in symbolic shapes (#186461)PyTorch Core
- Current AssessmentPyTorch 持续修复符号形状和动态形状推理的边界情况，表明框架在复杂符号推理场景下的成熟度提升。此类修复对依赖动态形状的模型（如 NLP 和推荐系统）的稳定性至关重要，也反映了开源框架在社区驱动下对边缘情况的重视。Agent Pulse · analysis
PyTorch 发布了一个修复，针对符号形状中 SymBool 相等性处理的问题。SymBool 相等可能产生操作数为布尔关系的 SymPy 关系，例如 Eq(Eq(u0,1),Eq(u1,1))。此前，布尔表达式规范化和 try_solve 假设关系操作数为算术表达式并相减，导致 expect_true 抛出 TypeError。该变更对非算术关系进行结构化规范化，并将 Gt/Ge 定向为 Lt/Le，保留 ShapeEnv.get_implications 所需的规范形式；try_solve 在任一操作数非算术时保守放弃。重叠的布尔 ValueRanges.eq 修复已在 #191886 中独立落地，此处不重复。回归测试检查延迟运行时断言和蕴含集，包括幂等性和无 Gt/Ge 关系。修复 #124110。
该修复表明 PyTorch 的符号形状系统在处理嵌套布尔关系时存在假设缺陷：关系操作数被假定为算术表达式。通过结构化规范化和定向 Gt/Ge 为 Lt/Le，保持了 ShapeEnv.get_implications 所需的规范形式，并让 try_solve 在非算术操作数上保守放弃，避免错误减法。这提高了符号推理的鲁棒性，减少因类型错误导致的运行时失败。
PyTorch 持续修复符号形状和动态形状推理的边界情况，表明框架在复杂符号推理场景下的成熟度提升。此类修复对依赖动态形状的模型（如 NLP 和推荐系统）的稳定性至关重要，也反映了开源框架在社区驱动下对边缘情况的重视。
该修复降低了 PyTorch 在动态形状场景下运行时崩溃的风险，提升了框架稳定性，对依赖 PyTorch 的生产环境（如模型服务）有直接价值。稳定的框架减少故障排查成本，增强开发者信心，间接促进 PyTorch 生态的商业采用。
后续可关注 PyTorch 是否进一步统一布尔关系处理，以及是否在其他符号推理路径（如 guards 生成）中应用类似规范化。此外，重叠修复 #191886 的合并可能带来更一致的 ValueRanges 行为。