Rules & policy
The rules your work has to follow
A rule says what good looks like for your team. Here you write them, decide exactly where each one applies — which files, languages, teams or parts of the business — and keep a permanent record of every change and who approved it. Rules travel: a set of them moves between projects as one bundle, with duplicates and contradictions found before anything is saved.
See one complete example
- 1Input
your finance team imports a rule requiring a source beside every published figure.
- 2Expectation
the rule applies only to customer reports.
- 3Result
Verazyn records that scope and keeps each approved change in the rule's history.
See it on your own work
Bring your own model key and run your first check. Free to start.
What this covers
Every capability on this page, each with its current status.
Auto rule generation (verazyn init)
PlannedReads a project's own files and existing settings, then suggests rules it can show evidence for — none of which take effect until a person approves them.
Learn more→Writing rules and keeping their history
In progressWrite, change and keep a history of rules, held either as files on your own machine or in a shared library with permissions.
Learn more→Rule scoping dimensions
In progressDecides exactly where a rule applies — which files, languages, teams, countries or parts of the business — using one shared way of describing scope.
Rule prerequisites & composite framework sets
AvailableLets one rule depend on another, refuses circular dependencies, and marks a rule not-applicable when what it depends on has not been met.
Learn more→Rule-pack import, export & conflict preview
AvailableMove a set of rules somewhere else as one bundle, losing nothing, with duplicates and contradictions found before anything is saved.
Learn more→Propose → review → approve rule changes
AvailableRule changes go to named approvers who see exactly what would change, and every decision is kept permanently.
Custom predicates (JavaScript / CEL / Starlark)
AvailableA sealed space to write your own always-the-same check when none of the built-in types can express it.
Learn more→Visual no-code RuleBuilder
AvailableBuild any of the built-in check types by filling in a form, with no rule syntax to learn.
WASM deterministic-check plugin tier
PlannedBring checks written in the programming language you prefer, run in a sealed space with no access to your files, the network or the clock, capped on memory and stopped if they run too long.
Learn more→