「蛇神ゲー」が「SNo.39 希望皇ホープ・ザ・ライトニング」を攻撃した場合、それぞれの効果処理はどうなりますか？

「蛇神ゲー」が表側攻撃表示の「SNo.39 希望皇ホープ・ザ・ライトニング」を攻撃した場合、それぞれの効果処理はどうなりますか？

「蛇神ゲー」が「SNo.39 希望皇ホープ・ザ・ライトニング」を攻撃した場合、そのバトルステップにただちに「SNo.39 希望皇ホープ・ザ・ライトニング」の『①：このカードが戦闘を行う場合、相手はダメージステップ終了時までカードの効果を発動できない』モンスター効果が適用されます。

次に、ダメージステップ開始時に「蛇神ゲー」の『③：このカードが相手モンスターを攻撃するダメージステップの間、そのモンスターの効果は無効化され、攻撃力は元々の攻撃力の半分になる』モンスター効果が適用され、「SNo.39 希望皇ホープ・ザ・ライトニング」のモンスター効果は無効化され、攻撃力は元々の攻撃力2500の半分、1250になります。

さらにダメージ計算時に、「SNo.39 希望皇ホープ・ザ・ライトニング」のモンスター効果が無効化されていますので、「蛇神ゲー」の『④：このカードが戦闘を行うダメージ計算時に発動できる。このカードの攻撃力は、フィールドのモンスターの一番高い元々の攻撃力と同じになる』モンスター効果を発動する事ができます。
発動した場合には、「蛇神ゲー」は「SNo.39 希望皇ホープ・ザ・ライトニング」の元々の攻撃力2500の数値となり、攻撃力1250の「SNo.39 希望皇ホープ・ザ・ライトニング」と戦闘ダメージ計算を行う事になります。
（「SNo.39 希望皇ホープ・ザ・ライトニング」が戦闘によって破壊されます。）