[takemi-ohama]

Pull Request

Summary

スプリント m10a（#442 でマージ済み）の確定仕様化。#425 の要求・設計を確定仕様 docs/specifications/dev-service-name.md へ移し、
issues/ の元を消す。あわせて、既存の確定仕様のうち m10a の実装と食い違う記述を実装に合わせる（コードは変えない）。

関連 Issue

• DEV_SERVICE_NAME を空で書くと、bin/devbase は dev を使い Python は空の名前で開発サービスを探す #425 TUI のグループ選択が置き場の予約語 global / projects を拒まない（#386 の決定 5） #397 PR #308 の構造改善で時間の枠を超えて見送った提案の残り 14 件（env sync の同期関数の引数の束ね・grouped 判定の重複・TUI テストの内部依存） #310 snapshot rotate が世代を消したとき、場所の不正で外した数を要約に出さない #333（いずれも スプリント m10a #442 で閉じ済み）

変更点

• 新しい確定仕様 docs/specifications/dev-service-name.md（開発サービス名の読み方）: 読み方の表（未設定・空 → dev、空白だけ・それ以外 → 値のまま）、
  常に成り立つ条件 I1〜I4、設計の判断の結論と理由、テスト観点。issues/issue-425-requirements.md・issues/issue-425-design.md は削除
• base-image-chain-build.md の決定 6: 理由にしていた「get_dev_service_name() は空の値をそのまま返す」は DEV_SERVICE_NAME を空で書くと、bin/devbase は dev を使い Python は空の名前で開発サービスを探す #425 で事実でなくなった。
  2 つの読み方は今は揃っているが、将来分かれても建てるサービスと場所を決めるサービスが分かれないよう --service で渡す形を保つ、と書き直した。
  概要の「既定 dev」も「未設定か空なら dev」に揃え、関連リンクに新しい仕様を足した
• snapshot-series.md: クラス図の rotate(keep, max_total) の戻り値を int から RotateResult に直した（snapshot rotate が世代を消したとき、場所の不正で外した数を要約に出さない #333 の実装、本文の手順 6 はすでに RotateResult）
• test-environment-isolation.md: 隔離の検査の出力例の DEV_SERVICE_NAME: volume/compose.py:37 を今の読み取りの行 41 に直した
• TUI のグループ選択が置き場の予約語 global / projects を拒まない（#386 の決定 5） #397・PR #308 の構造改善で時間の枠を超えて見送った提案の残り 14 件（env sync の同期関数の引数の束ね・grouped 判定の重複・TUI テストの内部依存） #310 の仕様の追随（secret-backend.md・architecture.md・test-environment-isolation.md の env_delegate.py）は各実装 PR で済んでおり、
  消えた関数名（_group_attrs・_run_in_project・_dispatch・is_grouped など）が docs/ に残っていないことを確かめた
• 用語集は変えない（「開発サービス名」の意味は #425 を実装する（スプリント m10a） #438 で「未設定か空なら dev」に直してある）

利用者向けの変化

• 無し

移行の手順

• 無し

Test plan

• env -u DEVBASE_ROOT uv run --locked pytest tests/ -q → exit=0（4113 passed, 20 skipped）
• uvx ruff check --select=E9,F63,F7,F82 lib → exit=0
• python3 .github/scripts/proper_term_check.py → exit=0。ただし「語の一覧が無いため飛ばした」と出ており、検査はしていない
• glossary.py check --root . → exit=0（当たりなし）
• doc-lint.py --base origin/main → .ndf/project.json の ndf_policies.doc_lint が true でないため掛けていない
• 仕様の照合: lib/devbase/volume/compose.py の get_dev_service_name()（os.environ.get('DEV_SERVICE_NAME') or 'dev'）、
  tests/volume/test_compose_dev_service_name.py（4 値の単体と generate_scaled_compose の経路）、tests/test_env_isolation.py の
  test_collector_finds_known_reads・test_test_side_setenv_wins、lib/devbase/snapshot/manager.py の RotateResult

補足

開発者向けの文書だけの変更のため CHANGELOG は書かない。

🤖 Generated with Claude Code

https://claude.ai/code/session_01436uwddpXYVHsfZa3f8fML

モード: standard / 通した工程: 確定仕様化 → Pull Request