| D-001 | 2026-06-30 | RFC 0001 和 RFC 0002 被接受为工程方向 | 存在详细的目标和待办事项文档；草案状态具有误导性 | | |
| D-002 | 2026-06-30 | 第一阶段（目标注册表 + 可移植 IR + 制品元数据）必须在非 EVM spike 之前完成 | Spike 需要能力检查和共享的场景定义 | | |
| D-003 | 2026-06-30 | CosmWasm 和 Solana spike 在第一阶段后并行运行 | 两者之间没有固定顺序；两者都验证了不同的后端家族 | | |
| D-004 | 2026-06-30 | 规范的 Solana 目标 id 为 solana-sbpf-linker 被 D-026 取代 | 原生 Zig + sbpf-linker 适配平台工具链；solana-sbf 仅为文件名别名。D-026 以 solana-sbpf-asm 作为首选直接汇编路线取代了此项。 | | |
| D-005 | 2026-06-30 | 保留 solana-zig-fork 作为备选/参考路径 | 来自 solana-sdk-mono 的成熟 SDK 参考；并非主要产品路径 | | |
| D-006 | 2026-06-30 | NEAR 是 Wasm-host 参考；CosmWasm 是仓库中第一个新的 Wasm spike | 分叉经验为结构提供了参考；CosmWasm 验证了宿主适配器的通用性 | | |
| D-007 | 2026-06-30 | Move POC 从仅限 Aptos 开始；Sui 紧随其后 | Aptos 账户资源更简单；Sui 对象模型对抽象的测试更具挑战性 | | |
| D-008 | 2026-06-30 | Move 目标使用源代码生成，而非 MoveVM 上的 Lean 运行时 | 证明保留在 Lean 中；Move 仅承载可执行逻辑 | | |
| D-009 | 2026-06-30 | wasm-polkadot / ink! 保持为 research-only | 在安排 spike 之前不会进入目标注册表 | | |
| D-010 | 2026-06-30 | 云平台需等到两个或更多目标达到 Experimental 阶段 | 避免在本地后端实现之前构建 UI 外壳 | | |
| D-011 | 2026-06-30 | 将 psy-dpn 作为 ZK 电路源代码生成下的 Research 目标添加 | Psy 没有公开的类 Yul IR；首次集成应生成 .psy 并调用 Dargo | | |
| D-012 | 2026-07-01 | 将 kaspa-toccata 分类为文档优先的 Research 候选目标，而非 ZK 电路源代码生成目标 | Toccata 是通过 transaction v1、covenants、内联证明验证和 based-app 结算实现的 Kaspa L1 可编程性；代码注册表更改需等待 UTXO/covenant 能力评审 | | |
| D-013 | 2026-07-01 | 将 wasm-stellar-soroban 分类为文档优先的 Wasm-host Research 候选目标 | Soroban 发射 Wasm，但具有 Stellar 特有的存储 TTL、授权、合约规范、部署和 CLI 语义；注册表更改需等待选定第一个 spike 路径 | | |
| D-014 | 2026-07-01 | 将 wasm-icp-canister 分类为文档优先的 Wasm-host Research 候选目标 | Internet Computer canister 发射 Wasm，但具有 Candid、principal 身份、update/query 调用模式、cycles、稳定内存、异步 canister 间调用和生命周期语义；注册表更改需等待选定 canister spike 路径 | | |
| D-015 | 2026-07-01 | 将 ton-tvm 分类为文档优先的 TVM/Tolk 源代码生成 Research 候选目标 | TON 合约以 TVM 为目标，具有 cell、TL-B 序列化、消息处理程序、get 方法、操作列表、账户生命周期和 TVM gas 语义；注册表更改需等待选定源代码生成 spike 路径 | | |
| D-016 | 2026-07-01 | 将 bch-cashscript 分类为文档优先的 UTXO 脚本/covenant 源代码生成 Research 候选目标 | 通过 CashScript 实现的 Bitcoin Cash 合约使用 BCH Script 锁定和花费 UTXO，具有交易内省、CashTokens 和 SDK 交易构建器语义；注册表更改需等待选定 CashScript spike 路径 | | |
| D-017 | 2026-07-01 | 将 algorand-avm 分类为文档优先的 AVM/TEAL 源代码生成 Research 候选目标 | Algorand 合约以 AVM approval/clear-state 或 LogicSig 程序为目标，具有 ARC-4 ABI、全局/本地/box 存储、资源引用、原子交易组、内部交易和 AVM budget 语义；注册表更改需等待选定 Algorand 包 spike 路径 | | |
| D-018 | 2026-07-01 | 将 cardano-plutus-aiken 分类为文档优先的 eUTXO 验证器源代码生成 Research 候选 | Cardano 合约通过 datum、redeemer、脚本上下文、Plutus/UPLC 制品、执行单元、Plutus 蓝图以及链下交易构建语义来验证 eUTXO 支出；注册表更改需等待 Aiken 源代码生成 spike 路径选定 | | |
| D-019 | 2026-07-01 | 将 tezos-michelson-ligo 分类为文档优先的 Michelson/LIGO 源代码生成 Research 候选 | Tezos 合约以 Michelson 为目标，具有类型化存储、参数、入口、视图/事件、操作列表、big_map、tickets、Sapling、gas 和存储销毁语义；注册表更改需等待 LIGO 源代码生成 spike 路径选定 | | |
| D-020 | 2026-07-01 | 将 starknet-cairo 分类为文档优先的 Cairo/Sierra/CASM 源代码生成 Research 候选 | Starknet 合约通过 Cairo 编译为 Sierra/CASM，具有 ABI、类哈希、声明/部署元数据、Starknet 存储/事件、账户抽象、系统调用以及 L1/L2 消息传递语义；注册表更改需等待 Cairo 包 spike 路径选定 | | |
| D-021 | 2026-07-01 | 将 bitcoin-script-miniscript 分类为文档优先的比特币基础层支出策略 Research 候选 | 比特币脚本被有意限制为带有签名、哈希锁、时间锁、描述符、Miniscript、Taproot/Tapscript、PSBT 流以及标准性/费用约束的 UTXO 锁定/解锁策略；注册表更改需等待 Miniscript/描述符 spike 路径选定 | | |
| D-022 | 2026-07-01 | 将 zcash-shielded 分类为文档优先的隐私 UTXO/ZK 支付 Research 候选 | Zcash 衍生自比特币，但屏蔽支持取决于 Sapling/Orchard note、nullifier、anchor、价值平衡约束、查看/披露策略以及协议定义的 ZK 证明；注册表更改需等待屏蔽 note 能力以及证明/验证边界完成评审 | | |
| D-023 | 2026-07-01 | 将 aleo-leo 分类为文档优先的 Aleo ZK 应用源代码生成 Research 候选 | Aleo 程序结合了私有链下证明执行、公共链上最终化、加密记录、公共映射/存储、Aleo 指令、Aleo VM 字节码、ABI、证明者/验证者制品以及执行/部署交易；注册表更改需等待证明/最终化拆分完成评审 | | |
| D-024 | 2026-07-01 | 将 Robinhood Chain 建模为 robinhood-chain-testnet，即 evm 下的一个 EVM 兼容链 profile，而非新的编译器目标 | Robinhood Chain 执行 EVM 兼容的 Arbitrum Orbit L2 合约；ProofForge 的 EVM 后端涵盖字节码生成，而链 profile 记录链 id、RPC、浏览器、验证器、rollup 和部署元数据 | | |
| D-025 | 2026-07-01 | 添加 solana-sbpf-asm 作为探索中的新 Solana 路径（直接 sBPF 汇编代码生成）；保留 solana-sbpf-linker 作为备选 | 直接从可移植 IR 生成 sBPF 汇编可规避完整的 Lean Zig 运行时链接风险；blueshift-gg/sbpf 工具链处理汇编和链接。参见 RFC 0005 和 设计文档。 | | |
| D-026 | 2026-07-01 | 采用 solana-sbpf-asm 作为规范的 Solana 路径；取代 solana-sbpf-linker | 直接汇编路径规避了 Lean 运行时链接风险，提供了对计算单元和栈的完全控制，并镜像了 EVM/Yul 模式。solana-sbpf-linker 仅作为历史参考保留 —— 代码生成应以汇编路径为目标。 | | |
| D-027 | 2026-07-01 | CPI 和 PDA 效应保留在 Solana 特定层中，而非可移植 IR 中 | cpiInvoke、cpiInvokeSigned 和 pdaDerive 是仅限 Solana 的概念（Solana 的账户传递 CPI + PDA 派生在 EVM、Wasm 或 Move 上没有对应物）。它们属于 ProofForge.Backend.Solana.Effects 或 Solana SDK 模块，受 crosscall.cpi 和 storage.pda 能力的限制。可移植 IR (ProofForge.IR.Contract.Effect) 保持链中立 —— 仅当 ≥2 个目标家族共享相同的语义形状时才添加新的构造函数。 | | |
| D-028 | 2026-07-02 | 用户合约面向链无关的 Contract Intent API；选定的目标将 intent 解析为能力计划 | 默认 SDK 界面不应暴露目标链。用户编写可移植合约 intent，然后 --target 选择目标适配器，该适配器将这些 intent 路由到低层级的能力实现，检查支持/运行时约束，并发射目标制品。能力 id 仍是目标适配器和 Target Extension SDK 使用的内部协议；它们不是主要的面向用户的 API。 | | |
| D-029 | 2026-07-01 | 采用 Rust near-sdk-rs 源代码生成作为仓库内的 wasm-near v0 后端 | EmitZig/Zig 宿主桥接源码不在仓库中；可移植 IR → near-sdk-rs 包 → cargo wasm32 现在验证 NEAR 语义，并保留 Zig 宿主桥接路径以便稍后恢复。（在 2026-07 分支合并期间从 NEAR 分支的 D-025 重新编号。） | | |
| D-030 | 2026-07-01 | wasm-near v0 支持 Hash 映射键、.assertions.check 和 .account.explicit | 现有 MapProbe（Hash 键、assertEq）和 ContextProbe (contractId) 测试固件所需；.crosscall.invoke 在源代码生成 v0 中仍不受支持。（从 NEAR 分支的 D-026 重新编号。） | | |
| D-031 | 2026-07-01 | 采用 EmitWat（可移植 IR → Wasm AST → WAT 文本 → wat2wasm）作为规范的 Wasm 家族后端；将 Rust near-sdk-rs 源代码生成降级为冻结的 v0 权宜方案 | EmitWat 镜像了仓库内的 可移植 IR → Yul 渲染器 Backend/Evm/IR.lean（被每个 --emit-*-ir-yul CLI 模式使用），而不是独立的基于 LCNF 的 Compiler/LCNF/EmitYul.lean。由于可移植 IR 已经抽象了 Lean 对象（仅限 u32/u64/bool/hash 标量 + 存储效应），EmitWat 不需要 Lean 运行时移植、对象模型装箱或 GC —— 既避免了 Rust 路径的 near-sdk 宏耦合（E0119 Borsh / 缺失 &self 的 cargo-check 失败），也避免了阻塞先前 EmitZig 计划的 Lean-runtime-to-Wasm 移植。共享层：Compiler/Wasm/AST.lean + Printer.lean + IR→AST 降级（与 Compiler/Yul/AST.lean + Printer.lean 并行）；来自 Backend/WasmNear/IR.lean 和 Backend/Evm/IR.lean 的可重用验证。每条链：宿主导入 + ABI 序列化。关键 spike 风险：NEAR 参数（反）序列化（JSON/Borsh），EVM 后端不存在此问题（EVM 使用 calldata）。（从 NEAR 分支的 D-027 重新编号。） | | |
| D-032 | 2026-07-01 | 批准 aleo-leo Research 退出设计：Leo 优先的 zk-app-sourcegen 边界、Road 1 的规范能力、制品清单 schema 以及 leo build/leo test 工具链 | Aleo 的证明/最终化拆分需要其独立的源代码生成家族，不同于 psy-dpn 风格的电路源代码生成；代码注册表变更仍被推迟，直到 Road 1 spike 成功并通过评审。（在 2026-07 分支合并期间从 Aleo 分支的 D-025 重新编号。） | | |
| D-033 | 2026-07-01 | 添加 wasm-cloudflare-workers 作为 Research Wasm 宿主目标 | Cloudflare Workers 不是区块链，但它与 NEAR/CosmWasm 共享 Wasm 宿主后端模式；它通过使用重新解释的能力在链下运行相同的经过验证的业务逻辑，验证了可移植核心模型。（在 2026-07 分支合并期间从 Cloudflare 分支的 D-025 重新编号。） | | |
| D-034 | 2026-07-02 | 采用分层目标组合 (target-roadmap) 并将 UTXO 脚本目标归类为单独的策略家族 | 层级门控：在 evm/solana-sbpf-asm/wasm-near 上的共享场景一致性开启并行的 wasm-cosmwasm (D-006) 和 move-aptos (D-007)；Soroban/Sui/源代码生成目标在这些出口开启；一次最多激活一个源代码生成 spike。Bitcoin 家族目标 (bitcoin-script-miniscript, bch-cashscript, zcash-shielded, kaspa-toccata) 是支出策略生成器，而非合约执行器：它们获得策略 IR（谓词树；无存储/事件/跨调用），带有新的 policy.* 能力 id 和 PSBT/regtest 验证通道，而不是被强制通过合约流水线 | | |
| D-035 | 2026-07-02 | 当前阶段完成标准： 在开启 Tier-1 目标之前，共享场景 (Counter，然后是 ValueVault) 必须在 evm、solana-sbpf-asm 和 wasm-near 上通过 | 锁定当前巩固阶段的完成的定义；在满足 G0 门控之前，保持新的 Research 目标仅限文档，防止过早的能力注册表/能力变动 | | |
| D-036 | 2026-07-02 | 在 IR/目标层下统一分配器建模为 AllocatorModel (策略/区域/释放)，保留 Solana solana.allocator.* 元数据键作为 Solana 特定的配置语法，并为 EVM 提供显式的 bump-over-scratch 绑定 | 解决工作流 24 分配器统一的开放问题；RFC 0008 定义了该三元组。持久状态模型 (EVM 存储, Solana 账户, NEAR 存储) 保持在分配器抽象之外。在所有权健全性 (FV-3) 证明经过检查的空操作合理之前，Statement.release 在 EVM 上保持拒绝状态 | | |
| D-037 | 2026-07-02 | 将 wasm-cloudflare-workers 保留在 wasmHost 目标家族下作为 Research 离链宿主 | 它与 NEAR/CosmWasm 共享 Wasm 宿主后端模式 (EmitWat, 可移植核心 + 宿主桥接)；其离链状态通过阶段 (Research) 和能力集而非通过单独的家族来表达。在更多离链目标强制要求新分类之前，推迟建立独立的离链宿主家族 | | |
| D-038 | 2026-07-03 | 将 evm 目标 profile 绑定到显式的 bump-over-call-scratch 分配器模型 (AllocatorConfig.evm: 策略 bump, 区域 call-scratch, release = none) | 记录 EmitYul/EVM 计划已经执行的操作：EVM 使用编译器选择偏移量的字寻址事务暂存内存，且从不释放。Statement.release 在 EVM v0 上保持拒绝状态。向 release = noop 的过渡以 FV-3 证明所有权检查使释放语义透明（无释放后使用、无重复释放）为门控，以便 EVM 追踪 (traces) 与具备重用能力的目标保持一致 | | |
| D-039 | 2026-07-03 | 在 testkit M4 绑定到遗留标志之前，接受 `proof-forge build | emit | check —target <id> [—fixture <id>]` 的 CLI 产品界面 | RFC 0009 定义了目标优先界面、fixture 注册表以及遗留标志别名/弃用计划。2026-07-03 评审发现 M1 已通过兼容层落地（Command/CliOptions、check、list commands 以及 legacy alias metadata），因此本决策用于批准该界面并明确剩余 M3/M4 迁移，而不是作为代码前置冻结 |
| D-040 | 2026-07-03 | 将资源预算 (EVM gas, Solana CU, NEAR gas) 作为 Tier-0 一致性门控的必要部分 | Tier-0 共享场景一致性 (D-034) 必须比较行为以及预算；RFC 0010 定义了 testkit 场景中带有容差范围的可选每步预算基准，防止虚假一致性并锁定当前 Solana 直接汇编的 CU 优势 | | |
| D-041 | 2026-07-03 | 采用可移植运行时错误模型 (assertion_id + 可选 user_code) 和统一的 ContractSpec 客户端 schema | 每个目标以其原生形式编码相同的错误 id (EVM revert, Solana 自定义错误, NEAR panic 负载, Psy 断言索引)；testkit 断言 expect.error。目标中立的 ContractSpec JSON 泛化了现有的 Solana IDL，并在 testkit M3 之后提供给每条链的 TS 客户端 | | |
| D-042 | 2026-07-03 | 为可移植 IR、制品/部署 JSON schema、能力 id 以及 SDK/CLI 采用版本控制和兼容性策略 | IR 使用 major.minor，其中新的构造函数为次要变更，语义变更为主要变更；制品/部署 schema 使用整数 schemaVersion，并遵循宽容读取规则；能力 id 为仅追加；SDK/CLI 在 1.0 版本前后遵循类 semver 规则。RFC 0012 定义了完整策略 | | |
| D-043 | 2026-07-03 | 添加 upgradePolicy 意图（`immutable | authority(keyRef) | governance(ref)`），并将签名保持在编译器之外 | 每个目标诚实地降级策略，或在编译时拒绝；EVM v0 仅支持 immutable；Solana 支持 immutable 和 authority；NEAR 支持 immutable 和 authority 作为账户密钥策略。ProofForge 仅发射未签名的交易/清单；密钥托管保留在钱包/KMS/CI 密钥中。RFC 0013 定义了完整生命周期和签名边界 |
| D-044 | 2026-07-03 | Tier-0 优先完成： 在进行任何新链推进之前，按实现优先级顺序完成 solana-sbpf-asm、evm、wasm-near，以达到完整的 DoD——包括行为一致性以及资源预算（D-040） | 落实 D-035/D-040。在 Gate G0 随预算关闭之前，已落地的 Aptos/CosmWasm spike 冻结在当前的 M1/M2 状态（无注册表阶段，无 M3/M4，不启动 Tier-2）；D-045 会把该冻结延长到更严格的主三链签署 Gate P0。D-034/Workstream 28 中旧的“并行开启 Tier-1”措辞在当前阶段被此“完成优先”规则取代。参见 target-roadmap Tier-0 完成检查清单和 gate-status 以获取各标准状态。 | | |
| D-045 | 2026-07-03 | 主三链完成规约： 产品实现优先级为 solana-sbpf-asm → evm（Ethereum）→ wasm-near（NEAR/Wasm），这三条链必须达到生产级完善后，任何额外链才能推进到文档优先研究或冻结 spike 维护之外 | 这是高于单个工作流的产品级排序规则。“完成”意味着每条链都具备 target-first 构建/发射、本地执行或部署冒烟、制品/部署元数据、能力诊断、资源预算、CI 覆盖以及同步维护的文档。新目标仍可写文档优先研究说明，已落地的 Aptos/CosmWasm/Aleo/Psy/Cloudflare spike 可做 CI/安全维护，但在 gate-status 记录主三链签署之前，不应为额外链落地新的注册表、能力、testkit 或 CI 推进。 | | |
