sdd-guard 退役：讓「取消 Active SDD」這個裁決真的執行得下去（inkstone/ISEP#91）
leo 2026-08-16 在 inkstone/InkStoneCo#40 → comment 2942 裁定「取消 Active SDD」， 11 天沒被執行。原因不是有人偷懶，是**執行它的第一步會鎖死自己**： sdd-guard.sh 是 fail-closed 的 · 動 code 檔時 status: active 不是恰好 1 份 → 擋（0 份也擋） · 路徑所在的 repo 沒有 3-specs → 也擋 ⇒ 照裁決把最後那份 active 拿掉 → 變 0 份 → 任何人動任何 .ts/.py/.go 全被擋。 而 ISEP 這個 repo 自己就沒有 3-specs——本票開工第一件事實測到： $ echo '{"tool_name":"Edit","tool_input":{"file_path":".../hooks/lib/dispatch_parse.py"}}' \ | bash hooks/sdd-guard.sh 🚫 SDD 協議攔截：… 找不到任何 SDD exit 2 **它一直在誤攔 ISEP 自己，只是沒人回報。** ── 這一版做了什麼 ──────────────────────────────────── · hooks/sdd-guard.sh 刪除，hooks.json 取消註冊（85 → 84 條，只少這一條） · commands/sdd-check.md 改寫：SDD 只記「起初的樣子」，任務本體在 Gitea 票； 找不到 SDD 不再是停下來的理由，找不到票才是 · agents/inkstoneco-hand.md 拿掉「任何時刻只允許一份 status: active」那條紅線 · hooks/lib/path-resolve.sh 只加註解：它的唯一 caller 走了，但別順手刪 （#22 學到的東西住在裡面，十幾支閘還在用它要修的那個寫法） ── 迴歸測試：測的不是「檔案刪了沒」，是「那個擋還會不會發生」── hooks/tests/sdd-guard-retired.test.sh（通過 8／失敗 0，離線）： 把「裁決執行完之後的世界」（沒有 3-specs 的 repo、兩份 status: active 的 repo） 丟給 hooks.json 上**整組** Write|Edit|MultiEdit 的閘——清單當場從 hooks.json 讀、 不寫死——不准有任何一支用 SDD／3-specs 當理由擋下來。 ⇒ 日後有人換個檔名把同一個形狀種回來，這支照樣紅。 🔴 判準刻意不是「一支閘都不准擋」：同組還住著跟 SDD 無關、且看 session 狀態 決定擋不擋的閘（history-first／subagent-first）。把它們算失敗，這支測試會在別人 改別的東西時無故變紅，紅久了就沒人看——誤攔比漏擋更該修，對測試一樣成立。 **紅的證明**：把 sdd-guard 暫時復原（檔案＋註冊）重跑 → 通過 1／失敗 7， 四條行為格全部指名 sdd-guard.sh。已還原。 ── 自己跑過的 ────────────────────────────────────── · hooks/tests/sdd-guard-retired.test.sh 通過 8／失敗 0 · 逐支點名 hooks.json（README「裝什麼」那道指令） 84 條，對 main 做集合差： 少了 sdd-guard.sh × 1，多出 0 支，其餘一支不差 · 盤點數字全部在這棵樹上實數，不是加減推： ls hooks/*.sh|wc -l = 61（原 62） grep -c '"command":' hooks/hooks.json = 84（原 85） agents 7／commands 7／skills 2／scripts 48（皆未變動） · 盤點表對帳三格（hooks-inventory 自己寫死的那三道）：三格皆無輸出 · scripts/check-version-consistency.sh ✅ 0.16.2 一致 · claude plugin validate . ✅ Validation passed · hooks/tests/ 全部離線測試 24 支重跑：本次改動 0 退步 （dispatch-format-guard 40/52、prod-write-guard 18/19-fail、 stage-before-prod-guard 9/7-fail、另 3 支需帶參數／建不起沙盒—— **六支在 gitea/main 上逐支重跑結果一模一樣，是既有狀態不是本次造成**） ── 沒做、也不該由這張票做的 ───────────────────────── · inkstone/InkStoneCo 那半（拿掉 active SDD ＋ 刪 CLAUDE.md「單一活性鐵律」段） ——那是 inkstoneco-hand 的 repo；而且順序上本來就要等這一版出去、 兩邊 /plugin update 之後才動得，先拿掉就鎖死 · checkbox 分診（掛 inkstone/InkStoneCo#49，票上明寫不要另開票） · 版本號：待總管定版 Co-Authored-By: Claude Opus 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_016ZBu4Sa1cGntKFRBYNZ6xs
This commit is contained in:
Claude
@@ -99,10 +99,6 @@
|
||||
"type": "command",
|
||||
"command": "${CLAUDE_PLUGIN_ROOT}/hooks/component-guard.sh"
|
||||
},
|
||||
{
|
||||
"type": "command",
|
||||
"command": "${CLAUDE_PLUGIN_ROOT}/hooks/sdd-guard.sh"
|
||||
},
|
||||
{
|
||||
"type": "command",
|
||||
"command": "${CLAUDE_PLUGIN_ROOT}/hooks/credential-only-guard.sh"
|
||||
|
||||
@@ -24,6 +24,12 @@
|
||||
# 這些全部沒有本檔「先確認到底在不在 repo 裡」的判斷；本檔先在 sdd-guard.sh 落地，
|
||||
# 其餘要不要跟進、要不要改用這支共用函式，另案處理，不在本票（#22）範圍內一次改完。
|
||||
#
|
||||
# ⚠️ **`sdd-guard.sh` 已於 `inkstone/ISEP#91` 退役**（執行 leo「取消 Active SDD」的裁決），
|
||||
# 所以本檔目前**沒有任何 caller**——但它不是死 code：上面那份清單裡的十幾支閘全都還在用
|
||||
# 「猜專案根」那個寫法，本檔就是要給它們用的解法。**不要因為沒人 source 就順手刪掉**，
|
||||
# 刪掉等於把 #22 學到的東西一起丟了。
|
||||
# （本段只加註解，不動下面任何一行邏輯——`8718658` 那輪修的判定行為原封不動。）
|
||||
#
|
||||
# 用法：
|
||||
# source "$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)/lib/path-resolve.sh"
|
||||
# if ! path_in_git_worktree "$FILE_PATH"; then
|
||||
|
||||
@@ -1,234 +0,0 @@
|
||||
#!/bin/bash
|
||||
# 管什麼: Write/Edit 動 code 檔（.ts/.py/.go…）前，要不要有對應的一份 status: active SDD（design.md）。
|
||||
# 為什麼: SDD 生命週期鐵律——動 code 前必須有規格可對，且整個 repo 同一時刻只准一份 active。
|
||||
# 把「動手前先讀 SDD」從只能靠人記，升級成機器擋（system-dev/docs/3-specs/SDD-LIFECYCLE.md）。
|
||||
# 誤觸時怎麼關: 改文件／測試檔／3-specs 自己一律放行（下方 case 已排除）；不在任何 git repo
|
||||
# 裡的路徑（scratchpad、/tmp 暫存檔）一律放行，SDD 管不到它們。真的要臨時豁免
|
||||
# 一次小改動，說明範圍後由人手動放行——這支閘不設「一行關掉」的旗標。
|
||||
#
|
||||
# PreToolUse hook — 動 code 前檢查 SDD ＋ 單一活性 SDD 鐵律（issue #6）
|
||||
# wishlist §2：把 /sdd-check 從「命令要人打」升級成「hook 自動攔」。
|
||||
# 生命週期規則全文：system-dev/docs/3-specs/SDD-LIFECYCLE.md
|
||||
#
|
||||
# 掛在 settings.json 的 PreToolUse（matcher: Write|Edit）。
|
||||
# stdin 收到 JSON：{ tool_name, tool_input: { file_path, ... } }
|
||||
# 行為：
|
||||
# 1. status: active 的 SDD > 1 份 → 單一活性鐵律已被違反，**不論寫什麼檔**一律擋（exit 2），
|
||||
# 先收斂到一份再說。
|
||||
# 2. 動 code 檔（.ts/.go/...）→ 需要「恰好 1 份」active SDD；0 份 → 擋。
|
||||
# 3. 向下相容：3-specs 下完全沒有任何 design.md 帶 frontmatter（老 repo 尚未遷移生命週期制度）
|
||||
# → 退回舊行為：有 design.md 就放行＋提醒，沒有才擋。避免 template update 後老 repo 立刻全紅。
|
||||
#
|
||||
# 誠實限制（抄 arcrun）：只擋語法層明顯違規（直接寫 code 檔）。
|
||||
# 藏在 helper 裡、用 bash 繞道的改動擋不到。
|
||||
# 價值是「想跳過會被抓到 + 留痕可審」，不是技術防偽。絕不聲稱「不可能繞過」。
|
||||
|
||||
set -euo pipefail
|
||||
|
||||
source "$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)/lib/path-resolve.sh"
|
||||
|
||||
INPUT=$(cat)
|
||||
|
||||
# 解析 file_path。優先用 jq，沒有 jq 退回 grep（容錯）。
|
||||
if command -v jq >/dev/null 2>&1; then
|
||||
FILE_PATH=$(printf '%s' "$INPUT" | jq -r '.tool_input.file_path // empty')
|
||||
else
|
||||
FILE_PATH=$(printf '%s' "$INPUT" | grep -o '"file_path"[[:space:]]*:[[:space:]]*"[^"]*"' | head -1 | sed 's/.*"file_path"[[:space:]]*:[[:space:]]*"//;s/"$//')
|
||||
fi
|
||||
|
||||
# 拿不到路徑 → 不擋（容錯，寧可放過也不誤殺）
|
||||
[ -z "$FILE_PATH" ] && exit 0
|
||||
|
||||
# 🔴 2026-08-02 修：原本寫死相對路徑 `system-dev/docs/3-specs`，
|
||||
# 但 hook 的工作目錄是**頂層 InkStoneCo**，改子 repo 的 code 時就去頂層找 SDD
|
||||
# ⇒ 看不到子 repo 自己那份 ⇒ **一律誤報「找不到任何 SDD」**。
|
||||
# 實撞：改 products/arcrun-rag/collector/... 被擋，但該 repo 明明有
|
||||
# system-dev/docs/3-specs/daemon-beta/design.md（status: active）。
|
||||
# ⇒ 改成從被改檔案往上找最近的 system-dev/docs/3-specs（子 repo 優先，找不到才用頂層）。
|
||||
# ⚠️ 只往上找到「頂層 InkStoneCo」為止——不可讓任意路徑（如 /private/tmp/…）
|
||||
# 退回頂層 SDD 而被放行，那會把原本擋得住的情況變成擋不住。
|
||||
#
|
||||
# 🔴 2026-08-20 修（inkstone/InkStoneCo#22）：上面這套邏輯有兩個洞，都是總管 08-12 實撞的：
|
||||
#
|
||||
# 洞 A — scratchpad 暫存檔被當成「code 變動」：
|
||||
# `/private/tmp/.../scratchpad/foo.py` 不在 `$_root` 底下、往上找不到 3-specs，
|
||||
# 於是走到「找不到 SDD」擋下路徑——但 scratchpad 是 session 專用暫存區，從不進版控，
|
||||
# SDD 管的是 repo 裡的產品程式碼，管不到它。**先問「這條路徑到底在不在某個 git repo
|
||||
# 裡」（`path_in_git_worktree`，見 lib/path-resolve.sh），不在 ⇒ 這道閘天生管不到
|
||||
# ⇒ 直接放行**，不必先繞去猜專案根、再證明找不到才擋。
|
||||
# 用「有沒有 .git 可尋」判斷，比列舉路徑關鍵字（/tmp、scratchpad…）更穩：
|
||||
# 不必窮舉每一種暫存區的命名法，任何真的不在 repo 裡的路徑都一視同仁。
|
||||
#
|
||||
# 洞 B — 訊息裡印出字面的 `/nonexistent`：
|
||||
# 舊版用 `/nonexistent/3-specs` 當內部 sentinel，讓「找不到 SDD」的既有擋下路徑可以
|
||||
# 重用；但這個 sentinel 值被直接印進使用者看到的訊息，讀起來像是「這支腳本認真去
|
||||
# /nonexistent 這個地方找過」——具體、卻是假的。改成用 RESOLVED 旗標記「解析成不成功」，
|
||||
# 擋下訊息另外用人話描述「為什麼找不到」，不洩漏內部實作用的假路徑。
|
||||
#
|
||||
# ⚠️ 洞 A／B 都不改變「真的解析失敗時」的判定方向：路徑確實落在某個 git repo 裡，
|
||||
# 但那個 repo 沒有 3-specs（或裡面沒有 active SDD）→ 仍然 **fail-closed**（擋，不放行）。
|
||||
# 為什麼是 fail-closed、不是 fail-open：這道閘存在的目的就是防止「沒有 SDD 卻能動
|
||||
# code」，若把「判斷不出來」直接放行，等於把一次環境跑歪（cwd 被切走、
|
||||
# `$CLAUDE_PROJECT_DIR` 沒設、worktree 缺 3-specs…）悄悄變成「這道閘關掉了，而且沒有
|
||||
# 任何人被告知」——silent bypass 的代價遠高於「多打一次確認」。#22 的紅線也明寫
|
||||
# 「不要把閘改成『解析失敗就放行』——那是把誤判換成漏判」。
|
||||
# 洞 A 的修法，套用在 case 分岔**之前**：不管 `$_root` 猜不猜得對，
|
||||
# 先問「這條路徑到底在不在某個 git repo 裡」。不在 ⇒ SDD 這道閘天生管不到，直接放行。
|
||||
# 🔴 這個檢查故意放在 `$FILE_PATH` 是否落在 `$_root` 底下的判斷之前、且對兩邊都適用
|
||||
# （不是只套用在「專案外」那個分支）：第一版只把它放進「專案外」分支，結果測試
|
||||
# （hooks/tests/sdd-guard.test.sh）就抓到一個不對稱漏洞——當 `$_root` 剛好等於
|
||||
# scratchpad 的某層祖先目錄（例如 hook 被叫用時 cwd 已經跑到 /private/tmp 底下、
|
||||
# `$CLAUDE_PROJECT_DIR` 也沒設），scratchpad 路徑會被判成「在 `$_root` 底下」而
|
||||
# 走進另一條完全沒做 git-repo 檢查的路徑，同一個誤判换個路徑重新出現。
|
||||
# 改成「先問是不是在 git repo 裡，不管路徑跟 `$_root` 的關係」就沒有這個不對稱。
|
||||
if ! path_in_git_worktree "$FILE_PATH"; then
|
||||
exit 0
|
||||
fi
|
||||
|
||||
_root="${CLAUDE_PROJECT_DIR:-$(pwd)}"
|
||||
# 預設值一律絕對路徑（不留相對路徑「system-dev/docs/3-specs」退回目前 cwd 的洞——
|
||||
# 舊版這裡曾經是相對路徑，若專案內迴圈找不到就會被拿去跟 hook 執行當下的 cwd 兜，
|
||||
# cwd 湊巧有同名目錄就會判斷到不相干的資料）。
|
||||
SPECS_DIR="$_root/system-dev/docs/3-specs"
|
||||
RESOLVED=1 # 1＝SPECS_DIR 是有意義的答案；0＝真的解析失敗，SPECS_DIR 留空，訊息另外講原因
|
||||
|
||||
case "$FILE_PATH" in
|
||||
"$_root"/*)
|
||||
_d=$(dirname "$FILE_PATH")
|
||||
while [ "$_d" != "/" ] && [ -n "$_d" ]; do
|
||||
if [ -d "$_d/system-dev/docs/3-specs" ]; then
|
||||
SPECS_DIR="$_d/system-dev/docs/3-specs"
|
||||
break
|
||||
fi
|
||||
[ "$_d" = "$_root" ] && break
|
||||
_d=$(dirname "$_d")
|
||||
done
|
||||
;;
|
||||
*)
|
||||
# 專案外的路徑：`$_root` 猜錯，或這條路徑本來就不屬於目前的 `$_root`。
|
||||
# 已知落在某個 git repo 裡（上面剛確認過）：往上找它自己的 3-specs。
|
||||
# **不可退回 `$_root` 的 3-specs 就放行**——那會把「這個 repo 沒有 SDD」
|
||||
# 誤判成「用別的 repo 的 SDD 蒙混過關」，原本擋得住的會變成擋不住。
|
||||
SPECS_DIR=""
|
||||
RESOLVED=0
|
||||
_d=$(dirname "$FILE_PATH")
|
||||
while [ "$_d" != "/" ] && [ -n "$_d" ]; do
|
||||
if [ -d "$_d/system-dev/docs/3-specs" ]; then
|
||||
SPECS_DIR="$_d/system-dev/docs/3-specs"
|
||||
RESOLVED=1
|
||||
break
|
||||
fi
|
||||
_d=$(dirname "$_d")
|
||||
done
|
||||
;;
|
||||
esac
|
||||
|
||||
# 給訊息用的人話描述：解析成功就印真路徑，失敗就誠實講「為什麼」，不印假路徑
|
||||
# （洞 B 的修法——舊版這裡印的是內部 sentinel `/nonexistent/3-specs`）。
|
||||
if [ "$RESOLVED" -eq 1 ]; then
|
||||
SPECS_DIR_DESC="${SPECS_DIR}/"
|
||||
SPECS_NOT_FOUND_MSG="${SPECS_DIR}/ 下找不到任何 SDD"
|
||||
SPECS_NOT_ACTIVE_MSG="${SPECS_DIR}/ 下沒有任何 status: active 的 SDD"
|
||||
else
|
||||
SPECS_DIR_DESC=""
|
||||
SPECS_NOT_FOUND_MSG="這條路徑所在的 git repo 裡找不到 system-dev/docs/3-specs，也就沒有任何 SDD 可對（或這支閘沒能定位到正確的專案根——這是 fail-closed：寧可誤擋也不悄悄放行，見檔頭註解）"
|
||||
SPECS_NOT_ACTIVE_MSG="$SPECS_NOT_FOUND_MSG"
|
||||
fi
|
||||
|
||||
# ── 統計 active / frontmatter ──────────────────────
|
||||
# 排除 archive/（已封存）與 TEMPLATE（範本自帶 status: draft frontmatter，不算數——
|
||||
# 否則 update 一鋪新版 TEMPLATE-sdd，老 repo 就被誤判「已遷移」而全紅，向下相容破功）。
|
||||
# frontmatter 判定＝design.md 前 10 行有 ^status: 行（機器可查，見 SDD-LIFECYCLE.md）。
|
||||
ACTIVE_COUNT=0
|
||||
FM_COUNT=0
|
||||
ACTIVE_LIST=""
|
||||
if [ -n "$SPECS_DIR" ] && [ -d "$SPECS_DIR" ]; then
|
||||
while IFS= read -r f; do
|
||||
[ -n "$f" ] || continue
|
||||
HEAD10=$(head -10 "$f" 2>/dev/null || true)
|
||||
if printf '%s\n' "$HEAD10" | grep -q '^status:[[:space:]]*'; then
|
||||
FM_COUNT=$((FM_COUNT + 1))
|
||||
if printf '%s\n' "$HEAD10" | grep -q '^status:[[:space:]]*active'; then
|
||||
ACTIVE_COUNT=$((ACTIVE_COUNT + 1))
|
||||
ACTIVE_LIST="${ACTIVE_LIST} • ${f}
|
||||
"
|
||||
fi
|
||||
fi
|
||||
done < <(find "$SPECS_DIR" -name 'design.md' -not -path '*TEMPLATE*' -not -path '*/archive/*' 2>/dev/null)
|
||||
fi
|
||||
|
||||
# ── 鐵律 1：單一活性被違反（active > 1）→ 不論寫什麼檔一律擋 ──
|
||||
if [ "$ACTIVE_COUNT" -gt 1 ]; then
|
||||
cat >&2 <<EOF
|
||||
🚫 SDD 單一活性鐵律違反：偵測到 ${ACTIVE_COUNT} 份 status: active 的 SDD（任何時刻整個 repo 最多一份）：
|
||||
${ACTIVE_LIST}
|
||||
請先收斂到一份：其餘改 status: paused / closed（closed 且被取代者填 superseded_by 並移入 3-specs/archive/）。
|
||||
規則全文見 system-dev/docs/3-specs/SDD-LIFECYCLE.md。收斂前擋下所有寫檔。
|
||||
（本 hook 攔 Write/Edit；修 frontmatter 可用 bash 直改，或由人裁決哪份是現行。）
|
||||
EOF
|
||||
exit 2
|
||||
fi
|
||||
|
||||
# 只管 code 檔。docs/markdown/設定檔等放行。
|
||||
case "$FILE_PATH" in
|
||||
*.ts|*.tsx|*.js|*.jsx|*.go|*.py|*.rs|*.java|*.rb|*.php|*.c|*.cpp|*.h|*.hpp|*.swift|*.kt) ;;
|
||||
*) exit 0 ;;
|
||||
esac
|
||||
|
||||
# 改 SDD 自己 / 測試檔 → 放行
|
||||
case "$FILE_PATH" in
|
||||
*system-dev/docs/3-specs/*) exit 0 ;;
|
||||
*_test.*|*.test.*|*.spec.*|*/tests/*|*/test/*) exit 0 ;;
|
||||
esac
|
||||
|
||||
# ── 向下相容：整個 3-specs 沒有任何帶 frontmatter 的 design.md ──
|
||||
# ＝老 repo 還沒遷移生命週期制度 → 退回舊行為（有 design.md 就放行＋提醒），
|
||||
# 避免 template update 一裝新 hook，老 repo 所有 code 寫入立刻全紅。
|
||||
if [ "$FM_COUNT" -eq 0 ]; then
|
||||
SDD_COUNT=0
|
||||
if [ -n "$SPECS_DIR" ] && [ -d "$SPECS_DIR" ]; then
|
||||
SDD_COUNT=$(find "$SPECS_DIR" -name 'design.md' -not -path '*TEMPLATE*' -not -path '*/archive/*' 2>/dev/null | wc -l | tr -d ' ')
|
||||
fi
|
||||
|
||||
if [ "$SDD_COUNT" -eq 0 ]; then
|
||||
cat >&2 <<EOF
|
||||
🚫 SDD 協議攔截：要動 code 檔 ($FILE_PATH)，但 ${SPECS_NOT_FOUND_MSG}。
|
||||
|
||||
絕對鐵律：任何 code 變動前必須有對應 SDD（design.md），且遵守單一活性生命週期
|
||||
（system-dev/docs/3-specs/SDD-LIFECYCLE.md）。
|
||||
|
||||
請先：
|
||||
1. 確認這個改動屬於哪個子系統
|
||||
2. 在 [子系統的] system-dev/docs/3-specs/[子系統]/ 建立 design.md（可用 /sdd-check 協助），frontmatter 標 status: active
|
||||
3. 在回覆開頭宣告已讀 SDD + 對應 task
|
||||
|
||||
小修改（修 bug、改文字）若確定豁免，請明確說明範圍後由人放行。
|
||||
EOF
|
||||
exit 2
|
||||
fi
|
||||
|
||||
# 舊行為放行 + 提醒遷移（stderr 警告，不擋）
|
||||
echo "📋 提醒：${SPECS_DIR_DESC} 有 SDD 但尚未掛生命週期 frontmatter（老結構）。動手前確認已讀對應 design.md；建議依 SDD-LIFECYCLE.md 補 status 標記（現行那份標 active）。" >&2
|
||||
exit 0
|
||||
fi
|
||||
|
||||
# ── 新行為：寫 code 檔需「恰好 1 份」active SDD ──
|
||||
if [ "$ACTIVE_COUNT" -eq 0 ]; then
|
||||
cat >&2 <<EOF
|
||||
🚫 SDD 協議攔截：要動 code 檔 ($FILE_PATH)，但 ${SPECS_NOT_ACTIVE_MSG}。
|
||||
|
||||
單一活性鐵律：所有開發任務唯一對應源＝那份 active SDD（規則見 system-dev/docs/3-specs/SDD-LIFECYCLE.md）。
|
||||
|
||||
請先（擇一，都是人的決定，CC 不得自行建 SDD）：
|
||||
1. 把現行規格的 design.md frontmatter 標成 status: active（一份、只能一份）
|
||||
2. 或依 SDD-LIFECYCLE.md 第 3、4 條：proposal 進 pending-changes.md → 使用者 confirm → 開新 SDD 標 active
|
||||
然後在回覆開頭宣告已讀 active SDD + 對應 task。
|
||||
|
||||
小修改（修 bug、改文字）若確定豁免，請明確說明範圍後由人放行。
|
||||
EOF
|
||||
exit 2
|
||||
fi
|
||||
|
||||
# 恰好 1 份 active：放行，留痕提醒要宣告（stderr 警告，不擋）
|
||||
printf '📋 提醒：現行 active SDD＝\n%s動手前請確認已讀它的 design.md、對應到 tasks，並在回覆宣告。\n' "$ACTIVE_LIST" >&2
|
||||
exit 0
|
||||
Executable
+154
@@ -0,0 +1,154 @@
|
||||
#!/usr/bin/env bash
|
||||
# sdd-guard 退役的迴歸測試（inkstone/ISEP#91）
|
||||
#
|
||||
# ── 這支在守什麼 ────────────────────────────────────────────────────
|
||||
# leo 2026-08-16 在 inkstone/InkStoneCo#40 裁定「**取消 Active SDD**」：
|
||||
# 任務狀態搬到 Gitea 管，SDD 只記「起初的樣子」。
|
||||
# 但 `sdd-guard.sh` 是 **fail-closed** 的——
|
||||
# 動 code 檔時，active SDD 不是「恰好 1 份」→ 擋（0 份也擋）
|
||||
# 路徑所在的 repo 沒有 3-specs → 也擋
|
||||
# ⇒ 照裁決把 active SDD 拿掉，會把「動任何 .ts/.py/.go」整個鎖死。
|
||||
# 這就是那個裁決 11 天沒人敢執行的真正原因。
|
||||
#
|
||||
# 所以退役的順序是「**先讓閘退役，再拿掉 active SDD**」，而這支測的是第一步做完了沒有。
|
||||
#
|
||||
# 🔴 它測的不是「檔案刪掉了沒有」，而是**那個擋還會不會發生**：
|
||||
# 把整組 `Write|Edit|MultiEdit` 的 PreToolUse 閘，拿去撞「裁決執行完之後的世界」
|
||||
# （一個沒有 3-specs 的 repo、以及一個有兩份 active SDD 的 repo），一支都不准擋。
|
||||
# ⇒ 有人日後用別的檔名把同一個形狀種回來，這支照樣會紅。
|
||||
#
|
||||
# 用法：hooks/tests/sdd-guard-retired.test.sh
|
||||
# 🔴 全程在 TMP 底下建假 repo，跑完自己清；不動任何真 repo、不打網路。
|
||||
|
||||
set -u
|
||||
HOOKS_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)"
|
||||
REPO_ROOT="$(cd "$HOOKS_DIR/.." && pwd)"
|
||||
TMP=$(mktemp -d)
|
||||
trap 'rm -rf "$TMP"' EXIT
|
||||
|
||||
PASS=0; FAIL=0
|
||||
ok() { echo " ✅ $1"; PASS=$((PASS+1)); }
|
||||
bad() { echo " ❌ $1"; FAIL=$((FAIL+1)); }
|
||||
|
||||
# ── ① 閘本體與它的註冊都不在了 ────────────────────────────────────
|
||||
echo "── ① 退役：檔案與註冊 ──"
|
||||
|
||||
if [ -e "$HOOKS_DIR/sdd-guard.sh" ]; then
|
||||
bad "hooks/sdd-guard.sh 還在（應已刪除）"
|
||||
else
|
||||
ok "hooks/sdd-guard.sh 已刪除"
|
||||
fi
|
||||
|
||||
if grep -q 'sdd-guard' "$HOOKS_DIR/hooks.json"; then
|
||||
bad "hooks.json 還註冊著 sdd-guard（照裁決做會鎖死所有 code 寫入）"
|
||||
else
|
||||
ok "hooks.json 已無 sdd-guard 註冊"
|
||||
fi
|
||||
|
||||
# hooks.json 要仍然是合法 JSON，而且別的閘一支都沒被順手弄掉
|
||||
# （README：合錯的時候「語法合法、閘卻不見了」，不會有任何東西喊一聲）
|
||||
REGISTERED=$(python3 - "$HOOKS_DIR/hooks.json" <<'PY'
|
||||
import json, sys
|
||||
d = json.load(open(sys.argv[1]))
|
||||
print(sum(len(g.get("hooks", [])) for ev in d["hooks"].values() for g in ev))
|
||||
PY
|
||||
) || REGISTERED=""
|
||||
if [ -n "$REGISTERED" ]; then
|
||||
ok "hooks.json 仍是合法 JSON（註冊 $REGISTERED 條）"
|
||||
else
|
||||
bad "hooks.json 解析失敗"
|
||||
fi
|
||||
|
||||
# ── ② 真正的驗收：裁決執行完之後，動 code 檔不能被擋 ──────────────
|
||||
echo "── ② 行為：把「拿掉 active SDD 之後的世界」丟給整組寫檔閘，一支都不准擋 ──"
|
||||
|
||||
# 這兩個假 repo 就是舊 sdd-guard 一定會擋下的兩種狀態：
|
||||
# A. 完全沒有 3-specs（＝裁決執行完的樣子，也是 ISEP 自己現在的樣子）
|
||||
# B. 兩份 status: active（＝舊的「單一活性鐵律」違反）
|
||||
REPO_NO_SDD="$TMP/repo-no-sdd"
|
||||
mkdir -p "$REPO_NO_SDD/src"
|
||||
git init -q "$REPO_NO_SDD"
|
||||
|
||||
REPO_MULTI="$TMP/repo-multi-active"
|
||||
mkdir -p "$REPO_MULTI/system-dev/docs/3-specs/a" "$REPO_MULTI/system-dev/docs/3-specs/b" "$REPO_MULTI/src"
|
||||
git init -q "$REPO_MULTI"
|
||||
printf -- '---\nstatus: active\n---\n# A\n' > "$REPO_MULTI/system-dev/docs/3-specs/a/design.md"
|
||||
printf -- '---\nstatus: active\n---\n# B\n' > "$REPO_MULTI/system-dev/docs/3-specs/b/design.md"
|
||||
|
||||
# 撈出所有掛在 Write|Edit|MultiEdit 上的 PreToolUse 閘（照 hooks.json 的實況，不寫死清單）
|
||||
mapfile -t WRITE_HOOKS < <(python3 - "$HOOKS_DIR/hooks.json" <<'PY'
|
||||
import json, sys
|
||||
d = json.load(open(sys.argv[1]))
|
||||
for g in d["hooks"].get("PreToolUse", []):
|
||||
m = g.get("matcher", "") or ""
|
||||
if "Write" in m or "Edit" in m:
|
||||
for h in g.get("hooks", []):
|
||||
print(h["command"].split("/")[-1])
|
||||
PY
|
||||
)
|
||||
|
||||
if [ "${#WRITE_HOOKS[@]}" -eq 0 ]; then
|
||||
bad "撈不到任何 Write|Edit 的 PreToolUse 閘——測試本身失效了，先修這裡"
|
||||
fi
|
||||
|
||||
# 判準：擋下來的理由**是不是 SDD**。
|
||||
#
|
||||
# 🔴 這裡刻意不寫成「一支閘都不准擋」——同一組 matcher 上還住著好幾支跟 SDD 無關、
|
||||
# 而且看 session 狀態決定擋不擋的閘（`subagent-first-guard`／`history-first-guard`…）。
|
||||
# 把它們算成失敗，這支測試就會在別人改別的東西時無故變紅，
|
||||
# 紅久了就沒人看——`docs/TESTING.md` 開頭那句「誤攔比漏擋更該修」對測試一樣成立。
|
||||
# 所以失敗的定義是：**有閘擋下來，而且它擋的理由指向 SDD／3-specs**。
|
||||
# 其餘的擋只印出來給人看，不判失敗。
|
||||
probe() { # probe <說明> <file_path>
|
||||
local desc="$1" path="$2" sdd_blocked="" other_blocked=""
|
||||
local payload out rc
|
||||
payload=$(python3 -c "import json,sys;print(json.dumps({'tool_name':'Write','tool_input':{'file_path':sys.argv[1],'content':'export const x = 1;\n'}}))" "$path")
|
||||
for name in "${WRITE_HOOKS[@]}"; do
|
||||
[ -x "$HOOKS_DIR/$name" ] || continue
|
||||
out=$(printf '%s' "$payload" | "$HOOKS_DIR/$name" 2>&1)
|
||||
rc=$?
|
||||
[ "$rc" -eq 2 ] || continue
|
||||
if printf '%s' "$out" | grep -qE 'SDD|3-specs'; then
|
||||
sdd_blocked="$sdd_blocked $name"
|
||||
else
|
||||
other_blocked="$other_blocked $name"
|
||||
fi
|
||||
done
|
||||
if [ -n "$sdd_blocked" ]; then
|
||||
bad "$desc —— 仍被 SDD 理由擋下：$sdd_blocked"
|
||||
else
|
||||
ok "$desc"
|
||||
[ -n "$other_blocked" ] && echo " （另有與 SDD 無關的閘擋下，不算失敗：$other_blocked）"
|
||||
fi
|
||||
}
|
||||
|
||||
# 刻意讓 $_root（CLAUDE_PROJECT_DIR／pwd）跟這些假 repo 對不上——
|
||||
# 舊 sdd-guard 在這個情境下走的正是 fail-closed 那條分支。
|
||||
unset CLAUDE_PROJECT_DIR
|
||||
cd "$TMP" || exit 1
|
||||
|
||||
probe "repo 沒有 3-specs（裁決執行完的樣子）→ 寫 .ts 不被擋" "$REPO_NO_SDD/src/x.ts"
|
||||
probe "repo 沒有 3-specs → 寫 .py 不被擋" "$REPO_NO_SDD/src/x.py"
|
||||
probe "兩份 status: active（舊「單一活性」違反）→ 寫 .ts 不被擋" "$REPO_MULTI/src/x.ts"
|
||||
|
||||
# ISEP 自己就是「沒有 3-specs 的 repo」——退役前，改自己的 .py 當場被擋。
|
||||
probe "ISEP 自己的 hooks/lib/*.py → 不被擋（退役前這一格是紅的）" "$REPO_ROOT/hooks/lib/dispatch_parse.py"
|
||||
|
||||
# ── ③ 會被載入的那幾份，不能再有人讀到「只准一份 active SDD」 ──────
|
||||
echo "── ③ 條文：載入面不再宣告單一活性鐵律 ──"
|
||||
# 只查**會被載入**的那幾份（commands / agents / skills / hooks 腳本）。
|
||||
# docs/ 與 wiki/ 不查——它們得說得出「退役了什麼」，不然這件事沒有歷史。
|
||||
STALE=""
|
||||
while IFS= read -r f; do
|
||||
grep -qE '只(准|允許)一份|單一活性' "$f" && STALE="$STALE $f"
|
||||
done < <(find "$REPO_ROOT/commands" "$REPO_ROOT/agents" "$REPO_ROOT/skills" -name '*.md' 2>/dev/null
|
||||
find "$REPO_ROOT/hooks" -maxdepth 1 -name '*.sh' 2>/dev/null)
|
||||
if [ -n "$STALE" ]; then
|
||||
bad "這些載入面還在宣告「只准一份 active SDD」：$STALE"
|
||||
else
|
||||
ok "commands／agents／skills／hooks 都不再宣告單一活性鐵律"
|
||||
fi
|
||||
|
||||
echo
|
||||
echo "結果：通過 $PASS ／ 失敗 $FAIL"
|
||||
[ "$FAIL" -eq 0 ] || exit 1
|
||||
@@ -1,90 +0,0 @@
|
||||
#!/usr/bin/env bash
|
||||
# sdd-guard.sh 的迴歸測試（inkstone/InkStoneCo#22）。
|
||||
#
|
||||
# 涵蓋兩個洞：
|
||||
# 洞 A — scratchpad／任何不在 git repo 裡的暫存檔被誤判成「code 變動」而擋下。
|
||||
# 洞 B — 真的解析失敗（fail-closed）時，訊息裡印出內部 sentinel `/nonexistent`。
|
||||
# 以及既有行為不能退步：單一活性違反仍擋、恰好 1 份 active 仍放行、
|
||||
# 「dirname 還沒建立」不可被誤判成「不在 repo 裡」（新邏輯自己可能引入的 fail-open 陷阱）。
|
||||
#
|
||||
# 用法：hooks/tests/sdd-guard.test.sh [hooks/sdd-guard.sh 的路徑]
|
||||
# 🔴 全程在一個乾淨的 TMP 底下建假 repo，跑完自己清；不動任何真 repo。
|
||||
|
||||
set -u
|
||||
HOOK="${1:-$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)/sdd-guard.sh}"
|
||||
TMP=$(mktemp -d)
|
||||
trap 'rm -rf "$TMP"' EXIT
|
||||
|
||||
PASS=0; FAIL=0
|
||||
|
||||
mk() { # mk <file_path> -> JSON on stdout
|
||||
python3 -c "import json,sys;print(json.dumps({'tool_name':'Write','tool_input':{'file_path':sys.argv[1],'content':'x'}}))" "$1"
|
||||
}
|
||||
|
||||
t() { # t <期望 exit code> <說明> <file_path> [額外檢查關鍵字]
|
||||
local want="$1" desc="$2" path="$3" must_not_contain="${4:-}"
|
||||
local out rc
|
||||
out=$(mk "$path" | "$HOOK" 2>&1)
|
||||
rc=$?
|
||||
local ok=1
|
||||
[ "$rc" -eq "$want" ] || ok=0
|
||||
if [ -n "$must_not_contain" ] && printf '%s' "$out" | grep -qF "$must_not_contain"; then
|
||||
ok=0
|
||||
fi
|
||||
if [ "$ok" -eq 1 ]; then
|
||||
echo " ✅ $desc"; PASS=$((PASS+1))
|
||||
else
|
||||
echo " ❌ $desc —— 期望 exit=$want，實得 exit=$rc"
|
||||
[ -n "$must_not_contain" ] && echo " （且訊息不該含「$must_not_contain」）"
|
||||
echo " 輸出：$out" | head -3
|
||||
FAIL=$((FAIL+1))
|
||||
fi
|
||||
}
|
||||
|
||||
# ── 準備：一個真的沒有 3-specs 的 git repo（模擬「真的解析失敗」）──
|
||||
REPO_NO_SDD="$TMP/repo-no-sdd"
|
||||
mkdir -p "$REPO_NO_SDD/src"
|
||||
git init -q "$REPO_NO_SDD"
|
||||
|
||||
# ── 準備：一個有 1 份 active SDD 的 git repo ──
|
||||
REPO_ONE_ACTIVE="$TMP/repo-one-active"
|
||||
mkdir -p "$REPO_ONE_ACTIVE/system-dev/docs/3-specs/x" "$REPO_ONE_ACTIVE/src"
|
||||
git init -q "$REPO_ONE_ACTIVE"
|
||||
printf -- '---\nstatus: active\n---\n# X\n' > "$REPO_ONE_ACTIVE/system-dev/docs/3-specs/x/design.md"
|
||||
|
||||
# ── 準備：一個有 2 份 active SDD 的 git repo（單一活性違反）──
|
||||
REPO_MULTI="$TMP/repo-multi-active"
|
||||
mkdir -p "$REPO_MULTI/system-dev/docs/3-specs/a" "$REPO_MULTI/system-dev/docs/3-specs/b" "$REPO_MULTI/src"
|
||||
git init -q "$REPO_MULTI"
|
||||
printf -- '---\nstatus: active\n---\n# A\n' > "$REPO_MULTI/system-dev/docs/3-specs/a/design.md"
|
||||
printf -- '---\nstatus: active\n---\n# B\n' > "$REPO_MULTI/system-dev/docs/3-specs/b/design.md"
|
||||
|
||||
# ── 準備：scratchpad 風格的暫存區（不在任何 git repo 裡）──
|
||||
SCRATCH="$TMP/private/tmp/claude-fake-session/scratchpad"
|
||||
mkdir -p "$SCRATCH"
|
||||
|
||||
# 讓 $_root（CLAUDE_PROJECT_DIR 或 pwd）刻意跟這些假 repo 對不上，
|
||||
# 逼所有案例都走「專案外的路徑」那個分支——這正是 #22 實撞的情境（cwd 跑歪／
|
||||
# CLAUDE_PROJECT_DIR 沒設，路徑不落在 $_root 底下）。
|
||||
unset CLAUDE_PROJECT_DIR
|
||||
cd "$TMP"
|
||||
|
||||
echo "── 洞 A：不在任何 git repo 裡的路徑，SDD 管不到，該放行 ──"
|
||||
t 0 "scratchpad 暫存 .py（本票原始事故）" "$SCRATCH/fix-project-settings.py"
|
||||
t 0 "scratchpad 巢狀更深" "$SCRATCH/nested/deep/tmp.js"
|
||||
|
||||
echo "── 洞 B：真的解析失敗（repo 存在但沒有 3-specs）仍要 fail-closed，但訊息不准洩漏內部假路徑 ──"
|
||||
t 2 "真 repo 沒有 3-specs → 仍擋" "$REPO_NO_SDD/src/foo.py"
|
||||
t 2 "上面那筆的訊息不准出現 /nonexistent" "$REPO_NO_SDD/src/foo.py" "/nonexistent"
|
||||
|
||||
echo "── fail-open 陷阱：新檔案要建在還沒建立的子目錄下，不可被誤判成「不在 repo 裡」──"
|
||||
t 2 "真 repo、目標子目錄還沒建立 → 仍擋（不能因為 dirname 不存在就放行）" "$REPO_NO_SDD/brand-new/not-yet/bar.py"
|
||||
|
||||
echo "── 既有行為不能退步 ──"
|
||||
t 0 "只有 1 份 active SDD，改 code 檔 → 放行" "$REPO_ONE_ACTIVE/src/x.py"
|
||||
t 2 "2 份 active SDD（單一活性違反）→ 擋" "$REPO_MULTI/src/x.py"
|
||||
t 0 "改 .md 文件（非 code 檔）→ 放行，即使找不到 3-specs" "$REPO_NO_SDD/README.md"
|
||||
|
||||
echo
|
||||
echo "結果：通過 $PASS ／ 失敗 $FAIL"
|
||||
[ "$FAIL" -eq 0 ] || exit 1
|
||||
Reference in New Issue
Block a user