Skip to main content
coderifts Install on GitHub

Proof runs

The terminal blocks on /verify/ are run every day and compared with what proof-claims.json says they should print. The expected output lives in that file, not in the page — so a badge on /verify/ cannot say “verified” about a run that disagreed with it.

Skipped is not passed and is not failed. A rate limit or a DNS failure is not a disagreement about what the surface does; it is recorded with its reason and leaves the previous badge alone.

Assurance captures

The published conformance suite, run under BOTH evidence tiers. Coverage is whether the claim is proven; evidence is whether it was proven now or replayed from a pinned capture. For each profile that is not LIVE, the capture records the condition that would take it there — in the suite’s own words, because a paraphrase of “what would make this live” is how a roadmap sentence is born.

Guard-control captures

Every guard’s own self-test, run and recorded: how many planted defects it carries and whether they all still went red. A rule that cannot be made to fail is not a rule, and this is where that stops being an assertion. The numbers are measured — the first attempt counted call sites in the source and was short by exactly one per guard.

The table form of the same thing, with what each guard measures and when it runs: the guards.

External measurements

Runs made outside this repository’s own proof job, indexed here so a note in docs/evidence/ cannot land unseen. A figure the note marks as not re-run was not re-run.

Measured records

Pages under docs/evidence/ that record one measurement. The title and the sentence are read from the page. Record-keeping is linked below on its own, because that page is a reading of a receipt, not a row in this list.

Per-release measurements live next door: release transcripts — what each release run measured, with a value that was not measured recorded as null and its reason.

One receipt, read as a line of evidence for the record-keeping part of a change under DORA, the AI Act and NIS2: Record-keeping.

What a proof run does and does not prove is in every artifact’s own does_not_prove block. The wider honesty table is What each proof proves.