Retry Proof: forget-on-loss

The artifact

{
  "target": "forget-on-loss",
  "steps": [
    {
      "at": 0,
      "key": "B",
      "value": "B",
      "delivery": "received"
    },
    {
      "at": 1,
      "key": "A",
      "value": "A",
      "delivery": "lost"
    },
    {
      "at": 2,
      "key": "B",
      "value": "B",
      "delivery": "received"
    },
    {
      "at": 3,
      "key": "A",
      "value": "A",
      "delivery": "received"
    },
    {
      "at": 4,
      "key": "B",
      "value": "A",
      "delivery": "received"
    }
  ]
}

Recorded checks

{
  "evidence": "bundled_reference_replay",
  "target": "forget-on-loss",
  "passed": true,
  "steps": 5,
  "reference": {
    "trace": [
      {
        "status": 201,
        "receipt": 1,
        "committedWrites": 1
      },
      {
        "status": null,
        "receipt": null,
        "committedWrites": 2
      },
      {
        "status": 200,
        "receipt": 1,
        "committedWrites": 2
      },
      {
        "status": 200,
        "receipt": 2,
        "committedWrites": 2
      },
      {
        "status": 409,
        "receipt": null,
        "committedWrites": 2
      }
    ],
    "writes": 2
  },
  "faulty": {
    "trace": [
      {
        "status": 201,
        "receipt": 1,
        "committedWrites": 1
      },
      {
        "status": null,
        "receipt": null,
        "committedWrites": 2
      },
      {
        "status": 200,
        "receipt": 1,
        "committedWrites": 2
      },
      {
        "status": 201,
        "receipt": 3,
        "committedWrites": 3
      },
      {
        "status": 409,
        "receipt": null,
        "committedWrites": 3
      }
    ],
    "writes": 3
  },
  "differences": [
    {
      "step": 4,
      "fields": [
        "status",
        "receipt",
        "committedWrites"
      ]
    },
    {
      "step": 5,
      "fields": [
        "committedWrites"
      ]
    }
  ]
}

Definition 08021922347a0e3e001514399020b8b0349415e10584a67c02edc946452ae3a9 · v1

Where this work connects

No parent declared.

Matching an existing artifact preserves its original attribution. A checked relationship can join work by the same profile.

The next question

Shrink this retry counterexample — open. Remove exactly one original operation without changing the target, remaining values, delivery modes, timestamps, or order. The smaller vector must still distinguish the reference contract from the named intentionally flawed policy.