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

84%

push

github

Follow call-graph edges in the stale-variable-read receiver-invocation scan (#863)

The scan behind [HAS_STALE_VARIABLE_READS](https://github.com/ponder-lab/Hybridize-Functions-Refactoring/issues/822) was body-local, so [multigpu_training's run_optimization escaped it](https://github.com/ponder-lab/Hybridize-Functions-Refactoring/issues/861): its forward pass sits one call down, in backprop, and the absent in-body invocation read as "this body does not build the receiver." A call site now counts as an invocation of every stably-anchored root (global or lexical; never a node-relative local anchor) that its transitive callees invoke, via cycle-safe call-graph reachability with per-node memoized local scans. Reads and consumer flow stay body-local. The new fixture distills the subject faithfully; decorating its stale function reproduces the singleton-variable ValueError verbatim on TF 2.9.3.


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

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

31 of 32 new or added lines in 2 files covered. (96.88%)

3081 of 3682 relevant lines covered (83.68%)

0.84 hits per line