@tuzi-ince/hi-loop 0.2.1 → 0.2.2

package/src/verify.js

@@ -40,12 +40,13 @@ export function parseVerdict(text) {
     const m = String(text).match(/\{[\s\S]*"verdict"[\s\S]*\}/);
     const obj = JSON.parse(m ? m[0] : text);
     const verdict = obj.verdict === 'reject' ? 'reject' : 'pass';
-    return { verdict, reason: typeof obj.reason === 'string' ? obj.reason : '' };
+    // 여기만 verified: true 다 — 검증자가 실제로 판정문을 냈다는 뜻이다.
+    return { verdict, verified: true, reason: typeof obj.reason === 'string' ? obj.reason : '' };
   } catch {
     // 판정 형식을 못 읽으면 기각하지 않는다 — 검증자가 헛소리를 했다고 통과를
     // 막으면, 잘못된 입력이 방어를 "더 약하게"가 아니라 "더 세게" 만드는 게 아니라
     // 반대가 된다. Tier 2 는 하향 전용이고 확신 없으면 통과가 원칙이다.
-    return { verdict: 'pass', reason: '검증자 응답을 파싱하지 못해 통과로 처리(하향 전용)' };
+    return { verdict: 'pass', verified: false, reason: '검증자 응답을 파싱하지 못해 통과로 처리(하향 전용)' };
   }
 }
 
@@ -63,7 +64,7 @@ export function makeSpecVerifier({
       const specFull = specPath ? join(cwd, specPath) : null;
       if (!specFull || !existsSync(specFull)) {
         // 스펙이 없으면 대조할 오라클이 없다 → 기각할 근거 없음 → 통과.
-        resolve({ verdict: 'pass', reason: '스펙 파일이 없어 검증 생략' });
+        resolve({ verdict: 'pass', verified: false, reason: '스펙 파일이 없어 검증 생략' });
         return;
       }
       const specText = readFileSync(specFull, 'utf8');
@@ -81,12 +82,12 @@ export function makeSpecVerifier({
         child.on('error', () => {
           clearTimeout(timer);
           // 검증자 실행 자체가 실패하면 통과를 막지 않는다(인프라 장애가 판정을 뒤집으면 안 됨).
-          resolve({ verdict: 'pass', reason: `검증자 실행 실패 — 통과로 처리` });
+          resolve({ verdict: 'pass', verified: false, reason: `검증자 실행 실패 — 통과로 처리` });
         });
         child.on('close', (code) => {
           clearTimeout(timer);
           if (code !== 0) {
-            resolve({ verdict: 'pass', reason: `검증자가 코드 ${code}로 종료 — 통과로 처리` });
+            resolve({ verdict: 'pass', verified: false, reason: `검증자가 코드 ${code}로 종료 — 통과로 처리` });
             return;
           }
           const { text } = parseAgentOutput(stdout);

package/src/wiring.js

@@ -0,0 +1,74 @@
+/**
+ * 미배선 검출 (L19) — "만들었지만 아무도 안 쓰는" 통과.
+ *
+ * 이 엔진이 아직 못 보던 false green 이 하나 남아 있다. 에이전트가 `src/foo.js` 를 만들고
+ * `tests/foo.test.js` 가 그 모듈을 **직접** import 해서 테스트하면:
+ *   · exit 0 (테스트가 통과한다)
+ *   · 무결성 깨끗 (케이스 수가 늘었지 줄지 않았다)
+ *   · 비회귀 깨끗 (통과 수가 늘었다)
+ *   · 유령 아님 (git 에 추적된다)
+ * 그런데 **제품 코드 어디에서도 foo 를 부르지 않는다.** 기능은 없고 테스트만 있다.
+ * 기존 게이트는 전부 테스트를 보는데, 이 결함은 테스트가 아니라 **제품 배선**에 있다.
+ *
+ * bkit 은 이걸 CI 하드 게이트로 갖고 있다(`scripts/check-deadcode.js`, exit 1). 함수 단위
+ * 스캐너의 주석이 이름까지 붙여놨다 — *"Built But Not Wired"*.
+ *
+ * 판정이 아니라 **공개**로 다룬다. 새 모듈이 아직 안 불리는 정상 상황이 흔하기 때문이다
+ * (다음 회차에 배선할 수도 있고, 엔트리포인트일 수도 있다). 차단하면 오탐이 루프를 죽인다.
+ * 대신 Gaps 에 실어서 "테스트는 통과했지만 이 파일은 제품 경로에서 안 불린다"를 밝힌다.
+ */
+import { readFileSync } from 'node:fs';
+import { basename, extname, join } from 'node:path';
+
+const CODE_RE = /\.[cm]?[jt]sx?$/;
+const TEST_RE = /(?:^|\/)(?:tests?|__tests__)\//;
+const TEST_FILE_RE = /\.(?:test|spec)\.[cm]?[jt]sx?$/;
+
+/** 제품 코드인가 (테스트·설정이 아닌). */
+export function isProductionFile(rel) {
+  return CODE_RE.test(rel) && !TEST_RE.test(rel) && !TEST_FILE_RE.test(rel);
+}
+
+/** 모듈 참조를 뽑는다. import/require/동적 import 를 모두 본다. */
+export function referencedNames(text) {
+  const out = new Set();
+  const patterns = [
+    /(?:from|import)\s*\(?\s*['"]([^'"]+)['"]/g,
+    /require\s*\(\s*['"]([^'"]+)['"]\s*\)/g,
+  ];
+  for (const re of patterns) {
+    for (const m of String(text ?? '').matchAll(re)) {
+      const spec = m[1];
+      if (!spec.startsWith('.') && !spec.startsWith('/')) continue; // 패키지 import 는 관심 밖
+      out.add(basename(spec, extname(spec)));
+    }
+  }
+  return out;
+}
+
+/**
+ * baseline 이후 새로 생긴 제품 파일 중 **제품 코드 어디에서도 참조되지 않는 것**.
+ *
+ * 기준이 baseline 인 이유: 이 루프가 만든 것만 본다. 원래부터 안 불리던 파일까지 들추면
+ * 매 실행이 남의 부채를 보고하는 소음이 된다.
+ *
+ * 관측 불가(baseline 이 없거나 현재 목록을 못 얻음)면 빈 배열 — 인프라는 fail-open.
+ */
+export function detectUnwired({ cwd, baselineFiles, currentFiles }) {
+  if (!Array.isArray(baselineFiles) || !Array.isArray(currentFiles)) return [];
+  const was = new Set(baselineFiles);
+  const fresh = currentFiles.filter((f) => !was.has(f) && isProductionFile(f));
+  if (!fresh.length) return [];
+
+  // 참조 집합은 **제품 파일에서만** 모은다. 테스트가 부르는 것은 배선이 아니다 —
+  // 그게 바로 이 검출기가 겨냥하는 형태다.
+  const referenced = new Set();
+  for (const rel of currentFiles.filter(isProductionFile)) {
+    try {
+      for (const name of referencedNames(readFileSync(join(cwd, rel), 'utf8'))) referenced.add(name);
+    } catch {
+      /* 읽는 사이 사라졌으면 무시 — 가드가 루프를 죽이면 안 된다 */
+    }
+  }
+  return fresh.filter((f) => !referenced.has(basename(f, extname(f))));
+}