Markdown for LLMs

law serve HTTP envelopes 0.1

The source Markdown for this article. Copy it into your assistant or download it as a text file.

# 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`](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`](#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`](#requestpin) | — |
| `case` | oneOf (2) | — |
| `facts` | `array` | — |
| `context` | `object` | — |
| `options` | [`evaluation-request.schema.json#/$defs/EvaluationOptions`](/protocols/schemas/evaluation-request/#evaluationoptions) | — |
| `evidence` | `array` | — |
| `supportEdges` | `array` | — |
| `evidencePolicy` | `string` | — |
| `query` | [`query.schema.json`](/protocols/schemas/query/) | — |
| `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`](#pin) | — |
| `programHash` | [`#/$defs/Digest`](#digest) | — |
| `proofMode` | enum (2) | — |
| `requestHash` | [`#/$defs/Digest`](#digest) | — |
| `outcomeHash` | [`#/$defs/Digest`](#digest) | — |
| `resultHash` | [`#/$defs/Digest`](#digest) | — |
| `document` | [`evaluation.schema.json`](/protocols/schemas/evaluation/) | — |
| `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`](#pin) | — |
| `programHash` | [`#/$defs/Digest`](#digest) | — |