@chrono-meta/fh-gate 1.4.99 → 2.0.1

package/scripts/test_capability_entrypoint_shipping.sh

@@ -41,7 +41,14 @@ command -v node >/dev/null 2>&1 || {
 # Discover entry points by convention. A DISCOVERY of zero is an instrument failure, not a clean
 # result: this check exists precisely because the surface it guards is invisible to reference
 # walking, so "found nothing to check" must never render as "everything ships".
-ENTRIES=$(find scripts -maxdepth 1 -type f -name '*_capability.sh' 2>/dev/null | sort)
+# 🟥 2026-08-16: 발견 규약이 **한 벌뿐**이었다(`scripts/*_capability.sh`, maxdepth 1). 같은 날
+# 도입된 **어댑터 진입점**(`scripts/adapters/*.sh` — 남의 하네스 능력을 FH 안에서 부르는 기본
+# 경로)은 이름도 위치도 그 규약 밖이라 **이 검사에 구조적으로 안 보였다.** 즉 어댑터 스크립트가
+# `files[]` 에서 빠져도 이 검사는 초록이었다 — 검사기가 지키려던 바로 그 결함이 검사기 자신의
+# 사각에서 재현될 수 있었다. 두 규약을 **합집합**으로 본다(빼지 말고 더한다).
+ENTRIES=$( { find scripts -maxdepth 1 -type f -name '*_capability.sh' 2>/dev/null
+             find scripts/adapters -maxdepth 1 -type f -name '*.sh' 2>/dev/null
+           } | LC_ALL=C sort -u )
 n=$(printf '%s\n' "$ENTRIES" | grep -c . || true)
 n=$(( ${n:-0} + 0 ))
 if [ "$n" -eq 0 ]; then
@@ -53,6 +60,16 @@ fi
 FILES_JSON=$(node -e 'process.stdout.write(JSON.stringify(require("./package.json").files||[]))' 2>/dev/null) || {
   echo "  INSTRUMENT ERROR: could not read package.json files[]"; exit 1; }
 
+# ★`mktemp` — 초판은 `${TMPDIR:-/tmp}/cap_entry_$$.txt` 였다. TMPDIR 없는 환경(리눅스 CI·
+# 컨테이너가 흔하다)에서 공용 `/tmp` + PID 기반 **예측 가능한 이름**이라, 미리 심어둔 심링크를
+# `>` 리다이렉트가 따라가 대상 파일을 덮어쓴다(CWE-377, 보안 패스 [B]). 이 파일은 selfcheck 에
+# 배선돼 **소비자 머신에서 `npm test` 로 돈다**.
+# ⚠️ `mktemp -t <prefix>` 는 **BSD 전용**이다 — GNU 는 템플릿에 X 를 요구하고
+# `mktemp: too few X's in template` 로 죽는다(2026-08-16 CI 실측: 로컬 macOS 초록 · ubuntu 적색).
+# 이 레포가 이미 기록한 `stat -f` BSD-first 와 같은 얼굴이다. 양쪽에서 도는 형태는
+# **명시 템플릿 + X 다수**뿐이다. (계기가 fail-closed 로 막아 준 덕에 조용히 안 지나갔다.)
+_CAP_TMP=$(mktemp "${TMPDIR:-/tmp}/cap_entry.XXXXXXXX") || { echo "  INSTRUMENT ERROR: mktemp 실패"; exit 1; }
+trap 'rm -f "$_CAP_TMP"' EXIT INT TERM
 printf '%s\n' "$ENTRIES" | while IFS= read -r e; do
   [ -n "$e" ] || continue
   if node -e 'const f=JSON.parse(process.argv[1]);process.exit(f.includes(process.argv[2])?0:1)' "$FILES_JSON" "$e"; then
@@ -60,14 +77,14 @@ printf '%s\n' "$ENTRIES" | while IFS= read -r e; do
   else
     echo "  MISSING $e"
   fi
-done > "${TMPDIR:-/tmp}/cap_entry_$$.txt"
+done > "$_CAP_TMP"
 
-missing=$(grep -c '^  MISSING ' "${TMPDIR:-/tmp}/cap_entry_$$.txt" || true)
+missing=$(grep -c '^  MISSING ' "$_CAP_TMP" || true)
 missing=$(( ${missing:-0} + 0 ))
-shipped=$(grep -c '^  ok ' "${TMPDIR:-/tmp}/cap_entry_$$.txt" || true)
+shipped=$(grep -c '^  ok ' "$_CAP_TMP" || true)
 shipped=$(( ${shipped:-0} + 0 ))
-cat "${TMPDIR:-/tmp}/cap_entry_$$.txt"
-rm -f "${TMPDIR:-/tmp}/cap_entry_$$.txt"
+cat "$_CAP_TMP"
+rm -f "$_CAP_TMP"
 
 if [ "$missing" -eq 0 ]; then
   ok "all $shipped capability entry point(s) are in package.json files[]"
@@ -118,6 +135,66 @@ else
   bad "$dangling declared capability entry point(s) missing from disk — npm would ship a broken files[] and the disk-side check alone stays green"
 fi
 
+# SIBLING DEPENDENCIES (added 2026-08-16 — occurrence #4 of the class this file's header names).
+# The two directions above both key on the ENTRY-POINT convention (`*_capability.sh`). That is
+# structurally blind to the failure that actually happened this time: a shipped script called a
+# NON-entry-point sibling that did not ship. `capability_registry_check.sh` shipped, its new M6 axis
+# ran `${0%/*}/capability_effect_probe.sh`, and that probe was absent from files[] — so on a consumer
+# install M6 would hit its fail-closed branch and reject every registration, blaming a "missing probe"
+# that exists in the repo.
+#
+# WHY `package_coverage_check.sh` IS BLIND TO IT — and why the fix belongs here, not there: that
+# checker's extraction regex requires a reference to START with a shipped top-level directory
+# (`scripts|templates|bin|docs|knowledge|plugins|.claude`). A script naming its own sibling writes
+# `${0%/*}/name.sh` or `$(dirname "$0")/name.sh` — the path is BUILT AT RUNTIME and no literal
+# `scripts/` appears. The reference-follower cannot see a path that does not textually exist.
+#
+# Scope kept narrow on purpose: only SELF-DIRECTORY forms. `$REPO_ROOT/scripts/x.sh` already contains
+# the literal `scripts/x.sh` and is caught upstream; widening past that would duplicate that checker.
+SIB_PAT='(\$\{0%/\*\}|\$\(dirname [^)]*\)|\$\{BASH_SOURCE[^}]*%/\*\})/[A-Za-z0-9_.-]+\.(sh|py|js)'
+SHIPPED_SH=$(node -e '
+  const f=JSON.parse(process.argv[1]);
+  process.stdout.write(f.filter(p=>/^scripts\/.*\.sh$/.test(p)).join("\n"));
+' "$FILES_JSON")
+
+sib_refs=0; sib_missing=0
+if [ -n "$SHIPPED_SH" ]; then
+  while IFS= read -r s; do
+    [ -n "$s" ] && [ -f "$s" ] || continue
+    # `grep -o` yields the whole matched expression; the sibling NAME is its last path segment.
+    # COMMENT LINES ARE STRIPPED FIRST, and that is not cosmetic: the finding's text asserts the
+    # callee is "called at runtime". A file whose PROSE names a sibling (this file's own header does)
+    # would be reported under a claim that is false about it — the right defect attributed to the
+    # wrong caller. Caught during this lane's own known-pair calibration, where the positive arm
+    # named two callers and only one of them actually calls anything.
+    for ref in $(sed 's/^[[:space:]]*#.*//' "$s" | grep -oE "$SIB_PAT" 2>/dev/null | sed 's|.*/||' | sort -u); do
+      sib_refs=$((sib_refs+1))
+      # Only assert on siblings that EXIST in the repo. A reference to a name that is absent from
+      # disk too is a different defect (a dead call), and it belongs to the dangling check above —
+      # claiming it here would report one defect as two.
+      [ -f "scripts/$ref" ] || continue
+      if node -e 'const f=JSON.parse(process.argv[1]);process.exit(f.includes(process.argv[2])?0:1)' \
+           "$FILES_JSON" "scripts/$ref"; then :; else
+        echo "  SIBLING-MISSING scripts/$ref (called by $s at runtime, absent from files[])"
+        sib_missing=$((sib_missing+1))
+      fi
+    done
+  done <<EOF
+$SHIPPED_SH
+EOF
+fi
+
+# Discovery-zero is an instrument failure here for the same reason as above: this repo is KNOWN to
+# contain at least one self-directory sibling call (that is why this block exists). Zero means the
+# pattern stopped matching — a silent scanner, not a clean repo.
+if [ "$sib_refs" -eq 0 ]; then
+  bad "INSTRUMENT DEAD — zero self-directory sibling references found across $(printf '%s\n' "$SHIPPED_SH" | grep -c .) shipped scripts; the pattern is no longer matching anything"
+elif [ "$sib_missing" -eq 0 ]; then
+  ok "all $sib_refs runtime sibling dependenc(ies) of shipped scripts are themselves in files[]"
+else
+  bad "$sib_missing runtime sibling dependenc(ies) absent from files[] — the consumer gets a caller whose callee is missing"
+fi
+
 # CONTROL — the check must be able to say NO. A checker that only ever prints ok is indistinguishable
 # from a checker that is not looking; assert the negative arm on a name that cannot be in files[].
 if node -e 'const f=JSON.parse(process.argv[1]);process.exit(f.includes(process.argv[2])?0:1)' \

package/scripts/test_relay_channel_lanes.sh

@@ -578,6 +578,82 @@ A_N10=$(cap a_n10.cap "id: demo:a" "entry: bash $T/n_key_pass.sh" "verdict_chann
 rc=0; bash "$RELAY" run --cap "$A_N10" --cap "$B" --task t > "$T/on10" 2>&1 || rc=$?
 _t "N10 both 채널의 **일치** 정상 경로가 실제로 돈다(과차단 아님)" 0 "$rc"
 
+# ── N11–N15 노드별 호출 인자 채널 (`--cap-args`) ─────────────────────────────
+#   🟥 이 채널이 없던 동안 **호출 시점 인자를 요구하는 능력은 relay 를 통과할 수 없었다**
+#   (실측 2026-08-16, pmh-dev:merge-noop-check → 항상 ARGS→HARNESS_ERROR→BLOCKED).
+#   fail-closed 라 방향은 옳았지만 신호가 0 이었고, 그건 «호출 가능» 을 구조적으로 못 만든다.
+#   레인은 네 가지를 따로 단언한다 — 도달 · 결박 대상 · fail-closed · **비주입 컨트롤**.
+mk n_echo_args.sh '#!/usr/bin/env bash
+# 받은 위치 인자를 그대로 찍고, 첫 인자가 "GO" 일 때만 통과한다.
+echo "ARGS=[$*]"
+[ "${1:-}" = "GO" ] && exit 0
+exit 1'
+ARGSCAP() { cap "$1" "id: demo:$2" "entry: bash $T/n_echo_args.sh" "verdict_channel: exit" \
+  "verdict_enum: 0=PASS 1=FAIL" "approval: auto" "reversibility: reversible" "residency: public" \
+  "degrade: fail-closed" "tier_floor: none" "writes: read-only" "judge: mechanical" \
+  "verdict_binding: FAIL"; }
+
+# N11 인자가 실제로 진입점에 **도달한다** — 없으면 FAIL 이어야 할 노드가 통과한다
+A_N11=$(ARGSCAP a_n11.cap a)
+rc=0; bash "$RELAY" run --cap "$A_N11" --cap-args "GO" --cap "$B" --task t \
+  --record "$T/rec11" > "$T/on11" 2>&1 || rc=$?
+_t    "N11 --cap-args 가 진입점에 실제로 도달한다" 0 "$rc"
+# ★ 단언 대상은 relay 의 stdout 이 아니라 **노드 자신의 출력**이다. relay 는 노드 stdout 을
+#   기록 디렉터리로 보내므로, relay 출력에 대고 grep 하면 늘 «없음» 이 나와 거짓 적색이 된다
+#   (초판이 그렇게 틀렸다 — 계기가 아니라 단언 위치가 틀린 경우).
+_tout "N11b 받은 인자를 진입점이 그대로 본다" "ARGS=\[GO\]" "$T/rec11/node1.out"
+
+# N12 🟥 **비주입 컨트롤** — 같은 capfile 에 인자만 빼면 FAIL 이어야 한다.
+#     이게 없으면 N11 은 «인자와 무관하게 늘 통과하는 계기» 와 구분되지 않는다.
+rc=0; bash "$RELAY" run --cap "$A_N11" --cap "$B" --task t \
+  --record "$T/rec12" > "$T/on12" 2>&1 || rc=$?
+_t    "N12 인자를 안 주면 같은 노드가 막힌다(컨트롤 — 채널이 실재한다는 증거)" 2 "$rc"
+_tout "N12b 인자 없이 부르면 진입점이 빈 인자를 본다" "ARGS=\[\]" "$T/rec12/node1.out"
+
+# N13 결박 대상은 **가장 최근 --cap** 이다 — 위치 인덱스로 짝지으면 조용히 다른 노드에 붙는다
+A_N13=$(ARGSCAP a_n13.cap a)
+rc=0; bash "$RELAY" run --cap "$B" --cap "$A_N13" --cap-args "GO" --task t > "$T/on13" 2>&1 || rc=$?
+_t    "N13 인자가 «가장 최근 --cap» 에 결박된다(첫 노드로 새지 않는다)" 0 "$rc"
+
+# N14 `--cap` 없이 먼저 오면 fail-closed — 어디 붙일지 모르는 인자를 조용히 버리지 않는다
+rc=0; bash "$RELAY" run --cap-args "GO" --cap "$A_N11" --cap "$B" --task t > "$T/on14" 2>&1 || rc=$?
+_t    "N14 --cap 앞의 --cap-args 는 fail-closed(무음 폐기 아님)" 10 "$rc"
+
+# N15 셸 메타문자 거부 — 진입점이 단어분해로 실행되므로 프로브와 같은 규칙을 쓴다
+rc=0; bash "$RELAY" run --cap "$A_N11" --cap-args 'GO; rm -rf /tmp/x' --cap "$B" --task t > "$T/on15" 2>&1 || rc=$?
+_t    "N15 --cap-args 의 셸 메타문자는 거부된다" 10 "$rc"
+
+# ── N16–N18 cross-family 3건(2026-08-16) — 전부 손 재현 후 앵커 ────────────────
+# 셋 다 「조용히 잘못되는」 형태다: 값이 사라지거나, 결박이 죽거나, 인자 경계가 바뀐다.
+A_N16=$(ARGSCAP a_n16.cap a)
+rc=0; bash "$RELAY" run --cap "$A_N16" --cap-args "FIRST" --cap-args "GO" --cap "$B" --task t > "$T/on16" 2>&1 || rc=$?
+_t "N16 같은 --cap 에 --cap-args 두 번은 fail-closed(앞 값 무음 폐기 금지)" 10 "$rc"
+
+# N17 결박 플래그와의 충돌 — `--cap-args --` 로 `--upstream-verdict` 를 위치인자로 밀어낼 수 있었다
+A_N17=$(cap a_n17.cap "id: demo:a" "entry: bash $T/n_echo_args.sh" "upstream_argv: yes" \
+  "verdict_channel: exit" "verdict_enum: 0=PASS 1=FAIL" \
+  "approval: auto" "reversibility: reversible" "residency: public" "degrade: fail-closed" \
+  "tier_floor: none" "writes: read-only" "judge: mechanical" "verdict_binding: FAIL")
+rc=0; bash "$RELAY" run --cap "$A_N17" --cap-args "GO" --cap "$B" --task t > "$T/on17" 2>&1 || rc=$?
+_t "N17 upstream_argv 노드에 --cap-args 를 붙이면 fail-closed(결박이 조용히 죽지 않는다)" 10 "$rc"
+# N17b 컨트롤 — upstream_argv 를 **선언하지 않은** 노드는 종전대로 통과해야 한다(과차단 방지)
+rc=0; bash "$RELAY" run --cap "$A_N16" --cap-args "GO" --cap "$B" --task t > "$T/on17b" 2>&1 || rc=$?
+_t "N17b 컨트롤 — upstream_argv 미선언 노드는 --cap-args 를 정상 수용" 0 "$rc"
+
+# N18 개행 — 초판 가드를 통과해 **한 인자가 두 인자로 쪼개졌다**($'GO\nSECOND' → ARGC=2)
+rc=0; bash "$RELAY" run --cap "$A_N16" --cap-args "$(printf 'GO\nSECOND')" --cap "$B" --task t > "$T/on18" 2>&1 || rc=$?
+_t "N18 --cap-args 의 개행은 거부된다(인자 경계 무음 변형 차단)" 10 "$rc"
+# N18b 컨트롤 — **정상 다중 인자**(공백 구분)는 계속 통과해야 한다. 안 그러면 N18 은
+#      「인자를 여러 개 못 주는 계기」와 구분되지 않는다.
+A_N18=$(cap a_n18.cap "id: demo:a" "entry: bash $T/n_echo_args.sh" "verdict_channel: exit" \
+  "verdict_enum: 0=PASS 1=FAIL" "approval: auto" "reversibility: reversible" "residency: public" \
+  "degrade: fail-closed" "tier_floor: none" "writes: read-only" "judge: mechanical" \
+  "verdict_binding: FAIL")
+rc=0; bash "$RELAY" run --cap "$A_N18" --cap-args "GO SECOND THIRD" --cap "$B" --task t \
+  --record "$T/rec18" > "$T/on18b" 2>&1 || rc=$?
+_t    "N18b 컨트롤 — 공백 구분 다중 인자는 정상 통과" 0 "$rc"
+_tout "N18b2 세 인자가 그대로 도달한다" "ARGS=\[GO SECOND THIRD\]" "$T/rec18/node1.out"
+
 printf '\n── relay_channel lanes: %d PASS / %d FAIL ──\n' "$pass" "$fail"
 [ "$fail" -eq 0 ] || exit 1
 exit 0

package/templates/.git-hooks/pre-commit

@@ -284,8 +284,20 @@ else
   psa_load "$REPO_ROOT/.claude/rules/.public-surface-patterns.defaults" \
            "${PSA_PATTERNS:-$REPO_ROOT/.claude/rules/.public-surface-patterns}"
   if [ "$PSA_OVERRIDE_PRESENT" -eq 0 ]; then
-    echo "  ⚠️  operator pattern override absent — only committed defaults active (home paths)."
-    echo "     Populate .claude/rules/.public-surface-patterns (gitignored) for company-specific tokens."
+    # 2026-08-16 weekly-audit residual — operator decision: LOUDER WARNING, not fail-closed.
+    # A hard block here would fail every fresh clone's / CI's / worktree's first commit (the
+    # override is gitignored by construction), training PUBLIC_SURFACE_OK into a reflex — the same
+    # override-habituation this repo has measured and warned against repeatedly. So the degrade
+    # direction stays PASS; what changed is that the old two-line notice was easy to scroll past in
+    # a green hook run. This is now impossible to miss, still non-blocking.
+    echo ""
+    echo "  🟧🟧🟧 CONFIDENTIALITY COVERAGE REDUCED — READ BEFORE TRUSTING THIS PASS 🟧🟧🟧"
+    echo "  ⚠️  operator pattern override ABSENT — only committed defaults are active."
+    echo "     Company/employer-name and real-username token classes are UNSCANNED this run."
+    echo "     A clean PASS below reflects the defaults-only pattern set, not the full one."
+    echo "     Fix: populate .claude/rules/.public-surface-patterns (gitignored, one severity<TAB>regex per line)."
+    echo "  🟧🟧🟧 ────────────────────────────────────────────────────────────── 🟧🟧🟧"
+    echo ""
   fi
   if [ "$PSA_DEFAULTS_OK" -eq 0 ] || [ "$PSA_BAD_ROWS" -gt 0 ] \
      || [ -z "$(printf '%s' "$PSA_STREAM" | grep -vE '^[[:space:]]*(#|$)' || true)" ]; then