Axiom documentation

Canonical docs live with the system that enforces them.

This page is the public map. Implementation details stay in the owning repos; cross-system architecture is indexed here.

Current invariant

Corpus is source text. Claims are reviewed source meaning. RuleSpec is computation. Encoder validates the evidence path between them.

Documentation homes

These are the current canonical docs for architecture and validation work. Add new docs to the repo that owns the behavior, then link them here when they are useful across repos.

Cross-system architecture

axiom-foundation.org

Public index for how Axiom's source, claim, RuleSpec, encoder, runtime, and app layers fit together.

/docs

RuleSpec proof validation

axiom-encode

Proof-tree contract for keeping corpus anchors, accepted source claims, and executable RuleSpec separate.

docs/rulespec-proof-validation.md

Upstream-first encoding

axiom-encode

Source-ordering and source-graph plan for encoding statutes, regulations, guidance, and downstream manuals.

docs/upstream-first-encoding-plan.md

Encoder methods log

axiom-encode

Harness changes, hypotheses, and validation evidence for benchmark-relevant encoder work.

docs/axiom-encode-methods-log.md

PolicyEngine oracle registry

axiom-encode

Mapping and validation notes for comparing RuleSpec outputs to PolicyEngine where the concepts line up.

docs/policyengine-oracle-registry.md

Ownership rule

Repo-owned engineering docs live in the repo that owns the code or contract.

Public and cross-repo docs are indexed here so readers do not need to know the repo layout first.

Schema and validation contracts stay close to the validator or runtime that enforces them.

Historical notes can live in repo docs, but current public architecture should be linked from this page.

Repository ownership

The repo split is part of the documentation model. A doc should move only when the owning system moves.

axiom-corpus

Corpus source text, anchors, hierarchy, tables, hashes, and source claims.

axiom-encode

Encoder prompts, harness validation, proof validation, oracles, eval suites, and methods notes.

axiom-rules

RuleSpec language, compiler, runtime, test runner, and executable semantics.

rules-*

Jurisdiction RuleSpec corpora: checked-in `.yaml` rules and companion `.test.yaml` cases.

axiom-foundation.org

Public site, Axiom app shell, docs index, and cross-system presentation.