[takemi-ohama]

概要

スプリント m8c（#481）の確定仕様化。設計と要求を確定仕様へ取り込み、issues/ の作業文書を消す。コードは変えない。

課題	確定仕様	主な追記
#466	docs/specifications/snapshot-series.md（既存。手順・常に成り立つ条件は #478・f509cf5 で書き済み）	差分の作成の処理の流れの図と状態の図（組の snar snapshot.snar.pending-NNN を含む現行の形）、決定 1〜6 の結論と理由（決定 2 はレビューの修正後の形）、構成要素に _reject_blocked_incremental・_record_incremental・_discard_temps、データの表に組の snar、ログ（組を揃えた INFO）、エラー処理（組の snar を片付けられない）、作り直しの常に成り立つ条件に組の snar、テスト観点（組の snar の 6 項目）
#473	docs/specifications/snapshot-series.md	変更なし。#480 の記述（復元前バックアップの通し番号の名前）と #466 の取り込みが食い違わないことを確かめた
#236	docs/specifications/derived-image-language-servers.md（新設）	対象のイメージと 3 つのコマンド、言語サーバの置き場と PATH、TypeScript 5 の解決、Serena の uv のキャッシュを温めないこと、常に成り立つ条件 I1〜I7、決定 1〜5 の結論と理由、言語サーバの組の版、展開後の大きさ（arm64・containerd のストア）、運用、テスト観点（静的な検査と建てたイメージの手動確認）。base-image-contents.md の「派生イメージ」と関連リンクからつなぐ。用語集の 4 語の出所を確定仕様へ移し、意味から課題番号を外した

削除: issues/issue-466-{design,requirements}.md・issues/issue-236-{design,requirements}.md

設計と実装の差で実装に合わせたところ

• 差分の作成が失敗すると snapshot.snar が進んだまま残り、次の差分が失敗の前の変更を含まず復元でファイルを失う #466: 決定 2 — 設計は「差分を置いて snar を進める前に止まった世代は、次の差分が打つ前の snar から重ねて控える」形だった。レビューの修正 f509cf5 で、置く間の snar を snapshot.snar.pending-NNN へ移し、次の差分の作成が先に組を揃える形に変わった（重ねて控えるとディレクトリの改名 A→B・B→C が A→C になり、復元で C が欠けるため）。確定仕様はこの形で書いた。作り直しも組の snar を消す
• 差分の作成が失敗すると snapshot.snar が進んだまま残り、次の差分が失敗の前の変更を含まず復元でファイルを失う #466: 構造 — 設計の _install_incremental(snap_dir, incr_name) は実装では _install_incremental(snap_dir, num)。検査と meta の更新は _reject_blocked_incremental・_record_incremental に分かれ、仮のファイルの削除は作り直しと共有の _discard_temps になった（スプリント m8c #481 の cross-refactoring）
• 派生イメージに言語サーバを入れ、コンテナに入った時点でコードインテリジェンスが使えるようにする #236: 決定 6（手動確認は --entrypoint bash で打つ）は確定仕様では「運用」と「テスト観点」の手順として書いた。tsc の版は base が版を固定せずに入れるため、「base と同じ版」と書き、7.0.2 は建てた時点の値として添えた

検査

• env -u DEVBASE_ROOT uv run --locked pytest tests/ -q: 4363 passed, 32 skipped
• uvx ruff check --select=E9,F63,F7,F82 lib: All checks passed
• python3 .github/scripts/proper_term_check.py: 語の一覧が無いため飛ばした（検査していない）。書いた記録は端末の名前・利用者名・プロジェクト名を持たない

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

🤖 Generated with Claude Code

https://claude.ai/code/session_01Ad3gDUEH7d2yH8hCw1HEy2