{
  "type": "excalidraw",
  "version": 2,
  "source": "https://excalidraw.com",
  "elements": [
    {
      "id": "search-title",
      "type": "text",
      "x": 55,
      "y": 35,
      "width": 740,
      "height": 40,
      "angle": 0,
      "strokeColor": "#0f172a",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "roundness": null,
      "seed": 62001,
      "version": 1,
      "versionNonce": 72001,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1786161000000,
      "link": null,
      "locked": false,
      "fontSize": 31,
      "fontFamily": 3,
      "text": "Zone Map search: prove skips, recheck candidates",
      "rawText": "Zone Map search: prove skips, recheck candidates",
      "textAlign": "left",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "Zone Map search: prove skips, recheck candidates",
      "autoResize": true,
      "lineHeight": 1.3
    },
    {
      "id": "search-subtitle",
      "type": "text",
      "x": 55,
      "y": 80,
      "width": 940,
      "height": 25,
      "angle": 0,
      "strokeColor": "#475569",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "roundness": null,
      "seed": 62002,
      "version": 1,
      "versionNonce": 72002,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1786161000000,
      "link": null,
      "locked": false,
      "fontSize": 17,
      "fontFamily": 3,
      "text": "查询 [00:12, 00:18) · Zone Map 只决定候选范围，最终行仍由原始谓词确认",
      "rawText": "查询 [00:12, 00:18) · Zone Map 只决定候选范围，最终行仍由原始谓词确认",
      "textAlign": "left",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "查询 [00:12, 00:18) · Zone Map 只决定候选范围，最终行仍由原始谓词确认",
      "autoResize": true,
      "lineHeight": 1.3
    },
    {
      "id": "predicate-box",
      "type": "rectangle",
      "x": 55,
      "y": 140,
      "width": 320,
      "height": 170,
      "angle": 0,
      "strokeColor": "#2563eb",
      "backgroundColor": "#eff6ff",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "roundness": { "type": 3 },
      "seed": 62003,
      "version": 1,
      "versionNonce": 72003,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1786161000000,
      "link": null,
      "locked": false
    },
    {
      "id": "predicate-text",
      "type": "text",
      "x": 82,
      "y": 175,
      "width": 270,
      "height": 100,
      "angle": 0,
      "strokeColor": "#1d4ed8",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "roundness": null,
      "seed": 62004,
      "version": 1,
      "versionNonce": 72004,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1786161000000,
      "link": null,
      "locked": false,
      "fontSize": 18,
      "fontFamily": 3,
      "text": "1 · Predicate\n\nevent_time >= 00:12\nevent_time <  00:18",
      "rawText": "1 · Predicate\n\nevent_time >= 00:12\nevent_time <  00:18",
      "textAlign": "left",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "1 · Predicate\n\nevent_time >= 00:12\nevent_time <  00:18",
      "autoResize": false,
      "lineHeight": 1.3
    },
    {
      "id": "stats-box",
      "type": "rectangle",
      "x": 465,
      "y": 125,
      "width": 465,
      "height": 440,
      "angle": 0,
      "strokeColor": "#64748b",
      "backgroundColor": "#f8fafc",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "roundness": { "type": 3 },
      "seed": 62005,
      "version": 1,
      "versionNonce": 72005,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1786161000000,
      "link": null,
      "locked": false
    },
    {
      "id": "stats-text",
      "type": "text",
      "x": 492,
      "y": 160,
      "width": 410,
      "height": 340,
      "angle": 0,
      "strokeColor": "#334155",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "roundness": null,
      "seed": 62006,
      "version": 1,
      "versionNonce": 72006,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1786161000000,
      "link": null,
      "locked": false,
      "fontSize": 18,
      "fontFamily": 3,
      "text": "2 · Compare zone statistics\n\nkeep when max >= 12 AND min < 18\n\nZ0  [01,09]  [0,4)\n09 < 12  →  SKIP\n\nZ1  [10,19]  [4,8)\nranges overlap  →  CANDIDATE\n\nZ2  [21,29]  [8,12)\n21 >= 18  →  SKIP",
      "rawText": "2 · Compare zone statistics\n\nkeep when max >= 12 AND min < 18\n\nZ0  [01,09]  [0,4)\n09 < 12  →  SKIP\n\nZ1  [10,19]  [4,8)\nranges overlap  →  CANDIDATE\n\nZ2  [21,29]  [8,12)\n21 >= 18  →  SKIP",
      "textAlign": "left",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "2 · Compare zone statistics\n\nkeep when max >= 12 AND min < 18\n\nZ0  [01,09]  [0,4)\n09 < 12  →  SKIP\n\nZ1  [10,19]  [4,8)\nranges overlap  →  CANDIDATE\n\nZ2  [21,29]  [8,12)\n21 >= 18  →  SKIP",
      "autoResize": false,
      "lineHeight": 1.3
    },
    {
      "id": "candidate-box",
      "type": "rectangle",
      "x": 1025,
      "y": 180,
      "width": 360,
      "height": 310,
      "angle": 0,
      "strokeColor": "#ea580c",
      "backgroundColor": "#fff7ed",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "roundness": { "type": 3 },
      "seed": 62007,
      "version": 1,
      "versionNonce": 72007,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1786161000000,
      "link": null,
      "locked": false
    },
    {
      "id": "candidate-text",
      "type": "text",
      "x": 1052,
      "y": 215,
      "width": 305,
      "height": 220,
      "angle": 0,
      "strokeColor": "#9a3412",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "roundness": null,
      "seed": 62008,
      "version": 1,
      "versionNonce": 72008,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1786161000000,
      "link": null,
      "locked": false,
      "fontSize": 18,
      "fontFamily": 3,
      "text": "3 · AtMost row range\n\nF0 offsets [4,8)\n\nr4  00:10  false positive\nr5  00:12  match\nr6  00:17  match\nr7  00:19  false positive",
      "rawText": "3 · AtMost row range\n\nF0 offsets [4,8)\n\nr4  00:10  false positive\nr5  00:12  match\nr6  00:17  match\nr7  00:19  false positive",
      "textAlign": "left",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "3 · AtMost row range\n\nF0 offsets [4,8)\n\nr4  00:10  false positive\nr5  00:12  match\nr6  00:17  match\nr7  00:19  false positive",
      "autoResize": false,
      "lineHeight": 1.3
    },
    {
      "id": "result-box",
      "type": "rectangle",
      "x": 865,
      "y": 610,
      "width": 520,
      "height": 175,
      "angle": 0,
      "strokeColor": "#059669",
      "backgroundColor": "#ecfdf5",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "roundness": { "type": 3 },
      "seed": 62009,
      "version": 1,
      "versionNonce": 72009,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1786161000000,
      "link": null,
      "locked": false
    },
    {
      "id": "result-text",
      "type": "text",
      "x": 892,
      "y": 645,
      "width": 465,
      "height": 100,
      "angle": 0,
      "strokeColor": "#047857",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "roundness": null,
      "seed": 62010,
      "version": 1,
      "versionNonce": 72010,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1786161000000,
      "link": null,
      "locked": false,
      "fontSize": 18,
      "fontFamily": 3,
      "text": "4 · Exact dataset result\n\nF0:r5 = 00:12    F0:r6 = 00:17\n8 / 12 rows pruned before data recheck",
      "rawText": "4 · Exact dataset result\n\nF0:r5 = 00:12    F0:r6 = 00:17\n8 / 12 rows pruned before data recheck",
      "textAlign": "left",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "4 · Exact dataset result\n\nF0:r5 = 00:12    F0:r6 = 00:17\n8 / 12 rows pruned before data recheck",
      "autoResize": false,
      "lineHeight": 1.3
    },
    {
      "id": "locality-box",
      "type": "rectangle",
      "x": 55,
      "y": 605,
      "width": 650,
      "height": 175,
      "angle": 0,
      "strokeColor": "#ca8a04",
      "backgroundColor": "#fefce8",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "roundness": { "type": 3 },
      "seed": 62011,
      "version": 1,
      "versionNonce": 72011,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1786161000000,
      "link": null,
      "locked": false
    },
    {
      "id": "locality-text",
      "type": "text",
      "x": 82,
      "y": 635,
      "width": 590,
      "height": 120,
      "angle": 0,
      "strokeColor": "#854d0e",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "roundness": null,
      "seed": 62012,
      "version": 1,
      "versionNonce": 72012,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1786161000000,
      "link": null,
      "locked": false,
      "fontSize": 18,
      "fontFamily": 3,
      "text": "Locality controls pruning\n\nOrdered: [01,09] [10,19] [21,29] → 1 zone, 8 rows pruned\nRandom:  [01,29] [04,27] [07,24] → 3 zones, 0 rows pruned",
      "rawText": "Locality controls pruning\n\nOrdered: [01,09] [10,19] [21,29] → 1 zone, 8 rows pruned\nRandom:  [01,29] [04,27] [07,24] → 3 zones, 0 rows pruned",
      "textAlign": "left",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "Locality controls pruning\n\nOrdered: [01,09] [10,19] [21,29] → 1 zone, 8 rows pruned\nRandom:  [01,29] [04,27] [07,24] → 3 zones, 0 rows pruned",
      "autoResize": false,
      "lineHeight": 1.3
    }
  ],
  "appState": {
    "gridSize": null,
    "viewBackgroundColor": "#ffffff"
  },
  "files": {}
}