{
  "schema": 1,
  "sqlstate": "3B000",
  "condition_name": "savepoint_exception",
  "runner": "scripts/verify_cases.py",
  "targets": {
    "latest": {
      "binary": "Homebrew PostgreSQL 18.6",
      "required": true
    },
    "pg10": {
      "image": "postgres:10",
      "required": true
    }
  },
  "cases": [
    {
      "id": "savepoint_exception_boundary",
      "versions": [
        "10",
        "18"
      ],
      "preconditions": [
        "A runner-owned disposable target is provisioned."
      ],
      "trigger": "No generic 3B000 trigger is executed; the specific invalid-savepoint path is covered by 3B001.",
      "assertions": [],
      "repair": "Use the specific savepoint condition and transaction boundary supplied by the server; do not manufacture a class-level RAISE.",
      "cleanup": "Drop the case schema with an owner connection."
    }
  ],
  "evidence_status": "authored",
  "snippets": [],
  "runtime": []
}