compiler: W4-EFFECTS-1 slices E2–E5 — admissible effects, from the gate to real hardware - #630

Merged

gstoner merged 4 commits into

mainfrom

agent/w4-effects-e2-e5

Aug 25, 2026

Commits on Aug 25, 2026

compiler: W4-EFFECTS-1 slice E2 — split the stochastic gate and give keyed dropout its pathwise adjoint

gstoner
and
claude
committed
480f590
compiler: W4-EFFECTS-1 slices E3 and E4 — recorded state binds its value; collectives bind order AND tree

gstoner
and
claude
committed
bd58880
compiler: W4-EFFECTS-1 slice E5 — the keyed-RNG family carries its recorded product to real hardware

gstoner
and
claude
committed
59e5404
compiler: PR #630 review — verify the product, share the verifier, check identity

gstoner
and
claude
committed
1cef461