Checks catalog
All 37 core checks in one table: what each refuses, where it first runs, and which gate it implements.
All checks
Filter by where a check first runs, or by whether it implements a generic gate or exists only because of how Vinaya works. Each name links to the check's full entry. How the rings work is in Gates.
First runs
Kind
37 of 37 checks
| Check | Refuses | First runs | Implements |
|---|---|---|---|
brief-shape | A PR/brief report missing Vinaya’s required sections | Commit | Vinaya-specific |
pr-report-density | Report content that breaks Vinaya’s density and shape rules | Commit | Vinaya-specific |
doc-coverage | A code change without the documentation its doc-owner policy requires | Commit | Evidence completeness |
doc-coverage-push | The same obligation, with push semantics | Commit | Evidence completeness |
pr-premise-reassert | A Premise: pin the current repository no longer satisfies | Commit | Intent freshness |
single-plan-pr | Concurrent PRs on the same legacy tranche plan | Commit | Vinaya-specific |
no-disk-state | A file that stores live execution status on disk | Commit | Vinaya-specific |
exec-bits | A staged executable without mode 100755 | Commit | Contract validity |
ci-shard-coverage | A CLI test missing from the CI shard lists | Commit | Vinaya-specific |
changeset-coverage | A change to shipped packages without a Changesets entry | Commit | Evidence completeness |
quoted-command | A quoted command or config line its cited file no longer contains | Push | Evidence freshness |
coherence | A task branch, tranche, Issue and forge state that disagree | Push | Vinaya-specific |
dispatch-readiness | Dispatch of a task whose Issue, dependencies, conflicts or facts are not ready | Push | Vinaya-specific |
registry-gates | A gate registry, hooks, workflows and doctrine that disagree | Push | Vinaya-specific |
branch-topology | A task branch with no row in its tranche’s topology | Push | Vinaya-specific |
dead-branch-push | A push to a branch whose pull request is already closed or merged | Push | Terminal completeness |
first-push-dispatch | A first push that does not come from a dispatched task | Push | Vinaya-specific |
reader-resolvable-prose | Unresolvable references or undefined coined terms in reader-facing prose | Push | Contract validity |
retired-vocabulary | Terms Vinaya has retired | Push | Vinaya-specific |
doctrine-portability | Doctrine references that depend on machine-local or author-only paths | Push | Vinaya-specific |
doctrine-no-procedures | Command sequences inside doctrine | Push | Vinaya-specific |
doc-claims | An AEG:CLAIM marker its cited file no longer supports | Push | Evidence freshness |
workspace-escape | A file reference that escapes its workspace package or resolves nowhere | Push | Contract validity |
main-branch-refusal | A commit or a push on the default branch | Commit | Effect safety |
token-collection-wired | Usage collection that is configured but not producing events | Push | Traceability |
closes-n | A task PR that does not close its own Issue with valid linkage | Pull request | Vinaya-specific |
surface-scope | A beyond-Surface path missing from the authoritative beyond-Surface record (no protected-path rule yet) | Pull request | Scope |
test-plan | A test plan whose required results are missing or not bound to the head | Pull request | Evidence completeness |
evidence-fresh | Evidence whose head, tree or result no longer matches the candidate | Pull request | Evidence freshness |
review-gate | Missing, stale, superseded or unauthorized Code and Security verdicts | Pull request | Review validity |
principal-test-plan-wait | Merge while a [principal] test-plan item is unticked for the current head | Pull request | Authorization and Decision validity |
body-bare-digits | Bare digits in narrative PR prose | Pull request | Vinaya-specific |
issue-title-grammar | A task Issue title outside Vinaya’s grammar | Issue write | Vinaya-specific |
issue-objectives-numbering | Malformed objective numbering | Issue write | Vinaya-specific |
issue-parts-coverage | A Part that cites no valid objective | Issue write | Vinaya-specific |
issue-surface-globs | Invalid or unresolvable Surface globs | Issue write | Vinaya-specific |
issue-milestone-attach | On edit, a task Issue whose Milestone is not the one its tranche label resolves to (not checked on create) | Issue write | Vinaya-specific |