Repository navigation

Tooling: pack cyclic routing states with identical exhaustive receipts - #808

Merged

Mister-Meeseeks merged 2 commits into

CrocSwap:mainfrom

4RchYMing:research/seed87-verification-engineering

Oct 14, 2026

Merged

Tooling: pack cyclic routing states with identical exhaustive receipts#808
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
4RchYMing:research/seed87-verification-engineering

Commits on Oct 13, 2026
- Speed up exact cyclic routing verification with packed joint states
  4RchYMing
  committed
  b9c280c
- test: cover the full cyclic routing domain with an independent oracle
  4RchYMing
  committed
  9ce9273