viable/strict/1790693664: Fix the unbacked guard in linalg_cross's meta length-3 check (#195767)
PyTorch 发布记录显示，linalg_cross 的 meta kernel 用单个 torch._check 配合 Python 的 and 检查 length-3 约束：torch._check(self.size(dim) == 3 and other.size(dim) == 3, ...)。由于 Python 的 and 需要判断左操作数的真值，会对第一个 SymBool 调用 bool()；在 unbacked size 上这构成 guard，导致 tracing 失败并抛出 GuardOnDataDependentSymNode: Could not guard on data-dependent expression Eq(u0, 3)。修复方向是改用 sym_and 组合两个条件，避免 bool 转换，该文件中的 _padding_check_valid_input 与 pooling 检查已采用此写法。
发展脉络
- 首次出现viable/strict/1790693664: Fix the unbacked guard in linalg_cross's meta length-3 check (#195767)PyTorch Core
- 当前判断此类修复不改变模型能力，但影响 torch.compile 在动态形状场景下的可用边界。判断：编译器对 unbacked 符号的容错程度，是 PyTorch 生态中动态形状工作负载能否稳定落地的关键工程变量之一。可验证信号是后续 release 中同类 guard 报错的 issue 数量变化。Agent Pulse · 分析
PyTorch 的 linalg_cross meta kernel 在检查 length-3 约束时使用了 torch._check(self.size(dim) == 3 and other.size(dim) == 3, ...)。证据指出，Python 的 and 必须先判断左操作数真值，因此会对第一个 SymBool 调用 bool()；当 size 为 unbacked 时，这一调用变成 guard，使 torch.compile(fullgraph=True) 在 torch.linalg.cross 上直接失败，报 GuardOnDataDependentSymNode: Could not guard on data-dependent expression Eq(u0, 3)。修复思路是用 sym_and 组合两个条件，避免 bool 转换；证据称该文件其余复合条件（_padding_check_valid_input、pooling 检查）已使用 sym_and，且只有左操作数存在问题，符号化的右操作数不受影响。
这是符号形状系统中 guard 语义与 Python 短路求值语义冲突的典型案例：and 的隐式 bool() 把本应记录的约束变成运行时 guard，从而在 unbacked 维度上中断 tracing。可验证的下一信号是修复后 torch.compile(fullgraph=True) 对含 nonzero 派生维度的 linalg_cross 用例能否通过，以及仓库中是否还有同类 and 写法被替换为 sym_and。
此类修复不改变模型能力，但影响 torch.compile 在动态形状场景下的可用边界。判断：编译器对 unbacked 符号的容错程度，是 PyTorch 生态中动态形状工作负载能否稳定落地的关键工程变量之一。可验证信号是后续 release 中同类 guard 报错的 issue 数量变化。
对使用 torch.compile 且输入形状依赖数据的团队，这类修复直接减少编译失败与回退到 eager 的情况，降低调试与性能不确定性成本。判断：其价值体现在工程稳定性而非新功能，可通过升级后编译成功率与回退率衡量。
若 sym_and 替换被合入并覆盖同类模式，含数据依赖形状的图捕获成功率应提升。可观察的下一信号是该 PR 的合并状态与后续版本中 GuardOnDataDependentSymNode 相关报告的增减。