> ## Documentation Index
> Fetch the complete documentation index at: https://gradiences.mintlify.site/llms.txt
> Use this file to discover all available pages before exploring further.

# 贡献者入职指南

> 本页给出从干净 checkout 到可用本地开发循环的最短路径。重点是实用：先安装共享工具，

本页给出从干净 checkout 到可用本地开发循环的最短路径。重点是实用：先安装共享工具，
跑最小门禁；只有在处理某个具体 target 时，再安装该 target 的专用工具。

## 当前产品重点

ProofForge 目前受主三链完成规约（D-045）约束。产品实现工作按以下顺序保留给三个 target：

1. `solana-sbpf-asm`
2. `evm`
3. `wasm-near`

其他 target 说明可以继续做文档、安全或 CI 维护，但在 Gate P0 关闭前，不应新增
registry stage、capability surface、testkit coverage 或产品范围。

## 必需工具

日常开发需要安装：

* `elan`，使用仓库里的 `lean-toolchain` 锁定版本。
* `just`，本地开发和 CI 共用的命令目录。
* `python3`，用于文档和验证脚本。
* Rust/Cargo，用于统一 testkit 和若干 target harness。

推荐编辑器设置：

* VS Code 或 Cursor，并安装官方 `leanprover.lean4` 扩展。
* 打开仓库根目录，而不是子目录，这样 Lake、import 和 `lean-toolchain` 才会稳定解析。
* 让扩展通过 `elan` 使用仓库工具链；不要在 workspace 里手动覆盖 Lean 版本。

## 第一次本地检查

```sh theme={null}
elan show
lake build
just --list
just check
scripts/i18n/check-sync.sh
git diff --check
```

`just check` 是常用的快速门禁。它运行 CI 期望的通用 build、诊断、覆盖率和 smoke
切片，但不要求安装每一个 live-chain 工具。

## Target 专用工具

只在处理对应 target 或门禁时安装：

| Target 范围          | 工具                                                                                           |
| ------------------ | -------------------------------------------------------------------------------------------- |
| EVM                | Foundry（`cast`, `forge`）、`solc`                                                              |
| Solana             | `sbpf`、Solana CLI、`solana-keygen`、用于 Web3.js smoke 的 Node/npm、用于 live local tests 的 Surfpool |
| Wasm/NEAR          | `wat2wasm`；只有 live deployment 工作需要 NEAR sandbox                                              |
| Psy/DPN            | `psyup`、`dargo`                                                                              |
| Aleo               | `leo`                                                                                        |
| Cloudflare Workers | Node/npm、`wrangler`                                                                          |

权威命令列表和前置条件见 [validation-gates.md](/zh/reference/validation-gates)。如果缺少某个工具，
许多脚本会跳过对应的可选分支，但仍会验证生成源码、元数据或诊断。

## 工作规则

* 改代码前，先读 [development-standards.md](/zh/reference/development-standards) 以及被触及边界最近的真值来源文档。
* 英文工程文档是权威来源。中文 `.zh.md` 翻译在 `main` 上从英文文档同步。
* 如果更改公共 CLI flag、target id、capability id、artifact 字段、验证命令、target 生命周期阶段或示例行为，必须在同一次更改里更新对应文档。
* 先跑窄门禁，再跑 `just check`；只有当变更触及某个 target 时，再跑更宽的 target gates。