Skip to content

Audit the class-C 4-flat covering-config census of #2954: the cheapest config is useless for the hard rows, 3 of 5 are redundant (no kappa claim) - #3315

Merged
Mister-Meeseeks merged 3 commits into
CrocSwap:mainfrom
muatfannajm-dot:audit/k2-class-c-config-census
Oct 17, 2026
Merged

Mister-Meeseeks merged 3 commits into
CrocSwap:mainfrom
muatfannajm-dot:audit/k2-class-c-config-census

Recover the cover relation: dominance closure, not literal incidence

240e7f6
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs