```markdown
# 実装完了証跡

## 完了契約
| 契約ID / 出典 | 由来 | 上流で確立した完了義務 | 実装結果 | 実装箇所 | 反例と観測結果 | 証拠 | 状態 |
|--------|------|------------------|----------|----------|------------------|------|------|
| {既存ID、または出典と該当箇所} | 計画 / 新規発見（発見工程） | {対象条件と期待結果} | {成立させた振る舞いまたは維持事項} | `file:line` / 不明 / 未実装 | {誤実装と実際の観測。未実行なら理由} | {検証の出典、各経路の結果、assertion、コマンド} | 確認済み / 未完了 / 環境要因で未実証 |

各列には次の内容を記録してください。

- **契約ID・出典と上流の義務:** 既存IDを維持し、IDがなければ出典と該当箇所を示す。同じIDまたは出典について、対象状態・操作・評価時点・観測対象・期待結果を省略しない。
- **実装結果・実装箇所:** 成立させた振る舞いまたは維持事項と、実装した `file:line` を示す。実装状態や箇所を確認できない場合は「不明」、実装がないことを確認済みの場合だけ「未実装」と書く。
- **反例と観測結果:** 拒否した誤実装と、観測した具体的な値、副作用、レコード、フィールド、引数またはイベントを示す。文字列の不在だけから拒否を判断しない。未実行なら理由を記録する。
- **証拠:** 渡されたテスト名・ファイル位置・その他の証拠出典を省略せず、未提示なら「未提示」と書く。正常系の結果、失敗経路と境界状態それぞれの結果または根拠付きの非該当、assertion の観測内容、実行コマンドを記録する。

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

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

## 未確認の検証・調査の試行履歴（該当する場合）
| 対象義務 | 試行した方式・実行条件 | 結果・証跡 | 確認した制約 | 前段の変更案・条件差・結果が変わらない理由・出典 | 次に可能な作業と既試行との差分 |
|----------|-----------------------|------------|--------------|--------------------------|--------------------------------|
| {元要件または採用済み契約との対応} | {結果に関係する入力・環境・方式} | {成功と推測せず観測結果と記録場所} | {解消できない条件、確認主体・確認状況とその根拠} | {前段で結果に影響しないと判断された各変更案について、変わる具体的な条件・結果が変わらない理由・出典を対応付けて保持。同じ制約という一般的な要約だけに置き換えない。直接確認と報告由来を区別。未提示なら「未提示」} | {必要で実行可能な作業、結果に影響する差分と制約を解消・回避できる根拠。なければ「なし」} |

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

```