feat: infinite practice generator + Verify Solution (roadmap #5, #8)#80

Merged

ABCrimson merged 6 commits into

mainfrom

feat/wave1-practice-verify

Jul 11, 2026

Commits on Jul 11, 2026

feat(math-engine): seed-deterministic problem generation with CAS-graded answers

ABCrimson
and
claude
committed
feat(math-engine): equivalence module — symbolic + seeded numeric probing

ABCrimson
and
claude
committed
feat(web): infinite drill mode + Check-my-work CAS verification

ABCrimson
and
claude
committed
test(web): drill-mode + check-work-panel component tests

ABCrimson
and
claude
committed
fix(practice): eight adversarial-review findings in practice + verify

ABCrimson
and
claude
committed
Merge main (relations, regression, StepTrace) into feat/wave1-practice-verify

ABCrimson
and
claude
committed