| title | Live Status |
|---|---|
| nav_order | 3 |
| parent | Evidence |
Every number on this page is GitHub's record of an actual run — live workflow badges and the latest results fetched from the GitHub API when you load the page. Nothing here is hand-written, so nothing here can silently rot: if a gate goes red, this page goes red with it. The commands behind these gates are the same ones you can run yourself — see Verify It Yourself.
| Gate | What it enforces | Live |
|---|---|---|
| Verify corpus claims | Five independent renders built from a cold checkout must agree 100% on the conformance checks; the injected-defect negative control must be caught and localized; every formal model must hold and every buggy twin must be rejected. Runs on every push touching the corpus, and weekly on the rescan cadence. |  |
| Lint spec corpus | The mechanical cross-reference gate: dangling links, invariant-count drift, missing models and twins, stale forthcoming-markers, count drift, out-of-range invariant references, vocabulary rules. Runs on every push and pull request. |  |
" + r.head_sha.slice(0, 7) + "" +
"";
}).join("");
el.innerHTML = "" + rows + "| Workflow | Result | Started | Duration | Commit |
|---|
Fetched live from the GitHub API at page load. Click a workflow for the full log — the counts (checks passed, models audited, twins rejected) are in the run output itself.
"; }).catch(function () { el.innerHTML = "Could not reach the GitHub API just now (rate limit or network). The badges above are still live, and the run history is on the Actions page.
"; }); })(); </script>A red verify gate is one of: a render disagreeing with its peers (a defect localized to that render, or a spec under-determination), a formal model no longer holding (a spec edit broke a proved property), a buggy twin no longer being rejected (a check went vacuous), or the negative control failing to catch the injected defect (the instrument itself broke). Each is a finding, and findings route through review — see Contributing. A red gate on this page is the methodology working, not failing.
A hand-maintained summary. The one rule of this page: it renders the CI record, never a prose mirror of it — a hand-written "all green" is exactly the drift class the library's no-snapshot rule exists to kill. For the reproducible-at-home version of everything these gates run, see Verify It Yourself; for what is not yet gated, see Risks & Mitigations, which tracks enforcement debt honestly.