[takecchi]

変異の記録の地図（#1963）で packages/postgres/src/bin/migrate.ts は直接の記録が薄かった（PR #113 の変異8、#1116 の B10）。そこで変異を9形当てた。そのうち2形が生き残り、1形は約束が書かれていた。この PR はその1形を塞ぐ。

生き残っていた変異

bin/migrate.ts で、解釈した extensionMode を runMigrations に渡さない（--extension-mode verify を指定しても既定の create で流れる）。

bin/migrate.ts を子プロセスで起動する試験4ファイル（migrate-cli-process・migrate-cli-schema・analyze-memories・analyze-memories-scope、25件）がすべて緑のままだった。--extension-mode を CLI 経由で試す試験が無く、verify の振る舞いは runMigrations を直接呼ぶ extension-mode.postgres.test.ts だけが見ていた。

（同じ回で生き残ったもう1形〔finally の pool.end() を消すと、終了がプールの idle 待ちで遅れるだけで、終了コードも出力も変わらない〕は、約束が書かれていないので、塞がずに別の Issue にまとめる。）

約束はすでに書かれている

packages/postgres/README.md の CLI の節は、--extension-mode <create|verify> について「verify は何も発行せず pg_extension を読み、足りない拡張があれば拡張名と実行すべき SQL を示して失敗する（CREATE EXTENSION 権限を持たないロール向け）」と書いている（ADR 0093）。

足したもの

extension-mode.postgres.test.ts（直列の群）に「測定2b」を足した。測定2と同じ「vector だけが無い」使い捨ての DB に対して CLI を --extension-mode verify で起動し、次の3つを見る。

• 終了コードが 1 になる。
• stderr に CREATE EXTENSION IF NOT EXISTS vector; が出る。
• vector の拡張も observations の表も作られない。

CLI の起動は migrate-cli-schema.postgres.test.ts と同じ形（tsx で src/bin/migrate.ts を叩く。env は PATH と渡したものだけ）にした。

変異で確かめたこと

手元の Postgres 17 + pgvector（5432 以外のポート）で確かめた。

• main の実装: extension-mode.postgres.test.ts 7件すべて緑。
• extensionMode を渡さない: 足した「測定2b」だけが赤（終了コードが 0 のまま、vector が作られた）。
• prettier・eslint は通った。