Lab record 04 · Constraint propagation

Minesweeper

Three escalating stages: single-constraint rules, then subset subtraction (which cracks the 1‑2‑1 patterns), then exact enumeration of every consistent mine arrangement on the frontier. When no deduction exists the solver says so and shows the real odds — it never dresses a guess up as certainty.