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