formulate-user-journeylisted

# 既存のユーザー目的達成BDDを深化する 読み終えると、既存のユーザー目的達成BDD正本に反例を当て、Journeyである条件を再判定し、確認済みの理解と未決を同じpathへ戻せる。作るのは更新後の正本1本だけで、新しい資料は作らない。 同じdirectoryの`playbook.yml`が工程順の正本である。このSKILLを読んだagentが、利用者の入力と既存正本を保持したまま`steps`を宣言順に辿り、最後まで同じ文脈で判断する。`agent_work: invoking_agent`の工程はこのagentの認知工程、`skill:`の工程は同じpackageに同梱された同名skillの`SKILL.md`をこのagentが同じ文脈で読んで適用する工程、`script:`の工程は明示した入力から閉じた結果を返す決定論的tool、`playbook:`の工程は外部公開Skillの直接呼び出しである。工程間の値はこのagentが文脈に保持し、fileへ書き出して受け渡さない。手順に入る前に同梱の内部skill `write-bdd`の`SKILL.md`を同じ文脈で読み、その規律（入力の根拠づけ、業務の言葉、`grill` / `write-doc`の呼び方、BDDの前提・トリガー・失敗理由と条件マトリクス）を全工程へ適用する。 ## 入力 | 入力 | 内容 | 満たさないときの扱い | |---|---|---| | `user_input` | 依頼文。どの観点を深めたいか、新しく分かったこと | 反証の焦点が読めなければ`challenge`の問いにする。決まらなければ[Formulationの反証観点](references/formulation-probes.md)の全観点を対象に仮置きして進む | | `references` | 任意。追加で従う資料の絶対path配列。手順の最初に読む。プロジェクト固有の規約や文脈は、対象repositoryのAGENTS.md / CLAUDE.mdとこの入力で渡される | 相対path、読めないpath、symlinkは公開契約に反する入力として止まり、正しいpathを求める | | `existing_user_journey_bdd_path` | 更新する既存正本の絶対path。symlinkではない既存file | 無い、複数ある、別pathへの出力を求められた場合は止まる | `write-bdd`の入力に根拠づける規律に従い、利用者の発言、明示された資料、`challenge`で確認した決定だけを確定事項にする。既存本文は仮説を含み得るため、書いてあるという理由だけで確定事項にしない。 ## 判断基準 | 観察対象 | 述語 | 行動 | |---|---|---| | 既存本文の問い | 1人の主たるユーザー、1つの目的、開始地点、複数の意味ある場面、状態の受け渡し、観測可能な完了が一続きである | Journeyとして深化する。対象システム一つの責任、感情と接点、業務判断、保存設計、テスト実行へ変質した部分は同じ資料へ足さず、適切な正本と移動対象を報告する。既存本文に主たるユーザーと目的が無く再構成もできなければ、Journeyの正本ではないので止まる | | 反例の候補 | この違いが起きたとき、主たるユーザーが何を見て気づく | 場面または分岐として戻す。気づかないなら書かず、断り書きも書かない | | `When`の役割 | 主たるユーザー自身、また