Repository navigation

Soundness check of #4585's coarsened partitions against exact geometry: all 235 realisable profiles covered (no new κ) - #4594

Merged

Mister-Meeseeks merged 2 commits into

CrocSwap:mainfrom

pinterbanget:check-4585

Oct 22, 2026

Merged

Soundness check of #4585's coarsened partitions against exact geometry: all 235 realisable profiles covered (no new κ)#4594
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
pinterbanget:check-4585

Commits on Oct 22, 2026
- Soundness check of #4585's coarsened partitions against exact geometry: all 235 realisable profiles covered (no new κ)
  
  pinterbanget
  and
  claude
  committed
  a42b7a9
- Record the length-6 run (239/151/88/0) and the tightness of the relaxed sets
  
  pinterbanget
  and
  claude
  committed
  81b302e