中長期拡張の素地として整理する。 - [ ] Spec & Verification Kit の拡張案（TLA+ / model checking 入口など）を草案化 - [ ] Antigravity / Gemini など他エージェントから利用する設定例・ワークフローを Docs に追記する方針を整理 親: #1193
