@bleedingdev/modern-js-code-tools 3.9.0-ultramodern.3 → 3.9.0-ultramodern.5

package/dist/esm/strict-effect-runtime.js

@@ -3,7 +3,8 @@ import node_path from "node:path";
 import { parse } from "@babel/parser";
 import traverse, { Hub, NodePath } from "@babel/traverse";
 import * as __rspack_external__babel_types_6e8337dd from "@babel/types";
-const edge = '@modern-js/plugin-bff/effect-edge';
+const edge = '@modern-js/bff-effect/effect-edge';
+const nodeRuntime = '@modern-js/bff-effect/effect';
 const sharedRuntime = /^@[^/]+\/shared-contracts\/server\/effect-bff-runtime$/u;
 const failure = 'Generated API entries must export defineEffectBff(...) or the server-only shared Effect BFF assembly helper with an explicitly composed handler Layer and an unshadowed executable root; entries must implement handlers through HttpApiBuilder.group.';
 const invalidSources = new WeakSet();
@@ -119,23 +120,38 @@ function strictEffectRuntimeTopologyViolation(source, resolveImport) {
         const imported = (node)=>{
             const value = binding(node);
             const decl = value?.path.node;
-            if (!decl || !__rspack_external__babel_types_6e8337dd.isImportSpecifier(decl) || 'type' === decl.importKind) return;
+            if (!decl || !__rspack_external__babel_types_6e8337dd.isImportSpecifier(decl) && !__rspack_external__babel_types_6e8337dd.isImportNamespaceSpecifier(decl) || __rspack_external__babel_types_6e8337dd.isImportSpecifier(decl) && 'type' === decl.importKind) return;
             const statement = value.path.parent;
             if (!__rspack_external__babel_types_6e8337dd.isImportDeclaration(statement) || 'type' === statement.importKind) return;
             return {
-                name: __rspack_external__babel_types_6e8337dd.isIdentifier(decl.imported) ? decl.imported.name : decl.imported.value,
+                namespace: __rspack_external__babel_types_6e8337dd.isImportNamespaceSpecifier(decl),
+                name: __rspack_external__babel_types_6e8337dd.isImportNamespaceSpecifier(decl) ? '*' : __rspack_external__babel_types_6e8337dd.isIdentifier(decl.imported) ? decl.imported.name : decl.imported.value,
                 specifier: statement.source.value
             };
         };
-        const native = (node, name, sources = [
-            edge
-        ])=>{
+        const namespaceSources = {
+            HttpApi: [
+                edge,
+                'effect/unstable/httpapi'
+            ],
+            HttpApiBuilder: [
+                edge,
+                'effect/unstable/httpapi'
+            ],
+            HttpRouter: [
+                edge,
+                'effect/unstable/http'
+            ]
+        };
+        const native = (node, name, sources)=>{
             const value = imported(node);
-            return value?.name === name && sources.includes(value.specifier);
+            if (!value) return false;
+            const importedNameMatches = value.namespace ? value.specifier === `effect/${name}` : value.name === name && value.specifier !== `effect/${name}`;
+            return importedNameMatches && (sources ?? namespaceSources[name] ?? [
+                edge
+            ]).includes(value.specifier);
         };
-        const method = (node, namespace, member, sources = [
-            edge
-        ])=>{
+        const method = (node, namespace, member, sources)=>{
             node = unwrap(node);
             return __rspack_external__babel_types_6e8337dd.isMemberExpression(node) && !node.computed && __rspack_external__babel_types_6e8337dd.isIdentifier(node.property, {
                 name: member
@@ -213,8 +229,15 @@ function strictEffectRuntimeTopologyViolation(source, resolveImport) {
         };
         const layerSources = [
             edge,
-            'effect'
+            'effect',
+            'effect/Layer'
         ];
+        const returned = (body)=>{
+            if (!__rspack_external__babel_types_6e8337dd.isBlockStatement(body)) return body;
+            const statements = body.body;
+            const last = statements.at(-1);
+            return statements.slice(0, -1).every((statement)=>__rspack_external__babel_types_6e8337dd.isVariableDeclaration(statement)) && __rspack_external__babel_types_6e8337dd.isReturnStatement(last) ? last.argument : void 0;
+        };
         const pipe = (node, check)=>__rspack_external__babel_types_6e8337dd.isMemberExpression(node.callee) && !node.callee.computed && __rspack_external__babel_types_6e8337dd.isIdentifier(node.callee.property, {
                 name: 'pipe'
             }) && check(node.callee.object) && node.arguments.every((argument)=>method(argument, 'Layer', 'orDie', layerSources) || __rspack_external__babel_types_6e8337dd.isCallExpression(argument) && method(argument.callee, 'Layer', 'provide', layerSources) && argument.arguments.length > 0);
@@ -223,7 +246,7 @@ function strictEffectRuntimeTopologyViolation(source, resolveImport) {
             if (!__rspack_external__babel_types_6e8337dd.isArrowFunctionExpression(node) && !__rspack_external__babel_types_6e8337dd.isFunctionExpression(node)) return false;
             const parameter = node.params[0];
             if (!__rspack_external__babel_types_6e8337dd.isIdentifier(parameter)) return false;
-            const body = __rspack_external__babel_types_6e8337dd.isBlockStatement(node.body) ? 1 === node.body.body.length && __rspack_external__babel_types_6e8337dd.isReturnStatement(node.body.body[0]) ? node.body.body[0].argument : void 0 : node.body;
+            const body = returned(node.body);
             const chain = (value, count = 0)=>{
                 value = unwrap(value);
                 if (__rspack_external__babel_types_6e8337dd.isIdentifier(value)) return count > 0 && declaration(value) === parameter;
@@ -279,7 +302,7 @@ function strictEffectRuntimeTopologyViolation(source, resolveImport) {
             const groupInit = groupValue && initialized(groupValue);
             if (!groupInit || !__rspack_external__babel_types_6e8337dd.isCallExpression(groupInit) || !method(groupInit.callee, 'RpcGroup', 'make', [
                 'effect/unstable/rpc',
-                '@modern-js/plugin-bff/effect-client'
+                '@modern-js/bff-effect/effect-client'
             ])) return false;
             const layerInit = initialized(layer) ?? unwrap(layer);
             if (!__rspack_external__babel_types_6e8337dd.isCallExpression(layerInit) || !__rspack_external__babel_types_6e8337dd.isMemberExpression(layerInit.callee) || layerInit.callee.computed || !__rspack_external__babel_types_6e8337dd.isIdentifier(layerInit.callee.property, {
@@ -299,7 +322,10 @@ function strictEffectRuntimeTopologyViolation(source, resolveImport) {
                 if (init) return runtime(init);
                 if (!__rspack_external__babel_types_6e8337dd.isCallExpression(node)) return false;
                 const value = imported(node.callee);
-                if (value?.name === 'defineEffectBff' && value.specifier === edge || value?.name === 'assembleEffectBffRuntime' && sharedRuntime.test(value.specifier)) {
+                if (value?.name === 'defineEffectBff' && [
+                    edge,
+                    nodeRuntime
+                ].includes(value.specifier) || value?.name === 'assembleEffectBffRuntime' && sharedRuntime.test(value.specifier)) {
                     if (1 !== node.arguments.length) return false;
                     const values = properties(node.arguments[0]);
                     if (!values) return false;
@@ -315,11 +341,9 @@ function strictEffectRuntimeTopologyViolation(source, resolveImport) {
                 }
                 const decl = declaration(node.callee);
                 const factory = decl && __rspack_external__babel_types_6e8337dd.isFunctionDeclaration(decl) ? decl : initialized(node.callee);
-                if (!factory || !__rspack_external__babel_types_6e8337dd.isFunctionDeclaration(factory) && !__rspack_external__babel_types_6e8337dd.isArrowFunctionExpression(factory) && !__rspack_external__babel_types_6e8337dd.isFunctionExpression(factory) || factory.params.length || node.arguments.length || !factory.body) return false;
-                if (!__rspack_external__babel_types_6e8337dd.isBlockStatement(factory.body)) return runtime(factory.body);
-                const statements = factory.body.body;
-                const last = statements.at(-1);
-                return statements.slice(0, -1).every((statement)=>__rspack_external__babel_types_6e8337dd.isVariableDeclaration(statement)) && !!last && __rspack_external__babel_types_6e8337dd.isReturnStatement(last) && !!last.argument && runtime(last.argument);
+                if (!factory || !__rspack_external__babel_types_6e8337dd.isFunctionDeclaration(factory) && !__rspack_external__babel_types_6e8337dd.isArrowFunctionExpression(factory) && !__rspack_external__babel_types_6e8337dd.isFunctionExpression(factory) || !factory.body) return false;
+                const result = returned(factory.body);
+                return !!result && runtime(result);
             });
         const root = entry.file.program.body.find((statement)=>__rspack_external__babel_types_6e8337dd.isExportDefaultDeclaration(statement));
         return root && runtime(root.declaration) ? void 0 : failure;

package/dist/esm-node/cli/microvertical-api-check.js

@@ -0,0 +1,34 @@
+import "node:module";
+import { checkMicroVerticalApiBoundaries, checkMicroVerticalApiConsumerFiles } from "../microvertical-api-boundary.js";
+function runMicroVerticalApiCheckCli(args = process.argv.slice(2), filesOnly = false) {
+    let workspaceRoot = process.env.ULTRAMODERN_WORKSPACE_ROOT ?? process.cwd();
+    let baselinePackageDirectory;
+    for(let index = 0; index < args.length; index += 1){
+        const argument = args[index];
+        if ('--help' === argument || '-h' === argument) {
+            console.log(`${filesOnly ? 'modern-api-check-files' : 'modern-api-check'} [--workspace-root <path>] [--baseline-package-directory <path>]\n${filesOnly ? 'Checks consumer files, contracts, package exports and owner identity. Does not analyze runtime topology; run the strict Effect source phase separately.' : 'Checks consumer files, contracts, package exports, owner identity and runtime topology once per API entry.'}\nWorkspace defaults to ULTRAMODERN_WORKSPACE_ROOT then cwd. Exit codes: 0 valid, 1 consumer violation, 2 tool/configuration failure.`);
+            return 0;
+        }
+        if (![
+            '--workspace-root',
+            '--baseline-package-directory'
+        ].includes(argument ?? '') || !args[index + 1] || args[index + 1]?.startsWith('--')) {
+            console.error(`Invalid argument: ${argument ?? ''}. Use --help.`);
+            return 2;
+        }
+        const value = args[++index];
+        if ('--workspace-root' === argument) workspaceRoot = value;
+        else baselinePackageDirectory = value;
+    }
+    const result = (filesOnly ? checkMicroVerticalApiConsumerFiles : checkMicroVerticalApiBoundaries)({
+        workspaceRoot,
+        baselinePackageDirectory
+    });
+    for (const diagnostic of result.diagnostics)console.error(`API violation: ${diagnostic}`);
+    for (const error of result.toolErrors)console.error(`API tool error: ${error}`);
+    if (result.toolErrors.length) return 2;
+    if (result.diagnostics.length) return 1;
+    console.log(`UltraModern API ${filesOnly ? 'consumer files' : 'boundary'} check passed.`);
+    return 0;
+}
+export { runMicroVerticalApiCheckCli };

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

@@ -0,0 +1,475 @@
+import "node:module";
+import node_fs from "node:fs";
+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";
+class ConsumerSyntaxError extends Error {
+}
+class ConsumerValidationHub extends Hub {
+    buildError(_node, message) {
+        return new ConsumerSyntaxError(message);
+    }
+}
+function parseConsumer(filePath) {
+    if (node_fs.statSync(filePath).size > 1000000) throw new Error(`${filePath}: consumer source exceeds 1 MB analysis budget`);
+    let file;
+    try {
+        file = parse(node_fs.readFileSync(filePath, 'utf8'), {
+            sourceType: 'module',
+            sourceFilename: filePath,
+            plugins: [
+                "typescript"
+            ]
+        });
+    } 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));
+        throw error;
+    }
+    const program = NodePath.get({
+        hub: new ConsumerValidationHub(),
+        parentPath: void 0,
+        parent: file,
+        container: file,
+        key: 'program'
+    });
+    program.setContext();
+    traverse(file, {
+        AssignmentExpression (p) {
+            throw new ConsumerSyntaxError(`contract bindings must be immutable at ${p.node.start}`);
+        },
+        UpdateExpression (p) {
+            throw new ConsumerSyntaxError(`contract bindings must be immutable at ${p.node.start}`);
+        },
+        TSModuleDeclaration () {
+            throw new ConsumerSyntaxError('contract bindings must not be merged with namespaces');
+        }
+    }, program.scope, void 0, program);
+    return file;
+}
+const camelCaseStem = (stem)=>stem.replaceAll(/-([a-z0-9])/gu, (_match, letter)=>letter.toUpperCase());
+const pascalCaseStem = (stem)=>{
+    const camelStem = camelCaseStem(stem);
+    return `${camelStem.slice(0, 1).toUpperCase()}${camelStem.slice(1)}`;
+};
+const identifierName = (node)=>void 0 !== node && __rspack_external__babel_types_6e8337dd.isIdentifier(node) ? node.name : void 0;
+const propertyName = (node)=>{
+    if (void 0 !== node && (__rspack_external__babel_types_6e8337dd.isIdentifier(node) || __rspack_external__babel_types_6e8337dd.isStringLiteral(node) || __rspack_external__babel_types_6e8337dd.isNumericLiteral(node))) return __rspack_external__babel_types_6e8337dd.isIdentifier(node) ? node.name : String(node.value);
+};
+const accessPath = (node)=>{
+    if (__rspack_external__babel_types_6e8337dd.isIdentifier(node)) return [
+        node.name
+    ];
+    if (__rspack_external__babel_types_6e8337dd.isMemberExpression(node) && !node.computed && __rspack_external__babel_types_6e8337dd.isIdentifier(node.property)) {
+        const parent = accessPath(node.object);
+        return void 0 === parent ? void 0 : [
+            ...parent,
+            node.property.name
+        ];
+    }
+};
+const isAccessPath = (node, expected)=>accessPath(node)?.join('.') === expected.join('.');
+const unwrapExpression = (expression)=>{
+    let current = expression;
+    while(__rspack_external__babel_types_6e8337dd.isTSAsExpression(current) || __rspack_external__babel_types_6e8337dd.isParenthesizedExpression(current) || __rspack_external__babel_types_6e8337dd.isTSSatisfiesExpression(current))current = current.expression;
+    return current;
+};
+const stringLiteral = (expression)=>{
+    if (null == expression) return;
+    const unwrapped = unwrapExpression(expression);
+    return __rspack_external__babel_types_6e8337dd.isStringLiteral(unwrapped) ? unwrapped.value : void 0;
+};
+const numericLiteral = (expression)=>{
+    if (null == expression) return;
+    const unwrapped = unwrapExpression(expression);
+    return __rspack_external__babel_types_6e8337dd.isNumericLiteral(unwrapped) ? Number(unwrapped.value) : void 0;
+};
+const callExpression = (expression, callee)=>{
+    if (null == expression) return;
+    const unwrapped = unwrapExpression(expression);
+    return __rspack_external__babel_types_6e8337dd.isCallExpression(unwrapped) && isAccessPath(unwrapped.callee, callee) ? unwrapped : void 0;
+};
+const localConst = (sourceFile, name)=>{
+    for (const item of sourceFile.program.body){
+        const statement = __rspack_external__babel_types_6e8337dd.isExportNamedDeclaration(item) ? item.declaration : item;
+        if (!__rspack_external__babel_types_6e8337dd.isVariableDeclaration(statement) || 'const' !== statement.kind) continue;
+        const matches = statement.declarations.filter((declaration)=>__rspack_external__babel_types_6e8337dd.isIdentifier(declaration.id, {
+                name
+            }));
+        if (1 === matches.length) return matches[0];
+    }
+};
+const exportedConst = (sourceFile, name)=>{
+    for (const statement of sourceFile.program.body)if (__rspack_external__babel_types_6e8337dd.isExportNamedDeclaration(statement) && 'type' !== statement.exportKind) {
+        if (__rspack_external__babel_types_6e8337dd.isVariableDeclaration(statement.declaration) && 'const' === statement.declaration.kind) {
+            const declaration = statement.declaration.declarations.find((value)=>__rspack_external__babel_types_6e8337dd.isIdentifier(value.id, {
+                    name
+                }));
+            if (declaration) return declaration;
+        }
+        if (!statement.source && statement.specifiers.some((value)=>__rspack_external__babel_types_6e8337dd.isExportSpecifier(value) && 'type' !== value.exportKind && __rspack_external__babel_types_6e8337dd.isIdentifier(value.local, {
+                name
+            }) && __rspack_external__babel_types_6e8337dd.isIdentifier(value.exported, {
+                name
+            }))) return localConst(sourceFile, name);
+    }
+};
+const objectLiteral = (expression)=>{
+    if (null == expression) return;
+    const unwrapped = unwrapExpression(expression);
+    return __rspack_external__babel_types_6e8337dd.isObjectExpression(unwrapped) ? unwrapped : void 0;
+};
+const propertyAssignments = (properties)=>{
+    const assignments = new Map();
+    for (const property of properties){
+        if (!__rspack_external__babel_types_6e8337dd.isObjectProperty(property) || property.computed || property.shorthand) return;
+        const name = propertyName(property.key);
+        if (void 0 === name || assignments.has(name)) return;
+        assignments.set(name, property);
+    }
+    return assignments;
+};
+const exactCall = (expression, callee, argumentCount)=>{
+    const call = callExpression(expression, callee);
+    return call?.arguments.length === argumentCount ? call : void 0;
+};
+const sharedSchemaObject = (declaration, sharedSchemaName, protectedFields)=>{
+    if (declaration?.init == null) return;
+    const initializer = unwrapExpression(declaration.init);
+    if (__rspack_external__babel_types_6e8337dd.isIdentifier(initializer) && initializer.name === sharedSchemaName) return {
+        assignments: new Map(),
+        identity: true
+    };
+    const struct = exactCall(initializer, [
+        'Schema',
+        'Struct'
+    ], 1);
+    const schemaObject = objectLiteral(struct?.arguments[0]);
+    if (void 0 === schemaObject) return;
+    const spreads = schemaObject.properties.filter(__rspack_external__babel_types_6e8337dd.isSpreadElement);
+    const assignments = propertyAssignments(schemaObject.properties.filter((property)=>!__rspack_external__babel_types_6e8337dd.isSpreadElement(property)));
+    if (1 !== spreads.length || !spreads.every((spread)=>isAccessPath(spread.argument, [
+            sharedSchemaName,
+            'fields'
+        ])) || void 0 === assignments || protectedFields.some((field)=>assignments.has(field))) return;
+    return {
+        assignments,
+        identity: false
+    };
+};
+const directCallChain = (expression)=>{
+    if (null == expression) return;
+    let current = unwrapExpression(expression);
+    const methods = [];
+    while(__rspack_external__babel_types_6e8337dd.isCallExpression(current) && __rspack_external__babel_types_6e8337dd.isMemberExpression(current.callee) && !current.callee.computed && __rspack_external__babel_types_6e8337dd.isIdentifier(current.callee.property) && !__rspack_external__babel_types_6e8337dd.isIdentifier(current.callee.object)){
+        methods.unshift({
+            arguments: current.arguments,
+            name: current.callee.property.name
+        });
+        current = unwrapExpression(current.callee.object);
+    }
+    if (!__rspack_external__babel_types_6e8337dd.isCallExpression(current)) return;
+    return {
+        base: current,
+        methods
+    };
+};
+const brandedStringSchemaIsExact = (declaration, brand)=>{
+    const initializer = declaration?.init;
+    if (null == initializer) return false;
+    const pipeCall = unwrapExpression(initializer);
+    if (!__rspack_external__babel_types_6e8337dd.isCallExpression(pipeCall) || !__rspack_external__babel_types_6e8337dd.isMemberExpression(pipeCall.callee) || pipeCall.callee.computed || !__rspack_external__babel_types_6e8337dd.isIdentifier(pipeCall.callee.property, {
+        name: 'pipe'
+    }) || !isAccessPath(pipeCall.callee.object, [
+        'Schema',
+        'String'
+    ]) || 1 !== pipeCall.arguments.length) return false;
+    const brandCall = exactCall(pipeCall.arguments[0], [
+        'Schema',
+        'brand'
+    ], 1);
+    return stringLiteral(brandCall?.arguments[0]) === brand;
+};
+const importedRuntimeNames = (statement, expectedPackage)=>{
+    if (!__rspack_external__babel_types_6e8337dd.isImportDeclaration(statement) || statement.source.value !== expectedPackage || 'type' === statement.importKind) return [];
+    return statement.specifiers.flatMap((value)=>__rspack_external__babel_types_6e8337dd.isImportSpecifier(value) && 'type' !== value.importKind && __rspack_external__babel_types_6e8337dd.isIdentifier(value.imported) && value.imported.name === value.local.name ? [
+            value.local.name
+        ] : []);
+};
+const importsExactBindings = (sourceFile, expectedPackage, expectedBindings)=>{
+    const names = new Set(sourceFile.program.body.flatMap((statement)=>importedRuntimeNames(statement, expectedPackage)));
+    return expectedBindings.every((name)=>names.has(name));
+};
+const baselineBindings = [
+    'MicroVerticalBuildMarkerSchema',
+    'MicroVerticalReadinessSchema',
+    'createMicroVerticalOperationContext'
+];
+const importsSharedBaselinePrimitives = (sourceFile, expectedPackage)=>importsExactBindings(sourceFile, expectedPackage, baselineBindings);
+const singleAddedArgument = (expression, factory, names)=>{
+    const chain = directCallChain(expression);
+    if (void 0 === chain || !isAccessPath(chain.base.callee, factory)) return;
+    const [method] = chain.methods;
+    if (1 !== chain.base.arguments.length || !names.includes(stringLiteral(chain.base.arguments[0]) ?? '') || 1 !== chain.methods.length || method?.name !== 'add' || 1 !== method.arguments.length) return;
+    return method.arguments[0];
+};
+const foundationIsExact = (declaration, stem, readinessSchemaName)=>{
+    const group = singleAddedArgument(declaration?.init, [
+        'HttpApi',
+        'make'
+    ], [
+        `${pascalCaseStem(stem)}FoundationApi`,
+        `${pascalCaseStem(stem)}ApiFoundation`
+    ]);
+    const endpointExpression = singleAddedArgument(group, [
+        'HttpApiGroup',
+        'make'
+    ], [
+        'foundation'
+    ]);
+    const endpoint = exactCall(endpointExpression, [
+        'HttpApiEndpoint',
+        'get'
+    ], 3);
+    const endpointOptions = objectLiteral(endpoint?.arguments[2]);
+    const endpointProperties = void 0 === endpointOptions ? void 0 : propertyAssignments(endpointOptions.properties);
+    return void 0 !== endpoint && 'readiness' === stringLiteral(endpoint.arguments[0]) && stringLiteral(endpoint.arguments[1]) === `/${stem}/readiness` && endpointProperties?.size === 1 && identifierName(endpointProperties.get('success')?.value) === readinessSchemaName;
+};
+const rootComposesFoundation = (sourceFile, declaration, stem, foundationName)=>{
+    const chain = directCallChain(declaration?.init);
+    const first = chain?.methods[0];
+    return void 0 !== chain && isAccessPath(chain.base.callee, [
+        'HttpApi',
+        'make'
+    ]) && 1 === chain.base.arguments.length && stringLiteral(chain.base.arguments[0]) === `${pascalCaseStem(stem)}Api` && chain.methods.length > 0 && chain.methods.every((method, index)=>1 === method.arguments.length && ('add' === method.name || 'addHttpApi' === method.name || index === chain.methods.length - 1 && 'pipe' === method.name && 'identity' === identifierName(method.arguments[0]) && importsExactBindings(sourceFile, 'effect', [
+            'identity'
+        ]))) && first?.name === 'addHttpApi' && identifierName(first.arguments[0]) === foundationName;
+};
+const reachableEndpoints = (sourceFile, declaration)=>{
+    const active = new Set();
+    const endpoints = [];
+    const identities = new Set();
+    const verbs = {
+        get: 'GET',
+        post: 'POST',
+        put: 'PUT',
+        patch: 'PATCH',
+        del: 'DELETE',
+        delete: 'DELETE',
+        head: 'HEAD',
+        options: 'OPTIONS'
+    };
+    let visits = 0;
+    const visit = (expression, 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 ('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);
+                const method = callee?.length === 2 && 'HttpApiEndpoint' === callee[0] ? verbs[callee[1]] : void 0;
+                const name = stringLiteral(node.arguments[0]);
+                const routePath = stringLiteral(node.arguments[1]);
+                if (!method || !name || !routePath) return false;
+                const identity = `${group}:${name}`;
+                if (identities.has(identity)) return false;
+                identities.add(identity);
+                endpoints.push({
+                    group,
+                    name,
+                    method,
+                    routePath
+                });
+                return true;
+            }
+            const chain = directCallChain(node);
+            if (!chain || !isAccessPath(chain.base.callee, [
+                'api' === kind ? 'HttpApi' : 'HttpApiGroup',
+                'make'
+            ]) || 1 !== chain.base.arguments.length) return false;
+            const name = stringLiteral(chain.base.arguments[0]);
+            if (!name) return false;
+            return chain.methods.every((method)=>{
+                if (1 !== method.arguments.length) return false;
+                if ('pipe' === method.name) return 'identity' === identifierName(method.arguments[0]) && importsExactBindings(sourceFile, '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');
+            });
+        } finally{
+            active.delete(node);
+        }
+    };
+    return visit(declaration?.init, 'api') ? endpoints : void 0;
+};
+const operationContextFields = (property)=>{
+    const constructorCall = exactCall(property.value, [
+        'createMicroVerticalOperationContext'
+    ], 1);
+    const input = objectLiteral(constructorCall?.arguments[0]);
+    return void 0 === input ? void 0 : propertyAssignments(input.properties);
+};
+const operationContextIdentity = (property)=>{
+    const fields = operationContextFields(property);
+    const method = stringLiteral(fields?.get('method')?.value);
+    const operationId = stringLiteral(fields?.get('operationId')?.value);
+    const routePath = stringLiteral(fields?.get('routePath')?.value);
+    if (fields?.size !== 3 || void 0 === method || void 0 === operationId || void 0 === routePath) return;
+    return {
+        method,
+        operationId,
+        routePath
+    };
+};
+const operationContextIsConstructed = (property, stem, propertyKey, operationPaths, endpoints)=>{
+    const identity = operationContextIdentity(property);
+    if (void 0 === identity) return false;
+    const { method, operationId, routePath } = identity;
+    if (!/^[A-Z]+$/u.test(method) || !/^\/(?!.*(?:^|\/)\.\.?\/)[^\s?#]*$/u.test(routePath)) return false;
+    const apiName = `${pascalCaseStem(stem)}Api`;
+    if ('readiness' === propertyKey && ('GET' !== method || routePath !== `/${stem}/readiness`)) return false;
+    return operationId === `${apiName}:${routePath}` || operationPaths[operationId] === routePath || endpoints.some((endpoint)=>endpoint.name === propertyKey && endpoint.method === method && endpoint.routePath === routePath && (operationId === `${apiName}:${endpoint.group}:${propertyKey}` || 'readiness' === propertyKey && operationId === `${apiName}:${camelCaseStem(stem)}:readiness`));
+};
+const operationMapIsConnected = (declaration, stem, operationPaths, endpoints)=>{
+    const map = objectLiteral(declaration?.init);
+    const properties = void 0 === map ? void 0 : propertyAssignments(map.properties);
+    return void 0 !== properties && properties.has('readiness') && [
+        ...properties
+    ].every(([key, property])=>operationContextIsConstructed(property, stem, key, operationPaths, endpoints));
+};
+const constAssertionObject = (declaration)=>{
+    const initializer = declaration?.init;
+    if (null == initializer || !__rspack_external__babel_types_6e8337dd.isTSAsExpression(initializer) || !__rspack_external__babel_types_6e8337dd.isTSTypeReference(initializer.typeAnnotation) || !__rspack_external__babel_types_6e8337dd.isIdentifier(initializer.typeAnnotation.typeName, {
+        name: 'const'
+    })) return;
+    return objectLiteral(initializer.expression);
+};
+const metadataIsExact = (declaration, expectation, endpoints)=>{
+    const object = constAssertionObject(declaration);
+    const fields = void 0 === object ? void 0 : propertyAssignments(object.properties);
+    const expectedFields = [
+        [
+            'apiPrefix',
+            expectation.apiPrefix
+        ],
+        [
+            'basePath',
+            expectation.basePath
+        ],
+        [
+            'ownerId',
+            expectation.ownerId
+        ],
+        [
+            'readinessPath',
+            expectation.readinessPath
+        ]
+    ];
+    if (!fields || !expectedFields.every(([field, value])=>stringLiteral(fields.get(field)?.value) === value)) return false;
+    const common = new Set(expectedFields.map(([field])=>field));
+    return [
+        ...fields
+    ].every(([field, property])=>{
+        if (common.has(field)) return true;
+        const value = stringLiteral(property.value);
+        if (void 0 === value) return false;
+        const explicit = expectation.additionalPaths[field];
+        if (void 0 !== explicit) return value === explicit;
+        if (!value.startsWith(`${expectation.apiPrefix}/`) || /[\s?#]/u.test(value) || value.split('/').some((segment)=>'.' === segment || '..' === segment)) return false;
+        return endpoints.some((endpoint)=>{
+            const route = `${expectation.apiPrefix}${endpoint.routePath}`;
+            return route === value || route.startsWith(`${value}/`);
+        });
+    });
+};
+const markerSchemaIsShared = (sourceFile, declaration)=>{
+    const schema = sharedSchemaObject(declaration, 'MicroVerticalBuildMarkerSchema', [
+        'build',
+        'buildMarker',
+        'deployProfile',
+        'packageName',
+        'sourceRevision',
+        'surface',
+        'version'
+    ]);
+    if (void 0 === schema || schema.identity) return schema?.identity === true;
+    const brandedField = (property, brand)=>identifierName(property.value) === `${brand}Schema` && brandedStringSchemaIsExact(localConst(sourceFile, `${brand}Schema`), brand);
+    const validators = new Map([
+        [
+            'appId',
+            (property)=>brandedField(property, 'AppId')
+        ],
+        [
+            'unitId',
+            (property)=>brandedField(property, 'UnitId')
+        ],
+        [
+            'kind',
+            (property)=>'microvertical-delivery-unit' === stringLiteral(exactCall(property.value, [
+                    'Schema',
+                    'Literal'
+                ], 1)?.arguments[0])
+        ],
+        [
+            'schemaVersion',
+            (property)=>1 === numericLiteral(exactCall(property.value, [
+                    'Schema',
+                    'Literal'
+                ], 1)?.arguments[0])
+        ]
+    ]);
+    return [
+        ...schema.assignments
+    ].every(([field, property])=>validators.get(field)?.(property) === true);
+};
+const readinessSchemaIsShared = (declaration, markerSchemaName, ownerMarkerIsIdentity)=>{
+    const schema = sharedSchemaObject(declaration, 'MicroVerticalReadinessSchema', [
+        'checks',
+        'status',
+        'versionSkew'
+    ]);
+    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 exportStem = camelCaseStem(stem);
+    const foundationName = `${exportStem}FoundationApi`;
+    const markerSchemaName = `${exportStem}MarkerSchema`;
+    const readinessSchemaName = `${exportStem}ReadinessSchema`;
+    const markerDeclaration = exportedConst(sourceFile, markerSchemaName);
+    if (!importsExactBindings(sourceFile, expectation.effectClientPackage, [
+        'HttpApi',
+        'HttpApiEndpoint',
+        'HttpApiGroup',
+        'Schema'
+    ])) return 'MicroVertical root contract must import exact Effect API primitives from the framework client package';
+    if (!importsSharedBaselinePrimitives(sourceFile, expectation.baselinePackage)) return 'MicroVertical root contract must import exact baseline primitives from the framework baseline package';
+    if (!markerSchemaIsShared(sourceFile, markerDeclaration)) return 'MicroVertical root contract must consume the shared build marker schema without overriding shared fields';
+    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`));
+    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';
+};
+const configuredMicroVerticalApiStem = (verticalPath, verticals)=>{
+    const topologyVertical = verticals.find((vertical)=>(vertical.path ?? `verticals/${vertical.id}`) === verticalPath);
+    const endpoint = topologyVertical?.api?.readiness?.endpoint;
+    return endpoint?.match(/^\/([a-z0-9]+(?:-[a-z0-9]+)*)\/readiness$/u)?.[1];
+};
+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);
+    } catch (error) {
+        if (error instanceof ConsumerSyntaxError) return `MicroVertical root contract must be valid TypeScript syntax (${error.message})`;
+        throw error;
+    }
+};
+export { configuredMicroVerticalApiStem, microVerticalApiBaselineViolation };