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/receiptThe 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/paperWhat 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.
Releases
axiom-rules-engine/releasesEngine releases ship checksums and build attestations. Verify the binary you downloaded against the attestation log with commodity tools before you run it.
Encodings
rulespec-usEvery 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-oraclesEncodings are compared against independent implementations in the open, and disagreements are recorded rather than resolved quietly.
Certification
the Axiom appComputed, 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.