Skip to content

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

Prove the fixed SW4 owner profile optimal with exact integer certific…

56b6268
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
certificate (3.11)
succeeded Oct 13, 2026 in 4m 6s