okstra 0.186.7 → 0.187.0

package/runtime/validators/forbidden_actions.py

@@ -50,6 +50,74 @@ _UNIVERSAL = [
 ]
 _NON_HANDOFF_PUSH = ("git push", re.compile(r"\bgit\s+push\b"))
 
+# 검증자(verifier)가 자기 실행 로그에 남기면 안 되는 변조 모드.
+# 규칙 본문은 prompts/profiles/_implementation-verifier.md §"`cmd` field deny-list"
+# 와 §"Verifier-specific forbidden actions" 에 있고, "런타임 AND 검증자가 거부해야
+# 한다"고 적혀 있었으나 런타임 쪽 검사가 없었다 — 산문에만 있던 규칙이다.
+#
+# 모호한 형태(`black .` 대 `black --check`, 맨 `rustfmt`)는 일부러 넣지 않았다.
+# 차단 검증기에서 오탐은 막으려는 공백보다 나쁘다. 실물 통과 값
+# `git diff --check` 가 `--fix` 로 오판되지 않도록 플래그 경계를 못박는다.
+_VERIFIER_MUTATION = [
+    ("--fix", re.compile(r"(?<![\w-])--fix(?![\w-])")),
+    ("--write", re.compile(r"(?<![\w-])--write(?![\w-])")),
+    ("gofmt -w", re.compile(r"\bgofmt\b[^\n;&|]*(?<![\w-])-w(?![\w-])")),
+    ("jest -u", re.compile(r"\bjest\b[^\n;&|]*(?<![\w-])-u(?![\w-])")),
+    ("--updateSnapshot", re.compile(r"(?<![\w-])--updateSnapshot(?![\w-])")),
+    ("--update-snapshots", re.compile(r"(?<![\w-])--update-snapshots(?![\w-])")),
+    # 의존성을 바꾸는 설치 명령. 검증자는 executor 가 만든 트리를 그대로 재현해야
+    # 하므로 잠금 파일 밖 설치는 재현이 아니라 다른 환경을 만드는 것이다.
+    ("npm install", re.compile(r"\bnpm\s+install\b")),
+    ("cargo update", re.compile(r"\bcargo\s+update\b")),
+    ("pip install -U", re.compile(r"\bpip\s+install\b[^\n;&|]*(?:--upgrade\b|(?<![\w-])-U(?![\w-]))")),
+    ("pnpm add", re.compile(r"\bpnpm\s+add\b")),
+    ("bun add", re.compile(r"\bbun\s+add\b")),
+    ("--snapshot-update", re.compile(r"(?<![\w-])--snapshot-update(?![\w-])")),
+    ("--update-goldens", re.compile(r"(?<![\w-])--update-goldens(?![\w-])")),
+    ("insta accept", re.compile(r"\bcargo\s+insta\s+accept\b")),
+    # INSTA_UPDATE 는 `no` 만 안전하다.
+    ("INSTA_UPDATE", re.compile(r"\bINSTA_UPDATE=(?!no\b)\S+")),
+    ("|| true", re.compile(r"\|\|\s*true\b")),
+]
+
+
+# 검증자가 워크트리 소스를 되돌리거나 고치는 명령. 위 목록이 "도구의 변조 모드"라면
+# 이쪽은 "명령 자체가 변조"인 것들이다. 모호한 형태는 넣지 않았다 — 리다이렉션(`>`)
+# 은 산출물 디렉터리에 쓰는 정상 용법이 흔하고, `cp`/`mv` 는 대상이 워크트리인지
+# 여기서 알 수 없다. 되돌릴 수 없거나 소스를 직접 바꾸는 것만 잡는다.
+_VERIFIER_SOURCE_MUTATION = [
+    ("sed -i", re.compile(r"\bsed\b[^\n;&|]*(?<![\w-])-i(?![\w-])")),
+    ("git checkout --", re.compile(r"\bgit\s+checkout\s+--\s")),
+    ("git restore", re.compile(r"\bgit\s+restore\b")),
+    ("git reset --hard", re.compile(r"\bgit\s+reset\b[^\n;&|]*--hard\b")),
+    # `git stash list|show` 는 읽기 전용이다.
+    ("git stash", re.compile(r"\bgit\s+stash\b(?!\s+(?:list|show)\b)")),
+    # `-n` / `--dry-run` 은 아무것도 지우지 않는다.
+    ("git clean", re.compile(r"\bgit\s+clean\b(?![^\n;&|]*(?:--dry-run|(?<![\w-])-[A-Za-z]*n[A-Za-z]*(?![\w-])))")),
+    # `--check` / `--stat` 은 적용하지 않는다.
+    ("git apply", re.compile(r"\bgit\s+apply\b(?![^\n;&|]*(?:--check|--stat|--numstat|--summary)\b)")),
+    ("patch -p", re.compile(r"\bpatch\b[^\n;&|]*(?<![\w-])-p\d")),
+    ("rm -rf", re.compile(r"\brm\b[^\n;&|]*-[A-Za-z]*r[A-Za-z]*f|\brm\b[^\n;&|]*-[A-Za-z]*f[A-Za-z]*r")),
+    ("truncate", re.compile(r"\btruncate\b")),
+]
+
+
+def verifier_mutation_hits(command_log: str) -> list[tuple[str, str]]:
+    """검증자 실행 로그에서 변조 모드 토큰을 찾는다. (라벨, 해당 줄) 목록.
+
+    로그는 자유 문자열이라 줄 단위로 본다 — 어느 명령이 문제인지 그대로 보고해야
+    작성자가 고칠 자리를 안다. heredoc 본문은 기록되는 데이터이므로 걷어낸다.
+    """
+    hits: list[tuple[str, str]] = []
+    for raw in strip_heredoc_bodies(command_log or "").splitlines():
+        line = raw.strip()
+        if not line or line.startswith("#"):
+            continue
+        for label, pattern in (*_VERIFIER_MUTATION, *_VERIFIER_SOURCE_MUTATION):
+            if pattern.search(line):
+                hits.append((label, line))
+    return hits
+
 _HEREDOC_START = re.compile(r"<<-?\s*(['\"]?)([A-Za-z_][A-Za-z0-9_]*)\1")
 
 
@@ -58,12 +126,14 @@ def strip_heredoc_bodies(command: str) -> str:
 
     heredoc 안의 토큰은 실행되는 명령이 아니라 파일에 **기록되는 데이터**다.
     implementation-planning 은 배포 명령을 서술하는 계획서를 산출물로 내고 그
-    문서를 `python3 - <<'PY'` / `cat > … <<EOF` 로 패치하므로, 본문을 그대로
+    문서를 파이썬 heredoc(`python3 -` 뒤 `PY` 구분자)이나 `cat > … <<EOF` 로
+    패치하므로, 본문을 그대로
     스캔하면 정상 경로에서 매 run 오탐이 난다. heredoc 시작 줄과 종료 구분자는
     남겨 실제 명령 위치의 토큰은 계속 잡는다.
 
-    종료 구분자가 뒤에 없으면 아무것도 걷어내지 않는다 — `python3 -c "1 << shift"`
-    같은 시프트 연산이 heredoc 으로 오인돼 뒤따르는 진짜 명령을 숨기지 않도록,
+    종료 구분자가 뒤에 없으면 아무것도 걷어내지 않는다 — 인라인 파이썬 인자 안의
+    `1 << shift` 같은 시프트 연산이 heredoc 으로 오인돼 뒤따르는 진짜 명령을
+    숨기지 않도록,
     본문 제거는 짝이 맞는 구분자를 실제로 찾았을 때만 한다.
     """
     lines = command.split("\n")

package/runtime/validators/lib/common.sh

@@ -1,5 +1,10 @@
 # shellcheck shell=bash
 
+# 이 lib 이 부르는 파이썬 검사 파일들의 위치. `validate-workflow.sh` 로 실행할
+# 때든 계약 테스트가 함수만 source 할 때든 같은 값이 되도록, 호출자의 변수가
+# 아니라 이 파일 자신의 경로에서 해결한다.
+OKSTRA_VALIDATOR_CHECKS="$(cd -P "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)/checks"
+
 step() {
   printf '\n[STEP] %s\n' "$1"
 }