{ "type": "excalidraw", "version": 2, "source": "https://excalidraw.com", "elements": [ { "type": "rectangle", "id": "canvas_margin", "x": 10, "y": 10, "width": 1180.0, "height": 1040.0, "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": 659.96, "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": "Capital enters a lane only from a finalized\nledger tx, and leaves the same way", "originalText": "Capital enters a lane only from a finalized\nledger tx, and leaves the same way", "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": 917.76, "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": "One account's allocation (escrow) for one book. IN_FLIGHT_IN and IN_FLIGHT_OUT are ledger fields.", "originalText": "One account's allocation (escrow) for one book. IN_FLIGHT_IN and IN_FLIGHT_OUT are ledger fields.", "fontSize": 16, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 14 }, { "type": "rectangle", "id": "ledger", "x": 40, "y": 240, "width": 180, "height": 60, "angle": 0, "strokeColor": "#5A2D91", "backgroundColor": "#EDE5F6", "fillStyle": "solid", "strokeWidth": 3, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1229328572, "version": 1, "versionNonce": 1229328579, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": [ { "id": "ledger_t", "type": "text" }, { "id": "a_alloc", "type": "arrow" }, { "id": "a_back", "type": "arrow" } ], "link": null, "locked": false, "updated": 1, "roundness": { "type": 3 } }, { "type": "text", "id": "ledger_t", "x": 94.84, "y": 257.5, "width": 70.32, "height": 25.0, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 992218239, "version": 1, "versionNonce": 992218246, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "LEDGER", "originalText": "LEDGER", "fontSize": 20, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "lineHeight": 1.25, "containerId": "ledger", "autoResize": true, "baseline": 18 }, { "type": "rectangle", "id": "in", "x": 480.0, "y": 240, "width": 240, "height": 60, "angle": 0, "strokeColor": "#5A2D91", "backgroundColor": "#EDE5F6", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1609338446, "version": 1, "versionNonce": 1609338453, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": [ { "id": "in_t", "type": "text" }, { "id": "a_alloc", "type": "arrow" }, { "id": "a_credit", "type": "arrow" } ], "link": null, "locked": false, "updated": 1, "roundness": { "type": 3 } }, { "type": "text", "id": "in_t", "x": 536.712, "y": 258.75, "width": 126.576, "height": 22.5, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1332245761, "version": 1, "versionNonce": 1332245768, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "IN_FLIGHT_IN", "originalText": "IN_FLIGHT_IN", "fontSize": 18, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "lineHeight": 1.25, "containerId": "in", "autoResize": true, "baseline": 16 }, { "type": "rectangle", "id": "esc", "x": 480.0, "y": 450, "width": 240, "height": 70, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1643432462, "version": 1, "versionNonce": 1643432469, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": [ { "id": "esc_t", "type": "text" }, { "id": "a_credit", "type": "arrow" }, { "id": "a_shrink", "type": "arrow" } ], "link": null, "locked": false, "updated": 1, "roundness": { "type": 3 } }, { "type": "text", "id": "esc_t", "x": 568.356, "y": 462.5, "width": 63.288, "height": 45.0, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1466625429, "version": 1, "versionNonce": 1466625436, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "ESCROW\n(lane)", "originalText": "ESCROW\n(lane)", "fontSize": 18, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "lineHeight": 1.25, "containerId": "esc", "autoResize": true, "baseline": 16 }, { "type": "rectangle", "id": "shr", "x": 480.0, "y": 660, "width": 240, "height": 60, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1134848676, "version": 1, "versionNonce": 1134848683, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": [ { "id": "shr_t", "type": "text" }, { "id": "a_shrink", "type": "arrow" }, { "id": "a_debit", "type": "arrow" } ], "link": null, "locked": false, "updated": 1, "roundness": { "type": 3 } }, { "type": "text", "id": "shr_t", "x": 552.534, "y": 678.75, "width": 94.932, "height": 22.5, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1153918574, "version": 1, "versionNonce": 1153918581, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "SHRINKING", "originalText": "SHRINKING", "fontSize": 18, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "lineHeight": 1.25, "containerId": "shr", "autoResize": true, "baseline": 16 }, { "type": "rectangle", "id": "out", "x": 480.0, "y": 900, "width": 240, "height": 60, "angle": 0, "strokeColor": "#5A2D91", "backgroundColor": "#EDE5F6", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1119148441, "version": 1, "versionNonce": 1119148448, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": [ { "id": "out_t", "type": "text" }, { "id": "a_debit", "type": "arrow" }, { "id": "a_back", "type": "arrow" } ], "link": null, "locked": false, "updated": 1, "roundness": { "type": 3 } }, { "type": "text", "id": "out_t", "x": 531.438, "y": 918.75, "width": 137.124, "height": 22.5, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1088216861, "version": 1, "versionNonce": 1088216868, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "IN_FLIGHT_OUT", "originalText": "IN_FLIGHT_OUT", "fontSize": 18, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "lineHeight": 1.25, "containerId": "out", "autoResize": true, "baseline": 16 }, { "type": "rectangle", "id": "lane", "x": 456.0, "y": 406, "width": 288, "height": 334, "angle": 0, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "seed": 1741836622, "version": 1, "versionNonce": 1741836629, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": { "type": 3 } }, { "type": "text", "id": "lane_l", "x": 317.6, "y": 704, "width": 126.39999999999999, "height": 40.0, "angle": 0, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 254755180, "version": 1, "versionNonce": 254755187, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "inside the\naccount's lane", "originalText": "inside the\naccount's lane", "fontSize": 16, "fontFamily": 5, "textAlign": "right", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 14 }, { "type": "arrow", "id": "a_alloc", "x": 224, "y": 270, "width": 252.0, "height": 0, "angle": 0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 22616453, "version": 1, "versionNonce": 22616460, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "points": [ [ 0, 0 ], [ 252.0, 0 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": "arrow", "startBinding": { "elementId": "ledger", "focus": 0, "gap": 4 }, "endBinding": { "elementId": "in", "focus": 0, "gap": 4 }, "elbowed": false }, { "type": "text", "id": "l_alloc", "x": 230, "y": 190, "width": 279.03999999999996, "height": 20.0, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 383618117, "version": 1, "versionNonce": 383618124, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "AllocTx finalized on the ledger", "originalText": "AllocTx finalized on the ledger", "fontSize": 16, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 14 }, { "type": "text", "id": "l_alloc2", "x": 230, "y": 214, "width": 344.568, "height": 17.5, "angle": 0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 485300274, "version": 1, "versionNonce": 485300281, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "(ledger.avail −= x, ledger.in_flight += x)", "originalText": "(ledger.avail −= x, ledger.in_flight += x)", "fontSize": 14, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 13 }, { "type": "arrow", "id": "a_credit", "x": 600, "y": 304, "width": 0, "height": 142, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 33368399, "version": 1, "versionNonce": 33368406, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "points": [ [ 0, 0 ], [ 0, 142 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": "arrow", "startBinding": { "elementId": "in", "focus": 0, "gap": 4 }, "endBinding": { "elementId": "esc", "focus": 0, "gap": 4 }, "elbowed": false }, { "type": "text", "id": "l_credit", "x": 261.6, "y": 326, "width": 322.4, "height": 40.0, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 599959710, "version": 1, "versionNonce": 599959717, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "control core injects CtlAllocCredit\ninto the account's lane (a logged op)", "originalText": "control core injects CtlAllocCredit\ninto the account's lane (a logged op)", "fontSize": 16, "fontFamily": 5, "textAlign": "right", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 14 }, { "type": "arrow", "id": "a_shrink", "x": 600, "y": 524, "width": 0, "height": 132, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 790938544, "version": 1, "versionNonce": 790938551, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "points": [ [ 0, 0 ], [ 0, 132 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": "arrow", "startBinding": { "elementId": "esc", "focus": 0, "gap": 4 }, "endBinding": { "elementId": "shr", "focus": 0, "gap": 4 }, "elbowed": false }, { "type": "text", "id": "l_shrink", "x": 121.12, "y": 550, "width": 318.88, "height": 40.0, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1022116449, "version": 1, "versionNonce": 1022116456, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "ShrinkTx finalized on the ledger\n→ CtlAllocDebit(mode) into the lane", "originalText": "ShrinkTx finalized on the ledger\n→ CtlAllocDebit(mode) into the lane", "fontSize": 16, "fontFamily": 5, "textAlign": "right", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 14 }, { "type": "arrow", "id": "a_debit", "x": 600, "y": 724, "width": 0, "height": 172, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 235272756, "version": 1, "versionNonce": 235272763, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "points": [ [ 0, 0 ], [ 0, 172 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": "arrow", "startBinding": { "elementId": "shr", "focus": 0, "gap": 4 }, "endBinding": { "elementId": "out", "focus": 0, "gap": 4 }, "elbowed": false }, { "type": "arrow", "id": "a_back", "x": 476.0, "y": 930, "width": 376.0, "height": 626, "angle": 0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 225290093, "version": 1, "versionNonce": 225290100, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "points": [ [ 0.0, 0 ], [ -376.0, 0 ], [ -376.0, -626 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": "arrow", "startBinding": { "elementId": "out", "focus": 0, "gap": 4 }, "endBinding": { "elementId": "ledger", "focus": 0, "gap": 4 }, "elbowed": false }, { "type": "text", "id": "l_back", "x": 124, "y": 874, "width": 316.15999999999997, "height": 20.0, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 943532211, "version": 1, "versionNonce": 943532218, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "block holding AllocDebited is final", "originalText": "block holding AllocDebited is final", "fontSize": 16, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 14 }, { "type": "text", "id": "l_back2", "x": 124, "y": 940, "width": 205.09999999999997, "height": 17.5, "angle": 0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1216700691, "version": 1, "versionNonce": 1216700698, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "(ledger.avail += debited)", "originalText": "(ledger.avail += debited)", "fontSize": 14, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 13 }, { "type": "text", "id": "esc_n", "x": 760.0, "y": 454, "width": 260.0, "height": 60.0, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 868382959, "version": 1, "versionNonce": 868382966, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "New / fill / cancel move value\nbetween free and reserved,\ninside the lane only", "originalText": "New / fill / cancel move value\nbetween free and reserved,\ninside the lane only", "fontSize": 16, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 14 }, { "type": "rectangle", "id": "modes", "x": 760.0, "y": 626, "width": 400, "height": 132, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "#191B26", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1520271148, "version": 1, "versionNonce": 1520271155, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null }, { "type": "text", "id": "modes_b", "x": 776.0, "y": 638, "width": 356.28799999999995, "height": 80.0, "angle": 0, "strokeColor": "#F2D447", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 650972814, "version": 1, "versionNonce": 650972821, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "FREE_ONLY debit min(x, free)\nCANCEL_SIDE cancel the side's orders,\n wait for their acks,\n then debit min(x, free)", "originalText": "FREE_ONLY debit min(x, free)\nCANCEL_SIDE cancel the side's orders,\n wait for their acks,\n then debit min(x, free)", "fontSize": 16, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 14 }, { "type": "text", "id": "modes_n", "x": 776.0, "y": 726, "width": 260.79999999999995, "height": 20.0, "angle": 0, "strokeColor": "#ECEAF2", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 796607141, "version": 1, "versionNonce": 796607148, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "two shrink modes, and no third", "originalText": "two shrink modes, and no third", "fontSize": 16, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 14 }, { "type": "line", "id": "modes_link", "x": 724.0, "y": 690, "width": 32.0, "height": 0, "angle": 0, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "seed": 1917153624, "version": 1, "versionNonce": 1917153631, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "points": [ [ 0.0, 0 ], [ 32.0, 0 ] ], "lastCommittedPoint": null }, { "type": "text", "id": "out_n", "x": 760.0, "y": 906, "width": 273.28, "height": 40.0, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1165003367, "version": 1, "versionNonce": 1165003374, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "lane emitted AllocDebited with\nthe amount actually debited", "originalText": "lane emitted AllocDebited with\nthe amount actually debited", "fontSize": 16, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 14 }, { "type": "text", "id": "cons", "x": 40, "y": 1000, "width": 693.824, "height": 20.0, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 33085763, "version": 1, "versionNonce": 33085770, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "conservation: avail + in_flight + Σ escrow = deposits − withdrawals − fees", "originalText": "conservation: avail + in_flight + Σ escrow = deposits − withdrawals − fees", "fontSize": 16, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 14 }, { "type": "text", "id": "n_path", "x": 760.0, "y": 340, "width": 169.56, "height": 45.0, "angle": 0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 326091648, "version": 1, "versionNonce": 326091655, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "credits are never\non the 1 µs path", "originalText": "credits are never\non the 1 µs path", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 16 }, { "type": "arrow", "id": "a_path", "x": 754.0, "y": 360, "width": 146.0, "height": 30, "angle": 0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1795415381, "version": 1, "versionNonce": 1795415388, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": { "type": 2 }, "points": [ [ 0.0, 0 ], [ -94.0, 20 ], [ -146.0, 30 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": "arrow", "startBinding": null, "endBinding": null, "elbowed": false }, { "type": "text", "id": "n_less", "x": 760.0, "y": 792, "width": 238.68, "height": 67.5, "angle": 0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1415071824, "version": 1, "versionNonce": 1415071831, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "the debit can be less\nthan requested; the rest\nof the request is void", "originalText": "the debit can be less\nthan requested; the rest\nof the request is void", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 16 }, { "type": "arrow", "id": "a_less", "x": 754.0, "y": 810, "width": 146.0, "height": 32, "angle": 0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 987459205, "version": 1, "versionNonce": 987459212, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": { "type": 2 }, "points": [ [ 0.0, 0 ], [ -84.0, 20 ], [ -146.0, 32 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": "arrow", "startBinding": null, "endBinding": null, "elbowed": false } ], "appState": { "viewBackgroundColor": "#FFFFFF", "gridSize": 20 }, "files": {} }