proofedDate: 20218003 comment: wip: >- y - links as wip (current line 13 item 1) limit order && ditto (current line
14 item 2) limit order
Once the Ride arrives at its destination, users can exchange their Ride tickets for Strategy tokens.
The Admin informs the DeFi Pooling Operator when offboarding begins. In this phase, the Operator matches each user limit order against the Pool Manager limit order (Step 1 in diagram). There are two different scenarios here:
A. If the on-chain trade succeeded, the user exchanges Ride tickets for Strategy tokens using the execution limit order (Step 2 in diagram).
B. If the on-chain trade failed, the user exchanges the Ride tickets for the original Investment tokens using the cancellation limit order.
Once the settlements between the users and the Pool Manager are submitted to StarkEx, and the last state including them is approved on-chain, offboarding is complete.
The final step is for the Admin to call the Ride Cleanup function in the Pool Manager smart contract. This function withdraws the Ride ticket tokens and "burns" them (Step 3 in diagram).