@nielspeter/eess-ts 0.1.0

package/dist/conditions/call.js

@@ -0,0 +1,267 @@
+import { Node } from 'ts-morph';
+import { getFunctionBody, findMatchesInNode } from '../helpers/body-traversal.js';
+/**
+ * Helper to create a violation from an ArchCall.
+ *
+ * The `element` field uses the argument-enriched name when
+ * `context.identifyByArgument` is set, but **never** elides — exclusion
+ * patterns key on the element string, so stability is required.
+ */
+function createCallViolation(archCall, message, context) {
+    return {
+        rule: context.rule,
+        element: archCall.getName({ withArgument: context.identifyByArgument }) ?? '<call>',
+        file: archCall.getSourceFile().getFilePath(),
+        line: archCall.getStartLineNumber(),
+        message,
+        because: context.because,
+    };
+}
+/**
+ * Resolve the name for use in a violation MESSAGE (elision enabled).
+ *
+ * If `context.identifyByArgument` is set and the indexed argument's
+ * `getText()` exceeds 80 characters, the literal portion is elided
+ * (`slice(0, 38) + '…' + slice(-38)`) so CI output stays scannable.
+ * The element field NEVER elides — see {@link createCallViolation}.
+ */
+function callNameForMessage(archCall, context) {
+    return archCall.getName({ withArgument: context.identifyByArgument, elide: true }) ?? '<call>';
+}
+/**
+ * The filtered call set must be empty --- no calls should match the predicates.
+ */
+export function notExist() {
+    return {
+        description: 'not exist',
+        evaluate(elements, context) {
+            return elements.map((archCall) => createCallViolation(archCall, `${callNameForMessage(archCall, context)} should not exist`, context));
+        },
+    };
+}
+/**
+ * Assert that at least one callback argument contains a match.
+ *
+ * Searches all function-like arguments (ArrowFunction, FunctionExpression)
+ * for a node matching the given ExpressionMatcher.
+ */
+export function haveCallbackContaining(matcher) {
+    return {
+        description: `have callback containing ${matcher.description}`,
+        evaluate(elements, context) {
+            const violations = [];
+            for (const archCall of elements) {
+                const found = searchCallbacksFor(archCall, matcher);
+                if (!found) {
+                    violations.push(createCallViolation(archCall, `${callNameForMessage(archCall, context)} does not have a callback containing ${matcher.description}`, context));
+                }
+            }
+            return violations;
+        },
+    };
+}
+/**
+ * Assert that NO callback argument contains a match.
+ *
+ * Produces one violation per matching node found in any callback.
+ */
+export function notHaveCallbackContaining(matcher) {
+    return {
+        description: `not have callback containing ${matcher.description}`,
+        evaluate(elements, context) {
+            const violations = [];
+            for (const archCall of elements) {
+                // Hoist the enriched name once per archCall — the inner match loop
+                // produces multiple violations against the same call, and the
+                // literal-shape walk inside getName({...}) is identical for each.
+                const callName = callNameForMessage(archCall, context);
+                const args = archCall.getArguments();
+                for (const arg of args) {
+                    const body = getFunctionBody(arg);
+                    if (!body)
+                        continue;
+                    const matches = findMatchesInNode(body, matcher);
+                    for (const match of matches) {
+                        violations.push(createCallViolation(archCall, `${callName} has callback containing ${matcher.description} at line ${String(match.getStartLineNumber())}`, context));
+                    }
+                }
+            }
+            return violations;
+        },
+    };
+}
+/**
+ * Search all callback arguments of a call for a matcher hit.
+ */
+function searchCallbacksFor(archCall, matcher) {
+    const args = archCall.getArguments();
+    for (const arg of args) {
+        const body = getFunctionBody(arg);
+        if (!body)
+            continue;
+        const matches = findMatchesInNode(body, matcher);
+        if (matches.length > 0)
+            return true;
+    }
+    return false;
+}
+/**
+ * Collect property names from an ObjectLiteralExpression node.
+ *
+ * Handles both PropertyAssignment (`{ schema: {} }`) and
+ * ShorthandPropertyAssignment (`{ schema }`).
+ */
+function getObjectLiteralPropertyNames(node) {
+    const names = new Set();
+    if (!Node.isObjectLiteralExpression(node))
+        return names;
+    for (const prop of node.getProperties()) {
+        if (Node.isPropertyAssignment(prop) || Node.isShorthandPropertyAssignment(prop)) {
+            names.add(prop.getName());
+        }
+    }
+    return names;
+}
+/**
+ * Assert that at least one object literal argument has ALL named properties.
+ *
+ * Scans all arguments of each call for ObjectLiteralExpression nodes.
+ * Passes if at least one object literal argument contains every
+ * specified property name.
+ *
+ * @throws {Error} if called with zero property names
+ */
+export function haveArgumentWithProperty(...names) {
+    if (names.length === 0) {
+        throw new Error('haveArgumentWithProperty requires at least one property name');
+    }
+    const quotedNames = names.map((n) => `"${n}"`).join(', ');
+    const description = names.length === 1
+        ? `have argument with property "${names[0] ?? ''}"`
+        : `have argument with properties ${quotedNames}`;
+    return {
+        description,
+        evaluate(elements, context) {
+            const violations = [];
+            for (const archCall of elements) {
+                const args = archCall.getArguments();
+                let found = false;
+                for (const arg of args) {
+                    const propNames = getObjectLiteralPropertyNames(arg);
+                    if (propNames.size > 0 && names.every((name) => propNames.has(name))) {
+                        found = true;
+                        break;
+                    }
+                }
+                if (!found) {
+                    const callName = callNameForMessage(archCall, context);
+                    violations.push(createCallViolation(archCall, `${callName} has no argument with properties ${quotedNames}`, context));
+                }
+            }
+            return violations;
+        },
+    };
+}
+/**
+ * Assert that NO object literal argument has ANY of the named properties.
+ *
+ * Scans all arguments of each call for ObjectLiteralExpression nodes.
+ * Reports one violation per forbidden property found in any argument.
+ *
+ * @throws {Error} if called with zero property names
+ */
+export function notHaveArgumentWithProperty(...names) {
+    if (names.length === 0) {
+        throw new Error('notHaveArgumentWithProperty requires at least one property name');
+    }
+    const quotedNames = names.map((n) => `"${n}"`).join(', ');
+    const description = names.length === 1
+        ? `not have argument with property "${names[0] ?? ''}"`
+        : `not have argument with properties ${quotedNames}`;
+    return {
+        description,
+        evaluate(elements, context) {
+            const violations = [];
+            for (const archCall of elements) {
+                // Hoist: inner nested loops (args × names) can produce multiple
+                // violations against the same archCall — same identity work each time.
+                const callName = callNameForMessage(archCall, context);
+                const args = archCall.getArguments();
+                for (const arg of args) {
+                    const propNames = getObjectLiteralPropertyNames(arg);
+                    for (const name of names) {
+                        if (propNames.has(name)) {
+                            violations.push(createCallViolation(archCall, `${callName} argument has forbidden property "${name}"`, context));
+                        }
+                    }
+                }
+            }
+            return violations;
+        },
+    };
+}
+/**
+ * Assert that at least one argument subtree contains a match.
+ *
+ * Searches ALL arguments of each call recursively using `findMatchesInNode`.
+ * This is a superset of `haveCallbackContaining` — it searches the entire
+ * subtree of every argument (object literals, callbacks, nested expressions),
+ * not just function-like arguments. Use `haveCallbackContaining` when you
+ * only want to search callback bodies.
+ */
+export function haveArgumentContaining(matcher) {
+    return {
+        description: `have argument containing ${matcher.description}`,
+        evaluate(elements, context) {
+            const violations = [];
+            for (const archCall of elements) {
+                const args = archCall.getArguments();
+                let found = false;
+                for (const arg of args) {
+                    const matches = findMatchesInNode(arg, matcher);
+                    if (matches.length > 0) {
+                        found = true;
+                        break;
+                    }
+                }
+                if (!found) {
+                    violations.push(createCallViolation(archCall, `${callNameForMessage(archCall, context)} has no argument containing ${matcher.description}`, context));
+                }
+            }
+            return violations;
+        },
+    };
+}
+/**
+ * Assert that NO argument subtree contains a match.
+ *
+ * Searches ALL arguments of each call recursively using `findMatchesInNode`.
+ * Produces one violation per matching node found in any argument.
+ *
+ * This is a superset of `notHaveCallbackContaining` — it searches the entire
+ * subtree of every argument (object literals, callbacks, nested expressions),
+ * not just function-like arguments. Use `notHaveCallbackContaining` when you
+ * only want to search callback bodies.
+ */
+export function notHaveArgumentContaining(matcher) {
+    return {
+        description: `not have argument containing ${matcher.description}`,
+        evaluate(elements, context) {
+            const violations = [];
+            for (const archCall of elements) {
+                // Hoist: inner match loop produces multiple violations against the
+                // same archCall — same identity work each time.
+                const callName = callNameForMessage(archCall, context);
+                const args = archCall.getArguments();
+                for (const arg of args) {
+                    const matches = findMatchesInNode(arg, matcher);
+                    for (const match of matches) {
+                        violations.push(createCallViolation(archCall, `${callName} argument contains ${matcher.description} at line ${String(match.getStartLineNumber())}`, context));
+                    }
+                }
+            }
+            return violations;
+        },
+    };
+}
+//# sourceMappingURL=call.js.map

package/dist/conditions/call.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"call.js","sourceRoot":"","sources":["../../src/conditions/call.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,UAAU,CAAA;AAK/B,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAA;AAEjF;;;;;;GAMG;AACH,SAAS,mBAAmB,CAC1B,QAAkB,EAClB,OAAe,EACf,OAAyB;IAEzB,OAAO;QACL,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,YAAY,EAAE,OAAO,CAAC,kBAAkB,EAAE,CAAC,IAAI,QAAQ;QACnF,IAAI,EAAE,QAAQ,CAAC,aAAa,EAAE,CAAC,WAAW,EAAE;QAC5C,IAAI,EAAE,QAAQ,CAAC,kBAAkB,EAAE;QACnC,OAAO;QACP,OAAO,EAAE,OAAO,CAAC,OAAO;KACzB,CAAA;AACH,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,kBAAkB,CAAC,QAAkB,EAAE,OAAyB;IACvE,OAAO,QAAQ,CAAC,OAAO,CAAC,EAAE,YAAY,EAAE,OAAO,CAAC,kBAAkB,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,QAAQ,CAAA;AAChG,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,QAAQ;IACtB,OAAO;QACL,WAAW,EAAE,WAAW;QACxB,QAAQ,CAAC,QAAoB,EAAE,OAAyB;YACtD,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAC/B,mBAAmB,CACjB,QAAQ,EACR,GAAG,kBAAkB,CAAC,QAAQ,EAAE,OAAO,CAAC,mBAAmB,EAC3D,OAAO,CACR,CACF,CAAA;QACH,CAAC;KACF,CAAA;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,sBAAsB,CAAC,OAA0B;IAC/D,OAAO;QACL,WAAW,EAAE,4BAA4B,OAAO,CAAC,WAAW,EAAE;QAC9D,QAAQ,CAAC,QAAoB,EAAE,OAAyB;YACtD,MAAM,UAAU,GAAoB,EAAE,CAAA;YACtC,KAAK,MAAM,QAAQ,IAAI,QAAQ,EAAE,CAAC;gBAChC,MAAM,KAAK,GAAG,kBAAkB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAA;gBACnD,IAAI,CAAC,KAAK,EAAE,CAAC;oBACX,UAAU,CAAC,IAAI,CACb,mBAAmB,CACjB,QAAQ,EACR,GAAG,kBAAkB,CAAC,QAAQ,EAAE,OAAO,CAAC,wCAAwC,OAAO,CAAC,WAAW,EAAE,EACrG,OAAO,CACR,CACF,CAAA;gBACH,CAAC;YACH,CAAC;YACD,OAAO,UAAU,CAAA;QACnB,CAAC;KACF,CAAA;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,yBAAyB,CAAC,OAA0B;IAClE,OAAO;QACL,WAAW,EAAE,gCAAgC,OAAO,CAAC,WAAW,EAAE;QAClE,QAAQ,CAAC,QAAoB,EAAE,OAAyB;YACtD,MAAM,UAAU,GAAoB,EAAE,CAAA;YACtC,KAAK,MAAM,QAAQ,IAAI,QAAQ,EAAE,CAAC;gBAChC,mEAAmE;gBACnE,8DAA8D;gBAC9D,kEAAkE;gBAClE,MAAM,QAAQ,GAAG,kBAAkB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAA;gBACtD,MAAM,IAAI,GAAG,QAAQ,CAAC,YAAY,EAAE,CAAA;gBACpC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;oBACvB,MAAM,IAAI,GAAG,eAAe,CAAC,GAAG,CAAC,CAAA;oBACjC,IAAI,CAAC,IAAI;wBAAE,SAAQ;oBACnB,MAAM,OAAO,GAAG,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;oBAChD,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;wBAC5B,UAAU,CAAC,IAAI,CACb,mBAAmB,CACjB,QAAQ,EACR,GAAG,QAAQ,4BAA4B,OAAO,CAAC,WAAW,YAAY,MAAM,CAAC,KAAK,CAAC,kBAAkB,EAAE,CAAC,EAAE,EAC1G,OAAO,CACR,CACF,CAAA;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO,UAAU,CAAA;QACnB,CAAC;KACF,CAAA;AACH,CAAC;AAED;;GAEG;AACH,SAAS,kBAAkB,CAAC,QAAkB,EAAE,OAA0B;IACxE,MAAM,IAAI,GAAG,QAAQ,CAAC,YAAY,EAAE,CAAA;IACpC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,IAAI,GAAG,eAAe,CAAC,GAAG,CAAC,CAAA;QACjC,IAAI,CAAC,IAAI;YAAE,SAAQ;QACnB,MAAM,OAAO,GAAG,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;QAChD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,IAAI,CAAA;IACrC,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED;;;;;GAKG;AACH,SAAS,6BAA6B,CAAC,IAAU;IAC/C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAA;IAC/B,IAAI,CAAC,IAAI,CAAC,yBAAyB,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAA;IACvD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,aAAa,EAAE,EAAE,CAAC;QACxC,IAAI,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,6BAA6B,CAAC,IAAI,CAAC,EAAE,CAAC;YAChF,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAA;QAC3B,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,wBAAwB,CAAC,GAAG,KAAe;IACzD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,8DAA8D,CAAC,CAAA;IACjF,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,MAAM,WAAW,GACf,KAAK,CAAC,MAAM,KAAK,CAAC;QAChB,CAAC,CAAC,gCAAgC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG;QACnD,CAAC,CAAC,iCAAiC,WAAW,EAAE,CAAA;IAEpD,OAAO;QACL,WAAW;QACX,QAAQ,CAAC,QAAoB,EAAE,OAAyB;YACtD,MAAM,UAAU,GAAoB,EAAE,CAAA;YACtC,KAAK,MAAM,QAAQ,IAAI,QAAQ,EAAE,CAAC;gBAChC,MAAM,IAAI,GAAG,QAAQ,CAAC,YAAY,EAAE,CAAA;gBACpC,IAAI,KAAK,GAAG,KAAK,CAAA;gBACjB,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;oBACvB,MAAM,SAAS,GAAG,6BAA6B,CAAC,GAAG,CAAC,CAAA;oBACpD,IAAI,SAAS,CAAC,IAAI,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;wBACrE,KAAK,GAAG,IAAI,CAAA;wBACZ,MAAK;oBACP,CAAC;gBACH,CAAC;gBACD,IAAI,CAAC,KAAK,EAAE,CAAC;oBACX,MAAM,QAAQ,GAAG,kBAAkB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAA;oBACtD,UAAU,CAAC,IAAI,CACb,mBAAmB,CACjB,QAAQ,EACR,GAAG,QAAQ,oCAAoC,WAAW,EAAE,EAC5D,OAAO,CACR,CACF,CAAA;gBACH,CAAC;YACH,CAAC;YACD,OAAO,UAAU,CAAA;QACnB,CAAC;KACF,CAAA;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,2BAA2B,CAAC,GAAG,KAAe;IAC5D,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,iEAAiE,CAAC,CAAA;IACpF,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,MAAM,WAAW,GACf,KAAK,CAAC,MAAM,KAAK,CAAC;QAChB,CAAC,CAAC,oCAAoC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG;QACvD,CAAC,CAAC,qCAAqC,WAAW,EAAE,CAAA;IAExD,OAAO;QACL,WAAW;QACX,QAAQ,CAAC,QAAoB,EAAE,OAAyB;YACtD,MAAM,UAAU,GAAoB,EAAE,CAAA;YACtC,KAAK,MAAM,QAAQ,IAAI,QAAQ,EAAE,CAAC;gBAChC,gEAAgE;gBAChE,uEAAuE;gBACvE,MAAM,QAAQ,GAAG,kBAAkB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAA;gBACtD,MAAM,IAAI,GAAG,QAAQ,CAAC,YAAY,EAAE,CAAA;gBACpC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;oBACvB,MAAM,SAAS,GAAG,6BAA6B,CAAC,GAAG,CAAC,CAAA;oBACpD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;wBACzB,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;4BACxB,UAAU,CAAC,IAAI,CACb,mBAAmB,CACjB,QAAQ,EACR,GAAG,QAAQ,qCAAqC,IAAI,GAAG,EACvD,OAAO,CACR,CACF,CAAA;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO,UAAU,CAAA;QACnB,CAAC;KACF,CAAA;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,sBAAsB,CAAC,OAA0B;IAC/D,OAAO;QACL,WAAW,EAAE,4BAA4B,OAAO,CAAC,WAAW,EAAE;QAC9D,QAAQ,CAAC,QAAoB,EAAE,OAAyB;YACtD,MAAM,UAAU,GAAoB,EAAE,CAAA;YACtC,KAAK,MAAM,QAAQ,IAAI,QAAQ,EAAE,CAAC;gBAChC,MAAM,IAAI,GAAG,QAAQ,CAAC,YAAY,EAAE,CAAA;gBACpC,IAAI,KAAK,GAAG,KAAK,CAAA;gBACjB,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;oBACvB,MAAM,OAAO,GAAG,iBAAiB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAA;oBAC/C,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;wBACvB,KAAK,GAAG,IAAI,CAAA;wBACZ,MAAK;oBACP,CAAC;gBACH,CAAC;gBACD,IAAI,CAAC,KAAK,EAAE,CAAC;oBACX,UAAU,CAAC,IAAI,CACb,mBAAmB,CACjB,QAAQ,EACR,GAAG,kBAAkB,CAAC,QAAQ,EAAE,OAAO,CAAC,+BAA+B,OAAO,CAAC,WAAW,EAAE,EAC5F,OAAO,CACR,CACF,CAAA;gBACH,CAAC;YACH,CAAC;YACD,OAAO,UAAU,CAAA;QACnB,CAAC;KACF,CAAA;AACH,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,yBAAyB,CAAC,OAA0B;IAClE,OAAO;QACL,WAAW,EAAE,gCAAgC,OAAO,CAAC,WAAW,EAAE;QAClE,QAAQ,CAAC,QAAoB,EAAE,OAAyB;YACtD,MAAM,UAAU,GAAoB,EAAE,CAAA;YACtC,KAAK,MAAM,QAAQ,IAAI,QAAQ,EAAE,CAAC;gBAChC,mEAAmE;gBACnE,gDAAgD;gBAChD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAA;gBACtD,MAAM,IAAI,GAAG,QAAQ,CAAC,YAAY,EAAE,CAAA;gBACpC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;oBACvB,MAAM,OAAO,GAAG,iBAAiB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAA;oBAC/C,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;wBAC5B,UAAU,CAAC,IAAI,CACb,mBAAmB,CACjB,QAAQ,EACR,GAAG,QAAQ,sBAAsB,OAAO,CAAC,WAAW,YAAY,MAAM,CAAC,KAAK,CAAC,kBAAkB,EAAE,CAAC,EAAE,EACpG,OAAO,CACR,CACF,CAAA;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO,UAAU,CAAA;QACnB,CAAC;KACF,CAAA;AACH,CAAC"}

package/dist/conditions/catch-analysis.d.ts

@@ -0,0 +1,31 @@
+import { Node } from 'ts-morph';
+/**
+ * Result of scanning a single catch clause.
+ */
+export interface SilentCatchResult {
+    /** The CatchClause node — used for violation line and code frame */
+    node: Node;
+    /** Human-readable description of why this catch is silent */
+    message: string;
+}
+/**
+ * Find catch clauses in the body that don't reference the caught error.
+ *
+ * A catch clause is "silent" if:
+ * 1. It has no binding at all (`catch { ... }`) — no error to reference
+ * 2. It has a binding but no Identifier in the block body matches any binding name
+ *
+ * Uses a simple descendant Identifier walk instead of the Language Service's
+ * findReferencesAsNodes() — catch variables are block-scoped so a name match
+ * within the block is sufficient. This is faster and avoids edge cases where
+ * findReferencesAsNodes() returns zero refs for destructured bindings.
+ *
+ * **Known limitations (false negatives):**
+ * - Variable shadowing: `catch (err) { const err = new Error(); throw err }`
+ *   — the `err` Identifier matches but refers to the redeclared variable.
+ * - Nested catch with same name: `catch (err) { try { } catch (err) { log(err) } }`
+ *   — the inner `err` usage satisfies the outer check.
+ * Both are rare in practice and arguably code smells themselves.
+ */
+export declare function findSilentCatches(body: Node): SilentCatchResult[];
+//# sourceMappingURL=catch-analysis.d.ts.map

package/dist/conditions/catch-analysis.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"catch-analysis.d.ts","sourceRoot":"","sources":["../../src/conditions/catch-analysis.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAc,MAAM,UAAU,CAAA;AAE3C;;GAEG;AAEH,MAAM,WAAW,iBAAiB;IAChC,oEAAoE;IACpE,IAAI,EAAE,IAAI,CAAA;IACV,6DAA6D;IAC7D,OAAO,EAAE,MAAM,CAAA;CAChB;AA8BD;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,IAAI,GAAG,iBAAiB,EAAE,CAqCjE"}

package/dist/conditions/catch-analysis.js

@@ -0,0 +1,78 @@
+import { Node, SyntaxKind } from 'ts-morph';
+/**
+ * Extract all binding names from a catch variable declaration.
+ *
+ * Handles simple bindings (`catch (err)`), object destructuring
+ * (`catch ({ message, code })`), and array destructuring (`catch ([code, msg])`).
+ */
+function getBindingNames(nameNode) {
+    if (Node.isIdentifier(nameNode)) {
+        return new Set([nameNode.getText()]);
+    }
+    if (Node.isObjectBindingPattern(nameNode) || Node.isArrayBindingPattern(nameNode)) {
+        const names = new Set();
+        for (const element of nameNode.getElements()) {
+            if (Node.isBindingElement(element)) {
+                const elementName = element.getNameNode();
+                if (Node.isIdentifier(elementName)) {
+                    names.add(elementName.getText());
+                }
+            }
+        }
+        return names;
+    }
+    // Unknown binding pattern — treat as referenced to avoid false positives
+    return new Set();
+}
+/**
+ * Find catch clauses in the body that don't reference the caught error.
+ *
+ * A catch clause is "silent" if:
+ * 1. It has no binding at all (`catch { ... }`) — no error to reference
+ * 2. It has a binding but no Identifier in the block body matches any binding name
+ *
+ * Uses a simple descendant Identifier walk instead of the Language Service's
+ * findReferencesAsNodes() — catch variables are block-scoped so a name match
+ * within the block is sufficient. This is faster and avoids edge cases where
+ * findReferencesAsNodes() returns zero refs for destructured bindings.
+ *
+ * **Known limitations (false negatives):**
+ * - Variable shadowing: `catch (err) { const err = new Error(); throw err }`
+ *   — the `err` Identifier matches but refers to the redeclared variable.
+ * - Nested catch with same name: `catch (err) { try { } catch (err) { log(err) } }`
+ *   — the inner `err` usage satisfies the outer check.
+ * Both are rare in practice and arguably code smells themselves.
+ */
+export function findSilentCatches(body) {
+    const results = [];
+    for (const catchClause of body.getDescendantsOfKind(SyntaxKind.CatchClause)) {
+        const varDecl = catchClause.getVariableDeclaration();
+        if (!varDecl) {
+            // catch { ... } — no binding at all, always a violation
+            results.push({
+                node: catchClause,
+                message: 'catch block has no error binding — error is silently discarded',
+            });
+            continue;
+        }
+        // Collect the binding names to search for
+        const bindingNames = getBindingNames(varDecl.getNameNode());
+        // No binding names extracted (e.g., unusual pattern) — skip to avoid false positive
+        if (bindingNames.size === 0)
+            continue;
+        // Walk the catch block for Identifier nodes matching any binding name
+        const block = catchClause.getBlock();
+        const hasReference = block
+            .getDescendantsOfKind(SyntaxKind.Identifier)
+            .some((id) => bindingNames.has(id.getText()));
+        if (!hasReference) {
+            const varName = varDecl.getName();
+            results.push({
+                node: catchClause,
+                message: `catch block binds '${varName}' but never references it — error is silently discarded`,
+            });
+        }
+    }
+    return results;
+}
+//# sourceMappingURL=catch-analysis.js.map

package/dist/conditions/catch-analysis.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"catch-analysis.js","sourceRoot":"","sources":["../../src/conditions/catch-analysis.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,UAAU,CAAA;AAa3C;;;;;GAKG;AACH,SAAS,eAAe,CAAC,QAAc;IACrC,IAAI,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,CAAC;QAChC,OAAO,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,CAAA;IACtC,CAAC;IAED,IAAI,IAAI,CAAC,sBAAsB,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,qBAAqB,CAAC,QAAQ,CAAC,EAAE,CAAC;QAClF,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAA;QAC/B,KAAK,MAAM,OAAO,IAAI,QAAQ,CAAC,WAAW,EAAE,EAAE,CAAC;YAC7C,IAAI,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC;gBACnC,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,EAAE,CAAA;gBACzC,IAAI,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,EAAE,CAAC;oBACnC,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC,CAAA;gBAClC,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAA;IACd,CAAC;IAED,yEAAyE;IACzE,OAAO,IAAI,GAAG,EAAU,CAAA;AAC1B,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAAU;IAC1C,MAAM,OAAO,GAAwB,EAAE,CAAA;IAEvC,KAAK,MAAM,WAAW,IAAI,IAAI,CAAC,oBAAoB,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;QAC5E,MAAM,OAAO,GAAG,WAAW,CAAC,sBAAsB,EAAE,CAAA;QAEpD,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,wDAAwD;YACxD,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,WAAW;gBACjB,OAAO,EAAE,gEAAgE;aAC1E,CAAC,CAAA;YACF,SAAQ;QACV,CAAC;QAED,0CAA0C;QAC1C,MAAM,YAAY,GAAG,eAAe,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,CAAA;QAE3D,oFAAoF;QACpF,IAAI,YAAY,CAAC,IAAI,KAAK,CAAC;YAAE,SAAQ;QAErC,sEAAsE;QACtE,MAAM,KAAK,GAAG,WAAW,CAAC,QAAQ,EAAE,CAAA;QACpC,MAAM,YAAY,GAAG,KAAK;aACvB,oBAAoB,CAAC,UAAU,CAAC,UAAU,CAAC;aAC3C,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC,CAAA;QAE/C,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,EAAE,CAAA;YACjC,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,WAAW;gBACjB,OAAO,EAAE,sBAAsB,OAAO,yDAAyD;aAChG,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAA;AAChB,CAAC"}

package/dist/conditions/class.d.ts

@@ -0,0 +1,33 @@
+import type { ClassDeclaration } from 'ts-morph';
+import type { Condition } from '@nielspeter/eess';
+import type { TypeMatcher } from '../helpers/type-matchers.js';
+/**
+ * Assert that classes extend the named base class.
+ */
+export declare function shouldExtend(className: string): Condition<ClassDeclaration>;
+/**
+ * Assert that classes implement the named interface.
+ */
+export declare function shouldImplement(interfaceName: string): Condition<ClassDeclaration>;
+/**
+ * Assert that classes have a method with the given name.
+ */
+export declare function shouldHaveMethodNamed(name: string): Condition<ClassDeclaration>;
+/**
+ * Assert that classes do NOT have any methods matching the regex.
+ */
+export declare function shouldNotHaveMethodMatching(regex: RegExp): Condition<ClassDeclaration>;
+/**
+ * Assert that at least one parameter across the class's constructors,
+ * methods, and set accessors has a type matching the given matcher.
+ *
+ * Passes when at least one parameter satisfies `matcher`.
+ * Reports one violation per class that has no matching parameter.
+ *
+ * **Scope note:** This scans constructors, methods, AND set accessors.
+ * The function-level counterpart (`functions(p).should().acceptParameterOfType(...)`)
+ * does NOT scan set accessors because `collectFunctions()` excludes them.
+ */
+export declare function acceptParameterOfType(matcher: TypeMatcher): Condition<ClassDeclaration>;
+export declare function notAcceptParameterOfType(matcher: TypeMatcher): Condition<ClassDeclaration>;
+//# sourceMappingURL=class.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"class.d.ts","sourceRoot":"","sources":["../../src/conditions/class.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAwB,MAAM,UAAU,CAAA;AACtE,OAAO,KAAK,EAAE,SAAS,EAAoB,MAAM,kBAAkB,CAAA;AAInE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAA;AAE9D;;GAEG;AACH,wBAAgB,YAAY,CAAC,SAAS,EAAE,MAAM,GAAG,SAAS,CAAC,gBAAgB,CAAC,CAM3E;AAED;;GAEG;AACH,wBAAgB,eAAe,CAAC,aAAa,EAAE,MAAM,GAAG,SAAS,CAAC,gBAAgB,CAAC,CAMlF;AAED;;GAEG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC,gBAAgB,CAAC,CAM/E;AAED;;GAEG;AACH,wBAAgB,2BAA2B,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,CAAC,gBAAgB,CAAC,CAYtF;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,WAAW,GAAG,SAAS,CAAC,gBAAgB,CAAC,CAyBvF;AAkDD,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,WAAW,GAAG,SAAS,CAAC,gBAAgB,CAAC,CAW1F"}

package/dist/conditions/class.js

@@ -0,0 +1,110 @@
+import { elementCondition } from './helpers.js';
+import { createViolation, getElementName } from '../core/violation.js';
+/**
+ * Assert that classes extend the named base class.
+ */
+export function shouldExtend(className) {
+    return elementCondition(`extend "${className}"`, (cls) => cls.getExtends()?.getExpression().getText() === className, (cls) => `${getElementName(cls)} does not extend "${className}"`);
+}
+/**
+ * Assert that classes implement the named interface.
+ */
+export function shouldImplement(interfaceName) {
+    return elementCondition(`implement "${interfaceName}"`, (cls) => cls.getImplements().some((impl) => impl.getExpression().getText() === interfaceName), (cls) => `${getElementName(cls)} does not implement "${interfaceName}"`);
+}
+/**
+ * Assert that classes have a method with the given name.
+ */
+export function shouldHaveMethodNamed(name) {
+    return elementCondition(`have method named "${name}"`, (cls) => cls.getMethod(name) !== undefined, (cls) => `${getElementName(cls)} does not have method "${name}"`);
+}
+/**
+ * Assert that classes do NOT have any methods matching the regex.
+ */
+export function shouldNotHaveMethodMatching(regex) {
+    return elementCondition(`not have methods matching ${String(regex)}`, (cls) => !cls.getMethods().some((m) => regex.test(m.getName())), (cls) => {
+        const matching = cls
+            .getMethods()
+            .filter((m) => regex.test(m.getName()))
+            .map((m) => m.getName());
+        return `${getElementName(cls)} has methods matching ${String(regex)}: ${matching.join(', ')}`;
+    });
+}
+/**
+ * Assert that at least one parameter across the class's constructors,
+ * methods, and set accessors has a type matching the given matcher.
+ *
+ * Passes when at least one parameter satisfies `matcher`.
+ * Reports one violation per class that has no matching parameter.
+ *
+ * **Scope note:** This scans constructors, methods, AND set accessors.
+ * The function-level counterpart (`functions(p).should().acceptParameterOfType(...)`)
+ * does NOT scan set accessors because `collectFunctions()` excludes them.
+ */
+export function acceptParameterOfType(matcher) {
+    return {
+        description: 'accept parameter of matching type',
+        evaluate(elements, context) {
+            const violations = [];
+            for (const cls of elements) {
+                const allParams = [
+                    ...cls.getConstructors().flatMap((c) => c.getParameters()),
+                    ...cls.getMethods().flatMap((m) => m.getParameters()),
+                    ...cls.getSetAccessors().flatMap((s) => s.getParameters()),
+                ];
+                const hasMatch = allParams.some((p) => matcher(p.getType()));
+                if (!hasMatch) {
+                    violations.push(createViolation(cls, `${getElementName(cls)} has no parameter with matching type`, context));
+                }
+            }
+            return violations;
+        },
+    };
+}
+/**
+ * Assert that NO parameter across the class's constructors, methods,
+ * and set accessors has a type matching the given matcher.
+ *
+ * Reports one violation **per parameter** whose type satisfies `matcher`,
+ * with actionable messages including the member name and parameter name.
+ *
+ * **Scope note:** This scans constructors, methods, AND set accessors.
+ * The function-level counterpart (`functions(p).should().notAcceptParameterOfType(...)`)
+ * does NOT scan set accessors because `collectFunctions()` excludes them.
+ */
+/**
+ * Scan parameters of class members (constructors, methods, set accessors) for
+ * types matching the given matcher. Returns a violation for each matching parameter.
+ */
+function scanParametersForType(cls, typeMatcher, context) {
+    const violations = [];
+    const className = getElementName(cls);
+    const members = [
+        ...cls.getConstructors().map((c) => ({ memberName: 'constructor', params: c.getParameters() })),
+        ...cls.getMethods().map((m) => ({ memberName: m.getName(), params: m.getParameters() })),
+        ...cls.getSetAccessors().map((s) => ({ memberName: s.getName(), params: s.getParameters() })),
+    ];
+    for (const { memberName, params } of members) {
+        for (const param of params) {
+            if (typeMatcher(param.getType())) {
+                const paramName = param.getName();
+                const typeText = param.getType().getText();
+                violations.push(createViolation(cls, `${className}.${memberName} parameter "${paramName}" has type "${typeText}"`, context));
+            }
+        }
+    }
+    return violations;
+}
+export function notAcceptParameterOfType(matcher) {
+    return {
+        description: 'not accept parameter of matching type',
+        evaluate(elements, context) {
+            const violations = [];
+            for (const cls of elements) {
+                violations.push(...scanParametersForType(cls, matcher, context));
+            }
+            return violations;
+        },
+    };
+}
+//# sourceMappingURL=class.js.map

package/dist/conditions/class.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"class.js","sourceRoot":"","sources":["../../src/conditions/class.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAC/C,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAGtE;;GAEG;AACH,MAAM,UAAU,YAAY,CAAC,SAAiB;IAC5C,OAAO,gBAAgB,CACrB,WAAW,SAAS,GAAG,EACvB,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,EAAE,EAAE,aAAa,EAAE,CAAC,OAAO,EAAE,KAAK,SAAS,EAClE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,cAAc,CAAC,GAAG,CAAC,qBAAqB,SAAS,GAAG,CACjE,CAAA;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,eAAe,CAAC,aAAqB;IACnD,OAAO,gBAAgB,CACrB,cAAc,aAAa,GAAG,EAC9B,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,aAAa,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,OAAO,EAAE,KAAK,aAAa,CAAC,EAC7F,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,cAAc,CAAC,GAAG,CAAC,wBAAwB,aAAa,GAAG,CACxE,CAAA;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,qBAAqB,CAAC,IAAY;IAChD,OAAO,gBAAgB,CACrB,sBAAsB,IAAI,GAAG,EAC7B,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,SAAS,EAC1C,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,cAAc,CAAC,GAAG,CAAC,0BAA0B,IAAI,GAAG,CACjE,CAAA;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,2BAA2B,CAAC,KAAa;IACvD,OAAO,gBAAgB,CACrB,6BAA6B,MAAM,CAAC,KAAK,CAAC,EAAE,EAC5C,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,EAC/D,CAAC,GAAG,EAAE,EAAE;QACN,MAAM,QAAQ,GAAG,GAAG;aACjB,UAAU,EAAE;aACZ,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;aACtC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAA;QAC1B,OAAO,GAAG,cAAc,CAAC,GAAG,CAAC,yBAAyB,MAAM,CAAC,KAAK,CAAC,KAAK,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAA;IAC/F,CAAC,CACF,CAAA;AACH,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,qBAAqB,CAAC,OAAoB;IACxD,OAAO;QACL,WAAW,EAAE,mCAAmC;QAChD,QAAQ,CAAC,QAA4B,EAAE,OAAyB;YAC9D,MAAM,UAAU,GAAoB,EAAE,CAAA;YACtC,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;gBAC3B,MAAM,SAAS,GAAG;oBAChB,GAAG,GAAG,CAAC,eAAe,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;oBAC1D,GAAG,GAAG,CAAC,UAAU,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;oBACrD,GAAG,GAAG,CAAC,eAAe,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;iBAC3D,CAAA;gBACD,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAA;gBAC5D,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACd,UAAU,CAAC,IAAI,CACb,eAAe,CACb,GAAG,EACH,GAAG,cAAc,CAAC,GAAG,CAAC,sCAAsC,EAC5D,OAAO,CACR,CACF,CAAA;gBACH,CAAC;YACH,CAAC;YACD,OAAO,UAAU,CAAA;QACnB,CAAC;KACF,CAAA;AACH,CAAC;AAED;;;;;;;;;;GAUG;AACH;;;GAGG;AACH,SAAS,qBAAqB,CAC5B,GAAqB,EACrB,WAAwB,EACxB,OAAyB;IAEzB,MAAM,UAAU,GAAoB,EAAE,CAAA;IACtC,MAAM,SAAS,GAAG,cAAc,CAAC,GAAG,CAAC,CAAA;IAErC,MAAM,OAAO,GAAkE;QAC7E,GAAG,GAAG,CAAC,eAAe,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;QAC/F,GAAG,GAAG,CAAC,UAAU,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;QACxF,GAAG,GAAG,CAAC,eAAe,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;KAC9F,CAAA;IAED,KAAK,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,OAAO,EAAE,CAAC;QAC7C,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,IAAI,WAAW,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;gBACjC,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,EAAE,CAAA;gBACjC,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,CAAA;gBAC1C,UAAU,CAAC,IAAI,CACb,eAAe,CACb,GAAG,EACH,GAAG,SAAS,IAAI,UAAU,eAAe,SAAS,eAAe,QAAQ,GAAG,EAC5E,OAAO,CACR,CACF,CAAA;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,UAAU,CAAA;AACnB,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,OAAoB;IAC3D,OAAO;QACL,WAAW,EAAE,uCAAuC;QACpD,QAAQ,CAAC,QAA4B,EAAE,OAAyB;YAC9D,MAAM,UAAU,GAAoB,EAAE,CAAA;YACtC,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;gBAC3B,UAAU,CAAC,IAAI,CAAC,GAAG,qBAAqB,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAA;YAClE,CAAC;YACD,OAAO,UAAU,CAAA;QACnB,CAAC;KACF,CAAA;AACH,CAAC"}

package/dist/conditions/cross-layer.d.ts

@@ -0,0 +1,28 @@
+import type { SourceFile } from 'ts-morph';
+import type { PairCondition } from '../core/pair-condition.js';
+import type { ArchViolation } from '../core/violation.js';
+import type { LayerPair, Layer } from '../models/cross-layer.js';
+/**
+ * Every element in the left layer must have at least one match in the right layer.
+ *
+ * Produces a violation for each left-layer file that has no matching pair.
+ * "Match" is determined by the mapping function provided via `.mapping()`.
+ *
+ * @param layers - The resolved layers, needed to identify unmatched left files
+ */
+export declare function haveMatchingCounterpart(layers: Layer[]): PairCondition;
+/**
+ * The matched pair must have consistent exported symbol names.
+ *
+ * Takes two extractor functions that pull symbol names from each side.
+ * Every symbol extracted from the left file must appear in the right file.
+ */
+export declare function haveConsistentExports(extractLeft: (file: SourceFile) => string[], extractRight: (file: SourceFile) => string[]): PairCondition;
+/**
+ * Custom pair assertion — shorthand for inline PairCondition.
+ *
+ * The provided function is called for each pair. Return an `ArchViolation`
+ * to signal failure, or `null` if the pair is consistent.
+ */
+export declare function satisfyPairCondition(description: string, fn: (pair: LayerPair) => ArchViolation | null): PairCondition;
+//# sourceMappingURL=cross-layer.d.ts.map

package/dist/conditions/cross-layer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cross-layer.d.ts","sourceRoot":"","sources":["../../src/conditions/cross-layer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,UAAU,CAAA;AAC1C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAA;AAE9D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AACzD,OAAO,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,0BAA0B,CAAA;AAEhE;;;;;;;GAOG;AACH,wBAAgB,uBAAuB,CAAC,MAAM,EAAE,KAAK,EAAE,GAAG,aAAa,CA2CtE;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CACnC,WAAW,EAAE,CAAC,IAAI,EAAE,UAAU,KAAK,MAAM,EAAE,EAC3C,YAAY,EAAE,CAAC,IAAI,EAAE,UAAU,KAAK,MAAM,EAAE,GAC3C,aAAa,CA8Bf;AAED;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAClC,WAAW,EAAE,MAAM,EACnB,EAAE,EAAE,CAAC,IAAI,EAAE,SAAS,KAAK,aAAa,GAAG,IAAI,GAC5C,aAAa,CAcf"}