GiSTインデックスの構築中にサーバがクラッシュした場合、そのインデックスの状態はどうなるか。

INVALID状態となり、再作成(REINDEX)が必要