@chrono-meta/fh-gate 2.0.1 → 2.2.0

package/plugins/fh-meta/CHANGELOG.md

@@ -10,6 +10,94 @@ Format: [Keep a Changelog](https://keepachangelog.com/en/1.1.0/)
 
 ## Plugin Level
 
+### [2.2.0] — 2026-08-17
+
+🟥 **BREAKING (gate)**: chamber step 6 now reads `ACTUAL.md`, **not `BUDGET.md`**. An in-flight
+chamber run whose actual cost was written into `BUDGET.md` will **block at step 6** until the value
+moves to a new `ACTUAL.md` in the same workspace.
+- **Remedy**: the runner prints the exact path when it blocks — move the `ACTUAL:` line to
+  `tracks/_chamber/<slug>/ACTUAL.md`. `BUDGET.md` keeps `ESTIMATE:` only.
+- **Why**: `BUDGET.md`'s pre-verdict hash IS the ordering witness (`ship_readiness_gate §② P1`), and
+  step 6 was hard-blocking until that same file changed. So **every run that reached COMPLETE
+  necessarily mutated a witnessed artifact** and `verify` returned `TAMPERED` — identity ②'s only
+  promotion condition was unsatisfiable by construction, not by strictness. Measured on chamber run
+  #11, the first run ever taken through step 7. Two roles (immutable witness / post-verdict
+  calibration sink) had collided in one file; each was correct alone, so neither side's code showed
+  the conflict.
+
+**Added**
+- `scripts/ko_tech_writer_calibrate.py` + `scripts/test_ko_tech_writer_lanes.sh` + two known-pair
+  fixtures — the discrimination of `ko-tech-writer` Step 2 (five translationese classes) and
+  Step 4-b (universal-claim candidates) is now **reproducible**: positive ≥1 / negative 0 per class,
+  plus two META controls. Wired into `selfcheck.sh` and shipped in `files[]`.
+  🟥 **What this does NOT prove**: "zero residue" in any real document. Discrimination and residue
+  are different propositions; the suite prints that warning itself.
+- Chamber lane suite **12 → 33 lanes**, including the **runner × witness seam** that no test covered
+  (the runner's lanes excluded the witness by design; the witness self-test ran it standalone).
+
+**Changed**
+- `chamber_run.sh` now teaches the **two-commit discipline** where the actor reads it: gate hashes
+  and the verdict hash must land in **separate commits** (and, for a squash-merge repo, **separate
+  PRs**). Committing them together yields `UNORDERED` — the runner previously advised the opposite.
+- `chamber_witness.sh do_record` skips a byte-identical re-record of the same
+  `(run, artifact, sha)` triple. A **changed** artifact still appends — that is the tamper evidence.
+
+**Fixed**
+- `harness_terminal_correlation_and_recommendations.md` Appendix: Step 2 / Step 4 rows move from
+  🟥 `UNCALIBRATED` to 🟡 **partially resolved**, with the reproduction command recorded. The
+  original claims ("zero residue" in that document; Step 4's numeric extraction half) remain
+  **unverified and are labelled as such**.
+
+**Known residual (not closed)**
+- Identity ② stays **RC**. No run has yet been `WITNESSED` on `main`; the two-PR prescription is
+  reasoned from the verify logic, and its efficacy is provable only by the next EMIT run.
+- `--delete-branch` still orphans ordering evidence — warned in prose, not blocked.
+- Of Step 2's five "machine-detectable" classes, only two ship an actual grep in `SKILL.md`; the
+  calibration surfaced that the doc over-claims. C4's pattern is a closed noun list with **low recall**.
+
+### [2.1.0] — 2026-08-17
+
+🟥 **BREAKING (gate)**: `crossfamily: declined` in an Axes 2-3 marker now requires grounds naming a
+record path that **resolves on disk**. Bare `declined`, and `declined` justified by author judgment,
+are **blocked at commit**.
+- **Remedy**: cite where the operator decision lives — e.g.
+  `crossfamily: declined — operator declined sidecars, per knowledge/shared/rules/operational_adaptation.md`
+- **Or use the value that describes what actually happened**: if a panel was reachable and you chose
+  not to recruit it, that is `DEGRADED_PANEL_UNUSED`, not `declined`.
+- **Why**: `declined` was the only value in the enum with no grounds requirement, so an author
+  judgment flowed into the nearest permissive token and passed clean. A cross-family review then
+  broke the first (vocabulary-grep) fix three ways — self-validating on the value's own token,
+  vacuous keyword passes, and over-blocking genuine declinations phrased in natural prose — so the
+  check asserts a **resolvable record** rather than words. It proves a cited record EXISTS, not that
+  it says what is claimed; that residual is the marker's own declared scope, stated in the code.
+
+**Added**
+- `standpoint:` gains **`tier1b`** (a STATIC read of a target repo — executed nothing) plus a
+  decide-in-order procedure, after blind floor-tier sims graded pure cold-reads as `tier2` for three
+  rounds, defeating three separate rewordings via the enum's own internal logic.
+- steel-quench Wave 1's sixth angle (**gate-locality**) gains the output-template row it never had —
+  a mandatory angle that was structurally unreportable. Gate-locality failing its own check.
+- `verify-bidirectional` category 5 — **prescriptive doctrine statement**, the operator-correction
+  shape that fell between its doubt-shaped triggers and its "simple correction, no review" exception.
+- Sister Asset Protocol gains an **active-adoption** condition — all four prior conditions were
+  passive discovery, so installing an external framework and running it against our own asset
+  matched none of them.
+- Resident doctrine: **Mechanization Boundary** (machinery at irreversible edges and channels;
+  judgment left to evolution) · **Local Execution First** (CI is a backstop, never the discovery
+  mechanism) · **Skeleton-not-Muscle** (a wiring change is done when the floor tier executes it) ·
+  **Expedition** track · **this package's versioning policy** (major reserved for built-anew /
+  identity-established / capability-class change — never for tightening an existing gate).
+
+**Fixed**
+- `fh-gate.sh` survives a missing or unreadable `package.json`; `selfcheck.sh` decides npm-surface
+  applicability at the call site.
+- `capability_registry_check.sh` M3 basename-token matching (a path containing "claude" was silently
+  rejected) + a stdin channel for calibration arms.
+- `subagent-tally-hook.json` root resolution is 3-tier, matching the convention the sibling
+  `SessionStart` hook already used.
+
+---
+
 ### [2.0.1] — 2026-08-16
 
 - **feat(cadence)**: `harness-doctor` 30일 캐던스가 산문 제안에서 SessionStart 훅으로 승격 —

package/plugins/fh-meta/skills/auto-decorrelation/SKILL.md

@@ -264,8 +264,20 @@ enforceable layer) from the **declined** case above (chosen floor, first-class,
 **shared-body / cross-harness-boundary** change — scoped by *effect* (alters another harness's
 behavior, gate outcome, or interaction contract), not merely by touching a synced file path — also
 emit `standpoint:` alongside `crossfamily:` in the same marker — recruiting family diversity here
-does not substitute for it. Values: `tier1` (content-only, the default) · `tier2(<harness>)`
-(peer-simulated — ran the target's own repo, content only) · `tier2b(<harness>)` (same operator,
+does not substitute for it. Values: `tier1` (content-only, the default) · **`tier1b(<harness>)`
+(STATIC read of the target's own files — executed nothing)** · `tier2(<harness>)`
+(peer-simulated — **EXECUTED CODE in** the target's own repo and observed the result.
+🟥 **Reading the target's real files, however cold, is `tier1b`, not this.** The discriminator is
+mechanical: *name the command you ran and the output you saw*; cannot name one → `tier1b`, always.
+This line said **"ran the target's own repo, content only"** until 2026-08-17 — actively teaching
+the opposite of the canon it summarizes. 🟥 **RETRACTED (2026-08-17)**: this passage used to add
+that blind Sonnet sims *"STILL graded a pure cold-read `tier2`, both quoting this phrasing"* after
+the other two copies were fixed. Those runs had **`tool_uses: 0`** — nothing was read, so nothing
+was measured, and the claim that the sims "reached for this copy" was itself unfounded
+(`tracks/_meta/fh_completed_2026-08-16.md:690`; the live re-run inverted the grade at reps=1, below
+bar). **The reason to fix this copy needs no sim**: a summary that states the opposite of its canon
+teaches the opposite to whoever reads only the summary, and **two of three copies fixed is a fix
+that does not exist** — that is gate-locality, not a measurement. See `§7` for the canon) · `tier2b(<harness>)` (same operator,
 target's real runtime — local wiring visible, but not an independent reviewer) · `tier3(<harness>)`
 (a *different* operator of the target harness ran it — the only fully independent + local-wiring
 rung) · `not-applicable` (no target-harness standpoint exists — most same-repo dispatches) ·

package/plugins/fh-meta/skills/steel-quench/SKILL_detail.md

@@ -60,9 +60,22 @@ Added Wave 1 attack angles: N items
 | Bus factor | S/A/B | [single-person dependency area] | ○/△/× |
 | Platform obsolescence | S/A/B | [vulnerability point] | ○/△/× |
 | Self-referential structure | S/A/B | [closed circuit detection result] | ○/△/× |
+| Gate-locality | S/A/B | [any gate defined only where the enforcing actor never reads it] | ○/△/× |
 
 S-grade blockers: N / A-grade: N / B-grade: N
 
+> 🟥 **The 6th row was missing until 2026-08-16, and its absence was itself a gate-locality defect.**
+> `SKILL.md` Wave 1 has defined **six** angles since Gate-locality was added; this template shipped
+> **five rows**, and `quench-challenger.md` still said "5 angles" and omitted it from the
+> enumeration. So a mandatory angle had **no slot to be reported in** — an agent filling this table
+> correctly would report the other five and structurally never surface the sixth. That is the exact
+> shape Gate-locality itself is the check for: *a requirement placed where the actor who must
+> satisfy it does not read it.* Found by a sister-asset audit (an external adversarial framework's
+> **typed** attack registry vs. this repo's seven overlapping prose lists) — the fragmentation is
+> what let the three copies drift apart silently. If you add a Wave 1 angle, it lands in **three**
+> places or it does not land: `SKILL.md`'s table, this template, and `quench-challenger.md`'s
+> role-separation paragraph.
+
 Optional numeric score (0.0–1.0):
   overall_score: {score}
   [0.0–0.3] S-grade present → immediate blocker, do not proceed

package/plugins/fh-meta/skills/verify-bidirectional/SKILL.md

@@ -39,8 +39,41 @@ Also triggered in external user environments by these natural language phrases:
 | "what's your basis?", "why do you think that?" | Baseline grep trigger |
 | "check that one more time" | Self-validation request |
 
+### 🟥 5. Prescriptive doctrine statement — the category that fell through (added 2026-08-16)
+
+Every trigger above is shaped as **doubt about a claim**. A large class of operator correction is not
+doubt at all — it is a **standing rule being handed over**, stated as fact or instruction:
+
+| Shape | Real examples (2026-08-16 session) |
+|---|---|
+| *"X should also include Y"* | *"입장리뷰에는 정적리뷰뿐만 아니라 **동적리뷰도 포함되어야 할 거야**"* |
+| *"the real point of X is Z"* (redefining, not doubting) | *"부스팅보다 인큐베이터의 장점은 그 레포 전체를 감싸서 …**모든 것을 조작할 수 있는 권한**이 있는 거야"* |
+| *"isn't this too late / wrong-ordered?"* (rhetorical, expects agreement) | *"이 실패가 CI 확인 단계에서야 발견되는 건 매우 **늦은 게 아닐까**"* |
+| *"from now on, do W at Z"* | *"앞으로도 마감할 때 그 갈래로 이어갈 수 있게 **알아서 정리해줘**"* |
+
+**Why these were missed 4 times out of 4** — they sit in the blind spot between the triggers (which
+expect a *challenge*) and the Exceptions below (which release a *simple correction* with "no
+review"). A doctrine statement is neither: it does not dispute a claim, and it is not a one-off fix
+to apply and forget. Treated as the exception, it gets a verbal acknowledgment and evaporates at
+session end. **Measured**: four such statements in one session, all acknowledged in conversation,
+**zero landed in any file** until a later review grepped for them and found nothing.
+
+**The tell is grammatical, and it is language-independent** — the listed phrases above are all
+English interrogatives, which is why a Korean declarative (`~해야 할 거야` · `~인 거야` · `~아닐까`)
+matched none of them. Do not fix this by appending more literals (Grep-Collision Treadmill, P10);
+the discriminator is: **does this utterance describe how I should behave from now on, rather than
+what is wrong with this one output?** If yes, it is this category regardless of language or phrasing.
+
+**Required action** — an acknowledgment is not compliance. The statement must land **in a file** in
+the same session: canon (`CLAUDE.md` / `knowledge/`) if it governs future behavior, memory if it is
+about this operator, a signal file if it needs a decision first. Then say WHERE it landed, so the
+operator can see it did.
+
 **Exceptions** (this skill does NOT apply):
-- Simple user correction ("this is wrong, redo it") = direct negation → immediate correction (no review)
+- Simple user correction ("this is wrong, redo it") = direct negation → immediate correction (no review).
+  ⚠️ **Not the same as category 5 above** — "redo this" is scoped to one output; "from now on do X"
+  is a standing rule. When both readings fit, take it as category 5: over-landing costs a file edit,
+  under-landing loses the rule entirely.
 - This harness AI self-catch (no external counter-argument) = `fact-checker` rule (narrow 1 / broad N+1)
 
 ## Execution Steps

package/scripts/capability_registry_check.sh

@@ -54,7 +54,7 @@ RC_OK=0; RC_REJECT=1; RC_HARNESS=10
 # `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"
+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"
@@ -70,6 +70,9 @@ _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=""
+  # 다중 capfile 실행에서 앞 파일의 선언이 뒤 파일로 새지 않게 한다 — 초기화 누락은
+  # "뒤 파일이 선언하지 않은 stdin 으로 돌았다" 를 만들고, 그건 조용히 통과한다.
+  CAP_cal_pos_stdin=""; CAP_cal_neg_stdin=""
   UNKNOWN_KEYS=""; CAP_requires_cwd_was_self=0
   # 「선언했는데 값이 비었다」와 「선언 자체가 없다」는 다른 사실이다 — 관측 범위 블록이
   # 둘을 구분해 적으려면 파서가 그 구분을 보존해야 한다(빈 문자열 하나로는 못 나눈다).
@@ -93,6 +96,8 @@ _parse() {
       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"; 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"
@@ -119,10 +124,43 @@ _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")"
 }
@@ -256,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'" ;;
@@ -314,15 +376,16 @@ _check_one() {
   elif [ "$FILE_FAILED" -eq 1 ] && [ -z "${CRC_FORCE_M4:-}" ]; then
     printf '  ⏭  M4 — 앞선 축이 실패해 실행 생략(SKIPPED, PASS 아님)\n'
     OBS_WHY="앞선 축 실패로 M4 생략"
-  elif ! _validate_arm_args "$CAP_cal_pos_args" || ! _validate_arm_args "$CAP_cal_neg_args"; then
+  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 pos_rc2
-    _run_arm "$CAP_cal_pos_args"; pos_rc="$ARM_RC"; pos_name="$ARM_NAME"
+    _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"; pos_rc2="$ARM_RC"   # 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"

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
@@ -125,8 +133,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
@@ -194,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
@@ -203,8 +219,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

package/scripts/fh-gate.sh

@@ -34,7 +34,22 @@ set -euo pipefail
 FH_ROOT="$(cd "$(dirname "$0")/.." && pwd)"
 # Single source of truth: read version from the package.json shipped alongside this script.
 # No jq dependency (users may not have it); fall back to "unknown" if unreadable.
-VERSION="$(sed -n 's/.*"version"[[:space:]]*:[[:space:]]*"\([^"]*\)".*/\1/p' "$FH_ROOT/package.json" 2>/dev/null | head -1)"
+# VERSION — the `|| true` is load-bearing under `set -euo pipefail`, and it is the ONLY part that
+# is. Without it, a package.json that is missing OR unreadable makes this pipeline non-zero, and
+# because the whole thing is an ASSIGNMENT, `set -e` aborts the script right here — so the
+# `:-unknown` fallback on the next line never runs and the gate exits 1 before doing any work.
+# MEASURED 2026-08-16: a sibling harness carries this file verbatim but ships no package.json (it
+# is not an npm package), so its gate was dead on every invocation and its 30-lane regression
+# suite reported 30 failures that were all this one line. One lane appeared to PASS only because
+# its expected exit code happened to be 1 — the textbook signature of a dead control. Nobody had
+# looked, because that repo had no CI. Latent HERE too, not merely a sibling's problem: a copy of
+# this script run from a directory with no package.json died the same way.
+# A `[ -f "$FH_ROOT/package.json" ]` guard was written first and then REMOVED, because a 4-way
+# mutant matrix refuted it: with the file merely absent either mechanism alone suffices, but with
+# the file present-and-unreadable the guard passes and only `|| true` survives. A guard that
+# covers nothing `|| true` does not already cover is decoration, and the first version of this
+# comment claimed both were load-bearing — that claim was false.
+VERSION="$(sed -n 's/.*"version"[[:space:]]*:[[:space:]]*"\([^"]*\)".*/\1/p' "$FH_ROOT/package.json" 2>/dev/null | head -1 || true)"
 VERSION="${VERSION:-unknown}"
 CALLER_CWD="$(pwd -P)"
 _TMPDIR="${TMPDIR:-/tmp}"

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/package_coverage_check.sh

@@ -51,6 +51,16 @@ ACCEPTED_ABSENT=(
   # read as claims about THEIR file. The shipped docs name it as the place verdicts live in the
   # harness repo, which is a pointer for contributors, not a promise of a shipped artifact.
   ".claude/regression/ablation_verdicts.md"
+  # 챔버 **순서 증인 원장**(ship_readiness_gate §② P1). 바로 위 ablation_verdicts 와 **같은
+  # 논거**다: 이건 THIS repo 의 챔버 런이 언제 무엇을 고정했는지에 대한 기록이고, 소비자의
+  # 챔버 런은 그들 것이다 — 출하 문서에서 인용된 채로 딸려가면 소비자가 **자기 런에 대한
+  # 주장**으로 읽는다. 게다가 이 원장은 우리 런 slug·시각을 담은 공개 표면이라 소비자에게
+  # 보내는 것은 정보 유출 방향으로도 틀렸다.
+  # 🟥 **부재가 소비자 쪽 기능을 깨지 않는다** — `chamber_witness.sh do_record` 는 원장이
+  # 없으면 헤더를 만들어 생성한다(같은 파일의 `[ ! -f "$LEDGER" ]` 분기). 즉 스크립트는
+  # 출하되고 원장은 소비자 머신에서 처음 쓸 때 생긴다. 「없으면 죽는다」가 아니라
+  # 「없는 게 정상 초기 상태」다.
+  "knowledge/shared/learnings/chamber_ordering_witness.yaml"
   "scripts/sync-to-be.sh"
   "scripts/sync_guard_check.sh"
   # Return path (companion store → hub) and its anchor. Same reason as the forward path above: the