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