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

AdaWorldAPI merged 2 commits into

mainAdaWorldAPI/lance-graph:mainfrom

claude/jirak-math-theorems-harvest-rfii13AdaWorldAPI/lance-graph:claude/jirak-math-theorems-harvest-rfii13Copy head branch name to clipboard