{
 "type": "excalidraw",
 "version": 2,
 "source": "https://excalidraw.com",
 "elements": [
  {
   "type": "rectangle",
   "id": "canvas_margin",
   "x": 10,
   "y": 10,
   "width": 1180,
   "height": 1021.5,
   "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": 670.04,
   "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": "A client switches homes on its own and never\nneeds the old home after T",
   "originalText": "A client switches homes on its own and never\nneeds the old home after T",
   "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": 489.11999999999995,
   "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 client's machine. H is the old home, H′ the new one.",
   "originalText": "The client's machine. H is the old home, H′ the new one.",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "rectangle",
   "id": "s1",
   "x": 40,
   "y": 170,
   "width": 240,
   "height": 56,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 336935152,
   "version": 1,
   "versionNonce": 336935159,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": [
    {
     "id": "s1_t",
     "type": "text"
    },
    {
     "id": "sp0",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "s1_t",
   "x": 96.712,
   "y": 186.75,
   "width": 126.576,
   "height": 22.5,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 388803447,
   "version": 1,
   "versionNonce": 388803454,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "Active(e, H)",
   "originalText": "Active(e, H)",
   "fontSize": 18,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "lineHeight": 1.25,
   "containerId": "s1",
   "autoResize": true,
   "baseline": 16
  },
  {
   "type": "rectangle",
   "id": "s2",
   "x": 40,
   "y": 350,
   "width": 240,
   "height": 56,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 367449418,
   "version": 1,
   "versionNonce": 367449425,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": [
    {
     "id": "s2_t",
     "type": "text"
    },
    {
     "id": "sp0",
     "type": "arrow"
    },
    {
     "id": "sp1",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "s2_t",
   "x": 96.712,
   "y": 366.75,
   "width": 126.576,
   "height": 22.5,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 359273774,
   "version": 1,
   "versionNonce": 359273781,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "Scheduled(T)",
   "originalText": "Scheduled(T)",
   "fontSize": 18,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "lineHeight": 1.25,
   "containerId": "s2",
   "autoResize": true,
   "baseline": 16
  },
  {
   "type": "rectangle",
   "id": "s3",
   "x": 40,
   "y": 590,
   "width": 240,
   "height": 56,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 196096476,
   "version": 1,
   "versionNonce": 196096483,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": [
    {
     "id": "s3_t",
     "type": "text"
    },
    {
     "id": "sp1",
     "type": "arrow"
    },
    {
     "id": "sp2",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "s3_t",
   "x": 112.53399999999999,
   "y": 606.75,
   "width": 94.932,
   "height": 22.5,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 346586905,
   "version": 1,
   "versionNonce": 346586912,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "Switching",
   "originalText": "Switching",
   "fontSize": 18,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "lineHeight": 1.25,
   "containerId": "s3",
   "autoResize": true,
   "baseline": 16
  },
  {
   "type": "rectangle",
   "id": "s4",
   "x": 40,
   "y": 940,
   "width": 240,
   "height": 56,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 3,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1686097023,
   "version": 1,
   "versionNonce": 1686097030,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": [
    {
     "id": "s4_t",
     "type": "text"
    },
    {
     "id": "sp2",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "s4_t",
   "x": 80.89000000000001,
   "y": 956.75,
   "width": 158.21999999999997,
   "height": 22.5,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 300378524,
   "version": 1,
   "versionNonce": 300378531,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "Active(e+1, H′)",
   "originalText": "Active(e+1, H′)",
   "fontSize": 18,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "lineHeight": 1.25,
   "containerId": "s4",
   "autoResize": true,
   "baseline": 16
  },
  {
   "type": "arrow",
   "id": "sp0",
   "x": 160,
   "y": 230,
   "width": 0,
   "height": 116,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 685421121,
   "version": 1,
   "versionNonce": 685421128,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     116
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": {
    "elementId": "s1",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "s2",
    "focus": 0,
    "gap": 4
   },
   "elbowed": false
  },
  {
   "type": "arrow",
   "id": "sp1",
   "x": 160,
   "y": 410,
   "width": 0,
   "height": 176,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1608639191,
   "version": 1,
   "versionNonce": 1608639198,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     176
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": {
    "elementId": "s2",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "s3",
    "focus": 0,
    "gap": 4
   },
   "elbowed": false
  },
  {
   "type": "arrow",
   "id": "sp2",
   "x": 160,
   "y": 650,
   "width": 0,
   "height": 286,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1310599021,
   "version": 1,
   "versionNonce": 1310599028,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     286
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": {
    "elementId": "s3",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "s4",
    "focus": 0,
    "gap": 4
   },
   "elbowed": false
  },
  {
   "type": "text",
   "id": "tr1",
   "x": 178,
   "y": 250,
   "width": 375.03999999999996,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1765306064,
   "version": 1,
   "versionNonce": 1765306071,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "first EpochNotice(e+1, H′, s, seq_index)",
   "originalText": "first EpochNotice(e+1, H′, s, seq_index)",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "text",
   "id": "tr2",
   "x": 178,
   "y": 464,
   "width": 290.656,
   "height": 60.0,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 36814698,
   "version": 1,
   "versionNonce": 36814705,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "own clock ≥ T,\nor EpochNotice(0),\nor Reject EPOCH_MISMATCH from H",
   "originalText": "own clock ≥ T,\nor EpochNotice(0),\nor Reject EPOCH_MISMATCH from H",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "text",
   "id": "tr3",
   "x": 178,
   "y": 846,
   "width": 309.40799999999996,
   "height": 40.0,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 241198076,
   "version": 1,
   "versionNonce": 241198083,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "first response with epoch16 = e+1\n(window or ordinary stream)",
   "originalText": "first response with epoch16 = e+1\n(window or ordinary stream)",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "text",
   "id": "prep_h",
   "x": 340,
   "y": 342,
   "width": 83.52,
   "height": 22.5,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 531748957,
   "version": 1,
   "versionNonce": 531748964,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "prepare:",
   "originalText": "prepare:",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 16
  },
  {
   "type": "text",
   "id": "prep_b",
   "x": 340,
   "y": 370,
   "width": 459.424,
   "height": 80.0,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 284756291,
   "version": 1,
   "versionNonce": 284756298,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "T = now + s (or the schedule)\nK_seq/K_out(e+1, i) for both sequencer boxes i\nown lane in lane_map(e+1)\nif moved: pre-open before the cutoff (§9.1, §9.2)",
   "originalText": "T = now + s (or the schedule)\nK_seq/K_out(e+1, i) for both sequencer boxes i\nown lane in lane_map(e+1)\nif moved: pre-open before the cutoff (§9.1, §9.2)",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "text",
   "id": "st1",
   "x": 340,
   "y": 576,
   "width": 196.38,
   "height": 22.5,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1011228627,
   "version": 1,
   "versionNonce": 1011228634,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "1. stop sending to H",
   "originalText": "1. stop sending to H",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 16
  },
  {
   "type": "text",
   "id": "st2",
   "x": 340,
   "y": 610,
   "width": 531.54,
   "height": 22.5,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 712172137,
   "version": 1,
   "versionNonce": 712172144,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "2. resend every unacked packet to H′ in pkt_seq order:",
   "originalText": "2. resend every unacked packet to H′ in pkt_seq order:",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 16
  },
  {
   "type": "rectangle",
   "id": "ev",
   "x": 364,
   "y": 644,
   "width": 400,
   "height": 124,
   "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": [
    {
     "id": "to_hn",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null
  },
  {
   "type": "text",
   "id": "ev_b",
   "x": 382,
   "y": 656,
   "width": 328.15999999999997,
   "height": 100.0,
   "angle": 0,
   "strokeColor": "#F2D447",
   "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": "flags bit0 = 1\nepoch16 = e+1\ntag_seq under K_seq(e+1, seq_index)\nboth copies (04 D2)\nlogical content unchanged (04 D3)",
   "originalText": "flags bit0 = 1\nepoch16 = e+1\ntag_seq under K_seq(e+1, seq_index)\nboth copies (04 D2)\nlogical content unchanged (04 D3)",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "text",
   "id": "st3",
   "x": 340,
   "y": 782,
   "width": 526.68,
   "height": 45.0,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1568002815,
   "version": 1,
   "versionNonce": 1568002822,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "3. then send new packets to H′; each gets a queued Ack\n    within 1 µs of reaching H′ (§7.11)",
   "originalText": "3. then send new packets to H′; each gets a queued Ack\n    within 1 µs of reaching H′ (§7.11)",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 16
  },
  {
   "type": "rectangle",
   "id": "H",
   "x": 960,
   "y": 568,
   "width": 200,
   "height": 48,
   "angle": 0,
   "strokeColor": "#565A6B",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "dashed",
   "roughness": 1,
   "opacity": 100,
   "seed": 852464175,
   "version": 1,
   "versionNonce": 852464182,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": [
    {
     "id": "H_t",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "H_t",
   "x": 999.79,
   "y": 580.75,
   "width": 120.41999999999999,
   "height": 22.5,
   "angle": 0,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1951292884,
   "version": 1,
   "versionNonce": 1951292891,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "H (old home)",
   "originalText": "H (old home)",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "lineHeight": 1.25,
   "containerId": "H",
   "autoResize": true,
   "baseline": 16
  },
  {
   "type": "line",
   "id": "stopline",
   "x": 560,
   "y": 588,
   "width": 396,
   "height": 4,
   "angle": 0,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "dashed",
   "roughness": 1,
   "opacity": 100,
   "seed": 952432520,
   "version": 1,
   "versionNonce": 952432527,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     396,
     4
    ]
   ],
   "lastCommittedPoint": null
  },
  {
   "type": "line",
   "id": "x1",
   "x": 748,
   "y": 576,
   "width": 20,
   "height": 28,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 3,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 158775611,
   "version": 1,
   "versionNonce": 158775618,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     20,
     28
    ]
   ],
   "lastCommittedPoint": null
  },
  {
   "type": "line",
   "id": "x2",
   "x": 768,
   "y": 576,
   "width": 20,
   "height": 28,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 3,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1860743297,
   "version": 1,
   "versionNonce": 1860743304,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     -20,
     28
    ]
   ],
   "lastCommittedPoint": null
  },
  {
   "type": "rectangle",
   "id": "Hn",
   "x": 960,
   "y": 686,
   "width": 200,
   "height": 56,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1547569069,
   "version": 1,
   "versionNonce": 1547569076,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": [
    {
     "id": "Hn_t",
     "type": "text"
    },
    {
     "id": "to_hn",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "Hn_t",
   "x": 994.57,
   "y": 702.75,
   "width": 130.85999999999999,
   "height": 22.5,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1474739546,
   "version": 1,
   "versionNonce": 1474739553,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "H′ (new home)",
   "originalText": "H′ (new home)",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "lineHeight": 1.25,
   "containerId": "Hn",
   "autoResize": true,
   "baseline": 16
  },
  {
   "type": "arrow",
   "id": "to_hn",
   "x": 768,
   "y": 710,
   "width": 188,
   "height": 4,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1388707386,
   "version": 1,
   "versionNonce": 1388707393,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     188,
     4
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": {
    "elementId": "ev",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "Hn",
    "focus": 0,
    "gap": 4
   },
   "elbowed": false
  },
  {
   "type": "text",
   "id": "st4",
   "x": 340,
   "y": 934,
   "width": 635.4,
   "height": 67.5,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1272689500,
   "version": 1,
   "versionNonce": 1272689507,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "4. after U: ResendReq for any resp_seq gap older than\n    EPO_DRAIN_MS, including late responses of epoch e (§11.3);\n    window-stream gaps at any time (byte 1 bit 0)",
   "originalText": "4. after U: ResendReq for any resp_seq gap older than\n    EPO_DRAIN_MS, including late responses of epoch e (§11.3);\n    window-stream gaps at any time (byte 1 bit 0)",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 16
  },
  {
   "type": "text",
   "id": "n_rev",
   "x": 340,
   "y": 292,
   "width": 496.43999999999994,
   "height": 22.5,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 245514768,
   "version": 1,
   "versionNonce": 245514775,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "a revised notice restarts Scheduled with the new T",
   "originalText": "a revised notice restarts Scheduled with the new T",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 16
  },
  {
   "type": "arrow",
   "id": "a_rev",
   "x": 334,
   "y": 306,
   "width": 46,
   "height": 42,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 126304705,
   "version": 1,
   "versionNonce": 126304712,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 2
   },
   "points": [
    [
     0,
     0
    ],
    [
     -28,
     14
    ],
    [
     -46,
     42
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": null,
   "endBinding": null,
   "elbowed": false
  },
  {
   "type": "text",
   "id": "n_early",
   "x": 640,
   "y": 476,
   "width": 301.32,
   "height": 67.5,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1734072242,
   "version": 1,
   "versionNonce": 1734072249,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "switching early gains nothing:\na packet with rx_ts < T gets\nReject EPOCH_MISMATCH",
   "originalText": "switching early gains nothing:\na packet with rx_ts < T gets\nReject EPOCH_MISMATCH",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 16
  },
  {
   "type": "arrow",
   "id": "a_early",
   "x": 636,
   "y": 500,
   "width": 116,
   "height": 24,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 685316955,
   "version": 1,
   "versionNonce": 685316962,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 2
   },
   "points": [
    [
     0,
     0
    ],
    [
     -56,
     20
    ],
    [
     -116,
     24
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": null,
   "endBinding": null,
   "elbowed": false
  }
 ],
 "appState": {
  "viewBackgroundColor": "#FFFFFF",
  "gridSize": 20
 },
 "files": {}
}