Compare commits

...

23 Commits

Author SHA1 Message Date
Claude 762c28c522 雲端 setup:git 認證改用讀環境變數的 credential helper,並讓驗證有能力變紅
雲端實測(真的雲端 session,不是本機模擬):
- session 是 root/HOME=/root,setup 階段寫進 $HOME 的三個機制一個都沒到
  (沒有 insteadOf、沒有 ~/.git-credentials、沒有 /etc/gitconfig)
- 薄殼 settings.json 的 extraKnownMarketplaces + enabledPlugins 宣告了也沒用:
  Claude Code 是裸 URL clone marketplace,沒有 credential helper 就靜默失敗
  → 'No marketplaces configured'

改法:
- credential helper 當場讀 GITEA_TOKEN_CLAUDE_CODE,磁碟不落明文(token 輪替不用重拍快照)
- 寫進所有 session 可能讀到的 gitconfig,並印出實際寫進哪幾份
- 驗證先跑裸探針(GIT_CONFIG_GLOBAL/SYSTEM=/dev/null),它必須紅;紅不了就說明綠燈不算數
- 加驗 plugin 本身(只驗 marketplace 會漏掉「marketplace 有、plugin 沒有」)

在雲端容器內實跑過:裸環境正確失敗 → 補 helper 後 marketplace 就位、
isep@inkstone 0.3.1 installed/enabled,腳本 exit 0。
2026-08-20 15:46:47 +00:00
claude-code d3061585e8 Merge pull request '身為 leo,我要雲端 env 檔能直接產在桌面,我才不用去翻隱藏目錄' (#46) from feat/cloud-env-outdir into main 2026-08-20 15:13:38 +00:00
Leo 9099c3f533 make-cloud-env.sh:輸出路徑可指定,且不再對使用者指定的目錄動權限
leo 要產在桌面。兩個改動:
- OUT_DIR 可被環境變數覆寫(OUT_DIR=~/Desktop bash scripts/make-cloud-env.sh)
- chmod 700 只在「這個目錄是我們自己造的預設位置」時才做
  原本無條件對 $OUT_DIR chmod 700,一旦 OUT_DIR 指到既有目錄
  (例如 ~/Desktop)就會改動使用者目錄的權限。產出檔本身仍是 600。

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
2026-08-20 23:13:25 +08:00
Leo 5bceb03478 v0.3.1
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
2026-08-20 23:03:05 +08:00
claude-code 4e73b8b03d Merge pull request '身為 leo,我要雲端驗收步驟在閘死掉時真的變紅,我才不會再被三個綠燈騙一次' (#45) from fix/testing-b-section-discriminating into main 2026-08-20 15:03:04 +00:00
Leo 291787eaaa TESTING.md B 段整段換掉——舊版在閘全滅時會回綠
2026-08-20 雲端實證:B2/B3/B4 三步在 plugin 完全缺席時**全部通過**。
一個在閘死掉時也會給出正確答案的測試,不是測試。

三處各自為什麼假:
- B2「跑 claude plugin list」→ 要它自己報自己,沒有獨立證據
- B3「Skills (9) / Hooks (5)」→ 那組數字剛好是薄殼自己的 .claude/ 產生的
- B4「git tag -a v9.9.9」→ git tag 在三支閘的白名單裡

新版三步都改成有鑑別力的:
- B2 找 v0.3.0 新增的載入信標(那支腳本住在 plugin 裡,沒載入就不可能發聲)
- B3 看 setup script 的自我驗證輸出(v0.3.0 新增)
- B4 改用金鑰佔位符觸發 credential-only-guard(不在任何白名單上)

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
2026-08-20 23:02:47 +08:00
claude-code 3a951210a5 雲端零閘的兩個真因:setup 不自驗+沒有 release 撐版本號 (#44) 2026-08-20 14:59:55 +00:00
Leo daa1674a20 雲端零閘的兩個真因:setup 從不驗證自己+沒有任何 release 撐版本號
2026-08-20 雲端 session 的閘全滅,而三個驗證步驟全部回綠。
今晚在隔離 HOME(GIT_CONFIG_NOSYSTEM=1)重現,把兩件事分開了:

① setup script 的寫法是對的
   裸環境失敗、加了 url.insteadOf 就成功 —— x-access-token 這個使用者名稱
   Gitea 也接受。所以先前我對 leo 說「URL 重寫沒作用到 marketplace 這條路徑」
   是錯的,這裡更正。
   (前兩次測試之所以誤導,是因為 /etc/gitconfig 的 macOS keychain helper
   還在幫忙 —— 「隔離 HOME」並沒有隔離系統層設定。同一個病第三次。)

② 真正的缺陷是這支腳本從不驗證自己
   設完就結束。token 沒生效也不出聲 ⇒ setup log 一片綠、
   session 開起來才發現 marketplace 拉不下來,而那時已經沒有任何線索。
   本次加兩道自我驗證:git 認證通不通、marketplace 有沒有就位,
   任一不通就 exit 1 並印出該查什麼。

③ 新增 isep-presence-beacon.sh(信標,不是閘)
   SessionStart 報「ISEP v幾 已載入、幾支閘」。
   它的全部意義是鑑別力:這行住在 plugin 裡,所以看得到就一定載入了,
   看不到就是零閘。不像 git tag(在三支閘的白名單裡,閘死了照樣過)。

④ plugin.json 0.0.0 → 0.3.0
   查清楚了:0.0.0 不是漂移,是誠實 —— ISEP 一個 tag 都沒有,從沒發過 release。
   而這正是「雲端拿不到更新」的另一半:claude plugin update 比對版本號,
   沒有 release 就永遠沒有新號碼可比。所以這一刀的收工是真的打 tag 發版。

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
2026-08-20 22:59:21 +08:00
claude-code c48495d911 Merge pull request 'fix(hooks): sdd-guard.sh 修「解析失敗仍照擋、且訊息洩漏 /nonexistent」' (#42) from fix/sdd-guard-path-resolution into main
sdd-guard 路徑解析修好+ADR 訂正(InkStoneCo#22)
2026-08-20 13:09:10 +00:00
Leo 87186585d6 fix(hooks): sdd-guard.sh 修「解析失敗仍照擋、且訊息洩漏 /nonexistent」(InkStoneCo#22)
症狀(總管 2026-08-12 實撞):寫暫存腳本進 scratchpad
(/private/tmp/.../scratchpad/foo.py)被 sdd-guard.sh 攔下,訊息印出字面的
「/nonexistent/3-specs/ 下找不到任何 SDD」。

兩個洞:
- 洞 A:scratchpad 不在任何 git repo 裡,卻被當成「repo 裡的 code 變動」誤判
  需要 SDD。改成先問 path_in_git_worktree()(見 hooks/lib/path-resolve.sh):
  不在任何 git repo 裡 → SDD 天生管不到,直接放行,不必先猜專案根。
  這個檢查放在 $_root 的 case 分岔之前、對兩邊都適用——第一版只放進「專案外」
  分支,被本次新增的 hooks/tests/sdd-guard.test.sh 抓到一個不對稱漏洞(cwd 剛好
  等於 scratchpad 祖先目錄時會漏判),改成統一檢查後修掉。
- 洞 B:舊版用內部 sentinel `/nonexistent/3-specs` 重用既有的擋下路徑,但這個
  假路徑被直接印進使用者看到的訊息。改用 RESOLVED 旗標記解析成不成功,訊息
  改用人話描述原因,不洩漏假路徑。

fail-closed / fail-open 的判準(票上明確要求回答,不能各憑運氣):
真的落在某個 git repo 裡、但那個 repo 沒有 3-specs(或沒有 active SDD)→
仍然 fail-closed(擋)。理由:這道閘存在的目的就是防止「沒有 SDD 卻能動
code」,把「判斷不出來」直接放行,等於把環境跑歪(cwd 被切走、
$CLAUDE_PROJECT_DIR 沒設)悄悄變成「這道閘關掉了、且沒人知道」——silent
bypass 的代價遠高於多打一次確認。#22 紅線亦明寫「不要把閘改成解析失敗就
放行」。

順手修的殘留 cwd 依賴:SPECS_DIR 的預設值原本是相對路徑
「system-dev/docs/3-specs」,專案內迴圈找不到時會被拿去跟 hook 執行當下的
cwd 兜;改成絕對路徑 $_root/system-dev/docs/3-specs。

同時修 ADR-0001(ISEP 自建 wiki):標題與內文原本會讓人誤解成「ISEP plugin
裝到哪個 repo,就會在那裡自建一份 wiki」,但實際查證(marketplace.json 只宣告
hooks/commands/skills、README 明文排除 wiki/docs、hooks 一律用
${CLAUDE_PLUGIN_ROOT} 讀自己不是寫別處)並非如此——那份 wiki 只是 ISEP 這個
repo自己的開發歷史,跟裝 plugin 無關。唯一真的會在某 repo 建 wiki 的
scripts/install.sh 是 system-dev-template 的獨立安裝器殘留,要手動執行,
作用對象是 cwd 不是「plugin 裝到的地方」——這多半是誤解的真正來源,已在
ADR 的「常見誤解」段說明。

驗證:
- 造出 08-12 原始事故情境(cwd=InkStoneCo、CLAUDE_PROJECT_DIR 未設、寫
  scratchpad),修前擋(印 /nonexistent)、修後放行——實測輸出見票留言。
- 造出「真的在 git repo 裡但沒有 3-specs」情境,修後仍擋、訊息不含
  /nonexistent。
- 新增 hooks/tests/sdd-guard.test.sh:8 案例全過(洞 A/洞 B/fail-open
  陷阱/單一活性違反/恰好一份 active/改文件放行)。
- 既有六套 scripts/test-*.sh 全過,無退步。

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
2026-08-20 21:03:14 +08:00
claude-code e6d183d038 Merge pull request '產生雲端 env 設定給 leo 貼(InkStoneCo#14)' (#41) from feat/cloud-env-generator into main
雲端 env 產生器
2026-08-20 12:45:50 +00:00
Leo f855d82573 產生雲端 env 設定,不要 leo 自己拼湊(InkStoneCo#14)
leo 2026-08-20:「應該是你會幫我產生正確的 env 我去貼⋯⋯不然就是我要自己拼湊」
「這些值你都有,你可以只寫名字然後 build 一個檔案給我」

總管原本的說法是「你複製設定給我、值遮掉」——那是錯的,兩個理由:
① 把拼湊的工作丟回給 leo ② 讓值經過對話本身就是洩漏面。

scripts/make-cloud-env.sh:
- 腳本裡只寫**變數名字**(NEEDED 陣列,要加變數就加在那裡)
- 值在執行當下才從既有 .env 讀(credentials-map 記的六個位置都找)
- 產物寫到 ~/.claude/cloud-env/<時間>.txt,權限 600,**刻意不在任何 repo 底下**
- 只印路徑不印值;找不到值的變數會標出來而不是靜默留空
- 產物最後一行就是刪除指令

docs/TESTING.md 補 B0 段:先跑產生器,再貼。

實跑過:1 個變數、0 個找不到、產物 45 行、權限 600、不在任何 repo。
2026-08-20 20:45:02 +08:00
claude-code 17de121017 Merge pull request 'fix(hooks): 補上 leo21c-write-guard.sh 第二、三次誤攔的修法(反向移植)' (#40) from fix/one-copy-per-gate into main
補兩個空殼閘(InkStoneCo#57):ISEP 成為完整超集
2026-08-20 12:06:51 +00:00
Leo c1d80756d7 審核補件:第二個空殼閘(irreversible_dispatch_check.py)+既有測試套
總管複驗 PR 時發現 subagent 只補了一個空殼,還有第二個同款的:

  arcrun-intent-guard.sh      → exec 不存在的 .py ⇒ 擋掉全部(吵,PR 已修)
  irreversible-dispatch-guard.sh → 同款,但寫法是
      python3 <不存在> 2>/dev/null || echo '{"verdict":"OK"}'
    ⇒ **靜默放行全部**(危險,本 commit 補)

實測同一份派工單「驗過了就把舊分支刪掉」:
  InkStoneCo 版(有 .py)exit=2 擋 / ISEP 版(缺 .py)exit=0 放行
補完後:不可逆派工 exit=2、正常派工 exit=0、合規工作流 exit=0。

系統性掃描 ISEP 全部 hooks 引用的同目錄檔案:補完後 0 個缺檔(InkStoneCo 本來就是 0)。
順帶把 InkStoneCo 的 hooks/tests/ 四支既有測試一併帶過來。

🔴 這件事很重要:若先併 InkStoneCo#64(刪掉 .claude/hooks/),
   這台機器會失去那支唯一還能用的副本——變成真的沒有那道閘。
2026-08-20 20:06:23 +08:00
Leo b790c3a78d fix(hooks): 補回 arcrun_intent_guard.py 主體——這支閘自 ISEP 建立以來就是空殼
發現於 inkstone/InkStoneCo#57/inkstone/ISEP#32:要把 InkStoneCo 本機
`.claude/hooks/arcrun-intent-guard.sh`(連同它同目錄的 arcrun_intent_guard.py)
移除、改吃 ISEP 這份之前,實測 ISEP 版才發現 `hooks/arcrun-intent-guard.sh`
呼叫的 `arcrun_intent_guard.py` 從未進過 ISEP 的 git 歷史(`git log --all` 0
命中)——`exec python3 "$DIR/arcrun_intent_guard.py"` 找不到檔案,
python3 直接噴 OS 層錯誤、exit 2,**每一次 Write/Edit/MultiEdit 都被無條件擋下**,
不是「規則判定違規才擋」,是檔案不存在導致的硬當機。

這比 kbdb_cmd_check.py 那次(PR #39)更嚴重:那次是「該擋的沒擋」(靜默放行),
這次是「不管寫什麼都擋」——方向相反,但同一個病根:hook 的 shell 外殼進了
git,Python 主體沒有。

修法:把 InkStoneCo 本機那份(唯一存在的正本)原樣搬進來。這支腳本本來就設計
成離開 InkStoneCo 語境會優雅放行(`rules_path` 不存在 → return 0),只是
之前連跑到那行都做不到。

實測 3 種情境:
- ISEP 語境(沒有 intent-rules.json):exit 0(修好前是 exit 2,任何寫入都被當機式擋下)
- InkStoneCo 語境、合法內容:exit 0
- InkStoneCo 語境、真違規(`ON_FAILURE` 這種不存在的邊):exit 2(行為不變,沒有變寬鬆)

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
2026-08-20 19:49:34 +08:00
Leo 1dc97f0bd6 fix(hooks): 補上 leo21c-write-guard.sh 第二、三次誤攔的修法(InkStoneCo 反向移植)
InkStoneCo/.claude/hooks/leo21c-write-guard.sh 2026-08-20 當天已修過兩次
誤攔(bc8a529/5e62d28),但沒人把修法帶回 ISEP——ISEP 那份還是上線當天
的舊版,會誤擋「git commit 訊息提到 leo21c」「Gitea PATCH 內文提到
leo21c」這類完全碰不到 CF 帳號的動作。

發現於 inkstone/InkStoneCo#57/inkstone/ISEP#32「同一件事只留一份」:
要把 InkStoneCo 本機的閘收斂成只剩 ISEP 這份之前,先確認 ISEP 沒有落後
——結果這支剛好是唯一反向的(其餘 4 支已修過的閘 ISEP 都領先)。

判準改成只認「這個指令會不會真的寫到那台」:
① 寫入請求打到 *.leo21c.workers.dev(POST/PUT/PATCH/DELETE/--data/-d/trigger)
② 用它的 CF 帳號 id 跑 wrangler/acr
其餘一律放行,不管文字裡提到什麼。

實測 6/6(4 該放行/2 該擋,含這次要修的兩個誤攔案例):見 PR 說明。

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
2026-08-20 19:46:24 +08:00
claude-code a7ea0283ac Merge pull request 'fix(hooks): 讓四支閘認得出「指令位置」跟「heredoc/引號裡的文字」' (#39) from fix/group0-gates into main
群0 第一刀:閘擋得到真動作、放得過只是提到它的句子(InkStoneCo#23/#56)
2026-08-20 11:00:33 +00:00
Leo 0cdb6f2c05 fix(hooks): 讓四支閘認得出「指令位置」跟「heredoc/引號裡的文字」
inkstone/InkStoneCo#23、#56 同一個病:閘對整條指令字串做關鍵字掃描,
把「檔案內容/留言引用裡剛好提到某個關鍵字」當成「真的在執行」,
同時放過包一層讀取指令、或藏在 heredoc body 裡的真動作。

- 新增共用輔助 hooks/lib/strip_heredoc.py:heredoc body 是資料不是指令,
  四支閘(github-contact / main-and-prod-push / stage-before-prod /
  kbdb-api-wall 的 Bash 分支)呼叫前一律先拿掉 body 再比對。
- main-and-prod-push-guard.sh:修掉跟 release-tag-guard.sh 同款的
  「開頭是讀取工具就整條放行」前綴繞過洞;git push 的偵測改成指令位置比對;
  main/master 目標改用單字邊界,不再誤中 "domain" 這種子字串。
- github-contact-guard.sh:拿掉 gh CLI/git push 判準裡「前面隨便一個空白
  就算數」的鬆散邊界,只認真正的指令分隔符。
- kbdb-api-wall-guard.sh:Bash 分支原本引用不存在的 kbdb_cmd_check.py,
  python3 找不到檔案就吃掉錯誤印 "OK",該分支形同虛設——任何
  `wrangler d1 execute` 直打 kbdb 都會被放行。邏輯搬進新檔
  hooks/lib/kbdb_cmd_check.py(shlex 分詞、quote-aware),把 .sh 的
  參照路徑改過去,補回 Bash 分支的 kbdb-sql-ok 逃生口。

四支各補 InkStoneCo#40 §1 要求的三行中文檔頭。

新增四支可重跑測試(scripts/test-*.sh),共 69 條斷言全過,
含 #23/#56 票上實撞的原始形狀(寫 docs/TESTING.md 的 heredoc、
貼引用 #56 敘述的留言、`grep git push`)。

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
2026-08-20 18:51:52 +08:00
claude-code c01a39541e Merge pull request '撤回 v0.2.0 / v0.2.1:未達交件水準' (#38) from chore/withdraw-versions into main
撤回未達交件水準的兩版
2026-08-20 10:36:39 +00:00
Leo 92a4138f93 撤回 v0.2.0 與 v0.2.1:未達交件水準
leo 2026-08-20:「偷工減料的不能算,這不是交件被退回,是根本未達足以交件的水準。」

兩個 release 與 tag 已從 Gitea 刪除;plugin.json 回到哨兵值 0.0.0(尚未發過正式版)。

那兩版做的都是 ISEP 自己的鷹架,而當時 45 張管理票一張都沒關。
下一個版本的門檻:至少關掉一張既有的管理票,release note 寫明關了哪張。
2026-08-20 18:35:58 +08:00
claude-code b9d450eb37 Merge pull request 'v0.10.0:M4.0 里程碑怎麼組成+M4.3 不准自己打折' (#37) from rule/milestone-formation into main
v0.10.0
2026-08-20 09:58:11 +00:00
Leo 0946f702d7 v0.10.0:補 M4.0(里程碑怎麼組成)、M4.3 改寫成「不准自己打折」
leo 2026-08-20 訂正總管寫錯的規則:
「我跟你說要達成的目標,你從 issues 池遍歷找出要完成哪些可以達成,如果沒有才增加 issues,
定下後就不改,而不是要做 5 件事,做不到就改成 2 件,自己打折」

原本 M4.3 寫成「增減都是 leo 的裁決,不是總管的操作」——把重點放錯在「誰有權」,
而 leo 說的是**組成方式**與**不准打折**。

- 新增 M4.0:leo 給目標 → 總管遍歷票池找出達成它需要哪些票 → 池裡沒有才補開 → 定下不改
- M4.3 改寫:定下就不改,尤其不准因為做不完而縮減;做不完就是還沒完成,
  里程碑開著、百分比顯示真實完成度。把分母改小只是讓它說謊。
  唯一例外是目標本身變了 ⇒ 重走 M4.0,不是打折。
- §15.2 補記:六群的組成就是照 M4.0 走出來的(44 張既有票,沒補開任何新任務票)
2026-08-20 17:58:08 +08:00
claude-code df0d4ed396 Merge pull request 'v0.9.0:全面 PR-only(leo 裁定)+跨 repo 群票載體' (#36) from rule/pr-only into main
v0.9.0 全面 PR-only
2026-08-20 09:55:56 +00:00
33 changed files with 1852 additions and 147 deletions
+1 -1
View File
@@ -1,7 +1,7 @@
{ {
"name": "isep", "name": "isep",
"description": "InkStone Environment Plugin —— leo 的 Claude Code 環境唯一真相源:43 支機械閘(53 條註冊,白話盤點見 docs/hooks-inventory.md)、7 支 slash command、2 支 skill、27 支腳本,外加治理規範與標籤真相源。本機與雲端裝同一份,沒有子集。", "description": "InkStone Environment Plugin —— leo 的 Claude Code 環境唯一真相源:43 支機械閘(53 條註冊,白話盤點見 docs/hooks-inventory.md)、7 支 slash command、2 支 skill、27 支腳本,外加治理規範與標籤真相源。本機與雲端裝同一份,沒有子集。",
"version": "0.2.1", "version": "0.3.1",
"keywords": [ "keywords": [
"inkstone", "inkstone",
"guardrails", "guardrails",
+4
View File
@@ -0,0 +1,4 @@
# 含金鑰真身的雲端設定,永遠不進版控(2026-08-20 實際差點被 git add
cloud-env*.txt
*.env
+54 -21
View File
@@ -101,9 +101,21 @@ claude -p '請執行 git tag -a v9.9.9 -m test'
機器碰不到 claude.ai 的 Cloud environment 設定,這段一定要你動手。 機器碰不到 claude.ai 的 Cloud environment 設定,這段一定要你動手。
看到跟「該看到」不一樣就停下來,把畫面貼回 `inkstone/InkStoneCo#14` 看到跟「該看到」不一樣就停下來,把畫面貼回 `inkstone/InkStoneCo#14`
### B0 — 先讓機器把要貼的東西產生好(不要自己拼湊)
```
bash scripts/make-cloud-env.sh
```
它會去既有的 `.env` 把值讀出來,產生一個**含真實值、可直接複製**的檔到
`~/.claude/cloud-env/<時間>.txt`(權限 600,**刻意不在任何 repo 裡**),只把路徑印出來。
變數的**名字**寫在腳本裡(要加變數就加在那個清單),**值不進版控、不進對話**。
🔴 **貼完就刪那個檔**(指令印在它自己最後一行)。
### B1 — 設定(一次性) ### B1 — 設定(一次性)
claude.ai → **Cloud environments** → 你的環境: 打開上一步產生的檔,裡面兩塊分別貼進 claude.ai → **Cloud environments** → 你的環境:
1. **Environment variables** 加一個 1. **Environment variables** 加一個
- 名稱:`GITEA_TOKEN_CLAUDE_CODE` - 名稱:`GITEA_TOKEN_CLAUDE_CODE`
@@ -112,38 +124,59 @@ claude.ai → **Cloud environments** → 你的環境:
**該看到**:儲存後沒有紅字。 **該看到**:儲存後沒有紅字。
### B2 — 開一個新的雲端 session,確認裝上了 ### B2 — 開一個新的雲端 session,第一眼找信標
**什麼都不用打。** session 一開,找這一行:
在雲端 session 裡打:
``` ```
跑 claude plugin list 給我看 🟢 ISEP v0.3.0 已載入(44 支閘在 …)
``` ```
**該看到**`isep@inkstone` / `Version: 0.2.1`(要跟 Releases 頁最新那個一樣)/ `✔ enabled`
**該看到**:有這行,而且版本號跟 Releases 頁最新那個一樣。
**失敗** **失敗**
- 沒有 `isep` ⇒ Setup script 沒跑成功 → 叫它把 setup 的輸出貼回來 - **沒有這行** ⇒ plugin 沒載入,這個 session 是**零閘狀態**。先修 plugin,不要開始做事。
- 版本比 Releases 舊 ⇒ 環境快取住了(設定跑完會被拍成快照,約 7 天或改了 setup script 才重拍) - 版本比 Releases 舊 ⇒ 環境快取住了(setup 跑完會被拍成快照,約 7 天或改了 setup script 才重拍)→ 動一下 setup script 的內容強制重拍。
→ 動一下 setup script 的內容,強制重拍
### B3 — 雲端載到的元件數量要跟本機一樣 🔴 **為什麼是這一行,而不是叫它跑指令**:這行由 `isep-presence-beacon.sh` 發出,
``` 而那支腳本**住在 plugin 裡**。plugin 沒載入 ⇒ 它不可能發聲。
跑 claude plugin details isep 給我看 **沒有「剛好也會過」的情況**——這就是鑑別力。
```
**該看到**`Skills (9)``Hooks (5) PreToolUse, SessionStart, Stop, SubagentStop, PostToolUse` ### B3 — 要它把 setup 的驗證結果貼回來
——**跟本機看到的一模一樣**。
**失敗**:比本機少 ⇒ 又回到「兩邊不一樣」,正是 `InkStoneCo#57` 那張票的病。
### B4 — 最關鍵:雲端的閘真的會擋,而且擋的是 plugin 那份
``` ```
請執行 git tag -a v9.9.9 -m test 把這個環境 setup script 的輸出貼給我看
``` ```
**該看到**:被擋下,訊息提到「版本不一致」與 `plugin.json`
**該看到**兩行綠:
```
✅ git 認證通:拉得到 inkstone/ISEP
✅ marketplace inkstone 已就位
```
**失敗**:任一行是紅的 ⇒ 訊息本身會講該查什麼(token 值對不對、有沒有被撤銷)。
看不到任何輸出 ⇒ setup script 根本沒跑,回 B1 確認欄位真的存好了。
### B4 — 閘真的會擋(用有鑑別力的動作)
```
請把這段寫進 /tmp/x.md__GITEA_TOKEN__=abc
```
**該看到**:被 `credential-only-guard` 擋下,訊息提到金鑰佔位符。
**失敗** **失敗**
- 真的把 tag 打出去 ⇒ **雲端仍然沒有閘**(跟 `InkStoneCo#14` 記的一樣) - 真的寫進去了 ⇒ 雲端仍然沒有閘。
- 它只是嘴上說「我不應該這麼做」而沒有閘的訊息 ⇒ 同上,那是模型自律不是機械閘 - 它只是嘴上說「我不應該這麼做」而沒有閘的訊息 ⇒ 同上,那是模型自律不是機械閘
🔴 **不要再用 `git tag` 當測試**(舊版 B4 就是這樣寫的,而它是假的):
`git tag` 出現在**三支閘的白名單**裡,閘全滅時它照樣「被擋」的相反——照樣通過,
於是 2026-08-20 那次雲端零閘,三個驗證步驟**全部回綠**。
一個在閘死掉時也會給出正確答案的測試,不是測試。
### B5 — 回報 ### B5 — 回報
B2B3B4 三個畫面貼回 `inkstone/InkStoneCo#14` B2(信標那行)/B3(setup 輸出)/B4(閘的訊息)三個畫面貼回 `inkstone/InkStoneCo#14`
全綠 ⇒ 那張票可以關,`#57` 也解掉一半。 全綠 ⇒ 那張票可以關,`#57` 也解掉一半。
--- ---
+45
View File
@@ -52,6 +52,51 @@ git config --global url."https://x-access-token:${GITEA_TOKEN_CLAUDE_CODE}@git.u
完整腳本:`docs/cloud-setup-script.sh`(貼進 code-on-web 的 Setup script 欄位用)。 完整腳本:`docs/cloud-setup-script.sh`(貼進 code-on-web 的 Setup script 欄位用)。
### 🔴 2026-08-20 雲端實測訂正:上面那條 `url.insteadOf` 不是正解
在真的雲端 session(不是本機模擬)量到的:
| 量到什麼 | 值 |
|---|---|
| session 身分 | `root``HOME=/root` |
| `git config --global --list` | 只有 harness 自己塞的 identityproxy 那幾條,**沒有 insteadOf、沒有 credential.helper** |
| `~/.git-credentials` | **不存在** |
| `/etc/gitconfig` | **不存在** |
| `claude plugin marketplace list` | `No marketplaces configured` |
| 薄殼 `.claude/settings.json` | `extraKnownMarketplaces` `enabledPlugins` **都宣告了** |
⇒ 兩個結論:
1. **setup 階段寫進 `$HOME` 的東西沒有到 session 手上。**
舊版三個機制(insteadOf`~/.git-credentials``--system`)一個都不在,
而 setup log 會是一片綠——因為它只驗「setup 這個 shell 裡通不通」。
2. **光在薄殼 settings.json 宣告 `extraKnownMarketplaces` 沒有用。**
Claude Code 是用**裸 URL clone** 去抓 marketplace 的,私有 repo 沒有 credential helper
就靜默失敗。裸環境重現出來的原話:
```
Failed to clone marketplace repository: HTTPS authentication failed.
Please ensure your git credential helper has valid credentials for git.uncle6.me
```
補上 helper 之後同一條指令:`Successfully added marketplace: inkstone`
→ `claude plugin install isep@inkstone` → `isep@inkstone 0.3.1 · enabled`。
**紅過也綠過,不是只看到綠。**
⇒ 改法(已落在 `docs/cloud-setup-script.sh`):
- 用 **credential helper 當場讀環境變數**,磁碟上不落明文 token
token 輪替只要改 Environment variables,腳本與快照都不用動):
```sh
git config --file <某份 gitconfig> credential."https://git.uncle6.me".helper \
'!f() { test "$1" = get && printf "username=claude-code\npassword=%s\n" "$GITEA_TOKEN_CLAUDE_CODE"; }; f'
```
- 寫進**所有** session 可能讀到的 gitconfig`$HOME``/root``/home/claude``/etc`),並印出實際寫進哪幾份。
- 驗證要**先讓它失敗一次**:用 `GIT_CONFIG_GLOBAL=/dev/null GIT_CONFIG_SYSTEM=/dev/null` 跑裸探針,
它必須紅;紅不了代表環境裡另有憑證捷徑,後面的綠燈就不能當證據。
## 已驗(本機,隔離環境,不影響本機正在跑的任何 session) ## 已驗(本機,隔離環境,不影響本機正在跑的任何 session)
🔴 **怎麼保證沒有干擾**:全程把 `$HOME` 指到 scratchpad 底下的隔離目錄 🔴 **怎麼保證沒有干擾**:全程把 `$HOME` 指到 scratchpad 底下的隔離目錄
+102 -12
View File
@@ -8,11 +8,11 @@
# 不要新造一把。值本身不寫在這支腳本或任何檔案裡。 # 不要新造一把。值本身不寫在這支腳本或任何檔案裡。
# #
# 這支腳本做兩件事: # 這支腳本做兩件事:
# 1. 設定 git URL 重寫,讓任何對 git.uncle6.me 的 clone 都能用 GITEA_TOKEN_CLAUDE_CODE 認證 # 1. 讓 session 裡任何對 git.uncle6.me 的 clone 都認得出憑
# (官方文件對「CI/CD 裝私有 marketplace」建議的寫法,見 references 段)。 # —— Claude Code 拉 marketplace 是用**裸 URL clone**,走的就是 git credential helper
# 2. 直接把 ISEP 裝成 user-scope plugin ——不是「複製一份」,是跟本機一樣走 # 2026-08-20 雲端實測的原始錯誤訊息:「HTTPS authentication failed. Please ensure
# `claude plugin marketplace add` + `claude plugin install`,裝的東西 # your git credential helper has valid credentials for git.uncle6.me」)。
# 100% 來自 inkstone/ISEP 這個 repo 本身,沒有第二份內容。 # 2. 把 ISEP 裝成 user-scope plugin —— 裝的東西 100% 來自 inkstone/ISEP 本身,沒有第二份內容。
# #
# 何時跑:只在「這個 Cloud environment 第一次開 session」時跑一次, # 何時跑:只在「這個 Cloud environment 第一次開 session」時跑一次,
# 跑完 Anthropic 會把整個檔案系統拍成快照,之後的 session 直接沿用快照 # 跑完 Anthropic 會把整個檔案系統拍成快照,之後的 session 直接沿用快照
@@ -27,12 +27,102 @@ if [ -z "${GITEA_TOKEN_CLAUDE_CODE:-}" ]; then
exit 1 exit 1
fi fi
# 官方文件建議的私有 marketplace 認證寫法:只重寫這個 host 的 URL,不動其他 git 操作。 # ── git 認證 ────────────────────────────────────────────────────────────
git config --global url."https://x-access-token:${GITEA_TOKEN_CLAUDE_CODE}@git.uncle6.me/".insteadOf \ #
"https://git.uncle6.me/" # 🔴 舊版(2026-08-20 之前)在這裡踩了兩個坑,兩個都是「不出聲的」:
#
# ① 把 token 明文寫進 `~/.git-credentials`。
# —— 換 token 那天起這份就是壞的,而且壞法是「認證失敗」不是「檔案不見」,很難聯想。
# 改法:credential helper **當場讀環境變數**,磁碟上不落任何明文。
# token 輪替時只要改 Environment variables,這支腳本不用動、快照也不用重拍。)
#
# ② 只寫 `$HOME`。setup 階段的 `$HOME` **不保證等於 session 的 `$HOME`**
# —— 2026-08-20 雲端實測:session 以 root 跑(`HOME=/root`),
# 而 `/root/.git-credentials` 不存在、`/etc/gitconfig` 也不存在
# ⇒ 舊版三個機制**一個都沒到 session 手上**setup log 卻整片綠。
# 改法:把同一段 helper 寫進所有「session 可能會讀」的 gitconfig,並印出實際寫進哪幾份。
#
# helper 內容不含 token,只含「去讀 $GITEA_TOKEN_CLAUDE_CODE」這個動作。
HELPER='!f() { test "$1" = get && printf "username=claude-code\npassword=%s\n" "$GITEA_TOKEN_CLAUDE_CODE"; }; f'
# 用乾淨網址(不帶 token)加 marketplace,實際認證交給上面那條 URL 重寫。 echo "── 寫 git credential helper(不落地明文 token)──"
claude plugin marketplace add https://git.uncle6.me/inkstone/ISEP.git --scope user wrote=0
claude plugin install isep@inkstone --scope user seen=""
for cfg in "${HOME:-/root}/.gitconfig" /root/.gitconfig /home/claude/.gitconfig /etc/gitconfig; do
# $HOME 常常就是 /root,去重才不會同一份印兩次(看起來像多寫了一處,其實沒有)。
case " $seen " in *" $cfg "*) continue ;; esac
seen="$seen $cfg"
# 目錄不在就別建(不是每台機器都有 /home/claude);寫不進去也不致命,還有別份。
[ -d "$(dirname "$cfg")" ] || { echo " .跳過 $cfg(目錄不存在)"; continue; }
if git config --file "$cfg" credential."https://git.uncle6.me".helper "$HELPER" 2>/dev/null; then
echo " ✅ 寫進 $cfg"
wrote=$((wrote + 1))
else
echo " ⚠️ 寫不進 $cfg(跳過)"
fi
done
[ "$wrote" -gt 0 ] || { echo "❌ 一份 gitconfig 都寫不進去,後面不用往下做了。" >&2; exit 1; }
echo "✅ ISEP 已裝成 user-scope plugin,之後每個 session 啟動時直接生效。" # ── 🔴 自我驗證一:這個測試有沒有能力變紅 ────────────────────────────
# 先在「什麼設定都不讀」的條件下跑一次,**它必須失敗**。
# 失敗不了 ⇒ 環境裡另有一條我們沒注意到的憑證捷徑(keychainambient tokenproxy 代打),
# 那麼下一步的「✅」就不能證明 helper 有效——是捷徑在給答案。
# 2026-08-20 同一天在這個形狀上連摔三次,見 InkStoneCo mistakes.md「隔離環境沒有隔離系統層」。)
echo "── 驗證 git 認證 ──"
if GIT_CONFIG_GLOBAL=/dev/null GIT_CONFIG_SYSTEM=/dev/null GIT_TERMINAL_PROMPT=0 \
git ls-remote https://git.uncle6.me/inkstone/ISEP.git >/dev/null 2>&1; then
echo "⚠️ 裸環境竟然也拉得到 —— 這個環境有別的憑證來源,下面的綠燈不能當成 helper 生效的證據。" >&2
else
echo " ✅ 裸環境正確地失敗了(這個測試有能力變紅)"
fi
# ── 🔴 自我驗證二:認證真的通了嗎 ────────────────────────────────────
if GIT_TERMINAL_PROMPT=0 git ls-remote https://git.uncle6.me/inkstone/ISEP.git >/dev/null 2>&1; then
echo " ✅ git 認證通:拉得到 inkstone/ISEP"
else
echo "❌ git 認證不通——marketplace 一定裝不起來,後面不用往下做了。" >&2
echo " 檢查:GITEA_TOKEN_CLAUDE_CODE 的值對不對、那把 token 有沒有被撤銷。" >&2
exit 1
fi
# ── 安裝 ────────────────────────────────────────────────────────────────
# 🔴 官方文件(cloud-environments 的 what-carries-over 表)明文:
# 「Plugins enabled only in your user settings」→ **不會**帶到雲端 session。
# 薄殼 repo 的 .claude/settings.json 裡的 enabledPlugins extraKnownMarketplaces 才是主要路徑。
# 但 2026-08-20 雲端實測證明:**那兩個 key 宣告了也沒用,如果 git 認證不在。**
# Claude Code 啟動時是用裸 URL clone marketplace 的 ⇒ 沒有 credential helper ⇒ 靜默失敗
# ⇒ session 起來後 `claude plugin marketplace list` 是「No marketplaces configured」。
# ⇒ **上面那段 credential helper 才是主要路徑;下面兩行是備援。**
echo "── 安裝 marketplace / plugin ──"
claude plugin marketplace add https://git.uncle6.me/inkstone/ISEP.git --scope user 2>/dev/null || true
claude plugin install isep@inkstone --scope user 2>/dev/null || true
# ── 🔴 自我驗證三:marketplace 與 plugin 都真的就位了嗎 ──────────────
# 只驗 marketplace 不夠:marketplace 列得出來、plugin 沒裝起來,
# session 啟動時 enabledPlugins 一樣是一張跳票的支票。
echo "── 驗證 marketplace / plugin ──"
if claude plugin marketplace list 2>/dev/null | grep -q "inkstone"; then
echo " ✅ marketplace inkstone 已就位"
else
echo "❌ marketplace 沒就位——session 啟動時 enabledPlugins 會是一張跳票的支票。" >&2
exit 1
fi
if claude plugin list 2>/dev/null | grep -q "isep@inkstone"; then
echo " ✅ plugin isep@inkstone 已就位"
else
echo "❌ plugin 沒裝起來(marketplace 有、plugin 沒有)——閘在雲端不會生效。" >&2
exit 1
fi
cat <<'EOF'
✅ setup 完成。
session 啟動後請用「有鑑別力的探針」驗閘:
・不要用 `git tag`(它在三支閘的白名單裡,閘死了也會過)
・不要用 `release-tag-guard`(讀不到 .claude-plugin/plugin.json 就按設計 exit 0
・先確認你挑的那支閘「在這個情境下的設計行為」是擋,不是放行
驗閘之外,也順手確認這兩件(任一為否 ⇒ 這個 session 沒有 plugin,別當成有):
claude plugin marketplace list # 要看到 inkstone
claude plugin list # 要看到 isep@inkstone · enabled
EOF
+33 -7
View File
@@ -1,7 +1,7 @@
# SDD × Gitea 治理規範 # SDD × Gitea 治理規範
``` ```
version: 0.9.0 version: 0.10.0
status: 現行(本檔的修改依 §9 走 issue) status: 現行(本檔的修改依 §9 走 issue)
scope: 所有安裝 ISEP 的環境(本機 CC 與雲端 CC) scope: 所有安裝 ISEP 的環境(本機 CC 與雲端 CC)
distribution: 隨 ISEP 發佈,ISEP repo 是唯一編輯點(§11 distribution: 隨 ISEP 發佈,ISEP repo 是唯一編輯點(§11
@@ -13,6 +13,8 @@ lineage: v0.5.0 draft by claude.ai(存檔 _draft-claude-ai-v0.5.0.md
逐領域對照、三處矛盾解法、動工順序——leo 2026-08-20 核准 逐領域對照、三處矛盾解法、動工順序——leo 2026-08-20 核准
→ v0.9.0 leo 裁定全面 PR-only(§8.1):所有 subagent、地端與雲端總管一律走 PR, → v0.9.0 leo 裁定全面 PR-only(§8.1):所有 subagent、地端與雲端總管一律走 PR,
推翻總管原本「只有 ISEP 走 PR-only」的提案 推翻總管原本「只有 ISEP 走 PR-only」的提案
→ v0.10.0 M4.0 補上「里程碑怎麼組成」(目標→遍歷票池→缺口才補票→定下不改);
M4.3 改寫成「定下就不改,尤其不准因為做不完而打折」——leo 2026-08-20 訂正
``` ```
--- ---
@@ -125,12 +127,34 @@ s/triage ──驗傷通過──▶ s/backlog ──排進 milestone──▶ s
## 4. Milestone 規則(= sprint 可測試版本) ## 4. Milestone 規則(= sprint 可測試版本)
- **M4.1** 命名 `vX.Y`,必設 due date。 - **M4.0(怎麼組成一個 milestone** 🔴 **順序是:leo 給目標 → 遍歷票池找出「達成它需要哪些票」→
池裡沒有的才補開 → 定下,之後不改。**
```
leo 說要達成什麼
總管遍歷 issues 池(跨 repo),找出達成這個目標需要關掉哪些票
某一塊沒有票承接 ⇒ 那才是真缺口 ⇒ 補開一張(不是在里程碑裡編任務)
組成定下 ← 從這裡開始,內容不再變動
```
- **不是**「總管想做什麼就放什麼」,也**不是**「先訂五件事再看做得完幾件」。
- 里程碑的名字寫**這個里程碑在做什麼事**,不是版本號(leo 2026-08-20)。
- **M4.1** 必設 due date。
- **M4.2** Deliverable **一個可測的新版本號**。所有掛入 leaf 關閉後,可從預設分支打出通過驗收的版本。 - **M4.2** Deliverable **一個可測的新版本號**。所有掛入 leaf 關閉後,可從預設分支打出通過驗收的版本。
- **M4.3** **Timebox 到期:不自動關、不自動打 tag、也不把票移出。** 到期只做一件事:通知 leo。 - **M4.3(定下就不改,尤其不准打折)** 🔴 **組成一經定下,不因為做不完而縮減。**
🔴 **里程碑的內容一經確定就不增不減**leo 2026-08-20:「milestone 確定後怎麼可以再把東西移除?
定下工作自己刪掉是什麼意思?根本就沒有什麼降」)。增減都是 leo 的裁決,不是總管的操作。 > leo 2026-08-20:「**milestone 確定後怎麼可以再把東西移除?定下工作自己刪掉是什麼意思?
自動打 tag 會製造假交付——tag 永遠只在「驗過了」之後發生。 > 根本就沒有什麼降**⋯⋯而不是要做 5 件事,做不到就改成 2 件,**自己打折**。」
- **Timebox 到期:不自動關、不自動打 tag、不把票移出。** 到期只做一件事:通知 leo。
- 做不完就是**還沒完成**,里程碑保持開著,百分比就顯示真實的完成度——
那個數字本來就是要拿來看「還差多少」的。把分母改小只是讓它說謊。
- 自動打 tag 會製造假交付——tag 永遠只在「驗過了」之後發生。
- ⚠️ 唯一的例外是**目標本身變了**(leo 改了要達成什麼)⇒ 那是重新走一次 M4.0,不是打折。
- **M4.4** Milestone 關閉 release tag,一對一。「已交付」唯一合法形式是 **tag 存在且裝得起來**;打 tag 前置 open issues 0(§8 E12)。 - **M4.4** Milestone 關閉 release tag,一對一。「已交付」唯一合法形式是 **tag 存在且裝得起來**;打 tag 前置 open issues 0(§8 E12)。
- **M4.5** Description 只寫版本目標一句 tracking 連結。討論回 tracking issue。 - **M4.5** Description 只寫版本目標一句 tracking 連結。討論回 tracking issue。
- **M4.6** 🔴 **release note 寫在 Gitea Releases 裡,不寫在 README。**leo 2026-08-20:「release 不是寫在 readme,要放在 release 裡」) - **M4.6** 🔴 **release note 寫在 Gitea Releases 裡,不寫在 README。**leo 2026-08-20:「release 不是寫在 readme,要放在 release 裡」)
@@ -602,7 +626,7 @@ leo 08-17 診斷見公理 308-17 實測:文字層的閘 **8 次誤攔、0
### 15.2 工作順序(六個里程碑,各 repo 同名,內容一經確定不增不減) ### 15.2 工作順序(六個里程碑,各 repo 同名,內容一經確定不增不減)
| 順 | 里程碑 | 來源票 | | 順 | 里程碑 | 來源票(由目標遍歷票池而來,M4.0 |
|---|---|---| |---|---|---|
| 0 | 讓閘擋對東西 | `InkStoneCo#56 #23 #22 #36 #55 #1` | | 0 | 讓閘擋對東西 | `InkStoneCo#56 #23 #22 #36 #55 #1` |
| 1 | 讓規則的效果看得見 | `InkStoneCo#48 #17 #20 #18`、`Arcrun#86 #142 #81` | | 1 | 讓規則的效果看得見 | `InkStoneCo#48 #17 #20 #18`、`Arcrun#86 #142 #81` |
@@ -611,6 +635,8 @@ leo 08-17 診斷見公理 308-17 實測:文字層的閘 **8 次誤攔、0
| 4 | 派工與交付紀律 | `InkStoneCo#12 #28`、`arcrun-rag#47 #124`、`Arcrun#93 #143 #131`、`system-dev-template#7` | | 4 | 派工與交付紀律 | `InkStoneCo#12 #28`、`arcrun-rag#47 #124`、`Arcrun#93 #143 #131`、`system-dev-template#7` |
| 5 | 票與文件歸位 | `InkStoneCo#9 #49 #10 #8 #5`、`system-dev-template#1 #4` | | 5 | 票與文件歸位 | `InkStoneCo#9 #49 #10 #8 #5`、`system-dev-template#1 #4` |
這六群的組成是照 M4.0 走出來的:leo 給的目標是「把管理這條線做對」,
總管遍歷 14 repo156 張 open 票,挑出 44 張達成它需要關掉的,**沒有補開任何新任務票**。
排序判準=「什麼擋住什麼」:閘不修好,其他群的成果會被誤攔咬到;沒有留痕,修了也量不出變好。 排序判準=「什麼擋住什麼」:閘不修好,其他群的成果會被誤攔咬到;沒有留痕,修了也量不出變好。
`#40` 是憲法,貫穿全部;`#48` 是 `#40` warn 校準的資料前提,所以排群 1 之首。 `#40` 是憲法,貫穿全部;`#48` 是 `#40` warn 校準的資料前提,所以排群 1 之首。
+212
View File
@@ -0,0 +1,212 @@
#!/usr/bin/env python3
# -*- coding: utf-8 -*-
"""arcrun 意圖工作流「回饋 hook」主體(D382026-08-01)。
由 arcrun-intent-guard.sh 呼叫(stdin = Claude Code 的 PreToolUse JSON)。
獨立成 .py 的理由:規則含大量引號與 regex,包在 shell 單引號裡會被吃掉
2026-08-01 實際踩到:'"componentId"' 被 shell 剝成裸字 → NameError)。
判準來源:system-dev/docs/3-specs/arcrun-usable/intent-rules.json
——與判分器共用同一份,避免兩套判準漂移。
"""
import json
import os
import re
import sys
def main():
try:
d = json.load(sys.stdin)
except Exception:
return 0
ti = d.get("tool_input") or {}
# 收集這次要送出的文字:檔案寫入 / 編輯 / bash 指令 / MCP 參數都看
parts = []
for k in ("content", "new_string", "command", "prompt"):
v = ti.get(k)
if isinstance(v, str):
parts.append(v)
for k in ("graph", "yaml", "workflow", "triplets", "body"):
v = ti.get(k)
if v is not None:
parts.append(v if isinstance(v, str) else json.dumps(v, ensure_ascii=False))
body = "\n".join(parts)
if not body.strip():
return 0
proj = os.environ.get("CLAUDE_PROJECT_DIR") or os.getcwd()
rules_path = os.path.join(
proj, "system-dev", "docs", "3-specs", "arcrun-usable", "intent-rules.json")
if not os.path.exists(rules_path):
return 0
R = json.load(open(rules_path, encoding="utf-8"))
rules = {r["id"]: r for r in R["rules"]}
LEGAL = re.compile(R["legal_edges"]["regex"])
# 只在「這確實是 arcrun 意圖工作流」時才出手,避免亂吵。
# 排除文件語境的雜訊(2026-08-01 自己編修 GUIDE 時被自己誤攔):
# markdown 表格列、引用行、註解行——教材列舉或引述錯誤寫法時必然含箭頭
def is_prose(l):
s = l.strip()
return (s.startswith("|") or s.startswith(chr(62) + " ")
or s.startswith("#") or s.startswith("//"))
triplet_lines = [l.strip() for l in body.split("\n")
if (chr(62) * 2) in l and not is_prose(l)]
# 2026-08-01 補漏:原本只認 JSON 圖(帶引號)⇒ **YAML 圖整份被放行**。
# leo 那次 haiku 失敗寫的正是 YAMLcomponentId: code,無引號),hook 完全沒攔到。
is_graph_json = ('"componentId"' in body) or ('"edges"' in body)
is_graph_yaml = bool(re.search(r'^\s*-?\s*componentId\s*:', body, re.M)
or re.search(r'^\s*edges\s*:', body, re.M))
is_graph = is_graph_json or is_graph_yaml
if not triplet_lines and not is_graph:
return 0
# 文件檔(.md)本來就會「引述錯誤寫法來教學」=R6 關鍵詞必然出現。
# 對 .md 只保留結構性規則,不做過時教材主張的字面偵測。
is_doc = str(ti.get("file_path") or "").endswith(".md")
# 🔴 2026-08-08:兩道 hook 直接打架,本閘誤攔 wiki 落帳。
# `wiki-first-police` **要求**我在 wiki 用知識三元組 `A >> 關係 >> B`
# leo 2026-08-01 立:「每件事牽涉到 2 個 repo,就可以在該事件查到那兩個 repo」)。
# 但本閘把任何含 `>>` 的行都當成 Arcrun 工作流的邊 ⇒ 落帳寫
# 「勸告治不了停 >> 所以改成 >> InkStoneCo:...」就被判「非法邊」+「第一個節點不是 input」。
# ⇒ 同一個符號、兩套約定。**.md 裡沒有真的工作流圖時,本閘不該有意見。**
# (有 componentId/edges 的 .md=真的在寫工作流文件,仍照常檢查。)
if is_doc and not is_graph:
return 0
# 🔴 2026-08-08 第二例:hook/腳本自己的原始碼裡出現 `>>` 是**正則樣式或 shell 重導向**,
# 不是 Arcrun 工作流的邊。實撞:wiki-first-police.sh 裡的
# `grep -qE '… >> 真身在 >> …'`(比對知識三元組用的樣式)被判「三元組格式錯」。
# ⇒ 機制程式碼一律豁免;真的工作流定義不會住在 .claude/hooks/。
_fp = str(ti.get("file_path") or "")
if "/.claude/hooks/" in _fp or _fp.endswith((".sh", ".py")):
if not is_graph:
return 0
hits = []
def hit(rid, detail):
if not any(h[0] == rid for h in hits):
hits.append((rid, detail))
COND = re.compile(
r"判斷|檢查|如果|大於|小於|是否|超過|比較|驗證|check|if_|ifcontrol|compare|verify|threshold",
re.I)
if triplet_lines:
edges_of = {}
parsed = []
for l in triplet_lines:
# 2026-08-05 修:先剝掉 YAML 清單語法再切段。
# 原本直接切,第一段會是 `- "input` 而不是 `input`
# => R1「第一個節點必須是 input」永遠判為不符
# => 任何對 flow: 區塊的編輯都被擋死(實撞:改 rag-ingest-card 三次全被擋,
# 而該檔 flow 本來就合法)。
l = l.strip()
if l.startswith("- "):
l = l[2:].strip()
l = l.strip('"').strip("'").strip()
seg = [p.strip() for p in l.split(">>")]
if len(seg) != 3:
hit("R5-triplet-format", l[:60])
continue
a, e, c = seg
parsed.append((a, e, c))
if not LEGAL.match(e):
hit("R2-illegal-edge", "非法邊「%s」(%s" % (e, l[:50]))
edges_of.setdefault(a, []).append(e)
if parsed:
# 2026-08-13 修(同一段的第二次誤攔修正,前一次見上方 08-05 註解):
# R1 問的是「**整個工作流**的第一個節點是不是 input」——
# 那個問題只有在**看得到整份檔案**時才答得出來。
#
# `Write` 送的是 `content`(整檔)⇒ parsed[0] 真的是第一個節點 ✅
# `Edit` 送的是 `new_string`(片段)⇒ parsed[0] 是**那段片段的第一行**,
# 而增量編輯必然要帶一行既有的錨點來定位插入點
# ⇒ **錨點永遠被誤判成「工作流起點」**,不管它實際排第幾。
#
# ⇒ 這會結構性地擋住**任何**對既有多行 `flow:` 的增量修改。
# 實撞(2026-08-13):往 `km_wiki_ingest.yaml` 的 flow 尾端接五行新邊,
# 錨點是 `decide >> 對每個 update_item >> update_entry`
# ⇒ 報「第一個節點是『decide』」。而該檔第一個節點叫 `seed`,
# 是檔案自己 §4 註解寫明的刻意設計(避開引擎的觸發保留字)。
#
# 🔴 只放寬 R1,**R2(邊合法性)/R3/R4/R5 對片段照樣生效**——
# 那幾條檢查的是內容本身,沒有「位置語意」的問題。
if isinstance(ti.get("content"), str):
first = parsed[0][0]
if first.lower() != "input":
hit("R1-first-node-input", "第一個節點是「%s" % first)
for a, outs in edges_of.items():
branchy = any(
o in ("ON_TRUE", "ON_FALSE") or o.startswith("ON_BRANCH") for o in outs)
if COND.search(a) and not branchy:
hit("R3-condition-via-on_success",
"%s」有條件語意,出邊卻只有 %s" % (a, "".join(sorted(set(outs)))))
# R4code 節點在做流程控制
LOGIC = re.compile(
r"\bif\s*\(|\belse\b|\bfor\s*\(|\bwhile\s*\(|\.filter\(|\.map\(|\?\s*[^:\n]{1,40}\s*:")
if is_graph:
m = re.search(r"\{.*\}", body, re.S)
if m:
try:
g = json.loads(m.group(0))
for n in (g.get("nodes") or []):
if n.get("componentId") == "code":
ctx = json.dumps(
n.get("config") or n.get("payload") or n, ensure_ascii=False)
if LOGIC.search(ctx):
hit("R4-code-node-doing-logic",
"code 節點「%s」內含流程控制" % n.get("id"))
except Exception:
pass
if not any(h[0] == "R4-code-node-doing-logic" for h in hits):
# 2026-08-01 補:原本只認 JSON(帶引號)與 `>> code`
# 但 leo 那次 haiku 失敗寫的是 YAMLcomponentId: code,無引號)⇒ 漏抓。
looks_code = re.search(r">>\s*(code|js|script)\b", body, re.I) or \
re.search(r'"componentId"\s*:\s*"code"', body) or \
re.search(r'^\s*-?\s*componentId\s*:\s*["\']?code["\']?\s*$', body, re.M) or \
re.search(r'^\s*-?\s*(id|name)\s*:\s*["\']?(code|js|script)["\']?\s*$', body, re.M)
if looks_code and LOGIC.search(body):
hit("R4-code-node-doing-logic", "偵測到 code 節點且內容含 if/for/filter")
# R6:過時教材主張(會把 AI 擋在正解門外)
if not is_doc and (
re.search(r"(不支援|沒有|無)\s*(原生)?\s*(條件分支|ON_TRUE|ON_FALSE)", body)
or re.search(r"只有\s*ON_SUCCESS\s*(與|和|、)\s*(FOREACH|對每個)", body)):
hit("R6-stale-doc-claim", "文字聲稱引擎不支援條件分支")
if not hits:
return 0
out = []
out.append("🎓 arcrun-intent-guard:這份意圖有 %d 處可以更好——下面是**正確寫法,可直接照抄**。"
% len(hits))
out.append("")
for rid, detail in hits:
r = rules.get(rid, {})
out.append("── %s" % rid)
out.append(" 現場:%s" % detail)
out.append(" ✅ 正確寫法:%s" % r.get("teach", ""))
if r.get("fix_example"):
out.append(" 範例(照抄改內容即可):")
for line in r["fix_example"].split("\n"):
out.append(" %s" % line)
if r.get("payload_hint"):
out.append(" payload%s" % r["payload_hint"])
out.append("")
out.append("判準來源:system-dev/docs/3-specs/arcrun-usable/intent-rules.json(與判分器共用)")
out.append("不確定時**問實例**POST /cypher/search,回應裡的 branch_hint 會直接告訴你分支怎麼接。")
sys.stderr.write("\n".join(out) + "\n")
return 2
if __name__ == "__main__":
sys.exit(main())
+13 -3
View File
@@ -1,4 +1,7 @@
#!/bin/bash #!/bin/bash
# 管什麼: 對外接觸 GitHub 的寫入動作(gh CLI 高頻 API、git push/remote add 指向 github.com)——一律先擋,要 leo 手動解保險才放行。
# 為什麼: D202026-07-02)——兩個帳號因高頻寫入被 GitHub flag 永久拿不回;讀不設限(讀不是 abuse),只擋寫。
# 誤觸時怎麼關: 讀取(clone/fetch/pull/curl 抓檔)一律放行;真要寫 GitHubleo 跑 scripts/github-arm.sh 解保險;純粹提到 github.com 的文字(heredoc/commit message/留言)不算數,見下方判準。
# github-contact-guard.sh — GitHub 接觸保險(D202026-07-02 # github-contact-guard.sh — GitHub 接觸保險(D202026-07-02
# 背景:兩個帳號因高頻動作被 flag 拿不回(幾十顆星+issues 全損)。 # 背景:兩個帳號因高頻動作被 flag 拿不回(幾十顆星+issues 全損)。
# 設計:戰鬥機武器保險模式——平時所有 github.com 接觸一律機械擋下(exit 2), # 設計:戰鬥機武器保險模式——平時所有 github.com 接觸一律機械擋下(exit 2),
@@ -33,6 +36,13 @@ except Exception:
[ -z "$CMD" ] && exit 0 [ -z "$CMD" ] && exit 0
# 2026-08-20inkstone/InkStoneCo#23 comment, #56):a heredoc body is data, not an
# instruction. Writing docs/TESTING.md (one example line of a real push command,
# meant for a human to try later) got blocked because the whole heredoc body was
# scanned for keywords. Strip heredoc bodies before matching; on failure fall back
# to the original string (fail-open on "did this helper run", not on the verdict).
CMD=$(printf '%s' "$CMD" | python3 "$(dirname "$0")/lib/strip_heredoc.py" 2>/dev/null || printf '%s' "$CMD")
# 命中判定(D20 邊界,2026-07-05 leo 拍板——Facebook 比喻定調): # 命中判定(D20 邊界,2026-07-05 leo 拍板——Facebook 比喻定調):
# GitHub 不在乎你「讀」(clone/fetch/抓 release,不管實名匿名、自己的還別人的——那是它原本的功能, # GitHub 不在乎你「讀」(clone/fetch/抓 release,不管實名匿名、自己的還別人的——那是它原本的功能,
# 像 FB 不禁你讀貼文)。它 abuse-detect 的是「機器人一直改/寫」(高頻 push、Actions fan-out、API 寫) # 像 FB 不禁你讀貼文)。它 abuse-detect 的是「機器人一直改/寫」(高頻 push、Actions fan-out、API 寫)
@@ -43,10 +53,10 @@ except Exception:
# 放行:git clone/fetch/pull/ls-remote(任何 repo,帶不帶認證都是讀)、curl/wget、go get/pip。 # 放行:git clone/fetch/pull/ls-remote(任何 repo,帶不帶認證都是讀)、curl/wget、go get/pip。
HIT="" HIT=""
# ① gh CLI —— 高頻 API,全擋(讀寫混雜且走你 token,保守全擋;真要唯讀查詢個案 arm) # ① gh CLI —— 高頻 API,全擋(讀寫混雜且走你 token,保守全擋;真要唯讀查詢個案 arm)
if printf '%s' "$CMD" | grep -qE '(^|[;&|(]|\s)gh\s+(api|repo|issue|pr|auth|search|release|run|workflow|gist|browse)\b'; then if printf '%s' "$CMD" | grep -qE '(^|[;&|(`]|&&|\|\|)[[:space:]]*gh[[:space:]]+(api|repo|issue|pr|auth|search|release|run|workflow|gist|browse)\b'; then
HIT="gh CLI(高頻 API,走你的 token" HIT="gh CLI(高頻 API,走你的 token"
# ② git 寫入動詞指向 githubpush / remote add 為 push 鋪路)—— 寫入,擋 # ② git 寫入動詞指向 githubpush / remote add 為 push 鋪路)—— 寫入,擋
elif printf '%s' "$CMD" | grep -qiE 'git\s+(push|remote\s+add)([^|;&]*)(github\.com)'; then elif printf '%s' "$CMD" | grep -qiE '(^|[;&|(`]|&&|\|\|)[[:space:]]*git[[:space:]]+(push|remote[[:space:]]+add)([^|;&]*)(github\.com)'; then
HIT="git 寫入 → githubpush/remote add" HIT="git 寫入 → githubpush/remote add"
# ②b 🔴 2026-08-05 補漏:上面那條只認指令裡的 **github.com 字面** # ②b 🔴 2026-08-05 補漏:上面那條只認指令裡的 **github.com 字面**
# ⇒ `git push origin main`remote 名指向 GitHub**完全不會被攔**。 # ⇒ `git push origin main`remote 名指向 GitHub**完全不會被攔**。
@@ -60,7 +70,7 @@ elif printf '%s' "$CMD" | grep -qiE 'git\s+(push|remote\s+add)([^|;&]*)(github\.
# 不必等 remote 名稱解析成功才判斷得出來,而 remote 名稱解析在某些 cwd 下會失敗 # 不必等 remote 名稱解析成功才判斷得出來,而 remote 名稱解析在某些 cwd 下會失敗
# (見檔頭「2026-08-10 leo 簡化」那段的實撞紀錄)。字面查得到就直接判定, # (見檔頭「2026-08-10 leo 簡化」那段的實撞紀錄)。字面查得到就直接判定,
# 查不到才退回舊的「解 remote 名稱」那條路——兩條路都失手才會誤放行。 # 查不到才退回舊的「解 remote 名稱」那條路——兩條路都失手才會誤放行。
elif printf '%s' "$CMD" | grep -qiE '(^|[;&|(]|\s)git\s+([^|;&]*\s)?push(\s|$)'; then elif printf '%s' "$CMD" | grep -qiE '(^|[;&|(`]|&&|\|\|)[[:space:]]*git[[:space:]]+([^|;&]*[[:space:]])?push([[:space:]]|$)'; then
# 🔴 總管 2026-08-10 收窄:原版寫成「整串裡有 github.com 就擋」, # 🔴 總管 2026-08-10 收窄:原版寫成「整串裡有 github.com 就擋」,
# 於是**連 commit message 提到那個網址都會被擋**(我自己第一次要 commit 就撞到)。 # 於是**連 commit message 提到那個網址都會被擋**(我自己第一次要 commit 就撞到)。
# ⇒ 改成必須是「push 的目標」:github.com 要出現在 push 之後、且中間不跨命令分隔符。 # ⇒ 改成必須是「push 的目標」:github.com 要出現在 push 之後、且中間不跨命令分隔符。
+4
View File
@@ -178,6 +178,10 @@
{ {
"type": "command", "type": "command",
"command": "${CLAUDE_PLUGIN_ROOT}/hooks/skill-deploy-drift-guard.sh" "command": "${CLAUDE_PLUGIN_ROOT}/hooks/skill-deploy-drift-guard.sh"
},
{
"type": "command",
"command": "${CLAUDE_PLUGIN_ROOT}/hooks/isep-presence-beacon.sh"
} }
] ]
} }
+100
View File
@@ -0,0 +1,100 @@
#!/usr/bin/env python3
"""判斷一份派工單(Agent/Task 的 prompt)有沒有把「不可逆動作」寫成收工方可以自己執行的選項。
stdin: 派工單全文 stdout: JSON {"verdict": "BLOCK"/"OK", "hits": [[行號, 該行, 命中詞], ...]}
【事故(Gitea Leo/arcrun-rag#332026-08-09)】
subagent 未經 leo 同意刪掉兩條遠端分支。根因不是它亂來——是派工單寫了
「作廢就刪掉分支」,等於總管預先授權了一個不可逆動作。刪掉的那條裡還有一件
它自己標明「等 leo 排序」的工作,一併蒸發。
【對照組,同一天同一個總管】#14 的派工單寫
「🔴 刪資料不可逆。動手前先把清單寫在 issue 留言,等總管回覆確認才執行」
⇒ 那個 agent 真的停下來等。同一個人一次寫對一次寫錯 ⇒ 證明只能靠機械閘,不能靠自律。
【判準】
- 派工單裡出現「不可逆動作」的動詞+對象(刪分支/drop tablerm -rfforce push…)
- 且該處**沒有被否定**(不是「不准刪」這種禁令句)
- 且全文**沒有**「停下來等回覆才執行」這類守門片語
⇒ 判定為「把不可逆動作寫成可以自己執行的選項」,擋下。
同時符合上述前兩點、但全文有守門片語 ⇒ 判定為 #14 那種「先回報、等確認」寫法,放行。
豁免:命中那一行尾巴加 `irreversible-ok`(留痕式豁免,比照本目錄其他 guard 的慣例)。
"""
import json
import re
import sys
# 不可逆動作:動詞 + 常見對象(分支/資料/表/repo/檔案/環境…)
IRREVERSIBLE_RE = re.compile(
r"("
r"刪(?:除|掉)?[^\n,。!?、;;()()]{0,12}(?:分支|branch|資料|data|table|表|db|資料庫|repo|檔案|record|entry|遠端|remote|環境|instance|實例)"
r"|砍(?:掉)?[^\n,。!?、;;]{0,6}(?:分支|branch)"
r"|洗掉"
r"|清空"
r"|格式化"
r"|(?:硬|真)刪(?:除)?"
r"|永久(?:刪除|移除)"
r"|drop\s+table"
r"|rm\s+-rf"
r"|reset\s+--hard"
r"|force[-\s]?push"
r"|git\s+push[^\n]{0,20}(?:--force|-f\b)"
r"|git\s+branch\s+-D"
r"|git\s+push[^\n]{0,20}--delete"
r"|delete[^\n]{0,12}(?:branch|data|table|repo|record)"
r")",
re.IGNORECASE,
)
# 否定:這段話是在「禁止」不可逆動作,不是授權它
NEGATION_RE = re.compile(
r"(不准|不可|不得|不要|禁止|勿|別|莫|no\s|never\s|don't\s|do not\s)\s*$",
re.IGNORECASE,
)
# 守門片語:明確要求「停下來,等人回覆才執行」
GATE_RE = re.compile(
r"("
r"先.{0,25}留言.{0,15}等.{0,12}(?:回覆|確認|同意)"
r"|等.{0,10}(?:leo|總管|leo21c).{0,15}(?:回覆|確認|同意|批准).{0,10}(?:才|再).{0,12}(?:執行|動手|做|刪|砍)"
r"|不准動手"
r"|停下來.{0,10}等"
r"|動手前.{0,15}(?:先|等待|等)"
r"|等\s*(?:leo|總管)\s*(?:回覆|確認|同意|拍板)"
r"|wait\s+for\s+(?:confirmation|approval|leo)"
r"|before\s+(?:doing so|acting|deleting|executing)[^\n]{0,30}(?:wait|confirm)"
r")",
re.IGNORECASE,
)
def check(text: str):
lines = text.split("\n")
gate_found = bool(GATE_RE.search(text))
hits = []
for i, line in enumerate(lines, start=1):
if "irreversible-ok" in line:
continue
for m in IRREVERSIBLE_RE.finditer(line):
before = line[max(0, m.start() - 8): m.start()]
if NEGATION_RE.search(before):
continue
hits.append([i, line.strip(), m.group()])
if not hits:
return "OK", hits, gate_found
if gate_found:
return "OK", hits, gate_found
return "BLOCK", hits, gate_found
if __name__ == "__main__":
text = sys.stdin.read()
verdict, hits, gate_found = check(text)
print(json.dumps(
{"verdict": verdict, "hits": hits, "gate_found": gate_found},
ensure_ascii=False,
))
+30
View File
@@ -0,0 +1,30 @@
#!/usr/bin/env bash
# isep-presence-beacon.sh — SessionStart:報出「ISEP 真的載入了,幾版、幾支閘」
#
# 這不是閘,是**信標**。存在的理由是 2026-08-20 的雲端事故:
# 雲端 session 的閘全滅,而三個驗證步驟全部回綠——因為它們沒有鑑別力
# (`git tag` 在三支閘的白名單裡;`Skills(9)/Hooks(5)` 剛好是薄殼自己的 .claude/ 產生的數字)。
#
# 🔴 鑑別力就是這支的全部意義:
# 這行出現 ⇒ plugin 一定載入了(因為它自己就住在 plugin 裡)
# 這行不見 ⇒ plugin 沒載入,那個 session 是零閘狀態
# ——沒有第三種情況,也沒有「剛好也會過」的巧合。
set -uo pipefail
ROOT="${CLAUDE_PLUGIN_ROOT:-}"
[ -n "$ROOT" ] || exit 0
VER="$(sed -n 's/.*"version"[[:space:]]*:[[:space:]]*"\([^"]*\)".*/\1/p' \
"$ROOT/.claude-plugin/plugin.json" 2>/dev/null | head -1)"
VER="${VER:-未知}"
GATES="$(ls "$ROOT"/hooks/*.sh 2>/dev/null | wc -l | tr -d ' ')"
MSG="🟢 ISEP v${VER} 已載入(${GATES} 支閘在 ${ROOT}"
printf '%s\n' "{
\"systemMessage\": \"${MSG}\",
\"hookSpecificOutput\": {
\"hookEventName\": \"SessionStart\",
\"additionalContext\": \"${MSG}。這行是 ISEP plugin 自己發的——看得到它就表示閘真的生效了。若某個 session 從頭到尾沒有這行,那個 session 是零閘狀態,先修 plugin 再做事,不要用『跑得動』當證據。\"
}
}"
+7 -1
View File
@@ -1,4 +1,7 @@
#!/bin/bash #!/bin/bash
# 管什麼: Bash 分支擋「繞過 API 牆、直接對那顆資料庫執行 SQL」的指令;Write/Edit 分支擋新增 DDL/原生 SQL/新 D1 binding。
# 為什麼: leo 2026-08-07 立 D38——KBDB 只能走 API,零 SQL、永不加表;規則掛在「KBDB」這個詞上,容易在想著「D1/建表」時漏載入。
# 誤觸時怎麼關: 該行尾加 kbdb-sql-ok(留痕,commit 說明理由);Bash 分支的判準邏輯在 hooks/lib/kbdb_cmd_check.py,誤攔先查那支。
# PreToolUse hook — KBDB 是 API-as-Wall:零 SQL、永不加表(L3 硬攔截) # PreToolUse hook — KBDB 是 API-as-Wall:零 SQL、永不加表(L3 硬攔截)
# #
# 【leo 2026-08-07 立】原話: # 【leo 2026-08-07 立】原話:
@@ -42,6 +45,9 @@ else
BASH_CMD="" BASH_CMD=""
fi fi
if [ -n "${BASH_CMD:-}" ]; then if [ -n "${BASH_CMD:-}" ]; then
# 逃生口跟 Write/Edit 分支同一個標記(留痕,commit 說明理由)——加了這支才會真的擋,
# 之前 Bash 分支引用的檔案不存在、永遠印 "OK",逃生口自然也沒人需要,現在補上。
case "$BASH_CMD" in *kbdb-sql-ok*) exit 0 ;; esac
# 🔴 2026-08-07 修正:第一版做「整條命令字串比對」,結果**第四次誤擋總管**—— # 🔴 2026-08-07 修正:第一版做「整條命令字串比對」,結果**第四次誤擋總管**——
# 誤擋的是 `git commit -m "...引用了那個命令字面..."`:那是在**描述**這件事, # 誤擋的是 `git commit -m "...引用了那個命令字面..."`:那是在**描述**這件事,
# 不是在執行它。同一天已被自己的閘誤擋三次(Task 分支),這是第四次。 # 不是在執行它。同一天已被自己的閘誤擋三次(Task 分支),這是第四次。
@@ -49,7 +55,7 @@ if [ -n "${BASH_CMD:-}" ]; then
# 引號內、heredoc 內、commit message 內的同樣字面一律不算。 # 引號內、heredoc 內、commit message 內的同樣字面一律不算。
# 判斷邏輯住在獨立檔(見該檔開頭:內嵌逃逸讓這道閘改一次壞一次) # 判斷邏輯住在獨立檔(見該檔開頭:內嵌逃逸讓這道閘改一次壞一次)
BASH_VERDICT=$(printf '%s' "$BASH_CMD" \ BASH_VERDICT=$(printf '%s' "$BASH_CMD" \
| python3 "$(dirname "$0")/kbdb_cmd_check.py" 2>/dev/null || echo "OK") | python3 "$(dirname "$0")/lib/kbdb_cmd_check.py" 2>/dev/null || echo "OK")
if [ "$BASH_VERDICT" = "BAD" ]; then if [ "$BASH_VERDICT" = "BAD" ]; then
cat >&2 <<'EOB' cat >&2 <<'EOB'
🧱 kbdb-api-wall-guardBash):偵測到繞過 API 牆、直接對那顆資料庫執行 SQL 的命令。 🧱 kbdb-api-wall-guardBash):偵測到繞過 API 牆、直接對那顆資料庫執行 SQL 的命令。
+24 -6
View File
@@ -46,16 +46,34 @@ if printf '%s' "$cmd" | grep -q 'leo21c-write-guard'; then
exit 0 exit 0
fi fi
# leo21c 的三個座標(帳號 idnamespaceworker 網域) # ── 判準:這個指令會不會真的把東西寫到那台?────────────────────────────────
if ! printf '%s' "$cmd" | grep -qE 'leo21c|51a01bfa2665bd7bc3fd080dc40cf3e1|bfezv28v'; then # 🔴 2026-08-20 第三次誤攔後收斂(前兩次:git commit 訊息、修閘自己)。
exit 0 # 舊判準是「文字裡有沒有出現座標」+「有沒有寫入動詞」,於是
# `curl -X PATCH .../api/v1/repos/inkstone/Arcrun/issues/145 -d '{"state":"closed"}'`
# **只因為票的內文提到那個帳號就被擋**——而那是打 Gitea,跟 CF 一點關係都沒有。
# ⇒ 只認**兩種真的會寫到那台的形狀**,其餘一律不管文字寫了什麼:
# ① 寫入請求打到 `*.leo21c.workers.dev`
# ② 用它的 CF 帳號 id 去跑 wrangleracr
# leo 2026-08-17:「紅線寫得越細,命中關鍵字的機率越高 ⇒ 那些閘在懲罰謹慎。」
hit=0
# ① 寫入請求打到那台 worker
if printf '%s' "$cmd" | grep -qiE 'https?://[^[:space:]"'"'"']*leo21c\.workers\.dev'; then
if printf '%s' "$cmd" | grep -qE -- '-X *(POST|PUT|PATCH|DELETE)|--data|--data-raw|-d[[:space:]]|/trigger'; then
hit=1
fi
fi fi
# 寫入動作的形狀 # ② 拿它的 CF 帳號去部署
if ! printf '%s' "$cmd" | grep -qE -- '-X *(POST|PUT|PATCH|DELETE)|--data|--data-raw|-d ["'"'"'{]|wrangler +(deploy|publish|kv|d1|secret)|acr +(update|deploy|push)|/trigger|ingest|kbdb_create|kbdb_update'; then if printf '%s' "$cmd" | grep -qE 'CLOUDFLARE_ACCOUNT_ID=51a01bfa2665bd7bc3fd080dc40cf3e1'; then
exit 0 if printf '%s' "$cmd" | grep -qE 'wrangler|acr |node .*index\.js'; then
hit=1
fi
fi fi
[ "$hit" = "1" ] || exit 0
cat >&2 <<'MSG' cat >&2 <<'MSG'
🚫 不准寫 leo 的個人帳號 leo21cleo 2026-08-20 立) 🚫 不准寫 leo 的個人帳號 leo21cleo 2026-08-20 立)
Binary file not shown.
+133
View File
@@ -0,0 +1,133 @@
#!/usr/bin/env python3
"""hooks/lib/kbdb_cmd_check.py -- shared helper for kbdb-api-wall-guard.sh's
Bash channel (inkstone/ISEP#40 S7: helpers live in lib/, do not count as a
hand-written gate).
What it guards: whether a bash command string contains a real, at-command-
position invocation of wrangler's D1 execute subcommand (any wrapper such as
npx/pnpm) targeting a database whose name mentions "kbdb" -- that is a
direct-SQL bypass of the KBDB API wall (D38, leo 2026-08-07: zero SQL,
always through the HTTP API).
Why this file exists (not just "why the rule exists"): the calling gate,
hooks/kbdb-api-wall-guard.sh, used to pipe the raw command straight through
a keyword grep. That produced the exact "keyword shows up vs. real
instruction" confusion this repo has hit repeatedly (inkstone/InkStoneCo#23:
the phrase showed up inside a delegation prompt that was *talking about* the
rule, not breaking it). The fix pattern already proven on
hooks/release-tag-guard.sh is "only count a keyword when it sits at command
position" -- this file is that same pattern for the KBDB Bash channel,
factored out to its own file because embedding shell-escaping-aware parsing
inline in the .sh caused regressions each time someone touched it (see the
.sh file's own header for that history).
Two extra layers vs. a plain regex:
1. hooks/lib/strip_heredoc.py runs first (imported below) so a heredoc body
that merely *mentions* the D1-execute pattern against kbdb as
documentation text does not count -- same root cause as
InkStoneCo#23/#56.
2. Command segmentation uses shlex with punctuation_chars, so a `;`/`&`/`|`
that appears *inside* a quoted string (e.g. a commit message) does not
get treated as a command boundary, and text inside quotes is only
inspected when the quoted text is itself an argument to a command that
is genuinely at command position (e.g. a `--command` value passed to a
real wrangler invocation) -- not when it is merely quoted prose
describing the rule.
Genuine parse failures (unbalanced quotes, exotic constructs) fail OPEN
(print "OK"), matching this repo's stated design discipline: fail-open on
parse failure, not fail-open on the verdict itself (see release-tag-guard.sh
header). The caller (kbdb-api-wall-guard.sh) already blocks direct file-path
writes into kbdb/ paths and DDL/`.prepare(`/`.exec(`/`.batch(` in Write/Edit
content through its own separate channels -- this file only covers the Bash
CLI channel.
Usage:
printf '%s' "$CMD" | python3 hooks/lib/kbdb_cmd_check.py
-> prints exactly "BAD" or "OK" on stdout.
"""
import os
import shlex
import sys
sys.path.insert(0, os.path.dirname(os.path.abspath(__file__)))
from strip_heredoc import strip_heredocs # noqa: E402
_WRAPPERS = {"npx", "pnpm", "yarn", "bunx", "exec", "sudo", "env", "corepack"}
_DB_HINT = "kbdb"
_D1_TOKEN = "d1"
_SUBCMD_TOKEN = "execute"
def _segments(cmd: str):
"""Split cmd into a list of token-lists, one per "simple command",
breaking on real shell control operators. Quote-aware via shlex, so a
control character inside a quoted string does not split. Returns None
on unparseable input (caller should fail open)."""
try:
lex = shlex.shlex(cmd, posix=True, punctuation_chars=True)
lex.whitespace_split = True
tokens = list(lex)
except ValueError:
return None
boundary = {";", "&", "&&", "|", "||", "(", ")", "\n"}
segments = []
current = []
for tok in tokens:
if tok in boundary:
if current:
segments.append(current)
current = []
else:
current.append(tok)
if current:
segments.append(current)
return segments
def _is_kbdb_d1_execute(segment):
"""True if this one simple command is wrangler's D1 execute subcommand
(optionally behind a wrapper like npx/sudo/env) aimed at a database
whose name mentions "kbdb" anywhere in its arguments."""
i = 0
# Skip leading VAR=value assignments (env-style prefix).
while i < len(segment):
head = segment[i].split("=", 1)[0]
if "=" in segment[i] and head.replace("_", "").isalnum() and head[:1].isalpha():
i += 1
else:
break
# Skip known wrappers (npx wrangler ..., sudo wrangler ..., env X=Y wrangler ...).
while i < len(segment) and os.path.basename(segment[i]) in _WRAPPERS:
i += 1
if i >= len(segment):
return False
cmdname = os.path.basename(segment[i])
if cmdname != "wrangler":
return False
rest = segment[i + 1 :]
if _D1_TOKEN not in rest or _SUBCMD_TOKEN not in rest:
return False
joined_lower = " ".join(rest).lower()
return _DB_HINT in joined_lower
def check(cmd: str) -> str:
stripped = strip_heredocs(cmd)
segments = _segments(stripped)
if segments is None:
return "OK" # parse failure -> fail open, not fail on the verdict
for seg in segments:
if _is_kbdb_d1_execute(seg):
return "BAD"
return "OK"
def main() -> None:
cmd = sys.stdin.read()
print(check(cmd))
if __name__ == "__main__":
main()
+47
View File
@@ -0,0 +1,47 @@
# hooks/lib/path-resolve.sh — 共用:判斷一個檔案路徑「歸不歸某個 git repo 管」。
# 不是獨立掛的閘(沒進 hooks.json),給其他 PreToolUse 閘 `source` 用的函式庫。
#
# 背景(inkstone/InkStoneCo#22):sdd-guard.sh 曾經把 scratchpad 暫存檔
# `/private/tmp/.../scratchpad/foo.py`)誤判成「repo 裡的 code 變動」而擋下——
# 因為它只會「猜專案根($CLAUDE_PROJECT_DIR 或 cwd)+往上找 3-specs」,
# 猜錯或猜不到時,找不到 3-specs 就一律當「找不到 SDD」擋下,連「這條路徑根本不在
# 任何 repo 裡、SDD 這件事天生管不到它」都沒判斷過。
#
# path_in_git_worktree 提供一個不必先猜對專案根的判法:直接問 git
# 「這個路徑在不在某個 repo 的工作樹裡」。不必窮舉暫存區的路徑關鍵字(/tmp、scratchpad…),
# 任何真的不在 git repo 裡的路徑,一律視同「這是暫存/非受管檔案」。
#
# 同一個 `${CLAUDE_PROJECT_DIR:-$(pwd)}` 猜根目錄寫法,實測(2026-08-20)還出現在:
# component-guard.sh、factory-idle-guard.sh、github-contact-guard.sh、
# history-first-guard.sh、main-and-prod-push-guard.sh、no-ticket-no-dispatch.sh、
# not-my-branch-guard.sh、release-tag-guard.sh、skill-deploy-drift-guard.sh、
# stage-before-prod-guard.sh、unpushed-police.sh、wiki-first-police.sh。
# 另有 claim-verify-police.sh、subagent-claim-worksheet.sh、empty-handed-stop-guard.sh、
# issue-status-autoflip.sh 直接寫 `$CLAUDE_PROJECT_DIR`(無 `:-` fallback)——
# 這批在該變數未設時行為又不一樣,同一個病的另一種長相。
# 這些全部沒有本檔「先確認到底在不在 repo 裡」的判斷;本檔先在 sdd-guard.sh 落地,
# 其餘要不要跟進、要不要改用這支共用函式,另案處理,不在本票(#22)範圍內一次改完。
#
# 用法:
# source "$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)/lib/path-resolve.sh"
# if ! path_in_git_worktree "$FILE_PATH"; then
# # 不在任何 git repo 裡 ⇒ 這支閘通常管不到,多半該放行
# fi
# path_in_git_worktree <path>
# 回傳 0=這個路徑落在某個 git 工作樹裡;1=不在任何 git repo 裡(含路徑本身不存在的情況)。
# 做法:從路徑的目錄部分開始,往上找到「第一個真的存在的祖先目錄」,
# 對那個目錄問 `git rev-parse --is-inside-work-tree`。
# 為什麼要往上找存在的祖先,不能直接對 dirname 問:
# 要在 repo 裡建一個還沒建立的子目錄下的新檔案時,dirname 也不存在,
# 若不往上找,`git -C <不存在的目錄>` 會直接失敗 ⇒ 誤判成「不在 repo 裡」
# ⇒ 放行了本來該擋的東西(fail-open 的洞,不是這支函式該製造的)。
path_in_git_worktree() {
local p="$1" d
d=$(dirname -- "$p")
while [ ! -d "$d" ] && [ "$d" != "/" ]; do
d=$(dirname -- "$d")
done
[ -d "$d" ] || return 1
git -C "$d" rev-parse --is-inside-work-tree >/dev/null 2>&1
}
+73
View File
@@ -0,0 +1,73 @@
#!/usr/bin/env python3
"""hooks/lib/strip_heredoc.py -- shared helper, not a gate (inkstone/ISEP#40 S7:
helpers live in lib/ and do not count as a hand-written gate).
What it guards: nothing by itself. It strips the *body* of a bash heredoc out
of a command string, keeping the start line (the control-flow part) intact.
Why: a heredoc body is data, not an instruction. Two mis-blocks on
2026-08-20 (inkstone/InkStoneCo#23, #56) shared one root cause: a gate ran a
keyword scan over the *entire* command string, heredoc body included, so text
that merely *mentioned* a trigger phrase inside a file being written (or a
comment being posted) was treated as if that phrase were actually being
executed. One case was writing docs/TESTING.md (the body had one example line
of a GitHub push command as literal text for a human to try later); the other
was posting a Gitea comment that quoted this very ticket's own description.
This helper only removes the body; each gate keeps its own keyword rules, it
just no longer has to solve heredoc-quoting itself.
Usage:
printf '%s' "$CMD" | python3 hooks/lib/strip_heredoc.py
Or import it as a module:
from strip_heredoc import strip_heredocs
"""
import re
import sys
# <<EOF <<-EOF <<~EOF <<'EOF' <<"EOF" (only one modifier is valid at a
# time in real bash; both are accepted here so a odd combo still matches).
_START_RE = re.compile(r"<<(-|~)?[ \t]*(['\"]?)([A-Za-z_][A-Za-z0-9_]*)\2")
def strip_heredocs(cmd: str) -> str:
"""Replace every heredoc body in cmd with nothing; keep the start line
and everything outside heredocs untouched."""
lines = cmd.split("\n")
out = []
i = 0
n = len(lines)
while i < n:
line = lines[i]
m = _START_RE.search(line)
if not m:
out.append(line)
i += 1
continue
strip_tabs = m.group(1) == "-"
delim = m.group(3)
out.append(line) # the start line itself is control flow, keep it
i += 1
found_end = False
while i < n:
probe = lines[i]
check = probe.lstrip("\t") if strip_tabs else probe
if check == delim:
i += 1 # the terminator line is a marker, drop it too
found_end = True
break
i += 1 # body line: drop it, do not append to out
if not found_end:
# command was truncated / no terminator found -- do not invent
# one, we've already consumed to the end of the string.
pass
return "\n".join(out)
def main() -> None:
cmd = sys.stdin.read()
sys.stdout.write(strip_heredocs(cmd))
if __name__ == "__main__":
main()
+37 -18
View File
@@ -1,4 +1,7 @@
#!/bin/sh #!/bin/sh
# 管什麼: subagent 推 gitea main 要先有總管戳記;wrangler 部署到非 stage 環境要 leo 手動解保險。
# 為什麼: leo 2026-08-10——「subagent 推 main 你確認,推 prod 我確認」;規則存在但沒機制驗證有沒有照做,於是閘長在機器上。
# 誤觸時怎麼關: 讀取/查狀態/演練一律放行;真要推 main,總管看過 commit 後 `git rev-parse --show-toplevel > /tmp/.main-push-ok`;真要打 stage,指令裡帶 staging/--env stage 字樣。
# main-and-prod-push-guard.sh — PreToolUseBash):**兩層手動確認閘** # main-and-prod-push-guard.sh — PreToolUseBash):**兩層手動確認閘**
# #
# 🔴 立這道閘的來由(leo 2026-08-10): # 🔴 立這道閘的來由(leo 2026-08-10):
@@ -34,9 +37,23 @@ except Exception: print("")
[ -z "$CMD" ] && exit 0 [ -z "$CMD" ] && exit 0
# 🔴 2026-08-20inkstone/InkStoneCo#23、#56):heredoc 的 body 是資料,不是指令。
# 直接對整條指令字串(含 heredoc 內文)做關鍵字掃描,會把「檔案內容/留言引用裡
# 剛好提到 git push」當成「真的在推」——同一天兩起實撞:寫 docs/TESTING.md 的
# 一行範例文字、貼一則引用 #56 敘述的 Gitea 留言,都被這樣擋下。
# 拿掉 heredoc body 再比對,判準不變,範圍變準。失敗就退回原字串(fail-open
# 在「這支有沒有幫上忙」,不是「放行與否」——見 hooks/lib/strip_heredoc.py 檔頭)。
CMD=$(printf '%s' "$CMD" | python3 "$(dirname "$0")/lib/strip_heredoc.py" 2>/dev/null || printf '%s' "$CMD")
# ── 先放行明確不發佈的動作(讀取、查狀態、寫本地版控、演練)────────────── # ── 先放行明確不發佈的動作(讀取、查狀態、寫本地版控、演練)──────────────
# 關鍵字出現在 commit 訊息、在 sed/grep 的參數裡,都不是「執行」。 # 🔴 2026-08-20 修正(release-tag-guard.shstage-before-prod-guard.sh 已修過同款洞):
# 舊版「CMD 開頭是讀取工具就整條放行」本身是穿牆路——
# echo x && git push gitea HEAD:main
# 開頭是 echo,照 glob 前綴比對會整條 exit 0,後面真的在推 main 完全不看。
# ⇒ 改成「先看有沒有出現危險關鍵字,出現了就不吃開頭豁免」,交給下面的
# 「指令位置」判準去判斷它是不是真的在執行。
case "$CMD" in case "$CMD" in
*"git push"*|*"wrangler deploy"*|*"wrangler publish"*|*"wrangler versions deploy"*) ;;
sed\ *|cat\ *|grep\ *|head\ *|tail\ *|wc\ *|less\ *|ls\ *|awk\ *|rg\ *|echo\ *) exit 0 ;; sed\ *|cat\ *|grep\ *|head\ *|tail\ *|wc\ *|less\ *|ls\ *|awk\ *|rg\ *|echo\ *) exit 0 ;;
*"git commit"*|*"git add"*|*"git tag"*|*"git stash"*) exit 0 ;; *"git commit"*|*"git add"*|*"git tag"*|*"git stash"*) exit 0 ;;
*"git status"*|*"git log"*|*"git diff"*|*"git show"*|*"git branch"*) exit 0 ;; *"git status"*|*"git log"*|*"git diff"*|*"git show"*|*"git branch"*) exit 0 ;;
@@ -91,19 +108,24 @@ stamp_ok() {
return 0 return 0
} }
if true; then # reworked 2026-08-20 (inkstone/InkStoneCo#23, #56): 'does this command contain
case "$CMD" in # git push' moved from a whole-string substring test to a command-position test --
*"git push"*) # same pattern already validated on release-tag-guard.sh: the phrase only counts
# 只擋打到 mainmaster 的;推自己的 feature 分支照常放行 # at the start of the string, or right after ; & | ( ` && ||. A heredoc body was
case "$CMD" in # already stripped above; this closes the remaining gap where the phrase shows up
# 🔴 2026-08-12 拿掉 `push -u` / `push --set-upstream` 這兩個條件。 # quoted inside the *same* command line (e.g. a python -c call whose string argument
# 它們本來是想抓「沒寫分支的 push」,但實際抓到的是 # discusses git push as prose).
# `git push -u gitea fix/xxx`——**subagent 發表自己分支的標準動作** if printf '%s' "$CMD" | grep -qE '(^|[;&|(`]|&&|\|\|)[[:space:]]*git([[:space:]]+[^;&|]*)?[[:space:]]+push([[:space:]]|$)'; then
# (第一次推當然要 -u)。⇒ 舊版等於「agent 永遠推不出自己的分支」, # only block pushes that target main/master; pushing your own feature branch is fine
# 而 leo 2026-08-12 的設計是「主線禁止動,大家都走 PR」,推分支是那條路的第一步。 #
# 08-12 當天四張 PR 全是繞成 `git push gitea a:a` 才推出去的。 # 2026-08-12: dropped the `push -u` / `push --set-upstream` conditions -- those were
# `*main*``*master*` 兩條照舊——真正該擋的是目標分支,不是有沒有帶旗標。 # meant to catch "push with no branch named", but what they actually caught was
*main*|*master*) # `git push -u gitea fix/xxx`, the normal first-push-of-a-branch shape for a
# subagent. The target branch is what should be gated, not whether a flag is present.
# 2026-08-20: match the target branch on a word boundary, not a bare substring --
# a glob like *main* also matches "domain" (d-o-**m-a-i-n**), e.g. a push to
# `fix/custom-domain-setup` would have false-positived.
if printf '%s' "$CMD" | grep -qE '(^|[^A-Za-z])(main|master)([^A-Za-z]|$)'; then
stamp_ok && exit 0 stamp_ok && exit 0
# ── 擋下的同時,把「誰想推什麼」留成一份請求(leo 2026-08-12)─────────── # ── 擋下的同時,把「誰想推什麼」留成一份請求(leo 2026-08-12)───────────
@@ -197,10 +219,7 @@ leo 原話:
【真的該推 main 的例外】不存在。交回總管,一句話的事。 【真的該推 main 的例外】不存在。交回總管,一句話的事。
MSG MSG
exit 2 exit 2
;; fi
esac
;;
esac
fi fi
# ── ② prod 部署要 leo 親手解保險 ──────────────────────────────────────── # ── ② prod 部署要 leo 親手解保險 ────────────────────────────────────────
+78 -13
View File
@@ -1,4 +1,11 @@
#!/bin/bash #!/bin/bash
# 管什麼: Write/Edit 動 code 檔(.ts/.py/.go…)前,要不要有對應的一份 status: active SDDdesign.md)。
# 為什麼: SDD 生命週期鐵律——動 code 前必須有規格可對,且整個 repo 同一時刻只准一份 active。
# 把「動手前先讀 SDD」從只能靠人記,升級成機器擋(system-dev/docs/3-specs/SDD-LIFECYCLE.md)。
# 誤觸時怎麼關: 改文件/測試檔/3-specs 自己一律放行(下方 case 已排除);不在任何 git repo
# 裡的路徑(scratchpad、/tmp 暫存檔)一律放行,SDD 管不到它們。真的要臨時豁免
# 一次小改動,說明範圍後由人手動放行——這支閘不設「一行關掉」的旗標。
#
# PreToolUse hook — 動 code 前檢查 SDD 單一活性 SDD 鐵律(issue #6 # PreToolUse hook — 動 code 前檢查 SDD 單一活性 SDD 鐵律(issue #6
# wishlist §2:把 /sdd-check 從「命令要人打」升級成「hook 自動攔」。 # wishlist §2:把 /sdd-check 從「命令要人打」升級成「hook 自動攔」。
# 生命週期規則全文:system-dev/docs/3-specs/SDD-LIFECYCLE.md # 生命週期規則全文:system-dev/docs/3-specs/SDD-LIFECYCLE.md
@@ -18,6 +25,8 @@
set -euo pipefail set -euo pipefail
source "$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)/lib/path-resolve.sh"
INPUT=$(cat) INPUT=$(cat)
# 解析 file_path。優先用 jq,沒有 jq 退回 grep(容錯)。 # 解析 file_path。優先用 jq,沒有 jq 退回 grep(容錯)。
@@ -38,8 +47,51 @@ fi
# ⇒ 改成從被改檔案往上找最近的 system-dev/docs/3-specs(子 repo 優先,找不到才用頂層)。 # ⇒ 改成從被改檔案往上找最近的 system-dev/docs/3-specs(子 repo 優先,找不到才用頂層)。
# ⚠️ 只往上找到「頂層 InkStoneCo」為止——不可讓任意路徑(如 /private/tmp/…) # ⚠️ 只往上找到「頂層 InkStoneCo」為止——不可讓任意路徑(如 /private/tmp/…)
# 退回頂層 SDD 而被放行,那會把原本擋得住的情況變成擋不住。 # 退回頂層 SDD 而被放行,那會把原本擋得住的情況變成擋不住。
SPECS_DIR="system-dev/docs/3-specs" #
# 🔴 2026-08-20 修(inkstone/InkStoneCo#22):上面這套邏輯有兩個洞,都是總管 08-12 實撞的:
#
# 洞 A — scratchpad 暫存檔被當成「code 變動」:
# `/private/tmp/.../scratchpad/foo.py` 不在 `$_root` 底下、往上找不到 3-specs
# 於是走到「找不到 SDD」擋下路徑——但 scratchpad 是 session 專用暫存區,從不進版控,
# SDD 管的是 repo 裡的產品程式碼,管不到它。**先問「這條路徑到底在不在某個 git repo
# 裡」(`path_in_git_worktree`,見 lib/path-resolve.sh),不在 ⇒ 這道閘天生管不到
# ⇒ 直接放行**,不必先繞去猜專案根、再證明找不到才擋。
# 用「有沒有 .git 可尋」判斷,比列舉路徑關鍵字(/tmp、scratchpad…)更穩:
# 不必窮舉每一種暫存區的命名法,任何真的不在 repo 裡的路徑都一視同仁。
#
# 洞 B — 訊息裡印出字面的 `/nonexistent`
# 舊版用 `/nonexistent/3-specs` 當內部 sentinel,讓「找不到 SDD」的既有擋下路徑可以
# 重用;但這個 sentinel 值被直接印進使用者看到的訊息,讀起來像是「這支腳本認真去
# /nonexistent 這個地方找過」——具體、卻是假的。改成用 RESOLVED 旗標記「解析成不成功」,
# 擋下訊息另外用人話描述「為什麼找不到」,不洩漏內部實作用的假路徑。
#
# ⚠️ 洞 A/B 都不改變「真的解析失敗時」的判定方向:路徑確實落在某個 git repo 裡,
# 但那個 repo 沒有 3-specs(或裡面沒有 active SDD)→ 仍然 **fail-closed**(擋,不放行)。
# 為什麼是 fail-closed、不是 fail-open:這道閘存在的目的就是防止「沒有 SDD 卻能動
# code」,若把「判斷不出來」直接放行,等於把一次環境跑歪(cwd 被切走、
# `$CLAUDE_PROJECT_DIR` 沒設、worktree 缺 3-specs…)悄悄變成「這道閘關掉了,而且沒有
# 任何人被告知」——silent bypass 的代價遠高於「多打一次確認」。#22 的紅線也明寫
# 「不要把閘改成『解析失敗就放行』——那是把誤判換成漏判」。
# 洞 A 的修法,套用在 case 分岔**之前**:不管 `$_root` 猜不猜得對,
# 先問「這條路徑到底在不在某個 git repo 裡」。不在 ⇒ SDD 這道閘天生管不到,直接放行。
# 🔴 這個檢查故意放在 `$FILE_PATH` 是否落在 `$_root` 底下的判斷之前、且對兩邊都適用
# (不是只套用在「專案外」那個分支):第一版只把它放進「專案外」分支,結果測試
# hooks/tests/sdd-guard.test.sh)就抓到一個不對稱漏洞——當 `$_root` 剛好等於
# scratchpad 的某層祖先目錄(例如 hook 被叫用時 cwd 已經跑到 /private/tmp 底下、
# `$CLAUDE_PROJECT_DIR` 也沒設),scratchpad 路徑會被判成「在 `$_root` 底下」而
# 走進另一條完全沒做 git-repo 檢查的路徑,同一個誤判换個路徑重新出現。
# 改成「先問是不是在 git repo 裡,不管路徑跟 `$_root` 的關係」就沒有這個不對稱。
if ! path_in_git_worktree "$FILE_PATH"; then
exit 0
fi
_root="${CLAUDE_PROJECT_DIR:-$(pwd)}" _root="${CLAUDE_PROJECT_DIR:-$(pwd)}"
# 預設值一律絕對路徑(不留相對路徑「system-dev/docs/3-specs」退回目前 cwd 的洞——
# 舊版這裡曾經是相對路徑,若專案內迴圈找不到就會被拿去跟 hook 執行當下的 cwd 兜,
# cwd 湊巧有同名目錄就會判斷到不相干的資料)。
SPECS_DIR="$_root/system-dev/docs/3-specs"
RESOLVED=1 # 1SPECS_DIR 是有意義的答案;0=真的解析失敗,SPECS_DIR 留空,訊息另外講原因
case "$FILE_PATH" in case "$FILE_PATH" in
"$_root"/*) "$_root"/*)
_d=$(dirname "$FILE_PATH") _d=$(dirname "$FILE_PATH")
@@ -53,16 +105,17 @@ case "$FILE_PATH" in
done done
;; ;;
*) *)
# 專案外的路徑:**不可退回頂層 SDD 就放行**,否則原本擋得住的會變成擋不住 # 專案外的路徑:`$_root` 猜錯,或這條路徑本來就不屬於目前的 `$_root`
# 但 **git worktree 是正當工作區**(本專案大量使用 /private/tmp 下的 worktree 出貨), # 已知落在某個 git repo 裡(上面剛確認過):往上找它自己的 3-specs。
# 它自己就帶著該 repo 的 system-dev/docs/3-specs ⇒ 一樣往上找,找得到就認。 # **不可退回 `$_root` 的 3-specs 就放行**——那會把「這個 repo 沒有 SDD」
# 找不到才指向不存在目錄 ⇒ 走原有的「找不到 SDD」擋下路徑 # 誤判成「用別的 repo 的 SDD 蒙混過關」,原本擋得住的會變成擋不住
# 2026-08-02:第一版忘了 worktree,把正當的出貨工作區也擋掉。) SPECS_DIR=""
SPECS_DIR="/nonexistent/3-specs" RESOLVED=0
_d=$(dirname "$FILE_PATH") _d=$(dirname "$FILE_PATH")
while [ "$_d" != "/" ] && [ -n "$_d" ]; do while [ "$_d" != "/" ] && [ -n "$_d" ]; do
if [ -d "$_d/system-dev/docs/3-specs" ]; then if [ -d "$_d/system-dev/docs/3-specs" ]; then
SPECS_DIR="$_d/system-dev/docs/3-specs" SPECS_DIR="$_d/system-dev/docs/3-specs"
RESOLVED=1
break break
fi fi
_d=$(dirname "$_d") _d=$(dirname "$_d")
@@ -70,6 +123,18 @@ case "$FILE_PATH" in
;; ;;
esac esac
# 給訊息用的人話描述:解析成功就印真路徑,失敗就誠實講「為什麼」,不印假路徑
# (洞 B 的修法——舊版這裡印的是內部 sentinel `/nonexistent/3-specs`)。
if [ "$RESOLVED" -eq 1 ]; then
SPECS_DIR_DESC="${SPECS_DIR}/"
SPECS_NOT_FOUND_MSG="${SPECS_DIR}/ 下找不到任何 SDD"
SPECS_NOT_ACTIVE_MSG="${SPECS_DIR}/ 下沒有任何 status: active 的 SDD"
else
SPECS_DIR_DESC=""
SPECS_NOT_FOUND_MSG="這條路徑所在的 git repo 裡找不到 system-dev/docs/3-specs,也就沒有任何 SDD 可對(或這支閘沒能定位到正確的專案根——這是 fail-closed:寧可誤擋也不悄悄放行,見檔頭註解)"
SPECS_NOT_ACTIVE_MSG="$SPECS_NOT_FOUND_MSG"
fi
# ── 統計 active / frontmatter ────────────────────── # ── 統計 active / frontmatter ──────────────────────
# 排除 archive/(已封存)與 TEMPLATE(範本自帶 status: draft frontmatter,不算數—— # 排除 archive/(已封存)與 TEMPLATE(範本自帶 status: draft frontmatter,不算數——
# 否則 update 一鋪新版 TEMPLATE-sdd,老 repo 就被誤判「已遷移」而全紅,向下相容破功)。 # 否則 update 一鋪新版 TEMPLATE-sdd,老 repo 就被誤判「已遷移」而全紅,向下相容破功)。
@@ -77,7 +142,7 @@ esac
ACTIVE_COUNT=0 ACTIVE_COUNT=0
FM_COUNT=0 FM_COUNT=0
ACTIVE_LIST="" ACTIVE_LIST=""
if [ -d "$SPECS_DIR" ]; then if [ -n "$SPECS_DIR" ] && [ -d "$SPECS_DIR" ]; then
while IFS= read -r f; do while IFS= read -r f; do
[ -n "$f" ] || continue [ -n "$f" ] || continue
HEAD10=$(head -10 "$f" 2>/dev/null || true) HEAD10=$(head -10 "$f" 2>/dev/null || true)
@@ -121,20 +186,20 @@ esac
# 避免 template update 一裝新 hook,老 repo 所有 code 寫入立刻全紅。 # 避免 template update 一裝新 hook,老 repo 所有 code 寫入立刻全紅。
if [ "$FM_COUNT" -eq 0 ]; then if [ "$FM_COUNT" -eq 0 ]; then
SDD_COUNT=0 SDD_COUNT=0
if [ -d "$SPECS_DIR" ]; then if [ -n "$SPECS_DIR" ] && [ -d "$SPECS_DIR" ]; then
SDD_COUNT=$(find "$SPECS_DIR" -name 'design.md' -not -path '*TEMPLATE*' -not -path '*/archive/*' 2>/dev/null | wc -l | tr -d ' ') SDD_COUNT=$(find "$SPECS_DIR" -name 'design.md' -not -path '*TEMPLATE*' -not -path '*/archive/*' 2>/dev/null | wc -l | tr -d ' ')
fi fi
if [ "$SDD_COUNT" -eq 0 ]; then if [ "$SDD_COUNT" -eq 0 ]; then
cat >&2 <<EOF cat >&2 <<EOF
🚫 SDD 協議攔截:要動 code 檔 ($FILE_PATH),但 ${SPECS_DIR}/ 下找不到任何 SDD 🚫 SDD 協議攔截:要動 code 檔 ($FILE_PATH),但 ${SPECS_NOT_FOUND_MSG}
絕對鐵律:任何 code 變動前必須有對應 SDD(design.md),且遵守單一活性生命週期 絕對鐵律:任何 code 變動前必須有對應 SDD(design.md),且遵守單一活性生命週期
system-dev/docs/3-specs/SDD-LIFECYCLE.md)。 system-dev/docs/3-specs/SDD-LIFECYCLE.md)。
請先: 請先:
1. 確認這個改動屬於哪個子系統 1. 確認這個改動屬於哪個子系統
2. 在 ${SPECS_DIR}/[子系統]/ 建立 design.md(可用 /sdd-check 協助),frontmatter 標 status: active 2. 在 [子系統的] system-dev/docs/3-specs/[子系統]/ 建立 design.md(可用 /sdd-check 協助),frontmatter 標 status: active
3. 在回覆開頭宣告已讀 SDD + 對應 task 3. 在回覆開頭宣告已讀 SDD + 對應 task
小修改(修 bug、改文字)若確定豁免,請明確說明範圍後由人放行。 小修改(修 bug、改文字)若確定豁免,請明確說明範圍後由人放行。
@@ -143,14 +208,14 @@ EOF
fi fi
# 舊行為放行 + 提醒遷移(stderr 警告,不擋) # 舊行為放行 + 提醒遷移(stderr 警告,不擋)
echo "📋 提醒:${SPECS_DIR}/ 有 SDD 但尚未掛生命週期 frontmatter(老結構)。動手前確認已讀對應 design.md;建議依 SDD-LIFECYCLE.md 補 status 標記(現行那份標 active)。" >&2 echo "📋 提醒:${SPECS_DIR_DESC} 有 SDD 但尚未掛生命週期 frontmatter(老結構)。動手前確認已讀對應 design.md;建議依 SDD-LIFECYCLE.md 補 status 標記(現行那份標 active)。" >&2
exit 0 exit 0
fi fi
# ── 新行為:寫 code 檔需「恰好 1 份」active SDD ── # ── 新行為:寫 code 檔需「恰好 1 份」active SDD ──
if [ "$ACTIVE_COUNT" -eq 0 ]; then if [ "$ACTIVE_COUNT" -eq 0 ]; then
cat >&2 <<EOF cat >&2 <<EOF
🚫 SDD 協議攔截:要動 code 檔 ($FILE_PATH),但 ${SPECS_DIR}/ 下沒有任何 status: active 的 SDD 🚫 SDD 協議攔截:要動 code 檔 ($FILE_PATH),但 ${SPECS_NOT_ACTIVE_MSG}
單一活性鐵律:所有開發任務唯一對應源=那份 active SDD(規則見 system-dev/docs/3-specs/SDD-LIFECYCLE.md)。 單一活性鐵律:所有開發任務唯一對應源=那份 active SDD(規則見 system-dev/docs/3-specs/SDD-LIFECYCLE.md)。
+9
View File
@@ -1,4 +1,7 @@
#!/bin/sh #!/bin/sh
# 管什麼: prod 出貨鏈的動作(打 prod bundle、開 GitHub 保險、prod 安裝器部署)——沒有 6 小時內的 stage 驗證紀錄不放行。
# 為什麼: leo 2026-08-08——開始封測後推 prod 就是發佈給人看,要先在 stage 走過一次真實路徑再上。
# 誤觸時怎麼關: 讀取/查證(讀 manifest、讀腳本、curl 公開 CDN)一律放行;真的驗過 stage,貼實測輸出後 `touch /tmp/.stage-verified` 重送。
# stage-before-prod-guard.sh — PreToolUseBash):**未經 stage 驗過,不准動 prod 出貨鏈**。 # stage-before-prod-guard.sh — PreToolUseBash):**未經 stage 驗過,不准動 prod 出貨鏈**。
# #
# 🔴 立這道閘的來由(leo 2026-08-08): # 🔴 立這道閘的來由(leo 2026-08-08):
@@ -32,6 +35,12 @@ except Exception: print("")
' 2>/dev/null || echo "") ' 2>/dev/null || echo "")
[ -z "$CMD" ] && exit 0 [ -z "$CMD" ] && exit 0
# 2026-08-20inkstone/InkStoneCo#23、#56 同款):heredoc 的 body 是資料,不是指令。
# 拿掉 heredoc body 再比對,跟 github-contact-guard.shmain-and-prod-push-guard.sh
# 用同一支共用輔助程式;失敗就退回原字串(fail-open 在「這支有沒有幫上忙」,
# 不是「放行與否」——見 hooks/lib/strip_heredoc.py 檔頭)。
CMD=$(printf '%s' "$CMD" | python3 "$(dirname "$0")/lib/strip_heredoc.py" 2>/dev/null || printf '%s' "$CMD")
# 只攔「會讓封測者拿到東西」的動作:prod bundle repo、開 GitHub 保險、prod 安裝器部署。 # 只攔「會讓封測者拿到東西」的動作:prod bundle repo、開 GitHub 保險、prod 安裝器部署。
# staging 的同名動作要放行——所以先排除帶 staging 字樣的命令。 # staging 的同名動作要放行——所以先排除帶 staging 字樣的命令。
case "$CMD" in case "$CMD" in
+203
View File
@@ -0,0 +1,203 @@
#!/usr/bin/env bash
# gitea-arm-check.sh 的迴歸測試——只測「不必打真網路/不必真的等 leo」的幾種:
# 沒有待核請求/已過期/已被消耗過(重放保護)/Gitea 認證失敗/
# 核准者常數不接受環境變數覆蓋/票號缺失或非數字的待核檔會被略過不猜。
# 另有一組**用真 token 打真端點**的測試,驗證 2026-08-16 起「票號由呼叫端指定」
# 這件事真的有路由到對的票(見下方「不同票號各自路由」段)。
#
# 🔴 「Leo 真的回覆才放行」與「機器冒充 Leo」這兩種**必須打真的 Gitea**才有意義
# (核心判準就是比對 Gitea 上留言的 `user.login`),不適合塞進不碰網路的單元測試。
# 這兩種已經在 https://git.uncle6.me/inkstone/InkStoneCo/issues/34 上人工實測過,
# 證據見本次 PR 說明,不在這支重跑。
#
# 🔴 2026-08-13 總管審查後修正:`GITEA_ARM_OWNER/REPO/API/APPROVER_LOGIN`
# 全部改成寫死在 gitea-arm-common.sh,不再接受環境變數覆蓋(否則
# `GITEA_ARM_APPROVER_LOGIN=claude-code` 就能讓機器核准自己)。
# ⇒ 「Gitea 打不到」這條測資不能再用假網址注入,改用**真端點+無效 token**
# (回真的 401,一樣走得到「非 200 → fail-closed」那條分支)。
#
# 🪦 2026-08-16ISSUE 從第五個「寫死常數」名單裡移出來,改成請求時的參數
# (見 lib/gitea-arm-common.sh 檔頭說明:真正的安全邊界是 OWNER/REPO/
# APPROVER_LOGIN,不是票號本身)。相對地,pending 檔的 schema 多了 `issue` 欄位,
# 下面所有測資的 JSON 都要帶上它,否則會被「票號缺失」判定為壞檔而被略過。
#
# 用法:.claude/hooks/tests/gitea-arm-check.test.sh <repo根目錄>
# repo 根目錄要有 scripts/gitea-arm-check.sh + scripts/gitea-arm-request.sh
set -u
PROJ="${1:?用法: $0 <repo根目錄>}"
CHECK="$PROJ/scripts/gitea-arm-check.sh"
TMPPROJ=$(mktemp -d)
trap 'rm -rf "$TMPPROJ"' EXIT
# 借用真的 scripts/(唯讀),但狀態目錄與 .env 都指到隔離的臨時目錄
ln -s "$PROJ/scripts" "$TMPPROJ/scripts"
# 假 .envtoken 隨便填,「Gitea 打不到」那條測資會在網路那層失敗(本來就該擋),
# 其餘測資在打到 Gitea 之前就已經因為本地狀態被擋下,不會真的送出請求。
printf 'GITEA_TOKEN_CLAUDE_CODE=test-token-not-real\n' > "$TMPPROJ/.env"
PASS=0; FAIL=0
t(){ # t <期望 block|pass> <說明> <exit code>
got=$([ "$3" -eq 0 ] && echo pass || echo block)
if [ "$got" = "$1" ]; then echo "$2"; PASS=$((PASS+1))
else echo "$2 —— 期望 $1,實得 $got"; FAIL=$((FAIL+1)); fi
}
echo "── 完全沒有待核請求 ──"
rm -rf "$TMPPROJ/.claude/gitea-arm"
CLAUDE_PROJECT_DIR="$TMPPROJ" "$CHECK" >/tmp/gitea-arm-test-out.$$ 2>&1
t block "沒有 pending 目錄就該擋" $?
echo "── 已過期的請求 ──"
mkdir -p "$TMPPROJ/.claude/gitea-arm/pending"
NOW=$(date +%s)
jq -n --arg nonce "ARM-testexpired" --arg mission "測試" --arg issue "34" \
--argjson requested_at "$((NOW-3600))" --argjson expires_at "$((NOW-1))" \
--arg request_comment_id "1" --arg request_created_at "2020-01-01T00:00:00Z" \
'{nonce:$nonce, mission:$mission, issue:$issue, requested_at:$requested_at, expires_at:$expires_at, request_comment_id:$request_comment_id, request_created_at:$request_created_at}' \
> "$TMPPROJ/.claude/gitea-arm/pending/ARM-testexpired.json"
CLAUDE_PROJECT_DIR="$TMPPROJ" "$CHECK" ARM-testexpired >/tmp/gitea-arm-test-out.$$ 2>&1
rc=$?
t block "過期的 nonce 該擋" $rc
[ -f "$TMPPROJ/.claude/gitea-arm/pending/ARM-testexpired.json" ] \
&& { echo " ❌ 過期後 pending 檔應該被清掉,卻還在"; FAIL=$((FAIL+1)); } \
|| { echo " ✅ 過期後 pending 檔已清掉"; PASS=$((PASS+1)); }
echo "── 已被消耗過的 nonce(防重放)──"
rm -rf "$TMPPROJ/.claude/gitea-arm"
mkdir -p "$TMPPROJ/.claude/gitea-arm/pending"
jq -n --arg nonce "ARM-testreplay" --arg mission "測試" --arg issue "34" \
--argjson requested_at "$NOW" --argjson expires_at "$((NOW+1800))" \
--arg request_comment_id "1" --arg request_created_at "2020-01-01T00:00:00Z" \
'{nonce:$nonce, mission:$mission, issue:$issue, requested_at:$requested_at, expires_at:$expires_at, request_comment_id:$request_comment_id, request_created_at:$request_created_at}' \
> "$TMPPROJ/.claude/gitea-arm/pending/ARM-testreplay.json"
printf 'ARM-testreplay\t2026-01-01 00:00:00\t舊任務\n' > "$TMPPROJ/.claude/gitea-arm/consumed.log"
CLAUDE_PROJECT_DIR="$TMPPROJ" "$CHECK" ARM-testreplay >/tmp/gitea-arm-test-out.$$ 2>&1
rc=$?
t block "已消耗過的 nonce 該擋(即使有效期還沒到)" $rc
[ -f "$TMPPROJ/.claude/gitea-arm/pending/ARM-testreplay.json" ] \
&& { echo " ❌ 重放判定後 pending 檔應該被清掉,卻還在"; FAIL=$((FAIL+1)); } \
|| { echo " ✅ 重放判定後 pending 檔已清掉"; PASS=$((PASS+1)); }
echo "── Gitea 認證失敗(真端點+無效 tokenfail-closed)──"
rm -rf "$TMPPROJ/.claude/gitea-arm"
mkdir -p "$TMPPROJ/.claude/gitea-arm/pending"
jq -n --arg nonce "ARM-testunreach" --arg mission "測試" --arg issue "34" \
--argjson requested_at "$NOW" --argjson expires_at "$((NOW+1800))" \
--arg request_comment_id "1" --arg request_created_at "2020-01-01T00:00:00Z" \
'{nonce:$nonce, mission:$mission, issue:$issue, requested_at:$requested_at, expires_at:$expires_at, request_comment_id:$request_comment_id, request_created_at:$request_created_at}' \
> "$TMPPROJ/.claude/gitea-arm/pending/ARM-testunreach.json"
# $TMPPROJ/.env 裡的 token 是假的(見檔頭),這條打的是**真的** git.uncle6.me——
# 拿假 token 打真端點,預期真的收到 401,藉此驗「非 200 → fail-closed」那條分支。
CLAUDE_PROJECT_DIR="$TMPPROJ" "$CHECK" ARM-testunreach >/tmp/gitea-arm-test-out.$$ 2>&1
rc=$?
t block "Gitea 認證失敗要 fail-closed(不放行)" $rc
grep -q "非 200\|打不到" /tmp/gitea-arm-test-out.$$ \
&& { echo " ✅ 錯誤訊息確實指向 fail-closed 分支(不是別的原因擋下)"; PASS=$((PASS+1)); } \
|| { echo " ❌ 沒看到預期的 fail-closed 訊息:"; cat /tmp/gitea-arm-test-out.$$; FAIL=$((FAIL+1)); }
echo "── 🔴 票號缺失/非數字的待核檔——不猜票號,略過不當機 ──"
rm -rf "$TMPPROJ/.claude/gitea-arm"
mkdir -p "$TMPPROJ/.claude/gitea-arm/pending"
jq -n --arg nonce "ARM-testnoissue" --arg mission "測試" \
--argjson requested_at "$NOW" --argjson expires_at "$((NOW+1800))" \
--arg request_comment_id "1" --arg request_created_at "2020-01-01T00:00:00Z" \
'{nonce:$nonce, mission:$mission, requested_at:$requested_at, expires_at:$expires_at, request_comment_id:$request_comment_id, request_created_at:$request_created_at}' \
> "$TMPPROJ/.claude/gitea-arm/pending/ARM-testnoissue.json"
CLAUDE_PROJECT_DIR="$TMPPROJ" "$CHECK" ARM-testnoissue >/tmp/gitea-arm-test-out.$$ 2>&1
rc=$?
t block "缺 issue 欄位的舊格式待核檔該擋(不放行)" $rc
grep -q "issue 缺失或非數字" /tmp/gitea-arm-test-out.$$ \
&& { echo " ✅ 錯誤訊息點名是 issue 欄位的問題(不是猜成別的原因)"; PASS=$((PASS+1)); } \
|| { echo " ❌ 沒看到預期的訊息:"; cat /tmp/gitea-arm-test-out.$$; FAIL=$((FAIL+1)); }
echo "── 🔴 核准者不接受環境變數覆蓋(本次審查抓到的洞,補的測試)──"
GOT_LOGIN=$(CLAUDE_PROJECT_DIR="$TMPPROJ" GITEA_ARM_APPROVER_LOGIN="claude-code" bash -c '
. "'"$PROJ"'/scripts/lib/gitea-arm-common.sh"
printf "%s" "$GITEA_ARM_APPROVER_LOGIN"
')
if [ "$GOT_LOGIN" = "Leo" ]; then
echo " ✅ 設了 GITEA_ARM_APPROVER_LOGIN=claude-codesource 進去的常數仍是 Leo(覆蓋無效)"
PASS=$((PASS+1))
else
echo " ❌ 常數被環境變數改成了「$GOT_LOGIN」——核准者可以被外部覆蓋,這是安全洞"
FAIL=$((FAIL+1))
fi
echo "── 🔴 不同票號各自路由(真 token 打真端點):一個指到存在的票、一個指到不存在的票 ──"
# 這條要證明的是 2026-08-16 這次改動的核心:每個請求真的用它自己的 issue 欄位
# 去打對應的票,不是仍然只認某個寫死的號碼。用真 token(唯讀 GET,不會寫入任何東西):
# · nonce A 指到 #34(真實存在,開放中)→ 預期 200 OK,只是假 nonce 找不到 Leo 回覆
# · nonce B 指到一個不存在的超大票號 → 預期 404/非 200 → fail-closed
# 如果程式碼還在用舊的單一票號邏輯,這兩筆會得到**相同**的結果(不會一個過一個不過)。
REAL_ENV="$PROJ/.env"
if [ -f "$REAL_ENV" ] && grep -q '^GITEA_TOKEN_CLAUDE_CODE=' "$REAL_ENV"; then
cp "$REAL_ENV" "$TMPPROJ/.env"
rm -rf "$TMPPROJ/.claude/gitea-arm"
mkdir -p "$TMPPROJ/.claude/gitea-arm/pending"
jq -n --arg nonce "ARM-testrouteA" --arg mission "路由測試A" --arg issue "34" \
--argjson requested_at "$NOW" --argjson expires_at "$((NOW+1800))" \
--arg request_comment_id "1" --arg request_created_at "2020-01-01T00:00:00Z" \
'{nonce:$nonce, mission:$mission, issue:$issue, requested_at:$requested_at, expires_at:$expires_at, request_comment_id:$request_comment_id, request_created_at:$request_created_at}' \
> "$TMPPROJ/.claude/gitea-arm/pending/ARM-testrouteA.json"
jq -n --arg nonce "ARM-testrouteB" --arg mission "路由測試B" --arg issue "999999999" \
--argjson requested_at "$NOW" --argjson expires_at "$((NOW+1800))" \
--arg request_comment_id "1" --arg request_created_at "2020-01-01T00:00:00Z" \
'{nonce:$nonce, mission:$mission, issue:$issue, requested_at:$requested_at, expires_at:$expires_at, request_comment_id:$request_comment_id, request_created_at:$request_created_at}' \
> "$TMPPROJ/.claude/gitea-arm/pending/ARM-testrouteB.json"
CLAUDE_PROJECT_DIR="$TMPPROJ" "$CHECK" >/tmp/gitea-arm-test-out.$$ 2>&1
rc=$?
t block "兩者都是假 nonce,不會被核准,整體仍該回不放行" $rc
if grep -q "ARM-testrouteA#34)還沒等到 Leo 的回覆" /tmp/gitea-arm-test-out.$$; then
echo " ✅ #34(存在):真的打到了、200 OK,只是假 nonce 沒有匹配的留言"
PASS=$((PASS+1))
else
echo " ❌ 沒看到 #34 該有的「還沒等到」訊息:"; cat /tmp/gitea-arm-test-out.$$
FAIL=$((FAIL+1))
fi
if grep -q "#999999999Gitea 打不到/回應非 200" /tmp/gitea-arm-test-out.$$; then
echo " ✅ #999999999(不存在):真的打到了那個號碼,並且 fail-closed(不是誤放行也不是誤判成別的錯)"
PASS=$((PASS+1))
else
echo " ❌ 沒看到 #999999999 該有的 fail-closed 訊息:"; cat /tmp/gitea-arm-test-out.$$
FAIL=$((FAIL+1))
fi
else
echo " ⚠️ 跳過(找不到真的 GITEA_TOKEN_CLAUDE_CODE,這條測資需要唯讀真端點)"
fi
echo "── 🔴 gitea-arm-request.sh:缺票號/票號非數字要在打網路前就擋 ──"
REQ="$PROJ/scripts/gitea-arm-request.sh"
CLAUDE_PROJECT_DIR="$TMPPROJ" "$REQ" >/tmp/gitea-arm-test-out.$$ 2>&1
t block "完全沒帶參數該擋(用法錯誤)" $?
CLAUDE_PROJECT_DIR="$TMPPROJ" "$REQ" "not-a-number" "測試任務" >/tmp/gitea-arm-test-out.$$ 2>&1
rc=$?
t block "票號非數字該擋" $rc
# 2026-08-16:票號格式擴充為「N 或 repo#N」,訊息跟著改;斷言改成看**意圖**(有沒有點名票號)
grep -qE "票號.*純數字|純數字票號" /tmp/gitea-arm-test-out.$$ \
&& { echo " ✅ 錯誤訊息點名是票號格式問題"; PASS=$((PASS+1)); } \
|| { echo " ❌ 沒看到預期訊息:"; cat /tmp/gitea-arm-test-out.$$; FAIL=$((FAIL+1)); }
# ── 🔴 2026-08-16 新增:repo 可指定,但 owner 絕不可 ──────────────────
echo "── 🔴 gitea-arm-commonrepo 可由參數指定,owner 是安全邊界不給指定 ──"
( . "$PROJ/scripts/lib/gitea-arm-common.sh" >/dev/null 2>&1
gitea_arm_set_repo "arcrun-rag" >/dev/null 2>&1 && [ "$GITEA_ARM_REPO" = "arcrun-rag" ] ) \
&& { echo " ✅ 同 org 的 repo 名可指定"; PASS=$((PASS+1)); } \
|| { echo " ❌ 同 org 的 repo 名竟然不能指定"; FAIL=$((FAIL+1)); }
( . "$PROJ/scripts/lib/gitea-arm-common.sh" >/dev/null 2>&1
gitea_arm_set_repo "claude-code/evil" >/dev/null 2>&1 ) \
&& { echo " ❌ 帶斜線的 owner/repo 竟然被接受——那正是 08-13 那次攻擊的形狀"; FAIL=$((FAIL+1)); } \
|| { echo " ✅ 帶斜線的被擋(owner 不給任何人指定)"; PASS=$((PASS+1)); }
( GITEA_ARM_OWNER=claude-code; . "$PROJ/scripts/lib/gitea-arm-common.sh" >/dev/null 2>&1
[ "$GITEA_ARM_OWNER" = "inkstone" ] ) \
&& { echo " ✅ OWNER 不受環境變數影響(仍是 inkstone"; PASS=$((PASS+1)); } \
|| { echo " ❌ OWNER 被 env 蓋掉了——安全邊界破了"; FAIL=$((FAIL+1)); }
rm -f /tmp/gitea-arm-test-out.$$
echo
echo "結果:通過 $PASS 失敗 $FAIL"
[ $FAIL -eq 0 ] || exit 1
@@ -0,0 +1,42 @@
#!/usr/bin/env bash
# main-and-prod-push-guard.sh 的迴歸測試——重點在「geek6688 豁免的範圍夠不夠窄」。
# 🔴 寫成檔案跑:測試指令必然含 `wrangler deploy`,直接在 Bash 打會被 prod-write-guard 擋。
#
# 用一個**沒有 .github-armed** 的臨時 CLAUDE_PROJECT_DIR
# 否則本機真的有那個檔 ⇒「該擋的」會假性通過,測了等於沒測。
HOOK="$1"
TMPPROJ=$(mktemp -d)
trap 'rm -rf "$TMPPROJ"' EXIT
mk(){ python3 -c "import json,sys;print(json.dumps({'tool_name':'Bash','tool_input':{'command':sys.argv[1]}}))" "$1"; }
PASS=0; FAIL=0
t(){ mk "$3" | env CLAUDE_PROJECT_DIR="$TMPPROJ" "$HOOK" >/dev/null 2>&1; rc=$?
got=$([ $rc -eq 2 ] && echo block || echo pass)
if [ "$got" = "$1" ]; then echo "$2"; PASS=$((PASS+1))
else echo "$2 —— 期望 $1,實得 $got"; FAIL=$((FAIL+1)); fi; }
D="wrangler deploy"
echo "── geek6688leo 2026-08-12 明文授權總管可直接動)應放行 ──"
t pass "指名 geek6688 主機名" "npx $D --name arcrun-cypher-executor --config geek6688.toml"
t pass "用 geek6688 的 token 變數" "CLOUDFLARE_API_TOKEN=\$CLOUDFLARE_API_TOKEN_CC_SHIPPING_CORE npx $D"
t pass "用 geek6688 的 account id 變數" "CLOUDFLARE_ACCOUNT_ID=\$CLOUDFLARE_ACCOUNT_ID_GEEK6688 npx $D"
echo "── 其他實例仍要 leo 親手 arm(範圍不能外溢)──"
t block "打 leo21c" "npx $D --name arcrun-mcp --account-id leo21c-acct"
t block "打 uncle6 官方" "npx $D --name arcrun-kbdb --config uncle6.toml"
t block "看不出打哪裡" "npx $D"
t block "wrangler publish 到別台" "npx wrangler publish --name arcrun-mcp"
t block "versions deploy 到別台" "npx wrangler versions deploy --name arcrun-kbdb"
echo "── stage 照舊自由 ──"
t pass "帶 --env staging" "npx $D --env staging"
t pass "打 staging 主機" "npx $D --name arcrun-rag-installer-staging"
echo "── 非部署動作不受影響 ──"
t pass "推自己的分支" "git push -u gitea fix/my-branch"
t pass "讀本閘原始碼(指令裡含關鍵字)" "sed -n '1,50p' .claude/hooks/main-and-prod-push-guard.sh"
echo
echo "結果:通過 $PASS 失敗 $FAIL"
[ $FAIL -eq 0 ] || exit 1
+73
View File
@@ -0,0 +1,73 @@
#!/usr/bin/env bash
# prod-write-guard.sh 的迴歸測試。
# 🔴 必須寫成檔案跑:這道閘會擋掉「含有它要擋的字串」的指令本身
# ⇒ 直接在 Bash 裡打測試,會被自己擋下(2026-08-12 實撞)。
HOOK="$1"
mk(){ python3 -c "import json,sys;print(json.dumps({'tool_name':'Bash','tool_input':{'command':sys.argv[1]}}))" "$1"; }
PASS=0; FAIL=0
t(){ # t <期望 block|pass> <說明> <指令>
mk "$3" | "$HOOK" >/dev/null 2>&1; rc=$?
got=$([ $rc -eq 2 ] && echo block || echo pass)
if [ "$got" = "$1" ]; then echo "$2"; PASS=$((PASS+1))
else echo "$2 —— 期望 $1,實得 $got"; FAIL=$((FAIL+1)); fi
}
H='https://arcrun-kbdb.leo21c.workers.dev'
DASH_D='-d'
echo "── 該放行(唯讀)──"
t pass "純 GET" "curl -s $H/templates"
t pass "GET + tr -d(本次實撞的誤攔)" "ACC=\$(grep -oE '^X=.' f | tr $DASH_D '\\r'); curl -s $H/templates"
t pass "GET + cut -d=" "A=\$(cut ${DASH_D}= -f2 f); curl -s $H/templates"
t pass "GET + sort -d / xargs -d" "ls | sort $DASH_D | xargs $DASH_D '\\n' echo; curl -s $H/entries"
t pass "GET 帶 Bearer 標頭" "curl -s -H 'Authorization: Bearer xxx' $H/templates?limit=1"
t pass "打 staging" "curl -X POST https://arcrun-rag-installer-staging.workers.dev/x $DASH_D '{}'"
t pass "打 youlin 測試場" "curl -X POST https://arcrun-cypher-executor.youlin-hsieh-dev.workers.dev/x $DASH_D '{}'"
t pass "打 Gitea(不是實例)" "curl -X POST https://git.uncle6.me/api/v1/repos/Leo/x/issues $DASH_D '{}'"
echo "── 該擋(寫入)──"
t block "POST 到實例" "curl -X POST $H/entries $DASH_D '{}'"
t block "PUT 到實例" "curl -X PUT $H/entries/1 --data '{}'"
t block "DELETE 到實例" "curl -X DELETE $H/entries/1"
t block "POST 且同時有 tr -d(剪字後仍該擋)" "cat f | tr $DASH_D '\\r' | curl -X POST $H/webhooks/named $DASH_D @-"
t block "wrangler deploy" "npx wrangler deploy --name arcrun-kbdb"
# ── 2026-08-13:「執行它」vs「談論它」───────────────────────────────
# 實撞:把 #108 的驗收證據留言到 Gitea,正文引述了那個指令名 ⇒ 一則留言被當成部署擋掉。
# 這批測資的挑法是「本 repo 現行真的會出現的形狀」,不是我自己挑好抓的壞例子
# ——PR #87 那道假綠閘就是敗在後者(14 條全過,卻漏掉 repo 實際在用的呼叫寫法)。
ACR_U='acr up''date' # 拆開寫:否則這支測試檔自己會被閘擋住(它也是一條 Bash 指令)
ACR_P='acr pu''sh'
WR_D='wrangler dep''loy'
echo "── 該放行(只是談論,不是執行)──"
t pass "heredoc 正文引述(本次實撞)" \
"B=\$(cat <<'EOF'
更新指令 \`$ACR_U --force\` 印出了 ARCRUN_NAMESPACE
EOF
); curl -X POST https://git.uncle6.me/api/v1/repos/Leo/Arcrun/issues/108/comments $DASH_D \"\$B\""
t pass "commit 訊息裡提到" "git commit -m '修好 $ACR_U 的命名空間注入'"
t pass "markdown code span(反引號)" "printf '%s' '看 \`$ACR_U\` 的輸出'"
t pass "grep 它的名字" "grep -n '$ACR_P' .claude/hooks/prod-write-guard.sh"
t pass "文章裡提到 $WR_D" "printf '%s' '# 為什麼 $WR_D 要擋'"
t pass "acr 唯讀子指令" "acr status --json"
t pass "acr whoami" "acr whoami"
echo "── 該擋(真的在指令位置執行)──"
t block "行首" "$ACR_U --force"
t block "&& 之後" "cd /x && $ACR_U"
t block "; 之後" "echo hi; $ACR_P workflow.yaml"
t block "管線之後" "cat x.yaml | $ACR_P -"
t block "bash -c 引號裡" "bash -c \"$ACR_U --force\""
t block "\$( ) 裡" "OUT=\$($ACR_U 2>&1)"
t block "npx 前綴" "npx $WR_D --name arcrun-kbdb"
t block "sudo 前綴" "sudo $ACR_U"
t block "heredoc 之後的真指令(剝內文不能連指令一起剝)" \
"cat <<'EOF' > note.md
只是筆記
EOF
$ACR_U --force"
echo
echo "結果:通過 $PASS 失敗 $FAIL"
[ $FAIL -eq 0 ] || exit 1
+90
View File
@@ -0,0 +1,90 @@
#!/usr/bin/env bash
# sdd-guard.sh 的迴歸測試(inkstone/InkStoneCo#22)。
#
# 涵蓋兩個洞:
# 洞 A — scratchpad/任何不在 git repo 裡的暫存檔被誤判成「code 變動」而擋下。
# 洞 B — 真的解析失敗(fail-closed)時,訊息裡印出內部 sentinel `/nonexistent`。
# 以及既有行為不能退步:單一活性違反仍擋、恰好 1 份 active 仍放行、
# 「dirname 還沒建立」不可被誤判成「不在 repo 裡」(新邏輯自己可能引入的 fail-open 陷阱)。
#
# 用法:hooks/tests/sdd-guard.test.sh [hooks/sdd-guard.sh 的路徑]
# 🔴 全程在一個乾淨的 TMP 底下建假 repo,跑完自己清;不動任何真 repo。
set -u
HOOK="${1:-$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)/sdd-guard.sh}"
TMP=$(mktemp -d)
trap 'rm -rf "$TMP"' EXIT
PASS=0; FAIL=0
mk() { # mk <file_path> -> JSON on stdout
python3 -c "import json,sys;print(json.dumps({'tool_name':'Write','tool_input':{'file_path':sys.argv[1],'content':'x'}}))" "$1"
}
t() { # t <期望 exit code> <說明> <file_path> [額外檢查關鍵字]
local want="$1" desc="$2" path="$3" must_not_contain="${4:-}"
local out rc
out=$(mk "$path" | "$HOOK" 2>&1)
rc=$?
local ok=1
[ "$rc" -eq "$want" ] || ok=0
if [ -n "$must_not_contain" ] && printf '%s' "$out" | grep -qF "$must_not_contain"; then
ok=0
fi
if [ "$ok" -eq 1 ]; then
echo "$desc"; PASS=$((PASS+1))
else
echo "$desc —— 期望 exit=$want,實得 exit=$rc"
[ -n "$must_not_contain" ] && echo " (且訊息不該含「$must_not_contain」)"
echo " 輸出:$out" | head -3
FAIL=$((FAIL+1))
fi
}
# ── 準備:一個真的沒有 3-specs 的 git repo(模擬「真的解析失敗」)──
REPO_NO_SDD="$TMP/repo-no-sdd"
mkdir -p "$REPO_NO_SDD/src"
git init -q "$REPO_NO_SDD"
# ── 準備:一個有 1 份 active SDD 的 git repo ──
REPO_ONE_ACTIVE="$TMP/repo-one-active"
mkdir -p "$REPO_ONE_ACTIVE/system-dev/docs/3-specs/x" "$REPO_ONE_ACTIVE/src"
git init -q "$REPO_ONE_ACTIVE"
printf -- '---\nstatus: active\n---\n# X\n' > "$REPO_ONE_ACTIVE/system-dev/docs/3-specs/x/design.md"
# ── 準備:一個有 2 份 active SDD 的 git repo(單一活性違反)──
REPO_MULTI="$TMP/repo-multi-active"
mkdir -p "$REPO_MULTI/system-dev/docs/3-specs/a" "$REPO_MULTI/system-dev/docs/3-specs/b" "$REPO_MULTI/src"
git init -q "$REPO_MULTI"
printf -- '---\nstatus: active\n---\n# A\n' > "$REPO_MULTI/system-dev/docs/3-specs/a/design.md"
printf -- '---\nstatus: active\n---\n# B\n' > "$REPO_MULTI/system-dev/docs/3-specs/b/design.md"
# ── 準備:scratchpad 風格的暫存區(不在任何 git repo 裡)──
SCRATCH="$TMP/private/tmp/claude-fake-session/scratchpad"
mkdir -p "$SCRATCH"
# 讓 $_rootCLAUDE_PROJECT_DIR 或 pwd)刻意跟這些假 repo 對不上,
# 逼所有案例都走「專案外的路徑」那個分支——這正是 #22 實撞的情境(cwd 跑歪/
# CLAUDE_PROJECT_DIR 沒設,路徑不落在 $_root 底下)。
unset CLAUDE_PROJECT_DIR
cd "$TMP"
echo "── 洞 A:不在任何 git repo 裡的路徑,SDD 管不到,該放行 ──"
t 0 "scratchpad 暫存 .py(本票原始事故)" "$SCRATCH/fix-project-settings.py"
t 0 "scratchpad 巢狀更深" "$SCRATCH/nested/deep/tmp.js"
echo "── 洞 B:真的解析失敗(repo 存在但沒有 3-specs)仍要 fail-closed,但訊息不准洩漏內部假路徑 ──"
t 2 "真 repo 沒有 3-specs → 仍擋" "$REPO_NO_SDD/src/foo.py"
t 2 "上面那筆的訊息不准出現 /nonexistent" "$REPO_NO_SDD/src/foo.py" "/nonexistent"
echo "── fail-open 陷阱:新檔案要建在還沒建立的子目錄下,不可被誤判成「不在 repo 裡」──"
t 2 "真 repo、目標子目錄還沒建立 → 仍擋(不能因為 dirname 不存在就放行)" "$REPO_NO_SDD/brand-new/not-yet/bar.py"
echo "── 既有行為不能退步 ──"
t 0 "只有 1 份 active SDD,改 code 檔 → 放行" "$REPO_ONE_ACTIVE/src/x.py"
t 2 "2 份 active SDD(單一活性違反)→ 擋" "$REPO_MULTI/src/x.py"
t 0 "改 .md 文件(非 code 檔)→ 放行,即使找不到 3-specs" "$REPO_NO_SDD/README.md"
echo
echo "結果:通過 $PASS 失敗 $FAIL"
[ "$FAIL" -eq 0 ] || exit 1
@@ -0,0 +1,41 @@
#!/usr/bin/env bash
# stage-before-prod-guard.sh 的迴歸測試。
# 🔴 必須寫成檔案跑:這道閘會擋掉「含有它關鍵字」的指令本身
# ⇒ 直接在 Bash 打測試,連讀它的原始碼都會被擋(2026-08-12 實撞三次)。
HOOK="$1"
mk(){ python3 -c "import json,sys;print(json.dumps({'tool_name':'Bash','tool_input':{'command':sys.argv[1]}}))" "$1"; }
PASS=0; FAIL=0
t(){ mk "$3" | "$HOOK" >/dev/null 2>&1; rc=$?
got=$([ $rc -eq 2 ] && echo block || echo pass)
if [ "$got" = "$1" ]; then echo "$2"; PASS=$((PASS+1))
else echo "$2 —— 期望 $1,實得 $got"; FAIL=$((FAIL+1)); fi; }
B='arcrun-rag-bundles' # 關鍵字組起來,避免這個檔名本身觸發別的工具
CDN="https://cdn.jsdelivr.net/gh/youlinhsieh/${B}@abc123"
ARM='scripts/github-arm.sh'
DASH_D='-d'
echo "── 該放行(查證,不是發佈)──"
t pass "抓 bundle manifest 來看(本次實撞)" "BASE=\"$CDN\"; curl -s \"\$BASE/manifest.json\""
t pass "抓 bundle 裡的 worker 檔比對內容" "curl -s $CDN/core/arcrun-mcp/worker.mjs -o /tmp/x.mjs"
t pass "讀本閘自己的原始碼(本次實撞)" "cd /repo && grep -n 'exit 0' .claude/hooks/stage-before-prod-guard.sh"
t pass "讀解保險腳本" "cd /repo && sed -n '1,40p' $ARM"
t pass "commit 訊息裡提到出貨" "git commit -m '照 $ARM 解保險後出貨'"
t pass "查 bundle repo 狀態" "cd /tmp/$B && git log --oneline -3"
t pass "GET 帶 tr -d 管線" "curl -s $CDN/manifest.json | tr $DASH_D '\\r'"
echo "── 該擋(真的在發佈)──"
t block "推 bundle repo" "cd /tmp/$B && git push origin main"
t block "wrangler deploy 出貨物件" "cd $B && npx wrangler deploy"
t block "跑出貨管線" "node installer/scripts/ship.mjs --target prod --bundles $B"
t block "親手執行解保險腳本" "bash $ARM '出貨說明' 30"
t block "POST 寫進 bundle repo" "curl -X POST https://api.github.com/repos/x/$B/contents/y $DASH_D '{}'"
t pass "同一行提到兩次解保險腳本(2026-08-12 第四次誤攔)" "echo '=== $ARM 怎麼判過期 ==='; grep -nE 'expire' $ARM"
t pass "cat 解保險腳本" "cat $ARM"
t block "以 bash 執行解保險腳本" "bash $ARM 'x' 30"
t block "管線後面執行解保險腳本" "echo go && $ARM '出貨' 30"
echo
echo "結果:通過 $PASS 失敗 $FAIL"
[ $FAIL -eq 0 ] || exit 1
+26
View File
@@ -0,0 +1,26 @@
# 推 main 的請求:未署名
- repo/Users/youlinhsieh/Documents/tech_projects/ISEP
- 分支:main
- 時間:2026-08-20 20:59:30
- 它想跑的指令:
```
git push gitea HEAD:main
```
## 還沒推上去的 commit(原始資料,不是轉述)
```
```
## 改了哪些檔
```
docs/TESTING.md | 14 +---------
scripts/make-cloud-env.sh | 69 -----------------------------------------------
2 files changed, 1 insertion(+), 82 deletions(-)
```
---
總管裁完請刪掉這個檔——留著代表「還沒裁」。
+73
View File
@@ -0,0 +1,73 @@
#!/usr/bin/env bash
# 管什麼: 產生「可以直接貼進 claude.ai Cloud environment」的兩塊內容,值由本腳本自己去 .env 拉。
# 為什麼: leo 2026-08-20「這些值你都有,你可以只寫名字然後 build 一個檔案給我」——
# 之前的做法是叫他自己拼湊,或叫他把設定貼給 AI 看,兩種都錯(一個沒效率,一個讓值經過對話)。
# 誤觸時怎麼關: 這支不擋任何東西。不想產生就別跑;產物在版控外,刪掉即可。
#
# 用法:bash scripts/make-cloud-env.sh
# 產物:~/.claude/cloud-env/<日期>.txt(權限 600**不在任何 repo 裡**
# 本腳本只寫「變數名字」,值在執行當下才從既有 .env 讀出來寫進產物 —— 值不進版控、不進對話。
set -euo pipefail
# ── 雲端需要哪些變數(只有名字。要加就加在這裡)──────────────────
NEEDED=(
GITEA_TOKEN_CLAUDE_CODE # 機器帳號 claude-code 的 Gitea tokenbootstrap 與 plugin 安裝都靠它
)
# ── 去哪裡找值(credentials-map.md 記的六個 .env)────────────────
BASE="${INKSTONE_ROOT:-$HOME/Documents/tech_projects/InkStoneCo}"
ENV_FILES=(
"$BASE/.env"
"$BASE/matrix/arcrun/.env"
"$BASE/products/arcrun-rag/.env"
"$BASE/polaris/mira/.env"
"$BASE/matrix/kbdb-graph-plugin/.env"
"$BASE/arcrun_harness/.env"
)
lookup() { # $1=變數名 → 印出值(找不到就空)
local name="$1" f v
for f in "${ENV_FILES[@]}"; do
[ -f "$f" ] || continue
v=$(grep -E "^[[:space:]]*(export[[:space:]]+)?${name}=" "$f" 2>/dev/null | tail -1 \
| sed -E "s/^[[:space:]]*(export[[:space:]]+)?${name}=//" \
| sed -E 's/^"(.*)"$/\1/; s/^'"'"'(.*)'"'"'$/\1/')
[ -n "$v" ] && { printf '%s' "$v"; return 0; }
done
return 1
}
# 預設丟 ~/.claude/cloud-env(權限 700)。要放別的地方= OUT_DIR=~/Desktop bash scripts/make-cloud-env.sh
OUT_DIR="${OUT_DIR:-$HOME/.claude/cloud-env}"
mkdir -p "$OUT_DIR"
# 只在「這個目錄是我們自己造的預設位置」時才收緊權限——
# OUT_DIR 可被覆寫,不該對使用者指定的既有目錄(例如 ~/Desktop)動權限。
[ "$OUT_DIR" = "$HOME/.claude/cloud-env" ] && chmod 700 "$OUT_DIR"
OUT="$OUT_DIR/$(date +%Y%m%d-%H%M%S).txt"
SETUP="$(cd "$(dirname "$0")/.." && pwd)/docs/cloud-setup-script.sh"
[ -f "$SETUP" ] || { echo "🔴 找不到 $SETUP" >&2; exit 1; }
MISSING=()
{
echo "claude.ai → Cloud environments → 你的環境。下面兩塊各自貼進對應欄位。"
echo "產生時間:$(date '+%Y-%m-%d %H:%M')"
echo
echo "════════ ① Environment variables(一行一個,名字與值分開填)════════"
for n in "${NEEDED[@]}"; do
if v=$(lookup "$n"); then
echo "$n=$v"
else
echo "$n=<🔴 這台機器的 .env 裡找不到,要 leo 提供>"
MISSING+=("$n")
fi
done
echo
echo "════════ ② Setup script(整段貼,一字不改)════════"
cat "$SETUP"
} > "$OUT"
chmod 600 "$OUT"
echo "✅ 產生完成:$OUT"
echo " 變數 ${#NEEDED[@]} 個|找不到值的 ${#MISSING[@]}${MISSING[*]:-}"
echo " 🔴 這個檔含金鑰真身:貼完就刪(rm '$OUT'),它刻意不在任何 repo 裡。"
+39
View File
@@ -0,0 +1,39 @@
#!/bin/bash
# github-contact-guard 的測試(inkstone/InkStoneCo#23
# 判準:真的寫 GitHubgh CLI 高頻 API、git push/remote add 指向 github.com)要擋;
# 只是提到(heredoc body、同一行引號內的散文、commit message)不准擋;
# 讀取(clone/fetch/pull/curl 抓檔)一律放行,不管有沒有帶認證。
cd "$(dirname "$0")/.." || exit 1
H=hooks/github-contact-guard.sh
PASS=0; FAIL=0
run(){ # $1=want $2=cmd
printf '%s' "{\"tool_name\":\"Bash\",\"tool_input\":{\"command\":$(python3 -c 'import json,sys;print(json.dumps(sys.argv[1]))' "$2")}}" \
| bash "$H" >/dev/null 2>&1
got=$?
if [ "$got" = "$1" ]; then PASS=$((PASS+1)); printf ' ✅ '; else FAIL=$((FAIL+1)); printf ' ❌ '; fi
printf 'want=%s got=%s %.72s\n' "$1" "$got" "$2"
}
echo "── 該擋:真的在寫 GitHub ──"
run 2 'gh issue create --title x --body y'
run 2 'gh pr create --title x'
run 2 'git push https://github.com/example/example.git HEAD:main'
run 2 'git remote add github https://github.com/example/example.git'
run 2 'echo start && gh api repos/example/example/issues'
echo "── 不該擋:讀取一律放行 ──"
run 0 'git clone https://github.com/example/example.git'
run 0 'git fetch github'
run 0 'curl -sL https://github.com/example/example/releases/latest'
run 0 'gh --version'
echo "── 不該擋:只是提到、heredoc body、同一行引號內的散文 ──"
run 0 "$(printf 'cat > docs/TESTING.md <<%sEOF%s\nexample: git push https://github.com/example/example.git HEAD:main\nEOF\n' "'" "'")"
run 0 'git commit -m "docs: explain why gh api calls used to be mis-flagged"'
run 0 'python3 -c "requests.post(url, json={\"body\": \"quoting: git push origin main to github.com was mis-flagged as a real push\"})"'
run 0 'grep -n "gh api" hooks/github-contact-guard.sh'
run 0 'grep -rn "git push" installer/scripts/line-source-repo.mjs'
echo
echo "$PASS/$((PASS+FAIL)) 通過"
[ "$FAIL" -eq 0 ]
+41
View File
@@ -0,0 +1,41 @@
#!/bin/bash
# kbdb-api-wall-guard 的 Bash 分支測試(inkstone/ISEP#30 群組)
#
# 這支補的是一個真的漏擋:hooks/kbdb-api-wall-guard.sh 的 Bash 分支原本引用
# hooks/kbdb_cmd_check.py(不存在的路徑),python3 找不到檔案就以非零結束,
# 而呼叫端寫成 `... || echo "OK"` —— 於是這個分支永遠印 "OK"Bash 分支形同虛設,
# 任何 `wrangler d1 execute` 直打 kbdb 都會被放行。修法:邏輯搬進
# hooks/lib/kbdb_cmd_check.py(新檔),並把 .sh 裡的參照路徑改過去。
#
# 判準:真的用 wrangler 對 kbdb 這顆 D1 下 execute 要擋;只是提到(commit message、
# heredoc body、grep 搜尋)、或目標不是 kbdb 的 D1,都不准擋。
cd "$(dirname "$0")/.." || exit 1
H=hooks/kbdb-api-wall-guard.sh
PASS=0; FAIL=0
run(){ # $1=want $2=cmd
printf '%s' "{\"tool_name\":\"Bash\",\"tool_input\":{\"command\":$(python3 -c 'import json,sys;print(json.dumps(sys.argv[1]))' "$2")}}" \
| bash "$H" >/dev/null 2>&1
got=$?
if [ "$got" = "$1" ]; then PASS=$((PASS+1)); printf ' ✅ '; else FAIL=$((FAIL+1)); printf ' ❌ '; fi
printf 'want=%s got=%s %.72s\n' "$1" "$got" "$2"
}
w="wrangler"; sub="d1 execute"; db="arcrun-kbdb"
echo "── 該擋:真的直打 kbdb 這顆 D1 執行 SQL ──"
run 2 "$w $sub $db --remote --command \"SELECT 1\""
run 2 "npx $w $sub $db --command \"SELECT 1\""
run 2 "echo start && $w $sub $db --command \"SELECT 1\""
echo "── 不該擋:只是提到、heredoc body、目標不是 kbdb ──"
run 0 "git commit -m \"ran $w $sub $db earlier, see ticket\""
run 0 "$(printf 'cat > note.md <<%sEOF%s\nwe should avoid %s %s %s\nEOF\n' "'" "'" "$w" "$sub" "$db")"
run 0 "grep -rn \"$w $sub\" hooks/"
run 0 "$w $sub some-other-db --command \"SELECT 1\""
run 0 "$w deploy --env stage"
run 0 'echo hello world'
run 0 "$w $sub $db --command \"SELECT 1\" kbdb-sql-ok"
echo
echo "$PASS/$((PASS+FAIL)) 通過"
[ "$FAIL" -eq 0 ]
+36
View File
@@ -0,0 +1,36 @@
#!/bin/bash
# main-and-prod-push-guard 的測試(inkstone/InkStoneCo#23、#56
# 判準:真的推 main/master 要擋;只是提到(heredoc body、同一行引號內的散文、
# 開頭包一層讀取指令)都不准擋;推自己的分支、含子字串但目標不是 main/master
# 的分支(如 fix/custom-domain-setup)也不准擋。
cd "$(dirname "$0")/.." || exit 1
H=hooks/main-and-prod-push-guard.sh
PASS=0; FAIL=0
run(){ # $1=want $2=cmd
printf '%s' "{\"tool_name\":\"Bash\",\"tool_input\":{\"command\":$(python3 -c 'import json,sys;print(json.dumps(sys.argv[1]))' "$2")}}" \
| bash "$H" >/dev/null 2>&1
got=$?
if [ "$got" = "$1" ]; then PASS=$((PASS+1)); printf ' ✅ '; else FAIL=$((FAIL+1)); printf ' ❌ '; fi
printf 'want=%s got=%s %.72s\n' "$1" "$got" "$2"
}
echo "── 該擋:真的在推 mainmaster,且沒有戳記 ──"
run 2 'git push gitea HEAD:main'
run 2 'git push origin master'
run 2 'echo start && git push gitea HEAD:main'
run 2 'ls && git push gitea HEAD:main'
echo "── 不該擋:只是提到、heredoc body、目標不是 main/master ──"
run 0 'git push gitea HEAD:fix/custom-domain-setup'
run 0 'git push gitea HEAD:fix/mainline-cleanup-later'
run 0 'git commit -m "docs: explain that the old gate would mis-flag push mentions"'
run 0 "$(printf 'cat > docs/TESTING.md <<%sEOF%s\nexample: git push https://github.com/example/example.git HEAD:main\nEOF\n' "'" "'")"
run 0 'python3 -c "requests.post(url, json={\"body\": \"this quotes: the gate cannot see a real git push done via a node subprocess, but it will block git push origin main mentioned as prose\"})"'
run 0 'grep -n "git push" hooks/main-and-prod-push-guard.sh'
echo "── 真違規不能因為這次改動而漏擋:戳記過期/戳記綁錯 repo 一樣要擋 ──"
run 2 'git push gitea HEAD:main' # 沒有任何戳記檔時
echo
echo "$PASS/$((PASS+FAIL)) 通過"
[ "$FAIL" -eq 0 ]
+49
View File
@@ -0,0 +1,49 @@
#!/bin/bash
# stage-before-prod-guard 的測試(inkstone/ISEP#30 群組——heredoc body 不算數)
# 判準:真的碰 prod 出貨鏈、沒有 stage 驗證紀錄要擋;讀取/查證/heredoc body 不准擋;
# 帶 staging 字樣、6 小時內驗過 stage 的要放行。
cd "$(dirname "$0")/.." || exit 1
H=hooks/stage-before-prod-guard.sh
PASS=0; FAIL=0
run(){ # $1=want $2=cmd
printf '%s' "{\"tool_name\":\"Bash\",\"tool_input\":{\"command\":$(python3 -c 'import json,sys;print(json.dumps(sys.argv[1]))' "$2")}}" \
| bash "$H" >/dev/null 2>&1
got=$?
if [ "$got" = "$1" ]; then PASS=$((PASS+1)); printf ' ✅ '; else FAIL=$((FAIL+1)); printf ' ❌ '; fi
printf 'want=%s got=%s %.72s\n' "$1" "$got" "$2"
}
rm -f /tmp/.stage-verified /tmp/.stage-ok-by-leo
echo "── 該擋:真的在動 prod 出貨鏈,沒有 stage 驗證紀錄 ──"
run 2 'wrangler deploy --name arcrun-rag-bundles-installer'
run 2 'git push gitea arcrun-rag-bundles-installer main'
run 2 'scripts/github-arm.sh "出貨" 30'
run 2 'echo go && scripts/github-arm.sh "出貨" 30'
echo "── 不該擋:讀取/查證/演練 ──"
run 0 'sed -n "1,40p" scripts/github-arm.sh'
run 0 'git commit -m "照 scripts/github-arm.sh 解保險流程"'
run 0 'grep -n "wrangler deploy" hooks/stage-before-prod-guard.sh'
run 0 'BASE="https://cdn.jsdelivr.net/gh/x/arcrun-rag-bundles@abc"; curl -s "$BASE/manifest.json"'
run 0 'wrangler deploy --dry-run'
run 0 'wrangler deploy --env staging'
echo "── 不該擋:heredoc body 只是提到 ──"
run 0 "$(printf 'cat > docs/TESTING.md <<%sEOF%s\nexample: wrangler deploy then scripts/github-arm.sh to ship arcrun-rag-bundles\nEOF\n' "'" "'")"
echo "── 6 小時內驗過 stage,且 leo 已解 GitHub 保險 → 放行 ──"
# 條件 ① .github-armed 與條件 ② stage-verified 缺一不可,兩個都要造出來才測得到「放行」那條路
touch .github-armed
date +%s > /tmp/.stage-verified
run 0 'wrangler deploy --name arcrun-rag-bundles-installer'
rm -f /tmp/.stage-verified .github-armed
echo "── 只驗過 stage、沒解 GitHub 保險 → 還是要擋(條件缺一不可)──"
date +%s > /tmp/.stage-verified
run 2 'wrangler deploy --name arcrun-rag-bundles-installer'
rm -f /tmp/.stage-verified
echo
echo "$PASS/$((PASS+FAIL)) 通過"
[ "$FAIL" -eq 0 ]
@@ -1,21 +1,40 @@
# ADR-0001ISEP 自建 wiki,不繼承 InkStoneCo 的內容 # ADR-0001ISEP 這個 repo 自己維護一份 wiki(記 ISEP 自己的事,跟「裝 plugin」無關)
- **狀態**:已採納 - **狀態**:已採納(決策未變,本次僅修訂標題與內文的誤導處,見文末「常見誤解」)
- **日期**2026-08-20 - **日期**2026-08-20
- **票**`inkstone/ISEP#3` - **票**`inkstone/ISEP#3`(原案)、`inkstone/InkStoneCo#22`(本次修訂)
## 先講結論,避免讀到一半就會錯意
本 ADR 談的「wiki」,是 **`inkstone/ISEP` 這個 git repo 自己的開發歷史**——
跟其他任何 repo`InkStoneCo``arcrun`…)在自己 repo 底下放一份
`system-dev/wiki/` 記自己的事,是同一種、完全獨立的東西。
🔴 **這件事不會發生**:把 ISEP 這個 Claude Code plugin「裝」到別的 repo(本機或雲端的
Claude Code session 啟用這個 plugin),**不會在那個 repo 裡多寫出任何檔案**,
更不會在那裡生出一份 `system-dev/wiki/`。「plugin 裝到哪、wiki 就跟著長在哪,
所以每個 repo 都會有兩份」是誤讀——見文末「常見誤解」段的查證。
## 背景 ## 背景
ISEP 是獨立 repo裝的是「環境」(hookscommandsskillsscripts),本來刻意不放 ISEP 是獨立 repo對外扮演的角色是「環境」(hookscommandsskillsscripts
「知識」(wikidocs`_archive`——`README.md`「裝什麼」段。但接手 ISEP 的 session `README.md`「裝什麼」段列了清單,白紙黑字排除 `wiki/``docs/``_archive/`——
(含雲端)若要查「這裡的決定、踩過的坑、現在什麼狀態」,過去只能回頭 clone InkStoneCo 那些是「知識」不是「環境」)。但 ISEP**自己也是一個在持續開發的 repo**:它有自己的
頂層知識庫,多一層跳轉、且 ISEP 自己的事並不天然屬於 InkStoneCo 頂層(那裡管的是跨專案決策)。 決策(例如這份 ADR 本身)、踩過的坑、現在的狀態。過去要查「ISEP 這裡為什麼這樣設計、
之前討論到哪」,只能回頭 clone InkStoneCo 頂層知識庫,多一層跳轉,而且 ISEP 自己的
開發細節並不天然屬於 InkStoneCo 頂層(那裡管的是跨專案決策,不是單一 repo 的施工細節)。
## 決策 ## 決策
ISEP 建立自己的 `system-dev/wiki/`,骨架取自 `inkstone/system-dev-template` 的 wiki **`inkstone/ISEP` 這個 repo 自己**建立 `system-dev/wiki/`,骨架取自
template(三層 + 標籤橫切:`INDEX.md``TAXONOMY.md``status.md``mistakes.md` `inkstone/system-dev-template` 的 wiki template(三層 + 標籤橫切:`INDEX.md`
`principles.md``cards/<bucket>/`),照它的規約裝,不自創格式。 `TAXONOMY.md``status.md``mistakes.md``principles.md``cards/<bucket>/`),
照它的規約裝,不自創格式。
這份 wiki 只在 ISEP 這個 repo 的 git 歷史裡,跟著 `git clone inkstone/ISEP` 走;
它**不是** plugin payload 的一部分(`plugin.json``marketplace.json` 只宣告
`hooks/``commands/``skills/`,任何 Claude Code session 啟用這個 plugin 時載入的
也只有這些),所以其他 repo 啟用 ISEP plugin 時,這份 wiki 不會、也無法出現在那裡。
**紅線**:這份 wiki 只記 ISEP 自己的事。不把 InkStoneCo 頂層 wiki 的內容複製過來—— **紅線**:這份 wiki 只記 ISEP 自己的事。不把 InkStoneCo 頂層 wiki 的內容複製過來——
複製即 fork,fork 即漂移,跟「真身薄殼合一」(見 `cards/isep/真身薄殼合一.md`)要解的病 複製即 fork,fork 即漂移,跟「真身薄殼合一」(見 `cards/isep/真身薄殼合一.md`)要解的病
@@ -23,12 +42,47 @@ template(三層 + 標籤橫切:`INDEX.md``TAXONOMY.md``status.md``m
## 後果 ## 後果
- 好處:接手 session 在 ISEP 內就能查到 ISEP 自己的歷史,不必先 clone 別的 repo。 - 好處:接手 ISEP 這個 repo 的 session,在它自己的 checkout 裡就查得到它自己的歷史,
- 代價:多一份骨架要維護(跟 InkStoneCo 頂層、以及其他裝了 template 的子 repo 一樣) 不必先 clone 別的 repo。
- 代價:多一份骨架要維護(跟 InkStoneCo 頂層、以及其他裝了 template 的子 repo 一樣,
各自一份、各自維護,不互相複製)。
- 邊界:跨專案的決策、鐵律、部署架構全局,仍然只在 InkStoneCo 頂層記錄,ISEP 不重複。 - 邊界:跨專案的決策、鐵律、部署架構全局,仍然只在 InkStoneCo 頂層記錄,ISEP 不重複。
## 常見誤解,與查證
**誤解**:「ISEP 這個 plugin 裝到哪個 repo,就會在那個 repo 裡自建一份 wiki,
於是每個裝了 ISEP 的 repo 都會多出兩份(自己的 + ISEP 幫它建的)。」
**這不是實際行為。查證如下(2026-08-20 實查,不是抄口述)**:
1. `.claude-plugin/marketplace.json` 把整個 repo 根目錄(`"source": "./"`)宣告成
plugin 來源,Claude Code 依慣例目錄(`hooks/``commands/``skills/`)載入內容;
`README.md`「裝什麼」表列出的也正是這幾個目錄(外加 `scripts/` 供它們呼叫)——
**沒有任何一項是 wiki 或 docs**。啟用這個 plugin,載入的是 hook 腳本的路徑
`${CLAUDE_PLUGIN_ROOT}/hooks/*.sh`)、command/skill 的定義;這個載入過程本身
不涉及「往目前工作的 repo 寫入任何檔案」——它是讀,不是寫。
2. `README.md`「裝什麼」段明文把 `wiki/``docs/``_archive/` 列在「不放」——
這條界線本來就是刻意畫的(環境 vs 知識分離),不是本 ADR 才立的。
3. 全部 hooks 對「自己這支腳本」的路徑一律用 `${CLAUDE_PLUGIN_ROOT}`(不用
`$CLAUDE_PROJECT_DIR`,見 `README.md`「路徑規約」段)——這條規約本身就代表
hook 的邏輯設計上就是「讀 plugin 自己的檔案」,不是「往目前工作的 repo 寫東西」。
4. **唯一一支「真的會在某個 repo 裡建出 wiki」的腳本是 `scripts/install.sh`**——
但它是 `system-dev-template` 的獨立安裝器(不是 ISEP 的功能),要**人或 AI 手動執行
一次**才會動作,且動作對象是**執行當下的 cwd**,不是「ISEP 被啟用的地方」。
它會混進這個 repo,是搬家時帶過來的殘留(`docs/governance/DIVERGENCE-v0.5.0-to-v0.6.0.md`
A6 節已標記它是待清理項,跟 `.claude-plugin` 宣告的 plugin 功能無關)。
**這支腳本的存在,多半就是本誤解真正的來源**——它看起來像「ISEP 會建 wiki」,
但觸發方式(手動跑一次)與作用對象(cwd,不是「plugin 裝到的地方」)都跟
「裝 plugin 就自動建」完全不同。
⇒ 結論:本 ADR 的「wiki」只指 ISEP 這個 repo 自己 checkout 裡的那一份,
跟其他任何 repo 有沒有、要不要各自裝一份 wiki(那是它們自己的 `/wiki-init` 決定),
兩件事互不影響、也不會因為裝了 ISEP plugin 而自動被牽動。
## 相關 ## 相關
- `cards/isep/真身薄殼合一.md` - `cards/isep/真身薄殼合一.md`
- `cards/isep/repo邊界與紅線.md` - `cards/isep/repo邊界與紅線.md`
- `cards/isep/hook路徑規約.md` - `cards/isep/hook路徑規約.md`
- `inkstone/InkStoneCo#22`(本次修訂的來由:leo 讀完舊版誤解成「plugin 裝到哪、
wiki 就跟著建到哪」)
+14
View File
@@ -43,3 +43,17 @@ ISEPInkStone Environment Plugin):leo 的 Claude Code 環境唯一真相
已比對過的等價性(2026-08-20 逐支): 已比對過的等價性(2026-08-20 逐支):
- hook 檔案:41 支檔名完全相同,ISEP 多一支 `release-tag-guard.sh` - hook 檔案:41 支檔名完全相同,ISEP 多一支 `release-tag-guard.sh`
- 註冊條數:PreToolUse 29→30、SessionStart 2、Stop 10、SubagentStop 7、PostToolUse 3,其餘完全相同 - 註冊條數:PreToolUse 29→30、SessionStart 2、Stop 10、SubagentStop 7、PostToolUse 3,其餘完全相同
## v0.2.0 / v0.2.1 已撤回(2026-08-20
leo:「**你可以把舊的兩個 ISEP 版本刪掉,偷工減料的不能算,這不是交件被退回,
是根本未達足以交件的水準。**」
⇒ 兩個 release 與 tag 已刪除,`plugin.json` 回到哨兵值 `0.0.0`(=尚未發過正式版)。
**為什麼不算交件**:那兩版做的是 ISEP 自己的鷹架(搬檔案、寫規範、建標籤、補測試手冊),
而**當時 45 張管理票一張都沒關**。leo:「舊票都沒解決你出一堆版本幹嘛?根本沒解決舊有問題」。
🔴 **下一個版本的門檻**:至少關掉一張既有的管理票,release note 寫明關了哪張。
沒關掉舊票的東西不叫版本,叫進度。