{
  "schema": 1,
  "sqlstate": "40P01",
  "condition_name": "deadlock_detected",
  "runner": "scripts/verify_cases.py",
  "targets": {
    "latest": {
      "binary": "Homebrew PostgreSQL 18.6",
      "required": true
    },
    "pg10": {
      "image": "postgres:10",
      "required": true
    }
  },
  "cases": [
    {
      "id": "two_session_lock_cycle",
      "versions": [
        "10",
        "18"
      ],
      "preconditions": [
        "Two sessions",
        "Two rows",
        "Both sessions acquire one row lock before attempting the other"
      ],
      "trigger": "Each session requests the row held by the other, using a barrier and observed lock waits.",
      "assertions": [
        "One statement receives 40P01",
        "The victim transaction is rolled back",
        "The surviving session can finish with one coherent update per row",
        "A post-victim retry takes locks in order and commits the complete repair"
      ],
      "repair": "Keep lock order consistent; after rollback, retry the complete idempotent transaction in that order and verify its committed result.",
      "cleanup": "Roll back workers and drop the case schema."
    }
  ],
  "evidence_status": "authored",
  "snippets": [
    {
      "id": "two_session_lock_cycle",
      "case_id": "two_session_lock_cycle",
      "language": "sql",
      "statements": {
        "create": "CREATE TABLE locks(id integer PRIMARY KEY, marker text NOT NULL)",
        "seed": "INSERT INTO locks VALUES (1, 'seed-1'), (2, 'seed-2')",
        "first_begin": "BEGIN",
        "first_set_timeout": "SET deadlock_timeout = '100ms'",
        "first_lock": "UPDATE locks SET marker = 'first-1' WHERE id = 1",
        "second_begin": "BEGIN",
        "second_set_timeout": "SET deadlock_timeout = '100ms'",
        "second_lock": "UPDATE locks SET marker = 'second-2' WHERE id = 2",
        "first_conflict": "UPDATE locks SET marker = 'first-2' WHERE id = 2",
        "second_conflict": "UPDATE locks SET marker = 'second-1' WHERE id = 1",
        "victim_rollback": "ROLLBACK",
        "survivor_commit": "COMMIT",
        "retry_begin": "BEGIN",
        "retry_first": "UPDATE locks SET marker = 'retry-1' WHERE id = 1",
        "retry_second": "UPDATE locks SET marker = 'retry-2' WHERE id = 2",
        "retry_commit": "COMMIT",
        "verify": "SELECT id, marker FROM locks ORDER BY id"
      }
    }
  ],
  "runtime": [
    {
      "cases": [
        "two_session_lock_cycle"
      ],
      "id": "runtime.40P01-registry-final-20260909.latest",
      "observed": {
        "lock_wait": {
          "wait_event": "transactionid",
          "wait_event_type": "Lock"
        },
        "synchronization": "Both workers first held one row lock; a barrier then released the two cross-row requests, while an independent observer sampled the transactionid lock waits. The observer did not release the requests.",
        "retry": {
          "rows": [
            [
              1,
              "retry-1"
            ],
            [
              2,
              "retry-2"
            ]
          ],
          "status": "IDLE"
        },
        "rows_before_retry": [
          [
            1,
            "first-1"
          ],
          [
            2,
            "first-2"
          ]
        ],
        "statuses": {
          "survivor": "IDLE",
          "victim_after_error": "INERROR",
          "victim_after_rollback": "IDLE"
        },
        "victim": {
          "message_hint": "See server log for query details.",
          "message_primary": "deadlock detected",
          "severity": "ERROR",
          "source_file": "deadlock.c",
          "source_function": "DeadLockReport",
          "source_line": "1138",
          "sqlstate": "40P01",
          "worker": "second"
        }
      },
      "raw_sha256": "bdfda4fc40404195f34d3297cf71eebdd2146ea44bf91fc58484498455a5953d",
      "run_id": "40P01-registry-final-20260909",
      "server_version": "18.6 (Homebrew)",
      "server_version_num": 180006,
      "snippet_registry": {
        "sha256": "71a3377497dc2c1ba5b71c9ba81f71fc3cff975fcd245613ba2ddb82857c0591"
      },
      "status": "passed",
      "summary_sha256": "693bc9cc5696cbb892eb12808a2b15db875c52aad5961410f59679df63566c07",
      "target": "latest",
      "result": {
        "status": "passed",
        "environment": {
          "TimeZone": "Asia/Shanghai",
          "backend_pid": 28883,
          "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": [
              {
                "expected": true,
                "name": "barrier released both requests",
                "observed": true,
                "passed": true
              },
              {
                "expected": "one 40P01 victim",
                "name": "deadlock victim sqlstate",
                "observed": [
                  {
                    "error": {
                      "column_name": null,
                      "constraint_name": null,
                      "context": "while updating tuple (0,1) in relation \"locks\"",
                      "datatype_name": null,
                      "exception_type": "DeadlockDetected",
                      "internal_position": null,
                      "internal_query": null,
                      "message_detail": "Process 28889 waits for ShareLock on transaction 755; blocked by process 28888.\nProcess 28888 waits for ShareLock on transaction 756; blocked by process 28889.",
                      "message_hint": "See server log for query details.",
                      "message_primary": "deadlock detected",
                      "schema_name": null,
                      "severity": "ERROR",
                      "severity_nonlocalized": "ERROR",
                      "source_file": "deadlock.c",
                      "source_function": "DeadLockReport",
                      "source_line": "1138",
                      "sqlstate": "40P01",
                      "statement_position": null,
                      "table_name": null,
                      "text": "deadlock detected\nDETAIL:  Process 28889 waits for ShareLock on transaction 755; blocked by process 28888.\nProcess 28888 waits for ShareLock on transaction 756; blocked by process 28889.\nHINT:  See server log for query details.\nCONTEXT:  while updating tuple (0,1) in relation \"locks\""
                    },
                    "name": "second",
                    "status": "INERROR"
                  },
                  {
                    "name": "first",
                    "status": "INTRANS",
                    "success": true
                  }
                ],
                "passed": true
              },
              {
                "expected": "deadlock detected",
                "name": "deadlock message",
                "observed": "deadlock detected",
                "passed": true
              },
              {
                "expected": "one survivor at IDLE",
                "name": "survivor completes",
                "observed": {
                  "results": [
                    {
                      "error": {
                        "column_name": null,
                        "constraint_name": null,
                        "context": "while updating tuple (0,1) in relation \"locks\"",
                        "datatype_name": null,
                        "exception_type": "DeadlockDetected",
                        "internal_position": null,
                        "internal_query": null,
                        "message_detail": "Process 28889 waits for ShareLock on transaction 755; blocked by process 28888.\nProcess 28888 waits for ShareLock on transaction 756; blocked by process 28889.",
                        "message_hint": "See server log for query details.",
                        "message_primary": "deadlock detected",
                        "schema_name": null,
                        "severity": "ERROR",
                        "severity_nonlocalized": "ERROR",
                        "source_file": "deadlock.c",
                        "source_function": "DeadLockReport",
                        "source_line": "1138",
                        "sqlstate": "40P01",
                        "statement_position": null,
                        "table_name": null,
                        "text": "deadlock detected\nDETAIL:  Process 28889 waits for ShareLock on transaction 755; blocked by process 28888.\nProcess 28888 waits for ShareLock on transaction 756; blocked by process 28889.\nHINT:  See server log for query details.\nCONTEXT:  while updating tuple (0,1) in relation \"locks\""
                      },
                      "name": "second",
                      "status": "INERROR"
                    },
                    {
                      "name": "first",
                      "status": "INTRANS",
                      "success": true
                    }
                  ],
                  "statuses": {
                    "first": "IDLE",
                    "second": "IDLE"
                  }
                },
                "passed": true
              },
              {
                "expected": "one coherent survivor transaction",
                "name": "one update per row remains",
                "observed": [
                  [
                    1,
                    "first-1"
                  ],
                  [
                    2,
                    "first-2"
                  ]
                ],
                "passed": true
              },
              {
                "expected": "a Lock wait sample",
                "name": "lock ordering is observable",
                "observed": [
                  {
                    "pid": 28888,
                    "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'first-2' WHERE id = 2",
                    "state": "active",
                    "wait_event": "transactionid",
                    "wait_event_type": "Lock"
                  },
                  {
                    "pid": 28889,
                    "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'second-1' WHERE id = 1",
                    "state": "active",
                    "wait_event": "transactionid",
                    "wait_event_type": "Lock"
                  },
                  {
                    "pid": 28888,
                    "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'first-2' WHERE id = 2",
                    "state": "active",
                    "wait_event": "transactionid",
                    "wait_event_type": "Lock"
                  },
                  {
                    "pid": 28889,
                    "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'second-1' WHERE id = 1",
                    "state": "active",
                    "wait_event": "transactionid",
                    "wait_event_type": "Lock"
                  },
                  {
                    "pid": 28888,
                    "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'first-2' WHERE id = 2",
                    "state": "active",
                    "wait_event": "transactionid",
                    "wait_event_type": "Lock"
                  },
                  {
                    "pid": 28889,
                    "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'second-1' WHERE id = 1",
                    "state": "active",
                    "wait_event": "transactionid",
                    "wait_event_type": "Lock"
                  },
                  {
                    "pid": 28888,
                    "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'first-2' WHERE id = 2",
                    "state": "active",
                    "wait_event": "transactionid",
                    "wait_event_type": "Lock"
                  },
                  {
                    "pid": 28889,
                    "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'second-1' WHERE id = 1",
                    "state": "active",
                    "wait_event": "transactionid",
                    "wait_event_type": "Lock"
                  },
                  {
                    "pid": 28888,
                    "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'first-2' WHERE id = 2",
                    "state": "active",
                    "wait_event": "transactionid",
                    "wait_event_type": "Lock"
                  },
                  {
                    "pid": 28889,
                    "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'second-1' WHERE id = 1",
                    "state": "active",
                    "wait_event": "transactionid",
                    "wait_event_type": "Lock"
                  }
                ],
                "passed": true
              },
              {
                "expected": "ordered retry rows and IDLE",
                "name": "complete retry commits in order",
                "observed": {
                  "rows": [
                    [
                      1,
                      "retry-1"
                    ],
                    [
                      2,
                      "retry-2"
                    ]
                  ],
                  "status": "IDLE"
                },
                "passed": true
              }
            ],
            "case_id": "two_session_lock_cycle",
            "cleanup": {
              "errors": [],
              "passed": true
            },
            "elapsed_seconds": 0.142,
            "observed": {
              "activity_samples": [
                {
                  "pid": 28888,
                  "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'first-2' WHERE id = 2",
                  "state": "active",
                  "wait_event": "transactionid",
                  "wait_event_type": "Lock"
                },
                {
                  "pid": 28889,
                  "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'second-1' WHERE id = 1",
                  "state": "active",
                  "wait_event": "transactionid",
                  "wait_event_type": "Lock"
                },
                {
                  "pid": 28888,
                  "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'first-2' WHERE id = 2",
                  "state": "active",
                  "wait_event": "transactionid",
                  "wait_event_type": "Lock"
                },
                {
                  "pid": 28889,
                  "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'second-1' WHERE id = 1",
                  "state": "active",
                  "wait_event": "transactionid",
                  "wait_event_type": "Lock"
                },
                {
                  "pid": 28888,
                  "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'first-2' WHERE id = 2",
                  "state": "active",
                  "wait_event": "transactionid",
                  "wait_event_type": "Lock"
                },
                {
                  "pid": 28889,
                  "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'second-1' WHERE id = 1",
                  "state": "active",
                  "wait_event": "transactionid",
                  "wait_event_type": "Lock"
                },
                {
                  "pid": 28888,
                  "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'first-2' WHERE id = 2",
                  "state": "active",
                  "wait_event": "transactionid",
                  "wait_event_type": "Lock"
                },
                {
                  "pid": 28889,
                  "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'second-1' WHERE id = 1",
                  "state": "active",
                  "wait_event": "transactionid",
                  "wait_event_type": "Lock"
                },
                {
                  "pid": 28888,
                  "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'first-2' WHERE id = 2",
                  "state": "active",
                  "wait_event": "transactionid",
                  "wait_event_type": "Lock"
                },
                {
                  "pid": 28889,
                  "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'second-1' WHERE id = 1",
                  "state": "active",
                  "wait_event": "transactionid",
                  "wait_event_type": "Lock"
                }
              ],
              "retry": {
                "rows": [
                  [
                    1,
                    "retry-1"
                  ],
                  [
                    2,
                    "retry-2"
                  ]
                ],
                "status": "IDLE"
              },
              "rows_before_retry": [
                [
                  1,
                  "first-1"
                ],
                [
                  2,
                  "first-2"
                ]
              ],
              "statuses": {
                "first": "IDLE",
                "second": "IDLE"
              },
              "workers": [
                {
                  "error": {
                    "column_name": null,
                    "constraint_name": null,
                    "context": "while updating tuple (0,1) in relation \"locks\"",
                    "datatype_name": null,
                    "exception_type": "DeadlockDetected",
                    "internal_position": null,
                    "internal_query": null,
                    "message_detail": "Process 28889 waits for ShareLock on transaction 755; blocked by process 28888.\nProcess 28888 waits for ShareLock on transaction 756; blocked by process 28889.",
                    "message_hint": "See server log for query details.",
                    "message_primary": "deadlock detected",
                    "schema_name": null,
                    "severity": "ERROR",
                    "severity_nonlocalized": "ERROR",
                    "source_file": "deadlock.c",
                    "source_function": "DeadLockReport",
                    "source_line": "1138",
                    "sqlstate": "40P01",
                    "statement_position": null,
                    "table_name": null,
                    "text": "deadlock detected\nDETAIL:  Process 28889 waits for ShareLock on transaction 755; blocked by process 28888.\nProcess 28888 waits for ShareLock on transaction 756; blocked by process 28889.\nHINT:  See server log for query details.\nCONTEXT:  while updating tuple (0,1) in relation \"locks\""
                  },
                  "name": "second",
                  "status": "INERROR"
                },
                {
                  "name": "first",
                  "status": "INTRANS",
                  "success": true
                }
              ]
            },
            "schema": "c40p01_two_session_lock_cycle",
            "status": "passed"
          }
        ]
      }
    },
    {
      "cases": [
        "two_session_lock_cycle"
      ],
      "id": "runtime.40P01-registry-final-20260909.pg10",
      "image": "postgres@sha256:b2baf8998630663d21370da06387c950e587071bdd307ee34e661cdcc7442bcc",
      "observed": {
        "lock_wait": {
          "wait_event": "transactionid",
          "wait_event_type": "Lock"
        },
        "synchronization": "Both workers first held one row lock; a barrier then released the two cross-row requests, while an independent observer sampled the transactionid lock waits. The observer did not release the requests.",
        "retry": {
          "rows": [
            [
              1,
              "retry-1"
            ],
            [
              2,
              "retry-2"
            ]
          ],
          "status": "IDLE"
        },
        "rows_before_retry": [
          [
            1,
            "second-1"
          ],
          [
            2,
            "second-2"
          ]
        ],
        "statuses": {
          "survivor": "IDLE",
          "victim_after_error": "INERROR",
          "victim_after_rollback": "IDLE"
        },
        "victim": {
          "message_hint": "See server log for query details.",
          "message_primary": "deadlock detected",
          "severity": "ERROR",
          "source_file": "deadlock.c",
          "source_function": "DeadLockReport",
          "source_line": "1146",
          "sqlstate": "40P01",
          "worker": "first"
        }
      },
      "raw_sha256": "33e4c878282a503d074da04aaceb11f0aa5d0a245cac601562a5ea847cd45f63",
      "run_id": "40P01-registry-final-20260909",
      "server_version": "10.21 (Debian 10.21-1.pgdg90+1)",
      "server_version_num": 100021,
      "snippet_registry": {
        "sha256": "71a3377497dc2c1ba5b71c9ba81f71fc3cff975fcd245613ba2ddb82857c0591"
      },
      "status": "passed",
      "summary_sha256": "ff489619acc2047333c05a4d565a0ad4c993a762b8c4abca3fe684cd8928cf0c",
      "target": "pg10",
      "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": [
              {
                "expected": true,
                "name": "barrier released both requests",
                "observed": true,
                "passed": true
              },
              {
                "expected": "one 40P01 victim",
                "name": "deadlock victim sqlstate",
                "observed": [
                  {
                    "error": {
                      "column_name": null,
                      "constraint_name": null,
                      "context": "while updating tuple (0,2) in relation \"locks\"",
                      "datatype_name": null,
                      "exception_type": "DeadlockDetected",
                      "internal_position": null,
                      "internal_query": null,
                      "message_detail": "Process 82 waits for ShareLock on transaction 560; blocked by process 83.\nProcess 83 waits for ShareLock on transaction 559; blocked by process 82.",
                      "message_hint": "See server log for query details.",
                      "message_primary": "deadlock detected",
                      "schema_name": null,
                      "severity": "ERROR",
                      "severity_nonlocalized": "ERROR",
                      "source_file": "deadlock.c",
                      "source_function": "DeadLockReport",
                      "source_line": "1146",
                      "sqlstate": "40P01",
                      "statement_position": null,
                      "table_name": null,
                      "text": "deadlock detected\nDETAIL:  Process 82 waits for ShareLock on transaction 560; blocked by process 83.\nProcess 83 waits for ShareLock on transaction 559; blocked by process 82.\nHINT:  See server log for query details.\nCONTEXT:  while updating tuple (0,2) in relation \"locks\""
                    },
                    "name": "first",
                    "status": "INERROR"
                  },
                  {
                    "name": "second",
                    "status": "INTRANS",
                    "success": true
                  }
                ],
                "passed": true
              },
              {
                "expected": "deadlock detected",
                "name": "deadlock message",
                "observed": "deadlock detected",
                "passed": true
              },
              {
                "expected": "one survivor at IDLE",
                "name": "survivor completes",
                "observed": {
                  "results": [
                    {
                      "error": {
                        "column_name": null,
                        "constraint_name": null,
                        "context": "while updating tuple (0,2) in relation \"locks\"",
                        "datatype_name": null,
                        "exception_type": "DeadlockDetected",
                        "internal_position": null,
                        "internal_query": null,
                        "message_detail": "Process 82 waits for ShareLock on transaction 560; blocked by process 83.\nProcess 83 waits for ShareLock on transaction 559; blocked by process 82.",
                        "message_hint": "See server log for query details.",
                        "message_primary": "deadlock detected",
                        "schema_name": null,
                        "severity": "ERROR",
                        "severity_nonlocalized": "ERROR",
                        "source_file": "deadlock.c",
                        "source_function": "DeadLockReport",
                        "source_line": "1146",
                        "sqlstate": "40P01",
                        "statement_position": null,
                        "table_name": null,
                        "text": "deadlock detected\nDETAIL:  Process 82 waits for ShareLock on transaction 560; blocked by process 83.\nProcess 83 waits for ShareLock on transaction 559; blocked by process 82.\nHINT:  See server log for query details.\nCONTEXT:  while updating tuple (0,2) in relation \"locks\""
                      },
                      "name": "first",
                      "status": "INERROR"
                    },
                    {
                      "name": "second",
                      "status": "INTRANS",
                      "success": true
                    }
                  ],
                  "statuses": {
                    "first": "IDLE",
                    "second": "IDLE"
                  }
                },
                "passed": true
              },
              {
                "expected": "one coherent survivor transaction",
                "name": "one update per row remains",
                "observed": [
                  [
                    1,
                    "second-1"
                  ],
                  [
                    2,
                    "second-2"
                  ]
                ],
                "passed": true
              },
              {
                "expected": "a Lock wait sample",
                "name": "lock ordering is observable",
                "observed": [
                  {
                    "pid": 82,
                    "query": "SELECT pg_backend_pid()",
                    "state": "idle in transaction",
                    "wait_event": "ClientRead",
                    "wait_event_type": "Client"
                  },
                  {
                    "pid": 83,
                    "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'second-1' WHERE id = 1",
                    "state": "active",
                    "wait_event": "transactionid",
                    "wait_event_type": "Lock"
                  },
                  {
                    "pid": 82,
                    "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'first-2' WHERE id = 2",
                    "state": "active",
                    "wait_event": "transactionid",
                    "wait_event_type": "Lock"
                  },
                  {
                    "pid": 83,
                    "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'second-1' WHERE id = 1",
                    "state": "active",
                    "wait_event": "transactionid",
                    "wait_event_type": "Lock"
                  },
                  {
                    "pid": 82,
                    "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'first-2' WHERE id = 2",
                    "state": "active",
                    "wait_event": "transactionid",
                    "wait_event_type": "Lock"
                  },
                  {
                    "pid": 83,
                    "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'second-1' WHERE id = 1",
                    "state": "active",
                    "wait_event": "transactionid",
                    "wait_event_type": "Lock"
                  },
                  {
                    "pid": 82,
                    "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'first-2' WHERE id = 2",
                    "state": "active",
                    "wait_event": "transactionid",
                    "wait_event_type": "Lock"
                  },
                  {
                    "pid": 83,
                    "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'second-1' WHERE id = 1",
                    "state": "active",
                    "wait_event": "transactionid",
                    "wait_event_type": "Lock"
                  },
                  {
                    "pid": 82,
                    "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'first-2' WHERE id = 2",
                    "state": "active",
                    "wait_event": "transactionid",
                    "wait_event_type": "Lock"
                  },
                  {
                    "pid": 83,
                    "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'second-1' WHERE id = 1",
                    "state": "active",
                    "wait_event": "transactionid",
                    "wait_event_type": "Lock"
                  }
                ],
                "passed": true
              },
              {
                "expected": "ordered retry rows and IDLE",
                "name": "complete retry commits in order",
                "observed": {
                  "rows": [
                    [
                      1,
                      "retry-1"
                    ],
                    [
                      2,
                      "retry-2"
                    ]
                  ],
                  "status": "IDLE"
                },
                "passed": true
              }
            ],
            "case_id": "two_session_lock_cycle",
            "cleanup": {
              "errors": [],
              "passed": true
            },
            "elapsed_seconds": 0.163,
            "observed": {
              "activity_samples": [
                {
                  "pid": 82,
                  "query": "SELECT pg_backend_pid()",
                  "state": "idle in transaction",
                  "wait_event": "ClientRead",
                  "wait_event_type": "Client"
                },
                {
                  "pid": 83,
                  "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'second-1' WHERE id = 1",
                  "state": "active",
                  "wait_event": "transactionid",
                  "wait_event_type": "Lock"
                },
                {
                  "pid": 82,
                  "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'first-2' WHERE id = 2",
                  "state": "active",
                  "wait_event": "transactionid",
                  "wait_event_type": "Lock"
                },
                {
                  "pid": 83,
                  "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'second-1' WHERE id = 1",
                  "state": "active",
                  "wait_event": "transactionid",
                  "wait_event_type": "Lock"
                },
                {
                  "pid": 82,
                  "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'first-2' WHERE id = 2",
                  "state": "active",
                  "wait_event": "transactionid",
                  "wait_event_type": "Lock"
                },
                {
                  "pid": 83,
                  "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'second-1' WHERE id = 1",
                  "state": "active",
                  "wait_event": "transactionid",
                  "wait_event_type": "Lock"
                },
                {
                  "pid": 82,
                  "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'first-2' WHERE id = 2",
                  "state": "active",
                  "wait_event": "transactionid",
                  "wait_event_type": "Lock"
                },
                {
                  "pid": 83,
                  "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'second-1' WHERE id = 1",
                  "state": "active",
                  "wait_event": "transactionid",
                  "wait_event_type": "Lock"
                },
                {
                  "pid": 82,
                  "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'first-2' WHERE id = 2",
                  "state": "active",
                  "wait_event": "transactionid",
                  "wait_event_type": "Lock"
                },
                {
                  "pid": 83,
                  "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'second-1' WHERE id = 1",
                  "state": "active",
                  "wait_event": "transactionid",
                  "wait_event_type": "Lock"
                }
              ],
              "retry": {
                "rows": [
                  [
                    1,
                    "retry-1"
                  ],
                  [
                    2,
                    "retry-2"
                  ]
                ],
                "status": "IDLE"
              },
              "rows_before_retry": [
                [
                  1,
                  "second-1"
                ],
                [
                  2,
                  "second-2"
                ]
              ],
              "statuses": {
                "first": "IDLE",
                "second": "IDLE"
              },
              "workers": [
                {
                  "error": {
                    "column_name": null,
                    "constraint_name": null,
                    "context": "while updating tuple (0,2) in relation \"locks\"",
                    "datatype_name": null,
                    "exception_type": "DeadlockDetected",
                    "internal_position": null,
                    "internal_query": null,
                    "message_detail": "Process 82 waits for ShareLock on transaction 560; blocked by process 83.\nProcess 83 waits for ShareLock on transaction 559; blocked by process 82.",
                    "message_hint": "See server log for query details.",
                    "message_primary": "deadlock detected",
                    "schema_name": null,
                    "severity": "ERROR",
                    "severity_nonlocalized": "ERROR",
                    "source_file": "deadlock.c",
                    "source_function": "DeadLockReport",
                    "source_line": "1146",
                    "sqlstate": "40P01",
                    "statement_position": null,
                    "table_name": null,
                    "text": "deadlock detected\nDETAIL:  Process 82 waits for ShareLock on transaction 560; blocked by process 83.\nProcess 83 waits for ShareLock on transaction 559; blocked by process 82.\nHINT:  See server log for query details.\nCONTEXT:  while updating tuple (0,2) in relation \"locks\""
                  },
                  "name": "first",
                  "status": "INERROR"
                },
                {
                  "name": "second",
                  "status": "INTRANS",
                  "success": true
                }
              ]
            },
            "schema": "c40p01_two_session_lock_cycle",
            "status": "passed"
          }
        ]
      }
    },
    {
      "cases": [
        "two_session_lock_cycle"
      ],
      "id": "runtime.40P01-manual-boundary-final-20260909.latest",
      "limits": "This run proves the registry BEGIN/COMMIT/ROLLBACK statements for both lock-cycle sessions and the ordered retry execute with autocommit=True; worker synchronization still uses barriers and observed lock waits.",
      "observed": {
        "connections_autocommit": {
          "first": true,
          "retry": true,
          "second": true
        },
        "retry": {
          "rows": [
            [
              1,
              "retry-1"
            ],
            [
              2,
              "retry-2"
            ]
          ],
          "status": "IDLE"
        },
        "transaction_control": "Registry BEGIN/COMMIT/ROLLBACK statements run with autocommit=True; no driver implicit BEGIN participates."
      },
      "raw_sha256": "562a80715a6dcaf4f14d99c54001799e05c3c52353d9e836ab88039f47ce2cb5",
      "run_id": "40P01-manual-boundary-final-20260909",
      "server_version": "18.6 (Homebrew)",
      "server_version_num": 180006,
      "snippet_registry": {
        "sha256": "71a3377497dc2c1ba5b71c9ba81f71fc3cff975fcd245613ba2ddb82857c0591"
      },
      "status": "passed",
      "summary_sha256": "4d5b1401badd66f6b1c33040d7bbbcfbc68ac611c3a7f508cb29a57bc2d95594",
      "target": "latest",
      "result": {
        "status": "passed",
        "environment": {
          "TimeZone": "Asia/Shanghai",
          "backend_pid": 8653,
          "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": [
              {
                "expected": true,
                "name": "barrier released both requests",
                "observed": true,
                "passed": true
              },
              {
                "expected": "one 40P01 victim",
                "name": "deadlock victim sqlstate",
                "observed": [
                  {
                    "error": {
                      "column_name": null,
                      "constraint_name": null,
                      "context": "while updating tuple (0,2) in relation \"locks\"",
                      "datatype_name": null,
                      "exception_type": "DeadlockDetected",
                      "internal_position": null,
                      "internal_query": null,
                      "message_detail": "Process 8658 waits for ShareLock on transaction 756; blocked by process 8659.\nProcess 8659 waits for ShareLock on transaction 755; blocked by process 8658.",
                      "message_hint": "See server log for query details.",
                      "message_primary": "deadlock detected",
                      "schema_name": null,
                      "severity": "ERROR",
                      "severity_nonlocalized": "ERROR",
                      "source_file": "deadlock.c",
                      "source_function": "DeadLockReport",
                      "source_line": "1138",
                      "sqlstate": "40P01",
                      "statement_position": null,
                      "table_name": null,
                      "text": "deadlock detected\nDETAIL:  Process 8658 waits for ShareLock on transaction 756; blocked by process 8659.\nProcess 8659 waits for ShareLock on transaction 755; blocked by process 8658.\nHINT:  See server log for query details.\nCONTEXT:  while updating tuple (0,2) in relation \"locks\""
                    },
                    "name": "first",
                    "status": "INERROR"
                  },
                  {
                    "name": "second",
                    "status": "INTRANS",
                    "success": true
                  }
                ],
                "passed": true
              },
              {
                "expected": "deadlock detected",
                "name": "deadlock message",
                "observed": "deadlock detected",
                "passed": true
              },
              {
                "expected": "one survivor at IDLE",
                "name": "survivor completes",
                "observed": {
                  "results": [
                    {
                      "error": {
                        "column_name": null,
                        "constraint_name": null,
                        "context": "while updating tuple (0,2) in relation \"locks\"",
                        "datatype_name": null,
                        "exception_type": "DeadlockDetected",
                        "internal_position": null,
                        "internal_query": null,
                        "message_detail": "Process 8658 waits for ShareLock on transaction 756; blocked by process 8659.\nProcess 8659 waits for ShareLock on transaction 755; blocked by process 8658.",
                        "message_hint": "See server log for query details.",
                        "message_primary": "deadlock detected",
                        "schema_name": null,
                        "severity": "ERROR",
                        "severity_nonlocalized": "ERROR",
                        "source_file": "deadlock.c",
                        "source_function": "DeadLockReport",
                        "source_line": "1138",
                        "sqlstate": "40P01",
                        "statement_position": null,
                        "table_name": null,
                        "text": "deadlock detected\nDETAIL:  Process 8658 waits for ShareLock on transaction 756; blocked by process 8659.\nProcess 8659 waits for ShareLock on transaction 755; blocked by process 8658.\nHINT:  See server log for query details.\nCONTEXT:  while updating tuple (0,2) in relation \"locks\""
                      },
                      "name": "first",
                      "status": "INERROR"
                    },
                    {
                      "name": "second",
                      "status": "INTRANS",
                      "success": true
                    }
                  ],
                  "statuses": {
                    "first": "IDLE",
                    "second": "IDLE"
                  }
                },
                "passed": true
              },
              {
                "expected": "one coherent survivor transaction",
                "name": "one update per row remains",
                "observed": [
                  [
                    1,
                    "second-1"
                  ],
                  [
                    2,
                    "second-2"
                  ]
                ],
                "passed": true
              },
              {
                "expected": "a Lock wait sample",
                "name": "lock ordering is observable",
                "observed": [
                  {
                    "pid": 8658,
                    "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'first-2' WHERE id = 2",
                    "state": "active",
                    "wait_event": "transactionid",
                    "wait_event_type": "Lock"
                  },
                  {
                    "pid": 8659,
                    "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'second-1' WHERE id = 1",
                    "state": "active",
                    "wait_event": "transactionid",
                    "wait_event_type": "Lock"
                  },
                  {
                    "pid": 8658,
                    "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'first-2' WHERE id = 2",
                    "state": "active",
                    "wait_event": "transactionid",
                    "wait_event_type": "Lock"
                  },
                  {
                    "pid": 8659,
                    "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'second-1' WHERE id = 1",
                    "state": "active",
                    "wait_event": "transactionid",
                    "wait_event_type": "Lock"
                  },
                  {
                    "pid": 8658,
                    "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'first-2' WHERE id = 2",
                    "state": "active",
                    "wait_event": "transactionid",
                    "wait_event_type": "Lock"
                  },
                  {
                    "pid": 8659,
                    "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'second-1' WHERE id = 1",
                    "state": "active",
                    "wait_event": "transactionid",
                    "wait_event_type": "Lock"
                  },
                  {
                    "pid": 8658,
                    "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'first-2' WHERE id = 2",
                    "state": "active",
                    "wait_event": "transactionid",
                    "wait_event_type": "Lock"
                  },
                  {
                    "pid": 8659,
                    "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'second-1' WHERE id = 1",
                    "state": "active",
                    "wait_event": "transactionid",
                    "wait_event_type": "Lock"
                  },
                  {
                    "pid": 8658,
                    "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'first-2' WHERE id = 2",
                    "state": "active",
                    "wait_event": "transactionid",
                    "wait_event_type": "Lock"
                  },
                  {
                    "pid": 8659,
                    "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'second-1' WHERE id = 1",
                    "state": "active",
                    "wait_event": "transactionid",
                    "wait_event_type": "Lock"
                  }
                ],
                "passed": true
              },
              {
                "expected": "ordered retry rows and IDLE",
                "name": "complete retry commits in order",
                "observed": {
                  "rows": [
                    [
                      1,
                      "retry-1"
                    ],
                    [
                      2,
                      "retry-2"
                    ]
                  ],
                  "status": "IDLE"
                },
                "passed": true
              }
            ],
            "case_id": "two_session_lock_cycle",
            "cleanup": {
              "errors": [],
              "passed": true
            },
            "elapsed_seconds": 0.148,
            "observed": {
              "activity_samples": [
                {
                  "pid": 8658,
                  "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'first-2' WHERE id = 2",
                  "state": "active",
                  "wait_event": "transactionid",
                  "wait_event_type": "Lock"
                },
                {
                  "pid": 8659,
                  "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'second-1' WHERE id = 1",
                  "state": "active",
                  "wait_event": "transactionid",
                  "wait_event_type": "Lock"
                },
                {
                  "pid": 8658,
                  "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'first-2' WHERE id = 2",
                  "state": "active",
                  "wait_event": "transactionid",
                  "wait_event_type": "Lock"
                },
                {
                  "pid": 8659,
                  "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'second-1' WHERE id = 1",
                  "state": "active",
                  "wait_event": "transactionid",
                  "wait_event_type": "Lock"
                },
                {
                  "pid": 8658,
                  "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'first-2' WHERE id = 2",
                  "state": "active",
                  "wait_event": "transactionid",
                  "wait_event_type": "Lock"
                },
                {
                  "pid": 8659,
                  "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'second-1' WHERE id = 1",
                  "state": "active",
                  "wait_event": "transactionid",
                  "wait_event_type": "Lock"
                },
                {
                  "pid": 8658,
                  "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'first-2' WHERE id = 2",
                  "state": "active",
                  "wait_event": "transactionid",
                  "wait_event_type": "Lock"
                },
                {
                  "pid": 8659,
                  "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'second-1' WHERE id = 1",
                  "state": "active",
                  "wait_event": "transactionid",
                  "wait_event_type": "Lock"
                },
                {
                  "pid": 8658,
                  "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'first-2' WHERE id = 2",
                  "state": "active",
                  "wait_event": "transactionid",
                  "wait_event_type": "Lock"
                },
                {
                  "pid": 8659,
                  "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'second-1' WHERE id = 1",
                  "state": "active",
                  "wait_event": "transactionid",
                  "wait_event_type": "Lock"
                }
              ],
              "connections_autocommit": {
                "first": true,
                "retry": true,
                "second": true
              },
              "retry": {
                "rows": [
                  [
                    1,
                    "retry-1"
                  ],
                  [
                    2,
                    "retry-2"
                  ]
                ],
                "status": "IDLE"
              },
              "rows_before_retry": [
                [
                  1,
                  "second-1"
                ],
                [
                  2,
                  "second-2"
                ]
              ],
              "statuses": {
                "first": "IDLE",
                "second": "IDLE"
              },
              "transaction_control": "Registry BEGIN/COMMIT/ROLLBACK statements run with autocommit=True; no driver implicit BEGIN participates.",
              "workers": [
                {
                  "error": {
                    "column_name": null,
                    "constraint_name": null,
                    "context": "while updating tuple (0,2) in relation \"locks\"",
                    "datatype_name": null,
                    "exception_type": "DeadlockDetected",
                    "internal_position": null,
                    "internal_query": null,
                    "message_detail": "Process 8658 waits for ShareLock on transaction 756; blocked by process 8659.\nProcess 8659 waits for ShareLock on transaction 755; blocked by process 8658.",
                    "message_hint": "See server log for query details.",
                    "message_primary": "deadlock detected",
                    "schema_name": null,
                    "severity": "ERROR",
                    "severity_nonlocalized": "ERROR",
                    "source_file": "deadlock.c",
                    "source_function": "DeadLockReport",
                    "source_line": "1138",
                    "sqlstate": "40P01",
                    "statement_position": null,
                    "table_name": null,
                    "text": "deadlock detected\nDETAIL:  Process 8658 waits for ShareLock on transaction 756; blocked by process 8659.\nProcess 8659 waits for ShareLock on transaction 755; blocked by process 8658.\nHINT:  See server log for query details.\nCONTEXT:  while updating tuple (0,2) in relation \"locks\""
                  },
                  "name": "first",
                  "status": "INERROR"
                },
                {
                  "name": "second",
                  "status": "INTRANS",
                  "success": true
                }
              ]
            },
            "schema": "c40p01_two_session_lock_cycle",
            "status": "passed"
          }
        ]
      }
    },
    {
      "cases": [
        "two_session_lock_cycle"
      ],
      "id": "runtime.40P01-manual-boundary-final-20260909.pg10",
      "image": "postgres@sha256:b2baf8998630663d21370da06387c950e587071bdd307ee34e661cdcc7442bcc",
      "limits": "This run proves the registry BEGIN/COMMIT/ROLLBACK statements for both lock-cycle sessions and the ordered retry execute with autocommit=True; worker synchronization still uses barriers and observed lock waits.",
      "observed": {
        "connections_autocommit": {
          "first": true,
          "retry": true,
          "second": true
        },
        "retry": {
          "rows": [
            [
              1,
              "retry-1"
            ],
            [
              2,
              "retry-2"
            ]
          ],
          "status": "IDLE"
        },
        "transaction_control": "Registry BEGIN/COMMIT/ROLLBACK statements run with autocommit=True; no driver implicit BEGIN participates."
      },
      "raw_sha256": "c2789c19f9106cf34a49fbfa791fbe0e23706f87e8d8a133abfb360165aa8ee1",
      "run_id": "40P01-manual-boundary-final-20260909",
      "server_version": "10.21 (Debian 10.21-1.pgdg90+1)",
      "server_version_num": 100021,
      "snippet_registry": {
        "sha256": "71a3377497dc2c1ba5b71c9ba81f71fc3cff975fcd245613ba2ddb82857c0591"
      },
      "status": "passed",
      "summary_sha256": "1aca5e77935f4066898c72332cb16f06c16f56ccd00414349f21a746d46f6ed8",
      "target": "pg10",
      "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": [
              {
                "expected": true,
                "name": "barrier released both requests",
                "observed": true,
                "passed": true
              },
              {
                "expected": "one 40P01 victim",
                "name": "deadlock victim sqlstate",
                "observed": [
                  {
                    "error": {
                      "column_name": null,
                      "constraint_name": null,
                      "context": "while updating tuple (0,1) in relation \"locks\"",
                      "datatype_name": null,
                      "exception_type": "DeadlockDetected",
                      "internal_position": null,
                      "internal_query": null,
                      "message_detail": "Process 83 waits for ShareLock on transaction 559; blocked by process 82.\nProcess 82 waits for ShareLock on transaction 560; blocked by process 83.",
                      "message_hint": "See server log for query details.",
                      "message_primary": "deadlock detected",
                      "schema_name": null,
                      "severity": "ERROR",
                      "severity_nonlocalized": "ERROR",
                      "source_file": "deadlock.c",
                      "source_function": "DeadLockReport",
                      "source_line": "1146",
                      "sqlstate": "40P01",
                      "statement_position": null,
                      "table_name": null,
                      "text": "deadlock detected\nDETAIL:  Process 83 waits for ShareLock on transaction 559; blocked by process 82.\nProcess 82 waits for ShareLock on transaction 560; blocked by process 83.\nHINT:  See server log for query details.\nCONTEXT:  while updating tuple (0,1) in relation \"locks\""
                    },
                    "name": "second",
                    "status": "INERROR"
                  },
                  {
                    "name": "first",
                    "status": "INTRANS",
                    "success": true
                  }
                ],
                "passed": true
              },
              {
                "expected": "deadlock detected",
                "name": "deadlock message",
                "observed": "deadlock detected",
                "passed": true
              },
              {
                "expected": "one survivor at IDLE",
                "name": "survivor completes",
                "observed": {
                  "results": [
                    {
                      "error": {
                        "column_name": null,
                        "constraint_name": null,
                        "context": "while updating tuple (0,1) in relation \"locks\"",
                        "datatype_name": null,
                        "exception_type": "DeadlockDetected",
                        "internal_position": null,
                        "internal_query": null,
                        "message_detail": "Process 83 waits for ShareLock on transaction 559; blocked by process 82.\nProcess 82 waits for ShareLock on transaction 560; blocked by process 83.",
                        "message_hint": "See server log for query details.",
                        "message_primary": "deadlock detected",
                        "schema_name": null,
                        "severity": "ERROR",
                        "severity_nonlocalized": "ERROR",
                        "source_file": "deadlock.c",
                        "source_function": "DeadLockReport",
                        "source_line": "1146",
                        "sqlstate": "40P01",
                        "statement_position": null,
                        "table_name": null,
                        "text": "deadlock detected\nDETAIL:  Process 83 waits for ShareLock on transaction 559; blocked by process 82.\nProcess 82 waits for ShareLock on transaction 560; blocked by process 83.\nHINT:  See server log for query details.\nCONTEXT:  while updating tuple (0,1) in relation \"locks\""
                      },
                      "name": "second",
                      "status": "INERROR"
                    },
                    {
                      "name": "first",
                      "status": "INTRANS",
                      "success": true
                    }
                  ],
                  "statuses": {
                    "first": "IDLE",
                    "second": "IDLE"
                  }
                },
                "passed": true
              },
              {
                "expected": "one coherent survivor transaction",
                "name": "one update per row remains",
                "observed": [
                  [
                    1,
                    "first-1"
                  ],
                  [
                    2,
                    "first-2"
                  ]
                ],
                "passed": true
              },
              {
                "expected": "a Lock wait sample",
                "name": "lock ordering is observable",
                "observed": [
                  {
                    "pid": 82,
                    "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'first-2' WHERE id = 2",
                    "state": "active",
                    "wait_event": "transactionid",
                    "wait_event_type": "Lock"
                  },
                  {
                    "pid": 83,
                    "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'second-1' WHERE id = 1",
                    "state": "active",
                    "wait_event": "transactionid",
                    "wait_event_type": "Lock"
                  },
                  {
                    "pid": 82,
                    "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'first-2' WHERE id = 2",
                    "state": "active",
                    "wait_event": "transactionid",
                    "wait_event_type": "Lock"
                  },
                  {
                    "pid": 83,
                    "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'second-1' WHERE id = 1",
                    "state": "active",
                    "wait_event": "transactionid",
                    "wait_event_type": "Lock"
                  },
                  {
                    "pid": 82,
                    "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'first-2' WHERE id = 2",
                    "state": "active",
                    "wait_event": "transactionid",
                    "wait_event_type": "Lock"
                  },
                  {
                    "pid": 83,
                    "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'second-1' WHERE id = 1",
                    "state": "active",
                    "wait_event": "transactionid",
                    "wait_event_type": "Lock"
                  },
                  {
                    "pid": 82,
                    "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'first-2' WHERE id = 2",
                    "state": "active",
                    "wait_event": "transactionid",
                    "wait_event_type": "Lock"
                  },
                  {
                    "pid": 83,
                    "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'second-1' WHERE id = 1",
                    "state": "active",
                    "wait_event": "transactionid",
                    "wait_event_type": "Lock"
                  },
                  {
                    "pid": 82,
                    "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'first-2' WHERE id = 2",
                    "state": "active",
                    "wait_event": "transactionid",
                    "wait_event_type": "Lock"
                  },
                  {
                    "pid": 83,
                    "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'second-1' WHERE id = 1",
                    "state": "active",
                    "wait_event": "transactionid",
                    "wait_event_type": "Lock"
                  }
                ],
                "passed": true
              },
              {
                "expected": "ordered retry rows and IDLE",
                "name": "complete retry commits in order",
                "observed": {
                  "rows": [
                    [
                      1,
                      "retry-1"
                    ],
                    [
                      2,
                      "retry-2"
                    ]
                  ],
                  "status": "IDLE"
                },
                "passed": true
              }
            ],
            "case_id": "two_session_lock_cycle",
            "cleanup": {
              "errors": [],
              "passed": true
            },
            "elapsed_seconds": 0.149,
            "observed": {
              "activity_samples": [
                {
                  "pid": 82,
                  "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'first-2' WHERE id = 2",
                  "state": "active",
                  "wait_event": "transactionid",
                  "wait_event_type": "Lock"
                },
                {
                  "pid": 83,
                  "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'second-1' WHERE id = 1",
                  "state": "active",
                  "wait_event": "transactionid",
                  "wait_event_type": "Lock"
                },
                {
                  "pid": 82,
                  "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'first-2' WHERE id = 2",
                  "state": "active",
                  "wait_event": "transactionid",
                  "wait_event_type": "Lock"
                },
                {
                  "pid": 83,
                  "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'second-1' WHERE id = 1",
                  "state": "active",
                  "wait_event": "transactionid",
                  "wait_event_type": "Lock"
                },
                {
                  "pid": 82,
                  "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'first-2' WHERE id = 2",
                  "state": "active",
                  "wait_event": "transactionid",
                  "wait_event_type": "Lock"
                },
                {
                  "pid": 83,
                  "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'second-1' WHERE id = 1",
                  "state": "active",
                  "wait_event": "transactionid",
                  "wait_event_type": "Lock"
                },
                {
                  "pid": 82,
                  "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'first-2' WHERE id = 2",
                  "state": "active",
                  "wait_event": "transactionid",
                  "wait_event_type": "Lock"
                },
                {
                  "pid": 83,
                  "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'second-1' WHERE id = 1",
                  "state": "active",
                  "wait_event": "transactionid",
                  "wait_event_type": "Lock"
                },
                {
                  "pid": 82,
                  "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'first-2' WHERE id = 2",
                  "state": "active",
                  "wait_event": "transactionid",
                  "wait_event_type": "Lock"
                },
                {
                  "pid": 83,
                  "query": "UPDATE \"c40p01_two_session_lock_cycle\".\"locks\" SET marker = 'second-1' WHERE id = 1",
                  "state": "active",
                  "wait_event": "transactionid",
                  "wait_event_type": "Lock"
                }
              ],
              "connections_autocommit": {
                "first": true,
                "retry": true,
                "second": true
              },
              "retry": {
                "rows": [
                  [
                    1,
                    "retry-1"
                  ],
                  [
                    2,
                    "retry-2"
                  ]
                ],
                "status": "IDLE"
              },
              "rows_before_retry": [
                [
                  1,
                  "first-1"
                ],
                [
                  2,
                  "first-2"
                ]
              ],
              "statuses": {
                "first": "IDLE",
                "second": "IDLE"
              },
              "transaction_control": "Registry BEGIN/COMMIT/ROLLBACK statements run with autocommit=True; no driver implicit BEGIN participates.",
              "workers": [
                {
                  "error": {
                    "column_name": null,
                    "constraint_name": null,
                    "context": "while updating tuple (0,1) in relation \"locks\"",
                    "datatype_name": null,
                    "exception_type": "DeadlockDetected",
                    "internal_position": null,
                    "internal_query": null,
                    "message_detail": "Process 83 waits for ShareLock on transaction 559; blocked by process 82.\nProcess 82 waits for ShareLock on transaction 560; blocked by process 83.",
                    "message_hint": "See server log for query details.",
                    "message_primary": "deadlock detected",
                    "schema_name": null,
                    "severity": "ERROR",
                    "severity_nonlocalized": "ERROR",
                    "source_file": "deadlock.c",
                    "source_function": "DeadLockReport",
                    "source_line": "1146",
                    "sqlstate": "40P01",
                    "statement_position": null,
                    "table_name": null,
                    "text": "deadlock detected\nDETAIL:  Process 83 waits for ShareLock on transaction 559; blocked by process 82.\nProcess 82 waits for ShareLock on transaction 560; blocked by process 83.\nHINT:  See server log for query details.\nCONTEXT:  while updating tuple (0,1) in relation \"locks\""
                  },
                  "name": "second",
                  "status": "INERROR"
                },
                {
                  "name": "first",
                  "status": "INTRANS",
                  "success": true
                }
              ]
            },
            "schema": "c40p01_two_session_lock_cycle",
            "status": "passed"
          }
        ]
      }
    }
  ]
}