EIP-7201 Namespaced Storage Slot Resolution and Verification

[gbrigandi]

Traverse fails to verify EIP-7201 namespaced storage slot calculations. The standard uses erc7201(id) = keccak256(keccak256(id) - 1) & ~0xff to derive storage locations, but developers often trust these constants without verification.
Storage slot collisions in upgradeable contracts cause data corruption and security vulnerabilities, leading to protocol hacks.
Traverse should detect EIP-7201 patterns and verify slot constants match expected calculations to prevent collisions that could compromise contract state.