name: value-trace description: "Use when verifying a process design by tracing each event from input to output — source|info|receiver triples, DFD leveling check, severed path detection. Trigger phrases: value trace, event tracing, trace event, DFD leveling, severed path, verify design."
価値経路トレース(イベント総点検)
各イベントが 入力→内部プロセス→出力 まで遮断なく届くかを、三つ組で1ホップずつ追う点検。 原則:spec-principles(PR6 価値経路・PR9 レベリング・PR1 ラップ境界)。
手順
- イベントリストから対象イベントを列挙。各イベントの入力と出力を先に書き出す。
- 各イベントを
|情報の発生源|情報|情報の受け手|の表で1ホップずつ記述。 - レベリング厳守(PR9):外部エンティティ/データストアは L1 プロセスの境界にしか繋がない。リーフへは親を経由(
利用者→P1→P1.1)。リーフから出る時も親経由(P1.1→P1→P2→P2.1)。 - 外部システム/LLM 生成物は入力として入り、加工後に出力へ出る(PR1)。
判断基準・done
- 各入力が消費され、各出力に到達するか(遮断=穴、PR6)。
- 階層スキップが無いか(
外部→leaf直結は禁止)。 - 削除済/post-MVP の項目は印で区別。
成果物テンプレ
イベント毎に:入力/出力サマリ → 三つ組表(段階で見出し分割可)→ ✅ 連続性の結論。 最後に総点検の結論(貫通/遮断/削除/post-MVP)。