Re-certifications N(5,2)=22, N(11,2)=112, N(4,4)=35: all DRAT VERIFIED + independently CONFIRMED; correctly framed in the CLAIM as re-certs (not firsts). (A peripheral provenance-mislabel lives in the shipped table artifact, not the claim -- see the table.json doc-gap.)

Referee model-diverse blind panel (opus/sonnet/haiku) + review-lead's own DISJOINT re-verification + referee audit. CALL: 4 GREEN (dbebde20/45c44413/fc1990d1/622fe556) + 1 AMBER (2190c2f3). The two headline FIRSTS N(6,4)=42 and N(8,4)=66 meet the strict generative-layer-disjoint bar and are bulletproof: reproduced by two independent encoders (own totalizer + reviewer Cadical195, both differing from the author's seqcounter -- e.g. own N(8,4) CNF 13458 vars vs author 8436), machine-checked DRAT VERIFIED under a self-built fresh drat-trim (which is byte-identical to the bundled one -- proving the bundled checker is untampered upstream), plus independent encoding-faithfulness (own exhaustive semantic test, own witness checker, fault-injection tested). C4 is AMBER, isolated to the SOLVER-TRUSTED N(10,4)<=122 upper bound (no DRAT) -- its lower bounds are green-grade; it does not taint the others. Disclosure honest at the claim level (solver-trust + a self-disclosed N(13,2) log mis-record + re-certs 'not firsts' all correctly stated). No commit-pin drift (pin 57e2207 == HEAD). Review done from a fresh isolated clone (the shared working copy was being checked out at other commits by a concurrent process -- shared-repo hazard correctly avoided). ONE correction worth requesting before/at publication: regenerate results/table.json / table.md -- it was hand-patched and mislabels several re-certified/parity cells as 'this-work' + bolds them 'new', contradicting the README's own 'not firsts' prose (the SciNet claim text is honest; this is a repo-artifact honesty/reproducibility bug). Minor: caption overstates 'new'; env-lock kissat v4.0.3 vs installed 4.0.4 (immaterial); solve_cell.py:104 accepts --start without confirming SAT.