@nielspeter/eess-ts 0.1.0

package/dist/conditions/members.js

@@ -0,0 +1,224 @@
+import { Node, } from 'ts-morph';
+import { createViolation, getElementName } from '../core/violation.js';
+import { elementCondition } from './helpers.js';
+/**
+ * Extract property symbols from a property-bearing node.
+ * Resolves through the type system (handles Partial<>, Pick<>, etc.).
+ */
+function getPropertySymbols(node) {
+    return node.getType().getProperties();
+}
+/**
+ * Check if a property symbol is readonly.
+ *
+ * Strategy:
+ * 1. Check direct declarations — works for explicit `readonly` on
+ *    interface properties and class properties.
+ * 2. For mapped types like Readonly<T>, declarations point to the
+ *    source type where isReadonly() returns false. Fall back to the
+ *    TypeScript compiler's internal CheckFlags.Readonly (bit 3 = 8)
+ *    on the symbol's links.
+ *
+ * Spike test confirmed: for Readonly<T>, Symbol.getDeclarations()
+ * returns the inner type's declarations (not readonly), but
+ * compilerSymbol.links.checkFlags has the Readonly bit set (8).
+ */
+function isPropertyReadonly(prop) {
+    // Strategy 1: Check direct declarations for explicit `readonly` keyword.
+    // Works for interface properties and class properties that are directly
+    // declared with the readonly modifier.
+    const decls = prop.getDeclarations();
+    for (const d of decls) {
+        if (Node.isPropertySignature(d) || Node.isPropertyDeclaration(d)) {
+            if (d.isReadonly())
+                return true;
+        }
+    }
+    // Strategy 2: Check TS compiler's CheckFlags.Readonly (bit 3 = 8).
+    // For mapped types like Readonly<T>, Symbol.getDeclarations() returns
+    // the *original* type's declarations where isReadonly() is false,
+    // but the compiler tracks the readonly modifier on the symbol itself.
+    //
+    // Spike results (ts-morph 27 / TS ~5.9):
+    //   Readonly<{a: string}>.a → decl.isReadonly() = false, but
+    //   compilerSymbol.links.checkFlags & 8 = 8 (readonly)
+    //
+    // eess-exclude eess/adr005-no-type-assertions: reaches TS compiler-internal Symbol.links (not on the public ts.Symbol type) to read CheckFlags for mapped-type readonly detection
+    const links = prop.compilerSymbol.links;
+    if (typeof links === 'object' && links !== null && 'checkFlags' in links) {
+        const flags = links.checkFlags;
+        if (typeof flags === 'number' && (flags & 8) !== 0) {
+            return true;
+        }
+    }
+    // Conservative: treat as mutable if neither strategy detected readonly.
+    return false;
+}
+/**
+ * Assert that all named properties exist on the element.
+ * Every name must be present — violation per missing name.
+ *
+ * @param names At least one property name required. Throws if called with zero arguments.
+ *
+ * @example
+ * types(p).that().haveNameMatching(/Config$/)
+ *   .should().havePropertyNamed('version', 'name')
+ *   .check()
+ */
+export function havePropertyNamed(...names) {
+    if (names.length === 0) {
+        throw new Error('havePropertyNamed() requires at least one property name');
+    }
+    const quotedNames = names.map((n) => `"${n}"`).join(', ');
+    return {
+        description: `have properties named ${quotedNames}`,
+        evaluate(elements, context) {
+            const violations = [];
+            for (const element of elements) {
+                const props = getPropertySymbols(element);
+                const propNames = new Set(props.map((p) => p.getName()));
+                for (const name of names) {
+                    if (!propNames.has(name)) {
+                        violations.push(createViolation(element, `${getElementName(element)} is missing required property "${name}"`, context));
+                    }
+                }
+            }
+            return violations;
+        },
+    };
+}
+/**
+ * Assert that none of the named properties exist on the element.
+ * Violation per element per forbidden name found.
+ *
+ * @param names At least one property name required. Throws if called with zero arguments.
+ *
+ * @example
+ * types(p).that().resideInFolder('src/api')
+ *   .should().notHavePropertyNamed('offset', 'pageSize', 'page', 'size')
+ *   .because('use skip/limit for pagination')
+ *   .check()
+ */
+export function notHavePropertyNamed(...names) {
+    if (names.length === 0) {
+        throw new Error('notHavePropertyNamed() requires at least one property name');
+    }
+    const nameSet = new Set(names);
+    const quotedNames = names.map((n) => `"${n}"`).join(', ');
+    return {
+        description: `not have properties named ${quotedNames}`,
+        evaluate(elements, context) {
+            const violations = [];
+            for (const element of elements) {
+                const props = getPropertySymbols(element);
+                for (const prop of props) {
+                    if (nameSet.has(prop.getName())) {
+                        violations.push(createViolation(element, `${getElementName(element)} has forbidden property "${prop.getName()}"`, context));
+                    }
+                }
+            }
+            return violations;
+        },
+    };
+}
+/**
+ * Assert at least one property name matches the regex.
+ * Semantics: EXISTS — violation if *no* property name matches.
+ *
+ * Note: this checks for existence of at least one match, unlike
+ * `havePropertyNamed(...names)` which requires ALL names to exist.
+ *
+ * @example
+ * types(p).that().haveNameMatching(/Entity$/)
+ *   .should().havePropertyMatching(/^id$/)
+ *   .check()
+ */
+export function havePropertyMatching(pattern) {
+    return elementCondition(`have a property matching ${String(pattern)}`, (element) => {
+        // Clone regex to avoid /g flag statefulness across calls
+        const re = new RegExp(pattern.source, pattern.flags);
+        const props = getPropertySymbols(element);
+        return props.some((p) => re.test(p.getName()));
+    }, (element) => `${getElementName(element)} has no property matching ${String(pattern)}`);
+}
+/**
+ * Assert no property name matches the regex.
+ * Violation per matching property found.
+ *
+ * @example
+ * types(p).should().notHavePropertyMatching(/^(data|info|stuff|item)$/).check()
+ */
+export function notHavePropertyMatching(pattern) {
+    return {
+        description: `not have properties matching ${String(pattern)}`,
+        evaluate(elements, context) {
+            const violations = [];
+            for (const element of elements) {
+                // Clone regex to avoid /g flag statefulness across elements
+                const re = new RegExp(pattern.source, pattern.flags);
+                const props = getPropertySymbols(element);
+                for (const prop of props) {
+                    if (re.test(prop.getName())) {
+                        violations.push(createViolation(element, `${getElementName(element)} has property "${prop.getName()}" matching ${String(pattern)}`, context));
+                    }
+                }
+            }
+            return violations;
+        },
+    };
+}
+/**
+ * Assert all properties are readonly.
+ *
+ * Checks direct declarations for explicit `readonly` keyword, and
+ * falls back to TypeScript compiler's CheckFlags for mapped types
+ * like Readonly<T>.
+ *
+ * @example
+ * types(p).that().resideInFolder('src/state')
+ *   .should().haveOnlyReadonlyProperties()
+ *   .because('state objects must be immutable')
+ *   .check()
+ */
+export function haveOnlyReadonlyProperties() {
+    return {
+        description: 'have only readonly properties',
+        evaluate(elements, context) {
+            const violations = [];
+            for (const element of elements) {
+                const props = getPropertySymbols(element);
+                for (const prop of props) {
+                    if (!isPropertyReadonly(prop)) {
+                        violations.push(createViolation(element, `${getElementName(element)} has mutable property "${prop.getName()}"`, context));
+                    }
+                }
+            }
+            return violations;
+        },
+    };
+}
+/**
+ * Assert property count does not exceed the maximum.
+ * Detects god objects / oversized DTOs.
+ *
+ * @example
+ * types(p).should().maxProperties(15)
+ *   .because('large interfaces indicate a missing abstraction')
+ *   .check()
+ */
+export function maxProperties(max) {
+    return {
+        description: `have at most ${String(max)} properties`,
+        evaluate(elements, context) {
+            const violations = [];
+            for (const element of elements) {
+                const count = getPropertySymbols(element).length;
+                if (count > max) {
+                    violations.push(createViolation(element, `${getElementName(element)} has ${String(count)} properties, max allowed is ${String(max)}`, context));
+                }
+            }
+            return violations;
+        },
+    };
+}
+//# sourceMappingURL=members.js.map

package/dist/conditions/members.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"members.js","sourceRoot":"","sources":["../../src/conditions/members.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,IAAI,GAKL,MAAM,UAAU,CAAA;AAGjB,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AACtE,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAM/C;;;GAGG;AACH,SAAS,kBAAkB,CAAC,IAAyB;IACnD,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC,aAAa,EAAE,CAAA;AACvC,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,SAAS,kBAAkB,CAAC,IAAc;IACxC,yEAAyE;IACzE,wEAAwE;IACxE,uCAAuC;IACvC,MAAM,KAAK,GAAG,IAAI,CAAC,eAAe,EAAE,CAAA;IACpC,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,IAAI,CAAC,mBAAmB,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,qBAAqB,CAAC,CAAC,CAAC,EAAE,CAAC;YACjE,IAAI,CAAC,CAAC,UAAU,EAAE;gBAAE,OAAO,IAAI,CAAA;QACjC,CAAC;IACH,CAAC;IAED,mEAAmE;IACnE,sEAAsE;IACtE,kEAAkE;IAClE,sEAAsE;IACtE,EAAE;IACF,yCAAyC;IACzC,6DAA6D;IAC7D,uDAAuD;IACvD,EAAE;IACF,kLAAkL;IAClL,MAAM,KAAK,GAAI,IAAI,CAAC,cAAqD,CAAC,KAAK,CAAA;IAC/E,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,YAAY,IAAI,KAAK,EAAE,CAAC;QACzE,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,CAAA;QAC9B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;YACnD,OAAO,IAAI,CAAA;QACb,CAAC;IACH,CAAC;IAED,wEAAwE;IACxE,OAAO,KAAK,CAAA;AACd,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,iBAAiB,CAAC,GAAG,KAAe;IAClD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAA;IAC5E,CAAC;IACD,MAAM,WAAW,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACzD,OAAO;QACL,WAAW,EAAE,yBAAyB,WAAW,EAAE;QACnD,QAAQ,CAAC,QAA+B,EAAE,OAAyB;YACjE,MAAM,UAAU,GAAoB,EAAE,CAAA;YACtC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;gBAC/B,MAAM,KAAK,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAA;gBACzC,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAA;gBACxD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;oBACzB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;wBACzB,UAAU,CAAC,IAAI,CACb,eAAe,CACb,OAAO,EACP,GAAG,cAAc,CAAC,OAAO,CAAC,kCAAkC,IAAI,GAAG,EACnE,OAAO,CACR,CACF,CAAA;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO,UAAU,CAAA;QACnB,CAAC;KACF,CAAA;AACH,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,oBAAoB,CAAC,GAAG,KAAe;IACrD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,4DAA4D,CAAC,CAAA;IAC/E,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAA;IAC9B,MAAM,WAAW,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACzD,OAAO;QACL,WAAW,EAAE,6BAA6B,WAAW,EAAE;QACvD,QAAQ,CAAC,QAA+B,EAAE,OAAyB;YACjE,MAAM,UAAU,GAAoB,EAAE,CAAA;YACtC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;gBAC/B,MAAM,KAAK,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAA;gBACzC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;oBACzB,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;wBAChC,UAAU,CAAC,IAAI,CACb,eAAe,CACb,OAAO,EACP,GAAG,cAAc,CAAC,OAAO,CAAC,4BAA4B,IAAI,CAAC,OAAO,EAAE,GAAG,EACvE,OAAO,CACR,CACF,CAAA;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO,UAAU,CAAA;QACnB,CAAC;KACF,CAAA;AACH,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,oBAAoB,CAAC,OAAe;IAClD,OAAO,gBAAgB,CACrB,4BAA4B,MAAM,CAAC,OAAO,CAAC,EAAE,EAC7C,CAAC,OAAO,EAAE,EAAE;QACV,yDAAyD;QACzD,MAAM,EAAE,GAAG,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,CAAA;QACpD,MAAM,KAAK,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAA;QACzC,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAA;IAChD,CAAC,EACD,CAAC,OAAO,EAAE,EAAE,CAAC,GAAG,cAAc,CAAC,OAAO,CAAC,6BAA6B,MAAM,CAAC,OAAO,CAAC,EAAE,CACtF,CAAA;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,uBAAuB,CAAC,OAAe;IACrD,OAAO;QACL,WAAW,EAAE,gCAAgC,MAAM,CAAC,OAAO,CAAC,EAAE;QAC9D,QAAQ,CAAC,QAA+B,EAAE,OAAyB;YACjE,MAAM,UAAU,GAAoB,EAAE,CAAA;YACtC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;gBAC/B,4DAA4D;gBAC5D,MAAM,EAAE,GAAG,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,CAAA;gBACpD,MAAM,KAAK,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAA;gBACzC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;oBACzB,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;wBAC5B,UAAU,CAAC,IAAI,CACb,eAAe,CACb,OAAO,EACP,GAAG,cAAc,CAAC,OAAO,CAAC,kBAAkB,IAAI,CAAC,OAAO,EAAE,cAAc,MAAM,CAAC,OAAO,CAAC,EAAE,EACzF,OAAO,CACR,CACF,CAAA;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO,UAAU,CAAA;QACnB,CAAC;KACF,CAAA;AACH,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,0BAA0B;IACxC,OAAO;QACL,WAAW,EAAE,+BAA+B;QAC5C,QAAQ,CAAC,QAA+B,EAAE,OAAyB;YACjE,MAAM,UAAU,GAAoB,EAAE,CAAA;YACtC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;gBAC/B,MAAM,KAAK,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAA;gBACzC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;oBACzB,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;wBAC9B,UAAU,CAAC,IAAI,CACb,eAAe,CACb,OAAO,EACP,GAAG,cAAc,CAAC,OAAO,CAAC,0BAA0B,IAAI,CAAC,OAAO,EAAE,GAAG,EACrE,OAAO,CACR,CACF,CAAA;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO,UAAU,CAAA;QACnB,CAAC;KACF,CAAA;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,aAAa,CAAC,GAAW;IACvC,OAAO;QACL,WAAW,EAAE,gBAAgB,MAAM,CAAC,GAAG,CAAC,aAAa;QACrD,QAAQ,CAAC,QAA+B,EAAE,OAAyB;YACjE,MAAM,UAAU,GAAoB,EAAE,CAAA;YACtC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;gBAC/B,MAAM,KAAK,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC,MAAM,CAAA;gBAChD,IAAI,KAAK,GAAG,GAAG,EAAE,CAAC;oBAChB,UAAU,CAAC,IAAI,CACb,eAAe,CACb,OAAO,EACP,GAAG,cAAc,CAAC,OAAO,CAAC,QAAQ,MAAM,CAAC,KAAK,CAAC,+BAA+B,MAAM,CAAC,GAAG,CAAC,EAAE,EAC3F,OAAO,CACR,CACF,CAAA;gBACH,CAAC;YACH,CAAC;YACD,OAAO,UAAU,CAAA;QACnB,CAAC;KACF,CAAA;AACH,CAAC"}

package/dist/conditions/pattern.d.ts

@@ -0,0 +1,20 @@
+import type { Condition } from '@nielspeter/eess';
+import type { ArchPattern } from '../helpers/pattern.js';
+import type { ArchFunction } from '../models/arch-function.js';
+/**
+ * Condition: functions must return a type matching the pattern's returnShape.
+ *
+ * For each property in `pattern.returnShape`:
+ * 1. The return type must have a property with that name.
+ * 2. The property's type must satisfy the constraint.
+ *
+ * @example
+ * ```ts
+ * functions(p)
+ *   .that().resideInFolder('src/routes/**')
+ *   .should().followPattern(paginatedCollection)
+ *   .check()
+ * ```
+ */
+export declare function followPattern(pattern: ArchPattern): Condition<ArchFunction>;
+//# sourceMappingURL=pattern.d.ts.map

package/dist/conditions/pattern.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pattern.d.ts","sourceRoot":"","sources":["../../src/conditions/pattern.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAoB,MAAM,kBAAkB,CAAA;AAEnE,OAAO,KAAK,EAAE,WAAW,EAAsB,MAAM,uBAAuB,CAAA;AAC5E,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAA;AAG9D;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,aAAa,CAAC,OAAO,EAAE,WAAW,GAAG,SAAS,CAAC,YAAY,CAAC,CA6B3E"}

package/dist/conditions/pattern.js

@@ -0,0 +1,108 @@
+/**
+ * Condition: functions must return a type matching the pattern's returnShape.
+ *
+ * For each property in `pattern.returnShape`:
+ * 1. The return type must have a property with that name.
+ * 2. The property's type must satisfy the constraint.
+ *
+ * @example
+ * ```ts
+ * functions(p)
+ *   .that().resideInFolder('src/routes/**')
+ *   .should().followPattern(paginatedCollection)
+ *   .check()
+ * ```
+ */
+export function followPattern(pattern) {
+    return {
+        description: `follow pattern "${pattern.name}"`,
+        evaluate(elements, context) {
+            const violations = [];
+            for (const fn of elements) {
+                const returnType = fn.getReturnType();
+                // Unwrap Promise<T> to inspect the resolved type
+                const resolvedType = unwrapPromise(returnType);
+                const missing = getMissingProperties(resolvedType, pattern);
+                if (missing.length > 0) {
+                    const fnName = fn.getName() ?? '<anonymous>';
+                    const node = fn.getNode();
+                    violations.push({
+                        rule: context.rule,
+                        element: fnName,
+                        file: node.getSourceFile().getFilePath(),
+                        line: fn.getStartLineNumber(),
+                        message: `"${fnName}" does not follow pattern "${pattern.name}": ${missing.join('; ')}`,
+                        because: context.because,
+                    });
+                }
+            }
+            return violations;
+        },
+    };
+}
+/**
+ * Unwrap Promise<T> -> T so async functions can be checked against
+ * the same pattern as sync ones.
+ */
+function unwrapPromise(type) {
+    const typeText = type.getText();
+    if (typeText.startsWith('Promise<')) {
+        const typeArgs = type.getTypeArguments();
+        if (typeArgs.length === 1 && typeArgs[0] !== undefined) {
+            return typeArgs[0];
+        }
+    }
+    return type;
+}
+/**
+ * Check each property constraint in the pattern against the resolved type.
+ * Returns human-readable descriptions of missing/mismatched properties.
+ */
+function getMissingProperties(type, pattern) {
+    const problems = [];
+    for (const [propName, constraint] of Object.entries(pattern.returnShape)) {
+        const prop = type.getProperty(propName);
+        if (prop === undefined) {
+            problems.push(`missing property "${propName}"`);
+            continue;
+        }
+        // Get a declaration node for resolving property type.
+        // Try the type's own symbol declarations first, then fall back to the property's declarations.
+        const typeDeclarations = type.getSymbol()?.getDeclarations();
+        const propDeclarations = prop.getDeclarations();
+        const declarationNode = (typeDeclarations !== undefined && typeDeclarations.length > 0
+            ? typeDeclarations[0]
+            : undefined) ?? (propDeclarations.length > 0 ? propDeclarations[0] : undefined);
+        if (declarationNode === undefined) {
+            problems.push(`property "${propName}" has no resolvable declaration`);
+            continue;
+        }
+        const propType = prop.getTypeAtLocation(declarationNode);
+        if (!matchesConstraint(propType, constraint)) {
+            const actual = propType.getNonNullableType().getText();
+            const expected = typeof constraint === 'string' ? constraint : '<custom matcher>';
+            problems.push(`property "${propName}" has type '${actual}', expected '${expected}'`);
+        }
+    }
+    return problems;
+}
+/**
+ * Test whether a resolved property type satisfies a PropertyConstraint.
+ */
+function matchesConstraint(propType, constraint) {
+    const stripped = propType.getNonNullableType();
+    if (typeof constraint === 'function') {
+        // TypeMatcher — delegate directly
+        return constraint(propType);
+    }
+    // String constraint
+    if (constraint === 'T[]') {
+        // Special: any array type
+        return stripped.isArray();
+    }
+    // Match constraint as literal string against type text
+    const escaped = constraint.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
+    const regex = new RegExp(`^${escaped}$`);
+    return regex.test(stripped.getText());
+}
+//# sourceMappingURL=pattern.js.map

package/dist/conditions/pattern.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pattern.js","sourceRoot":"","sources":["../../src/conditions/pattern.ts"],"names":[],"mappings":"AAMA;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,aAAa,CAAC,OAAoB;IAChD,OAAO;QACL,WAAW,EAAE,mBAAmB,OAAO,CAAC,IAAI,GAAG;QAC/C,QAAQ,CAAC,QAAwB,EAAE,OAAyB;YAC1D,MAAM,UAAU,GAAoB,EAAE,CAAA;YAEtC,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;gBAC1B,MAAM,UAAU,GAAG,EAAE,CAAC,aAAa,EAAE,CAAA;gBACrC,iDAAiD;gBACjD,MAAM,YAAY,GAAG,aAAa,CAAC,UAAU,CAAC,CAAA;gBAC9C,MAAM,OAAO,GAAG,oBAAoB,CAAC,YAAY,EAAE,OAAO,CAAC,CAAA;gBAE3D,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACvB,MAAM,MAAM,GAAG,EAAE,CAAC,OAAO,EAAE,IAAI,aAAa,CAAA;oBAC5C,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,EAAE,CAAA;oBACzB,UAAU,CAAC,IAAI,CAAC;wBACd,IAAI,EAAE,OAAO,CAAC,IAAI;wBAClB,OAAO,EAAE,MAAM;wBACf,IAAI,EAAE,IAAI,CAAC,aAAa,EAAE,CAAC,WAAW,EAAE;wBACxC,IAAI,EAAE,EAAE,CAAC,kBAAkB,EAAE;wBAC7B,OAAO,EAAE,IAAI,MAAM,8BAA8B,OAAO,CAAC,IAAI,MAAM,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;wBACvF,OAAO,EAAE,OAAO,CAAC,OAAO;qBACzB,CAAC,CAAA;gBACJ,CAAC;YACH,CAAC;YAED,OAAO,UAAU,CAAA;QACnB,CAAC;KACF,CAAA;AACH,CAAC;AAED;;;GAGG;AACH,SAAS,aAAa,CAAC,IAAU;IAC/B,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,EAAE,CAAA;IAC/B,IAAI,QAAQ,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QACpC,MAAM,QAAQ,GAAG,IAAI,CAAC,gBAAgB,EAAE,CAAA;QACxC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;YACvD,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAA;QACpB,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED;;;GAGG;AACH,SAAS,oBAAoB,CAAC,IAAU,EAAE,OAAoB;IAC5D,MAAM,QAAQ,GAAa,EAAE,CAAA;IAE7B,KAAK,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;QACzE,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAA;QAEvC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,QAAQ,CAAC,IAAI,CAAC,qBAAqB,QAAQ,GAAG,CAAC,CAAA;YAC/C,SAAQ;QACV,CAAC;QAED,sDAAsD;QACtD,+FAA+F;QAC/F,MAAM,gBAAgB,GAAG,IAAI,CAAC,SAAS,EAAE,EAAE,eAAe,EAAE,CAAA;QAC5D,MAAM,gBAAgB,GAAG,IAAI,CAAC,eAAe,EAAE,CAAA;QAC/C,MAAM,eAAe,GACnB,CAAC,gBAAgB,KAAK,SAAS,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC;YAC5D,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC;YACrB,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;QAEnF,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;YAClC,QAAQ,CAAC,IAAI,CAAC,aAAa,QAAQ,iCAAiC,CAAC,CAAA;YACrE,SAAQ;QACV,CAAC;QAED,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,eAAe,CAAC,CAAA;QACxD,IAAI,CAAC,iBAAiB,CAAC,QAAQ,EAAE,UAAU,CAAC,EAAE,CAAC;YAC7C,MAAM,MAAM,GAAG,QAAQ,CAAC,kBAAkB,EAAE,CAAC,OAAO,EAAE,CAAA;YACtD,MAAM,QAAQ,GAAG,OAAO,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,kBAAkB,CAAA;YACjF,QAAQ,CAAC,IAAI,CAAC,aAAa,QAAQ,eAAe,MAAM,gBAAgB,QAAQ,GAAG,CAAC,CAAA;QACtF,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAA;AACjB,CAAC;AAED;;GAEG;AACH,SAAS,iBAAiB,CAAC,QAAc,EAAE,UAA8B;IACvE,MAAM,QAAQ,GAAG,QAAQ,CAAC,kBAAkB,EAAE,CAAA;IAE9C,IAAI,OAAO,UAAU,KAAK,UAAU,EAAE,CAAC;QACrC,kCAAkC;QAClC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAA;IAC7B,CAAC;IAED,oBAAoB;IACpB,IAAI,UAAU,KAAK,KAAK,EAAE,CAAC;QACzB,0BAA0B;QAC1B,OAAO,QAAQ,CAAC,OAAO,EAAE,CAAA;IAC3B,CAAC;IAED,uDAAuD;IACvD,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAA;IACjE,MAAM,KAAK,GAAG,IAAI,MAAM,CAAC,IAAI,OAAO,GAAG,CAAC,CAAA;IACxC,OAAO,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;AACvC,CAAC"}

package/dist/conditions/reverse-dependency.d.ts

@@ -0,0 +1,28 @@
+import { type SourceFile } from 'ts-morph';
+import type { Condition } from '@nielspeter/eess';
+/**
+ * Every file that imports this module must match at least one of the globs.
+ *
+ * Enforces barrel/facade patterns: internal modules should only be
+ * imported through their public API (e.g., index.ts).
+ *
+ * Modules with zero importers pass vacuously. Chain `.andShould().beImported()`
+ * if you also want to catch orphaned files.
+ *
+ * Both static `import` declarations and dynamic `import()` expressions with
+ * string-literal specifiers are resolved. `require()` calls are not resolved.
+ */
+export declare function onlyBeImportedVia(...globs: string[]): Condition<SourceFile>;
+/**
+ * Module must be imported by at least one other file in the project.
+ *
+ * Detects dead/orphaned modules that nobody references.
+ * Use `.excluding('index.ts', 'main.ts')` to skip entry points.
+ *
+ * Both static `import` declarations and dynamic `import()` expressions with
+ * string-literal specifiers are resolved. Modules loaded via `require()` or
+ * dynamic imports with computed specifiers will still be falsely reported.
+ */
+export declare function beImported(): Condition<SourceFile>;
+export declare function haveNoUnusedExports(): Condition<SourceFile>;
+//# sourceMappingURL=reverse-dependency.d.ts.map

package/dist/conditions/reverse-dependency.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reverse-dependency.d.ts","sourceRoot":"","sources":["../../src/conditions/reverse-dependency.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,UAAU,EAAkC,MAAM,UAAU,CAAA;AAC1E,OAAO,KAAK,EAAE,SAAS,EAAoB,MAAM,kBAAkB,CAAA;AAwInE;;;;;;;;;;;GAWG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,KAAK,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC,UAAU,CAAC,CAgC3E;AAED;;;;;;;;;GASG;AACH,wBAAgB,UAAU,IAAI,SAAS,CAAC,UAAU,CAAC,CA0BlD;AA0CD,wBAAgB,mBAAmB,IAAI,SAAS,CAAC,UAAU,CAAC,CAW3D"}