@ankhorage/doctor 0.14.11 → 0.14.12

package/dist/capabilityCatalogAst.js

@@ -1,18 +1,21 @@
 import { promises as fs } from 'node:fs';
-import path from 'node:path';
 import * as ts from 'typescript';
-import { resolveContractsCatalogImportAsync } from './capabilityCatalogContractsImport.js';
+import { findImportBinding, findStaticDeclaration, hasExportModifier, isConstDeclaration, unwrapExpression, } from './capabilityCatalogAstSource.js';
+import { resolveImportPathAsync, resolveLocalImportPathAsync } from './capabilityCatalogImport.js';
+import { isStaticArray, isStaticRecord, readStaticArray, readStaticProperty, } from './capabilityCatalogStaticValue.js';
 /*** Evaluate one named catalog export from the supported static TypeScript subset. */
-export async function capabilityCatalogAstAsync(packageRoot, modulePath, exportName) {
-    return new StaticCatalogResolver(packageRoot).resolveAsync(modulePath, exportName);
+export async function capabilityCatalogAstAsync(packageRoot, modulePath, exportName, materializedCatalog) {
+    return new StaticCatalogResolver(packageRoot, materializedCatalog).resolveAsync(modulePath, exportName);
 }
 /*** Resolve static local imports and expressions without loading target modules. */
 class StaticCatalogResolver {
     packageRoot;
     #symbols = new Map();
     #activeSymbols = [];
-    constructor(packageRoot) {
+    materializedCatalog;
+    constructor(packageRoot, materializedCatalog) {
         this.packageRoot = packageRoot;
+        this.materializedCatalog = readStaticArray(materializedCatalog);
     }
     /*** Resolve a named local export without importing or running its module. */
     async resolveAsync(modulePath, exportName, moduleRoot = this.packageRoot) {
@@ -65,6 +68,8 @@ class StaticCatalogResolver {
             return null;
         if (ts.isIdentifier(node))
             return environment.resolveAsync(node.text);
+        if (ts.isPropertyAccessExpression(node))
+            return this.propertyAccessAsync(node, environment);
         if (ts.isArrayLiteralExpression(node))
             return this.arrayAsync(node, environment);
         if (ts.isObjectLiteralExpression(node))
@@ -75,6 +80,20 @@ class StaticCatalogResolver {
             return this.mapAsync(node, environment);
         throw new Error(`Unsupported static capability expression: ${node.getText()}.`);
     }
+    /*** Evaluate one static object property while preserving dynamic-expression diagnostics. */
+    async propertyAccessAsync(node, environment) {
+        try {
+            return readStaticProperty(await this.evaluateAsync(node.expression, environment), node.name.text, node.getText());
+        }
+        catch (error) {
+            if (error instanceof Error &&
+                error.message.startsWith('Unsupported dynamic capability value:'))
+                throw new Error(`Unsupported static capability expression: ${node.getText()}.`, {
+                    cause: error,
+                });
+            throw error;
+        }
+    }
     /*** Evaluate a static array literal. */
     arrayAsync(node, environment) {
         return this.evaluateElementsAsync(node.elements, environment);
@@ -131,10 +150,21 @@ class StaticCatalogResolver {
     /*** Evaluate static array elements in source order. */
     async evaluateElementsAsync(elements, environment) {
         const result = [];
-        for (const element of elements) {
-            if (ts.isSpreadElement(element))
-                throw new Error('Catalog array spreads are not supported.');
-            result.push(await this.evaluateAsync(element, environment));
+        for (const [index, element] of elements.entries()) {
+            if (ts.isSpreadElement(element)) {
+                if (await environment.isPackageLocalDerivedCallAsync(element.expression)) {
+                    if (index !== elements.length - 1 || this.materializedCatalog === null)
+                        throw new Error('Derived catalog function spreads must be trailing and have materialized package metadata.');
+                    result.push(...this.materializedCatalog.slice(result.length));
+                    continue;
+                }
+                const spread = await this.evaluateAsync(element.expression, environment);
+                if (!isStaticArray(spread))
+                    throw new Error('Catalog array spreads must resolve to static arrays.');
+                result.push(...spread);
+            }
+            else
+                result.push(await this.evaluateAsync(element, environment));
         }
         return result;
     }
@@ -178,83 +208,24 @@ class StaticCatalogScope {
         const resolvedImport = await resolveImportPathAsync(this.packageRoot, this.modulePath, imported.moduleSpecifier.text);
         return this.resolver.resolveAsync(resolvedImport.path, binding.propertyName?.text ?? binding.name.text, resolvedImport.packageRoot);
     }
+    /*** Detect one zero-argument function imported from a package-local source module. */
+    async isPackageLocalDerivedCallAsync(expression) {
+        const node = unwrapExpression(expression);
+        if (!ts.isCallExpression(node) ||
+            node.arguments.length !== 0 ||
+            !ts.isIdentifier(node.expression))
+            return false;
+        const imported = findImportBinding(this.source, node.expression.text);
+        if (imported === undefined ||
+            !ts.isStringLiteral(imported.moduleSpecifier) ||
+            !imported.moduleSpecifier.text.startsWith('.'))
+            return false;
+        await resolveLocalImportPathAsync(this.packageRoot, this.modulePath, imported.moduleSpecifier.text);
+        return true;
+    }
     /*** Add a static callback parameter without evaluating unrelated module symbols. */
     withValue(name, value) {
         return new StaticCatalogScope(this.resolver, this.source, this.modulePath, this.packageRoot, new Map([...this.values, [name, value]]));
     }
 }
-/*** Find the static top-level declaration that owns a local identifier. */
-function findStaticDeclaration(source, name) {
-    return source.statements
-        .filter((statement) => ts.isVariableStatement(statement))
-        .filter((statement) => isConstDeclaration(statement.declarationList))
-        .flatMap((statement) => statement.declarationList.declarations)
-        .find((declaration) => ts.isIdentifier(declaration.name) && declaration.name.text === name);
-}
-/*** Find the import declaration that introduces a referenced local identifier. */
-function findImportBinding(source, name) {
-    return source.statements
-        .filter((statement) => ts.isImportDeclaration(statement))
-        .find((statement) => {
-        const clause = statement.importClause;
-        return (clause?.name?.text === name ||
-            (clause?.namedBindings !== undefined &&
-                ts.isNamedImports(clause.namedBindings) &&
-                clause.namedBindings.elements.some((element) => element.name.text === name)));
-    });
-}
-/*** Determine whether a declaration list is immutable static catalog input. */
-function isConstDeclaration(list) {
-    return (list.flags & ts.NodeFlags.Const) !== 0;
-}
-/*** Resolve an allowed static import without executing its target package. */
-async function resolveImportPathAsync(packageRoot, fromPath, specifier) {
-    if (specifier.startsWith('.'))
-        return resolveLocalImportPathAsync(packageRoot, fromPath, specifier);
-    return resolveContractsCatalogImportAsync(packageRoot, fromPath, specifier);
-}
-/*** Resolve a relative static import that remains within its owning package. */
-async function resolveLocalImportPathAsync(packageRoot, fromPath, specifier) {
-    const candidate = path.resolve(path.dirname(fromPath), specifier);
-    if (!isInsidePackage(packageRoot, candidate) && candidate !== packageRoot)
-        throw new Error('Capability catalogs may not import outside their package.');
-    for (const extension of ['', '.ts', '.tsx', '.js', '.mjs', '/index.ts'])
-        if (await isFileAsync(`${candidate}${extension}`))
-            return { packageRoot, path: `${candidate}${extension}` };
-    throw new Error(`Unable to resolve static capability import ${specifier}.`);
-}
-/*** Unwrap TypeScript syntax which does not alter a runtime value. */
-function unwrapExpression(expression) {
-    return ts.isAsExpression(expression) ||
-        ts.isSatisfiesExpression(expression) ||
-        ts.isParenthesizedExpression(expression)
-        ? unwrapExpression(expression.expression)
-        : expression;
-}
-/*** Narrow a static value to a descriptor-shaped record. */
-function isStaticRecord(value) {
-    return typeof value === 'object' && value !== null && !Array.isArray(value);
-}
-/*** Narrow a static value to an array. */
-function isStaticArray(value) {
-    return Array.isArray(value);
-}
-/*** Detect an exported variable statement. */
-function hasExportModifier(statement) {
-    return (statement.modifiers?.some((modifier) => modifier.kind === ts.SyntaxKind.ExportKeyword) ?? false);
-}
-/*** Check whether a resolved path remains within the inspected package root. */
-function isInsidePackage(packageRoot, candidate) {
-    const relativePath = path.relative(packageRoot, candidate);
-    return relativePath !== '' && !relativePath.startsWith(`..${path.sep}`) && relativePath !== '..';
-}
-/*** Check whether one candidate is a regular file. */
-async function isFileAsync(candidate) {
-    try {
-        return (await fs.stat(candidate)).isFile();
-    }
-    catch {
-        return false;
-    }
-}
 //# sourceMappingURL=capabilityCatalogAst.js.map

package/dist/capabilityCatalogAst.js.map

@@ -1 +1 @@
-{"version":3,"file":"capabilityCatalogAst.js","sourceRoot":"","sources":["../src/capabilityCatalogAst.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,IAAI,EAAE,EAAE,MAAM,SAAS,CAAC;AACzC,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,kCAAkC,EAAE,MAAM,uCAAuC,CAAC;AAO3F,sFAAsF;AACtF,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC7C,WAAmB,EACnB,UAAkB,EAClB,UAAkB;IAElB,OAAO,IAAI,qBAAqB,CAAC,WAAW,CAAC,CAAC,YAAY,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;AACrF,CAAC;AAED,oFAAoF;AACpF,MAAM,qBAAqB;IAII;IAHpB,QAAQ,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC1C,cAAc,GAAa,EAAE,CAAC;IAEvC,YAA6B,WAAmB;QAAnB,gBAAW,GAAX,WAAW,CAAQ;IAAG,CAAC;IAEpD,6EAA6E;IAC7E,KAAK,CAAC,YAAY,CAChB,UAAkB,EAClB,UAAkB,EAClB,UAAU,GAAG,IAAI,CAAC,WAAW;QAE7B,MAAM,GAAG,GAAG,GAAG,UAAU,IAAI,UAAU,EAAE,CAAC;QAC1C,OAAO,IAAI,CAAC,kBAAkB,CAAC,GAAG,EAAE,GAAG,EAAE,CACvC,IAAI,CAAC,oBAAoB,CAAC,UAAU,EAAE,UAAU,EAAE,UAAU,CAAC,CAC9D,CAAC;IACJ,CAAC;IAED,6EAA6E;IAC7E,KAAK,CAAC,kBAAkB,CACtB,GAAW,EACX,YAAwC;QAExC,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACtC,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QACxC,MAAM,UAAU,GAAG,IAAI,CAAC,cAAc,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACpD,IAAI,UAAU,IAAI,CAAC;YACjB,MAAM,IAAI,KAAK,CACb,uCAAuC,CAAC,GAAG,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CACvG,CAAC;QACJ,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,MAAM,YAAY,EAAE,CAAC;YACnC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YAC9B,OAAO,KAAK,CAAC;QACf,CAAC;gBAAS,CAAC;YACT,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE,CAAC;QAC5B,CAAC;IACH,CAAC;IAED,2EAA2E;IAC3E,KAAK,CAAC,oBAAoB,CACxB,UAAkB,EAClB,UAAkB,EAClB,UAAkB;QAElB,MAAM,MAAM,GAAG,EAAE,CAAC,gBAAgB,CAChC,UAAU,EACV,MAAM,EAAE,CAAC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC,EACrC,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,CACL,CAAC;QACF,MAAM,WAAW,GAAG,MAAM,CAAC,UAAU;aAClC,MAAM,CAAC,CAAC,SAAS,EAAqC,EAAE,CAAC,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,CAAC;aAC3F,MAAM,CAAC,iBAAiB,CAAC;aACzB,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;aACpE,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,eAAe,CAAC,YAAY,CAAC;aAC9D,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;QAClF,IAAI,WAAW,EAAE,WAAW,KAAK,SAAS;YACxC,MAAM,IAAI,KAAK,CAAC,gCAAgC,UAAU,OAAO,UAAU,GAAG,CAAC,CAAC;QAClF,OAAO,IAAI,CAAC,aAAa,CACvB,WAAW,CAAC,WAAW,EACvB,IAAI,kBAAkB,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,CAAC,CAC7D,CAAC;IACJ,CAAC;IAED,8CAA8C;IAC9C,KAAK,CAAC,aAAa,CACjB,UAAyB,EACzB,WAA+B;QAE/B,MAAM,IAAI,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC;QAC1C,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,+BAA+B,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,IAAI,CAAC;QAC3F,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YAAE,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxD,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAAE,OAAO,IAAI,CAAC;QACzD,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;YAAE,OAAO,KAAK,CAAC;QAC3D,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAAE,OAAO,IAAI,CAAC;QACzD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YAAE,OAAO,WAAW,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtE,IAAI,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QACjF,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QACnF,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QAChF,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QACvE,MAAM,IAAI,KAAK,CAAC,6CAA6C,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IAClF,CAAC;IAED,wCAAwC;IACxC,UAAU,CACR,IAA+B,EAC/B,WAA+B;QAE/B,OAAO,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;IAChE,CAAC;IAED,iEAAiE;IACjE,KAAK,CAAC,WAAW,CACf,IAAgC,EAChC,WAA+B;QAE/B,MAAM,MAAM,GAAgC,EAAE,CAAC;QAC/C,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACvC,IAAI,EAAE,CAAC,kBAAkB,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACpC,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;gBACzE,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC;oBACxB,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;gBAC3E,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YAC/B,CAAC;iBAAM,IACL,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC;gBACjC,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBAErE,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,MAAM,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;iBACtF,IAAI,EAAE,CAAC,6BAA6B,CAAC,QAAQ,CAAC;gBACjD,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,MAAM,WAAW,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;;gBAC7E,MAAM,IAAI,KAAK,CAAC,2CAA2C,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QACzF,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,iFAAiF;IACjF,KAAK,CAAC,aAAa,CACjB,IAA2B,EAC3B,WAA+B;QAE/B,IAAI,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QAC3B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;YACtC,MAAM,aAAa,GAAG,MAAM,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;YAC7E,IAAI,OAAO,aAAa,KAAK,QAAQ,IAAI,aAAa,KAAK,IAAI;gBAC7D,MAAM,IAAI,KAAK,CAAC,iEAAiE,CAAC,CAAC;YACrF,KAAK,IAAI,GAAG,aAAa,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;QAClD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,yEAAyE;IACzE,KAAK,CAAC,QAAQ,CACZ,IAAuB,EACvB,WAA+B;QAE/B,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;YACxF,MAAM,IAAI,KAAK,CAAC,uCAAuC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QAC5E,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;QACjF,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtC,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC;YACnF,MAAM,IAAI,KAAK,CAAC,sCAAsC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QAC3E,MAAM,SAAS,GAAG,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC5C,MAAM,EAAE,IAAI,EAAE,GAAG,QAAQ,CAAC;QAC1B,IAAI,SAAS,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACvF,MAAM,IAAI,KAAK,CAAC,+CAA+C,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QACxF,MAAM,aAAa,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;QAC1C,MAAM,MAAM,GAAkB,EAAE,CAAC;QACjC,KAAK,MAAM,KAAK,IAAI,MAAM;YACxB,MAAM,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,WAAW,CAAC,SAAS,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QAC3F,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,uDAAuD;IACvD,KAAK,CAAC,qBAAqB,CACzB,QAAwD,EACxD,WAA+B;QAE/B,MAAM,MAAM,GAAkB,EAAE,CAAC;QACjC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,IAAI,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;YAC7F,MAAM,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC;QAC9D,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;CACF;AAED,kFAAkF;AAClF,MAAM,kBAAkB;IAEH;IACA;IACA;IACA;IACA;IALnB,YACmB,QAA+B,EAC/B,MAAqB,EACrB,UAAkB,EAClB,WAAmB,EACnB,SAA2C,IAAI,GAAG,EAAE;QAJpD,aAAQ,GAAR,QAAQ,CAAuB;QAC/B,WAAM,GAAN,MAAM,CAAe;QACrB,eAAU,GAAV,UAAU,CAAQ;QAClB,gBAAW,GAAX,WAAW,CAAQ;QACnB,WAAM,GAAN,MAAM,CAA8C;IACpE,CAAC;IAEJ,2EAA2E;IAC3E,KAAK,CAAC,YAAY,CAAC,IAAY;QAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtC,MAAM,WAAW,GAAG,qBAAqB,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAC7D,MAAM,WAAW,GAAG,WAAW,EAAE,WAAW,CAAC;QAC7C,IAAI,WAAW,KAAK,SAAS;YAC3B,OAAO,IAAI,CAAC,QAAQ,CAAC,kBAAkB,CAAC,GAAG,IAAI,CAAC,UAAU,IAAI,IAAI,EAAE,EAAE,GAAG,EAAE,CACzE,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,WAAW,EAAE,IAAI,CAAC,CAC/C,CAAC;QACJ,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACtD,IAAI,QAAQ,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,yCAAyC,IAAI,GAAG,CAAC,CAAC;QAC9F,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,eAAe,CAAC;YAC/C,MAAM,IAAI,KAAK,CAAC,6DAA6D,CAAC,CAAC;QACjF,MAAM,QAAQ,GAAG,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC;QACtD,IAAI,QAAQ,CAAC,YAAY,EAAE,UAAU,IAAI,QAAQ,KAAK,SAAS;YAC7D,MAAM,IAAI,KAAK,CAAC,yCAAyC,IAAI,GAAG,CAAC,CAAC;QACpE,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,QAAQ,CAAC;YAC9B,MAAM,IAAI,KAAK,CAAC,6DAA6D,CAAC,CAAC;QACjF,MAAM,OAAO,GAAG,QAAQ,CAAC,QAAQ,CAAC,IAAI,CACpC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAC/D,CAAC;QACF,IAAI,OAAO,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,yCAAyC,IAAI,GAAG,CAAC,CAAC;QAC7F,MAAM,cAAc,GAAG,MAAM,sBAAsB,CACjD,IAAI,CAAC,WAAW,EAChB,IAAI,CAAC,UAAU,EACf,QAAQ,CAAC,eAAe,CAAC,IAAI,CAC9B,CAAC;QACF,OAAO,IAAI,CAAC,QAAQ,CAAC,YAAY,CAC/B,cAAc,CAAC,IAAI,EACnB,OAAO,CAAC,YAAY,EAAE,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,EAC/C,cAAc,CAAC,WAAW,CAC3B,CAAC;IACJ,CAAC;IAED,oFAAoF;IACpF,SAAS,CAAC,IAAY,EAAE,KAAkB;QACxC,OAAO,IAAI,kBAAkB,CAC3B,IAAI,CAAC,QAAQ,EACb,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,UAAU,EACf,IAAI,CAAC,WAAW,EAChB,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CACzC,CAAC;IACJ,CAAC;CACF;AAED,2EAA2E;AAC3E,SAAS,qBAAqB,CAC5B,MAAqB,EACrB,IAAY;IAEZ,OAAO,MAAM,CAAC,UAAU;SACrB,MAAM,CAAC,CAAC,SAAS,EAAqC,EAAE,CAAC,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,CAAC;SAC3F,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;SACpE,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,eAAe,CAAC,YAAY,CAAC;SAC9D,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AAChG,CAAC;AAED,kFAAkF;AAClF,SAAS,iBAAiB,CAAC,MAAqB,EAAE,IAAY;IAC5D,OAAO,MAAM,CAAC,UAAU;SACrB,MAAM,CAAC,CAAC,SAAS,EAAqC,EAAE,CAAC,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,CAAC;SAC3F,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE;QAClB,MAAM,MAAM,GAAG,SAAS,CAAC,YAAY,CAAC;QACtC,OAAO,CACL,MAAM,EAAE,IAAI,EAAE,IAAI,KAAK,IAAI;YAC3B,CAAC,MAAM,EAAE,aAAa,KAAK,SAAS;gBAClC,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC,aAAa,CAAC;gBACvC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAC/E,CAAC;IACJ,CAAC,CAAC,CAAC;AACP,CAAC;AAED,+EAA+E;AAC/E,SAAS,kBAAkB,CAAC,IAAgC;IAC1D,OAAO,CAAC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;AACjD,CAAC;AAOD,8EAA8E;AAC9E,KAAK,UAAU,sBAAsB,CACnC,WAAmB,EACnB,QAAgB,EAChB,SAAiB;IAEjB,IAAI,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC;QAC3B,OAAO,2BAA2B,CAAC,WAAW,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;IACvE,OAAO,kCAAkC,CAAC,WAAW,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;AAC9E,CAAC;AAED,gFAAgF;AAChF,KAAK,UAAU,2BAA2B,CACxC,WAAmB,EACnB,QAAgB,EAChB,SAAiB;IAEjB,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAC,CAAC;IAClE,IAAI,CAAC,eAAe,CAAC,WAAW,EAAE,SAAS,CAAC,IAAI,SAAS,KAAK,WAAW;QACvE,MAAM,IAAI,KAAK,CAAC,2DAA2D,CAAC,CAAC;IAC/E,KAAK,MAAM,SAAS,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,WAAW,CAAC;QACrE,IAAI,MAAM,WAAW,CAAC,GAAG,SAAS,GAAG,SAAS,EAAE,CAAC;YAC/C,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,SAAS,GAAG,SAAS,EAAE,EAAE,CAAC;IAC7D,MAAM,IAAI,KAAK,CAAC,8CAA8C,SAAS,GAAG,CAAC,CAAC;AAC9E,CAAC;AAED,sEAAsE;AACtE,SAAS,gBAAgB,CAAC,UAAyB;IACjD,OAAO,EAAE,CAAC,cAAc,CAAC,UAAU,CAAC;QAClC,EAAE,CAAC,qBAAqB,CAAC,UAAU,CAAC;QACpC,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC;QACxC,CAAC,CAAC,gBAAgB,CAAC,UAAU,CAAC,UAAU,CAAC;QACzC,CAAC,CAAC,UAAU,CAAC;AACjB,CAAC;AAED,4DAA4D;AAC5D,SAAS,cAAc,CAAC,KAAkB;IACxC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,0CAA0C;AAC1C,SAAS,aAAa,CAAC,KAAkB;IACvC,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9B,CAAC;AAED,8CAA8C;AAC9C,SAAS,iBAAiB,CAAC,SAA+B;IACxD,OAAO,CACL,SAAS,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,CAChG,CAAC;AACJ,CAAC;AAED,gFAAgF;AAChF,SAAS,eAAe,CAAC,WAAmB,EAAE,SAAiB;IAC7D,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;IAC3D,OAAO,YAAY,KAAK,EAAE,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,YAAY,KAAK,IAAI,CAAC;AACnG,CAAC;AAED,sDAAsD;AACtD,KAAK,UAAU,WAAW,CAAC,SAAiB;IAC1C,IAAI,CAAC;QACH,OAAO,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAC7C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC","sourcesContent":["import { promises as fs } from 'node:fs';\nimport path from 'node:path';\n\nimport * as ts from 'typescript';\n\nimport { resolveContractsCatalogImportAsync } from './capabilityCatalogContractsImport.js';\n\ntype StaticValue = string | number | boolean | null | readonly StaticValue[] | StaticRecord;\ninterface StaticRecord {\n  readonly [key: string]: StaticValue;\n}\n\n/*** Evaluate one named catalog export from the supported static TypeScript subset. */\nexport async function capabilityCatalogAstAsync(\n  packageRoot: string,\n  modulePath: string,\n  exportName: string,\n): Promise<unknown> {\n  return new StaticCatalogResolver(packageRoot).resolveAsync(modulePath, exportName);\n}\n\n/*** Resolve static local imports and expressions without loading target modules. */\nclass StaticCatalogResolver {\n  readonly #symbols = new Map<string, StaticValue>();\n  readonly #activeSymbols: string[] = [];\n\n  constructor(private readonly packageRoot: string) {}\n\n  /*** Resolve a named local export without importing or running its module. */\n  async resolveAsync(\n    modulePath: string,\n    exportName: string,\n    moduleRoot = this.packageRoot,\n  ): Promise<StaticValue> {\n    const key = `${modulePath}:${exportName}`;\n    return this.resolveSymbolAsync(key, () =>\n      this.resolveUncachedAsync(modulePath, exportName, moduleRoot),\n    );\n  }\n\n  /*** Resolve one local symbol while detecting recursive static references. */\n  async resolveSymbolAsync(\n    key: string,\n    resolveAsync: () => Promise<StaticValue>,\n  ): Promise<StaticValue> {\n    const cached = this.#symbols.get(key);\n    if (cached !== undefined) return cached;\n    const cycleStart = this.#activeSymbols.indexOf(key);\n    if (cycleStart >= 0)\n      throw new Error(\n        `Cyclic static capability reference: ${[...this.#activeSymbols.slice(cycleStart), key].join(' -> ')}.`,\n      );\n    this.#activeSymbols.push(key);\n    try {\n      const value = await resolveAsync();\n      this.#symbols.set(key, value);\n      return value;\n    } finally {\n      this.#activeSymbols.pop();\n    }\n  }\n\n  /*** Find and evaluate the declaration owning one exported static value. */\n  async resolveUncachedAsync(\n    modulePath: string,\n    exportName: string,\n    moduleRoot: string,\n  ): Promise<StaticValue> {\n    const source = ts.createSourceFile(\n      modulePath,\n      await fs.readFile(modulePath, 'utf8'),\n      ts.ScriptTarget.ESNext,\n      true,\n    );\n    const declaration = source.statements\n      .filter((statement): statement is ts.VariableStatement => ts.isVariableStatement(statement))\n      .filter(hasExportModifier)\n      .filter((statement) => isConstDeclaration(statement.declarationList))\n      .flatMap((statement) => statement.declarationList.declarations)\n      .find((value) => ts.isIdentifier(value.name) && value.name.text === exportName);\n    if (declaration?.initializer === undefined)\n      throw new Error(`Unable to find static export ${exportName} in ${modulePath}.`);\n    return this.evaluateAsync(\n      declaration.initializer,\n      new StaticCatalogScope(this, source, modulePath, moduleRoot),\n    );\n  }\n\n  /*** Evaluate an allowed static expression. */\n  async evaluateAsync(\n    expression: ts.Expression,\n    environment: StaticCatalogScope,\n  ): Promise<StaticValue> {\n    const node = unwrapExpression(expression);\n    if (ts.isStringLiteral(node) || ts.isNoSubstitutionTemplateLiteral(node)) return node.text;\n    if (ts.isNumericLiteral(node)) return Number(node.text);\n    if (node.kind === ts.SyntaxKind.TrueKeyword) return true;\n    if (node.kind === ts.SyntaxKind.FalseKeyword) return false;\n    if (node.kind === ts.SyntaxKind.NullKeyword) return null;\n    if (ts.isIdentifier(node)) return environment.resolveAsync(node.text);\n    if (ts.isArrayLiteralExpression(node)) return this.arrayAsync(node, environment);\n    if (ts.isObjectLiteralExpression(node)) return this.objectAsync(node, environment);\n    if (ts.isTemplateExpression(node)) return this.templateAsync(node, environment);\n    if (ts.isCallExpression(node)) return this.mapAsync(node, environment);\n    throw new Error(`Unsupported static capability expression: ${node.getText()}.`);\n  }\n\n  /*** Evaluate a static array literal. */\n  arrayAsync(\n    node: ts.ArrayLiteralExpression,\n    environment: StaticCatalogScope,\n  ): Promise<readonly StaticValue[]> {\n    return this.evaluateElementsAsync(node.elements, environment);\n  }\n\n  /*** Evaluate static object properties and descriptor spreads. */\n  async objectAsync(\n    node: ts.ObjectLiteralExpression,\n    environment: StaticCatalogScope,\n  ): Promise<StaticRecord> {\n    const result: Record<string, StaticValue> = {};\n    for (const property of node.properties) {\n      if (ts.isSpreadAssignment(property)) {\n        const value = await this.evaluateAsync(property.expression, environment);\n        if (!isStaticRecord(value))\n          throw new Error('Capability descriptor spreads must be static objects.');\n        Object.assign(result, value);\n      } else if (\n        ts.isPropertyAssignment(property) &&\n        (ts.isIdentifier(property.name) || ts.isStringLiteral(property.name))\n      )\n        result[property.name.text] = await this.evaluateAsync(property.initializer, environment);\n      else if (ts.isShorthandPropertyAssignment(property))\n        result[property.name.text] = await environment.resolveAsync(property.name.text);\n      else throw new Error(`Unsupported static capability property: ${property.getText()}.`);\n    }\n    return result;\n  }\n\n  /*** Evaluate a template literal whose substitutions are scalar static values. */\n  async templateAsync(\n    node: ts.TemplateExpression,\n    environment: StaticCatalogScope,\n  ): Promise<string> {\n    let value = node.head.text;\n    for (const span of node.templateSpans) {\n      const interpolation = await this.evaluateAsync(span.expression, environment);\n      if (typeof interpolation === 'object' && interpolation !== null)\n        throw new Error('Capability templates may interpolate only static scalar values.');\n      value += `${interpolation}${span.literal.text}`;\n    }\n    return value;\n  }\n\n  /*** Evaluate Array.map with a single static arrow-function parameter. */\n  async mapAsync(\n    node: ts.CallExpression,\n    environment: StaticCatalogScope,\n  ): Promise<readonly StaticValue[]> {\n    if (!ts.isPropertyAccessExpression(node.expression) || node.expression.name.text !== 'map')\n      throw new Error(`Unsupported static capability call: ${node.getText()}.`);\n    const values = await this.evaluateAsync(node.expression.expression, environment);\n    const callback = node.arguments.at(0);\n    if (!isStaticArray(values) || callback === undefined || !ts.isArrowFunction(callback))\n      throw new Error(`Unsupported static capability map: ${node.getText()}.`);\n    const parameter = callback.parameters.at(0);\n    const { body } = callback;\n    if (parameter === undefined || !ts.isIdentifier(parameter.name) || !ts.isExpression(body))\n      throw new Error(`Unsupported static capability map callback: ${callback.getText()}.`);\n    const parameterName = parameter.name.text;\n    const result: StaticValue[] = [];\n    for (const value of values)\n      result.push(await this.evaluateAsync(body, environment.withValue(parameterName, value)));\n    return result;\n  }\n\n  /*** Evaluate static array elements in source order. */\n  async evaluateElementsAsync(\n    elements: ts.NodeArray<ts.Expression | ts.SpreadElement>,\n    environment: StaticCatalogScope,\n  ): Promise<readonly StaticValue[]> {\n    const result: StaticValue[] = [];\n    for (const element of elements) {\n      if (ts.isSpreadElement(element)) throw new Error('Catalog array spreads are not supported.');\n      result.push(await this.evaluateAsync(element, environment));\n    }\n    return result;\n  }\n}\n\n/*** Resolve only static symbols reached from the requested catalog expression. */\nclass StaticCatalogScope {\n  constructor(\n    private readonly resolver: StaticCatalogResolver,\n    private readonly source: ts.SourceFile,\n    private readonly modulePath: string,\n    private readonly packageRoot: string,\n    private readonly values: ReadonlyMap<string, StaticValue> = new Map(),\n  ) {}\n\n  /*** Resolve a local constant or an allowed named static package import. */\n  async resolveAsync(name: string): Promise<StaticValue> {\n    const value = this.values.get(name);\n    if (value !== undefined) return value;\n    const declaration = findStaticDeclaration(this.source, name);\n    const initializer = declaration?.initializer;\n    if (initializer !== undefined)\n      return this.resolver.resolveSymbolAsync(`${this.modulePath}:${name}`, () =>\n        this.resolver.evaluateAsync(initializer, this),\n      );\n    const imported = findImportBinding(this.source, name);\n    if (imported === undefined) throw new Error(`Unsupported dynamic capability value: ${name}.`);\n    if (!ts.isStringLiteral(imported.moduleSpecifier))\n      throw new Error('Capability catalogs support only named local value imports.');\n    const bindings = imported.importClause?.namedBindings;\n    if (imported.importClause?.isTypeOnly || bindings === undefined)\n      throw new Error(`Unsupported dynamic capability value: ${name}.`);\n    if (!ts.isNamedImports(bindings))\n      throw new Error('Capability catalogs support only named local value imports.');\n    const binding = bindings.elements.find(\n      (element) => !element.isTypeOnly && element.name.text === name,\n    );\n    if (binding === undefined) throw new Error(`Unsupported dynamic capability value: ${name}.`);\n    const resolvedImport = await resolveImportPathAsync(\n      this.packageRoot,\n      this.modulePath,\n      imported.moduleSpecifier.text,\n    );\n    return this.resolver.resolveAsync(\n      resolvedImport.path,\n      binding.propertyName?.text ?? binding.name.text,\n      resolvedImport.packageRoot,\n    );\n  }\n\n  /*** Add a static callback parameter without evaluating unrelated module symbols. */\n  withValue(name: string, value: StaticValue): StaticCatalogScope {\n    return new StaticCatalogScope(\n      this.resolver,\n      this.source,\n      this.modulePath,\n      this.packageRoot,\n      new Map([...this.values, [name, value]]),\n    );\n  }\n}\n\n/*** Find the static top-level declaration that owns a local identifier. */\nfunction findStaticDeclaration(\n  source: ts.SourceFile,\n  name: string,\n): ts.VariableDeclaration | undefined {\n  return source.statements\n    .filter((statement): statement is ts.VariableStatement => ts.isVariableStatement(statement))\n    .filter((statement) => isConstDeclaration(statement.declarationList))\n    .flatMap((statement) => statement.declarationList.declarations)\n    .find((declaration) => ts.isIdentifier(declaration.name) && declaration.name.text === name);\n}\n\n/*** Find the import declaration that introduces a referenced local identifier. */\nfunction findImportBinding(source: ts.SourceFile, name: string): ts.ImportDeclaration | undefined {\n  return source.statements\n    .filter((statement): statement is ts.ImportDeclaration => ts.isImportDeclaration(statement))\n    .find((statement) => {\n      const clause = statement.importClause;\n      return (\n        clause?.name?.text === name ||\n        (clause?.namedBindings !== undefined &&\n          ts.isNamedImports(clause.namedBindings) &&\n          clause.namedBindings.elements.some((element) => element.name.text === name))\n      );\n    });\n}\n\n/*** Determine whether a declaration list is immutable static catalog input. */\nfunction isConstDeclaration(list: ts.VariableDeclarationList): boolean {\n  return (list.flags & ts.NodeFlags.Const) !== 0;\n}\n\ninterface ResolvedStaticImport {\n  readonly packageRoot: string;\n  readonly path: string;\n}\n\n/*** Resolve an allowed static import without executing its target package. */\nasync function resolveImportPathAsync(\n  packageRoot: string,\n  fromPath: string,\n  specifier: string,\n): Promise<ResolvedStaticImport> {\n  if (specifier.startsWith('.'))\n    return resolveLocalImportPathAsync(packageRoot, fromPath, specifier);\n  return resolveContractsCatalogImportAsync(packageRoot, fromPath, specifier);\n}\n\n/*** Resolve a relative static import that remains within its owning package. */\nasync function resolveLocalImportPathAsync(\n  packageRoot: string,\n  fromPath: string,\n  specifier: string,\n): Promise<ResolvedStaticImport> {\n  const candidate = path.resolve(path.dirname(fromPath), specifier);\n  if (!isInsidePackage(packageRoot, candidate) && candidate !== packageRoot)\n    throw new Error('Capability catalogs may not import outside their package.');\n  for (const extension of ['', '.ts', '.tsx', '.js', '.mjs', '/index.ts'])\n    if (await isFileAsync(`${candidate}${extension}`))\n      return { packageRoot, path: `${candidate}${extension}` };\n  throw new Error(`Unable to resolve static capability import ${specifier}.`);\n}\n\n/*** Unwrap TypeScript syntax which does not alter a runtime value. */\nfunction unwrapExpression(expression: ts.Expression): ts.Expression {\n  return ts.isAsExpression(expression) ||\n    ts.isSatisfiesExpression(expression) ||\n    ts.isParenthesizedExpression(expression)\n    ? unwrapExpression(expression.expression)\n    : expression;\n}\n\n/*** Narrow a static value to a descriptor-shaped record. */\nfunction isStaticRecord(value: StaticValue): value is StaticRecord {\n  return typeof value === 'object' && value !== null && !Array.isArray(value);\n}\n\n/*** Narrow a static value to an array. */\nfunction isStaticArray(value: StaticValue): value is readonly StaticValue[] {\n  return Array.isArray(value);\n}\n\n/*** Detect an exported variable statement. */\nfunction hasExportModifier(statement: ts.VariableStatement): boolean {\n  return (\n    statement.modifiers?.some((modifier) => modifier.kind === ts.SyntaxKind.ExportKeyword) ?? false\n  );\n}\n\n/*** Check whether a resolved path remains within the inspected package root. */\nfunction isInsidePackage(packageRoot: string, candidate: string): boolean {\n  const relativePath = path.relative(packageRoot, candidate);\n  return relativePath !== '' && !relativePath.startsWith(`..${path.sep}`) && relativePath !== '..';\n}\n\n/*** Check whether one candidate is a regular file. */\nasync function isFileAsync(candidate: string): Promise<boolean> {\n  try {\n    return (await fs.stat(candidate)).isFile();\n  } catch {\n    return false;\n  }\n}\n"]}
+{"version":3,"file":"capabilityCatalogAst.js","sourceRoot":"","sources":["../src/capabilityCatalogAst.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,IAAI,EAAE,EAAE,MAAM,SAAS,CAAC;AAEzC,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EACL,iBAAiB,EACjB,qBAAqB,EACrB,iBAAiB,EACjB,kBAAkB,EAClB,gBAAgB,GACjB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,sBAAsB,EAAE,2BAA2B,EAAE,MAAM,8BAA8B,CAAC;AACnG,OAAO,EACL,aAAa,EACb,cAAc,EACd,eAAe,EACf,kBAAkB,GAGnB,MAAM,mCAAmC,CAAC;AAE3C,sFAAsF;AACtF,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC7C,WAAmB,EACnB,UAAkB,EAClB,UAAkB,EAClB,mBAA6B;IAE7B,OAAO,IAAI,qBAAqB,CAAC,WAAW,EAAE,mBAAmB,CAAC,CAAC,YAAY,CAC7E,UAAU,EACV,UAAU,CACX,CAAC;AACJ,CAAC;AAED,oFAAoF;AACpF,MAAM,qBAAqB;IAON;IANV,QAAQ,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC1C,cAAc,GAAa,EAAE,CAAC;IAEtB,mBAAmB,CAAgC;IAEpE,YACmB,WAAmB,EACpC,mBAA6B;QADZ,gBAAW,GAAX,WAAW,CAAQ;QAGpC,IAAI,CAAC,mBAAmB,GAAG,eAAe,CAAC,mBAAmB,CAAC,CAAC;IAClE,CAAC;IAED,6EAA6E;IAC7E,KAAK,CAAC,YAAY,CAChB,UAAkB,EAClB,UAAkB,EAClB,UAAU,GAAG,IAAI,CAAC,WAAW;QAE7B,MAAM,GAAG,GAAG,GAAG,UAAU,IAAI,UAAU,EAAE,CAAC;QAC1C,OAAO,IAAI,CAAC,kBAAkB,CAAC,GAAG,EAAE,GAAG,EAAE,CACvC,IAAI,CAAC,oBAAoB,CAAC,UAAU,EAAE,UAAU,EAAE,UAAU,CAAC,CAC9D,CAAC;IACJ,CAAC;IAED,6EAA6E;IAC7E,KAAK,CAAC,kBAAkB,CACtB,GAAW,EACX,YAAwC;QAExC,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACtC,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QACxC,MAAM,UAAU,GAAG,IAAI,CAAC,cAAc,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACpD,IAAI,UAAU,IAAI,CAAC;YACjB,MAAM,IAAI,KAAK,CACb,uCAAuC,CAAC,GAAG,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CACvG,CAAC;QACJ,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,MAAM,YAAY,EAAE,CAAC;YACnC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YAC9B,OAAO,KAAK,CAAC;QACf,CAAC;gBAAS,CAAC;YACT,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE,CAAC;QAC5B,CAAC;IACH,CAAC;IAED,2EAA2E;IAC3E,KAAK,CAAC,oBAAoB,CACxB,UAAkB,EAClB,UAAkB,EAClB,UAAkB;QAElB,MAAM,MAAM,GAAG,EAAE,CAAC,gBAAgB,CAChC,UAAU,EACV,MAAM,EAAE,CAAC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC,EACrC,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,CACL,CAAC;QACF,MAAM,WAAW,GAAG,MAAM,CAAC,UAAU;aAClC,MAAM,CAAC,CAAC,SAAS,EAAqC,EAAE,CAAC,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,CAAC;aAC3F,MAAM,CAAC,iBAAiB,CAAC;aACzB,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;aACpE,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,eAAe,CAAC,YAAY,CAAC;aAC9D,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;QAClF,IAAI,WAAW,EAAE,WAAW,KAAK,SAAS;YACxC,MAAM,IAAI,KAAK,CAAC,gCAAgC,UAAU,OAAO,UAAU,GAAG,CAAC,CAAC;QAClF,OAAO,IAAI,CAAC,aAAa,CACvB,WAAW,CAAC,WAAW,EACvB,IAAI,kBAAkB,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,CAAC,CAC7D,CAAC;IACJ,CAAC;IAED,8CAA8C;IAC9C,KAAK,CAAC,aAAa,CACjB,UAAyB,EACzB,WAA+B;QAE/B,MAAM,IAAI,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC;QAC1C,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,+BAA+B,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,IAAI,CAAC;QAC3F,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YAAE,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxD,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAAE,OAAO,IAAI,CAAC;QACzD,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;YAAE,OAAO,KAAK,CAAC;QAC3D,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAAE,OAAO,IAAI,CAAC;QACzD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YAAE,OAAO,WAAW,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtE,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,mBAAmB,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QAC5F,IAAI,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QACjF,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QACnF,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QAChF,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QACvE,MAAM,IAAI,KAAK,CAAC,6CAA6C,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IAClF,CAAC;IAED,4FAA4F;IAC5F,KAAK,CAAC,mBAAmB,CACvB,IAAiC,EACjC,WAA+B;QAE/B,IAAI,CAAC;YACH,OAAO,kBAAkB,CACvB,MAAM,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,UAAU,EAAE,WAAW,CAAC,EACtD,IAAI,CAAC,IAAI,CAAC,IAAI,EACd,IAAI,CAAC,OAAO,EAAE,CACf,CAAC;QACJ,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IACE,KAAK,YAAY,KAAK;gBACtB,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,uCAAuC,CAAC;gBAEjE,MAAM,IAAI,KAAK,CAAC,6CAA6C,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE;oBAC9E,KAAK,EAAE,KAAK;iBACb,CAAC,CAAC;YACL,MAAM,KAAK,CAAC;QACd,CAAC;IACH,CAAC;IAED,wCAAwC;IACxC,UAAU,CACR,IAA+B,EAC/B,WAA+B;QAE/B,OAAO,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;IAChE,CAAC;IAED,iEAAiE;IACjE,KAAK,CAAC,WAAW,CACf,IAAgC,EAChC,WAA+B;QAE/B,MAAM,MAAM,GAAgC,EAAE,CAAC;QAC/C,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACvC,IAAI,EAAE,CAAC,kBAAkB,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACpC,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;gBACzE,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC;oBACxB,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;gBAC3E,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YAC/B,CAAC;iBAAM,IACL,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC;gBACjC,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBAErE,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,MAAM,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;iBACtF,IAAI,EAAE,CAAC,6BAA6B,CAAC,QAAQ,CAAC;gBACjD,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,MAAM,WAAW,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;;gBAC7E,MAAM,IAAI,KAAK,CAAC,2CAA2C,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QACzF,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,iFAAiF;IACjF,KAAK,CAAC,aAAa,CACjB,IAA2B,EAC3B,WAA+B;QAE/B,IAAI,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QAC3B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;YACtC,MAAM,aAAa,GAAG,MAAM,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;YAC7E,IAAI,OAAO,aAAa,KAAK,QAAQ,IAAI,aAAa,KAAK,IAAI;gBAC7D,MAAM,IAAI,KAAK,CAAC,iEAAiE,CAAC,CAAC;YACrF,KAAK,IAAI,GAAG,aAAa,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;QAClD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,yEAAyE;IACzE,KAAK,CAAC,QAAQ,CACZ,IAAuB,EACvB,WAA+B;QAE/B,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;YACxF,MAAM,IAAI,KAAK,CAAC,uCAAuC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QAC5E,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;QACjF,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtC,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC;YACnF,MAAM,IAAI,KAAK,CAAC,sCAAsC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QAC3E,MAAM,SAAS,GAAG,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC5C,MAAM,EAAE,IAAI,EAAE,GAAG,QAAQ,CAAC;QAC1B,IAAI,SAAS,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACvF,MAAM,IAAI,KAAK,CAAC,+CAA+C,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QACxF,MAAM,aAAa,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;QAC1C,MAAM,MAAM,GAAkB,EAAE,CAAC;QACjC,KAAK,MAAM,KAAK,IAAI,MAAM;YACxB,MAAM,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,WAAW,CAAC,SAAS,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QAC3F,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,uDAAuD;IACvD,KAAK,CAAC,qBAAqB,CACzB,QAAwD,EACxD,WAA+B;QAE/B,MAAM,MAAM,GAAkB,EAAE,CAAC;QACjC,KAAK,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC;YAClD,IAAI,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC;gBAChC,IAAI,MAAM,WAAW,CAAC,8BAA8B,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;oBACzE,IAAI,KAAK,KAAK,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,mBAAmB,KAAK,IAAI;wBACpE,MAAM,IAAI,KAAK,CACb,2FAA2F,CAC5F,CAAC;oBACJ,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;oBAC9D,SAAS;gBACX,CAAC;gBACD,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;gBACzE,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC;oBACxB,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;gBAC1E,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC;YACzB,CAAC;;gBAAM,MAAM,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC;QACrE,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;CACF;AAED,kFAAkF;AAClF,MAAM,kBAAkB;IAEH;IACA;IACA;IACA;IACA;IALnB,YACmB,QAA+B,EAC/B,MAAqB,EACrB,UAAkB,EAClB,WAAmB,EACnB,SAA2C,IAAI,GAAG,EAAE;QAJpD,aAAQ,GAAR,QAAQ,CAAuB;QAC/B,WAAM,GAAN,MAAM,CAAe;QACrB,eAAU,GAAV,UAAU,CAAQ;QAClB,gBAAW,GAAX,WAAW,CAAQ;QACnB,WAAM,GAAN,MAAM,CAA8C;IACpE,CAAC;IAEJ,2EAA2E;IAC3E,KAAK,CAAC,YAAY,CAAC,IAAY;QAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtC,MAAM,WAAW,GAAG,qBAAqB,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAC7D,MAAM,WAAW,GAAG,WAAW,EAAE,WAAW,CAAC;QAC7C,IAAI,WAAW,KAAK,SAAS;YAC3B,OAAO,IAAI,CAAC,QAAQ,CAAC,kBAAkB,CAAC,GAAG,IAAI,CAAC,UAAU,IAAI,IAAI,EAAE,EAAE,GAAG,EAAE,CACzE,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,WAAW,EAAE,IAAI,CAAC,CAC/C,CAAC;QACJ,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACtD,IAAI,QAAQ,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,yCAAyC,IAAI,GAAG,CAAC,CAAC;QAC9F,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,eAAe,CAAC;YAC/C,MAAM,IAAI,KAAK,CAAC,6DAA6D,CAAC,CAAC;QACjF,MAAM,QAAQ,GAAG,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC;QACtD,IAAI,QAAQ,CAAC,YAAY,EAAE,UAAU,IAAI,QAAQ,KAAK,SAAS;YAC7D,MAAM,IAAI,KAAK,CAAC,yCAAyC,IAAI,GAAG,CAAC,CAAC;QACpE,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,QAAQ,CAAC;YAC9B,MAAM,IAAI,KAAK,CAAC,6DAA6D,CAAC,CAAC;QACjF,MAAM,OAAO,GAAG,QAAQ,CAAC,QAAQ,CAAC,IAAI,CACpC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAC/D,CAAC;QACF,IAAI,OAAO,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,yCAAyC,IAAI,GAAG,CAAC,CAAC;QAC7F,MAAM,cAAc,GAAG,MAAM,sBAAsB,CACjD,IAAI,CAAC,WAAW,EAChB,IAAI,CAAC,UAAU,EACf,QAAQ,CAAC,eAAe,CAAC,IAAI,CAC9B,CAAC;QACF,OAAO,IAAI,CAAC,QAAQ,CAAC,YAAY,CAC/B,cAAc,CAAC,IAAI,EACnB,OAAO,CAAC,YAAY,EAAE,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,EAC/C,cAAc,CAAC,WAAW,CAC3B,CAAC;IACJ,CAAC;IAED,sFAAsF;IACtF,KAAK,CAAC,8BAA8B,CAAC,UAAyB;QAC5D,MAAM,IAAI,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC;QAC1C,IACE,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YAC1B,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;YAC3B,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;YAEjC,OAAO,KAAK,CAAC;QACf,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QACtE,IACE,QAAQ,KAAK,SAAS;YACtB,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,eAAe,CAAC;YAC7C,CAAC,QAAQ,CAAC,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;YAE9C,OAAO,KAAK,CAAC;QACf,MAAM,2BAA2B,CAC/B,IAAI,CAAC,WAAW,EAChB,IAAI,CAAC,UAAU,EACf,QAAQ,CAAC,eAAe,CAAC,IAAI,CAC9B,CAAC;QACF,OAAO,IAAI,CAAC;IACd,CAAC;IAED,oFAAoF;IACpF,SAAS,CAAC,IAAY,EAAE,KAAkB;QACxC,OAAO,IAAI,kBAAkB,CAC3B,IAAI,CAAC,QAAQ,EACb,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,UAAU,EACf,IAAI,CAAC,WAAW,EAChB,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CACzC,CAAC;IACJ,CAAC;CACF","sourcesContent":["import { promises as fs } from 'node:fs';\n\nimport * as ts from 'typescript';\n\nimport {\n  findImportBinding,\n  findStaticDeclaration,\n  hasExportModifier,\n  isConstDeclaration,\n  unwrapExpression,\n} from './capabilityCatalogAstSource.js';\nimport { resolveImportPathAsync, resolveLocalImportPathAsync } from './capabilityCatalogImport.js';\nimport {\n  isStaticArray,\n  isStaticRecord,\n  readStaticArray,\n  readStaticProperty,\n  type StaticRecord,\n  type StaticValue,\n} from './capabilityCatalogStaticValue.js';\n\n/*** Evaluate one named catalog export from the supported static TypeScript subset. */\nexport async function capabilityCatalogAstAsync(\n  packageRoot: string,\n  modulePath: string,\n  exportName: string,\n  materializedCatalog?: unknown,\n): Promise<unknown> {\n  return new StaticCatalogResolver(packageRoot, materializedCatalog).resolveAsync(\n    modulePath,\n    exportName,\n  );\n}\n\n/*** Resolve static local imports and expressions without loading target modules. */\nclass StaticCatalogResolver {\n  readonly #symbols = new Map<string, StaticValue>();\n  readonly #activeSymbols: string[] = [];\n\n  private readonly materializedCatalog: readonly StaticValue[] | null;\n\n  constructor(\n    private readonly packageRoot: string,\n    materializedCatalog?: unknown,\n  ) {\n    this.materializedCatalog = readStaticArray(materializedCatalog);\n  }\n\n  /*** Resolve a named local export without importing or running its module. */\n  async resolveAsync(\n    modulePath: string,\n    exportName: string,\n    moduleRoot = this.packageRoot,\n  ): Promise<StaticValue> {\n    const key = `${modulePath}:${exportName}`;\n    return this.resolveSymbolAsync(key, () =>\n      this.resolveUncachedAsync(modulePath, exportName, moduleRoot),\n    );\n  }\n\n  /*** Resolve one local symbol while detecting recursive static references. */\n  async resolveSymbolAsync(\n    key: string,\n    resolveAsync: () => Promise<StaticValue>,\n  ): Promise<StaticValue> {\n    const cached = this.#symbols.get(key);\n    if (cached !== undefined) return cached;\n    const cycleStart = this.#activeSymbols.indexOf(key);\n    if (cycleStart >= 0)\n      throw new Error(\n        `Cyclic static capability reference: ${[...this.#activeSymbols.slice(cycleStart), key].join(' -> ')}.`,\n      );\n    this.#activeSymbols.push(key);\n    try {\n      const value = await resolveAsync();\n      this.#symbols.set(key, value);\n      return value;\n    } finally {\n      this.#activeSymbols.pop();\n    }\n  }\n\n  /*** Find and evaluate the declaration owning one exported static value. */\n  async resolveUncachedAsync(\n    modulePath: string,\n    exportName: string,\n    moduleRoot: string,\n  ): Promise<StaticValue> {\n    const source = ts.createSourceFile(\n      modulePath,\n      await fs.readFile(modulePath, 'utf8'),\n      ts.ScriptTarget.ESNext,\n      true,\n    );\n    const declaration = source.statements\n      .filter((statement): statement is ts.VariableStatement => ts.isVariableStatement(statement))\n      .filter(hasExportModifier)\n      .filter((statement) => isConstDeclaration(statement.declarationList))\n      .flatMap((statement) => statement.declarationList.declarations)\n      .find((value) => ts.isIdentifier(value.name) && value.name.text === exportName);\n    if (declaration?.initializer === undefined)\n      throw new Error(`Unable to find static export ${exportName} in ${modulePath}.`);\n    return this.evaluateAsync(\n      declaration.initializer,\n      new StaticCatalogScope(this, source, modulePath, moduleRoot),\n    );\n  }\n\n  /*** Evaluate an allowed static expression. */\n  async evaluateAsync(\n    expression: ts.Expression,\n    environment: StaticCatalogScope,\n  ): Promise<StaticValue> {\n    const node = unwrapExpression(expression);\n    if (ts.isStringLiteral(node) || ts.isNoSubstitutionTemplateLiteral(node)) return node.text;\n    if (ts.isNumericLiteral(node)) return Number(node.text);\n    if (node.kind === ts.SyntaxKind.TrueKeyword) return true;\n    if (node.kind === ts.SyntaxKind.FalseKeyword) return false;\n    if (node.kind === ts.SyntaxKind.NullKeyword) return null;\n    if (ts.isIdentifier(node)) return environment.resolveAsync(node.text);\n    if (ts.isPropertyAccessExpression(node)) return this.propertyAccessAsync(node, environment);\n    if (ts.isArrayLiteralExpression(node)) return this.arrayAsync(node, environment);\n    if (ts.isObjectLiteralExpression(node)) return this.objectAsync(node, environment);\n    if (ts.isTemplateExpression(node)) return this.templateAsync(node, environment);\n    if (ts.isCallExpression(node)) return this.mapAsync(node, environment);\n    throw new Error(`Unsupported static capability expression: ${node.getText()}.`);\n  }\n\n  /*** Evaluate one static object property while preserving dynamic-expression diagnostics. */\n  async propertyAccessAsync(\n    node: ts.PropertyAccessExpression,\n    environment: StaticCatalogScope,\n  ): Promise<StaticValue> {\n    try {\n      return readStaticProperty(\n        await this.evaluateAsync(node.expression, environment),\n        node.name.text,\n        node.getText(),\n      );\n    } catch (error) {\n      if (\n        error instanceof Error &&\n        error.message.startsWith('Unsupported dynamic capability value:')\n      )\n        throw new Error(`Unsupported static capability expression: ${node.getText()}.`, {\n          cause: error,\n        });\n      throw error;\n    }\n  }\n\n  /*** Evaluate a static array literal. */\n  arrayAsync(\n    node: ts.ArrayLiteralExpression,\n    environment: StaticCatalogScope,\n  ): Promise<readonly StaticValue[]> {\n    return this.evaluateElementsAsync(node.elements, environment);\n  }\n\n  /*** Evaluate static object properties and descriptor spreads. */\n  async objectAsync(\n    node: ts.ObjectLiteralExpression,\n    environment: StaticCatalogScope,\n  ): Promise<StaticRecord> {\n    const result: Record<string, StaticValue> = {};\n    for (const property of node.properties) {\n      if (ts.isSpreadAssignment(property)) {\n        const value = await this.evaluateAsync(property.expression, environment);\n        if (!isStaticRecord(value))\n          throw new Error('Capability descriptor spreads must be static objects.');\n        Object.assign(result, value);\n      } else if (\n        ts.isPropertyAssignment(property) &&\n        (ts.isIdentifier(property.name) || ts.isStringLiteral(property.name))\n      )\n        result[property.name.text] = await this.evaluateAsync(property.initializer, environment);\n      else if (ts.isShorthandPropertyAssignment(property))\n        result[property.name.text] = await environment.resolveAsync(property.name.text);\n      else throw new Error(`Unsupported static capability property: ${property.getText()}.`);\n    }\n    return result;\n  }\n\n  /*** Evaluate a template literal whose substitutions are scalar static values. */\n  async templateAsync(\n    node: ts.TemplateExpression,\n    environment: StaticCatalogScope,\n  ): Promise<string> {\n    let value = node.head.text;\n    for (const span of node.templateSpans) {\n      const interpolation = await this.evaluateAsync(span.expression, environment);\n      if (typeof interpolation === 'object' && interpolation !== null)\n        throw new Error('Capability templates may interpolate only static scalar values.');\n      value += `${interpolation}${span.literal.text}`;\n    }\n    return value;\n  }\n\n  /*** Evaluate Array.map with a single static arrow-function parameter. */\n  async mapAsync(\n    node: ts.CallExpression,\n    environment: StaticCatalogScope,\n  ): Promise<readonly StaticValue[]> {\n    if (!ts.isPropertyAccessExpression(node.expression) || node.expression.name.text !== 'map')\n      throw new Error(`Unsupported static capability call: ${node.getText()}.`);\n    const values = await this.evaluateAsync(node.expression.expression, environment);\n    const callback = node.arguments.at(0);\n    if (!isStaticArray(values) || callback === undefined || !ts.isArrowFunction(callback))\n      throw new Error(`Unsupported static capability map: ${node.getText()}.`);\n    const parameter = callback.parameters.at(0);\n    const { body } = callback;\n    if (parameter === undefined || !ts.isIdentifier(parameter.name) || !ts.isExpression(body))\n      throw new Error(`Unsupported static capability map callback: ${callback.getText()}.`);\n    const parameterName = parameter.name.text;\n    const result: StaticValue[] = [];\n    for (const value of values)\n      result.push(await this.evaluateAsync(body, environment.withValue(parameterName, value)));\n    return result;\n  }\n\n  /*** Evaluate static array elements in source order. */\n  async evaluateElementsAsync(\n    elements: ts.NodeArray<ts.Expression | ts.SpreadElement>,\n    environment: StaticCatalogScope,\n  ): Promise<readonly StaticValue[]> {\n    const result: StaticValue[] = [];\n    for (const [index, element] of elements.entries()) {\n      if (ts.isSpreadElement(element)) {\n        if (await environment.isPackageLocalDerivedCallAsync(element.expression)) {\n          if (index !== elements.length - 1 || this.materializedCatalog === null)\n            throw new Error(\n              'Derived catalog function spreads must be trailing and have materialized package metadata.',\n            );\n          result.push(...this.materializedCatalog.slice(result.length));\n          continue;\n        }\n        const spread = await this.evaluateAsync(element.expression, environment);\n        if (!isStaticArray(spread))\n          throw new Error('Catalog array spreads must resolve to static arrays.');\n        result.push(...spread);\n      } else result.push(await this.evaluateAsync(element, environment));\n    }\n    return result;\n  }\n}\n\n/*** Resolve only static symbols reached from the requested catalog expression. */\nclass StaticCatalogScope {\n  constructor(\n    private readonly resolver: StaticCatalogResolver,\n    private readonly source: ts.SourceFile,\n    private readonly modulePath: string,\n    private readonly packageRoot: string,\n    private readonly values: ReadonlyMap<string, StaticValue> = new Map(),\n  ) {}\n\n  /*** Resolve a local constant or an allowed named static package import. */\n  async resolveAsync(name: string): Promise<StaticValue> {\n    const value = this.values.get(name);\n    if (value !== undefined) return value;\n    const declaration = findStaticDeclaration(this.source, name);\n    const initializer = declaration?.initializer;\n    if (initializer !== undefined)\n      return this.resolver.resolveSymbolAsync(`${this.modulePath}:${name}`, () =>\n        this.resolver.evaluateAsync(initializer, this),\n      );\n    const imported = findImportBinding(this.source, name);\n    if (imported === undefined) throw new Error(`Unsupported dynamic capability value: ${name}.`);\n    if (!ts.isStringLiteral(imported.moduleSpecifier))\n      throw new Error('Capability catalogs support only named local value imports.');\n    const bindings = imported.importClause?.namedBindings;\n    if (imported.importClause?.isTypeOnly || bindings === undefined)\n      throw new Error(`Unsupported dynamic capability value: ${name}.`);\n    if (!ts.isNamedImports(bindings))\n      throw new Error('Capability catalogs support only named local value imports.');\n    const binding = bindings.elements.find(\n      (element) => !element.isTypeOnly && element.name.text === name,\n    );\n    if (binding === undefined) throw new Error(`Unsupported dynamic capability value: ${name}.`);\n    const resolvedImport = await resolveImportPathAsync(\n      this.packageRoot,\n      this.modulePath,\n      imported.moduleSpecifier.text,\n    );\n    return this.resolver.resolveAsync(\n      resolvedImport.path,\n      binding.propertyName?.text ?? binding.name.text,\n      resolvedImport.packageRoot,\n    );\n  }\n\n  /*** Detect one zero-argument function imported from a package-local source module. */\n  async isPackageLocalDerivedCallAsync(expression: ts.Expression): Promise<boolean> {\n    const node = unwrapExpression(expression);\n    if (\n      !ts.isCallExpression(node) ||\n      node.arguments.length !== 0 ||\n      !ts.isIdentifier(node.expression)\n    )\n      return false;\n    const imported = findImportBinding(this.source, node.expression.text);\n    if (\n      imported === undefined ||\n      !ts.isStringLiteral(imported.moduleSpecifier) ||\n      !imported.moduleSpecifier.text.startsWith('.')\n    )\n      return false;\n    await resolveLocalImportPathAsync(\n      this.packageRoot,\n      this.modulePath,\n      imported.moduleSpecifier.text,\n    );\n    return true;\n  }\n\n  /*** Add a static callback parameter without evaluating unrelated module symbols. */\n  withValue(name: string, value: StaticValue): StaticCatalogScope {\n    return new StaticCatalogScope(\n      this.resolver,\n      this.source,\n      this.modulePath,\n      this.packageRoot,\n      new Map([...this.values, [name, value]]),\n    );\n  }\n}\n"]}

package/dist/capabilityCatalogAstSource.d.ts

@@ -0,0 +1,12 @@
+import * as ts from 'typescript';
+/*** Find the static top-level declaration that owns a local identifier. */
+export declare function findStaticDeclaration(source: ts.SourceFile, name: string): ts.VariableDeclaration | undefined;
+/*** Find the import declaration that introduces a referenced local identifier. */
+export declare function findImportBinding(source: ts.SourceFile, name: string): ts.ImportDeclaration | undefined;
+/*** Determine whether a declaration list is immutable static catalog input. */
+export declare function isConstDeclaration(list: ts.VariableDeclarationList): boolean;
+/*** Unwrap TypeScript syntax which does not alter a runtime value. */
+export declare function unwrapExpression(expression: ts.Expression): ts.Expression;
+/*** Detect an exported variable statement. */
+export declare function hasExportModifier(statement: ts.VariableStatement): boolean;
+//# sourceMappingURL=capabilityCatalogAstSource.d.ts.map

package/dist/capabilityCatalogAstSource.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"capabilityCatalogAstSource.d.ts","sourceRoot":"","sources":["../src/capabilityCatalogAstSource.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,2EAA2E;AAC3E,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,EAAE,CAAC,UAAU,EACrB,IAAI,EAAE,MAAM,GACX,EAAE,CAAC,mBAAmB,GAAG,SAAS,CAMpC;AAED,kFAAkF;AAClF,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,EAAE,CAAC,UAAU,EACrB,IAAI,EAAE,MAAM,GACX,EAAE,CAAC,iBAAiB,GAAG,SAAS,CAYlC;AAED,+EAA+E;AAC/E,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,EAAE,CAAC,uBAAuB,GAAG,OAAO,CAE5E;AAED,sEAAsE;AACtE,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG,EAAE,CAAC,UAAU,CAMzE;AAED,8CAA8C;AAC9C,wBAAgB,iBAAiB,CAAC,SAAS,EAAE,EAAE,CAAC,iBAAiB,GAAG,OAAO,CAI1E"}

package/dist/capabilityCatalogAstSource.js

@@ -0,0 +1,38 @@
+import * as ts from 'typescript';
+/*** Find the static top-level declaration that owns a local identifier. */
+export function findStaticDeclaration(source, name) {
+    return source.statements
+        .filter((statement) => ts.isVariableStatement(statement))
+        .filter((statement) => isConstDeclaration(statement.declarationList))
+        .flatMap((statement) => statement.declarationList.declarations)
+        .find((declaration) => ts.isIdentifier(declaration.name) && declaration.name.text === name);
+}
+/*** Find the import declaration that introduces a referenced local identifier. */
+export function findImportBinding(source, name) {
+    return source.statements
+        .filter((statement) => ts.isImportDeclaration(statement))
+        .find((statement) => {
+        const clause = statement.importClause;
+        return (clause?.name?.text === name ||
+            (clause?.namedBindings !== undefined &&
+                ts.isNamedImports(clause.namedBindings) &&
+                clause.namedBindings.elements.some((element) => element.name.text === name)));
+    });
+}
+/*** Determine whether a declaration list is immutable static catalog input. */
+export function isConstDeclaration(list) {
+    return (list.flags & ts.NodeFlags.Const) !== 0;
+}
+/*** Unwrap TypeScript syntax which does not alter a runtime value. */
+export function unwrapExpression(expression) {
+    return ts.isAsExpression(expression) ||
+        ts.isSatisfiesExpression(expression) ||
+        ts.isParenthesizedExpression(expression)
+        ? unwrapExpression(expression.expression)
+        : expression;
+}
+/*** Detect an exported variable statement. */
+export function hasExportModifier(statement) {
+    return (statement.modifiers?.some((modifier) => modifier.kind === ts.SyntaxKind.ExportKeyword) ?? false);
+}
+//# sourceMappingURL=capabilityCatalogAstSource.js.map

package/dist/capabilityCatalogAstSource.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"capabilityCatalogAstSource.js","sourceRoot":"","sources":["../src/capabilityCatalogAstSource.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,2EAA2E;AAC3E,MAAM,UAAU,qBAAqB,CACnC,MAAqB,EACrB,IAAY;IAEZ,OAAO,MAAM,CAAC,UAAU;SACrB,MAAM,CAAC,CAAC,SAAS,EAAqC,EAAE,CAAC,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,CAAC;SAC3F,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;SACpE,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,eAAe,CAAC,YAAY,CAAC;SAC9D,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AAChG,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,iBAAiB,CAC/B,MAAqB,EACrB,IAAY;IAEZ,OAAO,MAAM,CAAC,UAAU;SACrB,MAAM,CAAC,CAAC,SAAS,EAAqC,EAAE,CAAC,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,CAAC;SAC3F,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE;QAClB,MAAM,MAAM,GAAG,SAAS,CAAC,YAAY,CAAC;QACtC,OAAO,CACL,MAAM,EAAE,IAAI,EAAE,IAAI,KAAK,IAAI;YAC3B,CAAC,MAAM,EAAE,aAAa,KAAK,SAAS;gBAClC,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC,aAAa,CAAC;gBACvC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAC/E,CAAC;IACJ,CAAC,CAAC,CAAC;AACP,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,kBAAkB,CAAC,IAAgC;IACjE,OAAO,CAAC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;AACjD,CAAC;AAED,sEAAsE;AACtE,MAAM,UAAU,gBAAgB,CAAC,UAAyB;IACxD,OAAO,EAAE,CAAC,cAAc,CAAC,UAAU,CAAC;QAClC,EAAE,CAAC,qBAAqB,CAAC,UAAU,CAAC;QACpC,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC;QACxC,CAAC,CAAC,gBAAgB,CAAC,UAAU,CAAC,UAAU,CAAC;QACzC,CAAC,CAAC,UAAU,CAAC;AACjB,CAAC;AAED,8CAA8C;AAC9C,MAAM,UAAU,iBAAiB,CAAC,SAA+B;IAC/D,OAAO,CACL,SAAS,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,CAChG,CAAC;AACJ,CAAC","sourcesContent":["import * as ts from 'typescript';\n\n/*** Find the static top-level declaration that owns a local identifier. */\nexport function findStaticDeclaration(\n  source: ts.SourceFile,\n  name: string,\n): ts.VariableDeclaration | undefined {\n  return source.statements\n    .filter((statement): statement is ts.VariableStatement => ts.isVariableStatement(statement))\n    .filter((statement) => isConstDeclaration(statement.declarationList))\n    .flatMap((statement) => statement.declarationList.declarations)\n    .find((declaration) => ts.isIdentifier(declaration.name) && declaration.name.text === name);\n}\n\n/*** Find the import declaration that introduces a referenced local identifier. */\nexport function findImportBinding(\n  source: ts.SourceFile,\n  name: string,\n): ts.ImportDeclaration | undefined {\n  return source.statements\n    .filter((statement): statement is ts.ImportDeclaration => ts.isImportDeclaration(statement))\n    .find((statement) => {\n      const clause = statement.importClause;\n      return (\n        clause?.name?.text === name ||\n        (clause?.namedBindings !== undefined &&\n          ts.isNamedImports(clause.namedBindings) &&\n          clause.namedBindings.elements.some((element) => element.name.text === name))\n      );\n    });\n}\n\n/*** Determine whether a declaration list is immutable static catalog input. */\nexport function isConstDeclaration(list: ts.VariableDeclarationList): boolean {\n  return (list.flags & ts.NodeFlags.Const) !== 0;\n}\n\n/*** Unwrap TypeScript syntax which does not alter a runtime value. */\nexport function unwrapExpression(expression: ts.Expression): ts.Expression {\n  return ts.isAsExpression(expression) ||\n    ts.isSatisfiesExpression(expression) ||\n    ts.isParenthesizedExpression(expression)\n    ? unwrapExpression(expression.expression)\n    : expression;\n}\n\n/*** Detect an exported variable statement. */\nexport function hasExportModifier(statement: ts.VariableStatement): boolean {\n  return (\n    statement.modifiers?.some((modifier) => modifier.kind === ts.SyntaxKind.ExportKeyword) ?? false\n  );\n}\n"]}

package/dist/capabilityCatalogImport.d.ts

@@ -0,0 +1,9 @@
+export interface ResolvedStaticImport {
+    readonly packageRoot: string;
+    readonly path: string;
+}
+/*** Resolve an allowed static import without executing its target package. */
+export declare function resolveImportPathAsync(packageRoot: string, fromPath: string, specifier: string): Promise<ResolvedStaticImport>;
+/*** Resolve a relative static import that remains within its owning package. */
+export declare function resolveLocalImportPathAsync(packageRoot: string, fromPath: string, specifier: string): Promise<ResolvedStaticImport>;
+//# sourceMappingURL=capabilityCatalogImport.d.ts.map

package/dist/capabilityCatalogImport.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"capabilityCatalogImport.d.ts","sourceRoot":"","sources":["../src/capabilityCatalogImport.ts"],"names":[],"mappings":"AAKA,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,8EAA8E;AAC9E,wBAAsB,sBAAsB,CAC1C,WAAW,EAAE,MAAM,EACnB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,GAChB,OAAO,CAAC,oBAAoB,CAAC,CAI/B;AAED,gFAAgF;AAChF,wBAAsB,2BAA2B,CAC/C,WAAW,EAAE,MAAM,EACnB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,GAChB,OAAO,CAAC,oBAAoB,CAAC,CAQ/B"}

package/dist/capabilityCatalogImport.js

@@ -0,0 +1,34 @@
+import { promises as fs } from 'node:fs';
+import path from 'node:path';
+import { resolveContractsCatalogImportAsync } from './capabilityCatalogContractsImport.js';
+/*** Resolve an allowed static import without executing its target package. */
+export async function resolveImportPathAsync(packageRoot, fromPath, specifier) {
+    if (specifier.startsWith('.'))
+        return resolveLocalImportPathAsync(packageRoot, fromPath, specifier);
+    return resolveContractsCatalogImportAsync(packageRoot, fromPath, specifier);
+}
+/*** Resolve a relative static import that remains within its owning package. */
+export async function resolveLocalImportPathAsync(packageRoot, fromPath, specifier) {
+    const candidate = path.resolve(path.dirname(fromPath), specifier);
+    if (!isInsidePackage(packageRoot, candidate) && candidate !== packageRoot)
+        throw new Error('Capability catalogs may not import outside their package.');
+    for (const extension of ['', '.ts', '.tsx', '.js', '.mjs', '/index.ts'])
+        if (await isFileAsync(`${candidate}${extension}`))
+            return { packageRoot, path: `${candidate}${extension}` };
+    throw new Error(`Unable to resolve static capability import ${specifier}.`);
+}
+/*** Check whether a resolved path remains within the inspected package root. */
+function isInsidePackage(packageRoot, candidate) {
+    const relativePath = path.relative(packageRoot, candidate);
+    return relativePath !== '' && !relativePath.startsWith(`..${path.sep}`) && relativePath !== '..';
+}
+/*** Check whether one candidate is a regular file. */
+async function isFileAsync(candidate) {
+    try {
+        return (await fs.stat(candidate)).isFile();
+    }
+    catch {
+        return false;
+    }
+}
+//# sourceMappingURL=capabilityCatalogImport.js.map

package/dist/capabilityCatalogImport.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"capabilityCatalogImport.js","sourceRoot":"","sources":["../src/capabilityCatalogImport.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,IAAI,EAAE,EAAE,MAAM,SAAS,CAAC;AACzC,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,OAAO,EAAE,kCAAkC,EAAE,MAAM,uCAAuC,CAAC;AAO3F,8EAA8E;AAC9E,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAC1C,WAAmB,EACnB,QAAgB,EAChB,SAAiB;IAEjB,IAAI,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC;QAC3B,OAAO,2BAA2B,CAAC,WAAW,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;IACvE,OAAO,kCAAkC,CAAC,WAAW,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;AAC9E,CAAC;AAED,gFAAgF;AAChF,MAAM,CAAC,KAAK,UAAU,2BAA2B,CAC/C,WAAmB,EACnB,QAAgB,EAChB,SAAiB;IAEjB,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAC,CAAC;IAClE,IAAI,CAAC,eAAe,CAAC,WAAW,EAAE,SAAS,CAAC,IAAI,SAAS,KAAK,WAAW;QACvE,MAAM,IAAI,KAAK,CAAC,2DAA2D,CAAC,CAAC;IAC/E,KAAK,MAAM,SAAS,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,WAAW,CAAC;QACrE,IAAI,MAAM,WAAW,CAAC,GAAG,SAAS,GAAG,SAAS,EAAE,CAAC;YAC/C,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,SAAS,GAAG,SAAS,EAAE,EAAE,CAAC;IAC7D,MAAM,IAAI,KAAK,CAAC,8CAA8C,SAAS,GAAG,CAAC,CAAC;AAC9E,CAAC;AAED,gFAAgF;AAChF,SAAS,eAAe,CAAC,WAAmB,EAAE,SAAiB;IAC7D,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;IAC3D,OAAO,YAAY,KAAK,EAAE,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,YAAY,KAAK,IAAI,CAAC;AACnG,CAAC;AAED,sDAAsD;AACtD,KAAK,UAAU,WAAW,CAAC,SAAiB;IAC1C,IAAI,CAAC;QACH,OAAO,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAC7C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC","sourcesContent":["import { promises as fs } from 'node:fs';\nimport path from 'node:path';\n\nimport { resolveContractsCatalogImportAsync } from './capabilityCatalogContractsImport.js';\n\nexport interface ResolvedStaticImport {\n  readonly packageRoot: string;\n  readonly path: string;\n}\n\n/*** Resolve an allowed static import without executing its target package. */\nexport async function resolveImportPathAsync(\n  packageRoot: string,\n  fromPath: string,\n  specifier: string,\n): Promise<ResolvedStaticImport> {\n  if (specifier.startsWith('.'))\n    return resolveLocalImportPathAsync(packageRoot, fromPath, specifier);\n  return resolveContractsCatalogImportAsync(packageRoot, fromPath, specifier);\n}\n\n/*** Resolve a relative static import that remains within its owning package. */\nexport async function resolveLocalImportPathAsync(\n  packageRoot: string,\n  fromPath: string,\n  specifier: string,\n): Promise<ResolvedStaticImport> {\n  const candidate = path.resolve(path.dirname(fromPath), specifier);\n  if (!isInsidePackage(packageRoot, candidate) && candidate !== packageRoot)\n    throw new Error('Capability catalogs may not import outside their package.');\n  for (const extension of ['', '.ts', '.tsx', '.js', '.mjs', '/index.ts'])\n    if (await isFileAsync(`${candidate}${extension}`))\n      return { packageRoot, path: `${candidate}${extension}` };\n  throw new Error(`Unable to resolve static capability import ${specifier}.`);\n}\n\n/*** Check whether a resolved path remains within the inspected package root. */\nfunction isInsidePackage(packageRoot: string, candidate: string): boolean {\n  const relativePath = path.relative(packageRoot, candidate);\n  return relativePath !== '' && !relativePath.startsWith(`..${path.sep}`) && relativePath !== '..';\n}\n\n/*** Check whether one candidate is a regular file. */\nasync function isFileAsync(candidate: string): Promise<boolean> {\n  try {\n    return (await fs.stat(candidate)).isFile();\n  } catch {\n    return false;\n  }\n}\n"]}

package/dist/capabilityCatalogStaticValue.d.ts

@@ -0,0 +1,13 @@
+export type StaticValue = string | number | boolean | null | readonly StaticValue[] | StaticRecord;
+export interface StaticRecord {
+    readonly [key: string]: StaticValue;
+}
+/*** Narrow a static value to a descriptor-shaped record. */
+export declare function isStaticRecord(value: StaticValue): value is StaticRecord;
+/*** Narrow a static value to an array. */
+export declare function isStaticArray(value: StaticValue): value is readonly StaticValue[];
+/*** Read one property from a statically resolved object. */
+export declare function readStaticProperty(value: StaticValue, key: string, expression: string): StaticValue;
+/*** Read one JSON-compatible array as static catalog materialization input. */
+export declare function readStaticArray(value: unknown): readonly StaticValue[] | null;
+//# sourceMappingURL=capabilityCatalogStaticValue.d.ts.map

package/dist/capabilityCatalogStaticValue.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"capabilityCatalogStaticValue.d.ts","sourceRoot":"","sources":["../src/capabilityCatalogStaticValue.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,WAAW,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,GAAG,SAAS,WAAW,EAAE,GAAG,YAAY,CAAC;AAEnG,MAAM,WAAW,YAAY;IAC3B,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,WAAW,CAAC;CACrC;AAED,4DAA4D;AAC5D,wBAAgB,cAAc,CAAC,KAAK,EAAE,WAAW,GAAG,KAAK,IAAI,YAAY,CAExE;AAED,0CAA0C;AAC1C,wBAAgB,aAAa,CAAC,KAAK,EAAE,WAAW,GAAG,KAAK,IAAI,SAAS,WAAW,EAAE,CAEjF;AAED,4DAA4D;AAC5D,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,WAAW,EAClB,GAAG,EAAE,MAAM,EACX,UAAU,EAAE,MAAM,GACjB,WAAW,CAOb;AAED,+EAA+E;AAC/E,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,SAAS,WAAW,EAAE,GAAG,IAAI,CAE7E"}

package/dist/capabilityCatalogStaticValue.js

@@ -0,0 +1,35 @@
+/*** Narrow a static value to a descriptor-shaped record. */
+export function isStaticRecord(value) {
+    return typeof value === 'object' && value !== null && !Array.isArray(value);
+}
+/*** Narrow a static value to an array. */
+export function isStaticArray(value) {
+    return Array.isArray(value);
+}
+/*** Read one property from a statically resolved object. */
+export function readStaticProperty(value, key, expression) {
+    const property = isStaticRecord(value)
+        ? Object.entries(value).find(([propertyKey]) => propertyKey === key)?.[1]
+        : undefined;
+    if (property === undefined)
+        throw new Error(`Unsupported static capability property access: ${expression}.`);
+    return property;
+}
+/*** Read one JSON-compatible array as static catalog materialization input. */
+export function readStaticArray(value) {
+    return Array.isArray(value) && value.every(isStaticValue) ? value : null;
+}
+/*** Narrow untrusted JSON-compatible input to the static evaluator value model. */
+function isStaticValue(value) {
+    if (value === null ||
+        typeof value === 'string' ||
+        typeof value === 'number' ||
+        typeof value === 'boolean')
+        return true;
+    if (Array.isArray(value))
+        return value.every(isStaticValue);
+    if (typeof value !== 'object')
+        return false;
+    return Object.values(value).every(isStaticValue);
+}
+//# sourceMappingURL=capabilityCatalogStaticValue.js.map

package/dist/capabilityCatalogStaticValue.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"capabilityCatalogStaticValue.js","sourceRoot":"","sources":["../src/capabilityCatalogStaticValue.ts"],"names":[],"mappings":"AAMA,4DAA4D;AAC5D,MAAM,UAAU,cAAc,CAAC,KAAkB;IAC/C,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,0CAA0C;AAC1C,MAAM,UAAU,aAAa,CAAC,KAAkB;IAC9C,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9B,CAAC;AAED,4DAA4D;AAC5D,MAAM,UAAU,kBAAkB,CAChC,KAAkB,EAClB,GAAW,EACX,UAAkB;IAElB,MAAM,QAAQ,GAAG,cAAc,CAAC,KAAK,CAAC;QACpC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC,WAAW,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QACzE,CAAC,CAAC,SAAS,CAAC;IACd,IAAI,QAAQ,KAAK,SAAS;QACxB,MAAM,IAAI,KAAK,CAAC,kDAAkD,UAAU,GAAG,CAAC,CAAC;IACnF,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,eAAe,CAAC,KAAc;IAC5C,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AAC3E,CAAC;AAED,mFAAmF;AACnF,SAAS,aAAa,CAAC,KAAc;IACnC,IACE,KAAK,KAAK,IAAI;QACd,OAAO,KAAK,KAAK,QAAQ;QACzB,OAAO,KAAK,KAAK,QAAQ;QACzB,OAAO,KAAK,KAAK,SAAS;QAE1B,OAAO,IAAI,CAAC;IACd,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;IAC5D,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5C,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;AACnD,CAAC","sourcesContent":["export type StaticValue = string | number | boolean | null | readonly StaticValue[] | StaticRecord;\n\nexport interface StaticRecord {\n  readonly [key: string]: StaticValue;\n}\n\n/*** Narrow a static value to a descriptor-shaped record. */\nexport function isStaticRecord(value: StaticValue): value is StaticRecord {\n  return typeof value === 'object' && value !== null && !Array.isArray(value);\n}\n\n/*** Narrow a static value to an array. */\nexport function isStaticArray(value: StaticValue): value is readonly StaticValue[] {\n  return Array.isArray(value);\n}\n\n/*** Read one property from a statically resolved object. */\nexport function readStaticProperty(\n  value: StaticValue,\n  key: string,\n  expression: string,\n): StaticValue {\n  const property = isStaticRecord(value)\n    ? Object.entries(value).find(([propertyKey]) => propertyKey === key)?.[1]\n    : undefined;\n  if (property === undefined)\n    throw new Error(`Unsupported static capability property access: ${expression}.`);\n  return property;\n}\n\n/*** Read one JSON-compatible array as static catalog materialization input. */\nexport function readStaticArray(value: unknown): readonly StaticValue[] | null {\n  return Array.isArray(value) && value.every(isStaticValue) ? value : null;\n}\n\n/*** Narrow untrusted JSON-compatible input to the static evaluator value model. */\nfunction isStaticValue(value: unknown): value is StaticValue {\n  if (\n    value === null ||\n    typeof value === 'string' ||\n    typeof value === 'number' ||\n    typeof value === 'boolean'\n  )\n    return true;\n  if (Array.isArray(value)) return value.every(isStaticValue);\n  if (typeof value !== 'object') return false;\n  return Object.values(value).every(isStaticValue);\n}\n"]}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@ankhorage/doctor",
-  "version": "0.14.11",
+  "version": "0.14.12",
   "description": "Executable Ankh provider and standalone CLI for lightweight repo and package compliance diagnostics.",
   "license": "MIT",
   "publishConfig": {
@@ -141,7 +141,7 @@
   },
   "devDependencies": {
     "@ankhorage/ankh": "^0.13.0",
-    "@ankhorage/devtools": "^2.3.10",
+    "@ankhorage/devtools": "^2.3.11",
     "@ankhorage/paradox": "^0.3.3",
     "@types/bun": "^1.4.2",
     "@types/node": "^26.6.5",

package/src/analysis.ts

@@ -57,6 +57,7 @@ export interface DoctorAnalysisResult {
 
 interface ProviderInspectionResult {
   readonly capabilities: readonly Capability[];
+  readonly capabilitiesValid: boolean;
   readonly commandCapabilities: readonly string[];
   readonly commandPaths: readonly string[];
   readonly handlerPaths: readonly string[];
@@ -568,7 +569,11 @@ async function validateAnkhMetadataAndProvider(request: {
 }): Promise<DoctorDiagnostic[]> {
   const diagnostics: DoctorDiagnostic[] = [];
   const metadata = request.packageJson.ankh;
-  const catalog = await readCapabilityCatalogAsync(request.targetPath, request.packageJson.exports);
+  const catalog = await readCapabilityCatalogAsync(
+    request.targetPath,
+    request.packageJson.exports,
+    isRecord(metadata) ? metadata.capabilities : undefined,
+  );
   const providerPackage =
     (isRecord(metadata) && isNonEmptyString(metadata.provider)) ||
     (await isProviderPackage(request.targetPath));
@@ -714,13 +719,25 @@ async function validateAnkhMetadataAndProvider(request: {
 
   const providerCapabilities = inspection.result.capabilities;
   const commandCapabilities = uniqueSortedStrings(inspection.result.commandCapabilities);
-
-  if (!areCapabilityCatalogsEqual(metadataCapabilities, providerCapabilities)) {
+  const providerCapabilitiesMatch =
+    inspection.result.capabilitiesValid &&
+    (catalog.capabilities === null
+      ? catalog.path === null &&
+        areCapabilityCatalogsEqual(metadataCapabilities, providerCapabilities)
+      : providerCapabilities.every((providerCapability) =>
+          catalog.capabilities.some((catalogCapability) =>
+            areCapabilityCatalogsEqual([providerCapability], [catalogCapability]),
+          ),
+        ));
+
+  if (!providerCapabilitiesMatch) {
     diagnostics.push(
       createDiagnostic({
         code: 'field-invalid',
         message:
-          'package.json.ankh capabilities must match the implemented provider capability descriptors exactly.',
+          catalog.capabilities === null && catalog.path === null
+            ? 'package.json.ankh capabilities must match the implemented provider capability descriptors exactly.'
+            : 'Provider capabilities must be valid, unique descriptors contained identically in the canonical public CAPABILITIES catalog.',
         path: request.packageJsonPath,
         profile: request.profile,
         ruleId: 'package.ankh.capabilities.match-provider',
@@ -806,6 +823,7 @@ async function inspectProviderSource(request: {
       };
     }
 
+    const capabilitiesValid = isCapabilityCatalog(provider.capabilities);
     const capabilities = readCapabilities(provider.capabilities);
     const commands = Array.isArray(provider.commands) ? provider.commands : [];
     const handlers = Array.isArray(provider.handlers) ? provider.handlers : [];
@@ -829,6 +847,7 @@ async function inspectProviderSource(request: {
       diagnostic: null,
       result: {
         capabilities,
+        capabilitiesValid,
         commandCapabilities,
         commandPaths,
         handlerPaths,

package/src/capabilityCatalog.ts

@@ -18,12 +18,18 @@ type CatalogResolution =
 export async function readCapabilityCatalogAsync(
   packageRoot: string,
   packageExports: unknown,
+  materializedCapabilities?: unknown,
 ): Promise<CatalogResolution> {
   const catalogPath = path.resolve(packageRoot, CAPABILITIES_SOURCE_PATH);
   if (!(await isFileAsync(catalogPath))) return { capabilities: null, path: null, reason: null };
   try {
     capabilityCatalogExports(packageRoot, packageExports, catalogPath);
-    const values = await capabilityCatalogAstAsync(packageRoot, catalogPath, 'CAPABILITIES');
+    const values = await capabilityCatalogAstAsync(
+      packageRoot,
+      catalogPath,
+      'CAPABILITIES',
+      materializedCapabilities,
+    );
     if (!Array.isArray(values))
       throw new Error(`${CAPABILITIES_SOURCE_PATH} must export CAPABILITIES as an array.`);
     const capabilities = parseCapabilityCatalog(values);