KarpelesLab / goro / 25774292697

push

github

vm: targeted OP_SYNC_LOCAL for writable args to unknown callees

Replaces the bulk OP_SYNC_SLOTS attempt with a per-local sync: when
the unknown-callable + writable-arg gate fires, the emitter writes
each variable-arg's slot to the FuncContext hashtable before
AST-delegating the call. Only those specific locals are touched —
avoids the FuncContext-wide refcount / type-checker churn that
broke 50 unrelated tests when bulk-syncing was used.

The previous narrow gate (no sync, slot-only body) silently dropped
by-ref propagation for forward-referenced by-ref user functions
called from inside another function body. With the targeted sync,
the AST sees fresh values for the specific args it needs, the
binding works correctly, and the rest of the body keeps slot-only.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

6 of 24 new or added lines in 2 files covered. (25.0%)

14053 of 115629 relevant lines covered (12.15%)

2039.36 hits per line