{ "type": "excalidraw", "version": 2, "source": "https://excalidraw.com", "elements": [ { "type": "rectangle", "id": "canvas_margin", "x": 10, "y": 10, "width": 1133.76, "height": 790.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": 831.04, "height": 35.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": "The old sequencer seals at T, then only answers strays", "originalText": "The old sequencer seals at T, then only answers strays", "fontSize": 28, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 25 }, { "type": "text", "id": "sub", "x": 40, "y": 84, "width": 891.68, "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 old standby runs the same machine as a follower and takes over the seal if the primary fails early.", "originalText": "The old standby runs the same machine as a follower and takes over the seal if the primary fails early.", "fontSize": 16, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 14 }, { "type": "rectangle", "id": "active", "x": 40, "y": 160, "width": 170, "height": 60, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1260321794, "version": 1, "versionNonce": 1260321801, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": [ { "id": "active_t", "type": "text" }, { "id": "a1", "type": "arrow" }, { "id": "a_hold", "type": "arrow" } ], "link": null, "locked": false, "updated": 1, "roundness": { "type": 3 } }, { "type": "text", "id": "active_t", "x": 77.53399999999999, "y": 178.75, "width": 94.932, "height": 22.5, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 913956330, "version": 1, "versionNonce": 913956337, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "Active(e)", "originalText": "Active(e)", "fontSize": 18, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "lineHeight": 1.25, "containerId": "active", "autoResize": true, "baseline": 16 }, { "type": "rectangle", "id": "deciding", "x": 400, "y": 160, "width": 170, "height": 60, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 698701963, "version": 1, "versionNonce": 698701970, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": [ { "id": "deciding_t", "type": "text" }, { "id": "a1", "type": "arrow" }, { "id": "a2", "type": "arrow" }, { "id": "a_hold", "type": "arrow" } ], "link": null, "locked": false, "updated": 1, "roundness": { "type": 3 } }, { "type": "text", "id": "deciding_t", "x": 442.808, "y": 178.75, "width": 84.384, "height": 22.5, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 522175394, "version": 1, "versionNonce": 522175401, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "Deciding", "originalText": "Deciding", "fontSize": 18, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "lineHeight": 1.25, "containerId": "deciding", "autoResize": true, "baseline": 16 }, { "type": "rectangle", "id": "armed", "x": 780, "y": 160, "width": 170, "height": 60, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 971444007, "version": 1, "versionNonce": 971444014, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": [ { "id": "armed_t", "type": "text" }, { "id": "a2", "type": "arrow" }, { "id": "a3", "type": "arrow" } ], "link": null, "locked": false, "updated": 1, "roundness": { "type": 3 } }, { "type": "text", "id": "armed_t", "x": 822.808, "y": 178.75, "width": 84.384, "height": 22.5, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1196589930, "version": 1, "versionNonce": 1196589937, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "Armed(e)", "originalText": "Armed(e)", "fontSize": 18, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "lineHeight": 1.25, "containerId": "armed", "autoResize": true, "baseline": 16 }, { "type": "arrow", "id": "a1", "x": 214, "y": 190, "width": 182, "height": 0, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1826703395, "version": 1, "versionNonce": 1826703402, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "points": [ [ 0, 0 ], [ 182, 0 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": "arrow", "startBinding": { "elementId": "active", "focus": 0, "gap": 4 }, "endBinding": { "elementId": "deciding", "focus": 0, "gap": 4 }, "elbowed": false }, { "type": "text", "id": "l1", "x": 276.872, "y": 164, "width": 56.256, "height": 20.0, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1645847150, "version": 1, "versionNonce": 1645847157, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "T−10 s", "originalText": "T−10 s", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 14 }, { "type": "arrow", "id": "a2", "x": 574, "y": 190, "width": 202, "height": 0, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 125628825, "version": 1, "versionNonce": 125628832, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "points": [ [ 0, 0 ], [ 202, 0 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": "arrow", "startBinding": { "elementId": "deciding", "focus": 0, "gap": 4 }, "endBinding": { "elementId": "armed", "focus": 0, "gap": 4 }, "elbowed": false }, { "type": "text", "id": "l2", "x": 623.432, "y": 164, "width": 103.136, "height": 20.0, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1078355924, "version": 1, "versionNonce": 1078355931, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "EpoGo final", "originalText": "EpoGo final", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 14 }, { "type": "arrow", "id": "a_hold", "x": 485, "y": 224, "width": 360, "height": 56, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 138202973, "version": 1, "versionNonce": 138202980, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": { "type": 2 }, "points": [ [ 0, 0 ], [ -65, 56 ], [ -285, 56 ], [ -360, 0 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": "arrow", "startBinding": { "elementId": "deciding", "focus": 0, "gap": 4 }, "endBinding": { "elementId": "active", "focus": 0, "gap": 4 }, "elbowed": false }, { "type": "text", "id": "l_hold", "x": 225, "y": 288, "width": 234.39999999999998, "height": 20.0, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1245308035, "version": 1, "versionNonce": 1245308042, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "EpoHold final: T := t_new", "originalText": "EpoHold final: T := t_new", "fontSize": 16, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 14 }, { "type": "rectangle", "id": "sealing", "x": 780, "y": 400, "width": 170, "height": 60, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 732187418, "version": 1, "versionNonce": 732187425, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": [ { "id": "sealing_t", "type": "text" }, { "id": "a3", "type": "arrow" }, { "id": "a4", "type": "arrow" } ], "link": null, "locked": false, "updated": 1, "roundness": { "type": 3 } }, { "type": "text", "id": "sealing_t", "x": 828.082, "y": 418.75, "width": 73.83599999999998, "height": 22.5, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 379444486, "version": 1, "versionNonce": 379444493, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "Sealing", "originalText": "Sealing", "fontSize": 18, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "lineHeight": 1.25, "containerId": "sealing", "autoResize": true, "baseline": 16 }, { "type": "arrow", "id": "a3", "x": 865, "y": 224, "width": 0, "height": 172, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 196711695, "version": 1, "versionNonce": 196711702, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "points": [ [ 0, 0 ], [ 0, 172 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": "arrow", "startBinding": { "elementId": "armed", "focus": 0, "gap": 4 }, "endBinding": { "elementId": "sealing", "focus": 0, "gap": 4 }, "elbowed": false }, { "type": "text", "id": "l3", "x": 884, "y": 250, "width": 206.272, "height": 40.0, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 927029058, "version": 1, "versionNonce": 927029065, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "lane rx_ts ≥ T\n(or clock ≥ T + slack)", "originalText": "lane rx_ts ≥ T\n(or clock ≥ T + slack)", "fontSize": 16, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 14 }, { "type": "rectangle", "id": "sealed", "x": 720, "y": 640, "width": 290, "height": 74, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 255432304, "version": 1, "versionNonce": 255432311, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": [ { "id": "sealed_t", "type": "text" }, { "id": "a4", "type": "arrow" }, { "id": "a5", "type": "arrow" } ], "link": null, "locked": false, "updated": 1, "roundness": { "type": 3 } }, { "type": "text", "id": "sealed_t", "x": 806.986, "y": 653.75, "width": 116.02799999999999, "height": 22.5, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 678755480, "version": 1, "versionNonce": 678755487, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "Sealed(e,S)", "originalText": "Sealed(e,S)", "fontSize": 18, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "lineHeight": 1.25, "containerId": "sealed", "autoResize": true, "baseline": 16 }, { "type": "text", "id": "sealed_sub", "x": 740.76, "y": 680, "width": 248.48, "height": 20.0, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1102810092, "version": 1, "versionNonce": 1102810099, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "Seal step, last block signed", "originalText": "Seal step, last block signed", "fontSize": 16, "fontFamily": 5, "textAlign": "center", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 14 }, { "type": "arrow", "id": "a4", "x": 865, "y": 464, "width": 0, "height": 172, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 478919852, "version": 1, "versionNonce": 478919859, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "points": [ [ 0, 0 ], [ 0, 172 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": "arrow", "startBinding": { "elementId": "sealing", "focus": 0, "gap": 4 }, "endBinding": { "elementId": "sealed", "focus": 0, "gap": 4 }, "elbowed": false }, { "type": "text", "id": "l4", "x": 884, "y": 488, "width": 150.72, "height": 60.0, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 837824225, "version": 1, "versionNonce": 837824232, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "all lanes sealed,\nfinal cut,\nrings drained", "originalText": "all lanes sealed,\nfinal cut,\nrings drained", "fontSize": 16, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 14 }, { "type": "rectangle", "id": "redirect", "x": 400, "y": 647, "width": 170, "height": 60, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "#FFFFFF", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1272384043, "version": 1, "versionNonce": 1272384050, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": [ { "id": "redirect_t", "type": "text" }, { "id": "a5", "type": "arrow" }, { "id": "a6", "type": "arrow" } ], "link": null, "locked": false, "updated": 1, "roundness": { "type": 3 } }, { "type": "text", "id": "redirect_t", "x": 442.808, "y": 665.75, "width": 84.384, "height": 22.5, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1247110759, "version": 1, "versionNonce": 1247110766, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "Redirect", "originalText": "Redirect", "fontSize": 18, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "lineHeight": 1.25, "containerId": "redirect", "autoResize": true, "baseline": 16 }, { "type": "rectangle", "id": "follower", "x": 40, "y": 647, "width": 190, "height": 60, "angle": 0, "strokeColor": "#565A6B", "backgroundColor": "#FFFFFF", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "seed": 1117812038, "version": 1, "versionNonce": 1117812045, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": [ { "id": "follower_t", "type": "text" }, { "id": "a6", "type": "arrow" } ], "link": null, "locked": false, "updated": 1, "roundness": { "type": 3 } }, { "type": "text", "id": "follower_t", "x": 66.438, "y": 665.75, "width": 137.124, "height": 22.5, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 100788144, "version": 1, "versionNonce": 100788151, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "Follower(e+1)", "originalText": "Follower(e+1)", "fontSize": 18, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "lineHeight": 1.25, "containerId": "follower", "autoResize": true, "baseline": 16 }, { "type": "arrow", "id": "a5", "x": 716, "y": 677, "width": 142, "height": 0, "angle": 0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1804373050, "version": 1, "versionNonce": 1804373057, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "points": [ [ 0, 0 ], [ -142, 0 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": "arrow", "startBinding": { "elementId": "sealed", "focus": 0, "gap": 4 }, "endBinding": { "elementId": "redirect", "focus": 0, "gap": 4 }, "elbowed": false }, { "type": "text", "id": "l5", "x": 579.368, "y": 650, "width": 131.26399999999998, "height": 20.0, "angle": 0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1726832247, "version": 1, "versionNonce": 1726832254, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "cert(e,S) seen", "originalText": "cert(e,S) seen", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 14 }, { "type": "arrow", "id": "a6", "x": 396, "y": 677, "width": 162, "height": 0, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 68859264, "version": 1, "versionNonce": 68859271, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "points": [ [ 0, 0 ], [ -162, 0 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": "arrow", "startBinding": { "elementId": "redirect", "focus": 0, "gap": 4 }, "endBinding": { "elementId": "follower", "focus": 0, "gap": 4 }, "elbowed": false }, { "type": "text", "id": "strays", "x": 40, "y": 730, "width": 421.91999999999996, "height": 40.0, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 415178746, "version": 1, "versionNonce": 415178753, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "both answer strays, every packet within 1 µs:\nEpochNotice(0) + Reject EPOCH_MISMATCH", "originalText": "both answer strays, every packet within 1 µs:\nEpochNotice(0) + Reject EPOCH_MISMATCH", "fontSize": 16, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 14 }, { "type": "rectangle", "id": "ev", "x": 40, "y": 400, "width": 500, "height": 170, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "#191B26", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1761592596, "version": 1, "versionNonce": 1761592603, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null }, { "type": "text", "id": "ev_h", "x": 60, "y": 416, "width": 213.83999999999997, "height": 22.5, "angle": 0, "strokeColor": "#F2D447", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 59401278, "version": 1, "versionNonce": 59401285, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "the seal, step by step", "originalText": "the seal, step by step", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 16 }, { "type": "text", "id": "ev_b", "x": 60, "y": 452, "width": 440.67199999999997, "height": 100.0, "angle": 0, "strokeColor": "#ECEAF2", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1814690080, "version": 1, "versionNonce": 1814690087, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "1 lane stop first rx_ts ≥ T seals the lane\n2 final cut C_f holds every lane's last op\n3 drain BBO core executes its rings\n4 Seal step StepRecord{kind: Seal, cut: C_f}\n5 last block closed at S, signed (seq_sig)", "originalText": "1 lane stop first rx_ts ≥ T seals the lane\n2 final cut C_f holds every lane's last op\n3 drain BBO core executes its rings\n4 Seal step StepRecord{kind: Seal, cut: C_f}\n5 last block closed at S, signed (seq_sig)", "fontSize": 16, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 14 }, { "type": "line", "id": "ev_link", "x": 540, "y": 430, "width": 236, "height": 0, "angle": 0, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "seed": 875711511, "version": 1, "versionNonce": 875711518, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "points": [ [ 0, 0 ], [ 236, 0 ] ], "lastCommittedPoint": null }, { "type": "text", "id": "n_slack", "x": 1000, "y": 330, "width": 113.75999999999999, "height": 22.5, "angle": 0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 837094883, "version": 1, "versionNonce": 837094890, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "slack = 5 µs", "originalText": "slack = 5 µs", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 16 }, { "type": "arrow", "id": "a_slack", "x": 1040, "y": 326, "width": 26, "height": 34, "angle": 0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1599262986, "version": 1, "versionNonce": 1599262993, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": { "type": 2 }, "points": [ [ 0, 0 ], [ 20, -20 ], [ 26, -34 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": "arrow", "startBinding": null, "endBinding": null, "elbowed": false }, { "type": "text", "id": "n_budget", "x": 630, "y": 300, "width": 179.27999999999997, "height": 45.0, "angle": 0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1085869670, "version": 1, "versionNonce": 1085869677, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "T to Seal frame\non the wire ≤ 50 µs", "originalText": "T to Seal frame\non the wire ≤ 50 µs", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 16 }, { "type": "arrow", "id": "a_budget", "x": 700, "y": 350, "width": 76, "height": 64, "angle": 0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1859039434, "version": 1, "versionNonce": 1859039441, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": { "type": 2 }, "points": [ [ 0, 0 ], [ 40, 46 ], [ 76, 64 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": "arrow", "startBinding": null, "endBinding": null, "elbowed": false }, { "type": "text", "id": "n_byz", "x": 40, "y": 330, "width": 494.28, "height": 22.5, "angle": 0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1982882838, "version": 1, "versionNonce": 1982882845, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "a byzantine proposer cannot hold a healthy handoff", "originalText": "a byzantine proposer cannot hold a healthy handoff", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 16 }, { "type": "arrow", "id": "a_byz", "x": 48, "y": 324, "width": 100, "height": 54, "angle": 0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 99994567, "version": 1, "versionNonce": 99994574, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": { "type": 2 }, "points": [ [ 0, 0 ], [ 32, -32 ], [ 100, -54 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": "arrow", "startBinding": null, "endBinding": null, "elbowed": false } ], "appState": { "viewBackgroundColor": "#FFFFFF", "gridSize": 20 }, "files": {} }