Chris Tate c54c4e1d2a Prove module-level number state int32 through every write ...

- Module globals of type number join the whole-program int32 fixpoint as
  `global:` candidates, starting non-negative. A candidate needs its module
  initializer to assign it at the top level (its declaration), and no
  write by `++`/`--`, for-of or catch; every assignment must evaluate to
  an int32 under the current facts (an integer literal counts in any
  function), and a write that may be negative keeps only the int32 fact.
- Reads take the proven range through IntegerSlotFacts.locals, so a
  generator state reduced by a remainder (`seed = (seed * a + c) % m`)
  takes unsigned integer remainders without the -0 select.

2026-10-27 07:57:22 -05:00

..

corpus

Prove module-level number state int32 through every write

2026-10-27 07:57:22 -05:00

coverage-fixtures

Address review feedback

2026-10-26 10:20:11 -05:00

deadstrip

…

diagnostics

Merge main

2026-10-26 06:51:26 -05:00

ffi

…

fixtures

Keep declarations a removed branch shares with another

2026-10-26 07:50:59 -05:00

harness

Prove module-level number state int32 through every write

2026-10-27 07:57:22 -05:00

library-mode

Add object literal members through the store caches in untyped code

2026-10-25 08:24:12 -05:00

node-parallel

Compare termination signals and resolve the Node checkout path in the test/parallel runner

2026-10-24 16:00:06 -05:00

test262

Convert compareArray's message only when the arrays differ

2026-10-24 16:16:23 -05:00

wasm-spec

…