Intent-Code Divergence
Medium
- Confidence
- 97% confidence
- Finding
- The example documents a nested-ownership model where NFTs are owned by the collection, but the `transfer_nft` entry function checks that the caller directly owns the NFT object. In practice this mismatch can make transfers fail or mislead developers into implementing incorrect authorization logic in production contracts, causing broken asset movement or unsafe modifications when they attempt to reconcile the inconsistency.
