# scriptc - Doramagic AI Context Pack

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

## 充分原则

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

## 给宿主 AI 的使用方式

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

## Claim 消费规则

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

## 它最适合谁

- **想在安装前理解开源项目价值和边界的用户**：当前证据主要来自项目文档。 证据：`README.md` Claim：`clm_0002` supported 0.86

## 它能做什么

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

## 怎么开始

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

## 继续前判断卡

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

### 30 秒判断

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

### 现在可以相信

- **适合人群线索：想在安装前理解开源项目价值和边界的用户**（supported）：有 supported claim 或项目证据支撑，但仍不等于真实安装效果。 证据：`README.md` Claim：`clm_0002` supported 0.86
- **能力存在：项目知识预览**（supported）：可以相信项目包含这类能力线索；是否适合你的具体任务仍要试用或安装后验证。 证据：`README.md`, `docs/AGENTS.md`, `packages/cli/README.md`, `packages/runtime/vendor/README.md` 等 Claim：`clm_0001` supported 0.86

### 现在还不能相信

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

### 继续会触碰什么

- **宿主 AI 配置**：Claude/Codex/Cursor/Gemini/OpenCode 等宿主的 plugin、Skill 或规则加载配置。 原因：宿主配置会改变 AI 后续工作方式，可能和用户已有规则冲突。 证据：`AGENTS.md`, `docs/AGENTS.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 体验。 证据：`README.md`, `docs/AGENTS.md`, `packages/cli/README.md`, `packages/runtime/vendor/README.md` 等 Claim：`clm_0001` supported 0.86

### 上下文规模

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

### 证据不足时的处理

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

## Prompt Recipes

### 适配判断

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

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

### 安装前体验

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

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

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

## 角色 / Skill 索引

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

- **scriptc**（project_doc）：Zero-runtime TypeScript. scriptc compiles ordinary TypeScript into small, fast native executables — no Node, no V8, no JavaScript engine in the binary. 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`README.md`
- **Docs Site Conventions**（project_doc）：This is the scriptc docs site: Next.js App Router + MDX, one topic per src/app/ /page.mdx , standalone from the repo's pnpm workspace it has its own lockfile; pnpm install && pnpm check runs entirely inside docs/ . 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`docs/AGENTS.md`
- **scriptc**（project_doc）：Compile ordinary TypeScript and JavaScript to small, fast native executables — no Node, no V8, no JavaScript engine in the binary. What compiles behaves byte-for-byte like Node. 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`packages/cli/README.md`
- **Vendored third-party code**（project_doc）：- Project: https://github.com/ulfjack/ryu - Commit: 4c0618b0e44f7ef027ebae05d2cc7812048f7c8f - License: Apache-2.0 OR BSL-1.0, used under the Boost Software License 1.0 see ryu/LICENSE-Boost 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`packages/runtime/vendor/README.md`
- **⚡️ QuickJS - A mighty JavaScript engine**（project_doc）：⚡️ QuickJS - A mighty JavaScript engine 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`packages/runtime/vendor/quickjs-ng/README.md`
- **Agent Guide**（project_doc）：Guidance for agents and humans working on this repository. These conventions apply repo-wide; the docs site under docs/ additionally has its own conventions in docs/AGENTS.md . 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`AGENTS.md`
- **Changelog**（project_doc）：All notable changes to scriptc will be documented in this file. 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`CHANGELOG.md`
- **Releasing**（project_doc）：Releases are manual, single-commit affairs. The maintainer controls the changelog voice and format. The three npm packages — @scriptc/runtime , @scriptc/compiler , scriptc — always publish together at the same version. 激活提示：当用户需要理解项目结构、安装方式或边界时参考。 证据：`RELEASING.md`

## 证据索引

- 共索引 43 条证据。

- **scriptc**（documentation）：Zero-runtime TypeScript. scriptc compiles ordinary TypeScript into small, fast native executables — no Node, no V8, no JavaScript engine in the binary. 证据：`README.md`
- **Docs Site Conventions**（documentation）：This is the scriptc docs site: Next.js App Router + MDX, one topic per src/app/ /page.mdx , standalone from the repo's pnpm workspace it has its own lockfile; pnpm install && pnpm check runs entirely inside docs/ . 证据：`docs/AGENTS.md`
- **scriptc**（documentation）：Compile ordinary TypeScript and JavaScript to small, fast native executables — no Node, no V8, no JavaScript engine in the binary. What compiles behaves byte-for-byte like Node. 证据：`packages/cli/README.md`
- **Vendored third-party code**（documentation）：- Project: https://github.com/ulfjack/ryu - Commit: 4c0618b0e44f7ef027ebae05d2cc7812048f7c8f - License: Apache-2.0 OR BSL-1.0, used under the Boost Software License 1.0 see ryu/LICENSE-Boost 证据：`packages/runtime/vendor/README.md`
- **⚡️ QuickJS - A mighty JavaScript engine**（documentation）：⚡️ QuickJS - A mighty JavaScript engine 证据：`packages/runtime/vendor/quickjs-ng/README.md`
- **Package**（package_manifest）：{ "name": "@scriptc/docs", "version": "0.0.0", "private": true, "type": "module", "packageManager": "pnpm@10.23.0", "scripts": { "dev": "next dev", "build": "next build", "start": "next start", "typecheck": "tsc --noEmit", "check": "pnpm typecheck && pnpm build" }, "dependencies": { "@mdx-js/loader": "^3", "@mdx-js/react": "^3", "@next/mdx": "^16.1.6", "clsx": "^2.1.1", "geist": "^1.7.0", "next": "^16.2.9", "next-themes": "^0.4.6", "radix-ui": "^1.4.3", "react": "^19", "react-dom": "^19", "remark-gfm": "^4.0.1", "shiki": "^4.0.2", "tailwind-merge": "^3.5.0", "tailwindcss-animate": "^1.0.7" }, "devDependencies": { "@tailwindcss/postcss": "^4", "@types/mdx": "^2", "@types/node": "^22", "@type… 证据：`docs/package.json`
- **Package**（package_manifest）：{ "name": "scriptc-monorepo", "private": true, "engines": { "node": " =24.0.0" }, "scripts": { "build": "pnpm -r --filter \"./packages/ \" run build", "build:fresh": "rm -rf packages/compiler/dist packages/cli/dist node modules/.cache/scriptc-tsc && pnpm build", "test": "vitest run", "test:cache-identity": "node tests/harness/cache-identity.mjs", "test:watch": "vitest", "lint": "eslint packages/compiler/src packages/cli/src", "manifest": "tsx scripts/surface-manifest.mjs", "scriptc": "tsx packages/cli/src/main.ts" }, "devDependencies": { "@types/node": "^24.0.0", "eslint": "^9.20.0", "tsx": "^4.19.0", "typescript": "5.9.3", "typescript-eslint": "^8.24.0", "vitest": "^3.0.0" } } 证据：`package.json`
- **Package**（package_manifest）：{ "name": "scriptc", "version": "0.0.17", "description": "Compile ordinary TypeScript and JavaScript to small, fast native executables — no Node, no V8, no JavaScript engine in the binary", "license": "Apache-2.0", "homepage": "https://scriptc.dev", "repository": { "type": "git", "url": "git+https://github.com/vercel-labs/scriptc.git", "directory": "packages/cli" }, "type": "module", "bin": { "scriptc": "dist/main.js" }, "files": "dist" , "engines": { "node": " =20" }, "scripts": { "build": "node ../../node modules/typescript/bin/tsc -p tsconfig.json" }, "dependencies": { "@scriptc/compiler": "workspace: " } } 证据：`packages/cli/package.json`
- **Package**（package_manifest）：{ "type": "commonjs" } 证据：`packages/compiler/ambient/package.json`
- **Package**（package_manifest）：{ "name": "@scriptc/compiler", "version": "0.0.17", "description": "The scriptc compiler — TypeScript/JavaScript frontend, typed IR, LLVM and C backends", "license": "Apache-2.0", "homepage": "https://scriptc.dev", "repository": { "type": "git", "url": "git+https://github.com/vercel-labs/scriptc.git", "directory": "packages/compiler" }, "type": "module", "main": "dist/index.js", "types": "dist/index.d.ts", "exports": { ".": "./dist/index.js", "./scriptc.d.ts": "./ambient/scriptc.d.ts", "./scriptc-overrides.d.ts": "./ambient/scriptc-overrides.d.ts", "./scriptc-node-fallback.d.ts": "./ambient/scriptc-node-fallback.d.ts", "./surface-manifest.json": "./surface-manifest.json" }, "files": "dist",… 证据：`packages/compiler/package.json`
- **Package**（package_manifest）：{ "name": "@scriptc/runtime", "version": "0.0.17", "description": "scriptc native runtime — C sources, compiled into every scriptc binary", "license": "Apache-2.0", "homepage": "https://scriptc.dev", "repository": { "type": "git", "url": "git+https://github.com/vercel-labs/scriptc.git", "directory": "packages/runtime" }, "files": "src", "vendor" , "publishConfig": { "access": "public" }, "scripts": { "build": "true" } } 证据：`packages/runtime/package.json`
- **License**（source_file）：Apache License Version 2.0, January 2004 http://www.apache.org/licenses/ 证据：`LICENSE`
- **License**（source_file）：Apache License Version 2.0, January 2004 http://www.apache.org/licenses/ 证据：`packages/cli/LICENSE`
- **License**（source_file）：Apache License Version 2.0, January 2004 http://www.apache.org/licenses/ 证据：`packages/compiler/LICENSE`
- **License**（source_file）：Apache License Version 2.0, January 2004 http://www.apache.org/licenses/ 证据：`packages/runtime/LICENSE`
- **License**（source_file）：Mbed TLS files are provided under a dual Apache-2.0 https://spdx.org/licenses/Apache-2.0.html OR GPL-2.0-or-later https://spdx.org/licenses/GPL-2.0-or-later.html license. This means that users may choose which of these licenses they take the code under. 证据：`packages/runtime/vendor/mbedtls/LICENSE`
- **License**（source_file）：Copyright c 2017-2026 Fabrice Bellard Copyright c 2017-2024 Charlie Gordon Copyright c 2023-2026 Ben Noordhuis Copyright c 2023-2026 Saúl Ibarra Corretgé 证据：`packages/runtime/vendor/quickjs-ng/LICENSE`
- **License**（source_file）：C 1995-2022 Jean-loup Gailly and Mark Adler 证据：`packages/runtime/vendor/zlib/LICENSE`
- **Agent Guide**（documentation）：Guidance for agents and humans working on this repository. These conventions apply repo-wide; the docs site under docs/ additionally has its own conventions in docs/AGENTS.md . 证据：`AGENTS.md`
- **Tsconfig**（structured_config）：{ "compilerOptions": { "target": "ES2017", "lib": "dom", "dom.iterable", "esnext" , "allowJs": true, "skipLibCheck": true, "strict": true, "noEmit": true, "esModuleInterop": true, "module": "esnext", "moduleResolution": "bundler", "resolveJsonModule": true, "isolatedModules": true, "jsx": "react-jsx", "incremental": true, "plugins": { "name": "next" } , "paths": { "@/ ": "./src/ " } }, "include": " / .mdx", " / .ts", " / .tsx", "next-env.d.ts", ".next/types/ / .ts", ".next/dev/types/ / .ts", ".next-check/types/ / .ts", ".next-check/dev/types/ / .ts" , "exclude": "node modules", ".next", ".next-check" } 证据：`docs/tsconfig.json`
- **Tsconfig**（structured_config）：{ "extends": "../../tsconfig.base.json", "compilerOptions": { "outDir": "dist", "rootDir": "src", "tsBuildInfoFile": "../../node modules/.cache/scriptc-tsc/cli.tsbuildinfo" }, "include": "src" } 证据：`packages/cli/tsconfig.json`
- **Tsconfig**（structured_config）：{ "extends": "../../tsconfig.base.json", "compilerOptions": { "outDir": "dist", "rootDir": "src", "tsBuildInfoFile": "../../node modules/.cache/scriptc-tsc/compiler.tsbuildinfo" }, "include": "src" } 证据：`packages/compiler/tsconfig.json`
- **Main**（source_file）：import { spawn } from "node:child process"; import { readFileSync, rmSync } from "node:fs"; import { basename, dirname, join, resolve } from "node:path"; import { fileURLToPath } from "node:url"; import { parseArgs } from "node:util"; import { analyze, compile, compileC, compileLibrary, renderAll, renderCoverage, resolveProvenanceSources, setProvenanceSources } from "@scriptc/compiler"; import { defaultExecutableName } from "./paths.js"; ⋮---- function version : string ⋮---- class CliExit extends Error ⋮---- constructor readonly code: number ⋮---- function fail msg: string : never ⋮---- function parseCli : ReturnType ⋮---- const build = async : Promise = 证据：`packages/cli/src/main.ts`
- **Paths**（source_file）：import { buildTargetPlatform } from "@scriptc/compiler"; ⋮---- export function defaultExecutableName stem: string, platform: string = buildTargetPlatform : string 证据：`packages/cli/src/paths.ts`
- **Cc**（source_file）：import { execFile } from "node:child process"; import { createHash } from "node:crypto"; import { createRequire } from "node:module"; import { chmod, copyFile, mkdir, mkdtemp, readdir, readFile, rename, rm, stat, unlink, utimes, writeFile } from "node:fs/promises"; import { availableParallelism, tmpdir } from "node:os"; import { basename, dirname, join } from "node:path"; import { promisify } from "node:util"; ⋮---- export interface CcOptions { cPath: string; outPath: string; sanitize?: boolean; linkInputs?: readonly string ; systemLibraries?: readonly string ; dynamic?: boolean; regex?: boolean; fetch?: boolean; netIsland?: boolean; zlib?: boolean; assert?: boolean; inspect?: boolean; dynI… 证据：`packages/compiler/src/backend/cc.ts`
- **Emit Async**（source_file）：import type { CEmitter } from "./emitter.js"; import { mangleArgPack, mangleAsyncSpawn, mangleChildDataThunk, mangleChildExitThunk, mangleCloseBindThunk, mangleCloseOverrideWrap, mangleConnectSockThunk, mangleDgramMsgThunk, mangleDnsLookupThunk, mangleField, mangleFunction, mangleGenDrop, mangleGenResThunk, mangleGenSpawn, mangleLocal, mangleRaceThunk, mangleRawParam, mangleNetLookupAnswerThunk, mangleEmitterInvokeThunk, mangleStreamCbThunk, mangleStreamDoneFn, mangleRecordNew, mangleRecordRelease, mangleRecordStruct, mangleResolveThunk, mangleSniAnswerThunk, mangleTrampoline } from "../mangle.js"; import { cDecl, cType, releaseCallC, retainCallC, vAdapters } from "./emit-types.js"; import… 证据：`packages/compiler/src/backend/emission/emit-async.ts`
- **Emit Exprs**（source_file）：import type { CEmitter, Temp } from "./emitter.js"; import { arrayOf, BOOL, BYTES U8, bytesOf, canMarshalFuncIntoIsland, CHILDSTREAM T, DYN, F64, IrExpr, IrRecordShape, IrType, islandPromisePayloadTag, isRefCounted, isUnitType, MAY THROW LIB FNS, RUNTIME ERROR CLASSES, STRING, typeEquals } from "../../ir/nodes.js"; import { boxAccess, BYTES NUM KIND C, BYTES NUM VAR C, bytesElemKindC, cDecl, cFnPtrCast, cNumberLiteral, cStringLiteral, cType, DV GET KIND C, DV SET KIND C, elemAccess, mapKeyAccess, mapKeyKindC, mapValKindC, retainCallC, vAdapters } from "./emit-types.js"; import { mangleClassNew, mangleClassRetain, mangleClassStruct, mangleField, mangleFnClosure, mangleFunction, mangleGlobal,… 证据：`packages/compiler/src/backend/emission/emit-exprs.ts`
- **Emit Island**（source_file）：import { deflateRawSync } from "node:zlib"; import type { CEmitter } from "./emitter.js"; import { cDecl, cFnPtrCast, cStringLiteral, releaseCallC } from "./emit-types.js"; import { IrType, islandCallbackRet, NPM COMPRESS MIN, typeKey } from "../../ir/nodes.js"; ⋮---- export function emitNpmEmbedding E: CEmitter, out: string : void ⋮---- const emitChunked = name: string, bytes: Buffer, comment?: string : void = ⋮---- const store = text: string : ⋮---- const s = t: string ⋮---- / The host-call adapter for closures of a given arity, return kind — see islandAdapters. argv cells are BORROWED by the wrapper; the closure ABI consumes +1 each param, so the adapter retains them in. A jsval-returnin… 证据：`packages/compiler/src/backend/emission/emit-island.ts`
- **Emit Shapes**（source_file）：import type { CEmitter } from "./emitter.js"; import type { IrFunction } from "../../ir/nodes.js"; import { IrClassDef, IrType, RUNTIME EMITTER CLASS, RUNTIME ERROR CLASSES, RUNTIME STREAM CLASSES, isRefCounted, mapOf, STRING } from "../../ir/nodes.js"; import { mangleClassGcFree, mangleClassNew, mangleClassRelease, mangleClassReleaseDirect, mangleClassRetain, mangleClassStruct, mangleClassTrace, mangleCtorThunk, mangleField, mangleFunction, mangleRecordGcFree, mangleRecordNew, mangleRecordRelease, mangleRecordRetain, mangleRecordStruct, mangleRecordTrace, mangleVtAdapter, mangleVtInstance, mangleVtStruct } from "../mangle.js"; import { boxKindC, cDecl, cType, elemKindC, mapValKindC, releas… 证据：`packages/compiler/src/backend/emission/emit-shapes.ts`
- **Emit Stmts**（source_file）：import type { CEmitter, ScopeEntry } from "./emitter.js"; import type { IrFunction } from "../../ir/nodes.js"; import { mangleField, mangleGlobal, mangleLocal, mangleRawParam } from "../mangle.js"; import { BOOL, CAUGHT, IrExpr, IrStmt, RUNTIME ERROR CLASSES, isRefCounted } from "../../ir/nodes.js"; import { boxAccess, cDecl, cStringLiteral, elemAccess, vAdapters } from "./emit-types.js"; import { OVERFLOW MEMBER } from "./emit-shapes.js"; ⋮---- export function emitFunction E: CEmitter, fn: IrFunction : void ⋮---- // Function scope owns refcounted params callees own their params . // Boxed params: allocate the shared binding and move the raw value in. ⋮---- // Implicit exit of a void functi… 证据：`packages/compiler/src/backend/emission/emit-stmts.ts`
- **Index**（source_file）：import { mkdir, rm, writeFile } from "node:fs/promises"; import { basename, dirname, join, resolve } from "node:path"; import { CcCompileError, compileC, compileLibArchive, resolveCc, targetPlatform } from "./backend/cc.js"; import { emitModule } from "./backend/emission/emitter.js"; import { emitLlvmModule, LlvmUnsupportedError } from "./backend/llvm/emitter.js"; import { checkerPanicDiag, ffiNativeBuildDiag, libAsyncExportDiag, libAsyncSurfaceDiag, libExportUnresolvedDiag, libGenericExportDiag, libIntBoundaryDiag, libNpmIneligibleDiag, libUnmappableSignatureDiag, iceDiag, isCheckerPanic, LIB INBOUND BYTES TRAP CODE, LIB RUNTIME TRAP CODES, type ScrDiagnostic } from "./diagnostics/diagnost… 证据：`packages/compiler/src/index.ts`
- **Changelog**（documentation）：All notable changes to scriptc will be documented in this file. 证据：`CHANGELOG.md`
- **Releasing**（documentation）：Releases are manual, single-commit affairs. The maintainer controls the changelog voice and format. The three npm packages — @scriptc/runtime , @scriptc/compiler , scriptc — always publish together at the same version. 证据：`RELEASING.md`
- **Tsconfig.Base**（structured_config）：{ "compilerOptions": { "incremental": true, "target": "ES2023", "module": "NodeNext", "moduleResolution": "NodeNext", "lib": "ES2023" , "strict": true, "noUncheckedIndexedAccess": true, "exactOptionalPropertyTypes": true, "noImplicitOverride": true, "noFallthroughCasesInSwitch": true, "forceConsistentCasingInFileNames": true, "isolatedModules": true, "declaration": true, "sourceMap": true, "skipLibCheck": true } } 证据：`tsconfig.base.json`
- **Surface Manifest**（structured_config）：{ "schemaVersion": 1, "compilerVersion": "0.0.17", "coverage": "Entries are projected mechanically from the compiler's own decision tables: the diagnostics registry, the unsupported-syntax dispatch tables, the stdlib and node-builtin lowering tables, and the supported-builtin-module list. Nothing is hand-maintained; the manifest regenerates byte-identically from the source tree at this version.", "Absence from this manifest means 'not projected', never 'unsupported'. Surfaces lowered through dedicated code paths rather than tables are not yet projected: console, JSON, Promise/async and the timer surface, the net/http/tls/https/dgram/dns/assert/test/stream/readline module member surfaces, te… 证据：`packages/compiler/surface-manifest.json`
- **test-fixture packages are TEST DATA, committed on purpose**（source_file）：node modules/ test-fixture packages are TEST DATA, committed on purpose !tests/diagnostics/npm-imports/node modules/ !tests/fixtures/commander-calc/node modules/ !tests/fixtures/npm/node modules/ !tests/corpus/ /node modules/ !tests/fixtures/npm-static/node modules/ !tests/fixtures/npm-static/nested/inner/node modules/ !tests/fixtures/npm/store/ /node modules/ !tests/fixtures/npm/cases/ /node modules/ !tests/library-mode/ /node modules/ !tests/fixtures/provenance/node modules/ !tests/fixtures/fetch/node modules/ !tests/fixtures/gateway-e2e/node modules/ !tests/fixtures/node-types/node modules/ dist/ !tests/fixtures/fetch/node modules/eventsource-parser/dist/ !tests/fixtures/npm/node modules… 证据：`.gitignore`
- **.node-version**（source_file）：24.15.0 证据：`.node-version`
- **docs/.gitignore**（source_file）：node modules/ .next/ .next-check/ next-env.d.ts tsconfig.tsbuildinfo 证据：`docs/.gitignore`
- **Pnpm Workspace**（source_file）：packages: overrides: "postcss@ =8.5.10" 证据：`docs/pnpm-workspace.yaml`
- **Pnpm Workspace**（source_file）：packages: - "packages/ " allowBuilds: esbuild: true 证据：`pnpm-workspace.yaml`
- **Surface Manifest**（source_file）：const readJson = path 证据：`scripts/surface-manifest.mjs`
- **Sync Versions**（source_file）：const manifest = pkg = $ const read = path 证据：`scripts/sync-versions.mjs`
- **Vitest.Config**（source_file）：import { fileURLToPath } from "node:url"; import { defineConfig } from "vitest/config"; 证据：`vitest.config.ts`

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

- **把本资产当作开工前上下文，而不是运行环境。**：AI Context Pack 只包含证据化项目理解，不包含目标项目的可执行状态。 证据：`README.md`, `docs/AGENTS.md`, `packages/cli/README.md`
- **回答用户时区分可预览内容与必须安装后才能验证的内容。**：安装前体验的消费者价值来自降低误装和误判，而不是伪装成真实运行。 证据：`README.md`, `docs/AGENTS.md`, `packages/cli/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, package.json, packages/cli/README.md, packages/cli/package.json, packages/compiler/ambient/package.json
- **Src 模块**：importance `high`
  - source_paths: packages/cli/src/main.ts, packages/cli/src/paths.ts
- **Cli 模块**：importance `high`
  - source_paths: packages/cli/LICENSE, packages/cli/README.md, packages/cli/package.json, packages/cli/src/main.ts, packages/cli/src/paths.ts
- **Src 模块**：importance `medium`
  - source_paths: packages/compiler/src/backend/cc.ts, packages/compiler/src/backend/emission/emit-async.ts, packages/compiler/src/backend/emission/emit-exprs.ts, packages/compiler/src/backend/emission/emit-island.ts, packages/compiler/src/backend/emission/emit-shapes.ts

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

- repo_clone_verified: true
- repo_inspection_verified: true
- repo_commit: `20c3a6c27da4807f607ebe496663842b67e87f0e`
- inspected_files: `README.md`, `package.json`, `pnpm-lock.yaml`, `docs/AGENTS.md`, `docs/package.json`, `docs/pnpm-lock.yaml`, `docs/pnpm-workspace.yaml`, `docs/src/app/cli/page.mdx`, `docs/src/app/coverage/page.mdx`, `docs/src/app/dependencies/page.mdx`, `docs/src/app/ffi/page.mdx`, `docs/src/app/how-it-works/page.mdx`, `docs/src/app/introduction/page.mdx`, `docs/src/app/limitations/page.mdx`, `docs/src/app/platforms/page.mdx`, `docs/src/app/quickstart/page.mdx`, `docs/src/app/robots.ts`, `docs/src/app/sitemap.ts`, `docs/src/lib/docs-navigation.ts`, `docs/src/lib/github.ts`

宿主 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: 来源证据：Static builds fail on Linux/glibc: host `clang` path is missing `-D_GNU_SOURCE` and `-lm`

- Trigger: GitHub 社区证据显示该项目存在一个安装相关的待验证问题：Static builds fail on Linux/glibc: host `clang` path is missing `-D_GNU_SOURCE` and `-lm`
- Host AI rule: 来源显示可能已有修复、规避或版本变化，说明书中必须标注适用版本。
- Why it matters: 可能增加新用户试用和生产接入成本。
- Evidence: community_evidence:github | https://github.com/vercel-labs/scriptc/issues/3 | 来源讨论提到 node 相关条件，需在安装/试用前复核。
- Hard boundary: 不要把这个坑点包装成已解决、已验证或可忽略，除非后续验证证据明确证明它已经关闭。

### Constraint 2: 来源证据：scriptc run` fails with "ts7 createProgram: project failed to open" on Windows (0.0.16)

- Trigger: GitHub 社区证据显示该项目存在一个安装相关的待验证问题：scriptc run` fails with "ts7 createProgram: project failed to open" on Windows (0.0.16)
- Why it matters: 可能增加新用户试用和生产接入成本。
- Evidence: community_evidence:github | https://github.com/vercel-labs/scriptc/issues/10 | 来源讨论提到 node 相关条件，需在安装/试用前复核。
- Hard boundary: 不要把这个坑点包装成已解决、已验证或可忽略，除非后续验证证据明确证明它已经关闭。

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

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

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

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

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

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

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

### Constraint 7: 来源证据：JavaScript support

- Trigger: GitHub 社区证据显示该项目存在一个安全/权限相关的待验证问题：JavaScript support
- Why it matters: 可能影响授权、密钥配置或安全边界。
- Evidence: community_evidence:github | https://github.com/vercel-labs/scriptc/issues/13 | 来源类型 github_issue 暴露的待验证使用条件。
- Hard boundary: 不要把这个坑点包装成已解决、已验证或可忽略，除非后续验证证据明确证明它已经关闭。

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

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

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

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