@bleedingdev/modern-js-code-tools 3.9.0-ultramodern.2 → 3.9.0-ultramodern.20

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

@@ -0,0 +1,525 @@
+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 { baselinePackage, resolveBaselinePackageDirectory } from "./microvertical-api-owner.js";
+import { createModuleGraph } from "./module-graph.js";
+import { SourceSyntaxError, consumerParserPlugins } from "./source-analysis.js";
+import { createEffectApiImportResolver, strictEffectRuntimeTopologyViolation } from "./strict-effect-runtime.js";
+import * as __rspack_external__babel_types_6e8337dd from "@babel/types";
+const ignored = new Set([
+    '.git',
+    '.modern',
+    '.modernjs',
+    '.output',
+    'coverage',
+    'dist',
+    'node_modules',
+    'repos'
+]);
+const normalize = (file)=>file.split(node_path.sep).join('/').replace(/^\.\//u, '');
+const errorMessage = (error)=>error instanceof Error ? error.message : String(error);
+const apiApp = (app)=>'vertical' === app.kind && 'ui-only' !== app.surfaceProfile && 'horizontal-remote' !== app.deliveryUnitKind;
+function configuredApps(root, supplied) {
+    const topology = supplied ? void 0 : JSON.parse(node_fs.readFileSync(node_path.join(root, 'topology/reference-topology.json'), 'utf8'));
+    if (topology && (!topology.shell || !Array.isArray(topology.verticals) || void 0 !== topology.shells && !Array.isArray(topology.shells))) throw new Error('topology/reference-topology.json: shell and verticals must be present');
+    const entries = topology?.shell ? [
+        topology.shell,
+        ...topology.shells ?? [],
+        ...topology.verticals ?? []
+    ] : void 0;
+    const source = supplied ?? entries?.map((entry)=>{
+        if (!entry || 'string' != typeof entry.path || !entry.path || node_path.isAbsolute(entry.path) || entry.path.split(/[\\/]/u).includes('..')) throw new Error('topology/reference-topology.json: each app must have an explicit workspace path');
+        const packageFile = node_path.join(root, entry.path, 'package.json');
+        const manifest = JSON.parse(node_fs.readFileSync(packageFile, 'utf8'));
+        if ('string' != typeof manifest.name || !manifest.name || void 0 !== entry.package && entry.package !== manifest.name) throw new Error(`${entry.path}/package.json: package name must match topology`);
+        const api = entry.api;
+        const stem = api?.stem ?? api?.readiness?.endpoint?.match(/^\/([a-z0-9]+(?:-[a-z0-9]+)*)\/readiness$/u)?.[1];
+        return {
+            id: entry.id,
+            kind: entry.kind,
+            path: entry.path,
+            package: manifest.name,
+            surfaceProfile: entry.surfaceProfile,
+            deliveryUnitKind: entry.deliveryUnitKind,
+            ...void 0 === api ? {} : {
+                api: {
+                    stem,
+                    prefix: api.bff?.prefix,
+                    protocol: api.protocol
+                }
+            }
+        };
+    });
+    if (!Array.isArray(source)) throw new Error('topology/reference-topology.json: shell and verticals must describe apps');
+    const paths = new Set();
+    for (const app of source){
+        if (!app || 'object' != typeof app || 'string' != typeof app.path || !app.path || node_path.isAbsolute(app.path) || app.path.split(/[\\/]/u).includes('..')) throw new Error('topology/reference-topology.json: each app must have a relative workspace path');
+        const key = normalize(app.path);
+        if (paths.has(key)) throw new Error(`topology/reference-topology.json: duplicate app path ${key}`);
+        paths.add(key);
+        for (const name of [
+            'id',
+            'kind',
+            'package',
+            'surfaceProfile',
+            'deliveryUnitKind'
+        ])if (void 0 !== app[name] && 'string' != typeof app[name]) throw new Error(`${key}: ${name} must be a string`);
+        const allowedFields = {
+            kind: [
+                'shell',
+                'vertical'
+            ],
+            surfaceProfile: [
+                'full-stack',
+                'api-only',
+                'ui-only'
+            ],
+            deliveryUnitKind: [
+                'microvertical',
+                'horizontal-remote'
+            ]
+        };
+        for (const field of Object.keys(allowedFields)){
+            const value = app[field];
+            if (void 0 !== value && !allowedFields[field].includes(value)) throw new Error(`${key}: invalid ${field}`);
+        }
+        if (void 0 !== app.api) {
+            if (!app.api || 'object' != typeof app.api || Array.isArray(app.api)) throw new Error(`${key}: api must be an object`);
+            if (void 0 !== app.api.protocol && ![
+                'rest',
+                'rpc'
+            ].includes(app.api.protocol)) throw new Error(`${key}: api.protocol must be rest or rpc`);
+            if (void 0 !== app.api.stem && ('string' != typeof app.api.stem || !/^[a-z0-9]+(?:-[a-z0-9]+)*$/u.test(app.api.stem))) throw new Error(`${key}: invalid api.stem`);
+            if (void 0 !== app.api.prefix && ('string' != typeof app.api.prefix || !/^\/[^\s?#]*$/u.test(app.api.prefix))) throw new Error(`${key}: invalid api.prefix`);
+            for (const field of [
+                'additionalPaths',
+                'operationPaths'
+            ]){
+                const value = app.api[field];
+                if (void 0 !== value && (!value || 'object' != typeof value || Array.isArray(value) || Object.values(value).some((entry)=>'string' != typeof entry))) throw new Error(`${key}: api.${field} must map names to paths`);
+            }
+        }
+    }
+    return source;
+}
+function check(options, topology) {
+    const diagnostics = [];
+    const toolErrors = [];
+    let topologyFilesAnalyzed = 0;
+    const root = node_path.resolve(options.workspaceRoot);
+    const absolute = (file)=>node_path.join(root, file);
+    const exists = (file)=>node_fs.existsSync(absolute(file));
+    const read = (file)=>node_fs.readFileSync(absolute(file), 'utf8');
+    const assert = (value, message)=>{
+        if (!value) diagnostics.push(message);
+    };
+    const noPath = (file, reason)=>assert(!exists(file), `${file}: ${reason}`);
+    const guarded = (file, work)=>{
+        try {
+            work();
+        } catch (error) {
+            toolErrors.push(`${file}: ${errorMessage(error)}`);
+        }
+    };
+    try {
+        const apps = configuredApps(root, options.configuredApps);
+        const byPath = new Map(apps.map((app)=>[
+                normalize(app.path),
+                app
+            ]));
+        const directories = (base)=>exists(base) ? node_fs.readdirSync(absolute(base), {
+                withFileTypes: true
+            }).filter((entry)=>entry.isDirectory() && !ignored.has(entry.name)).map((entry)=>`${base}/${entry.name}`) : [];
+        const walk = (directory)=>exists(directory) ? node_fs.readdirSync(absolute(directory), {
+                withFileTypes: true
+            }).flatMap((entry)=>{
+                if (ignored.has(entry.name) || 'dist-cloudflare' === entry.name && byPath.has(directory)) return [];
+                const file = `${directory}/${entry.name}`;
+                return entry.isDirectory() ? walk(file) : entry.isFile() ? [
+                    file
+                ] : [];
+            }) : [];
+        const parsed = new Map();
+        const parseFile = (file)=>{
+            if (parsed.has(file)) return parsed.get(file);
+            if (node_fs.statSync(absolute(file)).size > 1000000) throw new Error('consumer source exceeds 1 MB analysis budget');
+            try {
+                const ast = parse(read(file), {
+                    sourceType: 'module',
+                    sourceFilename: file,
+                    plugins: consumerParserPlugins(file)
+                });
+                parsed.set(file, ast);
+                return ast;
+            } catch (error) {
+                if ('object' == typeof error && null !== error && 'code' in error && 'BABEL_PARSER_SYNTAX_ERROR' === error.code) {
+                    diagnostics.push(`${file}: invalid source syntax (${errorMessage(error)})`);
+                    parsed.set(file, void 0);
+                    return;
+                }
+                throw error;
+            }
+        };
+        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 clientExportFile = (appPath, exported)=>{
+            if ('string' != typeof exported || !exported.startsWith('./') || exported.split(/[\\/]/u).includes('..') || !/\.[cm]?[jt]sx?$/u.test(exported)) return;
+            const appDirectory = absolute(appPath);
+            const candidate = node_path.resolve(appDirectory, exported);
+            try {
+                const workspace = node_fs.realpathSync(root);
+                const owner = node_fs.realpathSync(appDirectory);
+                const real = node_fs.realpathSync(candidate);
+                if (!owner.startsWith(`${workspace}${node_path.sep}`) || !real.startsWith(`${owner}${node_path.sep}`) || !node_fs.statSync(real).isFile()) return;
+            } catch  {
+                return;
+            }
+            return normalize(node_path.relative(root, candidate));
+        };
+        const composedModules = (file, appPath)=>{
+            const order = [];
+            const seen = new Set();
+            const queue = [
+                file
+            ];
+            const owner = node_fs.realpathSync(absolute(appPath));
+            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)) {
+                        const real = node_fs.realpathSync(absolute(resolved));
+                        if (real.startsWith(`${owner}${node_path.sep}`)) queue.push(resolved);
+                    }
+                }
+            }
+            return order;
+        };
+        const moduleShape = (file, imports, calls, patterns = [], defaultExport, composedAppPath)=>{
+            if (!exists(file)) return;
+            const ast = parseFile(file);
+            if (!ast) return;
+            const shapeFiles = composedAppPath ? composedModules(file, composedAppPath) : [
+                file
+            ];
+            const body = shapeFiles.flatMap((shapeFile)=>parseFile(shapeFile)?.program.body ?? []);
+            for (const [specifier, names] of imports){
+                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
+                        }) && __rspack_external__babel_types_6e8337dd.isIdentifier(value.local, {
+                            name
+                        }))), `${file}: must import ${name} from ${specifier}`);
+            }
+            const found = new Set();
+            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}`);
+            if (defaultExport) assert(body.some((item)=>__rspack_external__babel_types_6e8337dd.isExportDefaultDeclaration(item) && __rspack_external__babel_types_6e8337dd.isIdentifier(item.declaration, {
+                    name: defaultExport
+                })), `${file}: must default-export ${defaultExport}`);
+        };
+        const effect = '@modern-js/bff-effect/effect-client';
+        const appDirectories = [
+            ...new Set([
+                ...directories('apps'),
+                ...directories('verticals'),
+                ...byPath.keys()
+            ])
+        ];
+        for (const appPath of appDirectories)for (const suffix of [
+            'api/effect',
+            'api/lambda',
+            'shared/effect',
+            'src/effect'
+        ])noPath(`${appPath}/${suffix}`, 'legacy nested Effect paths are forbidden; use api/index.ts, shared/api.ts and src/api/*');
+        const sourceFiles = [
+            ...new Set([
+                'apps',
+                'verticals',
+                'packages',
+                ...byPath.keys()
+            ].flatMap(walk))
+        ].filter((file)=>/\.(?:[cm]?[jt]sx?|json|md)$/u.test(file));
+        for (const file of sourceFiles)guarded(file, ()=>{
+            const source = read(file);
+            const patterns = [
+                [
+                    /@modern-js\/plugin-bff\/(?:server|hono-server)(?![\w-])/u,
+                    'use Effect HttpApi instead of Hono helpers'
+                ],
+                [
+                    /\bruntimeFramework\s*(?::|=)\s*['"]hono['"]/u,
+                    'must use the Effect runtime'
+                ],
+                [
+                    /\bstrictEffectApproach\s*(?::|=)\s*false\b/u,
+                    'must keep strictEffectApproach enabled'
+                ]
+            ];
+            if (/\/api\//u.test(file)) patterns.push([
+                /\bnew\s+Response\s*\(|\bResponse\.json\s*\(/u,
+                'must not hand-build Response objects'
+            ], [
+                /\b(?:request|req)\.(?:json|text|formData|arrayBuffer)\s*\(/u,
+                'must use endpoint payload/query/params schemas instead of parsing request bodies'
+            ], [
+                /\bexport\s+const\s+handler\b|\bexport\s+default\s+async\b/u,
+                'must not export raw request handlers'
+            ], [
+                /\bcreateHandler\s*[:=]\s*(?!defineEffectBff\b)/u,
+                'must use defineEffectBff instead of unbranded handler factories'
+            ], [
+                /\bSchema\.(?:UnknownFromJsonString|Unknown|Any)\b/u,
+                'must use concrete request, response and error schemas'
+            ]);
+            for (const [pattern, reason] of patterns)assert(!pattern.test(source), `${file}: ${reason}`);
+            if (topology && /\/api\/index\.ts$/u.test(file)) {
+                topologyFilesAnalyzed += 1;
+                const violation = strictEffectRuntimeTopologyViolation(source, createEffectApiImportResolver(absolute(file)));
+                if (violation) diagnostics.push(`${file}: ${violation}`);
+            }
+        });
+        let owner;
+        for (const appPath of appDirectories)guarded(appPath, ()=>{
+            const app = byPath.get(appPath);
+            const emits = app ? apiApp(app) || 'vertical' !== app.kind && void 0 !== app.api : appPath.startsWith('verticals/') || exists(`${appPath}/api/index.ts`) || exists(`${appPath}/shared/api.ts`);
+            if (!emits) {
+                if (app?.kind === 'vertical') {
+                    assert(void 0 === app.api, `${appPath}: UI/horizontal unit must not declare an API`);
+                    for (const suffix of [
+                        'api/index.ts',
+                        'api/effect-api.ts',
+                        'shared/api.ts',
+                        'shared/rpc.ts',
+                        'src/api'
+                    ])noPath(`${appPath}/${suffix}`, 'unit has no API surface');
+                }
+                return;
+            }
+            if (app?.kind === 'vertical') assert(void 0 !== app.api, `${appPath}: vertical must declare its Effect API in topology/reference-topology.json`);
+            const stem = app?.api?.stem ?? node_path.posix.basename(appPath);
+            const rpc = app?.api?.protocol === 'rpc';
+            const contract = `${appPath}/shared/${rpc ? 'rpc' : 'api'}.ts`;
+            const entry = `${appPath}/api/index.ts`;
+            for (const file of [
+                entry,
+                contract
+            ])assert(exists(file), `${file}: required API surface is missing`);
+            const packageFile = `${appPath}/package.json`;
+            assert(exists(packageFile), `${packageFile}: required API package is missing`);
+            if (!exists(packageFile)) return;
+            const manifest = JSON.parse(read(packageFile));
+            assert(manifest.exports?.['./api'] === `./shared/${rpc ? 'rpc' : 'api'}.ts`, `${packageFile}: invalid ./api export`);
+            const clientKey = `./api/${rpc ? 'rpc-client' : 'client'}`;
+            const client = clientExportFile(appPath, manifest.exports?.[clientKey]);
+            assert(void 0 !== client, `${packageFile}: invalid API client export`);
+            assert(manifest.exports?.[`./api/${rpc ? 'client' : 'rpc-client'}`] === void 0, `${packageFile}: forbidden opposite protocol client export`);
+            noPath(`${appPath}/shared/${rpc ? 'api' : 'rpc'}.ts`, `must not emit a ${rpc ? 'REST' : 'RPC'} contract`);
+            if (rpc) {
+                moduleShape(entry, [
+                    [
+                        '@modern-js/bff-effect/effect-edge',
+                        [
+                            'defineEffectBff',
+                            'Effect',
+                            'HttpApi',
+                            'Layer'
+                        ]
+                    ],
+                    [
+                        '../shared/rpc.ts',
+                        []
+                    ]
+                ], [
+                    'defineEffectBff',
+                    'HttpApi.make'
+                ], [
+                    [
+                        /\bconst\s+\w+RpcLayer\s*=\s*\w+RpcGroup\s*\.\s*toLayer\s*\(/u,
+                        'must implement RpcGroup.toLayer(...)'
+                    ],
+                    [
+                        /\brpc\s*:\s*\{[\s\S]*?\bgroup\s*:[\s\S]*?\blayer\s*:[\s\S]*?\bpath\s*:[\s\S]*?\bserialization\s*:/u,
+                        'must register RPC group, layer, path and serialization'
+                    ]
+                ], 'apiRuntime');
+                moduleShape(contract, [
+                    [
+                        'effect/unstable/rpc',
+                        [
+                            'Rpc',
+                            'RpcGroup'
+                        ]
+                    ],
+                    [
+                        effect,
+                        [
+                            'Schema'
+                        ]
+                    ]
+                ], [
+                    'RpcGroup.make',
+                    'Rpc.make',
+                    'Schema.Struct'
+                ]);
+            } else if (exists(contract)) {
+                owner ??= options.baselinePackageDirectory ?? resolveBaselinePackageDirectory(node_path.join(root, 'package.json'));
+                const apiPrefix = app?.api?.prefix ?? `/${stem}-api`;
+                const basePath = `${apiPrefix}/${stem}`;
+                const expectation = {
+                    operationPaths: app?.api?.operationPaths,
+                    additionalPaths: app?.api?.additionalPaths ?? {},
+                    apiPrefix,
+                    basePath,
+                    effectClientPackage: effect,
+                    ownerId: app?.id ?? node_path.posix.basename(appPath),
+                    readinessPath: `${basePath}/readiness`,
+                    baselinePackage: baselinePackage,
+                    baselinePackageDirectory: owner
+                };
+                const violation = microVerticalApiBaselineViolation(stem, absolute(contract), expectation);
+                if (violation) diagnostics.push(`${contract}: ${violation}`);
+            }
+            if (options.contractRules?.length && exists(contract)) {
+                let graph;
+                try {
+                    graph = createModuleGraph(absolute(contract));
+                } catch (error) {
+                    if (!(error instanceof SourceSyntaxError)) throw error;
+                    diagnostics.push(`${contract}: contract rules need a parseable contract with immutable bindings (${error.message})`);
+                }
+                if (graph) {
+                    const context = {
+                        appPath,
+                        protocol: rpc ? 'rpc' : 'rest',
+                        graph
+                    };
+                    for (const rule of options.contractRules)guarded(`${contract} (rule ${rule.name || 'anonymous'})`, ()=>{
+                        const messages = rule(context);
+                        if (!Array.isArray(messages) || !messages.every((message)=>'string' == typeof message)) throw new Error('contract rule must return an array of violation messages (return [] when the contract passes)');
+                        for (const message of messages)diagnostics.push(`${contract}: ${message}`);
+                    });
+                }
+            }
+            if (client) {
+                const relativeContract = node_path.posix.relative(node_path.posix.dirname(client), contract);
+                moduleShape(client, [
+                    [
+                        effect,
+                        [
+                            'Effect',
+                            rpc ? 'makeEffectRpcClient' : 'makeEffectHttpApiClient'
+                        ]
+                    ],
+                    [
+                        relativeContract.startsWith('.') ? relativeContract : `./${relativeContract}`,
+                        []
+                    ]
+                ], [
+                    rpc ? 'makeEffectRpcClient' : 'makeEffectHttpApiClient'
+                ], [], void 0, appPath);
+            }
+            moduleShape(`${appPath}/api/effect-api.ts`, [], [], [
+                [
+                    /\bbackendFederationContract\b/u,
+                    'must export backendFederationContract metadata'
+                ],
+                [
+                    /role:\s*['"]microvertical-server['"]/u,
+                    'must describe the MicroVertical server role'
+                ],
+                [
+                    /strictEffectApproach:\s*true/u,
+                    'must preserve strict Effect backend execution'
+                ],
+                [
+                    /contractVersion:\s*['"]microvertical-server-effect-v1['"]/u,
+                    'must preserve the server contract version'
+                ],
+                [
+                    /export\s*\{\s*default\s*,\s*default\s+as\s+runtime\s*\}\s+from\s+['"]\.\/index\.ts['"]/u,
+                    'must re-export the runtime as default and runtime'
+                ],
+                [
+                    /^(?![\s\S]*\b(request|handler)\s*:\s*async\s*\()/u,
+                    'must not expose raw request handlers'
+                ]
+            ]);
+            moduleShape(`${appPath}/modern.config.ts`, [], [], [
+                [
+                    /runtimeFramework:\s*['"]effect['"]/u,
+                    'must use bff.runtimeFramework: effect'
+                ],
+                [
+                    /entry:\s*['"]\.\/api\/index['"]/u,
+                    'must use ./api/index'
+                ],
+                [
+                    /strictEffectApproach:\s*true/u,
+                    'must enable strictEffectApproach'
+                ]
+            ]);
+        });
+        const shell = 'apps/shell-super-app';
+        const verticals = apps.filter((app)=>app.path.startsWith('verticals/') && apiApp(app));
+        if (exists(shell) && verticals.length) {
+            const file = `${shell}/src/api/vertical-clients.ts`;
+            assert(exists(file), `${file}: must aggregate vertical API clients`);
+            if (exists(file)) guarded(file, ()=>{
+                const ast = parseFile(file);
+                for (const app of verticals){
+                    const specifier = `${app.package}/api/${app.api?.protocol === 'rpc' ? 'rpc-client' : 'client'}`;
+                    assert(ast?.program.body.some((item)=>__rspack_external__babel_types_6e8337dd.isExportNamedDeclaration(item) && item.source?.value === specifier), `${file}: must re-export ${specifier}`);
+                }
+            });
+        }
+        if (exists(`${shell}/package.json`)) guarded(`${shell}/package.json`, ()=>assert(JSON.parse(read(`${shell}/package.json`)).exports?.['./api/clients'] === './src/api/vertical-clients.ts', `${shell}/package.json: must export ./api/clients`));
+        if (exists('topology/reference-topology.json')) guarded('topology/reference-topology.json', ()=>{
+            for (const vertical of JSON.parse(read('topology/reference-topology.json')).verticals ?? []){
+                if (vertical.api?.runtime === 'effect') {
+                    assert(vertical.api.bff?.strictEffectApproach === true, `${vertical.id}: topology must mark strictEffectApproach true`);
+                    assert('string' == typeof vertical.api.serverEntry && vertical.api.serverEntry.endsWith('/api/index.ts'), `${vertical.id}: topology must use api/index.ts`);
+                }
+                assert(!vertical.api?.effect, `${vertical.id}: topology must describe API directly, not api.effect`);
+            }
+        });
+    } catch (error) {
+        toolErrors.push(errorMessage(error));
+    }
+    return {
+        diagnostics,
+        toolErrors,
+        topologyFilesAnalyzed
+    };
+}
+const checkMicroVerticalApiBoundaries = (options)=>check(options, true);
+const checkMicroVerticalApiConsumerFiles = (options)=>check(options, false);
+export { checkMicroVerticalApiBoundaries, checkMicroVerticalApiConsumerFiles, configuredMicroVerticalApiStem, createModuleGraph, microVerticalApiBaselineViolation };