{
 "product": "CAIN Digital Twin",
 "slug": "digital-twin",
 "base": "https://cainstudio.online",
 "page": "https://cainstudio.online/guide-digital-twin.html",
 "claims": [
  {
   "id": "C01",
   "kind": "control",
   "claim": "Write one temporary file -> One file, small blast radius.",
   "requests": [
    {
     "method": "POST",
     "url": "/frontier-demo/digital-twin/run",
     "body": {
      "preset": "write_one_temp_file"
     }
    }
   ],
   "path": "reply.within_safety_envelope",
   "expect": [
    true
   ]
  },
  {
   "id": "C02",
   "kind": "attack",
   "claim": "Run 'DROP TABLE customers' (not modelled) -> An action it cannot model is rejected, not allowed.",
   "requests": [
    {
     "method": "POST",
     "url": "/frontier-demo/digital-twin/run",
     "body": {
      "preset": "unmodelled_sql"
     }
    }
   ],
   "path": "reply.within_safety_envelope",
   "expect": [
    false
   ]
  }
 ]
}