2026-08-27 10:38:49 +00:00
9 changed files with 175 additions and 70 deletions
@@ -7,3 +7,12 @@ cloud-env*.txt
 # import 共用零件時 python 自己生的，不是原始碼
 __pycache__/
 *.pyc
+
+# 推 main 被擋下時留的請求（main-and-prod-push-guard.sh 寫的）。
+# 這是**本機當下的狀態**，不是原始碼：一份檔案的語意是「有一筆推 main 正在等總管裁」。
+# 進版控會有兩個後果（inkstone/ISEP#59 comment 4779 第 ① 條，兩個都實際發生過）：
+#   ① `git add -A` 把它帶進 commit ⇒ 別人 clone 下來就多一筆**別人的**待裁決
+#   ② 被追蹤的檔每次被覆寫都變成 ` M` ⇒ `git status` 永遠是髒的
+# （寫成 `目錄/*` 而不是 `目錄/`：後者連目錄本身都排除，下一行的例外就永遠生效不了）
+pending-main-push/*
+!pending-main-push/README.md
@@ -0,0 +1,101 @@
+# hooks/tests/lib/hook-sandbox.sh — 讓「會寫檔的閘」在測試時寫到暫存區，不寫進 repo。
+# 不是獨立掛的閘（沒進 hooks.json），給 hooks/tests 與 scripts/test-* `source` 用。
+#
+# 🔴 為什麼需要這支（inkstone/ISEP#59 comment 4779 第 ① 條，實測重演過）：
+#   main-and-prod-push-guard.sh 擋下「推 main」的同時，會把那次請求寫成一份
+#   `<hooks 的上一層>/pending-main-push/<誰>--<repo>.md`——**那份檔案的語意是
+#   「有一筆推 main 正在等總管裁」**。而測試的測資本來就全是「推 main」，
+#   於是每跑一次測試，工作區就多／改幾筆**偽造的待裁決**：
+#
+#     $ git status --short          # 跑完測試之後（修之前的實測）
+#      M pending-main-push/unnamed--ISEP.md      ← 被測試覆寫（它是被追蹤的）
+#     ?? pending-main-push/unnamed--A.md         ← 跨 repo 測試建的臨時 repo
+#
+#   兩個後果，後者比較貴：
+#     ① `git add -A` 很容易把它們帶進 commit（08-27 那次真的帶進去了，事後才拔掉）
+#     ② **永遠在響的警報**：總管的迴圈讀這個目錄，讀到的每一筆都該是真的在等他裁。
+#        測試每跑一次就偽造一筆 ⇒ 下一筆真的請求會混在雜訊裡。
+#
+# 做法：把整個 `hooks/` 複製到暫存區再跑那支複本。閘算 `pending-main-push` 的位置
+# 靠的是 `$0` 的上一層，所以複本會寫進暫存區，**產品程式碼一行都不用改**
+# （不必為了測試在閘上多開一個「寫去哪」的開關——那種開關會變成關掉紀錄的路）。
+#
+# 用法：
+#   . "$(dirname "$0")/lib/hook-sandbox.sh"
+#   hook_sandbox "$REAL_HOOK" || exit 1
+#   G=$HOOK_SANDBOX_HOOK               # 之後一律測 $G
+#   before=$(hook_sandbox_hostsum)     # repo 那份 pending-main-push 的指紋
+#   ... 跑測試 ...
+#   hook_sandbox_assert "$before"      # 回 0＝乾淨且沙盒裡真的有留下請求
+
+# hook_sandbox <真跡 hook 的路徑> → 建好沙盒，設三個變數，回 0／1
+#   HOOK_SANDBOX_HOOK  沙盒裡那支同名 hook（之後一律測這支）
+#   HOOK_SANDBOX       沙盒根（`pending-main-push` 會長在這底下）
+#   HOOK_SANDBOX_HOST  真跡 repo 的 pending-main-push（拿來比對有沒有被弄髒）
+#
+# 🔴 **刻意不用 `printf` 把路徑印出來讓呼叫端 `G=$(hook_sandbox …)` 接**——
+#   命令替換跑在子殼裡，函式設的那三個變數**回不到呼叫端**。
+#   寫這支的當下就這樣寫，第一次跑的結果是：`HOOK_SANDBOX` 在呼叫端是空的
+#   ⇒ hostsum 兩次都回 `NODIR`（相等）、沙盒的請求數當然是 0
+#   ⇒ **第一條斷言變成「拿空的比空的」的假綠**。
+#   所以改成「設變數、不印」，而且 hook_sandbox_assert 開頭會擋空值（見下）。
+hook_sandbox() {
+  _hs_real=$1
+  _hs_hooks=$(CDPATH= cd -- "$(dirname -- "$_hs_real")" && pwd) || return 1
+  HOOK_SANDBOX=$(mktemp -d) || return 1
+  cp -R "$_hs_hooks" "$HOOK_SANDBOX/hooks" || return 1
+  HOOK_SANDBOX_HOST="${_hs_hooks%/hooks}/pending-main-push"
+  HOOK_SANDBOX_HOOK="$HOOK_SANDBOX/hooks/$(basename "$_hs_real")"
+  [ -f "$HOOK_SANDBOX_HOOK" ] || return 1
+}
+
+# hook_sandbox_hostsum → 印出真跡 repo 那份 pending-main-push 的指紋（檔名＋內容）
+# 目錄不存在時印 NODIR——「本來就沒有」跟「空的」要分得出來。
+hook_sandbox_hostsum() {
+  if [ -d "${HOOK_SANDBOX_HOST:-/nonexistent}" ]; then
+    find "$HOOK_SANDBOX_HOST" -type f 2>/dev/null | LC_ALL=C sort | while IFS= read -r _f; do
+      cksum "$_f" 2>/dev/null || printf 'UNREADABLE %s\n' "$_f"
+    done
+  else
+    printf 'NODIR\n'
+  fi
+}
+
+# hook_sandbox_assert <before 的指紋> → 印出兩行結果，全過回 0
+# 🔴 兩件都要驗，只驗前者會養出「把紀錄關掉也算通過」的假綠：
+#   ① repo 那份 pending-main-push 一個位元都沒動（測試沒有偽造待裁決）
+#   ② 沙盒那份真的多了請求檔（**留請求這件事本身還在做**）
+hook_sandbox_assert() {
+  _hs_before=$1
+  # fail-closed：沙盒沒建起來（或變數沒傳到這裡）時，下面兩條會變成「空的比空的」＝假綠。
+  if [ -z "${HOOK_SANDBOX:-}" ] || [ -z "${HOOK_SANDBOX_HOST:-}" ]; then
+    printf '  ❌ %-58s\n' "沙盒變數是空的——這兩條斷言等於沒跑，當失敗處理"
+    HS_PASS=0; HS_FAIL=2; return 1
+  fi
+  _hs_after=$(hook_sandbox_hostsum)
+  _hs_rc=0; HS_PASS=0; HS_FAIL=0
+  if [ "$_hs_before" = "$_hs_after" ]; then
+    printf '  ✅ %-58s\n' "repo 的 pending-main-push 沒被測試碰過"; HS_PASS=$((HS_PASS+1))
+  else
+    printf '  ❌ %-58s\n' "repo 的 pending-main-push 被測試寫髒了"
+    printf '     before/after diff：\n'
+    printf '%s\n' "$_hs_before" > "$HOOK_SANDBOX/.before"
+    printf '%s\n' "$_hs_after" > "$HOOK_SANDBOX/.after"
+    diff "$HOOK_SANDBOX/.before" "$HOOK_SANDBOX/.after" | sed 's/^/     /'
+    _hs_rc=1; HS_FAIL=$((HS_FAIL+1))
+  fi
+  _hs_n=$(find "$HOOK_SANDBOX/pending-main-push" -type f 2>/dev/null | wc -l | tr -d ' ')
+  if [ "${_hs_n:-0}" -gt 0 ]; then
+    printf '  ✅ %-58s（%s 筆）\n' "請求有被留下來，只是留在沙盒裡" "$_hs_n"; HS_PASS=$((HS_PASS+1))
+  else
+    printf '  ❌ %-58s\n' "沙盒裡一筆請求都沒有——留請求的機制可能被關掉了"
+    _hs_rc=1; HS_FAIL=$((HS_FAIL+1))
+  fi
+  return $_hs_rc
+}
+
+hook_sandbox_cleanup() {
+  case "${HOOK_SANDBOX:-}" in
+    /*/*) rm -rf "$HOOK_SANDBOX" ;;   # 只刪 mktemp 給的那種深路徑，不接受空值/根目錄
+  esac
+}
@@ -9,10 +9,21 @@
 #   路徑務必給絕對路徑——測試會 cd 進臨時建立的 A／B repo 再呼叫它，相對路徑
 #   到那時就對不上了（自己撞過一次：exit=127 command not found）。
 set -u
-G="$1"
+REAL="$1"
+
+# 🔴 測沙盒裡的複本，不測真跡：這支閘擋下推 main 時會把請求寫進
+#   `<repo>/pending-main-push/`，而這裡每一條測資都是推 main
+#   ⇒ 直接測真跡，每跑一次就在 ISEP 的工作區偽造幾筆「還沒裁」
+#   （實測留下過 `pending-main-push/unnamed--A.md`——A 是這支自己建的臨時 repo，
+#   inkstone/ISEP#59 comment 4779 第 ① 條）。收尾會驗兩件（見 lib 檔頭）。
+. "$(CDPATH= cd -- "$(dirname -- "$0")" && pwd)/lib/hook-sandbox.sh"
+hook_sandbox "$REAL" || { echo "❌ 沙盒建不起來"; exit 1; }
+G=$HOOK_SANDBOX_HOOK
+HOSTSUM_BEFORE=$(hook_sandbox_hostsum)
+
 STAMP=/tmp/.main-push-ok
 WORK=$(mktemp -d)
-trap 'rm -rf "$WORK"; rm -f "$STAMP"' EXIT
+trap 'rm -rf "$WORK"; rm -f "$STAMP"; hook_sandbox_cleanup' EXIT

 for d in A B; do
  git init -q -b main "$WORK/$d"
@@ -101,5 +112,9 @@ touch -t "$(date -v-16M +%Y%m%d%H%M.%S 2>/dev/null || date -d '-16 minutes' +%Y%
 t "16 分鐘前開的戳記 → 已過期，推 B 應擋" "$A" "cd $B && git push origin HEAD:main" 2
 rm -f "$STAMP"

+echo "── 測試自己不准弄髒工作區（inkstone/ISEP#59）──"
+hook_sandbox_assert "$HOSTSUM_BEFORE"
+pass=$((pass+HS_PASS)); fail=$((fail+HS_FAIL))
+
 echo "────── 通過 $pass ／ 失敗 $fail"
 [ "$fail" = 0 ]
@@ -1,7 +1,17 @@
 #!/usr/bin/env bash
 # 八向實測 main-and-prod-push-guard.sh
 # 放在檔案裡跑，因為測試字串本身會觸發「舊版」那支閘（第五次誤攔）。
-G="$1"   # 要測的 hook 路徑
+REAL="$1"   # 要測的 hook 路徑（真跡）
+
+# 🔴 不要直接測真跡：這支閘擋下推 main 的同時會把請求寫進 `<repo>/pending-main-push/`，
+#   而這裡的測資全是推 main ⇒ 每跑一次就在工作區偽造幾筆「還沒裁」（inkstone/ISEP#59）。
+#   改測沙盒裡的複本，閘照原樣跑，請求寫進暫存區。收尾會驗兩件（見 lib 檔頭）。
+. "$(CDPATH= cd -- "$(dirname -- "$0")" && pwd)/lib/hook-sandbox.sh"
+hook_sandbox "$REAL" || { echo "❌ 沙盒建不起來"; exit 1; }
+G=$HOOK_SANDBOX_HOOK
+trap 'hook_sandbox_cleanup' EXIT
+HOSTSUM_BEFORE=$(hook_sandbox_hostsum)
+
 pass=0; fail=0

 t() {  # t <說明> <指令> <期望 exit>
@@ -25,5 +35,9 @@ t "直接推預設分支" 'git push origin ma'"in" 2
 t "HEAD:預設分支" 'git push origin HEAD:ma'"in" 2
 t "推 master" 'git push -q origin mas'"ter" 2

+echo "── 測試自己不准弄髒工作區（inkstone/ISEP#59）──"
+hook_sandbox_assert "$HOSTSUM_BEFORE"
+pass=$((pass+HS_PASS)); fail=$((fail+HS_FAIL))
+
 echo "────── 通過 $pass ／ 失敗 $fail"
 [ "$fail" = "0" ]
@@ -0,0 +1,16 @@
+# `pending-main-push/` — 被擋下的推 main 請求（本機狀態，不進版控）
+
+`hooks/main-and-prod-push-guard.sh` 擋下一次推 main 的同時，會把那次請求寫成
+`<誰>--<哪個 repo>.md` 丟進這個目錄：repo／分支／逐筆 commit／改了哪些檔，**原始資料**。
+
+> leo 2026-08-12：「**它會問你的意見，所以每個你叫起來的 subagent 都有名字。**」
+> 閘做不到「同步問總管」（不同行程），做得到的是「**當場擋 ＋ 留下是誰要求的**」。
+
+## 規約
+
+- **一份檔案 ＝ 一筆還沒裁的請求。** 總管裁完就刪掉它——留著代表還沒裁。
+- **這個目錄的內容不進版控**（`.gitignore` 有一段寫了為什麼），只有本檔在版控裡。
+- **測試不准在這裡留東西。** 推 main 的測資本來就都會觸發這支閘，
+  所以那幾支測試改成跑 `hooks/tests/lib/hook-sandbox.sh` 建的複本，請求寫進暫存區；
+  每支測完都會驗兩件：這裡沒被碰過、而且沙盒裡**真的有**留下請求
+  （只驗前者的話，「把留紀錄的功能關掉」也會綠——那是假綠）。
@@ -1,43 +0,0 @@
-# 推 main 的請求：未署名
-
- repo：/Users/youlinhsieh/Documents/tech_projects/ISEP
- 分支：fix/push-guard-target-not-substring
- 時間：2026-08-21 01:28:51
-
- 它想跑的指令：
-```
-git push -q origin master
-```
-
-## 還沒推上去的 commit（原始資料，不是轉述）
-
-```
-43c328d Merge pull request 'feat/milestone-must-have-due' (#50) from feat/milestone-must-have-due into main
-bcb736e Merge pull request 'fix/worksheet-dedup-by-content' (#49) from fix/worksheet-dedup-by-content into main
-6772ca6 每個里程碑都要有真的期限，9999 也擋
-1b55512 待驗工作單改用宣稱內容去重，驗過的不再冒出來
-1920d4c Merge pull request '身為 leo，我要雲端 clone 下來就有閘，我才不用先處理憑證' (#48) from fix/b4-real-probe into main
-47ed778 改走「直接複製進薄殼 repo」，並修掉一支會偷跑指令的閘
-03d9782 查了官方文件才發現：setup script 根本讀不到環境變數，而 exit 1 會鎖死 session
-36d8e05 認證驗證加 timeout：掛住比失敗更糟
-1356372 B4 的探針我自己沒撞過，實撞後發現它根本不會擋
-d306158 Merge pull request '身為 leo，我要雲端 env 檔能直接產在桌面，我才不用去翻隱藏目錄' (#46) from feat/cloud-env-outdir into main
-9099c3f make-cloud-env.sh：輸出路徑可指定，且不再對使用者指定的目錄動權限
-5bceb03 v0.3.1
-4e73b8b Merge pull request '身為 leo，我要雲端驗收步驟在閘死掉時真的變紅，我才不會再被三個綠燈騙一次' (#45) from fix/testing-b-section-discriminating into main
-291787e TESTING.md B 段整段換掉——舊版在閘全滅時會回綠
-3a95121 雲端零閘的兩個真因：setup 不自驗＋沒有 release 撐版本號 (#44)
-daa1674 雲端零閘的兩個真因：setup 從不驗證自己＋沒有任何 release 撐版本號
-c48495d Merge pull request 'fix(hooks): sdd-guard.sh 修「解析失敗仍照擋、且訊息洩漏 /nonexistent」' (#42) from fix/sdd-guard-path-resolution into main
-8718658 fix(hooks): sdd-guard.sh 修「解析失敗仍照擋、且訊息洩漏 /nonexistent」（InkStoneCo#22）
-e6d183d Merge pull request '產生雲端 env 設定給 leo 貼（InkStoneCo#14）' (#41) from feat/cloud-env-generator into main
-f855d82 產生雲端 env 設定，不要 leo 自己拼湊（InkStoneCo#14）
-```
-
-## 改了哪些檔
-
-```
-```
-
---
-總管裁完請刪掉這個檔——留著代表「還沒裁」。
@@ -1,23 +0,0 @@
-# 推 main 的請求：未署名
-
- repo：/Users/youlinhsieh/Documents/tech_projects/InkStoneCo
- 分支：main
- 時間：2026-08-21 01:28:23
-
- 它想跑的指令：
-```
-git push -q origin master
-```
-
-## 還沒推上去的 commit（原始資料，不是轉述）
-
-```
-```
-
-## 改了哪些檔
-
-```
-```
-
---
-總管裁完請刪掉這個檔——留著代表「還沒裁」。
@@ -4,7 +4,19 @@
 # 開頭包一層讀取指令）都不准擋；推自己的分支、含子字串但目標不是 main/master
 # 的分支（如 fix/custom-domain-setup）也不准擋。
 cd "$(dirname "$0")/.." || exit 1
-H=hooks/main-and-prod-push-guard.sh
+
+# 🔴 測沙盒裡的複本，不測真跡（inkstone/ISEP#59 comment 4779 第 ① 條）：
+#   這支閘擋下推 main 的同時會把請求寫進 `<repo>/pending-main-push/`，那份檔案的
+#   語意是「有一筆推 main 正在等總管裁」。這裡的測資本來就都是推 main
+#   ⇒ 直接測真跡的話，**每跑一次測試就偽造一筆待裁決**（實測：`unnamed--ISEP.md`
+#   每跑一次被覆寫一次，而它當時還是被追蹤的 ⇒ `git status` 永遠是髒的）。
+#   cwd 仍然留在 repo 根——戳記比對問的是「人站在哪個 repo」，那件事沒有變。
+. hooks/tests/lib/hook-sandbox.sh
+hook_sandbox "$PWD/hooks/main-and-prod-push-guard.sh" || { echo "❌ 沙盒建不起來"; exit 1; }
+trap 'hook_sandbox_cleanup' EXIT
+HOSTSUM_BEFORE=$(hook_sandbox_hostsum)
+H=$HOOK_SANDBOX_HOOK
+
 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")}}" \
@@ -31,6 +43,10 @@ run 0 'grep -n "git push" hooks/main-and-prod-push-guard.sh'
 echo "── 真違規不能因為這次改動而漏擋：戳記過期／戳記綁錯 repo 一樣要擋 ──"
 run 2 'git push gitea HEAD:main'  # 沒有任何戳記檔時

+echo "── 測試自己不准弄髒工作區（inkstone/ISEP#59）──"
+hook_sandbox_assert "$HOSTSUM_BEFORE"
+PASS=$((PASS+HS_PASS)); FAIL=$((FAIL+HS_FAIL))
+
 echo
 echo "$PASS/$((PASS+FAIL)) 通過"
 [ "$FAIL" -eq 0 ]