この作業に渡された計画や上流の記録で完了契約として定義されたすべての行と、テスト・実装など後段で実際に新規発見として追加した契約行を出力してください。出典は、レポートや会話など実際に渡された内容に従い、特定のファイル名・保存形式や別の契約台帳の存在を仮定しないでください。追加行がない場合は計画や上流の記録で定義された完了契約の行だけを出力し、別の台帳や未発生の追加行がないことを不足・未完了・警告にしないでください。

後のユーザー入力が義務を変更・撤回している場合は、その修正を反映して現行の要求に残る行を記録してください。古い計画の義務を復活させたり、撤回された義務を未完了としたりせず、変更した行では修正の出典と現在の成立条件を記載してください。以下のID・意味の保持は、現行の要求に残る行に適用してください。

既存IDがある行は、ID、由来、上流で確立した成立条件と意味を維持し、実装順、テスト順、証拠順に合わせてIDを付け替えないでください。IDのない行は新しい契約IDを作らず、「契約ID / 出典」欄に実際の出典と該当箇所（レポートの見出し・行、会話の要求箇所など）を記載し、影響経路の表でも同じ出典と箇所で対応付けてください。表示用の連番を既存IDの代わりにしないでください。

状態は次の順で判定してください:
- 実装不足または契約の不成立を示す検証失敗がある行は「未完了」です。環境制約もある場合はこちらを優先してください。
- 実装不足・契約の不成立がなく、残る未確認項目がすべて、確認済みの具体的な環境制約とそれが妨げた検証として説明できる場合は「環境要因で未実証」です。環境制約で実行自体が止まったことと、実行した検証で契約の不成立を観測したことを区別してください。
- それ以外の情報・証拠不足は「未完了」です。報告に情報がないだけで環境要因と判断せず、不明な原因は不明と記載してください。
- 該当する契約証拠と影響経路証拠がすべて成功した行だけ「確認済み」です。

実装状態・実装箇所が未確認の場合は「不明」と記載してください。情報・検証が不足しているだけで未実装と断定せず、実装がないことを確認した場合だけ「未実装」と記載してください。

不足情報は推測で埋めず、失敗・未実行・未確認の項目を、その理由、決定的な代替検証、残るリスクとともに未確認範囲へ記録してください。