oh-my-oop 0.2.0

package/dist/validate/strategyAsymmetry.js

@@ -0,0 +1,131 @@
+import { assertHasMultipleRemedies } from "./findings.js";
+// 전략(Strategy) 인터페이스의 *공통 시그니처*에 *분기 인자*가 섞이는 안티패턴.
+// 대표 사례: interface LottoMachine { fun generate(count, lottoNumbers: List<List<Int>>? = null) }
+//   → ManualLottoMachine은 lottoNumbers를 쓰고, AutomaticLottoMachine은 항상 null을 받음.
+// 설계 모델만으로는 메서드 시그니처를 볼 수 없으므로,
+//   "같은 *전략 suffix*를 공유하는 2개 이상의 ServiceProvider가 *knowing의 비대칭*을 보일 때"를 프록시로 잡는다.
+// 근거: @krrong (lotto PR #144) — "공통 인터페이스 = 공통 시그니처. 분기 인자는 생성자".
+const STRATEGY_SUFFIXES = [
+    "Machine",
+    "Generator",
+    "Strategy",
+    "Policy",
+    "Provider",
+    "Handler",
+    "Resolver",
+    "Selector",
+];
+function endsWithStrategySuffix(name) {
+    for (const s of STRATEGY_SUFFIXES) {
+        if (name.length > s.length && name.endsWith(s))
+            return s;
+    }
+    return null;
+}
+function isStrategyStereotype(card) {
+    return card.stereotype === "ServiceProvider" || card.stereotype === "Coordinator";
+}
+export function checkStrategyAsymmetry(design) {
+    const out = [];
+    // suffix 별로 카드 그룹핑
+    const groups = new Map();
+    for (const card of design.classes) {
+        if (!isStrategyStereotype(card))
+            continue;
+        const suffix = endsWithStrategySuffix(card.name);
+        if (!suffix)
+            continue;
+        const list = groups.get(suffix) ?? [];
+        list.push(card);
+        groups.set(suffix, list);
+    }
+    for (const [suffix, members] of groups) {
+        if (members.length < 2)
+            continue;
+        const knowingCounts = members.map((m) => m.responsibilities.knowing.length);
+        const minK = Math.min(...knowingCounts);
+        const maxK = Math.max(...knowingCounts);
+        // 모두 같은 knowing 갯수면 대칭 — 통과.
+        if (minK === maxK)
+            continue;
+        // 한쪽이 0, 다른쪽이 ≥1 이어야 *분기 인자가 인터페이스에 새는* 시그널.
+        if (minK !== 0)
+            continue;
+        const withData = members.filter((m) => m.responsibilities.knowing.length > 0);
+        const empty = members.filter((m) => m.responsibilities.knowing.length === 0);
+        out.push(assertHasMultipleRemedies({
+            rule_id: "strategy-default-param-pollution",
+            severity: "warn",
+            target: { kind: "design", id: `strategy-group-${suffix}` },
+            message: `${suffix} 전략 그룹(${members.map((m) => m.name).join(", ")})에서 knowing이 *비대칭*입니다. ` +
+                `한 구현체(${withData.map((m) => m.name).join(", ")})는 데이터를 보유하지만 ` +
+                `다른 구현체(${empty.map((m) => m.name).join(", ")})는 비어 있습니다. ` +
+                `공통 인터페이스 메서드가 이 비대칭을 흡수하려고 *nullable 분기 인자*나 *default = emptyList()* 같은 시그니처 오염을 만들 가능성이 높습니다.`,
+            evidence: {
+                suffix,
+                members: members.map((m) => ({
+                    name: m.name,
+                    knowing_count: m.responsibilities.knowing.length,
+                    knowing_sample: m.responsibilities.knowing[0] ?? null,
+                })),
+                guideline: "@krrong (lotto PR #144): \"수동 발매기의 생성자를 통해 넘겨주는 방식\" — " +
+                    "공통 인터페이스 = 공통 시그니처. 분기 인자는 *메서드 default*가 아니라 *생성자*로 받아야 한다.",
+            },
+            remedies: [
+                {
+                    label: "분기 데이터를 *생성자*로 옮기기 (인터페이스 정화)",
+                    summary: `메서드 시그니처에서 일부 구현체에만 의미 있는 파라미터를 제거하고, ` +
+                        `해당 데이터는 ${withData[0]?.name ?? "ManualX"}의 *생성자*에서 받는다. ` +
+                        `인터페이스는 모든 구현체가 *공통으로* 필요한 인자만 노출한다.`,
+                    tradeoffs: {
+                        pros: [
+                            "인터페이스 호출자가 *어떤 구현체인지* 신경 쓰지 않아도 됨",
+                            "nullable/default 값으로 의미를 *우회 표현*하는 코드 소멸",
+                            "각 구현체의 *생성 시점*에 자기 의존을 명시 (생성자가 invariant)",
+                        ],
+                        cons: [
+                            "구현체 생성 지점에서 인자를 *미리 알아야* 함 (지연 입력이 어려워질 수 있음)",
+                            "테스트에서 매 구현체마다 생성자 stub 패턴이 달라짐",
+                        ],
+                    },
+                },
+                {
+                    label: "함수형 인터페이스로 *지연 입력* 끌어올림",
+                    summary: `인터페이스를 \`(input) -> Output\` 같은 함수형으로 단순화하거나, ` +
+                        `${withData[0]?.name ?? "ManualX"}의 생성자에 \`() -> List<...>\` 같은 함수를 주입해 ` +
+                        `*입력 시점*을 호출 컨텍스트로 끌어올린다. @krrong 후속 제안.`,
+                    tradeoffs: {
+                        pros: [
+                            "*매 호출마다 다른 입력*이 필요한 경우 자연스럽게 표현",
+                            "구현체 생성 시점에 데이터를 알 필요 없음",
+                            "Kotlin functional interface로 호출자 쪽이 간결",
+                        ],
+                        cons: [
+                            "*호출 순서/사이드이펙트*가 함수 내부에 숨음 — 디버깅 비용 증가",
+                            "함수형 의존이 늘면 *진짜 객체 협력*이 보이지 않게 됨",
+                        ],
+                    },
+                },
+                {
+                    label: "전략 분리 폐기 + sealed class로 *합치기*",
+                    summary: `구현체 간 차이가 정말 *데이터의 유무*뿐이라면 인터페이스 대신 sealed class로 합쳐 ` +
+                        `데이터 보유 케이스와 무보유 케이스를 *타입으로* 표현한다. when 표현식이 모든 케이스를 컴파일 단계에서 강제.`,
+                    tradeoffs: {
+                        pros: [
+                            "케이스가 *닫혀 있음*이 타입에 드러나 when exhaustive 보장",
+                            "각 케이스가 자기 데이터만 가짐 — 비대칭이 사라짐",
+                            "*전략이 1~2종에서 끝날* 도메인에 가벼움",
+                        ],
+                        cons: [
+                            "변형 추가가 모든 when 분기 수정 비용을 유발 (OCP 약화)",
+                            "*다형성으로 풀 일을* sealed when으로 풀어 객체지향 의도가 약해짐",
+                            "외부 라이브러리/외부 의존 주입이 어려워질 수 있음",
+                        ],
+                    },
+                },
+            ],
+        }));
+    }
+    return out;
+}
+//# sourceMappingURL=strategyAsymmetry.js.map

package/dist/validate/strategyAsymmetry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"strategyAsymmetry.js","sourceRoot":"","sources":["../../src/validate/strategyAsymmetry.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,yBAAyB,EAAE,MAAM,eAAe,CAAC;AAE1D,oDAAoD;AACpD,+FAA+F;AAC/F,gFAAgF;AAChF,gCAAgC;AAChC,mFAAmF;AACnF,kEAAkE;AAElE,MAAM,iBAAiB,GAAG;IACxB,SAAS;IACT,WAAW;IACX,UAAU;IACV,QAAQ;IACR,UAAU;IACV,SAAS;IACT,UAAU;IACV,UAAU;CACX,CAAC;AAEF,SAAS,sBAAsB,CAAC,IAAY;IAC1C,KAAK,MAAM,CAAC,IAAI,iBAAiB,EAAE,CAAC;QAClC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,IAAI,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;IAC3D,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAa;IACzC,OAAO,IAAI,CAAC,UAAU,KAAK,iBAAiB,IAAI,IAAI,CAAC,UAAU,KAAK,aAAa,CAAC;AACpF,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,MAAc;IACnD,MAAM,GAAG,GAAc,EAAE,CAAC;IAE1B,mBAAmB;IACnB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC5C,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QAClC,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC;YAAE,SAAS;QAC1C,MAAM,MAAM,GAAG,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjD,IAAI,CAAC,MAAM;YAAE,SAAS;QACtB,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACtC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChB,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC3B,CAAC;IAED,KAAK,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,MAAM,EAAE,CAAC;QACvC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;YAAE,SAAS;QAEjC,MAAM,aAAa,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,gBAAgB,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC5E,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC,CAAC;QACxC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC,CAAC;QACxC,6BAA6B;QAC7B,IAAI,IAAI,KAAK,IAAI;YAAE,SAAS;QAC5B,6CAA6C;QAC7C,IAAI,IAAI,KAAK,CAAC;YAAE,SAAS;QAEzB,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,gBAAgB,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAC9E,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,gBAAgB,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;QAE7E,GAAG,CAAC,IAAI,CACN,yBAAyB,CAAC;YACxB,OAAO,EAAE,kCAAkC;YAC3C,QAAQ,EAAE,MAAM;YAChB,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,kBAAkB,MAAM,EAAE,EAAE;YAC1D,OAAO,EACL,GAAG,MAAM,UAAU,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,yBAAyB;gBACjF,SAAS,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,gBAAgB;gBAC/D,UAAU,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc;gBAC3D,gGAAgG;YAClG,QAAQ,EAAE;gBACR,MAAM;gBACN,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBAC3B,IAAI,EAAE,CAAC,CAAC,IAAI;oBACZ,aAAa,EAAE,CAAC,CAAC,gBAAgB,CAAC,OAAO,CAAC,MAAM;oBAChD,cAAc,EAAE,CAAC,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,IAAI;iBACtD,CAAC,CAAC;gBACH,SAAS,EACP,yDAAyD;oBACzD,8DAA8D;aACjE;YACD,QAAQ,EAAE;gBACR;oBACE,KAAK,EAAE,+BAA+B;oBACtC,OAAO,EACL,wCAAwC;wBACxC,WAAW,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,SAAS,iBAAiB;wBAC1D,qCAAqC;oBACvC,SAAS,EAAE;wBACT,IAAI,EAAE;4BACJ,mCAAmC;4BACnC,0CAA0C;4BAC1C,4CAA4C;yBAC7C;wBACD,IAAI,EAAE;4BACJ,+CAA+C;4BAC/C,gCAAgC;yBACjC;qBACF;iBACF;gBACD;oBACE,KAAK,EAAE,yBAAyB;oBAChC,OAAO,EACL,gDAAgD;wBAChD,GAAG,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,SAAS,wCAAwC;wBACzE,yCAAyC;oBAC3C,SAAS,EAAE;wBACT,IAAI,EAAE;4BACJ,iCAAiC;4BACjC,yBAAyB;4BACzB,wCAAwC;yBACzC;wBACD,IAAI,EAAE;4BACJ,uCAAuC;4BACvC,iCAAiC;yBAClC;qBACF;iBACF;gBACD;oBACE,KAAK,EAAE,gCAAgC;oBACvC,OAAO,EACL,uDAAuD;wBACvD,kEAAkE;oBACpE,SAAS,EAAE;wBACT,IAAI,EAAE;4BACJ,0CAA0C;4BAC1C,8BAA8B;4BAC9B,0BAA0B;yBAC3B;wBACD,IAAI,EAAE;4BACJ,sCAAsC;4BACtC,4CAA4C;4BAC5C,8BAA8B;yBAC/B;qBACF;iBACF;aACF;SACF,CAAC,CACH,CAAC;IACJ,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/validate/testability.d.ts

@@ -0,0 +1,5 @@
+import type { Design } from "../domain/model.js";
+import type { Finding } from "./findings.js";
+export declare function checkNonNewable(design: Design): Finding[];
+export declare function checkSideEffectInHolder(design: Design): Finding[];
+export declare function checkMockingPressure(design: Design, maxNonNewable: number): Finding[];

package/dist/validate/testability.js

@@ -0,0 +1,157 @@
+import { assertHasMultipleRemedies } from "./findings.js";
+const NON_NEWABLE_RE = /(Repository|Client|Gateway|Random|Clock|System|Http|Db|Connection)/;
+const STRATEGY_HINT_RE = /(Strategy|Policy|Provider|Source|Generator)/;
+const SIDE_EFFECT_VERBS = /(save|store|persist|send|publish|emit|print|log|write|delete|fetch|call)/i;
+function isNonNewableName(name) {
+    return NON_NEWABLE_RE.test(name);
+}
+function hasStrategySeam(card) {
+    return card.collaborators.some((c) => STRATEGY_HINT_RE.test(c.name));
+}
+export function checkNonNewable(design) {
+    const out = [];
+    for (const card of design.classes) {
+        const offenders = card.collaborators.filter((c) => isNonNewableName(c.name));
+        if (offenders.length === 0)
+            continue;
+        if (hasStrategySeam(card))
+            continue;
+        out.push(assertHasMultipleRemedies({
+            rule_id: "non-newable",
+            severity: "warn",
+            target: { kind: "class", id: card.id },
+            message: `${card.name}이(가) 외부 자원성 협력자(${offenders
+                .map((o) => o.name)
+                .join(", ")})를 직접 사용해 단위테스트에서 단순히 \`new\`로 생성하기 어렵습니다.`,
+            evidence: {
+                offenders: offenders.map((o) => o.name),
+                guideline: "조영호님 기준: new로 생성 가능한가, 사이드이펙트 의존을 강제하는가",
+            },
+            remedies: [
+                {
+                    label: "Strategy/Provider 인터페이스로 추출",
+                    summary: "외부 자원 호출을 인터페이스 뒤로 감추고, 테스트에서는 페이크 구현을 주입한다.",
+                    tradeoffs: {
+                        pros: ["테스트가 단순해지고 모킹 부담이 사라짐", "구현 교체 용이"],
+                        cons: ["인터페이스 1개 추가로 코드 표면적 증가"],
+                    },
+                },
+                {
+                    label: "값(결과)을 파라미터로 받기",
+                    summary: "자원에서 얻은 값(예: 현재 시각, 난수)을 호출 시점에 파라미터로 받아 객체를 순수하게 유지한다.",
+                    tradeoffs: {
+                        pros: ["객체가 완전히 순수해져 테스트 자유도 최고"],
+                        cons: ["호출자가 값을 준비해야 해서 유스케이스 진입점이 무거워짐"],
+                    },
+                },
+                {
+                    label: "Interfacer로 위임 + 경계에서만 자원 사용",
+                    summary: "외부 자원 호출 책임을 별도 Interfacer로 모으고, 도메인 객체는 그 결과만 받는다.",
+                    tradeoffs: {
+                        pros: ["도메인-인프라 경계가 명확", "교체 가능한 구조"],
+                        cons: ["계층이 늘어 학습 곡선 상승"],
+                    },
+                },
+            ],
+        }));
+    }
+    return out;
+}
+// UI 표현 문자열이 도메인 데이터에 박혀 있는지 검출. PR #78 (s9hn): DriverDecision.distance="-"
+// UI 변경이 도메인 변경으로 번지는 안티패턴.
+const UI_LITERAL_RE = /["'`]\s*[-|│:\\n→←↑↓\s]+\s*["'`]|["'`]\s*[-=*]{2,}\s*["'`]/;
+export function checkSideEffectInHolder(design) {
+    const out = [];
+    for (const card of design.classes) {
+        if (card.stereotype !== "InformationHolder")
+            continue;
+        const offenders = card.responsibilities.doing.filter((d) => SIDE_EFFECT_VERBS.test(d));
+        const uiLiterals = card.responsibilities.knowing.filter((k) => UI_LITERAL_RE.test(k));
+        if (offenders.length === 0 && uiLiterals.length === 0)
+            continue;
+        const reasons = [];
+        if (offenders.length > 0)
+            reasons.push(`사이드이펙트성 동사(저장/전송/기록 등) doing 책임 (${offenders.join(", ")})`);
+        if (uiLiterals.length > 0)
+            reasons.push(`UI 표현 문자열을 knowing에 보유 (${uiLiterals.join(", ")}). ` +
+                `UI 변경이 도메인 변경으로 번질 위험이 있습니다.`);
+        out.push(assertHasMultipleRemedies({
+            rule_id: "side-effect-in-holder",
+            severity: "warn",
+            target: { kind: "class", id: card.id },
+            message: `${card.name}은(는) InformationHolder인데 ${reasons.join(" · ")}.`,
+            evidence: { offenders, ui_literals: uiLiterals },
+            remedies: [
+                {
+                    label: "Stereotype을 ServiceProvider로 재분류",
+                    summary: "사이드이펙트 책임이 본질이라면 Stereotype을 맞게 바꾼다.",
+                    tradeoffs: {
+                        pros: ["역할이 정확히 표현됨"],
+                        cons: ["원래 정보 표현 목적이라면 정체성이 흐려짐"],
+                    },
+                },
+                {
+                    label: "사이드이펙트를 새 ServiceProvider/Interfacer로 추출",
+                    summary: "정보를 보유하는 책임은 남기고, 저장/전송 등은 새 협력자에게 위임한다.",
+                    tradeoffs: {
+                        pros: ["순수한 도메인 정보 보존", "테스트 용이"],
+                        cons: ["클래스 수 증가"],
+                    },
+                },
+                {
+                    label: "이벤트로 바꾸고 Interfacer가 처리",
+                    summary: "사이드이펙트를 이벤트 발행으로 바꾸고 경계에서 Interfacer가 실제 동작을 수행한다.",
+                    tradeoffs: {
+                        pros: ["도메인이 인프라를 모름", "확장 용이"],
+                        cons: ["이벤트 추적이 어려워질 수 있음"],
+                    },
+                },
+            ],
+        }));
+    }
+    return out;
+}
+export function checkMockingPressure(design, maxNonNewable) {
+    const out = [];
+    for (const card of design.classes) {
+        const nonNewable = card.collaborators.filter((c) => isNonNewableName(c.name));
+        if (nonNewable.length <= maxNonNewable)
+            continue;
+        out.push(assertHasMultipleRemedies({
+            rule_id: "mocking-pressure",
+            severity: "info",
+            target: { kind: "class", id: card.id },
+            message: `${card.name}이(가) 외부 자원성 협력자 ${nonNewable.length}개에 의존합니다. ` +
+                `테스트에서 모킹 부담이 커집니다.`,
+            evidence: { nonNewable: nonNewable.map((n) => n.name), max: maxNonNewable },
+            remedies: [
+                {
+                    label: "테스트 더블 seam 도입",
+                    summary: "모든 외부 의존을 한두 개의 Strategy 인터페이스 뒤로 모은다.",
+                    tradeoffs: {
+                        pros: ["모킹 지점이 줄어든다"],
+                        cons: ["seam 설계에 시간 필요"],
+                    },
+                },
+                {
+                    label: "조합 책임을 바깥(경계)으로 밀어내기",
+                    summary: "유스케이스 경계에서 의존성 조립을 하고 도메인 코어는 순수하게 둔다.",
+                    tradeoffs: {
+                        pros: ["코어를 표준 단위테스트로 검증 가능"],
+                        cons: ["조립 책임이 한곳에 집중되어 비대해질 수 있음"],
+                    },
+                },
+                {
+                    label: "순수 코어 / 인프라 어댑터 분리",
+                    summary: "도메인 규칙은 순수 객체로, 외부 호출은 어댑터로 나눠 클래스를 둘로 쪼갠다.",
+                    tradeoffs: {
+                        pros: ["테스트 피라미드 하단(단위) 비중 증가"],
+                        cons: ["객체 수 증가, 호출 흐름 길어짐"],
+                    },
+                },
+            ],
+        }));
+    }
+    return out;
+}
+//# sourceMappingURL=testability.js.map

package/dist/validate/testability.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"testability.js","sourceRoot":"","sources":["../../src/validate/testability.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,yBAAyB,EAAE,MAAM,eAAe,CAAC;AAE1D,MAAM,cAAc,GAAG,oEAAoE,CAAC;AAC5F,MAAM,gBAAgB,GAAG,6CAA6C,CAAC;AACvE,MAAM,iBAAiB,GAAG,2EAA2E,CAAC;AAEtG,SAAS,gBAAgB,CAAC,IAAY;IACpC,OAAO,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACnC,CAAC;AAED,SAAS,eAAe,CAAC,IAAa;IACpC,OAAO,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AACvE,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,MAAc;IAC5C,MAAM,GAAG,GAAc,EAAE,CAAC;IAC1B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QAClC,MAAM,SAAS,GAAG,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAC7E,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACrC,IAAI,eAAe,CAAC,IAAI,CAAC;YAAE,SAAS;QAEpC,GAAG,CAAC,IAAI,CACN,yBAAyB,CAAC;YACxB,OAAO,EAAE,aAAa;YACtB,QAAQ,EAAE,MAAM;YAChB,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE;YACtC,OAAO,EACL,GAAG,IAAI,CAAC,IAAI,mBAAmB,SAAS;iBACrC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;iBAClB,IAAI,CAAC,IAAI,CAAC,4CAA4C;YAC3D,QAAQ,EAAE;gBACR,SAAS,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;gBACvC,SAAS,EAAE,yCAAyC;aACrD;YACD,QAAQ,EAAE;gBACR;oBACE,KAAK,EAAE,6BAA6B;oBACpC,OAAO,EACL,8CAA8C;oBAChD,SAAS,EAAE;wBACT,IAAI,EAAE,CAAC,uBAAuB,EAAE,UAAU,CAAC;wBAC3C,IAAI,EAAE,CAAC,wBAAwB,CAAC;qBACjC;iBACF;gBACD;oBACE,KAAK,EAAE,iBAAiB;oBACxB,OAAO,EACL,yDAAyD;oBAC3D,SAAS,EAAE;wBACT,IAAI,EAAE,CAAC,yBAAyB,CAAC;wBACjC,IAAI,EAAE,CAAC,iCAAiC,CAAC;qBAC1C;iBACF;gBACD;oBACE,KAAK,EAAE,8BAA8B;oBACrC,OAAO,EACL,qDAAqD;oBACvD,SAAS,EAAE;wBACT,IAAI,EAAE,CAAC,gBAAgB,EAAE,WAAW,CAAC;wBACrC,IAAI,EAAE,CAAC,iBAAiB,CAAC;qBAC1B;iBACF;aACF;SACF,CAAC,CACH,CAAC;IACJ,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,4EAA4E;AAC5E,4BAA4B;AAC5B,MAAM,aAAa,GAAG,4DAA4D,CAAC;AAEnF,MAAM,UAAU,uBAAuB,CAAC,MAAc;IACpD,MAAM,GAAG,GAAc,EAAE,CAAC;IAC1B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QAClC,IAAI,IAAI,CAAC,UAAU,KAAK,mBAAmB;YAAE,SAAS;QACtD,MAAM,SAAS,GAAG,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACvF,MAAM,UAAU,GAAG,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACtF,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAEhE,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC;YACtB,OAAO,CAAC,IAAI,CAAC,oCAAoC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC5E,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;YACvB,OAAO,CAAC,IAAI,CACV,2BAA2B,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK;gBACnD,8BAA8B,CACjC,CAAC;QAEJ,GAAG,CAAC,IAAI,CACN,yBAAyB,CAAC;YACxB,OAAO,EAAE,uBAAuB;YAChC,QAAQ,EAAE,MAAM;YAChB,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE;YACtC,OAAO,EAAE,GAAG,IAAI,CAAC,IAAI,4BAA4B,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG;YACvE,QAAQ,EAAE,EAAE,SAAS,EAAE,WAAW,EAAE,UAAU,EAAE;YAChD,QAAQ,EAAE;gBACR;oBACE,KAAK,EAAE,kCAAkC;oBACzC,OAAO,EAAE,sCAAsC;oBAC/C,SAAS,EAAE;wBACT,IAAI,EAAE,CAAC,aAAa,CAAC;wBACrB,IAAI,EAAE,CAAC,yBAAyB,CAAC;qBAClC;iBACF;gBACD;oBACE,KAAK,EAAE,0CAA0C;oBACjD,OAAO,EACL,0CAA0C;oBAC5C,SAAS,EAAE;wBACT,IAAI,EAAE,CAAC,eAAe,EAAE,QAAQ,CAAC;wBACjC,IAAI,EAAE,CAAC,UAAU,CAAC;qBACnB;iBACF;gBACD;oBACE,KAAK,EAAE,yBAAyB;oBAChC,OAAO,EACL,oDAAoD;oBACtD,SAAS,EAAE;wBACT,IAAI,EAAE,CAAC,cAAc,EAAE,OAAO,CAAC;wBAC/B,IAAI,EAAE,CAAC,mBAAmB,CAAC;qBAC5B;iBACF;aACF;SACF,CAAC,CACH,CAAC;IACJ,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,MAAc,EACd,aAAqB;IAErB,MAAM,GAAG,GAAc,EAAE,CAAC;IAC1B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QAClC,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAC9E,IAAI,UAAU,CAAC,MAAM,IAAI,aAAa;YAAE,SAAS;QACjD,GAAG,CAAC,IAAI,CACN,yBAAyB,CAAC;YACxB,OAAO,EAAE,kBAAkB;YAC3B,QAAQ,EAAE,MAAM;YAChB,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE;YACtC,OAAO,EACL,GAAG,IAAI,CAAC,IAAI,mBAAmB,UAAU,CAAC,MAAM,YAAY;gBAC5D,oBAAoB;YACtB,QAAQ,EAAE,EAAE,UAAU,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,aAAa,EAAE;YAC3E,QAAQ,EAAE;gBACR;oBACE,KAAK,EAAE,gBAAgB;oBACvB,OAAO,EACL,wCAAwC;oBAC1C,SAAS,EAAE;wBACT,IAAI,EAAE,CAAC,aAAa,CAAC;wBACrB,IAAI,EAAE,CAAC,gBAAgB,CAAC;qBACzB;iBACF;gBACD;oBACE,KAAK,EAAE,sBAAsB;oBAC7B,OAAO,EACL,wCAAwC;oBAC1C,SAAS,EAAE;wBACT,IAAI,EAAE,CAAC,qBAAqB,CAAC;wBAC7B,IAAI,EAAE,CAAC,2BAA2B,CAAC;qBACpC;iBACF;gBACD;oBACE,KAAK,EAAE,oBAAoB;oBAC3B,OAAO,EACL,6CAA6C;oBAC/C,SAAS,EAAE;wBACT,IAAI,EAAE,CAAC,uBAAuB,CAAC;wBAC/B,IAAI,EAAE,CAAC,oBAAoB,CAAC;qBAC7B;iBACF;aACF;SACF,CAAC,CACH,CAAC;IACJ,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/validate/vagueName.d.ts

@@ -0,0 +1,3 @@
+import type { Design } from "../domain/model.js";
+import type { Finding } from "./findings.js";
+export declare function checkVagueClassName(design: Design): Finding[];

package/dist/validate/vagueName.js

@@ -0,0 +1,136 @@
+import { assertHasMultipleRemedies } from "./findings.js";
+// "Manager", "Util", "Helper" 등 일반 어휘만으로 이루어진 클래스명은 책임 회피의 신호.
+// woowacourse/kotlin-racingcar 133 PR 리뷰에서 가장 빈번하게 지적된 안티패턴 중 하나.
+// 단, 의미 있는 도메인 어휘가 *앞에* 붙으면 책임이 좁혀지므로 허용한다.
+const SUSPECT_SUFFIXES = [
+    "Manager",
+    "Helper",
+    "Util",
+    "Utils",
+    "Service",
+    "Handler",
+    "Processor",
+    "Worker",
+    // 가상 객체 어휘 — 행동을 자기 객체가 아닌 *외부 명사*로 분리하려는 신호.
+    // 도메인 객체가 그 책임을 이미 가져야 하는 경우가 대부분.
+    "Calculator",
+    "Picker",
+    "Distributor",
+    "Decider",
+    "Information",
+    "Info",
+];
+// 클래스명 단독으로도 모호한 어휘
+const SUSPECT_STANDALONE = new Set([
+    "Validator",
+    "Validation",
+    "Exception",
+    "Common",
+    "Const",
+    "Constants",
+    "Util",
+    "Utils",
+    "Helper",
+    "Manager",
+    "Service",
+    "Handler",
+    // 가상 객체 어휘 (단독 사용 시 god-object 거의 확실)
+    "Calculator",
+    "Picker",
+    "Distributor",
+    "Judge",
+    "Decider",
+    "Information",
+    "Info",
+    "Rule",
+]);
+function classify(name) {
+    if (SUSPECT_STANDALONE.has(name)) {
+        return { reason: "suspect-standalone", matched: name };
+    }
+    for (const suf of SUSPECT_SUFFIXES) {
+        if (name === suf)
+            return { reason: "suspect-standalone", matched: suf };
+        if (name.endsWith(suf)) {
+            const prefix = name.slice(0, name.length - suf.length);
+            // 의미 있는 prefix (3자 이상의 도메인 단어)는 허용
+            if (prefix.length < 3) {
+                return { reason: "suspect-suffix-only", matched: suf };
+            }
+        }
+    }
+    return null;
+}
+export function checkVagueClassName(design) {
+    const out = [];
+    for (const card of design.classes) {
+        const hit = classify(card.name);
+        if (!hit)
+            continue;
+        const message = hit.reason === "suspect-standalone"
+            ? `${card.name}이라는 이름은 무엇을 하는지 모호합니다. ` +
+                `네이밍 모호함은 god-object 안티패턴의 신호일 수 있습니다.`
+            : `${card.name}은 "${hit.matched}" 접미사 외에 의미 있는 도메인 어휘가 부족합니다. ` +
+                `클래스의 책임이 모호하면 god-object가 될 위험이 있습니다.`;
+        out.push(assertHasMultipleRemedies({
+            rule_id: "vague-class-name",
+            severity: "warn",
+            target: { kind: "class", id: card.id },
+            message,
+            evidence: {
+                name: card.name,
+                matched_pattern: hit.matched,
+                stereotype: card.stereotype,
+                guideline: "@vagabond95 (woowacourse-racingcar): \"네이밍이 모호하다는 것은 곧 해당 클래스/함수의 역할이 모호하거나 모호해질 수 있다는 신호\". " +
+                    "@laco-dev (woowacourse-kotlin-blackjack tobae-time/115): \"현실세계라면 블랙잭 게임의 규칙이지만, 객체지향 세계에서 객체는 모두 스스로 일을 합니다\" — Picker/Distributor/Calculator/Judge 같은 *가상 객체*는 행동을 외부 명사로 분리하려는 신호이며, 도메인 객체가 그 책임을 이미 가져야 한다. " +
+                    "@ghojeong (woowacourse-kotlin-blackjack kimhm0728/72): \"해당 역할을 컴퓨터가 아니라 사람에게 시키려고 했을 때, 사람이 한 명 더 필요한가\" — 같은 사람이 할 수 있다면 별도 객체로 분리하지 않는다.",
+            },
+            remedies: [
+                {
+                    label: "무엇을 + 행위로 도메인 어휘 추가",
+                    summary: `현재 클래스가 *무엇을* 검증/관리/돕는지 이름에 명시한다. ` +
+                        `예: Validator → InputValidator, Manager → RacingGame, Helper → CarsHelper(여전히 모호하면 다음 안).`,
+                    tradeoffs: {
+                        pros: [
+                            "이름만 보고도 책임 범위가 명확해짐",
+                            "동료가 IDE 자동완성에서 빠르게 찾을 수 있음",
+                        ],
+                        cons: [
+                            "이름이 길어질 수 있음",
+                            "도메인이 진화하면 이름 갱신 비용",
+                        ],
+                    },
+                },
+                {
+                    label: "Stereotype에 맞는 역할 이름으로 재명명",
+                    summary: `현재 stereotype(${card.stereotype})에 맞는 역할 어휘로 바꾼다. ` +
+                        `Coordinator → "${card.name}Coordinator/Service", InformationHolder → 도메인 명사 단독, Interfacer → "${card.name}View/Adapter".`,
+                    tradeoffs: {
+                        pros: [
+                            "Wirfs-Brock stereotype과 이름이 일치해 협력 패턴 예측 가능",
+                            "리뷰 시 책임 누수 판단이 쉬워짐",
+                        ],
+                        cons: [
+                            "stereotype 자체가 잘못 설정됐다면 잘못된 방향으로 재명명될 위험",
+                        ],
+                    },
+                },
+                {
+                    label: "협력자에게 책임 이전 후 클래스 삭제",
+                    summary: `이 클래스가 *얇은 위임 계층*에 그친다면, 책임을 진짜 소유자(데이터를 가진 객체)에게 옮기고 클래스 자체를 제거한다.`,
+                    tradeoffs: {
+                        pros: [
+                            "객체 수 감소 + Tell-Don't-Ask 강화",
+                            "god-folder 안티패턴 회피",
+                        ],
+                        cons: [
+                            "협력자가 비대해질 위험 (다음 라운드에서 god-object 가능성)",
+                        ],
+                    },
+                },
+            ],
+        }));
+    }
+    return out;
+}
+//# sourceMappingURL=vagueName.js.map

package/dist/validate/vagueName.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"vagueName.js","sourceRoot":"","sources":["../../src/validate/vagueName.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,yBAAyB,EAAE,MAAM,eAAe,CAAC;AAE1D,+DAA+D;AAC/D,kEAAkE;AAClE,4CAA4C;AAE5C,MAAM,gBAAgB,GAAG;IACvB,SAAS;IACT,QAAQ;IACR,MAAM;IACN,OAAO;IACP,SAAS;IACT,SAAS;IACT,WAAW;IACX,QAAQ;IACR,8CAA8C;IAC9C,mCAAmC;IACnC,YAAY;IACZ,QAAQ;IACR,aAAa;IACb,SAAS;IACT,aAAa;IACb,MAAM;CACP,CAAC;AAEF,oBAAoB;AACpB,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC;IACjC,WAAW;IACX,YAAY;IACZ,WAAW;IACX,QAAQ;IACR,OAAO;IACP,WAAW;IACX,MAAM;IACN,OAAO;IACP,QAAQ;IACR,SAAS;IACT,SAAS;IACT,SAAS;IACT,sCAAsC;IACtC,YAAY;IACZ,QAAQ;IACR,aAAa;IACb,OAAO;IACP,SAAS;IACT,aAAa;IACb,MAAM;IACN,MAAM;CACP,CAAC,CAAC;AAOH,SAAS,QAAQ,CAAC,IAAY;IAC5B,IAAI,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,OAAO,EAAE,MAAM,EAAE,oBAAoB,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACzD,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,gBAAgB,EAAE,CAAC;QACnC,IAAI,IAAI,KAAK,GAAG;YAAE,OAAO,EAAE,MAAM,EAAE,oBAAoB,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;QACxE,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACvB,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;YACvD,mCAAmC;YACnC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACtB,OAAO,EAAE,MAAM,EAAE,qBAAqB,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;YACzD,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,MAAc;IAChD,MAAM,GAAG,GAAc,EAAE,CAAC;IAC1B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QAClC,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,CAAC,GAAG;YAAE,SAAS;QAEnB,MAAM,OAAO,GACX,GAAG,CAAC,MAAM,KAAK,oBAAoB;YACjC,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,yBAAyB;gBACrC,uCAAuC;YACzC,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,MAAM,GAAG,CAAC,OAAO,gCAAgC;gBAC7D,uCAAuC,CAAC;QAE9C,GAAG,CAAC,IAAI,CACN,yBAAyB,CAAC;YACxB,OAAO,EAAE,kBAAkB;YAC3B,QAAQ,EAAE,MAAM;YAChB,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE;YACtC,OAAO;YACP,QAAQ,EAAE;gBACR,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,eAAe,EAAE,GAAG,CAAC,OAAO;gBAC5B,UAAU,EAAE,IAAI,CAAC,UAAU;gBAC3B,SAAS,EACP,+FAA+F;oBAC/F,mNAAmN;oBACnN,6IAA6I;aAChJ;YACD,QAAQ,EAAE;gBACR;oBACE,KAAK,EAAE,qBAAqB;oBAC5B,OAAO,EACL,oCAAoC;wBACpC,0FAA0F;oBAC5F,SAAS,EAAE;wBACT,IAAI,EAAE;4BACJ,qBAAqB;4BACrB,4BAA4B;yBAC7B;wBACD,IAAI,EAAE;4BACJ,cAAc;4BACd,oBAAoB;yBACrB;qBACF;iBACF;gBACD;oBACE,KAAK,EAAE,4BAA4B;oBACnC,OAAO,EACL,iBAAiB,IAAI,CAAC,UAAU,oBAAoB;wBACpD,kBAAkB,IAAI,CAAC,IAAI,sEAAsE,IAAI,CAAC,IAAI,gBAAgB;oBAC5H,SAAS,EAAE;wBACT,IAAI,EAAE;4BACJ,6CAA6C;4BAC7C,oBAAoB;yBACrB;wBACD,IAAI,EAAE;4BACJ,0CAA0C;yBAC3C;qBACF;iBACF;gBACD;oBACE,KAAK,EAAE,sBAAsB;oBAC7B,OAAO,EACL,qEAAqE;oBACvE,SAAS,EAAE;wBACT,IAAI,EAAE;4BACJ,6BAA6B;4BAC7B,oBAAoB;yBACrB;wBACD,IAAI,EAAE;4BACJ,wCAAwC;yBACzC;qBACF;iBACF;aACF;SACF,CAAC,CACH,CAAC;IACJ,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/validate/validationLocation.d.ts

@@ -0,0 +1,3 @@
+import type { Design } from "../domain/model.js";
+import type { Finding } from "./findings.js";
+export declare function checkValidationLocation(design: Design): Finding[];

package/dist/validate/validationLocation.js

@@ -0,0 +1,120 @@
+import { assertHasMultipleRemedies } from "./findings.js";
+// 검증/유효성 책임이 여러 stereotype에 분산되어 있으면 경고한다.
+// 우아한테크코스 racing-car 미션에서 가장 흔하게 학생들이 헷갈리는 주제.
+//
+// 권장 3분류:
+//   - UI 형식 검증 (빈 문자열, 숫자 아님)     → Interfacer
+//   - 사용자 입력 정책 (재입력 흐름)          → Coordinator
+//   - 도메인 무결성 invariant (길이/중복/범위) → InformationHolder / Structurer 의 init
+const VALIDATION_RE = /(검증|유효성|확인|검사|validate|valid|check|verify)/i;
+function hasValidationResponsibility(card) {
+    const all = [...card.responsibilities.knowing, ...card.responsibilities.doing];
+    return all.some((r) => VALIDATION_RE.test(r));
+}
+function tokenize(text) {
+    return new Set(text
+        .toLowerCase()
+        .replace(/[()\[\]{}.,;:!?]/g, " ")
+        .split(/\s+/)
+        .filter((t) => t.length > 1));
+}
+function sharedDomainTokens(a, b) {
+    const at = tokenize([...a.responsibilities.knowing, ...a.responsibilities.doing].join(" "));
+    const bt = tokenize([...b.responsibilities.knowing, ...b.responsibilities.doing].join(" "));
+    const out = [];
+    for (const t of at)
+        if (bt.has(t))
+            out.push(t);
+    return out;
+}
+export function checkValidationLocation(design) {
+    const validators = design.classes.filter(hasValidationResponsibility);
+    if (validators.length < 2)
+        return [];
+    const out = [];
+    const seen = new Set();
+    for (let i = 0; i < validators.length; i++) {
+        for (let j = i + 1; j < validators.length; j++) {
+            const a = validators[i];
+            const b = validators[j];
+            const shared = sharedDomainTokens(a, b).filter((t) => !VALIDATION_RE.test(t));
+            if (shared.length < 2)
+                continue; // 같은 도메인 개념 공유가 약하면 분산이 아님
+            // 두 카드의 stereotype 조합으로 분산 패턴 판정
+            const stPair = [a.stereotype, b.stereotype].sort().join("+");
+            // 같은 stereotype이면 중복일 수 있으나 다른 stereotype이면 분산
+            if (a.stereotype === b.stereotype)
+                continue;
+            const key = `${a.id}+${b.id}`;
+            if (seen.has(key))
+                continue;
+            seen.add(key);
+            out.push(assertHasMultipleRemedies({
+                rule_id: "validation-misplacement",
+                severity: "warn",
+                target: { kind: "class", id: a.id },
+                message: `${a.name}(${a.stereotype})과 ${b.name}(${b.stereotype})이 같은 도메인 개념(${shared
+                    .slice(0, 3)
+                    .join(", ")})의 검증을 양쪽에서 수행합니다. ` +
+                    `검증 책임이 분산되어 있어 변경 시 양쪽 모두 수정해야 할 위험이 있습니다.`,
+                evidence: {
+                    paired_with: b.name,
+                    paired_stereotype: b.stereotype,
+                    shared_concepts: shared,
+                    stereotype_pair: stPair,
+                    guideline: "권장 3분류 — UI 형식: Interfacer / 입력 정책: Coordinator / 도메인 invariant: InformationHolder·Structurer init",
+                },
+                remedies: [
+                    {
+                        label: "도메인 invariant를 InformationHolder/Structurer init으로 통합",
+                        summary: `검증의 *최종 진실*을 도메인 객체에 두고, 외부 검증은 제거한다. ` +
+                            `호출 측은 도메인 생성 시점에 require/init으로 보호받는다.`,
+                        tradeoffs: {
+                            pros: [
+                                "검증 위치가 단일 (이중 검증 제거)",
+                                "도메인 진입점이 곧 검증 경계",
+                                "리뷰어 다수가 권장한 표준 패턴",
+                            ],
+                            cons: [
+                                "도메인 init이 무거워질 수 있음",
+                                "재입력 흐름과 도메인 예외를 호출 측이 어떻게 처리할지 결정 필요",
+                            ],
+                        },
+                    },
+                    {
+                        label: "Interfacer는 형식만, 도메인은 무결성만 (책임 분할)",
+                        summary: `${a.name}/${b.name} 중 하나는 UI 형식 검증(빈 문자열, 숫자 아님)만, ` +
+                            `다른 하나는 도메인 invariant(길이/중복/범위)만 갖도록 책임을 갈라낸다. ` +
+                            `같은 토큰을 다루더라도 *검증의 종류*가 다르면 분산이 아님.`,
+                        tradeoffs: {
+                            pros: [
+                                "각 stereotype에 맞는 검증만 남음",
+                                "Interfacer 변경(UI 형식 변경)이 도메인에 영향 없음",
+                            ],
+                            cons: [
+                                "같은 입력값이 두 단계를 거치므로 호출 흐름이 복잡해짐",
+                                "어디까지가 \"형식\"이고 어디부터가 \"무결성\"인지 팀 합의 필요",
+                            ],
+                        },
+                    },
+                    {
+                        label: "Coordinator가 재입력 흐름만 담당하도록 분리",
+                        summary: `Coordinator는 \"검증 실패 시 재입력\" 같은 사용자 입력 정책만 갖고, ` +
+                            `실제 검증 로직은 Interfacer(형식) 또는 도메인(무결성)이 담당한다.`,
+                        tradeoffs: {
+                            pros: [
+                                "Coordinator가 검증 규칙을 *알지 않게* 됨",
+                                "흐름 변경(재입력 vs 종료)이 검증 로직 변경과 분리됨",
+                            ],
+                            cons: [
+                                "단순 미션에서는 과한 분리일 수 있음",
+                            ],
+                        },
+                    },
+                ],
+            }));
+        }
+    }
+    return out;
+}
+//# sourceMappingURL=validationLocation.js.map

package/dist/validate/validationLocation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validationLocation.js","sourceRoot":"","sources":["../../src/validate/validationLocation.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,yBAAyB,EAAE,MAAM,eAAe,CAAC;AAE1D,2CAA2C;AAC3C,+CAA+C;AAC/C,EAAE;AACF,UAAU;AACV,+CAA+C;AAC/C,gDAAgD;AAChD,2EAA2E;AAE3E,MAAM,aAAa,GAAG,6CAA6C,CAAC;AAEpE,SAAS,2BAA2B,CAAC,IAAa;IAChD,MAAM,GAAG,GAAG,CAAC,GAAG,IAAI,CAAC,gBAAgB,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC;IAC/E,OAAO,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;AAChD,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY;IAC5B,OAAO,IAAI,GAAG,CACZ,IAAI;SACD,WAAW,EAAE;SACb,OAAO,CAAC,mBAAmB,EAAE,GAAG,CAAC;SACjC,KAAK,CAAC,KAAK,CAAC;SACZ,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAC/B,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CAAC,CAAU,EAAE,CAAU;IAChD,MAAM,EAAE,GAAG,QAAQ,CACjB,CAAC,GAAG,CAAC,CAAC,gBAAgB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CACvE,CAAC;IACF,MAAM,EAAE,GAAG,QAAQ,CACjB,CAAC,GAAG,CAAC,CAAC,gBAAgB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CACvE,CAAC;IACF,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,CAAC,IAAI,EAAE;QAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/C,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,MAAc;IACpD,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,2BAA2B,CAAC,CAAC;IACtE,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC;IAErC,MAAM,GAAG,GAAc,EAAE,CAAC;IAC1B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAE/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3C,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC/C,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAE,CAAC;YACzB,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAE,CAAC;YACzB,MAAM,MAAM,GAAG,kBAAkB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAC5C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAC9B,CAAC;YACF,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;gBAAE,SAAS,CAAC,2BAA2B;YAE5D,iCAAiC;YACjC,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAE7D,+CAA+C;YAC/C,IAAI,CAAC,CAAC,UAAU,KAAK,CAAC,CAAC,UAAU;gBAAE,SAAS;YAE5C,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC;YAC9B,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,SAAS;YAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAEd,GAAG,CAAC,IAAI,CACN,yBAAyB,CAAC;gBACxB,OAAO,EAAE,yBAAyB;gBAClC,QAAQ,EAAE,MAAM;gBAChB,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE;gBACnC,OAAO,EACL,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,UAAU,MAAM,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,UAAU,gBAAgB,MAAM;qBACxE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;qBACX,IAAI,CAAC,IAAI,CAAC,qBAAqB;oBAClC,4CAA4C;gBAC9C,QAAQ,EAAE;oBACR,WAAW,EAAE,CAAC,CAAC,IAAI;oBACnB,iBAAiB,EAAE,CAAC,CAAC,UAAU;oBAC/B,eAAe,EAAE,MAAM;oBACvB,eAAe,EAAE,MAAM;oBACvB,SAAS,EACP,oGAAoG;iBACvG;gBACD,QAAQ,EAAE;oBACR;wBACE,KAAK,EAAE,uDAAuD;wBAC9D,OAAO,EACL,wCAAwC;4BACxC,wCAAwC;wBAC1C,SAAS,EAAE;4BACT,IAAI,EAAE;gCACJ,sBAAsB;gCACtB,kBAAkB;gCAClB,mBAAmB;6BACpB;4BACD,IAAI,EAAE;gCACJ,qBAAqB;gCACrB,sCAAsC;6BACvC;yBACF;qBACF;oBACD;wBACE,KAAK,EAAE,oCAAoC;wBAC3C,OAAO,EACL,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,kCAAkC;4BACrD,gDAAgD;4BAChD,oCAAoC;wBACtC,SAAS,EAAE;4BACT,IAAI,EAAE;gCACJ,yBAAyB;gCACzB,qCAAqC;6BACtC;4BACD,IAAI,EAAE;gCACJ,gCAAgC;gCAChC,wCAAwC;6BACzC;yBACF;qBACF;oBACD;wBACE,KAAK,EAAE,+BAA+B;wBACtC,OAAO,EACL,iDAAiD;4BACjD,6CAA6C;wBAC/C,SAAS,EAAE;4BACT,IAAI,EAAE;gCACJ,+BAA+B;gCAC/B,iCAAiC;6BAClC;4BACD,IAAI,EAAE;gCACJ,sBAAsB;6BACvB;yBACF;qBACF;iBACF;aACF,CAAC,CACH,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}