Repository navigation

Module-scope constants and a static memory footprint check (A058) - #515

Open

0xGeorgii wants to merge 7 commits into

mainfrom

claude/stoic-fermat-0przdx

Open

Module-scope constants and a static memory footprint check (A058)#515
0xGeorgii wants to merge 7 commits into
mainfrom
claude/stoic-fermat-0przdx

Commits on Oct 4, 2026
- feat(wasm-linker): preserve the main module's active data segments
  claude
  committed
  08c50be
- feat: module-scope constants and a static footprint check (A058)
  claude
  committed
  056ce3d
- docs: describe module constants and the static memory footprint
  claude
  committed
  76da382
- fix(tests): fuel the store before instantiating in the bounds-elision sweep
  
  claude
  and
  Paperclip-Paperclip
  committed
  310be9f
- docs(type-checker): give the right reason and rule for a refused shift count
  
  claude
  and
  Paperclip-Paperclip
  committed
  c03ad2f
- fix(hassert): read module constants lazily and count their leaves
  
  claude
  and
  Paperclip-Paperclip
  committed
  2fa05f4
- test(hassert): pin how constants of each shape read in a specification
  
  claude
  and
  Paperclip-Paperclip
  committed
  48a9299