{
  "type": "excalidraw",
  "version": 2,
  "source": "https://excalidraw.com",
  "elements": [
    {
      "id": "build-title",
      "type": "text",
      "x": 55,
      "y": 35,
      "width": 720,
      "height": 40,
      "angle": 0,
      "strokeColor": "#0f172a",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "roundness": null,
      "seed": 61001,
      "version": 1,
      "versionNonce": 71001,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1786161000000,
      "link": null,
      "locked": false,
      "fontSize": 31,
      "fontFamily": 3,
      "text": "Zone Map build: keep row order, summarize zones",
      "rawText": "Zone Map build: keep row order, summarize zones",
      "textAlign": "left",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "Zone Map build: keep row order, summarize zones",
      "autoResize": true,
      "lineHeight": 1.3
    },
    {
      "id": "build-subtitle",
      "type": "text",
      "x": 55,
      "y": 80,
      "width": 860,
      "height": 25,
      "angle": 0,
      "strokeColor": "#475569",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "roundness": null,
      "seed": 61002,
      "version": 1,
      "versionNonce": 71002,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1786161000000,
      "link": null,
      "locked": false,
      "fontSize": 17,
      "fontFamily": 3,
      "text": "不按 value 排序；每个 zone 只保存统计值与 fragment 内的 Row Address 范围",
      "rawText": "不按 value 排序；每个 zone 只保存统计值与 fragment 内的 Row Address 范围",
      "textAlign": "left",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "不按 value 排序；每个 zone 只保存统计值与 fragment 内的 Row Address 范围",
      "autoResize": true,
      "lineHeight": 1.3
    },
    {
      "id": "scan-box",
      "type": "rectangle",
      "x": 55,
      "y": 145,
      "width": 350,
      "height": 520,
      "angle": 0,
      "strokeColor": "#64748b",
      "backgroundColor": "#f8fafc",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "roundness": { "type": 3 },
      "seed": 61003,
      "version": 1,
      "versionNonce": 71003,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1786161000000,
      "link": null,
      "locked": false
    },
    {
      "id": "scan-text",
      "type": "text",
      "x": 82,
      "y": 175,
      "width": 278,
      "height": 430,
      "angle": 0,
      "strokeColor": "#334155",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "roundness": null,
      "seed": 61004,
      "version": 1,
      "versionNonce": 71004,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1786161000000,
      "link": null,
      "locked": false,
      "fontSize": 18,
      "fontFamily": 3,
      "text": "1 · Training scan\n\nFragment F0 · physical order\n\n 0  00:01\n 1  00:04\n 2  00:07\n 3  00:09\n\n 4  00:10\n 5  00:12\n 6  00:17\n 7  00:19\n\n 8  00:21\n 9  00:24\n10  00:27\n11  00:29",
      "rawText": "1 · Training scan\n\nFragment F0 · physical order\n\n 0  00:01\n 1  00:04\n 2  00:07\n 3  00:09\n\n 4  00:10\n 5  00:12\n 6  00:17\n 7  00:19\n\n 8  00:21\n 9  00:24\n10  00:27\n11  00:29",
      "textAlign": "left",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "1 · Training scan\n\nFragment F0 · physical order\n\n 0  00:01\n 1  00:04\n 2  00:07\n 3  00:09\n\n 4  00:10\n 5  00:12\n 6  00:17\n 7  00:19\n\n 8  00:21\n 9  00:24\n10  00:27\n11  00:29",
      "autoResize": false,
      "lineHeight": 1.3
    },
    {
      "id": "arrow-one",
      "type": "arrow",
      "x": 415,
      "y": 405,
      "width": 65,
      "height": 0,
      "angle": 0,
      "strokeColor": "#2563eb",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 3,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "roundness": { "type": 2 },
      "seed": 61005,
      "version": 1,
      "versionNonce": 71005,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1786161000000,
      "link": null,
      "locked": false,
      "points": [[0, 0], [65, 0]],
      "lastCommittedPoint": null,
      "startBinding": null,
      "endBinding": null,
      "startArrowhead": null,
      "endArrowhead": "arrow",
      "elbowed": false
    },
    {
      "id": "zones-box",
      "type": "rectangle",
      "x": 500,
      "y": 170,
      "width": 380,
      "height": 470,
      "angle": 0,
      "strokeColor": "#2563eb",
      "backgroundColor": "#eff6ff",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "roundness": { "type": 3 },
      "seed": 61006,
      "version": 1,
      "versionNonce": 71006,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1786161000000,
      "link": null,
      "locked": false
    },
    {
      "id": "zones-text",
      "type": "text",
      "x": 527,
      "y": 205,
      "width": 325,
      "height": 360,
      "angle": 0,
      "strokeColor": "#1d4ed8",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "roundness": null,
      "seed": 61007,
      "version": 1,
      "versionNonce": 71007,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1786161000000,
      "link": null,
      "locked": false,
      "fontSize": 18,
      "fontFamily": 3,
      "text": "2 · Fragment-local zones\n\n4 rows/zone · 不跨 fragment\n\nZ0 · F0 offsets [0,4)\nmin=00:01  max=00:09\n\nZ1 · F0 offsets [4,8)\nmin=00:10  max=00:19\n\nZ2 · F0 offsets [8,12)\nmin=00:21  max=00:29",
      "rawText": "2 · Fragment-local zones\n\n4 rows/zone · 不跨 fragment\n\nZ0 · F0 offsets [0,4)\nmin=00:01  max=00:09\n\nZ1 · F0 offsets [4,8)\nmin=00:10  max=00:19\n\nZ2 · F0 offsets [8,12)\nmin=00:21  max=00:29",
      "textAlign": "left",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "2 · Fragment-local zones\n\n4 rows/zone · 不跨 fragment\n\nZ0 · F0 offsets [0,4)\nmin=00:01  max=00:09\n\nZ1 · F0 offsets [4,8)\nmin=00:10  max=00:19\n\nZ2 · F0 offsets [8,12)\nmin=00:21  max=00:29",
      "autoResize": false,
      "lineHeight": 1.3
    },
    {
      "id": "arrow-two",
      "type": "arrow",
      "x": 890,
      "y": 405,
      "width": 65,
      "height": 0,
      "angle": 0,
      "strokeColor": "#059669",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 3,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "roundness": { "type": 2 },
      "seed": 61008,
      "version": 1,
      "versionNonce": 71008,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1786161000000,
      "link": null,
      "locked": false,
      "points": [[0, 0], [65, 0]],
      "lastCommittedPoint": null,
      "startBinding": null,
      "endBinding": null,
      "startArrowhead": null,
      "endArrowhead": "arrow",
      "elbowed": false
    },
    {
      "id": "file-box",
      "type": "rectangle",
      "x": 975,
      "y": 145,
      "width": 410,
      "height": 520,
      "angle": 0,
      "strokeColor": "#059669",
      "backgroundColor": "#ecfdf5",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "roundness": { "type": 3 },
      "seed": 61009,
      "version": 1,
      "versionNonce": 71009,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1786161000000,
      "link": null,
      "locked": false
    },
    {
      "id": "file-text",
      "type": "text",
      "x": 1002,
      "y": 180,
      "width": 350,
      "height": 400,
      "angle": 0,
      "strokeColor": "#047857",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "roundness": null,
      "seed": 61010,
      "version": 1,
      "versionNonce": 71010,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1786161000000,
      "link": null,
      "locked": false,
      "fontSize": 18,
      "fontFamily": 3,
      "text": "3 · zonemap.lance\n\none statistics row per zone\n\nmin max null nan frag start len\n01  09   0   0    0    0    4\n10  19   0   0    0    4    4\n21  29   0   0    0    8    4\n\nSchema metadata\nrows_per_zone = \"4\"\nnull_bitmap = global buffer #N\n\nNo per-row value / id",
      "rawText": "3 · zonemap.lance\n\none statistics row per zone\n\nmin max null nan frag start len\n01  09   0   0    0    0    4\n10  19   0   0    0    4    4\n21  29   0   0    0    8    4\n\nSchema metadata\nrows_per_zone = \"4\"\nnull_bitmap = global buffer #N\n\nNo per-row value / id",
      "textAlign": "left",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "3 · zonemap.lance\n\none statistics row per zone\n\nmin max null nan frag start len\n01  09   0   0    0    0    4\n10  19   0   0    0    4    4\n21  29   0   0    0    8    4\n\nSchema metadata\nrows_per_zone = \"4\"\nnull_bitmap = global buffer #N\n\nNo per-row value / id",
      "autoResize": false,
      "lineHeight": 1.3
    },
    {
      "id": "invariant-box",
      "type": "rectangle",
      "x": 55,
      "y": 720,
      "width": 1330,
      "height": 110,
      "angle": 0,
      "strokeColor": "#ea580c",
      "backgroundColor": "#fff7ed",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "roundness": { "type": 3 },
      "seed": 61011,
      "version": 1,
      "versionNonce": 71011,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1786161000000,
      "link": null,
      "locked": false
    },
    {
      "id": "invariant-text",
      "type": "text",
      "x": 82,
      "y": 747,
      "width": 1250,
      "height": 60,
      "angle": 0,
      "strokeColor": "#9a3412",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "roundness": null,
      "seed": 61012,
      "version": 1,
      "versionNonce": 71012,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1786161000000,
      "link": null,
      "locked": false,
      "fontSize": 18,
      "fontFamily": 3,
      "text": "Invariant · fragment 边界优先于 zone 容量；删除产生 offset 空洞时，zone_length 保存首尾 offset 的覆盖跨度。",
      "rawText": "Invariant · fragment 边界优先于 zone 容量；删除产生 offset 空洞时，zone_length 保存首尾 offset 的覆盖跨度。",
      "textAlign": "left",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "Invariant · fragment 边界优先于 zone 容量；删除产生 offset 空洞时，zone_length 保存首尾 offset 的覆盖跨度。",
      "autoResize": false,
      "lineHeight": 1.3
    }
  ],
  "appState": {
    "gridSize": null,
    "viewBackgroundColor": "#ffffff"
  },
  "files": {}
}