Technical documentation

Independent audits of provider directory facts.

This page documents the current service: what a record is, what its states mean, and how to check one yourself. Nothing here is an API offer — machine access is not required to purchase an engagement, and no integration is implied.

What a record is

A record is a set of propositions about one subject, each checked against a public authority the subject does not control, signed with an Ed25519 key whose public half ships inside the record. Every proposition carries its own state, its own observation time, and its own re-check deadline. A record never receives a whole-record verdict — it is only the sum of its propositions.

The four states

Reading a record page

Findings are grouped by subject, then by buyer question. Each row shows the state and field, the finding, the source authority, the observation time, the re-check deadline with its timezone, and whether the deadline interval is a policy value or a measured one. Timestamps are published in UTC with the site-wide timezone stated beside them.

Verifying a record yourself

Every record page carries a verification panel that re-derives the record's canonical form (keys sorted, no whitespace, signature excluded), hashes it with SHA-256, and checks the Ed25519 signature against the embedded public key — in your browser, with nothing sent to us. Tampering with any covered field breaks the check.

The signature covers the record's id, schema, subject, public key, propositions, candidate relations, and dependency manifest digest. Excluded: signature, signing, derivation — the queries and cited artifacts are bound by the dependency manifest digest inside the signed scope.

For a full engagement worked end-to-end — scope, frozen sample, findings, follow-up receipts, evidence, and the shipped check that verifies it all — see the frozen public delivery under /verify/astra-r5/ and the sample audit page.

The read interface (demonstration)

The machine interface answers one question: is a specific proposition about a specific subject supported? It is a demonstration surface — no API keys are issued, and purchasing an engagement requires no integration.

GET /v1/verify?subject=<subject id>&proposition=<predicate> "provenance": "LIVE READ · checked_at <timestamp> — or SCHEMA EXAMPLE — NOT A READING", "state": "VERIFIED | UNVERIFIABLE | CONTESTED | STALE", "reason": "<for UNVERIFIABLE: the recorded reason, in plain language>", "authority": "<the authority whose published file supports it>", "checked_at": "<when the observation was made>", "next_required_by": "<re-check deadline, or null with an UNMEASURED note — never a coerced date>", "signature": "<the record's actual Ed25519 signature bytes — examples on this site are labeled illustrative>"

What we publish and what we do not

Open the recordsThe machine interface

Direct evidence: the frozen public delivery and its reproduction instructions live at /verify/astra-r5/README.md; a full worked record at /records/mo-dental-013494 — the stable subject URL, which always resolves to the current head at request time.