law serve HTTP envelopes 0.1

Host transport of the serve API. The evaluation document is embedded unchanged; this schema does not redefine its semantics.

Versions

No accepted version marker is declared.

Top-level fields

No top-level properties: the schema root is no constraint.

Enumerations

location	values
$defs/AskRequest/properties/proof	"full", "omit"
$defs/Answer/properties/proofMode	"full", "omitted"
$defs/Answer/oneOf/0/properties/proofMode	"full"
$defs/Answer/oneOf/1/properties/proofMode	"omitted"

Raw schema

https://law.arxo.io/schema/serve-envelope.schema.json

Digest

Type: string.

Pin

Type: object. Required: world, resolutionHash.

name	type-or-$ref	description
world	string	—
resolutionHash	#/$defs/Digest	—

RequestPin

The supplied pin may differ from the world; a mismatch is a journalled refusal.

Type: object. Required: world, resolutionHash.

name	type-or-$ref	description
world	string	—
resolutionHash	string	—

AskRequest

Type: object. Required: pin.

name	type-or-$ref	description
pin	#/$defs/RequestPin	—
case	oneOf (2)	—
facts	array	—
context	object	—
options	evaluation-request.schema.json#/$defs/EvaluationOptions	—
evidence	array	—
supportEdges	array	—
evidencePolicy	string	—
query	query.schema.json	—
evaluate	string	—
queryId	string	—
proof	enum (2)	—

Answer

Type: object. Required: pin, programHash, proofMode, requestHash, outcomeHash.

name	type-or-$ref	description
decisionId	string	—
pin	#/$defs/Pin	—
programHash	#/$defs/Digest	—
proofMode	enum (2)	—
requestHash	#/$defs/Digest	—
outcomeHash	#/$defs/Digest	—
resultHash	#/$defs/Digest	—
document	evaluation.schema.json	—
outcome	object	—

Refusal

Type: object. Required: error.

name	type-or-$ref	description
error	object	—

World

Type: object. Required: pin, programHash.

name	type-or-$ref	description
pin	#/$defs/Pin	—
programHash	#/$defs/Digest	—