{ "type": "excalidraw", "version": 2, "source": "https://excalidraw.com", "elements": [ { "type": "rectangle", "id": "frame", "x": 0, "y": 0, "width": 1160, "height": 930, "strokeColor": "transparent", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 0, "opacity": 100, "angle": 0, "seed": 1007, "version": 1, "versionNonce": 5013, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null }, { "type": "text", "id": "t2", "x": 40, "y": 36, "width": 785.4000000000001, "height": 70.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1014, "version": 1, "versionNonce": 5026, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "Self-trade prevention stays in one lane:\nthe BBO core marks h, the lane writes the tombstone", "originalText": "Self-trade prevention stays in one lane:\nthe BBO core marks h, the lane writes the tombstone", "fontSize": 28, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t3", "x": 40, "y": 116, "width": 288.0, "height": 20.0, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1021, "version": 1, "versionNonce": 5039, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "03 §6.11 · STP = cancel oldest", "originalText": "03 §6.11 · STP = cancel oldest", "fontSize": 16, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "rectangle", "id": "b4", "x": 60.0, "y": 160, "width": 300, "height": 56, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1028, "version": 1, "versionNonce": 5052, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": { "type": 3 } }, { "type": "text", "id": "t5", "x": 178.65, "y": 176.125, "width": 62.7, "height": 23.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1035, "version": 1, "versionNonce": 5065, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "lane A", "originalText": "lane A", "fontSize": 19, "fontFamily": 5, "textAlign": "center", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t6", "x": 74.42499999999998, "y": 222, "width": 271.15000000000003, "height": 42.5, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1042, "version": 1, "versionNonce": 5078, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "account a owns both the taker\nand a resting order h", "originalText": "account a owns both the taker\nand a resting order h", "fontSize": 17, "fontFamily": 5, "textAlign": "center", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "rectangle", "id": "b7", "x": 610.0, "y": 160, "width": 220, "height": 56, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1049, "version": 1, "versionNonce": 5091, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": { "type": 3 } }, { "type": "text", "id": "t8", "x": 678.2, "y": 176.125, "width": 83.60000000000001, "height": 23.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1056, "version": 1, "versionNonce": 5104, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "BBO core", "originalText": "BBO core", "fontSize": 19, "fontFamily": 5, "textAlign": "center", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "line", "id": "l9", "x": 210, "y": 270, "width": 0, "height": 530, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1063, "version": 1, "versionNonce": 5117, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 530 ] ] }, { "type": "line", "id": "l10", "x": 720, "y": 216, "width": 0, "height": 584, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1070, "version": 1, "versionNonce": 5130, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 584 ] ] }, { "type": "text", "id": "t11", "x": 230, "y": 300, "width": 257.40000000000003, "height": 22.5, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1077, "version": 1, "versionNonce": 5143, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "cross, STP = cancel oldest", "originalText": "cross, STP = cancel oldest", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "arrow", "id": "a12", "x": 210, "y": 330, "width": 510, "height": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1084, "version": 1, "versionNonce": 5156, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 510, 0 ] ], "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "type": "ellipse", "id": "d13", "x": 714, "y": 324, "width": 12, "height": 12, "strokeColor": "#191B26", "backgroundColor": "#191B26", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1091, "version": 1, "versionNonce": 5169, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null }, { "type": "text", "id": "t14", "x": 740, "y": 344, "width": 237.60000000000002, "height": 22.5, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1098, "version": 1, "versionNonce": 5182, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "step s: walking level a1", "originalText": "step s: walking level a1", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t15", "x": 740, "y": 370, "width": 267.3, "height": 22.5, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1105, "version": 1, "versionNonce": 5195, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "the head is a's own order h", "originalText": "the head is a's own order h", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "rectangle", "id": "b16", "x": 740, "y": 410, "width": 390, "height": 124, "strokeColor": "#191B26", "backgroundColor": "#FFFFFF", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1112, "version": 1, "versionNonce": 5208, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null }, { "type": "text", "id": "t17", "x": 750, "y": 416, "width": 272.8, "height": 20.0, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1119, "version": 1, "versionNonce": 5221, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "BBO core's own array · level a1", "originalText": "BBO core's own array · level a1", "fontSize": 16, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "rectangle", "id": "b18", "x": 780, "y": 446, "width": 150, "height": 56, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1126, "version": 1, "versionNonce": 5234, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": { "type": 3 } }, { "type": "text", "id": "t19", "x": 848.4, "y": 459.0, "width": 13.200000000000001, "height": 30.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1133, "version": 1, "versionNonce": 5247, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "h", "originalText": "h", "fontSize": 24, "fontFamily": 5, "textAlign": "center", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "line", "id": "l20", "x": 790, "y": 494, "width": 130, "height": 40, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1140, "version": 1, "versionNonce": 5260, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 130, -40 ] ] }, { "type": "text", "id": "t21", "x": 753.8, "y": 506, "width": 202.4, "height": 20.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1147, "version": 1, "versionNonce": 5273, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "a's own · marked closed", "originalText": "a's own · marked closed", "fontSize": 16, "fontFamily": 5, "textAlign": "center", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "rectangle", "id": "b22", "x": 970, "y": 446, "width": 140, "height": 56, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1154, "version": 1, "versionNonce": 5286, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": { "type": 3 } }, { "type": "text", "id": "t23", "x": 997.925, "y": 463.375, "width": 84.15, "height": 21.25, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1161, "version": 1, "versionNonce": 5299, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "next head", "originalText": "next head", "fontSize": 17, "fontFamily": 5, "textAlign": "center", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "arrow", "id": "a24", "x": 934, "y": 474, "width": 32, "height": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1168, "version": 1, "versionNonce": 5312, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 32, 0 ] ], "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "type": "text", "id": "t25", "x": 740, "y": 546, "width": 402.05, "height": 42.5, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1175, "version": 1, "versionNonce": 5325, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "STP: mark h closed in the core's own array,\ncontinue with the next head", "originalText": "STP: mark h closed in the core's own array,\ncontinue with the next head", "fontSize": 17, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t26", "x": 740, "y": 590, "width": 257.40000000000003, "height": 22.5, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1182, "version": 1, "versionNonce": 5338, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "(no lane field is written)", "originalText": "(no lane field is written)", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t27", "x": 230, "y": 620, "width": 99.00000000000001, "height": 22.5, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1189, "version": 1, "versionNonce": 5351, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "fill ring:", "originalText": "fill ring:", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t28", "x": 330.6, "y": 620, "width": 153.0, "height": 21.25, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1196, "version": 1, "versionNonce": 5364, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "(s, h, STP-out)", "originalText": "(s, h, STP-out)", "fontSize": 17, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t29", "x": 490.6, "y": 620, "width": 128.70000000000002, "height": 22.5, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1203, "version": 1, "versionNonce": 5377, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "· taker fills", "originalText": "· taker fills", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "arrow", "id": "a30", "x": 720, "y": 650, "width": 510, "height": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1210, "version": 1, "versionNonce": 5390, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ -510, 0 ] ], "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "type": "text", "id": "t31", "x": 230, "y": 664, "width": 492.80000000000007, "height": 60.0, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1217, "version": 1, "versionNonce": 5403, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "an earlier op of the same packet is in the push's\ndependency list with its pre-assigned handle (01 §14.2),\nso STP sees it as if it rested at its own priority", "originalText": "an earlier op of the same packet is in the push's\ndependency list with its pre-assigned handle (01 §14.2),\nso STP sees it as if it rested at its own priority", "fontSize": 16, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "ellipse", "id": "d32", "x": 204, "y": 736, "width": 12, "height": 12, "strokeColor": "#191B26", "backgroundColor": "#191B26", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1224, "version": 1, "versionNonce": 5416, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null }, { "type": "text", "id": "t33", "x": 230, "y": 730, "width": 250.8, "height": 23.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1231, "version": 1, "versionNonce": 5429, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "write the tombstone on h", "originalText": "write the tombstone on h", "fontSize": 19, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t34", "x": 230, "y": 756, "width": 187.00000000000003, "height": 21.25, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1238, "version": 1, "versionNonce": 5442, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "(lane-written field)", "originalText": "(lane-written field)", "fontSize": 17, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "rectangle", "id": "b35", "x": 60, "y": 806, "width": 200, "height": 50, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1245, "version": 1, "versionNonce": 5455, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": { "type": 3 } }, { "type": "text", "id": "t36", "x": 125.35, "y": 819.75, "width": 69.30000000000001, "height": 22.5, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1252, "version": 1, "versionNonce": 5468, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "TX core", "originalText": "TX core", "fontSize": 18, "fontFamily": 5, "textAlign": "center", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "arrow", "id": "a37", "x": 270, "y": 831, "width": 520, "height": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1259, "version": 1, "versionNonce": 5481, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 520, 0 ] ], "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "type": "text", "id": "t38", "x": 290, "y": 796, "width": 163.2, "height": 20.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1266, "version": 1, "versionNonce": 5494, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "Out(h, cause STP)", "originalText": "Out(h, cause STP)", "fontSize": 16, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t39", "x": 460.2, "y": 796, "width": 140.25, "height": 21.25, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1273, "version": 1, "versionNonce": 5507, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "and the taker's", "originalText": "and the taker's", "fontSize": 17, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t40", "x": 599.8, "y": 796, "width": 76.8, "height": 20.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1280, "version": 1, "versionNonce": 5520, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "Fill/Out", "originalText": "Fill/Out", "fontSize": 16, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t41", "x": 290, "y": 842, "width": 158.4, "height": 20.0, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1287, "version": 1, "versionNonce": 5533, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "in step s (ARC-D7)", "originalText": "in step s (ARC-D7)", "fontSize": 16, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "rectangle", "id": "b42", "x": 800, "y": 806, "width": 150, "height": 50, "strokeColor": "#191B26", "backgroundColor": "#FFFFFF", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1294, "version": 1, "versionNonce": 5546, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": { "type": 3 } }, { "type": "text", "id": "t43", "x": 845.3, "y": 819.75, "width": 59.400000000000006, "height": 22.5, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1301, "version": 1, "versionNonce": 5559, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "client", "originalText": "client", "fontSize": 18, "fontFamily": 5, "textAlign": "center", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t44", "x": 880, "y": 664, "width": 217.8, "height": 67.5, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1308, "version": 1, "versionNonce": 5572, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "one writer per field:\nthe core never touches\nh's lane field", "originalText": "one writer per field:\nthe core never touches\nh's lane field", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "arrow", "id": "a45", "x": 960, "y": 660, "width": 25, "height": 42, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1315, "version": 1, "versionNonce": 5585, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": { "type": 2 }, "points": [ [ 0, 0 ], [ 25, -20 ], [ 0, -42 ] ], "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "type": "text", "id": "t46", "x": 384, "y": 232, "width": 287.1, "height": 45.0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1322, "version": 1, "versionNonce": 5598, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "an account lives in one lane,\nso the taker and h meet here", "originalText": "an account lives in one lane,\nso the taker and h meet here", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "arrow", "id": "a47", "x": 378, "y": 246, "width": 38, "height": 26, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1329, "version": 1, "versionNonce": 5611, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": { "type": 2 }, "points": [ [ 0, 0 ], [ -22, -6 ], [ -38, -26 ] ], "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "type": "text", "id": "t48", "x": 40, "y": 880, "width": 563.2, "height": 20.0, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1336, "version": 1, "versionNonce": 5624, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "cancel newest: outs the taker, leaves h · cancel both: does both", "originalText": "cancel newest: outs the taker, leaves h · cancel both: does both", "fontSize": 16, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null } ], "appState": { "viewBackgroundColor": "#ffffff", "gridSize": 20 }, "files": {} }