# tvm - Doramagic AI Context Pack > Purpose: pre-work context for the user's host AI. This pack does not prove that the project has been installed, run, or validated. ## Project - canonical_name: `apache/tvm` - capability: Open Machine Learning Compiler Framework - expected_user_outcome: Open Machine Learning Compiler Framework ## Operating Boundaries - Do not claim that the project has been installed, run, called through an API, or used on local files unless separate evidence proves it. - Project facts must come from repo evidence, Claim Graph, or explicit source references. - When a capability is not verified, mark it as unverified instead of completing it as fact. - publish_status: `publishable` - blocking_gaps: none --- ## Doramagic Context Augmentation The following sections strengthen the repository context for a host AI. Human Manual data is a reading route, and pitfall notes become operating constraints. ## Human Manual Outline Usage rule: this is only a reading route and salience signal, not factual authority. Concrete claims must still return to repo evidence or Claim Graph. Host AI hard rules: - Do not treat page titles, section order, summaries, or importance values as factual project evidence. - When explaining the Human Manual outline, state that it is only a reading route or salience signal. - Capability, installation, compatibility, runtime state, and risk claims must cite repo evidence, source paths, or Claim Graph. - **TVM Overview & Unity Architecture**: importance `high` - source_paths: README.md, include/tvm/ir/module.h, include/tvm/ir/transform.h, python/tvm/__init__.py, python/tvm/driver/build_module.py - **Frontends, Relax Graph IR & Transformations**: importance `high` - source_paths: include/tvm/relax/expr.h, include/tvm/relax/struct_info.h, include/tvm/relax/transform.h, python/tvm/relax/transform/transform.py, python/tvm/relax/frontend/torch/dynamo.py - **TensorIR Scheduling & Backend Code Generation**: importance `high` - source_paths: include/tvm/tirx/schedule/schedule.h, python/tvm/s_tir/schedule/schedule.py, python/tvm/s_tir/dlight/__init__.py, src/s_tir/schedule/concrete_schedule.cc, src/tirx/transform/lower_tirx.cc - **MetaSchedule Auto-Tuning, Runtime & Deployment**: importance `high` - source_paths: python/tvm/s_tir/meta_schedule/tune.py, python/tvm/s_tir/meta_schedule/__init__.py, src/s_tir/meta_schedule/search_strategy/evolutionary_search.cc, src/s_tir/meta_schedule/schedule_rule/multi_level_tiling_tensor_core.cc, include/tvm/runtime/vm/vm.h ## 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` Host AI hard rules: - Without repo_clone_verified=true, do not claim that the source code has been read. - Without repo_inspection_verified=true, do not write README, docs, or package-file conclusions as facts. - Without quick_start_verified=true, do not claim that the Quick Start path has run successfully. ## Doramagic Pitfall Constraints These rules come from Doramagic discovery, validation, or compilation findings. The host AI must treat them as operating constraints, not background notes. ### Constraint 1: Security or permission risk requires verification - Trigger: Project evidence flags a security or permission risk. Review the linked source before relying on this workflow. - Host AI rule: Reproduce the official install and quickstart path in an isolated environment. - Why it matters: May increase setup, validation, or first-run risk for the user. - Evidence: community_evidence:github | https://github.com/apache/tvm/issues/19802 - Hard boundary: Do not present this pitfall as solved, verified, or ignorable unless later evidence explicitly closes it. ### Constraint 2: Capability evidence risk requires verification - Trigger: README/documentation is current enough for a first validation pass. - Host AI rule: Reproduce the official install and quickstart path in an isolated environment. - Why it matters: May increase setup, validation, or first-run risk for the user. - Evidence: capability.assumptions | https://github.com/apache/tvm - Hard boundary: Do not present this pitfall as solved, verified, or ignorable unless later evidence explicitly closes it. ### Constraint 3: Maintenance risk requires verification - Trigger: Project evidence flags a maintenance risk. Review the linked source before relying on this workflow. - Host AI rule: Reproduce the official install and quickstart path in an isolated environment. - Why it matters: May increase setup, validation, or first-run risk for the user. - Evidence: evidence.maintainer_signals | https://github.com/apache/tvm - Hard boundary: Do not present this pitfall as solved, verified, or ignorable unless later evidence explicitly closes it. ### Constraint 4: Security or permission risk requires verification - Trigger: no_demo - Host AI rule: Reproduce the official install and quickstart path in an isolated environment. - Why it matters: May increase setup, validation, or first-run risk for the user. - Evidence: downstream_validation.risk_items | https://github.com/apache/tvm - Hard boundary: Do not present this pitfall as solved, verified, or ignorable unless later evidence explicitly closes it. ### Constraint 5: Security or permission risk requires verification - Trigger: no_demo - Host AI rule: Reproduce the official install and quickstart path in an isolated environment. - Why it matters: May increase setup, validation, or first-run risk for the user. - Evidence: risks.scoring_risks | https://github.com/apache/tvm - Hard boundary: Do not present this pitfall as solved, verified, or ignorable unless later evidence explicitly closes it. ### Constraint 6: Security or permission risk requires verification - Trigger: Project evidence flags a security or permission risk. Review the linked source before relying on this workflow. - Host AI rule: Reproduce the official install and quickstart path in an isolated environment. - Why it matters: May increase setup, validation, or first-run risk for the user. - Evidence: community_evidence:github | https://github.com/apache/tvm/issues/19702 - Hard boundary: Do not present this pitfall as solved, verified, or ignorable unless later evidence explicitly closes it. ### Constraint 7: Maintenance risk requires verification - Trigger: issue_or_pr_quality=unknown。 - Host AI rule: Reproduce the official install and quickstart path in an isolated environment. - Why it matters: May increase setup, validation, or first-run risk for the user. - Evidence: evidence.maintainer_signals | https://github.com/apache/tvm - Hard boundary: Do not present this pitfall as solved, verified, or ignorable unless later evidence explicitly closes it. ### Constraint 8: Maintenance risk requires verification - Trigger: release_recency=unknown。 - Host AI rule: Reproduce the official install and quickstart path in an isolated environment. - Why it matters: May increase setup, validation, or first-run risk for the user. - Evidence: evidence.maintainer_signals | https://github.com/apache/tvm - Hard boundary: Do not present this pitfall as solved, verified, or ignorable unless later evidence explicitly closes it.