{ "type": "excalidraw", "version": 2, "source": "https://excalidraw.com", "elements": [ { "type": "rectangle", "id": "canvas_frame", "x": 0, "y": 0, "width": 1160, "height": 780, "strokeColor": "transparent", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1294, "version": 1, "versionNonce": 1297, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null }, { "type": "text", "id": "title", "x": 40, "y": 36, "width": 815.3600000000001, "height": 35.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1007, "version": 1, "versionNonce": 1010, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "text": "Every item of chain block C lands by book height x+9", "originalText": "Every item of chain block C lands by book height x+9", "fontSize": 28, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "type": "text", "id": "sub", "x": 40, "y": 82, "width": 585.6, "height": 20.0, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1014, "version": 1, "versionNonce": 1017, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "text": "act(C) = lastb(C) + FIN_GATE_BLOCKS + 1 · here lastb(C) = x", "originalText": "act(C) = lastb(C) + FIN_GATE_BLOCKS + 1 · here lastb(C) = x", "fontSize": 16, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "type": "text", "id": "bh", "x": 40, "y": 300, "width": 98.56, "height": 20.0, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1021, "version": 1, "versionNonce": 1024, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "text": "book height", "originalText": "book height", "fontSize": 16, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "type": "line", "id": "os_a", "x": 60, "y": 280, "width": 540, "height": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 3, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1028, "version": 1, "versionNonce": 1031, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 540, 0 ] ], "roundness": null, "startArrowhead": null, "endArrowhead": null }, { "type": "line", "id": "os_gap", "x": 600, "y": 280, "width": 300, "height": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 3, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1035, "version": 1, "versionNonce": 1038, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 300, 0 ] ], "roundness": null, "startArrowhead": null, "endArrowhead": null }, { "type": "arrow", "id": "os_b", "x": 900, "y": 280, "width": 210, "height": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 3, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1042, "version": 1, "versionNonce": 1045, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 210, 0 ] ], "roundness": null, "startArrowhead": null, "endArrowhead": "arrow", "elbowed": false, "startBinding": null, "endBinding": null }, { "type": "text", "id": "os_l", "x": 994.8, "y": 240, "width": 115.19999999999999, "height": 20.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1049, "version": 1, "versionNonce": 1052, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "text": "order stream", "originalText": "order stream", "fontSize": 16, "fontFamily": 3, "textAlign": "right", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "type": "text", "id": "dots", "x": 733.8, "y": 240, "width": 32.4, "height": 22.5, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1056, "version": 1, "versionNonce": 1059, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "text": "...", "originalText": "...", "fontSize": 18, "fontFamily": 3, "textAlign": "center", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "type": "line", "id": "tick0", "x": 140, "y": 270, "width": 0, "height": 20, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1063, "version": 1, "versionNonce": 1066, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 0, 20 ] ], "roundness": null, "startArrowhead": null, "endArrowhead": null }, { "type": "text", "id": "tl0", "x": 134.6, "y": 240, "width": 10.799999999999999, "height": 22.5, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1070, "version": 1, "versionNonce": 1073, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "text": "x", "originalText": "x", "fontSize": 18, "fontFamily": 3, "textAlign": "center", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "type": "line", "id": "tick1", "x": 240, "y": 270, "width": 0, "height": 20, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1077, "version": 1, "versionNonce": 1080, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 0, 20 ] ], "roundness": null, "startArrowhead": null, "endArrowhead": null }, { "type": "text", "id": "tl1", "x": 223.8, "y": 240, "width": 32.4, "height": 22.5, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1084, "version": 1, "versionNonce": 1087, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "text": "x+1", "originalText": "x+1", "fontSize": 18, "fontFamily": 3, "textAlign": "center", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "type": "line", "id": "tick2", "x": 340, "y": 270, "width": 0, "height": 20, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1091, "version": 1, "versionNonce": 1094, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 0, 20 ] ], "roundness": null, "startArrowhead": null, "endArrowhead": null }, { "type": "text", "id": "tl2", "x": 323.8, "y": 240, "width": 32.4, "height": 22.5, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1098, "version": 1, "versionNonce": 1101, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "text": "x+2", "originalText": "x+2", "fontSize": 18, "fontFamily": 3, "textAlign": "center", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "type": "line", "id": "tick3", "x": 440, "y": 270, "width": 0, "height": 20, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1105, "version": 1, "versionNonce": 1108, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 0, 20 ] ], "roundness": null, "startArrowhead": null, "endArrowhead": null }, { "type": "text", "id": "tl3", "x": 423.8, "y": 240, "width": 32.4, "height": 22.5, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1112, "version": 1, "versionNonce": 1115, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "text": "x+3", "originalText": "x+3", "fontSize": 18, "fontFamily": 3, "textAlign": "center", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "type": "line", "id": "tick4", "x": 540, "y": 270, "width": 0, "height": 20, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1119, "version": 1, "versionNonce": 1122, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 0, 20 ] ], "roundness": null, "startArrowhead": null, "endArrowhead": null }, { "type": "text", "id": "tl4", "x": 523.8, "y": 240, "width": 32.4, "height": 22.5, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1126, "version": 1, "versionNonce": 1129, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "text": "x+4", "originalText": "x+4", "fontSize": 18, "fontFamily": 3, "textAlign": "center", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "type": "line", "id": "tick9", "x": 960, "y": 270, "width": 0, "height": 20, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1133, "version": 1, "versionNonce": 1136, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 0, 20 ] ], "roundness": null, "startArrowhead": null, "endArrowhead": null }, { "type": "text", "id": "tl9", "x": 943.8, "y": 240, "width": 32.4, "height": 22.5, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1140, "version": 1, "versionNonce": 1143, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "text": "x+9", "originalText": "x+9", "fontSize": 18, "fontFamily": 3, "textAlign": "center", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "type": "ellipse", "id": "prop", "x": 293.0, "y": 273, "width": 14, "height": 14, "strokeColor": "#191B26", "backgroundColor": "#191B26", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1147, "version": 1, "versionNonce": 1150, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false }, { "type": "text", "id": "prop_l", "x": 252.0, "y": 298, "width": 96.0, "height": 40.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1154, "version": 1, "versionNonce": 1157, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "text": "C proposed\n~x+1.6", "originalText": "C proposed\n~x+1.6", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "type": "ellipse", "id": "inc_d", "x": 132, "y": 272, "width": 16, "height": 16, "strokeColor": "#191B26", "backgroundColor": "#191B26", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1161, "version": 1, "versionNonce": 1164, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false }, { "type": "line", "id": "inc_l", "x": 140, "y": 290, "width": 0, "height": 230, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1168, "version": 1, "versionNonce": 1171, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 0, 230 ] ], "roundness": null, "startArrowhead": null, "endArrowhead": null }, { "type": "text", "id": "inc_t", "x": 152, "y": 506, "width": 383.04, "height": 22.5, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1175, "version": 1, "versionNonce": 1178, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "text": "C includes book blocks ≤ x, plus items", "originalText": "C includes book blocks ≤ x, plus items", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "type": "ellipse", "id": "nota_d", "x": 432, "y": 272, "width": 16, "height": 16, "strokeColor": "#5A2D91", "backgroundColor": "#5A2D91", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1182, "version": 1, "versionNonce": 1185, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false }, { "type": "line", "id": "nota_l", "x": 440, "y": 290, "width": 0, "height": 140, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1189, "version": 1, "versionNonce": 1192, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 0, 140 ] ], "roundness": null, "startArrowhead": null, "endArrowhead": null }, { "type": "text", "id": "nota_t", "x": 452, "y": 414, "width": 372.96000000000004, "height": 45.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1196, "version": 1, "versionNonce": 1199, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "text": "C notarized: forced packets, rebinds,\ncloses, deallocates apply at x+3", "originalText": "C notarized: forced packets, rebinds,\ncloses, deallocates apply at x+3", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "type": "ellipse", "id": "fin_d", "x": 532, "y": 272, "width": 16, "height": 16, "strokeColor": "#5A2D91", "backgroundColor": "#5A2D91", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1203, "version": 1, "versionNonce": 1206, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false }, { "type": "line", "id": "fin_l", "x": 540, "y": 290, "width": 0, "height": 50, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1210, "version": 1, "versionNonce": 1213, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 0, 50 ] ], "roundness": null, "startArrowhead": null, "endArrowhead": null }, { "type": "text", "id": "fin_t", "x": 552, "y": 324, "width": 262.08000000000004, "height": 45.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1217, "version": 1, "versionNonce": 1220, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "text": "C final: opens, allocates,\nbusts apply at x+4", "originalText": "C final: opens, allocates,\nbusts apply at x+4", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "type": "ellipse", "id": "dl_d", "x": 952, "y": 272, "width": 16, "height": 16, "strokeColor": "#191B26", "backgroundColor": "#191B26", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1224, "version": 1, "versionNonce": 1227, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false }, { "type": "line", "id": "dl_l", "x": 960, "y": 290, "width": 0, "height": 300, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1231, "version": 1, "versionNonce": 1234, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 0, 300 ] ], "roundness": null, "startArrowhead": null, "endArrowhead": null }, { "type": "text", "id": "dl_m", "x": 818.4, "y": 574, "width": 129.6, "height": 22.5, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1238, "version": 1, "versionNonce": 1241, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "text": "act(C) = x+9", "originalText": "act(C) = x+9", "fontSize": 18, "fontFamily": 3, "textAlign": "right", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "type": "text", "id": "dl_t", "x": 665.76, "y": 600, "width": 282.24, "height": 45.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1245, "version": 1, "versionNonce": 1248, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "text": "the deadline: a missing item\nis censorship → failover", "originalText": "the deadline: a missing item\nis censorship → failover", "fontSize": 18, "fontFamily": 5, "textAlign": "right", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "type": "arrow", "id": "gate", "x": 960, "y": 234, "width": 820, "height": 84, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1252, "version": 1, "versionNonce": 1255, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "points": [ [ 0, 0 ], [ -410, -84 ], [ -820, 0 ] ], "roundness": { "type": 2 }, "startArrowhead": null, "endArrowhead": "arrow", "elbowed": false, "startBinding": null, "endBinding": null }, { "type": "text", "id": "gate_l", "x": 343.36, "y": 112, "width": 413.28000000000003, "height": 22.5, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1259, "version": 1, "versionNonce": 1262, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "text": "TXGATE: x+9 waits for a finalization of x", "originalText": "TXGATE: x+9 waits for a finalization of x", "fontSize": 18, "fontFamily": 5, "textAlign": "center", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "type": "text", "id": "n_dl", "x": 992, "y": 340, "width": 131.04000000000002, "height": 67.5, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1266, "version": 1, "versionNonce": 1269, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "text": "D + 1 = 9:\nthe deadline,\nnot the delay", "originalText": "D + 1 = 9:\nthe deadline,\nnot the delay", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "type": "arrow", "id": "n_dl_a", "x": 1030, "y": 336, "width": 58, "height": 44, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1273, "version": 1, "versionNonce": 1276, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "points": [ [ 0, 0 ], [ -20, -24 ], [ -58, -44 ] ], "roundness": { "type": 2 }, "startArrowhead": null, "endArrowhead": "arrow", "elbowed": false, "startBinding": null, "endBinding": null }, { "type": "rectangle", "id": "inv", "x": 40, "y": 680, "width": 1080, "height": 56, "strokeColor": "#191B26", "backgroundColor": "#191B26", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1280, "version": 1, "versionNonce": 1283, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "inv_t", "type": "text" } ], "link": null, "locked": false, "roundness": null }, { "type": "text", "id": "inv_t", "x": 114.40000000000003, "y": 698.0, "width": 931.1999999999999, "height": 20.0, "strokeColor": "#F2D447", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1287, "version": 1, "versionNonce": 1290, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "text": "TXGATE: the sequencer applies no op of block h until it holds a finalization of book block h − 9.", "originalText": "TXGATE: the sequencer applies no op of block h until it holds a finalization of book block h − 9.", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "containerId": "inv", "lineHeight": 1.25, "autoResize": true } ], "appState": { "viewBackgroundColor": "#ffffff", "gridSize": 20 }, "files": {} }