Markdown for LLMs

Arxo task guide passage journal 0.1

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

# Arxo task guide passage journal 0.1

The journal of one passage of a task guide, written and checked by `law guide journal`. It records the steps taken, the answers attached (by path and hashes copied from the evaluation documents), the person's decisions and the document sections assembled by copying values from earlier records. It is outside the evaluation document and adds nothing to its byte contract; it computes nothing, chooses nothing among several values and has no defaults. `law guide journal check` replays the entries over the guide's step graph, re-reads the attached answers, re-assembles the sections and recomputes `state`; a completed state means the declared steps were performed, not the legal sufficiency of the document.

## Versions

Accepted `format`: `law.task-guide-journal/0.1`.

## Top-level fields

| name | type-or-$ref | required | description |
|---|---|---|---|
| `format` | `"law.task-guide-journal/0.1"` | yes | — |
| `guide` | `object` | yes | — |
| `case` | `string` | no | Label of the case; the case itself is given by the attached answers. |
| `context` | `object` | yes | — |
| `entries` | `array` | yes | — |
| `state` | [`#/$defs/State`](#state) | yes | — |

## Enumerations

| location | values |
|---|---|
| `properties/format` | `"law.task-guide-journal/0.1"` |
| `$defs/Answer/properties/adjudicated/items/properties/polarity` | `"positive"`, `"negative"` |
| `$defs/Entry/oneOf/0/properties/kind` | `"case"` |
| `$defs/Entry/oneOf/1/properties/kind` | `"collect"` |
| `$defs/Entry/oneOf/2/properties/kind` | `"ask"` |
| `$defs/Entry/oneOf/3/properties/kind` | `"positions"` |
| `$defs/Entry/oneOf/4/properties/kind` | `"decision"` |
| `$defs/Entry/oneOf/4/properties/choice` | `"selected"`, `"declined"`, `"affirmed"`, `"denied"`, `"pending"` |
| `$defs/Entry/oneOf/5/properties/kind` | `"section"` |
| `$defs/Field/properties/from/oneOf/3/properties/boundaries` | `true` |
| `$defs/Field/properties/outcome` | `"single"`, `"empty"`, `"multiple"` |
| `$defs/State/oneOf/0/properties/status` | `"open"` |
| `$defs/State/oneOf/1/properties/status` | `"completed"` |
| `$defs/State/oneOf/2/properties/status` | `"stopped"` |
| `$defs/State/oneOf/2/properties/reason` | `"other_route"`, `"both_supports"`, `"negative_answer"`, `"multiple_results"`, `"out_of_scope"`, `"evaluation_status"`, `"no_continuation"`, `"awaiting_judgment"`, `"missing_facts"` |

## Raw schema

[`https://law.arxo.io/schema/task-guide-journal.schema.json`](https://law.arxo.io/schema/task-guide-journal.schema.json)

## `Id`

Type: `string`.

## `Sha256`

Type: `string`.

## `Answer`

Copied from the attached answer directory (`law ask … --out`): the journal records, never recomputes.

Type: `object`.
Required: `path`, `resultHash`, `programHash`, `legalTime`, `evaluationStatus`, `resultKind`.

| name | type-or-$ref | description |
|---|---|---|
| `path` | `string` | Answer directory relative to the journal's directory. |
| `value` | `string` | `each` steps only: the value of the many slot this answer belongs to; its query names it. |
| `resultHash` | [`#/$defs/Sha256`](#sha256) | — |
| `programHash` | `string` | — |
| `legalTime` | `string` | — |
| `caseHash` | `string` | caseHash of the answer's manifest: the case revision the answer was computed on. |
| `evaluationStatus` | `string` | — |
| `resultKind` | `string` | — |
| `interpretations` | `array` | Readings selected for this answer, copied from the manifest; absent when none was selected. |
| `adjudicated` | `array` | Answers of authorities in the case of this answer: `origin adjudicated` assertions copied from request.json, sorted; absent when there is none. The journal checks them against the recorded judgment decisions. |
| `queryId` | `string` | — |
| `queryKind` | `string` | — |
| `predicate` | `string` | — |
| `outcome` | `string` | TRUE_ONLY/FALSE_ONLY/BOTH/NEITHER of a proposition, empty/single/multiple of a collection. |
| `values` | `array` | Collected values exactly as the evaluation document holds them. |
| `positions` | `array` | — |

## `Entry`

Definition `Entry`.

## `Field`

Type: `object`.
Required: `id`, `value`, `from`.

| name | type-or-$ref | description |
|---|---|---|
| `id` | [`#/$defs/Id`](#id) | — |
| `value` | — | The copied value; null when the field is open. |
| `from` | oneOf (4) | — |
| `open` | `string` | Why the value is not available (an empty collection is not zero; several values are not chosen among). |
| `outcome` | enum (3) | The collect outcome of a result-sourced field, copied from the answer — readers copy it instead of inferring it from the open reason. |

## `State`

Definition `State`.