{
 "type": "excalidraw",
 "version": 2,
 "source": "https://excalidraw.com",
 "elements": [
  {
   "angle": 0,
   "opacity": 100,
   "seed": 11007,
   "version": 1,
   "versionNonce": 33022,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "rectangle",
   "id": "canvas",
   "x": 0,
   "y": 0,
   "width": 1180,
   "height": 900,
   "strokeColor": "transparent",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roundness": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 11014,
   "version": 1,
   "versionNonce": 33043,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "title",
   "x": 40,
   "y": 40,
   "width": 907.2,
   "height": 70.0,
   "text": "A replay lane needs three inputs before it applies a packet;\nthe BBO replay core needs every lane",
   "originalText": "A replay lane needs three inputs before it applies a packet;\nthe BBO replay core needs every lane",
   "fontSize": 28,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 11021,
   "version": 1,
   "versionNonce": 33064,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "sub",
   "x": 40,
   "y": 120,
   "width": 688.8,
   "height": 17.5,
   "text": "03 §4.5 · replay dependencies of one replica · arrows mean \"must be applied first\"",
   "originalText": "03 §4.5 · replay dependencies of one replica · arrows mean \"must be applied first\"",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 11028,
   "version": 1,
   "versionNonce": 33085,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "fills_c",
   "x": 40,
   "y": 174,
   "width": 190.1,
   "height": 20.0,
   "text": "BBO replay core's ring",
   "originalText": "BBO replay core's ring",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 11035,
   "version": 1,
   "versionNonce": 33106,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "a_fills",
     "type": "arrow"
    },
    {
     "id": "loop",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "fills",
   "x": 40,
   "y": 200,
   "width": 340,
   "height": 78,
   "strokeColor": "#191B26",
   "backgroundColor": "#191B26",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roundness": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 11042,
   "version": 1,
   "versionNonce": 33127,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "fills_b",
   "x": 52,
   "y": 210,
   "width": 226.8,
   "height": 52.5,
   "text": "fill events of steps ≤ s0\n(from the BBO replay core's\nring to lane l)",
   "originalText": "fill events of steps ≤ s0\n(from the BBO replay core's\nring to lane l)",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#F2D447",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 11049,
   "version": 1,
   "versionNonce": 33148,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "pkt_c",
   "x": 400,
   "y": 174,
   "width": 181.4,
   "height": 20.0,
   "text": "c1: LaneRun of lane l",
   "originalText": "c1: LaneRun of lane l",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 11056,
   "version": 1,
   "versionNonce": 33169,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "a_pkt",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "pkt",
   "x": 400,
   "y": 200,
   "width": 360,
   "height": 78,
   "strokeColor": "#191B26",
   "backgroundColor": "#191B26",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roundness": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 11063,
   "version": 1,
   "versionNonce": 33190,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "pkt_b",
   "x": 412,
   "y": 210,
   "width": 176.4,
   "height": 52.5,
   "text": "PacketRecord(l,\n  first_lane_seq = x,\n  fills_applied = s0)",
   "originalText": "PacketRecord(l,\n  first_lane_seq = x,\n  fills_applied = s0)",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#F2D447",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 11070,
   "version": 1,
   "versionNonce": 33211,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "pay_c",
   "x": 780,
   "y": 174,
   "width": 121.0,
   "height": 20.0,
   "text": "NIC D: payload",
   "originalText": "NIC D: payload",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 11077,
   "version": 1,
   "versionNonce": 33232,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "a_pay",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "pay",
   "x": 780,
   "y": 200,
   "width": 360,
   "height": 78,
   "strokeColor": "#191B26",
   "backgroundColor": "#191B26",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roundness": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 11084,
   "version": 1,
   "versionNonce": 33253,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "pay_b",
   "x": 792,
   "y": 210,
   "width": 235.2,
   "height": 52.5,
   "text": "payload index of lane l,\nkeyed by (session, pkt_seq),\nchecked by pkt_hash",
   "originalText": "payload index of lane l,\nkeyed by (session, pkt_seq),\nchecked by pkt_hash",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#F2D447",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 11091,
   "version": 1,
   "versionNonce": 33274,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "lane_t",
     "type": "text"
    },
    {
     "id": "a_fills",
     "type": "arrow"
    },
    {
     "id": "a_pkt",
     "type": "arrow"
    },
    {
     "id": "a_pay",
     "type": "arrow"
    },
    {
     "id": "a_ctr",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "lane",
   "x": 340,
   "y": 370,
   "width": 500,
   "height": 64,
   "strokeColor": "#191B26",
   "backgroundColor": "#F4B7C2",
   "fillStyle": "solid",
   "strokeWidth": 3,
   "strokeStyle": "solid",
   "roundness": {
    "type": 3
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 11098,
   "version": 1,
   "versionNonce": 33295,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "lane_t",
   "x": 369.2,
   "y": 392.0,
   "width": 441.6,
   "height": 20.0,
   "text": "lane l applies the packet at LaneSeq x, x+1, …",
   "originalText": "lane l applies the packet at LaneSeq x, x+1, …",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": "lane",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 11105,
   "version": 1,
   "versionNonce": 33316,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "arrow",
   "id": "a_fills",
   "x": 210,
   "y": 280,
   "width": 210,
   "height": 88,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "points": [
    [
     0,
     0
    ],
    [
     210,
     88
    ]
   ],
   "roundness": null,
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": {
    "elementId": "fills",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "lane",
    "focus": 0,
    "gap": 4
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 11112,
   "version": 1,
   "versionNonce": 33337,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "arrow",
   "id": "a_pkt",
   "x": 580,
   "y": 280,
   "width": 0,
   "height": 88,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "points": [
    [
     0,
     0
    ],
    [
     0,
     88
    ]
   ],
   "roundness": null,
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": {
    "elementId": "pkt",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "lane",
    "focus": 0,
    "gap": 4
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 11119,
   "version": 1,
   "versionNonce": 33358,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "arrow",
   "id": "a_pay",
   "x": 960,
   "y": 280,
   "width": 200,
   "height": 88,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "dashed",
   "points": [
    [
     0,
     0
    ],
    [
     -200,
     88
    ]
   ],
   "roundness": null,
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": {
    "elementId": "pay",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "lane",
    "focus": 0,
    "gap": 4
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 11126,
   "version": 1,
   "versionNonce": 33379,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "arrow",
   "id": "a_ctr",
   "x": 590,
   "y": 436,
   "width": 0,
   "height": 82,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "points": [
    [
     0,
     0
    ],
    [
     0,
     82
    ]
   ],
   "roundness": null,
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": {
    "elementId": "lane",
    "focus": 0,
    "gap": 4
   },
   "endBinding": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 11133,
   "version": 1,
   "versionNonce": 33400,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "l_ctr",
   "x": 602,
   "y": 462,
   "width": 207.4,
   "height": 20.0,
   "text": "replay counter of lane l",
   "originalText": "replay counter of lane l",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 11140,
   "version": 1,
   "versionNonce": 33421,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "a_step",
     "type": "arrow"
    },
    {
     "id": "a_of",
     "type": "arrow"
    },
    {
     "id": "a_oo",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "bbo",
   "x": 300,
   "y": 520,
   "width": 580,
   "height": 110,
   "strokeColor": "#191B26",
   "backgroundColor": "#F4B7C2",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roundness": {
    "type": 3
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 11147,
   "version": 1,
   "versionNonce": 33442,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "bbo_1",
   "x": 441.2,
   "y": 532,
   "width": 297.6,
   "height": 40.0,
   "text": "BBO replay applies step s once\nevery lane's counter ≥ s.cut[l]",
   "originalText": "BBO replay applies step s once\nevery lane's counter ≥ s.cut[l]",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 11154,
   "version": 1,
   "versionNonce": 33463,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "bbo_2",
   "x": 309.2,
   "y": 590,
   "width": 561.6,
   "height": 20.0,
   "text": "(a Shed step applies no match: its lane releases the reservation)",
   "originalText": "(a Shed step applies no match: its lane releases the reservation)",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "top",
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 11161,
   "version": 1,
   "versionNonce": 33484,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "step_c",
   "x": 920,
   "y": 524,
   "width": 25.9,
   "height": 20.0,
   "text": "c1:",
   "originalText": "c1:",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 11168,
   "version": 1,
   "versionNonce": 33505,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "a_step",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "step",
   "x": 920,
   "y": 550,
   "width": 220,
   "height": 50,
   "strokeColor": "#191B26",
   "backgroundColor": "#191B26",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roundness": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 11175,
   "version": 1,
   "versionNonce": 33526,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "step_b",
   "x": 932,
   "y": 560,
   "width": 151.2,
   "height": 17.5,
   "text": "StepRecord(s, cut)",
   "originalText": "StepRecord(s, cut)",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#F2D447",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 11182,
   "version": 1,
   "versionNonce": 33547,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "arrow",
   "id": "a_step",
   "x": 918,
   "y": 575,
   "width": 36,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "points": [
    [
     0,
     0
    ],
    [
     -36,
     0
    ]
   ],
   "roundness": null,
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": {
    "elementId": "step",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "bbo",
    "focus": 0,
    "gap": 4
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 11189,
   "version": 1,
   "versionNonce": 33568,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "o_fill_t",
     "type": "text"
    },
    {
     "id": "a_of",
     "type": "arrow"
    },
    {
     "id": "loop",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "o_fill",
   "x": 300,
   "y": 700,
   "width": 300,
   "height": 66,
   "strokeColor": "#191B26",
   "backgroundColor": "#F4B7C2",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roundness": {
    "type": 3
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 11196,
   "version": 1,
   "versionNonce": 33589,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "o_fill_t",
   "x": 339.6,
   "y": 713.0,
   "width": 220.8,
   "height": 40.0,
   "text": "fill events → lanes\n(settlement), and so on",
   "originalText": "fill events → lanes\n(settlement), and so on",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": "o_fill",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 11203,
   "version": 1,
   "versionNonce": 33610,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "o_out_t",
     "type": "text"
    },
    {
     "id": "a_oo",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "o_out",
   "x": 640,
   "y": 700,
   "width": 500,
   "height": 66,
   "strokeColor": "#191B26",
   "backgroundColor": "#F4B7C2",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roundness": {
    "type": 3
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 11210,
   "version": 1,
   "versionNonce": 33631,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "o_out_t",
   "x": 726.8,
   "y": 713.0,
   "width": 326.4,
   "height": 40.0,
   "text": "output rings → vyrn-md (observer),\nvyrn-dropcopy, state root",
   "originalText": "output rings → vyrn-md (observer),\nvyrn-dropcopy, state root",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": "o_out",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 11217,
   "version": 1,
   "versionNonce": 33652,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "arrow",
   "id": "a_of",
   "x": 450,
   "y": 632,
   "width": 0,
   "height": 66,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "points": [
    [
     0,
     0
    ],
    [
     0,
     66
    ]
   ],
   "roundness": null,
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": {
    "elementId": "bbo",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "o_fill",
    "focus": 0,
    "gap": 4
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 11224,
   "version": 1,
   "versionNonce": 33673,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "arrow",
   "id": "a_oo",
   "x": 760,
   "y": 632,
   "width": 100,
   "height": 66,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "points": [
    [
     0,
     0
    ],
    [
     100,
     66
    ]
   ],
   "roundness": null,
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": {
    "elementId": "bbo",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "o_out",
    "focus": 0,
    "gap": 4
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 11231,
   "version": 1,
   "versionNonce": 33694,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "arrow",
   "id": "loop",
   "x": 298,
   "y": 733,
   "width": 234,
   "height": 451,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "dashed",
   "points": [
    [
     0,
     0
    ],
    [
     -234,
     -33
    ],
    [
     -234,
     -403
    ],
    [
     -178,
     -451
    ]
   ],
   "roundness": {
    "type": 2
   },
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": {
    "elementId": "o_fill",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "fills",
    "focus": 0,
    "gap": 4
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 11238,
   "version": 1,
   "versionNonce": 33715,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "n_cycle",
   "x": 100,
   "y": 800,
   "width": 495.7,
   "height": 45.0,
   "text": "no cycle: a packet's fills_applied names only steps\nwhose cut is below that packet's first_lane_seq",
   "originalText": "no cycle: a packet's fills_applied names only steps\nwhose cut is below that packet's first_lane_seq",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 11245,
   "version": 1,
   "versionNonce": 33736,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "arrow",
   "id": "na_cycle",
   "x": 210,
   "y": 798,
   "width": 40,
   "height": 54,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "points": [
    [
     0,
     0
    ],
    [
     -10,
     -26
    ],
    [
     -40,
     -54
    ]
   ],
   "roundness": {
    "type": 2
   },
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": null,
   "endBinding": null
  }
 ],
 "appState": {
  "viewBackgroundColor": "#ffffff",
  "gridSize": 20
 },
 "files": {}
}