Cristian Guerra · QA Automation · Medellín, Colombia · @criguex

Blind-fault benchmark

Faults planted in controlled cases, assigned by a committed seed, checked by both procedures before the key was opened, then reviewed in four rounds.

How to read this animation: Top: the chain that makes the run auditable. Middle: which procedure flags each planted fault, with the corrected v2.2 evaluator. Bottom: what each review round found. Planted faults over recorded artifacts, not live Lean and not a real-world rate.

Open the evidence animation gallery · Download standalone HTML