# lantern - Doramagic AI Context Pack > 定位：安装前体验与判断资产。它帮助宿主 AI 有一个好的开始，但不代表已经安装、执行或验证目标项目。 ## 充分原则 - **充分原则，不是压缩原则**：AI Context Pack 应该充分到让宿主 AI 在开工前理解项目价值、能力边界、使用入口、风险和证据来源；它可以分层组织，但不以最短摘要为目标。 - **压缩策略**：只压缩噪声和重复内容，不压缩会影响判断和开工质量的上下文。 ## 给宿主 AI 的使用方式 你正在读取 Doramagic 为 lantern 编译的 AI Context Pack。请把它当作开工前上下文：帮助用户理解适合谁、能做什么、如何开始、哪些必须安装后验证、风险在哪里。不要声称你已经安装、运行或执行了目标项目。 ## Claim 消费规则 - **事实来源**：Repo Evidence + Claim/Evidence Graph；Human Wiki 只提供显著性、术语和叙事结构。 - **事实最低状态**：`supported` - `supported`：可以作为项目事实使用，但回答中必须引用 claim_id 和证据路径。 - `weak`：只能作为低置信度线索，必须要求用户继续核实。 - `inferred`：只能用于风险提示或待确认问题，不能包装成项目事实。 - `unverified`：不得作为事实使用，应明确说证据不足。 - `contradicted`：必须展示冲突来源，不得替用户强行选择一个版本。 ## 它最适合谁 - **想在安装前理解开源项目价值和边界的用户**：当前证据主要来自项目文档。 Claim：`clm_0002` unverified 0.25 ## 它能做什么 - **命令行启动或安装流程**（需要安装后验证）：项目文档中存在可执行命令，真实使用需要在本地或宿主环境中运行这些命令。 证据：`CONTRIBUTING.md`, `ci/scripts/build-linux.sh`, `ci/scripts/run-benchmarks.sh`, `ci/scripts/utils.sh` 等 Claim：`clm_0001` supported 0.86 ## 怎么开始 - `git clone https://git.postgresql.org/git/postgresql.git` 证据：`CONTRIBUTING.md` Claim：`clm_0003` supported 0.86 - `git clone --single-branch --branch REL_15_STABLE https://git.postgresql.org/git/postgresql.git --depth=1` 证据：`CONTRIBUTING.md` Claim：`clm_0004` supported 0.86 - `git clone https://github.com/citusdata/pg_cron.git` 证据：`ci/scripts/build-linux.sh` Claim：`clm_0005` supported 0.86 - `git clone https://github.com/lanterndata/benchmark` 证据：`ci/scripts/run-benchmarks.sh` Claim：`clm_0006` unverified 0.25 - `pip install -r core/requirements.txt` 证据：`ci/scripts/run-benchmarks.sh` Claim：`clm_0007` unverified 0.25 - `pip install -r external/requirements.txt` 证据：`ci/scripts/run-benchmarks.sh` Claim：`clm_0008` unverified 0.25 - `curl -k -o /tmp/rustup.sh https://sh.rustup.rs` 证据：`ci/scripts/utils.sh` Claim：`clm_0009` unverified 0.25 - `git clone --recursive https://github.com/lanterndata/lantern.git -b $BRANCH` 证据：`ci/scripts/utils.sh` Claim：`clm_0010` unverified 0.25 - `git clone --recursive https://github.com/lanterndata/pgvector.git -b "v${PGVECTOR_VERSION}"` 证据：`ci/scripts/utils.sh` Claim：`clm_0011` unverified 0.25 - `pip install -r /tmp/lantern/lantern_hnsw/scripts/requirements.txt` 证据：`ci/scripts/utils.sh` Claim：`clm_0012` unverified 0.25 ## 继续前判断卡 - **当前建议**：仅建议沙盒试装 - **为什么**：项目存在安装命令、宿主配置或本地写入线索，不建议直接进入主力环境，应先在隔离环境试装。 ### 30 秒判断 - **现在怎么做**：仅建议沙盒试装 - **最小安全下一步**：先跑 Prompt Preview；若仍要安装，只在隔离环境试装 - **先别相信**：真实输出质量不能在安装前相信。 - **继续会触碰**：命令执行、本地环境或项目文件、宿主 AI 上下文 ### 现在可以相信 - **能力存在：命令行启动或安装流程**（supported）：可以相信项目包含这类能力线索；是否适合你的具体任务仍要试用或安装后验证。 证据：`CONTRIBUTING.md`, `ci/scripts/build-linux.sh`, `ci/scripts/run-benchmarks.sh`, `ci/scripts/utils.sh` 等 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`, `ci/scripts/build-linux.sh`, `ci/scripts/run-benchmarks.sh`, `ci/scripts/utils.sh` 等 - **本地环境或项目文件**：安装结果、插件缓存、项目配置或本地依赖目录。 原因：安装前无法证明写入范围和回滚方式，需要隔离验证。 证据：`CONTRIBUTING.md`, `ci/scripts/build-linux.sh`, `ci/scripts/run-benchmarks.sh`, `ci/scripts/utils.sh` 等 - **宿主 AI 上下文**：AI Context Pack、Prompt Preview、Skill 路由、风险规则和项目事实。 原因：导入上下文会影响宿主 AI 后续判断，必须避免把未验证项包装成事实。 ### 最小安全下一步 - **先跑 Prompt Preview**：用安装前交互式试用判断工作方式是否匹配，不需要授权或改环境。（适用：任何项目都适用，尤其是输出质量未知时。） - **只在隔离目录或测试账号试装**：避免安装命令污染主力宿主 AI、真实项目或用户主目录。（适用：存在命令执行、插件配置或本地写入线索时。） - **安装后只验证一个最小任务**：先验证加载、兼容、输出质量和回滚，再决定是否深用。（适用：准备从试用进入真实工作流时。） ### 退出方式 - **保留安装前状态**：记录原始宿主配置和项目状态，后续才能判断是否可恢复。 - **记录安装命令和写入路径**：没有明确卸载说明时，至少要知道哪些目录或配置需要手动清理。 - **如果没有回滚路径，不进入主力环境**：不可回滚是继续前阻断项，不应靠信任或运气继续。 ## 哪些只能预览 - 解释项目适合谁和能做什么 - 基于项目文档演示典型对话流程 - 帮助用户判断是否值得安装或继续研究 ## 哪些必须安装后验证 - 真实安装 Skill、插件或 CLI - 执行脚本、修改本地文件或访问外部服务 - 验证真实输出质量、性能和兼容性 ## 边界与风险判断卡 - **把安装前预览误认为真实运行**：用户可能高估项目已经完成的配置、权限和兼容性验证。 处理方式：明确区分 prompt_preview_can_do 与 runtime_required。 Claim：`clm_0024` inferred 0.45 - **命令执行会修改本地环境**：安装命令可能写入用户主目录、宿主插件目录或项目配置。 处理方式：先在隔离环境或测试账号中运行。 证据：`CONTRIBUTING.md`, `ci/scripts/build-linux.sh`, `ci/scripts/run-benchmarks.sh`, `ci/scripts/utils.sh` 等 Claim：`clm_0025` 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`, `ci/scripts/build-linux.sh`, `ci/scripts/run-benchmarks.sh`, `ci/scripts/utils.sh` 等 Claim：`clm_0001` supported 0.86 ### 上下文规模 - 文件总数：288 - 重要文件覆盖：40/288 - 证据索引条目：51 - 角色 / Skill 条目：5 ### 证据不足时的处理 - **missing_evidence**：说明证据不足，要求用户提供目标文件、README 段落或安装后验证记录；不要补全事实。 - **out_of_scope_request**：说明该任务超出当前 AI Context Pack 证据范围，并建议用户先查看 Human Manual 或真实安装后验证。 - **runtime_request**：给出安装前检查清单和命令来源，但不要替用户执行命令或声称已执行。 - **source_conflict**：同时展示冲突来源，标记为待核实，不要强行选择一个版本。 ## Prompt Recipes ### 适配判断 - 目标：判断这个项目是否适合用户当前任务。 - 预期输出：适配结论、关键理由、证据引用、安装前可预览内容、必须安装后验证内容、下一步建议。 ```text 请基于 lantern 的 AI Context Pack，先问我 3 个必要问题，然后判断它是否适合我的任务。回答必须包含：适合谁、能做什么、不能做什么、是否值得安装、证据来自哪里。所有项目事实必须引用 evidence_refs、source_paths 或 claim_id。 ``` ### 安装前体验 - 目标：让用户在安装前感受核心工作流，同时避免把预览包装成真实能力或营销承诺。 - 预期输出：一段带边界标签的体验剧本、安装后验证清单和谨慎建议；不含真实运行承诺或强营销表述。 ```text 请把 lantern 当作安装前体验资产，而不是已安装工具或真实运行环境。 请严格输出四段： 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 请基于 lantern 的 AI Context Pack，生成一段我可以粘贴给宿主 AI 的开工前指令。这段指令必须遵守 not_runtime=true，不能声称项目已经安装、运行或产生真实结果。 ``` ## 角色 / Skill 索引 - 共索引 5 个角色 / Skill / 项目文档条目。 - **Lantern Extras**（project_doc）：This extension makes it easy to experiment with embeddings from inside a Postgres database. We use this extension along with Lantern https://github.com/lanterndata/lantern to make vector operations performant. But all the helpers here are standalone and may be used without the main database. 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`lantern_extras/README.md` - **Suppressions for Clang Sanitizers**（project_doc）：This folder contains supression files https://clang.llvm.org/docs/SanitizerSpecialCaseList.html for running lantern using Clang's AddressSanitizer https://clang.llvm.org/docs/AddressSanitizer.html and UndefinedBehaviorSanitizer https://clang.llvm.org/docs/UndefinedBehaviorSanitizer.html , taken from timescale's regression suite. 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`lantern_hnsw/scripts/sanitizers/suppressions/README.md` - **Overview**（project_doc）：This is a ruby program that uses postgres internal catalog table invariants to exhaustively verify correctness of Postgres database extension update scripts. 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`lantern_hnsw/scripts/test_updates/README.md` - **Running tests**（project_doc）：Thanks for considering contributing! The information below is intended to help you contribute. 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`CONTRIBUTING.md` - **CHANGELOG**（project_doc）： 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`CHANGELOG.md` ## 证据索引 - 共索引 51 条证据。 - **Lantern Extras**（documentation）：This extension makes it easy to experiment with embeddings from inside a Postgres database. We use this extension along with Lantern https://github.com/lanterndata/lantern to make vector operations performant. But all the helpers here are standalone and may be used without the main database. 证据：`lantern_extras/README.md` - **Suppressions for Clang Sanitizers**（documentation）：This folder contains supression files https://clang.llvm.org/docs/SanitizerSpecialCaseList.html for running lantern using Clang's AddressSanitizer https://clang.llvm.org/docs/AddressSanitizer.html and UndefinedBehaviorSanitizer https://clang.llvm.org/docs/UndefinedBehaviorSanitizer.html , taken from timescale's regression suite. 证据：`lantern_hnsw/scripts/sanitizers/suppressions/README.md` - **Overview**（documentation）：This is a ruby program that uses postgres internal catalog table invariants to exhaustively verify correctness of Postgres database extension update scripts. 证据：`lantern_hnsw/scripts/test_updates/README.md` - **Running tests**（documentation）：Thanks for considering contributing! The information below is intended to help you contribute. 证据：`CONTRIBUTING.md` - **License**（source_file）：GNU AFFERO GENERAL PUBLIC LICENSE Version 3, 19 November 2007 证据：`LICENSE` - **CHANGELOG**（documentation）：CHANGELOG 证据：`CHANGELOG.md` - **Cargo**（source_file）：members = "lantern extras", "lantern cli" 证据：`Cargo.toml` - **Dockerfile**（source_file）：FROM postgres:$PG VERSION-bookworm ARG PG VERSION 证据：`docker/Dockerfile` - **Copy the files in your machine to the Docker image**（source_file）：FROM rust:1.82.0 as build Copy the files in your machine to the Docker image WORKDIR /app COPY lantern cli . ENV ORT STRATEGY="system" ARG RUSTFLAGS="" ENV RUSTFLAGS=$RUSTFLAGS ARG CXXFLAGS="" ENV CXXFLAGS=$CXXFLAGS 证据：`docker/Dockerfile.cli` - **Copy the files in your machine to the Docker image**（source_file）：FROM rust:1.82.0 as build Copy the files in your machine to the Docker image WORKDIR /app COPY lantern cli . 证据：`docker/Dockerfile.cli.cuda` - **fix pg cron at the latest commit of the time**（source_file）：ARG VERSION=15 ARG PGVECTOR VERSION=0.5.1 fix pg cron at the latest commit of the time ARG PG CRON COMMIT SHA=9490f9cc9803f75105f2f7d89839a998f011f8d8 证据：`docker/Dockerfile.dev` - **To use GDB inside container run docker like this:**（source_file）：To use GDB inside container run docker like this: docker build . -t pg-debug docker run --cap-add=SYS PTRACE -p 5433:5432 -d --name debug-pg pg-debug Then exec to it docker exec -ti -u root debug-bg bash gdb -p $pid of pg backend 证据：`docker/Dockerfile.pg` - **See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html**（source_file）：package name = "lantern cli" version = "0.5.1" edition = "2021" 证据：`lantern_cli/Cargo.toml` - **Cargo**（source_file）：package name = "lantern extras" version = "0.6.0" edition = "2021" 证据：`lantern_extras/Cargo.toml` - **Lantern Extras**（source_file）：comment = 'lantern extras: Convenience functions for working with vector embeddings' default version = '@CARGO VERSION@' module pathname = '$libdir/lantern extras' relocatable = false superuser = true 证据：`lantern_extras/lantern_extras.control` - **us ROOT variables from inside find package calls**（source_file）：cmake minimum required VERSION 3.3 include CheckSymbolExists 证据：`lantern_hnsw/CMakeLists.txt` - **Build Linux**（source_file）：set -e function setup locale and install packages { echo "LC ALL=en US.UTF-8" /etc/environment echo "CC=/usr/bin/gcc-12" /etc/environment echo "CXX=/usr/bin/g++-12" /etc/environment echo "en US.UTF-8 UTF-8" /etc/locale.gen echo "LANG=en US.UTF-8" /etc/locale.conf source /etc/environment apt update -y apt install -y locales lsb-core build-essential gcc-12 g++-12 automake cmake wget git dpkg-dev lcov clang-format clang llvm locale-gen en US.UTF-8 } function setup cargo deps { if ! -d .cargo ; then mkdir .cargo fi echo " target.$ rustc -vV sed -n 's host: p' " .cargo/config cargo install cargo-pgrx --version 0.12.7 cargo pgrx init "--pg$PG VERSION" /usr/bin/pg config } function setup postgres… 证据：`ci/scripts/build-linux.sh` - **Build Mac**（source_file）：set -e function setup locale and install packages { export PATH="/usr/local/opt/postgresql@${PG VERSION}/bin:$PATH" export C INCLUDE PATH=/usr/local/include export CPLUS INCLUDE PATH=/usr/local/include export CC=/usr/bin/clang export CXX=/usr/bin/clang++ } function setup cargo deps { if ! -d .cargo ; then mkdir .cargo fi echo " target.$ rustc -vV sed -n 's host: p' " .cargo/config echo 'rustflags = "-Clink-arg=-Wl,-undefined,dynamic lookup" ' .cargo/config cargo install cargo-pgrx --version 0.12.7 cargo pgrx init "--pg$PG VERSION" $ which pg config } function setup postgres { cmd="brew install postgresql@${PG VERSION} clang-format true" if $USER == "root" then sh -c "sudo -u runner -i $cmd"… 证据：`ci/scripts/build-mac.sh` - **Build**（source_file）：set -e source "$ dirname "$0" /../../lantern hnsw/scripts/get arch and platform.sh" if $PLATFORM == "mac" ; then BUILD SCRIPT="build-mac.sh" elif $PLATFORM == "linux" ; then BUILD SCRIPT="build-linux.sh" else echo "Invalid target use one of mac, linux " exit 1 fi source "$ dirname "$0" /utils.sh" setup environment source "$ dirname "$0" /${BUILD SCRIPT}" setup locale and install packages setup postgres install external dependencies clone or use source install platform specific dependencies build and install lantern package if necessary cleanup environment 证据：`ci/scripts/build.sh` - **Cli**（source_file）：use lantern cli::daemon::cli::DaemonArgs; ⋮---- use lantern cli::external index::cli::IndexServerArgs; use lantern cli::http server::cli::HttpServerArgs; use lantern cli::index autotune::cli::IndexAutotuneArgs; use lantern cli::pq::cli::PQArgs; ⋮---- pub enum Commands { ⋮---- pub struct Cli { 证据：`lantern_cli/src/cli.rs` - **Autotune Jobs**（source_file）：use crate::daemon::helpers::anyhow wrap connection; use crate::external index::cli::UMetricKind; use crate::index autotune::cli::IndexAutotuneArgs; use crate::logger::Logger; ⋮---- use crate::utils::get full table name; use std::collections::HashMap; use std::sync::Arc; use std::time::SystemTime; use tokio::sync::RwLock; ⋮---- use tokio util::sync::CancellationToken; ⋮---- pub struct AutotuneJob { ⋮---- impl AutotuneJob { pub fn new row: Row, db uri: &str - AutotuneJob { ⋮---- db uri: db uri.to owned , ⋮---- pub async fn autotune job processor ⋮---- Ok ⋮---- async fn autotune worker ⋮---- let jobs table name = Arc::new get full table name &schema, &table ; ⋮---- logger.info "Autotune worker… 证据：`lantern_cli/src/daemon/autotune_jobs.rs` - **Cli**（source_file）：use crate::logger; ⋮---- pub enum LogLevel { ⋮---- impl LogLevel { pub fn value &self - logger::LogLevel { ⋮---- pub struct DaemonArgs { 证据：`lantern_cli/src/daemon/cli.rs` - **Client Embedding Jobs**（source_file）：use crate::types::AnyhowVoidResult; ⋮---- use futures::StreamExt; use std::ops::Deref; use std::sync::Arc; ⋮---- pub async fn toggle client job ⋮---- let logger = Arc::new Logger::new &format! "{log label} {job id}" , log level ; let job logger = logger.clone ; ⋮---- let job insert queue tx = job insert queue tx.unwrap ; let task logger = logger.clone ; ⋮---- let res = start client job ⋮---- task logger.error &format! "Error while starting job {}", e.to string ; ⋮---- let res = stop client job ⋮---- logger.error &format! "Error while stopping job {}", e.to string ; ⋮---- Ok ⋮---- fn get trigger name job id: i32, operation: &str - String { return format! "trigger lantern jobs v2 {operation}… 证据：`lantern_cli/src/daemon/client_embedding_jobs.rs` - **Embedding Jobs**（source_file）：use crate::daemon::helpers::anyhow wrap connection; ⋮---- use crate::embeddings::core::utils::get clean model name; use crate::embeddings::get default batch size; use crate::logger::Logger; ⋮---- use itertools::Itertools; use std::collections::HashMap; use std::ops::Deref; use std::path::Path; use std::sync::Arc; use std::time::Duration; use std::time::SystemTime; use tokio::fs; ⋮---- use tokio util::sync::CancellationToken; ⋮---- pub struct EmbeddingJob { ⋮---- impl EmbeddingJob { pub fn new row: Row, data path: &str, db uri: &str - Result { let runtime = Runtime::try from row.get:: "runtime" .unwrap or "ort" ?; ⋮---- format! r "{{ "data path": "{data path}" }}" ⋮---- .unwrap or "{}".to ow… 证据：`lantern_cli/src/daemon/embedding_jobs.rs` - **Mod**（source_file）：pub mod autotune jobs; pub mod cli; ⋮---- mod client embedding jobs; ⋮---- pub mod embedding jobs; mod helpers; mod types; ⋮---- use futures::StreamExt; use std::collections::HashMap; use std::sync::Arc; ⋮---- use tokio util::sync::CancellationToken; ⋮---- use crate::types::AnyhowVoidResult; ⋮---- lazy static! { ⋮---- async fn get target databases ⋮---- if args.target db.is none && args.master db.is none { ⋮---- if let Some target db = args.target db.as ref { ⋮---- .iter .map db str - Result { Ok TargetDB::from uri db str ? } ⋮---- let db uri = args.master db.as ref .unwrap ; ⋮---- tokio::spawn async move { connection.await.unwrap } ; ⋮---- Ok client .query &format! ⋮---- .filter map ⋮----… 证据：`lantern_cli/src/daemon/mod.rs` - **Cli**（source_file）：pub use super::core::Runtime; ⋮---- pub enum EmbeddingJobType { ⋮---- type Error = anyhow::Error; fn try from value: &str - Result { ⋮---- "embedding generation" = Ok EmbeddingJobType::EmbeddingGeneration , "completion" = Ok EmbeddingJobType::Completion , ⋮---- pub struct EmbeddingArgs { ⋮---- impl EmbeddingArgs { pub fn with defaults self - Self { ⋮---- out uri: self.out uri.or Some self.uri.clone , out table: self.out table.or Some self.table.clone , ⋮---- pub struct ShowModelsArgs { ⋮---- pub struct MeasureModelSpeedArgs { 证据：`lantern_cli/src/embeddings/cli.rs` - **Mod**（source_file）：pub mod cohere runtime; pub mod http runtime; pub mod openai runtime; pub mod ort runtime; pub mod runtime; pub mod utils; ⋮---- use cohere runtime::CohereRuntime; use openai runtime::OpenAiRuntime; use ort runtime::OrtRuntime; use runtime::EmbeddingRuntimeT; ⋮---- use super::cli::EmbeddingJobType; ⋮---- fn default logger text: &str { println! "{}", text ; ⋮---- pub enum Runtime { ⋮---- pub type LoggerFn = fn &str ; impl FromStr for Runtime { type Err = anyhow::Error; fn from str input: &str - Result { ⋮---- "ort" = Ok Runtime::Ort , "openai" = Ok Runtime::OpenAi , "cohere" = Ok Runtime::Cohere , ⋮---- type Error = anyhow::Error; fn try from value: &str - Result { ⋮---- impl ToString for Ru… 证据：`lantern_cli/src/embeddings/core/mod.rs` - **Mod**（source_file）：use bytes::BytesMut; use core::get available runtimes; use futures::SinkExt; use rand::Rng; use std::sync::Arc; use std::time::Instant; ⋮---- use tokio::task::JoinHandle; use tokio util::sync::CancellationToken; ⋮---- use self::cli::EmbeddingJobType; use self::core::EmbeddingRuntime; ⋮---- pub mod cli; pub mod core; pub mod measure speed; ⋮---- struct EmbeddingRecord { ⋮---- impl EmbeddingRecord { fn from vec pk: String, value: Vec - EmbeddingRecord { ⋮---- if value.len 0 { ⋮---- buf.extend from slice "{".as bytes ; let row str: String = value.iter .map &x x.to string + "," .collect ; buf.extend from slice row str 0..row str.len - 1 .as bytes ; drop row str ; buf.extend from slice "}".as by… 证据：`lantern_cli/src/embeddings/mod.rs` - **Cli**（source_file）：pub enum UMetricKind { ⋮---- impl UMetricKind { pub fn from ops ops: &str - Result { ⋮---- return Ok UMetricKind::L2sq ; ⋮---- return Ok UMetricKind::Cos ; ⋮---- return Ok UMetricKind::Hamming ; ⋮---- pub fn to ops &self - String { ⋮---- return "dist l2sq ops".to owned ; ⋮---- return "dist cos ops".to owned ; ⋮---- return "dist hamming ops".to owned ; ⋮---- pub fn from metric kind: &str - Result { ⋮---- pub fn from u32 metric kind: u32 - Result { ⋮---- pub fn to string &self - String { ⋮---- return "l2sq".to owned ; ⋮---- return "cos".to owned ; ⋮---- return "hamming".to owned ; ⋮---- pub fn value &self - MetricKind { ⋮---- pub fn sql function &self - String { ⋮---- return "l2sq dist".to ow… 证据：`lantern_cli/src/external_index/cli.rs` - **Mod**（source_file）：pub mod cli; pub mod server; 证据：`lantern_cli/src/external_index/mod.rs` - **Cli**（source_file）：use clap::Parser; ⋮---- pub struct HttpServerArgs { 证据：`lantern_cli/src/http_server/cli.rs` - **Mod**（source_file）：use cli::HttpServerArgs; ⋮---- use tokio postgres::NoTls; use utoipa::OpenApi; use utoipa swagger ui::SwaggerUi; ⋮---- pub mod cli; mod collection; mod index; mod pq; mod search; mod setup; ⋮---- type PoolClient = deadpool::managed::Object ; ⋮---- struct AppPool { ⋮---- impl AppPool { fn new pool: Pool - AppPool { ⋮---- async fn get &self - Result { let client = self.inner.get .await; ⋮---- Err e = Err ErrorInternalServerError e , Ok client = Ok client , ⋮---- pub struct AuthCredentials { ⋮---- pub struct AppState { ⋮---- pub type AppData = web::Data ; ⋮---- async fn auth validator ⋮---- let data = req.app data:: .unwrap ; ⋮---- if creds.username != credentials.user id creds.password != cre… 证据：`lantern_cli/src/http_server/mod.rs` - **Cli**（source_file）：use crate::external index::cli::UMetricKind; use clap::Parser; ⋮---- pub struct IndexAutotuneArgs { 证据：`lantern_cli/src/index_autotune/cli.rs` - **Mod**（source_file）：use rand::Rng; ⋮---- pub mod cli; ⋮---- type GroundTruth = Vec , Vec ; ⋮---- struct IndexParams { ⋮---- struct AutotuneResult { ⋮---- fn create test table ⋮---- client.batch execute &format! ⋮---- let dims = client.query one &format! "SELECT ARRAY LENGTH v, 1 FROM {tmp table name} WHERE v IS NOT NULL LIMIT 1", , ⋮---- let dims: i32 = dims.get 0 ; ⋮---- let sample size = client.query one &format! "SELECT COUNT FROM {tmp table name}" , & ?; let sample size: i64 = sample size.get 0 ; ⋮---- Ok sample size as i32 ⋮---- fn export results ⋮---- let mut query = format! "INSERT INTO {result table full name} experiment id, ef, efc, m, recall, latency, build time VALUES " ; ⋮---- .iter .flat map row {… 证据：`lantern_cli/src/index_autotune/mod.rs` - **Mod**（source_file）：pub enum LogLevel { ⋮---- pub struct Logger { ⋮---- impl Logger { pub fn new label: &str, level: LogLevel - Logger { ⋮---- label: label.to owned , ⋮---- pub fn print raw &self, msg: &str { println! "{}", msg ; ⋮---- pub fn info &self, msg: &str { ⋮---- println! " {} {}", &self.label, msg ; ⋮---- pub fn debug &self, msg: &str { ⋮---- println! " + {} {}", &self.label, msg ; ⋮---- pub fn warn &self, msg: &str { ⋮---- println! " ! {} {}", &self.label, msg ; ⋮---- pub fn error &self, msg: &str { eprintln! " X {} {}", &self.label, msg ; ⋮---- impl Clone for Logger { fn clone &self - Self { Logger::new &self.label, self.level.clone 证据：`lantern_cli/src/logger/mod.rs` - **Main**（source_file）：mod cli; ⋮---- async fn main { use std::process; ⋮---- use clap::Parser; ⋮---- use tokio util::sync::CancellationToken; ⋮---- .install default .expect "Failed to install default CryptoProvider" ; ⋮---- main logger = Some logger.clone ; ⋮---- Some logger , ⋮---- let logger = main logger.as ref .unwrap ; logger.error &e.to string ; ⋮---- Ok ⋮---- embeddings::show available models &args, Some logger .await ⋮---- embeddings::show available runtimes Some logger ⋮---- embeddings::measure speed::start speed test &args, Some logger .await ⋮---- index autotune::autotune index &args, None, None, Some logger ⋮---- .unwrap ⋮---- tokio::task::spawn blocking move pq::quantize table args, None, None, Some… 证据：`lantern_cli/src/main.rs` - **Cli**（source_file）：use clap::Parser; ⋮---- pub struct PQArgs { 证据：`lantern_cli/src/pq/cli.rs` - **Mod**（source_file）：use crate::types::JOB CANCELLED MESSAGE; ⋮---- use codebook::CreateCodebookArgs; use quantization::QuantizeAndWriteVectorArgs; use rand::Rng; ⋮---- use std::time::Instant; ⋮---- pub mod cli; mod codebook; mod gcp batch; mod quantization; mod setup; ⋮---- type AnyhowVoidResult = Result ; pub type ProgressCbFn = Box ; ⋮---- fn report progress ⋮---- old progress.fetch add progress, Ordering::SeqCst ; let new progress = old progress.load Ordering::SeqCst ; logger.info &format! "Progress {new progress}%" ; if progress cb.is some { let cb = progress cb.as ref .unwrap ; cb new progress ; ⋮---- fn set and report progress ⋮---- let old progress value = old progress.load Ordering::SeqCst ; ⋮---- repo… 证据：`lantern_cli/src/pq/mod.rs` - **Mod**（source_file）：pub mod test utils; ⋮---- pub fn quote ident str: &str - String { format! "\"{}\"", str.replace "\"", "\"\"" ⋮---- pub fn quote literal str: &str - String { let replaced = str.replace "'", "''" ; format! "'{}'", replaced ⋮---- pub fn get full table name schema: &str, table: &str - String { let schema = quote ident schema ; let table = quote ident table ; format! "{schema}.{table}" ⋮---- pub fn append params to uri db uri: &str, params: &str - String { let parts: Vec = db uri.split "/" .collect ; let mut db uri string = db uri.to string ; ⋮---- if let Some last part = parts.last { has params = last part.contains "?" ; ⋮---- db uri string.push str &format! "&{params}" ; ⋮---- db uri string.pu… 证据：`lantern_cli/src/utils/mod.rs` - **This requires the docker command be run in the lantern base director**（source_file）：ARG VERSION=15.4 ARG PGVECTOR VERSION=0.5.0 ARG UBSAN= 证据：`lantern_hnsw/scripts/sanitizers/Dockerfile` - **Hnsw**（source_file）：static char hnswbuildphasename int64 phasenum ⋮---- static uint64 expected number of levels double num tuples in index, double mL ⋮---- static uint64 estimate number tuples accessed Oid index relation, double num tuples in index ⋮---- static uint64 estimate number blocks accessed uint64 num tuples in index, uint64 num pages, uint64 num tuples accessed ⋮---- static void hnswcostestimate PlannerInfo root, ⋮---- static bool hnswvalidate Oid opclassoid ⋮---- PGDLLEXPORT PG FUNCTION INFO V1 hnsw handler ; Datum hnsw handler PG FUNCTION ARGS attribute unused ⋮---- static float4 array dist ArrayType a, ArrayType b, usearch metric kind t metric kind ⋮---- static float8 vector dist Vector a, Vector… 证据：`lantern_hnsw/src/hnsw.c` - **Build**（source_file）：static void AddTupleToUsearchIndex ItemPointer tid, ⋮---- static void BuildCallback ⋮---- static int GetArrayLengthFromExpression Expr expression, Relation heap, HeapTuple tuple ⋮---- static int GetArrayLengthFromHeap Relation heap, int indexCol, IndexInfo indexInfo ⋮---- int GetHnswIndexDimensions Relation index, IndexInfo indexInfo ⋮---- void CheckHnswIndexDimensions Relation index, Datum arrayDatum, int dimensions ⋮---- static int InferDimension Relation heap, IndexInfo indexInfo ⋮---- static void InitBuildState ldb HnswBuildState buildstate, Relation heap, Relation index, IndexInfo indexInfo ⋮---- static void FreeBuildState ldb HnswBuildState buildstate ⋮---- static void ScanTable ldb H… 证据：`lantern_hnsw/src/hnsw/build.c` - **Delete**（source_file）：IndexBulkDeleteResult ldb ambulkdelete IndexVacuumInfo info, ⋮---- IndexBulkDeleteResult ldb amvacuumcleanup IndexVacuumInfo info, IndexBulkDeleteResult stats 证据：`lantern_hnsw/src/hnsw/delete.c` - **External Index**（source_file）：void StoreExternalIndexNodes Relation index, ⋮---- void StoreExternalEmptyIndex ⋮---- void StoreExternalIndex Relation index, ⋮---- static OffsetNumber HnswIndexPageAddVector Page page, HnswIndexTuple new vector data, int new vector size ⋮---- HnswIndexTuple PrepareIndexTuple Relation index rel, ⋮---- void ldb wal index node retriever void ctxp, unsigned long long id ⋮---- void ldb wal index node retriever mut void ctxp, unsigned long long id 证据：`lantern_hnsw/src/hnsw/external_index.c` - **Insert**（source_file）：static int16 hnsw generate new level size t connectivity ⋮---- bool ldb aminsert Relation index, 证据：`lantern_hnsw/src/hnsw/insert.c` - **Scan**（source_file）：IndexScanDesc ldb ambeginscan Relation index, int nkeys, int norderbys ⋮---- void ldb amendscan IndexScanDesc scan ⋮---- void ldb amrescan IndexScanDesc scan, ScanKey keys, int nkeys, ScanKey orderbys, int norderbys ⋮---- bool ldb amgettuple IndexScanDesc scan, ScanDirection dir 证据：`lantern_hnsw/src/hnsw/scan.c` - **Postgres symbols won't be available until runtime**（source_file）：target.aarch64-apple-darwin rustflags = "-C", "link-args=-Wl,-rpath,/usr/local/lib/onnxruntime/lib" target.x86 64-apple-darwin rustflags = "-C", "link-args=-Wl,-rpath,/usr/local/lib/onnxruntime/lib" target.'cfg target os="macos" ' Postgres symbols won't be available until runtime rustflags = "-Clink-arg=-Wl,-undefined,dynamic lookup" env ORT STRATEGY = { value = "system" } ORT LIB LOCATION = { value = "/usr/local/lib/onnxruntime/lib" , relative = false } 证据：`.cargo/config.toml` - **BeforeElse : true**（source_file）：Language: Cpp BasedOnStyle: Google Standard: Cpp11 证据：`.clang-format` - **.dockerignore**（source_file）：.git .cargo .github target .DS Store lantern hnsw/build 证据：`.dockerignore` - **.gitignore**（source_file）：!.github/ /dist/ /log/ /results/ /tmp check/ /sql/vector--?.?.?.sql regression. .o .so .bc .dll .dylib .obj .lib .exp .a test/tmp output/ .DS Store /build / data sanitizer .vscode/ .devcontainer/ .cache .cosine .env.rb .venv pycache lantern hnsw/build .idea/ /target .iml / .rs.bk Cargo.lock .ldb extras data .profraw 证据：`.gitignore` - **.gitmodules**（source_file）：submodule "third party/usearch" path = lantern hnsw/third party/usearch url = https://github.com/ngalstyan4/usearch branch = pg-rebase 证据：`.gitmodules` ## 宿主 AI 必须遵守的规则 - **把本资产当作开工前上下文，而不是运行环境。**：AI Context Pack 只包含证据化项目理解，不包含目标项目的可执行状态。 证据：`lantern_extras/README.md`, `lantern_hnsw/scripts/sanitizers/suppressions/README.md`, `lantern_hnsw/scripts/test_updates/README.md` - **回答用户时区分可预览内容与必须安装后才能验证的内容。**：安装前体验的消费者价值来自降低误装和误判，而不是伪装成真实运行。 证据：`lantern_extras/README.md`, `lantern_hnsw/scripts/sanitizers/suppressions/README.md`, `lantern_hnsw/scripts/test_updates/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。 - **Lantern 概述与系统架构**：importance `high` - source_paths: README.md, Cargo.toml, CHANGELOG.md - **核心 HNSW 索引与向量操作**：importance `high` - source_paths: lantern_hnsw/src/hnsw.c, lantern_hnsw/src/hnsw/build.c, lantern_hnsw/src/hnsw/scan.c, lantern_hnsw/src/hnsw/insert.c, lantern_hnsw/src/hnsw/delete.c - **CLI 守护进程、嵌入生成与外部索引**：importance `high` - source_paths: lantern_cli/src/main.rs, lantern_cli/src/cli.rs, lantern_cli/src/daemon/mod.rs, lantern_cli/src/daemon/embedding_jobs.rs, lantern_cli/src/daemon/autotune_jobs.rs - **构建、部署、版本升级与常见故障**：importance `high` - source_paths: lantern_hnsw/CMakeLists.txt, docker/Dockerfile, docker/Dockerfile.pg, ci/scripts/build.sh, ci/scripts/build-linux.sh ## Repo Inspection Evidence / 源码检查证据 - repo_clone_verified: true - repo_inspection_verified: true - repo_commit: `7df590ce19080df7dd8a8bbb0f9875fc324bb2ea` - 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: 来源证据：os error 22 when indexing - Trigger: GitHub 社区证据显示该项目存在一个安装相关的待验证问题：os error 22 when indexing - Why it matters: 可能增加新用户试用和生产接入成本。 - Evidence: community_evidence:github | https://github.com/lanterndata/lantern/issues/370 | 来源讨论提到 macos 相关条件，需在安装/试用前复核。 - Hard boundary: 不要把这个坑点包装成已解决、已验证或可忽略，除非后续验证证据明确证明它已经关闭。 ### Constraint 2: 依赖 Docker 环境 - Trigger: 安装/运行入口包含 Docker 命令：docker run --pull=always --rm -p 5432:5432 -e "POSTGRES_USER=$USER" -e "POSTGRES_PASSWORD=postgres" -v ./lantern_data:/var/lib/postgresql/data lanterndata/lantern:latest-pg15 - Host AI rule: 标注 Docker 前置条件，并提供非 Docker 路径或失败提示。 - Why it matters: 非工程用户可能没有 Docker，启动成本明显增加。 - Evidence: identity.distribution | https://github.com/lanterndata/lantern | docker run --pull=always --rm -p 5432:5432 -e "POSTGRES_USER=$USER" -e "POSTGRES_PASSWORD=postgres" -v ./lantern_data:/var/lib/postgresql/data lanterndata/lantern:latest-pg15 - Hard boundary: 不要把这个坑点包装成已解决、已验证或可忽略，除非后续验证证据明确证明它已经关闭。 ### Constraint 3: 来源证据：Build failure with PostgreSQL 18 beta 1 - Trigger: GitHub 社区证据显示该项目存在一个安装相关的待验证问题：Build failure with PostgreSQL 18 beta 1 - Why it matters: 可能增加新用户试用和生产接入成本。 - Evidence: community_evidence:github | https://github.com/lanterndata/lantern/issues/375 | 来源类型 github_issue 暴露的待验证使用条件。 - Hard boundary: 不要把这个坑点包装成已解决、已验证或可忽略，除非后续验证证据明确证明它已经关闭。 ### Constraint 4: 来源证据：Build is failing in local in MacOS - Trigger: GitHub 社区证据显示该项目存在一个安装相关的待验证问题：Build is failing in local in MacOS - Host AI rule: 来源显示可能已有修复、规避或版本变化，说明书中必须标注适用版本。 - Why it matters: 可能增加新用户试用和生产接入成本。 - Evidence: community_evidence:github | https://github.com/lanterndata/lantern/issues/352 | 来源讨论提到 macos 相关条件，需在安装/试用前复核。 - 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/lanterndata/lantern | README/documentation is current enough for a first validation pass. - Hard boundary: 不要把这个坑点包装成已解决、已验证或可忽略，除非后续验证证据明确证明它已经关闭。 ### Constraint 6: 来源证据：Documentation on lantern.dev is giving 404 - Trigger: GitHub 社区证据显示该项目存在一个运行相关的待验证问题：Documentation on lantern.dev is giving 404 - Host AI rule: 来源显示可能已有修复、规避或版本变化，说明书中必须标注适用版本。 - Why it matters: 可能增加新用户试用和生产接入成本。 - Evidence: community_evidence:github | https://github.com/lanterndata/lantern/issues/371 | 来源类型 github_issue 暴露的待验证使用条件。 - Hard boundary: 不要把这个坑点包装成已解决、已验证或可忽略，除非后续验证证据明确证明它已经关闭。 ### Constraint 7: 来源证据：Vector dimension 3072 is too large. LanternDB currently supports up to 2000dim vectors - Trigger: GitHub 社区证据显示该项目存在一个运行相关的待验证问题：Vector dimension 3072 is too large. LanternDB currently supports up to 2000dim vectors - Why it matters: 可能增加新用户试用和生产接入成本。 - Evidence: community_evidence:github | https://github.com/lanterndata/lantern/issues/374 | 来源类型 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/lanterndata/lantern | 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/lanterndata/lantern | last_activity_observed missing - Hard boundary: 不要把这个坑点包装成已解决、已验证或可忽略，除非后续验证证据明确证明它已经关闭。 - Trigger: no_demo - Evidence: downstream_validation.risk_items | https://github.com/lanterndata/lantern | no_demo; severity=medium - Hard boundary: 不要把这个坑点包装成已解决、已验证或可忽略，除非后续验证证据明确证明它已经关闭。