{
 "product": "taloslogic-proof (catalog service)",
 "slug": "svc-taloslogic-proof",
 "base": "https://cainstudio.online",
 "page": "https://cainstudio.online/service/taloslogic-proof",
 "claims": [
  {
   "id": "C01",
   "kind": "control",
   "claim": "taloslogic-proof (catalog service): the demo completes (ok) -> ok = every step succeeded; refused = the service answered and refused a step, as this demo shows on purpose.",
   "requests": [
    {
     "method": "POST",
     "url": "/catalog-demo/taloslogic-proof/run",
     "body": {}
    }
   ],
   "path": "status",
   "expect": [
    "ok"
   ]
  },
  {
   "id": "C02",
   "kind": "control",
   "claim": "Step 1: POST /v1/resolution-proof answers HTTP 200 -> This step succeeded in the reference run.",
   "requests": [
    {
     "method": "POST",
     "url": "/catalog-demo/taloslogic-proof/run",
     "body": {}
    }
   ],
   "path": "steps.0.status",
   "expect": [
    200
   ]
  },
  {
   "id": "C03",
   "kind": "control",
   "claim": "Step 2: POST /v1/truth-table answers HTTP 200 -> This step succeeded in the reference run.",
   "requests": [
    {
     "method": "POST",
     "url": "/catalog-demo/taloslogic-proof/run",
     "body": {}
    }
   ],
   "path": "steps.1.status",
   "expect": [
    200
   ]
  }
 ]
}