@nielspeter/eess-ts 0.1.0

package/dist/core/violation.js

@@ -0,0 +1,130 @@
+import { Node } from 'ts-morph';
+import { generateCodeFrame } from '@nielspeter/eess';
+/**
+ * Check if a node is a named declaration and return its name, or undefined.
+ * Constructors return "constructor" since they have no getName().
+ */
+function getNodeName(node) {
+    if (Node.isConstructorDeclaration(node))
+        return 'constructor';
+    if (Node.isClassDeclaration(node) ||
+        Node.isFunctionDeclaration(node) ||
+        Node.isInterfaceDeclaration(node) ||
+        Node.isTypeAliasDeclaration(node) ||
+        Node.isEnumDeclaration(node) ||
+        Node.isMethodDeclaration(node) ||
+        Node.isGetAccessorDeclaration(node) ||
+        Node.isSetAccessorDeclaration(node) ||
+        Node.isPropertyDeclaration(node) ||
+        Node.isVariableDeclaration(node)) {
+        return node.getName();
+    }
+    return undefined;
+}
+/**
+ * Check if a node is a structural member that should appear in
+ * qualified element names (e.g., "ClassName.methodName").
+ * Returns the member name, or undefined to skip.
+ */
+function getStructuralName(node) {
+    if (Node.isConstructorDeclaration(node))
+        return 'constructor';
+    if (Node.isMethodDeclaration(node) ||
+        Node.isGetAccessorDeclaration(node) ||
+        Node.isSetAccessorDeclaration(node) ||
+        Node.isPropertyDeclaration(node)) {
+        return node.getName();
+    }
+    // Arrow/function expressions: check if assigned to a named variable
+    if (Node.isArrowFunction(node) || Node.isFunctionExpression(node)) {
+        const parent = node.getParent();
+        if (parent && Node.isVariableDeclaration(parent)) {
+            return parent.getName();
+        }
+    }
+    return undefined;
+}
+/**
+ * Check if a node is a top-level architectural boundary where
+ * the ancestor walk should stop.
+ */
+function isTopLevelDeclaration(node) {
+    return (Node.isClassDeclaration(node) ||
+        Node.isInterfaceDeclaration(node) ||
+        Node.isTypeAliasDeclaration(node) ||
+        Node.isEnumDeclaration(node) ||
+        Node.isFunctionDeclaration(node));
+}
+/**
+ * Extract a human-readable name from a ts-morph Node.
+ *
+ * If the node itself is a named declaration (class, function, method, etc.),
+ * returns its name directly. Otherwise, walks up the AST ancestors to find
+ * the nearest named declaration and builds a qualified name like
+ * "ClassName.methodName". This ensures that inner nodes (e.g., AsExpression,
+ * CallExpression) produce meaningful element names for `.excluding()` matching.
+ *
+ * Falls back to the node's kind name only if no named ancestor is found
+ * (e.g., top-level expressions in a module).
+ */
+export function getElementName(node) {
+    const directName = getNodeName(node);
+    if (directName !== undefined)
+        return directName;
+    // Walk up ancestors collecting structural names: method/constructor/accessor
+    // at the member level, class/function at the top level. Skips variables,
+    // properties, and expressions — those are implementation detail.
+    const parts = [];
+    let current = node.getParent();
+    while (current) {
+        // Top-level declarations: collect name and stop
+        if (isTopLevelDeclaration(current)) {
+            const name = getNodeName(current);
+            if (name !== undefined)
+                parts.unshift(name);
+            break;
+        }
+        // Structural members: collect name and keep walking to find the parent class
+        const memberName = getStructuralName(current);
+        if (memberName !== undefined) {
+            parts.unshift(memberName);
+        }
+        current = current.getParent();
+    }
+    return parts.length > 0 ? parts.join('.') : node.getKindName();
+}
+/**
+ * Get the absolute file path for a ts-morph Node.
+ */
+export function getElementFile(node) {
+    return node.getSourceFile().getFilePath();
+}
+/**
+ * Get the start line number for a ts-morph Node.
+ */
+export function getElementLine(node) {
+    return node.getStartLineNumber();
+}
+/**
+ * Create an ArchViolation from a ts-morph Node and context.
+ *
+ * Convenience function used by all condition implementations to produce
+ * consistent violation objects.
+ */
+export function createViolation(node, message, context) {
+    const line = getElementLine(node);
+    const sourceText = node.getSourceFile().getFullText();
+    return {
+        rule: context.rule,
+        ruleId: context.ruleId,
+        element: getElementName(node),
+        file: getElementFile(node),
+        line,
+        message,
+        because: context.because,
+        suggestion: context.suggestion,
+        docs: context.docs,
+        codeFrame: generateCodeFrame(sourceText, line),
+    };
+}
+//# sourceMappingURL=violation.js.map

package/dist/core/violation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"violation.js","sourceRoot":"","sources":["../../src/core/violation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,UAAU,CAAA;AAC/B,OAAO,EAAE,iBAAiB,EAAsB,MAAM,kBAAkB,CAAA;AAOxE;;;GAGG;AACH,SAAS,WAAW,CAAC,IAAU;IAC7B,IAAI,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC;QAAE,OAAO,aAAa,CAAA;IAC7D,IACE,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC;QAC7B,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC;QAChC,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC;QACjC,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC;QACjC,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC;QAC5B,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC;QAC9B,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC;QACnC,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC;QACnC,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC;QAChC,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAChC,CAAC;QACD,OAAO,IAAI,CAAC,OAAO,EAAE,CAAA;IACvB,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED;;;;GAIG;AACH,SAAS,iBAAiB,CAAC,IAAU;IACnC,IAAI,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC;QAAE,OAAO,aAAa,CAAA;IAC7D,IACE,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC;QAC9B,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC;QACnC,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC;QACnC,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAChC,CAAC;QACD,OAAO,IAAI,CAAC,OAAO,EAAE,CAAA;IACvB,CAAC;IACD,oEAAoE;IACpE,IAAI,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;QAClE,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,CAAA;QAC/B,IAAI,MAAM,IAAI,IAAI,CAAC,qBAAqB,CAAC,MAAM,CAAC,EAAE,CAAC;YACjD,OAAO,MAAM,CAAC,OAAO,EAAE,CAAA;QACzB,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED;;;GAGG;AACH,SAAS,qBAAqB,CAAC,IAAU;IACvC,OAAO,CACL,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC;QAC7B,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC;QACjC,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC;QACjC,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC;QAC5B,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,CACjC,CAAA;AACH,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,cAAc,CAAC,IAAU;IACvC,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,CAAC,CAAA;IACpC,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,UAAU,CAAA;IAE/C,6EAA6E;IAC7E,yEAAyE;IACzE,iEAAiE;IACjE,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,IAAI,OAAO,GAAqB,IAAI,CAAC,SAAS,EAAE,CAAA;IAChD,OAAO,OAAO,EAAE,CAAC;QACf,gDAAgD;QAChD,IAAI,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;YACnC,MAAM,IAAI,GAAG,WAAW,CAAC,OAAO,CAAC,CAAA;YACjC,IAAI,IAAI,KAAK,SAAS;gBAAE,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;YAC3C,MAAK;QACP,CAAC;QACD,6EAA6E;QAC7E,MAAM,UAAU,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAA;QAC7C,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,CAAA;QAC3B,CAAC;QACD,OAAO,GAAG,OAAO,CAAC,SAAS,EAAE,CAAA;IAC/B,CAAC;IAED,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,CAAA;AAChE,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,cAAc,CAAC,IAAU;IACvC,OAAO,IAAI,CAAC,aAAa,EAAE,CAAC,WAAW,EAAE,CAAA;AAC3C,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,cAAc,CAAC,IAAU;IACvC,OAAO,IAAI,CAAC,kBAAkB,EAAE,CAAA;AAClC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAC7B,IAAU,EACV,OAAe,EACf,OAMC;IAED,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC,CAAA;IACjC,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,WAAW,EAAE,CAAA;IACrD,OAAO;QACL,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,OAAO,EAAE,cAAc,CAAC,IAAI,CAAC;QAC7B,IAAI,EAAE,cAAc,CAAC,IAAI,CAAC;QAC1B,IAAI;QACJ,OAAO;QACP,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,SAAS,EAAE,iBAAiB,CAAC,UAAU,EAAE,IAAI,CAAC;KAC/C,CAAA;AACH,CAAC"}

package/dist/graphql/index.d.ts

@@ -0,0 +1,76 @@
+/**
+ * GraphQL extension for eess-ts.
+ *
+ * Sub-path export: `import { schema, resolvers } from '@nielspeter/eess-ts/graphql'`
+ *
+ * Requires the `graphql` npm package as an optional peer dependency.
+ * Schema loading will throw a clear error if graphql is not installed.
+ */
+import type { ArchProject } from '../core/project.js';
+import { SchemaRuleBuilder } from './schema-rule-builder.js';
+import { ResolverRuleBuilder } from './resolver-rule-builder.js';
+/**
+ * Create a schema rule builder scoped to .graphql files matching the glob.
+ *
+ * @param projectOrRoot - ArchProject (uses tsconfig root) or a directory path
+ * @param glob - Glob pattern for .graphql files (e.g. 'schema/*.graphql')
+ * @returns A SchemaRuleBuilder for defining schema architecture rules
+ *
+ * @example
+ * ```typescript
+ * import { project } from '@nielspeter/eess-ts'
+ * import { schema } from '@nielspeter/eess-ts/graphql'
+ *
+ * const p = project('tsconfig.json')
+ * schema(p, 'src/schema/*.graphql')
+ *   .typesNamed(/Collection$/)
+ *   .should()
+ *   .haveFields('total', 'skip', 'limit', 'items')
+ *   .check()
+ * ```
+ */
+export declare function schema(projectOrRoot: ArchProject | string, glob: string): SchemaRuleBuilder;
+/**
+ * Create a schema rule builder from a raw SDL string.
+ *
+ * @param sdl - GraphQL Schema Definition Language string
+ * @param sourcePath - Optional file path for error reporting
+ * @returns A SchemaRuleBuilder
+ */
+export declare function schemaFromSDL(sdl: string, sourcePath?: string): SchemaRuleBuilder;
+/**
+ * Create a resolver rule builder scoped to TypeScript files matching the glob.
+ *
+ * Resolver files are regular TypeScript — analyzed via ts-morph, not the graphql package.
+ * Conditions like contain(call('loader.load')) reuse the body analysis engine.
+ *
+ * @param p - The loaded ArchProject
+ * @param glob - Glob pattern for resolver files (e.g. 'src/resolvers/**')
+ * @returns A ResolverRuleBuilder
+ *
+ * @example
+ * ```typescript
+ * import { project } from '@nielspeter/eess-ts'
+ * import { resolvers } from '@nielspeter/eess-ts/graphql'
+ * import { call } from '@nielspeter/eess-ts'
+ *
+ * const p = project('tsconfig.json')
+ * resolvers(p, 'src/resolvers/**')
+ *   .that()
+ *   .resolveFieldReturning(/^[A-Z]/)
+ *   .should()
+ *   .contain(call('loader.load'))
+ *   .because('prevent N+1 queries')
+ *   .check()
+ * ```
+ */
+export declare function resolvers(p: ArchProject, glob: string): ResolverRuleBuilder;
+export { SchemaRuleBuilder } from './schema-rule-builder.js';
+export { ResolverRuleBuilder } from './resolver-rule-builder.js';
+export { resolveFieldReturning } from './resolver-rule-builder.js';
+export { queries, mutations, typesNamed, returnListOf } from './schema-predicates.js';
+export type { SchemaElement } from './schema-predicates.js';
+export { haveFields, acceptArgs, haveMatchingResolver } from './schema-conditions.js';
+export { loadSchemaFromGlob, loadSchemaFromSDL, isGraphQLAvailable } from './schema-loader.js';
+export type { LoadedSchema, GraphQLSchemaLike, GraphQLObjectTypeLike, GraphQLFieldLike, GraphQLArgumentLike, GraphQLTypeLike, } from './schema-loader.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/graphql/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/graphql/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AAErD,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAA;AAC5D,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAA;AAIhE;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,MAAM,CAAC,aAAa,EAAE,WAAW,GAAG,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,iBAAiB,CAK3F;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,UAAU,CAAC,EAAE,MAAM,GAAG,iBAAiB,CAGjF;AAED;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,wBAAgB,SAAS,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,GAAG,mBAAmB,CAM3E;AAID,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAA;AAC5D,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAA;AAChE,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAA;AAGlE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAA;AACrF,YAAY,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAA;AAG3D,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAA;AAGrF,OAAO,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAA;AAC9F,YAAY,EACV,YAAY,EACZ,iBAAiB,EACjB,qBAAqB,EACrB,gBAAgB,EAChB,mBAAmB,EACnB,eAAe,GAChB,MAAM,oBAAoB,CAAA"}

package/dist/graphql/index.js

@@ -0,0 +1,108 @@
+/**
+ * GraphQL extension for eess-ts.
+ *
+ * Sub-path export: `import { schema, resolvers } from '@nielspeter/eess-ts/graphql'`
+ *
+ * Requires the `graphql` npm package as an optional peer dependency.
+ * Schema loading will throw a clear error if graphql is not installed.
+ */
+import { loadSchemaFromGlob, loadSchemaFromSDL } from './schema-loader.js';
+import { SchemaRuleBuilder } from './schema-rule-builder.js';
+import { ResolverRuleBuilder } from './resolver-rule-builder.js';
+// --- Entry points ---
+/**
+ * Create a schema rule builder scoped to .graphql files matching the glob.
+ *
+ * @param projectOrRoot - ArchProject (uses tsconfig root) or a directory path
+ * @param glob - Glob pattern for .graphql files (e.g. 'schema/*.graphql')
+ * @returns A SchemaRuleBuilder for defining schema architecture rules
+ *
+ * @example
+ * ```typescript
+ * import { project } from '@nielspeter/eess-ts'
+ * import { schema } from '@nielspeter/eess-ts/graphql'
+ *
+ * const p = project('tsconfig.json')
+ * schema(p, 'src/schema/*.graphql')
+ *   .typesNamed(/Collection$/)
+ *   .should()
+ *   .haveFields('total', 'skip', 'limit', 'items')
+ *   .check()
+ * ```
+ */
+export function schema(projectOrRoot, glob) {
+    const rootDir = typeof projectOrRoot === 'string' ? projectOrRoot : extractRootDir(projectOrRoot.tsConfigPath);
+    const loaded = loadSchemaFromGlob(rootDir, glob);
+    return new SchemaRuleBuilder(loaded);
+}
+/**
+ * Create a schema rule builder from a raw SDL string.
+ *
+ * @param sdl - GraphQL Schema Definition Language string
+ * @param sourcePath - Optional file path for error reporting
+ * @returns A SchemaRuleBuilder
+ */
+export function schemaFromSDL(sdl, sourcePath) {
+    const loaded = loadSchemaFromSDL(sdl, sourcePath);
+    return new SchemaRuleBuilder(loaded);
+}
+/**
+ * Create a resolver rule builder scoped to TypeScript files matching the glob.
+ *
+ * Resolver files are regular TypeScript — analyzed via ts-morph, not the graphql package.
+ * Conditions like contain(call('loader.load')) reuse the body analysis engine.
+ *
+ * @param p - The loaded ArchProject
+ * @param glob - Glob pattern for resolver files (e.g. 'src/resolvers/**')
+ * @returns A ResolverRuleBuilder
+ *
+ * @example
+ * ```typescript
+ * import { project } from '@nielspeter/eess-ts'
+ * import { resolvers } from '@nielspeter/eess-ts/graphql'
+ * import { call } from '@nielspeter/eess-ts'
+ *
+ * const p = project('tsconfig.json')
+ * resolvers(p, 'src/resolvers/**')
+ *   .that()
+ *   .resolveFieldReturning(/^[A-Z]/)
+ *   .should()
+ *   .contain(call('loader.load'))
+ *   .because('prevent N+1 queries')
+ *   .check()
+ * ```
+ */
+export function resolvers(p, glob) {
+    const sourceFiles = p.getSourceFiles().filter((sf) => {
+        const filePath = sf.getFilePath();
+        return picomatchFilter(filePath, glob, extractRootDir(p.tsConfigPath));
+    });
+    return new ResolverRuleBuilder(sourceFiles);
+}
+// --- Re-exports ---
+export { SchemaRuleBuilder } from './schema-rule-builder.js';
+export { ResolverRuleBuilder } from './resolver-rule-builder.js';
+export { resolveFieldReturning } from './resolver-rule-builder.js';
+// Schema predicates (standalone)
+export { queries, mutations, typesNamed, returnListOf } from './schema-predicates.js';
+// Schema conditions (standalone)
+export { haveFields, acceptArgs, haveMatchingResolver } from './schema-conditions.js';
+// Schema loader utilities
+export { loadSchemaFromGlob, loadSchemaFromSDL, isGraphQLAvailable } from './schema-loader.js';
+// --- Internal helpers ---
+import path from 'node:path';
+import picomatch from 'picomatch';
+function extractRootDir(tsConfigPath) {
+    return path.dirname(tsConfigPath);
+}
+const matcherCache = new Map();
+function picomatchFilter(filePath, glob, rootDir) {
+    const relativePath = path.relative(rootDir, filePath);
+    let matcher = matcherCache.get(glob);
+    if (!matcher) {
+        matcher = picomatch(glob);
+        matcherCache.set(glob, matcher);
+    }
+    return matcher(relativePath);
+}
+//# sourceMappingURL=index.js.map

package/dist/graphql/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/graphql/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAA;AAC1E,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAA;AAC5D,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAA;AAEhE,uBAAuB;AAEvB;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,MAAM,CAAC,aAAmC,EAAE,IAAY;IACtE,MAAM,OAAO,GACX,OAAO,aAAa,KAAK,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,cAAc,CAAC,aAAa,CAAC,YAAY,CAAC,CAAA;IAChG,MAAM,MAAM,GAAG,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAA;IAChD,OAAO,IAAI,iBAAiB,CAAC,MAAM,CAAC,CAAA;AACtC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAAC,GAAW,EAAE,UAAmB;IAC5D,MAAM,MAAM,GAAG,iBAAiB,CAAC,GAAG,EAAE,UAAU,CAAC,CAAA;IACjD,OAAO,IAAI,iBAAiB,CAAC,MAAM,CAAC,CAAA;AACtC,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,MAAM,UAAU,SAAS,CAAC,CAAc,EAAE,IAAY;IACpD,MAAM,WAAW,GAAG,CAAC,CAAC,cAAc,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE;QACnD,MAAM,QAAQ,GAAG,EAAE,CAAC,WAAW,EAAE,CAAA;QACjC,OAAO,eAAe,CAAC,QAAQ,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAA;IACxE,CAAC,CAAC,CAAA;IACF,OAAO,IAAI,mBAAmB,CAAC,WAAW,CAAC,CAAA;AAC7C,CAAC;AAED,qBAAqB;AAErB,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAA;AAC5D,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAA;AAChE,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAA;AAElE,iCAAiC;AACjC,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAA;AAGrF,iCAAiC;AACjC,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAA;AAErF,0BAA0B;AAC1B,OAAO,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAA;AAU9F,2BAA2B;AAE3B,OAAO,IAAI,MAAM,WAAW,CAAA;AAC5B,OAAO,SAAS,MAAM,WAAW,CAAA;AAEjC,SAAS,cAAc,CAAC,YAAoB;IAC1C,OAAO,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAA;AACnC,CAAC;AAED,MAAM,YAAY,GAAG,IAAI,GAAG,EAA6B,CAAA;AAEzD,SAAS,eAAe,CAAC,QAAgB,EAAE,IAAY,EAAE,OAAe;IACtE,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAA;IACrD,IAAI,OAAO,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;IACpC,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,CAAA;QACzB,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;IACjC,CAAC;IACD,OAAO,OAAO,CAAC,YAAY,CAAC,CAAA;AAC9B,CAAC"}

package/dist/graphql/resolver-rule-builder.d.ts

@@ -0,0 +1,75 @@
+import type { SourceFile } from 'ts-morph';
+import type { ArchViolation } from '../core/violation.js';
+import type { Predicate } from '@nielspeter/eess';
+import { TerminalBuilder } from '@nielspeter/eess';
+import type { ExpressionMatcher } from '../helpers/matchers.js';
+import type { ArchFunction } from '../models/arch-function.js';
+/**
+ * Predicate: filter to resolver functions for fields returning types matching the pattern.
+ *
+ * Heuristic: a resolver function is one whose name starts with an uppercase letter
+ * (type name) or matches common resolver naming conventions. The return type is
+ * checked against the pattern.
+ *
+ * @param pattern - Regex or string to match against the resolved return type text
+ */
+export declare function resolveFieldReturning(pattern: RegExp | string): Predicate<ArchFunction>;
+/**
+ * Fluent rule builder for GraphQL resolver architecture rules.
+ *
+ * Operates on TypeScript resolver files analyzed through the ArchFunction model.
+ * Reuses the body analysis engine from plan 0011 for conditions like contain/notContain.
+ *
+ * @example
+ * ```typescript
+ * resolvers(p, 'src/resolvers/**')
+ *   .that()
+ *   .resolveFieldReturning(/^[A-Z]/)
+ *   .should()
+ *   .contain(call('loader.load'))
+ *   .because('prevent N+1 queries')
+ *   .check()
+ * ```
+ */
+export declare class ResolverRuleBuilder extends TerminalBuilder {
+    private readonly sourceFiles;
+    private readonly _predicates;
+    private readonly _conditions;
+    constructor(sourceFiles: SourceFile[]);
+    /**
+     * Filter to resolver functions for fields returning types matching the pattern.
+     */
+    resolveFieldReturning(pattern: RegExp | string): this;
+    /**
+     * Begin the predicate phase. Purely a readability marker.
+     */
+    that(): this;
+    /**
+     * Add another predicate (AND).
+     */
+    and(): this;
+    /**
+     * Begin the condition phase.
+     */
+    should(): this;
+    /**
+     * Add another condition (AND).
+     */
+    andShould(): this;
+    /**
+     * Assert that the resolver body contains at least one match.
+     */
+    contain(matcher: ExpressionMatcher): this;
+    /**
+     * Assert that the resolver body does NOT contain any match.
+     */
+    notContain(matcher: ExpressionMatcher): this;
+    /**
+     * Assert: must NOT contain 'bad' AND must contain 'good'.
+     */
+    useInsteadOf(bad: ExpressionMatcher, good: ExpressionMatcher): this;
+    protected collectViolations(): ArchViolation[];
+    private getElements;
+    private buildRuleDescription;
+}
+//# sourceMappingURL=resolver-rule-builder.d.ts.map

package/dist/graphql/resolver-rule-builder.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolver-rule-builder.d.ts","sourceRoot":"","sources":["../../src/graphql/resolver-rule-builder.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,UAAU,CAAA;AAC1C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AAEzD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAA;AACjD,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAA;AAClD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAA;AAC/D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAA;AAQ9D;;;;;;;;GAQG;AACH,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC,YAAY,CAAC,CAYvF;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,qBAAa,mBAAoB,SAAQ,eAAe;IAI1C,OAAO,CAAC,QAAQ,CAAC,WAAW;IAHxC,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAgC;IAC5D,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAgC;gBAE/B,WAAW,EAAE,UAAU,EAAE;IAMtD;;OAEG;IACH,qBAAqB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI;IAOrD;;OAEG;IACH,IAAI,IAAI,IAAI;IAIZ;;OAEG;IACH,GAAG,IAAI,IAAI;IAIX;;OAEG;IACH,MAAM,IAAI,IAAI;IAId;;OAEG;IACH,SAAS,IAAI,IAAI;IAMjB;;OAEG;IACH,OAAO,CAAC,OAAO,EAAE,iBAAiB,GAAG,IAAI;IAKzC;;OAEG;IACH,UAAU,CAAC,OAAO,EAAE,iBAAiB,GAAG,IAAI;IAK5C;;OAEG;IACH,YAAY,CAAC,GAAG,EAAE,iBAAiB,EAAE,IAAI,EAAE,iBAAiB,GAAG,IAAI;IAOnE,SAAS,CAAC,iBAAiB,IAAI,aAAa,EAAE;IAmC9C,OAAO,CAAC,WAAW;IAInB,OAAO,CAAC,oBAAoB;CAQ7B"}

package/dist/graphql/resolver-rule-builder.js

@@ -0,0 +1,146 @@
+import { TerminalBuilder } from '@nielspeter/eess';
+import { collectFunctions } from '../models/arch-function.js';
+import { functionContain, functionNotContain, functionUseInsteadOf, } from '../conditions/body-analysis-function.js';
+/**
+ * Predicate: filter to resolver functions for fields returning types matching the pattern.
+ *
+ * Heuristic: a resolver function is one whose name starts with an uppercase letter
+ * (type name) or matches common resolver naming conventions. The return type is
+ * checked against the pattern.
+ *
+ * @param pattern - Regex or string to match against the resolved return type text
+ */
+export function resolveFieldReturning(pattern) {
+    const desc = typeof pattern === 'string' ? `"${pattern}"` : String(pattern);
+    return {
+        description: `resolve field returning ${desc}`,
+        test(fn) {
+            const returnType = fn.getReturnType().getText();
+            if (typeof pattern === 'string') {
+                return returnType.includes(pattern);
+            }
+            return pattern.test(returnType);
+        },
+    };
+}
+/**
+ * Fluent rule builder for GraphQL resolver architecture rules.
+ *
+ * Operates on TypeScript resolver files analyzed through the ArchFunction model.
+ * Reuses the body analysis engine from plan 0011 for conditions like contain/notContain.
+ *
+ * @example
+ * ```typescript
+ * resolvers(p, 'src/resolvers/**')
+ *   .that()
+ *   .resolveFieldReturning(/^[A-Z]/)
+ *   .should()
+ *   .contain(call('loader.load'))
+ *   .because('prevent N+1 queries')
+ *   .check()
+ * ```
+ */
+export class ResolverRuleBuilder extends TerminalBuilder {
+    sourceFiles;
+    _predicates = [];
+    _conditions = [];
+    constructor(sourceFiles) {
+        super();
+        this.sourceFiles = sourceFiles;
+    }
+    // --- Predicate methods ---
+    /**
+     * Filter to resolver functions for fields returning types matching the pattern.
+     */
+    resolveFieldReturning(pattern) {
+        this._predicates.push(resolveFieldReturning(pattern));
+        return this;
+    }
+    // --- Chain methods ---
+    /**
+     * Begin the predicate phase. Purely a readability marker.
+     */
+    that() {
+        return this;
+    }
+    /**
+     * Add another predicate (AND).
+     */
+    and() {
+        return this;
+    }
+    /**
+     * Begin the condition phase.
+     */
+    should() {
+        return this;
+    }
+    /**
+     * Add another condition (AND).
+     */
+    andShould() {
+        return this;
+    }
+    // --- Condition methods (reuse body analysis) ---
+    /**
+     * Assert that the resolver body contains at least one match.
+     */
+    contain(matcher) {
+        this._conditions.push(functionContain(matcher));
+        return this;
+    }
+    /**
+     * Assert that the resolver body does NOT contain any match.
+     */
+    notContain(matcher) {
+        this._conditions.push(functionNotContain(matcher));
+        return this;
+    }
+    /**
+     * Assert: must NOT contain 'bad' AND must contain 'good'.
+     */
+    useInsteadOf(bad, good) {
+        this._conditions.push(functionUseInsteadOf(bad, good));
+        return this;
+    }
+    // --- Evaluation ---
+    collectViolations() {
+        const allElements = this.getElements();
+        const filtered = allElements.filter((element) => this._predicates.every((predicate) => predicate.test(element)));
+        if (filtered.length === 0) {
+            return [];
+        }
+        if (this._conditions.length === 0) {
+            const ruleId = this._metadata?.id ?? 'unnamed';
+            console.warn(`[eess] Resolver rule '${ruleId}' has predicates but no conditions. ` +
+                `Did you forget to add a condition after .should()?`);
+            return [];
+        }
+        const context = {
+            rule: this.buildRuleDescription(),
+            because: this._reason,
+            ruleId: this._metadata?.id,
+            suggestion: this._metadata?.suggestion,
+            docs: this._metadata?.docs,
+        };
+        const violations = [];
+        for (const condition of this._conditions) {
+            violations.push(...condition.evaluate(filtered, context));
+        }
+        return violations;
+    }
+    getElements() {
+        return this.sourceFiles.flatMap((sf) => collectFunctions(sf));
+    }
+    buildRuleDescription() {
+        const predicateDesc = this._predicates.map((p) => p.description).join(' and ');
+        const conditionDesc = this._conditions.map((c) => c.description).join(' and ');
+        const parts = ['resolvers'];
+        if (predicateDesc)
+            parts.push(`that ${predicateDesc}`);
+        if (conditionDesc)
+            parts.push(`should ${conditionDesc}`);
+        return parts.join(' ');
+    }
+}
+//# sourceMappingURL=resolver-rule-builder.js.map

package/dist/graphql/resolver-rule-builder.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolver-rule-builder.js","sourceRoot":"","sources":["../../src/graphql/resolver-rule-builder.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAA;AAGlD,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAA;AAC7D,OAAO,EACL,eAAe,EACf,kBAAkB,EAClB,oBAAoB,GACrB,MAAM,yCAAyC,CAAA;AAEhD;;;;;;;;GAQG;AACH,MAAM,UAAU,qBAAqB,CAAC,OAAwB;IAC5D,MAAM,IAAI,GAAG,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,OAAO,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;IAC3E,OAAO;QACL,WAAW,EAAE,2BAA2B,IAAI,EAAE;QAC9C,IAAI,CAAC,EAAgB;YACnB,MAAM,UAAU,GAAG,EAAE,CAAC,aAAa,EAAE,CAAC,OAAO,EAAE,CAAA;YAC/C,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;gBAChC,OAAO,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAA;YACrC,CAAC;YACD,OAAO,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;QACjC,CAAC;KACF,CAAA;AACH,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,OAAO,mBAAoB,SAAQ,eAAe;IAIzB;IAHZ,WAAW,GAA8B,EAAE,CAAA;IAC3C,WAAW,GAA8B,EAAE,CAAA;IAE5D,YAA6B,WAAyB;QACpD,KAAK,EAAE,CAAA;QADoB,gBAAW,GAAX,WAAW,CAAc;IAEtD,CAAC;IAED,4BAA4B;IAE5B;;OAEG;IACH,qBAAqB,CAAC,OAAwB;QAC5C,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,qBAAqB,CAAC,OAAO,CAAC,CAAC,CAAA;QACrD,OAAO,IAAI,CAAA;IACb,CAAC;IAED,wBAAwB;IAExB;;OAEG;IACH,IAAI;QACF,OAAO,IAAI,CAAA;IACb,CAAC;IAED;;OAEG;IACH,GAAG;QACD,OAAO,IAAI,CAAA;IACb,CAAC;IAED;;OAEG;IACH,MAAM;QACJ,OAAO,IAAI,CAAA;IACb,CAAC;IAED;;OAEG;IACH,SAAS;QACP,OAAO,IAAI,CAAA;IACb,CAAC;IAED,kDAAkD;IAElD;;OAEG;IACH,OAAO,CAAC,OAA0B;QAChC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,CAAA;QAC/C,OAAO,IAAI,CAAA;IACb,CAAC;IAED;;OAEG;IACH,UAAU,CAAC,OAA0B;QACnC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAA;QAClD,OAAO,IAAI,CAAA;IACb,CAAC;IAED;;OAEG;IACH,YAAY,CAAC,GAAsB,EAAE,IAAuB;QAC1D,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,oBAAoB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAA;QACtD,OAAO,IAAI,CAAA;IACb,CAAC;IAED,qBAAqB;IAEX,iBAAiB;QACzB,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,EAAE,CAAA;QAEtC,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAC9C,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAC/D,CAAA;QAED,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1B,OAAO,EAAE,CAAA;QACX,CAAC;QAED,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAClC,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,EAAE,IAAI,SAAS,CAAA;YAC9C,OAAO,CAAC,IAAI,CACV,yBAAyB,MAAM,sCAAsC;gBACnE,oDAAoD,CACvD,CAAA;YACD,OAAO,EAAE,CAAA;QACX,CAAC;QAED,MAAM,OAAO,GAAqB;YAChC,IAAI,EAAE,IAAI,CAAC,oBAAoB,EAAE;YACjC,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,MAAM,EAAE,IAAI,CAAC,SAAS,EAAE,EAAE;YAC1B,UAAU,EAAE,IAAI,CAAC,SAAS,EAAE,UAAU;YACtC,IAAI,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI;SAC3B,CAAA;QAED,MAAM,UAAU,GAAoB,EAAE,CAAA;QACtC,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YACzC,UAAU,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAA;QAC3D,CAAC;QACD,OAAO,UAAU,CAAA;IACnB,CAAC;IAEO,WAAW;QACjB,OAAO,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC,CAAA;IAC/D,CAAC;IAEO,oBAAoB;QAC1B,MAAM,aAAa,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;QAC9E,MAAM,aAAa,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;QAC9E,MAAM,KAAK,GAAa,CAAC,WAAW,CAAC,CAAA;QACrC,IAAI,aAAa;YAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,aAAa,EAAE,CAAC,CAAA;QACtD,IAAI,aAAa;YAAE,KAAK,CAAC,IAAI,CAAC,UAAU,aAAa,EAAE,CAAC,CAAA;QACxD,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IACxB,CAAC;CACF"}

package/dist/graphql/schema-conditions.d.ts

@@ -0,0 +1,31 @@
+import type { Condition } from '@nielspeter/eess';
+import type { SchemaElement } from './schema-predicates.js';
+/**
+ * Assert that a type has all listed fields.
+ *
+ * When applied to a type-level SchemaElement, checks that the object type
+ * defines all the named fields. When applied to a field-level element,
+ * checks the parent type.
+ *
+ * @param names - Field names that must exist on the type
+ */
+export declare function haveFields(...names: string[]): Condition<SchemaElement>;
+/**
+ * Assert that a field accepts all listed arguments.
+ *
+ * Only applies to field-level SchemaElements. Type-level elements are skipped.
+ *
+ * @param names - Argument names that must exist on the field
+ */
+export declare function acceptArgs(...names: string[]): Condition<SchemaElement>;
+/**
+ * Assert that each schema field has a matching resolver export.
+ *
+ * Cross-references schema fields with TypeScript resolver files.
+ * A field "users" on type "Query" is matched if any resolver file exports
+ * a function/variable named "users" or contains a property assignment "Query.users".
+ *
+ * @param resolverFileTexts - Map of file paths to their source text (for matching)
+ */
+export declare function haveMatchingResolver(resolverFileTexts: ReadonlyMap<string, string>): Condition<SchemaElement>;
+//# sourceMappingURL=schema-conditions.d.ts.map

package/dist/graphql/schema-conditions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema-conditions.d.ts","sourceRoot":"","sources":["../../src/graphql/schema-conditions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAoB,MAAM,kBAAkB,CAAA;AAEnE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAA;AAE3D;;;;;;;;GAQG;AACH,wBAAgB,UAAU,CAAC,GAAG,KAAK,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC,aAAa,CAAC,CA2BvE;AAED;;;;;;GAMG;AACH,wBAAgB,UAAU,CAAC,GAAG,KAAK,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC,aAAa,CAAC,CA2BvE;AAED;;;;;;;;GAQG;AACH,wBAAgB,oBAAoB,CAClC,iBAAiB,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,GAC7C,SAAS,CAAC,aAAa,CAAC,CAqC1B"}