@webpieces/nx-webpieces-rules 0.4.865 → 0.4.867

package/src/lib/runtime-wiring/source-values.js

@@ -6,6 +6,8 @@ const path = tslib_1.__importStar(require("path"));
 const ts = tslib_1.__importStar(require("typescript"));
 const rules_config_1 = require("@webpieces/rules-config");
 const declaration_1 = require("./declaration");
+const prepared_targets_1 = require("./prepared-targets");
+const source_types_1 = require("./source-types");
 /** Resolves imported symbols and bounded literal expressions without invoking application code. */
 class WiringSourceValues {
     workspaceRoot;
@@ -47,23 +49,21 @@ class WiringSourceValues {
         const value = expression;
         if (ts.isStringLiteralLike(value))
             return { kind: 'service', service: value.text };
-        if (ts.isCallExpression(value) && this.symbolName(value.expression) === 'rpcTarget') {
-            const target = this.target(value.arguments[1], depth + 1);
-            if (target.kind !== 'service')
-                this.fail('rpcTarget requires a literal deployment identity.');
-            return { ...target, contract: this.identity(value.arguments[0]) };
-        }
-        if (ts.isNewExpression(value) &&
-            ['RpcTarget', 'ClientConfig', 'TaskClientConfig'].includes(this.symbolName(value.expression)))
-            return this.target(value.arguments?.[this.symbolName(value.expression) === 'RpcTarget' ? 1 : 0], depth + 1);
+        if (ts.isNewExpression(value) && ['ClientConfig', 'TaskClientConfig'].includes(this.symbolName(value.expression)))
+            return this.target(value.arguments?.[0], depth + 1);
         const declaration = this.symbol(value)?.declarations?.[0];
         if (declaration !== undefined && ts.isVariableDeclaration(declaration))
             return this.target(declaration.initializer, depth + 1);
         if (declaration !== undefined && ts.isPropertyAssignment(declaration))
             return this.target(declaration.initializer, depth + 1);
         if (declaration !== undefined && ts.isParameter(declaration))
-            return { kind: 'parameter', parameter: declaration.name.getText() };
-        this.fail(`Unsupported target ${value.getText()}; use a literal service, rpcTarget, or an explicit typed target parameter.`);
+            return { kind: 'parameter', parameter: this.parameterPath(value) };
+        if (ts.isPropertyAccessExpression(value)) {
+            const type = this.checker.getTypeAtLocation(value);
+            if ((type.flags & ts.TypeFlags.StringLike) !== 0)
+                return { kind: 'parameter', parameter: this.parameterPath(value) };
+        }
+        this.fail(`Unsupported target ${value.getText()}; use a literal service or a prepared constructor field.`);
     }
     transport(expression) {
         const declaration = this.symbol(expression)?.declarations?.[0];
@@ -80,14 +80,21 @@ class WiringSourceValues {
     arguments(invocation) {
         const targets = {};
         const signature = this.checker.getResolvedSignature(invocation);
-        for (const [index, parameter] of (signature?.getParameters() ?? []).entries()) {
-            const declaration = parameter.valueDeclaration;
-            if (declaration === undefined)
-                continue;
-            const type = this.checker.typeToString(this.checker.getTypeOfSymbolAtLocation(parameter, declaration));
-            if (type.includes('RpcTarget') ||
-                (type === 'string' && /target/i.test(parameter.getName()))) {
-                targets[parameter.getName()] = this.target(invocation.arguments?.[index]);
+        const prepared = new prepared_targets_1.PreparedTargets(this.checker);
+        for (const path of prepared.paths(invocation, 'target')) {
+            const parts = path.split('.');
+            const name = parts[0];
+            const suffix = parts.slice(1);
+            const index = signature?.getParameters().findIndex((parameter) => parameter.name === name) ?? -1;
+            const expression = invocation.arguments?.[index];
+            if (expression === undefined)
+                this.fail(`Missing prepared destination argument ${path}.`);
+            if (suffix.length === 0)
+                targets[path] = this.target(expression);
+            else {
+                const value = this.preparedValue(expression, suffix);
+                targets[path] = value instanceof ForwardedParameter
+                    ? { kind: 'parameter', parameter: value.parameter } : this.target(value);
             }
         }
         return targets;
@@ -142,25 +149,29 @@ class WiringSourceValues {
     policies(invocation) {
         const policies = {};
         const signature = this.checker.getResolvedSignature(invocation);
-        for (const [index, parameter] of (signature?.getParameters() ?? []).entries()) {
-            const declaration = parameter.valueDeclaration;
-            if (declaration === undefined)
+        const prepared = new prepared_targets_1.PreparedTargets(this.checker);
+        for (const path of prepared.paths(invocation, 'policy')) {
+            const parts = path.split('.');
+            const name = parts[0];
+            const suffix = parts.slice(1);
+            const index = signature?.getParameters().findIndex((parameter) => parameter.name === name) ?? -1;
+            const supplied = invocation.arguments?.[index];
+            if (supplied === undefined)
+                this.fail(`Missing explicit policy argument ${path}.`);
+            const argument = suffix.length === 0 ? supplied : this.preparedValue(supplied, suffix);
+            if (argument instanceof ForwardedParameter) {
+                policies[path] = { parameter: argument.parameter };
                 continue;
-            const type = this.checker.typeToString(this.checker.getTypeOfSymbolAtLocation(parameter, declaration));
-            if (!type.includes('WiringPolicy'))
+            }
+            if (ts.isIdentifier(argument) || ts.isPropertyAccessExpression(argument)) {
+                policies[path] = { parameter: this.parameterPath(argument) };
                 continue;
-            const argument = invocation.arguments?.[index];
-            if (argument === undefined ||
-                !ts.isNewExpression(argument) ||
-                this.symbolName(argument.expression) !== 'WiringPolicy')
+            }
+            if (!ts.isNewExpression(argument) || !new source_types_1.WiringSourceTypes(this.checker).isFramework(argument.expression, 'WiringPolicy'))
                 this.fail('Pass an explicit named WiringPolicy to conditional modules.');
             const condition = argument.arguments?.[1];
-            policies[parameter.getName()] =
-                condition?.kind === ts.SyntaxKind.TrueKeyword
-                    ? true
-                    : condition?.kind === ts.SyntaxKind.FalseKeyword
-                        ? false
-                        : 'runtime';
+            policies[path] = condition?.kind === ts.SyntaxKind.TrueKeyword ? true
+                : condition?.kind === ts.SyntaxKind.FalseKeyword ? false : 'runtime';
         }
         return policies;
     }
@@ -177,7 +188,7 @@ class WiringSourceValues {
                 const condition = node.expression;
                 if (!ts.isPropertyAccessExpression(condition) || condition.name.text !== 'enabled')
                     this.fail('Topology conditions must use a named WiringPolicy.enabled.');
-                policy = this.symbolName(condition.expression);
+                policy = this.parameterPath(condition.expression);
             }
             if (ts.isConditionalExpression(node) ||
                 ts.isSwitchStatement(node) ||
@@ -188,6 +199,40 @@ class WiringSourceValues {
         }
         return policy;
     }
+    preparedValue(expression, suffix) {
+        const base = this.symbol(expression)?.declarations?.[0];
+        if (base !== undefined && ts.isParameter(base))
+            return new ForwardedParameter([this.parameterPath(expression), ...suffix].join('.'));
+        if (ts.isPropertyAccessExpression(expression)) {
+            const root = expression.expression;
+            if (root.kind === ts.SyntaxKind.ThisKeyword || ts.isPropertyAccessExpression(root))
+                return new ForwardedParameter([this.parameterPath(expression), ...suffix].join('.'));
+        }
+        let type = this.checker.getTypeAtLocation(expression);
+        let declaration;
+        for (const name of suffix) {
+            const property = type.getProperty(name);
+            declaration = property?.valueDeclaration;
+            if (property === undefined || declaration === undefined)
+                this.fail(`Cannot resolve prepared destination ${expression.getText()}.${suffix.join('.')}.`);
+            type = this.checker.getTypeOfSymbolAtLocation(property, declaration);
+        }
+        if (declaration !== undefined && ts.isPropertyAssignment(declaration))
+            return declaration.initializer;
+        if (declaration !== undefined && ts.isPropertyDeclaration(declaration) && declaration.initializer !== undefined)
+            return declaration.initializer;
+        this.fail(`Unresolved destination ${expression.getText()}.${suffix.join('.')}; prepare a statically resolvable destination, never a computed config function.`);
+    }
+    parameterPath(expression) {
+        if (ts.isPropertyAccessExpression(expression)) {
+            if (expression.expression.kind === ts.SyntaxKind.ThisKeyword)
+                return expression.name.text;
+            return `${this.parameterPath(expression.expression)}.${expression.name.text}`;
+        }
+        if (ts.isIdentifier(expression))
+            return expression.text;
+        this.fail(`Unsupported prepared parameter path ${expression.getText()}.`);
+    }
     symbol(node) {
         const symbol = this.checker.getSymbolAtLocation(node);
         return symbol !== undefined && (symbol.flags & ts.SymbolFlags.Alias) !== 0
@@ -201,4 +246,10 @@ class WiringSourceValues {
     }
 }
 exports.WiringSourceValues = WiringSourceValues;
+class ForwardedParameter {
+    parameter;
+    constructor(parameter) {
+        this.parameter = parameter;
+    }
+}
 //# sourceMappingURL=source-values.js.map

package/src/lib/runtime-wiring/source-values.js.map

@@ -1 +1 @@
-{"version":3,"file":"source-values.js","sourceRoot":"","sources":["../../../../../../../packages/tooling/nx-webpieces-rules/src/lib/runtime-wiring/source-values.ts"],"names":[],"mappings":";;;;AAAA,mDAA6B;AAC7B,uDAAiC;AACjC,0DAAgE;AAEhE,+CAAiD;AAGjD,mGAAmG;AACnG,MAAa,kBAAkB;IAEN;IACA;IACA;IAHrB,YACqB,aAAqB,EACrB,KAAuC,EACvC,OAAuB;QAFvB,kBAAa,GAAb,aAAa,CAAQ;QACrB,UAAK,GAAL,KAAK,CAAkC;QACvC,YAAO,GAAP,OAAO,CAAgB;IACzC,CAAC;IAEJ,UAAU,CAAC,IAAa;QACpB,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACjC,MAAM,WAAW,GAAG,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9C,IACI,WAAW,KAAK,SAAS;YACzB,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC;YACrC,WAAW,CAAC,WAAW,KAAK,SAAS;YACrC,CAAC,EAAE,CAAC,0BAA0B,CAAC,WAAW,CAAC,WAAW,CAAC;gBACnD,EAAE,CAAC,yBAAyB,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;YAE1D,OAAO,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;QACpD,OAAO,MAAM,EAAE,OAAO,EAAE,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAG,CAAC;IACjE,CAAC;IAED,QAAQ,CAAC,IAAa;QAClB,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACjC,MAAM,WAAW,GAAG,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9C,IAAI,WAAW,KAAK,SAAS;YACzB,IAAI,CAAC,IAAI,CAAC,yCAAyC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QAC1E,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,WAAY,CAAC,aAAa,EAAE,CAAC,QAAQ,CAAC,CAAC;QACjE,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAC1C,CAAC,IAAI,EAAE,EAAE,CACL,IAAI,CAAC,IAAI,KAAK,GAAG;YACjB,IAAI,CAAC,IAAI,KAAK,EAAE;YAChB,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAC9E,CAAC;QACF,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACnE,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YACnB,IAAI,CAAC,IAAI,CACL,0BAA0B,IAAI,CAAC,OAAO,EAAE,OAAO,IAAI,oCAAoC,CAC1F,CAAC;QACN,OAAO,IAAI,8BAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,MAAO,CAAC,OAAO,EAAE,CAAC,CAAC;IACnE,CAAC;IAED,MAAM,CAAC,UAAqC,EAAE,QAAgB,CAAC;QAC3D,IAAI,UAAU,KAAK,SAAS,IAAI,KAAK,GAAG,EAAE;YACtC,IAAI,CAAC,IAAI,CAAC,8CAA8C,CAAC,CAAC;QAC9D,MAAM,KAAK,GAAG,UAAW,CAAC;QAC1B,IAAI,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;QACnF,IAAI,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,WAAW,EAAE,CAAC;YAClF,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YAC1D,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS;gBACzB,IAAI,CAAC,IAAI,CAAC,mDAAmD,CAAC,CAAC;YACnE,OAAO,EAAE,GAAG,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACtE,CAAC;QACD,IACI,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC;YACzB,CAAC,WAAW,EAAE,cAAc,EAAE,kBAAkB,CAAC,CAAC,QAAQ,CACtD,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,CACpC;YAED,OAAO,IAAI,CAAC,MAAM,CACd,KAAK,CAAC,SAAS,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAC5E,KAAK,GAAG,CAAC,CACZ,CAAC;QACN,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1D,IAAI,WAAW,KAAK,SAAS,IAAI,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC;YAClE,OAAO,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,WAAW,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QAC3D,IAAI,WAAW,KAAK,SAAS,IAAI,EAAE,CAAC,oBAAoB,CAAC,WAAW,CAAC;YACjE,OAAO,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,WAAW,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QAC3D,IAAI,WAAW,KAAK,SAAS,IAAI,EAAE,CAAC,WAAW,CAAC,WAAW,CAAC;YACxD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,SAAS,EAAE,WAAW,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;QACxE,IAAI,CAAC,IAAI,CACL,sBAAsB,KAAK,CAAC,OAAO,EAAE,4EAA4E,CACpH,CAAC;IACN,CAAC;IAED,SAAS,CAAC,UAAyB;QAC/B,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/D,IAAI,WAAW,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,WAAW,CAAC;YAChE,IAAI,CAAC,IAAI,CAAC,OAAO,UAAU,CAAC,OAAO,EAAE,6CAA6C,CAAC,CAAC;QACxF,KAAK,MAAM,SAAS,IAAI,EAAE,CAAC,aAAa,CAAC,WAAkC,CAAC,IAAI,EAAE,EAAE,CAAC;YACjF,MAAM,UAAU,GAAG,SAAS,CAAC,UAAU,CAAC;YACxC,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CACxB,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CACvE,CAAC;YACF,IAAI,IAAI,KAAK,QAAQ;gBAAE,OAAO,QAAQ,CAAC;QAC3C,CAAC;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,SAAS,CAAC,UAAgD;QACtD,MAAM,OAAO,GAAmC,EAAE,CAAC;QACnD,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC,UAAU,CAAC,CAAC;QAChE,KAAK,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;YAC5E,MAAM,WAAW,GAAG,SAAS,CAAC,gBAAgB,CAAC;YAC/C,IAAI,WAAW,KAAK,SAAS;gBAAE,SAAS;YACxC,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,YAAY,CAClC,IAAI,CAAC,OAAO,CAAC,yBAAyB,CAAC,SAAS,EAAE,WAAW,CAAC,CACjE,CAAC;YACF,IACI,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC;gBAC1B,CAAC,IAAI,KAAK,QAAQ,IAAI,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC,EAC5D,CAAC;gBACC,OAAO,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,SAAS,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;YAC9E,CAAC;QACL,CAAC;QACD,OAAO,OAAO,CAAC;IACnB,CAAC;IAED,mBAAmB,CACf,KAAa,EACb,OAAe,EACf,YAAoB,EACpB,OAAmB;QAEnB,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACrC,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC;QACpE,IAAI,KAAK,GAAG,KAAK,CAAC;QAClB,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;YAClC,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC9B,oFAAoF;gBACpF,MAAM,OAAO,GAAG,IAAI,CAAC,eAAe,EAAE,IAAI,CACtC,CAAC,MAAM,EAAE,EAAE,CACP,MAAM,CAAC,KAAK,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB;oBAChD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;wBACvB,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,OAAO,EAAE,KAAK,YAAY;4BACxD,OAAO,KAAK,CAAC;wBACjB,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC;oBAC9D,CAAC,CAAC,CACT,CAAC;gBACF,IAAI,OAAO;oBAAE,OAAO;gBACpB,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;oBAChC,IAAI,CAAC,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC;wBAAE,SAAS;oBACnD,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;wBACxC,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,IAAI,CAAC;4BACvE,SAAS;wBACb,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;wBACpD,MAAM,WAAW,GAAG,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC;wBAC9C,IACI,WAAW,KAAK,SAAS;4BACzB,MAAM,EAAE,OAAO,EAAE,KAAK,YAAY;4BAClC,CAAC,CACG,EAAE,CAAC,sBAAsB,CAAC,WAAW,CAAC;gCACtC,EAAE,CAAC,kBAAkB,CAAC,WAAW,CAAC,CACrC;4BAED,SAAS;wBACb,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;wBACxD,IAAI,QAAQ,CAAC,OAAO,KAAK,OAAO,IAAI,QAAQ,CAAC,YAAY,KAAK,YAAY;4BACtE,KAAK,GAAG,IAAI,CAAC;oBACrB,CAAC;gBACL,CAAC;YACL,CAAC;YACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACjC,CAAC,CAAC;QACF,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC;YAC1C,IACI,IAAI,CAAC,iBAAiB;gBACtB,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC;gBAC/B,qCAAqC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC;gBAEzD,SAAS;YACb,KAAK,CAAC,IAAI,CAAC,CAAC;QAChB,CAAC;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,QAAQ,CACJ,UAAgD;QAEhD,MAAM,QAAQ,GAAwC,EAAE,CAAC;QACzD,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC,UAAU,CAAC,CAAC;QAChE,KAAK,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;YAC5E,MAAM,WAAW,GAAG,SAAS,CAAC,gBAAgB,CAAC;YAC/C,IAAI,WAAW,KAAK,SAAS;gBAAE,SAAS;YACxC,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,YAAY,CAClC,IAAI,CAAC,OAAO,CAAC,yBAAyB,CAAC,SAAS,EAAE,WAAW,CAAC,CACjE,CAAC;YACF,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC;gBAAE,SAAS;YAC7C,MAAM,QAAQ,GAAG,UAAU,CAAC,SAAS,EAAE,CAAC,KAAK,CAAC,CAAC;YAC/C,IACI,QAAQ,KAAK,SAAS;gBACtB,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC;gBAC7B,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,cAAc;gBAEvD,IAAI,CAAC,IAAI,CAAC,6DAA6D,CAAC,CAAC;YAC7E,MAAM,SAAS,GAAG,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC;YAC1C,QAAQ,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC;gBACzB,SAAS,EAAE,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;oBACzC,CAAC,CAAC,IAAI;oBACN,CAAC,CAAC,SAAS,EAAE,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;wBAC9C,CAAC,CAAC,KAAK;wBACP,CAAC,CAAC,SAAS,CAAC;QAC1B,CAAC;QACD,OAAO,QAAQ,CAAC;IACpB,CAAC;IAED,SAAS,CAAC,IAAa;QACnB,IAAI,KAAK,GAAG,IAAI,CAAC;QACjB,IAAI,IAAI,GAAwB,IAAI,CAAC,MAAM,CAAC;QAC5C,IAAI,MAA0B,CAAC;QAC/B,OACI,IAAI,KAAK,SAAS;YAClB,CAAC,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;YAC5B,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EACjC,CAAC;YACC,IAAI,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzB,IAAI,MAAM,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI,CAAC,aAAa;oBACpD,IAAI,CAAC,IAAI,CACL,0FAA0F,CAC7F,CAAC;gBACN,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC;gBAClC,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;oBAC9E,IAAI,CAAC,IAAI,CAAC,4DAA4D,CAAC,CAAC;gBAC5E,MAAM,GAAG,IAAI,CAAC,UAAU,CAAE,SAAyC,CAAC,UAAU,CAAC,CAAC;YACpF,CAAC;YACD,IACI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC;gBAChC,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;gBAC1B,EAAE,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,CAAC;gBAEpC,IAAI,CAAC,IAAI,CAAC,wEAAwE,CAAC,CAAC;YACxF,KAAK,GAAG,IAAI,CAAC;YACb,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;QACvB,CAAC;QACD,OAAO,MAAM,CAAC;IAClB,CAAC;IAEO,MAAM,CAAC,IAAa;QACxB,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;QACtD,OAAO,MAAM,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC;YACtE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC;YACvC,CAAC,CAAC,MAAM,CAAC;IACjB,CAAC;IAEO,IAAI,CAAC,OAAe;QACxB,MAAM,IAAI,4BAAa,CAAC,+BAA+B,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE;YACpF,IAAI,qBAAM,CACN,yEAAyE,EACzE,IAAI,CACP;SACJ,CAAC,CAAC;IACP,CAAC;CACJ;AAlPD,gDAkPC","sourcesContent":["import * as path from 'path';\nimport * as ts from 'typescript';\nimport { Option, RuleFailError } from '@webpieces/rules-config';\nimport type { ProjectInfo } from '../project-info';\nimport { ContractIdentity } from './declaration';\nimport type { DeclaredTarget } from './declaration';\n\n/** Resolves imported symbols and bounded literal expressions without invoking application code. */\nexport class WiringSourceValues {\n    constructor(\n        private readonly workspaceRoot: string,\n        private readonly infos: ReadonlyMap<string, ProjectInfo>,\n        private readonly checker: ts.TypeChecker,\n    ) {}\n\n    symbolName(node: ts.Node): string {\n        const symbol = this.symbol(node);\n        const declaration = symbol?.declarations?.[0];\n        if (\n            declaration !== undefined &&\n            ts.isVariableDeclaration(declaration) &&\n            declaration.initializer !== undefined &&\n            (ts.isPropertyAccessExpression(declaration.initializer) ||\n                ts.isElementAccessExpression(declaration.initializer))\n        )\n            return this.symbolName(declaration.initializer);\n        return symbol?.getName() ?? node.getText().split('.').pop()!;\n    }\n\n    identity(node: ts.Node): ContractIdentity {\n        const symbol = this.symbol(node);\n        const declaration = symbol?.declarations?.[0];\n        if (declaration === undefined)\n            this.fail(`Cannot resolve canonical identity for ${node.getText()}.`);\n        const file = path.resolve(declaration!.getSourceFile().fileName);\n        const owners = [...this.infos.values()].filter(\n            (info) =>\n                info.root !== '.' &&\n                info.root !== '' &&\n                file.startsWith(path.resolve(this.workspaceRoot, info.root) + path.sep),\n        );\n        owners.sort((left, right) => right.root.length - left.root.length);\n        if (owners.length === 0)\n            this.fail(\n                `No workspace owner for ${node.getText()} at ${file}; configure source tsconfig paths.`,\n            );\n        return new ContractIdentity(owners[0].name, symbol!.getName());\n    }\n\n    target(expression: ts.Expression | undefined, depth: number = 0): DeclaredTarget {\n        if (expression === undefined || depth > 20)\n            this.fail('Missing or cyclic runtime target expression.');\n        const value = expression!;\n        if (ts.isStringLiteralLike(value)) return { kind: 'service', service: value.text };\n        if (ts.isCallExpression(value) && this.symbolName(value.expression) === 'rpcTarget') {\n            const target = this.target(value.arguments[1], depth + 1);\n            if (target.kind !== 'service')\n                this.fail('rpcTarget requires a literal deployment identity.');\n            return { ...target, contract: this.identity(value.arguments[0]) };\n        }\n        if (\n            ts.isNewExpression(value) &&\n            ['RpcTarget', 'ClientConfig', 'TaskClientConfig'].includes(\n                this.symbolName(value.expression),\n            )\n        )\n            return this.target(\n                value.arguments?.[this.symbolName(value.expression) === 'RpcTarget' ? 1 : 0],\n                depth + 1,\n            );\n        const declaration = this.symbol(value)?.declarations?.[0];\n        if (declaration !== undefined && ts.isVariableDeclaration(declaration))\n            return this.target(declaration.initializer, depth + 1);\n        if (declaration !== undefined && ts.isPropertyAssignment(declaration))\n            return this.target(declaration.initializer, depth + 1);\n        if (declaration !== undefined && ts.isParameter(declaration))\n            return { kind: 'parameter', parameter: declaration.name.getText() };\n        this.fail(\n            `Unsupported target ${value.getText()}; use a literal service, rpcTarget, or an explicit typed target parameter.`,\n        );\n    }\n\n    transport(expression: ts.Expression): 'rpc' | 'pubsub' {\n        const declaration = this.symbol(expression)?.declarations?.[0];\n        if (declaration === undefined || !ts.isClassDeclaration(declaration))\n            this.fail(`API ${expression.getText()} must resolve to its source contract class.`);\n        for (const decorator of ts.getDecorators(declaration as ts.ClassDeclaration) ?? []) {\n            const expression = decorator.expression;\n            const name = this.symbolName(\n                ts.isCallExpression(expression) ? expression.expression : expression,\n            );\n            if (name === 'PubSub') return 'pubsub';\n        }\n        return 'rpc';\n    }\n\n    arguments(invocation: ts.NewExpression | ts.CallExpression): Record<string, DeclaredTarget> {\n        const targets: Record<string, DeclaredTarget> = {};\n        const signature = this.checker.getResolvedSignature(invocation);\n        for (const [index, parameter] of (signature?.getParameters() ?? []).entries()) {\n            const declaration = parameter.valueDeclaration;\n            if (declaration === undefined) continue;\n            const type = this.checker.typeToString(\n                this.checker.getTypeOfSymbolAtLocation(parameter, declaration),\n            );\n            if (\n                type.includes('RpcTarget') ||\n                (type === 'string' && /target/i.test(parameter.getName()))\n            ) {\n                targets[parameter.getName()] = this.target(invocation.arguments?.[index]);\n            }\n        }\n        return targets;\n    }\n\n    hasExternalConsumer(\n        owner: string,\n        project: string,\n        exportedName: string,\n        program: ts.Program,\n    ): boolean {\n        const info = this.infos.get(owner);\n        if (info === undefined) return false;\n        const root = path.resolve(this.workspaceRoot, info.root) + path.sep;\n        let found = false;\n        const visit = (node: ts.Node): void => {\n            if (ts.isClassDeclaration(node)) {\n                // An adapter implements a seam; it does not prove a business caller uses that seam.\n                const adapter = node.heritageClauses?.some(\n                    (clause) =>\n                        clause.token === ts.SyntaxKind.ImplementsKeyword &&\n                        clause.types.some((type) => {\n                            if (this.symbol(type.expression)?.getName() !== exportedName)\n                                return false;\n                            return this.identity(type.expression).project === project;\n                        }),\n                );\n                if (adapter) return;\n                for (const member of node.members) {\n                    if (!ts.isConstructorDeclaration(member)) continue;\n                    for (const parameter of member.parameters) {\n                        if (parameter.type === undefined || !ts.isTypeReferenceNode(parameter.type))\n                            continue;\n                        const symbol = this.symbol(parameter.type.typeName);\n                        const declaration = symbol?.declarations?.[0];\n                        if (\n                            declaration === undefined ||\n                            symbol?.getName() !== exportedName ||\n                            !(\n                                ts.isInterfaceDeclaration(declaration) ||\n                                ts.isClassDeclaration(declaration)\n                            )\n                        )\n                            continue;\n                        const identity = this.identity(parameter.type.typeName);\n                        if (identity.project === project && identity.exportedName === exportedName)\n                            found = true;\n                    }\n                }\n            }\n            ts.forEachChild(node, visit);\n        };\n        for (const file of program.getSourceFiles()) {\n            if (\n                file.isDeclarationFile ||\n                !file.fileName.startsWith(root) ||\n                /(?:\\.spec\\.|\\.test\\.|\\/__tests__\\/)/.test(file.fileName)\n            )\n                continue;\n            visit(file);\n        }\n        return found;\n    }\n\n    policies(\n        invocation: ts.NewExpression | ts.CallExpression,\n    ): Record<string, boolean | 'runtime'> {\n        const policies: Record<string, boolean | 'runtime'> = {};\n        const signature = this.checker.getResolvedSignature(invocation);\n        for (const [index, parameter] of (signature?.getParameters() ?? []).entries()) {\n            const declaration = parameter.valueDeclaration;\n            if (declaration === undefined) continue;\n            const type = this.checker.typeToString(\n                this.checker.getTypeOfSymbolAtLocation(parameter, declaration),\n            );\n            if (!type.includes('WiringPolicy')) continue;\n            const argument = invocation.arguments?.[index];\n            if (\n                argument === undefined ||\n                !ts.isNewExpression(argument) ||\n                this.symbolName(argument.expression) !== 'WiringPolicy'\n            )\n                this.fail('Pass an explicit named WiringPolicy to conditional modules.');\n            const condition = argument.arguments?.[1];\n            policies[parameter.getName()] =\n                condition?.kind === ts.SyntaxKind.TrueKeyword\n                    ? true\n                    : condition?.kind === ts.SyntaxKind.FalseKeyword\n                      ? false\n                      : 'runtime';\n        }\n        return policies;\n    }\n\n    condition(call: ts.Node): string | undefined {\n        let child = call;\n        let node: ts.Node | undefined = call.parent;\n        let policy: string | undefined;\n        while (\n            node !== undefined &&\n            !ts.isClassDeclaration(node) &&\n            !ts.isFunctionDeclaration(node)\n        ) {\n            if (ts.isIfStatement(node)) {\n                if (policy !== undefined || child === node.elseStatement)\n                    this.fail(\n                        'Nested topology policies and else branches require separate explicitly selected modules.',\n                    );\n                const condition = node.expression;\n                if (!ts.isPropertyAccessExpression(condition) || condition.name.text !== 'enabled')\n                    this.fail('Topology conditions must use a named WiringPolicy.enabled.');\n                policy = this.symbolName((condition as ts.PropertyAccessExpression).expression);\n            }\n            if (\n                ts.isConditionalExpression(node) ||\n                ts.isSwitchStatement(node) ||\n                ts.isIterationStatement(node, false)\n            )\n                this.fail('Dynamic topology branches and loops require explicit selected modules.');\n            child = node;\n            node = node.parent;\n        }\n        return policy;\n    }\n\n    private symbol(node: ts.Node): ts.Symbol | undefined {\n        const symbol = this.checker.getSymbolAtLocation(node);\n        return symbol !== undefined && (symbol.flags & ts.SymbolFlags.Alias) !== 0\n            ? this.checker.getAliasedSymbol(symbol)\n            : symbol;\n    }\n\n    private fail(message: string): never {\n        throw new RuleFailError('validate-runtime-architecture', message, undefined, undefined, [\n            new Option(\n                'Use qualified imports and bounded target declarations in src/wiring.ts.',\n                true,\n            ),\n        ]);\n    }\n}\n"]}
+{"version":3,"file":"source-values.js","sourceRoot":"","sources":["../../../../../../../packages/tooling/nx-webpieces-rules/src/lib/runtime-wiring/source-values.ts"],"names":[],"mappings":";;;;AAAA,mDAA6B;AAC7B,uDAAiC;AACjC,0DAAgE;AAEhE,+CAAiD;AAEjD,yDAAqD;AACrD,iDAAmD;AAEnD,mGAAmG;AACnG,MAAa,kBAAkB;IAEN;IACA;IACA;IAHrB,YACqB,aAAqB,EACrB,KAAuC,EACvC,OAAuB;QAFvB,kBAAa,GAAb,aAAa,CAAQ;QACrB,UAAK,GAAL,KAAK,CAAkC;QACvC,YAAO,GAAP,OAAO,CAAgB;IACzC,CAAC;IAEJ,UAAU,CAAC,IAAa;QACpB,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACjC,MAAM,WAAW,GAAG,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9C,IACI,WAAW,KAAK,SAAS;YACzB,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC;YACrC,WAAW,CAAC,WAAW,KAAK,SAAS;YACrC,CAAC,EAAE,CAAC,0BAA0B,CAAC,WAAW,CAAC,WAAW,CAAC;gBACnD,EAAE,CAAC,yBAAyB,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;YAE1D,OAAO,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;QACpD,OAAO,MAAM,EAAE,OAAO,EAAE,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAG,CAAC;IACjE,CAAC;IAED,QAAQ,CAAC,IAAa;QAClB,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACjC,MAAM,WAAW,GAAG,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9C,IAAI,WAAW,KAAK,SAAS;YACzB,IAAI,CAAC,IAAI,CAAC,yCAAyC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QAC1E,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,WAAY,CAAC,aAAa,EAAE,CAAC,QAAQ,CAAC,CAAC;QACjE,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAC1C,CAAC,IAAI,EAAE,EAAE,CACL,IAAI,CAAC,IAAI,KAAK,GAAG;YACjB,IAAI,CAAC,IAAI,KAAK,EAAE;YAChB,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAC9E,CAAC;QACF,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACnE,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YACnB,IAAI,CAAC,IAAI,CACL,0BAA0B,IAAI,CAAC,OAAO,EAAE,OAAO,IAAI,oCAAoC,CAC1F,CAAC;QACN,OAAO,IAAI,8BAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,MAAO,CAAC,OAAO,EAAE,CAAC,CAAC;IACnE,CAAC;IAED,MAAM,CAAC,UAAqC,EAAE,QAAgB,CAAC;QAC3D,IAAI,UAAU,KAAK,SAAS,IAAI,KAAK,GAAG,EAAE;YACtC,IAAI,CAAC,IAAI,CAAC,8CAA8C,CAAC,CAAC;QAC9D,MAAM,KAAK,GAAG,UAAW,CAAC;QAC1B,IAAI,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;QACnF,IAAI,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,cAAc,EAAE,kBAAkB,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;YAC7G,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QACxD,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1D,IAAI,WAAW,KAAK,SAAS,IAAI,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC;YAClE,OAAO,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,WAAW,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QAC3D,IAAI,WAAW,KAAK,SAAS,IAAI,EAAE,CAAC,oBAAoB,CAAC,WAAW,CAAC;YACjE,OAAO,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,WAAW,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QAC3D,IAAI,WAAW,KAAK,SAAS,IAAI,EAAE,CAAC,WAAW,CAAC,WAAW,CAAC;YACxD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,SAAS,EAAE,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QACvE,IAAI,EAAE,CAAC,0BAA0B,CAAC,KAAK,CAAC,EAAE,CAAC;YACvC,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC;YACnD,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC;gBAC5C,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,SAAS,EAAE,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3E,CAAC;QACD,IAAI,CAAC,IAAI,CACL,sBAAsB,KAAK,CAAC,OAAO,EAAE,0DAA0D,CAClG,CAAC;IACN,CAAC;IAED,SAAS,CAAC,UAAyB;QAC/B,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/D,IAAI,WAAW,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,WAAW,CAAC;YAChE,IAAI,CAAC,IAAI,CAAC,OAAO,UAAU,CAAC,OAAO,EAAE,6CAA6C,CAAC,CAAC;QACxF,KAAK,MAAM,SAAS,IAAI,EAAE,CAAC,aAAa,CAAC,WAAkC,CAAC,IAAI,EAAE,EAAE,CAAC;YACjF,MAAM,UAAU,GAAG,SAAS,CAAC,UAAU,CAAC;YACxC,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CACxB,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CACvE,CAAC;YACF,IAAI,IAAI,KAAK,QAAQ;gBAAE,OAAO,QAAQ,CAAC;QAC3C,CAAC;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,SAAS,CAAC,UAAgD;QACtD,MAAM,OAAO,GAAmC,EAAE,CAAC;QACnD,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC,UAAU,CAAC,CAAC;QAChE,MAAM,QAAQ,GAAG,IAAI,kCAAe,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACnD,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,CAAC,UAAU,EAAE,QAAQ,CAAC,EAAE,CAAC;YACtD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YAC9B,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACtB,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAC9B,MAAM,KAAK,GAAG,SAAS,EAAE,aAAa,EAAE,CAAC,SAAS,CAAC,CAAC,SAAoB,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YAC5G,MAAM,UAAU,GAAG,UAAU,CAAC,SAAS,EAAE,CAAC,KAAK,CAAC,CAAC;YACjD,IAAI,UAAU,KAAK,SAAS;gBAAE,IAAI,CAAC,IAAI,CAAC,yCAAyC,IAAI,GAAG,CAAC,CAAC;YAC1F,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;iBAC5D,CAAC;gBACF,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,UAAW,EAAE,MAAM,CAAC,CAAC;gBACtD,OAAO,CAAC,IAAI,CAAC,GAAG,KAAK,YAAY,kBAAkB;oBAC/C,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACjF,CAAC;QACL,CAAC;QACD,OAAO,OAAO,CAAC;IACnB,CAAC;IAED,mBAAmB,CACf,KAAa,EACb,OAAe,EACf,YAAoB,EACpB,OAAmB;QAEnB,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACrC,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC;QACpE,IAAI,KAAK,GAAG,KAAK,CAAC;QAClB,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;YAClC,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC9B,oFAAoF;gBACpF,MAAM,OAAO,GAAG,IAAI,CAAC,eAAe,EAAE,IAAI,CACtC,CAAC,MAAM,EAAE,EAAE,CACP,MAAM,CAAC,KAAK,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB;oBAChD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;wBACvB,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,OAAO,EAAE,KAAK,YAAY;4BACxD,OAAO,KAAK,CAAC;wBACjB,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC;oBAC9D,CAAC,CAAC,CACT,CAAC;gBACF,IAAI,OAAO;oBAAE,OAAO;gBACpB,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;oBAChC,IAAI,CAAC,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC;wBAAE,SAAS;oBACnD,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;wBACxC,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,IAAI,CAAC;4BACvE,SAAS;wBACb,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;wBACpD,MAAM,WAAW,GAAG,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC;wBAC9C,IACI,WAAW,KAAK,SAAS;4BACzB,MAAM,EAAE,OAAO,EAAE,KAAK,YAAY;4BAClC,CAAC,CACG,EAAE,CAAC,sBAAsB,CAAC,WAAW,CAAC;gCACtC,EAAE,CAAC,kBAAkB,CAAC,WAAW,CAAC,CACrC;4BAED,SAAS;wBACb,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;wBACxD,IAAI,QAAQ,CAAC,OAAO,KAAK,OAAO,IAAI,QAAQ,CAAC,YAAY,KAAK,YAAY;4BACtE,KAAK,GAAG,IAAI,CAAC;oBACrB,CAAC;gBACL,CAAC;YACL,CAAC;YACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACjC,CAAC,CAAC;QACF,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC;YAC1C,IACI,IAAI,CAAC,iBAAiB;gBACtB,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC;gBAC/B,qCAAqC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC;gBAEzD,SAAS;YACb,KAAK,CAAC,IAAI,CAAC,CAAC;QAChB,CAAC;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,QAAQ,CACJ,UAAgD;QAEhD,MAAM,QAAQ,GAAgC,EAAE,CAAC;QACjD,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC,UAAU,CAAC,CAAC;QAChE,MAAM,QAAQ,GAAG,IAAI,kCAAe,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACnD,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,CAAC,UAAU,EAAE,QAAQ,CAAC,EAAE,CAAC;YACtD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YAC9B,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACtB,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAC9B,MAAM,KAAK,GAAG,SAAS,EAAE,aAAa,EAAE,CAAC,SAAS,CAAC,CAAC,SAAoB,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YAC5G,MAAM,QAAQ,GAAG,UAAU,CAAC,SAAS,EAAE,CAAC,KAAK,CAAC,CAAC;YAC/C,IAAI,QAAQ,KAAK,SAAS;gBAAE,IAAI,CAAC,IAAI,CAAC,oCAAoC,IAAI,GAAG,CAAC,CAAC;YACnF,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,QAAS,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,QAAS,EAAE,MAAM,CAAC,CAAC;YACzF,IAAI,QAAQ,YAAY,kBAAkB,EAAE,CAAC;gBACzC,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,SAAS,EAAE,QAAQ,CAAC,SAAS,EAAE,CAAC;gBACnD,SAAS;YACb,CAAC;YACD,IAAI,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,0BAA0B,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACvE,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,SAAS,EAAE,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC7D,SAAS;YACb,CAAC;YACD,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,gCAAiB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,UAAU,EAAE,cAAc,CAAC;gBACtH,IAAI,CAAC,IAAI,CAAC,6DAA6D,CAAC,CAAC;YAC7E,MAAM,SAAS,GAAG,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC;YAC1C,QAAQ,CAAC,IAAI,CAAC,GAAG,SAAS,EAAE,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI;gBACjE,CAAC,CAAC,SAAS,EAAE,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;QAC7E,CAAC;QACD,OAAO,QAAQ,CAAC;IACpB,CAAC;IAED,SAAS,CAAC,IAAa;QACnB,IAAI,KAAK,GAAG,IAAI,CAAC;QACjB,IAAI,IAAI,GAAwB,IAAI,CAAC,MAAM,CAAC;QAC5C,IAAI,MAA0B,CAAC;QAC/B,OACI,IAAI,KAAK,SAAS;YAClB,CAAC,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;YAC5B,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EACjC,CAAC;YACC,IAAI,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzB,IAAI,MAAM,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI,CAAC,aAAa;oBACpD,IAAI,CAAC,IAAI,CACL,0FAA0F,CAC7F,CAAC;gBACN,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC;gBAClC,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;oBAC9E,IAAI,CAAC,IAAI,CAAC,4DAA4D,CAAC,CAAC;gBAC5E,MAAM,GAAG,IAAI,CAAC,aAAa,CAAE,SAAyC,CAAC,UAAU,CAAC,CAAC;YACvF,CAAC;YACD,IACI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC;gBAChC,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;gBAC1B,EAAE,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,CAAC;gBAEpC,IAAI,CAAC,IAAI,CAAC,wEAAwE,CAAC,CAAC;YACxF,KAAK,GAAG,IAAI,CAAC;YACb,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;QACvB,CAAC;QACD,OAAO,MAAM,CAAC;IAClB,CAAC;IAEO,aAAa,CAAC,UAAyB,EAAE,MAAyB;QACtE,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC;QACxD,IAAI,IAAI,KAAK,SAAS,IAAI,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC;YAC1C,OAAO,IAAI,kBAAkB,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,EAAE,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACzF,IAAI,EAAE,CAAC,0BAA0B,CAAC,UAAU,CAAC,EAAE,CAAC;YAC5C,MAAM,IAAI,GAAG,UAAU,CAAC,UAAU,CAAC;YACnC,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC;gBAC9E,OAAO,IAAI,kBAAkB,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,EAAE,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7F,CAAC;QACD,IAAI,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;QACtD,IAAI,WAAuC,CAAC;QAC5C,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;YACxB,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;YACxC,WAAW,GAAG,QAAQ,EAAE,gBAAgB,CAAC;YACzC,IAAI,QAAQ,KAAK,SAAS,IAAI,WAAW,KAAK,SAAS;gBACnD,IAAI,CAAC,IAAI,CAAC,uCAAuC,UAAU,CAAC,OAAO,EAAE,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAClG,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,yBAAyB,CAAC,QAAS,EAAE,WAAY,CAAC,CAAC;QAC3E,CAAC;QACD,IAAI,WAAW,KAAK,SAAS,IAAI,EAAE,CAAC,oBAAoB,CAAC,WAAW,CAAC;YACjE,OAAO,WAAW,CAAC,WAAW,CAAC;QACnC,IAAI,WAAW,KAAK,SAAS,IAAI,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC,WAAW,KAAK,SAAS;YAC3G,OAAO,WAAW,CAAC,WAAW,CAAC;QACnC,IAAI,CAAC,IAAI,CAAC,0BAA0B,UAAU,CAAC,OAAO,EAAE,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,kFAAkF,CAAC,CAAC;IACpK,CAAC;IAEO,aAAa,CAAC,UAAyB;QAC3C,IAAI,EAAE,CAAC,0BAA0B,CAAC,UAAU,CAAC,EAAE,CAAC;YAC5C,IAAI,UAAU,CAAC,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;gBAAE,OAAO,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;YAC1F,OAAO,GAAG,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QAClF,CAAC;QACD,IAAI,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC;YAAE,OAAO,UAAU,CAAC,IAAI,CAAC;QACxD,IAAI,CAAC,IAAI,CAAC,uCAAuC,UAAU,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IAC9E,CAAC;IAEO,MAAM,CAAC,IAAa;QACxB,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;QACtD,OAAO,MAAM,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC;YACtE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC;YACvC,CAAC,CAAC,MAAM,CAAC;IACjB,CAAC;IAEO,IAAI,CAAC,OAAe;QACxB,MAAM,IAAI,4BAAa,CAAC,+BAA+B,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE;YACpF,IAAI,qBAAM,CACN,yEAAyE,EACzE,IAAI,CACP;SACJ,CAAC,CAAC;IACP,CAAC;CACJ;AA9QD,gDA8QC;AAED,MAAM,kBAAkB;IACC;IAArB,YAAqB,SAAiB;QAAjB,cAAS,GAAT,SAAS,CAAQ;IAAG,CAAC;CAC7C","sourcesContent":["import * as path from 'path';\nimport * as ts from 'typescript';\nimport { Option, RuleFailError } from '@webpieces/rules-config';\nimport type { ProjectInfo } from '../project-info';\nimport { ContractIdentity } from './declaration';\nimport type { DeclaredTarget, PolicyValue } from './declaration';\nimport { PreparedTargets } from './prepared-targets';\nimport { WiringSourceTypes } from './source-types';\n\n/** Resolves imported symbols and bounded literal expressions without invoking application code. */\nexport class WiringSourceValues {\n    constructor(\n        private readonly workspaceRoot: string,\n        private readonly infos: ReadonlyMap<string, ProjectInfo>,\n        private readonly checker: ts.TypeChecker,\n    ) {}\n\n    symbolName(node: ts.Node): string {\n        const symbol = this.symbol(node);\n        const declaration = symbol?.declarations?.[0];\n        if (\n            declaration !== undefined &&\n            ts.isVariableDeclaration(declaration) &&\n            declaration.initializer !== undefined &&\n            (ts.isPropertyAccessExpression(declaration.initializer) ||\n                ts.isElementAccessExpression(declaration.initializer))\n        )\n            return this.symbolName(declaration.initializer);\n        return symbol?.getName() ?? node.getText().split('.').pop()!;\n    }\n\n    identity(node: ts.Node): ContractIdentity {\n        const symbol = this.symbol(node);\n        const declaration = symbol?.declarations?.[0];\n        if (declaration === undefined)\n            this.fail(`Cannot resolve canonical identity for ${node.getText()}.`);\n        const file = path.resolve(declaration!.getSourceFile().fileName);\n        const owners = [...this.infos.values()].filter(\n            (info) =>\n                info.root !== '.' &&\n                info.root !== '' &&\n                file.startsWith(path.resolve(this.workspaceRoot, info.root) + path.sep),\n        );\n        owners.sort((left, right) => right.root.length - left.root.length);\n        if (owners.length === 0)\n            this.fail(\n                `No workspace owner for ${node.getText()} at ${file}; configure source tsconfig paths.`,\n            );\n        return new ContractIdentity(owners[0].name, symbol!.getName());\n    }\n\n    target(expression: ts.Expression | undefined, depth: number = 0): DeclaredTarget {\n        if (expression === undefined || depth > 20)\n            this.fail('Missing or cyclic runtime target expression.');\n        const value = expression!;\n        if (ts.isStringLiteralLike(value)) return { kind: 'service', service: value.text };\n        if (ts.isNewExpression(value) && ['ClientConfig', 'TaskClientConfig'].includes(this.symbolName(value.expression)))\n            return this.target(value.arguments?.[0], depth + 1);\n        const declaration = this.symbol(value)?.declarations?.[0];\n        if (declaration !== undefined && ts.isVariableDeclaration(declaration))\n            return this.target(declaration.initializer, depth + 1);\n        if (declaration !== undefined && ts.isPropertyAssignment(declaration))\n            return this.target(declaration.initializer, depth + 1);\n        if (declaration !== undefined && ts.isParameter(declaration))\n            return { kind: 'parameter', parameter: this.parameterPath(value) };\n        if (ts.isPropertyAccessExpression(value)) {\n            const type = this.checker.getTypeAtLocation(value);\n            if ((type.flags & ts.TypeFlags.StringLike) !== 0)\n                return { kind: 'parameter', parameter: this.parameterPath(value) };\n        }\n        this.fail(\n            `Unsupported target ${value.getText()}; use a literal service or a prepared constructor field.`,\n        );\n    }\n\n    transport(expression: ts.Expression): 'rpc' | 'pubsub' {\n        const declaration = this.symbol(expression)?.declarations?.[0];\n        if (declaration === undefined || !ts.isClassDeclaration(declaration))\n            this.fail(`API ${expression.getText()} must resolve to its source contract class.`);\n        for (const decorator of ts.getDecorators(declaration as ts.ClassDeclaration) ?? []) {\n            const expression = decorator.expression;\n            const name = this.symbolName(\n                ts.isCallExpression(expression) ? expression.expression : expression,\n            );\n            if (name === 'PubSub') return 'pubsub';\n        }\n        return 'rpc';\n    }\n\n    arguments(invocation: ts.NewExpression | ts.CallExpression): Record<string, DeclaredTarget> {\n        const targets: Record<string, DeclaredTarget> = {};\n        const signature = this.checker.getResolvedSignature(invocation);\n        const prepared = new PreparedTargets(this.checker);\n        for (const path of prepared.paths(invocation, 'target')) {\n            const parts = path.split('.');\n            const name = parts[0];\n            const suffix = parts.slice(1);\n            const index = signature?.getParameters().findIndex((parameter: ts.Symbol) => parameter.name === name) ?? -1;\n            const expression = invocation.arguments?.[index];\n            if (expression === undefined) this.fail(`Missing prepared destination argument ${path}.`);\n            if (suffix.length === 0) targets[path] = this.target(expression);\n            else {\n                const value = this.preparedValue(expression!, suffix);\n                targets[path] = value instanceof ForwardedParameter\n                    ? { kind: 'parameter', parameter: value.parameter } : this.target(value);\n            }\n        }\n        return targets;\n    }\n\n    hasExternalConsumer(\n        owner: string,\n        project: string,\n        exportedName: string,\n        program: ts.Program,\n    ): boolean {\n        const info = this.infos.get(owner);\n        if (info === undefined) return false;\n        const root = path.resolve(this.workspaceRoot, info.root) + path.sep;\n        let found = false;\n        const visit = (node: ts.Node): void => {\n            if (ts.isClassDeclaration(node)) {\n                // An adapter implements a seam; it does not prove a business caller uses that seam.\n                const adapter = node.heritageClauses?.some(\n                    (clause) =>\n                        clause.token === ts.SyntaxKind.ImplementsKeyword &&\n                        clause.types.some((type) => {\n                            if (this.symbol(type.expression)?.getName() !== exportedName)\n                                return false;\n                            return this.identity(type.expression).project === project;\n                        }),\n                );\n                if (adapter) return;\n                for (const member of node.members) {\n                    if (!ts.isConstructorDeclaration(member)) continue;\n                    for (const parameter of member.parameters) {\n                        if (parameter.type === undefined || !ts.isTypeReferenceNode(parameter.type))\n                            continue;\n                        const symbol = this.symbol(parameter.type.typeName);\n                        const declaration = symbol?.declarations?.[0];\n                        if (\n                            declaration === undefined ||\n                            symbol?.getName() !== exportedName ||\n                            !(\n                                ts.isInterfaceDeclaration(declaration) ||\n                                ts.isClassDeclaration(declaration)\n                            )\n                        )\n                            continue;\n                        const identity = this.identity(parameter.type.typeName);\n                        if (identity.project === project && identity.exportedName === exportedName)\n                            found = true;\n                    }\n                }\n            }\n            ts.forEachChild(node, visit);\n        };\n        for (const file of program.getSourceFiles()) {\n            if (\n                file.isDeclarationFile ||\n                !file.fileName.startsWith(root) ||\n                /(?:\\.spec\\.|\\.test\\.|\\/__tests__\\/)/.test(file.fileName)\n            )\n                continue;\n            visit(file);\n        }\n        return found;\n    }\n\n    policies(\n        invocation: ts.NewExpression | ts.CallExpression,\n    ): Record<string, PolicyValue> {\n        const policies: Record<string, PolicyValue> = {};\n        const signature = this.checker.getResolvedSignature(invocation);\n        const prepared = new PreparedTargets(this.checker);\n        for (const path of prepared.paths(invocation, 'policy')) {\n            const parts = path.split('.');\n            const name = parts[0];\n            const suffix = parts.slice(1);\n            const index = signature?.getParameters().findIndex((parameter: ts.Symbol) => parameter.name === name) ?? -1;\n            const supplied = invocation.arguments?.[index];\n            if (supplied === undefined) this.fail(`Missing explicit policy argument ${path}.`);\n            const argument = suffix.length === 0 ? supplied! : this.preparedValue(supplied!, suffix);\n            if (argument instanceof ForwardedParameter) {\n                policies[path] = { parameter: argument.parameter };\n                continue;\n            }\n            if (ts.isIdentifier(argument) || ts.isPropertyAccessExpression(argument)) {\n                policies[path] = { parameter: this.parameterPath(argument) };\n                continue;\n            }\n            if (!ts.isNewExpression(argument) || !new WiringSourceTypes(this.checker).isFramework(argument.expression, 'WiringPolicy'))\n                this.fail('Pass an explicit named WiringPolicy to conditional modules.');\n            const condition = argument.arguments?.[1];\n            policies[path] = condition?.kind === ts.SyntaxKind.TrueKeyword ? true\n                : condition?.kind === ts.SyntaxKind.FalseKeyword ? false : 'runtime';\n        }\n        return policies;\n    }\n\n    condition(call: ts.Node): string | undefined {\n        let child = call;\n        let node: ts.Node | undefined = call.parent;\n        let policy: string | undefined;\n        while (\n            node !== undefined &&\n            !ts.isClassDeclaration(node) &&\n            !ts.isFunctionDeclaration(node)\n        ) {\n            if (ts.isIfStatement(node)) {\n                if (policy !== undefined || child === node.elseStatement)\n                    this.fail(\n                        'Nested topology policies and else branches require separate explicitly selected modules.',\n                    );\n                const condition = node.expression;\n                if (!ts.isPropertyAccessExpression(condition) || condition.name.text !== 'enabled')\n                    this.fail('Topology conditions must use a named WiringPolicy.enabled.');\n                policy = this.parameterPath((condition as ts.PropertyAccessExpression).expression);\n            }\n            if (\n                ts.isConditionalExpression(node) ||\n                ts.isSwitchStatement(node) ||\n                ts.isIterationStatement(node, false)\n            )\n                this.fail('Dynamic topology branches and loops require explicit selected modules.');\n            child = node;\n            node = node.parent;\n        }\n        return policy;\n    }\n\n    private preparedValue(expression: ts.Expression, suffix: readonly string[]): ts.Expression | ForwardedParameter {\n        const base = this.symbol(expression)?.declarations?.[0];\n        if (base !== undefined && ts.isParameter(base))\n            return new ForwardedParameter([this.parameterPath(expression), ...suffix].join('.'));\n        if (ts.isPropertyAccessExpression(expression)) {\n            const root = expression.expression;\n            if (root.kind === ts.SyntaxKind.ThisKeyword || ts.isPropertyAccessExpression(root))\n                return new ForwardedParameter([this.parameterPath(expression), ...suffix].join('.'));\n        }\n        let type = this.checker.getTypeAtLocation(expression);\n        let declaration: ts.Declaration | undefined;\n        for (const name of suffix) {\n            const property = type.getProperty(name);\n            declaration = property?.valueDeclaration;\n            if (property === undefined || declaration === undefined)\n                this.fail(`Cannot resolve prepared destination ${expression.getText()}.${suffix.join('.')}.`);\n            type = this.checker.getTypeOfSymbolAtLocation(property!, declaration!);\n        }\n        if (declaration !== undefined && ts.isPropertyAssignment(declaration))\n            return declaration.initializer;\n        if (declaration !== undefined && ts.isPropertyDeclaration(declaration) && declaration.initializer !== undefined)\n            return declaration.initializer;\n        this.fail(`Unresolved destination ${expression.getText()}.${suffix.join('.')}; prepare a statically resolvable destination, never a computed config function.`);\n    }\n\n    private parameterPath(expression: ts.Expression): string {\n        if (ts.isPropertyAccessExpression(expression)) {\n            if (expression.expression.kind === ts.SyntaxKind.ThisKeyword) return expression.name.text;\n            return `${this.parameterPath(expression.expression)}.${expression.name.text}`;\n        }\n        if (ts.isIdentifier(expression)) return expression.text;\n        this.fail(`Unsupported prepared parameter path ${expression.getText()}.`);\n    }\n\n    private symbol(node: ts.Node): ts.Symbol | undefined {\n        const symbol = this.checker.getSymbolAtLocation(node);\n        return symbol !== undefined && (symbol.flags & ts.SymbolFlags.Alias) !== 0\n            ? this.checker.getAliasedSymbol(symbol)\n            : symbol;\n    }\n\n    private fail(message: string): never {\n        throw new RuleFailError('validate-runtime-architecture', message, undefined, undefined, [\n            new Option(\n                'Use qualified imports and bounded target declarations in src/wiring.ts.',\n                true,\n            ),\n        ]);\n    }\n}\n\nclass ForwardedParameter {\n    constructor(readonly parameter: string) {}\n}\n"]}

package/src/lib/runtime-wiring/wiring-format.d.ts

@@ -0,0 +1,15 @@
+import * as ts from 'typescript';
+/** One canonical-file grammar. Symbol resolution may read imports; format checking never does. */
+export declare class WiringFormat {
+    private readonly checker;
+    private readonly maxLines;
+    private readonly types;
+    constructor(checker: ts.TypeChecker, maxLines: number);
+    problems(file: ts.SourceFile): string[];
+    assert(problems: readonly string[]): void;
+    private classProblems;
+    private arrayProblems;
+    private prepared;
+    private configureProblems;
+    private declarationCall;
+}

package/src/lib/runtime-wiring/wiring-format.js

@@ -0,0 +1,160 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.WiringFormat = void 0;
+const tslib_1 = require("tslib");
+const ts = tslib_1.__importStar(require("typescript"));
+const rules_config_1 = require("@webpieces/rules-config");
+const source_types_1 = require("./source-types");
+const canonical_clients_1 = require("./canonical-clients");
+/** One canonical-file grammar. Symbol resolution may read imports; format checking never does. */
+class WiringFormat {
+    checker;
+    maxLines;
+    types;
+    constructor(checker, maxLines) {
+        this.checker = checker;
+        this.maxLines = maxLines;
+        this.types = new source_types_1.WiringSourceTypes(checker);
+    }
+    problems(file) {
+        if (!/(?:^|\/)wiring\.ts$/.test(file.fileName))
+            return [];
+        const problems = new canonical_clients_1.CanonicalClientBindings(this.checker).problems(file);
+        const report = (node, message) => {
+            const at = file.getLineAndCharacterOfPosition(node.getStart(file));
+            problems.push(`${file.fileName}:${at.line + 1}:${at.character + 1}: ${message}`);
+        };
+        if (file.text.trimEnd().split('\n').length > this.maxLines)
+            report(file, `wiring.ts exceeds ${this.maxLines} lines; move implementations to imported named modules.`);
+        for (const statement of file.statements) {
+            if (ts.isImportDeclaration(statement) || ts.isExportDeclaration(statement))
+                continue;
+            if (!ts.isClassDeclaration(statement)) {
+                report(statement, 'Only imports, exports and named declarative classes belong in wiring.ts.');
+                continue;
+            }
+            const kind = this.types.kind(statement);
+            if (kind === undefined) {
+                report(statement, 'Implement the framework Wiring, AppWiring, BindingModule or RouteModule contract.');
+                continue;
+            }
+            this.classProblems(statement, kind, report);
+        }
+        return problems;
+    }
+    assert(problems) {
+        if (problems.length === 0)
+            return;
+        throw new rules_config_1.RuleFailError('wiring-format', problems.join('\n'), undefined, undefined, [
+            new rules_config_1.Option('Use Wiring/AppWiring with literal named module selections. Move setup and business logic out of wiring.ts; keep named WiringPolicy conditions explicit.', true),
+        ]);
+    }
+    classProblems(declaration, kind, report) {
+        for (const member of declaration.members) {
+            if (ts.isConstructorDeclaration(member)) {
+                if (member.body !== undefined && member.body.statements.length > 0)
+                    report(member, 'Use constructor parameter properties to store prepared inputs; no setup logic.');
+                continue;
+            }
+            if (!ts.isMethodDeclaration(member)) {
+                report(member, 'Store prepared inputs in constructor parameter properties.');
+                continue;
+            }
+            const name = member.name.getText();
+            if (['getBindingModules', 'getRoutingModules', 'getWirings'].includes(name)) {
+                const expected = name === 'getWirings' ? 'wiring' : name === 'getBindingModules' ? 'binding' : 'routing';
+                if (name === 'getWirings' && kind !== 'app')
+                    report(member, 'Only AppWiring can declare getWirings; libraries cannot compose libraries.');
+                this.arrayProblems(member, expected, report);
+            }
+            else if (name === 'configure' && ['binding', 'routing'].includes(kind)) {
+                for (const statement of member.body?.statements ?? [])
+                    this.configureProblems(statement, report);
+            }
+            else if (name !== 'getHeaders' || kind !== 'app')
+                report(member, 'Keep only canonical selection getters and short configure declarations; getRuntimeWiring and helper methods were removed.');
+        }
+        if (kind === 'app' || kind === 'wiring') {
+            const names = ['getBindingModules', 'getRoutingModules', ...(kind === 'app' ? ['getWirings'] : [])];
+            for (const name of names) {
+                const method = this.types.method(declaration, name);
+                if (method === undefined)
+                    report(declaration, `Missing ${name} literal array getter.`);
+            }
+            if (kind === 'wiring' && this.types.method(declaration, 'getWirings') !== undefined)
+                report(declaration, 'A library Wiring must not inherit getWirings.');
+        }
+    }
+    arrayProblems(method, expected, report) {
+        const statements = method.body?.statements;
+        const returned = statements?.length === 1 && ts.isReturnStatement(statements[0]) ? statements[0].expression : undefined;
+        if (returned === undefined || !ts.isArrayLiteralExpression(returned)) {
+            report(method, 'Getter body must be exactly return [new NamedModule(preparedInputs)]; no delegation, spreads, helpers or conditions.');
+            return;
+        }
+        for (const element of returned.elements) {
+            if (!ts.isNewExpression(element) || this.types.kind(element.expression) !== expected)
+                report(element, `Select a named framework ${expected} instance; nested arrays and AppWiring children are forbidden.`);
+            else
+                for (const argument of element.arguments ?? []) {
+                    if (!this.prepared(argument))
+                        report(argument, 'Pass prepared inputs or a named WiringPolicy; no callbacks, topology wrappers or computed setup.');
+                }
+        }
+    }
+    prepared(expression) {
+        if (ts.isIdentifier(expression) || ts.isLiteralExpression(expression))
+            return true;
+        if (ts.isPropertyAccessExpression(expression))
+            return this.prepared(expression.expression);
+        if ([ts.SyntaxKind.TrueKeyword, ts.SyntaxKind.FalseKeyword, ts.SyntaxKind.ThisKeyword].includes(expression.kind))
+            return true;
+        if (!ts.isNewExpression(expression))
+            return false;
+        return this.types.isFramework(expression.expression, 'WiringPolicy');
+    }
+    configureProblems(statement, report) {
+        if (ts.isVariableStatement(statement)) {
+            const declarations = statement.declarationList.declarations;
+            const initializer = declarations.length === 1 ? declarations[0].initializer : undefined;
+            if ((statement.declarationList.flags & ts.NodeFlags.Const) !== 0 && initializer !== undefined && ts.isNewExpression(initializer) &&
+                ['RuntimeClients', 'RuntimeTaskClients'].some((name) => this.types.isFramework(initializer.expression, name)) &&
+                (initializer.arguments ?? []).every((argument) => this.prepared(argument)))
+                return;
+        }
+        if (ts.isIfStatement(statement) && ts.isPropertyAccessExpression(statement.expression) && statement.expression.name.text === 'enabled' && this.types.isPolicy(statement.expression.expression) && statement.elseStatement === undefined) {
+            const body = ts.isBlock(statement.thenStatement) ? statement.thenStatement.statements : [statement.thenStatement];
+            for (const child of body)
+                this.configureProblems(child, report);
+            return;
+        }
+        const expression = ts.isExpressionStatement(statement) || ts.isReturnStatement(statement) ? statement.expression : undefined;
+        if (expression === undefined || (!ts.isCallExpression(expression) && !ts.isNewExpression(expression))) {
+            report(statement, 'configure contains only short binding, route, external-contract or module-load declarations and named policy conditions.');
+            return;
+        }
+        const text = expression.getText();
+        if (!this.declarationCall(expression) || /(?:=>|\bfunction\b|\brpcTarget\b|\bContainerModule\b)/.test(text))
+            report(expression, 'Use recognized declarative registration calls; move custom setup and factories into imported implementations.');
+    }
+    declarationCall(expression) {
+        if (ts.isNewExpression(expression)) {
+            return this.types.isFramework(expression.expression, 'ExternalContractUse');
+        }
+        if (!ts.isPropertyAccessExpression(expression.expression))
+            return false;
+        const receiver = expression.expression.expression;
+        if (ts.isCallExpression(receiver))
+            return this.declarationCall(receiver);
+        if (!['bind', 'bindRpc', 'bindPubSub', 'add', 'addRoutes', 'addFilter', 'load'].includes(expression.expression.name.text))
+            return false;
+        const declaration = this.checker.getResolvedSignature(expression)?.declaration;
+        if (declaration === undefined)
+            return false;
+        const file = declaration.getSourceFile().fileName.replace(/\\/g, '/');
+        return /(?:\/packages\/(?:http|cloud)\/|\/node_modules\/@webpieces\/)(?:http-routing|http-client-node|http-client-browser|cloudtasks-client)\//.test(file) ||
+            /\/node_modules\/(?:@inversifyjs\/|inversify\/)/.test(file);
+    }
+}
+exports.WiringFormat = WiringFormat;
+//# sourceMappingURL=wiring-format.js.map

package/src/lib/runtime-wiring/wiring-format.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"wiring-format.js","sourceRoot":"","sources":["../../../../../../../packages/tooling/nx-webpieces-rules/src/lib/runtime-wiring/wiring-format.ts"],"names":[],"mappings":";;;;AAAA,uDAAiC;AACjC,0DAAgE;AAChE,iDAA+D;AAC/D,2DAA8D;AAE9D,kGAAkG;AAClG,MAAa,YAAY;IAGQ;IAA0C;IAFtD,KAAK,CAAoB;IAE1C,YAA6B,OAAuB,EAAmB,QAAgB;QAA1D,YAAO,GAAP,OAAO,CAAgB;QAAmB,aAAQ,GAAR,QAAQ,CAAQ;QACnF,IAAI,CAAC,KAAK,GAAG,IAAI,gCAAiB,CAAC,OAAO,CAAC,CAAC;IAChD,CAAC;IAED,QAAQ,CAAC,IAAmB;QACxB,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC;YAAE,OAAO,EAAE,CAAC;QAC1D,MAAM,QAAQ,GAAa,IAAI,2CAAuB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACpF,MAAM,MAAM,GAAG,CAAC,IAAa,EAAE,OAAe,EAAQ,EAAE;YACpD,MAAM,EAAE,GAAG,IAAI,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;YACnE,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC,SAAS,GAAG,CAAC,KAAK,OAAO,EAAE,CAAC,CAAC;QACrF,CAAC,CAAC;QACF,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC,QAAQ;YACtD,MAAM,CAAC,IAAI,EAAE,qBAAqB,IAAI,CAAC,QAAQ,yDAAyD,CAAC,CAAC;QAC9G,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACtC,IAAI,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC;gBAAE,SAAS;YACrF,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC,EAAE,CAAC;gBACpC,MAAM,CAAC,SAAS,EAAE,0EAA0E,CAAC,CAAC;gBAC9F,SAAS;YACb,CAAC;YACD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YACxC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACrB,MAAM,CAAC,SAAS,EAAE,mFAAmF,CAAC,CAAC;gBACvG,SAAS;YACb,CAAC;YACD,IAAI,CAAC,aAAa,CAAC,SAAS,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QAChD,CAAC;QACD,OAAO,QAAQ,CAAC;IACpB,CAAC;IAED,MAAM,CAAC,QAA2B;QAC9B,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO;QAClC,MAAM,IAAI,4BAAa,CAAC,eAAe,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,SAAS,EAAE;YAChF,IAAI,qBAAM,CAAC,yJAAyJ,EAAE,IAAI,CAAC;SAC9K,CAAC,CAAC;IACP,CAAC;IAEO,aAAa,CACjB,WAAgC,EAChC,IAAgB,EAChB,MAAgD;QAEhD,KAAK,MAAM,MAAM,IAAI,WAAW,CAAC,OAAO,EAAE,CAAC;YACvC,IAAI,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC,EAAE,CAAC;gBACtC,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC;oBAC9D,MAAM,CAAC,MAAM,EAAE,gFAAgF,CAAC,CAAC;gBACrG,SAAS;YACb,CAAC;YACD,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,EAAE,CAAC;gBAClC,MAAM,CAAC,MAAM,EAAE,4DAA4D,CAAC,CAAC;gBAC7E,SAAS;YACb,CAAC;YACD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YACnC,IAAI,CAAC,mBAAmB,EAAE,mBAAmB,EAAE,YAAY,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC1E,MAAM,QAAQ,GAAG,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,KAAK,mBAAmB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;gBACzG,IAAI,IAAI,KAAK,YAAY,IAAI,IAAI,KAAK,KAAK;oBACvC,MAAM,CAAC,MAAM,EAAE,4EAA4E,CAAC,CAAC;gBACjG,IAAI,CAAC,aAAa,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;YACjD,CAAC;iBAAM,IAAI,IAAI,KAAK,WAAW,IAAI,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBACvE,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,IAAI,EAAE,UAAU,IAAI,EAAE;oBACjD,IAAI,CAAC,iBAAiB,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;YAClD,CAAC;iBAAM,IAAI,IAAI,KAAK,YAAY,IAAI,IAAI,KAAK,KAAK;gBAC9C,MAAM,CAAC,MAAM,EAAE,2HAA2H,CAAC,CAAC;QACpJ,CAAC;QACD,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtC,MAAM,KAAK,GAAG,CAAC,mBAAmB,EAAE,mBAAmB,EAAE,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACpG,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACvB,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;gBACpD,IAAI,MAAM,KAAK,SAAS;oBAAE,MAAM,CAAC,WAAW,EAAE,WAAW,IAAI,wBAAwB,CAAC,CAAC;YAC3F,CAAC;YACD,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,EAAE,YAAY,CAAC,KAAK,SAAS;gBAC/E,MAAM,CAAC,WAAW,EAAE,+CAA+C,CAAC,CAAC;QAC7E,CAAC;IACL,CAAC;IAEO,aAAa,CACjB,MAA4B,EAC5B,QAAoB,EACpB,MAAgD;QAEhD,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC;QAC3C,MAAM,QAAQ,GAAG,UAAU,EAAE,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;QACxH,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,wBAAwB,CAAC,QAAQ,CAAC,EAAE,CAAC;YACnE,MAAM,CAAC,MAAM,EAAE,sHAAsH,CAAC,CAAC;YACvI,OAAO;QACX,CAAC;QACD,KAAK,MAAM,OAAO,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;YACtC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,QAAQ;gBAChF,MAAM,CAAC,OAAO,EAAE,4BAA4B,QAAQ,gEAAgE,CAAC,CAAC;;gBACrH,KAAK,MAAM,QAAQ,IAAI,OAAO,CAAC,SAAS,IAAI,EAAE,EAAE,CAAC;oBAClD,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;wBAAE,MAAM,CAAC,QAAQ,EAAE,kGAAkG,CAAC,CAAC;gBACvJ,CAAC;QACL,CAAC;IACL,CAAC;IAEO,QAAQ,CAAC,UAAyB;QACtC,IAAI,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,UAAU,CAAC;YAAE,OAAO,IAAI,CAAC;QACnF,IAAI,EAAE,CAAC,0BAA0B,CAAC,UAAU,CAAC;YAAE,OAAO,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;QAC3F,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,EAAE,CAAC,UAAU,CAAC,YAAY,EAAE,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QAC9H,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,UAAU,CAAC;YAAE,OAAO,KAAK,CAAC;QAClD,OAAO,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,UAAU,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;IACzE,CAAC;IAEO,iBAAiB,CAAC,SAAuB,EAAE,MAAgD;QAC/F,IAAI,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,EAAE,CAAC;YACpC,MAAM,YAAY,GAAG,SAAS,CAAC,eAAe,CAAC,YAAY,CAAC;YAC5D,MAAM,WAAW,GAAG,YAAY,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC;YACxF,IAAI,CAAC,SAAS,CAAC,eAAe,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,WAAW,KAAK,SAAS,IAAI,EAAE,CAAC,eAAe,CAAC,WAAW,CAAC;gBAC5H,CAAC,gBAAgB,EAAE,oBAAoB,CAAC,CAAC,IAAI,CAAC,CAAC,IAAY,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,WAAW,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;gBACrH,CAAC,WAAW,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,QAAuB,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;gBAAE,OAAO;QAC1G,CAAC;QACD,IAAI,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,0BAA0B,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,SAAS,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;YACtO,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;YAClH,KAAK,MAAM,KAAK,IAAI,IAAI;gBAAE,IAAI,CAAC,iBAAiB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YAChE,OAAO;QACX,CAAC;QACD,MAAM,UAAU,GAAG,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;QAC7H,IAAI,UAAU,KAAK,SAAS,IAAI,CAAC,CAAC,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;YACpG,MAAM,CAAC,SAAS,EAAE,0HAA0H,CAAC,CAAC;YAC9I,OAAO;QACX,CAAC;QACD,MAAM,IAAI,GAAG,UAAU,CAAC,OAAO,EAAE,CAAC;QAClC,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,IAAI,uDAAuD,CAAC,IAAI,CAAC,IAAI,CAAC;YACvG,MAAM,CAAC,UAAU,EAAE,+GAA+G,CAAC,CAAC;IAC5I,CAAC;IAEO,eAAe,CAAC,UAAgD;QACpE,IAAI,EAAE,CAAC,eAAe,CAAC,UAAU,CAAC,EAAE,CAAC;YACjC,OAAO,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,UAAU,CAAC,UAAU,EAAE,qBAAqB,CAAC,CAAC;QAChF,CAAC;QACD,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,UAAU,CAAC,UAAU,CAAC;YAAE,OAAO,KAAK,CAAC;QACxE,MAAM,QAAQ,GAAG,UAAU,CAAC,UAAU,CAAC,UAAU,CAAC;QAClD,IAAI,EAAE,CAAC,gBAAgB,CAAC,QAAQ,CAAC;YAAE,OAAO,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC;QACzE,IAAI,CAAC,CAAC,MAAM,EAAE,SAAS,EAAE,YAAY,EAAE,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QACxI,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC,UAAU,CAAC,EAAE,WAAW,CAAC;QAC/E,IAAI,WAAW,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QAC5C,MAAM,IAAI,GAAG,WAAW,CAAC,aAAa,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACtE,OAAO,wIAAwI,CAAC,IAAI,CAAC,IAAI,CAAC;YACtJ,gDAAgD,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpE,CAAC;CACJ;AA9ID,oCA8IC","sourcesContent":["import * as ts from 'typescript';\nimport { Option, RuleFailError } from '@webpieces/rules-config';\nimport { WiringSourceTypes, WiringKind } from './source-types';\nimport { CanonicalClientBindings } from './canonical-clients';\n\n/** One canonical-file grammar. Symbol resolution may read imports; format checking never does. */\nexport class WiringFormat {\n    private readonly types: WiringSourceTypes;\n\n    constructor(private readonly checker: ts.TypeChecker, private readonly maxLines: number) {\n        this.types = new WiringSourceTypes(checker);\n    }\n\n    problems(file: ts.SourceFile): string[] {\n        if (!/(?:^|\\/)wiring\\.ts$/.test(file.fileName)) return [];\n        const problems: string[] = new CanonicalClientBindings(this.checker).problems(file);\n        const report = (node: ts.Node, message: string): void => {\n            const at = file.getLineAndCharacterOfPosition(node.getStart(file));\n            problems.push(`${file.fileName}:${at.line + 1}:${at.character + 1}: ${message}`);\n        };\n        if (file.text.trimEnd().split('\\n').length > this.maxLines)\n            report(file, `wiring.ts exceeds ${this.maxLines} lines; move implementations to imported named modules.`);\n        for (const statement of file.statements) {\n            if (ts.isImportDeclaration(statement) || ts.isExportDeclaration(statement)) continue;\n            if (!ts.isClassDeclaration(statement)) {\n                report(statement, 'Only imports, exports and named declarative classes belong in wiring.ts.');\n                continue;\n            }\n            const kind = this.types.kind(statement);\n            if (kind === undefined) {\n                report(statement, 'Implement the framework Wiring, AppWiring, BindingModule or RouteModule contract.');\n                continue;\n            }\n            this.classProblems(statement, kind, report);\n        }\n        return problems;\n    }\n\n    assert(problems: readonly string[]): void {\n        if (problems.length === 0) return;\n        throw new RuleFailError('wiring-format', problems.join('\\n'), undefined, undefined, [\n            new Option('Use Wiring/AppWiring with literal named module selections. Move setup and business logic out of wiring.ts; keep named WiringPolicy conditions explicit.', true),\n        ]);\n    }\n\n    private classProblems(\n        declaration: ts.ClassDeclaration,\n        kind: WiringKind,\n        report: (node: ts.Node, message: string) => void,\n    ): void {\n        for (const member of declaration.members) {\n            if (ts.isConstructorDeclaration(member)) {\n                if (member.body !== undefined && member.body.statements.length > 0)\n                    report(member, 'Use constructor parameter properties to store prepared inputs; no setup logic.');\n                continue;\n            }\n            if (!ts.isMethodDeclaration(member)) {\n                report(member, 'Store prepared inputs in constructor parameter properties.');\n                continue;\n            }\n            const name = member.name.getText();\n            if (['getBindingModules', 'getRoutingModules', 'getWirings'].includes(name)) {\n                const expected = name === 'getWirings' ? 'wiring' : name === 'getBindingModules' ? 'binding' : 'routing';\n                if (name === 'getWirings' && kind !== 'app')\n                    report(member, 'Only AppWiring can declare getWirings; libraries cannot compose libraries.');\n                this.arrayProblems(member, expected, report);\n            } else if (name === 'configure' && ['binding', 'routing'].includes(kind)) {\n                for (const statement of member.body?.statements ?? [])\n                    this.configureProblems(statement, report);\n            } else if (name !== 'getHeaders' || kind !== 'app')\n                report(member, 'Keep only canonical selection getters and short configure declarations; getRuntimeWiring and helper methods were removed.');\n        }\n        if (kind === 'app' || kind === 'wiring') {\n            const names = ['getBindingModules', 'getRoutingModules', ...(kind === 'app' ? ['getWirings'] : [])];\n            for (const name of names) {\n                const method = this.types.method(declaration, name);\n                if (method === undefined) report(declaration, `Missing ${name} literal array getter.`);\n            }\n            if (kind === 'wiring' && this.types.method(declaration, 'getWirings') !== undefined)\n                report(declaration, 'A library Wiring must not inherit getWirings.');\n        }\n    }\n\n    private arrayProblems(\n        method: ts.MethodDeclaration,\n        expected: WiringKind,\n        report: (node: ts.Node, message: string) => void,\n    ): void {\n        const statements = method.body?.statements;\n        const returned = statements?.length === 1 && ts.isReturnStatement(statements[0]) ? statements[0].expression : undefined;\n        if (returned === undefined || !ts.isArrayLiteralExpression(returned)) {\n            report(method, 'Getter body must be exactly return [new NamedModule(preparedInputs)]; no delegation, spreads, helpers or conditions.');\n            return;\n        }\n        for (const element of returned.elements) {\n            if (!ts.isNewExpression(element) || this.types.kind(element.expression) !== expected)\n                report(element, `Select a named framework ${expected} instance; nested arrays and AppWiring children are forbidden.`);\n            else for (const argument of element.arguments ?? []) {\n                if (!this.prepared(argument)) report(argument, 'Pass prepared inputs or a named WiringPolicy; no callbacks, topology wrappers or computed setup.');\n            }\n        }\n    }\n\n    private prepared(expression: ts.Expression): boolean {\n        if (ts.isIdentifier(expression) || ts.isLiteralExpression(expression)) return true;\n        if (ts.isPropertyAccessExpression(expression)) return this.prepared(expression.expression);\n        if ([ts.SyntaxKind.TrueKeyword, ts.SyntaxKind.FalseKeyword, ts.SyntaxKind.ThisKeyword].includes(expression.kind)) return true;\n        if (!ts.isNewExpression(expression)) return false;\n        return this.types.isFramework(expression.expression, 'WiringPolicy');\n    }\n\n    private configureProblems(statement: ts.Statement, report: (node: ts.Node, message: string) => void): void {\n        if (ts.isVariableStatement(statement)) {\n            const declarations = statement.declarationList.declarations;\n            const initializer = declarations.length === 1 ? declarations[0].initializer : undefined;\n            if ((statement.declarationList.flags & ts.NodeFlags.Const) !== 0 && initializer !== undefined && ts.isNewExpression(initializer) &&\n                ['RuntimeClients', 'RuntimeTaskClients'].some((name: string) => this.types.isFramework(initializer.expression, name)) &&\n                (initializer.arguments ?? []).every((argument: ts.Expression) => this.prepared(argument))) return;\n        }\n        if (ts.isIfStatement(statement) && ts.isPropertyAccessExpression(statement.expression) && statement.expression.name.text === 'enabled' && this.types.isPolicy(statement.expression.expression) && statement.elseStatement === undefined) {\n            const body = ts.isBlock(statement.thenStatement) ? statement.thenStatement.statements : [statement.thenStatement];\n            for (const child of body) this.configureProblems(child, report);\n            return;\n        }\n        const expression = ts.isExpressionStatement(statement) || ts.isReturnStatement(statement) ? statement.expression : undefined;\n        if (expression === undefined || (!ts.isCallExpression(expression) && !ts.isNewExpression(expression))) {\n            report(statement, 'configure contains only short binding, route, external-contract or module-load declarations and named policy conditions.');\n            return;\n        }\n        const text = expression.getText();\n        if (!this.declarationCall(expression) || /(?:=>|\\bfunction\\b|\\brpcTarget\\b|\\bContainerModule\\b)/.test(text))\n            report(expression, 'Use recognized declarative registration calls; move custom setup and factories into imported implementations.');\n    }\n\n    private declarationCall(expression: ts.CallExpression | ts.NewExpression): boolean {\n        if (ts.isNewExpression(expression)) {\n            return this.types.isFramework(expression.expression, 'ExternalContractUse');\n        }\n        if (!ts.isPropertyAccessExpression(expression.expression)) return false;\n        const receiver = expression.expression.expression;\n        if (ts.isCallExpression(receiver)) return this.declarationCall(receiver);\n        if (!['bind', 'bindRpc', 'bindPubSub', 'add', 'addRoutes', 'addFilter', 'load'].includes(expression.expression.name.text)) return false;\n        const declaration = this.checker.getResolvedSignature(expression)?.declaration;\n        if (declaration === undefined) return false;\n        const file = declaration.getSourceFile().fileName.replace(/\\\\/g, '/');\n        return /(?:\\/packages\\/(?:http|cloud)\\/|\\/node_modules\\/@webpieces\\/)(?:http-routing|http-client-node|http-client-browser|cloudtasks-client)\\//.test(file) ||\n            /\\/node_modules\\/(?:@inversifyjs\\/|inversify\\/)/.test(file);\n    }\n}\n"]}

package/src/lib/runtime-wiring/workspace-format.d.ts

@@ -0,0 +1,6 @@
+import type { ProjectInfo } from '../project-info';
+/** Every participating canonical file is checked, irrespective of the current diff. */
+export declare class WorkspaceWiringFormat {
+    assert(root: string, infos: ReadonlyMap<string, ProjectInfo>, maxLines: number): void;
+    run(root: string, infos: ReadonlyMap<string, ProjectInfo>): void;
+}

package/src/lib/runtime-wiring/workspace-format.js

@@ -0,0 +1,39 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.WorkspaceWiringFormat = void 0;
+const tslib_1 = require("tslib");
+const path = tslib_1.__importStar(require("path"));
+const ts = tslib_1.__importStar(require("typescript"));
+const rules_config_1 = require("@webpieces/rules-config");
+const rule_gate_1 = require("../rule-gate");
+const source_extractor_1 = require("./source-extractor");
+const wiring_format_1 = require("./wiring-format");
+/** Every participating canonical file is checked, irrespective of the current diff. */
+class WorkspaceWiringFormat {
+    assert(root, infos, maxLines) {
+        const problems = [];
+        for (const info of infos.values()) {
+            if (!info.tags.some((tag) => ['webpieces', 'webpieces-lib'].includes(tag)))
+                continue;
+            const program = new source_extractor_1.WiringProjectProgram().create(root, info);
+            const file = program.getSourceFile(path.resolve(root, info.root, 'src/wiring.ts'));
+            if (file === undefined)
+                problems.push(`${info.root}/src/wiring.ts: missing canonical Wiring/AppWiring declaration.`);
+            else
+                problems.push(...new wiring_format_1.WiringFormat(program.getTypeChecker(), maxLines).problems(file));
+        }
+        // Rendering the aggregate needs no source compiler.
+        new wiring_format_1.WiringFormat(ts.createProgram([], {}).getTypeChecker(), maxLines).assert(problems);
+    }
+    run(root, infos) {
+        if (new rule_gate_1.RuleGate().skipReason(root, 'wiring-format', true) !== null)
+            return;
+        const rule = (0, rules_config_1.loadAndValidate)(root).resolved.rules.get('wiring-format');
+        const maxLines = rule?.options['maxLines'];
+        if (typeof maxLines !== 'number' || !Number.isInteger(maxLines) || maxLines < 1)
+            throw new rules_config_1.RuleFailError('wiring-format', 'Declare wiring-format.maxLines as a positive integer (agreed limit: 200).');
+        this.assert(root, infos, maxLines);
+    }
+}
+exports.WorkspaceWiringFormat = WorkspaceWiringFormat;
+//# sourceMappingURL=workspace-format.js.map

package/src/lib/runtime-wiring/workspace-format.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"workspace-format.js","sourceRoot":"","sources":["../../../../../../../packages/tooling/nx-webpieces-rules/src/lib/runtime-wiring/workspace-format.ts"],"names":[],"mappings":";;;;AAAA,mDAA6B;AAC7B,uDAAiC;AACjC,0DAAyE;AAEzE,4CAAwC;AACxC,yDAA0D;AAC1D,mDAA+C;AAE/C,uFAAuF;AACvF,MAAa,qBAAqB;IAC9B,MAAM,CAAC,IAAY,EAAE,KAAuC,EAAE,QAAgB;QAC1E,MAAM,QAAQ,GAAa,EAAE,CAAC;QAC9B,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;YAChC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAW,EAAE,EAAE,CAAC,CAAC,WAAW,EAAE,eAAe,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;gBAAE,SAAS;YAC7F,MAAM,OAAO,GAAG,IAAI,uCAAoB,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAC9D,MAAM,IAAI,GAAG,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC,CAAC;YACnF,IAAI,IAAI,KAAK,SAAS;gBAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,iEAAiE,CAAC,CAAC;;gBAChH,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,4BAAY,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;QAC/F,CAAC;QACD,oDAAoD;QACpD,IAAI,4BAAY,CAAC,EAAE,CAAC,aAAa,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,cAAc,EAAE,EAAE,QAAQ,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC3F,CAAC;IAED,GAAG,CAAC,IAAY,EAAE,KAAuC;QACrD,IAAI,IAAI,oBAAQ,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,eAAe,EAAE,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO;QAC5E,MAAM,IAAI,GAAG,IAAA,8BAAe,EAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;QACvE,MAAM,QAAQ,GAAG,IAAI,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;QAC3C,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,QAAQ,GAAG,CAAC;YAC3E,MAAM,IAAI,4BAAa,CAAC,eAAe,EAAE,2EAA2E,CAAC,CAAC;QAC1H,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;IACvC,CAAC;CACJ;AAtBD,sDAsBC","sourcesContent":["import * as path from 'path';\nimport * as ts from 'typescript';\nimport { loadAndValidate, RuleFailError } from '@webpieces/rules-config';\nimport type { ProjectInfo } from '../project-info';\nimport { RuleGate } from '../rule-gate';\nimport { WiringProjectProgram } from './source-extractor';\nimport { WiringFormat } from './wiring-format';\n\n/** Every participating canonical file is checked, irrespective of the current diff. */\nexport class WorkspaceWiringFormat {\n    assert(root: string, infos: ReadonlyMap<string, ProjectInfo>, maxLines: number): void {\n        const problems: string[] = [];\n        for (const info of infos.values()) {\n            if (!info.tags.some((tag: string) => ['webpieces', 'webpieces-lib'].includes(tag))) continue;\n            const program = new WiringProjectProgram().create(root, info);\n            const file = program.getSourceFile(path.resolve(root, info.root, 'src/wiring.ts'));\n            if (file === undefined) problems.push(`${info.root}/src/wiring.ts: missing canonical Wiring/AppWiring declaration.`);\n            else problems.push(...new WiringFormat(program.getTypeChecker(), maxLines).problems(file));\n        }\n        // Rendering the aggregate needs no source compiler.\n        new WiringFormat(ts.createProgram([], {}).getTypeChecker(), maxLines).assert(problems);\n    }\n\n    run(root: string, infos: ReadonlyMap<string, ProjectInfo>): void {\n        if (new RuleGate().skipReason(root, 'wiring-format', true) !== null) return;\n        const rule = loadAndValidate(root).resolved.rules.get('wiring-format');\n        const maxLines = rule?.options['maxLines'];\n        if (typeof maxLines !== 'number' || !Number.isInteger(maxLines) || maxLines < 1)\n            throw new RuleFailError('wiring-format', 'Declare wiring-format.maxLines as a positive integer (agreed limit: 200).');\n        this.assert(root, infos, maxLines);\n    }\n}\n"]}

package/src/native-actions.d.ts

@@ -9,6 +9,7 @@ export declare class NativeAction {
 }
 /** Metadata holds lazy imports only; importing the pack never imports an executor or the Nx runtime. */
 export declare class NativeActions {
+    readonly wiringFormat: NativeAction;
     readonly fileCycles: NativeAction;
     readonly runtime: NativeAction;
     readonly wiring: NativeAction;

package/src/native-actions.js

@@ -49,6 +49,12 @@ class NativeAction {
 exports.NativeAction = NativeAction;
 /** Metadata holds lazy imports only; importing the pack never imports an executor or the Nx runtime. */
 class NativeActions {
+    wiringFormat = new NativeAction('wiring-format', 'workspace', async (context) => {
+        const format = await Promise.resolve().then(() => __importStar(require('./lib/runtime-wiring/workspace-format')));
+        const metadata = await Promise.resolve().then(() => __importStar(require('./lib/graph-metadata')));
+        new format.WorkspaceWiringFormat().run(context.root, await metadata.collectProjectInfo());
+        return new rules_sdk_1.BuildPolicyResult(true);
+    });
     fileCycles = new NativeAction('file-cycles', 'projects', async (context) => (await Promise.resolve().then(() => __importStar(require('./executors/validate-no-file-import-cycles/executor')))).default({}, context));
     runtime = new NativeAction('runtime', 'workspace', async (context) => (await Promise.resolve().then(() => __importStar(require('./executors/validate-runtime-architecture/executor')))).default({}, context));
     wiring = new NativeAction('wiring', 'workspace', async (context) => (await Promise.resolve().then(() => __importStar(require('./executors/validate-nx-wiring/executor')))).default({}, context));