Arxo Fact Protocol derived facts 0.1
The settled conclusions of one evaluation document, published as events for a bus or a database. A fact is the literal of a PROPOSITION result computed TRUE_ONLY (as asked) or FALSE_ONLY (polarity flipped), with derived origin; BOTH, NEITHER, and other result kinds yield no fact. evaluation pins the document by its hashes. Each event id has the form urn:derived: followed by the hash of the canonical result pair, and stays stable across re-publication. Facts order by the UTF-8 bytes of the result id. The contentHash self-pin excludes its own field; no time or host is stored inside.
Versions
Section titled “Versions”Accepted schemaVersion: law.derived-facts/0.1.
Top-level fields
Section titled “Top-level fields”| name | type-or-$ref | required | description |
|---|---|---|---|
schemaVersion | "law.derived-facts/0.1" | yes | — |
evaluation | object | yes | — |
facts | array | yes | — |
contentHash | #/$defs/Digest | yes | — |
Enumerations
Section titled “Enumerations”| location | values |
|---|---|
properties/schemaVersion | "law.derived-facts/0.1" |
$defs/DerivedFact/properties/origin | "derived" |
Raw schema
Section titled “Raw schema”Digest
Section titled “Digest”Type: string.
DerivedFact
Section titled “DerivedFact”Type: object.
Required: id, result, proof, literal, origin.
| name | type-or-$ref | description |
|---|---|---|
id | string | — |
result | string | — |
proof | string | — |
literal | legal-ir.schema.json#/$defs/Literal | — |
origin | "derived" | — |
Documentation for Arxo. Writings — blog.arxo.io.
Anonymous visit counts on stats.arxo.io, no cookies.