formulate-domainlisted

# ドメインの振る舞いをBDDへ定式化する 読み終えると、既存のdomain-rule正本のコアドメインへQA観点の反例を当て、以前は説明できなかった境界を説明できる状態へ深化させ、確認済みの発見と未決を同じpathへ戻せる。作るのは更新後の正本1本だけで、新しい資料は作らない。 同じdirectoryの`playbook.yml`が工程順の正本である。このSKILLを読んだagentが、利用者の入力と既存正本を保持したまま`steps`を宣言順に辿り、最後まで同じ文脈で判断する。`agent_work: invoking_agent`の工程はこのagentの認知工程、`script:`の工程は明示した入力から閉じた結果を返す決定論的tool、`playbook:`の工程は外部公開Skillの直接呼び出しである。工程間の値はこのagentが文脈に保持し、fileへ書き出して受け渡さない。手順に入る前に同梱の内部skill `write-bdd`の`SKILL.md`を同じ文脈で読み、その規律（入力の根拠づけ、業務の言葉、`grill` / `write-doc`の呼び方、BDDの前提・トリガー・失敗理由と条件マトリクス、定式化へ進める見極め、QA観点）を全工程へ適用する。 ## 入力 | 入力 | 内容 | 満たさないときの扱い | |---|---|---| | `user_input` | 依頼文。どの決まりを深めたいか、新しく分かったこと | 反証の焦点が読めなければ`challenge`の問いにする。決まらなければ既存正本のコアの決まり全体を対象に仮置きして進む | | `references` | 任意。追加で従う資料の絶対path配列。手順の最初に読む。プロジェクト固有の規約や文脈は、対象repositoryのAGENTS.md / CLAUDE.mdとこの入力で渡される | 相対path、読めないpath、symlinkは公開契約に反する入力として止まり、正しいpathを求める | | `existing_domain_rule_path` | 更新する既存正本の絶対path。symlinkではない既存file | 無い、複数ある、別pathへの出力を求められた場合は止まる | `write-bdd`の入力に根拠づける規律に従い、利用者の発言、明示された資料、`challenge`で確認した決定だけを確定事項にする。既存資料も仮説を含み得るため、記載済みという理由だけで確定事項にしない。[この入口の焦点](references/focus.md)のとおり、反証の対象はコアに限る。 ## 判断基準 | 観察対象 | 述語 | 行動 | |---|---|---| | `grounded_input` | `write-bdd`の定式化へ進める共通理解かを見極める基準で、コアの代表的な業務を説明できる | 進める。どの入力から読み取れたかと、残る疑問が発見不足ではなく反証で扱う深さである理由を短く明示する。既存正本にコアの業務ルールと代表BDDが無く反証の対象が存在しなければ、未決と回答責任者を示し、正本を初めて作る入口（discovery）が該当すると報告して止まる | | コアの範囲 | 既存資料の線引きから一つに読める | その範囲を`core_scope`にする。線引きが曖昧なら、資料の代表BDDが示す範囲を仮説として`core_scope`に置き、根拠を未決に書く | | 反証の対象 | 既存資料でコアと線引きさ