```markdown
# 実装完了証跡

## 完了契約
| 契約ID | 由来 | 上流で確立した完了義務 | 実装結果 | 実装箇所 | 反例と観測結果 | 証拠 | 状態 |
|--------|------|------------------|----------|----------|------------------|------|------|
| `{ID}` | 計画 / 新規発見（発見工程） | {同じIDの出典・対象状態・操作・評価時点・観測対象・期待結果} | {成立させた振る舞いまたは維持事項} | `{file:line。未実装なら「未実装」}` | {拒否した誤実装と、観測した具体的な値、副作用、レコード、フィールド、引数またはイベント。文字列の不在だけから拒否を判断しない。未実行なら理由} | 正常系: {結果}; 失敗経路: {結果または根拠付き非該当}; 境界状態: {結果または根拠付き非該当}; assertion: {観測内容}; コマンド: `{実行内容}` | 確認済み / 未完了 / 環境要因で未実証 |

## 影響経路の確認（該当する契約のみ）
| 契約ID | 確認した生成元・同種分岐・補助入口・消費元 | 移行・保持・旧経路 | 該当する不変条件と連続シナリオ |
|--------|--------------------------------------------|--------------------|----------------------------------|
| `{ID}` | {検索して確認した範囲} | {変更、保持、旧経路の扱い} | {状態、所有権、識別、認可・許可拒否、失敗・再進入・終端対応、再試行・再実行、並行性・実行交差のうち該当する軸ごとの名前付き証拠、その後にシナリオとコマンド。非該当軸は省略} |

## 品質ゲート
| 種別 | 実行内容 | 結果 | 今回の完了への影響と根拠 |
|------|----------|------|--------------------------|
| ビルド / テスト / 静的検査 | `{実行内容。今回実行 / 引継ぎ、元の実行記録、対象コード・設定・依存・環境の識別情報}` | 成功 / 失敗 / 未実行 | {必須条件への対応、変更との因果関係。妨げる / 妨げない / 未判定と、その根拠} |

## 未確認範囲
| 項目 | 理由 | 決定的な代替検証 | 残るリスク・今回の完了への影響 |
|------|------|------------------|------------------------------|
| {未確認事項。なければ「なし」} | {実装未完了、検証失敗、環境要因など。現行計画内で実行可能か（可能 / 不可）と、その具体的な根拠} | {実行した代替検証。なければ「なし」} | {残リスク、今回必要な作業か対象外か、根拠と次の作業。計画不備を示す場合は、現在の計画で実行・検証できない理由、変更が必要な前提・範囲・方法・検証能力、変更後に可能になる具体的な作業} |

「確認済み」は、該当する契約証拠と影響経路証拠がすべて成功した場合だけ選択する。失敗または未実行の項目は、理由、決定的な代替検証、残るリスクとともに未確認範囲へ記録する。
```