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
Section titled “Versions”Accepted schemaVersion: law.core.focused-evaluation/0.1.
Top-level fields
Section titled “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 | yes | — |
focusManifest | #/$defs/FocusManifest | yes | — |
results | array | yes | — |
conflicts | array | yes | — |
proofGraph | #/$defs/FocusedProofGraph | yes | — |
issues | array | yes | — |
evidenceAcceptance | evaluation.schema.json#/$defs/EvidenceAcceptanceReport | no | — |
answerHash | evaluation.schema.json#/$defs/Digest | yes | — |
focusedResultHash | evaluation.schema.json#/$defs/Digest | yes | — |
executionReceipt | evaluation.schema.json#/$defs/ExecutionReceipt | no | — |
Enumerations
Section titled “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
Section titled “Raw schema”FocusManifest
Section titled “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 | — |
profile | "i-relational-defeasible" | — |
completeness | "query" | — |
leanCompleteness | enum (2) | — |
cone | object | — |
FocusedProofGraph
Section titled “FocusedProofGraph”Type: object.
Required: nodes, roots, focusedProofHash.
| name | type-or-$ref | description |
|---|---|---|
nodes | array | — |
roots | array | — |
focusedProofHash | evaluation.schema.json#/$defs/Digest | — |
ConeCompletionNode
Section titled “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 | — |
Documentation for Arxo. Writings — blog.arxo.io.
Anonymous visit counts on stats.arxo.io, no cookies.