{ "type": "excalidraw", "version": 2, "source": "https://excalidraw.com", "elements": [ { "type": "rectangle", "id": "canvas_bounds", "x": 0, "y": 0, "width": 1140, "height": 860, "strokeColor": "transparent", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 0, "opacity": 100, "angle": 0, "seed": 22007, "version": 1, "versionNonce": 66022, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1 }, { "type": "text", "id": "tex1", "x": 40, "y": 36, "width": 946.4000000000001, "height": 35.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 22014, "version": 1, "versionNonce": 66043, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "text": "When a lane empties the best bid, the BBO core finds the next one", "originalText": "When a lane empties the best bid, the BBO core finds the next one", "fontSize": 28, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "type": "text", "id": "tex2", "x": 40, "y": 80, "width": 683.28, "height": 22.5, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 22021, "version": 1, "versionNonce": 66064, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "text": "depletion: lane L cancels the last own order at its snapshot's best bid b", "originalText": "depletion: lane L cancels the last own order at its snapshot's best bid b", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "type": "rectangle", "id": "rec3", "x": 95.0, "y": 140, "width": 130, "height": 50, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 22028, "version": 1, "versionNonce": 66085, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "tex4", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roundness": { "type": 3 } }, { "type": "text", "id": "tex4", "x": 131.92000000000002, "y": 153.75, "width": 56.160000000000004, "height": 22.5, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 22035, "version": 1, "versionNonce": 66106, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "text": "lane L", "originalText": "lane L", "fontSize": 18, "fontFamily": 5, "textAlign": "center", "verticalAlign": "middle", "containerId": "rec3", "lineHeight": 1.25, "autoResize": true }, { "type": "line", "id": "lin5", "x": 160, "y": 190, "width": 0, "height": 530, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "angle": 0, "seed": 22042, "version": 1, "versionNonce": 66127, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "points": [ [ 0, 0 ], [ 0, 530 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": null }, { "type": "rectangle", "id": "rec6", "x": 405.0, "y": 140, "width": 130, "height": 50, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 22049, "version": 1, "versionNonce": 66148, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "tex7", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roundness": { "type": 3 } }, { "type": "text", "id": "tex7", "x": 432.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": 22056, "version": 1, "versionNonce": 66169, "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": 470, "y": 190, "width": 0, "height": 530, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "angle": 0, "seed": 22063, "version": 1, "versionNonce": 66190, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "points": [ [ 0, 0 ], [ 0, 530 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": null }, { "type": "rectangle", "id": "rec9", "x": 930.0, "y": 140, "width": 140, "height": 50, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 22070, "version": 1, "versionNonce": 66211, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "tex10", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roundness": { "type": 3 } }, { "type": "text", "id": "tex10", "x": 957.88, "y": 153.75, "width": 84.24, "height": 22.5, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 22077, "version": 1, "versionNonce": 66232, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "text": "all lanes", "originalText": "all lanes", "fontSize": 18, "fontFamily": 5, "textAlign": "center", "verticalAlign": "middle", "containerId": "rec9", "lineHeight": 1.25, "autoResize": true }, { "type": "line", "id": "lin11", "x": 1000, "y": 190, "width": 0, "height": 530, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "angle": 0, "seed": 22084, "version": 1, "versionNonce": 66253, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "points": [ [ 0, 0 ], [ 0, 530 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": null }, { "type": "text", "id": "tex12", "x": 176, "y": 206, "width": 249.6, "height": 40.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 22091, "version": 1, "versionNonce": 66274, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "text": "cancel the last own order\nat its snapshot's best bid", "originalText": "cancel the last own order\nat its snapshot's best bid", "fontSize": 16, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "type": "arrow", "id": "arr13", "x": 166, "y": 290, "width": 298, "height": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 22098, "version": 1, "versionNonce": 66295, "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": "tex14", "x": 247.8, "y": 261.0, "width": 134.4, "height": 20.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 22105, "version": 1, "versionNonce": 66316, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "text": "depletion hint", "originalText": "depletion hint", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "type": "text", "id": "tex15", "x": 176, "y": 300, "width": 134.4, "height": 20.0, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 22112, "version": 1, "versionNonce": 66337, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "text": "(op LaneSeq x)", "originalText": "(op LaneSeq x)", "fontSize": 16, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "type": "text", "id": "tex16", "x": 486, "y": 268, "width": 38.4, "height": 20.0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 22119, "version": 1, "versionNonce": 66358, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "text": "+100", "originalText": "+100", "fontSize": 16, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "type": "rectangle", "id": "rec17", "x": 463, "y": 296, "width": 14, "height": 384, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 22126, "version": 1, "versionNonce": 66379, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roundness": null }, { "type": "text", "id": "tex18", "x": 486, "y": 300, "width": 268.8, "height": 20.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 22133, "version": 1, "versionNonce": 66400, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "text": "step s (Depletion), cut \u2265 x:", "originalText": "step s (Depletion), cut \u2265 x:", "fontSize": 16, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "type": "text", "id": "tex19", "x": 486, "y": 330, "width": 364.8, "height": 40.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 22140, "version": 1, "versionNonce": 66421, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "text": "the merged level at bid b, filtered by\nthe cut and the tombstones", "originalText": "the merged level at bid b, filtered by\nthe cut and the tombstones", "fontSize": 16, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "type": "diamond", "id": "dia20", "x": 500, "y": 392, "width": 170, "height": 90, "strokeColor": "#191B26", "backgroundColor": "#FFFFFF", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 22147, "version": 1, "versionNonce": 66442, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1 }, { "type": "text", "id": "tex21", "x": 556.92, "y": 424, "width": 56.160000000000004, "height": 22.5, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 22154, "version": 1, "versionNonce": 66463, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "text": "empty?", "originalText": "empty?", "fontSize": 18, "fontFamily": 5, "textAlign": "center", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "type": "arrow", "id": "arr22", "x": 672, "y": 437, "width": 72, "height": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 22161, "version": 1, "versionNonce": 66484, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "points": [ [ 0, 0 ], [ 72, 0 ] ], "roundness": null, "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow", "elbowed": false }, { "type": "text", "id": "tex23", "x": 699.68, "y": 410, "width": 16.64, "height": 20.0, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 22168, "version": 1, "versionNonce": 66505, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "text": "no", "originalText": "no", "fontSize": 16, "fontFamily": 5, "textAlign": "center", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "type": "rectangle", "id": "rec24", "x": 750, "y": 394, "width": 220, "height": 86, "strokeColor": "#565A6B", "backgroundColor": "#FFFFFF", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "angle": 0, "seed": 22175, "version": 1, "versionNonce": 66526, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "tex25", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roundness": { "type": 3 } }, { "type": "text", "id": "tex25", "x": 775.76, "y": 403.25, "width": 168.48, "height": 67.5, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 22182, "version": 1, "versionNonce": 66547, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "text": "Idle\n(other lanes still\nrest at b)", "originalText": "Idle\n(other lanes still\nrest at b)", "fontSize": 18, "fontFamily": 5, "textAlign": "center", "verticalAlign": "middle", "containerId": "rec24", "lineHeight": 1.25, "autoResize": true }, { "type": "arrow", "id": "arr26", "x": 585, "y": 484, "width": 0, "height": 36, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 22189, "version": 1, "versionNonce": 66568, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "points": [ [ 0, 0 ], [ 0, 36 ] ], "roundness": null, "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow", "elbowed": false }, { "type": "text", "id": "tex27", "x": 596, "y": 490, "width": 24.96, "height": 20.0, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 22196, "version": 1, "versionNonce": 66589, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "text": "yes", "originalText": "yes", "fontSize": 16, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "type": "text", "id": "tex28", "x": 486, "y": 528, "width": 259.2, "height": 20.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 22203, "version": 1, "versionNonce": 66610, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "text": "find the next best bid (05)", "originalText": "find the next best bid (05)", "fontSize": 16, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "type": "text", "id": "tex29", "x": 486, "y": 556, "width": 201.6, "height": 20.0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 22210, "version": 1, "versionNonce": 66631, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "text": "snap v+1 (bid b\u2032 < b)", "originalText": "snap v+1 (bid b\u2032 < b)", "fontSize": 16, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "type": "arrow", "id": "arr30", "x": 476, "y": 615, "width": 518, "height": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 22217, "version": 1, "versionNonce": 66652, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "points": [ [ 0, 0 ], [ 518, 0 ] ], "roundness": null, "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow", "elbowed": false }, { "type": "text", "id": "tex31", "x": 672.6, "y": 586.0, "width": 124.8, "height": 20.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 22224, "version": 1, "versionNonce": 66673, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "text": "snapshot line", "originalText": "snapshot line", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "type": "text", "id": "tex32", "x": 798.0, "y": 622, "width": 192.0, "height": 20.0, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 22231, "version": 1, "versionNonce": 66694, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "text": "read once per packet", "originalText": "read once per packet", "fontSize": 16, "fontFamily": 3, "textAlign": "right", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "type": "arrow", "id": "arr33", "x": 476, "y": 670, "width": 244, "height": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 22238, "version": 1, "versionNonce": 66715, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "points": [ [ 0, 0 ], [ 244, 0 ] ], "roundness": null, "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow", "elbowed": false }, { "type": "text", "id": "tex34", "x": 552.0, "y": 638, "width": 96.0, "height": 20.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 22245, "version": 1, "versionNonce": 66736, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "text": "StepRecord", "originalText": "StepRecord", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "type": "text", "id": "tex35", "x": 732, "y": 658, "width": 115.19999999999999, "height": 20.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 22252, "version": 1, "versionNonce": 66757, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "text": "core 4 \u2192 A|B", "originalText": "core 4 \u2192 A|B", "fontSize": 16, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "type": "text", "id": "tex36", "x": 176, "y": 380, "width": 252.72000000000003, "height": 135.0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 22259, "version": 1, "versionNonce": 66778, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "text": "until step s publishes\nthe new snapshot, the stale\nbid b is stale in the safe\ndirection: it sends extra\norders to the BBO core,\nnever fewer (DESIGN \u00a73)", "originalText": "until step s publishes\nthe new snapshot, the stale\nbid b is stale in the safe\ndirection: it sends extra\norders to the BBO core,\nnever fewer (DESIGN \u00a73)", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "type": "arrow", "id": "arr37", "x": 300, "y": 520, "width": 160, "height": 92, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 22266, "version": 1, "versionNonce": 66799, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "points": [ [ 0, 0 ], [ 60, 60 ], [ 160, 92 ] ], "roundness": { "type": 2 }, "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow", "elbowed": false }, { "type": "text", "id": "tex38", "x": 640, "y": 740, "width": 430.56000000000006, "height": 45.0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 22273, "version": 1, "versionNonce": 66820, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "text": "new snapshot visible ~215 ns after the hint:\nhint +100, step 15, snapshot to the lanes +100", "originalText": "new snapshot visible ~215 ns after the hint:\nhint +100, step 15, snapshot to the lanes +100", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "type": "arrow", "id": "arr39", "x": 1072, "y": 738, "width": 82, "height": 110, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 22280, "version": 1, "versionNonce": 66841, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "points": [ [ 0, 0 ], [ 18, -48 ], [ -64, -110 ] ], "roundness": { "type": 2 }, "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow", "elbowed": false }, { "type": "text", "id": "tex40", "x": 40, "y": 800, "width": 636.48, "height": 22.5, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 22287, "version": 1, "versionNonce": 66862, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "text": "No client response comes from this step. The CancelAck follows \u00a76.2.", "originalText": "No client response comes from this step. The CancelAck follows \u00a76.2.", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25, "autoResize": true } ], "appState": { "viewBackgroundColor": "#ffffff", "gridSize": 20 }, "files": {} }