# tvm - Doramagic AI Context Pack

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

## 充分原则

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

## 给宿主 AI 的使用方式

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

## Claim 消费规则

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

## 它最适合谁

- **希望把专业流程带进宿主 AI 的用户**：仓库包含 Skill 文档。 证据：`.agents/skills/tir-bench/SKILL.md`, `.agents/skills/tir-build/SKILL.md`, `.agents/skills/tir-test/SKILL.md` Claim：`clm_0003` supported 0.86

## 它能做什么

- **AI Skill / Agent 指令资产库**（可做安装前预览）：项目包含可被宿主 AI 读取的 Skill 或 Agent 指令文件，可用于把专业流程带入 Claude、Codex、Cursor 等宿主。 证据：`.agents/skills/tir-bench/SKILL.md`, `.agents/skills/tir-build/SKILL.md`, `.agents/skills/tir-test/SKILL.md` Claim：`clm_0001` supported 0.86
- **命令行启动或安装流程**（需要安装后验证）：项目文档中存在可执行命令，真实使用需要在本地或宿主环境中运行这些命令。 证据：`docker/install/ubuntu_install_core.sh`, `docker/install/ubuntu_install_emscripten.sh`, `docker/install/ubuntu_install_nodejs.sh`, `docker/install/ubuntu_install_tflite.sh` 等 Claim：`clm_0002` supported 0.86

## 怎么开始

- `pip install --target=$TVM_HOME/python $TVM_HOME/3rdparty/tvm-ffi` 证据：`docs/README.md` Claim：`clm_0004` supported 0.86
- `pip install -r frozen-requirements.txt` 证据：`docs/README.md` Claim：`clm_0005` supported 0.86
- `curl \` 证据：`docker/install/ubuntu_install_core.sh` Claim：`clm_0006` unverified 0.25, `clm_0008` unverified 0.25, `clm_0012` unverified 0.25, `clm_0013` unverified 0.25
- `git clone https://github.com/emscripten-core/emsdk.git` 证据：`docker/install/ubuntu_install_emscripten.sh` Claim：`clm_0007` unverified 0.25
- `curl -fsSL https://deb.nodesource.com/gpgkey/nodesource-repo.gpg.key \` 证据：`docker/install/ubuntu_install_nodejs.sh` Claim：`clm_0008` unverified 0.25
- `git clone --branch=v24.3.25 --depth=1 --recursive https://github.com/google/flatbuffers.git` 证据：`docker/install/ubuntu_install_tflite.sh` Claim：`clm_0009` unverified 0.25
- `git clone https://github.com/tensorflow/tensorflow --branch=v${TENSORFLOW_VERSION} --depth 1` 证据：`docker/install/ubuntu_install_tflite.sh` Claim：`clm_0010` unverified 0.25
- `git clone https://github.com/stillwater-sc/universal.git /opt/universal` 证据：`docker/install/ubuntu_install_universal.sh` Claim：`clm_0011` unverified 0.25
- `curl --retry "${retries}" -fsSL "${url}" -o "${output_path}"` 证据：`docker/utils/download-and-verify.sh` Claim：`clm_0012` unverified 0.25
- `curl -fsSL "${url}" -o "${output_path}"` 证据：`docker/utils/download-and-verify.sh` Claim：`clm_0013` unverified 0.25

## 继续前判断卡

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

### 30 秒判断

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

### 现在可以相信

- **适合人群线索：希望把专业流程带进宿主 AI 的用户**（supported）：有 supported claim 或项目证据支撑，但仍不等于真实安装效果。 证据：`.agents/skills/tir-bench/SKILL.md`, `.agents/skills/tir-build/SKILL.md`, `.agents/skills/tir-test/SKILL.md` Claim：`clm_0003` supported 0.86
- **能力存在：AI Skill / Agent 指令资产库**（supported）：可以相信项目包含这类能力线索；是否适合你的具体任务仍要试用或安装后验证。 证据：`.agents/skills/tir-bench/SKILL.md`, `.agents/skills/tir-build/SKILL.md`, `.agents/skills/tir-test/SKILL.md` Claim：`clm_0001` supported 0.86
- **能力存在：命令行启动或安装流程**（supported）：可以相信项目包含这类能力线索；是否适合你的具体任务仍要试用或安装后验证。 证据：`docker/install/ubuntu_install_core.sh`, `docker/install/ubuntu_install_emscripten.sh`, `docker/install/ubuntu_install_nodejs.sh`, `docker/install/ubuntu_install_tflite.sh` 等 Claim：`clm_0002` supported 0.86
- **存在 Quick Start / 安装命令线索**（supported）：可以相信项目文档出现过启动或安装入口；不要因此直接在主力环境运行。 证据：`docs/README.md` Claim：`clm_0004` supported 0.86

### 现在还不能相信

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

### 继续会触碰什么

- **命令执行**：包管理器、网络下载、本地插件目录、项目配置或用户主目录。 原因：运行第一条命令就可能产生环境改动；必须先判断是否值得跑。 证据：`docker/install/ubuntu_install_core.sh`, `docker/install/ubuntu_install_emscripten.sh`, `docker/install/ubuntu_install_nodejs.sh`, `docker/install/ubuntu_install_tflite.sh` 等
- **宿主 AI 配置**：Claude/Codex/Cursor/Gemini/OpenCode 等宿主的 plugin、Skill 或规则加载配置。 原因：宿主配置会改变 AI 后续工作方式，可能和用户已有规则冲突。 证据：`.agents/skills/tir-bench/SKILL.md`, `.agents/skills/tir-build/SKILL.md`, `.agents/skills/tir-test/SKILL.md`, `AGENTS.md`
- **本地环境或项目文件**：安装结果、插件缓存、项目配置或本地依赖目录。 原因：安装前无法证明写入范围和回滚方式，需要隔离验证。 证据：`docker/install/ubuntu_install_core.sh`, `docker/install/ubuntu_install_emscripten.sh`, `docker/install/ubuntu_install_nodejs.sh`, `docker/install/ubuntu_install_tflite.sh` 等
- **宿主 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_0014` inferred 0.45
- **命令执行会修改本地环境**：安装命令可能写入用户主目录、宿主插件目录或项目配置。 处理方式：先在隔离环境或测试账号中运行。 证据：`docker/install/ubuntu_install_core.sh`, `docker/install/ubuntu_install_emscripten.sh`, `docker/install/ubuntu_install_nodejs.sh`, `docker/install/ubuntu_install_tflite.sh` 等 Claim：`clm_0015` 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。

### 任务路由

- **AI Skill / Agent 指令资产库**：先基于 role_skill_index / evidence_index 帮用户挑选可用角色、Skill 或工作流。 边界：可做安装前 Prompt 体验。 证据：`.agents/skills/tir-bench/SKILL.md`, `.agents/skills/tir-build/SKILL.md`, `.agents/skills/tir-test/SKILL.md` Claim：`clm_0001` supported 0.86
- **命令行启动或安装流程**：先说明这是安装后验证能力，再给出安装前检查清单。 边界：必须真实安装或运行后验证。 证据：`docker/install/ubuntu_install_core.sh`, `docker/install/ubuntu_install_emscripten.sh`, `docker/install/ubuntu_install_nodejs.sh`, `docker/install/ubuntu_install_tflite.sh` 等 Claim：`clm_0002` supported 0.86

### 上下文规模

- 文件总数：2366
- 重要文件覆盖：40/2366
- 证据索引条目：67
- 角色 / Skill 条目：3

### 证据不足时的处理

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

## Prompt Recipes

### 适配判断

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

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

### 安装前体验

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

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

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

## 角色 / Skill 索引

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

- **Kernels to benchmark**（skill）：Run kernel performance benchmarks to verify codegen changes. 激活提示：当用户任务与“Kernels to benchmark”描述的流程高度相关时，先用它做安装前体验，再决定是否安装。 证据：`.agents/skills/tir-bench/SKILL.md`
- **Steps**（skill）：Build TVM from the current worktree. 激活提示：当用户任务与“Steps”描述的流程高度相关时，先用它做安装前体验，再决定是否安装。 证据：`.agents/skills/tir-build/SKILL.md`
- **Steps**（skill）：1. Select the least busy GPU to avoid conflicts: 激活提示：当用户任务与“Steps”描述的流程高度相关时，先用它做安装前体验，再决定是否安装。 证据：`.agents/skills/tir-test/SKILL.md`

## 证据索引

- 共索引 67 条证据。

- **TVM Documentation**（documentation）：This folder contains the source of TVM's documentation, hosted at https://tvm.apache.org/docs 证据：`docs/README.md`
- **Readme**（documentation）：Open Machine Learning Compiler Framework ============================================== Documentation https://tvm.apache.org/docs Contributors CONTRIBUTORS.md Community https://tvm.apache.org/community Release Notes NEWS.md 证据：`README.md`
- **Apache TVM Continuous Integration CI**（documentation）：Apache TVM Continuous Integration CI 证据：`ci/README.md`
- **TVM Docker**（documentation）：This directory contains the TVM's docker infrastructure. We use docker to provide build environments for CI and images for demo. We need docker https://docs.docker.com/engine/installation/ and nvidia-docker https://github.com/NVIDIA/nvidia-docker/ for GPU images. 证据：`docker/README.md`
- **TVM4J - Java Frontend for TVM Runtime**（documentation）：TVM4J - Java Frontend for TVM Runtime 证据：`jvm/README.md`
- **TVM WebAssembly Runtime**（documentation）：This folder contains TVM WebAssembly Runtime. 证据：`web/README.md`
- **Android TVM RPC**（documentation）：This folder contains Android RPC app that allows us to launch an RPC server on a Android device and connect to it through python script and do testing on the python side as normal TVM RPC. 证据：`apps/android_rpc/README.md`
- **TVM RPC Server**（documentation）：TVM RPC Server This folder contains a simple recipe to make RPC server in c++. 证据：`apps/cpp_rpc/README.md`
- **iOS TVM RPC**（documentation）：This folder contains iOS RPC app that allows us to launch an rpc server on a iOS device. You will need XCode and an iOS device to use this. 证据：`apps/ios_rpc/README.md`
- **TVM CI**（documentation）：TVM runs CI jobs on every commit to an open pull request and to branches in the apache/tvm repo such as main . These jobs are essential to keeping the TVM project in a healthy state and preventing breakages. 证据：`ci/jenkins/README.md`
- **TVM wheel packaging**（documentation）：The wheels are built by a standard cibuildwheel flow, configured in .github/workflows/publish wheel.yml and pyproject.toml tool.cibuildwheel and tool.scikit-build . This directory holds the few helper scripts that flow invokes: 证据：`ci/scripts/package/README.md`
- **Example NPU Backend**（documentation）：A hands-on example showing how to build a Neural Processing Unit NPU backend for TVM's Relax framework using Bring Your Own Codegen BYOC . 证据：`python/tvm/relax/backend/contrib/example_npu/README.md`
- **Hexagon backend runtime**（documentation）：The Hexagon runtime implements the functionality necessary for executing ML models on Hexagon hardware or emulation . 证据：`src/backend/hexagon/runtime/README.md`
- **OpenCL Wrapper**（documentation）：This wrapper helps dynamically loading OpenCL library. It allows us to avoid of looking for and copying library from phone to host, looking for OpenCL SDK. 证据：`src/backend/opencl/runtime/opencl_wrapper/README.md`
- **Components**（documentation）：Implements the TVM DeviceAPI interface. Owns the core Vulkan datastructures. Is responsible for initializing the Vulkan instance and devices, querying for possible extensions. 证据：`src/backend/vulkan/runtime/README.md`
- **AGENTS.md**（documentation）：<!-- Licensed to the Apache Software Foundation ASF under one or more contributor license agreements. See the NOTICE file distributed with this work for additional information regarding copyright ownership. The ASF licenses this file to you under the Apache License, Version 2.0 the "License" ; you may not use this file except in compliance with the License. You may obtain a copy of the License at 证据：`AGENTS.md`
- **Kernels to benchmark**（skill_instruction）：Run kernel performance benchmarks to verify codegen changes. 证据：`.agents/skills/tir-bench/SKILL.md`
- **Steps**（skill_instruction）：Build TVM from the current worktree. 证据：`.agents/skills/tir-build/SKILL.md`
- **Steps**（skill_instruction）：1. Select the least busy GPU to avoid conflicts: 证据：`.agents/skills/tir-test/SKILL.md`
- **License**（source_file）：Apache License Version 2.0, January 2004 http://www.apache.org/licenses/ 证据：`LICENSE`
- **Function**（source_file）：public class Function extends TVMObject { public static Function getFunction final String name { return getGlobalFunc name, true ; ⋮---- private static List listGlobalFuncNames { ⋮---- Base.checkCall Base. LIB.tvmFFIFunctionListGlobalNames names ; return Collections.unmodifiableList names ; ⋮---- private static Function getGlobalFunc String name, boolean allowMissing { ⋮---- Base.checkCall Base. LIB.tvmFFIFunctionGetGlobal name, handle ; ⋮---- return new Function handle.value ; ⋮---- throw new IllegalArgumentException "Cannot find global function " + name ; ⋮---- public Function asFunction { ⋮---- public TVMValue invoke { ⋮---- Base.checkCall Base. LIB.tvmFFIFunctionCall handle, ret ; ⋮----… 证据：`jvm/core/src/main/java/org/apache/tvm/Function.java`
- **Tvmvaluenull**（source_file）：public class TVMValueNull extends TVMValue { 证据：`jvm/core/src/main/java/org/apache/tvm/TVMValueNull.java`
- **Committers**（documentation）：TVM Contributors ================ TVM adopts the Apache way and governs by merit. We believe that it is important to create an inclusive community where everyone can use, contribute to, and influence the direction of the project. We actively invite contributors who have earned the merit to be part of the development community. 证据：`CONTRIBUTORS.md`
- **.Asf**（source_file）：github: description: "Open Machine Learning Compiler Framework" homepage: https://tvm.apache.org/ labels: - tvm - compiler - tensor - deep-learning - gpu - opencl - metal - performance - javascript - rocm - vulkan - spirv - machine-learning features: issues: true projects: true collaborators: - tvm-bot protected branches: main: required status checks: contexts: - arm/pr-head - cpu/pr-head - docker/pr-head - gpu/pr-head - wasm/pr-head required pull request reviews: required approving review count: 1 enabled merge buttons: squash: true squash commit message: PR TITLE AND DESC merge: false merge commit message: DEFAULT rebase: true notifications: commits: commits@tvm.apache.org issues: discuss… 证据：`.asf.yaml`
- **Run the following command to reformat a file:**（source_file）：Run the following command to reformat a file: clang-format -i -style=Google Or use clang-format-diff to only reformat the changed lines: https://clang.llvm.org/docs/ClangFormat.html BasedOnStyle: Google DerivePointerAlignment: false ColumnLimit: 100 PointerAlignment: Left 证据：`.clang-format`
- **.gitattributes**（source_file）：Jenkinsfile linguist-generated=true ci/jenkins/generated/ linguist-generated=true 证据：`.gitattributes`
- **Byte-compiled / optimized / DLL files**（source_file）：Byte-compiled / optimized / DLL files pycache / .py cod $py.class .S C extensions .so .ll .npm Distribution / packaging .Python env/ build/ build- / !.github/actions/build- / !.github/actions/build- /action.yml develop-eggs/ dist/ downloads/ eggs/ .eggs/ lib/ lib64/ parts/ sdist/ var/ .egg-info/ .installed.cfg .egg .conda/ PyInstaller Usually these files are written by a python script from a template before PyInstaller builds the exe, so as to inject date/other infos into it. .manifest .spec 证据：`.gitignore`
- **.gitmodules**（source_file）：submodule "3rdparty/cutlass" path = 3rdparty/cutlass url = https://github.com/NVIDIA/cutlass.git submodule "3rdparty/OpenCL-Headers" path = 3rdparty/OpenCL-Headers url = https://github.com/KhronosGroup/OpenCL-Headers.git submodule "3rdparty/cutlass fpA intB gemm" path = 3rdparty/cutlass fpA intB gemm url = https://github.com/tlc-pack/cutlass fpA intB gemm submodule "3rdparty/libflash attn" path = 3rdparty/libflash attn url = https://github.com/tlc-pack/libflash attn submodule "3rdparty/tvm-ffi" path = 3rdparty/tvm-ffi url = https://github.com/apache/tvm-ffi 证据：`.gitmodules`
- **.Markdownlint Cli2**（source_file）：config: MD013: false 证据：`.markdownlint-cli2.yaml`
- **.Pre Commit Config**（source_file）：exclude: ^ \.txdev/ \.claude/ default install hook types: - pre-commit repos: - repo: local hooks: - id: check-asf-header name: check ASF Header entry: python tests/lint/check asf header.py --check language: python language version: python3 pass filenames: false verbose: false - id: check-file-type name: check file types entry: python tests/lint/check file type.py language: python language version: python3 pass filenames: false verbose: false - repo: https://github.com/pre-commit/pre-commit-hooks rev: v5.0.0 hooks: - id: check-added-large-files - id: check-case-conflict - id: check-merge-conflict - id: check-symlinks - id: end-of-file-fixer exclude: ^3rdparty/ - id: mixed-line-ending exclud… 证据：`.pre-commit-config.yaml`
- **.Yamllint**（source_file）：extends: default rules: document-start: disable line-length: max: 120 level: warning truthy: allowed-values: - "on" - "off" - "yes" - "no" - "true" - "false" 证据：`.yamllint.yaml`
- **--- TVM version no dependency on version.py ---**（source_file）：cmake minimum required VERSION 3.18 project tvm C CXX 证据：`CMakeLists.txt`
- **Keys**（source_file）：This file contains the PGP keys of various developers. Please don't use them for email unless you have to. Their main purpose is code signing. 证据：`KEYS`
- **Notice**（source_file）：Apache TVM Copyright 2019-2023 The Apache Software Foundation 证据：`NOTICE`
- **Conftest**（source_file）：pytest plugins = "tvm.testing.plugin" IS IN CI = os.getenv "CI", "" == "true" REPO ROOT = Path file .resolve .parent slowest tests = HARDCODED ALLOCATIONS = {} ⋮---- FIXED ALLOCATION PREFIXES = { def find shard index nodeid: str, num shards: int - int ⋮---- hash = HARDCODED ALLOCATIONS nodeid ⋮---- hash = hashlib.md5 nodeid.encode hash = int hash.hexdigest , 16 ⋮---- def pytest collection modifyitems config, items ⋮---- num shards = int os.environ "TVM NUM SHARDS" shard index = int os.environ "TVM SHARD INDEX" ⋮---- items copy = list items ⋮---- item shard index = find shard index item.nodeid, num shards=num shards ⋮---- def pytest sessionstart ⋮---- hook script dir = REPO ROOT / "tests" /… 证据：`conftest.py`
- **Licensed to the Apache Software Foundation ASF under one**（source_file）：Licensed to the Apache Software Foundation ASF under one or more contributor license agreements. See the NOTICE file distributed with this work for additional information regarding copyright ownership. The ASF licenses this file to you under the Apache License, Version 2.0 the "License" ; you may not use this file except in compliance with the License. You may obtain a copy of the License at http://www.apache.org/licenses/LICENSE-2.0 Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing pe… 证据：`docker/Dockerfile.ci_arm`
- **Licensed to the Apache Software Foundation ASF under one**（source_file）：Licensed to the Apache Software Foundation ASF under one or more contributor license agreements. See the NOTICE file distributed with this work for additional information regarding copyright ownership. The ASF licenses this file to you under the Apache License, Version 2.0 the "License" ; you may not use this file except in compliance with the License. You may obtain a copy of the License at http://www.apache.org/licenses/LICENSE-2.0 Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing pe… 证据：`docker/Dockerfile.ci_cpu`
- **Licensed to the Apache Software Foundation ASF under one**（source_file）：Licensed to the Apache Software Foundation ASF under one or more contributor license agreements. See the NOTICE file distributed with this work for additional information regarding copyright ownership. The ASF licenses this file to you under the Apache License, Version 2.0 the "License" ; you may not use this file except in compliance with the License. You may obtain a copy of the License at http://www.apache.org/licenses/LICENSE-2.0 Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing pe… 证据：`docker/Dockerfile.ci_gpu`
- **Licensed to the Apache Software Foundation ASF under one**（source_file）：Licensed to the Apache Software Foundation ASF under one or more contributor license agreements. See the NOTICE file distributed with this work for additional information regarding copyright ownership. The ASF licenses this file to you under the Apache License, Version 2.0 the "License" ; you may not use this file except in compliance with the License. You may obtain a copy of the License at http://www.apache.org/licenses/LICENSE-2.0 Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing pe… 证据：`docker/Dockerfile.ci_lint`
- **Licensed to the Apache Software Foundation ASF under one**（source_file）：Licensed to the Apache Software Foundation ASF under one or more contributor license agreements. See the NOTICE file distributed with this work for additional information regarding copyright ownership. The ASF licenses this file to you under the Apache License, Version 2.0 the "License" ; you may not use this file except in compliance with the License. You may obtain a copy of the License at http://www.apache.org/licenses/LICENSE-2.0 Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing pe… 证据：`docker/Dockerfile.ci_wasm`
- **Bash**（source_file）：set -euo pipefail SCRIPT DIR="$ cd "$ dirname "${BASH SOURCE 0 }" " && pwd -P " REPO DIR="$ dirname "${SCRIPT DIR}" " DRY RUN=false INTERACTIVE=false TTY=false USE NET HOST=false USE GPU=true DOCKER IMAGE NAME= COMMAND=bash MOUNT DIRS= CONTAINER NAME= USER SHELL= if -n "${JENKINS HOME:-}" ; then REPO MOUNT POINT=/workspace else REPO MOUNT POINT="${REPO DIR}" fi function show usage { cat -- COMMAND -h, --help Display this help message. -i, --interactive Start the docker session in interactive mode. -t, --tty Start the docker session with a pseudo terminal tty . --shell SHELL Specify a shell e.g. --shell zsh to use instead of bash when entering auto-interactive mode no command or command is "… 证据：`docker/bash.sh`
- **Build the docker container.**（source_file）：DOCKER ENV= SCRIPT DIR="$ cd "$ dirname "${BASH SOURCE 0 }" " && pwd " CONTAINER TYPE=$ echo "$1" tr ' :upper: ' ' :lower: ' shift 1 DOCKERFILE PATH="${SCRIPT DIR}/Dockerfile.${CONTAINER TYPE}" if "$1" == "--tag" ; then DOCKER IMAGE TAG="$2" echo "Using custom Docker tag: ${DOCKER IMAGE TAG}" shift 2 fi if "$1" == "--dockerfile" ; then DOCKERFILE PATH="$2" echo "Using custom Dockerfile path: ${DOCKERFILE PATH}" shift 2 fi if "$1" == "--env" ; then DOCKER ENV+= --env "$2" echo "Setting environment variable: $2" shift 2 fi if "$1" == "-it" ; then CI DOCKER EXTRA PARAMS+= '-it' shift 1 fi if "$1" == "--spec" ; then OVERRIDE IMAGE SPEC="$2" shift 2 fi if "$1" == "--net=host" ; then CI DOCKER EX… 证据：`docker/build.sh`
- **Clear Stale Images**（source_file）：set -euo pipefail dry run=0 repositories= "$ cd $ dirname "$0" && git rev-parse --show-toplevel " skip confirm=0 verbose=0 while "${1+x}" == "x" ; do case "$1" in --help -h echo "usage: $0 -n -v -y ... " echo "" echo "Remove tvm-related docker images from the local system which" echo "are not used by the currently-checked-out branch in this git" echo "repository plus any linked worktrees." echo "" echo 'This command should remove only docker images beginning with "tlcpack"' echo "" echo "Options:" echo " -n Perform a dry-run and just print the docker rmi command" echo " -v Verbosely list the images kept and why" echo " -y Skip confirmation" echo " Additional git repositories to consult." ex… 证据：`docker/clear-stale-images.sh`
- **Dev Common**（source_file）：if -z "${BASH SOURCE 0 }" ; then echo "NOTE: This script must be source'd from another bash script--it cannot be run directly" exit 2 fi INVOCATION PWD="$ pwd " GIT TOPLEVEL=$ cd $ dirname ${BASH SOURCE 0 } && git rev-parse --show-toplevel DOCKER IS ROOTLESS=$ docker info 2 /dev/null grep 'Context: \+rootless' true function lookup image spec { img spec=$ python3 "${GIT TOPLEVEL}/ci/scripts/jenkins/determine docker images.py" \ --lookup-only "$1" 2 /dev/null if -n "${img spec}" ; then has similar docker image=1 docker inspect "${1}" & /dev/null has similar docker image=0 if ${has similar docker image} -ne 0 ; then echo "WARNING: resolved docker image through Jenkinsfile to \"${img spec}\"" &… 证据：`docker/dev_common.sh`
- **Lint**（source_file）：source "$ dirname $0 /dev common.sh" SCRIPT NAME="$0" DEFAULT STEPS= precommit inplace fix=0 function run lint step { validate only=0 if "$1" == "--validate-only" ; then validate only=1 shift fi case "$1" in precommit cmd= pre-commit run --all-files ;; cpplint cppdocs docker format blocklint file type asf clang format python format pylint mypy cmd= pre-commit run --all-files ;; echo "error: don't know how to run lint step: $1" &2 echo "usage: ${SCRIPT NAME} -i " &2 echo &2 echo "options:" &2 echo " -i Fix lint errors in-place where possible modifies non-compliant files " &2 echo &2 echo "available lint step: ${DEFAULT STEPS @ }" &2 exit 2 ;; esac shift if $validate only -eq 0 ; then if -t 0… 证据：`docker/lint.sh`
- **!/usr/bin/env bash**（source_file）：Licensed to the Apache Software Foundation ASF under one or more contributor license agreements. See the NOTICE file distributed with this work for additional information regarding copyright ownership. The ASF licenses this file to you under the Apache License, Version 2.0 the "License" ; you may not use this file except in compliance with the License. You may obtain a copy of the License at http://www.apache.org/licenses/LICENSE-2.0 Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing pe… 证据：`docker/with_the_same_user`
- **docs/.gitignore**（source_file）：doxygen modules 证据：`docs/.gitignore`
- **.Rstcheck**（source_file）：rstcheck report level = warning ignore directives = automodule, autosummary, currentmodule, toctree, ifconfig, tab-set, collapse, tabs, dropdown, doxygenclass, doxygenfunction, doxygenstruct, doxygennamespace, figure, code-block, graphviz ignore roles = ref, cpp:class, cpp:func, py:func, c:macro, doc, any ignore languages = cpp, python 证据：`docs/.rstcheck.cfg`
- **Licensed to the Apache Software Foundation ASF under one**（source_file）：Licensed to the Apache Software Foundation ASF under one or more contributor license agreements. See the NOTICE file distributed with this work for additional information regarding copyright ownership. The ASF licenses this file to you under the Apache License, Version 2.0 the "License" ; you may not use this file except in compliance with the License. You may obtain a copy of the License at http://www.apache.org/licenses/LICENSE-2.0 Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing pe… 证据：`docs/Doxyfile`
- **Licensed to the Apache Software Foundation ASF under one**（source_file）：Licensed to the Apache Software Foundation ASF under one or more contributor license agreements. See the NOTICE file distributed with this work for additional information regarding copyright ownership. The ASF licenses this file to you under the Apache License, Version 2.0 the "License" ; you may not use this file except in compliance with the License. You may obtain a copy of the License at http://www.apache.org/licenses/LICENSE-2.0 Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing pe… 证据：`docs/Makefile`
- **Call the real function, and then strip any remaining directives i.e. comments**（source_file）：curr path = Path file .expanduser .absolute .parent ⋮---- tvm path = Path os.pardir, os.pardir ⋮---- tvm path = Path os.pardir ⋮---- project = "tvm" author = "Apache Software Foundation" copyright = f"2020 - 2026, {author}" github doc root = "https://github.com/apache/tvm/tree/main/docs/" ⋮---- version = tvm. version release = version def monkey patch module name, func name ⋮---- module = import module module name original func = getattr module, func name def decorator function ⋮---- updated func = partial function, real func=original func ⋮---- CURRENT FILE CONF = None ⋮---- @monkey patch "sphinx gallery.py source parser", "split code and text blocks" def split code and text blocks source… 证据：`docs/conf.py`
- **Calculate relative path from current file to static/downloads**（source_file）：BASE URL = "https://tvm.apache.org" SCRIPT DIR = os.path.dirname os.path.abspath file HTML DIR = os.path.join SCRIPT DIR, " build/html" class ExternalURLParser HTMLParser ⋮---- def init self def handle starttag self, tag: str, attrs: list tuple str, str None - None ⋮---- attr name = self.tags to check tag ⋮---- domain = urlparse value .netloc ⋮---- def detect html external urls html content: str - list str ⋮---- parser = ExternalURLParser ⋮---- def detect css external urls css content: str - list str ⋮---- external urls: list str = url pattern = re.compile r'url\ "\' ? . ? "\' ?\ ' matches = url pattern.findall css content ⋮---- def all files in dir path: str - list str def detect urls file… 证据：`docs/download_3rdparty_embeds.py`
- **Errors**（source_file）：.. Licensed to the Apache Software Foundation ASF under one or more contributor license agreements. See the NOTICE file distributed with this work for additional information regarding copyright ownership. The ASF licenses this file to you under the Apache License, Version 2.0 the "License" ; you may not use this file except in compliance with the License. You may obtain a copy of the License at 证据：`docs/errors.rst`
- **Genindex**（source_file）：.. Licensed to the Apache Software Foundation ASF under one or more contributor license agreements. See the NOTICE file distributed with this work for additional information regarding copyright ownership. The ASF licenses this file to you under the Apache License, Version 2.0 the "License" ; you may not use this file except in compliance with the License. You may obtain a copy of the License at 证据：`docs/genindex.rst`
- **Index**（source_file）：.. Licensed to the Apache Software Foundation ASF under one or more contributor license agreements. See the NOTICE file distributed with this work for additional information regarding copyright ownership. The ASF licenses this file to you under the Apache License, Version 2.0 the "License" ; you may not use this file except in compliance with the License. You may obtain a copy of the License at 证据：`docs/index.rst`
- **Pom**（source_file）：4.0.0 org.apache.tvm tvm4j-parent 0.0.1-SNAPSHOT TVM4J Package - Parent https://github.com/apache/tvm/tree/main/jvm TVM4J Package Apache Software Foundation https://apache.org The Apache License, Version 2.0 http://www.apache.org/licenses/LICENSE-2.0.txt scm:git:git@github.com:apache/tvm.git scm:git:git@github.com:apache/tvm.git https://github.com/apache/tvm UTF-8 pom core native assembly release org.codehaus.mojo build-helper-maven-plugin generate-sources add-source ${project.build.directory}/genjavadoc org.apache.maven.plugins maven-gpg-plugin sign-artifacts verify sign org.sonatype.plugins nexus-staging-maven-plugin true ossrh https://oss.sonatype.org/ true ossrh https://oss.sonatype.org… 证据：`jvm/pom.xml`
- **License.Builtin Fp16**（source_file）：============================================================================== The LLVM Project is under the Apache License v2.0 with LLVM Exceptions: ============================================================================== 证据：`licenses/LICENSE.builtin_fp16.txt`
- **License.Cutlass**（source_file）：Copyright c 2017 - 2020, NVIDIA CORPORATION. All rights reserved. 证据：`licenses/LICENSE.cutlass.txt`
- **License.Cutlass Fpa Intb Gemm**（source_file）：Apache License Version 2.0, January 2004 http://www.apache.org/licenses/ 证据：`licenses/LICENSE.cutlass_fpA_intB_gemm.txt`
- **License.Libflash Attn**（source_file）：Copyright c 2022, the respective contributors, as shown by the AUTHORS file. All rights reserved. 证据：`licenses/LICENSE.libflash_attn.txt`
- 其余 7 条证据见 `AI_CONTEXT_PACK.json` 或 `EVIDENCE_INDEX.json`。

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

- **把本资产当作开工前上下文，而不是运行环境。**：AI Context Pack 只包含证据化项目理解，不包含目标项目的可执行状态。 证据：`docs/README.md`, `README.md`, `ci/README.md`
- **回答用户时区分可预览内容与必须安装后才能验证的内容。**：安装前体验的消费者价值来自降低误装和误判，而不是伪装成真实运行。 证据：`docs/README.md`, `README.md`, `ci/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, apps/android_rpc/README.md, apps/cpp_rpc/README.md, apps/ios_rpc/README.md, ci/README.md
- **Src 模块**：importance `high`
  - source_paths: jvm/core/src/main/java/org/apache/tvm/API.java, jvm/core/src/main/java/org/apache/tvm/APIInternal.java, jvm/core/src/main/java/org/apache/tvm/Base.java, jvm/core/src/main/java/org/apache/tvm/Device.java, jvm/core/src/main/java/org/apache/tvm/Function.java
- **Src 模块**：importance `high`
  - source_paths: apps/android_rpc/app/src/main/AndroidManifest.xml, apps/android_rpc/app/src/main/java/org/apache/tvm/tvmrpc/MainActivity.java, apps/android_rpc/app/src/main/java/org/apache/tvm/tvmrpc/RPCActivity.java, apps/android_rpc/app/src/main/java/org/apache/tvm/tvmrpc/RPCAndroidWatchdog.java, apps/android_rpc/app/src/main/java/org/apache/tvm/tvmrpc/RPCProcessor.java
- **Src 模块**：importance `high`
  - source_paths: web/src/artifact_cache.ts, web/src/asyncify.ts, web/src/cache_state.ts, web/src/compact.ts, web/src/ctypes.ts

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

- repo_clone_verified: true
- repo_inspection_verified: true
- repo_commit: `ddfec9c3d670358dd75225f1cf9fbfb6c9b0cdfa`
- inspected_files: `pyproject.toml`, `README.md`, `docs/conf.py`, `docs/download_3rdparty_embeds.py`, `docs/README.md`, `docs/how_to/tutorials/cross_compilation_and_rpc.py`, `docs/how_to/tutorials/mix_python_and_tvm_with_pymodule.py`, `docs/how_to/tutorials/e2e_opt_model.py`, `docs/how_to/tutorials/customize_opt.py`, `docs/how_to/tutorials/bring_your_own_codegen.py`, `docs/how_to/tutorials/export_and_load_executable.py`, `docs/how_to/tutorials/import_model.py`, `docs/how_to/tutorials/optimize_llm.py`, `docs/deep_dive/tensor_ir/tutorials/meta_schedule.py`, `docs/deep_dive/tensor_ir/tutorials/tir_creation.py`, `docs/deep_dive/tensor_ir/tutorials/dlight_gpu_scheduling.py`, `docs/deep_dive/tensor_ir/tutorials/tir_transformation.py`, `docs/deep_dive/relax/tutorials/relax_creation.py`, `docs/deep_dive/relax/tutorials/relax_transformation.py`, `docs/get_started/tutorials/quick_start.py`

宿主 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: 来源证据：[VOTE] Release Apache TVM v0.25.0.rc1

- Trigger: GitHub 社区证据显示该项目存在一个安全/权限相关的待验证问题：[VOTE] Release Apache TVM v0.25.0.rc1
- Why it matters: 可能增加新用户试用和生产接入成本。
- Evidence: community_evidence:github | https://github.com/apache/tvm/issues/19802 | 来源讨论提到 python 相关条件，需在安装/试用前复核。
- Hard boundary: 不要把这个坑点包装成已解决、已验证或可忽略，除非后续验证证据明确证明它已经关闭。

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

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

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

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

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

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

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

### Constraint 6: 来源证据：[VOTE] Release Apache TVM v0.25.0.rc0

- Trigger: GitHub 社区证据显示该项目存在一个安全/权限相关的待验证问题：[VOTE] Release Apache TVM v0.25.0.rc0
- Host AI rule: 来源显示可能已有修复、规避或版本变化，说明书中必须标注适用版本。
- Why it matters: 可能增加新用户试用和生产接入成本。
- Evidence: community_evidence:github | https://github.com/apache/tvm/issues/19702 | 来源讨论提到 python 相关条件，需在安装/试用前复核。
- Hard boundary: 不要把这个坑点包装成已解决、已验证或可忽略，除非后续验证证据明确证明它已经关闭。

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

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

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

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