{
 "type": "excalidraw",
 "version": 2,
 "source": "https://excalidraw.com",
 "elements": [
  {
   "type": "rectangle",
   "id": "canvas_frame",
   "x": 0,
   "y": 0,
   "width": 1140,
   "height": 1050,
   "strokeColor": "transparent",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 0,
   "opacity": 100,
   "angle": 0,
   "seed": 1055002771,
   "version": 1,
   "versionNonce": 1795383220,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null
  },
  {
   "type": "text",
   "id": "title",
   "x": 40,
   "y": 40,
   "width": 1027.52,
   "height": 32.5,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 724990060,
   "version": 1,
   "versionNonce": 555222682,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "An ACTIVE session leaves only through CLOSED, and only CLOSED frees the slot",
   "originalText": "An ACTIVE session leaves only through CLOSED, and only CLOSED frees the slot",
   "fontSize": 26,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25
  },
  {
   "type": "rectangle",
   "id": "lg1",
   "x": 40,
   "y": 92,
   "width": 30,
   "height": 20,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1320714765,
   "version": 1,
   "versionNonce": 712557951,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null
  },
  {
   "type": "text",
   "id": "lg1_t",
   "x": 80,
   "y": 90,
   "width": 199.68,
   "height": 20.0,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1945360883,
   "version": 1,
   "versionNonce": 541785202,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "the lane accepts packets",
   "originalText": "the lane accepts packets",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25
  },
  {
   "type": "rectangle",
   "id": "lg2",
   "x": 300,
   "y": 92,
   "width": 30,
   "height": 20,
   "strokeColor": "#565A6B",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "dashed",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1558661047,
   "version": 1,
   "versionNonce": 749949736,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null
  },
  {
   "type": "text",
   "id": "lg2_t",
   "x": 340,
   "y": 90,
   "width": 199.68,
   "height": 20.0,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1907713964,
   "version": 1,
   "versionNonce": 1743423138,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "the lane accepts nothing",
   "originalText": "the lane accepts nothing",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25
  },
  {
   "type": "text",
   "id": "start",
   "x": 346.0,
   "y": 132,
   "width": 208.0,
   "height": 25.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 675529104,
   "version": 1,
   "versionNonce": 1591072844,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "OpenSession accepted",
   "originalText": "OpenSession accepted",
   "fontSize": 20,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25
  },
  {
   "type": "text",
   "id": "start2",
   "x": 275.28,
   "y": 158,
   "width": 349.44,
   "height": 20.0,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1733122538,
   "version": 1,
   "versionNonce": 1690607734,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "(admin channel in BASE, chain tx in CHAIN)",
   "originalText": "(admin channel in BASE, chain tx in CHAIN)",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25
  },
  {
   "type": "arrow",
   "id": "a_start",
   "x": 450,
   "y": 184,
   "width": 0,
   "height": 30,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 338591904,
   "version": 1,
   "versionNonce": 1803080471,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     30
    ]
   ],
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": null,
   "endBinding": null,
   "lastCommittedPoint": null,
   "elbowed": false
  },
  {
   "type": "rectangle",
   "id": "opening",
   "x": 340,
   "y": 218,
   "width": 220,
   "height": 66,
   "strokeColor": "#565A6B",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "dashed",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 238408900,
   "version": 1,
   "versionNonce": 561079993,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "opening_t",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "opening_t",
   "x": 348,
   "y": 238.5,
   "width": 204,
   "height": 25.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1257994805,
   "version": 1,
   "versionNonce": 63578084,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "OPENING",
   "originalText": "OPENING",
   "fontSize": 20,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "opening",
   "lineHeight": 1.25
  },
  {
   "type": "arrow",
   "id": "a_gone",
   "x": 562,
   "y": 251,
   "width": 318,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1958748448,
   "version": 1,
   "versionNonce": 409546918,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     318,
     0
    ]
   ],
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": null,
   "endBinding": null,
   "lastCommittedPoint": null,
   "elbowed": false
  },
  {
   "type": "text",
   "id": "a_gone_l",
   "x": 580,
   "y": 220,
   "width": 282.88,
   "height": 21.25,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1320148096,
   "version": 1,
   "versionNonce": 1725448101,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "open record not in the final log",
   "originalText": "open record not in the final log",
   "fontSize": 17,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25
  },
  {
   "type": "text",
   "id": "gone",
   "x": 890,
   "y": 238,
   "width": 41.6,
   "height": 25.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 43536198,
   "version": 1,
   "versionNonce": 460123925,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "gone",
   "originalText": "gone",
   "fontSize": 20,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25
  },
  {
   "type": "text",
   "id": "gone2",
   "x": 890,
   "y": 264,
   "width": 166.4,
   "height": 20.0,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 476156766,
   "version": 1,
   "versionNonce": 682035020,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "(client opens again)",
   "originalText": "(client opens again)",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25
  },
  {
   "type": "arrow",
   "id": "a_open",
   "x": 450,
   "y": 286,
   "width": 0,
   "height": 94,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1293777407,
   "version": 1,
   "versionNonce": 1512648316,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     94
    ]
   ],
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": null,
   "endBinding": null,
   "lastCommittedPoint": null,
   "elbowed": false
  },
  {
   "type": "text",
   "id": "a_open_l",
   "x": 466,
   "y": 306,
   "width": 318.24,
   "height": 42.5,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 602055330,
   "version": 1,
   "versionNonce": 171200997,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "lane applies SessionOpen;\nreply to the client once it is final",
   "originalText": "lane applies SessionOpen;\nreply to the client once it is final",
   "fontSize": 17,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25
  },
  {
   "type": "rectangle",
   "id": "active",
   "x": 340,
   "y": 385,
   "width": 220,
   "height": 80,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 3,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1260321795,
   "version": 1,
   "versionNonce": 146627943,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "active_t",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "active_t",
   "x": 348,
   "y": 411.25,
   "width": 204,
   "height": 27.5,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 913956331,
   "version": 1,
   "versionNonce": 52886959,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "ACTIVE",
   "originalText": "ACTIVE",
   "fontSize": 22,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "active",
   "lineHeight": 1.25
  },
  {
   "type": "arrow",
   "id": "a_loop",
   "x": 338,
   "y": 405,
   "width": 66,
   "height": 54,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1211295669,
   "version": 1,
   "versionNonce": 1191719577,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": {
    "type": 2
   },
   "points": [
    [
     0,
     0
    ],
    [
     -46,
     -7
    ],
    [
     -66,
     20
    ],
    [
     -46,
     47
    ],
    [
     -2,
     41
    ]
   ],
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": null,
   "endBinding": null,
   "lastCommittedPoint": null,
   "elbowed": false
  },
  {
   "type": "text",
   "id": "a_loop_l",
   "x": 76.35999999999999,
   "y": 385,
   "width": 185.64000000000001,
   "height": 63.75,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 251893315,
   "version": 1,
   "versionNonce": 1761964198,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "timeout: COD fires\nstale = true\nnext packet clears it",
   "originalText": "timeout: COD fires\nstale = true\nnext packet clears it",
   "fontSize": 17,
   "fontFamily": 5,
   "textAlign": "right",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25
  },
  {
   "type": "arrow",
   "id": "a_drain",
   "x": 562,
   "y": 425,
   "width": 258,
   "height": 75,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1083970098,
   "version": 1,
   "versionNonce": 2609268,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     258,
     0
    ],
    [
     258,
     75
    ]
   ],
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": null,
   "endBinding": null,
   "lastCommittedPoint": null,
   "elbowed": false
  },
  {
   "type": "text",
   "id": "a_drain_l",
   "x": 590,
   "y": 394,
   "width": 185.64000000000001,
   "height": 21.25,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1239495850,
   "version": 1,
   "versionNonce": 330689274,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "Logout or admin drain",
   "originalText": "Logout or admin drain",
   "fontSize": 17,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25
  },
  {
   "type": "rectangle",
   "id": "draining",
   "x": 720,
   "y": 505,
   "width": 200,
   "height": 66,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 846473125,
   "version": 1,
   "versionNonce": 1863834766,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "draining_t",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "draining_t",
   "x": 728,
   "y": 525.5,
   "width": 184,
   "height": 25.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1175767042,
   "version": 1,
   "versionNonce": 181691162,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "DRAINING",
   "originalText": "DRAINING",
   "fontSize": 20,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "draining",
   "lineHeight": 1.25
  },
  {
   "type": "text",
   "id": "drain_acc",
   "x": 935,
   "y": 508,
   "width": 126.0,
   "height": 70.0,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1843082338,
   "version": 1,
   "versionNonce": 761794886,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "Cancel, Reduce,\nCancelAll,\nHeartbeat,\nResendReq only",
   "originalText": "Cancel, Reduce,\nCancelAll,\nHeartbeat,\nResendReq only",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25
  },
  {
   "type": "arrow",
   "id": "a_d2c",
   "x": 820,
   "y": 573,
   "width": 0,
   "height": 117,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 265690492,
   "version": 1,
   "versionNonce": 304951010,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     117
    ]
   ],
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": null,
   "endBinding": null,
   "lastCommittedPoint": null,
   "elbowed": false
  },
  {
   "type": "text",
   "id": "a_d2c_l",
   "x": 836,
   "y": 600,
   "width": 185.64000000000001,
   "height": 21.25,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1213454908,
   "version": 1,
   "versionNonce": 742811245,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "no resting orders, or",
   "originalText": "no resting orders, or",
   "fontSize": 17,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25
  },
  {
   "type": "text",
   "id": "a_d2c_l2",
   "x": 836,
   "y": 626,
   "width": 162.0,
   "height": 18.75,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 878735604,
   "version": 1,
   "versionNonce": 1241392957,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "PROTO_DRAIN_MAX_MS",
   "originalText": "PROTO_DRAIN_MAX_MS",
   "fontSize": 15,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25
  },
  {
   "type": "arrow",
   "id": "a_a2c",
   "x": 450,
   "y": 467,
   "width": 0,
   "height": 223,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 176873361,
   "version": 1,
   "versionNonce": 1099058578,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     223
    ]
   ],
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": null,
   "endBinding": null,
   "lastCommittedPoint": null,
   "elbowed": false
  },
  {
   "type": "text",
   "id": "a_a2c_l",
   "x": 268.03999999999996,
   "y": 560,
   "width": 167.96,
   "height": 63.75,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 159236428,
   "version": 1,
   "versionNonce": 47754700,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "bad MAC from bound,\nequivocation, admin\nkill, lane move",
   "originalText": "bad MAC from bound,\nequivocation, admin\nkill, lane move",
   "fontSize": 17,
   "fontFamily": 5,
   "textAlign": "right",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25
  },
  {
   "type": "rectangle",
   "id": "closed",
   "x": 300,
   "y": 695,
   "width": 680,
   "height": 90,
   "strokeColor": "#565A6B",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "dashed",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 80170469,
   "version": 1,
   "versionNonce": 1417336272,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "closed_t",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "closed_t",
   "x": 308,
   "y": 717.5,
   "width": 664,
   "height": 45.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 435022148,
   "version": 1,
   "versionNonce": 216142139,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "CLOSED: no packet accepted. Resting orders stay unless\nCOD; their later records still enter the session stream.",
   "originalText": "CLOSED: no packet accepted. Resting orders stay unless\nCOD; their later records still enter the session stream.",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "closed",
   "lineHeight": 1.25
  },
  {
   "type": "arrow",
   "id": "a_free",
   "x": 640,
   "y": 787,
   "width": 0,
   "height": 101,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 755869587,
   "version": 1,
   "versionNonce": 196330291,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     101
    ]
   ],
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": null,
   "endBinding": null,
   "lastCommittedPoint": null,
   "elbowed": false
  },
  {
   "type": "text",
   "id": "a_free_l",
   "x": 656,
   "y": 806,
   "width": 159.12,
   "height": 21.25,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1397573609,
   "version": 1,
   "versionNonce": 120867576,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "no resting orders,",
   "originalText": "no resting orders,",
   "fontSize": 17,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25
  },
  {
   "type": "text",
   "id": "a_free_l2",
   "x": 656,
   "y": 832,
   "width": 171.0,
   "height": 18.75,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1033421469,
   "version": 1,
   "versionNonce": 788418517,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "PROTO_CLOSED_KEEP_S",
   "originalText": "PROTO_CLOSED_KEEP_S",
   "fontSize": 15,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25
  },
  {
   "type": "ellipse",
   "id": "free",
   "x": 540,
   "y": 892,
   "width": 200,
   "height": 70,
   "strokeColor": "#565A6B",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "dashed",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1294909897,
   "version": 1,
   "versionNonce": 378504324,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "free_t",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "roundness": {
    "type": 2
   }
  },
  {
   "type": "text",
   "id": "free_t",
   "x": 548,
   "y": 914.5,
   "width": 184,
   "height": 25.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1302097936,
   "version": 1,
   "versionNonce": 33875658,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "FREE",
   "originalText": "FREE",
   "fontSize": 20,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "free",
   "lineHeight": 1.25
  },
  {
   "type": "text",
   "id": "free_n",
   "x": 756,
   "y": 914,
   "width": 271.44,
   "height": 22.5,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 967900534,
   "version": 1,
   "versionNonce": 1753963632,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "slot reusable; generation + 1",
   "originalText": "slot reusable; generation + 1",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25
  },
  {
   "type": "text",
   "id": "n1",
   "x": 40,
   "y": 470,
   "width": 140.4,
   "height": 67.5,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1950597357,
   "version": 1,
   "versionNonce": 1728226490,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "stale is a flag\ninside ACTIVE,\nnot a state",
   "originalText": "stale is a flag\ninside ACTIVE,\nnot a state",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25
  },
  {
   "type": "arrow",
   "id": "n1_a",
   "x": 150,
   "y": 468,
   "width": 120,
   "height": 24,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1632447711,
   "version": 1,
   "versionNonce": 98238575,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": {
    "type": 2
   },
   "points": [
    [
     0,
     0
    ],
    [
     60,
     2
    ],
    [
     120,
     -22
    ]
   ],
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": null,
   "endBinding": null,
   "lastCommittedPoint": null,
   "elbowed": false
  },
  {
   "type": "text",
   "id": "n2",
   "x": 40,
   "y": 975,
   "width": 486.72,
   "height": 45.0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1919944023,
   "version": 1,
   "versionNonce": 1698962145,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "on entering CLOSED the lane emits one last in-stream\nrecord: Reject BAD_MAC or Reject SESSION_CLOSED",
   "originalText": "on entering CLOSED the lane emits one last in-stream\nrecord: Reject BAD_MAC or Reject SESSION_CLOSED",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25
  },
  {
   "type": "arrow",
   "id": "n2_a",
   "x": 240,
   "y": 970,
   "width": 90,
   "height": 180,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1670310536,
   "version": 1,
   "versionNonce": 984673983,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": {
    "type": 2
   },
   "points": [
    [
     0,
     0
    ],
    [
     30,
     -100
    ],
    [
     90,
     -180
    ]
   ],
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": null,
   "endBinding": null,
   "lastCommittedPoint": null,
   "elbowed": false
  }
 ],
 "appState": {
  "viewBackgroundColor": "#ffffff",
  "gridSize": 20
 },
 "files": {}
}