Changelog
What shipped, dated. Each entry corresponds to a public, verifiable artifact — that's the house style.
-
Verifier v0.1.0 published to PyPI — three-outcome status semantics live on the released artifact
pip install agentoracle-receipt-verify==0.1.0· MIT · offline verification against the published JWKS. Public API exposesSTATUS_VALID,STATUS_INVALID,STATUS_INDETERMINATE. Post-publish gate ran against the installed package in a fresh venv — the no-key path returns invalid rather than valid. pypi ↗ -
Experiment A pre-registered — design frozen, three model families, results Sep 2
Two deep-research agents, one gated through
/evaluate(fail-closed, replans on failing verdict), 200 questions across four domains. Measured quantity: which citations survive independent verification. Ground-truth stack deterministic. Pre-registration document, harness, and questions all public before any data was collected. repo ↗ -
Virtuals showcase merged — a live production receipt now sits in Virtual-Protocol/acp-cli-demos
10 files, +670/-0, merge commit
c08af80e7a12. Receipt blobd13a275e1c4dis byte-identical to the production receipt. Anyone can clone the showcase folder, install the verifier, and runpython3 verify.py receipt.jsonagainst the live JWKS. showcase ↗ -
Deterministic mode —
POST /v1/verify-facts: six check types, no LLM in the trust chain,check_moderecorded inside the signed payload -
v0.4 draft rev-2 — per-layer provenance design (layer_trace, mode ∈ {recomputable, signed}, three-state absence semantics) folded in from public design collaboration
-
Routine credential rotation completed — all previously issued receipts verify unchanged against the published JWKS
-
/pricing page + MCP homepage block live
-
Self-serve open — card → API key → signed receipts, live
-
v0.4 conformance suite complete — 1 accept, 3 reject, 3 status vectors; two independent implementations; every envelope and wrapper hash recomputed byte-identical on both sides
-
First v0.4 conformance vector shipped — v04-accept-001, two-party signed (AgentOracle + AgentTrust legs), byte-identical across three independent canonicalizations
-
Sequence-integrity example merged into the community pre-action governance conformance suite — N artifacts over time, Merkle inclusion + tamper demos
-
Canonical verdict→gate mapping published, content-addressed — sha256-addressed immutable doc
-
Third cross-citing draft filed in the receipt family — draft-msebenzi-evidence-action-00 cites draft-krausz-verification-state
-
Composed multi-issuer envelope example merged into the community conformance suite — N signers, one artifact
-
Independent byte-identical second implementation merged — AgentTrust rebuilt the format from spec text alone
-
First registered profile in the receipt-format registry — verification.v0.3 entered as the first profile in the ERC-8210 Receipt Profile Registry
-
IETF Internet-Draft FILED — draft-krausz-verification-state-01
-
Open-source receipt verifier published — offline JWS verification, MIT licensed
-
Cross-operator benchmark live — open methodology, open submissions
-
Receipt spec v0.3 — binary-halt gate + canonical/derived/version-bound mapping
-
AVeriTeC 2024 dev published — 57.6% overall, held-out 57.7%, MIT licensed
-
Pinned in x402trace v0.3.3 — first operator-contributed fixture in the harness
-
Live on SKALE Base — first paid settlement gasless on SKALE
-
Tutorial #4 — claim verification in AI content approval workflows
-
Indexed in Coinbase Bazaar — 8 settlements verified