From 352d7a0b81b27172c229a2d4c0b4416a7f2532ea Mon Sep 17 00:00:00 2001 From: claude-code Date: Fri, 28 Aug 2026 00:00:36 +0000 Subject: [PATCH 01/16] =?UTF-8?q?=E6=9C=AA=E6=8E=A8=E8=AD=A6=E5=AF=9F?= =?UTF-8?q?=E6=94=B9=E7=94=A8=E3=80=8C=E9=81=A0=E7=AB=AF=E6=9C=89=E6=B2=92?= =?UTF-8?q?=E6=9C=89=E9=80=99=E9=A1=86=20commit=E3=80=8D=E5=88=A4=E6=96=B7?= =?UTF-8?q?=EF=BC=8C=E4=B8=8D=E5=86=8D=E7=94=A8=E3=80=8C=E6=9C=89=E6=B2=92?= =?UTF-8?q?=E6=9C=89=20upstream=E3=80=8D=EF=BC=88inkstone/ISEP#90=20?= =?UTF-8?q?=E2=91=A0=EF=BC=89?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 雲端 session 開出來的工作分支天生沒有 upstream，內容卻等於遠端 main （薄殼 HEAD 081c547 ＝ GitHub 遠端 main 081c547，同一顆） ⇒ 每個雲端 session、每次收工都被攔一次，08-27 一個 session 五次全是誤報。 三件： · 判準改成問遠端（git ls-remote，快取 120 秒）。本機只答得準「有」， 答「沒有」時才打網路——實測本 session 的 origin/main 落後遠端 4 天。 · 三態：遠端有／遠端沒有／問不到。**問不到一律不報**，不拿離線當罪證。 · 散落分支的基準也一起換成遠端實際那顆——基準過期會把已經在遠端 main 上的 分支整批報成散落（包含雲端 session 自己那條）。 順手補雲端那格接線：`$CLAUDE_PROJECT_DIR` 在雲端是薄殼根，真身在 `$TOP/InkStoneCo/`。 舊的掃描清單四個路徑一個都不存在 ⇒ 真身有東西沒推，這支閘一輩子不會知道。 測試 hooks/tests/unpushed-police.test.sh：10/10（全離線，本機 bare repo 當遠端）。 拿舊版跑同一份：A 群 5 條全紅、B 群 4 條全綠 ⇒ 測試有鑑別力，不是改到寬鬆。 --- hooks/tests/unpushed-police.test.sh | 137 ++++++++++++++++++++++++++ hooks/unpushed-police.sh | 147 ++++++++++++++++++++++++++-- 2 files changed, 277 insertions(+), 7 deletions(-) create mode 100755 hooks/tests/unpushed-police.test.sh diff --git a/hooks/tests/unpushed-police.test.sh b/hooks/tests/unpushed-police.test.sh new file mode 100755 index 0000000..197fbe6 --- /dev/null +++ b/hooks/tests/unpushed-police.test.sh @@ -0,0 +1,137 @@ +#!/usr/bin/env bash +# unpushed-police.sh 的迴歸測試（inkstone/ISEP#90） +# +# 這支存在的理由是一個**穩定重現**的誤報：雲端 session 開出來的工作分支 +# 天生沒有 upstream，內容卻等於遠端 main ⇒ 每個雲端 session、每次收工都被攔一次。 +# 2026-08-27 一個 session 攔五次，五次全是誤報。 +# +# 兩個方向都要有證據，而且 **A 群（不該報）比 B 群更重要**： +# 永遠在響的警報＝訓練人忽略這個警報，下一條真的失蹤的分支會混在雜訊裡。 +# +# 🔴 全程離線：用本機 bare repo 當「遠端」，`git ls-remote` 打的是檔案路徑。 +# 不碰任何真 repo、不打網路、不寫 /tmp 的正式快取（走 UNPUSHED_CACHE_DIR）。 +set -u +HOOK="${1:-$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)/unpushed-police.sh}" +TMP=$(mktemp -d) +trap 'rm -rf "$TMP"' EXIT +export GIT_CONFIG_GLOBAL="$TMP/gitconfig"; : > "$GIT_CONFIG_GLOBAL" +export GIT_AUTHOR_NAME=t GIT_AUTHOR_EMAIL=t@t GIT_COMMITTER_NAME=t GIT_COMMITTER_EMAIL=t@t + +PASS=0; FAIL=0; N=0 + +# mk <名字> → 造一個「遠端 bare + 本機 clone」的場，印出本機 repo 路徑 +mk() { + d="$TMP/$1"; mkdir -p "$d" + git init -q --bare "$d/remote.git" + git init -q -b main "$d/work" + ( cd "$d/work" + echo a > a.txt; git add a.txt; git commit -qm first + git remote add origin "$d/remote.git" + git push -q origin main + git branch --unset-upstream 2>/dev/null || true ) >/dev/null 2>&1 + printf '%s\n' "$d/work" +} + +# fire <期望 exit> <說明> [期望訊息片段] +fire() { + repo="$1"; want="$2"; desc="$3"; want_msg="${4:-}" + N=$((N+1)) + out=$(printf '{}' | CLAUDE_PROJECT_DIR="$repo" UNPUSHED_CACHE_DIR="$TMP/cache-$N" \ + bash "$HOOK" 2>&1); rc=$? + mkdir -p "$TMP/cache-$N" 2>/dev/null + ok=1 + [ "$rc" -eq "$want" ] || ok=0 + if [ -n "$want_msg" ] && ! printf '%s' "$out" | grep -qF "$want_msg"; then ok=0; fi + if [ "$ok" = 1 ]; then + printf ' ✅ %s\n' "$desc"; PASS=$((PASS+1)) + else + printf ' ❌ %s —— 期望 exit=%s%s，實得 exit=%s\n' "$desc" "$want" \ + "${want_msg:+ 且訊息含「$want_msg」}" "$rc" + printf '%s\n' "$out" | sed -n '1,14p' | sed 's/^/ /' + FAIL=$((FAIL+1)) + fi +} +# 每個案例先把快取目錄準備好（fire 用的是自己那一格，互不污染） +for i in $(seq 1 40); do mkdir -p "$TMP/cache-$i"; done + +echo "── A 群：不該報（誤攔比漏擋更該修）──────────────────────────" + +# ① 這就是雲端那個現場：分支沒有 upstream，但它那顆 commit 就是遠端 main 那顆 +r=$(mk cloud) +( cd "$r" && git checkout -q -b claude/session-xyz && git branch -D main -q 2>/dev/null + git remote set-head origin -d 2>/dev/null; git update-ref -d refs/remotes/origin/main ) >/dev/null 2>&1 +fire "$r" 0 "① 沒 upstream，但遠端就有這顆 commit（雲端每個 session 的現場）" + +# ② HEAD 是遠端 main 的**祖先**（遠端已經走在前面）——同樣不是「沒推」 +r=$(mk ancestor) +( cd "$r" + echo b > b.txt && git add b.txt && git commit -qm second && git push -q origin main + git checkout -q -b work HEAD~1 + git update-ref -d refs/remotes/origin/main ) >/dev/null 2>&1 +fire "$r" 0 "② HEAD 是遠端 main 的祖先 → 遠端已經有它" + +# ③ 本機的 remote-tracking ref **過期**（08-28 實測落後遠端 4 天的那一格） +r=$(mk stale) +( cd "$r" + old=$(git rev-parse HEAD) + echo b > b.txt && git add b.txt && git commit -qm second && git push -q origin main + git update-ref refs/remotes/origin/main "$old" # 本機那份停在舊的 + git checkout -q -b claude/session-abc ) >/dev/null 2>&1 +fire "$r" 0 "③ 本機 origin/main 過期，但遠端真的有這顆 → 不報" + +# ④ 完全問不到遠端（沒有任何 remote）→ **不當成沒推** +r="$TMP/noremote"; git init -q -b main "$r" +( cd "$r" && echo a > a.txt && git add a.txt && git commit -qm only ) >/dev/null 2>&1 +fire "$r" 0 "④ 沒有任何 remote＝問不到 → 不報（不拿離線當罪證）" + +# ⑤ 基準過期時，已經在遠端 main 上的分支不算散落 +r=$(mk straystale) +( cd "$r" + old=$(git rev-parse HEAD) + git checkout -q -b feat/done + echo b > b.txt && git add b.txt && git commit -qm done + git push -q origin feat/done:main # 遠端 main 已經含它 + git update-ref refs/remotes/origin/main "$old" ) >/dev/null 2>&1 +fire "$r" 0 "⑤ 分支已在遠端 main 上，只是本機基準舊 → 不算散落" + +# ⑥ stop_hook_active → 一律放行 +r=$(mk stopactive) +( cd "$r" && echo x >> a.txt ) >/dev/null 2>&1 +N=$((N+1)) +out=$(printf '{"stop_hook_active":true}' | CLAUDE_PROJECT_DIR="$r" \ + UNPUSHED_CACHE_DIR="$TMP/cache-$N" bash "$HOOK" 2>&1); rc=$? +if [ "$rc" -eq 0 ]; then printf ' ✅ %s\n' "⑥ stop_hook_active＝true → 放行"; PASS=$((PASS+1)) +else printf ' ❌ %s（exit=%s）\n' "⑥ stop_hook_active＝true → 放行" "$rc"; FAIL=$((FAIL+1)); fi + +echo "── B 群：該報（不能為了不吵就變成放行）────────────────────" + +# ⑦ 真的有遠端沒有的 commit ＝ 真的沒推 +r=$(mk unpushed) +( cd "$r" + git checkout -q -b feat/real + echo b > b.txt && git add b.txt && git commit -qm "沒推的那筆" ) >/dev/null 2>&1 +fire "$r" 2 "⑦ 分支有遠端沒有的 commit → 要報" "從未推過" + +# ⑧ 有改動沒 commit +r=$(mk dirty) +( cd "$r" && echo more >> a.txt ) >/dev/null 2>&1 +fire "$r" 2 "⑧ 工作區有未 commit 的改動 → 要報" "未 commit" + +# ⑨ 散落分支：本地分支有遠端 main 沒有的東西 +r=$(mk stray) +( cd "$r" + git checkout -q -b feat/lost + echo c > c.txt && git add c.txt && git commit -qm "躺著的那筆" + git checkout -q main ) >/dev/null 2>&1 +fire "$r" 2 "⑨ 有分支沒併回、遠端也沒有 → 要報散落" "feat/lost" + +# ⑩ 判準沒有滑回「有沒有 upstream」：有 upstream 但真的領先，照樣要報 +r=$(mk ahead) +( cd "$r" + git branch --set-upstream-to=origin/main main + echo b > b.txt && git add b.txt && git commit -qm "領先一筆" ) >/dev/null 2>&1 +fire "$r" 2 "⑩ 有 upstream 且真的領先 → 照樣要報" "領先" + +echo +printf '通過 %s 條，失敗 %s 條（共 %s 條）\n' "$PASS" "$FAIL" "$N" +[ "$FAIL" = 0 ] || exit 1 diff --git a/hooks/unpushed-police.sh b/hooks/unpushed-police.sh index d9a6219..a5b1e2b 100755 --- a/hooks/unpushed-police.sh +++ b/hooks/unpushed-police.sh @@ -35,10 +35,107 @@ except Exception: print(False) ' 2>/dev/null)" [ "$stop_active" = "True" ] && exit 0 +# ══════════════════════════════════════════════════════════════════════ +# 「遠端到底有沒有這顆 commit」——本檔唯一的判準（inkstone/ISEP#90，2026-08-28） +# ══════════════════════════════════════════════════════════════════════ +# +# 🔴 舊判準是「這條分支有沒有 upstream」，而**雲端 session 開出來的工作分支 +# 天生就沒有 upstream**，內容卻等於遠端 main： +# +# 薄殼 HEAD = 081c547d90dc2d80692485af083ca1f71f2094f2 +# GitHub 遠端 main = 081c547d90dc2d80692485af083ca1f71f2094f2 ← 同一顆 +# +# ⇒ 每個雲端 session、每次收工都被攔一次。2026-08-27 一個 session 攔五次， +# **五次全是誤報**。而永遠在響的警報＝訓練人忽略這個警報 +# （本檔第 ③ 段自己在 08-12 就寫過這句，這次是同一個病長在別的判準上）。 +# +# 🔴 也不能改成「本機的 remote-tracking ref 有沒有含它」的變體： +# 那份 ref 會過期——08-28 實測本 session 的 `origin/main` 落後遠端整整 4 天。 +# 本機只答得準「有」，答不準「沒有」⇒ 答「沒有」的時候要去問遠端。 +# +# 三態，不是兩態：0＝遠端有　1＝遠端沒有　2＝問不到（沒 remote／網路不通／沒權限）。 +# **2 一律不報。** 誤攔比漏擋更該修（leo 2026-08-17：文字層那些閘 8 次誤攔、 +# 0 次正確攔截）——把「離線」當成「你沒推」，就是拿雜訊懲罰謹慎。 + +GIT_ASK="env GIT_TERMINAL_PROMPT=0 GIT_ASKPASS=/bin/echo GIT_SSH_COMMAND=ssh\ -oBatchMode=yes" +_TO="" +command -v timeout >/dev/null 2>&1 && _TO="timeout 15" +command -v gtimeout >/dev/null 2>&1 && _TO="gtimeout 15" + +# ls_remote_heads → 印出「 」數行；問不到就印空、離開碼 1 +# 快取 120 秒：Stop hook 每個回合都跑，同一個遠端不必每回合都打一次網路。 +ls_remote_heads() { + _lr_repo="$1"; _lr_rm="$2" + _lr_key="$(printf '%s|%s' "$_lr_repo" "$_lr_rm" | cksum | tr -d ' /')" + # 快取位置可被 UNPUSHED_CACHE_DIR 覆寫——測試要能造「同一個 repo、遠端變了」的場， + # 不能被上一個案例的快取餵到舊答案（那會是假綠）。 + _lr_cache="${UNPUSHED_CACHE_DIR:-/tmp}/.unpushed-lsremote-$_lr_key" + if [ -f "$_lr_cache" ]; then + _lr_now=$(date +%s 2>/dev/null || echo 0) + _lr_mt=$(stat -f %m "$_lr_cache" 2>/dev/null || stat -c %Y "$_lr_cache" 2>/dev/null || echo 0) + case "$_lr_now$_lr_mt" in *[!0-9]*) _lr_mt=0 ;; esac + if [ "$_lr_mt" -gt 0 ] && [ $((_lr_now - _lr_mt)) -lt 120 ]; then + [ -s "$_lr_cache" ] || return 1 + cat "$_lr_cache"; return 0 + fi + fi + if _lr_out="$($_TO $GIT_ASK git -C "$_lr_repo" ls-remote --heads "$_lr_rm" 2>/dev/null)" \ + && [ -n "$_lr_out" ]; then + printf '%s\n' "$_lr_out" > "$_lr_cache" 2>/dev/null || true + printf '%s\n' "$_lr_out" + return 0 + fi + : > "$_lr_cache" 2>/dev/null || true # 記「這次問不到」，免得每回合都等一次 timeout + return 1 +} + +# remote_has_commit → 0 遠端有／1 遠端沒有／2 問不到 +remote_has_commit() { + _rh_repo="$1"; _rh_sha="$2" + [ -n "$_rh_sha" ] || return 2 + # ① 本機就答得出「有」：任何 remote-tracking ref 含這顆 ⇒ 一定推過，不必打網路 + if [ -n "$(git -C "$_rh_repo" branch -r --contains "$_rh_sha" 2>/dev/null | head -1)" ]; then + return 0 + fi + _rh_asked=0 + for _rh_rm in $(git -C "$_rh_repo" remote 2>/dev/null); do + _rh_ls="$(ls_remote_heads "$_rh_repo" "$_rh_rm")" || continue + _rh_asked=1 + # 遠端某條 head 就是這顆 ⇒ 推過（雲端那個誤報正是落在這一格） + printf '%s\n' "$_rh_ls" | awk '{print $1}' | grep -qx "$_rh_sha" && return 0 + # 遠端那顆本機也有時，才問得出祖先關係（本機沒有就只能靠上面的等值比對） + printf '%s\n' "$_rh_ls" | while read -r _rh_rsha _; do + [ -n "$_rh_rsha" ] || continue + git -C "$_rh_repo" cat-file -e "${_rh_rsha}^{commit}" 2>/dev/null || continue + git -C "$_rh_repo" merge-base --is-ancestor "$_rh_sha" "$_rh_rsha" 2>/dev/null && exit 7 + done + [ $? = 7 ] && return 0 + done + [ "$_rh_asked" = 1 ] && return 1 + return 2 +} + +# remote_sha_of <遠端名> <分支名> → 印出遠端那顆 sha（拿不到印空） +remote_sha_of() { + ls_remote_heads "$1" "$2" 2>/dev/null \ + | awk -v b="refs/heads/$3" '$2 == b { print $1; exit }' +} + TOP="${CLAUDE_PROJECT_DIR:-$(cd "$(dirname "$0")/../.." && pwd)}" # 掃描對象：頂層 + 各子 repo（存在才掃）。worktree 一併涵蓋（git -C 會自己解）。 -REPOS="$TOP $TOP/matrix/arcrun $TOP/products/arcrun-rag $TOP/polaris/mira" +# +# 🔴 2026-08-28（inkstone/ISEP#90）補雲端那一格：雲端的 `$CLAUDE_PROJECT_DIR` +# 是**薄殼根**，真身被 bootstrap.sh clone 到 `$TOP/InkStoneCo/`，子 repo 在 +# `$TOP/InkStoneCo/matrix/arcrun` …。舊清單只認地端那種「頂層就是真身」的排法 +# ⇒ **雲端上真身有東西沒推，本閘一輩子不會知道**（它掃的四個路徑一個都不存在）。 +# ⇒ 這跟 ① 的誤攔是同一個病的兩面：在雲端，這支閘既亂叫、又看不到該看的地方。 +REPOS="" +for _body in "$TOP" "$TOP/InkStoneCo"; do + [ -d "$_body/.git" ] || [ -f "$_body/.git" ] || continue + REPOS="$REPOS $_body $_body/matrix/arcrun $_body/products/arcrun-rag $_body/polaris/mira" +done +[ -n "$REPOS" ] || REPOS="$TOP" problems="" for r in $REPOS; do @@ -50,17 +147,33 @@ for r in $REPOS; do staged="$(git -C "$r" diff --cached --shortstat 2>/dev/null | head -1)" # ② 已 commit 但沒推（**當前分支**） + # + unknown="" + # 🔴 判準是「遠端有沒有這顆 commit」，不是「有沒有 upstream」（ISEP#90，見檔頭那段）。 + # 有 upstream 時仍照原本的算法報「領先幾筆」——那個數字有用； + # 沒 upstream 時去問遠端，問不到就**不報**。 unpushed="" br="$(git -C "$r" branch --show-current 2>/dev/null)" if [ -n "$br" ]; then + head_sha="$(git -C "$r" rev-parse HEAD 2>/dev/null || true)" up="$(git -C "$r" rev-parse --abbrev-ref "@{upstream}" 2>/dev/null || true)" if [ -n "$up" ]; then n="$(git -C "$r" rev-list --count "$up".."$br" 2>/dev/null || echo 0)" - [ "$n" != "0" ] && unpushed="領先 $up $n 筆" + if [ "$n" != "0" ]; then + # upstream 本身可能過期（本機那份 ref 落後遠端 4 天是實測過的） + # ⇒ 先問遠端；遠端已經有這顆就不是「沒推」。 + remote_has_commit "$r" "$head_sha" + [ "$?" = 0 ] || unpushed="領先 $up $n 筆" + fi else - # 沒 upstream＝這條分支從來沒推過（今天 fix/cis-round3-install 就是這樣） - has_commits="$(git -C "$r" rev-list --count HEAD 2>/dev/null || echo 0)" - [ "$has_commits" != "0" ] && unpushed="分支 $br **從未推過**（無 upstream）" + remote_has_commit "$r" "$head_sha" + case "$?" in + 1) unpushed="分支 $br **從未推過**（遠端沒有 $(printf '%.7s' "$head_sha")）" ;; + # 0＝遠端有這顆（雲端 session 的工作分支就是這種）→ 不報 + # 2＝問不到遠端 → 不報，但這件事本身值得知道，收在下面當脈絡 + 2) [ -n "$(git -C "$r" rev-list --count HEAD 2>/dev/null)" ] \ + && unknown="分支 $br 問不到遠端（沒有 remote／網路不通）——**不當成沒推**" ;; + esac fi fi @@ -79,9 +192,27 @@ for r in $REPOS; do # **這正是同一晚重複八次的那個病：檢查跑了，但檢查的對象是錯的。** # ⇒ 基準改成「整合分支」：gitea/main > origin/main > main > 當前分支。 base="$br" + base_label="" for cand in gitea/main origin/main main; do if git -C "$r" rev-parse --verify -q "$cand" >/dev/null 2>&1; then base="$cand"; break; fi done + base_label="$base" + # 🔴 2026-08-28（inkstone/ISEP#90）：**基準的 ref 也會過期。** + # 08-28 實測：本機 `origin/main` 落後遠端整整 4 天 ⇒ 拿它當基準， + # 「已經在遠端 main 上」的分支會被整批報成散落——包括**雲端 session 自己 + # 那條工作分支**（它的內容就等於遠端 main）。 + # 08-15 那次訂正的是「基準挑錯了分支」，這次是「基準挑對了但那份是舊的」： + # 同一個病的第三面——檢查跑了，但檢查的對象是舊的。 + # ⇒ 問一次遠端；拿得到、而且本機真的有那顆 commit（不然算不了祖先），才換過去。 + case "$base_label" in + */*) _base_rm="${base_label%%/*}"; _base_br="${base_label#*/}" ;; + *) _base_rm="origin"; _base_br="$base_label" ;; + esac + _base_fresh="$(remote_sha_of "$r" "$_base_rm" "$_base_br")" + if [ -n "$_base_fresh" ] && git -C "$r" cat-file -e "${_base_fresh}^{commit}" 2>/dev/null; then + base="$_base_fresh" + base_label="$_base_rm/$_base_br（遠端實際那顆 $(printf '%.7s' "$_base_fresh")）" + fi if [ -n "$base" ]; then for b in $(git -C "$r" for-each-ref --format='%(refname:short)' refs/heads/ 2>/dev/null); do [ "$b" = "$base" ] && continue @@ -111,7 +242,7 @@ for r in $REPOS; do age="$(git -C "$r" log -1 --format='%ad' --date=format:'%m-%d' "$b" 2>/dev/null)" # 用真實換行累積，不用 \n 逃脫——否則後面的 printf '%b' 會把分支名再解讀一次 stray="$stray - - $b：$cnt 筆未併入 $base（最後動 $age）" + - $b：$cnt 筆未併入 $base_label（最後動 $age）" done fi @@ -123,10 +254,12 @@ for r in $REPOS; do [ -n "$unpushed" ] && line="$line · $unpushed" [ -n "$stray" ] && line="$line - · 🔀 **散落分支**（有 commit 沒併回 $br）：$stray" + · 🔀 **散落分支**（有 commit 沒併回 $base_label）：$stray" # 刻意保留的分支**不會自己觸發警報**（那正是加它的目的）， # 但這個 repo 若本來就有別的問題要報，就順便把它列出來當脈絡—— # 免得「保留」變成另一種看不見。 + [ -n "$line" ] && [ -n "$unknown" ] && line="$line + · ❔ $unknown" [ -n "$line" ] && [ -n "$held" ] && line="$line · ⏸️ 刻意保留（不觸發警報，理由在 .claude/branch-holds.md）：$held" [ -n "$line" ] && problems="$problems From adb7009b6739041f23e5b55b25c0523376cae9a5 Mon Sep 17 00:00:00 2001 From: claude-code Date: Fri, 28 Aug 2026 00:05:15 +0000 Subject: [PATCH 02/16] =?UTF-8?q?=E4=BF=A1=E6=A8=99=E5=A4=9A=E5=A0=B1?= =?UTF-8?q?=E4=B8=89=E4=BB=B6=E9=9B=B2=E7=AB=AF=E6=9C=83=E5=A3=9E=E6=8E=89?= =?UTF-8?q?=E7=9A=84=E4=BA=8B=EF=BC=9A=E7=89=88=E6=9C=AC=E8=90=BD=E5=B7=AE?= =?UTF-8?q?=EF=BC=8F=E8=88=8A=E8=A4=87=E6=9C=AC=E9=81=AE=E8=94=BD=E6=AD=A3?= =?UTF-8?q?=E9=96=80=EF=BC=8F=E9=80=80=E5=BD=B9=E6=A9=9F=E5=88=B6=E7=9A=84?= =?UTF-8?q?=E6=AE=98=E9=AA=B8=EF=BC=88inkstone/ISEP#90=20=E2=91=A1?= =?UTF-8?q?=E2=91=A2=EF=BC=89?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 信標原本只證明「有一份 plugin 載入了」，不證明「載入的是哪一份」—— 2026-08-27 雲端載的是 0.3.9、main 是 0.9.0，中間差 7 個 release，而它照樣是綠的。 那個看不見的落差的實際後果：0.3.9 裡還活著兩支 v0.9.0 已整支刪掉的 hook， 於是 .claude/pending-verification/ 被清掉之後又長回來。 三格（都只報告、不擋、拿不到答案就閉嘴）： · 版本落差：匿名讀 ISEP main 的 plugin.json（D20 判準下屬於「讀」），快取 6 小時、 逾時 6 秒。落後就講清楚差幾版與怎麼修，並指向 inkstone/ISEP#67。 · 舊複本遮蔽正門：plugin 的 scripts/* 在專案樹（含雲端的 $TOP/InkStoneCo/）裡 有同名但**內容不同**的複本就點名。實例＝InkStoneCo/scripts/ticket 的取 token 邏輯還停在「只認名叫 gitea 的 remote」，而雲端的 Gitea 叫 origin ⇒ 一律死在「拿不到 gitea token」⇒ 人被逼去繞過正門直接打 API， 而那正是 ticket-api-bypass-guard.sh 在防的事。 · 退役機制的殘骸：.claude/ 底下的目錄，若 plugin 的 hooks/scripts 一個字都沒提到 ⇒ 產生它的東西已經不在這一份裡了。判準是「plugin 現在還認不認得它」， **不是關鍵字黑名單**（leo 2026-08-17 已證明那條路 8 次誤攔、0 次正確攔截）。 訊息改由 hooks/lib/beacon_report.py 序列化：三段報告含引號與換行， 用 shell 內插拼 JSON 一個引號就會讓整行信標消失——而那正是「零閘狀態」的長相。 fail-open：python 掛掉、檔案不見、網路不通，一律退回原本那一行乾淨的信標。 測試 hooks/tests/isep-presence-beacon.test.sh：14/14（全離線）。 第 ⑪ 條守的是寫這支時真的犯過的 bug（內層迴圈變數跟外層的 d 撞名， 第二個殘骸之後全部被靜靜跳過）——把那個 bug 放回去，該條立刻轉紅。 --- hooks/isep-presence-beacon.sh | 20 ++- hooks/lib/beacon_report.py | 167 +++++++++++++++++++++++ hooks/tests/isep-presence-beacon.test.sh | 117 ++++++++++++++++ 3 files changed, 302 insertions(+), 2 deletions(-) create mode 100644 hooks/lib/beacon_report.py create mode 100755 hooks/tests/isep-presence-beacon.test.sh diff --git a/hooks/isep-presence-beacon.sh b/hooks/isep-presence-beacon.sh index 3311a4d..fb10c0f 100755 --- a/hooks/isep-presence-beacon.sh +++ b/hooks/isep-presence-beacon.sh @@ -42,12 +42,28 @@ case "$ROOT" in *) SRC="來源不明" ;; esac +# ── 交給 lib/beacon_report.py 組訊息 ───────────────────────────────── +# +# 🔴 為什麼改成走 python 而不是繼續用 printf 拼 JSON（inkstone/ISEP#90）： +# 下面要多報三件事（版本落差／舊複本遮蔽正門／退役機制的殘骸）， +# 而那三段的內容含引號與換行。**用 shell 內插拼 JSON，一個引號就會把整包 JSON 弄壞， +# 而壞掉的 JSON 讓信標整行消失** —— 那正是本檔要偵測的「零閘狀態」的長相。 +# ⇒ 訊息本身可以變複雜，但**序列化這件事不准手拼**。 +# +# 🔴 fail-open：python 掛掉、網路不通、什麼都不准讓這行消失。 +# 信標消失＝leo 會判定這個 session 沒有閘（本檔第 8 行寫的判準）， +# 所以組不出加料版就退回原本那一行乾淨的訊息。 MSG="🟢 ISEP v${VER} 已載入（${GATES} 支閘｜來源：${SRC}｜${ROOT}）" - -printf '%s\n' "{ +FALLBACK="{ \"systemMessage\": \"${MSG}\", \"hookSpecificOutput\": { \"hookEventName\": \"SessionStart\", \"additionalContext\": \"${MSG}。這行是 ISEP plugin 自己發的——看得到它就表示閘真的生效了。若某個 session 從頭到尾沒有這行，那個 session 是零閘狀態，先修 plugin 再做事，不要用『跑得動』當證據。\" } }" + +OUT="$(python3 "$ROOT/hooks/lib/beacon_report.py" "$VER" "$GATES" "$SRC" 2>/dev/null || true)" +case "$OUT" in + \{*) printf '%s\n' "$OUT" ;; + *) printf '%s\n' "$FALLBACK" ;; +esac diff --git a/hooks/lib/beacon_report.py b/hooks/lib/beacon_report.py new file mode 100644 index 0000000..57afb2b --- /dev/null +++ b/hooks/lib/beacon_report.py @@ -0,0 +1,167 @@ +# ── 以下三格是 inkstone/ISEP#90 加的「這一份是不是還有效」自檢 ────────── +# 都**只是報告，不擋任何事**（SessionStart 本來就不該擋），而且每一格拿不到答案就閉嘴。 +import json, os, re, subprocess, sys, time, urllib.request + +ROOT = os.environ.get("CLAUDE_PLUGIN_ROOT", "") +PROJ = os.environ.get("CLAUDE_PROJECT_DIR") or os.getcwd() +VER = sys.argv[1] if len(sys.argv) > 1 else "未知" +GATES = sys.argv[2] if len(sys.argv) > 2 else "?" +SRC = sys.argv[3] if len(sys.argv) > 3 else "來源不明" + +MSG = "🟢 ISEP v%s 已載入（%s 支閘｜來源：%s｜%s）" % (VER, GATES, SRC, ROOT) +notes = [] + +# ══ ① 這一份跟 ISEP main 是不是同一版 ═══════════════════════════════════ +# +# 🔴 為什麼要自己查（inkstone/ISEP#90，2026-08-27 實查）： +# ISEP main 的 plugin.json → 0.9.0 +# 雲端實際載入 → 0.3.9 ← 中間差 7 個 release +# 而信標**照樣是綠的**——它只證明「有一份 plugin 載入了」，不證明「載入的是哪一份」。 +# 後果不是抽象的：0.3.9 裡還活著兩支已經在 v0.9.0 整支刪掉的 hook， +# 於是 `.claude/pending-verification/` 在雲端**被清掉之後又長回來**。 +# ⇒ 一個看不見的落差，會讓「已經刪掉的機制」在別人的工作區裡復活。 +# +# 匿名讀（不帶任何憑證）⇒ D20 判準下屬於「讀」，不需要開閘、不計次。 +# 快取 6 小時、逾時 6 秒、任何失敗一律閉嘴——信標不能因為網路而變吵或變慢。 +def main_version(): + cache = os.path.join(os.environ.get("ISEP_BEACON_CACHE_DIR", "/tmp"), ".isep-main-version") + try: + if time.time() - os.path.getmtime(cache) < 6 * 3600: + v = open(cache, encoding="utf-8").read().strip() + return v or None + except Exception: + pass + url = os.environ.get("ISEP_MAIN_MANIFEST_URL", + "https://git.uncle6.me/inkstone/ISEP/raw/branch/main/.claude-plugin/plugin.json") + try: + with urllib.request.urlopen(url, timeout=6) as r: + v = (json.loads(r.read().decode("utf-8")) or {}).get("version") or "" + except Exception: + v = "" + try: + open(cache, "w", encoding="utf-8").write(v) + except Exception: + pass + return v or None + +def vtuple(v): + return tuple(int(x) for x in re.findall(r"\d+", v)[:3]) or (0,) + +MAIN = main_version() if os.environ.get("ISEP_BEACON_SKIP_NET") != "1" else os.environ.get("ISEP_FAKE_MAIN_VERSION") +if MAIN and VER != "未知" and MAIN != VER: + if vtuple(MAIN) > vtuple(VER): + notes.append( + "🔴 **這一份落後 ISEP main**（載入 %s ／ main %s）——你現在跑的不是最新那組閘，" + "而且**已經刪掉的機制可能還活著**（0.3.9 就是這樣讓 .claude/pending-verification/ 復活的）。" + "修：本機 `claude plugin update isep@inkstone`；雲端要去動一下 Environment 的 setup script " + "內容逼它重拍快照（快取約 7 天）。追蹤票 inkstone/ISEP#67。" % (VER, MAIN)) + else: + notes.append("ℹ️ 這一份比 ISEP main 新（載入 %s ／ main %s）——沒發版的改動只在這台機器上。" % (VER, MAIN)) + +# ══ ② 專案裡有沒有 ISEP 腳本的舊複本在遮蔽正門 ══════════════════════════ +# +# 🔴 實例（inkstone/ISEP#90 ②）：`InkStoneCo/scripts/ticket` 是 ISEP `scripts/ticket` +# 的**舊複本**，它的取 token 邏輯還停在「只認名叫 gitea 的 remote」， +# 而 bootstrap.sh 在雲端把 Gitea 設成 `origin` +# ⇒ 在雲端跑 `scripts/ticket` 一律死在「拿不到 gitea token」 +# ⇒ 人只好繞過正門直接打 API——而那正是 ticket-api-bypass-guard.sh 在防的事。 +# **一道閘把人逼去走它自己禁止的那條路，那道閘就是在製造違規。** +# +# 判準不是「檔名一樣」，是「檔名一樣**而內容不同**」——同步過的複本不吵。 +def shadow_copies(): + out = [] + src = os.path.join(ROOT, "scripts") + if not os.path.isdir(src): + return out + roots = [PROJ, os.path.join(PROJ, "InkStoneCo")] + for name in sorted(os.listdir(src)): + a = os.path.join(src, name) + if not os.path.isfile(a): + continue + try: + ab = open(a, "rb").read() + except Exception: + continue + for base in roots: + b = os.path.join(base, "scripts", name) + if os.path.realpath(b) == os.path.realpath(a): + continue + if not os.path.isfile(b): + continue + try: + if open(b, "rb").read() != ab: + out.append(os.path.relpath(b, PROJ)) + except Exception: + pass + return out + +sh = shadow_copies() +if sh: + notes.append( + "🟡 **專案裡有 ISEP 腳本的舊複本**，而它們排在 plugin 前面被叫到：%s。" + "兩份必然漂移，漂移的那份會安靜地騙人——`InkStoneCo/scripts/ticket` 就是這樣" + "在雲端一律死在「拿不到 gitea token」。要嘛刪掉複本改叫 " + "`\"$CLAUDE_PLUGIN_ROOT\"/scripts/<名字>`，要嘛把複本同步回 ISEP。" % "、".join(sh)) + +# ══ ③ 工作區有沒有「已退役機制」留下的產物 ══════════════════════════════ +# +# 判準是機械的、而且會自己長大：**plugin 自己的原始碼裡有沒有任何一個字提到這個目錄**。 +# 提到了 ⇒ 它是現行機制的產物，正常。 +# 一個字都沒提到 ⇒ 產生它的東西已經不在這一份 ISEP 裡了 ⇒ 它是殘骸。 +# 刻意**不用關鍵字黑名單**（leo 2026-08-17 已證明那條路 8 次誤攔、0 次正確攔截）： +# 這裡問的是「plugin 現在還認不認得它」，不是「這個名字看起來像不像壞東西」。 +NATIVE = {"hooks", "commands", "skills", "agents", "plugins", "wiki", "cloud-shell", + "projects", "statsig", "shell-snapshots", "todos", "ide", "local", "isep"} +def orphan_artifacts(): + out = [] + for base in [PROJ, os.path.join(PROJ, "InkStoneCo")]: + d = os.path.join(base, ".claude") + if not os.path.isdir(d): + continue + for name in sorted(os.listdir(d)): + p = os.path.join(d, name) + if not os.path.isdir(p) or name in NATIVE or name.startswith("."): + continue + # 🔴 只搜「會產生東西的那些檔」（hooks／scripts），不搜 docs： + # docs 提到一個名字**不會讓那個目錄長出來**，但會讓這一格閉嘴。 + # 🔴 也要把本檔排除掉：本檔的註解裡就寫著 `pending-verification` 當例子， + # 第一次跑就因此漏報了真正存在的那一個——**自己提到自己＝這格靜音**。 + try: + hit = False + for sub in ("hooks", "scripts"): + # 🔴 變數名不要跟外層的 `d`（.claude 那個目錄）撞——撞了會把 + # 外層迴圈的基準目錄換掉，第二個名字之後全部被靜靜跳過。 + # 第一版就是這樣寫的，實測結果：真的存在的 `verified-claims` + # 一聲不吭地消失了。**假綠不是漏寫檢查，是檢查跑在錯的對象上。** + sd = os.path.join(ROOT, sub) + if not os.path.isdir(sd): + continue + if subprocess.run(["grep", "-rqlF", "--exclude", os.path.basename(__file__), + "--", name, sd], + capture_output=True, timeout=20).returncode == 0: + hit = True + break + except Exception: + hit = True # 問不出來就當它有效，不亂報 + if not hit: + out.append(os.path.relpath(p, PROJ)) + return out + +orph = orphan_artifacts() +if orph: + notes.append( + "🟡 **工作區有已退役機制的產物**：%s。這一份 ISEP 裡沒有任何東西提到它們" + "（v0.9.0 已整支刪除產生它的 hook），所以它們是殘骸——" + "**它們還在長，就表示這台機器跑的是舊版**（見上面那格）。確認之後刪掉。" % "、".join(orph)) + +CONTEXT = ("%s。這行是 ISEP plugin 自己發的——看得到它就表示閘真的生效了。" + "若某個 session 從頭到尾沒有這行，那個 session 是零閘狀態，" + "先修 plugin 再做事，不要用『跑得動』當證據。" % MSG) +if notes: + MSG = MSG + "\n" + "\n".join(notes) + CONTEXT = CONTEXT + "\n\n" + "\n".join(notes) + +print(json.dumps({"systemMessage": MSG, + "hookSpecificOutput": {"hookEventName": "SessionStart", + "additionalContext": CONTEXT}}, + ensure_ascii=False)) diff --git a/hooks/tests/isep-presence-beacon.test.sh b/hooks/tests/isep-presence-beacon.test.sh new file mode 100755 index 0000000..271d240 --- /dev/null +++ b/hooks/tests/isep-presence-beacon.test.sh @@ -0,0 +1,117 @@ +#!/usr/bin/env bash +# isep-presence-beacon.sh 的迴歸測試（inkstone/ISEP#90 ②③） +# +# 信標的價值全在鑑別力，所以這支要同時證明兩件相反的事： +# ① 該報的三件真的報得出來（版本落差／舊複本遮蔽正門／退役機制的殘骸） +# ② **不管加多少報告，那行綠色信標永遠在**——它消失＝leo 會判定這個 session 零閘。 +# 所以連 python 掛掉、網路不通、訊息裡有引號，都要還有一行合法 JSON。 +# +# 🔴 全程離線（ISEP_BEACON_SKIP_NET=1，版本用 ISEP_FAKE_MAIN_VERSION 造）， +# 造假的 plugin root 與 project dir 都在 TMP 底下，不碰真 repo。 +set -u +HOOK="${1:-$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)/isep-presence-beacon.sh}" +REAL_HOOKS="$(cd "$(dirname "$HOOK")" && pwd)" +TMP=$(mktemp -d); trap 'rm -rf "$TMP"' EXIT +export ISEP_BEACON_SKIP_NET=1 ISEP_BEACON_CACHE_DIR="$TMP" + +PASS=0; FAIL=0; N=0 + +# mkplugin <版本> → 造一份假的 plugin root（只放信標真的會讀的東西） +mkplugin() { + d="$TMP/plugin-$1"; mkdir -p "$d/.claude-plugin" "$d/hooks/lib" "$d/scripts" + printf '{"name":"isep","version":"%s"}\n' "$1" > "$d/.claude-plugin/plugin.json" + printf '{"hooks":{"Stop":[{"hooks":[{"command":"hooks/a.sh"},{"command":"hooks/b.sh"}]}]}}\n' \ + > "$d/hooks/hooks.json" + cp "$HOOK" "$d/hooks/$(basename "$HOOK")" + cp "$REAL_HOOKS/lib/beacon_report.py" "$d/hooks/lib/beacon_report.py" + printf '#!/bin/sh\necho real\n' > "$d/scripts/ticket" + printf '%s\n' "$d" +} + +# run → 印出 systemMessage（JSON 壞掉就印 __BADJSON__） +run() { + CLAUDE_PLUGIN_ROOT="$1" CLAUDE_PROJECT_DIR="$2" bash "$1/hooks/$(basename "$HOOK")" 2>/dev/null \ + | python3 -c 'import json,sys +try: print(json.load(sys.stdin)["systemMessage"]) +except Exception: print("__BADJSON__")' +} + +check() { # check <說明> <輸出> <該出現|!不該出現>... + desc="$1"; out="$2"; shift 2; N=$((N+1)); ok=1; why="" + for w in "$@"; do + case "$w" in + "!"*) if printf '%s' "$out" | grep -qF -- "${w#!}"; then ok=0; why="不該出現卻出現了：${w#!}"; fi ;; + *) if ! printf '%s' "$out" | grep -qF -- "$w"; then ok=0; why="少了：$w"; fi ;; + esac + done + if [ "$ok" = 1 ]; then printf ' ✅ %s\n' "$desc"; PASS=$((PASS+1)) + else printf ' ❌ %s —— %s\n' "$desc" "$why"; printf '%s\n' "$out" | sed 's/^/ /'; FAIL=$((FAIL+1)); fi +} + +echo "── 基本盤：那行綠色信標永遠在 ────────────────────────────────" +P=$(mkplugin 0.9.0); J="$TMP/proj-clean"; mkdir -p "$J" +out=$(run "$P" "$J") +check "① 乾淨環境：只有一行信標，版本與閘數都在" "$out" \ + "🟢 ISEP v0.9.0 已載入" "2 支閘" "!🔴" "!🟡" "!__BADJSON__" + +echo "── ①版本落差 ────────────────────────────────────────────────" +out=$(ISEP_FAKE_MAIN_VERSION=0.9.0 run "$P" "$J") +check "② 載入版＝main 版 → 不吵" "$out" "🟢 ISEP v0.9.0" "!落後" +P39=$(mkplugin 0.3.9) +out=$(ISEP_FAKE_MAIN_VERSION=0.9.0 run "$P39" "$J") +check "③ 載入 0.3.9、main 0.9.0 → 要說它落後（雲端那個現場）" "$out" \ + "🟢 ISEP v0.3.9 已載入" "落後 ISEP main" "0.9.0" "inkstone/ISEP#67" +out=$(ISEP_FAKE_MAIN_VERSION=0.1.0 run "$P" "$J") +check "④ 載入版比 main 新 → 說「沒發版」，不說「落後」" "$out" "比 ISEP main 新" "!落後 ISEP main" + +echo "── ②舊複本遮蔽正門 ──────────────────────────────────────────" +J2="$TMP/proj-shadow"; mkdir -p "$J2/scripts" +printf '#!/bin/sh\necho OLD\n' > "$J2/scripts/ticket" +out=$(run "$P" "$J2") +check "⑤ 專案裡有內容不同的同名腳本 → 要點名（ticket 那件）" "$out" \ + "舊複本" "scripts/ticket" +J3="$TMP/proj-same"; mkdir -p "$J3/scripts"; cp "$P/scripts/ticket" "$J3/scripts/ticket" +out=$(run "$P" "$J3") +check "⑥ 複本內容一模一樣（同步過的）→ 不吵" "$out" "!舊複本" +J4="$TMP/proj-body"; mkdir -p "$J4/InkStoneCo/scripts" +printf '#!/bin/sh\necho OLD\n' > "$J4/InkStoneCo/scripts/ticket" +out=$(run "$P" "$J4") +check "⑦ 雲端排法：複本在 \$TOP/InkStoneCo/ 底下也要抓到" "$out" \ + "舊複本" "InkStoneCo/scripts/ticket" + +echo "── ③退役機制的殘骸 ──────────────────────────────────────────" +J5="$TMP/proj-orphan"; mkdir -p "$J5/.claude/pending-verification" "$J5/.claude/hooks" +out=$(run "$P" "$J5") +check "⑧ plugin 的 hooks/scripts 完全沒提到的目錄 → 報殘骸" "$out" \ + "已退役機制的產物" ".claude/pending-verification" +check "⑨ Claude Code 自己的目錄（hooks）不算殘骸" "$out" "!.claude/hooks" +# 現行機制的產物不該被報：讓 plugin 的某支 hook 提到它 +mkdir -p "$J5/.claude/pending-main-push" +printf '#!/bin/sh\n# 寫到 pending-main-push/\n' > "$P/hooks/x.sh" +out=$(run "$P" "$J5") +check "⑩ hooks 裡有東西提到它 → 那是現行機制的產物，不報" "$out" "!pending-main-push" +# 🔴 這條守的是第一版真的犯過的 bug：內層迴圈的變數名跟外層的 `d` 撞， +# 第二個名字之後全部被靜靜跳過 ⇒ 真的存在的殘骸一聲不吭地消失。 +mkdir -p "$J5/.claude/verified-claims" +out=$(run "$P" "$J5") +check "⑪ 同一個 .claude 底下有多個殘骸 → 每一個都要報（變數撞名的迴歸）" "$out" \ + ".claude/pending-verification" ".claude/verified-claims" + +echo "── 最重要：加了報告也不准讓信標消失 ──────────────────────────" +# python 掛掉（把 report 換成一定會爆的內容）→ 仍要有一行合法 JSON 的信標 +PB=$(mkplugin 0.9.0); printf 'raise SystemExit(3)\n' > "$PB/hooks/lib/beacon_report.py" +out=$(run "$PB" "$J") +check "⑫ 組訊息的 python 整支掛掉 → 退回乾淨的那一行，不是沉默" "$out" \ + "🟢 ISEP v0.9.0 已載入" "!__BADJSON__" +rm -f "$PB/hooks/lib/beacon_report.py" +out=$(run "$PB" "$J") +check "⑬ 連 report 檔都不見 → 一樣要有信標" "$out" "🟢 ISEP v0.9.0 已載入" "!__BADJSON__" +# 訊息裡有引號/換行時 JSON 仍要合法（舊版是 printf 手拼的，這正是它會壞的地方） +J6="$TMP/proj-quote"; mkdir -p "$J6/scripts" +printf '#!/bin/sh\necho "OLD"\n' > "$J6/scripts/ticket" +out=$(run "$P" "$J6") +check "⑭ 報告內容含引號 → JSON 仍然合法" "$out" "🟢 ISEP" "!__BADJSON__" + +echo +printf '通過 %s 條，失敗 %s 條（共 %s 條）\n' "$PASS" "$FAIL" "$N" +[ "$FAIL" = 0 ] || exit 1 From 3e83a4b4f30adf64cb4a8f320042e490d2576582 Mon Sep 17 00:00:00 2001 From: claude-code Date: Fri, 28 Aug 2026 00:11:42 +0000 Subject: [PATCH 03/16] =?UTF-8?q?=E4=BF=AE=E5=A5=BD=E3=80=8C=E7=B8=BD?= =?UTF-8?q?=E7=AE=A1=E5=8F=AF=E4=BB=A5=E6=94=BE=E8=A1=8C=E3=80=8D=E9=82=A3?= =?UTF-8?q?=E9=81=93=E9=96=80=E2=80=94=E2=80=94=E5=AE=83=E5=9C=A8=20Linux?= =?UTF-8?q?=EF=BC=88=EF=BC=9D=E6=AF=8F=E5=80=8B=E9=9B=B2=E7=AB=AF=20sessio?= =?UTF-8?q?n=EF=BC=89=E4=B8=8A=E6=98=AF=E7=84=8A=E6=AD=BB=E7=9A=84?= =?UTF-8?q?=EF=BC=88inkstone/ISEP#90=20=E2=91=A3=EF=BC=89?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 三支閘（prod-write-guard／main-and-prod-push-guard／stage-before-prod-guard） 判斷戳記新不新，都寫成這一行： MT=$(stat -f %m "$STAMP" 2>/dev/null || stat -c %Y "$STAMP" 2>/dev/null || echo 0) macOS（BSD stat）上 `-f %m` 就是 mtime，對的。 **GNU coreutils 的 `-f` 是「顯示檔案系統資訊」**，而且它一邊回非零、 一邊往 stdout 吐一整段區塊 ⇒ `||` 接上的秒數被那段文字污染 ⇒ 下一行的 `case "$NOW$MT" in *[!0-9]*) return 1` 必然命中 ⇒ **在 Linux 上那三支閘的戳記永遠不會被接受。** 後果不是少一個便利功能：那三支閘都是「擋下來、但總管看過就能放行」， 而放行那道門在雲端打不開 ⇒ **它們在雲端等於純擋**， 總管照著閘自己印的指示做，做幾次都打不開，閘也不會告訴他門是壞的 （inkstone/InkStoneCo#99 那次「連續四次蓋不出戳記」就是這個形狀）。 · hooks/lib/mtime.sh：先 `-c %Y`（GNU）再 `-f %m`（BSD），**每一步都驗是不是純數字** ——這個 bug 的成因正是「命令失敗了卻還是印了東西」，只看離開碼會再被騙一次。 四支用到的檔各自帶一份 inline fallback：這道門不能因為少一個檔案就再關上一次。 · scripts/gate-ok：把散在各閘訊息裡的七種逃生口收斂成一個名字、一種形狀 （`gate-ok <閘名> [參數]`）。原因是逃生口原本是「臨時湊出來的 Bash 指令」， 而臨時湊的指令沒有穩定形狀可以事先放行——settings.json 的 allow 只能逐條完全比對， 多一個 `&&`、換一個 session id 就落在規則外。它蓋的戳記與閘原本認的完全同一個檔、 同一種語意（單次、綁 repo、綁 session、有效期都沒動），換掉的只有「怎麼蓋」。 測試 hooks/tests/gate-ok.test.sh：16/16。既有的三支測試（29／16／10）不受影響。 拿 main 跑同一份：②⑤（門打得開）紅、⑥⑦⑧（門沒變寬）全綠 ⇒ 這支補的正是既有測試從來沒驗過的那半邊。 --- hooks/lib/mtime.sh | 41 +++++++++++ hooks/main-and-prod-push-guard.sh | 14 +++- hooks/prod-write-guard.sh | 14 +++- hooks/stage-before-prod-guard.sh | 14 +++- hooks/tests/gate-ok.test.sh | 82 ++++++++++++++++++++++ hooks/unpushed-police.sh | 14 +++- scripts/gate-ok | 113 ++++++++++++++++++++++++++++++ 7 files changed, 288 insertions(+), 4 deletions(-) create mode 100644 hooks/lib/mtime.sh create mode 100755 hooks/tests/gate-ok.test.sh create mode 100755 scripts/gate-ok diff --git a/hooks/lib/mtime.sh b/hooks/lib/mtime.sh new file mode 100644 index 0000000..530e283 --- /dev/null +++ b/hooks/lib/mtime.sh @@ -0,0 +1,41 @@ +# hooks/lib/mtime.sh — 「這個檔幾點被動的」，跨 macOS／Linux 都問得出來。 +# 不是獨立掛的閘（沒進 hooks.json），給那幾支用 /tmp 戳記的閘 `source` 用。 +# +# ══ 為什麼要有這支（inkstone/ISEP#90 ④，2026-08-28 實查）═══════════════ +# +# 三支閘（prod-write-guard、main-and-prod-push-guard、stage-before-prod-guard） +# 的戳記檢查都寫成這一行： +# +# MT=$(stat -f %m "$STAMP" 2>/dev/null || stat -c %Y "$STAMP" 2>/dev/null || echo 0) +# +# 在 macOS（BSD stat）上它是對的：`-f %m` 就是 mtime。 +# 在 **Linux（GNU coreutils）上 `-f` 是「顯示檔案系統資訊」**，而且它 +# **一邊回非零、一邊往 stdout 吐一整段檔案系統的區塊**： +# +# $ stat -f %m /tmp/.probe +# stat: cannot read file system information for '%m': No such file or directory ← stderr +# File: "/tmp/.probe" ← stdout +# ID: 0 Namelen: 255 Type: ext2/ext3 +# … +# +# ⇒ `2>/dev/null` 把錯誤訊息吃掉、`||` 接著跑 `stat -c %Y` 把正確的秒數**接在那堆垃圾後面** +# ⇒ `MT` 變成「一段多行文字＋一個數字」 +# ⇒ 閘下一行的 `case "$NOW$MT" in *[!0-9]*) return 1` 一定命中 +# ⇒ **在 Linux 上，那三支閘的戳記永遠不會被接受。** +# +# 🔴 這件事的後果不是「少一個便利功能」： +# 那三支閘都是「擋下來，但**總管看過就可以放行**」的設計。 +# 放行的那道門在雲端（Linux）打不開 ⇒ **它們在雲端等於純擋**， +# 總管照著閘自己印的指示做，做幾次都打不開，而閘不會告訴他門是壞的。 +# inkstone/InkStoneCo#99 記的「連續四次蓋不出戳記」就是這個形狀。 +# +# 🔴 順序反過來就好，但不能只靠順序：改成先 `-c %Y`（GNU）再 `-f %m`（BSD）， +# 而且**每一步都驗它是不是純數字**——因為這個 bug 的成因正是 +# 「命令失敗了卻還是印了東西出來」，只看離開碼會再被騙一次。 +file_mtime() { + _fm=$(stat -c %Y "$1" 2>/dev/null || true) + case "${_fm:-}" in ''|*[!0-9]*) _fm=$(stat -f %m "$1" 2>/dev/null || true) ;; esac + case "${_fm:-}" in ''|*[!0-9]*) _fm=$(python3 -c 'import os,sys; print(int(os.path.getmtime(sys.argv[1])))' "$1" 2>/dev/null || true) ;; esac + case "${_fm:-}" in ''|*[!0-9]*) _fm=0 ;; esac + printf '%s' "$_fm" +} diff --git a/hooks/main-and-prod-push-guard.sh b/hooks/main-and-prod-push-guard.sh index 87f9d3e..6c55d52 100755 --- a/hooks/main-and-prod-push-guard.sh +++ b/hooks/main-and-prod-push-guard.sh @@ -74,6 +74,18 @@ esac # ⇒ 沒有可靠的身分辨識時，改成**正向確認**：推 main 前要有一枚新鮮的戳記。 # subagent 當然造得出那枚戳記——但它得刻意繞過一段明講「不要這樣做」的訊息。 # **閘擋的是無心，不是惡意。** 而現在這個版本連無心都擋不了（它誰都擋）。 +# 🔴 戳記的 mtime 一律走 lib/mtime.sh：舊寫法（`stat -f %m || stat -c %Y`）在 Linux 上 +# **永遠算不出數字**（GNU 的 `-f` 是「檔案系統資訊」，它一邊回非零一邊吐一整段文字， +# 於是後面接上的秒數被那段垃圾污染）⇒ 這支閘給總管的逃生口在雲端整個焊死， +# 而閘不會告訴他門是壞的（inkstone/ISEP#90 ④，全文見 hooks/lib/mtime.sh）。 +# lib 不在時就地補一份同順序的定義——這道門不能因為少一個檔案就再關上一次。 +. "$(dirname "$0")/lib/mtime.sh" 2>/dev/null || file_mtime() { + _fm=$(stat -c %Y "$1" 2>/dev/null || true) + case "${_fm:-}" in ''|*[!0-9]*) _fm=$(stat -f %m "$1" 2>/dev/null || true) ;; esac + case "${_fm:-}" in ''|*[!0-9]*) _fm=0 ;; esac + printf '%s' "$_fm" +} + STAMP="/tmp/.main-push-ok" # 🔴 2026-08-11 這道閘被自己的戳記穿透了，修法寫在這裡： @@ -87,7 +99,7 @@ STAMP="/tmp/.main-push-ok" stamp_ok() { [ -f "$STAMP" ] || return 1 NOW=$(date +%s 2>/dev/null || echo 0) - MT=$(stat -f %m "$STAMP" 2>/dev/null || stat -c %Y "$STAMP" 2>/dev/null || echo 0) + MT=$(file_mtime "$STAMP") case "$NOW$MT" in *[!0-9]*) return 1 ;; esac [ "$NOW" -gt 0 ] && [ "$MT" -gt 0 ] || return 1 [ $((NOW - MT)) -lt 900 ] || return 1 diff --git a/hooks/prod-write-guard.sh b/hooks/prod-write-guard.sh index 437d424..4c96fef 100755 --- a/hooks/prod-write-guard.sh +++ b/hooks/prod-write-guard.sh @@ -48,11 +48,23 @@ except Exception: print("") # **15 分鐘內一條並行的 subagent 把 commit 推上了另一個 repo 的 main**。 # ⇒ **多條 subagent 並行時，「時間窗」本身就是漏洞。** 所以改成單次用完即丟。 # ⇒ 而且只在**真的要擋的那一刻**才檢查——放在檔頭會被任何一條無關指令把戳記燒掉。 +# 🔴 戳記的 mtime 一律走 lib/mtime.sh：舊寫法（`stat -f %m || stat -c %Y`）在 Linux 上 +# **永遠算不出數字**（GNU 的 `-f` 是「檔案系統資訊」，它一邊回非零一邊吐一整段文字， +# 於是後面接上的秒數被那段垃圾污染）⇒ 這支閘給總管的逃生口在雲端整個焊死， +# 而閘不會告訴他門是壞的（inkstone/ISEP#90 ④，全文見 hooks/lib/mtime.sh）。 +# lib 不在時就地補一份同順序的定義——這道門不能因為少一個檔案就再關上一次。 +. "$(dirname "$0")/lib/mtime.sh" 2>/dev/null || file_mtime() { + _fm=$(stat -c %Y "$1" 2>/dev/null || true) + case "${_fm:-}" in ''|*[!0-9]*) _fm=$(stat -f %m "$1" 2>/dev/null || true) ;; esac + case "${_fm:-}" in ''|*[!0-9]*) _fm=0 ;; esac + printf '%s' "$_fm" +} + STAMP="/tmp/.prod-write-ok" stamp_ok() { [ -f "$STAMP" ] || return 1 NOW=$(date +%s 2>/dev/null || echo 0) - MT=$(stat -f %m "$STAMP" 2>/dev/null || stat -c %Y "$STAMP" 2>/dev/null || echo 0) + MT=$(file_mtime "$STAMP") case "$NOW$MT" in *[!0-9]*) return 1 ;; esac [ "$NOW" -gt 0 ] && [ "$MT" -gt 0 ] || return 1 [ $((NOW - MT)) -lt 900 ] || return 1 diff --git a/hooks/stage-before-prod-guard.sh b/hooks/stage-before-prod-guard.sh index 8eecbab..1a007db 100755 --- a/hooks/stage-before-prod-guard.sh +++ b/hooks/stage-before-prod-guard.sh @@ -159,6 +159,18 @@ fi # ⇒ 改成兩者都認：內容有數字就用內容，沒有就用 mtime（`touch` 因此真的有效）。 # # 另外認 leo 親手蓋的章（scripts/stage-ok.sh 產生），那是比我自評更強的訊號。 +# 🔴 戳記的 mtime 一律走 lib/mtime.sh：舊寫法（`stat -f %m || stat -c %Y`）在 Linux 上 +# **永遠算不出數字**（GNU 的 `-f` 是「檔案系統資訊」，它一邊回非零一邊吐一整段文字， +# 於是後面接上的秒數被那段垃圾污染）⇒ 這支閘給總管的逃生口在雲端整個焊死， +# 而閘不會告訴他門是壞的（inkstone/ISEP#90 ④，全文見 hooks/lib/mtime.sh）。 +# lib 不在時就地補一份同順序的定義——這道門不能因為少一個檔案就再關上一次。 +. "$(dirname "$0")/lib/mtime.sh" 2>/dev/null || file_mtime() { + _fm=$(stat -c %Y "$1" 2>/dev/null || true) + case "${_fm:-}" in ''|*[!0-9]*) _fm=$(stat -f %m "$1" 2>/dev/null || true) ;; esac + case "${_fm:-}" in ''|*[!0-9]*) _fm=0 ;; esac + printf '%s' "$_fm" +} + for STAMP in /tmp/.stage-ok-by-leo /tmp/.stage-verified; do [ -f "$STAMP" ] || continue now=$(date +%s) @@ -172,7 +184,7 @@ for STAMP in /tmp/.stage-ok-by-leo /tmp/.stage-verified; do # 抽數字會得到天文數字 ⇒ `now - t` 是**負數** ⇒ `< 21600` 成立 ⇒ **永遠放行**。 # ⇒ 只有「不晚於現在」的時間戳才算數；不合理就退回 mtime，別當成通過。 if [ "$t" -eq 0 ] || [ "$t" -gt "$now" ]; then - t=$(stat -f %m "$STAMP" 2>/dev/null || stat -c %Y "$STAMP" 2>/dev/null || echo 0) + t=$(file_mtime "$STAMP") fi [ "$t" -gt 0 ] && [ "$((now - t))" -lt 21600 ] && exit 0 # 6 小時內驗過 stage → 放行 done diff --git a/hooks/tests/gate-ok.test.sh b/hooks/tests/gate-ok.test.sh new file mode 100755 index 0000000..0c5de96 --- /dev/null +++ b/hooks/tests/gate-ok.test.sh @@ -0,0 +1,82 @@ +#!/usr/bin/env bash +# scripts/gate-ok ＋「戳記真的打得開門」的迴歸測試（inkstone/ISEP#90 ④） +# +# ══ 這支守的是什麼 ═════════════════════════════════════════════════════ +# 三支閘（prod-write／main-and-prod-push／stage-before-prod）都是 +# 「擋下來，但**總管看過就可以放行**」的設計。既有的測試只驗了「擋得住」， +# **一條都沒有驗過「放得開」**——於是 2026-08-28 才發現： +# `stat -f %m` 在 GNU coreutils 上是「檔案系統資訊」，它一邊回非零一邊吐一整段文字， +# 把接在後面的秒數污染掉 ⇒ **在 Linux（＝每一個雲端 session）上，那三支閘的戳記 +# 永遠不會被接受** ⇒ 它們在雲端等於純擋，而閘不會告訴你門是壞的。 +# +# 所以這支的第一優先是「門打得開」，第二優先是「門沒有因此變寬」。 +# +# 🔴 這支會真的寫 /tmp 的戳記檔（那是閘寫死的路徑，沒有覆寫的開關）。 +# 每一條測完就把它刪掉；跑之前若有真的在等的戳記，會被這支洗掉—— +# 請不要在「已經蓋好戳記正要推東西」的當下跑它。 +set -u +ROOT="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)" # hooks/ +REPO="$(cd "$ROOT/.." && pwd)" +GATEOK="$REPO/scripts/gate-ok" +TMP=$(mktemp -d); trap 'rm -rf "$TMP"; rm -f /tmp/.prod-write-ok /tmp/.main-push-ok /tmp/.stage-verified /tmp/.solo-ok-TESTSID' EXIT +export GIT_CONFIG_GLOBAL="$TMP/gitconfig"; : > "$GIT_CONFIG_GLOBAL" +export GIT_AUTHOR_NAME=t GIT_AUTHOR_EMAIL=t@t GIT_COMMITTER_NAME=t GIT_COMMITTER_EMAIL=t@t + +PASS=0; FAIL=0 +ok(){ if [ "$2" = "$3" ]; then printf ' ✅ %s\n' "$1"; PASS=$((PASS+1)); + else printf ' ❌ %s —— 期望 %s，實得 %s\n' "$1" "$3" "$2"; FAIL=$((FAIL+1)); fi; } + +mkrepo(){ d="$TMP/$1"; git init -q -b main "$d"; ( cd "$d" && echo a>a && git add a && git commit -qm x ) >/dev/null 2>&1; printf '%s\n' "$d"; } +fire_prod(){ printf '{"tool_name":"Bash","tool_input":{"command":"acr push x.yaml"}}' \ + | bash "$ROOT/prod-write-guard.sh" >/dev/null 2>&1; echo $?; } +fire_push(){ printf '{"tool_name":"Bash","tool_input":{"command":"git push origin main"}}' \ + | ( cd "$1" && bash "$ROOT/main-and-prod-push-guard.sh" >/dev/null 2>&1; echo $? ); } + +rm -f /tmp/.prod-write-ok /tmp/.main-push-ok /tmp/.stage-verified + +echo "── 最重要：門打得開（Linux 上 stat -f %m 那個 bug 的迴歸）──────" +ok "① 沒戳記 → prod-write 擋" "$(fire_prod)" 2 +bash "$GATEOK" prod-write >/dev/null +ok "② gate-ok prod-write 之後 → 放行" "$(fire_prod)" 0 +ok "③ 單次用完即丟：同一枚不能放行第二次" "$(fire_prod)" 2 + +R1=$(mkrepo r1); R2=$(mkrepo r2) +ok "④ 沒戳記 → 推 main 擋" "$(fire_push "$R1")" 2 +bash "$GATEOK" main-push "$R1" >/dev/null +ok "⑤ gate-ok main-push 之後 → 放行" "$(fire_push "$R1")" 0 + +echo "── 門沒有因此變寬 ────────────────────────────────────────────" +bash "$GATEOK" main-push "$R1" >/dev/null +ok "⑥ 替 r1 開的門，r2 走不過（綁 repo 沒鬆）" "$(fire_push "$R2")" 2 +rm -f /tmp/.main-push-ok +# 過期的戳記不算數：把 mtime 調到 16 分鐘前 +bash "$GATEOK" prod-write >/dev/null +touch -d '16 minutes ago' /tmp/.prod-write-ok 2>/dev/null || touch -A -001600 /tmp/.prod-write-ok 2>/dev/null +ok "⑦ 16 分鐘前的戳記 → 過期，照樣擋" "$(fire_prod)" 2 +rm -f /tmp/.prod-write-ok +# 空內容的 main-push 戳記＝萬用鑰匙，08-12 那次穿透的形狀，不准復活 +: > /tmp/.main-push-ok +ok "⑧ 空內容的 main-push 戳記 → 不算數" "$(fire_push "$R1")" 2 +rm -f /tmp/.main-push-ok + +echo "── gate-ok 自己：不認得的就要拒絕，別蓋一枚打不開的戳記 ──────" +bash "$GATEOK" nonsense >/dev/null 2>&1; ok "⑨ 不認得的閘名 → 離開碼 2" "$?" 2 +bash "$GATEOK" solo >/dev/null 2>&1; ok "⑩ solo 沒帶 session id → 離開碼 2" "$?" 2 +bash "$GATEOK" main-push "$TMP" >/dev/null 2>&1; ok "⑪ 不是 git repo → 離開碼 2" "$?" 2 +ok "⑫ 而且**沒有**留下一枚註定打不開的空戳記" "$([ -f /tmp/.main-push-ok ] && echo yes || echo no)" no +bash "$GATEOK" solo TESTSID >/dev/null 2>&1 +ok "⑬ solo → 蓋出 /tmp/.solo-ok-" "$([ -f /tmp/.solo-ok-TESTSID ] && echo yes || echo no)" yes +bash "$GATEOK" stage-verified >/dev/null 2>&1 +ok "⑭ stage-verified → 蓋出 /tmp/.stage-verified" "$([ -f /tmp/.stage-verified ] && echo yes || echo no)" yes + +echo "── file_mtime 本身：兩個平台的寫法都要答得出純數字 ────────────" +. "$ROOT/lib/mtime.sh" +touch "$TMP/probe" +M=$(file_mtime "$TMP/probe") +case "$M" in ''|*[!0-9]*) R=bad ;; *) R=ok ;; esac +ok "⑮ file_mtime 回純數字（舊寫法在 Linux 上會回一整段文字）" "$R" ok +ok "⑯ 檔案不存在 → 回 0，不是空字串" "$(file_mtime "$TMP/nope")" 0 + +echo +printf '通過 %s 條，失敗 %s 條\n' "$PASS" "$FAIL" +[ "$FAIL" = 0 ] || exit 1 diff --git a/hooks/unpushed-police.sh b/hooks/unpushed-police.sh index a5b1e2b..e3d7763 100755 --- a/hooks/unpushed-police.sh +++ b/hooks/unpushed-police.sh @@ -57,6 +57,18 @@ except Exception: print(False) # **2 一律不報。** 誤攔比漏擋更該修（leo 2026-08-17：文字層那些閘 8 次誤攔、 # 0 次正確攔截）——把「離線」當成「你沒推」，就是拿雜訊懲罰謹慎。 +# 🔴 戳記的 mtime 一律走 lib/mtime.sh：舊寫法（`stat -f %m || stat -c %Y`）在 Linux 上 +# **永遠算不出數字**（GNU 的 `-f` 是「檔案系統資訊」，它一邊回非零一邊吐一整段文字， +# 於是後面接上的秒數被那段垃圾污染）⇒ 這支閘給總管的逃生口在雲端整個焊死， +# 而閘不會告訴他門是壞的（inkstone/ISEP#90 ④，全文見 hooks/lib/mtime.sh）。 +# lib 不在時就地補一份同順序的定義——這道門不能因為少一個檔案就再關上一次。 +. "$(dirname "$0")/lib/mtime.sh" 2>/dev/null || file_mtime() { + _fm=$(stat -c %Y "$1" 2>/dev/null || true) + case "${_fm:-}" in ''|*[!0-9]*) _fm=$(stat -f %m "$1" 2>/dev/null || true) ;; esac + case "${_fm:-}" in ''|*[!0-9]*) _fm=0 ;; esac + printf '%s' "$_fm" +} + GIT_ASK="env GIT_TERMINAL_PROMPT=0 GIT_ASKPASS=/bin/echo GIT_SSH_COMMAND=ssh\ -oBatchMode=yes" _TO="" command -v timeout >/dev/null 2>&1 && _TO="timeout 15" @@ -72,7 +84,7 @@ ls_remote_heads() { _lr_cache="${UNPUSHED_CACHE_DIR:-/tmp}/.unpushed-lsremote-$_lr_key" if [ -f "$_lr_cache" ]; then _lr_now=$(date +%s 2>/dev/null || echo 0) - _lr_mt=$(stat -f %m "$_lr_cache" 2>/dev/null || stat -c %Y "$_lr_cache" 2>/dev/null || echo 0) + _lr_mt=$(file_mtime "$_lr_cache") case "$_lr_now$_lr_mt" in *[!0-9]*) _lr_mt=0 ;; esac if [ "$_lr_mt" -gt 0 ] && [ $((_lr_now - _lr_mt)) -lt 120 ]; then [ -s "$_lr_cache" ] || return 1 diff --git a/scripts/gate-ok b/scripts/gate-ok new file mode 100755 index 0000000..098ed1a --- /dev/null +++ b/scripts/gate-ok @@ -0,0 +1,113 @@ +#!/usr/bin/env bash +# gate-ok — 各道閘「總管看過了，放行下一個動作」的**單一入口**（inkstone/ISEP#90 ④） +# +# ══ 為什麼要有這支 ═════════════════════════════════════════════════════ +# +# 這些閘每一支都留了一道給總管的門，而每一道門長得都不一樣： +# touch /tmp/.prod-write-ok +# git rev-parse --show-toplevel > /tmp/.main-push-ok +# touch /tmp/.stage-verified +# touch /tmp/.solo-ok- +# … +# 兩個後果： +# ① **記不住**。門的形狀藏在被擋下的那則訊息裡，每支都不同， +# 而且有兩支還帶參數（綁 repo、綁 session）——照著抄錯一個字，門就打不開。 +# ② **放行不了**。逃生口是「一條臨時湊出來的 Bash 指令」， +# 而臨時湊出來的指令**沒有穩定的形狀可以事先放行**： +# `.claude/settings.json` 的 allow 只能逐條寫死 +# （現場真的就寫著 `Bash(touch /tmp/.prod-write-ok)` 這種完全比對的一行）， +# 多一個 `&&`、換一個檔名、加一個 session id，就落在那條規則之外。 +# 2026-08-28（inkstone/InkStoneCo#99）總管在雲端連續四次沒能把 +# prod-write 的戳記蓋出去 ⇒ **閘留了一道給總管的門，而那道門打不開** +# ⇒ 任何「擋下來、但總管可以放行」的閘，在那個環境裡等於「純擋」。 +# +# ⇒ 這支把所有逃生口收斂成**一個名字、一種形狀**： +# bash "$CLAUDE_PLUGIN_ROOT/scripts/gate-ok" <閘名> [參數] +# 一條前綴規則就涵蓋全部，而且以後新增閘不必再動一次設定。 +# +# 🔴 這支**不會弱化任何一道閘**：它蓋的戳記跟閘原本認的是同一個檔、同一種語意 +# （單次用完即丟、綁 repo、綁 session、有效期都不變）。它換掉的只有「怎麼蓋」。 +# 🔴 也**不是給 subagent 用的**：閘擋的是無心不是惡意（見 main-and-prod-push-guard +# 第 76 行）。subagent 照樣造得出戳記，但它得刻意繞過一段明講「不要這樣做」的訊息。 +set -eu + +usage() { + cat <<'USAGE' +用法：gate-ok <閘名> [參數] + + prod-write 改到線上實例（prod-write-guard）——放行下一個動作，用完即消失 + main-push [repo 路徑] 推 gitea main（main-and-prod-push-guard）——綁 repo，預設是 cwd + stage-verified stage 真的驗過了（stage-before-prod-guard）——記得在回覆貼實測輸出 + solo 這件事真的該自己做（subagent-first-guard）——回覆裡要寫理由 + dispatch 派工單真的有例外（dispatch-format-guard） + ask 這題真的是人閘（ask-user-question-guard） + kbdb-down KBDB 真的連不上（history-first-guard）——回覆裡要說明 + + --list 列出目前存在的戳記 + +🔴 每一枚戳記都是**留痕**：它會出現在指令歷史上，而且多數是單次用完即丟。 + 蓋之前先確定你真的看過那個動作會改到什麼；蓋完在回覆裡寫一句為什麼。 +USAGE +} + +stamp() { # stamp <檔> <說明> [內容] + if [ $# -ge 3 ]; then printf '%s\n' "$3" > "$1"; else : >> "$1"; touch "$1"; fi + printf '✅ 已蓋戳記：%s\n %s\n' "$1" "$2" +} + +[ $# -ge 1 ] || { usage; exit 2; } + +case "$1" in + -h|--help|help) usage; exit 0 ;; + --list) + printf '目前存在的戳記：\n' + ls -la /tmp/.prod-write-ok /tmp/.main-push-ok /tmp/.stage-verified \ + /tmp/.kbdb-down /tmp/.solo-ok-* /tmp/.dispatch-ok-* /tmp/.ask-ok-* 2>/dev/null \ + || printf '（一枚都沒有）\n' + exit 0 ;; +esac + +GATE="$1"; shift || true + +case "$GATE" in + prod-write) + stamp /tmp/.prod-write-ok "只放行**下一個**會改到線上那台的動作，用完即消失（15 分鐘失效）" ;; + + main-push) + # 綁 repo：戳記內容要是那個 repo 的 toplevel，閘會拿它跟「push 的目標 repo」比對。 + # 🔴 解不出 repo 時**寧可失敗也不蓋空的**——閘明文寫著空內容不算數 + # （08-12 那次穿透就是空檔案變成萬用鑰匙），蓋一個註定打不開的戳記 + # 只會讓人以為門開了。 + D="${1:-$(pwd)}" + TOP="$(git -C "$D" rev-parse --show-toplevel 2>/dev/null || true)" + if [ -z "$TOP" ]; then + printf '❌ %s 不在任何 git repo 裡，解不出要放行哪個 repo。\n' "$D" >&2 + printf ' 用法：gate-ok main-push <那個 repo 的路徑>\n' >&2 + exit 2 + fi + stamp /tmp/.main-push-ok "只放行推 $TOP 的 main，單次、15 分鐘失效" "$TOP" ;; + + stage-verified) + stamp /tmp/.stage-verified "stage 驗過了（6 小時）——**記得在回覆裡貼 stage 的實測輸出**" ;; + + kbdb-down) + stamp /tmp/.kbdb-down "KBDB 連不上而放行——**回覆裡要說明**，這是留痕不是豁免" ;; + + solo|dispatch|ask) + SID="${1:-${CLAUDE_SESSION_ID:-}}" + if [ -z "$SID" ]; then + printf '❌ %s 要綁 session id（閘用它認「是不是同一個 session」）。\n' "$GATE" >&2 + printf ' 被擋下的那則訊息裡就有；或 gate-ok %s \n' "$GATE" >&2 + exit 2 + fi + case "$GATE" in + solo) stamp "/tmp/.solo-ok-$SID" "這件事自己做——**回覆裡要寫理由**" ;; + dispatch) stamp "/tmp/.dispatch-ok-$SID" "這張派工單的例外，放行一次" ;; + ask) stamp "/tmp/.ask-ok-$SID" "這題確認是人閘，放行一次" ;; + esac ;; + + *) + printf '❌ 不認得的閘名：%s\n\n' "$GATE" >&2 + usage >&2 + exit 2 ;; +esac From 617315e3dd06a3ca31ef7243ba3c097c59aa6ba8 Mon Sep 17 00:00:00 2001 From: claude-code Date: Fri, 28 Aug 2026 00:14:01 +0000 Subject: [PATCH 04/16] =?UTF-8?q?=E6=8A=8A=E5=9B=9B=E5=80=8B=E9=9B=B2?= =?UTF-8?q?=E7=AB=AF=E6=8E=A5=E7=B7=9A=E7=BC=BA=E9=99=B7=E7=9A=84=E8=A8=BA?= =?UTF-8?q?=E6=96=B7=E5=AF=AB=E4=B8=8B=E4=BE=86=EF=BC=88inkstone/ISEP#90?= =?UTF-8?q?=EF=BC=89?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit docs/governance/cloud-wiring.md：四個缺陷分成兩種病—— ①④ 是「閘的判準寫的是地端才成立的假設」，②③ 是「同一個東西有兩份，雲端跑到舊的」。 每一格都附實測證據與修法，並標明還沒關掉的兩格住在哪張票（ISEP#67／真身 repo）。 TESTING.md 補 A14／A15／A16 三格：怎麼跑、該看到什麼、什麼算失敗。 三支閘被擋下的訊息也一併指向 scripts/gate-ok（原本的手打法保留當等價寫法）。 --- docs/TESTING.md | 60 ++++++++++++ docs/governance/cloud-wiring.md | 148 ++++++++++++++++++++++++++++++ hooks/main-and-prod-push-guard.sh | 4 +- hooks/prod-write-guard.sh | 8 +- hooks/stage-before-prod-guard.sh | 3 +- 5 files changed, 219 insertions(+), 4 deletions(-) create mode 100644 docs/governance/cloud-wiring.md diff --git a/docs/TESTING.md b/docs/TESTING.md index 9c27150..64ca32b 100644 --- a/docs/TESTING.md +++ b/docs/TESTING.md @@ -91,6 +91,63 @@ bash scripts/test-baton-handback-guard.sh - 「不該報」4 條任一紅 ⇒ 每條線收工都被念一次，警報會被學會忽略 - 「票已關」那條紅 ⇒ 棒子已經到終點還在催，那是最典型的假警報 +### A14 — 「總管可以放行」那道門真的打得開：16 條 +``` +bash hooks/tests/gate-ok.test.sh +``` +**該看到**：`通過 16 條，失敗 0 條`。 + +**它在守什麼**（inkstone/ISEP#90 ④，2026-08-28 實查）：三支閘 +（`prod-write-guard`／`main-and-prod-push-guard`／`stage-before-prod-guard`） +都是「擋下來、但**總管看過就能放行**」的設計，而**既有測試只驗了擋得住， +一條都沒驗過放得開**。於是這個 bug 活了很久：`stat -f %m` 在 GNU coreutils 上 +是「檔案系統資訊」，它一邊回非零一邊吐一整段文字 ⇒ 秒數被污染 ⇒ +**在 Linux（＝每一個雲端 session）上戳記永遠不被接受** ⇒ 那三支閘在雲端等於純擋， +而閘不會告訴你門是壞的。 + +**失敗**： +- ②⑤（門打得開）紅 ⇒ 逃生口又焊死了，那三支閘在雲端變回純擋 +- ⑥⑦⑧（門沒變寬）任一紅 ⇒ **更嚴重**：綁 repo／有效期／空戳記那三條性質是 + 08-11、08-12 兩次真的被穿透之後才補上的，不准為了「好放行」而鬆掉 +- ⑫ 紅 ⇒ `gate-ok` 在解不出 repo 時留下了一枚註定打不開的空戳記， + 那會讓人以為門開了（而空戳記本身就是 08-12 那把萬用鑰匙的形狀） + +⚠️ 這支會真的寫 `/tmp` 的戳記檔（那是閘寫死的路徑）。**不要在「已經蓋好戳記正要推東西」 +的當下跑它**——它會把那枚戳記洗掉。 + +### A15 — 未推警察不會對雲端的工作分支亂叫：10 條 +``` +bash hooks/tests/unpushed-police.test.sh +``` +**該看到**：`通過 10 條，失敗 0 條`。全離線（用本機 bare repo 當「遠端」）。 + +**它在守什麼**（inkstone/ISEP#90 ①）：雲端 session 開出來的工作分支天生沒有 upstream， +內容卻等於遠端 main ⇒ 舊判準「沒 upstream＝從沒推過」讓**每個雲端 session、每次收工 +都被攔一次**（08-27 一個 session 五次全是誤報）。 + +**失敗**： +- A 群（①—⑥，不該報）任一紅 ⇒ **誤攔**，比漏擋嚴重：永遠在響的警報＝訓練人忽略它， + 下一條真的失蹤的分支會混在雜訊裡 +- B 群（⑦—⑩，該報）任一紅 ⇒ 為了不吵而改成放行了，那是把閘關掉不是修好 +- 特別看 ④：問不到遠端（離線）**不准當成「你沒推」** + +### A16 — 信標會講出雲端會壞掉的那三件事：14 條 +``` +bash hooks/tests/isep-presence-beacon.test.sh +``` +**該看到**：`通過 14 條，失敗 0 條`。全離線。 + +**它在守什麼**（inkstone/ISEP#90 ②③）：信標原本只證明「有一份 plugin 載入了」， +不證明「載入的是哪一份」——08-27 雲端載 0.3.9、main 0.9.0，差 7 個 release， +而它照樣是綠的。 + +**失敗**： +- ⑫⑬⑭（信標永遠在）任一紅 ⇒ **最嚴重**：那一行消失＝leo 會判定這個 session 零閘 +- ③ 紅 ⇒ 版本落差報不出來，`ISEP#67` 那個病又變回看不見 +- ⑤⑦ 紅 ⇒ 舊複本遮蔽正門抓不到（`InkStoneCo/scripts/ticket` 那件） +- ⑥ 紅 ⇒ **誤攔**：同步過的複本被念，人就學會忽略它 +- ⑪ 紅 ⇒ 內層迴圈變數撞名的回歸（同一個 `.claude` 下第二個殘骸會被靜靜跳過） + ### A5 — 開票前的搜尋是跨 repo 的 ``` python3 scripts/ticket where 標籤 模組化 @@ -290,6 +347,9 @@ B2（信標那行）／B3（setup 輸出）／B4（閘的訊息）三個畫面 | **A10 人閘警察準度** | 總管 | ✅ 9/9，連跑三次（2026-08-26），A 群誤攔 0 | | **A11 派工單只剩票號** | 總管 | ✅ 19/19（2026-08-27） | | **A12 留言身份欄（兩道門）** | 總管 | ✅ 11/11（2026-08-27） | +| **A14 放行的門真的打得開** | 總管 | ✅ 16/16（2026-08-28，inkstone/ISEP#90） | +| **A15 未推警察不誤攔雲端分支** | 總管 | ✅ 10/10（2026-08-28，inkstone/ISEP#90） | +| **A16 信標會報雲端接線缺陷** | 總管 | ✅ 14/14（2026-08-28，inkstone/ISEP#90） | | A7 plugin 裝得起來 | 總管 | ✅ | | **A8 新 session 閘會觸發** | 總管 | 見本版 release note | | **B1–B5 雲端** | **leo** | 還沒跑（機器碰不到 Cloud environment） | diff --git a/docs/governance/cloud-wiring.md b/docs/governance/cloud-wiring.md new file mode 100644 index 0000000..54b0f9f --- /dev/null +++ b/docs/governance/cloud-wiring.md @@ -0,0 +1,148 @@ +# 雲端 session 的閘為什麼跟地端不一樣（inkstone/ISEP#90） + +> leo 的目標一句話：**讓雲端 session 跟地端拿到同一組閘、同一組能用的工具。** + +雲端不是「地端少幾支閘」，是**同一批閘在雲端的行為不一樣**。四個實例， +每一個都穩定重現，而且每一個都**不會自己喊痛**——這才是它們活這麼久的原因。 + +--- + +## 四個缺陷，兩種病 + +| | 缺陷 | 病 | +|---|---|---| +| ① | 未推警察每個雲端 session 都誤攔 | 判準在雲端**不成立** | +| ② | `scripts/ticket` 在雲端拿不到 token | 跑到的是**另一份**（舊複本） | +| ③ | 已刪除的機制在雲端重生 | 載到的是**另一版**（0.3.9 vs 0.9.0） | +| ④ | 總管的「我確認過了」出口打不開 | 判準在雲端**不成立**（平台差異） | + +①④ 是同一種病：**閘的判準寫的是地端才成立的假設**。 +②③ 是同一種病：**同一個東西有兩份，而雲端跑到的是舊的那份**。 + +--- + +## ① 未推警察：判準是「有沒有 upstream」，而雲端的分支天生沒有 + +雲端 session 開出來的工作分支沒有 upstream，**內容卻等於遠端 main**： + +``` +薄殼 HEAD = 081c547d90dc2d80692485af083ca1f71f2094f2 +GitHub 遠端 main = 081c547d90dc2d80692485af083ca1f71f2094f2 ← 同一顆 +``` + +⇒ 每個雲端 session、每次收工都被攔一次（2026-08-27 一個 session 五次全是誤報）。 + +**修法**：判準改成「**遠端有沒有這顆 commit**」（`git ls-remote`）。 +本機的 remote-tracking ref 只答得準「有」——08-28 實測那份 `origin/main` 落後遠端 4 天 +——所以答「沒有」的時候才打網路。三態：有／沒有／**問不到**；問不到一律不報。 + +**順手補的**：`$CLAUDE_PROJECT_DIR` 在雲端是**薄殼根**，真身在 `$TOP/InkStoneCo/`。 +舊的掃描清單四個路徑在雲端一個都不存在 ⇒ **真身有東西沒推，這支閘一輩子不會知道。** +同一支閘在雲端既亂叫、又看不到該看的地方。 + +--- + +## ② `scripts/ticket`：跑到的是舊複本，不是 plugin 那一份 + +- ISEP 的 `scripts/ticket` **早在 2026-08-20 就修好了**（掃所有 remote ＋ 環境變數 fallback） +- 但雲端 cwd 是真身，那裡有一份 `InkStoneCo/scripts/ticket` 的**舊複本**， + 取 token 邏輯還停在「只認名叫 `gitea` 的 remote」，而 `bootstrap.sh` 把 Gitea 設成 `origin` +- ⇒ 雲端一律死在「拿不到 gitea token」 + +🔴 **後果比「一支腳本壞了」嚴重**：`scripts/ticket` 是開票/留言的**正門**， +它一壞，人就繞過去直接打 Gitea API——**而那正是 `ticket-api-bypass-guard.sh` 在防的事**。 +**一道閘把人逼去走它自己禁止的那條路，那道閘就是在製造違規。** + +**ISEP 這半的修法**：信標在 session 開頭就點名「專案裡有 ISEP 腳本的舊複本， +而且**內容不同**」。判準不是檔名一樣，是**檔名一樣而內容不同**——同步過的複本不吵。 +**真身那半（把那份複本同步或刪掉）不在 ISEP，要在 `inkstone/InkStoneCo` 修。** + +--- + +## ③ 已刪除的機制在雲端重生 + +``` +ISEP main .claude-plugin/plugin.json → 0.9.0 +雲端實際載入 → 0.3.9 ← 差 7 個 release +``` + +0.3.9 裡還活著兩支在 v0.9.0 已整支刪除的 hook ⇒ `.claude/pending-verification/` +被清掉之後又長回來。**一個看不見的版本落差，會讓已經刪掉的機制在別人的工作區裡復活。** + +**傳輸那半是 `inkstone/ISEP#67`**（新版到不到得了手上），本票不重複那件。 +**ISEP 這半能做的是讓它不再看不見**：信標匿名讀 ISEP main 的 `plugin.json` +（D20 判準下屬於「讀」，不需開閘），落後就講清楚差幾版、怎麼重拍快照； +同時掃 `.claude/` 底下**這一份 plugin 的 hooks/scripts 一個字都沒提到**的目錄， +點名它們是殘骸。判準是「plugin 現在還認不認得它」，**不是關鍵字黑名單** +（leo 2026-08-17 已證明那條路 8 次誤攔、0 次正確攔截）。 + +--- + +## ④ 「總管可以放行」的門，在雲端是焊死的 + +三支閘（`prod-write-guard`／`main-and-prod-push-guard`／`stage-before-prod-guard`） +都是「擋下來、但**總管看過就能放行**」。它們判斷戳記新不新都用同一行： + +```sh +MT=$(stat -f %m "$STAMP" 2>/dev/null || stat -c %Y "$STAMP" 2>/dev/null || echo 0) +``` + +macOS（BSD stat）上 `-f %m` 就是 mtime，對的。 +**GNU coreutils 的 `-f` 是「顯示檔案系統資訊」**，而且它**一邊回非零、一邊往 stdout +吐一整段區塊**： + +``` +$ stat -f %m /tmp/.probe +stat: cannot read file system information for '%m': No such file or directory ← stderr + File: "/tmp/.probe" ← stdout + ID: 0 Namelen: 255 Type: ext2/ext3 +``` + +⇒ `2>/dev/null` 吃掉錯誤訊息、`||` 把正確的秒數接在那堆垃圾**後面** +⇒ `case "$NOW$MT" in *[!0-9]*) return 1` 必然命中 +⇒ **在 Linux（＝每一個雲端 session）上，那三支閘的戳記永遠不會被接受。** + +🔴 **後果**：那三支閘在雲端**等於純擋**。總管照著閘自己印的指示做， +做幾次都打不開，**而閘不會告訴他門是壞的**。 + +**為什麼活這麼久**：既有的三支測試（29／16／10 條）**只驗了「擋得住」， +一條都沒驗過「放得開」**。⇒ 這正是「閘的另外一半從來沒被測過」的代價。 + +**修法**：`hooks/lib/mtime.sh` —— 先 `-c %Y`（GNU）再 `-f %m`（BSD）， +**每一步都驗它是不是純數字**（這個 bug 的成因正是「命令失敗了卻還是印了東西」， +只看離開碼會再被騙一次）。 + +### 附帶：逃生口收斂成一個入口 `scripts/gate-ok` + +原本每支閘的門長得都不一樣，而且藏在被擋下的那則訊息裡： + +``` +touch /tmp/.prod-write-ok +git rev-parse --show-toplevel > /tmp/.main-push-ok +touch /tmp/.solo-ok- +… +``` + +兩個後果：**記不住**（抄錯一個字門就打不開），以及**沒有穩定形狀可以事先放行** +——`.claude/settings.json` 的 allow 只能逐條完全比對（現場真的寫著 +`Bash(touch /tmp/.prod-write-ok)` 這種一行），多一個 `&&`、換一個 session id +就落在規則之外，然後由權限層自己判斷。 + +⇒ `bash "$CLAUDE_PLUGIN_ROOT/scripts/gate-ok" <閘名> [參數]`：**一個名字、一種形狀**， +一條前綴規則涵蓋全部，以後新增閘不必再動一次設定。 + +🔴 **它沒有弱化任何一道閘**：蓋的是同一個檔、同一種語意——單次用完即丟、綁 repo、 +綁 session、有效期全部沒動。換掉的只有「怎麼蓋」。 +`hooks/tests/gate-ok.test.sh` 的 ⑥⑦⑧ 三條就是在守這件事（那三條性質是 08-11、08-12 +兩次真的被穿透之後才補上的）。 + +--- + +## 還沒關掉的那兩格（不屬於 ISEP） + +| 缺口 | 住在哪 | +|---|---| +| 雲端載到的版本追上 ISEP main | `inkstone/ISEP#67` | +| `InkStoneCo/scripts/ticket` 這份舊複本 | `inkstone/InkStoneCo`（真身） | + +ISEP 這一側能做的是**讓它們不再是看不見的**：兩件現在都會在 session 開頭被信標點名。 diff --git a/hooks/main-and-prod-push-guard.sh b/hooks/main-and-prod-push-guard.sh index 6c55d52..2584474 100755 --- a/hooks/main-and-prod-push-guard.sh +++ b/hooks/main-and-prod-push-guard.sh @@ -273,7 +273,9 @@ leo 原話： 逐筆看過那些 commit（`git log --oneline gitea/main..`、`git diff --stat`）， 確定它們該進 main，再： - git rev-parse --show-toplevel > /tmp/.main-push-ok && <你的 git push 指令> + bash "$CLAUDE_PLUGIN_ROOT/scripts/gate-ok" main-push <那個 repo 的路徑> + <你的 git push 指令> + （等價的手打法：git rev-parse --show-toplevel > /tmp/.main-push-ok） 戳記 **綁這個 repo、只能用一次、15 分鐘失效**——它代表「**這一次、這個 repo，我看過了**」。 diff --git a/hooks/prod-write-guard.sh b/hooks/prod-write-guard.sh index 4c96fef..4086f2c 100755 --- a/hooks/prod-write-guard.sh +++ b/hooks/prod-write-guard.sh @@ -104,7 +104,9 @@ leo 原話： ━━━ 你是總管 ━━━ 看清楚它會覆蓋什麼（`arcrun_get_workflow` 先撈一份現況存起來，好回滾），確定要推，再： - touch /tmp/.prod-write-ok # ⚠️ 只放行「下一個」動作，用完即消失 + bash "$CLAUDE_PLUGIN_ROOT/scripts/gate-ok" prod-write # ⚠️ 只放行「下一個」動作，用完即消失 + （等價的手打法：touch /tmp/.prod-write-ok。gate-ok 是所有閘共用的同一個入口， + 好處是它的形狀固定 ⇒ 一條規則就能事先放行，不會每次被權限層擋在門外） 戳記 15 分鐘有效。**若這一推會讓封測者／用戶當場拿到東西，那就不是你的層級——要 leo 解保險。** MSG @@ -268,7 +270,9 @@ leo 原話： ━━━ 你是總管 ━━━ 確認過要推什麼、會蓋掉什麼之後： - touch /tmp/.prod-write-ok # ⚠️ 只放行「下一個」動作，用完即消失 + bash "$CLAUDE_PLUGIN_ROOT/scripts/gate-ok" prod-write # ⚠️ 只放行「下一個」動作，用完即消失 + （等價的手打法：touch /tmp/.prod-write-ok。gate-ok 是所有閘共用的同一個入口， + 好處是它的形狀固定 ⇒ 一條規則就能事先放行，不會每次被權限層擋在門外） ⚠️ `acr recipe push` 另有一道**互動式暴露同意閘**（終端機裡要人親手輸入資源名）。 那道閘擋的是「把資源變成可被外部呼叫」，**本閘的戳記蓋不過它**——那是 leo 的手。 diff --git a/hooks/stage-before-prod-guard.sh b/hooks/stage-before-prod-guard.sh index 1a007db..d4180fe 100755 --- a/hooks/stage-before-prod-guard.sh +++ b/hooks/stage-before-prod-guard.sh @@ -208,7 +208,8 @@ cat >&2 <<'EOF' ⚠️ 身分：leo 2026-07-25 令「測試一律用 youlin，別拿 leo21c 當探針（會製造假信號）」 ⇒ 部署前先 `acr whoami` 確認身分。 -驗過了 ⇒ `touch /tmp/.stage-verified` 後重送，並在回覆裡**貼 stage 的實測輸出** +驗過了 ⇒ `bash "$CLAUDE_PLUGIN_ROOT/scripts/gate-ok" stage-verified` 後重送 +（等價：`touch /tmp/.stage-verified`），並在回覆裡**貼 stage 的實測輸出** （「我測過了」不算——貼指令與它吐出來的東西）。 EOF exit 2 From 81368f451fc01328fc8d143b0448144eab29088a Mon Sep 17 00:00:00 2001 From: claude-code Date: Fri, 28 Aug 2026 00:27:30 +0000 Subject: [PATCH 05/16] =?UTF-8?q?PR=20=E4=B8=80=E5=AE=9A=E8=A6=81=E6=9C=89?= =?UTF-8?q?=E7=B5=90=E8=AB=96=EF=BC=88inkstone/ISEP#81=EF=BC=89=EF=BC=88.c?= =?UTF-8?q?laude-plugin/plugin.json=EF=BC=89?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .claude-plugin/plugin.json | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.claude-plugin/plugin.json b/.claude-plugin/plugin.json index aac7e32..9fadbbc 100644 --- a/.claude-plugin/plugin.json +++ b/.claude-plugin/plugin.json @@ -1,7 +1,7 @@ { "name": "isep", - "description": "InkStone Environment Plugin —— leo 的 Claude Code 環境唯一真相源：52 支機械閘（67 條註冊，白話盤點見 docs/hooks-inventory.md）、7 支 slash command、2 支 skill、28 支腳本，外加治理規範與標籤真相源。本機與雲端裝同一份，沒有子集。", - "version": "0.10.0", + "description": "InkStone Environment Plugin —— leo 的 Claude Code 環境唯一真相源：53 支機械閘（68 條註冊，白話盤點見 docs/hooks-inventory.md）、7 支 slash command、2 支 skill、38 支腳本，外加治理規範與標籤真相源。本機與雲端裝同一份，沒有子集。", + "version": "0.11.0", "keywords": [ "inkstone", "guardrails", From be09353330e90c8a160ea33ab28b31ee90b6172e Mon Sep 17 00:00:00 2001 From: claude-code Date: Fri, 28 Aug 2026 00:27:32 +0000 Subject: [PATCH 06/16] =?UTF-8?q?PR=20=E4=B8=80=E5=AE=9A=E8=A6=81=E6=9C=89?= =?UTF-8?q?=E7=B5=90=E8=AB=96=EF=BC=88inkstone/ISEP#81=EF=BC=89=EF=BC=88do?= =?UTF-8?q?cs/TESTING.md=EF=BC=89?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- docs/TESTING.md | 36 ++++++++++++++++++++++++++++++++++++ 1 file changed, 36 insertions(+) diff --git a/docs/TESTING.md b/docs/TESTING.md index 8ea71fc..3b7763b 100644 --- a/docs/TESTING.md +++ b/docs/TESTING.md @@ -91,6 +91,40 @@ bash scripts/test-baton-handback-guard.sh - 「不該報」4 條任一紅 ⇒ 每條線收工都被念一次，警報會被學會忽略 - 「票已關」那條紅 ⇒ 棒子已經到終點還在催，那是最典型的假警報 +### A14 — PR 一定要有結論：52 條 +``` +bash hooks/tests/pr-verdict-guard.test.sh +``` +**該看到**：`52 通過 / 0 失敗`。全程離線（走 `PR_VERDICT_FIXTURE`）， +**不打 Gitea、不開測試 PR、不留任何測試票**；狀態檔走 `PR_VERDICT_STATE_DIR`。 + +**它在守什麼**（`inkstone/ISEP#81`，2026-08-27 實查）：最久的三個 open PR 躺了兩星期 +（`inkstone/arcrun-rag#91` 14 天、`inkstone/Arcrun#116` 14 天、`inkstone/Arcrun#104` 15 天）， +而 v0.9.0 的 46 支閘**一支都沒有在管 PR**。票看起來是「已交付」， +東西卻沒進 main ⇒ 沒進版本 ⇒ **leo 手上永遠不會出現它**。 + +**失敗**： +- B 群（⑨⑩⑪，票上那三個真跡）任一紅 ⇒ 今天這個形狀會再發生一次 +- C 群 ⑭⑰ 紅 ⇒ 驗收條件 1／3 沒過：「放著不管」抓不到，或「merge 了分支還在」放行 +- **A 群任何一條紅 ⇒ 誤攔，這比漏擋嚴重**。②③特別重要： + 指派給人／掛 Human 之後還在點名，就是 ISEP v0.6.0 divergence §B4 記過的那個坑 + （「`s/review` 佇列非空即 block」⇒ 佇列本來就不會空 ⇒ **總管永遠停不下來**） +- E 群 ㉙ 紅 ⇒ 閘訊息裡承諾的出路（「把它指派給那個人，本閘立刻不再點名它」）是假的 +- D 群 ㉓ 紅 ⇒ 判準從「識別碼比對」滑成「只要提到票號就放行」，閘會被任何一句話關掉 + +> 📌 **真跡不只在 fixture 裡跑過**：同一支閘打真實 Gitea 也驗過， +> 一次點名 7 個沒有結論的 PR，含票上那三個（15／14／14 天）。 +> 指令：`printf '{"session_id":"x","transcript_path":"/nonexistent"}' | bash hooks/pr-verdict-guard.sh` +> ——**唯讀，不改動任何 PR**。 + +### A15 — 給結論的那支工具自己說得出要打哪幾通 API +``` +python3 scripts/pr-verdict list +python3 scripts/pr-verdict merge inkstone/ISEP#71 --dry-run +``` +**該看到**：`list` 印出 open PR 與「有沒有人被指派」；`merge --dry-run` 印出 +`[dry-run] POST …/pulls/71/merge` 與 `[dry-run] DELETE …/branches/<分支>`，**一通都不真的送出**。 +**失敗**：`--dry-run` 底下出現真實的寫入結果 ⇒ 這支工具沒辦法在按下去之前被檢查。 ### A14 — 每一則回覆都自己說出拖了多久：20 條 ``` bash hooks/tests/countdown-guard.test.sh @@ -324,6 +358,8 @@ B2（信標那行）／B3（setup 輸出）／B4（閘的訊息）三個畫面 | A3 打 tag 閘 | 總管 | ✅ 3/3 | | **A4 新增 Gitea 東西側門閘** | 總管 | ✅ 24/24（2026-08-27，inkstone/ISEP#72） | | **A13 戳記證明看過不是跑過** | 總管 | ✅ 17/17（2026-08-27，inkstone/ISEP#72→4873） | +| **A14 PR 一定要有結論** | 總管 | ✅ 52/52（2026-08-28，inkstone/ISEP#81）＋真實 Gitea 唯讀重演 | +| **A15 pr-verdict --dry-run** | 總管 | ✅（2026-08-28） | | **A14 回覆自己說出拖了多久** | 總管 | ✅ 20/20（2026-08-28，inkstone/ISEP#63） | | **A15 發通知不等於部署** | 總管 | ✅ 37/37（2026-08-28，inkstone/ISEP#63） | | A5 搜尋跨 repo | 總管 | ✅ | From 77a2032858a9d516d3fcc16282a50a1aad5e5eda Mon Sep 17 00:00:00 2001 From: claude-code Date: Fri, 28 Aug 2026 00:27:34 +0000 Subject: [PATCH 07/16] =?UTF-8?q?PR=20=E4=B8=80=E5=AE=9A=E8=A6=81=E6=9C=89?= =?UTF-8?q?=E7=B5=90=E8=AB=96=EF=BC=88inkstone/ISEP#81=EF=BC=89=EF=BC=88do?= =?UTF-8?q?cs/hooks-inventory.md=EF=BC=89?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- docs/hooks-inventory.md | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/docs/hooks-inventory.md b/docs/hooks-inventory.md index ef2980a..d7f7a86 100644 --- a/docs/hooks-inventory.md +++ b/docs/hooks-inventory.md @@ -7,14 +7,16 @@ ## 一句話結論 -`hooks/` 底下有 **52 個 `.sh` 檔**，`hooks.json` 實際掛上 **67 條註冊**（同一支閘常被多種情境同時掛上）； +`hooks/` 底下有 **53 個 `.sh` 檔**，`hooks.json` 實際掛上 **68 條註冊**（同一支閘常被多種情境同時掛上）； +`hooks/` 底下有 **53 個 `.sh` 檔**，`hooks.json` 實際掛上 **68 條註冊**（同一支閘常被多種情境同時掛上）； 其中 **3 支檔案存在但沒被掛上**（2 支是待人填的空範本、1 支是刻意留著沒開的止血帶，見下面「未生效」表）。 下面按「你會在什麼時候撞到它」分組，一支一行。 > 🔴 **這兩個數字上一版是錯的（2026-08-26 實際數過才發現）**：本頁原本寫「43 個檔、53 條註冊」， > 而當時真實是 **45 個檔、55 條註冊**——中間有兩支閘進來時沒有回頭改這裡。 > 現在的寫法是實際數出來的： -> `ls hooks/*.sh | wc -l` ＝ 52；`grep -c '"command":' hooks/hooks.json` ＝ 67。 +> `ls hooks/*.sh | wc -l` ＝ 53；`grep -c '"command":' hooks/hooks.json` ＝ 68。 +> `ls hooks/*.sh | wc -l` ＝ 53；`grep -c '"command":' hooks/hooks.json` ＝ 68。 > ⚠️ **冒號不能省**：`grep -c '"command"'`（沒冒號）會連 `"type": "command"` 一起數到，回 **120**。 > 本頁 2026-08-27 之前寫的是沒冒號那版——**照著它跑會拿到一個跟本頁不符的數字**。 > **一份會偷偷過期的盤點表，跟沒有盤點表差不多**——見本頁最後「怎麼跟實況對帳」那段。 @@ -38,6 +40,11 @@ > > 📌 **`0.7.0`（`inkstone/ISEP#30`，2026-08-27）進來一支**：`mainline-idle-guard.sh`（F 組，Stop）。 > 48→**49** 支、59→**60** 條，兩個數字都是加完之後當場數出來的（指令同上）。 +> +> 📌 **`0.10.0`（`inkstone/ISEP#81`，2026-08-28）進來一支**：`pr-verdict-guard.sh`（F 組，Stop）。 +> 51→**52** 支、64→**65** 條，兩個數字都是加完之後當場數出來的（指令同上）。 +> 順手改掉一個過期的數字：描述欄長期寫「27 支腳本」，實數是 **34** +> （`ls -p scripts | grep -v / | wc -l`）——**同一個病，只是換一欄。** --- @@ -132,6 +139,7 @@ | `worklist-guard.sh` | AI 自己列過的待辦清單裡還有沒做完的步驟，卻想收工寫報告，就擋下，逼它做完剩下的步驟。 | 🛑 擋 | | `factory-idle-guard.sh` | AI 該去派工卻沒派（工頭停工），就擋下要它交出「已經派工的憑證」，不是隨口說一句「我會催」就算數。**過閘有四條路：現在就派工／把票號寫進那句話／寫一行 `⏸ 等：<在等什麼>`／這一輪收尾在動作上。** 2026-08-23（inkstone/ISEP#30）修好「引用被當成主張」——貼原始碼、引用它自己的訊息、否認自己有下一步，都不再被咬。 | 🛑 擋 | | `mainline-idle-guard.sh` | AI **連續 4 個回合一直在查、一直在讀，卻什麼都沒交出去**（沒派工、沒改檔、沒寫回票）就擋一次。補的是上面兩支中間那一格：「沒動作」空手警察管、「說了下一步卻沒派」稼動率警察管，**而「有動作、但就是不說下一步」以前兩支都放行**。這支**一個字都不讀**，只看有沒有派工／產出／工作區變動。響過一次門檻就加倍（4→8→16），不會變成一直在響的警報。 | 🛑 擋（響過就退讓） | +| `pr-verdict-guard.sh` | 收工時清點「還有哪些 PR 沒有結論」——open、**沒有人被指派**、也沒有「要求修改」review 的 PR，就擋一次並**點名是哪幾個**（含開了幾天與網址）；已經 merge 但**分支還留著**的也一起點名（票上寫死「併完當場刪掉那條 branch」）。背景：2026-08-27 實查，最久的三個 open PR 躺了兩星期，而當時 46 支閘沒有一支在管 PR——票看起來「已交付」，東西卻沒進 main、沒進版本，**leo 手上永遠不會出現它**。🔴 **擋的是遺忘，不是等待**：指派給誰（或掛 Human）就立刻不再點名它；響過門檻就加倍（1→4→8→16，每個 PR 各自算）。搭配 `scripts/pr-verdict`（merge／reject／changes 各一個動作）。 | 🛑 擋（響過就退讓） | | `countdown-guard.sh` | **每一則回覆都自己說出「這件事已經花了多久／距今天收工線還剩多久」**，而且不必有人記得。一支閘掛兩個事件：你送出訊息時它先把算好的那一行放到 AI 眼前（`UserPromptSubmit`），AI 想收工時它再看這一回合的回覆裡到底有沒有那一行，沒有就擋一次要它補（`Stop`）。**只做前半 ＝ 又一個會被忽略的提醒**，所以兩半綁在一起。已過時間從**這段對話的第一則訊息**算起（＝一個 release 的起點）；收工線是台北 16:00，過線後四小時內顯示「已超過」，不會把超時悄悄換算掉。子 session、純工具回合、已經提醒過一次的，全部放行。 | 🛑 擋（至多攔一次） | | `browser-verify-guard.sh` | 這一輪 AI 宣稱「前端驗過了」，卻沒有真的用瀏覽器工具載入過，就擋下——`curl` 抓到 HTML 不算驗過。 | 🛑 擋 | | `self-drive-police.sh` | AI 想停下來問你「早就決定過的事」（用固定句型判斷，例如「要不要 X」「下一步做什麼」「這交給你」）就擋下，反問它查過 wiki／查過派工表了沒。 | 🛑 擋 | From accedb5898c3f9f0c67d750f15490750c2c63664 Mon Sep 17 00:00:00 2001 From: claude-code Date: Fri, 28 Aug 2026 00:27:37 +0000 Subject: [PATCH 08/16] =?UTF-8?q?PR=20=E4=B8=80=E5=AE=9A=E8=A6=81=E6=9C=89?= =?UTF-8?q?=E7=B5=90=E8=AB=96=EF=BC=88inkstone/ISEP#81=EF=BC=89=EF=BC=88ho?= =?UTF-8?q?oks/hooks.json=EF=BC=89?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- hooks/hooks.json | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/hooks/hooks.json b/hooks/hooks.json index 53cd6d1..4896338 100644 --- a/hooks/hooks.json +++ b/hooks/hooks.json @@ -253,6 +253,10 @@ { "type": "command", "command": "${CLAUDE_PLUGIN_ROOT}/hooks/mainline-idle-guard.sh" + }, + { + "type": "command", + "command": "${CLAUDE_PLUGIN_ROOT}/hooks/pr-verdict-guard.sh" } ] }, From 99abdf725bb9d4f77829061d62e4e3d7b645d5ad Mon Sep 17 00:00:00 2001 From: claude-code Date: Fri, 28 Aug 2026 00:27:39 +0000 Subject: [PATCH 09/16] =?UTF-8?q?PR=20=E4=B8=80=E5=AE=9A=E8=A6=81=E6=9C=89?= =?UTF-8?q?=E7=B5=90=E8=AB=96=EF=BC=88inkstone/ISEP#81=EF=BC=89=EF=BC=88ho?= =?UTF-8?q?oks/pr-verdict-guard.sh=EF=BC=89?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- hooks/pr-verdict-guard.sh | 394 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 394 insertions(+) create mode 100644 hooks/pr-verdict-guard.sh diff --git a/hooks/pr-verdict-guard.sh b/hooks/pr-verdict-guard.sh new file mode 100644 index 0000000..574fba8 --- /dev/null +++ b/hooks/pr-verdict-guard.sh @@ -0,0 +1,394 @@ +#!/usr/bin/env bash +# 管什麼: 收工那一刻清點「我這邊還有沒有 PR 沒給結論」——open 且沒人在管的 PR、 +# 以及已經 merge 但**分支還留著**的 PR。有就擋一次並點名是哪幾個。 +# 為什麼: 2026-08-27 實查，最久的三個 open PR 躺了兩星期（inkstone/arcrun-rag#91、 +# inkstone/Arcrun#116、inkstone/Arcrun#104），而 v0.9.0 的 46 支閘沒有一支在管 PR。 +# 票看起來「已交付」，但東西沒進 main ⇒ 沒進版本 ⇒ leo 手上永遠不會出現它。 +# 誤觸時怎麼關: 直接再送一次即可（擋完就歸零，而且那幾個 PR 的門檻已加倍）。 +# 真的在等別人 ⇒ 把 PR 指派給他（或掛 Human），本閘立刻不再點名它。 +# +# pr-verdict-guard.sh — PR 收斂警察（Stop；inkstone/ISEP#81） +# +# ── 為什麼是 Stop 而不是 PreToolUse ────────────────────────────────── +# PR 堆積不是「某個動作做錯了」，是「某個動作從來沒發生」。 +# 沒有發生的事情攔不到，只能在收工那一刻清點。同 worklist-guard.sh 的形狀。 +# **刻意只掛 Stop，不掛 SubagentStop**：給 PR 結論是總管的事， +# subagent 手上沒有那個權（它連 main 都不准推）⇒ 掛上去只會變成對它的誤攔。 +# +# ── 這支跟 baton-handback-guard.sh 是接力，不是重複 ──────────────── +# baton 管「棒子有沒有交回來」（票的指派＋tag＋下一步三格）。 +# 本支管「交回來之後，總管有沒有動它」——PR 是那根棒子的實體。 +# +# ── 🔴 已知的坑：這支很容易長成「讓總管永遠停不下來」的那一支 ────── +# ISEP v0.6.0 的 divergence 文件 §B4 記過同款： +# 「`s/review` 佇列非空即 block 總管 stop」⇒ 佇列本來就不會空 ⇒ 永遠擋。 +# ⇒ **要擋的是遺忘，不是等待。** 本閘用三層把「等待」全部放掉： +# +# ① 有人被指派（或掛 Human）⇒ 不點名。 +# 指派是 Gitea 原生欄位、也是本 repo 既有的「現在誰該動」真相 +# （見 baton-handback-guard 檔頭那張三格表）。棒子在誰手上是**事實**， +# 不是措辭 ⇒ 有人拿著 ＝ 在等，不是忘了。 +# ② 有一則 REQUEST_CHANGES 的 review ⇒ 不點名。 +# 「要求修改」這個結論已經給了，球在對方腳下。 +# ③ 這一回合碰過它 ⇒ 不點名（見下面「怎麼算碰過」）。 +# ④ 點名過就退讓：那個 PR 的門檻 1 → 4 → 8 → 16…（每 PR 各自算）。 +# ⇒ 不可能鎖死：擋完歸零，再送一次就過；真的長期不理才會再響。 +# +# ── 怎麼算「碰過」：不讀任何一句話 ────────────────────────────── +# ① `updated_at` 跟上一次收工比變了 ⇒ 碰過（留言／改標籤／推 commit／submit review +# 全部會動它）。這是**外部系統的事實**，跟我在對話裡怎麼寫無關。 +# ② 上一次收工時還不存在的 PR ⇒ 剛開出來 ⇒ 碰過（不在它誕生的那一回合就開罵）。 +# ③ 這一回合的 tool call 裡出現它的**識別碼**（`owner/repo#N`／`/pulls/N`／它的網址） +# ⇒ 碰過。這一條是為了接住「結論寫在票上」——票被改了、PR 沒被改， +# ①②都看不到，但那正是本票規定的其中一種合法結論。 +# +# 🔴 ③ 不是關鍵字黑名單（leo 2026-08-17 已證偽那條路：當日 8 次誤攔、0 次正確攔截）。 +# 差別在方向與集合：黑名單拿**措辭**來**擋**（措辭無限，永遠追不完）； +# 這裡拿**識別碼**來**放行**（識別碼是有限且唯一的，而且比對錯了只會少擋一次）。 +# 本 repo 心法：只准往放行的方向做字面比對。 +# +# ── merge 了但分支還在 ＝ 結論只給了一半 ──────────────────────── +# 票上寫死：「merge → 併完當場刪掉那條 branch」。所以某個 PR 從 open 清單消失時， +# 本閘去看它是不是 merged、head 分支還在不在；還在就一起點名。 +# （只在「上次還 open、這次不見了」時查，平常一通 API 都不多打。） +# +# ── 內部錯誤不准靜默放行 ──────────────────────────────────────── +# Stop 閘 fail-closed 會鎖死 session，而誤攔是本 repo 的第一級缺陷 +# ⇒ 內部錯誤走 exit 0，但留痕（log ＋ stderr 各一行）。同 mainline-idle-guard.sh。 +# +# 迴歸測試：hooks/tests/pr-verdict-guard.test.sh（離線，走 PR_VERDICT_FIXTURE） +set -u + +PROJ="${CLAUDE_PROJECT_DIR:-$(pwd)}" +PAYLOAD=$(cat 2>/dev/null || echo '{}') + +# ── token：同 scripts/ticket 的做法（掃 remote 找帶憑證的，再退到環境變數）── +TOKEN="" +if [ -z "${PR_VERDICT_FIXTURE:-}" ]; then + for d in "$PROJ" "$PROJ/products"/* "$PROJ/matrix"/* "$PROJ/polaris"/*; do + [ -e "$d/.git" ] || continue + U=$(git -C "$d" remote -v 2>/dev/null | grep -m1 'git\.uncle6\.me' | grep '@' | awk '{print $2}') || true + if [ -n "${U:-}" ]; then + T=$(printf '%s' "$U" | sed -E 's|.*//[^:]+:([^@]+)@.*|\1|') + [ "$T" != "$U" ] && { TOKEN="$T"; break; } + fi + done + [ -n "$TOKEN" ] || TOKEN="${GITEA_TOKEN_CLAUDE_CODE:-${GITEA_TOKEN:-}}" +fi + +# PR_VERDICT_DEBUG=1 時把內部錯誤原文放出來（平常吞掉，避免雜訊蓋掉閘的訊息） +ERRSINK=/dev/null +[ -n "${PR_VERDICT_DEBUG:-}" ] && ERRSINK=/dev/stderr + +# 🔴 payload 走環境變數，不走 stdin——`python3 - <"$ERRSINK" +import json, os, re, sys, time +import urllib.error, urllib.parse, urllib.request + +HOST = os.environ.get("PR_VERDICT_HOST", "https://git.uncle6.me") +ORGS = [o.strip().lower() for o in + os.environ.get("PR_VERDICT_ORGS", "inkstone").split(",") if o.strip()] +FIXTURE = os.environ.get("PR_VERDICT_FIXTURE", "") +TOKEN = os.environ.get("GITEA_TOKEN_RESOLVED", "") + +def out(s): + sys.stdout.write(s) + raise SystemExit + +try: + d = json.loads(os.environ.get("PR_VERDICT_PAYLOAD") or "{}") +except Exception: + out("CRASH:bad-payload") + +# 已被別的 Stop 閘擋過這一輪 ⇒ 不計數、不擋（避免疊擋，同 mainline-idle-guard） +if d.get("stop_hook_active"): + out("SKIP:already-nudged") + +sid = re.sub(r"[^A-Za-z0-9_.-]", "_", str(d.get("session_id") or "nosid"))[:64] +state_path = os.path.join(os.environ.get("PR_VERDICT_STATE_DIR", "/tmp"), + ".pr-verdict-%s.json" % sid) + +# ── 資料來源：正式打 Gitea，測試走 fixture（單一 JSON 檔或目錄下的 state.json）── +FX = None +if FIXTURE: + p = FIXTURE if os.path.isfile(FIXTURE) else os.path.join(FIXTURE, "state.json") + try: + with open(p) as f: + FX = json.load(f) + except Exception: + out("CRASH:bad-fixture") + +def api(path, soft=True): + """GET 一筆。fixture 模式完全不碰網路。失敗回 None（不影響該不該擋的核心判斷）。""" + if FX is not None: + return None + if not TOKEN: + return None + try: + req = urllib.request.Request(HOST + "/api/v1" + path, + headers={"Authorization": "token " + TOKEN}) + return json.load(urllib.request.urlopen(req, timeout=12)) + except urllib.error.HTTPError as e: + return {"__status__": e.code} + except Exception: + return None + +# ── ① 撈 open PR（一通跨 repo 的呼叫）───────────────────────────── +if FX is not None: + pulls = FX.get("pulls", []) +else: + if not TOKEN: + out("SKIP:no-token") + pulls = api("/repos/issues/search?type=pulls&state=open&limit=50") + if pulls is None or isinstance(pulls, dict): + out("SKIP:api-unreachable") + +def ref_of(pr): + return "%s#%s" % (pr.get("repository", {}).get("full_name", "?"), pr.get("number")) + +live = {} +for pr in pulls: + full = (pr.get("repository") or {}).get("full_name") or "" + if "/" not in full: + continue + if ORGS and full.split("/", 1)[0].lower() not in ORGS: + continue # 只管我這邊的 org；舊 org 的鏡像不是我的責任 + if (pr.get("pull_request") or {}).get("draft"): + continue # draft ＝ 作者自己說「還沒好」，不是等我給結論 + live[ref_of(pr)] = pr + +# ── ② 讀上一次收工的快照 ───────────────────────────────────────── +st = {} +try: + with open(state_path) as f: + st = json.load(f) +except Exception: + st = {} +seen = st.get("seen") or {} +leftover = st.get("leftover") or {} # ref -> branch，merge 完分支還沒刪的 +first_run = not seen and "seen" not in st + +# ── ③ 這一回合的 tool call 裡提到了哪些識別碼（只用來放行）────────── +turn_blob = "" +tp = d.get("transcript_path") or "" +if tp and os.path.exists(tp): + try: + rows = [] + with open(tp) as f: + for line in f: + line = line.strip() + if line: + try: + rows.append(json.loads(line)) + except Exception: + pass + start = 0 + for i, r in enumerate(rows): + if r.get("type") == "user": + c = (r.get("message") or {}).get("content") + blocks = c if isinstance(c, list) else [{"type": "text"}] + if not any(isinstance(b, dict) and b.get("type") == "tool_result" + for b in blocks): + start = i + chunks = [] + for r in rows[start:]: + if r.get("type") != "assistant": + continue + for b in (r.get("message") or {}).get("content") or []: + if isinstance(b, dict) and b.get("type") == "tool_use": + chunks.append(json.dumps(b.get("input") or {}, ensure_ascii=False)) + turn_blob = "\n".join(chunks) + except Exception: + turn_blob = "" + +def mentioned(ref): + """這一回合的 tool call 有沒有指名這個 PR。識別碼比對，只用來放行。""" + if not turn_blob: + return False + full, num = ref.split("#") + owner, repo = full.split("/", 1) + pats = ["%s#%s" % (full, num), "%s#%s" % (repo, num), + "/pulls/%s" % num, "/pull/%s" % num] + return any(p in turn_blob for p in pats) + +# ── ④ merge 完分支還在不在（只在「上次還 open、這次不見了」時查）──── +def branch_alive(owner, repo, br): + if FX is not None: + return bool((FX.get("branches") or {}).get("%s/%s:%s" % (owner, repo, br))) + r = api("/repos/%s/%s/branches/%s" % (owner, repo, urllib.parse.quote(br, safe=""))) + if isinstance(r, dict) and r.get("__status__") == 404: + return False + return isinstance(r, dict) and "name" in r + +def pr_detail(ref): + if FX is not None: + return (FX.get("detail") or {}).get(ref) + full, num = ref.split("#") + owner, repo = full.split("/", 1) + r = api("/repos/%s/%s/pulls/%s" % (owner, repo, num)) + return r if isinstance(r, dict) and "__status__" not in r else None + +for ref in list(seen.keys()): + if ref in live: + continue + det = pr_detail(ref) # 不見了：是被 merge 還是被 close？ + if not det or not det.get("merged"): + continue + br = ((det.get("head") or {}).get("ref")) or "" + if not br: + continue + full = ref.split("#")[0] + owner, repo = full.split("/", 1) + if branch_alive(owner, repo, br): + leftover[ref] = br + +for ref in list(leftover.keys()): # 已經刪掉的就從清單移除 + full = ref.split("#")[0] + owner, repo = full.split("/", 1) + if not branch_alive(owner, repo, leftover[ref]): + leftover.pop(ref, None) + +# ── ⑤ 逐個 open PR 判「有沒有人在管」────────────────────────────── +def reviews_of(ref): + if FX is not None: + return (FX.get("reviews") or {}).get(ref) or [] + full, num = ref.split("#") + owner, repo = full.split("/", 1) + r = api("/repos/%s/%s/pulls/%s/reviews" % (owner, repo, num)) + return r if isinstance(r, list) else [] + +try: + BASE = max(1, int(os.environ.get("PR_VERDICT_THRESHOLD", "1"))) +except Exception: + BASE = 1 + +overdue, newseen = [], {} +for ref, pr in live.items(): + prev = seen.get(ref) or {} + rec = {"updated_at": pr.get("updated_at"), + "quiet": int(prev.get("quiet", 0) or 0), + "threshold": int(prev.get("threshold", BASE) or BASE), + "fires": int(prev.get("fires", 0) or 0)} + newseen[ref] = rec + + # 有人被指派／掛了 Human ＝ 棒子在某個人手上 ⇒ 在等，不是忘了 + if pr.get("assignees"): + rec["quiet"] = 0 + continue + if any((l.get("name") or "").lower() == "human" for l in (pr.get("labels") or [])): + rec["quiet"] = 0 + continue + # 上一次收工時還不存在 ⇒ 剛開出來，別在它誕生的那一回合就開罵 + if not first_run and ref not in seen: + rec["quiet"] = 0 + continue + # 這一回合真的動過它（外部事實）／指名過它（識別碼） + if prev.get("updated_at") and pr.get("updated_at") != prev.get("updated_at"): + rec["quiet"] = 0 + continue + if mentioned(ref): + rec["quiet"] = 0 + continue + + rec["quiet"] += 1 + if rec["quiet"] < rec["threshold"]: + continue + # 「要求修改」這個結論已經給了 ⇒ 球在對方腳下（只在要開罵時才多打這通） + if any((rv.get("state") or "").upper() == "REQUEST_CHANGES" for rv in reviews_of(ref)): + rec["quiet"] = 0 + continue + + rec["quiet"] = 0 + rec["threshold"] = max(4, rec["threshold"] * 4 if rec["threshold"] == 1 + else rec["threshold"] * 2) + rec["fires"] += 1 + overdue.append((ref, pr)) + +try: + with open(state_path, "w") as f: + json.dump({"seen": newseen, "leftover": leftover, "ts": time.time()}, f) +except Exception: + pass + +if not overdue and not leftover: + out("OK:clean:%d-open" % len(live)) + +def age_days(pr): + try: + t = time.mktime(time.strptime(pr.get("created_at", "")[:19], "%Y-%m-%dT%H:%M:%S")) + return max(0, int((time.time() - t) / 86400)) + except Exception: + return -1 + +lines = [] +if overdue: + lines.append("【沒有結論的 PR】（open、沒有人被指派、也沒有「要求修改」的 review）") + for ref, pr in sorted(overdue, key=lambda x: -age_days(x[1])): + dd = age_days(pr) + lines.append(" ❌ %-28s 開了 %s天 %s" + % (ref, dd if dd >= 0 else "?", (pr.get("title") or "")[:36])) + lines.append(" %s" % ((pr.get("pull_request") or {}).get("html_url") or "")) +if leftover: + lines.append("【merge 了，但分支還留著】（結論只給了一半）") + for ref, br in sorted(leftover.items()): + lines.append(" ❌ %-28s 分支 %s 還在" % (ref, br)) + +out("FIRE::" + json.dumps({"body": "\n".join(lines), + "n": len(overdue) + len(leftover)}, ensure_ascii=False)) +PY +) || VERDICT="CRASH:hook-error" +[ -n "${VERDICT:-}" ] || VERDICT="CRASH:empty" + +STAMP=$(date "+%Y-%m-%d %H:%M:%S" 2>/dev/null || echo "?") +LOGDIR="$PROJ/.claude/hooks" +note() { + if [ -d "$LOGDIR" ]; then + printf '| %s | %s | %s |\n' "$STAMP" "$1" "$2" >> "$LOGDIR/pr-verdict-guard.log" 2>/dev/null || true + fi +} + +case "$VERDICT" in + FIRE::*) + BODY=$(printf '%s' "${VERDICT#FIRE::}" | python3 -c 'import json,sys; print(json.load(sys.stdin)["body"])') + N=$(printf '%s' "${VERDICT#FIRE::}" | python3 -c 'import json,sys; print(json.load(sys.stdin)["n"])') + note "⛔ 擋下" "$N 個 PR 沒有結論" + cat >&2 < + 退回 → 理由**寫在票上**（不是寫在訊息裡），然後關掉 PR + scripts/pr-verdict reject --ticket -F <檔> + 要求修改 → 修改要求**寫在票上**，並在 PR 上留一則 REQUEST_CHANGES + scripts/pr-verdict changes --ticket -F <檔> + + 撈一次現況：scripts/pr-verdict list + +━━ 如果它本來就在等別人，不是被我忘了 ━━━━━━━━━━━━━━━━━━━━ + **把它指派給那個人**（或掛 Human）——本閘立刻不再點名它。 + 指派是 Gitea 原生欄位，撈一次就看得到「現在誰該動」； + 寫在對話裡的「我在等 X」會捲走，欄位不會。 + + 這一條就是本閘跟「s/review 佇列非空即 block」的分界： + **擋的是遺忘，不是等待。**（ISEP v0.6.0 divergence §B4 記過那個坑） + +━━ 這幾個現在真的不該處理 ━━━━━━━━━━━━━━━━━━━━━━━━━━━ + 直接再送一次即可，本閘已經歸零，而且這幾個 PR 的門檻已加倍 + （1 → 4 → 8 → 16…，每個 PR 各自算）。**不必為了過這道閘去做一件假的動作。** +MSG + exit 2 ;; + CRASH*) + note "⚠️ 內部錯誤" "$VERDICT" + printf '⚠️ pr-verdict-guard 內部錯誤（%s）——本回合未清點 PR，已記入 log。\n' "$VERDICT" >&2 + exit 0 ;; + *) + note "✅ 放行" "$VERDICT" + exit 0 ;; +esac From 16c03e46c1082bc4cfa97f89aea6d8e2300dcff4 Mon Sep 17 00:00:00 2001 From: claude-code Date: Fri, 28 Aug 2026 00:27:40 +0000 Subject: [PATCH 10/16] =?UTF-8?q?PR=20=E4=B8=80=E5=AE=9A=E8=A6=81=E6=9C=89?= =?UTF-8?q?=E7=B5=90=E8=AB=96=EF=BC=88inkstone/ISEP#81=EF=BC=89=EF=BC=88ho?= =?UTF-8?q?oks/tests/pr-verdict-guard.test.sh=EF=BC=89?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- hooks/tests/pr-verdict-guard.test.sh | 220 +++++++++++++++++++++++++++ 1 file changed, 220 insertions(+) create mode 100644 hooks/tests/pr-verdict-guard.test.sh diff --git a/hooks/tests/pr-verdict-guard.test.sh b/hooks/tests/pr-verdict-guard.test.sh new file mode 100644 index 0000000..12a2292 --- /dev/null +++ b/hooks/tests/pr-verdict-guard.test.sh @@ -0,0 +1,220 @@ +#!/usr/bin/env bash +# pr-verdict-guard.sh 的迴歸測試（inkstone/ISEP#81） +# +# 兩個方向都要有證據： +# A 群「不該擋」——沒有 PR／有人指派／掛 Human／draft／不在 org／剛開出來／ +# 這回合動過／這回合指名過／已有 REQUEST_CHANGES／已被別的閘擋過／ +# merge 完分支已刪／fixture 壞掉 +# B 群「該擋」 ——沒人管的 open PR、放著不管一回合、merge 了但分支還在、 +# 以及**票上那三個躺了兩週的真跡** +# C 群「訊息承諾的出路真的走得通」——擋完歸零門檻加倍、指派下去立刻閉嘴 +# +# 🔴 全程離線（PR_VERDICT_FIXTURE），不打 Gitea、不留任何測試票／測試 PR。 +# 狀態檔走 PR_VERDICT_STATE_DIR，不碰 /tmp 的正式檔。 +# +# 用法：hooks/tests/pr-verdict-guard.test.sh [hooks/pr-verdict-guard.sh 的路徑] +set -u +HOOK="${1:-$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)/pr-verdict-guard.sh}" +TMP=$(mktemp -d) +trap 'rm -rf "$TMP"' EXIT + +PASS=0; FAIL=0; N=0 +NOW=$(date -u +%Y-%m-%dT%H:%M:%SZ) +OLD="2026-08-13T04:34:01Z" + +# fixture <檔名> +# PR 規格：ref|updated|created|assignee|labels|draft +mkfx() { python3 - "$@" <<'PY' +import json, sys, os +path, specs = sys.argv[1], sys.argv[2:] +extra = {} +if os.path.exists(path): + extra = json.load(open(path)) +pulls = [] +for s in specs: + ref, upd, crt, asg, lbl, draft = (s.split("|") + [""] * 6)[:6] + full, num = ref.split("#") + pulls.append({ + "number": int(num), + "title": "測試 PR " + ref, + "created_at": crt, "updated_at": upd, + "repository": {"full_name": full, "id": 1}, + "assignees": [{"login": a} for a in asg.split(",") if a], + "labels": [{"name": n} for n in lbl.split(",") if n], + "pull_request": {"merged": False, "draft": draft == "draft", + "html_url": "https://git.uncle6.me/%s/pulls/%s" % (full, num)}, + }) +extra["pulls"] = pulls +json.dump(extra, open(path, "w"), ensure_ascii=False) +PY +} + +# 加一筆「這個 PR 已經被 merge，head 分支叫 X」的細節，以及分支還在不在 +mkdetail() { python3 - "$@" <<'PY' +import json, sys, os +path, ref, branch, alive = sys.argv[1:5] +d = json.load(open(path)) if os.path.exists(path) else {} +full = ref.split("#")[0] +d.setdefault("detail", {})[ref] = { + "merged": True, "head": {"ref": branch, "repo": {"full_name": full}}} +d.setdefault("branches", {})["%s:%s" % (full, branch)] = (alive == "alive") +json.dump(d, open(path, "w"), ensure_ascii=False) +PY +} + +mkreview() { python3 - "$@" <<'PY' +import json, sys, os +path, ref, state = sys.argv[1:4] +d = json.load(open(path)) if os.path.exists(path) else {} +d.setdefault("reviews", {})[ref] = [{"state": state}] +json.dump(d, open(path, "w"), ensure_ascii=False) +PY +} + +# 造一份「這一回合叫過這些工具、輸入長這樣」的 transcript +mktranscript() { python3 - "$@" <<'PY' +import json, sys +path = sys.argv[1] +with open(path, "w") as f: + f.write(json.dumps({"type": "user", + "message": {"content": [{"type": "text", "text": "繼續"}]}}) + "\n") + blocks = [{"type": "tool_use", "name": "Bash", "id": "t", + "input": {"command": c}} for c in sys.argv[2:]] + f.write(json.dumps({"type": "assistant", "message": {"content": blocks}}, + ensure_ascii=False) + "\n") +PY +} + +# fire <期望 exit> <說明> [transcript] [extra-json] [必須出現的字串] +fire() { + sid="$1"; fx="$2"; want="$3"; desc="$4"; tr="${5:-/nonexistent}"; extra="${6:-}"; must="${7:-}" + N=$((N+1)) + payload=$(printf '{"session_id":"%s","transcript_path":"%s"%s}' "$sid" "$tr" "$extra") + out=$(printf '%s' "$payload" | PR_VERDICT_FIXTURE="$fx" PR_VERDICT_STATE_DIR="$TMP" \ + CLAUDE_PROJECT_DIR="$TMP" bash "$HOOK" 2>&1 >/dev/null); rc=$? + ok=1 + [ "$rc" -eq "$want" ] || ok=0 + if [ -n "$must" ] && ! printf '%s' "$out" | grep -qF "$must"; then ok=0; fi + if [ "$ok" -eq 1 ]; then + printf ' ✅ %s\n' "$desc"; PASS=$((PASS+1)) + else + printf ' ❌ %s —— 期望 exit=%s%s，實得 exit=%s\n' "$desc" "$want" \ + "${must:+ 且訊息含「$must」}" "$rc" + printf '%s\n' "$out" | sed -n '1,8p' | sed 's/^/ /' + FAIL=$((FAIL+1)) + fi +} + +echo "── A 群：不該擋 ────────────────────────────────────────────" + +FX="$TMP/empty.json"; mkfx "$FX" +fire s-empty "$FX" 0 "① 一個 open PR 都沒有 ⇒ 放行" + +FX="$TMP/assigned.json"; mkfx "$FX" "inkstone/Arcrun#104|$OLD|$OLD|Leo||" +fire s-asg "$FX" 0 "② 有人被指派（棒子在他手上＝在等，不是忘了）⇒ 不點名" + +FX="$TMP/human.json"; mkfx "$FX" "inkstone/Arcrun#104|$OLD|$OLD||Human,p/high|" +fire s-hum "$FX" 0 "③ 掛了 Human（等 leo 親手做）⇒ 不點名" + +FX="$TMP/draft.json"; mkfx "$FX" "inkstone/Arcrun#104|$OLD|$OLD|||draft" +fire s-drf "$FX" 0 "④ draft（作者自己說還沒好）⇒ 不點名" + +FX="$TMP/otherorg.json"; mkfx "$FX" "Leo/Arcrun#104|$OLD|$OLD|||" +fire s-org "$FX" 0 "⑤ 不在 inkstone org（舊 org 的鏡像）⇒ 不點名" + +FX="$TMP/review.json"; mkfx "$FX" "inkstone/Arcrun#104|$OLD|$OLD|||" +mkreview "$FX" "inkstone/Arcrun#104" "REQUEST_CHANGES" +fire s-rev "$FX" 0 "⑥ 已經留了 REQUEST_CHANGES（結論給過了，球在對方腳下）⇒ 不點名" + +FX="$TMP/active.json"; mkfx "$FX" "inkstone/Arcrun#104|$OLD|$OLD|||" +fire s-act "$FX" 0 "⑦ stop_hook_active（已被別的 Stop 閘擋過）⇒ 不疊擋" \ + /nonexistent ',"stop_hook_active":true' + +fire s-bad "$TMP/does-not-exist.json" 0 "⑧ fixture 讀不到 ⇒ 放行（Stop 閘不准把 session 鎖死）" + +echo "── B 群：該擋 ──────────────────────────────────────────────" + +# 票上那三個真跡（真實 ref、真實開票日） +FX="$TMP/real.json" +mkfx "$FX" \ + "inkstone/arcrun-rag#91|$OLD|$OLD|||" \ + "inkstone/Arcrun#116|2026-08-13T05:24:51Z|2026-08-13T05:24:51Z|||" \ + "inkstone/Arcrun#104|2026-08-12T08:51:06Z|2026-08-12T08:51:06Z|||" +fire s-real "$FX" 2 "⑨ 真跡重演：三個躺了兩週的 PR ⇒ **擋下**" \ + /nonexistent '' 'inkstone/arcrun-rag#91' +FX2="$TMP/real2.json"; cp "$FX" "$FX2" +fire s-real2 "$FX2" 2 "⑩ 同上，訊息要點名 inkstone/Arcrun#116" \ + /nonexistent '' 'inkstone/Arcrun#116' +FX3="$TMP/real3.json"; cp "$FX" "$FX3" +fire s-real3 "$FX3" 2 "⑪ 同上，訊息要點名 inkstone/Arcrun#104" \ + /nonexistent '' 'inkstone/Arcrun#104' + +echo "── C 群：驗收條件 1–3（開著不管 → 擋；merge → 放行；分支要不見）──" + +# 驗收 1：一個新 PR 出現（不在它誕生那回合開罵），下一回合放著不管 ⇒ 擋 +FX="$TMP/ac.json"; mkfx "$FX" +fire s-ac "$FX" 0 "⑫ 基準回合：目前沒有 PR" +mkfx "$FX" "inkstone/ISEP#999|$NOW|$NOW|||" +fire s-ac "$FX" 0 "⑬ PR 剛開出來（上一回合還不存在）⇒ 不在它誕生的回合開罵" +fire s-ac "$FX" 2 "⑭ **驗收 1**：開著放著不管，收工 ⇒ 擋下，且點名它" \ + /nonexistent '' 'inkstone/ISEP#999' + +# 驗收 2＋3：merge 掉（PR 從 open 清單消失）且分支已刪 ⇒ 放行 +mkfx "$FX" # #999 從 open 清單消失 +mkdetail "$FX" "inkstone/ISEP#999" "feat/x" "gone" +fire s-ac "$FX" 0 "⑮ **驗收 2＋3**：merge 掉且分支已不存在 ⇒ 放行" + +# 驗收 3 的反面：merge 了但分支還在 ＝ 結論只給了一半 ⇒ 擋 +FX="$TMP/left.json"; mkfx "$FX" "inkstone/ISEP#998|$NOW|$NOW|||" +fire s-left "$FX" 2 "⑯ 先讓 #998 進到快照（沒人管 ⇒ 擋一次）" \ + /nonexistent '' 'inkstone/ISEP#998' +mkfx "$FX" # 消失了 +mkdetail "$FX" "inkstone/ISEP#998" "feat/y" "alive" +fire s-left "$FX" 2 "⑰ **驗收 3**：merge 了但分支 feat/y 還在 ⇒ 擋下並點名分支" \ + /nonexistent '' 'feat/y' +mkfx "$FX"; mkdetail "$FX" "inkstone/ISEP#998" "feat/y" "gone" +fire s-left "$FX" 0 "⑱ 分支刪掉之後 ⇒ 放行（清單會自己清乾淨）" + +echo "── D 群：這一回合碰過它就不點名（不讀任何一句話）──────────────" + +FX="$TMP/touch.json"; mkfx "$FX" "inkstone/ISEP#997|$OLD|$OLD|||" +fire s-t1 "$FX" 2 "⑲ 沒人管 ⇒ 擋一次（建立基準）" +# updated_at 動了 ＝ 外部系統的事實（留言／推 commit／改標籤都會動它） +mkfx "$FX" "inkstone/ISEP#997|$NOW|$OLD|||" +for i in 1 2 3 4 5; do + fire s-t1 "$FX" 0 "⑳ updated_at 變了（這回合真的動過它）第 $i 次 ⇒ 不點名" + mkfx "$FX" "inkstone/ISEP#997|$NOW-$i|$OLD|||" +done + +FX="$TMP/mention.json"; mkfx "$FX" "inkstone/ISEP#996|$OLD|$OLD|||" +TR="$TMP/tr.jsonl" +mktranscript "$TR" "python3 scripts/ticket say inkstone/ISEP#996 -F /tmp/x.md" +fire s-t2 "$FX" 0 "㉑ 這回合的 tool call 指名了 inkstone/ISEP#996（結論寫在票上）⇒ 不點名" "$TR" +for i in 1 2 3 4; do + fire s-t2 "$FX" 0 "㉒ 同上第 $i 次——指名過就不該累積成擋下" "$TR" +done +mktranscript "$TR" "python3 scripts/ticket say inkstone/ISEP#111 -F /tmp/x.md" +fire s-t2 "$FX" 2 "㉓ 換成指名**別的**票號 ⇒ 這個 PR 仍然沒被碰 ⇒ 擋" + +echo "── E 群：響過就退讓（訊息裡承諾的出路真的存在）────────────────" + +FX="$TMP/backoff.json"; mkfx "$FX" "inkstone/ISEP#995|$OLD|$OLD|||" +fire s-bo "$FX" 2 "㉔ 第 1 次 ⇒ 擋（門檻 1）" +for i in 1 2 3; do + fire s-bo "$FX" 0 "㉕ 擋過之後第 $i 個回合——門檻已加倍（1→4），不該再響" +done +fire s-bo "$FX" 2 "㉖ 第 4 個回合 ⇒ 再擋一次（門檻 4）" +for i in 1 2 3 4 5 6 7; do + fire s-bo "$FX" 0 "㉗ 再擋過之後第 $i 個回合——門檻 4→8，不該響" +done +fire s-bo "$FX" 2 "㉘ 第 8 個回合 ⇒ 再擋（證明退讓是加倍不是無限）" + +# 訊息說「把它指派給那個人，本閘立刻不再點名它」——這條出路要真的走得通 +mkfx "$FX" "inkstone/ISEP#995|$OLD|$OLD|claude-code||" +for i in 1 2 3 4 5 6 7 8 9; do + fire s-bo "$FX" 0 "㉙ 指派下去之後第 $i 個回合 ⇒ 永遠不再點名（訊息承諾的出路成立）" +done + +echo +printf '結果：%s 通過 / %s 失敗（共 %s 條）\n' "$PASS" "$FAIL" "$N" +[ "$FAIL" -eq 0 ] || exit 1 From eb7c3656be95f0a2a04fd75b4c91adfe70a594dd Mon Sep 17 00:00:00 2001 From: claude-code Date: Fri, 28 Aug 2026 00:27:42 +0000 Subject: [PATCH 11/16] =?UTF-8?q?PR=20=E4=B8=80=E5=AE=9A=E8=A6=81=E6=9C=89?= =?UTF-8?q?=E7=B5=90=E8=AB=96=EF=BC=88inkstone/ISEP#81=EF=BC=89=EF=BC=88sc?= =?UTF-8?q?ripts/pr-verdict=EF=BC=89?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- scripts/pr-verdict | 257 +++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 257 insertions(+) create mode 100644 scripts/pr-verdict diff --git a/scripts/pr-verdict b/scripts/pr-verdict new file mode 100644 index 0000000..87eb7a4 --- /dev/null +++ b/scripts/pr-verdict @@ -0,0 +1,257 @@ +#!/usr/bin/env python3 +"""pr-verdict — 給 PR 一個結論，一個動作把該做的全做完（inkstone/ISEP#81）。 + +leo 的問題（票上原文）：「我交出去的 PR 沒有人去看它⋯⋯票看起來是『已交付』， +但東西沒有進 main，也就沒有進版本，**leo 手上永遠不會出現它**。」 + +「有結論」只有三種，缺一不可： + + pr-verdict merge 併 ＋ **當場刪掉那條 branch** + pr-verdict reject --ticket <票> -F <檔> 退回：理由寫**票上** ＋ 關 PR + pr-verdict changes --ticket <票> -F <檔> 要求修改：寫**票上** ＋ REQUEST_CHANGES + pr-verdict list 撈一次：誰還沒有結論 + +🔴 為什麼要有這支、而不是叫人記得多做一步： + 「merge 完要刪 branch」「退回理由要寫在票上」都是**第二個動作**， + 而所有掉棒的形狀都長一樣——第一個動作做了，第二個沒有。 + 把兩件事綁成一個指令，就沒有「忘了做第二件」這個狀態可以存在。 + +🔴 `--dry-run` 會把要打的每一通 API 印出來但不送出。 + 加在任何子指令上都有效；**收工前想確認自己按下去會發生什麼，用它。** +""" +import json +import os +import re +import subprocess +import sys +import urllib.error +import urllib.parse +import urllib.request + +HOST = os.environ.get("PR_VERDICT_HOST", "https://git.uncle6.me") +DRY = False + + +def die(msg, code=2): + print(msg, file=sys.stderr) + sys.exit(code) + + +def token(): + root = os.environ.get("CLAUDE_PROJECT_DIR") or os.getcwd() + host = HOST.split("//")[-1].rstrip("/") + try: + out = subprocess.run(["git", "-C", root, "remote", "-v"], + capture_output=True, text=True, timeout=20).stdout + except Exception: + out = "" + for line in out.splitlines(): + if host in line: + m = re.search(r"//[^:/]+:([^@]+)@", line) + if m: + return m.group(1) + for env in ("GITEA_TOKEN_CLAUDE_CODE", "GITEA_TOKEN"): + if os.environ.get(env): + return os.environ[env] + die(f"🔴 拿不到 {host} 的 token（remote 沒帶憑證，也沒有 GITEA_TOKEN_CLAUDE_CODE）") + + +def api(path, payload=None, method=None, soft=False): + verb = method or ("POST" if payload is not None else "GET") + if DRY and verb != "GET": + print(f" [dry-run] {verb} {path}" + + (f"\n {json.dumps(payload, ensure_ascii=False)}" if payload else "")) + return {} + url = path if path.startswith("http") else f"{HOST}/api/v1{path}" + data = json.dumps(payload).encode() if payload is not None else None + req = urllib.request.Request( + url, data=data, method=verb, + headers={"Authorization": f"token {token()}", "Content-Type": "application/json"}) + try: + raw = urllib.request.urlopen(req, timeout=40).read() + return json.loads(raw) if raw.strip() else {} + except urllib.error.HTTPError as e: + if soft: + return {"__status__": e.code} + die(f"🔴 Gitea {e.code} on {verb} {path}：{e.read().decode()[:300]}") + + +def parse_ref(s): + m = re.match(r"^([\w.-]+)/([\w.-]+)#(\d+)$", s.strip()) + if not m: + die(f"🔴 寫法是 owner/repo#N，你給的是：{s}") + return m.group(1), m.group(2), int(m.group(3)) + + +def read_body(argv, what): + if "-F" not in argv: + die(f"🚫 缺 -F <檔>：{what}要**寫在票上**，不是寫在訊息裡。\n" + f" （inkstone/ISEP#81：「退回理由寫在票上（寫票，不是寫訊息）」）") + p = argv[argv.index("-F") + 1] + try: + with open(p) as f: + return f.read().strip() + except Exception as e: + die(f"🔴 讀不到 {p}：{e}") + + +def opt(argv, name, default=None): + return argv[argv.index(name) + 1] if name in argv else default + + +def say_on_ticket(ref, body): + """把結論貼進**票**（不是貼進 PR 的討論串——PR 會隨自己沉掉，票才是那條線的家）。 + + 內文第一行帶【總管】身份欄，對齊 reply-identity-guard 的規約 + （leo 2026-08-27：「subagent 回覆時要表明身份」）。 + """ + owner, repo, num = parse_ref(ref) + if DRY: + print(f" [dry-run] POST /repos/{owner}/{repo}/issues/{num}/comments") + print(f" {body[:120]}…") + return + api(f"/repos/{owner}/{repo}/issues/{num}/comments", {"body": body}) + + +# ── merge ──────────────────────────────────────────────────────────────── +def cmd_merge(argv): + if not argv: + die("用法：pr-verdict merge [--style merge|squash|rebase] [--dry-run]") + owner, repo, num = parse_ref(argv[0]) + style = opt(argv, "--style", "merge") + + pr = api(f"/repos/{owner}/{repo}/pulls/{num}") + branch = ((pr.get("head") or {}).get("ref")) or "" + same_repo = ((pr.get("head") or {}).get("repo") or {}).get("full_name") == f"{owner}/{repo}" + + if not pr.get("merged"): + if pr.get("state") != "open": + die(f"🔴 {owner}/{repo}#{num} 不是 open（state={pr.get('state')}）——沒得 merge。") + api(f"/repos/{owner}/{repo}/pulls/{num}/merge", + {"Do": style, "delete_branch_after_merge": True}) + if not DRY: + print(f"✅ {owner}/{repo}#{num} 已 merge（{style}）") + else: + print(f"ℹ️ {owner}/{repo}#{num} 本來就是 merged，只補刪分支") + + # 🔴 第二件事：**當場複驗分支真的不見了**。 + # Gitea 的 delete_branch_after_merge 在某些設定下不會生效（保護分支、 + # 跨 fork），而「我下了刪除的指令」不等於「它被刪掉了」—— + # 本 repo 心法：交出去之前，我知不知道它能不能用。 + if not branch: + print("⚠️ 拿不到 head 分支名，無法複驗——請自己確認分支已刪。") + return + if not same_repo: + print(f"ℹ️ head 在別的 repo（fork），本指令不跨 repo 刪分支：{branch}") + return + if DRY: + print(f" [dry-run] DELETE /repos/{owner}/{repo}/branches/{branch}（若還在）") + return + if _branch_alive(owner, repo, branch): + api(f"/repos/{owner}/{repo}/branches/{urllib.parse.quote(branch, safe='')}", + method="DELETE", soft=True) + if _branch_alive(owner, repo, branch): + die(f"🔴 分支 {branch} 刪不掉（保護分支？權限？）——**結論只給了一半**，" + f"pr-verdict-guard 會繼續點名它。") + print(f"✅ 分支 {branch} 已刪除（複驗過：查不到了）") + + +def _branch_alive(owner, repo, br): + r = api(f"/repos/{owner}/{repo}/branches/{urllib.parse.quote(br, safe='')}", soft=True) + return isinstance(r, dict) and "name" in r + + +# ── reject / changes ───────────────────────────────────────────────────── +def _verdict_with_reason(argv, kind): + if not argv: + die(f"用法：pr-verdict {kind} --ticket -F <檔> [--dry-run]") + owner, repo, num = parse_ref(argv[0]) + ticket = opt(argv, "--ticket") + if not ticket: + die("🚫 缺 --ticket ：結論要寫在**票**上。\n" + " PR 的討論串會隨 PR 一起沉掉；票才是那條線的家。") + body = read_body(argv, "退回理由" if kind == "reject" else "修改要求") + + pr = api(f"/repos/{owner}/{repo}/pulls/{num}") + head = f"{owner}/{repo}#{num}" + url = (pr.get("html_url") or "") + title = "退回" if kind == "reject" else "要求修改" + say_on_ticket(ticket, f"【總管】**PR {title}**：{head}　{url}\n\n{body}") + if not DRY: + print(f"✅ {title}理由已寫進票 {ticket}") + + if kind == "reject": + api(f"/repos/{owner}/{repo}/issues/{num}", {"state": "closed"}, method="PATCH") + if not DRY: + print(f"✅ {head} 已關閉") + br = ((pr.get("head") or {}).get("ref")) or "" + same = ((pr.get("head") or {}).get("repo") or {}).get("full_name") == f"{owner}/{repo}" + if br and same and not DRY and _branch_alive(owner, repo, br): + api(f"/repos/{owner}/{repo}/branches/{urllib.parse.quote(br, safe='')}", + method="DELETE", soft=True) + print(f"✅ 分支 {br} 已刪除") + else: + # REQUEST_CHANGES：**讓「已經給過結論」變成 Gitea 查得到的事實**， + # 這樣 pr-verdict-guard 就不會再把它當成被遺忘的 PR（＝擋等待）。 + api(f"/repos/{owner}/{repo}/pulls/{num}/reviews", + {"event": "REQUEST_CHANGES", "body": f"修改要求寫在 {ticket}"}) + if not DRY: + print(f"✅ {head} 已留下 REQUEST_CHANGES review（閘看得到，不會再點名它）") + if DRY: + print("\n[dry-run] 以上一通都沒有送出。") + return + print("\n📌 兩件事是同一個動作——不會只寫了理由而 PR 還開著" + "（reject），也不會留了 review 而票上查不到理由（changes）。") + + +# ── list ───────────────────────────────────────────────────────────────── +def cmd_list(argv): + orgs = [o.strip().lower() for o in + os.environ.get("PR_VERDICT_ORGS", "inkstone").split(",") if o.strip()] + rows = api("/repos/issues/search?type=pulls&state=open&limit=50") + import time + now = time.time() + n = 0 + for pr in rows: + full = (pr.get("repository") or {}).get("full_name") or "" + if "/" not in full or (orgs and full.split("/", 1)[0].lower() not in orgs): + continue + try: + t = time.mktime(time.strptime(pr["created_at"][:19], "%Y-%m-%dT%H:%M:%S")) + age = int((now - t) / 86400) + except Exception: + age = -1 + who = [a["login"] for a in (pr.get("assignees") or [])] + mark = "🕒" if who else "❌" + print(f"{mark} {full}#{pr['number']:<5} 開了 {age:>3} 天 " + f"{'指派＝' + ','.join(who) if who else '沒有人被指派'} {pr['title'][:34]}") + n += 1 + print(f"\n共 {n} 個 open PR（org：{'/'.join(orgs) or '全部'}）。" + f"　❌＝沒有人在管，pr-verdict-guard 會點名它") + + +def main(): + global DRY + argv = sys.argv[1:] + if "--dry-run" in argv: + DRY = True + argv.remove("--dry-run") + if not argv: + print(__doc__) + sys.exit(0) + cmd, rest = argv[0], argv[1:] + if cmd == "merge": + cmd_merge(rest) + elif cmd == "reject": + _verdict_with_reason(rest, "reject") + elif cmd == "changes": + _verdict_with_reason(rest, "changes") + elif cmd == "list": + cmd_list(rest) + else: + print(__doc__) + die(f"🔴 沒有這個子指令：{cmd}") + + +if __name__ == "__main__": + main() From 4322deb23ab75ddb6253ea9dbbcd44322a39bd33 Mon Sep 17 00:00:00 2001 From: claude-code Date: Fri, 28 Aug 2026 00:27:51 +0000 Subject: [PATCH 12/16] =?UTF-8?q?=E8=A3=9C=E4=B8=8A=20stat=20-f=20?= =?UTF-8?q?=E8=A8=BA=E6=96=B7=E7=9A=84=E6=9C=80=E5=BE=8C=E4=B8=80=E5=B1=A4?= =?UTF-8?q?=EF=BC=9A=E9=80=A3=E9=9B=A2=E9=96=8B=E7=A2=BC=E9=83=BD=E4=B8=8D?= =?UTF-8?q?=E5=8F=AF=E9=9D=A0=EF=BC=88inkstone/ISEP#90=20=E2=91=A3?= =?UTF-8?q?=EF=BC=89?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 總管自己驗這一格量到 exit=0，我量到 exit=1。**兩個都是真的**， 而分歧本身就是最後一塊拼圖： **GNU 的 `-f` 是 `--file-system`，布林旗標、不接格式字串** ⇒ `%m` 不是格式，它被當成**另一個檔名運算元** ⇒ 離開碼取決於「cwd 裡有沒有一個叫 `%m` 的檔」： A. 沒有（一般情況） → exit 1 ⇒ `||` 會跑 ⇒ 正確的秒數接在垃圾後面 B. 剛好有 → exit 0 ⇒ `||` 不會跑 ⇒ 整包連一個數字都沒有 兩種情況閘的結果一樣：MT 都不是純數字、戳記都作廢。（實測 GNU coreutils 9.4，兩種都重現過） 🔴 教訓比原本寫的更尖銳：舊寫法的 `||` fallback 救不了， **不是因為它沒跑，而是因為「跑不跑」根本不由這支腳本決定**—— 它由「cwd 裡有沒有某個檔名」決定。 一個行為取決於 cwd 有沒有某個檔的判斷式，不管跑不跑都是壞的。 ⇒ 所以修法不能只是「把順序反過來」，**每一步都要驗它是不是純數字** （lib/mtime.sh 本來就是這樣寫的，現在把理由寫進去了）。 gate-ok 測試補第 ⑰ 條守這一層：cwd 裡有一個叫 `%m` 的檔時，file_mtime 仍要回純數字。 16 → 17 條，TESTING.md 的 A16 一併更新。 --- docs/TESTING.md | 10 ++++--- docs/governance/cloud-wiring.md | 47 +++++++++++++++++++++++++++++++++ hooks/lib/mtime.sh | 18 ++++++++++++- hooks/tests/gate-ok.test.sh | 6 +++++ 4 files changed, 77 insertions(+), 4 deletions(-) diff --git a/docs/TESTING.md b/docs/TESTING.md index 1cd61e1..99d6946 100644 --- a/docs/TESTING.md +++ b/docs/TESTING.md @@ -131,11 +131,11 @@ bash hooks/tests/prod-write-guard.test.sh hooks/prod-write-guard.sh - 「卡點二」2 條任一紅 ⇒ 「談論它」又被當成「執行它」（同款第八次）， 或是剝了內文之後連真的部署都放行了 -### A16 — 「總管可以放行」那道門真的打得開：16 條 +### A16 — 「總管可以放行」那道門真的打得開：17 條 ``` bash hooks/tests/gate-ok.test.sh ``` -**該看到**：`通過 16 條，失敗 0 條`。 +**該看到**：`通過 17 條，失敗 0 條`。 **它在守什麼**（inkstone/ISEP#90 ④，2026-08-28 實查）：三支閘 （`prod-write-guard`／`main-and-prod-push-guard`／`stage-before-prod-guard`） @@ -151,6 +151,10 @@ bash hooks/tests/gate-ok.test.sh 08-11、08-12 兩次真的被穿透之後才補上的，不准為了「好放行」而鬆掉 - ⑫ 紅 ⇒ `gate-ok` 在解不出 repo 時留下了一枚註定打不開的空戳記， 那會讓人以為門開了（而空戳記本身就是 08-12 那把萬用鑰匙的形狀） +- ⑰ 紅 ⇒ 判準又變回「行為取決於 cwd 裡有沒有一個叫 `%m` 的檔」。 + 這條是這個 bug 的最後一層：**GNU 的 `-f` 是布林旗標，`%m` 被當成另一個檔名運算元** + ⇒ 有那個檔就 `exit 0`、`||` 連跑都不跑。所以修法不能只是「把順序反過來」， + **每一步都要驗它是不是純數字** ⚠️ 這支會真的寫 `/tmp` 的戳記檔（那是閘寫死的路徑）。**不要在「已經蓋好戳記正要推東西」 的當下跑它**——它會把那枚戳記洗掉。 @@ -389,7 +393,7 @@ B2（信標那行）／B3（setup 輸出）／B4（閘的訊息）三個畫面 | **A10 人閘警察準度** | 總管 | ✅ 9/9，連跑三次（2026-08-26），A 群誤攔 0 | | **A11 派工單只剩票號** | 總管 | ✅ 19/19（2026-08-27） | | **A12 留言身份欄（兩道門）** | 總管 | ✅ 11/11（2026-08-27） | -| **A16 放行的門真的打得開** | 總管 | ✅ 16/16（2026-08-28，inkstone/ISEP#90） | +| **A16 放行的門真的打得開** | 總管 | ✅ 17/17（2026-08-28，inkstone/ISEP#90） | | **A17 未推警察不誤攔雲端分支** | 總管 | ✅ 10/10（2026-08-28，inkstone/ISEP#90） | | **A18 信標會報雲端接線缺陷** | 總管 | ✅ 14/14（2026-08-28，inkstone/ISEP#90） | | A7 plugin 裝得起來 | 總管 | ✅ | diff --git a/docs/governance/cloud-wiring.md b/docs/governance/cloud-wiring.md index 54b0f9f..138ee24 100644 --- a/docs/governance/cloud-wiring.md +++ b/docs/governance/cloud-wiring.md @@ -102,6 +102,53 @@ stat: cannot read file system information for '%m': No such file or directory ⇒ `case "$NOW$MT" in *[!0-9]*) return 1` 必然命中 ⇒ **在 Linux（＝每一個雲端 session）上，那三支閘的戳記永遠不會被接受。** +### 再往下一層：`-f` 根本不吃格式參數，所以連離開碼都不可靠 + +總管 2026-08-28 自己驗這一格時量到 `exit=0`，而我量到 `exit=1`。 +**兩個都是真的**，而分歧本身就是這個 bug 最後一塊拼圖： + +**GNU 的 `-f` 是 `--file-system`，它是布林旗標、不接格式字串** +⇒ `%m` 不是格式，它被當成**另一個檔名運算元** ⇒ 離開碼取決於 +「當前目錄裡有沒有一個叫 `%m` 的檔」： + +``` +$ cd /tmp/statprobe && touch .mt + +# A. 沒有名為 %m 的檔（一般情況） +$ stat -f %m .mt ; echo "exit=$?" +stat: cannot read file system information for '%m': No such file or directory + File: ".mt" … ← 檔案系統資訊照樣印到 stdout +exit=1 ← `||` **會**跑 ⇒ 正確的秒數接在那堆垃圾後面 + +# B. 剛好有一個叫 %m 的檔 +$ touch '%m' && stat -f %m .mt ; echo "exit=$?" +exit=0 ← `||` **不會**跑 ⇒ 整包連一個數字都沒有 +``` + +（實測環境：`stat (GNU coreutils) 9.4`） + +**兩種情況下閘的結果一模一樣**——`MT` 都不是純數字， +`case "$NOW$MT" in *[!0-9]*) return 1` 都必然命中，戳記都作廢： + +``` +情況 A：非數字 ⇒ return 1 ⇒ 戳記作廢 +情況 B：非數字 ⇒ return 1 ⇒ 戳記作廢 +``` + +🔴 **這一層才是真正該記住的教訓**：舊寫法的 `||` fallback 之所以救不了， +**不是因為它沒跑，而是因為「跑不跑」根本不由這支腳本決定** +——它由「當前目錄裡有沒有一個叫 `%m` 的檔」決定。 +一個**行為取決於 cwd 裡有沒有某個檔名**的判斷式，不管跑不跑都是壞的。 + +⇒ 所以 `lib/mtime.sh` 的修法不是「把順序反過來」而已，是 +**每一步都驗它是不是純數字**：這個 bug 的成因正是「命令失敗了卻還是印了東西」， +**只看離開碼會再被騙一次**。 + +📌 這一格的實害（總管 2026-08-28 原話）：「我今天為了發一則通知， +用了兩種方式蓋 `prod-write-ok` 都無效，一度以為是權限問題。」 +⇒ **閘不會告訴你門是壞的**，所以人會往錯的方向查（權限、classifier、設定）， +而根因在閘自己身上。 + 🔴 **後果**：那三支閘在雲端**等於純擋**。總管照著閘自己印的指示做， 做幾次都打不開，**而閘不會告訴他門是壞的**。 diff --git a/hooks/lib/mtime.sh b/hooks/lib/mtime.sh index 530e283..02a47f2 100644 --- a/hooks/lib/mtime.sh +++ b/hooks/lib/mtime.sh @@ -29,7 +29,23 @@ # 總管照著閘自己印的指示做，做幾次都打不開，而閘不會告訴他門是壞的。 # inkstone/InkStoneCo#99 記的「連續四次蓋不出戳記」就是這個形狀。 # -# 🔴 順序反過來就好，但不能只靠順序：改成先 `-c %Y`（GNU）再 `-f %m`（BSD）， +# ── 再往下一層：`-f` 根本不吃格式參數，所以連離開碼都不可靠 ──────────── +# +# 2026-08-28 兩個人量這一格，一個量到 `exit=0`、一個量到 `exit=1`。**兩個都是真的**， +# 而分歧本身就是最後一塊拼圖：**GNU 的 `-f` 是 `--file-system`，布林旗標、不接格式字串** +# ⇒ `%m` 被當成**另一個檔名運算元** ⇒ 離開碼取決於「cwd 裡有沒有一個叫 `%m` 的檔」： +# +# A. 沒有（一般情況） → exit 1 ⇒ `||` **會**跑 ⇒ 正確的秒數接在垃圾後面 +# B. 剛好有 → exit 0 ⇒ `||` **不會**跑 ⇒ 整包連一個數字都沒有 +# +# 兩種情況下閘的結果一樣：`MT` 都不是純數字，戳記都作廢。（實測 GNU coreutils 9.4） +# +# 🔴 **這才是該記住的教訓**：舊寫法的 `||` fallback 救不了， +# **不是因為它沒跑，而是因為「跑不跑」根本不由這支腳本決定** +# ——它由「cwd 裡有沒有某個檔名」決定。 +# 一個**行為取決於 cwd 裡有沒有某個檔**的判斷式，不管跑不跑都是壞的。 +# +# 🔴 所以修法不是「把順序反過來」而已：改成先 `-c %Y`（GNU）再 `-f %m`（BSD）， # 而且**每一步都驗它是不是純數字**——因為這個 bug 的成因正是 # 「命令失敗了卻還是印了東西出來」，只看離開碼會再被騙一次。 file_mtime() { diff --git a/hooks/tests/gate-ok.test.sh b/hooks/tests/gate-ok.test.sh index 0c5de96..f8ceb7c 100755 --- a/hooks/tests/gate-ok.test.sh +++ b/hooks/tests/gate-ok.test.sh @@ -76,6 +76,12 @@ M=$(file_mtime "$TMP/probe") case "$M" in ''|*[!0-9]*) R=bad ;; *) R=ok ;; esac ok "⑮ file_mtime 回純數字（舊寫法在 Linux 上會回一整段文字）" "$R" ok ok "⑯ 檔案不存在 → 回 0，不是空字串" "$(file_mtime "$TMP/nope")" 0 +# 🔴 ⑰ 守的是這個 bug 的最後一層：舊寫法的行為**取決於 cwd 裡有沒有一個叫 `%m` 的檔** +# （GNU 的 -f 是布林旗標，`%m` 被當成另一個檔名運算元）。有 ⇒ exit 0 ⇒ `||` 連跑都不跑。 +# 一個行為取決於 cwd 有沒有某個檔的判斷式，不管跑不跑都是壞的。 +M2=$( cd "$TMP" && touch '%m' && file_mtime "$TMP/probe" ) +case "$M2" in ''|*[!0-9]*) R2=bad ;; *) R2=ok ;; esac +ok "⑰ cwd 裡有一個叫 %m 的檔 → 仍要回純數字" "$R2" ok echo printf '通過 %s 條，失敗 %s 條\n' "$PASS" "$FAIL" From b7b83bf2434363a78117ec2e20d5907da4609a88 Mon Sep 17 00:00:00 2001 From: claude-code Date: Fri, 28 Aug 2026 00:31:06 +0000 Subject: [PATCH 13/16] =?UTF-8?q?=E4=BD=B5=E9=80=B2=20main=EF=BC=88#97=20p?= =?UTF-8?q?r-verdict=EF=BC=89=EF=BC=8C=E4=B8=A6=E5=9C=A8=E5=90=88=E4=BD=B5?= =?UTF-8?q?=E5=BE=8C=E7=9A=84=E6=A8=B9=E4=B8=8A=E9=87=8D=E6=95=B8=E7=9B=A4?= =?UTF-8?q?=E9=BB=9E=E6=95=B8=E5=AD=97=EF=BC=88inkstone/ISEP#90=EF=BC=89?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 數字全部在合併後的樹上重數，沒有用相加推的： · hooks/*.sh = 53、hooks.json 註冊 = 68 —— 與 main 已宣告的一致，不用動 · scripts/ 頂層 = **39**（git 追蹤的），plugin.json 原本寫 38 ⇒ 改成 39 （本分支新增 scripts/gate-ok 一支） 🔴 這裡不能用 `ls scripts/ | wc -l`：它在這台機器回 40，因為多了一個**沒進版控的 `__pycache__/`**。那個數字會隨「有沒有人跑過 python」而變 ⇒ 用 git 追蹤的數目才穩定。 docs/hooks-inventory.md 標題也順手改：它寫「52 支閘」而自己第 10 行寫「53 個 .sh 檔」 ——同一頁自相矛盾，標題是漏改的那半。 **version 一個字沒動**（0.11.0），由總管統一收斂。 合併後全部重跑（CLAUDE_CODE_CHILD_SESSION 有設與清掉各跑一次，結果相同）： pr-verdict-guard 52/52、countdown-guard 20/20、prod-write-guard 37/37、 gate-ok 17/17、unpushed-police 10/10、isep-presence-beacon 14/14、 main-and-prod-push 10/10＋13/13、stage-before-prod 16/16＋13/13、 sdd-guard 8/8、reply-identity 11/11、dispatch-format 33/33、 search-is-not-proof 31/31、mainline-idle 61/61、factory-idle 33/33、 ticket-api-bypass 24/24、ticket-where-seen 17/17、baton-handback 10/10、 comment-carries-task 22/22、github-contact 14/14、kbdb-api-wall 10/10、 release-tag 8/8、版本一致性 ✅。 --- .claude-plugin/plugin.json | 2 +- docs/hooks-inventory.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.claude-plugin/plugin.json b/.claude-plugin/plugin.json index 9fadbbc..44d1709 100644 --- a/.claude-plugin/plugin.json +++ b/.claude-plugin/plugin.json @@ -1,6 +1,6 @@ { "name": "isep", - "description": "InkStone Environment Plugin —— leo 的 Claude Code 環境唯一真相源：53 支機械閘（68 條註冊，白話盤點見 docs/hooks-inventory.md）、7 支 slash command、2 支 skill、38 支腳本，外加治理規範與標籤真相源。本機與雲端裝同一份，沒有子集。", + "description": "InkStone Environment Plugin —— leo 的 Claude Code 環境唯一真相源：53 支機械閘（68 條註冊，白話盤點見 docs/hooks-inventory.md）、7 支 slash command、2 支 skill、39 支腳本，外加治理規範與標籤真相源。本機與雲端裝同一份，沒有子集。", "version": "0.11.0", "keywords": [ "inkstone", diff --git a/docs/hooks-inventory.md b/docs/hooks-inventory.md index d7f7a86..c997f2c 100644 --- a/docs/hooks-inventory.md +++ b/docs/hooks-inventory.md @@ -1,4 +1,4 @@ -# 52 支閘，白話盤點表 +# 53 支閘，白話盤點表 > 回應 `inkstone/InkStoneCo#40`：「如果加入了，我應該可以白話文看到 hooks 的內容？」 > 這份表就是那個「白話文」——不用點開任何 `.sh` 檔，一行看懂一支閘在管什麼。 From f9327de0681244946f3263059127b44fa7194e28 Mon Sep 17 00:00:00 2001 From: claude-code Date: Fri, 28 Aug 2026 00:38:13 +0000 Subject: [PATCH 14/16] =?UTF-8?q?=E5=AE=9A=E7=89=88=20v0.12.0=EF=BC=88.cla?= =?UTF-8?q?ude-plugin/plugin.json=EF=BC=89?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .claude-plugin/plugin.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.claude-plugin/plugin.json b/.claude-plugin/plugin.json index 44d1709..359ecf8 100644 --- a/.claude-plugin/plugin.json +++ b/.claude-plugin/plugin.json @@ -1,7 +1,7 @@ { "name": "isep", "description": "InkStone Environment Plugin —— leo 的 Claude Code 環境唯一真相源：53 支機械閘（68 條註冊，白話盤點見 docs/hooks-inventory.md）、7 支 slash command、2 支 skill、39 支腳本，外加治理規範與標籤真相源。本機與雲端裝同一份，沒有子集。", - "version": "0.11.0", + "version": "0.12.0", "keywords": [ "inkstone", "guardrails", From 21971ea83e7c0f6df70aeb682f13ac03bfa02cd9 Mon Sep 17 00:00:00 2001 From: Claude Code Date: Fri, 28 Aug 2026 00:30:09 +0000 Subject: [PATCH 15/16] =?UTF-8?q?=E7=8F=BE=E5=9C=A8=E7=9A=84=E4=B8=BB?= =?UTF-8?q?=E7=B7=9A=E6=98=AF=E5=93=AA=E4=B8=80=E5=80=8B=EF=BC=8C=E8=AE=8A?= =?UTF-8?q?=E6=88=90=E4=B8=80=E5=80=8B=E6=9F=A5=E5=BE=97=E5=88=B0=E7=9A=84?= =?UTF-8?q?=E4=BA=8B=E5=AF=A6=EF=BC=88inkstone/ISEP#82=EF=BC=89?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 14 個 open milestone 同時亮著，其中「Mira 現代化」同名活在 5 個 repo， 所以 SOP 說的「那個 active milestone」在現場沒有指涉對象。 - hooks/lib/mainline.py 主線的唯一存放處（一個檔放得下一條），從不打網路 - scripts/mainline show/list/set/clear/refresh/adopt/has - hooks/mainline-focus-guard.sh 派了不在主線上的票 ⇒ 攔一次，問補收還是跳線 - hooks/lib/countdown.py ⏱ 那一行的主線改讀「被標定的」，蓋過「期限最近」的猜測 - hooks/countdown-guard.sh 同一個注入點加第二行 🎯（ISEP#63 那半不動） - 測試 24 條（離線）＋ countdown 原有 20 條仍全綠 --- hooks/countdown-guard.sh | 21 +- hooks/lib/countdown.py | 52 +++- hooks/lib/mainline.py | 248 +++++++++++++++++ hooks/mainline-focus-guard.sh | 176 +++++++++++++ hooks/tests/countdown-guard.test.sh | 11 +- hooks/tests/mainline-focus-guard.test.sh | 202 ++++++++++++++ scripts/mainline | 322 +++++++++++++++++++++++ 7 files changed, 1020 insertions(+), 12 deletions(-) create mode 100644 hooks/lib/mainline.py create mode 100755 hooks/mainline-focus-guard.sh create mode 100755 hooks/tests/mainline-focus-guard.test.sh create mode 100755 scripts/mainline diff --git a/hooks/countdown-guard.sh b/hooks/countdown-guard.sh index e95ec99..0ec76c1 100755 --- a/hooks/countdown-guard.sh +++ b/hooks/countdown-guard.sh @@ -64,12 +64,27 @@ try: except Exception: raise SystemExit(0) # 算不出來就不出聲，不要讓它變成噪音 +# 第二行：現在的主線是哪一個（inkstone/ISEP#82）。 +# 同一個注入點的兩行，來源不同：⏱ 算時間，🎯 讀被標定的主線。 +# 算不出來也一定回一句話（「現在沒有主線」），所以這裡不需要 fallback； +# 真的整支壞掉（import 失敗）才留白——一行注入不該讓整個 session 停下來。 +try: + ml = cd._mainline().line() +except Exception: + ml = "" + ctx = ( - stamp + "\n\n" - "🔴 這一行是 ISEP 的倒數（inkstone/ISEP#63）。**把它原樣放在你這則回覆的最前面**，" + stamp + "\n" + + (ml + "\n" if ml else "") + + "\n" + "🔴 第一行是 ISEP 的倒數（inkstone/ISEP#63）。**把它原樣放在你這則回覆的最前面**，" "數字不要自己重算、也不要改寫措辭——它是機器算的，你算的會漂。\n" "leo 整天上課、一天只看兩眼：沒有這行，他就不知道『這件事還來得及嗎』。\n" - "收工前這一回合若沒有戴上它，Stop 那一半會擋一次要你補。" + "收工前這一回合若沒有戴上它，Stop 那一半會擋一次要你補。\n\n" + "🎯 第二行是**現在的主線**（inkstone/ISEP#82）——leo：「14 個里程碑同時亮著" + "卻不知道該看哪個」。它是你這回合的判準：**手上這件事在不在那條線上**。\n" + "不在，就當場說清楚是『補收』（它本來就該在主線上）還是『跳線』（真的插件事），" + "不要默默做完。主線的名字已經在第一行的倒數裡，戴上倒數＝主線也一起到了 leo 眼前。" ) print(json.dumps({ "hookSpecificOutput": { diff --git a/hooks/lib/countdown.py b/hooks/lib/countdown.py index d86c333..1689c0d 100755 --- a/hooks/lib/countdown.py +++ b/hooks/lib/countdown.py @@ -27,6 +27,13 @@ leo 2026-08-28 07:40：「今天我整天上課……**下午四點左右**希 從快取檔讀，**這支從不打網路**：UserPromptSubmit 走在每一則訊息的關鍵路徑上， 在那裡打網路 ＝ 每一句話都先等一次 HTTP。快取由 SessionStart 那支負責更新 （`scripts/countdown-milestone-refresh.sh`），拿不到就整段不顯示，不編數字。 + +🔴 **來源有兩個，優先序寫死（inkstone/ISEP#82）**： + ① **被標定的主線**（`hooks/lib/mainline.py`，`scripts/mainline set` 寫的）—— 優先 + ② 期限最近的那一個（`milestone-due` 快取，`countdown-milestone-refresh.sh` 寫的） +② 是**猜**出來的（「最近到期的大概就是在做的那個」），而 ISEP#82 的整件事就是 +「那個 active milestone」在 14 個裡沒有指涉對象。⇒ 一旦有人真的標了主線， +就不准再用猜的那個蓋過它。兩個都沒有 ⇒ 整段不顯示。 """ import json import os @@ -137,10 +144,40 @@ def deadline(now: datetime) -> datetime: return d -def milestone() -> "tuple[str, datetime] | None": - """主線 milestone 的期限。快取檔一行：`YYYY-MM-DD|<名稱>`。沒有就沒有。""" +def _mainline(): + """借 `hooks/lib/mainline.py` 讀「被標定的主線」。拿不到就當沒有（fail-open）。 + + 刻意用檔案路徑載入而不是 `import mainline`：本檔自己也是被 + `spec_from_file_location` 載進去的，`sys.path` 裡沒有 `hooks/lib`。 + """ + try: + import importlib.util + p = os.path.join(os.path.dirname(os.path.abspath(__file__)), "mainline.py") + spec = importlib.util.spec_from_file_location("isep_mainline", p) + mod = importlib.util.module_from_spec(spec) + spec.loader.exec_module(mod) + return mod + except Exception: + return None + + +def milestone() -> "tuple[str, datetime | None] | None": + """主線 milestone 的期限。優先讀被標定的主線，其次讀「期限最近」的快取。 + + 快取檔一行：`YYYY-MM-DD|<名稱>`。兩個都沒有就沒有（回 None，整段不顯示）。 + 期限可能是 None（被標定的主線沒設期限）——那時只說名字，不編一個日期。 + """ raw = os.environ.get("ISEP_MILESTONE_DUE", "").strip() name = os.environ.get("ISEP_MILESTONE_NAME", "").strip() + if not raw: + mod = _mainline() + if mod is not None: + try: + seg = mod.countdown_segment() + except Exception: + seg = None + if seg: + return seg if not raw: p = os.path.join(state_dir(), "milestone-due") try: @@ -184,11 +221,14 @@ def line(session_id: str, transcript_path: str) -> str: ms = milestone() if ms: name, due = ms - gap = due - now - if gap.total_seconds() >= 0: - parts.append("主線 %s 剩 %s" % (name, human(gap))) + if due is None: + parts.append("主線 %s（沒設期限）" % name) else: - parts.append("🔴 主線 %s 已逾期 %s" % (name, human(gap))) + gap = due - now + if gap.total_seconds() >= 0: + parts.append("主線 %s 剩 %s" % (name, human(gap))) + else: + parts.append("🔴 主線 %s 已逾期 %s" % (name, human(gap))) return "｜".join(parts) diff --git a/hooks/lib/mainline.py b/hooks/lib/mainline.py new file mode 100644 index 0000000..7db5e9a --- /dev/null +++ b/hooks/lib/mainline.py @@ -0,0 +1,248 @@ +#!/usr/bin/env python3 +"""hooks/lib/mainline.py —— 「現在的主線是哪一個」這件事的**唯一存放處**。 + +這是 helper，不是閘（inkstone/ISEP#40 S7：`lib/` 底下的東西不算一支手寫的閘）。 +三個呼叫者共用它，所以「主線是誰」的答案只有一份： + · `scripts/mainline` —— 人問「現在的主線是哪一個」 + · `hooks/lib/countdown.py` —— 每一則回覆眼前那一行的第二段 + · `hooks/mainline-focus-guard.sh` —— 派了一張不屬於主線的票就攔一次 + +── 為什麼要有這個檔（inkstone/ISEP#82）────────────────────────────── +2026-08-27 實查：`GET /repos/inkstone/*/milestones?state=open` 回 **14 個**， +其中「Mira 現代化」這個名字同時活在 5 個 repo，還有 5 個已經逾期。 +SOP 說「有 active milestone 時只做該 milestone 的事」——但**「那個」在現場沒有指涉對象**。 + +leo 的原話是「**14 個里程碑同時亮著卻不知道該看哪個**」。 +⇒ 要解的不是「milestone 太多」（跨 repo 同名是既有做法，v0.6.0 §4／SOP S7-4）， + 要解的是「**這一刻我在做哪一條**」沒有答案。 + +⇒ 所以這個檔的形狀就是答案的形狀：**一個檔，放得下一條**。 + 沒有清單、沒有優先序、沒有「前三名」——被覆蓋掉的那條就不再是主線。 + 問「現在的主線是哪一個」永遠只會拿到 0 或 1 個答案，不會拿到 14 個。 + +── 主線是一個「名字」，錨在一個具體的 milestone 上 ────────────────── +Gitea 的 milestone 不能跨 repo，而同一條線常常同時開在 5 個 repo（票上實查）。 +所以： + · **錨**（anchor）＝ `owner/repo#`：期限、進度、目標宣告都讀它 + · **成員判定**＝ 票所屬 milestone 的**標題**與主線標題相同（不分 repo） +⇒ 「同名跨 repo」照舊能用，而「現在在做哪一條」仍然只有一個答案。 + +── 這支從不打網路 ──────────────────────────────────────────────── +它被 `UserPromptSubmit` 用（每一則訊息的關鍵路徑）。在那裡打 HTTP ＝ 每講一句話 +都先等一次網路。網路那一半全部在 `scripts/mainline`（set／refresh／adopt）， +本支只讀寫 state 檔。讀不到 ⇒ 回「沒有主線」，**不編一條出來**。 +""" +import json +import os +from datetime import datetime, timedelta, timezone + +TAIPEI = timezone(timedelta(hours=8)) +MARKER = "🎯" +STATE_NAME = "mainline.json" +JUMP_LOG = "mainline-jumps.jsonl" + + +def state_dir() -> str: + """與倒數共用同一個狀態目錄——兩行字是同一個注入點的兩半，狀態不該分家。""" + d = os.environ.get("ISEP_COUNTDOWN_STATE_DIR", "").strip() + if not d: + d = os.path.join(os.path.expanduser("~"), ".claude", "isep-countdown") + try: + os.makedirs(d, exist_ok=True) + except Exception: + pass + return d + + +def path() -> str: + return os.path.join(state_dir(), STATE_NAME) + + +def load(): + """讀主線。沒有／壞掉 ⇒ None（＝現在沒有主線），**不是例外**。 + + 「沒有主線」是一個正常狀態，不是故障：ISEP#82 驗收第 4 條寫死了 + 「沒有任何主線時不能整組壞掉」。所以這支從不 raise。 + """ + try: + with open(path()) as f: + d = json.load(f) + except Exception: + return None + if not isinstance(d, dict) or not d.get("title"): + return None + return d + + +def save(d) -> bool: + try: + with open(path(), "w") as f: + json.dump(d, f, ensure_ascii=False, indent=2) + return True + except Exception: + return False + + +def clear() -> bool: + try: + os.remove(path()) + return True + except FileNotFoundError: + return True + except Exception: + return False + + +def parse_ts(raw): + if not isinstance(raw, str) or not raw.strip(): + return None + s = raw.strip().replace("Z", "+00:00") + try: + dt = datetime.fromisoformat(s) + except Exception: + try: + dt = datetime.fromisoformat(s + "T23:59:59+08:00") + except Exception: + return None + return dt if dt.tzinfo else dt.replace(tzinfo=timezone.utc) + + +def due_of(ms): + return parse_ts((ms or {}).get("due_on") or "") + + +def norm(s) -> str: + """比對標題用。只做「看不見的差異」的正規化——大小寫與空白。 + + 🔴 刻意不做同義詞、不做模糊比對：主線是**被指定的**，不是被猜出來的。 + 猜錯的方向是「把不屬於主線的票放行」，那正是這張票要擋的事。 + """ + return "".join((s or "").split()).lower() + + +def ref_of(ms) -> str: + if not ms: + return "" + return "%s/%s#%s" % (ms.get("owner") or "?", ms.get("repo") or "?", ms.get("id") or "?") + + +def members(ms): + return set(ms.get("members") or []) if ms else set() + + +def belongs(ticket_ref, ms, ticket_milestone_title=None): + """這張票屬不屬於主線？回 True／False／None。 + + None ＝ **不知道**（快取裡沒有這張票，而呼叫端也沒查到它的 milestone）。 + 🔴 「不知道」不等於「不屬於」——這條分界就是誤攔與否的分水嶺。 + 呼叫的閘拿到 None 時該放行（本 repo 心法第 2 條：誤攔比漏擋更該修）。 + """ + if not ms: + return True # 沒有主線 ⇒ 沒有「不屬於主線」這回事 + ref = (ticket_ref or "").strip() + if ref and ref in members(ms): + return True + if ticket_milestone_title is not None: + return norm(ticket_milestone_title) == norm(ms.get("title")) + return None + + +def fixture_titles(): + """測試用：把「去 Gitea 問這張票掛在哪」換成一份現成的答案。 + + `ISEP_MAINLINE_FIXTURE` 指向一個 JSON：`{"owner/repo#N": "milestone 標題"}`。 + 設了它，閘就不打網路，直接拿這份當事實。 + + 🔴 這與 `ISEP_COUNTDOWN_NOW`（把時鐘定住）是同一個性質的東西： + **把外界定住，讓閘能離線、可重複地被測**。正式環境不會設它； + 沒設 ⇒ 這支回 None，判決完全走真實的 Gitea。 + """ + p = os.environ.get("ISEP_MAINLINE_FIXTURE", "").strip() + if not p: + return None + try: + with open(p) as f: + d = json.load(f) + return d if isinstance(d, dict) else None + except Exception: + return None + + +def record_jump(ticket_ref, ms): + """把「派了一張不在主線上的票」記一筆。**只留痕，不判罪。** + + 跳線本身常常是對的（補收、真的插件事）。留痕是為了讓「這條線今天被岔開幾次」 + 事後數得出來——沒有紀錄的話，跳線與專注在機器上長得一模一樣。 + """ + try: + with open(os.path.join(state_dir(), JUMP_LOG), "a") as f: + f.write(json.dumps({ + "at": datetime.now(timezone.utc).isoformat(), + "ticket": ticket_ref, + "mainline": ref_of(ms), + "mainline_title": (ms or {}).get("title"), + }, ensure_ascii=False) + "\n") + except Exception: + pass + + +def _human(delta: timedelta) -> str: + days = int(abs(delta).total_seconds()) // 86400 + if days >= 1: + return "%d 天" % days + hours = int(abs(delta).total_seconds()) // 3600 + return "%d 小時" % hours + + +def due_phrase(ms, now=None) -> str: + """期限那一段。沒設期限就說沒設——不准編一個日期出來。""" + dt = due_of(ms) + if not dt: + return "沒設期限" + now = now or datetime.now(timezone.utc) + day = dt.astimezone(TAIPEI).strftime("%Y-%m-%d") + gap = dt - now + if gap.total_seconds() >= 0: + return "%s（剩 %s）" % (day, _human(gap)) + return "%s（🔴 已逾期 %s）" % (day, _human(gap)) + + +def progress(ms): + o = int((ms or {}).get("open_issues") or 0) + c = int((ms or {}).get("closed_issues") or 0) + total = o + c + pct = int(round(c * 100.0 / total)) if total else 0 + return c, total, pct + + +def line(now=None) -> str: + """注入用的那一行（倒數那一行的第二行）。**沒有主線時也要回一句話。** + + ISEP#82 驗收第 4 條：沒有主線不能整組壞掉，要講得出「現在沒有主線」。 + ⇒ 這支永遠回一個非空字串，永遠不 raise。 + """ + ms = load() + if not ms: + return ("%s 現在沒有主線——沒有任何 milestone 被標成「現在在做的那一條」。" + "要標：`scripts/mainline set `" + "（先看有哪些：`scripts/mainline list`）" % MARKER) + c, total, pct = progress(ms) + head = "%s 主線：%s「%s」｜%s｜%d／%d 張已關（%d%%）" % ( + MARKER, ref_of(ms), ms.get("title") or "?", due_phrase(ms, now), c, total, pct) + goal = (ms.get("description") or "").strip().splitlines() + if goal: + head += "\n 目標：" + goal[0].strip()[:120] + return head + + +def countdown_segment(now=None): + """給 `countdown.py` 用的 (名稱, 期限) ——讓 ⏱ 那一行說得出主線是誰。 + + 為什麼要塞進 ⏱ 那一行：⏱ 那一行**已經有一支 Stop 閘在查它有沒有被戴上** + （inkstone/ISEP#63）。主線的名字掛在那一行上，就跟著那道已經驗過的閘一起 + 到 leo 眼前——不必為了同一件事再立第二道會擋人的閘。 + """ + ms = load() + if not ms: + return None + return (ms.get("title") or "主線", due_of(ms)) diff --git a/hooks/mainline-focus-guard.sh b/hooks/mainline-focus-guard.sh new file mode 100755 index 0000000..56b6e87 --- /dev/null +++ b/hooks/mainline-focus-guard.sh @@ -0,0 +1,176 @@ +#!/usr/bin/env bash +# mainline-focus-guard.sh — 派了一張不在主線上的票，就當場問清楚（inkstone/ISEP#82） +# +# ── 補的是哪一格 ──────────────────────────────────────────────── +# leo 2026-08-27：「**14 個里程碑同時亮著卻不知道該看哪個**」「今天……分心」。 +# SOP 說「有 active milestone 時只做該 milestone 的事」——但現場 14 個 open milestone， +# 「那個」沒有指涉對象 ⇒ **那條規則在機器上等於不存在**（同款第 N 次： +# history-first／KBDB-first／stage-first 全是「規則被讀到了，卻沒有機制驗證有沒有照做」）。 +# +# ISEP#82 把「現在在做哪一條」變成一個查得到的事實（`scripts/mainline`）， +# 本閘是那個事實的**用處**：派工的票號不在主線上，就當場說是補收還是跳線， +# 不要默默做完——分心不是「做了壞事」，是「岔開了而沒有人注意到」。 +# +# ── 🔴 這不是關鍵字黑名單（leo 2026-08-17 已證偽那條路）──────────────── +# 「自然語言的變體是無限的，blacklist 永遠追不完……封路哲學之所以有效， +# 是因為它封的是**動作**——動作有限且可枚舉，文字不是。」 +# 當日實測：文字層的閘 8 次誤攔、0 次正確攔截。 +# +# 本閘從頭到尾**不讀派工單的任何一個字義**。它只做兩個查表： +# ① 派工單的【工單】欄位是哪一張票（`hooks/lib/dispatch_parse.py` 解結構，不判語意） +# ② 那張票所屬的 milestone 標題，等不等於被標定的主線標題（字串相等，不是模糊比對） +# 措辭怎麼寫都不影響判決；改的只有「這張票掛在哪」這個 Gitea 上的事實。 +# +# ── 誤攔的出口全部先關掉（誤攔比漏擋更該修）────────────────────────── +# · **沒有主線 ⇒ 一律放行**（ISEP#82 驗收第 4 條：沒有主線不能整組壞掉） +# · 派工單裡沒有票號 ⇒ 放行（那是 no-ticket-no-dispatch.sh 的地盤， +# 兩支閘同時開口，收工方會拿到兩份打架的教學） +# · 多張票只要**有一張**在主線上 ⇒ 放行（那次派工有在推主線） +# · 快取裡查不到，就**打一次網路去問那張票**；問不到 ⇒ 放行 +# （🔴「讀不到」不等於「不屬於」——把這兩件事講成同一句是最貴的錯） +# · 子 session 不查：主線是**派工者**手上的判準（CLAUDE.md：「critical path 是 +# 你用來盯 subagent 的判準」），不是收工方要背的東西 +# · **同一張票只擋一次**：擋完就落一個戳記，重送即放行 ⇒ 不會鬼打牆 +# · 內部出錯一律放行——這是節拍器不是安全閘，它壞掉不該讓派工停擺 +set -uo pipefail + +INPUT="$(cat)" +HERE="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)" + +# 子 session 不查（見上） +[ "${CLAUDE_CODE_CHILD_SESSION:-}" = "1" ] && exit 0 + +VERDICT=$(printf '%s' "$INPUT" | ISEP_HOOKS_DIR="$HERE" python3 -c ' +import importlib.machinery, importlib.util, json, os, sys, urllib.request + +HERE = os.environ["ISEP_HOOKS_DIR"] + +def load(name, path): + ldr = importlib.machinery.SourceFileLoader(name, path) + spec = importlib.util.spec_from_file_location(name, path, loader=ldr) + mod = importlib.util.module_from_spec(spec) + ldr.exec_module(mod) + return mod + +def bail(why): + print("SKIP:" + why); raise SystemExit + +try: + d = json.load(sys.stdin) +except Exception: + bail("bad-json") + +prompt = (d.get("tool_input") or {}).get("prompt") or "" +if not prompt.strip(): + bail("no-prompt") + +try: + dp = load("isep_dispatch_parse", os.path.join(HERE, "lib", "dispatch_parse.py")) + ML = load("isep_mainline", os.path.join(HERE, "lib", "mainline.py")) +except Exception: + bail("lib-unavailable") + +try: + refs = dp.parse_dispatch(prompt).get("refs") or [] +except Exception: + bail("parse-failed") +if not refs: + bail("no-ticket") # no-ticket-no-dispatch 的地盤 + +ms = ML.load() +if not ms: + bail("no-mainline") # 沒有主線 ⇒ 沒有「不屬於主線」這回事 + +wanted = ["%s/%s#%d" % (r["owner"], r["repo"], r["num"]) for r in refs] + +# ① 離線先問快取：有一張在主線上就放行 +unknown = [] +for ref in wanted: + v = ML.belongs(ref, ms) + if v is True: + print("SKIP:on-mainline"); raise SystemExit + if v is None: + unknown.append(ref) + +# ② 快取查不到的，去問那張票掛在哪。問不到 ⇒ 放行。 +if unknown: + fx = ML.fixture_titles() + if fx is not None: # 測試把外界定住（見 mainline.fixture_titles） + learned = [r for r in unknown + if ML.norm(fx.get(r, "")) == ML.norm(ms.get("title"))] + if learned: + print("SKIP:on-mainline-fixture"); raise SystemExit + if not any(r in fx for r in unknown): + bail("unreachable") # fixture 沒收錄 ⇒ 等同問不到 + else: + try: + T = load("isep_ticket", os.path.join(HERE, "..", "scripts", "ticket")) + tok = T.token() + host = T.HOST + # 🔴 BaseException 不是筆誤：`scripts/ticket` 拿不到憑證時是 sys.exit（SystemExit）， + # 那不是 Exception 的子類。只接 Exception 的話，這支會整個死掉而不是放行。 + except BaseException: + bail("no-token") # 讀不到 ≠ 不屬於 + reached = False + learned = [] + for ref in unknown: + try: + owner, rest = ref.split("/", 1) + repo, num = rest.split("#", 1) + req = urllib.request.Request( + "%s/api/v1/repos/%s/%s/issues/%s" % (host, owner, repo, num), + headers={"Authorization": "token %s" % tok}) + it = json.load(urllib.request.urlopen(req, timeout=6)) + reached = True + except Exception: + continue + title = ((it or {}).get("milestone") or {}).get("title") or "" + if ML.norm(title) == ML.norm(ms.get("title")): + learned.append(ref) + if learned: + ms["members"] = sorted(set(ms.get("members") or []) | set(learned)) + ML.save(ms) + print("SKIP:on-mainline-fresh"); raise SystemExit + if not reached: + bail("unreachable") # 一張都問不到 ⇒ 放行 + +# ③ 確定都不在主線上 —— 同一組票只擋一次 +import hashlib +key = hashlib.sha1(("|".join(sorted(wanted)) + "@" + ML.ref_of(ms)).encode()).hexdigest()[:16] +stamp = os.path.join(ML.state_dir(), "jump-ok-" + key) +if os.path.exists(stamp): + print("SKIP:already-asked"); raise SystemExit +try: + open(stamp, "w").close() +except Exception: + pass +ML.record_jump(",".join(wanted), ms) +print("BLOCK:%s\t%s\t%s" % (",".join(wanted), ML.ref_of(ms), ms.get("title") or "?")) +' 2>/dev/null || echo "SKIP:crash") + +case "$VERDICT" in + BLOCK:*) + PAYLOAD="${VERDICT#BLOCK:}" + TICKETS=$(printf '%s' "$PAYLOAD" | cut -f1) + MREF=$(printf '%s' "$PAYLOAD" | cut -f2) + MTITLE=$(printf '%s' "$PAYLOAD" | cut -f3) + FIRST=$(printf '%s' "$TICKETS" | cut -d, -f1) + { + printf '🎯 這張票不在主線上（inkstone/ISEP#82）\n\n' + printf ' 現在的主線：%s「%s」\n' "$MREF" "$MTITLE" + printf ' 這次要派的：%s\n\n' "$TICKETS" + printf '**先說是哪一種，再繼續**——兩種都可能是對的，錯的是默默做完：\n\n' + printf ' ① 補收 —— 它本來就該在主線上，只是沒掛上去\n' + printf ' `scripts/mainline adopt %s`　然後重送\n\n' "$FIRST" + printf ' ② 跳線 —— 真的是插件事（leo 臨時交辦、擋路的地雷…）\n' + printf ' 直接重送即可（**同一張票只擋一次**），並在回覆講一句為什麼現在要岔開主線\n\n' + printf '為什麼要問：leo 2026-08-27「今天……分心」。分心的前提是有一條主線，\n' + printf '而分心本身不是做了壞事，是**岔開了而沒有人注意到**。這一問就是那個「注意到」。\n\n' + printf '想確認主線是誰：`scripts/mainline`（唯一答案）。\n' + } >&2 + exit 2 + ;; + *) + exit 0 + ;; +esac diff --git a/hooks/tests/countdown-guard.test.sh b/hooks/tests/countdown-guard.test.sh index d1c72e8..2228349 100755 --- a/hooks/tests/countdown-guard.test.sh +++ b/hooks/tests/countdown-guard.test.sh @@ -145,12 +145,17 @@ case "$CTX" in esac # milestone：沒有快取就整段不出現（不准編一個日期出來） -case "$CTX" in - *"主線"*) no "⑨ 沒有 milestone 快取 ⇒ 那一段不出現" "實得：$CTX" ;; +# 🔴 只比對**第一行**（那條 ⏱ 倒數本身）。inkstone/ISEP#82 之後，同一個注入點還帶著 +# 第二行「🎯 主線……」與一段說明，那段文字裡本來就會出現「主線」兩個字 +# ——拿整段去比對會把說明當成數字，變成一條**測不到重點的假紅**。 +# 這一格要驗的一直都是「⏱ 那一行有沒有多長出一段編出來的期限」。 +STAMP_LINE_ONLY=$(printf '%s\n' "$CTX" | head -1) +case "$STAMP_LINE_ONLY" in + *"主線"*) no "⑨ 沒有 milestone 快取 ⇒ 那一段不出現" "實得：$STAMP_LINE_ONLY" ;; *) ok "⑨ 沒有 milestone 快取 ⇒ 那一段不出現（不編數字）" ;; esac printf '2026-08-30|Sprint 8-28\n' > "$ISEP_COUNTDOWN_STATE_DIR/milestone-due" -CTX=$(inject s-ms "$TMP/a5.jsonl" "$T0") +CTX=$(printf '%s\n' "$(inject s-ms "$TMP/a5.jsonl" "$T0")" | head -1) case "$CTX" in *"主線 Sprint 8-28 剩"*) ok "⑩ 有 milestone 快取 ⇒ 期限那一段出現" ;; *) no "⑩ 有 milestone 快取 ⇒ 期限那一段出現" "實得：$CTX" ;; diff --git a/hooks/tests/mainline-focus-guard.test.sh b/hooks/tests/mainline-focus-guard.test.sh new file mode 100755 index 0000000..d14388e --- /dev/null +++ b/hooks/tests/mainline-focus-guard.test.sh @@ -0,0 +1,202 @@ +#!/usr/bin/env bash +# 主線那一條線的迴歸測試（inkstone/ISEP#82） +# +# 票上四條驗收，這裡一條一群： +# A 「現在的主線是哪一個」→ 一個指令答得出來，而且答案唯一 +# B 標了主線之後開新回合 → 目標宣告自己出現（不用人去翻） +# C 派一張不屬於主線的票 → 攔一次，並問是補收還是跳線 +# D 沒有任何主線 → 不能整組壞掉，要講得出「現在沒有主線」 +# E 不該擋的（誤攔比漏擋更該修） +# +# 用法：hooks/tests/mainline-focus-guard.test.sh +# 🔴 全程離線：狀態走 ISEP_COUNTDOWN_STATE_DIR、時鐘走 ISEP_COUNTDOWN_NOW、 +# 「那張票掛在哪」走 ISEP_MAINLINE_FIXTURE，並把 TICKET_HOST 指到一個 +# 連不上的位址——**任何一條真的走到網路，就會在那裡當場失敗，不會靜靜地變成假綠**。 +set -u +ROOT="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)" +GUARD="$ROOT/mainline-focus-guard.sh" +COUNTDOWN="$ROOT/countdown-guard.sh" +MAINLINE="$ROOT/../scripts/mainline" + +TMP=$(mktemp -d) +trap 'rm -rf "$TMP"' EXIT +export ISEP_COUNTDOWN_STATE_DIR="$TMP/state" +export TICKET_HOST="http://127.0.0.1:9" # 連不上：走到網路就會馬上失敗 +mkdir -p "$ISEP_COUNTDOWN_STATE_DIR" +unset ISEP_MAINLINE_FIXTURE + +PASS=0; FAIL=0 +ok(){ printf ' ✅ %s\n' "$1"; PASS=$((PASS+1)); } +no(){ printf ' ❌ %s —— %s\n' "$1" "$2"; FAIL=$((FAIL+1)); } + +T0=$(python3 -c 'import datetime as d;print(int(d.datetime(2026,8,28,0,0,tzinfo=d.timezone.utc).timestamp()))') + +# set_mainline <標題> <成員 ref...> —— 直接寫 state（離線；`mainline set` 那半要網路） +set_mainline(){ + python3 - "$ISEP_COUNTDOWN_STATE_DIR/mainline.json" "$@" <<'PY' +import json, sys +path, title = sys.argv[1], sys.argv[2] +json.dump({"ref": "inkstone/ISEP#57", "owner": "inkstone", "repo": "ISEP", "id": 57, + "title": title, "description": "把 SOP 變成閘：規則要長在機器上，不是長在誰的記性上。", + "due_on": "2026-08-31T15:59:59+08:00", + "open_issues": 12, "closed_issues": 1, + "members": list(sys.argv[3:]), "set_at": "2026-08-28 08:00"}, + open(path, "w"), ensure_ascii=False) +PY +} +clear_mainline(){ rm -f "$ISEP_COUNTDOWN_STATE_DIR/mainline.json"; } + +# dispatch <派工單內文> → "exit|訊息" +dispatch(){ + out=$(python3 -c ' +import json,sys; print(json.dumps({"tool_input":{"prompt":sys.argv[1]},"session_id":"t"}))' "$1" \ + | CLAUDE_CODE_CHILD_SESSION= bash "$GUARD" 2>&1); rc=$? + printf '%s|%s' "$rc" "$(printf '%s' "$out" | tr '\n' ' ')" +} + +# inject → UserPromptSubmit 注入的內容 +inject(){ + printf '{"hook_event_name":"UserPromptSubmit","session_id":"s","transcript_path":"%s"}' "$TMP/none.jsonl" \ + | ISEP_COUNTDOWN_NOW="$1" bash "$COUNTDOWN" 2>/dev/null \ + | python3 -c 'import json,sys +try: print(json.load(sys.stdin)["hookSpecificOutput"]["additionalContext"]) +except Exception: print("")' +} + +echo "── A 群：「現在的主線是哪一個」一個指令答得出來，答案唯一（驗收 1）──" + +clear_mainline +OUT=$(python3 "$MAINLINE" 2>&1); RC=$? +[ "$RC" = 0 ] && ok "① 沒標過主線 ⇒ 指令仍然回答得出來（exit 0，不是壞掉）" \ + || no "① 沒標過主線 ⇒ exit 0" "實得 exit=$RC" +case "$OUT" in + *"現在沒有主線"*) ok "② 沒標過主線 ⇒ 答案是「現在沒有主線」（驗收 4）" ;; + *) no "② 沒標過 ⇒ 說「現在沒有主線」" "實得：$OUT" ;; +esac + +set_mainline "SOP 變成閘" "inkstone/ISEP#82" "inkstone/ISEP#57" +OUT=$(python3 "$MAINLINE" 2>&1) +N=$(printf '%s\n' "$OUT" | grep -c "現在的主線") +[ "$N" = 1 ] && ok "③ 標了之後 ⇒ 只有一個答案（「現在的主線」出現 1 次，不是 14 個）" \ + || no "③ 答案唯一" "「現在的主線」出現 $N 次" +case "$OUT" in + *"SOP 變成閘"*) ok "④ 答案指名道姓（標題印出來了）" ;; + *) no "④ 答案指名道姓" "實得：$OUT" ;; +esac + +set_mainline "換一條線" "inkstone/ISEP#82" +# 🔴 只看標題那一行：描述欄裡本來就會提到舊標題（它是同一份測資）， +# 拿整份輸出去比對會**因為描述而誤判**——那不是「舊的還是主線」。 +OUT=$(python3 "$MAINLINE" 2>&1 | head -1) +case "$OUT" in + *"SOP 變成閘"*) no "⑤ 換標一條 ⇒ 舊的不再是主線" "舊標題還在：$OUT" ;; + *"換一條線"*) ok "⑤ 換標一條 ⇒ 舊的當場不再是主線（一個檔放得下一條）" ;; + *) no "⑤ 換標一條" "實得：$OUT" ;; +esac + +echo "── B 群：標了之後開新回合，目標宣告自己出現（驗收 2）──────────" + +set_mainline "SOP 變成閘" "inkstone/ISEP#82" +CTX=$(inject "$T0") +case "$CTX" in + *"🎯 主線："*) ok "⑥ 什麼都沒交代 ⇒ 注入裡有 🎯 主線那一行" ;; + *) no "⑥ 注入裡有 🎯 主線那一行" "實得：$CTX" ;; +esac +case "$CTX" in + *"SOP 變成閘"*) ok "⑦ 注入裡有主線的名字" ;; + *) no "⑦ 注入裡有主線的名字" "實得：$CTX" ;; +esac +case "$CTX" in + *"目標：把 SOP 變成閘"*) ok "⑧ 注入裡有**目標宣告**（milestone 的描述），不用人去翻" ;; + *) no "⑧ 注入裡有目標宣告" "實得：$CTX" ;; +esac +# ⏱ 那一行是**已經有 Stop 閘在查**的那一行（ISEP#63）。主線的名字掛在它上面， +# 就跟著那道驗過的閘一起到 leo 眼前——不必為了同一件事再立第二道會擋人的閘。 +FIRST=$(printf '%s\n' "$CTX" | head -1) +case "$FIRST" in + *"⏱"*"主線 SOP 變成閘"*) ok "⑨ 被查核的那一行（⏱）也帶著主線名字 ⇒ 主線會到 leo 眼前" ;; + *) no "⑨ ⏱ 那一行帶主線名字" "實得：$FIRST" ;; +esac +# 被標定的主線要蓋過「期限最近的那個」快取——後者是猜的，前者是被指定的 +printf '2026-08-29|某個期限更近的\n' > "$ISEP_COUNTDOWN_STATE_DIR/milestone-due" +FIRST=$(inject "$T0" | head -1) +case "$FIRST" in + *"主線 SOP 變成閘"*) ok "⑩ 標定的主線蓋過「期限最近」的猜測（不准用猜的蓋過指定的）" ;; + *) no "⑩ 標定的主線優先" "實得：$FIRST" ;; +esac +rm -f "$ISEP_COUNTDOWN_STATE_DIR/milestone-due" + +clear_mainline +CTX=$(inject "$T0") +case "$CTX" in + *"現在沒有主線"*) ok "⑪ 沒有主線 ⇒ 注入照樣講得出「現在沒有主線」（驗收 4，不編一條）" ;; + *) no "⑪ 沒有主線 ⇒ 注入講「現在沒有主線」" "實得：$CTX" ;; +esac + +echo "── C 群：派了不在主線上的票 ⇒ 攔一次並問清楚（驗收 3）──────────" + +set_mainline "SOP 變成閘" "inkstone/ISEP#82" "inkstone/ISEP#57" +printf '{"inkstone/Arcrun#50":"AI 問得到內文"}\n' > "$TMP/fx.json" +export ISEP_MAINLINE_FIXTURE="$TMP/fx.json" + +R=$(dispatch '【工單】inkstone/ISEP#82') +[ "${R%%|*}" = 0 ] && ok "⑫ 派主線上的票 ⇒ 放行" || no "⑫ 派主線上的票 ⇒ 放行" "實得 exit=${R%%|*}" + +R=$(dispatch '【工單】inkstone/Arcrun#50') +[ "${R%%|*}" = 2 ] && ok "⑬ 派不在主線上的票 ⇒ 擋" || no "⑬ 派不在主線上的票 ⇒ 擋" "實得 exit=${R%%|*}" +case "${R#*|}" in + *"補收"*"跳線"*) ok "⑭ 擋下時問的是「補收還是跳線」，兩條路都給了指令" ;; + *) no "⑭ 訊息問補收/跳線" "實得：${R#*|}" ;; +esac +case "${R#*|}" in + *"SOP 變成閘"*) ok "⑮ 擋下時說得出現在的主線是誰（不是只說「你錯了」）" ;; + *) no "⑮ 訊息說出主線是誰" "實得：${R#*|}" ;; +esac + +R=$(dispatch '【工單】inkstone/Arcrun#50') +[ "${R%%|*}" = 0 ] && ok "⑯ 同一張票重送 ⇒ 放行（至多擋一次，不鬼打牆）" \ + || no "⑯ 重送 ⇒ 放行" "實得 exit=${R%%|*}" + +J=$(wc -l < "$ISEP_COUNTDOWN_STATE_DIR/mainline-jumps.jsonl" 2>/dev/null || echo 0) +[ "$J" -ge 1 ] && ok "⑰ 跳線留痕（mainline-jumps.jsonl 記了一筆）——不留痕的話跳線與專注長得一樣" \ + || no "⑰ 跳線留痕" "jumps 檔有 $J 行" + +R=$(dispatch '【工單】inkstone/Arcrun#50 +【工單】inkstone/ISEP#82') +[ "${R%%|*}" = 0 ] && ok "⑱ 多張票只要有一張在主線上 ⇒ 放行（那次派工有在推主線）" \ + || no "⑱ 多張票有一張在主線 ⇒ 放行" "實得 exit=${R%%|*}" + +echo "── D／E 群：不該擋（誤攔比漏擋更該修）──────────────────────────" + +clear_mainline +R=$(dispatch '【工單】inkstone/Arcrun#50') +[ "${R%%|*}" = 0 ] && ok "⑲ 沒有主線 ⇒ 一律放行（驗收 4：不能整組壞掉）" \ + || no "⑲ 沒有主線 ⇒ 放行" "實得 exit=${R%%|*}" + +set_mainline "SOP 變成閘" "inkstone/ISEP#82" +R=$(dispatch '幫我看一下這個 repo 的狀況') +[ "${R%%|*}" = 0 ] && ok "⑳ 派工單裡沒有票號 ⇒ 放行（那是 no-ticket-no-dispatch 的地盤）" \ + || no "⑳ 沒有票號 ⇒ 放行" "實得 exit=${R%%|*}" + +out=$(python3 -c ' +import json;print(json.dumps({"tool_input":{"prompt":"【工單】inkstone/Arcrun#50"},"session_id":"t"}))' \ + | CLAUDE_CODE_CHILD_SESSION=1 bash "$GUARD" 2>&1); rc=$? +[ "$rc" = 0 ] && ok "㉑ 子 session ⇒ 放行（主線是派工者手上的判準，不是收工方要背的）" \ + || no "㉑ 子 session ⇒ 放行" "實得 exit=$rc" + +unset ISEP_MAINLINE_FIXTURE +R=$(dispatch '【工單】inkstone/mira#999') +[ "${R%%|*}" = 0 ] && ok "㉒ 問不到那張票掛在哪（沒 fixture、網路也不通）⇒ 放行：讀不到 ≠ 不屬於" \ + || no "㉒ 問不到 ⇒ 放行" "實得 exit=${R%%|*}" + +printf 'not json {{{\n' > "$ISEP_COUNTDOWN_STATE_DIR/mainline.json" +R=$(dispatch '【工單】inkstone/Arcrun#50') +[ "${R%%|*}" = 0 ] && ok "㉓ state 檔壞掉 ⇒ 放行（節拍器壞掉不該讓派工停擺）" \ + || no "㉓ state 壞掉 ⇒ 放行" "實得 exit=${R%%|*}" +OUT=$(python3 "$MAINLINE" 2>&1); RC=$? +[ "$RC" = 0 ] && ok "㉔ state 檔壞掉 ⇒ 指令仍然回答得出來（當成「現在沒有主線」）" \ + || no "㉔ state 壞掉 ⇒ 指令不崩" "實得 exit=$RC：$OUT" + +echo +echo "結果：通過 $PASS 條，失敗 $FAIL 條" +[ "$FAIL" -eq 0 ] || exit 1 diff --git a/scripts/mainline b/scripts/mainline new file mode 100755 index 0000000..b228437 --- /dev/null +++ b/scripts/mainline @@ -0,0 +1,322 @@ +#!/usr/bin/env python3 +"""mainline — 「現在的主線是哪一個」這個問題的**唯一指令**（inkstone/ISEP#82）。 + +leo 2026-08-27：「**14 個里程碑同時亮著卻不知道該看哪個**」。 +當天實查 `GET /repos/inkstone/*/milestones?state=open` 回 14 個，其中「Mira 現代化」 +這個名字同時活在 5 個 repo，另有 5 個已經逾期。 +⇒ SOP 說的「**那個** active milestone」在現場根本沒有指涉對象—— + 要注入不知道注哪一個，要擋跳線也不知道拿哪一個當基準。 + +這支不解「milestone 太多」（跨 repo 同名是既有做法，不動它）， +它解的是「**這一刻我在做哪一條**」沒有答案： + + mainline 現在的主線是哪一個（＝ show，唯一答案，離線） + mainline list 有哪些 open milestone 可以選（打網路） + mainline set 把某一個 milestone 標成主線（打網路，寫進 state） + mainline clear 現在沒有主線（例：一條線收掉了，下一條還沒開始） + mainline refresh [--members] 更新進度／期限（SessionStart 跑一次，不輪詢） + mainline adopt 「補收」：把一張票掛進主線（打網路） + mainline has 這張票在不在主線上（exit 0 ＝在，1 ＝不在） + +🔴 **`` 的 id 是 milestone 的 id，不是 issue 的號碼。** + 兩者在 Gitea 是兩套獨立編號，`mainline list` 印出來的就是可以直接貼的那一個。 + +── 答案為什麼唯一 ───────────────────────────────────────────────── +主線住在一個檔裡（`~/.claude/isep-countdown/mainline.json`），那個檔**放得下一條**。 +沒有清單、沒有優先序、沒有「前三名」——`set` 覆蓋掉的那條就不再是主線。 +⇒ 問一次只會拿到 0 或 1 個答案，不會拿到 14 個。 + +── 主線是一個名字，錨在一個具體的 milestone 上 ──────────────────── +Gitea 的 milestone 不能跨 repo，而同一條線常常同時開在 5 個 repo。所以 +**錨**（期限／進度／目標宣告都讀它）是 `owner/repo#id`， +**成員判定**看的是「票所屬 milestone 的標題與主線標題相同」（不分 repo）。 +兩件事都成立：同名跨 repo 照舊能用，而「現在在做哪一條」仍然只有一個答案。 +""" +import importlib.machinery +import importlib.util +import os +import sys +import urllib.parse +from datetime import datetime, timezone + +HERE = os.path.dirname(os.path.abspath(__file__)) + + +def _load(name, path): + """把一個檔載進來當模組。`scripts/ticket` 沒有 `.py` 副檔名，所以要明著給 loader + （`spec_from_file_location` 只靠副檔名認不出它，會回 None）。""" + loader = importlib.machinery.SourceFileLoader(name, path) + spec = importlib.util.spec_from_file_location(name, path, loader=loader) + mod = importlib.util.module_from_spec(spec) + loader.exec_module(mod) + return mod + + +# 憑證怎麼拿、API 怎麼打、票號怎麼解析——**全部沿用 `scripts/ticket` 那一份**。 +# 🔴 刻意不自己再寫一份 token()：金鑰的取得只准有一條路（頂層 CLAUDE.md 金鑰鐵律 +# ＋ 2026-07-29 t145 的實害——同一把金鑰兩種寫法並存，必然漂移）。 +ML = _load("isep_mainline", os.path.join(HERE, "..", "hooks", "lib", "mainline.py")) +try: + T = _load("isep_ticket", os.path.join(HERE, "ticket")) +except Exception: + # 🔴 載不到就只是「打不了網路的那幾個動作不能用」，不是整支壞掉。 + # ISEP#82 驗收第 4 條要的是「沒有主線也不能整組壞掉」，同一個道理： + # `show` 是離線的，它不該因為別的零件壞了而回答不出來。 + T = None + + +def die(msg, code=2): + print(msg, file=sys.stderr) + sys.exit(code) + + +def need_net(): + if T is None: + die("🔴 載不到 `scripts/ticket`（憑證與 API 都沿用它），這個動作打不了網路。\n" + " `scripts/mainline show` 仍然可以用——它是離線的。") + + +def parse_ms_ref(s): + """`owner/repo#`。與票號同形，所以錯手貼票號會拿到 404，訊息要講清楚。""" + import re + m = re.match(r"^([\w.-]+)/([\w.-]+)#(\d+)$", (s or "").strip()) + if not m: + die("🔴 寫法是 owner/repo#，你給的是：%s\n" + "（先跑 `scripts/mainline list` 看有哪些，那裡印的就是可以直接貼的）" % s) + return m.group(1), m.group(2), int(m.group(3)) + + +def org_repos(owner): + rows = T.api_soft("/orgs/%s/repos?limit=100" % owner) or [] + return [r["name"] for r in rows if isinstance(r, dict) and r.get("name")] + + +def issues_in_milestone(owner, repo, title): + q = urllib.parse.urlencode({"state": "all", "type": "issues", + "milestones": title, "limit": 100}) + rows = T.api_soft("/repos/%s/%s/issues?%s" % (owner, repo, q)) or [] + out = [] + for it in rows: + if not isinstance(it, dict) or it.get("pull_request"): + continue + ms = it.get("milestone") or {} + # 🔴 再比對一次標題：`milestones=` 這個參數在不同 Gitea 版本上對「名稱 vs id」 + # 的解讀不完全一致，拿回來的東西要自己確認過才算數（不要相信查詢字串）。 + if ML.norm(ms.get("title")) != ML.norm(title): + continue + out.append("%s/%s#%d" % (owner, repo, it["number"])) + return out + + +def collect_members(owner, title, anchor_repo): + """跨 repo 收齊「掛在同名 milestone 底下」的票。""" + refs, scanned = [], [] + repos = org_repos(owner) + if anchor_repo not in repos: + repos.append(anchor_repo) + for r in repos: + got = issues_in_milestone(owner, r, title) + if got: + scanned.append((r, len(got))) + refs.extend(got) + return sorted(set(refs)), scanned + + +def fetch_milestone(owner, repo, mid): + d = T.api_soft("/repos/%s/%s/milestones/%d" % (owner, repo, mid)) + if not isinstance(d, dict) or not d.get("title"): + die("🔴 讀不到 %s/%s#%d 這個 milestone。\n" + " · id 是 milestone 的 id，不是 issue 的號碼（`scripts/mainline list` 會印對的）\n" + " · 或是這台機器現在拿不到 Gitea（那就先別標，不要標一個猜的）" % (owner, repo, mid)) + return d + + +# ── show ───────────────────────────────────────────────────────────────── +def cmd_show(argv): + """離線。**永遠回一個答案**，包括「現在沒有主線」（ISEP#82 驗收第 4 條）。""" + ms = ML.load() + if not ms: + print("🎯 現在沒有主線。") + print() + print(" 這不是故障——沒有人標過，或上一條收掉了。") + print(" 要標一條：`scripts/mainline list` 看有哪些 → `scripts/mainline set `") + print() + print("📌 在標之前，每回合的 🎯 那一行也會照樣講「現在沒有主線」，不會編一條出來。") + return + c, total, pct = ML.progress(ms) + print("🎯 現在的主線：%s「%s」" % (ML.ref_of(ms), ms.get("title"))) + desc = (ms.get("description") or "").strip() + if desc: + print(" 目標：" + desc.splitlines()[0].strip()) + print(" 期限：%s" % ML.due_phrase(ms)) + print(" 進度：%d／%d 張已關（%d%%）" % (c, total, pct)) + mem = sorted(ML.members(ms)) + byrepo = {} + for r in mem: + byrepo[r.split("#")[0]] = byrepo.get(r.split("#")[0], 0) + 1 + print(" 屬於主線的票：%d 張%s" % ( + len(mem), ("（" + "、".join("%s %d" % (k, v) for k, v in sorted(byrepo.items())) + "）") if byrepo else "")) + if ms.get("set_at"): + print(" 標定於：%s" % ms["set_at"]) + if ms.get("refreshed_at"): + print(" 最後更新：%s" % ms["refreshed_at"]) + print() + print("📌 這是唯一答案——主線住在一個檔裡，那個檔放得下一條：%s" % ML.path()) + + +# ── list ───────────────────────────────────────────────────────────────── +def cmd_list(argv): + need_net() + owner = argv[0] if argv else T.ORG + rows = [] + for r in org_repos(owner): + for m in (T.api_soft("/repos/%s/%s/milestones?state=open" % (owner, r)) or []): + if not isinstance(m, dict): + continue + rows.append((owner, r, m)) + if not rows: + die("🔴 一個 open milestone 都沒讀到——多半是拿不到 Gitea，不是真的沒有。\n" + "（讀不到 ≠ 不存在。先修連線，不要因此標一個猜的主線。）", 1) + now = datetime.now(timezone.utc) + cur = ML.load() + print("open milestone 共 %d 個（%s）：\n" % (len(rows), owner)) + for o, r, m in sorted(rows, key=lambda x: (ML.due_of(x[2]) or datetime.max.replace(tzinfo=timezone.utc))): + c, total, pct = ML.progress(m) + mark = " ← 現在的主線" if cur and ML.ref_of(cur) == "%s/%s#%s" % (o, r, m.get("id")) else "" + print(" %-28s %-24s %3d%% 期限 %s%s" % ( + "%s/%s#%s" % (o, r, m.get("id")), (m.get("title") or "")[:24], + pct, ML.due_phrase(m, now), mark)) + print("\n📌 貼左邊那一欄：`scripts/mainline set `") + + +# ── set ────────────────────────────────────────────────────────────────── +def cmd_set(argv): + need_net() + if not argv: + die("用法：mainline set ") + owner, repo, mid = parse_ms_ref(argv[0]) + m = fetch_milestone(owner, repo, mid) + title = m.get("title") + refs, scanned = collect_members(owner, title, repo) + now = datetime.now(timezone.utc).astimezone().strftime("%Y-%m-%d %H:%M") + ok = ML.save({ + "ref": "%s/%s#%d" % (owner, repo, mid), + "owner": owner, "repo": repo, "id": mid, + "title": title, + "description": m.get("description") or "", + "due_on": m.get("due_on") or "", + "open_issues": m.get("open_issues") or 0, + "closed_issues": m.get("closed_issues") or 0, + "members": refs, + "set_at": now, "refreshed_at": now, + }) + if not ok: + die("🔴 寫不進 %s——主線沒有被標上。" % ML.path()) + print("✅ 主線已標定：%s/%s#%d「%s」" % (owner, repo, mid, title)) + if scanned: + print(" 跨 repo 收到同名 milestone 的票 %d 張：%s" + % (len(refs), "、".join("%s %d" % (r, n) for r, n in scanned))) + print() + cmd_show([]) + + +def cmd_clear(argv): + had = ML.load() + ML.clear() + print("✅ 已清掉主線%s。現在沒有主線——每回合的 🎯 那一行會照實說。" + % ("（原本是 %s「%s」）" % (ML.ref_of(had), had.get("title")) if had else "")) + + +# ── refresh ────────────────────────────────────────────────────────────── +def cmd_refresh(argv): + """SessionStart 跑一次。**拿不到就原封不動**——寧可資料舊，不要把主線弄丟。""" + ms = ML.load() + if not ms: + return # 沒有主線就沒有東西要更新，安靜結束 + d = T.api_soft("/repos/%s/%s/milestones/%s" % (ms["owner"], ms["repo"], ms["id"])) + if not isinstance(d, dict) or not d.get("title"): + return # 讀不到 ≠ 主線不存在 + ms.update({ + "title": d.get("title") or ms["title"], + "description": d.get("description") or ms.get("description") or "", + "due_on": d.get("due_on") or ms.get("due_on") or "", + "open_issues": d.get("open_issues") or 0, + "closed_issues": d.get("closed_issues") or 0, + "refreshed_at": datetime.now(timezone.utc).astimezone().strftime("%Y-%m-%d %H:%M"), + }) + if "--members" in argv: + refs, _ = collect_members(ms["owner"], ms["title"], ms["repo"]) + if refs: + ms["members"] = refs + ML.save(ms) + + +# ── adopt（補收）────────────────────────────────────────────────────────── +def cmd_adopt(argv): + need_net() + if not argv: + die("用法：mainline adopt （把一張票掛進主線＝「補收」）") + ms = ML.load() + if not ms: + die("🔴 現在沒有主線，沒有東西可以補收進去。先 `scripts/mainline set …`。") + owner, repo, num = T.parse_ref(argv[0]) + cands = [m for m in (T.api_soft("/repos/%s/%s/milestones?state=all" % (owner, repo)) or []) + if isinstance(m, dict) and ML.norm(m.get("title")) == ML.norm(ms["title"])] + if not cands: + die("""🔴 `%s/%s` 底下沒有叫「%s」的 milestone，所以這張票掛不進去。 + +兩條路，**都要人決定，這支不會替你選**： + · 這件事真的屬於主線 ⇒ 在 `%s/%s` 開一個同名 milestone（記得設真的期限， + `milestone-due-guard.sh` 會擋沒期限的），再跑一次 adopt + · 這件事其實是另一條線 ⇒ 那就是**跳線**，不是補收。直接重送派工 + （本閘同一張票只擋一次），並在回覆說清楚為什麼現在要岔開主線。""" % ( + owner, repo, ms["title"], owner, repo)) + mid = cands[0]["id"] + T.api("/repos/%s/%s/issues/%d" % (owner, repo, num), {"milestone": mid}, method="PATCH") + ref = "%s/%s#%d" % (owner, repo, num) + ms["members"] = sorted(set(ms.get("members") or []) | {ref}) + ML.save(ms) + print("✅ 補收：%s 已掛進「%s」（%s/%s#%d）" % (ref, ms["title"], owner, repo, mid)) + + +# ── has ────────────────────────────────────────────────────────────────── +def cmd_has(argv): + if not argv: + die("用法：mainline has ") + ms = ML.load() + ref = argv[0].strip() + if not ms: + print("🎯 現在沒有主線 ⇒ 沒有「不屬於主線」這回事。") + return + v = ML.belongs(ref, ms) + if v is None: + owner, repo, num = T.parse_ref(ref) + it = T.api_soft("/repos/%s/%s/issues/%d" % (owner, repo, num)) + title = ((it or {}).get("milestone") or {}).get("title") if isinstance(it, dict) else None + v = ML.belongs(ref, ms, ticket_milestone_title=title or "") + if not isinstance(it, dict): + print("⚪ 讀不到 %s，判不出來（讀不到 ≠ 不屬於）。" % ref) + sys.exit(0) + if v: + print("✅ %s 在主線「%s」上。" % (ref, ms["title"])) + sys.exit(0) + print("🚧 %s **不在**主線「%s」上。\n" + " 補收 ⇒ `scripts/mainline adopt %s`；真的是插件事 ⇒ 那是跳線，說清楚再做。" + % (ref, ms["title"], ref)) + sys.exit(1) + + +CMDS = {"show": cmd_show, "list": cmd_list, "set": cmd_set, "clear": cmd_clear, + "refresh": cmd_refresh, "adopt": cmd_adopt, "has": cmd_has} + +if __name__ == "__main__": + if len(sys.argv) < 2: + cmd_show([]) + sys.exit(0) + if sys.argv[1] in ("-h", "--help", "help"): + print(__doc__) + sys.exit(0) + if sys.argv[1] not in CMDS: + print(__doc__) + sys.exit(2) + CMDS[sys.argv[1]](sys.argv[2:]) From 7871921741bf25e25e49444b0df12d404a30aa46 Mon Sep 17 00:00:00 2001 From: claude-code Date: Fri, 28 Aug 2026 00:34:07 +0000 Subject: [PATCH 16/16] =?UTF-8?q?=E6=8A=8A=E4=B8=BB=E7=B7=9A=E6=8E=A5?= =?UTF-8?q?=E9=80=B2=E6=B4=BE=E5=B7=A5=E8=88=87=E6=B3=A8=E5=85=A5=EF=BC=88?= =?UTF-8?q?inkstone/ISEP#82=EF=BC=89?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit - hooks.json mainline-focus-guard 掛 Agent＋Task（派工的兩個入口都要守）； SessionStart 多一條 `scripts/mainline refresh`（0.8s，不輪詢） - hooks-inventory 54 支／71 條（當場數的）＋補人話一列；順手修掉上一版重複的那一行， 並把「指向空氣」那格的假警報寫清楚（countdown-milestone-refresh 在 scripts/） - TESTING A16（24 條離線）＋ A17（要網路的那半怎麼驗） - plugin.json 描述數字對齊；版本不動，待總管定版 --- .claude-plugin/plugin.json | 2 +- docs/TESTING.md | 43 ++++++++++++++++++++++++++++++++++++++ docs/hooks-inventory.md | 27 ++++++++++++++++++------ hooks/countdown-guard.sh | 10 +++++++++ hooks/hooks.json | 12 +++++++++++ scripts/mainline | 12 ++++++++++- 6 files changed, 98 insertions(+), 8 deletions(-) diff --git a/.claude-plugin/plugin.json b/.claude-plugin/plugin.json index 359ecf8..8b19608 100644 --- a/.claude-plugin/plugin.json +++ b/.claude-plugin/plugin.json @@ -1,6 +1,6 @@ { "name": "isep", - "description": "InkStone Environment Plugin —— leo 的 Claude Code 環境唯一真相源：53 支機械閘（68 條註冊，白話盤點見 docs/hooks-inventory.md）、7 支 slash command、2 支 skill、39 支腳本，外加治理規範與標籤真相源。本機與雲端裝同一份，沒有子集。", + "description": "InkStone Environment Plugin —— leo 的 Claude Code 環境唯一真相源：54 支機械閘（71 條註冊，白話盤點見 docs/hooks-inventory.md）、7 支 slash command、2 支 skill、37 支腳本，外加治理規範與標籤真相源。本機與雲端裝同一份，沒有子集。", "version": "0.12.0", "keywords": [ "inkstone", diff --git a/docs/TESTING.md b/docs/TESTING.md index af33e7f..3606dc1 100644 --- a/docs/TESTING.md +++ b/docs/TESTING.md @@ -154,6 +154,49 @@ bash hooks/tests/countdown-guard.test.sh （subagent 的回覆不是給 leo 看的），所以在一條 subagent 裡跑，B 群會**全綠而且是假綠**。 測試檔自己會把它清掉——2026-08-28 第一次跑就撞到這個，才補上去的。 +### A16 — 現在的主線是哪一個：24 條 +``` +bash hooks/tests/mainline-focus-guard.test.sh +``` +**該看到**：`通過 24 條，失敗 0 條`。**全程離線**：狀態走 `ISEP_COUNTDOWN_STATE_DIR`、 +時鐘走 `ISEP_COUNTDOWN_NOW`、「那張票掛在哪」走 `ISEP_MAINLINE_FIXTURE`， +並把 `TICKET_HOST` 指到一個連不上的位址——**任何一條真的走到網路，會在那裡當場失敗， +不會靜靜地變成假綠**。 + +**它在守什麼**（`inkstone/ISEP#82`，leo 2026-08-27）： +「**14 個里程碑同時亮著卻不知道該看哪個**」。當天實查 14 個 open milestone， +其中「Mira 現代化」這個名字同時活在 5 個 repo，5 個已經逾期 +⇒ SOP 說的「只做**該** milestone 的事」**沒有指涉對象，等於不存在**。 + +**判準**：問「現在的主線是哪一個」，`scripts/mainline` 回一個答案，而且只有一個。 + +**失敗**： +- A 群任一條紅 ⇒ 答案不唯一，或標了新的舊的還在——那就回到 14 個一起亮的狀態 +- ⑧ 紅 ⇒ **目標宣告沒有自己出現**（票上驗收第 2 條），leo 又要自己去翻 +- ⑨ 紅 ⇒ 主線的名字沒掛在被查核的 ⏱ 那一行上 ⇒ 它到不了 leo 眼前 + （本票刻意不另立第二道會擋人的閘，就是靠這一格成立） +- ⑩ 紅 ⇒ 用「期限最近的那個」蓋過了被指定的主線。**猜的不准蓋過指定的** +- ⑬⑭ 紅 ⇒ 派了不在主線上的票沒被問一次，或問了卻沒給補收／跳線兩條路 +- ⑯ 紅 ⇒ **鬼打牆**：同一張票被擋第二次。至多擋一次是硬要求 +- **⑲–㉔（不該擋）任一條紅 ⇒ 誤攔，這比漏擋嚴重**。特別是 ⑲（沒有主線就一律放行， + 票上驗收第 4 條）與 ㉒（問不到那張票掛在哪 ⇒ 放行）—— + **「讀不到」不等於「不屬於」，把這兩件事講成同一句是最貴的錯** + +📌 這一條線的另一半是**指令**，不是閘：`scripts/mainline`（`show`／`list`／`set`／ +`clear`／`refresh`／`adopt`／`has`）。要打網路的那幾個（list／set／adopt）不在測試裡跑， +因為它們**只有真的 Gitea 才驗得了**——驗法見 A17。 + +### A17 — 主線那支指令真的問得到 Gitea（要網路） +``` +python3 scripts/mainline list +``` +**該看到**：一份 open milestone 清單，**跨多個 repo**（`ISEP` / `Arcrun` / `arcrun-rag` / `mira`…）， +每一行左邊是可以直接貼給 `set` 的 `owner/repo#`。 +**失敗**： +- `一個 open milestone 都沒讀到` ⇒ 這台機器拿不到 Gitea。**那是讀不到，不是沒有** + ——不要因此標一個猜的主線 +- 只有單一 repo ⇒ 沒有跨 repo，等於沒看到全局 + ### A15 — 發通知不等於部署：37 條 ``` bash hooks/tests/prod-write-guard.test.sh hooks/prod-write-guard.sh diff --git a/docs/hooks-inventory.md b/docs/hooks-inventory.md index c997f2c..41ff142 100644 --- a/docs/hooks-inventory.md +++ b/docs/hooks-inventory.md @@ -1,4 +1,4 @@ -# 53 支閘，白話盤點表 +# 54 支閘，白話盤點表 > 回應 `inkstone/InkStoneCo#40`：「如果加入了，我應該可以白話文看到 hooks 的內容？」 > 這份表就是那個「白話文」——不用點開任何 `.sh` 檔，一行看懂一支閘在管什麼。 @@ -7,8 +7,7 @@ ## 一句話結論 -`hooks/` 底下有 **53 個 `.sh` 檔**，`hooks.json` 實際掛上 **68 條註冊**（同一支閘常被多種情境同時掛上）； -`hooks/` 底下有 **53 個 `.sh` 檔**，`hooks.json` 實際掛上 **68 條註冊**（同一支閘常被多種情境同時掛上）； +`hooks/` 底下有 **54 個 `.sh` 檔**，`hooks.json` 實際掛上 **71 條註冊**（同一支閘常被多種情境同時掛上）； 其中 **3 支檔案存在但沒被掛上**（2 支是待人填的空範本、1 支是刻意留著沒開的止血帶，見下面「未生效」表）。 下面按「你會在什麼時候撞到它」分組，一支一行。 @@ -34,6 +33,13 @@ > **兩個事件是同一件事的兩半**：只注入 ＝ 又一個會被忽略的提醒；只查核 ＝ 罰它做一件拿不到資料的事。 > 這兩個數字是併之前當場數出來的，不是從上一版加減推出來的。 +> 📌 **`inkstone/ISEP#82`（2026-08-28）＋1 支、＋3 條**：`mainline-focus-guard.sh` +> 同時掛在 `Agent` 與 `Task`（派工的兩個入口都要守，只守一個等於沒守）， +> 加上 SessionStart 多掛一條 `scripts/mainline refresh`（更新主線的進度／期限，不是閘）。 +> **53→54 支、68→71 條，兩個數字是加完之後當場數出來的**（指令見本頁最後一段）。 +> ⚠️ 同時修掉一行重複：上一版「一句話結論」那一句被貼了兩遍 +> （53／68 那組數字本身是對的，只是印了兩次）。 + > 🔴 **`0.6.1`（2026-08-27）補回表格漏掉的兩列**：`isep-presence-beacon.sh`（E 組）、 > `milestone-due-guard.sh`（A 組）。**標頭寫 48 支的同時，下面的表格只列得出 46 支** > ——數字是對的，人話少了兩行。發現的方法與防它再犯的指令，見下面「落差偵測」第二組 `comm`。 @@ -109,6 +115,7 @@ | `micromanage-guard.sh` | 派工單寫得太細（指名檔案函式、編號步驟、要求每做一項回報一次…）就擋下——subagent 該被當成有能力的同事，不是照抄劇本的工具。 | 🛑 擋 | | `irreversible-dispatch-guard.sh` | 派工單裡出現「刪分支」「drop table」「rm -rf」這類不可逆動作，卻沒寫「先停下來等回覆才執行」就擋下。 | 🛑 擋 | | `no-ticket-no-dispatch.sh` | 派工單裡沒有寫工單號（`【工單】owner/repo#N`），或那張票已經關閉／根本不存在，就擋下——沒有票號的工作沒有人追得到進度。 | 🛑 擋 | +| `mainline-focus-guard.sh` | 派出去的票**不在「現在的主線」上**，就擋一次，並問你是「補收」（它本來就該掛在主線上）還是「跳線」（真的插件事）。背景：2026-08-27 實查有 **14 個 milestone 同時開著**，其中「Mira 現代化」同名活在 5 個 repo ⇒ SOP 說的「只做該 milestone 的事」在現場**沒有指涉對象**，等於不存在。現在主線是一個查得到的事實（`scripts/mainline`，答案唯一），這支就是那個事實的用處。🔴 **沒有標主線 ⇒ 一律放行**；多張票只要有一張在主線上就放行；查不到那張票掛在哪也放行（**讀不到 ≠ 不屬於**）；**同一張票只擋一次**，重送就過。跳線會留一筆紀錄——不留痕的話，跳線與專注在機器上長得一模一樣。 | 🛑 擋（同一張票至多一次） | | `dispatch-format-guard.sh` | **派工單 ＝ 票號，就這樣。** 票號以外還寫了別的東西（背景、驗收條件、紅線、交件方式、「這個 session 才知道的事」）就擋下，並告訴你那些內容該搬去哪：每次都一樣的 → 共通規定；這次才知道的 → **寫進那張票**。反過來，合規的派工它會**自動把共通規定注入**給收工方（交件方式、不准 push main、org 是 `inkstone`…），所以你不寫也不會漏。判準是「這一行是不是【工單】欄位」——**在不在**，不是寫了什麼，所以講得再謹慎也不會被多罰。純禮貌收尾（「謝謝」）不算違規；`（→ comment M）` 不論全形或半形括號都認得（ISEP#65 修過一次：CLAUDE.md 自己規定的合格寫法曾經被這支閘自己擋下）。 | 🛑 擋（＋注入） | ## D2. AI 想開口問你問題的當下（PreToolUse / AskUserQuestion） @@ -129,6 +136,7 @@ |---|---|---| | `isep-presence-beacon.sh` | 對話一開始印一行 `🟢 ISEP vX.Y.Z 已載入（N 支閘｜來源：…）`。**這行不是裝飾，是唯一能證明「這個 session 真的有閘」的東西**——它自己就住在 plugin 裡，看得到它就表示 plugin 載入了；某個 session 從頭到尾沒有這行，那個 session 是零閘狀態，先修 plugin 再做事。同一台機器可能同時有兩份 ISEP（marketplace 裝的、repo 裡 vendor 的），所以那行會講出這次是哪一份在說話。 | 📝 記錄（context 注入） | | `session-start-recall.sh` | 對話一開始就自動把「全局現況」（Gitea 各 repo 的票、KBDB 的藏書地圖）推到 AI 眼前，不必等它自己想到要查。 | 📝 記錄（context 注入） | +| `scripts/mainline refresh` | （不是閘，是腳本）對話一開始把**現在的主線**那條 milestone 的進度與期限更新一次，好讓每回合眼前那一行講的是今天的數字。拿不到 Gitea 就原封不動——**寧可資料舊，不要把主線弄丟**。跑一次就結束，不輪詢。 | 📝 記錄 | | `skill-deploy-drift-guard.sh` | 如果「全機真正在用的 skill」跟「repo 裡版控的正本」內容對不上，就在開場講出來——避免用著一份沒人知道已經跟正本分家的舊拷貝。 | 📝 記錄 | ## F. AI 想結束這一輪、要收工的時候（Stop） @@ -140,7 +148,7 @@ | `factory-idle-guard.sh` | AI 該去派工卻沒派（工頭停工），就擋下要它交出「已經派工的憑證」，不是隨口說一句「我會催」就算數。**過閘有四條路：現在就派工／把票號寫進那句話／寫一行 `⏸ 等：<在等什麼>`／這一輪收尾在動作上。** 2026-08-23（inkstone/ISEP#30）修好「引用被當成主張」——貼原始碼、引用它自己的訊息、否認自己有下一步，都不再被咬。 | 🛑 擋 | | `mainline-idle-guard.sh` | AI **連續 4 個回合一直在查、一直在讀，卻什麼都沒交出去**（沒派工、沒改檔、沒寫回票）就擋一次。補的是上面兩支中間那一格：「沒動作」空手警察管、「說了下一步卻沒派」稼動率警察管，**而「有動作、但就是不說下一步」以前兩支都放行**。這支**一個字都不讀**，只看有沒有派工／產出／工作區變動。響過一次門檻就加倍（4→8→16），不會變成一直在響的警報。 | 🛑 擋（響過就退讓） | | `pr-verdict-guard.sh` | 收工時清點「還有哪些 PR 沒有結論」——open、**沒有人被指派**、也沒有「要求修改」review 的 PR，就擋一次並**點名是哪幾個**（含開了幾天與網址）；已經 merge 但**分支還留著**的也一起點名（票上寫死「併完當場刪掉那條 branch」）。背景：2026-08-27 實查，最久的三個 open PR 躺了兩星期，而當時 46 支閘沒有一支在管 PR——票看起來「已交付」，東西卻沒進 main、沒進版本，**leo 手上永遠不會出現它**。🔴 **擋的是遺忘，不是等待**：指派給誰（或掛 Human）就立刻不再點名它；響過門檻就加倍（1→4→8→16，每個 PR 各自算）。搭配 `scripts/pr-verdict`（merge／reject／changes 各一個動作）。 | 🛑 擋（響過就退讓） | -| `countdown-guard.sh` | **每一則回覆都自己說出「這件事已經花了多久／距今天收工線還剩多久」**，而且不必有人記得。一支閘掛兩個事件：你送出訊息時它先把算好的那一行放到 AI 眼前（`UserPromptSubmit`），AI 想收工時它再看這一回合的回覆裡到底有沒有那一行，沒有就擋一次要它補（`Stop`）。**只做前半 ＝ 又一個會被忽略的提醒**，所以兩半綁在一起。已過時間從**這段對話的第一則訊息**算起（＝一個 release 的起點）；收工線是台北 16:00，過線後四小時內顯示「已超過」，不會把超時悄悄換算掉。子 session、純工具回合、已經提醒過一次的，全部放行。 | 🛑 擋（至多攔一次） | +| `countdown-guard.sh` | **每一則回覆都自己說出「這件事已經花了多久／距今天收工線還剩多久」**，而且不必有人記得。一支閘掛兩個事件：你送出訊息時它先把算好的那一行放到 AI 眼前（`UserPromptSubmit`），AI 想收工時它再看這一回合的回覆裡到底有沒有那一行，沒有就擋一次要它補（`Stop`）。**只做前半 ＝ 又一個會被忽略的提醒**，所以兩半綁在一起。已過時間從**這段對話的第一則訊息**算起（＝一個 release 的起點）；收工線是台北 16:00，過線後四小時內顯示「已超過」，不會把超時悄悄換算掉。子 session、純工具回合、已經提醒過一次的，全部放行。**同一個注入點還帶第二行 `🎯 現在的主線是哪一個`**（`inkstone/ISEP#82`）——那一行沒有另外立閘，因為主線的名字本來就掛在被查核的 ⏱ 那一行上。 | 🛑 擋（至多攔一次） | | `browser-verify-guard.sh` | 這一輪 AI 宣稱「前端驗過了」，卻沒有真的用瀏覽器工具載入過，就擋下——`curl` 抓到 HTML 不算驗過。 | 🛑 擋 | | `self-drive-police.sh` | AI 想停下來問你「早就決定過的事」（用固定句型判斷，例如「要不要 X」「下一步做什麼」「這交給你」）就擋下，反問它查過 wiki／查過派工表了沒。 | 🛑 擋 | | `self-drive-judge.sh` | 跟上面同一件事，但改用小模型（haiku）判斷「換句話說」的請示句——防止 AI 只是把「要不要」改寫成「不確定是否符合期待」就閃過上一支閘。 | 🛑 擋 | @@ -201,11 +209,18 @@ pre-write-guard.sh pre-write-guard.template.sh shadow-table-guard.sh -# hooks.json 註冊了、但檔案不存在 → 空（目前沒有這種「指向空氣」的閘） +# hooks.json 註冊了、但檔案不存在 → 應該是空的 $ comm -13 /tmp/fs_hooks.txt /tmp/registered_hooks.txt -（無輸出） +countdown-milestone-refresh.sh ← 假警報：它在 scripts/ 不在 hooks/ ``` +🔴 **上面那一筆是假警報，不是「指向空氣」的閘**：`inkstone/ISEP#63` 之後， +SessionStart 上掛的東西不全是 `hooks/*.sh`——`scripts/countdown-milestone-refresh.sh` +是腳本不是閘。這組指令只比檔名、不看目錄，所以它會出現在這裡。 +（`inkstone/ISEP#82` 又多掛一條 `scripts/mainline refresh`，那一條沒有 `.sh` +副檔名，所以不會落進這個名單。）**照著跑會看到它，這裡先講清楚， +免得下一個人以為是自己弄壞的。** + 🔴 **上面那兩行驗不出「表格漏列」**——它們比的是 `hooks.json`，不是這張表。 「有閘、但這頁沒有它那一行人話」要另外一組指令才看得見，就是下面這組 （2026-08-27 就是靠它抓到本頁漏了 `isep-presence-beacon.sh`／`milestone-due-guard.sh` 兩列）： diff --git a/hooks/countdown-guard.sh b/hooks/countdown-guard.sh index 0ec76c1..d7c3857 100755 --- a/hooks/countdown-guard.sh +++ b/hooks/countdown-guard.sh @@ -16,6 +16,16 @@ # ① UserPromptSubmit ── 注入：把算好的那一行送到眼前（模型不必自己算、也算不準） # ② Stop ── 查核：這一回合的回覆裡到底有沒有那一行；沒有就擋一次 # +# ── 注入點的第二行：🎯 現在的主線是哪一個（inkstone/ISEP#82）──────────── +# 同一個注入點，兩行，來源不同：⏱ 算時間，🎯 讀 `hooks/lib/mainline.py` 裡被標定的主線。 +# 🔴 **Stop 那一半只查 ⏱，沒有跟著擴大成兩個標記**，兩個理由： +# ① ⏱ 那一行本身**已經帶著主線的名字**（`countdown.py` 的第三段）， +# 所以主線是跟著一道**已經驗過的閘**到 leo 眼前的，不是靠新增一道會擋人的閘。 +# ② 一個回合最多該被擋一次。多要求一個標記 ＝ 多一種被擋的方式， +# 而本 repo 心法第 2 條寫死了：永遠在響的警報等於訓練人忽略警報。 +# 主線這條線真正會擋人的地方在派工那一端（`hooks/mainline-focus-guard.sh`）， +# 那裡擋的是「派了一張不在主線上的票」——**一個動作**，不是一段文字。 +# # 只有 ① ＝ 又一個會被忽略的提醒（本 repo 心法第 2 條明令不要做這種東西）。 # 只有 ② ＝ 罰它做一件它拿不到資料的事。兩段合起來才是一條走得通的路。 # diff --git a/hooks/hooks.json b/hooks/hooks.json index 4896338..1ff1a08 100644 --- a/hooks/hooks.json +++ b/hooks/hooks.json @@ -149,6 +149,10 @@ "type": "command", "command": "${CLAUDE_PLUGIN_ROOT}/hooks/dispatch-format-guard.sh" }, + { + "type": "command", + "command": "${CLAUDE_PLUGIN_ROOT}/hooks/mainline-focus-guard.sh" + }, { "type": "command", "command": "${CLAUDE_PLUGIN_ROOT}/hooks/search-is-not-proof-guard.sh" @@ -192,6 +196,10 @@ "type": "command", "command": "${CLAUDE_PLUGIN_ROOT}/hooks/dispatch-format-guard.sh" }, + { + "type": "command", + "command": "${CLAUDE_PLUGIN_ROOT}/hooks/mainline-focus-guard.sh" + }, { "type": "command", "command": "${CLAUDE_PLUGIN_ROOT}/hooks/search-is-not-proof-guard.sh" @@ -227,6 +235,10 @@ { "type": "command", "command": "${CLAUDE_PLUGIN_ROOT}/scripts/countdown-milestone-refresh.sh" + }, + { + "type": "command", + "command": "\"${CLAUDE_PLUGIN_ROOT}\"/scripts/mainline refresh" } ] } diff --git a/scripts/mainline b/scripts/mainline index b228437..5085887 100755 --- a/scripts/mainline +++ b/scripts/mainline @@ -147,7 +147,10 @@ def cmd_show(argv): print("🎯 現在的主線：%s「%s」" % (ML.ref_of(ms), ms.get("title"))) desc = (ms.get("description") or "").strip() if desc: - print(" 目標：" + desc.splitlines()[0].strip()) + first = desc.splitlines()[0].strip() + # 只印第一行、最多 150 字：這是**一眼掃**的答案，不是 milestone 的全文。 + # leo 一天看兩眼（白話鐵律），整段貼過來他就不會看。 + print(" 目標：" + (first[:150] + "…" if len(first) > 150 else first)) print(" 期限：%s" % ML.due_phrase(ms)) print(" 進度：%d／%d 張已關（%d%%）" % (c, total, pct)) mem = sorted(ML.members(ms)) @@ -310,6 +313,13 @@ CMDS = {"show": cmd_show, "list": cmd_list, "set": cmd_set, "clear": cmd_clear, "refresh": cmd_refresh, "adopt": cmd_adopt, "has": cmd_has} if __name__ == "__main__": + # `mainline | head` 是很自然的用法，別讓它吐一段 BrokenPipe 的 traceback + # ——那會讓人以為這支壞了。 + try: + import signal + signal.signal(signal.SIGPIPE, signal.SIG_DFL) + except Exception: + pass if len(sys.argv) < 2: cmd_show([]) sys.exit(0)