Skip to content

Decide #4100 CRT.md's guard premise: mod-K coloring needs (K-1)-bit guards; vacuous on #4174's production plans (no new κ) - #4329

Merged
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
pinterbanget:pr4100-guard-coloring
Oct 21, 2026
Merged

Decide #4100 CRT.md's guard premise: mod-K coloring needs (K-1)-bit guards; vacuous on #4174's production plans (no new κ)#4329
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
pinterbanget:pr4100-guard-coloring

Census eight more width patterns and two adversarial ones for #4329

a3b9095
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs