Skip to content

Prove H6 commuting dyadic repairs need rank 816 (no new κ) - #6023

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w12-1022ah-h6-commuting-repair
Oct 28, 2026
Merged

Prove H6 commuting dyadic repairs need rank 816 (no new κ)#6023
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w12-1022ah-h6-commuting-repair

feat(research): prove rank-816 H6 commuting repair floor

6df64ba
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 27, 2026 in 4m 37s