{
  "started": "2026-11-06T12:25:32.427Z",
  "dataset": "Two initial synthetic job_runs; controlled isolated PostgreSQL lab",
  "checks": [
    {
      "name": "ADD CHECK NOT VALID still waits for an open reader and can time out",
      "result": "PASS",
      "evidence": {
        "sqlstate": "55P03",
        "message": "canceling statement due to lock timeout",
        "lock_timeout": "200ms",
        "constraint_created": false
      }
    },
    {
      "name": "ADD CHECK NOT VALID holds ACCESS EXCLUSIVE until commit",
      "result": "PASS",
      "evidence": {
        "locks": [
          {
            "mode": "AccessExclusiveLock",
            "granted": true
          }
        ]
      }
    },
    {
      "name": "Old violating row remains after admission and convalidated is false",
      "result": "PASS",
      "evidence": {
        "row": {
          "id": "1",
          "duration_ms": -1,
          "label": "legacy"
        },
        "convalidated": false
      }
    },
    {
      "name": "New violating insert is rejected before validation",
      "result": "PASS",
      "evidence": {
        "sqlstate": "23514",
        "message": "new row for relation \"job_runs\" violates check constraint \"job_runs_duration_nonnegative\""
      }
    },
    {
      "name": "New valid insert succeeds before validation",
      "result": "PASS",
      "evidence": {
        "id": 3,
        "duration_ms": 30
      }
    },
    {
      "name": "Unrelated-column update of old violating row is rejected",
      "result": "PASS",
      "evidence": {
        "sqlstate": "23514",
        "message": "new row for relation \"job_runs\" violates check constraint \"job_runs_duration_nonnegative\""
      }
    },
    {
      "name": "Unrelated-column update of valid row succeeds",
      "result": "PASS",
      "evidence": {
        "id": 2,
        "label": "reviewed"
      }
    },
    {
      "name": "Validation fails while old violating data remains",
      "result": "PASS",
      "evidence": {
        "sqlstate": "23514",
        "message": "check constraint \"job_runs_duration_nonnegative\" of relation \"job_runs\" is violated by some row"
      }
    },
    {
      "name": "Failed validation leaves constraint unvalidated and new-write enforcement active",
      "result": "PASS",
      "evidence": {
        "convalidated": false,
        "new_write": {
          "sqlstate": "23514",
          "message": "new row for relation \"job_runs\" violates check constraint \"job_runs_duration_nonnegative\""
        }
      }
    },
    {
      "name": "Correcting old row succeeds and removes the violation",
      "result": "PASS",
      "evidence": {
        "id": 1,
        "duration_ms": 0,
        "label": "corrected"
      }
    },
    {
      "name": "Successful validation holds SHARE UPDATE EXCLUSIVE until commit",
      "result": "PASS",
      "evidence": {
        "locks": [
          {
            "mode": "ShareUpdateExclusiveLock",
            "granted": true
          }
        ]
      }
    },
    {
      "name": "SELECT INSERT and UPDATE work while validation table lock remains held",
      "result": "PASS",
      "evidence": {
        "timing": "Validation statement finished; its transaction and lock remained open. Not concurrent scan/load testing."
      }
    },
    {
      "name": "Validation succeeds after cleanup and convalidated becomes true",
      "result": "PASS",
      "evidence": {
        "convalidated": true
      }
    },
    {
      "name": "New violating writes still fail after successful validation",
      "result": "PASS",
      "evidence": {
        "sqlstate": "23514",
        "message": "new row for relation \"job_runs\" violates check constraint \"job_runs_duration_nonnegative\""
      }
    },
    {
      "name": "Separate NOT NULL constraint rejects NULL",
      "result": "PASS",
      "evidence": {
        "sqlstate": "23502",
        "message": "null value in column \"duration_ms\" of relation \"job_runs\" violates not-null constraint"
      }
    }
  ],
  "scope": "SQL behavior and controlled two-session schedules, not application integration, a Proofline review, throughput or outage measurements",
  "version": "PostgreSQL 18.1 on x86_64-apple-darwin23.6.0, compiled by Apple clang version 16.0.0 (clang-1600.0.26.6), 64-bit",
  "server_version": "18.1",
  "isolation": "read committed",
  "result": "PASS",
  "finished": "2026-11-06T12:34:53.565Z",
  "cleanup": "Client sessions closed; server stopped; temporary cluster removed"
}