Smart Contract–Enabled P2P Energy Trading: A Formally Verified Game-Theoretic Framework (IEEE Open Journal of the Computer Society, 2026)