{
  "type": "excalidraw",
  "version": 2,
  "source": "https://marketplace.visualstudio.com/items?itemName=pomdtr.excalidraw-editor",
  "elements": [
    {
      "id": "query-title",
      "type": "text",
      "x": 55,
      "y": 28,
      "width": 865,
      "height": 40,
      "angle": 0,
      "strokeColor": "#0f172a",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a001",
      "roundness": null,
      "seed": 42001,
      "version": 1,
      "versionNonce": 52001,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785331403000,
      "link": null,
      "locked": false,
      "fontSize": 31,
      "fontFamily": 3,
      "text": "Range query: page candidates first, exact rows second",
      "rawText": "Range query: page candidates first, exact rows second",
      "textAlign": "left",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "Range query: page candidates first, exact rows second",
      "autoResize": true,
      "lineHeight": 1.3
    },
    {
      "id": "query-subtitle",
      "type": "text",
      "x": 55,
      "y": 71,
      "width": 410,
      "height": 22,
      "angle": 0,
      "strokeColor": "#475569",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a002",
      "roundness": null,
      "seed": 42002,
      "version": 1,
      "versionNonce": 52002,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785331403000,
      "link": null,
      "locked": false,
      "fontSize": 17,
      "fontFamily": 3,
      "text": "WHERE score >= 17 AND score < 33",
      "rawText": "WHERE score >= 17 AND score < 33",
      "textAlign": "left",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "WHERE score >= 17 AND score < 33",
      "autoResize": true,
      "lineHeight": 1.3
    },
    {
      "id": "lookup-box",
      "type": "rectangle",
      "x": 55,
      "y": 130,
      "width": 1330,
      "height": 170,
      "angle": 0,
      "strokeColor": "#2563eb",
      "backgroundColor": "#eff6ff",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a003",
      "roundness": { "type": 3 },
      "seed": 42003,
      "version": 1,
      "versionNonce": 52003,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785331403000,
      "link": null,
      "locked": false
    },
    {
      "id": "lookup-heading",
      "type": "text",
      "x": 82,
      "y": 154,
      "width": 900,
      "height": 55,
      "angle": 0,
      "strokeColor": "#1d4ed8",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a004",
      "roundness": null,
      "seed": 42004,
      "version": 1,
      "versionNonce": 52004,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785331403000,
      "link": null,
      "locked": false,
      "fontSize": 19,
      "fontFamily": 3,
      "text": "1 · page_lookup.lance\n按 min 二分得到连续窗口，再用 max 判断 overlap 与 full coverage",
      "rawText": "1 · page_lookup.lance\n按 min 二分得到连续窗口，再用 max 判断 overlap 与 full coverage",
      "textAlign": "left",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "1 · page_lookup.lance\n按 min 二分得到连续窗口，再用 max 判断 overlap 与 full coverage",
      "autoResize": true,
      "lineHeight": 1.3
    },
    {
      "id": "p0-chip",
      "type": "rectangle",
      "x": 82,
      "y": 228,
      "width": 280,
      "height": 48,
      "angle": 0,
      "strokeColor": "#ea580c",
      "backgroundColor": "#fff7ed",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a005",
      "roundness": { "type": 3 },
      "seed": 42005,
      "version": 1,
      "versionNonce": 52005,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785331403000,
      "link": null,
      "locked": false
    },
    {
      "id": "p0-chip-text",
      "type": "text",
      "x": 102,
      "y": 239,
      "width": 230,
      "height": 21,
      "angle": 0,
      "strokeColor": "#c2410c",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a006",
      "roundness": null,
      "seed": 42006,
      "version": 1,
      "versionNonce": 52006,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785331403000,
      "link": null,
      "locked": false,
      "fontSize": 16,
      "fontFamily": 3,
      "text": "P0 [10,18]  → Some",
      "rawText": "P0 [10,18]  → Some",
      "textAlign": "left",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "P0 [10,18]  → Some",
      "autoResize": true,
      "lineHeight": 1.3
    },
    {
      "id": "p1-chip",
      "type": "rectangle",
      "x": 392,
      "y": 228,
      "width": 280,
      "height": 48,
      "angle": 0,
      "strokeColor": "#059669",
      "backgroundColor": "#ecfdf5",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a007",
      "roundness": { "type": 3 },
      "seed": 42007,
      "version": 1,
      "versionNonce": 52007,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785331403000,
      "link": null,
      "locked": false
    },
    {
      "id": "p1-chip-text",
      "type": "text",
      "x": 412,
      "y": 239,
      "width": 230,
      "height": 21,
      "angle": 0,
      "strokeColor": "#047857",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a008",
      "roundness": null,
      "seed": 42008,
      "version": 1,
      "versionNonce": 52008,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785331403000,
      "link": null,
      "locked": false,
      "fontSize": 16,
      "fontFamily": 3,
      "text": "P1 [20,28]  → All",
      "rawText": "P1 [20,28]  → All",
      "textAlign": "left",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "P1 [20,28]  → All",
      "autoResize": true,
      "lineHeight": 1.3
    },
    {
      "id": "p2-chip",
      "type": "rectangle",
      "x": 702,
      "y": 228,
      "width": 280,
      "height": 48,
      "angle": 0,
      "strokeColor": "#ea580c",
      "backgroundColor": "#fff7ed",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a009",
      "roundness": { "type": 3 },
      "seed": 42009,
      "version": 1,
      "versionNonce": 52009,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785331403000,
      "link": null,
      "locked": false
    },
    {
      "id": "p2-chip-text",
      "type": "text",
      "x": 722,
      "y": 239,
      "width": 230,
      "height": 21,
      "angle": 0,
      "strokeColor": "#c2410c",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a010",
      "roundness": null,
      "seed": 42010,
      "version": 1,
      "versionNonce": 52010,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785331403000,
      "link": null,
      "locked": false,
      "fontSize": 16,
      "fontFamily": 3,
      "text": "P2 [30,40]  → Some",
      "rawText": "P2 [30,40]  → Some",
      "textAlign": "left",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "P2 [30,40]  → Some",
      "autoResize": true,
      "lineHeight": 1.3
    },
    {
      "id": "p3-chip",
      "type": "rectangle",
      "x": 1012,
      "y": 228,
      "width": 330,
      "height": 48,
      "angle": 0,
      "strokeColor": "#94a3b8",
      "backgroundColor": "#f1f5f9",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "dashed",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a011",
      "roundness": { "type": 3 },
      "seed": 42011,
      "version": 1,
      "versionNonce": 52011,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785331403000,
      "link": null,
      "locked": false
    },
    {
      "id": "p3-chip-text",
      "type": "text",
      "x": 1032,
      "y": 239,
      "width": 250,
      "height": 21,
      "angle": 0,
      "strokeColor": "#64748b",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a012",
      "roundness": null,
      "seed": 42012,
      "version": 1,
      "versionNonce": 52012,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785331403000,
      "link": null,
      "locked": false,
      "fontSize": 16,
      "fontFamily": 3,
      "text": "P3 [45,55]  → Skip",
      "rawText": "P3 [45,55]  → Skip",
      "textAlign": "left",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "P3 [45,55]  → Skip",
      "autoResize": true,
      "lineHeight": 1.3
    },
    {
      "id": "p0-leaf",
      "type": "rectangle",
      "x": 55,
      "y": 420,
      "width": 410,
      "height": 240,
      "angle": 0,
      "strokeColor": "#ea580c",
      "backgroundColor": "#fff7ed",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a013",
      "roundness": { "type": 3 },
      "seed": 42013,
      "version": 1,
      "versionNonce": 52013,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785331403000,
      "link": null,
      "locked": false
    },
    {
      "id": "p0-leaf-text",
      "type": "text",
      "x": 82,
      "y": 444,
      "width": 340,
      "height": 180,
      "angle": 0,
      "strokeColor": "#9a3412",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a014",
      "roundness": null,
      "seed": 42014,
      "version": 1,
      "versionNonce": 52014,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785331403000,
      "link": null,
      "locked": false,
      "fontSize": 17,
      "fontFamily": 3,
      "text": "P0 · Matches::Some\n\nvalues  10  12  15  18\nids     r7  r1  r9  r3\n\nFlatIndex evaluates [17,33)\n\nkeep r3",
      "rawText": "P0 · Matches::Some\n\nvalues  10  12  15  18\nids     r7  r1  r9  r3\n\nFlatIndex evaluates [17,33)\n\nkeep r3",
      "textAlign": "left",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "P0 · Matches::Some\n\nvalues  10  12  15  18\nids     r7  r1  r9  r3\n\nFlatIndex evaluates [17,33)\n\nkeep r3",
      "autoResize": true,
      "lineHeight": 1.3
    },
    {
      "id": "p1-leaf",
      "type": "rectangle",
      "x": 515,
      "y": 420,
      "width": 410,
      "height": 240,
      "angle": 0,
      "strokeColor": "#059669",
      "backgroundColor": "#ecfdf5",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a015",
      "roundness": { "type": 3 },
      "seed": 42015,
      "version": 1,
      "versionNonce": 52015,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785331403000,
      "link": null,
      "locked": false
    },
    {
      "id": "p1-leaf-text",
      "type": "text",
      "x": 542,
      "y": 444,
      "width": 340,
      "height": 180,
      "angle": 0,
      "strokeColor": "#047857",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a016",
      "roundness": null,
      "seed": 42016,
      "version": 1,
      "versionNonce": 52016,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785331403000,
      "link": null,
      "locked": false,
      "fontSize": 17,
      "fontFamily": 3,
      "text": "P1 · Matches::All\n\nvalues  20  22  25  28\nids     r4  r11  r0  r8\n\nwhole page is inside range\n\nkeep r4,r11,r0,r8",
      "rawText": "P1 · Matches::All\n\nvalues  20  22  25  28\nids     r4  r11  r0  r8\n\nwhole page is inside range\n\nkeep r4,r11,r0,r8",
      "textAlign": "left",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "P1 · Matches::All\n\nvalues  20  22  25  28\nids     r4  r11  r0  r8\n\nwhole page is inside range\n\nkeep r4,r11,r0,r8",
      "autoResize": true,
      "lineHeight": 1.3
    },
    {
      "id": "p2-leaf",
      "type": "rectangle",
      "x": 975,
      "y": 420,
      "width": 410,
      "height": 240,
      "angle": 0,
      "strokeColor": "#ea580c",
      "backgroundColor": "#fff7ed",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a017",
      "roundness": { "type": 3 },
      "seed": 42017,
      "version": 1,
      "versionNonce": 52017,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785331403000,
      "link": null,
      "locked": false
    },
    {
      "id": "p2-leaf-text",
      "type": "text",
      "x": 1002,
      "y": 444,
      "width": 340,
      "height": 180,
      "angle": 0,
      "strokeColor": "#9a3412",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a018",
      "roundness": null,
      "seed": 42018,
      "version": 1,
      "versionNonce": 52018,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785331403000,
      "link": null,
      "locked": false,
      "fontSize": 17,
      "fontFamily": 3,
      "text": "P2 · Matches::Some\n\nvalues  30  32  35  40\nids     r10  r2  r5  r6\n\nFlatIndex evaluates [17,33)\n\nkeep r10,r2",
      "rawText": "P2 · Matches::Some\n\nvalues  30  32  35  40\nids     r10  r2  r5  r6\n\nFlatIndex evaluates [17,33)\n\nkeep r10,r2",
      "textAlign": "left",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "P2 · Matches::Some\n\nvalues  30  32  35  40\nids     r10  r2  r5  r6\n\nFlatIndex evaluates [17,33)\n\nkeep r10,r2",
      "autoResize": true,
      "lineHeight": 1.3
    },
    {
      "id": "result-box",
      "type": "rectangle",
      "x": 260,
      "y": 785,
      "width": 920,
      "height": 100,
      "angle": 0,
      "strokeColor": "#2563eb",
      "backgroundColor": "#eff6ff",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a019",
      "roundness": { "type": 3 },
      "seed": 42019,
      "version": 1,
      "versionNonce": 52019,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785331403000,
      "link": null,
      "locked": false
    },
    {
      "id": "result-text",
      "type": "text",
      "x": 307,
      "y": 807,
      "width": 815,
      "height": 55,
      "angle": 0,
      "strokeColor": "#1e3a8a",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a020",
      "roundness": null,
      "seed": 42020,
      "version": 1,
      "versionNonce": 52020,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785331403000,
      "link": null,
      "locked": false,
      "fontSize": 18,
      "fontFamily": 3,
      "text": "3 · Union leaf results\nSearchResult::Exact { r0, r2, r3, r4, r8, r10, r11 }",
      "rawText": "3 · Union leaf results\nSearchResult::Exact { r0, r2, r3, r4, r8, r10, r11 }",
      "textAlign": "left",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "3 · Union leaf results\nSearchResult::Exact { r0, r2, r3, r4, r8, r10, r11 }",
      "autoResize": true,
      "lineHeight": 1.3
    }
  ],
  "appState": {
    "gridSize": null,
    "viewBackgroundColor": "#ffffff"
  },
  "files": {}
}