Skip to content

feat(supervisor): S2 driver — MUL gate → owner advance (drive_mul_advance)#578

Merged
AdaWorldAPI merged 2 commits into
mainfrom
claude/jirak-math-theorems-harvest-rfii13
Jun 21, 2026
Merged

feat(supervisor): S2 driver — MUL gate → owner advance (drive_mul_advance)#578
AdaWorldAPI merged 2 commits into
mainfrom
claude/jirak-math-theorems-harvest-rfii13

fix(supervisor): S2 atomic MulAdvance — gate+advance in one message (…

f543bfc
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar