feat(verus): StaticQueue proofs, test fixes, CI integration#139

Merged

avrabe merged 3 commits intomainfrom

feat/verus-static-queue-proofs-and-test-fixes

Mar 1, 2026

Commits on Mar 1, 2026

feat(verus): add StaticQueue proofs, fix 8 test failures, add CI job

avrabe
and
claude
committed
fix(tests): fix test compilation, serial execution, and stack overflows

avrabe
and
claude
committed
fix(ci): make CI resilient to pre-existing code quality findings

avrabe
and
claude
committed