解决方案概述

flowchart TB
    L3["第 3 层 · IARexAttest<br/>按批次和主题的证明"]
    L2["第 2 层 · IARexHook + IARexHookManager<br/>一条有序的规则管道"]
    L1["第 1 层 · IARexBatch<br/>身份、状态、元数据承诺与谱系"]
    L0["第 0 层 · ERC-1155 + ERC-165 + IERC7943MultiToken<br/>余额与执行面"]
    L3 --- L2 --- L1 --- L0
    classDef l3 fill:#edf5ff,stroke:#0f62fe,color:#161616
    classDef l2 fill:#d0e2ff,stroke:#0f62fe,color:#161616
    classDef l1 fill:#a6c8ff,stroke:#0f62fe,color:#161616
    classDef l0 fill:#78a9ff,stroke:#0043ce,color:#161616
    class L3 l3
    class L2 l2
    class L1 l1
    class L0 l0

flowchart LR
    STD["<b>标准</b><br/>standard/ · contracts/standard/<br/>规范性 · CC0"]
    REF["<b>参考实现</b><br/>ARexToken · ARexAttestations<br/>MIT"]
    DEMO["<b>演示</b><br/>7 个钩子 · 3 个扩展<br/>MIT · 非规范性"]
    STD -->|被实现| REF -->|被演示| DEMO
    DEMO -.->|仅依赖接口| STD

flowchart TD
    A[safeTransferFrom / createBatch / burn / forcedTransfer / transform] --> B["重入锁"]
    B --> C{"是否已暂停？"}
    C -- 是，且非强制 --> X1[EnforcedPause]
    C -- 否 --> D{"canSend from / canReceive to<br/>所有 ELIGIBILITY 钩子的合取"}
    D -- 否 --> X2[ERC7943CannotSend / CannotReceive]
    D -- 是 --> E{"逐个 id：是否存在？未注销？<br/>数量 ≤ 余额 − 冻结量？"}
    E -- 未通过 --> X3[ARexBatchNotFound / ARexBatchRetired /<br/>ERC7943InsufficientUnfrozenBalance]
    E -- 通过 --> F{"逐个 id，按顺序逐个 CHECK 钩子：<br/>check → 代码"}
    F -- 代码 ≠ 0 --> X4["ARexHookRejected(hook, code)"]
    F -- 全部为 0 --> G["余额已更新 · 已记录供应量"]
    G --> H["逐个 id，逐个 EXECUTED 钩子：onExecuted"]
    H --> I["解锁"]

graph LR
    W1["小麦 #1<br/>250 吨 · 农户"] -- "transform（重新分批）" --> W2["小麦 #2<br/>100 吨 · 买方 A"]
    W1 -- "transform（重新分批）" --> W3["小麦 #3<br/>150 吨 · 买方 B"]
    W2 -- "transform（加工，TRANSFORMER_ROLE）" --> F4["面粉 #4<br/>75 吨 · 磨坊"]