{
  "schema": "cdf.workflow-repair-proof.v1",
  "checked_at": "2026-09-28T01:19:33.777Z",
  "type": "original_synthetic_engineering_fixture",
  "checks": [
    {
      "name": "baseline reproduces wrong-record and duplicate-write defects",
      "pass": true
    },
    {
      "name": "wrong subject rejected before write",
      "pass": true
    },
    {
      "name": "bad signature rejected",
      "pass": true
    },
    {
      "name": "unknown tenant rejected",
      "pass": true
    },
    {
      "name": "malformed JSON rejected",
      "pass": true
    },
    {
      "name": "unexpected fields rejected",
      "pass": true
    },
    {
      "name": "committed write survives lost acknowledgement",
      "pass": true
    },
    {
      "name": "retry returns persisted result without second write",
      "pass": true
    },
    {
      "name": "same key different payload conflicts",
      "pass": true
    },
    {
      "name": "same key isolated by tenant",
      "pass": true
    },
    {
      "name": "database reopen preserves replay",
      "pass": true
    },
    {
      "name": "20 concurrent deliveries produce one committed row",
      "pass": true
    },
    {
      "name": "JSON field ordering does not break replay",
      "pass": true
    },
    {
      "name": "new non-bundled subject produces exact persisted record",
      "pass": true
    },
    {
      "name": "delivered file bytes independently match database rows",
      "pass": true
    }
  ],
  "boundary": "Local synthetic HTTP workflow and SQLite storage, not client work, payment, an agent reasoning benchmark, or proof of arbitrary provider exactly-once behavior. Real external side effects require provider idempotency or reconciliation.",
  "artifact_hashes": {
    "source": "68eb3000866a062977974b43737e0982fdb70ec54f657b4e5c3230110e2509b0",
    "test": "a67f95bdd5c829ff8e340a2d7ecb254de388053335a373c2415ecf614fa5ac2e"
  },
  "customer_results": false,
  "customer_data": false
}