[
 {
  "id": "C01",
  "http_status": 200,
  "recorded_at": "2026-11-03T23:26:37+00:00",
  "ms": 0,
  "reply": {
   "slug": "talos-verify",
   "title": "Z3 bounded-equivalence proof for a hardware kernel",
   "status": "ok",
   "input": null,
   "total_ms": 501,
   "steps": [
    {
     "call": "GET /v1/verify/kernels",
     "request": null,
     "status": 200,
     "ms": 11,
     "reply": {
      "kernels": [
       "HASH",
       "LFSR",
       "MACC",
       "DSP",
       "BRAM",
       "FOLD"
      ],
      "property_proofs_available": [
       "FOLD",
       "LFSR",
       "MACC"
      ]
     }
    },
    {
     "call": "POST /v1/verify/equivalence",
     "request": {
      "kernel": "HASH",
      "num_trials": 32
     },
     "status": 200,
     "ms": 474,
     "reply": {
      "kernel": "HASH",
      "passed": true,
      "trials": 32,
      "detail": "32 randomized trials OK",
      "counterexample": null
     }
    }
   ],
   "note": "Real calls to the running service with the public demo identity; replies are unedited."
  }
 },
 {
  "id": "C02",
  "http_status": 200,
  "recorded_at": "2026-11-03T23:26:37+00:00",
  "ms": 0,
  "reply": {
   "slug": "talos-verify",
   "title": "Z3 bounded-equivalence proof for a hardware kernel",
   "status": "ok",
   "input": null,
   "total_ms": 501,
   "steps": [
    {
     "call": "GET /v1/verify/kernels",
     "request": null,
     "status": 200,
     "ms": 11,
     "reply": {
      "kernels": [
       "HASH",
       "LFSR",
       "MACC",
       "DSP",
       "BRAM",
       "FOLD"
      ],
      "property_proofs_available": [
       "FOLD",
       "LFSR",
       "MACC"
      ]
     }
    },
    {
     "call": "POST /v1/verify/equivalence",
     "request": {
      "kernel": "HASH",
      "num_trials": 32
     },
     "status": 200,
     "ms": 474,
     "reply": {
      "kernel": "HASH",
      "passed": true,
      "trials": 32,
      "detail": "32 randomized trials OK",
      "counterexample": null
     }
    }
   ],
   "note": "Real calls to the running service with the public demo identity; replies are unedited."
  }
 },
 {
  "id": "C03",
  "http_status": 200,
  "recorded_at": "2026-11-03T23:26:38+00:00",
  "ms": 0,
  "reply": {
   "slug": "talos-verify",
   "title": "Z3 bounded-equivalence proof for a hardware kernel",
   "status": "ok",
   "input": null,
   "total_ms": 501,
   "steps": [
    {
     "call": "GET /v1/verify/kernels",
     "request": null,
     "status": 200,
     "ms": 11,
     "reply": {
      "kernels": [
       "HASH",
       "LFSR",
       "MACC",
       "DSP",
       "BRAM",
       "FOLD"
      ],
      "property_proofs_available": [
       "FOLD",
       "LFSR",
       "MACC"
      ]
     }
    },
    {
     "call": "POST /v1/verify/equivalence",
     "request": {
      "kernel": "HASH",
      "num_trials": 32
     },
     "status": 200,
     "ms": 474,
     "reply": {
      "kernel": "HASH",
      "passed": true,
      "trials": 32,
      "detail": "32 randomized trials OK",
      "counterexample": null
     }
    }
   ],
   "note": "Real calls to the running service with the public demo identity; replies are unedited."
  }
 }
]