Compile immutables (`loadimmutable` / `setimmutable`) - #154

Merged

leonardoalt merged 14 commits into

mainfrom

Aug 3, 2026

Commits on Aug 3, 2026

Take `loadimmutable` as a modeled built-in from pinned yul-semantics

leonardoalt
and
claude
committed
f712217
Add the fixed-width `Asm.pushImmutable` placeholder, end to end

leonardoalt
and
claude
committed
7fce09e
Carry `Asm.pushImmutable` through the SSA-CFG backend and certificate lookups
leonardoalt
committed
c17d0ad
Prove that no step ever rewrites the immutable map, and re-pin SPEC.md

leonardoalt
and
claude
committed
048c0f8
Compile immutables: placeholder reads and constructor patching

leonardoalt
and
claude
committed
a1a394b
Re-pin the spec and gas baselines for immutables support

leonardoalt
and
claude
committed
8920039
Repair doc comments mangled by the parameter-threading rewrite

leonardoalt
and
claude
committed
d50b766
Make the immutable assignment a defaulted trailing argument, and name it honestly

leonardoalt
and
claude
committed
d2c01ed
Address review: SSA/classic offset mismatch, and state the desugaring's scope

leonardoalt
and
claude
committed
4c409a8
Prove the immutable placeholder offsets

leonardoalt
and
claude
committed
72e3a57
Re-pin the one gas row the SSA offset fix corrects

leonardoalt
and
claude
committed
fde8cf2
Reject the two immutable shapes that could silently miscompile

leonardoalt
and
claude
committed
0e068a2
Require an immutable's setter to sit in the reader's parent

leonardoalt
and
claude
committed
3d4e4c4
Reject unpatchable root reads; decode setimmutable's value args

leonardoalt
and
claude
committed
c65c6b2