Public Tool

ATF Receipt Verifier

Paste any ATF-format receipt (Delegation Receipt, Runtime Continuity Record, or Temporal Admissibility Record) to verify its structural integrity, content hash, and invariant compliance — client-side only, no data leaves your browser.

Receipt JSON Paste or load an example
Verification Results —
Results will appear here after verification.
Example Receipts

Delegation Receipt (DR)

An agent-to-agent authority delegation with MAR invariant and PQC signature fields.

RFC-ATF-1 §5

Runtime Continuity Record (RCR)

A session health snapshot with CES score, continuity status, and TAR anchor.

RFC-ATF-2 §6

MAR Violation (should FAIL)

A receipt with budget_granted exceeding budget_delegator — ATF-INV-001 violation.

ATF-INV-001

What does this verifier check?

1. Receipt Type DetectionIdentifies whether the receipt is a DR, RCR, or TAR based on field structure.
2. Required FieldsValidates all mandatory fields are present and correctly typed.
3. ATF-INV-001 (MAR)For DRs: budget_granted ≤ budget_delegator. Authority can only decrease.
4. Content Hash (ATF-INV-005)Recomputes SHA-256 over canonical fields (excluding signature fields) and compares with content_hash.
5. RGC-INV-001 (CES Formula)For RCRs: recomputes CES = T×0.30 + B×0.30 + D×0.20 + I×0.20 and compares with ces_score.
6. Identifier FormatsValidates ATFDR-, ATFTAR-, ATFRCR- prefixes and AID- agent identifiers.

Note: PQC signature verification (ML-DSA-65) requires the platform public key and is not performed here. Use the CLI verifier for full PQC verification.