# zvec - Doramagic AI Context Pack

> 定位：安装前体验与判断资产。它帮助宿主 AI 有一个好的开始，但不代表已经安装、执行或验证目标项目。

## 充分原则

- **充分原则，不是压缩原则**：AI Context Pack 应该充分到让宿主 AI 在开工前理解项目价值、能力边界、使用入口、风险和证据来源；它可以分层组织，但不以最短摘要为目标。
- **压缩策略**：只压缩噪声和重复内容，不压缩会影响判断和开工质量的上下文。

## 给宿主 AI 的使用方式

你正在读取 Doramagic 为 zvec 编译的 AI Context Pack。请把它当作开工前上下文：帮助用户理解适合谁、能做什么、如何开始、哪些必须安装后验证、风险在哪里。不要声称你已经安装、运行或执行了目标项目。

## Claim 消费规则

- **事实来源**：Repo Evidence + Claim/Evidence Graph；Human Wiki 只提供显著性、术语和叙事结构。
- **事实最低状态**：`supported`
- `supported`：可以作为项目事实使用，但回答中必须引用 claim_id 和证据路径。
- `weak`：只能作为低置信度线索，必须要求用户继续核实。
- `inferred`：只能用于风险提示或待确认问题，不能包装成项目事实。
- `unverified`：不得作为事实使用，应明确说证据不足。
- `contradicted`：必须展示冲突来源，不得替用户强行选择一个版本。

## 它最适合谁

- **想在安装前理解开源项目价值和边界的用户**：当前证据主要来自项目文档。 证据：`README.md` Claim：`clm_0002` supported 0.86

## 它能做什么

- **命令行启动或安装流程**（需要安装后验证）：项目文档中存在可执行命令，真实使用需要在本地或宿主环境中运行这些命令。 证据：`CONTRIBUTING.md` Claim：`clm_0001` supported 0.86

## 怎么开始

- `git clone --recursive https://github.com/alibaba/zvec.git` 证据：`CONTRIBUTING.md` Claim：`clm_0003` supported 0.86
- `pip install -e ".[dev]"` 证据：`CONTRIBUTING.md` Claim：`clm_0004` supported 0.86

## 继续前判断卡

- **当前建议**：仅建议沙盒试装
- **为什么**：项目存在安装命令、宿主配置或本地写入线索，不建议直接进入主力环境，应先在隔离环境试装。

### 30 秒判断

- **现在怎么做**：仅建议沙盒试装
- **最小安全下一步**：先跑 Prompt Preview；若仍要安装，只在隔离环境试装
- **先别相信**：真实输出质量不能在安装前相信。
- **继续会触碰**：命令执行、本地环境或项目文件、宿主 AI 上下文

### 现在可以相信

- **适合人群线索：想在安装前理解开源项目价值和边界的用户**（supported）：有 supported claim 或项目证据支撑，但仍不等于真实安装效果。 证据：`README.md` Claim：`clm_0002` supported 0.86
- **能力存在：命令行启动或安装流程**（supported）：可以相信项目包含这类能力线索；是否适合你的具体任务仍要试用或安装后验证。 证据：`CONTRIBUTING.md` Claim：`clm_0001` supported 0.86
- **存在 Quick Start / 安装命令线索**（supported）：可以相信项目文档出现过启动或安装入口；不要因此直接在主力环境运行。 证据：`CONTRIBUTING.md` Claim：`clm_0003` supported 0.86

### 现在还不能相信

- **真实输出质量不能在安装前相信。**（unverified）：Prompt Preview 只能展示引导方式，不能证明真实项目中的结果质量。
- **宿主 AI 版本兼容性不能在安装前相信。**（unverified）：Claude、Cursor、Codex、Gemini 等宿主加载规则和版本差异必须在真实环境验证。
- **不会污染现有宿主 AI 行为，不能直接相信。**（inferred）：Skill、plugin、AGENTS/CLAUDE/GEMINI 指令可能改变宿主 AI 的默认行为。
- **可安全回滚不能默认相信。**（unverified）：除非项目明确提供卸载和恢复说明，否则必须先在隔离环境验证。
- **真实安装后是否与用户当前宿主 AI 版本兼容？**（unverified）：兼容性只能通过实际宿主环境验证。
- **项目输出质量是否满足用户具体任务？**（unverified）：安装前预览只能展示流程和边界，不能替代真实评测。
- **安装命令是否需要网络、权限或全局写入？**（unverified）：这影响企业环境和个人环境的安装风险。 证据：`CONTRIBUTING.md`

### 继续会触碰什么

- **命令执行**：包管理器、网络下载、本地插件目录、项目配置或用户主目录。 原因：运行第一条命令就可能产生环境改动；必须先判断是否值得跑。 证据：`CONTRIBUTING.md`
- **本地环境或项目文件**：安装结果、插件缓存、项目配置或本地依赖目录。 原因：安装前无法证明写入范围和回滚方式，需要隔离验证。 证据：`CONTRIBUTING.md`
- **宿主 AI 上下文**：AI Context Pack、Prompt Preview、Skill 路由、风险规则和项目事实。 原因：导入上下文会影响宿主 AI 后续判断，必须避免把未验证项包装成事实。

### 最小安全下一步

- **先跑 Prompt Preview**：用安装前交互式试用判断工作方式是否匹配，不需要授权或改环境。（适用：任何项目都适用，尤其是输出质量未知时。）
- **只在隔离目录或测试账号试装**：避免安装命令污染主力宿主 AI、真实项目或用户主目录。（适用：存在命令执行、插件配置或本地写入线索时。）
- **安装后只验证一个最小任务**：先验证加载、兼容、输出质量和回滚，再决定是否深用。（适用：准备从试用进入真实工作流时。）

### 退出方式

- **保留安装前状态**：记录原始宿主配置和项目状态，后续才能判断是否可恢复。
- **记录安装命令和写入路径**：没有明确卸载说明时，至少要知道哪些目录或配置需要手动清理。
- **如果没有回滚路径，不进入主力环境**：不可回滚是继续前阻断项，不应靠信任或运气继续。

## 哪些只能预览

- 解释项目适合谁和能做什么
- 基于项目文档演示典型对话流程
- 帮助用户判断是否值得安装或继续研究

## 哪些必须安装后验证

- 真实安装 Skill、插件或 CLI
- 执行脚本、修改本地文件或访问外部服务
- 验证真实输出质量、性能和兼容性

## 边界与风险判断卡

- **把安装前预览误认为真实运行**：用户可能高估项目已经完成的配置、权限和兼容性验证。 处理方式：明确区分 prompt_preview_can_do 与 runtime_required。 Claim：`clm_0005` inferred 0.45
- **命令执行会修改本地环境**：安装命令可能写入用户主目录、宿主插件目录或项目配置。 处理方式：先在隔离环境或测试账号中运行。 证据：`CONTRIBUTING.md` Claim：`clm_0006` supported 0.86
- **待确认**：真实安装后是否与用户当前宿主 AI 版本兼容？。原因：兼容性只能通过实际宿主环境验证。
- **待确认**：项目输出质量是否满足用户具体任务？。原因：安装前预览只能展示流程和边界，不能替代真实评测。
- **待确认**：安装命令是否需要网络、权限或全局写入？。原因：这影响企业环境和个人环境的安装风险。

## 开工前工作上下文

### 加载顺序

- 先读取 how_to_use.host_ai_instruction，建立安装前判断资产的边界。
- 读取 claim_graph_summary，确认事实来自 Claim/Evidence Graph，而不是 Human Wiki 叙事。
- 再读取 intended_users、capabilities 和 quick_start_candidates，判断用户是否匹配。
- 需要执行具体任务时，优先查 role_skill_index，再查 evidence_index。
- 遇到真实安装、文件修改、网络访问、性能或兼容性问题时，转入 risk_card 和 boundaries.runtime_required。

### 任务路由

- **命令行启动或安装流程**：先说明这是安装后验证能力，再给出安装前检查清单。 边界：必须真实安装或运行后验证。 证据：`CONTRIBUTING.md` Claim：`clm_0001` supported 0.86

### 上下文规模

- 文件总数：963
- 重要文件覆盖：40/963
- 证据索引条目：75
- 角色 / Skill 条目：6

### 证据不足时的处理

- **missing_evidence**：说明证据不足，要求用户提供目标文件、README 段落或安装后验证记录；不要补全事实。
- **out_of_scope_request**：说明该任务超出当前 AI Context Pack 证据范围，并建议用户先查看 Human Manual 或真实安装后验证。
- **runtime_request**：给出安装前检查清单和命令来源，但不要替用户执行命令或声称已执行。
- **source_conflict**：同时展示冲突来源，标记为待核实，不要强行选择一个版本。

## Prompt Recipes

### 适配判断

- 目标：判断这个项目是否适合用户当前任务。
- 预期输出：适配结论、关键理由、证据引用、安装前可预览内容、必须安装后验证内容、下一步建议。

```text
请基于 zvec 的 AI Context Pack，先问我 3 个必要问题，然后判断它是否适合我的任务。回答必须包含：适合谁、能做什么、不能做什么、是否值得安装、证据来自哪里。所有项目事实必须引用 evidence_refs、source_paths 或 claim_id。
```

### 安装前体验

- 目标：让用户在安装前感受核心工作流，同时避免把预览包装成真实能力或营销承诺。
- 预期输出：一段带边界标签的体验剧本、安装后验证清单和谨慎建议；不含真实运行承诺或强营销表述。

```text
请把 zvec 当作安装前体验资产，而不是已安装工具或真实运行环境。

请严格输出四段：
1. 先问我 3 个必要问题。
2. 给出一段“体验剧本”：用 [安装前可预览]、[必须安装后验证]、[证据不足] 三种标签展示它可能如何引导工作流。
3. 给出安装后验证清单：列出哪些能力只有真实安装、真实宿主加载、真实项目运行后才能确认。
4. 给出谨慎建议：只能说“值得继续研究/试装”“先补充信息后再判断”或“不建议继续”，不得替项目背书。

硬性边界：
- 不要声称已经安装、运行、执行测试、修改文件或产生真实结果。
- 不要写“自动适配”“确保通过”“完美适配”“强烈建议安装”等承诺性表达。
- 如果描述安装后的工作方式，必须使用“如果安装成功且宿主正确加载 Skill，它可能会……”这种条件句。
- 体验剧本只能写成“示例台词/假设流程”：使用“可能会询问/可能会建议/可能会展示”，不要写“已写入、已生成、已通过、正在运行、正在生成”。
- Prompt Preview 不负责给安装命令；如用户准备试装，只能提示先阅读 Quick Start 和 Risk Card，并在隔离环境验证。
- 所有项目事实必须来自 supported claim、evidence_refs 或 source_paths；inferred/unverified 只能作风险或待确认项。

```

### 角色 / Skill 选择

- 目标：从项目里的角色或 Skill 中挑选最匹配的资产。
- 预期输出：候选角色或 Skill 列表，每项包含适用场景、证据路径、风险边界和是否需要安装后验证。

```text
请读取 role_skill_index，根据我的目标任务推荐 3-5 个最相关的角色或 Skill。每个推荐都要说明适用场景、可能输出、风险边界和 evidence_refs。
```

### 风险预检

- 目标：安装或引入前识别环境、权限、规则冲突和质量风险。
- 预期输出：环境、权限、依赖、许可、宿主冲突、质量风险和未知项的检查清单。

```text
请基于 risk_card、boundaries 和 quick_start_candidates，给我一份安装前风险预检清单。不要替我执行命令，只说明我应该检查什么、为什么检查、失败会有什么影响。
```

### 宿主 AI 开工指令

- 目标：把项目上下文转成一次对话开始前的宿主 AI 指令。
- 预期输出：一段边界明确、证据引用明确、适合复制给宿主 AI 的开工前指令。

```text
请基于 zvec 的 AI Context Pack，生成一段我可以粘贴给宿主 AI 的开工前指令。这段指令必须遵守 not_runtime=true，不能声称项目已经安装、运行或产生真实结果。
```

## 角色 / Skill 索引

- 共索引 6 个角色 / Skill / 项目文档条目。

- **💫 Features**（project_doc）：🚀 Quickstart 🏠 Home 📚 Docs 📊 Benchmarks 🔎 DeepWiki 🎮 Discord 🐦 X Twitter 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`README.md`
- **Readme**（project_doc）： 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`scripts/README.md`
- **Benchmarking scripts**（project_doc）：This directory contains benchmarking scripts and reproducing steps. 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`tools/core/README.md`
- **Contributing to Zvec**（project_doc）：First off, thank you for considering contributing to Zvec! 🙌 Whether you're reporting a bug, proposing a feature, improving documentation, or submitting code — every contribution helps make Zvec better. 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`CONTRIBUTING.md`
- **Zvec Code of Conduct**（project_doc）：We pledge to foster an open, respectful, and harassment-free environment for everyone, regardless of age, body size, disability, ethnicity, gender identity and expression, level of experience, education, socioeconomic status, nationality, personal appearance, race, religion, or sexual identity and orientation. 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`CODE_OF_CONDUCT.md`
- **💫 核心特性**（project_doc）：🚀 快速开始 🏠 主页 📚 文档 📊 性能报告 🔎 DeepWiki 🎮 Discord 🐦 X Twitter 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`README_CN.md`

## 证据索引

- 共索引 75 条证据。

- **💫 Features**（documentation）：🚀 Quickstart 🏠 Home 📚 Docs 📊 Benchmarks 🔎 DeepWiki 🎮 Discord 🐦 X Twitter 证据：`README.md`
- **Benchmarking scripts**（documentation）：This directory contains benchmarking scripts and reproducing steps. 证据：`tools/core/README.md`
- **Contributing to Zvec**（documentation）：First off, thank you for considering contributing to Zvec! 🙌 Whether you're reporting a bug, proposing a feature, improving documentation, or submitting code — every contribution helps make Zvec better. 证据：`CONTRIBUTING.md`
- **License**（source_file）：Apache License Version 2.0, January 2004 http://www.apache.org/licenses/ 证据：`LICENSE`
- **License**（source_file）：The CRoaring project is under a dual license Apache/MIT . Users of the library may choose one or the other license. 证据：`thirdparty/CRoaring/CRoaring-2.0.4/LICENSE`
- **Use /Z7 embed debug info in .obj instead of /Zi separate .pdb to enable sccache/ccache.**（source_file）：cmake minimum required VERSION 3.26 cmake policy SET CMP0077 NEW project zvec set CC CXX STANDARD 17 证据：`CMakeLists.txt`
- **Retrieve version from git repository**（source_file）：include ${PROJECT ROOT DIR}/cmake/bazel.cmake include ${PROJECT ROOT DIR}/cmake/option.cmake 证据：`src/CMakeLists.txt`
- **TODO windows : fix EXTERNAL LIB DIR on Windows**（source_file）：cmake minimum required VERSION 3.13 FATAL ERROR cmake policy SET CMP0048 NEW project thirdparty 证据：`thirdparty/CMakeLists.txt`
- **Retrieve version from git repository**（source_file）：include ${PROJECT ROOT DIR}/cmake/bazel.cmake include ${PROJECT ROOT DIR}/cmake/option.cmake 证据：`tools/CMakeLists.txt`
- **Enable compile commands.json**（source_file）：cmake minimum required VERSION 3.13 cmake policy SET CMP0077 NEW project zvec-example-c++ set CMAKE CXX STANDARD 17 set CMAKE CXX STANDARD REQUIRED ON 证据：`examples/c++/CMakeLists.txt`
- **Copyright 2025-present the zvec project**（source_file）：Copyright 2025-present the zvec project Licensed under the Apache License, Version 2.0 the "License" ; you may not use this file except in compliance with the License. You may obtain a copy of the License at http://www.apache.org/licenses/LICENSE-2.0 Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing permissions and limitations under the License. 证据：`examples/c/CMakeLists.txt`
- **Cmakelists**（source_file）：include ${PROJECT ROOT DIR}/cmake/bazel.cmake include ${PROJECT ROOT DIR}/cmake/option.cmake 证据：`src/ailego/CMakeLists.txt`
- **Retrieve version from git repository**（source_file）：include ${PROJECT ROOT DIR}/cmake/bazel.cmake include ${PROJECT ROOT DIR}/cmake/option.cmake 证据：`src/binding/CMakeLists.txt`
- **Copyright 2025-present the zvec project**（source_file）：Copyright 2025-present the zvec project Licensed under the Apache License, Version 2.0 the "License" ; you may not use this file except in compliance with the License. You may obtain a copy of the License at http://www.apache.org/licenses/LICENSE-2.0 Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing permissions and limitations under the License. 证据：`src/binding/c/CMakeLists.txt`
- **pybind11 add module defaults to CXX VISIBILITY PRESET=hidden +**（source_file）：include ${PROJECT ROOT DIR}/cmake/bazel.cmake include ${PROJECT ROOT DIR}/cmake/option.cmake 证据：`src/binding/python/CMakeLists.txt`
- **utility/block heap.cc uses AVX2 intrinsics guarded by AVX2 . When the**（source_file）：include ${PROJECT ROOT DIR}/cmake/bazel.cmake include ${PROJECT ROOT DIR}/cmake/option.cmake 证据：`src/core/CMakeLists.txt`
- **Empty stub library for unsupported platforms**（source_file）：include ${PROJECT ROOT DIR}/cmake/bazel.cmake include ${PROJECT ROOT DIR}/cmake/option.cmake 证据：`src/core/algorithm/CMakeLists.txt`
- **--exclude-libs is GNU ld / LLVM lld only; Apple ld does not support it.**（source_file）：include ${PROJECT ROOT DIR}/cmake/bazel.cmake include ${PROJECT ROOT DIR}/cmake/option.cmake 证据：`src/core/algorithm/cluster/CMakeLists.txt`
- **The DiskAnn plugin is loaded at runtime via zvec::LoadDiskAnnPlugin with**（source_file）：include ${PROJECT ROOT DIR}/cmake/bazel.cmake 证据：`src/core/algorithm/diskann/CMakeLists.txt`
- **message STATUS "PROJECT ROOT DIR = ${PROJECT ROOT DIR}"**（source_file）：include ${PROJECT ROOT DIR}/cmake/bazel.cmake include ${PROJECT ROOT DIR}/cmake/option.cmake message STATUS "PROJECT ROOT DIR = ${PROJECT ROOT DIR}" 证据：`src/core/algorithm/flat/CMakeLists.txt`
- **--exclude-libs is GNU ld / LLVM lld only; Apple ld does not support it.**（source_file）：include ${PROJECT ROOT DIR}/cmake/bazel.cmake include ${PROJECT ROOT DIR}/cmake/option.cmake 证据：`src/core/algorithm/flat_sparse/CMakeLists.txt`
- **Cmakelists**（source_file）：include ${PROJECT ROOT DIR}/cmake/bazel.cmake include ${PROJECT ROOT DIR}/cmake/option.cmake 证据：`src/core/algorithm/hnsw/CMakeLists.txt`
- **Cmakelists**（source_file）：include ${PROJECT ROOT DIR}/cmake/bazel.cmake include ${PROJECT ROOT DIR}/cmake/option.cmake 证据：`src/core/algorithm/hnsw_rabitq/CMakeLists.txt`
- **Rabitq Utils**（source_file）：struct RabitqConverterHeader { ⋮---- int dump rabitq centroids 证据：`src/core/algorithm/hnsw_rabitq/rabitq_utils.h`
- **Cmakelists**（source_file）：include ${PROJECT ROOT DIR}/cmake/bazel.cmake include ${PROJECT ROOT DIR}/cmake/option.cmake 证据：`src/core/algorithm/hnsw_sparse/CMakeLists.txt`
- **Cmakelists**（source_file）：include ${PROJECT ROOT DIR}/cmake/bazel.cmake include ${PROJECT ROOT DIR}/cmake/option.cmake 证据：`src/core/algorithm/ivf/CMakeLists.txt`
- **Cmakelists**（source_file）：include ${PROJECT ROOT DIR}/cmake/bazel.cmake include ${PROJECT ROOT DIR}/cmake/option.cmake 证据：`src/core/algorithm/vamana/CMakeLists.txt`
- **Cmakelists**（source_file）：include ${PROJECT ROOT DIR}/cmake/bazel.cmake include ${PROJECT ROOT DIR}/cmake/option.cmake 证据：`src/core/framework/CMakeLists.txt`
- **Cmakelists**（source_file）：include ${PROJECT ROOT DIR}/cmake/bazel.cmake include ${PROJECT ROOT DIR}/cmake/option.cmake 证据：`src/core/interface/CMakeLists.txt`
- **Utils**（source_file）：constexpr bool extract enum from json const ailego::JsonObject &json obj, ⋮---- magic enum::enum cast tmp json value.as stl string ; ⋮---- constexpr bool extract value from json const ailego::JsonObject &json obj, 证据：`src/core/interface/utils/utils.h`
- **Cmakelists**（source_file）：include ${PROJECT ROOT DIR}/cmake/bazel.cmake include ${PROJECT ROOT DIR}/cmake/option.cmake 证据：`src/core/metric/CMakeLists.txt`
- **Cmakelists**（source_file）：include ${PROJECT ROOT DIR}/cmake/bazel.cmake include ${PROJECT ROOT DIR}/cmake/option.cmake 证据：`src/core/mixed_reducer/CMakeLists.txt`
- **Cmakelists**（source_file）：Copyright C The Software Authors. All rights reserved. \file CMakeLists.txt \brief Build script for the zvec internal plugin-loading glue library. Lives inside the main zvec core artifact and provides the implicit DiskAnn runtime bring-up used by DiskAnnIndex on first use. These APIs are NOT part of the public user surface: users simply instantiate DiskAnnIndexParam / DiskAnnIndex and the runtime libzvec diskann plugin.so is loaded behind the scenes. 证据：`src/core/plugin/CMakeLists.txt`
- **Cmakelists**（source_file）：include ${PROJECT ROOT DIR}/cmake/bazel.cmake include ${PROJECT ROOT DIR}/cmake/option.cmake 证据：`src/core/quantizer/CMakeLists.txt`
- **block heap.cc uses AVX2 intrinsics guarded by AVX2 for its**（source_file）：include ${PROJECT ROOT DIR}/cmake/bazel.cmake include ${PROJECT ROOT DIR}/cmake/option.cmake 证据：`src/core/utility/CMakeLists.txt`
- **Ensure bitpacked simd sse41.cc is compiled with SSE4.1 flag and**（source_file）：include ${PROJECT ROOT DIR}/cmake/bazel.cmake include ${PROJECT ROOT DIR}/cmake/option.cmake 证据：`src/db/CMakeLists.txt`
- **proxima zvec store library**（source_file）：include ${PROJECT ROOT DIR}/cmake/bazel.cmake include ${PROJECT ROOT DIR}/cmake/option.cmake 证据：`src/db/common/CMakeLists.txt`
- **Cgroup Util**（source_file）：static int getCpuLimit ; static uint64 t getMemoryLimit ; static double getCpuUsage ; static uint64 t getMemoryUsage ; static uint64 t getUptime ; ⋮---- static void initialize ; static void updateCpuCores ; static bool readCpuCgroup ; static void updateMemoryLimit ; static bool readMemoryCgroup ; static void initializeCpuStats ; ⋮---- static bool readProcStat ; ⋮---- static uint64 t getCurrentMemoryUsage ; ⋮---- static uint64 t readMemoryUsageCgroup ; static uint64 t readMemoryUsageProc ; ⋮---- static uint64 t getMacOSMemoryUsage ; ⋮---- static uint64 t extractMemoryValue const std::string &line ; static double calculateCpuUsage ; ⋮---- static double calculateLinuxCpuUsage ; ⋮---- static do… 证据：`src/db/common/cgroup_util.h`
- **Concurrent Roaring Bitmap**（source_file）：explicit ConcurrentRoaringBitmap32 ⋮---- Status serialize std::string out ; Status deserialize const std::string &in ; ⋮---- bool contains uint32 t pos const { ⋮---- size t cardinality const { ⋮---- size t range cardinality uint32 t min doc id, uint32 t max doc id const { ⋮---- void add uint32 t pos { ⋮---- void clear { ⋮---- void remove range closed uint32 t min, uint32 t max { ⋮---- size t storage size in bytes const { ⋮---- roaring bitmap t bitmap const { ⋮---- roaring bitmap t copy const { ⋮---- explicit ConcurrentRoaringBitmap64 ⋮---- identifier "Roaring bitmap 32-bit " , bitmap32 std::make unique {} ⋮---- is 32bit true , identifier "Roaring bitmap " + name + ", 32-bit " , ⋮---- Status… 证据：`src/db/common/concurrent_roaring_bitmap.h`
- **Error Code**（source_file）：Code int val, const char str : value -val , desc str { ErrorCode::Instance - emplace this ; ⋮---- operator int const { ⋮---- int value const { ⋮---- const char desc const { ⋮---- static const char What int val ; ⋮---- ErrorCode void : map {} void emplace const ErrorCode::Code code { ⋮---- const char what int val const { ⋮---- static ErrorCode Instance void { 证据：`src/db/common/error_code.h`
- **File Helper**（source_file）：enum class FileID : uint32 t { ⋮---- inline const char GetFileName FileID t { ⋮---- static const std::string MakeWalPath const std::string &path, uint32 t seg id, ⋮---- return ailego::FileHelper::PathJoin path, seg id, ailego::StringHelper::Concat block id, ".wal" ; ⋮---- static std::string MakeSegmentPath const std::string &path, uint32 t id, ⋮---- static std::string MakeTempSegmentPath const std::string &path, uint32 t id { ⋮---- static const std::string MakeForwardBlockPath const std::string &path, ⋮---- static const std::string MakeForwardBlockPath const std::string &seg path, ⋮---- static const std::string MakeInvertIndexPath const std::string &path, ⋮---- static const std::string Make… 证据：`src/db/common/file_helper.h`
- **Global Resource**（source_file）：void initialize ; ailego::ThreadPool query thread pool { ⋮---- ailego::ThreadPool optimize thread pool { 证据：`src/db/common/global_resource.h`
- **Glogger**（source_file）：extern bool IsGoogleLoggingInitialized void ; extern bool ShutdownGoogleLoggingUtilities void ; ⋮---- int init const ailego::Params &params override { ⋮---- int cleanup override { ⋮---- void log int level, const char file, int line, const char format, 证据：`src/db/common/glogger.h`
- **Logger**（source_file）：static Status Init const std::string &log dir, const std::string &log file, ⋮---- if log dir.empty log file.empty { ⋮---- if !ailego::File::IsExist log dir { ⋮---- static void Shutdown { 证据：`src/db/common/logger.h`
- **Profiler**（source_file）：struct Stage { ⋮---- explicit Profiler bool enable = false : enable enable { ⋮---- bool enabled const { ⋮---- bool enabled debug const { ⋮---- bool enabled trace const { ⋮---- void start { ⋮---- void stop { ⋮---- int open stage const std::string &name { ⋮---- ailego::JsonString key name ; ⋮---- int close stage { ⋮---- ailego::JsonValue value v ; ⋮---- std::string as json string const { ⋮---- void set trace id const std::string &trace id { ⋮---- const std::string &trace id const { ⋮---- const ailego::JsonValue &root const { ⋮---- Stage current { ⋮---- ailego::JsonObject current path { ⋮---- explicit ScopedLatency const char name, Profiler::Ptr profiler : name name , profiler std::move profil… 证据：`src/db/common/profiler.h`
- **Rocksdb Context**（source_file）：struct RocksdbContext { ⋮---- struct Args { ⋮---- Status create const std::string &db path, ⋮---- Status open const std::string &db path, bool read only = false, ⋮---- Status open const std::string &db path, ⋮---- Status close ; Status flush ; Status create checkpoint const std::string &checkpoint dir ; ⋮---- Status create cf const std::string &cf name ; Status drop cf const std::string &cf name ; Status reset cf const std::string &cf name ; Status compact ; size t sst file size ; size t count ; Status create Args args ; Status open Args args, bool read only ; ⋮---- Status validate and set db path const std::string &db path, ⋮---- void prepare options std::shared ptr merge op ; Status flush… 证据：`src/db/common/rocksdb_context.h`
- **Utils**（source_file）：std::string indent int level ; 证据：`src/db/common/utils.h`
- **Cmakelists**（source_file）：include ${PROJECT ROOT DIR}/cmake/bazel.cmake include ${PROJECT ROOT DIR}/cmake/option.cmake 证据：`src/db/index/CMakeLists.txt`
- **Fts Utils**（source_file）：inline uint32 t decode uint32 big endian const char data { ⋮---- inline void encode uint32 big endian uint32 t value, std::string output { ⋮---- inline std::string make doc term key const std::string &term, uint32 t doc id { ⋮---- inline size t append doc term key const std::string &term, uint32 t doc id, ⋮---- bool parse doc term key const std::string &key, std::string term out, ⋮---- inline std::string make total docs key const std::string &field name { ⋮---- inline std::string make total tokens key const std::string &field name { ⋮---- inline std::string encode uint64 value uint64 t value { ⋮---- inline uint64 t decode uint64 value const char data { 证据：`src/db/index/column/fts_column/fts_utils.h`
- **Cmakelists**（source_file）：include ${PROJECT ROOT DIR}/cmake/bazel.cmake include ${PROJECT ROOT DIR}/cmake/option.cmake 证据：`src/db/sqlengine/CMakeLists.txt`
- **Logger**（source_file）：static char LevelSymbol int level { ⋮---- virtual ~Logger void {} virtual int init const Params &params = 0; virtual int cleanup void = 0; virtual void log int level, const char file, int line, const char format, ⋮---- static int Register Logger::Pointer logger, const ailego::Params &params { ⋮---- static void Unregister void { ⋮---- static void SetLevel int level { ⋮---- static bool IsLevelEnabled int level { ⋮---- static void Log int level, const char file, int line, const char format, 证据：`src/include/zvec/ailego/logger/logger.h`
- **File Helper**（source_file）：struct FileHelper { ⋮---- static const char BaseName const char path { ⋮---- static std::filesystem::path PathFromUtf8 const std::string &s ; static std::filesystem::path PathFromUtf8 const char s ; static std::string PathToUtf8 const std::filesystem::path &p ; static std::string PathJoin const internal::Alphameric &a, ⋮---- static std::wstring Utf8ToWide const std::string &utf8 ; static std::string WideToUtf8 const std::wstring &ws ; ⋮---- static void OpenIfstream std::ifstream &ifs, const std::string &path, ⋮---- static void OpenOfstream std::ofstream &ofs, const std::string &path, 证据：`src/include/zvec/ailego/utility/file_helper.h`
- **Index Logger**（source_file）：typedef std::shared ptr Pointer; ⋮---- static const char LevelString int level { ⋮---- static char LevelSymbol int level { ⋮---- virtual int init const zvec::ailego::Params &params = 0; virtual int cleanup void = 0; virtual void log int level, const char file, int line, const char format, ⋮---- static int Register IndexLogger::Pointer logger, ⋮---- static void Unregister void { ⋮---- static void SetLevel int level { ⋮---- static bool IsLevelEnabled int level { ⋮---- static void Log int level, const char file, int line, const char format, 证据：`src/include/zvec/core/framework/index_logger.h`
- **ARM64 architecture - no special march flags needed for now**（source_file）：include ${PROJECT ROOT DIR}/cmake/bazel.cmake include ${PROJECT ROOT DIR}/cmake/option.cmake 证据：`src/turbo/CMakeLists.txt`
- **CRoaring v2.0.4 - integrated as a single-file amalgamation build.**（source_file）：CRoaring v2.0.4 - integrated as a single-file amalgamation build. We deliberately do NOT pull the upstream repository as a git submodule anymore: it ships ~292M of benchmarks/test data that we never build, which made git submodule update --init --recursive painfully slow and bloated the local checkout. Instead, the official amalgamation produced by CRoaring's release pipeline https://github.com/RoaringBitmap/CRoaring/releases/tag/v2.0.4 is checked into CRoaring-2.0.4/: CRoaring-2.0.4/roaring.c - single C TU containing the entire library CRoaring-2.0.4/roaring.h - public C API from official release CRoaring-2.0.4/roaring.hh - public C++ wrapper from official release CRoaring-2.0.4/roaring64m… 证据：`thirdparty/CRoaring/CMakeLists.txt`
- **On non-x86 platforms, FastPFOR uses SIMDe to emulate SSE intrinsics.**（source_file）：include ${PROJECT ROOT DIR}/cmake/bazel.cmake 证据：`thirdparty/FastPFOR/CMakeLists.txt`
- **Cmakelists**（source_file）：add library rabitqlib INTERFACE target include directories rabitqlib SYSTEM INTERFACE "${CMAKE CURRENT SOURCE DIR}/RaBitQ-Library-0.1/include" 证据：`thirdparty/RaBitQ-Library/CMakeLists.txt`
- **Replace /Zi with /Z7 for sccache compatibility /Z7 embeds debug info in .obj, no .pdb .**（source_file）：set ANTLR SRC DIR ${CMAKE CURRENT SOURCE DIR}/antlr4 set ANTLR PATCH ${CMAKE CURRENT SOURCE DIR}/antlr4.patch apply patch once "antlr4 fix" "${ANTLR SRC DIR}" "${ANTLR PATCH}" if MSVC Replace /Zi with /Z7 for sccache compatibility /Z7 embeds debug info in .obj, no .pdb . set ANTLR WINDOWS PATCH ${CMAKE CURRENT SOURCE DIR}/antlr4.windows.patch apply patch once "antlr4 windows fix" "${ANTLR SRC DIR}" "${ANTLR WINDOWS PATCH}" endif 证据：`thirdparty/antlr/CMakeLists.txt`
- **Propagate compiler launcher ccache/sccache to Arrow's ExternalProject**（source_file）：set ARROW SRC DIR ${CMAKE CURRENT SOURCE DIR}/apache-arrow-21.0.0 if ANDROID set ARROW PATCH ${CMAKE CURRENT SOURCE DIR}/arrow.android.patch apply patch once "arrow android fix" "${ARROW SRC DIR}" "${ARROW PATCH}" elseif IOS set ARROW IOS PATCH ${CMAKE CURRENT SOURCE DIR}/arrow.ios.patch apply patch once "arrow ios fix" "${ARROW SRC DIR}" "${ARROW IOS PATCH}" else set ARROW PATCH ${CMAKE CURRENT SOURCE DIR}/arrow.patch apply patch once "arrow fix" "${ARROW SRC DIR}" "${ARROW PATCH}" endif if MSVC set ARROW WIN PATCH ${CMAKE CURRENT SOURCE DIR}/arrow.windows.patch apply patch once "arrow windows crt fix" "${ARROW SRC DIR}" "${ARROW WIN PATCH}" endif 证据：`thirdparty/arrow/CMakeLists.txt`
- **Cmakelists**（source_file）：set cppjieba SOURCE DIR "${CMAKE CURRENT SOURCE DIR}/cppjieba-5.6.7" 证据：`thirdparty/cppjieba/CMakeLists.txt`
- 其余 15 条证据见 `AI_CONTEXT_PACK.json` 或 `EVIDENCE_INDEX.json`。

## 宿主 AI 必须遵守的规则

- **把本资产当作开工前上下文，而不是运行环境。**：AI Context Pack 只包含证据化项目理解，不包含目标项目的可执行状态。 证据：`README.md`, `scripts/README.md`, `tools/core/README.md`
- **回答用户时区分可预览内容与必须安装后才能验证的内容。**：安装前体验的消费者价值来自降低误装和误判，而不是伪装成真实运行。 证据：`README.md`, `scripts/README.md`, `tools/core/README.md`

## 用户开工前应该回答的问题

- 你准备在哪个宿主 AI 或本地环境中使用它？
- 你只是想先体验工作流，还是准备真实安装？
- 你最在意的是安装成本、输出质量、还是和现有规则的冲突？

## 验收标准

- 所有能力声明都能回指到 evidence_refs 中的文件路径。
- AI_CONTEXT_PACK.md 没有把预览包装成真实运行。
- 用户能在 3 分钟内看懂适合谁、能做什么、如何开始和风险边界。

---

## Doramagic Context Augmentation

下面内容用于强化 Repomix/AI Context Pack 主体。Human Manual 只提供阅读骨架；踩坑日志会被转成宿主 AI 必须遵守的工作约束。

## Human Manual 骨架

使用规则：这里只是项目阅读路线和显著性信号，不是事实权威。具体事实仍必须回到 repo evidence / Claim Graph。

宿主 AI 硬性规则：
- 不得把页标题、章节顺序、摘要或 importance 当作项目事实证据。
- 解释 Human Manual 骨架时，必须明确说它只是阅读路线/显著性信号。
- 能力、安装、兼容性、运行状态和风险判断必须引用 repo evidence、source path 或 Claim Graph。

- **Zvec 概览与系统架构**：importance `high`
  - source_paths: README.md, src/CMakeLists.txt, src/db/collection.cc, src/db/sqlengine/sqlengine.h, src/core/framework/index_factory.cc
- **向量索引与全文/混合检索**：importance `high`
  - source_paths: src/core/algorithm/hnsw/hnsw_algorithm.h, src/core/algorithm/ivf/ivf_params.h, src/core/algorithm/diskann/diskann_params.h, src/core/algorithm/hnsw_rabitq/rabitq_params.h, src/db/index/column/fts_column/fts_indexer.h
- **多语言 SDK、绑定与 AI 扩展**：importance `high`
  - source_paths: src/binding/c/c_api.cc, src/binding/python/binding.cc, python/zvec/zvec.py, python/zvec/model/collection.py, python/zvec/extension/jina_embedding_function.py
- **存储引擎、平台支持与常见故障**：importance `high`
  - source_paths: src/db/common/rocksdb_context.h, src/db/index/storage/wal/local_wal_file.cc, src/db/index/segment/segment_manager.cc, src/db/index/storage/mmap_forward_store.cc, src/db/index/storage/parquet_writer.cc

## Repo Inspection Evidence / 源码检查证据

- repo_clone_verified: true
- repo_inspection_verified: true
- repo_commit: `0a008ebfbfc2acf5a9636e57fe0237d55740fdc0`
- inspected_files: `README.md`, `pyproject.toml`

宿主 AI 硬性规则：
- 没有 repo_clone_verified=true 时，不得声称已经读过源码。
- 没有 repo_inspection_verified=true 时，不得把 README/docs/package 文件判断写成事实。
- 没有 quick_start_verified=true 时，不得声称 Quick Start 已跑通。

## Doramagic Pitfall Constraints / 踩坑约束

这些规则来自 Doramagic 发现、验证或编译过程中的项目专属坑点。宿主 AI 必须把它们当作工作约束，而不是普通说明文字。

### Constraint 1: 来源证据：[Bug]: 在老旧的机器上使用zvec导致奔溃

- Trigger: GitHub 社区证据显示该项目存在一个安装相关的待验证问题：[Bug]: 在老旧的机器上使用zvec导致奔溃
- Why it matters: 可能增加新用户试用和生产接入成本。
- Evidence: community_evidence:github | https://github.com/alibaba/zvec/issues/512 | 来源讨论提到 python 相关条件，需在安装/试用前复核。
- Hard boundary: 不要把这个坑点包装成已解决、已验证或可忽略，除非后续验证证据明确证明它已经关闭。

### Constraint 2: 来源证据：[BUG]: create_index() fails after drop_index() on scalar fields - RocksDB column family not cleaned up

- Trigger: GitHub 社区证据显示该项目存在一个安装相关的待验证问题：[BUG]: create_index() fails after drop_index() on scalar fields - RocksDB column family not cleaned up
- Host AI rule: 来源显示可能已有修复、规避或版本变化，说明书中必须标注适用版本。
- Why it matters: 可能增加新用户试用和生产接入成本。
- Evidence: community_evidence:github | https://github.com/alibaba/zvec/issues/427 | 来源讨论提到 python 相关条件，需在安装/试用前复核。
- Hard boundary: 不要把这个坑点包装成已解决、已验证或可忽略，除非后续验证证据明确证明它已经关闭。

### Constraint 3: 能力判断依赖假设

- Trigger: README/documentation is current enough for a first validation pass.
- Host AI rule: 将假设转成下游验证清单。
- Why it matters: 假设不成立时，用户拿不到承诺的能力。
- Evidence: capability.assumptions | https://github.com/alibaba/zvec | README/documentation is current enough for a first validation pass.
- Hard boundary: 不要把这个坑点包装成已解决、已验证或可忽略，除非后续验证证据明确证明它已经关闭。

### Constraint 4: 运行可能依赖外部服务

- Trigger: 项目说明出现 external service/cloud/webhook/database 等运行依赖关键词。
- Host AI rule: 确认是否有离线 demo、mock 数据或可替代服务。
- Why it matters: 本地安装成功不等于能力可用，外部服务不可用会阻断体验。
- Evidence: packet_text.keyword_scan | https://github.com/alibaba/zvec | matched external service / cloud / webhook / database keyword
- Hard boundary: 不要把这个坑点包装成已解决、已验证或可忽略，除非后续验证证据明确证明它已经关闭。

### Constraint 5: 维护活跃度未知

- Trigger: 未记录 last_activity_observed。
- Host AI rule: 补 GitHub 最近 commit、release、issue/PR 响应信号。
- Why it matters: 新项目、停更项目和活跃项目会被混在一起，推荐信任度下降。
- Evidence: evidence.maintainer_signals | https://github.com/alibaba/zvec | last_activity_observed missing
- Hard boundary: 不要把这个坑点包装成已解决、已验证或可忽略，除非后续验证证据明确证明它已经关闭。

- Trigger: no_demo
- Evidence: downstream_validation.risk_items | https://github.com/alibaba/zvec | no_demo; severity=medium
- Hard boundary: 不要把这个坑点包装成已解决、已验证或可忽略，除非后续验证证据明确证明它已经关闭。

### Constraint 7: 存在评分风险

- Trigger: no_demo
- Why it matters: 风险会影响是否适合普通用户安装。
- Evidence: risks.scoring_risks | https://github.com/alibaba/zvec | no_demo; severity=medium
- Hard boundary: 不要把这个坑点包装成已解决、已验证或可忽略，除非后续验证证据明确证明它已经关闭。

### Constraint 8: issue/PR 响应质量未知

- Trigger: issue_or_pr_quality=unknown。
- Host AI rule: 抽样最近 issue/PR，判断是否长期无人处理。
- Why it matters: 用户无法判断遇到问题后是否有人维护。
- Evidence: evidence.maintainer_signals | https://github.com/alibaba/zvec | issue_or_pr_quality=unknown
- Hard boundary: 不要把这个坑点包装成已解决、已验证或可忽略，除非后续验证证据明确证明它已经关闭。

### Constraint 9: 发布节奏不明确

- Trigger: release_recency=unknown。
- Host AI rule: 确认最近 release/tag 和 README 安装命令是否一致。
- Why it matters: 安装命令和文档可能落后于代码，用户踩坑概率升高。
- Evidence: evidence.maintainer_signals | https://github.com/alibaba/zvec | release_recency=unknown
- Hard boundary: 不要把这个坑点包装成已解决、已验证或可忽略，除非后续验证证据明确证明它已经关闭。