Skip to content

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

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
carlos-alm wants to merge 37 commits into
base: main
Choose a base branch
from
Open

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

Changes from 1 commit
Commits
Show all changes
37 commits
Select commit Hold shift + click to select a range
2b8e8b7
docs(plan): receiver-correlated invoked-property evidence for issue-2088
carlos-alm Aug 24, 2026
013576b
docs: fix WU-8's native NAPI-threading file and precedent citation (#…
carlos-alm Aug 24, 2026
8aa0167
docs: fix WU-2b's return-owner escape gap and WU-5a's fabricated cita…
carlos-alm Aug 24, 2026
899188d
docs: fix WU-2's alias escape-tracking gap and strengthen WU-10 asser…
carlos-alm Aug 24, 2026
62606d0
docs: fix alias-transitivity gap in WU-2's rebinding branch (#2612)
carlos-alm Aug 24, 2026
515140a
docs: treat param-flow positions as escaping in WU-2 condition 3 (#2612)
carlos-alm Aug 24, 2026
9156a88
docs: gate tracked reference positions on T1 visibility in WU-2 (#2612)
carlos-alm Aug 24, 2026
e8efa37
docs: close five round-7 escape-analysis soundness gaps in WU-2 (#2612)
carlos-alm Aug 24, 2026
0bdfb32
docs: close three round-8 soundness gaps in WU-2's escape analysis
carlos-alm Aug 24, 2026
df5fd92
docs: close round-9 gaps in WU-2 escape analysis and WU-5 ordering
carlos-alm Aug 24, 2026
24eb39f
docs: close round-10 identifier-resolution gaps in WU-2 condition 4
carlos-alm Aug 24, 2026
521ab3a
docs: fix round-10 regression and for-in gap in WU-2 condition 4
carlos-alm Aug 24, 2026
bd57e70
docs: close round-12 arrow-parameter shadow gap in WU-2 condition 4
carlos-alm Aug 24, 2026
222fa85
docs: note for-await coverage and the two-walk divergence risk
carlos-alm Aug 24, 2026
34a2f7a
docs: fix issue-2088 plan's condition-4 reassignment gap (round 13)
carlos-alm Aug 24, 2026
752405f
docs: close round-14 write-scan and duplicate-declaration gaps in WU-…
carlos-alm Aug 24, 2026
63c63c3
docs: close round-15 var/Annex-B hoist-through-blocks gap in WU-2 con…
carlos-alm Aug 24, 2026
81b1be1
docs: fix countHoistedVarScopeDeclarations's own traversal order (rou…
carlos-alm Aug 24, 2026
34c445c
docs: close round-16 under-escape gaps in WU-2 condition 4 (#2630/#26…
carlos-alm Aug 24, 2026
69ae1c9
docs: cross-reference #2637 (switch_body using_declaration residual) …
carlos-alm Aug 24, 2026
6ac51c2
docs: close round-17 under-escape gaps in WU-2 condition 4 (#2637 + 3…
carlos-alm Aug 24, 2026
f709b31
docs: apply Greptile's update_expression unwrapParens fix in WU-2
carlos-alm Aug 24, 2026
e3be4f7
docs: close round-18 gaps in WU-2 condition 3/4, reopen #2637
carlos-alm Aug 24, 2026
71c9325
docs: close two outstanding Greptile findings from this PR in WU-2
carlos-alm Aug 24, 2026
a4977ba
docs: close round-19 under-escape gaps in WU-2 conditions 3/4
carlos-alm Aug 25, 2026
4b9bd16
docs: close round-20 escape-analysis gaps in WU-2, apply ablation dis…
carlos-alm Aug 25, 2026
e8ad327
docs: fix round-8 self-shadow bug recurring at every allReferencesTra…
carlos-alm Aug 25, 2026
3e92903
docs: fix class_static_block var-scope gap in WU-2, correct round-21 …
carlos-alm Aug 25, 2026
f1fef6e
docs: fix WU-10 fixture-matrix oracle, axes, and case (by); reconcile…
carlos-alm Aug 25, 2026
8bc1b0a
docs: fix hasT1Evidence scoping and WU-10 coverage-claim gaps (round 23)
carlos-alm Aug 25, 2026
0e3d3c4
docs: fix under-escape gap in condition 2's alias recursion (round 25)
carlos-alm Aug 25, 2026
1846117
docs: cite #2645 for the round-25 matrix-generator invocation gap
carlos-alm Aug 25, 2026
c394ef3
docs(plan): pin exportedNames derivation, fix round-25 false claims (…
carlos-alm Aug 25, 2026
d9fb30c
docs(plan): fix callerName derivation, pts null-guard, definitionName…
carlos-alm Aug 25, 2026
b280748
docs(plan): complete B1 with a widened enclosing-scope probe set (rou…
carlos-alm Aug 25, 2026
2183bea
docs(plan): expand collision write-up, add shape 36, note this-receiv…
carlos-alm Aug 25, 2026
8aced6d
docs(plan): correct stale declaringScope recursion instructions (#2612)
carlos-alm Aug 26, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading
Loading