{ "type": "excalidraw", "version": 2, "source": "https://excalidraw.com", "elements": [ { "type": "rectangle", "id": "canvas_bounds", "x": 0, "y": 0, "width": 1140, "height": 640, "strokeColor": "transparent", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 0, "opacity": 100, "angle": 0, "seed": 24007, "version": 1, "versionNonce": 72022, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1 }, { "type": "text", "id": "tex1", "x": 40, "y": 36, "width": 902.72, "height": 35.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 24014, "version": 1, "versionNonce": 72043, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "text": "A FOK sums before it touches anything, so it fills all or none", "originalText": "A FOK sums before it touches anything, so it fills all or none", "fontSize": 28, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "type": "text", "id": "tex2", "x": 40, "y": 80, "width": 702.0, "height": 22.5, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 24021, "version": 1, "versionNonce": 72064, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "text": "the BBO core checks the whole quantity at the cut, then executes or rejects", "originalText": "the BBO core checks the whole quantity at the cut, then executes or rejects", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "type": "rectangle", "id": "rec3", "x": 80.0, "y": 140, "width": 120, "height": 50, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 24028, "version": 1, "versionNonce": 72085, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "tex4", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roundness": { "type": 3 } }, { "type": "text", "id": "tex4", "x": 111.92, "y": 153.75, "width": 56.160000000000004, "height": 22.5, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 24035, "version": 1, "versionNonce": 72106, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "text": "lane T", "originalText": "lane T", "fontSize": 18, "fontFamily": 5, "textAlign": "center", "verticalAlign": "middle", "containerId": "rec3", "lineHeight": 1.25, "autoResize": true }, { "type": "line", "id": "lin5", "x": 140, "y": 190, "width": 0, "height": 350, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "angle": 0, "seed": 24042, "version": 1, "versionNonce": 72127, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "points": [ [ 0, 0 ], [ 0, 350 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": null }, { "type": "rectangle", "id": "rec6", "x": 355.0, "y": 140, "width": 130, "height": 50, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 24049, "version": 1, "versionNonce": 72148, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "tex7", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roundness": { "type": 3 } }, { "type": "text", "id": "tex7", "x": 382.56, "y": 153.75, "width": 74.88, "height": 22.5, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 24056, "version": 1, "versionNonce": 72169, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "text": "BBO core", "originalText": "BBO core", "fontSize": 18, "fontFamily": 5, "textAlign": "center", "verticalAlign": "middle", "containerId": "rec6", "lineHeight": 1.25, "autoResize": true }, { "type": "line", "id": "lin8", "x": 420, "y": 190, "width": 0, "height": 350, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "angle": 0, "seed": 24063, "version": 1, "versionNonce": 72190, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "points": [ [ 0, 0 ], [ 0, 350 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": null }, { "type": "rectangle", "id": "rec9", "x": 845.0, "y": 140, "width": 110, "height": 50, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 24070, "version": 1, "versionNonce": 72211, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "tex10", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roundness": { "type": 3 } }, { "type": "text", "id": "tex10", "x": 867.24, "y": 153.75, "width": 65.52, "height": 22.5, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 24077, "version": 1, "versionNonce": 72232, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "text": "fill TX", "originalText": "fill TX", "fontSize": 18, "fontFamily": 5, "textAlign": "center", "verticalAlign": "middle", "containerId": "rec9", "lineHeight": 1.25, "autoResize": true }, { "type": "line", "id": "lin11", "x": 900, "y": 190, "width": 0, "height": 350, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "angle": 0, "seed": 24084, "version": 1, "versionNonce": 72253, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "points": [ [ 0, 0 ], [ 0, 350 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": null }, { "type": "arrow", "id": "arr12", "x": 146, "y": 222, "width": 268, "height": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 24091, "version": 1, "versionNonce": 72274, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "points": [ [ 0, 0 ], [ 268, 0 ] ], "roundness": null, "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow", "elbowed": false }, { "type": "text", "id": "tex13", "x": 232.0, "y": 193.0, "width": 96.0, "height": 20.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 24098, "version": 1, "versionNonce": 72295, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "text": "push t=425", "originalText": "push t=425", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "type": "rectangle", "id": "rec14", "x": 413, "y": 216, "width": 14, "height": 264, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 24105, "version": 1, "versionNonce": 72316, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roundness": null }, { "type": "text", "id": "tex15", "x": 436, "y": 232, "width": 393.59999999999997, "height": 80.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 24112, "version": 1, "versionNonce": 72337, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "text": "step s: sum the fillable qty, at the cut,\nover the levels within the limit, without\nmutating anything, from the per-level\nvisible totals (05), \u2264 one slice", "originalText": "step s: sum the fillable qty, at the cut,\nover the levels within the limit, without\nmutating anything, from the per-level\nvisible totals (05), \u2264 one slice", "fontSize": 16, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "type": "arrow", "id": "arr16", "x": 426, "y": 380, "width": 468, "height": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 24119, "version": 1, "versionNonce": 72358, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "points": [ [ 0, 0 ], [ 468, 0 ] ], "roundness": null, "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow", "elbowed": false }, { "type": "text", "id": "tex17", "x": 482.4, "y": 351.0, "width": 355.2, "height": 20.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 24126, "version": 1, "versionNonce": 72379, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "text": "sum \u2265 qty \u2192 execute as a Cross (\u00a76.5)", "originalText": "sum \u2265 qty \u2192 execute as a Cross (\u00a76.5)", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "type": "arrow", "id": "arr18", "x": 426, "y": 470, "width": 468, "height": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 24133, "version": 1, "versionNonce": 72400, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "points": [ [ 0, 0 ], [ 468, 0 ] ], "roundness": null, "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow", "elbowed": false }, { "type": "text", "id": "tex19", "x": 530.4, "y": 421.0, "width": 259.2, "height": 40.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 24140, "version": 1, "versionNonce": 72421, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "text": "sum < qty \u2192 no fill \u00b7\nStepRecord(Cross, no fills)", "originalText": "sum < qty \u2192 no fill \u00b7\nStepRecord(Cross, no fills)", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "type": "rectangle", "id": "rec20", "x": 920, "y": 357, "width": 180, "height": 46, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 24147, "version": 1, "versionNonce": 72442, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "tex21", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roundness": { "type": 3 } }, { "type": "text", "id": "tex21", "x": 947.6, "y": 370.0, "width": 124.8, "height": 20.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 24154, "version": 1, "versionNonce": 72463, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "text": "Fill \u00d7 levels", "originalText": "Fill \u00d7 levels", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "containerId": "rec20", "lineHeight": 1.25, "autoResize": true }, { "type": "rectangle", "id": "rec22", "x": 920, "y": 442, "width": 180, "height": 56, "strokeColor": "#191B26", "backgroundColor": "#FFFFFF", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 24161, "version": 1, "versionNonce": 72484, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "tex23", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roundness": { "type": 3 } }, { "type": "text", "id": "tex23", "x": 942.8, "y": 450.0, "width": 134.4, "height": 40.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 24168, "version": 1, "versionNonce": 72505, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "text": "Reject\nFOK_UNFILLABLE", "originalText": "Reject\nFOK_UNFILLABLE", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "containerId": "rec22", "lineHeight": 1.25, "autoResize": true }, { "type": "text", "id": "tex24", "x": 158, "y": 250, "width": 205.92000000000002, "height": 90.0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 24175, "version": 1, "versionNonce": 72526, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "text": "the check must fit\none slice at any limit\ndepth (Open\nquestion 14)", "originalText": "the check must fit\none slice at any limit\ndepth (Open\nquestion 14)", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "type": "arrow", "id": "arr25", "x": 352, "y": 262, "width": 78, "height": 12, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 24182, "version": 1, "versionNonce": 72547, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "points": [ [ 0, 0 ], [ 40, -12 ], [ 78, -8 ] ], "roundness": { "type": 2 }, "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow", "elbowed": false }, { "type": "text", "id": "tex26", "x": 158, "y": 378, "width": 216.32, "height": 80.0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 24189, "version": 1, "versionNonce": 72568, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "text": "all or none: a FOK that\nfills executes in one step\nand its continuations,\nwith nothing in between", "originalText": "all or none: a FOK that\nfills executes in one step\nand its continuations,\nwith nothing in between", "fontSize": 16, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "type": "arrow", "id": "arr27", "x": 356, "y": 388, "width": 74, "height": 12, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 24196, "version": 1, "versionNonce": 72589, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "points": [ [ 0, 0 ], [ 38, -12 ], [ 74, -10 ] ], "roundness": { "type": 2 }, "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow", "elbowed": false }, { "type": "text", "id": "tex28", "x": 40, "y": 570, "width": 851.76, "height": 22.5, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 24203, "version": 1, "versionNonce": 72610, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "text": "Budget: as for a cross, 880 ns. The unfillable case uses Reject FOK_UNFILLABLE (01 \u00a714.10).", "originalText": "Budget: as for a cross, 880 ns. The unfillable case uses Reject FOK_UNFILLABLE (01 \u00a714.10).", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25, "autoResize": true } ], "appState": { "viewBackgroundColor": "#ffffff", "gridSize": 20 }, "files": {} }