Markdown for LLMs

Arxo A3 parameter dataset 0.1

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

# Arxo A3 parameter dataset 0.1

Canonical immutable temporal scalar parameter dataset (A3 format).

## Versions

Accepted `schemaVersion`: `law.params/0.1`.

## Top-level fields

| name | type-or-$ref | required | description |
|---|---|---|---|
| `schemaVersion` | `"law.params/0.1"` | yes | — |
| `kind` | `"parameter-dataset"` | yes | — |
| `id` | [`#/$defs/StableId`](#stableid) | yes | — |
| `parameter` | [`#/$defs/StableId`](#stableid) | yes | — |
| `valueType` | [`#/$defs/TypeRef`](#typeref) | yes | — |
| `timeAxis` | `"legal_time"` | yes | — |
| `granularity` | enum (2) | yes | — |
| `coverage` | [`#/$defs/TemporalRange`](#temporalrange) | yes | — |
| `values` | `array` | yes | — |
| `labels` | `array` | no | Labels of the parameter ITSELF — carried through to its symbol_decl. Not spread across dataset rows: each row has its own carrier, because the parameter spawns a node per row, and a dataset-level label would name them all with the same name. |
| `metadata` | `object` | no | — |

## Enumerations

| location | values |
|---|---|
| `properties/schemaVersion` | `"law.params/0.1"` |
| `properties/kind` | `"parameter-dataset"` |
| `properties/timeAxis` | `"legal_time"` |
| `properties/granularity` | `"date"`, `"instant"` |
| `$defs/LiteralTerm/properties/kind` | `"value"` |
| `$defs/Label/properties/status` | `"official"`, `"unofficial"`, `"translation"` |

## Raw schema

[`https://law.arxo.io/schema/parameter-dataset.schema.json`](https://law.arxo.io/schema/parameter-dataset.schema.json)

## `StableId`

Type: `string`.

## `DateString`

Type: `string`.

## `InstantString`

Type: `string`.

## `TemporalBoundary`

Definition `TemporalBoundary`.

## `TemporalRange`

Type: `object`.
Required: `start`, `endExclusive`.

| name | type-or-$ref | description |
|---|---|---|
| `start` | [`#/$defs/TemporalBoundary`](#temporalboundary) | — |
| `endExclusive` | [`#/$defs/TemporalBoundary`](#temporalboundary) | — |

## `TypeRef`

Type: `object`.
Required: `name`.

| name | type-or-$ref | description |
|---|---|---|
| `name` | [`#/$defs/StableId`](#stableid) | — |
| `args` | `array` | — |
| `optional` | `boolean` | — |

## `JsonValue`

Definition `JsonValue`.

## `LiteralTerm`

Type: `object`.
Required: `kind`, `type`.

| name | type-or-$ref | description |
|---|---|---|
| `currency` | `string` | — |
| `display` | `string` | — |
| `kind` | `"value"` | — |
| `type` | [`#/$defs/TypeRef`](#typeref) | — |
| `unit` | `string` | — |
| `value` | [`#/$defs/JsonValue`](#jsonvalue) | — |
| `factors` | `array` | The multiset of base units of a quantity. `unit` is not parsed on read but is CHECKED against its rendering: the "base _per_ base" grammar is ambiguous. |
| `lower` | `string` | Lower bound of the interval, an irreducible fraction `<n>/<d>`. |
| `upper` | `string` | Upper bound of the interval. |
| `derivation` | `string` | The derivation canon. The bounds are RECOMPUTED from it, not checked field by field. |
| `poly` | `array` | Algebraic minimal-polynomial coefficients in ascending order, as ASCII-int decimal strings; verified through the canon funnel on read, never trusted. |
| `root` | `integer` | 1-based index of the real root in ascending order; range-checked against the Sturm count on read. |
| `expr` | `string` | Real-expression canon string; verified through the constructor funnel on read, never trusted. |

## `ParameterValue`

Type: `object`.
Required: `id`, `valid`, `value`, `anchors`.

| name | type-or-$ref | description |
|---|---|---|
| `id` | [`#/$defs/StableId`](#stableid) | — |
| `valid` | [`#/$defs/TemporalRange`](#temporalrange) | — |
| `value` | [`#/$defs/LiteralTerm`](#literalterm) | — |
| `anchors` | `array` | — |
| `labels` | `array` | Labels of the dataset row. Carried through to the symbol_decl it produces; a dataset-level label is NOT spread across rows — otherwise every rate would be named after the parameter. Outside the semantic hash, inside the content hash of the node. |

## `LanguageTag`

Type: `string`.

## `Label`

Copy of the label definition from the intermediate-representation schema: A3 schemas are self-contained and do not borrow their primitives (StableId, LiteralTerm, TypeRef) either.

Type: `object`.
Required: `language`, `status`, `text`.

| name | type-or-$ref | description |
|---|---|---|
| `grammaticalForms` | `object` | Morphological forms of the label; the key is a slot from the closed dictionary of its language tag, the value is a non-empty form. |
| `language` | [`#/$defs/LanguageTag`](#languagetag) | — |
| `status` | enum (3) | — |
| `text` | `string` | — |