Disable non-linear arithmetic in 17 verification packages - #435

Draft

jcp19 wants to merge 3 commits into

claude/scion-nonlinear-arithmetic-verify-1wj115

Commits on Aug 18, 2026

Document what breaks when non-linear arithmetic is disabled
claude
committed
503b61e
Disable non-linear arithmetic where the proofs do not need it
claude
committed
71e3d91
Record the router results for both wildcard mitigations
claude
committed
95b0fb2