leerness 1.36.8 → 1.36.10

package/CHANGELOG.md

@@ -1,5 +1,23 @@
 # Changelog
 
+## 1.36.10 — 2026-07-09 — FILE_RE Windows 백슬래시 경로 지원 (마지막 선재 백로그 소진)
+
+**verify-claim 의 주장-파일 추출이 Windows 백슬래시 경로를 잘라먹던 선재 결함(전 확장자 공통, codex 6차 core-diff 리뷰에서 지적 후 backlog).**
+
+- 증상(충실 재현): evidence `src\thing.mjs` → `thing.mjs` 로(디렉터리 소실 → 존재 검사 false-fail), `db\migrations\001_create.sql` → `create.sql` 로(숫자 시작 세그먼트까지 소실) 추출.
+- 수정: `FILE_RE` 구분자에 `\\` 허용 + 추출 직후 `/` 정규화(하류의 git diff 비교·렌즈 도메인 매핑은 `/` 기준이라 일관).
+- 검증: 백슬래시/다단/혼합 6케이스 전부 정확 추출·정규화, forward-슬래시 회귀 0, 버전 문자열(`1.36.9`)·확장자 없는 경로(`C:\Users\…`) FP 0. selftest 284 (신규 행위 케이스: 백슬래시 evidence done 주장이 files-missing 없이 통과) + e2e 통과.
+
+## 1.36.9 — 2026-07-09 — optimism [DB] FP 수정: SQL-migration 프로젝트의 정직한 done 주장 무오탐 (dogfood 백로그)
+
+**stock-service 도그푸드에서 두 번 마주친 선재 FP 소진(깨끗한 1.36.2에서도 동일 재현 확인 — 이번 세션 회귀 아님).**
+
+- 증상: `.sql` 마이그레이션만으로 구성된 정직한 done 주장(evidence 에 `migration` 언급)이 verify-claim/lazy-detect 의 optimism 검사에서 `[DB] 주장 있는데 코드 호출 흔적 없음` 으로 오탐 → 기본 게이트 false-fail.
+- 원인(재현으로 확정): `_scanCodeForPatterns` 확장자 필터에 `.sql`/`.prisma` 부재(스캔 결과 0바이트) **그리고** DB codeRe 가 JS/ORM 관용구만 인식(raw SQL 미인식) — 둘 다 충족돼야 오탐이 사라짐.
+- 수정: 스캐너 확장자 `+= sql|prisma|mjs|cjs` · DB codeRe `+= CREATE TABLE|ALTER TABLE|INSERT INTO|node:sqlite|DatabaseSync|better-sqlite3` (검출 관대화 — 1.12.4 다언어 확장과 같은 안전 방향).
+- 정밀도 검증: 허위 DB 주장(코드에 DB 흔적 없음)은 여전히 `[DB]` 검출(FN 미발생, 행위 확인). selftest 283 (신규 행위 케이스: SQL 스캔 + 정직 무오탐 + 허위 검출 유지) + e2e 통과.
+- 부수: `_detectOptimism`/`_scanCodeForPatterns` export(테스트 가능성, require.main 가드 패턴).
+
 ## 1.36.8 — 2026-07-09 — 정직성 marginal 소진 + 넛지 확장 (심층 감사 P3 완결)
 
 **심층 정직성 감사(1.36.5)의 마지막 marginal P3 2건 소진 + handoff 넛지를 실사용 최다 명령으로 확장.**

package/README.md

@@ -125,7 +125,7 @@ MIT
 <!-- leerness:project-readme:start -->
 ## Leerness Project Harness
 
-이 프로젝트는 Leerness v1.36.8 하네스를 사용합니다. AI 에이전트는 작업 전 `leerness handoff`로 컨텍스트를 적재하고, 작업 후 `leerness check`/`leerness audit`/`leerness session close`를 수행해야 합니다.
+이 프로젝트는 Leerness v1.36.10 하네스를 사용합니다. AI 에이전트는 작업 전 `leerness handoff`로 컨텍스트를 적재하고, 작업 후 `leerness check`/`leerness audit`/`leerness session close`를 수행해야 합니다.
 
 ### 정체성 — AI 에이전트 운영 레이어 (UR-0030)
 
@@ -179,7 +179,7 @@ leerness memory restore decision <date|title>
 
 ### MCP server (외부 AI 통합)
 
-Leerness v1.36.8는 stdio JSON-RPC MCP server를 내장합니다 — Claude Code · Cursor · Codex CLI 등 외부 AI에 **86개 도구**를 노출:
+Leerness v1.36.10는 stdio JSON-RPC MCP server를 내장합니다 — Claude Code · Cursor · Codex CLI 등 외부 AI에 **86개 도구**를 노출:
 
 ```jsonc
 // 카테고리별
@@ -200,7 +200,7 @@ Leerness v1.36.8는 stdio JSON-RPC MCP server를 내장합니다 — Claude Code
 `<<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.36.8)** · 매 라운드 GitHub release/태그 생성 · _reports/는 비공개 보존.
+현재 누적: **70 라운드 (1.9.40 → 1.36.10)** · 매 라운드 GitHub release/태그 생성 · _reports/는 비공개 보존.
 
 ### 성능 가이드 (1.9.140 측정)
 
@@ -238,6 +238,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.36.8: 2026-07-09
+Last synced by Leerness v1.36.10: 2026-07-10
 <!-- leerness:project-readme:end -->
 

package/bin/leerness.js

@@ -33,7 +33,7 @@ const { _evidenceQuality, _parseEvidenceStats, _shellGuardAnalyze, _claimFileInG
 const { CAPABILITY_SURFACE, POWERFUL_COMMANDS, ADAPTERS, REUSE_CATEGORIES, REUSE_CHECKLIST, _DEFAULT_PLATFORM_CONSTRAINTS, _DEFAULT_DOMAIN_CATALOG, _TOOL_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 분리 · 1.11.4 (UR-0007): _TOOL_CATALOG
 const { findCorruptedStateJson: _findCorruptedStateJson } = require('../lib/state-integrity');  // 1.36.1 (클린룸 리뷰 FN): .harness/*.json 상태 무결성 (audit/health/check 공유)
 
-const VERSION = '1.36.8';
+const VERSION = '1.36.10';
 
 // 1.9.290 (UR-0037, Codex gpt-5.5 #4 수렴): CLI 전용 부작용은 require 시 실행하지 않는다.
 //   이전: warning listener 제거 / NODE_OPTIONS 변경 / chcp IIFE 가 top-level 즉시 실행 → require('harness') 시 호스트 프로세스 오염.
@@ -4002,6 +4002,36 @@ function _selfTestCases() {
       const nudgeInUpdate = /task updated: \$\{id\}`\);[\s\S]{0,200}_emitHandoffNudge\(root\)/.test(self);  // update 경로 넛지 와이어
       return encScopeOk && selfHealOk && noBareOk && nudgeInUpdate;
     } },
+    { name: 'optimism [DB] FP 수정 (1.36.9, dogfood 백로그): SQL-migration만 있는 정직한 주장 무오탐 + 허위 주장 검출 유지 (행위)', run: () => {
+      const os = require('os');
+      const dir = fs.mkdtempSync(path.join(os.tmpdir(), 'lz-odb-'));
+      try {
+        fs.mkdirSync(path.join(dir, 'db'), { recursive: true });
+        fs.writeFileSync(path.join(dir, 'db', '001_create.sql'), 'CREATE TABLE product (id INTEGER PRIMARY KEY, stock INTEGER NOT NULL);\n');
+        const ct = _scanCodeForPatterns(dir);
+        const scannedOk = ct.includes('CREATE TABLE');                                            // .sql 이 스캔됨
+        const honest = _detectOptimism('db/001_create.sql 마이그레이션 적용 완료', ct);
+        const noFp = !honest.some(s => s.kind === 'DB');                                          // 정직한 SQL 주장 무오탐
+        const fake = _detectOptimism('사용자 데이터를 DB에 저장 완료, INSERT 500건', 'const x = 1;');
+        const stillDetects = fake.some(s => s.kind === 'DB');                                     // 허위 주장 검출 유지(FN 없음)
+        return scannedOk && noFp && stillDetects;
+      } finally { try { fs.rmSync(dir, { recursive: true, force: true }); } catch { /* ignore */ } }
+    } },
+    { name: 'FILE_RE 백슬래시 경로 (1.36.10, 선재 백로그): Windows 경로 추출+정규화 · forward 회귀 0 · FP 0 (행위)', run: () => {
+      const os = require('os');
+      const dir = fs.mkdtempSync(path.join(os.tmpdir(), 'lz-bs-'));
+      const hd = path.join(dir, '.harness'); fs.mkdirSync(hd);
+      fs.mkdirSync(path.join(dir, 'src'));
+      fs.writeFileSync(path.join(dir, 'src', 'thing.mjs'), 'export const x = 1;\n// real impl with enough content to not be a stub\nexport function go(){ return x + 1; }\n');
+      try {
+        // 백슬래시 evidence 의 done 주장 → 파일 존재 검사가 통과해야 함(이전엔 디렉터리 소실로 false-fail)
+        fs.writeFileSync(path.join(hd, 'progress-tracker.md'),
+          '| ID | Status | Request | Evidence | Next Action | Updated |\n|---|---|---|---|---|---|\n| T-0001 | done | 작업 | src\\thing.mjs 수정 완료 | - | 2026-07-09 |\n');
+        const r = verifyClaimCmd(dir, 'T-0001', { collect: true });
+        const extractedOk = r && Array.isArray(r.reasons) && !r.reasons.includes('files-missing');
+        return extractedOk;
+      } finally { try { fs.rmSync(dir, { recursive: true, force: true }); } catch { /* ignore */ } }
+    } },
     { name: 'CLI 영어화 Phase 1 (1.20.2, UR-0010): _uiLang 해석(flag>env>manifest>ko) + 첫화면 _t 적용 (행위+소스)', run: () => {
       const save = process.argv; const saveEnv = process.env.LEERNESS_LANG;
       try {
@@ -10873,8 +10903,11 @@ function verifyClaimCmd(root, taskId, opts = {}) {
   // 1.9.21: 설정/메타 파일 확장자 추가 — Godot export_presets.cfg 등 false negative 보완
   // 1.18.2: java|php|mjs|cjs 추가 — _VC_CODE_EXT 와 정합(이전엔 .java/.php 임플 주장이 추출조차 안 돼 스텁/존재 검사를 무검사 통과).
   const FILE_EXTS = 'webmanifest|dockerfile|properties|tscn|tres|godot|json5|prisma|java|jsx|tsx|yaml|html|scss|sass|less|gltf|conf|json|toml|lock|mdx|xml|css|svg|yml|cfg|ini|env|php|sql|mjs|cjs|md|js|ts|gd|cs|py|rb|go|rs|kt|sh|h';
-  const FILE_RE = new RegExp(`(?:[A-Za-z][A-Za-z0-9_-]*\\/)?[A-Za-z][\\w./-]*\\.(?:${FILE_EXTS})\\b`, 'g');
-  const filePatterns = evidence.match(FILE_RE) || [];
+  // 1.36.10 (선재 백로그): Windows 백슬래시 경로 지원 — 'src\\inventory.mjs' 가 'inventory.mjs' 로,
+  //   'db\\migrations\\001_create.sql' 이 'create.sql' 로 잘려 추출돼 존재 검사가 false-fail 하던 결함.
+  //   구분자에 \\ 허용 + 추출 후 / 로 정규화(하류의 git diff 비교·렌즈 매핑은 / 기준).
+  const FILE_RE = new RegExp(`(?:[A-Za-z][A-Za-z0-9_-]*[\\/\\\\])?[A-Za-z][\\w./\\\\-]*\\.(?:${FILE_EXTS})\\b`, 'g');
+  const filePatterns = (evidence.match(FILE_RE) || []).map(f => f.replace(/\\/g, '/'));
   // 중복 제거 + "tests/test.js" 같은 결과를 유지 (이미 `..` 없으니 그대로)
   const files = Array.from(new Set(filePatterns));
   // 1.9.20: 테스트 수 파싱 확장 — 한국어 + jest/mocha/tap/vitest
@@ -11758,7 +11791,7 @@ function _scanCodeForPatterns(root) {
     for (const e of entries) {
       if (budget <= 0) return;
       if (e.isDirectory()) { if (!SKIP.test(e.name) && !e.name.startsWith('.')) walk(path.join(p, e.name), depth + 1); continue; }
-      if (!/\.(js|ts|jsx|tsx|gd|cs|py|rb|go|rs|java|php|kt|swift)$/i.test(e.name)) continue;
+      if (!/\.(js|mjs|cjs|ts|jsx|tsx|gd|cs|py|rb|go|rs|java|php|kt|swift|sql|prisma)$/i.test(e.name)) continue;   // 1.36.9: sql/prisma(+mjs/cjs) — SQL-migration만 있는 정직한 done 주장이 [DB] optimism 오탐되던 FP 수정
       // 1.12.5 (15th 버그헌트 P2, UR-0019): stat-before-read — 이전엔 read() 후 budget 검사라 대형 파일 1개가 통째 메모리에 로드(200MB→RSS 464MB). 남은 budget 초과 파일은 읽지 않고 건너뜀.
       try { const fp2 = path.join(p, e.name); if (fs.statSync(fp2).size > budget) continue; const t = read(fp2); combined += t + '\n'; budget -= t.length; } catch {}
     }
@@ -21235,5 +21268,6 @@ module.exports = {
   // 1.18.3 (UR-0003): 분야별 자기질문 품질 렌즈 — 단위 테스트. 1.19.2: 파일→도메인 매핑(완료-검증 advisory)
   LENS_CATALOG, lensCmd, _lensDomainsForFiles, _mergeLensCatalog, _loadProjectLenses, _effectiveLensCatalog,
   _isDbContentText, _anyDbContentInFiles, _withDbDomain,
-  _handoffNudgeState, _getLastHandoffGap, _recordLastHandoff
+  _handoffNudgeState, _getLastHandoffGap, _recordLastHandoff,
+  _detectOptimism, _scanCodeForPatterns
 };

package/lib/catalogs.js

@@ -239,7 +239,9 @@ const OPTIMISM_PATTERNS = [
     codeRe: /\b(fetch\s*\(|http\.request|https\.request|axios\.|got\.|undici|node-fetch|requests\.|httpx|urllib|http\.client|net\/http|Net::HTTP|HTTParty|Faraday|HttpClient|http\.Get|http\.Post|http\.NewRequest|reqwest|curl_|HttpURLConnection|RestTemplate|URLSession)/i,
     label: 'API/HTTP 호출' },
   { kind: 'DB',      evidenceRe: /(DB에?\s*저장|insert\s+\d+|데이터베이스|SQL\s*(INSERT|UPDATE|DELETE)|migration|마이그레이션 적용)/i,
-    codeRe: /\b(db\.|pg\.|pool\.|mysql\.|mongoose\.|prisma\.|sequelize|knex|sqlite3|MongoClient|createConnection|psycopg|sqlalchemy|cursor\.execute|django\.db|sqlx|gorm|database\/sql|ActiveRecord|jdbc|EntityManager|DbContext|mysqli)/i,
+    // 1.36.9 (dogfood FP): raw SQL(DDL/DML) + node:sqlite idiom 추가 — SQL-migration 파일만으로 구성된 정직한 done 주장이
+    //   '[DB] 호출 흔적 없음' 으로 오탐되던 FP 수정(스캐너의 .sql/.prisma 확장과 짝). 검출 관대화 방향(1.12.4 선례).
+    codeRe: /\b(db\.|pg\.|pool\.|mysql\.|mongoose\.|prisma\.|sequelize|knex|sqlite3|MongoClient|createConnection|psycopg|sqlalchemy|cursor\.execute|django\.db|sqlx|gorm|database\/sql|ActiveRecord|jdbc|EntityManager|DbContext|mysqli|CREATE\s+TABLE|ALTER\s+TABLE|INSERT\s+INTO|node:sqlite|DatabaseSync|better-sqlite3)/i,
     label: 'DB 호출' },
   { kind: 'Email',   evidenceRe: /(이메일[^.\n]{0,30}(발송|전송|보냈|보냄|완료)|메일[^.\n]{0,30}(발송|전송|보냈|보냄)|sendMail|smtp\s*(전송|발송))/i,
     codeRe: /\b(sendMail|nodemailer|smtp|@sendgrid|mailgun|aws-sdk\/ses|resend\.|smtplib|django\.core\.mail|ActionMailer|net\/smtp|Net::SMTP|SmtpClient|javax\.mail|JavaMailSender)/i,

package/package.json

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