Compare commits
19 Commits
| Author | SHA1 | Date | |
|---|---|---|---|
| dbd7c8c874 | |||
| f9327de068 | |||
| 9b0afec0b2 | |||
| b7b83bf243 | |||
| 45b7b81075 | |||
| bebbbd2c11 | |||
| 4322deb23a | |||
| eb7c3656be | |||
| 16c03e46c1 | |||
| 99abdf725b | |||
| accedb5898 | |||
| 77a2032858 | |||
| be09353330 | |||
| 81368f451f | |||
| 3a1c3d4969 | |||
| 617315e3dd | |||
| 3e83a4b4f3 | |||
| adb7009b67 | |||
| 352d7a0b81 |
@@ -1,7 +1,7 @@
|
||||
{
|
||||
"name": "isep",
|
||||
"description": "InkStone Environment Plugin —— leo 的 Claude Code 環境唯一真相源:52 支機械閘(67 條註冊,白話盤點見 docs/hooks-inventory.md)、7 支 slash command、2 支 skill、28 支腳本,外加治理規範與標籤真相源。本機與雲端裝同一份,沒有子集。",
|
||||
"version": "0.10.0",
|
||||
"description": "InkStone Environment Plugin —— leo 的 Claude Code 環境唯一真相源:53 支機械閘(68 條註冊,白話盤點見 docs/hooks-inventory.md)、7 支 slash command、2 支 skill、39 支腳本,外加治理規範與標籤真相源。本機與雲端裝同一份,沒有子集。",
|
||||
"version": "0.12.0",
|
||||
"keywords": [
|
||||
"inkstone",
|
||||
"guardrails",
|
||||
|
||||
+100
@@ -91,6 +91,40 @@ bash scripts/test-baton-handback-guard.sh
|
||||
- 「不該報」4 條任一紅 ⇒ 每條線收工都被念一次,警報會被學會忽略
|
||||
- 「票已關」那條紅 ⇒ 棒子已經到終點還在催,那是最典型的假警報
|
||||
|
||||
### A14 — PR 一定要有結論:52 條
|
||||
```
|
||||
bash hooks/tests/pr-verdict-guard.test.sh
|
||||
```
|
||||
**該看到**:`52 通過 / 0 失敗`。全程離線(走 `PR_VERDICT_FIXTURE`),
|
||||
**不打 Gitea、不開測試 PR、不留任何測試票**;狀態檔走 `PR_VERDICT_STATE_DIR`。
|
||||
|
||||
**它在守什麼**(`inkstone/ISEP#81`,2026-08-27 實查):最久的三個 open PR 躺了兩星期
|
||||
(`inkstone/arcrun-rag#91` 14 天、`inkstone/Arcrun#116` 14 天、`inkstone/Arcrun#104` 15 天),
|
||||
而 v0.9.0 的 46 支閘**一支都沒有在管 PR**。票看起來是「已交付」,
|
||||
東西卻沒進 main ⇒ 沒進版本 ⇒ **leo 手上永遠不會出現它**。
|
||||
|
||||
**失敗**:
|
||||
- B 群(⑨⑩⑪,票上那三個真跡)任一紅 ⇒ 今天這個形狀會再發生一次
|
||||
- C 群 ⑭⑰ 紅 ⇒ 驗收條件 1/3 沒過:「放著不管」抓不到,或「merge 了分支還在」放行
|
||||
- **A 群任何一條紅 ⇒ 誤攔,這比漏擋嚴重**。②③特別重要:
|
||||
指派給人/掛 Human 之後還在點名,就是 ISEP v0.6.0 divergence §B4 記過的那個坑
|
||||
(「`s/review` 佇列非空即 block」⇒ 佇列本來就不會空 ⇒ **總管永遠停不下來**)
|
||||
- E 群 ㉙ 紅 ⇒ 閘訊息裡承諾的出路(「把它指派給那個人,本閘立刻不再點名它」)是假的
|
||||
- D 群 ㉓ 紅 ⇒ 判準從「識別碼比對」滑成「只要提到票號就放行」,閘會被任何一句話關掉
|
||||
|
||||
> 📌 **真跡不只在 fixture 裡跑過**:同一支閘打真實 Gitea 也驗過,
|
||||
> 一次點名 7 個沒有結論的 PR,含票上那三個(15/14/14 天)。
|
||||
> 指令:`printf '{"session_id":"x","transcript_path":"/nonexistent"}' | bash hooks/pr-verdict-guard.sh`
|
||||
> ——**唯讀,不改動任何 PR**。
|
||||
|
||||
### A15 — 給結論的那支工具自己說得出要打哪幾通 API
|
||||
```
|
||||
python3 scripts/pr-verdict list
|
||||
python3 scripts/pr-verdict merge inkstone/ISEP#71 --dry-run
|
||||
```
|
||||
**該看到**:`list` 印出 open PR 與「有沒有人被指派」;`merge --dry-run` 印出
|
||||
`[dry-run] POST …/pulls/71/merge` 與 `[dry-run] DELETE …/branches/<分支>`,**一通都不真的送出**。
|
||||
**失敗**:`--dry-run` 底下出現真實的寫入結果 ⇒ 這支工具沒辦法在按下去之前被檢查。
|
||||
### A14 — 每一則回覆都自己說出拖了多久:20 條
|
||||
```
|
||||
bash hooks/tests/countdown-guard.test.sh
|
||||
@@ -131,6 +165,67 @@ bash hooks/tests/prod-write-guard.test.sh hooks/prod-write-guard.sh
|
||||
- 「卡點二」2 條任一紅 ⇒ 「談論它」又被當成「執行它」(同款第八次),
|
||||
或是剝了內文之後連真的部署都放行了
|
||||
|
||||
### A16 — 「總管可以放行」那道門真的打得開:17 條
|
||||
```
|
||||
bash hooks/tests/gate-ok.test.sh
|
||||
```
|
||||
**該看到**:`通過 17 條,失敗 0 條`。
|
||||
|
||||
**它在守什麼**(inkstone/ISEP#90 ④,2026-08-28 實查):三支閘
|
||||
(`prod-write-guard`/`main-and-prod-push-guard`/`stage-before-prod-guard`)
|
||||
都是「擋下來、但**總管看過就能放行**」的設計,而**既有測試只驗了擋得住,
|
||||
一條都沒驗過放得開**。於是這個 bug 活了很久:`stat -f %m` 在 GNU coreutils 上
|
||||
是「檔案系統資訊」,它一邊回非零一邊吐一整段文字 ⇒ 秒數被污染 ⇒
|
||||
**在 Linux(=每一個雲端 session)上戳記永遠不被接受** ⇒ 那三支閘在雲端等於純擋,
|
||||
而閘不會告訴你門是壞的。
|
||||
|
||||
**失敗**:
|
||||
- ②⑤(門打得開)紅 ⇒ 逃生口又焊死了,那三支閘在雲端變回純擋
|
||||
- ⑥⑦⑧(門沒變寬)任一紅 ⇒ **更嚴重**:綁 repo/有效期/空戳記那三條性質是
|
||||
08-11、08-12 兩次真的被穿透之後才補上的,不准為了「好放行」而鬆掉
|
||||
- ⑫ 紅 ⇒ `gate-ok` 在解不出 repo 時留下了一枚註定打不開的空戳記,
|
||||
那會讓人以為門開了(而空戳記本身就是 08-12 那把萬用鑰匙的形狀)
|
||||
- ⑰ 紅 ⇒ 判準又變回「行為取決於 cwd 裡有沒有一個叫 `%m` 的檔」。
|
||||
這條是這個 bug 的最後一層:**GNU 的 `-f` 是布林旗標,`%m` 被當成另一個檔名運算元**
|
||||
⇒ 有那個檔就 `exit 0`、`||` 連跑都不跑。所以修法不能只是「把順序反過來」,
|
||||
**每一步都要驗它是不是純數字**
|
||||
|
||||
⚠️ 這支會真的寫 `/tmp` 的戳記檔(那是閘寫死的路徑)。**不要在「已經蓋好戳記正要推東西」
|
||||
的當下跑它**——它會把那枚戳記洗掉。
|
||||
|
||||
### A17 — 未推警察不會對雲端的工作分支亂叫:10 條
|
||||
```
|
||||
bash hooks/tests/unpushed-police.test.sh
|
||||
```
|
||||
**該看到**:`通過 10 條,失敗 0 條`。全離線(用本機 bare repo 當「遠端」)。
|
||||
|
||||
**它在守什麼**(inkstone/ISEP#90 ①):雲端 session 開出來的工作分支天生沒有 upstream,
|
||||
內容卻等於遠端 main ⇒ 舊判準「沒 upstream=從沒推過」讓**每個雲端 session、每次收工
|
||||
都被攔一次**(08-27 一個 session 五次全是誤報)。
|
||||
|
||||
**失敗**:
|
||||
- A 群(①—⑥,不該報)任一紅 ⇒ **誤攔**,比漏擋嚴重:永遠在響的警報=訓練人忽略它,
|
||||
下一條真的失蹤的分支會混在雜訊裡
|
||||
- B 群(⑦—⑩,該報)任一紅 ⇒ 為了不吵而改成放行了,那是把閘關掉不是修好
|
||||
- 特別看 ④:問不到遠端(離線)**不准當成「你沒推」**
|
||||
|
||||
### A18 — 信標會講出雲端會壞掉的那三件事:14 條
|
||||
```
|
||||
bash hooks/tests/isep-presence-beacon.test.sh
|
||||
```
|
||||
**該看到**:`通過 14 條,失敗 0 條`。全離線。
|
||||
|
||||
**它在守什麼**(inkstone/ISEP#90 ②③):信標原本只證明「有一份 plugin 載入了」,
|
||||
不證明「載入的是哪一份」——08-27 雲端載 0.3.9、main 0.9.0,差 7 個 release,
|
||||
而它照樣是綠的。
|
||||
|
||||
**失敗**:
|
||||
- ⑫⑬⑭(信標永遠在)任一紅 ⇒ **最嚴重**:那一行消失=leo 會判定這個 session 零閘
|
||||
- ③ 紅 ⇒ 版本落差報不出來,`ISEP#67` 那個病又變回看不見
|
||||
- ⑤⑦ 紅 ⇒ 舊複本遮蔽正門抓不到(`InkStoneCo/scripts/ticket` 那件)
|
||||
- ⑥ 紅 ⇒ **誤攔**:同步過的複本被念,人就學會忽略它
|
||||
- ⑪ 紅 ⇒ 內層迴圈變數撞名的回歸(同一個 `.claude` 下第二個殘骸會被靜靜跳過)
|
||||
|
||||
### A5 — 開票前的搜尋是跨 repo 的
|
||||
```
|
||||
python3 scripts/ticket where 標籤 模組化
|
||||
@@ -324,6 +419,8 @@ B2(信標那行)/B3(setup 輸出)/B4(閘的訊息)三個畫面
|
||||
| A3 打 tag 閘 | 總管 | ✅ 3/3 |
|
||||
| **A4 新增 Gitea 東西側門閘** | 總管 | ✅ 24/24(2026-08-27,inkstone/ISEP#72) |
|
||||
| **A13 戳記證明看過不是跑過** | 總管 | ✅ 17/17(2026-08-27,inkstone/ISEP#72→4873) |
|
||||
| **A14 PR 一定要有結論** | 總管 | ✅ 52/52(2026-08-28,inkstone/ISEP#81)+真實 Gitea 唯讀重演 |
|
||||
| **A15 pr-verdict --dry-run** | 總管 | ✅(2026-08-28) |
|
||||
| **A14 回覆自己說出拖了多久** | 總管 | ✅ 20/20(2026-08-28,inkstone/ISEP#63) |
|
||||
| **A15 發通知不等於部署** | 總管 | ✅ 37/37(2026-08-28,inkstone/ISEP#63) |
|
||||
| A5 搜尋跨 repo | 總管 | ✅ |
|
||||
@@ -332,6 +429,9 @@ B2(信標那行)/B3(setup 輸出)/B4(閘的訊息)三個畫面
|
||||
| **A10 人閘警察準度** | 總管 | ✅ 9/9,連跑三次(2026-08-26),A 群誤攔 0 |
|
||||
| **A11 派工單只剩票號** | 總管 | ✅ 19/19(2026-08-27) |
|
||||
| **A12 留言身份欄(兩道門)** | 總管 | ✅ 11/11(2026-08-27) |
|
||||
| **A16 放行的門真的打得開** | 總管 | ✅ 17/17(2026-08-28,inkstone/ISEP#90) |
|
||||
| **A17 未推警察不誤攔雲端分支** | 總管 | ✅ 10/10(2026-08-28,inkstone/ISEP#90) |
|
||||
| **A18 信標會報雲端接線缺陷** | 總管 | ✅ 14/14(2026-08-28,inkstone/ISEP#90) |
|
||||
| A7 plugin 裝得起來 | 總管 | ✅ |
|
||||
| **A8 新 session 閘會觸發** | 總管 | 見本版 release note |
|
||||
| **B1–B5 雲端** | **leo** | 還沒跑(機器碰不到 Cloud environment) |
|
||||
|
||||
@@ -0,0 +1,195 @@
|
||||
# 雲端 session 的閘為什麼跟地端不一樣(inkstone/ISEP#90)
|
||||
|
||||
> leo 的目標一句話:**讓雲端 session 跟地端拿到同一組閘、同一組能用的工具。**
|
||||
|
||||
雲端不是「地端少幾支閘」,是**同一批閘在雲端的行為不一樣**。四個實例,
|
||||
每一個都穩定重現,而且每一個都**不會自己喊痛**——這才是它們活這麼久的原因。
|
||||
|
||||
---
|
||||
|
||||
## 四個缺陷,兩種病
|
||||
|
||||
| | 缺陷 | 病 |
|
||||
|---|---|---|
|
||||
| ① | 未推警察每個雲端 session 都誤攔 | 判準在雲端**不成立** |
|
||||
| ② | `scripts/ticket` 在雲端拿不到 token | 跑到的是**另一份**(舊複本) |
|
||||
| ③ | 已刪除的機制在雲端重生 | 載到的是**另一版**(0.3.9 vs 0.9.0) |
|
||||
| ④ | 總管的「我確認過了」出口打不開 | 判準在雲端**不成立**(平台差異) |
|
||||
|
||||
①④ 是同一種病:**閘的判準寫的是地端才成立的假設**。
|
||||
②③ 是同一種病:**同一個東西有兩份,而雲端跑到的是舊的那份**。
|
||||
|
||||
---
|
||||
|
||||
## ① 未推警察:判準是「有沒有 upstream」,而雲端的分支天生沒有
|
||||
|
||||
雲端 session 開出來的工作分支沒有 upstream,**內容卻等於遠端 main**:
|
||||
|
||||
```
|
||||
薄殼 HEAD = 081c547d90dc2d80692485af083ca1f71f2094f2
|
||||
GitHub 遠端 main = 081c547d90dc2d80692485af083ca1f71f2094f2 ← 同一顆
|
||||
```
|
||||
|
||||
⇒ 每個雲端 session、每次收工都被攔一次(2026-08-27 一個 session 五次全是誤報)。
|
||||
|
||||
**修法**:判準改成「**遠端有沒有這顆 commit**」(`git ls-remote`)。
|
||||
本機的 remote-tracking ref 只答得準「有」——08-28 實測那份 `origin/main` 落後遠端 4 天
|
||||
——所以答「沒有」的時候才打網路。三態:有/沒有/**問不到**;問不到一律不報。
|
||||
|
||||
**順手補的**:`$CLAUDE_PROJECT_DIR` 在雲端是**薄殼根**,真身在 `$TOP/InkStoneCo/`。
|
||||
舊的掃描清單四個路徑在雲端一個都不存在 ⇒ **真身有東西沒推,這支閘一輩子不會知道。**
|
||||
同一支閘在雲端既亂叫、又看不到該看的地方。
|
||||
|
||||
---
|
||||
|
||||
## ② `scripts/ticket`:跑到的是舊複本,不是 plugin 那一份
|
||||
|
||||
- ISEP 的 `scripts/ticket` **早在 2026-08-20 就修好了**(掃所有 remote + 環境變數 fallback)
|
||||
- 但雲端 cwd 是真身,那裡有一份 `InkStoneCo/scripts/ticket` 的**舊複本**,
|
||||
取 token 邏輯還停在「只認名叫 `gitea` 的 remote」,而 `bootstrap.sh` 把 Gitea 設成 `origin`
|
||||
- ⇒ 雲端一律死在「拿不到 gitea token」
|
||||
|
||||
🔴 **後果比「一支腳本壞了」嚴重**:`scripts/ticket` 是開票/留言的**正門**,
|
||||
它一壞,人就繞過去直接打 Gitea API——**而那正是 `ticket-api-bypass-guard.sh` 在防的事**。
|
||||
**一道閘把人逼去走它自己禁止的那條路,那道閘就是在製造違規。**
|
||||
|
||||
**ISEP 這半的修法**:信標在 session 開頭就點名「專案裡有 ISEP 腳本的舊複本,
|
||||
而且**內容不同**」。判準不是檔名一樣,是**檔名一樣而內容不同**——同步過的複本不吵。
|
||||
**真身那半(把那份複本同步或刪掉)不在 ISEP,要在 `inkstone/InkStoneCo` 修。**
|
||||
|
||||
---
|
||||
|
||||
## ③ 已刪除的機制在雲端重生
|
||||
|
||||
```
|
||||
ISEP main .claude-plugin/plugin.json → 0.9.0
|
||||
雲端實際載入 → 0.3.9 ← 差 7 個 release
|
||||
```
|
||||
|
||||
0.3.9 裡還活著兩支在 v0.9.0 已整支刪除的 hook ⇒ `.claude/pending-verification/`
|
||||
被清掉之後又長回來。**一個看不見的版本落差,會讓已經刪掉的機制在別人的工作區裡復活。**
|
||||
|
||||
**傳輸那半是 `inkstone/ISEP#67`**(新版到不到得了手上),本票不重複那件。
|
||||
**ISEP 這半能做的是讓它不再看不見**:信標匿名讀 ISEP main 的 `plugin.json`
|
||||
(D20 判準下屬於「讀」,不需開閘),落後就講清楚差幾版、怎麼重拍快照;
|
||||
同時掃 `.claude/` 底下**這一份 plugin 的 hooks/scripts 一個字都沒提到**的目錄,
|
||||
點名它們是殘骸。判準是「plugin 現在還認不認得它」,**不是關鍵字黑名單**
|
||||
(leo 2026-08-17 已證明那條路 8 次誤攔、0 次正確攔截)。
|
||||
|
||||
---
|
||||
|
||||
## ④ 「總管可以放行」的門,在雲端是焊死的
|
||||
|
||||
三支閘(`prod-write-guard`/`main-and-prod-push-guard`/`stage-before-prod-guard`)
|
||||
都是「擋下來、但**總管看過就能放行**」。它們判斷戳記新不新都用同一行:
|
||||
|
||||
```sh
|
||||
MT=$(stat -f %m "$STAMP" 2>/dev/null || stat -c %Y "$STAMP" 2>/dev/null || echo 0)
|
||||
```
|
||||
|
||||
macOS(BSD stat)上 `-f %m` 就是 mtime,對的。
|
||||
**GNU coreutils 的 `-f` 是「顯示檔案系統資訊」**,而且它**一邊回非零、一邊往 stdout
|
||||
吐一整段區塊**:
|
||||
|
||||
```
|
||||
$ stat -f %m /tmp/.probe
|
||||
stat: cannot read file system information for '%m': No such file or directory ← stderr
|
||||
File: "/tmp/.probe" ← stdout
|
||||
ID: 0 Namelen: 255 Type: ext2/ext3
|
||||
```
|
||||
|
||||
⇒ `2>/dev/null` 吃掉錯誤訊息、`||` 把正確的秒數接在那堆垃圾**後面**
|
||||
⇒ `case "$NOW$MT" in *[!0-9]*) return 1` 必然命中
|
||||
⇒ **在 Linux(=每一個雲端 session)上,那三支閘的戳記永遠不會被接受。**
|
||||
|
||||
### 再往下一層:`-f` 根本不吃格式參數,所以連離開碼都不可靠
|
||||
|
||||
總管 2026-08-28 自己驗這一格時量到 `exit=0`,而我量到 `exit=1`。
|
||||
**兩個都是真的**,而分歧本身就是這個 bug 最後一塊拼圖:
|
||||
|
||||
**GNU 的 `-f` 是 `--file-system`,它是布林旗標、不接格式字串**
|
||||
⇒ `%m` 不是格式,它被當成**另一個檔名運算元** ⇒ 離開碼取決於
|
||||
「當前目錄裡有沒有一個叫 `%m` 的檔」:
|
||||
|
||||
```
|
||||
$ cd /tmp/statprobe && touch .mt
|
||||
|
||||
# A. 沒有名為 %m 的檔(一般情況)
|
||||
$ stat -f %m .mt ; echo "exit=$?"
|
||||
stat: cannot read file system information for '%m': No such file or directory
|
||||
File: ".mt" … ← 檔案系統資訊照樣印到 stdout
|
||||
exit=1 ← `||` **會**跑 ⇒ 正確的秒數接在那堆垃圾後面
|
||||
|
||||
# B. 剛好有一個叫 %m 的檔
|
||||
$ touch '%m' && stat -f %m .mt ; echo "exit=$?"
|
||||
exit=0 ← `||` **不會**跑 ⇒ 整包連一個數字都沒有
|
||||
```
|
||||
|
||||
(實測環境:`stat (GNU coreutils) 9.4`)
|
||||
|
||||
**兩種情況下閘的結果一模一樣**——`MT` 都不是純數字,
|
||||
`case "$NOW$MT" in *[!0-9]*) return 1` 都必然命中,戳記都作廢:
|
||||
|
||||
```
|
||||
情況 A:非數字 ⇒ return 1 ⇒ 戳記作廢
|
||||
情況 B:非數字 ⇒ return 1 ⇒ 戳記作廢
|
||||
```
|
||||
|
||||
🔴 **這一層才是真正該記住的教訓**:舊寫法的 `||` fallback 之所以救不了,
|
||||
**不是因為它沒跑,而是因為「跑不跑」根本不由這支腳本決定**
|
||||
——它由「當前目錄裡有沒有一個叫 `%m` 的檔」決定。
|
||||
一個**行為取決於 cwd 裡有沒有某個檔名**的判斷式,不管跑不跑都是壞的。
|
||||
|
||||
⇒ 所以 `lib/mtime.sh` 的修法不是「把順序反過來」而已,是
|
||||
**每一步都驗它是不是純數字**:這個 bug 的成因正是「命令失敗了卻還是印了東西」,
|
||||
**只看離開碼會再被騙一次**。
|
||||
|
||||
📌 這一格的實害(總管 2026-08-28 原話):「我今天為了發一則通知,
|
||||
用了兩種方式蓋 `prod-write-ok` 都無效,一度以為是權限問題。」
|
||||
⇒ **閘不會告訴你門是壞的**,所以人會往錯的方向查(權限、classifier、設定),
|
||||
而根因在閘自己身上。
|
||||
|
||||
🔴 **後果**:那三支閘在雲端**等於純擋**。總管照著閘自己印的指示做,
|
||||
做幾次都打不開,**而閘不會告訴他門是壞的**。
|
||||
|
||||
**為什麼活這麼久**:既有的三支測試(29/16/10 條)**只驗了「擋得住」,
|
||||
一條都沒驗過「放得開」**。⇒ 這正是「閘的另外一半從來沒被測過」的代價。
|
||||
|
||||
**修法**:`hooks/lib/mtime.sh` —— 先 `-c %Y`(GNU)再 `-f %m`(BSD),
|
||||
**每一步都驗它是不是純數字**(這個 bug 的成因正是「命令失敗了卻還是印了東西」,
|
||||
只看離開碼會再被騙一次)。
|
||||
|
||||
### 附帶:逃生口收斂成一個入口 `scripts/gate-ok`
|
||||
|
||||
原本每支閘的門長得都不一樣,而且藏在被擋下的那則訊息裡:
|
||||
|
||||
```
|
||||
touch /tmp/.prod-write-ok
|
||||
git rev-parse --show-toplevel > /tmp/.main-push-ok
|
||||
touch /tmp/.solo-ok-<session_id>
|
||||
…
|
||||
```
|
||||
|
||||
兩個後果:**記不住**(抄錯一個字門就打不開),以及**沒有穩定形狀可以事先放行**
|
||||
——`.claude/settings.json` 的 allow 只能逐條完全比對(現場真的寫著
|
||||
`Bash(touch /tmp/.prod-write-ok)` 這種一行),多一個 `&&`、換一個 session id
|
||||
就落在規則之外,然後由權限層自己判斷。
|
||||
|
||||
⇒ `bash "$CLAUDE_PLUGIN_ROOT/scripts/gate-ok" <閘名> [參數]`:**一個名字、一種形狀**,
|
||||
一條前綴規則涵蓋全部,以後新增閘不必再動一次設定。
|
||||
|
||||
🔴 **它沒有弱化任何一道閘**:蓋的是同一個檔、同一種語意——單次用完即丟、綁 repo、
|
||||
綁 session、有效期全部沒動。換掉的只有「怎麼蓋」。
|
||||
`hooks/tests/gate-ok.test.sh` 的 ⑥⑦⑧ 三條就是在守這件事(那三條性質是 08-11、08-12
|
||||
兩次真的被穿透之後才補上的)。
|
||||
|
||||
---
|
||||
|
||||
## 還沒關掉的那兩格(不屬於 ISEP)
|
||||
|
||||
| 缺口 | 住在哪 |
|
||||
|---|---|
|
||||
| 雲端載到的版本追上 ISEP main | `inkstone/ISEP#67` |
|
||||
| `InkStoneCo/scripts/ticket` 這份舊複本 | `inkstone/InkStoneCo`(真身) |
|
||||
|
||||
ISEP 這一側能做的是**讓它們不再是看不見的**:兩件現在都會在 session 開頭被信標點名。
|
||||
+11
-3
@@ -1,4 +1,4 @@
|
||||
# 52 支閘,白話盤點表
|
||||
# 53 支閘,白話盤點表
|
||||
|
||||
> 回應 `inkstone/InkStoneCo#40`:「如果加入了,我應該可以白話文看到 hooks 的內容?」
|
||||
> 這份表就是那個「白話文」——不用點開任何 `.sh` 檔,一行看懂一支閘在管什麼。
|
||||
@@ -7,14 +7,16 @@
|
||||
|
||||
## 一句話結論
|
||||
|
||||
`hooks/` 底下有 **52 個 `.sh` 檔**,`hooks.json` 實際掛上 **67 條註冊**(同一支閘常被多種情境同時掛上);
|
||||
`hooks/` 底下有 **53 個 `.sh` 檔**,`hooks.json` 實際掛上 **68 條註冊**(同一支閘常被多種情境同時掛上);
|
||||
`hooks/` 底下有 **53 個 `.sh` 檔**,`hooks.json` 實際掛上 **68 條註冊**(同一支閘常被多種情境同時掛上);
|
||||
其中 **3 支檔案存在但沒被掛上**(2 支是待人填的空範本、1 支是刻意留著沒開的止血帶,見下面「未生效」表)。
|
||||
下面按「你會在什麼時候撞到它」分組,一支一行。
|
||||
|
||||
> 🔴 **這兩個數字上一版是錯的(2026-08-26 實際數過才發現)**:本頁原本寫「43 個檔、53 條註冊」,
|
||||
> 而當時真實是 **45 個檔、55 條註冊**——中間有兩支閘進來時沒有回頭改這裡。
|
||||
> 現在的寫法是實際數出來的:
|
||||
> `ls hooks/*.sh | wc -l` = 52;`grep -c '"command":' hooks/hooks.json` = 67。
|
||||
> `ls hooks/*.sh | wc -l` = 53;`grep -c '"command":' hooks/hooks.json` = 68。
|
||||
> `ls hooks/*.sh | wc -l` = 53;`grep -c '"command":' hooks/hooks.json` = 68。
|
||||
> ⚠️ **冒號不能省**:`grep -c '"command"'`(沒冒號)會連 `"type": "command"` 一起數到,回 **120**。
|
||||
> 本頁 2026-08-27 之前寫的是沒冒號那版——**照著它跑會拿到一個跟本頁不符的數字**。
|
||||
> **一份會偷偷過期的盤點表,跟沒有盤點表差不多**——見本頁最後「怎麼跟實況對帳」那段。
|
||||
@@ -38,6 +40,11 @@
|
||||
>
|
||||
> 📌 **`0.7.0`(`inkstone/ISEP#30`,2026-08-27)進來一支**:`mainline-idle-guard.sh`(F 組,Stop)。
|
||||
> 48→**49** 支、59→**60** 條,兩個數字都是加完之後當場數出來的(指令同上)。
|
||||
>
|
||||
> 📌 **`0.10.0`(`inkstone/ISEP#81`,2026-08-28)進來一支**:`pr-verdict-guard.sh`(F 組,Stop)。
|
||||
> 51→**52** 支、64→**65** 條,兩個數字都是加完之後當場數出來的(指令同上)。
|
||||
> 順手改掉一個過期的數字:描述欄長期寫「27 支腳本」,實數是 **34**
|
||||
> (`ls -p scripts | grep -v / | wc -l`)——**同一個病,只是換一欄。**
|
||||
|
||||
---
|
||||
|
||||
@@ -132,6 +139,7 @@
|
||||
| `worklist-guard.sh` | AI 自己列過的待辦清單裡還有沒做完的步驟,卻想收工寫報告,就擋下,逼它做完剩下的步驟。 | 🛑 擋 |
|
||||
| `factory-idle-guard.sh` | AI 該去派工卻沒派(工頭停工),就擋下要它交出「已經派工的憑證」,不是隨口說一句「我會催」就算數。**過閘有四條路:現在就派工/把票號寫進那句話/寫一行 `⏸ 等:<在等什麼>`/這一輪收尾在動作上。** 2026-08-23(inkstone/ISEP#30)修好「引用被當成主張」——貼原始碼、引用它自己的訊息、否認自己有下一步,都不再被咬。 | 🛑 擋 |
|
||||
| `mainline-idle-guard.sh` | AI **連續 4 個回合一直在查、一直在讀,卻什麼都沒交出去**(沒派工、沒改檔、沒寫回票)就擋一次。補的是上面兩支中間那一格:「沒動作」空手警察管、「說了下一步卻沒派」稼動率警察管,**而「有動作、但就是不說下一步」以前兩支都放行**。這支**一個字都不讀**,只看有沒有派工/產出/工作區變動。響過一次門檻就加倍(4→8→16),不會變成一直在響的警報。 | 🛑 擋(響過就退讓) |
|
||||
| `pr-verdict-guard.sh` | 收工時清點「還有哪些 PR 沒有結論」——open、**沒有人被指派**、也沒有「要求修改」review 的 PR,就擋一次並**點名是哪幾個**(含開了幾天與網址);已經 merge 但**分支還留著**的也一起點名(票上寫死「併完當場刪掉那條 branch」)。背景:2026-08-27 實查,最久的三個 open PR 躺了兩星期,而當時 46 支閘沒有一支在管 PR——票看起來「已交付」,東西卻沒進 main、沒進版本,**leo 手上永遠不會出現它**。🔴 **擋的是遺忘,不是等待**:指派給誰(或掛 Human)就立刻不再點名它;響過門檻就加倍(1→4→8→16,每個 PR 各自算)。搭配 `scripts/pr-verdict`(merge/reject/changes 各一個動作)。 | 🛑 擋(響過就退讓) |
|
||||
| `countdown-guard.sh` | **每一則回覆都自己說出「這件事已經花了多久/距今天收工線還剩多久」**,而且不必有人記得。一支閘掛兩個事件:你送出訊息時它先把算好的那一行放到 AI 眼前(`UserPromptSubmit`),AI 想收工時它再看這一回合的回覆裡到底有沒有那一行,沒有就擋一次要它補(`Stop`)。**只做前半 = 又一個會被忽略的提醒**,所以兩半綁在一起。已過時間從**這段對話的第一則訊息**算起(=一個 release 的起點);收工線是台北 16:00,過線後四小時內顯示「已超過」,不會把超時悄悄換算掉。子 session、純工具回合、已經提醒過一次的,全部放行。 | 🛑 擋(至多攔一次) |
|
||||
| `browser-verify-guard.sh` | 這一輪 AI 宣稱「前端驗過了」,卻沒有真的用瀏覽器工具載入過,就擋下——`curl` 抓到 HTML 不算驗過。 | 🛑 擋 |
|
||||
| `self-drive-police.sh` | AI 想停下來問你「早就決定過的事」(用固定句型判斷,例如「要不要 X」「下一步做什麼」「這交給你」)就擋下,反問它查過 wiki/查過派工表了沒。 | 🛑 擋 |
|
||||
|
||||
@@ -253,6 +253,10 @@
|
||||
{
|
||||
"type": "command",
|
||||
"command": "${CLAUDE_PLUGIN_ROOT}/hooks/mainline-idle-guard.sh"
|
||||
},
|
||||
{
|
||||
"type": "command",
|
||||
"command": "${CLAUDE_PLUGIN_ROOT}/hooks/pr-verdict-guard.sh"
|
||||
}
|
||||
]
|
||||
},
|
||||
|
||||
@@ -42,12 +42,28 @@ case "$ROOT" in
|
||||
*) SRC="來源不明" ;;
|
||||
esac
|
||||
|
||||
# ── 交給 lib/beacon_report.py 組訊息 ─────────────────────────────────
|
||||
#
|
||||
# 🔴 為什麼改成走 python 而不是繼續用 printf 拼 JSON(inkstone/ISEP#90):
|
||||
# 下面要多報三件事(版本落差/舊複本遮蔽正門/退役機制的殘骸),
|
||||
# 而那三段的內容含引號與換行。**用 shell 內插拼 JSON,一個引號就會把整包 JSON 弄壞,
|
||||
# 而壞掉的 JSON 讓信標整行消失** —— 那正是本檔要偵測的「零閘狀態」的長相。
|
||||
# ⇒ 訊息本身可以變複雜,但**序列化這件事不准手拼**。
|
||||
#
|
||||
# 🔴 fail-open:python 掛掉、網路不通、什麼都不准讓這行消失。
|
||||
# 信標消失=leo 會判定這個 session 沒有閘(本檔第 8 行寫的判準),
|
||||
# 所以組不出加料版就退回原本那一行乾淨的訊息。
|
||||
MSG="🟢 ISEP v${VER} 已載入(${GATES} 支閘|來源:${SRC}|${ROOT})"
|
||||
|
||||
printf '%s\n' "{
|
||||
FALLBACK="{
|
||||
\"systemMessage\": \"${MSG}\",
|
||||
\"hookSpecificOutput\": {
|
||||
\"hookEventName\": \"SessionStart\",
|
||||
\"additionalContext\": \"${MSG}。這行是 ISEP plugin 自己發的——看得到它就表示閘真的生效了。若某個 session 從頭到尾沒有這行,那個 session 是零閘狀態,先修 plugin 再做事,不要用『跑得動』當證據。\"
|
||||
}
|
||||
}"
|
||||
|
||||
OUT="$(python3 "$ROOT/hooks/lib/beacon_report.py" "$VER" "$GATES" "$SRC" 2>/dev/null || true)"
|
||||
case "$OUT" in
|
||||
\{*) printf '%s\n' "$OUT" ;;
|
||||
*) printf '%s\n' "$FALLBACK" ;;
|
||||
esac
|
||||
|
||||
@@ -0,0 +1,167 @@
|
||||
# ── 以下三格是 inkstone/ISEP#90 加的「這一份是不是還有效」自檢 ──────────
|
||||
# 都**只是報告,不擋任何事**(SessionStart 本來就不該擋),而且每一格拿不到答案就閉嘴。
|
||||
import json, os, re, subprocess, sys, time, urllib.request
|
||||
|
||||
ROOT = os.environ.get("CLAUDE_PLUGIN_ROOT", "")
|
||||
PROJ = os.environ.get("CLAUDE_PROJECT_DIR") or os.getcwd()
|
||||
VER = sys.argv[1] if len(sys.argv) > 1 else "未知"
|
||||
GATES = sys.argv[2] if len(sys.argv) > 2 else "?"
|
||||
SRC = sys.argv[3] if len(sys.argv) > 3 else "來源不明"
|
||||
|
||||
MSG = "🟢 ISEP v%s 已載入(%s 支閘|來源:%s|%s)" % (VER, GATES, SRC, ROOT)
|
||||
notes = []
|
||||
|
||||
# ══ ① 這一份跟 ISEP main 是不是同一版 ═══════════════════════════════════
|
||||
#
|
||||
# 🔴 為什麼要自己查(inkstone/ISEP#90,2026-08-27 實查):
|
||||
# ISEP main 的 plugin.json → 0.9.0
|
||||
# 雲端實際載入 → 0.3.9 ← 中間差 7 個 release
|
||||
# 而信標**照樣是綠的**——它只證明「有一份 plugin 載入了」,不證明「載入的是哪一份」。
|
||||
# 後果不是抽象的:0.3.9 裡還活著兩支已經在 v0.9.0 整支刪掉的 hook,
|
||||
# 於是 `.claude/pending-verification/` 在雲端**被清掉之後又長回來**。
|
||||
# ⇒ 一個看不見的落差,會讓「已經刪掉的機制」在別人的工作區裡復活。
|
||||
#
|
||||
# 匿名讀(不帶任何憑證)⇒ D20 判準下屬於「讀」,不需要開閘、不計次。
|
||||
# 快取 6 小時、逾時 6 秒、任何失敗一律閉嘴——信標不能因為網路而變吵或變慢。
|
||||
def main_version():
|
||||
cache = os.path.join(os.environ.get("ISEP_BEACON_CACHE_DIR", "/tmp"), ".isep-main-version")
|
||||
try:
|
||||
if time.time() - os.path.getmtime(cache) < 6 * 3600:
|
||||
v = open(cache, encoding="utf-8").read().strip()
|
||||
return v or None
|
||||
except Exception:
|
||||
pass
|
||||
url = os.environ.get("ISEP_MAIN_MANIFEST_URL",
|
||||
"https://git.uncle6.me/inkstone/ISEP/raw/branch/main/.claude-plugin/plugin.json")
|
||||
try:
|
||||
with urllib.request.urlopen(url, timeout=6) as r:
|
||||
v = (json.loads(r.read().decode("utf-8")) or {}).get("version") or ""
|
||||
except Exception:
|
||||
v = ""
|
||||
try:
|
||||
open(cache, "w", encoding="utf-8").write(v)
|
||||
except Exception:
|
||||
pass
|
||||
return v or None
|
||||
|
||||
def vtuple(v):
|
||||
return tuple(int(x) for x in re.findall(r"\d+", v)[:3]) or (0,)
|
||||
|
||||
MAIN = main_version() if os.environ.get("ISEP_BEACON_SKIP_NET") != "1" else os.environ.get("ISEP_FAKE_MAIN_VERSION")
|
||||
if MAIN and VER != "未知" and MAIN != VER:
|
||||
if vtuple(MAIN) > vtuple(VER):
|
||||
notes.append(
|
||||
"🔴 **這一份落後 ISEP main**(載入 %s / main %s)——你現在跑的不是最新那組閘,"
|
||||
"而且**已經刪掉的機制可能還活著**(0.3.9 就是這樣讓 .claude/pending-verification/ 復活的)。"
|
||||
"修:本機 `claude plugin update isep@inkstone`;雲端要去動一下 Environment 的 setup script "
|
||||
"內容逼它重拍快照(快取約 7 天)。追蹤票 inkstone/ISEP#67。" % (VER, MAIN))
|
||||
else:
|
||||
notes.append("ℹ️ 這一份比 ISEP main 新(載入 %s / main %s)——沒發版的改動只在這台機器上。" % (VER, MAIN))
|
||||
|
||||
# ══ ② 專案裡有沒有 ISEP 腳本的舊複本在遮蔽正門 ══════════════════════════
|
||||
#
|
||||
# 🔴 實例(inkstone/ISEP#90 ②):`InkStoneCo/scripts/ticket` 是 ISEP `scripts/ticket`
|
||||
# 的**舊複本**,它的取 token 邏輯還停在「只認名叫 gitea 的 remote」,
|
||||
# 而 bootstrap.sh 在雲端把 Gitea 設成 `origin`
|
||||
# ⇒ 在雲端跑 `scripts/ticket` 一律死在「拿不到 gitea token」
|
||||
# ⇒ 人只好繞過正門直接打 API——而那正是 ticket-api-bypass-guard.sh 在防的事。
|
||||
# **一道閘把人逼去走它自己禁止的那條路,那道閘就是在製造違規。**
|
||||
#
|
||||
# 判準不是「檔名一樣」,是「檔名一樣**而內容不同**」——同步過的複本不吵。
|
||||
def shadow_copies():
|
||||
out = []
|
||||
src = os.path.join(ROOT, "scripts")
|
||||
if not os.path.isdir(src):
|
||||
return out
|
||||
roots = [PROJ, os.path.join(PROJ, "InkStoneCo")]
|
||||
for name in sorted(os.listdir(src)):
|
||||
a = os.path.join(src, name)
|
||||
if not os.path.isfile(a):
|
||||
continue
|
||||
try:
|
||||
ab = open(a, "rb").read()
|
||||
except Exception:
|
||||
continue
|
||||
for base in roots:
|
||||
b = os.path.join(base, "scripts", name)
|
||||
if os.path.realpath(b) == os.path.realpath(a):
|
||||
continue
|
||||
if not os.path.isfile(b):
|
||||
continue
|
||||
try:
|
||||
if open(b, "rb").read() != ab:
|
||||
out.append(os.path.relpath(b, PROJ))
|
||||
except Exception:
|
||||
pass
|
||||
return out
|
||||
|
||||
sh = shadow_copies()
|
||||
if sh:
|
||||
notes.append(
|
||||
"🟡 **專案裡有 ISEP 腳本的舊複本**,而它們排在 plugin 前面被叫到:%s。"
|
||||
"兩份必然漂移,漂移的那份會安靜地騙人——`InkStoneCo/scripts/ticket` 就是這樣"
|
||||
"在雲端一律死在「拿不到 gitea token」。要嘛刪掉複本改叫 "
|
||||
"`\"$CLAUDE_PLUGIN_ROOT\"/scripts/<名字>`,要嘛把複本同步回 ISEP。" % "、".join(sh))
|
||||
|
||||
# ══ ③ 工作區有沒有「已退役機制」留下的產物 ══════════════════════════════
|
||||
#
|
||||
# 判準是機械的、而且會自己長大:**plugin 自己的原始碼裡有沒有任何一個字提到這個目錄**。
|
||||
# 提到了 ⇒ 它是現行機制的產物,正常。
|
||||
# 一個字都沒提到 ⇒ 產生它的東西已經不在這一份 ISEP 裡了 ⇒ 它是殘骸。
|
||||
# 刻意**不用關鍵字黑名單**(leo 2026-08-17 已證明那條路 8 次誤攔、0 次正確攔截):
|
||||
# 這裡問的是「plugin 現在還認不認得它」,不是「這個名字看起來像不像壞東西」。
|
||||
NATIVE = {"hooks", "commands", "skills", "agents", "plugins", "wiki", "cloud-shell",
|
||||
"projects", "statsig", "shell-snapshots", "todos", "ide", "local", "isep"}
|
||||
def orphan_artifacts():
|
||||
out = []
|
||||
for base in [PROJ, os.path.join(PROJ, "InkStoneCo")]:
|
||||
d = os.path.join(base, ".claude")
|
||||
if not os.path.isdir(d):
|
||||
continue
|
||||
for name in sorted(os.listdir(d)):
|
||||
p = os.path.join(d, name)
|
||||
if not os.path.isdir(p) or name in NATIVE or name.startswith("."):
|
||||
continue
|
||||
# 🔴 只搜「會產生東西的那些檔」(hooks/scripts),不搜 docs:
|
||||
# docs 提到一個名字**不會讓那個目錄長出來**,但會讓這一格閉嘴。
|
||||
# 🔴 也要把本檔排除掉:本檔的註解裡就寫著 `pending-verification` 當例子,
|
||||
# 第一次跑就因此漏報了真正存在的那一個——**自己提到自己=這格靜音**。
|
||||
try:
|
||||
hit = False
|
||||
for sub in ("hooks", "scripts"):
|
||||
# 🔴 變數名不要跟外層的 `d`(.claude 那個目錄)撞——撞了會把
|
||||
# 外層迴圈的基準目錄換掉,第二個名字之後全部被靜靜跳過。
|
||||
# 第一版就是這樣寫的,實測結果:真的存在的 `verified-claims`
|
||||
# 一聲不吭地消失了。**假綠不是漏寫檢查,是檢查跑在錯的對象上。**
|
||||
sd = os.path.join(ROOT, sub)
|
||||
if not os.path.isdir(sd):
|
||||
continue
|
||||
if subprocess.run(["grep", "-rqlF", "--exclude", os.path.basename(__file__),
|
||||
"--", name, sd],
|
||||
capture_output=True, timeout=20).returncode == 0:
|
||||
hit = True
|
||||
break
|
||||
except Exception:
|
||||
hit = True # 問不出來就當它有效,不亂報
|
||||
if not hit:
|
||||
out.append(os.path.relpath(p, PROJ))
|
||||
return out
|
||||
|
||||
orph = orphan_artifacts()
|
||||
if orph:
|
||||
notes.append(
|
||||
"🟡 **工作區有已退役機制的產物**:%s。這一份 ISEP 裡沒有任何東西提到它們"
|
||||
"(v0.9.0 已整支刪除產生它的 hook),所以它們是殘骸——"
|
||||
"**它們還在長,就表示這台機器跑的是舊版**(見上面那格)。確認之後刪掉。" % "、".join(orph))
|
||||
|
||||
CONTEXT = ("%s。這行是 ISEP plugin 自己發的——看得到它就表示閘真的生效了。"
|
||||
"若某個 session 從頭到尾沒有這行,那個 session 是零閘狀態,"
|
||||
"先修 plugin 再做事,不要用『跑得動』當證據。" % MSG)
|
||||
if notes:
|
||||
MSG = MSG + "\n" + "\n".join(notes)
|
||||
CONTEXT = CONTEXT + "\n\n" + "\n".join(notes)
|
||||
|
||||
print(json.dumps({"systemMessage": MSG,
|
||||
"hookSpecificOutput": {"hookEventName": "SessionStart",
|
||||
"additionalContext": CONTEXT}},
|
||||
ensure_ascii=False))
|
||||
@@ -0,0 +1,57 @@
|
||||
# hooks/lib/mtime.sh — 「這個檔幾點被動的」,跨 macOS/Linux 都問得出來。
|
||||
# 不是獨立掛的閘(沒進 hooks.json),給那幾支用 /tmp 戳記的閘 `source` 用。
|
||||
#
|
||||
# ══ 為什麼要有這支(inkstone/ISEP#90 ④,2026-08-28 實查)═══════════════
|
||||
#
|
||||
# 三支閘(prod-write-guard、main-and-prod-push-guard、stage-before-prod-guard)
|
||||
# 的戳記檢查都寫成這一行:
|
||||
#
|
||||
# MT=$(stat -f %m "$STAMP" 2>/dev/null || stat -c %Y "$STAMP" 2>/dev/null || echo 0)
|
||||
#
|
||||
# 在 macOS(BSD stat)上它是對的:`-f %m` 就是 mtime。
|
||||
# 在 **Linux(GNU coreutils)上 `-f` 是「顯示檔案系統資訊」**,而且它
|
||||
# **一邊回非零、一邊往 stdout 吐一整段檔案系統的區塊**:
|
||||
#
|
||||
# $ stat -f %m /tmp/.probe
|
||||
# stat: cannot read file system information for '%m': No such file or directory ← stderr
|
||||
# File: "/tmp/.probe" ← stdout
|
||||
# ID: 0 Namelen: 255 Type: ext2/ext3
|
||||
# …
|
||||
#
|
||||
# ⇒ `2>/dev/null` 把錯誤訊息吃掉、`||` 接著跑 `stat -c %Y` 把正確的秒數**接在那堆垃圾後面**
|
||||
# ⇒ `MT` 變成「一段多行文字+一個數字」
|
||||
# ⇒ 閘下一行的 `case "$NOW$MT" in *[!0-9]*) return 1` 一定命中
|
||||
# ⇒ **在 Linux 上,那三支閘的戳記永遠不會被接受。**
|
||||
#
|
||||
# 🔴 這件事的後果不是「少一個便利功能」:
|
||||
# 那三支閘都是「擋下來,但**總管看過就可以放行**」的設計。
|
||||
# 放行的那道門在雲端(Linux)打不開 ⇒ **它們在雲端等於純擋**,
|
||||
# 總管照著閘自己印的指示做,做幾次都打不開,而閘不會告訴他門是壞的。
|
||||
# inkstone/InkStoneCo#99 記的「連續四次蓋不出戳記」就是這個形狀。
|
||||
#
|
||||
# ── 再往下一層:`-f` 根本不吃格式參數,所以連離開碼都不可靠 ────────────
|
||||
#
|
||||
# 2026-08-28 兩個人量這一格,一個量到 `exit=0`、一個量到 `exit=1`。**兩個都是真的**,
|
||||
# 而分歧本身就是最後一塊拼圖:**GNU 的 `-f` 是 `--file-system`,布林旗標、不接格式字串**
|
||||
# ⇒ `%m` 被當成**另一個檔名運算元** ⇒ 離開碼取決於「cwd 裡有沒有一個叫 `%m` 的檔」:
|
||||
#
|
||||
# A. 沒有(一般情況) → exit 1 ⇒ `||` **會**跑 ⇒ 正確的秒數接在垃圾後面
|
||||
# B. 剛好有 → exit 0 ⇒ `||` **不會**跑 ⇒ 整包連一個數字都沒有
|
||||
#
|
||||
# 兩種情況下閘的結果一樣:`MT` 都不是純數字,戳記都作廢。(實測 GNU coreutils 9.4)
|
||||
#
|
||||
# 🔴 **這才是該記住的教訓**:舊寫法的 `||` fallback 救不了,
|
||||
# **不是因為它沒跑,而是因為「跑不跑」根本不由這支腳本決定**
|
||||
# ——它由「cwd 裡有沒有某個檔名」決定。
|
||||
# 一個**行為取決於 cwd 裡有沒有某個檔**的判斷式,不管跑不跑都是壞的。
|
||||
#
|
||||
# 🔴 所以修法不是「把順序反過來」而已:改成先 `-c %Y`(GNU)再 `-f %m`(BSD),
|
||||
# 而且**每一步都驗它是不是純數字**——因為這個 bug 的成因正是
|
||||
# 「命令失敗了卻還是印了東西出來」,只看離開碼會再被騙一次。
|
||||
file_mtime() {
|
||||
_fm=$(stat -c %Y "$1" 2>/dev/null || true)
|
||||
case "${_fm:-}" in ''|*[!0-9]*) _fm=$(stat -f %m "$1" 2>/dev/null || true) ;; esac
|
||||
case "${_fm:-}" in ''|*[!0-9]*) _fm=$(python3 -c 'import os,sys; print(int(os.path.getmtime(sys.argv[1])))' "$1" 2>/dev/null || true) ;; esac
|
||||
case "${_fm:-}" in ''|*[!0-9]*) _fm=0 ;; esac
|
||||
printf '%s' "$_fm"
|
||||
}
|
||||
@@ -74,6 +74,18 @@ esac
|
||||
# ⇒ 沒有可靠的身分辨識時,改成**正向確認**:推 main 前要有一枚新鮮的戳記。
|
||||
# subagent 當然造得出那枚戳記——但它得刻意繞過一段明講「不要這樣做」的訊息。
|
||||
# **閘擋的是無心,不是惡意。** 而現在這個版本連無心都擋不了(它誰都擋)。
|
||||
# 🔴 戳記的 mtime 一律走 lib/mtime.sh:舊寫法(`stat -f %m || stat -c %Y`)在 Linux 上
|
||||
# **永遠算不出數字**(GNU 的 `-f` 是「檔案系統資訊」,它一邊回非零一邊吐一整段文字,
|
||||
# 於是後面接上的秒數被那段垃圾污染)⇒ 這支閘給總管的逃生口在雲端整個焊死,
|
||||
# 而閘不會告訴他門是壞的(inkstone/ISEP#90 ④,全文見 hooks/lib/mtime.sh)。
|
||||
# lib 不在時就地補一份同順序的定義——這道門不能因為少一個檔案就再關上一次。
|
||||
. "$(dirname "$0")/lib/mtime.sh" 2>/dev/null || file_mtime() {
|
||||
_fm=$(stat -c %Y "$1" 2>/dev/null || true)
|
||||
case "${_fm:-}" in ''|*[!0-9]*) _fm=$(stat -f %m "$1" 2>/dev/null || true) ;; esac
|
||||
case "${_fm:-}" in ''|*[!0-9]*) _fm=0 ;; esac
|
||||
printf '%s' "$_fm"
|
||||
}
|
||||
|
||||
STAMP="/tmp/.main-push-ok"
|
||||
|
||||
# 🔴 2026-08-11 這道閘被自己的戳記穿透了,修法寫在這裡:
|
||||
@@ -87,7 +99,7 @@ STAMP="/tmp/.main-push-ok"
|
||||
stamp_ok() {
|
||||
[ -f "$STAMP" ] || return 1
|
||||
NOW=$(date +%s 2>/dev/null || echo 0)
|
||||
MT=$(stat -f %m "$STAMP" 2>/dev/null || stat -c %Y "$STAMP" 2>/dev/null || echo 0)
|
||||
MT=$(file_mtime "$STAMP")
|
||||
case "$NOW$MT" in *[!0-9]*) return 1 ;; esac
|
||||
[ "$NOW" -gt 0 ] && [ "$MT" -gt 0 ] || return 1
|
||||
[ $((NOW - MT)) -lt 900 ] || return 1
|
||||
@@ -261,7 +273,9 @@ leo 原話:
|
||||
逐筆看過那些 commit(`git log --oneline gitea/main..<branch>`、`git diff --stat`),
|
||||
確定它們該進 main,再:
|
||||
|
||||
git rev-parse --show-toplevel > /tmp/.main-push-ok && <你的 git push 指令>
|
||||
bash "$CLAUDE_PLUGIN_ROOT/scripts/gate-ok" main-push <那個 repo 的路徑>
|
||||
<你的 git push 指令>
|
||||
(等價的手打法:git rev-parse --show-toplevel > /tmp/.main-push-ok)
|
||||
|
||||
戳記 **綁這個 repo、只能用一次、15 分鐘失效**——它代表「**這一次、這個 repo,我看過了**」。
|
||||
|
||||
|
||||
@@ -0,0 +1,394 @@
|
||||
#!/usr/bin/env bash
|
||||
# 管什麼: 收工那一刻清點「我這邊還有沒有 PR 沒給結論」——open 且沒人在管的 PR、
|
||||
# 以及已經 merge 但**分支還留著**的 PR。有就擋一次並點名是哪幾個。
|
||||
# 為什麼: 2026-08-27 實查,最久的三個 open PR 躺了兩星期(inkstone/arcrun-rag#91、
|
||||
# inkstone/Arcrun#116、inkstone/Arcrun#104),而 v0.9.0 的 46 支閘沒有一支在管 PR。
|
||||
# 票看起來「已交付」,但東西沒進 main ⇒ 沒進版本 ⇒ leo 手上永遠不會出現它。
|
||||
# 誤觸時怎麼關: 直接再送一次即可(擋完就歸零,而且那幾個 PR 的門檻已加倍)。
|
||||
# 真的在等別人 ⇒ 把 PR 指派給他(或掛 Human),本閘立刻不再點名它。
|
||||
#
|
||||
# pr-verdict-guard.sh — PR 收斂警察(Stop;inkstone/ISEP#81)
|
||||
#
|
||||
# ── 為什麼是 Stop 而不是 PreToolUse ──────────────────────────────────
|
||||
# PR 堆積不是「某個動作做錯了」,是「某個動作從來沒發生」。
|
||||
# 沒有發生的事情攔不到,只能在收工那一刻清點。同 worklist-guard.sh 的形狀。
|
||||
# **刻意只掛 Stop,不掛 SubagentStop**:給 PR 結論是總管的事,
|
||||
# subagent 手上沒有那個權(它連 main 都不准推)⇒ 掛上去只會變成對它的誤攔。
|
||||
#
|
||||
# ── 這支跟 baton-handback-guard.sh 是接力,不是重複 ────────────────
|
||||
# baton 管「棒子有沒有交回來」(票的指派+tag+下一步三格)。
|
||||
# 本支管「交回來之後,總管有沒有動它」——PR 是那根棒子的實體。
|
||||
#
|
||||
# ── 🔴 已知的坑:這支很容易長成「讓總管永遠停不下來」的那一支 ──────
|
||||
# ISEP v0.6.0 的 divergence 文件 §B4 記過同款:
|
||||
# 「`s/review` 佇列非空即 block 總管 stop」⇒ 佇列本來就不會空 ⇒ 永遠擋。
|
||||
# ⇒ **要擋的是遺忘,不是等待。** 本閘用三層把「等待」全部放掉:
|
||||
#
|
||||
# ① 有人被指派(或掛 Human)⇒ 不點名。
|
||||
# 指派是 Gitea 原生欄位、也是本 repo 既有的「現在誰該動」真相
|
||||
# (見 baton-handback-guard 檔頭那張三格表)。棒子在誰手上是**事實**,
|
||||
# 不是措辭 ⇒ 有人拿著 = 在等,不是忘了。
|
||||
# ② 有一則 REQUEST_CHANGES 的 review ⇒ 不點名。
|
||||
# 「要求修改」這個結論已經給了,球在對方腳下。
|
||||
# ③ 這一回合碰過它 ⇒ 不點名(見下面「怎麼算碰過」)。
|
||||
# ④ 點名過就退讓:那個 PR 的門檻 1 → 4 → 8 → 16…(每 PR 各自算)。
|
||||
# ⇒ 不可能鎖死:擋完歸零,再送一次就過;真的長期不理才會再響。
|
||||
#
|
||||
# ── 怎麼算「碰過」:不讀任何一句話 ──────────────────────────────
|
||||
# ① `updated_at` 跟上一次收工比變了 ⇒ 碰過(留言/改標籤/推 commit/submit review
|
||||
# 全部會動它)。這是**外部系統的事實**,跟我在對話裡怎麼寫無關。
|
||||
# ② 上一次收工時還不存在的 PR ⇒ 剛開出來 ⇒ 碰過(不在它誕生的那一回合就開罵)。
|
||||
# ③ 這一回合的 tool call 裡出現它的**識別碼**(`owner/repo#N`/`/pulls/N`/它的網址)
|
||||
# ⇒ 碰過。這一條是為了接住「結論寫在票上」——票被改了、PR 沒被改,
|
||||
# ①②都看不到,但那正是本票規定的其中一種合法結論。
|
||||
#
|
||||
# 🔴 ③ 不是關鍵字黑名單(leo 2026-08-17 已證偽那條路:當日 8 次誤攔、0 次正確攔截)。
|
||||
# 差別在方向與集合:黑名單拿**措辭**來**擋**(措辭無限,永遠追不完);
|
||||
# 這裡拿**識別碼**來**放行**(識別碼是有限且唯一的,而且比對錯了只會少擋一次)。
|
||||
# 本 repo 心法:只准往放行的方向做字面比對。
|
||||
#
|
||||
# ── merge 了但分支還在 = 結論只給了一半 ────────────────────────
|
||||
# 票上寫死:「merge → 併完當場刪掉那條 branch」。所以某個 PR 從 open 清單消失時,
|
||||
# 本閘去看它是不是 merged、head 分支還在不在;還在就一起點名。
|
||||
# (只在「上次還 open、這次不見了」時查,平常一通 API 都不多打。)
|
||||
#
|
||||
# ── 內部錯誤不准靜默放行 ────────────────────────────────────────
|
||||
# Stop 閘 fail-closed 會鎖死 session,而誤攔是本 repo 的第一級缺陷
|
||||
# ⇒ 內部錯誤走 exit 0,但留痕(log + stderr 各一行)。同 mainline-idle-guard.sh。
|
||||
#
|
||||
# 迴歸測試:hooks/tests/pr-verdict-guard.test.sh(離線,走 PR_VERDICT_FIXTURE)
|
||||
set -u
|
||||
|
||||
PROJ="${CLAUDE_PROJECT_DIR:-$(pwd)}"
|
||||
PAYLOAD=$(cat 2>/dev/null || echo '{}')
|
||||
|
||||
# ── token:同 scripts/ticket 的做法(掃 remote 找帶憑證的,再退到環境變數)──
|
||||
TOKEN=""
|
||||
if [ -z "${PR_VERDICT_FIXTURE:-}" ]; then
|
||||
for d in "$PROJ" "$PROJ/products"/* "$PROJ/matrix"/* "$PROJ/polaris"/*; do
|
||||
[ -e "$d/.git" ] || continue
|
||||
U=$(git -C "$d" remote -v 2>/dev/null | grep -m1 'git\.uncle6\.me' | grep '@' | awk '{print $2}') || true
|
||||
if [ -n "${U:-}" ]; then
|
||||
T=$(printf '%s' "$U" | sed -E 's|.*//[^:]+:([^@]+)@.*|\1|')
|
||||
[ "$T" != "$U" ] && { TOKEN="$T"; break; }
|
||||
fi
|
||||
done
|
||||
[ -n "$TOKEN" ] || TOKEN="${GITEA_TOKEN_CLAUDE_CODE:-${GITEA_TOKEN:-}}"
|
||||
fi
|
||||
|
||||
# PR_VERDICT_DEBUG=1 時把內部錯誤原文放出來(平常吞掉,避免雜訊蓋掉閘的訊息)
|
||||
ERRSINK=/dev/null
|
||||
[ -n "${PR_VERDICT_DEBUG:-}" ] && ERRSINK=/dev/stderr
|
||||
|
||||
# 🔴 payload 走環境變數,不走 stdin——`python3 - <<PY` 的 stdin **就是腳本本身**,
|
||||
# 再從 sys.stdin 讀就會讀到自己的原始碼(第一版實撞,回 CRASH:bad-payload)。
|
||||
VERDICT=$(GITEA_TOKEN_RESOLVED="$TOKEN" PR_VERDICT_PAYLOAD="$PAYLOAD" python3 - <<'PY' 2>"$ERRSINK"
|
||||
import json, os, re, sys, time
|
||||
import urllib.error, urllib.parse, urllib.request
|
||||
|
||||
HOST = os.environ.get("PR_VERDICT_HOST", "https://git.uncle6.me")
|
||||
ORGS = [o.strip().lower() for o in
|
||||
os.environ.get("PR_VERDICT_ORGS", "inkstone").split(",") if o.strip()]
|
||||
FIXTURE = os.environ.get("PR_VERDICT_FIXTURE", "")
|
||||
TOKEN = os.environ.get("GITEA_TOKEN_RESOLVED", "")
|
||||
|
||||
def out(s):
|
||||
sys.stdout.write(s)
|
||||
raise SystemExit
|
||||
|
||||
try:
|
||||
d = json.loads(os.environ.get("PR_VERDICT_PAYLOAD") or "{}")
|
||||
except Exception:
|
||||
out("CRASH:bad-payload")
|
||||
|
||||
# 已被別的 Stop 閘擋過這一輪 ⇒ 不計數、不擋(避免疊擋,同 mainline-idle-guard)
|
||||
if d.get("stop_hook_active"):
|
||||
out("SKIP:already-nudged")
|
||||
|
||||
sid = re.sub(r"[^A-Za-z0-9_.-]", "_", str(d.get("session_id") or "nosid"))[:64]
|
||||
state_path = os.path.join(os.environ.get("PR_VERDICT_STATE_DIR", "/tmp"),
|
||||
".pr-verdict-%s.json" % sid)
|
||||
|
||||
# ── 資料來源:正式打 Gitea,測試走 fixture(單一 JSON 檔或目錄下的 state.json)──
|
||||
FX = None
|
||||
if FIXTURE:
|
||||
p = FIXTURE if os.path.isfile(FIXTURE) else os.path.join(FIXTURE, "state.json")
|
||||
try:
|
||||
with open(p) as f:
|
||||
FX = json.load(f)
|
||||
except Exception:
|
||||
out("CRASH:bad-fixture")
|
||||
|
||||
def api(path, soft=True):
|
||||
"""GET 一筆。fixture 模式完全不碰網路。失敗回 None(不影響該不該擋的核心判斷)。"""
|
||||
if FX is not None:
|
||||
return None
|
||||
if not TOKEN:
|
||||
return None
|
||||
try:
|
||||
req = urllib.request.Request(HOST + "/api/v1" + path,
|
||||
headers={"Authorization": "token " + TOKEN})
|
||||
return json.load(urllib.request.urlopen(req, timeout=12))
|
||||
except urllib.error.HTTPError as e:
|
||||
return {"__status__": e.code}
|
||||
except Exception:
|
||||
return None
|
||||
|
||||
# ── ① 撈 open PR(一通跨 repo 的呼叫)─────────────────────────────
|
||||
if FX is not None:
|
||||
pulls = FX.get("pulls", [])
|
||||
else:
|
||||
if not TOKEN:
|
||||
out("SKIP:no-token")
|
||||
pulls = api("/repos/issues/search?type=pulls&state=open&limit=50")
|
||||
if pulls is None or isinstance(pulls, dict):
|
||||
out("SKIP:api-unreachable")
|
||||
|
||||
def ref_of(pr):
|
||||
return "%s#%s" % (pr.get("repository", {}).get("full_name", "?"), pr.get("number"))
|
||||
|
||||
live = {}
|
||||
for pr in pulls:
|
||||
full = (pr.get("repository") or {}).get("full_name") or ""
|
||||
if "/" not in full:
|
||||
continue
|
||||
if ORGS and full.split("/", 1)[0].lower() not in ORGS:
|
||||
continue # 只管我這邊的 org;舊 org 的鏡像不是我的責任
|
||||
if (pr.get("pull_request") or {}).get("draft"):
|
||||
continue # draft = 作者自己說「還沒好」,不是等我給結論
|
||||
live[ref_of(pr)] = pr
|
||||
|
||||
# ── ② 讀上一次收工的快照 ─────────────────────────────────────────
|
||||
st = {}
|
||||
try:
|
||||
with open(state_path) as f:
|
||||
st = json.load(f)
|
||||
except Exception:
|
||||
st = {}
|
||||
seen = st.get("seen") or {}
|
||||
leftover = st.get("leftover") or {} # ref -> branch,merge 完分支還沒刪的
|
||||
first_run = not seen and "seen" not in st
|
||||
|
||||
# ── ③ 這一回合的 tool call 裡提到了哪些識別碼(只用來放行)──────────
|
||||
turn_blob = ""
|
||||
tp = d.get("transcript_path") or ""
|
||||
if tp and os.path.exists(tp):
|
||||
try:
|
||||
rows = []
|
||||
with open(tp) as f:
|
||||
for line in f:
|
||||
line = line.strip()
|
||||
if line:
|
||||
try:
|
||||
rows.append(json.loads(line))
|
||||
except Exception:
|
||||
pass
|
||||
start = 0
|
||||
for i, r in enumerate(rows):
|
||||
if r.get("type") == "user":
|
||||
c = (r.get("message") or {}).get("content")
|
||||
blocks = c if isinstance(c, list) else [{"type": "text"}]
|
||||
if not any(isinstance(b, dict) and b.get("type") == "tool_result"
|
||||
for b in blocks):
|
||||
start = i
|
||||
chunks = []
|
||||
for r in rows[start:]:
|
||||
if r.get("type") != "assistant":
|
||||
continue
|
||||
for b in (r.get("message") or {}).get("content") or []:
|
||||
if isinstance(b, dict) and b.get("type") == "tool_use":
|
||||
chunks.append(json.dumps(b.get("input") or {}, ensure_ascii=False))
|
||||
turn_blob = "\n".join(chunks)
|
||||
except Exception:
|
||||
turn_blob = ""
|
||||
|
||||
def mentioned(ref):
|
||||
"""這一回合的 tool call 有沒有指名這個 PR。識別碼比對,只用來放行。"""
|
||||
if not turn_blob:
|
||||
return False
|
||||
full, num = ref.split("#")
|
||||
owner, repo = full.split("/", 1)
|
||||
pats = ["%s#%s" % (full, num), "%s#%s" % (repo, num),
|
||||
"/pulls/%s" % num, "/pull/%s" % num]
|
||||
return any(p in turn_blob for p in pats)
|
||||
|
||||
# ── ④ merge 完分支還在不在(只在「上次還 open、這次不見了」時查)────
|
||||
def branch_alive(owner, repo, br):
|
||||
if FX is not None:
|
||||
return bool((FX.get("branches") or {}).get("%s/%s:%s" % (owner, repo, br)))
|
||||
r = api("/repos/%s/%s/branches/%s" % (owner, repo, urllib.parse.quote(br, safe="")))
|
||||
if isinstance(r, dict) and r.get("__status__") == 404:
|
||||
return False
|
||||
return isinstance(r, dict) and "name" in r
|
||||
|
||||
def pr_detail(ref):
|
||||
if FX is not None:
|
||||
return (FX.get("detail") or {}).get(ref)
|
||||
full, num = ref.split("#")
|
||||
owner, repo = full.split("/", 1)
|
||||
r = api("/repos/%s/%s/pulls/%s" % (owner, repo, num))
|
||||
return r if isinstance(r, dict) and "__status__" not in r else None
|
||||
|
||||
for ref in list(seen.keys()):
|
||||
if ref in live:
|
||||
continue
|
||||
det = pr_detail(ref) # 不見了:是被 merge 還是被 close?
|
||||
if not det or not det.get("merged"):
|
||||
continue
|
||||
br = ((det.get("head") or {}).get("ref")) or ""
|
||||
if not br:
|
||||
continue
|
||||
full = ref.split("#")[0]
|
||||
owner, repo = full.split("/", 1)
|
||||
if branch_alive(owner, repo, br):
|
||||
leftover[ref] = br
|
||||
|
||||
for ref in list(leftover.keys()): # 已經刪掉的就從清單移除
|
||||
full = ref.split("#")[0]
|
||||
owner, repo = full.split("/", 1)
|
||||
if not branch_alive(owner, repo, leftover[ref]):
|
||||
leftover.pop(ref, None)
|
||||
|
||||
# ── ⑤ 逐個 open PR 判「有沒有人在管」──────────────────────────────
|
||||
def reviews_of(ref):
|
||||
if FX is not None:
|
||||
return (FX.get("reviews") or {}).get(ref) or []
|
||||
full, num = ref.split("#")
|
||||
owner, repo = full.split("/", 1)
|
||||
r = api("/repos/%s/%s/pulls/%s/reviews" % (owner, repo, num))
|
||||
return r if isinstance(r, list) else []
|
||||
|
||||
try:
|
||||
BASE = max(1, int(os.environ.get("PR_VERDICT_THRESHOLD", "1")))
|
||||
except Exception:
|
||||
BASE = 1
|
||||
|
||||
overdue, newseen = [], {}
|
||||
for ref, pr in live.items():
|
||||
prev = seen.get(ref) or {}
|
||||
rec = {"updated_at": pr.get("updated_at"),
|
||||
"quiet": int(prev.get("quiet", 0) or 0),
|
||||
"threshold": int(prev.get("threshold", BASE) or BASE),
|
||||
"fires": int(prev.get("fires", 0) or 0)}
|
||||
newseen[ref] = rec
|
||||
|
||||
# 有人被指派/掛了 Human = 棒子在某個人手上 ⇒ 在等,不是忘了
|
||||
if pr.get("assignees"):
|
||||
rec["quiet"] = 0
|
||||
continue
|
||||
if any((l.get("name") or "").lower() == "human" for l in (pr.get("labels") or [])):
|
||||
rec["quiet"] = 0
|
||||
continue
|
||||
# 上一次收工時還不存在 ⇒ 剛開出來,別在它誕生的那一回合就開罵
|
||||
if not first_run and ref not in seen:
|
||||
rec["quiet"] = 0
|
||||
continue
|
||||
# 這一回合真的動過它(外部事實)/指名過它(識別碼)
|
||||
if prev.get("updated_at") and pr.get("updated_at") != prev.get("updated_at"):
|
||||
rec["quiet"] = 0
|
||||
continue
|
||||
if mentioned(ref):
|
||||
rec["quiet"] = 0
|
||||
continue
|
||||
|
||||
rec["quiet"] += 1
|
||||
if rec["quiet"] < rec["threshold"]:
|
||||
continue
|
||||
# 「要求修改」這個結論已經給了 ⇒ 球在對方腳下(只在要開罵時才多打這通)
|
||||
if any((rv.get("state") or "").upper() == "REQUEST_CHANGES" for rv in reviews_of(ref)):
|
||||
rec["quiet"] = 0
|
||||
continue
|
||||
|
||||
rec["quiet"] = 0
|
||||
rec["threshold"] = max(4, rec["threshold"] * 4 if rec["threshold"] == 1
|
||||
else rec["threshold"] * 2)
|
||||
rec["fires"] += 1
|
||||
overdue.append((ref, pr))
|
||||
|
||||
try:
|
||||
with open(state_path, "w") as f:
|
||||
json.dump({"seen": newseen, "leftover": leftover, "ts": time.time()}, f)
|
||||
except Exception:
|
||||
pass
|
||||
|
||||
if not overdue and not leftover:
|
||||
out("OK:clean:%d-open" % len(live))
|
||||
|
||||
def age_days(pr):
|
||||
try:
|
||||
t = time.mktime(time.strptime(pr.get("created_at", "")[:19], "%Y-%m-%dT%H:%M:%S"))
|
||||
return max(0, int((time.time() - t) / 86400))
|
||||
except Exception:
|
||||
return -1
|
||||
|
||||
lines = []
|
||||
if overdue:
|
||||
lines.append("【沒有結論的 PR】(open、沒有人被指派、也沒有「要求修改」的 review)")
|
||||
for ref, pr in sorted(overdue, key=lambda x: -age_days(x[1])):
|
||||
dd = age_days(pr)
|
||||
lines.append(" ❌ %-28s 開了 %s天 %s"
|
||||
% (ref, dd if dd >= 0 else "?", (pr.get("title") or "")[:36]))
|
||||
lines.append(" %s" % ((pr.get("pull_request") or {}).get("html_url") or ""))
|
||||
if leftover:
|
||||
lines.append("【merge 了,但分支還留著】(結論只給了一半)")
|
||||
for ref, br in sorted(leftover.items()):
|
||||
lines.append(" ❌ %-28s 分支 %s 還在" % (ref, br))
|
||||
|
||||
out("FIRE::" + json.dumps({"body": "\n".join(lines),
|
||||
"n": len(overdue) + len(leftover)}, ensure_ascii=False))
|
||||
PY
|
||||
) || VERDICT="CRASH:hook-error"
|
||||
[ -n "${VERDICT:-}" ] || VERDICT="CRASH:empty"
|
||||
|
||||
STAMP=$(date "+%Y-%m-%d %H:%M:%S" 2>/dev/null || echo "?")
|
||||
LOGDIR="$PROJ/.claude/hooks"
|
||||
note() {
|
||||
if [ -d "$LOGDIR" ]; then
|
||||
printf '| %s | %s | %s |\n' "$STAMP" "$1" "$2" >> "$LOGDIR/pr-verdict-guard.log" 2>/dev/null || true
|
||||
fi
|
||||
}
|
||||
|
||||
case "$VERDICT" in
|
||||
FIRE::*)
|
||||
BODY=$(printf '%s' "${VERDICT#FIRE::}" | python3 -c 'import json,sys; print(json.load(sys.stdin)["body"])')
|
||||
N=$(printf '%s' "${VERDICT#FIRE::}" | python3 -c 'import json,sys; print(json.load(sys.stdin)["n"])')
|
||||
note "⛔ 擋下" "$N 個 PR 沒有結論"
|
||||
cat >&2 <<MSG
|
||||
🔀 PR 收斂警察:**還有 ${N} 個 PR 沒有結論,現在不是收工的時候。**
|
||||
|
||||
$BODY
|
||||
|
||||
【inkstone/ISEP#81】「我交出去的 PR 沒有人去看它⋯⋯票看起來是『已交付』,
|
||||
但東西沒有進 main,也就沒有進版本,**leo 手上永遠不會出現它**。」
|
||||
|
||||
━━ 「有結論」只有三種,缺一不可 ━━━━━━━━━━━━━━━━━━━━━━━━
|
||||
merge → **併完當場刪掉那條 branch**
|
||||
scripts/pr-verdict merge <owner/repo#N>
|
||||
退回 → 理由**寫在票上**(不是寫在訊息裡),然後關掉 PR
|
||||
scripts/pr-verdict reject <owner/repo#N> --ticket <owner/repo#N> -F <檔>
|
||||
要求修改 → 修改要求**寫在票上**,並在 PR 上留一則 REQUEST_CHANGES
|
||||
scripts/pr-verdict changes <owner/repo#N> --ticket <owner/repo#N> -F <檔>
|
||||
|
||||
撈一次現況:scripts/pr-verdict list
|
||||
|
||||
━━ 如果它本來就在等別人,不是被我忘了 ━━━━━━━━━━━━━━━━━━━━
|
||||
**把它指派給那個人**(或掛 Human)——本閘立刻不再點名它。
|
||||
指派是 Gitea 原生欄位,撈一次就看得到「現在誰該動」;
|
||||
寫在對話裡的「我在等 X」會捲走,欄位不會。
|
||||
|
||||
這一條就是本閘跟「s/review 佇列非空即 block」的分界:
|
||||
**擋的是遺忘,不是等待。**(ISEP v0.6.0 divergence §B4 記過那個坑)
|
||||
|
||||
━━ 這幾個現在真的不該處理 ━━━━━━━━━━━━━━━━━━━━━━━━━━━
|
||||
直接再送一次即可,本閘已經歸零,而且這幾個 PR 的門檻已加倍
|
||||
(1 → 4 → 8 → 16…,每個 PR 各自算)。**不必為了過這道閘去做一件假的動作。**
|
||||
MSG
|
||||
exit 2 ;;
|
||||
CRASH*)
|
||||
note "⚠️ 內部錯誤" "$VERDICT"
|
||||
printf '⚠️ pr-verdict-guard 內部錯誤(%s)——本回合未清點 PR,已記入 log。\n' "$VERDICT" >&2
|
||||
exit 0 ;;
|
||||
*)
|
||||
note "✅ 放行" "$VERDICT"
|
||||
exit 0 ;;
|
||||
esac
|
||||
@@ -68,11 +68,23 @@ CMD=$(printf '%s' "$CMD" | python3 "$(dirname "$0")/lib/strip_""heredoc.py" 2>/d
|
||||
# **15 分鐘內一條並行的 subagent 把 commit 推上了另一個 repo 的 main**。
|
||||
# ⇒ **多條 subagent 並行時,「時間窗」本身就是漏洞。** 所以改成單次用完即丟。
|
||||
# ⇒ 而且只在**真的要擋的那一刻**才檢查——放在檔頭會被任何一條無關指令把戳記燒掉。
|
||||
# 🔴 戳記的 mtime 一律走 lib/mtime.sh:舊寫法(`stat -f %m || stat -c %Y`)在 Linux 上
|
||||
# **永遠算不出數字**(GNU 的 `-f` 是「檔案系統資訊」,它一邊回非零一邊吐一整段文字,
|
||||
# 於是後面接上的秒數被那段垃圾污染)⇒ 這支閘給總管的逃生口在雲端整個焊死,
|
||||
# 而閘不會告訴他門是壞的(inkstone/ISEP#90 ④,全文見 hooks/lib/mtime.sh)。
|
||||
# lib 不在時就地補一份同順序的定義——這道門不能因為少一個檔案就再關上一次。
|
||||
. "$(dirname "$0")/lib/mtime.sh" 2>/dev/null || file_mtime() {
|
||||
_fm=$(stat -c %Y "$1" 2>/dev/null || true)
|
||||
case "${_fm:-}" in ''|*[!0-9]*) _fm=$(stat -f %m "$1" 2>/dev/null || true) ;; esac
|
||||
case "${_fm:-}" in ''|*[!0-9]*) _fm=0 ;; esac
|
||||
printf '%s' "$_fm"
|
||||
}
|
||||
|
||||
STAMP="/tmp/.prod-write-ok"
|
||||
stamp_ok() {
|
||||
[ -f "$STAMP" ] || return 1
|
||||
NOW=$(date +%s 2>/dev/null || echo 0)
|
||||
MT=$(stat -f %m "$STAMP" 2>/dev/null || stat -c %Y "$STAMP" 2>/dev/null || echo 0)
|
||||
MT=$(file_mtime "$STAMP")
|
||||
case "$NOW$MT" in *[!0-9]*) return 1 ;; esac
|
||||
[ "$NOW" -gt 0 ] && [ "$MT" -gt 0 ] || return 1
|
||||
[ $((NOW - MT)) -lt 900 ] || return 1
|
||||
@@ -112,7 +124,9 @@ leo 原話:
|
||||
━━━ 你是總管 ━━━
|
||||
看清楚它會覆蓋什麼(`arcrun_get_workflow` 先撈一份現況存起來,好回滾),確定要推,再:
|
||||
|
||||
touch /tmp/.prod-write-ok # ⚠️ 只放行「下一個」動作,用完即消失
|
||||
bash "$CLAUDE_PLUGIN_ROOT/scripts/gate-ok" prod-write # ⚠️ 只放行「下一個」動作,用完即消失
|
||||
(等價的手打法:touch /tmp/.prod-write-ok。gate-ok 是所有閘共用的同一個入口,
|
||||
好處是它的形狀固定 ⇒ 一條規則就能事先放行,不會每次被權限層擋在門外)
|
||||
|
||||
戳記 15 分鐘有效。**若這一推會讓封測者/用戶當場拿到東西,那就不是你的層級——要 leo 解保險。**
|
||||
MSG
|
||||
@@ -310,7 +324,9 @@ leo 原話:
|
||||
━━━ 你是總管 ━━━
|
||||
確認過要推什麼、會蓋掉什麼之後:
|
||||
|
||||
touch /tmp/.prod-write-ok # ⚠️ 只放行「下一個」動作,用完即消失
|
||||
bash "$CLAUDE_PLUGIN_ROOT/scripts/gate-ok" prod-write # ⚠️ 只放行「下一個」動作,用完即消失
|
||||
(等價的手打法:touch /tmp/.prod-write-ok。gate-ok 是所有閘共用的同一個入口,
|
||||
好處是它的形狀固定 ⇒ 一條規則就能事先放行,不會每次被權限層擋在門外)
|
||||
|
||||
⚠️ `acr recipe push` 另有一道**互動式暴露同意閘**(終端機裡要人親手輸入資源名)。
|
||||
那道閘擋的是「把資源變成可被外部呼叫」,**本閘的戳記蓋不過它**——那是 leo 的手。
|
||||
|
||||
@@ -159,6 +159,18 @@ fi
|
||||
# ⇒ 改成兩者都認:內容有數字就用內容,沒有就用 mtime(`touch` 因此真的有效)。
|
||||
#
|
||||
# 另外認 leo 親手蓋的章(scripts/stage-ok.sh 產生),那是比我自評更強的訊號。
|
||||
# 🔴 戳記的 mtime 一律走 lib/mtime.sh:舊寫法(`stat -f %m || stat -c %Y`)在 Linux 上
|
||||
# **永遠算不出數字**(GNU 的 `-f` 是「檔案系統資訊」,它一邊回非零一邊吐一整段文字,
|
||||
# 於是後面接上的秒數被那段垃圾污染)⇒ 這支閘給總管的逃生口在雲端整個焊死,
|
||||
# 而閘不會告訴他門是壞的(inkstone/ISEP#90 ④,全文見 hooks/lib/mtime.sh)。
|
||||
# lib 不在時就地補一份同順序的定義——這道門不能因為少一個檔案就再關上一次。
|
||||
. "$(dirname "$0")/lib/mtime.sh" 2>/dev/null || file_mtime() {
|
||||
_fm=$(stat -c %Y "$1" 2>/dev/null || true)
|
||||
case "${_fm:-}" in ''|*[!0-9]*) _fm=$(stat -f %m "$1" 2>/dev/null || true) ;; esac
|
||||
case "${_fm:-}" in ''|*[!0-9]*) _fm=0 ;; esac
|
||||
printf '%s' "$_fm"
|
||||
}
|
||||
|
||||
for STAMP in /tmp/.stage-ok-by-leo /tmp/.stage-verified; do
|
||||
[ -f "$STAMP" ] || continue
|
||||
now=$(date +%s)
|
||||
@@ -172,7 +184,7 @@ for STAMP in /tmp/.stage-ok-by-leo /tmp/.stage-verified; do
|
||||
# 抽數字會得到天文數字 ⇒ `now - t` 是**負數** ⇒ `< 21600` 成立 ⇒ **永遠放行**。
|
||||
# ⇒ 只有「不晚於現在」的時間戳才算數;不合理就退回 mtime,別當成通過。
|
||||
if [ "$t" -eq 0 ] || [ "$t" -gt "$now" ]; then
|
||||
t=$(stat -f %m "$STAMP" 2>/dev/null || stat -c %Y "$STAMP" 2>/dev/null || echo 0)
|
||||
t=$(file_mtime "$STAMP")
|
||||
fi
|
||||
[ "$t" -gt 0 ] && [ "$((now - t))" -lt 21600 ] && exit 0 # 6 小時內驗過 stage → 放行
|
||||
done
|
||||
@@ -196,7 +208,8 @@ cat >&2 <<'EOF'
|
||||
⚠️ 身分:leo 2026-07-25 令「測試一律用 youlin,別拿 leo21c 當探針(會製造假信號)」
|
||||
⇒ 部署前先 `acr whoami` 確認身分。
|
||||
|
||||
驗過了 ⇒ `touch /tmp/.stage-verified` 後重送,並在回覆裡**貼 stage 的實測輸出**
|
||||
驗過了 ⇒ `bash "$CLAUDE_PLUGIN_ROOT/scripts/gate-ok" stage-verified` 後重送
|
||||
(等價:`touch /tmp/.stage-verified`),並在回覆裡**貼 stage 的實測輸出**
|
||||
(「我測過了」不算——貼指令與它吐出來的東西)。
|
||||
EOF
|
||||
exit 2
|
||||
|
||||
Executable
+88
@@ -0,0 +1,88 @@
|
||||
#!/usr/bin/env bash
|
||||
# scripts/gate-ok +「戳記真的打得開門」的迴歸測試(inkstone/ISEP#90 ④)
|
||||
#
|
||||
# ══ 這支守的是什麼 ═════════════════════════════════════════════════════
|
||||
# 三支閘(prod-write/main-and-prod-push/stage-before-prod)都是
|
||||
# 「擋下來,但**總管看過就可以放行**」的設計。既有的測試只驗了「擋得住」,
|
||||
# **一條都沒有驗過「放得開」**——於是 2026-08-28 才發現:
|
||||
# `stat -f %m` 在 GNU coreutils 上是「檔案系統資訊」,它一邊回非零一邊吐一整段文字,
|
||||
# 把接在後面的秒數污染掉 ⇒ **在 Linux(=每一個雲端 session)上,那三支閘的戳記
|
||||
# 永遠不會被接受** ⇒ 它們在雲端等於純擋,而閘不會告訴你門是壞的。
|
||||
#
|
||||
# 所以這支的第一優先是「門打得開」,第二優先是「門沒有因此變寬」。
|
||||
#
|
||||
# 🔴 這支會真的寫 /tmp 的戳記檔(那是閘寫死的路徑,沒有覆寫的開關)。
|
||||
# 每一條測完就把它刪掉;跑之前若有真的在等的戳記,會被這支洗掉——
|
||||
# 請不要在「已經蓋好戳記正要推東西」的當下跑它。
|
||||
set -u
|
||||
ROOT="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)" # hooks/
|
||||
REPO="$(cd "$ROOT/.." && pwd)"
|
||||
GATEOK="$REPO/scripts/gate-ok"
|
||||
TMP=$(mktemp -d); trap 'rm -rf "$TMP"; rm -f /tmp/.prod-write-ok /tmp/.main-push-ok /tmp/.stage-verified /tmp/.solo-ok-TESTSID' EXIT
|
||||
export GIT_CONFIG_GLOBAL="$TMP/gitconfig"; : > "$GIT_CONFIG_GLOBAL"
|
||||
export GIT_AUTHOR_NAME=t GIT_AUTHOR_EMAIL=t@t GIT_COMMITTER_NAME=t GIT_COMMITTER_EMAIL=t@t
|
||||
|
||||
PASS=0; FAIL=0
|
||||
ok(){ if [ "$2" = "$3" ]; then printf ' ✅ %s\n' "$1"; PASS=$((PASS+1));
|
||||
else printf ' ❌ %s —— 期望 %s,實得 %s\n' "$1" "$3" "$2"; FAIL=$((FAIL+1)); fi; }
|
||||
|
||||
mkrepo(){ d="$TMP/$1"; git init -q -b main "$d"; ( cd "$d" && echo a>a && git add a && git commit -qm x ) >/dev/null 2>&1; printf '%s\n' "$d"; }
|
||||
fire_prod(){ printf '{"tool_name":"Bash","tool_input":{"command":"acr push x.yaml"}}' \
|
||||
| bash "$ROOT/prod-write-guard.sh" >/dev/null 2>&1; echo $?; }
|
||||
fire_push(){ printf '{"tool_name":"Bash","tool_input":{"command":"git push origin main"}}' \
|
||||
| ( cd "$1" && bash "$ROOT/main-and-prod-push-guard.sh" >/dev/null 2>&1; echo $? ); }
|
||||
|
||||
rm -f /tmp/.prod-write-ok /tmp/.main-push-ok /tmp/.stage-verified
|
||||
|
||||
echo "── 最重要:門打得開(Linux 上 stat -f %m 那個 bug 的迴歸)──────"
|
||||
ok "① 沒戳記 → prod-write 擋" "$(fire_prod)" 2
|
||||
bash "$GATEOK" prod-write >/dev/null
|
||||
ok "② gate-ok prod-write 之後 → 放行" "$(fire_prod)" 0
|
||||
ok "③ 單次用完即丟:同一枚不能放行第二次" "$(fire_prod)" 2
|
||||
|
||||
R1=$(mkrepo r1); R2=$(mkrepo r2)
|
||||
ok "④ 沒戳記 → 推 main 擋" "$(fire_push "$R1")" 2
|
||||
bash "$GATEOK" main-push "$R1" >/dev/null
|
||||
ok "⑤ gate-ok main-push <repo> 之後 → 放行" "$(fire_push "$R1")" 0
|
||||
|
||||
echo "── 門沒有因此變寬 ────────────────────────────────────────────"
|
||||
bash "$GATEOK" main-push "$R1" >/dev/null
|
||||
ok "⑥ 替 r1 開的門,r2 走不過(綁 repo 沒鬆)" "$(fire_push "$R2")" 2
|
||||
rm -f /tmp/.main-push-ok
|
||||
# 過期的戳記不算數:把 mtime 調到 16 分鐘前
|
||||
bash "$GATEOK" prod-write >/dev/null
|
||||
touch -d '16 minutes ago' /tmp/.prod-write-ok 2>/dev/null || touch -A -001600 /tmp/.prod-write-ok 2>/dev/null
|
||||
ok "⑦ 16 分鐘前的戳記 → 過期,照樣擋" "$(fire_prod)" 2
|
||||
rm -f /tmp/.prod-write-ok
|
||||
# 空內容的 main-push 戳記=萬用鑰匙,08-12 那次穿透的形狀,不准復活
|
||||
: > /tmp/.main-push-ok
|
||||
ok "⑧ 空內容的 main-push 戳記 → 不算數" "$(fire_push "$R1")" 2
|
||||
rm -f /tmp/.main-push-ok
|
||||
|
||||
echo "── gate-ok 自己:不認得的就要拒絕,別蓋一枚打不開的戳記 ──────"
|
||||
bash "$GATEOK" nonsense >/dev/null 2>&1; ok "⑨ 不認得的閘名 → 離開碼 2" "$?" 2
|
||||
bash "$GATEOK" solo >/dev/null 2>&1; ok "⑩ solo 沒帶 session id → 離開碼 2" "$?" 2
|
||||
bash "$GATEOK" main-push "$TMP" >/dev/null 2>&1; ok "⑪ 不是 git repo → 離開碼 2" "$?" 2
|
||||
ok "⑫ 而且**沒有**留下一枚註定打不開的空戳記" "$([ -f /tmp/.main-push-ok ] && echo yes || echo no)" no
|
||||
bash "$GATEOK" solo TESTSID >/dev/null 2>&1
|
||||
ok "⑬ solo <sid> → 蓋出 /tmp/.solo-ok-<sid>" "$([ -f /tmp/.solo-ok-TESTSID ] && echo yes || echo no)" yes
|
||||
bash "$GATEOK" stage-verified >/dev/null 2>&1
|
||||
ok "⑭ stage-verified → 蓋出 /tmp/.stage-verified" "$([ -f /tmp/.stage-verified ] && echo yes || echo no)" yes
|
||||
|
||||
echo "── file_mtime 本身:兩個平台的寫法都要答得出純數字 ────────────"
|
||||
. "$ROOT/lib/mtime.sh"
|
||||
touch "$TMP/probe"
|
||||
M=$(file_mtime "$TMP/probe")
|
||||
case "$M" in ''|*[!0-9]*) R=bad ;; *) R=ok ;; esac
|
||||
ok "⑮ file_mtime 回純數字(舊寫法在 Linux 上會回一整段文字)" "$R" ok
|
||||
ok "⑯ 檔案不存在 → 回 0,不是空字串" "$(file_mtime "$TMP/nope")" 0
|
||||
# 🔴 ⑰ 守的是這個 bug 的最後一層:舊寫法的行為**取決於 cwd 裡有沒有一個叫 `%m` 的檔**
|
||||
# (GNU 的 -f 是布林旗標,`%m` 被當成另一個檔名運算元)。有 ⇒ exit 0 ⇒ `||` 連跑都不跑。
|
||||
# 一個行為取決於 cwd 有沒有某個檔的判斷式,不管跑不跑都是壞的。
|
||||
M2=$( cd "$TMP" && touch '%m' && file_mtime "$TMP/probe" )
|
||||
case "$M2" in ''|*[!0-9]*) R2=bad ;; *) R2=ok ;; esac
|
||||
ok "⑰ cwd 裡有一個叫 %m 的檔 → 仍要回純數字" "$R2" ok
|
||||
|
||||
echo
|
||||
printf '通過 %s 條,失敗 %s 條\n' "$PASS" "$FAIL"
|
||||
[ "$FAIL" = 0 ] || exit 1
|
||||
Executable
+117
@@ -0,0 +1,117 @@
|
||||
#!/usr/bin/env bash
|
||||
# isep-presence-beacon.sh 的迴歸測試(inkstone/ISEP#90 ②③)
|
||||
#
|
||||
# 信標的價值全在鑑別力,所以這支要同時證明兩件相反的事:
|
||||
# ① 該報的三件真的報得出來(版本落差/舊複本遮蔽正門/退役機制的殘骸)
|
||||
# ② **不管加多少報告,那行綠色信標永遠在**——它消失=leo 會判定這個 session 零閘。
|
||||
# 所以連 python 掛掉、網路不通、訊息裡有引號,都要還有一行合法 JSON。
|
||||
#
|
||||
# 🔴 全程離線(ISEP_BEACON_SKIP_NET=1,版本用 ISEP_FAKE_MAIN_VERSION 造),
|
||||
# 造假的 plugin root 與 project dir 都在 TMP 底下,不碰真 repo。
|
||||
set -u
|
||||
HOOK="${1:-$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)/isep-presence-beacon.sh}"
|
||||
REAL_HOOKS="$(cd "$(dirname "$HOOK")" && pwd)"
|
||||
TMP=$(mktemp -d); trap 'rm -rf "$TMP"' EXIT
|
||||
export ISEP_BEACON_SKIP_NET=1 ISEP_BEACON_CACHE_DIR="$TMP"
|
||||
|
||||
PASS=0; FAIL=0; N=0
|
||||
|
||||
# mkplugin <版本> → 造一份假的 plugin root(只放信標真的會讀的東西)
|
||||
mkplugin() {
|
||||
d="$TMP/plugin-$1"; mkdir -p "$d/.claude-plugin" "$d/hooks/lib" "$d/scripts"
|
||||
printf '{"name":"isep","version":"%s"}\n' "$1" > "$d/.claude-plugin/plugin.json"
|
||||
printf '{"hooks":{"Stop":[{"hooks":[{"command":"hooks/a.sh"},{"command":"hooks/b.sh"}]}]}}\n' \
|
||||
> "$d/hooks/hooks.json"
|
||||
cp "$HOOK" "$d/hooks/$(basename "$HOOK")"
|
||||
cp "$REAL_HOOKS/lib/beacon_report.py" "$d/hooks/lib/beacon_report.py"
|
||||
printf '#!/bin/sh\necho real\n' > "$d/scripts/ticket"
|
||||
printf '%s\n' "$d"
|
||||
}
|
||||
|
||||
# run <plugin root> <project dir> → 印出 systemMessage(JSON 壞掉就印 __BADJSON__)
|
||||
run() {
|
||||
CLAUDE_PLUGIN_ROOT="$1" CLAUDE_PROJECT_DIR="$2" bash "$1/hooks/$(basename "$HOOK")" 2>/dev/null \
|
||||
| python3 -c 'import json,sys
|
||||
try: print(json.load(sys.stdin)["systemMessage"])
|
||||
except Exception: print("__BADJSON__")'
|
||||
}
|
||||
|
||||
check() { # check <說明> <輸出> <該出現|!不該出現>...
|
||||
desc="$1"; out="$2"; shift 2; N=$((N+1)); ok=1; why=""
|
||||
for w in "$@"; do
|
||||
case "$w" in
|
||||
"!"*) if printf '%s' "$out" | grep -qF -- "${w#!}"; then ok=0; why="不該出現卻出現了:${w#!}"; fi ;;
|
||||
*) if ! printf '%s' "$out" | grep -qF -- "$w"; then ok=0; why="少了:$w"; fi ;;
|
||||
esac
|
||||
done
|
||||
if [ "$ok" = 1 ]; then printf ' ✅ %s\n' "$desc"; PASS=$((PASS+1))
|
||||
else printf ' ❌ %s —— %s\n' "$desc" "$why"; printf '%s\n' "$out" | sed 's/^/ /'; FAIL=$((FAIL+1)); fi
|
||||
}
|
||||
|
||||
echo "── 基本盤:那行綠色信標永遠在 ────────────────────────────────"
|
||||
P=$(mkplugin 0.9.0); J="$TMP/proj-clean"; mkdir -p "$J"
|
||||
out=$(run "$P" "$J")
|
||||
check "① 乾淨環境:只有一行信標,版本與閘數都在" "$out" \
|
||||
"🟢 ISEP v0.9.0 已載入" "2 支閘" "!🔴" "!🟡" "!__BADJSON__"
|
||||
|
||||
echo "── ①版本落差 ────────────────────────────────────────────────"
|
||||
out=$(ISEP_FAKE_MAIN_VERSION=0.9.0 run "$P" "$J")
|
||||
check "② 載入版=main 版 → 不吵" "$out" "🟢 ISEP v0.9.0" "!落後"
|
||||
P39=$(mkplugin 0.3.9)
|
||||
out=$(ISEP_FAKE_MAIN_VERSION=0.9.0 run "$P39" "$J")
|
||||
check "③ 載入 0.3.9、main 0.9.0 → 要說它落後(雲端那個現場)" "$out" \
|
||||
"🟢 ISEP v0.3.9 已載入" "落後 ISEP main" "0.9.0" "inkstone/ISEP#67"
|
||||
out=$(ISEP_FAKE_MAIN_VERSION=0.1.0 run "$P" "$J")
|
||||
check "④ 載入版比 main 新 → 說「沒發版」,不說「落後」" "$out" "比 ISEP main 新" "!落後 ISEP main"
|
||||
|
||||
echo "── ②舊複本遮蔽正門 ──────────────────────────────────────────"
|
||||
J2="$TMP/proj-shadow"; mkdir -p "$J2/scripts"
|
||||
printf '#!/bin/sh\necho OLD\n' > "$J2/scripts/ticket"
|
||||
out=$(run "$P" "$J2")
|
||||
check "⑤ 專案裡有內容不同的同名腳本 → 要點名(ticket 那件)" "$out" \
|
||||
"舊複本" "scripts/ticket"
|
||||
J3="$TMP/proj-same"; mkdir -p "$J3/scripts"; cp "$P/scripts/ticket" "$J3/scripts/ticket"
|
||||
out=$(run "$P" "$J3")
|
||||
check "⑥ 複本內容一模一樣(同步過的)→ 不吵" "$out" "!舊複本"
|
||||
J4="$TMP/proj-body"; mkdir -p "$J4/InkStoneCo/scripts"
|
||||
printf '#!/bin/sh\necho OLD\n' > "$J4/InkStoneCo/scripts/ticket"
|
||||
out=$(run "$P" "$J4")
|
||||
check "⑦ 雲端排法:複本在 \$TOP/InkStoneCo/ 底下也要抓到" "$out" \
|
||||
"舊複本" "InkStoneCo/scripts/ticket"
|
||||
|
||||
echo "── ③退役機制的殘骸 ──────────────────────────────────────────"
|
||||
J5="$TMP/proj-orphan"; mkdir -p "$J5/.claude/pending-verification" "$J5/.claude/hooks"
|
||||
out=$(run "$P" "$J5")
|
||||
check "⑧ plugin 的 hooks/scripts 完全沒提到的目錄 → 報殘骸" "$out" \
|
||||
"已退役機制的產物" ".claude/pending-verification"
|
||||
check "⑨ Claude Code 自己的目錄(hooks)不算殘骸" "$out" "!.claude/hooks"
|
||||
# 現行機制的產物不該被報:讓 plugin 的某支 hook 提到它
|
||||
mkdir -p "$J5/.claude/pending-main-push"
|
||||
printf '#!/bin/sh\n# 寫到 pending-main-push/\n' > "$P/hooks/x.sh"
|
||||
out=$(run "$P" "$J5")
|
||||
check "⑩ hooks 裡有東西提到它 → 那是現行機制的產物,不報" "$out" "!pending-main-push"
|
||||
# 🔴 這條守的是第一版真的犯過的 bug:內層迴圈的變數名跟外層的 `d` 撞,
|
||||
# 第二個名字之後全部被靜靜跳過 ⇒ 真的存在的殘骸一聲不吭地消失。
|
||||
mkdir -p "$J5/.claude/verified-claims"
|
||||
out=$(run "$P" "$J5")
|
||||
check "⑪ 同一個 .claude 底下有多個殘骸 → 每一個都要報(變數撞名的迴歸)" "$out" \
|
||||
".claude/pending-verification" ".claude/verified-claims"
|
||||
|
||||
echo "── 最重要:加了報告也不准讓信標消失 ──────────────────────────"
|
||||
# python 掛掉(把 report 換成一定會爆的內容)→ 仍要有一行合法 JSON 的信標
|
||||
PB=$(mkplugin 0.9.0); printf 'raise SystemExit(3)\n' > "$PB/hooks/lib/beacon_report.py"
|
||||
out=$(run "$PB" "$J")
|
||||
check "⑫ 組訊息的 python 整支掛掉 → 退回乾淨的那一行,不是沉默" "$out" \
|
||||
"🟢 ISEP v0.9.0 已載入" "!__BADJSON__"
|
||||
rm -f "$PB/hooks/lib/beacon_report.py"
|
||||
out=$(run "$PB" "$J")
|
||||
check "⑬ 連 report 檔都不見 → 一樣要有信標" "$out" "🟢 ISEP v0.9.0 已載入" "!__BADJSON__"
|
||||
# 訊息裡有引號/換行時 JSON 仍要合法(舊版是 printf 手拼的,這正是它會壞的地方)
|
||||
J6="$TMP/proj-quote"; mkdir -p "$J6/scripts"
|
||||
printf '#!/bin/sh\necho "OLD"\n' > "$J6/scripts/ticket"
|
||||
out=$(run "$P" "$J6")
|
||||
check "⑭ 報告內容含引號 → JSON 仍然合法" "$out" "🟢 ISEP" "!__BADJSON__"
|
||||
|
||||
echo
|
||||
printf '通過 %s 條,失敗 %s 條(共 %s 條)\n' "$PASS" "$FAIL" "$N"
|
||||
[ "$FAIL" = 0 ] || exit 1
|
||||
@@ -0,0 +1,220 @@
|
||||
#!/usr/bin/env bash
|
||||
# pr-verdict-guard.sh 的迴歸測試(inkstone/ISEP#81)
|
||||
#
|
||||
# 兩個方向都要有證據:
|
||||
# A 群「不該擋」——沒有 PR/有人指派/掛 Human/draft/不在 org/剛開出來/
|
||||
# 這回合動過/這回合指名過/已有 REQUEST_CHANGES/已被別的閘擋過/
|
||||
# merge 完分支已刪/fixture 壞掉
|
||||
# B 群「該擋」 ——沒人管的 open PR、放著不管一回合、merge 了但分支還在、
|
||||
# 以及**票上那三個躺了兩週的真跡**
|
||||
# C 群「訊息承諾的出路真的走得通」——擋完歸零門檻加倍、指派下去立刻閉嘴
|
||||
#
|
||||
# 🔴 全程離線(PR_VERDICT_FIXTURE),不打 Gitea、不留任何測試票/測試 PR。
|
||||
# 狀態檔走 PR_VERDICT_STATE_DIR,不碰 /tmp 的正式檔。
|
||||
#
|
||||
# 用法:hooks/tests/pr-verdict-guard.test.sh [hooks/pr-verdict-guard.sh 的路徑]
|
||||
set -u
|
||||
HOOK="${1:-$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)/pr-verdict-guard.sh}"
|
||||
TMP=$(mktemp -d)
|
||||
trap 'rm -rf "$TMP"' EXIT
|
||||
|
||||
PASS=0; FAIL=0; N=0
|
||||
NOW=$(date -u +%Y-%m-%dT%H:%M:%SZ)
|
||||
OLD="2026-08-13T04:34:01Z"
|
||||
|
||||
# fixture <檔名> <PR 規格...>
|
||||
# PR 規格:ref|updated|created|assignee|labels|draft
|
||||
mkfx() { python3 - "$@" <<'PY'
|
||||
import json, sys, os
|
||||
path, specs = sys.argv[1], sys.argv[2:]
|
||||
extra = {}
|
||||
if os.path.exists(path):
|
||||
extra = json.load(open(path))
|
||||
pulls = []
|
||||
for s in specs:
|
||||
ref, upd, crt, asg, lbl, draft = (s.split("|") + [""] * 6)[:6]
|
||||
full, num = ref.split("#")
|
||||
pulls.append({
|
||||
"number": int(num),
|
||||
"title": "測試 PR " + ref,
|
||||
"created_at": crt, "updated_at": upd,
|
||||
"repository": {"full_name": full, "id": 1},
|
||||
"assignees": [{"login": a} for a in asg.split(",") if a],
|
||||
"labels": [{"name": n} for n in lbl.split(",") if n],
|
||||
"pull_request": {"merged": False, "draft": draft == "draft",
|
||||
"html_url": "https://git.uncle6.me/%s/pulls/%s" % (full, num)},
|
||||
})
|
||||
extra["pulls"] = pulls
|
||||
json.dump(extra, open(path, "w"), ensure_ascii=False)
|
||||
PY
|
||||
}
|
||||
|
||||
# 加一筆「這個 PR 已經被 merge,head 分支叫 X」的細節,以及分支還在不在
|
||||
mkdetail() { python3 - "$@" <<'PY'
|
||||
import json, sys, os
|
||||
path, ref, branch, alive = sys.argv[1:5]
|
||||
d = json.load(open(path)) if os.path.exists(path) else {}
|
||||
full = ref.split("#")[0]
|
||||
d.setdefault("detail", {})[ref] = {
|
||||
"merged": True, "head": {"ref": branch, "repo": {"full_name": full}}}
|
||||
d.setdefault("branches", {})["%s:%s" % (full, branch)] = (alive == "alive")
|
||||
json.dump(d, open(path, "w"), ensure_ascii=False)
|
||||
PY
|
||||
}
|
||||
|
||||
mkreview() { python3 - "$@" <<'PY'
|
||||
import json, sys, os
|
||||
path, ref, state = sys.argv[1:4]
|
||||
d = json.load(open(path)) if os.path.exists(path) else {}
|
||||
d.setdefault("reviews", {})[ref] = [{"state": state}]
|
||||
json.dump(d, open(path, "w"), ensure_ascii=False)
|
||||
PY
|
||||
}
|
||||
|
||||
# 造一份「這一回合叫過這些工具、輸入長這樣」的 transcript
|
||||
mktranscript() { python3 - "$@" <<'PY'
|
||||
import json, sys
|
||||
path = sys.argv[1]
|
||||
with open(path, "w") as f:
|
||||
f.write(json.dumps({"type": "user",
|
||||
"message": {"content": [{"type": "text", "text": "繼續"}]}}) + "\n")
|
||||
blocks = [{"type": "tool_use", "name": "Bash", "id": "t",
|
||||
"input": {"command": c}} for c in sys.argv[2:]]
|
||||
f.write(json.dumps({"type": "assistant", "message": {"content": blocks}},
|
||||
ensure_ascii=False) + "\n")
|
||||
PY
|
||||
}
|
||||
|
||||
# fire <session> <fixture> <期望 exit> <說明> [transcript] [extra-json] [必須出現的字串]
|
||||
fire() {
|
||||
sid="$1"; fx="$2"; want="$3"; desc="$4"; tr="${5:-/nonexistent}"; extra="${6:-}"; must="${7:-}"
|
||||
N=$((N+1))
|
||||
payload=$(printf '{"session_id":"%s","transcript_path":"%s"%s}' "$sid" "$tr" "$extra")
|
||||
out=$(printf '%s' "$payload" | PR_VERDICT_FIXTURE="$fx" PR_VERDICT_STATE_DIR="$TMP" \
|
||||
CLAUDE_PROJECT_DIR="$TMP" bash "$HOOK" 2>&1 >/dev/null); rc=$?
|
||||
ok=1
|
||||
[ "$rc" -eq "$want" ] || ok=0
|
||||
if [ -n "$must" ] && ! printf '%s' "$out" | grep -qF "$must"; then ok=0; fi
|
||||
if [ "$ok" -eq 1 ]; then
|
||||
printf ' ✅ %s\n' "$desc"; PASS=$((PASS+1))
|
||||
else
|
||||
printf ' ❌ %s —— 期望 exit=%s%s,實得 exit=%s\n' "$desc" "$want" \
|
||||
"${must:+ 且訊息含「$must」}" "$rc"
|
||||
printf '%s\n' "$out" | sed -n '1,8p' | sed 's/^/ /'
|
||||
FAIL=$((FAIL+1))
|
||||
fi
|
||||
}
|
||||
|
||||
echo "── A 群:不該擋 ────────────────────────────────────────────"
|
||||
|
||||
FX="$TMP/empty.json"; mkfx "$FX"
|
||||
fire s-empty "$FX" 0 "① 一個 open PR 都沒有 ⇒ 放行"
|
||||
|
||||
FX="$TMP/assigned.json"; mkfx "$FX" "inkstone/Arcrun#104|$OLD|$OLD|Leo||"
|
||||
fire s-asg "$FX" 0 "② 有人被指派(棒子在他手上=在等,不是忘了)⇒ 不點名"
|
||||
|
||||
FX="$TMP/human.json"; mkfx "$FX" "inkstone/Arcrun#104|$OLD|$OLD||Human,p/high|"
|
||||
fire s-hum "$FX" 0 "③ 掛了 Human(等 leo 親手做)⇒ 不點名"
|
||||
|
||||
FX="$TMP/draft.json"; mkfx "$FX" "inkstone/Arcrun#104|$OLD|$OLD|||draft"
|
||||
fire s-drf "$FX" 0 "④ draft(作者自己說還沒好)⇒ 不點名"
|
||||
|
||||
FX="$TMP/otherorg.json"; mkfx "$FX" "Leo/Arcrun#104|$OLD|$OLD|||"
|
||||
fire s-org "$FX" 0 "⑤ 不在 inkstone org(舊 org 的鏡像)⇒ 不點名"
|
||||
|
||||
FX="$TMP/review.json"; mkfx "$FX" "inkstone/Arcrun#104|$OLD|$OLD|||"
|
||||
mkreview "$FX" "inkstone/Arcrun#104" "REQUEST_CHANGES"
|
||||
fire s-rev "$FX" 0 "⑥ 已經留了 REQUEST_CHANGES(結論給過了,球在對方腳下)⇒ 不點名"
|
||||
|
||||
FX="$TMP/active.json"; mkfx "$FX" "inkstone/Arcrun#104|$OLD|$OLD|||"
|
||||
fire s-act "$FX" 0 "⑦ stop_hook_active(已被別的 Stop 閘擋過)⇒ 不疊擋" \
|
||||
/nonexistent ',"stop_hook_active":true'
|
||||
|
||||
fire s-bad "$TMP/does-not-exist.json" 0 "⑧ fixture 讀不到 ⇒ 放行(Stop 閘不准把 session 鎖死)"
|
||||
|
||||
echo "── B 群:該擋 ──────────────────────────────────────────────"
|
||||
|
||||
# 票上那三個真跡(真實 ref、真實開票日)
|
||||
FX="$TMP/real.json"
|
||||
mkfx "$FX" \
|
||||
"inkstone/arcrun-rag#91|$OLD|$OLD|||" \
|
||||
"inkstone/Arcrun#116|2026-08-13T05:24:51Z|2026-08-13T05:24:51Z|||" \
|
||||
"inkstone/Arcrun#104|2026-08-12T08:51:06Z|2026-08-12T08:51:06Z|||"
|
||||
fire s-real "$FX" 2 "⑨ 真跡重演:三個躺了兩週的 PR ⇒ **擋下**" \
|
||||
/nonexistent '' 'inkstone/arcrun-rag#91'
|
||||
FX2="$TMP/real2.json"; cp "$FX" "$FX2"
|
||||
fire s-real2 "$FX2" 2 "⑩ 同上,訊息要點名 inkstone/Arcrun#116" \
|
||||
/nonexistent '' 'inkstone/Arcrun#116'
|
||||
FX3="$TMP/real3.json"; cp "$FX" "$FX3"
|
||||
fire s-real3 "$FX3" 2 "⑪ 同上,訊息要點名 inkstone/Arcrun#104" \
|
||||
/nonexistent '' 'inkstone/Arcrun#104'
|
||||
|
||||
echo "── C 群:驗收條件 1–3(開著不管 → 擋;merge → 放行;分支要不見)──"
|
||||
|
||||
# 驗收 1:一個新 PR 出現(不在它誕生那回合開罵),下一回合放著不管 ⇒ 擋
|
||||
FX="$TMP/ac.json"; mkfx "$FX"
|
||||
fire s-ac "$FX" 0 "⑫ 基準回合:目前沒有 PR"
|
||||
mkfx "$FX" "inkstone/ISEP#999|$NOW|$NOW|||"
|
||||
fire s-ac "$FX" 0 "⑬ PR 剛開出來(上一回合還不存在)⇒ 不在它誕生的回合開罵"
|
||||
fire s-ac "$FX" 2 "⑭ **驗收 1**:開著放著不管,收工 ⇒ 擋下,且點名它" \
|
||||
/nonexistent '' 'inkstone/ISEP#999'
|
||||
|
||||
# 驗收 2+3:merge 掉(PR 從 open 清單消失)且分支已刪 ⇒ 放行
|
||||
mkfx "$FX" # #999 從 open 清單消失
|
||||
mkdetail "$FX" "inkstone/ISEP#999" "feat/x" "gone"
|
||||
fire s-ac "$FX" 0 "⑮ **驗收 2+3**:merge 掉且分支已不存在 ⇒ 放行"
|
||||
|
||||
# 驗收 3 的反面:merge 了但分支還在 = 結論只給了一半 ⇒ 擋
|
||||
FX="$TMP/left.json"; mkfx "$FX" "inkstone/ISEP#998|$NOW|$NOW|||"
|
||||
fire s-left "$FX" 2 "⑯ 先讓 #998 進到快照(沒人管 ⇒ 擋一次)" \
|
||||
/nonexistent '' 'inkstone/ISEP#998'
|
||||
mkfx "$FX" # 消失了
|
||||
mkdetail "$FX" "inkstone/ISEP#998" "feat/y" "alive"
|
||||
fire s-left "$FX" 2 "⑰ **驗收 3**:merge 了但分支 feat/y 還在 ⇒ 擋下並點名分支" \
|
||||
/nonexistent '' 'feat/y'
|
||||
mkfx "$FX"; mkdetail "$FX" "inkstone/ISEP#998" "feat/y" "gone"
|
||||
fire s-left "$FX" 0 "⑱ 分支刪掉之後 ⇒ 放行(清單會自己清乾淨)"
|
||||
|
||||
echo "── D 群:這一回合碰過它就不點名(不讀任何一句話)──────────────"
|
||||
|
||||
FX="$TMP/touch.json"; mkfx "$FX" "inkstone/ISEP#997|$OLD|$OLD|||"
|
||||
fire s-t1 "$FX" 2 "⑲ 沒人管 ⇒ 擋一次(建立基準)"
|
||||
# updated_at 動了 = 外部系統的事實(留言/推 commit/改標籤都會動它)
|
||||
mkfx "$FX" "inkstone/ISEP#997|$NOW|$OLD|||"
|
||||
for i in 1 2 3 4 5; do
|
||||
fire s-t1 "$FX" 0 "⑳ updated_at 變了(這回合真的動過它)第 $i 次 ⇒ 不點名"
|
||||
mkfx "$FX" "inkstone/ISEP#997|$NOW-$i|$OLD|||"
|
||||
done
|
||||
|
||||
FX="$TMP/mention.json"; mkfx "$FX" "inkstone/ISEP#996|$OLD|$OLD|||"
|
||||
TR="$TMP/tr.jsonl"
|
||||
mktranscript "$TR" "python3 scripts/ticket say inkstone/ISEP#996 -F /tmp/x.md"
|
||||
fire s-t2 "$FX" 0 "㉑ 這回合的 tool call 指名了 inkstone/ISEP#996(結論寫在票上)⇒ 不點名" "$TR"
|
||||
for i in 1 2 3 4; do
|
||||
fire s-t2 "$FX" 0 "㉒ 同上第 $i 次——指名過就不該累積成擋下" "$TR"
|
||||
done
|
||||
mktranscript "$TR" "python3 scripts/ticket say inkstone/ISEP#111 -F /tmp/x.md"
|
||||
fire s-t2 "$FX" 2 "㉓ 換成指名**別的**票號 ⇒ 這個 PR 仍然沒被碰 ⇒ 擋"
|
||||
|
||||
echo "── E 群:響過就退讓(訊息裡承諾的出路真的存在)────────────────"
|
||||
|
||||
FX="$TMP/backoff.json"; mkfx "$FX" "inkstone/ISEP#995|$OLD|$OLD|||"
|
||||
fire s-bo "$FX" 2 "㉔ 第 1 次 ⇒ 擋(門檻 1)"
|
||||
for i in 1 2 3; do
|
||||
fire s-bo "$FX" 0 "㉕ 擋過之後第 $i 個回合——門檻已加倍(1→4),不該再響"
|
||||
done
|
||||
fire s-bo "$FX" 2 "㉖ 第 4 個回合 ⇒ 再擋一次(門檻 4)"
|
||||
for i in 1 2 3 4 5 6 7; do
|
||||
fire s-bo "$FX" 0 "㉗ 再擋過之後第 $i 個回合——門檻 4→8,不該響"
|
||||
done
|
||||
fire s-bo "$FX" 2 "㉘ 第 8 個回合 ⇒ 再擋(證明退讓是加倍不是無限)"
|
||||
|
||||
# 訊息說「把它指派給那個人,本閘立刻不再點名它」——這條出路要真的走得通
|
||||
mkfx "$FX" "inkstone/ISEP#995|$OLD|$OLD|claude-code||"
|
||||
for i in 1 2 3 4 5 6 7 8 9; do
|
||||
fire s-bo "$FX" 0 "㉙ 指派下去之後第 $i 個回合 ⇒ 永遠不再點名(訊息承諾的出路成立)"
|
||||
done
|
||||
|
||||
echo
|
||||
printf '結果:%s 通過 / %s 失敗(共 %s 條)\n' "$PASS" "$FAIL" "$N"
|
||||
[ "$FAIL" -eq 0 ] || exit 1
|
||||
Executable
+137
@@ -0,0 +1,137 @@
|
||||
#!/usr/bin/env bash
|
||||
# unpushed-police.sh 的迴歸測試(inkstone/ISEP#90)
|
||||
#
|
||||
# 這支存在的理由是一個**穩定重現**的誤報:雲端 session 開出來的工作分支
|
||||
# 天生沒有 upstream,內容卻等於遠端 main ⇒ 每個雲端 session、每次收工都被攔一次。
|
||||
# 2026-08-27 一個 session 攔五次,五次全是誤報。
|
||||
#
|
||||
# 兩個方向都要有證據,而且 **A 群(不該報)比 B 群更重要**:
|
||||
# 永遠在響的警報=訓練人忽略這個警報,下一條真的失蹤的分支會混在雜訊裡。
|
||||
#
|
||||
# 🔴 全程離線:用本機 bare repo 當「遠端」,`git ls-remote` 打的是檔案路徑。
|
||||
# 不碰任何真 repo、不打網路、不寫 /tmp 的正式快取(走 UNPUSHED_CACHE_DIR)。
|
||||
set -u
|
||||
HOOK="${1:-$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)/unpushed-police.sh}"
|
||||
TMP=$(mktemp -d)
|
||||
trap 'rm -rf "$TMP"' EXIT
|
||||
export GIT_CONFIG_GLOBAL="$TMP/gitconfig"; : > "$GIT_CONFIG_GLOBAL"
|
||||
export GIT_AUTHOR_NAME=t GIT_AUTHOR_EMAIL=t@t GIT_COMMITTER_NAME=t GIT_COMMITTER_EMAIL=t@t
|
||||
|
||||
PASS=0; FAIL=0; N=0
|
||||
|
||||
# mk <名字> → 造一個「遠端 bare + 本機 clone」的場,印出本機 repo 路徑
|
||||
mk() {
|
||||
d="$TMP/$1"; mkdir -p "$d"
|
||||
git init -q --bare "$d/remote.git"
|
||||
git init -q -b main "$d/work"
|
||||
( cd "$d/work"
|
||||
echo a > a.txt; git add a.txt; git commit -qm first
|
||||
git remote add origin "$d/remote.git"
|
||||
git push -q origin main
|
||||
git branch --unset-upstream 2>/dev/null || true ) >/dev/null 2>&1
|
||||
printf '%s\n' "$d/work"
|
||||
}
|
||||
|
||||
# fire <repo> <期望 exit> <說明> [期望訊息片段]
|
||||
fire() {
|
||||
repo="$1"; want="$2"; desc="$3"; want_msg="${4:-}"
|
||||
N=$((N+1))
|
||||
out=$(printf '{}' | CLAUDE_PROJECT_DIR="$repo" UNPUSHED_CACHE_DIR="$TMP/cache-$N" \
|
||||
bash "$HOOK" 2>&1); rc=$?
|
||||
mkdir -p "$TMP/cache-$N" 2>/dev/null
|
||||
ok=1
|
||||
[ "$rc" -eq "$want" ] || ok=0
|
||||
if [ -n "$want_msg" ] && ! printf '%s' "$out" | grep -qF "$want_msg"; then ok=0; fi
|
||||
if [ "$ok" = 1 ]; then
|
||||
printf ' ✅ %s\n' "$desc"; PASS=$((PASS+1))
|
||||
else
|
||||
printf ' ❌ %s —— 期望 exit=%s%s,實得 exit=%s\n' "$desc" "$want" \
|
||||
"${want_msg:+ 且訊息含「$want_msg」}" "$rc"
|
||||
printf '%s\n' "$out" | sed -n '1,14p' | sed 's/^/ /'
|
||||
FAIL=$((FAIL+1))
|
||||
fi
|
||||
}
|
||||
# 每個案例先把快取目錄準備好(fire 用的是自己那一格,互不污染)
|
||||
for i in $(seq 1 40); do mkdir -p "$TMP/cache-$i"; done
|
||||
|
||||
echo "── A 群:不該報(誤攔比漏擋更該修)──────────────────────────"
|
||||
|
||||
# ① 這就是雲端那個現場:分支沒有 upstream,但它那顆 commit 就是遠端 main 那顆
|
||||
r=$(mk cloud)
|
||||
( cd "$r" && git checkout -q -b claude/session-xyz && git branch -D main -q 2>/dev/null
|
||||
git remote set-head origin -d 2>/dev/null; git update-ref -d refs/remotes/origin/main ) >/dev/null 2>&1
|
||||
fire "$r" 0 "① 沒 upstream,但遠端就有這顆 commit(雲端每個 session 的現場)"
|
||||
|
||||
# ② HEAD 是遠端 main 的**祖先**(遠端已經走在前面)——同樣不是「沒推」
|
||||
r=$(mk ancestor)
|
||||
( cd "$r"
|
||||
echo b > b.txt && git add b.txt && git commit -qm second && git push -q origin main
|
||||
git checkout -q -b work HEAD~1
|
||||
git update-ref -d refs/remotes/origin/main ) >/dev/null 2>&1
|
||||
fire "$r" 0 "② HEAD 是遠端 main 的祖先 → 遠端已經有它"
|
||||
|
||||
# ③ 本機的 remote-tracking ref **過期**(08-28 實測落後遠端 4 天的那一格)
|
||||
r=$(mk stale)
|
||||
( cd "$r"
|
||||
old=$(git rev-parse HEAD)
|
||||
echo b > b.txt && git add b.txt && git commit -qm second && git push -q origin main
|
||||
git update-ref refs/remotes/origin/main "$old" # 本機那份停在舊的
|
||||
git checkout -q -b claude/session-abc ) >/dev/null 2>&1
|
||||
fire "$r" 0 "③ 本機 origin/main 過期,但遠端真的有這顆 → 不報"
|
||||
|
||||
# ④ 完全問不到遠端(沒有任何 remote)→ **不當成沒推**
|
||||
r="$TMP/noremote"; git init -q -b main "$r"
|
||||
( cd "$r" && echo a > a.txt && git add a.txt && git commit -qm only ) >/dev/null 2>&1
|
||||
fire "$r" 0 "④ 沒有任何 remote=問不到 → 不報(不拿離線當罪證)"
|
||||
|
||||
# ⑤ 基準過期時,已經在遠端 main 上的分支不算散落
|
||||
r=$(mk straystale)
|
||||
( cd "$r"
|
||||
old=$(git rev-parse HEAD)
|
||||
git checkout -q -b feat/done
|
||||
echo b > b.txt && git add b.txt && git commit -qm done
|
||||
git push -q origin feat/done:main # 遠端 main 已經含它
|
||||
git update-ref refs/remotes/origin/main "$old" ) >/dev/null 2>&1
|
||||
fire "$r" 0 "⑤ 分支已在遠端 main 上,只是本機基準舊 → 不算散落"
|
||||
|
||||
# ⑥ stop_hook_active → 一律放行
|
||||
r=$(mk stopactive)
|
||||
( cd "$r" && echo x >> a.txt ) >/dev/null 2>&1
|
||||
N=$((N+1))
|
||||
out=$(printf '{"stop_hook_active":true}' | CLAUDE_PROJECT_DIR="$r" \
|
||||
UNPUSHED_CACHE_DIR="$TMP/cache-$N" bash "$HOOK" 2>&1); rc=$?
|
||||
if [ "$rc" -eq 0 ]; then printf ' ✅ %s\n' "⑥ stop_hook_active=true → 放行"; PASS=$((PASS+1))
|
||||
else printf ' ❌ %s(exit=%s)\n' "⑥ stop_hook_active=true → 放行" "$rc"; FAIL=$((FAIL+1)); fi
|
||||
|
||||
echo "── B 群:該報(不能為了不吵就變成放行)────────────────────"
|
||||
|
||||
# ⑦ 真的有遠端沒有的 commit = 真的沒推
|
||||
r=$(mk unpushed)
|
||||
( cd "$r"
|
||||
git checkout -q -b feat/real
|
||||
echo b > b.txt && git add b.txt && git commit -qm "沒推的那筆" ) >/dev/null 2>&1
|
||||
fire "$r" 2 "⑦ 分支有遠端沒有的 commit → 要報" "從未推過"
|
||||
|
||||
# ⑧ 有改動沒 commit
|
||||
r=$(mk dirty)
|
||||
( cd "$r" && echo more >> a.txt ) >/dev/null 2>&1
|
||||
fire "$r" 2 "⑧ 工作區有未 commit 的改動 → 要報" "未 commit"
|
||||
|
||||
# ⑨ 散落分支:本地分支有遠端 main 沒有的東西
|
||||
r=$(mk stray)
|
||||
( cd "$r"
|
||||
git checkout -q -b feat/lost
|
||||
echo c > c.txt && git add c.txt && git commit -qm "躺著的那筆"
|
||||
git checkout -q main ) >/dev/null 2>&1
|
||||
fire "$r" 2 "⑨ 有分支沒併回、遠端也沒有 → 要報散落" "feat/lost"
|
||||
|
||||
# ⑩ 判準沒有滑回「有沒有 upstream」:有 upstream 但真的領先,照樣要報
|
||||
r=$(mk ahead)
|
||||
( cd "$r"
|
||||
git branch --set-upstream-to=origin/main main
|
||||
echo b > b.txt && git add b.txt && git commit -qm "領先一筆" ) >/dev/null 2>&1
|
||||
fire "$r" 2 "⑩ 有 upstream 且真的領先 → 照樣要報" "領先"
|
||||
|
||||
echo
|
||||
printf '通過 %s 條,失敗 %s 條(共 %s 條)\n' "$PASS" "$FAIL" "$N"
|
||||
[ "$FAIL" = 0 ] || exit 1
|
||||
+152
-7
@@ -35,10 +35,119 @@ except Exception: print(False)
|
||||
' 2>/dev/null)"
|
||||
[ "$stop_active" = "True" ] && exit 0
|
||||
|
||||
# ══════════════════════════════════════════════════════════════════════
|
||||
# 「遠端到底有沒有這顆 commit」——本檔唯一的判準(inkstone/ISEP#90,2026-08-28)
|
||||
# ══════════════════════════════════════════════════════════════════════
|
||||
#
|
||||
# 🔴 舊判準是「這條分支有沒有 upstream」,而**雲端 session 開出來的工作分支
|
||||
# 天生就沒有 upstream**,內容卻等於遠端 main:
|
||||
#
|
||||
# 薄殼 HEAD = 081c547d90dc2d80692485af083ca1f71f2094f2
|
||||
# GitHub 遠端 main = 081c547d90dc2d80692485af083ca1f71f2094f2 ← 同一顆
|
||||
#
|
||||
# ⇒ 每個雲端 session、每次收工都被攔一次。2026-08-27 一個 session 攔五次,
|
||||
# **五次全是誤報**。而永遠在響的警報=訓練人忽略這個警報
|
||||
# (本檔第 ③ 段自己在 08-12 就寫過這句,這次是同一個病長在別的判準上)。
|
||||
#
|
||||
# 🔴 也不能改成「本機的 remote-tracking ref 有沒有含它」的變體:
|
||||
# 那份 ref 會過期——08-28 實測本 session 的 `origin/main` 落後遠端整整 4 天。
|
||||
# 本機只答得準「有」,答不準「沒有」⇒ 答「沒有」的時候要去問遠端。
|
||||
#
|
||||
# 三態,不是兩態:0=遠端有 1=遠端沒有 2=問不到(沒 remote/網路不通/沒權限)。
|
||||
# **2 一律不報。** 誤攔比漏擋更該修(leo 2026-08-17:文字層那些閘 8 次誤攔、
|
||||
# 0 次正確攔截)——把「離線」當成「你沒推」,就是拿雜訊懲罰謹慎。
|
||||
|
||||
# 🔴 戳記的 mtime 一律走 lib/mtime.sh:舊寫法(`stat -f %m || stat -c %Y`)在 Linux 上
|
||||
# **永遠算不出數字**(GNU 的 `-f` 是「檔案系統資訊」,它一邊回非零一邊吐一整段文字,
|
||||
# 於是後面接上的秒數被那段垃圾污染)⇒ 這支閘給總管的逃生口在雲端整個焊死,
|
||||
# 而閘不會告訴他門是壞的(inkstone/ISEP#90 ④,全文見 hooks/lib/mtime.sh)。
|
||||
# lib 不在時就地補一份同順序的定義——這道門不能因為少一個檔案就再關上一次。
|
||||
. "$(dirname "$0")/lib/mtime.sh" 2>/dev/null || file_mtime() {
|
||||
_fm=$(stat -c %Y "$1" 2>/dev/null || true)
|
||||
case "${_fm:-}" in ''|*[!0-9]*) _fm=$(stat -f %m "$1" 2>/dev/null || true) ;; esac
|
||||
case "${_fm:-}" in ''|*[!0-9]*) _fm=0 ;; esac
|
||||
printf '%s' "$_fm"
|
||||
}
|
||||
|
||||
GIT_ASK="env GIT_TERMINAL_PROMPT=0 GIT_ASKPASS=/bin/echo GIT_SSH_COMMAND=ssh\ -oBatchMode=yes"
|
||||
_TO=""
|
||||
command -v timeout >/dev/null 2>&1 && _TO="timeout 15"
|
||||
command -v gtimeout >/dev/null 2>&1 && _TO="gtimeout 15"
|
||||
|
||||
# ls_remote_heads <repo> <remote> → 印出「<sha> <ref>」數行;問不到就印空、離開碼 1
|
||||
# 快取 120 秒:Stop hook 每個回合都跑,同一個遠端不必每回合都打一次網路。
|
||||
ls_remote_heads() {
|
||||
_lr_repo="$1"; _lr_rm="$2"
|
||||
_lr_key="$(printf '%s|%s' "$_lr_repo" "$_lr_rm" | cksum | tr -d ' /')"
|
||||
# 快取位置可被 UNPUSHED_CACHE_DIR 覆寫——測試要能造「同一個 repo、遠端變了」的場,
|
||||
# 不能被上一個案例的快取餵到舊答案(那會是假綠)。
|
||||
_lr_cache="${UNPUSHED_CACHE_DIR:-/tmp}/.unpushed-lsremote-$_lr_key"
|
||||
if [ -f "$_lr_cache" ]; then
|
||||
_lr_now=$(date +%s 2>/dev/null || echo 0)
|
||||
_lr_mt=$(file_mtime "$_lr_cache")
|
||||
case "$_lr_now$_lr_mt" in *[!0-9]*) _lr_mt=0 ;; esac
|
||||
if [ "$_lr_mt" -gt 0 ] && [ $((_lr_now - _lr_mt)) -lt 120 ]; then
|
||||
[ -s "$_lr_cache" ] || return 1
|
||||
cat "$_lr_cache"; return 0
|
||||
fi
|
||||
fi
|
||||
if _lr_out="$($_TO $GIT_ASK git -C "$_lr_repo" ls-remote --heads "$_lr_rm" 2>/dev/null)" \
|
||||
&& [ -n "$_lr_out" ]; then
|
||||
printf '%s\n' "$_lr_out" > "$_lr_cache" 2>/dev/null || true
|
||||
printf '%s\n' "$_lr_out"
|
||||
return 0
|
||||
fi
|
||||
: > "$_lr_cache" 2>/dev/null || true # 記「這次問不到」,免得每回合都等一次 timeout
|
||||
return 1
|
||||
}
|
||||
|
||||
# remote_has_commit <repo> <sha> → 0 遠端有/1 遠端沒有/2 問不到
|
||||
remote_has_commit() {
|
||||
_rh_repo="$1"; _rh_sha="$2"
|
||||
[ -n "$_rh_sha" ] || return 2
|
||||
# ① 本機就答得出「有」:任何 remote-tracking ref 含這顆 ⇒ 一定推過,不必打網路
|
||||
if [ -n "$(git -C "$_rh_repo" branch -r --contains "$_rh_sha" 2>/dev/null | head -1)" ]; then
|
||||
return 0
|
||||
fi
|
||||
_rh_asked=0
|
||||
for _rh_rm in $(git -C "$_rh_repo" remote 2>/dev/null); do
|
||||
_rh_ls="$(ls_remote_heads "$_rh_repo" "$_rh_rm")" || continue
|
||||
_rh_asked=1
|
||||
# 遠端某條 head 就是這顆 ⇒ 推過(雲端那個誤報正是落在這一格)
|
||||
printf '%s\n' "$_rh_ls" | awk '{print $1}' | grep -qx "$_rh_sha" && return 0
|
||||
# 遠端那顆本機也有時,才問得出祖先關係(本機沒有就只能靠上面的等值比對)
|
||||
printf '%s\n' "$_rh_ls" | while read -r _rh_rsha _; do
|
||||
[ -n "$_rh_rsha" ] || continue
|
||||
git -C "$_rh_repo" cat-file -e "${_rh_rsha}^{commit}" 2>/dev/null || continue
|
||||
git -C "$_rh_repo" merge-base --is-ancestor "$_rh_sha" "$_rh_rsha" 2>/dev/null && exit 7
|
||||
done
|
||||
[ $? = 7 ] && return 0
|
||||
done
|
||||
[ "$_rh_asked" = 1 ] && return 1
|
||||
return 2
|
||||
}
|
||||
|
||||
# remote_sha_of <repo> <遠端名> <分支名> → 印出遠端那顆 sha(拿不到印空)
|
||||
remote_sha_of() {
|
||||
ls_remote_heads "$1" "$2" 2>/dev/null \
|
||||
| awk -v b="refs/heads/$3" '$2 == b { print $1; exit }'
|
||||
}
|
||||
|
||||
TOP="${CLAUDE_PROJECT_DIR:-$(cd "$(dirname "$0")/../.." && pwd)}"
|
||||
|
||||
# 掃描對象:頂層 + 各子 repo(存在才掃)。worktree 一併涵蓋(git -C 會自己解)。
|
||||
REPOS="$TOP $TOP/matrix/arcrun $TOP/products/arcrun-rag $TOP/polaris/mira"
|
||||
#
|
||||
# 🔴 2026-08-28(inkstone/ISEP#90)補雲端那一格:雲端的 `$CLAUDE_PROJECT_DIR`
|
||||
# 是**薄殼根**,真身被 bootstrap.sh clone 到 `$TOP/InkStoneCo/`,子 repo 在
|
||||
# `$TOP/InkStoneCo/matrix/arcrun` …。舊清單只認地端那種「頂層就是真身」的排法
|
||||
# ⇒ **雲端上真身有東西沒推,本閘一輩子不會知道**(它掃的四個路徑一個都不存在)。
|
||||
# ⇒ 這跟 ① 的誤攔是同一個病的兩面:在雲端,這支閘既亂叫、又看不到該看的地方。
|
||||
REPOS=""
|
||||
for _body in "$TOP" "$TOP/InkStoneCo"; do
|
||||
[ -d "$_body/.git" ] || [ -f "$_body/.git" ] || continue
|
||||
REPOS="$REPOS $_body $_body/matrix/arcrun $_body/products/arcrun-rag $_body/polaris/mira"
|
||||
done
|
||||
[ -n "$REPOS" ] || REPOS="$TOP"
|
||||
|
||||
problems=""
|
||||
for r in $REPOS; do
|
||||
@@ -50,17 +159,33 @@ for r in $REPOS; do
|
||||
staged="$(git -C "$r" diff --cached --shortstat 2>/dev/null | head -1)"
|
||||
|
||||
# ② 已 commit 但沒推(**當前分支**)
|
||||
#
|
||||
unknown=""
|
||||
# 🔴 判準是「遠端有沒有這顆 commit」,不是「有沒有 upstream」(ISEP#90,見檔頭那段)。
|
||||
# 有 upstream 時仍照原本的算法報「領先幾筆」——那個數字有用;
|
||||
# 沒 upstream 時去問遠端,問不到就**不報**。
|
||||
unpushed=""
|
||||
br="$(git -C "$r" branch --show-current 2>/dev/null)"
|
||||
if [ -n "$br" ]; then
|
||||
head_sha="$(git -C "$r" rev-parse HEAD 2>/dev/null || true)"
|
||||
up="$(git -C "$r" rev-parse --abbrev-ref "@{upstream}" 2>/dev/null || true)"
|
||||
if [ -n "$up" ]; then
|
||||
n="$(git -C "$r" rev-list --count "$up".."$br" 2>/dev/null || echo 0)"
|
||||
[ "$n" != "0" ] && unpushed="領先 $up $n 筆"
|
||||
if [ "$n" != "0" ]; then
|
||||
# upstream 本身可能過期(本機那份 ref 落後遠端 4 天是實測過的)
|
||||
# ⇒ 先問遠端;遠端已經有這顆就不是「沒推」。
|
||||
remote_has_commit "$r" "$head_sha"
|
||||
[ "$?" = 0 ] || unpushed="領先 $up $n 筆"
|
||||
fi
|
||||
else
|
||||
# 沒 upstream=這條分支從來沒推過(今天 fix/cis-round3-install 就是這樣)
|
||||
has_commits="$(git -C "$r" rev-list --count HEAD 2>/dev/null || echo 0)"
|
||||
[ "$has_commits" != "0" ] && unpushed="分支 $br **從未推過**(無 upstream)"
|
||||
remote_has_commit "$r" "$head_sha"
|
||||
case "$?" in
|
||||
1) unpushed="分支 $br **從未推過**(遠端沒有 $(printf '%.7s' "$head_sha"))" ;;
|
||||
# 0=遠端有這顆(雲端 session 的工作分支就是這種)→ 不報
|
||||
# 2=問不到遠端 → 不報,但這件事本身值得知道,收在下面當脈絡
|
||||
2) [ -n "$(git -C "$r" rev-list --count HEAD 2>/dev/null)" ] \
|
||||
&& unknown="分支 $br 問不到遠端(沒有 remote/網路不通)——**不當成沒推**" ;;
|
||||
esac
|
||||
fi
|
||||
fi
|
||||
|
||||
@@ -79,9 +204,27 @@ for r in $REPOS; do
|
||||
# **這正是同一晚重複八次的那個病:檢查跑了,但檢查的對象是錯的。**
|
||||
# ⇒ 基準改成「整合分支」:gitea/main > origin/main > main > 當前分支。
|
||||
base="$br"
|
||||
base_label=""
|
||||
for cand in gitea/main origin/main main; do
|
||||
if git -C "$r" rev-parse --verify -q "$cand" >/dev/null 2>&1; then base="$cand"; break; fi
|
||||
done
|
||||
base_label="$base"
|
||||
# 🔴 2026-08-28(inkstone/ISEP#90):**基準的 ref 也會過期。**
|
||||
# 08-28 實測:本機 `origin/main` 落後遠端整整 4 天 ⇒ 拿它當基準,
|
||||
# 「已經在遠端 main 上」的分支會被整批報成散落——包括**雲端 session 自己
|
||||
# 那條工作分支**(它的內容就等於遠端 main)。
|
||||
# 08-15 那次訂正的是「基準挑錯了分支」,這次是「基準挑對了但那份是舊的」:
|
||||
# 同一個病的第三面——檢查跑了,但檢查的對象是舊的。
|
||||
# ⇒ 問一次遠端;拿得到、而且本機真的有那顆 commit(不然算不了祖先),才換過去。
|
||||
case "$base_label" in
|
||||
*/*) _base_rm="${base_label%%/*}"; _base_br="${base_label#*/}" ;;
|
||||
*) _base_rm="origin"; _base_br="$base_label" ;;
|
||||
esac
|
||||
_base_fresh="$(remote_sha_of "$r" "$_base_rm" "$_base_br")"
|
||||
if [ -n "$_base_fresh" ] && git -C "$r" cat-file -e "${_base_fresh}^{commit}" 2>/dev/null; then
|
||||
base="$_base_fresh"
|
||||
base_label="$_base_rm/$_base_br(遠端實際那顆 $(printf '%.7s' "$_base_fresh"))"
|
||||
fi
|
||||
if [ -n "$base" ]; then
|
||||
for b in $(git -C "$r" for-each-ref --format='%(refname:short)' refs/heads/ 2>/dev/null); do
|
||||
[ "$b" = "$base" ] && continue
|
||||
@@ -111,7 +254,7 @@ for r in $REPOS; do
|
||||
age="$(git -C "$r" log -1 --format='%ad' --date=format:'%m-%d' "$b" 2>/dev/null)"
|
||||
# 用真實換行累積,不用 \n 逃脫——否則後面的 printf '%b' 會把分支名再解讀一次
|
||||
stray="$stray
|
||||
- $b:$cnt 筆未併入 $base(最後動 $age)"
|
||||
- $b:$cnt 筆未併入 $base_label(最後動 $age)"
|
||||
done
|
||||
fi
|
||||
|
||||
@@ -123,10 +266,12 @@ for r in $REPOS; do
|
||||
[ -n "$unpushed" ] && line="$line
|
||||
· $unpushed"
|
||||
[ -n "$stray" ] && line="$line
|
||||
· 🔀 **散落分支**(有 commit 沒併回 $br):$stray"
|
||||
· 🔀 **散落分支**(有 commit 沒併回 $base_label):$stray"
|
||||
# 刻意保留的分支**不會自己觸發警報**(那正是加它的目的),
|
||||
# 但這個 repo 若本來就有別的問題要報,就順便把它列出來當脈絡——
|
||||
# 免得「保留」變成另一種看不見。
|
||||
[ -n "$line" ] && [ -n "$unknown" ] && line="$line
|
||||
· ❔ $unknown"
|
||||
[ -n "$line" ] && [ -n "$held" ] && line="$line
|
||||
· ⏸️ 刻意保留(不觸發警報,理由在 .claude/branch-holds.md):$held"
|
||||
[ -n "$line" ] && problems="$problems
|
||||
|
||||
Executable
+113
@@ -0,0 +1,113 @@
|
||||
#!/usr/bin/env bash
|
||||
# gate-ok — 各道閘「總管看過了,放行下一個動作」的**單一入口**(inkstone/ISEP#90 ④)
|
||||
#
|
||||
# ══ 為什麼要有這支 ═════════════════════════════════════════════════════
|
||||
#
|
||||
# 這些閘每一支都留了一道給總管的門,而每一道門長得都不一樣:
|
||||
# touch /tmp/.prod-write-ok
|
||||
# git rev-parse --show-toplevel > /tmp/.main-push-ok
|
||||
# touch /tmp/.stage-verified
|
||||
# touch /tmp/.solo-ok-<session_id>
|
||||
# …
|
||||
# 兩個後果:
|
||||
# ① **記不住**。門的形狀藏在被擋下的那則訊息裡,每支都不同,
|
||||
# 而且有兩支還帶參數(綁 repo、綁 session)——照著抄錯一個字,門就打不開。
|
||||
# ② **放行不了**。逃生口是「一條臨時湊出來的 Bash 指令」,
|
||||
# 而臨時湊出來的指令**沒有穩定的形狀可以事先放行**:
|
||||
# `.claude/settings.json` 的 allow 只能逐條寫死
|
||||
# (現場真的就寫著 `Bash(touch /tmp/.prod-write-ok)` 這種完全比對的一行),
|
||||
# 多一個 `&&`、換一個檔名、加一個 session id,就落在那條規則之外。
|
||||
# 2026-08-28(inkstone/InkStoneCo#99)總管在雲端連續四次沒能把
|
||||
# prod-write 的戳記蓋出去 ⇒ **閘留了一道給總管的門,而那道門打不開**
|
||||
# ⇒ 任何「擋下來、但總管可以放行」的閘,在那個環境裡等於「純擋」。
|
||||
#
|
||||
# ⇒ 這支把所有逃生口收斂成**一個名字、一種形狀**:
|
||||
# bash "$CLAUDE_PLUGIN_ROOT/scripts/gate-ok" <閘名> [參數]
|
||||
# 一條前綴規則就涵蓋全部,而且以後新增閘不必再動一次設定。
|
||||
#
|
||||
# 🔴 這支**不會弱化任何一道閘**:它蓋的戳記跟閘原本認的是同一個檔、同一種語意
|
||||
# (單次用完即丟、綁 repo、綁 session、有效期都不變)。它換掉的只有「怎麼蓋」。
|
||||
# 🔴 也**不是給 subagent 用的**:閘擋的是無心不是惡意(見 main-and-prod-push-guard
|
||||
# 第 76 行)。subagent 照樣造得出戳記,但它得刻意繞過一段明講「不要這樣做」的訊息。
|
||||
set -eu
|
||||
|
||||
usage() {
|
||||
cat <<'USAGE'
|
||||
用法:gate-ok <閘名> [參數]
|
||||
|
||||
prod-write 改到線上實例(prod-write-guard)——放行下一個動作,用完即消失
|
||||
main-push [repo 路徑] 推 gitea main(main-and-prod-push-guard)——綁 repo,預設是 cwd
|
||||
stage-verified stage 真的驗過了(stage-before-prod-guard)——記得在回覆貼實測輸出
|
||||
solo <session_id> 這件事真的該自己做(subagent-first-guard)——回覆裡要寫理由
|
||||
dispatch <session_id> 派工單真的有例外(dispatch-format-guard)
|
||||
ask <session_id> 這題真的是人閘(ask-user-question-guard)
|
||||
kbdb-down KBDB 真的連不上(history-first-guard)——回覆裡要說明
|
||||
|
||||
--list 列出目前存在的戳記
|
||||
|
||||
🔴 每一枚戳記都是**留痕**:它會出現在指令歷史上,而且多數是單次用完即丟。
|
||||
蓋之前先確定你真的看過那個動作會改到什麼;蓋完在回覆裡寫一句為什麼。
|
||||
USAGE
|
||||
}
|
||||
|
||||
stamp() { # stamp <檔> <說明> [內容]
|
||||
if [ $# -ge 3 ]; then printf '%s\n' "$3" > "$1"; else : >> "$1"; touch "$1"; fi
|
||||
printf '✅ 已蓋戳記:%s\n %s\n' "$1" "$2"
|
||||
}
|
||||
|
||||
[ $# -ge 1 ] || { usage; exit 2; }
|
||||
|
||||
case "$1" in
|
||||
-h|--help|help) usage; exit 0 ;;
|
||||
--list)
|
||||
printf '目前存在的戳記:\n'
|
||||
ls -la /tmp/.prod-write-ok /tmp/.main-push-ok /tmp/.stage-verified \
|
||||
/tmp/.kbdb-down /tmp/.solo-ok-* /tmp/.dispatch-ok-* /tmp/.ask-ok-* 2>/dev/null \
|
||||
|| printf '(一枚都沒有)\n'
|
||||
exit 0 ;;
|
||||
esac
|
||||
|
||||
GATE="$1"; shift || true
|
||||
|
||||
case "$GATE" in
|
||||
prod-write)
|
||||
stamp /tmp/.prod-write-ok "只放行**下一個**會改到線上那台的動作,用完即消失(15 分鐘失效)" ;;
|
||||
|
||||
main-push)
|
||||
# 綁 repo:戳記內容要是那個 repo 的 toplevel,閘會拿它跟「push 的目標 repo」比對。
|
||||
# 🔴 解不出 repo 時**寧可失敗也不蓋空的**——閘明文寫著空內容不算數
|
||||
# (08-12 那次穿透就是空檔案變成萬用鑰匙),蓋一個註定打不開的戳記
|
||||
# 只會讓人以為門開了。
|
||||
D="${1:-$(pwd)}"
|
||||
TOP="$(git -C "$D" rev-parse --show-toplevel 2>/dev/null || true)"
|
||||
if [ -z "$TOP" ]; then
|
||||
printf '❌ %s 不在任何 git repo 裡,解不出要放行哪個 repo。\n' "$D" >&2
|
||||
printf ' 用法:gate-ok main-push <那個 repo 的路徑>\n' >&2
|
||||
exit 2
|
||||
fi
|
||||
stamp /tmp/.main-push-ok "只放行推 $TOP 的 main,單次、15 分鐘失效" "$TOP" ;;
|
||||
|
||||
stage-verified)
|
||||
stamp /tmp/.stage-verified "stage 驗過了(6 小時)——**記得在回覆裡貼 stage 的實測輸出**" ;;
|
||||
|
||||
kbdb-down)
|
||||
stamp /tmp/.kbdb-down "KBDB 連不上而放行——**回覆裡要說明**,這是留痕不是豁免" ;;
|
||||
|
||||
solo|dispatch|ask)
|
||||
SID="${1:-${CLAUDE_SESSION_ID:-}}"
|
||||
if [ -z "$SID" ]; then
|
||||
printf '❌ %s 要綁 session id(閘用它認「是不是同一個 session」)。\n' "$GATE" >&2
|
||||
printf ' 被擋下的那則訊息裡就有;或 gate-ok %s <session_id>\n' "$GATE" >&2
|
||||
exit 2
|
||||
fi
|
||||
case "$GATE" in
|
||||
solo) stamp "/tmp/.solo-ok-$SID" "這件事自己做——**回覆裡要寫理由**" ;;
|
||||
dispatch) stamp "/tmp/.dispatch-ok-$SID" "這張派工單的例外,放行一次" ;;
|
||||
ask) stamp "/tmp/.ask-ok-$SID" "這題確認是人閘,放行一次" ;;
|
||||
esac ;;
|
||||
|
||||
*)
|
||||
printf '❌ 不認得的閘名:%s\n\n' "$GATE" >&2
|
||||
usage >&2
|
||||
exit 2 ;;
|
||||
esac
|
||||
@@ -0,0 +1,257 @@
|
||||
#!/usr/bin/env python3
|
||||
"""pr-verdict — 給 PR 一個結論,一個動作把該做的全做完(inkstone/ISEP#81)。
|
||||
|
||||
leo 的問題(票上原文):「我交出去的 PR 沒有人去看它⋯⋯票看起來是『已交付』,
|
||||
但東西沒有進 main,也就沒有進版本,**leo 手上永遠不會出現它**。」
|
||||
|
||||
「有結論」只有三種,缺一不可:
|
||||
|
||||
pr-verdict merge <owner/repo#N> 併 + **當場刪掉那條 branch**
|
||||
pr-verdict reject <owner/repo#N> --ticket <票> -F <檔> 退回:理由寫**票上** + 關 PR
|
||||
pr-verdict changes <owner/repo#N> --ticket <票> -F <檔> 要求修改:寫**票上** + REQUEST_CHANGES
|
||||
pr-verdict list 撈一次:誰還沒有結論
|
||||
|
||||
🔴 為什麼要有這支、而不是叫人記得多做一步:
|
||||
「merge 完要刪 branch」「退回理由要寫在票上」都是**第二個動作**,
|
||||
而所有掉棒的形狀都長一樣——第一個動作做了,第二個沒有。
|
||||
把兩件事綁成一個指令,就沒有「忘了做第二件」這個狀態可以存在。
|
||||
|
||||
🔴 `--dry-run` 會把要打的每一通 API 印出來但不送出。
|
||||
加在任何子指令上都有效;**收工前想確認自己按下去會發生什麼,用它。**
|
||||
"""
|
||||
import json
|
||||
import os
|
||||
import re
|
||||
import subprocess
|
||||
import sys
|
||||
import urllib.error
|
||||
import urllib.parse
|
||||
import urllib.request
|
||||
|
||||
HOST = os.environ.get("PR_VERDICT_HOST", "https://git.uncle6.me")
|
||||
DRY = False
|
||||
|
||||
|
||||
def die(msg, code=2):
|
||||
print(msg, file=sys.stderr)
|
||||
sys.exit(code)
|
||||
|
||||
|
||||
def token():
|
||||
root = os.environ.get("CLAUDE_PROJECT_DIR") or os.getcwd()
|
||||
host = HOST.split("//")[-1].rstrip("/")
|
||||
try:
|
||||
out = subprocess.run(["git", "-C", root, "remote", "-v"],
|
||||
capture_output=True, text=True, timeout=20).stdout
|
||||
except Exception:
|
||||
out = ""
|
||||
for line in out.splitlines():
|
||||
if host in line:
|
||||
m = re.search(r"//[^:/]+:([^@]+)@", line)
|
||||
if m:
|
||||
return m.group(1)
|
||||
for env in ("GITEA_TOKEN_CLAUDE_CODE", "GITEA_TOKEN"):
|
||||
if os.environ.get(env):
|
||||
return os.environ[env]
|
||||
die(f"🔴 拿不到 {host} 的 token(remote 沒帶憑證,也沒有 GITEA_TOKEN_CLAUDE_CODE)")
|
||||
|
||||
|
||||
def api(path, payload=None, method=None, soft=False):
|
||||
verb = method or ("POST" if payload is not None else "GET")
|
||||
if DRY and verb != "GET":
|
||||
print(f" [dry-run] {verb} {path}"
|
||||
+ (f"\n {json.dumps(payload, ensure_ascii=False)}" if payload else ""))
|
||||
return {}
|
||||
url = path if path.startswith("http") else f"{HOST}/api/v1{path}"
|
||||
data = json.dumps(payload).encode() if payload is not None else None
|
||||
req = urllib.request.Request(
|
||||
url, data=data, method=verb,
|
||||
headers={"Authorization": f"token {token()}", "Content-Type": "application/json"})
|
||||
try:
|
||||
raw = urllib.request.urlopen(req, timeout=40).read()
|
||||
return json.loads(raw) if raw.strip() else {}
|
||||
except urllib.error.HTTPError as e:
|
||||
if soft:
|
||||
return {"__status__": e.code}
|
||||
die(f"🔴 Gitea {e.code} on {verb} {path}:{e.read().decode()[:300]}")
|
||||
|
||||
|
||||
def parse_ref(s):
|
||||
m = re.match(r"^([\w.-]+)/([\w.-]+)#(\d+)$", s.strip())
|
||||
if not m:
|
||||
die(f"🔴 寫法是 owner/repo#N,你給的是:{s}")
|
||||
return m.group(1), m.group(2), int(m.group(3))
|
||||
|
||||
|
||||
def read_body(argv, what):
|
||||
if "-F" not in argv:
|
||||
die(f"🚫 缺 -F <檔>:{what}要**寫在票上**,不是寫在訊息裡。\n"
|
||||
f" (inkstone/ISEP#81:「退回理由寫在票上(寫票,不是寫訊息)」)")
|
||||
p = argv[argv.index("-F") + 1]
|
||||
try:
|
||||
with open(p) as f:
|
||||
return f.read().strip()
|
||||
except Exception as e:
|
||||
die(f"🔴 讀不到 {p}:{e}")
|
||||
|
||||
|
||||
def opt(argv, name, default=None):
|
||||
return argv[argv.index(name) + 1] if name in argv else default
|
||||
|
||||
|
||||
def say_on_ticket(ref, body):
|
||||
"""把結論貼進**票**(不是貼進 PR 的討論串——PR 會隨自己沉掉,票才是那條線的家)。
|
||||
|
||||
內文第一行帶【總管】身份欄,對齊 reply-identity-guard 的規約
|
||||
(leo 2026-08-27:「subagent 回覆時要表明身份」)。
|
||||
"""
|
||||
owner, repo, num = parse_ref(ref)
|
||||
if DRY:
|
||||
print(f" [dry-run] POST /repos/{owner}/{repo}/issues/{num}/comments")
|
||||
print(f" {body[:120]}…")
|
||||
return
|
||||
api(f"/repos/{owner}/{repo}/issues/{num}/comments", {"body": body})
|
||||
|
||||
|
||||
# ── merge ────────────────────────────────────────────────────────────────
|
||||
def cmd_merge(argv):
|
||||
if not argv:
|
||||
die("用法:pr-verdict merge <owner/repo#N> [--style merge|squash|rebase] [--dry-run]")
|
||||
owner, repo, num = parse_ref(argv[0])
|
||||
style = opt(argv, "--style", "merge")
|
||||
|
||||
pr = api(f"/repos/{owner}/{repo}/pulls/{num}")
|
||||
branch = ((pr.get("head") or {}).get("ref")) or ""
|
||||
same_repo = ((pr.get("head") or {}).get("repo") or {}).get("full_name") == f"{owner}/{repo}"
|
||||
|
||||
if not pr.get("merged"):
|
||||
if pr.get("state") != "open":
|
||||
die(f"🔴 {owner}/{repo}#{num} 不是 open(state={pr.get('state')})——沒得 merge。")
|
||||
api(f"/repos/{owner}/{repo}/pulls/{num}/merge",
|
||||
{"Do": style, "delete_branch_after_merge": True})
|
||||
if not DRY:
|
||||
print(f"✅ {owner}/{repo}#{num} 已 merge({style})")
|
||||
else:
|
||||
print(f"ℹ️ {owner}/{repo}#{num} 本來就是 merged,只補刪分支")
|
||||
|
||||
# 🔴 第二件事:**當場複驗分支真的不見了**。
|
||||
# Gitea 的 delete_branch_after_merge 在某些設定下不會生效(保護分支、
|
||||
# 跨 fork),而「我下了刪除的指令」不等於「它被刪掉了」——
|
||||
# 本 repo 心法:交出去之前,我知不知道它能不能用。
|
||||
if not branch:
|
||||
print("⚠️ 拿不到 head 分支名,無法複驗——請自己確認分支已刪。")
|
||||
return
|
||||
if not same_repo:
|
||||
print(f"ℹ️ head 在別的 repo(fork),本指令不跨 repo 刪分支:{branch}")
|
||||
return
|
||||
if DRY:
|
||||
print(f" [dry-run] DELETE /repos/{owner}/{repo}/branches/{branch}(若還在)")
|
||||
return
|
||||
if _branch_alive(owner, repo, branch):
|
||||
api(f"/repos/{owner}/{repo}/branches/{urllib.parse.quote(branch, safe='')}",
|
||||
method="DELETE", soft=True)
|
||||
if _branch_alive(owner, repo, branch):
|
||||
die(f"🔴 分支 {branch} 刪不掉(保護分支?權限?)——**結論只給了一半**,"
|
||||
f"pr-verdict-guard 會繼續點名它。")
|
||||
print(f"✅ 分支 {branch} 已刪除(複驗過:查不到了)")
|
||||
|
||||
|
||||
def _branch_alive(owner, repo, br):
|
||||
r = api(f"/repos/{owner}/{repo}/branches/{urllib.parse.quote(br, safe='')}", soft=True)
|
||||
return isinstance(r, dict) and "name" in r
|
||||
|
||||
|
||||
# ── reject / changes ─────────────────────────────────────────────────────
|
||||
def _verdict_with_reason(argv, kind):
|
||||
if not argv:
|
||||
die(f"用法:pr-verdict {kind} <owner/repo#N> --ticket <owner/repo#N> -F <檔> [--dry-run]")
|
||||
owner, repo, num = parse_ref(argv[0])
|
||||
ticket = opt(argv, "--ticket")
|
||||
if not ticket:
|
||||
die("🚫 缺 --ticket <owner/repo#N>:結論要寫在**票**上。\n"
|
||||
" PR 的討論串會隨 PR 一起沉掉;票才是那條線的家。")
|
||||
body = read_body(argv, "退回理由" if kind == "reject" else "修改要求")
|
||||
|
||||
pr = api(f"/repos/{owner}/{repo}/pulls/{num}")
|
||||
head = f"{owner}/{repo}#{num}"
|
||||
url = (pr.get("html_url") or "")
|
||||
title = "退回" if kind == "reject" else "要求修改"
|
||||
say_on_ticket(ticket, f"【總管】**PR {title}**:{head} {url}\n\n{body}")
|
||||
if not DRY:
|
||||
print(f"✅ {title}理由已寫進票 {ticket}")
|
||||
|
||||
if kind == "reject":
|
||||
api(f"/repos/{owner}/{repo}/issues/{num}", {"state": "closed"}, method="PATCH")
|
||||
if not DRY:
|
||||
print(f"✅ {head} 已關閉")
|
||||
br = ((pr.get("head") or {}).get("ref")) or ""
|
||||
same = ((pr.get("head") or {}).get("repo") or {}).get("full_name") == f"{owner}/{repo}"
|
||||
if br and same and not DRY and _branch_alive(owner, repo, br):
|
||||
api(f"/repos/{owner}/{repo}/branches/{urllib.parse.quote(br, safe='')}",
|
||||
method="DELETE", soft=True)
|
||||
print(f"✅ 分支 {br} 已刪除")
|
||||
else:
|
||||
# REQUEST_CHANGES:**讓「已經給過結論」變成 Gitea 查得到的事實**,
|
||||
# 這樣 pr-verdict-guard 就不會再把它當成被遺忘的 PR(=擋等待)。
|
||||
api(f"/repos/{owner}/{repo}/pulls/{num}/reviews",
|
||||
{"event": "REQUEST_CHANGES", "body": f"修改要求寫在 {ticket}"})
|
||||
if not DRY:
|
||||
print(f"✅ {head} 已留下 REQUEST_CHANGES review(閘看得到,不會再點名它)")
|
||||
if DRY:
|
||||
print("\n[dry-run] 以上一通都沒有送出。")
|
||||
return
|
||||
print("\n📌 兩件事是同一個動作——不會只寫了理由而 PR 還開著"
|
||||
"(reject),也不會留了 review 而票上查不到理由(changes)。")
|
||||
|
||||
|
||||
# ── list ─────────────────────────────────────────────────────────────────
|
||||
def cmd_list(argv):
|
||||
orgs = [o.strip().lower() for o in
|
||||
os.environ.get("PR_VERDICT_ORGS", "inkstone").split(",") if o.strip()]
|
||||
rows = api("/repos/issues/search?type=pulls&state=open&limit=50")
|
||||
import time
|
||||
now = time.time()
|
||||
n = 0
|
||||
for pr in rows:
|
||||
full = (pr.get("repository") or {}).get("full_name") or ""
|
||||
if "/" not in full or (orgs and full.split("/", 1)[0].lower() not in orgs):
|
||||
continue
|
||||
try:
|
||||
t = time.mktime(time.strptime(pr["created_at"][:19], "%Y-%m-%dT%H:%M:%S"))
|
||||
age = int((now - t) / 86400)
|
||||
except Exception:
|
||||
age = -1
|
||||
who = [a["login"] for a in (pr.get("assignees") or [])]
|
||||
mark = "🕒" if who else "❌"
|
||||
print(f"{mark} {full}#{pr['number']:<5} 開了 {age:>3} 天 "
|
||||
f"{'指派=' + ','.join(who) if who else '沒有人被指派'} {pr['title'][:34]}")
|
||||
n += 1
|
||||
print(f"\n共 {n} 個 open PR(org:{'/'.join(orgs) or '全部'})。"
|
||||
f" ❌=沒有人在管,pr-verdict-guard 會點名它")
|
||||
|
||||
|
||||
def main():
|
||||
global DRY
|
||||
argv = sys.argv[1:]
|
||||
if "--dry-run" in argv:
|
||||
DRY = True
|
||||
argv.remove("--dry-run")
|
||||
if not argv:
|
||||
print(__doc__)
|
||||
sys.exit(0)
|
||||
cmd, rest = argv[0], argv[1:]
|
||||
if cmd == "merge":
|
||||
cmd_merge(rest)
|
||||
elif cmd == "reject":
|
||||
_verdict_with_reason(rest, "reject")
|
||||
elif cmd == "changes":
|
||||
_verdict_with_reason(rest, "changes")
|
||||
elif cmd == "list":
|
||||
cmd_list(rest)
|
||||
else:
|
||||
print(__doc__)
|
||||
die(f"🔴 沒有這個子指令:{cmd}")
|
||||
|
||||
|
||||
if __name__ == "__main__":
|
||||
main()
|
||||
Reference in New Issue
Block a user