The gap a checkbox eval can’t close
● HARM WITNESSEDOn a real harmful-compliance regression, the standard eval-harness multiple-choice test certified the model SAFE — while the model’s own free generation emitted the harm: verbatim harmful instructions, zero refusals on the harmful battery. That is precisely the documentation-and-evaluation gap a checkbox eval structurally cannot close.
Protora read the same model at precision 1.0 / recall 1.0 with a replayable witness on every positive, and abstained on the control rather than fabricate a finding.
witness-replayability 1.0 where the incumbent instruments sat at 0.0 — the difference between an evaluation artifact a regulator can re-run and a claim they must take on faith.

