Markdown for LLMs
Arxo run record 0.1

The source Markdown for this article. Copy it into your assistant or download it as a text file.
# Arxo run record 0.1

Host contract: an explicitly stored execution attempt or agent pass. The exact bytes live in storage under their digest; result statuses are copied from the document with addresses. Five separate check indicators instead of one "verified" flag. Carries no semantics: the evaluation document is unchanged.

## Versions

No accepted version marker is declared.

## Top-level fields

| name | type-or-$ref | required | description |
|---|---|---|---|
| `schema` | `"law.run/0.1"` | yes | — |
| `runId` | `string` | yes | Identity digest of the event: schema, producer, event, route, artifacts; savedAt is not part of it. |
| `producer` | `object` | yes | — |
| `event` | `string` | yes | Name of the save event; two calls with one result are two events. |
| `route` | `object` | yes | — |
| `artifacts` | `object` | yes | — |
| `result` | `object` | yes | — |
| `capture` | `object` | yes | — |
| `checks` | `object` | yes | — |
| `links` | `object` | yes | — |
| `note` | `string` | no | — |
| `savedAt` | `string` | yes | — |

## Enumerations

| location | values |
|---|---|
| `properties/schema` | `"law.run/0.1"` |
| `properties/route/properties/kind` | `"ask"`, `"evaluate-test"`, `"agent"`, `"mcp"`, `"serve"`, `"accuracy"`, `"impact"` |
| `properties/capture/properties/state` | `"complete"`, `"partial"`, `"refused"` |
| `properties/checks/properties/bytes/properties/state` | `"verified"`, `"mismatch"`, `"unavailable"`, `"not_checked"` |
| `properties/checks/properties/inputs/properties/state` | `"verified"`, `"mismatch"`, `"unavailable"`, `"not_checked"` |
| `properties/checks/properties/replay/properties/state` | `"verified"`, `"mismatch"`, `"unavailable"`, `"not_checked"` |
| `properties/checks/properties/proof/properties/state` | `"verified"`, `"mismatch"`, `"unavailable"`, `"not_checked"` |
| `properties/checks/properties/producer/properties/state` | `"verified"`, `"mismatch"`, `"unavailable"`, `"not_checked"` |

## Raw schema

[`https://law.arxo.io/schema/run.schema.json`](https://law.arxo.io/schema/run.schema.json)