\begin{tabular}{@{}L{7.2cm}rr@{}}
\toprule
check (independent implementation) & instances & failures\\
\midrule
boundary certificates: CNF rebuilt, hashes, drat-trim rerun & 135 & 0\\
fort-cover certificates: forts revalidated, CNF rebuilt, drat-trim rerun & 14 & 0\\
stored witnesses replayed force by force & 35 & 0\\
P7 chronology replayed, $12\le n\le 300$ & 289 & 0\\
enumeration counts vs.\ binomial / Burnside orbit counts & 162 & 0\\
boundary CNF vs.\ exhaustive $\beta_p(n)$ (UNSAT at $\beta-1$, SAT at $\beta$) & 94 & 0\\
column-deletion map, exhaustive small sets (D1) & 7287 & 0\\
column-deletion negative control, 10 empty columns only (D2) & 810 & 18 (expected)\\
drat-trim negative controls (truncated / wrong CNF / satisfiable weakening) & 3 & 0\\
order independence of the closure (random orders) & 1200 & 0\\
graph invariants, two constructors, $11\le n\le 48$ and $P(5,2)$ & 39 & 0\\
\bottomrule
\end{tabular}