[
 {
  "id": "C01",
  "http_status": 200,
  "recorded_at": "2026-11-03T22:56:48+00:00",
  "ms": 0,
  "reply": {
   "slug": "actionproof",
   "title": "Prove a wire-transfer plan breaks the dual-approval rule before it runs",
   "status": "ok",
   "input": null,
   "total_ms": 339,
   "steps": [
    {
     "call": "PUT /v1/profiles/public-demo/default",
     "request": {
      "rules": [
       {
        "id": "wire-dual-approval",
        "type": "THRESHOLD_DUAL_APPROVAL",
        "tool": "send_wire",
        "amount_field": "amount",
        "threshold": 10000,
        "approval_tool": "approve",
        "approver_field": "approver_id",
        "min_distinct_approvers": 2
       }
      ]
     },
     "status": 200,
     "ms": 56,
     "reply": {
      "org_id": "public-demo",
      "profile_name": "default",
      "rules": [
       {
        "id": "wire-dual-approval",
        "type": "THRESHOLD_DUAL_APPROVAL",
        "tool": "send_wire",
        "amount_field": "amount",
        "threshold": 10000,
        "approval_tool": "approve",
        "approver_field": "approver_id",
        "min_distinct_approvers": 2
       }
      ]
     }
    },
    {
     "call": "POST /v1/plans/verify",
     "request": {
      "org_id": "public-demo",
      "agent_id": "finance-bot",
      "plan": [
       {
        "tool": "approve",
        "args": {
         "approver_id": "alice"
        }
       },
       {
        "tool": "send_wire",
        "args": {
         "amount": 50000
        }
       }
      ]
     },
     "status": 200,
     "ms": 238,
     "reply": {
      "audit_id": "5be0d56c-cf3b-44aa-b105-b50f50253f69",
      "org_id": "public-demo",
      "agent_id": "finance-bot",
      "profile_name": "default",
      "verdict": "PROVEN_VIOLATION",
      "allowed": false,
      "detail": "1 of 1 rule(s) violated",
      "rule_results": [
       {
        "rule_id": "wire-dual-approval",
        "rule_type": "THRESHOLD_DUAL_APPROVAL",
        "verdict": "PROVEN_VIOLATION",
        "detail": "step 1: 'send_wire' amount 50000 > threshold 10000 requires 2 distinct approvers via 'approve' before it; found 1 distinct (['alice'])",
        "counterexample": {
         "step": 1,
         "amount": 50000,
         "approvers_seen": [
          "alice"
         ]
        }
       }
      ],
      "signature": "4ca0910c42b04d38d69cdd17bceb5559f6efbb1b036c2a7a79193ca3cb772382"
     }
    },
    {
     "call": "POST /v1/plans/verify",
     "request": {
      "org_id": "public-demo",
      "agent_id": "finance-bot",
      "plan": [
       {
        "tool": "approve",
        "args": {
         "approver_id": "alice"
        }
       },
       {
        "tool": "approve",
        "args": {
         "approver_id": "bob"
        }
       },
       {
        "tool": "send_wire",
        "args": {
         "amount": 50000
        }
       }
      ]
     },
     "status": 200,
     "ms": 29,
     "reply": {
      "audit_id": "63418f8a-5cc2-4589-8d61-28d287b3d71a",
      "org_id": "public-demo",
      "agent_id": "finance-bot",
      "profile_name": "default",
      "verdict": "PROVEN_SAFE",
      "allowed": true,
      "detail": "all 1 rule(s) hold",
      "rule_results": [
       {
        "rule_id": "wire-dual-approval",
        "rule_type": "THRESHOLD_DUAL_APPROVAL",
        "verdict": "PROVEN_SAFE",
        "detail": "no violation found",
        "counterexample": null
       }
      ],
      "signature": "eaf4f10a1ad8baad556982862125e6449f7c97707439935f82f283d49f9958b8"
     }
    }
   ],
   "note": "Real calls to the running service with the public demo identity; replies are unedited."
  }
 },
 {
  "id": "C02",
  "http_status": 200,
  "recorded_at": "2026-11-03T22:56:48+00:00",
  "ms": 0,
  "reply": {
   "slug": "actionproof",
   "title": "Prove a wire-transfer plan breaks the dual-approval rule before it runs",
   "status": "ok",
   "input": null,
   "total_ms": 339,
   "steps": [
    {
     "call": "PUT /v1/profiles/public-demo/default",
     "request": {
      "rules": [
       {
        "id": "wire-dual-approval",
        "type": "THRESHOLD_DUAL_APPROVAL",
        "tool": "send_wire",
        "amount_field": "amount",
        "threshold": 10000,
        "approval_tool": "approve",
        "approver_field": "approver_id",
        "min_distinct_approvers": 2
       }
      ]
     },
     "status": 200,
     "ms": 56,
     "reply": {
      "org_id": "public-demo",
      "profile_name": "default",
      "rules": [
       {
        "id": "wire-dual-approval",
        "type": "THRESHOLD_DUAL_APPROVAL",
        "tool": "send_wire",
        "amount_field": "amount",
        "threshold": 10000,
        "approval_tool": "approve",
        "approver_field": "approver_id",
        "min_distinct_approvers": 2
       }
      ]
     }
    },
    {
     "call": "POST /v1/plans/verify",
     "request": {
      "org_id": "public-demo",
      "agent_id": "finance-bot",
      "plan": [
       {
        "tool": "approve",
        "args": {
         "approver_id": "alice"
        }
       },
       {
        "tool": "send_wire",
        "args": {
         "amount": 50000
        }
       }
      ]
     },
     "status": 200,
     "ms": 238,
     "reply": {
      "audit_id": "5be0d56c-cf3b-44aa-b105-b50f50253f69",
      "org_id": "public-demo",
      "agent_id": "finance-bot",
      "profile_name": "default",
      "verdict": "PROVEN_VIOLATION",
      "allowed": false,
      "detail": "1 of 1 rule(s) violated",
      "rule_results": [
       {
        "rule_id": "wire-dual-approval",
        "rule_type": "THRESHOLD_DUAL_APPROVAL",
        "verdict": "PROVEN_VIOLATION",
        "detail": "step 1: 'send_wire' amount 50000 > threshold 10000 requires 2 distinct approvers via 'approve' before it; found 1 distinct (['alice'])",
        "counterexample": {
         "step": 1,
         "amount": 50000,
         "approvers_seen": [
          "alice"
         ]
        }
       }
      ],
      "signature": "4ca0910c42b04d38d69cdd17bceb5559f6efbb1b036c2a7a79193ca3cb772382"
     }
    },
    {
     "call": "POST /v1/plans/verify",
     "request": {
      "org_id": "public-demo",
      "agent_id": "finance-bot",
      "plan": [
       {
        "tool": "approve",
        "args": {
         "approver_id": "alice"
        }
       },
       {
        "tool": "approve",
        "args": {
         "approver_id": "bob"
        }
       },
       {
        "tool": "send_wire",
        "args": {
         "amount": 50000
        }
       }
      ]
     },
     "status": 200,
     "ms": 29,
     "reply": {
      "audit_id": "63418f8a-5cc2-4589-8d61-28d287b3d71a",
      "org_id": "public-demo",
      "agent_id": "finance-bot",
      "profile_name": "default",
      "verdict": "PROVEN_SAFE",
      "allowed": true,
      "detail": "all 1 rule(s) hold",
      "rule_results": [
       {
        "rule_id": "wire-dual-approval",
        "rule_type": "THRESHOLD_DUAL_APPROVAL",
        "verdict": "PROVEN_SAFE",
        "detail": "no violation found",
        "counterexample": null
       }
      ],
      "signature": "eaf4f10a1ad8baad556982862125e6449f7c97707439935f82f283d49f9958b8"
     }
    }
   ],
   "note": "Real calls to the running service with the public demo identity; replies are unedited."
  }
 },
 {
  "id": "C03",
  "http_status": 200,
  "recorded_at": "2026-11-03T22:56:49+00:00",
  "ms": 0,
  "reply": {
   "slug": "actionproof",
   "title": "Prove a wire-transfer plan breaks the dual-approval rule before it runs",
   "status": "ok",
   "input": null,
   "total_ms": 339,
   "steps": [
    {
     "call": "PUT /v1/profiles/public-demo/default",
     "request": {
      "rules": [
       {
        "id": "wire-dual-approval",
        "type": "THRESHOLD_DUAL_APPROVAL",
        "tool": "send_wire",
        "amount_field": "amount",
        "threshold": 10000,
        "approval_tool": "approve",
        "approver_field": "approver_id",
        "min_distinct_approvers": 2
       }
      ]
     },
     "status": 200,
     "ms": 56,
     "reply": {
      "org_id": "public-demo",
      "profile_name": "default",
      "rules": [
       {
        "id": "wire-dual-approval",
        "type": "THRESHOLD_DUAL_APPROVAL",
        "tool": "send_wire",
        "amount_field": "amount",
        "threshold": 10000,
        "approval_tool": "approve",
        "approver_field": "approver_id",
        "min_distinct_approvers": 2
       }
      ]
     }
    },
    {
     "call": "POST /v1/plans/verify",
     "request": {
      "org_id": "public-demo",
      "agent_id": "finance-bot",
      "plan": [
       {
        "tool": "approve",
        "args": {
         "approver_id": "alice"
        }
       },
       {
        "tool": "send_wire",
        "args": {
         "amount": 50000
        }
       }
      ]
     },
     "status": 200,
     "ms": 238,
     "reply": {
      "audit_id": "5be0d56c-cf3b-44aa-b105-b50f50253f69",
      "org_id": "public-demo",
      "agent_id": "finance-bot",
      "profile_name": "default",
      "verdict": "PROVEN_VIOLATION",
      "allowed": false,
      "detail": "1 of 1 rule(s) violated",
      "rule_results": [
       {
        "rule_id": "wire-dual-approval",
        "rule_type": "THRESHOLD_DUAL_APPROVAL",
        "verdict": "PROVEN_VIOLATION",
        "detail": "step 1: 'send_wire' amount 50000 > threshold 10000 requires 2 distinct approvers via 'approve' before it; found 1 distinct (['alice'])",
        "counterexample": {
         "step": 1,
         "amount": 50000,
         "approvers_seen": [
          "alice"
         ]
        }
       }
      ],
      "signature": "4ca0910c42b04d38d69cdd17bceb5559f6efbb1b036c2a7a79193ca3cb772382"
     }
    },
    {
     "call": "POST /v1/plans/verify",
     "request": {
      "org_id": "public-demo",
      "agent_id": "finance-bot",
      "plan": [
       {
        "tool": "approve",
        "args": {
         "approver_id": "alice"
        }
       },
       {
        "tool": "approve",
        "args": {
         "approver_id": "bob"
        }
       },
       {
        "tool": "send_wire",
        "args": {
         "amount": 50000
        }
       }
      ]
     },
     "status": 200,
     "ms": 29,
     "reply": {
      "audit_id": "63418f8a-5cc2-4589-8d61-28d287b3d71a",
      "org_id": "public-demo",
      "agent_id": "finance-bot",
      "profile_name": "default",
      "verdict": "PROVEN_SAFE",
      "allowed": true,
      "detail": "all 1 rule(s) hold",
      "rule_results": [
       {
        "rule_id": "wire-dual-approval",
        "rule_type": "THRESHOLD_DUAL_APPROVAL",
        "verdict": "PROVEN_SAFE",
        "detail": "no violation found",
        "counterexample": null
       }
      ],
      "signature": "eaf4f10a1ad8baad556982862125e6449f7c97707439935f82f283d49f9958b8"
     }
    }
   ],
   "note": "Real calls to the running service with the public demo identity; replies are unedited."
  }
 },
 {
  "id": "C04",
  "http_status": 200,
  "recorded_at": "2026-11-03T22:56:49+00:00",
  "ms": 0,
  "reply": {
   "slug": "actionproof",
   "title": "Prove a wire-transfer plan breaks the dual-approval rule before it runs",
   "status": "ok",
   "input": null,
   "total_ms": 339,
   "steps": [
    {
     "call": "PUT /v1/profiles/public-demo/default",
     "request": {
      "rules": [
       {
        "id": "wire-dual-approval",
        "type": "THRESHOLD_DUAL_APPROVAL",
        "tool": "send_wire",
        "amount_field": "amount",
        "threshold": 10000,
        "approval_tool": "approve",
        "approver_field": "approver_id",
        "min_distinct_approvers": 2
       }
      ]
     },
     "status": 200,
     "ms": 56,
     "reply": {
      "org_id": "public-demo",
      "profile_name": "default",
      "rules": [
       {
        "id": "wire-dual-approval",
        "type": "THRESHOLD_DUAL_APPROVAL",
        "tool": "send_wire",
        "amount_field": "amount",
        "threshold": 10000,
        "approval_tool": "approve",
        "approver_field": "approver_id",
        "min_distinct_approvers": 2
       }
      ]
     }
    },
    {
     "call": "POST /v1/plans/verify",
     "request": {
      "org_id": "public-demo",
      "agent_id": "finance-bot",
      "plan": [
       {
        "tool": "approve",
        "args": {
         "approver_id": "alice"
        }
       },
       {
        "tool": "send_wire",
        "args": {
         "amount": 50000
        }
       }
      ]
     },
     "status": 200,
     "ms": 238,
     "reply": {
      "audit_id": "5be0d56c-cf3b-44aa-b105-b50f50253f69",
      "org_id": "public-demo",
      "agent_id": "finance-bot",
      "profile_name": "default",
      "verdict": "PROVEN_VIOLATION",
      "allowed": false,
      "detail": "1 of 1 rule(s) violated",
      "rule_results": [
       {
        "rule_id": "wire-dual-approval",
        "rule_type": "THRESHOLD_DUAL_APPROVAL",
        "verdict": "PROVEN_VIOLATION",
        "detail": "step 1: 'send_wire' amount 50000 > threshold 10000 requires 2 distinct approvers via 'approve' before it; found 1 distinct (['alice'])",
        "counterexample": {
         "step": 1,
         "amount": 50000,
         "approvers_seen": [
          "alice"
         ]
        }
       }
      ],
      "signature": "4ca0910c42b04d38d69cdd17bceb5559f6efbb1b036c2a7a79193ca3cb772382"
     }
    },
    {
     "call": "POST /v1/plans/verify",
     "request": {
      "org_id": "public-demo",
      "agent_id": "finance-bot",
      "plan": [
       {
        "tool": "approve",
        "args": {
         "approver_id": "alice"
        }
       },
       {
        "tool": "approve",
        "args": {
         "approver_id": "bob"
        }
       },
       {
        "tool": "send_wire",
        "args": {
         "amount": 50000
        }
       }
      ]
     },
     "status": 200,
     "ms": 29,
     "reply": {
      "audit_id": "63418f8a-5cc2-4589-8d61-28d287b3d71a",
      "org_id": "public-demo",
      "agent_id": "finance-bot",
      "profile_name": "default",
      "verdict": "PROVEN_SAFE",
      "allowed": true,
      "detail": "all 1 rule(s) hold",
      "rule_results": [
       {
        "rule_id": "wire-dual-approval",
        "rule_type": "THRESHOLD_DUAL_APPROVAL",
        "verdict": "PROVEN_SAFE",
        "detail": "no violation found",
        "counterexample": null
       }
      ],
      "signature": "eaf4f10a1ad8baad556982862125e6449f7c97707439935f82f283d49f9958b8"
     }
    }
   ],
   "note": "Real calls to the running service with the public demo identity; replies are unedited."
  }
 }
]