{ "type": "excalidraw", "version": 2, "source": "https://excalidraw.com", "elements": [ { "type": "rectangle", "id": "canvas_frame", "x": 0, "y": 0, "width": 1170, "height": 1090, "strokeColor": "transparent", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 0, "opacity": 100, "angle": 0, "seed": 1055002771, "version": 1, "versionNonce": 1795383220, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null }, { "type": "text", "id": "title", "x": 40, "y": 40, "width": 902.72, "height": 35.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 724990060, "version": 1, "versionNonce": 555222682, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "The client follows every order from SENT to one terminal state", "originalText": "The client follows every order from SENT to one terminal state", "fontSize": 28, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25 }, { "type": "text", "id": "sub", "x": 40, "y": 82, "width": 548.08, "height": 21.25, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1476559581, "version": 1, "versionNonce": 1623114449, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "one machine per order; open = order qty − fills − canceled qty", "originalText": "one machine per order; open = order qty − fills − canceled qty", "fontSize": 17, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25 }, { "type": "text", "id": "start", "x": 336.74, "y": 128, "width": 286.52, "height": 23.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 675529104, "version": 1, "versionNonce": 1591072844, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "send New (pkt_seq p, index i)", "originalText": "send New (pkt_seq p, index i)", "fontSize": 19, "fontFamily": 5, "textAlign": "center", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25 }, { "type": "arrow", "id": "a_start", "x": 480, "y": 156, "width": 0, "height": 40, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 338591904, "version": 1, "versionNonce": 1803080471, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 40 ] ], "startArrowhead": null, "endArrowhead": "arrow", "startBinding": null, "endBinding": null, "lastCommittedPoint": null, "elbowed": false }, { "type": "rectangle", "id": "sent", "x": 370, "y": 200, "width": 220, "height": 60, "strokeColor": "#191B26", "backgroundColor": "#FFFFFF", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1133418154, "version": 1, "versionNonce": 1571885696, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "sent_t", "type": "text" } ], "link": null, "locked": false, "roundness": { "type": 3 } }, { "type": "text", "id": "sent_t", "x": 378, "y": 217.5, "width": 204, "height": 25.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 414646004, "version": 1, "versionNonce": 1630147896, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "SENT", "originalText": "SENT", "fontSize": 20, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "containerId": "sent", "lineHeight": 1.25 }, { "type": "arrow", "id": "a_loop", "x": 368, "y": 214, "width": 66, "height": 48, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1211295669, "version": 1, "versionNonce": 1191719577, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": { "type": 2 }, "points": [ [ 0, 0 ], [ -46, -8 ], [ -66, 16 ], [ -46, 40 ], [ -2, 32 ] ], "startArrowhead": null, "endArrowhead": "arrow", "startBinding": null, "endBinding": null, "lastCommittedPoint": null, "elbowed": false }, { "type": "text", "id": "a_loop_l", "x": 115.19999999999999, "y": 206, "width": 176.8, "height": 42.5, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 251893315, "version": 1, "versionNonce": 1761964198, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "no answer: resend p\nwith bit0 = 1 (§5.1)", "originalText": "no answer: resend p\nwith bit0 = 1 (§5.1)", "fontSize": 17, "fontFamily": 5, "textAlign": "right", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25 }, { "type": "arrow", "id": "spine", "x": 480, "y": 262, "width": 0, "height": 234, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 463100624, "version": 1, "versionNonce": 62179581, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 234 ] ], "startArrowhead": null, "endArrowhead": "arrow", "startBinding": null, "endBinding": null, "lastCommittedPoint": null, "elbowed": false }, { "type": "arrow", "id": "b_rej", "x": 480, "y": 300, "width": 396, "height": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1411802975, "version": 1, "versionNonce": 237090507, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 396, 0 ] ], "startArrowhead": null, "endArrowhead": "arrow", "startBinding": null, "endBinding": null, "lastCommittedPoint": null, "elbowed": false }, { "type": "text", "id": "b_rej_l", "x": 500, "y": 276, "width": 54.0, "height": 18.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1473976849, "version": 1, "versionNonce": 187539812, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "Reject", "originalText": "Reject", "fontSize": 15, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25 }, { "type": "ellipse", "id": "t_rej", "x": 880, "y": 278, "width": 180, "height": 44, "strokeColor": "#191B26", "backgroundColor": "#FFFFFF", "fillStyle": "solid", "strokeWidth": 3, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1146122621, "version": 1, "versionNonce": 170860351, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "t_rej_t", "type": "text" } ], "link": null, "locked": false, "roundness": { "type": 2 } }, { "type": "text", "id": "t_rej_t", "x": 888, "y": 289.375, "width": 164, "height": 21.25, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1631390643, "version": 1, "versionNonce": 1334639697, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "REJECTED", "originalText": "REJECTED", "fontSize": 17, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "containerId": "t_rej", "lineHeight": 1.25 }, { "type": "arrow", "id": "b_fil", "x": 480, "y": 356, "width": 396, "height": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 182421196, "version": 1, "versionNonce": 1575268483, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 396, 0 ] ], "startArrowhead": null, "endArrowhead": "arrow", "startBinding": null, "endBinding": null, "lastCommittedPoint": null, "elbowed": false }, { "type": "text", "id": "b_fil_l", "x": 500, "y": 332, "width": 171.0, "height": 18.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 338386009, "version": 1, "versionNonce": 1916478566, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "Fill… with open = 0", "originalText": "Fill… with open = 0", "fontSize": 15, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25 }, { "type": "ellipse", "id": "t_fil", "x": 880, "y": 334, "width": 180, "height": 44, "strokeColor": "#191B26", "backgroundColor": "#FFFFFF", "fillStyle": "solid", "strokeWidth": 3, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1850364138, "version": 1, "versionNonce": 1507809655, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "t_fil_t", "type": "text" } ], "link": null, "locked": false, "roundness": { "type": 2 } }, { "type": "text", "id": "t_fil_t", "x": 888, "y": 345.375, "width": 164, "height": 21.25, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 55143931, "version": 1, "versionNonce": 614429015, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "FILLED", "originalText": "FILLED", "fontSize": 17, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "containerId": "t_fil", "lineHeight": 1.25 }, { "type": "arrow", "id": "b_out", "x": 480, "y": 412, "width": 396, "height": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 27938896, "version": 1, "versionNonce": 1505404957, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 396, 0 ] ], "startArrowhead": null, "endArrowhead": "arrow", "startBinding": null, "endBinding": null, "lastCommittedPoint": null, "elbowed": false }, { "type": "text", "id": "b_out_l", "x": 500, "y": 388, "width": 126.0, "height": 18.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 297870535, "version": 1, "versionNonce": 1483531030, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "Fill… then Out", "originalText": "Fill… then Out", "fontSize": 15, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25 }, { "type": "ellipse", "id": "t_out", "x": 880, "y": 390, "width": 180, "height": 44, "strokeColor": "#191B26", "backgroundColor": "#FFFFFF", "fillStyle": "solid", "strokeWidth": 3, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 531962478, "version": 1, "versionNonce": 1573454313, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "t_out_t", "type": "text" } ], "link": null, "locked": false, "roundness": { "type": 2 } }, { "type": "text", "id": "t_out_t", "x": 888, "y": 401.375, "width": 164, "height": 21.25, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 111351141, "version": 1, "versionNonce": 508401191, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "OUT", "originalText": "OUT", "fontSize": 17, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "containerId": "t_out", "lineHeight": 1.25 }, { "type": "text", "id": "spine_l", "x": 496, "y": 452, "width": 198.0, "height": 18.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 858712103, "version": 1, "versionNonce": 495659150, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "Fill… then Ack, or Ack", "originalText": "Fill… then Ack, or Ack", "fontSize": 15, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25 }, { "type": "rectangle", "id": "live", "x": 370, "y": 500, "width": 220, "height": 120, "strokeColor": "#191B26", "backgroundColor": "#FFFFFF", "fillStyle": "solid", "strokeWidth": 3, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1393503408, "version": 1, "versionNonce": 1800627464, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "live_t", "type": "text" } ], "link": null, "locked": false, "roundness": { "type": 3 } }, { "type": "text", "id": "live_t", "x": 378, "y": 535.0, "width": 204, "height": 50.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 819296652, "version": 1, "versionNonce": 140631553, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "LIVE\n(handle h)", "originalText": "LIVE\n(handle h)", "fontSize": 20, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "containerId": "live", "lineHeight": 1.25 }, { "type": "arrow", "id": "l_fil", "x": 592, "y": 515, "width": 508, "height": 159, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1052353707, "version": 1, "versionNonce": 233810912, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 508, 0 ], [ 508, -159 ], [ 472, -159 ] ], "startArrowhead": null, "endArrowhead": "arrow", "startBinding": null, "endBinding": null, "lastCommittedPoint": null, "elbowed": false }, { "type": "text", "id": "l_fil_l", "x": 610, "y": 490, "width": 297.0, "height": 18.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1142171398, "version": 1, "versionNonce": 565339128, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "maker Fill: open −= qty; open = 0", "originalText": "maker Fill: open −= qty; open = 0", "fontSize": 15, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25 }, { "type": "arrow", "id": "l_out", "x": 592, "y": 550, "width": 538, "height": 138, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1327875631, "version": 1, "versionNonce": 161067842, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 538, 0 ], [ 538, -138 ], [ 472, -138 ] ], "startArrowhead": null, "endArrowhead": "arrow", "startBinding": null, "endBinding": null, "lastCommittedPoint": null, "elbowed": false }, { "type": "text", "id": "l_out_l", "x": 610, "y": 558, "width": 344.4, "height": 35.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1107189660, "version": 1, "versionNonce": 427336840, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "Out (STP, POST_ONLY, EXPIRED, DISCONNECT,\nLANE_MOVED, ADMIN, AUCTION_UNFILLED)", "originalText": "Out (STP, POST_ONLY, EXPIRED, DISCONNECT,\nLANE_MOVED, ADMIN, AUCTION_UNFILLED)", "fontSize": 14, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25 }, { "type": "rectangle", "id": "cp", "x": 80, "y": 760, "width": 240, "height": 60, "strokeColor": "#191B26", "backgroundColor": "#FFFFFF", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1594645416, "version": 1, "versionNonce": 1828390804, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "cp_t", "type": "text" } ], "link": null, "locked": false, "roundness": { "type": 3 } }, { "type": "text", "id": "cp_t", "x": 88, "y": 779.375, "width": 224, "height": 21.25, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 913120032, "version": 1, "versionNonce": 1203438547, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "CANCEL_PENDING", "originalText": "CANCEL_PENDING", "fontSize": 17, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "containerId": "cp", "lineHeight": 1.25 }, { "type": "rectangle", "id": "rp", "x": 380, "y": 760, "width": 220, "height": 60, "strokeColor": "#191B26", "backgroundColor": "#FFFFFF", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 215316664, "version": 1, "versionNonce": 211135338, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "rp_t", "type": "text" } ], "link": null, "locked": false, "roundness": { "type": 3 } }, { "type": "text", "id": "rp_t", "x": 388, "y": 779.375, "width": 204, "height": 21.25, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1737660390, "version": 1, "versionNonce": 1987725037, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "REDUCE_PENDING", "originalText": "REDUCE_PENDING", "fontSize": 17, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "containerId": "rp", "lineHeight": 1.25 }, { "type": "rectangle", "id": "pp", "x": 700, "y": 760, "width": 240, "height": 60, "strokeColor": "#191B26", "backgroundColor": "#FFFFFF", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1055070774, "version": 1, "versionNonce": 795267043, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "pp_t", "type": "text" } ], "link": null, "locked": false, "roundness": { "type": 3 } }, { "type": "text", "id": "pp_t", "x": 708, "y": 779.375, "width": 224, "height": 21.25, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1958863727, "version": 1, "versionNonce": 1001580520, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "REPLACE_PENDING", "originalText": "REPLACE_PENDING", "fontSize": 17, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "containerId": "pp", "lineHeight": 1.25 }, { "type": "arrow", "id": "s_c", "x": 400, "y": 622, "width": 180, "height": 134, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1080983139, "version": 1, "versionNonce": 431584190, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ -180, 134 ] ], "startArrowhead": null, "endArrowhead": "arrow", "startBinding": null, "endBinding": null, "lastCommittedPoint": null, "elbowed": false }, { "type": "text", "id": "s_c_l", "x": 191.0, "y": 676, "width": 99.0, "height": 18.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1632819048, "version": 1, "versionNonce": 152304630, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "send Cancel", "originalText": "send Cancel", "fontSize": 15, "fontFamily": 3, "textAlign": "right", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25 }, { "type": "arrow", "id": "s_r", "x": 460, "y": 622, "width": 0, "height": 134, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 719216273, "version": 1, "versionNonce": 73251579, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 134 ] ], "startArrowhead": null, "endArrowhead": "arrow", "startBinding": null, "endBinding": null, "lastCommittedPoint": null, "elbowed": false }, { "type": "text", "id": "s_r_l", "x": 353.0, "y": 704, "width": 99.0, "height": 18.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1312230945, "version": 1, "versionNonce": 1418937800, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "send Reduce", "originalText": "send Reduce", "fontSize": 15, "fontFamily": 3, "textAlign": "right", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25 }, { "type": "arrow", "id": "s_p", "x": 580, "y": 622, "width": 180, "height": 134, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1301982141, "version": 1, "versionNonce": 131690133, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 180, 134 ] ], "startArrowhead": null, "endArrowhead": "arrow", "startBinding": null, "endBinding": null, "lastCommittedPoint": null, "elbowed": false }, { "type": "text", "id": "s_p_l", "x": 690, "y": 668, "width": 108.0, "height": 18.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1337123407, "version": 1, "versionNonce": 777197224, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "send Replace", "originalText": "send Replace", "fontSize": 15, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25 }, { "type": "arrow", "id": "r_back", "x": 530, "y": 756, "width": 0, "height": 132, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "angle": 0, "seed": 31542105, "version": 1, "versionNonce": 1789077609, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, -132 ] ], "startArrowhead": null, "endArrowhead": "arrow", "startBinding": null, "endBinding": null, "lastCommittedPoint": null, "elbowed": false }, { "type": "text", "id": "r_back_l", "x": 542, "y": 690, "width": 108.0, "height": 37.5, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 878484659, "version": 1, "versionNonce": 166015434, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "otherwise:\nback to LIVE", "originalText": "otherwise:\nback to LIVE", "fontSize": 15, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25 }, { "type": "arrow", "id": "p_back", "x": 870, "y": 756, "width": 276, "height": 151, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1277815380, "version": 1, "versionNonce": 679882518, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, -151 ], [ -276, -151 ] ], "startArrowhead": null, "endArrowhead": "arrow", "startBinding": null, "endBinding": null, "lastCommittedPoint": null, "elbowed": false }, { "type": "text", "id": "p_back_l", "x": 882, "y": 628, "width": 198.0, "height": 75.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1921098704, "version": 1, "versionNonce": 219210229, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "Reject (not TOO_LATE):\nback to LIVE, h kept\nCancelAck(h), no new\nhandle: LIVE (reduced)", "originalText": "Reject (not TOO_LATE):\nback to LIVE, h kept\nCancelAck(h), no new\nhandle: LIVE (reduced)", "fontSize": 15, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25 }, { "type": "ellipse", "id": "end", "x": 100, "y": 960, "width": 840, "height": 80, "strokeColor": "#191B26", "backgroundColor": "#FFFFFF", "fillStyle": "solid", "strokeWidth": 3, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 16528306, "version": 1, "versionNonce": 1150026975, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "end_t", "type": "text" } ], "link": null, "locked": false, "roundness": { "type": 2 } }, { "type": "text", "id": "end_t", "x": 108, "y": 988.125, "width": 824, "height": 23.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1771837523, "version": 1, "versionNonce": 1647225042, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "CANCELED / FILLED / OUT (terminal)", "originalText": "CANCELED / FILLED / OUT (terminal)", "fontSize": 19, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "containerId": "end", "lineHeight": 1.25 }, { "type": "arrow", "id": "c_end", "x": 200, "y": 822, "width": 0, "height": 146, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1952649176, "version": 1, "versionNonce": 802408680, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 146 ] ], "startArrowhead": null, "endArrowhead": "arrow", "startBinding": null, "endBinding": null, "lastCommittedPoint": null, "elbowed": false }, { "type": "text", "id": "c_end_l", "x": 212, "y": 842, "width": 261.0, "height": 56.25, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1714963518, "version": 1, "versionNonce": 1801533891, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "CancelAck: CANCELED\nTOO_LATE: the fills before it\nended it (FILLED or OUT)", "originalText": "CancelAck: CANCELED\nTOO_LATE: the fills before it\nended it (FILLED or OUT)", "fontSize": 15, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25 }, { "type": "arrow", "id": "r_end", "x": 490, "y": 822, "width": 0, "height": 134, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 702788070, "version": 1, "versionNonce": 1721813918, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 134 ] ], "startArrowhead": null, "endArrowhead": "arrow", "startBinding": null, "endBinding": null, "lastCommittedPoint": null, "elbowed": false }, { "type": "text", "id": "r_end_l", "x": 502, "y": 842, "width": 207.0, "height": 37.5, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 811351880, "version": 1, "versionNonce": 1496161265, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "CancelAck: open −= qty;\nopen = 0 → CANCELED", "originalText": "CancelAck: open −= qty;\nopen = 0 → CANCELED", "fontSize": 15, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25 }, { "type": "arrow", "id": "p_end", "x": 820, "y": 822, "width": 0, "height": 144, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1394860678, "version": 1, "versionNonce": 47493813, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 144 ] ], "startArrowhead": null, "endArrowhead": "arrow", "startBinding": null, "endBinding": null, "lastCommittedPoint": null, "elbowed": false }, { "type": "text", "id": "p_end_l", "x": 832, "y": 842, "width": 261.0, "height": 75.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 806273647, "version": 1, "versionNonce": 10887031, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "CancelAck(h) + records of h':\nh ends (CANCELED), h' starts\nin SENT-like state with\nits records", "originalText": "CancelAck(h) + records of h':\nh ends (CANCELED), h' starts\nin SENT-like state with\nits records", "fontSize": 15, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25 }, { "type": "text", "id": "n1", "x": 40, "y": 466, "width": 234.0, "height": 67.5, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1950597357, "version": 1, "versionNonce": 1728226490, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "maker fills can arrive\nin every pending state;\nthey lower open there too", "originalText": "maker fills can arrive\nin every pending state;\nthey lower open there too", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25 }, { "type": "arrow", "id": "n1_a", "x": 80, "y": 542, "width": 50, "height": 212, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1.5, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1632447711, "version": 1, "versionNonce": 98238575, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": { "type": 2 }, "points": [ [ 0, 0 ], [ -20, 108 ], [ 30, 212 ] ], "startArrowhead": null, "endArrowhead": "arrow", "startBinding": null, "endBinding": null, "lastCommittedPoint": null, "elbowed": false }, { "type": "text", "id": "n2", "x": 690, "y": 136, "width": 282.88, "height": 42.5, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1919944023, "version": 1, "versionNonce": 1698962145, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "Reject BUSY is not REJECTED:\nthe order never reached the book", "originalText": "Reject BUSY is not REJECTED:\nthe order never reached the book", "fontSize": 17, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25 }, { "type": "arrow", "id": "n2_a", "x": 900, "y": 190, "width": 65, "height": 84, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1.5, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1670310536, "version": 1, "versionNonce": 984673983, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": { "type": 2 }, "points": [ [ 0, 0 ], [ 50, 40 ], [ 65, 84 ] ], "startArrowhead": null, "endArrowhead": "arrow", "startBinding": null, "endBinding": null, "lastCommittedPoint": null, "elbowed": false } ], "appState": { "viewBackgroundColor": "#ffffff", "gridSize": 20 }, "files": {} }