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

90%

main: 90%

push

github

Refuse a layer constructed in a traced body only if it may create variables (#1274)

* Refuse a layer constructed in a traced body only if it may create variables

Fixes #1273.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01NTnpjPjJj2aZy1ZkUD1eAn

* Refuse a constructed model, an escaping layer, or an unresolved call on one

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01NTnpjPjJj2aZy1ZkUD1eAn

* Pin a layer built and called through its own methods

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01NTnpjPjJj2aZy1ZkUD1eAn

---------

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

34 of 37 new or added lines in 1 file covered. (91.89%)

6943 of 7730 relevant lines covered (89.82%)

0.9 hits per line