leerness 1.9.308 → 1.9.310

package/CHANGELOG.md

@@ -1,5 +1,41 @@
 # Changelog
 
+## 1.9.310 — 2026-06-04 — UR-0046: CLI/MCP 입력 스키마 검증 (설치리뷰 3중수렴 high)
+
+**🛡 무효한 task status / rule trigger 가 그대로 등록돼 상태·정책 신뢰성을 훼손하던 결함 수정 — 세 모델(Codex#2·Sonnet#2) 공통 지적.**
+
+### 배경 (설치리뷰)
+실측: `task update --status nonsense` 가 그대로 적용(health 도 정상으로 보고), `rule add --trigger not-a-trigger` 가 경고만 하고 등록. "운영 레이어의 핵심인 상태/정책 신뢰성이 깨짐"(Codex). 게다가 기존 `validTriggers` 가 **every-round 누락**(R-0001 이 실제 사용 중) — warn-and-register 라 통과됐지만 불완전.
+
+### 구현 (UR-0046)
+1. **`TASK_STATUSES`(11종) / `RULE_TRIGGERS`(7종, every-round 포함) 모듈 상수 + `_validateChoice` 헬퍼** — 무효값은 `fail`(exit 1) + 유효값 안내, `--force` 우회.
+2. **task add/update + plan add: `--status` 검증** — 무효 status 거부(이전 무검증).
+3. **rule add: `--trigger` 검증** — warn-and-register → **거부**(exit 1). every-round 를 RULE_TRIGGERS 에 포함해 R-0001(every-round) 등록 보존.
+4. selftest 57→58 · e2e 254→255.
+
+### 검증
+- **selftest 58/58 PASS** · **E2E 255/255 PASS** (회귀 0).
+- 실측: `task --status nonsense` → exit 1 · `--status in-progress` → 0 · `--status weird --force` → 0(우회) · `rule --trigger 오타` → exit 1 · `--trigger every-round` → 0(**R-0001 보존**) · `--trigger every-update` → 0.
+- 범위: status/trigger enum 검증. decision/기타 스키마는 후속.
+
+## 1.9.309 — 2026-06-04 — UR-0048: verify-claim 거짓완료 차단 기본화 (설치리뷰 Opus critical)
+
+**🔴 제품 핵심 가치(거짓완료 차단)가 기본값·MCP 에서 무력하던 자기모순 수정 — 증거 0 인 done 주장이 기본 통과하고 MCP 로는 강한 게이트에 도달조차 못 하던 critical 결함 해소.**
+
+### 배경 (clean-install 리뷰 Opus G-1, 직접 재확인)
+`verify-claim` 의 1번 셀링포인트인데, 증거 0 done 이 **기본 exit 0**(`fileChecks.every([])` 공허참 + `--require-evidence` 가 기본 OFF). MCP `leerness_verify_claim` 은 `requireEvidence` 미노출 → 외부 에이전트가 강한 게이트 **호출 불가**. `lazy detect` 는 잡는데 verify-claim 은 통과시키는 자기모순.
+
+### 구현 (UR-0048)
+1. **done/완료 주장 evidence 기본 강제** — `mustHaveEvidence = !--lenient && (done주장 || --require-evidence)`. 증거(파일·테스트·로그) 한 줄도 없는 done 은 기본 **FAIL(exit 1)**. CLI/json/MCP **세 경로 모두** 적용(이전엔 pretty 만, 그것도 플래그 시에만).
+2. **비례적 임계** — 기본은 "근거 일부(파일·테스트·로그 중 하나)"만 요구(Opus 의 증거0 케이스만 차단, 과탐 방지). `--require-evidence`(명시)는 엄격(파일+테스트, 1.9.287). `--lenient` opt-out.
+3. **MCP `leerness_verify_claim`** — done 기본 강제로 강한 게이트가 자동 도달 + `lenient` 인자 노출. json `verdict.evidenceComplete` + `evidence{required,...}` 추가.
+4. selftest 56→57 · e2e 253→254 (FILE_RE 추출 테스트 2건은 `--lenient` 로 게이트와 분리).
+
+### 검증
+- **selftest 57/57 PASS** · **E2E 254/254 PASS** (회귀 0).
+- 실측: 증거0 done → **exit 1**(CLI) + **isError**(MCP) · `--lenient` → exit 0 · 증거+파일존재 done → exit 0(회귀 0) · 비-done(requested) → 강제 안 함.
+- 행동 변경 안전 처리: 비례 임계로 과탐 방지 + `--lenient` opt-out + 기존 파일추출 테스트 2건 분리.
+
 ## 1.9.308 — 2026-06-04 — UR-0055 (2단계 완료): 개발 방향 이력 + context/MCP 청사진 통합
 
 **📘 프로젝트 청사진 기능 완성 — 개발 방향 변경/확대 이력 누적 + 에이전트가 청사진을 1콜로 회수(context/MCP). 사용자 요청 "개발 방향이 변경/확대될 때 업데이트" 완전 충족.**

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.308-green)]() [![tests](https://img.shields.io/badge/e2e-253%2F253-success)]() [![selftest](https://img.shields.io/badge/selftest-56-success)]() [![mcp](https://img.shields.io/badge/MCP--tools-83-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.310-green)]() [![tests](https://img.shields.io/badge/e2e-255%2F255-success)]() [![selftest](https://img.shields.io/badge/selftest-58-success)]() [![mcp](https://img.shields.io/badge/MCP--tools-83-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.308 하네스를 사용합니다. AI 에이전트는 작업 전 `leerness handoff`로 컨텍스트를 적재하고, 작업 후 `leerness check`/`leerness audit`/`leerness session close`를 수행해야 합니다.
+이 프로젝트는 Leerness v1.9.310 하네스를 사용합니다. 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.308는 stdio JSON-RPC MCP server를 내장합니다 — Claude Code · Cursor · Codex CLI 등 외부 AI에 **83개 도구**를 노출:
+Leerness v1.9.310는 stdio JSON-RPC MCP server를 내장합니다 — Claude Code · Cursor · Codex CLI 등 외부 AI에 **83개 도구**를 노출:
 
 ```jsonc
 // 카테고리별
@@ -546,7 +546,7 @@ Leerness v1.9.308는 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.308)** · 매 라운드 GitHub release/태그 생성 · _reports/는 비공개 보존.
+현재 누적: **70 라운드 (1.9.40 → 1.9.310)** · 매 라운드 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.308: 2026-06-04
+Last synced by Leerness v1.9.310: 2026-06-04
 <!-- leerness:project-readme:end -->
 

package/bin/harness.js

@@ -14,7 +14,7 @@ const { _evidenceQuality, _parseEvidenceStats, _shellGuardAnalyze, _claimFileInG
 // 1.9.295 (UR-0025 4단계): 정적 데이터 카탈로그 모듈 분리 (비파괴, require-based).
 const { CAPABILITY_SURFACE, POWERFUL_COMMANDS, ADAPTERS, REUSE_CATEGORIES, REUSE_CHECKLIST } = require('../lib/catalogs');
 
-const VERSION = '1.9.308';
+const VERSION = '1.9.310';
 
 // 1.9.290 (UR-0037, Codex gpt-5.5 #4 수렴): CLI 전용 부작용은 require 시 실행하지 않는다.
 //   이전: warning listener 제거 / NODE_OPTIONS 변경 / chcp IIFE 가 top-level 즉시 실행 → require('harness') 시 호스트 프로세스 오염.
@@ -3080,6 +3080,8 @@ function _selfTestCases() {
     { name: 'exit code 일관성: fail()→exitCode 1 + unknown 명령 안내 (UR-0045 설치리뷰 1.9.306)', run: () => { const src = read(__filename); return /function fail\(s\) \{ log\('✗ ' \+ s\); process\.exitCode = 1; \}/.test(src) && /알 수 없는 명령: \$\{cmd\}/.test(src) && /if \(cmd === 'help' \|\| cmd === 'commands'/.test(src); } },
     { name: 'brief: 프로젝트 청사진 set/show/export + README 개요 섹션 (UR-0055 사용자명시 1.9.307)', run: () => { const src = read(__filename); const fnOk = typeof briefCmd === 'function' && typeof _loadBrief === 'function' && typeof _briefBlueprint === 'function' && _BRIEF_FIELDS.length === 10; const b = { project: 'X', intro: 'i', purpose: 'p', problem: '', features: ['f1', 'f2'], stack: ['s'], architecture: '', users: [], success: [], nonGoals: [], currentState: '' }; const bp = _briefBlueprint('.', b); const bpOk = /Blueprint/.test(bp) && /소개 \(Intro\)/.test(bp) && /f1/.test(bp) && /신규 프로젝트 시작 가이드/.test(bp); const rb = _briefReadmeBlock(b); const rbOk = rb.includes(BRIEF_START) && rb.includes(BRIEF_END) && /프로젝트 개요/.test(rb) && /\*\*목적\*\*/.test(rb); return fnOk && bpOk && rbOk && /if \(cmd === 'brief'\)/.test(src); } },
     { name: 'brief 2단계: update --direction 이력 + MCP leerness_brief + context 통합 (UR-0055 1.9.308)', run: () => { const src = read(__filename); const b = { project: 'X', intro: '', purpose: '', problem: '', features: [], stack: [], architecture: '', users: [], success: [], nonGoals: [], currentState: '', directionHistory: ['2026-06-04: 확대'] }; const bpOk = /개발 방향 이력/.test(_briefBlueprint('.', b)) && /최근 개발 방향 변경/.test(_briefReadmeBlock(b)); const histWired = /sub === 'update'/.test(src) && /brief\.directionHistory \|\| \[\]\), `\$\{today\(\)\}/.test(src); const mcpOk = require('../lib/mcp-tools').some(t => t.name === 'leerness_brief'); const ctxOk = /brief: \{ intro:/.test(src); return bpOk && histWired && mcpOk && ctxOk; } },
+    { name: 'verify-claim: done 주장 evidence 기본강제 + --lenient + MCP/json 도달 (UR-0048 설치리뷰 critical 1.9.309)', run: () => { const src = read(__filename); const def = /const mustHaveEvidence = !has\('--lenient'\) && \(isDoneClaim \|\| has\('--require-evidence'\)\)/.test(src); const threshold = /has\('--require-evidence'\) \? evq\.ok : \(evq\.hasFile \|\| evq\.hasTest \|\| evq\.hasLog\)/.test(src); const jsonWired = /evidenceComplete:/.test(src) && /!evidenceQualityOk\) return process\.exit\(1\)/.test(src); const mcpLenient = !!require('../lib/mcp-tools').find(t => t.name === 'leerness_verify_claim').inputSchema.properties.lenient; return def && threshold && jsonWired && mcpLenient; } },
+    { name: '입력 스키마 검증: task status/rule trigger 무효값 거부 + every-round 보존 (UR-0046 설치리뷰 1.9.310)', run: () => { const src = read(__filename); const sets = TASK_STATUSES.has('done') && TASK_STATUSES.has('in-progress') && !TASK_STATUSES.has('nonsense') && RULE_TRIGGERS.has('every-round') && RULE_TRIGGERS.has('every-update') && !RULE_TRIGGERS.has('not-a-trigger'); const helper = typeof _validateChoice === 'function' && _validateChoice('done', TASK_STATUSES, 'x') === true; const wired = /_validateChoice\(arg\('--status', null\), TASK_STATUSES/.test(src) && /_validateChoice\(trigger, RULE_TRIGGERS/.test(src); return sets && helper && wired; } },
     { name: 'VERSION 형식 (x.y.z)', run: () => /^\d+\.\d+\.\d+$/.test(VERSION) }
   ];
 }
@@ -6190,6 +6192,7 @@ function planListCmd(root, opts = {}) {
 }
 
 function planAdd(root, text) {
+  if (!_validateChoice(arg('--status', null), TASK_STATUSES, 'plan status')) { process.exitCode = 1; return; }  // 1.9.310 (UR-0046)
   const status = arg('--status','planned'), progress = arg('--progress','0'), nextAction = arg('--next', '다음 액션 작성');
   // 1.9.303 (UR-0043): M-id append + T-id upsert 를 하나의 락으로 — 동시 plan add ID 충돌 방지.
   const { id, tid } = _withLock(progressPath(root), () => {
@@ -6295,7 +6298,18 @@ function taskList(root) {
   log('|---|---|---|---|---|---|');
   for (const r of filtered) log(`| ${r.id} | ${r.status} | ${r.request} | ${r.evidence} | ${r.nextAction} | ${r.updated} |`);
 }
+// 1.9.310 (UR-0046, 설치리뷰 3중수렴): CLI/MCP 입력 스키마 검증 — 무효 status/trigger 거부(--force 우회).
+//   이전: task --status nonsense / rule --trigger 오타가 그대로 등록돼 상태/정책 신뢰성 훼손.
+const TASK_STATUSES = new Set(['requested', 'planned', 'in-progress', 'waiting', 'on-hold', 'blocked', 'incomplete', 'done', 'dropped', 'completed', 'verified']);
+const RULE_TRIGGERS = new Set(['every-session', 'every-update', 'every-commit', 'every-round', 'session-start', 'session-close', 'pre-publish']);
+function _validateChoice(value, validSet, label) {
+  if (value == null || validSet.has(String(value)) || has('--force')) return true;
+  fail(`무효한 ${label}: "${value}" — 유효값: ${[...validSet].join(', ')} (커스텀 허용: --force)`);
+  return false;
+}
 function taskAdd(root, text) {
+  // 1.9.310 (UR-0046): --status 스키마 검증 (무효값 거부, --force 우회)
+  if (!_validateChoice(arg('--status', null), TASK_STATUSES, 'task status')) { process.exitCode = 1; return; }
   // 1.9.212: 멱등성 — 같은 request 텍스트 + 활성 상태 (requested/in-progress) 이미 존재 시 skip (사용자 명시)
   // progress-tracker.md 포맷: | T-XXXX | status | request | evidence | nextAction | date |
   if (!has('--force') && text && text.trim()) {
@@ -6367,6 +6381,7 @@ function taskAdd(root, text) {
 }
 function taskUpdate(root, id) {
   if (!id) return fail('id required (e.g., task update T-0001 --status in-progress)');
+  if (!_validateChoice(arg('--status', null), TASK_STATUSES, 'task status')) { process.exitCode = 1; return; }  // 1.9.310 (UR-0046)
   const rows = readProgressRows(root);
   if (!rows.find(r => r.id === id)) { fail(`task ${id} not found in progress-tracker.md`); return; }
   const patch = { id };
@@ -9549,6 +9564,18 @@ function verifyClaimCmd(root, taskId) {
     }
   }
 
+  // 1.9.309 (UR-0048, 설치리뷰 Opus critical): done 주장은 evidence(파일+테스트) 기본 강제 — 거짓완료 차단을 기본값·MCP·json 모두에서 작동.
+  //   이전: --require-evidence 플래그 시에만 검사 → 증거0 done 이 기본 통과(fileChecks.every([])=공허참)했고 MCP 는 도달 불가했음.
+  //   이제 done/완료 주장은 기본 강제. opt-out: --lenient. 비-done 주장은 영향 없음.
+  const isDoneClaim = /done|완료|completed/i.test(row.status || '');
+  const evq = _evidenceQuality(evidence);
+  const mustHaveEvidence = !has('--lenient') && (isDoneClaim || has('--require-evidence'));
+  // 1.9.309: 기본 임계는 비례적 — 근거 일부(파일·테스트·로그 중 하나)만 있으면 통과(Opus 의 "증거 0" 만 차단).
+  //   --require-evidence(명시) 는 엄격(파일+테스트 모두, 1.9.287). 과탐 방지.
+  const evidenceQualityOk = !mustHaveEvidence || (has('--require-evidence') ? evq.ok : (evq.hasFile || evq.hasTest || evq.hasLog));
+  //   공허참("증거 0 done") 은 evidenceQualityOk 가 차단하므로 filesAllExist 는 표준 의미 유지(주장 파일들이 실제 존재하는가).
+  const filesAllExist = fileChecks.every(c => c.exists);
+
   if (has('--json')) {
     const out = {
       project: path.basename(root),
@@ -9556,9 +9583,11 @@ function verifyClaimCmd(root, taskId) {
       declared: { files: files.length, pass: declaredPass, testCount: declaredTestCount },
       actual: { fileChecks, testCount: actualTestCount },
       verdict: {
-        filesAllExist: fileChecks.every(c => c.exists),
-        testCountMatch: declaredTestCount == null || actualTestCount == null || actualTestCount >= declaredTestCount
-      }
+        filesAllExist,
+        testCountMatch: declaredTestCount == null || actualTestCount == null || actualTestCount >= declaredTestCount,
+        evidenceComplete: !mustHaveEvidence ? null : evq.ok
+      },
+      evidence: { required: mustHaveEvidence, ...evq }
     };
     if (runResult) {
       out.run = runResult;
@@ -9570,7 +9599,7 @@ function verifyClaimCmd(root, taskId) {
     }
     log(JSON.stringify(out, null, 2));
     if (runResult && !runResult.skipped && !runResult.allPassed) return process.exit(1);
-    if (!out.verdict.filesAllExist || !out.verdict.testCountMatch) return process.exit(1);
+    if (!filesAllExist || !out.verdict.testCountMatch || !evidenceQualityOk) return process.exit(1);
     return;
   }
 
@@ -9624,7 +9653,7 @@ function verifyClaimCmd(root, taskId) {
   }
 
   log('');
-  const allFilesOk = fileChecks.every(c => c.exists);
+  const allFilesOk = filesAllExist;
   const testOk = declaredTestCount == null || actualTestCount == null || actualTestCount >= declaredTestCount;
   log(`## 종합`);
   log(`  - 파일 모두 존재: ${allFilesOk ? '✓ pass' : '✗ FAIL (일부 누락)'}`);
@@ -9654,20 +9683,14 @@ function verifyClaimCmd(root, taskId) {
     if (strongMismatch) log(`    · 주장한 파일이 working tree/직전커밋 변경에 전무 — 변경이 더 오래전 커밋이거나, 실제로 변경 안 됐을 수 있음(허위완료 의심)`);
     if (has('--strict-claims') && strongMismatch) gitClaimOk = false;  // strict 시 강한 불일치는 FAIL
   }
-  // 1.9.287 (Codex 리뷰 수렴): --require-evidence — done 주장의 evidence 완전성(파일+테스트) 강제.
-  //   "테스트 통과만으로 done" 차단 — Codex 가 발견한 허위 완료 통과 갭 보강.
-  const reqEvidence = has('--require-evidence');
-  const isDoneClaim = /done|완료/i.test(row.status || '');
-  let evidenceQualityOk = true;
-  if (reqEvidence) {
-    const evq = _evidenceQuality(evidence);
-    evidenceQualityOk = !isDoneClaim || evq.ok;
-    log(`  - evidence 완전성 (--require-evidence): ${evidenceQualityOk ? '✓ pass (파일+테스트 근거 있음)' : `✗ FAIL (누락: ${evq.missing.join(', ')})`}`);
-    if (!evidenceQualityOk) log(`    · done 주장은 수정 파일 경로 + 테스트명/개수 가 evidence 에 있어야 함 (테스트 통과만으로는 불충분)`);
+  // 1.9.309 (UR-0048): done 주장 evidence 완전성 — 기본 강제(상단 pre-compute). --lenient 로 opt-out.
+  if (mustHaveEvidence) {
+    log(`  - evidence 완전성 (done 기본 강제): ${evidenceQualityOk ? '✓ pass (파일+테스트 근거 있음)' : `✗ FAIL (누락: ${evq.missing.join(', ')})`}`);
+    if (!evidenceQualityOk) log(`    · done 주장은 수정 파일 경로 + 테스트명/개수 가 evidence 에 있어야 함 (테스트 통과만으로는 불충분). 완화: --lenient`);
   }
   const overallFail = !allFilesOk || !testOk || (runResult && !runResult.skipped && !runTestsOk) || (has('--strict-claims') && !strictOk) || !evidenceQualityOk || !gitClaimOk;
   // 1.9.287: 정직한 한계 고지 — 테스트 통과 ≠ 의미적 구현 정확성
-  if (has('--strict-claims') || reqEvidence) {
+  if (has('--strict-claims') || mustHaveEvidence) {
     log('');
     log(`  ℹ 한계: 테스트 통과는 "의미적 구현 정확성"을 보장하지 않음 — evidence 가 해당 주장(수정 파일/테스트)을 직접 링크해야 신뢰도↑.`);
   }
@@ -13969,10 +13992,8 @@ function ruleAdd(root, description) {
   if (!description) return fail('rule description required (e.g., rule add "매 업데이트마다 버전 bump" --trigger every-update)');
   if (!exists(rulesPath(root))) writeRules(root, []);
   const trigger = arg('--trigger', 'every-session');
-  const validTriggers = new Set(['every-session','every-update','every-commit','session-start','session-close','pre-publish']);
-  if (!validTriggers.has(trigger)) {
-    warn(`unknown trigger "${trigger}" — 사용 가능: ${[...validTriggers].join(', ')}. 그대로 등록합니다.`);
-  }
+  // 1.9.310 (UR-0046): 무효 trigger 거부 (이전엔 warn 후 등록 → 오타 룰 등록됨). --force 우회.
+  if (!_validateChoice(trigger, RULE_TRIGGERS, 'rule trigger')) { process.exitCode = 1; return; }
   const rules = readRules(root);
   // 1.9.212: 멱등성 보장 — 같은 description + trigger + active 상태 이미 존재 시 skip (사용자 명시)
   if (!has('--force')) {
@@ -16708,7 +16729,7 @@ function mcpServeCmd(root) {
           case 'leerness_handoff':         cliArgs = ['handoff', targetPath, '--compact', '--no-drift-check']; break;
           case 'leerness_drift_check':     cliArgs = ['drift', 'check', targetPath, '--json']; break;
           case 'leerness_audit':           cliArgs = ['audit', targetPath, '--json', ...(args.fix ? ['--fix'] : []), ...(args.strict ? ['--strict'] : [])]; break;
-          case 'leerness_verify_claim':    cliArgs = ['verify-claim', args.taskId, '--path', targetPath, ...(args.runTests ? ['--run-tests'] : []), ...(args.strictClaims ? ['--strict-claims'] : [])]; break;
+          case 'leerness_verify_claim':    cliArgs = ['verify-claim', args.taskId, '--path', targetPath, ...(args.runTests ? ['--run-tests'] : []), ...(args.strictClaims ? ['--strict-claims'] : []), ...(args.lenient ? ['--lenient'] : [])]; break;
           case 'leerness_contract_verify': cliArgs = ['contract', 'verify', args.spec, args.impl]; break;
           case 'leerness_agents_list':     cliArgs = ['agents', 'list', '--json']; break;
           case 'leerness_reuse_map':       cliArgs = ['reuse-map', targetPath, ...(args.allApps ? ['--all-apps'] : []), ...(args.strictElements ? ['--strict-elements'] : []), '--json']; break;

package/lib/mcp-tools.js

@@ -7,7 +7,7 @@ module.exports = [
   { name: 'leerness_handoff', requiredTier: 'read-only', description: '워크스페이스 컨텍스트(plan/progress/decisions) 적재', inputSchema: { type: 'object', properties: { path: { type: 'string' } } } },
   { name: 'leerness_drift_check', requiredTier: 'read-only', description: '1.9.136 — AI 에이전트 leerness 미사용 drift 자동 감지 JSON ({ root, score, level, signals[], healthy }). 5+ 신호 + 4단계 레벨 (🟢 healthy / 🟡 warning / 🟠 caution / 🔴 critical). 보안 신호 통합 (1.9.78)', inputSchema: { type: 'object', properties: { path: { type: 'string' } } } },
   { name: 'leerness_audit', requiredTier: 'read-only', description: '1.9.102 — 워크스페이스 일관성 감사 JSON (warnings/failures/fixed/healthy + findings[]. kind 11종: design_dup/design_system_default/reuse_map_empty/milestone_unlinked/handoff_not_generated/current_state_stale/readme_version_mismatch/npm_cve/gitignore_missing_secrets/env_keys_missing/strict_promoted)', inputSchema: { type: 'object', properties: { path: { type: 'string' }, fix: { type: 'boolean' }, strict: { type: 'boolean' } } } },
-  { name: 'leerness_verify_claim', requiredTier: 'read-only', description: 'AI 거짓 완료 자동 검증 (evidence 파일 + 실 테스트 실행)', inputSchema: { type: 'object', properties: { taskId: { type: 'string' }, path: { type: 'string' }, runTests: { type: 'boolean' }, strictClaims: { type: 'boolean' } }, required: ['taskId'] } },
+  { name: 'leerness_verify_claim', requiredTier: 'read-only', description: 'AI 거짓 완료 자동 검증 (evidence 파일 + 실 테스트 실행). 1.9.309(UR-0048): done/완료 주장은 evidence(수정파일+테스트) 기본 강제 — 증거 없는 done 은 FAIL(exit 1). lenient=true 로 완화, runTests/strictClaims 추가 가능. 응답 verdict.evidenceComplete 포함.', inputSchema: { type: 'object', properties: { taskId: { type: 'string' }, path: { type: 'string' }, runTests: { type: 'boolean' }, strictClaims: { type: 'boolean' }, lenient: { type: 'boolean' } }, required: ['taskId'] } },
   { name: 'leerness_contract_verify', requiredTier: 'read-only', description: '명세 ↔ 구현 함수/필드 일치 자동 검사', inputSchema: { type: 'object', properties: { spec: { type: 'string' }, impl: { type: 'string' } }, required: ['spec', 'impl'] } },
   { name: 'leerness_agents_list', requiredTier: 'read-only', description: '외부 AI CLI 가용성 표 (claude/codex/agy/copilot 상태 + 환경변수 활성화 여부)', inputSchema: { type: 'object', properties: {} } },
   { name: 'leerness_reuse_map', requiredTier: 'read-only', description: '워크스페이스 중복 함수/capability 자동 감지 (--all-apps + fuzzy 매칭)', inputSchema: { type: 'object', properties: { path: { type: 'string' }, allApps: { type: 'boolean' }, strictElements: { type: 'boolean' } } } },

package/package.json

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

package/scripts/e2e.js

@@ -559,7 +559,7 @@ total++;
   fs.writeFileSync(path.join(tmpG, 'scripts/network.gd'), 'extends Node\n');
   fs.appendFileSync(path.join(tmpG, '.harness/progress-tracker.md'),
     '| T-0020 | done | Godot 클라 | project.godot + scenes/main.tscn + scripts/network.gd | next | 2026-05-14 |\n');
-  const r = cp.spawnSync(process.execPath, [CLI, 'verify-claim', 'T-0020', '--path', tmpG], { encoding: 'utf8', timeout: 15000 });
+  const r = cp.spawnSync(process.execPath, [CLI, 'verify-claim', 'T-0020', '--path', tmpG, '--lenient'], { encoding: 'utf8', timeout: 15000 });  // FILE_RE 추출 테스트 — evidence 게이트와 분리(1.9.309)
   const ok = r.status === 0
     && /✓ project\.godot/.test(r.stdout)
     && /✓ scenes\/main\.tscn/.test(r.stdout)
@@ -579,7 +579,7 @@ total++;
   fs.writeFileSync(path.join(tmpC, 'Cargo.lock'), '# lock\n');
   fs.appendFileSync(path.join(tmpC, '.harness/progress-tracker.md'),
     '| T-0030 | done | 설정 | export_presets.cfg + config.ini + Cargo.lock | next | 2026-05-14 |\n');
-  const r = cp.spawnSync(process.execPath, [CLI, 'verify-claim', 'T-0030', '--path', tmpC], { encoding: 'utf8', timeout: 15000 });
+  const r = cp.spawnSync(process.execPath, [CLI, 'verify-claim', 'T-0030', '--path', tmpC, '--lenient'], { encoding: 'utf8', timeout: 15000 });  // FILE_RE 추출 테스트 — evidence 게이트와 분리(1.9.309)
   const ok = r.status === 0
     && /✓ export_presets\.cfg/.test(r.stdout)
     && /✓ config\.ini/.test(r.stdout)
@@ -3562,5 +3562,52 @@ total++;
   if (!ok) failed++;
 }
 
+// 1.9.309 회귀 (UR-0048 설치리뷰 critical): verify-claim done 주장 evidence 기본강제 + --lenient + MCP 도달
+total++;
+{
+  let ok = false;
+  try {
+    const vc = fs.mkdtempSync(path.join(os.tmpdir(), 'leerness-vc48-'));
+    cp.spawnSync(process.execPath, [CLI, 'init', vc, '--yes', '--language', 'ko', '--skills', 'recommended'], { encoding: 'utf8', timeout: 30000 });
+    fs.mkdirSync(path.join(vc, 'src'), { recursive: true }); fs.writeFileSync(path.join(vc, 'src', 'api.js'), 'module.exports={};');
+    const ex = (...a) => cp.spawnSync(process.execPath, [CLI, ...a], { cwd: vc, encoding: 'utf8', timeout: 20000 });
+    ex('task', 'add', '증거없는완료', '--path', vc, '--status', 'done');               // T-0002: 증거 0
+    ex('task', 'add', '증거있는완료', '--path', vc, '--status', 'done', '--evidence', 'src/api.js 수정, 8 tests 통과 (Exit: 0)');  // T-0003
+    ex('task', 'add', '진행중', '--path', vc);                                          // T-0004: requested
+    const noEv = ex('verify-claim', 'T-0002', '--path', vc).status === 1;              // 기본 거짓완료 차단
+    const lenient = ex('verify-claim', 'T-0002', '--path', vc, '--lenient').status === 0;  // opt-out
+    const withEv = ex('verify-claim', 'T-0003', '--path', vc).status === 0;            // 증거+파일 → 통과
+    const notDone = ex('verify-claim', 'T-0004', '--path', vc).status === 0;           // 비-done 강제 안함
+    // MCP 도 기본 강제 (증거0 done → isError)
+    const ml = cp.spawnSync(process.execPath, [CLI, 'mcp', 'serve'], { cwd: vc, encoding: 'utf8', timeout: 15000, input: JSON.stringify({ jsonrpc: '2.0', id: 1, method: 'tools/call', params: { name: 'leerness_verify_claim', arguments: { taskId: 'T-0002', path: vc } } }) + '\n' });
+    let mcpBlocks = false; try { mcpBlocks = JSON.parse(ml.stdout.split('\n').filter(Boolean)[0]).result.isError === true; } catch {}
+    ok = noEv && lenient && withEv && notDone && mcpBlocks;
+    fs.rmSync(vc, { recursive: true, force: true });
+  } catch {}
+  console.log(ok ? '✓ B(1.9.309) verify-claim 거짓완료 차단: 증거0 done 기본 FAIL + --lenient + 증거통과 + MCP 차단 (UR-0048)' : '✗ verify-claim 기본강제 실패');
+  if (!ok) failed++;
+}
+
+// 1.9.310 회귀 (UR-0046 설치리뷰): 입력 스키마 검증 — 무효 status/trigger 거부, 유효/--force 통과, every-round 보존
+total++;
+{
+  let ok = false;
+  try {
+    const vd = fs.mkdtempSync(path.join(os.tmpdir(), 'leerness-val-'));
+    cp.spawnSync(process.execPath, [CLI, 'init', vd, '--yes', '--language', 'ko', '--skills', 'recommended'], { encoding: 'utf8', timeout: 30000 });
+    const st = (...a) => cp.spawnSync(process.execPath, [CLI, ...a], { cwd: vd, encoding: 'utf8', timeout: 20000 }).status;
+    const badStatus = st('task', 'add', 't', '--path', vd, '--status', 'nonsense') === 1;          // 무효 거부
+    const goodStatus = st('task', 'add', 't2', '--path', vd, '--status', 'in-progress') === 0;     // 유효 통과
+    const forceStatus = st('task', 'add', 't3', '--path', vd, '--status', 'weird', '--force') === 0; // --force 우회
+    const badTrigger = st('rule', 'add', 'r', '--path', vd, '--trigger', 'not-a-trigger') === 1;   // 무효 거부
+    const everyRound = st('rule', 'add', 'r2', '--path', vd, '--trigger', 'every-round') === 0;    // every-round 보존(R-0001)
+    const everyUpdate = st('rule', 'add', 'r3', '--path', vd, '--trigger', 'every-update') === 0;  // 유효 통과
+    ok = badStatus && goodStatus && forceStatus && badTrigger && everyRound && everyUpdate;
+    fs.rmSync(vd, { recursive: true, force: true });
+  } catch {}
+  console.log(ok ? '✓ B(1.9.310) 입력 스키마 검증: 무효 status/trigger 거부 + 유효/--force/every-round 통과 (UR-0046)' : '✗ 입력 스키마 검증 실패');
+  if (!ok) failed++;
+}
+
 console.log(`\nE2E result: ${total - failed}/${total} passed · ${((Date.now() - _e2eStart) / 1000).toFixed(0)}s`);
 if (failed > 0) process.exit(1);