@chrono-meta/fh-gate 2.2.0 → 2.4.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/capability_registry_check.sh

@@ -373,6 +373,13 @@ _check_one() {
   if [ -z "$CAP_cal_pos_expect" ] || [ -z "$CAP_cal_neg_expect" ]; then
     _fail "M4" "캘리브레이션 쌍 미선언(양성·음성 expect 둘 다 필요) — 답을 아는 케이스를 못 가르는 계기는 재는 게 아니다"
     OBS_WHY="캘리브레이션 쌍 미선언"
+  # 🟥 위 «쌍 미선언» 검사는 **선언층**이므로 --declaration-only 에서도 돈다. 아래부터가
+  #   **실행**이고, 그것만 건너뛴다. 둘을 한 덩어리로 스킵하면 «쌍을 아예 선언 안 한»
+  #   capfile 이 선언층 검사를 통과해버린다 — 2026-08-17 실측에서 relay 가 삼킨
+  #   `qasp_clean.cap` 이 정확히 그 값으로 걸렸다(M4 쌍 미선언).
+  elif [ "${DECL_ONLY:-0}" -eq 1 ]; then
+    printf '  ⏭  M4 — --declaration-only: 쌍 선언은 확인했고 **arm 은 실행하지 않았다**(SKIPPED, PASS 아님)\n'
+    OBS_WHY="--declaration-only 로 arm 미실행"
   elif [ "$FILE_FAILED" -eq 1 ] && [ -z "${CRC_FORCE_M4:-}" ]; then
     printf '  ⏭  M4 — 앞선 축이 실패해 실행 생략(SKIPPED, PASS 아님)\n'
     OBS_WHY="앞선 축 실패로 M4 생략"
@@ -417,6 +424,11 @@ _check_one() {
   #   «못 쟀다» 를 출력에 남긴다. 미측정을 0 으로 렌더하지 않는다.
   if [ -z "$CAP_writes" ]; then
     :   # writes 미선언은 M2 가 이미 처리한다
+  elif [ "${DECL_ONLY:-0}" -eq 1 ]; then
+    # 🟥 M6 는 통째로 실행 기반이다(effect probe 가 entry 를 실제로 돌린다). 선언층에
+    #   남길 것이 없으므로 전부 건너뛴다 — 그래서 이 모드의 출력이 REGISTRABLE 이 아니라
+    #   DECLARATION_VALID 다. `writes:` 의 진위는 이 모드에서 **등록자 주장**으로 남는다.
+    printf '  ⏭  M6 — --declaration-only: 진입점을 실행하지 않았다. `writes:` 는 미검증 주장이다(SKIPPED, PASS 아님)\n'
   elif [ "$FILE_FAILED" -eq 1 ] && [ -z "${CRC_FORCE_M6:-}" ]; then
     # ★앞선 축이 실패했으면 **진입점을 실행하지 않는다**(2026-08-16 cross-family 지목).
     #   M6 는 `eval` 로 entry 를 돌리므로, «등록 거부될 capfile» 의 진입점을 굳이 실행하는
@@ -619,6 +631,30 @@ LIAR
   _tg "관측범위: 미선언 args 를 미선언이라 적는다" 1 "$T/nocal.cap" \
       "실행된 arm: 양성 «<미선언>» / 음성 «<미선언>»"
 
+  # ── D1–D4 --declaration-only (2026-08-17, relay 배선용) ─────────────────────
+  # 이 모드는 `relay_channel.sh` 가 **호출 시점**에 부르는 경로다. 전량 호출하면 M4/M6 이
+  # 매 relay 실행마다 노드를 다시 돌리므로 선언층만 본다 — 그 대가를 레인으로 고정한다.
+  local dout drc
+  # D1 선언층 결함은 이 모드에서도 잡힌다(잡히는 게 요점이다 — 안 잡히면 배선이 무의미)
+  dout=$(bash "$0" --declaration-only "$T/nocal.cap" 2>&1); drc=$?
+  if [ "$drc" -eq 1 ]; then pass=$((pass+1)); printf '  ✅ %-40s\n' "D1: 선언층 결함은 --declaration-only 도 잡는다"
+  else fail=$((fail+1)); printf '  ❌ %-40s — rc=%s (기대 1)\n' "D1: 선언층 결함" "$drc"; fi
+  # D2 ★컨트롤 — 정상 선언은 통과한다. D1 만 있으면 「전부 막는 모드」와 구별이 안 된다
+  dout=$(bash "$0" --declaration-only "$T/good.cap" 2>&1); drc=$?
+  if [ "$drc" -eq 0 ]; then pass=$((pass+1)); printf '  ✅ %-40s\n' "D2: 컨트롤 — 정상 선언은 통과(과차단 아님)"
+  else fail=$((fail+1)); printf '  ❌ %-40s — rc=%s (기대 0)\n' "D2: 컨트롤" "$drc"; fi
+  # D3 🟥 어휘 분리 — 부분 검사를 REGISTRABLE 로 찍으면 안 된다. 그게 이 모드의 최대 위험이다
+  case "$dout" in
+    *DECLARATION_VALID*) pass=$((pass+1)); printf '  ✅ %-40s\n' "D3: REGISTRABLE 이 아니라 DECLARATION_VALID" ;;
+    *) fail=$((fail+1)); printf '  ❌ %-40s — 부분 검사가 전체 통과 어휘로 찍힌다\n' "D3: 어휘 분리" ;;
+  esac
+  # D4 M4/M6 을 «안 돌렸다» 고 말한다. 침묵하면 읽는 사람이 PASS 로 읽는다(미측정≠0)
+  case "$dout" in
+    *"M4 — --declaration-only"*|*"M6 — --declaration-only"*)
+      pass=$((pass+1)); printf '  ✅ %-40s\n' "D4: 안 돌린 축을 안 돌렸다고 적는다" ;;
+    *) fail=$((fail+1)); printf '  ❌ %-40s — 생략을 침묵으로 처리한다\n' "D4: 미실행 표기" ;;
+  esac
+
   printf '\n  통과 %d · 실패 %d\n' "$pass" "$fail"
   rm -rf "$T"
   [ "$fail" -eq 0 ] || return 1
@@ -626,14 +662,44 @@ LIAR
 }
 
 [ "${1:-}" = "--self-test" ] && { _self_test; exit $?; }
-[ $# -ge 1 ] || _die "capfile 인자가 없다. 사용법: $0 <capfile> [<capfile>...]"
 
-printf 'capability_registry_check — M1–M5 + 추가조항 (등록 시점)\n'
+# ── --declaration-only (2026-08-17) ───────────────────────────────────────────
+# 🟥 **왜 이 모드가 있나 — 그리고 왜 「가벼운 등록검사」가 아닌가.**
+# `relay_channel.sh` 가 호출 시점에 이 검사기를 부르게 배선하면서 필요해졌다. 그냥 전량
+# 호출하면 **매 relay 실행마다 M4(known-pair arm 을 실제로 돌린다)와 M6(effect probe 가
+# entry 를 `eval` 로 실행한다)가 재실행된다** — 호출 한 번이 노드를 여러 번 더 돌리고,
+# M6 는 그 자체가 위험 노출이라 이 파일이 이미 «등록 거부될 capfile 의 진입점을 굳이
+# 실행하지 않는다» 는 가드를 갖고 있다. 그 판단을 호출 경로에도 그대로 적용한다.
+#
+# **대안을 안 고른 이유**: relay 안에 선언 검사를 새로 쓰는 것. 그러면 같은 스키마에 대해
+# 계기가 셋이 되고, 이 레포는 그 divergent-normalizer 함정을 **이미 두 번 밟았다**
+# (relay 헤더 §META_KEYS — 2026-08-11 · 2026-08-16, 둘 다 «등록되는데 부를 수 없는» 선언).
+# 스키마의 단일 소스는 이 파일이어야 한다.
+#
+# 🟥 **이 모드는 REGISTRABLE 을 말하지 않는다.** 출력 어휘를 일부러 분리한다 —
+# `DECLARATION_VALID` 는 «선언층이 유효하다» 이지 «등록 가능하다» 가 아니다. 둘을 같은
+# 단어로 찍으면 부분 검사가 전체 통과로 읽힌다(`[[feedback_not_found_is_not_zero_family]]`).
+DECL_ONLY=0
+if [ "${1:-}" = "--declaration-only" ]; then DECL_ONLY=1; shift; fi
+export DECL_ONLY
+
+[ $# -ge 1 ] || _die "capfile 인자가 없다. 사용법: $0 [--declaration-only] <capfile> [<capfile>...]"
+
+if [ "$DECL_ONLY" -eq 1 ]; then
+  printf 'capability_registry_check — **선언층만** (M1·M2·M3·M5 + 추가조항 · M4/M6 미실행)\n'
+else
+  printf 'capability_registry_check — M1–M6 + 추가조항 (등록 시점)\n'
+fi
 for f in "$@"; do _check_one "$f"; done
 
 printf '\n'
 if [ "$FAILED" -eq 0 ]; then
-  printf '✅ REGISTRABLE — 전 capfile 이 M1–M5 + 추가조항 통과\n'; exit "$RC_OK"
+  if [ "$DECL_ONLY" -eq 1 ]; then
+    printf '✅ DECLARATION_VALID — 선언층 통과. 🟥 REGISTRABLE 이 아니다: M4(known-pair 실행)·M6(선언 진위)는 **안 돌렸다**\n'
+  else
+    printf '✅ REGISTRABLE — 전 capfile 이 M1–M6 + 추가조항 통과\n'
+  fi
+  exit "$RC_OK"
 else
   printf '❌ REJECTED — 등록 불가. 그 표면은 오늘 있던 자리(dispatch 엔트리)에 그대로 남는다 — 손실이 아니다\n'
   exit "$RC_REJECT"

package/scripts/relay_channel.sh

@@ -21,10 +21,20 @@
 # ─────────────────────────────────────────────────────────────────────────────
 # 이 계기가 증명하지 않는 것 (과잉주장 금지 — 명명된 잔여)
 # ─────────────────────────────────────────────────────────────────────────────
-# · **등록 시점은 여기서 안 막는다.** 스펙 §1 이 이름 붙인
-#   `scripts/capability_registry_check.sh`(M1–M5 + M4 쌍 실행)는 **여전히 없다.**
-#   여기는 *call moment* 만 본다 — 선언이 문법에 맞는지·enum 안인지는 런타임에
-#   다시 거부하지만(ⓑ.5), 그 선언이 **진실인지**는 검사하지 않는다.
+# · ✅ **등록 시점 선언층은 2026-08-17 부터 여기서 막는다(배선됨).** `do_run` 이
+#   `_registry_gate` 로 `scripts/capability_registry_check.sh --declaration-only` 를 부르고,
+#   REJECTED 면 조합을 열지 않는다(COMPOSITION_VIOLATION).
+#   🟥 **남은 잔여는 좁아졌을 뿐 사라지지 않았다**: 그 모드는 M4(known-pair 실행)·M6(선언
+#   진위)를 **안 돌린다**. 즉 여기서 닫히는 것은 «선언이 형식에 맞나»(M1·M2·M3·M5 +
+#   추가조항)이고, «선언이 **진실인지**»는 여전히 검사하지 않는다 — `writes: read-only`
+#   의 진위는 등록 시점 M6 의 몫이다. 왜 전량 호출을 안 했는지는 `_registry_gate` 헤더에.
+#
+# · (이력) 🟥 **이 자리에 이렇게 적혀 있었다 — 그리고 그 문장이 잔여를 은폐했다.**
+#   원문: *"`scripts/capability_registry_check.sh`(M1–M5 + M4 쌍 실행)는 **여전히 없다**."*
+#   2026-08-17 실측 시점에 그 파일은 **42KB 로 실재했고 정상 작동했다.** 낡은 서술이
+#   «없으니 안 부르는 게 당연하다» 를 정당화하는 형태로 남아 있었고, 그 사이 relay 는
+#   `❌ REJECTED` 판정을 받는 capfile 을 그냥 실행해 CLEAN 을 체인에 병합했다.
+#   **stale 한 잔여 서술은 잔여를 기록하는 게 아니라 은폐한다.**
 # · **호출 순간 자체엔 기계 floor 가 없다.** "지금 capability 를 조합하려 한다" 를
 #   관측하는 훅은 존재하지 않는다(트리거가 의도다). 이 스크립트는 *호출되면* 계산을
 #   강제하지만, **호출되도록 강제하지는 못한다.** 스펙 §1 이 이미 그렇게 적어놨고
@@ -507,6 +517,73 @@ _invoke_node() {
   return 0
 }
 
+# ── 등록 시점 게이트 ──────────────────────────────────────────────────────────
+# 호출 시점(여기)에서 **등록 시점 검사기를 그대로 부른다.** 선언 검사를 여기 새로 쓰지
+# 않는 것이 요점이다 — 같은 스키마에 계기가 둘이 되면 관대함이 갈리고, 이 파일은 그
+# divergent-normalizer 함정을 **이미 두 번 밟았다**(§META_KEYS 헤더: 2026-08-11 · 08-16,
+# 둘 다 «등록되는데 부를 수 없는» 선언을 만들었다). 스키마의 단일 소스는 검사기 쪽이다.
+#
+# 🟥 **`--declaration-only` 로 부르는 이유 — 그리고 그 대가를 명시한다.**
+# 전량 호출하면 M4(known-pair arm 실행)와 M6(effect probe 가 entry 를 실행)가 **매 relay
+# 호출마다 재실행된다.** 검사기 자신이 «등록 거부될 capfile 의 진입점을 굳이 실행하는 것은
+# 그 자체가 위험 노출» 이라는 가드를 갖고 있고, 그 판단은 호출 경로에서도 같다.
+# ⇒ **대가**: 이 게이트는 «선언이 형식에 맞나» 를 보지 «선언이 사실인가» 는 **안 본다.**
+#   `writes: read-only` 의 진위는 여기서 닫히지 않는다(그건 등록 시점 M6 의 몫이다).
+#   이 파일 헤더가 원래 적어둔 잔여 — «선언이 진실인지는 검사하지 않는다» — 는
+#   **좁아졌을 뿐 사라지지 않았다.** 좁아진 폭이 정확히 M1·M2·M3·M5 + 추가조항이다.
+#
+# **degrade 방향 = fail-closed.** 검사기 부재·실행 실패·알 수 없는 rc 는 전부 차단이다.
+# 이건 조합을 여는 게이트이고, 게이트의 도구가 없을 때 통과시키는 것은 게이트가 아니다
+# (CLAUDE.md §Surface-Class Degrade Invariant). 과차단 위험은 인정하되, 여기서 열면
+# 배선의 목적 자체가 사라진다 — 안 부르던 상태와 같아지기 때문이다.
+_registry_gate() {
+  # 심볼릭 링크 해석. `${0%/*}` 는 **호출에 쓰인 이름**의 디렉터리를 주므로, 이 파일로의
+  # 심링크가 있으면 링크 옆(아무것도 없는 곳)을 뒤지고 «검사기 부재» 로 fail-closed 한다.
+  # 자기 경로 버그를 남의 파일 탓으로 돌리는 게이트는 그냥 실패하는 것보다 나쁘다 —
+  # 읽는 사람을 틀린 수리로 보낸다(검사기 M6 이 2026-08-16 에 실제로 밟은 형태).
+  local _src="${BASH_SOURCE[0]}" _dir
+  while [ -L "$_src" ]; do
+    _dir=$(cd -P "$(dirname "$_src")" && pwd)
+    _src=$(readlink "$_src")
+    case "$_src" in /*) ;; *) _src="$_dir/$_src" ;; esac
+  done
+  _dir=$(cd -P "$(dirname "$_src")" && pwd)
+  local checker="$_dir/capability_registry_check.sh"
+
+  if [ ! -r "$checker" ]; then
+    _violation "등록 검사기에 도달할 수 없다: $checker — fail-closed(조합을 열지 않는다)"
+    return 1
+  fi
+
+  local f out rc bad=0
+  GATE_SHA=()   # 게이트가 «본» 바이트의 해시. 실행 직전에 대조한다(TOCTOU).
+  for f in "${CAPS[@]}"; do
+    # 🟥 rc 는 **직접** 취한다. 파이프로 읽으면 필터의 rc 가 잡혀 REJECTED 가 0 으로 읽힌다
+    #    — 이 레포가 이름 붙인 결함이고 D6(pipefail) 과 같은 뿌리다.
+    out=$(bash "$checker" --declaration-only "$f" 2>&1); rc=$?
+    case "$rc" in
+      # 🟥 **성공 출력을 버리지 않는다** (cross-family A급 수리). 초판은 `0) ;;` 로 통째로
+      #   폐기했고, 그 결과 `relay run` 출력에는 `FH_STATUS: SUCCESS` 만 남아 **호출자가
+      #   «전체 검사가 통과했다»로 읽었다.** 실제로는 M4(known-pair 실행)·M6(선언 진위)를
+      #   안 돌린 선언층 통과다. 침묵은 «다 봤다»로 읽힌다 — 안 본 축을 이름으로 찍는다.
+      0) printf 'FH_REGISTRY_GATE: DECLARATION_VALID %s\n' "$(basename "$f")"
+         printf 'FH_REGISTRY_GATE_SKIPPED: M4 M6 (%s — 선언 진위는 등록 시점 검사의 몫)\n' "$(basename "$f")"
+         # 🟥 **검사한 바이트를 실행할 바이트에 결박한다** (cross-family A급 — TOCTOU).
+         #   게이트는 capfile «경로» 를 검사하고, 그 뒤 `_merge_caps`·`_invoke_node` 가 같은
+         #   경로를 **다시 읽는다.** 그 사이 파일이 바뀌면 «검사된 선언» 과 «실행된 선언» 이
+         #   다르고, 초판엔 둘을 묶는 것이 없었다. 여기서 해시를 남기고 실행 직전에 대조한다.
+         GATE_SHA+=("$(_sha < "$f")") ;;
+      1) _violation "등록 시점 검사 REJECTED — 부를 수 없는 선언이다: $f"
+         printf '%s\n' "$out" | sed -n 's/^  ❌ /     ↳ /p' >&2
+         bad=1 ;;
+      *) _violation "등록 검사기가 비정상 종료(rc=$rc): $f — fail-closed"
+         printf '%s\n' "$out" | tail -3 >&2
+         bad=1 ;;
+    esac
+  done
+  [ "$bad" -eq 0 ]
+}
+
 # ── run ───────────────────────────────────────────────────────────────────────
 do_run() {
   local task="" recdir="" ack=0 n=0 upstream="" rc final=$RC_PASS _ci
@@ -572,6 +649,41 @@ do_run() {
   local ncap=${#CAPS[@]}
   [ "$ncap" -ge 2 ] || _die "relay 는 노드 2개 이상을 요구한다(받은 수: $ncap) — 1노드는 단순 호출이지 경유가 아니다"
 
+  # ── 등록 시점 게이트 배선 (2026-08-17) ──────────────────────────────────────
+  # 🟥 **왜 여기가 필요했나 — 이 파일이 게이트를 갖고도 안 불렀다.**
+  # 2026-08-17 실측: `capability_registry_check.sh qasp_clean.cap` → `❌ REJECTED`
+  # (M2+ enum 에 「안 돌았다」 없음 · M5 requires_cwd 미선언 · M4 캘리브레이션 쌍 미선언).
+  # **그런데 relay 는 그 cap 을 그냥 실행하고 CLEAN 을 체인에 병합했다** — grep 결과
+  # `capability_registry_check` 히트 3건이 **전부 주석**이고 실행문은 0줄이었다.
+  # 게이트는 42KB 로 실재하고 정상 작동하는데 **아무도 부르지 않는** 상태였다
+  # ([[feedback_built_but_not_wired]] — 「호출부 미배선이면 산문이 실행기」).
+  # 그 결과가 §2-b 의 «relay 3노드 CLEAN 동의»이고, 그 동의는 허상이었다.
+  # 🟥 **우회 채널이 있고, 왜 있는지 적는다 — 이걸 숨기면 그게 더 나쁘다.**
+  # 이 게이트를 켜자 relay 자신의 **런타임 심층 방어 4종**이 do_run 경로에서 도달 불가가 됐다
+  # (실측: L26b «126 이상» · L31b «중복 선언» · L36b 실행 불가 · N8 requires_cwd 부재).
+  # 구조적으로 배타적이다 — entry 가 실행 불가여야 126 이 나는데 그건 M1 이 먼저 잡고,
+  # requires_cwd 가 없어야 NOT_CALLABLE 인데 그건 M5 가 먼저 잡는다.
+  # 그 방어들은 **죽은 코드가 아니라 심층 방어**다: 게이트를 안 거치는 진입점, 게이트가
+  # fail-closed 로 죽은 뒤의 경로에서 여전히 마지막 벽이다. 시험할 수 없으면 썩는다
+  # ([[feedback_built_but_not_wired]] 의 거울상 — 배선했더니 아래층이 안 보이게 된 형태).
+  # ⇒ 끄는 길을 **하나만**, **시끄럽게** 둔다. 조용한 우회가 실사용으로 새는 것이지
+  #   존재 자체가 새는 게 아니다. 이 줄이 실사용 로그에 보이면 그게 결함 신호다.
+  if [ "${FH_RELAY_REGISTRY_GATE:-on}" = "off" ]; then
+    # 🟥 **우회는 실행을 막지 않지만 clearing PASS 는 구조적으로 막는다** (cross-family A급 수리).
+    #   초판은 경고만 stderr 로 찍었는데, 재현 결과 **REJECT capfile 이 실제로 실행되고
+    #   `FH_RELAY_VERDICT: PASS` 까지 갔다.** 경고는 텍스트일 뿐 게이트가 아니다.
+    #   ⇒ `DEGRADED_SEEN` 과 같은 형태로 **verdict 를 강등**한다. 심층 방어 레인들은 rc=2/4 를
+    #     기대하므로 안 깨지고, 실사용자가 이 스위치를 켜도 **게이트를 열지는 못한다.**
+    #   («이중 조건 env» 대신 이걸 고른 이유: 조건을 늘려도 둘 다 켜면 그만이고, 그건 여전히
+    #     PASS 를 낸다. 여기서 막아야 하는 것은 진입이 아니라 **통과**다.)
+    GATE_BYPASSED=1
+    printf '⚠️  등록 게이트 우회 중 (FH_RELAY_REGISTRY_GATE=off) — 심층 방어 시험용 경로다.\n' >&2
+    printf '⚠️  실사용에서 이 줄이 보이면 결함이다: 부를 수 없는 선언이 조합에 들어온다.\n' >&2
+    printf '⚠️  이 런은 clearing PASS 를 낼 수 없다(강등 고정).\n' >&2
+  else
+    _registry_gate || { printf 'FH_STATUS: ERROR\nFH_RELAY_VERDICT: COMPOSITION_VIOLATION\n'; return "$RC_VIOLATION"; }
+  fi
+
   _merge_caps || { printf 'FH_STATUS: ERROR\nFH_RELAY_VERDICT: COMPOSITION_VIOLATION\n'; return "$RC_VIOLATION"; }
   _run_checks || { printf 'FH_STATUS: ERROR\nFH_RELAY_VERDICT: COMPOSITION_VIOLATION\n'; return "$RC_VIOLATION"; }
 
@@ -600,6 +712,21 @@ do_run() {
   : > "$recdir/CHAIN.txt"
   printf 'task_sha: %s\n' "$(printf '%s' "$task" | _sha)" >> "$recdir/CHAIN.txt"
 
+  # 🟥 **TOCTOU 재확인** — 게이트가 검사한 바이트와 지금 실행할 바이트가 같은지 본다.
+  #   게이트를 우회한 런(GATE_SHA 비어 있음)은 대조할 기준이 없으므로 건너뛴다 — 그 런은
+  #   이미 clearing PASS 를 못 내도록 강등돼 있다.
+  if [ "${#GATE_SHA[@]}" -gt 0 ]; then
+    local _i=0 _now
+    for f in "${CAPS[@]}"; do
+      _now=$(_sha < "$f")
+      if [ "$_now" != "${GATE_SHA[$_i]}" ]; then
+        printf 'FH_STATUS: ERROR\nFH_RELAY_VERDICT: HARNESS_ERROR\n'
+        _die "capfile 이 검사 후 변경됐다: $f — 검사한 선언과 실행할 선언이 다르다(TOCTOU)"
+      fi
+      _i=$((_i+1))
+    done
+  fi
+
   for f in "${CAPS[@]}"; do
     n=$((n+1))
     _invoke_node "$f" "$task" "$upstream" "$recdir" "$n" "${CAPARGS[$((n-1))]:-}"
@@ -679,7 +806,14 @@ do_run() {
   # D2 — 체인에 judge:model 이 있으면 PASS 는 **단독으로 게이트를 열 수 없다.**
   # D4 연장 — advisory 로 넘긴 HARNESS_ERROR 도 clearing PASS 를 영구히 막는다.
   #   "안 재고 통과" 를 초록으로 렌더하지 않는다(미측정≠PASS).
-  if [ "${DEGRADED_SEEN:-0}" -eq 1 ]; then
+  if [ "${GATE_BYPASSED:-0}" -eq 1 ]; then
+    # 🟥 등록 게이트를 우회한 런은 **어떤 경우에도 clearing PASS 가 아니다.**
+    #   선언이 부를 수 있는 것인지 확인하지 않았으므로 «안 재고 통과» 이고, 이 파일의 D4 가
+    #   이미 그것을 PASS 로 렌더하지 않기로 정했다(미측정 ≠ PASS).
+    printf 'FH_RELAY_VERDICT: PENDING\n'
+    printf 'FH_RELAY_CLEARING: NON_CLEARING (등록 게이트 우회 — 선언 유효성을 안 쟀다. 미측정은 PASS 가 아니다)\n'
+    final=$RC_PENDING
+  elif [ "${DEGRADED_SEEN:-0}" -eq 1 ]; then
     printf 'FH_RELAY_VERDICT: PENDING\n'
     printf 'FH_RELAY_CLEARING: NON_CLEARING (HARNESS_ERROR 를 advisory 로 통과시켰다 — 미측정은 PASS 가 아니다)\n'
     final=$RC_PENDING
@@ -702,7 +836,18 @@ do_merge_only() {
   [ "${#CAPS[@]}" -gt 0 ] || _die "usage: merge --cap <capfile> [--cap ...]"
   _merge_caps || return "$RC_VIOLATION"
   _run_checks || return "$RC_VIOLATION"
-  printf 'FH_STATUS: SUCCESS\n'; _print_merge
+  # 🟥 **`merge` 는 등록 게이트를 부르지 않는다 — 그리고 그 사실을 출력이 말한다**
+  #   (cross-family A급 수리). 재현: 같은 capfile 이 `capability_registry_check --declaration-only`
+  #   에서 rc=1 인데 `relay merge` 에서는 rc=0 `FH_STATUS: SUCCESS` 였다. 실행은 아니지만
+  #   **preflight/조합 계산 표면으로 쓰이면 fail-open** 이다.
+  #   ⇒ 게이트를 강제하지 **않는** 이유: `merge` 는 «병합만 계산» 하는 조회 경로라 등록 전
+  #     선언을 실험하는 정당한 용도가 있다. 막을 곳은 진입이 아니라 **오독**이다.
+  #   ⇒ 그래서 `SUCCESS` 뒤에 **무엇을 안 봤는지**를 기계 필드로 찍는다. 침묵하면 호출자가
+  #     «조합이 유효하다»로 읽는다 — 이 파일이 D4 에서 이미 정한 «미측정 ≠ PASS» 와 같은 규율.
+  printf 'FH_STATUS: SUCCESS\n'
+  printf 'FH_MERGE_SCOPE: SCHEMA_ONLY (병합 계산만 — 등록 시점 검사 미실행)\n'
+  printf 'FH_REGISTRY_GATE: NOT_RUN (이 경로는 capability_registry_check 를 부르지 않는다. `run` 에서만 검사한다)\n'
+  _print_merge
 }
 
 case "${1:-}" in

package/scripts/selfcheck.sh

@@ -527,6 +527,9 @@ for _pair in \
   "scripts/knowledge_seam_check.sh|scripts/test_knowledge_seam_lanes.sh" \
   "templates/.git-hooks/pre-commit|scripts/test_marker_crossfamily_lanes.sh" \
   "templates/.git-hooks/pre-commit|scripts/test_marker_floor_lanes.sh" \
+  ".github/workflows/regression-guard.yml|scripts/test_regression_guard_ci_lanes.sh" \
+  "templates/.git-hooks/pre-commit|scripts/test_marker_standpoint_lanes.sh" \
+  "templates/.git-hooks/pre-commit|scripts/test_marker_thirdparty_lanes.sh" \
   "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" \
@@ -958,6 +961,21 @@ else
   fail=1
 fi
 
+# target_freeze — 같은 형태(shipped subject + 자기 앵커). 🟥 이 블록이 없어서 `lane-runner`
+# 검사가 «돌리는 게 없는 스위트는 산문이다» 로 정확히 걸었다. 지은 사람이 자기 레인을 안
+# 배선한 것이고, 오늘 이 세션이 남의 코드에서 네 번 잡은 그 얼굴이다.
+if [ ! -f scripts/target_freeze.sh ]; then
+  echo "FAIL  scripts/target_freeze.sh is in package.json files[] but absent — a deleted subject, not a skip"
+  fail=1
+elif [ -f scripts/test_target_freeze_lanes.sh ]; then
+  if ! bash scripts/test_target_freeze_lanes.sh; then
+    fail=1
+  fi
+else
+  echo "FAIL  test_target_freeze_lanes.sh: target_freeze.sh present but its anchor is missing"
+  fail=1
+fi
+
 # And the ablation calibrator, for the third instance of the same reason. Its whole job is telling
 # apart states that look identical from outside — "the arm could not answer" vs "the runner is dead"
 # vs "the runner read the answer off disk" — and round 2 of its own adversarial review found that