结算域 —— AVIP-SET

结算域管的是价值如何在合约控制下移动。资金由链上合约持有,任何单一方 —— 包括平台 operator —— 都无法在本域所述规则之外把它取走。存在两种托管模型(每个子协议一种),外加一个超时逃生口和一条链上争议路径。

AVIP-SET-ESC —— 托管 Escrow

Purpose

EscrowManager 合约在 requester 与 executor 之间托管 ERC-20 资金(通常是 USDC),只在证明验证通过后放款,或在失败、过期、争议时退款。

Normative Requirements

• 创建 escrow MUST 要求一个有效的 operator 签名,绑定 orderId、双方、token、金额、手续费和 nonce。
• 每个 nonce MUST 只能消费一次(防重放)。
• 放款 MUST 先对 AnchorRegistry 验证执行证明,再分发资金。
• 任何一方 —— requester、executor 或 operator —— 都 MUST NOT 能在放款 / 退款 / 争议 / 过期路径之外单方移动资金。
• 截止之后,退款 MUST 可被无许可调用(refundExpired)。

Data Structures

Escrow 记录

Status 枚举

State Machine

Error Conditions

On-Chain Mapping

Events:EscrowCreated、EscrowReleased、EscrowRefunded、EscrowFrozen。完整接口见 Pro File · 智能合约。

AVIP-SET-CHK —— 提交清单

Purpose

A2BOrderGateway 合约为 Agent 对 Business 支付强制一个固定有序的资金格序列。只有前面每个格都按序填满,商户才可能被付款。

Normative Requirements

• 合约 MUST 拒绝任何不按格序的迁移。
• 在存在一张金额 ≤ 充值的已提交 invoice 之前,资金 MUST NOT 到达商户。
• 支付交易 MUST 由已提交 invoice 的字段构造,使任何一方都无法替换目的地或金额。

State Machine

终止状态

On-Chain Mapping

AVIP-SET-EXP —— 超时自助退款

Purpose

通用逃生口:订单截止后,任何人都能触发退回用户,完全不依赖平台、Agent 或商户在线。

Normative Requirements

• A2BOrderGateway.expireOrder(intentHash) MUST 可被任何人调用。
• 合约 MUST 在动作前校验 block.timestamp > deadline。
• 过期时,被充值的资金 MUST 转回用户智能账户(userSA)。

语义

expireOrder(intentHash):
  require block.timestamp > deadline
  order.status = EXPIRED
  transfer(deposit) → userSA

托管模型里由 refundExpired(AVIP-SET-ESC)提供同样的活性。只要世界上还有一个 EVM 兼容节点,用户就能取回资金 —— 这就是协议层"抗跑路"的含义。

AVIP-SET-DSP —— 争议裁决

Purpose

DisputeController 冻结被争议的 escrow,从双方收集证据哈希,并通过指挥 EscrowManager 执行仲裁人的裁决 —— 全程在链上,使裁决与其资金移动原子完成。

Normative Requirements

• 开启争议 MUST 立即冻结 escrow(AVIP-SET-ESC → Frozen)。
• 只有获授权的仲裁人 MUST 能 resolve 争议。
• 若仲裁人在 DISPUTE_TIMEOUT(7 天)内未裁决,任何人 MUST 能调用 resolveExpired 退回 requester(失败安全)。
• 一次裁决 MUST 在单笔交易内记录决定并分发资金。

Data Structures

争议记录

Decision 枚举

证据以哈希(bytes32)存储,内容在链下。这样 gas 低,也避免把可能敏感的争议细节发到公链。

State Machine

On-Chain Mapping

Events:DisputeOpened、EvidenceSubmitted、DisputeResolved。完整接口见 Pro File · 智能合约。