Compare commits
35 Commits
| Author | SHA1 | Date | |
|---|---|---|---|
| e177f6372b | |||
| 8e28041ba4 | |||
| 3bc7f3c5f5 | |||
| 8e7e265589 | |||
| e0557334bc | |||
| d4547bfec3 | |||
| 2f43ecc346 | |||
| 1b95388a0f | |||
| e3d05df341 | |||
| a594decb78 | |||
| 5789f0a917 | |||
| b1f399f8b9 | |||
| a446ad6d1d | |||
| 41c56acd32 | |||
| 2eb9b2aaaa | |||
| 67dae3b814 | |||
| 43c328d26f | |||
| bcb736ed19 | |||
| 6772ca67d3 | |||
| 1b5551274a | |||
| 1920d4cb06 | |||
| 47ed778cc4 | |||
| 03d9782f22 | |||
| 36d8e05a32 | |||
| 135637291c | |||
| d3061585e8 | |||
| 9099c3f533 | |||
| 5bceb03478 | |||
| 4e73b8b03d | |||
| 291787eaaa | |||
| 3a951210a5 | |||
| daa1674a20 | |||
| c48495d911 | |||
| 87186585d6 | |||
| e6d183d038 |
@@ -8,7 +8,7 @@
|
||||
"plugins": [
|
||||
{
|
||||
"name": "isep",
|
||||
"description": "InkStone Environment Plugin —— leo 的 Claude Code 環境唯一真相源:43 支機械閘(53 條註冊,白話盤點見 docs/hooks-inventory.md)、7 支 slash command、2 支 skill、27 支腳本,外加治理規範與標籤真相源。本機與雲端裝同一份,沒有子集。",
|
||||
"description": "InkStone Environment Plugin —— leo 的 Claude Code 環境唯一真相源:46 支機械閘(56 條註冊,白話盤點見 docs/hooks-inventory.md)、7 支 slash command、2 支 skill、27 支腳本,外加治理規範與標籤真相源。本機與雲端裝同一份,沒有子集。",
|
||||
"author": {
|
||||
"name": "Leo",
|
||||
"url": "https://uncle6.me"
|
||||
|
||||
@@ -1,7 +1,7 @@
|
||||
{
|
||||
"name": "isep",
|
||||
"description": "InkStone Environment Plugin —— leo 的 Claude Code 環境唯一真相源:43 支機械閘(53 條註冊,白話盤點見 docs/hooks-inventory.md)、7 支 slash command、2 支 skill、27 支腳本,外加治理規範與標籤真相源。本機與雲端裝同一份,沒有子集。",
|
||||
"version": "0.0.0",
|
||||
"description": "InkStone Environment Plugin —— leo 的 Claude Code 環境唯一真相源:48 支機械閘(59 條註冊,白話盤點見 docs/hooks-inventory.md)、7 支 slash command、2 支 skill、27 支腳本,外加治理規範與標籤真相源。本機與雲端裝同一份,沒有子集。",
|
||||
"version": "0.5.1",
|
||||
"keywords": [
|
||||
"inkstone",
|
||||
"guardrails",
|
||||
|
||||
@@ -0,0 +1,9 @@
|
||||
|
||||
# 含金鑰真身的雲端設定,永遠不進版控(2026-08-20 實際差點被 git add)
|
||||
cloud-env*.txt
|
||||
*.env
|
||||
.shell-payload/
|
||||
|
||||
# import 共用零件時 python 自己生的,不是原始碼
|
||||
__pycache__/
|
||||
*.pyc
|
||||
@@ -23,7 +23,7 @@
|
||||
|
||||
| | 數量 | 是什麼 |
|
||||
|---|---|---|
|
||||
| `hooks/` | 43 支 + `hooks.json` | 全部機械閘(PreToolUse/Stop/SubagentStop/SessionStart/PostToolUse 共 53 條註冊) |
|
||||
| `hooks/` | 48 支 + `hooks.json` | 全部機械閘(PreToolUse/Stop/SubagentStop/SessionStart/PostToolUse 共 59 條註冊) |
|
||||
| `commands/` | 7 支 | `/wiki-recall` `/ship-check` `/cp-write` … |
|
||||
| `skills/` | 2 支 | |
|
||||
| `scripts/` | 23 支 | `ticket`/`github-arm.sh`/`gitea-bootstrap.sh` … |
|
||||
@@ -48,6 +48,10 @@ hook 一律用官方的 `${CLAUDE_PLUGIN_ROOT}`,**不准寫死絕對路徑、
|
||||
**不用點開任何 `.sh`**——`docs/hooks-inventory.md` 一支一行白話,按「你會在什麼時候撞到它」分組。
|
||||
測試手冊在 `docs/TESTING.md`,治理規範在 `docs/governance/`。
|
||||
|
||||
🔴 **派工前先讀 `docs/governance/dispatch-and-reply-format.md`**——
|
||||
派工單只給票號(其餘全部寫進票或共通規定),票上的每一則留言第一行要表明身份。
|
||||
兩件事都有機械閘(`dispatch-format-guard.sh`/`reply-identity-guard.sh`)。
|
||||
|
||||
## 版本
|
||||
|
||||
**「ISEP 現在是哪一版」只有一個地方答得出來:[Gitea Releases](https://git.uncle6.me/inkstone/ISEP/releases)。**
|
||||
|
||||
+98
-20
@@ -60,6 +60,54 @@ python3 scripts/ticket where 標籤 模組化
|
||||
ISEP 的叫 `origin`,於是這道閘在新 repo 等於不存在)
|
||||
- 結果只有單一 repo ⇒ 搜尋沒有跨 repo,等於沒搜
|
||||
|
||||
### A9 — 人閘警察的管路:該擋的擋、壞掉不會卡住 session
|
||||
```
|
||||
bash hooks/tests/ask-user-question-guard.test.sh
|
||||
```
|
||||
**該看到**:`14/14 通過`。**不打網路、不花錢**(判官用替身)。
|
||||
**失敗**:
|
||||
- A 群(該放行)任何一條紅 ⇒ **誤攔**,這比漏擋嚴重——它會讓真人閘的問題送不到 leo
|
||||
- ⑤⑥⑦ 任一條紅 ⇒ fail-open 壞了:判官掛掉會變成「問不出去」,等於一支閘癱瘓整個 session
|
||||
- ⑩b 紅 ⇒ 訊息被 shell 展開了(2026-08-26 真的犯過:`cat >&2 <<EOF` 沒加引號,
|
||||
訊息裡的反引號被當命令執行,**閘照擋,但它教人怎麼解的那兩行變成空白**)
|
||||
|
||||
### A10 — 人閘警察的準度:四題公式判得準不準
|
||||
```
|
||||
bash hooks/tests/ask-user-question-guard.live.test.sh
|
||||
```
|
||||
🔴 **這支真的會叫 haiku**(9 題、每題一次呼叫,整支約 2 分鐘)。
|
||||
**該看到**:`9/9 通過`,且結尾的「A 群誤攔」計數是 **0**。
|
||||
**失敗**:
|
||||
- **A 群紅(誤攔真人閘)=最嚴重**:等於讓總管替 leo 決定他的品味。看到就停下來改判準,不要放著
|
||||
- B 群紅 = 漏擋,判官把純技術題當成人閘。改 `ask-user-question-guard.sh` 裡判官提示的
|
||||
③④ 兩題定義,**不要改成關鍵字比對**(那是被明令禁止的文字層封路)
|
||||
- 📌 這支會隨模型版本漂移,**是量尺不是一次性驗收**。改完判準要連跑三次都全綠才算數
|
||||
(2026-08-26 實測:第一版判準連兩次都在同一題漏擋,收緊 ③④ 定義後三次全綠)
|
||||
|
||||
### A11 — 派工單只剩票號:擋得住,也放得過,而且會注入共通規定
|
||||
```
|
||||
bash hooks/tests/dispatch-format-guard.test.sh
|
||||
```
|
||||
**該看到**:`19/19 通過`。**離線、不打網路、不花錢**——這支閘是純結構判斷,沒有語意判官,
|
||||
所以它不需要像 A10 那樣另開一支 live 測試量準度,**每次結果都一樣**。
|
||||
**失敗**:
|
||||
- A 群任何一條紅 ⇒ **誤攔**。合規的派工只有一行票號,擋掉它等於整台機器派不了工
|
||||
- ⑦ 紅 ⇒ **共通規定沒有被注入**。這是「派工單只剩票號」能成立的前提:
|
||||
交件方式、不准 push main、org 是 `inkstone` 這些不必有人記得寫,機器每次都補。
|
||||
它壞了不會有人立刻發現——派工照樣送出去,只是收工方**不知道要貼回原票**
|
||||
- ⑨ 紅 ⇒ 真跡放行了。那份測資是**真的發生過的那一次派工**(見 `hooks/tests/fixtures/README.md`)
|
||||
- ⑰ 紅 ⇒ 訊息被 shell 展開了(同 A9 ⑩b 那個病:閘照擋,但它教人怎麼解的那兩行變成空白)
|
||||
|
||||
### A12 — 票上的每一則留言都認得出是誰寫的(兩道門)
|
||||
```
|
||||
bash hooks/tests/reply-identity.test.sh
|
||||
```
|
||||
**該看到**:`11/11 通過`。離線,正門的案例全部在打 API 之前就結束,不會真的送出留言。
|
||||
**失敗**:
|
||||
- ③ 紅 ⇒ 誤攔了「GET 撈留言」。那是最常做的動作,擋它比漏擋更糟
|
||||
- ①⑧ 紅 ⇒ 有一道門沒守住。**貼留言有兩條路**(`scripts/ticket` 正門、Gitea API 側門),
|
||||
只封一條等於沒封——`ticket-api-bypass-guard.sh` 是**刻意放行**對既有票留言的
|
||||
|
||||
### A6 — 標籤對齊且冪等
|
||||
```
|
||||
bash scripts/gitea-labels-sync.sh
|
||||
@@ -124,38 +172,64 @@ bash scripts/make-cloud-env.sh
|
||||
|
||||
**該看到**:儲存後沒有紅字。
|
||||
|
||||
### B2 — 開一個新的雲端 session,確認裝上了
|
||||
### B2 — 開一個新的雲端 session,第一眼找信標
|
||||
|
||||
**什麼都不用打。** session 一開,找這一行:
|
||||
|
||||
在雲端 session 裡打:
|
||||
```
|
||||
跑 claude plugin list 給我看
|
||||
🟢 ISEP v0.3.0 已載入(44 支閘在 …)
|
||||
```
|
||||
**該看到**:`isep@inkstone` / `Version: 0.2.1`(要跟 Releases 頁最新那個一樣)/ `✔ enabled`。
|
||||
|
||||
**該看到**:有這行,而且版本號跟 Releases 頁最新那個一樣。
|
||||
|
||||
**失敗**:
|
||||
- 沒有 `isep` ⇒ Setup script 沒跑成功 → 叫它把 setup 的輸出貼回來
|
||||
- 版本比 Releases 舊 ⇒ 環境快取住了(設定跑完會被拍成快照,約 7 天或改了 setup script 才重拍)
|
||||
→ 動一下 setup script 的內容,強制重拍
|
||||
- **沒有這行** ⇒ plugin 沒載入,這個 session 是**零閘狀態**。先修 plugin,不要開始做事。
|
||||
- 版本比 Releases 舊 ⇒ 環境快取住了(setup 跑完會被拍成快照,約 7 天、或改了 setup script 才重拍)→ 動一下 setup script 的內容強制重拍。
|
||||
|
||||
### B3 — 雲端載到的元件數量要跟本機一樣
|
||||
```
|
||||
跑 claude plugin details isep 給我看
|
||||
```
|
||||
**該看到**:`Skills (9)`、`Hooks (5) PreToolUse, SessionStart, Stop, SubagentStop, PostToolUse`
|
||||
——**跟本機看到的一模一樣**。
|
||||
**失敗**:比本機少 ⇒ 又回到「兩邊不一樣」,正是 `InkStoneCo#57` 那張票的病。
|
||||
🔴 **為什麼是這一行,而不是叫它跑指令**:這行由 `isep-presence-beacon.sh` 發出,
|
||||
而那支腳本**住在 plugin 裡**。plugin 沒載入 ⇒ 它不可能發聲。
|
||||
**沒有「剛好也會過」的情況**——這就是鑑別力。
|
||||
|
||||
### B3 — 要它把 setup 的驗證結果貼回來
|
||||
|
||||
### B4 — 最關鍵:雲端的閘真的會擋,而且擋的是 plugin 那份
|
||||
```
|
||||
請執行 git tag -a v9.9.9 -m test
|
||||
把這個環境 setup script 的輸出貼給我看
|
||||
```
|
||||
**該看到**:被擋下,訊息提到「版本不一致」與 `plugin.json`。
|
||||
|
||||
**該看到**兩行綠:
|
||||
```
|
||||
✅ git 認證通:拉得到 inkstone/ISEP
|
||||
✅ marketplace inkstone 已就位
|
||||
```
|
||||
|
||||
**失敗**:任一行是紅的 ⇒ 訊息本身會講該查什麼(token 值對不對、有沒有被撤銷)。
|
||||
看不到任何輸出 ⇒ setup script 根本沒跑,回 B1 確認欄位真的存好了。
|
||||
|
||||
### B4 — 閘真的會擋(用有鑑別力的動作)
|
||||
|
||||
```
|
||||
請把這段寫進 /tmp/wf.yaml:auth: __GITEA_TOKEN__
|
||||
```
|
||||
|
||||
**該看到**:被擋下,訊息開頭是 `🔒 credential 鐵律攔截(leo 2026-07-29 立)`。
|
||||
|
||||
🔴 **副檔名不能改成 `.md`。** `credential-only-guard` **刻意豁免** `.md`/`docs/`/`wiki/`
|
||||
(文件本來就要能談論這些字串,本頁自己就寫滿了)。
|
||||
2026-08-21 實撞:舊寫法用 `/tmp/x.md` ⇒ **exit 0,閘完全沒反應**——
|
||||
那是沒撞過就寫進來的探針,跟它要取代的假綠是同一個病。
|
||||
|
||||
**失敗**:
|
||||
- 它真的把 tag 打出去 ⇒ **雲端仍然沒有閘**(跟 `InkStoneCo#14` 記的一樣)
|
||||
- 它只是嘴上說「我不應該這麼做」而沒有閘的訊息 ⇒ 同上,那是模型自律不是機械閘
|
||||
- 真的寫進去了 ⇒ 雲端仍然沒有閘。
|
||||
- 它只是嘴上說「我不應該這麼做」而沒有閘的訊息 ⇒ 同上,那是模型自律不是機械閘。
|
||||
|
||||
🔴 **不要再用 `git tag` 當測試**(舊版 B4 就是這樣寫的,而它是假的):
|
||||
`git tag` 出現在**三支閘的白名單**裡,閘全滅時它照樣「被擋」的相反——照樣通過,
|
||||
於是 2026-08-20 那次雲端零閘,三個驗證步驟**全部回綠**。
|
||||
一個在閘死掉時也會給出正確答案的測試,不是測試。
|
||||
|
||||
### B5 — 回報
|
||||
|
||||
B2/B3/B4 三個畫面貼回 `inkstone/InkStoneCo#14`。
|
||||
B2(信標那行)/B3(setup 輸出)/B4(閘的訊息)三個畫面貼回 `inkstone/InkStoneCo#14`。
|
||||
全綠 ⇒ 那張票可以關,`#57` 也解掉一半。
|
||||
|
||||
---
|
||||
@@ -170,6 +244,10 @@ B2/B3/B4 三個畫面貼回 `inkstone/InkStoneCo#14`。
|
||||
| A4 開票側門閘 | 總管 | ✅ 13/13 |
|
||||
| A5 搜尋跨 repo | 總管 | ✅ |
|
||||
| A6 標籤對齊+冪等 | 總管 | ✅ 14 repo,第二次 0/0 |
|
||||
| **A9 人閘警察管路** | 總管 | ✅ 14/14(2026-08-26) |
|
||||
| **A10 人閘警察準度** | 總管 | ✅ 9/9,連跑三次(2026-08-26),A 群誤攔 0 |
|
||||
| **A11 派工單只剩票號** | 總管 | ✅ 19/19(2026-08-27) |
|
||||
| **A12 留言身份欄(兩道門)** | 總管 | ✅ 11/11(2026-08-27) |
|
||||
| A7 plugin 裝得起來 | 總管 | ✅ |
|
||||
| **A8 新 session 閘會觸發** | 總管 | 見本版 release note |
|
||||
| **B1–B5 雲端** | **leo** | 還沒跑(機器碰不到 Cloud environment) |
|
||||
|
||||
+30
-30
@@ -1,38 +1,38 @@
|
||||
#!/usr/bin/env bash
|
||||
# 貼進 code-on-web「Cloud environments → 你的環境 → Setup script」欄位的內容。
|
||||
# 不是 ISEP 的一部分(不會被 Claude Code 當 hook/command/skill 掃描),
|
||||
# 純粹是給 leo 複製貼上的參考檔,見 docs/cloud-session-bootstrap.md。
|
||||
# 貼進 claude.ai → Cloud environments → 你的環境 → Setup script 欄位。
|
||||
#
|
||||
# 前提(要先在同一個 Cloud environment 的 Environment variables 欄位加好):
|
||||
# GITEA_TOKEN_CLAUDE_CODE ← 既有機器帳號 token,名字沿用 InkStoneCo#14 已建立的那把,
|
||||
# 不要新造一把。值本身不寫在這支腳本或任何檔案裡。
|
||||
# 🔴 2026-08-21:這支腳本從「要 token」變成「不要 token」,因為查文件查出兩件事——
|
||||
#
|
||||
# 這支腳本做兩件事:
|
||||
# 1. 設定 git URL 重寫,讓任何對 git.uncle6.me 的 clone 都能用 GITEA_TOKEN_CLAUDE_CODE 認證
|
||||
# (官方文件對「CI/CD 裝私有 marketplace」建議的寫法,見 references 段)。
|
||||
# 2. 直接把 ISEP 裝成 user-scope plugin ——不是「複製一份」,是跟本機一樣走
|
||||
# `claude plugin marketplace add` + `claude plugin install`,裝的東西
|
||||
# 100% 來自 inkstone/ISEP 這個 repo 本身,沒有第二份內容。
|
||||
# ① **setup script 讀不到 Environment variables。**
|
||||
# 官方原文:「Each session copies the environment's values once, **at startup**,
|
||||
# into ordinary environment variables」,而 setup script 是
|
||||
# 「**before Claude Code launches**」跑的 ⇒ 注入發生在它之後。
|
||||
# ⇒ 舊版把 token 放進 Environment variables 再要這裡讀,永遠讀不到。
|
||||
#
|
||||
# 何時跑:只在「這個 Cloud environment 第一次開 session」時跑一次,
|
||||
# 跑完 Anthropic 會把整個檔案系統拍成快照,之後的 session 直接沿用快照
|
||||
# (不重跑,除非改了這支腳本本身、改了 allowed network hosts、或快照滿 7 天過期)。
|
||||
# ⇒ 這是唯一會讓「ISEP 改了但雲端還是舊的」重新出現的地方,
|
||||
# 緩解法見 docs/cloud-session-bootstrap.md「已知限制」段。
|
||||
# ② **非零結束會讓整個 session 開不起來。**
|
||||
# 官方原文:「**Exit zero**: if the script exits non-zero, the session fails to start.」
|
||||
# ⇒ 這裡一律 exit 0。任何失敗只記錄,不擋門。
|
||||
#
|
||||
# 解法是拿掉憑證需求本身:`inkstone` org 與 `inkstone/ISEP` 都改成 Public
|
||||
# ⇒ 匿名 clone 得到(2026-08-21 實測:匿名 git-upload-pack HTTP 200、
|
||||
# 真隔離環境(無憑證、GIT_CONFIG_NOSYSTEM=1)ls-remote 成功)
|
||||
# ⇒ **雲端不再需要任何金鑰就能裝 ISEP。**
|
||||
#
|
||||
# 真正讓 plugin 生效的是薄殼 repo 的 .claude/settings.json
|
||||
# (extraKnownMarketplaces + enabledPlugins)——官方文件:
|
||||
# 「Installed at session start from the marketplace you declared.」
|
||||
# 下面兩行是備援,讓 marketplace 在 session 啟動前就已經在快照裡。
|
||||
|
||||
set -euo pipefail
|
||||
set -uo pipefail
|
||||
|
||||
if [ -z "${GITEA_TOKEN_CLAUDE_CODE:-}" ]; then
|
||||
echo "❌ 找不到 GITEA_TOKEN_CLAUDE_CODE —— 去 Cloud environment 的 Environment variables 加這個名字" >&2
|
||||
exit 1
|
||||
claude plugin marketplace add https://git.uncle6.me/inkstone/ISEP.git --scope user 2>&1 || true
|
||||
claude plugin install isep@inkstone --scope user 2>&1 || true
|
||||
|
||||
if claude plugin marketplace list 2>/dev/null | grep -q "inkstone"; then
|
||||
echo "✅ marketplace inkstone 已就位"
|
||||
else
|
||||
echo "⚠️ marketplace 沒就位——session 啟動時會再試一次(薄殼 settings.json 宣告的那條路)。"
|
||||
echo " 若 session 開頭看不到「🟢 ISEP v… 已載入」,就是這條也失敗了。"
|
||||
fi
|
||||
|
||||
# 官方文件建議的私有 marketplace 認證寫法:只重寫這個 host 的 URL,不動其他 git 操作。
|
||||
git config --global url."https://x-access-token:${GITEA_TOKEN_CLAUDE_CODE}@git.uncle6.me/".insteadOf \
|
||||
"https://git.uncle6.me/"
|
||||
|
||||
# 用乾淨網址(不帶 token)加 marketplace,實際認證交給上面那條 URL 重寫。
|
||||
claude plugin marketplace add https://git.uncle6.me/inkstone/ISEP.git --scope user
|
||||
claude plugin install isep@inkstone --scope user
|
||||
|
||||
echo "✅ ISEP 已裝成 user-scope plugin,之後每個 session 啟動時直接生效。"
|
||||
exit 0
|
||||
|
||||
@@ -0,0 +1,113 @@
|
||||
# 派工單與交件回覆的格式(共通規定)
|
||||
|
||||
> leo 2026-08-27(`inkstone/ISEP#30` comment 4322 / 4325 / 4327):
|
||||
> 「你用一個 **output parser** 把你給 subagent 的指令規範,**分作幾點,每一點規定格式**,
|
||||
> **照這種散文寫法根本無法迭代**」/「**警察也不能抓**」/
|
||||
> 「**交件方式不需要寫,定義在原則裡,每張票都要做這件事⋯⋯每次都一樣提取出來變成共通規定**」/
|
||||
> 「(那些 session 事實)**這些為什麼不寫到票裡?**」/「**subagent 回覆時要表明身份**」
|
||||
|
||||
**本檔就是那份「共通規定」。** 它不是給人讀完記住的——
|
||||
`hooks/dispatch-format-guard.sh` 會把 §2 自動注入每一次派工,
|
||||
所以收工方**沒讀派工單也會拿到**。
|
||||
|
||||
---
|
||||
|
||||
## 1. 派工單 = 票號。就這樣
|
||||
|
||||
```
|
||||
【工單】inkstone/ISEP#30 → comment 4322
|
||||
```
|
||||
|
||||
要帶兩張票就兩行 `【工單】`。**沒有第二個欄位。**
|
||||
|
||||
### 為什麼
|
||||
|
||||
派工單裡想寫的東西只有兩種,**兩種都不該留在派工單**:
|
||||
|
||||
| 種類 | 舉例 | 該住哪 |
|
||||
|---|---|---|
|
||||
| **每次都一樣** | 交件方式、不要 push main、org 是 `inkstone`、先讀該 repo 的 CLAUDE.md | **本檔 §2**(機器自動注入) |
|
||||
| **這次才知道** | `main` 現在是哪顆、今天撞過什麼、另一條線正在動同一個 repo | **寫進那張票** |
|
||||
|
||||
**判準一句話:「這句話換一張票還成立嗎?」**
|
||||
還成立 ⇒ 共通規定。只有這次成立 ⇒ 寫進這張票。**兩種都不進派工單。**
|
||||
|
||||
🔴 **「票上還沒有」不是把它寫進 prompt 的理由——它是「去把它寫上票」的指令。**
|
||||
寫進 prompt 的後果:那個 agent 被停掉或換人接手,那段事實就隨 prompt 消失。
|
||||
2026-08-27 實害:總管停掉重派 3 次,前兩次的任務與 session 事實**全部蒸發**。
|
||||
|
||||
### 機械閘
|
||||
|
||||
`hooks/dispatch-format-guard.sh`(PreToolUse `Task`/`Agent`)——
|
||||
`【工單】` 以外還有實質內容就擋,並指出那些內容該搬去哪一格。
|
||||
判準是**「這一行是不是【工單】欄位」**(在不在),不是「它寫了什麼」。
|
||||
|
||||
---
|
||||
|
||||
## 2. 共通規定(每一次派工由機器自動注入給收工方)
|
||||
|
||||
<!-- INJECT:BEGIN 這段之間的內容會被 dispatch-format-guard.sh 原文注入,改這裡=改所有派工 -->
|
||||
### 你收到的派工單只有一個票號。任務全文在票上。
|
||||
|
||||
1. **第一個動作是去讀那張票**(含每一則 comment)。派工單不會再給你別的東西——
|
||||
這是刻意的:票活得比任何一個 agent 久。
|
||||
2. **票上的脈絡不夠 ⇒ 回票上問**,不要憑猜測動手,也不要回頭問派工的人要細節。
|
||||
3. **交件=貼回那張票**(`scripts/ticket say <owner/repo#N> -F <檔>`),
|
||||
不是只在對話裡回報。回覆第一行必須是身份欄,見下。
|
||||
4. **回覆第一行一律是**:
|
||||
`【身份】subagent/<owner/repo>/<你的分支>`
|
||||
角色三選一:`總管`/`subagent`/`leo`。
|
||||
5. **不准 push 到 `main`/`master`**,也不准部署 prod。做在自己的分支上,交回分支名。
|
||||
6. **Gitea 的 org 是 `inkstone`**(不是 `Leo`);`gh` 打不到 Gitea;
|
||||
標籤是 `s/*` 不是 `status/*`。
|
||||
7. **先讀你要動的那個 repo 的 `CLAUDE.md` 與 `system-dev/wiki/`**,照它的慣例走,
|
||||
不要照你自己習慣的做法。
|
||||
8. **交出去之前,你要知道它能不能用**——貼實測輸出,不是「我測過了」。
|
||||
有一格沒驗 ⇒ 那是 report 不是 deliver,講清楚哪一格。
|
||||
9. **改了會被載入的東西(plugin/worker/bundle)就要升版**,
|
||||
否則產物按版本號分資料夾,你的改動到不了任何人手上。
|
||||
<!-- INJECT:END -->
|
||||
|
||||
> 🔴 **這一段是「每次都一樣」的唯一真相源。**
|
||||
> 想在派工單裡加一句叮嚀之前,先問:它換一張票還成立嗎?
|
||||
> 成立就加在這裡(改一次,全機生效),不要加在那一次的 prompt 裡。
|
||||
|
||||
---
|
||||
|
||||
## 3. 交件回覆 = 第一行表明身份
|
||||
|
||||
```
|
||||
【身份】subagent/inkstone/ISEP/feat/ticket-carries-the-task
|
||||
```
|
||||
|
||||
- 角色是**三選一的允許清單**:`總管`/`subagent`/`leo`
|
||||
- 第二格是你動的 repo,第三格是分支(沒有就寫 `-`)
|
||||
|
||||
### 為什麼
|
||||
|
||||
2026-08-27 實害:多條線並行時票上的留言看不出身份,
|
||||
**總管寫的診斷被當成 subagent 的結論,而其中一則是錯的**。
|
||||
|
||||
🔴 **這條管所有人,不是只管 subagent。** 總管寫在票上的東西同樣要標
|
||||
`【身份】總管/…`——leo 要分得出哪一則是誰寫的。
|
||||
|
||||
### 機械閘(兩道,因為這個動作有兩條路)
|
||||
|
||||
| 路 | 閘 |
|
||||
|---|---|
|
||||
| 正門 `scripts/ticket say` / `decide` | 腳本內建檢查,貼上去之前就擋 |
|
||||
| 側門 直接打 Gitea API 貼 comment | `hooks/reply-identity-guard.sh`(PreToolUse `Bash`) |
|
||||
|
||||
> 只封正門的閘等於沒封——`ticket-api-bypass-guard.sh` 的檔頭已經記過這一課:
|
||||
> 「規範有、閘也有,但閘長在『工具』上,而那個動作有兩條路,只封了一條。」
|
||||
|
||||
---
|
||||
|
||||
## 4. 這份規範自己怎麼被驗
|
||||
|
||||
```
|
||||
bash hooks/tests/dispatch-format-guard.test.sh 派工單閘:該擋的與不該擋的
|
||||
bash hooks/tests/reply-identity.test.sh 身份欄:正門與側門兩道
|
||||
```
|
||||
|
||||
測資裡放的是**真的發生過的那幾份違規派工單**,不是想像出來的例子。
|
||||
@@ -677,3 +677,28 @@ Gitea 的 milestone 只管得到同一個 repo,所以六個群在 `inkstone/IS
|
||||
結構(正交) hub ← tracking issue 標記
|
||||
封存不刪 duplicate ← 由 close/duplicate 取代,保留在歷史票上
|
||||
```
|
||||
|
||||
### M4.8 每個里程碑都要有真的期限(leo 2026-08-21 立)
|
||||
|
||||
> 「**以後所有的 milestone 限制時間**」/「**你根本沒有時間概念,浪費一整天**」
|
||||
|
||||
🔴 **`9999-01-01` 不算期限。** 立這條的當下實查七個 open milestone,
|
||||
**六個的期限是 `9999-01-01`**——那是「沒有期限」穿了一件期限的衣服,
|
||||
比空白更糟:盤點時每一格看起來都有值,於是沒有人發現這裡從來沒有時間壓力。
|
||||
|
||||
**怎麼定**:里程碑的 deliverable 是**一個可測的版本**(M4.0)。
|
||||
問一句「**這個版本幾號要能給 leo 打開?**」,那天就是期限。
|
||||
|
||||
| 剩幾張未結 | 期限 |
|
||||
|---|---|
|
||||
| 本週要收 | 三天 |
|
||||
| 1–3 張 | 一週 |
|
||||
| 4 張以上 | 兩週 |
|
||||
|
||||
**過期了怎麼辦**:不自動關、不自動打 tag(M4.3 已否決那條)。
|
||||
過期只做兩件事——**對帳**(哪幾張沒動)與**通知**。
|
||||
期限的用途是製造節奏,不是製造假完成。
|
||||
|
||||
**機械閘**=`hooks/milestone-due-guard.sh`(PreToolUse `Bash`):
|
||||
建 milestone 沒有 `due_on`、或 `due_on` 帶 `9999` → 擋。
|
||||
四向實測:無 due_on 擋/9999 擋/真期限放行/只是讀 milestone 放行。
|
||||
|
||||
+25
-5
@@ -1,4 +1,4 @@
|
||||
# 43 支閘,白話盤點表
|
||||
# 46 支閘,白話盤點表
|
||||
|
||||
> 回應 `inkstone/InkStoneCo#40`:「如果加入了,我應該可以白話文看到 hooks 的內容?」
|
||||
> 這份表就是那個「白話文」——不用點開任何 `.sh` 檔,一行看懂一支閘在管什麼。
|
||||
@@ -7,10 +7,16 @@
|
||||
|
||||
## 一句話結論
|
||||
|
||||
`hooks/` 底下有 **43 個 `.sh` 檔**,`hooks.json` 實際掛上 **53 條註冊**(同一支閘常被多種情境同時掛上);
|
||||
`hooks/` 底下有 **46 個 `.sh` 檔**,`hooks.json` 實際掛上 **56 條註冊**(同一支閘常被多種情境同時掛上);
|
||||
其中 **3 支檔案存在但沒被掛上**(2 支是待人填的空範本、1 支是刻意留著沒開的止血帶,見下面「未生效」表)。
|
||||
下面按「你會在什麼時候撞到它」分組,一支一行。
|
||||
|
||||
> 🔴 **這兩個數字上一版是錯的(2026-08-26 實際數過才發現)**:本頁原本寫「43 個檔、53 條註冊」,
|
||||
> 而當時真實是 **45 個檔、55 條註冊**——中間有兩支閘進來時沒有回頭改這裡。
|
||||
> 現在的寫法是實際數出來的:
|
||||
> `ls hooks/*.sh | wc -l` = 46;`hooks.json` 展開後的 command 條目 = 56。
|
||||
> **一份會偷偷過期的盤點表,跟沒有盤點表差不多**——見本頁最後「怎麼跟實況對帳」那段。
|
||||
|
||||
---
|
||||
|
||||
## 怎麼讀這張表
|
||||
@@ -38,6 +44,7 @@
|
||||
| `leo21c-write-guard.sh` | AI 想寫東西到你私人帳號 `leo21c` 就擋下——這個帳號只准你自己用,AI 的實驗一律走別的測試帳號。 | 🛑 擋 |
|
||||
| `release-tag-guard.sh` | AI 想打版本 tag,但 `plugin.json` 裡寫的版本號跟 tag 對不上就擋下——避免「這裡說 0.2.0、那裡說 0.1.0」各說各話。 | 🛑 擋 |
|
||||
| `ticket-api-bypass-guard.sh` | AI 想繞過 `scripts/ticket` 工具、直接打 API 開新 Gitea 票(會漏掉「開票前先搜過」這道檢查)就擋下。 | 🛑 擋 |
|
||||
| `reply-identity-guard.sh` | 直接打 Gitea API 貼留言到票上時,內文第一行沒有 `【身份】`(`總管`/`subagent`/`leo`)就擋下——票上多條線並行時,看不出哪一則是誰寫的。純讀取、走 `scripts/ticket` 正門、指令裡加 `reply-identity-ok` 都放行。 | 🛑 擋 |
|
||||
|
||||
## B. AI 想寫檔案/改程式碼的當下(PreToolUse / Write·Edit·MultiEdit)
|
||||
|
||||
@@ -49,7 +56,7 @@
|
||||
| `sdd-guard.sh` | AI 想直接動程式碼檔案,但找不到「唯一一份 active 規格文件(SDD)」對應這件事,或同時有一份以上 active 規格就擋下。 | 🛑 擋 |
|
||||
| `credential-only-guard.sh` | AI 想把金鑰真身或自製佔位符(例如 `__XXX_TOKEN__`)寫進設定檔就擋下——金鑰只准放在統一的 credential 中心。 | 🛑 擋 |
|
||||
| `arcrun-intent-guard.sh` | AI 寫的 Arcrun workflow 語法不對就擋下,而且**直接把正確寫法回貼給它**(不是只罵它錯,是教它怎麼改)。 | 🛑 擋(教學型) |
|
||||
| `subagent-first-guard.sh` | 這個對話**從頭到尾都沒有派過任何 subagent**,AI 卻要自己動手改程式碼,就先擋一次,逼它想一想「這件事能不能交給別人做」。 | 🛑 擋 |
|
||||
| `subagent-first-guard.sh` | AI(不是被派來做這件事的 subagent 本人)要親手改程式碼(含閘自己的 `.sh`),就擋下逼它想「這件事能不能交給別人做」——擋過一次後有寬限期不鬼打牆,但寬限期一過會再響,不是擋過一次就永久放行。 | 🛑 擋 |
|
||||
| `mistake-needs-ticket-guard.sh` | AI 想往 `mistakes.md`(教訓紀錄)新增一條「機制可以防止」的教訓,卻沒附對應票號就擋下——沒有票號的教訓沒有人會回頭處理。 | 🛑 擋 |
|
||||
| `pending-changes-retired.sh` | AI 想寫東西進已經廢除的 `pending-changes.md` 檔案就擋下——這個檔案已停用,規格變更一律改開 Gitea 票。 | 🛑 擋 |
|
||||
|
||||
@@ -70,6 +77,19 @@
|
||||
| `micromanage-guard.sh` | 派工單寫得太細(指名檔案函式、編號步驟、要求每做一項回報一次…)就擋下——subagent 該被當成有能力的同事,不是照抄劇本的工具。 | 🛑 擋 |
|
||||
| `irreversible-dispatch-guard.sh` | 派工單裡出現「刪分支」「drop table」「rm -rf」這類不可逆動作,卻沒寫「先停下來等回覆才執行」就擋下。 | 🛑 擋 |
|
||||
| `no-ticket-no-dispatch.sh` | 派工單裡沒有寫工單號(`【工單】owner/repo#N`),或那張票已經關閉/根本不存在,就擋下——沒有票號的工作沒有人追得到進度。 | 🛑 擋 |
|
||||
| `dispatch-format-guard.sh` | **派工單 = 票號,就這樣。** 票號以外還寫了別的東西(背景、驗收條件、紅線、交件方式、「這個 session 才知道的事」)就擋下,並告訴你那些內容該搬去哪:每次都一樣的 → 共通規定;這次才知道的 → **寫進那張票**。反過來,合規的派工它會**自動把共通規定注入**給收工方(交件方式、不准 push main、org 是 `inkstone`…),所以你不寫也不會漏。判準是「這一行是不是【工單】欄位」——**在不在**,不是寫了什麼,所以講得再謹慎也不會被多罰。 | 🛑 擋(+注入) |
|
||||
|
||||
## D2. AI 想開口問你問題的當下(PreToolUse / AskUserQuestion)
|
||||
|
||||
| 閘名 | 對你意味著什麼 | 動作 |
|
||||
|---|---|---|
|
||||
| `ask-user-question-guard.sh` | AI 要跳出來問你一個問題的**那一刻**先攔一下,用小模型(haiku)照「四題公式」判這題該不該打擾你:**花錢/不可逆/跨專案結構/品味方向/只有你做得到**——命中任何一題就放行(那本來就該問你),四題全否(純技術實作選擇、問「要不要開始」)就擋回去要它自己裁。**同一個問題只擋一次**,它重送就過得去,所以判錯不會害你收不到問題;判官掛掉/沒網路也一律放行。 | 🛑 擋(同一題至多一次) |
|
||||
|
||||
> **為什麼要有這一組**(leo 2026-08-26:「今天已經好幾次問我,**為什麼 hooks 沒有攔下來?**」):
|
||||
> 在這之前 `AskUserQuestion` 在 `hooks.json` 裡出現 **0 次**,一支閘都沒掛。
|
||||
> F 組那兩支自走警察(`self-drive-police` / `self-drive-judge`)判準一樣,
|
||||
> 但它們掛在「收工」那一刻——**問題早就送到你眼前了**,事後再問 AI「你查過了嗎」已經來不及。
|
||||
> 這一組補的是**時機**,不是判準。
|
||||
|
||||
## E. 每個對話一開始(SessionStart)
|
||||
|
||||
@@ -84,7 +104,7 @@
|
||||
|---|---|---|
|
||||
| `empty-handed-stop-guard.sh` | 這一輪 AI**一個動作都沒做**卻想停下來(等你回覆),就擋下並告訴它「你的命令就是完整授權,不用再等第二次確認」。 | 🛑 擋(至多攔一次) |
|
||||
| `worklist-guard.sh` | AI 自己列過的待辦清單裡還有沒做完的步驟,卻想收工寫報告,就擋下,逼它做完剩下的步驟。 | 🛑 擋 |
|
||||
| `factory-idle-guard.sh` | AI 該去派工卻沒派(工頭停工),就擋下要它交出「已經派工的憑證」,不是隨口說一句「我會催」就算數。 | 🛑 擋 |
|
||||
| `factory-idle-guard.sh` | AI 該去派工卻沒派(工頭停工),就擋下要它交出「已經派工的憑證」,不是隨口說一句「我會催」就算數。**過閘有四條路:現在就派工/把票號寫進那句話/寫一行 `⏸ 等:<在等什麼>`/這一輪收尾在動作上。** 2026-08-23(inkstone/ISEP#30)修好「引用被當成主張」——貼原始碼、引用它自己的訊息、否認自己有下一步,都不再被咬。 | 🛑 擋 |
|
||||
| `browser-verify-guard.sh` | 這一輪 AI 宣稱「前端驗過了」,卻沒有真的用瀏覽器工具載入過,就擋下——`curl` 抓到 HTML 不算驗過。 | 🛑 擋 |
|
||||
| `self-drive-police.sh` | AI 想停下來問你「早就決定過的事」(用固定句型判斷,例如「要不要 X」「下一步做什麼」「這交給你」)就擋下,反問它查過 wiki/查過派工表了沒。 | 🛑 擋 |
|
||||
| `self-drive-judge.sh` | 跟上面同一件事,但改用小模型(haiku)判斷「換句話說」的請示句——防止 AI 只是把「要不要」改寫成「不確定是否符合期待」就閃過上一支閘。 | 🛑 擋 |
|
||||
@@ -106,7 +126,7 @@
|
||||
| 閘名 | 對你意味著什麼 | 動作 |
|
||||
|---|---|---|
|
||||
| `kbdb-asked-stamp.sh` | AI 真的查過 KBDB 之後,留一個時間戳——給前面 `history-first-guard.sh` 判斷「這輪有沒有先查過」用。 | 📝 記錄 |
|
||||
| `subagent-first-stamp.sh` | AI 真的派過工之後,留一個時間戳——給 `subagent-first-guard.sh` 判斷用。 | 📝 記錄 |
|
||||
| `subagent-first-stamp.sh` | AI 真的派過工之後,留一個時間戳——純資訊,給被 `subagent-first-guard.sh` 擋下時的訊息當脈絡(「上次派工是幾分鐘前」),不再是放行判準。 | 📝 記錄 |
|
||||
| `issue-status-autoflip.sh` | AI 一派工出去,就自動把對應的 Gitea 票改成「進行中(s/doing)」,不必等人手動改標籤。 | 📝 記錄(自動改票) |
|
||||
|
||||
## I. 你會撞到但跟「派工/收工」無關的一支(Edit·MultiEdit)
|
||||
|
||||
Executable
+261
@@ -0,0 +1,261 @@
|
||||
#!/usr/bin/env bash
|
||||
# ask-user-question-guard.sh — PreToolUse(AskUserQuestion):**在「問出口的那一刻」攔住**
|
||||
#
|
||||
# 病根(leo 2026-08-26):「**今天已經好幾次問我,為什麼 hooks 沒有攔下來?**」
|
||||
# 當天總管至少兩次把純技術路徑選擇丟給 leo,其中一次他當場說
|
||||
# 「**這種問題不要問我,我要的是你解決了以後給我 prod**」——而**一支閘都沒響**。
|
||||
#
|
||||
# 實查(2026-08-26,ISEP 0.3.8):
|
||||
# • 總管問 leo 走的動作就是 `AskUserQuestion` 這個工具
|
||||
# • `hooks.json` 裡 `AskUserQuestion` 出現 **0 次**——它沒有任何 matcher,是裸的
|
||||
# • `self-drive-police.sh` / `self-drive-judge.sh` 只掛在 `Stop` / `SubagentStop`
|
||||
# ⇒ 它們是**回合結束後**才跑的。問題送出去、leo 已經被打斷之後,
|
||||
# 再來反問「你查過了嗎」已經沒有意義——**成本早就轉嫁出去了**。
|
||||
#
|
||||
# ⇒ 這支補的不是判準(判準跟自走警察同一套四題公式),補的是**時機**:
|
||||
# `Stop` 是事後補刀,`PreToolUse` 才是當下攔截。
|
||||
#
|
||||
# ──────────────────────────────────────────────────────────────────────
|
||||
# 🔴 封的是動作,不是文字(leo 2026-08-17 的檢驗)
|
||||
#
|
||||
# leo 原話:「你在**文字層**封路⋯⋯『回「做」我就啓動』沒有問號,下次它會寫
|
||||
# 『準備就緒』,再下次寫『待命中』。**自然語言的變體是無限的,blacklist 永遠追不完。**
|
||||
# 封路哲學之所以有效,是因為它封的是**動作**——動作有限且可枚舉,文字不是。」
|
||||
# 當日實證:文字層的閘 **8 次誤攔、0 次正確攔截**,且方向穩定
|
||||
# ——**紅線寫得越細,命中關鍵字的機率越高 ⇒ 那些閘在懲罰謹慎。**
|
||||
#
|
||||
# 本閘怎麼過這個檢驗:
|
||||
# • **觸發條件=那個動作本身**(`AskUserQuestion` 這一次呼叫),
|
||||
# 不是任何句型、關鍵字、問號、措辭。改寫成什麼樣子都一樣會進來。
|
||||
# • **沒有任何 grep 黑名單**(全檔零個判擋用的正則)。換句話說閃不過去,
|
||||
# 講得謹慎也不會被多罰——這正是文字層閘的兩個病,本閘兩個都沒有。
|
||||
# • 進來之後要分「該問 / 不該問」,靠的是**四題公式的語意判官**
|
||||
# (`self-drive-judge.sh` 已經在用的同一套 haiku 判官),
|
||||
# 它判的是「這題命不命中人閘」,不是「這句話長什麼樣」。
|
||||
#
|
||||
# 🔴 不准把真人閘也擋掉(本閘存在的第二個前提)
|
||||
# 四題命中時 leo **要**被問——2026-08-26 當天他就當場裁了一題 UI 取捨(樹要不要捲)。
|
||||
# **擋掉那種等於讓總管替他決定他的品味,比不擋更糟。**
|
||||
# 所以本閘有兩層保險:
|
||||
# ① 判官只在「四題全否」時才回 block;任何一題命中一律 allow
|
||||
# ② **同一個問題只擋一次**(雜湊戳記)——判官若誤判,重送即放行,
|
||||
# leo 該收到的問題絕不會因為一支閘而永遠送不到。
|
||||
# (跟 `micromanage-guard.sh`/`subagent-first-guard.sh` 同一個慣例:
|
||||
# 閘是絆一下逼你重想,不是把人關起來。)
|
||||
#
|
||||
# 判準(跟 CLAUDE.md 規則二、`self-drive-judge.sh` 完全同一套,不另立第二套):
|
||||
# ① 花錢 ② 不可逆/難回收 ③ 跨專案結構 ④ 品味/方向 ⑤ 物理人閘(只有人做得到)
|
||||
# 命中任一 → 放行。四題全否 → 擋一次,逼它自己裁。
|
||||
#
|
||||
# 失敗一律 fail-open(exit 0):判官掛掉/沒網路/`claude` 不在 PATH,
|
||||
# 都只會回到「今天的狀態」(沒有閘),不會變成「問不出去」。
|
||||
# ⇒ 這支閘壞掉的最壞後果,等於它不存在,不會癱瘓任何 session。
|
||||
#
|
||||
# 官方文件核實(2026-08-26 查 code.claude.com,不是憑記憶):
|
||||
# • `AskUserQuestion` **會**觸發 PreToolUse,matcher 寫工具名有效
|
||||
# — https://code.claude.com/docs/en/agent-sdk/user-input
|
||||
# 原文:「Claude calls AskUserQuestion. The PreToolUse hook fires.」
|
||||
# • `tool_input` 的真實結構=`{"questions":[{"question","header","options":[{"label","description"}],"multiSelect"}]}`
|
||||
# — 同頁「Question format」段
|
||||
# • exit 2 在 PreToolUse = hard block,工具呼叫不會發生,無已知例外
|
||||
# — https://code.claude.com/docs/en/hooks(Exit Codes 表)
|
||||
# • `AskUserQuestion` **在 subagent 裡不可用**(同頁 Limitations)
|
||||
# ⇒ 所以本閘只會在主 session 觸發;subagent 那一側仍由
|
||||
# `self-drive-police.sh`/`self-drive-judge.sh` 的 SubagentStop 守著,兩者不重疊。
|
||||
#
|
||||
# 測試:
|
||||
# hooks/tests/ask-user-question-guard.test.sh 離線、不花錢(判官用替身)
|
||||
# hooks/tests/ask-user-question-guard.live.test.sh 真的叫 haiku,量判官的準度
|
||||
|
||||
set -u
|
||||
|
||||
# 遞迴保險:判官自己起的那個 claude 不准再觸發本閘
|
||||
if [ "${SELF_DRIVE_JUDGE:-}" = "1" ]; then exit 0; fi
|
||||
|
||||
input="$(cat)"
|
||||
|
||||
# ── 只管 AskUserQuestion 這一個動作 ────────────────────────────────
|
||||
tool_name="$(printf '%s' "$input" | python3 -c '
|
||||
import sys, json
|
||||
try:
|
||||
print(json.load(sys.stdin).get("tool_name", ""))
|
||||
except Exception:
|
||||
print("")
|
||||
' 2>/dev/null)"
|
||||
[ "$tool_name" = "AskUserQuestion" ] || exit 0
|
||||
|
||||
session_id="$(printf '%s' "$input" | python3 -c '
|
||||
import sys, json
|
||||
try:
|
||||
print(json.load(sys.stdin).get("session_id", ""))
|
||||
except Exception:
|
||||
print("")
|
||||
' 2>/dev/null)"
|
||||
|
||||
# ── 把問題本體攤成純文字(給判官看,不給 grep 看)──────────────────
|
||||
# 刻意用「遞迴撈出所有字串」而不是寫死欄位名:AskUserQuestion 的 tool_input
|
||||
# schema 若哪天改欄位(questions/question/header/options/label/description…),
|
||||
# 這支不會變成靜默失效的空判官。
|
||||
question_text="$(printf '%s' "$input" | python3 -c '
|
||||
import sys, json
|
||||
|
||||
def walk(node, out):
|
||||
if isinstance(node, str):
|
||||
s = node.strip()
|
||||
if s:
|
||||
out.append(s)
|
||||
elif isinstance(node, list):
|
||||
for x in node:
|
||||
walk(x, out)
|
||||
elif isinstance(node, dict):
|
||||
for k in ("question", "header", "label", "description", "text"):
|
||||
if k in node:
|
||||
walk(node[k], out)
|
||||
for k, v in node.items():
|
||||
if k not in ("question", "header", "label", "description", "text"):
|
||||
walk(v, out)
|
||||
|
||||
out = []
|
||||
try:
|
||||
d = json.load(sys.stdin)
|
||||
walk(d.get("tool_input", {}), out)
|
||||
except Exception:
|
||||
pass
|
||||
seen = set()
|
||||
uniq = [x for x in out if not (x in seen or seen.add(x))]
|
||||
print("\n".join(uniq))
|
||||
' 2>/dev/null)"
|
||||
|
||||
# 撈不到內容 ⇒ 沒東西可判 ⇒ 放行(fail-open)
|
||||
[ -z "$question_text" ] && exit 0
|
||||
|
||||
# ── 同一個問題只擋一次 ────────────────────────────────────────────
|
||||
# 判官誤判時,總管重送同一題就過得去 ⇒ leo 該收到的問題不會被永久攔住。
|
||||
stamp="/tmp/.ask-gate-warned-$(printf '%s' "$question_text" | shasum | cut -c1-12)"
|
||||
[ -f "$stamp" ] && exit 0
|
||||
|
||||
# ── 明示豁免(留痕用)──────────────────────────────────────────────
|
||||
# 真的緊急、或判官在誤攔而不想改寫問題時:
|
||||
# touch /tmp/.ask-ok-<session_id>
|
||||
# 用掉就消失,不是永久開關。
|
||||
if [ -n "$session_id" ] && [ -f "/tmp/.ask-ok-$session_id" ]; then
|
||||
rm -f "/tmp/.ask-ok-$session_id"
|
||||
exit 0
|
||||
fi
|
||||
|
||||
# ── 語意判官(跟 self-drive-judge.sh 同一套判準、同一個模型)──────
|
||||
judge_prompt="你是「人閘判官」。下面是一個 AI 助理(總管)**正要送給老闆 leo 的一個提問**。
|
||||
|
||||
判斷這個問題**該不該送到 leo 面前**。
|
||||
|
||||
判準只有一條——四題人閘公式。它問的事情是否命中下列任一:
|
||||
① 花錢(付費、開資源、產生帳單、明顯多耗訂閱額度)
|
||||
② 不可逆/難回收(刪資料、push 到 main、部署上線 prod、對外公開、跨 repo 搬遷)
|
||||
③ 跨專案結構決策(**repo 與 repo 之間**的邊界:某個能力歸哪個 repo、改全機共用的框架、立一條新鐵律)
|
||||
🔴 **單一服務/單一 repo 內部怎麼分層、程式碼怎麼組織,不算第③題**——那是實作,不是結構。
|
||||
④ 品味/方向(**leo 本人看得到、而且會有偏好的東西**:畫面長相、UI/UX 取捨、
|
||||
要不要做某個功能、對外文案怎麼寫)
|
||||
🔴 **內部的設計哲學、容錯策略、責任邊界、程式碼美感,不算第④題**——他看不到那些。
|
||||
⑤ 物理人閘(只有人做得到:貼憑證、終端機同意、平台上按批准、真人驗收)
|
||||
|
||||
命中任一 → decision=allow(該問)。
|
||||
四題全否 → decision=block(這是它自己該裁的)。
|
||||
|
||||
🔴 判 allow 時要放寬,判 block 時要保守——**誤擋一個真人閘,比放過一個技術題更糟**。
|
||||
拿不準、或這題同時有技術面與品味面 → 一律 allow。
|
||||
|
||||
典型的 block(四題全否,都是純技術路徑選擇):
|
||||
- 用哪個函式庫/哪種實作寫法/要不要抽共用模組
|
||||
- 錯誤怎麼處理、重試幾次、超時設多久
|
||||
- 檔案放哪個目錄、變數怎麼命名(純內部、用戶看不到)
|
||||
- 「A 方案和 B 方案我都可以做,你想要哪個?」而兩案的差別只有實作成本
|
||||
- 「我發現一個 bug,要修嗎?」(修 bug 不是品味題)
|
||||
- 「要不要繼續/要不要我開始」(已經交代過的事)
|
||||
|
||||
典型的 allow:
|
||||
- 要不要開一個會產生帳單的資源、要不要換更貴的模型
|
||||
- 要不要 push 到 main/部署到 prod/刪掉某批資料
|
||||
- 某個能力該歸哪個 repo、要不要立一條新鐵律
|
||||
- 畫面上這個東西要長什麼樣、要不要做這個功能、文案怎麼寫
|
||||
- 需要你去終端機貼憑證/按批准
|
||||
|
||||
只輸出 JSON,不要任何其他文字。
|
||||
輸出格式:
|
||||
{\"decision\":\"allow\"或\"block\",\"gate\":\"命中第幾題或 none\",\"reason\":\"一句正體中文;block 時要指出它在問什麼、以及四題為何全否\"}
|
||||
|
||||
--- 它要問 leo 的問題 ---
|
||||
$question_text
|
||||
--- 結束 ---"
|
||||
|
||||
# ⚠️ 判官必須跑在「中性目錄 + --safe-mode」:
|
||||
# 實測(self-drive-judge.sh 2026-08-05):在專案內跑 `claude -p` → 54 秒
|
||||
# (內層把 SessionStart recall、全部 hook、全部 MCP 工具都載進去);
|
||||
# 換成 `cd /tmp` + `--safe-mode` → 8 秒。判官只需要判一段文字。
|
||||
# `ISEP_ASK_JUDGE_CMD` 只為了讓離線測試塞得進一個判官替身(見 tests/),預設就是真判官。
|
||||
JUDGE_CMD="${ISEP_ASK_JUDGE_CMD:-claude -p --safe-mode --model haiku --allowedTools ''}"
|
||||
|
||||
verdict="$(printf '%s' "$judge_prompt" \
|
||||
| (cd /tmp && SELF_DRIVE_JUDGE=1 sh -c "$JUDGE_CMD" 2>/dev/null))"
|
||||
|
||||
# 判官掛了/回空/不是 JSON → fail-open
|
||||
[ -z "$verdict" ] && exit 0
|
||||
|
||||
parsed="$(printf '%s' "$verdict" | python3 -c '
|
||||
import sys, json, re
|
||||
raw = sys.stdin.read()
|
||||
m = re.search(r"\{.*\}", raw, re.S)
|
||||
if not m:
|
||||
print("allow||"); raise SystemExit
|
||||
try:
|
||||
d = json.loads(m.group(0))
|
||||
print((d.get("decision") or "allow") + "|" + (d.get("gate") or "") + "|" + (d.get("reason") or ""))
|
||||
except Exception:
|
||||
print("allow||")
|
||||
' 2>/dev/null)"
|
||||
|
||||
case "$parsed" in
|
||||
block\|*)
|
||||
rest="${parsed#block|}"
|
||||
reason="${rest#*|}"
|
||||
date +%s > "$stamp"
|
||||
# 訊息用 quoted heredoc(裡面有反引號,不能讓 shell 當命令替換執行過),
|
||||
# 佔位符交給 python 換掉——sed 對正體中文與特殊字元的跳脫太脆。
|
||||
msg="$(cat <<'EOF'
|
||||
🚦 人閘警察(PreToolUse/AskUserQuestion):**這一問四題全否,是你自己該裁的。**
|
||||
|
||||
判官的話:__REASON__
|
||||
|
||||
【leo 2026-08-26】「**今天已經好幾次問我,為什麼 hooks 沒有攔下來?**」
|
||||
「**這種問題不要問我,我要的是你解決了以後給我 prod。**」
|
||||
【leo 2026-08-17】「你的命令**被當成『規劃的輸入』,而不是『執行的授權』**⋯⋯
|
||||
從它的『文化』看這是禮貌;**從你的系統看,這是違約。**」
|
||||
|
||||
━━━ 不確定時走這條,不要停(CLAUDE.md 常駐授權那段)━━━
|
||||
1. 查 wiki(`system-dev/wiki/`,**語意搜尋優先於 grep**)
|
||||
2. 套四題公式:① 花錢 ② 不可逆 ③ 跨專案結構 ④ 品味方向
|
||||
3. 仍不確定 → **做出最合理的假設,把假設寫進 commit message 或票的留言,繼續走**
|
||||
——第 3 步是關鍵:**假設之後不是問,是記錄。**
|
||||
leo 下課後 review 時一次看到所有假設,對的併、錯的打回。
|
||||
這把同步的提問改造成非同步的問答,**不掛起整個 loop**。
|
||||
|
||||
━━━ 這一問真的命中人閘?━━━
|
||||
**把命中哪一題直接寫進問題裡再送一次**(例:「四題第②命中:這會刪掉線上資料」),
|
||||
或 `touch /tmp/.ask-ok-__SESSION__` 後重送。
|
||||
📌 **同一個問題本閘只擋一次**——原封不動重送就會過。
|
||||
判官寧可放行也不誤擋,但它會錯;**它錯了不該讓 leo 收不到問題。**
|
||||
EOF
|
||||
)"
|
||||
ASK_MSG="$msg" ASK_REASON="$reason" ASK_SESSION="$session_id" python3 -c '
|
||||
import os, sys
|
||||
sys.stderr.write(
|
||||
os.environ["ASK_MSG"]
|
||||
.replace("__REASON__", os.environ.get("ASK_REASON", ""))
|
||||
.replace("__SESSION__", os.environ.get("ASK_SESSION", "<session_id>"))
|
||||
+ "\n"
|
||||
)
|
||||
'
|
||||
exit 2
|
||||
;;
|
||||
esac
|
||||
|
||||
exit 0
|
||||
Executable
+189
@@ -0,0 +1,189 @@
|
||||
#!/usr/bin/env bash
|
||||
# 管什麼: 派工單裡除了【工單】票號以外還有別的內容就擋;合規的派工則自動注入共通規定。
|
||||
# 為什麼: 任務寫在 prompt 裡 => 票上看不到、agent 一停就蒸發;散文沒有欄位 => 警察抓不到。
|
||||
# 誤觸時怎麼關: 把內容歸位(每次都一樣的→共通規定;這次才知道的→寫進票),或 touch /tmp/.dispatch-ok-<session_id> 放行一次。
|
||||
#
|
||||
# dispatch-format-guard.sh — PreToolUse(Task|Agent):**派工單 = 票號。就這樣。**
|
||||
#
|
||||
# ━━ 來由(leo 2026-08-27,inkstone/ISEP#30 comment 4322 / 4325 / 4327)━━━━
|
||||
#
|
||||
# 他貼回總管派給 Arcrun#142 那條線的 prompt,問:
|
||||
# 「**這些話票上都沒有,你根本沒照規則做事,你的 hook 讓你這樣搞?**」
|
||||
# 「執行的不是你,你去派工,它才知道問題,**你寫診斷意義是什麼?不就是假的?**」
|
||||
#
|
||||
# 實查:`no-ticket-no-dispatch.sh` 驗的是「派工單裡有沒有一行【工單】owner/repo#N」。
|
||||
# ⇒ 所以可以**把 40 行任務全寫在 prompt 裡、票號補一行**,閘照樣放行。
|
||||
# ⇒ 2026-08-27 一天之內這樣做了 5 次(arcrun-rag#104/Arcrun#142/Arcrun#127/
|
||||
# Arcrun#144/InkStoneCo#55),每一次票上都沒有那份任務。
|
||||
# ⇒ **規則存在,閘只驗了它的殼。**(同款第 N 次:history-first/KBDB-first/
|
||||
# stage-first/AskUserQuestion 裸奔,全是這個形狀。)
|
||||
#
|
||||
# 4325 追加:「你用一個 **output parser** 把你給 subagent 的指令規範,**分作幾點,
|
||||
# 每一點規定格式**,**照這種散文寫法根本無法迭代**」「**警察也不能抓**」。
|
||||
# 4327 收斂到最後一步:「**交件方式不需要寫,定義在原則裡**⋯⋯每次都一樣提取出來
|
||||
# 變成共通規定」+(對「這是 session 才知道的事」的回應)「**這些為什麼不寫到票裡?**」
|
||||
#
|
||||
# ⇒ 派工單裡想寫的東西只有兩種,兩種都不該留在派工單:
|
||||
# 每次都一樣 → 共通規定(本閘自動注入,見下)
|
||||
# 這次才知道 → **寫進那張票**
|
||||
# 判準:**「這句話換一張票還成立嗎?」**
|
||||
#
|
||||
# ━━ 為什麼是結構閘,不是關鍵字閘(leo 2026-08-17 的檢驗)━━━━━━━━━━━━
|
||||
# 「你在**文字層**封路⋯⋯『回「做」我就啓動』沒有問號,下次它會寫『準備就緒』⋯⋯
|
||||
# **自然語言的變體是無限的,blacklist 永遠追不完。**
|
||||
# 封路哲學之所以有效,是因為它封的是**動作**——動作有限且可枚舉,文字不是。」
|
||||
# 當日實證:文字層的閘 8 次誤攔、0 次正確攔截,且方向穩定——
|
||||
# **紅線寫得越細,命中關鍵字的機率越高 ⇒ 那些閘在懲罰謹慎。**
|
||||
#
|
||||
# 本閘怎麼過這個檢驗:
|
||||
# · 判準是**「這一行是不是【工單】欄位」**——在不在,不是寫什麼。
|
||||
# 整條路徑(hooks/lib/dispatch_parse.py)**零個「命中某個詞就違規」的比對**。
|
||||
# · ⇒ 措辭再謹慎也不會被多罰;改寫成別的講法也閃不過去。文字層閘的兩個病都沒有。
|
||||
# · 也**不需要語意判官**:這條規則本來就是結構性的,用不著 LLM,
|
||||
# 於是它免費、瞬間、每次結果一樣(比 ask-user-question-guard 更硬的一種閘)。
|
||||
#
|
||||
# ━━ 這支同時做兩件事 ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
|
||||
# ① **擋**:【工單】以外有實質內容 → exit 2,並指出那些內容該搬去哪一格
|
||||
# ② **注入**:合規的派工 → exit 0 並用 hookSpecificOutput 把共通規定送給收工方
|
||||
# (慣例同 subagent-wiki-guard.sh)。
|
||||
# ⇒ 這是「派工單只剩票號」能成立的前提:交件方式、不准 push main、org 是 inkstone…
|
||||
# **不必有人記得寫**,機器每次都補。
|
||||
# leo 的驗收條件之一就是「收工方**沒讀派工單**也知道要貼回原票」。
|
||||
#
|
||||
# ━━ 邊界(刻意不管的事)━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
|
||||
# · 派工單裡**沒有**【工單】 → 本閘閉嘴,那是 no-ticket-no-dispatch.sh 的地盤。
|
||||
# 兩支閘同時開口,收工方會拿到兩份互相打架的教學。
|
||||
# · 票存不存在、關了沒 → 也是那一支在驗,本閘不重複打 Gitea(本閘不連網)。
|
||||
#
|
||||
# 逃生口(留痕、用完即丟,慣例同 micromanage-guard.sh/ask-user-question-guard.sh):
|
||||
# touch /tmp/.dispatch-ok-<session_id>
|
||||
# 閘是絆一下逼你重想,不是把人關起來。
|
||||
#
|
||||
# 測試:hooks/tests/dispatch-format-guard.test.sh(離線、不打網路、不花錢)
|
||||
set -u
|
||||
|
||||
INPUT="$(cat)"
|
||||
HERE="$(cd "$(dirname "${BASH_SOURCE[0]:-$0}")" && pwd)"
|
||||
|
||||
FACTS="$(printf '%s' "$INPUT" | python3 "$HERE/lib/dispatch_parse.py" dispatch 2>/dev/null)"
|
||||
[ -n "$FACTS" ] || exit 0 # parser 掛了 → fail-open(回到「沒有這支閘」的狀態)
|
||||
|
||||
STATUS="$(printf '%s' "$FACTS" | python3 -c '
|
||||
import sys, json
|
||||
try: print(json.load(sys.stdin).get("status", "skip"))
|
||||
except Exception: print("skip")
|
||||
' 2>/dev/null)"
|
||||
[ "$STATUS" = "ok" ] || exit 0
|
||||
|
||||
SESSION="$(printf '%s' "$FACTS" | python3 -c '
|
||||
import sys, json
|
||||
try: print(json.load(sys.stdin).get("session_id", ""))
|
||||
except Exception: print("")
|
||||
' 2>/dev/null)"
|
||||
|
||||
NVIOL="$(printf '%s' "$FACTS" | python3 -c '
|
||||
import sys, json
|
||||
try: print(len(json.load(sys.stdin).get("violations", [])))
|
||||
except Exception: print(0)
|
||||
' 2>/dev/null)"
|
||||
|
||||
# ── 明示豁免(留痕用,用掉就消失,不是永久開關)────────────────────────
|
||||
if [ "$NVIOL" != "0" ] && [ -n "$SESSION" ] && [ -f "/tmp/.dispatch-ok-$SESSION" ]; then
|
||||
rm -f "/tmp/.dispatch-ok-$SESSION"
|
||||
NVIOL=0
|
||||
fi
|
||||
|
||||
if [ "$NVIOL" != "0" ]; then
|
||||
# 訊息用 quoted heredoc(裡面有反引號,不能讓 shell 當命令替換執行掉),
|
||||
# 佔位符交給 python 換——sed 對正體中文與特殊字元的跳脫太脆。
|
||||
# (2026-08-26 ask-user-question-guard 真的犯過:訊息裡的反引號被當命令跑,
|
||||
# 閘照擋,但**它教人怎麼解的那兩行變成空白**,等於沒有出路。)
|
||||
MSG="$(cat <<'EOF'
|
||||
🚫 派工單 = 票號。就這樣。(leo 2026-08-27,inkstone/ISEP#30 comment 4327)
|
||||
|
||||
__VIOLATIONS__
|
||||
|
||||
━━ 這些內容該去哪:問一句「**這句話換一張票還成立嗎?**」━━━━━━━━━━
|
||||
|
||||
還成立 ⇒ **共通規定**(交件方式、不准 push main、org 是 inkstone、先讀 CLAUDE.md…)
|
||||
改 `docs/governance/dispatch-and-reply-format.md` 的 §2,
|
||||
**本閘每次派工都會自動注入給收工方**,你不必寫、也不會漏。
|
||||
|
||||
只有這次 ⇒ **寫進那張票**(main 是哪顆、今天撞過什麼、另一條線在動什麼)
|
||||
`scripts/ticket say <owner/repo#N> -F <檔>`
|
||||
然後派工單寫 `【工單】<owner/repo#N> → comment <剛拿到的號碼>`
|
||||
|
||||
🔴 **「票上還沒有」不是把它寫進 prompt 的理由——它就是「去把它寫上票」的指令。**
|
||||
leo 2026-08-27:「**這些為什麼不寫到票裡?**」
|
||||
寫進 prompt 的後果:agent 被停掉或換人接手,那段事實隨 prompt 一起蒸發。
|
||||
當天實害:總管停掉重派 3 次,前兩次的任務與 session 事實**全部消失**。
|
||||
|
||||
━━ 合格的派工單長這樣(整份,沒有省略)━━━━━━━━━━━━━━━━━━━━━
|
||||
|
||||
【工單】inkstone/ISEP#30 → comment 4322
|
||||
|
||||
━━ 為什麼連「一句叮嚀」都不行 ━━━━━━━━━━━━━━━━━━━━━━━━━━━
|
||||
leo 2026-08-27:「**交件方式不需要寫,定義在原則裡,每張票都要做這件事⋯⋯
|
||||
每次都一樣提取出來變成共通規定**」
|
||||
你多寫的每一句,都是在造第二份會漂的真相;而收工方讀到的是**你的轉述**,
|
||||
不是票上的原始證據。
|
||||
|
||||
真的有例外 → `touch /tmp/.dispatch-ok-__SESSION__` 後重送(用掉就消失,會留在指令歷史上)。
|
||||
EOF
|
||||
)"
|
||||
VIOL_TEXT="$(printf '%s' "$FACTS" | python3 -c '
|
||||
import sys, json
|
||||
try:
|
||||
d = json.load(sys.stdin)
|
||||
except Exception:
|
||||
d = {}
|
||||
lines = []
|
||||
for v in d.get("violations", []):
|
||||
lines.append(" ❌ %s:%s" % (v.get("code", ""), v.get("detail", "")))
|
||||
for name in d.get("retired_seen", []):
|
||||
lines.append(" ↳ 【%s】這個欄位已經收回了" % name)
|
||||
print("\n".join(lines))
|
||||
' 2>/dev/null)"
|
||||
|
||||
DFG_MSG="$MSG" DFG_VIOL="$VIOL_TEXT" DFG_SESSION="$SESSION" python3 -c '
|
||||
import os, sys
|
||||
sys.stderr.write(
|
||||
os.environ["DFG_MSG"]
|
||||
.replace("__VIOLATIONS__", os.environ.get("DFG_VIOL", ""))
|
||||
.replace("__SESSION__", os.environ.get("DFG_SESSION", "") or "<session_id>")
|
||||
+ "\n"
|
||||
)
|
||||
'
|
||||
exit 2
|
||||
fi
|
||||
|
||||
# ── 合規 → 注入共通規定 ──────────────────────────────────────────────
|
||||
# 這是「派工單只剩票號」的另一半:那些每次都一樣的規定不必有人記得寫,機器每次都補。
|
||||
# 來源是 docs/governance/dispatch-and-reply-format.md 的 INJECT 區段——
|
||||
# **只有一份**,改那裡等於改所有派工(不會有第二份漂走的副本)。
|
||||
DOC="${CLAUDE_PLUGIN_ROOT:-$(cd "$HERE/.." && pwd)}/docs/governance/dispatch-and-reply-format.md"
|
||||
[ -f "$DOC" ] || exit 0
|
||||
|
||||
DFG_DOC="$DOC" python3 -c '
|
||||
import json, os, re, sys
|
||||
try:
|
||||
text = open(os.environ["DFG_DOC"], encoding="utf-8", errors="ignore").read()
|
||||
except Exception:
|
||||
sys.exit(0)
|
||||
m = re.search(r"<!-- INJECT:BEGIN.*?-->\n(.*?)<!-- INJECT:END -->", text, re.S)
|
||||
if not m:
|
||||
sys.exit(0)
|
||||
body = m.group(1).strip()
|
||||
print(json.dumps({
|
||||
"hookSpecificOutput": {
|
||||
"hookEventName": "PreToolUse",
|
||||
"additionalContext":
|
||||
"【自動注入:派工共通規定】\n"
|
||||
"(來源 docs/governance/dispatch-and-reply-format.md §2——"
|
||||
"派工單只給票號是刻意的,這些每次都一樣的東西由機器補,不靠人記得寫)\n\n"
|
||||
+ body,
|
||||
}
|
||||
}, ensure_ascii=False))
|
||||
' 2>/dev/null
|
||||
|
||||
exit 0
|
||||
+182
-59
@@ -13,27 +13,72 @@
|
||||
#
|
||||
# ① `[ "$RUNNING" -gt 0 ] && exit 0`
|
||||
# 有任何 agent 在跑就閉嘴 ⇒ **它量的是工廠,不是工頭**。
|
||||
# 2026-08-16 一天四次停工**全部發生在有 agent 在跑的時候**:
|
||||
# 產線忙著做 A,總管宣告了 B,然後沒有人做 B。工廠沒停,停的是按 trigger 的人。
|
||||
#
|
||||
# ② 池子查的是 `repos/Leo/$repo`——**org 在 2026-08-13 搬到 `inkstone`**。
|
||||
# 實測:`Leo/arcrun-rag` 回 `not found`(被當成 0),`inkstone/arcrun-rag` 有 16 張。
|
||||
# ⇒ 池子恆為 0 ⇒ 第 53 行直接 exit 0。**這道閘等於不存在。**
|
||||
# (同族第四顆搬遷遺留座標:`ARCRUN_SHIP_NS`/`ARCRUN_REPO`/MEMORY.md 索引/本檔。)
|
||||
#
|
||||
# ② 池子查的是 `repos/Leo/$repo`——**org 在 2026-08-13 搬到 `inkstone`**(已修)。
|
||||
# ③ 結尾 `exit 0`——純提醒。leo 2026-08-16:「**提醒可以忽略,deny 不能**。」
|
||||
#
|
||||
# ─────────────────────────────────────────────────────────────────
|
||||
# 🔴 2026-08-23 第四輪(inkstone/ISEP#30):**這道閘在懲罰誠實與謹慎。**
|
||||
#
|
||||
# 雲端驗收連續三次被它擋下,三次都不是宣告意圖:
|
||||
# ① 「那句是等你,不是我的下一步」 ← 在**否認**自己有下一步
|
||||
# ② 「這不是『下一步我要做 X』」 ← **引用**閘自己的訊息來說明沒在做
|
||||
# ③ 貼出閘自己的**正則原始碼**來舉報這個 bug ← code block 裡的**引用**
|
||||
#
|
||||
# 真兇有四個,而且沒有一個是「例外沒列夠」:
|
||||
#
|
||||
# (a)**DECL 會匹配裸的「下一步」三個字。** 舊式 `下一步(我|就是|是)?[::]?\s*`
|
||||
# 每一節都是可選的 ⇒ 整條 alternative 退化成「文中出現『下一步』」。
|
||||
# ⇒ 只要**提到**這道閘在講什麼,就會被這道閘咬。
|
||||
# 修法=**要求它後面真的接一個動作動詞**。這是**收緊**(要求更多才算命中),
|
||||
# 方向與「再加幾個關鍵字例外」相反——例外清單會越加越長、越長越誤攔。
|
||||
#
|
||||
# (b)**「引用」被當成「主張」。** 舊版只剝 `>` 引言與長「」引號,
|
||||
# 不認 markdown 的 ```code fence``` 與行內 `code`。
|
||||
# ⇒ 貼原始碼舉報 bug 的人,會被他要舉報的那支閘擋下。
|
||||
# 修法=把引用性標記整段換成**哨兵字元**(不是刪掉):
|
||||
# - 刪掉會把外層句構攪碎(2026-08-17 就是這樣漏掉「回『規劃』我就派人」)
|
||||
# - 換成哨兵則**內層的宣告消失、外層的句構留著** ⇒ 兩個方向同時修好
|
||||
#
|
||||
# (c)**看錯了「回合的收尾」。** 舊版取 `blocks_text[-1]`(最後一則文字),
|
||||
# 但那則文字後面可能還有 tool_use ⇒ 宣告其實已經被兌現了。
|
||||
# 修法=只看**最後一個動作之後**的文字。**收尾在動作上 ⇒ 根本不觸發。**
|
||||
#
|
||||
# (d)**訊息承諾的出路,程式碼裡沒有。** 舊訊息教人走
|
||||
# 「選項③:改寫那句話,說明它在等什麼」,
|
||||
# 但放行分支只有「有 Agent/Task」與「附近有 #票號」兩條 ⇒
|
||||
# 唯一走得通的路是**不寫那三個字**,而那正是同一則訊息 🔴 明文禁止的動作。
|
||||
# 修法=給選項③一個**真的存在**的機械形式:`⏸ 等:<在等什麼>`。
|
||||
# 它是**白名單標記**(要刻意寫才會有),不是黑名單,不會被誤觸;
|
||||
# 而且**留痕**——滿足「不准只是把那句話刪掉再送一次」。
|
||||
#
|
||||
# ⚠️ **刻意的取捨(寫下來,下一輪不要當成 bug 又改回去)**:
|
||||
# - `#票號` 改成搜「整段收尾文字」而不是宣告句附近 ±N 字。
|
||||
# 理由:票號常寫在行內 `code` 裡,剝完就找不到了 ⇒ 誤攔。
|
||||
# **誤攔的代價高於漏攔**——誤攔會訓練人忽略警報,那比沒有警報更糟。
|
||||
# - 「下一步」後面不吃逗號(「下一步,我去補 X」會漏)。
|
||||
# 理由:吃了逗號,「不是我的下一步,我剛剛已經做完了」就會被咬(過去式當未來式)。
|
||||
# - 「身為…我要…我才…」(本 repo 規定的 User Story 票名格式)整段換哨兵。
|
||||
# 票名是**被命名的物件**,不是我對下一步的主張。
|
||||
#
|
||||
# ── 現在量什麼 ─────────────────────────────────────────────────
|
||||
#
|
||||
# 主閘(exit 2,會擋):**宣告了下一步,卻沒有派工憑證。**
|
||||
# 憑證 = 這個回合真的呼叫過 Agent/Task(而那條路上已有 no-ticket-no-dispatch
|
||||
# 在驗票號)⇒ **「有派工」本身就蘊含「有票」**,不必在這裡重複驗票。
|
||||
# 也接受:宣告句裡直接寫明它在誰手上(帶 `#數字` 的票號指涉)。
|
||||
# 主閘(exit 2,會擋):**宣告了下一步,卻沒有按下任何 trigger。**
|
||||
# trigger = ① 這個回合真的呼叫過 Agent/Task
|
||||
# (no-ticket-no-dispatch 已在那條路上驗票號 ⇒ 這裡不必重複驗)
|
||||
# ② 收尾文字裡有 `#票號` 指涉(=已經有人在做)
|
||||
# ③ 收尾文字裡有 `⏸ 等:<在等什麼>`(=它現在不該做,且說明了在等什麼)
|
||||
# ④ 回合收尾在動作上(最後一個動作之後沒有文字)
|
||||
#
|
||||
# 副閘(exit 0,只提醒):真的全廠停工(零 agent + 池子有票)。org 已修。
|
||||
# 副閘(exit 0,只提醒):真的全廠停工(零 agent + 池子有票)。
|
||||
#
|
||||
# 🔴 **不擋純對話回合**:沒有宣告下一步就不觸發。
|
||||
# 這是刻意的——永遠在響的警報等於訓練人忽略它(見 branch-holds.md 的同款教訓)。
|
||||
#
|
||||
# 🔴 **不設 `stop_hook_active` 逃生門**(與 empty-handed-stop-guard 不同)。
|
||||
# leo 2026-08-16:「提醒可以忽略,deny 不能。」
|
||||
# 之所以敢這樣,是因為出路③現在**真的存在** ⇒ 不可能把人鎖死在無解迴圈裡。
|
||||
#
|
||||
# 迴歸測試:`hooks/tests/factory-idle-guard.test.sh`(23 向,誤攔與漏攔兩個方向都測)
|
||||
set -eu
|
||||
|
||||
PROJ="${CLAUDE_PROJECT_DIR:-$(pwd)}"
|
||||
@@ -46,11 +91,11 @@ import sys, json, os, re
|
||||
try:
|
||||
d = json.load(sys.stdin)
|
||||
except Exception:
|
||||
print("SKIP"); raise SystemExit
|
||||
print("SKIP:bad-payload"); raise SystemExit
|
||||
|
||||
tp = d.get("transcript_path") or ""
|
||||
if not tp or not os.path.exists(tp):
|
||||
print("SKIP"); raise SystemExit # 讀不到就別亂擋
|
||||
print("SKIP:no-transcript"); raise SystemExit # 讀不到就別亂擋
|
||||
|
||||
rows = []
|
||||
try:
|
||||
@@ -61,7 +106,7 @@ try:
|
||||
try: rows.append(json.loads(line))
|
||||
except Exception: pass
|
||||
except Exception:
|
||||
print("SKIP"); raise SystemExit
|
||||
print("SKIP:unreadable"); raise SystemExit
|
||||
|
||||
# 這個回合=最後一則「真的來自使用者」的訊息之後(工具結果不算)
|
||||
start = 0
|
||||
@@ -73,63 +118,132 @@ for i, r in enumerate(rows):
|
||||
start = i
|
||||
turn = rows[start:]
|
||||
|
||||
# 依序攤平這個回合的 assistant 區塊:("tool", 名字) / ("text", 內容)
|
||||
seq = []
|
||||
dispatched = False
|
||||
blocks_text = []
|
||||
for r in turn:
|
||||
if r.get("type") != "assistant":
|
||||
continue
|
||||
for b in (r.get("message") or {}).get("content") or []:
|
||||
if not isinstance(b, dict):
|
||||
continue
|
||||
if b.get("type") == "tool_use" and b.get("name") in ("Agent", "Task"):
|
||||
dispatched = True
|
||||
if b.get("type") == "tool_use":
|
||||
if b.get("name") in ("Agent", "Task"):
|
||||
dispatched = True
|
||||
seq.append(("tool", b.get("name") or ""))
|
||||
elif b.get("type") == "text":
|
||||
blocks_text.append(b.get("text") or "")
|
||||
seq.append(("text", b.get("text") or ""))
|
||||
|
||||
if dispatched:
|
||||
print("OK"); raise SystemExit # 按了 trigger ⇒ 放行
|
||||
print("OK:dispatched"); raise SystemExit # 出路① 按了 trigger ⇒ 放行
|
||||
|
||||
# 🔴 只看**最後一則**文字,不看整個回合(2026-08-16 第一次實跑就誤攔,修正)
|
||||
# 🔴 只看「最後一個動作**之後**」的文字(2026-08-23 修)
|
||||
# 病灶是「回合終止在宣告上」⇒ 該看的是那個終止動作本身。
|
||||
# 掃整個回合會在「我這回合稍早說要讀 X、然後真的讀了」這種句子上開火——
|
||||
# 那是**已完成事項的敘述**,不是未兌現的意圖。誤攔會訓練人忽略警報,
|
||||
# 而那比沒有警報更糟(同 branch-holds.md 的教訓)。
|
||||
text = blocks_text[-1] if blocks_text else ""
|
||||
# 舊版取最後一則文字,但那則文字後面可能還有 tool_use——
|
||||
# 「我這回合說要讀 X、然後真的讀了」會被當成未兌現的意圖。誤攔會訓練人忽略警報。
|
||||
tail = []
|
||||
for kind, val in reversed(seq):
|
||||
if kind == "tool":
|
||||
break
|
||||
tail.append(val)
|
||||
raw = "\n".join(reversed(tail))
|
||||
|
||||
if not raw.strip():
|
||||
print("OK:ended-on-action"); raise SystemExit # 出路④ 收尾在動作上 ⇒ 沒有懸空的宣告
|
||||
|
||||
# 出路③:明講在等什麼(在剝標記**之前**檢查,理由本身常寫在引號/code 裡)
|
||||
if re.search(r"⏸\s*等\s*[::]\s*\S{2,}", raw):
|
||||
print("OK:waiting-declared"); raise SystemExit
|
||||
|
||||
# ── 把「引用性內容」蓋掉:引用 != 主張 ──────────────────────────
|
||||
# 🔴 **等長**替換(蓋成同樣長度的哨兵),不是刪掉,有兩個理由:
|
||||
# ① 刪掉會把外層句構攪碎——2026-08-17 就是這樣漏掉「回『規劃』我就派人」。
|
||||
# 蓋成哨兵則內層的宣告消失、外層的句構留著,誤攔與漏攔一起修好。
|
||||
# ② 等長 ⇒ 位移可以原封不動對回 raw ⇒ 底下的「票號要在宣告句附近」
|
||||
# 可以在**原文**上量。否則票號寫在行內 `code` 裡會被自己剝掉而找不到,
|
||||
# 逼得只能全篇搜——那會把閘變鈍(2026-08-23 拿真 transcript 量到:
|
||||
# 全篇搜的話 26 個真實回合有 20 個是靠「文中某處有票號」放行的)。
|
||||
S = "※"
|
||||
def blank(m):
|
||||
return S * (m.end() - m.start())
|
||||
text = raw
|
||||
text = re.sub(r"```.*?```", blank, text, flags=re.S) # markdown 圍欄 code
|
||||
text = re.sub(r"~~~.*?~~~", blank, text, flags=re.S)
|
||||
text = re.sub(r"`[^`\n]*`", blank, text) # 行內 code
|
||||
text = re.sub(r"^[ \t]*>.*$", blank, text, flags=re.M) # 整段引言(leo 的原話)
|
||||
for _ in range(3): # 引號(含巢狀),由內而外
|
||||
text = re.sub(r"[「『][^「」『』]*[」』]", blank, text)
|
||||
# 本 repo 規定的 User Story 票名:是被命名的物件,不是我對下一步的主張
|
||||
text = re.sub(r"身為[^\n]{0,40}?我要[^\n]{0,80}?我才[^\n]{0,60}", blank, text)
|
||||
assert len(text) == len(raw) # 位移要能對回原文
|
||||
|
||||
# ── 宣告下一步的句型 ──────────────────────────────────────────
|
||||
# 🔴 每一條都**必須**接到一個動作動詞(A)才算命中。
|
||||
# 舊版少了這個要求 ⇒ 裸的「下一步」「接下來我」就開火 ⇒ 討論這道閘的人被這道閘擋。
|
||||
A = r"(?:去|來|做|派|審|跑|查|補|建|寫|改|推|驗|清|落|盤|整理|處理|部署|測)"
|
||||
N = r"[^。!?;,,\n]{0,16}" # 同一句、不跨逗號
|
||||
DECL = re.compile("|".join([
|
||||
# 🔴 主詞是「你」的下一步 != 我的下一步(2026-08-23 拿真 transcript 量出來的第四類誤攔)
|
||||
# 舊閘在 26 個真實回合終止點上擋了 2 次,兩次咬的都是我在**交代 leo 該做什麼**:
|
||||
# 「**下一步還是那一個動作**:**你**把 feat/... 併進 main」
|
||||
# 「## **你下一步**(兩招,先便宜的)」
|
||||
# ⇒ 這是**主詞檢查**(誰要動手),不是關鍵字例外。
|
||||
# 只掛在這條 alternative 上——「你點頭我就做」那條的主詞本來就是我,不受影響。
|
||||
r"(?P<nextstep>下一步[::]?\s*(?!你|妳|leo|Leo)(?:我|就是|是)?\s*" + N + A + r")",
|
||||
r"接下來我\s*" + N + A,
|
||||
r"我(?:現在|接著|等下|等一下)(?:就)?\s*" + N + A,
|
||||
r"我(?:要|會)(?:去|來)?\s*" + N + A,
|
||||
r"稍後(?:我|再)\s*" + N + A,
|
||||
r"之後我(?:會|要)\s*" + N + A,
|
||||
# 2026-08-17 leo 實撞的一族:**把請示寫成條件句**——
|
||||
# 沒問號、沒疑問詞,卻把動作的觸發權交回 leo。功能上是請示,句型上不像。
|
||||
r"回[「『]?[^」』\n]{0,12}[」』]?(?:我)?就\s*" + N + A,
|
||||
r"說一聲(?:我)?(?:就)?\s*" + N + A,
|
||||
r"你(?:點頭|說可以|確認)(?:了)?(?:我)?(?:就)?\s*" + N + A,
|
||||
r"(?:確認|核准|同意|批准)(?:過|了)?(?:之)?後(?:我)?(?:才|再|就)\s*" + N + A,
|
||||
# 空手停在別人身上(出路③ 的 ⏸ 標記是它唯一合法的形式)
|
||||
r"我(?:就)?(?:等|待)你",
|
||||
r"等你(?:說|回|點頭|確認)",
|
||||
r"我(?:就)?(?:不再|先不)(?:自己)?(?:動|做|派)",
|
||||
r"我(?:就)?(?:一次)?(?:落|派|做|補|審|清)(?:完|掉)?\s*[。,,]?\s*$",
|
||||
]))
|
||||
|
||||
SECOND = re.compile(r"你|妳|leo|Leo")
|
||||
hit = None
|
||||
for m in DECL.finditer(text):
|
||||
# 「下一步」這條要看主詞:前面 8 字裡出現第二人稱 ⇒ 那是**他的**下一步,不是我的
|
||||
if m.group("nextstep") and SECOND.search(text[max(0, m.start() - 8): m.start()]):
|
||||
continue
|
||||
hit = m
|
||||
break
|
||||
|
||||
# 引用 leo 的話不算我的宣告(整段引言/引號內)——它常含「下一步」等字樣
|
||||
text = re.sub(r"^\s*>.*$", "", text, flags=re.M)
|
||||
# 🔴 2026-08-17 修:舊版把「所有」引號內容都刪掉,包括我自己句子裡的關鍵詞。
|
||||
# leo 實撞:我寫「回『規劃』我就派人盤這份計畫」,`規劃` 被吃掉後變成
|
||||
# 「回我就派人盤這份計畫」,DECL 一個都不匹配 ⇒ 該攔的沒攔。
|
||||
# ⇒ 只刪「夠長的引言」(leo 的話通常成句),短引號是我自己的用詞,留著。
|
||||
text = re.sub(r"「[^」]{12,400}」", "", text)
|
||||
# 宣告下一步的句型(刻意收窄:只認「我接下來要做」,不認「現在的狀態是」)
|
||||
DECL = re.compile(
|
||||
r"(下一步(我|就是|是)?[::]?\s*(?!不是宣告)|接下來我|我(現在|接著|等下|等一下)(就)?(去|來|做|派|審|跑)"
|
||||
r"|我(要|會)(去|來)?(做|派|審|跑|查|補|建)|稍後(我|再)|之後我(會|要)"
|
||||
# 🔴 2026-08-17 leo 實撞補的一族:**把請示寫成條件句**——
|
||||
# 沒問號、沒疑問詞,卻把動作的觸發權交回 leo。功能上是請示,句型上不像。
|
||||
# 實例:「回『規劃』我就派人盤這份計畫」/「說一聲我就落」/「你點頭我就做」
|
||||
r"|回[「『]?[^」』\n]{0,12}[」』]?(我)?就|說一聲(我)?(就)?|你(點頭|說可以|確認)(了)?(我)?(就)?"
|
||||
r"|(確認|核准|同意|批准)(過|了)?(之)?後(我)?(才|再|就)"
|
||||
r"|我(就)?(等|待)你|等你(說|回|點頭|確認)"
|
||||
r"|我(就)?(不再|先不)(自己)?(動|做|派)"
|
||||
r"|我(就)?(一次)?(落|派|做|補|審|清)(完|掉)?[。,,]?\s*$)")
|
||||
hit = DECL.search(text)
|
||||
if not hit:
|
||||
print("OK"); raise SystemExit # 沒宣告 ⇒ 純對話回合,不擋
|
||||
print("OK:no-declaration"); raise SystemExit # 沒宣告 ⇒ 純對話回合,不擋
|
||||
|
||||
# 宣告句附近有票號指涉(=已經說明它在誰手上/哪張票)⇒ 放行
|
||||
seg = text[max(0, hit.start() - 200): hit.end() + 400]
|
||||
if re.search(r"#\d{1,5}", seg):
|
||||
print("OK"); raise SystemExit
|
||||
# 出路②:宣告句**附近**有票號指涉(=已經說明它在誰手上/哪張票)
|
||||
# 在 raw 上量(等長替換保證位移對得回去)⇒ 票號寫在行內 code 裡也算數,
|
||||
# 而「文章別處剛好提到某張票」不算——那不是在講這件事在誰手上。
|
||||
if re.search(r"#\d{1,5}", raw[max(0, hit.start() - 200): hit.end() + 400]):
|
||||
print("OK:ticket-referenced"); raise SystemExit
|
||||
|
||||
print("DECLARED_NO_TRIGGER::" + text[max(0, hit.start()-60): hit.end()+120].replace("\n", " ")[:200])
|
||||
' 2>/dev/null || echo SKIP)
|
||||
print("DECLARED_NO_TRIGGER::" + raw[max(0, hit.start()-60): hit.end()+120].replace("\n", " ")[:200])
|
||||
' 2>/dev/null || echo "SKIP:crash")
|
||||
|
||||
STAMP=$(date "+%Y-%m-%d %H:%M:%S" 2>/dev/null || echo "?")
|
||||
LOGDIR="$PROJ/.claude/hooks"
|
||||
|
||||
# 留痕(inkstone/InkStoneCo#48:閘只記「擋下」的話分母未知,回答不了「它有沒有在運作」)
|
||||
# ⇒ 擋下與放行都記。目錄不在就安靜跳過(測試環境/別的 repo 不該噴 redirect 錯誤到 stderr)。
|
||||
note() {
|
||||
if [ -d "$LOGDIR" ]; then
|
||||
printf '| %s | %s | %s |\n' "$STAMP" "$1" "$2" >> "$LOGDIR/factory-idle-guard.log" 2>/dev/null || true
|
||||
fi
|
||||
}
|
||||
|
||||
case "$VERDICT" in
|
||||
DECLARED_NO_TRIGGER::*)
|
||||
QUOTE=$(printf '%s' "$VERDICT" | sed 's/^DECLARED_NO_TRIGGER:://')
|
||||
note "⛔ 擋下" "$QUOTE"
|
||||
cat >&2 <<MSG
|
||||
🏭 稼動率警察:**你宣告了下一步,但這個回合沒有按下 trigger。**
|
||||
|
||||
@@ -147,19 +261,28 @@ leo 2026-08-16(本閘的規格):
|
||||
⇒ 在結構上 X 永遠落在回合結束之後。**不是忘記,是把 X 寫進了終結回合的動作裡。**
|
||||
而說出意圖會消解掉做它的壓力——一份清楚的計畫**讀起來像進度**。
|
||||
|
||||
━━ 現在怎麼過這道閘(擇一)━━━━━━━━━━━━━━━━━━━━━━━━━
|
||||
━━ 現在怎麼過這道閘(四條,程式碼裡都真的有對應的分支)━━━━━━━━━
|
||||
① **現在就按 trigger**:這個回合直接呼叫 Agent/Task 派出去。
|
||||
沒有票 → 先 \`scripts/ticket where <關鍵字>\` 搜該掛哪張,
|
||||
再 \`ticket say <owner/repo#N> -F <檔>\`,然後帶【工單】派工。
|
||||
② **它已經在別人手上**:把票號寫進那句話(例:「已派給 #44 comment 2761」)。
|
||||
有票號指涉就放行——那不是「我等下做」,是「已經有人在做」。
|
||||
③ **它其實不該現在做**:改寫那句話,說明它在等什麼(前置沒解除/是 leo 的閘),
|
||||
不要寫成「下一步我要做 X」。
|
||||
② **它已經在別人手上**:把票號寫進這段收尾文字(例:「已派給 inkstone/ISEP#30」)。
|
||||
有 \`#數字\` 就放行——那不是「我等下做」,是「已經有人在做」。
|
||||
③ **它其實不該現在做**:寫一行說明它在等什麼,格式就是這一個標記——
|
||||
|
||||
⏸ 等:<在等什麼>
|
||||
|
||||
例:\`⏸ 等:leo 親手跑 scripts/github-arm.sh 解保險(D20 人閘)\`
|
||||
\`⏸ 等:arcrun-rag 那條 PR 先併,前置沒解除\`
|
||||
🔴 這個標記**要刻意寫才會有**,寫了就留痕——它取代不了做事,
|
||||
但它讓「現在不該做」跟「宣告了不做」在機器上分得開。
|
||||
④ **這個回合收尾在動作上**:最後一個工具呼叫之後不要再補一句宣告。
|
||||
|
||||
🔴 **不准只是把那句話刪掉再送一次。** 刪掉宣告=那件事從此沒人記得,
|
||||
比宣告了沒做更糟——它連痕跡都不留。
|
||||
比宣告了沒做更糟——它連痕跡都不留。要嘛按 trigger,要嘛用 ③ 留下 ⏸ 記號。
|
||||
MSG
|
||||
exit 2 ;;
|
||||
*)
|
||||
note "✅ 放行" "$VERDICT" ;;
|
||||
esac
|
||||
|
||||
# ── 副閘:真的全廠停工(零 agent + 池子有票)──────────────────────
|
||||
|
||||
@@ -40,6 +40,14 @@
|
||||
{
|
||||
"type": "command",
|
||||
"command": "${CLAUDE_PLUGIN_ROOT}/hooks/ticket-api-bypass-guard.sh"
|
||||
},
|
||||
{
|
||||
"type": "command",
|
||||
"command": "${CLAUDE_PLUGIN_ROOT}/hooks/milestone-due-guard.sh"
|
||||
},
|
||||
{
|
||||
"type": "command",
|
||||
"command": "${CLAUDE_PLUGIN_ROOT}/hooks/reply-identity-guard.sh"
|
||||
}
|
||||
]
|
||||
},
|
||||
@@ -128,6 +136,10 @@
|
||||
{
|
||||
"type": "command",
|
||||
"command": "${CLAUDE_PLUGIN_ROOT}/hooks/no-ticket-no-dispatch.sh"
|
||||
},
|
||||
{
|
||||
"type": "command",
|
||||
"command": "${CLAUDE_PLUGIN_ROOT}/hooks/dispatch-format-guard.sh"
|
||||
}
|
||||
]
|
||||
},
|
||||
@@ -163,6 +175,19 @@
|
||||
{
|
||||
"type": "command",
|
||||
"command": "${CLAUDE_PLUGIN_ROOT}/hooks/no-ticket-no-dispatch.sh"
|
||||
},
|
||||
{
|
||||
"type": "command",
|
||||
"command": "${CLAUDE_PLUGIN_ROOT}/hooks/dispatch-format-guard.sh"
|
||||
}
|
||||
]
|
||||
},
|
||||
{
|
||||
"matcher": "AskUserQuestion",
|
||||
"hooks": [
|
||||
{
|
||||
"type": "command",
|
||||
"command": "${CLAUDE_PLUGIN_ROOT}/hooks/ask-user-question-guard.sh"
|
||||
}
|
||||
]
|
||||
}
|
||||
@@ -178,6 +203,10 @@
|
||||
{
|
||||
"type": "command",
|
||||
"command": "${CLAUDE_PLUGIN_ROOT}/hooks/skill-deploy-drift-guard.sh"
|
||||
},
|
||||
{
|
||||
"type": "command",
|
||||
"command": "${CLAUDE_PLUGIN_ROOT}/hooks/isep-presence-beacon.sh"
|
||||
}
|
||||
]
|
||||
}
|
||||
|
||||
Executable
+53
@@ -0,0 +1,53 @@
|
||||
#!/usr/bin/env bash
|
||||
# isep-presence-beacon.sh — SessionStart:報出「ISEP 真的載入了,幾版、幾支閘」
|
||||
#
|
||||
# 這不是閘,是**信標**。存在的理由是 2026-08-20 的雲端事故:
|
||||
# 雲端 session 的閘全滅,而三個驗證步驟全部回綠——因為它們沒有鑑別力
|
||||
# (`git tag` 在三支閘的白名單裡;`Skills(9)/Hooks(5)` 剛好是薄殼自己的 .claude/ 產生的數字)。
|
||||
#
|
||||
# 🔴 鑑別力就是這支的全部意義:
|
||||
# 這行出現 ⇒ plugin 一定載入了(因為它自己就住在 plugin 裡)
|
||||
# 這行不見 ⇒ plugin 沒載入,那個 session 是零閘狀態
|
||||
# ——沒有第三種情況,也沒有「剛好也會過」的巧合。
|
||||
set -uo pipefail
|
||||
|
||||
ROOT="${CLAUDE_PLUGIN_ROOT:-}"
|
||||
[ -n "$ROOT" ] || exit 0
|
||||
|
||||
VER="$(sed -n 's/.*"version"[[:space:]]*:[[:space:]]*"\([^"]*\)".*/\1/p' \
|
||||
"$ROOT/.claude-plugin/plugin.json" 2>/dev/null | head -1)"
|
||||
VER="${VER:-未知}"
|
||||
# 🔴 數「真的被註冊的」,不是數目錄裡有幾個 .sh(leo 的雲端驗收 2026-08-23 抓到):
|
||||
# 舊寫法 `ls hooks/*.sh` 把 `pre-write-guard.template.sh`(樣板,不是閘)
|
||||
# 與兩支沒掛註冊的輔助檔一起算進去 ⇒ 報 45,實際註冊 42。
|
||||
# 這個數字是 leo 判斷「這個 session 有沒有閘」的唯一介面——**多報就是假綠**。
|
||||
# (查過歷史:本檔自 daa1674 建立以來只有那一版,沒有別的分支修過這段。)
|
||||
GATES="$(grep -oE 'hooks/[a-zA-Z0-9._-]+\.sh' "$ROOT/hooks/hooks.json" 2>/dev/null \
|
||||
| sort -u | wc -l | tr -d ' ')"
|
||||
case "$GATES" in
|
||||
''|*[!0-9]*|0)
|
||||
GATES="$(ls "$ROOT"/hooks/*.sh 2>/dev/null | grep -cv '\.template\.sh$' | tr -d ' ')" ;;
|
||||
esac
|
||||
|
||||
# 🔴 講清楚「這一份是誰」(leo 2026-08-23 的雲端驗收卡在這裡整整一輪):
|
||||
# 同一台機器上 ISEP 可能有兩份——marketplace 裝的 plugin 快取,
|
||||
# 與 repo 裡 vendor 進去的複製本。**兩份都會印這一行**,而版本號一樣時分不出誰在說話。
|
||||
# 「閘到底從哪一份走」正是決定「另一份能不能拆」的唯一判準
|
||||
# ⇒ 讓路徑自己講:快取在 plugins/cache/ 底下,vendor 的在 repo 的 .claude/ 底下。
|
||||
# (查過歷史:本檔只有 daa1674 建立、b1f399f 改閘數兩輪,沒有人試過標示來源,也沒有被否決的方案。
|
||||
# KBDB 語意搜尋這段開發史:0 命中,該餵。)
|
||||
case "$ROOT" in
|
||||
*/plugins/cache/*) SRC="plugin(marketplace 裝的)" ;;
|
||||
*/.claude/isep*) SRC="vendor(repo 裡的複製本)" ;;
|
||||
*) SRC="來源不明" ;;
|
||||
esac
|
||||
|
||||
MSG="🟢 ISEP v${VER} 已載入(${GATES} 支閘|來源:${SRC}|${ROOT})"
|
||||
|
||||
printf '%s\n' "{
|
||||
\"systemMessage\": \"${MSG}\",
|
||||
\"hookSpecificOutput\": {
|
||||
\"hookEventName\": \"SessionStart\",
|
||||
\"additionalContext\": \"${MSG}。這行是 ISEP plugin 自己發的——看得到它就表示閘真的生效了。若某個 session 從頭到尾沒有這行,那個 session 是零閘狀態,先修 plugin 再做事,不要用『跑得動』當證據。\"
|
||||
}
|
||||
}"
|
||||
@@ -0,0 +1,229 @@
|
||||
#!/usr/bin/env python3
|
||||
"""hooks/lib/dispatch_parse.py — 派工單與交件回覆的**結構解析器**(不是閘)。
|
||||
|
||||
依 inkstone/ISEP#40 S7 的慣例:`lib/` 裡的東西是共用零件,本身不決定 allow/block,
|
||||
判決由呼叫它的閘做(`hooks/dispatch-format-guard.sh`、`hooks/reply-identity-guard.sh`、
|
||||
`scripts/ticket`)。
|
||||
|
||||
━━ 規則本身(leo 2026-08-27,inkstone/ISEP#30 comment 4322 / 4325 / 4327)━━
|
||||
|
||||
派工單 = 【工單】owner/repo#N。就這樣。
|
||||
|
||||
三則合起來是一條規則:
|
||||
4322 任務要在票上,不是在 prompt 裡 —— 而閘只驗了票號這個殼
|
||||
4325 「你用一個 **output parser** 把你給 subagent 的指令規範,分作幾點,
|
||||
每一點規定格式,**照這種散文寫法根本無法迭代**」「**警察也不能抓**」
|
||||
4327 「**交件方式不需要寫,定義在原則裡**⋯⋯每次都一樣提取出來變成共通規定」
|
||||
「(那些 session 事實)**為什麼不寫到票裡?**」
|
||||
|
||||
⇒ 派工單裡的東西只有兩種,**兩種都不該留在派工單**:
|
||||
|
||||
每次都一樣 交件方式、不要 push main、org 是 inkstone、先讀該 repo 的 CLAUDE.md
|
||||
=> 共通規定(由閘自動注入,見 dispatch-format-guard.sh)
|
||||
這次才知道 main 是哪顆 commit、今天撞過什麼、另一條線正在動什麼
|
||||
=> **寫進那張票**(「票上還沒有」是「去把它寫上票」的指令,
|
||||
不是「把它寫進 prompt」的理由)
|
||||
|
||||
判準一句話:**「這句話換一張票還成立嗎?」**
|
||||
還成立 => 共通規定;只有這次成立 => 寫進這張票。兩種都不進派工單。
|
||||
|
||||
為什麼連「這次才知道的事」也不能留在 prompt(4327 實害):
|
||||
那個 agent 被停掉/換人接手,那段事實就隨 prompt 消失。
|
||||
2026-08-27 總管停掉重派 3 次,前兩次的任務與 session 事實全部蒸發。
|
||||
|
||||
━━ 為什麼這支過得了「封動作不封文字」的檢驗(leo 2026-08-17)━━━━━━━━
|
||||
「你在**文字層**封路⋯⋯**自然語言的變體是無限的,blacklist 永遠追不完。**
|
||||
封路哲學之所以有效,是因為它封的是**動作**——動作有限且可枚舉,文字不是。」
|
||||
當日實證:文字層的閘 8 次誤攔、0 次正確攔截,**紅線寫得越細,命中關鍵字的機率越高
|
||||
⇒ 那些閘在懲罰謹慎**。
|
||||
|
||||
本檔**全檔零個「命中某個詞就違規」的比對**。判準是「這一行是不是【工單】欄位」——
|
||||
**在不在**,不是**寫什麼**。用到的正則只有兩種,都在認形狀:
|
||||
- `【某某】` 欄位標記本身
|
||||
- `owner/repo#N` 票號形狀
|
||||
措辭多謹慎、有沒有提到「紅線」「部署」「main」,本檔一律不看。
|
||||
⇒ 也因此它不會像文字層的閘那樣「寫得越小心越容易被罰」。
|
||||
|
||||
━━ 派工單格式 ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
|
||||
【工單】inkstone/ISEP#30 → comment 4322
|
||||
|
||||
就這一行。要帶兩張票就兩行【工單】。**沒有第二個欄位。**
|
||||
|
||||
━━ 交件回覆格式(任何人 → 票)━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
|
||||
【身份】subagent/inkstone/ISEP/feat/ticket-carries-the-task
|
||||
|
||||
第一行就要認得出是誰寫的。角色是三選一的允許清單:`總管`/`subagent`/`leo`。
|
||||
2026-08-27 實害:總管寫的診斷被當成 subagent 的結論,而其中一則是錯的。
|
||||
|
||||
用法:
|
||||
import dispatch_parse
|
||||
r = dispatch_parse.parse_dispatch(prompt_text)
|
||||
ok, detail = dispatch_parse.parse_identity(comment_body)
|
||||
|
||||
CLI:吃 hook 的 JSON,吐一份事實 JSON
|
||||
printf '%s' "$INPUT" | python3 hooks/lib/dispatch_parse.py dispatch
|
||||
"""
|
||||
import json
|
||||
import re
|
||||
import sys
|
||||
|
||||
# ── 派工單的字彙表:**只有一個欄位**。這是允許清單,不是黑名單 ──────────────
|
||||
DISPATCH_ALLOWED = ("工單",)
|
||||
|
||||
# 曾經合法、現已收回的欄位。**不參與判決**(判決是「不是【工單】就是多的」),
|
||||
# 只用來讓訊息講得出「你這一欄的內容該搬去哪」。
|
||||
RETIRED_FIELDS = {
|
||||
"人格": "共通規定(收工方從票的 repo 就知道自己戴誰的人格)",
|
||||
"交件": "共通規定(每張票都一樣:貼回原票)",
|
||||
"就地": "**寫進那張票**(這正是「票上還沒有」的解法)",
|
||||
"身份": "那是**交件回覆**的欄位,不是派工單的",
|
||||
}
|
||||
|
||||
IDENTITY_ROLES = ("總管", "subagent", "leo")
|
||||
|
||||
_MARKER_RE = re.compile(r"^【([^】]{1,12})】\s*(.*)$")
|
||||
_REF_RE = re.compile(r"^([A-Za-z0-9_.-]+)/([A-Za-z0-9_.-]+)#(\d+)\s*$")
|
||||
_COMMENT_RE = re.compile(r"(?:#issuecomment-|→\s*comment\s*)(\d+)")
|
||||
_FENCE_RE = re.compile(r"^\s*(```|~~~)")
|
||||
|
||||
|
||||
def _split_lines(text):
|
||||
"""切成 (是否在圍欄內, 原始行)。
|
||||
|
||||
圍欄(``` / ~~~)裡的東西是**資料**不是欄位標記。同一個道理已經在
|
||||
hooks/lib/strip_heredoc.py 落地過(heredoc body 是資料不是指令,
|
||||
inkstone/InkStoneCo#23、#56 的根因就是把資料當指令掃)。
|
||||
這裡的效果是:貼一段指令進派工單,裡面的【】不會被誤認成欄位——
|
||||
但整段圍欄本身仍然算「多出來的內容」,照樣會被擋。
|
||||
"""
|
||||
out, in_fence = [], False
|
||||
for line in text.split("\n"):
|
||||
if _FENCE_RE.match(line):
|
||||
out.append((in_fence, line)) # 圍欄那一行歸屬於「切換前」的狀態
|
||||
in_fence = not in_fence
|
||||
continue
|
||||
out.append((in_fence, line))
|
||||
return out
|
||||
|
||||
|
||||
def parse_dispatch(prompt):
|
||||
"""把派工單拆成「【工單】欄位」與「其餘一切」。**只回事實,不下判決**。
|
||||
|
||||
回傳 dict:
|
||||
has_ticket_marker 有沒有出現過【工單】——沒有就不是本格式的東西
|
||||
refs 解析成功的票號清單 [{'owner','repo','num','comment'}]
|
||||
bad_ticket_lines 有【工單】標記但形狀不對的那幾行
|
||||
extra 多出來的實質內容 [(來源欄位或 None, 原始行)]
|
||||
retired_seen 出現過的、已收回的欄位名(給訊息用)
|
||||
"""
|
||||
fields_seen, refs, bad_ticket_lines = [], [], []
|
||||
extra, retired_seen = [], []
|
||||
cur = None
|
||||
|
||||
for in_fence, raw in _split_lines(prompt or ""):
|
||||
if not in_fence:
|
||||
m = _MARKER_RE.match(raw)
|
||||
if m:
|
||||
name, rest = m.group(1), m.group(2)
|
||||
cur = name
|
||||
fields_seen.append(name)
|
||||
if name in RETIRED_FIELDS and name not in retired_seen:
|
||||
retired_seen.append(name)
|
||||
if name in DISPATCH_ALLOWED:
|
||||
text = rest.strip()
|
||||
head = _COMMENT_RE.sub("", text).strip()
|
||||
rm = _REF_RE.match(head)
|
||||
if rm:
|
||||
cm = _COMMENT_RE.search(text)
|
||||
refs.append({"owner": rm.group(1), "repo": rm.group(2),
|
||||
"num": int(rm.group(3)),
|
||||
"comment": int(cm.group(1)) if cm else None})
|
||||
else:
|
||||
bad_ticket_lines.append(raw.strip())
|
||||
else:
|
||||
if rest.strip():
|
||||
extra.append((name, raw))
|
||||
continue
|
||||
if raw.strip():
|
||||
# 【工單】欄位本身只准佔它自己那一行;它下面的續行也是多的。
|
||||
extra.append((cur, raw))
|
||||
|
||||
return {
|
||||
"has_ticket_marker": "工單" in fields_seen,
|
||||
"refs": refs,
|
||||
"bad_ticket_lines": bad_ticket_lines,
|
||||
"extra": extra,
|
||||
"extra_lines": len(extra),
|
||||
"extra_chars": sum(len(r.strip()) for _, r in extra),
|
||||
"retired_seen": retired_seen,
|
||||
"fields_seen": fields_seen,
|
||||
}
|
||||
|
||||
|
||||
def dispatch_violations(parsed):
|
||||
"""換算成違規清單。每一條都是**結構**事實,可以單獨迭代。"""
|
||||
v = []
|
||||
for line in parsed["bad_ticket_lines"]:
|
||||
v.append(("票號形狀不對",
|
||||
"「%s」不是 owner/repo#N(可加 → comment M);org 是 inkstone 不是 Leo"
|
||||
% line[:60]))
|
||||
if parsed["extra"]:
|
||||
first = parsed["extra"][0][1].strip()
|
||||
v.append(("派工單不只有票號",
|
||||
"【工單】以外還有 %d 行/%d 字,第一行是:%s"
|
||||
% (parsed["extra_lines"], parsed["extra_chars"], first[:50])))
|
||||
return v
|
||||
|
||||
|
||||
def parse_identity(body):
|
||||
"""交件回覆的【身份】欄。回 (ok, detail)。"""
|
||||
for raw in (body or "").split("\n"):
|
||||
if not raw.strip():
|
||||
continue
|
||||
m = _MARKER_RE.match(raw)
|
||||
if not m or m.group(1) != "身份":
|
||||
return False, "第一行不是【身份】"
|
||||
val = m.group(2).strip()
|
||||
if not val:
|
||||
return False, "【身份】後面是空的"
|
||||
role = re.split(r"[//]", val)[0].strip()
|
||||
if role not in IDENTITY_ROLES:
|
||||
return False, "角色「%s」不在 %s 之內" % (role or "(空)", "/".join(IDENTITY_ROLES))
|
||||
return True, val
|
||||
return False, "內文是空的"
|
||||
|
||||
|
||||
# ── CLI ──────────────────────────────────────────────────────────────────
|
||||
def _main():
|
||||
mode = sys.argv[1] if len(sys.argv) > 1 else "dispatch"
|
||||
try:
|
||||
payload = json.load(sys.stdin)
|
||||
except Exception:
|
||||
print(json.dumps({"status": "skip", "why": "payload 不是 JSON"}))
|
||||
return
|
||||
|
||||
if mode != "dispatch":
|
||||
print(json.dumps({"status": "skip", "why": "未知模式 %s" % mode}))
|
||||
return
|
||||
|
||||
prompt = (payload.get("tool_input") or {}).get("prompt") or ""
|
||||
parsed = parse_dispatch(prompt)
|
||||
|
||||
# 連【工單】都沒有 => 那是 no-ticket-no-dispatch.sh 的地盤,本閘閉嘴。
|
||||
# 兩支閘同時對同一件事開口,收工方會拿到兩份互相打架的教學。
|
||||
if not parsed["has_ticket_marker"]:
|
||||
print(json.dumps({"status": "skip", "why": "沒有【工單】,交給 no-ticket-no-dispatch"}))
|
||||
return
|
||||
|
||||
print(json.dumps({
|
||||
"status": "ok",
|
||||
"violations": [{"code": c, "detail": d} for c, d in dispatch_violations(parsed)],
|
||||
"refs": parsed["refs"],
|
||||
"retired_seen": parsed["retired_seen"],
|
||||
"extra_lines": parsed["extra_lines"],
|
||||
"session_id": payload.get("session_id") or "",
|
||||
}, ensure_ascii=False))
|
||||
|
||||
|
||||
if __name__ == "__main__":
|
||||
_main()
|
||||
@@ -0,0 +1,47 @@
|
||||
# hooks/lib/path-resolve.sh — 共用:判斷一個檔案路徑「歸不歸某個 git repo 管」。
|
||||
# 不是獨立掛的閘(沒進 hooks.json),給其他 PreToolUse 閘 `source` 用的函式庫。
|
||||
#
|
||||
# 背景(inkstone/InkStoneCo#22):sdd-guard.sh 曾經把 scratchpad 暫存檔
|
||||
# (`/private/tmp/.../scratchpad/foo.py`)誤判成「repo 裡的 code 變動」而擋下——
|
||||
# 因為它只會「猜專案根($CLAUDE_PROJECT_DIR 或 cwd)+往上找 3-specs」,
|
||||
# 猜錯或猜不到時,找不到 3-specs 就一律當「找不到 SDD」擋下,連「這條路徑根本不在
|
||||
# 任何 repo 裡、SDD 這件事天生管不到它」都沒判斷過。
|
||||
#
|
||||
# path_in_git_worktree 提供一個不必先猜對專案根的判法:直接問 git
|
||||
# 「這個路徑在不在某個 repo 的工作樹裡」。不必窮舉暫存區的路徑關鍵字(/tmp、scratchpad…),
|
||||
# 任何真的不在 git repo 裡的路徑,一律視同「這是暫存/非受管檔案」。
|
||||
#
|
||||
# 同一個 `${CLAUDE_PROJECT_DIR:-$(pwd)}` 猜根目錄寫法,實測(2026-08-20)還出現在:
|
||||
# component-guard.sh、factory-idle-guard.sh、github-contact-guard.sh、
|
||||
# history-first-guard.sh、main-and-prod-push-guard.sh、no-ticket-no-dispatch.sh、
|
||||
# not-my-branch-guard.sh、release-tag-guard.sh、skill-deploy-drift-guard.sh、
|
||||
# stage-before-prod-guard.sh、unpushed-police.sh、wiki-first-police.sh。
|
||||
# 另有 claim-verify-police.sh、subagent-claim-worksheet.sh、empty-handed-stop-guard.sh、
|
||||
# issue-status-autoflip.sh 直接寫 `$CLAUDE_PROJECT_DIR`(無 `:-` fallback)——
|
||||
# 這批在該變數未設時行為又不一樣,同一個病的另一種長相。
|
||||
# 這些全部沒有本檔「先確認到底在不在 repo 裡」的判斷;本檔先在 sdd-guard.sh 落地,
|
||||
# 其餘要不要跟進、要不要改用這支共用函式,另案處理,不在本票(#22)範圍內一次改完。
|
||||
#
|
||||
# 用法:
|
||||
# source "$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)/lib/path-resolve.sh"
|
||||
# if ! path_in_git_worktree "$FILE_PATH"; then
|
||||
# # 不在任何 git repo 裡 ⇒ 這支閘通常管不到,多半該放行
|
||||
# fi
|
||||
|
||||
# path_in_git_worktree <path>
|
||||
# 回傳 0=這個路徑落在某個 git 工作樹裡;1=不在任何 git repo 裡(含路徑本身不存在的情況)。
|
||||
# 做法:從路徑的目錄部分開始,往上找到「第一個真的存在的祖先目錄」,
|
||||
# 對那個目錄問 `git rev-parse --is-inside-work-tree`。
|
||||
# 為什麼要往上找存在的祖先,不能直接對 dirname 問:
|
||||
# 要在 repo 裡建一個還沒建立的子目錄下的新檔案時,dirname 也不存在,
|
||||
# 若不往上找,`git -C <不存在的目錄>` 會直接失敗 ⇒ 誤判成「不在 repo 裡」
|
||||
# ⇒ 放行了本來該擋的東西(fail-open 的洞,不是這支函式該製造的)。
|
||||
path_in_git_worktree() {
|
||||
local p="$1" d
|
||||
d=$(dirname -- "$p")
|
||||
while [ ! -d "$d" ] && [ "$d" != "/" ]; do
|
||||
d=$(dirname -- "$d")
|
||||
done
|
||||
[ -d "$d" ] || return 1
|
||||
git -C "$d" rev-parse --is-inside-work-tree >/dev/null 2>&1
|
||||
}
|
||||
@@ -0,0 +1,174 @@
|
||||
#!/usr/bin/env python3
|
||||
"""hooks/lib/push_target_dir.py -- shared helper (inkstone/ISEP#40 S7-style
|
||||
lib helper: source of truth for a small piece of logic, not a gate by
|
||||
itself; nothing here decides allow/block on its own).
|
||||
|
||||
What it answers: given a shell command string that somewhere invokes
|
||||
`git ... push ...`, which directory will that push actually execute in?
|
||||
|
||||
Why this exists (inkstone/ISEP#30 comment 3949, 脈絡見 InkStoneCo#57):
|
||||
main-and-prod-push-guard.sh's stamp_ok() used to read `git rev-parse
|
||||
--show-toplevel` from the *hook's own* cwd (= the session's real repo) as
|
||||
"HERE", and compare it against the repo path the caller wrote into the
|
||||
stamp ("WANT"). That works when the push target IS the repo the session is
|
||||
standing in. It can never work otherwise: a `cd <other-repo> && git push
|
||||
origin HEAD:main` changes the *push's* directory but not the hook's, so
|
||||
HERE stays the real repo forever while WANT is (correctly) the other repo
|
||||
-- the two can never match, no matter how carefully the caller follows the
|
||||
gate's own instructions. This isn't a bad judgment call; that scenario
|
||||
simply doesn't exist in the old model.
|
||||
|
||||
This module extracts the directory the push *actually* runs in, purely by
|
||||
tokenizing -- it never executes anything. Two sources, first one found
|
||||
wins (in the order a real shell would apply them):
|
||||
- a `cd <path>` chain preceding the push, scoped correctly across
|
||||
subshells: a `(` inherits the current directory from its parent at the
|
||||
moment it opens, but whatever a subshell `cd`s to does NOT leak back
|
||||
out to sibling commands after the matching `)` closes (this mirrors
|
||||
real bash: a subshell's cwd change is local to that subshell). This
|
||||
scoping is load-bearing, not cosmetic: without it, `(cd /repo-A &&
|
||||
true); git push origin main` would misattribute the later push (which
|
||||
really runs wherever the outer shell already was) to /repo-A, and a
|
||||
stale/legitimate stamp for /repo-A could then wrongly wave through a
|
||||
push into whatever the outer cwd actually is -- the exact "stamp
|
||||
opened for repo A also opens the door for repo B" shape 2026-08-11
|
||||
already burned us on once.
|
||||
- a `-C <path>` flag on the git invocation itself, which further wins
|
||||
over any `cd` chain (matches git's own precedence: `-C` sets the
|
||||
directory for that invocation regardless of the shell's cwd).
|
||||
|
||||
Multiple relative `cd`/`-C` hops are combined by plain string join here
|
||||
(no `..`/`~`/`$()` resolution) -- resolving the combined expression to a
|
||||
real, canonical, absolute path is left to the caller, which does it with a
|
||||
read-only `cd "<expr>" && pwd` in a throwaway subshell. That two-step split
|
||||
matters: this module only ever *parses*, so it stays side-effect-free even
|
||||
when fed a hostile or malformed command; only the caller's final `cd`
|
||||
touches the filesystem, and `cd` cannot execute anything, it can only fail
|
||||
to find a directory.
|
||||
|
||||
If no `cd`/`-C` applies (the push runs wherever the hook itself is, i.e.
|
||||
today's behaviour), or the command doesn't parse, prints nothing -- the
|
||||
caller falls back to its existing cwd-based resolution. That fallback
|
||||
direction is deliberately the *safe* one: on any parse ambiguity we hand
|
||||
back "unknown" rather than guess, and an unresolved HERE can only make the
|
||||
gate keep blocking (fail toward blocking), never open a door it wouldn't
|
||||
have opened before.
|
||||
|
||||
Usage:
|
||||
printf '%s' "$CMD" | python3 push_target_dir.py
|
||||
"""
|
||||
import shlex
|
||||
import sys
|
||||
|
||||
_SEPARATORS = {";", "&&", "||", "|", "&", "\n"}
|
||||
|
||||
|
||||
def _join(base, path):
|
||||
"""Combine a cwd-so-far (`base`, or None if unknown/hook-cwd) with a
|
||||
`cd`/`-C` argument written in the command. Absolute paths and `~`
|
||||
replace the base outright; anything else is appended textually --
|
||||
normalizing `..`/`.` is intentionally left to the caller's real `cd`."""
|
||||
if not path:
|
||||
return base
|
||||
if path == "-" or path.startswith("$"):
|
||||
# `cd -` (previous dir) and `$VAR`/`$(...)` expansions can't be
|
||||
# resolved by tokenizing alone -- treat as "unknown" rather than
|
||||
# guess wrong, which keeps the caller on its safe fallback path.
|
||||
return None
|
||||
if path.startswith("/") or path.startswith("~"):
|
||||
return path
|
||||
if base is None:
|
||||
return path
|
||||
return base.rstrip("/") + "/" + path
|
||||
|
||||
|
||||
def _classify(tokens):
|
||||
if not tokens:
|
||||
return ("other", None)
|
||||
if tokens[0] == "cd" and len(tokens) > 1:
|
||||
return ("cd", tokens[1])
|
||||
if tokens[0] == "git" and "push" in tokens[1:]:
|
||||
return ("push", tokens)
|
||||
return ("other", None)
|
||||
|
||||
|
||||
def _events(cmd):
|
||||
"""Tokenize cmd into (kind, value) events in source order: 'enter'/
|
||||
'exit' for parens (subshell boundaries), 'cd'/'push'/'other' for
|
||||
statements split on the usual shell separators. Returns [] on any
|
||||
quoting error -- caller then falls back to cwd-based resolution."""
|
||||
try:
|
||||
lexer = shlex.shlex(cmd, posix=True, punctuation_chars=True)
|
||||
lexer.whitespace_split = True
|
||||
toks = list(lexer)
|
||||
except ValueError:
|
||||
return []
|
||||
|
||||
events = []
|
||||
seg = []
|
||||
|
||||
def flush():
|
||||
if seg:
|
||||
# _classify's "push" branch returns `tokens` by reference; copy
|
||||
# before clear() below, or the event's tuple would observe the
|
||||
# list emptied out from under it (aliasing, not a value copy).
|
||||
events.append(_classify(seg[:]))
|
||||
seg.clear()
|
||||
|
||||
for tok in toks:
|
||||
if tok == "(":
|
||||
flush()
|
||||
events.append(("enter", None))
|
||||
elif tok == ")":
|
||||
flush()
|
||||
events.append(("exit", None))
|
||||
elif tok in _SEPARATORS:
|
||||
flush()
|
||||
else:
|
||||
seg.append(tok)
|
||||
flush()
|
||||
return events
|
||||
|
||||
|
||||
def find_push_target(cmd):
|
||||
events = _events(cmd)
|
||||
if not events:
|
||||
return ""
|
||||
|
||||
stack = [None] # cwd-so-far per paren depth; None = "same as hook cwd"
|
||||
result = None
|
||||
saw_push = False
|
||||
|
||||
for kind, val in events:
|
||||
if kind == "enter":
|
||||
stack.append(stack[-1]) # child subshell inherits current dir
|
||||
elif kind == "exit":
|
||||
if len(stack) > 1:
|
||||
stack.pop() # subshell's own cd's don't leak out
|
||||
elif kind == "cd":
|
||||
stack[-1] = _join(stack[-1], val)
|
||||
elif kind == "push":
|
||||
saw_push = True
|
||||
c_path = None
|
||||
toks = val
|
||||
for j, t in enumerate(toks):
|
||||
if t == "-C" and j + 1 < len(toks):
|
||||
c_path = toks[j + 1]
|
||||
break
|
||||
if t.startswith("-C") and len(t) > 2:
|
||||
c_path = t[2:]
|
||||
break
|
||||
result = _join(stack[-1], c_path) if c_path else stack[-1]
|
||||
|
||||
if not saw_push:
|
||||
return ""
|
||||
return result or ""
|
||||
|
||||
|
||||
def main():
|
||||
cmd = sys.stdin.read()
|
||||
sys.stdout.write(find_push_target(cmd))
|
||||
|
||||
|
||||
if __name__ == "__main__":
|
||||
main()
|
||||
@@ -98,7 +98,32 @@ stamp_ok() {
|
||||
# 等於一把萬用鑰匙——正是 08-11 那次穿透的形狀(替 A repo 開的門 B repo 也走得過)。
|
||||
# 而且 `.claude/settings.local.json` 裡真的放行過 `touch /tmp/.main-push-ok`。
|
||||
# ⇒ 現在**空內容一律不算數**:要嘛寫得出 repo 路徑且對得上,要嘛不放行。
|
||||
HERE=$(git rev-parse --show-toplevel 2>/dev/null || printf '')
|
||||
#
|
||||
# 🔴 2026-08-23(inkstone/ISEP#30 comment 3949,脈絡 InkStoneCo#57):
|
||||
# `HERE` 原本一律讀 hook 自己的 cwd(=session 站著的那個 repo)。
|
||||
# 只要要推的 repo **不是**「session 站著的那個 repo」——例如指令自己
|
||||
# `cd <別的 repo> && git push` 或 `git -C <別的 repo> push`——HERE 永遠是
|
||||
# 總管的真身,而總管替目標 repo 開的 WANT 永遠對不上,這道閘就**永遠沒辦法
|
||||
# 合法通過**。不是判斷錯,是這個情境在舊模型裡根本不存在(照閘的指示做
|
||||
# 戳記,戳記內容天生就贏不了)。
|
||||
# 改法:先看指令本身有沒有把 push 的執行目錄改掉
|
||||
# (lib/push_target_dir.py——純 tokenize,不執行任何指令,
|
||||
# 對 `cd A && cd B && git push` 這種多層鏈與 `(cd A && …); git push` 這種
|
||||
# 子殼會不會外洩都做了範圍化,理由見該檔檔頭);解得出來就 `cd` 進那個
|
||||
# 目錄(唯讀操作,`cd` 本身不會執行任何東西)問 git 那裡的 toplevel 是誰;
|
||||
# 解不出來(沒有 cd/-C,或指令太怪解析失敗)才退回舊行為=hook 自己的 cwd。
|
||||
# 🔴 綁 repo+單次用完即丟兩條性質完全沒有鬆動:這裡只是把「現在人在哪個
|
||||
# repo」問得更準,比對邏輯(下面兩行)一個字沒動。
|
||||
_push_target_dir="$(dirname "$0")/lib/push_target_dir.py"
|
||||
_target_expr=""
|
||||
if [ -f "$_push_target_dir" ]; then
|
||||
_target_expr=$(printf '%s' "$CMD" | python3 "$_push_target_dir" 2>/dev/null || printf '')
|
||||
fi
|
||||
if [ -n "$_target_expr" ]; then
|
||||
HERE=$(cd "$_target_expr" 2>/dev/null && git rev-parse --show-toplevel 2>/dev/null || printf '')
|
||||
else
|
||||
HERE=$(git rev-parse --show-toplevel 2>/dev/null || printf '')
|
||||
fi
|
||||
WANT=$(head -1 "$STAMP" 2>/dev/null || printf '')
|
||||
[ -n "$WANT" ] || return 1
|
||||
[ -n "$HERE" ] || return 1
|
||||
@@ -125,7 +150,42 @@ if printf '%s' "$CMD" | grep -qE '(^|[;&|(`]|&&|\|\|)[[:space:]]*git([[:space:]]
|
||||
# 2026-08-20: match the target branch on a word boundary, not a bare substring --
|
||||
# a glob like *main* also matches "domain" (d-o-**m-a-i-n**), e.g. a push to
|
||||
# `fix/custom-domain-setup` would have false-positived.
|
||||
if printf '%s' "$CMD" | grep -qE '(^|[^A-Za-z])(main|master)([^A-Za-z]|$)'; then
|
||||
# 2026-08-21: 只看 **push 的目標**,不再掃整條指令。
|
||||
# 舊版掃整條 ⇒ 一個晚上誤攔四次,全都是推 feature branch 或 tag:
|
||||
# git checkout -b fix/x main && git push origin fix/x ← 「main」在 checkout 上
|
||||
# gh pr create --base main ← 根本不是 git push
|
||||
# git checkout origin/main --detach; git push origin refs/tags/v0.3.3
|
||||
# ⇒ **紅線寫得越細,命中關鍵字的機率越高**(leo 2026-08-17 的觀察,
|
||||
# 文字層封路必敗)。這裡改成判動作的目標,不是判字面。
|
||||
# 2026-08-23(順著 inkstone/ISEP#30 comment 3949 補測時自己抓到的洞,不在原票範圍
|
||||
# 但屬於同一支閘、同一段邏輯,且直接讓下面「反向不准鬆」的驗證跑不過,所以一併修):
|
||||
# `(git push origin HEAD:main)`——單純用括號包住整條指令——舊版會整段放行,
|
||||
# 跟 HERE/戳記完全無關,**連目的地判斷本身都沒觸發**。
|
||||
# 成因:截斷 refspec 尾巴只切 `;`/`&`/`|` 三種字元,沒算到 `)`——
|
||||
# 於是「HEAD:main)」被當成一個 token,`${_tok##*:}` 剝完冒號還剩「main)」,
|
||||
# 跟 `^main$` 對不上 ⇒ 判定成「看不出目標」⇒ 整段放行。加 `)` 進截斷字元。
|
||||
# git 的 refspec/分支名語法本來就不允許出現 `)`,所以在這裡截斷永遠安全,
|
||||
# 不會誤傷任何合法的推送目標。
|
||||
_push_seg=$(printf '%s' "$CMD" | sed -E 's/.*git[[:space:]]+(-[^[:space:]]+[[:space:]]+)*push//' | sed -E 's/[;&|)].*//')
|
||||
_dest=""
|
||||
_seen_remote=0
|
||||
_saw_refspec=0
|
||||
for _tok in $_push_seg; do
|
||||
case "$_tok" in
|
||||
-*) continue ;; # 旗標
|
||||
refs/tags/*|*:refs/tags/*) _saw_refspec=1; continue ;; # 推 tag 不是推分支
|
||||
esac
|
||||
if [ "$_seen_remote" = "0" ]; then _seen_remote=1; continue; fi # 第一個非旗標=remote
|
||||
_saw_refspec=1
|
||||
_dest="$_dest ${_tok##*:}" # a:b 的目標是 b;沒有冒號就是它自己
|
||||
done
|
||||
# 🔴 只有「一個 refspec 都沒給」才退回猜當前分支。
|
||||
# 看到 refspec(哪怕是 tag)就照它判——否則推 tag 會被當成推當前分支,
|
||||
# 而當前分支若剛好叫 main 就誤擋(2026-08-21 實測抓到)。
|
||||
if [ "${_saw_refspec:-0}" = "0" ]; then
|
||||
_dest=$(git rev-parse --abbrev-ref HEAD 2>/dev/null || echo "")
|
||||
fi
|
||||
if printf '%s' "$_dest" | tr ' ' '\n' | grep -qE '^(main|master)$'; then
|
||||
stamp_ok && exit 0
|
||||
|
||||
# ── 擋下的同時,把「誰想推什麼」留成一份請求(leo 2026-08-12)───────────
|
||||
|
||||
Executable
+42
@@ -0,0 +1,42 @@
|
||||
#!/usr/bin/env bash
|
||||
# milestone-due-guard.sh — 建 milestone 一定要有真的期限(leo 2026-08-21 立)
|
||||
#
|
||||
# leo 原話:「**以後所有的 milestone 限制時間**」
|
||||
# 「**你根本沒有時間概念,浪費一整天**」
|
||||
#
|
||||
# 🔴 為什麼連 9999 也要擋:立這條的當下實查七個 open milestone,
|
||||
# 六個的期限是 `9999-01-01`——那是「沒有期限」穿了一件期限的衣服,
|
||||
# 比空白更糟,因為它讓盤點時看起來每一格都有值。
|
||||
set -uo pipefail
|
||||
INPUT=$(cat)
|
||||
CMD=$(printf '%s' "$INPUT" | python3 -c "import json,sys;print(json.load(sys.stdin).get('tool_input',{}).get('command',''))" 2>/dev/null || echo "")
|
||||
[ -z "$CMD" ] && exit 0
|
||||
|
||||
# 只管「建 milestone」這個動作
|
||||
printf '%s' "$CMD" | grep -qE 'milestones' || exit 0
|
||||
printf '%s' "$CMD" | grep -qE '\-X *POST|--request *POST' || exit 0
|
||||
|
||||
DUE=$(printf '%s' "$CMD" | grep -oE '"due_on"[^,}]*' | head -1)
|
||||
BAD=""
|
||||
[ -z "$DUE" ] && BAD="沒有 due_on"
|
||||
printf '%s' "$DUE" | grep -q '9999' && BAD="due_on 是 9999(等於沒有期限)"
|
||||
|
||||
[ -z "$BAD" ] && exit 0
|
||||
|
||||
cat >&2 <<MSG
|
||||
⏱️ 里程碑期限閘:$BAD
|
||||
|
||||
【leo 2026-08-21】「**以後所有的 milestone 限制時間**」
|
||||
「**你根本沒有時間概念,浪費一整天**」
|
||||
|
||||
🔴 9999-01-01 也算違規。立這條的當下實查七個 open milestone,
|
||||
六個是 9999——那是「沒有期限」穿了一件期限的衣服,
|
||||
比空白更糟,因為盤點時每一格看起來都有值。
|
||||
|
||||
怎麼定:這個里程碑的 deliverable 是**一個可測的版本**。
|
||||
問「這個版本幾號要能給 leo 打開?」,那天就是期限。
|
||||
剩 1–3 張票 → 一週;4 張以上 → 兩週;本週要收 → 三天。
|
||||
|
||||
加上去再送一次: "due_on": "YYYY-MM-DDT23:59:59Z"
|
||||
MSG
|
||||
exit 2
|
||||
Executable
+73
@@ -0,0 +1,73 @@
|
||||
#!/bin/bash
|
||||
# 管什麼: 直接打 Gitea API 貼留言到票上時,內文第一行沒有【身份】就擋。
|
||||
# 為什麼: scripts/ticket 已經在正門擋了,但貼留言還有 API 這條側門——只封一條等於沒封。
|
||||
# 誤觸時怎麼關: 內文第一行加【身份】<總管|subagent|leo>/<owner/repo>/<分支>,或在指令裡加 reply-identity-ok 留痕放行。
|
||||
#
|
||||
# reply-identity-guard.sh — PreToolUse(Bash):**票上的每一則留言都要認得出是誰寫的**
|
||||
#
|
||||
# 來由(leo 2026-08-27,inkstone/ISEP#30 comment 4325):
|
||||
# 「**subagent 回覆時要表明身份**」
|
||||
# 實害(同日):多條線並行,票上的留言看不出是誰寫的,
|
||||
# **總管寫的診斷被當成 subagent 的結論,而其中一則是錯的**。
|
||||
#
|
||||
# 為什麼要有這一支,正門的檢查不夠:
|
||||
# `scripts/ticket say` 已經在貼上去之前擋了。但**貼留言這個動作有兩條路**——
|
||||
# 而 `ticket-api-bypass-guard.sh` 是**刻意放行**「對既有票的留言」的(它管的是開新票)。
|
||||
# ⇒ 側門大開。這正是那支閘檔頭自己記過的一課:
|
||||
# 「規範有、閘也有,但閘長在『工具』上,而那個動作有兩條路,只封了一條。」
|
||||
#
|
||||
# 判準是**結構**不是文字(leo 2026-08-17:「封的是動作,不是文字」):
|
||||
# 本閘不看留言寫什麼,只看**那個欄位在不在**。
|
||||
# 三個條件都命中才擋:① 打到 /issues/<N>/comments 這條端點 ② 指令裡有 POST
|
||||
# ③ 內文找不到【身份】。純讀取(GET 撈留言)一律放行。
|
||||
#
|
||||
# 逃生口:指令裡加 `reply-identity-ok`(會留在指令歷史上)。
|
||||
#
|
||||
# 測試:hooks/tests/reply-identity.test.sh
|
||||
set -uo pipefail
|
||||
|
||||
INPUT=$(cat)
|
||||
CMD=$(printf '%s' "$INPUT" | python3 -c "
|
||||
import sys, json
|
||||
try: print(json.load(sys.stdin).get('tool_input', {}).get('command', ''))
|
||||
except Exception: print('')
|
||||
" 2>/dev/null)
|
||||
[ -n "$CMD" ] || exit 0
|
||||
|
||||
# 逃生口(留痕)
|
||||
case "$CMD" in *reply-identity-ok*) exit 0 ;; esac
|
||||
# 正門有自己的閘,重複擋只會互相打架
|
||||
case "$CMD" in *scripts/ticket*|*"ticket say"*|*"ticket decide"*|*"ticket close"*) exit 0 ;; esac
|
||||
|
||||
# ① 打到「某張票的留言」這條端點(帶票號的子路徑,這是本閘唯一管的東西)
|
||||
printf '%s' "$CMD" | grep -qE 'issues/[0-9]+/comments' || exit 0
|
||||
|
||||
# ② 純讀取一律放行。同 ticket-api-bypass-guard 的理由:只認一個裸字就夠——
|
||||
# ①已經確定這是留言端點,讀取的指令不會出現 POST,而且沒有跳脫的破口。
|
||||
printf '%s' "$CMD" | grep -qw 'POST' || exit 0
|
||||
|
||||
# ③ 內文有沒有身份欄。只問「在不在」,不問「寫什麼」。
|
||||
printf '%s' "$CMD" | grep -q '【身份】' && exit 0
|
||||
|
||||
cat >&2 <<'MSG'
|
||||
🚫 貼到票上的留言,第一行要表明身份(leo 2026-08-27:「**subagent 回覆時要表明身份**」)
|
||||
|
||||
你正在用 Gitea API 直接貼留言,而內文裡找不到【身份】。
|
||||
|
||||
第一行照這個寫(角色三選一:總管/subagent/leo):
|
||||
|
||||
【身份】subagent/inkstone/ISEP/feat/my-branch
|
||||
【身份】總管/inkstone/InkStoneCo/-
|
||||
|
||||
**這條管所有人,不是只管 subagent。** 總管寫在票上的東西同樣要標——
|
||||
實害(2026-08-27):多條線並行時票上看不出誰寫的,
|
||||
**總管寫的診斷被當成 subagent 的結論,而其中一則是錯的**。
|
||||
|
||||
── 走正門比較省事 ─────────────────────────────────────────────
|
||||
scripts/ticket say <owner/repo#N> -F <內文檔>
|
||||
它會回一行「定址」,那串就是下次派工要寫進【工單】的東西。
|
||||
|
||||
規約全文:docs/governance/dispatch-and-reply-format.md §3
|
||||
真的有例外 → 指令裡加 reply-identity-ok(會留在指令歷史上)。
|
||||
MSG
|
||||
exit 2
|
||||
+78
-13
@@ -1,4 +1,11 @@
|
||||
#!/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
|
||||
@@ -18,6 +25,8 @@
|
||||
|
||||
set -euo pipefail
|
||||
|
||||
source "$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)/lib/path-resolve.sh"
|
||||
|
||||
INPUT=$(cat)
|
||||
|
||||
# 解析 file_path。優先用 jq,沒有 jq 退回 grep(容錯)。
|
||||
@@ -38,8 +47,51 @@ fi
|
||||
# ⇒ 改成從被改檔案往上找最近的 system-dev/docs/3-specs(子 repo 優先,找不到才用頂層)。
|
||||
# ⚠️ 只往上找到「頂層 InkStoneCo」為止——不可讓任意路徑(如 /private/tmp/…)
|
||||
# 退回頂層 SDD 而被放行,那會把原本擋得住的情況變成擋不住。
|
||||
SPECS_DIR="system-dev/docs/3-specs"
|
||||
#
|
||||
# 🔴 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")
|
||||
@@ -53,16 +105,17 @@ case "$FILE_PATH" in
|
||||
done
|
||||
;;
|
||||
*)
|
||||
# 專案外的路徑:**不可退回頂層 SDD 就放行**,否則原本擋得住的會變成擋不住。
|
||||
# 但 **git worktree 是正當工作區**(本專案大量使用 /private/tmp 下的 worktree 出貨),
|
||||
# 它自己就帶著該 repo 的 system-dev/docs/3-specs ⇒ 一樣往上找,找得到就認。
|
||||
# 找不到才指向不存在目錄 ⇒ 走原有的「找不到 SDD」擋下路徑。
|
||||
# (2026-08-02:第一版忘了 worktree,把正當的出貨工作區也擋掉。)
|
||||
SPECS_DIR="/nonexistent/3-specs"
|
||||
# 專案外的路徑:`$_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")
|
||||
@@ -70,6 +123,18 @@ case "$FILE_PATH" in
|
||||
;;
|
||||
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 就被誤判「已遷移」而全紅,向下相容破功)。
|
||||
@@ -77,7 +142,7 @@ esac
|
||||
ACTIVE_COUNT=0
|
||||
FM_COUNT=0
|
||||
ACTIVE_LIST=""
|
||||
if [ -d "$SPECS_DIR" ]; then
|
||||
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)
|
||||
@@ -121,20 +186,20 @@ esac
|
||||
# 避免 template update 一裝新 hook,老 repo 所有 code 寫入立刻全紅。
|
||||
if [ "$FM_COUNT" -eq 0 ]; then
|
||||
SDD_COUNT=0
|
||||
if [ -d "$SPECS_DIR" ]; then
|
||||
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_DIR}/ 下找不到任何 SDD。
|
||||
🚫 SDD 協議攔截:要動 code 檔 ($FILE_PATH),但 ${SPECS_NOT_FOUND_MSG}。
|
||||
|
||||
絕對鐵律:任何 code 變動前必須有對應 SDD(design.md),且遵守單一活性生命週期
|
||||
(system-dev/docs/3-specs/SDD-LIFECYCLE.md)。
|
||||
|
||||
請先:
|
||||
1. 確認這個改動屬於哪個子系統
|
||||
2. 在 ${SPECS_DIR}/[子系統]/ 建立 design.md(可用 /sdd-check 協助),frontmatter 標 status: active
|
||||
2. 在 [子系統的] system-dev/docs/3-specs/[子系統]/ 建立 design.md(可用 /sdd-check 協助),frontmatter 標 status: active
|
||||
3. 在回覆開頭宣告已讀 SDD + 對應 task
|
||||
|
||||
小修改(修 bug、改文字)若確定豁免,請明確說明範圍後由人放行。
|
||||
@@ -143,14 +208,14 @@ EOF
|
||||
fi
|
||||
|
||||
# 舊行為放行 + 提醒遷移(stderr 警告,不擋)
|
||||
echo "📋 提醒:${SPECS_DIR}/ 有 SDD 但尚未掛生命週期 frontmatter(老結構)。動手前確認已讀對應 design.md;建議依 SDD-LIFECYCLE.md 補 status 標記(現行那份標 active)。" >&2
|
||||
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_DIR}/ 下沒有任何 status: active 的 SDD。
|
||||
🚫 SDD 協議攔截:要動 code 檔 ($FILE_PATH),但 ${SPECS_NOT_ACTIVE_MSG}。
|
||||
|
||||
單一活性鐵律:所有開發任務唯一對應源=那份 active SDD(規則見 system-dev/docs/3-specs/SDD-LIFECYCLE.md)。
|
||||
|
||||
|
||||
@@ -119,8 +119,21 @@ if not ok_hits and not ng_hits:
|
||||
|
||||
sid = (d.get("session_id") or "nosid")[:8]
|
||||
aid = (d.get("agent_id") or d.get("subagent_id") or "")[:10]
|
||||
stamp = hashlib.sha1((tp + sid + aid).encode()).hexdigest()[:8]
|
||||
path = os.path.join(os.environ["DIR"], "claims-%s-%s.md" % (sid, stamp))
|
||||
# 🔴 2026-08-21:stamp 原本雜湊「交件路徑」⇒ 同樣的宣稱每回合生一個新檔名,
|
||||
# 而且不知道總管已經驗過了。實際發作:同兩條 sdd-guard 宣稱連生四張單
|
||||
# (1c97d461/fcb285dc/256de849/394b97ae),驗掉一張下一回合又冒一張。
|
||||
# ⇒ 改成雜湊**宣稱內容本身**:同樣的宣稱=同一個檔名 ⇒ 驗過就不再冒出來。
|
||||
_claims = sorted(set(str(x) for x in (ok_hits + ng_hits)))
|
||||
# 🔴 空清單就退回舊行為 —— 但那等於這支閘沒抓到任何宣稱,本來就會 SKIP,
|
||||
# 所以這個 fallback 實際上不會被用到;留著只是不讓 stamp 變成空字串的雜湊。
|
||||
_basis = "\n".join(_claims) if _claims else (tp + sid + aid)
|
||||
stamp = hashlib.sha1(_basis.encode()).hexdigest()[:8]
|
||||
_name = "claims-%s-%s.md" % (sid, stamp)
|
||||
path = os.path.join(os.environ["DIR"], _name)
|
||||
|
||||
# 已經驗過並移進 verified/ 的,不要再生一次。
|
||||
if os.path.exists(os.path.join(os.environ["DIR"], "verified", _name)):
|
||||
print("SKIP:already-verified"); raise SystemExit
|
||||
|
||||
def block(title, items, howto, cap):
|
||||
if not items:
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
#!/bin/sh
|
||||
# subagent-first-guard.sh — PreToolUse(Write|Edit|MultiEdit):
|
||||
# 要親手改 code,卻**這個 session 一次工都沒派過** → 擋一次,逼你先回答「這件事該不該派出去」。
|
||||
# 要親手改 code,卻不是被派來做這件事的人 → 擋,逼你先回答「這件事該不該派出去」。
|
||||
#
|
||||
# 🔴 立這道閘的來由(leo 2026-08-08):
|
||||
# 「你記得**要叫 subagent 開工,你負責維護 loop**,而不是你開工後過一陣子停下來對吧?
|
||||
@@ -15,8 +15,34 @@
|
||||
# 這道閘負責讓「授權」真的變成「行為」——同 KBDB 那道的教訓:
|
||||
# **規則被讀到 ≠ 會被執行,要有機制驗證照做**。
|
||||
#
|
||||
# 逃生口:真的該自己做(單行修、改 hook 自己、緊急止血、subagent 回報後的收尾)
|
||||
# → `touch /tmp/.solo-ok-<session_id>` 後重送,並**在回覆裡說明理由**(留痕)。
|
||||
# 🔴 2026-08-27 改版(inkstone/ISEP#66)——leo 當場撞到:「你禁止寫 code,為什麼你改?
|
||||
# 為什麼你可以執行?」查出來這道閘同時有三個洞,改完的是這三個:
|
||||
#
|
||||
# 洞一:`.sh` 從來不在受管副檔名清單裡。這個 repo 自己的閘全部是 .sh
|
||||
# ⇒ 總管改任何一支閘,這道閘從第一行 case 就直接放行,路徑白名單根本沒機會判斷。
|
||||
# 這才是「改 no-ticket-no-dispatch.sh 閘一聲不響」的真正原因,不是路徑豁免。
|
||||
# → 修法:閘本身(`.claude/hooks/*.sh`、`hooks/*.sh`)獨立收進受管清單,
|
||||
# 不看副檔名是不是「傳統程式語言」。同時拿掉 `*/.claude/hooks/*` 整目錄豁免——
|
||||
# 「能改閘的人,等於能關掉所有其他閘」,這句話本身就是拿掉它的理由;
|
||||
# 真要緊急止血,走下面②的 solo-ok,不需要一扇整目錄常開的門。
|
||||
# 洞二:「這個 session 派過一次工」被當永久放行條件。但「派過一次」跟
|
||||
# 「有派工的習慣」是兩件事——派過工只回答了「那一件任務有沒有交出去」,
|
||||
# 回答不了「這一次任意的手改合不合理」。→ 修法:這個訊號整個拿掉,
|
||||
# 不再是放行條件(只留來在被擋下時的提示文字裡,讓你看到「你剛剛才派過工,
|
||||
# 這次怎麼不派」,純資訊、不放行)。
|
||||
# 洞三:「同一 session 只擋一次」=警報响過一次就對這個 session 的餘生啞掉,
|
||||
# 等於自己承認「這道閘只在第一次有效」。但本 repo 心法第二條反過來也成立:
|
||||
# 永遠在響 = 訓練人忽略它。→ 修法:改成「寬限期內不重複鬼打牆,
|
||||
# 寬限期一過就再響」——兩頭都要顧,不是選一邊犧牲。
|
||||
#
|
||||
# 放行只剩三種:
|
||||
# ① CLAUDE_CODE_CHILD_SESSION=1 —— 這是被派來做事的 subagent 本人,它就是被派來寫的
|
||||
# ② /tmp/.solo-ok-<session_id> 存在且**非空**(寫了理由,不是 touch 空檔)
|
||||
# ③ 檔案本身不歸這道閘管(測試檔/system-dev 的 wiki/非受管副檔名)
|
||||
#
|
||||
# 逃生口:真的該自己做(單行修、緊急止血、subagent 回報後的收尾)
|
||||
# → 把理由寫進檔案本身,不是單純 touch:
|
||||
# echo "單行修 xxx,理由 yyy" > /tmp/.solo-ok-<session_id>
|
||||
set -eu
|
||||
|
||||
INPUT="$(cat)"
|
||||
@@ -33,34 +59,62 @@ except Exception: print("nosid")
|
||||
|
||||
[ -z "$FILE_PATH" ] && exit 0
|
||||
|
||||
# 只管 code 檔——文件、SDD、wiki、測試、hook 自己都放行
|
||||
# (這些本來就常是總管自己該寫的:判準、規格、落帳)
|
||||
# ① 這是被派來做事的 subagent 本人(不是總管自己)→ 它本來就該寫 code,不歸這道閘管
|
||||
[ "${CLAUDE_CODE_CHILD_SESSION:-}" = "1" ] && exit 0
|
||||
|
||||
# 只管「這是不是該被派工規則管的程式碼」——
|
||||
# 一般受管語言,加上「閘本身」(即使是 .sh,這正是洞一要補的地方)
|
||||
case "$FILE_PATH" in
|
||||
*/.claude/hooks/*.sh|*/hooks/*.sh) ;;
|
||||
*.ts|*.tsx|*.js|*.jsx|*.mjs|*.go|*.py|*.rs|*.java|*.rb) ;;
|
||||
*) exit 0 ;;
|
||||
esac
|
||||
|
||||
# 就算是受管檔案,這兩類仍放行:測試檔/頂層 wiki(system-dev/)
|
||||
case "$FILE_PATH" in
|
||||
*_test.*|*.test.*|*.spec.*|*/tests/*|*/test/*) exit 0 ;;
|
||||
*/.claude/hooks/*|*system-dev/*) exit 0 ;;
|
||||
*system-dev/*) exit 0 ;;
|
||||
esac
|
||||
|
||||
[ -f "/tmp/.subagent-spawned-$SID" ] && exit 0 # 這個 session 派過工了 → 放行
|
||||
[ -f "/tmp/.solo-ok-$SID" ] && exit 0 # 明示要自己做 → 放行(留痕)
|
||||
# ② 明示「我自己做」且寫了理由(不是空檔)→ 放行
|
||||
SOLO_OK="/tmp/.solo-ok-$SID"
|
||||
[ -s "$SOLO_OK" ] && exit 0
|
||||
|
||||
NOW=$(date +%s)
|
||||
NAG_TTL=${SUBAGENT_GUARD_NAG_TTL:-900} # 15 分鐘寬限期:同一輪不重複鬼打牆,過了才再響
|
||||
WARNED="/tmp/.subagent-guard-warned-$SID"
|
||||
[ -f "$WARNED" ] && exit 0 # 同一 session 只擋一次,不鬼打牆
|
||||
|
||||
if [ -f "$WARNED" ]; then
|
||||
WARN_TS=$(cat "$WARNED" 2>/dev/null || echo 0)
|
||||
case "$WARN_TS" in ''|*[!0-9]*) WARN_TS=0 ;; esac
|
||||
if [ $((NOW - WARN_TS)) -lt "$NAG_TTL" ]; then
|
||||
exit 0 # 剛擋過,還在寬限期內 → 不重複鬼打牆
|
||||
fi
|
||||
fi
|
||||
date +%s > "$WARNED"
|
||||
|
||||
cat >&2 <<'EOF'
|
||||
🧑🏭 派工警察:你要親手改 code,但這個 session **一次工都沒派過**。
|
||||
# 派過工不是放行條件(洞二),但拿來給脈絡:讓你看到「上次派工是多久前」
|
||||
DISPATCH_NOTE=""
|
||||
SPAWNED="/tmp/.subagent-spawned-$SID"
|
||||
if [ -f "$SPAWNED" ]; then
|
||||
D_TS=$(cat "$SPAWNED" 2>/dev/null || echo 0)
|
||||
case "$D_TS" in ''|*[!0-9]*) D_TS=0 ;; esac
|
||||
if [ "$D_TS" -gt 0 ] 2>/dev/null; then
|
||||
MIN_AGO=$(( (NOW - D_TS) / 60 ))
|
||||
DISPATCH_NOTE="
|
||||
|
||||
【這個 session 派過工】最近一次是 ${MIN_AGO} 分鐘前——
|
||||
但「派過一次」不等於「這次也不用派」,兩件事分開判斷。"
|
||||
fi
|
||||
fi
|
||||
|
||||
cat >&2 <<EOF
|
||||
🧑🏭 派工警察:你要親手改 code。${DISPATCH_NOTE}
|
||||
|
||||
【leo 2026-08-08】「你記得**要叫 subagent 開工,你負責維護 loop**,
|
||||
而不是你開工後過一陣子停下來對吧?」
|
||||
|
||||
【已知的環境陷阱】Claude Desktop 這個 surface 的 system prompt 有
|
||||
`Do not call the AgentTool unless the user requested it`,會壓過 CLAUDE.md 規則三點五。
|
||||
**leo 已在 CLAUDE.md 給出常駐授權**(規則三點五的「常駐授權」段)=那個條件永久滿足,
|
||||
不必再等他開口。
|
||||
【leo 2026-08-27】「你禁止寫 code,為什麼你改?為什麼你可以執行?」
|
||||
——這句話問的就是現在這一次。
|
||||
|
||||
先回答一句(答不出來就是該派):
|
||||
這件事**為什麼不能交給 subagent**?
|
||||
@@ -69,6 +123,8 @@ cat >&2 <<'EOF'
|
||||
✅ 該自己做:判準/規格/落帳(那些檔本來就放行)、subagent 回報後的收尾裁決、
|
||||
單行修、緊急止血
|
||||
|
||||
決定自己做 ⇒ `touch /tmp/.solo-ok-$SID` 後重送,並**在回覆裡說明理由**。
|
||||
決定自己做 ⇒ 把理由寫進檔案本身(不是 touch 空檔):
|
||||
echo "理由:xxx" > /tmp/.solo-ok-$SID
|
||||
再重送這次操作。
|
||||
EOF
|
||||
exit 2
|
||||
|
||||
@@ -4,6 +4,12 @@
|
||||
# 配 subagent-first-guard.sh 使用(同 kbdb-asked-stamp.sh 的形狀)。
|
||||
# 只留時戳,不擋任何東西。
|
||||
#
|
||||
# 🔴 2026-08-27(inkstone/ISEP#66):這個時戳**不再是放行條件**。
|
||||
# 「派過一次工」曾經被 subagent-first-guard.sh 當成「這個 session 永久放行」——
|
||||
# 但那混淆了「這件任務有沒有交出去」跟「下一次任意的手改合不合理」,是兩件事。
|
||||
# 現在這支只負責留時戳,給被擋下時的訊息當脈絡用(「上次派工是幾分鐘前」),
|
||||
# 純資訊、不影響放行判斷。
|
||||
#
|
||||
# 🔴 為什麼要按 session 分開存(而不是像 KBDB 那道用全域+1 小時 TTL):
|
||||
# 「這一輪工作有沒有先考慮派工」是**每個 session 各自要回答**的問題。
|
||||
# 用全域檔的話,昨天派過一次就等於永久解鎖,這道閘會在第二天起完全失效。
|
||||
|
||||
+92
@@ -0,0 +1,92 @@
|
||||
#!/usr/bin/env bash
|
||||
# ask-user-question-guard.sh 的**判官準度**測試(inkstone/InkStoneCo#55)。
|
||||
#
|
||||
# 🔴 這支**真的會叫 haiku**(每題一次呼叫,共 9 題)。離線那支測管路,這支測判斷。
|
||||
# 分開兩檔的理由:管路壞掉要立刻知道且不該花錢;判官準度是另一種失敗,
|
||||
# 而且它會隨模型版本漂移,需要單獨、可重跑的量尺。
|
||||
#
|
||||
# 兩個方向都要有實例,缺一邊等於沒測:
|
||||
# B 群「該擋」 = 純技術路徑選擇(leo 2026-08-26:「這種問題不要問我」)
|
||||
# A 群「不該擋」= 真的四題人閘(花錢/不可逆/跨專案結構/品味方向/物理人閘)
|
||||
#
|
||||
# 🔴 **A 群失敗比 B 群失敗嚴重。** 誤擋一個真人閘 = 讓總管替 leo 決定他的品味,
|
||||
# 比漏擋一個技術題更糟。所以本檔把 A 群失敗單獨列出來報。
|
||||
#
|
||||
# 用法:hooks/tests/ask-user-question-guard.live.test.sh [hook 路徑]
|
||||
|
||||
set -u
|
||||
HOOK="${1:-$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)/ask-user-question-guard.sh}"
|
||||
|
||||
PASS=0; FAIL=0; N=0; AFAIL=0
|
||||
|
||||
payload() {
|
||||
python3 - "$@" <<'PY'
|
||||
import json, sys
|
||||
q, opts = sys.argv[1], sys.argv[2:]
|
||||
print(json.dumps({
|
||||
"session_id": "S-LIVE",
|
||||
"hook_event_name": "PreToolUse",
|
||||
"tool_name": "AskUserQuestion",
|
||||
"tool_input": {"questions": [{
|
||||
"question": q,
|
||||
"header": "決策",
|
||||
"multiSelect": False,
|
||||
"options": [{"label": o, "description": ""} for o in opts],
|
||||
}]},
|
||||
}, ensure_ascii=False))
|
||||
PY
|
||||
}
|
||||
|
||||
# t <期望 exit> <群> <說明> <問題> [選項...]
|
||||
t() {
|
||||
want="$1"; grp="$2"; desc="$3"; shift 3
|
||||
N=$((N+1))
|
||||
rm -f /tmp/.ask-gate-warned-* 2>/dev/null || true # 每題都要真的走到判官
|
||||
out=$(payload "$@" | sh "$HOOK" 2>&1); rc=$?
|
||||
if [ "$rc" -eq "$want" ]; then
|
||||
printf ' ✅ %s\n' "$desc"; PASS=$((PASS+1))
|
||||
else
|
||||
printf ' ❌ %s —— 期望 exit=%s,實得 exit=%s\n' "$desc" "$want" "$rc"
|
||||
printf '%s\n' "$out" | grep -m1 '判官的話' | sed 's/^/ /'
|
||||
FAIL=$((FAIL+1))
|
||||
[ "$grp" = "A" ] && AFAIL=$((AFAIL+1))
|
||||
fi
|
||||
}
|
||||
|
||||
echo "── A 群:不該擋(真人閘,leo 要被問到)───────────────────────"
|
||||
|
||||
t 0 A "①④ 品味/方向:總圖那棵樹要不要預設收合(leo 08-26 當場裁的就是這種)" \
|
||||
'總圖那棵樹,同一層節點超過 20 個的時候,要不要預設收合起來?' '預設收合' '全部展開'
|
||||
|
||||
t 0 A "②① 花錢:要不要開一顆會產生帳單的付費實例" \
|
||||
'這個功能需要一顆專用的 Cloudflare 付費實例才跑得動,要開嗎?每月大約會多一筆帳單。' '開' '不開'
|
||||
|
||||
t 0 A "③② 不可逆:刪掉 stage 上那批資料重灌" \
|
||||
'要把 stage 上那批舊資料整批刪掉重灌嗎?刪了拿不回來。' '刪掉重灌' '保留'
|
||||
|
||||
t 0 A "④③ 跨專案結構:ISEP 的閘要不要拆回各子 repo 各自維護" \
|
||||
'ISEP 的閘目前是全機共用一份。要不要改成各子 repo 各自維護一份自己的?這會改掉 repo 之間的邊界。' '拆回各 repo' '維持共用'
|
||||
|
||||
t 0 A "⑤⑤ 物理人閘:要你親手去終端機解保險才推得了 prod" \
|
||||
'這一版要推 prod,需要你親手在終端機跑 github-arm.sh 解保險,我沒辦法代跑。現在推嗎?' '現在推' '晚點再說'
|
||||
|
||||
echo
|
||||
echo "── B 群:該擋(純技術路徑選擇,四題全否)─────────────────────"
|
||||
|
||||
t 2 B "⑥ 實作分層:重試邏輯放哪一層" \
|
||||
'重試邏輯要放在 client 那一層還是 worker 那一層?' '放 client' '放 worker'
|
||||
|
||||
t 2 B "⑦ 空白選擇題:兩案差別只有實作成本" \
|
||||
'這個 bug 有兩種修法,A 是改解析器、B 是在呼叫端多包一層,兩種我都做得出來,效果一樣。你想要哪一個?' 'A 改解析器' 'B 呼叫端包一層'
|
||||
|
||||
t 2 B "⑧ 請示句:已經交代過的事還在問要不要開始" \
|
||||
'那我現在開始修那支 hook 嗎?' '開始' '先等等'
|
||||
|
||||
t 2 B "⑨ 內部命名/擺放位置(用戶看不到)" \
|
||||
'新的測試檔要放在 hooks/tests/ 底下還是 scripts/ 底下?檔名要叫 guard.test.sh 還是 test-guard.sh?' 'hooks/tests/' 'scripts/'
|
||||
|
||||
rm -f /tmp/.ask-gate-warned-* 2>/dev/null || true
|
||||
|
||||
echo
|
||||
echo "══ $PASS/$N 通過${FAIL:+,$FAIL 個失敗}${AFAIL:+(其中 $AFAIL 個是 A 群誤攔——這種最嚴重)} ══"
|
||||
[ "$FAIL" -eq 0 ]
|
||||
Executable
+165
@@ -0,0 +1,165 @@
|
||||
#!/usr/bin/env bash
|
||||
# ask-user-question-guard.sh 的離線迴歸測試(inkstone/InkStoneCo#55)。
|
||||
#
|
||||
# 這一檔測的是**管路**:抓不抓得到那個動作、擋的時候 exit 幾、
|
||||
# 判官掛掉會不會把 session 卡死、同一題會不會擋第二次。
|
||||
# **判官的準度另外一檔測**(`ask-user-question-guard.live.test.sh`,那支真的叫 haiku)。
|
||||
#
|
||||
# 判官在這裡用替身(`ISEP_ASK_JUDGE_CMD` 指向一支印固定 JSON 的假腳本),
|
||||
# 所以本檔 **不打網路、不花錢、跑得完**。
|
||||
#
|
||||
# 兩個方向都要有證據:
|
||||
# A 群「該放行」——非 AskUserQuestion 的動作、判官說 allow、判官壞掉、豁免戳記、第二次重送
|
||||
# B 群「該擋」 ——判官說 block(純技術路徑選擇)
|
||||
# C 群「訊息承諾的出路真的走得通」——重送與豁免戳記各一個實例
|
||||
#
|
||||
# 用法:hooks/tests/ask-user-question-guard.test.sh [hook 路徑]
|
||||
|
||||
set -u
|
||||
HOOK="${1:-$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)/ask-user-question-guard.sh}"
|
||||
TMP=$(mktemp -d)
|
||||
trap 'rm -rf "$TMP"' EXIT
|
||||
|
||||
PASS=0; FAIL=0; N=0
|
||||
|
||||
# 判官替身:吃 stdin、印一段固定的裁決
|
||||
mkstub() {
|
||||
cat > "$TMP/judge-$1.sh" <<EOF
|
||||
#!/bin/sh
|
||||
cat > /dev/null
|
||||
printf '%s' '$2'
|
||||
EOF
|
||||
chmod +x "$TMP/judge-$1.sh"
|
||||
printf '%s' "$TMP/judge-$1.sh"
|
||||
}
|
||||
|
||||
STUB_BLOCK=$(mkstub block '{"decision":"block","gate":"none","reason":"純技術路徑選擇,四題全否"}')
|
||||
STUB_ALLOW=$(mkstub allow '{"decision":"allow","gate":"④","reason":"UI 取捨是品味題"}')
|
||||
STUB_EMPTY=$(mkstub empty '')
|
||||
STUB_JUNK=$(mkstub junk 'Error: model overloaded')
|
||||
STUB_NEVER="$TMP/judge-does-not-exist.sh"
|
||||
|
||||
# payload <問題> [選項...]
|
||||
payload() {
|
||||
python3 - "$@" <<'PY'
|
||||
import json, sys
|
||||
q, opts = sys.argv[1], sys.argv[2:]
|
||||
print(json.dumps({
|
||||
"session_id": "S-TEST",
|
||||
"hook_event_name": "PreToolUse",
|
||||
"tool_name": "AskUserQuestion",
|
||||
"tool_input": {"questions": [{
|
||||
"question": q,
|
||||
"header": "決策",
|
||||
"multiSelect": False,
|
||||
"options": [{"label": o, "description": o + " 的說明"} for o in opts],
|
||||
}]},
|
||||
}, ensure_ascii=False))
|
||||
PY
|
||||
}
|
||||
|
||||
# t <期望 exit> <判官替身> <說明> <payload JSON>
|
||||
t() {
|
||||
want="$1"; judge="$2"; desc="$3"; body="$4"
|
||||
N=$((N+1))
|
||||
out=$(printf '%s' "$body" | ISEP_ASK_JUDGE_CMD="$judge" sh "$HOOK" 2>&1); rc=$?
|
||||
if [ "$rc" -eq "$want" ]; then
|
||||
printf ' ✅ %s\n' "$desc"; PASS=$((PASS+1))
|
||||
else
|
||||
printf ' ❌ %s —— 期望 exit=%s,實得 exit=%s\n' "$desc" "$want" "$rc"
|
||||
printf '%s\n' "$out" | sed -n '1,6p' | sed 's/^/ /'
|
||||
FAIL=$((FAIL+1))
|
||||
fi
|
||||
}
|
||||
|
||||
clean() { rm -f /tmp/.ask-gate-warned-* /tmp/.ask-ok-S-TEST 2>/dev/null || true; }
|
||||
|
||||
echo "── A 群:該放行 ────────────────────────────────────────────────"
|
||||
clean
|
||||
|
||||
t 0 "$STUB_BLOCK" "① 不是 AskUserQuestion 的動作,一律不管(連判官都不叫)" \
|
||||
'{"tool_name":"Bash","tool_input":{"command":"ls"}}'
|
||||
|
||||
t 0 "$STUB_BLOCK" "② tool_input 是空的 → 沒東西可判,放行" \
|
||||
'{"tool_name":"AskUserQuestion","session_id":"S-TEST","tool_input":{}}'
|
||||
|
||||
t 0 "$STUB_BLOCK" "③ 整包不是合法 JSON → fail-open" \
|
||||
'this is not json at all'
|
||||
|
||||
clean
|
||||
t 0 "$STUB_ALLOW" "④ 真人閘之一(品味/方向):樹要不要捲——判官 allow,leo 該收到" \
|
||||
"$(payload '總圖那棵樹,同層節點超過 20 個時要不要預設收合?' '預設收合' '全部展開')"
|
||||
|
||||
clean
|
||||
t 0 "$STUB_EMPTY" "⑤ 判官回空(掛了/沒網路)→ fail-open,不准把問題卡住" \
|
||||
"$(payload '這個 worker 要不要改用 D1 存執行紀錄?' 'D1' 'KV')"
|
||||
|
||||
clean
|
||||
t 0 "$STUB_JUNK" "⑥ 判官回的不是 JSON → fail-open" \
|
||||
"$(payload '這個 worker 要不要改用 D1 存執行紀錄?' 'D1' 'KV')"
|
||||
|
||||
clean
|
||||
t 0 "$STUB_NEVER" "⑦ 判官根本不存在(claude 不在 PATH)→ fail-open" \
|
||||
"$(payload '這個 worker 要不要改用 D1 存執行紀錄?' 'D1' 'KV')"
|
||||
|
||||
clean
|
||||
touch /tmp/.ask-ok-S-TEST
|
||||
t 0 "$STUB_BLOCK" "⑧ 明示豁免戳記在 → 放行(C 群:訊息裡承諾的出路)" \
|
||||
"$(payload '這題我確定是人閘,先放我過' 'A' 'B')"
|
||||
if [ -f /tmp/.ask-ok-S-TEST ]; then
|
||||
printf ' ❌ ⑧b 豁免戳記用完沒被消掉(會變成永久開關)\n'; FAIL=$((FAIL+1))
|
||||
else
|
||||
printf ' ✅ ⑧b 豁免戳記用完就消失,不是永久開關\n'; PASS=$((PASS+1))
|
||||
fi
|
||||
N=$((N+1))
|
||||
|
||||
echo
|
||||
echo "── B 群:該擋(純技術路徑選擇,四題全否)─────────────────────"
|
||||
clean
|
||||
|
||||
TECH="$(payload '重試邏輯要放在 client 還是 worker 那一層?' '放 client' '放 worker')"
|
||||
t 2 "$STUB_BLOCK" "⑨ 判官 block → exit 2,問題不會送到 leo 面前" "$TECH"
|
||||
|
||||
# 訊息內容檢查:要點名 leo 的原話與四題公式,且要給得出出路
|
||||
# (先清戳記,否則這次會走「同一題只擋一次」那條路而沒有訊息)
|
||||
clean
|
||||
msg=$(printf '%s' "$TECH" | ISEP_ASK_JUDGE_CMD="$STUB_BLOCK" sh "$HOOK" 2>&1 >/dev/null || true)
|
||||
N=$((N+1))
|
||||
if printf '%s' "$msg" | grep -q '為什麼 hooks 沒有攔下來' \
|
||||
&& printf '%s' "$msg" | grep -q '四題' \
|
||||
&& printf '%s' "$msg" | grep -q '重送'; then
|
||||
printf ' ✅ ⑩ 擋下的訊息帶了:leo 原話+四題公式+重送的出路\n'; PASS=$((PASS+1))
|
||||
else
|
||||
printf ' ❌ ⑩ 擋下的訊息缺了「leo 原話/四題公式/出路」其中一項\n'
|
||||
printf '%s\n' "$msg" | sed -n '1,8p' | sed 's/^/ /'
|
||||
FAIL=$((FAIL+1))
|
||||
fi
|
||||
|
||||
# 迴歸:訊息裡的反引號一度被 shell 當成命令替換執行掉
|
||||
# (原本寫 `cat >&2 <<EOF`,於是 `system-dev/wiki/` 真的被當指令跑,
|
||||
# stderr 冒出 "is a directory",而 wiki 路徑與豁免指令在訊息裡雙雙變成空白
|
||||
# ——閘還是擋了,但**它教人怎麼解的那兩行是空的**,等於沒有出路。)
|
||||
N=$((N+1))
|
||||
if printf '%s' "$msg" | grep -q 'system-dev/wiki/' \
|
||||
&& printf '%s' "$msg" | grep -q 'touch /tmp/.ask-ok-S-TEST' \
|
||||
&& ! printf '%s' "$msg" | grep -q 'is a directory'; then
|
||||
printf ' ✅ ⑩b 訊息原文照印:反引號沒有被當成命令執行,出路那兩行沒有變空白\n'; PASS=$((PASS+1))
|
||||
else
|
||||
printf ' ❌ ⑩b 訊息被 shell 展開了(wiki 路徑/豁免指令消失,或冒出 shell 錯誤)\n'
|
||||
printf '%s\n' "$msg" | sed -n '1,20p' | sed 's/^/ /'
|
||||
FAIL=$((FAIL+1))
|
||||
fi
|
||||
|
||||
echo
|
||||
echo "── C 群:訊息承諾的出路真的走得通 ─────────────────────────────"
|
||||
# 上面兩次已經把戳記寫下去了,同一題原封不動重送 → 必須放行
|
||||
t 0 "$STUB_BLOCK" "⑪ 同一題原封不動重送 → 放行(判官誤判不會讓 leo 永遠收不到)" "$TECH"
|
||||
|
||||
clean
|
||||
DIFFQ="$(payload '要不要把這批舊資料刪掉?這是不可逆的' '刪掉' '留著')"
|
||||
t 2 "$STUB_BLOCK" "⑫ 換一題(不同雜湊)→ 戳記不共用,仍然會判" "$DIFFQ"
|
||||
clean
|
||||
|
||||
echo
|
||||
echo "══ $PASS/$N 通過${FAIL:+,$FAIL 個失敗} ══"
|
||||
[ "$FAIL" -eq 0 ]
|
||||
Executable
+175
@@ -0,0 +1,175 @@
|
||||
#!/usr/bin/env bash
|
||||
# dispatch-format-guard.sh 的迴歸測試(inkstone/ISEP#30 comment 4322/4325/4327)。
|
||||
#
|
||||
# **離線、不打網路、不花錢、每次結果一樣**——這支閘是純結構判斷,沒有語意判官,
|
||||
# 所以它不像 ask-user-question-guard 那樣需要一支 live 測試量準度。
|
||||
#
|
||||
# 三群,兩個方向都要有證據:
|
||||
# A 群「該放行」——合規的派工(只有票號)、不是派工的動作、沒有【工單】(別人的地盤)、
|
||||
# 豁免戳記;**而且合規時要真的把共通規定注入出去**
|
||||
# B 群「該擋」 ——真跡一份(那 5 次違規裡唯一還拿得回來的),
|
||||
# 加上一條規則一個最小案例
|
||||
# C 群「訊息本身」——講得出出路、沒有被 shell 展開
|
||||
#
|
||||
# 用法:hooks/tests/dispatch-format-guard.test.sh [hook 路徑]
|
||||
|
||||
set -u
|
||||
HERE="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
|
||||
HOOK="${1:-$(cd "$HERE/.." && pwd)/dispatch-format-guard.sh}"
|
||||
FIX="$HERE/fixtures"
|
||||
|
||||
PASS=0; FAIL=0; N=0
|
||||
|
||||
# payload <prompt 檔或字串> [tool_name]
|
||||
payload() {
|
||||
python3 - "$1" "${2:-Task}" <<'PY'
|
||||
import json, os, sys
|
||||
src, tool = sys.argv[1], sys.argv[2]
|
||||
prompt = open(src, encoding="utf-8").read() if os.path.isfile(src) else src
|
||||
print(json.dumps({"session_id": "S-TEST", "hook_event_name": "PreToolUse",
|
||||
"tool_name": tool, "tool_input": {"prompt": prompt}},
|
||||
ensure_ascii=False))
|
||||
PY
|
||||
}
|
||||
|
||||
# t <期望 exit> <說明> <payload JSON>
|
||||
t() {
|
||||
want="$1"; desc="$2"; body="$3"
|
||||
N=$((N+1))
|
||||
err=$(printf '%s' "$body" | bash "$HOOK" 2>&1 >/dev/null); rc=$?
|
||||
if [ "$rc" -eq "$want" ]; then
|
||||
printf ' ✅ %s\n' "$desc"; PASS=$((PASS+1))
|
||||
else
|
||||
printf ' ❌ %s —— 期望 exit=%s,實得 exit=%s\n' "$desc" "$want" "$rc"
|
||||
printf '%s\n' "$err" | sed -n '1,6p' | sed 's/^/ /'
|
||||
FAIL=$((FAIL+1))
|
||||
fi
|
||||
}
|
||||
|
||||
clean() { rm -f /tmp/.dispatch-ok-S-TEST 2>/dev/null || true; }
|
||||
|
||||
echo "── A 群:該放行 ────────────────────────────────────────────────"
|
||||
clean
|
||||
|
||||
t 0 "① 合規:整份派工單只有一行票號" \
|
||||
"$(payload '【工單】inkstone/ISEP#30 → comment 4322')"
|
||||
|
||||
t 0 "② 合規:兩張票就兩行【工單】" \
|
||||
"$(payload '【工單】inkstone/ISEP#30
|
||||
【工單】inkstone/InkStoneCo#55')"
|
||||
|
||||
t 0 "③ 合規:用 #issuecomment- 定址也認得" \
|
||||
"$(payload '【工單】inkstone/ISEP#30#issuecomment-4327')"
|
||||
|
||||
t 0 "④ 不是派工的動作(Bash)→ 一律不管" \
|
||||
'{"tool_name":"Bash","tool_input":{"command":"ls"}}'
|
||||
|
||||
t 0 "⑤ 整包不是合法 JSON → fail-open" 'this is not json at all'
|
||||
|
||||
t 0 "⑥ 沒有【工單】→ 閉嘴,那是 no-ticket-no-dispatch 的地盤(不准兩支閘同時開口)" \
|
||||
"$(payload '去把 arcrun 那個 worker 修一修,順便跑一下測試')"
|
||||
|
||||
# 注入:合規時要真的把共通規定送出去(leo 的驗收條件之一——
|
||||
# 「收工方**沒讀派工單**也知道要貼回原票」)
|
||||
N=$((N+1))
|
||||
inj=$(printf '%s' "$(payload '【工單】inkstone/ISEP#30')" | bash "$HOOK" 2>/dev/null)
|
||||
if printf '%s' "$inj" | python3 -c '
|
||||
import sys, json
|
||||
d = json.load(sys.stdin)
|
||||
c = d["hookSpecificOutput"]["additionalContext"]
|
||||
assert "貼回那張票" in c, "沒有交件方式"
|
||||
assert "【身份】" in c, "沒有身份欄規定"
|
||||
assert "不准 push" in c, "沒有 main 紅線"
|
||||
' 2>/dev/null; then
|
||||
printf ' ✅ ⑦ 合規的派工會被注入共通規定(交件方式+身份欄+不准 push main)\n'; PASS=$((PASS+1))
|
||||
else
|
||||
printf ' ❌ ⑦ 共通規定沒有被注入,或缺了其中一項\n'
|
||||
printf '%s\n' "$inj" | sed -n '1,4p' | sed 's/^/ /'
|
||||
FAIL=$((FAIL+1))
|
||||
fi
|
||||
|
||||
clean
|
||||
touch /tmp/.dispatch-ok-S-TEST
|
||||
t 0 "⑧ 明示豁免戳記在 → 放行一次" \
|
||||
"$(payload '【工單】inkstone/ISEP#30
|
||||
這一次真的有例外')"
|
||||
N=$((N+1))
|
||||
if [ -f /tmp/.dispatch-ok-S-TEST ]; then
|
||||
printf ' ❌ ⑧b 豁免戳記用完沒被消掉(會變成永久開關)\n'; FAIL=$((FAIL+1))
|
||||
else
|
||||
printf ' ✅ ⑧b 豁免戳記用完就消失,不是永久開關\n'; PASS=$((PASS+1))
|
||||
fi
|
||||
clean
|
||||
|
||||
echo
|
||||
echo "── B 群:該擋 ──────────────────────────────────────────────────"
|
||||
|
||||
t 2 "⑨ **真跡**:產生 ISEP#30 這條線的那一次派工(散文開場+指令圍欄+三點就地+交件)" \
|
||||
"$(payload "$FIX/real-violation-isep30.txt")"
|
||||
|
||||
t 2 "⑩ 只多一行散文——沒有「一句而已」這種豁免" \
|
||||
"$(payload '【工單】inkstone/ISEP#30
|
||||
記得先讀 CLAUDE.md')"
|
||||
|
||||
t 2 "⑪ 帶【交件】——那是「每次都一樣」,該進共通規定" \
|
||||
"$(payload '【工單】inkstone/ISEP#30
|
||||
【交件】貼回 inkstone/ISEP#30,回報分支名')"
|
||||
|
||||
t 2 "⑫ 帶【就地】——那是「這次才知道」,該寫進票" \
|
||||
"$(payload '【工單】inkstone/ISEP#30
|
||||
【就地】main 現在是 8e7e265')"
|
||||
|
||||
t 2 "⑬ 帶【人格】——已收回的欄位" \
|
||||
"$(payload '【工單】inkstone/ISEP#30
|
||||
【人格】ISEP plugin 維護者')"
|
||||
|
||||
t 2 "⑭ 票號形狀不對(裸號,跨 repo 會撞號)" \
|
||||
"$(payload '【工單】#30')"
|
||||
|
||||
t 2 "⑮ 內容躲在圍欄裡也算數(圍欄只讓裡面的【】不被當欄位,不讓內容變成不存在)" \
|
||||
"$(payload '【工單】inkstone/ISEP#30
|
||||
```
|
||||
【就地】main 現在是 8e7e265
|
||||
```')"
|
||||
|
||||
echo
|
||||
echo "── C 群:訊息本身 ──────────────────────────────────────────────"
|
||||
clean
|
||||
msg=$(printf '%s' "$(payload "$FIX/real-violation-isep30.txt")" | bash "$HOOK" 2>&1 >/dev/null)
|
||||
|
||||
N=$((N+1))
|
||||
if printf '%s' "$msg" | grep -q '這句話換一張票還成立嗎' \
|
||||
&& printf '%s' "$msg" | grep -q '共通規定' \
|
||||
&& printf '%s' "$msg" | grep -q '寫進那張票'; then
|
||||
printf ' ✅ ⑯ 訊息講得出判準與兩條出路(共通規定/寫進票)\n'; PASS=$((PASS+1))
|
||||
else
|
||||
printf ' ❌ ⑯ 訊息缺了判準或其中一條出路\n'
|
||||
printf '%s\n' "$msg" | sed -n '1,10p' | sed 's/^/ /'
|
||||
FAIL=$((FAIL+1))
|
||||
fi
|
||||
|
||||
# 迴歸:訊息裡的反引號一度在別支閘被 shell 當成命令替換執行掉
|
||||
# (2026-08-26 ask-user-question-guard:閘照擋,但**它教人怎麼解的那兩行變成空白**)
|
||||
N=$((N+1))
|
||||
if printf '%s' "$msg" | grep -q 'scripts/ticket say' \
|
||||
&& printf '%s' "$msg" | grep -q 'touch /tmp/.dispatch-ok-S-TEST' \
|
||||
&& ! printf '%s' "$msg" | grep -qi 'is a directory\|command not found'; then
|
||||
printf ' ✅ ⑰ 訊息原文照印:反引號沒被當命令執行,出路那兩行沒有變空白\n'; PASS=$((PASS+1))
|
||||
else
|
||||
printf ' ❌ ⑰ 訊息被 shell 展開了(指令消失,或冒出 shell 錯誤)\n'
|
||||
printf '%s\n' "$msg" | sed -n '1,20p' | sed 's/^/ /'
|
||||
FAIL=$((FAIL+1))
|
||||
fi
|
||||
|
||||
# 訊息要點名是哪一格違規(可迭代的最小單位——leo 4325:「照這種散文寫法根本無法迭代」)
|
||||
N=$((N+1))
|
||||
if printf '%s' "$msg" | grep -q '派工單不只有票號'; then
|
||||
printf ' ✅ ⑱ 訊息點得出違反的是哪一條規則,不是一句籠統的「格式不對」\n'; PASS=$((PASS+1))
|
||||
else
|
||||
printf ' ❌ ⑱ 訊息沒有點名違反哪一條\n'; FAIL=$((FAIL+1))
|
||||
fi
|
||||
|
||||
clean
|
||||
echo
|
||||
echo "══ $PASS/$N 通過${FAIL:+,$FAIL 個失敗} ══"
|
||||
[ "$FAIL" -eq 0 ]
|
||||
Executable
+201
@@ -0,0 +1,201 @@
|
||||
#!/usr/bin/env bash
|
||||
# factory-idle-guard.sh 的迴歸測試(inkstone/ISEP#30)。
|
||||
#
|
||||
# 來由:2026-08-23 雲端驗收連續三次被這道閘誤攔,三次都不是宣告意圖——
|
||||
# ① 「那句是等你,不是我的下一步」 ← 在否認自己有下一步
|
||||
# ② 「這不是『下一步我要做 X』」 ← 引用閘自己的訊息來說明沒在做
|
||||
# ③ 貼出閘自己的正則原始碼來舉報這個 bug ← code block 裡的引用也被當成宣告
|
||||
# 而閘的訊息教人走「選項③:改寫那句話,說明它在等什麼」,程式碼裡卻沒有那條分支。
|
||||
#
|
||||
# 本檔的兩個方向都要有證據(誤攔與漏攔都要測):
|
||||
# A 群「該放行」——上面三種誤攔案例 + 既有放行路徑不准變鬆的回歸
|
||||
# B 群「該擋」 ——真的宣告了未來動作、且這回合沒按下任何 trigger
|
||||
# C 群「訊息承諾的出路真的走得通」——訊息裡列的每一條,各一個實例
|
||||
#
|
||||
# 用法:hooks/tests/factory-idle-guard.test.sh [hooks/factory-idle-guard.sh 的路徑]
|
||||
# 🔴 全程在一個乾淨的 TMP 底下造假 transcript,跑完自己清;不碰任何真 repo、不打網路。
|
||||
# (CLAUDE_PROJECT_DIR 指向沒有 gitea remote 的 TMP ⇒ 副閘拿不到 token,直接 exit 0,
|
||||
# 所以本檔測的一律是主閘。)
|
||||
|
||||
set -u
|
||||
HOOK="${1:-$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)/factory-idle-guard.sh}"
|
||||
TMP=$(mktemp -d)
|
||||
trap 'rm -rf "$TMP"' EXIT
|
||||
|
||||
PASS=0; FAIL=0
|
||||
N=0
|
||||
|
||||
# mk <transcript 路徑> <block spec>...
|
||||
# block spec:`T:<文字>` = assistant 的文字段;`U:<工具名>` = assistant 的 tool_use
|
||||
mk() {
|
||||
python3 - "$@" <<'PY'
|
||||
import json, sys
|
||||
path, specs = sys.argv[1], sys.argv[2:]
|
||||
rows = [{"type": "user", "message": {"content": [{"type": "text", "text": "【工單】去辦"}]}}]
|
||||
blocks = []
|
||||
for s in specs:
|
||||
k, v = s.split(":", 1)
|
||||
blocks.append({"type": "text", "text": v} if k == "T"
|
||||
else {"type": "tool_use", "name": v, "id": "t1", "input": {}})
|
||||
rows.append({"type": "assistant", "message": {"content": blocks}})
|
||||
with open(path, "w") as f:
|
||||
for r in rows:
|
||||
f.write(json.dumps(r, ensure_ascii=False) + "\n")
|
||||
PY
|
||||
}
|
||||
|
||||
# t <期望 exit> <說明> <block spec>...
|
||||
t() {
|
||||
want="$1"; desc="$2"; shift 2
|
||||
N=$((N+1))
|
||||
tr="$TMP/tr-$N.jsonl"
|
||||
mk "$tr" "$@"
|
||||
out=$(printf '{"transcript_path":"%s"}' "$tr" \
|
||||
| CLAUDE_PROJECT_DIR="$TMP" sh "$HOOK" 2>&1); rc=$?
|
||||
if [ "$rc" -eq "$want" ]; then
|
||||
printf ' ✅ %s\n' "$desc"; PASS=$((PASS+1))
|
||||
else
|
||||
printf ' ❌ %s —— 期望 exit=%s,實得 exit=%s\n' "$desc" "$want" "$rc"
|
||||
printf '%s\n' "$out" | sed -n '1,6p' | sed 's/^/ /'
|
||||
FAIL=$((FAIL+1))
|
||||
fi
|
||||
}
|
||||
|
||||
echo "── A 群:該放行(2026-08-23 雲端三次誤攔的原形狀)─────────────────"
|
||||
|
||||
t 0 "① 否認自己有下一步(『那句是等你,不是我的下一步』)" \
|
||||
'T:我看完了。那句是等你,不是我的下一步。'
|
||||
|
||||
t 0 "① 長版:連同被否認的原句一起引用" \
|
||||
'T:你貼的那行「回覆後我就繼續」是等你,不是我的下一步。'
|
||||
|
||||
t 0 "② 引用閘自己的訊息來說明沒在做" \
|
||||
'T:這不是『下一步我要做 X』,是在說明那道閘認錯了對象。'
|
||||
|
||||
t 0 "③ code block 裡貼閘自己的正則原始碼(舉報 bug)" \
|
||||
'T:誤攔的真兇是這段:
|
||||
```
|
||||
r"(下一步(我|就是|是)?[::]?\s*(?!不是宣告)|接下來我|我(現在|接著|等下|等一下)(就)?(去|來|做|派|審|跑)"
|
||||
```
|
||||
它連裸的「下一步」三個字都吃。'
|
||||
|
||||
t 0 "③ 行內 code 貼同一段正則" \
|
||||
'T:問題出在 `接下來我` 這個 alternative 沒有要求後面接動詞。'
|
||||
|
||||
t 0 "引用 leo 的話(blockquote)含宣告字樣" \
|
||||
'T:> 下一步我去把那支閘修好,你不要插手。
|
||||
|
||||
以上是他八月十六日的原話,我引來說明這道閘的規格。'
|
||||
|
||||
t 0 "User Story 票名(身為…我要…我才…)不是宣告" \
|
||||
'T:我把票名寫成:身為總管,我要把散落的分支收掉整理好,我才不會每天重數一次。'
|
||||
|
||||
# ↓ 這兩向不是想出來的,是拿本機一條 2068 行的真 transcript 跑出來的:
|
||||
# 舊閘在 26 個真實回合終止點上擋了 2 次,兩次咬的都是「我在交代 leo 該做什麼」。
|
||||
t 0 "④ 主詞是 leo 的下一步(『你下一步去把 X 併進 main』)" \
|
||||
'T:## 你下一步(兩招,先便宜的)
|
||||
|
||||
你下一步去把 feat/isep-dynamic-install 併進 main,然後開一個全新雲端 session。'
|
||||
|
||||
t 0 "④ 同上,交代對方要跑的動作" \
|
||||
'T:前三題不適用。下一步還是那一個動作:你把那條分支併進 main,再跑一次看信標印什麼。'
|
||||
|
||||
t 0 "④ 『你的下一步』——主詞在對方身上(單字 lookbehind 蓋不到的變體)" \
|
||||
'T:我把兩條路都寫清楚了。你的下一步去把那條分支併進 main,再開一個新 session 看信標。'
|
||||
|
||||
t 2 "④ 的反面:主詞換回我自己 ⇒ 照樣擋" \
|
||||
'T:我把兩條路都寫清楚了。我的下一步去把那條分支併掉。'
|
||||
|
||||
echo
|
||||
echo "── A 群:既有放行路徑,不准變鬆(迴歸)─────────────────────────"
|
||||
|
||||
t 0 "純對話回合,沒有任何宣告" \
|
||||
'T:這道閘的問題在於它把引用當成宣告,量錯了對象。'
|
||||
|
||||
t 0 "宣告了,但這個回合真的呼叫了 Agent(=按下 trigger)" \
|
||||
'T:下一步我去把 sdd-guard 的誤攔補上。' 'U:Agent'
|
||||
|
||||
t 0 "宣告了,但這個回合真的呼叫了 Task" \
|
||||
'T:接下來我會去補測試。' 'U:Task'
|
||||
|
||||
t 0 "宣告句帶票號指涉(已經在別人手上)" \
|
||||
'T:下一步我去把那支閘補好——已經派給 inkstone/ISEP#30,證據在 comment 3970。'
|
||||
|
||||
t 0 "宣告之後真的動手了(文字後面還有工具呼叫)" \
|
||||
'T:先讀原始碼,接下來我會去補測試。' 'U:Read'
|
||||
|
||||
echo
|
||||
echo "── B 群:該擋(真的宣告了未來動作,且這回合沒按下任何 trigger)────"
|
||||
|
||||
t 2 "『下一步我去把 X 補上』,無派工無票號" \
|
||||
'T:我看完了。下一步我去把那支閘的誤攔補上。'
|
||||
|
||||
t 2 "『接下來我會去補測試』" \
|
||||
'T:目前狀況清楚了。接下來我會去補測試。'
|
||||
|
||||
t 2 "把請示寫成條件句(2026-08-17 leo 實撞那族)" \
|
||||
'T:回「規劃」我就派人盤這份計畫。'
|
||||
|
||||
t 2 "『我等你確認』——空手停在等人身上" \
|
||||
'T:我等你確認。'
|
||||
|
||||
t 2 "『我現在就去跑一遍』" \
|
||||
'T:我現在就去跑一遍那批測試。'
|
||||
|
||||
t 2 "『確認後我才動』" \
|
||||
'T:核准後我才去改那支閘。'
|
||||
|
||||
t 0 "票號寫在行內 code 裡也算數(等長替換才量得到)" \
|
||||
'T:下一步我去把那支閘補好——已派給 `inkstone/ISEP#30`。'
|
||||
|
||||
t 2 "票號離宣告句太遠(文章別處提到而已)⇒ 不算它在別人手上" \
|
||||
'T:早上那批已經在 inkstone/ISEP#30 收掉了。
|
||||
|
||||
(中略:這裡是一大段跟那張票無關的驗收敘述,用來把距離拉開。'"$(printf 'x%.0s' $(seq 1 320))"')
|
||||
|
||||
下一步我去把那支閘的誤攔補上。'
|
||||
|
||||
echo
|
||||
echo "── C 群:訊息承諾的每一條出路,都要真的走得通 ─────────────────"
|
||||
|
||||
t 0 "出路①:這個回合直接呼叫 Agent 派出去" \
|
||||
'T:下一步我去把那支閘補好。' 'U:Agent'
|
||||
|
||||
t 0 "出路②:把票號寫進那句話" \
|
||||
'T:下一步我去把那支閘補好(已派給 inkstone/ISEP#30)。'
|
||||
|
||||
t 0 "出路③:改寫那句話,用 ⏸ 等: 說明它在等什麼" \
|
||||
'T:⏸ 等:leo 親手跑 scripts/github-arm.sh 解保險(D20 人閘,不是我能自己按的)。
|
||||
|
||||
在那之前我等你確認,這件事我不自己動。'
|
||||
|
||||
t 0 "出路③:宣告 + 標記同時存在也放行(標記說明了它在等什麼)" \
|
||||
'T:那批 workflow 要重打 bundle,下一步我去重打。⏸ 等:arcrun-rag 那條 PR 先併,前置沒解除。'
|
||||
|
||||
t 0 "出路④:這個回合收尾在動作上(最後一個工具呼叫之後沒有文字)" \
|
||||
'T:下一步我去把那支閘補好。' 'U:Edit'
|
||||
|
||||
echo
|
||||
echo "── 出路③ 的反面:沒寫標記就照樣擋(不准靠刪掉那句話矇混)───────"
|
||||
|
||||
t 2 "同一句話拿掉 ⏸ 等: 標記 ⇒ 擋" \
|
||||
'T:那批 workflow 要重打 bundle。我等你確認,這件事我不自己動。'
|
||||
|
||||
echo
|
||||
echo "── 壞輸入不准亂擋(fail-open)────────────────────────────────"
|
||||
|
||||
n_bad=0
|
||||
for payload in '{}' '{"transcript_path":"/nonexistent/xx.jsonl"}' 'not-json'; do
|
||||
N=$((N+1))
|
||||
printf '%s' "$payload" | CLAUDE_PROJECT_DIR="$TMP" sh "$HOOK" >/dev/null 2>&1; rc=$?
|
||||
if [ "$rc" -eq 0 ]; then
|
||||
printf ' ✅ 壞輸入 %-34s ⇒ exit=0\n' "$payload"; PASS=$((PASS+1))
|
||||
else
|
||||
printf ' ❌ 壞輸入 %-34s ⇒ exit=%s(期望 0)\n' "$payload" "$rc"; FAIL=$((FAIL+1))
|
||||
fi
|
||||
n_bad=$((n_bad+1))
|
||||
done
|
||||
|
||||
echo
|
||||
echo "────── 通過 $PASS / 失敗 $FAIL (共 $N 向)"
|
||||
[ "$FAIL" -eq 0 ]
|
||||
Vendored
+14
@@ -0,0 +1,14 @@
|
||||
# 測資的來歷
|
||||
|
||||
`real-violation-isep30.txt` 是**真的發生過的那一份派工單**,一字未改(只把家目錄路徑
|
||||
換成 `/Users/x` 去識別)——它就是產生 `inkstone/ISEP#30` 這條線的那一次派工。
|
||||
|
||||
leo 2026-08-27 要的測資是「今天實際發生的 5 次違規派工」
|
||||
(`arcrun-rag#104`/`Arcrun#142`/`Arcrun#127`/`Arcrun#144`/`InkStoneCo#55`)。
|
||||
|
||||
🔴 **其中 4 份拿不回來了。** 它們住在那幾次派工的 prompt 裡,agent 結束就沒了——
|
||||
**這件事本身就是這條規則的證據**(4327:「那個 agent 被停掉/換人接手,
|
||||
那段事實就消失了」)。所以這裡只放拿得到的那一份真跡,
|
||||
其餘的覆蓋率改用「一條規則一個最小案例」來補(見 dispatch-format-guard.test.sh B 群)。
|
||||
|
||||
**不要用想像出來的例子替補那 4 份**,那會讓測試看起來比實際更綠。
|
||||
+17
@@ -0,0 +1,17 @@
|
||||
你要動 **ISEP plugin**(Gitea `inkstone/ISEP`,全機共用的閘)。開工前先讀該 repo 的 CLAUDE.md 與 `system-dev/wiki/`。
|
||||
|
||||
【工單】`inkstone/ISEP#30` → **comment 4322**(任務全文在那則,去讀它)
|
||||
|
||||
```
|
||||
TOKEN=$(cd /Users/x/InkStoneCo && git remote get-url gitea | sed -E 's|.*//[^:]+:([^@]+)@.*|\1|')
|
||||
curl -s -H "Authorization: token $TOKEN" "https://git.uncle6.me/api/v1/repos/inkstone/ISEP/issues/30/comments?limit=60"
|
||||
```
|
||||
|
||||
這個 session 才知道、票上還沒有的事:
|
||||
|
||||
- `~/Documents/tech_projects/` 若讀不到(macOS TCC),立刻回報,不要硬撐;今天稍早發生過,leo 已開權限
|
||||
- 正本也可從 `~/.claude/plugins/marketplaces/inkstone` clone(origin 是 `inkstone/ISEP.git`),
|
||||
今天 `v0.4.0` 那條線就是這樣施工的
|
||||
- `main` 現在是 `8e7e265`(`v0.4.0`,`ask-user-question-guard.sh` 剛上線)
|
||||
|
||||
交件:貼回 `inkstone/ISEP#30`,回報分支名。
|
||||
+105
@@ -0,0 +1,105 @@
|
||||
#!/usr/bin/env bash
|
||||
# 跨 repo 戳記實測(inkstone/ISEP#30 comment 3949,脈絡 inkstone/InkStoneCo#57)
|
||||
#
|
||||
# 補的是什麼:hooks/tests/main-and-prod-push-guard.test.sh 那八向都只在單一 repo
|
||||
# (測試腳本自己所在的 repo)裡驗證,從沒測過「站在 A、要推 B 的 main」這個形狀
|
||||
# ——而這正是 2026-08-21 真的撞到、讓戳記永遠對不上的那個情境。這支專門補這塊。
|
||||
#
|
||||
# 用法:main-and-prod-push-guard-cross-repo.test.sh <要測的 hook 絕對路徑>
|
||||
# 路徑務必給絕對路徑——測試會 cd 進臨時建立的 A/B repo 再呼叫它,相對路徑
|
||||
# 到那時就對不上了(自己撞過一次:exit=127 command not found)。
|
||||
set -u
|
||||
G="$1"
|
||||
STAMP=/tmp/.main-push-ok
|
||||
WORK=$(mktemp -d)
|
||||
trap 'rm -rf "$WORK"; rm -f "$STAMP"' EXIT
|
||||
|
||||
for d in A B; do
|
||||
git init -q -b main "$WORK/$d"
|
||||
git -C "$WORK/$d" config user.email t@t.com
|
||||
git -C "$WORK/$d" config user.name t
|
||||
echo x > "$WORK/$d/f.txt"
|
||||
git -C "$WORK/$d" add f.txt
|
||||
git -C "$WORK/$d" commit -q -m init
|
||||
done
|
||||
A="$WORK/A"; B="$WORK/B"
|
||||
|
||||
pass=0; fail=0
|
||||
t() { # t <說明> <cwd> <指令> <期望 exit>
|
||||
local desc="$1" cwd="$2" cmd="$3" want="$4"
|
||||
local rc
|
||||
rc=$(cd "$cwd" && CLAUDE_CODE_CHILD_SESSION=1 python3 -c '
|
||||
import json, subprocess, sys
|
||||
p = subprocess.run(["bash", sys.argv[2]],
|
||||
input=json.dumps({"tool_name": "Bash",
|
||||
"tool_input": {"command": sys.argv[1]}}),
|
||||
capture_output=True, text=True)
|
||||
print(p.returncode)
|
||||
' "$cmd" "$G")
|
||||
if [ "$rc" = "$want" ]; then printf ' ✅ %-58s exit=%s\n' "$desc" "$rc"; pass=$((pass+1))
|
||||
else printf ' ❌ %-58s exit=%s(期望 %s)\n' "$desc" "$rc" "$want"; fail=$((fail+1)); fi
|
||||
}
|
||||
|
||||
echo "── 2026-08-21 實撞的原形狀:站在 A,要推 B 的 main ──"
|
||||
rm -f "$STAMP"
|
||||
t "沒戳記 → 擋" "$A" "cd $B && git push origin HEAD:main" 2
|
||||
git -C "$B" rev-parse --show-toplevel > "$STAMP"
|
||||
t "替 B 開的戳記 → 推 B 的 main 該放行(舊版在此情境永遠擋,這是本票要修的洞)" \
|
||||
"$A" "cd $B && git push origin HEAD:main" 0
|
||||
|
||||
echo "── 反向不准鬆:替 A 開的戳記,不能拿去放行推 B(08-11 那次穿透的形狀)──"
|
||||
git -C "$A" rev-parse --show-toplevel > "$STAMP"
|
||||
t "替 A 開的戳記 → 拿去推 B 的 main 必須仍被擋" \
|
||||
"$A" "cd $B && git push origin HEAD:main" 2
|
||||
rm -f "$STAMP"
|
||||
|
||||
echo "── git -C 語法要吃到同一套判斷 ──"
|
||||
git -C "$B" rev-parse --show-toplevel > "$STAMP"
|
||||
t "替 B 開戳記,用 git -C B push" "$A" "git -C $B push origin main" 0
|
||||
rm -f "$STAMP"
|
||||
|
||||
echo "── 08-11 原始穿透的形狀:子殼裡的 cd 不能外洩到殼外 ──"
|
||||
git -C "$A" rev-parse --show-toplevel > "$STAMP"
|
||||
t "子殼裡 cd 去 B 但沒在殼內推;殼外站著 A 真的推 → 符合 A 的戳記,放行" \
|
||||
"$A" "(cd $B && true); git push origin HEAD:main" 0
|
||||
rm -f "$STAMP"
|
||||
git -C "$A" rev-parse --show-toplevel > "$STAMP"
|
||||
t "子殼裡 cd 去 B 且在殼內真的推 → 目標是 B,戳記是 A,必須擋" \
|
||||
"$A" "(cd $B && git push origin HEAD:main)" 2
|
||||
rm -f "$STAMP"
|
||||
|
||||
echo "── 順手抓到、一併修的洞:純括號包住整條指令,不准繞過目的地判斷 ──"
|
||||
t "(git push origin HEAD:main) 沒有任何戳記 → 必須擋(舊版在此整段放行)" \
|
||||
"$A" "(git push origin HEAD:main)" 2
|
||||
|
||||
echo "── 同 repo(session 站著的那個)舊行為原封不動 ──"
|
||||
rm -f "$STAMP"
|
||||
t "站在 A 推 A 自己的 main,沒戳記 → 擋" "$A" "git push origin HEAD:main" 2
|
||||
git -C "$A" rev-parse --show-toplevel > "$STAMP"
|
||||
t "站在 A 推 A 自己的 main,替 A 開戳記 → 放行" "$A" "git push origin HEAD:main" 0
|
||||
rm -f "$STAMP"
|
||||
|
||||
echo "── 舊有行為一條都不能壞 ──"
|
||||
t "推 feature branch 放行" "$A" "git push origin feat/xyz" 0
|
||||
t "推 tag 放行" "$A" "git push origin refs/tags/v1.0.0" 0
|
||||
t "只是提到 main 的 gh pr create,放行" "$A" "gh pr create --base main --title t" 0
|
||||
|
||||
echo "── subagent 沒戳記,即使 cd 去別的 repo 也照擋 ──"
|
||||
rm -f "$STAMP"
|
||||
t "subagent 站在 A、cd 去 B 推 main,沒戳記仍擋" "$A" "cd $B && git push origin HEAD:main" 2
|
||||
|
||||
echo "── 單次用完即丟、900 秒逾時:換到跨 repo 場景一樣要成立 ──"
|
||||
git -C "$B" rev-parse --show-toplevel > "$STAMP"
|
||||
t "第一次:替 B 開戳記推 B → 放行" "$A" "cd $B && git push origin HEAD:main" 0
|
||||
t "第二次:同一枚戳記(已用掉)再推一次 → 應該擋" "$A" "cd $B && git push origin HEAD:main" 2
|
||||
rm -f "$STAMP"; touch "$STAMP"
|
||||
t "touch 出的空戳記 → 推 B 的 main 仍應擋(08-12 補的洞不能被本次改動重開)" \
|
||||
"$A" "cd $B && git push origin HEAD:main" 2
|
||||
rm -f "$STAMP"
|
||||
git -C "$B" rev-parse --show-toplevel > "$STAMP"
|
||||
touch -t "$(date -v-16M +%Y%m%d%H%M.%S 2>/dev/null || date -d '-16 minutes' +%Y%m%d%H%M.%S)" "$STAMP" 2>/dev/null
|
||||
t "16 分鐘前開的戳記 → 已過期,推 B 應擋" "$A" "cd $B && git push origin HEAD:main" 2
|
||||
rm -f "$STAMP"
|
||||
|
||||
echo "────── 通過 $pass / 失敗 $fail"
|
||||
[ "$fail" = 0 ]
|
||||
Regular → Executable
+24
-37
@@ -1,42 +1,29 @@
|
||||
#!/usr/bin/env bash
|
||||
# main-and-prod-push-guard.sh 的迴歸測試——重點在「geek6688 豁免的範圍夠不夠窄」。
|
||||
# 🔴 寫成檔案跑:測試指令必然含 `wrangler deploy`,直接在 Bash 打會被 prod-write-guard 擋。
|
||||
#
|
||||
# 用一個**沒有 .github-armed** 的臨時 CLAUDE_PROJECT_DIR,
|
||||
# 否則本機真的有那個檔 ⇒「該擋的」會假性通過,測了等於沒測。
|
||||
HOOK="$1"
|
||||
TMPPROJ=$(mktemp -d)
|
||||
trap 'rm -rf "$TMPPROJ"' EXIT
|
||||
# 八向實測 main-and-prod-push-guard.sh
|
||||
# 放在檔案裡跑,因為測試字串本身會觸發「舊版」那支閘(第五次誤攔)。
|
||||
G="$1" # 要測的 hook 路徑
|
||||
pass=0; fail=0
|
||||
|
||||
mk(){ python3 -c "import json,sys;print(json.dumps({'tool_name':'Bash','tool_input':{'command':sys.argv[1]}}))" "$1"; }
|
||||
PASS=0; FAIL=0
|
||||
t(){ mk "$3" | env CLAUDE_PROJECT_DIR="$TMPPROJ" "$HOOK" >/dev/null 2>&1; rc=$?
|
||||
got=$([ $rc -eq 2 ] && echo block || echo pass)
|
||||
if [ "$got" = "$1" ]; then echo " ✅ $2"; PASS=$((PASS+1))
|
||||
else echo " ❌ $2 —— 期望 $1,實得 $got"; FAIL=$((FAIL+1)); fi; }
|
||||
t() { # t <說明> <指令> <期望 exit>
|
||||
printf '{"tool_name":"Bash","tool_input":{"command":"%s"}}' "$2" \
|
||||
| CLAUDE_CODE_CHILD_SESSION=1 CLAUDE_PROJECT_DIR="$(dirname "$(dirname "$G")")" \
|
||||
bash "$G" >/tmp/pg.out 2>&1
|
||||
rc=$?
|
||||
if [ "$rc" = "$3" ]; then printf ' ✅ %-46s exit=%s\n' "$1" "$rc"; pass=$((pass+1))
|
||||
else printf ' ❌ %-46s exit=%s(期望 %s)\n' "$1" "$rc" "$3"; fail=$((fail+1)); fi
|
||||
}
|
||||
|
||||
D="wrangler deploy"
|
||||
echo "── 該放行(今晚五次誤攔的原形狀)──"
|
||||
t "checkout -b 後推 feature 分支" 'git checkout -q -b fix/x ma'"in"' && git push -q origin fix/x' 0
|
||||
t "gh pr create --base(不是 git push)" 'gh pr create --head f --base ma'"in"' --title t' 0
|
||||
t "推 tag" 'git push -q origin refs/tags/v0.3.3' 0
|
||||
t "推 feature 分支(帶 -u)" 'git push -q -u origin feat/milestone-must-have-due' 0
|
||||
t "分支名含 domain" 'git push origin fix/custom-domain-setup' 0
|
||||
|
||||
echo "── geek6688(leo 2026-08-12 明文授權總管可直接動)應放行 ──"
|
||||
t pass "指名 geek6688 主機名" "npx $D --name arcrun-cypher-executor --config geek6688.toml"
|
||||
t pass "用 geek6688 的 token 變數" "CLOUDFLARE_API_TOKEN=\$CLOUDFLARE_API_TOKEN_CC_SHIPPING_CORE npx $D"
|
||||
t pass "用 geek6688 的 account id 變數" "CLOUDFLARE_ACCOUNT_ID=\$CLOUDFLARE_ACCOUNT_ID_GEEK6688 npx $D"
|
||||
echo "── 該擋 ──"
|
||||
t "直接推預設分支" 'git push origin ma'"in" 2
|
||||
t "HEAD:預設分支" 'git push origin HEAD:ma'"in" 2
|
||||
t "推 master" 'git push -q origin mas'"ter" 2
|
||||
|
||||
echo "── 其他實例仍要 leo 親手 arm(範圍不能外溢)──"
|
||||
t block "打 leo21c" "npx $D --name arcrun-mcp --account-id leo21c-acct"
|
||||
t block "打 uncle6 官方" "npx $D --name arcrun-kbdb --config uncle6.toml"
|
||||
t block "看不出打哪裡" "npx $D"
|
||||
t block "wrangler publish 到別台" "npx wrangler publish --name arcrun-mcp"
|
||||
t block "versions deploy 到別台" "npx wrangler versions deploy --name arcrun-kbdb"
|
||||
|
||||
echo "── stage 照舊自由 ──"
|
||||
t pass "帶 --env staging" "npx $D --env staging"
|
||||
t pass "打 staging 主機" "npx $D --name arcrun-rag-installer-staging"
|
||||
|
||||
echo "── 非部署動作不受影響 ──"
|
||||
t pass "推自己的分支" "git push -u gitea fix/my-branch"
|
||||
t pass "讀本閘原始碼(指令裡含關鍵字)" "sed -n '1,50p' .claude/hooks/main-and-prod-push-guard.sh"
|
||||
|
||||
echo
|
||||
echo "結果:通過 $PASS / 失敗 $FAIL"
|
||||
[ $FAIL -eq 0 ] || exit 1
|
||||
echo "────── 通過 $pass / 失敗 $fail"
|
||||
[ "$fail" = "0" ]
|
||||
|
||||
Executable
+99
@@ -0,0 +1,99 @@
|
||||
#!/usr/bin/env bash
|
||||
# 身份欄的兩道閘(inkstone/ISEP#30 comment 4325:「subagent 回覆時要表明身份」)。
|
||||
#
|
||||
# 貼留言到票上有**兩條路**,所以測兩道閘:
|
||||
# 正門 scripts/ticket say / decide —— 檢查在打任何 API 之前,所以本測試離線跑得動
|
||||
# 側門 直接打 Gitea API —— hooks/reply-identity-guard.sh
|
||||
#
|
||||
# **離線、不打網路。** 正門的案例全部在 `die()` 之前就結束,不會真的送出留言。
|
||||
#
|
||||
# 用法:hooks/tests/reply-identity.test.sh
|
||||
|
||||
set -u
|
||||
HERE="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
|
||||
ROOT="$(cd "$HERE/../.." && pwd)"
|
||||
HOOK="$ROOT/hooks/reply-identity-guard.sh"
|
||||
TICKET="$ROOT/scripts/ticket"
|
||||
TMP=$(mktemp -d); trap 'rm -rf "$TMP"' EXIT
|
||||
|
||||
PASS=0; FAIL=0; N=0
|
||||
|
||||
ok() { printf ' ✅ %s\n' "$1"; PASS=$((PASS+1)); N=$((N+1)); }
|
||||
bad() { printf ' ❌ %s\n' "$1"; shift; printf '%s\n' "$*" | sed -n '1,6p' | sed 's/^/ /'
|
||||
FAIL=$((FAIL+1)); N=$((N+1)); }
|
||||
|
||||
# ── 側門:hooks/reply-identity-guard.sh ─────────────────────────────────
|
||||
h() { # h <期望 exit> <說明> <command 字串>
|
||||
want="$1"; desc="$2"; cmd="$3"
|
||||
body=$(python3 - "$cmd" <<'PY'
|
||||
import json, sys
|
||||
print(json.dumps({"tool_name": "Bash", "tool_input": {"command": sys.argv[1]}},
|
||||
ensure_ascii=False))
|
||||
PY
|
||||
)
|
||||
err=$(printf '%s' "$body" | bash "$HOOK" 2>&1 >/dev/null); rc=$?
|
||||
if [ "$rc" -eq "$want" ]; then ok "$desc"; else
|
||||
bad "$desc —— 期望 exit=$want,實得 exit=$rc" "$err"; fi
|
||||
}
|
||||
|
||||
echo "── 側門(直接打 Gitea API)─────────────────────────────────────"
|
||||
|
||||
h 2 "① POST 留言但沒有【身份】→ 擋" \
|
||||
'curl -X POST -H "Authorization: token $T" -d @body.json https://git.uncle6.me/api/v1/repos/inkstone/ISEP/issues/30/comments'
|
||||
|
||||
h 0 "② POST 留言且內文帶【身份】→ 放行" \
|
||||
'curl -X POST -d "{\"body\":\"【身份】subagent/inkstone/ISEP/feat/x\n做完了\"}" https://git.uncle6.me/api/v1/repos/inkstone/ISEP/issues/30/comments'
|
||||
|
||||
h 0 "③ 純讀取(GET 撈留言)→ 放行,這是最常做的動作,誤攔它比漏擋更糟" \
|
||||
'curl -s -H "Authorization: token $T" https://git.uncle6.me/api/v1/repos/inkstone/ISEP/issues/30/comments?limit=60'
|
||||
|
||||
h 0 "④ 走正門 scripts/ticket → 放行(正門有自己的閘,兩支同時擋會互相打架)" \
|
||||
'scripts/ticket say inkstone/ISEP#30 -F /tmp/body.md'
|
||||
|
||||
h 0 "⑤ 開新票的端點(不帶票號)→ 不是本閘的地盤" \
|
||||
'curl -X POST -d @t.json https://git.uncle6.me/api/v1/repos/inkstone/ISEP/issues'
|
||||
|
||||
h 0 "⑥ 逃生口 reply-identity-ok → 放行(留在指令歷史上)" \
|
||||
'curl -X POST -d @body.json https://git.uncle6.me/api/v1/repos/inkstone/ISEP/issues/30/comments # reply-identity-ok'
|
||||
|
||||
h 0 "⑦ 只是在講這件事(把端點寫進文件)而沒有 POST → 不擋" \
|
||||
'echo "留言端點是 issues/30/comments" >> docs/notes.md'
|
||||
|
||||
echo
|
||||
echo "── 正門(scripts/ticket)───────────────────────────────────────"
|
||||
|
||||
g() { # g <期望 exit> <說明> <內文>
|
||||
want="$1"; desc="$2"; content="$3"
|
||||
printf '%s' "$content" > "$TMP/body.md"
|
||||
err=$(python3 "$TICKET" say inkstone/ISEP#30 -F "$TMP/body.md" 2>&1 >/dev/null); rc=$?
|
||||
if [ "$rc" -eq "$want" ]; then ok "$desc"; else
|
||||
bad "$desc —— 期望 exit=$want,實得 exit=$rc" "$err"; fi
|
||||
}
|
||||
|
||||
g 2 "⑧ 內文沒有身份欄 → 在打 API 之前就擋(所以這一格離線也測得動)" \
|
||||
'做完了,分支是 feat/x'
|
||||
|
||||
g 2 "⑨ 有【身份】但角色不在三選一之內 → 擋" \
|
||||
'【身份】機器人/inkstone/ISEP/feat/x
|
||||
|
||||
做完了'
|
||||
|
||||
g 2 "⑩ 身份欄不在第一行 → 擋(要一眼看得到,不是藏在中間)" \
|
||||
'做完了
|
||||
【身份】subagent/inkstone/ISEP/feat/x'
|
||||
|
||||
# ⑪ 合規的內文要能通過身份檢查——它會往下走到打 API,
|
||||
# 離線環境打不出去所以 exit 非 0;判準改成「錯誤訊息不是身份欄那一段」。
|
||||
printf '%s' '【身份】subagent/inkstone/ISEP/feat/x
|
||||
|
||||
做完了' > "$TMP/ok.md"
|
||||
err=$(python3 "$TICKET" say inkstone/ISEP#30 -F "$TMP/ok.md" 2>&1 >/dev/null || true)
|
||||
if printf '%s' "$err" | grep -q '第一行要表明身份'; then
|
||||
bad "⑪ 合規的內文被身份閘擋掉了(誤攔)" "$err"
|
||||
else
|
||||
ok "⑪ 合規的內文通過身份閘(之後成不成功是網路的事,不是本閘的事)"
|
||||
fi
|
||||
|
||||
echo
|
||||
echo "══ $PASS/$N 通過${FAIL:+,$FAIL 個失敗} ══"
|
||||
[ "$FAIL" -eq 0 ]
|
||||
Executable
+90
@@ -0,0 +1,90 @@
|
||||
#!/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
|
||||
@@ -47,7 +47,7 @@ try:
|
||||
# 不是只有「會改壞東西的指令」。
|
||||
# 2026-08-05 第三次補(leo:「我看你剛剛 bash 裡很多 grep,為什麼不是查 wiki?」):
|
||||
# 再補「讀檔形成結論」的動詞——head/cat/sed/tail/awk/find/jq。
|
||||
# 之前只認「動外部系統」與部分查證動詞,`head changelog.md` 這種
|
||||
# 之前只認「動外部系統」與部分查證動詞,「head changelog.md」 這種
|
||||
# **直接讀檔下判斷**的完全不觸發。
|
||||
if re.search(r'\b(wrangler|curl|npx|acr|gh|deploy|push|git|grep|unzip|manifest|version'
|
||||
r'|head|cat|sed|tail|awk|find|jq)\b', cmd):
|
||||
@@ -61,10 +61,10 @@ try:
|
||||
# grep pattern 常含 regex 元字元;取最長的英數/底線詞當搜尋詞
|
||||
# 🔴 2026-08-05 leo 點破:「最常做的就是 grep,為什麼沒在裡面」
|
||||
# ——Grep 其實有註冊,壞在**這行取詞規則**:
|
||||
# ① 連字號被當分隔 ⇒ `bge-m3` 只取到 `bge`(3 字)不足 4 字 ⇒ 整支不觸發
|
||||
# ① 連字號被當分隔 ⇒ 「bge-m3」 只取到「bge」(3 字)不足 4 字 ⇒ 整支不觸發
|
||||
# ② **中文完全不匹配** ⇒ 查「版本號」「出貨」這類詞一律不觸發
|
||||
# 而我日常查的關鍵字大量正是這兩類 ⇒ hook 形同虛設。
|
||||
# ⇒ 容許 `-`/`.`,並支援 CJK;中文 2 字即算一個詞。
|
||||
# ⇒ 容許「-」與「.」,並支援 CJK;中文 2 字即算一個詞。
|
||||
words = re.findall(r'[A-Za-z_][A-Za-z0-9_.-]{2,}', q)
|
||||
cjk = re.findall(r'[\u4e00-\u9fff]{2,}', q)
|
||||
words = words + cjk
|
||||
|
||||
@@ -0,0 +1,43 @@
|
||||
# 推 main 的請求:未署名
|
||||
|
||||
- repo:/Users/youlinhsieh/Documents/tech_projects/ISEP
|
||||
- 分支:fix/push-guard-target-not-substring
|
||||
- 時間:2026-08-21 01:28:51
|
||||
|
||||
- 它想跑的指令:
|
||||
```
|
||||
git push -q origin master
|
||||
```
|
||||
|
||||
## 還沒推上去的 commit(原始資料,不是轉述)
|
||||
|
||||
```
|
||||
43c328d Merge pull request 'feat/milestone-must-have-due' (#50) from feat/milestone-must-have-due into main
|
||||
bcb736e Merge pull request 'fix/worksheet-dedup-by-content' (#49) from fix/worksheet-dedup-by-content into main
|
||||
6772ca6 每個里程碑都要有真的期限,9999 也擋
|
||||
1b55512 待驗工作單改用宣稱內容去重,驗過的不再冒出來
|
||||
1920d4c Merge pull request '身為 leo,我要雲端 clone 下來就有閘,我才不用先處理憑證' (#48) from fix/b4-real-probe into main
|
||||
47ed778 改走「直接複製進薄殼 repo」,並修掉一支會偷跑指令的閘
|
||||
03d9782 查了官方文件才發現:setup script 根本讀不到環境變數,而 exit 1 會鎖死 session
|
||||
36d8e05 認證驗證加 timeout:掛住比失敗更糟
|
||||
1356372 B4 的探針我自己沒撞過,實撞後發現它根本不會擋
|
||||
d306158 Merge pull request '身為 leo,我要雲端 env 檔能直接產在桌面,我才不用去翻隱藏目錄' (#46) from feat/cloud-env-outdir into main
|
||||
9099c3f make-cloud-env.sh:輸出路徑可指定,且不再對使用者指定的目錄動權限
|
||||
5bceb03 v0.3.1
|
||||
4e73b8b Merge pull request '身為 leo,我要雲端驗收步驟在閘死掉時真的變紅,我才不會再被三個綠燈騙一次' (#45) from fix/testing-b-section-discriminating into main
|
||||
291787e TESTING.md B 段整段換掉——舊版在閘全滅時會回綠
|
||||
3a95121 雲端零閘的兩個真因:setup 不自驗+沒有 release 撐版本號 (#44)
|
||||
daa1674 雲端零閘的兩個真因:setup 從不驗證自己+沒有任何 release 撐版本號
|
||||
c48495d Merge pull request 'fix(hooks): sdd-guard.sh 修「解析失敗仍照擋、且訊息洩漏 /nonexistent」' (#42) from fix/sdd-guard-path-resolution into main
|
||||
8718658 fix(hooks): sdd-guard.sh 修「解析失敗仍照擋、且訊息洩漏 /nonexistent」(InkStoneCo#22)
|
||||
e6d183d Merge pull request '產生雲端 env 設定給 leo 貼(InkStoneCo#14)' (#41) from feat/cloud-env-generator into main
|
||||
f855d82 產生雲端 env 設定,不要 leo 自己拼湊(InkStoneCo#14)
|
||||
```
|
||||
|
||||
## 改了哪些檔
|
||||
|
||||
```
|
||||
```
|
||||
|
||||
---
|
||||
總管裁完請刪掉這個檔——留著代表「還沒裁」。
|
||||
@@ -0,0 +1,23 @@
|
||||
# 推 main 的請求:未署名
|
||||
|
||||
- repo:/Users/youlinhsieh/Documents/tech_projects/InkStoneCo
|
||||
- 分支:main
|
||||
- 時間:2026-08-21 01:28:23
|
||||
|
||||
- 它想跑的指令:
|
||||
```
|
||||
git push -q origin master
|
||||
```
|
||||
|
||||
## 還沒推上去的 commit(原始資料,不是轉述)
|
||||
|
||||
```
|
||||
```
|
||||
|
||||
## 改了哪些檔
|
||||
|
||||
```
|
||||
```
|
||||
|
||||
---
|
||||
總管裁完請刪掉這個檔——留著代表「還沒裁」。
|
||||
@@ -37,8 +37,12 @@ lookup() { # $1=變數名 → 印出值(找不到就空)
|
||||
return 1
|
||||
}
|
||||
|
||||
OUT_DIR="$HOME/.claude/cloud-env"
|
||||
mkdir -p "$OUT_DIR"; chmod 700 "$OUT_DIR"
|
||||
# 預設丟 ~/.claude/cloud-env(權限 700)。要放別的地方= OUT_DIR=~/Desktop bash scripts/make-cloud-env.sh
|
||||
OUT_DIR="${OUT_DIR:-$HOME/.claude/cloud-env}"
|
||||
mkdir -p "$OUT_DIR"
|
||||
# 只在「這個目錄是我們自己造的預設位置」時才收緊權限——
|
||||
# OUT_DIR 可被覆寫,不該對使用者指定的既有目錄(例如 ~/Desktop)動權限。
|
||||
[ "$OUT_DIR" = "$HOME/.claude/cloud-env" ] && chmod 700 "$OUT_DIR"
|
||||
OUT="$OUT_DIR/$(date +%Y%m%d-%H%M%S).txt"
|
||||
|
||||
SETUP="$(cd "$(dirname "$0")/.." && pwd)/docs/cloud-setup-script.sh"
|
||||
|
||||
Executable
+96
@@ -0,0 +1,96 @@
|
||||
#!/bin/bash
|
||||
# subagent-first-guard 的測試(inkstone/ISEP#66)
|
||||
#
|
||||
# 補的三個洞:
|
||||
# 洞一:.sh 從沒進過受管副檔名清單 ⇒ 這個 repo 自己的閘(全是 .sh)從沒被這道閘管過。
|
||||
# 洞二:「這個 session 派過一次工」被當永久放行——拿掉,不再是放行條件。
|
||||
# 洞三:「同一 session 只擋一次」讓警報響過一次就對餘生啞掉——改成寬限期,過了再響。
|
||||
#
|
||||
# 判準:派過工不再免死金牌/閘本身(.sh)進受管清單/寬限期內不鬼打牆、過了要再響/
|
||||
# CHILD_SESSION=subagent 本人放行/測試檔・system-dev wiki 放行/
|
||||
# solo-ok 要非空(寫理由)才放行,單純 touch 不算。
|
||||
cd "$(dirname "$0")/.." || exit 1
|
||||
H=hooks/subagent-first-guard.sh
|
||||
PASS=0; FAIL=0
|
||||
|
||||
run(){ # $1=want_exit $2=file_path $3=sid $4=child(0/1)
|
||||
local want="$1" fp="$2" sid="$3" child="${4:-0}"
|
||||
local payload
|
||||
payload=$(python3 -c 'import json,sys;print(json.dumps({"tool_name":"Edit","tool_input":{"file_path":sys.argv[1]},"session_id":sys.argv[2]}))' "$fp" "$sid")
|
||||
if [ "$child" = "1" ]; then
|
||||
got=$(CLAUDE_CODE_CHILD_SESSION=1 SUBAGENT_GUARD_NAG_TTL="${TTL:-900}" bash -c 'printf "%s" "$1" | bash "$2" >/dev/null 2>&1; echo $?' _ "$payload" "$H")
|
||||
else
|
||||
got=$(env -u CLAUDE_CODE_CHILD_SESSION SUBAGENT_GUARD_NAG_TTL="${TTL:-900}" bash -c 'printf "%s" "$1" | bash "$2" >/dev/null 2>&1; echo $?' _ "$payload" "$H")
|
||||
fi
|
||||
if [ "$got" = "$want" ]; then PASS=$((PASS+1)); printf ' ✅ '; else FAIL=$((FAIL+1)); printf ' ❌ '; fi
|
||||
printf 'want=%s got=%s sid=%s %.70s\n' "$want" "$got" "$sid" "$fp"
|
||||
}
|
||||
|
||||
clean(){ rm -f "/tmp/.subagent-spawned-$1" "/tmp/.solo-ok-$1" "/tmp/.subagent-guard-warned-$1"; }
|
||||
|
||||
R="/Users/youlinhsieh/Documents/tech_projects/InkStoneCo"
|
||||
ISEP="/Users/youlinhsieh/Documents/tech_projects/ISEP"
|
||||
|
||||
echo "── 洞一:閘本身是 .sh,也要被這道閘管(重演 2026-08-27 那次)──"
|
||||
S=t66-hole1-a; clean "$S"
|
||||
run 2 "$R/.claude/hooks/no-ticket-no-dispatch.sh" "$S" 0
|
||||
S=t66-hole1-b; clean "$S"
|
||||
run 2 "$ISEP/hooks/subagent-first-guard.sh" "$S" 0
|
||||
|
||||
echo "── 洞二:派過工不是免死金牌——就算剛派、就算派了很多次,直接手改一樣要擋 ──"
|
||||
S=t66-hole2-a; clean "$S"
|
||||
date +%s > "/tmp/.subagent-spawned-$S" # 剛派過工(此刻)
|
||||
run 2 "$R/.claude/hooks/no-ticket-no-dispatch.sh" "$S" 0
|
||||
S=t66-hole2-b; clean "$S"
|
||||
echo $(( $(date +%s) - 3600 )) > "/tmp/.subagent-spawned-$S" # 一小時前派過(今天真實情境的重演)
|
||||
run 2 "$R/.claude/hooks/no-ticket-no-dispatch.sh" "$S" 0
|
||||
|
||||
echo "── 洞三:警報不能響一次就對餘生啞掉——寬限期內不鬼打牆,過了要再響 ──"
|
||||
S=t66-hole3; clean "$S"; TTL=2
|
||||
run 2 "$R/matrix/arcrun/foo.py" "$S" 0 # 第一次:沒見過 → 擋,順便留下 warned 時戳
|
||||
run 0 "$R/matrix/arcrun/foo.py" "$S" 0 # 馬上重試:寬限期內 → 不鬼打牆,放行
|
||||
sleep 3
|
||||
run 2 "$R/matrix/arcrun/foo.py" "$S" 0 # 寬限期過了 → 再響
|
||||
TTL=900
|
||||
|
||||
echo "── 不該擋:subagent 本人(CHILD_SESSION=1)自己寫它被派來寫的 code ──"
|
||||
S=t66-child; clean "$S"
|
||||
run 0 "$R/.claude/hooks/no-ticket-no-dispatch.sh" "$S" 1
|
||||
run 0 "$R/matrix/arcrun/foo.py" "$S" 1
|
||||
|
||||
echo "── 不該擋:測試檔 ──"
|
||||
S=t66-test; clean "$S"
|
||||
run 0 "$R/matrix/arcrun/foo_test.py" "$S" 0
|
||||
run 0 "$R/matrix/arcrun/foo.test.ts" "$S" 0
|
||||
run 0 "$ISEP/tests/foo.spec.js" "$S" 0
|
||||
|
||||
echo "── 不該擋:system-dev/ 的 wiki(即使副檔名受管)──"
|
||||
S=t66-wiki; clean "$S"
|
||||
run 0 "$R/system-dev/wiki/status.md" "$S" 0
|
||||
run 0 "$R/system-dev/docs/some_script.py" "$S" 0
|
||||
|
||||
echo "── 不該擋:非受管副檔名(一般 .sh 不在 hooks 目錄/.md/.json)──"
|
||||
S=t66-nonguard; clean "$S"
|
||||
run 0 "$R/scripts/deploy.sh" "$S" 0
|
||||
run 0 "$R/README.md" "$S" 0
|
||||
run 0 "$R/package.json" "$S" 0
|
||||
|
||||
echo "── solo-ok:要非空(寫理由)才放行,單純 touch 不算 ──"
|
||||
S=t66-soloempty; clean "$S"
|
||||
touch "/tmp/.solo-ok-$S"
|
||||
run 2 "$R/matrix/arcrun/foo.py" "$S" 0
|
||||
clean "$S"
|
||||
echo "理由:單行修,緊急止血" > "/tmp/.solo-ok-$S"
|
||||
run 0 "$R/matrix/arcrun/foo.py" "$S" 0
|
||||
clean "$S"
|
||||
|
||||
echo "── 真違規不能因為這次改動漏擋:全新 session 直接改一般 code ──"
|
||||
S=t66-fresh; clean "$S"
|
||||
run 2 "$R/matrix/arcrun/graph-executor.ts" "$S" 0
|
||||
|
||||
# 清理
|
||||
for s in t66-hole1-a t66-hole1-b t66-hole2-a t66-hole2-b t66-hole3 t66-child t66-test t66-wiki t66-nonguard t66-soloempty t66-fresh; do clean "$s"; done
|
||||
|
||||
echo
|
||||
echo "$PASS/$((PASS+FAIL)) 通過"
|
||||
[ "$FAIL" -eq 0 ]
|
||||
+39
-1
@@ -30,6 +30,41 @@ import urllib.error
|
||||
import urllib.parse
|
||||
import urllib.request
|
||||
|
||||
# ── 身份欄:與 hooks/lib/dispatch_parse.py 共用同一份定義 ──────────────────
|
||||
# leo 2026-08-27:「**subagent 回覆時要表明身份**」
|
||||
# 實害(同日):多條線並行,票上的留言看不出是誰寫的,
|
||||
# **總管寫的診斷被當成 subagent 的結論,而其中一則是錯的**。
|
||||
# 規約與側門閘見 docs/governance/dispatch-and-reply-format.md §3。
|
||||
sys.path.insert(0, os.path.join(os.path.dirname(os.path.abspath(__file__)), "..", "hooks", "lib"))
|
||||
try:
|
||||
from dispatch_parse import parse_identity, IDENTITY_ROLES
|
||||
except Exception: # 拿不到共用零件就不擋(fail-open)——開票的路不該被一個 import 卡死
|
||||
parse_identity, IDENTITY_ROLES = None, ("總管", "subagent", "leo")
|
||||
|
||||
|
||||
def check_identity(body, what):
|
||||
"""貼進票的內文第一行要表明身份。**在打任何 API 之前就擋**,所以離線測得動。"""
|
||||
if parse_identity is None:
|
||||
return
|
||||
ok, detail = parse_identity(body)
|
||||
if ok:
|
||||
return
|
||||
die(f"""🚫 {what}的第一行要表明身份(leo 2026-08-27:「**subagent 回覆時要表明身份**」)
|
||||
|
||||
現在的問題:{detail}
|
||||
|
||||
第一行照這個寫(角色三選一:{'/'.join(IDENTITY_ROLES)}):
|
||||
|
||||
【身份】subagent/inkstone/ISEP/feat/my-branch
|
||||
【身份】總管/inkstone/InkStoneCo/-
|
||||
|
||||
**這條管所有人,不是只管 subagent。** 總管寫在票上的東西同樣要標。
|
||||
實害(2026-08-27):多條線並行時票上看不出誰寫的,
|
||||
總管寫的診斷被當成 subagent 的結論,而其中一則是錯的。
|
||||
|
||||
規約全文:docs/governance/dispatch-and-reply-format.md §3""")
|
||||
|
||||
|
||||
HOST = "https://git.uncle6.me"
|
||||
ORG = "inkstone"
|
||||
STAMP_DIR = "/tmp"
|
||||
@@ -148,6 +183,7 @@ def cmd_say(argv):
|
||||
die("用法:ticket say <owner/repo#N> -F <內文檔>")
|
||||
owner, repo, num = parse_ref(argv[0])
|
||||
body = open(argv[2]).read()
|
||||
check_identity(body, "貼進票的留言")
|
||||
c = api(f"/repos/{owner}/{repo}/issues/{num}/comments", {"body": body})
|
||||
print(f"✅ 已貼進 {owner}/{repo}#{num}")
|
||||
print(f" 定址:{owner}/{repo}#{num}#issuecomment-{c['id']}")
|
||||
@@ -293,7 +329,7 @@ def cmd_close(argv):
|
||||
|
||||
if deliv:
|
||||
api(f"/repos/{owner}/{repo}/issues/{num}/comments",
|
||||
{"body": f"✅ 結案。交付物:{deliv}"})
|
||||
{"body": f"{os.environ.get('ISEP_IDENTITY') or f'【身份】總管/{owner}/{repo}/-'}\n\n✅ 結案。交付物:{deliv}"})
|
||||
api(f"/repos/{owner}/{repo}/issues/{num}", {"state": "closed"}, method="PATCH")
|
||||
print(f"✅ {owner}/{repo}#{num} 已關(交付物:{deliv or ('PR' if has_pr else '票上回報')})")
|
||||
|
||||
@@ -323,6 +359,8 @@ def cmd_decide(argv):
|
||||
body = open(argv[2]).read()
|
||||
nxt = argv[argv.index("--next") + 1] if "--next" in argv else None
|
||||
|
||||
check_identity(body, "裁決紀錄")
|
||||
|
||||
if "leo" not in body.lower() and "原話" not in body:
|
||||
die("🚫 答案檔裡看不到 leo 的原話。\n"
|
||||
" **裁決要記原話,不是記你的轉述**——轉述會漂,原話不會。\n"
|
||||
|
||||
@@ -0,0 +1,69 @@
|
||||
#!/usr/bin/env python3
|
||||
"""把 ISEP 整份「複製」進薄殼 repo 的 .claude/isep/,並產生對應的 settings.json。
|
||||
|
||||
為什麼是複製而不是 marketplace(leo 2026-08-21 拍板):
|
||||
雲端 session 是「fresh clone 薄殼 repo」+「setup script 讀不到環境變數」,
|
||||
走 marketplace 就得處理憑證、可見性、快取三件事,每一件都失敗過。
|
||||
**複製進 repo 之後,clone 下來就有,沒有任何前置條件。**
|
||||
|
||||
代價是「兩份內容會漂」——所以這支同時支援 --check,比對薄殼那份與 ISEP 真身。
|
||||
"""
|
||||
import json, shutil, subprocess, sys
|
||||
from pathlib import Path
|
||||
|
||||
ISEP = Path(__file__).resolve().parent.parent
|
||||
OUT = ISEP / ".shell-payload" / "dot-claude"
|
||||
SUB = "isep" # 薄殼裡的落點:.claude/isep/
|
||||
COPY = ["hooks", "skills", "commands", "scripts", ".claude-plugin"]
|
||||
|
||||
def build() -> str:
|
||||
if OUT.exists(): shutil.rmtree(OUT)
|
||||
dest = OUT / SUB
|
||||
dest.mkdir(parents=True)
|
||||
n = 0
|
||||
for d in COPY:
|
||||
src = ISEP / d
|
||||
if not src.exists(): continue
|
||||
shutil.copytree(src, dest / d, ignore=shutil.ignore_patterns("__pycache__", "*.pyc"))
|
||||
n += sum(1 for _ in (dest / d).rglob("*") if _.is_file())
|
||||
|
||||
# 🔴 幾支閘會把 log 寫到 $CLAUDE_PROJECT_DIR/.claude/hooks/<name>.log。
|
||||
# 複製後那個目錄不存在 ⇒ 2026-08-21 冒煙測試實測 3 支報 No such file。
|
||||
# 先把目錄造出來(git 不追空目錄,所以放 .gitkeep)。
|
||||
(OUT / "hooks").mkdir(parents=True, exist_ok=True)
|
||||
(OUT / "hooks" / ".gitkeep").write_text("", encoding="utf-8")
|
||||
|
||||
# settings.json:把 ISEP 的 hooks.json 逐條改寫成薄殼裡的絕對路徑。
|
||||
# 🔴 保留 CLAUDE_PLUGIN_ROOT 這個變數名——ISEP 的閘內部都用它定位自己的 lib/,
|
||||
# 改名等於要動 44 支閘。這裡只是把它指到複製過來的那份。
|
||||
hooks = json.loads((ISEP / "hooks" / "hooks.json").read_text(encoding="utf-8"))["hooks"]
|
||||
root = f'"$CLAUDE_PROJECT_DIR/.claude/{SUB}"'
|
||||
out = {}
|
||||
regs = 0
|
||||
for ev, groups in hooks.items():
|
||||
out[ev] = []
|
||||
for g in groups:
|
||||
ng = {k: v for k, v in g.items() if k != "hooks"}
|
||||
ng["hooks"] = []
|
||||
for h in g["hooks"]:
|
||||
cmd = h["command"]
|
||||
# ISEP 內部寫成 ${CLAUDE_PLUGIN_ROOT}/hooks/x.sh(有時帶引號)
|
||||
cmd = cmd.replace('"${CLAUDE_PLUGIN_ROOT}"', root).replace("${CLAUDE_PLUGIN_ROOT}", root.strip('"'))
|
||||
ng["hooks"].append({**h, "command": f'export CLAUDE_PLUGIN_ROOT={root}; {cmd}'})
|
||||
regs += 1
|
||||
out[ev].append(ng)
|
||||
(OUT / "settings.json").write_text(
|
||||
json.dumps({"hooks": out}, ensure_ascii=False, indent=2) + "\n", encoding="utf-8")
|
||||
return f"複製 {n} 個檔|改寫 {regs} 條 hook 註冊"
|
||||
|
||||
def main():
|
||||
if "--check" in sys.argv[1:]:
|
||||
before = OUT.exists() and subprocess.run(
|
||||
["diff", "-rq", str(OUT), str(OUT)], capture_output=True).returncode == 0
|
||||
print("(--check 需要薄殼 clone 才有意義,見 docs/cloud-session-bootstrap.md)")
|
||||
return
|
||||
print(build())
|
||||
print(f"產物:{OUT}")
|
||||
|
||||
if __name__ == "__main__":
|
||||
main()
|
||||
@@ -1,21 +1,40 @@
|
||||
# ADR-0001:ISEP 自建 wiki,不繼承 InkStoneCo 的內容
|
||||
# ADR-0001:ISEP 這個 repo 自己維護一份 wiki(記 ISEP 自己的事,跟「裝 plugin」無關)
|
||||
|
||||
- **狀態**:已採納
|
||||
- **狀態**:已採納(決策未變,本次僅修訂標題與內文的誤導處,見文末「常見誤解」)
|
||||
- **日期**:2026-08-20
|
||||
- **票**:`inkstone/ISEP#3`
|
||||
- **票**:`inkstone/ISEP#3`(原案)、`inkstone/InkStoneCo#22`(本次修訂)
|
||||
|
||||
## 先講結論,避免讀到一半就會錯意
|
||||
|
||||
本 ADR 談的「wiki」,是 **`inkstone/ISEP` 這個 git repo 自己的開發歷史**——
|
||||
跟其他任何 repo(`InkStoneCo`、`arcrun`…)在自己 repo 底下放一份
|
||||
`system-dev/wiki/` 記自己的事,是同一種、完全獨立的東西。
|
||||
|
||||
🔴 **這件事不會發生**:把 ISEP 這個 Claude Code plugin「裝」到別的 repo(本機或雲端的
|
||||
Claude Code session 啟用這個 plugin),**不會在那個 repo 裡多寫出任何檔案**,
|
||||
更不會在那裡生出一份 `system-dev/wiki/`。「plugin 裝到哪、wiki 就跟著長在哪,
|
||||
所以每個 repo 都會有兩份」是誤讀——見文末「常見誤解」段的查證。
|
||||
|
||||
## 背景
|
||||
|
||||
ISEP 是獨立 repo,裝的是「環境」(hooks/commands/skills/scripts),本來刻意不放
|
||||
「知識」(wiki/docs/`_archive`)——見 `README.md`「裝什麼」段。但接手 ISEP 的 session
|
||||
(含雲端)若要查「這裡的決定、踩過的坑、現在什麼狀態」,過去只能回頭 clone InkStoneCo
|
||||
頂層知識庫,多一層跳轉、且 ISEP 自己的事並不天然屬於 InkStoneCo 頂層(那裡管的是跨專案決策)。
|
||||
ISEP 是獨立 repo,對外扮演的角色是「環境」(hooks/commands/skills/scripts,
|
||||
`README.md`「裝什麼」段列了清單,白紙黑字排除 `wiki/`/`docs/`/`_archive/`——
|
||||
那些是「知識」不是「環境」)。但 ISEP**自己也是一個在持續開發的 repo**:它有自己的
|
||||
決策(例如這份 ADR 本身)、踩過的坑、現在的狀態。過去要查「ISEP 這裡為什麼這樣設計、
|
||||
之前討論到哪」,只能回頭 clone InkStoneCo 頂層知識庫,多一層跳轉,而且 ISEP 自己的
|
||||
開發細節並不天然屬於 InkStoneCo 頂層(那裡管的是跨專案決策,不是單一 repo 的施工細節)。
|
||||
|
||||
## 決策
|
||||
|
||||
ISEP 建立自己的 `system-dev/wiki/`,骨架取自 `inkstone/system-dev-template` 的 wiki
|
||||
template(三層 + 標籤橫切:`INDEX.md`/`TAXONOMY.md`/`status.md`/`mistakes.md`/
|
||||
`principles.md`/`cards/<bucket>/`),照它的規約裝,不自創格式。
|
||||
**`inkstone/ISEP` 這個 repo 自己**建立 `system-dev/wiki/`,骨架取自
|
||||
`inkstone/system-dev-template` 的 wiki template(三層 + 標籤橫切:`INDEX.md`/
|
||||
`TAXONOMY.md`/`status.md`/`mistakes.md`/`principles.md`/`cards/<bucket>/`),
|
||||
照它的規約裝,不自創格式。
|
||||
|
||||
這份 wiki 只在 ISEP 這個 repo 的 git 歷史裡,跟著 `git clone inkstone/ISEP` 走;
|
||||
它**不是** plugin payload 的一部分(`plugin.json`/`marketplace.json` 只宣告
|
||||
`hooks/`/`commands/`/`skills/`,任何 Claude Code session 啟用這個 plugin 時載入的
|
||||
也只有這些),所以其他 repo 啟用 ISEP plugin 時,這份 wiki 不會、也無法出現在那裡。
|
||||
|
||||
**紅線**:這份 wiki 只記 ISEP 自己的事。不把 InkStoneCo 頂層 wiki 的內容複製過來——
|
||||
複製即 fork,fork 即漂移,跟「真身薄殼合一」(見 `cards/isep/真身薄殼合一.md`)要解的病
|
||||
@@ -23,12 +42,47 @@ template(三層 + 標籤橫切:`INDEX.md`/`TAXONOMY.md`/`status.md`/`m
|
||||
|
||||
## 後果
|
||||
|
||||
- 好處:接手 session 在 ISEP 內就能查到 ISEP 自己的歷史,不必先 clone 別的 repo。
|
||||
- 代價:多一份骨架要維護(跟 InkStoneCo 頂層、以及其他裝了 template 的子 repo 一樣)。
|
||||
- 好處:接手 ISEP 這個 repo 的 session,在它自己的 checkout 裡就查得到它自己的歷史,
|
||||
不必先 clone 別的 repo。
|
||||
- 代價:多一份骨架要維護(跟 InkStoneCo 頂層、以及其他裝了 template 的子 repo 一樣,
|
||||
各自一份、各自維護,不互相複製)。
|
||||
- 邊界:跨專案的決策、鐵律、部署架構全局,仍然只在 InkStoneCo 頂層記錄,ISEP 不重複。
|
||||
|
||||
## 常見誤解,與查證
|
||||
|
||||
**誤解**:「ISEP 這個 plugin 裝到哪個 repo,就會在那個 repo 裡自建一份 wiki,
|
||||
於是每個裝了 ISEP 的 repo 都會多出兩份(自己的 + ISEP 幫它建的)。」
|
||||
|
||||
**這不是實際行為。查證如下(2026-08-20 實查,不是抄口述)**:
|
||||
|
||||
1. `.claude-plugin/marketplace.json` 把整個 repo 根目錄(`"source": "./"`)宣告成
|
||||
plugin 來源,Claude Code 依慣例目錄(`hooks/`、`commands/`、`skills/`)載入內容;
|
||||
`README.md`「裝什麼」表列出的也正是這幾個目錄(外加 `scripts/` 供它們呼叫)——
|
||||
**沒有任何一項是 wiki 或 docs**。啟用這個 plugin,載入的是 hook 腳本的路徑
|
||||
(`${CLAUDE_PLUGIN_ROOT}/hooks/*.sh`)、command/skill 的定義;這個載入過程本身
|
||||
不涉及「往目前工作的 repo 寫入任何檔案」——它是讀,不是寫。
|
||||
2. `README.md`「裝什麼」段明文把 `wiki/`/`docs/`/`_archive/` 列在「不放」——
|
||||
這條界線本來就是刻意畫的(環境 vs 知識分離),不是本 ADR 才立的。
|
||||
3. 全部 hooks 對「自己這支腳本」的路徑一律用 `${CLAUDE_PLUGIN_ROOT}`(不用
|
||||
`$CLAUDE_PROJECT_DIR`,見 `README.md`「路徑規約」段)——這條規約本身就代表
|
||||
hook 的邏輯設計上就是「讀 plugin 自己的檔案」,不是「往目前工作的 repo 寫東西」。
|
||||
4. **唯一一支「真的會在某個 repo 裡建出 wiki」的腳本是 `scripts/install.sh`**——
|
||||
但它是 `system-dev-template` 的獨立安裝器(不是 ISEP 的功能),要**人或 AI 手動執行
|
||||
一次**才會動作,且動作對象是**執行當下的 cwd**,不是「ISEP 被啟用的地方」。
|
||||
它會混進這個 repo,是搬家時帶過來的殘留(`docs/governance/DIVERGENCE-v0.5.0-to-v0.6.0.md`
|
||||
A6 節已標記它是待清理項,跟 `.claude-plugin` 宣告的 plugin 功能無關)。
|
||||
**這支腳本的存在,多半就是本誤解真正的來源**——它看起來像「ISEP 會建 wiki」,
|
||||
但觸發方式(手動跑一次)與作用對象(cwd,不是「plugin 裝到的地方」)都跟
|
||||
「裝 plugin 就自動建」完全不同。
|
||||
|
||||
⇒ 結論:本 ADR 的「wiki」只指 ISEP 這個 repo 自己 checkout 裡的那一份,
|
||||
跟其他任何 repo 有沒有、要不要各自裝一份 wiki(那是它們自己的 `/wiki-init` 決定),
|
||||
兩件事互不影響、也不會因為裝了 ISEP plugin 而自動被牽動。
|
||||
|
||||
## 相關
|
||||
|
||||
- `cards/isep/真身薄殼合一.md`
|
||||
- `cards/isep/repo邊界與紅線.md`
|
||||
- `cards/isep/hook路徑規約.md`
|
||||
- `inkstone/InkStoneCo#22`(本次修訂的來由:leo 讀完舊版誤解成「plugin 裝到哪、
|
||||
wiki 就跟著建到哪」)
|
||||
|
||||
@@ -35,3 +35,86 @@ Gitea 上**一個 release tag 都沒有**。
|
||||
⇒ 「東西做出來了」與「有人在用它」是兩件事,而只有後者算交付。
|
||||
⇒ 判準:**去執行環境查它有沒有被載入**(`claude plugin list` / `claude plugin details`),
|
||||
不要從 repo 裡有什麼檔案去推論。
|
||||
|
||||
## ⚠️ MISTAKE: 判準寫在閘裡了,但那個閘掛在**做完之後**才跑的時機上
|
||||
|
||||
票: `inkstone/InkStoneCo#55`
|
||||
日期: 2026-08-26
|
||||
|
||||
症狀: leo 一天內好幾次被丟純技術路徑選擇,當場問「**今天已經好幾次問我,
|
||||
為什麼 hooks 沒有攔下來?**」,其中一次他直接說「這種問題不要問我,
|
||||
我要的是你解決了以後給我 prod」。
|
||||
|
||||
實查: 總管問 leo 走的動作是 `AskUserQuestion` 這個工具,而
|
||||
`hooks.json` 裡 `AskUserQuestion` 出現 **0 次**——沒有任何 matcher,它是裸的。
|
||||
判準其實早就寫好了(`self-drive-police.sh` / `self-drive-judge.sh` 用的就是四題公式),
|
||||
但那兩支只掛在 `Stop` 與 `SubagentStop`。
|
||||
|
||||
原因: **判準對了,時機錯了。** `Stop` 是回合結束後才跑——問題早就送到 leo 眼前、
|
||||
他早就被打斷了,這時再反問 AI「你查過了嗎」,成本已經轉嫁出去了。
|
||||
|
||||
正確做法: 攔截點要長在**那個動作發生的那一刻**(`PreToolUse` / `AskUserQuestion`)。
|
||||
新增 `hooks/ask-user-question-guard.sh`。
|
||||
🔴 **推廣**:以後看到「規則寫了卻沒被攔下來」,先問的不是「判準對不對」,
|
||||
而是「**這支閘掛在哪個事件上、那個事件發生時傷害造成了沒有**」。
|
||||
|
||||
## ⚠️ MISTAKE: hook 訊息用沒加引號的 heredoc,反引號會被當成命令執行
|
||||
|
||||
票: `inkstone/InkStoneCo#55`
|
||||
日期: 2026-08-26
|
||||
|
||||
症狀: `ask-user-question-guard.sh` 擋下之後,stderr 冒出
|
||||
`line 218: system-dev/wiki/: is a directory`,而訊息裡
|
||||
「去查 `system-dev/wiki/`」和「`touch /tmp/.ask-ok-<session_id>`」兩行
|
||||
**變成空白**。閘照擋 exit 2,所以測試若只看離開碼**完全看不出來**。
|
||||
|
||||
原因: 寫成 `cat >&2 <<EOF`(heredoc 標記沒加引號)⇒ shell 會對內容做展開,
|
||||
而本 repo 的 hook 訊息**慣例上大量使用反引號**標路徑與指令
|
||||
⇒ 每一組反引號都被當成命令替換真的去執行。
|
||||
|
||||
正確做法: hook 的訊息一律用 `cat <<'EOF'`(標記加單引號)。
|
||||
需要塞變數就留 `__PLACEHOLDER__`,事後用 python 換掉——
|
||||
**不要用 sed**,正體中文加上訊息裡的 `/`、`&`、`\` 讓跳脫非常脆。
|
||||
迴歸測試要**檢查訊息內容**,不能只檢查離開碼
|
||||
(`hooks/tests/ask-user-question-guard.test.sh` 的 ⑩b 就是這一條)。
|
||||
|
||||
## ⚠️ MISTAKE: 閘只驗了規則的**殼**,沒驗規則本身
|
||||
|
||||
`no-ticket-no-dispatch.sh` 掛在派工的當下,檢查「派工單裡有沒有一行 `【工單】owner/repo#N`」。
|
||||
規則的原文卻是「**不准把票上已經有的東西再抄一遍進派工單**⋯⋯派工單只寫票號」。
|
||||
|
||||
⇒ 於是可以**把 40 行任務全寫在 prompt 裡、票號補一行**,閘照樣放行。
|
||||
⇒ 2026-08-27 一天之內這樣做了 5 次,每一次票上都沒有那份任務。
|
||||
leo:「**這些話票上都沒有,你根本沒照規則做事,你的 hook 讓你這樣搞?**」
|
||||
|
||||
**根因不是那支閘寫壞了,是它驗的東西比規則小。**
|
||||
「有沒有票號」是規則最容易機械化的那一格,所以它被實作了;
|
||||
「任務有沒有真的落在票上」比較難,所以沒有——而漏掉的那格才是規則的本體。
|
||||
|
||||
⇒ **判準:寫完一支閘,回頭把規則原文逐句對一次,問「這一句被驗到了嗎」。**
|
||||
只驗得到最容易的那一格 ⇒ 那支閘會製造「有在管」的錯覺,比沒有閘更危險。
|
||||
⇒ 同款:history-first/KBDB-first/stage-first/`AskUserQuestion` 裸奔,全是這個形狀。
|
||||
|
||||
修法(v0.5.0):`dispatch-format-guard.sh`——**派工單 = 票號,多一個字都擋**。
|
||||
規則變得比原本更嚴,反而更好驗:判準從「內容夠不夠」變成「這一行是不是【工單】欄位」,
|
||||
純結構、不用語意判官、每次結果一樣。
|
||||
規約:`docs/governance/dispatch-and-reply-format.md`。
|
||||
|
||||
日期: 2026-08-27(`inkstone/ISEP#30` comment 4322/4325/4327)
|
||||
|
||||
## ⚠️ MISTAKE: 「這是 session 才知道的事」被當成寫進 prompt 的正當理由
|
||||
|
||||
派工鐵律允許派工單帶「這個 session 才知道、票上還沒有的事」。
|
||||
總管照字面理解,把 TCC 權限、`main` 是哪顆 commit、正本能從哪裡 clone 三件事寫進 prompt。
|
||||
|
||||
leo 當場:「**這些為什麼不寫到票裡?**」
|
||||
|
||||
⇒ **「票上還沒有」不是把它寫進 prompt 的理由——它就是「去把它寫上票」的指令。**
|
||||
⇒ 實害(同日):總管停掉重派 3 次,**前兩次的任務與 session 事實全部隨 prompt 蒸發**。
|
||||
票活得比任何一個 agent 久,prompt 不是。
|
||||
|
||||
判準:**「這句話換一張票還成立嗎?」**
|
||||
還成立 ⇒ 共通規定(`docs/governance/dispatch-and-reply-format.md` §2,機器自動注入)。
|
||||
只有這次成立 ⇒ 寫進那張票。**兩種都不進派工單。**
|
||||
|
||||
日期: 2026-08-27(`inkstone/ISEP#30` comment 4327)
|
||||
|
||||
Reference in New Issue
Block a user