# @aufbau/compiler 中文文档

规范地址：https://npmcn.com/package/%40aufbau/compiler/

版本：0\.0\.19
npm 元数据更新时间：2026-11-11T23:12:10.537Z
中文译文更新时间：2026-11-12T12:43:09.017Z
软件包许可：Apache-2\.0

本文由上游 README 翻译，可能存在偏差，请结合原文核对 API、命令与配置。版权与许可归原作者所有。

原始 npm 页面：https://www.npmjs.com/package/%40aufbau/compiler
原文对照：https://npmcn.com/package/%40aufbau/compiler/?lang=original
项目主页：https://github.com/gleachkr/aufbau#readme
源码仓库：https://github.com/gleachkr/aufbau

## 关键信息（来自 npm 元数据）

- 包体积（解压后）：7.5 MB，6 个文件
- 模块格式：ES Module
- TypeScript 类型：未声明
- 运行依赖：0 个
- 首次发布：2026-05-04T14:04:44.621Z
- 最新版本发布：2026-11-11T23:12:10.138Z
- 近 30 天下载量：2495（2026-10-07 至 2026-11-05，npm 官方下载统计）
- 已发布版本数：95（近 12 个月 95 个）

## 中文简介

用于浏览器和JavaScript运行时间的Aufbau验证编译器.

## 安装

```sh
npm install @aufbau/compiler
```

也可以使用：`pnpm add @aufbau/compiler`、`yarn add @aufbau/compiler`、`bun add @aufbau/compiler`

## README

# `@aufbau/compiler`

将 MM0 源文件和 Aufbau 证明脚本编译为 MMB 中的证明 浏览器或节点.

## 安装

```sh
npm install @aufbau/compiler
```

## 使用量

```js
import { loadCompiler } from "@aufbau/compiler";

const compiler = await loadCompiler();
const result = compiler.compile(mm0Text, proofText);

if (!result.ok) {
  console.error(result.diagnostics);
} else {
  console.log(result.mmbBytes);
}
```

`mm0Text` 财务报告和审定财务报表 `proofText` 是绳子。 关于成功, `mmbBytes` 是一个 `Uint8Array`。结果还包括编译器元数据和 `durationMs`。 。 。 .

分布在多个文件中的理论从一个内存文件表格中编译 :

```js
const result = compiler.compileFiles({
  files: [
    { path: "/lib/base.mm0", text: baseText },
    { path: "/main.mm0", text: 'import "lib/base.mm0";\n' + mainText },
    { path: "/main.auf", text: proofText },
  ],
  root: "/main.mm0",
});
```

`import`编号 :`include` 报表 导入文件,以及 `<name>.auf` 配对 `<name>.mm0` (通过) `proof` 改为 明确命名根的证明文件)。 每一个诊断都带有 `file` 它存在于,与 `spanStart`编号 :`spanEnd` 本地到那个文件.

默认加载器会在浏览器和节点读取包的WebAssembly文件. 过 `wasmUrl`, (中文(简体) ), `wasmBytes`, (中文(简体) ), `module`,或 `instance` 改为 `loadCompiler()` 改为 控制装入.

Aufbau 校对格式载于 [`docs/proof.md`](https://github.com/gleachkr/Aufbau/blob/main/docs/proof.md)。 。 。 .

## 常见问题

### @aufbau/compiler 是什么？

用于浏览器和JavaScript运行时间的Aufbau验证编译器\.

### 如何安装 @aufbau/compiler？

在项目目录运行 npm install @aufbau/compiler，或使用 pnpm add / yarn add / bun add。

### @aufbau/compiler 支持 TypeScript 吗？

该包的 package\.json 没有声明类型入口。需要类型提示时，可以在 npm 上查找社区维护的 @types/aufbau\_\_compiler 是否存在。

### @aufbau/compiler 支持 ESM 还是 CommonJS？

以 ES Module 形式发布，推荐使用 import 引入。在 CommonJS 项目中，Node\.js 20\.19\+ / 22\.12\+ 可以直接 require\(\) 不含顶层 await 的 ES Module，更早的版本需要改用动态 import\(\)。

### @aufbau/compiler 可以商用吗？

@aufbau/compiler 使用 Apache-2\.0 许可。宽松许可：允许商业使用、修改和再分发，并附带明确的专利授权；分发时需保留许可与 NOTICE 文件，修改过的文件要注明改动。以上为概括，不构成法律意见，请以许可原文为准。

### @aufbau/compiler 的下载量有多少？

根据 npm 官方下载统计，@aufbau/compiler 在 2026/10/07 – 2026/11/05 这 30 天内被下载 2,495 次，日均约 83 次。下载量会把 CI 构建、镜像同步和作为其他包依赖的安装一并计入，适合横向比较热度，不能直接等同于使用人数。

### @aufbau/compiler 还在维护吗？

最新版本 0\.0\.19 发布于 2026/11/12（今天）；至今共发布 95 个版本，其中过去 12 个月发布了 95 个；首次发布于 2026/05/04。发布频率只是参考信号：功能稳定的工具可能很少需要更新，建议结合源码仓库的 issue 和提交记录判断。