{
  "schema": 1,
  "sqlstate": "25004",
  "condition_name": "inappropriate_isolation_level_for_branch_transaction",
  "runner": "scripts/verify_cases.py",
  "targets": {
    "latest": {
      "binary": "Homebrew PostgreSQL 18.6",
      "required": true
    },
    "pg10": {
      "image": "postgres:10",
      "required": true
    }
  },
  "cases": [
    {
      "id": "branch_transaction_boundary",
      "versions": [
        "10",
        "18"
      ],
      "preconditions": [
        "A runner-owned disposable target is provisioned."
      ],
      "trigger": "Source/definition evidence only; no natural SQL trigger is claimed.",
      "assertions": [
        "No fabricated SQL trigger is included; the selected run records a definition/source boundary."
      ],
      "repair": "Follow the explicit transaction or source boundary described by the case.",
      "cleanup": "Drop the case schema with an owner connection."
    }
  ],
  "evidence_status": "authored",
  "snippets": [],
  "runtime": [
    {
      "id": "runtime.25004-batch2-latest-20260909.latest",
      "run_id": "25004-batch2-latest-20260909",
      "target": "latest",
      "server_version": "18.6 (Homebrew)",
      "server_version_num": 180006,
      "status": "not_applicable",
      "case_status": "not_applicable",
      "target_status": "passed",
      "cases": [
        "branch_transaction_boundary"
      ],
      "summary_sha256": "6e892b767ad9feef596f0533e1b72620dd5c5e47cfef320c8ace0cfedffa3e7d",
      "raw_sha256": "f0d2933f7323aca4846fa9d962b2bff160db9f8c65cb430f6c4f41662203eafc",
      "case_manifest": {
        "sha256": "6e616ecb1ea8026eef7515be693af96fad4452d1a1ad804a504546491178e206"
      },
      "observed": {
        "case_status": "not_applicable"
      },
      "result": {
        "status": "passed",
        "environment": {
          "TimeZone": "Asia/Shanghai",
          "backend_pid": 76760,
          "binary": {
            "bindir": "/opt/homebrew/Cellar/postgresql@18/18.6/bin",
            "pg_config": "/opt/homebrew/bin/pg_config",
            "pg_config_version": "PostgreSQL 18.6 (Homebrew)",
            "postgres": "/opt/homebrew/Cellar/postgresql@18/18.6/bin/postgres"
          },
          "connection_scope": "runner-owned localhost port",
          "current_user": "runner",
          "docker": {},
          "lc_messages": "C",
          "libpq_version": "18.6",
          "locale": "en_US.UTF-8",
          "log_destination": "csvlog,jsonlog",
          "log_error_verbosity": "verbose",
          "log_min_error_statement": "error",
          "log_min_messages": "error",
          "logging_collector": "on",
          "machine": "arm64",
          "max_connections": "100",
          "platform": "macOS-26.6.2-arm64-arm-64bit-Mach-O",
          "psycopg_version": "3.3.5",
          "python_version": "3.14.6 (main, Jun 10 2026, 10:03:53) [Clang 21.0.0 (clang-2100.0.123.102)]",
          "server_encoding": "UTF8",
          "server_version": "18.6 (Homebrew)",
          "server_version_num": "180006",
          "target_kind": "latest",
          "wal_level": "logical"
        },
        "cases": [
          {
            "assertions": [],
            "case_id": "branch_transaction_boundary",
            "cleanup": {
              "errors": [],
              "passed": true
            },
            "elapsed_seconds": 0.004,
            "observed": {
              "runtime": "not run",
              "sqlstate": "25004"
            },
            "reason": "No resolved PostgreSQL 18.6 core call site was found in the fixed SQLSTATE source scan; this entry remains a source/definition boundary until a supported natural mechanism is identified.",
            "schema": "c25004_branch_transaction_boundary",
            "status": "not_applicable"
          }
        ]
      }
    },
    {
      "id": "runtime.25004-batch2-pg10-20260909.pg10",
      "run_id": "25004-batch2-pg10-20260909",
      "target": "pg10",
      "server_version": "10.21 (Debian 10.21-1.pgdg90+1)",
      "server_version_num": 100021,
      "status": "not_applicable",
      "case_status": "not_applicable",
      "target_status": "passed",
      "cases": [
        "branch_transaction_boundary"
      ],
      "summary_sha256": "aec6940d7ab31fd4a9e0fdd6639119dba287bada8c3195ab9e621e0a57bf8e1b",
      "raw_sha256": "f956881ba6ff4cc6f036e014e518813fffccb61a6044710a8d1a12d3fe44e8b2",
      "case_manifest": {
        "sha256": "6e616ecb1ea8026eef7515be693af96fad4452d1a1ad804a504546491178e206"
      },
      "observed": {
        "case_status": "not_applicable"
      },
      "result": {
        "status": "passed",
        "environment": {
          "TimeZone": "Etc/UTC",
          "backend_pid": 79,
          "binary": {},
          "connection_scope": "runner-owned localhost port",
          "current_user": "postgres",
          "docker": {
            "architecture": "arm64",
            "command": "/usr/local/bin/docker",
            "id": "sha256:b2baf8998630663d21370da06387c950e587071bdd307ee34e661cdcc7442bcc",
            "image": "postgres:10",
            "image_created": "2022-06-23T09:11:18.374607054Z",
            "os": "linux",
            "repo_digests": [
              "postgres@sha256:b2baf8998630663d21370da06387c950e587071bdd307ee34e661cdcc7442bcc"
            ]
          },
          "lc_messages": "en_US.utf8",
          "libpq_version": "18.6",
          "locale": "en_US.UTF-8",
          "log_destination": "csvlog",
          "log_error_verbosity": "verbose",
          "log_min_error_statement": "error",
          "log_min_messages": "error",
          "logging_collector": "on",
          "machine": "arm64",
          "max_connections": "100",
          "platform": "macOS-26.6.2-arm64-arm-64bit-Mach-O",
          "psycopg_version": "3.3.5",
          "python_version": "3.14.6 (main, Jun 10 2026, 10:03:53) [Clang 21.0.0 (clang-2100.0.123.102)]",
          "server_encoding": "UTF8",
          "server_version": "10.21 (Debian 10.21-1.pgdg90+1)",
          "server_version_num": "100021",
          "target_kind": "pg10",
          "wal_level": "logical"
        },
        "cases": [
          {
            "assertions": [],
            "case_id": "branch_transaction_boundary",
            "cleanup": {
              "errors": [],
              "passed": true
            },
            "elapsed_seconds": 0.008,
            "observed": {
              "runtime": "not run",
              "sqlstate": "25004"
            },
            "reason": "No resolved PostgreSQL 18.6 core call site was found in the fixed SQLSTATE source scan; this entry remains a source/definition boundary until a supported natural mechanism is identified.",
            "schema": "c25004_branch_transaction_boundary",
            "status": "not_applicable"
          }
        ]
      }
    }
  ]
}