# cozo - Doramagic AI Context Pack

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

## 充分原则

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

## 给宿主 AI 的使用方式

你正在读取 Doramagic 为 cozo 编译的 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

## 它能做什么

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

## 怎么开始

- `npm install --save cozo-node` 证据：`cozo-lib-nodejs/README-zh.md` Claim：`clm_0003` supported 0.86, `clm_0004` supported 0.86
- `npm install --save cozo-node --cozo_node_prebuilt_binary_host_mirror=https://gitee.com/cozodb/cozo-lib-nodejs/releases/download/` 证据：`cozo-lib-nodejs/README-zh.md` Claim：`clm_0004` supported 0.86
- `npm install cozo-lib-wasm` 证据：`cozo-lib-wasm/README-zh.md` Claim：`clm_0005` supported 0.86

## 继续前判断卡

- **当前建议**：先做角色匹配试用
- **为什么**：这个项目更像角色库，核心风险是选错角色或把角色文案当执行能力；先用 Prompt Preview 试角色匹配，再决定是否沙盒导入。

### 30 秒判断

- **现在怎么做**：先做角色匹配试用
- **最小安全下一步**：先用 Prompt Preview 试角色匹配；满意后再隔离导入
- **先别相信**：角色质量和任务匹配不能直接相信。
- **继续会触碰**：角色选择偏差、命令执行、本地环境或项目文件

### 现在可以相信

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

### 现在还不能相信

- **角色质量和任务匹配不能直接相信。**（unverified）：角色库证明有很多角色，不证明每个角色都适合你的具体任务，也不证明角色能产生高质量结果。
- **不能把角色文案当成真实执行能力。**（unverified）：安装前只能判断角色描述和任务画像是否匹配，不能证明它能在宿主 AI 里完成任务。
- **真实输出质量不能在安装前相信。**（unverified）：Prompt Preview 只能展示引导方式，不能证明真实项目中的结果质量。
- **宿主 AI 版本兼容性不能在安装前相信。**（unverified）：Claude、Cursor、Codex、Gemini 等宿主加载规则和版本差异必须在真实环境验证。
- **不会污染现有宿主 AI 行为，不能直接相信。**（inferred）：Skill、plugin、AGENTS/CLAUDE/GEMINI 指令可能改变宿主 AI 的默认行为。
- **可安全回滚不能默认相信。**（unverified）：除非项目明确提供卸载和恢复说明，否则必须先在隔离环境验证。
- **真实安装后是否与用户当前宿主 AI 版本兼容？**（unverified）：兼容性只能通过实际宿主环境验证。
- **项目输出质量是否满足用户具体任务？**（unverified）：安装前预览只能展示流程和边界，不能替代真实评测。

### 继续会触碰什么

- **角色选择偏差**：用户对任务应该由哪个专家角色处理的判断。 原因：选错角色会让 AI 从错误专业视角回答，浪费时间或误导决策。
- **命令执行**：包管理器、网络下载、本地插件目录、项目配置或用户主目录。 原因：运行第一条命令就可能产生环境改动；必须先判断是否值得跑。 证据：`cozo-lib-nodejs/README-zh.md`, `cozo-lib-wasm/README-zh.md`
- **本地环境或项目文件**：安装结果、插件缓存、项目配置或本地依赖目录。 原因：安装前无法证明写入范围和回滚方式，需要隔离验证。 证据：`cozo-lib-nodejs/README-zh.md`, `cozo-lib-wasm/README-zh.md`
- **宿主 AI 上下文**：AI Context Pack、Prompt Preview、Skill 路由、风险规则和项目事实。 原因：导入上下文会影响宿主 AI 后续判断，必须避免把未验证项包装成事实。

### 最小安全下一步

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

### 退出方式

- **保留安装前状态**：记录原始宿主配置和项目状态，后续才能判断是否可恢复。
- **保留原始角色选择记录**：如果输出偏题，可以回到任务画像阶段重新选择角色，而不是继续沿着错误角色推进。
- **记录安装命令和写入路径**：没有明确卸载说明时，至少要知道哪些目录或配置需要手动清理。
- **如果没有回滚路径，不进入主力环境**：不可回滚是继续前阻断项，不应靠信任或运气继续。

## 哪些只能预览

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

## 哪些必须安装后验证

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

## 边界与风险判断卡

- **把安装前预览误认为真实运行**：用户可能高估项目已经完成的配置、权限和兼容性验证。 处理方式：明确区分 prompt_preview_can_do 与 runtime_required。 Claim：`clm_0006` inferred 0.45
- **命令执行会修改本地环境**：安装命令可能写入用户主目录、宿主插件目录或项目配置。 处理方式：先在隔离环境或测试账号中运行。 证据：`cozo-lib-nodejs/README-zh.md`, `cozo-lib-wasm/README-zh.md` Claim：`clm_0007` 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。

### 任务路由

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

### 上下文规模

- 文件总数：225
- 重要文件覆盖：40/225
- 证据索引条目：79
- 角色 / Skill 条目：23

### 证据不足时的处理

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

## Prompt Recipes

### 适配判断

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

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

### 安装前体验

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

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

请严格输出四段：
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
请基于 cozo 的 AI Context Pack，生成一段我可以粘贴给宿主 AI 的开工前指令。这段指令必须遵守 not_runtime=true，不能声称项目已经安装、运行或产生真实结果。
```

## 角色 / Skill 索引

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

- **CozoDB**（project_doc）：! docs https://img.shields.io/readthedocs/cozo/latest https://docs.cozodb.org/ ! cozo-node https://img.shields.io/npm/v/cozo-node https://www.npmjs.com/package/cozo-node ! npm web https://img.shields.io/npm/v/cozo-lib-wasm?label=browser https://www.npmjs.com/package/cozo-lib-wasm ! Crates.io https://img.shields.io/crates/v/cozo https://crates.io/crates/cozo ! docs.rs https://img.shields.io/docsrs/cozo?label=docs.rs… 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`README.md`
- **Cozo standalone executable**（project_doc）：! server https://img.shields.io/github/v/release/cozodb/cozo https://github.com/cozodb/cozo/releases 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`cozo-bin/README.md`
- **Cozo-core**（project_doc）：! Crates.io https://img.shields.io/crates/v/cozo https://crates.io/crates/cozo 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`cozo-core/README.md`
- **Cozo C lib**（project_doc）：! C https://img.shields.io/github/v/release/cozodb/cozo https://github.com/cozodb/cozo/releases 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`cozo-lib-c/README.md`
- **Cozo-lib-java**（project_doc）：This crate provides the JNI bindings for using Cozo in Java/JVM languages/Android. 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`cozo-lib-java/README.md`
- **cozo-node**（project_doc）：! cozo-node https://img.shields.io/npm/v/cozo-node https://www.npmjs.com/package/cozo-node 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`cozo-lib-nodejs/README.md`
- **cozo-lib-python**（project_doc）：! pypi https://img.shields.io/pypi/v/cozo embedded https://pypi.org/project/cozo embedded/ 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`cozo-lib-python/README.md`
- **Cozo for Swift on Apple Hardware**（project_doc）：! pod https://img.shields.io/cocoapods/v/CozoSwiftBridge https://github.com/cozodb/cozo/tree/main/cozo-lib-swift 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`cozo-lib-swift/README.md`
- **Cozo in web assembly**（project_doc）：This crate provides Cozo web assembly modules for browsers. If you are targeting NodeJS, use this ../cozo-lib-nodejs instead: native code is still much faster than WASM. 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`cozo-lib-wasm/README.md`
- **Cozorocks**（project_doc）： 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`cozorocks/README.md`
- **Readme**（project_doc）： 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`cozo-core/src/fts/README.md`
- **Contributing**（project_doc）：Thanks for your interest in contributing to the Cozo project! As Cozo is just getting started, we aim to keep everything simple. 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`CONTRIBUTING.md`
- **Contributor Covenant Code of Conduct**（project_doc）：Contributor Covenant Code of Conduct 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`CODE_OF_CONDUCT.md`
- **Cozo 数据库**（project_doc）：! docs https://img.shields.io/readthedocs/cozo/latest https://docs.cozodb.org/zh CN/latest/ ! cozo-node https://img.shields.io/npm/v/cozo-node https://www.npmjs.com/package/cozo-node ! npm web https://img.shields.io/npm/v/cozo-lib-wasm?label=browser https://www.npmjs.com/package/cozo-lib-wasm ! Crates.io https://img.shields.io/crates/v/cozo https://crates.io/crates/cozo ! docs.rs https://img.shields.io/docsrs/cozo?l… 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`README-zh.md`
- **Cozo（独立程序）**（project_doc）：! server https://img.shields.io/github/v/release/cozodb/cozo https://github.com/cozodb/cozo/releases 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`cozo-bin/README-zh.md`
- **Cozo-core**（project_doc）：! Crates.io https://img.shields.io/crates/v/cozo https://crates.io/crates/cozo 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`cozo-core/README-zh.md`
- **Cozo C 语言库**（project_doc）：! C https://img.shields.io/github/v/release/cozodb/cozo https://github.com/cozodb/cozo/releases 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`cozo-lib-c/README-zh.md`
- **Cozo Java 语言库**（project_doc）：这里是 Cozo 的 JNI 接口库，可以在 Java/JVM 语言/安卓中使用。 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`cozo-lib-java/README-zh.md`
- **Cozo NodeJS 库**（project_doc）：! cozo-node https://img.shields.io/npm/v/cozo-node https://www.npmjs.com/package/cozo-node 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`cozo-lib-nodejs/README-zh.md`
- **Cozo Python 库**（project_doc）：! pypi https://img.shields.io/pypi/v/cozo embedded https://pypi.org/project/cozo embedded/ 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`cozo-lib-python/README-zh.md`
- **Cozo Swift 库（仅支持苹果硬件）**（project_doc）：! pod https://img.shields.io/cocoapods/v/CozoSwiftBridge https://github.com/cozodb/cozo/tree/main/cozo-lib-swift 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`cozo-lib-swift/README-zh.md`
- **Cozo WASM 库（浏览器）**（project_doc）：可以在浏览器中运行的 Cozo WASM 库。NodeJS 用户请使用 原生库 ../cozo-lib-nodejs ：速度更快，功能也更多。 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`cozo-lib-wasm/README-zh.md`
- **Cozorocks**（project_doc）： 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`cozorocks/README-zh.md`

## 证据索引

- 共索引 79 条证据。

- **CozoDB**（documentation）：! docs https://img.shields.io/readthedocs/cozo/latest https://docs.cozodb.org/ ! cozo-node https://img.shields.io/npm/v/cozo-node https://www.npmjs.com/package/cozo-node ! npm web https://img.shields.io/npm/v/cozo-lib-wasm?label=browser https://www.npmjs.com/package/cozo-lib-wasm ! Crates.io https://img.shields.io/crates/v/cozo https://crates.io/crates/cozo ! docs.rs https://img.shields.io/docsrs/cozo?label=docs.rs https://docs.rs/cozo ! pypi https://img.shields.io/pypi/v/pycozo https://pypi.org/project/pycozo/ ! java https://img.shields.io/maven-central/v/io.github.cozodb/cozo java?label=java https://mvnrepository.com/artifact/io.github.cozodb/cozo java ! clj https://img.shields.io/maven-c… 证据：`README.md`
- **Cozo standalone executable**（documentation）：! server https://img.shields.io/github/v/release/cozodb/cozo https://github.com/cozodb/cozo/releases 证据：`cozo-bin/README.md`
- **Cozo-core**（documentation）：! Crates.io https://img.shields.io/crates/v/cozo https://crates.io/crates/cozo 证据：`cozo-core/README.md`
- **Cozo C lib**（documentation）：! C https://img.shields.io/github/v/release/cozodb/cozo https://github.com/cozodb/cozo/releases 证据：`cozo-lib-c/README.md`
- **Cozo-lib-java**（documentation）：This crate provides the JNI bindings for using Cozo in Java/JVM languages/Android. 证据：`cozo-lib-java/README.md`
- **cozo-node**（documentation）：! cozo-node https://img.shields.io/npm/v/cozo-node https://www.npmjs.com/package/cozo-node 证据：`cozo-lib-nodejs/README.md`
- **cozo-lib-python**（documentation）：! pypi https://img.shields.io/pypi/v/cozo embedded https://pypi.org/project/cozo embedded/ 证据：`cozo-lib-python/README.md`
- **Cozo for Swift on Apple Hardware**（documentation）：! pod https://img.shields.io/cocoapods/v/CozoSwiftBridge https://github.com/cozodb/cozo/tree/main/cozo-lib-swift 证据：`cozo-lib-swift/README.md`
- **Cozo in web assembly**（documentation）：This crate provides Cozo web assembly modules for browsers. If you are targeting NodeJS, use this ../cozo-lib-nodejs instead: native code is still much faster than WASM. 证据：`cozo-lib-wasm/README.md`
- **Cozorocks**（documentation）：Cozorocks Bindings to RocksDB's C++ API. 证据：`cozorocks/README.md`
- **Readme**（documentation）：Stop words: 证据：`cozo-core/src/fts/README.md`
- **Package**（package_manifest）：{ "name": "cozo-node", "version": "0.7.6", "description": "Cozo database for NodeJS", "main": "index", "types": "index.d.ts", "files": "index.js", "index.d.ts", "LICENSE.txt" , "binary": { "module name": "cozo node prebuilt", "host": "https://github.com/cozodb/cozo-lib-nodejs/releases/download/", "remote path": "{version}", "package name": "{napi build version}-{platform}-{arch}.tar.gz", "module path": "./native/{napi build version}", "pkg path": ".", "napi versions": 6 }, "scripts": { "install": "node-pre-gyp install", "package": "node-pre-gyp package" }, "author": "Ziyang Hu", "license": "MIT", "devDependencies": { "cargo-cp-artifact": "^0.1" }, "repository": { "type": "git", "url": "git+… 证据：`cozo-lib-nodejs/package.json`
- **Contributing**（documentation）：Thanks for your interest in contributing to the Cozo project! As Cozo is just getting started, we aim to keep everything simple. 证据：`CONTRIBUTING.md`
- **Repl**（source_file）：use std::collections::BTreeMap; use std::error::Error; use std::fs; use std::fs::File; ⋮---- use clap::Args; ⋮---- use rustyline::history::DefaultHistory; use rustyline::Changeset; ⋮---- struct Indented; ⋮---- type Hint = String; ⋮---- type Candidate = String; fn update ⋮---- unreachable! ; ⋮---- fn validate ⋮---- Ok if ctx.input .starts with ' ' { if ctx.input .ends with '\n' { ⋮---- pub crate struct ReplArgs { ⋮---- pub crate fn repl main args: ReplArgs - Result { let db = DbInstance::new &args.engine, args.path, &args.config .unwrap ; let db copy = db.clone ; ⋮---- .run default "::running" .expect "Cannot determine running queries" ; ⋮---- let id = row.into iter .next .unwrap ; eprintln!… 证据：`cozo-bin/src/repl.rs`
- **Server**（source_file）：use std::collections::BTreeMap; use std::convert::Infallible; ⋮---- use std::str::FromStr; ⋮---- use axum::body::Body; ⋮---- use clap::Args; use futures::future::BoxFuture; use futures::stream::Stream; use itertools::Itertools; ⋮---- use miette::miette; use rand::Rng; use serde json::json; use tokio::net::TcpListener; use tokio::task::spawn blocking; ⋮---- use tower http::compression::CompressionLayer; ⋮---- pub crate struct ServerArgs { ⋮---- struct DbState { ⋮---- struct MyAuth { ⋮---- type RequestBody = Body; type ResponseBody = Body; type Future = BoxFuture , Response ; fn authorize &mut self, mut request: Request - Self::Future { ⋮---- let auth guard = self.auth guard.clone ; let token… 证据：`cozo-bin/src/server.rs`
- **Mod**（source_file）：pub crate mod aggr; pub crate mod expr; pub mod functions; pub crate mod json; pub crate mod memcmp; pub mod program; pub crate mod relation; pub mod symb; pub crate mod tuple; pub crate mod value; ⋮---- mod tests; 证据：`cozo-core/src/data/mod.rs`
- **Mod**（source_file）：pub crate mod all pairs shortest path; pub crate mod astar; pub crate mod bfs; pub crate mod degree centrality; pub crate mod dfs; pub crate mod kruskal; pub crate mod label propagation; pub crate mod louvain; pub crate mod pagerank; pub crate mod prim; pub crate mod random walk; pub crate mod shortest path bfs; pub crate mod shortest path dijkstra; pub crate mod strongly connected components; pub crate mod top sort; pub crate mod triangles; pub crate mod yen; ⋮---- pub crate use astar::ShortestPathAStar; pub crate use bfs::Bfs; pub crate use degree centrality::DegreeCentrality; pub crate use dfs::Dfs; pub crate use kruskal::MinimumSpanningForestKruskal; pub crate use label propagation::Lab… 证据：`cozo-core/src/fixed_rule/algos/mod.rs`
- **Mod**（source_file）：use std::collections::BTreeMap; use std::sync::Arc; ⋮---- use itertools::Itertools; use lazy static::lazy static; use miette::IntoDiagnostic; ⋮---- use thiserror::Error; use crate::data::expr::Expr; ⋮---- use crate::data::symb::Symbol; use crate::data::tuple::TupleIter; use crate::data::value::DataValue; ⋮---- use crate::parse::SourceSpan; use crate::runtime::db::Poison; ⋮---- use crate::runtime::transact::SessionTx; use crate::NamedRows; ⋮---- pub crate mod algos; pub crate mod utilities; pub struct FixedRulePayload { ⋮---- pub struct FixedRuleInputRelation { ⋮---- pub fn arity &self - Result { self.arg manifest.arity self.tx, self.stores ⋮---- pub fn ensure min len self, len: usize - Resu… 证据：`cozo-core/src/fixed_rule/mod.rs`
- **Mod**（source_file）：pub crate mod constant; pub crate mod csv; pub crate mod jlines; pub crate mod reorder sort; pub crate use self::csv::CsvReader; pub crate use constant::Constant; pub crate use jlines::JsonReader; pub crate use reorder sort::ReorderSort; 证据：`cozo-core/src/fixed_rule/utilities/mod.rs`
- **Mod**（source_file）：pub crate mod options; pub crate mod stream; pub crate mod tokenizer; 证据：`cozo-core/src/fts/cangjie/mod.rs`
- **Mod**（source_file）：use crate::data::memcmp::MemCmpEncoder; use crate::fts::cangjie::tokenizer::CangJieTokenizer; ⋮---- use crate::DataValue; use jieba rs::Jieba; ⋮---- use sha2::digest::FixedOutput; ⋮---- use std::collections::HashMap; ⋮---- pub crate mod ast; pub crate mod cangjie; pub crate mod indexing; pub crate mod tokenizer; ⋮---- pub crate struct FtsIndexManifest { ⋮---- pub struct TokenizerConfig { ⋮---- impl TokenizerConfig { pub crate fn config hash &self, filters: & Self - impl AsRef { ⋮---- hasher.update self.name.as bytes ; let mut args vec = vec! ; ⋮---- args vec.encode datavalue arg ; ⋮---- hasher.update &args vec ; ⋮---- hasher.update filter.name.as bytes ; args vec.clear ; ⋮---- hasher.finali… 证据：`cozo-core/src/fts/mod.rs`
- **Mod**（source_file）：mod alphanum only; mod ascii folding filter; mod empty tokenizer; mod lower caser; mod ngram tokenizer; mod raw tokenizer; mod remove long; mod simple tokenizer; mod split compound words; mod stemmer; mod stop word filter; mod tokenized string; mod tokenizer impl; mod whitespace tokenizer; pub crate use self::alphanum only::AlphaNumOnlyFilter; pub crate use self::ascii folding filter::AsciiFoldingFilter; pub crate use self::lower caser::LowerCaser; pub crate use self::ngram tokenizer::NgramTokenizer; pub crate use self::raw tokenizer::RawTokenizer; pub crate use self::remove long::RemoveLongFilter; pub crate use self::simple tokenizer::SimpleTokenizer; pub crate use self::split compound wor… 证据：`cozo-core/src/fts/tokenizer/mod.rs`
- **Mod**（source_file）：mod stopwords; use std::sync::Arc; use rustc hash::FxHashSet; ⋮---- pub crate struct StopWordFilter { ⋮---- impl StopWordFilter { pub crate fn for lang language: &str - Result { ⋮---- = bail! "Unsupported language: {}", language , ⋮---- Ok Self::new words.iter .map &word word.to owned ⋮---- pub crate fn new words: W - StopWordFilter { ⋮---- words: Arc::new words.into iter .collect , ⋮---- pub crate struct StopWordFilterStream { ⋮---- impl TokenFilter for StopWordFilter { fn transform &self, token stream: BoxTokenStream - BoxTokenStream { ⋮---- words: self.words.clone , ⋮---- fn predicate &self, token: &Token - bool { !self.words.contains &token.text ⋮---- impl TokenStream for StopWordFilter… 证据：`cozo-core/src/fts/tokenizer/stop_word_filter/mod.rs`
- **allow unused variables**（source_file）：use std::collections::BTreeMap; use std::path::Path; use std::sync::Arc; ⋮---- use std::time::Instant; ⋮---- use data::functions::current validity; use lazy static::lazy static; pub use miette::Error; use miette::Report; ⋮---- use parse::parse script; use parse::CozoScript; use serde json::json; ⋮---- pub use runtime::db::Db; pub use runtime::db::NamedRows; pub use runtime::relation::decode tuple from kv; pub use runtime::temp store::RegularTempStore; ⋮---- pub use crate::data::expr::Expr; use crate::data::json::JsonValue; pub use crate::data::symb::Symbol; ⋮---- pub use crate::fixed rule::SimpleFixedRule; pub use crate::parse::SourceSpan; pub use crate::runtime::callback::CallbackOp; pub u… 证据：`cozo-core/src/lib.rs`
- **Mod**（source_file）：use std::sync::Arc; ⋮---- use pest::error::InputLocation; use pest::Parser; ⋮---- use thiserror::Error; use crate::data::program::InputProgram; use crate::data::relation::NullableColType; ⋮---- use crate::parse::expr::build expr; use crate::parse::imperative::parse imperative block; use crate::parse::query::parse query; use crate::parse::schema::parse nullable type; ⋮---- pub crate mod expr; pub crate mod fts; pub crate mod imperative; pub crate mod query; pub crate mod schema; pub crate mod sys; ⋮---- pub crate struct CozoScriptParser; pub crate type Pair = pest::iterators::Pair ; pub crate type Pairs = pest::iterators::Pairs ; ⋮---- pub enum CozoScript { ⋮---- pub struct ImperativeStmtCla… 证据：`cozo-core/src/parse/mod.rs`
- **Mod**（source_file）：pub crate mod compile; pub crate mod eval; pub crate mod graph; pub crate mod logical; pub crate mod magic; pub crate mod ra; pub crate mod reorder; pub crate mod sort; pub crate mod stored; pub crate mod stratify; 证据：`cozo-core/src/query/mod.rs`
- **cfg not target arch = "wasm32"**（source_file）：use std::collections::btree map::Entry; ⋮---- use std::default::Default; ⋮---- use std::iter; use std::path::Path; ⋮---- use std::thread; ⋮---- use crossbeam::sync::ShardedLock; ⋮---- use itertools::Itertools; use miette::Report; ⋮---- use serde json::json; ⋮---- use thiserror::Error; use crate::data::functions::current validity; use crate::data::json::JsonValue; ⋮---- use crate::data::relation::ColumnDef; ⋮---- use crate::fixed rule::DEFAULT FIXED RULES; use crate::fts::TokenizerCache; use crate::parse::sys::SysOp; ⋮---- use crate::runtime::transact::SessionTx; use crate::storage::temp::TempStorage; use crate::storage::Storage; ⋮---- pub crate struct RunningQueryHandle { ⋮---- pub crate st… 证据：`cozo-core/src/runtime/db.rs`
- **Mod**（source_file）：pub crate mod callback; pub crate mod db; pub crate mod imperative; pub crate mod relation; pub crate mod temp store; pub crate mod transact; pub crate mod hnsw; pub crate mod minhash lsh; ⋮---- mod tests; 证据：`cozo-core/src/runtime/mod.rs`
- **Mod**（source_file）：use itertools::Itertools; use miette::Result; use crate::data::tuple::Tuple; use crate::data::value::ValidityTs; use crate::decode tuple from kv; pub crate mod mem; ⋮---- pub crate mod rocks; ⋮---- pub crate mod sled; ⋮---- pub crate mod sqlite; pub crate mod temp; ⋮---- pub crate mod tikv; ⋮---- pub mod newrocks; pub trait Storage : Send + Sync + Clone { /// The associated transaction type used by this engine type Tx: StoreTx ; ⋮---- /// Create a transaction object. Write ops will only be called when write == true . fn transact &'s self, write: bool - Result ; ⋮---- /// Put multiple key-value pairs into the database. /// No duplicate data will be sent, and the order data come in is strictl… 证据：`cozo-core/src/storage/mod.rs`
- **no mangle**（source_file）：use std::collections::BTreeMap; ⋮---- use std::ptr::null mut; ⋮---- use std::sync::Mutex; use lazy static::lazy static; ⋮---- struct Handles { ⋮---- lazy static! { ⋮---- pub unsafe extern "C" fn cozo open db ⋮---- let engine = match CStr::from ptr engine .to str { ⋮---- Err err = return CString::new format! "{err}" .unwrap .into raw , ⋮---- let path = match CStr::from ptr path .to str { ⋮---- let options = match CStr::from ptr options .to str { ⋮---- Err err = return CString::new err .unwrap .into raw , ⋮---- let id = HANDLES.current.fetch add 1, Ordering::AcqRel ; let mut dbs = HANDLES.dbs.lock .unwrap ; dbs.insert id, db ; ⋮---- null mut ⋮---- pub unsafe extern "C" fn cozo close db db id:… 证据：`cozo-lib-c/src/lib.rs`
- **Lib**（source_file）：use std::collections::BTreeMap; ⋮---- use std::sync::Mutex; ⋮---- use jni::JNIEnv; use lazy static::lazy static; ⋮---- struct Handles { ⋮---- lazy static! { ⋮---- fn get db id: i32 - Option { let dbs = HANDLES.dbs.lock .unwrap ; dbs.get &id .cloned ⋮---- pub extern "system" fn Java org cozodb CozoJavaBridge openDb ⋮---- let engine: String = env.get string &engine .unwrap .into ; let path: String = env.get string &path .unwrap .into ; let options: String = env.get string &options .unwrap .into ; ⋮---- let id = HANDLES.current.fetch add 1, Ordering::AcqRel ; let mut dbs = HANDLES.dbs.lock .unwrap ; dbs.insert id, db ; ⋮---- eprintln! "{err:?}" ; ⋮---- pub extern "system" fn Java org cozodb Co… 证据：`cozo-lib-java/src/lib.rs`
- **Lib**（source_file）：use std::collections::BTreeMap; ⋮---- use crossbeam::channel::Sender; use lazy static::lazy static; ⋮---- use neon::types::buffer::TypedArray; use serde json::json; ⋮---- fn rows2js cx: &mut impl Context , rows: & Vec - JsResult { let coll = cx.empty array ; for j, row in rows.iter .enumerate { let cur = cx.empty array ; for i, el in row.iter .enumerate { let el = value2js cx, el ?; cur.set cx, i as u32, el ?; ⋮---- coll.set cx, j as u32, cur ?; ⋮---- Ok coll ⋮---- fn named rows2js cx: &mut impl Context , nr: &NamedRows - JsResult { let ret = cx.empty object ; ⋮---- let converted = named rows2js cx, rows ?; ret.set cx, "next", converted ?; ⋮---- let headers = cx.empty array ; for i, header… 证据：`cozo-lib-nodejs/src/lib.rs`
- **Lib**（source_file）：use pyo3::exceptions::PyException; ⋮---- use serde json::json; ⋮---- fn py to rows ob: &PyAny - PyResult { ⋮---- .into iter .map row row.into iter .map py to value .collect:: ⋮---- Ok res ⋮---- fn report2py r: Report - PyErr { PyException::new err r.to string ⋮---- fn py to named rows ob: &PyAny - PyResult { ⋮---- .get item "rows" ? .ok or else PyException::new err "named rows must contain 'rows'" ?; let rows = py to rows rows ?; ⋮---- .get item "headers" ? .ok or else PyException::new err "named rows must contain 'headers'" ?; ⋮---- Ok NamedRows::new headers, rows ⋮---- fn py to value ob: &PyAny - PyResult { Ok if ob.is none { ⋮---- DataValue::from b.is true ⋮---- DataValue::Bytes b.as byt… 证据：`cozo-lib-python/src/lib.rs`
- **Lib**（source_file）：mod ffi { ⋮---- fn new cozo db engine: &str, path: &str, options: &str - Option { let options = if options.is empty { "{}" } else { options }; ⋮---- Ok db = Some db , ⋮---- eprintln! "{err}" ; 证据：`cozo-lib-swift/src/lib.rs`
- **Lib**（source_file）：mod utils; ⋮---- pub struct CozoDb { ⋮---- impl CozoDb { ⋮---- pub fn new - Self { ⋮---- let db = DbInstance::new "mem", "", "" .unwrap ; ⋮---- pub fn run &self, script: &str, params: &str, immutable: bool - String { self.db.run script str script, params, immutable ⋮---- pub fn export relations &self, data: &str - String { self.db.export relations str data ⋮---- pub fn import relations &self, data: &str - String { self.db.import relations str data 证据：`cozo-lib-wasm/src/lib.rs`
- **Db**（source_file）：use std::path::Path; ⋮---- use crate::bridge::tx::TxBuilder; ⋮---- pub struct DbBuilder { ⋮---- fn path2buf path: impl AsRef - Vec { ⋮---- path.as ref .to string lossy .as bytes .to vec ⋮---- use std::os::unix::ffi::OsStrExt; let path arr = path.as ref .as os str .as bytes ; path arr.to vec ⋮---- impl Default for DbOpts { fn default - Self { ⋮---- db path: vec! , options path: vec! , ⋮---- impl DbBuilder { pub fn path mut self, path: impl AsRef - Self { self.opts.db path = path2buf path ; ⋮---- pub fn options path mut self, path: impl AsRef - Self { self.opts.options path = path2buf path ; ⋮---- pub fn prepare for bulk load mut self, val: bool - Self { ⋮---- pub fn increase parallelism mut… 证据：`cozorocks/src/bridge/db.rs`
- **Mod**（source_file）：use std::error::Error; ⋮---- use crate::StatusSeverity; pub crate mod db; pub crate mod iter; pub crate mod tx; ⋮---- pub crate mod ffi { ⋮---- struct DbOpts { ⋮---- pub struct RocksDbStatus { ⋮---- pub enum StatusCode { ⋮---- pub enum StatusSubCode { ⋮---- pub enum StatusSeverity { ⋮---- include! "bridge.h" ; ⋮---- impl Default for ffi::RocksDbStatus { ⋮---- fn default - Self { ⋮---- message: "".to string , ⋮---- impl Error for ffi::RocksDbStatus {} impl Display for ffi::RocksDbStatus { fn fmt &self, f: &mut Formatter - std::fmt::Result { if self.message.is empty { write! f, "RocksDB error: {self:?}" ⋮---- write! f, "RocksDB error: {}", self.message ⋮---- impl Diagnostic for ffi::RocksDbSt… 证据：`cozorocks/src/bridge/mod.rs`
- **Tx**（source_file）：use std::ops::Deref; ⋮---- use crate::bridge::iter::IterBuilder; pub struct TxBuilder { ⋮---- pub struct PinSlice { ⋮---- impl Deref for PinSlice { type Target = u8 ; fn deref &self - &Self::Target { convert pinnable slice back &self.inner ⋮---- fn as ref &self - & u8 { ⋮---- impl Debug for PinSlice { fn fmt &self, f: &mut Formatter - std::fmt::Result { ⋮---- write! f, "{to d:?}" ⋮---- impl TxBuilder { ⋮---- pub fn start mut self - Tx { self.inner.pin mut .start ; ⋮---- pub fn set snapshot mut self, val: bool - Self { self.inner.pin mut .set snapshot val ; ⋮---- pub fn sync mut self, val: bool - Self { set w opts sync self.inner.pin mut .get w opts , val ; ⋮---- pub fn no slowdown mut self,… 证据：`cozorocks/src/bridge/tx.rs`
- **Lib**（source_file）：pub use bridge::db::DbBuilder; pub use bridge::db::RocksDb; pub use bridge::ffi::RocksDbStatus; pub use bridge::ffi::SnapshotBridge; pub use bridge::ffi::StatusCode; pub use bridge::ffi::StatusSeverity; pub use bridge::ffi::StatusSubCode; pub use bridge::iter::DbIter; pub use bridge::iter::IterBuilder; pub use bridge::tx::PinSlice; pub use bridge::tx::Tx; pub use bridge::tx::TxBuilder; pub crate mod bridge; 证据：`cozorocks/src/lib.rs`
- **Contributor Covenant Code of Conduct**（documentation）：Contributor Covenant Code of Conduct 证据：`CODE_OF_CONDUCT.md`
- **Cozo 数据库**（documentation）：! docs https://img.shields.io/readthedocs/cozo/latest https://docs.cozodb.org/zh CN/latest/ ! cozo-node https://img.shields.io/npm/v/cozo-node https://www.npmjs.com/package/cozo-node ! npm web https://img.shields.io/npm/v/cozo-lib-wasm?label=browser https://www.npmjs.com/package/cozo-lib-wasm ! Crates.io https://img.shields.io/crates/v/cozo https://crates.io/crates/cozo ! docs.rs https://img.shields.io/docsrs/cozo?label=docs.rs https://docs.rs/cozo ! pypi https://img.shields.io/pypi/v/pycozo https://pypi.org/project/pycozo/ ! java https://img.shields.io/maven-central/v/io.github.cozodb/cozo java?label=java https://mvnrepository.com/artifact/io.github.cozodb/cozo java ! clj https://img.shiel… 证据：`README-zh.md`
- **Cozo（独立程序）**（documentation）：! server https://img.shields.io/github/v/release/cozodb/cozo https://github.com/cozodb/cozo/releases 证据：`cozo-bin/README-zh.md`
- **Cozo-core**（documentation）：! Crates.io https://img.shields.io/crates/v/cozo https://crates.io/crates/cozo 证据：`cozo-core/README-zh.md`
- **Mod**（source_file）：mod aggrs; mod exprs; mod functions; mod json; mod memcmp; mod validity; mod values; 证据：`cozo-core/src/data/tests/mod.rs`
- **Cozo C 语言库**（documentation）：! C https://img.shields.io/github/v/release/cozodb/cozo https://github.com/cozodb/cozo/releases 证据：`cozo-lib-c/README-zh.md`
- **Cozo Java 语言库**（documentation）：这里是 Cozo 的 JNI 接口库，可以在 Java/JVM 语言/安卓中使用。 证据：`cozo-lib-java/README-zh.md`
- **Cozo NodeJS 库**（documentation）：! cozo-node https://img.shields.io/npm/v/cozo-node https://www.npmjs.com/package/cozo-node 证据：`cozo-lib-nodejs/README-zh.md`
- **Cozo Python 库**（documentation）：! pypi https://img.shields.io/pypi/v/cozo embedded https://pypi.org/project/cozo embedded/ 证据：`cozo-lib-python/README-zh.md`
- **Cozo Swift 库（仅支持苹果硬件）**（documentation）：! pod https://img.shields.io/cocoapods/v/CozoSwiftBridge https://github.com/cozodb/cozo/tree/main/cozo-lib-swift 证据：`cozo-lib-swift/README-zh.md`
- **Cozo WASM 库（浏览器）**（documentation）：可以在浏览器中运行的 Cozo WASM 库。NodeJS 用户请使用 原生库 ../cozo-lib-nodejs ：速度更快，功能也更多。 证据：`cozo-lib-wasm/README-zh.md`
- **Cozorocks**（documentation）：Cozorocks 对 RocksDB C++ 接口的封装。 证据：`cozorocks/README-zh.md`
- **Cla**（structured_config）：{ "signedContributors": { "name": "redbar0n", "id": 459282, "comment id": 1409499803, "created at": "2023-01-30T23:11:47Z", "repoId": 551374215, "pullRequestNo": 38 }, { "name": "GoldsteinE", "id": 12019211, "comment id": 1412614986, "created at": "2023-02-01T19:34:43Z", "repoId": 551374215, "pullRequestNo": 39 }, { "name": "chuanqisun", "id": 1895289, "comment id": 1519422437, "created at": "2023-04-24T05:55:45Z", "repoId": 551374215, "pullRequestNo": 63 }, { "name": "Avi-D-coder", "id": 29133776, "comment id": 1544410132, "created at": "2023-05-11T17:33:21Z", "repoId": 551374215, "pullRequestNo": 107 }, { "name": "turnerdev", "id": 48462986, "comment id": 1633419301, "created at": "2023-0… 证据：`signatures/version1/cla.json`
- **Rust template**（source_file）：/target Rust template Generated by Cargo will have compiled files and executables debug/ target/ 证据：`.gitignore`
- **.gitmodules**（source_file）：submodule "cozorocks/rocksdb" path = cozorocks/rocksdb url = https://github.com/facebook/rocksdb.git 证据：`.gitmodules`
- **Cargo**（source_file）：workspace resolver = "2" members = "cozo-core", "cozorocks", "cozo-bin", "cozo-lib-c", "cozo-lib-java", "cozo-lib-wasm", "cozo-lib-swift", "cozo-lib-python", "cozo-lib-nodejs", "cozo-core-examples", 证据：`Cargo.toml`
- **License**（source_file）：Mozilla Public License Version 2.0 ================================== 证据：`LICENSE.txt`
- **Version**（source_file）：0.7.6 证据：`VERSION`
- **See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html**（source_file）：package name = "cozo-bin" version = "0.7.6" edition = "2021" license = "MPL-2.0" description = "Standalone Cozo database" authors = "Ziyang Hu" homepage = "https://www.cozodb.org" repository = "https://github.com/cozodb/cozo" documentation = "https://docs.cozodb.org" 证据：`cozo-bin/Cargo.toml`
- **Cargo**（source_file）：package name = "cozo-core-examples" version = "0.1.0" edition = "2021" 证据：`cozo-core-examples/Cargo.toml`
- **! Features**（source_file）：package name = "cozo" version = "0.7.6" edition = "2021" description = "A general-purpose, transactional, relational database that uses Datalog and focuses on graph data and algorithms" authors = "Ziyang Hu" license = "MPL-2.0" homepage = "https://www.cozodb.org" repository = "https://github.com/cozodb/cozo" documentation = "https://docs.cozodb.org" exclude = "tests/ ", 证据：`cozo-core/Cargo.toml`
- 其余 19 条证据见 `AI_CONTEXT_PACK.json` 或 `EVIDENCE_INDEX.json`。

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

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

- **项目概览与系统架构**：importance `high`
  - source_paths: README.md, cozo-core/src/lib.rs, cozo-core/src/runtime/mod.rs, cozo-core/src/storage/mod.rs, Cargo.toml
- **核心功能、查询引擎与图算法**：importance `high`
  - source_paths: cozo-core/src/cozoscript.pest, cozo-core/src/parse/mod.rs, cozo-core/src/query/mod.rs, cozo-core/src/query/compile.rs, cozo-core/src/runtime/hnsw.rs
- **语言绑定、存储后端与部署**：importance `high`
  - source_paths: cozo-bin/src/main.rs, cozo-bin/src/server.rs, cozo-lib-python/src/lib.rs, cozo-lib-nodejs/src/lib.rs, cozo-lib-java/src/lib.rs
- **生态集成、可扩展性与社区议题**：importance `medium`
  - source_paths: cozo-core/src/runtime/db.rs, cozo-core/src/runtime/callback.rs, cozo-core/src/runtime/transact.rs, cozo-core/src/data/value.rs, cozo-core/src/runtime/relation.rs

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

- repo_clone_verified: true
- repo_inspection_verified: true
- repo_commit: `481af058abac9444ea8c9c52c78f096ed4b5bfc4`
- inspected_files: `README.md`

宿主 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: 来源证据：Destroying a DbInstance

- Trigger: GitHub 社区证据显示该项目存在一个安装相关的待验证问题：Destroying a DbInstance
- Host AI rule: 来源显示可能已有修复、规避或版本变化，说明书中必须标注适用版本。
- Why it matters: 可能增加新用户试用和生产接入成本。
- Evidence: community_evidence:github | https://github.com/cozodb/cozo/issues/202 | 来源类型 github_issue 暴露的待验证使用条件。
- Hard boundary: 不要把这个坑点包装成已解决、已验证或可忽略，除非后续验证证据明确证明它已经关闭。

### Constraint 2: 来源证据：`env_logger` should not be a dependency of `cozo-core`

- Trigger: GitHub 社区证据显示该项目存在一个安装相关的待验证问题：`env_logger` should not be a dependency of `cozo-core`
- Why it matters: 可能增加新用户试用和生产接入成本。
- Evidence: community_evidence:github | https://github.com/cozodb/cozo/issues/287 | 来源类型 github_issue 暴露的待验证使用条件。
- Hard boundary: 不要把这个坑点包装成已解决、已验证或可忽略，除非后续验证证据明确证明它已经关闭。

### Constraint 3: 来源证据：cargo update breaks due to newer rayon version

- Trigger: GitHub 社区证据显示该项目存在一个安装相关的待验证问题：cargo update breaks due to newer rayon version
- Why it matters: 可能增加新用户试用和生产接入成本。
- Evidence: community_evidence:github | https://github.com/cozodb/cozo/issues/298 | 来源类型 github_issue 暴露的待验证使用条件。
- Hard boundary: 不要把这个坑点包装成已解决、已验证或可忽略，除非后续验证证据明确证明它已经关闭。

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

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

### Constraint 5: 来源证据：Benchmarks don't compile: missing ScriptMutability argument

- Trigger: GitHub 社区证据显示该项目存在一个运行相关的待验证问题：Benchmarks don't compile: missing ScriptMutability argument
- Why it matters: 可能增加新用户试用和生产接入成本。
- Evidence: community_evidence:github | https://github.com/cozodb/cozo/issues/307 | 来源类型 github_issue 暴露的待验证使用条件。
- Hard boundary: 不要把这个坑点包装成已解决、已验证或可忽略，除非后续验证证据明确证明它已经关闭。

### Constraint 6: 来源证据：Regression: newrocks feature does not compile correctly

- Trigger: GitHub 社区证据显示该项目存在一个运行相关的待验证问题：Regression: newrocks feature does not compile correctly
- Host AI rule: 来源显示可能已有修复、规避或版本变化，说明书中必须标注适用版本。
- Why it matters: 可能增加新用户试用和生产接入成本。
- Evidence: community_evidence:github | https://github.com/cozodb/cozo/issues/289 | 来源类型 github_issue 暴露的待验证使用条件。
- Hard boundary: 不要把这个坑点包装成已解决、已验证或可忽略，除非后续验证证据明确证明它已经关闭。

### Constraint 7: 来源证据：Sled backend: fix broken del() and implement time travel support

- Trigger: GitHub 社区证据显示该项目存在一个运行相关的待验证问题：Sled backend: fix broken del() and implement time travel support
- Why it matters: 可能增加新用户试用和生产接入成本。
- Evidence: community_evidence:github | https://github.com/cozodb/cozo/issues/306 | 来源类型 github_issue 暴露的待验证使用条件。
- Hard boundary: 不要把这个坑点包装成已解决、已验证或可忽略，除非后续验证证据明确证明它已经关闭。

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

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

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

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

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