Markdown for LLMs

Schemas

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

# Schemas

Reference pages for every JSON schema: one page per schema, grouped by role.

## Arxo Fact Protocol

What a host or adapter hands the engine: the case with typed facts, their origin and evidence, the closed question, pinned external snapshots, and the mapping of external records into facts.

| Schema | Title | version |
|---|---|---|
| [`evaluation-request.schema.json`](/protocols/schemas/evaluation-request/) | EvaluationRequest | `law.core.evaluation-request/0.2` |
| [`query.schema.json`](/protocols/schemas/query/) | Arxo query 0.1 | — |
| [`external-snapshot.schema.json`](/protocols/schemas/external-snapshot/) | Arxo external snapshot 0.1 | `law.core.external-snapshot/0.1` |
| [`case-export.schema.json`](/protocols/schemas/case-export/) | Arxo case export 0.1 | `law.case-export/0.1` |
| [`source-mapping.schema.json`](/protocols/schemas/source-mapping/) | Arxo Fact Protocol source mapping 0.1 | `law.source-mapping/0.1` |
| [`fact-set.schema.json`](/protocols/schemas/fact-set/) | Arxo Fact Protocol fact set 0.1 | `law.fact-set/0.1` |
| [`derived-facts.schema.json`](/protocols/schemas/derived-facts/) | Arxo Fact Protocol derived facts 0.1 | `law.derived-facts/0.1` |

## Arxo Decision Protocol

What comes back: the evaluation document with manifest, results, proof graph, issues and hashes; the focused evaluation; the query answer; diagnostics by code; a typed refusal of a request.

| Schema | Title | version |
|---|---|---|
| [`evaluation.schema.json`](/protocols/schemas/evaluation/) | Arxo Core Evaluation Result and Proof Graph | `law.core.evaluation/0.1`, `law.core.evaluation/0.2`, `law.core.evaluation/0.3` |
| [`focused-evaluation.schema.json`](/protocols/schemas/focused-evaluation/) | Arxo focused evaluation 0.1 | `law.core.focused-evaluation/0.1` |
| [`query-result.schema.json`](/protocols/schemas/query-result/) | LawQL queryResult | `0.1` |
| [`diagnostic.schema.json`](/protocols/schemas/diagnostic/) | Arxo diagnostic 0.1 | — |
| [`request-refusal.schema.json`](/protocols/schemas/request-refusal/) | Typed request refusal body 0.1 | `law.core.request-refusal/0.1` |

## Arxo Change Protocol

A change of the rules as an object: the change set with its states before and after, and the dossier assembled from it.

| Schema | Title | version |
|---|---|---|
| [`change-set.schema.json`](/protocols/schemas/change-set/) | Arxo normative change set 0.1 | `law.change-set/0.1` |
| [`change-dossier.schema.json`](/protocols/schemas/change-dossier/) | Arxo normative change dossier 0.1 | `law.change-dossier/0.1` |

## Program and package

The compiled program, its lock and dependency graph, manifests and passports, canon profiles, and the pinned resources a computation reads.

| Schema | Title | version |
|---|---|---|
| [`legal-ir.schema.json`](/protocols/schemas/legal-ir/) | Arxo Core 0.1 Canonical Legal IR | `law.core.ir/0.1`, `law.core.ir/0.2`, `law.core.ir/0.3`, `law.core.ir/0.4`, `law.core.ir/0.5`, `law.core.ir/0.6` |
| [`lockfile.schema.json`](/protocols/schemas/lockfile/) | Arxo canonical law.lock 0.3 | — |
| [`dependency-graph.schema.json`](/protocols/schemas/dependency-graph/) | dependency-graph | — |
| [`package-manifest.schema.json`](/protocols/schemas/package-manifest/) | Arxo Core 0.1 package manifest | — |
| [`package-descriptor.schema.json`](/protocols/schemas/package-descriptor/) | Arxo registry publication descriptor 0.2 | `law.package-descriptor/0.2` |
| [`package-info.schema.json`](/protocols/schemas/package-info/) | package-info | `law.package-info/0.1` |
| [`package-passport.schema.json`](/protocols/schemas/package-passport/) | package-passport | `law.package-passport/0.1` |
| [`package-report.schema.json`](/protocols/schemas/package-report/) | package-report | `law.package-report/0.1` |
| [`package-benchmark.schema.json`](/protocols/schemas/package-benchmark/) | package-benchmark | `law.package-benchmark/0.1` |
| [`package-questions.schema.json`](/protocols/schemas/package-questions/) | Arxo package question catalog 0.1 | `law.package-questions/0.1` |
| [`profile.schema.json`](/protocols/schemas/profile/) | Arxo canon profile 0.1 | `law.profile/0.1` |
| [`profile-descriptor.schema.json`](/protocols/schemas/profile-descriptor/) | Arxo registry profile descriptor 0.1 | `law.profile-descriptor/0.1` |
| [`calendar-dataset.schema.json`](/protocols/schemas/calendar-dataset/) | Arxo calendar dataset 0.1 | `law.calendar/0.1` |
| [`parameter-dataset.schema.json`](/protocols/schemas/parameter-dataset/) | Arxo A3 parameter dataset 0.1 | `law.params/0.1` |
| [`decision-table.schema.json`](/protocols/schemas/decision-table/) | Arxo A3 decision table 0.1 | `law.decision/0.1` |
| [`feature-registry.schema.json`](/protocols/schemas/feature-registry/) | feature-registry | `law.core.features/0.1` |
| [`conformance-descriptor.schema.json`](/protocols/schemas/conformance-descriptor/) | Arxo Core 0.1 implementation conformance descriptor | — |

## Answers and explanations

Views of one computation: the inspection of an evaluation, the timeline and lifecycle of norms, expansions, priority conflicts, and counterfactual questions with their results.

| Schema | Title | version |
|---|---|---|
| [`inspection.schema.json`](/protocols/schemas/inspection/) | Arxo inspection 0.1 | — |
| [`law-timeline.schema.json`](/protocols/schemas/law-timeline/) | Arxo law timeline answer 0.1 | — |
| [`norm-lifecycle.schema.json`](/protocols/schemas/norm-lifecycle/) | Arxo law norm lifecycle answer 0.1 | — |
| [`law-expansion.schema.json`](/protocols/schemas/law-expansion/) | Arxo expansion answer 0.1 | — |
| [`priority-conflict-graph.schema.json`](/protocols/schemas/priority-conflict-graph/) | Arxo law priority conflict graph answer 0.1 | — |
| [`counterfactual-input.schema.json`](/protocols/schemas/counterfactual-input/) | Arxo counterfactual input 0.1 | `law.core.counterfactual-input/0.1` |
| [`counterfactual-result.schema.json`](/protocols/schemas/counterfactual-result/) | Arxo counterfactual result 0.1 | `law.core.counterfactual-result/0.1` |

## Cases, task guides and review

Working with a canon on a typical task: proposed cases, task guides and their passage journal, business requirements, and review approvals.

| Schema | Title | version |
|---|---|---|
| [`case-proposals.schema.json`](/protocols/schemas/case-proposals/) | Arxo case proposals 0.1 | `law.case-proposals/0.1` |
| [`package-task-guides.schema.json`](/protocols/schemas/package-task-guides/) | Arxo package task guides 0.1 | `law.package-task-guides/0.1` |
| [`task-guide-journal.schema.json`](/protocols/schemas/task-guide-journal/) | Arxo task guide passage journal 0.1 | `law.task-guide-journal/0.1` |
| [`business-requirements.schema.json`](/protocols/schemas/business-requirements/) | Business requirements registry assertion | — |
| [`review-approval.schema.json`](/protocols/schemas/review-approval/) | review-approval | `law.review/0.1` |

## Serving, runs and experiments

Answers served over HTTP and recorded decisions; reproducible runs and experiments over them.

| Schema | Title | version |
|---|---|---|
| [`serve-envelope.schema.json`](/protocols/schemas/serve-envelope/) | law serve HTTP envelopes 0.1 | — |
| [`decision-record.schema.json`](/protocols/schemas/decision-record/) | law serve decision record 0.1 | `law.serve.decision-record/0.1` |
| [`run.schema.json`](/protocols/schemas/run/) | Arxo run record 0.1 | — |
| [`experiment.schema.json`](/protocols/schemas/experiment/) | Arxo experiment 0.1 | — |

## Population screening and impact

Applying a canon to a population of records: the bank, bindings to its sources, materialization, and the impact report of a change.

| Schema | Title | version |
|---|---|---|
| [`population-bank.schema.json`](/protocols/schemas/population-bank/) | Arxo population impact bank 0.1 / 0.2 | `law.population.bank/0.1`, `law.population.bank/0.2` |
| [`population-binding.schema.json`](/protocols/schemas/population-binding/) | Arxo population binding 0.1 | `law.population.binding/0.1` |
| [`screen-binding.schema.json`](/protocols/schemas/screen-binding/) | Arxo population screening source binding 0.1 | `law.screen.binding/0.1` |
| [`population-materialization.schema.json`](/protocols/schemas/population-materialization/) | Arxo population materialization manifest 0.1 | `law.population.materialization/0.1` |
| [`population-impact-report.schema.json`](/protocols/schemas/population-impact-report/) | Arxo population impact report 0.1 | — |

## Knowledge import

Importing knowledge from external sources into packages: adapters, inventories, mappings, recipes, plans, reports and the native modules they read.

| Schema | Title | version |
|---|---|---|
| [`import-adapter.schema.json`](/protocols/schemas/import-adapter/) | import-adapter | — |
| [`import-inventory.schema.json`](/protocols/schemas/import-inventory/) | import-inventory | `arxo.import.inventory/0.1` |
| [`import-ir.schema.json`](/protocols/schemas/import-ir/) | import-ir | `arxo.import/0.1` |
| [`import-mapping.schema.json`](/protocols/schemas/import-mapping/) | import-mapping | `arxo.import.mapping/0.1` |
| [`import-recipe.schema.json`](/protocols/schemas/import-recipe/) | import-recipe | — |
| [`import-bundle.schema.json`](/protocols/schemas/import-bundle/) | import-bundle | `arxo.import.bundle/0.1` |
| [`import-package-plan.schema.json`](/protocols/schemas/import-package-plan/) | import-package-plan | `arxo.import.package-plan/0.1` |
| [`import-package-policy.schema.json`](/protocols/schemas/import-package-policy/) | import-package-policy | `arxo.import.package-policy/0.1` |
| [`import-coverage.schema.json`](/protocols/schemas/import-coverage/) | import-coverage | `arxo.import.coverage/0.1` |
| [`import-diff.schema.json`](/protocols/schemas/import-diff/) | import-diff | `arxo.import.diff/0.1` |
| [`import-report.schema.json`](/protocols/schemas/import-report/) | import-report | `arxo.import.report/0.1` |
| [`native-modules.schema.json`](/protocols/schemas/native-modules/) | native-modules | `arxo.native.modules/0.1` |
| [`native-records.schema.json`](/protocols/schemas/native-records/) | native-records | `arxo.native.records/0.1` |
| [`native-dag.schema.json`](/protocols/schemas/native-dag/) | native-dag | `arxo.native.dag/0.1` |

## Concept alignment

Aligning concepts and rules across packages: policies, inputs of the derived concept catalogue, and alignment reports.

| Schema | Title | version |
|---|---|---|
| [`concept-catalog-inputs.schema.json`](/protocols/schemas/concept-catalog-inputs/) | Derived concept catalogue input selection | `arxo.concept-catalog.inputs/0.1` |
| [`concept-alignment-policy.schema.json`](/protocols/schemas/concept-alignment-policy/) | concept-alignment-policy | `arxo.concept-alignment.policy/0.1` |
| [`concept-alignment-report.schema.json`](/protocols/schemas/concept-alignment-report/) | concept-alignment-report | `arxo.concept-alignment.report/0.1` |
| [`concept-rule-alignment-policy.schema.json`](/protocols/schemas/concept-rule-alignment-policy/) | concept-rule-alignment-policy | `arxo.concept-rule-alignment.policy/0.1` |
| [`concept-rule-alignment-report.schema.json`](/protocols/schemas/concept-rule-alignment-report/) | concept-rule-alignment-report | `arxo.concept-rule-alignment.report/0.1` |

## Editor support

What an editor reads to navigate packages: the index of declarations and the source map of pinned dependencies.

| Schema | Title | version |
|---|---|---|
| [`editor-index.schema.json`](/protocols/schemas/editor-index/) | Arxo Law editor index 0.1 | — |
| [`editor-source-map.schema.json`](/protocols/schemas/editor-source-map/) | Arxo Law pinned dependency editor source map 0.1 | — |

## Other schemas

Schemas not yet assigned to a group.

| Schema | Title | version |
|---|---|---|
| [`admission-authority.schema.json`](/protocols/schemas/admission-authority/) | DECISION-0456 admission authority | `law.admission-authority/0.1` |
| [`admission-report.schema.json`](/protocols/schemas/admission-report/) | DECISION-0456 admission report | `law.admission-report/0.1` |
| [`admission-request.schema.json`](/protocols/schemas/admission-request/) | DECISION-0456 admission request | `law.admission-request/0.1` |
| [`admission-witness.schema.json`](/protocols/schemas/admission-witness/) | DECISION-0456 admission witness | `law.admission-witness/0.1` |