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.