pub const PROOF_WIDTH: u32 = 16;Expand description
Width up to which the per-bit identities are exhaustively machine-checked.
The edge-distance-uniformity argument (module docs) needs only n ≳ 6 to
exercise every boundary regime plus interior, so 16 — which covers every
computationally-feasible N-Queens size with margin and runs in ~50ms once
(memoised) — certifies the identities for every n.