Intent-Code Divergence
Medium
- Confidence
- 97% confidence
- Finding
- The smart contract example documents a USDC-denominated $5 scan price (`scanPrice = 5e6`) but implements `payScan()` as `payable` and checks `msg.value`, which is native ETH, not USDC. This mismatch can cause incorrect payments, failed access control assumptions, or accidental over/under-charging if operators or users rely on the documentation instead of the actual settlement asset.
