[Plan] issue-2088: receiver-correlated invoked-property evidence for object-literal value-refs - #2612

Open

carlos-alm wants to merge 32 commits into

mainfrom

docs/plan-issue-2088

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

Navigation Menu

Uh oh!

[Plan] issue-2088: receiver-correlated invoked-property evidence for object-literal value-refs - #2612

[Plan] issue-2088: receiver-correlated invoked-property evidence for object-literal value-refs#2612
carlos-alm wants to merge 32 commits into
mainfrom
docs/plan-issue-2088

Commits on Aug 24, 2026

docs(plan): receiver-correlated invoked-property evidence for issue-2088

docs: fix WU-8's native NAPI-threading file and precedent citation (#2612)

docs: fix WU-2b's return-owner escape gap and WU-5a's fabricated citation (#2612)

docs: fix WU-2's alias escape-tracking gap and strengthen WU-10 assertions (#2612)

docs: fix alias-transitivity gap in WU-2's rebinding branch (#2612)

docs: treat param-flow positions as escaping in WU-2 condition 3 (#2612)

docs: gate tracked reference positions on T1 visibility in WU-2 (#2612)

docs: close five round-7 escape-analysis soundness gaps in WU-2 (#2612)

docs: close three round-8 soundness gaps in WU-2's escape analysis

docs: close round-9 gaps in WU-2 escape analysis and WU-5 ordering

docs: close round-10 identifier-resolution gaps in WU-2 condition 4

docs: fix round-10 regression and for-in gap in WU-2 condition 4

docs: close round-12 arrow-parameter shadow gap in WU-2 condition 4

docs: note for-await coverage and the two-walk divergence risk

docs: fix issue-2088 plan's condition-4 reassignment gap (round 13)

docs: close round-14 write-scan and duplicate-declaration gaps in WU-2 condition 4

docs: close round-15 var/Annex-B hoist-through-blocks gap in WU-2 condition 4

docs: fix countHoistedVarScopeDeclarations's own traversal order (round 15 self-review)

docs: close round-16 under-escape gaps in WU-2 condition 4 (#2630/#2632/#2634/#2636)

docs: cross-reference #2637 (switch_body using_declaration residual) in WU-2

docs: close round-17 under-escape gaps in WU-2 condition 4 (#2637 + 3 new)

docs: apply Greptile's update_expression unwrapParens fix in WU-2

docs: close round-18 gaps in WU-2 condition 3/4, reopen #2637

docs: close two outstanding Greptile findings from this PR in WU-2

Commits on Aug 25, 2026

docs: close round-19 under-escape gaps in WU-2 conditions 3/4

docs: close round-20 escape-analysis gaps in WU-2, apply ablation discipline retroactively

docs: fix round-8 self-shadow bug recurring at every allReferencesTracked recursion level (round 21)

docs: fix class_static_block var-scope gap in WU-2, correct round-21 miscounts (round 22)

docs: fix WU-10 fixture-matrix oracle, axes, and case (by); reconcile counts

docs: fix hasT1Evidence scoping and WU-10 coverage-claim gaps (round 23)

docs: fix under-escape gap in condition 2's alias recursion (round 25)

docs: cite #2645 for the round-25 matrix-generator invocation gap