§Receipts

These are Axiom's records. Looking for the receipt software package? axiom.org/receipt

We show our receipts

Everything Axiom publishes carries the evidence to re-verify it, offline, without asking us. Trust anchors live in the verifier's own committed code, never in configuration we could swap.

The receipt package

axiom.org/receipt

The machinery that writes them: append-only hash-chained manifests, dual RFC 3161 time witnesses, pinned Ed25519 signatures, and one offline fail-closed command — receipt verify. An open-source package anyone can adopt; it has its own page.

The working paper

axiom.org/receipt/paper

What an offline check of agent-produced records establishes and refuses to establish, why trust anchors live in the verifier's own code, and the four evidence classes behind the package. Manuscript, PDF, and the code it describes.

Engine releases ship checksums and build attestations. Verify the binary you downloaded against the attestation log with commodity tools before you run it.

Encodings

rulespec-us

Every rule cites the provision of law it encodes and lands with a companion test. The repositories are the receipt: the citation, the test, and the history of both are public.

Validation

axiom-oracles

Encodings are compared against independent implementations in the open, and disagreements are recorded rather than resolved quietly.

Certification

the Axiom app

Computed, not granted: the harness derives completeness and fidelity, and a node certifies itself — nobody, including us, grants it by hand. Every node wears its tier in the app, including the empty certified tier at launch. The emptiness is the credibility.

What's next

We intend to publish the full agent logs behind every encoding — the complete record of how each rule came to say what it says.