A corpus of 69 rules
Sequence exhaustion projections, partition attach/detach hazards, operational safety, replication traps — each with fixtures both directions or not at all.
69 rules across four families. BV — migration safety: locks, rewrites, constraints, destructive operations, replication, column types. BP — performance: indexing and query health. BS — set ordering across several files. BC — credentials in migrations and in any file. The EX plan rules behind bolvrk explain sit outside the corpus.
The rule reference on the roadmap page is generated from the engine registry, so it can never list a rule that does not exist or hide one that does. Every rule has its own page: what it catches, the SQL it fires on, and the form to use instead.
Free and hosted
The outage core and the credential rules ship in the open-source CLI. The rest of the corpus runs in the hosted service on Startup and above. A hosted check on Free runs the free rules and reports how many it skipped — never a green check that implies more than ran.
The CLI is open source and needs no account: npx bolvrk check migration.sql
Also in Deterministic rule engine
- Postgres migration safety checks
- Real parse-tree analysis
- Severity taxonomy
- Evidence-backed rules
- False-positive discipline
- Fuzz-tested boundaries
- Credential rules: no secret ever reaches the repo
- Secret scanning for any file: bolvrk secrets
- Performance rules: indexing and query health
- Query verification: bolvrk explain