viable/strict/1789482542: [dynamo] Specialize symbolic list.pop() indices (#196590)
PyTorch 发布 viable/strict/1789482542 变更（#196590），修复 #196285：BaseListVariable.list_pop 此前对索引参数调用 as_python_constant()，当 dynamic=True 且索引由 shape 推导时抛出 AsPythonConstantNotImplementedError，并以 InternalTorchDynamoError 逃出 tracer。现在改为走 Argument Clinic 为 index 生成的转换路径 Py_ssize_t = -1，即 _PyNumber_Index 再 PyLong_AsSsize_t，Dynamo 已将其建模为 pynumber_index 与 pylong_as_ssize_t，并按 list_pop_impl 顺序执行：转换、负数包装、两端边界检查。
发展脉络
- 首次出现viable/strict/1789482542: [dynamo] Specialize symbolic list.pop() indices (#196590)PyTorch Core
- 当前判断这是编译器正确性与边界语义的修复，而非能力发布。它降低动态形状场景下 Dynamo 因索引转换失败而中断追踪的概率，属于框架稳定性维护。可验证的下一信号是后续 release note 或 issue 中是否仍有同类 InternalTorchDynamoError 报告。Agent Pulse · 分析
该变更说明 list.pop() 的索引不能保持符号化，因为哪个元素离开列表决定了被追踪图的结构。修复后索引经 _PyNumber_Index 与 PyLong_AsSsize_t 转换，与 list_pop_impl 的顺序一致：先转换、再包装负数、最后对两端做边界检查。这同时修复了负的在范围内索引、任一侧越界索引、__index__ 对象以及超大索引的 OverflowError（含错误消息）。pylong_as_ssize_t 是 Python int 变为 C ssize_t 的位置，因此也是 backed SymInt 在 guard 下特化、unbacked 直接报错而非猜测的位置。它现在返回普通 int，因为 C ssize_t 既不是 bool 也不是 int 子类；DequeVariable.validate_maxlen 返回该转换值，使 deque 存储转换后的值而非传入对象。
从证据看，Dynamo 对 list.pop() 索引采取的是特化而非符号化：索引决定图结构，因此必须在 pylong_as_ssize_t 处把 backed SymInt 在 guard 下转成具体 ssize_t，unbacked 则报错。可验证的下一信号是 PyTorch 仓库中该 PR 的测试用例是否覆盖 dynamic=True 下的 shape 推导索引、__index__ 对象与 OverflowError 路径。
这是编译器正确性与边界语义的修复，而非能力发布。它降低动态形状场景下 Dynamo 因索引转换失败而中断追踪的概率，属于框架稳定性维护。可验证的下一信号是后续 release note 或 issue 中是否仍有同类 InternalTorchDynamoError 报告。
对使用 torch.compile 且开启 dynamic=True 的团队，这类修复减少因索引转换导致的编译中断与调试成本，价值体现在稳定性而非新功能。可验证信号是该版本发布后同类错误的复现率与 issue 数量变化。
若该转换路径稳定，动态形状下涉及列表与 deque 的追踪失败会减少；反之若 unbacked SymInt 场景增多，报错而非猜测的策略可能成为新的用户可见限制。观察点是相关 issue 的关闭与新增情况。