leerness 1.9.432 → 1.9.434

package/CHANGELOG.md

@@ -1,5 +1,38 @@
 # Changelog
 
+## 1.9.434 — 2026-06-08 — health/drift/status 미존재 경로 exit 1 통일 (11th 외부평가 Opus P2, UR-0136)
+
+**🚧 존재하지 않는 경로를 "healthy"로 위조 보고하던 문제 — CI 게이트 안전성.**
+
+### 변경
+- **`health` / `drift check` / `status`**: 진입부에서 `!exists(root)` 면 `failJson(has('--json'), 'path_not_found', …)` + **exit 1**(audit/verify 와 일치). 기존엔 phantom 경로를 exit 0 + healthy 로 보고 → 오타 경로/미초기화 디렉토리를 CI가 통과시킴.
+- 유효하지만 미초기화(.harness 없는 기존 디렉토리)는 종전대로 정상 보고(가드는 디렉토리 존재만 확인).
+
+### 검증 (회귀 0)
+- 미존재 경로: health/drift/status 전부 exit 1, `--json` 은 `{ok:false, code:"path_not_found"}` 순수 JSON. 클린/미초기화 WS: exit 0 유지.
+- **selftest 178→179 PASS** · **E2E 무회귀**.
+
+## 1.9.433 — 2026-06-08 — 11번째 외부평가: contract verify backtick-bullet 강선언 FN 수정 (UR-0136~0139)
+
+**🔍 11번째 외부 멀티모델 리뷰(Codex/Sonnet/Opus, README 미참조, 1.9.432). 5개 회귀항목 전부 정상 확인 + contract verify P1 신규 적발.**
+
+### 수정 (확정·맹신 X 직접 재현)
+- **[P1] contract verify backtick-bullet 강선언 우회(FN)** (Codex+Opus 교차확인): CLI 자체 관례인 `` - `name()` 필요 `` / `` - `field`: 설명 `` 표기가 **약언급(mentioned)으로 분류돼 누락검사 우회** → 구현에 없어도 ok:true/exit 0. `_parseContractSpec` 의 강선언 bullet regex(함수·필드)에 **bullet 시작 backtick 허용**. 인라인 산문 backtick 은 약언급 유지(관대성), 공백+괄호 산문(`- result (total)`) FP 가드 유지.
+
+### 검증 (회귀 0)
+- **selftest 177→178 PASS** (backtick 함수/필드 강선언 + 산문 약언급 + FP 가드). contract verify e2e: 누락 함수/필드 → ok:false/exit 1.
+- **E2E 무회귀**.
+
+### 5개 회귀항목 독립 검증 — 전부 정상
+health memorySurface(STATUSES) · check/plan show/review-request --json 순수성 · contract 멀티라인/ESM · health 보안 exit 1 · drift 재귀 종료성.
+
+### 맹신 X — 기각 2건 (직접 재현으로 반증)
+- Sonnet "동시 task add 데이터 유실(P1)" → node 정밀 재현 **3/3 무손실·dup 0**(bash `&` 아티팩트). e2e B(1.9.303) + CPU포화 5/5 와 일치.
+- Sonnet "GitHub 토큰(ghp_/github_pat_) 미탐지(P2)" → **정상 탐지·exit 1** 확인.
+
+### 후속 백로그 (UR-0136~0139)
+nonexistent path exit 통일 · agents dispatch flag bleed(_parseAddTitle) · --json 에러 전역화 · ESM re-export/encoding CRLF/AKIA placeholder.
+
 ## 1.9.432 — 2026-06-08 — drift --auto-fix 재귀 depth 가드 (10th 외부평가 Opus latent, UR-0131 잔여)
 
 **🛡️ drift --auto-fix 재귀의 잠재적 무한재귀 방어(방어적 — 현재 신호 타입에선 미발현 확인).**

package/README.md

@@ -3,7 +3,7 @@
 > **AI 코딩 에이전트의 거짓 완료·중복·망각·충돌을 막아주는 검수·기억·협업 CLI 하네스.**
 > **A CLI harness that stops AI coding agents from faking completion, duplicating work, forgetting context, and colliding.**
 
-[![npm](https://img.shields.io/badge/npm-leerness-blue)](https://www.npmjs.com/package/leerness) [![version](https://img.shields.io/badge/version-1.9.432-green)]() [![tests](https://img.shields.io/badge/e2e-358%2F358-success)]() [![selftest](https://img.shields.io/badge/selftest-177-success)]() [![mcp](https://img.shields.io/badge/MCP--tools-85-brightgreen)]() [![providers](https://img.shields.io/badge/AI_providers-10-brightgreen)]() [![license](https://img.shields.io/badge/license-MIT-lightgrey)]()
+[![npm](https://img.shields.io/badge/npm-leerness-blue)](https://www.npmjs.com/package/leerness) [![version](https://img.shields.io/badge/version-1.9.434-green)]() [![tests](https://img.shields.io/badge/e2e-358%2F358-success)]() [![selftest](https://img.shields.io/badge/selftest-179-success)]() [![mcp](https://img.shields.io/badge/MCP--tools-85-brightgreen)]() [![providers](https://img.shields.io/badge/AI_providers-10-brightgreen)]() [![license](https://img.shields.io/badge/license-MIT-lightgrey)]()
 
 ```
   ╔══════════════════════════════════════════════════════════════╗
@@ -471,7 +471,7 @@ MIT — © leerness contributors
 <!-- leerness:project-readme:start -->
 ## Leerness Project Harness
 
-이 프로젝트는 Leerness v1.9.432 하네스를 사용합니다. AI 에이전트는 작업 전 `leerness handoff`로 컨텍스트를 적재하고, 작업 후 `leerness check`/`leerness audit`/`leerness session close`를 수행해야 합니다.
+이 프로젝트는 Leerness v1.9.434 하네스를 사용합니다. AI 에이전트는 작업 전 `leerness handoff`로 컨텍스트를 적재하고, 작업 후 `leerness check`/`leerness audit`/`leerness session close`를 수행해야 합니다.
 
 ### 정체성 — AI 에이전트 운영 레이어 (UR-0030)
 
@@ -525,7 +525,7 @@ leerness memory restore decision <date|title>
 
 ### MCP server (외부 AI 통합)
 
-Leerness v1.9.432는 stdio JSON-RPC MCP server를 내장합니다 — Claude Code · Cursor · Codex CLI 등 외부 AI에 **85개 도구**를 노출:
+Leerness v1.9.434는 stdio JSON-RPC MCP server를 내장합니다 — Claude Code · Cursor · Codex CLI 등 외부 AI에 **85개 도구**를 노출:
 
 ```jsonc
 // 카테고리별
@@ -546,7 +546,7 @@ Leerness v1.9.432는 stdio JSON-RPC MCP server를 내장합니다 — Claude Cod
 `<<autonomous-loop-dynamic>>` 신호만 보내면 AI가:
 1) 다음 라운드 후보 선정 → 2) 코드 변경 → 3) stress-v* 신규 작성 + 누적 회귀 → 4) e2e 219/219 → 5) npm pack + git tag + GitHub release → 6) main 자동 push (1.9.140+) → 7) session close → 8) 다음 라운드 예약.
 
-현재 누적: **70 라운드 (1.9.40 → 1.9.432)** · 매 라운드 GitHub release/태그 생성 · _reports/는 비공개 보존.
+현재 누적: **70 라운드 (1.9.40 → 1.9.434)** · 매 라운드 GitHub release/태그 생성 · _reports/는 비공개 보존.
 
 ### 성능 가이드 (1.9.140 측정)
 
@@ -584,6 +584,6 @@ leerness release pack --close --auto-main-push
 - `.harness/session-handoff.md`: 다음 세션 인수인계 (자동 작성)
 - `.harness/lessons.md` / `decisions.md` / `rules.md`: 영구 메모리 (5 surface)
 
-Last synced by Leerness v1.9.432: 2026-06-07
+Last synced by Leerness v1.9.434: 2026-06-07
 <!-- leerness:project-readme:end -->
 

package/bin/leerness.js

@@ -31,7 +31,7 @@ const { _evidenceQuality, _parseEvidenceStats, _shellGuardAnalyze, _claimFileInG
 // 1.9.295 (UR-0025 4단계): 정적 데이터 카탈로그 모듈 분리 (비파괴, require-based).
 const { CAPABILITY_SURFACE, POWERFUL_COMMANDS, ADAPTERS, REUSE_CATEGORIES, REUSE_CHECKLIST, _DEFAULT_PLATFORM_CONSTRAINTS, _DEFAULT_DOMAIN_CATALOG, _LSP_LANG_PATTERNS, OPTIMISM_PATTERNS, BUILT_IN_PERSONAS, STRINGS, BUILTIN_CATALOG, ROADMAP_STATUS_LABEL, ROADMAP_STATUS_COLOR, SECRET_PATTERNS, MERGE_OVERWRITE_FILES, MINIMAL_SKIP_KEYS, REQUIRED_WORKSPACE_FILES, KEYWORD_STOPWORDS, SKILL_CATALOG_PRESETS } = require('../lib/catalogs');  // 1.9.344/368/369 (UR-0025): catalog 분리 (MERGE_OVERWRITE_FILES/MINIMAL_SKIP_KEYS 포함)
 
-const VERSION = '1.9.432';
+const VERSION = '1.9.434';
 
 // 1.9.290 (UR-0037, Codex gpt-5.5 #4 수렴): CLI 전용 부작용은 require 시 실행하지 않는다.
 //   이전: warning listener 제거 / NODE_OPTIONS 변경 / chcp IIFE 가 top-level 즉시 실행 → require('harness') 시 호스트 프로세스 오염.
@@ -3250,6 +3250,23 @@ function _selfTestCases() {
       const recurseGuarded = (modSrc.match(/driftCheckCmd\(root, \{ \.\.\.opts, _noAutoFix: true \}, deps\)/g) || []).length === 2;
       return guard && recurseGuarded;
     } },
+    { name: '11th 외부평가 Codex/Opus P1: contract spec backtick-bullet 함수/필드 강선언 인식 (1.9.433)', run: () => {
+      const m = require('../lib/pure-utils');
+      const f = m._parseContractSpec('## Functions\n- `subtract(a,b)` 필요\n- createUser()\n## Fields\n- `version`: 모듈명\n- plainField\n');
+      const fn = [...f.declared].sort().join(',') === 'createUser,subtract';
+      const fld = [...f.fields].sort().join(',') === 'plainField,version';
+      // 인라인 산문 backtick 은 약언급 유지(declared 아님)
+      const prose = m._parseContractSpec('산문에서 `helperFn()` 언급.');
+      const proseOk = [...prose.declared].length === 0 && [...prose.mentioned].join(',') === 'helperFn';
+      return fn && fld && proseOk;
+    } },
+    { name: '11th 외부평가 Opus P2 (UR-0136): health/drift/status 미존재 경로 → failJson + exit 1 가드 (1.9.434)', run: () => {
+      const hSrc = read(path.join(path.dirname(__filename), '..', 'lib', 'health.js'));
+      const dSrc = read(path.join(path.dirname(__filename), '..', 'lib', 'drift.js'));
+      const guard = s => s.includes("if (!exists(root)) { failJson(has('--json'), 'path_not_found'");
+      const src = read(__filename);
+      return guard(hSrc) && guard(dSrc) && guard(src);  // status(bin) 도 동일 가드
+    } },
     { name: 'VERSION 형식 (x.y.z)', run: () => /^\d+\.\d+\.\d+$/.test(VERSION) }
   ];
 }
@@ -6916,6 +6933,8 @@ function route(name) {
 
 function status(root) {
   root = absRoot(root);
+  // 1.9.434 (11th 외부평가 Opus P2, UR-0136): 미존재 경로는 healthy 위조 금지 — failJson + exit 1.
+  if (!exists(root)) { failJson(has('--json'), 'path_not_found', `경로 없음: ${root}`); return; }
   const verF = path.join(root,'.harness/HARNESS_VERSION');
   const ver = exists(verF) ? read(verF).trim() : 'not installed';
   const lang = exists(path.join(root,'.harness/LANGUAGE')) ? read(path.join(root,'.harness/LANGUAGE')).trim() : 'ko';

package/lib/drift.js

@@ -10,6 +10,8 @@ const { log, ok, warn, fail, failJson, today, now, absRoot, exists, read, readBu
 function driftCheckCmd(root, opts = {}, deps = {}) {
   const { VERSION, has, arg, harnessPath, readProgressRows, planPath, handoffPath, currentStatePath, taskLogPath, envDiff, _usageStatsPath, _readUsageStats, _updateUserRequest, _scanShellScriptsEncoding, _readFeatureGraph, _detectDeliveredRequests, _autoFixIdempotency } = deps;
   root = absRoot(root || process.cwd());
+  // 1.9.434 (11th 외부평가 Opus P2, UR-0136): 미존재 경로는 healthy 위조 금지 — failJson + exit 1.
+  if (!exists(root)) { failJson(has('--json'), 'path_not_found', `경로 없음: ${root}`); return; }
   const now = Date.now();
   const _ageDays = (p) => {
     if (!exists(p)) return null;

package/lib/health.js

@@ -12,6 +12,8 @@ const { _parseArchiveBlocks } = require('./pure-utils');
 function healthCmd(root, deps = {}) {
   const { VERSION, STATUSES, has, arg, harnessPath, listAllSkills, planPath, readProgressRows, readRules, envDiff, _collectSecretFindings, _readUsageStats, _loadDecisions, _loadLessons, _loadShellFailures, _readFeatureGraph, _scanShellScriptsEncoding, _shellEnvDrift, _computeMilestones, _computeRecentChanges, _computeRoundHistory, _collectPyFiles, _analyzePyFile, _collectRuntimeEnv, _listAPISkills, _matchAPISkills, _mcpToolCount } = deps;
   root = absRoot(root || process.cwd());
+  // 1.9.434 (11th 외부평가 Opus P2, UR-0136): 미존재 경로는 healthy 위조 금지 — failJson + exit 1(audit/verify 와 일치, CI 안전).
+  if (!exists(root)) { failJson(has('--json'), 'path_not_found', `경로 없음: ${root}`); return; }
   const out = { root, generatedAt: new Date().toISOString(), checks: {} };
   // 1) drift level
   try {

package/lib/pure-utils.js

@@ -1053,7 +1053,8 @@ function _parseContractSpec(specText) {
   const mentioned = new Set();
   const fields = new Set();
   for (const m of s.matchAll(/function\s+([A-Za-z_$][\w$]*)\s*\(/g)) declared.add(m[1]);
-  for (const m of s.matchAll(/^\s*(?:[-*+]|\d+\.)\s+([A-Za-z_$][\w$]*)\(/gm)) declared.add(m[1]);
+  // 1.9.433 (11th 외부평가 Opus P1): bullet 시작 backtick 허용 — `- ` + ` `name()` `(CLI 자체 관례)도 강선언. 인라인 산문 backtick(아래)은 약언급 유지.
+  for (const m of s.matchAll(/^\s*(?:[-*+]|\d+\.)\s+`?([A-Za-z_$][\w$]*)\(/gm)) declared.add(m[1]);
   for (const m of s.matchAll(/`([A-Za-z_$][\w$]*)\s*\(/g)) mentioned.add(m[1]);
   for (const m of s.matchAll(/tick\.([A-Za-z_$][\w$]*)/g)) fields.add(m[1]);
   // 1.9.417 (9th 외부평가 Opus, UR-0123): `## Fields`(또는 `## 필드`) 섹션 불릿도 필드로 인식.
@@ -1066,7 +1067,8 @@ function _parseContractSpec(specText) {
       const h = line.match(/^#{1,6}\s+(.+?)\s*$/);
       if (h) { const t = h[1].trim().toLowerCase(); inFields = t === 'fields' || t.startsWith('fields ') || h[1].trim().startsWith('필드'); continue; }
       if (!inFields) continue;
-      const b = line.match(/^\s*(?:[-*+]|\d+\.)\s+([A-Za-z_$][\w$]*)\s*(?::|\s|$)/);
+      // 1.9.433 (11th 외부평가 Codex P2): bullet 시작 backtick 허용 — `- ` + ` `name`: desc `(설명 붙은 필드 관용 표기)도 필드로 인식.
+      const b = line.match(/^\s*(?:[-*+]|\d+\.)\s+`?([A-Za-z_$][\w$]*)`?\s*(?::|\s|$)/);
       if (b) fields.add(b[1]);
     }
   }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "leerness",
-  "version": "1.9.432",
+  "version": "1.9.434",
   "description": "Leerness: 비파괴 마이그레이션, 자동 버전 감지·업데이트, 계획/진행/핸드오프 자동화, 게으름·시크릿·인코딩 자동 가드, Claude Code 슬래시 통합을 갖춘 한국어 우선 AI 개발 하네스.",
   "keywords": [
     "leerness",