{
 "product": "CAIN Proof-Carrying Code",
 "slug": "pcc",
 "base": "https://cainstudio.online",
 "page": "https://cainstudio.online/guide-pcc.html",
 "claims": [
  {
   "id": "C01",
   "kind": "control",
   "claim": "A pure function: add(a, b) -> Nothing dangerous.",
   "requests": [
    {
     "method": "POST",
     "url": "/frontier-demo/pcc/run",
     "body": {
      "preset": "pure_function"
     }
    }
   ],
   "path": "reply.certified",
   "expect": [
    true
   ]
  },
  {
   "id": "C02",
   "kind": "attack",
   "claim": "import os; os.system('rm -rf /') -> Shell access refused.",
   "requests": [
    {
     "method": "POST",
     "url": "/frontier-demo/pcc/run",
     "body": {
      "preset": "shell_command"
     }
    }
   ],
   "path": "reply.certified",
   "expect": [
    false
   ]
  },
  {
   "id": "C03",
   "kind": "attack",
   "claim": "A function that calls eval() -> Dynamic execution refused.",
   "requests": [
    {
     "method": "POST",
     "url": "/frontier-demo/pcc/run",
     "body": {
      "preset": "eval_call"
     }
    }
   ],
   "path": "reply.certified",
   "expect": [
    false
   ]
  }
 ]
}