@chrono-meta/fh-gate 2.0.0 → 2.1.0

package/scripts/capability_registry_check.sh

@@ -51,7 +51,10 @@ set -f    # noglob — 선언 파일의 값은 데이터지 파일 패턴이 아
 
 RC_OK=0; RC_REJECT=1; RC_HARNESS=10
 
-CLOSED_KEYS="id entry requires_cwd verdict_channel verdict_enum verdict_stdout_key upstream_argv echoes_upstream approval reversibility residency degrade tier_floor writes judge verdict_binding calibration_positive_args calibration_positive_expect calibration_negative_args calibration_negative_expect"
+# `summary`/`tags` 는 **추천 전용**(2026-08-16, cluster-wizard). 판정에는 안 쓰이고
+# `cluster_capability_scan.sh recommend` 의 어휘 매칭에만 쓰인다. 닫힌 목록에 넣는 이유는
+# 이 목록의 목적이 «오타 축 무음 드롭 방지» 이기 때문이다 — 안 넣으면 정당한 키가 SCHEMA 로 막힌다.
+CLOSED_KEYS="id entry requires_cwd summary tags verdict_channel verdict_enum verdict_stdout_key upstream_argv echoes_upstream approval reversibility residency degrade tier_floor writes judge verdict_binding calibration_positive_args calibration_positive_expect calibration_negative_args calibration_negative_expect calibration_positive_stdin calibration_negative_stdin"
 
 # 「안 돌았다」를 뜻하는 이름들 — 추가조항(§ⓑ.4 B1)이 요구하는 구분항
 DIDNOTRUN_NAMES="DID_NOT_RUN DIDNOTRUN NOT_RUN NO_TARGET SKIPPED UNMEASURED NOT_CONFIGURED HARNESS_ERROR"
@@ -67,7 +70,13 @@ _parse() {
   CAP_id=""; CAP_entry=""; CAP_requires_cwd=""; CAP_verdict_channel=""
   CAP_verdict_enum=""; CAP_verdict_stdout_key=""; CAP_judge=""; CAP_writes=""
   CAP_cal_pos_args=""; CAP_cal_pos_expect=""; CAP_cal_neg_args=""; CAP_cal_neg_expect=""
-  UNKNOWN_KEYS=""
+  # 다중 capfile 실행에서 앞 파일의 선언이 뒤 파일로 새지 않게 한다 — 초기화 누락은
+  # "뒤 파일이 선언하지 않은 stdin 으로 돌았다" 를 만들고, 그건 조용히 통과한다.
+  CAP_cal_pos_stdin=""; CAP_cal_neg_stdin=""
+  UNKNOWN_KEYS=""; CAP_requires_cwd_was_self=0
+  # 「선언했는데 값이 비었다」와 「선언 자체가 없다」는 다른 사실이다 — 관측 범위 블록이
+  # 둘을 구분해 적으려면 파서가 그 구분을 보존해야 한다(빈 문자열 하나로는 못 나눈다).
+  CAP_cal_pos_args_seen=0; CAP_cal_neg_args_seen=0
   local line key val
   while IFS= read -r line || [ -n "$line" ]; do
     case "$line" in ''|'#'*) continue ;; esac
@@ -84,9 +93,11 @@ _parse() {
       requires_cwd) CAP_requires_cwd="$val" ;; verdict_channel) CAP_verdict_channel="$val" ;;
       verdict_enum) CAP_verdict_enum="$val" ;; verdict_stdout_key) CAP_verdict_stdout_key="$val" ;;
       judge) CAP_judge="$val" ;;               writes) CAP_writes="$val" ;;
-      calibration_positive_args) CAP_cal_pos_args="$val" ;;
+      calibration_positive_args) CAP_cal_pos_args="$val"; CAP_cal_pos_args_seen=1 ;;
       calibration_positive_expect) CAP_cal_pos_expect="$val" ;;
-      calibration_negative_args) CAP_cal_neg_args="$val" ;;
+      calibration_negative_args) CAP_cal_neg_args="$val"; CAP_cal_neg_args_seen=1 ;;
+      calibration_positive_stdin) CAP_cal_pos_stdin="$val" ;;
+      calibration_negative_stdin) CAP_cal_neg_stdin="$val" ;;
       calibration_negative_expect) CAP_cal_neg_expect="$val" ;;
     esac
   done < "$1"
@@ -113,23 +124,129 @@ _validate_arm_args() {   # $1=args → 셸 메타문자/상위경로 탈출을
   return 0
 }
 
-_run_arm() {   # $1=extra args → ARM_RC / ARM_NAME. 파이프로 읽지 않는다(PIPE-VERDICT).
+# stdin 파일 검증 — args 와 같은 규율(메타문자·상위경로 탈출 거부) + 실재 확인.
+_validate_arm_stdin() {   # $1=선언된 경로(빈 값 허용)
+  [ -n "$1" ] || return 0
+  case "$1" in
+    *'|'*|*';'*|*'&'*|*'>'*|*'<'*|*'`'*|*'$('*|*$'\n'*)
+      _fail "M4" "캘리브레이션 stdin 경로에 셸 메타문자가 있다: $1"; return 1 ;;
+    *'../'*|/*)
+      _fail "M4" "캘리브레이션 stdin 경로가 레포 밖을 가리킨다(상대경로만 허용): $1"; return 1 ;;
+  esac
+  [ -f "$CAP_requires_cwd/$1" ] || {
+    _fail "M4" "캘리브레이션 stdin 파일이 없다: $1 (선언은 실재하는 픽스처를 가리켜야 한다)"; return 1; }
+  return 0
+}
+
+_run_arm() {   # $1=extra args · $2=stdin 파일(선택) → ARM_RC / ARM_NAME. 파이프로 읽지 않는다(PIPE-VERDICT).
+  # ── STDIN 은 항상 정의된다. 상속하지 않는다. ────────────────────────────────
+  # 실측 2026-08-16 (자기선언 캠페인, the-bible arm): 이 함수는 `> /dev/null 2>&1` 로
+  # stdout/stderr 만 막고 **stdin 은 검사기의 것을 물려받았다.** 결과가 두 가지로 나빴다.
+  #   ⓐ **비결정**: 같은 선언이 터미널·파이프·CI 어디서 돌리느냐에 따라 arm 의 입력이 달라진다.
+  #      판정 계기 안의 비결정은 그 자체로 결함이다 — 초록의 이유가 실행 환경에 달리게 된다.
+  #   ⓑ **표현 불가**: 대상을 stdin 으로 받는 진입점(JSON 브리지 등)은 양·음 arm 이 **둘 다 빈
+  #      입력**으로 돌아 같은 코드를 내고, 판별 실패로 REJECT 된다. 능력이 없어서가 아니라
+  #      **스키마에 채널이 없어서** 막힌 것이다. 실제로 4방향으로 갈리는 게이트가 그렇게 막혔다.
+  # ⇒ 선언된 파일이 있으면 그걸 먹이고, 없으면 **명시적으로 /dev/null** 을 먹인다. 후자가
+  #    중요하다 — "선언 안 했으니 상속"이 아니라 "선언 안 했으면 빈 입력"이라고 **정해야** ⓐ 가 닫힌다.
+  # 🟥 `set --` 는 위치 인자를 **덮어쓴다** — 그 뒤의 `$2` 는 stdin 파일이 아니라 entry 의 두 번째
+  #    토큰이다. 초판이 그걸 밟았고, 그 결과 두 arm 이 **진입점 스크립트 자신을 stdin 으로 먹었다.**
+  #    발견 경위가 이 수정의 요점이다: 그때 **음성 arm 만 빨개졌고 양성 arm 은 통과했다** — 스크립트
+  #    소스에 마침 양성 픽스처와 같은 토큰이 들어 있어서다. 즉 **둘 다 틀린 입력을 먹었는데 하나가
+  #    우연히 기대값과 맞았다.** 한쪽만 보고 있었으면 «양성은 되는데 음성이 이상하다»로 오진했다.
+  #    ⇒ set -- 앞에서 이름 있는 변수로 잡는다.
+  local _stdin="${2:-}"
   ( cd "$CAP_requires_cwd" 2>/dev/null || exit 127
     # shellcheck disable=SC2086  # argv 토큰 분리는 의도 (noglob 로 확장은 막혀 있다)
-    set -- $CAP_entry $1; "$@" ) > /dev/null 2>&1
+    set -- $CAP_entry $1
+    if [ -n "$_stdin" ]; then "$@" < "$_stdin"; else "$@" < /dev/null; fi
+  ) > /dev/null 2>&1
   ARM_RC=$?
   ARM_NAME="$(_enum_name_of "$ARM_RC" "$CAP_verdict_enum")"
 }
 
+# ── 관측 범위 블록 (2026-08-16) — «판정» 이 아니라 «채널» ────────────────────────
+#
+# 🟥 이 블록은 **exit code 에 아무 영향을 주지 않는다.** `_fail` 을 부르지 않고, 어떤 축도
+#    새로 판정하지 않는다. 순수 정보 추가다 — 이 레포의 규율("기계는 비가역 경계와 채널에만,
+#    판단은 안 짓는다")대로, 여기서 하는 일은 **무엇을 관측했고 무엇을 안 했는지 적는 것**뿐이다.
+#
+# 왜 필요한가 — 2026-08-16 실측 두 건이 같은 얼굴을 하고 있었다:
+#   ① **M4 는 enum↔구현 일치를 구조적으로 안 본다.** 같은 stale 선언이 캘리브레이션 쌍에
+#      따라 판정이 갈린다 — 쌍이 우연히 «선언 밖 exit» 을 밟으면 REJECTED, 구 enum 안에서만
+#      갈리면 M1–M6 전부 통과. 즉 M4 는 «자기가 부른 두 번의 실행에서 본 것» 만 판정한다.
+#   ② **M6 도 선언된 arm 만 관측한다.** `pmh-dev:merge-noop-check` 는 분기 입력에서 git 객체를
+#      쓰지만(격리 클론 실측: `.git/objects` 2145 → 2146), 선언된 두 arm 이 그 경로를 안 지나므로
+#      `writes: read-only` 로 **거짓 선언해도 통과한다**(실측 확인).
+#
+# 둘 다 «판정이 틀렸다» 가 아니라 **«판정의 관측 범위가 출력에 안 적혀 있다»** 이다. 그래서
+# 고치는 방향은 새 판정 축이 아니라 이 블록이다: 읽는 사람이 초록을 «선언 전체가 참이다» 로
+# 읽지 않게, 이 실행이 실제로 밟은 곳을 이름으로 적는다.
+# ★ 「없음」도 **반드시 찍는다.** 침묵은 «관측되지 않은 값이 없다» 와 «계산하지 않았다» 를
+#    구분하지 못한다 — 미측정을 0 으로 렌더하지 않는다([[feedback_not_found_is_not_zero_family]]).
+_observation_scope() {
+  printf '  ── 관측 범위 (이 판정이 «무엇을 안 봤는지») ──\n'
+  printf '     M4/M6 는 **선언된 캘리브레이션 arm 의 실행에서 본 것만** 판정한다.\n'
+
+  local _pa _na
+  if [ "${CAP_cal_pos_args_seen:-0}" = "1" ]; then
+    [ -n "$CAP_cal_pos_args" ] && _pa="$CAP_cal_pos_args" || _pa='<빈 값 — 인자 없이 실행>'
+  else _pa='<미선언>'; fi
+  if [ "${CAP_cal_neg_args_seen:-0}" = "1" ]; then
+    [ -n "$CAP_cal_neg_args" ] && _na="$CAP_cal_neg_args" || _na='<빈 값 — 인자 없이 실행>'
+  else _na='<미선언>'; fi
+  printf '     실행된 arm: 양성 «%s» / 음성 «%s»\n' "$_pa" "$_na"
+
+  if [ "${OBS_STATE:-none}" = "run" ]; then
+    printf '     관측된 exit: 양성 rc=%s(%s)%s / 음성 rc=%s(%s)\n' \
+      "$OBS_POS_RC" "${OBS_POS_NAME:-<enum 밖>}" \
+      "$( [ "$OBS_POS_RC" = "$OBS_POS_RC2" ] && printf ' ×2회 동일' || printf ' ×2회째 rc=%s(갈림)' "$OBS_POS_RC2" )" \
+      "$OBS_NEG_RC" "${OBS_NEG_NAME:-<enum 밖>}"
+  else
+    printf '     관측된 exit: 없음 — arm 을 실행하지 않았다(%s)\n' "${OBS_WHY:-사유 미기록}"
+  fi
+
+  # 미관측 enum = 선언 enum − 이 실행에서 실제로 나온 rc. **계산해서** 적는다.
+  if [ -z "$CAP_verdict_enum" ]; then
+    printf '     ⚠️ 선언된 enum 이 없어 「관측되지 않은 값」을 계산할 수 없다(미측정이지 0 이 아니다 — M2 가 이미 실패로 기록했다)\n'
+  else
+    local _pair _code _unobs="" _seenrc=""
+    [ "${OBS_STATE:-none}" = "run" ] && _seenrc=" $OBS_POS_RC $OBS_POS_RC2 $OBS_NEG_RC "
+    for _pair in $CAP_verdict_enum; do
+      _code="${_pair%%=*}"
+      case "$_seenrc" in *" $_code "*) ;; *) _unobs="$_unobs $_pair" ;; esac
+    done
+    if [ -n "$_unobs" ]; then
+      printf '     ⚠️ 선언된 enum 중 이 실행에서 **관측되지 않은** 값:%s\n' "$_unobs"
+    else
+      printf '     · 선언된 enum 중 이 실행에서 관측되지 않은 값: 없음 (선언된 전 값이 이 실행에서 관측됐다)\n'
+    fi
+  fi
+  printf '     ⚠️ 이 실행이 지나지 않은 코드 경로의 부작용(M6 의 `writes:` 축 포함)은 관측 대상이 아니다.\n'
+}
+
 _check_one() {
   local f="$1"
   [ -r "$f" ] || _die "capfile 도달 불가: $f"
   _parse "$f"
   FILE_FAILED=0
+  # 관측 원장 — 「안 돌았다」가 디폴트다. 실행한 arm 만 이 값들을 채운다.
+  OBS_STATE=none; OBS_WHY=""; OBS_POS_RC=""; OBS_POS_RC2=""; OBS_NEG_RC=""
+  OBS_POS_NAME=""; OBS_NEG_NAME=""
   printf '\n── %s (%s)\n' "${CAP_id:-<id 미선언>}" "$f"
 
   [ -n "$UNKNOWN_KEYS" ] && _fail "SCHEMA" "닫힌 키 목록 밖:$UNKNOWN_KEYS (오타 축 무음드롭 방지 — 무시하지 않는다)"
 
+  # ── `requires_cwd: SELF` 를 **M1 보다 먼저** 푼다 (2026-08-16 순서 수리) ────
+  # 초판은 M5 에서 풀었는데, M1 이 그보다 먼저 돌면서 **상대 entry 를 현재 cwd 기준으로** 찾았다.
+  # FH 로컬 등록부 시절엔 entry 가 늘 절대경로라 안 터졌다 — 하네스 자기 선언(상대 entry +
+  # SELF)이 그 잠재 가정을 처음 실행에 노출시킨 것이다([[feedback_wiring_surfaces_hidden_failures]]).
+  # 해석 실패는 여기서 조용히 넘기고 M5 가 판정한다(한 결함을 두 축에서 두 번 세지 않는다).
+  if [ "$CAP_requires_cwd" = "SELF" ]; then
+    local _sr; _sr="$(git -C "$(dirname "$f")" rev-parse --show-toplevel 2>/dev/null)"
+    [ -n "$_sr" ] && [ -d "$_sr" ] && CAP_requires_cwd="$_sr" && CAP_requires_cwd_was_self=1
+  fi
+
   # ── M1 실행 가능한 진입점 ──────────────────────────────────────────────────
   local first second
   first="$(printf '%s' "$CAP_entry" | awk '{print $1}')"
@@ -139,8 +256,15 @@ _check_one() {
       _fail "M1" "entry 가 argv 가 아니라 셸 문자열이다(파이프/리다이렉트/치환 포함) — 인젝션 표면" ;;
     '') _fail "M1" "entry 미선언" ;;
     *)
+      # 상대 경로는 **선언된 cwd 기준**으로도 본다. 선언은 자기 레포를 기준으로 쓰는 것이
+      # 자연스럽고(그래야 이식된다), 검사기가 자기 cwd 로만 보면 정당한 선언을 못 읽는다.
+      local _second_abs="$second"
+      case "$second" in
+        /*) ;;
+        *) [ -n "$CAP_requires_cwd" ] && [ -r "$CAP_requires_cwd/$second" ] && _second_abs="$CAP_requires_cwd/$second" ;;
+      esac
       if [ -x "$first" ] 2>/dev/null; then _ok "M1" "실행 가능: $first"
-      elif command -v "$first" >/dev/null 2>&1 && [ -r "$second" ]; then
+      elif command -v "$first" >/dev/null 2>&1 && [ -r "$_second_abs" ]; then
         _ok "M1" "선언된 인터프리터($first) + 읽을 수 있는 스크립트: $second"
       else _fail "M1" "entry 를 셸이 모델 없이 실행할 수 없다: $CAP_entry"; fi ;;
   esac
@@ -170,11 +294,35 @@ _check_one() {
   # ── M3 모델 독립성 (선언 검사 + 명백한 모순만) ─────────────────────────────
   case "$CAP_judge" in
     mechanical)
-      case "$CAP_entry" in
-        *claude*|*codex*|*gemini*|*copilot*|*ollama*|*llm*)
-          _fail "M3" "judge: mechanical 선언인데 entry 가 모델 CLI 를 부른다: $CAP_entry" ;;
-        *) _ok "M3" "judge: mechanical (모델 미개입 선언)" ;;
-      esac ;;
+      # 토큰의 BASENAME 으로 본다 — 문자열 전체 부분매칭이 아니다.
+      #
+      # 실측 2026-08-16 (자기선언 캠페인, qasp-dev arm 이 지목): 이 검사는 `*claude*` 처럼
+      # entry **문자열 전체**에 부분매칭했다. 그래서 진입점이 모델을 전혀 안 부르는데도
+      # **경로에 그 단어가 있다는 이유만으로** REJECT 났다 — 실제 사례는 스크래치패드 경로
+      # `/private/tmp/claude-501/...` 였고, 경로만 바꾸니 같은 선언이 PASS 했다.
+      # 구조적으로 더 나쁜 경우가 둘 있다: ⓐ 진입점이 `.claude/` 아래 사는 하네스는 **전부**
+      # 막힌다(FH 자기 선언이 `.claude/capabilities/` 에 사는 걸 생각하면 남 얘기가 아니다)
+      # ⓑ `scripts/claude_md_lint.sh` 처럼 이름에 그 단어가 든 순수 기계 스크립트도 막힌다.
+      #
+      # 과차단은 «안전한 방향»이 아니다 — 정본이 명시하듯 override 를 습관화시켜 같은 훅의
+      # 다른 게이트까지 무장해제시킨다. 그리고 이 오탐은 **무음**이었다: 거부 사유가
+      # "모델 CLI 를 부른다" 로 찍히므로, 읽는 사람은 자기 진입점을 의심하지 경로를 의심하지 않는다.
+      #
+      # 이 검사가 실제로 답할 수 있는 질문은 «entry 줄이 모델 CLI 를 **직접 이름으로** 부르는가»
+      # 뿐이다. 래퍼 안에서 부르는 건 선언 층에서 원래 못 본다(M6 효과 프로브의 몫).
+      # 그러니 각 토큰의 basename 을 보고, 확장자를 떼고, **정확히 그 이름일 때만** 막는다.
+      _m3_bad=""
+      for _tok in $CAP_entry; do
+        _base="${_tok##*/}"; _base="${_base%.sh}"; _base="${_base%.js}"; _base="${_base%.py}"
+        case "$_base" in
+          claude|codex|gemini|copilot|ollama|llm) _m3_bad="$_base" ;;
+        esac
+      done
+      if [ -n "$_m3_bad" ]; then
+        _fail "M3" "judge: mechanical 선언인데 entry 가 모델 CLI 를 직접 부른다: $_m3_bad ($CAP_entry)"
+      else
+        _ok "M3" "judge: mechanical (entry 토큰에 모델 CLI 없음 — basename 기준)"
+      fi ;;
     model) _ok "M3" "judge: model — 선언됨(합법). 조합에서 이 PASS 는 NON_CLEARING 이다" ;;
     '') _fail "M3" "judge 축 미선언 — 모델 개입 여부가 불명이면 조합이 계산될 수 없다" ;;
     *) _fail "M3" "judge 값이 {mechanical|model} 밖: '$CAP_judge'" ;;
@@ -182,25 +330,65 @@ _check_one() {
 
   # ── M5 선언된 cwd (M4 를 그 자리에서 돌리므로 먼저) ────────────────────────
   case "$CAP_requires_cwd" in
-    /*) [ -d "$CAP_requires_cwd" ] && _ok "M5" "requires_cwd 실재: $CAP_requires_cwd" \
-          || _fail "M5" "requires_cwd 가 절대경로지만 존재하지 않는다: $CAP_requires_cwd" ;;
+    /*)
+      # `SELF` 는 위(M1 앞)에서 이미 레포 루트로 풀렸다. 그 사실을 판정문에 남긴다 —
+      # 안 남기면 독자가 선언 원문(`SELF`)과 검사 결과(절대경로)를 연결하지 못한다.
+      if [ -d "$CAP_requires_cwd" ]; then
+        if [ "${CAP_requires_cwd_was_self:-0}" = "1" ]; then
+          _ok "M5" "requires_cwd: SELF → 선언을 품은 레포 루트: $CAP_requires_cwd"
+        else
+          _ok "M5" "requires_cwd 실재: $CAP_requires_cwd"
+        fi
+      else
+        _fail "M5" "requires_cwd 가 절대경로지만 존재하지 않는다: $CAP_requires_cwd"
+      fi ;;
+    SELF)
+      # ★`SELF` = «이 선언을 품은 레포» (2026-08-16 신설, 정체성 ①-(a) cluster-wizard).
+      #
+      # 왜 필요했나: 이 스키마는 원래 **FH 로컬 등록부**(gitignored)를 위한 것이라 절대경로가
+      # 문제없었다. 그런데 (c) 를 닫으려면 선언이 **그 하네스 자신의 레포에 tracked 로** 살아야
+      # 하고, 그 순간 절대경로는 두 가지로 깨진다:
+      #   ① 이식 불가 — 다른 머신·다른 체크아웃에서 그 경로는 없다
+      #   ② **공개표면 위반** — 운영자 홈 경로가 tracked 파일에 실린다
+      # 그래서 «자기 자신» 을 가리키는 이식 가능한 표현이 필요했다.
+      #
+      # 해석은 **위치 가정이 아니라 git 레포 루트**다. `../../..` 같은 상대 오프셋으로 풀면
+      # `.claude/capabilities/` 배치를 하드코딩하게 되고, 배치가 바뀌는 순간 조용히 엉뚱한
+      # 디렉토리를 가리킨다. 레포 루트는 그 파일이 어디 놓이든 같은 답을 준다.
+      local _self_root
+      _self_root="$(git -C "$(dirname "$f")" rev-parse --show-toplevel 2>/dev/null)"
+      if [ -n "$_self_root" ] && [ -d "$_self_root" ]; then
+        CAP_requires_cwd="$_self_root"
+        _ok "M5" "requires_cwd: SELF → 선언을 품은 레포 루트로 해석: $_self_root"
+      else
+        # 🟥 fail-closed. git 레포 밖의 선언은 «자기» 가 무엇인지 정의되지 않는다 —
+        #    추측해서 cwd 를 정하면 M4 가 **엉뚱한 트리에서** 진입점을 돌린다.
+        _fail "M5" "requires_cwd: SELF 인데 이 선언이 git 레포 안에 없다 — «자기» 를 해석할 수 없다"
+      fi ;;
     '') _fail "M5" "requires_cwd 미선언 — 콕핏이 어디서 부를지 알 수 없다" ;;
-    *)  _fail "M5" "requires_cwd 가 절대경로가 아니다: $CAP_requires_cwd" ;;
+    *)  _fail "M5" "requires_cwd 가 절대경로도 SELF 도 아니다: $CAP_requires_cwd" ;;
   esac
 
   # ── M4 캘리브레이션 쌍 — 선언 + **실행** ──────────────────────────────────
   if [ -z "$CAP_cal_pos_expect" ] || [ -z "$CAP_cal_neg_expect" ]; then
     _fail "M4" "캘리브레이션 쌍 미선언(양성·음성 expect 둘 다 필요) — 답을 아는 케이스를 못 가르는 계기는 재는 게 아니다"
+    OBS_WHY="캘리브레이션 쌍 미선언"
   elif [ "$FILE_FAILED" -eq 1 ] && [ -z "${CRC_FORCE_M4:-}" ]; then
     printf '  ⏭  M4 — 앞선 축이 실패해 실행 생략(SKIPPED, PASS 아님)\n'
-  elif ! _validate_arm_args "$CAP_cal_pos_args" || ! _validate_arm_args "$CAP_cal_neg_args"; then
+    OBS_WHY="앞선 축 실패로 M4 생략"
+  elif ! _validate_arm_args "$CAP_cal_pos_args" || ! _validate_arm_args "$CAP_cal_neg_args" \
+       || ! _validate_arm_stdin "${CAP_cal_pos_stdin:-}" || ! _validate_arm_stdin "${CAP_cal_neg_stdin:-}"; then
     printf '  ⏭  M4 — args 검문 실패로 arm 을 실행하지 않았다(SKIPPED, PASS 아님)\n'
+    OBS_WHY="args 검문 실패"
   else
-    local pos_name neg_name pos_rc neg_rc pos_name2
-    _run_arm "$CAP_cal_pos_args"; pos_rc="$ARM_RC"; pos_name="$ARM_NAME"
+    local pos_name neg_name pos_rc neg_rc pos_name2 pos_rc2
+    _run_arm "$CAP_cal_pos_args" "${CAP_cal_pos_stdin:-}"; pos_rc="$ARM_RC"; pos_name="$ARM_NAME"
     [ "$pos_rc" = "127" ] && _fail "M4" "requires_cwd 로 진입 실패 — arm 을 돌릴 수 없다"
-    _run_arm "$CAP_cal_pos_args"; pos_name2="$ARM_NAME"     # reps=2 (M3 부분 방어)
-    _run_arm "$CAP_cal_neg_args"; neg_rc="$ARM_RC"; neg_name="$ARM_NAME"
+    _run_arm "$CAP_cal_pos_args" "${CAP_cal_pos_stdin:-}"; pos_name2="$ARM_NAME"; pos_rc2="$ARM_RC"   # reps=2 (M3 부분 방어)
+    _run_arm "$CAP_cal_neg_args" "${CAP_cal_neg_stdin:-}"; neg_rc="$ARM_RC"; neg_name="$ARM_NAME"
+    # 관측 원장에 남긴다 — 판정과 무관하게, 이 실행이 **실제로 밟은 exit** 만 적는다.
+    OBS_STATE=run; OBS_POS_RC="$pos_rc"; OBS_POS_RC2="$pos_rc2"; OBS_NEG_RC="$neg_rc"
+    OBS_POS_NAME="$pos_name"; OBS_NEG_NAME="$neg_name"
 
     if [ -z "$pos_name" ]; then
       _fail "M4" "양성 arm 의 exit $pos_rc 가 선언된 enum 밖 — enum 밖 값은 HARNESS_ERROR 이지 PASS 가 아니다"
@@ -254,6 +442,7 @@ _check_one() {
       _hops=$((_hops+1))
       if [ "$_hops" -gt 40 ]; then
         _fail "M6" "심링크가 40회를 넘어간다 — 순환으로 본다. 프로브 경로를 못 정한다"
+        _observation_scope   # 이 이른 return 에서도 관측 범위는 찍힌다(조건부로 찍히면 채널이 아니다)
         return 0   # _fail 이 이미 기록했다. 판정 불가를 통과로 렌더하지 않는다
       fi
       _dir=$(cd -P "$(dirname "$_src")" >/dev/null 2>&1 && pwd) || break
@@ -279,6 +468,10 @@ _check_one() {
       esac
     fi
   fi
+
+  # ★무조건 찍는다 — PASS 든 REJECTED 든, arm 을 돌렸든 안 돌렸든. 관측 범위가 조건부로
+  #   찍히면 그건 채널이 아니라 또 하나의 판정이 된다.
+  _observation_scope
 }
 
 # ── self-test (known-pair: 통과해야 할 선언 1 · 막혀야 할 선언 6) ─────────────
@@ -324,6 +517,23 @@ EOF
   sed 's|^requires_cwd: .*|requires_cwd: relative/path|' "$T/good.cap" > "$T/relcwd.cap"
   _t "M5: requires_cwd 상대경로" 1 "$T/relcwd.cap"
 
+  # ── M5 `SELF` (2026-08-16) — 하네스가 **자기 레포에 tracked 로** 선언할 수 있게 하는 값 ──
+  #   known-pair 를 **양쪽 다** 세운다. 양성만 세우면 「SELF 를 그냥 통과시킨다」와
+  #   「SELF 를 옳게 해석한다」가 구분되지 않는다.
+  local SR="$T/selfrepo"
+  mkdir -p "$SR/.claude/capabilities"
+  ( cd "$SR" && git init -q . && git config user.email t@t && git config user.name t \
+    && echo x > seed.txt && git add seed.txt && git commit -qm init ) >/dev/null 2>&1
+  cp "$T/probe.sh" "$SR/probe.sh" 2>/dev/null || true
+  sed -e 's|^requires_cwd: .*|requires_cwd: SELF|' \
+      -e "s|^entry: .*|entry: bash $SR/probe.sh|" "$T/good.cap" > "$SR/.claude/capabilities/self.cap"
+  _t "M5: SELF 는 레포 루트로 해석된다" 0 "$SR/.claude/capabilities/self.cap"
+
+  # known-negative(=fail-closed 방향): git 레포 **밖**의 SELF 는 해석 불가여야 한다.
+  # 이 레인이 없으면 「SELF 면 무조건 통과」가 되고, 그건 M5 를 없앤 것과 같다.
+  sed -e 's|^requires_cwd: .*|requires_cwd: SELF|' "$T/good.cap" > "$T/self_outside.cap"
+  _t "M5: git 밖의 SELF 는 fail-closed" 1 "$T/self_outside.cap"
+
   # ── M6: 선언 진위 (2026-08-16) — 2026-08-11 실사고 형태를 그대로 재현한다 ──
   #   `writes: read-only` 를 선언하고 진입점이 `rm -rf scripts` 를 한다. 그날 이 검사기는
   #   M1–M5 를 전부 통과시켰다. 이제 M6 가 막는다.
@@ -368,6 +578,47 @@ LIAR
   else
     fail=$((fail+1)); printf '  ❌ %-34s — rc 는 1 인데 M6 가 막은 게 아니다(다른 축이 먼저 걸렸다)\n' "M6: 차단 귀속"
   fi
+  # ── 관측 범위 블록 (2026-08-16) — 「무엇을 안 봤는지」가 출력에 남는가 ───────────
+  #   이 레인들은 **판정을 재지 않는다**(rc 는 위 레인들이 이미 고정한다). 재는 것은
+  #   «채널이 켜져 있나 · 계산이 맞나 · 조건부로 꺼지지 않나» 셋이다.
+  _tg() {   # $1=이름 $2=기대 rc $3=capfile $4=반드시 포함할 문자열
+    local o r hit; o="$(bash "$0" "$3" 2>&1)"; r=$?
+    if printf '%s' "$o" | grep -qF "$4"; then hit=1; else hit=0; fi
+    if [ "$r" = "$2" ] && [ "$hit" = "1" ]; then
+      pass=$((pass+1)); printf '  ✅ %-34s rc=%s\n' "$1" "$r"
+    else
+      fail=$((fail+1))
+      printf '  ❌ %-34s rc=%s (기대 %s) · 부분문자열 «%s» %s\n%s\n' \
+        "$1" "$r" "$2" "$4" "$( [ "$hit" = 1 ] && printf 있음 || printf 없음 )" "$o"
+    fi
+  }
+
+  # ⓐ 부분 관측: 선언 enum 4값 · 이 실행이 밟는 건 2값 → **나머지 2값을 이름으로** 적어야 한다.
+  #    (`good.cap` 의 probe 는 ok→0 / 그 외→1 만 낸다. 3·7 은 이 실행이 갈 수 없는 값이다.)
+  sed 's/^verdict_enum: .*/verdict_enum: 0=PASS 1=FAIL 3=DID_NOT_RUN 7=NO_TARGET/' \
+      "$T/good.cap" > "$T/obs_partial.cap"
+  _tg "관측범위: 미관측 enum 을 이름으로" 0 "$T/obs_partial.cap" \
+      "관측되지 않은** 값: 3=DID_NOT_RUN 7=NO_TARGET"
+
+  # ⓑ 🟥**컨트롤** — 전부 관측되면 「없음」을 찍어야 한다. 이게 없으면 「늘 경고하는 계기」와
+  #    「실제로 계산하는 계기」가 구분되지 않는다(경고만 하는 계기는 판별력이 0 이다).
+  #    선언 전 값이 관측되려면 음성 arm 이 「안 돌았다」 코드로 떨어져야 한다(M2+ 가 그 값을
+  #    요구하므로) — 그래서 전용 probe 를 쓴다.
+  printf '#!/bin/sh\n[ "$1" = ok ] && exit 0\nexit 3\n' > "$T/probe_allobs.sh"
+  sed -e 's/^verdict_enum: .*/verdict_enum: 0=PASS 3=DID_NOT_RUN/' \
+      -e "s|^entry: .*|entry: bash $T/probe_allobs.sh|" \
+      -e 's/^calibration_negative_expect: .*/calibration_negative_expect: DID_NOT_RUN/' \
+      "$T/good.cap" > "$T/obs_all.cap"
+  _tg "관측범위: 전부 관측되면 「없음」" 0 "$T/obs_all.cap" \
+      "관측되지 않은 값: 없음"
+
+  # ⓒ REJECTED 에서도 블록이 찍힌다 + arm 을 안 돌렸다는 사실과 사유가 적힌다.
+  #    (`nocal.cap` = 캘리브레이션 키 전체 제거 → args 는 「미선언」, 관측 exit 은 「없음」.)
+  _tg "관측범위: REJECTED 에서도 찍힌다" 1 "$T/nocal.cap" \
+      "관측된 exit: 없음 — arm 을 실행하지 않았다(캘리브레이션 쌍 미선언)"
+  _tg "관측범위: 미선언 args 를 미선언이라 적는다" 1 "$T/nocal.cap" \
+      "실행된 arm: 양성 «<미선언>» / 음성 «<미선언>»"
+
   printf '\n  통과 %d · 실패 %d\n' "$pass" "$fail"
   rm -rf "$T"
   [ "$fail" -eq 0 ] || return 1

package/scripts/chamber_run.sh

@@ -125,8 +125,11 @@ if [ ! -f "$WS/BUDGET.md" ]; then
 
 # Route through goal-quench's budget gate for an expensive run, then record here.
 # Demo-scale runs may self-cap — but an ESTIMATE line is mandatory (this is the entry cap).
+#
+# 🟥 ACTUAL 은 이 파일에 적지 마라 — step 6 이 별도 ACTUAL.md 를 쓴다.
+# 이유: 이 파일의 판정-전 해시가 순서 증인(ship_readiness_gate §② P1)이다. 사후에
+# 이 파일을 고치면 증인이 TAMPERED 로 죽는다 (2026-08-17 런 #11 실측).
 ESTIMATE: <e.g. ~3 persona dispatches, demo-scale, self-capped  |  or a token budget>
-ACTUAL:   <filled at step 6>
 EOF
   echo "  ⛔ step 3 BLOCKED: record an ESTIMATE in $WS/BUDGET.md (budget-entry gate G2), then re-run."; exit 1
 fi
@@ -203,8 +206,26 @@ if [ -f "$_WITNESS" ]; then
 fi
 
 # STEP 6 — actual cost / carry-forward record.
-if grep -qE '^ACTUAL:[[:space:]]*<' "$WS/BUDGET.md" || ! grep -qE '^ACTUAL:[[:space:]]*\S' "$WS/BUDGET.md"; then
-  echo "  ⛔ step 6 BLOCKED: record ACTUAL cost in $WS/BUDGET.md (actual-vs-estimate calibration)."
+# 🟥 별도 파일이다. BUDGET.md 가 아니다 — 그리고 그 분리가 이 게이트의 핵심이다.
+# 2026-08-17 런 #11(첫 형식 완주)이 실측한 결함: step 3 이 BUDGET.md 의 해시를 순서 증인으로
+# 기록하는데 step 6 이 같은 파일에 ACTUAL 을 요구하며 하드 차단했다 → 완주하면 반드시
+# 증인 아티팩트가 사후 변경되고 verify 가 TAMPERED 를 낸다 → **완주한 런은 구조적으로
+# ② 승급 근거가 될 수 없었다.** 대상 선정 실수가 아니라 한 파일에 두 역할(①불변 요구 =
+# 증인 · ②변경 요구 = 사후 캘리브레이션)이 겹친 것이고, 개별로는 둘 다 옳아서 어느 쪽
+# 코드를 읽어도 안 보였다. 그래서 스펙(P1 이 BUDGET 을 증인으로 지목)은 안 건드리고
+# **변경 요구만** 빼낸다. ACTUAL.md 는 정의상 판정 후 산물이므로 **증인에 기록하지 않는다.**
+if [ ! -f "$WS/ACTUAL.md" ]; then
+  cat > "$WS/ACTUAL.md" <<EOF
+# ACTUAL — $SLUG (chamber run, 판정 후 기록)
+#
+# 이 파일은 **순서 증인 대상이 아니다** — 판정 후에 쓰이는 것이 정상이므로 해시를 걸지 않는다.
+# ESTIMATE 는 BUDGET.md 에 있고 그 파일은 판정 전에 얼어 있다. 대조는 사람이 한다.
+ACTUAL: <number/summary — dispatch 수 · 토큰 · 예산 대비 편차>
+EOF
+fi
+if grep -qE '^ACTUAL:[[:space:]]*<' "$WS/ACTUAL.md" || ! grep -qE '^ACTUAL:[[:space:]]*\S' "$WS/ACTUAL.md"; then
+  echo "  ⛔ step 6 BLOCKED: record ACTUAL cost in $WS/ACTUAL.md (actual-vs-estimate calibration)."
+  echo "     🟥 BUDGET.md 가 아니다 — 그 파일은 판정 전 증인이라 사후 변경하면 증인이 죽는다."
   echo "     Expected — a LINE PREFIX, not a heading:"
   echo "       ACTUAL: <number/summary>        ← this form is checked"
   echo "       ## ACTUAL                       ← a heading does NOT satisfy it"

package/scripts/chamber_witness.sh

@@ -140,6 +140,31 @@ HDR
       echo "❌ 원장 헤더 쓰기 실패: $LEDGER" >&2; return 10
     fi
   fi
+  # ── 멱등: 같은 (run, artifact, sha) 삼중항이 이미 있으면 다시 안 적는다 ──────────
+  # 기원 2026-08-17 런 #11(첫 형식 완주): 이 함수가 **무조건 append** 라서 러너를 advance
+  # 할 때마다 step 2~5 가 재실행되며 같은 해시가 다시 쌓였다 — 4스텝 런에 **엔트리 11개**.
+  # 증인 판정 자체는 안 틀리지만(같은 해시는 같은 결론) 공개 tracked 파일이 부풀고,
+  # verify 출력이 같은 줄을 여러 번 뱉어 **읽는 사람이 「몇 건이 문제인가」를 오독**한다.
+  # 🟥 내용이 바뀐 경우는 **여전히 새 엔트리로 남는다** — 그게 TAMPERED 를 성립시키는
+  # 증거이므로 여기서 접으면 안 된다. 접는 것은 «완전히 동일한 재기록»뿐이다.
+  # 🟥 오프셋 주의 — `- run: ` 는 **7자**라 값은 8부터다. 초판이 9로 썼고(cross-family
+  # gpt-5.5 적발, A급) 그러면 슬러그 첫 글자가 잘려 **어떤 정상 엔트리와도 매칭되지 않는다**
+  # → 가드가 조용히 무력화되고 append 가 계속된다. 재현: `printf -- '- run: g2\n' |
+  # awk '{print substr($0,9)}'` → `2`. **레인이 이걸 못 잡았다**(아래 L14 신설로 닫음).
+  # 인접성도 강제한다: run → artifact → sha256 이 **연속**일 때만 인정. 안 그러면 깨진
+  # YAML 에서 stale run/art 가 무관한 sha 와 짝지어 **필요한 append 를 눌러버린다**(같은 리뷰 B급).
+  if awk -v r="$slug" -v a="$base" -v s="$h" '
+        /^- run: /      { run=substr($0,8); art=""; prev="run"; next }
+        /^  artifact: / { if (prev=="run") { art=substr($0,13); prev="art" }
+                          else { art=""; prev="" } ; next }
+        /^  sha256: /   { if (prev=="art" && run==r && art==a && substr($0,11)==s) { found=1; exit }
+                          prev=""; next }
+                        { prev="" }
+        END { exit(found?0:1) }
+      ' "$LEDGER" 2>/dev/null; then
+    echo "witnessed(already): $slug/$base — 동일 해시가 이미 원장에 있다(재기록 안 함)"
+    return 0
+  fi
   if ! printf -- '- run: %s\n  artifact: %s\n  sha256: %s\n  recorded: %s\n' \
        "$slug" "$base" "$h" "$(date -u +%Y-%m-%dT%H:%M:%SZ)" >> "$LEDGER" 2>/dev/null; then
     echo "❌ 원장 append 실패: $LEDGER" >&2; return 10