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	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

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	—
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	—
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.