ponder-lab / Hybridize-Functions-Refactoring / #2664

84%

main: 84%

Pull #833

github

Exempt containers of tensors from the tensor-iteration check

On the check's first corpus exposure, NLPGNN's `MessagePassing._calculate_type_to_incoming_edges_num` declined with code 20, but its `adjacency_lists` is a Python list of tensors at runtime (the loader wraps the adjacency value in a singleton list), and iterating a fixed-length collection under tracing is legal; the loop unrolls. The container's value carries tensor typing through element dataflow, which the tensor-typed condition alone cannot distinguish from a tensor proper. A points-to container exemption (`Util.isContainerType` over the iterated value's points-to set) narrows the condition; `EventSeq.from_array` keeps declining, since its tensor-passing call site flows a tensor proper. `list_iter` pins a list of tensors converting.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01GcqABsog1rtb4m2CDZdcRD

5 of 6 new or added lines in 1 file covered. (83.33%)

2978 of 3565 relevant lines covered (83.53%)

0.84 hits per line