leerness 1.33.0 → 1.35.0

package/package.json

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

package/scripts/e2e.js

@@ -6332,6 +6332,143 @@ total++;
   if (!ok) failed++;
 }
 
+// 1.33.1 회귀 (verify-claim+gate 슬라이스 강화): ci init 생성 워크플로가 production-grade — leerness 버전 핀(재현성) + 최소권한 permissions + concurrency 취소.
+total++;
+{
+  let ok = false;
+  try {
+    const ver = require(path.resolve(__dirname, '..', 'package.json')).version;
+    const d = fs.mkdtempSync(path.join(os.tmpdir(), 'leerness-ci-'));
+    cp.spawnSync(process.execPath, [CLI, 'init', d, '--yes'], { encoding: 'utf8', timeout: 30000 });
+    const ci = cp.spawnSync(process.execPath, [CLI, 'ci', 'init', d], { encoding: 'utf8', timeout: 15000 });
+    const wf = fs.readFileSync(path.join(d, '.github', 'workflows', 'leerness-gate.yml'), 'utf8');
+    // 버전 핀(설치 버전 == package.json) · 미핀 latest 부재 · 최소권한 · concurrency 취소 · gate 호출
+    const pinned = new RegExp('run: npx -y leerness@' + ver.replace(/\./g, '\\.') + ' gate \\.').test(wf);
+    const noUnpinned = !/npx -y leerness gate \./.test(wf);
+    const perms = /permissions:\n\s*contents: read/.test(wf);
+    const conc = /concurrency:\n\s*group: leerness-gate-\$\{\{ github\.ref \}\}\n\s*cancel-in-progress: true/.test(wf);
+    const stillGate = /leerness-gate/.test(wf) && /pull_request:/.test(wf) && /actions\/checkout@v4/.test(wf);
+    fs.rmSync(d, { recursive: true, force: true });
+    ok = ci.status === 0 && pinned && noUnpinned && perms && conc && stillGate;
+  } catch {}
+  console.log(ok ? '✓ B(1.33.1) gate 슬라이스 강화: ci init 워크플로 버전핀(leerness@설치버전) + 최소권한 permissions(contents:read) + concurrency cancel + 미핀 latest 부재' : '✗ ci init 워크플로 강화 가드 실패');
+  if (!ok) failed++;
+}
+
+// 1.33.2 회귀 (verify-claim+gate 슬라이스 강화): verify-claim --all — 모든 done 주장 일괄 검증. 거짓완료=exit 1(files-missing), 진실완료/빈프로젝트=exit 0, per-task 경로와 verdict 일치(맹신 X).
+total++;
+{
+  let ok = false;
+  try {
+    const d = fs.mkdtempSync(path.join(os.tmpdir(), 'leerness-vca-'));
+    const R = (a) => cp.spawnSync(process.execPath, [CLI, ...a, '--path', d], { encoding: 'utf8', timeout: 30000 });
+    cp.spawnSync(process.execPath, [CLI, 'init', d, '--yes'], { encoding: 'utf8', timeout: 30000 });
+    // 빈(완료 0) → ok true exit 0
+    const empty = R(['verify-claim', '--all', '--json']);
+    const ej = JSON.parse(empty.stdout);
+    const emptyOk = empty.status === 0 && ej.ok === true && ej.total === 0;
+    // 진실 완료(실제 파일 + 테스트)
+    fs.writeFileSync(path.join(d, 'calc.js'), 'function add(a,b){ return a+b; }\nmodule.exports={add};\n');
+    fs.mkdirSync(path.join(d, 'tests'), { recursive: true });
+    fs.writeFileSync(path.join(d, 'tests', 'calc.test.js'), 'const {add}=require("../calc.js");\ntest("add",()=>{ if(add(1,2)!==3) throw new Error("x"); });\n');
+    const aT = R(['task', 'add', 'Implement calc.js add()']);
+    const idT = (aT.stdout.match(/T-\d{4,}/) || [])[0];
+    R(['task', 'update', idT, '--status', 'done', '--evidence', 'calc.js + tests/calc.test.js — 1 test passing']);
+    // 거짓 완료(존재하지 않는 파일 주장)
+    const aF = R(['task', 'add', 'Implement payment API']);
+    const idF = (aF.stdout.match(/T-\d{4,}/) || [])[0];
+    R(['task', 'update', idF, '--status', 'done', '--evidence', 'payment.js implemented and tested']);
+    const mixed = R(['verify-claim', '--all', '--json']);
+    const mj = JSON.parse(mixed.stdout);
+    const fr = mj.results.find((x) => x.id === idF);
+    const tr = mj.results.find((x) => x.id === idT);
+    const mixedOk = mixed.status === 1 && mj.ok === false && mj.total === 2 && mj.failed === 1 && fr && fr.ok === false && fr.reasons.includes('files-missing') && tr && tr.ok === true;
+    // per-task 경로와 일치(맹신 X): 거짓 개별 exit 1, 진실 개별 exit 0 — 일괄 verdict 가 정밀 검사를 그대로 재사용
+    const consistent = R(['verify-claim', idF]).status === 1 && R(['verify-claim', idT]).status === 0;
+    // human 출력도 exit 1 + 불일치 표기
+    const human = R(['verify-claim', '--all']);
+    const humanOk = human.status === 1 && /불일치|mismatch/.test(human.stdout);
+    fs.rmSync(d, { recursive: true, force: true });
+    ok = emptyOk && mixedOk && consistent && humanOk;
+  } catch (e) {}
+  console.log(ok ? '✓ B(1.33.2) verify-claim --all: 거짓완료 일괄 차단(exit 1, files-missing) + 진실완료/빈프로젝트 통과 + per-task verdict 일치' : '✗ verify-claim --all 일괄 검증 가드 실패');
+  if (!ok) failed++;
+}
+
+// 1.33.3 회귀 (verify-claim+CI gate 슬라이스 강화): gate --claims opt-in 6번째 체크(기본 5 무변경) + MCP leerness_verify_claim_all 라운드트립.
+total++;
+{
+  let ok = false;
+  try {
+    const d = fs.mkdtempSync(path.join(os.tmpdir(), 'leerness-g3-'));
+    const R = (a) => cp.spawnSync(process.execPath, [CLI, ...a, '--path', d], { encoding: 'utf8', timeout: 30000 });
+    cp.spawnSync(process.execPath, [CLI, 'init', d, '--yes'], { encoding: 'utf8', timeout: 30000 });
+    // 클린: 기본 gate 5체크, --claims 6체크(verify-claims 추가) 둘 다 통과
+    const cleanDefault = JSON.parse(R(['gate', '.', '--json']).stdout);
+    const cleanClaims = JSON.parse(R(['gate', '.', '--claims', '--json']).stdout);
+    const cleanOk = cleanDefault.total === 5 && cleanDefault.ok === true && cleanClaims.total === 6 && cleanClaims.ok === true && cleanClaims.checks.some((c) => c.name === 'verify-claims');
+    // 거짓 완료 추가
+    const aF = R(['task', 'add', 'Implement payment API']);
+    const idF = (aF.stdout.match(/T-\d{4,}/) || [])[0];
+    R(['task', 'update', idF, '--status', 'done', '--evidence', 'payment.js implemented and tested']);
+    // 기본 gate(5): 기존 동작 유지(lazy/audit 가 거짓완료 차단 → exit 1)
+    const falseDefault = R(['gate', '.', '--json']);
+    const fd = JSON.parse(falseDefault.stdout);
+    const defaultStill = falseDefault.status === 1 && fd.total === 5;
+    // --claims gate(6): verify-claims 체크가 명시적으로 false + exit 1 + human 모드 summary 도달(하드 exit 없음)
+    const falseClaims = R(['gate', '.', '--claims', '--json']);
+    const fc = JSON.parse(falseClaims.stdout);
+    const vcCheck = fc.checks.find((c) => c.name === 'verify-claims');
+    const claimsBlocks = falseClaims.status === 1 && vcCheck && vcCheck.ok === false && fc.total === 6;
+    const humanClaims = R(['gate', '.', '--claims']);
+    const humanOk = humanClaims.status === 1 && /verify-claims/.test(humanClaims.stdout) && /gate summary/.test(humanClaims.stdout);
+    // MCP leerness_verify_claim_all 라운드트립
+    const mcpCall = (req) => { const r = cp.spawnSync(process.execPath, [CLI, 'mcp', 'serve'], { encoding: 'utf8', timeout: 12000, input: JSON.stringify(req) + '\n' }); try { const line = r.stdout.split('\n').filter(Boolean)[0]; const j = JSON.parse(line); return JSON.parse(j.result.content[0].text); } catch { return null; } };
+    const listed = cp.spawnSync(process.execPath, [CLI, 'mcp', 'serve'], { encoding: 'utf8', timeout: 12000, input: JSON.stringify({ jsonrpc: '2.0', id: 1, method: 'tools/list' }) + '\n' });
+    let toolListed = false; try { toolListed = JSON.parse(listed.stdout.split('\n').filter(Boolean)[0]).result.tools.some((t) => t.name === 'leerness_verify_claim_all'); } catch {}
+    const mcpRes = mcpCall({ jsonrpc: '2.0', id: 2, method: 'tools/call', params: { name: 'leerness_verify_claim_all', arguments: { path: d } } });
+    const mcpOk = toolListed && mcpRes && mcpRes.ok === false && mcpRes.total === 1 && mcpRes.failed === 1 && Array.isArray(mcpRes.results) && mcpRes.results[0].reasons.includes('files-missing');
+    fs.rmSync(d, { recursive: true, force: true });
+    ok = cleanOk && defaultStill && claimsBlocks && humanOk && mcpOk;
+  } catch (e) {}
+  console.log(ok ? '✓ B(1.33.3) gate --claims opt-in(기본 5 무변경 + 6번째 verify-claims 거짓완료 차단) + MCP verify_claim_all 라운드트립' : '✗ gate --claims + MCP verify_claim_all 가드 실패');
+  if (!ok) failed++;
+}
+
+// 1.34.1 회귀 (16th리뷰 정직화 실증): gate --claims 정밀성 가치 — 워크스페이스가 깨끗(lazy detect 0 finding)한데 콘텐츠-레벨 거짓(부풀린 테스트 카운트)인 경우, 기본 5체크는 통과(exit 0)하고 --claims 만 차단(exit 1). 이 판별 케이스가 깨지면(기본도 잡거나 --claims가 못 잡으면) --claims 의 차별 가치가 사라진 것이므로 가드.
+total++;
+{
+  let ok = false;
+  try {
+    const d = fs.mkdtempSync(path.join(os.tmpdir(), 'leerness-disc-'));
+    const R = (a) => cp.spawnSync(process.execPath, [CLI, ...a, '--path', d], { encoding: 'utf8', timeout: 30000 });
+    cp.spawnSync(process.execPath, [CLI, 'init', d, '--yes'], { encoding: 'utf8', timeout: 30000 });
+    fs.writeFileSync(path.join(d, 'calc.js'), 'function add(a,b){return a+b}\nmodule.exports={add}\n');
+    fs.mkdirSync(path.join(d, 'tests'));
+    fs.writeFileSync(path.join(d, 'tests', 'calc.test.js'), 'const {add}=require("../calc.js");\ntest("a",()=>{if(add(1,2)!==3)throw 0});\n');
+    // lazy detect 완전 무력화: 유효 handoff(Last generated + 비어있지 않은 섹션) + test-run 기록
+    fs.writeFileSync(path.join(d, '.harness', 'session-handoff.md'), '# Handoff\nLast generated: 2026-06-19T00:00:00Z\n\n## Completed\n- calc.js add() 구현 + 테스트\n\n## Next Exact Step\n- 배포\n');
+    fs.writeFileSync(path.join(d, '.harness', 'review-evidence.md'), '# Evidence\n## Test run\n- npm test: 1/1 passing\n');
+    // 콘텐츠-레벨 거짓: 실파일/실테스트 존재하나 evidence 가 테스트 50개 통과(실제 1개) 부풀림
+    const id = (R(['task', 'add', 'calc 구현']).stdout.match(/T-\d{4,}/) || [])[0];
+    R(['task', 'update', id, '--status', 'done', '--evidence', 'calc.js + tests/calc.test.js 테스트 50개 통과']);
+    // lazy detect 깨끗(blocking 0) 확인
+    const lz = JSON.parse(R(['lazy', 'detect', '.', '--json']).stdout);
+    const lazyClean = R(['lazy', 'detect', '.']).status === 0 && (lz.findings || []).length === 0;
+    // 핵심 판별: 기본 게이트는 통과(exit 0), --claims 만 차단(exit 1)
+    const gDef = R(['gate', '.']);
+    const gClaims = R(['gate', '.', '--claims', '--json']);
+    const gcj = JSON.parse(gClaims.stdout);
+    const vcCheck = gcj.checks.find((c) => c.name === 'verify-claims');
+    const lazyCheck = gcj.checks.find((c) => c.name === 'lazy detect');
+    const discriminates = gDef.status === 0 && gClaims.status === 1 && vcCheck && vcCheck.ok === false && lazyCheck && lazyCheck.ok === true;
+    fs.rmSync(d, { recursive: true, force: true });
+    ok = lazyClean && discriminates;
+  } catch (e) {}
+  console.log(ok ? '✓ B(1.34.1) gate --claims 정밀성 REAL: 워크스페이스 깨끗(lazy 0) + 콘텐츠거짓(부풀린카운트) → 기본 5체크 통과(exit 0), --claims 만 차단(exit 1)' : '✗ gate --claims 정밀성 판별 가드 실패');
+  if (!ok) failed++;
+}
+
 // 1.9.430 (10th 외부평가 UR-0130): health 보안 CRITICAL(커밋 시크릿)은 --strict 없이도 exit 1(CI 게이트). 클린은 exit 0.
 total++;
 {
@@ -6456,7 +6593,7 @@ total++;
     const wfPath = path.join(d, '.github', 'workflows', 'leerness-gate.yml');
     const created = fs.existsSync(wfPath);
     const content = created ? fs.readFileSync(wfPath, 'utf8') : '';
-    const contentOk = /name:\s*leerness-gate/.test(content) && /pull_request:/.test(content) && /leerness gate \./.test(content);
+    const contentOk = /name:\s*leerness-gate/.test(content) && /pull_request:/.test(content) && /leerness@[\d.]+ gate \./.test(content);  // 1.33.1: 버전 핀(leerness@x.y.z gate)
     // 멱등: 재실행 시 경고(덮어쓰기 X, exit 0)
     const r2 = cp.spawnSync(process.execPath, [CLI, 'ci', 'init', d], { encoding: 'utf8', timeout: 15000 });
     const idempotent = r2.status === 0 && /이미 존재|exists/.test((r2.stdout || '') + (r2.stderr || ''));