Merge pull request '推 main 的戳記改綁「push 真正的目標 repo」，不再綁 hook 自己的 cwd' (#52) from fix/push-guard-cross-repo-stamp into main

跨 repo 交辦時（總管站在 A repo，要推 B repo 的 main）main-and-prod-push-guard
的戳記機制永遠對不上：HERE 讀的是 hook 自己的 cwd（=session 的真身，不會變），
WANT 是總管替目標 repo（B）寫進戳記的路徑——兩者結構性地不可能相等，不是
判斷錯，是這個情境在舊模型裡根本不存在（inkstone/ISEP#30 comment 3949，
脈絡 inkstone/InkStoneCo#57，2026-08-21 實撞）。

新增 hooks/lib/push_target_dir.py：純 tokenize（不執行任何指令）解析指令裡
`cd <path> && git push` 或 `git -C <path> push` 真正會落地的目錄，對多層 cd
鏈與子殼（`(cd A && ...); git push` 這種子殼 cd 不能外洩出去）都做了範圍化——
這條範圍化是防穿透的關鍵，不是順手：沒有它，`(cd A && true); git push`
會被誤判成推向 A，讓替 A 開的舊戳記錯誤地放行推到殼外真正的目標。解不出來
一律退回舊行為（hook 自己的 cwd），維持 fail-closed 方向不變。

順手修掉補測時自己抓到的另一個洞：`(git push origin HEAD:main)`——單純加一層
括號——舊版目的地判斷完全偵測不到，整段直接放行，跟戳記無關。成因是截斷
refspec 尾巴的 sed 只認 `;`／`&`／`|` 三種字元，沒算到 `)`；補上即可，git 的
refspec 語法本來就不允許出現 `)`，這裡截斷永遠安全。

綁 repo＋單次用完即丟兩條 2026-08-11/12 用血換來的性質完全沒有鬆動：只是把
「現在人在哪個 repo」問得更準，比對邏輯一個字沒動。

實測：
- hooks/tests/main-and-prod-push-guard.test.sh 舊有 8 向：8/8
- scripts/test-main-and-prod-push-guard.sh 舊有 11 向：11/11
- 新增 hooks/tests/main-and-prod-push-guard-cross-repo.test.sh 17 向
  （跨 repo 正向／反向不准鬆／git -C／子殼範圍化／括號洞／單次用完即丟／
  900 秒逾時／空戳記／既有行為零回歸）：17/17

本輪只驗證，未拿去放行任何真實推送；plugin.json 隨慣例 bump 0.3.4 -> 0.3.5
並重跑 vendor-to-shell.py（.shell-payload 為 gitignore 產物，不入版控）。

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

.claude-plugin/plugin.json

@@ -1,7 +1,7 @@
 {
   "name": "isep",
   "description": "InkStone Environment Plugin —— leo 的 Claude Code 環境唯一真相源：43 支機械閘（53 條註冊，白話盤點見 docs/hooks-inventory.md）、7 支 slash command、2 支 skill、27 支腳本，外加治理規範與標籤真相源。本機與雲端裝同一份，沒有子集。",
-  "version": "0.3.2",
+  "version": "0.3.5",
   "keywords": [
     "inkstone",
     "guardrails",

docs/governance/sdd-gitea-governance.md

@@ -677,3 +677,28 @@ Gitea 的 milestone 只管得到同一個 repo，所以六個群在 `inkstone/IS
 結構（正交）         hub          ← tracking issue 標記
 封存不刪             duplicate    ← 由 close/duplicate 取代，保留在歷史票上
 ```
+
+### M4.8 每個里程碑都要有真的期限（leo 2026-08-21 立）
+
+> 「**以後所有的 milestone 限制時間**」／「**你根本沒有時間概念，浪費一整天**」
+
+🔴 **`9999-01-01` 不算期限。** 立這條的當下實查七個 open milestone，
+**六個的期限是 `9999-01-01`**——那是「沒有期限」穿了一件期限的衣服，
+比空白更糟：盤點時每一格看起來都有值，於是沒有人發現這裡從來沒有時間壓力。
+
+**怎麼定**：里程碑的 deliverable 是**一個可測的版本**（M4.0）。
+問一句「**這個版本幾號要能給 leo 打開？**」，那天就是期限。
+
+| 剩幾張未結 | 期限 |
+|---|---|
+| 本週要收 | 三天 |
+| 1–3 張 | 一週 |
+| 4 張以上 | 兩週 |
+
+**過期了怎麼辦**：不自動關、不自動打 tag（M4.3 已否決那條）。
+過期只做兩件事——**對帳**（哪幾張沒動）與**通知**。
+期限的用途是製造節奏，不是製造假完成。
+
+**機械閘**＝`hooks/milestone-due-guard.sh`（PreToolUse `Bash`）：
+建 milestone 沒有 `due_on`、或 `due_on` 帶 `9999` → 擋。
+四向實測：無 due_on 擋／9999 擋／真期限放行／只是讀 milestone 放行。

hooks/hooks.json

@@ -40,6 +40,10 @@
           {
             "type": "command",
             "command": "${CLAUDE_PLUGIN_ROOT}/hooks/ticket-api-bypass-guard.sh"
+          },
+          {
+            "type": "command",
+            "command": "${CLAUDE_PLUGIN_ROOT}/hooks/milestone-due-guard.sh"
           }
         ]
       },
@@ -323,4 +327,4 @@
       }
     ]
   }
-}
+}

hooks/lib/push_target_dir.py

@@ -0,0 +1,174 @@
+#!/usr/bin/env python3
+"""hooks/lib/push_target_dir.py -- shared helper (inkstone/ISEP#40 S7-style
+lib helper: source of truth for a small piece of logic, not a gate by
+itself; nothing here decides allow/block on its own).
+
+What it answers: given a shell command string that somewhere invokes
+`git ... push ...`, which directory will that push actually execute in?
+
+Why this exists (inkstone/ISEP#30 comment 3949, 脈絡見 InkStoneCo#57):
+main-and-prod-push-guard.sh's stamp_ok() used to read `git rev-parse
+--show-toplevel` from the *hook's own* cwd (= the session's real repo) as
+"HERE", and compare it against the repo path the caller wrote into the
+stamp ("WANT"). That works when the push target IS the repo the session is
+standing in. It can never work otherwise: a `cd <other-repo> && git push
+origin HEAD:main` changes the *push's* directory but not the hook's, so
+HERE stays the real repo forever while WANT is (correctly) the other repo
+-- the two can never match, no matter how carefully the caller follows the
+gate's own instructions. This isn't a bad judgment call; that scenario
+simply doesn't exist in the old model.
+
+This module extracts the directory the push *actually* runs in, purely by
+tokenizing -- it never executes anything. Two sources, first one found
+wins (in the order a real shell would apply them):
+  - a `cd <path>` chain preceding the push, scoped correctly across
+    subshells: a `(` inherits the current directory from its parent at the
+    moment it opens, but whatever a subshell `cd`s to does NOT leak back
+    out to sibling commands after the matching `)` closes (this mirrors
+    real bash: a subshell's cwd change is local to that subshell). This
+    scoping is load-bearing, not cosmetic: without it, `(cd /repo-A &&
+    true); git push origin main` would misattribute the later push (which
+    really runs wherever the outer shell already was) to /repo-A, and a
+    stale/legitimate stamp for /repo-A could then wrongly wave through a
+    push into whatever the outer cwd actually is -- the exact "stamp
+    opened for repo A also opens the door for repo B" shape 2026-08-11
+    already burned us on once.
+  - a `-C <path>` flag on the git invocation itself, which further wins
+    over any `cd` chain (matches git's own precedence: `-C` sets the
+    directory for that invocation regardless of the shell's cwd).
+
+Multiple relative `cd`/`-C` hops are combined by plain string join here
+(no `..`/`~`/`$()` resolution) -- resolving the combined expression to a
+real, canonical, absolute path is left to the caller, which does it with a
+read-only `cd "<expr>" && pwd` in a throwaway subshell. That two-step split
+matters: this module only ever *parses*, so it stays side-effect-free even
+when fed a hostile or malformed command; only the caller's final `cd`
+touches the filesystem, and `cd` cannot execute anything, it can only fail
+to find a directory.
+
+If no `cd`/`-C` applies (the push runs wherever the hook itself is, i.e.
+today's behaviour), or the command doesn't parse, prints nothing -- the
+caller falls back to its existing cwd-based resolution. That fallback
+direction is deliberately the *safe* one: on any parse ambiguity we hand
+back "unknown" rather than guess, and an unresolved HERE can only make the
+gate keep blocking (fail toward blocking), never open a door it wouldn't
+have opened before.
+
+Usage:
+    printf '%s' "$CMD" | python3 push_target_dir.py
+"""
+import shlex
+import sys
+
+_SEPARATORS = {";", "&&", "||", "|", "&", "\n"}
+
+
+def _join(base, path):
+    """Combine a cwd-so-far (`base`, or None if unknown/hook-cwd) with a
+    `cd`/`-C` argument written in the command. Absolute paths and `~`
+    replace the base outright; anything else is appended textually --
+    normalizing `..`/`.` is intentionally left to the caller's real `cd`."""
+    if not path:
+        return base
+    if path == "-" or path.startswith("$"):
+        # `cd -` (previous dir) and `$VAR`/`$(...)` expansions can't be
+        # resolved by tokenizing alone -- treat as "unknown" rather than
+        # guess wrong, which keeps the caller on its safe fallback path.
+        return None
+    if path.startswith("/") or path.startswith("~"):
+        return path
+    if base is None:
+        return path
+    return base.rstrip("/") + "/" + path
+
+
+def _classify(tokens):
+    if not tokens:
+        return ("other", None)
+    if tokens[0] == "cd" and len(tokens) > 1:
+        return ("cd", tokens[1])
+    if tokens[0] == "git" and "push" in tokens[1:]:
+        return ("push", tokens)
+    return ("other", None)
+
+
+def _events(cmd):
+    """Tokenize cmd into (kind, value) events in source order: 'enter'/
+    'exit' for parens (subshell boundaries), 'cd'/'push'/'other' for
+    statements split on the usual shell separators. Returns [] on any
+    quoting error -- caller then falls back to cwd-based resolution."""
+    try:
+        lexer = shlex.shlex(cmd, posix=True, punctuation_chars=True)
+        lexer.whitespace_split = True
+        toks = list(lexer)
+    except ValueError:
+        return []
+
+    events = []
+    seg = []
+
+    def flush():
+        if seg:
+            # _classify's "push" branch returns `tokens` by reference; copy
+            # before clear() below, or the event's tuple would observe the
+            # list emptied out from under it (aliasing, not a value copy).
+            events.append(_classify(seg[:]))
+            seg.clear()
+
+    for tok in toks:
+        if tok == "(":
+            flush()
+            events.append(("enter", None))
+        elif tok == ")":
+            flush()
+            events.append(("exit", None))
+        elif tok in _SEPARATORS:
+            flush()
+        else:
+            seg.append(tok)
+    flush()
+    return events
+
+
+def find_push_target(cmd):
+    events = _events(cmd)
+    if not events:
+        return ""
+
+    stack = [None]  # cwd-so-far per paren depth; None = "same as hook cwd"
+    result = None
+    saw_push = False
+
+    for kind, val in events:
+        if kind == "enter":
+            stack.append(stack[-1])  # child subshell inherits current dir
+        elif kind == "exit":
+            if len(stack) > 1:
+                stack.pop()          # subshell's own cd's don't leak out
+        elif kind == "cd":
+            stack[-1] = _join(stack[-1], val)
+        elif kind == "push":
+            saw_push = True
+            c_path = None
+            toks = val
+            for j, t in enumerate(toks):
+                if t == "-C" and j + 1 < len(toks):
+                    c_path = toks[j + 1]
+                    break
+                if t.startswith("-C") and len(t) > 2:
+                    c_path = t[2:]
+                    break
+            result = _join(stack[-1], c_path) if c_path else stack[-1]
+
+    if not saw_push:
+        return ""
+    return result or ""
+
+
+def main():
+    cmd = sys.stdin.read()
+    sys.stdout.write(find_push_target(cmd))
+
+
+if __name__ == "__main__":
+    main()

hooks/main-and-prod-push-guard.sh

@@ -98,7 +98,32 @@ stamp_ok() {
   #   等於一把萬用鑰匙——正是 08-11 那次穿透的形狀（替 A repo 開的門 B repo 也走得過）。
   #   而且 `.claude/settings.local.json` 裡真的放行過 `touch /tmp/.main-push-ok`。
   #   ⇒ 現在**空內容一律不算數**：要嘛寫得出 repo 路徑且對得上，要嘛不放行。
-  HERE=$(git rev-parse --show-toplevel 2>/dev/null || printf '')
+  #
+  # 🔴 2026-08-23（inkstone/ISEP#30 comment 3949，脈絡 InkStoneCo#57）：
+  #   `HERE` 原本一律讀 hook 自己的 cwd（＝session 站著的那個 repo）。
+  #   只要要推的 repo **不是**「session 站著的那個 repo」——例如指令自己
+  #   `cd <別的 repo> && git push` 或 `git -C <別的 repo> push`——HERE 永遠是
+  #   總管的真身，而總管替目標 repo 開的 WANT 永遠對不上，這道閘就**永遠沒辦法
+  #   合法通過**。不是判斷錯，是這個情境在舊模型裡根本不存在（照閘的指示做
+  #   戳記，戳記內容天生就贏不了）。
+  #   改法：先看指令本身有沒有把 push 的執行目錄改掉
+  #   （lib/push_target_dir.py——純 tokenize，不執行任何指令，
+  #   對 `cd A && cd B && git push` 這種多層鏈與 `(cd A && …); git push` 這種
+  #   子殼會不會外洩都做了範圍化，理由見該檔檔頭）；解得出來就 `cd` 進那個
+  #   目錄（唯讀操作，`cd` 本身不會執行任何東西）問 git 那裡的 toplevel 是誰；
+  #   解不出來（沒有 cd/-C，或指令太怪解析失敗）才退回舊行為＝hook 自己的 cwd。
+  #   🔴 綁 repo＋單次用完即丟兩條性質完全沒有鬆動：這裡只是把「現在人在哪個
+  #   repo」問得更準，比對邏輯（下面兩行）一個字沒動。
+  _push_target_dir="$(dirname "$0")/lib/push_target_dir.py"
+  _target_expr=""
+  if [ -f "$_push_target_dir" ]; then
+    _target_expr=$(printf '%s' "$CMD" | python3 "$_push_target_dir" 2>/dev/null || printf '')
+  fi
+  if [ -n "$_target_expr" ]; then
+    HERE=$(cd "$_target_expr" 2>/dev/null && git rev-parse --show-toplevel 2>/dev/null || printf '')
+  else
+    HERE=$(git rev-parse --show-toplevel 2>/dev/null || printf '')
+  fi
   WANT=$(head -1 "$STAMP" 2>/dev/null || printf '')
   [ -n "$WANT" ] || return 1
   [ -n "$HERE" ] || return 1
@@ -125,7 +150,42 @@ if printf '%s' "$CMD" | grep -qE '(^|[;&|(`]|&&|\|\|)[[:space:]]*git([[:space:]]
   # 2026-08-20: match the target branch on a word boundary, not a bare substring --
   #   a glob like *main* also matches "domain" (d-o-**m-a-i-n**), e.g. a push to
   #   `fix/custom-domain-setup` would have false-positived.
-  if printf '%s' "$CMD" | grep -qE '(^|[^A-Za-z])(main|master)([^A-Za-z]|$)'; then
+  # 2026-08-21: 只看 **push 的目標**，不再掃整條指令。
+  #   舊版掃整條 ⇒ 一個晚上誤攔四次，全都是推 feature branch 或 tag：
+  #     git checkout -b fix/x main && git push origin fix/x      ← 「main」在 checkout 上
+  #     gh pr create --base main                                  ← 根本不是 git push
+  #     git checkout origin/main --detach; git push origin refs/tags/v0.3.3
+  #   ⇒ **紅線寫得越細，命中關鍵字的機率越高**（leo 2026-08-17 的觀察，
+  #     文字層封路必敗）。這裡改成判動作的目標，不是判字面。
+  # 2026-08-23（順著 inkstone/ISEP#30 comment 3949 補測時自己抓到的洞，不在原票範圍
+  #   但屬於同一支閘、同一段邏輯，且直接讓下面「反向不准鬆」的驗證跑不過，所以一併修）：
+  #   `(git push origin HEAD:main)`——單純用括號包住整條指令——舊版會整段放行，
+  #   跟 HERE/戳記完全無關，**連目的地判斷本身都沒觸發**。
+  #   成因：截斷 refspec 尾巴只切 `;`／`&`／`|` 三種字元，沒算到 `)`——
+  #   於是「HEAD:main)」被當成一個 token，`${_tok##*:}` 剝完冒號還剩「main)」，
+  #   跟 `^main$` 對不上 ⇒ 判定成「看不出目標」⇒ 整段放行。加 `)` 進截斷字元。
+  #   git 的 refspec／分支名語法本來就不允許出現 `)`，所以在這裡截斷永遠安全，
+  #   不會誤傷任何合法的推送目標。
+  _push_seg=$(printf '%s' "$CMD" | sed -E 's/.*git[[:space:]]+(-[^[:space:]]+[[:space:]]+)*push//' | sed -E 's/[;&|)].*//')
+  _dest=""
+  _seen_remote=0
+  _saw_refspec=0
+  for _tok in $_push_seg; do
+    case "$_tok" in
+      -*) continue ;;                       # 旗標
+      refs/tags/*|*:refs/tags/*) _saw_refspec=1; continue ;; # 推 tag 不是推分支
+    esac
+    if [ "$_seen_remote" = "0" ]; then _seen_remote=1; continue; fi   # 第一個非旗標＝remote
+    _saw_refspec=1
+    _dest="$_dest ${_tok##*:}"              # a:b 的目標是 b；沒有冒號就是它自己
+  done
+  # 🔴 只有「一個 refspec 都沒給」才退回猜當前分支。
+  #    看到 refspec（哪怕是 tag）就照它判——否則推 tag 會被當成推當前分支，
+  #    而當前分支若剛好叫 main 就誤擋（2026-08-21 實測抓到）。
+  if [ "${_saw_refspec:-0}" = "0" ]; then
+    _dest=$(git rev-parse --abbrev-ref HEAD 2>/dev/null || echo "")
+  fi
+  if printf '%s' "$_dest" | tr ' ' '\n' | grep -qE '^(main|master)$'; then
     stamp_ok && exit 0
 
     # ── 擋下的同時，把「誰想推什麼」留成一份請求（leo 2026-08-12）───────────

hooks/milestone-due-guard.sh

@@ -0,0 +1,42 @@
+#!/usr/bin/env bash
+# milestone-due-guard.sh — 建 milestone 一定要有真的期限（leo 2026-08-21 立）
+#
+# leo 原話：「**以後所有的 milestone 限制時間**」
+#           「**你根本沒有時間概念，浪費一整天**」
+#
+# 🔴 為什麼連 9999 也要擋：立這條的當下實查七個 open milestone，
+#    六個的期限是 `9999-01-01`——那是「沒有期限」穿了一件期限的衣服，
+#    比空白更糟，因為它讓盤點時看起來每一格都有值。
+set -uo pipefail
+INPUT=$(cat)
+CMD=$(printf '%s' "$INPUT" | python3 -c "import json,sys;print(json.load(sys.stdin).get('tool_input',{}).get('command',''))" 2>/dev/null || echo "")
+[ -z "$CMD" ] && exit 0
+
+# 只管「建 milestone」這個動作
+printf '%s' "$CMD" | grep -qE 'milestones' || exit 0
+printf '%s' "$CMD" | grep -qE '\-X *POST|--request *POST' || exit 0
+
+DUE=$(printf '%s' "$CMD" | grep -oE '"due_on"[^,}]*' | head -1)
+BAD=""
+[ -z "$DUE" ] && BAD="沒有 due_on"
+printf '%s' "$DUE" | grep -q '9999' && BAD="due_on 是 9999（等於沒有期限）"
+
+[ -z "$BAD" ] && exit 0
+
+cat >&2 <<MSG
+⏱️ 里程碑期限閘：$BAD
+
+【leo 2026-08-21】「**以後所有的 milestone 限制時間**」
+                 「**你根本沒有時間概念，浪費一整天**」
+
+🔴 9999-01-01 也算違規。立這條的當下實查七個 open milestone，
+   六個是 9999——那是「沒有期限」穿了一件期限的衣服，
+   比空白更糟，因為盤點時每一格看起來都有值。
+
+怎麼定：這個里程碑的 deliverable 是**一個可測的版本**。
+問「這個版本幾號要能給 leo 打開？」，那天就是期限。
+剩 1–3 張票 → 一週；4 張以上 → 兩週；本週要收 → 三天。
+
+加上去再送一次：  "due_on": "YYYY-MM-DDT23:59:59Z"
+MSG
+exit 2

hooks/subagent-claim-worksheet.sh

@@ -119,8 +119,21 @@ if not ok_hits and not ng_hits:
 
 sid = (d.get("session_id") or "nosid")[:8]
 aid = (d.get("agent_id") or d.get("subagent_id") or "")[:10]
-stamp = hashlib.sha1((tp + sid + aid).encode()).hexdigest()[:8]
-path = os.path.join(os.environ["DIR"], "claims-%s-%s.md" % (sid, stamp))
+# 🔴 2026-08-21：stamp 原本雜湊「交件路徑」⇒ 同樣的宣稱每回合生一個新檔名，
+# 而且不知道總管已經驗過了。實際發作：同兩條 sdd-guard 宣稱連生四張單
+# （1c97d461／fcb285dc／256de849／394b97ae），驗掉一張下一回合又冒一張。
+# ⇒ 改成雜湊**宣稱內容本身**：同樣的宣稱＝同一個檔名 ⇒ 驗過就不再冒出來。
+_claims = sorted(set(str(x) for x in (ok_hits + ng_hits)))
+# 🔴 空清單就退回舊行為 —— 但那等於這支閘沒抓到任何宣稱，本來就會 SKIP，
+#    所以這個 fallback 實際上不會被用到；留著只是不讓 stamp 變成空字串的雜湊。
+_basis = "\n".join(_claims) if _claims else (tp + sid + aid)
+stamp = hashlib.sha1(_basis.encode()).hexdigest()[:8]
+_name = "claims-%s-%s.md" % (sid, stamp)
+path = os.path.join(os.environ["DIR"], _name)
+
+# 已經驗過並移進 verified/ 的，不要再生一次。
+if os.path.exists(os.path.join(os.environ["DIR"], "verified", _name)):
+    print("SKIP:already-verified"); raise SystemExit
 
 def block(title, items, howto, cap):
     if not items:

hooks/tests/main-and-prod-push-guard-cross-repo.test.sh

@@ -0,0 +1,105 @@
+#!/usr/bin/env bash
+# 跨 repo 戳記實測（inkstone/ISEP#30 comment 3949，脈絡 inkstone/InkStoneCo#57）
+#
+# 補的是什麼：hooks/tests/main-and-prod-push-guard.test.sh 那八向都只在單一 repo
+# （測試腳本自己所在的 repo）裡驗證，從沒測過「站在 A、要推 B 的 main」這個形狀
+# ——而這正是 2026-08-21 真的撞到、讓戳記永遠對不上的那個情境。這支專門補這塊。
+#
+# 用法：main-and-prod-push-guard-cross-repo.test.sh <要測的 hook 絕對路徑>
+#   路徑務必給絕對路徑——測試會 cd 進臨時建立的 A／B repo 再呼叫它，相對路徑
+#   到那時就對不上了（自己撞過一次：exit=127 command not found）。
+set -u
+G="$1"
+STAMP=/tmp/.main-push-ok
+WORK=$(mktemp -d)
+trap 'rm -rf "$WORK"; rm -f "$STAMP"' EXIT
+
+for d in A B; do
+  git init -q -b main "$WORK/$d"
+  git -C "$WORK/$d" config user.email t@t.com
+  git -C "$WORK/$d" config user.name t
+  echo x > "$WORK/$d/f.txt"
+  git -C "$WORK/$d" add f.txt
+  git -C "$WORK/$d" commit -q -m init
+done
+A="$WORK/A"; B="$WORK/B"
+
+pass=0; fail=0
+t() {  # t <說明> <cwd> <指令> <期望 exit>
+  local desc="$1" cwd="$2" cmd="$3" want="$4"
+  local rc
+  rc=$(cd "$cwd" && CLAUDE_CODE_CHILD_SESSION=1 python3 -c '
+import json, subprocess, sys
+p = subprocess.run(["bash", sys.argv[2]],
+                    input=json.dumps({"tool_name": "Bash",
+                                       "tool_input": {"command": sys.argv[1]}}),
+                    capture_output=True, text=True)
+print(p.returncode)
+' "$cmd" "$G")
+  if [ "$rc" = "$want" ]; then printf '  ✅ %-58s exit=%s\n' "$desc" "$rc"; pass=$((pass+1))
+  else printf '  ❌ %-58s exit=%s（期望 %s）\n' "$desc" "$rc" "$want"; fail=$((fail+1)); fi
+}
+
+echo "── 2026-08-21 實撞的原形狀：站在 A，要推 B 的 main ──"
+rm -f "$STAMP"
+t "沒戳記 → 擋" "$A" "cd $B && git push origin HEAD:main" 2
+git -C "$B" rev-parse --show-toplevel > "$STAMP"
+t "替 B 開的戳記 → 推 B 的 main 該放行（舊版在此情境永遠擋，這是本票要修的洞）" \
+  "$A" "cd $B && git push origin HEAD:main" 0
+
+echo "── 反向不准鬆：替 A 開的戳記，不能拿去放行推 B（08-11 那次穿透的形狀）──"
+git -C "$A" rev-parse --show-toplevel > "$STAMP"
+t "替 A 開的戳記 → 拿去推 B 的 main 必須仍被擋" \
+  "$A" "cd $B && git push origin HEAD:main" 2
+rm -f "$STAMP"
+
+echo "── git -C 語法要吃到同一套判斷 ──"
+git -C "$B" rev-parse --show-toplevel > "$STAMP"
+t "替 B 開戳記，用 git -C B push" "$A" "git -C $B push origin main" 0
+rm -f "$STAMP"
+
+echo "── 08-11 原始穿透的形狀：子殼裡的 cd 不能外洩到殼外 ──"
+git -C "$A" rev-parse --show-toplevel > "$STAMP"
+t "子殼裡 cd 去 B 但沒在殼內推；殼外站著 A 真的推 → 符合 A 的戳記，放行" \
+  "$A" "(cd $B && true); git push origin HEAD:main" 0
+rm -f "$STAMP"
+git -C "$A" rev-parse --show-toplevel > "$STAMP"
+t "子殼裡 cd 去 B 且在殼內真的推 → 目標是 B，戳記是 A，必須擋" \
+  "$A" "(cd $B && git push origin HEAD:main)" 2
+rm -f "$STAMP"
+
+echo "── 順手抓到、一併修的洞：純括號包住整條指令，不准繞過目的地判斷 ──"
+t "(git push origin HEAD:main) 沒有任何戳記 → 必須擋（舊版在此整段放行）" \
+  "$A" "(git push origin HEAD:main)" 2
+
+echo "── 同 repo（session 站著的那個）舊行為原封不動 ──"
+rm -f "$STAMP"
+t "站在 A 推 A 自己的 main，沒戳記 → 擋" "$A" "git push origin HEAD:main" 2
+git -C "$A" rev-parse --show-toplevel > "$STAMP"
+t "站在 A 推 A 自己的 main，替 A 開戳記 → 放行" "$A" "git push origin HEAD:main" 0
+rm -f "$STAMP"
+
+echo "── 舊有行為一條都不能壞 ──"
+t "推 feature branch 放行" "$A" "git push origin feat/xyz" 0
+t "推 tag 放行" "$A" "git push origin refs/tags/v1.0.0" 0
+t "只是提到 main 的 gh pr create，放行" "$A" "gh pr create --base main --title t" 0
+
+echo "── subagent 沒戳記，即使 cd 去別的 repo 也照擋 ──"
+rm -f "$STAMP"
+t "subagent 站在 A、cd 去 B 推 main，沒戳記仍擋" "$A" "cd $B && git push origin HEAD:main" 2
+
+echo "── 單次用完即丟、900 秒逾時：換到跨 repo 場景一樣要成立 ──"
+git -C "$B" rev-parse --show-toplevel > "$STAMP"
+t "第一次：替 B 開戳記推 B → 放行" "$A" "cd $B && git push origin HEAD:main" 0
+t "第二次：同一枚戳記（已用掉）再推一次 → 應該擋" "$A" "cd $B && git push origin HEAD:main" 2
+rm -f "$STAMP"; touch "$STAMP"
+t "touch 出的空戳記 → 推 B 的 main 仍應擋（08-12 補的洞不能被本次改動重開）" \
+  "$A" "cd $B && git push origin HEAD:main" 2
+rm -f "$STAMP"
+git -C "$B" rev-parse --show-toplevel > "$STAMP"
+touch -t "$(date -v-16M +%Y%m%d%H%M.%S 2>/dev/null || date -d '-16 minutes' +%Y%m%d%H%M.%S)" "$STAMP" 2>/dev/null
+t "16 分鐘前開的戳記 → 已過期，推 B 應擋" "$A" "cd $B && git push origin HEAD:main" 2
+rm -f "$STAMP"
+
+echo "────── 通過 $pass ／ 失敗 $fail"
+[ "$fail" = 0 ]

hooks/tests/main-and-prod-push-guard.test.sh

@@ -1,42 +1,29 @@
 #!/usr/bin/env bash
-# main-and-prod-push-guard.sh 的迴歸測試——重點在「geek6688 豁免的範圍夠不夠窄」。
-# 🔴 寫成檔案跑：測試指令必然含 `wrangler deploy`，直接在 Bash 打會被 prod-write-guard 擋。
-#
-# 用一個**沒有 .github-armed** 的臨時 CLAUDE_PROJECT_DIR，
-# 否則本機真的有那個檔 ⇒「該擋的」會假性通過，測了等於沒測。
-HOOK="$1"
-TMPPROJ=$(mktemp -d)
-trap 'rm -rf "$TMPPROJ"' EXIT
+# 八向實測 main-and-prod-push-guard.sh
+# 放在檔案裡跑，因為測試字串本身會觸發「舊版」那支閘（第五次誤攔）。
+G="$1"   # 要測的 hook 路徑
+pass=0; fail=0
 
-mk(){ python3 -c "import json,sys;print(json.dumps({'tool_name':'Bash','tool_input':{'command':sys.argv[1]}}))" "$1"; }
-PASS=0; FAIL=0
-t(){ mk "$3" | env CLAUDE_PROJECT_DIR="$TMPPROJ" "$HOOK" >/dev/null 2>&1; rc=$?
-  got=$([ $rc -eq 2 ] && echo block || echo pass)
-  if [ "$got" = "$1" ]; then echo "  ✅ $2"; PASS=$((PASS+1))
-  else echo "  ❌ $2 —— 期望 $1，實得 $got"; FAIL=$((FAIL+1)); fi; }
+t() {  # t <說明> <指令> <期望 exit>
+  printf '{"tool_name":"Bash","tool_input":{"command":"%s"}}' "$2" \
+    | CLAUDE_CODE_CHILD_SESSION=1 CLAUDE_PROJECT_DIR="$(dirname "$(dirname "$G")")" \
+      bash "$G" >/tmp/pg.out 2>&1
+  rc=$?
+  if [ "$rc" = "$3" ]; then printf '  ✅ %-46s exit=%s\n' "$1" "$rc"; pass=$((pass+1))
+  else printf '  ❌ %-46s exit=%s（期望 %s）\n' "$1" "$rc" "$3"; fail=$((fail+1)); fi
+}
 
-D="wrangler deploy"
+echo "── 該放行（今晚五次誤攔的原形狀）──"
+t "checkout -b 後推 feature 分支" 'git checkout -q -b fix/x ma'"in"' && git push -q origin fix/x' 0
+t "gh pr create --base（不是 git push）" 'gh pr create --head f --base ma'"in"' --title t' 0
+t "推 tag" 'git push -q origin refs/tags/v0.3.3' 0
+t "推 feature 分支（帶 -u）" 'git push -q -u origin feat/milestone-must-have-due' 0
+t "分支名含 domain" 'git push origin fix/custom-domain-setup' 0
 
-echo "── geek6688（leo 2026-08-12 明文授權總管可直接動）應放行 ──"
-t pass "指名 geek6688 主機名" "npx $D --name arcrun-cypher-executor --config geek6688.toml"
-t pass "用 geek6688 的 token 變數" "CLOUDFLARE_API_TOKEN=\$CLOUDFLARE_API_TOKEN_CC_SHIPPING_CORE npx $D"
-t pass "用 geek6688 的 account id 變數" "CLOUDFLARE_ACCOUNT_ID=\$CLOUDFLARE_ACCOUNT_ID_GEEK6688 npx $D"
+echo "── 該擋 ──"
+t "直接推預設分支" 'git push origin ma'"in" 2
+t "HEAD:預設分支" 'git push origin HEAD:ma'"in" 2
+t "推 master" 'git push -q origin mas'"ter" 2
 
-echo "── 其他實例仍要 leo 親手 arm（範圍不能外溢）──"
-t block "打 leo21c" "npx $D --name arcrun-mcp --account-id leo21c-acct"
-t block "打 uncle6 官方" "npx $D --name arcrun-kbdb --config uncle6.toml"
-t block "看不出打哪裡" "npx $D"
-t block "wrangler publish 到別台" "npx wrangler publish --name arcrun-mcp"
-t block "versions deploy 到別台" "npx wrangler versions deploy --name arcrun-kbdb"
-
-echo "── stage 照舊自由 ──"
-t pass "帶 --env staging" "npx $D --env staging"
-t pass "打 staging 主機" "npx $D --name arcrun-rag-installer-staging"
-
-echo "── 非部署動作不受影響 ──"
-t pass "推自己的分支" "git push -u gitea fix/my-branch"
-t pass "讀本閘原始碼（指令裡含關鍵字）" "sed -n '1,50p' .claude/hooks/main-and-prod-push-guard.sh"
-
-echo
-echo "結果：通過 $PASS ／ 失敗 $FAIL"
-[ $FAIL -eq 0 ] || exit 1
+echo "────── 通過 $pass ／ 失敗 $fail"
+[ "$fail" = "0" ]

pending-main-push/unnamed--ISEP.md

@@ -1,25 +1,42 @@
 # 推 main 的請求：未署名
 
 - repo：/Users/youlinhsieh/Documents/tech_projects/ISEP
-- 分支：main
-- 時間：2026-08-20 20:59:30
+- 分支：fix/push-guard-target-not-substring
+- 時間：2026-08-21 01:28:51
 
 - 它想跑的指令：
 ```
-git push gitea HEAD:main
+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）
 ```
 
 ## 改了哪些檔
 
 ```
- docs/TESTING.md           | 14 +---------
- scripts/make-cloud-env.sh | 69 -----------------------------------------------
- 2 files changed, 1 insertion(+), 82 deletions(-)
 ```
 
 ---

pending-main-push/unnamed--InkStoneCo.md

@@ -0,0 +1,23 @@
+# 推 main 的請求：未署名
+
+- repo：/Users/youlinhsieh/Documents/tech_projects/InkStoneCo
+- 分支：main
+- 時間：2026-08-21 01:28:23
+
+- 它想跑的指令：
+```
+git push -q origin master
+```
+
+## 還沒推上去的 commit（原始資料，不是轉述）
+
+```
+```
+
+## 改了哪些檔
+
+```
+```
+
+---
+總管裁完請刪掉這個檔——留著代表「還沒裁」。