| name | pr-health-monitor |
| description | PR 作成直後に本文、CI、競合、レビューを確認し、再開可能な PR 監視を開始するときに使う。明示的な `$pr-health-monitor` 呼び出し専用。 |
PR ヘルスモニター
$pr-health-monitor <PR 番号または URL> は PR 作成後の確認を進め、XDG state に event を記録する観測だけを行う。watcher は観測専用で、cleanup、Git 変更、callback を実行しない。後処理は $resume-pr-monitor だけが行う。
PR 作成直後に monitor を開始する。PR 作成前の preflight は非変更で起動能力または選択する fallback だけを確認し、pane の登録、state/window の作成、watcher の起動は canonical PR URL の取得後にこの skill が行う。
使い方
$pr-health-monitor <PR 番号または URL>
手順
-
PR を解決する。
- 番号だけなら
gh-pr-target-repo.sh、次に GitHub の upstream remote を優先する。
gh pr view で取得した url を canonical PR_URL とし、state/watcher にはこの URL だけを渡す。
-
canonical PR_URL の取得後に monitor を初期化する。
- まず state を必ず初期化する。
- resolver は、現在の Codex に対応する tmux pane を安全に一意に選ぶ。有効な直接の
TMUX_PANE はそのまま使い、それがない場合は parent process chain から一意に対応する pane だけを選ぶ。
- resolver が成功した場合にだけ、16 文字以上の random nonce を登録し、watcher を開始する。
start は専用 tmux window に supervisor を起動し、observer と dispatcher を継続実行する。
start の readiness 確認と、失敗時の foreground_required への fail-closed fallback は後述のとおり維持する。
~/.agents/skills/pr-health-monitor/scripts/pr-monitor-state.sh init --pr-url "$PR_URL"
if pane=$(~/.agents/skills/pr-health-monitor/scripts/resolve-tmux-pane.sh); then
nonce=$(od -An -N16 -tx1 /dev/urandom | tr -d ' \n')
~/.agents/skills/pr-health-monitor/scripts/pr-monitor-state.sh register-pane --pr-url "$PR_URL" --pane "$pane" --nonce "$nonce"
~/.agents/skills/pr-health-monitor/scripts/watch-pr.sh start --pr-url "$PR_URL"
else
~/.agents/skills/pr-health-monitor/scripts/pr-monitor-state.sh watcher-error --pr-url "$PR_URL" --reason foreground_required --expected-pid none || true
echo "Error: tmux pane registration is unavailable for $PR_URL. Run \$resume-pr-monitor $PR_URL." >&2
exit 1
fi
start は専用 window の作成だけでは成功にしない。parent は launch ごとの random token を supervisor に渡し、child は token、PID、process identity を live lock owner metadata に記録する。window ID を取得後、bounded interval で同じ launch token の live lock と同じ PID の state を待ち、両方を確認できた時だけ active と報告する。確認に失敗した場合はその window を停止し、別 launch の active watcher を上書きせず foreground_required と watcher PID の clear を記録する。
- monitor 初期化の失敗は incomplete/unmonitored として扱う。complete または monitoring と報告しない。
- failure report には canonical PR URL、失敗した stage、fresh な evidence、正確な recovery command
$resume-pr-monitor <PR_URL> を含める。state を書ける場合は foreground_required を記録する。
- start が成功した後の initial CI/review observation が失敗しても watcher は active と報告する。
foreground_required を追加または上書きせず、active な watcher を incomplete/unmonitored と報告してはならない。
- 初期観測の失敗は active な watcher と区別して報告する。failure report には canonical PR URL、失敗した stage、fresh な evidence、正確な recovery command
$resume-pr-monitor <PR_URL> を含める。fresh な GitHub access がまだない場合はその再開を明示的に予定する。
~/.agents/skills/pr-health-monitor/scripts/watch-pr.sh watch --pr-url "$PR_URL"
state は ${XDG_STATE_HOME:-~/.local/state}/codex-pr-monitor/ に最小限の PR metadata と pending/acknowledged event だけを保存し、atomic lock で重複 watcher を防ぐ。GlitchTip callback descriptor は state に保存しない。foreground terminal を使えない場合は health check を止めず、$resume-pr-monitor <PR_URL> を実行する。ChatGPT Desktop/Web の Scheduled Tasks を使う場合も project context の resume を予定し、local shell を detached 実行するものとして扱わない。
-
PR 本文を current status に更新する。更新前に gh pr view "$PR_URL" --json body で現行本文を取得し、既存の必要な link（特に GlitchTip Issue: <permalink URL>）を保持する。本文には概要、変更内容、実行済み検証、現在の CI/レビュー状態、前提・未解決事項だけを記載し、更新履歴は列挙しない。
-
gh pr view "$PR_URL" --json mergeable,mergeStateStatus と gh pr checks "$PR_URL" --watch で初期の競合と CI を確認する。失敗時は gh run view <RUN_ID> --log-failed で原因を調べる。watcher も CI failure/conflict を durable event として記録する。
-
Codex のローカルレビューを実行する。
gh pr view "$PR_URL" --json headRefName,baseRefName で head/base を取得する。- 現在の worktree が対象 PR の repository と head に対応することを
git remote -v と branch で確認する。対応しない worktree で修正や codex review を推測実行しない。
- 対応する場合だけ target remote の base ref を確認し、必要なら
git fetch <target-remote> <base-ref> を実行して codex review --base <target-remote>/<base-ref> を使う。origin/master を固定値にしない。
- 対応する checkout がない場合は、その事実を報告し、対象 repository を明示して clone/worktree を用意してから再実行する。PR の diff と review threads の確認は続けられるが、ローカル修正は行わない。
-
request-review-copilot が利用できる場合だけ review を依頼する。Copilot の観測は watcher に統合し、wait-for-copilot-review.sh を background 起動しない。
-
CI、競合、本文、ローカルレビュー、Copilot request、tmux monitor の状態または resume fallback を報告する。fresh な evidence のみを報告する。過去の watcher event は fresh な GitHub state で再確認できるまで現在の状態として扱わない。dispatcher は lifecycle hook が ready と記録した pane へだけ固定の $resume-pr-monitor prompt を送る。user が ready 後に入力を始めた場合の入力混在 race は、user が許容した既知の制約である。
境界
- watcher は 30 秒間隔（
PR_MONITOR_INTERVAL でテスト時のみ変更可能）で PR state、checks、Copilot review を poll し、連続 5 回の API failure で停止する。
MERGED/CLOSED、CI failure、conflict、Copilot review は transition ごとに一度だけ記録する。action processor は event lease を取得し、成功後にだけ acknowledge するため、session をまたいでも未処理状態を失わない。- local state は GlitchTip callback authority を持たない。GlitchTip Resolve は user が明示的に要求した verified flow でのみ、issue、permalink、PR body を再照合して実行する。
