{
  "name": "DN Agent Retry Boundary Executed Results",
  "version": "0.1",
  "executedAt": "2026-11-03T15:50:27.564Z",
  "evidenceType": "local-deterministic-event-order-simulation",
  "caseCount": 16,
  "expectationsMatched": 16,
  "modelCalls": 0,
  "paidRequests": 0,
  "providerCalls": 0,
  "signatureChecks": 0,
  "modelSourceSha256": "453f431f3f246f36c821ba3bbf17cb7606f990a14e643bc0dd1484d8c777f02e",
  "results": [
    {
      "id": "serial-cache",
      "expected": {
        "effects": 1,
        "duplicateEffects": 0,
        "replays": 1,
        "conflicts": 0,
        "inflightBlocks": 0,
        "unknownBlocks": 0
      },
      "actual": {
        "scenarioId": "serial",
        "design": "cache",
        "effects": 1,
        "duplicateEffects": 0,
        "distinctOperations": 1,
        "replays": 1,
        "conflicts": 0,
        "inflightBlocks": 0,
        "unknownBlocks": 0,
        "trace": [
          "r1: abstract effect committed for buyer-a / operation-1.",
          "r1: completion recorded.",
          "r2: completed result replayed; no new effect.",
          "r2: no new execution to complete; arrival was replayed, blocked or rejected."
        ]
      }
    },
    {
      "id": "serial-ledger",
      "expected": {
        "effects": 1,
        "duplicateEffects": 0,
        "replays": 1,
        "conflicts": 0,
        "inflightBlocks": 0,
        "unknownBlocks": 0
      },
      "actual": {
        "scenarioId": "serial",
        "design": "ledger",
        "effects": 1,
        "duplicateEffects": 0,
        "distinctOperations": 1,
        "replays": 1,
        "conflicts": 0,
        "inflightBlocks": 0,
        "unknownBlocks": 0,
        "trace": [
          "r1: logical operation reserved atomically before the effect, by model assumption.",
          "r1: abstract effect committed for buyer-a / operation-1.",
          "r1: completion recorded.",
          "r2: retained logical-operation result replayed; no new effect.",
          "r2: no new execution to complete; arrival was replayed, blocked or rejected."
        ]
      }
    },
    {
      "id": "overlap-cache",
      "expected": {
        "effects": 2,
        "duplicateEffects": 1,
        "replays": 0,
        "conflicts": 0,
        "inflightBlocks": 0,
        "unknownBlocks": 0
      },
      "actual": {
        "scenarioId": "overlap",
        "design": "cache",
        "effects": 2,
        "duplicateEffects": 1,
        "distinctOperations": 1,
        "replays": 0,
        "conflicts": 0,
        "inflightBlocks": 0,
        "unknownBlocks": 0,
        "trace": [
          "r1: abstract effect committed for buyer-a / operation-1.",
          "r2: abstract effect committed for buyer-a / operation-1.",
          "r1: completion recorded.",
          "r2: completion recorded."
        ]
      }
    },
    {
      "id": "overlap-ledger",
      "expected": {
        "effects": 1,
        "duplicateEffects": 0,
        "replays": 0,
        "conflicts": 0,
        "inflightBlocks": 1,
        "unknownBlocks": 0
      },
      "actual": {
        "scenarioId": "overlap",
        "design": "ledger",
        "effects": 1,
        "duplicateEffects": 0,
        "distinctOperations": 1,
        "replays": 0,
        "conflicts": 0,
        "inflightBlocks": 1,
        "unknownBlocks": 0,
        "trace": [
          "r1: logical operation reserved atomically before the effect, by model assumption.",
          "r1: abstract effect committed for buyer-a / operation-1.",
          "r2: logical operation is in flight; no second effect admitted.",
          "r1: completion recorded.",
          "r2: no new execution to complete; arrival was replayed, blocked or rejected."
        ]
      }
    },
    {
      "id": "lost-response-cache",
      "expected": {
        "effects": 2,
        "duplicateEffects": 1,
        "replays": 0,
        "conflicts": 0,
        "inflightBlocks": 0,
        "unknownBlocks": 0
      },
      "actual": {
        "scenarioId": "lost-response",
        "design": "cache",
        "effects": 2,
        "duplicateEffects": 1,
        "distinctOperations": 1,
        "replays": 0,
        "conflicts": 0,
        "inflightBlocks": 0,
        "unknownBlocks": 0,
        "trace": [
          "r1: abstract effect committed for buyer-a / operation-1.",
          "r1: abstract effect already occurred; no completed-response record was stored.",
          "r2: abstract effect committed for buyer-a / operation-1.",
          "r2: completion recorded."
        ]
      }
    },
    {
      "id": "lost-response-ledger",
      "expected": {
        "effects": 1,
        "duplicateEffects": 0,
        "replays": 0,
        "conflicts": 0,
        "inflightBlocks": 0,
        "unknownBlocks": 1
      },
      "actual": {
        "scenarioId": "lost-response",
        "design": "ledger",
        "effects": 1,
        "duplicateEffects": 0,
        "distinctOperations": 1,
        "replays": 0,
        "conflicts": 0,
        "inflightBlocks": 0,
        "unknownBlocks": 1,
        "trace": [
          "r1: logical operation reserved atomically before the effect, by model assumption.",
          "r1: abstract effect committed for buyer-a / operation-1.",
          "r1: abstract effect already occurred; no completed-response record was stored.",
          "r2: prior effect is unresolved; stop and reconcile externally.",
          "r2: no new execution to complete; arrival was replayed, blocked or rejected."
        ]
      }
    },
    {
      "id": "expired-cache-cache",
      "expected": {
        "effects": 2,
        "duplicateEffects": 1,
        "replays": 0,
        "conflicts": 0,
        "inflightBlocks": 0,
        "unknownBlocks": 0
      },
      "actual": {
        "scenarioId": "expired-cache",
        "design": "cache",
        "effects": 2,
        "duplicateEffects": 1,
        "distinctOperations": 1,
        "replays": 0,
        "conflicts": 0,
        "inflightBlocks": 0,
        "unknownBlocks": 0,
        "trace": [
          "r1: abstract effect committed for buyer-a / operation-1.",
          "r1: completion recorded.",
          "Response cache expired. Ledger records and key bindings, if used, remain retained by assumption.",
          "r2: abstract effect committed for buyer-a / operation-1.",
          "r2: completion recorded."
        ]
      }
    },
    {
      "id": "expired-cache-ledger",
      "expected": {
        "effects": 1,
        "duplicateEffects": 0,
        "replays": 1,
        "conflicts": 0,
        "inflightBlocks": 0,
        "unknownBlocks": 0
      },
      "actual": {
        "scenarioId": "expired-cache",
        "design": "ledger",
        "effects": 1,
        "duplicateEffects": 0,
        "distinctOperations": 1,
        "replays": 1,
        "conflicts": 0,
        "inflightBlocks": 0,
        "unknownBlocks": 0,
        "trace": [
          "r1: logical operation reserved atomically before the effect, by model assumption.",
          "r1: abstract effect committed for buyer-a / operation-1.",
          "r1: completion recorded.",
          "Response cache expired. Ledger records and key bindings, if used, remain retained by assumption.",
          "r2: retained logical-operation result replayed; no new effect.",
          "r2: no new execution to complete; arrival was replayed, blocked or rejected."
        ]
      }
    },
    {
      "id": "changed-payload-cache",
      "expected": {
        "effects": 1,
        "duplicateEffects": 0,
        "replays": 0,
        "conflicts": 1,
        "inflightBlocks": 0,
        "unknownBlocks": 0
      },
      "actual": {
        "scenarioId": "changed-payload",
        "design": "cache",
        "effects": 1,
        "duplicateEffects": 0,
        "distinctOperations": 1,
        "replays": 0,
        "conflicts": 1,
        "inflightBlocks": 0,
        "unknownBlocks": 0,
        "trace": [
          "r1: abstract effect committed for buyer-a / operation-1.",
          "r1: completion recorded.",
          "r2: fingerprint conflict; no new effect.",
          "r2: no new execution to complete; arrival was replayed, blocked or rejected."
        ]
      }
    },
    {
      "id": "changed-payload-ledger",
      "expected": {
        "effects": 1,
        "duplicateEffects": 0,
        "replays": 0,
        "conflicts": 1,
        "inflightBlocks": 0,
        "unknownBlocks": 0
      },
      "actual": {
        "scenarioId": "changed-payload",
        "design": "ledger",
        "effects": 1,
        "duplicateEffects": 0,
        "distinctOperations": 1,
        "replays": 0,
        "conflicts": 1,
        "inflightBlocks": 0,
        "unknownBlocks": 0,
        "trace": [
          "r1: logical operation reserved atomically before the effect, by model assumption.",
          "r1: abstract effect committed for buyer-a / operation-1.",
          "r1: completion recorded.",
          "r2: payment key conflicts with its retained fingerprint; no new effect.",
          "r2: no new execution to complete; arrival was replayed, blocked or rejected."
        ]
      }
    },
    {
      "id": "regenerated-key-cache",
      "expected": {
        "effects": 2,
        "duplicateEffects": 1,
        "replays": 0,
        "conflicts": 0,
        "inflightBlocks": 0,
        "unknownBlocks": 0
      },
      "actual": {
        "scenarioId": "regenerated-key",
        "design": "cache",
        "effects": 2,
        "duplicateEffects": 1,
        "distinctOperations": 1,
        "replays": 0,
        "conflicts": 0,
        "inflightBlocks": 0,
        "unknownBlocks": 0,
        "trace": [
          "r1: abstract effect committed for buyer-a / operation-1.",
          "r1: completion recorded.",
          "r2: abstract effect committed for buyer-a / operation-1.",
          "r2: completion recorded."
        ]
      }
    },
    {
      "id": "regenerated-key-ledger",
      "expected": {
        "effects": 1,
        "duplicateEffects": 0,
        "replays": 1,
        "conflicts": 0,
        "inflightBlocks": 0,
        "unknownBlocks": 0
      },
      "actual": {
        "scenarioId": "regenerated-key",
        "design": "ledger",
        "effects": 1,
        "duplicateEffects": 0,
        "distinctOperations": 1,
        "replays": 1,
        "conflicts": 0,
        "inflightBlocks": 0,
        "unknownBlocks": 0,
        "trace": [
          "r1: logical operation reserved atomically before the effect, by model assumption.",
          "r1: abstract effect committed for buyer-a / operation-1.",
          "r1: completion recorded.",
          "r2: retained logical-operation result replayed; no new effect.",
          "r2: no new execution to complete; arrival was replayed, blocked or rejected."
        ]
      }
    },
    {
      "id": "different-principal-cache",
      "expected": {
        "effects": 2,
        "duplicateEffects": 0,
        "replays": 0,
        "conflicts": 0,
        "inflightBlocks": 0,
        "unknownBlocks": 0
      },
      "actual": {
        "scenarioId": "different-principal",
        "design": "cache",
        "effects": 2,
        "duplicateEffects": 0,
        "distinctOperations": 2,
        "replays": 0,
        "conflicts": 0,
        "inflightBlocks": 0,
        "unknownBlocks": 0,
        "trace": [
          "r1: abstract effect committed for buyer-a / operation-1.",
          "r1: completion recorded.",
          "r2: abstract effect committed for buyer-b / operation-1.",
          "r2: completion recorded."
        ]
      }
    },
    {
      "id": "different-principal-ledger",
      "expected": {
        "effects": 2,
        "duplicateEffects": 0,
        "replays": 0,
        "conflicts": 0,
        "inflightBlocks": 0,
        "unknownBlocks": 0
      },
      "actual": {
        "scenarioId": "different-principal",
        "design": "ledger",
        "effects": 2,
        "duplicateEffects": 0,
        "distinctOperations": 2,
        "replays": 0,
        "conflicts": 0,
        "inflightBlocks": 0,
        "unknownBlocks": 0,
        "trace": [
          "r1: logical operation reserved atomically before the effect, by model assumption.",
          "r1: abstract effect committed for buyer-a / operation-1.",
          "r1: completion recorded.",
          "r2: logical operation reserved atomically before the effect, by model assumption.",
          "r2: abstract effect committed for buyer-b / operation-1.",
          "r2: completion recorded."
        ]
      }
    },
    {
      "id": "different-operation-cache",
      "expected": {
        "effects": 1,
        "duplicateEffects": 0,
        "replays": 0,
        "conflicts": 1,
        "inflightBlocks": 0,
        "unknownBlocks": 0
      },
      "actual": {
        "scenarioId": "different-operation",
        "design": "cache",
        "effects": 1,
        "duplicateEffects": 0,
        "distinctOperations": 1,
        "replays": 0,
        "conflicts": 1,
        "inflightBlocks": 0,
        "unknownBlocks": 0,
        "trace": [
          "r1: abstract effect committed for buyer-a / operation-1.",
          "r1: completion recorded.",
          "r2: fingerprint conflict; no new effect.",
          "r2: no new execution to complete; arrival was replayed, blocked or rejected."
        ]
      }
    },
    {
      "id": "different-operation-ledger",
      "expected": {
        "effects": 1,
        "duplicateEffects": 0,
        "replays": 0,
        "conflicts": 1,
        "inflightBlocks": 0,
        "unknownBlocks": 0
      },
      "actual": {
        "scenarioId": "different-operation",
        "design": "ledger",
        "effects": 1,
        "duplicateEffects": 0,
        "distinctOperations": 1,
        "replays": 0,
        "conflicts": 1,
        "inflightBlocks": 0,
        "unknownBlocks": 0,
        "trace": [
          "r1: logical operation reserved atomically before the effect, by model assumption.",
          "r1: abstract effect committed for buyer-a / operation-1.",
          "r1: completion recorded.",
          "r2: payment key conflicts with its retained fingerprint; no new effect.",
          "r2: no new execution to complete; arrival was replayed, blocked or rejected."
        ]
      }
    }
  ]
}