@tyhld/conductor 0.12.60 → 0.12.61

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@tyhld/conductor",
-  "version": "0.12.60",
+  "version": "0.12.61",
   "description": "采配くん管制の見守りアプリ（conductor-agent）。各PCで常駐し、中央(devlog-tracker)へ定期的に生存報告(heartbeat)を送る常駐CLI。",
   "type": "module",
   "bin": {

package/scripts/hooks/policy.py

@@ -3228,7 +3228,7 @@ PROTECTED_BRANCHES = frozenset({'main', 'master', 'production', 'prod', 'release
 # DDL / 権限 / RLS を含む SQL の字面（DB実行の関門）。
 _SQL_GATE_RE = re.compile(
     r'\b(create|alter|drop)\s+(table|index|policy|database|schema|role|function|trigger|view)\b'
-    r'|\bgrant\b|\brevoke\b|\brow\s+level\s+security\b|\btruncate\b',
+    r'|\bgrant\b|\brevoke\b|\brow\s+level\s+security\b',
     re.IGNORECASE,
 )
 
@@ -3263,6 +3263,31 @@ def _sql_scan_text(segment: str) -> str:
         kept.append(t)
     return ' '.join(kept) + sep + body
 
+# SQL の TRUNCATE か、ファイルを縮める道具の truncate かを見分ける（便 7585f96e）。
+#
+# 【なぜ要るか（実測 2026-09-20・便 2fde49cf）】
+#   `truncate` の字面だけを SQL とみなしていたため、台本を書き換えるコマンドの【中の文字】に
+#     truncate -s 0 …
+#   が出てくるだけで DB の関門に落ち、管制の確認待ちのまま作業が1つ実行されなかった。
+#   ★動詞そのものが truncate のとき（`truncate -s 0 build.log`）は _SQL_TEXT_ONLY_VERBS で
+#     既に除いてあったが、python3 -c / node -e / ヒアドキュメントのように
+#     【実行しうる入口】の中では、字面そのものを見るため除外が効かなかった。
+#
+# 【どう見分けるか】次の語の形で決める。★SQL の側は1つも減らさない。
+#   ・次が旗（-s / --size …）    → ファイルを縮める道具（SQL ではない）
+#   ・次が道（/ を含む語）        → ファイルを縮める道具（SQL ではない）
+#   ・それ以外（TABLE / ONLY / 表の名前 / 何も続かない）→ 今までどおり SQL として関門
+_SQL_TRUNCATE_RE = re.compile(
+    r'\btruncate\b(?!\s+(?:-{1,2}[A-Za-z0-9]|\S*/))',
+    re.IGNORECASE,
+)
+
+
+def sql_gate_text(text: str) -> bool:
+    """その字面が「DB実行の関門に当てる SQL」か（純粋関数＝単体試験できる）。"""
+    if not text:
+        return False
+    return bool(_SQL_GATE_RE.search(text) or _SQL_TRUNCATE_RE.search(text))
 
 # 「引数にSQLらしい字面があっても、実際にはSQLを実行しない」動詞。
 #   ★SQL文字列だけを根拠にした関門は、これらの動詞では出さない（＝誤検知を消す）。
@@ -3354,7 +3379,7 @@ def _gate_db(words, tokens, segment: str):
         return 'drizzle-kit push/migrate'
     # SQL の字面（DDL / GRANT / RLS）。★ここへ来るのは「実行しうる入口」だけ
     #   （文字を扱うだけの道具とシェルは _gate_one で先に振り分け済み）。
-    if _SQL_GATE_RE.search(_sql_scan_text(segment)):
+    if sql_gate_text(_sql_scan_text(segment)):
         return 'SQL DDL/GRANT/RLS'
     return None
 

package/scripts/hooks/test_gate_truncate.py

@@ -0,0 +1,145 @@
+#!/usr/bin/env python3
+"""便 7585f96e: ファイルを縮める道具の truncate を、SQL の TRUNCATE と見分ける試験。
+
+  実行: python3 scripts/hooks/test_gate_truncate.py
+  1件でも期待と違えば exit 1。
+
+【なぜ要るか（実測 2026-09-20・便 2fde49cf）】
+  台本を書き換えるコマンドの【中の文字】に truncate -s 0 … が出てくるだけで、番人が
+  「DB 実行の関門（SQL の TRUNCATE）」と判定し、管制の確認待ちのまま作業が1つ実行されなかった。
+    ・truncate -s 0 ファイル（道具としてそのまま打つ）→ allow
+    ・python3 -c "print('truncate -s 0 a.txt')"（台本の中の文字）→ gate(db)
+  動詞が truncate のときは除外できていたが、python3 -c / node -e / ヒアドキュメントのような
+  【実行しうる入口】では字面そのものを見るため、除外が効かなかった。
+
+【この試験で守ること】
+  ① ファイルを縮める道具の形（次が旗・次が道）は、どの入口でも関門にしない
+  ② SQL の TRUNCATE（TABLE / ONLY / 表の名前 / 終わり）は今までどおり関門
+  ③ 本物の DB の道具（psql ほか）は今までどおり止まる（deny を1件も減らさない）
+  ④ 他の SQL の語（CREATE TABLE / GRANT / REVOKE / RLS）の判定は1文字も変えない
+  ⑤ ★空振り確認：見分けを元に戻すと、①が関門に落ちる（試験が本当に効いている証拠）
+
+★本物の DB には触れない。使うのは作り物の名前だけ。危険語は組み立てる。
+"""
+import os
+import re
+import sys
+
+sys.path.insert(0, os.path.dirname(os.path.abspath(__file__)))
+
+import policy  # noqa: E402
+
+failures = []
+
+
+def check(label, got, want):
+    ok = got == want
+    if not ok:
+        failures.append(f'{label}: got={got!r} want={want!r}')
+    print(f'{"OK " if ok else "NG "} {label:74} {str(got)[:18]}')
+
+
+# 危険語は組み立てる（この試験のファイル自身が字面で引っかからないように）。
+TR = 'TRUNC' + 'ATE'
+tr = 'trunc' + 'ate'
+CREATE = 'CRE' + 'ATE TABLE x (id int)'
+GRANT = 'GRA' + 'NT SELECT ON x TO y'
+PSQL = 'ps' + 'ql'
+
+
+def dec(cmd):
+    return policy.decide_bash(cmd, '/home/fshim/projects/x')
+
+
+def gate_of(cmd):
+    r = dec(cmd)
+    return (r['decision'], r.get('gate'))
+
+
+print('── ① ファイルを縮める道具は、どの入口でも関門にしない ' + '─' * 14)
+FILE_TOOL = [
+    ('道具としてそのまま打つ', f'{tr} -s 0 build.log'),
+    ('道具として打つ（長い旗）', f'{tr} --size=0 build.log'),
+    ('道具として打つ（道を渡す）', f'{tr} -s 0 /tmp/claude-1000/a.txt'),
+    ('★台本の中の文字（python3 -c）', f'python3 -c "print(\'{tr} -s 0 a.txt\')"'),
+    ('★台本の中の文字（node -e）', f'node -e "console.log(\'{tr} -s 0 a.txt\')"'),
+    ('★台本の中の文字（ヒアドキュメント）', f"python3 - <<'PY'\ns = \"{tr} -s 0 a.txt\"\nPY"),
+    ('★台本を書き換える文の中（実際に止まった形）',
+     f"python3 - <<'PY'\ns=s.replace(\"a\", \"find . -exec {tr} -s 0 {{}} \\\\;\")\nPY"),
+    ('★道を渡す形が台本の中に出る', f'python3 -c "print(\'{tr} /var/log/app.log\')"'),
+    ('知らない実行ファイルに道具の形を渡す', f'./run-tool "{tr} -s 0 a.txt"'),
+]
+for label, cmd in FILE_TOOL:
+    check(f'① {label}', dec(cmd)['decision'], policy.ALLOW)
+
+print('\n── ② SQL の TRUNCATE は今までどおり関門 ' + '─' * 26)
+SQL_FORMS = [
+    ('表を空にする（TABLE つき）', f'python3 -c "conn.execute(\'{TR} TABLE users\')"'),
+    ('表を空にする（表の名前だけ）', f'python3 -c "conn.execute(\'{TR} users\')"'),
+    ('ONLY つき', f'./apply-sql "{TR} ONLY users"'),
+    ('終わりの記号つき', f'node -e "client.query(\'{TR} users;\')"'),
+    ('ヒアドキュメントで実行しうる入口へ', f"python3 - <<'PY'\nconn.execute('{TR} TABLE users')\nPY"),
+    ('知らない実行ファイルへ', f'./apply-sql "{TR} TABLE users"'),
+]
+for label, cmd in SQL_FORMS:
+    check(f'② {label}', gate_of(cmd), (policy.GATE, policy.GATE_DB))
+
+print('\n── ③ 本物の DB の道具は今までどおり止まる（deny を減らさない） ' + '─' * 8)
+for label, cmd in [
+    ('DB の道具に直接渡す', f'{PSQL} -c "{TR} TABLE users"'),
+    ('DB の道具に SQL ファイルを流す', f'cat migrations/001.sql | {PSQL} app'),
+]:
+    check(f'③ {label}', dec(cmd)['decision'] in (policy.DENY, policy.GATE), True)
+
+print('\n── ④ 他の SQL の語の判定は1文字も変えない ' + '─' * 24)
+for label, cmd, want in [
+    ('作る系は関門のまま', f'python3 -c "conn.execute(\'{CREATE}\')"', (policy.GATE, policy.GATE_DB)),
+    ('権限は関門のまま', f'node -e "client.query(\'{GRANT}\')"', (policy.GATE, policy.GATE_DB)),
+    ('RLS は関門のまま', 'python3 -c "conn.execute(\'ALTER TABLE x ENABLE ROW LEVEL SECURITY\')"',
+     (policy.GATE, policy.GATE_DB)),
+]:
+    check(f'④ {label}', gate_of(cmd), want)
+for label, cmd in [
+    ('文字を扱うだけの道具は関門にしない（検索）', f'rg -n "{TR} x" .'),
+    ('文字を扱うだけの道具は関門にしない（表示）', f'echo "{CREATE}"'),
+    ('報告に書くだけ', f"cat <<'EOF' > /tmp/claude-1000/r.md\n- {TR} は使っていません\nEOF"),
+]:
+    check(f'④ {label}', dec(cmd)['decision'], policy.ALLOW)
+
+print('\n── ★空振り確認（見分けを元に戻すと ① が関門に落ちる） ' + '─' * 12)
+HOLE = f'python3 -c "print(\'{tr} -s 0 a.txt\')"'
+check('★直したあと: 関門にならない', dec(HOLE)['decision'], policy.ALLOW)
+orig = policy._SQL_TRUNCATE_RE
+try:
+    policy._SQL_TRUNCATE_RE = re.compile(r'\b' + tr + r'\b', re.IGNORECASE)
+    check('★空振り: 字面だけで見ると関門に落ちる', gate_of(HOLE), (policy.GATE, policy.GATE_DB))
+finally:
+    policy._SQL_TRUNCATE_RE = orig
+check('★戻したあと: また関門にならない', dec(HOLE)['decision'], policy.ALLOW)
+check('★空振り: 見分けを外しても SQL は関門のまま',
+      gate_of(f'python3 -c "conn.execute(\'{TR} TABLE users\')"'), (policy.GATE, policy.GATE_DB))
+
+print('\n── ★見分けそのもの（純粋関数） ' + '─' * 32)
+for text, want in [
+    (f'{TR} TABLE users', True),
+    (f'{TR} ONLY users', True),
+    (f'{TR} users;', True),
+    (f'{TR} users', True),
+    (f'{tr} -s 0 a.txt', False),
+    (f'{tr} --size=0 a.txt', False),
+    (f'{tr} /var/log/a.log', False),
+    (f'{tr} -s 0 /tmp/a', False),
+    (CREATE, True),
+    (GRANT, True),
+    ('ふつうの文章です', False),
+]:
+    check(f'★見分け: {text[:44]}', policy.sql_gate_text(text), want)
+
+print('\n' + '=' * 72)
+if failures:
+    print(f'NG {len(failures)} 件:')
+    for f in failures:
+        print('  -', f)
+    sys.exit(1)
+print('すべて期待どおり')
+sys.exit(0)