{
 "type": "excalidraw",
 "version": 2,
 "source": "https://excalidraw.com",
 "elements": [
  {
   "type": "rectangle",
   "id": "canvas_bounds",
   "x": 0,
   "y": 0,
   "width": 1140,
   "height": 1010,
   "strokeColor": "transparent",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 0,
   "opacity": 100,
   "angle": 0,
   "seed": 21007,
   "version": 1,
   "versionNonce": 63022,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1
  },
  {
   "type": "text",
   "id": "tex1",
   "x": 40,
   "y": 36,
   "width": 1019.1999999999999,
   "height": 35.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 21014,
   "version": 1,
   "versionNonce": 63043,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "The sweep moves the BBO past a stale join; a rescan makes it the taker",
   "originalText": "The sweep moves the BBO past a stale join; a rescan makes it the taker",
   "fontSize": 28,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "tex2",
   "x": 40,
   "y": 80,
   "width": 814.32,
   "height": 22.5,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 21021,
   "version": 1,
   "versionNonce": 63064,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "T buys 500 @ p and sweeps the asks; M's sell join was judged against the old snapshot v",
   "originalText": "T buys 500 @ p and sweeps the asks; M's sell join was judged against the old snapshot v",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "rec3",
   "x": 30.0,
   "y": 140,
   "width": 220,
   "height": 50,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 21028,
   "version": 1,
   "versionNonce": 63085,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "tex4",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "tex4",
   "x": 46.39999999999999,
   "y": 153.75,
   "width": 187.20000000000002,
   "height": 22.5,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 21035,
   "version": 1,
   "versionNonce": 63106,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "lane T (buy 500 @ p)",
   "originalText": "lane T (buy 500 @ p)",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "rec3",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "line",
   "id": "lin5",
   "x": 140,
   "y": 190,
   "width": 0,
   "height": 690,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "dashed",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 21042,
   "version": 1,
   "versionNonce": 63127,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     690
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": null
  },
  {
   "type": "rectangle",
   "id": "rec6",
   "x": 385.0,
   "y": 140,
   "width": 130,
   "height": 50,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 21049,
   "version": 1,
   "versionNonce": 63148,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "tex7",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "tex7",
   "x": 412.56,
   "y": 153.75,
   "width": 74.88,
   "height": 22.5,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 21056,
   "version": 1,
   "versionNonce": 63169,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "BBO core",
   "originalText": "BBO core",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "rec6",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "line",
   "id": "lin8",
   "x": 450,
   "y": 190,
   "width": 0,
   "height": 690,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "dashed",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 21063,
   "version": 1,
   "versionNonce": 63190,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     690
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": null
  },
  {
   "type": "rectangle",
   "id": "rec9",
   "x": 690.0,
   "y": 140,
   "width": 200,
   "height": 50,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 21070,
   "version": 1,
   "versionNonce": 63211,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "tex10",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "tex10",
   "x": 705.76,
   "y": 153.75,
   "width": 168.48,
   "height": 22.5,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 21077,
   "version": 1,
   "versionNonce": 63232,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "lane M (sell join)",
   "originalText": "lane M (sell join)",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "rec9",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "line",
   "id": "lin11",
   "x": 790,
   "y": 190,
   "width": 0,
   "height": 690,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "dashed",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 21084,
   "version": 1,
   "versionNonce": 63253,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     690
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": null
  },
  {
   "type": "rectangle",
   "id": "rec12",
   "x": 985.0,
   "y": 140,
   "width": 110,
   "height": 50,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 21091,
   "version": 1,
   "versionNonce": 63274,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "tex13",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "tex13",
   "x": 1007.24,
   "y": 153.75,
   "width": 65.52,
   "height": 22.5,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 21098,
   "version": 1,
   "versionNonce": 63295,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "fill TX",
   "originalText": "fill TX",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "rec12",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "line",
   "id": "lin14",
   "x": 1040,
   "y": 190,
   "width": 0,
   "height": 690,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "dashed",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 21105,
   "version": 1,
   "versionNonce": 63316,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     690
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": null
  },
  {
   "type": "arrow",
   "id": "arr15",
   "x": 146,
   "y": 222,
   "width": 298,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 21112,
   "version": 1,
   "versionNonce": 63337,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     298,
     0
    ]
   ],
   "roundness": null,
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false
  },
  {
   "type": "text",
   "id": "tex16",
   "x": 271.0,
   "y": 193.0,
   "width": 48.0,
   "height": 20.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 21119,
   "version": 1,
   "versionNonce": 63358,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "cross",
   "originalText": "cross",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "rec17",
   "x": 443,
   "y": 216,
   "width": 14,
   "height": 129,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 21126,
   "version": 1,
   "versionNonce": 63379,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roundness": null
  },
  {
   "type": "text",
   "id": "tex18",
   "x": 466,
   "y": 228,
   "width": 240.0,
   "height": 60.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 21133,
   "version": 1,
   "versionNonce": 63400,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "step s: sweep the asks\na1..a2 < p, 200 remains \u00b7\nit rests at bid = p",
   "originalText": "step s: sweep the asks\na1..a2 < p, 200 remains \u00b7\nit rests at bid = p",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "tex19",
   "x": 466,
   "y": 296,
   "width": 297.59999999999997,
   "height": 40.0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 21140,
   "version": 1,
   "versionNonce": 63421,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "the BBO moved through a\nlive snapshot: snap v+1 (bid p)",
   "originalText": "the BBO moved through a\nlive snapshot: snap v+1 (bid p)",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "tex20",
   "x": 806,
   "y": 222,
   "width": 163.2,
   "height": 40.0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 21147,
   "version": 1,
   "versionNonce": 63442,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "snapshot v (old):\nask = a1",
   "originalText": "snapshot v (old):\nask = a1",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "tex21",
   "x": 806,
   "y": 280,
   "width": 182.4,
   "height": 80.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 21154,
   "version": 1,
   "versionNonce": 63463,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "sell 100 @ q,\na1 \u2264 q \u2264 p\n= join vs v \u00b7\nwritten to M's FIFO",
   "originalText": "sell 100 @ q,\na1 \u2264 q \u2264 p\n= join vs v \u00b7\nwritten to M's FIFO",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "arr22",
   "x": 784,
   "y": 400,
   "width": 328,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 21161,
   "version": 1,
   "versionNonce": 63484,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     -328,
     0
    ]
   ],
   "roundness": null,
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false
  },
  {
   "type": "text",
   "id": "tex23",
   "x": 528.8,
   "y": 371.0,
   "width": 182.4,
   "height": 20.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 21168,
   "version": 1,
   "versionNonce": 63505,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "cut includes M's op",
   "originalText": "cut includes M's op",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "tex24",
   "x": 806,
   "y": 410,
   "width": 153.6,
   "height": 20.0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 21175,
   "version": 1,
   "versionNonce": 63526,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "M's snap ver = v",
   "originalText": "M's snap ver = v",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "rec25",
   "x": 443,
   "y": 406,
   "width": 14,
   "height": 314,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 21182,
   "version": 1,
   "versionNonce": 63547,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roundness": null
  },
  {
   "type": "text",
   "id": "tex26",
   "x": 466,
   "y": 440,
   "width": 278.4,
   "height": 80.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 21189,
   "version": 1,
   "versionNonce": 63568,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "step s+1 (Rescan): scan the\nlane FIFOs in [a1, p] for ops\nwhose snap ver < v+1,\nin cut order",
   "originalText": "step s+1 (Rescan): scan the\nlane FIFOs in [a1, p] for ops\nwhose snap ver < v+1,\nin cut order",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "tex27",
   "x": 466,
   "y": 534,
   "width": 249.6,
   "height": 40.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 21196,
   "version": 1,
   "versionNonce": 63589,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "M's sell @ q crosses bid p\n\u2192 fill 100",
   "originalText": "M's sell @ q crosses bid p\n\u2192 fill 100",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "arr28",
   "x": 444,
   "y": 610,
   "width": 298,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 21203,
   "version": 1,
   "versionNonce": 63610,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     -298,
     0
    ]
   ],
   "roundness": null,
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false
  },
  {
   "type": "text",
   "id": "tex29",
   "x": 208.60000000000002,
   "y": 581.0,
   "width": 172.79999999999998,
   "height": 20.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 21210,
   "version": 1,
   "versionNonce": 63631,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "fill event (maker)",
   "originalText": "fill event (maker)",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "arr30",
   "x": 456,
   "y": 660,
   "width": 328,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 21217,
   "version": 1,
   "versionNonce": 63652,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     328,
     0
    ]
   ],
   "roundness": null,
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false
  },
  {
   "type": "text",
   "id": "tex31",
   "x": 519.2,
   "y": 631.0,
   "width": 201.6,
   "height": 20.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 21224,
   "version": 1,
   "versionNonce": 63673,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "fill event (taker, M)",
   "originalText": "fill event (taker, M)",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "arr32",
   "x": 456,
   "y": 715,
   "width": 578,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 21231,
   "version": 1,
   "versionNonce": 63694,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     578,
     0
    ]
   ],
   "roundness": null,
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false
  },
  {
   "type": "text",
   "id": "tex33",
   "x": 562.6,
   "y": 686.0,
   "width": 364.8,
   "height": 20.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 21238,
   "version": 1,
   "versionNonce": 63715,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "StepRecord(s+1, Rescan) \u2192 core 4 \u2192 A|B",
   "originalText": "StepRecord(s+1, Rescan) \u2192 core 4 \u2192 A|B",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "tex34",
   "x": 876.4,
   "y": 722,
   "width": 153.6,
   "height": 20.0,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 21245,
   "version": 1,
   "versionNonce": 63736,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "(released \u2265 s+1)",
   "originalText": "(released \u2265 s+1)",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "right",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "tex35",
   "x": 466,
   "y": 760,
   "width": 307.2,
   "height": 40.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 21252,
   "version": 1,
   "versionNonce": 63757,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "repeat, one slice per step,\nwhile some lane's snap ver < v+1",
   "originalText": "repeat, one slice per step,\nwhile some lane's snap ver < v+1",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "tex36",
   "x": 806,
   "y": 790,
   "width": 182.4,
   "height": 40.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 21259,
   "version": 1,
   "versionNonce": 63778,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "M sends Fill(taker)\nto its client",
   "originalText": "M sends Fill(taker)\nto its client",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "tex37",
   "x": 156,
   "y": 836,
   "width": 220.79999999999998,
   "height": 20.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 21266,
   "version": 1,
   "versionNonce": 63799,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "TX core: T's maker Fill",
   "originalText": "TX core: T's maker Fill",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "tex38",
   "x": 154,
   "y": 262,
   "width": 196.56,
   "height": 180.0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 21273,
   "version": 1,
   "versionNonce": 63820,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "M's op was a join\nagainst snapshot v.\nThe rescan makes it\nthe aggressor: M's\nclient gets an Ack,\nthen a Fill as taker,\nboth from lane M\n(ARC-D7)",
   "originalText": "M's op was a join\nagainst snapshot v.\nThe rescan makes it\nthe aggressor: M's\nclient gets an Ack,\nthen a Fill as taker,\nboth from lane M\n(ARC-D7)",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "arr39",
   "x": 300,
   "y": 452,
   "width": 156,
   "height": 96,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 21280,
   "version": 1,
   "versionNonce": 63841,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     90,
     63
    ],
    [
     156,
     96
    ]
   ],
   "roundness": {
    "type": 2
   },
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false
  },
  {
   "type": "text",
   "id": "tex40",
   "x": 470,
   "y": 904,
   "width": 561.6,
   "height": 45.0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 21287,
   "version": 1,
   "versionNonce": 63862,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "each rescan step is one slice of at most ARC_STEP_BUDGET_NS,\nso a rescan never holds back other lanes' cuts or crosses",
   "originalText": "each rescan step is one slice of at most ARC_STEP_BUDGET_NS,\nso a rescan never holds back other lanes' cuts or crosses",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "arr41",
   "x": 462,
   "y": 918,
   "width": 14,
   "height": 110,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 21294,
   "version": 1,
   "versionNonce": 63883,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     -14,
     -58
    ],
    [
     -4,
     -110
    ]
   ],
   "roundness": {
    "type": 2
   },
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false
  }
 ],
 "appState": {
  "viewBackgroundColor": "#ffffff",
  "gridSize": 20
 },
 "files": {}
}