[
 {
  "id": "C01",
  "http_status": 200,
  "recorded_at": "2026-11-03T22:54:29+00:00",
  "ms": 49,
  "reply": {
   "product": "pcc",
   "preset": "pure_function",
   "request": {
    "module_name": "demo",
    "source_code": "def add(a, b):\n    return a + b\n"
   },
   "reply": {
    "certified": true,
    "verdict": "CERTIFIED_SAFE",
    "code_digest": "ba1a531f581d2e6094e978ed6f7aca7a8d92eeb62c6e7ad73ee692f7f18bc772",
    "target_module": "demo",
    "verified_invariants": [
     "STATIC_PARSES",
     "STATIC_IMPORT_ALLOWLIST",
     "STATIC_NO_DYNAMIC_EXECUTION",
     "STATIC_NO_DUNDER_INTROSPECTION"
    ],
    "proof_transcript_digest": "918a712bae02d25b72bfd9cd9e78be289ecb86f3d8433838da7468c167a9e1e7",
    "compiler_signature": "a082c6191e3b5a4e206583b8ae7f544109dd48a032deb6945a7a03fd3fee495c",
    "violations_detected": [],
    "timestamp": 1793746469.7288325,
    "z3_smt_status": "NOT_APPLICABLE",
    "contract_results": [],
    "is_certified": true,
    "permitted": true,
    "canonical_verdict": "ALLOW",
    "certificate_scope": "AST admission check; Z3 results apply only to the stated contracts, which are not bound to the code's semantics"
   }
  }
 },
 {
  "id": "C02",
  "http_status": 200,
  "recorded_at": "2026-11-03T22:54:30+00:00",
  "ms": 43,
  "reply": {
   "product": "pcc",
   "preset": "shell_command",
   "request": {
    "module_name": "demo",
    "source_code": "import os\nos.system('rm -rf /')\n"
   },
   "reply": {
    "certified": false,
    "verdict": "VERIFICATION_FAILED",
    "code_digest": "49f8e5eeef7391cfcc29f55ceb2fffdd8e46387f0b932d30713b680b2f4100e0",
    "target_module": "demo",
    "verified_invariants": [],
    "proof_transcript_digest": "e12645697835f3241c319abb083918a569b710e2a0d259a45f4f6d49852fce89",
    "compiler_signature": "f7c89554d7560cc03ac6ca3ba26f0b3ce52e9cb69a4f72d382d86803ca8aebfe",
    "violations_detected": [
     "FORBIDDEN_CALL: system",
     "IMPORT_NOT_ALLOWLISTED: os"
    ],
    "timestamp": 1793746470.2736077,
    "z3_smt_status": "NOT_APPLICABLE",
    "contract_results": [],
    "is_certified": false,
    "permitted": false,
    "canonical_verdict": "DENY",
    "certificate_scope": "AST admission check; Z3 results apply only to the stated contracts, which are not bound to the code's semantics"
   }
  }
 },
 {
  "id": "C03",
  "http_status": 200,
  "recorded_at": "2026-11-03T22:54:30+00:00",
  "ms": 36,
  "reply": {
   "product": "pcc",
   "preset": "eval_call",
   "request": {
    "module_name": "demo",
    "source_code": "def run(x):\n    return eval(x)\n"
   },
   "reply": {
    "certified": false,
    "verdict": "VERIFICATION_FAILED",
    "code_digest": "1e707b3380479ad9a81f51c20ffeaa47f8fb4bf1d72d62e1724a5d533c0132e7",
    "target_module": "demo",
    "verified_invariants": [],
    "proof_transcript_digest": "f501cc10aed66665b179aefcc4bbca42913113ed77ffc66f8fd427eed343b11f",
    "compiler_signature": "9432ff5090418f46427f92c1ebbfc82704f2c4e0892d7e121204d613bbabbb6e",
    "violations_detected": [
     "FORBIDDEN_CALL: eval"
    ],
    "timestamp": 1793746470.811082,
    "z3_smt_status": "NOT_APPLICABLE",
    "contract_results": [],
    "is_certified": false,
    "permitted": false,
    "canonical_verdict": "DENY",
    "certificate_scope": "AST admission check; Z3 results apply only to the stated contracts, which are not bound to the code's semantics"
   }
  }
 }
]