FA withdrawals · standard

flowchart TD
  subgraph MICH["L2 · MICHELSON"]
    direction TB
    NAC["Call gateway.call_evmTzKT · transaction · gateway"]:::mich
  end

  subgraph EVM["L2 · EVM"]
    direction TB
    WB["Call FABridge.withdrawBlockscout · transaction · 0xff…02"]:::evm
    EV["✓Event WithdrawalBlockscout · event · 0xff…02✓ etherlink.on_withdraw✚ EtherlinkWithdrawOperation"]:::evm
    TB["Call Token.burnBlockscout · call · ERC-20"]:::evm
    BURN["✓Event TransferBlockscout · event · ERC-20✓ etherlink.on_transfer✎ EtherlinkTokenHolder"]:::evm
    WB --> EV
    EV --> TB
    TB --> BURN
  end

  subgraph KER["ROLLUP / KERNEL"]
    direction TB
    SOM["Call SendOutboxMessageBlockscout · transaction · 0xff…03"]:::sys
    OUT["✓Rollup outbox messagerollup_node · outbox · rollup✓ rollup_message_index"]:::sys
    SOM --> OUT
  end

  subgraph L1["L1 · MICHELSON"]
    direction TB
    CEM["✓Rollup cementTzKT · transaction · rollup✓ tezos.on_cement_commitment✚ RollupCementedCommitment"]:::l1
    EXE["✓Rollup executeTzKT · transaction · rollup✓ tezos.on_rollup_execute✚ TezosWithdrawOperation"]:::l1
    WD["Call ticketer.withdrawTzKT · transaction · FA-ticketer"]:::l1
    WT(["Watchtower"]):::actor
    CEM --> EXE
    EXE --> WD
  end

  NAC -->|NAC| WB
  EV --> SOM
  OUT -.->|⏳ ~14 days · refutation window| CEM
  WT --> EXE

  class EV indexed
  class BURN indexed
  class OUT indexed
  class CEM indexed
  class EXE indexed
  class NAC faded
  class WB faded
  class TB faded
  class SOM faded
  class WD faded
  class WT faded

  classDef l1 fill:#e8836b1f,stroke:#e8836b,stroke-width:1.5px;
  classDef evm fill:#5aa6e01f,stroke:#5aa6e0,stroke-width:1.5px;
  classDef mich fill:#6fbf731f,stroke:#6fbf73,stroke-width:1.5px;
  classDef ker fill:#d9a83c21,stroke:#d9a83c,stroke-width:1.5px;
  classDef sys fill:#8b919c1f,stroke:#8b919c,stroke-width:1.5px;
  classDef actor fill:transparent,stroke:#e8836b,stroke-width:1.5px;
  classDef indexed stroke-width:2px;
  classDef faded stroke-width:1.5px;

  linkStyle 0 stroke:#5aa6e0,stroke-width:2.4px;
  linkStyle 1 stroke:#5aa6e0,stroke-width:2.4px;
  linkStyle 2 stroke:#5aa6e0,stroke-width:2.4px;
  linkStyle 3 stroke:#8b919c,stroke-width:2.4px;
  linkStyle 4 stroke:#e8836b,stroke-width:2.4px;
  linkStyle 5 stroke:#e8836b,stroke-width:2.4px;
  linkStyle 6 stroke:#6fbf73,stroke-width:2.4px,opacity:0.55;
  linkStyle 7 stroke:#5aa6e0,stroke-width:2.4px;
  linkStyle 8 stroke:#8b919c,stroke-width:2.4px,stroke-dasharray:6 5;
  linkStyle 9 stroke:#e8836b,stroke-width:2.4px;