分层
ProofForge 由五层组成：作者层
- Contract Intent API — 默认 SDK 表面：state、entrypoint、event、 caller/value 访问、checked 算术、断言和证明，不需要 import 目标链模块。
- Target Extension SDK — 合约确实需要链原生语义时显式引入（Solana 账户/PDA/CPI、allocator 选择等）。扩展通过 capability id 和 target metadata 降级，绝不给可移植 IR 增加仅单链使用的 constructor（D-027）。
- Target adapter — 每个链家族的 ABI、打包、测试运行器和部署逻辑；
--target选择 adapter，不支持的 intent 在产出制品前被拒绝（D-028）。
模块命名
- Lake module：
ProofForge.Evm（合约文件中 import）。 - Lean namespace：
Lean.Evm（示例中open Lean.Evm）。
ProofForge.* 命名空间已列入
backlog（Workstream 24），因为 Lean.Evm 会遮蔽 Lean 编译器自身的 Lean
命名空间。
深入阅读
作者模型
Learn source、contract_source 与内部 ContractSpec 边界。
可移植 IR
IR 规范和阶段 1 验收标准。
能力注册表
规范的 capability id 和逐 target 支持矩阵。
RFC 0002
目标实现设计 RFC。