Arxo canonical law.lock 0.3

Reference page for the lockfile.schema.json JSON schema.

Versions

No accepted version marker is declared.

Top-level fields

name	type-or-$ref	required	description
lockVersion	enum (3)	yes	—
languageSemantics	string	yes	—
root	#/$defs/LockedPackageRef	yes	—
packages	array	yes	—
dependencyEdges	array	yes	—
editionsAsPresented	evaluation.schema.json#/$defs/LegalTime	no	Root [editions] as_presented of a dated world. Included in the resolution hash; case preparation passes it as the transport field editions_as_presented.
resolutionHash	#/$defs/Digest	yes	—
resources	array	no	—
expansions	array	no	Pinned expansion-definition packages. A compile-time dependency of the consumer: included in the resolution hash, never becomes a semantic import of the compiled form.
semanticLayer	enum (4)	no	Semantic layer of the build. The field is named semanticLayer, not layer, because the short name is taken by the package profile of ontological packages. The layer is a ceiling: declaring higher than the inferred value is allowed, lower is rejected (LDC-E8101). In the lockfile it is the EFFECTIVE build layer: the maximum over the root and all pinned dependencies.
profile	object	no	Pinned canon profile: packages is the full expansion of profile B; the resolution hash covers the block.

Enumerations

location	values
properties/lockVersion	"0.1", "0.2", "0.3"
properties/semanticLayer	"L0", "L1", "L2", "L3"
allOf/0/if/properties/lockVersion	"0.2"
allOf/1/if/properties/lockVersion	"0.3"
$defs/LockedExpansion/properties/expansionProfile	"law.expansion/0.1", "law.expansion/0.2"
$defs/LockedResource/properties/kind	"parameter-dataset", "decision-table", "label-overlay", "calendar-dataset", "document", "case-snapshot"
$defs/LockedResource/properties/capability	"compile_time", "presentation", "law.calendar/0.1", "evidence", "law.case-export/0.1"

Raw schema

https://law.arxo.io/schema/lockfile.schema.json

LockedExpansion

Type: object. Required: consumer, alias, name, version, entry, expansionProfile, contentHash.

name	type-or-$ref	description
consumer	#/$defs/PackageName	—
alias	string	—
name	#/$defs/PackageName	—
version	#/$defs/Version	—
entry	string	—
expansionProfile	enum (2)	—
contentHash	#/$defs/Digest	—

Digest

Type: string.

PackageName

Type: string.

Version

Type: string.

Feature

Type: string.

LockedResource

Type: object. Required: id, kind, path, contentHash, capability.

name	type-or-$ref	description
id	string	—
kind	enum (6)	—
path	string	—
contentHash	#/$defs/Digest	—
capability	enum (5)	Resource roles. A3 resources participate in compilation (compile_time); label overlays are a presentation layer outside the compiled form (presentation); calendar datasets are resolved at execution time (calendar form); case documents are evidence support whose bytes are checked against content_hash (evidence).

LockedPackageRef

Type: object. Required: name, version, namespace, contentHash.

name	type-or-$ref	description
name	#/$defs/PackageName	—
version	#/$defs/Version	—
namespace	string	Package namespace, a URN. The format keyword of Draft 2020-12 is only an annotation, so the shape is enforced by pattern.
contentHash	#/$defs/Digest	—

LockedPackage

Type: object. Required: name, version, namespace, contentHash, features.

name	type-or-$ref	description
name	#/$defs/PackageName	—
version	#/$defs/Version	—
namespace	string	Package namespace, a URN. The format keyword of Draft 2020-12 is only an annotation, so the shape is enforced by pattern.
contentHash	#/$defs/Digest	—
editorSourceMapHash	#/$defs/Digest	Optional editor-only source-map sidecar for this pinned dependency. Its bytes are delivered as deps/.editor-source-map.json and must identify this exact CLIR package before an editor may expose authored locations.
questionCatalogHash	#/$defs/Digest	Optional pinned questions-catalog sidecar, installed as deps/.questions.json for case cards.
taskGuideCatalogHash	#/$defs/Digest	Optional pinned task-guides catalog sidecar, installed as deps/.task-guides.json for task guides of the dependency. Metadata only: it does not affect CLIR or evaluation semantics; the resolution hash covers the pin.
registryId	string	—
resolverUri	string	Where the package was resolved from. pattern requires at least a URI scheme; it is not a full URI parser.
features	array	—
signature	object	—

DependencyEdge

Type: object. Required: from, to, requested, resolved, features.

name	type-or-$ref	description
from	#/$defs/PackageName	—
to	#/$defs/PackageName	—
requested	#/$defs/Version	—
resolved	#/$defs/Version	—
features	array	—