viable/strict/1790494194: Fix _sympy_mod crash on plain int operands (#198395) (#198395)
PyTorch 修复了 _sympy_mod 在普通 int 操作数上的崩溃。问题表现为 InductorError: LoweringException: AttributeError: 'int' object has no attribute 'is_nonnegative'，参数为 args[0]: 20、args[1]: 8。原因是 torch/fx/experimental/sym_node.py 中 _sympy_mod 将操作数标注为 sympy.Basic 并直接读取 .is_nonnegative；而 torch/_inductor/lowering.py 为 magic_methods（含 mod）注册 lowering，当两个操作数都不是 symbolic 或 sympy.Basic 时，回退分支直接把普通 Python 标量传给处理函数，未走 _unwrap_symbolic_magic_arg 的 sympify 路径。
Development
- First Reportviable/strict/1790494194: Fix _sympy_mod crash on plain int operands (#198395) (#198395)PyTorch Core
- Industry Responsetrunk/50a1fa355ba733233d60eede2ca9d7016d1e66e1: Fix _sympy_mod crash on plain int operands (#198395) (#198395)PyTorch Core
- Current Assessment判断：这类修复本身不改变竞争格局，但反映编译器栈在符号形状与普通标量混合场景下的边界仍在被持续打磨。对依赖 torch.compile 的团队而言，稳定性更多来自这类小修复的累积，而非单次大版本。Agent Pulse · analysis
PyTorch 核心仓库出现针对 _sympy_mod 崩溃的修复提交，标题为 Fix _sympy_mod crash on plain int operands (#198395)，同时出现在 viable/strict/1790494194 与 trunk/50a1fa355ba733233d60eede2ca9d7016d1e66e1 两个发布标签下。证据显示失败形态为 InductorError: LoweringException: AttributeError: 'int' object has no attribute 'is_nonnegative'，触发参数是 20 与 8。根因链条清晰：_sympy_mod 假定操作数具备 sympy.Basic 的 .is_nonnegative 属性，但 Inductor 的 magic_methods lowering 在非符号路径上直接以普通 Python 标量调用该处理函数，绕过了既有的 sympify 辅助函数。
这是一处类型契约与调用路径不一致导致的编译期崩溃：符号化路径与普通标量路径共用同一处理函数，但只有前者满足属性假设。可验证的下一信号是修复是否在 _sympy_mod 内部做 sympify 归一化，还是在 lowering 回退分支补齐 _unwrap_symbolic_magic_arg 调用；前者更局部，后者更彻底。
判断：这类修复本身不改变竞争格局，但反映编译器栈在符号形状与普通标量混合场景下的边界仍在被持续打磨。对依赖 torch.compile 的团队而言，稳定性更多来自这类小修复的累积，而非单次大版本。
判断：对以 torch.compile 承载训练或推理的团队，此类崩溃会直接中断编译流程，修复降低的是非计划停机与排查成本；价值大小取决于自身代码是否在图中混用普通标量与符号值。
可观察信号：后续提交是否补充针对 operator.mod 普通 int 操作数的回归测试，以及同类 magic_methods 条目是否被批量审计出相同属性假设。