黙って通していた確認ツールを、ソフト拒否から allow ルールに起こす

#!/usr/bin/env python3
"""allow_discovery.py
ヘッドレスの agy タスクを一度走らせ、ソフト拒否が stderr に示す allow ルール名を
収穫して、最小権限の allow ルール案を人間レビュー用に書き出す。
完了ではなく「何を許せば進むか」を洗い出すのが目的。"""
import subprocess, sys, re, json, os, pathlib
 
WORKSPACE = pathlib.Path(os.environ.get("AGY_WORKSPACE", os.getcwd())).resolve()
 
# 1.1.3 のソフト拒否行の書式に合わせる。実際の1行は
#   agy -p "noop" 2>&1 | grep -i deny
# で一度だけ確認し、環境が違えばこの正規表現1本だけを直す。
# 出力の形が変わっても、直す場所がここ1箇所に閉じているのが狙い。
SOFT_DENY = re.compile(
    r"soft[- ]deny\b"
    r".*?\btool=(?P<tool>[^\s]+)"
    r".*?\ballow[- ]rule=(?P<rule>[^\s]+)"
    r"(?:.*?\bpath=(?P<path>[^\s]+))?",
    re.IGNORECASE,
)
 
def classify(path: str) -> str:
    if not path:
        return "unknown"
    try:
        pathlib.Path(path).resolve().relative_to(WORKSPACE)
        return "in-workspace"
    except ValueError:
        return "OUT-OF-WORKSPACE"   # 1.1.3 が塞いだ領域。見えたら必ず個別確認
 
def discover(cmd: list[str]) -> tuple[int, dict]:
    proc = subprocess.run(cmd, capture_output=True, text=True)
    rules: dict[str, dict] = {}
    for m in SOFT_DENY.finditer(proc.stderr):
        rule = m.group("rule")
        entry = rules.setdefault(rule, {"tool": m.group("tool"),
                                        "paths": set(), "scope": set()})
        p = m.group("path")
        if p:
            entry["paths"].add(p)
            entry["scope"].add(classify(p))
    return proc.returncode, rules
 
def to_proposal(rules: dict) -> dict:
    out = []
    for rule, e in sorted(rules.items()):
        scope = "OUT-OF-WORKSPACE" if "OUT-OF-WORKSPACE" in e["scope"] \
                else (sorted(e["scope"])[0] if e["scope"] else "unknown")
        out.append({
            "allow_rule": rule,
            "tool": e["tool"],
            "scope": scope,
            "sample_paths": sorted(e["paths"])[:3],
            # 既定は false。人が中身を見て初めて true に上げる
            "approved": False,
        })
    return {"workspace": str(WORKSPACE), "candidates": out}
 
if __name__ == "__main__":
    code, rules = discover(sys.argv[1:])
    proposal = to_proposal(rules)
    json.dump(proposal, sys.stdout, ensure_ascii=False, indent=2)
    print(file=sys.stderr)
    oow = [c for c in proposal["candidates"] if c["scope"] == "OUT-OF-WORKSPACE"]
    print(f"[discover] exit={code} 候補={len(proposal['candidates'])} "
          f"ワークスペース外={len(oow)}", file=sys.stderr)

# 発見パス: allow を空にして一度走らせ、候補を集める
AGY_WORKSPACE="$PWD" python3 allow_discovery.py \
  agy -p "nightly: 記事を1本ビルドして push" \
  > allow_candidates.json

def audit_writes(paths):
    """過去に書き込んだパス一覧から、ワークスペース外だけを抜き出す。"""
    flagged = [p for p in paths if classify(p) == "OUT-OF-WORKSPACE"]
    for p in flagged:
        print(f"  ⚠ out-of-workspace write: {p}")
    print(f"[audit] 書き込み {len(paths)} 件中 "
          f"ワークスペース外 {len(flagged)} 件")
    return flagged

#!/usr/bin/env bash
# allow_drift_gate.sh — 承認済み allow 設定に対する新規候補を検出する
set -euo pipefail
 
python3 allow_discovery.py agy -p "nightly: 記事を1本ビルドして push" \
  > /tmp/candidates.json
 
# 承認済みルール名の集合（approved=true のみ）
comm -13 \
  <(jq -r '.rules[] | select(.approved==true) | .allow_rule' approved_allow.json | sort) \
  <(jq -r '.candidates[].allow_rule' /tmp/candidates.json | sort) \
  > /tmp/new_rules.txt
 
if [ -s /tmp/new_rules.txt ]; then
  echo "❌ 未承認の allow ルール候補が出ました。レビューが要ります:"
  cat /tmp/new_rules.txt
  exit 1
fi
echo "✅ 新規の allow 候補なし（設定は広がっていません）"