{
  "product": "DeleteRail",
  "recorded_at": "2026-10-23T11:59:54.708Z",
  "environment": "Fresh disposable PostgreSQL 15; private Unix socket; synthetic records only; stopped after testing",
  "base_commit": "31a28612a808e9ddd2805b597e6ba7df97b510b2",
  "corrected_adapter_sha256": "636ed6fe6d6ad1402ecc13dc21546a6865ff7040c28492519a143d1d1ec0ea1b",
  "integration_cases": [
    {
      "case": "withheld approval",
      "pass": true
    },
    {
      "case": "manifest preview",
      "pass": true
    },
    {
      "case": "real isolated PG execution and exact replay",
      "pass": true
    },
    {
      "case": "new-arrival suppression and Removed",
      "pass": true
    },
    {
      "case": "transaction rollback and incomplete retry hold",
      "pass": true
    },
    {
      "case": "no-op mutation denied by postcondition",
      "pass": true
    },
    {
      "case": "already absent zero affected rows",
      "pass": true
    },
    {
      "case": "malformed verifier rollback",
      "pass": true
    },
    {
      "case": "missing verifier fail closed",
      "pass": true
    },
    {
      "case": "whole batch rollback when second target remains",
      "pass": true
    },
    {
      "case": "opt-out unsupported fail closed",
      "pass": true
    }
  ],
  "runtime_checks": {
    "passed": 14,
    "total": 14
  },
  "sql_origin": "Agent-authored for the declared synthetic one-table schema; not generated by the existing factory",
  "boundary": [
    "No live consumer records or shared database",
    "No official DROP sandbox or production round trip",
    "No processor-side execution",
    "No payment or buyer acceptance",
    "Verifier SQL must be reviewed against every mapped resource; an incorrect verifier can misstate absence"
  ]
}