{
 "type": "excalidraw",
 "version": 2,
 "source": "https://excalidraw.com",
 "elements": [
  {
   "type": "rectangle",
   "id": "canvas_margin",
   "x": 10,
   "y": 10,
   "width": 1173.35,
   "height": 1100,
   "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": 625.52,
   "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": "Cert and tail cross the WAN in parallel;\nthe new home fills at T + 112.6 ms",
   "originalText": "Cert and tail cross the WAN in parallel;\nthe new home fills at T + 112.6 ms",
   "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": 788.4799999999999,
   "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": "TYO → LDN, typical budgets at normal window load (10% of peak). After T, times are in ms.",
   "originalText": "TYO → LDN, typical budgets at normal window load (10% of peak). After T, times are in ms.",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "rectangle",
   "id": "h_old",
   "x": 155,
   "y": 170,
   "width": 220,
   "height": 44,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1007868306,
   "version": 1,
   "versionNonce": 1007868313,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": [
    {
     "id": "h_old_t",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "h_old_t",
   "x": 183.10000000000002,
   "y": 179.5,
   "width": 163.79999999999998,
   "height": 25.0,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 548717755,
   "version": 1,
   "versionNonce": 548717762,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "old home (TYO)",
   "originalText": "old home (TYO)",
   "fontSize": 20,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "lineHeight": 1.25,
   "containerId": "h_old",
   "autoResize": true,
   "baseline": 18
  },
  {
   "type": "rectangle",
   "id": "h_new",
   "x": 707,
   "y": 170,
   "width": 220,
   "height": 44,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1756121394,
   "version": 1,
   "versionNonce": 1756121401,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": [
    {
     "id": "h_new_t",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "h_new_t",
   "x": 735.1,
   "y": 179.5,
   "width": 163.79999999999998,
   "height": 25.0,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1387040680,
   "version": 1,
   "versionNonce": 1387040687,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "new home (LDN)",
   "originalText": "new home (LDN)",
   "fontSize": 20,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "lineHeight": 1.25,
   "containerId": "h_new",
   "autoResize": true,
   "baseline": 18
  },
  {
   "type": "text",
   "id": "h_wan",
   "x": 564.2,
   "y": 180,
   "width": 118.6,
   "height": 25.0,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 69675017,
   "version": 1,
   "versionNonce": 69675024,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "WAN 110 ms",
   "originalText": "WAN 110 ms",
   "fontSize": 20,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 18
  },
  {
   "type": "line",
   "id": "band0",
   "x": 540,
   "y": 225,
   "width": 0,
   "height": 855,
   "angle": 0,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "dashed",
   "roughness": 1,
   "opacity": 100,
   "seed": 1276487539,
   "version": 1,
   "versionNonce": 1276487546,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     855
    ]
   ],
   "lastCommittedPoint": null
  },
  {
   "type": "line",
   "id": "band1",
   "x": 707,
   "y": 225,
   "width": 0,
   "height": 855,
   "angle": 0,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "dashed",
   "roughness": 1,
   "opacity": 100,
   "seed": 1024882661,
   "version": 1,
   "versionNonce": 1024882668,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     855
    ]
   ],
   "lastCommittedPoint": null
  },
  {
   "type": "line",
   "id": "life_old_a",
   "x": 175,
   "y": 214,
   "width": 0,
   "height": 386,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1365474469,
   "version": 1,
   "versionNonce": 1365474476,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     386
    ]
   ],
   "lastCommittedPoint": null
  },
  {
   "type": "line",
   "id": "life_old_gap",
   "x": 175,
   "y": 600,
   "width": 0,
   "height": 90,
   "angle": 0,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "dashed",
   "roughness": 1,
   "opacity": 100,
   "seed": 809189830,
   "version": 1,
   "versionNonce": 809189837,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     90
    ]
   ],
   "lastCommittedPoint": null
  },
  {
   "type": "line",
   "id": "life_old_b",
   "x": 175,
   "y": 690,
   "width": 0,
   "height": 390,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1368408351,
   "version": 1,
   "versionNonce": 1368408358,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     390
    ]
   ],
   "lastCommittedPoint": null
  },
  {
   "type": "line",
   "id": "life_new_a",
   "x": 727,
   "y": 214,
   "width": 0,
   "height": 386,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 526112694,
   "version": 1,
   "versionNonce": 526112701,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     386
    ]
   ],
   "lastCommittedPoint": null
  },
  {
   "type": "line",
   "id": "life_new_gap",
   "x": 727,
   "y": 600,
   "width": 0,
   "height": 90,
   "angle": 0,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "dashed",
   "roughness": 1,
   "opacity": 100,
   "seed": 21521128,
   "version": 1,
   "versionNonce": 21521135,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     90
    ]
   ],
   "lastCommittedPoint": null
  },
  {
   "type": "line",
   "id": "life_new_b",
   "x": 727,
   "y": 690,
   "width": 0,
   "height": 390,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 261634572,
   "version": 1,
   "versionNonce": 261634579,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     390
    ]
   ],
   "lastCommittedPoint": null
  },
  {
   "type": "text",
   "id": "t_60",
   "x": 40,
   "y": 240,
   "width": 56.256,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 222044291,
   "version": 1,
   "versionNonce": 222044298,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "T−60 s",
   "originalText": "T−60 s",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "ellipse",
   "id": "dot_ready",
   "x": 721,
   "y": 244,
   "width": 12,
   "height": 12,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "#191B26",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1842329273,
   "version": 1,
   "versionNonce": 1842329280,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 2
   }
  },
  {
   "type": "text",
   "id": "e_ready",
   "x": 745,
   "y": 240,
   "width": 253.152,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1468888236,
   "version": 1,
   "versionNonce": 1468888243,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "R_{e+1}: EpoReady every 1 s",
   "originalText": "R_{e+1}: EpoReady every 1 s",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "text",
   "id": "t_10",
   "x": 40,
   "y": 282,
   "width": 56.256,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1115534916,
   "version": 1,
   "versionNonce": 1115534923,
   "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": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "ellipse",
   "id": "dot_go",
   "x": 169,
   "y": 286,
   "width": 12,
   "height": 12,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "#191B26",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1305072540,
   "version": 1,
   "versionNonce": 1305072547,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 2
   }
  },
  {
   "type": "text",
   "id": "e_go",
   "x": 193,
   "y": 282,
   "width": 234.39999999999998,
   "height": 40.0,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1186438153,
   "version": 1,
   "versionNonce": 1186438160,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "EpoGo logged\n(seq_index, next_seq_key)",
   "originalText": "EpoGo logged\n(seq_index, next_seq_key)",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "ellipse",
   "id": "dot_readyset",
   "x": 721,
   "y": 286,
   "width": 12,
   "height": 12,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "#191B26",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1449636774,
   "version": 1,
   "versionNonce": 1449636781,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 2
   }
  },
  {
   "type": "text",
   "id": "e_readyset",
   "x": 745,
   "y": 282,
   "width": 93.06,
   "height": 22.5,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1995910880,
   "version": 1,
   "versionNonce": 1995910887,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "Ready set",
   "originalText": "Ready set",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 16
  },
  {
   "type": "arrow",
   "id": "a_ready",
   "x": 737,
   "y": 294,
   "width": 297,
   "height": 0,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 747420863,
   "version": 1,
   "versionNonce": 747420870,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     -297,
     0
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": null,
   "endBinding": null,
   "elbowed": false
  },
  {
   "type": "text",
   "id": "t_1",
   "x": 40,
   "y": 334,
   "width": 46.879999999999995,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1225704511,
   "version": 1,
   "versionNonce": 1225704518,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "T−1 s",
   "originalText": "T−1 s",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "ellipse",
   "id": "dot_notice",
   "x": 169,
   "y": 338,
   "width": 12,
   "height": 12,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "#191B26",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1155451996,
   "version": 1,
   "versionNonce": 1155452003,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 2
   }
  },
  {
   "type": "text",
   "id": "e_notice",
   "x": 193,
   "y": 334,
   "width": 309.40799999999996,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1514502281,
   "version": 1,
   "versionNonce": 1514502288,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "EpochNotice(1 s) to every session",
   "originalText": "EpochNotice(1 s) to every session",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "text",
   "id": "t_T",
   "x": 40,
   "y": 378,
   "width": 9.376,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 254911976,
   "version": 1,
   "versionNonce": 254911983,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "T",
   "originalText": "T",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "ellipse",
   "id": "dot_seal",
   "x": 169,
   "y": 382,
   "width": 12,
   "height": 12,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "#191B26",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1777937349,
   "version": 1,
   "versionNonce": 1777937356,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 2
   }
  },
  {
   "type": "text",
   "id": "e_seal",
   "x": 193,
   "y": 378,
   "width": 225.024,
   "height": 60.0,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1556878972,
   "version": 1,
   "versionNonce": 1556878979,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "lanes stop at rx_ts ≥ T;\nSeal step S; last block\ncloses (partial)",
   "originalText": "lanes stop at rx_ts ≥ T;\nSeal step S; last block\ncloses (partial)",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "ellipse",
   "id": "dot_collect",
   "x": 721,
   "y": 382,
   "width": 12,
   "height": 12,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "#191B26",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1007694226,
   "version": 1,
   "versionNonce": 1007694233,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 2
   }
  },
  {
   "type": "text",
   "id": "e_collect",
   "x": 745,
   "y": 378,
   "width": 262.52799999999996,
   "height": 60.0,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1167166629,
   "version": 1,
   "versionNonce": 1167166636,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "new seq: Collect starts\n(rx_ts ≥ T, epoch16 = e+1);\nqueued Ack ≤ 1 µs per packet",
   "originalText": "new seq: Collect starts\n(rx_ts ≥ T, epoch16 = e+1);\nqueued Ack ≤ 1 µs per packet",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "text",
   "id": "t_2",
   "x": 40,
   "y": 462,
   "width": 28.128,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1498220933,
   "version": 1,
   "versionNonce": 1498220940,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "T+2",
   "originalText": "T+2",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "ellipse",
   "id": "dot_fin",
   "x": 169,
   "y": 466,
   "width": 12,
   "height": 12,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "#191B26",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1596908767,
   "version": 1,
   "versionNonce": 1596908774,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 2
   }
  },
  {
   "type": "text",
   "id": "e_fin",
   "x": 193,
   "y": 462,
   "width": 269.82,
   "height": 22.5,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1458650103,
   "version": 1,
   "versionNonce": 1458650110,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "block final (typ; max T+10)",
   "originalText": "block final (typ; max T+10)",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 16
  },
  {
   "type": "ellipse",
   "id": "dot_winfin",
   "x": 721,
   "y": 466,
   "width": 12,
   "height": 12,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "#191B26",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1313343339,
   "version": 1,
   "versionNonce": 1313343346,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 2
   }
  },
  {
   "type": "text",
   "id": "e_winfin",
   "x": 745,
   "y": 462,
   "width": 279.9,
   "height": 22.5,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 589786046,
   "version": 1,
   "versionNonce": 589786053,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "window blocks final from T+2",
   "originalText": "window blocks final from T+2",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 16
  },
  {
   "type": "text",
   "id": "t_23",
   "x": 40,
   "y": 502,
   "width": 46.879999999999995,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 32410685,
   "version": 1,
   "versionNonce": 32410692,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "T+2.3",
   "originalText": "T+2.3",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "ellipse",
   "id": "dot_sign",
   "x": 169,
   "y": 506,
   "width": 12,
   "height": 12,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "#191B26",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1635876875,
   "version": 1,
   "versionNonce": 1635876882,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 2
   }
  },
  {
   "type": "text",
   "id": "e_sign",
   "x": 193,
   "y": 502,
   "width": 290.656,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1984730546,
   "version": 1,
   "versionNonce": 1984730553,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "replicas at S: state_root, sign",
   "originalText": "replicas at S: state_root, sign",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "text",
   "id": "t_24",
   "x": 40,
   "y": 554,
   "width": 46.879999999999995,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1849500062,
   "version": 1,
   "versionNonce": 1849500069,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "T+2.4",
   "originalText": "T+2.4",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "ellipse",
   "id": "dot_cert",
   "x": 169,
   "y": 558,
   "width": 12,
   "height": 12,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "#191B26",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1264821662,
   "version": 1,
   "versionNonce": 1264821669,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 2
   }
  },
  {
   "type": "rectangle",
   "id": "cert",
   "x": 189,
   "y": 544,
   "width": 340,
   "height": 40,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "#EDE5F6",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 212476011,
   "version": 1,
   "versionNonce": 212476018,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": [
    {
     "id": "cert_t",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "cert_t",
   "x": 204.29600000000002,
   "y": 554.0,
   "width": 309.40799999999996,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 532669519,
   "version": 1,
   "versionNonce": 532669526,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "any Q sigs = cert(e,S); INV-FENCE",
   "originalText": "any Q sigs = cert(e,S); INV-FENCE",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "lineHeight": 1.25,
   "containerId": "cert",
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "text",
   "id": "t_1105",
   "x": 40,
   "y": 712,
   "width": 65.63199999999999,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 147046621,
   "version": 1,
   "versionNonce": 147046628,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "T+110.5",
   "originalText": "T+110.5",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "ellipse",
   "id": "dot_tailin",
   "x": 721,
   "y": 716,
   "width": 12,
   "height": 12,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "#191B26",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1760330603,
   "version": 1,
   "versionNonce": 1760330610,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 2
   }
  },
  {
   "type": "text",
   "id": "e_tailin",
   "x": 745,
   "y": 712,
   "width": 228.24,
   "height": 22.5,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 92532670,
   "version": 1,
   "versionNonce": 92532677,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "last tail frames arrive",
   "originalText": "last tail frames arrive",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 16
  },
  {
   "type": "text",
   "id": "t_1111",
   "x": 40,
   "y": 756,
   "width": 65.63199999999999,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1636802949,
   "version": 1,
   "versionNonce": 1636802956,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "T+111.1",
   "originalText": "T+111.1",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "ellipse",
   "id": "dot_replay",
   "x": 721,
   "y": 760,
   "width": 12,
   "height": 12,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "#191B26",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 758042988,
   "version": 1,
   "versionNonce": 758042995,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 2
   }
  },
  {
   "type": "text",
   "id": "e_replay",
   "x": 745,
   "y": 756,
   "width": 396.71999999999997,
   "height": 22.5,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1078050233,
   "version": 1,
   "versionNonce": 1078050240,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "tail replayed: S′ known → Apply (0.7 ms)",
   "originalText": "tail replayed: S′ known → Apply (0.7 ms)",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 16
  },
  {
   "type": "text",
   "id": "t_1124",
   "x": 40,
   "y": 800,
   "width": 65.63199999999999,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 986187465,
   "version": 1,
   "versionNonce": 986187472,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "T+112.4",
   "originalText": "T+112.4",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "ellipse",
   "id": "dot_certin",
   "x": 721,
   "y": 804,
   "width": 12,
   "height": 12,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "#191B26",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 378680798,
   "version": 1,
   "versionNonce": 378680805,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 2
   }
  },
  {
   "type": "text",
   "id": "e_certin",
   "x": 745,
   "y": 800,
   "width": 221.75999999999996,
   "height": 22.5,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 80200971,
   "version": 1,
   "versionNonce": 80200978,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "cert arrives, verified",
   "originalText": "cert arrives, verified",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 16
  },
  {
   "type": "text",
   "id": "t_1126",
   "x": 40,
   "y": 858,
   "width": 65.63199999999999,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1569772517,
   "version": 1,
   "versionNonce": 1569772524,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "T+112.6",
   "originalText": "T+112.6",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "ellipse",
   "id": "dot_unx",
   "x": 721,
   "y": 862,
   "width": 12,
   "height": 12,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "#191B26",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1938900576,
   "version": 1,
   "versionNonce": 1938900583,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 2
   }
  },
  {
   "type": "rectangle",
   "id": "unx",
   "x": 741,
   "y": 848,
   "width": 390,
   "height": 42,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 148622478,
   "version": 1,
   "versionNonce": 148622485,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": [
    {
     "id": "unx_t",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "unx_t",
   "x": 718.65,
   "y": 857.75,
   "width": 434.7,
   "height": 22.5,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 474011076,
   "version": 1,
   "versionNonce": 474011083,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "Uncross step; first auction fill on the wire",
   "originalText": "Uncross step; first auction fill on the wire",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "lineHeight": 1.25,
   "containerId": "unx",
   "autoResize": true,
   "baseline": 16
  },
  {
   "type": "text",
   "id": "t_1126p",
   "x": 40,
   "y": 912,
   "width": 75.008,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1387482657,
   "version": 1,
   "versionNonce": 1387482664,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "T+112.6+",
   "originalText": "T+112.6+",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "ellipse",
   "id": "dot_catch",
   "x": 721,
   "y": 916,
   "width": 12,
   "height": 12,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "#191B26",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 150713458,
   "version": 1,
   "versionNonce": 150713465,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 2
   }
  },
  {
   "type": "text",
   "id": "e_catch",
   "x": 745,
   "y": 912,
   "width": 366.48,
   "height": 67.5,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1128134247,
   "version": 1,
   "versionNonce": 1128134254,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "lanes catch up on post-close packets,\nthen live: continuous trading\nof epoch e+1",
   "originalText": "lanes catch up on post-close packets,\nthen live: continuous trading\nof epoch e+1",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 16
  },
  {
   "type": "text",
   "id": "t_1126o",
   "x": 40,
   "y": 990,
   "width": 75.008,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1753591764,
   "version": 1,
   "versionNonce": 1753591771,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "T+112.6+",
   "originalText": "T+112.6+",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "ellipse",
   "id": "dot_stray",
   "x": 169,
   "y": 994,
   "width": 12,
   "height": 12,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "#191B26",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1406646943,
   "version": 1,
   "versionNonce": 1406646950,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 2
   }
  },
  {
   "type": "text",
   "id": "e_stray",
   "x": 193,
   "y": 990,
   "width": 266.4,
   "height": 67.5,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1781133450,
   "version": 1,
   "versionNonce": 1781133457,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "old home: followers of e+1;\nthe old seq answers every\nstray packet within 1 µs",
   "originalText": "old home: followers of e+1;\nthe old seq answers every\nstray packet within 1 µs",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 16
  },
  {
   "type": "arrow",
   "id": "a_tail",
   "x": 420,
   "y": 408,
   "width": 293,
   "height": 310,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "dashed",
   "roughness": 1,
   "opacity": 100,
   "seed": 505723399,
   "version": 1,
   "versionNonce": 505723406,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     293,
     310
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": null,
   "endBinding": null,
   "elbowed": false
  },
  {
   "type": "text",
   "id": "l_tail",
   "x": 552,
   "y": 364,
   "width": 150.72,
   "height": 40.0,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 700734937,
   "version": 1,
   "versionNonce": 700734944,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "tail frames\n(relayed at once)",
   "originalText": "tail frames\n(relayed at once)",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "arrow",
   "id": "a_sig",
   "x": 535,
   "y": 572,
   "width": 178,
   "height": 238,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1225437192,
   "version": 1,
   "versionNonce": 1225437199,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     178,
     238
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": null,
   "endBinding": null,
   "elbowed": false
  },
  {
   "type": "text",
   "id": "l_sig",
   "x": 420,
   "y": 592,
   "width": 93.75999999999999,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 953188537,
   "version": 1,
   "versionNonce": 953188544,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "HandoffSig",
   "originalText": "HandoffSig",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "text",
   "id": "n_par",
   "x": 215,
   "y": 630,
   "width": 203.39999999999998,
   "height": 45.0,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1847357283,
   "version": 1,
   "versionNonce": 1847357290,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "the cert and the tail\ntravel in parallel",
   "originalText": "the cert and the tail\ntravel in parallel",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 16
  },
  {
   "type": "arrow",
   "id": "a_par",
   "x": 400,
   "y": 652,
   "width": 190,
   "height": 22,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1728222386,
   "version": 1,
   "versionNonce": 1728222393,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 2
   },
   "points": [
    [
     0,
     0
    ],
    [
     100,
     22
    ],
    [
     190,
     8
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": null,
   "endBinding": null,
   "elbowed": false
  },
  {
   "type": "text",
   "id": "n_w",
   "x": 230,
   "y": 836,
   "width": 378.53999999999996,
   "height": 45.0,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1313511996,
   "version": 1,
   "versionNonce": 1313512003,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "window W = 112.6 ms (typ):\nlast old fill at T, first new fill here",
   "originalText": "window W = 112.6 ms (typ):\nlast old fill at T, first new fill here",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 16
  },
  {
   "type": "arrow",
   "id": "a_w",
   "x": 560,
   "y": 860,
   "width": 181,
   "height": 16,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1159126273,
   "version": 1,
   "versionNonce": 1159126280,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 2
   },
   "points": [
    [
     0,
     0
    ],
    [
     120,
     16
    ],
    [
     181,
     12
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": null,
   "endBinding": null,
   "elbowed": false
  }
 ],
 "appState": {
  "viewBackgroundColor": "#FFFFFF",
  "gridSize": 20
 },
 "files": {}
}