[
 {
  "id": "C01",
  "http_status": 200,
  "recorded_at": "2026-11-03T22:48:17+00:00",
  "ms": 211,
  "reply": {
   "slug": "cainbudget",
   "title": "Give an agent a $50 budget, then try to reserve $75",
   "status": "ok",
   "input": "49.99",
   "total_ms": 158,
   "steps": [
    {
     "call": "POST /budgets",
     "request": {
      "principal": "demo-agent-8f744456",
      "limit": "50.00",
      "window": "day"
     },
     "status": 200,
     "ms": 52,
     "reply": {
      "budget_id": "bud_50b8703ab468428e",
      "principal": "demo-agent-8f744456",
      "currency": "USD",
      "name": null,
      "active": true,
      "window": "day",
      "window_start": "2026-11-03T00:00:00Z",
      "limit": "50.00",
      "committed": "0.00",
      "held": "0.00",
      "remaining": "50.00",
      "created_at": "2026-11-03T22:48:17Z"
     }
    },
    {
     "call": "POST /check",
     "request": {
      "principal": "demo-agent-8f744456",
      "amount": "49.99",
      "action": "llm.call"
     },
     "status": 200,
     "ms": 88,
     "reply": {
      "decision": "ALLOW",
      "reason": "within every active budget for this principal",
      "reserved": false,
      "budget": {
       "budget_id": "bud_50b8703ab468428e",
       "principal": "demo-agent-8f744456",
       "currency": "USD",
       "name": null,
       "active": true,
       "window": "day",
       "window_start": "2026-11-03T00:00:00Z",
       "limit": "50.00",
       "committed": "0.00",
       "held": "0.00",
       "remaining": "50.00",
       "created_at": "2026-11-03T22:48:17Z"
      },
      "receipt": {
       "signed_by": "cainbudget (this deployment's own Ed25519 key)",
       "algorithm": "Ed25519",
       "public_key_hex": "aa21bfc0143ce432a900f4df9567ba0b2be5e88460c10a8ce3f03e6f71e2deaf",
       "statement": {
        "service": "cainbudget",
        "decision": "ALLOW",
        "reason": "within every active budget for this principal",
        "principal": "demo-agent-8f744456",
        "amount": "49.99",
        "currency": "USD",
        "action": "llm.call",
        "budget_id": "bud_50b8703ab468428e",
        "owner": "52b5815052239ac02d1eb72055d5ad75",
        "issued_at": "2026-11-03T22:48:17Z",
        "kind": "check"
       },
       "statement_sha256": "d328e2c083a5a5f844651df0a859f88fb6a0e778be89e40279fdcc1fb2659ae0",
       "signature_hex": "ecfeb7f488874f99c6a40ec9cbd66e982ae1a7e941dcbcb03ba0c0050543be49ce84534dbbc8465ed33ef60e17fe11344360fbdcaed01cf68b18c2e2bd5aa60a",
       "verify": "Ed25519 verify(public_key_hex, signature_hex, canonical JSON of statement (sorted keys, separators ',' ':'))"
      }
     }
    }
   ],
   "note": "Real calls to the running service with the public demo identity; replies are unedited."
  }
 },
 {
  "id": "C02",
  "http_status": 200,
  "recorded_at": "2026-11-03T22:48:17+00:00",
  "ms": 178,
  "reply": {
   "slug": "cainbudget",
   "title": "Give an agent a $50 budget, then try to reserve $75",
   "status": "ok",
   "input": "50.00",
   "total_ms": 87,
   "steps": [
    {
     "call": "POST /budgets",
     "request": {
      "principal": "demo-agent-15d6d707",
      "limit": "50.00",
      "window": "day"
     },
     "status": 200,
     "ms": 42,
     "reply": {
      "budget_id": "bud_395c9334e4714a44",
      "principal": "demo-agent-15d6d707",
      "currency": "USD",
      "name": null,
      "active": true,
      "window": "day",
      "window_start": "2026-11-03T00:00:00Z",
      "limit": "50.00",
      "committed": "0.00",
      "held": "0.00",
      "remaining": "50.00",
      "created_at": "2026-11-03T22:48:17Z"
     }
    },
    {
     "call": "POST /check",
     "request": {
      "principal": "demo-agent-15d6d707",
      "amount": "50.00",
      "action": "llm.call"
     },
     "status": 200,
     "ms": 20,
     "reply": {
      "decision": "ALLOW",
      "reason": "within every active budget for this principal",
      "reserved": false,
      "budget": {
       "budget_id": "bud_395c9334e4714a44",
       "principal": "demo-agent-15d6d707",
       "currency": "USD",
       "name": null,
       "active": true,
       "window": "day",
       "window_start": "2026-11-03T00:00:00Z",
       "limit": "50.00",
       "committed": "0.00",
       "held": "0.00",
       "remaining": "50.00",
       "created_at": "2026-11-03T22:48:17Z"
      },
      "receipt": {
       "signed_by": "cainbudget (this deployment's own Ed25519 key)",
       "algorithm": "Ed25519",
       "public_key_hex": "aa21bfc0143ce432a900f4df9567ba0b2be5e88460c10a8ce3f03e6f71e2deaf",
       "statement": {
        "service": "cainbudget",
        "decision": "ALLOW",
        "reason": "within every active budget for this principal",
        "principal": "demo-agent-15d6d707",
        "amount": "50.00",
        "currency": "USD",
        "action": "llm.call",
        "budget_id": "bud_395c9334e4714a44",
        "owner": "52b5815052239ac02d1eb72055d5ad75",
        "issued_at": "2026-11-03T22:48:17Z",
        "kind": "check"
       },
       "statement_sha256": "cf1f9a786fff48f97f4c7f8004556d45c9dd78c73f6e3481b7ee6f2a7843711a",
       "signature_hex": "abd823a60de8b7ac0fe46895d095cb07367bdf898fa057b2a5ecd460a08a1cc2cbab4488953aa44d6242ad63d94d873abdd9c453d8da7bc930b1ca33f1d0fa00",
       "verify": "Ed25519 verify(public_key_hex, signature_hex, canonical JSON of statement (sorted keys, separators ',' ':'))"
      }
     }
    }
   ],
   "note": "Real calls to the running service with the public demo identity; replies are unedited."
  }
 },
 {
  "id": "C03",
  "http_status": 200,
  "recorded_at": "2026-11-03T22:48:18+00:00",
  "ms": 125,
  "reply": {
   "slug": "cainbudget",
   "title": "Give an agent a $50 budget, then try to reserve $75",
   "status": "ok",
   "input": "50.01",
   "total_ms": 74,
   "steps": [
    {
     "call": "POST /budgets",
     "request": {
      "principal": "demo-agent-f306e4eb",
      "limit": "50.00",
      "window": "day"
     },
     "status": 200,
     "ms": 39,
     "reply": {
      "budget_id": "bud_e3196f65e2dc47ba",
      "principal": "demo-agent-f306e4eb",
      "currency": "USD",
      "name": null,
      "active": true,
      "window": "day",
      "window_start": "2026-11-03T00:00:00Z",
      "limit": "50.00",
      "committed": "0.00",
      "held": "0.00",
      "remaining": "50.00",
      "created_at": "2026-11-03T22:48:18Z"
     }
    },
    {
     "call": "POST /check",
     "request": {
      "principal": "demo-agent-f306e4eb",
      "amount": "50.01",
      "action": "llm.call"
     },
     "status": 200,
     "ms": 20,
     "reply": {
      "decision": "DENY",
      "reason": "would exceed budget bud_e3196f65e2dc47ba (day): remaining 50.00 < 50.01",
      "reserved": false,
      "budget": {
       "budget_id": "bud_e3196f65e2dc47ba",
       "principal": "demo-agent-f306e4eb",
       "currency": "USD",
       "name": null,
       "active": true,
       "window": "day",
       "window_start": "2026-11-03T00:00:00Z",
       "limit": "50.00",
       "committed": "0.00",
       "held": "0.00",
       "remaining": "50.00",
       "created_at": "2026-11-03T22:48:18Z"
      },
      "receipt": {
       "signed_by": "cainbudget (this deployment's own Ed25519 key)",
       "algorithm": "Ed25519",
       "public_key_hex": "aa21bfc0143ce432a900f4df9567ba0b2be5e88460c10a8ce3f03e6f71e2deaf",
       "statement": {
        "service": "cainbudget",
        "decision": "DENY",
        "reason": "would exceed budget bud_e3196f65e2dc47ba (day): remaining 50.00 < 50.01",
        "principal": "demo-agent-f306e4eb",
        "amount": "50.01",
        "currency": "USD",
        "action": "llm.call",
        "budget_id": "bud_e3196f65e2dc47ba",
        "owner": "52b5815052239ac02d1eb72055d5ad75",
        "issued_at": "2026-11-03T22:48:18Z",
        "kind": "check"
       },
       "statement_sha256": "8edadc1701e11c55c85b715dff8fa48ede25135ec49a06ea6bc918e4e56813b8",
       "signature_hex": "9a0949cc00dbb283b0ae32270825298a495d15ea793cc181e5ca409f68deaf47bd902a430d2bc0faed0f60b2d31cd459b69ece9a8918b93051bb600b99817005",
       "verify": "Ed25519 verify(public_key_hex, signature_hex, canonical JSON of statement (sorted keys, separators ',' ':'))"
      }
     }
    }
   ],
   "note": "Real calls to the running service with the public demo identity; replies are unedited."
  }
 },
 {
  "id": "C04",
  "http_status": 200,
  "recorded_at": "2026-11-03T22:48:19+00:00",
  "ms": 145,
  "reply": {
   "slug": "cainbudget",
   "title": "Give an agent a $50 budget, then try to reserve $75",
   "status": "ok",
   "input": "75.00",
   "total_ms": 67,
   "steps": [
    {
     "call": "POST /budgets",
     "request": {
      "principal": "demo-agent-7369bd13",
      "limit": "50.00",
      "window": "day"
     },
     "status": 200,
     "ms": 30,
     "reply": {
      "budget_id": "bud_9692ae1591924c16",
      "principal": "demo-agent-7369bd13",
      "currency": "USD",
      "name": null,
      "active": true,
      "window": "day",
      "window_start": "2026-11-03T00:00:00Z",
      "limit": "50.00",
      "committed": "0.00",
      "held": "0.00",
      "remaining": "50.00",
      "created_at": "2026-11-03T22:48:19Z"
     }
    },
    {
     "call": "POST /check",
     "request": {
      "principal": "demo-agent-7369bd13",
      "amount": "75.00",
      "action": "llm.call"
     },
     "status": 200,
     "ms": 19,
     "reply": {
      "decision": "DENY",
      "reason": "would exceed budget bud_9692ae1591924c16 (day): remaining 50.00 < 75.00",
      "reserved": false,
      "budget": {
       "budget_id": "bud_9692ae1591924c16",
       "principal": "demo-agent-7369bd13",
       "currency": "USD",
       "name": null,
       "active": true,
       "window": "day",
       "window_start": "2026-11-03T00:00:00Z",
       "limit": "50.00",
       "committed": "0.00",
       "held": "0.00",
       "remaining": "50.00",
       "created_at": "2026-11-03T22:48:19Z"
      },
      "receipt": {
       "signed_by": "cainbudget (this deployment's own Ed25519 key)",
       "algorithm": "Ed25519",
       "public_key_hex": "aa21bfc0143ce432a900f4df9567ba0b2be5e88460c10a8ce3f03e6f71e2deaf",
       "statement": {
        "service": "cainbudget",
        "decision": "DENY",
        "reason": "would exceed budget bud_9692ae1591924c16 (day): remaining 50.00 < 75.00",
        "principal": "demo-agent-7369bd13",
        "amount": "75.00",
        "currency": "USD",
        "action": "llm.call",
        "budget_id": "bud_9692ae1591924c16",
        "owner": "52b5815052239ac02d1eb72055d5ad75",
        "issued_at": "2026-11-03T22:48:19Z",
        "kind": "check"
       },
       "statement_sha256": "1ebe980cffbfe7a1ee012fb282e9932996b5a7eb4160d413c2cc76a78e64e5e3",
       "signature_hex": "4689658751a18c5a46a55f8871d9e34d127a1374314cf35c101d57a90259fbf540ce714452f6ca26196715d365f36a2aa8d517429d93b56ed233a3a3cb25210b",
       "verify": "Ed25519 verify(public_key_hex, signature_hex, canonical JSON of statement (sorted keys, separators ',' ':'))"
      }
     }
    }
   ],
   "note": "Real calls to the running service with the public demo identity; replies are unedited."
  }
 },
 {
  "id": "C05",
  "http_status": 200,
  "recorded_at": "2026-11-03T22:48:19+00:00",
  "ms": 129,
  "reply": {
   "slug": "cainbudget",
   "title": "Give an agent a $50 budget, then try to reserve $75",
   "status": "ok",
   "input": "1e9",
   "total_ms": 71,
   "steps": [
    {
     "call": "POST /budgets",
     "request": {
      "principal": "demo-agent-600df27d",
      "limit": "50.00",
      "window": "day"
     },
     "status": 200,
     "ms": 23,
     "reply": {
      "budget_id": "bud_19cc42d12fc94816",
      "principal": "demo-agent-600df27d",
      "currency": "USD",
      "name": null,
      "active": true,
      "window": "day",
      "window_start": "2026-11-03T00:00:00Z",
      "limit": "50.00",
      "committed": "0.00",
      "held": "0.00",
      "remaining": "50.00",
      "created_at": "2026-11-03T22:48:19Z"
     }
    },
    {
     "call": "POST /check",
     "request": {
      "principal": "demo-agent-600df27d",
      "amount": "1e9",
      "action": "llm.call"
     },
     "status": 200,
     "ms": 20,
     "reply": {
      "decision": "DENY",
      "reason": "would exceed budget bud_19cc42d12fc94816 (day): remaining 50.00 < 1e9",
      "reserved": false,
      "budget": {
       "budget_id": "bud_19cc42d12fc94816",
       "principal": "demo-agent-600df27d",
       "currency": "USD",
       "name": null,
       "active": true,
       "window": "day",
       "window_start": "2026-11-03T00:00:00Z",
       "limit": "50.00",
       "committed": "0.00",
       "held": "0.00",
       "remaining": "50.00",
       "created_at": "2026-11-03T22:48:19Z"
      },
      "receipt": {
       "signed_by": "cainbudget (this deployment's own Ed25519 key)",
       "algorithm": "Ed25519",
       "public_key_hex": "aa21bfc0143ce432a900f4df9567ba0b2be5e88460c10a8ce3f03e6f71e2deaf",
       "statement": {
        "service": "cainbudget",
        "decision": "DENY",
        "reason": "would exceed budget bud_19cc42d12fc94816 (day): remaining 50.00 < 1e9",
        "principal": "demo-agent-600df27d",
        "amount": "1e9",
        "currency": "USD",
        "action": "llm.call",
        "budget_id": "bud_19cc42d12fc94816",
        "owner": "52b5815052239ac02d1eb72055d5ad75",
        "issued_at": "2026-11-03T22:48:19Z",
        "kind": "check"
       },
       "statement_sha256": "dc6993031e4b9792f03439c4c08606ef196049b5b40c1b8f5e9979e8bcdcc768",
       "signature_hex": "6c8fb338fe45ad7dd8479fa9c0ef40ce15aba4caf39ea3762bab3c6dbdd407d7d4ee69d59a6faeac73f71559743ac72e76e5ea77faff8a36e4ea3dbbf5202707",
       "verify": "Ed25519 verify(public_key_hex, signature_hex, canonical JSON of statement (sorted keys, separators ',' ':'))"
      }
     }
    }
   ],
   "note": "Real calls to the running service with the public demo identity; replies are unedited."
  }
 }
]