[takemi-ohama]

#463 の設計文書を追加しました。VS Code Server が使う共通のボリュームと、コンテナごとに持つ状態の扱いについて、要求と受け入れ条件、およびその設計をまとめています。あわせて用語集に語を加えました。実装の変更は含みません。

利用者向けの変化

• 無し

移行の手順

• 無し

変更の要点

• issues/issue-463-requirements.md を追加しました（253 行）。VS Code Server のボリュームについての要求と受け入れ条件をまとめています。
• issues/issue-463-design.md を追加しました（480 行）。共通のボリュームとコンテナごとの状態の設計を記しています。
• docs/glossary.md と docs/glossary/glossary.json に、設計で使う用語を加えました。
• 変更は 4 ファイル、773 行の追加だけです。

テスト

supervise.py の run のステップの結果です。

ステップ	exit	結果
glossary	0	ok（宣言と用語集が揃っている）
requirements-check	2	stopped（issues/issue-463-requirements.md を読めない: [Errno 2] No such file or ...）

• requirements-check は exit 2 で止まり、要求の検査は通っていません。
• このファイルは本 PR の変更に含まれています。検査が実行時にファイルを見つけられなかった原因を確かめる必要があります。

モード: standard / 通した工程: 設計 → 要求と受け入れ条件 → ドキュメントレビュー

🤖 Generated with Claude Code

決めたこと

issues/issue-463-design.md

• 決定 1: 作り直しで消えてよいものは共有もボリュームにもせず、共有を bin/ に絞って ~/.vscode-server/bin に付ける（利用者の決定、2026-10-14）
• 決定 2: 旧形式と取り違えず中身が分かる名前にするため、共通の VS Code Server ボリュームを devbase_vscode-server-bin にする
• 決定 3: 建て直していないイメージでも attach できるよう、起動の後の処理で bin の所有者を ~/.vscode-server の所有者へ揃える
• 決定 4: 同時に走っても使っている版を消さないため、残す版の数を 5 にし、版を product.json の更新時刻で並べる
• 決定 5: VS Code Server の持ち物を消さないため、片付けを共通の VS Code Server ボリュームの bin/ の 3 種に限る
• 決定 6: 利用者が移った後の後片付けを忘れないよう、旧形式の案内を devbase up のたびに最後に出し、印を持たない

[takemi-ohama]

🤖 cross-review | round 1 | codex | REQUEST_CHANGES

ドメインモデルの修正が必要な指摘 2 件。

[takemi-ohama]

🤖 cross-review | round 1 | kiro | REQUEST_CHANGES

ドメインモデルの不変条件 I1 と I2 が、プロジェクトが ~/.vscode-server/data だけを宣言した場合で矛盾する。I1 を無条件の「片方だけを足さない」から、I2 の例外（data だけ宣言のときは共通だけを足す）と両立する条件へ直すこと。

[takemi-ohama]

🔧 /ndf:fix サマリ | round 1 | commit dc4b464

対応件数: critical=0 / major=2 / minor=0（合計 2 件）
決着: 2 件 / 見送り: 0 件 / 却下: 1 件
CI: SUCCESS

[takemi-ohama]

🤖 cross-review | round 2 | claude | APPROVE

round 2 の差分（I1 の書き換え）は I2・_vscode_volumes の責務・受け入れ条件 5 のテスト行と両立しており、新たな指摘は無い。

[takemi-ohama]

🤖 cross-review | round 2 | kiro | REQUEST_CHANGES

round 1 の I1/I2 矛盾（data だけ宣言のケース）は I1 の書き換えで解消。ただし書き換えた I1 に、プロジェクトが ~/.vscode-server だけを宣言したケース（適用範囲で明示している既存の経路）での新しい食い違いが残る。1 件。

[takemi-ohama]

🔧 /ndf:fix サマリ | commit cbf2e89

対応件数: critical=0 / major=0 / minor=0（合計 0 件）
決着: 1 件 / 見送り: 0 件 / 却下: 1 件
CI: NONE

[takemi-ohama]

🤖 cross-review | round 3 | claude | APPROVE

round 3 の差分（共有を bin/ だけにし、extensions/・extensionsCache/・data/ を書き込みレイヤーに残す再設計）は、要求・設計・用語集の間で受け入れ条件・不変条件 I1〜I11・構成要素・テスト設計の行が対応しており、既存の entrypoint（ubuntu で動き sudo で所有者を直す・準備の印の前に devbase_setup_vscode_server_dir を呼ぶ）、window_title の docker exec（開発ユーザーで data/Machine を mkdir -p）、cmd_up の down → up とも矛盾しない。新たな指摘は無い。

[takemi-ohama]

🤖 cross-review | round 3 | codex | APPROVE

指定コミット間の変更差分に、新規の critical / major 指摘はありません。判断の根拠: 利用者の承認（共有を bin/ に限定し、拡張と状態の消失を受け入れる決定）、Value 3（プロジェクトごとの状態の分離）、C4（旧形式のボリュームを自動削除しない）。

[takemi-ohama]

🔧 /ndf:fix サマリ | commit (なし)

対応件数: critical=0 / major=0 / minor=0（合計 0 件）
決着: 0 件 / 見送り: 0 件 / 却下: 0 件
CI: NONE