You Wish and morluto
355a292198
fix(javascript): preserve uncertainty after references escape to calls ( #1292 )
...
* fix(javascript): preserve uncertainty after references escape to calls
* fix(javascript): track iterator root escapes and preserve static captures
* fix(javascript): scope comparison unknowns to their evidence
* fix(javascript): track parameter origins at function body entry
---------
Co-authored-by: morluto <[email protected]
2026-10-10 06:53:42 +08:00
You Wish
a9f5dad5a8
fix(javascript): resolve exported callables through lexical bindings ( #1351 )
...
* fix(javascript): resolve exported callables through lexical bindings
* fix(javascript): preserve export scope and hoisted writes
* test(javascript): consolidate export binding assertions
* fix(javascript): account for skipped initializers and loop binding writes
* fix(javascript): preserve parameters copied into body variables
2026-10-10 06:39:56 +08:00
morluto
b628bba1fa
refactor(javascript): normalize erased expression syntax once
2026-10-10 01:45:01 +08:00
morluto
73e98b2516
fix(javascript): preserve alias and container uncertainty
2026-10-09 22:46:08 +08:00
morluto
475a0f84da
fix(javascript)!: preserve property paths and uncertain slot presence
...
Use one explicit object/array slot model and JSON-pointer property identity across mutation analysis, return projection, and semantic graphs. Require observed presence for discriminants and resolve writes only through retained object or array receivers.
BREAKING CHANGE: projected return fields require explicit presence and semantic object operations carry full property paths.
2026-10-09 20:18:52 +08:00
morluto
dcde958450
perf(javascript): analyze member chains without recursive copying ( #932 )
...
* fix(javascript): traverse deep semantic member chains iteratively
* fix(javascript): preserve deep initializer and pattern analysis
2026-10-07 19:09:25 +08:00
ysopwnable
f6a58f1062
refactor(javascript): group domain semantics and contracts ( #907 )
2026-10-07 17:16:58 +08:00
