@chrono-meta/fh-gate 2.1.0 → 2.3.0

package/scripts/adapters/qasp_web_rules.sh

@@ -0,0 +1,171 @@
+#!/usr/bin/env bash
+# qasp_web_rules.sh — FH 소유 **어댑터**. peer `qasp` 의
+# `scripts/web_rules_pr_scan.sh`(1.5막 웹 셀렉터-안정성 rule 세트)를 클러스터 호출 가능한
+# typed capability 로 감싼다.
+#
+# ─────────────────────────────────────────────────────────────────────────────
+# 무엇을 재나
+# ─────────────────────────────────────────────────────────────────────────────
+# **웹 E2E 테스트 diff 에 로케이터/대기 규율 위반이 들어왔는가.** rule 5종
+# (`web-coordinate-click` · `web-wait-for-timeout` 등 — LOCATOR_DISCIPLINE ·
+# ASSERTION_STRENGTH 렌즈). peer 헤더의 기원 실측: 이 rule 테이블은 2026-07-24 부터
+# 있었지만 **부르는 사람이 없었다**(2026-07-27 실측: 프로덕션 호출자 0건, tests/ 와
+# 자기 자신뿐). *"호출자가 없는 검출기는 산문이지 게이트가 아니다."*
+# 진입점은 **peer 소유 코드**이고 이 어댑터가 만든 것이 아니다.
+#
+# ─────────────────────────────────────────────────────────────────────────────
+# VERDICT ENUM (선언과 정확히 일치해야 한다)
+# ─────────────────────────────────────────────────────────────────────────────
+#    0  CLEAN          위반 0건
+#    1  FINDINGS       위반 존재
+#    2  ARGS           인자 오류 — 판정이 아니다
+#    3  ENGINE_ERROR   스캔이 못 돌았다(python 부재 · 입력 불가 · 대상 0개) — 판정이 아니다
+#   20  PEER_ABSENT    **peer 하네스가 이 머신에 없다**
+#
+# 🟥 **`2` 는 peer 셸 헤더에 안 적혀 있다** — 그 헤더는 `0/1/3` 만 적는다. 그러나 하위
+#    python CLI(`src/static_review/web_rules.py`)가 `parser.error()` 를 쓰고 argparse 는
+#    **exit 2** 를 내며, 셸 래퍼는 `exit "$RC"` 로 **그대로 전파**한다(실측 2026-08-17).
+#    즉 문서화된 계약보다 실제 계약이 한 값 넓다. 어댑터는 **실제 계약**을 선언한다 —
+#    안 그러면 argparse 오류가 `*)` 로 떨어져 HARNESS_ERROR 가 되고, 「인자를 틀렸다」가
+#    「계기가 깨졌다」로 렌더된다.
+#
+# 🟥 값 셋이 「안 쟀다」의 서로 다른 얼굴이다:
+#      ARGS(2)         인자가 틀렸다            (호출에 대한 진술)
+#      ENGINE_ERROR(3) 하네스는 있는데 못 쟀다  (계기에 대한 진술)
+#      PEER_ABSENT(20) 그 노드가 이 머신에 없다 (클러스터에 대한 진술)
+#    peer 가 자기 규율로 이미 적어 뒀다 — *"exit 3 을 0 으로 뭉개지 않는다. 못 잰 것을
+#    깨끗하다고 보고하는 순간 게이트가 장식이 된다."* 어댑터는 그 위에 PEER_ABSENT 만 더한다.
+#
+# ⚠️ 하위 exit 을 **전파하지 않는다** — 아래 case 가 명시 재매핑이다. 같은 숫자가 이
+#    클러스터 안에서 다른 사건을 뜻한다(`new_code_anchor_scan.sh` 의 `4=OUT_OF_SCOPE` ·
+#    `judge_rer.sh` 의 `4=BLOCKED` · `pull_cli.py` 의 `4=NO_CORPUS`).
+#
+# ─────────────────────────────────────────────────────────────────────────────
+# 🟥 `writes: write-local` — read-only 가 **아니다.** cold 실측이 근거다
+# ─────────────────────────────────────────────────────────────────────────────
+# 진입점이 `python -m src.static_review.web_rules` 를 부르고, 그 import 폐포가
+# `src/config/settings.py` 의 **import 시점 `ensure_dirs()`** 에 닿는다.
+#
+#   warm(운영자 실 트리) 실측 : 트리 변화 **없음**  ← 🟥 이것을 근거로 쓰면 안 된다
+#   cold(격리 클론) 실측      : 신규 엔트리 **25개**
+#     · `__pycache__` 디렉토리 5 + `.pyc` 파일 18
+#     · **빈 디렉토리 `./tmp` · `./uploads`**   ← `mkdir(exist_ok=True)` 의 산물
+#
+# warm 이 깨끗해 보인 이유는 그 디렉토리들이 **이미 있어서** mkdir 이 무음 no-op 이었기
+# 때문이다 — **warm cache 아티팩트지 read-only 의 증거가 아니다.**
+# ★그리고 저 «빈 디렉토리» 는 2026-08-17 이전의 M6 이펙트 프로브가 **구조적으로 못 보던**
+#  형태다(`_snapshot` 이 `-type f` 라 파일만 셌다). FH PR #422 로 그 축을 넣었고,
+#  그래서 이 선언은 **이제 기계로 검증·반증된다.** 그 전이었으면 거짓 `read-only` 로
+#  선언해도 VERIFIED 를 받았다.
+#
+# ⚠️ **명시 잔여 — M6 는 peer 트리를 안 본다.** 프로브의 «샌드박스 밖» 감시면은 임시
+#    카나리아 하나와 `$HOME` 엔트리 목록뿐이다. 어댑터는 **정의상 peer 트리에서 돌므로**,
+#    이 capability 의 가장 실질적인 쓰기 표면이 프로브의 감시 밖에 있다. 위 cold 수치는
+#    프로브 판정이 아니라 **손 실측**이다. 이 갭은 이 파일이 만든 게 아니라 어댑터 클래스
+#    전체의 성질이고, 여기 이름으로 남긴다.
+#
+# ─────────────────────────────────────────────────────────────────────────────
+# 캘리브레이션 쌍 — **FH 소유 픽스처**, 오프라인·결정적
+# ─────────────────────────────────────────────────────────────────────────────
+#   양성: `fixtures/qasp_web_rules_known_positive.json` — `page.wait_for_timeout(3000)`
+#         → `web-wait-for-timeout` 발화 → FINDINGS
+#   음성: `fixtures/qasp_web_rules_known_negative.json` — `get_by_role(...).click()`
+#         → 위반 0 → CLEAN
+#   ★왜 peer 픽스처를 안 쓰나: peer 의 `tests/` 는 그 레포 사정으로 움직인다. 남의 트리에
+#    있는 픽스처에 의존하는 계기는 **별도 계기가 아니라 그 레포의 일부**다.
+#   ★왜 PR 번호 모드를 안 쓰나: `gh api` 가 필요해 **네트워크·인증에 의존**하고, 그러면
+#    등록 바의 M4 가 「계기가 판별하는가」가 아니라 「오늘 gh 가 되는가」를 재게 된다.
+#   ★residency: peer 는 company 다. 이 두 픽스처는 **우리가 지은 합성 diff** 라 조직
+#    식별자가 없다 — 캘리브레이션 출력에 조직 경로가 실리지 않는다.
+#
+# 사용법
+#   qasp_web_rules.sh --diff-json <path>     # peer 레포에서 실행, 실제 diff 스캔
+#   qasp_web_rules.sh --known-positive       # expect FINDINGS
+#   qasp_web_rules.sh --known-negative       # expect CLEAN
+set -o pipefail
+
+PEER_NAME="qasp"
+RC_CLEAN=0; RC_FINDINGS=1; RC_ARGS=2; RC_ENGINE=3; RC_HARNESS=10; RC_PEER_ABSENT=20
+
+_harness_error() { printf 'qasp-web-rules: HARNESS_ERROR — %s\n' "$1" >&2; exit "$RC_HARNESS"; }
+_args_error()    { printf 'qasp-web-rules: ARGS — %s\n' "$1" >&2; exit "$RC_ARGS"; }
+_peer_absent()   { printf 'qasp-web-rules: PEER_ABSENT — %s\n' "$1" >&2; exit "$RC_PEER_ABSENT"; }
+
+SELF_DIR="$(cd -P "$(dirname "${BASH_SOURCE[0]:-$0}")" && pwd)"
+_LIB="$SELF_DIR/peer_resolve.sh"
+[ -r "$_LIB" ] || _harness_error "peer 해석 라이브러리 부재: $_LIB"
+# shellcheck source=/dev/null
+. "$_LIB"
+
+# ── ① 인자 먼저 검문한다 — peer 해석보다 **앞**이다 ─────────────────────────
+# 🟥 순서가 뒤집혀 있었다(2026-08-17 CI 실측). 초판은 peer 를 먼저 풀었고, 그래서
+#    **같은 잘못된 호출이 머신마다 다른 값**을 냈다:
+#      peer 있는 머신(내 로컬) : `qasp_web_rules.sh` (모드 없음) → ARGS(2)
+#      peer 없는 머신(CI)      : 같은 호출              → HARNESS_ERROR(10)
+#    즉 검정이 «어떻게 불렀나» 가 아니라 **«이 머신에 뭐가 깔렸나»** 를 재고 있었다.
+#    이 레포가 오늘 출하 레인에서 이미 데인 클래스와 같다.
+#
+# ★원리: 이 파일 헤더가 스스로 갈라 놓은 대로 **ARGS 는 «호출에 대한 진술»** 이고
+#   **PEER_ABSENT 는 «클러스터에 대한 진술»** 이다. 두 사실은 독립이고, 호출이 틀렸다는
+#   것은 클러스터를 보지 않고도 안다. 오타를 낸 사람에게 «qasp 를 깔아라» 라고 말하면
+#   진짜 문제에서 멀어진다.
+# ⚠️ 자매 어댑터(`qasp_new_code_anchor.sh`)는 아직 **peer-first** 다 — 그쪽 enum 레인이
+#    `_lane_peer` 로 가려져 있어서 이 어긋남이 안 보였다. 여기서만 고쳤고, 그쪽 정렬은
+#    별건으로 남긴다(고치면 그쪽 레인의 SKIP 가드도 같이 걷어야 한다).
+#
+# ★경계는 «호출 + FH 로컬 파일» 이다. peer 를 봐야만 알 수 있는 것만 ② 로 내린다.
+#   픽스처도 여기다 — `$SELF_DIR/fixtures/` 는 **우리 소유**라 peer 유무와 무관하다.
+MODE="${1:-}"
+DIFF_JSON=""
+case "$MODE" in
+  --known-positive) DIFF_JSON="$SELF_DIR/fixtures/qasp_web_rules_known_positive.json" ;;
+  --known-negative) DIFF_JSON="$SELF_DIR/fixtures/qasp_web_rules_known_negative.json" ;;
+  --diff-json)
+    DIFF_JSON="${2:-}"
+    [ -n "$DIFF_JSON" ] || _args_error "--diff-json 뒤에 경로가 필요하다"
+    # 읽을 수 없는 입력은 **호출 오류**다 — peer 가 있든 없든 같은 값이어야 한다.
+    [ -r "$DIFF_JSON" ] || _args_error "읽을 수 없는 diff-json: $DIFF_JSON" ;;
+  '') _args_error "모드 미지정 — 돌지 않은 실행을 판정으로 렌더하지 않는다" ;;
+  *)  _args_error "알 수 없는 모드 '$MODE'" ;;
+esac
+
+# 픽스처 부재는 **ARGS 가 아니라 HARNESS_ERROR** 다 — 캘리브레이션 쌍이 사라진 것은
+# 「호출을 잘못했다」가 아니라 **「이 계기가 자기 판별력을 증명할 수 없다」**는 뜻이다.
+case "$MODE" in
+  --known-positive|--known-negative)
+    [ -r "$DIFF_JSON" ] || _harness_error "캘리브레이션 픽스처 부재: $DIFF_JSON" ;;
+esac
+
+# ── ② peer 해석 ─────────────────────────────────────────────────────────────
+PEER_ROOT="$(fh_peer_resolve "$PEER_NAME")"; _rrc=$?
+case "$_rrc" in
+  0) ;;
+  1) _peer_absent "peer «$PEER_NAME» 가 이 머신에 없다 — 안 쟀다(통과가 아니다)" ;;
+  2) _harness_error "peer «$PEER_NAME» 해석이 모호하다 — 어느 트리를 쟀는지 말할 수 없으므로 판정하지 않는다" ;;
+  *) _harness_error "peer 루트 목록 자체가 없다 — 전제 파손" ;;
+esac
+
+ENTRY="$PEER_ROOT/scripts/web_rules_pr_scan.sh"
+[ -r "$ENTRY" ] || _harness_error "peer 진입점 부재: $ENTRY (하네스는 있으나 계기가 없다)"
+
+# peer 의 진입점은 `git rev-parse --show-toplevel` 로 자기 루트를 잡으므로 **cwd 가 peer 여야**
+# 한다. 판정은 파이프를 통과시키지 않는다(PIPE-VERDICT).
+# `PYTHON` 을 명시로 넘긴다 — peer 의 기본값이 `$REPO_ROOT/.venv/bin/python` 이라 이미 맞지만,
+# 그 폴백(`command -v python3`)이 발동하면 **의존성 없는 인터프리터**로 떨어져 ENGINE_ERROR 가
+# 나고, 그건 「이 머신에 뭐가 깔렸나」를 재는 것이 된다. 명시하면 그 갈림이 안 생긴다.
+_PY="$PEER_ROOT/.venv/bin/python"
+if [ -x "$_PY" ]; then
+  out=$(cd "$PEER_ROOT" && PYTHON="$_PY" bash "$ENTRY" --files "$DIFF_JSON" 2>&1); rc=$?
+else
+  out=$(cd "$PEER_ROOT" && bash "$ENTRY" --files "$DIFF_JSON" 2>&1); rc=$?
+fi
+printf '%s\n' "$out"
+
+# ── 명시 재매핑 (같은 숫자, 다른 사건 — 전파가 아니다) ───────────────────────
+case "$rc" in
+  0) printf 'qasp-web-rules: CLEAN — 웹 로케이터/대기 규율 위반 0건\n';                       exit "$RC_CLEAN" ;;
+  1) printf 'qasp-web-rules: FINDINGS — 위반이 있다\n';                                       exit "$RC_FINDINGS" ;;
+  2) printf 'qasp-web-rules: ARGS — peer 계기가 인자를 거부했다(판정이 아니다)\n' >&2;        exit "$RC_ARGS" ;;
+  3) printf 'qasp-web-rules: ENGINE_ERROR — 스캔이 돌지 못했다. «위반 0» 이 아니다\n' >&2;    exit "$RC_ENGINE" ;;
+  *) _harness_error "peer 진입점이 자기 계약 {0,1,2,3} 밖의 $rc 를 반환했다" ;;
+esac

package/scripts/capability_effect_probe.sh

@@ -105,6 +105,33 @@ _snapshot() {  # $1=dir → "sha  path" 목록 (정렬)
     | tr '\n' '\0' \
     | xargs -0 -n 400 shasum -a 256 2>/dev/null \
     | LC_ALL=C sort
+  # 🟥 **디렉토리 존재 축** (2026-08-17). 위 블록은 `-type f` 라 **파일만** 센다 — 빈
+  #   디렉토리는 관측면에 아예 없었고, `mkdir -p uploads outputs tmp` 만 하는 capability 가
+  #   `writes: read-only` 선언으로 **✅ VERIFIED** 를 받았다(known-pair 3-arm 실측).
+  #   git 은 빈 디렉토리를 추적하지 않으므로 격리 클론 샌드박스에도 없다 — 즉 이건 warm
+  #   cache 가 아니라 **관측면의 구멍**이다(원정 §2 의 진단을 이 실측이 정정했다).
+  #   ★존재만 센다, mtime 은 안 센다 — 안쪽 파일이 바뀔 때마다 디렉토리 mtime 이 움직여
+  #    읽기전용 capability 가 거짓 VIOLATION 을 받는다.
+  #   ★`.git` 제외 경계는 위 파일 축과 **같다**. 갈라지면 한쪽만 고쳐지는 구조가 된다.
+  find "$1" -type d -not -path '*/.git/*' -not -path '*/.git' 2>/dev/null \
+    | LC_ALL=C sort | sed 's/^/dir  /'
+  # 🟥 **비정규 노드 축** (2026-08-17, cross-family codex/gpt-5.5 지목 → 실측 확인).
+  #   `-type f` 도 `-type d` 도 symlink·fifo·소켓·디바이스 노드를 안 센다. 실측:
+  #     entry `ln -sf /etc/passwd leaked_link` + writes: read-only  → ✅ VERIFIED
+  #     entry `mkfifo backdoor_pipe`          + writes: read-only  → ✅ VERIFIED
+  #   위 디렉토리 축을 더한 **뒤에도** 둘 다 통과했다 — 같은 결함 클래스가 남아 있었다.
+  #   ★symlink 는 **대상까지** 잰다. 존재만 세면 같은 경로를 다른 곳으로 다시 거는
+  #    `ln -sf other link` 가 무변화로 보인다 — 그게 이 축에서 가장 위험한 형태다.
+  #   ★`stat -f`/`-printf` 를 안 쓴다 — 전자는 BSD 전용, 후자는 GNU 전용이라 한쪽 CI 에서
+  #    조용히 죽는다([[feedback_wiring_surfaces_hidden_failures]] 의 실측 클래스).
+  #    `-type` 술어와 `readlink` 만 쓰면 양쪽에서 돈다.
+  find "$1" -type l -not -path '*/.git/*' 2>/dev/null | LC_ALL=C sort \
+    | while IFS= read -r _l; do
+        printf 'link  %s -> %s\n' "$_l" "$(readlink "$_l" 2>/dev/null)"
+      done
+  find "$1" -not -path '*/.git/*' -not -path '*/.git' \
+       ! -type f ! -type d ! -type l 2>/dev/null \
+    | LC_ALL=C sort | sed 's/^/node  /'
   # ⚠️ 명명된 한계: 개행이 든 파일명은 `find` 출력에서 쪼개진다. 이 프로브가 도입될 때부터
   #    있던 성질이고 이번에 안 고쳤다 — 고치려면 `find -print0` 로 전 구간을 널 구분해야 한다.
 }
@@ -683,6 +710,83 @@ EOF
     fails=$((fails+1)); echo "❌ L15b rc=$rc (0 기대) — 정당한 비영 verdict 를 막는다"
   fi
 
+  # ── L16/L16b 빈 디렉토리 생성은 «쓰기» 다 ────────────────────────────────────
+  #   2026-08-17 known-pair 3-arm 실측: `_snapshot` 이 `-type f` 라 **파일만** 셌고,
+  #   `mkdir -p uploads outputs tmp` 만 하는 capability 가 `writes: read-only` 선언으로
+  #   ✅ VERIFIED 를 받았다. git 이 빈 디렉토리를 추적하지 않으니 격리 클론에도 없어서
+  #   before/after 어느 쪽에도 안 나타난다 — warm cache 가 아니라 관측면의 구멍이다.
+  #   과녁이 실물인 이유: qasp 의 static-review 진입점이 정확히 이 모양이다
+  #   (`settings.py` 가 import 시점에 `ensure_dirs()` 를 무조건 실행).
+  cat > "$d/emptydirs.cap" <<EOF
+id: t:emptydirs
+entry: bash -c 'mkdir -p uploads outputs tmp'
+requires_cwd: $_rs
+writes: read-only
+EOF
+  out=$(probe_one "$d/emptydirs.cap" 2>&1); rc=$?
+  if [ "$rc" = "1" ]; then
+    pass=$((pass+1)); echo "✅ L16 빈 디렉토리 생성은 read-only 선언을 위반한다"
+  else
+    fails=$((fails+1)); echo "❌ L16 rc=$rc (1 기대) — 빈 디렉토리 생성이 «no-write» 로 렌더된다"
+  fi
+  # L16b 컨트롤(과차단 방지): 재는 것은 **상태**지 활동이 아니다. 만들었다가 지워
+  #      순증이 0 이면 위반이 아니다 — 여기서 빨개지면 mkdir 자체를 벌하는 것이고,
+  #      그러면 임시 작업공간을 쓰는 정당한 read-only capability 가 전부 막힌다.
+  cat > "$d/dir_net_zero.cap" <<EOF
+id: t:dirnetzero
+entry: bash -c 'mkdir -p scratch_tmp && rmdir scratch_tmp'
+requires_cwd: $_rs
+writes: read-only
+EOF
+  out=$(probe_one "$d/dir_net_zero.cap" 2>&1); rc=$?
+  if [ "$rc" = "0" ]; then
+    pass=$((pass+1)); echo "✅ L16b 컨트롤 — 순증 0 인 디렉토리 왕복은 위반이 아니다(상태를 잰다)"
+  else
+    fails=$((fails+1)); echo "❌ L16b rc=$rc (0 기대) — 활동을 벌한다(상태가 아니라)"
+  fi
+
+  # ── L17/L17b/L18 비정규 노드도 «쓰기» 다 ────────────────────────────────────
+  #   L16 을 넣은 **뒤에도** 통과하던 형태다(실측): `-type f`·`-type d` 어느 쪽도 안 센다.
+  cat > "$d/symlink.cap" <<EOF
+id: t:symlink
+entry: bash -c 'ln -sf /etc/passwd leaked_link'
+requires_cwd: $_rs
+writes: read-only
+EOF
+  out=$(probe_one "$d/symlink.cap" 2>&1); rc=$?
+  if [ "$rc" = "1" ]; then
+    pass=$((pass+1)); echo "✅ L17 symlink 생성은 read-only 선언을 위반한다"
+  else
+    fails=$((fails+1)); echo "❌ L17 rc=$rc (1 기대) — symlink 가 «no-write» 로 렌더된다"
+  fi
+  # L17b — **대상 재지정**. 존재만 세면 이게 무변화로 보인다: 경로도 타입도 그대로다.
+  #        이 축에서 가장 조용한 형태라 별도 레인으로 둔다.
+  mkdir -p "$_rs" 2>/dev/null; ln -sf /dev/null "$_rs/preexisting_link" 2>/dev/null
+  cat > "$d/relink.cap" <<EOF
+id: t:relink
+entry: bash -c 'ln -sf /etc/passwd preexisting_link'
+requires_cwd: $_rs
+writes: read-only
+EOF
+  out=$(probe_one "$d/relink.cap" 2>&1); rc=$?
+  if [ "$rc" = "1" ]; then
+    pass=$((pass+1)); echo "✅ L17b 기존 symlink 의 **대상 재지정**도 위반이다(존재만 세지 않는다)"
+  else
+    fails=$((fails+1)); echo "❌ L17b rc=$rc (1 기대) — 대상을 안 재고 존재만 센다"
+  fi
+  cat > "$d/fifo.cap" <<EOF
+id: t:fifo
+entry: bash -c 'mkfifo backdoor_pipe'
+requires_cwd: $_rs
+writes: read-only
+EOF
+  out=$(probe_one "$d/fifo.cap" 2>&1); rc=$?
+  if [ "$rc" = "1" ]; then
+    pass=$((pass+1)); echo "✅ L18 fifo/비정규 노드 생성도 위반이다"
+  else
+    fails=$((fails+1)); echo "❌ L18 rc=$rc (1 기대) — 비정규 노드가 감시면 밖이다"
+  fi
+
   rm -rf "$d"
   echo "── capability_effect_probe lanes: $pass PASS / $fails FAIL ──"
   [ "$fails" = "0" ]

package/scripts/chamber_run.sh

@@ -56,7 +56,15 @@ _witness_record() { # $1 = artifact path
     return 0
   fi
   if bash "$_WITNESS" record "$SLUG" "$1" >/dev/null 2>&1; then
-    echo "    ↳ 순서 증인: $(basename "$1") 해시 기록됨 — **커밋해야** 증인이 된다"
+    # 🟥 «커밋해야 된다» 로만 적으면 **틀린 처방을 가르친다**(2026-08-17 런 #12 실측:
+    # 네 해시를 한 커밋에 배치했더니 브랜치에서부터 UNORDERED). verify 는
+    # `[ verdict_ts -le pre_max_ts ]` 로 판정하므로 **같은 커밋 = 같은 초 = 실패**다.
+    if [ "$(basename "$1")" = "EMISSION_VERDICT.md" ]; then
+      echo "    ↳ 순서 증인: EMISSION_VERDICT.md 해시 기록됨"
+      echo "       🟥 이 해시는 **게이트 해시들과 다른 커밋**으로 올려야 한다. 같이 커밋하면 UNORDERED 다."
+    else
+      echo "    ↳ 순서 증인: $(basename "$1") 해시 기록됨 — **verdict 보다 먼저, 별도 커밋으로** 올려라"
+    fi
   else
     echo "    ⚠️ 순서 증인 기록 실패: $(basename "$1") (증인 없음 — 미측정이지 0이 아니다)"
   fi
@@ -197,7 +205,12 @@ if [ -f "$_WITNESS" ]; then
       echo "    ✅ 이 EMIT 은 순서 증인을 가진다 — identity ② 승격 근거로 사용 가능"
     else
       echo "    🟥 이 EMIT 에는 순서 증인이 없다(rc=${_wrc:-?}) — identity ② 승격 근거로 쓰지 마라."
-      echo "       (원장 해시를 커밋한 뒤 재실행하면 증인이 성립한다)"
+      echo "       처방 — 커밋을 **합치지 마라**. 세 경로가 각각 증인을 죽인다(2026-08-17 실측):"
+      echo "         ① 한 커밋에 배치        → 같은 초라 UNORDERED (런 #12 에서 재현)"
+      echo "         ② --squash 머지          → 게이트+verdict 가 main 에서 한 커밋으로 접힌다 (런 #11)"
+      echo "         ③ --delete-branch        → 순서를 담은 커밋이 도달 불가가 된다"
+      echo "       올바른 형태: 게이트 해시 커밋 → (별도) verdict 해시 커밋, **두 PR 로 분리해 각각 머지**."
+      echo "       그러면 squash 해도 main 에 2커밋이 남아 순서가 보존된다."
       # ★ 출력만 하고 exit 0 으로 끝내면, stdout 을 안 읽는 호출자에게는 증인 없는 EMIT 도
       # **성공**이다(cross-family F8). EMIT 은 승격 주장이므로 기계적으로 구분되어야 한다.
       WITNESS_EMIT_FAIL=1

package/scripts/ko_tech_writer_calibrate.py

@@ -0,0 +1,127 @@
+#!/usr/bin/env python3
+# -*- coding: utf-8 -*-
+"""ko_tech_writer_calibrate.py — `ko-tech-writer` Step 2 / Step 4-b 스캔의 **판별력** known-pair.
+
+왜 파이썬인가 (엔진 선택은 취향이 아니라 실측 결과다)
+─────────────────────────────────────────────────────────
+`SKILL.md` Step 4 가 허용 엔진을 명시한다: *"유니코드 인식 엔진(ripgrep · GNU grep UTF-8
+로케일 · Python `re` — **`grep -P` 는 예외**)"*. 초판은 `rg` 로 고정했고 **CI 에서 죽었다** —
+ubuntu-latest 에 ripgrep 이 없다(2026-08-17 실측, `HARNESS ERROR ... exited 10`).
+같은 실행에서 이식성 린트도 걸렸다: 셸 파일 안의 `[가-힣]` 문자 범위는
+**GNU grep C 로케일에서 exit 2 로 죽고 그 결과가 «무매치» 로 읽힌다** — 즉 fail-open.
+
+Python `re` 는 ⓐ 세 허용 엔진 중 **어디에나 있는 유일한 것**이고 ⓑ 유니코드를 기본으로
+인식하며 ⓒ 패턴이 셸 밖으로 나가 로케일 문제를 구조적으로 없앤다. **격하가 아니라
+정본이 이미 허용한 등가 엔진으로의 이동**이다.
+
+무엇을 주고 무엇을 안 주는가 — 섞지 마라
+─────────────────────────────────────────────────────────
+  준다     각 스캔이 **양성을 잡고 음성을 안 잡는가**(=판별력). 재현 커맨드와 실행 출력.
+  안 준다  그 스캔이 **임의 문서에서 잔여 0건인가**. 그건 문서마다 따로 재는 것이다.
+           ⇒ 이걸 통과했다고 «Step 2 잔여 0» 을 주장하면
+              `harness_terminal_correlation_and_recommendations.md` 의 강등 사유가 그대로 재발한다.
+
+exit: 0 전 레인 판별 · 1 판별 실패 · 10 harness error(픽스처 부재)
+"""
+import os
+import re
+import sys
+
+HERE = os.path.dirname(os.path.abspath(__file__))
+FIX = os.path.join(HERE, "..", "plugins", "fh-commons", "skills", "ko-tech-writer", "fixtures")
+POS = os.path.join(FIX, "known_positive.md")
+NEG = os.path.join(FIX, "known_negative.md")
+
+# (라벨, 패턴) — Step 2 의 «기계 검출 가능» 5클래스 + Step 4-b 의 2패턴.
+#
+# 🟥 정본의 분류가 과장이라는 것이 첫 캘리브레이션에서 드러났다. SKILL.md 는
+#    "앞 다섯 줄은 기계 검출 가능" 이라 적었는데, **실제로 grep 을 싣고 있는 것은
+#    C1(줄표)·C5(소유 직역) 둘뿐**이고 C2·C3·C4 의 «검출 힌트» 칸은 산문 서술이다.
+#    특히 C4 는 «서술어 없는 마침» 이라는 서술뿐 패턴이 없다.
+LANES = [
+    ("C1 줄표 이어붙임", r"(다|것|음) — "),
+    ("C2 용어-머리", r"^\s*[-*]\s+\*\*[^*]+\*\* — "),
+    ("C3 콜론 나열투", r"[가-힣]은: "),
+    # C4: SKILL.md 에 패턴이 없다. 아래는 **후보 검출**이지 판정이 아니다
+    # (SKILL.md 자신의 규율: "grep은 후보를 표시할 뿐, 남길지 판정은 문맥으로").
+    # 닫힌 명사 어휘라 **recall 이 낮다** — 낮은 쪽이 과차단보다 안전한 방향이고,
+    # 넓히려면 어휘를 늘리는 게 아니라 형태소 분석이 필요하다.
+    ("C4 조각문(후보·닫힌 어휘)", r"(층|것|점|축|건|뿐|바|셈)\.\s*(<!--|$)"),
+    ("C5 소유 직역", r"(을|를) (갖|가지)"),
+    ("C6 전칭 어휘", r"전부|모두|하나도|전혀|일절|예외 없이"),
+    ("C6b 부정형 전칭", r"(안|못) ?(했|만들|나오|잡히)|지 않았(다|습니다)"),
+]
+
+# 절대 잡히면 안 되는 토큰 — 「늘 잡는다」를 내는 죽은 계기 배제용
+NEVER = r"ZZZ_absent_token_ZZZ"
+
+
+def count(path, pattern):
+    """패턴에 매칭되는 **줄 수**. 파일 부재는 예외로 올린다(무음 0 금지)."""
+    rx = re.compile(pattern, re.MULTILINE)
+    n = 0
+    with open(path, encoding="utf-8") as fh:
+        for line in fh:
+            if rx.search(line.rstrip("\n")):
+                n += 1
+    return n
+
+
+def main():
+    for p in (POS, NEG):
+        if not os.path.isfile(p):
+            sys.stderr.write("harness error: fixture missing %s\n" % p)
+            return 10
+
+    print("engine: python%d.%d re (unicode-aware)"
+          % (sys.version_info[0], sys.version_info[1]))
+    print("known-positive: %s" % os.path.relpath(POS, os.path.join(HERE, "..")))
+    print("known-negative: %s" % os.path.relpath(NEG, os.path.join(HERE, "..")))
+    print("")
+
+    npass = nfail = 0
+    for label, pat in LANES:
+        p = count(POS, pat)
+        n = count(NEG, pat)
+        if p >= 1 and n == 0:
+            print("OK   %s -- positive %d / negative 0 (discriminates)" % (label, p))
+            npass += 1
+        elif p < 1:
+            print("FAIL %s -- MISSES the positive (positive %d). A blind instrument." % (label, p))
+            nfail += 1
+        else:
+            print("FAIL %s -- HITS the negative (negative %d). Over-blocks; no discrimination."
+                  % (label, n))
+            nfail += 1
+
+    # META 컨트롤 1 — 없는 토큰이 양쪽 다 0인가 (계기가 «늘 잡는다» 를 내지 않는다)
+    if count(POS, NEVER) == 0 and count(NEG, NEVER) == 0:
+        print("OK   META control -- an absent token matches nothing in either fixture")
+        npass += 1
+    else:
+        print("FAIL META control -- an absent token matched. Do not trust this suite.")
+        nfail += 1
+
+    # META 컨트롤 2 — 두 픽스처가 실제로 다른 파일인가
+    with open(POS, encoding="utf-8") as a, open(NEG, encoding="utf-8") as b:
+        if a.read() != b.read():
+            print("OK   META control -- positive/negative fixtures differ")
+            npass += 1
+        else:
+            print("FAIL META control -- the two fixtures are identical; results are meaningless")
+            nfail += 1
+
+    print("")
+    if nfail == 0:
+        print("CALIBRATED (%d lanes) -- Step 2 five classes + Step 4-b two patterns discriminate."
+              % npass)
+        print("  NOT proven: 'zero residue' in any real document. That is measured per document.")
+        print("  Citing this suite as evidence of 'zero residue' reproduces the very downgrade")
+        print("  recorded in harness_terminal_correlation_and_recommendations.md.")
+        return 0
+    print("NOT CALIBRATED (%d/%d failed)" % (nfail, npass + nfail))
+    return 1
+
+
+if __name__ == "__main__":
+    sys.exit(main())

package/scripts/publish_freshness_check.sh

@@ -46,8 +46,27 @@ run_checks() {
   # ── ① 워킹트리가 깨끗한가 ────────────────────────────────────────────────
   # `--porcelain` 은 추적 파일의 수정·스테이징·미추적을 전부 낸다. 미추적까지 세는 것은
   # 의도적이다 — 2026-08-13 사고는 **남의 미커밋 파일**이 팩된 것이었다.
-  local dirty
-  dirty=$(git status --porcelain 2>/dev/null | grep -vE '^\?\? tracks/' || true)
+  # 🟥 cross-family(codex/gpt-5.5, 2026-08-17) 가 이 한 줄에서 S급 3건을 냈고 S1 은 재현됐다.
+  #   S1 초판 `git status --porcelain 2>/dev/null` 는 stderr 를 버리고 rc 를 안 봐서,
+  #      **git 이 실패하면 빈 문자열이 「깨끗함」으로 읽혔다.** 비가역 게이트의 fail-open.
+  #      재현: printf x >/tmp/badindex; GIT_INDEX_FILE=/tmp/badindex bash <이 파일>
+  #   S3 `status.showUntrackedFiles=no` 로 untracked 이 은폐된다 → -c 로 덮고 -uall 강제
+  #   A4 `assume-unchanged`/`skip-worktree` 비트로 tracked 변경이 은폐된다 → ls-files -v 로 검사
+  local dirty status_out status_rc
+  status_out=$(git -c status.showUntrackedFiles=normal status --porcelain --untracked-files=all 2>&1)
+  status_rc=$?
+  if [ "$status_rc" -ne 0 ]; then
+    bad "git status 가 rc=$status_rc 로 실패했다 — **미측정은 통과가 아니다**:"
+    printf '%s\n' "$status_out" | head -5 | sed 's/^/      /'
+    return 1
+  fi
+  local hidden
+  hidden=$(git ls-files -v 2>/dev/null | grep -E '^[hS]' || true)
+  if [ -n "$hidden" ]; then
+    bad "assume-unchanged / skip-worktree 비트가 걸린 tracked 파일 — status 엔 안 보이지만 npm 은 팩한다:"
+    printf '%s\n' "$hidden" | head -5 | sed 's/^/      /'
+  fi
+  dirty=$(printf '%s\n' "$status_out" | grep -vE '^\?\? tracks/' || true)
   if [ -n "$dirty" ]; then
     bad "워킹트리가 깨끗하지 않다 — publish 는 커밋이 아니라 이 트리를 팩한다:"
     printf '%s\n' "$dirty" | head -10 | sed 's/^/      /'

package/scripts/selfcheck.sh

@@ -530,7 +530,8 @@ for _pair in \
   "scripts/residency_closure_scan.py|scripts/test_residency_closure_lanes.sh" \
   "scripts/reviewer_capability_corpus.tsv|scripts/test_reviewer_capability_conformance.sh" \
   "scripts/field_canon_preload.sh|scripts/test_field_canon_lanes.sh" \
-  "scripts/stale_clone_guard.sh|scripts/test_stale_clone_guard_lanes.sh"
+  "scripts/stale_clone_guard.sh|scripts/test_stale_clone_guard_lanes.sh" \
+  "plugins/fh-commons/skills/ko-tech-writer/SKILL.md|scripts/test_ko_tech_writer_lanes.sh"
 do
   _subj="${_pair%%|*}"; _anc="${_pair##*|}"; _lbl="${_anc##*/}"
   if [ ! -f "$_subj" ]; then

package/scripts/test_adapter_lanes.sh

@@ -67,13 +67,14 @@ _lane() {   # $1=id $2=class $3=설명 $4=expected_rc $5=actual_rc
 
 # 계기 전제 — 어댑터 3종이 **실제로 거기 있는지** 먼저 본다. 없으면 이 레인 묶음은
 # «전부 초록» 이 아니라 하네스 오류다(빈 대상에 대고 초록을 내는 것이 여기서 막으려는 형태).
-for a in gstack_content_safety mate_agent_boundary qasp_new_code_anchor peer_resolve; do
+for a in gstack_content_safety mate_agent_boundary qasp_new_code_anchor qasp_web_rules peer_resolve; do
   [ -r "$ADAPTER_DIR/$a.sh" ] || { echo "❌ HARNESS-ERROR — $ADAPTER_DIR/$a.sh 부재. 빈 대상에 초록을 내지 않는다"; exit 10; }
 done
 
 G="$ADAPTER_DIR/gstack_content_safety.sh"
 M="$ADAPTER_DIR/mate_agent_boundary.sh"
 Q="$ADAPTER_DIR/qasp_new_code_anchor.sh"
+W="$ADAPTER_DIR/qasp_web_rules.sh"
 
 # 「peer 가 안 보이는 세계」 = 잘 형성된 루트 목록인데 그 안에 이 peer 가 없는 것.
 # (빈 **문자열**이 아니다 — 그건 「어디를 볼지 자체가 없다」는 다른 명제이고 전제 파손이다.)
@@ -196,6 +197,41 @@ else
 fi
 echo
 
+# ═══════════════════════════════════════════════════════════════════════════
+# ④ qasp-web-rules  (자매 노드 — 같은 peer, 다른 능력)
+# ═══════════════════════════════════════════════════════════════════════════
+# 🟥 ③ 과 **같은 peer 인데 다른 enum 이다**. 값을 옮겨 쓰면 안 된다 —
+#    ③ 의 `3=HARNESS_ERROR`·`4=OUT_OF_SCOPE` 와 여기의 `3=ENGINE_ERROR` 는 다른 사건이고,
+#    여기엔 `4` 가 아예 없다. 두 노드를 한 눈에 보는 이 파일이 그 혼동의 1순위 발생지다.
+echo "── qasp-web-rules (enum 0=CLEAN 1=FINDINGS 2=ARGS 3=ENGINE_ERROR 20=PEER_ABSENT)"
+_lane W1 resolve-absent "peer 불가시 → 전용값 PEER_ABSENT(CLEAN 으로도 ENGINE_ERROR 로도 안 접힌다)" 20 \
+  "$(FH_CLUSTER_ROOTS="$EMPTY_WORLD" _rc bash "$W" --known-positive)"
+_lane_peer "$QS_ROOT" W2 control "peer 가시 → 양성 arm 은 FINDINGS" 1 "$(_rc bash "$W" --known-positive)"
+_lane_peer "$QS_ROOT" W3 control "peer 가시 → 음성 arm 은 CLEAN (판별력의 증거)" 0 "$(_rc bash "$W" --known-negative)"
+_lane W4 enum "모드 미지정 → ARGS(2). 안 돈 실행을 판정으로 렌더하지 않는다" 2 "$(_rc bash "$W")"
+_lane W5 enum "없는 diff-json → ARGS(2). 호출 오류지 계기 고장이 아니다" 2 \
+  "$(_rc bash "$W" --diff-json /nonexistent/nope.json)"
+# 🟥 W6 — 픽스처 부재는 **ARGS 가 아니라 HARNESS_ERROR** 다. 캘리브레이션 쌍이 사라진 것은
+#    「호출을 잘못했다」가 아니라 **「이 계기가 자기 판별력을 증명할 수 없다」**는 뜻이고,
+#    그 둘을 같은 값으로 접으면 «쌍이 없는 계기»가 «인자 실수»로 보고된다.
+if [ -n "$QS_ROOT" ]; then
+  FIXBK="$T/fixbk"; mkdir -p "$FIXBK"
+  FIXPOS="$ADAPTER_DIR/fixtures/qasp_web_rules_known_positive.json"
+  if [ -r "$FIXPOS" ]; then
+    mv "$FIXPOS" "$FIXBK/pos.json"
+    _lane W6 enum "캘리브레이션 픽스처 부재 → HARNESS_ERROR(10), ARGS 아님" 10 \
+      "$(_rc bash "$W" --known-positive)"
+    mv "$FIXBK/pos.json" "$FIXPOS"
+    # 복원 확인 — 레인이 자기가 옮긴 것을 되돌렸는지 **잰다**(안 하면 다음 레인이 거짓 적색)
+    [ -r "$FIXPOS" ] || { echo "❌ HARNESS-ERROR — W6 가 픽스처를 복원하지 못했다"; exit 10; }
+  else
+    echo "  ⏭  W6     [enum         ] 양성 픽스처 부재 — SKIP (통과 아님)"
+  fi
+else
+  echo "  ⏭  W6     [enum         ] qasp 실물 루트 없음 — SKIP (통과 아님)"
+fi
+echo
+
 # ═══════════════════════════════════════════════════════════════════════════
 # 되돌림 프로브 — 앵커가 장식이 아님을 «되돌려 보고» 잰다 (적용확인 → 실행 → 복원)
 # ═══════════════════════════════════════════════════════════════════════════

package/scripts/test_ko_tech_writer_lanes.sh

@@ -0,0 +1,61 @@
+#!/usr/bin/env bash
+# test_ko_tech_writer_lanes.sh — `ko-tech-writer` Step 2 / Step 4-b 판별력 known-pair (얇은 래퍼).
+#
+# ─────────────────────────────────────────────────────────────────────────────
+# 왜 필요한가 — 이 레포가 자기 스캔을 UNCALIBRATED 로 강등해 놨다
+# ─────────────────────────────────────────────────────────────────────────────
+# `knowledge/shared/harness-core/harness_terminal_correlation_and_recommendations.md`:
+#   Step 2  "잔여 0건(양성 컨트롤 동반)" 주장 -> UNCALIBRATED: 컨트롤·재현커맨드·출력이
+#           하나도 없다. 재현 불가한 0은 0의 증거가 아니다
+#   Step 4  "전칭 단정 잔여 0건" 주장        -> UNCALIBRATED, 자기반증(그 시점에 3건 생존)
+#
+# 챔버 런 #12(2026-08-17, prosody-lens KILL)가 이 부채를 배출 판정의 결정적 근거로
+# 인용했다 — "같은 계열 계기가 미보정인데 하나 더 짓는 것은 미보정 계기의 증식".
+# 운영자 결정: 새 계기보다 이 부채가 먼저. 이 파일이 그 부채를 갚는다.
+#
+# ─────────────────────────────────────────────────────────────────────────────
+# 왜 래퍼인가 — 패턴이 셸 밖에 있어야 하는 실측 이유가 둘 있다
+# ─────────────────────────────────────────────────────────────────────────────
+# 초판은 패턴을 이 파일 안에 두고 엔진을 ripgrep 으로 고정했다. CI 가 둘 다 반증했다
+# (2026-08-17, ubuntu-latest):
+#   1) ripgrep 부재 -> 스위트가 rc=10 으로 죽었다(HARNESS ERROR). 설계는 옳게 작동했다 —
+#      SKIP 이 아니라 시끄럽게 죽었다 — 그러나 CI 에서 못 도는 앵커는 앵커가 아니다.
+#   2) 이식성 린트 적중 — 셸 파일 안의 한글 문자 범위는 GNU grep C 로케일에서 exit 2 로
+#      죽고 그 결과가 "무매치"로 읽힌다. 즉 fail-open.
+# 두 결함이 같은 처방으로 닫힌다: **패턴을 Python 으로 옮긴다.** SKILL.md 가 허용 엔진으로
+# Python `re` 를 이미 명시했으므로 격하가 아니라 등가 엔진으로의 이동이고, python3 는
+# 세 허용 엔진 중 어디에나 있는 유일한 것이다.
+#
+# ─────────────────────────────────────────────────────────────────────────────
+# 무엇이 재어지는가 — Step 2 다섯 클래스 + Step 4-b 두 패턴
+# ─────────────────────────────────────────────────────────────────────────────
+#   Step 2  C1 줄표 이어붙임 · C2 용어-머리 · C3 콜론 나열투 · C4 조각문 · C5 소유 직역
+#   Step 4-b C6 전칭 어휘 · C6b 부정형 전칭
+# 각 레인의 PASS 조건은 **양성 >= 1 그리고 음성 == 0** 이다. 존재 확인이 아니라 판별
+# 확인이라는 점이 핵심 — known-negative 가 없으면 "오탐이 있나" 조차 못 재고, 그러면
+# PASS 는 "늘 잡는 계기" 와 구분되지 않는다.
+#
+# 🟥 첫 캘리브레이션이 정본의 과장을 드러냈다: SKILL.md 는 Step 2 의 "앞 다섯 줄은 기계
+# 검출 가능" 이라 적었는데, 실제로 grep 을 싣고 있는 것은 C1·C5 둘뿐이고 C2·C3·C4 의
+# 검출 힌트 칸은 산문 서술이다. 특히 C4 는 패턴이 없어서, 내가 임의로 지은 패턴이
+# 양성을 0건으로 놓쳤다 — 계기를 세우자마자 대상의 결함이 나온 형태다.
+#
+# 🟥 이 스위트가 PASS 를 내도 주장하면 안 되는 것: "Step 2 잔여 0건" · "Step 4 잔여 0건".
+# 판별력과 잔여는 다른 명제이고, 후자는 문서마다 따로 잰다. 그 혼동이 애초에 두 행을
+# UNCALIBRATED 로 강등시킨 사유다.
+#
+# 사용: bash scripts/test_ko_tech_writer_lanes.sh
+# exit: 0 판별 확인(전 레인 PASS) · 1 판별 실패 · 10 harness error(python3/픽스처 부재)
+
+set -uo pipefail
+
+SRC="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
+PY="$SRC/ko_tech_writer_calibrate.py"
+
+command -v python3 >/dev/null 2>&1 || {
+  echo "harness error: python3 absent -- cannot measure. Not a pass." >&2; exit 10; }
+[ -f "$PY" ] || { echo "harness error: missing $PY" >&2; exit 10; }
+
+echo "-- ko-tech-writer Step2/4-b discrimination known-pair --"
+python3 "$PY"
+exit $?