header('Location: http://localhost:8080/result.php');

を

 header('Location: http://localhost:8080/index.php');

と書き換えて、POST後にindex.phpが更新されるようにしてみました。

この状態でページを更新すると二重投稿されると考えていましたが、そうはならず、POST時のみの投稿となりました。

理由を教えていただけると幸いです。