ट्रांसफ़र पाइपलाइन

sequenceDiagram
    autonumber
    participant U as धारक / ऑपरेटर
    participant T as ARexToken._update
    participant E as EligibilityHook (CHECK, ELIGIBILITY)
    participant X as ExpiryHook (CHECK)
    participant R as TraceabilityHook (EXECUTED)
    U->>T: safeTransferFrom(from, to, id, amount, data)
    T->>T: लॉक (रीएंट्रेंसी) · पॉज़ नहीं
    T->>E: canSend(from) / canReceive(to)
    E-->>T: true / true
    T->>T: बैच मौजूद है · status != RETIRED · amount ≤ balance − frozen
    T->>E: check(OP_TRANSFER, operator, from, to, id, amount, data)
    E-->>T: OK
    T->>X: check(OP_TRANSFER, …)
    X-->>T: OK
    T->>T: super._update (बैलेंस, सप्लाई)
    T->>R: onExecuted(OP_TRANSFER, …)
    R-->>T: EPCIS-आकार का इवेंट इमिट करें
    T->>T: अनलॉक
    T-->>U: TransferSingle

flowchart LR
    A["check कोड ≠ 0 लौटाता है"] --> B["revert ARexHookRejected(hook, code)"]
    B --> C["कोई बैलेंस नहीं बदला"]
    B --> D["कोई TransferSingle इमिट नहीं हुआ"]
    B --> E["फ़्रंट-एंड कोड → संदेश मैप करता है<br/>उदा. keccak256('AREX:BATCH_EXPIRED')"]