Markdown for LLMs

Arxo focused evaluation 0.1

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

# Arxo focused evaluation 0.1

The answer document of a `focused_truth` query: the projection of the full `truth` document D over the query cone. It is a separate form from the full core evaluation document on purpose: a consumer that requires the full audit document rejects this one by schema. The legal answer (truthStatus, evaluationStatus, missingInputs, judgmentRequests, refusal) equals D; the proof graph certifies only the cone.

## Versions

Accepted `schemaVersion`: `law.core.focused-evaluation/0.1`.

## Top-level fields

| name | type-or-$ref | required | description |
|---|---|---|---|
| `schemaVersion` | `"law.core.focused-evaluation/0.1"` | yes | — |
| `evaluationKind` | `"focused_truth"` | yes | — |
| `manifest` | [`evaluation.schema.json#/$defs/EvaluationManifest`](/protocols/schemas/evaluation/#evaluationmanifest) | yes | — |
| `focusManifest` | [`#/$defs/FocusManifest`](#focusmanifest) | yes | — |
| `results` | `array` | yes | — |
| `conflicts` | `array` | yes | — |
| `proofGraph` | [`#/$defs/FocusedProofGraph`](#focusedproofgraph) | yes | — |
| `issues` | `array` | yes | — |
| `evidenceAcceptance` | [`evaluation.schema.json#/$defs/EvidenceAcceptanceReport`](/protocols/schemas/evaluation/#evidenceacceptancereport) | no | — |
| `answerHash` | [`evaluation.schema.json#/$defs/Digest`](/protocols/schemas/evaluation/#digest) | yes | — |
| `focusedResultHash` | [`evaluation.schema.json#/$defs/Digest`](/protocols/schemas/evaluation/#digest) | yes | — |
| `executionReceipt` | [`evaluation.schema.json#/$defs/ExecutionReceipt`](/protocols/schemas/evaluation/#executionreceipt) | no | — |

## Enumerations

| location | values |
|---|---|
| `properties/schemaVersion` | `"law.core.focused-evaluation/0.1"` |
| `properties/evaluationKind` | `"focused_truth"` |
| `$defs/FocusManifest/properties/contract` | `"law.focus/0.1"` |
| `$defs/FocusManifest/properties/profile` | `"i-relational-defeasible"` |
| `$defs/FocusManifest/properties/completeness` | `"query"` |
| `$defs/FocusManifest/properties/leanCompleteness` | `"not-certified"`, `"certified"` |
| `$defs/ConeCompletionNode/properties/kind` | `"cone_completion"` |

## Raw schema

[`https://law.arxo.io/schema/focused-evaluation.schema.json`](https://law.arxo.io/schema/focused-evaluation.schema.json)

## `FocusManifest`

Type: `object`.
Required: `contract`, `queryId`, `profile`, `completeness`, `leanCompleteness`, `cone`.

| name | type-or-$ref | description |
|---|---|---|
| `contract` | `"law.focus/0.1"` | — |
| `queryId` | [`evaluation.schema.json#/$defs/StableId`](/protocols/schemas/evaluation/#stableid) | — |
| `profile` | `"i-relational-defeasible"` | — |
| `completeness` | `"query"` | — |
| `leanCompleteness` | enum (2) | — |
| `cone` | `object` | — |

## `FocusedProofGraph`

Type: `object`.
Required: `nodes`, `roots`, `focusedProofHash`.

| name | type-or-$ref | description |
|---|---|---|
| `nodes` | `array` | — |
| `roots` | `array` | — |
| `focusedProofHash` | [`evaluation.schema.json#/$defs/Digest`](/protocols/schemas/evaluation/#digest) | — |

## `ConeCompletionNode`

The subprogram of the cone was brought to its fixpoint over all strata. Premises are every `candidate_closure` of the slice; checked by re-deriving the cone, not by the certificate alone.

Type: `object`.
Required: `id`, `kind`, `conclusion`, `premises`, `sourceAnchors`, `evidence`, `attributes`.

| name | type-or-$ref | description |
|---|---|---|
| `id` | `string` | — |
| `kind` | `"cone_completion"` | — |
| `conclusion` | `object` | — |
| `premises` | `array` | — |
| `sourceAnchors` | `array` | — |
| `evidence` | `array` | — |
| `attributes` | `object` | — |