{
  "schemaVersion": 1,
  "runId": "2026-10-20T06-48-57.873Z",
  "createdAt": "2026-10-20T06:49:00.022Z",
  "label": "Executed synthetic demonstration — not a customer case study",
  "runtime": {
    "engine": "n8n",
    "version": "2.43.8",
    "node": "v24.19.0",
    "operatingSystem": "darwin"
  },
  "scope": "Trusted, five-node synthetic workflows calling a local mock destination. No production credentials or external business actions.",
  "limitations": [
    "Mock receipts do not prove live CRM delivery, email deliverability or production reliability.",
    "The idempotency test depends on the destination honoring the key across two independent executions.",
    "The model-output scenario uses a malformed fixture, not a paid model call.",
    "This local harness is not a security sandbox for customer exports. Untrusted workflows are not accepted for execution.",
    "The fixed workflow is an engineered example, not evidence that AI can repair arbitrary workflows.",
    "Passing these eight assertions is not an exhaustive reliability or security assessment."
  ],
  "workflowBundleHash": "82866aa2333a0f4a37536f0cafd4ed77258b0b9e3a9611a09183bb4a0968e0e3",
  "importEvidence": {
    "file": "import.log",
    "sha256": "2f5a30c64051dcb01580518caec1b0c7a5d61bd193ad04dd74d91277739a3c9a"
  },
  "scenarios": [
    {
      "id": "C01",
      "title": "A normal lead arrives",
      "fault": "none",
      "inputs": [
        {
          "eventId": "evt-101",
          "customerId": "tenant-a",
          "email": "alex@example.test",
          "modelOutput": "{\"route\":\"sales\"}"
        }
      ],
      "executionsPerVariant": 1,
      "expected": "One committed record, preserving customer, event and email.",
      "severity": "baseline",
      "proposedFix": "Preserve the normal path while adding failure handling.",
      "before": {
        "status": "pass",
        "reason": "Recorded execution and destination evidence meet the stated assertion.",
        "observation": {
          "engineEvidenceComplete": true,
          "requests": [
            {
              "sequence": 1,
              "body": {
                "eventId": "evt-101",
                "customerId": "tenant-a",
                "email": "alex@example.test",
                "route": "sales"
              },
              "idempotencyKey": null,
              "responseStatus": 200,
              "responseBody": {
                "eventId": "evt-101",
                "customerId": "tenant-a",
                "email": "alex@example.test",
                "route": "sales",
                "id": "receipt-C01-1"
              }
            }
          ],
          "commits": [
            {
              "eventId": "evt-101",
              "customerId": "tenant-a",
              "email": "alex@example.test",
              "route": "sales",
              "id": "receipt-C01-1"
            }
          ],
          "results": [
            {
              "engineStarted": true,
              "timedOut": false,
              "executionStatus": "success",
              "error": null,
              "outputs": [
                {
                  "status": "delivered",
                  "receiptId": "receipt-C01-1",
                  "eventId": "evt-101",
                  "customerId": "tenant-a"
                }
              ],
              "durationMs": 1787
            }
          ]
        },
        "workflowSha256": "fd5bf789592ac4163fb0d397f29ad07a9b069a7f1ff13e97d55e2c98b6d7d125",
        "executionLogs": [
          {
            "file": "C01-before-1.log",
            "sha256": "ccc832e62d7fae602108195348f8782f9fd02e8e4892fc1079dbcfc48031013a"
          }
        ]
      },
      "after": {
        "status": "pass",
        "reason": "Recorded execution and destination evidence meet the stated assertion.",
        "observation": {
          "engineEvidenceComplete": true,
          "requests": [
            {
              "sequence": 1,
              "body": {
                "eventId": "evt-101",
                "customerId": "tenant-a",
                "email": "alex@example.test",
                "route": "sales"
              },
              "idempotencyKey": "tenant-a:evt-101",
              "responseStatus": 200,
              "responseBody": {
                "eventId": "evt-101",
                "customerId": "tenant-a",
                "email": "alex@example.test",
                "route": "sales",
                "id": "receipt-C01-1"
              }
            }
          ],
          "commits": [
            {
              "eventId": "evt-101",
              "customerId": "tenant-a",
              "email": "alex@example.test",
              "route": "sales",
              "id": "receipt-C01-1"
            }
          ],
          "results": [
            {
              "engineStarted": true,
              "timedOut": false,
              "executionStatus": "success",
              "error": null,
              "outputs": [
                {
                  "status": "delivered",
                  "receiptId": "receipt-C01-1",
                  "eventId": "evt-101",
                  "customerId": "tenant-a"
                }
              ],
              "durationMs": 1692
            }
          ]
        },
        "workflowSha256": "31ca8db346b12295bfca7111b36bf1dc72540ddcd171b7bf5d45afcc21ebaf7e",
        "executionLogs": [
          {
            "file": "C01-after-1.log",
            "sha256": "a82c42116d5ce854b753813ea37169d027d23824d9e395643b719f640f68deff"
          }
        ]
      }
    },
    {
      "id": "C02",
      "title": "The same event arrives twice",
      "fault": "none",
      "inputs": [
        {
          "eventId": "evt-101",
          "customerId": "tenant-a",
          "email": "alex@example.test",
          "modelOutput": "{\"route\":\"sales\"}"
        }
      ],
      "executionsPerVariant": 2,
      "expected": "Two independent workflow executions produce one committed record.",
      "severity": "high",
      "proposedFix": "Send a tenant-scoped event idempotency key to a destination that enforces it.",
      "before": {
        "status": "fail",
        "reason": "Recorded behavior violates the stated assertion.",
        "observation": {
          "engineEvidenceComplete": true,
          "requests": [
            {
              "sequence": 1,
              "body": {
                "eventId": "evt-101",
                "customerId": "tenant-a",
                "email": "alex@example.test",
                "route": "sales"
              },
              "idempotencyKey": null,
              "responseStatus": 200,
              "responseBody": {
                "eventId": "evt-101",
                "customerId": "tenant-a",
                "email": "alex@example.test",
                "route": "sales",
                "id": "receipt-C02-1"
              }
            },
            {
              "sequence": 2,
              "body": {
                "eventId": "evt-101",
                "customerId": "tenant-a",
                "email": "alex@example.test",
                "route": "sales"
              },
              "idempotencyKey": null,
              "responseStatus": 200,
              "responseBody": {
                "eventId": "evt-101",
                "customerId": "tenant-a",
                "email": "alex@example.test",
                "route": "sales",
                "id": "receipt-C02-2"
              }
            }
          ],
          "commits": [
            {
              "eventId": "evt-101",
              "customerId": "tenant-a",
              "email": "alex@example.test",
              "route": "sales",
              "id": "receipt-C02-1"
            },
            {
              "eventId": "evt-101",
              "customerId": "tenant-a",
              "email": "alex@example.test",
              "route": "sales",
              "id": "receipt-C02-2"
            }
          ],
          "results": [
            {
              "engineStarted": true,
              "timedOut": false,
              "executionStatus": "success",
              "error": null,
              "outputs": [
                {
                  "status": "delivered",
                  "receiptId": "receipt-C02-1",
                  "eventId": "evt-101",
                  "customerId": "tenant-a"
                }
              ],
              "durationMs": 2034
            },
            {
              "engineStarted": true,
              "timedOut": false,
              "executionStatus": "success",
              "error": null,
              "outputs": [
                {
                  "status": "delivered",
                  "receiptId": "receipt-C02-2",
                  "eventId": "evt-101",
                  "customerId": "tenant-a"
                }
              ],
              "durationMs": 1685
            }
          ]
        },
        "workflowSha256": "f75309a246c0ee8edc650b11a6931a85411308bb5f2fda6d0452f201098f93de",
        "executionLogs": [
          {
            "file": "C02-before-1.log",
            "sha256": "2626c542ee704c0d47a42fbe1d14964c9b6ec5f6e0b3f5c6b8671bdb8d3b1cea"
          },
          {
            "file": "C02-before-2.log",
            "sha256": "18d8f6e00966a659fd4340741e2dc016021aa81f2ff164b8347c8050b126ebed"
          }
        ]
      },
      "after": {
        "status": "pass",
        "reason": "Recorded execution and destination evidence meet the stated assertion.",
        "observation": {
          "engineEvidenceComplete": true,
          "requests": [
            {
              "sequence": 1,
              "body": {
                "eventId": "evt-101",
                "customerId": "tenant-a",
                "email": "alex@example.test",
                "route": "sales"
              },
              "idempotencyKey": "tenant-a:evt-101",
              "responseStatus": 200,
              "responseBody": {
                "eventId": "evt-101",
                "customerId": "tenant-a",
                "email": "alex@example.test",
                "route": "sales",
                "id": "receipt-C02-1"
              }
            },
            {
              "sequence": 2,
              "body": {
                "eventId": "evt-101",
                "customerId": "tenant-a",
                "email": "alex@example.test",
                "route": "sales"
              },
              "idempotencyKey": "tenant-a:evt-101",
              "responseStatus": 200,
              "responseBody": {
                "eventId": "evt-101",
                "customerId": "tenant-a",
                "email": "alex@example.test",
                "route": "sales",
                "id": "receipt-C02-1"
              }
            }
          ],
          "commits": [
            {
              "eventId": "evt-101",
              "customerId": "tenant-a",
              "email": "alex@example.test",
              "route": "sales",
              "id": "receipt-C02-1"
            }
          ],
          "results": [
            {
              "engineStarted": true,
              "timedOut": false,
              "executionStatus": "success",
              "error": null,
              "outputs": [
                {
                  "status": "delivered",
                  "receiptId": "receipt-C02-1",
                  "eventId": "evt-101",
                  "customerId": "tenant-a"
                }
              ],
              "durationMs": 1791
            },
            {
              "engineStarted": true,
              "timedOut": false,
              "executionStatus": "success",
              "error": null,
              "outputs": [
                {
                  "status": "delivered",
                  "receiptId": "receipt-C02-1",
                  "eventId": "evt-101",
                  "customerId": "tenant-a"
                }
              ],
              "durationMs": 1741
            }
          ]
        },
        "workflowSha256": "2fec3480d536ec3c72529fa71d812e913b0373c047b8db4ff9227db19a6cee4d",
        "executionLogs": [
          {
            "file": "C02-after-1.log",
            "sha256": "cd6eee59b2efe46dba08c04f289398a5c7f1b6233db73045dd2474f68a1a8646"
          },
          {
            "file": "C02-after-2.log",
            "sha256": "2906bde9b13893c1a63d1171bb3744fa3e1a314a10d2215a698a4e5c317ef8d9"
          }
        ]
      }
    },
    {
      "id": "C03",
      "title": "A required field is missing",
      "fault": "none",
      "inputs": [
        {
          "eventId": "evt-101",
          "customerId": "tenant-a",
          "email": "",
          "modelOutput": "{\"route\":\"sales\"}"
        }
      ],
      "executionsPerVariant": 1,
      "expected": "An explicit INPUT_INVALID error occurs before any HTTP request.",
      "severity": "high",
      "proposedFix": "Validate required identifiers and email before calling the destination.",
      "before": {
        "status": "fail",
        "reason": "Recorded behavior violates the stated assertion.",
        "observation": {
          "engineEvidenceComplete": true,
          "requests": [
            {
              "sequence": 1,
              "body": {
                "eventId": "evt-101",
                "customerId": "tenant-a",
                "email": "",
                "route": "sales"
              },
              "idempotencyKey": null,
              "responseStatus": 200,
              "responseBody": {
                "eventId": "evt-101",
                "customerId": "tenant-a",
                "email": "",
                "route": "sales",
                "id": "receipt-C03-1"
              }
            }
          ],
          "commits": [
            {
              "eventId": "evt-101",
              "customerId": "tenant-a",
              "email": "",
              "route": "sales",
              "id": "receipt-C03-1"
            }
          ],
          "results": [
            {
              "engineStarted": true,
              "timedOut": false,
              "executionStatus": "success",
              "error": null,
              "outputs": [
                {
                  "status": "delivered",
                  "receiptId": "receipt-C03-1",
                  "eventId": "evt-101",
                  "customerId": "tenant-a"
                }
              ],
              "durationMs": 1753
            }
          ]
        },
        "workflowSha256": "09d3c4ea1331d8a53e876ea026df30a492ec8565ebe1d6d6d5ab5720670092c6",
        "executionLogs": [
          {
            "file": "C03-before-1.log",
            "sha256": "cf93d232fafb0d3a29b784b2c4fe72b7a95e69ba97b4bb1fbcda57a7d977354c"
          }
        ]
      },
      "after": {
        "status": "pass",
        "reason": "Recorded execution and destination evidence meet the stated assertion.",
        "observation": {
          "engineEvidenceComplete": true,
          "requests": [],
          "commits": [],
          "results": [
            {
              "engineStarted": true,
              "timedOut": false,
              "executionStatus": "error",
              "error": "INPUT_INVALID: required event, customer or email missing [line 2]",
              "outputs": [],
              "durationMs": 1738
            }
          ]
        },
        "workflowSha256": "ec5801befa07cb6d214f33c4d94f631220f3b4eeade65492702698a4f1db2ff6",
        "executionLogs": [
          {
            "file": "C03-after-1.log",
            "sha256": "4751345d1c5c1123d8cc061e23b531b24245f00986934a5ba4148762db73a5e2"
          }
        ]
      }
    },
    {
      "id": "C04",
      "title": "The destination rate-limits a request",
      "fault": "429-once",
      "inputs": [
        {
          "eventId": "evt-101",
          "customerId": "tenant-a",
          "email": "alex@example.test",
          "modelOutput": "{\"route\":\"sales\"}"
        }
      ],
      "executionsPerVariant": 1,
      "expected": "Retry after a 429; two attempts produce exactly one committed record.",
      "severity": "high",
      "proposedFix": "Use bounded retries for transient failures with an idempotent destination.",
      "before": {
        "status": "fail",
        "reason": "Recorded behavior violates the stated assertion.",
        "observation": {
          "engineEvidenceComplete": true,
          "requests": [
            {
              "sequence": 1,
              "body": {
                "eventId": "evt-101",
                "customerId": "tenant-a",
                "email": "alex@example.test",
                "route": "sales"
              },
              "idempotencyKey": null,
              "responseStatus": 429,
              "responseBody": {
                "error": "synthetic_rate_limit"
              }
            }
          ],
          "commits": [],
          "results": [
            {
              "engineStarted": true,
              "timedOut": false,
              "executionStatus": "success",
              "error": null,
              "outputs": [
                {
                  "status": "delivered",
                  "receiptId": null,
                  "eventId": null,
                  "customerId": null
                }
              ],
              "durationMs": 1655
            }
          ]
        },
        "workflowSha256": "e09c8e5e2de49187bbc1754faf55bd00da35110aaecf1f722388e080ec005b1a",
        "executionLogs": [
          {
            "file": "C04-before-1.log",
            "sha256": "38fcf5a3da76bdccf3e79b8bf932e066c1fc62f76501f1a6ec0b69bd948ee8ac"
          }
        ]
      },
      "after": {
        "status": "pass",
        "reason": "Recorded execution and destination evidence meet the stated assertion.",
        "observation": {
          "engineEvidenceComplete": true,
          "requests": [
            {
              "sequence": 1,
              "body": {
                "eventId": "evt-101",
                "customerId": "tenant-a",
                "email": "alex@example.test",
                "route": "sales"
              },
              "idempotencyKey": "tenant-a:evt-101",
              "responseStatus": 429,
              "responseBody": {
                "error": "synthetic_rate_limit"
              }
            },
            {
              "sequence": 2,
              "body": {
                "eventId": "evt-101",
                "customerId": "tenant-a",
                "email": "alex@example.test",
                "route": "sales"
              },
              "idempotencyKey": "tenant-a:evt-101",
              "responseStatus": 200,
              "responseBody": {
                "eventId": "evt-101",
                "customerId": "tenant-a",
                "email": "alex@example.test",
                "route": "sales",
                "id": "receipt-C04-1"
              }
            }
          ],
          "commits": [
            {
              "eventId": "evt-101",
              "customerId": "tenant-a",
              "email": "alex@example.test",
              "route": "sales",
              "id": "receipt-C04-1"
            }
          ],
          "results": [
            {
              "engineStarted": true,
              "timedOut": false,
              "executionStatus": "success",
              "error": null,
              "outputs": [
                {
                  "status": "delivered",
                  "receiptId": "receipt-C04-1",
                  "eventId": "evt-101",
                  "customerId": "tenant-a"
                }
              ],
              "durationMs": 2745
            }
          ]
        },
        "workflowSha256": "c1c7a991a6212fb57d277349cef5836ed234c6c3e310f8178fabed75a9c11a72",
        "executionLogs": [
          {
            "file": "C04-after-1.log",
            "sha256": "2cbdf047eabd6fd35b38c48df2afaaecabffdf6dd777610be2b8a8ba5895be20"
          }
        ]
      }
    },
    {
      "id": "C05",
      "title": "The destination stays unavailable",
      "fault": "503-always",
      "inputs": [
        {
          "eventId": "evt-101",
          "customerId": "tenant-a",
          "email": "alex@example.test",
          "modelOutput": "{\"route\":\"sales\"}"
        }
      ],
      "executionsPerVariant": 1,
      "expected": "Stop after three attempts with an explicit error and no delivered result.",
      "severity": "high",
      "proposedFix": "Stop on failure after a finite retry budget; never label an error as delivered.",
      "before": {
        "status": "fail",
        "reason": "Recorded behavior violates the stated assertion.",
        "observation": {
          "engineEvidenceComplete": true,
          "requests": [
            {
              "sequence": 1,
              "body": {
                "eventId": "evt-101",
                "customerId": "tenant-a",
                "email": "alex@example.test",
                "route": "sales"
              },
              "idempotencyKey": null,
              "responseStatus": 503,
              "responseBody": {
                "error": "synthetic_unavailable"
              }
            }
          ],
          "commits": [],
          "results": [
            {
              "engineStarted": true,
              "timedOut": false,
              "executionStatus": "success",
              "error": null,
              "outputs": [
                {
                  "status": "delivered",
                  "receiptId": null,
                  "eventId": null,
                  "customerId": null
                }
              ],
              "durationMs": 1678
            }
          ]
        },
        "workflowSha256": "d91a011358337bc9d48fb7cce4394396622e6ee96aa28f3cb146e7cf6aae321b",
        "executionLogs": [
          {
            "file": "C05-before-1.log",
            "sha256": "c826965e04b793f3d88c5721136cd15f1e7bb885a52f5e8834234e4f626fc633"
          }
        ]
      },
      "after": {
        "status": "pass",
        "reason": "Recorded execution and destination evidence meet the stated assertion.",
        "observation": {
          "engineEvidenceComplete": true,
          "requests": [
            {
              "sequence": 1,
              "body": {
                "eventId": "evt-101",
                "customerId": "tenant-a",
                "email": "alex@example.test",
                "route": "sales"
              },
              "idempotencyKey": "tenant-a:evt-101",
              "responseStatus": 503,
              "responseBody": {
                "error": "synthetic_unavailable"
              }
            },
            {
              "sequence": 2,
              "body": {
                "eventId": "evt-101",
                "customerId": "tenant-a",
                "email": "alex@example.test",
                "route": "sales"
              },
              "idempotencyKey": "tenant-a:evt-101",
              "responseStatus": 503,
              "responseBody": {
                "error": "synthetic_unavailable"
              }
            },
            {
              "sequence": 3,
              "body": {
                "eventId": "evt-101",
                "customerId": "tenant-a",
                "email": "alex@example.test",
                "route": "sales"
              },
              "idempotencyKey": "tenant-a:evt-101",
              "responseStatus": 503,
              "responseBody": {
                "error": "synthetic_unavailable"
              }
            }
          ],
          "commits": [],
          "results": [
            {
              "engineStarted": true,
              "timedOut": false,
              "executionStatus": "error",
              "error": "Service unavailable - try again later or consider setting this node to retry automatically (in the node settings)",
              "outputs": [],
              "durationMs": 3727
            }
          ]
        },
        "workflowSha256": "ef66e3e6967f719b3e47d79ad9c67cacb474bd2260d3ac794eeda55ba9a99aae",
        "executionLogs": [
          {
            "file": "C05-after-1.log",
            "sha256": "6b959311484fef7e5b4b998b87551e18cd84156f679cdb3038abce58ec82c12b"
          }
        ]
      }
    },
    {
      "id": "C06",
      "title": "HTTP 200 contains no result",
      "fault": "200-empty",
      "inputs": [
        {
          "eventId": "evt-101",
          "customerId": "tenant-a",
          "email": "alex@example.test",
          "modelOutput": "{\"route\":\"sales\"}"
        }
      ],
      "executionsPerVariant": 1,
      "expected": "Raise RECEIPT_INVALID; an HTTP status alone cannot establish delivery.",
      "severity": "high",
      "proposedFix": "Require a matching business receipt before reporting success.",
      "before": {
        "status": "fail",
        "reason": "Recorded behavior violates the stated assertion.",
        "observation": {
          "engineEvidenceComplete": true,
          "requests": [
            {
              "sequence": 1,
              "body": {
                "eventId": "evt-101",
                "customerId": "tenant-a",
                "email": "alex@example.test",
                "route": "sales"
              },
              "idempotencyKey": null,
              "responseStatus": 200,
              "responseBody": {}
            }
          ],
          "commits": [],
          "results": [
            {
              "engineStarted": true,
              "timedOut": false,
              "executionStatus": "success",
              "error": null,
              "outputs": [
                {
                  "status": "delivered",
                  "receiptId": null,
                  "eventId": null,
                  "customerId": null
                }
              ],
              "durationMs": 1731
            }
          ]
        },
        "workflowSha256": "5a5ff32f4f2c97d379130bc0d26ff606e60da8e24f3a1a36bc27caf454726ffe",
        "executionLogs": [
          {
            "file": "C06-before-1.log",
            "sha256": "38c95a0994ac3536ec2925c50e203e06042f790c87ab73254bc9bce9172c3de4"
          }
        ]
      },
      "after": {
        "status": "pass",
        "reason": "Recorded execution and destination evidence meet the stated assertion.",
        "observation": {
          "engineEvidenceComplete": true,
          "requests": [
            {
              "sequence": 1,
              "body": {
                "eventId": "evt-101",
                "customerId": "tenant-a",
                "email": "alex@example.test",
                "route": "sales"
              },
              "idempotencyKey": "tenant-a:evt-101",
              "responseStatus": 200,
              "responseBody": {}
            }
          ],
          "commits": [],
          "results": [
            {
              "engineStarted": true,
              "timedOut": false,
              "executionStatus": "error",
              "error": "RECEIPT_INVALID: missing business receipt [line 2]",
              "outputs": [],
              "durationMs": 1680
            }
          ]
        },
        "workflowSha256": "0f599d25ac01cfcfa0af9764242a8f8f570a68835d898e8a51f3ba8bbbbb899d",
        "executionLogs": [
          {
            "file": "C06-after-1.log",
            "sha256": "b1f79261ef444e907d5bdd6b0e9fbe99f2aeeb7cc2d32f4a7cfc91764e358c7d"
          }
        ]
      }
    },
    {
      "id": "C07",
      "title": "Two customers share a batch",
      "fault": "none",
      "inputs": [
        {
          "eventId": "evt-101",
          "customerId": "tenant-a",
          "email": "alex@example.test",
          "modelOutput": "{\"route\":\"sales\"}"
        },
        {
          "eventId": "evt-202",
          "customerId": "tenant-b",
          "email": "bea@example.test",
          "modelOutput": "{\"route\":\"sales\"}"
        }
      ],
      "executionsPerVariant": 1,
      "expected": "Each of two records retains its original customer, event and email pairing.",
      "severity": "critical",
      "proposedFix": "Map the current item, not the first item in the batch.",
      "before": {
        "status": "fail",
        "reason": "Recorded behavior violates the stated assertion.",
        "observation": {
          "engineEvidenceComplete": true,
          "requests": [
            {
              "sequence": 1,
              "body": {
                "eventId": "evt-101",
                "customerId": "tenant-a",
                "email": "alex@example.test",
                "route": "sales"
              },
              "idempotencyKey": null,
              "responseStatus": 200,
              "responseBody": {
                "eventId": "evt-101",
                "customerId": "tenant-a",
                "email": "alex@example.test",
                "route": "sales",
                "id": "receipt-C07-1"
              }
            },
            {
              "sequence": 2,
              "body": {
                "eventId": "evt-202",
                "customerId": "tenant-a",
                "email": "bea@example.test",
                "route": "sales"
              },
              "idempotencyKey": null,
              "responseStatus": 200,
              "responseBody": {
                "eventId": "evt-202",
                "customerId": "tenant-a",
                "email": "bea@example.test",
                "route": "sales",
                "id": "receipt-C07-2"
              }
            }
          ],
          "commits": [
            {
              "eventId": "evt-101",
              "customerId": "tenant-a",
              "email": "alex@example.test",
              "route": "sales",
              "id": "receipt-C07-1"
            },
            {
              "eventId": "evt-202",
              "customerId": "tenant-a",
              "email": "bea@example.test",
              "route": "sales",
              "id": "receipt-C07-2"
            }
          ],
          "results": [
            {
              "engineStarted": true,
              "timedOut": false,
              "executionStatus": "success",
              "error": null,
              "outputs": [
                {
                  "status": "delivered",
                  "receiptId": "receipt-C07-1",
                  "eventId": "evt-101",
                  "customerId": "tenant-a"
                },
                {
                  "status": "delivered",
                  "receiptId": "receipt-C07-2",
                  "eventId": "evt-202",
                  "customerId": "tenant-a"
                }
              ],
              "durationMs": 1781
            }
          ]
        },
        "workflowSha256": "985e0970eff4052cebc391fc0a20769ec4e2b765a271e40928b40c50a62b023f",
        "executionLogs": [
          {
            "file": "C07-before-1.log",
            "sha256": "61d8a4f726a517c02596b139b0171ac7661a8bdc5c988b939c912908bec919cd"
          }
        ]
      },
      "after": {
        "status": "pass",
        "reason": "Recorded execution and destination evidence meet the stated assertion.",
        "observation": {
          "engineEvidenceComplete": true,
          "requests": [
            {
              "sequence": 1,
              "body": {
                "eventId": "evt-101",
                "customerId": "tenant-a",
                "email": "alex@example.test",
                "route": "sales"
              },
              "idempotencyKey": "tenant-a:evt-101",
              "responseStatus": 200,
              "responseBody": {
                "eventId": "evt-101",
                "customerId": "tenant-a",
                "email": "alex@example.test",
                "route": "sales",
                "id": "receipt-C07-1"
              }
            },
            {
              "sequence": 2,
              "body": {
                "eventId": "evt-202",
                "customerId": "tenant-b",
                "email": "bea@example.test",
                "route": "sales"
              },
              "idempotencyKey": "tenant-b:evt-202",
              "responseStatus": 200,
              "responseBody": {
                "eventId": "evt-202",
                "customerId": "tenant-b",
                "email": "bea@example.test",
                "route": "sales",
                "id": "receipt-C07-2"
              }
            }
          ],
          "commits": [
            {
              "eventId": "evt-101",
              "customerId": "tenant-a",
              "email": "alex@example.test",
              "route": "sales",
              "id": "receipt-C07-1"
            },
            {
              "eventId": "evt-202",
              "customerId": "tenant-b",
              "email": "bea@example.test",
              "route": "sales",
              "id": "receipt-C07-2"
            }
          ],
          "results": [
            {
              "engineStarted": true,
              "timedOut": false,
              "executionStatus": "success",
              "error": null,
              "outputs": [
                {
                  "status": "delivered",
                  "receiptId": "receipt-C07-1",
                  "eventId": "evt-101",
                  "customerId": "tenant-a"
                },
                {
                  "status": "delivered",
                  "receiptId": "receipt-C07-2",
                  "eventId": "evt-202",
                  "customerId": "tenant-b"
                }
              ],
              "durationMs": 1725
            }
          ]
        },
        "workflowSha256": "cba5a75ba6189c7426df90b61241918c53933f7aee9b48f562f43e9996dd3a6a",
        "executionLogs": [
          {
            "file": "C07-after-1.log",
            "sha256": "6b29bc033393b4a1bb0bcc13150c8a213e58f09cf39944fa4858758be921dd34"
          }
        ]
      }
    },
    {
      "id": "C08",
      "title": "The model returns malformed output",
      "fault": "none",
      "inputs": [
        {
          "eventId": "evt-101",
          "customerId": "tenant-a",
          "email": "alex@example.test",
          "modelOutput": "{\"route\":"
        }
      ],
      "executionsPerVariant": 1,
      "expected": "An explicit MODEL_INVALID error occurs before any HTTP request.",
      "severity": "high",
      "proposedFix": "Parse and validate model output against the allowed route schema before acting.",
      "before": {
        "status": "fail",
        "reason": "Recorded behavior violates the stated assertion.",
        "observation": {
          "engineEvidenceComplete": true,
          "requests": [
            {
              "sequence": 1,
              "body": {
                "eventId": "evt-101",
                "customerId": "tenant-a",
                "email": "alex@example.test",
                "route": "sales"
              },
              "idempotencyKey": null,
              "responseStatus": 200,
              "responseBody": {
                "eventId": "evt-101",
                "customerId": "tenant-a",
                "email": "alex@example.test",
                "route": "sales",
                "id": "receipt-C08-1"
              }
            }
          ],
          "commits": [
            {
              "eventId": "evt-101",
              "customerId": "tenant-a",
              "email": "alex@example.test",
              "route": "sales",
              "id": "receipt-C08-1"
            }
          ],
          "results": [
            {
              "engineStarted": true,
              "timedOut": false,
              "executionStatus": "success",
              "error": null,
              "outputs": [
                {
                  "status": "delivered",
                  "receiptId": "receipt-C08-1",
                  "eventId": "evt-101",
                  "customerId": "tenant-a"
                }
              ],
              "durationMs": 1694
            }
          ]
        },
        "workflowSha256": "e67770e54689a901dad7497625986423b4d291c1367f470e6c7f6a888ddef9d1",
        "executionLogs": [
          {
            "file": "C08-before-1.log",
            "sha256": "64cdb45bbc0542f9d9b1107cd64c1e8af38ad5693541d011afb2de55cf6ddb16"
          }
        ]
      },
      "after": {
        "status": "pass",
        "reason": "Recorded execution and destination evidence meet the stated assertion.",
        "observation": {
          "engineEvidenceComplete": true,
          "requests": [],
          "commits": [],
          "results": [
            {
              "engineStarted": true,
              "timedOut": false,
              "executionStatus": "error",
              "error": "MODEL_INVALID: invalid JSON [line 2]",
              "outputs": [],
              "durationMs": 1678
            }
          ]
        },
        "workflowSha256": "7177f3745822e2ad48d8f3a6b77317fe7fd8e2e839b73ed8c144e419e2cafe1a",
        "executionLogs": [
          {
            "file": "C08-after-1.log",
            "sha256": "622aad0f8113159c9a0da9ebbacc663ecd83810e01cc216363d2198d8e6037d1"
          }
        ]
      }
    }
  ],
  "summary": {
    "before": {
      "pass": 1,
      "fail": 7,
      "inconclusive": 0
    },
    "after": {
      "pass": 8,
      "fail": 0,
      "inconclusive": 0
    }
  }
}