feat(roles): receiver-correlated invoked-property evidence for object-literal value-refs - #2654

Merged

carlos-alm merged 45 commits into

mainfrom

feat/2088-correlated-invoked-property-evidence

Sep 6, 2026

Commits on Aug 24, 2026

docs(plan): receiver-correlated invoked-property evidence for issue-2088
carlos-alm
committed
2b8e8b7
docs: fix WU-8's native NAPI-threading file and precedent citation (#2612)
carlos-alm
committed
013576b
docs: fix WU-2b's return-owner escape gap and WU-5a's fabricated citation (#2612)
carlos-alm
committed
8aa0167
docs: fix WU-2's alias escape-tracking gap and strengthen WU-10 assertions (#2612)
carlos-alm
committed
899188d
docs: fix alias-transitivity gap in WU-2's rebinding branch (#2612)
carlos-alm
committed
62606d0
docs: treat param-flow positions as escaping in WU-2 condition 3 (#2612)
carlos-alm
committed
515140a
docs: gate tracked reference positions on T1 visibility in WU-2 (#2612)
carlos-alm
committed
9156a88
docs: close five round-7 escape-analysis soundness gaps in WU-2 (#2612)
carlos-alm
committed
e8efa37
docs: close three round-8 soundness gaps in WU-2's escape analysis
carlos-alm
committed
0bdfb32
docs: close round-9 gaps in WU-2 escape analysis and WU-5 ordering
carlos-alm
committed
df5fd92
docs: close round-10 identifier-resolution gaps in WU-2 condition 4
carlos-alm
committed
24eb39f
docs: fix round-10 regression and for-in gap in WU-2 condition 4
carlos-alm
committed
521ab3a
docs: close round-12 arrow-parameter shadow gap in WU-2 condition 4
carlos-alm
committed
bd57e70
docs: note for-await coverage and the two-walk divergence risk
carlos-alm
committed
222fa85
docs: fix issue-2088 plan's condition-4 reassignment gap (round 13)
carlos-alm
committed
34a2f7a
docs: close round-14 write-scan and duplicate-declaration gaps in WU-2 condition 4
carlos-alm
committed
752405f
docs: close round-15 var/Annex-B hoist-through-blocks gap in WU-2 condition 4
carlos-alm
committed
63c63c3
docs: fix countHoistedVarScopeDeclarations's own traversal order (round 15 self-review)
carlos-alm
committed
81b1be1
docs: close round-16 under-escape gaps in WU-2 condition 4 (#2630/#2632/#2634/#2636)
carlos-alm
committed
34c445c
docs: cross-reference #2637 (switch_body using_declaration residual) in WU-2
carlos-alm
committed
69ae1c9
docs: close round-17 under-escape gaps in WU-2 condition 4 (#2637 + 3 new)
carlos-alm
committed
6ac51c2
docs: apply Greptile's update_expression unwrapParens fix in WU-2
carlos-alm
committed
f709b31
docs: close round-18 gaps in WU-2 condition 3/4, reopen #2637
carlos-alm
committed
e3be4f7
docs: close two outstanding Greptile findings from this PR in WU-2
carlos-alm
committed
71c9325

Commits on Aug 25, 2026

Commits on Aug 26, 2026

Commits on Sep 3, 2026