Detector: Storage key reused with different value types

[Gbangbolaoluwagbemiga]

Epic: Detectors (wave 3)

Summary

Add a static-analysis detector for storage key reused with different value types.

Background & Problem

The same key symbol read/written as different types corrupts data or panics on deserialize.

Acceptance Criteria

• Flags a key used with conflicting value types.
• Reports both sites.

Technical Notes

Follow the rule pattern in tooling/sanctifier-core/src/rules/ with an insta golden snapshot.

---

Filed as part of the mainnet-readiness & world-class roadmap. Scope is intentionally small enough for one focused PR; comment to claim.

[Meet-hybrid]

Can I work on this please?

[grantfox-oss]

🦊 GrantFox — @Meet-hybrid has been assigned to this issue as part of the Official Campaign | FWC26 campaign!

Next steps:

1. Open a Pull Request referencing this issue (e.g., Closes #794)
2. Your PR will be reviewed by the Centurylong maintainers

Good luck! Track your progress on GrantFox.

[Gbangbolaoluwagbemiga]

You are assigned @Meet-hybrid , ensure all CI checks passes