enhancement(grilling): FR-DOG-1 の dogfood 実走 — 会話時の遮断器発火と「ツリー未完走」明示開示を実測する

[j5ik2o]

重複・現行状態の確認

• gh issue list --state all --search "dogfood grilling" → ヒットは enhancement: grilling の depth を質問数予算から枝刈り閾値へ再定義し、frontier 駆動の終了条件へ再同期する #2785(CLOSED、本 intent 本体)のみ。同一の未検証項目を追跡する open Issue は無し。
• origin/main と関連 PR(feat(grilling): resync grilling-protocol to upstream frontier-driven skeleton (Bolt 1) #2828 / feat(grilling): grilling モード対応の question-budget センサーと契約テスト (Bolt 2) #2843 / docs(grilling): prose 消費者と onboarding 投影を frontier 契約へ再同期 (Bolt 3) #2844 / chore(record): 260810-grilling-frontier-resync の工程記録・CodeKB・ノルムを main へ同期 #2856 / fix(record): 学習 persist 文の投票タイムスタンプを選挙ストアの実値へ是正 #2859)を確認し、いずれも実装・記録の着地であって FR-DOG-1 の実走を含まないことを確認済み。

背景・対象範囲

intent 260810-grilling-frontier-resync(#2785)は grilling の depth を枝刈り閾値へ再定義し、上流 frontier 駆動の骨格へ再同期して main へ着地した。その受け入れ基準のうち FR-DOG-1(dogfood 実走による会話時の遮断器発火の検証)だけが未実施で残っている。

この面が独立に残ったのは設計上の裁定による。FR-PROTO-8(回路遮断器)の受け入れ基準は BLOCKER B のユーザー裁定(2026-08-10)で次のように分割された。

• 機械面 = C3 センサーの事後検査の落ちる実証(FR-CONTRACT-4 の「マーカー付き超過+記録なし = FAIL」態)で充足する。遮断器は C1 が定義する会話時の規律であり、コード側に注入・観測面を持たないため(component-methods.md:18「C3 は遮断器を消費しない」)。
• 会話時の発火そのものの検証 = FR-DOG-1 が担う。

対象範囲は「/amadeus-grilling または Grill me モードを depth 指定で実走し、遮断器の発火と『ツリー未完走』の明示開示を実測して記録する」ことに限る。実装の変更は含まない。

根拠・実測証拠

機械面は着地済み・実証済み:

tests/integration/t531-grilling-budget-sensor.integration.test.ts  # verdict 5態(落ちる実証込み)
tests/unit/t530-grilling-marker-predicate.test.ts                  # 3トークン述語・vacuity guard
git grep -c "amadeus-grilling:deferred" origin/main -- packages/framework/core/amadeus-common/protocols/
  → grilling-protocol.md:2 / stage-protocol.md:2

会話時の面は未実測。遮断器の規定は正本に存在する:

• packages/framework/core/amadeus-common/protocols/grilling-protocol.md §2.4(回路遮断器 — depth 指定時のみ、総質問数が目安×3 = Minimal 12 / Standard 24 / Comprehensive 36 に達したら「ツリー未完走」を明示開示して停止。Free は適用外)
• 同 §2.4 のラウンド原子性(選挙 E-GFR-CG1 の裁定 — 残り枠がラウンド全体を提示できない場合、そのラウンドは questions ファイルへ追記も提示もしない)

intent record にも未閉包事項として明示引き継ぎ済み: amadeus/spaces/default/intents/260810-grilling-frontier-resync/verification/phase-check-construction.md の「未閉包事項」節、および construction/build-and-test/build-and-test-summary.md。build-and-test の verdict は条件付き READYで、条件がこの1点。

期待結果・完了条件

1. depth を指定して grilling を実走し、質問総数が当該 depth の遮断器閾値(Minimal 12 / Standard 24 / Comprehensive 36)に達する状況を作る。
2. 遮断器が発火し、「ツリー未完走」が明示開示されることを実測する(silent な打ち切りでないこと)。
3. ラウンド原子性が守られること — 遮断器境界で打ち切られたラウンドが questions ファイルへ追記も提示もされていないこと(空 [Answer]: タグの残骸が無いこと)を実測する。
4. Free では遮断器が適用されないことを実測する。
5. 実測結果(実行条件・観測された開示文言・questions ファイルの状態)を記録に残す。
6. 実走で欠陥が見つかった場合は別 Issue(bug)を起票する。本 Issue は検証の実施と記録で閉じる。

影響・価値

放置すると、承認済み受け入れ基準のうち1件が「未検証のまま忘れられる」形で残る。遮断器は「silent な打ち切りが被覆完了を装うことを禁止する」ための安全弁であり、そこが未検証だと規律が実際には効いていない状態を green と誤認しうる。cid:build-and-test:no-silent-scope-narrowing は「要件が実装時実測と規定した検証項目を conductor 判断でスコープ外にしない」ことを求めており、本 Issue はその追跡面である。

関連 Issue・PR・intent

• intent: 260810-grilling-frontier-resync(record: amadeus/spaces/default/intents/260810-grilling-frontier-resync/)
• Issue: enhancement: grilling の depth を質問数予算から枝刈り閾値へ再定義し、frontier 駆動の終了条件へ再同期する #2785(本体、CLOSED)
• PR: feat(grilling): resync grilling-protocol to upstream frontier-driven skeleton (Bolt 1) #2828(Bolt 1 protocol-core) / feat(grilling): grilling モード対応の question-budget センサーと契約テスト (Bolt 2) #2843(Bolt 2 budget-sensor) / docs(grilling): prose 消費者と onboarding 投影を frontier 契約へ再同期 (Bolt 3) #2844(Bolt 3 projection-sweep) / chore(record): 260810-grilling-frontier-resync の工程記録・CodeKB・ノルムを main へ同期 #2856・fix(record): 学習 persist 文の投票タイムスタンプを選挙ストアの実値へ是正 #2859(record-sync)
• 裁定: BLOCKER B(ユーザー裁定 2026-08-10)、選挙 E-GFR-CG1(遮断器のラウンド原子性、2-0)

優先度（いつ対応するか）

P2

エレベーターピッチ

会話時の遮断器が本当に発火することを確かめたい
grilling を使う開発者 向けの、
frontier 駆動 grilling というプロダクトは、
対話型の設計インタビュー規律 です。
これは 質問が閾値の3倍に達したときに「ツリー未完走」を明示開示して止まること ができ、
センサーによる事後検査(questions ファイルに記録が残っているかの検査) とは違って、
会話が進行しているその場で打ち切りを可視化する安全弁 が備わっている。

代替案・非採用理由

• コード側にテスト観測点を作って自動化する — 非採用。遮断器は C1(protocol)が定義する会話時の規律で、C3 センサーはこれを消費しない(component-methods.md:18)。観測点を作るには本番コードへテスト都合の分岐を足すことになり、construction.md の「テストダブル・fixture 専用の分岐やモードを本番コードに置かない」に反する。
• 機械面の落ちる実証で充足したとみなす — 非採用。BLOCKER B のユーザー裁定が機械面と会話面を明示的に分割し、会話面を FR-DOG-1 に割り当てている。裁定を conductor 判断で縮小しない。
• 閉じずに record の申し送りだけで追跡する — 非採用。record は intent 完了とともに参照されなくなり、指令ループ外の規範はタスク化しない限り実行されない(cid:code-generation:code-generation:bolt-pr-taskization の趣旨)。