@kernlang/review 3.4.6-canary.44.1.a85ee2e8 → 3.4.6-canary.46.1.19dcfc19

package/dist/mappers/ts-concepts/extractors/dependency.d.ts

@@ -0,0 +1,3 @@
+import type { ConceptEdge } from '@kernlang/core';
+import type { SourceFile } from 'ts-morph';
+export declare function extractDependencyEdges(sf: SourceFile, filePath: string, edges: ConceptEdge[]): void;

package/dist/mappers/ts-concepts/extractors/dependency.js

@@ -0,0 +1,28 @@
+import { conceptId } from '@kernlang/core';
+import { span } from '../helpers/ast.js';
+import { NODE_STDLIB } from '../signatures.js';
+export function extractDependencyEdges(sf, filePath, edges) {
+    for (const imp of sf.getImportDeclarations()) {
+        const specifier = imp.getModuleSpecifierValue();
+        const start = imp.getStart();
+        let subtype = 'external';
+        if (specifier.startsWith('.') || specifier.startsWith('/')) {
+            subtype = 'internal';
+        }
+        else if (NODE_STDLIB.has(specifier.split('/')[0]) || specifier.startsWith('node:')) {
+            subtype = 'stdlib';
+        }
+        edges.push({
+            id: conceptId(filePath, 'dependency', start),
+            kind: 'dependency',
+            sourceId: filePath,
+            targetId: specifier,
+            primarySpan: span(filePath, imp),
+            evidence: imp.getText().substring(0, 120),
+            confidence: 1.0,
+            language: 'ts',
+            payload: { kind: 'dependency', subtype, specifier },
+        });
+    }
+}
+//# sourceMappingURL=dependency.js.map

package/dist/mappers/ts-concepts/extractors/dependency.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dependency.js","sourceRoot":"","sources":["../../../../src/mappers/ts-concepts/extractors/dependency.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAE3C,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AACzC,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAE/C,MAAM,UAAU,sBAAsB,CAAC,EAAc,EAAE,QAAgB,EAAE,KAAoB;IAC3F,KAAK,MAAM,GAAG,IAAI,EAAE,CAAC,qBAAqB,EAAE,EAAE,CAAC;QAC7C,MAAM,SAAS,GAAG,GAAG,CAAC,uBAAuB,EAAE,CAAC;QAChD,MAAM,KAAK,GAAG,GAAG,CAAC,QAAQ,EAAE,CAAC;QAE7B,IAAI,OAAO,GAAuC,UAAU,CAAC;QAC7D,IAAI,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAC3D,OAAO,GAAG,UAAU,CAAC;QACvB,CAAC;aAAM,IAAI,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;YACrF,OAAO,GAAG,QAAQ,CAAC;QACrB,CAAC;QAED,KAAK,CAAC,IAAI,CAAC;YACT,EAAE,EAAE,SAAS,CAAC,QAAQ,EAAE,YAAY,EAAE,KAAK,CAAC;YAC5C,IAAI,EAAE,YAAY;YAClB,QAAQ,EAAE,QAAQ;YAClB,QAAQ,EAAE,SAAS;YACnB,WAAW,EAAE,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC;YAChC,QAAQ,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC;YACzC,UAAU,EAAE,GAAG;YACf,QAAQ,EAAE,IAAI;YACd,OAAO,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,SAAS,EAAE;SACpD,CAAC,CAAC;IACL,CAAC;AACH,CAAC"}

package/dist/mappers/ts-concepts/extractors/effect.d.ts

@@ -0,0 +1,3 @@
+import type { ConceptNode } from '@kernlang/core';
+import { type SourceFile } from 'ts-morph';
+export declare function extractEffects(sf: SourceFile, filePath: string, nodes: ConceptNode[]): void;

package/dist/mappers/ts-concepts/extractors/effect.js

@@ -0,0 +1,93 @@
+import { conceptId } from '@kernlang/core';
+import { SyntaxKind } from 'ts-morph';
+import { getContainerId, isInAsyncContext, span } from '../helpers/ast.js';
+import { buildConstLiteralMap } from '../helpers/const-resolution.js';
+import { extractHandledErrorStatusCodes, extractHandlesApiErrors, isResponseAsserted } from '../helpers/error-paths.js';
+import { extractAuthPropagation, extractBodyKind, extractHasAuthHeader, extractHost, extractHttpMethod, extractQueryParams, extractSentFields, extractTarget, } from '../helpers/network-call.js';
+import { collectClientIdentifiers } from '../helpers/wrapped-client.js';
+import { CLIENT_HTTP_METHODS, DB_CALLS, FS_CALLS, NETWORK_CALLS, NETWORK_METHODS } from '../signatures.js';
+export function extractEffects(sf, filePath, nodes) {
+    const clientIdents = collectClientIdentifiers(sf);
+    const constLiterals = buildConstLiteralMap(sf);
+    for (const call of sf.getDescendantsOfKind(SyntaxKind.CallExpression)) {
+        const callee = call.getExpression();
+        let funcName = '';
+        let objName = '';
+        if (callee.getKind() === SyntaxKind.Identifier) {
+            funcName = callee.getText();
+        }
+        else if (callee.getKind() === SyntaxKind.PropertyAccessExpression) {
+            const pa = callee;
+            funcName = pa.getName();
+            objName = pa.getExpression().getText();
+        }
+        // Network effects
+        const isDirectNetwork = NETWORK_CALLS.has(funcName);
+        const isKnownLibraryMethod = NETWORK_METHODS.has(funcName) && /axios|got|ky|http|request|superagent/i.test(objName);
+        const isWrappedClientCall = CLIENT_HTTP_METHODS.has(funcName) && clientIdents.has(objName);
+        if (isDirectNetwork || isKnownLibraryMethod || isWrappedClientCall) {
+            const isAsync = isInAsyncContext(call);
+            const target = extractTarget(call, constLiterals);
+            const sentFieldsInfo = extractSentFields(call, funcName);
+            const queryParamsInfo = extractQueryParams(call, constLiterals);
+            const hasAuthHeader = extractHasAuthHeader(call, funcName);
+            nodes.push({
+                id: conceptId(filePath, 'effect', call.getStart()),
+                kind: 'effect',
+                primarySpan: span(filePath, call),
+                evidence: call.getText().substring(0, 120),
+                confidence: isDirectNetwork ? 1.0 : isWrappedClientCall ? 0.75 : 0.8,
+                language: 'ts',
+                containerId: getContainerId(call, filePath),
+                payload: {
+                    kind: 'effect',
+                    subtype: 'network',
+                    async: isAsync,
+                    target,
+                    host: extractHost(target),
+                    handledErrorStatusCodes: extractHandledErrorStatusCodes(call),
+                    responseAsserted: isResponseAsserted(call, isWrappedClientCall),
+                    bodyKind: extractBodyKind(call, funcName),
+                    method: extractHttpMethod(call, funcName, isDirectNetwork, isKnownLibraryMethod, isWrappedClientCall),
+                    hasAuthHeader,
+                    sentFields: sentFieldsInfo.fields,
+                    sentFieldsResolved: sentFieldsInfo.resolved,
+                    sentFieldTypes: sentFieldsInfo.types,
+                    handlesApiErrors: extractHandlesApiErrors(call, isWrappedClientCall),
+                    authPropagation: extractAuthPropagation(call, funcName, objName, isWrappedClientCall, hasAuthHeader),
+                    queryParams: queryParamsInfo.params,
+                    queryParamsResolved: queryParamsInfo.resolved,
+                },
+            });
+            continue;
+        }
+        // DB effects
+        if (DB_CALLS.has(funcName) && /db|prisma|mongo|pool|client|knex|sequelize|typeorm|drizzle/i.test(objName)) {
+            nodes.push({
+                id: conceptId(filePath, 'effect', call.getStart()),
+                kind: 'effect',
+                primarySpan: span(filePath, call),
+                evidence: call.getText().substring(0, 120),
+                confidence: 0.85,
+                language: 'ts',
+                containerId: getContainerId(call, filePath),
+                payload: { kind: 'effect', subtype: 'db', async: isInAsyncContext(call) },
+            });
+            continue;
+        }
+        // FS effects
+        if (FS_CALLS.has(funcName)) {
+            nodes.push({
+                id: conceptId(filePath, 'effect', call.getStart()),
+                kind: 'effect',
+                primarySpan: span(filePath, call),
+                evidence: call.getText().substring(0, 120),
+                confidence: 0.95,
+                language: 'ts',
+                containerId: getContainerId(call, filePath),
+                payload: { kind: 'effect', subtype: 'fs', async: funcName.includes('Sync') ? false : isInAsyncContext(call) },
+            });
+        }
+    }
+}
+//# sourceMappingURL=effect.js.map

package/dist/mappers/ts-concepts/extractors/effect.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect.js","sourceRoot":"","sources":["../../../../src/mappers/ts-concepts/extractors/effect.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAmB,UAAU,EAAE,MAAM,UAAU,CAAC;AACvD,OAAO,EAAE,cAAc,EAAE,gBAAgB,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAC3E,OAAO,EAAE,oBAAoB,EAAE,MAAM,gCAAgC,CAAC;AACtE,OAAO,EAAE,8BAA8B,EAAE,uBAAuB,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AACxH,OAAO,EACL,sBAAsB,EACtB,eAAe,EACf,oBAAoB,EACpB,WAAW,EACX,iBAAiB,EACjB,kBAAkB,EAClB,iBAAiB,EACjB,aAAa,GACd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,wBAAwB,EAAE,MAAM,8BAA8B,CAAC;AACxE,OAAO,EAAE,mBAAmB,EAAE,QAAQ,EAAE,QAAQ,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAE3G,MAAM,UAAU,cAAc,CAAC,EAAc,EAAE,QAAgB,EAAE,KAAoB;IACnF,MAAM,YAAY,GAAG,wBAAwB,CAAC,EAAE,CAAC,CAAC;IAClD,MAAM,aAAa,GAAG,oBAAoB,CAAC,EAAE,CAAC,CAAC;IAE/C,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,oBAAoB,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;QACtE,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;QACpC,IAAI,QAAQ,GAAG,EAAE,CAAC;QAClB,IAAI,OAAO,GAAG,EAAE,CAAC;QAEjB,IAAI,MAAM,CAAC,OAAO,EAAE,KAAK,UAAU,CAAC,UAAU,EAAE,CAAC;YAC/C,QAAQ,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC;QAC9B,CAAC;aAAM,IAAI,MAAM,CAAC,OAAO,EAAE,KAAK,UAAU,CAAC,wBAAwB,EAAE,CAAC;YACpE,MAAM,EAAE,GAAG,MAAqD,CAAC;YACjE,QAAQ,GAAG,EAAE,CAAC,OAAO,EAAE,CAAC;YACxB,OAAO,GAAG,EAAE,CAAC,aAAa,EAAE,CAAC,OAAO,EAAE,CAAC;QACzC,CAAC;QAED,kBAAkB;QAClB,MAAM,eAAe,GAAG,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACpD,MAAM,oBAAoB,GAAG,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,uCAAuC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpH,MAAM,mBAAmB,GAAG,mBAAmB,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAE3F,IAAI,eAAe,IAAI,oBAAoB,IAAI,mBAAmB,EAAE,CAAC;YACnE,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;YACvC,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;YAClD,MAAM,cAAc,GAAG,iBAAiB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACzD,MAAM,eAAe,GAAG,kBAAkB,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;YAChE,MAAM,aAAa,GAAG,oBAAoB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAC3D,KAAK,CAAC,IAAI,CAAC;gBACT,EAAE,EAAE,SAAS,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAClD,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC;gBACjC,QAAQ,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC;gBAC1C,UAAU,EAAE,eAAe,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG;gBACpE,QAAQ,EAAE,IAAI;gBACd,WAAW,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,CAAC;gBAC3C,OAAO,EAAE;oBACP,IAAI,EAAE,QAAQ;oBACd,OAAO,EAAE,SAAS;oBAClB,KAAK,EAAE,OAAO;oBACd,MAAM;oBACN,IAAI,EAAE,WAAW,CAAC,MAAM,CAAC;oBACzB,uBAAuB,EAAE,8BAA8B,CAAC,IAAI,CAAC;oBAC7D,gBAAgB,EAAE,kBAAkB,CAAC,IAAI,EAAE,mBAAmB,CAAC;oBAC/D,QAAQ,EAAE,eAAe,CAAC,IAAI,EAAE,QAAQ,CAAC;oBACzC,MAAM,EAAE,iBAAiB,CAAC,IAAI,EAAE,QAAQ,EAAE,eAAe,EAAE,oBAAoB,EAAE,mBAAmB,CAAC;oBACrG,aAAa;oBACb,UAAU,EAAE,cAAc,CAAC,MAAM;oBACjC,kBAAkB,EAAE,cAAc,CAAC,QAAQ;oBAC3C,cAAc,EAAE,cAAc,CAAC,KAAK;oBACpC,gBAAgB,EAAE,uBAAuB,CAAC,IAAI,EAAE,mBAAmB,CAAC;oBACpE,eAAe,EAAE,sBAAsB,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,mBAAmB,EAAE,aAAa,CAAC;oBACpG,WAAW,EAAE,eAAe,CAAC,MAAM;oBACnC,mBAAmB,EAAE,eAAe,CAAC,QAAQ;iBAC9C;aACF,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,aAAa;QACb,IAAI,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,6DAA6D,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YAC1G,KAAK,CAAC,IAAI,CAAC;gBACT,EAAE,EAAE,SAAS,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAClD,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC;gBACjC,QAAQ,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC;gBAC1C,UAAU,EAAE,IAAI;gBAChB,QAAQ,EAAE,IAAI;gBACd,WAAW,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,CAAC;gBAC3C,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,gBAAgB,CAAC,IAAI,CAAC,EAAE;aAC1E,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,aAAa;QACb,IAAI,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC3B,KAAK,CAAC,IAAI,CAAC;gBACT,EAAE,EAAE,SAAS,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAClD,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC;gBACjC,QAAQ,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC;gBAC1C,UAAU,EAAE,IAAI;gBAChB,QAAQ,EAAE,IAAI;gBACd,WAAW,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,CAAC;gBAC3C,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE;aAC9G,CAAC,CAAC;QACL,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/mappers/ts-concepts/extractors/entrypoint-express/index.d.ts

@@ -0,0 +1,3 @@
+import type { ConceptNode } from '@kernlang/core';
+import { type SourceFile } from 'ts-morph';
+export declare function extractEntrypoints(sf: SourceFile, filePath: string, nodes: ConceptNode[]): void;

package/dist/mappers/ts-concepts/extractors/entrypoint-express/index.js

@@ -0,0 +1,117 @@
+import { conceptId } from '@kernlang/core';
+import { SyntaxKind } from 'ts-morph';
+import { getContainerId, isSameConceptSourceFile, span } from '../../helpers/ast.js';
+import { ROUTE_METHODS } from '../../signatures.js';
+import { extractRouteMount } from './mount.js';
+import { analyzeExpressRouteHandler, EMPTY_ROUTE_ANALYSIS, resolveExpressRouteHandler } from './route-handler.js';
+import { extractHandlerBodyFields } from './validation.js';
+export function extractEntrypoints(sf, filePath, nodes) {
+    // Express/Fastify route handlers: app.get('/path', handler)
+    for (const call of sf.getDescendantsOfKind(SyntaxKind.CallExpression)) {
+        const callee = call.getExpression();
+        if (callee.getKind() !== SyntaxKind.PropertyAccessExpression)
+            continue;
+        const pa = callee;
+        const methodName = pa.getName();
+        const objText = pa.getExpression().getText();
+        if (!/app|router|server/i.test(objText))
+            continue;
+        const args = call.getArguments();
+        if (args.length < 2)
+            continue;
+        if (methodName === 'use') {
+            const mount = extractRouteMount(call, filePath);
+            if (mount)
+                nodes.push(mount);
+            continue;
+        }
+        if (!ROUTE_METHODS.has(methodName))
+            continue;
+        // First arg is the route path
+        let routePath;
+        if (args[0].getKind() === SyntaxKind.StringLiteral) {
+            routePath = args[0].getLiteralValue();
+        }
+        // Inline, same-file named, or statically imported handler. The id we
+        // compute for same-file handlers must match the function_declaration
+        // concept emitted for the same function, so downstream rules can
+        // dereference `handlerConceptId`.
+        const resolvedHandler = resolveExpressRouteHandler(args, filePath);
+        const handlerFn = resolvedHandler?.fn;
+        const handlerConceptId = resolvedHandler && isSameConceptSourceFile(resolvedHandler.conceptFilePath, filePath)
+            ? conceptId(filePath, 'function_declaration', resolvedHandler.conceptStart)
+            : undefined;
+        const bodyFieldsInfo = handlerFn
+            ? extractHandlerBodyFields(handlerFn)
+            : {
+                fields: undefined,
+                resolved: false,
+                types: undefined,
+            };
+        const routeAnalysis = handlerFn
+            ? analyzeExpressRouteHandler(handlerFn, args, methodName.toUpperCase(), routePath)
+            : EMPTY_ROUTE_ANALYSIS;
+        nodes.push({
+            id: conceptId(filePath, 'entrypoint', call.getStart()),
+            kind: 'entrypoint',
+            primarySpan: span(filePath, call),
+            evidence: call.getText().substring(0, 120),
+            confidence: 0.95,
+            language: 'ts',
+            containerId: getContainerId(call, filePath),
+            payload: {
+                kind: 'entrypoint',
+                subtype: 'route',
+                name: routePath || methodName,
+                httpMethod: methodName.toUpperCase(),
+                handlerConceptId,
+                bodyFields: bodyFieldsInfo.fields,
+                bodyFieldsResolved: bodyFieldsInfo.resolved,
+                bodyFieldTypes: bodyFieldsInfo.types,
+                errorStatusCodes: routeAnalysis.errorStatusCodes,
+                successStatusCodes: routeAnalysis.successStatusCodes,
+                successStatusCodesResolved: routeAnalysis.successStatusCodesResolved,
+                paginationStrategy: routeAnalysis.paginationStrategy,
+                paginationStrategyResolved: routeAnalysis.paginationStrategyResolved,
+                hasUnboundedCollectionQuery: routeAnalysis.hasUnboundedCollectionQuery,
+                hasDbWrite: routeAnalysis.hasDbWrite,
+                hasIdempotencyProtection: routeAnalysis.hasIdempotencyProtection,
+                hasBodyValidation: routeAnalysis.hasBodyValidation,
+                validatedBodyFields: routeAnalysis.validatedBodyFields,
+                bodyValidationResolved: routeAnalysis.bodyValidationResolved,
+                validatedBodyFieldTypes: routeAnalysis.validatedBodyFieldTypes,
+            },
+        });
+    }
+    // export default function — only if it looks like a handler (has req/res params or returns JSX)
+    for (const exportDecl of sf.getExportedDeclarations()) {
+        const [name, decls] = exportDecl;
+        if (name !== 'default')
+            continue;
+        for (const decl of decls) {
+            if (decl.getKind() === SyntaxKind.FunctionDeclaration) {
+                const fn = decl;
+                const params = fn.getParameters();
+                const paramNames = params.map((p) => p.getName());
+                const isHandler = paramNames.some((n) => /req|request|ctx|context|event/i.test(n));
+                const isComponent = fn.getName()?.[0]?.toUpperCase() === fn.getName()?.[0];
+                if (isHandler || isComponent) {
+                    nodes.push({
+                        id: conceptId(filePath, 'entrypoint', decl.getStart()),
+                        kind: 'entrypoint',
+                        primarySpan: span(filePath, decl),
+                        evidence: decl.getText().substring(0, 100),
+                        confidence: isHandler ? 0.9 : 0.7,
+                        language: 'ts',
+                        payload: {
+                            kind: 'entrypoint',
+                            subtype: isHandler ? 'handler' : 'export',
+                            name: fn.getName() || 'default',
+                        },
+                    });
+                }
+            }
+        }
+    }
+}
+//# sourceMappingURL=index.js.map

package/dist/mappers/ts-concepts/extractors/entrypoint-express/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../../src/mappers/ts-concepts/extractors/entrypoint-express/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAmB,UAAU,EAAE,MAAM,UAAU,CAAC;AACvD,OAAO,EAAE,cAAc,EAAE,uBAAuB,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAErF,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAC/C,OAAO,EAAE,0BAA0B,EAAE,oBAAoB,EAAE,0BAA0B,EAAE,MAAM,oBAAoB,CAAC;AAClH,OAAO,EAAE,wBAAwB,EAAE,MAAM,iBAAiB,CAAC;AAE3D,MAAM,UAAU,kBAAkB,CAAC,EAAc,EAAE,QAAgB,EAAE,KAAoB;IACvF,4DAA4D;IAC5D,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,oBAAoB,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;QACtE,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;QACpC,IAAI,MAAM,CAAC,OAAO,EAAE,KAAK,UAAU,CAAC,wBAAwB;YAAE,SAAS;QACvE,MAAM,EAAE,GAAG,MAAqD,CAAC;QACjE,MAAM,UAAU,GAAG,EAAE,CAAC,OAAO,EAAE,CAAC;QAEhC,MAAM,OAAO,GAAG,EAAE,CAAC,aAAa,EAAE,CAAC,OAAO,EAAE,CAAC;QAC7C,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,OAAO,CAAC;YAAE,SAAS;QAElD,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;QACjC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;YAAE,SAAS;QAE9B,IAAI,UAAU,KAAK,KAAK,EAAE,CAAC;YACzB,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAChD,IAAI,KAAK;gBAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC7B,SAAS;QACX,CAAC;QAED,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,UAAU,CAAC;YAAE,SAAS;QAE7C,8BAA8B;QAC9B,IAAI,SAA6B,CAAC;QAClC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,KAAK,UAAU,CAAC,aAAa,EAAE,CAAC;YACnD,SAAS,GAAI,IAAI,CAAC,CAAC,CAAsC,CAAC,eAAe,EAAE,CAAC;QAC9E,CAAC;QAED,qEAAqE;QACrE,qEAAqE;QACrE,iEAAiE;QACjE,kCAAkC;QAClC,MAAM,eAAe,GAAG,0BAA0B,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACnE,MAAM,SAAS,GAAG,eAAe,EAAE,EAAE,CAAC;QACtC,MAAM,gBAAgB,GACpB,eAAe,IAAI,uBAAuB,CAAC,eAAe,CAAC,eAAe,EAAE,QAAQ,CAAC;YACnF,CAAC,CAAC,SAAS,CAAC,QAAQ,EAAE,sBAAsB,EAAE,eAAe,CAAC,YAAY,CAAC;YAC3E,CAAC,CAAC,SAAS,CAAC;QAEhB,MAAM,cAAc,GAAG,SAAS;YAC9B,CAAC,CAAC,wBAAwB,CAAC,SAAS,CAAC;YACrC,CAAC,CAAC;gBACE,MAAM,EAAE,SAA0C;gBAClD,QAAQ,EAAE,KAAK;gBACf,KAAK,EAAE,SAAqC;aAC7C,CAAC;QACN,MAAM,aAAa,GAAG,SAAS;YAC7B,CAAC,CAAC,0BAA0B,CAAC,SAAS,EAAE,IAAI,EAAE,UAAU,CAAC,WAAW,EAAE,EAAE,SAAS,CAAC;YAClF,CAAC,CAAC,oBAAoB,CAAC;QAEzB,KAAK,CAAC,IAAI,CAAC;YACT,EAAE,EAAE,SAAS,CAAC,QAAQ,EAAE,YAAY,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;YACtD,IAAI,EAAE,YAAY;YAClB,WAAW,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC;YACjC,QAAQ,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC;YAC1C,UAAU,EAAE,IAAI;YAChB,QAAQ,EAAE,IAAI;YACd,WAAW,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,CAAC;YAC3C,OAAO,EAAE;gBACP,IAAI,EAAE,YAAY;gBAClB,OAAO,EAAE,OAAO;gBAChB,IAAI,EAAE,SAAS,IAAI,UAAU;gBAC7B,UAAU,EAAE,UAAU,CAAC,WAAW,EAAE;gBACpC,gBAAgB;gBAChB,UAAU,EAAE,cAAc,CAAC,MAAM;gBACjC,kBAAkB,EAAE,cAAc,CAAC,QAAQ;gBAC3C,cAAc,EAAE,cAAc,CAAC,KAAK;gBACpC,gBAAgB,EAAE,aAAa,CAAC,gBAAgB;gBAChD,kBAAkB,EAAE,aAAa,CAAC,kBAAkB;gBACpD,0BAA0B,EAAE,aAAa,CAAC,0BAA0B;gBACpE,kBAAkB,EAAE,aAAa,CAAC,kBAAkB;gBACpD,0BAA0B,EAAE,aAAa,CAAC,0BAA0B;gBACpE,2BAA2B,EAAE,aAAa,CAAC,2BAA2B;gBACtE,UAAU,EAAE,aAAa,CAAC,UAAU;gBACpC,wBAAwB,EAAE,aAAa,CAAC,wBAAwB;gBAChE,iBAAiB,EAAE,aAAa,CAAC,iBAAiB;gBAClD,mBAAmB,EAAE,aAAa,CAAC,mBAAmB;gBACtD,sBAAsB,EAAE,aAAa,CAAC,sBAAsB;gBAC5D,uBAAuB,EAAE,aAAa,CAAC,uBAAuB;aAC/D;SACF,CAAC,CAAC;IACL,CAAC;IAED,gGAAgG;IAChG,KAAK,MAAM,UAAU,IAAI,EAAE,CAAC,uBAAuB,EAAE,EAAE,CAAC;QACtD,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,UAAU,CAAC;QACjC,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS;QACjC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,IAAI,CAAC,OAAO,EAAE,KAAK,UAAU,CAAC,mBAAmB,EAAE,CAAC;gBACtD,MAAM,EAAE,GAAG,IAA8C,CAAC;gBAC1D,MAAM,MAAM,GAAG,EAAE,CAAC,aAAa,EAAE,CAAC;gBAClC,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;gBAClD,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gCAAgC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;gBACnF,MAAM,WAAW,GAAG,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;gBAE3E,IAAI,SAAS,IAAI,WAAW,EAAE,CAAC;oBAC7B,KAAK,CAAC,IAAI,CAAC;wBACT,EAAE,EAAE,SAAS,CAAC,QAAQ,EAAE,YAAY,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;wBACtD,IAAI,EAAE,YAAY;wBAClB,WAAW,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC;wBACjC,QAAQ,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC;wBAC1C,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG;wBACjC,QAAQ,EAAE,IAAI;wBACd,OAAO,EAAE;4BACP,IAAI,EAAE,YAAY;4BAClB,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ;4BACzC,IAAI,EAAE,EAAE,CAAC,OAAO,EAAE,IAAI,SAAS;yBAChC;qBACF,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/mappers/ts-concepts/extractors/entrypoint-express/mount.d.ts

@@ -0,0 +1,2 @@
+import type { ConceptNode } from '@kernlang/core';
+export declare function extractRouteMount(call: import('ts-morph').CallExpression, mountFile: string): ConceptNode | undefined;

package/dist/mappers/ts-concepts/extractors/entrypoint-express/mount.js

@@ -0,0 +1,105 @@
+import { conceptId } from '@kernlang/core';
+import { SyntaxKind } from 'ts-morph';
+import { getContainerId, span } from '../../helpers/ast.js';
+// Express `app.use('/api/prefix', ...middlewares, subRouter)`: emit a
+// route-mount concept so `collectRoutesAcrossGraph` can join the sub-router's
+// bare paths (`router.get('/foo')`) with the mount prefix (`/api/prefix/foo`).
+// Mirrors the FastAPI `app.include_router()` emission in review-python.
+// Caller must have already filtered to `.use()` calls whose object matches
+// `app|router|server`.
+export function extractRouteMount(call, mountFile) {
+    const args = call.getArguments();
+    if (args.length < 2)
+        return undefined;
+    if (args[0].getKind() !== SyntaxKind.StringLiteral)
+        return undefined;
+    const prefix = args[0].getLiteralValue();
+    if (!prefix.startsWith('/'))
+        return undefined;
+    // The sub-router is the LAST arg; intermediate args are middlewares.
+    const last = args[args.length - 1];
+    if (last.getKind() !== SyntaxKind.Identifier)
+        return undefined;
+    const ident = last;
+    const routerName = ident.getText();
+    const sourceModule = resolveImportedFileSuffix(ident, mountFile);
+    return {
+        id: conceptId(mountFile, 'entrypoint', call.getStart()),
+        kind: 'entrypoint',
+        primarySpan: span(mountFile, call),
+        evidence: call.getText().substring(0, 120),
+        confidence: 0.9,
+        language: 'ts',
+        containerId: getContainerId(call, mountFile),
+        payload: {
+            kind: 'entrypoint',
+            subtype: 'route-mount',
+            name: prefix,
+            routerName,
+            sourceModule,
+        },
+    };
+}
+// Given an identifier used in a mount call, resolve it back to the file it
+// was imported from, and return a trailing path suffix (relative to the mount
+// file's directory, with extension) usable by `cross-stack-utils`'s
+// `routeFile.endsWith('/' + sourceModule)` matcher.
+function resolveImportedFileSuffix(ident, mountFile) {
+    const symbol = ident.getSymbol();
+    if (!symbol)
+        return undefined;
+    for (const decl of symbol.getDeclarations()) {
+        const kind = decl.getKind();
+        if (kind !== SyntaxKind.ImportClause && kind !== SyntaxKind.ImportSpecifier)
+            continue;
+        const importDecl = decl.getFirstAncestorByKind(SyntaxKind.ImportDeclaration);
+        if (!importDecl)
+            continue;
+        const resolved = importDecl.getModuleSpecifierSourceFile();
+        if (resolved) {
+            return pathSuffixBetween(mountFile, resolved.getFilePath());
+        }
+        const specifier = importDecl.getModuleSpecifierValue();
+        const guess = guessResolvedSuffix(specifier, mountFile);
+        if (guess)
+            return guess;
+    }
+    return undefined;
+}
+function pathSuffixBetween(mountFile, targetFile) {
+    const parts = targetFile.split('/');
+    const mountParts = mountFile.split('/');
+    let commonLen = 0;
+    while (commonLen < parts.length - 1 &&
+        commonLen < mountParts.length - 1 &&
+        parts[commonLen] === mountParts[commonLen]) {
+        commonLen++;
+    }
+    const tail = parts.slice(commonLen).join('/');
+    return tail || parts.slice(-2).join('/');
+}
+function guessResolvedSuffix(specifier, mountFile) {
+    if (!specifier.startsWith('.'))
+        return undefined;
+    const mountDir = mountFile.split('/').slice(0, -1).join('/');
+    const segments = [];
+    for (const seg of specifier.split('/')) {
+        if (seg === '' || seg === '.')
+            continue;
+        if (seg === '..') {
+            if (mountDir.length === 0)
+                continue;
+            segments.pop();
+        }
+        else {
+            segments.push(seg);
+        }
+    }
+    if (segments.length === 0)
+        return undefined;
+    const base = segments[segments.length - 1];
+    const swapped = base.replace(/\.(js|mjs|cjs)$/i, '.ts');
+    segments[segments.length - 1] = /\.(ts|tsx)$/i.test(swapped) ? swapped : `${swapped}.ts`;
+    return segments.join('/');
+}
+//# sourceMappingURL=mount.js.map

package/dist/mappers/ts-concepts/extractors/entrypoint-express/mount.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mount.js","sourceRoot":"","sources":["../../../../../src/mappers/ts-concepts/extractors/entrypoint-express/mount.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AACtC,OAAO,EAAE,cAAc,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAE5D,sEAAsE;AACtE,8EAA8E;AAC9E,+EAA+E;AAC/E,wEAAwE;AACxE,2EAA2E;AAC3E,uBAAuB;AACvB,MAAM,UAAU,iBAAiB,CAAC,IAAuC,EAAE,SAAiB;IAC1F,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;IACjC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IACtC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,KAAK,UAAU,CAAC,aAAa;QAAE,OAAO,SAAS,CAAC;IACrE,MAAM,MAAM,GAAI,IAAI,CAAC,CAAC,CAAsC,CAAC,eAAe,EAAE,CAAC;IAC/E,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAE9C,qEAAqE;IACrE,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACnC,IAAI,IAAI,CAAC,OAAO,EAAE,KAAK,UAAU,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAC/D,MAAM,KAAK,GAAG,IAAqC,CAAC;IACpD,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC;IAEnC,MAAM,YAAY,GAAG,yBAAyB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACjE,OAAO;QACL,EAAE,EAAE,SAAS,CAAC,SAAS,EAAE,YAAY,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;QACvD,IAAI,EAAE,YAAY;QAClB,WAAW,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC;QAClC,QAAQ,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC;QAC1C,UAAU,EAAE,GAAG;QACf,QAAQ,EAAE,IAAI;QACd,WAAW,EAAE,cAAc,CAAC,IAAI,EAAE,SAAS,CAAC;QAC5C,OAAO,EAAE;YACP,IAAI,EAAE,YAAY;YAClB,OAAO,EAAE,aAAa;YACtB,IAAI,EAAE,MAAM;YACZ,UAAU;YACV,YAAY;SACb;KACF,CAAC;AACJ,CAAC;AAED,2EAA2E;AAC3E,8EAA8E;AAC9E,oEAAoE;AACpE,oDAAoD;AACpD,SAAS,yBAAyB,CAAC,KAAoC,EAAE,SAAiB;IACxF,MAAM,MAAM,GAAG,KAAK,CAAC,SAAS,EAAE,CAAC;IACjC,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAC9B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,eAAe,EAAE,EAAE,CAAC;QAC5C,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAC5B,IAAI,IAAI,KAAK,UAAU,CAAC,YAAY,IAAI,IAAI,KAAK,UAAU,CAAC,eAAe;YAAE,SAAS;QACtF,MAAM,UAAU,GAAG,IAAI,CAAC,sBAAsB,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC;QAC7E,IAAI,CAAC,UAAU;YAAE,SAAS;QAC1B,MAAM,QAAQ,GAAG,UAAU,CAAC,4BAA4B,EAAE,CAAC;QAC3D,IAAI,QAAQ,EAAE,CAAC;YACb,OAAO,iBAAiB,CAAC,SAAS,EAAE,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAC;QAC9D,CAAC;QACD,MAAM,SAAS,GAAG,UAAU,CAAC,uBAAuB,EAAE,CAAC;QACvD,MAAM,KAAK,GAAG,mBAAmB,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;QACxD,IAAI,KAAK;YAAE,OAAO,KAAK,CAAC;IAC1B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,iBAAiB,CAAC,SAAiB,EAAE,UAAkB;IAC9D,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACpC,MAAM,UAAU,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACxC,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,OACE,SAAS,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC;QAC5B,SAAS,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC;QACjC,KAAK,CAAC,SAAS,CAAC,KAAK,UAAU,CAAC,SAAS,CAAC,EAC1C,CAAC;QACD,SAAS,EAAE,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC9C,OAAO,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC3C,CAAC;AAED,SAAS,mBAAmB,CAAC,SAAiB,EAAE,SAAiB;IAC/D,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IACjD,MAAM,QAAQ,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC7D,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,GAAG,IAAI,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QACvC,IAAI,GAAG,KAAK,EAAE,IAAI,GAAG,KAAK,GAAG;YAAE,SAAS;QACxC,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YACjB,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YACpC,QAAQ,CAAC,GAAG,EAAE,CAAC;QACjB,CAAC;aAAM,CAAC;YACN,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5C,MAAM,IAAI,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC3C,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,kBAAkB,EAAE,KAAK,CAAC,CAAC;IACxD,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,KAAK,CAAC;IACzF,OAAO,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC5B,CAAC"}

package/dist/mappers/ts-concepts/extractors/entrypoint-express/pagination.d.ts

@@ -0,0 +1,7 @@
+import type { ExpressRouteHandlerFn } from './route-handler.js';
+export declare function extractExpressPaginationStrategy(handlerFn: ExpressRouteHandlerFn): {
+    strategy: 'page' | 'offset' | 'cursor' | 'mixed' | 'none' | undefined;
+    resolved: boolean;
+};
+export declare function hasUnboundedExpressCollectionQuery(handlerFn: ExpressRouteHandlerFn, method: string, routePath: string | undefined): boolean;
+export declare function handlerHasDbWrite(handlerFn: ExpressRouteHandlerFn): boolean;

package/dist/mappers/ts-concepts/extractors/entrypoint-express/pagination.js

@@ -0,0 +1,128 @@
+import { Node, SyntaxKind } from 'ts-morph';
+import { classifyPaginationAnchor } from '../../../../concept-rules/cross-stack-utils.js';
+import { DB_COLLECTION_READ_CALLS, DB_WRITE_CALLS, PAGINATION_RE } from '../../signatures.js';
+// ── Express pagination-strategy extraction ───────────────────────────────
+// Walks for `req.query.X` / `req.query['X']` / destructuring `const {a, b} =
+// req.query`, classifies each key against anchor sets, and returns the strategy.
+// Size keys (`limit`, `take`, `pageSize`, `perPage`) are pagination *parameters*
+// but not anchor families on their own — a server reading only `limit` is
+// classified as `'none'` (it doesn't pin a strategy).
+//
+// Anchor sets are imported from `concept-rules/cross-stack-utils` so the
+// server-side classification stays in lockstep with the client-side one used
+// by `pagination-key-drift`.
+function classifyAnchor(key) {
+    return classifyPaginationAnchor(key);
+}
+export function extractExpressPaginationStrategy(handlerFn) {
+    const families = new Set();
+    let sawDynamicAccess = false;
+    // Pattern 1: `req.query.X` / `req.query[<lit>]` / destructuring
+    for (const access of handlerFn.getDescendantsOfKind(SyntaxKind.PropertyAccessExpression)) {
+        if (access.getName() !== 'query')
+            continue;
+        const reqIdent = access.getExpression();
+        if (!/\b(req|request)\b/i.test(reqIdent.getText()))
+            continue;
+        const parent = access.getParent();
+        // Form 1: `req.query.X` — direct dotted read
+        if (parent && Node.isPropertyAccessExpression(parent) && parent.getExpression() === access) {
+            const family = classifyAnchor(parent.getName());
+            if (family)
+                families.add(family);
+            continue;
+        }
+        // Form 2: `req.query['X']` — element access with literal
+        if (parent && Node.isElementAccessExpression(parent) && parent.getExpression() === access) {
+            const arg = parent.getArgumentExpression();
+            if (arg && Node.isStringLiteral(arg)) {
+                const family = classifyAnchor(arg.getLiteralValue());
+                if (family)
+                    families.add(family);
+            }
+            else {
+                sawDynamicAccess = true;
+            }
+            continue;
+        }
+        // Form 3: `const { page, limit } = req.query` — destructuring
+        if (parent && Node.isVariableDeclaration(parent) && parent.getInitializer() === access) {
+            const nameNode = parent.getNameNode();
+            if (Node.isObjectBindingPattern(nameNode)) {
+                for (const elem of nameNode.getElements()) {
+                    if (elem.getDotDotDotToken()) {
+                        sawDynamicAccess = true;
+                        continue;
+                    }
+                    const keyNode = elem.getPropertyNameNode() ?? elem.getNameNode();
+                    if (Node.isIdentifier(keyNode)) {
+                        const family = classifyAnchor(keyNode.getText());
+                        if (family)
+                            families.add(family);
+                    }
+                    else if (Node.isStringLiteral(keyNode)) {
+                        const family = classifyAnchor(keyNode.getLiteralValue());
+                        if (family)
+                            families.add(family);
+                    }
+                }
+                continue;
+            }
+            sawDynamicAccess = true;
+            continue;
+        }
+        sawDynamicAccess = true;
+    }
+    if (sawDynamicAccess) {
+        return { strategy: undefined, resolved: false };
+    }
+    if (families.size === 0) {
+        return { strategy: 'none', resolved: true };
+    }
+    if (families.size > 1)
+        return { strategy: 'mixed', resolved: true };
+    const only = families.values().next().value;
+    return { strategy: only, resolved: true };
+}
+export function hasUnboundedExpressCollectionQuery(handlerFn, method, routePath) {
+    if (method !== 'GET')
+        return false;
+    if (routePath && /[:{]/.test(routePath))
+        return false;
+    const text = handlerFn.getText();
+    if (PAGINATION_RE.test(text) || /\b(req|request)\.query\b/.test(text))
+        return false;
+    if (!handlerHasDbCollectionRead(handlerFn))
+        return false;
+    if (!/\.json\s*\(|send\s*\(/.test(text))
+        return false;
+    const lastSegment = routePath?.split('/').filter(Boolean).pop();
+    return Boolean(lastSegment?.endsWith('s')) || /\bfindMany\b|\.find\s*\(|\.toArray\s*\(/.test(text);
+}
+function handlerHasDbCollectionRead(handlerFn) {
+    return handlerFn.getDescendantsOfKind(SyntaxKind.CallExpression).some((call) => {
+        const callee = call.getExpression();
+        if (callee.getKind() !== SyntaxKind.PropertyAccessExpression)
+            return false;
+        const pa = callee;
+        if (!DB_COLLECTION_READ_CALLS.has(pa.getName()))
+            return false;
+        return isDbLikeReceiver(pa.getExpression().getText());
+    });
+}
+export function handlerHasDbWrite(handlerFn) {
+    return handlerFn.getDescendantsOfKind(SyntaxKind.CallExpression).some((call) => {
+        const callee = call.getExpression();
+        if (callee.getKind() !== SyntaxKind.PropertyAccessExpression)
+            return false;
+        const pa = callee;
+        if (!DB_WRITE_CALLS.has(pa.getName()))
+            return false;
+        return isDbLikeReceiver(pa.getExpression().getText());
+    });
+}
+function isDbLikeReceiver(receiver) {
+    return (/\b(db|prisma|mongo|collection|repo|repository|model|client|knex|sequelize|typeorm|pool)\b/i.test(receiver) ||
+        /^[A-Z][A-Za-z0-9_]*(Model)?$/.test(receiver));
+}
+//# sourceMappingURL=pagination.js.map

package/dist/mappers/ts-concepts/extractors/entrypoint-express/pagination.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pagination.js","sourceRoot":"","sources":["../../../../../src/mappers/ts-concepts/extractors/entrypoint-express/pagination.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAC5C,OAAO,EAAE,wBAAwB,EAAE,MAAM,gDAAgD,CAAC;AAC1F,OAAO,EAAE,wBAAwB,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAG9F,4EAA4E;AAC5E,6EAA6E;AAC7E,iFAAiF;AACjF,iFAAiF;AACjF,0EAA0E;AAC1E,sDAAsD;AACtD,EAAE;AACF,yEAAyE;AACzE,6EAA6E;AAC7E,6BAA6B;AAC7B,SAAS,cAAc,CAAC,GAAW;IACjC,OAAO,wBAAwB,CAAC,GAAG,CAAC,CAAC;AACvC,CAAC;AAED,MAAM,UAAU,gCAAgC,CAAC,SAAgC;IAI/E,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAgC,CAAC;IACzD,IAAI,gBAAgB,GAAG,KAAK,CAAC;IAE7B,gEAAgE;IAChE,KAAK,MAAM,MAAM,IAAI,SAAS,CAAC,oBAAoB,CAAC,UAAU,CAAC,wBAAwB,CAAC,EAAE,CAAC;QACzF,IAAI,MAAM,CAAC,OAAO,EAAE,KAAK,OAAO;YAAE,SAAS;QAC3C,MAAM,QAAQ,GAAG,MAAM,CAAC,aAAa,EAAE,CAAC;QACxC,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;YAAE,SAAS;QAC7D,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,EAAE,CAAC;QAElC,6CAA6C;QAC7C,IAAI,MAAM,IAAI,IAAI,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,aAAa,EAAE,KAAK,MAAM,EAAE,CAAC;YAC3F,MAAM,MAAM,GAAG,cAAc,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;YAChD,IAAI,MAAM;gBAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACjC,SAAS;QACX,CAAC;QAED,yDAAyD;QACzD,IAAI,MAAM,IAAI,IAAI,CAAC,yBAAyB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,aAAa,EAAE,KAAK,MAAM,EAAE,CAAC;YAC1F,MAAM,GAAG,GAAG,MAAM,CAAC,qBAAqB,EAAE,CAAC;YAC3C,IAAI,GAAG,IAAI,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC;gBACrC,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,CAAC,eAAe,EAAE,CAAC,CAAC;gBACrD,IAAI,MAAM;oBAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACnC,CAAC;iBAAM,CAAC;gBACN,gBAAgB,GAAG,IAAI,CAAC;YAC1B,CAAC;YACD,SAAS;QACX,CAAC;QAED,8DAA8D;QAC9D,IAAI,MAAM,IAAI,IAAI,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,cAAc,EAAE,KAAK,MAAM,EAAE,CAAC;YACvF,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;YACtC,IAAI,IAAI,CAAC,sBAAsB,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC1C,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,WAAW,EAAE,EAAE,CAAC;oBAC1C,IAAI,IAAI,CAAC,iBAAiB,EAAE,EAAE,CAAC;wBAC7B,gBAAgB,GAAG,IAAI,CAAC;wBACxB,SAAS;oBACX,CAAC;oBACD,MAAM,OAAO,GAAG,IAAI,CAAC,mBAAmB,EAAE,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;oBACjE,IAAI,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,CAAC;wBAC/B,MAAM,MAAM,GAAG,cAAc,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;wBACjD,IAAI,MAAM;4BAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;oBACnC,CAAC;yBAAM,IAAI,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC;wBACzC,MAAM,MAAM,GAAG,cAAc,CAAC,OAAO,CAAC,eAAe,EAAE,CAAC,CAAC;wBACzD,IAAI,MAAM;4BAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;oBACnC,CAAC;gBACH,CAAC;gBACD,SAAS;YACX,CAAC;YACD,gBAAgB,GAAG,IAAI,CAAC;YACxB,SAAS;QACX,CAAC;QAED,gBAAgB,GAAG,IAAI,CAAC;IAC1B,CAAC;IAED,IAAI,gBAAgB,EAAE,CAAC;QACrB,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IAClD,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IAC9C,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,GAAG,CAAC;QAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IACpE,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,KAAqC,CAAC;IAC5E,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;AAC5C,CAAC;AAED,MAAM,UAAU,kCAAkC,CAChD,SAAgC,EAChC,MAAc,EACd,SAA6B;IAE7B,IAAI,MAAM,KAAK,KAAK;QAAE,OAAO,KAAK,CAAC;IACnC,IAAI,SAAS,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC;QAAE,OAAO,KAAK,CAAC;IACtD,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,EAAE,CAAC;IACjC,IAAI,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,0BAA0B,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACpF,IAAI,CAAC,0BAA0B,CAAC,SAAS,CAAC;QAAE,OAAO,KAAK,CAAC;IACzD,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAEtD,MAAM,WAAW,GAAG,SAAS,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC;IAChE,OAAO,OAAO,CAAC,WAAW,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,yCAAyC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACrG,CAAC;AAED,SAAS,0BAA0B,CAAC,SAAgC;IAClE,OAAO,SAAS,CAAC,oBAAoB,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;QAC7E,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;QACpC,IAAI,MAAM,CAAC,OAAO,EAAE,KAAK,UAAU,CAAC,wBAAwB;YAAE,OAAO,KAAK,CAAC;QAC3E,MAAM,EAAE,GAAG,MAAqD,CAAC;QACjE,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC;YAAE,OAAO,KAAK,CAAC;QAC9D,OAAO,gBAAgB,CAAC,EAAE,CAAC,aAAa,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,SAAgC;IAChE,OAAO,SAAS,CAAC,oBAAoB,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;QAC7E,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;QACpC,IAAI,MAAM,CAAC,OAAO,EAAE,KAAK,UAAU,CAAC,wBAAwB;YAAE,OAAO,KAAK,CAAC;QAC3E,MAAM,EAAE,GAAG,MAAqD,CAAC;QACjE,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC;YAAE,OAAO,KAAK,CAAC;QACpD,OAAO,gBAAgB,CAAC,EAAE,CAAC,aAAa,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,gBAAgB,CAAC,QAAgB;IACxC,OAAO,CACL,4FAA4F,CAAC,IAAI,CAAC,QAAQ,CAAC;QAC3G,8BAA8B,CAAC,IAAI,CAAC,QAAQ,CAAC,CAC9C,CAAC;AACJ,CAAC"}

package/dist/mappers/ts-concepts/extractors/entrypoint-express/route-handler.d.ts

@@ -0,0 +1,25 @@
+import type { FieldTypeMap } from '../../helpers/types.js';
+export type ExpressRouteHandlerFn = import('ts-morph').ArrowFunction | import('ts-morph').FunctionExpression | import('ts-morph').FunctionDeclaration;
+export interface ExpressRouteHandlerResolution {
+    fn: ExpressRouteHandlerFn;
+    conceptStart: number;
+    conceptFilePath: string;
+}
+export interface RouteHandlerAnalysis {
+    errorStatusCodes?: readonly number[];
+    successStatusCodes?: readonly number[];
+    successStatusCodesResolved?: boolean;
+    paginationStrategy?: 'page' | 'offset' | 'cursor' | 'mixed' | 'none';
+    paginationStrategyResolved?: boolean;
+    hasUnboundedCollectionQuery?: boolean;
+    hasDbWrite?: boolean;
+    hasIdempotencyProtection?: boolean;
+    hasBodyValidation?: boolean;
+    validatedBodyFields?: readonly string[];
+    bodyValidationResolved?: boolean;
+    validatedBodyFieldTypes?: FieldTypeMap;
+}
+export declare const EMPTY_ROUTE_ANALYSIS: RouteHandlerAnalysis;
+export declare function analyzeExpressRouteHandler(handlerFn: ExpressRouteHandlerFn, routeArgs: readonly import('ts-morph').Node[], method: string, routePath: string | undefined): RouteHandlerAnalysis;
+export declare function resolveExpressRouteHandler(routeArgs: readonly import('ts-morph').Node[], filePath: string): ExpressRouteHandlerResolution | undefined;
+export declare function extractExpressErrorStatusCodes(handlerFn: ExpressRouteHandlerFn): readonly number[] | undefined;