Skip to content

Scoped proof: PR1918's selected centre-source minor lifts to native rank 8192 (no new kappa) - #2048

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
commdata2338:selected-centre-native-lift
Oct 15, 2026
Merged

Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
commdata2338:selected-centre-native-lift

Research: prove the native rank lift for PR1918's selected centre cuts

a0e55f3
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
verify (3.14)
succeeded Oct 15, 2026 in 5m 19s