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

90%

main: 90%

Build Type

push

github

Committed by web-flow

Commit Message

Decide whether a layer-building condition is fixed by following it back (#1254)

A first call under a condition counted as fixed only when its points-to
set was one constant or it was typed as a tensor, so a loop over blocks
built in `__init__` was refused though it takes the same path on every
trace. Follow the condition back instead: constants, the receiver, fields
written only in `__init__` or `build`, operators over fixed operands, and
loops over fixed iterables are fixed; parameters, rebound fields, and
unknown calls vary.


Claude-Session: https://claude.ai/code/session_01NTnpjPjJj2aZy1ZkUD1eAn

Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>

Coverage Stats

62 of 68 new or added lines in 2 files covered. (91.18%)

1 existing line in 1 file now uncovered.

6576 of 7329 relevant lines covered (89.73%)

0.9 hits per line