prove-color-count Direct computation of the color census

COMPLETE route · research/prove-color-count.md

Target

• mutilated-board-color-count ESTABLISHED Opposite corners share a color, leaving a 32–30 imbalance

Statement

Corners (1,1) and (8,8) share the parity of row + column, so they share a color; the full board has 32 of each.