@bleedingdev/modern-js-code-tools 3.9.0-ultramodern.7 → 3.9.0-ultramodern.8

package/dist/cjs/microvertical-api-baseline.cjs

@@ -38,15 +38,24 @@ var __webpack_exports__ = {};
 __webpack_require__.r(__webpack_exports__);
 __webpack_require__.d(__webpack_exports__, {
     configuredMicroVerticalApiStem: ()=>configuredMicroVerticalApiStem,
+    consumerParserPlugins: ()=>consumerParserPlugins,
     microVerticalApiBaselineViolation: ()=>microVerticalApiBaselineViolation
 });
 const external_node_fs_namespaceObject = require("node:fs");
 var external_node_fs_default = /*#__PURE__*/ __webpack_require__.n(external_node_fs_namespaceObject);
+const external_node_path_namespaceObject = require("node:path");
+var external_node_path_default = /*#__PURE__*/ __webpack_require__.n(external_node_path_namespaceObject);
 const parser_namespaceObject = require("@babel/parser");
 const traverse_namespaceObject = require("@babel/traverse");
 var traverse_default = /*#__PURE__*/ __webpack_require__.n(traverse_namespaceObject);
 const types_namespaceObject = require("@babel/types");
 const external_microvertical_api_owner_cjs_namespaceObject = require("./microvertical-api-owner.cjs");
+const consumerParserPlugins = (filePath)=>filePath.endsWith('.tsx') || filePath.endsWith('.jsx') ? [
+        "typescript",
+        'jsx'
+    ] : [
+        "typescript"
+    ];
 class ConsumerSyntaxError extends Error {
 }
 class ConsumerValidationHub extends traverse_namespaceObject.Hub {
@@ -61,9 +70,7 @@ function parseConsumer(filePath) {
         file = (0, parser_namespaceObject.parse)(external_node_fs_default().readFileSync(filePath, 'utf8'), {
             sourceType: 'module',
             sourceFilename: filePath,
-            plugins: [
-                "typescript"
-            ]
+            plugins: consumerParserPlugins(filePath)
         });
     } catch (error) {
         if ('object' == typeof error && null !== error && 'code' in error && 'BABEL_PARSER_SYNTAX_ERROR' === error.code) throw new ConsumerSyntaxError(error instanceof Error ? error.message : String(error));
@@ -157,6 +164,110 @@ const exportedConst = (sourceFile, name)=>{
             }))) return localConst(sourceFile, name);
     }
 };
+const resolveRelativeModulePath = (fromPath, specifier)=>{
+    if (!/^\.\.?\//u.test(specifier)) return;
+    const resolved = external_node_path_default().resolve(external_node_path_default().dirname(fromPath), specifier);
+    const stem = resolved.replace(/\.(?:[cm]?[jt]sx?)$/u, '');
+    for (const candidate of [
+        `${stem}.ts`,
+        `${stem}.tsx`,
+        external_node_path_default().join(stem, 'index.ts'),
+        external_node_path_default().join(stem, 'index.tsx')
+    ])if (external_node_fs_default().existsSync(candidate) && external_node_fs_default().statSync(candidate).isFile()) return candidate;
+};
+const createModuleReader = (root)=>{
+    const modules = new Map([
+        [
+            root.path,
+            root
+        ]
+    ]);
+    return (filePath)=>{
+        if (modules.has(filePath)) return modules.get(filePath);
+        if (modules.size >= 256) return;
+        let module;
+        try {
+            module = {
+                file: parseConsumer(filePath),
+                path: filePath
+            };
+        } catch  {
+            module = void 0;
+        }
+        modules.set(filePath, module);
+        return module;
+    };
+};
+const importedBinding = (module, name)=>{
+    for (const statement of module.file.program.body)if (types_namespaceObject.isImportDeclaration(statement) && 'type' !== statement.importKind) {
+        for (const specifier of statement.specifiers)if (types_namespaceObject.isIdentifier(specifier.local, {
+            name
+        })) {
+            if (types_namespaceObject.isImportSpecifier(specifier) && 'type' !== specifier.importKind) return {
+                imported: propertyName(specifier.imported) ?? name,
+                specifier: statement.source.value
+            };
+            if (types_namespaceObject.isImportDefaultSpecifier(specifier)) return {
+                imported: 'default',
+                specifier: statement.source.value
+            };
+        }
+    }
+};
+const reexportedBinding = (module, name)=>{
+    for (const statement of module.file.program.body){
+        if (!types_namespaceObject.isExportNamedDeclaration(statement) || 'type' === statement.exportKind) continue;
+        const specifier = statement.specifiers.find((value)=>types_namespaceObject.isExportSpecifier(value) && 'type' !== value.exportKind && propertyName(value.exported) === name);
+        if (void 0 !== specifier && types_namespaceObject.isExportSpecifier(specifier)) return {
+            local: specifier.local.name,
+            ...statement.source ? {
+                specifier: statement.source.value
+            } : {}
+        };
+    }
+};
+const defaultExport = (module)=>{
+    for (const statement of module.file.program.body){
+        if (!types_namespaceObject.isExportDefaultDeclaration(statement)) continue;
+        const declaration = statement.declaration;
+        if (types_namespaceObject.isIdentifier(declaration)) return declaration.name;
+        return types_namespaceObject.isExpression(declaration) ? declaration : void 0;
+    }
+};
+const resolveBinding = (module, name, scope, readModule, seen)=>{
+    const key = `${scope}:${module.path}#${name}`;
+    if (seen.has(key) || seen.size >= 512) return;
+    seen.add(key);
+    const declaration = 'export' === scope ? exportedConst(module.file, name) : localConst(module.file, name);
+    if (declaration?.init) return {
+        expression: declaration.init,
+        module
+    };
+    const throughModule = (specifier, imported)=>{
+        const resolvedPath = resolveRelativeModulePath(module.path, specifier);
+        const target = void 0 === resolvedPath ? void 0 : readModule(resolvedPath);
+        return void 0 === target ? void 0 : resolveBinding(target, imported, 'export', readModule, seen);
+    };
+    if ('local' === scope) {
+        const imported = importedBinding(module, name);
+        return void 0 === imported ? void 0 : throughModule(imported.specifier, imported.imported);
+    }
+    if ('default' === name) {
+        const exported = defaultExport(module);
+        if ('string' == typeof exported) return resolveBinding(module, exported, 'local', readModule, seen);
+        return void 0 === exported ? void 0 : {
+            expression: exported,
+            module
+        };
+    }
+    const reexported = reexportedBinding(module, name);
+    if (void 0 !== reexported) return void 0 === reexported.specifier ? resolveBinding(module, reexported.local, 'local', readModule, seen) : throughModule(reexported.specifier, reexported.local);
+    for (const statement of module.file.program.body){
+        if (!types_namespaceObject.isExportAllDeclaration(statement) || 'type' === statement.exportKind) continue;
+        const resolved = throughModule(statement.source.value, name);
+        if (void 0 !== resolved) return resolved;
+    }
+};
 const objectLiteral = (expression)=>{
     if (null == expression) return;
     const unwrapped = unwrapExpression(expression);
@@ -288,7 +399,22 @@ const rootComposesFoundation = (sourceFile, declaration, stem, foundationName)=>
             'identity'
         ]))) && first?.name === 'addHttpApi' && identifierName(first.arguments[0]) === foundationName;
 };
-const reachableEndpoints = (sourceFile, declaration)=>{
+const nonEndpointCombinators = {
+    api: {
+        annotate: 2,
+        annotateMerge: 1,
+        middleware: 1
+    },
+    group: {
+        annotate: 2,
+        annotateEndpoints: 2,
+        annotateEndpointsMerge: 1,
+        annotateMerge: 1,
+        middleware: 1
+    }
+};
+const reachableEndpoints = (rootModule, declaration)=>{
+    const readModule = createModuleReader(rootModule);
     const active = new Set();
     const endpoints = [];
     const identities = new Set();
@@ -303,13 +429,16 @@ const reachableEndpoints = (sourceFile, declaration)=>{
         options: 'OPTIONS'
     };
     let visits = 0;
-    const visit = (expression, kind, group = '')=>{
+    const visit = (expression, module, kind, group = '')=>{
         if (!expression) return false;
         const node = unwrapExpression(expression);
         if (active.has(node) || active.size >= 128 || ++visits > 2048) return false;
         active.add(node);
         try {
-            if (types_namespaceObject.isIdentifier(node)) return visit(localConst(sourceFile, node.name)?.init, kind, group);
+            if (types_namespaceObject.isIdentifier(node)) {
+                const resolved = resolveBinding(module, node.name, 'local', readModule, new Set());
+                return void 0 !== resolved && visit(resolved.expression, resolved.module, kind, group);
+            }
             if ('endpoint' === kind) {
                 if (!types_namespaceObject.isCallExpression(node) || node.arguments.length < 2 || node.arguments.length > 3) return false;
                 const callee = accessPath(node.callee);
@@ -335,19 +464,35 @@ const reachableEndpoints = (sourceFile, declaration)=>{
             ]) || 1 !== chain.base.arguments.length) return false;
             const name = stringLiteral(chain.base.arguments[0]);
             if (!name) return false;
+            const chainStart = endpoints.length;
+            const combinators = nonEndpointCombinators[kind];
             return chain.methods.every((method)=>{
+                if ('prefix' === method.name) {
+                    const prefix = stringLiteral(method.arguments[0]);
+                    if (1 !== method.arguments.length || !prefix?.startsWith('/')) return false;
+                    for(let index = chainStart; index < endpoints.length; index += 1){
+                        const endpoint = endpoints[index];
+                        endpoints[index] = {
+                            ...endpoint,
+                            routePath: `${prefix}${endpoint.routePath}`
+                        };
+                    }
+                    return true;
+                }
+                const combinatorArity = combinators[method.name];
+                if (void 0 !== combinatorArity) return method.arguments.length === combinatorArity;
                 if (1 !== method.arguments.length) return false;
-                if ('pipe' === method.name) return 'identity' === identifierName(method.arguments[0]) && importsExactBindings(sourceFile, 'effect', [
+                if ('pipe' === method.name) return 'identity' === identifierName(method.arguments[0]) && importsExactBindings(module.file, 'effect', [
                     'identity'
                 ]);
-                if ('add' === method.name) return visit(method.arguments[0], 'api' === kind ? 'group' : 'endpoint', 'group' === kind ? name : '');
-                return 'api' === kind && 'addHttpApi' === method.name && visit(method.arguments[0], 'api');
+                if ('add' === method.name) return visit(method.arguments[0], module, 'api' === kind ? 'group' : 'endpoint', 'group' === kind ? name : '');
+                return 'api' === kind && 'addHttpApi' === method.name && visit(method.arguments[0], module, 'api');
             });
         } finally{
             active.delete(node);
         }
     };
-    return visit(declaration?.init, 'api') ? endpoints : void 0;
+    return visit(declaration?.init, rootModule, 'api') ? endpoints : void 0;
 };
 const operationContextFields = (property)=>{
     const constructorCall = exactCall(property.value, [
@@ -478,7 +623,8 @@ const readinessSchemaIsShared = (declaration, markerSchemaName, ownerMarkerIsIde
     return void 0 !== schema && (schema.identity && ownerMarkerIsIdentity || 1 === schema.assignments.size && identifierName(schema.assignments.get('marker')?.value) === markerSchemaName);
 };
 const declarationIsIdentifier = (declaration, identifier)=>declaration?.init != null && identifierName(unwrapExpression(declaration.init)) === identifier;
-const validateParsedContract = (sourceFile, stem, expectation)=>{
+const validateParsedContract = (module, stem, expectation)=>{
+    const sourceFile = module.file;
     const exportStem = camelCaseStem(stem);
     const foundationName = `${exportStem}FoundationApi`;
     const markerSchemaName = `${exportStem}MarkerSchema`;
@@ -495,7 +641,7 @@ const validateParsedContract = (sourceFile, stem, expectation)=>{
     if (!readinessSchemaIsShared(exportedConst(sourceFile, readinessSchemaName), markerSchemaName, declarationIsIdentifier(markerDeclaration, 'MicroVerticalBuildMarkerSchema'))) return 'MicroVertical readiness schema must consume the shared readiness schema without overriding shared fields';
     if (!foundationIsExact(exportedConst(sourceFile, foundationName), stem, readinessSchemaName)) return 'MicroVertical readiness foundation API must directly compose its exact readiness endpoint and foundation identity';
     if (!rootComposesFoundation(sourceFile, exportedConst(sourceFile, `${exportStem}Api`), stem, foundationName)) return 'MicroVertical root API must explicitly compose its readiness foundation API';
-    const endpoints = reachableEndpoints(sourceFile, exportedConst(sourceFile, `${exportStem}Api`));
+    const endpoints = reachableEndpoints(module, exportedConst(sourceFile, `${exportStem}Api`));
     if (!endpoints) return 'MicroVertical root API must compose bounded native endpoint declarations without ambiguous identities';
     if (!operationMapIsConnected(exportedConst(sourceFile, `${exportStem}OperationContexts`), stem, expectation.operationPaths ?? {}, endpoints)) return 'MicroVertical operation map must construct every operation with the shared context constructor';
     if (!metadataIsExact(exportedConst(sourceFile, `${exportStem}ApiContract`), expectation, endpoints)) return 'MicroVertical root contract must keep exact owner and API path metadata without forbidden fields';
@@ -509,16 +655,21 @@ const microVerticalApiBaselineViolation = (stem, filePath, expectation)=>{
     try {
         const sourceFile = parseConsumer(filePath);
         if (!(0, external_microvertical_api_owner_cjs_namespaceObject.baselinePublicIdentityIsExact)(filePath, expectation)) return 'MicroVertical baseline imports must resolve the exact framework owner public export and schema identity';
-        return validateParsedContract(sourceFile, stem, expectation);
+        return validateParsedContract({
+            file: sourceFile,
+            path: filePath
+        }, stem, expectation);
     } catch (error) {
         if (error instanceof ConsumerSyntaxError) return `MicroVertical root contract must be valid TypeScript syntax (${error.message})`;
         throw error;
     }
 };
 exports.configuredMicroVerticalApiStem = __webpack_exports__.configuredMicroVerticalApiStem;
+exports.consumerParserPlugins = __webpack_exports__.consumerParserPlugins;
 exports.microVerticalApiBaselineViolation = __webpack_exports__.microVerticalApiBaselineViolation;
 for(var __rspack_i in __webpack_exports__)if (-1 === [
     "configuredMicroVerticalApiStem",
+    "consumerParserPlugins",
     "microVerticalApiBaselineViolation"
 ].indexOf(__rspack_i)) exports[__rspack_i] = __webpack_exports__[__rspack_i];
 Object.defineProperty(exports, '__esModule', {

package/dist/cjs/microvertical-api-boundary.cjs

@@ -159,10 +159,7 @@ function check(options, topology) {
                 const ast = (0, parser_namespaceObject.parse)(read(file), {
                     sourceType: 'module',
                     sourceFilename: file,
-                    plugins: [
-                        "typescript",
-                        'jsx'
-                    ]
+                    plugins: (0, external_microvertical_api_baseline_cjs_namespaceObject.consumerParserPlugins)(file)
                 });
                 parsed.set(file, ast);
                 return ast;
@@ -175,13 +172,49 @@ function check(options, topology) {
                 throw error;
             }
         };
-        const moduleShape = (file, imports, calls, patterns = [], defaultExport)=>{
+        const resolveRelative = (fromFile, specifier)=>{
+            if (!/^\.\.?\//u.test(specifier)) return;
+            const base = external_node_path_default().posix.join(external_node_path_default().posix.dirname(fromFile), specifier).replace(/\.(?:[cm]?[jt]sx?)$/u, '');
+            return [
+                `${base}.ts`,
+                `${base}.tsx`,
+                `${base}/index.ts`,
+                `${base}/index.tsx`
+            ].find((candidate)=>exists(candidate));
+        };
+        const composedModules = (file)=>{
+            const order = [];
+            const seen = new Set();
+            const queue = [
+                file
+            ];
+            while(queue.length > 0 && order.length < 128){
+                const current = queue.shift();
+                if (seen.has(current)) continue;
+                seen.add(current);
+                order.push(current);
+                const ast = parseFile(current);
+                if (!ast) continue;
+                for (const statement of ast.program.body){
+                    const source = (types_namespaceObject.isImportDeclaration(statement) || types_namespaceObject.isExportNamedDeclaration(statement) || types_namespaceObject.isExportAllDeclaration(statement)) && statement.source ? statement.source.value : void 0;
+                    const resolved = void 0 === source ? void 0 : resolveRelative(current, source);
+                    if (void 0 !== resolved && !seen.has(resolved)) queue.push(resolved);
+                }
+            }
+            return order;
+        };
+        const moduleShape = (file, imports, calls, patterns = [], defaultExport, composed = false)=>{
             if (!exists(file)) return;
             const ast = parseFile(file);
             if (!ast) return;
-            const body = ast.program.body;
+            const shapeFiles = composed ? composedModules(file) : [
+                file
+            ];
+            const body = shapeFiles.flatMap((shapeFile)=>parseFile(shapeFile)?.program.body ?? []);
             for (const [specifier, names] of imports){
-                const imported = body.filter((item)=>types_namespaceObject.isImportDeclaration(item) && 'type' !== item.importKind && item.source.value === specifier);
+                const target = resolveRelative(file, specifier);
+                const matchesSpecifier = (item, from)=>void 0 === target ? item.source.value === specifier : resolveRelative(from, item.source.value) === target;
+                const imported = shapeFiles.flatMap((shapeFile)=>(parseFile(shapeFile)?.program.body ?? []).filter((item)=>types_namespaceObject.isImportDeclaration(item) && 'type' !== item.importKind && matchesSpecifier(item, shapeFile)));
                 assert(imported.length, `${file}: must import from ${specifier}`);
                 for (const name of names)assert(imported.some((item)=>types_namespaceObject.isImportDeclaration(item) && item.specifiers.some((value)=>types_namespaceObject.isImportSpecifier(value) && 'type' !== value.importKind && types_namespaceObject.isIdentifier(value.imported, {
                             name
@@ -190,11 +223,15 @@ function check(options, topology) {
                         }))), `${file}: must import ${name} from ${specifier}`);
             }
             const found = new Set();
-            types_namespaceObject.traverseFast(ast, (node)=>{
+            const collectCalls = (node)=>{
                 if (!types_namespaceObject.isCallExpression(node)) return;
                 if (types_namespaceObject.isIdentifier(node.callee)) found.add(node.callee.name);
                 if (types_namespaceObject.isMemberExpression(node.callee) && !node.callee.computed && types_namespaceObject.isIdentifier(node.callee.object) && types_namespaceObject.isIdentifier(node.callee.property)) found.add(`${node.callee.object.name}.${node.callee.property.name}`);
-            });
+            };
+            for (const shapeFile of shapeFiles){
+                const shapeAst = parseFile(shapeFile);
+                if (shapeAst) types_namespaceObject.traverseFast(shapeAst, collectCalls);
+            }
             for (const call of calls)assert(found.has(call), `${file}: must call ${call}(...)`);
             const source = read(file).replace(/\/\*[\s\S]*?\*\/|\/\/[^\n]*/gu, '');
             for (const [pattern, reason] of patterns)assert(pattern.test(source), `${file}: ${reason}`);
@@ -372,7 +409,7 @@ function check(options, topology) {
                 ]
             ], [
                 rpc ? 'makeEffectRpcClient' : 'makeEffectHttpApiClient'
-            ]);
+            ], [], void 0, true);
             moduleShape(`${appPath}/api/effect-api.ts`, [], [], [
                 [
                     /\bbackendFederationContract\b/u,

package/dist/esm/microvertical-api-baseline.js

@@ -1,8 +1,15 @@
 import node_fs from "node:fs";
+import node_path from "node:path";
 import { parse } from "@babel/parser";
 import traverse, { Hub, NodePath } from "@babel/traverse";
 import { baselinePublicIdentityIsExact } from "./microvertical-api-owner.js";
 import * as __rspack_external__babel_types_6e8337dd from "@babel/types";
+const consumerParserPlugins = (filePath)=>filePath.endsWith('.tsx') || filePath.endsWith('.jsx') ? [
+        "typescript",
+        'jsx'
+    ] : [
+        "typescript"
+    ];
 class ConsumerSyntaxError extends Error {
 }
 class ConsumerValidationHub extends Hub {
@@ -17,9 +24,7 @@ function parseConsumer(filePath) {
         file = parse(node_fs.readFileSync(filePath, 'utf8'), {
             sourceType: 'module',
             sourceFilename: filePath,
-            plugins: [
-                "typescript"
-            ]
+            plugins: consumerParserPlugins(filePath)
         });
     } catch (error) {
         if ('object' == typeof error && null !== error && 'code' in error && 'BABEL_PARSER_SYNTAX_ERROR' === error.code) throw new ConsumerSyntaxError(error instanceof Error ? error.message : String(error));
@@ -113,6 +118,110 @@ const exportedConst = (sourceFile, name)=>{
             }))) return localConst(sourceFile, name);
     }
 };
+const resolveRelativeModulePath = (fromPath, specifier)=>{
+    if (!/^\.\.?\//u.test(specifier)) return;
+    const resolved = node_path.resolve(node_path.dirname(fromPath), specifier);
+    const stem = resolved.replace(/\.(?:[cm]?[jt]sx?)$/u, '');
+    for (const candidate of [
+        `${stem}.ts`,
+        `${stem}.tsx`,
+        node_path.join(stem, 'index.ts'),
+        node_path.join(stem, 'index.tsx')
+    ])if (node_fs.existsSync(candidate) && node_fs.statSync(candidate).isFile()) return candidate;
+};
+const createModuleReader = (root)=>{
+    const modules = new Map([
+        [
+            root.path,
+            root
+        ]
+    ]);
+    return (filePath)=>{
+        if (modules.has(filePath)) return modules.get(filePath);
+        if (modules.size >= 256) return;
+        let module;
+        try {
+            module = {
+                file: parseConsumer(filePath),
+                path: filePath
+            };
+        } catch  {
+            module = void 0;
+        }
+        modules.set(filePath, module);
+        return module;
+    };
+};
+const importedBinding = (module, name)=>{
+    for (const statement of module.file.program.body)if (__rspack_external__babel_types_6e8337dd.isImportDeclaration(statement) && 'type' !== statement.importKind) {
+        for (const specifier of statement.specifiers)if (__rspack_external__babel_types_6e8337dd.isIdentifier(specifier.local, {
+            name
+        })) {
+            if (__rspack_external__babel_types_6e8337dd.isImportSpecifier(specifier) && 'type' !== specifier.importKind) return {
+                imported: propertyName(specifier.imported) ?? name,
+                specifier: statement.source.value
+            };
+            if (__rspack_external__babel_types_6e8337dd.isImportDefaultSpecifier(specifier)) return {
+                imported: 'default',
+                specifier: statement.source.value
+            };
+        }
+    }
+};
+const reexportedBinding = (module, name)=>{
+    for (const statement of module.file.program.body){
+        if (!__rspack_external__babel_types_6e8337dd.isExportNamedDeclaration(statement) || 'type' === statement.exportKind) continue;
+        const specifier = statement.specifiers.find((value)=>__rspack_external__babel_types_6e8337dd.isExportSpecifier(value) && 'type' !== value.exportKind && propertyName(value.exported) === name);
+        if (void 0 !== specifier && __rspack_external__babel_types_6e8337dd.isExportSpecifier(specifier)) return {
+            local: specifier.local.name,
+            ...statement.source ? {
+                specifier: statement.source.value
+            } : {}
+        };
+    }
+};
+const defaultExport = (module)=>{
+    for (const statement of module.file.program.body){
+        if (!__rspack_external__babel_types_6e8337dd.isExportDefaultDeclaration(statement)) continue;
+        const declaration = statement.declaration;
+        if (__rspack_external__babel_types_6e8337dd.isIdentifier(declaration)) return declaration.name;
+        return __rspack_external__babel_types_6e8337dd.isExpression(declaration) ? declaration : void 0;
+    }
+};
+const resolveBinding = (module, name, scope, readModule, seen)=>{
+    const key = `${scope}:${module.path}#${name}`;
+    if (seen.has(key) || seen.size >= 512) return;
+    seen.add(key);
+    const declaration = 'export' === scope ? exportedConst(module.file, name) : localConst(module.file, name);
+    if (declaration?.init) return {
+        expression: declaration.init,
+        module
+    };
+    const throughModule = (specifier, imported)=>{
+        const resolvedPath = resolveRelativeModulePath(module.path, specifier);
+        const target = void 0 === resolvedPath ? void 0 : readModule(resolvedPath);
+        return void 0 === target ? void 0 : resolveBinding(target, imported, 'export', readModule, seen);
+    };
+    if ('local' === scope) {
+        const imported = importedBinding(module, name);
+        return void 0 === imported ? void 0 : throughModule(imported.specifier, imported.imported);
+    }
+    if ('default' === name) {
+        const exported = defaultExport(module);
+        if ('string' == typeof exported) return resolveBinding(module, exported, 'local', readModule, seen);
+        return void 0 === exported ? void 0 : {
+            expression: exported,
+            module
+        };
+    }
+    const reexported = reexportedBinding(module, name);
+    if (void 0 !== reexported) return void 0 === reexported.specifier ? resolveBinding(module, reexported.local, 'local', readModule, seen) : throughModule(reexported.specifier, reexported.local);
+    for (const statement of module.file.program.body){
+        if (!__rspack_external__babel_types_6e8337dd.isExportAllDeclaration(statement) || 'type' === statement.exportKind) continue;
+        const resolved = throughModule(statement.source.value, name);
+        if (void 0 !== resolved) return resolved;
+    }
+};
 const objectLiteral = (expression)=>{
     if (null == expression) return;
     const unwrapped = unwrapExpression(expression);
@@ -244,7 +353,22 @@ const rootComposesFoundation = (sourceFile, declaration, stem, foundationName)=>
             'identity'
         ]))) && first?.name === 'addHttpApi' && identifierName(first.arguments[0]) === foundationName;
 };
-const reachableEndpoints = (sourceFile, declaration)=>{
+const nonEndpointCombinators = {
+    api: {
+        annotate: 2,
+        annotateMerge: 1,
+        middleware: 1
+    },
+    group: {
+        annotate: 2,
+        annotateEndpoints: 2,
+        annotateEndpointsMerge: 1,
+        annotateMerge: 1,
+        middleware: 1
+    }
+};
+const reachableEndpoints = (rootModule, declaration)=>{
+    const readModule = createModuleReader(rootModule);
     const active = new Set();
     const endpoints = [];
     const identities = new Set();
@@ -259,13 +383,16 @@ const reachableEndpoints = (sourceFile, declaration)=>{
         options: 'OPTIONS'
     };
     let visits = 0;
-    const visit = (expression, kind, group = '')=>{
+    const visit = (expression, module, kind, group = '')=>{
         if (!expression) return false;
         const node = unwrapExpression(expression);
         if (active.has(node) || active.size >= 128 || ++visits > 2048) return false;
         active.add(node);
         try {
-            if (__rspack_external__babel_types_6e8337dd.isIdentifier(node)) return visit(localConst(sourceFile, node.name)?.init, kind, group);
+            if (__rspack_external__babel_types_6e8337dd.isIdentifier(node)) {
+                const resolved = resolveBinding(module, node.name, 'local', readModule, new Set());
+                return void 0 !== resolved && visit(resolved.expression, resolved.module, kind, group);
+            }
             if ('endpoint' === kind) {
                 if (!__rspack_external__babel_types_6e8337dd.isCallExpression(node) || node.arguments.length < 2 || node.arguments.length > 3) return false;
                 const callee = accessPath(node.callee);
@@ -291,19 +418,35 @@ const reachableEndpoints = (sourceFile, declaration)=>{
             ]) || 1 !== chain.base.arguments.length) return false;
             const name = stringLiteral(chain.base.arguments[0]);
             if (!name) return false;
+            const chainStart = endpoints.length;
+            const combinators = nonEndpointCombinators[kind];
             return chain.methods.every((method)=>{
+                if ('prefix' === method.name) {
+                    const prefix = stringLiteral(method.arguments[0]);
+                    if (1 !== method.arguments.length || !prefix?.startsWith('/')) return false;
+                    for(let index = chainStart; index < endpoints.length; index += 1){
+                        const endpoint = endpoints[index];
+                        endpoints[index] = {
+                            ...endpoint,
+                            routePath: `${prefix}${endpoint.routePath}`
+                        };
+                    }
+                    return true;
+                }
+                const combinatorArity = combinators[method.name];
+                if (void 0 !== combinatorArity) return method.arguments.length === combinatorArity;
                 if (1 !== method.arguments.length) return false;
-                if ('pipe' === method.name) return 'identity' === identifierName(method.arguments[0]) && importsExactBindings(sourceFile, 'effect', [
+                if ('pipe' === method.name) return 'identity' === identifierName(method.arguments[0]) && importsExactBindings(module.file, 'effect', [
                     'identity'
                 ]);
-                if ('add' === method.name) return visit(method.arguments[0], 'api' === kind ? 'group' : 'endpoint', 'group' === kind ? name : '');
-                return 'api' === kind && 'addHttpApi' === method.name && visit(method.arguments[0], 'api');
+                if ('add' === method.name) return visit(method.arguments[0], module, 'api' === kind ? 'group' : 'endpoint', 'group' === kind ? name : '');
+                return 'api' === kind && 'addHttpApi' === method.name && visit(method.arguments[0], module, 'api');
             });
         } finally{
             active.delete(node);
         }
     };
-    return visit(declaration?.init, 'api') ? endpoints : void 0;
+    return visit(declaration?.init, rootModule, 'api') ? endpoints : void 0;
 };
 const operationContextFields = (property)=>{
     const constructorCall = exactCall(property.value, [
@@ -434,7 +577,8 @@ const readinessSchemaIsShared = (declaration, markerSchemaName, ownerMarkerIsIde
     return void 0 !== schema && (schema.identity && ownerMarkerIsIdentity || 1 === schema.assignments.size && identifierName(schema.assignments.get('marker')?.value) === markerSchemaName);
 };
 const declarationIsIdentifier = (declaration, identifier)=>declaration?.init != null && identifierName(unwrapExpression(declaration.init)) === identifier;
-const validateParsedContract = (sourceFile, stem, expectation)=>{
+const validateParsedContract = (module, stem, expectation)=>{
+    const sourceFile = module.file;
     const exportStem = camelCaseStem(stem);
     const foundationName = `${exportStem}FoundationApi`;
     const markerSchemaName = `${exportStem}MarkerSchema`;
@@ -451,7 +595,7 @@ const validateParsedContract = (sourceFile, stem, expectation)=>{
     if (!readinessSchemaIsShared(exportedConst(sourceFile, readinessSchemaName), markerSchemaName, declarationIsIdentifier(markerDeclaration, 'MicroVerticalBuildMarkerSchema'))) return 'MicroVertical readiness schema must consume the shared readiness schema without overriding shared fields';
     if (!foundationIsExact(exportedConst(sourceFile, foundationName), stem, readinessSchemaName)) return 'MicroVertical readiness foundation API must directly compose its exact readiness endpoint and foundation identity';
     if (!rootComposesFoundation(sourceFile, exportedConst(sourceFile, `${exportStem}Api`), stem, foundationName)) return 'MicroVertical root API must explicitly compose its readiness foundation API';
-    const endpoints = reachableEndpoints(sourceFile, exportedConst(sourceFile, `${exportStem}Api`));
+    const endpoints = reachableEndpoints(module, exportedConst(sourceFile, `${exportStem}Api`));
     if (!endpoints) return 'MicroVertical root API must compose bounded native endpoint declarations without ambiguous identities';
     if (!operationMapIsConnected(exportedConst(sourceFile, `${exportStem}OperationContexts`), stem, expectation.operationPaths ?? {}, endpoints)) return 'MicroVertical operation map must construct every operation with the shared context constructor';
     if (!metadataIsExact(exportedConst(sourceFile, `${exportStem}ApiContract`), expectation, endpoints)) return 'MicroVertical root contract must keep exact owner and API path metadata without forbidden fields';
@@ -465,10 +609,13 @@ const microVerticalApiBaselineViolation = (stem, filePath, expectation)=>{
     try {
         const sourceFile = parseConsumer(filePath);
         if (!baselinePublicIdentityIsExact(filePath, expectation)) return 'MicroVertical baseline imports must resolve the exact framework owner public export and schema identity';
-        return validateParsedContract(sourceFile, stem, expectation);
+        return validateParsedContract({
+            file: sourceFile,
+            path: filePath
+        }, stem, expectation);
     } catch (error) {
         if (error instanceof ConsumerSyntaxError) return `MicroVertical root contract must be valid TypeScript syntax (${error.message})`;
         throw error;
     }
 };
-export { configuredMicroVerticalApiStem, microVerticalApiBaselineViolation };
+export { configuredMicroVerticalApiStem, consumerParserPlugins, microVerticalApiBaselineViolation };

package/dist/esm/microvertical-api-boundary.js

@@ -1,7 +1,7 @@
 import node_fs from "node:fs";
 import node_path from "node:path";
 import { parse } from "@babel/parser";
-import { configuredMicroVerticalApiStem, microVerticalApiBaselineViolation } from "./microvertical-api-baseline.js";
+import { configuredMicroVerticalApiStem, consumerParserPlugins, microVerticalApiBaselineViolation } from "./microvertical-api-baseline.js";
 import { baselinePackage, resolveBaselinePackageDirectory } from "./microvertical-api-owner.js";
 import { createEffectApiImportResolver, strictEffectRuntimeTopologyViolation } from "./strict-effect-runtime.js";
 import * as __rspack_external__babel_types_6e8337dd from "@babel/types";
@@ -113,10 +113,7 @@ function check(options, topology) {
                 const ast = parse(read(file), {
                     sourceType: 'module',
                     sourceFilename: file,
-                    plugins: [
-                        "typescript",
-                        'jsx'
-                    ]
+                    plugins: consumerParserPlugins(file)
                 });
                 parsed.set(file, ast);
                 return ast;
@@ -129,13 +126,49 @@ function check(options, topology) {
                 throw error;
             }
         };
-        const moduleShape = (file, imports, calls, patterns = [], defaultExport)=>{
+        const resolveRelative = (fromFile, specifier)=>{
+            if (!/^\.\.?\//u.test(specifier)) return;
+            const base = node_path.posix.join(node_path.posix.dirname(fromFile), specifier).replace(/\.(?:[cm]?[jt]sx?)$/u, '');
+            return [
+                `${base}.ts`,
+                `${base}.tsx`,
+                `${base}/index.ts`,
+                `${base}/index.tsx`
+            ].find((candidate)=>exists(candidate));
+        };
+        const composedModules = (file)=>{
+            const order = [];
+            const seen = new Set();
+            const queue = [
+                file
+            ];
+            while(queue.length > 0 && order.length < 128){
+                const current = queue.shift();
+                if (seen.has(current)) continue;
+                seen.add(current);
+                order.push(current);
+                const ast = parseFile(current);
+                if (!ast) continue;
+                for (const statement of ast.program.body){
+                    const source = (__rspack_external__babel_types_6e8337dd.isImportDeclaration(statement) || __rspack_external__babel_types_6e8337dd.isExportNamedDeclaration(statement) || __rspack_external__babel_types_6e8337dd.isExportAllDeclaration(statement)) && statement.source ? statement.source.value : void 0;
+                    const resolved = void 0 === source ? void 0 : resolveRelative(current, source);
+                    if (void 0 !== resolved && !seen.has(resolved)) queue.push(resolved);
+                }
+            }
+            return order;
+        };
+        const moduleShape = (file, imports, calls, patterns = [], defaultExport, composed = false)=>{
             if (!exists(file)) return;
             const ast = parseFile(file);
             if (!ast) return;
-            const body = ast.program.body;
+            const shapeFiles = composed ? composedModules(file) : [
+                file
+            ];
+            const body = shapeFiles.flatMap((shapeFile)=>parseFile(shapeFile)?.program.body ?? []);
             for (const [specifier, names] of imports){
-                const imported = body.filter((item)=>__rspack_external__babel_types_6e8337dd.isImportDeclaration(item) && 'type' !== item.importKind && item.source.value === specifier);
+                const target = resolveRelative(file, specifier);
+                const matchesSpecifier = (item, from)=>void 0 === target ? item.source.value === specifier : resolveRelative(from, item.source.value) === target;
+                const imported = shapeFiles.flatMap((shapeFile)=>(parseFile(shapeFile)?.program.body ?? []).filter((item)=>__rspack_external__babel_types_6e8337dd.isImportDeclaration(item) && 'type' !== item.importKind && matchesSpecifier(item, shapeFile)));
                 assert(imported.length, `${file}: must import from ${specifier}`);
                 for (const name of names)assert(imported.some((item)=>__rspack_external__babel_types_6e8337dd.isImportDeclaration(item) && item.specifiers.some((value)=>__rspack_external__babel_types_6e8337dd.isImportSpecifier(value) && 'type' !== value.importKind && __rspack_external__babel_types_6e8337dd.isIdentifier(value.imported, {
                             name
@@ -144,11 +177,15 @@ function check(options, topology) {
                         }))), `${file}: must import ${name} from ${specifier}`);
             }
             const found = new Set();
-            __rspack_external__babel_types_6e8337dd.traverseFast(ast, (node)=>{
+            const collectCalls = (node)=>{
                 if (!__rspack_external__babel_types_6e8337dd.isCallExpression(node)) return;
                 if (__rspack_external__babel_types_6e8337dd.isIdentifier(node.callee)) found.add(node.callee.name);
                 if (__rspack_external__babel_types_6e8337dd.isMemberExpression(node.callee) && !node.callee.computed && __rspack_external__babel_types_6e8337dd.isIdentifier(node.callee.object) && __rspack_external__babel_types_6e8337dd.isIdentifier(node.callee.property)) found.add(`${node.callee.object.name}.${node.callee.property.name}`);
-            });
+            };
+            for (const shapeFile of shapeFiles){
+                const shapeAst = parseFile(shapeFile);
+                if (shapeAst) __rspack_external__babel_types_6e8337dd.traverseFast(shapeAst, collectCalls);
+            }
             for (const call of calls)assert(found.has(call), `${file}: must call ${call}(...)`);
             const source = read(file).replace(/\/\*[\s\S]*?\*\/|\/\/[^\n]*/gu, '');
             for (const [pattern, reason] of patterns)assert(pattern.test(source), `${file}: ${reason}`);
@@ -326,7 +363,7 @@ function check(options, topology) {
                 ]
             ], [
                 rpc ? 'makeEffectRpcClient' : 'makeEffectHttpApiClient'
-            ]);
+            ], [], void 0, true);
             moduleShape(`${appPath}/api/effect-api.ts`, [], [], [
                 [
                     /\bbackendFederationContract\b/u,

package/dist/esm-node/microvertical-api-baseline.js

@@ -1,9 +1,16 @@
 import "node:module";
 import node_fs from "node:fs";
+import node_path from "node:path";
 import { parse } from "@babel/parser";
 import traverse, { Hub, NodePath } from "@babel/traverse";
 import { baselinePublicIdentityIsExact } from "./microvertical-api-owner.js";
 import * as __rspack_external__babel_types_6e8337dd from "@babel/types";
+const consumerParserPlugins = (filePath)=>filePath.endsWith('.tsx') || filePath.endsWith('.jsx') ? [
+        "typescript",
+        'jsx'
+    ] : [
+        "typescript"
+    ];
 class ConsumerSyntaxError extends Error {
 }
 class ConsumerValidationHub extends Hub {
@@ -18,9 +25,7 @@ function parseConsumer(filePath) {
         file = parse(node_fs.readFileSync(filePath, 'utf8'), {
             sourceType: 'module',
             sourceFilename: filePath,
-            plugins: [
-                "typescript"
-            ]
+            plugins: consumerParserPlugins(filePath)
         });
     } catch (error) {
         if ('object' == typeof error && null !== error && 'code' in error && 'BABEL_PARSER_SYNTAX_ERROR' === error.code) throw new ConsumerSyntaxError(error instanceof Error ? error.message : String(error));
@@ -114,6 +119,110 @@ const exportedConst = (sourceFile, name)=>{
             }))) return localConst(sourceFile, name);
     }
 };
+const resolveRelativeModulePath = (fromPath, specifier)=>{
+    if (!/^\.\.?\//u.test(specifier)) return;
+    const resolved = node_path.resolve(node_path.dirname(fromPath), specifier);
+    const stem = resolved.replace(/\.(?:[cm]?[jt]sx?)$/u, '');
+    for (const candidate of [
+        `${stem}.ts`,
+        `${stem}.tsx`,
+        node_path.join(stem, 'index.ts'),
+        node_path.join(stem, 'index.tsx')
+    ])if (node_fs.existsSync(candidate) && node_fs.statSync(candidate).isFile()) return candidate;
+};
+const createModuleReader = (root)=>{
+    const modules = new Map([
+        [
+            root.path,
+            root
+        ]
+    ]);
+    return (filePath)=>{
+        if (modules.has(filePath)) return modules.get(filePath);
+        if (modules.size >= 256) return;
+        let module;
+        try {
+            module = {
+                file: parseConsumer(filePath),
+                path: filePath
+            };
+        } catch  {
+            module = void 0;
+        }
+        modules.set(filePath, module);
+        return module;
+    };
+};
+const importedBinding = (module, name)=>{
+    for (const statement of module.file.program.body)if (__rspack_external__babel_types_6e8337dd.isImportDeclaration(statement) && 'type' !== statement.importKind) {
+        for (const specifier of statement.specifiers)if (__rspack_external__babel_types_6e8337dd.isIdentifier(specifier.local, {
+            name
+        })) {
+            if (__rspack_external__babel_types_6e8337dd.isImportSpecifier(specifier) && 'type' !== specifier.importKind) return {
+                imported: propertyName(specifier.imported) ?? name,
+                specifier: statement.source.value
+            };
+            if (__rspack_external__babel_types_6e8337dd.isImportDefaultSpecifier(specifier)) return {
+                imported: 'default',
+                specifier: statement.source.value
+            };
+        }
+    }
+};
+const reexportedBinding = (module, name)=>{
+    for (const statement of module.file.program.body){
+        if (!__rspack_external__babel_types_6e8337dd.isExportNamedDeclaration(statement) || 'type' === statement.exportKind) continue;
+        const specifier = statement.specifiers.find((value)=>__rspack_external__babel_types_6e8337dd.isExportSpecifier(value) && 'type' !== value.exportKind && propertyName(value.exported) === name);
+        if (void 0 !== specifier && __rspack_external__babel_types_6e8337dd.isExportSpecifier(specifier)) return {
+            local: specifier.local.name,
+            ...statement.source ? {
+                specifier: statement.source.value
+            } : {}
+        };
+    }
+};
+const defaultExport = (module)=>{
+    for (const statement of module.file.program.body){
+        if (!__rspack_external__babel_types_6e8337dd.isExportDefaultDeclaration(statement)) continue;
+        const declaration = statement.declaration;
+        if (__rspack_external__babel_types_6e8337dd.isIdentifier(declaration)) return declaration.name;
+        return __rspack_external__babel_types_6e8337dd.isExpression(declaration) ? declaration : void 0;
+    }
+};
+const resolveBinding = (module, name, scope, readModule, seen)=>{
+    const key = `${scope}:${module.path}#${name}`;
+    if (seen.has(key) || seen.size >= 512) return;
+    seen.add(key);
+    const declaration = 'export' === scope ? exportedConst(module.file, name) : localConst(module.file, name);
+    if (declaration?.init) return {
+        expression: declaration.init,
+        module
+    };
+    const throughModule = (specifier, imported)=>{
+        const resolvedPath = resolveRelativeModulePath(module.path, specifier);
+        const target = void 0 === resolvedPath ? void 0 : readModule(resolvedPath);
+        return void 0 === target ? void 0 : resolveBinding(target, imported, 'export', readModule, seen);
+    };
+    if ('local' === scope) {
+        const imported = importedBinding(module, name);
+        return void 0 === imported ? void 0 : throughModule(imported.specifier, imported.imported);
+    }
+    if ('default' === name) {
+        const exported = defaultExport(module);
+        if ('string' == typeof exported) return resolveBinding(module, exported, 'local', readModule, seen);
+        return void 0 === exported ? void 0 : {
+            expression: exported,
+            module
+        };
+    }
+    const reexported = reexportedBinding(module, name);
+    if (void 0 !== reexported) return void 0 === reexported.specifier ? resolveBinding(module, reexported.local, 'local', readModule, seen) : throughModule(reexported.specifier, reexported.local);
+    for (const statement of module.file.program.body){
+        if (!__rspack_external__babel_types_6e8337dd.isExportAllDeclaration(statement) || 'type' === statement.exportKind) continue;
+        const resolved = throughModule(statement.source.value, name);
+        if (void 0 !== resolved) return resolved;
+    }
+};
 const objectLiteral = (expression)=>{
     if (null == expression) return;
     const unwrapped = unwrapExpression(expression);
@@ -245,7 +354,22 @@ const rootComposesFoundation = (sourceFile, declaration, stem, foundationName)=>
             'identity'
         ]))) && first?.name === 'addHttpApi' && identifierName(first.arguments[0]) === foundationName;
 };
-const reachableEndpoints = (sourceFile, declaration)=>{
+const nonEndpointCombinators = {
+    api: {
+        annotate: 2,
+        annotateMerge: 1,
+        middleware: 1
+    },
+    group: {
+        annotate: 2,
+        annotateEndpoints: 2,
+        annotateEndpointsMerge: 1,
+        annotateMerge: 1,
+        middleware: 1
+    }
+};
+const reachableEndpoints = (rootModule, declaration)=>{
+    const readModule = createModuleReader(rootModule);
     const active = new Set();
     const endpoints = [];
     const identities = new Set();
@@ -260,13 +384,16 @@ const reachableEndpoints = (sourceFile, declaration)=>{
         options: 'OPTIONS'
     };
     let visits = 0;
-    const visit = (expression, kind, group = '')=>{
+    const visit = (expression, module, kind, group = '')=>{
         if (!expression) return false;
         const node = unwrapExpression(expression);
         if (active.has(node) || active.size >= 128 || ++visits > 2048) return false;
         active.add(node);
         try {
-            if (__rspack_external__babel_types_6e8337dd.isIdentifier(node)) return visit(localConst(sourceFile, node.name)?.init, kind, group);
+            if (__rspack_external__babel_types_6e8337dd.isIdentifier(node)) {
+                const resolved = resolveBinding(module, node.name, 'local', readModule, new Set());
+                return void 0 !== resolved && visit(resolved.expression, resolved.module, kind, group);
+            }
             if ('endpoint' === kind) {
                 if (!__rspack_external__babel_types_6e8337dd.isCallExpression(node) || node.arguments.length < 2 || node.arguments.length > 3) return false;
                 const callee = accessPath(node.callee);
@@ -292,19 +419,35 @@ const reachableEndpoints = (sourceFile, declaration)=>{
             ]) || 1 !== chain.base.arguments.length) return false;
             const name = stringLiteral(chain.base.arguments[0]);
             if (!name) return false;
+            const chainStart = endpoints.length;
+            const combinators = nonEndpointCombinators[kind];
             return chain.methods.every((method)=>{
+                if ('prefix' === method.name) {
+                    const prefix = stringLiteral(method.arguments[0]);
+                    if (1 !== method.arguments.length || !prefix?.startsWith('/')) return false;
+                    for(let index = chainStart; index < endpoints.length; index += 1){
+                        const endpoint = endpoints[index];
+                        endpoints[index] = {
+                            ...endpoint,
+                            routePath: `${prefix}${endpoint.routePath}`
+                        };
+                    }
+                    return true;
+                }
+                const combinatorArity = combinators[method.name];
+                if (void 0 !== combinatorArity) return method.arguments.length === combinatorArity;
                 if (1 !== method.arguments.length) return false;
-                if ('pipe' === method.name) return 'identity' === identifierName(method.arguments[0]) && importsExactBindings(sourceFile, 'effect', [
+                if ('pipe' === method.name) return 'identity' === identifierName(method.arguments[0]) && importsExactBindings(module.file, 'effect', [
                     'identity'
                 ]);
-                if ('add' === method.name) return visit(method.arguments[0], 'api' === kind ? 'group' : 'endpoint', 'group' === kind ? name : '');
-                return 'api' === kind && 'addHttpApi' === method.name && visit(method.arguments[0], 'api');
+                if ('add' === method.name) return visit(method.arguments[0], module, 'api' === kind ? 'group' : 'endpoint', 'group' === kind ? name : '');
+                return 'api' === kind && 'addHttpApi' === method.name && visit(method.arguments[0], module, 'api');
             });
         } finally{
             active.delete(node);
         }
     };
-    return visit(declaration?.init, 'api') ? endpoints : void 0;
+    return visit(declaration?.init, rootModule, 'api') ? endpoints : void 0;
 };
 const operationContextFields = (property)=>{
     const constructorCall = exactCall(property.value, [
@@ -435,7 +578,8 @@ const readinessSchemaIsShared = (declaration, markerSchemaName, ownerMarkerIsIde
     return void 0 !== schema && (schema.identity && ownerMarkerIsIdentity || 1 === schema.assignments.size && identifierName(schema.assignments.get('marker')?.value) === markerSchemaName);
 };
 const declarationIsIdentifier = (declaration, identifier)=>declaration?.init != null && identifierName(unwrapExpression(declaration.init)) === identifier;
-const validateParsedContract = (sourceFile, stem, expectation)=>{
+const validateParsedContract = (module, stem, expectation)=>{
+    const sourceFile = module.file;
     const exportStem = camelCaseStem(stem);
     const foundationName = `${exportStem}FoundationApi`;
     const markerSchemaName = `${exportStem}MarkerSchema`;
@@ -452,7 +596,7 @@ const validateParsedContract = (sourceFile, stem, expectation)=>{
     if (!readinessSchemaIsShared(exportedConst(sourceFile, readinessSchemaName), markerSchemaName, declarationIsIdentifier(markerDeclaration, 'MicroVerticalBuildMarkerSchema'))) return 'MicroVertical readiness schema must consume the shared readiness schema without overriding shared fields';
     if (!foundationIsExact(exportedConst(sourceFile, foundationName), stem, readinessSchemaName)) return 'MicroVertical readiness foundation API must directly compose its exact readiness endpoint and foundation identity';
     if (!rootComposesFoundation(sourceFile, exportedConst(sourceFile, `${exportStem}Api`), stem, foundationName)) return 'MicroVertical root API must explicitly compose its readiness foundation API';
-    const endpoints = reachableEndpoints(sourceFile, exportedConst(sourceFile, `${exportStem}Api`));
+    const endpoints = reachableEndpoints(module, exportedConst(sourceFile, `${exportStem}Api`));
     if (!endpoints) return 'MicroVertical root API must compose bounded native endpoint declarations without ambiguous identities';
     if (!operationMapIsConnected(exportedConst(sourceFile, `${exportStem}OperationContexts`), stem, expectation.operationPaths ?? {}, endpoints)) return 'MicroVertical operation map must construct every operation with the shared context constructor';
     if (!metadataIsExact(exportedConst(sourceFile, `${exportStem}ApiContract`), expectation, endpoints)) return 'MicroVertical root contract must keep exact owner and API path metadata without forbidden fields';
@@ -466,10 +610,13 @@ const microVerticalApiBaselineViolation = (stem, filePath, expectation)=>{
     try {
         const sourceFile = parseConsumer(filePath);
         if (!baselinePublicIdentityIsExact(filePath, expectation)) return 'MicroVertical baseline imports must resolve the exact framework owner public export and schema identity';
-        return validateParsedContract(sourceFile, stem, expectation);
+        return validateParsedContract({
+            file: sourceFile,
+            path: filePath
+        }, stem, expectation);
     } catch (error) {
         if (error instanceof ConsumerSyntaxError) return `MicroVertical root contract must be valid TypeScript syntax (${error.message})`;
         throw error;
     }
 };
-export { configuredMicroVerticalApiStem, microVerticalApiBaselineViolation };
+export { configuredMicroVerticalApiStem, consumerParserPlugins, microVerticalApiBaselineViolation };

package/dist/esm-node/microvertical-api-boundary.js

@@ -2,7 +2,7 @@ import "node:module";
 import node_fs from "node:fs";
 import node_path from "node:path";
 import { parse } from "@babel/parser";
-import { configuredMicroVerticalApiStem, microVerticalApiBaselineViolation } from "./microvertical-api-baseline.js";
+import { configuredMicroVerticalApiStem, consumerParserPlugins, microVerticalApiBaselineViolation } from "./microvertical-api-baseline.js";
 import { baselinePackage, resolveBaselinePackageDirectory } from "./microvertical-api-owner.js";
 import { createEffectApiImportResolver, strictEffectRuntimeTopologyViolation } from "./strict-effect-runtime.js";
 import * as __rspack_external__babel_types_6e8337dd from "@babel/types";
@@ -114,10 +114,7 @@ function check(options, topology) {
                 const ast = parse(read(file), {
                     sourceType: 'module',
                     sourceFilename: file,
-                    plugins: [
-                        "typescript",
-                        'jsx'
-                    ]
+                    plugins: consumerParserPlugins(file)
                 });
                 parsed.set(file, ast);
                 return ast;
@@ -130,13 +127,49 @@ function check(options, topology) {
                 throw error;
             }
         };
-        const moduleShape = (file, imports, calls, patterns = [], defaultExport)=>{
+        const resolveRelative = (fromFile, specifier)=>{
+            if (!/^\.\.?\//u.test(specifier)) return;
+            const base = node_path.posix.join(node_path.posix.dirname(fromFile), specifier).replace(/\.(?:[cm]?[jt]sx?)$/u, '');
+            return [
+                `${base}.ts`,
+                `${base}.tsx`,
+                `${base}/index.ts`,
+                `${base}/index.tsx`
+            ].find((candidate)=>exists(candidate));
+        };
+        const composedModules = (file)=>{
+            const order = [];
+            const seen = new Set();
+            const queue = [
+                file
+            ];
+            while(queue.length > 0 && order.length < 128){
+                const current = queue.shift();
+                if (seen.has(current)) continue;
+                seen.add(current);
+                order.push(current);
+                const ast = parseFile(current);
+                if (!ast) continue;
+                for (const statement of ast.program.body){
+                    const source = (__rspack_external__babel_types_6e8337dd.isImportDeclaration(statement) || __rspack_external__babel_types_6e8337dd.isExportNamedDeclaration(statement) || __rspack_external__babel_types_6e8337dd.isExportAllDeclaration(statement)) && statement.source ? statement.source.value : void 0;
+                    const resolved = void 0 === source ? void 0 : resolveRelative(current, source);
+                    if (void 0 !== resolved && !seen.has(resolved)) queue.push(resolved);
+                }
+            }
+            return order;
+        };
+        const moduleShape = (file, imports, calls, patterns = [], defaultExport, composed = false)=>{
             if (!exists(file)) return;
             const ast = parseFile(file);
             if (!ast) return;
-            const body = ast.program.body;
+            const shapeFiles = composed ? composedModules(file) : [
+                file
+            ];
+            const body = shapeFiles.flatMap((shapeFile)=>parseFile(shapeFile)?.program.body ?? []);
             for (const [specifier, names] of imports){
-                const imported = body.filter((item)=>__rspack_external__babel_types_6e8337dd.isImportDeclaration(item) && 'type' !== item.importKind && item.source.value === specifier);
+                const target = resolveRelative(file, specifier);
+                const matchesSpecifier = (item, from)=>void 0 === target ? item.source.value === specifier : resolveRelative(from, item.source.value) === target;
+                const imported = shapeFiles.flatMap((shapeFile)=>(parseFile(shapeFile)?.program.body ?? []).filter((item)=>__rspack_external__babel_types_6e8337dd.isImportDeclaration(item) && 'type' !== item.importKind && matchesSpecifier(item, shapeFile)));
                 assert(imported.length, `${file}: must import from ${specifier}`);
                 for (const name of names)assert(imported.some((item)=>__rspack_external__babel_types_6e8337dd.isImportDeclaration(item) && item.specifiers.some((value)=>__rspack_external__babel_types_6e8337dd.isImportSpecifier(value) && 'type' !== value.importKind && __rspack_external__babel_types_6e8337dd.isIdentifier(value.imported, {
                             name
@@ -145,11 +178,15 @@ function check(options, topology) {
                         }))), `${file}: must import ${name} from ${specifier}`);
             }
             const found = new Set();
-            __rspack_external__babel_types_6e8337dd.traverseFast(ast, (node)=>{
+            const collectCalls = (node)=>{
                 if (!__rspack_external__babel_types_6e8337dd.isCallExpression(node)) return;
                 if (__rspack_external__babel_types_6e8337dd.isIdentifier(node.callee)) found.add(node.callee.name);
                 if (__rspack_external__babel_types_6e8337dd.isMemberExpression(node.callee) && !node.callee.computed && __rspack_external__babel_types_6e8337dd.isIdentifier(node.callee.object) && __rspack_external__babel_types_6e8337dd.isIdentifier(node.callee.property)) found.add(`${node.callee.object.name}.${node.callee.property.name}`);
-            });
+            };
+            for (const shapeFile of shapeFiles){
+                const shapeAst = parseFile(shapeFile);
+                if (shapeAst) __rspack_external__babel_types_6e8337dd.traverseFast(shapeAst, collectCalls);
+            }
             for (const call of calls)assert(found.has(call), `${file}: must call ${call}(...)`);
             const source = read(file).replace(/\/\*[\s\S]*?\*\/|\/\/[^\n]*/gu, '');
             for (const [pattern, reason] of patterns)assert(pattern.test(source), `${file}: ${reason}`);
@@ -327,7 +364,7 @@ function check(options, topology) {
                 ]
             ], [
                 rpc ? 'makeEffectRpcClient' : 'makeEffectHttpApiClient'
-            ]);
+            ], [], void 0, true);
             moduleShape(`${appPath}/api/effect-api.ts`, [], [], [
                 [
                     /\bbackendFederationContract\b/u,

package/dist/types/microvertical-api-baseline.d.ts

@@ -1,3 +1,8 @@
+/**
+ * Only `.tsx` is JSX. Enabling JSX for a `.ts` file misreads a generic arrow
+ * such as `const f = <T>(value: T) => value` as an unclosed JSX element.
+ */
+export declare const consumerParserPlugins: (filePath: string) => ('typescript' | 'jsx')[];
 export interface MicroVerticalApiBaselineExpectation {
     /** Optional override for operation IDs outside reachable endpoint naming conventions. */
     readonly operationPaths?: Readonly<Record<string, string>>;

package/package.json

@@ -23,7 +23,7 @@
   "engines": {
     "node": ">=20"
   },
-  "version": "3.9.0-ultramodern.7",
+  "version": "3.9.0-ultramodern.8",
   "types": "./dist/types/index.d.ts",
   "main": "./dist/esm-node/index.js",
   "typesVersions": {