houki-egov-mcp: Instructions file for Codex

AGENTS.md

エージェント（Claude Code / Cowork のセッション）がこのリポジトリで作業するときの目次です。手順の本文はここには書きません。仕様とコードを 2 本の PR で変える運用の全体は、spec-ids の docs/operations.md にあります。

仕様の正本

• 意図の正本は specs/current/ です。Wiki・Discussions・README・ツールの description は正本にしません。
• 変更は specs/changes/<yyyymmdd>-<slug>/ に出し、人が承認するまで Coder を起動しません。
• 承認された差分は Spec Publisher が specs/current/ に取り込み、差分のフォルダーを specs/releases/<実装を出したタグ>/<yyyymmdd>-<slug>/ へ移します（git mv）。移すときに proposal.md の「状態」を取り込み済みにします。取り込みでは current の spec.md に承認を書き足しません（下の「承認の記録」）。
• Coder は specs/current/ の本文を書き換えません。実装から仕様へ戻したい発見は、新しい specs/changes/ に書きます。
• 受入テストの it の名前には仕様 ID（例: SPEC-EGOV-GET-LAW-001）を含めます。npx spec-ids check（@shuji-bonji/spec-ids）が仕様とテストの ID を突き合わせ、CI（spec-gate）で走ります。

仕様 ID

• 形式は SPEC-<領域>-<機能>-<3 桁> です（例: SPEC-EGOV-GET-LAW-001）。領域 EGOV はこのリポジトリを表します。機能は specs/current/<dir>/spec.md のディレクトリ名を大文字にし、_ を - にしたものです（get_law → GET-LAW）。番号は機能ごとに 001 からの通し番号です。
• ディレクトリ名は、MCP ツールならツール名そのもの（get_law）です。ツールでない外から見える単位は、common_errors（全ツールに共通するエラー応答と引数の検査）、db_schema（ローカル DB）、cli_<コマンド>（cli_entry / cli_bulk_download / cli_sync / cli_status）に置きます。spec.md の front matter の kind に tool / common / db / cli のどれかを書きます。
• 機能ごとに数列を分けるので、並行するブランチが衝突するのは同じ機能の仕様を同時に足したときだけです。spec-ids check は、見出しの ID の機能がディレクトリ名と一致することも検査します。
• 一度使った番号はその機能の中で再利用しません。仕様を外すときは specs/changes/ の REMOVED に書き、テストからも ID を外します。
• 新しい ID は npx spec-ids next specs/current/<dir>/spec.md（またはディレクトリ名 npx spec-ids next get_law）で取ります。その機能の見出しの最大番号 +1 です。複数なら --count 3。番号の予約はしないので、同じ番号が 2 つの見出しに現れたら、マージ時に spec-ids check の重複検知で止まります。
• ID の形式（正規表現・機能の導き方・組み立て）は @shuji-bonji/spec-ids が決めています。このリポジトリで決めるのは specs/spec-ids.json の領域 EGOV、接頭辞なし、テストの glob src/**/*.test.ts だけです。

PR の種類

仕様とコードを、同じリポジトリの別の資産として扱います。人が振る舞いを承認するのは仕様 PR と初版起こしだけです。実装 PR で問うのは「承認済みの文と、テストと、コードが同じか」で、振る舞いに何を許すかの判断は実装レビューへ戻しません。CI の pr-scope（npx spec-ids pr-scope。@shuji-bonji/spec-ids 0.4.0 以降）が、ブランチ名の接頭辞ごとに変えてよいパスを検査します。