@joshuafolkken/kit 1.1784.0 → 1.2114.0

package/prompts/collaboration-workflow/operating-rules.md

@@ -11,9 +11,18 @@
 - 修正できたら修正内容を、できなかったら失敗チェック名・原因・未解決である旨を `--notify-message` に書く。**完了コメントに失敗を隠してはならない**
 - ユーザーへの報告でも失敗を「成功」として扱わない
 
+### git-rules — コミット・共有状態・index・PR
+
+`CLAUDE.md` → "Git Rules" の本文。フックが拒否・書き換えする（`pnpm josh rule:list` の `josh-git-bare`・`direct-pr-create`・`pr-merge` 行と `.claude/settings.json` の deny）。
+
+- **コミットは指示されたときだけ。** マージ・ブランチ削除・force push などの共有状態の変更は、そのターンで指示されたときだけ。例外は `fullrun` / `backlogrun` の起動で、`pnpm josh followup` 経由のマージを認める（`prrun` は認めない）。deny は規則より狭い — ツールが通したことを許可と読まない
+- **git index は自分の判断で変えない** — 明示の指示か `pnpm josh git` 経由だけ（下記 "no-self-staging"）
+- **コミットは `pnpm josh git`、PR は `pnpm josh pr`** — `gh pr create` の直接実行は `direct-pr-create` 行が拒否する。GitHub 操作は `gh api`（REST） — [`gh-rest.md`](./gh-rest.md)
+- **作業ツリーの前提で動く前に `git status`（と `git stash list`）をその場で実行する**
+
 ### 指示されていない行動は取らない
 
-`CLAUDE.md` → "Git Rules" の細則。対象には共有ブランチへの push・外部通知の追加送信・リポジトリ設定の変更も含む。
+上記 "git-rules" の細則。対象には共有ブランチへの push・外部通知の追加送信・リポジトリ設定の変更も含む。
 
 - auto-merge の本文は [`followup.md`](../../.claude/skills/workflow-commands/followup.md)、`backlogrun` の子への継承は [`backlogrun-child.md`](../../.claude/skills/workflow-commands/backlogrun-child.md)
 - `kickoff` / `pnpm josh followup` 単独実行は文書化されたスコープで終了する。PR が OPEN のまま完了したら状態を報告して停止する
@@ -23,7 +32,7 @@
 
 ### no-self-staging — git index を勝手に変更しない（自律 staging の禁止）
 
-`CLAUDE.md` → "Git Rules" の細則。index には履歴がなく、上書きされたステージ状態は復元できない。
+上記 "git-rules" の細則。index には履歴がなく、上書きされたステージ状態は復元できない。
 
 - **調査目的の staging はしない。** 読み取り専用コマンドを使う: `git status --short`、`git diff` / `git diff --stat` / `git diff HEAD`、`git diff --staged`、未追跡ファイルは `git diff --no-index /dev/null <new-file>` か直接読む
 - staging してよいのは次の 2 ケースだけ。それ以外は実行せずに確認する:

package/prompts/collaboration-workflow/output-bounds.md

@@ -17,19 +17,23 @@
 - ファイルは範囲を指定する（`sed -n '120,180p' <file>`、または `Read` の `offset` / `limit`）
 - 一覧は件数を絞る（`--limit`、`| head -30`）、JSON は必要な項目だけ取り出す（`gh api … --jq '…'`）
 - 全量が要るときは、ファイルへ落として（`> <file>`）から範囲を読む
+- 退避された `tool-results/<id>.txt` → `grep -n` ／ `sed -n` で読む（`lane-spilled-read` 行、`pnpm josh rule:list`）
 
 ## 切り詰められた出力を、完全な出力として読まない
 
 **検証ゲートと差分は、切り詰められた結果で判断しない。**
 
-- `pnpm josh gate` は合否の 1 行を末尾に出す。失敗の内訳が切れたら、合否行の直前の `full output: <path>` のファイルを読む（joshuafolkken/kit#1227）
+- 検証コマンド（`gate` ／ `check:related` ／ `lint:related` ／ `test:related`）の末尾を読む → 失敗と次のコマンド、`full output: <path>`（`lint:related` には無い）、最終行の合否の順（`scripts/gate/verification-tail.ts`）。内訳が切れたら `full output:` のファイルを読む（joshuafolkken/kit#1227）
+- `pnpm josh test:related` ／ `test:unit` が失敗した → 最後の `failed tests:` 一覧と `full output: <path>` を読む。読むための再実行はしない。直したら、まず要約の `rerun failed:` 行で失敗したファイルだけを回し、関連集合の全体は最後の `check:related` で 1 回だけ回す（`scripts/test/vitest-failure-summary.ts`）
 - 差分には判定行が無い。差分はファイルへ落としてから範囲で読む（`git diff main...HEAD > /tmp/diff.patch && wc -l /tmp/diff.patch`）
 
 ## 検証コマンドをパイプに繋がない（joshuafolkken/kit#1556）
 
 **パイプラインの終了コードは最後のコマンドのものである。** `pnpm josh gate 2>&1 | tail -40` は赤いゲートを成功として返す。**これは `josh gate` の欠陥ではない。** **既定はパイプなしで実行する。** 避けられないなら `set -o pipefail` を前置する。どの形でも、印字された判定行を読む。`piped-verification` 行（`rule-delivery.md`）が強制する。
 
-対象は結果が合否を意味するコマンドだけ — `gate` ／ `check` ／ `lint*` ／ `cspell*` ／ `test*` ／ `eval`。**`git log | head` や `gh issue list | head` は対象外であり、意図的にそうしている。** `latest:scope` ／ `review:brief` も、判定ではなく答えを印字するので `$(...)` で受けてよい。
+境界は判定が残るかどうか: 入力を最後まで読むフィルタ（`tail` ／ `grep` ／ `cut` ／ `sort` ／ `uniq` ／ `wc` ／ `tee`、`exit` も外部コマンドも `<`・`>`・`&`（比較を含む）も使わない `awk`、`p`・`d`・`s///` だけの `sed`）だけのパイプは `;` 鎖の中でも `pipefail` 付きに書き換えて通り、`head`・先頭一致で止まる `grep`・`2>/dev/null` などのリダイレクトを伴う形は拒否される（`scripts/rules/piped-verification.ts`）。
+
+対象は結果が合否を意味するコマンドだけ — `gate` ／ `check*` ／ `lint*` ／ `cspell*` ／ `test*` ／ `eval`。**`git log | head` や `gh issue list | head` は対象外であり、意図的にそうしている。** `latest:scope` ／ `review:brief` も、判定ではなく答えを印字するので `$(...)` で受けてよい。
 
 ## 検査
 

package/prompts/collaboration-workflow/plan-comment.md

@@ -1,7 +1,7 @@
 ## Step 3: 計画コメントを記録して通知する
 
 1. 提案を人間が判断する
-2. 採用した計画をファイルに書き、`pnpm josh issue:plan <N> --body-file <path>` で Issue に記録する。body が空なら本文に、空でなければコメントになる（本文はパスで渡す — `shell-body.md`）
+2. 採用した計画をファイルに書き、`pnpm josh issue:plan <N> --body-file <path>` で Issue に記録する。書き込み権限のある作成者の body が空なら本文に、それ以外はコメントになる（本文はパスで渡す — `shell-body.md`）
    - 計画が stash の復元を含むときの書き方: `operating-rules.md` → "no-self-staging"
    - 計画には `### 影響を受ける既存の利用者` が必須（`pnpm josh plan:consumers <識別子...>` が下書きを出す。書き方: `kickoff.md` の手順 4）
 3. Telegram で計画開始を通知する:

package/prompts/collaboration-workflow/principles.md

@@ -61,6 +61,15 @@ docs・prompts・skills・拒否文・Issue・PR の文章に適用する。
 - 同じ内容を言い換えて繰り返さない
 - ファイルや節が自分自身を説明する文（「このファイルは〜である」）を書かない
 
+## concise-reply — 対話の回答は結論・要点・次の一手
+
+ユーザーへの回答に適用する。
+
+- 順序: 結論（1〜2 文）→ 表か箇条書き 1 つ → 次の一手
+- 散文（コードブロック・表・箇条書きの外）の上限は `scripts/rules/concise-reply.ts` の `PROSE_LIMIT`。超えた回答は Stop フックの `pnpm josh stop:guard` が書き直させる
+- 仕組みの説明や同じ内容の言い換えを並べない。詳細はファイルや Issue に書く
+- 対象外: 直前の発話に「詳しく」「具体的に」「詳細」がある回答、`pnpm josh run:board --chat` のような固定出力をコードブロックで返す回答、ファイルや Issue に書く成果物
+
 ## consult-vs-execute — 相談と実行を区別する
 
 ユーザーが進め方・理由を尋ねたり目標を述べたりした（「どうすべき？」「how should we…」「なぜ」「〜したい」「〜の方が良い？」）ときは、**分析と推奨のみ**を返し、ファイル編集・Issue 作成などのアクションは取らない。目標の表明は計画の依頼であって、実行の承認ではない。

package/prompts/collaboration-workflow/residency.md

@@ -35,7 +35,8 @@
 ### 残すときの書き方と予算
 
 - **常駐規則は、トリガと導線の 2 つで書く。** **判定は、導線を一度も開かないターンでも常駐の記述だけで正しく振る舞えるかである。**
-- **削ることは移すことであり、削除は理由を示して初めて許される例外である。** 先に導線の先へ移し、マーカーテストも付け替える。移さず引退させてよいのは 3 条件がすべて揃うときだけ — 同じ文書に単一ソースが宣言された文の写しである・単一ソースと突き合わせてほかにない文を含まない・マーカーテストが固定していない。揃わなければ候補と証拠を記録して規則は残す
-- 経緯（Issue 番号・なぜ・計測・却下案）は `docs/maintainers/<topic>-rationale.md` に置き、その冒頭で説明する手順文書を名指しする。**参照の向きは根拠 → 手順だけ** — AI が読む文書から根拠文書は指さない（`scripts/document/rationale-documents.test.ts` が検出する）。Issue 番号引用の件数は `tools/document/issue-citation-budget.ts` のラチェットに従う — 減らしたら記録も下げる
+- **削ることは移すことであり、削除は理由を示して初めて許される例外である。** 先に導線の先へ移し、マーカーテストも付け替える。写しを移さず引退させてよいのは 3 条件がすべて揃うときだけ — 同じ文書に単一ソースが宣言された文の写しである・単一ソースと突き合わせてほかにない文を含まない・マーカーテストが固定していない。揃わなければ候補と証拠を記録して規則は残す
+- 写しのほかに、`pnpm josh rule:value --fresh` の `candidates:` 節も引退（`retire`）・導線 1 行への縮約（`condense`）の根拠になる。判定は `scripts/rules/rule-value-candidates.ts`。候補ごとに Issue を分け、残すなら理由を記録する
+- 経緯（Issue 番号・なぜ・計測・却下案）は `docs/maintainers/<topic>-rationale.md` に置き、その冒頭で説明する手順文書を名指しする。**参照の向きは根拠 → 手順だけ** — AI が読む文書から根拠文書は指さない（`scripts/document/rationale-documents.test.ts` が検出する）。Issue 番号引用の件数は `scripts/document/issue-citation-budget.ts` のラチェットに従う — 減らしたら記録も下げる
 - 引用は本文があるファイルを直接指す
 - 予算が詰まったら回収で解く。**引き上げは Tier C として扱う** — `RESIDENT_CEILING_BYTES`・`RESIDENT_HEADROOM_BYTES`・`RE_INLINE_GUARD_HEADROOM_BYTES` の緩和は、3 条件（回収の余地が尽きたことを計測で示す・需要が 1 規則ではなく常駐すべき規則数の増加から来る・増やす量は需要と回収可能量の差だけで丸めない）を示し、ユーザーの明示指示を得てから行う。条件が揃うこと自体は指示ではない

package/prompts/collaboration-workflow/rule-delivery.md

@@ -14,10 +14,22 @@
 
 一覧は `pnpm josh rule:list` が `scripts/rules/delivered-rules.ts` から生成する（joshuafolkken/kit#3399）。各項目は規則の単一ソース・発火点・発火しないときを持ち、フックが走らないエージェントはその出力を自己適用のチェックリストにする（`principles.md`）。
 
-**引き金はシェルのコマンド文字列しか見えない**（node 内の REST や `gh api --input <file>` は掛からない）ので、常駐側にトリガ 1 行を残す。
+**引き金はシェルのコマンド文字列しか見えない**（node 内の REST は掛からず、`gh api --input <file>` のファイルの中身を読むのは `credential-body` だけ）ので、常駐側にトリガ 1 行を残す。
 
 引き金が発火しないターンでは何も起きないのが仕様で、各項目の発火しない状態は「規則が守られている状態」と一致させる。一致が取れない規則は常駐に残す。
 
+## stop-notify — 途中停止の通知（`confirmation`）
+
+`CLAUDE.md` → "Mid-workflow stop notification" の本文（`pnpm josh rule:list` の `stop-notify` 行）。保持中のランが判断待ちで止まるとき、Stop フックの `pnpm josh stop:guard` が `confirmation` を送る — 理由を先頭に、末尾は `Recommended: <choice>`。フックが停止を拒否したときだけ自分で送る:
+
+```bash
+pnpm josh notify --task-type confirmation --issue-url "<url>" --body=$'<reason>' --recommended "<choice>" --alternative "<other>"
+```
+
+## concise-reply — 回答の長さ
+
+`principles.md` → "concise-reply"（`pnpm josh rule:list` の `concise-reply` 行）。散文が上限を超えた回答の Stop で、`pnpm josh stop:guard` が節の本文付きで 1 度だけ書き直させる。
+
 ## 配送は 1 ラン 1 回
 
 配送文はラン 1 回につき 1 度しか出ないので、**「同じ呼び出しをもう一度出せ」と明記する**。例外: 繰り返す行為を止める項目は毎回発火し（joshuafolkken/kit#1570）、前提の行為を求める項目は前提が末尾に現れるまで毎回拒否する（joshuafolkken/kit#2807）— その配送文にはそれぞれ「これは毎回発火する」「前提が末尾に現れるまで拒否する」と明記する。バッチングと調査の 2 ガードは違反が間隔分続けば再び発火する（joshuafolkken/kit#2164）。前提の証拠を読めないときは拒否する。

package/prompts/collaboration-workflow/upstream-interrupt.md

@@ -14,7 +14,7 @@
 
 **実行中のリポジトリ自身はこの手順の対象外である。** kit の中で kit のラン機構（`backlog:drive`、`run:wake`、`run:carry`、レーン、分類、カウンタ、ガードなど）の不具合を見つけたら、上流 Issue で停止する代わりに、このリポジトリの割り込みとして次を行う。
 
-1. **起票する** — `pnpm josh issue:file "<title>" --body-file <path> --route interrupt --label priority:high`。上限は効かない（`wip-cap.md` →「割り込み起票 — 上限が効かない側」の条件 2）
+1. **起票する** — `pnpm josh issue:file "<title>" --body-file <path> --route interrupt --label priority:high --blocks-finder`。上限は効かない（`wip-cap.md` →「割り込み起票 — 上限が効かない側」の条件 2）
 2. **止まらずに直す** — 壊れた機構を迂回せず、検証ゲートも緩めない。`backlogrun` の中では割り込みを次の子にし、着地後に塞がれていた子へ戻る（プールでは `priority:high` が先頭、epic の下では `wip-cap.md` の手順 3 で挿入、名前指定のランでは `pnpm josh lane:launch <N>` で自分で dispatch）。バッチの外では `wip-cap.md` の手順 4 どおり、打つべき `fullrun #<N>` を報告して止まる
 3. **再開できるなら自分で再開し、動くことを確かめる** — 修正のマージ後、手渡し済み・所有者が死んだ記録・監督プロセスの停止（`warning` Telegram）には `pnpm josh run:wake --start`、`run:carry` の `standing` には `pnpm josh run:carry --resume "<invocation>" --owner "$PPID"` を打つ。`pnpm josh run:wake --list` が監督プロセスを示し、ログに次の子の dispatch が現れることを確かめて報告する
 4. **人に打ち直しを求めるのは再開の手段が無いときだけ** — `mismatch`（別の起動の記録）、別の生きた所有者の `busy`。新しい承認を宣言するのは人だけ
@@ -25,7 +25,7 @@
 1. **現在の作業を退避する**: `pnpm josh stash:push "upstream-interrupt: paused #<N>"`（WIP コミットでも可）
 2. **進行中の Issue に状況を書く**: `pnpm josh issue:comment <N> --body-file <path>` で、stash したこと、中断理由（どの別パッケージのどんな問題か）、新 Issue へのリンク（`## Upstream issues` 見出しの下に `owner/repo#N` 形式、→「起票元へのバックリンク」）
 3. **対象パッケージのリポジトリに Issue を作成する（確認なし）**: `pnpm josh issue:file "<root-cause title>" --body-file <body-file> --route tier-a --repo <owner>/<repo>`（joshuafolkken/kit#1083）。検査・分類ラベル・重複探し・`epic:bundle` はコマンドが行う（`docs/josh-commands-backlog.md` → `josh issue:file`）。根本原因・再現・期待結果を `prompts/collaboration-workflow/issue-template.md` の Step 1 のテンプレで書き、`## Origin` 節に起票元 Issue を `owner/repo#N` 形式で書く
-4. **`confirmation` Telegram を送って停止する**: 上流 Issue の URL と何が止まっているかを書く（→ `CLAUDE.md` → "Mid-workflow stop notification (`confirmation`)"）
+4. **`confirmation` Telegram を送って停止する**: 上流 Issue の URL と何が止まっているかを書く（→ `rule-delivery.md` → "stop-notify"）
 5. **元の作業を再開する**: 上流の修正がマージされた、またはユーザーが先送りを明示判断した後に `pnpm josh stash:pop "upstream-interrupt: paused #<N>"` で復元する（`operating-rules.md` → "no-self-staging"）。上流 Issue を割り込みで実装するかもユーザーが決める
 
 ### first-party の Issue・PR への書き込みは確認不要

package/prompts/collaboration-workflow/wip-cap.md

@@ -58,8 +58,10 @@
    pnpm josh issue:file "<title>" --body-file <body-file> --route interrupt
    ```
 
+   `--blocks-finder` は付けない。発見したランを塞がない割り込みに起票元の `blocked-by` を書くと、偽の依存関係になる。
+
 2. 超過している事実と当たった条件の番号を、両方とも本文に 1 行書く（例:「オープン 37 件で起票。3 条件のうち 2（文書化された手順が完了できない）に該当」）。
-3. 次に実行されるものとして挿入する。epic の下なら `pnpm josh epic --add <E> <N>` で**位置を指定せずに**追加する（`<E>` が epic、`<N>` が割り込み）。**`--before` / `--after` を使ってはならない。** それらは `blocked-by` を書き込み、**偽の依存関係**になる。**順序は実行側が持つ** — 先に提示させたいときは行だけを動かす `--order-before <M>` を使う。**epic の下に無いなら挿入先そのものが無い**ので、4 だけを行う。
+3. 次に実行されるものとして挿入する。epic の下なら `pnpm josh epic --add <E> <N>` で**位置を指定せずに**追加する（`<E>` が epic、`<N>` が割り込み）。**`--before` / `--after` を使ってはならない。** それらは `blocked-by` を書き込み、**偽の依存関係**になる。**順序は実行側が持つ** — 先に提示させたいときは行だけを動かす `--order-before <M>` を使う。**epic の下に無いなら挿入先そのものが無い**ので、4 だけを行う。`--blocks-finder` の割り込みを追加したら → `pnpm josh epic --reconcile <E>`（`docs/josh-commands-backlog.md` → `josh issue:file` の `--blocks-finder`）。
 4. 着手は既にある承認の内側でのみ、指示を待たずに行う。`backlogrun` の中なら次の子として着手してよい。バッチの外では `CLAUDE.md` →「Explicit invocation required」が効き、起票と挿入まで済ませて打つべきコマンド（`fullrun #<N>`）を報告して止まる。**割り込みは上限の例外であって、明示起動規則の例外ではない。**
 
 起票と、実行されるようにするところまでが 1 つのまとまりである — epic の下で追加しなければ `epic:next` は候補に出さない。**epic の外にある割り込みでは、まとまりの後半は 4 の報告そのもの**である。

package/prompts/review-rubric.md

@@ -88,6 +88,8 @@ For each finding:
 - Cite `file_path:line_number`
 - State severity (`high` / `medium` / `low`) by the two tests in "Severity"
 - Explain the concrete problem and the minimal fix
+- On a `high` or `medium`, cite every other site of the same pattern in the change's files and their
+  callers as `file_path:line_number`, so one fix pass closes them all
 - On a test-1 finding rated `low`, write `no failure scenario — <what you tried>`
 
 A category with no findings needs a proof statement, e.g. `No issues — checked null returns on X,
@@ -139,6 +141,9 @@ Actively try to break the changed code.
 - Impact outside the diff: open the callers of every changed export or signature and verify they still
   hold; flag duplication the change introduces
 - Regressions in existing behavior covered elsewhere
+- Commands the changed prose tells a reader to run, run from a cwd other than the root with absolute,
+  relative and empty inputs, in a scratch copy when they write: `prompts/review.md` → "Before round 1
+  — the implementer's self-check", question 10
 
 **`No issues` requires at least one explicit trace statement.**
 
@@ -204,6 +209,9 @@ concerns"; if nothing is uncertain, trace the logic path that gives that confide
   not describe.
 - High findings → must fix before committing
 - Medium findings → must fix before opening the PR
+- A finding wholly covered by an open follow-up this Issue filed (a `先送り: #M <title>` comment on
+  it, which `issue:file --found-during <N>` posts) → record it as `low` citing `#M`, never `medium`
+  or `high`, so it does not stop the ship
 - Low findings → document in the PR body if skipped
 
 If the diff is empty or trivial (e.g. whitespace only), state that and skip the review.

package/prompts/review.md

@@ -12,9 +12,9 @@ Review policy: the level, the round count, and what happens to a finding after t
 ## When to run
 
 When: `CLAUDE.md` → "Pre-commit Self-Review"; inside a workflow, round 1 runs before the commit and
-round 2 beside CI (`.claude/skills/workflow-commands/chain-rule.md`). Pass the review subagent the
-`reviewer` profile's model and effort that `pnpm josh review:brief` prints; never substitute the review
-level for effort.
+round 2 beside CI (`.claude/skills/workflow-commands/chain-rule.md`). Launch the `reviewer` agent
+type (round 2: `reviewer-verification`), never nested, with the model `pnpm josh review:brief` prints.
+Before the reviewer returns its findings → `pnpm josh review:lint` (`.claude/agents/reviewer.md`).
 
 Re-run after fixes until **no high or medium findings remain or the round cap below is reached** (the
 first review counts), whichever comes first. Round 2 is a verification pass over the fixes
@@ -24,17 +24,19 @@ first review counts), whichever comes first. Round 2 is a verification pass over
 
 ## Before round 1 — the implementer's self-check
 
-Answer these nine over your own diff before the scoped pair that precedes round 1, and fix what an
+Answer these ten over your own diff before the scoped pair that precedes round 1 — question 1 once
+`pnpm josh run:review --join` prints its lines after the review, or, under `--join --fixing` or a
+check `--join` restarted on a moved tree, the ship's pre-detach — and fix what an
 answer turns up (about four in five of 100 sampled High/Medium findings that stopped lane reviews
 fell under one; `pnpm josh lane:stats` counts the kinds that still stop). The review, its severity
 tests and the round cap are unchanged.
 
-1. **Tests pin the change** — for each condition, branch or call added or changed, name the test that
-   turns red when it is deleted or inverted, and check its fixture reaches that branch (no assert on a
-   string the code never draws, no comparison against a literal copy).
+1. **Tests pin the change** — read the `unpinned` and `unchecked` lines `pnpm josh run:review --join`
+   prints from `pnpm josh test:pinned` (each unchecked place is listed in its `full output:` log) (`docs/josh-commands.md` → "`josh test:pinned`"), and check a pinning test's fixture reaches its branch (no assert on a string the code
+   never draws, no comparison against a literal copy).
 2. **Prose matches the code** — grep docs, prompts and comments for the old wording of every behavior,
-   constant, command and heading you changed, moved or removed, `"the table above"` and rewritten
-   sentences included.
+   constant, command and heading you changed, moved or removed (`pnpm josh prose:stale` finds the
+   removed ones), `"the table above"` and rewritten sentences included.
 3. **Failure is not a negative answer** — every timeout, non-zero exit or `gh` failure on a touched
    path returns something a caller can tell apart from `false`, `undefined` or "nothing found".
 4. **Every caller moved with it** — grep every reference to a changed function, list or command, and
@@ -54,6 +56,10 @@ tests and the round cap are unchanged.
    comment makes about another component's behavior (what a stage does, who enforces a limit, which
    repository it runs in), open that component's code and confirm it; then name each context the
    change runs in — kit and a consumer, and a predecessor that died midway leaving its record behind.
+10. **Commands your prose tells a reader to run are run** — for every command a refusal, hint or
+    document you added or changed tells a reader to run, run it as written from a cwd other than the
+    root, with an absolute path, a relative path and an empty input, and check each result — in a
+    scratch copy (`mktemp -d`) when it writes, deletes, files or pushes, never on the lane's files.
 
 The brief lists `Removed tests` → each needs a `## 消えたテストの処置` row in the PR body, or the
 merge is refused: `prompts/collaboration-workflow/report-format.md` → "PR 本文の消えたテストの処置".
@@ -78,12 +84,12 @@ pnpm josh review:brief --level-only --staged   # the staged diff
 
 ## Interaction review
 
-After round 1 and its record, `pnpm josh review:brief --interaction` answers whether the change takes
-the interaction review and prints its brief; hand it to a reviewer subagent, dispose of the findings
+`pnpm josh run:review` writes its brief to a file beside round 1's where it is due, printing both paths; one still owed after round 1
+takes `pnpm josh review:brief --interaction`. Hand it to a reviewer subagent, dispose of the findings
 by the three-way disposition below, and record the pass with
 `pnpm josh review:record --interaction --issue <N> [<category>:<severity>:<file> ...]`.
 
-`pnpm josh followup` refuses a due change with none recorded; `pnpm josh ship --review` runs it itself.
+`pnpm josh followup` refuses a due change with none recorded; `pnpm josh ship --review` runs it itself, beside round 1, and stops once on the findings of both.
 
 ## Review round cap (2 rounds)
 
@@ -103,27 +109,28 @@ the child rather than buying a further round.
 ### When round 2 is skipped entirely, and when it is not
 
 ```bash
-pnpm josh review:round2 --round-1-closed   # → required | skip ; the reason on stderr
+pnpm josh review:round2 --record <N>   # → required | skip ; the reason on stderr
 ```
 
-Ask once round 1's fixes are in, before the commit. Pass `--round-1-closed` only when every round-1
-High/Medium closed — fixed in this working tree or verified false positive — and none was filed or
-deferred. Without the flag, and on any uncertainty (a missing round-1 snapshot included), the answer is
-`required`.
+Ask once round 1's fixes are in and the round is recorded with each finding's disposition
+(`pnpm josh review:record`'s usage), before the commit. Round 1 is closed only when the ledger shows
+every round-1 High/Medium as `fixed` or `false-positive`. Anything else, including a missing round-1
+snapshot, answers `required`.
 
 `skip` has exactly two arms, and the reason line names which fired:
 
 - **A** — the fix delta is empty.
 - **B** — every path in the fix delta is inert by the review-level classification above:
-  `docs/**/*.md`, the root `README.md`, under `prompts/`, or a `.ts` / `.js` / `.svelte` file outside
+  `docs/**/*.md`, the root `README.md`, under `prompts/`, a metrics approval under
+  `.josh/metrics-accepted/`, or a `.ts` / `.js` / `.svelte` file outside
   `.claude/` changed only in comments (a lint, type-check, coverage or bundler directive comment counts
   as code).
 
 One path outside that set makes it `required` — `.claude/**`, `CLAUDE.md`, a test, configuration, a
 code line, or a source file whose comment-free text cannot be read.
 
-Record a skipped round on the Issue with a comment under `## Round 2 skipped`, naming which arm fired
-and quoting the command's reason line verbatim.
+`--record <N>` records a skipped round on the Issue itself: a comment under `## Round 2 skipped`
+naming which arm fired and quoting the reason line verbatim, written once however often it is asked.
 
 ### Three-way disposition after the cap
 
@@ -161,9 +168,11 @@ Branch 2 only:
   a `fold`; the first filing asks nothing.
 
   1. Before the current Issue closes, file it tagged `route:review-cap`:
-     `pnpm josh issue:file "<title>" --body-file <body-file> --route review-cap`. It lints
+     `pnpm josh issue:file "<title>" --body-file <body-file> --route review-cap --found-during <N>`
+     (`--found-during` leaves the deferral note on the current Issue the ship reviewer reads). It lints
      the body, applies the declared labels, runs the duplicate scan and `epic:bundle`
-     (`docs/josh-commands-backlog.md` → `josh issue:file`). `epic:bundle` reads open issues only, so
+     (`docs/josh-commands-backlog.md` → `josh issue:file`). A security finding declares its
+     `- セキュリティ:` line (`issue-template.md` → H). `epic:bundle` reads open issues only, so
      after the parent closes it answers `none` permanently.
   2. Act on the printed `epic:bundle` answer with `pnpm josh epic:bundle <new> --apply` — never a
      hand edit of the epic body, which leaves the task list and `blocked-by` relations disagreeing

package/prompts/testing-guide.md

@@ -10,6 +10,7 @@ Every requirement gets a test (`CLAUDE.md` → "Code Change Rules" Step 0); the
 - Logic/utility change (pure functions, filters, transforms) → a unit test. Bug fix → a regression test; refactor → tests pinning the existing behavior BEFORE the change (`prompts/refactoring.md`).
 - **Non-runtime updates (pre-approved manual-only exception):** a change touching no executable runtime code path — docs, non-executable config, editor/IDE files, cosmetic asset swaps with no selector/path change — may be verified by hand; declare it in Step 0 with the reason. The mechanically exempt (`*.md`, `.editorconfig`, `.idea/**`, `.vscode/**`, `prompts/**`) need no declaration. A runtime change whose test is infeasible needs the reason and user approval.
 - **basic で kit がテストできない言語だけの変更:** `package.json` に `josh.profile: basic`（改名前の `static` も同じ）があり、変更が HTML/CSS や Lua などのソースだけなら自動テストは不要。HTML/CSS はブラウザーで対象ページを開き、想定する画面幅でレイアウト・リンク・HTML 内の操作を確認する。そのほかのソースは変更した処理を実際に動かす。どちらも結果を記録する。JavaScript または TypeScript のファイルを含む変更は自動テストを行う。
+- **A runtime change with no test is refused at the commit** — `pnpm josh git -y` refuses it while `pnpm josh test:declared` answers `required` (the `test-declared` row of `pnpm josh rule:list`).
 - Test infeasible (e.g., a native OS date-picker Playwright cannot drive) → comment why in the test file and test the closest observable behavior (e.g., the editor stays open after `change`).
 
 ### Verification checklist (add to the completion gate)

package/scripts/agent/agent-argv.ts

@@ -95,30 +95,28 @@ function resolve(
 	return resolved.kind === 'rejected' ? resolved : with_profile(invocation, resolved.profile)
 }
 
+function profiled_in(invocation: string, resolved: ProfileResult, cwd: string): AgentArgvResult {
+	return resolved.kind === 'rejected'
+		? resolved
+		: with_profile_in(invocation, resolved.profile, cwd)
+}
+
 // **A cut relaunch's profile, resolved for the phase the resumed child is entering**.
-// A stored lane profile keeps its model and takes only the phase's effort; a
-// lane without one resolves the worker for the phase. An env override wins over the phase in either path.
+// A stored lane profile keeps its model unless the phase's own model key is set, and takes the phase's
+// effort; a lane without one resolves the worker for the phase. An env override wins over the phase in
+// either path.
 function resume_argv(
 	invocation: string,
 	profile: AgentProfile | undefined,
 	phase: string,
 	cwd: string,
 ): AgentArgvResult {
-	if (profile !== undefined) {
-		return with_profile_in(invocation, agent_role_profile.with_phase_effort(profile, phase), cwd)
-	}
-
-	const resolved = agent_role_profile.resolve(agent_role_profile.WORKER, process.env, phase)
-
-	return resolved.kind === 'rejected'
-		? resolved
-		: with_profile_in(invocation, resolved.profile, cwd)
-}
+	const resolved =
+		profile === undefined
+			? agent_role_profile.resolve(agent_role_profile.WORKER, process.env, phase)
+			: agent_role_profile.with_phase(profile, phase)
 
-function profiled_in(invocation: string, resolved: ProfileResult, cwd: string): AgentArgvResult {
-	return resolved.kind === 'rejected'
-		? resolved
-		: with_profile_in(invocation, resolved.profile, cwd)
+	return profiled_in(invocation, resolved, cwd)
 }
 
 function resolve_in(

package/scripts/agent/agent-provider.ts

@@ -0,0 +1,138 @@
+import { agent_session_environment } from '#scripts/josh/agent-session-environment'
+import { z } from 'zod'
+
+// Which provider an agent session runs on, read from the session's own keys or the mark a detached
+// launch hands its child. `agent-role-profile.ts` resolves a role's profile on top of it.
+
+const EMPTY_LENGTH = 0
+
+const PROVIDER_SCHEMA = z.enum(['anthropic', 'openai'])
+
+type AgentProvider = z.infer<typeof PROVIDER_SCHEMA>
+type AgentEnvironment = Readonly<Record<string, string | undefined>>
+
+interface Rejected {
+	kind: 'rejected'
+	note: string
+}
+
+type ProviderResult = Rejected | { kind: 'provider'; provider: AgentProvider; is_default?: true }
+
+const ANTHROPIC_PROVIDER: AgentProvider = 'anthropic'
+const OPENAI_PROVIDER: AgentProvider = 'openai'
+const CODEX_SESSION_KEY = 'CODEX_THREAD_ID'
+
+function trimmed(value: string | undefined): string | undefined {
+	const result = value?.trim()
+
+	return result === undefined || result.length === EMPTY_LENGTH ? undefined : result
+}
+
+function rejection(key: string, value: string, expected: string): Rejected {
+	return { kind: 'rejected', note: `${key}=${value} ${expected}, so the agent was not started` }
+}
+
+function has_session(environment: AgentEnvironment, keys: ReadonlyArray<string>): boolean {
+	return keys.some((key) => trimmed(environment[key]) !== undefined)
+}
+
+const CONFLICTING_SESSIONS: Rejected = {
+	kind: 'rejected',
+	note: 'both Codex and Claude Code sessions were detected',
+}
+
+// The provider a detached launcher hands a process that is not itself an agent session.
+// `detached_launch` strips the parent-session keys — the very keys the
+// detection below reads — so a `josh ship --detach --review` supervisor could never resolve its reviewer.
+// **It is a fallback, read only when no session is detected**: the mark is inherited by everything the
+// supervisor starts, and a real session's own keys must keep deciding for that session.
+const HANDED_PROVIDER_KEY = 'JOSH_AGENT_PROVIDER'
+
+// **Nothing named a provider, so Claude Code is the default** — a person typing `josh lane:launch` in a
+// plain terminal has no session and no mark. Only silence defaults: two detected sessions and a mark
+// naming no allowed provider still refuse. `is_default` lets a launch say so, and lets `josh cost` keep
+// reading "no session of its own" rather than pricing another session's transcript.
+const DEFAULT_PROVIDER: ProviderResult = {
+	kind: 'provider',
+	provider: ANTHROPIC_PROVIDER,
+	is_default: true,
+}
+const DEFAULT_NOTICE = ` No agent session or ${HANDED_PROVIDER_KEY} was found, so the provider defaulted to ${ANTHROPIC_PROVIDER} (Claude Code).`
+
+function handed_provider(environment: AgentEnvironment): ProviderResult {
+	const value = trimmed(environment[HANDED_PROVIDER_KEY])
+	if (value === undefined) return DEFAULT_PROVIDER
+	const parsed = PROVIDER_SCHEMA.safeParse(value)
+
+	return parsed.success
+		? { kind: 'provider', provider: parsed.data }
+		: rejection(HANDED_PROVIDER_KEY, value, 'is not an allowed provider')
+}
+
+// The session this process runs in, read from its own keys: `undefined` when none is detected.
+function detected_provider(environment: AgentEnvironment): ProviderResult | undefined {
+	const has_codex = has_session(environment, [CODEX_SESSION_KEY])
+	const has_claude = has_session(environment, agent_session_environment.PARENT_SESSION_KEYS)
+
+	if (has_codex === has_claude) return has_codex ? CONFLICTING_SESSIONS : undefined
+
+	return { kind: 'provider', provider: has_codex ? OPENAI_PROVIDER : ANTHROPIC_PROVIDER }
+}
+
+function resolve_provider(environment: AgentEnvironment = process.env): ProviderResult {
+	return detected_provider(environment) ?? handed_provider(environment)
+}
+
+// The sentence a launch appends when it ran on the default, so falling back is never silent; empty when
+// a session or a mark decided.
+function default_notice(environment: AgentEnvironment = process.env): string {
+	const selected = resolve_provider(environment)
+
+	return selected.kind === 'provider' && selected.is_default === true ? DEFAULT_NOTICE : ''
+}
+
+// The same sentence on stderr, for a launcher whose own line is a verdict or a brief another process
+// reads: `run:wake --start`, `review:brief` and `ship --detach` default exactly as a dispatch does.
+function warn_of_default(environment: AgentEnvironment = process.env): void {
+	const notice = default_notice(environment).trim()
+
+	if (notice !== '') console.error(notice)
+}
+
+// Whether this session is woken when a background command it started completes.
+// Claude Code re-invokes the session at the completion; a Codex session is not
+// re-invoked, so a parent there can only wait by polling, each poll a model call over its whole context.
+// Only a resolved Codex session answers no — a defaulted or conflicting one keeps the callback.
+function has_completion_callback(environment: AgentEnvironment = process.env): boolean {
+	const selected = resolve_provider(environment)
+
+	return selected.kind !== 'provider' || selected.provider !== OPENAI_PROVIDER
+}
+
+// The mark a detached launch sets on its child: the provider this session resolved, the default
+// included, or nothing when it was refused — the child then fails the same way this session would have.
+function handoff_environment(
+	environment: AgentEnvironment = process.env,
+): Readonly<Record<string, string>> {
+	const selected = resolve_provider(environment)
+
+	return selected.kind === 'provider' ? { [HANDED_PROVIDER_KEY]: selected.provider } : {}
+}
+
+const agent_provider = {
+	ANTHROPIC_PROVIDER,
+	CODEX_SESSION_KEY,
+	HANDED_PROVIDER_KEY,
+	OPENAI_PROVIDER,
+	PROVIDER_SCHEMA,
+	default_notice,
+	handoff_environment,
+	has_completion_callback,
+	rejection,
+	resolve_provider,
+	trimmed,
+	warn_of_default,
+}
+
+export type { AgentEnvironment, AgentProvider, ProviderResult, Rejected }
+export { agent_provider }