Repository navigation

Construct rational orthogonal witnesses for complete inverse circuits - #5315

Merged

Mister-Meeseeks merged 2 commits into

CrocSwap:mainfrom

aliromman:codex/five-more-20261023-r1

Oct 23, 2026

Merged

Construct rational orthogonal witnesses for complete inverse circuits#5315
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
aliromman:codex/five-more-20261023-r1

Commits on Oct 23, 2026
- Retain inverse-circuit source for the orthogonal witness construction
  aliromman
  committed
  cbae979
- Construct exact orthogonal witnesses for complete inverse circuits
  aliromman
  committed
  9bebc26