修好一次性戳記恆擋:InkStoneCo 專案版 hooks 與 plugin 雙掛載

inkstone/ISEP#122:leo 三次要部署被 prod-write-guard.sh 恆擋,蓋了戳記
也放不了行。根因不在 prod-write-guard.sh 本身,而在
InkStoneCo/.claude/settings.json 還登記著一份 2026-08-20 立 ISEP plugin
之前的舊 hook,跟 plugin 自己的 hooks.json 同時掛在同一個事件上——每個
PreToolUse 都跑了兩次,一次性戳記被第一份消耗掉,第二份永遠看到空戳記。

實查(在這台機器的樹上實數):InkStoneCo 專案版登記著 38 支 hook,
34 支跟 plugin 完全同名同用途(純殘骸)、3 支是已退役機制
(claim-verify-police.sh/subagent-claim-worksheet.sh/sdd-guard.sh,
ISEP#60/#91 早已裁定退役但專案版沒跟著退)、1 支(kv-write-guard.sh)
是專案版有、plugin 當時沒有的真閘。

這次:
- kv-write-guard.sh 原樣搬進本 repo(B 組,PreToolUse Write|Edit|MultiEdit),
  補齊那個真的缺口,附 8 條迴歸測試
- 新增 duplicate-hook-registration-guard.sh(E 組,SessionStart):
  往後任何專案的 settings.json 又跟 plugin 長出同名登記,開場就點名,
  不必再靠「戳記莫名其妙失效」才發現,附 8 條迴歸測試
- 兩支新閘:61→63 支、84→86 條註冊(在自己的樹上實數,不是加減推)

InkStoneCo 那邊的清理(37 支殘骸從 settings.json 與 .claude/hooks/ 移除,
kv-write-guard.sh 保留至本次升版並 /plugin update 之後)另外commit,
不在本 repo 範圍內。

驗證:重演過修好前的雙掛載(蓋一次戳記→專案版先吃掉→plugin 版恆擋,
EXIT=2),也驗過修好後單次執行放行(EXIT=0)與不蓋戳記仍被擋(EXIT=2)。

待總管定版。

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
This commit is contained in:
2026-09-02 00:24:32 +08:00
parent 35cc56dfc5
commit ee085c1854
7 changed files with 434 additions and 2 deletions
+68
View File
@@ -0,0 +1,68 @@
#!/usr/bin/env bash
# duplicate-hook-registration-guard.sh — SessionStart:這個專案自己的 .claude/settings.json
# 是不是還在登記一支跟 ISEP plugin 同名的舊 hookinkstone/ISEP#122
#
# 為什麼存在(2026-09-01 實撞):
# 總管三次要部署 uncle6.me,三次被 prod-write-guard.sh 擋。leo 問「你沒有權限?」
# ——不是沒權限,是 InkStoneCo/.claude/settings.json 裡還留著 ISEP 立 plugin 之前
# 的舊登記,跟 plugin 自己的 hooks.json 同時掛在同一個事件上,於是每個 PreToolUse
# 都跑了**兩次**:一次由專案版、一次由 plugin。多數閘只是白跑一次沒感覺,
# 但**帶「蓋一次戳記只放行一次」語意的閘會被第一份吃光**——第二份永遠看到空的戳記,
# 於是恆擋。查證見 ISEP#122:37 支專案版登記裡,34 支跟 plugin 完全同名同用途、
# 3 支是已經退役的機制(`claim-verify-police.sh``subagent-claim-worksheet.sh`
# `sdd-guard.sh`),全部清掉;剩下 1 支(`kv-write-guard.sh`)是專案版有、plugin
# 當時沒有的真閘,已原樣搬進本 repo(同一輪 commit)。
#
# 🔑 這支 hook 的用途不是清除,是**讓「又長出重複掛載」這件事有人立刻知道**。
# 上一次它能存活 13 天沒被發現,就是因為除了「戳記莫名其妙失效」以外沒有任何
# 訊號會指出來——一支天天在跑的閘,跟一支不存在的閘,行為長得一模一樣。
#
# 三條設計約束(跟 skill-deploy-drift-guard.sh 同一個形狀):
# 1. 沒事不出聲——乾淨時完全靜音。
# 2. 從不擋人——SessionStart 一律 exit 0,這是通知,不是閘。
# 3. 判準是「登記在不在」,不是關鍵字——比對的是 hooks.jsonsettings.json
# 裡實際出現的檔名,不是靠猜或列黑名單(isep-hand 紅線:不准用關鍵字黑名單)。
set -uo pipefail
ROOT="${CLAUDE_PLUGIN_ROOT:-}"
[ -n "$ROOT" ] || exit 0
[ -f "$ROOT/hooks/hooks.json" ] || exit 0
PROJ="${CLAUDE_PROJECT_DIR:-}"
[ -n "$PROJ" ] || exit 0
SETTINGS="$PROJ/.claude/settings.json"
[ -f "$SETTINGS" ] || exit 0
# ISEP plugin 自己「真的註冊了」的 hook 檔名(不是目錄列表——目錄裡可能有沒掛的樣板)
PLUGIN_NAMES="$(grep -oE 'hooks/[a-zA-Z0-9._-]+\.sh' "$ROOT/hooks/hooks.json" 2>/dev/null \
| sed 's|.*/||' | sort -u)"
[ -n "$PLUGIN_NAMES" ] || exit 0
# 這個專案自己的 settings.json 裡,指向 .claude/hooks/ 底下的登記
PROJECT_NAMES="$(grep -oE '\.claude/hooks/[a-zA-Z0-9_.-]+\.sh' "$SETTINGS" 2>/dev/null \
| sed 's|.*/||' | sort -u)"
[ -n "$PROJECT_NAMES" ] || exit 0
DUPES="$(comm -12 <(printf '%s\n' "$PLUGIN_NAMES") <(printf '%s\n' "$PROJECT_NAMES") 2>/dev/null || true)"
[ -n "$DUPES" ] || exit 0
N=$(printf '%s\n' "$DUPES" | grep -c .)
LIST="$(printf '%s\n' "$DUPES" | sed 's/^/ • /')"
cat <<EOF
🔁 重複掛載警報:\`$SETTINGS\` 還登記著 ${N} 支跟 ISEP plugin 同名的舊 hook。
$LIST
⇒ 每個對應的動作都會**跑兩次**——一次由這份專案版複本、一次由 plugin。
多數閘只是白跑一次;**帶「蓋一次戳記只放行一次」語意的閘會被第一份吃光**,
第二份永遠看到空戳記,於是恆擋——這正是 inkstone/ISEP#122 那次的形狀。
出路(二選一,不是「留著沒關係」):
① 這幾支 plugin 已經覆蓋 → 從 \`$SETTINGS\` 的 hooks 區段刪掉這幾條登記。
② 專案版身上還有 plugin 沒有的邏輯 → 先把那段邏輯併進 ISEP(開票、比照
kv-write-guard.sh 那次的搬法),plugin 升版裝上之後再刪專案版登記。
**不要讓兩份同時掛著**——那正是這支閘存在的理由。
EOF
exit 0
+8
View File
@@ -126,6 +126,10 @@
{
"type": "command",
"command": "${CLAUDE_PLUGIN_ROOT}/hooks/wiki-size-guard.sh"
},
{
"type": "command",
"command": "${CLAUDE_PLUGIN_ROOT}/hooks/kv-write-guard.sh"
}
]
},
@@ -288,6 +292,10 @@
{
"type": "command",
"command": "${CLAUDE_PLUGIN_ROOT}/hooks/wiki-size-guard.sh"
},
{
"type": "command",
"command": "${CLAUDE_PLUGIN_ROOT}/hooks/duplicate-hook-registration-guard.sh"
}
]
}
+115
View File
@@ -0,0 +1,115 @@
#!/bin/bash
# PreToolUse hookWrite|Edit|MultiEdit)— 長效資料不准寫進 KV,一律走 KBDB API
#
# 【portage 記錄,inkstone/ISEP#122】本檔 2026-08-25 立於
# `InkStoneCo/.claude/hooks/kv-write-guard.sh`(那時 ISEP 還沒吸收它),
# 2026-09-02 原樣搬進 ISEP——它是那次盤點揪出來的**唯一一支**「專案版有、
# plugin 沒有」的真閘(另外 3 支同名殘骸是已退役機制,直接刪掉,不搬)。
# 搬完之後 `InkStoneCo/.claude/hooks/kv-write-guard.sh` 就是廢棄複本,
# 待這裡升版、`/plugin update` 裝上之後即可從專案版與 settings.json 一併移除。
#
# 【leo 2026-08-25 立】原話(三句,一句比一句尖):
# 「已經禁止寫入 KV 了,這是太貴的資源,應該都去寫入 KBDB,到底寫入 KV 做什麼?」
# 「上次刪掉一堆東西,現在又寫入,**你沒有規範嗎**」
# 「**我強制禁止寫 SQL,要用 KBDB API,你就讓它繞過寫 KV 代替?**」
#
# ── 為什麼存在(2026-08-25 實查,這是本閘的正身)─────────────────────────
# 規則早就在:`system-dev/wiki/decisions-summary.md:133`
# 「**KV =暫存(cache / transient),不是長期真相源。**」
# 而且打過一場「KV 退休戰」(同檔 254 行,SUBMISSIONS_KV 併入那一役)。
#
# 🔴 **但 `.claude/hooks/` 底下跟 KV 有關的閘:0 支。**
# ⇒ 規則被讀到了,卻沒有任何機制驗證有沒有照做——與 2026-08-25 一整天挖出來的
# 四層 migration 缺陷、以及 08-10 抓到的 history-firstKBDB-firststage-first
# **完全同一個形狀**。
#
# 🔴 **更糟的是 leo 指出的因果**(總管用 git 查證屬實):
# 禁 SQL 的牆 2026-08-07
# app-system.ts 誕生 2026-08-24 ← 17 天之後,**從第一行就在寫 KV**
# 而 `kbdbFetch()` 裡的 KV 字樣是 **0** ⇒ 走 KBDB API 根本不碰 KV
# ⇒ 那些 KV 寫入**每一處都是繞過**,沒有一處經過知識庫。
# **牆立起來了,水從旁邊流走了。**
#
# ── 判準(封動作,不封措辭)──────────────────────────────────────────
# 新增一行「往 KV 寫入」的程式碼 ⇒ 擋一次,要求說明它為什麼不是長效資料
# 只是讀(.get.list ⇒ 放行
# 刪除既有的 KV 寫入(退休戰) ⇒ 放行(那正是我們要的方向)
#
# ── 豁免(留痕,不是後門)────────────────────────────────────────────
# 那一行尾端加 `kv-ok: <理由>`。
# 合法的理由只有一種形狀:**這筆資料本來就是短命的**(session、一次性 nonce、
# 有 TTL 的快取)。寫「暫時先這樣」「之後再搬」都不算——
# 那是把債留給下一個人,而 2026-08-25 證明了沒人會回來還。
set -uo pipefail
payload=$(cat)
read -r tool content file <<<"$(printf '%s' "$payload" | python3 -c "
import json,sys
try:
d=json.load(sys.stdin); ti=d.get('tool_input') or {}
# Write 用 contentEdit 用 new_stringMultiEdit 把每筆 new_string 串起來
parts=[ti.get('content') or '', ti.get('new_string') or '']
for e in (ti.get('edits') or []): parts.append(e.get('new_string') or '')
body='\n'.join(p for p in parts if p)
print(d.get('tool_name','') or 'x', len(body), ti.get('file_path','') or 'x')
sys.stderr.write(body)
except Exception:
print('x 0 x')
" 2>/tmp/.kv-guard-body)" || exit 0
body=$(cat /tmp/.kv-guard-body 2>/dev/null)
rm -f /tmp/.kv-guard-body
[ -z "$body" ] && exit 0
# 只管程式碼檔;文件、設定、測試裡提到 KV 不算違規
case "$file" in
*.ts|*.js|*.mjs|*.tsx|*.jsx) ;;
*) exit 0 ;;
esac
# 閘自己、與退休戰的測試檔放行(否則永遠改不動它)
case "$file" in
*kv-write-guard*|*.test.*|*/tests/*) exit 0 ;;
esac
# 命中的行:往 KV 綁定寫入,且**該行沒有 kv-ok 豁免**
# 判準是形狀不是名字:**全大寫的 binding 後面接 .put(.delete(**。
# 為什麼不列名字清單(第一版就是這樣寫壞的):名字會長出新的(下一個 KV 綁定叫什麼沒人知道),
# 而清單只認得已知的那幾個 ⇒ 新的 KV 從清單的縫隙走過去,本閘就變成裝飾。
# 全大寫識別字 .put/.delete 這個形狀,在 Workers 裡就是 KVD1 沒有 .putJS 物件用 .set)。
hits=$(printf '%s' "$body" | grep -nE '\b[A-Z][A-Z0-9_]{1,}\.(put|delete)\(' \
| grep -v 'kv-ok' || true)
[ -z "$hits" ] && exit 0
cat >&2 <<EOF
🚫 長效資料不准寫進 KV——一律走 KBDB APIleo 2026-08-25 立)
leo 原話:
「**我強制禁止寫 SQL,要用 KBDB API,你就讓它繞過寫 KV 代替?**」
「上次刪掉一堆東西,現在又寫入,**你沒有規範嗎**」
━━ 你這次要寫的 ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
$(printf '%s' "$hits" | head -6 | sed 's/^/ /')
━━ 為什麼擋 ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
規則早就在(\`system-dev/wiki/decisions-summary.md:133\`):
**KV =暫存(cache / transient),不是長期真相源。**
而 2026-08-25 實查:\`.claude/hooks/\` 底下跟 KV 有關的閘 **0 支**
⇒ 規則被讀到了,卻沒有機制驗證有沒有照做。本閘就是補那一格。
🔴 **並且**\`kbdbFetch()\` 裡的 KV 字樣是 **0**——走 KBDB API 根本不碰 KV。
所以「寫 KV」在這個系統裡**必定意味著繞過知識庫**,不是一種實作選擇。
禁 SQL 的牆 2026-08-07 立,而 app-system 2026-08-24 誕生就在寫 KV
——**牆立起來了,水從旁邊流走了。**
━━ 怎麼過 ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
① **本來就該走 KBDB**(絕大多數)→ 改成 KBDB API。
新資料類型=seed 一列 template,資料展開成完整 record
**不准打包進 metadata_json**D91D93)。讀 \`arcrun-kbdb-guardrails\` skill。
② **這筆資料真的是短命的**(session/一次性 nonce/有 TTL 的快取)
→ 那一行尾端加 \`kv-ok: <為什麼它是短命的>\`,留痕放行。
③ **你在做的是退休戰(刪掉 KV 寫入)** → 本閘不擋刪除,只擋新增。
🔴 \`kv-ok: 暫時先這樣\` / \`之後再搬\` **不算理由**——那是把債留給下一個人,
而 2026-08-25 已經證明了沒人會回來還。
EOF
exit 2
+111
View File
@@ -0,0 +1,111 @@
#!/usr/bin/env bash
# duplicate-hook-registration-guard.sh 的迴歸測試(inkstone/ISEP#122
#
# 這支閘的價值是「不吵的時候真的不吵,該吵的時候真的吵得出正確清單」——
# 兩邊都要驗,而且全程用假的 plugin root/專案目錄,不碰真正的
# InkStoneCo/.claude/ 或這台機器裝著的 ISEP plugin。
set -u
HOOK="${1:-$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)/duplicate-hook-registration-guard.sh}"
PASS=0; FAIL=0; N=0
check() { # check <說明> <輸出> <exit碼> <該出現|!不該出現>...
desc="$1"; out="$2"; code="$3"; shift 3; N=$((N+1)); ok=1; why=""
if [ "$code" != "0" ]; then ok=0; why="exit 應該是 0(這支從不擋人),實際是 $code"; fi
for w in "$@"; do
case "$w" in
"!"*) if printf '%s' "$out" | grep -qF -- "${w#!}"; then ok=0; why="不該出現卻出現了:${w#!}"; fi ;;
*) if ! printf '%s' "$out" | grep -qF -- "$w"; then ok=0; why="少了:$w"; fi ;;
esac
done
if [ "$ok" = 1 ]; then printf ' ✅ %s\n' "$desc"; PASS=$((PASS+1))
else printf ' ❌ %s —— %s\n' "$desc" "$why"; printf '%s\n' "$out" | sed 's/^/ /'; FAIL=$((FAIL+1)); fi
}
# mkroot <名字...> → 造一份假 plugin roothooks.json 裡真的註冊這些檔名
mkroot() {
d="$TMP/root-$RANDOM"; mkdir -p "$d/hooks"
{
printf '{"hooks":{"PreToolUse":[{"matcher":"Bash","hooks":['
first=1
for n in "$@"; do
[ "$first" = 1 ] || printf ','
printf '{"type":"command","command":"${CLAUDE_PLUGIN_ROOT}/hooks/%s"}' "$n"
first=0
done
printf ']}]}}\n'
} > "$d/hooks/hooks.json"
printf '%s\n' "$d"
}
# mkproj <名字...> → 造一份假專案目錄,settings.json 裡登記這些檔名
mkproj() {
d="$TMP/proj-$RANDOM"; mkdir -p "$d/.claude"
{
printf '{"hooks":{"PreToolUse":[{"matcher":"Bash","hooks":['
first=1
for n in "$@"; do
[ "$first" = 1 ] || printf ','
printf '{"type":"command","command":"$CLAUDE_PROJECT_DIR/.claude/hooks/%s"}' "$n"
first=0
done
printf ']}]}}\n'
} > "$d/.claude/settings.json"
printf '%s\n' "$d"
}
run() { # run <root> <proj>
out=$(CLAUDE_PLUGIN_ROOT="$1" CLAUDE_PROJECT_DIR="$2" bash "$HOOK" 2>&1)
code=$?
printf '%s\x1e%s' "$out" "$code"
}
TMP=$(mktemp -d); trap 'rm -rf "$TMP"' EXIT
echo "── 該吵 ──────────────────────────────────────────────────────"
R=$(mkroot prod-write-guard.sh github-contact-guard.sh)
P=$(mkproj prod-write-guard.sh other-thing.sh)
o=$(run "$R" "$P"); out="${o%$'\x1e'*}"; code="${o##*$'\x1e'}"
check "① 專案版跟 plugin 同名一支 → 點名那一支" "$out" "$code" \
"重複掛載警報" "1 支" "prod-write-guard.sh" "!github-contact-guard.sh" "!other-thing.sh"
R=$(mkroot a.sh b.sh c.sh)
P=$(mkproj a.sh b.sh c.sh)
o=$(run "$R" "$P"); out="${o%$'\x1e'*}"; code="${o##*$'\x1e'}"
check "② 全部同名 → 三支都點名" "$out" "$code" "3 支" "a.sh" "b.sh" "c.sh"
echo "── 不該吵(誤攔比漏擋嚴重)───────────────────────────────────"
R=$(mkroot a.sh)
P=$(mkproj z.sh)
o=$(run "$R" "$P"); out="${o%$'\x1e'*}"; code="${o##*$'\x1e'}"
check "③ 完全不重疊 → 靜音" "$out" "$code" "!重複掛載"
R=$(mkroot a.sh)
d="$TMP/proj-empty-$RANDOM"; mkdir -p "$d/.claude"; echo '{"hooks":{}}' > "$d/.claude/settings.json"
o=$(run "$R" "$d"); out="${o%$'\x1e'*}"; code="${o##*$'\x1e'}"
check "④ 專案沒登記任何 .claude/hooks/*.sh → 靜音" "$out" "$code" "!重複掛載"
d="$TMP/proj-nosettings-$RANDOM"; mkdir -p "$d/.claude"
o=$(run "$R" "$d"); out="${o%$'\x1e'*}"; code="${o##*$'\x1e'}"
check "⑤ 專案根本沒有 settings.json → 靜音" "$out" "$code" "!重複掛載"
o=$(CLAUDE_PROJECT_DIR="$(mkproj a.sh)" bash "$HOOK" 2>&1); code=$?
check "⑥ 沒有 CLAUDE_PLUGIN_ROOT(不是 plugin 環境)→ 靜音" "$o" "$code" "!重複掛載"
d="$TMP/root-nohooksjson-$RANDOM"; mkdir -p "$d/hooks"
o=$(CLAUDE_PLUGIN_ROOT="$d" CLAUDE_PROJECT_DIR="$(mkproj a.sh)" bash "$HOOK" 2>&1); code=$?
check "⑦ plugin root 沒有 hooks.json(環境不完整)→ 靜音" "$o" "$code" "!重複掛載"
echo "── 判準是「登記」不是「檔案存在」──────────────────────────────"
R=$(mkroot pre-write-guard.template.sh) # 有這個檔但 hooks.json 沒收(樣板慣例)
d="$TMP/root-unreg-$RANDOM"; mkdir -p "$d/hooks"; echo '{"hooks":{}}' > "$d/hooks/hooks.json"
touch "$d/hooks/pre-write-guard.template.sh"
P=$(mkproj pre-write-guard.template.sh)
o=$(run "$d" "$P"); out="${o%$'\x1e'*}"; code="${o##*$'\x1e'}"
check "⑧ plugin 有這個檔但沒真的註冊 → 不算重複,靜音" "$out" "$code" "!重複掛載"
echo ""
echo "── 結果:$PASS 通過 / $FAIL 失敗(共 $N)──"
[ "$FAIL" -eq 0 ]
+62
View File
@@ -0,0 +1,62 @@
#!/usr/bin/env bash
# kv-write-guard.sh 的迴歸測試(inkstone/ISEP#122 搬進 ISEP 時補上——
# 原檔 2026-08-25 立於 InkStoneCo 專案版,搬過來之前沒有自動化測試)。
set -u
HOOK="${1:-$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)/kv-write-guard.sh}"
PASS=0; FAIL=0; N=0
# run <tool> <file_path> <content> → 送一個 Write 事件的 payload
run() {
python3 -c '
import json,sys
tool, fp, content = sys.argv[1], sys.argv[2], sys.argv[3]
print(json.dumps({"tool_name": tool, "tool_input": {"file_path": fp, "content": content}}))
' "$1" "$2" "$3" | bash "$HOOK" 2>&1
echo "EXIT:$?"
}
check() { # check <說明> <輸出+EXIT行> <該擋(2)|該放行(0)> <該出現|!不該出現>...
desc="$1"; out="$2"; want="$3"; shift 3
code="$(printf '%s\n' "$out" | grep -oE 'EXIT:[0-9]+' | tail -1 | cut -d: -f2)"
N=$((N+1)); ok=1; why=""
if [ "$code" != "$want" ]; then ok=0; why="要 exit $want,實際 $code"; fi
for w in "$@"; do
case "$w" in
"!"*) if printf '%s' "$out" | grep -qF -- "${w#!}"; then ok=0; why="$why 不該出現卻出現:${w#!}"; fi ;;
*) if ! printf '%s' "$out" | grep -qF -- "$w"; then ok=0; why="$why 少了:$w"; fi ;;
esac
done
if [ "$ok" = 1 ]; then printf ' ✅ %s\n' "$desc"; PASS=$((PASS+1))
else printf ' ❌ %s ——%s\n' "$desc" "$why"; printf '%s\n' "$out" | sed 's/^/ /'; FAIL=$((FAIL+1)); fi
}
echo "── 該擋:往 KV binding 寫入 ──────────────────────────────────"
out=$(run "Write" "src/app-system.ts" $'export async function save() {\n await MY_KV.put("k", "v");\n}')
check "① 全大寫 binding.put( → 擋" "$out" 2 "長效資料不准寫進 KV" "MY_KV"
out=$(run "Edit" "src/app-system.ts" $'const x = 1;\nSESSION_KV.delete(id);')
check "② .delete( 一樣擋" "$out" 2 "長效資料不准寫進 KV"
echo "── 不該擋(誤攔比漏擋嚴重)───────────────────────────────────"
out=$(run "Write" "src/app-system.ts" 'const v = await MY_KV.get("k");')
check "③ 只是讀(.get)→ 放行" "$out" 0 "!長效資料不准寫進 KV"
out=$(run "Write" "src/app-system.ts" 'MY_KV.put("k", v); // kv-ok: session nonce,有 TTL')
check "④ 加了 kv-ok 豁免留痕的那行 → 放行" "$out" 0 "!長效資料不准寫進 KV"
out=$(run "Write" "README.md" 'MY_KV.put("k", "v")')
check "⑤ 非程式碼檔(.md)→ 放行" "$out" 0 "!長效資料不准寫進 KV"
out=$(run "Write" "src/kv-write-guard.test.ts" 'MY_KV.put("k", "v")')
check "⑥ 閘自己的測試檔 → 放行" "$out" 0 "!長效資料不准寫進 KV"
out=$(run "Write" "src/app-system.ts" 'const config = { retries: 3 };')
check "⑦ 完全不提 KV 的一般程式碼 → 放行" "$out" 0 "!長效資料不准寫進 KV"
out=$(run "Write" "src/app-system.ts" 'this.myKv.put("k", "v"); // 小寫 binding,不是本閘要的形狀')
check "⑧ 小寫變數名(不是「全大寫識別字」形狀)→ 放行" "$out" 0 "!長效資料不准寫進 KV"
echo ""
echo "── 結果:$PASS 通過 / $FAIL 失敗(共 $N)──"
[ "$FAIL" -eq 0 ]