feat(arithmetic): add verified real-quadratic order - #1287

Merged

morluto merged 7 commits into

mainfrom

agent/port-real-quadratic-order-v2

Aug 13, 2026

Commits on Aug 12, 2026

feat(arithmetic): add verified real-quadratic order
morluto
committed
af07ceb

Commits on Aug 13, 2026

Merge current main into real-quadratic order port
morluto
authored
c16a252
Merge latest main into real-quadratic port
morluto
authored
0f8513c
fix(arithmetic): align real quadratic CI contracts
morluto
committed
4815518
Merge current main into real quadratic order port
morluto
committed
e3d0197
Merge remote-tracking branch 'origin/main' into HEAD
morluto
committed
bff1c80
fix(ci): satisfy static checks for real quadratic order
morluto
committed
b707620