Results

What corral measured, checked in your browser

corral plants bugs in a file, runs the project's own tests against each one, and writes a test for every bug the suite let through. A proven missing test is one of those tests that corral then ran: it passes on the real code and catches the planted bug. Each run is recorded as a signed, hash-linked entry on the repository's corral/ledger branch. This page reads those entries straight from GitHub and, before it draws a single figure, checks every hash, link and signature with corral's own verifier, compiled to WebAssembly, against the root key the branch itself publishes. That shows the record is intact and signed by that key; which key it is, is named on each report.