Markdown for LLMs

Arxo Fact Protocol derived facts 0.1

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

# 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

Accepted `schemaVersion`: `law.derived-facts/0.1`.

## 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`](#digest) | yes | — |

## Enumerations

| location | values |
|---|---|
| `properties/schemaVersion` | `"law.derived-facts/0.1"` |
| `$defs/DerivedFact/properties/origin` | `"derived"` |

## Raw schema

[`https://law.arxo.io/schema/derived-facts.schema.json`](https://law.arxo.io/schema/derived-facts.schema.json)

## `Digest`

Type: `string`.

## `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`](/protocols/schemas/legal-ir/#literal) | — |
| `origin` | `"derived"` | — |