# varve - Doramagic AI Context Pack

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

## 充分原则

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

## 给宿主 AI 的使用方式

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

## Claim 消费规则

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

## 它最适合谁

- **正在使用 Claude/Codex/Cursor/Gemini 等宿主 AI 的开发者**：README 或插件配置提到多个宿主 AI。 证据：`README.md` Claim：`clm_0002` supported 0.86

## 它能做什么

- **项目知识预览**（可做安装前预览）：项目可被阅读和解释，但当前证据不足以确认可安装能力或运行入口。 证据：`CLAUDE.md`, `README.md`, `docs/concepts.md`, `docs/setup.md` 等 Claim：`clm_0001` supported 0.86

## 怎么开始

- 项目证据中没有稳定 Quick Start 命令；此项应留空，而不是由 Doramagic 编造。

## 继续前判断卡

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

### 30 秒判断

- **现在怎么做**：先做权限沙盒试用
- **最小安全下一步**：先跑 Prompt Preview；若仍要安装，只在隔离环境试装
- **先别相信**：工具权限边界不能在安装前相信。
- **继续会触碰**：宿主 AI 配置、宿主 AI 上下文

### 现在可以相信

- **适合人群线索：正在使用 Claude/Codex/Cursor/Gemini 等宿主 AI 的开发者**（supported）：有 supported claim 或项目证据支撑，但仍不等于真实安装效果。 证据：`README.md` Claim：`clm_0002` supported 0.86
- **能力存在：项目知识预览**（supported）：可以相信项目包含这类能力线索；是否适合你的具体任务仍要试用或安装后验证。 证据：`CLAUDE.md`, `README.md`, `docs/concepts.md`, `docs/setup.md` 等 Claim：`clm_0001` supported 0.86

### 现在还不能相信

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

### 继续会触碰什么

- **宿主 AI 配置**：Claude/Codex/Cursor/Gemini/OpenCode 等宿主的 plugin、Skill 或规则加载配置。 原因：宿主配置会改变 AI 后续工作方式，可能和用户已有规则冲突。 证据：`CLAUDE.md`
- **宿主 AI 上下文**：AI Context Pack、Prompt Preview、Skill 路由、风险规则和项目事实。 原因：导入上下文会影响宿主 AI 后续判断，必须避免把未验证项包装成事实。

### 最小安全下一步

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

### 退出方式

- **保留安装前状态**：记录原始宿主配置和项目状态，后续才能判断是否可恢复。
- **准备移除宿主 plugin / Skill / 规则入口**：如果试装后行为异常，可以把宿主 AI 恢复到试装前状态。
- **如果没有回滚路径，不进入主力环境**：不可回滚是继续前阻断项，不应靠信任或运气继续。

## 哪些只能预览

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

## 哪些必须安装后验证

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

## 边界与风险判断卡

- **把安装前预览误认为真实运行**：用户可能高估项目已经完成的配置、权限和兼容性验证。 处理方式：明确区分 prompt_preview_can_do 与 runtime_required。 Claim：`clm_0003` inferred 0.45
- **待确认**：真实安装后是否与用户当前宿主 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。

### 任务路由

- **项目知识预览**：先基于 role_skill_index / evidence_index 帮用户挑选可用角色、Skill 或工作流。 边界：可做安装前 Prompt 体验。 证据：`CLAUDE.md`, `README.md`, `docs/concepts.md`, `docs/setup.md` 等 Claim：`clm_0001` supported 0.86

### 上下文规模

- 文件总数：151
- 重要文件覆盖：40/151
- 证据索引条目：43
- 角色 / Skill 条目：8

### 证据不足时的处理

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

## Prompt Recipes

### 适配判断

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

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

### 安装前体验

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

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

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

## 角色 / Skill 索引

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

- **varve**（project_doc）：This project has the varve MCP server connected. Use its tools for all memory operations — never use built-in memory tools or write to ~/.claude/projects/. 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`CLAUDE.md`
- **varve**（project_doc）：varve varve.sh https://varve.sh · Decision memory for AI coding agents — local-first, MCP-native, one binary. 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`README.md`
- **Concepts**（project_doc）：Type Use for ------ --------- decision Architecture choices, tooling selections, approach rationale convention Naming rules, code style, structural standards fact Durable truths about the codebase event Migrations, incidents, refactors, session summaries, prompts 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`docs/concepts.md`
- **Agent Setup**（project_doc）：varve setup writes the MCP config entry for your agent. It is idempotent — running it again is safe and merges into existing configs without overwriting other entries. 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`docs/setup.md`
- **CLI Reference**（project_doc）：Initializes varve in the current project. Creates .varve/varve.db , adds .varve/ to .gitignore , and appends varve instructions to CLAUDE.md . 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`docs/cli.md`
- **Semantic Search & Embeddings**（project_doc）：memory recall and varve search use hybrid BM25 + semantic scoring when an embedder is configured. The pipeline runs full-text search and vector similarity independently, merges the candidate pools, and reranks — so memories that match on meaning but not exact keywords still surface. 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`docs/embeddings.md`
- **Import & Export**（project_doc）：varve export dumps memories to a file. varve import loads them back. Both support JSON and Markdown. 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`docs/import-export.md`
- **MCP Tools Reference**（project_doc）：Varve exposes eight MCP tools. Your agent calls them directly — no configuration needed beyond varve setup . 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`docs/mcp-tools.md`

## 证据索引

- 共索引 43 条证据。

- **varve**（documentation）：This project has the varve MCP server connected. Use its tools for all memory operations — never use built-in memory tools or write to ~/.claude/projects/. 证据：`CLAUDE.md`
- **varve**（documentation）：varve varve.sh https://varve.sh · Decision memory for AI coding agents — local-first, MCP-native, one binary. 证据：`README.md`
- **Concepts**（documentation）：Type Use for ------ --------- decision Architecture choices, tooling selections, approach rationale convention Naming rules, code style, structural standards fact Durable truths about the codebase event Migrations, incidents, refactors, session summaries, prompts 证据：`docs/concepts.md`
- **Agent Setup**（documentation）：varve setup writes the MCP config entry for your agent. It is idempotent — running it again is safe and merges into existing configs without overwriting other entries. 证据：`docs/setup.md`
- **License**（source_file）：Apache License Version 2.0, January 2004 http://www.apache.org/licenses/ 证据：`LICENSE`
- **CLI Reference**（documentation）：Initializes varve in the current project. Creates .varve/varve.db , adds .varve/ to .gitignore , and appends varve instructions to CLAUDE.md . 证据：`docs/cli.md`
- **Semantic Search & Embeddings**（documentation）：memory recall and varve search use hybrid BM25 + semantic scoring when an embedder is configured. The pipeline runs full-text search and vector similarity independently, merges the candidate pools, and reranks — so memories that match on meaning but not exact keywords still surface. 证据：`docs/embeddings.md`
- **Import & Export**（documentation）：varve export dumps memories to a file. varve import loads them back. Both support JSON and Markdown. 证据：`docs/import-export.md`
- **MCP Tools Reference**（documentation）：Varve exposes eight MCP tools. Your agent calls them directly — no configuration needed beyond varve setup . 证据：`docs/mcp-tools.md`
- **Main**（source_file）：package main ⋮---- import "fmt" "os" "github.com/varve-sh/varve/internal/cli" ⋮---- "fmt" "os" ⋮---- "github.com/varve-sh/varve/internal/cli" ⋮---- var version = "dev" ⋮---- func main 证据：`cmd/varve/main.go`
- **Edit**（source_file）：package cli ⋮---- import "fmt" "os" "os/exec" "strings" "github.com/spf13/cobra" "github.com/varve-sh/varve/internal/types" ⋮---- "fmt" "os" "os/exec" "strings" ⋮---- "github.com/spf13/cobra" "github.com/varve-sh/varve/internal/types" ⋮---- func newEditCmd cobra.Command ⋮---- var resolvableStatuses = types.MemoryStatus{ "", types.MemoryStatusStale, types.MemoryStatusArchived, types.MemoryStatus types.StatusSuperseded , types.MemoryStatus types.StatusReverted , types.MemoryStatus types.StatusRejected , } ⋮---- // resolveID resolves a full ID or short prefix to a full memory ID. // Returns "" if not found or ambiguous. func resolveID k interface ⋮---- var matches string ⋮---- return "" // amb… 证据：`internal/cli/edit.go`
- **Export**（source_file）：package cli ⋮---- import "encoding/json" "fmt" "os" "github.com/spf13/cobra" "github.com/varve-sh/varve/internal/ingestion" "github.com/varve-sh/varve/internal/types" ⋮---- "encoding/json" "fmt" "os" ⋮---- "github.com/spf13/cobra" "github.com/varve-sh/varve/internal/ingestion" "github.com/varve-sh/varve/internal/types" ⋮---- func newExportCmd cobra.Command ⋮---- var outputFile string var memType string var status string var format string ⋮---- var out byte 证据：`internal/cli/export.go`
- **Import**（source_file）：package cli ⋮---- import "fmt" "path/filepath" "strings" "github.com/spf13/cobra" "github.com/varve-sh/varve/internal/ingestion" "github.com/varve-sh/varve/internal/types" ⋮---- "fmt" "path/filepath" "strings" ⋮---- "github.com/spf13/cobra" "github.com/varve-sh/varve/internal/ingestion" "github.com/varve-sh/varve/internal/types" ⋮---- func listSources cmd cobra.Command error ⋮---- func newImportCmd cobra.Command ⋮---- var memType string var format string var dryRun bool ⋮---- var inputs types.MemorySaveInput var err error 证据：`internal/cli/import.go`
- **Init**（source_file）：package cli ⋮---- import "fmt" "os" "path/filepath" "strings" "time" "github.com/spf13/cobra" "github.com/varve-sh/varve/internal/kernel" "github.com/varve-sh/varve/internal/util" ⋮---- "fmt" "os" "path/filepath" "strings" "time" ⋮---- "github.com/spf13/cobra" "github.com/varve-sh/varve/internal/kernel" "github.com/varve-sh/varve/internal/util" ⋮---- func newInitCmd cobra.Command ⋮---- var name string var noImport bool var noHooks bool ⋮---- // Adopt the id the existing rows are filed under. Every read filters on // project id, so minting a fresh one would leave the store intact and // every memory in it invisible — and this branch exists precisely for the // case where the store has data.… 证据：`internal/cli/init.go`
- **Migrate**（source_file）：package cli ⋮---- import "errors" "fmt" "os" "github.com/spf13/cobra" "github.com/varve-sh/varve/internal/kernel" "github.com/varve-sh/varve/internal/types" "github.com/varve-sh/varve/internal/util" ⋮---- "errors" "fmt" "os" ⋮---- "github.com/spf13/cobra" "github.com/varve-sh/varve/internal/kernel" "github.com/varve-sh/varve/internal/types" "github.com/varve-sh/varve/internal/util" ⋮---- func newMigrateCmd cobra.Command ⋮---- var fromV1 bool ⋮---- func legacyDatabaseHint err error error 证据：`internal/cli/migrate.go`
- **Root**（source_file）：package cli ⋮---- import "github.com/spf13/cobra" ⋮---- func NewRootCmd version ...string cobra.Command 证据：`internal/cli/root.go`
- **Save**（source_file）：package cli ⋮---- import "fmt" "strings" "github.com/spf13/cobra" "github.com/varve-sh/varve/internal/types" ⋮---- "fmt" "strings" ⋮---- "github.com/spf13/cobra" "github.com/varve-sh/varve/internal/types" ⋮---- func newSaveCmd cobra.Command ⋮---- var memType string var tags string var files string var confidence float64 证据：`internal/cli/save.go`
- **Setup**（source_file）：package cli ⋮---- import "encoding/json" "fmt" "os" "path/filepath" "strings" "github.com/spf13/cobra" ⋮---- "encoding/json" "fmt" "os" "path/filepath" "strings" ⋮---- "github.com/spf13/cobra" ⋮---- func newSetupCmd cobra.Command ⋮---- var global bool ⋮---- var agents string ⋮---- func normalizeAgent s string string ⋮---- func detectAgents projectRoot string string ⋮---- var found string ⋮---- func setupAgent agent, projectRoot string, global bool bool, error ⋮---- var configPath string ⋮---- const memtraceInstructionsCore = This project has the varve MCP server connected. Use its tools for all memory operations — never use built-in memory tools. Memory tools: memory pack, memory recall, me… 证据：`internal/cli/setup.go`
- **Stats**（source_file）：package cli ⋮---- import "encoding/json" "fmt" "os" "time" "github.com/fatih/color" "github.com/spf13/cobra" ⋮---- "encoding/json" "fmt" "os" "time" ⋮---- "github.com/fatih/color" "github.com/spf13/cobra" ⋮---- func newStatsCmd cobra.Command ⋮---- var asJSON bool var days int ⋮---- type topEntry struct { ID string json:"id" Summary string json:"summary" AccessCount int json:"access count" } ⋮---- func truncateSummary summary, content string string 证据：`internal/cli/stats.go`
- **Markdown**（source_file）：package ingestion ⋮---- import "fmt" "strconv" "strings" "time" "github.com/varve-sh/varve/internal/types" ⋮---- "fmt" "strconv" "strings" "time" ⋮---- "github.com/varve-sh/varve/internal/types" ⋮---- func ExportMarkdown memories types.Memory string ⋮---- var b strings.Builder ⋮---- func ImportMarkdown source string types.MemorySaveInput, error ⋮---- func parseMarkdown doc string types.MemorySaveInput, error ⋮---- var inputs types.MemorySaveInput ⋮---- // parseMarkdownSection parses one memory block: // // type first line of content ⋮---- // - Tags: a, b // - Confidence: 0.90 // - Created: 2026-03-22T10:00:00Z // - Files: path/to/file.go ⋮---- // Full content text... func parseMarkdownSecti… 证据：`internal/ingestion/markdown.go`
- **Pipeline**（source_file）：package ingestion ⋮---- import "github.com/varve-sh/varve/internal/kernel" "github.com/varve-sh/varve/internal/types" ⋮---- "github.com/varve-sh/varve/internal/kernel" "github.com/varve-sh/varve/internal/types" ⋮---- type Pipeline struct { kernel kernel.MemoryKernel } ⋮---- func New k kernel.MemoryKernel Pipeline ⋮---- type IngestResult struct { Total int Sources map string int } ⋮---- func p Pipeline IngestOnInit projectRoot string IngestResult 证据：`internal/ingestion/pipeline.go`
- **Decisions**（source_file）：package kernel ⋮---- import "database/sql" "encoding/json" "errors" "fmt" "strings" "sync" "time" "github.com/varve-sh/varve/internal/scope" "github.com/varve-sh/varve/internal/types" "github.com/varve-sh/varve/internal/util" ⋮---- "database/sql" "encoding/json" "errors" "fmt" "strings" "sync" "time" ⋮---- "github.com/varve-sh/varve/internal/scope" "github.com/varve-sh/varve/internal/types" "github.com/varve-sh/varve/internal/util" ⋮---- type DecisionStore struct { db sql.DB sessionMu sync.RWMutex sessionID string sessionAgent string sessionModel string } ⋮---- func s DecisionStore SetSessionContext id, agent, model string ⋮---- func s DecisionStore emit tx sql.Tx, in EventInput string, err… 证据：`internal/kernel/decisions.go`
- **Kernel**（source_file）：package kernel ⋮---- import "database/sql" "errors" "fmt" "net/url" "os" "path/filepath" "strings" "time" "github.com/varve-sh/varve/internal/embedding" "github.com/varve-sh/varve/internal/retrieval" "github.com/varve-sh/varve/internal/types" "github.com/varve-sh/varve/internal/util" "modernc.org/sqlite" ⋮---- "database/sql" "errors" "fmt" "net/url" "os" "path/filepath" "strings" "time" ⋮---- "github.com/varve-sh/varve/internal/embedding" "github.com/varve-sh/varve/internal/retrieval" "github.com/varve-sh/varve/internal/types" "github.com/varve-sh/varve/internal/util" ⋮---- "modernc.org/sqlite" ⋮---- type MemoryKernel struct { dbPath string projectID string db sql.DB store MemoryStore decis… 证据：`internal/kernel/kernel.go`
- **Migrate**（source_file）：package kernel ⋮---- import "database/sql" "fmt" "time" "github.com/varve-sh/varve/internal/types" ⋮---- "database/sql" "fmt" "time" ⋮---- "github.com/varve-sh/varve/internal/types" ⋮---- type migration struct { version int name string up func sql.Tx error } ⋮---- var migrations = migration{ {1, "baseline v1", execScript baselineV1SQL }, {2, "decision lifecycle v2", execScript schemaV2SQL }, {3, "pending topic key", execScript schemaV3SQL }, {4, "purge redaction exemption", execScript schemaV4SQL }, {5, "promote attribution columns", execScript schemaV5SQL }, {6, "import source ref index", execScript schemaV6SQL }, } ⋮---- func LatestSchemaVersion int ⋮---- var v2ReadPathsReady = true ⋮----… 证据：`internal/kernel/migrate.go`
- **Migrate V1**（source_file）：package kernel ⋮---- import "database/sql" "encoding/json" "fmt" "os" "path/filepath" "strings" "time" "github.com/varve-sh/varve/internal/types" ⋮---- "database/sql" "encoding/json" "fmt" "os" "path/filepath" "strings" "time" ⋮---- "github.com/varve-sh/varve/internal/types" ⋮---- type MigrateV1Options struct { DBPath string BackupPath string ExportPath string ProjectID string } ⋮---- type SkippedRow struct { ID string json:"id" Type string json:"type" Reason string json:"reason" } ⋮---- type MigrationReport struct { Exported int json:"exported" Decisions int json:"decisions" Notes int json:"notes" Evidence int json:"evidence" Skipped SkippedRow json:"skipped" NeedsTriage string json:"needs… 证据：`internal/kernel/migrate_v1.go`
- **Pack**（source_file）：package kernel ⋮---- import "database/sql" "time" "github.com/varve-sh/varve/internal/pack" "github.com/varve-sh/varve/internal/retrieval" "github.com/varve-sh/varve/internal/types" ⋮---- "database/sql" "time" ⋮---- "github.com/varve-sh/varve/internal/pack" "github.com/varve-sh/varve/internal/retrieval" "github.com/varve-sh/varve/internal/types" ⋮---- type packSource struct { k MemoryKernel } ⋮---- func s packSource PackableDecisions projectID string types.Decision, error ⋮---- func s packSource ProposedDecisions projectID string types.Decision, error ⋮---- func s packSource ActiveNotes projectID string types.Note, error ⋮---- func s packSource TextPool query, projectID string, limit int ty… 证据：`internal/kernel/pack.go`
- **Schema**（source_file）：package kernel ⋮---- const baselineV1SQL = CREATE TABLE IF NOT EXISTS schema version version INTEGER PRIMARY KEY ; INSERT OR IGNORE INTO schema version version VALUES 1 ; CREATE TABLE IF NOT EXISTS memories id TEXT PRIMARY KEY, type TEXT NOT NULL CHECK type IN 'decision', 'convention', 'fact', 'event' , content TEXT NOT NULL, summary TEXT, source TEXT NOT NULL DEFAULT 'user' CHECK source IN 'user', 'agent', 'git', 'import' , source ref TEXT, confidence REAL NOT NULL DEFAULT 1.0 CHECK confidence = 0.0 AND confidence <= 1.0 , project id TEXT NOT NULL, file paths TEXT NOT NULL DEFAULT ' ', tags TEXT NOT NULL DEFAULT ' ', status TEXT NOT NULL DEFAULT 'active' CHECK status IN 'active', 'stale',… 证据：`internal/kernel/schema.go`
- **Schema V2**（source_file）：package kernel ⋮---- const schemaV2SQL = -- ---------------------------------------------------------------- decisions CREATE TABLE decisions id TEXT PRIMARY KEY, -- ULID project id TEXT NOT NULL, kind TEXT NOT NULL DEFAULT 'decision' CHECK kind IN 'decision','convention' , title TEXT NOT NULL CHECK length title BETWEEN 1 AND 200 , body TEXT NOT NULL DEFAULT '', status TEXT NOT NULL DEFAULT 'proposed' CHECK status IN 'proposed','active','violated', 'superseded','reverted','rejected' , scope TEXT NOT NULL DEFAULT ' ' CHECK json valid scope , confidence REAL NOT NULL DEFAULT 1.0 CHECK confidence = 0.0 AND confidence 'superseded' OR superseded by IS NOT NULL ; CREATE INDEX idx decisions projec… 证据：`internal/kernel/schema_v2.go`
- **Session**（source_file）：package kernel ⋮---- import "database/sql" "sync" "github.com/varve-sh/varve/internal/types" "github.com/varve-sh/varve/internal/util" ⋮---- "database/sql" "sync" ⋮---- "github.com/varve-sh/varve/internal/types" "github.com/varve-sh/varve/internal/util" ⋮---- type session struct { mu sync.Mutex id string agent string model string started bool saves int recalls int packs int } ⋮---- const SessionAgentCLI = "cli" ⋮---- func k MemoryKernel SetSession id, agent, model string ⋮---- // BeginSession registers a session and emits session.started immediately. This // is the MCP shape: the connection opening is the session's start, whether or // not a tool is ever called. func k MemoryKernel BeginSes… 证据：`internal/kernel/session.go`
- **Server**（source_file）：package mcp ⋮---- import "context" "fmt" "os" "strings" "time" "github.com/mark3labs/mcp-go/mcp" "github.com/mark3labs/mcp-go/server" "github.com/varve-sh/varve/internal/kernel" "github.com/varve-sh/varve/internal/observer" "github.com/varve-sh/varve/internal/pack" "github.com/varve-sh/varve/internal/types" "github.com/varve-sh/varve/internal/util" ⋮---- "context" "fmt" "os" "strings" "time" ⋮---- "github.com/mark3labs/mcp-go/mcp" "github.com/mark3labs/mcp-go/server" "github.com/varve-sh/varve/internal/kernel" "github.com/varve-sh/varve/internal/observer" "github.com/varve-sh/varve/internal/pack" "github.com/varve-sh/varve/internal/types" "github.com/varve-sh/varve/internal/util" ⋮---- func… 证据：`internal/mcp/server.go`
- **Session**（source_file）：package mcp ⋮---- import "fmt" "strings" "sync" "time" "github.com/varve-sh/varve/internal/types" ⋮---- "fmt" "strings" "sync" "time" ⋮---- "github.com/varve-sh/varve/internal/types" ⋮---- type sessionTracker struct { id string mu sync.Mutex startTime time.Time saved savedEntry recallCount int packCount int } ⋮---- type savedEntry struct { id string summary string memType types.MemoryType } ⋮---- func newSessionTracker id string sessionTracker ⋮---- func t sessionTracker sessionID string ⋮---- func t sessionTracker recordSave id, summary string, memType types.MemoryType ⋮---- func t sessionTracker recordRecall ⋮---- func t sessionTracker recordPack ⋮---- func t sessionTracker summary string… 证据：`internal/mcp/session.go`
- **Estimator**（source_file）：package pack ⋮---- const EstimatorVersion = "bytes/3 v1" ⋮---- const bytesPerToken = 3 ⋮---- func Estimate s string int 证据：`internal/pack/estimator.go`
- **Pack**（source_file）：package pack ⋮---- import "errors" "fmt" "sort" "strings" "time" "github.com/varve-sh/varve/internal/embedding" "github.com/varve-sh/varve/internal/retrieval" "github.com/varve-sh/varve/internal/scope" "github.com/varve-sh/varve/internal/types" ⋮---- "errors" "fmt" "sort" "strings" "time" ⋮---- "github.com/varve-sh/varve/internal/embedding" "github.com/varve-sh/varve/internal/retrieval" "github.com/varve-sh/varve/internal/scope" "github.com/varve-sh/varve/internal/types" ⋮---- type Request struct { FilePaths string Task string BudgetTokens int ExcludeNotes bool Now time.Time } ⋮---- const DefaultBudget = 2000 MinBudget = 500 MaxBudget = 100000 ⋮---- var ErrBadBudget = errors.New "E1 BAD BUD… 证据：`internal/pack/pack.go`
- **Render**（source_file）：package pack ⋮---- import "fmt" "strconv" "strings" "github.com/varve-sh/varve/internal/types" ⋮---- "fmt" "strconv" "strings" ⋮---- "github.com/varve-sh/varve/internal/types" ⋮---- const packHeader = "VARVE PACK v1" ⋮---- const noteSummaryBytes = 400 ⋮---- const footerReserve = 120 ⋮---- type renderContext struct { evidence map string types.Evidence unresolved map string int } ⋮---- type renderedItem struct { full string stub string class Class id string candIdx int } ⋮---- func renderItem rc renderContext, c candidate, candIdx int renderedItem ⋮---- var full strings.Builder ⋮---- func decisionHeader rc renderContext, c candidate string ⋮---- var b strings.Builder ⋮---- func evidenceLine r… 证据：`internal/pack/render.go`
- **Select**（source_file）：package pack ⋮---- import "fmt" "strings" "github.com/varve-sh/varve/internal/embedding" ⋮---- "fmt" "strings" ⋮---- "github.com/varve-sh/varve/internal/embedding" ⋮---- type dedupedItem struct { id string class Class reason string } ⋮---- func dedup cands candidate, vectors map string float64 candidate, dedupedItem ⋮---- var kept candidate var dropped dedupedItem ⋮---- // 3. Legacy echo: a note on the same topic as a packed decision is // the v1 migration's shadow of that decision. ⋮---- // 4. Near-duplicate text. With embeddings on both rows, cosine ≥ 0.95; // without, exact identity of whitespace-normalized title+body. The // narrow net is deliberate: the packer only refuses to spend bud… 证据：`internal/pack/select.go`
- **Pipeline**（source_file）：package retrieval ⋮---- import "math" "sort" "time" "github.com/varve-sh/varve/internal/embedding" "github.com/varve-sh/varve/internal/types" ⋮---- "math" "sort" "time" ⋮---- "github.com/varve-sh/varve/internal/embedding" "github.com/varve-sh/varve/internal/types" ⋮---- type StoreReader interface { SearchFTS query string, projectID string, limit int types.FTSResult, error FindByID id string types.Memory, error FindEmbeddings projectID string EmbeddingRow, error } ⋮---- type EmbeddingRow struct { ID string Embedding float64 } ⋮---- type Pipeline struct { store StoreReader projectID string embedder embedding.Embedder } ⋮---- func New store StoreReader, projectID string Pipeline ⋮---- func p P… 证据：`internal/retrieval/pipeline.go`
- **Scorer**（source_file）：package retrieval ⋮---- import "math" "time" "github.com/varve-sh/varve/internal/types" ⋮---- "math" "time" ⋮---- "github.com/varve-sh/varve/internal/types" ⋮---- const weightText = 0.50 weightRecency = 0.25 weightConfidence = 0.15 weightAccess = 0.10 weightBM25 = 0.25 weightSemantic = 0.25 weightSemanticOnly = 0.50 ⋮---- const recencyHalfLifeMs = float64 30 24 60 60 1000 ⋮---- const confDecayHalfLifeMs = float64 90 24 60 60 1000 ⋮---- const confDecayFloor = 0.1 ⋮---- func effectiveConfidence m types.Memory, now time.Time float64 ⋮---- func EffectiveConfidence confidence float64, updatedAt time.Time, accessedAt time.Time, now time.Time float64 ⋮---- func Recency createdAt, now time.Time flo… 证据：`internal/retrieval/scorer.go`
- **Internal replatform planning — brief, decisions log, strategy, ADRs.**（source_file）：bin/ .memtrace/ .db .db-wal .db-shm .idea/ .DS Store 证据：`.gitignore`
- **.Goreleaser**（source_file）：version: 2 project name: varve before: hooks: - go mod tidy builds: - id: varve main: ./cmd/varve binary: varve env: - CGO ENABLED=0 ldflags: - -s -w -X main.version={{.Version}} goos: - darwin - linux - windows goarch: - amd64 - arm64 ignore: - goos: windows goarch: arm64 archives: - id: varve formats: - tar.gz format overrides: - goos: windows formats: - zip name template: "{{ .ProjectName }} {{ .Version }} {{ .Os }} {{ .Arch }}" files: - README.md - LICENSE - NOTICE checksum: name template: "{{ .ProjectName }} {{ .Version }} checksums.txt" changelog: use: github sort: asc groups: - title: "New features" regexp: "^feat" order: 0 - title: "Bug fixes" regexp: "^fix" order: 1 - title: "Docum… 证据：`.goreleaser.yaml`
- **Build all platforms locally without publishing requires goreleaser**（source_file）：.PHONY: build test lint clean install snapshot release 证据：`Makefile`
- **Notice**（source_file）：varve Copyright 2026 Sebastian Puchet 证据：`NOTICE`
- **Go**（source_file）：require github.com/bmatcuk/doublestar/v4 v4.10.0 github.com/charmbracelet/bubbles v1.0.0 github.com/charmbracelet/bubbletea v1.3.10 github.com/charmbracelet/lipgloss v1.1.0 github.com/fatih/color v1.19.0 github.com/mark3labs/mcp-go v0.45.0 github.com/oklog/ulid/v2 v2.1.1 github.com/spf13/cobra v1.10.2 modernc.org/sqlite v1.47.0 证据：`go.mod`
- **Bench Recall Vs V1**（source_file）：set -eu BENCHTIME="${1:-100x}" COUNT="${2:-3}" V1 REF="${V1 REF:-f135a72}" WORKTREE="${WORKTREE:-/tmp/varve-bench-v1}" repo root=$ git rev-parse --show-toplevel cd "$repo root" echo "=== this tree $ git rev-parse --short HEAD ===" go test ./internal/kernel/ -run XXX -bench BenchmarkRecall \ -benchtime "$BENCHTIME" -count "$COUNT" grep -E 'Benchmark ns/op' echo echo "=== v1 baseline $V1 REF ===" rm -rf "$WORKTREE" git worktree prune git worktree add -q --detach "$WORKTREE" "$V1 REF" trap 'git worktree remove --force "$WORKTREE" /dev/null 2 &1 true' EXIT sed -e 's/^func BenchmarkRecall /func BenchmarkRecallV1 /' \ -e 's/testProject/"proj-1"/' \ internal/kernel/bench test.go \ grep -v '^//' \… 证据：`scripts/bench-recall-vs-v1.sh`

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

- **把本资产当作开工前上下文，而不是运行环境。**：AI Context Pack 只包含证据化项目理解，不包含目标项目的可执行状态。 证据：`CLAUDE.md`, `README.md`, `docs/concepts.md`
- **回答用户时区分可预览内容与必须安装后才能验证的内容。**：安装前体验的消费者价值来自降低误装和误判，而不是伪装成真实运行。 证据：`CLAUDE.md`, `README.md`, `docs/concepts.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, docs/concepts.md, docs/setup.md, CLAUDE.md, cmd/varve/main.go
- **系统架构、数据库与事件流**：importance `high`
  - source_paths: internal/kernel/kernel.go, internal/kernel/schema.go, internal/kernel/schema_v2.go, internal/kernel/migrate.go, internal/kernel/migrate_v1.go
- **MCP 工具与 CLI 命令参考**：importance `high`
  - source_paths: internal/mcp/server.go, internal/mcp/session.go, internal/cli/root.go, internal/cli/init.go, internal/cli/setup.go
- **混合检索、打包、摄取与导入导出**：importance `high`
  - source_paths: internal/retrieval/pipeline.go, internal/retrieval/scorer.go, internal/pack/pack.go, internal/pack/select.go, internal/pack/render.go

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

- repo_clone_verified: true
- repo_inspection_verified: true
- repo_commit: `5c44362bb1af743363e0b73d4632d6cf6720761b`
- inspected_files: `README.md`, `docs/cli.md`, `docs/concepts.md`, `docs/embeddings.md`, `docs/import-export.md`, `docs/mcp-tools.md`, `docs/setup.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: 能力证据存在缺口

- Trigger: Sandbox install result is missing.
- Host AI rule: 优先补证或在页面明确标记为未验证。
- Why it matters: 缺口未补前，Doramagic 不能把该能力当作可靠推荐卖点。
- Evidence: evidence.evidence_gaps | https://github.com/varve-sh/varve | Sandbox install result is missing.
- Hard boundary: 不要把这个坑点包装成已解决、已验证或可忽略，除非后续验证证据明确证明它已经关闭。

### Constraint 2: 可能需要本地编译工具链

- Trigger: 安装入口或说明出现本地编译相关关键词：make install
- Host AI rule: 沙箱验证不同系统的安装失败模式。
- Why it matters: Windows/macOS 用户可能卡在编译依赖上。
- Evidence: identity.distribution | https://github.com/varve-sh/varve | make install
- Hard boundary: 不要把这个坑点包装成已解决、已验证或可忽略，除非后续验证证据明确证明它已经关闭。

### Constraint 3: 安装命令尚未沙箱验证

- Trigger: 当前 install_status=documented，还只是文档/元数据线索。
- Host AI rule: 在隔离环境执行最小安装路径，记录失败原因和修复步骤。
- Why it matters: 命令可能缺步骤、过期或依赖本地环境，不能直接作为用户承诺。
- Evidence: downstream_validation.install_status | https://github.com/varve-sh/varve | install_status=documented; command=make install
- Hard boundary: 不要把这个坑点包装成已解决、已验证或可忽略，除非后续验证证据明确证明它已经关闭。

### Constraint 4: 可能修改宿主 AI 配置

- Trigger: 项目面向 Claude/Cursor/Codex/Gemini/OpenCode 等宿主，或安装命令涉及用户配置目录。
- Host AI rule: 列出会写入的配置文件、目录和卸载/回滚步骤。
- Why it matters: 安装可能改变本机 AI 工具行为，用户需要知道写入位置和回滚方法。
- Evidence: capability.host_targets | https://github.com/varve-sh/varve | host_targets=mcp_host, claude_code, claude, cursor, gemini_cli
- Hard boundary: 不要把这个坑点包装成已解决、已验证或可忽略，除非后续验证证据明确证明它已经关闭。

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

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

### Constraint 6: Quick Start 尚未实际跑通

- Trigger: quickstart_status=not_attempted。
- Host AI rule: 执行最小 repro plan，记录命令、输入样例、输出样例和失败原因。
- Why it matters: 用户只能看到安装线索，不能确信 10 分钟内能形成最小可试路径。
- Evidence: downstream_validation.quickstart_status | https://github.com/varve-sh/varve | quickstart_status=not_attempted; sandbox_quickstart_status=missing
- Hard boundary: 不要把这个坑点包装成已解决、已验证或可忽略，除非后续验证证据明确证明它已经关闭。

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

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

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

### Constraint 9: 存在安全注意事项

- Trigger: No sandbox install has been executed yet; downstream must verify before user use.
- Host AI rule: 转成明确权限清单和安全审查提示。
- Why it matters: 用户安装前需要知道权限边界和敏感操作。
- Evidence: risks.safety_notes | https://github.com/varve-sh/varve | No sandbox install has been executed yet; downstream must verify before user use.
- Hard boundary: 不要把这个坑点包装成已解决、已验证或可忽略，除非后续验证证据明确证明它已经关闭。

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

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