oh-my-oop 0.2.0

package/dist/validate/primitiveWrapper.js

@@ -0,0 +1,106 @@
+import { assertHasMultipleRemedies } from "./findings.js";
+// 원시값 wrapper인데 *invariant 검증 의도가 보이지 않는* 안티패턴.
+// 대표 사례: class LottoNumber(val value: Int) — init 블록의 require 없음.
+// woowacourse/kotlin-lotto: LottoNumber/Money/Profit 다수 PR (특히 @junjange #58, @haeum808 #67).
+const WRAPPER_NAME_HINTS = /(number|money|count|amount|price|yield|profit|age|quantity|fee|distance|score|index|범위|금액|개수|가격|단위|수량|값|점수)/i;
+const PRIMITIVE_TOKEN_HINTS = /(\bint\b|\blong\b|\bdouble\b|\bfloat\b|\bnumber\b|\bvalue\b|\bn\b|숫자|정수|실수|값)/i;
+const INVARIANT_INTENT = /(require|invariant|범위|검증|보장|validate|init|distinct|중복|min|max|음수|양수|양의|소수)/i;
+export function checkPrimitiveWrapperWithoutInvariant(design) {
+    const out = [];
+    for (const card of design.classes) {
+        if (card.stereotype !== "InformationHolder")
+            continue;
+        // 이름이 *값 wrapper*처럼 보이는가
+        if (!WRAPPER_NAME_HINTS.test(card.name))
+            continue;
+        const knowing = card.responsibilities.knowing;
+        // 단일 knowing이어야 *원시 1개* wrapper. 2개 이상은 다른 종류 holder.
+        if (knowing.length !== 1)
+            continue;
+        // knowing이 원시 토큰을 시사하는가
+        if (!PRIMITIVE_TOKEN_HINTS.test(knowing[0]))
+            continue;
+        const doing = card.responsibilities.doing;
+        const hasInvariantIntent = INVARIANT_INTENT.test(knowing[0]) ||
+            doing.some((d) => INVARIANT_INTENT.test(d)) ||
+            (card.notes ? INVARIANT_INTENT.test(card.notes) : false);
+        if (hasInvariantIntent)
+            continue;
+        out.push(assertHasMultipleRemedies({
+            rule_id: "primitive-wrapper-without-invariant",
+            severity: "warn",
+            target: { kind: "class", id: card.id },
+            message: `${card.name}은(는) 원시값 1개를 감싸는 InformationHolder인데, *invariant 검증 의도*가 보이지 않습니다. ` +
+                `원시 wrapper는 *유효한 값만 존재한다*는 보장을 줄 때 비용이 정당화됩니다. 검증 없이 감싸기만 하면 ` +
+                `Int 타입을 *이름만 바꾼* 셈입니다.`,
+            evidence: {
+                stereotype: card.stereotype,
+                knowing_count: knowing.length,
+                knowing_token: knowing[0],
+                doing_count: doing.length,
+                guideline: "@junjange (lotto PR #58): \"init { require(lottoNumbers.distinct().size == LOTTO_SIZE) }\" — " +
+                    "*init 블록의 require는 도메인 invariant 강제 수단*. " +
+                    "@hxeyexn 리뷰 (lotto PR #77): \"init = 자기 invariant, factory = 입력 변환 + 생성 결정\". " +
+                    "또한 invariant 를 추가했더라도 *산술 결과가 invariant 를 깰 수 있다* — " +
+                    "@malibinYun (woowacourse-kotlin-blackjack krrong/46): \"BettingMoney에는 음수가 들어가서는 안 되니, 수익률은 BettingMoney로 취급하지 않겠다는 의미겠지요.\" " +
+                    "산술 결과가 자기 invariant 를 벗어난다면 *결과 타입이 다른 객체* (예: BettingMoney → Profit) 로 분리하는 것이 답.",
+            },
+            remedies: [
+                {
+                    label: "init 블록에 require 추가 (가장 가벼운 시작)",
+                    summary: `${card.name}의 init 블록에서 도메인 범위/규칙을 require로 강제한다. ` +
+                        `예: LottoNumber → init { require(value in 1..45) }, ` +
+                        `Money → init { require(value >= 0) }. 생성자 통과 = invariant 보장.`,
+                    tradeoffs: {
+                        pros: [
+                            "wrapper의 *존재 이유*가 코드에 드러남 (유효 범위가 곧 타입)",
+                            "호출자가 value를 꺼내 재검증할 필요 없음",
+                            "잘못된 값이 *생성 시점*에 즉시 차단",
+                        ],
+                        cons: [
+                            "검증 실패 시 IllegalArgumentException 흐름을 호출자가 처리해야 함",
+                            "테스트에서 *경계값*을 매번 충족시켜야 fixture 생성 가능",
+                        ],
+                    },
+                },
+                {
+                    label: "value class로 전환 + invariant",
+                    summary: `${card.name}을 \`value class\`로 선언해 런타임 할당 비용을 제거하면서 init require를 유지한다. ` +
+                        `타입 안전성은 그대로, 메모리/객체 생성 비용은 원시값과 동일. ` +
+                        `LottoNumber처럼 *고빈도 생성*하는 값 객체에 특히 유리.`,
+                    tradeoffs: {
+                        pros: [
+                            "원시값 수준 성능 + 타입 안전성",
+                            "Int와 *컴파일러 단계*에서 구분되어 인자 순서 실수 차단",
+                            "Kotlin 표준 패턴 — 학습 비용 낮음",
+                        ],
+                        cons: [
+                            "value class 제약: secondary constructor 불가, equals 커스터마이즈 제한 등",
+                            "JVM 인라이닝 규칙 학습 필요 (특히 nullable/제네릭 위치에서 박싱)",
+                        ],
+                    },
+                },
+                {
+                    label: "wrapper 제거 + 호출 지점 *Tell-Don't-Ask*로 검증",
+                    summary: `검증 의도가 정말 없다면 ${card.name} 자체를 제거하고 Int로 되돌린다. 검증이 정말 필요한 곳에서만 ` +
+                        `그 검증을 가진 *진짜 도메인 객체*(예: Money 대신 PurchaseAmount, LottoNumber 대신 Lotto)에서 ` +
+                        `처리하게 한다.`,
+                    tradeoffs: {
+                        pros: [
+                            "*역할 없는 wrapper* 제거로 객체 수 감소",
+                            "Kotlin 산술 연산을 그대로 활용",
+                            "\"왜 wrapper?\" 라는 반복 리뷰 질문 소멸",
+                        ],
+                        cons: [
+                            "도메인 어휘 상실 (Int 한 자리에 *번호인지 금액인지* 의미가 사라짐)",
+                            "*Primitive Obsession* 안티패턴으로 회귀 — 향후 검증 필요해질 때 흩어짐",
+                            "호출 시그니처가 동일해 *인자 순서 실수*에 취약",
+                        ],
+                    },
+                },
+            ],
+        }));
+    }
+    return out;
+}
+//# sourceMappingURL=primitiveWrapper.js.map

package/dist/validate/primitiveWrapper.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"primitiveWrapper.js","sourceRoot":"","sources":["../../src/validate/primitiveWrapper.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,yBAAyB,EAAE,MAAM,eAAe,CAAC;AAE1D,gDAAgD;AAChD,kEAAkE;AAClE,8FAA8F;AAE9F,MAAM,kBAAkB,GACtB,8GAA8G,CAAC;AAEjH,MAAM,qBAAqB,GAAG,gFAAgF,CAAC;AAE/G,MAAM,gBAAgB,GACpB,6EAA6E,CAAC;AAEhF,MAAM,UAAU,qCAAqC,CAAC,MAAc;IAClE,MAAM,GAAG,GAAc,EAAE,CAAC;IAE1B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QAClC,IAAI,IAAI,CAAC,UAAU,KAAK,mBAAmB;YAAE,SAAS;QAEtD,yBAAyB;QACzB,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,SAAS;QAElD,MAAM,OAAO,GAAG,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC;QAC9C,sDAAsD;QACtD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAEnC,wBAAwB;QACxB,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC;YAAE,SAAS;QAEvD,MAAM,KAAK,GAAG,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC;QAC1C,MAAM,kBAAkB,GACtB,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC;YAClC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC3C,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAE3D,IAAI,kBAAkB;YAAE,SAAS;QAEjC,GAAG,CAAC,IAAI,CACN,yBAAyB,CAAC;YACxB,OAAO,EAAE,qCAAqC;YAC9C,QAAQ,EAAE,MAAM;YAChB,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE;YACtC,OAAO,EACL,GAAG,IAAI,CAAC,IAAI,qEAAqE;gBACjF,+DAA+D;gBAC/D,wBAAwB;YAC1B,QAAQ,EAAE;gBACR,UAAU,EAAE,IAAI,CAAC,UAAU;gBAC3B,aAAa,EAAE,OAAO,CAAC,MAAM;gBAC7B,aAAa,EAAE,OAAO,CAAC,CAAC,CAAC;gBACzB,WAAW,EAAE,KAAK,CAAC,MAAM;gBACzB,SAAS,EACP,+FAA+F;oBAC/F,2CAA2C;oBAC3C,gFAAgF;oBAChF,sDAAsD;oBACtD,+HAA+H;oBAC/H,oFAAoF;aACvF;YACD,QAAQ,EAAE;gBACR;oBACE,KAAK,EAAE,iCAAiC;oBACxC,OAAO,EACL,GAAG,IAAI,CAAC,IAAI,wCAAwC;wBACpD,qDAAqD;wBACrD,8DAA8D;oBAChE,SAAS,EAAE;wBACT,IAAI,EAAE;4BACJ,yCAAyC;4BACzC,2BAA2B;4BAC3B,uBAAuB;yBACxB;wBACD,IAAI,EAAE;4BACJ,kDAAkD;4BAClD,qCAAqC;yBACtC;qBACF;iBACF;gBACD;oBACE,KAAK,EAAE,6BAA6B;oBACpC,OAAO,EACL,GAAG,IAAI,CAAC,IAAI,8DAA8D;wBAC1E,sCAAsC;wBACtC,uCAAuC;oBACzC,SAAS,EAAE;wBACT,IAAI,EAAE;4BACJ,oBAAoB;4BACpB,mCAAmC;4BACnC,yBAAyB;yBAC1B;wBACD,IAAI,EAAE;4BACJ,8DAA8D;4BAC9D,6CAA6C;yBAC9C;qBACF;iBACF;gBACD;oBACE,KAAK,EAAE,yCAAyC;oBAChD,OAAO,EACL,iBAAiB,IAAI,CAAC,IAAI,uCAAuC;wBACjE,2EAA2E;wBAC3E,UAAU;oBACZ,SAAS,EAAE;wBACT,IAAI,EAAE;4BACJ,6BAA6B;4BAC7B,sBAAsB;4BACtB,+BAA+B;yBAChC;wBACD,IAAI,EAAE;4BACJ,2CAA2C;4BAC3C,oDAAoD;4BACpD,6BAA6B;yBAC9B;qBACF;iBACF;aACF;SACF,CAAC,CACH,CAAC;IACJ,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/validate/rules.d.ts

@@ -0,0 +1,24 @@
+import type { Design } from "../domain/model.js";
+import { type Finding, type Severity } from "./findings.js";
+export interface RuleThresholds {
+    god_object_responsibilities: number;
+    god_object_collaborators: number;
+    cohesion_min_overlap: number;
+    too_many_collaborators: number;
+    mocking_pressure_max: number;
+    data_duplication_overlap: number;
+}
+export declare const DEFAULT_THRESHOLDS: RuleThresholds;
+export declare const ALL_RULE_IDS: readonly ["god-object", "low-cohesion", "too-many-collaborators", "non-newable", "side-effect-in-holder", "mocking-pressure", "cycle", "mixed-stereotype", "feature-envy", "orphan-class", "vague-class-name", "validation-misplacement", "dependency-direction", "data-source-duplication", "function-not-object", "empty-object-external-fill", "collection-wrapper-without-behavior", "primitive-wrapper-without-invariant", "strategy-default-param-pollution", "function-decomposition-excess", "dual-purpose-knowing", "singleton-stateful-holder", "presentation-in-domain"];
+export type RuleId = (typeof ALL_RULE_IDS)[number];
+export interface ValidateOptions {
+    rules?: RuleId[];
+    severityMin?: Severity;
+    thresholds?: Partial<RuleThresholds>;
+}
+export declare function validateDesign(design: Design, opts?: ValidateOptions): Finding[];
+export declare function summarize(findings: Finding[]): {
+    error: number;
+    warn: number;
+    info: number;
+};

package/dist/validate/rules.js

@@ -0,0 +1,269 @@
+import { severityAtLeast, assertHasMultipleRemedies, } from "./findings.js";
+import { checkGodObject } from "./godObject.js";
+import { checkCohesion } from "./cohesion.js";
+import { checkCoupling } from "./coupling.js";
+import { checkNonNewable, checkSideEffectInHolder, checkMockingPressure, } from "./testability.js";
+import { checkCycles } from "./cycle.js";
+import { checkVagueClassName } from "./vagueName.js";
+import { checkValidationLocation } from "./validationLocation.js";
+import { checkDependencyDirection } from "./dependencyDirection.js";
+import { checkDataSourceDuplication } from "./dataDuplication.js";
+import { checkFunctionNotObject } from "./functionNotObject.js";
+import { checkEmptyObjectFill } from "./emptyObjectFill.js";
+import { checkCollectionWrapperWithoutBehavior } from "./collectionWrapper.js";
+import { checkPrimitiveWrapperWithoutInvariant } from "./primitiveWrapper.js";
+import { checkStrategyAsymmetry } from "./strategyAsymmetry.js";
+import { checkFunctionDecompositionExcess } from "./functionDecompositionExcess.js";
+import { checkDualPurposeKnowing } from "./dualUseKnowing.js";
+import { checkSingletonStatefulHolder } from "./singletonStatefulHolder.js";
+import { checkPresentationInDomain } from "./presentationInDomain.js";
+export const DEFAULT_THRESHOLDS = {
+    god_object_responsibilities: 7,
+    god_object_collaborators: 6,
+    cohesion_min_overlap: 0.2,
+    too_many_collaborators: 4,
+    mocking_pressure_max: 2,
+    data_duplication_overlap: 0.5,
+};
+export const ALL_RULE_IDS = [
+    "god-object",
+    "low-cohesion",
+    "too-many-collaborators",
+    "non-newable",
+    "side-effect-in-holder",
+    "mocking-pressure",
+    "cycle",
+    "mixed-stereotype",
+    "feature-envy",
+    "orphan-class",
+    "vague-class-name",
+    "validation-misplacement",
+    "dependency-direction",
+    "data-source-duplication",
+    "function-not-object",
+    "empty-object-external-fill",
+    "collection-wrapper-without-behavior",
+    "primitive-wrapper-without-invariant",
+    "strategy-default-param-pollution",
+    "function-decomposition-excess",
+    "dual-purpose-knowing",
+    "singleton-stateful-holder",
+    "presentation-in-domain",
+];
+const COORDINATING_VERBS = /(조율|진행|호출|위임|보고|순서)/;
+function checkMixedStereotype(design) {
+    const out = [];
+    for (const card of design.classes) {
+        if (card.stereotype === "Coordinator")
+            continue;
+        const hasKnowing = card.responsibilities.knowing.length > 0;
+        const hasDoing = card.responsibilities.doing.length > 0;
+        const hasCoord = card.responsibilities.doing.some((d) => COORDINATING_VERBS.test(d));
+        if (!(hasKnowing && hasDoing && hasCoord))
+            continue;
+        out.push(assertHasMultipleRemedies({
+            rule_id: "mixed-stereotype",
+            severity: "warn",
+            target: { kind: "class", id: card.id },
+            message: `${card.name}은 ${card.stereotype}로 분류되어 있지만 knowing/doing/coordinating 책임을 모두 가집니다.`,
+            evidence: { stereotype: card.stereotype },
+            remedies: [
+                {
+                    label: "Coordinator로 재분류",
+                    summary: "조율이 본질이라면 Stereotype을 Coordinator로 바꾸고 도메인 계산은 위임한다.",
+                    tradeoffs: { pros: ["역할이 명확"], cons: ["기존 호출자 기대가 깨질 수 있음"] },
+                },
+                {
+                    label: "별도 Coordinator 추출",
+                    summary: "현재 클래스는 본래 역할(예: ServiceProvider)을 유지하고, 새 Coordinator가 호출 순서를 책임진다.",
+                    tradeoffs: { pros: ["단일 책임 보존"], cons: ["객체 수 증가"] },
+                },
+                {
+                    label: "조율 책임을 협력자에게 이전 (Tell-Don't-Ask)",
+                    summary: "현재 클래스가 데이터 소유자에게 작업을 위임하도록 메시지 방향을 뒤집는다.",
+                    tradeoffs: { pros: ["조회 메시지 감소", "데이터 곁에 행위"], cons: ["협력자가 무거워질 수 있음"] },
+                },
+            ],
+        }));
+    }
+    return out;
+}
+function checkFeatureEnvy(design) {
+    const cards = design.classes;
+    const out = [];
+    const knowingOf = new Map();
+    for (const c of cards)
+        knowingOf.set(c.name, c.responsibilities.knowing);
+    for (const card of cards) {
+        const ownTokens = new Set(card.responsibilities.knowing.join(" ").toLowerCase().split(/\s+/));
+        for (const doing of card.responsibilities.doing) {
+            const text = doing.toLowerCase();
+            let bestOther = null;
+            let ownScore = 0;
+            for (const t of ownTokens)
+                if (t.length > 2 && text.includes(t))
+                    ownScore++;
+            for (const c of cards) {
+                if (c.id === card.id)
+                    continue;
+                let s = 0;
+                for (const k of c.responsibilities.knowing) {
+                    const norm = k.toLowerCase();
+                    for (const tok of norm.split(/\s+/))
+                        if (tok.length > 2 && text.includes(tok))
+                            s++;
+                }
+                if (s > 0 && (!bestOther || s > bestOther.score))
+                    bestOther = { name: c.name, score: s };
+            }
+            if (bestOther && bestOther.score > ownScore && bestOther.score >= 2) {
+                out.push(assertHasMultipleRemedies({
+                    rule_id: "feature-envy",
+                    severity: "warn",
+                    target: { kind: "class", id: card.id },
+                    message: `${card.name}의 "${doing}" 책임이 자신보다 ${bestOther.name}의 knowing을 더 많이 참조합니다.`,
+                    evidence: {
+                        other: bestOther.name,
+                        otherScore: bestOther.score,
+                        ownScore,
+                        guideline: "@laco-dev (woowacourse-kotlin-blackjack krrong/19): \"몇 개 일치하는지 요청해서 결과를 받아오도록 해보세요. 객체지향 프로그래밍에서는 이 개념을 메시지를 보낸다 라고 표현합니다.\" " +
+                            "@BeokBeok (EmilyCh0/38): \"내 카드들의 정보를 넘겨줄테니 블랙잭인지 알려줘.\" — " +
+                            "외부에서 객체 데이터를 *꺼내 처리*하는 코드는 거의 항상 *메시지로 다시 쓸 수 있다*. Judge.judge / Outcome.of 같은 외부 비교자는 잘못된 첫 답.",
+                    },
+                    remedies: [
+                        {
+                            label: `책임을 ${bestOther.name}로 이전 (Tell-Don't-Ask)`,
+                            summary: "데이터 곁으로 행위를 옮긴다.",
+                            tradeoffs: {
+                                pros: ["조회 메시지 감소", "응집도 향상"],
+                                cons: [`${bestOther.name}이 비대해질 수 있음`],
+                            },
+                        },
+                        {
+                            label: "두 개념을 합쳐 새 클래스로 추출",
+                            summary: "양쪽 모두에 걸친 책임이라면 새 ServiceProvider를 만든다.",
+                            tradeoffs: { pros: ["역할 명확"], cons: ["객체 수 증가"] },
+                        },
+                        {
+                            label: "조회 메시지를 명시하고 현재 위치 유지",
+                            summary: "결합을 받아들이고 명시적인 query 협력으로 둔다.",
+                            tradeoffs: { pros: ["변경 최소"], cons: ["Tell-Don't-Ask 원칙 위배"] },
+                        },
+                    ],
+                }));
+                break;
+            }
+        }
+    }
+    return out;
+}
+function checkOrphan(design) {
+    const out = [];
+    const referencedByUseCase = new Set();
+    for (const uc of design.use_cases)
+        for (const id of uc.related_classes)
+            referencedByUseCase.add(id);
+    const referencedByCollab = new Set();
+    for (const c of design.collaborations) {
+        referencedByCollab.add(c.from);
+        referencedByCollab.add(c.to);
+    }
+    for (const card of design.classes) {
+        // collaboration의 from/to는 id 또는 name으로 올 수 있다(모델이 이름으로 정의하기도 함).
+        // id만 비교하면 협력 대상(to)인 클래스가 false orphan으로 잡힌다 → id·name 둘 다 확인.
+        const hasCollab = card.collaborators.length > 0 ||
+            referencedByCollab.has(card.id) ||
+            referencedByCollab.has(card.name);
+        const hasUseCase = referencedByUseCase.has(card.id);
+        if (hasCollab || hasUseCase)
+            continue;
+        out.push(assertHasMultipleRemedies({
+            rule_id: "orphan-class",
+            severity: "info",
+            target: { kind: "class", id: card.id },
+            message: `${card.name}은 어떤 협력자도 유스케이스도 참조하지 않습니다.`,
+            evidence: {},
+            remedies: [
+                {
+                    label: "삭제",
+                    summary: "정말 사용처가 없다면 제거한다.",
+                    tradeoffs: { pros: ["YAGNI 준수"], cons: ["미래 사용처를 잘못 추측한 경우 재추가 비용"] },
+                },
+                {
+                    label: "유스케이스에 연결",
+                    summary: "어떤 유스케이스가 이 클래스를 필요로 하는지 명시한다.",
+                    tradeoffs: { pros: ["설계 의도 회복"], cons: ["맞는 유스케이스가 없으면 강제 연결"] },
+                },
+                {
+                    label: "미사용 표시(notes)와 함께 유지",
+                    summary: "미래 확장을 위해 의도적으로 둔다면 notes에 사유를 적는다.",
+                    tradeoffs: { pros: ["맥락 보존"], cons: ["추측 기반 설계"] },
+                },
+            ],
+        }));
+    }
+    return out;
+}
+export function validateDesign(design, opts = {}) {
+    const enabled = new Set(opts.rules ?? ALL_RULE_IDS);
+    const thresholds = { ...DEFAULT_THRESHOLDS, ...(opts.thresholds ?? {}) };
+    const findings = [];
+    if (enabled.has("god-object"))
+        findings.push(...checkGodObject(design, {
+            responsibilities: thresholds.god_object_responsibilities,
+            collaborators: thresholds.god_object_collaborators,
+        }));
+    if (enabled.has("low-cohesion"))
+        findings.push(...checkCohesion(design, thresholds.cohesion_min_overlap));
+    if (enabled.has("too-many-collaborators"))
+        findings.push(...checkCoupling(design, thresholds.too_many_collaborators));
+    if (enabled.has("non-newable"))
+        findings.push(...checkNonNewable(design));
+    if (enabled.has("side-effect-in-holder"))
+        findings.push(...checkSideEffectInHolder(design));
+    if (enabled.has("mocking-pressure"))
+        findings.push(...checkMockingPressure(design, thresholds.mocking_pressure_max));
+    if (enabled.has("cycle"))
+        findings.push(...checkCycles(design));
+    if (enabled.has("mixed-stereotype"))
+        findings.push(...checkMixedStereotype(design));
+    if (enabled.has("feature-envy"))
+        findings.push(...checkFeatureEnvy(design));
+    if (enabled.has("orphan-class"))
+        findings.push(...checkOrphan(design));
+    if (enabled.has("vague-class-name"))
+        findings.push(...checkVagueClassName(design));
+    if (enabled.has("validation-misplacement"))
+        findings.push(...checkValidationLocation(design));
+    if (enabled.has("dependency-direction"))
+        findings.push(...checkDependencyDirection(design));
+    if (enabled.has("data-source-duplication"))
+        findings.push(...checkDataSourceDuplication(design, thresholds.data_duplication_overlap));
+    if (enabled.has("function-not-object"))
+        findings.push(...checkFunctionNotObject(design));
+    if (enabled.has("empty-object-external-fill"))
+        findings.push(...checkEmptyObjectFill(design));
+    if (enabled.has("collection-wrapper-without-behavior"))
+        findings.push(...checkCollectionWrapperWithoutBehavior(design));
+    if (enabled.has("primitive-wrapper-without-invariant"))
+        findings.push(...checkPrimitiveWrapperWithoutInvariant(design));
+    if (enabled.has("strategy-default-param-pollution"))
+        findings.push(...checkStrategyAsymmetry(design));
+    if (enabled.has("function-decomposition-excess"))
+        findings.push(...checkFunctionDecompositionExcess(design));
+    if (enabled.has("dual-purpose-knowing"))
+        findings.push(...checkDualPurposeKnowing(design));
+    if (enabled.has("singleton-stateful-holder"))
+        findings.push(...checkSingletonStatefulHolder(design));
+    if (enabled.has("presentation-in-domain"))
+        findings.push(...checkPresentationInDomain(design));
+    const sevMin = opts.severityMin ?? "info";
+    return findings.filter((f) => severityAtLeast(f.severity, sevMin));
+}
+export function summarize(findings) {
+    const out = { error: 0, warn: 0, info: 0 };
+    for (const f of findings)
+        out[f.severity]++;
+    return out;
+}
+//# sourceMappingURL=rules.js.map

package/dist/validate/rules.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rules.js","sourceRoot":"","sources":["../../src/validate/rules.ts"],"names":[],"mappings":"AACA,OAAO,EAGL,eAAe,EACf,yBAAyB,GAC1B,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EACL,eAAe,EACf,uBAAuB,EACvB,oBAAoB,GACrB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AACzC,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AACrD,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAClE,OAAO,EAAE,wBAAwB,EAAE,MAAM,0BAA0B,CAAC;AACpE,OAAO,EAAE,0BAA0B,EAAE,MAAM,sBAAsB,CAAC;AAClE,OAAO,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAChE,OAAO,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,EAAE,qCAAqC,EAAE,MAAM,wBAAwB,CAAC;AAC/E,OAAO,EAAE,qCAAqC,EAAE,MAAM,uBAAuB,CAAC;AAC9E,OAAO,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAChE,OAAO,EAAE,gCAAgC,EAAE,MAAM,kCAAkC,CAAC;AACpF,OAAO,EAAE,uBAAuB,EAAE,MAAM,qBAAqB,CAAC;AAC9D,OAAO,EAAE,4BAA4B,EAAE,MAAM,8BAA8B,CAAC;AAC5E,OAAO,EAAE,yBAAyB,EAAE,MAAM,2BAA2B,CAAC;AAWtE,MAAM,CAAC,MAAM,kBAAkB,GAAmB;IAChD,2BAA2B,EAAE,CAAC;IAC9B,wBAAwB,EAAE,CAAC;IAC3B,oBAAoB,EAAE,GAAG;IACzB,sBAAsB,EAAE,CAAC;IACzB,oBAAoB,EAAE,CAAC;IACvB,wBAAwB,EAAE,GAAG;CAC9B,CAAC;AAEF,MAAM,CAAC,MAAM,YAAY,GAAG;IAC1B,YAAY;IACZ,cAAc;IACd,wBAAwB;IACxB,aAAa;IACb,uBAAuB;IACvB,kBAAkB;IAClB,OAAO;IACP,kBAAkB;IAClB,cAAc;IACd,cAAc;IACd,kBAAkB;IAClB,yBAAyB;IACzB,sBAAsB;IACtB,yBAAyB;IACzB,qBAAqB;IACrB,4BAA4B;IAC5B,qCAAqC;IACrC,qCAAqC;IACrC,kCAAkC;IAClC,+BAA+B;IAC/B,sBAAsB;IACtB,2BAA2B;IAC3B,wBAAwB;CAChB,CAAC;AAIX,MAAM,kBAAkB,GAAG,qBAAqB,CAAC;AAEjD,SAAS,oBAAoB,CAAC,MAAc;IAC1C,MAAM,GAAG,GAAc,EAAE,CAAC;IAC1B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QAClC,IAAI,IAAI,CAAC,UAAU,KAAK,aAAa;YAAE,SAAS;QAChD,MAAM,UAAU,GAAG,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;QAC5D,MAAM,QAAQ,GAAG,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QACxD,MAAM,QAAQ,GAAG,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACrF,IAAI,CAAC,CAAC,UAAU,IAAI,QAAQ,IAAI,QAAQ,CAAC;YAAE,SAAS;QACpD,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,KAAK,IAAI,CAAC,UAAU,oDAAoD;YACtF,QAAQ,EAAE,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE;YACzC,QAAQ,EAAE;gBACR;oBACE,KAAK,EAAE,kBAAkB;oBACzB,OAAO,EAAE,sDAAsD;oBAC/D,SAAS,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAC,oBAAoB,CAAC,EAAE;iBAC9D;gBACD;oBACE,KAAK,EAAE,mBAAmB;oBAC1B,OAAO,EAAE,sEAAsE;oBAC/E,SAAS,EAAE,EAAE,IAAI,EAAE,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,CAAC,SAAS,CAAC,EAAE;iBACrD;gBACD;oBACE,KAAK,EAAE,kCAAkC;oBACzC,OAAO,EAAE,2CAA2C;oBACpD,SAAS,EAAE,EAAE,IAAI,EAAE,CAAC,WAAW,EAAE,WAAW,CAAC,EAAE,IAAI,EAAE,CAAC,gBAAgB,CAAC,EAAE;iBAC1E;aACF;SACF,CAAC,CACH,CAAC;IACJ,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,gBAAgB,CAAC,MAAc;IACtC,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC;IAC7B,MAAM,GAAG,GAAc,EAAE,CAAC;IAC1B,MAAM,SAAS,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC9C,KAAK,MAAM,CAAC,IAAI,KAAK;QAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC;IAEzE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;QAC9F,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,CAAC;YAChD,MAAM,IAAI,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC;YACjC,IAAI,SAAS,GAA2C,IAAI,CAAC;YAC7D,IAAI,QAAQ,GAAG,CAAC,CAAC;YACjB,KAAK,MAAM,CAAC,IAAI,SAAS;gBAAE,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;oBAAE,QAAQ,EAAE,CAAC;YAC5E,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;gBACtB,IAAI,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE;oBAAE,SAAS;gBAC/B,IAAI,CAAC,GAAG,CAAC,CAAC;gBACV,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,gBAAgB,CAAC,OAAO,EAAE,CAAC;oBAC3C,MAAM,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;oBAC7B,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;wBACjC,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;4BAAE,CAAC,EAAE,CAAC;gBAClD,CAAC;gBACD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,SAAS,IAAI,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC;oBAAE,SAAS,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;YAC3F,CAAC;YACD,IAAI,SAAS,IAAI,SAAS,CAAC,KAAK,GAAG,QAAQ,IAAI,SAAS,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC;gBACpE,GAAG,CAAC,IAAI,CACN,yBAAyB,CAAC;oBACxB,OAAO,EAAE,cAAc;oBACvB,QAAQ,EAAE,MAAM;oBAChB,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE;oBACtC,OAAO,EACL,GAAG,IAAI,CAAC,IAAI,MAAM,KAAK,cAAc,SAAS,CAAC,IAAI,wBAAwB;oBAC7E,QAAQ,EAAE;wBACR,KAAK,EAAE,SAAS,CAAC,IAAI;wBACrB,UAAU,EAAE,SAAS,CAAC,KAAK;wBAC3B,QAAQ;wBACR,SAAS,EACP,gIAAgI;4BAChI,6DAA6D;4BAC7D,iGAAiG;qBACpG;oBACD,QAAQ,EAAE;wBACR;4BACE,KAAK,EAAE,OAAO,SAAS,CAAC,IAAI,uBAAuB;4BACnD,OAAO,EAAE,kBAAkB;4BAC3B,SAAS,EAAE;gCACT,IAAI,EAAE,CAAC,WAAW,EAAE,QAAQ,CAAC;gCAC7B,IAAI,EAAE,CAAC,GAAG,SAAS,CAAC,IAAI,aAAa,CAAC;6BACvC;yBACF;wBACD;4BACE,KAAK,EAAE,oBAAoB;4BAC3B,OAAO,EAAE,yCAAyC;4BAClD,SAAS,EAAE,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,CAAC,SAAS,CAAC,EAAE;yBAClD;wBACD;4BACE,KAAK,EAAE,uBAAuB;4BAC9B,OAAO,EAAE,+BAA+B;4BACxC,SAAS,EAAE,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,CAAC,sBAAsB,CAAC,EAAE;yBAC/D;qBACF;iBACF,CAAC,CACH,CAAC;gBACF,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,WAAW,CAAC,MAAc;IACjC,MAAM,GAAG,GAAc,EAAE,CAAC;IAC1B,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9C,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,SAAS;QAAE,KAAK,MAAM,EAAE,IAAI,EAAE,CAAC,eAAe;YAAE,mBAAmB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACpG,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,cAAc,EAAE,CAAC;QACtC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC/B,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC/B,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QAClC,iEAAiE;QACjE,gEAAgE;QAChE,MAAM,SAAS,GACb,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC;YAC7B,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpC,MAAM,UAAU,GAAG,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACpD,IAAI,SAAS,IAAI,UAAU;YAAE,SAAS;QACtC,GAAG,CAAC,IAAI,CACN,yBAAyB,CAAC;YACxB,OAAO,EAAE,cAAc;YACvB,QAAQ,EAAE,MAAM;YAChB,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE;YACtC,OAAO,EAAE,GAAG,IAAI,CAAC,IAAI,6BAA6B;YAClD,QAAQ,EAAE,EAAE;YACZ,QAAQ,EAAE;gBACR;oBACE,KAAK,EAAE,IAAI;oBACX,OAAO,EAAE,mBAAmB;oBAC5B,SAAS,EAAE,EAAE,IAAI,EAAE,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,CAAC,0BAA0B,CAAC,EAAE;iBACtE;gBACD;oBACE,KAAK,EAAE,WAAW;oBAClB,OAAO,EAAE,gCAAgC;oBACzC,SAAS,EAAE,EAAE,IAAI,EAAE,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,CAAC,qBAAqB,CAAC,EAAE;iBACjE;gBACD;oBACE,KAAK,EAAE,sBAAsB;oBAC7B,OAAO,EAAE,qCAAqC;oBAC9C,SAAS,EAAE,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,CAAC,UAAU,CAAC,EAAE;iBACnD;aACF;SACF,CAAC,CACH,CAAC;IACJ,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAQD,MAAM,UAAU,cAAc,CAAC,MAAc,EAAE,OAAwB,EAAE;IACvE,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS,IAAI,CAAC,KAAK,IAAI,YAAY,CAAC,CAAC;IAC5D,MAAM,UAAU,GAAmB,EAAE,GAAG,kBAAkB,EAAE,GAAG,CAAC,IAAI,CAAC,UAAU,IAAI,EAAE,CAAC,EAAE,CAAC;IAEzF,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,IAAI,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC;QAC3B,QAAQ,CAAC,IAAI,CACX,GAAG,cAAc,CAAC,MAAM,EAAE;YACxB,gBAAgB,EAAE,UAAU,CAAC,2BAA2B;YACxD,aAAa,EAAE,UAAU,CAAC,wBAAwB;SACnD,CAAC,CACH,CAAC;IACJ,IAAI,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC;QAC7B,QAAQ,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,MAAM,EAAE,UAAU,CAAC,oBAAoB,CAAC,CAAC,CAAC;IAC3E,IAAI,OAAO,CAAC,GAAG,CAAC,wBAAwB,CAAC;QACvC,QAAQ,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,MAAM,EAAE,UAAU,CAAC,sBAAsB,CAAC,CAAC,CAAC;IAC7E,IAAI,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC;IAC1E,IAAI,OAAO,CAAC,GAAG,CAAC,uBAAuB,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC,CAAC;IAC5F,IAAI,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC;QACjC,QAAQ,CAAC,IAAI,CAAC,GAAG,oBAAoB,CAAC,MAAM,EAAE,UAAU,CAAC,oBAAoB,CAAC,CAAC,CAAC;IAClF,IAAI,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;IAChE,IAAI,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC,CAAC;IACpF,IAAI,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC;IAC5E,IAAI,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;IACvE,IAAI,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC;IACnF,IAAI,OAAO,CAAC,GAAG,CAAC,yBAAyB,CAAC;QACxC,QAAQ,CAAC,IAAI,CAAC,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC,CAAC;IACpD,IAAI,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC;QACrC,QAAQ,CAAC,IAAI,CAAC,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC,CAAC;IACrD,IAAI,OAAO,CAAC,GAAG,CAAC,yBAAyB,CAAC;QACxC,QAAQ,CAAC,IAAI,CACX,GAAG,0BAA0B,CAAC,MAAM,EAAE,UAAU,CAAC,wBAAwB,CAAC,CAC3E,CAAC;IACJ,IAAI,OAAO,CAAC,GAAG,CAAC,qBAAqB,CAAC;QACpC,QAAQ,CAAC,IAAI,CAAC,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC,CAAC;IACnD,IAAI,OAAO,CAAC,GAAG,CAAC,4BAA4B,CAAC;QAC3C,QAAQ,CAAC,IAAI,CAAC,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC,CAAC;IACjD,IAAI,OAAO,CAAC,GAAG,CAAC,qCAAqC,CAAC;QACpD,QAAQ,CAAC,IAAI,CAAC,GAAG,qCAAqC,CAAC,MAAM,CAAC,CAAC,CAAC;IAClE,IAAI,OAAO,CAAC,GAAG,CAAC,qCAAqC,CAAC;QACpD,QAAQ,CAAC,IAAI,CAAC,GAAG,qCAAqC,CAAC,MAAM,CAAC,CAAC,CAAC;IAClE,IAAI,OAAO,CAAC,GAAG,CAAC,kCAAkC,CAAC;QACjD,QAAQ,CAAC,IAAI,CAAC,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC,CAAC;IACnD,IAAI,OAAO,CAAC,GAAG,CAAC,+BAA+B,CAAC;QAC9C,QAAQ,CAAC,IAAI,CAAC,GAAG,gCAAgC,CAAC,MAAM,CAAC,CAAC,CAAC;IAC7D,IAAI,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC;QACrC,QAAQ,CAAC,IAAI,CAAC,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC,CAAC;IACpD,IAAI,OAAO,CAAC,GAAG,CAAC,2BAA2B,CAAC;QAC1C,QAAQ,CAAC,IAAI,CAAC,GAAG,4BAA4B,CAAC,MAAM,CAAC,CAAC,CAAC;IACzD,IAAI,OAAO,CAAC,GAAG,CAAC,wBAAwB,CAAC;QACvC,QAAQ,CAAC,IAAI,CAAC,GAAG,yBAAyB,CAAC,MAAM,CAAC,CAAC,CAAC;IAEtD,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,IAAI,MAAM,CAAC;IAC1C,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;AACrE,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,QAAmB;IAC3C,MAAM,GAAG,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;IAC3C,KAAK,MAAM,CAAC,IAAI,QAAQ;QAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC;IAC5C,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/validate/singletonStatefulHolder.d.ts

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

package/dist/validate/singletonStatefulHolder.js

@@ -0,0 +1,128 @@
+import { assertHasMultipleRemedies } from "./findings.js";
+// 도메인 상태를 보유한 *전역 객체* (Kotlin `object`, static singleton 등) 안티패턴.
+// *테스터빌리티 손상* (테스트 격리 불가) + *재초기화 강제* (2회 이상 사용 불가) + *DI 불가* (전략 주입 막힘).
+//
+// 근거: lessons/woowacourse-kotlin-blackjack 다수 PR — `object Deck` 패턴 반복.
+// @malibinYun (krrong/46): "덱을 다시 채워야 할 수도 있고, 한 게임은 여러 벌의 카드로 진행을 하는
+//                          요구사항이 생길 수도 있어요. 정말 53번 뽑으면 오류가 발생해야 할까요?"
+const SINGLETON_NOTE_PATTERNS = [
+    "singleton",
+    "object 키워드",
+    "object keyword",
+    "전역",
+    "글로벌",
+    "global",
+];
+const MUTABLE_STATE_PATTERNS = [
+    "mutable",
+    "mutablelist",
+    "mutablemap",
+    "mutableset",
+    "arraydeque",
+    "가변",
+    "변경 가능",
+    "변경가능",
+];
+function noteMatchesSingleton(notes) {
+    if (!notes)
+        return false;
+    const lower = notes.toLowerCase();
+    return SINGLETON_NOTE_PATTERNS.some((p) => lower.includes(p));
+}
+function nameMatchesSingleton(name) {
+    const lower = name.toLowerCase();
+    return lower.includes("singleton") || lower.includes("global");
+}
+function findMutableKnowing(knowing) {
+    for (const k of knowing) {
+        const lower = k.toLowerCase();
+        for (const p of MUTABLE_STATE_PATTERNS) {
+            if (lower.includes(p))
+                return k;
+        }
+    }
+    return null;
+}
+export function checkSingletonStatefulHolder(design) {
+    const out = [];
+    for (const card of design.classes) {
+        if (card.stereotype !== "InformationHolder" &&
+            card.stereotype !== "Structurer")
+            continue;
+        const singletonByName = nameMatchesSingleton(card.name);
+        const singletonByNotes = noteMatchesSingleton(card.notes);
+        if (!singletonByName && !singletonByNotes)
+            continue;
+        const mutableKnowing = findMutableKnowing(card.responsibilities.knowing);
+        if (!mutableKnowing)
+            continue;
+        out.push(assertHasMultipleRemedies({
+            rule_id: "singleton-stateful-holder",
+            severity: "warn",
+            target: { kind: "class", id: card.id },
+            message: `${card.name}은(는) *도메인 상태*를 보유한 *전역 객체*입니다. ` +
+                `*테스트 격리 불가* + *재초기화 강제* + *전략 주입 막힘*. ` +
+                `객체지향에서 *상태가 있는 객체*는 *인스턴스화 가능*해야 한다.`,
+            evidence: {
+                stereotype: card.stereotype,
+                singleton_signal: singletonByName ? "name" : "notes",
+                mutable_knowing: mutableKnowing,
+                guideline: "@malibinYun (woowacourse-kotlin-blackjack krrong/46): " +
+                    "\"덱을 다시 채워야 할 수도 있고, 한 게임은 여러 벌의 카드로 진행을 하는 요구사항이 생길 수도 있어요. " +
+                    "정말 53번 뽑으면 오류가 발생해야 할까요?\" " +
+                    "— 전역 가변 상태는 *테스트 격리 + 다회 사용 + 전략 주입* 셋 모두 막는다.",
+            },
+            remedies: [
+                {
+                    label: "일반 class 로 강등 + 생성자 주입",
+                    summary: `${card.name}을 \`object\`/Singleton 에서 일반 \`class\`로 강등하고, 상태(데이터)는 ` +
+                        `생성자로 주입한다. 호출자는 *원하는 상태*로 인스턴스 생성. 테스트는 *원하는 fixture* 로.`,
+                    tradeoffs: {
+                        pros: [
+                            "*테스트 격리* 회복 — 각 테스트가 자기 인스턴스를 가짐",
+                            "*다회 사용* 가능 — 새 인스턴스 = 새 상태",
+                            "*전략 주입* 가능 (다른 fill strategy / 다른 초기 상태)",
+                        ],
+                        cons: [
+                            "*호출 지점* 마다 인스턴스 생성/공유 결정 비용",
+                            "*기본 인스턴스* 가 필요하다면 공통 팩토리 추가 필요",
+                        ],
+                    },
+                },
+                {
+                    label: "전략 객체 주입으로 분리 (DI)",
+                    summary: `${card.name}이 *상태 자체*가 아니라 *상태 생성 전략*을 인자로 받게 한다. ` +
+                        `상태 보유는 인스턴스에 두되, *어떻게 만드는가*는 외부 결정.`,
+                    tradeoffs: {
+                        pros: [
+                            "*테스트용 stub 주입* 자연스러움",
+                            "*기본 동작*과 *특수 동작* 양립 가능",
+                            "*확장점*이 코드에 명시",
+                        ],
+                        cons: [
+                            "전략 인터페이스 추가 비용",
+                            "단순 케이스에는 과설계",
+                        ],
+                    },
+                },
+                {
+                    label: "상태를 호출처로 끌어올리기 (외부 소유)",
+                    summary: `${card.name}은 *상태 없는 함수 집합*으로 두고, 상태는 *호출 측*이 들고 다닌다. ` +
+                        `호출 시 상태 인스턴스를 인자로 전달.`,
+                    tradeoffs: {
+                        pros: [
+                            "전역 상태 완전 제거",
+                            "함수형 스타일과 결합 자연",
+                        ],
+                        cons: [
+                            "*상태 책임이 호출처에 분산* — 객체지향 응집 ↓",
+                            "Tell-Don't-Ask 원칙 약화",
+                        ],
+                    },
+                },
+            ],
+        }));
+    }
+    return out;
+}
+//# sourceMappingURL=singletonStatefulHolder.js.map

package/dist/validate/singletonStatefulHolder.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"singletonStatefulHolder.js","sourceRoot":"","sources":["../../src/validate/singletonStatefulHolder.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,yBAAyB,EAAE,MAAM,eAAe,CAAC;AAE1D,kEAAkE;AAClE,0EAA0E;AAC1E,EAAE;AACF,wEAAwE;AACxE,sEAAsE;AACtE,sEAAsE;AAEtE,MAAM,uBAAuB,GAAG;IAC9B,WAAW;IACX,YAAY;IACZ,gBAAgB;IAChB,IAAI;IACJ,KAAK;IACL,QAAQ;CACT,CAAC;AAEF,MAAM,sBAAsB,GAAG;IAC7B,SAAS;IACT,aAAa;IACb,YAAY;IACZ,YAAY;IACZ,YAAY;IACZ,IAAI;IACJ,OAAO;IACP,MAAM;CACP,CAAC;AAEF,SAAS,oBAAoB,CAAC,KAAc;IAC1C,IAAI,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IACzB,MAAM,KAAK,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC;IAClC,OAAO,uBAAuB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAY;IACxC,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IACjC,OAAO,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,kBAAkB,CAAC,OAAiB;IAC3C,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,MAAM,KAAK,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QAC9B,KAAK,MAAM,CAAC,IAAI,sBAAsB,EAAE,CAAC;YACvC,IAAI,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;gBAAE,OAAO,CAAC,CAAC;QAClC,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,4BAA4B,CAAC,MAAc;IACzD,MAAM,GAAG,GAAc,EAAE,CAAC;IAE1B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QAClC,IACE,IAAI,CAAC,UAAU,KAAK,mBAAmB;YACvC,IAAI,CAAC,UAAU,KAAK,YAAY;YAEhC,SAAS;QAEX,MAAM,eAAe,GAAG,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxD,MAAM,gBAAgB,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1D,IAAI,CAAC,eAAe,IAAI,CAAC,gBAAgB;YAAE,SAAS;QAEpD,MAAM,cAAc,GAAG,kBAAkB,CAAC,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC;QACzE,IAAI,CAAC,cAAc;YAAE,SAAS;QAE9B,GAAG,CAAC,IAAI,CACN,yBAAyB,CAAC;YACxB,OAAO,EAAE,2BAA2B;YACpC,QAAQ,EAAE,MAAM;YAChB,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE;YACtC,OAAO,EACL,GAAG,IAAI,CAAC,IAAI,iCAAiC;gBAC7C,wCAAwC;gBACxC,sCAAsC;YACxC,QAAQ,EAAE;gBACR,UAAU,EAAE,IAAI,CAAC,UAAU;gBAC3B,gBAAgB,EAAE,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO;gBACpD,eAAe,EAAE,cAAc;gBAC/B,SAAS,EACP,wDAAwD;oBACxD,+DAA+D;oBAC/D,6BAA6B;oBAC7B,gDAAgD;aACnD;YACD,QAAQ,EAAE;gBACR;oBACE,KAAK,EAAE,wBAAwB;oBAC/B,OAAO,EACL,GAAG,IAAI,CAAC,IAAI,yDAAyD;wBACrE,0DAA0D;oBAC5D,SAAS,EAAE;wBACT,IAAI,EAAE;4BACJ,kCAAkC;4BAClC,4BAA4B;4BAC5B,0CAA0C;yBAC3C;wBACD,IAAI,EAAE;4BACJ,6BAA6B;4BAC7B,gCAAgC;yBACjC;qBACF;iBACF;gBACD;oBACE,KAAK,EAAE,oBAAoB;oBAC3B,OAAO,EACL,GAAG,IAAI,CAAC,IAAI,wCAAwC;wBACpD,qCAAqC;oBACvC,SAAS,EAAE;wBACT,IAAI,EAAE;4BACJ,sBAAsB;4BACtB,wBAAwB;4BACxB,eAAe;yBAChB;wBACD,IAAI,EAAE;4BACJ,gBAAgB;4BAChB,cAAc;yBACf;qBACF;iBACF;gBACD;oBACE,KAAK,EAAE,wBAAwB;oBAC/B,OAAO,EACL,GAAG,IAAI,CAAC,IAAI,4CAA4C;wBACxD,uBAAuB;oBACzB,SAAS,EAAE;wBACT,IAAI,EAAE;4BACJ,aAAa;4BACb,gBAAgB;yBACjB;wBACD,IAAI,EAAE;4BACJ,8BAA8B;4BAC9B,sBAAsB;yBACvB;qBACF;iBACF;aACF;SACF,CAAC,CACH,CAAC;IACJ,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/validate/strategyAsymmetry.d.ts

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