---
name: veris-reference
description: Knowledge the veris plugin commands read on demand - asking the twin, seeding and keeping state, faults and the clock, webhooks, troubleshooting, the PR evidence shape. Not a command; setup, build and fix name the file to read.
user-invocable: false
disable-model-invocation: true
---

Not a command. `setup`, `build` and `fix` link to the file a step needs:

| file | read it when |
|---|---|
| `twin.md` | a design rests on a claim about the vendor, or you need to see what the vendor did: manual, schema, operations, data, trace |
| `state.md` | seeding rows and files, isolation inside a sandbox, reset, snapshots and the baseline |
| `run.md` | exercising the change with `veris run`: the two tiers, the image, what the run hands the workload, the flags that change the verdict, exit codes, what a green proves |
| `direct.md` | the app reads every vendor base URL from the environment and needs no proxy |
| `session.md` | current tools/context indicate an existing plugin-managed sandbox: verify identity, reuse interception, attribute receipts and sync changes |
| `opencode.md` | the existing session is OpenCode: provider tools, credentials, trust, control access and lifecycle differences |
| `hosted.md` | the engineer requests remote tests, or code needs redirection and Docker is unavailable: provider recipes, remote workload preparation, trace evidence, project notes and cleanup |
| `daytona.md` | the hosted tier selects Daytona: published SDK, existing-twin attachment, images, upload, trust, egress, callbacks and deletion |
| [e2b.md](e2b.md) | the hosted tier selects E2B: published SDK, existing-twin attachment, templates, upload, trust, network policy, callbacks and deletion |
| `faults.md` | the task is about a failure, or a case needs a condition the vendor will not produce on demand: fault rows, credentials, the clock |
| `webhooks.md` | the application receives callbacks |
| `troubleshooting.md` | what the receipt, an exit code, a trace tier, a certificate error, a vendor-shaped error or a sandboxed agent's `doctor` lines mean |
| `evidence.md` | writing a concise result with existing evidence and material limitations |
| `proof.md` | interpreting test evidence, investigating retry/identity behavior, or using optional audit helpers |

In a verified plugin session, [session.md](session.md) replaces CLI operations
and lifecycle with the discovered session interfaces. Otherwise twin operations use `veris`; `veris <command> --help` documents its flags. Hosted
runner commands are documented in their provider recipe. Three twin operations have
no verb of their own: file upload, a per-twin reset, the operations list. Each of those
is a `curl` to the twin's control URL, which
`veris sandbox services get <twin>` prints, and the file that covers it shows the call.
`scripts/` holds optional `record.sh` and `ledger.sh` audit helpers; `setup` step 9
explains staging when an investigation needs them. Ordinary development does not
require a task ledger or a separate proof phase.