Compare commits

..

17 Commits

Author SHA1 Message Date
Leo 35cc56dfc5 Merge '出貨線的實例座標雲端也拿得到'(inkstone/ISEP#115) 2026-09-01 16:43:00 +08:00
Leo dd86fef9a6 定版 v0.21.0(出貨線的實例座標雲端也拿得到)
inkstone/Arcrun#195 已併入兩個 main(Arcrun 828fe1f/arcrun-rag 93dc247):
出貨座標拆成「網址隨 repo 走、namespace 走環境變數」。那把 namespace 原本
只住在 ~/.arcrun/config.yaml 的 api_key——家目錄,不隨 clone 走 ⇒ 雲端拿不到。

總管實跑(乾淨環境 env -i、HOME 指空目錄、無任何 .env):
  resolveInstanceCoordinates({instance:'youlin'})
    base ← instances.json(隨 repo)|namespace ← 環境變數 ARCRUN_NS_YOULIN
  用那組座標 GET /webhooks/named → HTTP 200,9 支工作流

清單 9 把 → 10 把。實數確認:NEEDED 10 行、test 11/11 通過、B7/B8/B9 全綠。

🔴 這一筆是總管自己做的(平常該派工):派出去的工人在 API 層 SSL 錯誤掛掉,
且已超過收工線,改動是清單加一行 + 兩處把數同步,總管有完整驗證能力。
已依規約 touch /tmp/.solo-ok-<session_id> 留痕。

票:inkstone/ISEP#115(→ comment 5610)

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
2026-09-01 16:43:00 +08:00
Leo 92a008fd28 定版 v0.20.0(出貨那台帳號的鑰匙也在清單裡了)
leo 2026-09-01:「它出貨雲端部分還要什麼帳密也要給」「需要 uncle6?」
——需要,而且是硬需求。

實查(總管與工人各自打過一次,結果一致):
  installer/ship.targets.json 六處 accountId 去重 → 58309bb90fd93ad6d0fe0aae99170e9d
  用 products/arcrun-rag/.env 的 UNCLE6_CF_API_KEY 打 CF API:
    /user/tokens/verify → success: True, status: active
    /accounts           → 58309bb9… Uncle6.me@gmail.com's Account   一致
  本機 env 沒有 CLOUDFLARE_API_TOKEN;~/.wrangler/config/default.toml 有 oauth_token
  ⇒ 本機出貨靠家目錄的 OAuth 登入態,那個檔不隨 clone 走 ⇒ 雲端拿不到

清單 8 把 → 9 把。

🔴 未知的一格(刻意留在清單註解裡):這把有沒有 Workers Scripts:Edit 沒驗過
——驗它必須寫入。已確認至少有 Read(讀得回 uncle6 的 75 顆 worker)。

🔴 雲端出貨仍然不通,缺的不是憑證:
  · Leo/arcrun-rag-bundles-staging 對 claude-code 是 push:False(stage 釘的就是它)
  · ARCRUN_SHIP_BASE/ARCRUN_SHIP_NS 只住在 ~/.arcrun/config.yaml,不在任何 repo
  · .github-armed 只存在本機根目錄
  三件都是 leo 的裁決,不在本版範圍。

票:inkstone/ISEP#115

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
2026-09-01 12:38:04 +08:00
Leo 1f05bc2134 Merge 'uncle6 那把進雲端清單'(inkstone/ISEP#115) 2026-09-01 12:38:04 +08:00
Leo cb310e9c72 出貨那三站的帳號也進清單:uncle6(inkstone/ISEP#115 → comment 5577)
出貨的 installer/docsSite/mailRelay 三站,stage 與 prod 全部部署到 uncle6
(ship.targets.json 六處 accountId 去重後只有 58309bb90fd93ad6d0fe0aae99170e9d),
而本機是靠家目錄的 ~/.wrangler OAuth 登入態出貨——那個檔不隨 repo clone 走,
所以雲端會在部署當下才斷。UNCLE6_CF_API_KEY 這條路本來就存在且 active,只是沒進清單。

- NEEDED 加 UNCLE6_CF_API_KEY(住在 products/arcrun-rag/.env)。清單 8 → 9 把。
- 清單開頭那段「範圍」跟著改,否則說明與清單本身打架;
  並把「這把有沒有 Workers Scripts:Edit 沒驗」這個未知寫在旁邊,
  下一個讀清單的人不必重新發現它。
- docs/TESTING.md A26:把「清單現在是 8 把」改成 9 把,狀態表補 5577。

只加這一把。stage bundle repo 寫入權與 ARCRUN_SHIP_BASE/ARCRUN_SHIP_NS 沒碰
(comment 5577 明寫那是 leo 的裁決,不在範圍)。
值全程沒有進版控、沒有進對話(只印名字與長度)。版本號待總管定。

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
2026-09-01 12:35:40 +08:00
Leo 6f37772a40 定版 v0.19.0(雲端拿得到兩台的帳密)
leo 2026-09-01:「youlin 和 geek6688 都全給,因為這兩個都是讓 CC 操作
一個 stage 一個 test prod,不給所有的就是受阻。」

make-cloud-env.sh 的清單從 1 把變 8 把(youlin 5 + geek6688 2 + Gitea 1)。
在併完的樹上實數:61 支閘/84 條註冊/7 command/7 agent/2 skill/49 腳本
——六個數字都是數出來的,與 description 一致。

🔴 這一筆是補的:766375c 併進 main 時版本沒跟著動(總管把 bump 寫在一個
被 main-push 閘擋下的複合指令裡,擋掉之後只有 merge 生效)。
版本號是 leo 唯一的驗收介面,功能進了 main 而版本沒動=等於沒交付。

票:inkstone/ISEP#115

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
2026-09-01 12:11:29 +08:00
Leo 766375cd95 Merge '兩台全給:雲端拿得到 youlin+geek6688 的憑證'(inkstone/ISEP#115) 2026-09-01 12:08:29 +08:00
Leo 7aef9436c9 兩台全給(youlin+geek6688),清單守則從名字改成事實(inkstone/ISEP#115 → comment 5541/5542)
leo 2026-09-01:「youlin 和 geek6688 都全給,因為這兩個都是讓 CC 操作
一個 stage 一個 test prod,不給所有的就是受阻。」覆蓋 comment 5526 的 youlin-only。

- NEEDED 從 2 把變 8 把:youlin 五把(CF token/account id/MCP owner secret/
  stage 帳密兩把)+ geek6688 兩把(出貨 token/account id)+ 機器帳號 Gitea token。
  CLOUDFLARE_ACCOUNT_ID_YOULIN 是 comment 5542 才補進 .env 的,已實查在場。
  CLOUDFLARE_API_TOKEN_leo21c 沒加(leo 只點名那兩台)。
- 新增 B9:leo21c 那把住在頂層 .env,不在 polaris/mira/.env ⇒ B8 抓不到它。
  B9 比的是**值相等**不是名字——把它改名叫 CF_TOKEN_BACKUP 照樣紅,
  而黑名單會放它過去。兩條「該紅」方向都在拋棄式副本上實跑證過。
- 密碼類兩把進清單是給人拿的;credentials-map.md「密碼類憑證的用法限制」照舊:
  AI 不得把密碼打進登入欄位。這條寫在清單旁邊,下一個要加變數的人一定會看到。

順手修掉一個不是我造成的假綠:
- hooks/tests/sdd-guard-retired.test.sh 用了 mapfile,macOS 內建 bash 3.2 沒有這個內建,
  在乾淨的 origin/main 上就是離開碼 1(實驗證過),而 TESTING.md 標著「通過 8」。
  改成 while-read(同 scripts/gitea-labels-sync.sh:56 的前例)後:通過 8 / 失敗 0。

接基底與衝突:
- rebase 到 013a987,main 那 8 筆一筆沒掉。
- TESTING.md 兩邊都新增了 A25 ⇒ main 的 A25(sdd-guard 退役)保留原編號,
  本節改為 A26;狀態表那列跟著改。
- plugin.json 取 main 那邊(version 0.18.0 未動),六個數字在併完的樹上實數:
  61/84/7/7/2/49。
- mistakes.md 兩邊各自 append,兩條都留。

值全程沒有進版控、沒有進對話(只印名字與長度)。版本號待總管定。

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
2026-09-01 12:04:49 +08:00
Leo ca9ea9993b 雲端拿得到 youlin 那把 CF token,而且清單會自己跟機器對帳(inkstone/ISEP#115 → comment 5526)
scripts/make-cloud-env.sh 的 NEEDED 只有 1 個變數,裡面從來沒有任何 CF 憑證
——雲端 `env | grep -ciE 'cloudflare|^CF_|wrangler'` 回 0 是這麼來的,不是漏設。

- NEEDED 加 CLOUDFLARE_API_TOKEN_YOULIN_CC_USE(youlin = AI 的 stage)。
  leo21c 正式環境那 7 把(B 段)一把都沒動,理由寫在清單旁邊。
- 新增 scripts/test-make-cloud-env.sh(docs/TESTING.md A25,10 條):
  A 段用假 .env 隔離跑(證明缺值會被標紅、什麼都不寫進 repo);
  B 段拿真 .env 對帳,判準是「值出自哪個檔案」而不是名字裡有沒有某個字,
  並用一個已知住在 polaris/mira/.env 的變數自驗偵測真的會亮。
- TESTING.md B1 原本點名「加一個 GITEA_TOKEN_CLAUDE_CODE」已經過時,
  改成「① 區塊每一行都貼」。
- README/plugin.json 的 scripts 數字在自己的樹上實數:48 → 49。

值全程沒有進版控、沒有進對話(只印名字與長度)。
版本號待總管定。

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
2026-09-01 11:58:37 +08:00
claude-code 013a987688 Merge pull request '定版 v0.18.0(閘教的那條出路要真的走得通)' (#116) from chore/v0.18.0 into main 2026-08-31 11:12:40 +00:00
claude-code ce0fe87529 定版 v0.18.0:閘教的那條出路要真的走得通
inkstone/ISEP#112:comment-carries-task-guard 印出的
`scripts/ticket subtask` 子命令根本不存在,照著跑會噴四個動詞的
說明然後什麼都沒發生——閘擋對了,但它教的解法跑不動。

這一版讓那行指令原樣貼上就跑得完:補上 subtask 子命令(一個動作
同時掛 Gitea 原生相依+在母票留下指回來的留言),閘改成去
`ticket usage subtask` 拿用法而不自己抄一份,印的路徑改絕對路徑。

測試 29/29,其中 ⑱ 直接驗「訊息裡那塊指令原樣貼上跑得完」,
⑲ 是對照組證明舊的那組旗標確實跑不完。
2026-08-31 11:11:54 +00:00
claude-code 85f76c556a Merge '閘教的那條出路要真的走得通(inkstone/ISEP#112)' (#114) from fix/gate-teaches-a-command-that-runs into main 2026-08-31 11:10:40 +00:00
Leo 58c3689e4b 閘教的那條出路要真的走得通(inkstone/ISEP#112)
comment-carries-task-guard 擋下留言時教人跑 `scripts/ticket subtask …`,
而那一行跑不動。兩個獨立的原因,各自都足以害死它:

① 相對路徑對「貼上去那個人的 cwd」解析。總管的 cwd 是 InkStoneCo/,
   那裡的 scripts/ticket 是停在 08-27 之前的舊複本(grep -c subtask → 0),
   照著貼只印出它「四個動詞」的說明然後 exit 0。
② 用法是手抄的第二份,而它已經漂了:寫了 --assign 卻沒有 --next,
   正本會因為「指派了人卻沒寫 --next」直接擋下(exit 2,在打 API 之前)。

修法是拿掉可以漂的那一格,不是把兩份對齊一次:
- 路徑     scripts/ticket 的 self_path()(__file__ 的絕對路徑)
           ⇒ 印指令的人與跑指令的人是同一個檔案
- 用法     USAGE / usage_text() 一份,閘去 `ticket usage subtask --example` 現要
- 內文模板 body_template() 由 REQUIRED_SECTIONS 現生,跟檢查同源

新增動詞 `ticket usage <verb> [--example] [--parent] [--draft]`。
閘的訊息改成整塊可貼可跑:腳本絕對路徑、母票已填、內文草稿附在同一塊裡,
只剩標題/目標/驗收條件三格是機器不可能知道的。
正本叫不動時 fail-open 的只有「訊息內容」(只指路,不補一份手抄用法),
擋不擋不受影響。

測試 scripts/test-comment-carries-task-guard.sh 22 → 29 條。
新增的 ⑮–㉑ 驗的是「出路走不走得通」,不是「有沒有擋」——
⑱ 把閘 stderr 裡那塊指令原樣抽出來、只填三格、真的執行一次,
離開碼必須是 1(走到網路才停);是 2 就代表這個病復發。
六個變異全部驗過會紅(相對路徑/閘自己抄用法/--assign 沒配 --next/
模板寫死少一段/fallback 補回手抄用法)。

版本:待總管定版(plugin update 比的是版本號不是內容)。

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01SP7DiGMfSkWjZ15CHMbPFE
2026-08-31 11:01:45 +00:00
claude-code b8676f5aa9 Merge pull request '定版 v0.17.0(sdd-guard 退役)' (#111) from chore/v0.17.0 into main 2026-08-31 01:04:50 +00:00
claude-code 6e18cc2072 定版 v0.17.0:sdd-guard 退役 2026-08-31 01:04:21 +00:00
claude-code 8b2c7cecac Merge pull request 'sdd-guard 退役:讓「取消 Active SDD」這個裁決真的執行得下去(inkstone/ISEP#91)' (#110) from feat/retire-sdd-guard into main 2026-08-31 01:04:01 +00:00
Claude c7af690c2b sdd-guard 退役:讓「取消 Active SDD」這個裁決真的執行得下去(inkstone/ISEP#91)
leo 2026-08-16 在 inkstone/InkStoneCo#40 → comment 2942 裁定「取消 Active SDD」,
11 天沒被執行。原因不是有人偷懶,是**執行它的第一步會鎖死自己**:

    sdd-guard.sh 是 fail-closed 的
      · 動 code 檔時 status: active 不是恰好 1 份 → 擋(0 份也擋)
      · 路徑所在的 repo 沒有 3-specs           → 也擋

⇒ 照裁決把最後那份 active 拿掉 → 變 0 份 → 任何人動任何 .ts/.py/.go 全被擋。

而 ISEP 這個 repo 自己就沒有 3-specs——本票開工第一件事實測到:

    $ echo '{"tool_name":"Edit","tool_input":{"file_path":".../hooks/lib/dispatch_parse.py"}}' \
        | bash hooks/sdd-guard.sh
    🚫 SDD 協議攔截:… 找不到任何 SDD        exit 2

**它一直在誤攔 ISEP 自己,只是沒人回報。**

── 這一版做了什麼 ────────────────────────────────────
· hooks/sdd-guard.sh 刪除,hooks.json 取消註冊(85 → 84 條,只少這一條)
· commands/sdd-check.md 改寫:SDD 只記「起初的樣子」,任務本體在 Gitea 票;
  找不到 SDD 不再是停下來的理由,找不到票才是
· agents/inkstoneco-hand.md 拿掉「任何時刻只允許一份 status: active」那條紅線
· hooks/lib/path-resolve.sh 只加註解:它的唯一 caller 走了,但別順手刪
  (#22 學到的東西住在裡面,十幾支閘還在用它要修的那個寫法)

── 迴歸測試:測的不是「檔案刪了沒」,是「那個擋還會不會發生」──
hooks/tests/sdd-guard-retired.test.sh(通過 8/失敗 0,離線):
把「裁決執行完之後的世界」(沒有 3-specs 的 repo、兩份 status: active 的 repo)
丟給 hooks.json 上**整組** Write|Edit|MultiEdit 的閘——清單當場從 hooks.json 讀、
不寫死——不准有任何一支用 SDD/3-specs 當理由擋下來。
⇒ 日後有人換個檔名把同一個形狀種回來,這支照樣紅。

🔴 判準刻意不是「一支閘都不准擋」:同組還住著跟 SDD 無關、且看 session 狀態
決定擋不擋的閘(history-first/subagent-first)。把它們算失敗,這支測試會在別人
改別的東西時無故變紅,紅久了就沒人看——誤攔比漏擋更該修,對測試一樣成立。

**紅的證明**:把 sdd-guard 暫時復原(檔案+註冊)重跑 → 通過 1/失敗 7,
四條行為格全部指名 sdd-guard.sh。已還原。

── 自己跑過的 ──────────────────────────────────────
· hooks/tests/sdd-guard-retired.test.sh                通過 8/失敗 0
· 逐支點名 hooks.json(README「裝什麼」那道指令)      84 條,對 main 做集合差:
  少了 sdd-guard.sh × 1,多出 0 支,其餘一支不差
· 盤點數字全部在這棵樹上實數,不是加減推:
  ls hooks/*.sh|wc -l = 61(原 62)
  grep -c '"command":' hooks/hooks.json = 84(原 85)
  agents 7/commands 7/skills 2/scripts 48(皆未變動)
· 盤點表對帳三格(hooks-inventory 自己寫死的那三道):三格皆無輸出
· scripts/check-version-consistency.sh                  0.16.2 一致
· claude plugin validate .                              Validation passed
· hooks/tests/ 全部離線測試 24 支重跑:本次改動 0 退步
  (dispatch-format-guard 40/52、prod-write-guard 18/19-fail、
   stage-before-prod-guard 9/7-fail、另 3 支需帶參數/建不起沙盒——
   **六支在 gitea/main 上逐支重跑結果一模一樣,是既有狀態不是本次造成**)

── 沒做、也不該由這張票做的 ─────────────────────────
· inkstone/InkStoneCo 那半(拿掉 active SDD + 刪 CLAUDE.md「單一活性鐵律」段)
  ——那是 inkstoneco-hand 的 repo;而且順序上本來就要等這一版出去、
  兩邊 /plugin update 之後才動得,先拿掉就鎖死
· checkbox 分診(掛 inkstone/InkStoneCo#49,票上明寫不要另開票)
· 版本號:待總管定版

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_016ZBu4Sa1cGntKFRBYNZ6xs
2026-08-31 00:56:37 +00:00
18 changed files with 1039 additions and 405 deletions
+2 -2
View File
@@ -1,7 +1,7 @@
{ {
"name": "isep", "name": "isep",
"description": "InkStone Environment Plugin —— leo 的 Claude Code 環境唯一真相源:62 支機械閘(85 條註冊,白話盤點見 docs/hooks-inventory.md)、7 支 slash command、2 支 skill、7 位有名字的工人(agents/,見 docs/governance/worker-roster.md)、48 支腳本,外加治理規範與標籤真相源。本機與雲端裝同一份,沒有子集。", "description": "InkStone Environment Plugin —— leo 的 Claude Code 環境唯一真相源:61 支機械閘(84 條註冊,白話盤點見 docs/hooks-inventory.md)、7 支 slash command、2 支 skill、7 位有名字的工人(agents/,見 docs/governance/worker-roster.md)、49 支腳本,外加治理規範與標籤真相源。本機與雲端裝同一份,沒有子集。",
"version": "0.16.2", "version": "0.21.0",
"keywords": [ "keywords": [
"inkstone", "inkstone",
"guardrails", "guardrails",
+2 -2
View File
@@ -23,11 +23,11 @@
| | 數量 | 是什麼 | | | 數量 | 是什麼 |
|---|---|---| |---|---|---|
| `hooks/` | 62 `hooks.json` | 全部機械閘(PreToolUseStopSubagentStopSessionStartPostToolUseUserPromptSubmit 共 85 條註冊)。**一支一行的白話盤點在 `docs/hooks-inventory.md`,那裡才是這兩個數字的家** | | `hooks/` | 61 `hooks.json` | 全部機械閘(PreToolUseStopSubagentStopSessionStartPostToolUseUserPromptSubmit 共 84 條註冊)。**一支一行的白話盤點在 `docs/hooks-inventory.md`,那裡才是這兩個數字的家** |
| `agents/` | 7 位 | **工人名單**`inkstone/ISEP#86`)——派工時指名派給誰,規約見 `docs/governance/worker-roster.md` | | `agents/` | 7 位 | **工人名單**`inkstone/ISEP#86`)——派工時指名派給誰,規約見 `docs/governance/worker-roster.md` |
| `commands/` | 7 支 | `/wiki-recall` `/ship-check` `/cp-write` … | | `commands/` | 7 支 | `/wiki-recall` `/ship-check` `/cp-write` … |
| `skills/` | 2 支 | | | `skills/` | 2 支 | |
| `scripts/` | 48 支 | `ticket``roster``isep-nag``wiki-compress``github-arm.sh` …(頂層檔案,不含 `lib/` 等子目錄) | | `scripts/` | 49 支 | `ticket``roster``isep-nag``wiki-compress``github-arm.sh` …(頂層檔案,不含 `lib/` 等子目錄) |
> 🔴 這五個數字**每次都要在自己的樹上實數**,不准沿用上一版、也不准用加減推 > 🔴 這五個數字**每次都要在自己的樹上實數**,不准沿用上一版、也不准用加減推
> `system-dev/wiki/mistakes.md`:那是 leo 的驗收介面,多報就是假綠): > `system-dev/wiki/mistakes.md`:那是 leo 的驗收介面,多報就是假綠):
+3 -1
View File
@@ -16,6 +16,8 @@ description: 頂層知識庫的工人——wiki、SDD、Critical Path、決策
## 紅線 ## 紅線
- **頂層不寫業務程式碼。** 這一層只放跨專案的整理與判準。 - **頂層不寫業務程式碼。** 這一層只放跨專案的整理與判準。
- **任何時刻只允許一份 `status: active` 的 SDD**;不准自行建 SDD。 - **SDD 不是任務清單**leo 2026-08-16 取消 Active SDD`inkstone/InkStoneCo#40`):
它只記「起初的樣子」,**不帶 `status:`、不帶任務 checkbox**。任務本體在 Gitea 票。
⇒ 不准自行建 SDD,也不准把進度寫回 SDD。
- 規格層的變更 ⇒ 開一張 Gitea 票(`Human` 指派 `Leo` `s/triage`),不要自己改規格。 - 規格層的變更 ⇒ 開一張 Gitea 票(`Human` 指派 `Leo` `s/triage`),不要自己改規格。
- 寫給 leo 看的 md 一律**巢狀 bullet**Logseq outliner),禁表格平攤。 - 寫給 leo 看的 md 一律**巢狀 bullet**Logseq outliner),禁表格平攤。
+57 -41
View File
@@ -1,65 +1,81 @@
--- ---
name: sdd-check name: sdd-check
description: | description: |
開始任何開發任務前確認有沒有對應的 SDD——要寫 code、開新功能、 動手前把這件事的來歷讀齊——要寫 code、開新功能、
或不確定「這件事屬於哪份規格」時自動載入。 或不確定「這件事當初為什麼長這樣」時自動載入。
依 D35 SDD 生命週期鐵律:任何時刻只允許一份 status: active 的 SDD 🔴 Active SDD 已於 2026-08-16 取消(inkstone/InkStoneCo#40):
所有開發任務對應它的 tasks,找不到就停下來問(不得自行建 SDD); **任務本體在 Gitea 票,不在 SDD**SDD 只記「起初的樣子」,
沒有 status、沒有唯一活性、也不再養任務 checkbox。
⇒ 找不到 SDD 不是停下來的理由,找不到票才是;也不要為了動手而現編一份 SDD。
規格層變更改開 Gitea 票(Human+指派 Leo)後停止等 confirm——pending-changes.md 已於 2026-08-19 廢除,禁止寫入。 規格層變更改開 Gitea 票(Human+指派 Leo)後停止等 confirm——pending-changes.md 已於 2026-08-19 廢除,禁止寫入。
--- ---
# /sdd-check — 確認當前任務有沒有對應 SDD # /sdd-check — 動手前把這件事的來歷讀齊
動手前執行。確保 CC 有全局觀,不會在沒有設計文件的情況下猛衝。 ## 先講清楚它現在是什麼
leo 2026-08-16`inkstone/InkStoneCo#40` → comment 2942):
> 「**取消 Active SDD**⋯⋯所有文件中都不帶有任務 checkbox,因為移動到 Gitea 來管理,
> SDD 會脫節,它所做的是記錄起初的樣子⋯⋯實際情況靠 issues, PR, release 等機制來管理。」
所以三件事分家(`docs/governance/sdd-gitea-governance.md` §0 公理 1):
```
意圖真相 → SDDdocs/3-specs/ 未來式:當初打算怎麼做
狀態真相 → Gitea 票/PR/release 現在式:現在做到哪、誰在做
知識真相 → wiki 過去式:撞過什麼、學到什麼
```
🔴 **這支命令已經不是一道閘了。** 舊版靠 `sdd-guard.sh` 在動 code 前強制要有
「恰好一份 status: active 的 SDD」,那支閘於 `inkstone/ISEP#91` 退役——
它是 fail-closed 的,裁決一執行(active SDD 歸零)就會鎖死所有 code 寫入。
--- ---
## 執行流程 ## 執行流程
### 第一步:理解任務 ### 第一步:這件事的**票**是哪一張
確認使用者要做什麼: **這一步不能跳,也是唯一會讓你停下來的一步。**
- 涉及哪個子系統?
- 是新功能還是修改現有功能?
- 影響範圍?
### 第二步:尋找對應 SDD - 有票號 → 讀它(含整串留言:裁決、假設、前手交回的下一步都在那裡)
- 沒票號 → **先問清楚是哪一張,或先把票開出來**,不要憑一句話開工
`commands/issue-handle.md`Issue 是唯一任務介面)
`docs/3-specs/` 下尋找對應的子系統目錄,確認有沒有: ### 第二步:這件事的**來歷**在哪份 SDD
- `design.md`(設計文件)
- `tasks.md`(任務清單)
### 第三步:根據結果回應 `system-dev/docs/3-specs/` 下找對應子系統的 `design.md`
- 找到 → 讀它,弄清楚「當初為什麼這樣設計、有哪些邊界不能動」
- **找不到 → 照樣可以動手**。票才是任務本體;
沒有 SDD 只代表這塊當初沒有寫下設計,不代表這件事沒被批准
🔴 **不要為了動手而現編一份 SDD**,也不要去改任何 `status:` frontmatter——
那是已經取消的制度的殘留物。
🔴 **不要把任務 checkbox 寫進 SDD**。要追蹤進度就開票/改票的狀態標籤;
寫進文件裡的 checkbox 沒有人會回來關掉它(`inkstone/InkStoneCo#49`
清的就是這一批:378 條沒人維護的 checkbox)。
### 第三步:把讀到的東西講出來再動手
回覆開頭一行交代即可:
**情況 A:找到對應 SDD**
``` ```
✅ 找到 SDDdocs/3-specs/[子系統]/ 📌 票:<owner/repo#N> —— <一句話它要解什麼>
📋 design.md[確認] 📋 來歷:<design.md 路徑,或「這塊沒有 SDD」>
📋 tasks.md[確認,列出相關 task] 🚧 邊界:<這次不准動的東西>
🎯 對應 task[編號和描述]
繼續嗎?
``` ```
**情況 B:找不到 SDD,任務明確** ---
```
⚠️ 找不到對應 SDD
任務:[描述]
建議在 docs/3-specs/[建議子系統名]/ 建立 SDD
要我幫你起草 design.md 嗎?(需要你確認後才動手) ## 什麼時候該停下來問
```
**情況 C:找不到 SDD,任務模糊** 只有這幾種,**都跟 SDD 在不在無關**
```
⚠️ 找不到對應 SDD,而且任務範圍不夠清楚
請先回答:
1. 這個功能屬於哪個子系統?
2. 完成的標準是什麼?
3. 有沒有不能動的邊界?
```
### 注意 - 找不到對應的票,也問不出是哪一張
- 票上的要求跟現行規範互相衝突(貼出兩邊出處,給出你的推測,再問)
- 命中四題公式:花錢/不可逆/跨專案結構/品味方向
- 找不到 SDD **不等於可以直接動手** 其餘情況做出最合理的假設、把假設寫進 commit message 或票的留言,繼續走。
- 小修改(修 bug、改文字)可以豁免,但要明確說「這是小修改,範圍是 X」
- 新功能、架構變動、跨模組的修改 → 一定要有 SDD
+99 -6
View File
@@ -71,15 +71,32 @@ bash scripts/test-ticket-where-seen-guard.sh
人就學會忽略它 人就學會忽略它
- 最後那組 `fd_is_devnull` 紅 ⇒ 判準從「fstat 問得出來的事實」滑回猜文字 - 最後那組 `fd_is_devnull` 紅 ⇒ 判準從「fstat 問得出來的事實」滑回猜文字
### A11 — 討論串裡的任務要長成子票:22 ### A11 — 討論串裡的任務要長成子票:29
``` ```
bash scripts/test-comment-carries-task-guard.sh bash scripts/test-comment-carries-task-guard.sh
``` ```
**該看到**`22/22 通過` **該看到**`29/29 通過`全程離線(`TICKET_HOST` 指到連不上的位址),不開任何測試票。
**失敗** **失敗**
- 「該擋」6 條任一紅 ⇒ 08-26 那則真的掉了的留言形狀(「等雲端那半出貨才驗得了」)會漏抓 - 「該擋」6 條任一紅 ⇒ 08-26 那則真的掉了的留言形狀(「等雲端那半出貨才驗得了」)會漏抓
- 「不該擋」10 條任一紅 ⇒ **誤攔,這比漏擋嚴重**——每次留言都被擋,人就學會忽略它 - 「不該擋」10 條任一紅 ⇒ **誤攔,這比漏擋嚴重**——每次留言都被擋,人就學會忽略它
- 最後兩條(`-F <檔>`紅 ⇒ 內文放在檔案裡時閘看不到,等於走 `ticket say` 就自動繞過 - `-F <檔>` 那兩條紅 ⇒ 內文放在檔案裡時閘看不到,等於走 `ticket say` 就自動繞過
- **⑮~⑳(`inkstone/ISEP#112`)**:這一組驗的不是「有沒有擋」,是**擋下來之後教的那條路走不走得通**。
- ⑮⑯ 紅 ⇒ 訊息又印出相對路徑的 `scripts/ticket`。相對路徑是對**貼上去那個人的 cwd**
解析的,而 `InkStoneCo/scripts/ticket` 是舊複本(`grep -c subtask` → 0
⇒ 照著貼會印出它「四個動詞」的說明然後什麼都沒發生。
- ⑰ 紅 ⇒ 閘又自己抄了一份用法(它應該去 `ticket usage subtask` 現要)。
- **⑱ 紅 ⇒ 最嚴重**:把訊息裡那塊指令原樣抽出來、只填標題/目標/驗收條件三格,
**真的執行**,離開碼必須是 1(走到網路才停)。是 2 就表示又被某道閘擋下,
這張票的病復發了。
- ⑲ 是 ⑱ 的鑑別力對照(把閘原本那組 `--assign` 沒配 `--next` 接回去,必須紅);
⑲ 綠不了就代表 ⑱ 那條綠燈沒有意義。
- ⑳ 紅 ⇒ 內文草稿模板跟 `REQUIRED_SECTIONS` 分家了,會生出「照著貼卻過不了自己那道閘」的票。
- ㉑ 紅 ⇒ 正本叫不動時(雲端裝壞、路徑不對)閘不是不擋了,就是**又在訊息裡補了一份手抄用法**。
fail-open 的只准是「訊息內容」,不准是「擋不擋」;而補一份副本就是把這張票拔掉的東西裝回去。
> 🔴 **這一組刻意驗訊息內容,不是只驗離開碼。** `system-dev/wiki/mistakes.md`
> 記過:訊息壞掉時閘照樣 `exit 2`,只看離開碼完全看不出來——
> 而這張票(`inkstone/ISEP#112`)就是那個形狀的極端版:**閘擋對了,但它教的解法根本不存在。**
### A12 — 收工要把棒子交回來:10 條 ### A12 — 收工要把棒子交回來:10 條
``` ```
@@ -515,6 +532,79 @@ D 群同時釘住反面:認不出來(`cd $VAR`、`cd -`、cd 到不是 repo
- ① 紅 ⇒ 連總管在自己的目錄裡切分支都被擋。那不是嚴格,那是把共用目錄的主人趕出去 - ① 紅 ⇒ 連總管在自己的目錄裡切分支都被擋。那不是嚴格,那是把共用目錄的主人趕出去
- ㉞㉟ 紅 ⇒ `prune` 做錯了。㉞是沒清掉說謊的登記;**㉟是把還在的 worktree 也弄掉了,那是災難** - ㉞㉟ 紅 ⇒ `prune` 做錯了。㉞是沒清掉說謊的登記;**㉟是把還在的 worktree 也弄掉了,那是災難**
### A25 — `sdd-guard` 退役了,而且退乾淨了:8 條
```
bash hooks/tests/sdd-guard-retired.test.sh
```
**該看到**`通過 8 失敗 0`。離線,自己開兩顆假 git repo,跑完自己清。
**它在守什麼**`inkstone/ISEP#91`):leo 2026-08-16 在 `inkstone/InkStoneCo#40` 裁定
**取消 Active SDD**——任務狀態搬到 Gitea 管,SDD 只記「起初的樣子」。
`sdd-guard.sh`**fail-closed** 的:`status: active` 不是恰好 1 份就擋(**0 份也擋**),
路徑所在的 repo 沒有 `3-specs` 也擋。⇒ **照裁決把 active SDD 拿掉,會當場鎖死所有 code 寫入**
這就是那個裁決躺了 11 天沒人敢執行的真正原因。
🔴 **這支測的不是「檔案刪掉了沒有」,是「那個擋還會不會發生」**
它把「裁決執行完之後的世界」(沒有 `3-specs` 的 repo、有兩份 `status: active` 的 repo
丟給 `hooks.json` 上**整組** `Write|Edit|MultiEdit` 的閘——清單是當場從 `hooks.json` 讀的,
不寫死——**不准有任何一支用 SDD/3-specs 當理由擋下來**。
⇒ 日後有人換個檔名把同一個形狀種回來,這支照樣紅。
**失敗**
- ②那四條任一紅 ⇒ 裁決又被種回去了。**最要看的是最後一條**(ISEP 自己的 `hooks/lib/*.py`):
ISEP 這個 repo 本身就沒有 `3-specs`,退役前那一格是紅的——它是這件事的活體證據
- ③紅 ⇒ 條文回來了。有人在 `commands/``agents/``skills/``hooks/`
又寫了一次「只准一份 active SDD」,而**條文會被載入,載入就會被照做**
- ①的第三條(`hooks.json` 仍是合法 JSON)紅 ⇒ 合併把檔案弄壞了;
但**它只證明語法沒壞、不證明閘還在**——閘在不在要另外跑 README 那道逐支點名
📌 **這支只管 ISEP 這一半。** 裁決的另外兩件在 `inkstone/InkStoneCo`
拿掉那份 active SDD `CLAUDE.md` 的「單一活性鐵律」段,以及
`system-dev/docs/` 底下的任務 checkbox 分診(掛 `inkstone/InkStoneCo#49`)。
🔴 **順序不可顛倒**:要等這一版 ISEP 出去、兩邊 `/plugin update` 之後,
那半才動得——先拿掉 active SDD 就會鎖死。
### A26 — 雲端該有的憑證清單,這台機器真的拿得到:11 條
```
bash scripts/test-make-cloud-env.sh
```
**該看到**`11/11 通過,跳過 0 條`(清單現在是 10 把——兩台全給 + 機器帳號 + uncle6 出貨 Arcrun 出貨線的實例 namespace)。**全程只印變數名字與值的長度,一個字元的值都不印。**
A 段用假的 `.env` 隔離跑(不碰真金鑰、不碰 `~/.claude/cloud-env`);
B 段拿這台機器真正的 `.env` 對帳——**`.env` 不在的機器(雲端就是)會印 `⏭️ SKIP`**
不算失敗,但也不算驗過。
**它在守什麼**inkstone/ISEP#1152026-09-01 實撞):
`make-cloud-env.sh``NEEDED` 是「雲端總管手上有哪些憑證」的**唯一**清單。
那天雲端要清空 youlin`env | grep -ciE 'cloudflare|^CF_|wrangler'`**0**——
不是雲端漏設,是**這份清單裡從來沒有任何 CF 憑證**。
🔴 更貴的是它**發生在流程末端**:工人已經把清空腳本與測試都寫完了,
到要真的跑的那一刻才知道跑不了。
**失敗**
- **B7 紅** ⇒ 清單上有一把這台機器根本拿不到值 ⇒ leo 貼出去的會是
`<🔴 找不到>`,而雲端要到**用到那一刻**才知道。這就是 ISEP#115 那一天的形狀
- **B8 紅** ⇒ 清單裡混進了值出自 `polaris/mira/.env` 的變數,那是 **leo21c 現役正式環境**
leo 2026-08-20 已把那 7 把分進 B 段並選擇不放(`inkstone/InkStoneCo#14` → comment `3890`
- **B9 紅** ⇒ 清單裡有一把的**值**就是 `CLOUDFLARE_API_TOKEN_leo21c`
leo 2026-09-01 的紅線是「那把不准加」,而 B9 比的是值不是名字 ⇒ **改個名字照樣紅**
- **B8x 紅或長期 SKIP** ⇒ B8 的偵測**不會亮**。全綠有兩種可能(真的沒有正式憑證/
偵測根本壞了),分不開就等於沒驗
- **A5a/A5b 紅** ⇒ 缺值時不會被標成 `<🔴 …>`、收尾也不點名 ⇒ **假綠**
而假綠正是這張票要解的病
- **A6 紅** ⇒ 有東西被寫進 repo。那支腳本的產物含金鑰真身,**刻意不在任何 repo 裡**
> 🔴 **B8 與 B9 的判準都不是名字,是機器算得出來的事實。**
> B8 看「值從哪個檔案拿到的」,B9 看「這個值是不是就是 leo21c 那把」。
> **兩條是分工不是重複**`CLOUDFLARE_API_TOKEN_leo21c` 住在**頂層** `.env`
> 不在 `polaris/mira/.env` ⇒ B8 抓不到它,那就是 B9 存在的理由。
>
> **兩條的「該紅」方向都實跑過**(2026-09-01,拋棄式副本,分支一個字沒動):
> ```
> 混進 mira 的 NAMESPACE → ❌ B8 …want=0 got=1,並指出「來自 polaris/mira/.env」
> 把 leo21c 那把改名 CF_TOKEN_BACKUP → ❌ B9 …want=0 got=1B8 此時仍綠,因為值不出自 mira)
> ```
> ⇒ 第二條正是黑名單會放過去的形狀。
### A5 — 開票前的搜尋是跨 repo 的 ### A5 — 開票前的搜尋是跨 repo 的
``` ```
python3 scripts/ticket where 標籤 模組化 python3 scripts/ticket where 標籤 模組化
@@ -683,9 +773,11 @@ bash scripts/make-cloud-env.sh
打開上一步產生的檔,裡面兩塊分別貼進 claude.ai → **Cloud environments** → 你的環境: 打開上一步產生的檔,裡面兩塊分別貼進 claude.ai → **Cloud environments** → 你的環境:
1. **Environment variables** 加一個 1. **Environment variables**:把 ① 區塊**每一行**都貼進去(一行一個,名字與值分開填)。
- 名稱`GITEA_TOKEN_CLAUDE_CODE` 現在是 2 個`GITEA_TOKEN_CLAUDE_CODE`(機器帳號 Gitea token)與
- 值:**既有的** claude-code 機器帳號 Gitea token(不要新造一把) `CLOUDFLARE_API_TOKEN_YOULIN_CC_USE`youlin AI 的 stage 實例)。
🔴 **不要照這裡的名字數**——以腳本產出的 ① 區塊為準,這份文件會落後。
值全部是**既有的**,一把都沒有新造。
2. **Setup script** 欄位:貼進 `docs/cloud-setup-script.sh` 的全文,一字不改。 2. **Setup script** 欄位:貼進 `docs/cloud-setup-script.sh` 的全文,一字不改。
**該看到**:儲存後沒有紅字。 **該看到**:儲存後沒有紅字。
@@ -783,6 +875,7 @@ B2(信標那行)/B3(setup 輸出)/B4(閘的訊息)三個畫面
| **A12 留言身份欄(兩道門)** | 總管 | ✅ 11/112026-08-27 | | **A12 留言身份欄(兩道門)** | 總管 | ✅ 11/112026-08-27 |
| **A23 同時跑的線有上限** | isep-guard | ✅ 33/332026-08-29inkstone/ISEP#109 | | **A23 同時跑的線有上限** | isep-guard | ✅ 33/332026-08-29inkstone/ISEP#109 |
| **A24 一條線要有自己的工作目錄** | isep-guard | ✅ 35/352026-08-29inkstone/ISEP#109→5391 | | **A24 一條線要有自己的工作目錄** | isep-guard | ✅ 35/352026-08-29inkstone/ISEP#109→5391 |
| **A26 雲端憑證清單這台拿得到** | isep-hand | ✅ 11/112026-09-01inkstone/ISEP#115→5526554155425577)+兩條「該紅」方向實跑 |
| **A16 放行的門真的打得開** | 總管 | ✅ 17/172026-08-28inkstone/ISEP#90 | | **A16 放行的門真的打得開** | 總管 | ✅ 17/172026-08-28inkstone/ISEP#90 |
| **A17 未推警察不誤攔雲端分支** | 總管 | ✅ 10/102026-08-28inkstone/ISEP#90 | | **A17 未推警察不誤攔雲端分支** | 總管 | ✅ 10/102026-08-28inkstone/ISEP#90 |
| **A18 信標會報雲端接線缺陷** | 總管 | ✅ 14/142026-08-28inkstone/ISEP#90 | | **A18 信標會報雲端接線缺陷** | 總管 | ✅ 14/142026-08-28inkstone/ISEP#90 |
+1 -1
View File
@@ -853,7 +853,7 @@ scripts/ticket mine [--user <誰>]
| 閘 | 掛在哪 | 抓什麼 | 測試 | | 閘 | 掛在哪 | 抓什麼 | 測試 |
|---|---|---|---| |---|---|---|---|
| `hooks/comment-carries-task-guard.sh` | PreToolUse `Bash` | 留言裡帶「等 X 才…/驗不了/還沒…」這種**未完成的未來式**,卻沒開子票 → 擋一次 | `scripts/test-comment-carries-task-guard.sh`22 條) | | `hooks/comment-carries-task-guard.sh` | PreToolUse `Bash` | 留言裡帶「等 X 才…/驗不了/還沒…」這種**未完成的未來式**,卻沒開子票 → 擋一次 | `scripts/test-comment-carries-task-guard.sh`29 條) |
| `hooks/baton-handback-guard.sh` | PostToolUse `Agent\|Task` | 一條線收工,票上**指派/tag/下一步**缺哪一格 → 當場說出來(提醒,不擋) | `scripts/test-baton-handback-guard.sh`10 條) | | `hooks/baton-handback-guard.sh` | PostToolUse `Agent\|Task` | 一條線收工,票上**指派/tag/下一步**缺哪一格 → 當場說出來(提醒,不擋) | `scripts/test-baton-handback-guard.sh`10 條) |
🔴 **兩支閘的誤攔設計**`comment-carries-task-guard` 同一 session 只擋一次, 🔴 **兩支閘的誤攔設計**`comment-carries-task-guard` 同一 session 只擋一次,
+28 -5
View File
@@ -1,4 +1,4 @@
# 62 支閘,白話盤點表 # 61 支閘,白話盤點表
> 回應 `inkstone/InkStoneCo#40`:「如果加入了,我應該可以白話文看到 hooks 的內容?」 > 回應 `inkstone/InkStoneCo#40`:「如果加入了,我應該可以白話文看到 hooks 的內容?」
> 這份表就是那個「白話文」——不用點開任何 `.sh` 檔,一行看懂一支閘在管什麼。 > 這份表就是那個「白話文」——不用點開任何 `.sh` 檔,一行看懂一支閘在管什麼。
@@ -7,14 +7,14 @@
## 一句話結論 ## 一句話結論
`hooks/` 底下有 **62 個 `.sh` 檔**`hooks.json` 實際掛上 **85 條註冊**(同一支閘常被多種情境同時掛上); `hooks/` 底下有 **61 個 `.sh` 檔**`hooks.json` 實際掛上 **84 條註冊**(同一支閘常被多種情境同時掛上);
其中 **3 支檔案存在但沒被掛上**(2 支是待人填的空範本、1 支是刻意留著沒開的止血帶,見下面「未生效」表)。 其中 **3 支檔案存在但沒被掛上**(2 支是待人填的空範本、1 支是刻意留著沒開的止血帶,見下面「未生效」表)。
下面按「你會在什麼時候撞到它」分組,一支一行。 下面按「你會在什麼時候撞到它」分組,一支一行。
> 🔴 **這兩個數字上一版是錯的(2026-08-26 實際數過才發現)**:本頁原本寫「43 個檔、53 條註冊」, > 🔴 **這兩個數字上一版是錯的(2026-08-26 實際數過才發現)**:本頁原本寫「43 個檔、53 條註冊」,
> 而當時真實是 **45 個檔、55 條註冊**——中間有兩支閘進來時沒有回頭改這裡。 > 而當時真實是 **45 個檔、55 條註冊**——中間有兩支閘進來時沒有回頭改這裡。
> 現在的寫法是實際數出來的: > 現在的寫法是實際數出來的:
> `ls hooks/*.sh | wc -l` 62`grep -c '"command":' hooks/hooks.json` 85 > `ls hooks/*.sh | wc -l` 61`grep -c '"command":' hooks/hooks.json` 84
> ⚠️ **冒號不能省**`grep -c '"command"'`(沒冒號)會連 `"type": "command"` 一起數到,回 **120**。 > ⚠️ **冒號不能省**`grep -c '"command"'`(沒冒號)會連 `"type": "command"` 一起數到,回 **120**。
> 本頁 2026-08-27 之前寫的是沒冒號那版——**照著它跑會拿到一個跟本頁不符的數字**。 > 本頁 2026-08-27 之前寫的是沒冒號那版——**照著它跑會拿到一個跟本頁不符的數字**。
> **一份會偷偷過期的盤點表,跟沒有盤點表差不多**——見本頁最後「怎麼跟實況對帳」那段。 > **一份會偷偷過期的盤點表,跟沒有盤點表差不多**——見本頁最後「怎麼跟實況對帳」那段。
@@ -78,6 +78,12 @@
> `ls -p scripts | grep -v / | wc -l`,只數檔案)在合併後的樹上實數是 **48**。 > `ls -p scripts | grep -v / | wc -l`,只數檔案)在合併後的樹上實數是 **48**。
> **同一個病,第 N 次,只是換一欄。** > **同一個病,第 N 次,只是換一欄。**
> 📌 **`inkstone/ISEP#91`2026-08-31)退一支、−1 條**`sdd-guard.sh`B 組)退役,
> 執行 leo 2026-08-16 在 `inkstone/InkStoneCo#40` 那個「取消 Active SDD」的裁決。
> 62→**61** 支、85→**84** 條,兩個數字都是**在自己這棵樹上當場數出來的**
> `ls hooks/*.sh | wc -l``grep -c '"command":' hooks/hooks.json`),不是拿上一版減一。
> 退役的理由與順序寫在 B 組表格底下那段。
> 📌 **`0.10.0``inkstone/ISEP#81`2026-08-28)進來一支**`pr-verdict-guard.sh`F 組,Stop)。 > 📌 **`0.10.0``inkstone/ISEP#81`2026-08-28)進來一支**`pr-verdict-guard.sh`F 組,Stop)。
> 51→**52** 支、64→**65** 條,兩個數字都是加完之後當場數出來的(指令同上)。 > 51→**52** 支、64→**65** 條,兩個數字都是加完之後當場數出來的(指令同上)。
> 順手改掉一個過期的數字:描述欄長期寫「27 支腳本」,實數是 **34** > 順手改掉一個過期的數字:描述欄長期寫「27 支腳本」,實數是 **34**
@@ -122,7 +128,7 @@
| `milestone-due-guard.sh` | AI 想開一個新的里程碑(milestone)卻沒填期限就擋下,**填 `9999-01-01` 一樣擋**——那是「沒有期限」穿了一件期限的衣服,盤點時每一格看起來都有值,其實一格都沒有。只管「建里程碑」這個動作,查詢/改別的欄位都放行。 | 🛑 擋 | | `milestone-due-guard.sh` | AI 想開一個新的里程碑(milestone)卻沒填期限就擋下,**填 `9999-01-01` 一樣擋**——那是「沒有期限」穿了一件期限的衣服,盤點時每一格看起來都有值,其實一格都沒有。只管「建里程碑」這個動作,查詢/改別的欄位都放行。 | 🛑 擋 |
| `milestone-account-guard.sh` | AI 想直接打 API 把某個里程碑改成「已關閉」,卻**還沒留下「估多久/花多久/差多少/為什麼差」**就擋下。跟上一列是同一條線的兩端:那支管**開**里程碑要有真的期限,這支管**關**的時候要留下帳。走正門 `scripts/milestone-account close` 就會自己算(數字取自 Gitea 的 `created_at``due_on``closed_at`,不用手填),差超過 ±25% 才要你從**七個固定代號**裡挑一個,而且那個代號要有 Gitea 時間軸撐得住——**不採信自述**。純讀取/建里程碑/改期限/只是談論它/走正門,全部放行;真要手動關就在指令裡加 `milestone-account-ok`(留痕)。 | 🛑 擋 | | `milestone-account-guard.sh` | AI 想直接打 API 把某個里程碑改成「已關閉」,卻**還沒留下「估多久/花多久/差多少/為什麼差」**就擋下。跟上一列是同一條線的兩端:那支管**開**里程碑要有真的期限,這支管**關**的時候要留下帳。走正門 `scripts/milestone-account close` 就會自己算(數字取自 Gitea 的 `created_at``due_on``closed_at`,不用手填),差超過 ±25% 才要你從**七個固定代號**裡挑一個,而且那個代號要有 Gitea 時間軸撐得住——**不採信自述**。純讀取/建里程碑/改期限/只是談論它/走正門,全部放行;真要手動關就在指令裡加 `milestone-account-ok`(留痕)。 | 🛑 擋 |
| `reply-identity-guard.sh` | 直接打 Gitea API 貼留言到票上時,內文第一行沒有 `【身份】``總管``subagent``leo`)就擋下——票上多條線並行時,看不出哪一則是誰寫的。純讀取、走 `scripts/ticket` 正門、指令裡加 `reply-identity-ok` 都放行。 | 🛑 擋 | | `reply-identity-guard.sh` | 直接打 Gitea API 貼留言到票上時,內文第一行沒有 `【身份】``總管``subagent``leo`)就擋下——票上多條線並行時,看不出哪一則是誰寫的。純讀取、走 `scripts/ticket` 正門、指令裡加 `reply-identity-ok` 都放行。 | 🛑 擋 |
| `comment-carries-task-guard.sh` | AI 要在票裡留一則「等某某上線才驗得了」這種**還沒做完的事**,卻沒有把它開成一張子票時,擋一次。留言沒人會回頭讀,票的 open/closed 撈一次就看得到。 | 🛑 擋(同一輪只擋一次) | | `comment-carries-task-guard.sh` | AI 要在票裡留一則「等某某上線才驗得了」這種**還沒做完的事**,卻沒有把它開成一張子票時,擋一次。留言沒人會回頭讀,票的 open/closed 撈一次就看得到。**擋下來時印的是一整塊可以直接貼著跑的指令**(腳本用絕對路徑、母票已經填好、內文草稿附在同一塊裡),那塊字是跟 `scripts/ticket usage subtask` 現要的,不是閘自己抄的一份(`inkstone/ISEP#112`)。 | 🛑 擋(同一輪只擋一次) |
| `search-is-not-proof-guard.sh` | AI 用知識庫的**搜尋**找到一筆東西,然後把那筆東西的原始編號直接貼進票裡或派工單裡,當成「某個功能壞了」的證據——而它從沒用正規的檢索路徑去查過那筆——擋一次。你關心的是:不會再有人拿錯的方法量出一個錯的結論,然後退回一張其實已經做完的票。 | 🛑 擋(同一輪只擋一次) | | `search-is-not-proof-guard.sh` | AI 用知識庫的**搜尋**找到一筆東西,然後把那筆東西的原始編號直接貼進票裡或派工單裡,當成「某個功能壞了」的證據——而它從沒用正規的檢索路徑去查過那筆——擋一次。你關心的是:不會再有人拿錯的方法量出一個錯的結論,然後退回一張其實已經做完的票。 | 🛑 擋(同一輪只擋一次) |
| `line-needs-own-worktree.sh` | 一條派工線想在**大家共用的那份工作目錄**裡切分支(`git checkout``git switch`)就擋下,叫它先開一份自己的 worktree。你關心的是:不會再有人交回工作時把某個 repo 留在自己的分支上,而下一個人在同一個目錄跑出貨、讀到的是別人留下的 HEAD。**總管在自己的目錄裡切分支不管**(那是他的目錄);已經在自己 worktree 裡的切換全部放行;還原檔案(`git checkout -- 檔`)不管。擋下來的同時會順手把「指向空氣」的 worktree 登記清掉。 | 🛑 擋 | | `line-needs-own-worktree.sh` | 一條派工線想在**大家共用的那份工作目錄**裡切分支(`git checkout``git switch`)就擋下,叫它先開一份自己的 worktree。你關心的是:不會再有人交回工作時把某個 repo 留在自己的分支上,而下一個人在同一個目錄跑出貨、讀到的是別人留下的 HEAD。**總管在自己的目錄裡切分支不管**(那是他的目錄);已經在自己 worktree 裡的切換全部放行;還原檔案(`git checkout -- 檔`)不管。擋下來的同時會順手把「指向空氣」的 worktree 登記清掉。 | 🛑 擋 |
| `diagnosis-evidence-guard.sh` | 你想把一段有份量的東西寫上票,而這個 session **沒派人去查過那張票**、那段話裡也**沒有任何走得過去的出處**(檔案:行號/commit/comment 號/票號/網址/貼出來的實測輸出)就擋一次——未經調查的診斷寫在票上會長得像事實,工人會照著它去驗證而不是去查。派過人查、或把出處帶上,都放行;一句短回覆不管。 | 🛑 擋 | | `diagnosis-evidence-guard.sh` | 你想把一段有份量的東西寫上票,而這個 session **沒派人去查過那張票**、那段話裡也**沒有任何走得過去的出處**(檔案:行號/commit/comment 號/票號/網址/貼出來的實測輸出)就擋一次——未經調查的診斷寫在票上會長得像事實,工人會照著它去驗證而不是去查。派過人查、或把出處帶上,都放行;一句短回覆不管。 | 🛑 擋 |
@@ -133,7 +139,6 @@
| `guard-cross-project.sh` | 總管(頂層)想直接改某個子 repo 的程式碼(非 `.md`)就擋下——頂層只做安排交辦,實作要進那個子 repo 自己做。 | 🛑 擋 | | `guard-cross-project.sh` | 總管(頂層)想直接改某個子 repo 的程式碼(非 `.md`)就擋下——頂層只做安排交辦,實作要進那個子 repo 自己做。 | 🛑 擋 |
| `wiki-secret-scan.sh` | 要寫進 `system-dev/wiki/` 的內容裡出現密碼/金鑰/身分證/信用卡等特徵就擋下,防止機敏資料意外留在會被反覆讀取的記憶空間裡。 | 🛑 擋 | | `wiki-secret-scan.sh` | 要寫進 `system-dev/wiki/` 的內容裡出現密碼/金鑰/身分證/信用卡等特徵就擋下,防止機敏資料意外留在會被反覆讀取的記憶空間裡。 | 🛑 擋 |
| `component-guard.sh` | AI 想自己新建一個零件(component)或亂接 service binding 就擋下——逼它先想「現成零件夠不夠用」,真要建要你解鎖。 | 🛑 擋 | | `component-guard.sh` | AI 想自己新建一個零件(component)或亂接 service binding 就擋下——逼它先想「現成零件夠不夠用」,真要建要你解鎖。 | 🛑 擋 |
| `sdd-guard.sh` | AI 想直接動程式碼檔案,但找不到「唯一一份 active 規格文件(SDD)」對應這件事,或同時有一份以上 active 規格就擋下。 | 🛑 擋 |
| `credential-only-guard.sh` | AI 想把金鑰真身或自製佔位符(例如 `__XXX_TOKEN__`)寫進設定檔就擋下——金鑰只准放在統一的 credential 中心。 | 🛑 擋 | | `credential-only-guard.sh` | AI 想把金鑰真身或自製佔位符(例如 `__XXX_TOKEN__`)寫進設定檔就擋下——金鑰只准放在統一的 credential 中心。 | 🛑 擋 |
| `arcrun-intent-guard.sh` | AI 寫的 Arcrun workflow 語法不對就擋下,而且**直接把正確寫法回貼給它**(不是只罵它錯,是教它怎麼改)。 | 🛑 擋(教學型) | | `arcrun-intent-guard.sh` | AI 寫的 Arcrun workflow 語法不對就擋下,而且**直接把正確寫法回貼給它**(不是只罵它錯,是教它怎麼改)。 | 🛑 擋(教學型) |
| `subagent-first-guard.sh` | 這個對話**從頭到尾都沒有派過任何 subagent**,AI 卻要自己動手改程式碼,就先擋一次,逼它想一想「這件事能不能交給別人做」。 | 🛑 擋 | | `subagent-first-guard.sh` | 這個對話**從頭到尾都沒有派過任何 subagent**,AI 卻要自己動手改程式碼,就先擋一次,逼它想一想「這件事能不能交給別人做」。 | 🛑 擋 |
@@ -141,6 +146,24 @@
| `wiki-size-guard.sh` | AI 想**一口氣砍掉 wiki 檔一大半內容**(淨縮水超過 800 字且超過原本 45%)就擋一次——那不是一次編輯,那是一次壓縮,而**壓縮會弄丟東西,弄丟的當下沒有人會發現**。出路是走 `scripts/wiki-compress`:它逼你附票號、把壓掉了什麼寫進 `.compress-log.md`,並用內文雜湊**逐條對帳**證明沒弄丟。只是改字、加字、小修一律不碰;真要手改就在內容裡放 `wiki-compress-ok` 留痕。 | 🛑 擋(至多攔一次) | | `wiki-size-guard.sh` | AI 想**一口氣砍掉 wiki 檔一大半內容**(淨縮水超過 800 字且超過原本 45%)就擋一次——那不是一次編輯,那是一次壓縮,而**壓縮會弄丟東西,弄丟的當下沒有人會發現**。出路是走 `scripts/wiki-compress`:它逼你附票號、把壓掉了什麼寫進 `.compress-log.md`,並用內文雜湊**逐條對帳**證明沒弄丟。只是改字、加字、小修一律不碰;真要手改就在內容裡放 `wiki-compress-ok` 留痕。 | 🛑 擋(至多攔一次) |
| `pending-changes-retired.sh` | AI 想寫東西進已經廢除的 `pending-changes.md` 檔案就擋下——這個檔案已停用,規格變更一律改開 Gitea 票。 | 🛑 擋 | | `pending-changes-retired.sh` | AI 想寫東西進已經廢除的 `pending-changes.md` 檔案就擋下——這個檔案已停用,規格變更一律改開 Gitea 票。 | 🛑 擋 |
> 🔴 **`sdd-guard.sh` 已於 `inkstone/ISEP#91` 退役**(原本掛在這一組)。
> 它擋的是「動 code 檔時,`status: active` 的 SDD 不是恰好一份」。
> leo 2026-08-16`inkstone/InkStoneCo#40` → comment 2942)已裁定**取消 Active SDD**
> 任務狀態搬到 Gitea 管,SDD 只記「起初的樣子」,不帶任務 checkbox。
> ⇒ 那支閘要的東西,制度上已經不會再有人生產。
>
> **它為什麼非退不可,而不是放著沒關係**:它是 fail-closed 的——
> `active` 不是恰好 1 份就擋,**0 份也擋**;路徑所在的 repo 沒有 `3-specs` 也擋。
> 所以「照裁決把 active SDD 拿掉」這個動作本身,會把所有人動任何
> `.ts``.py`/`.go` 的路一起鎖死。這就是那個裁決躺了 11 天沒人敢執行的真正原因。
> 而 **ISEP 這個 repo 自己就沒有 `3-specs`**:退役之前,改自己的 `hooks/lib/*.py`
> 當場被這支閘擋下——那不是假設,是這張票開工第一件事實測到的。
> ⇒ 退役的順序是「**先讓閘退役,再拿掉 active SDD**」,顛倒過來就鎖死。
>
> 迴歸測試在 `hooks/tests/sdd-guard-retired.test.sh`:它測的不是「檔案刪了沒有」,
> 而是把「裁決執行完之後的世界」丟給整組寫檔閘,**不准有任何閘用 SDD 當理由擋下來**
> ——有人日後換個檔名把同一個形狀種回來,那支測試照樣會紅。
> `kbdb-api-wall-guard.sh` 在這裡也重複掛了一次(見 A 組)——它同時守著「下指令」跟「寫檔案」兩種情境,詳見下方「重複掛載」一節。 > `kbdb-api-wall-guard.sh` 在這裡也重複掛了一次(見 A 組)——它同時守著「下指令」跟「寫檔案」兩種情境,詳見下方「重複掛載」一節。
## C. AI 要去翻程式碼/查資料之前(PreToolUse / Grep·Glob·Read·Bash ## C. AI 要去翻程式碼/查資料之前(PreToolUse / Grep·Glob·Read·Bash
+77 -9
View File
@@ -103,10 +103,64 @@ WARNED="/tmp/.comment-task-guard-warned-$SID"
[ -f "$WARNED" ] && exit 0 # 同一 session 只擋一次,不鬼打牆 [ -f "$WARNED" ] && exit 0 # 同一 session 只擋一次,不鬼打牆
date +%s > "$WARNED" date +%s > "$WARNED"
cat >&2 <<EOF # ── 出路要真的走得通(inkstone/ISEP#112)────────────────────────────────
#
# 這支閘 08-27 上線時印的是 `scripts/ticket subtask …`,而那一行**跑不動**,
# 兩個獨立的原因(2026-08-31 實測,各自都足以害死它):
#
# ① 相對路徑對「貼上去那個人的 cwd」解析。總管的 cwd 是 `InkStoneCo/`
# 那裡的 `scripts/ticket` 是舊複本(`grep -c subtask` → 0),
# 照著貼只會印出它「四個動詞」的說明然後 exit 0。
# ② 用法是**手抄的第二份**,而它已經漂了:寫了 `--assign` 卻沒有 `--next`
# 而正本會因為「指派了人卻沒寫 --next」直接擋下。
#
# 票上的判決:「**當它教的做法不存在,它就從『幫你』變成『擋你』**——
# 而且被擋的人當下正在做別的事,最可能的反應是找個理由繞過去。」
#
# 🔴 所以這裡**不准再抄一份用法**。整塊指令去正本要:
# "$TICKET" usage subtask --example --parent <母票> --draft <草稿路徑>
# 正本印的路徑是它自己的 `__file__`(絕對路徑)⇒ 印指令的人與跑指令的人
# 是同一個檔案,沒有第二種可能。
ROOT="${CLAUDE_PLUGIN_ROOT:-$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)}"
TICKET="$ROOT/scripts/ticket"
# 母票是誰:兩條路都認(走正門 `ticket say`,或直接打 API)。認不出來就留 <母票 …>,
# 正本那邊會照樣印出可讀的樣板——**寧可少填一格,不要猜錯一張票**。
PARENT=$(printf '%s' "$CMD" | python3 -c '
import re, sys
c = sys.stdin.read()
m = re.search(r"/repos/([\w.-]+)/([\w.-]+)/issues/(\d+)/comments", c)
if m:
print("%s/%s#%s" % m.groups()); raise SystemExit
m = re.search(r"\bticket\s+say\s+([\w.-]+)/([\w.-]+)#(\d+)", c)
if m:
print("%s/%s#%s" % m.groups())
' 2>/dev/null)
DRAFT="/tmp/isep-subtask-$SID.md"
EXAMPLE=$(python3 "$TICKET" usage subtask --example \
${PARENT:+--parent "$PARENT"} --draft "$DRAFT" 2>/dev/null) || EXAMPLE=""
MORE=$(python3 "$TICKET" usage subtask 2>/dev/null) || MORE=""
# fail-open 的**訊息**(不是閘):正本叫不動時仍然要擋,但不准在這裡補一份手抄用法
# ——那樣就把剛拔掉的那個副本裝回來了。只指路,指到唯一那一份。
LEAD="整段複製貼上就跑得動。腳本是絕對路徑、母票已經填好、必填段落已經在草稿裡,
只剩三格是機器不可能知道的:標題、目標、驗收條件——改完那三格再送。
(下面這塊**不要縮排**\`<<'MD'\` 的結束標記要頂在行首。)"
if [ -z "$EXAMPLE" ]; then
LEAD="把它長成子票。**這台機器叫不動正本,所以下面只給路、不給整塊指令**
——這裡刻意不補一份手抄的用法,那份副本正是 inkstone/ISEP#112 拔掉的東西。"
EXAMPLE="python3 $TICKET usage subtask --example"
MORE=""
fi
# 🔴 訊息一律用 `<<'EOF'`(標記加引號)+ 事後用 python 換佔位符。
# ISEP wiki mistakes.md 記過:不加引號的 heredoc 會把訊息裡的反引號當命令執行,
# 而**閘照樣 exit 2,所以只看離開碼的測試完全看不出來**。
MSG=$(cat <<'EOF'
🎫 這則留言裡藏著一件**還沒做完的事**,而它現在只是文字。 🎫 這則留言裡藏著一件**還沒做完的事**,而它現在只是文字。
命中的詞:$HIT 命中的詞:__HIT__
【leo 2026-08-27】「**每個任務長出子票做為這張票的相依⋯⋯票沒完工可以察覺嗎?**」 【leo 2026-08-27】「**每個任務長出子票做為這張票的相依⋯⋯票沒完工可以察覺嗎?**」
@@ -115,18 +169,32 @@ cat >&2 <<EOF
08-26 18-23 總管真的出貨了 ← 條件滿足,沒人知道 08-26 18-23 總管真的出貨了 ← 條件滿足,沒人知道
08-27 11:xx leo 問「這 14 小時前的,你派了還是沒派?」 ← 才被撿起來 08-27 11:xx leo 問「這 14 小時前的,你派了還是沒派?」 ← 才被撿起來
【怎麼做】把它長成子票,Gitea 原生相依會**硬擋**母票關閉(實測 412): 【怎麼做】__LEAD__
scripts/ticket subtask <母票 owner/repo#N> \\ __EXAMPLE__
--title "身為<誰>,我要<什麼>,我才<為什麼>" \\ __MORE__
-F <內文檔> --label s/todo --assign <誰做> ⇒ 子票沒關,母票關不掉。**不是提醒,是平台保證**(Gitea 原生相依,實測 412)。
⇒ 子票沒關,母票關不掉。**不是提醒,是平台保證。**
【粒度】leo 2026-08-27:「**小任務做完就關閉,不會讓池子爆掉, 【粒度】leo 2026-08-27:「**小任務做完就關閉,不會讓池子爆掉,
每個事情沒有歷史記錄才是大問題**」⇒ 判準是「這件事需要被記得嗎」, 每個事情沒有歷史記錄才是大問題**」⇒ 判準是「這件事需要被記得嗎」,
傾向**多開票**。不要用「會不會太多」當理由不開。 傾向**多開票**。不要用「會不會太多」當理由不開。
【真的不是待辦】在指令裡加 \`no-subtask: <一句理由>\` 重送(留痕)。 【真的不是待辦】在指令裡加 `no-subtask: <一句理由>` 重送(留痕)。
EOF EOF
)
MORE_BLOCK=""
[ -n "$MORE" ] && MORE_BLOCK="
還有哪些參數(指派給誰+下一步、旅程標籤、換 repo):
$(printf '%s' "$MORE" | sed 's/^/ /; s/[[:space:]]*$//')
"
HIT="$HIT" LEAD="$LEAD" EXAMPLE="$EXAMPLE" MORE_BLOCK="$MORE_BLOCK" MSG="$MSG" python3 -c '
import os, sys
m = os.environ["MSG"]
for k in ("HIT", "LEAD", "EXAMPLE"):
m = m.replace("__%s__" % k, os.environ.get(k, ""))
m = m.replace("__MORE__", os.environ.get("MORE_BLOCK", ""))
sys.stderr.write(m + "\n")
'
exit 2 exit 2
-4
View File
@@ -99,10 +99,6 @@
"type": "command", "type": "command",
"command": "${CLAUDE_PLUGIN_ROOT}/hooks/component-guard.sh" "command": "${CLAUDE_PLUGIN_ROOT}/hooks/component-guard.sh"
}, },
{
"type": "command",
"command": "${CLAUDE_PLUGIN_ROOT}/hooks/sdd-guard.sh"
},
{ {
"type": "command", "type": "command",
"command": "${CLAUDE_PLUGIN_ROOT}/hooks/credential-only-guard.sh" "command": "${CLAUDE_PLUGIN_ROOT}/hooks/credential-only-guard.sh"
+6
View File
@@ -24,6 +24,12 @@
# 這些全部沒有本檔「先確認到底在不在 repo 裡」的判斷;本檔先在 sdd-guard.sh 落地, # 這些全部沒有本檔「先確認到底在不在 repo 裡」的判斷;本檔先在 sdd-guard.sh 落地,
# 其餘要不要跟進、要不要改用這支共用函式,另案處理,不在本票(#22)範圍內一次改完。 # 其餘要不要跟進、要不要改用這支共用函式,另案處理,不在本票(#22)範圍內一次改完。
# #
# ⚠️ **`sdd-guard.sh` 已於 `inkstone/ISEP#91` 退役**(執行 leo「取消 Active SDD」的裁決),
# 所以本檔目前**沒有任何 caller**——但它不是死 code:上面那份清單裡的十幾支閘全都還在用
# 「猜專案根」那個寫法,本檔就是要給它們用的解法。**不要因為沒人 source 就順手刪掉**,
# 刪掉等於把 #22 學到的東西一起丟了。
# (本段只加註解,不動下面任何一行邏輯——`8718658` 那輪修的判定行為原封不動。)
#
# 用法: # 用法:
# source "$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)/lib/path-resolve.sh" # source "$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)/lib/path-resolve.sh"
# if ! path_in_git_worktree "$FILE_PATH"; then # if ! path_in_git_worktree "$FILE_PATH"; then
-234
View File
@@ -1,234 +0,0 @@
#!/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
# wishlist §2:把 /sdd-check 從「命令要人打」升級成「hook 自動攔」。
# 生命週期規則全文:system-dev/docs/3-specs/SDD-LIFECYCLE.md
#
# 掛在 settings.json 的 PreToolUsematcher: Write|Edit)。
# stdin 收到 JSON{ tool_name, tool_input: { file_path, ... } }
# 行為:
# 1. status: active 的 SDD > 1 份 → 單一活性鐵律已被違反,**不論寫什麼檔**一律擋(exit 2),
# 先收斂到一份再說。
# 2. 動 code 檔(.ts/.go/...)→ 需要「恰好 1 份」active SDD;0 份 → 擋。
# 3. 向下相容:3-specs 下完全沒有任何 design.md 帶 frontmatter(老 repo 尚未遷移生命週期制度)
# → 退回舊行為:有 design.md 就放行+提醒,沒有才擋。避免 template update 後老 repo 立刻全紅。
#
# 誠實限制(抄 arcrun):只擋語法層明顯違規(直接寫 code 檔)。
# 藏在 helper 裡、用 bash 繞道的改動擋不到。
# 價值是「想跳過會被抓到 + 留痕可審」,不是技術防偽。絕不聲稱「不可能繞過」。
set -euo pipefail
source "$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)/lib/path-resolve.sh"
INPUT=$(cat)
# 解析 file_path。優先用 jq,沒有 jq 退回 grep(容錯)。
if command -v jq >/dev/null 2>&1; then
FILE_PATH=$(printf '%s' "$INPUT" | jq -r '.tool_input.file_path // empty')
else
FILE_PATH=$(printf '%s' "$INPUT" | grep -o '"file_path"[[:space:]]*:[[:space:]]*"[^"]*"' | head -1 | sed 's/.*"file_path"[[:space:]]*:[[:space:]]*"//;s/"$//')
fi
# 拿不到路徑 → 不擋(容錯,寧可放過也不誤殺)
[ -z "$FILE_PATH" ] && exit 0
# 🔴 2026-08-02 修:原本寫死相對路徑 `system-dev/docs/3-specs`
# 但 hook 的工作目錄是**頂層 InkStoneCo**,改子 repo 的 code 時就去頂層找 SDD
# ⇒ 看不到子 repo 自己那份 ⇒ **一律誤報「找不到任何 SDD」**。
# 實撞:改 products/arcrun-rag/collector/... 被擋,但該 repo 明明有
# system-dev/docs/3-specs/daemon-beta/design.mdstatus: active)。
# ⇒ 改成從被改檔案往上找最近的 system-dev/docs/3-specs(子 repo 優先,找不到才用頂層)。
# ⚠️ 只往上找到「頂層 InkStoneCo」為止——不可讓任意路徑(如 /private/tmp/…)
# 退回頂層 SDD 而被放行,那會把原本擋得住的情況變成擋不住。
#
# 🔴 2026-08-20 修(inkstone/InkStoneCo#22):上面這套邏輯有兩個洞,都是總管 08-12 實撞的:
#
# 洞 A — scratchpad 暫存檔被當成「code 變動」:
# `/private/tmp/.../scratchpad/foo.py` 不在 `$_root` 底下、往上找不到 3-specs
# 於是走到「找不到 SDD」擋下路徑——但 scratchpad 是 session 專用暫存區,從不進版控,
# SDD 管的是 repo 裡的產品程式碼,管不到它。**先問「這條路徑到底在不在某個 git repo
# 裡」(`path_in_git_worktree`,見 lib/path-resolve.sh),不在 ⇒ 這道閘天生管不到
# ⇒ 直接放行**,不必先繞去猜專案根、再證明找不到才擋。
# 用「有沒有 .git 可尋」判斷,比列舉路徑關鍵字(/tmp、scratchpad…)更穩:
# 不必窮舉每一種暫存區的命名法,任何真的不在 repo 裡的路徑都一視同仁。
#
# 洞 B — 訊息裡印出字面的 `/nonexistent`
# 舊版用 `/nonexistent/3-specs` 當內部 sentinel,讓「找不到 SDD」的既有擋下路徑可以
# 重用;但這個 sentinel 值被直接印進使用者看到的訊息,讀起來像是「這支腳本認真去
# /nonexistent 這個地方找過」——具體、卻是假的。改成用 RESOLVED 旗標記「解析成不成功」,
# 擋下訊息另外用人話描述「為什麼找不到」,不洩漏內部實作用的假路徑。
#
# ⚠️ 洞 A/B 都不改變「真的解析失敗時」的判定方向:路徑確實落在某個 git repo 裡,
# 但那個 repo 沒有 3-specs(或裡面沒有 active SDD)→ 仍然 **fail-closed**(擋,不放行)。
# 為什麼是 fail-closed、不是 fail-open:這道閘存在的目的就是防止「沒有 SDD 卻能動
# code」,若把「判斷不出來」直接放行,等於把一次環境跑歪(cwd 被切走、
# `$CLAUDE_PROJECT_DIR` 沒設、worktree 缺 3-specs…)悄悄變成「這道閘關掉了,而且沒有
# 任何人被告知」——silent bypass 的代價遠高於「多打一次確認」。#22 的紅線也明寫
# 「不要把閘改成『解析失敗就放行』——那是把誤判換成漏判」。
# 洞 A 的修法,套用在 case 分岔**之前**:不管 `$_root` 猜不猜得對,
# 先問「這條路徑到底在不在某個 git repo 裡」。不在 ⇒ SDD 這道閘天生管不到,直接放行。
# 🔴 這個檢查故意放在 `$FILE_PATH` 是否落在 `$_root` 底下的判斷之前、且對兩邊都適用
# (不是只套用在「專案外」那個分支):第一版只把它放進「專案外」分支,結果測試
# hooks/tests/sdd-guard.test.sh)就抓到一個不對稱漏洞——當 `$_root` 剛好等於
# scratchpad 的某層祖先目錄(例如 hook 被叫用時 cwd 已經跑到 /private/tmp 底下、
# `$CLAUDE_PROJECT_DIR` 也沒設),scratchpad 路徑會被判成「在 `$_root` 底下」而
# 走進另一條完全沒做 git-repo 檢查的路徑,同一個誤判换個路徑重新出現。
# 改成「先問是不是在 git repo 裡,不管路徑跟 `$_root` 的關係」就沒有這個不對稱。
if ! path_in_git_worktree "$FILE_PATH"; then
exit 0
fi
_root="${CLAUDE_PROJECT_DIR:-$(pwd)}"
# 預設值一律絕對路徑(不留相對路徑「system-dev/docs/3-specs」退回目前 cwd 的洞——
# 舊版這裡曾經是相對路徑,若專案內迴圈找不到就會被拿去跟 hook 執行當下的 cwd 兜,
# cwd 湊巧有同名目錄就會判斷到不相干的資料)。
SPECS_DIR="$_root/system-dev/docs/3-specs"
RESOLVED=1 # 1SPECS_DIR 是有意義的答案;0=真的解析失敗,SPECS_DIR 留空,訊息另外講原因
case "$FILE_PATH" in
"$_root"/*)
_d=$(dirname "$FILE_PATH")
while [ "$_d" != "/" ] && [ -n "$_d" ]; do
if [ -d "$_d/system-dev/docs/3-specs" ]; then
SPECS_DIR="$_d/system-dev/docs/3-specs"
break
fi
[ "$_d" = "$_root" ] && break
_d=$(dirname "$_d")
done
;;
*)
# 專案外的路徑:`$_root` 猜錯,或這條路徑本來就不屬於目前的 `$_root`。
# 已知落在某個 git repo 裡(上面剛確認過):往上找它自己的 3-specs。
# **不可退回 `$_root` 的 3-specs 就放行**——那會把「這個 repo 沒有 SDD」
# 誤判成「用別的 repo 的 SDD 蒙混過關」,原本擋得住的會變成擋不住。
SPECS_DIR=""
RESOLVED=0
_d=$(dirname "$FILE_PATH")
while [ "$_d" != "/" ] && [ -n "$_d" ]; do
if [ -d "$_d/system-dev/docs/3-specs" ]; then
SPECS_DIR="$_d/system-dev/docs/3-specs"
RESOLVED=1
break
fi
_d=$(dirname "$_d")
done
;;
esac
# 給訊息用的人話描述:解析成功就印真路徑,失敗就誠實講「為什麼」,不印假路徑
# (洞 B 的修法——舊版這裡印的是內部 sentinel `/nonexistent/3-specs`)。
if [ "$RESOLVED" -eq 1 ]; then
SPECS_DIR_DESC="${SPECS_DIR}/"
SPECS_NOT_FOUND_MSG="${SPECS_DIR}/ 下找不到任何 SDD"
SPECS_NOT_ACTIVE_MSG="${SPECS_DIR}/ 下沒有任何 status: active 的 SDD"
else
SPECS_DIR_DESC=""
SPECS_NOT_FOUND_MSG="這條路徑所在的 git repo 裡找不到 system-dev/docs/3-specs,也就沒有任何 SDD 可對(或這支閘沒能定位到正確的專案根——這是 fail-closed:寧可誤擋也不悄悄放行,見檔頭註解)"
SPECS_NOT_ACTIVE_MSG="$SPECS_NOT_FOUND_MSG"
fi
# ── 統計 active / frontmatter ──────────────────────
# 排除 archive/(已封存)與 TEMPLATE(範本自帶 status: draft frontmatter,不算數——
# 否則 update 一鋪新版 TEMPLATE-sdd,老 repo 就被誤判「已遷移」而全紅,向下相容破功)。
# frontmatter 判定=design.md 前 10 行有 ^status: 行(機器可查,見 SDD-LIFECYCLE.md)。
ACTIVE_COUNT=0
FM_COUNT=0
ACTIVE_LIST=""
if [ -n "$SPECS_DIR" ] && [ -d "$SPECS_DIR" ]; then
while IFS= read -r f; do
[ -n "$f" ] || continue
HEAD10=$(head -10 "$f" 2>/dev/null || true)
if printf '%s\n' "$HEAD10" | grep -q '^status:[[:space:]]*'; then
FM_COUNT=$((FM_COUNT + 1))
if printf '%s\n' "$HEAD10" | grep -q '^status:[[:space:]]*active'; then
ACTIVE_COUNT=$((ACTIVE_COUNT + 1))
ACTIVE_LIST="${ACTIVE_LIST}${f}
"
fi
fi
done < <(find "$SPECS_DIR" -name 'design.md' -not -path '*TEMPLATE*' -not -path '*/archive/*' 2>/dev/null)
fi
# ── 鐵律 1:單一活性被違反(active > 1)→ 不論寫什麼檔一律擋 ──
if [ "$ACTIVE_COUNT" -gt 1 ]; then
cat >&2 <<EOF
🚫 SDD 單一活性鐵律違反:偵測到 ${ACTIVE_COUNT} 份 status: active 的 SDD(任何時刻整個 repo 最多一份):
${ACTIVE_LIST}
請先收斂到一份:其餘改 status: paused / closedclosed 且被取代者填 superseded_by 並移入 3-specs/archive/)。
規則全文見 system-dev/docs/3-specs/SDD-LIFECYCLE.md。收斂前擋下所有寫檔。
(本 hook 攔 Write/Edit;修 frontmatter 可用 bash 直改,或由人裁決哪份是現行。)
EOF
exit 2
fi
# 只管 code 檔。docs/markdown/設定檔等放行。
case "$FILE_PATH" in
*.ts|*.tsx|*.js|*.jsx|*.go|*.py|*.rs|*.java|*.rb|*.php|*.c|*.cpp|*.h|*.hpp|*.swift|*.kt) ;;
*) exit 0 ;;
esac
# 改 SDD 自己 / 測試檔 → 放行
case "$FILE_PATH" in
*system-dev/docs/3-specs/*) exit 0 ;;
*_test.*|*.test.*|*.spec.*|*/tests/*|*/test/*) exit 0 ;;
esac
# ── 向下相容:整個 3-specs 沒有任何帶 frontmatter 的 design.md ──
# =老 repo 還沒遷移生命週期制度 → 退回舊行為(有 design.md 就放行+提醒),
# 避免 template update 一裝新 hook,老 repo 所有 code 寫入立刻全紅。
if [ "$FM_COUNT" -eq 0 ]; then
SDD_COUNT=0
if [ -n "$SPECS_DIR" ] && [ -d "$SPECS_DIR" ]; then
SDD_COUNT=$(find "$SPECS_DIR" -name 'design.md' -not -path '*TEMPLATE*' -not -path '*/archive/*' 2>/dev/null | wc -l | tr -d ' ')
fi
if [ "$SDD_COUNT" -eq 0 ]; then
cat >&2 <<EOF
🚫 SDD 協議攔截:要動 code 檔 ($FILE_PATH),但 ${SPECS_NOT_FOUND_MSG}。
絕對鐵律:任何 code 變動前必須有對應 SDD(design.md),且遵守單一活性生命週期
system-dev/docs/3-specs/SDD-LIFECYCLE.md)。
請先:
1. 確認這個改動屬於哪個子系統
2. 在 [子系統的] system-dev/docs/3-specs/[子系統]/ 建立 design.md(可用 /sdd-check 協助),frontmatter 標 status: active
3. 在回覆開頭宣告已讀 SDD + 對應 task
小修改(修 bug、改文字)若確定豁免,請明確說明範圍後由人放行。
EOF
exit 2
fi
# 舊行為放行 + 提醒遷移(stderr 警告,不擋)
echo "📋 提醒:${SPECS_DIR_DESC} 有 SDD 但尚未掛生命週期 frontmatter(老結構)。動手前確認已讀對應 design.md;建議依 SDD-LIFECYCLE.md 補 status 標記(現行那份標 active)。" >&2
exit 0
fi
# ── 新行為:寫 code 檔需「恰好 1 份」active SDD ──
if [ "$ACTIVE_COUNT" -eq 0 ]; then
cat >&2 <<EOF
🚫 SDD 協議攔截:要動 code 檔 ($FILE_PATH),但 ${SPECS_NOT_ACTIVE_MSG}。
單一活性鐵律:所有開發任務唯一對應源=那份 active SDD(規則見 system-dev/docs/3-specs/SDD-LIFECYCLE.md)。
請先(擇一,都是人的決定,CC 不得自行建 SDD):
1. 把現行規格的 design.md frontmatter 標成 status: active(一份、只能一份)
2. 或依 SDD-LIFECYCLE.md 第 3、4 條:proposal 進 pending-changes.md → 使用者 confirm → 開新 SDD 標 active
然後在回覆開頭宣告已讀 active SDD + 對應 task。
小修改(修 bug、改文字)若確定豁免,請明確說明範圍後由人放行。
EOF
exit 2
fi
# 恰好 1 份 active:放行,留痕提醒要宣告(stderr 警告,不擋)
printf '📋 提醒:現行 active SDD\n%s動手前請確認已讀它的 design.md、對應到 tasks,並在回覆宣告。\n' "$ACTIVE_LIST" >&2
exit 0
+158
View File
@@ -0,0 +1,158 @@
#!/usr/bin/env bash
# sdd-guard 退役的迴歸測試(inkstone/ISEP#91
#
# ── 這支在守什麼 ────────────────────────────────────────────────────
# leo 2026-08-16 在 inkstone/InkStoneCo#40 裁定「**取消 Active SDD**」:
# 任務狀態搬到 Gitea 管,SDD 只記「起初的樣子」。
# 但 `sdd-guard.sh` 是 **fail-closed** 的——
# 動 code 檔時,active SDD 不是「恰好 1 份」→ 擋(0 份也擋)
# 路徑所在的 repo 沒有 3-specs → 也擋
# ⇒ 照裁決把 active SDD 拿掉,會把「動任何 .ts/.py/.go」整個鎖死。
# 這就是那個裁決 11 天沒人敢執行的真正原因。
#
# 所以退役的順序是「**先讓閘退役,再拿掉 active SDD**」,而這支測的是第一步做完了沒有。
#
# 🔴 它測的不是「檔案刪掉了沒有」,而是**那個擋還會不會發生**:
# 把整組 `Write|Edit|MultiEdit` 的 PreToolUse 閘,拿去撞「裁決執行完之後的世界」
# (一個沒有 3-specs 的 repo、以及一個有兩份 active SDD 的 repo),一支都不准擋。
# ⇒ 有人日後用別的檔名把同一個形狀種回來,這支照樣會紅。
#
# 用法:hooks/tests/sdd-guard-retired.test.sh
# 🔴 全程在 TMP 底下建假 repo,跑完自己清;不動任何真 repo、不打網路。
set -u
HOOKS_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)"
REPO_ROOT="$(cd "$HOOKS_DIR/.." && pwd)"
TMP=$(mktemp -d)
trap 'rm -rf "$TMP"' EXIT
PASS=0; FAIL=0
ok() { echo "$1"; PASS=$((PASS+1)); }
bad() { echo "$1"; FAIL=$((FAIL+1)); }
# ── ① 閘本體與它的註冊都不在了 ────────────────────────────────────
echo "── ① 退役:檔案與註冊 ──"
if [ -e "$HOOKS_DIR/sdd-guard.sh" ]; then
bad "hooks/sdd-guard.sh 還在(應已刪除)"
else
ok "hooks/sdd-guard.sh 已刪除"
fi
if grep -q 'sdd-guard' "$HOOKS_DIR/hooks.json"; then
bad "hooks.json 還註冊著 sdd-guard(照裁決做會鎖死所有 code 寫入)"
else
ok "hooks.json 已無 sdd-guard 註冊"
fi
# hooks.json 要仍然是合法 JSON,而且別的閘一支都沒被順手弄掉
# (README:合錯的時候「語法合法、閘卻不見了」,不會有任何東西喊一聲)
REGISTERED=$(python3 - "$HOOKS_DIR/hooks.json" <<'PY'
import json, sys
d = json.load(open(sys.argv[1]))
print(sum(len(g.get("hooks", [])) for ev in d["hooks"].values() for g in ev))
PY
) || REGISTERED=""
if [ -n "$REGISTERED" ]; then
ok "hooks.json 仍是合法 JSON(註冊 $REGISTERED 條)"
else
bad "hooks.json 解析失敗"
fi
# ── ② 真正的驗收:裁決執行完之後,動 code 檔不能被擋 ──────────────
echo "── ② 行為:把「拿掉 active SDD 之後的世界」丟給整組寫檔閘,一支都不准擋 ──"
# 這兩個假 repo 就是舊 sdd-guard 一定會擋下的兩種狀態:
# A. 完全沒有 3-specs(=裁決執行完的樣子,也是 ISEP 自己現在的樣子)
# B. 兩份 status: active(=舊的「單一活性鐵律」違反)
REPO_NO_SDD="$TMP/repo-no-sdd"
mkdir -p "$REPO_NO_SDD/src"
git init -q "$REPO_NO_SDD"
REPO_MULTI="$TMP/repo-multi-active"
mkdir -p "$REPO_MULTI/system-dev/docs/3-specs/a" "$REPO_MULTI/system-dev/docs/3-specs/b" "$REPO_MULTI/src"
git init -q "$REPO_MULTI"
printf -- '---\nstatus: active\n---\n# A\n' > "$REPO_MULTI/system-dev/docs/3-specs/a/design.md"
printf -- '---\nstatus: active\n---\n# B\n' > "$REPO_MULTI/system-dev/docs/3-specs/b/design.md"
# 撈出所有掛在 Write|Edit|MultiEdit 上的 PreToolUse 閘(照 hooks.json 的實況,不寫死清單)
# macOS 內建 bash 是 3.2,沒有 mapfile/readarray——用相容寫法收陣列
# (同 scripts/gitea-labels-sync.sh:56 的前例;2026-09-01 inkstone/ISEP#115 實撞:
# 這支測試在 leo 的 mac 上一次都沒跑成功過,離開碼 1,而 TESTING.md 標著「通過 8」)
WRITE_HOOKS=()
while IFS= read -r _l; do WRITE_HOOKS+=("$_l"); done < <(python3 - "$HOOKS_DIR/hooks.json" <<'PY'
import json, sys
d = json.load(open(sys.argv[1]))
for g in d["hooks"].get("PreToolUse", []):
m = g.get("matcher", "") or ""
if "Write" in m or "Edit" in m:
for h in g.get("hooks", []):
print(h["command"].split("/")[-1])
PY
)
if [ "${#WRITE_HOOKS[@]:-0}" -eq 0 ]; then
bad "撈不到任何 Write|Edit 的 PreToolUse 閘——測試本身失效了,先修這裡"
fi
# 判準:擋下來的理由**是不是 SDD**。
#
# 🔴 這裡刻意不寫成「一支閘都不准擋」——同一組 matcher 上還住著好幾支跟 SDD 無關、
# 而且看 session 狀態決定擋不擋的閘(`subagent-first-guard``history-first-guard`…)。
# 把它們算成失敗,這支測試就會在別人改別的東西時無故變紅,
# 紅久了就沒人看——`docs/TESTING.md` 開頭那句「誤攔比漏擋更該修」對測試一樣成立。
# 所以失敗的定義是:**有閘擋下來,而且它擋的理由指向 SDD/3-specs**。
# 其餘的擋只印出來給人看,不判失敗。
probe() { # probe <說明> <file_path>
local desc="$1" path="$2" sdd_blocked="" other_blocked=""
local payload out rc
payload=$(python3 -c "import json,sys;print(json.dumps({'tool_name':'Write','tool_input':{'file_path':sys.argv[1],'content':'export const x = 1;\n'}}))" "$path")
for name in "${WRITE_HOOKS[@]}"; do
[ -x "$HOOKS_DIR/$name" ] || continue
out=$(printf '%s' "$payload" | "$HOOKS_DIR/$name" 2>&1)
rc=$?
[ "$rc" -eq 2 ] || continue
if printf '%s' "$out" | grep -qE 'SDD|3-specs'; then
sdd_blocked="$sdd_blocked $name"
else
other_blocked="$other_blocked $name"
fi
done
if [ -n "$sdd_blocked" ]; then
bad "$desc —— 仍被 SDD 理由擋下:$sdd_blocked"
else
ok "$desc"
[ -n "$other_blocked" ] && echo " (另有與 SDD 無關的閘擋下,不算失敗:$other_blocked"
fi
}
# 刻意讓 $_rootCLAUDE_PROJECT_DIRpwd)跟這些假 repo 對不上——
# 舊 sdd-guard 在這個情境下走的正是 fail-closed 那條分支。
unset CLAUDE_PROJECT_DIR
cd "$TMP" || exit 1
probe "repo 沒有 3-specs(裁決執行完的樣子)→ 寫 .ts 不被擋" "$REPO_NO_SDD/src/x.ts"
probe "repo 沒有 3-specs → 寫 .py 不被擋" "$REPO_NO_SDD/src/x.py"
probe "兩份 status: active(舊「單一活性」違反)→ 寫 .ts 不被擋" "$REPO_MULTI/src/x.ts"
# ISEP 自己就是「沒有 3-specs 的 repo」——退役前,改自己的 .py 當場被擋。
probe "ISEP 自己的 hooks/lib/*.py → 不被擋(退役前這一格是紅的)" "$REPO_ROOT/hooks/lib/dispatch_parse.py"
# ── ③ 會被載入的那幾份,不能再有人讀到「只准一份 active SDD」 ──────
echo "── ③ 條文:載入面不再宣告單一活性鐵律 ──"
# 只查**會被載入**的那幾份(commands / agents / skills / hooks 腳本)。
# docs/ 與 wiki/ 不查——它們得說得出「退役了什麼」,不然這件事沒有歷史。
STALE=""
while IFS= read -r f; do
grep -qE '只(准|允許)一份|單一活性' "$f" && STALE="$STALE $f"
done < <(find "$REPO_ROOT/commands" "$REPO_ROOT/agents" "$REPO_ROOT/skills" -name '*.md' 2>/dev/null
find "$REPO_ROOT/hooks" -maxdepth 1 -name '*.sh' 2>/dev/null)
if [ -n "$STALE" ]; then
bad "這些載入面還在宣告「只准一份 active SDD」:$STALE"
else
ok "commandsagentsskillshooks 都不再宣告單一活性鐵律"
fi
echo
echo "結果:通過 $PASS 失敗 $FAIL"
[ "$FAIL" -eq 0 ] || exit 1
-90
View File
@@ -1,90 +0,0 @@
#!/usr/bin/env bash
# sdd-guard.sh 的迴歸測試(inkstone/InkStoneCo#22)。
#
# 涵蓋兩個洞:
# 洞 A — scratchpad/任何不在 git repo 裡的暫存檔被誤判成「code 變動」而擋下。
# 洞 B — 真的解析失敗(fail-closed)時,訊息裡印出內部 sentinel `/nonexistent`。
# 以及既有行為不能退步:單一活性違反仍擋、恰好 1 份 active 仍放行、
# 「dirname 還沒建立」不可被誤判成「不在 repo 裡」(新邏輯自己可能引入的 fail-open 陷阱)。
#
# 用法:hooks/tests/sdd-guard.test.sh [hooks/sdd-guard.sh 的路徑]
# 🔴 全程在一個乾淨的 TMP 底下建假 repo,跑完自己清;不動任何真 repo。
set -u
HOOK="${1:-$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)/sdd-guard.sh}"
TMP=$(mktemp -d)
trap 'rm -rf "$TMP"' EXIT
PASS=0; FAIL=0
mk() { # mk <file_path> -> JSON on stdout
python3 -c "import json,sys;print(json.dumps({'tool_name':'Write','tool_input':{'file_path':sys.argv[1],'content':'x'}}))" "$1"
}
t() { # t <期望 exit code> <說明> <file_path> [額外檢查關鍵字]
local want="$1" desc="$2" path="$3" must_not_contain="${4:-}"
local out rc
out=$(mk "$path" | "$HOOK" 2>&1)
rc=$?
local ok=1
[ "$rc" -eq "$want" ] || ok=0
if [ -n "$must_not_contain" ] && printf '%s' "$out" | grep -qF "$must_not_contain"; then
ok=0
fi
if [ "$ok" -eq 1 ]; then
echo "$desc"; PASS=$((PASS+1))
else
echo "$desc —— 期望 exit=$want,實得 exit=$rc"
[ -n "$must_not_contain" ] && echo " (且訊息不該含「$must_not_contain」)"
echo " 輸出:$out" | head -3
FAIL=$((FAIL+1))
fi
}
# ── 準備:一個真的沒有 3-specs 的 git repo(模擬「真的解析失敗」)──
REPO_NO_SDD="$TMP/repo-no-sdd"
mkdir -p "$REPO_NO_SDD/src"
git init -q "$REPO_NO_SDD"
# ── 準備:一個有 1 份 active SDD 的 git repo ──
REPO_ONE_ACTIVE="$TMP/repo-one-active"
mkdir -p "$REPO_ONE_ACTIVE/system-dev/docs/3-specs/x" "$REPO_ONE_ACTIVE/src"
git init -q "$REPO_ONE_ACTIVE"
printf -- '---\nstatus: active\n---\n# X\n' > "$REPO_ONE_ACTIVE/system-dev/docs/3-specs/x/design.md"
# ── 準備:一個有 2 份 active SDD 的 git repo(單一活性違反)──
REPO_MULTI="$TMP/repo-multi-active"
mkdir -p "$REPO_MULTI/system-dev/docs/3-specs/a" "$REPO_MULTI/system-dev/docs/3-specs/b" "$REPO_MULTI/src"
git init -q "$REPO_MULTI"
printf -- '---\nstatus: active\n---\n# A\n' > "$REPO_MULTI/system-dev/docs/3-specs/a/design.md"
printf -- '---\nstatus: active\n---\n# B\n' > "$REPO_MULTI/system-dev/docs/3-specs/b/design.md"
# ── 準備:scratchpad 風格的暫存區(不在任何 git repo 裡)──
SCRATCH="$TMP/private/tmp/claude-fake-session/scratchpad"
mkdir -p "$SCRATCH"
# 讓 $_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
+55 -1
View File
@@ -10,9 +10,63 @@
set -euo pipefail set -euo pipefail
# ── 雲端需要哪些變數(只有名字。要加就加在這裡)────────────────── # ── 雲端需要哪些變數(只有名字。要加就加在這裡)──────────────────
#
# 範圍=**youlinstage)與 geek6688(測試 prod & 出貨機)兩台全給**,
# **外加 uncle6**——出貨的三個站實際部署到的是那個帳號。
# leo 2026-09-01:「youlin 和 geek6688 都全給,因為這兩個都是讓 CC 操作
# 一個 stage 一個 test prod**不給所有的就是受阻**。」
# uncle6 是同一句話的延伸(inkstone/ISEP#115 → comment `5577`):
# `products/arcrun-rag/installer/ship.targets.json` 六處 accountId 去重後只有一個值
# `58309bb90fd93ad6d0fe0aae99170e9d`,而本機出貨靠的是家目錄裡的 OAuth 登入態
# `~/.wrangler/config/default.toml`)——**那個檔不隨 repo clone 走,雲端永遠拿不到**。
# ⚠️ 這把「是 uncle6 的、而且 active」是驗過的;「它有沒有 Workers Scripts:Edit
# =真的部署得動」**沒驗**(驗它必須寫入,那是紅線)。缺這格會在部署當下才知道。
NEEDED=( NEEDED=(
GITEA_TOKEN_CLAUDE_CODE # 機器帳號 claude-code 的 Gitea tokenbootstrap 與 plugin 安裝都靠它 # ── 機器帳號 ──
GITEA_TOKEN_CLAUDE_CODE # claude-code 的 Gitea tokenbootstrap 與 plugin 安裝都靠它
# ── youlin AI 的 stage(沒指定帳號時的預設,agent-memory.md §2)──
CLOUDFLARE_API_TOKEN_YOULIN_CC_USE # D37 起這把就是設計給 CC 用的
CLOUDFLARE_ACCOUNT_ID_YOULIN # 上面那把的配對 account id(帳號 id 不是機密)
YOULIN_MCP_OWNER_SECRETS # youlin 那台 MCP 的 owner secret
STAGE_USERNAME_YOULIN # ⚠️ 密碼類,見下面那條限制
STAGE_PASSWORD_YOULIN # ⚠️ 密碼類,見下面那條限制
# ── geek6688 測試 prod 出貨機 ──
CLOUDFLARE_API_TOKEN_CC_SHIPPING_CORE # 出貨線寫入用
CLOUDFLARE_ACCOUNT_ID_GEEK6688 # 上面那把的配對 account id
# ── uncle6 = 出貨三站真正部署到的帳號(installerdocsSitemailRelaystage 與 prod 都是)──
UNCLE6_CF_API_KEY # 住在 products/arcrun-rag/.env;本機是靠 ~/.wrangler 的 OAuth 登入態出貨,那個檔不隨 clone 走
# ── Arcrun 出貨線的實例座標(inkstone/Arcrun#195 起)──
# 網址隨 repo 走(Arcrun 的 shared/instance-coordinates/instances.json),
# 只有 namespace 是機敏 ⇒ 走環境變數。原本只住在 ~/.arcrun/config.yaml 的 api_key
# 那個檔在家目錄、不隨 clone 走 ⇒ 雲端永遠拿不到。
ARCRUN_NS_YOULIN # youlin 實例的 namespaceX-Arcrun-API-Key
) )
#
# 🔴 這份清單的邊界——加一把之前先問「這把打得到哪個實例」,不是「這把方便嗎」
#
# 可以進來的:**youlin 與 geek6688** 這兩台的全部,加上機器帳號自己的 token。
# 🔴 不准進來的:
# ① `CLOUDFLARE_API_TOKEN_leo21c`——leo 2026-09-01 只點名那兩台;
# leo21c 是現役正式環境,`inkstone/InkStoneCo#14` → comment `3890` 已分進 B 段不放。
# ② `polaris/mira/.env` 裡的任何東西——那整份都是 leo21c 現役正式環境。
# 其中 `CLOUDFLARE_API_TOKEN` / `CLOUDFLARE_ACCOUNT_ID` 這兩個**沒有名字**的最危險:
# 所有 CF 工具都把它們當預設 ⇒ 雲端一個沒指定帳號的指令就會打到正式環境。
# 2026-08-14 那輪審查把它列為「本輪最危險的發現」。
# 🔎 這一條不必靠人記得:`scripts/test-make-cloud-env.sh` 的 B8 會去看
# **每一把的值是從哪個檔案拿到的**,出自 `polaris/mira/.env` 就紅。
#
# 🔴 密碼類(`STAGE_PASSWORD_YOULIN` 等)進清單是為了讓**人**拿得到。
# `credentials-map.md`「密碼類憑證的用法限制」(2026-08-17 立)照舊有效:
# **AI 不得把密碼打進登入欄位**,這是 surface 層硬規則,leo 交代了也不解除。
# 機器要驗登入後的畫面走那節寫的兩條:帶 token/cookie 打 API,或接 leo 已登入的分頁。
#
# 📌 兩台的 account id 都有具名變數了(`…_YOULIN` 是 2026-09-01 才補進頂層 `.env` 的,
# inkstone/ISEP#115 → comment `5542`;帳號 id 不是機密,wiki 的帳號表本來就公開記著)。
# **所以永遠不需要去用那個沒有名字的 `CLOUDFLARE_ACCOUNT_ID`**——那是 leo21c。
# ── 去哪裡找值(credentials-map.md 記的六個 .env)──────────────── # ── 去哪裡找值(credentials-map.md 記的六個 .env)────────────────
BASE="${INKSTONE_ROOT:-$HOME/Documents/tech_projects/InkStoneCo}" BASE="${INKSTONE_ROOT:-$HOME/Documents/tech_projects/InkStoneCo}"
+152
View File
@@ -64,6 +64,158 @@ printf '已驗完,全部綠燈\n' > "$TMPF"
run 0 "scripts/ticket say inkstone/arcrun-rag#136 -F $TMPF" run 0 "scripts/ticket say inkstone/arcrun-rag#136 -F $TMPF"
rm -f "$TMPF" "/tmp/.comment-task-guard-warned-$SID" rm -f "$TMPF" "/tmp/.comment-task-guard-warned-$SID"
echo "── 閘教的那行指令要真的跑得動(inkstone/ISEP#112)──"
# 🔴 這一組**不看離開碼**,看訊息內容、而且**真的把訊息裡那塊指令執行一次**。
# ISEP wiki mistakes.md 記過:訊息壞掉時閘照樣 exit 2,只驗離開碼完全看不出來。
# 這張票就是那個形狀的極端版——閘擋對了,但它教的解法**根本不存在**。
SID2=test-cctg-msg-$$
rm -f "/tmp/.comment-task-guard-warned-$SID2"
PAYLOAD=$(python3 -c '
import json, sys
cmd = ("curl -X POST \"$API/repos/inkstone/arcrun-rag/issues/136/comments\" "
"-d \x27{\"body\":\"Phase 1 的驗收在雲端那半出貨之前驗不了\"}\x27")
print(json.dumps({"session_id": sys.argv[1], "tool_name": "Bash",
"tool_input": {"command": cmd}}, ensure_ascii=False))
' "$SID2")
MSGFILE=$(mktemp)
printf '%s' "$PAYLOAD" | bash "$H" 2>"$MSGFILE" >/dev/null
rm -f "/tmp/.comment-task-guard-warned-$SID2"
RESFILE=$(mktemp)
PAYFILE=$(mktemp); printf '%s' "$PAYLOAD" > "$PAYFILE"
rm -f "/tmp/.comment-task-guard-warned-$SID2"
MSGFILE="$MSGFILE" RESFILE="$RESFILE" GUARD="$H" PAYLOAD="$PAYFILE" python3 - <<'PY'
import io, os, re, subprocess, sys
msg = io.open(os.environ["MSGFILE"], encoding="utf-8").read()
res = []
def t(ok, name, detail=""):
res.append((bool(ok), name, detail))
here = os.path.dirname(os.path.dirname(os.path.abspath(__file__))) \
if "__file__" in dir() else os.getcwd()
ticket = os.path.realpath(os.path.join(os.getcwd(), "scripts", "ticket"))
# ⑮ 那塊指令**真正要執行的那一行**,開頭是絕對路徑,而且指到這一份正本。
# 🔴 判準刻意放在「要執行的那一行」上,不是「訊息裡出現過的所有路徑」——
# 後者在相對路徑混進來時是**空過**的(別的行還有絕對路徑,all() 照樣真)。
# 2026-08-31 變異測試當場抓到:把 example 改回相對路徑,舊寫法的 ⑮ 沒紅。
run_line = ""
for l in msg.splitlines():
if " subtask " in l and l.strip().endswith("\\"):
run_line = l.strip()
break
first = run_line.split()[0] if run_line else ""
t(first.startswith("/") and os.path.realpath(first) == ticket,
"⑮ 要執行的那一行開頭是絕對路徑,且就是這一份正本",
"那一行:%s" % (run_line or "(找不到)"))
# ⑯ 訊息裡**不准**出現相對的 `scripts/ticket`
# 相對路徑是對「貼上去那個人的 cwd」解析的,而 InkStoneCo/scripts/ticket 是舊複本。
rel = [l for l in msg.splitlines()
if re.search(r"(?<![\w/])scripts/ticket\b", l)]
t(not rel, "⑯ 訊息裡沒有任何相對路徑的 scripts/ticket",
"違規行:%s" % (rel[:2] or ""))
# ⑰ 訊息裡的用法區塊 `ticket usage subtask` 的輸出(**一字不差**
# 這就是「不再有第二份可以漂」的機械證明:漂了這一條當場紅。
usage = subprocess.run([sys.executable, ticket, "usage", "subtask"],
capture_output=True, text=True).stdout.strip()
flat_msg = "\n".join(l.strip() for l in msg.splitlines())
flat_use = "\n".join(l.strip() for l in usage.splitlines())
t(flat_use and flat_use in flat_msg,
"⑰ 訊息裡的用法就是 `ticket usage subtask` 的輸出,沒有第二份",
"" if flat_use in flat_msg else "訊息裡找不到正本印的用法")
def extract_block(m):
"""把訊息裡那塊指令**原樣**抽出來——不重新產生,否則就驗不到漂移。"""
lines = m.splitlines()
i = next(k for k, l in enumerate(lines) if l.startswith("cat > "))
md = next(k for k in range(i, len(lines)) if lines[k] == "MD")
j = next(k for k in range(md + 1, len(lines)) if not lines[k].endswith("\\"))
return "\n".join(lines[i:j + 1])
def fill(block):
"""只填三格機器不可能知道的:標題、目標、驗收條件。其餘一個字都不改。"""
block = (block.replace("<誰>", "跑這行指令的人")
.replace("<什麼>", "它真的跑得動")
.replace("<為什麼>", "不會被迫去繞過它"))
return re.sub(r"<[^<>\n]+>", "測試填的內容", block)
ENV = dict(os.environ, TICKET_HOST="http://127.0.0.1:9",
GITEA_TOKEN_CLAUDE_CODE="dummy", GITEA_TOKEN="dummy")
# ⑱ ★ 把它原樣貼上、只填那三格,**真的跑一次**。
# 離開碼 2 = 被某道閘擋下(動詞不存在/旗標不成組/標題不合格…)= 這張票的病復發
# 離開碼 1 = 一路走到網路才炸(TICKET_HOST 指到連不上的位址)= 參數全部過關
try:
blk = fill(extract_block(msg))
r = subprocess.run(["bash", "-c", blk], capture_output=True, text=True, env=ENV)
code = r.returncode
except StopIteration:
blk, code, r = "", -1, None
t(code == 1, "⑱ ★ 訊息裡那塊指令原樣貼上就跑得完(走到網路才停,不是被閘擋)",
"離開碼 %s2 又被某道閘擋下)%s"
% (code, ("" + (r.stderr or "").strip().splitlines()[0][:80]) if r and code == 2 else ""))
# ⑲ 鑑別力對照:⑱ 不是「只要跑就會過」。
# 把閘**原本**印的那組旗標(`--assign <誰做>` 沒配 `--next`)接回去 ⇒ 必須紅。
if blk:
bad = blk.rstrip() + " --assign claude-code"
rb = subprocess.run(["bash", "-c", bad], capture_output=True, text=True, env=ENV)
t(rb.returncode == 2,
"⑲ 對照組:閘原本那組旗標(--assign 沒配 --next)確實跑不完",
"離開碼 %s(要是 2;不是 2 就表示 ⑱ 沒有鑑別力)" % rb.returncode)
else:
t(False, "⑲ 對照組:抽不出指令區塊", "")
# ⑳ 草稿模板與必填檢查**同源**:模板裡一定有 REQUIRED_SECTIONS 的每一段。
# 寫死一份模板的話,有人往 REQUIRED_SECTIONS 加一段就會生出
# 「照著貼卻過不了自己那道閘」的票——正是這張票要修的形狀。
req = subprocess.run(
[sys.executable, "-c",
"import runpy,sys;m=runpy.run_path(sys.argv[1]);"
"print('\\x00'.join(m['REQUIRED_SECTIONS']));"
"print(m['body_template']())", ticket],
capture_output=True, text=True)
head, _, tmpl = req.stdout.partition("\n")
secs = [x for x in head.split("\x00") if x]
t(secs and all(x in tmpl for x in secs) and all(x in msg for x in secs),
"⑳ 草稿模板由 REQUIRED_SECTIONS 現生,訊息裡也齊",
"必填段:%s" % secs)
# ㉑ 正本叫不動時(雲端裝壞、路徑不對):**閘照樣擋**,而且**不准就地補一份手抄用法**
# ——那份副本正是這張票拔掉的東西。fail-open 的是「訊息內容」,不是「擋不擋」。
fb = subprocess.run(["bash", os.environ["GUARD"]],
input=io.open(os.environ["PAYLOAD"], encoding="utf-8").read(),
capture_output=True, text=True,
env=dict(os.environ, CLAUDE_PLUGIN_ROOT="/tmp/isep-no-such-root"))
fbmsg = fb.stderr
t(fb.returncode == 2 and "usage subtask" in fbmsg
and "--title" not in fbmsg and "[--journey" not in fbmsg,
"㉑ 正本叫不動時仍然擋,且只指路、不補一份手抄用法",
"離開碼 %s|訊息裡有沒有手抄用法:%s"
% (fb.returncode, "有(違規)" if "[--journey" in fbmsg else "沒有"))
npass = 0
for ok, name, detail in res:
print(" %s %s%s" % ("✅" if ok else "❌", name,
(" ※ " + detail) if (detail and not ok) else ""))
npass += 1 if ok else 0
io.open(os.environ["RESFILE"], "w", encoding="utf-8").write(
"%d %d" % (npass, len(res) - npass))
PY
read -r P2 F2 < "$RESFILE"
PASS=$((PASS + P2)); FAIL=$((FAIL + F2))
rm -f "$MSGFILE" "$RESFILE" "$PAYFILE" "/tmp/isep-subtask-$SID2.md" \
"/tmp/.comment-task-guard-warned-$SID2"
echo echo
echo "$PASS/$((PASS+FAIL)) 通過" echo "$PASS/$((PASS+FAIL)) 通過"
[ "$FAIL" = 0 ] [ "$FAIL" = 0 ]
+144
View File
@@ -0,0 +1,144 @@
#!/bin/bash
# make-cloud-env.sh 的測試(docs/TESTING.md A14
#
# 它守什麼: 那支腳本是「雲端總管手上有哪些憑證」的唯一清單。清單漏一把,
# 雲端會在**流程末端**才發現跑不了(inkstone/ISEP#115 內文:派了工人寫完
# 清空腳本、寫完測試,到要真的跑的那一刻才知道 CF token 根本不在)。
#
# 兩段:
# A 段 —— 用假的 .env 隔離跑,證明「產物長對、缺值不會假綠、什麼都不寫進 repo」。
# 全程不碰真金鑰、不碰 ~/.claude/cloud-env。
# B 段 —— 拿這台機器真正的 .env 對帳,證明清單上每一把**這台都拿得到值**,
# 而且**沒有一把的值來自 polaris/mira/.env**leo21c 現役正式環境)。
# .env 不在(例如雲端)⇒ 印 ⏭️ SKIP,不算通過也不算失敗。
#
# 🔴 B8/B9 的判準都不是名字,是機器算得出來的事實——**換什麼名字都躲不掉**。
# B8 看「這個值是從哪個檔案拿到的」(出自 polaris/mira/.env leo21c 現役正式環境)。
# B9 看「這個值是不是就是 leo21c 那把 token」(值相等就紅,改名叫什麼都一樣)。
# 🔴 兩條是分工不是重複:`CLOUDFLARE_API_TOKEN_leo21c` 住在**頂層** .env
# 不在 polaris/mira/.env ⇒ **B8 抓不到它**,這正是 B9 存在的理由。
# 關鍵字黑名單反過來只擋得住已經被列進去的那幾個名字,新名字一律漏掉
# leo 2026-08-17 已證偽文字層封路:當日 8 次誤攔、0 次正確攔截)。
#
# 🔴 全程只印變數**名字**與值的**長度**,一個字元的值都不印。
cd "$(dirname "$0")/.." || exit 1
S=scripts/make-cloud-env.sh
PASS=0; FAIL=0; SKIP=0
ok(){ PASS=$((PASS+1)); printf ' ✅ %s\n' "$1"; }
bad(){ FAIL=$((FAIL+1)); printf ' ❌ %s\n' "$1"; }
skip(){ SKIP=$((SKIP+1)); printf ' ⏭️ SKIP %s\n' "$1"; }
chk(){ [ "$1" = "$2" ] && ok "$3$2" || bad "$3want=$1 got=$2"; }
# 清單與搜尋路徑都從腳本本身讀出來——測試不另養一份,養了就會漂。
# 註:macOS 內建的是 bash 3.2,沒有 mapfilereadarray,一律用 while read 收陣列。
NEEDED=()
while IFS= read -r l; do NEEDED+=("$l"); done < <(
sed -n '/^NEEDED=(/,/^)/p' "$S" | sed -E '1d;$d; s/[[:space:]]*#.*$//; s/[[:space:]]//g' | grep -v '^$')
[ "${#NEEDED[@]}" -gt 0 ] || { echo "🔴 從 $S 讀不出 NEEDED,測試本身壞了"; exit 1; }
echo "清單(只有名字):${NEEDED[*]}"
echo
TMP=$(mktemp -d); trap 'rm -rf "$TMP"' EXIT
FAKE="$TMP/fakeroot"; OUTD="$TMP/out"; mkdir -p "$FAKE"
echo "── A. 隔離跑(假 .env,不碰真金鑰、不碰 ~/.claude/cloud-env)──"
: > "$FAKE/.env"
for n in "${NEEDED[@]}"; do echo "$n=FAKEVALUE-$n" >> "$FAKE/.env"; done
BEFORE=$(git status --porcelain)
OUT_LINE=$(INKSTONE_ROOT="$FAKE" OUT_DIR="$OUTD" bash "$S" 2>&1)
F=$(printf '%s\n' "$OUT_LINE" | sed -n 's/^✅ 產生完成://p')
[ -f "$F" ] && ok "A1 產物產出來了" || bad "A1 產物不存在(腳本輸出:$OUT_LINE"
chk 600 "$(stat -f '%OLp' "$F" 2>/dev/null || stat -c '%a' "$F" 2>/dev/null)" "A2 產物權限"
miss=0
for n in "${NEEDED[@]}"; do grep -qx "$n=FAKEVALUE-$n" "$F" || { miss=$((miss+1)); echo " ↑ 沒出現:$n"; }; done
chk 0 "$miss" "A3 每個名字都帶著值出現在 ① 區塊"
printf '%s\n' "$OUT_LINE" | grep -q "找不到值的 0 個" \
&& ok "A4 收尾那行說「找不到值的 0 個」" || bad "A4 收尾計數不對:$OUT_LINE"
# 缺值時不准假綠:拿掉第一個,它要變成 <🔴 …> 且計數變 1
grep -v "^${NEEDED[0]}=" "$FAKE/.env" > "$FAKE/.env.tmp" && mv "$FAKE/.env.tmp" "$FAKE/.env"
OUT2=$(INKSTONE_ROOT="$FAKE" OUT_DIR="$OUTD" bash "$S" 2>&1)
F2=$(printf '%s\n' "$OUT2" | sed -n 's/^✅ 產生完成://p')
grep -q "^${NEEDED[0]}=<🔴" "$F2" && ok "A5a 缺值那行標成 <🔴 …>" || bad "A5a 缺值沒被標出來"
printf '%s\n' "$OUT2" | grep -q "找不到值的 1 個 ${NEEDED[0]}" \
&& ok "A5b 收尾點名缺的是誰" || bad "A5b 收尾沒點名:$OUT2"
if [ "$BEFORE" = "$(git status --porcelain)" ]; then ok "A6 跑完沒有任何檔案被寫進 repo"
else bad "A6 repo 裡多了東西:$(diff <(printf '%s\n' "$BEFORE") <(git status --porcelain) | tr '\n' ' ')"; fi
echo
echo "── B. 拿這台機器真正的 .env 對帳(只印長度,不印值)──"
ENVF=()
while IFS= read -r l; do ENVF+=("$l"); done < <(
sed -n '/^ENV_FILES=(/,/^)/p' "$S" | sed -E '1d;$d; s/^[[:space:]]*"//; s/"[[:space:]]*$//' | grep -v '^$')
BASE="${INKSTONE_ROOT:-$HOME/Documents/tech_projects/InkStoneCo}"
real_src(){ # $1=名字 → 印出「值的長度 來源檔」;找不到回非 0
local name="$1" f p v
for p in "${ENVF[@]}"; do
f="${p/\$BASE/$BASE}"; f="${f/\$\{BASE\}/$BASE}"
[ -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 %s' "${#v}" "$f"; return 0; }
done
return 1
}
# 只取值、不取來源,給 B9 比對用。值只活在變數裡,從不印出、也不寫檔。
_val(){ local r f; r=$(real_src "$1") || return 1; f="${r#* }"
grep -E "^[[:space:]]*(export[[:space:]]+)?$1=" "$f" | tail -1 \
| sed -E "s/^[[:space:]]*(export[[:space:]]+)?$1=//" | sed -E 's/^"(.*)"$/\1/; s/^'"'"'(.*)'"'"'$/\1/'; }
found=0
for p in "${ENVF[@]}"; do f="${p/\$BASE/$BASE}"; [ -f "$f" ] && found=1; done
if [ "$found" = 0 ]; then
skip "B7 這台機器一個 .env 都沒有(雲端就是這個狀態),對帳跳過"
skip "B8 同上"
else
gone=0; prod=0
for n in "${NEEDED[@]}"; do
if r=$(real_src "$n"); then
len="${r%% *}"; src="${r#* }"
printf ' %-38s → 找得到(長度 %s)來自 %s\n' "$n" "$len" "${src#$BASE/}"
case "$src" in */polaris/mira/.env) prod=$((prod+1)); echo " 🔴 ↑ 這是 leo21c 現役正式環境那份 .env";; esac
else
printf ' %-38s → 🔴 這台拿不到\n' "$n"; gone=$((gone+1))
fi
done
chk 0 "$gone" "B7 清單上每一把這台都拿得到值"
chk 0 "$prod" "B8 沒有一把的值來自 polaris/mira/.envleo21c 正式環境)"
# B9 —— leo 2026-09-01 的紅線:「CLOUDFLARE_API_TOKEN_leo21c 不准加」。
# 🔴 判準是**值**不是名字:拿 leo21c 那把的值,比對清單上每一把解出來的值。
# 有人把它改名叫 CF_TOKEN_BACKUP 照樣會紅,而黑名單會放它過去。
# B8 抓不到這一條(那把住在頂層 .env,不在 polaris/mira/.env)。
if leoval=$(_val CLOUDFLARE_API_TOKEN_leo21c); then
hit=0
for n in "${NEEDED[@]}"; do
v=$(_val "$n") || continue
[ "$v" = "$leoval" ] && { hit=$((hit+1)); echo " 🔴 $n 的值就是 leo21c 那把"; }
done
chk 0 "$hit" "B9 清單上沒有一把的值等於 CLOUDFLARE_API_TOKEN_leo21c"
else
skip "B9 這台找不到 CLOUDFLARE_API_TOKEN_leo21c,沒有比對基準"
fi
# B8 全綠有兩種可能:真的沒有正式憑證,或**偵測根本不會亮**。分得開才算驗過。
# 拿一個已知住在 polaris/mira/.env 的名字餵它,看它認不認得出來。
if r=$(real_src CLOUDFLARE_ACCOUNT_ID); then
case "${r#* }" in
*/polaris/mira/.env) ok "B8x 反例自驗:把 leo21c 那份 .env 的變數餵進去,偵測認得出來" ;;
*) skip "B8x 反例自驗:CLOUDFLARE_ACCOUNT_ID 這次解到 ${r#* },不是 mira 那份,這台沒得驗" ;;
esac
else
skip "B8x 反例自驗:這台找不到 CLOUDFLARE_ACCOUNT_ID,沒有現成的反例可餵"
fi
fi
echo
echo "$PASS/$((PASS+FAIL)) 通過,跳過 $SKIP"
[ "$FAIL" -eq 0 ]
+144 -9
View File
@@ -26,6 +26,8 @@ leo 2026-08-16 三句話,本工具就是它們的機械化:
ticket mine [--user <誰>] 撈一次:棒子在誰手上、每根下一步是什麼 ticket mine [--user <誰>] 撈一次:棒子在誰手上、每根下一步是什麼
ticket loose 撈一次:下游都關了、自己還開著的頂層票 ticket loose 撈一次:下游都關了、自己還開著的頂層票
ticket usage <動詞> [--example] 用法的唯一真相源——**閘印的那一行從這裡來**
票的寫法:`owner/repo#N`,例:`inkstone/InkStoneCo#44` 票的寫法:`owner/repo#N`,例:`inkstone/InkStoneCo#44`
""" """
import json import json
@@ -504,6 +506,10 @@ def _writeback(owner, repo, num, deliv):
for i in open_left] for i in open_left]
lines += ["", "⇒ 本票維持原狀,不要當成可以收了。"] lines += ["", "⇒ 本票維持原狀,不要當成可以收了。"]
else: else:
# 🔴 這一段是要**貼進 Gitea 留言**的,所以 `ticket close` 刻意寫成相對的
# ——留言會被別台機器讀到,寫死本機的絕對路徑等於寫死一個他們沒有的檔案。
# 絕對路徑那條規約(inkstone/ISEP#112)管的是**印到終端機、要人複製貼上**的字,
# 兩者分界就是這一句:「這行字會被誰複製、在哪台機器上跑?」
lines += ["", "**這是最後一張下游——本票的下游已經全部關閉。**", "", lines += ["", "**這是最後一張下游——本票的下游已經全部關閉。**", "",
f"{BATON_MARK} → `{HANDBACK_TO}`", "", f"{BATON_MARK} → `{HANDBACK_TO}`", "",
"**下一步**:驗一次頂層要的東西真的到齊了,到齊就 " "**下一步**:驗一次頂層要的東西真的到齊了,到齊就 "
@@ -719,6 +725,134 @@ def writeback_plan(parent_state, parent_deps):
return ("note" if open_left else "handback"), open_left return ("note" if open_left else "handback"), open_left
# ══════════════════════════════════════════════════════════════════════════
# inkstone/ISEP#112 — 閘教的那行指令要真的跑得動
#
# 票上的原話:「**當它教的做法不存在,它就從『幫你』變成『擋你』**——
# 而且被擋的人當下正在做別的事,最可能的反應是找個理由繞過去。」
#
# 那次它為什麼跑不動,兩個獨立的原因(2026-08-31 實測,兩個都會單獨害死它):
#
# ① **相對路徑**。閘印的是 `scripts/ticket subtask …`,而相對路徑是對
# **貼上去那個人的 cwd** 解析的。總管的 cwd 是 `InkStoneCo/`,那裡的
# `scripts/ticket` 是本檔停在 2026-08-27 之前的**舊複本**
# grep -c subtask InkStoneCo/scripts/ticket → 0
# 它的 docstring 只列到「四個動詞」,於是照著貼會印出那段說明、exit 0、
# 什麼都沒發生 —— 正是票上寫的症狀。
# `hooks/lib/beacon_report.py` ② 已經會在 SessionStart 報這個舊複本,
# 但**報告不會改掉閘印出來的那一行**。)
#
# ② **用法各寫一份**。閘手寫了一段用法,`cmd_subtask` 的 die() 又寫了一段。
# 兩份已經漂了:閘那份寫 `--assign <誰做>` 卻**沒有 `--next`**
# 而 cmd_subtask 會因為「🚫 指派了人卻沒寫 --next。」直接 die(實測 exit 2
# 而且是在打任何 API 之前,所以離線也複現得出來)。
# ⇒ 就算路徑對了,那一行照樣跑不完。
#
# 🔴 修法是**拿掉可以漂的那一格**,不是把兩份對齊一次:
# · 路徑 → self_path()`__file__` 的絕對路徑。印指令的人與跑指令的人
# 是同一個檔案,沒有第二種可能。
# · 用法 → USAGE 這一份。閘去 `ticket usage subtask` 拿,不自己抄。
# · 內文模板 → body_template() 由 REQUIRED_SECTIONS 現生。
# 檢查與模板同一個來源 ⇒ 模板不可能少一段。
# ══════════════════════════════════════════════════════════════════════════
def self_path():
"""這支腳本自己的絕對路徑。**閘印出來的指令一律用它。**
不用 `sys.argv[0]`:那是「別人怎麼叫我」,被相對路徑叫進來時它就是相對的。
`__file__` 走 realpath 是「我是誰」——貼到任何 cwd 底下都指得回同一個檔案。
"""
return os.path.realpath(__file__)
# 每一段必填欄位的草稿提示。**鍵一定要是 REQUIRED_SECTIONS 裡的字串**——
# 對不上也不會漏掉那一段(下面會退成 `<填這裡>`),只是提示變笨。
SECTION_HINTS = {
"## 目標": "<這件事要達成什麼。寫目的,不要寫做法>",
"## 驗收條件": "- [ ] <怎麼算做完——別人可以自己跑一次的那種>",
"## deliverable 類型": "code",
}
def body_template():
"""子票內文的草稿,**用 REQUIRED_SECTIONS 現生**。
🔴 不要把這段字面寫死:寫死就變成第二份,而 `cmd_subtask` 檢查的是
REQUIRED_SECTIONS。有人往那個清單加一段,寫死的模板就會生出一張
**照著貼卻過不了自己那道閘**的票 —— 這張票要修的就是這個形狀。
"""
out = []
for sec in REQUIRED_SECTIONS:
out.append(sec)
out.append(SECTION_HINTS.get(sec, "<填這裡>"))
out.append("")
return "\n".join(out).rstrip() + "\n"
def subtask_example(parent=None, draft=None):
"""可以整段複製貼上的那一塊:先把內文草稿寫出來,再開子票。
刻意**不放 `--assign`**`--assign` 沒配 `--next` 會被擋(見 cmd_subtask),
而一行印出來卻跑不完的指令,正是這張票在修的病。要指派的人看 USAGE 那份,
那裡兩個參數是綁在一起寫的。
留在 <> 裡的只有三件**機器不可能知道**的事:標題、目標、驗收條件。
其餘(腳本路徑、母票、必填段落、標籤)全部已經填好。
"""
parent = parent or "<母票 owner/repo#N>"
draft = draft or "/tmp/subtask-body.md"
return (
"cat > %s <<'MD'\n" % draft
+ body_template()
+ "MD\n"
+ "%s subtask %s \\\n" % (self_path(), parent)
+ ' --title "身為<誰>,我要<什麼>,我才<為什麼>" \\\n'
+ " -F %s --label s/todo\n" % draft
)
# 🔴 `{bin}` 一定要留成佔位符、由 usage_text() 現填 self_path()
# 用法裡寫死 `ticket` 或 `scripts/ticket`,讀的人照著貼就又踩回這張票的坑。
USAGE = {
"subtask":
"用法:{bin} subtask <母票 owner/repo#N> --title \"<User Story>\" -F <內文檔>\n"
" [--repo <收件 repo,預設跟母票同一個>] [--label <s/xxx,預設 s/todo>]\n"
" [--journey <旅程名>] ← 這件事服務哪條使用者旅程(對不上就不要加)\n"
" [--assign <誰做> --next \"<他第一件事要做什麼>\"] ← 這兩個是一組,"
"指派了就一定要寫下一步\n"
"\n`ticket handoff` 是同一個動作的別名:頂層票 → 下游 repo)",
}
def usage_text(verb):
"""用法的**唯一**一份,路徑現填成絕對路徑(inkstone/ISEP#112)。"""
return USAGE[verb].format(bin=self_path())
def cmd_usage(argv):
"""把「用法」與「可以貼著跑的那一塊」交給同一個地方產生(inkstone/ISEP#112)。
閘的訊息**呼叫這一支**,不自己抄一份 ⇒ 訊息與能跑的指令之間沒有第二份可以漂。
"""
verbs = "|".join(sorted(USAGE))
if not argv or argv[0] not in USAGE:
die("用法:ticket usage <%s> [--example] [--parent <owner/repo#N>] "
"[--draft <內文檔路徑>]\n"
" --example = 印一塊可以整段貼著跑的指令(路徑是絕對路徑,母票已填好)" % verbs)
verb = argv[0]
def opt(name, default=None):
return argv[argv.index(name) + 1] if name in argv else default
if "--example" in argv:
if verb != "subtask":
die("🚫 `ticket usage %s --example` 還沒有可貼著跑的版本。\n"
" 先看用法:ticket usage %s" % (verb, verb))
sys.stdout.write(subtask_example(opt("--parent"), opt("--draft")))
return
sys.stdout.write(usage_text(verb).rstrip() + "\n")
# ── subtask ────────────────────────────────────────────────────────────── # ── subtask ──────────────────────────────────────────────────────────────
def cmd_subtask(argv): def cmd_subtask(argv):
"""把「討論串裡的一件事」長成看得見的子票,並掛成母票的 Gitea 原生相依。 """把「討論串裡的一件事」長成看得見的子票,並掛成母票的 Gitea 原生相依。
@@ -737,11 +871,9 @@ def cmd_subtask(argv):
不是「新開一條線」——那道閘擋的是後者。 不是「新開一條線」——那道閘擋的是後者。
""" """
if len(argv) < 1: if len(argv) < 1:
die("用法:ticket subtask <母票 owner/repo#N> --title \"<User Story>\" -F <內文檔>\n" # 🔴 用法只有 USAGE 那一份(inkstone/ISEP#112)。這裡不准再抄一段:
" [--repo <收件 repo,預設跟母票同一個>] [--label <s/xxx,預設 s/todo>]\n" # 抄一段就是又多一個會漂的副本,而閘印的那一行也是從 USAGE 來的。
" [--journey <旅程名>] ← 這件事服務哪條使用者旅程(對不上就不要加)\n" die(usage_text("subtask"))
" [--assign <誰做> --next \"<他第一件事要做什麼>\"] ← 指派了就一定要寫下一步\n"
"\n`ticket handoff` 是同一個動作的別名:頂層票 → 下游 repo)")
powner, prepo, pnum = parse_ref(argv[0]) powner, prepo, pnum = parse_ref(argv[0])
def opt(name, default=None): def opt(name, default=None):
@@ -830,7 +962,7 @@ def cmd_subtask(argv):
print(f" 旅程:`{jlabel}`(母子兩端都貼——只貼一端就聚不起來)") print(f" 旅程:`{jlabel}`(母子兩端都貼——只貼一端就聚不起來)")
else: else:
print(" 旅程:沒有貼(沒給 --journey)。對得上就補一次:" print(" 旅程:沒有貼(沒給 --journey)。對得上就補一次:"
f"`ticket subtask … --journey <旅程名>`;對不上就不要硬湊。") f"`{self_path()} subtask … --journey <旅程名>`;對不上就不要硬湊。")
print(f"\n📌 母票 {powner}/{prepo}#{pnum} 目前有 {len(openn)} 張未關的相依:") print(f"\n📌 母票 {powner}/{prepo}#{pnum} 目前有 {len(openn)} 張未關的相依:")
for i in deps: for i in deps:
mark = "◻" if i["state"] == "open" else "☑" mark = "◻" if i["state"] == "open" else "☑"
@@ -1026,8 +1158,10 @@ def cmd_loose(argv):
for d in deps: for d in deps:
print(f" ☑ {d['repository']['full_name']}#{d['number']}" print(f" ☑ {d['repository']['full_name']}#{d['number']}"
f" {d['title'][:52]}") f" {d['title'][:52]}")
print(f" → 驗過就關:ticket close {full}#{n} --deliverable <URL>") # 絕對路徑(inkstone/ISEP#112):相對的 `scripts/ticket` 會被貼到別的 cwd 底下,
print(f" 還缺東西:ticket subtask {full}#{n} --title \"<US>\" -F <檔>") # 在那裡叫到的可能是本檔的舊複本(`InkStoneCo/scripts/ticket` 就是)。
print(f" → 驗過就關:{self_path()} close {full}#{n} --deliverable <URL>")
print(f" 還缺東西:{self_path()} subtask {full}#{n} --title \"<US>\" -F <檔>")
print() print()
print("📌 這張表撈的是**機械事實**(相依邊的 state),不是猜文字。") print("📌 這張表撈的是**機械事實**(相依邊的 state),不是猜文字。")
@@ -1038,7 +1172,8 @@ def cmd_loose(argv):
CMDS = {"where": cmd_where, "say": cmd_say, "new": cmd_new, "close": cmd_close, CMDS = {"where": cmd_where, "say": cmd_say, "new": cmd_new, "close": cmd_close,
"decide": cmd_decide, "subtask": cmd_subtask, "handoff": cmd_subtask, "decide": cmd_decide, "subtask": cmd_subtask, "handoff": cmd_subtask,
"handback": cmd_handback, "mine": cmd_mine, "loose": cmd_loose} "handback": cmd_handback, "mine": cmd_mine, "loose": cmd_loose,
"usage": cmd_usage}
if __name__ == "__main__": if __name__ == "__main__":
if len(sys.argv) < 2 or sys.argv[1] not in CMDS: if len(sys.argv) < 2 or sys.argv[1] not in CMDS:
+111
View File
@@ -118,3 +118,114 @@ leo 當場:「**這些為什麼不寫到票裡?**」
只有這次成立 ⇒ 寫進那張票。**兩種都不進派工單。** 只有這次成立 ⇒ 寫進那張票。**兩種都不進派工單。**
日期: 2026-08-27`inkstone/ISEP#30` comment 4327 日期: 2026-08-27`inkstone/ISEP#30` comment 4327
## ⚠️ MISTAKE: fail-closed 的閘,會把「執行裁決」這個動作本身變成不可執行
票: `inkstone/ISEP#91`(裁決原文在 `inkstone/InkStoneCo#40` → comment 2942
日期: 2026-08-31
症狀: leo 2026-08-16 裁定「**取消 Active SDD**」——任務狀態搬到 Gitea 管,
SDD 只記「起初的樣子」,文件不帶任務 checkbox。
**11 天過去,這個裁決一個字都沒被執行。**
實查: `sdd-guard.sh` 是 fail-closed 的:動 code 檔時 `status: active` 的 SDD
**不是恰好 1 份就擋(0 份也擋)**,路徑所在的 repo 沒有 `3-specs` 也擋。
⇒ 照裁決把最後那份 active 拿掉 → 變 0 份 → **任何人動任何
`.ts``.py``.go` 全部被擋**。當時沒出事,純粹是因為剛好還剩 1 份。
**ISEP 這個 repo 自己根本沒有 `3-specs`**——本票開工第一件事就實測到:
改自己的 `hooks/lib/*.py` 當場被這支閘擋下(exit 2)。**它一直在誤攔,只是沒人回報。**
原因: **不是有人偷懶,是沒有人把裁決和那支閘連起來看。**
裁決被讀到了、也沒人反對,但執行它的第一步會當場鎖死自己,
於是每個人都在那一步前面停下來,而**「我停下來了」不會留下任何痕跡**。
正確做法:
- 收到「取消某個制度」的裁決,第一個動作是**去數還有幾支閘在執行那個制度**,
並且**先問那些閘是 fail-open 還是 fail-closed**。
fail-closed 的那幾支決定了執行順序:**先讓閘退役,再拿掉它要的東西**,顛倒就鎖死。
- 退役要驗的不是「檔案刪了沒有」,是「**那個擋還會不會發生**」。
`hooks/tests/sdd-guard-retired.test.sh` 把「裁決執行完之後的世界」丟給
`hooks.json` 上整組寫檔閘(清單當場從 `hooks.json` 讀,不寫死),
**不准有任何一支用 SDD 當理由擋下來** ⇒ 換個檔名種回來照樣紅。
📌 一個沒人敢執行的裁決,看起來跟一個沒人記得的裁決一模一樣。
差別只有在**去問「執行它的第一步會發生什麼」**的時候才看得出來。
📌 KBDB 缺這一段: 2026-08-31 用 `kbdb_search(mode='semantic')`
「SDD 生命週期/單一活性/取消 Active SDD」**0 命中**(最接近的是 2026-08-09
一張講 SDD × Gitea 整合摩擦的卡,那是裁決之前)。⇒ 這條開發史還沒進 KBDB。
## ⚠️ MISTAKE: 閘擋對了,但它印出來的那條出路**跑不動**
票: `inkstone/ISEP#112`
日期: 2026-08-31
症狀: `comment-carries-task-guard.sh` 擋下留言時教你跑
`scripts/ticket subtask …`。照著貼,會印出一段「四個動詞」的說明然後
什麼都沒發生。被擋的人當下正在做別的事,最可能的反應是**找個理由繞過去**。
實查: 兩個**各自獨立**的原因,任何一個單獨存在都足以害死它——
**相對路徑**。閘印的是 `scripts/ticket`,而相對路徑是對
**貼上去那個人的 cwd** 解析的。總管的 cwd 是 `InkStoneCo/`
那裡的 `scripts/ticket` 是正本停在 2026-08-27 之前的舊複本:
`grep -c subtask InkStoneCo/scripts/ticket`**0**(正本是 10)。
⇒ 「`subtask` 這個子命令不存在」這個結論**在那個 cwd 底下是真的**。
**用法各寫一份**。閘手抄了一段用法,`cmd_subtask``die()` 又寫了一段。
兩份已經漂了:閘那份寫 `--assign <誰做>` 卻**沒有 `--next`**
而正本會因為「指派了人卻沒寫 --next」直接擋下(實測 exit 2)。
⇒ **就算路徑對了,那一行照樣跑不完。**
原因: 閘的訊息與它教的那支工具是**兩份各自維護的字**。
`hooks/lib/beacon_report.py` ② 早就會在 SessionStart 報「專案裡有舊複本」,
**但報告不會改掉閘印出來的那一行**——知道有這個坑,跟那一行會不會踩到它,
是兩件事。
正確做法:
- **路徑**:印出來要人複製的指令,一律用正本自己的 `__file__` 絕對路徑
`scripts/ticket``self_path()`)。印指令的人與跑指令的人是同一個檔案,
沒有第二種可能。
⚠️ 分界線是「**這行字會被誰複製、在哪台機器上跑?**」——
要**貼進 Gitea 留言**的指令反而要維持相對寫法(留言會被別台機器讀到)。
- **用法**:只留一份(`scripts/ticket``USAGE``usage_text()`),
閘去 `ticket usage subtask --example` 現要,不自己抄。
- **模板**:子票內文草稿由 `REQUIRED_SECTIONS` 現生(`body_template()`),
跟檢查同源 ⇒ 不可能生出「照著貼卻過不了自己那道閘」的票。
🔴 **驗法要驗到「它跑不跑得動」,不是「它有沒有擋」。**
`scripts/test-comment-carries-task-guard.sh` ⑱ 把閘 stderr 裡那塊指令
**原樣抽出來、只填三格、真的執行一次**:離開碼 1(走到網路才停)=過,
2(被某道閘擋下)=這個病復發。⑲ 是它的鑑別力對照組。
📌 推廣:**一支閘的價值是「擋下來 + 給一條走得通的路」。**
出路走不通時它不是幫你,是擋你——而被擋的人不會停下來修閘,
他會去找繞過去的方法。所以「出路能不能跑」要跟「判準準不準」一樣被測。
## ⚠️ MISTAKE: 「雲端該有哪些憑證」的清單是唯一真相源,卻沒有任何東西在跟機器對帳
票: `inkstone/ISEP#115`(→ comment `5522``5526`
日期: 2026-09-01
症狀: 雲端 session 要清空 youlin`env | grep -ciE 'cloudflare|^CF_|wrangler'`**0**
`credentials-map.md` 明明寫著那把 token 在 `InkStoneCo/.env`
實查: 不是雲端漏設。`scripts/make-cloud-env.sh``NEEDED` 當時**只有 1 個變數**
裡面從來沒有任何 CF 憑證。而 `inkstone/InkStoneCo#14` comment `3890`
2026-08-20)盤點出的 A 段是 **8 個**——那一版三段輸出的腳本,
到今天為止只活在**沒併進 `main` 的分支 `fix/cloud-env-parity-14`PR #43**上。
原因: 盤點做在票上、實作做在分支上、`main` 上的清單是另一回事——**三份,互不對帳**。
🔴 而清單漏一項的代價**在流程末端才付**:工人已經把腳本與測試都寫完了,
到要真的跑的那一刻才知道跑不了。
正確做法: 清單要有測試逼它跟這台機器對帳(`scripts/test-make-cloud-env.sh`
`docs/TESTING.md` A26)——B 段逐一去 `.env` 找值,找不到就紅。
🔴 而「不准混進正式環境憑證」這一條,判準一律是**機器算得出來的事實**,
**不是名字裡有沒有某個字**——兩條分工:
B8 看**值從哪個檔案拿到的**(出自 `polaris/mira/.env` = leo21c 現役正式環境就紅);
B9 看**這個值是不是就是 `CLOUDFLARE_API_TOKEN_leo21c`**(那把住在頂層 `.env`
B8 抓不到,而改個名字黑名單就放它過去——實跑證過)。黑名單擋不住沒被列進去的新名字,
「這個值出自那份 `.env`」是 grep 得出來的事實,換什麼名字都躲不掉。
同時釘住反面(B8x):拿一個已知住在那份 `.env` 的變數餵它,證明偵測**真的會亮**——
否則「全綠」有兩種可能(真的乾淨/偵測壞了),而分不開就等於沒驗。
**推廣**:repo 裡任何「這台機器該有什麼」的清單,都要有一支東西定期拿它去問機器。
清單自己不會知道它漏了什麼。