ProofForge RFCs

RFC 定义了 ProofForge 持久的架构决策。它们在实现前描述预期的能力，并将当前行为与 Research 或未来的后端目标区分开。流程：提案以 Draft 开始，当记录在 decisions.md 且交叉链接的文档达成一致时转为 Accepted。

索引

RFC	状态	摘要
0001	Accepted	Lean 优先的多链合约平台架构
0002	Accepted	目标 profile、构建流水线和后端实现设计
0003	Draft	可移植 IR、能力降级、运行时 profile
0004	Draft	EVM semantic plan 与 Yul AST 边界
0005	Accepted	Solana sBPF assembly 后端，即绕过 Zig runtime 的 direct codegen 路线
0006	Draft	多链 Token SDK：EVM 上生成 ERC-20，Solana 上生成 SPL Token / Token-2022 计划
0008	Draft	跨 EVM、Solana、NEAR 的链解耦分配器抽象
0009	Accepted	CLI 产品形态：`build	emit	check —target <id> —fixture <id>`；M1 已落地，M3/M4 迁移仍在进行
0010	Draft	将资源预算（gas / CU / near-gas）作为 testkit 门控
0011	Draft	可移植运行时错误模型 + 统一客户端生成
0012	Draft	版本控制与兼容性策略（IR、制品 schema、能力 id、SDK）
0013	Draft	部署生命周期、升级与签名边界