Intent-Code Divergence
Medium
- Confidence
- 95% confidence
- Finding
- The release path validates that the destination token account is owned by the intended recipient, but it does not verify that the destination account uses the same mint as the escrow vault. In SPL Token transfers, source and destination mints must match, so a mismatched account will cause the transfer to fail and can leave the escrow unreleasable while still allowing the escrow account to be closed in the same instruction flow, which risks fund loss or denial of service depending on runtime behavior and account state.
