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	yes	—
parameter	#/$defs/StableId	yes	—
valueType	#/$defs/TypeRef	yes	—
timeAxis	"legal_time"	yes	—
granularity	enum (2)	yes	—
coverage	#/$defs/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

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	—
endExclusive	#/$defs/TemporalBoundary	—

TypeRef

Type: object. Required: name.

name	type-or-$ref	description
name	#/$defs/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	—
unit	string	—
value	#/$defs/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	—
valid	#/$defs/TemporalRange	—
value	#/$defs/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	—
status	enum (3)	—
text	string	—