{
  "schema_version": 1,
  "recording": "Recorded local synthetic run \u00b7 single-transaction SQLite lab",
  "events": [
    {
      "offset": 1,
      "event_id": "evt-1",
      "entity_id": "player-a",
      "version": 1,
      "op": "insert",
      "value": "bronze"
    },
    {
      "offset": 2,
      "event_id": "evt-2",
      "entity_id": "player-b",
      "version": 1,
      "op": "insert",
      "value": "silver"
    },
    {
      "offset": 3,
      "event_id": "evt-3",
      "entity_id": "player-a",
      "version": 2,
      "op": "update",
      "value": "gold"
    },
    {
      "offset": 4,
      "event_id": "evt-4",
      "entity_id": "player-b",
      "version": 3,
      "op": "delete",
      "value": null
    },
    {
      "offset": 5,
      "event_id": "evt-5",
      "entity_id": "player-b",
      "version": 2,
      "op": "update",
      "value": "gold"
    },
    {
      "offset": 6,
      "event_id": "evt-6",
      "entity_id": "player-c",
      "version": 1,
      "op": "insert",
      "value": "bronze"
    },
    {
      "offset": 7,
      "event_id": "evt-7",
      "entity_id": "player-a",
      "version": 2,
      "op": "update",
      "value": "gold"
    },
    {
      "offset": 8,
      "event_id": "evt-8",
      "entity_id": "player-d",
      "version": 2,
      "op": "delete",
      "value": null
    },
    {
      "offset": 9,
      "event_id": "evt-9",
      "entity_id": "player-d",
      "version": 1,
      "op": "insert",
      "value": "silver"
    }
  ],
  "event_outcomes": {
    "1": "applied",
    "2": "applied",
    "3": "applied",
    "4": "applied",
    "5": "stale",
    "6": "applied",
    "7": "stale",
    "8": "applied",
    "9": "stale"
  },
  "frames": [
    {
      "id": "empty",
      "title": "A clean slate",
      "description": "No rows, no acknowledged offsets. The checkpoint starts at zero.",
      "offsets": [],
      "checkpoint": 0,
      "state": {},
      "active": {},
      "journal": [],
      "versions": [],
      "result": null,
      "error": null
    },
    {
      "id": "initial",
      "title": "First page committed",
      "description": "Two inserts and checkpoint 2 commit together.",
      "offsets": [
        1,
        2
      ],
      "checkpoint": 2,
      "state": {
        "player-a": {
          "version": 1,
          "deleted": false,
          "value": "bronze"
        },
        "player-b": {
          "version": 1,
          "deleted": false,
          "value": "silver"
        }
      },
      "active": {
        "player-a": "bronze",
        "player-b": "silver"
      },
      "journal": [
        [
          1,
          "evt-1",
          "[\"player-a\",1,\"insert\",\"bronze\"]"
        ],
        [
          2,
          "evt-2",
          "[\"player-b\",1,\"insert\",\"silver\"]"
        ]
      ],
      "versions": [
        [
          "player-a",
          1,
          "[\"player-a\",1,\"insert\",\"bronze\"]"
        ],
        [
          "player-b",
          1,
          "[\"player-b\",1,\"insert\",\"silver\"]"
        ]
      ],
      "result": {
        "applied": 2,
        "stale": 0,
        "replayed": 0,
        "checkpoint": 2
      },
      "error": null
    },
    {
      "id": "rollback",
      "title": "Failure \u2192 complete rollback",
      "description": "The exception after two envelopes rolls back target, journal, versions and checkpoint.",
      "offsets": [
        3,
        4
      ],
      "checkpoint": 2,
      "state": {
        "player-a": {
          "version": 1,
          "deleted": false,
          "value": "bronze"
        },
        "player-b": {
          "version": 1,
          "deleted": false,
          "value": "silver"
        }
      },
      "active": {
        "player-a": "bronze",
        "player-b": "silver"
      },
      "journal": [
        [
          1,
          "evt-1",
          "[\"player-a\",1,\"insert\",\"bronze\"]"
        ],
        [
          2,
          "evt-2",
          "[\"player-b\",1,\"insert\",\"silver\"]"
        ]
      ],
      "versions": [
        [
          "player-a",
          1,
          "[\"player-a\",1,\"insert\",\"bronze\"]"
        ],
        [
          "player-b",
          1,
          "[\"player-b\",1,\"insert\",\"silver\"]"
        ]
      ],
      "result": null,
      "error": "injected failure after 2 envelopes"
    },
    {
      "id": "retry",
      "title": "Retry safely reaches 4",
      "description": "The same page now commits: player-a becomes gold; player-b retains a version 3 tombstone.",
      "offsets": [
        3,
        4
      ],
      "checkpoint": 4,
      "state": {
        "player-a": {
          "version": 2,
          "deleted": false,
          "value": "gold"
        },
        "player-b": {
          "version": 3,
          "deleted": true,
          "value": null
        }
      },
      "active": {
        "player-a": "gold"
      },
      "journal": [
        [
          1,
          "evt-1",
          "[\"player-a\",1,\"insert\",\"bronze\"]"
        ],
        [
          2,
          "evt-2",
          "[\"player-b\",1,\"insert\",\"silver\"]"
        ],
        [
          3,
          "evt-3",
          "[\"player-a\",2,\"update\",\"gold\"]"
        ],
        [
          4,
          "evt-4",
          "[\"player-b\",3,\"delete\",null]"
        ]
      ],
      "versions": [
        [
          "player-a",
          1,
          "[\"player-a\",1,\"insert\",\"bronze\"]"
        ],
        [
          "player-a",
          2,
          "[\"player-a\",2,\"update\",\"gold\"]"
        ],
        [
          "player-b",
          1,
          "[\"player-b\",1,\"insert\",\"silver\"]"
        ],
        [
          "player-b",
          3,
          "[\"player-b\",3,\"delete\",null]"
        ]
      ],
      "result": {
        "applied": 2,
        "stale": 0,
        "replayed": 0,
        "checkpoint": 4
      },
      "error": null
    },
    {
      "id": "page6",
      "title": "Late update stays deleted",
      "description": "Offset 5 carries player-b version 2. Its retained version 3 tombstone wins; player-c is inserted.",
      "offsets": [
        5,
        6
      ],
      "checkpoint": 6,
      "state": {
        "player-a": {
          "version": 2,
          "deleted": false,
          "value": "gold"
        },
        "player-b": {
          "version": 3,
          "deleted": true,
          "value": null
        },
        "player-c": {
          "version": 1,
          "deleted": false,
          "value": "bronze"
        }
      },
      "active": {
        "player-a": "gold",
        "player-c": "bronze"
      },
      "journal": [
        [
          1,
          "evt-1",
          "[\"player-a\",1,\"insert\",\"bronze\"]"
        ],
        [
          2,
          "evt-2",
          "[\"player-b\",1,\"insert\",\"silver\"]"
        ],
        [
          3,
          "evt-3",
          "[\"player-a\",2,\"update\",\"gold\"]"
        ],
        [
          4,
          "evt-4",
          "[\"player-b\",3,\"delete\",null]"
        ],
        [
          5,
          "evt-5",
          "[\"player-b\",2,\"update\",\"gold\"]"
        ],
        [
          6,
          "evt-6",
          "[\"player-c\",1,\"insert\",\"bronze\"]"
        ]
      ],
      "versions": [
        [
          "player-a",
          1,
          "[\"player-a\",1,\"insert\",\"bronze\"]"
        ],
        [
          "player-a",
          2,
          "[\"player-a\",2,\"update\",\"gold\"]"
        ],
        [
          "player-b",
          1,
          "[\"player-b\",1,\"insert\",\"silver\"]"
        ],
        [
          "player-b",
          2,
          "[\"player-b\",2,\"update\",\"gold\"]"
        ],
        [
          "player-b",
          3,
          "[\"player-b\",3,\"delete\",null]"
        ],
        [
          "player-c",
          1,
          "[\"player-c\",1,\"insert\",\"bronze\"]"
        ]
      ],
      "result": {
        "applied": 1,
        "stale": 1,
        "replayed": 0,
        "checkpoint": 6
      },
      "error": null
    },
    {
      "id": "page8",
      "title": "Same version is a no-op",
      "description": "player-a version 2 repeats without changing state; player-d gets a version 2 tombstone.",
      "offsets": [
        7,
        8
      ],
      "checkpoint": 8,
      "state": {
        "player-a": {
          "version": 2,
          "deleted": false,
          "value": "gold"
        },
        "player-b": {
          "version": 3,
          "deleted": true,
          "value": null
        },
        "player-c": {
          "version": 1,
          "deleted": false,
          "value": "bronze"
        },
        "player-d": {
          "version": 2,
          "deleted": true,
          "value": null
        }
      },
      "active": {
        "player-a": "gold",
        "player-c": "bronze"
      },
      "journal": [
        [
          1,
          "evt-1",
          "[\"player-a\",1,\"insert\",\"bronze\"]"
        ],
        [
          2,
          "evt-2",
          "[\"player-b\",1,\"insert\",\"silver\"]"
        ],
        [
          3,
          "evt-3",
          "[\"player-a\",2,\"update\",\"gold\"]"
        ],
        [
          4,
          "evt-4",
          "[\"player-b\",3,\"delete\",null]"
        ],
        [
          5,
          "evt-5",
          "[\"player-b\",2,\"update\",\"gold\"]"
        ],
        [
          6,
          "evt-6",
          "[\"player-c\",1,\"insert\",\"bronze\"]"
        ],
        [
          7,
          "evt-7",
          "[\"player-a\",2,\"update\",\"gold\"]"
        ],
        [
          8,
          "evt-8",
          "[\"player-d\",2,\"delete\",null]"
        ]
      ],
      "versions": [
        [
          "player-a",
          1,
          "[\"player-a\",1,\"insert\",\"bronze\"]"
        ],
        [
          "player-a",
          2,
          "[\"player-a\",2,\"update\",\"gold\"]"
        ],
        [
          "player-b",
          1,
          "[\"player-b\",1,\"insert\",\"silver\"]"
        ],
        [
          "player-b",
          2,
          "[\"player-b\",2,\"update\",\"gold\"]"
        ],
        [
          "player-b",
          3,
          "[\"player-b\",3,\"delete\",null]"
        ],
        [
          "player-c",
          1,
          "[\"player-c\",1,\"insert\",\"bronze\"]"
        ],
        [
          "player-d",
          2,
          "[\"player-d\",2,\"delete\",null]"
        ]
      ],
      "result": {
        "applied": 1,
        "stale": 1,
        "replayed": 0,
        "checkpoint": 8
      },
      "error": null
    },
    {
      "id": "page9",
      "title": "Late insert cannot resurrect",
      "description": "player-d version 1 arrives after its version 2 delete. It is stale, but offset 9 is acknowledged.",
      "offsets": [
        9
      ],
      "checkpoint": 9,
      "state": {
        "player-a": {
          "version": 2,
          "deleted": false,
          "value": "gold"
        },
        "player-b": {
          "version": 3,
          "deleted": true,
          "value": null
        },
        "player-c": {
          "version": 1,
          "deleted": false,
          "value": "bronze"
        },
        "player-d": {
          "version": 2,
          "deleted": true,
          "value": null
        }
      },
      "active": {
        "player-a": "gold",
        "player-c": "bronze"
      },
      "journal": [
        [
          1,
          "evt-1",
          "[\"player-a\",1,\"insert\",\"bronze\"]"
        ],
        [
          2,
          "evt-2",
          "[\"player-b\",1,\"insert\",\"silver\"]"
        ],
        [
          3,
          "evt-3",
          "[\"player-a\",2,\"update\",\"gold\"]"
        ],
        [
          4,
          "evt-4",
          "[\"player-b\",3,\"delete\",null]"
        ],
        [
          5,
          "evt-5",
          "[\"player-b\",2,\"update\",\"gold\"]"
        ],
        [
          6,
          "evt-6",
          "[\"player-c\",1,\"insert\",\"bronze\"]"
        ],
        [
          7,
          "evt-7",
          "[\"player-a\",2,\"update\",\"gold\"]"
        ],
        [
          8,
          "evt-8",
          "[\"player-d\",2,\"delete\",null]"
        ],
        [
          9,
          "evt-9",
          "[\"player-d\",1,\"insert\",\"silver\"]"
        ]
      ],
      "versions": [
        [
          "player-a",
          1,
          "[\"player-a\",1,\"insert\",\"bronze\"]"
        ],
        [
          "player-a",
          2,
          "[\"player-a\",2,\"update\",\"gold\"]"
        ],
        [
          "player-b",
          1,
          "[\"player-b\",1,\"insert\",\"silver\"]"
        ],
        [
          "player-b",
          2,
          "[\"player-b\",2,\"update\",\"gold\"]"
        ],
        [
          "player-b",
          3,
          "[\"player-b\",3,\"delete\",null]"
        ],
        [
          "player-c",
          1,
          "[\"player-c\",1,\"insert\",\"bronze\"]"
        ],
        [
          "player-d",
          1,
          "[\"player-d\",1,\"insert\",\"silver\"]"
        ],
        [
          "player-d",
          2,
          "[\"player-d\",2,\"delete\",null]"
        ]
      ],
      "result": {
        "applied": 0,
        "stale": 1,
        "replayed": 0,
        "checkpoint": 9
      },
      "error": null
    },
    {
      "id": "replay",
      "title": "Replay all nine \u2192 no change",
      "description": "All event identities match the committed journal. Nine envelopes replay; zero target changes.",
      "offsets": [
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        8,
        9
      ],
      "checkpoint": 9,
      "state": {
        "player-a": {
          "version": 2,
          "deleted": false,
          "value": "gold"
        },
        "player-b": {
          "version": 3,
          "deleted": true,
          "value": null
        },
        "player-c": {
          "version": 1,
          "deleted": false,
          "value": "bronze"
        },
        "player-d": {
          "version": 2,
          "deleted": true,
          "value": null
        }
      },
      "active": {
        "player-a": "gold",
        "player-c": "bronze"
      },
      "journal": [
        [
          1,
          "evt-1",
          "[\"player-a\",1,\"insert\",\"bronze\"]"
        ],
        [
          2,
          "evt-2",
          "[\"player-b\",1,\"insert\",\"silver\"]"
        ],
        [
          3,
          "evt-3",
          "[\"player-a\",2,\"update\",\"gold\"]"
        ],
        [
          4,
          "evt-4",
          "[\"player-b\",3,\"delete\",null]"
        ],
        [
          5,
          "evt-5",
          "[\"player-b\",2,\"update\",\"gold\"]"
        ],
        [
          6,
          "evt-6",
          "[\"player-c\",1,\"insert\",\"bronze\"]"
        ],
        [
          7,
          "evt-7",
          "[\"player-a\",2,\"update\",\"gold\"]"
        ],
        [
          8,
          "evt-8",
          "[\"player-d\",2,\"delete\",null]"
        ],
        [
          9,
          "evt-9",
          "[\"player-d\",1,\"insert\",\"silver\"]"
        ]
      ],
      "versions": [
        [
          "player-a",
          1,
          "[\"player-a\",1,\"insert\",\"bronze\"]"
        ],
        [
          "player-a",
          2,
          "[\"player-a\",2,\"update\",\"gold\"]"
        ],
        [
          "player-b",
          1,
          "[\"player-b\",1,\"insert\",\"silver\"]"
        ],
        [
          "player-b",
          2,
          "[\"player-b\",2,\"update\",\"gold\"]"
        ],
        [
          "player-b",
          3,
          "[\"player-b\",3,\"delete\",null]"
        ],
        [
          "player-c",
          1,
          "[\"player-c\",1,\"insert\",\"bronze\"]"
        ],
        [
          "player-d",
          1,
          "[\"player-d\",1,\"insert\",\"silver\"]"
        ],
        [
          "player-d",
          2,
          "[\"player-d\",2,\"delete\",null]"
        ]
      ],
      "result": {
        "applied": 0,
        "stale": 0,
        "replayed": 9,
        "checkpoint": 9
      },
      "error": null
    }
  ],
  "reconciliation": {
    "source_active": {
      "player-a": "gold",
      "player-c": "bronze"
    },
    "target_active": {
      "player-a": "gold",
      "player-c": "bronze"
    },
    "source_state": {
      "player-a": {
        "version": 2,
        "deleted": false,
        "value": "gold"
      },
      "player-b": {
        "version": 3,
        "deleted": true,
        "value": null
      },
      "player-c": {
        "version": 1,
        "deleted": false,
        "value": "bronze"
      },
      "player-d": {
        "version": 2,
        "deleted": true,
        "value": null
      }
    },
    "target_state": {
      "player-a": {
        "version": 2,
        "deleted": false,
        "value": "gold"
      },
      "player-b": {
        "version": 3,
        "deleted": true,
        "value": null
      },
      "player-c": {
        "version": 1,
        "deleted": false,
        "value": "bronze"
      },
      "player-d": {
        "version": 2,
        "deleted": true,
        "value": null
      }
    },
    "active_equal": true,
    "including_tombstones_equal": true
  },
  "cli_demo": {
    "synthetic": true,
    "batch_size": 2,
    "events": [
      {
        "offset": 1,
        "event_id": "evt-1",
        "entity_id": "player-a",
        "version": 1,
        "op": "insert",
        "value": "bronze"
      },
      {
        "offset": 2,
        "event_id": "evt-2",
        "entity_id": "player-b",
        "version": 1,
        "op": "insert",
        "value": "silver"
      },
      {
        "offset": 3,
        "event_id": "evt-3",
        "entity_id": "player-a",
        "version": 2,
        "op": "update",
        "value": "gold"
      },
      {
        "offset": 4,
        "event_id": "evt-4",
        "entity_id": "player-b",
        "version": 3,
        "op": "delete",
        "value": null
      },
      {
        "offset": 5,
        "event_id": "evt-5",
        "entity_id": "player-b",
        "version": 2,
        "op": "update",
        "value": "gold"
      },
      {
        "offset": 6,
        "event_id": "evt-6",
        "entity_id": "player-c",
        "version": 1,
        "op": "insert",
        "value": "bronze"
      },
      {
        "offset": 7,
        "event_id": "evt-7",
        "entity_id": "player-a",
        "version": 2,
        "op": "update",
        "value": "gold"
      },
      {
        "offset": 8,
        "event_id": "evt-8",
        "entity_id": "player-d",
        "version": 2,
        "op": "delete",
        "value": null
      },
      {
        "offset": 9,
        "event_id": "evt-9",
        "entity_id": "player-d",
        "version": 1,
        "op": "insert",
        "value": "silver"
      }
    ],
    "initial": {
      "applied": 2,
      "stale": 0,
      "replayed": 0,
      "checkpoint": 2
    },
    "rollback": {
      "error": "injected failure after 2 envelopes",
      "checkpoint_before": 2,
      "checkpoint_after": 2,
      "state_unchanged": true
    },
    "retry": {
      "applied": 2,
      "stale": 0,
      "replayed": 0,
      "checkpoint": 4
    },
    "remaining_pages": [
      {
        "applied": 1,
        "stale": 1,
        "replayed": 0,
        "checkpoint": 6
      },
      {
        "applied": 1,
        "stale": 1,
        "replayed": 0,
        "checkpoint": 8
      },
      {
        "applied": 0,
        "stale": 1,
        "replayed": 0,
        "checkpoint": 9
      }
    ],
    "replay": {
      "applied": 0,
      "stale": 0,
      "replayed": 9,
      "checkpoint": 9
    },
    "source_full_reload": {
      "player-a": "gold",
      "player-c": "bronze"
    },
    "incremental_snapshot": {
      "player-a": "gold",
      "player-c": "bronze"
    },
    "source_state": {
      "player-a": {
        "version": 2,
        "deleted": false,
        "value": "gold"
      },
      "player-b": {
        "version": 3,
        "deleted": true,
        "value": null
      },
      "player-c": {
        "version": 1,
        "deleted": false,
        "value": "bronze"
      },
      "player-d": {
        "version": 2,
        "deleted": true,
        "value": null
      }
    },
    "incremental_state": {
      "player-a": {
        "version": 2,
        "deleted": false,
        "value": "gold"
      },
      "player-b": {
        "version": 3,
        "deleted": true,
        "value": null
      },
      "player-c": {
        "version": 1,
        "deleted": false,
        "value": "bronze"
      },
      "player-d": {
        "version": 2,
        "deleted": true,
        "value": null
      }
    },
    "active_rows_equal": true,
    "including_tombstones_equal": true
  }
}