{ "type": "excalidraw", "version": 2, "source": "https://excalidraw.com", "elements": [ { "type": "rectangle", "id": "canvas_frame", "x": 0, "y": 0, "width": 1100, "height": 640, "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": 36, "width": 1014.0, "height": 32.5, "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": "Every auction ends in an uncross back to Continuous; a halt ends by auction", "originalText": "Every auction ends in an uncross back to Continuous; a halt ends by auction", "fontSize": 26, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25 }, { "type": "text", "id": "sub", "x": 40, "y": 80, "width": 521.5600000000001, "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": "book phases on the engine side (08-epochs.md owns the rule)", "originalText": "book phases on the engine side (08-epochs.md owns the rule)", "fontSize": 17, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25 }, { "type": "rectangle", "id": "cont", "x": 60, "y": 200, "width": 180, "height": 70, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 3, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1880450273, "version": 1, "versionNonce": 349636678, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "cont_t", "type": "text" } ], "link": null, "locked": false, "roundness": { "type": 3 } }, { "type": "text", "id": "cont_t", "x": 68, "y": 223.125, "width": 164, "height": 23.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1330967754, "version": 1, "versionNonce": 9750355, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "Continuous", "originalText": "Continuous", "fontSize": 19, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "containerId": "cont", "lineHeight": 1.25 }, { "type": "rectangle", "id": "auct", "x": 440, "y": 200, "width": 180, "height": 70, "strokeColor": "#191B26", "backgroundColor": "#FFFFFF", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1915147393, "version": 1, "versionNonce": 166750897, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "auct_t", "type": "text" } ], "link": null, "locked": false, "roundness": { "type": 3 } }, { "type": "text", "id": "auct_t", "x": 448, "y": 223.125, "width": 164, "height": 23.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1400405565, "version": 1, "versionNonce": 1031868530, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "Auction", "originalText": "Auction", "fontSize": 19, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "containerId": "auct", "lineHeight": 1.25 }, { "type": "rectangle", "id": "froz", "x": 840, "y": 200, "width": 180, "height": 70, "strokeColor": "#191B26", "backgroundColor": "#FFFFFF", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 986260664, "version": 1, "versionNonce": 1850245291, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "froz_t", "type": "text" } ], "link": null, "locked": false, "roundness": { "type": 3 } }, { "type": "text", "id": "froz_t", "x": 848, "y": 223.125, "width": 164, "height": 23.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1155492903, "version": 1, "versionNonce": 974215677, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "Frozen", "originalText": "Frozen", "fontSize": 19, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "containerId": "froz", "lineHeight": 1.25 }, { "type": "rectangle", "id": "halt", "x": 280, "y": 360, "width": 180, "height": 70, "strokeColor": "#191B26", "backgroundColor": "#FFFFFF", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 149106794, "version": 1, "versionNonce": 1797885549, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "halt_t", "type": "text" } ], "link": null, "locked": false, "roundness": { "type": 3 } }, { "type": "text", "id": "halt_t", "x": 288, "y": 383.125, "width": 164, "height": 23.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1111390945, "version": 1, "versionNonce": 1074331987, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "Halted", "originalText": "Halted", "fontSize": 19, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "containerId": "halt", "lineHeight": 1.25 }, { "type": "arrow", "id": "c2a", "x": 242, "y": 235, "width": 194, "height": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1645586901, "version": 1, "versionNonce": 1012632464, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 194, 0 ] ], "startArrowhead": null, "endArrowhead": "arrow", "startBinding": null, "endBinding": null, "lastCommittedPoint": null, "elbowed": false }, { "type": "text", "id": "c2a_l", "x": 262, "y": 206, "width": 144.0, "height": 18.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1923090262, "version": 1, "versionNonce": 691115232, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "Control(Auction)", "originalText": "Control(Auction)", "fontSize": 15, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25 }, { "type": "arrow", "id": "a2f", "x": 622, "y": 235, "width": 214, "height": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 294305818, "version": 1, "versionNonce": 1424541291, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 214, 0 ] ], "startArrowhead": null, "endArrowhead": "arrow", "startBinding": null, "endBinding": null, "lastCommittedPoint": null, "elbowed": false }, { "type": "text", "id": "a2f_l", "x": 650, "y": 206, "width": 135.0, "height": 18.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 221201073, "version": 1, "versionNonce": 245584359, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "Control(Frozen)", "originalText": "Control(Frozen)", "fontSize": 15, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25 }, { "type": "arrow", "id": "f2c", "x": 930, "y": 272, "width": 830, "height": 208, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 3, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 328889876, "version": 1, "versionNonce": 29339794, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 208 ], [ -830, 208 ], [ -830, 2 ] ], "startArrowhead": null, "endArrowhead": "arrow", "startBinding": null, "endBinding": null, "lastCommittedPoint": null, "elbowed": false }, { "type": "text", "id": "f2c_l", "x": 560, "y": 452, "width": 112.2, "height": 21.25, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1116653644, "version": 1, "versionNonce": 292143129, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "Uncross × m", "originalText": "Uncross × m", "fontSize": 17, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25 }, { "type": "arrow", "id": "c2h", "x": 200, "y": 272, "width": 76, "height": 123, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 466162033, "version": 1, "versionNonce": 1158320129, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 123 ], [ 76, 123 ] ], "startArrowhead": null, "endArrowhead": "arrow", "startBinding": null, "endBinding": null, "lastCommittedPoint": null, "elbowed": false }, { "type": "text", "id": "c2h_l", "x": 140, "y": 404, "width": 135.0, "height": 18.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 104573147, "version": 1, "versionNonce": 910276271, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "Control(Halted)", "originalText": "Control(Halted)", "fontSize": 15, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25 }, { "type": "arrow", "id": "h2a", "x": 462, "y": 395, "width": 68, "height": 121, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1849706038, "version": 1, "versionNonce": 1292606111, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 68, 0 ], [ 68, -121 ] ], "startArrowhead": null, "endArrowhead": "arrow", "startBinding": null, "endBinding": null, "lastCommittedPoint": null, "elbowed": false }, { "type": "text", "id": "h2a_l", "x": 544, "y": 318, "width": 144.0, "height": 18.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 91240005, "version": 1, "versionNonce": 724232230, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "Control(Auction)", "originalText": "Control(Auction)", "fontSize": 15, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25 }, { "type": "text", "id": "h2a_n", "x": 544, "y": 342, "width": 194.48000000000002, "height": 21.25, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1950925673, "version": 1, "versionNonce": 716117068, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "a halt ends by auction", "originalText": "a halt ends by auction", "fontSize": 17, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25 }, { "type": "text", "id": "n1", "x": 420, "y": 540, "width": 421.2, "height": 45.0, "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": "each Uncross step is 15 ns, so every response\nduring an auction keeps the 1 µs bound", "originalText": "each Uncross step is 15 ns, so every response\nduring an auction keeps the 1 µs bound", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25 }, { "type": "arrow", "id": "n1_a", "x": 700, "y": 536, "width": 60, "height": 50, "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 ], [ 60, -20 ], [ 40, -50 ] ], "startArrowhead": null, "endArrowhead": "arrow", "startBinding": null, "endBinding": null, "lastCommittedPoint": null, "elbowed": false }, { "type": "text", "id": "n2", "x": 640, "y": 108, "width": 300.56, "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": "from the Control step that enters\nAuction or Halted, no step matches", "originalText": "from the Control step that enters\nAuction or Halted, no step matches", "fontSize": 17, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25 }, { "type": "arrow", "id": "n2_a", "x": 634, "y": 124, "width": 284, "height": 74, "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 ], [ -154, 12 ], [ -284, 74 ] ], "startArrowhead": null, "endArrowhead": "arrow", "startBinding": null, "endBinding": null, "lastCommittedPoint": null, "elbowed": false } ], "appState": { "viewBackgroundColor": "#ffffff", "gridSize": 20 }, "files": {} }