Repository navigation

Independent exact certificate of PR741 owner-profile optimality - #795

Merged

Mister-Meeseeks merged 1 commit into

CrocSwap:mainfrom

chafreaky:codex/sw4-owner-optimality-20261013

Oct 13, 2026

Merged

Independent exact certificate of PR741 owner-profile optimality#795
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
chafreaky:codex/sw4-owner-optimality-20261013

Commits on Oct 13, 2026
- Prove the fixed SW4 owner profile optimal with exact integer certificates
  chafreaky
  committed
  56b6268