Redemption
Redemption burns the token and is irreversible. AgoraVault.redeem(tokenId, shippingHash) records keccak256 of the holder's shipping details; the details are submitted off-chain afterwards and checked against that hash, so no address data is written on-chain.
The burn emits an event recorded into a custody ledger holding token id, serial hash, burning address, shipping commitment, block and transaction. That ledger is the shipping queue. The item then leaves custody under courier, insured in transit.
Burning reduces token supply for that item to zero, and it cannot be re-minted for that serial.
The token is burned before the item ships. Shipping first would let a holder take delivery and still sell the token.