Malte Ubl 5d68db67b2 Carry int32 proofs into captured bindings ...

A local captured by a closure lives in a box shared by its declaring
function and every capturing closure, so the range analysis had no facts
for it anywhere, not even in the declaring function. int32-slots.ts now
groups the members of each box (closure captures map positionally onto
the lifted function's captures) and proves the group int32 when every
write to it anywhere is proven and it starts from a proven parameter or
an initialized declaration; ++/--, for-of and catch bindings, TDZ boxes
and class-captured bindings stay unknown. analyzeIntegerRanges reads the
proof through a new boxed-binding fact.

Corpus 4453 adds closures that read an int32 parameter, store a fraction
into a captured local, and count past int32.

2026-10-09 11:59:28 -05:00

..

corpus

Carry int32 proofs into captured bindings

2026-10-09 11:59:28 -05:00

coverage-fixtures

Make compile blockers and Node differences actionable (#786)

2026-10-09 10:30:31 -05:00

deadstrip

init

2026-07-22 18:08:04 -05:00

diagnostics

Track optional values precisely through callbacks, captures and pops (#784)

2026-10-09 10:33:07 -05:00

ffi

Support three.js meshes and materials in static builds

2026-09-29 23:34:18 -05:00

fixtures

Give the self-hosting layout fixture the nullable-union host members

2026-10-09 11:59:24 -05:00

harness

Test class downcasts inline and borrow the checked operand

2026-10-09 11:59:27 -05:00

library-mode

Expand static three.js workflows and host integration (#621)

2026-10-02 19:56:34 -05:00

test262

Make LLVM the sole production backend

2026-09-29 20:54:09 -05:00