{ "type": "excalidraw", "version": 2, "source": "https://excalidraw.com", "elements": [ { "type": "rectangle", "id": "canvas_margin", "x": 10, "y": 10, "width": 1180, "height": 715.0, "angle": 0, "strokeColor": "transparent", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1367397668, "version": 1, "versionNonce": 1367397675, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null }, { "type": "text", "id": "title", "x": 40, "y": 40, "width": 649.8799999999999, "height": 70.0, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 724990059, "version": 1, "versionNonce": 724990066, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "Orders get answers all through the window;\nfills start at the uncross", "originalText": "Orders get answers all through the window;\nfills start at the uncross", "fontSize": 28, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 25 }, { "type": "text", "id": "sub", "x": 40, "y": 120, "width": 529.6, "height": 20.0, "angle": 0, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1476559580, "version": 1, "versionNonce": 1476559587, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "The new home's lanes from T until they are live in epoch e+1.", "originalText": "The new home's lanes from T until they are live in epoch e+1.", "fontSize": 16, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 14 }, { "type": "rectangle", "id": "ph0", "x": 80, "y": 220, "width": 300, "height": 56, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 541941825, "version": 1, "versionNonce": 541941832, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": [ { "id": "ph0_t", "type": "text" } ], "link": null, "locked": false, "updated": 1, "roundness": null }, { "type": "text", "id": "ph0_t", "x": 193.082, "y": 236.75, "width": 73.83599999999998, "height": 22.5, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 403522832, "version": 1, "versionNonce": 403522839, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "Collect", "originalText": "Collect", "fontSize": 18, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "lineHeight": 1.25, "containerId": "ph0", "autoResize": true, "baseline": 16 }, { "type": "rectangle", "id": "ph1", "x": 380, "y": 220, "width": 220, "height": 56, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1464488151, "version": 1, "versionNonce": 1464488158, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": [ { "id": "ph1_t", "type": "text" } ], "link": null, "locked": false, "updated": 1, "roundness": null }, { "type": "text", "id": "ph1_t", "x": 463.63, "y": 236.75, "width": 52.739999999999995, "height": 22.5, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 390799143, "version": 1, "versionNonce": 390799150, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "Apply", "originalText": "Apply", "fontSize": 18, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "lineHeight": 1.25, "containerId": "ph1", "autoResize": true, "baseline": 16 }, { "type": "rectangle", "id": "ph2", "x": 600, "y": 220, "width": 140, "height": 56, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1460497773, "version": 1, "versionNonce": 1460497780, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": [ { "id": "ph2_t", "type": "text" } ], "link": null, "locked": false, "updated": 1, "roundness": null }, { "type": "text", "id": "ph2_t", "x": 642.37, "y": 236.75, "width": 55.26, "height": 22.5, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 361789822, "version": 1, "versionNonce": 361789829, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "Close", "originalText": "Close", "fontSize": 18, "fontFamily": 5, "textAlign": "center", "verticalAlign": "middle", "lineHeight": 1.25, "containerId": "ph2", "autoResize": true, "baseline": 16 }, { "type": "rectangle", "id": "ph3", "x": 740, "y": 220, "width": 140, "height": 56, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "#191B26", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1108254203, "version": 1, "versionNonce": 1108254210, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": [ { "id": "ph3_t", "type": "text" } ], "link": null, "locked": false, "updated": 1, "roundness": null }, { "type": "text", "id": "ph3_t", "x": 773.082, "y": 236.75, "width": 73.83599999999998, "height": 22.5, "angle": 0, "strokeColor": "#F2D447", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 365876041, "version": 1, "versionNonce": 365876048, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "Uncross", "originalText": "Uncross", "fontSize": 18, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "lineHeight": 1.25, "containerId": "ph3", "autoResize": true, "baseline": 16 }, { "type": "rectangle", "id": "ph4", "x": 880, "y": 220, "width": 140, "height": 56, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 656450648, "version": 1, "versionNonce": 656450655, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": [ { "id": "ph4_t", "type": "text" } ], "link": null, "locked": false, "updated": 1, "roundness": null }, { "type": "text", "id": "ph4_t", "x": 908.24, "y": 236.75, "width": 83.52, "height": 22.5, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 286645708, "version": 1, "versionNonce": 286645715, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "catch-up", "originalText": "catch-up", "fontSize": 18, "fontFamily": 5, "textAlign": "center", "verticalAlign": "middle", "lineHeight": 1.25, "containerId": "ph4", "autoResize": true, "baseline": 16 }, { "type": "rectangle", "id": "ph5", "x": 1020, "y": 220, "width": 140, "height": 56, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 3, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1344771278, "version": 1, "versionNonce": 1344771285, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": [ { "id": "ph5_t", "type": "text" } ], "link": null, "locked": false, "updated": 1, "roundness": null }, { "type": "text", "id": "ph5_t", "x": 1042.534, "y": 236.75, "width": 94.932, "height": 22.5, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 307464187, "version": 1, "versionNonce": 307464194, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "Live(e+1)", "originalText": "Live(e+1)", "fontSize": 18, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "lineHeight": 1.25, "containerId": "ph5", "autoResize": true, "baseline": 16 }, { "type": "ellipse", "id": "dT", "x": 73, "y": 199, "width": 14, "height": 14, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "#191B26", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 743319985, "version": 1, "versionNonce": 743319992, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": { "type": 2 } }, { "type": "text", "id": "lT", "x": 74.14, "y": 170, "width": 11.719999999999999, "height": 25.0, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1835143097, "version": 1, "versionNonce": 1835143104, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "T", "originalText": "T", "fontSize": 20, "fontFamily": 3, "textAlign": "center", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 18 }, { "type": "ellipse", "id": "d_sp", "x": 373, "y": 199, "width": 14, "height": 14, "angle": 0, "strokeColor": "#5A2D91", "backgroundColor": "#5A2D91", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 801241548, "version": 1, "versionNonce": 801241555, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": { "type": 2 } }, { "type": "text", "id": "l_sp", "x": 338.69, "y": 170, "width": 82.62, "height": 22.5, "angle": 0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1665377571, "version": 1, "versionNonce": 1665377578, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "S′ known", "originalText": "S′ known", "fontSize": 18, "fontFamily": 5, "textAlign": "center", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 16 }, { "type": "ellipse", "id": "d_ok", "x": 593, "y": 199, "width": 14, "height": 14, "angle": 0, "strokeColor": "#5A2D91", "backgroundColor": "#5A2D91", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1404011901, "version": 1, "versionNonce": 1404011908, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": { "type": 2 } }, { "type": "text", "id": "l_ok", "x": 565.44, "y": 170, "width": 69.12, "height": 22.5, "angle": 0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 256979346, "version": 1, "versionNonce": 256979353, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "cert ok", "originalText": "cert ok", "fontSize": 18, "fontFamily": 5, "textAlign": "center", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 16 }, { "type": "text", "id": "desc0", "x": 90, "y": 290, "width": 233.6, "height": 60.0, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 564226912, "version": 1, "versionNonce": 564226919, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "lanes queue window packets\nqueued Ack ≤ 1 µs each\nwindow blocks final ≤ 10 ms", "originalText": "lanes queue window packets\nqueued Ack ≤ 1 µs each\nwindow blocks final ≤ 10 ms", "fontSize": 16, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 14 }, { "type": "text", "id": "desc1", "x": 390, "y": 290, "width": 132.16, "height": 40.0, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 23504886, "version": 1, "versionNonce": 23504893, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "lanes apply ops\nagainst S′", "originalText": "lanes apply ops\nagainst S′", "fontSize": 16, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 14 }, { "type": "text", "id": "desc2", "x": 610, "y": 290, "width": 98.55999999999999, "height": 20.0, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1993907788, "version": 1, "versionNonce": 1993907795, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "lanes close", "originalText": "lanes close", "fontSize": 16, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 14 }, { "type": "text", "id": "desc3", "x": 750, "y": 290, "width": 93.75999999999999, "height": 40.0, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 31436506, "version": 1, "versionNonce": 31436513, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "step U\n= (e+1, 1)", "originalText": "step U\n= (e+1, 1)", "fontSize": 16, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 14 }, { "type": "text", "id": "desc4", "x": 890, "y": 290, "width": 92.8, "height": 60.0, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 679847801, "version": 1, "versionNonce": 679847808, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "post-close\npackets as\ncontinuous", "originalText": "post-close\npackets as\ncontinuous", "fontSize": 16, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 14 }, { "type": "text", "id": "desc5", "x": 1030, "y": 290, "width": 119.83999999999999, "height": 80.0, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1904637935, "version": 1, "versionNonce": 1904637942, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "snapshot v_U;\nevery packet\nfills on\narrival", "originalText": "snapshot v_U;\nevery packet\nfills on\narrival", "fontSize": 16, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 14 }, { "type": "text", "id": "ans_l", "x": 80, "y": 510, "width": 331.55999999999995, "height": 22.5, "angle": 0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 518258481, "version": 1, "versionNonce": 518258488, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "every order: an answer within 1 µs", "originalText": "every order: an answer within 1 µs", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 16 }, { "type": "line", "id": "ans", "x": 80, "y": 540, "width": 1080, "height": 0, "angle": 0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 3, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 217090730, "version": 1, "versionNonce": 217090737, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "points": [ [ 0, 0 ], [ 1080, 0 ] ], "lastCommittedPoint": null }, { "type": "text", "id": "fill_l0", "x": 80, "y": 580, "width": 79.56, "height": 22.5, "angle": 0, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 289877838, "version": 1, "versionNonce": 289877845, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "no fills", "originalText": "no fills", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 16 }, { "type": "line", "id": "nofill", "x": 80, "y": 610, "width": 660, "height": 0, "angle": 0, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "seed": 1280933565, "version": 1, "versionNonce": 1280933572, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "points": [ [ 0, 0 ], [ 660, 0 ] ], "lastCommittedPoint": null }, { "type": "text", "id": "fill_l1", "x": 750, "y": 580, "width": 52.199999999999996, "height": 22.5, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 293589976, "version": 1, "versionNonce": 293589983, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "fills", "originalText": "fills", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 16 }, { "type": "line", "id": "fill", "x": 740, "y": 610, "width": 420, "height": 0, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 5, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 114845364, "version": 1, "versionNonce": 114845371, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "points": [ [ 0, 0 ], [ 420, 0 ] ], "lastCommittedPoint": null }, { "type": "rectangle", "id": "fill_mark", "x": 734, "y": 600, "width": 12, "height": 20, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1364342743, "version": 1, "versionNonce": 1364342750, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null }, { "type": "line", "id": "brk", "x": 80, "y": 402, "width": 800, "height": 10, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1937466872, "version": 1, "versionNonce": 1937466879, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "points": [ [ 0, 0 ], [ 0, 10 ], [ 800, 10 ], [ 800, 0 ] ], "lastCommittedPoint": null }, { "type": "text", "id": "brk_l", "x": 80, "y": 424, "width": 568.0, "height": 40.0, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1645109006, "version": 1, "versionNonce": 1645109013, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "opening block: its order_root covers the head of the window chain\nand the Uncross step, so it spans the whole window", "originalText": "opening block: its order_root covers the head of the window chain\nand the Uncross step, so it spans the whole window", "fontSize": 16, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 14 }, { "type": "text", "id": "n_cost", "x": 300, "y": 650, "width": 442.08, "height": 45.0, "angle": 0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1956979, "version": 1, "versionNonce": 1956986, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "the window costs fills only: orders still get\na 1 µs answer and a final place in the log", "originalText": "the window costs fills only: orders still get\na 1 µs answer and a final place in the log", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 16 }, { "type": "arrow", "id": "a_cost", "x": 290, "y": 664, "width": 60, "height": 46, "angle": 0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 48252582, "version": 1, "versionNonce": 48252589, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": { "type": 2 }, "points": [ [ 0, 0 ], [ -40, -14 ], [ -60, -46 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": "arrow", "startBinding": null, "endBinding": null, "elbowed": false }, { "type": "text", "id": "n_first", "x": 860, "y": 120, "width": 180.0, "height": 22.5, "angle": 0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 16982958, "version": 1, "versionNonce": 16982965, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "first auction fill", "originalText": "first auction fill", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 16 }, { "type": "arrow", "id": "a_first", "x": 900, "y": 148, "width": 84, "height": 66, "angle": 0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 421935943, "version": 1, "versionNonce": 421935950, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": { "type": 2 }, "points": [ [ 0, 0 ], [ -60, 28 ], [ -84, 66 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": "arrow", "startBinding": null, "endBinding": null, "elbowed": false } ], "appState": { "viewBackgroundColor": "#FFFFFF", "gridSize": 20 }, "files": {} }