Model Starknet storage safely with a single #[storage] struct in Cairo
Define all persistent state in one #[storage] struct and access it via compiler-generated accessors. This prevents slot collisions, makes upgrades safer, and avoids felt252 overflow bugs in Cairo 1.x Starknet contracts.