{
  "cases": [
    {
      "a": 3,
      "b": 3,
      "case": "equal",
      "guardedRelation": "equal",
      "jbd2_gt_ab": 0,
      "jbd2_gt_ba": 0,
      "pg_normal_before_ab": 0,
      "pg_normal_before_ba": 0
    },
    {
      "a": 3,
      "b": 4,
      "case": "adjacent",
      "guardedRelation": "older",
      "jbd2_gt_ab": 0,
      "jbd2_gt_ba": 1,
      "pg_normal_before_ab": 1,
      "pg_normal_before_ba": 0
    },
    {
      "a": 4294967294,
      "b": 3,
      "case": "across wrap",
      "guardedRelation": "older",
      "jbd2_gt_ab": 0,
      "jbd2_gt_ba": 1,
      "pg_normal_before_ab": 1,
      "pg_normal_before_ba": 0
    },
    {
      "a": 3,
      "b": 2147483650,
      "case": "just below half",
      "guardedRelation": "older",
      "jbd2_gt_ab": 0,
      "jbd2_gt_ba": 1,
      "pg_normal_before_ab": 1,
      "pg_normal_before_ba": 0
    },
    {
      "a": 3,
      "b": 2147483651,
      "case": "exactly half",
      "guardedRelation": "ambiguous",
      "jbd2_gt_ab": 0,
      "jbd2_gt_ba": 0,
      "pg_normal_before_ab": 1,
      "pg_normal_before_ba": 1
    },
    {
      "a": 3,
      "b": 2147483652,
      "case": "beyond half",
      "guardedRelation": "newer",
      "jbd2_gt_ab": 1,
      "jbd2_gt_ba": 0,
      "pg_normal_before_ab": 0,
      "pg_normal_before_ba": 1
    },
    {
      "a": 3,
      "b": 1431655768,
      "case": "cycle edge 1",
      "guardedRelation": "older",
      "jbd2_gt_ab": 0,
      "jbd2_gt_ba": 1,
      "pg_normal_before_ab": 1,
      "pg_normal_before_ba": 0
    },
    {
      "a": 1431655768,
      "b": 2863311533,
      "case": "cycle edge 2",
      "guardedRelation": "older",
      "jbd2_gt_ab": 0,
      "jbd2_gt_ba": 1,
      "pg_normal_before_ab": 1,
      "pg_normal_before_ba": 0
    },
    {
      "a": 2863311533,
      "b": 3,
      "case": "cycle edge 3",
      "guardedRelation": "older",
      "jbd2_gt_ab": 0,
      "jbd2_gt_ba": 1,
      "pg_normal_before_ab": 1,
      "pg_normal_before_ba": 0
    }
  ],
  "environment": {
    "compiler": "cc (Ubuntu 13.3.0-6ubuntu2~24.04.1) 13.3.0",
    "platform": "Linux-6.8.0-146-generic-x86_64-with-glibc2.39",
    "python": "3.12.3"
  },
  "evidenceType": "source-marker checks and isolated C expression execution",
  "generatedAt": "2026-10-18T19:37:41.048922+00:00",
  "harnessSha256": {
    "capture_serial_order.py": "b703dea85f14809ee523e1ce695bb616de4efca2328ac390ffc5fa7c646aa7ee",
    "serial_order.py": "c3f869f12496b61ac501a5ee5360ea31dd2b2ba64c44d3e8e221879a27c4037f",
    "serial_order_probe.c": "3d410dfa37037dd9218add800fad7519e6117881aaad27e72f37175efe21f571",
    "test_serial_order.py": "61abc8efd7365aec3e1f9a1211a39b0f9858dda2e1558c290b9cac92a0181b51"
  },
  "limits": [
    "Not linked against either project; only the documented normal-XID arithmetic branch is probed.",
    "Unsigned-to-signed conversion is implementation-defined in C11; results describe this compiler.",
    "No claim that real journal or database state reaches half-range inputs.",
    "RFC 1982 supplies a comparison model, not a storage-format specification."
  ],
  "sources": [
    {
      "bytes": 52243,
      "id": "linux-jbd2",
      "markersVerified": true,
      "sha256": "b695252b8160cbb195ea0aea39e20f84e56d3f1e707e4b783fde64e0808c5408",
      "url": "https://raw.githubusercontent.com/torvalds/linux/v6.16/include/linux/jbd2.h"
    },
    {
      "bytes": 11226,
      "id": "postgres-transam",
      "markersVerified": true,
      "sha256": "5de60485b0abecc694e7c9f8dd05db3278e15b572e35c145c3ef2cb39e7e067e",
      "url": "https://raw.githubusercontent.com/postgres/postgres/REL_18_0/src/backend/access/transam/transam.c"
    },
    {
      "bytes": 14271,
      "id": "postgres-header",
      "markersVerified": true,
      "sha256": "90dd3fbedc94f906eb8e7b502aac2c979c5268184c3213fc83025976c2dc6a6a",
      "url": "https://raw.githubusercontent.com/postgres/postgres/REL_18_0/src/include/access/transam.h"
    }
  ]
}