Mempoolハンターから数学的証明へ：Grvtの$19Mオンチェーンプレイ