DLL Execution

DLL Execution — 为 AI Agent 提供基础交易模拟与验证

AI Agent 执行基础设施。

DLL 是一款独立的 Base Mainnet 只读 API 和远程 MCP 服务。签名前，模拟未签名交易、检查调用是否成功或回滚，并核验明确的目标地址和 L2 执行费用限制。独立广播后，验证交易是否被纳入区块、收据状态是否符合要求，以及受支持的交易字段是否符合预期。结果包含结构化的 Judgment 或 Verification 状态、原因代码、证据和明确的不确定性；DLL 绝不签名、广播或托管资产。

适用对象

拥有未签名交易候选项或已广播交易哈希的 AI Agent，以及集成这些 Agent 的开发者。采取行动前，Agent 需要了解可能的失败、已知成本、明确限制和剩余不确定性。行动后，则需要依据明确的预期检查实际结果。

现已推出：Execution Preflight

POST https://execution.dll.io/v2/execution/preflight

V0.2.1 会评估一个未签名的 Base Mainnet 交易候选项，并返回只读模拟结果、预估 L2 执行费用、确定性策略检查、结构化判断及支持证据。这是一项有限的免费公开试用；使用 Preflight 无需连接钱包、签名或付款。Benchmark 的单独付费／免费试用规则不适用于此端点。

在具备完整且受支持的 EIP-1559 交易上下文时，可选的 fee_estimation 会返回 L1 数据费、L2 执行费、适用的 Operator Fee 和网络总费用的单独条件性估算。缺少必要组成部分时，总费用将不可用，而不是显示为零。该估算并非实际产生的费用、未来支出的保证，也不会自动判定为 PASS。

Agent has an unsigned transaction candidate
→ calls DLL Execution Preflight
→ receives simulation / cost / policy / judgment / evidence
→ Agent decides what to do next

Judgment	在已评估证据范围内的含义
PASS	模拟和适用的检查均已通过，且未发现尚未解决的重大问题。不代表获准执行。
CAUTION	执行在技术上可能可行，但仍存在重要的不确定性或证据不完整。
BLOCK	确定性证据（例如模拟回滚或明确的限制拒绝）表明不应继续执行此候选项。
INDETERMINATE	现有证据不足以支持可靠判断。不要将其视为成功或已证实的交易失败。

目前，普通的成功 Preflight 会返回 CAUTION，因为旧版 cost_estimate 中的 L1 费用／总费用仍不可用。完整的可选 network_fee_estimate 不会重新计算旧版 Judgment 或仅针对 L2 费用的限制。上述任何状态都不会评估盈利能力、投资质量、策略是否值得采用或提供财务建议。

现已推出：执行验证

POST https://execution.dll.io/v2/execution/verify

Verification V0.1 会观察一笔已广播的 Base Mainnet 交易，并根据其链、纳入情况、收据状态以及可选的候选内容评估有限范围的预期。该功能免费且只读：无需签名、连接钱包或付款，DLL 也不必执行过原始 Preflight。

• Preflight — 执行前： 在记录的证据范围内评估可能发生的情况。
• Verification — 执行后： 观察实际发生的情况，并根据明确的预期进行评估。

只需提供 transaction_hash。默认检查交易是否纳入 Base；若要检查收据是否成功，请显式设置 receipt_status: "success"。请读取 verification.state，而不只是 HTTP 状态码：VERIFIED 表示满足所请求的检查，CONTRADICTED 表示至少有一项检查与证据相矛盾，INDETERMINATE 表示证据不足。这些状态不能证明最终性、授权、所有权、因果关系或盈利能力。

现已推出：执行成本基准

POST https://execution.dll.io/v1/benchmark/transactions

Benchmark 会将观测到的 Base Mainnet 交易成本与历史数据进行比较。公开接口使用 SIWX 钱包身份和 x402 v2 upto USDC：每个经过验证的钱包，前三次有效分析免费，之后每次交付的有效分析收费 $0.005。匿名的非空支付报价不会强制符合免费资格的钱包付费。N 笔哈希的付费批次报价上限为 N × 5000 个原子单位 USDC；实际结算仅统计有效的付费项目。HTTP 200 响应可能包含不可用的项目；请检查已完成的账单。历史百分位数不构成路由建议、盈利判断或未来费用保证。请参阅 Benchmark 指南 和 有界 SDK 客户端参考。

从这里开始

请从 HTTP 或 Remote MCP 快速入门 开始：无需 DLL 账户、API 密钥、钱包或私有仓库访问权限。JavaScript 路径仅使用 Node.js 内置功能；Remote MCP 路径使用你现有的 MCP 客户端。无需安装 npm，也无需 AgentKit SDK。

• Remote MCP：两个免费的只读工具和标准客户端设置；无需钱包或付款。
• 能力选择与常见问题：选择 Preflight、Verification 或 Benchmark，并了解其适用范围。
• 快速入门：发起首次 Preflight 或 Verification 调用。
• Agent 集成说明：了解何时调用以及如何解读结果。
• Preflight 契约：输入、输出、限制和错误。
• Verification 契约：纳入情况、收据／内容检查、实际成本、观测状态和错误。
• Benchmark 契约：历史成本背景、SIWX、授权额度、x402 付款和安全对账。
• Benchmark 客户端参考：具有独立支出授权的分阶段身份验证／付款协商；不保证与通用客户端兼容。
• Preflight 示例：curl、JavaScript、Python。
• Verification 示例：curl、JavaScript、Python。

公开发现与规范契约

• API 源站：简洁的能力选择器和规范集成链接。
• 机器可读索引：权威公开资源的索引，并非重复的 API 契约。
• 公开站点地图和爬取提示：明确公布的公开 GET 文档；不代表需要身份验证，也不能证明已被索引。
• 实时 OpenAPI：规范 API 架构和可用操作。
• 能力：当前可用的能力及其范围。
• x402 发现清单：Benchmark 付费资源发现；Preflight 和 Verification 均无需支付 x402 费用。

本仓库介绍 DLL 的功能及其使用方法。**实时 OpenAPI、well-known 元数据和实际 API 响应才是规范的公开契约。**本仓库并非实现或源代码的镜像。

文档检查通过 node --test test/*.test.mjs 离线运行：检查本地链接、JSON 语法和受限的客户端安全行为。这些检查不会创建真实签名、进行支付或发送区块链请求。发布验证期间还会根据规范产品架构检查完整示例。

限制与安全边界

仅支持 Base Mainnet。Preflight 接受未签名的候选交易；Verification 接受已广播交易的哈希。不提供签名、广播、托管或自主执行功能。DLL 不会证明所提供 from 地址的所有权，也不会授权交易。

模拟结果描述的是已观察到的链上状态，并不保证未来会被纳入区块、执行成功或产生应用层结果。默认的 L2 费用并非总执行成本；可选的网络费用完整度仅描述受支持的条件模型。无法获取的费用表示未知，而非零。DLL 不会验证资产净变化，不会全面扫描恶意合约，也不保证 Swap 的经济结果。请勿在请求中包含私钥、凭据或其他机密信息。Agent 仍需对之后的任何操作负责。

Verification 只检查所提供的预期。已纳入区块、成功且规范的观察结果并不保证状态已最终确定。其实际 L2 费用并非总成本；即使观察到 L1 费用，目前也无法得知总执行成本。