Skip to Content

build

A feature that calls a vendor, with every claim it rests on checked against a twin first.

/veris:build https://github.com/org/repo/issues/42 /veris:build "add refund support to the billing service"

In Codex that is $veris:build.

Use build for a feature that talks to a third-party dependency. It takes an issue link or a plain description, and the repository must already be wired by setup.

Every claim the design rests on is checked against a live twin rather than the vendor’s documentation. See Twins. The feature is then proved by a run against that same twin: veris run on the container tier, and on the direct tier your own test command against the wired sandbox. See Running tests.

What it does to your repository

Checks the vendor before it writes code

It deploys a sandbox and puts a real request to the twin for each thing the design assumes: what a create returns, whether a field is nullable, what happens on a repeat, which error a refusal produces. For a feature about a failure path, it arms the fault and drives your current code through it first.

It also varies whatever the design uses to identify a record and counts the rows the twin stores, so distinct inputs that collapse into one record show up here.

Writes the feature

It follows your repository’s existing conventions, then runs your full test suite.

Proves the new path against the twin

The new code runs against the same sandbox the checks ran against, so it meets the state and any armed faults they used. On the container tier that run is veris run and its receipt is the record; on the direct tier the record is the twin’s trace, read from the id noted before the run. The work is not done until that record shows the twin was called.

Opens a PR

Three sections: what was verified and how, what was assumed rather than verified, and limitations and risks. It names the sandbox id, and other entry points that reach the same behaviour are either driven too or listed as a risk.

The sandbox is deleted at the end, and never promoted.

Every gate it has to meet before it opens that PR is in the build skill.