Text this: Smart Contract–Enabled P2P Energy Trading: A Formally Verified Game-Theoretic Framework