Execution Protocol Receipt

USD 9200.00

BLOCKED

Cryptographic proof of an Execution Protocol sandbox transaction. Every step is hash-chained, signed, and verifiable using only the public key.

✓ Verified · BLOCKED

This verification ran in your browser. No data was sent to the issuer.

Structural — hash chain
Kid resolved
ES256 signature
Not quarantined

Transaction

Archetype: FLIGHT_BOOKING
Receipt ID: c407191b-1a90-40f2-9722-14d0bd98f1b1
Transaction ID: txn_flight_blocked
Event type: ORIGINAL
Payment status: not_charged
Chain integrity: Hash chain intact — 5 linked entries

Deterministic execution pipeline · 3 steps · halted

#1
Authorisation token verified
token_validation
2ms
#2
Request shape validated
schema
3ms
#3
Boundary policy passed
boundary
5ms
#4
Required fields present
completeness

View full hash chain (5 entries)

#0 __genesis__0ms
in:null
out:null
hash:da3f125073a974e8cdbfe1998f7e152fafd6561e97993510af901182a51cc2a5
prev:0000000000000000000000000000000000000000000000000000000000000000
#1 token_validation2ms
in:{"tokenId":"tok-sandbox-public"}
out:{"tokenAccepted":true}
hash:6febb2a502460346e7894c05a8fbaedb9f0bb3a2df35f5a8f1190e31b5ec6234
prev:da3f125073a974e8cdbfe1998f7e152fafd6561e97993510af901182a51cc2a5
#2 schema3ms
in:

Verify locally

Run the verification in your browser. The receipt JSON and the published public key are the only inputs needed.

Spec: ep-receipt/2026-04-27
Algorithm: ES256
Canonicalisation: RFC 8785 JCS
Public keys: /.well-known/jwks.json

Open in /verify Run the 80-line Python verifier

Without an execution layer

✗ Action either runs unchecked or fails opaquely
✗ No third party can confirm what happened
✗ The audit trail is whoever the issuer says it is

With Execution Protocol

✓ Every action passes a deterministic policy gate
✓ Every terminal state emits a signed receipt
✓ Anyone with the public key can verify offline

The model can hallucinate. The execution layer cannot.

Receipt JSON

{
  "version": {
    "spec": "ep-receipt/2026-04-27"
  },
  "receiptId": "c407191b-1a90-40f2-9722-14d0bd98f1b1",
  "transactionId": "txn_flight_blocked",
  "agentId": "agent_sandbox_demo",
  "sessionId": "session_sandbox",
  "created": "2026-05-09T04:51:27.172Z",
  "entries": [
    {
      "entryId": "baff3529-b384-4e12-83e2-3f07948be97f",
      "index": 0,
      "stepName": "__genesis__",
      "input": null,
      "output": null,
      "startTime": "2026-05-09T04:51:27.172Z",
      "endTime": "2026-05-09T04:51:27.172Z",
      "latencyMs": 0,
      "cost": null,
      "error": null,
      "previousHash": "0000000000000000000000000000000000000000000000000000000000000000",
      "metadata": {},
      "hash": "da3f125073a974e8cdbfe1998f7e152fafd6561e97993510af901182a51cc2a5"
    },
    {
      "entryId": "d728052f-ae67-460e-a8db-3b6069e0e1db",
      "index": 1,
      "stepName": "token_validation",
      "input": {
        "tokenId": "tok-sandbox-public"
      },
      "output": {
        "tokenAccepted": true
      },
      "startTime": "2026-05-06T14:37:00.000Z",
      "endTime": "2026-05-06T14:37:00.002Z",
      "latencyMs": 2,
      "cost": null,
      "error": null,
      "previousHash": "da3f125073a974e8cdbfe1998f7e152fafd6561e97993510af901182a51cc2a5",
      "metadata": {},
      "hash": "6febb2a502460346e7894c05a8fbaedb9f0bb3a2df35f5a8f1190e31b5ec6234"
    },
    {
      "entryId": "fd12aea0-471b-49de-9205-6e63f037d3ec",
      "index": 2,
      "stepName": "schema",
      "input": {
        "archetype": "FLIGHT_BOOKING",
        "constraints": {
          "origin": "JFK",
          "destination": "LAX",
          "depart_date": "2026-06-06",
          "cabin": "business",
          "max_total_usd": "1000.00"
        }
      },
      "output": {
        "schemaValid": true
      },
      "startTime": "2026-05-06T14:37:00.003Z",
      "endTime": "2026-05-06T14:37:00.006Z",
      "latencyMs": 3,
      "cost": null,
      "error": null,
      "previousHash": "6febb2a502460346e7894c05a8fbaedb9f0bb3a2df35f5a8f1190e31b5ec6234",
      "metadata": {},
      "hash": "eb73b46ce4a2a7f9e8bfeee2f4cddffdb67f03cdad0415bb12bcdf4f03f987f1"
    },
    {
      "entryId": "e6af6448-e8dc-47fa-81a3-a6210af0c9de",
      "index": 3,
      "stepName": "boundary",
      "input": {
        "archetype": "FLIGHT_BOOKING",
        "constraints": {
          "origin": "JFK",
          "destination": "LAX",
          "depart_date": "2026-06-06",
          "cabin": "business",
          "max_total_usd": "1000.00"
        }
      },
      "output": null,
      "startTime": "2026-05-06T14:37:00.007Z",
      "endTime": "2026-05-06T14:37:00.012Z",
      "latencyMs": 5,
      "cost": null,
      "error": "EP_DELEGATION_BLOCK",
      "previousHash": "eb73b46ce4a2a7f9e8bfeee2f4cddffdb67f03cdad0415bb12bcdf4f03f987f1",
      "metadata": {
        "code": "EP_DELEGATION_BLOCK",
        "field": "amount_usd",
        "public_message": "This action could not be completed. The gateway logged the cause for review."
      },
      "hash": "0c7979ea8ffa5e2d8762e07f0c1780d602e6cbee05e41b0cb4e13e0674e88ae2"
    },
    {
      "entryId": "52c12372-63d5-42ef-8431-e0d6bdc56d03",
      "index": 4,
      "stepName": "receipt",
      "input": null,
      "output": {
        "signed": true
      },
      "startTime": "2026-05-06T14:37:00.013Z",
      "endTime": "2026-05-06T14:37:00.133Z",
      "latencyMs": 120,
      "cost": null,
      "error": null,
      "previousHash": "0c7979ea8ffa5e2d8762e07f0c1780d602e6cbee05e41b0cb4e13e0674e88ae2",
      "metadata": {},
      "hash": "baf3f97c6d7139eac2099d4dcc75534760b2e7cbcb191bf7249d18630902f246"
    }
  ],
  "signature": {
    "kid": "sandbox-2026-05",
    "alg": "ES256",
    "value": "9E3bG6HlKEkCIDykl4A_XmJivFRBr8w-RrgxAffJjVQ99gQDTdrA3fKu6DJYzG5_ldciMkYm3APmrl6PUMQGPA"
  },
  "amendmentOf": null,
  "eventType": "ORIGINAL",
  "paymentStatus": "not_charged",
  "money": {
    "offerCurrency": "USD",
    "offerAmount": "9200.00",
    "chargeCurrency": "USD",
    "chargeAmount": "0.00"
  },
  "idempotencyKey": "idem_flight_blocked",
  "replicaId": "sandbox-replica-0",
  "chainId": "chain_flight_blocked",
  "regulatoryFramework": [],
  "metadata": {
    "sandbox": true,
    "fixtureId": "flight-overspend",
    "pairId": "flight",
    "outcome": "blocked"
  }
}