Add `transform` context for annotating compiler optimizations#216

Draft

gnidan wants to merge 19 commits into

mainfrom

transform-context

Commits on Jul 13, 2026

format: add transform context for compiler optimizations (#212)
gnidan
committed
bugc: emit tailcall transform context on TCO back-edge (#217)
gnidan
committed
programs-react: render tailcall transform + fix TCO call stack (#218)
gnidan
committed
docs: add tail-call optimization tracing example (#219)
gnidan
committed
docs: link first frame mention to its spec page (#220)
gnidan
committed
web: tracer drawer — opt-level selector, tailcall render, right-column panels (#222)
gnidan
committed
docs: match TCO example prose to the Opt selector (O0-O3) (#221)
gnidan
committed
bugc: emit fold transform on constant folding (#225)
gnidan
committed
bugc: emit coalesce transform on read-write merging (#228)
gnidan
committed
format: spec the inlined-call virtual activation contract (#229)
gnidan
committed
bugc: add function inlining pass with inline transform (L2) (#230)
gnidan
committed
format: clarify inline activation reconstruction (push/pop vs membership) (#233)
gnidan
committed
web/programs-react: reconstruct inline virtual activations in tracer (#234)
gnidan
committed
bugc: bracket inlined invoke/return to boundary ops in evmgen (#235)
gnidan
committed
format: name context and activation correlation
gnidan
committed
programs-react: adopt locked inline-activation contract (#237)
gnidan
committed
programs-react: lock inline reconstruction against bracketed + smeared shapes (#239)
gnidan
committed
docs: home the tail-call walkthrough in the trace playground
gnidan
committed
docs: add inlineDemo tracing example (leaf helper, two sites) (#232)
gnidan
committed