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

84%

push

github

Exempt containers of tensors from the tensor-iteration check (#833)

* 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

* Address review: pin list_iter's P1; describe the delegated container set

The exemption pin now asserts convertibility, its whole point, and the suite confirms `list_iter` reaches P1. The predicate Javadoc describes `Util.isContainerType`'s actual set, including the `enumerate` wrapper, with the reasoning for why that inclusion cannot exempt a real hazard: an enumerate result does not pass the tensor-typed gate that precedes the exemption.

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

---------

Co-authored-by: Claude Fable 5 <noreply@anthropic.com>

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