@webpieces/nx-webpieces-rules 0.4.831 → 0.4.833

package/src/lib/api-usage/api-lib-tag-validator.js

@@ -2,36 +2,192 @@
 /**
  * API-lib tag validator (two-way)
  *
- * Keeps the `role:api-lib` tag and the CODE in sync, both directions:
- *   - a project tagged `role:api-lib` MUST export ≥1 API contract (an `abstract class` carrying
- *     `@ApiPath`/`@Rpc`/`@PubSub`) — else the tag is a lie;
- *   - a project that DOES export such a contract MUST be tagged `role:api-lib` — else the arch
- *     graph, the edge line-styles, and validate-api-relations can't treat it as an api-lib.
+ * Keeps the two api roles and the CODE in sync, both directions (#1064, D1 + D3):
+ *   - a project that exports an `@ApiPath`/`@Rpc`/`@PubSub` contract (or a vendor contract under
+ *     `externalApiPaths`) MUST be tagged `role:api-lib` or `role:api-client` — else the arch graph, the
+ *     edge line-styles, and validate-api-relations can't treat it as one;
+ *   - a project tagged `role:api-lib` MUST export a contract or ONLY wire types — else the tag is a lie.
+ *     A contract is any of: an `@ApiPath`/`@Rpc`/`@PubSub` class (from the scan), an IPC contract
+ *     (`@WpInternal` / `@WpIpcEndpoint`), or an in-process abstract `…Api` behind a DI token. A DTO-only
+ *     library exports interfaces, type aliases, enums and data classes (no methods) and nothing else;
+ *   - a project tagged `role:api-client` MUST export a contract (its abstract `XxxApi`) — the bundled
+ *     `XxxClient` beside it is the point of the role, so it is not judged as a wire type.
  *
- * "Exports an API contract" is answered by the same source scan that owns apiRelations
- * (scan.apiLibProjects), so the tag can never drift from the code.
+ * "Exports an @ApiPath contract" is answered by the same source scan that owns apiRelations
+ * (scan.apiLibProjects), so the tag can never drift from the code. The IPC / in-process / DTO-only
+ * reading is a parser-only pass over the project's own non-test `src/**` — {@link ApiLibExportShape}.
  */
 Object.defineProperty(exports, "__esModule", { value: true });
+exports.ApiLibExportShape = exports.ApiLibTagViolation = void 0;
 exports.findApiLibTagViolations = findApiLibTagViolations;
 exports.describeApiLibTagViolation = describeApiLibTagViolation;
+const tslib_1 = require("tslib");
+const fs = tslib_1.__importStar(require("fs"));
+const path = tslib_1.__importStar(require("path"));
+const ts = tslib_1.__importStar(require("typescript"));
 const role_resolver_1 = require("../role-resolver");
+const api_ast_1 = require("./api-ast");
 const API_LIB_ROLE = 'api-lib';
-/** Both-directions tag ⇔ code check. Uses the scan's detected api-lib set as ground truth. */
+const API_CLIENT_ROLE = 'api-client';
+/** The decorators that make an abstract class an IPC contract. */
+const IPC_DECORATORS = ['WpInternal', 'WpIpcEndpoint'];
+/**
+ * A tag/code mismatch:
+ *  - 'missing-tag'     — exports an API contract but is tagged neither role:api-lib nor role:api-client.
+ *  - 'unnecessary-tag' — tagged role:api-lib / role:api-client but exports no contract, and (for
+ *                        api-lib) is not a DTO-only library either; `offenders` names what it exports.
+ */
+class ApiLibTagViolation {
+    project;
+    kind;
+    role;
+    offenders;
+    constructor(project, kind, 
+    /** The role it carries (for 'unnecessary-tag'), else the role it should carry. */
+    role, 
+    /** Exports that are neither a contract nor a wire type — empty for 'missing-tag'. */
+    offenders = []) {
+        this.project = project;
+        this.kind = kind;
+        this.role = role;
+        this.offenders = offenders;
+    }
+}
+exports.ApiLibTagViolation = ApiLibTagViolation;
+/** What a library's own source exports, sorted into contracts, wire types and everything else. */
+class ApiLibExportShape {
+    exportsContract;
+    exportsWireType;
+    offenders;
+    constructor(
+    /** True when it exports an IPC contract or an in-process abstract `…Api`. */
+    exportsContract, 
+    /** True when it exports at least one wire type (interface, alias, enum, data class). */
+    exportsWireType, 
+    /** `kind Name (file)` of every export that is neither — the implementation an api-lib must not hold. */
+    offenders) {
+        this.exportsContract = exportsContract;
+        this.exportsWireType = exportsWireType;
+        this.offenders = offenders;
+    }
+    /** A role:api-lib passes when it holds a contract or wire types, and nothing else. */
+    isApiLib() {
+        return (this.exportsContract || this.exportsWireType) && this.offenders.length === 0;
+    }
+    /** Parser-only: every top-level EXPORTED declaration in the project's non-test `src/**`. */
+    // webpieces-disable no-function-outside-class -- static factory of this class
+    static read(projectDir) {
+        const srcDir = path.join(projectDir, 'src');
+        const acc = new ExportShapeAccumulator(projectDir);
+        if (fs.existsSync(srcDir)) {
+            for (const file of (0, api_ast_1.collectTsFiles)(srcDir)) {
+                if ((0, api_ast_1.isTestFile)(file))
+                    continue;
+                const source = ts.createSourceFile(file, fs.readFileSync(file, 'utf8'), ts.ScriptTarget.Latest, true);
+                for (const statement of source.statements)
+                    acc.add(statement, file);
+            }
+        }
+        return acc.shape();
+    }
+}
+exports.ApiLibExportShape = ApiLibExportShape;
+/** Sorts each exported statement of one library into contract / wire type / offender. */
+class ExportShapeAccumulator {
+    projectDir;
+    contract = false;
+    wire = false;
+    offenders = [];
+    constructor(projectDir) {
+        this.projectDir = projectDir;
+    }
+    add(statement, file) {
+        if (!this.isExported(statement))
+            return;
+        const where = path.relative(this.projectDir, file);
+        if (ts.isInterfaceDeclaration(statement) || ts.isTypeAliasDeclaration(statement) || ts.isEnumDeclaration(statement)) {
+            this.wire = true;
+        }
+        else if (ts.isClassDeclaration(statement)) {
+            this.addClass(statement, where);
+        }
+        else if (ts.isVariableStatement(statement)) {
+            for (const decl of statement.declarationList.declarations) {
+                if (this.isDiToken(decl.initializer))
+                    continue;
+                this.offenders.push(`const ${decl.name.getText()} (${where})`);
+            }
+        }
+        else if (ts.isFunctionDeclaration(statement)) {
+            this.offenders.push(`function ${statement.name?.text ?? '<default>'} (${where})`);
+        }
+    }
+    shape() {
+        return new ApiLibExportShape(this.contract, this.wire, [...this.offenders].sort());
+    }
+    addClass(cls, where) {
+        const name = cls.name?.text ?? '<default>';
+        const isAbstract = (ts.getModifiers(cls) ?? []).some((m) => m.kind === ts.SyntaxKind.AbstractKeyword);
+        if (isAbstract && (name.endsWith('Api') || this.carriesIpc(cls))) {
+            this.contract = true;
+            return;
+        }
+        const hasMethod = cls.members.some((member) => ts.isMethodDeclaration(member) &&
+            !(ts.getModifiers(member) ?? []).some((m) => m.kind === ts.SyntaxKind.StaticKeyword));
+        if (hasMethod)
+            this.offenders.push(`class ${name} (${where}) — it has methods, so it is an implementation`);
+        else
+            this.wire = true;
+    }
+    /** `@WpInternal(...)` on the class or `@WpIpcEndpoint(...)` on any member. */
+    carriesIpc(cls) {
+        const named = (node) => (ts.canHaveDecorators(node) ? (ts.getDecorators(node) ?? []) : []).some((d) => {
+            const expr = ts.isCallExpression(d.expression) ? d.expression.expression : d.expression;
+            const text = ts.isPropertyAccessExpression(expr) ? expr.name.text : expr.getText();
+            return IPC_DECORATORS.includes(text);
+        });
+        return named(cls) || cls.members.some((member) => named(member));
+    }
+    /** `Symbol('x')`, `Symbol.for('x')`, or an object literal of them — the token an abstract `…Api` binds behind. */
+    isDiToken(init) {
+        if (init === undefined)
+            return false;
+        const expr = ts.isAsExpression(init) || ts.isSatisfiesExpression(init) ? init.expression : init;
+        if (ts.isCallExpression(expr)) {
+            const callee = expr.expression.getText();
+            return callee === 'Symbol' || callee === 'Symbol.for';
+        }
+        if (ts.isObjectLiteralExpression(expr)) {
+            return expr.properties.length > 0 && expr.properties.every((prop) => ts.isPropertyAssignment(prop) && this.isDiToken(prop.initializer));
+        }
+        return false;
+    }
+    isExported(statement) {
+        if (!ts.canHaveModifiers(statement))
+            return false;
+        return (ts.getModifiers(statement) ?? []).some((m) => m.kind === ts.SyntaxKind.ExportKeyword);
+    }
+}
+/** Both-directions tag ⇔ code check. Uses the scan's detected api-lib set as ground truth for @ApiPath. */
 // webpieces-disable no-function-outside-class -- validator-lib entry point, matches api-relations-validator.ts
-function findApiLibTagViolations(projectInfos, scan) {
+function findApiLibTagViolations(projectInfos, scan, workspaceRoot) {
     const violations = [];
     for (const projectName of projectInfos.keys()) {
         const info = projectInfos.get(projectName);
-        const isTagged = (0, role_resolver_1.resolveRole)(info).role === API_LIB_ROLE;
+        const role = (0, role_resolver_1.resolveRole)(info).role;
+        const isApiRole = role === API_LIB_ROLE || role === API_CLIENT_ROLE;
         const exportsApi = scan.apiLibProjects.has(projectName);
-        if (exportsApi && !isTagged) {
-            violations.push({ project: projectName, kind: 'missing-tag' });
-        }
-        // Only flag an unnecessary tag when we actually SCANNED the project's source — otherwise we
-        // can't prove it exports no contract (an unscannable project would falsely look empty).
-        if (isTagged && !exportsApi && scan.scannedProjects.has(projectName)) {
-            violations.push({ project: projectName, kind: 'unnecessary-tag' });
+        if (exportsApi && !isApiRole) {
+            violations.push(new ApiLibTagViolation(projectName, 'missing-tag', API_LIB_ROLE));
         }
+        // Only judge a tag when we actually SCANNED the project's source — otherwise we can't prove it
+        // exports no contract (an unscannable project would falsely look empty).
+        if (!isApiRole || exportsApi || !scan.scannedProjects.has(projectName))
+            continue;
+        const shape = ApiLibExportShape.read(path.resolve(workspaceRoot, info.root));
+        const ok = role === API_CLIENT_ROLE ? shape.exportsContract : shape.isApiLib();
+        if (!ok)
+            violations.push(new ApiLibTagViolation(projectName, 'unnecessary-tag', role, shape.offenders));
     }
     return violations.sort((a, b) => a.project.localeCompare(b.project));
 }
@@ -40,11 +196,22 @@ function findApiLibTagViolations(projectInfos, scan) {
 function describeApiLibTagViolation(violation) {
     if (violation.kind === 'missing-tag') {
         return (`  ❌ '${violation.project}' exports an API contract (an abstract @ApiPath/@Rpc/@PubSub class) ` +
-            `but is not tagged 'role:api-lib'.\n` +
-            `     Add "role:api-lib" to its project.json "tags" (replacing any "role:lib").`);
+            `but is tagged neither 'role:api-lib' nor 'role:api-client'.\n` +
+            `     Add "role:api-lib" to its project.json "tags" (replacing any "role:lib"), or "role:api-client" ` +
+            `when it also bundles the default implementation that talks to an outside system.`);
+    }
+    if (violation.role === API_CLIENT_ROLE) {
+        return (`  ❌ '${violation.project}' is tagged 'role:api-client' but exports NO contract (no abstract ` +
+            `…Api class, no @WpInternal/@WpIpcEndpoint contract).\n` +
+            `     An api-client is a contract PLUS its default implementation: export the abstract XxxApi it ` +
+            `implements, or retag it (e.g. "role:lib").`);
     }
-    return (`  ❌ '${violation.project}' is tagged 'role:api-lib' but exports NO API contract ` +
-        `(no abstract @ApiPath/@Rpc/@PubSub class).\n` +
-        `     Either add the API contract it should own, or retag it (e.g. "role:lib").`);
+    const offenders = violation.offenders.length === 0
+        ? ''
+        : `\n     It exports, besides contracts and wire types: ${violation.offenders.join('; ')}.`;
+    return (`  ❌ '${violation.project}' is tagged 'role:api-lib' but is neither a contract library (@ApiPath/@Rpc/` +
+        `@PubSub, @WpInternal/@WpIpcEndpoint, or an abstract …Api behind a DI token) nor a DTO-only library ` +
+        `(interfaces, type aliases, enums and data classes only).${offenders}\n` +
+        `     Move the implementation out to a role:lib / role:designed-lib project, or retag it.`);
 }
 //# sourceMappingURL=api-lib-tag-validator.js.map

package/src/lib/api-usage/api-lib-tag-validator.js.map

@@ -1 +1 @@
-{"version":3,"file":"api-lib-tag-validator.js","sourceRoot":"","sources":["../../../../../../../packages/tooling/nx-webpieces-rules/src/lib/api-usage/api-lib-tag-validator.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;GAWG;;AAoBH,0DAoBC;AAID,gEAaC;AAtDD,oDAA+C;AAG/C,MAAM,YAAY,GAAG,SAAS,CAAC;AAY/B,8FAA8F;AAC9F,+GAA+G;AAC/G,SAAgB,uBAAuB,CACnC,YAAsC,EACtC,IAAmB;IAEnB,MAAM,UAAU,GAAyB,EAAE,CAAC;IAC5C,KAAK,MAAM,WAAW,IAAI,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC;QAC5C,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,CAAC,WAAW,CAAE,CAAC;QAC5C,MAAM,QAAQ,GAAG,IAAA,2BAAW,EAAC,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC;QACzD,MAAM,UAAU,GAAG,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QAExD,IAAI,UAAU,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC1B,UAAU,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,CAAC;QACnE,CAAC;QACD,4FAA4F;QAC5F,wFAAwF;QACxF,IAAI,QAAQ,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;YACnE,UAAU,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,iBAAiB,EAAE,CAAC,CAAC;QACvE,CAAC;IACL,CAAC;IACD,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,CAAqB,EAAE,CAAqB,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;AACjH,CAAC;AAED,qEAAqE;AACrE,oGAAoG;AACpG,SAAgB,0BAA0B,CAAC,SAA6B;IACpE,IAAI,SAAS,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACnC,OAAO,CACH,QAAQ,SAAS,CAAC,OAAO,sEAAsE;YAC/F,qCAAqC;YACrC,gFAAgF,CACnF,CAAC;IACN,CAAC;IACD,OAAO,CACH,QAAQ,SAAS,CAAC,OAAO,yDAAyD;QAClF,8CAA8C;QAC9C,gFAAgF,CACnF,CAAC;AACN,CAAC","sourcesContent":["/**\n * API-lib tag validator (two-way)\n *\n * Keeps the `role:api-lib` tag and the CODE in sync, both directions:\n *   - a project tagged `role:api-lib` MUST export ≥1 API contract (an `abstract class` carrying\n *     `@ApiPath`/`@Rpc`/`@PubSub`) — else the tag is a lie;\n *   - a project that DOES export such a contract MUST be tagged `role:api-lib` — else the arch\n *     graph, the edge line-styles, and validate-api-relations can't treat it as an api-lib.\n *\n * \"Exports an API contract\" is answered by the same source scan that owns apiRelations\n * (scan.apiLibProjects), so the tag can never drift from the code.\n */\n\nimport { ProjectInfo } from '../project-info';\nimport { resolveRole } from '../role-resolver';\nimport { ApiScanResult } from './api-scanner';\n\nconst API_LIB_ROLE = 'api-lib';\n\n/**\n * A tag/code mismatch:\n *  - 'missing-tag'     — exports an API contract but is not tagged role:api-lib.\n *  - 'unnecessary-tag' — tagged role:api-lib but exports no API contract.\n */\nexport interface ApiLibTagViolation {\n    project: string;\n    kind: 'missing-tag' | 'unnecessary-tag';\n}\n\n/** Both-directions tag ⇔ code check. Uses the scan's detected api-lib set as ground truth. */\n// webpieces-disable no-function-outside-class -- validator-lib entry point, matches api-relations-validator.ts\nexport function findApiLibTagViolations(\n    projectInfos: Map<string, ProjectInfo>,\n    scan: ApiScanResult,\n): ApiLibTagViolation[] {\n    const violations: ApiLibTagViolation[] = [];\n    for (const projectName of projectInfos.keys()) {\n        const info = projectInfos.get(projectName)!;\n        const isTagged = resolveRole(info).role === API_LIB_ROLE;\n        const exportsApi = scan.apiLibProjects.has(projectName);\n\n        if (exportsApi && !isTagged) {\n            violations.push({ project: projectName, kind: 'missing-tag' });\n        }\n        // Only flag an unnecessary tag when we actually SCANNED the project's source — otherwise we\n        // can't prove it exports no contract (an unscannable project would falsely look empty).\n        if (isTagged && !exportsApi && scan.scannedProjects.has(projectName)) {\n            violations.push({ project: projectName, kind: 'unnecessary-tag' });\n        }\n    }\n    return violations.sort((a: ApiLibTagViolation, b: ApiLibTagViolation) => a.project.localeCompare(b.project));\n}\n\n/** Human-readable, fix-oriented report for one tag/code mismatch. */\n// webpieces-disable no-function-outside-class -- pure formatter, matches api-relations-validator.ts\nexport function describeApiLibTagViolation(violation: ApiLibTagViolation): string {\n    if (violation.kind === 'missing-tag') {\n        return (\n            `  ❌ '${violation.project}' exports an API contract (an abstract @ApiPath/@Rpc/@PubSub class) ` +\n            `but is not tagged 'role:api-lib'.\\n` +\n            `     Add \"role:api-lib\" to its project.json \"tags\" (replacing any \"role:lib\").`\n        );\n    }\n    return (\n        `  ❌ '${violation.project}' is tagged 'role:api-lib' but exports NO API contract ` +\n        `(no abstract @ApiPath/@Rpc/@PubSub class).\\n` +\n        `     Either add the API contract it should own, or retag it (e.g. \"role:lib\").`\n    );\n}\n"]}
+{"version":3,"file":"api-lib-tag-validator.js","sourceRoot":"","sources":["../../../../../../../packages/tooling/nx-webpieces-rules/src/lib/api-usage/api-lib-tag-validator.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;GAiBG;;;AAkJH,0DAuBC;AAID,gEA2BC;;AAtMD,+CAAyB;AACzB,mDAA6B;AAC7B,uDAAiC;AAEjC,oDAA+C;AAE/C,uCAAuD;AAEvD,MAAM,YAAY,GAAG,SAAS,CAAC;AAC/B,MAAM,eAAe,GAAG,YAAY,CAAC;AAErC,kEAAkE;AAClE,MAAM,cAAc,GAAsB,CAAC,YAAY,EAAE,eAAe,CAAC,CAAC;AAE1E;;;;;GAKG;AACH,MAAa,kBAAkB;IAEP;IACA;IAEA;IAEA;IANpB,YACoB,OAAe,EACf,IAAuC;IACvD,kFAAkF;IAClE,IAAY;IAC5B,qFAAqF;IACrE,YAA+B,EAAE;QALjC,YAAO,GAAP,OAAO,CAAQ;QACf,SAAI,GAAJ,IAAI,CAAmC;QAEvC,SAAI,GAAJ,IAAI,CAAQ;QAEZ,cAAS,GAAT,SAAS,CAAwB;IAClD,CAAC;CACP;AATD,gDASC;AAED,kGAAkG;AAClG,MAAa,iBAAiB;IAGN;IAEA;IAEA;IANpB;IACI,6EAA6E;IAC7D,eAAwB;IACxC,wFAAwF;IACxE,eAAwB;IACxC,wGAAwG;IACxF,SAA4B;QAJ5B,oBAAe,GAAf,eAAe,CAAS;QAExB,oBAAe,GAAf,eAAe,CAAS;QAExB,cAAS,GAAT,SAAS,CAAmB;IAC7C,CAAC;IAEJ,sFAAsF;IACtF,QAAQ;QACJ,OAAO,CAAC,IAAI,CAAC,eAAe,IAAI,IAAI,CAAC,eAAe,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC;IACzF,CAAC;IAED,4FAA4F;IAC5F,8EAA8E;IAC9E,MAAM,CAAC,IAAI,CAAC,UAAkB;QAC1B,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;QAC5C,MAAM,GAAG,GAAG,IAAI,sBAAsB,CAAC,UAAU,CAAC,CAAC;QACnD,IAAI,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;YACxB,KAAK,MAAM,IAAI,IAAI,IAAA,wBAAc,EAAC,MAAM,CAAC,EAAE,CAAC;gBACxC,IAAI,IAAA,oBAAU,EAAC,IAAI,CAAC;oBAAE,SAAS;gBAC/B,MAAM,MAAM,GAAG,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;gBACtG,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,UAAU;oBAAE,GAAG,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;YACxE,CAAC;QACL,CAAC;QACD,OAAO,GAAG,CAAC,KAAK,EAAE,CAAC;IACvB,CAAC;CACJ;AA7BD,8CA6BC;AAED,yFAAyF;AACzF,MAAM,sBAAsB;IAKK;IAJrB,QAAQ,GAAG,KAAK,CAAC;IACjB,IAAI,GAAG,KAAK,CAAC;IACJ,SAAS,GAAa,EAAE,CAAC;IAE1C,YAA6B,UAAkB;QAAlB,eAAU,GAAV,UAAU,CAAQ;IAAG,CAAC;IAEnD,GAAG,CAAC,SAAuB,EAAE,IAAY;QACrC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC;YAAE,OAAO;QACxC,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QACnD,IAAI,EAAE,CAAC,sBAAsB,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,sBAAsB,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC,EAAE,CAAC;YAClH,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACrB,CAAC;aAAM,IAAI,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC,EAAE,CAAC;YAC1C,IAAI,CAAC,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QACpC,CAAC;aAAM,IAAI,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,EAAE,CAAC;YAC3C,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;gBACxD,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,WAAW,CAAC;oBAAE,SAAS;gBAC/C,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,KAAK,GAAG,CAAC,CAAC;YACnE,CAAC;QACL,CAAC;aAAM,IAAI,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC,EAAE,CAAC;YAC7C,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,YAAY,SAAS,CAAC,IAAI,EAAE,IAAI,IAAI,WAAW,KAAK,KAAK,GAAG,CAAC,CAAC;QACtF,CAAC;IACL,CAAC;IAED,KAAK;QACD,OAAO,IAAI,iBAAiB,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACvF,CAAC;IAEO,QAAQ,CAAC,GAAwB,EAAE,KAAa;QACpD,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,EAAE,IAAI,IAAI,WAAW,CAAC;QAC3C,MAAM,UAAU,GAAG,CAAC,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAc,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC;QACnH,IAAI,UAAU,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YAC/D,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;YACrB,OAAO;QACX,CAAC;QACD,MAAM,SAAS,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,CAC9B,CAAC,MAAuB,EAAE,EAAE,CACxB,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC;YAC9B,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAc,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,CACxG,CAAC;QACF,IAAI,SAAS;YAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,IAAI,KAAK,KAAK,gDAAgD,CAAC,CAAC;;YACvG,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IAC1B,CAAC;IAED,8EAA8E;IACtE,UAAU,CAAC,GAAwB;QACvC,MAAM,KAAK,GAAG,CAAC,IAAa,EAAW,EAAE,CACrC,CAAC,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAe,EAAE,EAAE;YACxF,MAAM,IAAI,GAAG,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC;YACxF,MAAM,IAAI,GAAG,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YACnF,OAAO,cAAc,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACzC,CAAC,CAAC,CAAC;QACP,OAAO,KAAK,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAuB,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IACtF,CAAC;IAED,kHAAkH;IAC1G,SAAS,CAAC,IAA+B;QAC7C,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACrC,MAAM,IAAI,GAAG,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;QAChG,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC;YACzC,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,YAAY,CAAC;QAC1D,CAAC;QACD,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;YACrC,OAAO,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,CACtD,CAAC,IAAiC,EAAE,EAAE,CAClC,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,WAAW,CAAC,CACxE,CAAC;QACN,CAAC;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;IAEO,UAAU,CAAC,SAAuB;QACtC,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC;YAAE,OAAO,KAAK,CAAC;QAClD,OAAO,CAAC,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAc,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;IAC/G,CAAC;CACJ;AAED,2GAA2G;AAC3G,+GAA+G;AAC/G,SAAgB,uBAAuB,CACnC,YAAsC,EACtC,IAAmB,EACnB,aAAqB;IAErB,MAAM,UAAU,GAAyB,EAAE,CAAC;IAC5C,KAAK,MAAM,WAAW,IAAI,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC;QAC5C,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,CAAC,WAAW,CAAE,CAAC;QAC5C,MAAM,IAAI,GAAG,IAAA,2BAAW,EAAC,IAAI,CAAC,CAAC,IAAI,CAAC;QACpC,MAAM,SAAS,GAAG,IAAI,KAAK,YAAY,IAAI,IAAI,KAAK,eAAe,CAAC;QACpE,MAAM,UAAU,GAAG,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QAExD,IAAI,UAAU,IAAI,CAAC,SAAS,EAAE,CAAC;YAC3B,UAAU,CAAC,IAAI,CAAC,IAAI,kBAAkB,CAAC,WAAW,EAAE,aAAa,EAAE,YAAY,CAAC,CAAC,CAAC;QACtF,CAAC;QACD,+FAA+F;QAC/F,yEAAyE;QACzE,IAAI,CAAC,SAAS,IAAI,UAAU,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,WAAW,CAAC;YAAE,SAAS;QACjF,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAC7E,MAAM,EAAE,GAAG,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;QAC/E,IAAI,CAAC,EAAE;YAAE,UAAU,CAAC,IAAI,CAAC,IAAI,kBAAkB,CAAC,WAAW,EAAE,iBAAiB,EAAE,IAAI,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;IAC5G,CAAC;IACD,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,CAAqB,EAAE,CAAqB,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;AACjH,CAAC;AAED,qEAAqE;AACrE,oGAAoG;AACpG,SAAgB,0BAA0B,CAAC,SAA6B;IACpE,IAAI,SAAS,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACnC,OAAO,CACH,QAAQ,SAAS,CAAC,OAAO,sEAAsE;YAC/F,+DAA+D;YAC/D,sGAAsG;YACtG,kFAAkF,CACrF,CAAC;IACN,CAAC;IACD,IAAI,SAAS,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACrC,OAAO,CACH,QAAQ,SAAS,CAAC,OAAO,qEAAqE;YAC9F,wDAAwD;YACxD,kGAAkG;YAClG,4CAA4C,CAC/C,CAAC;IACN,CAAC;IACD,MAAM,SAAS,GACX,SAAS,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAC5B,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,wDAAwD,SAAS,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IACpG,OAAO,CACH,QAAQ,SAAS,CAAC,OAAO,8EAA8E;QACvG,qGAAqG;QACrG,2DAA2D,SAAS,IAAI;QACxE,0FAA0F,CAC7F,CAAC;AACN,CAAC","sourcesContent":["/**\n * API-lib tag validator (two-way)\n *\n * Keeps the two api roles and the CODE in sync, both directions (#1064, D1 + D3):\n *   - a project that exports an `@ApiPath`/`@Rpc`/`@PubSub` contract (or a vendor contract under\n *     `externalApiPaths`) MUST be tagged `role:api-lib` or `role:api-client` — else the arch graph, the\n *     edge line-styles, and validate-api-relations can't treat it as one;\n *   - a project tagged `role:api-lib` MUST export a contract or ONLY wire types — else the tag is a lie.\n *     A contract is any of: an `@ApiPath`/`@Rpc`/`@PubSub` class (from the scan), an IPC contract\n *     (`@WpInternal` / `@WpIpcEndpoint`), or an in-process abstract `…Api` behind a DI token. A DTO-only\n *     library exports interfaces, type aliases, enums and data classes (no methods) and nothing else;\n *   - a project tagged `role:api-client` MUST export a contract (its abstract `XxxApi`) — the bundled\n *     `XxxClient` beside it is the point of the role, so it is not judged as a wire type.\n *\n * \"Exports an @ApiPath contract\" is answered by the same source scan that owns apiRelations\n * (scan.apiLibProjects), so the tag can never drift from the code. The IPC / in-process / DTO-only\n * reading is a parser-only pass over the project's own non-test `src/**` — {@link ApiLibExportShape}.\n */\n\nimport * as fs from 'fs';\nimport * as path from 'path';\nimport * as ts from 'typescript';\nimport { ProjectInfo } from '../project-info';\nimport { resolveRole } from '../role-resolver';\nimport { ApiScanResult } from './api-scanner';\nimport { collectTsFiles, isTestFile } from './api-ast';\n\nconst API_LIB_ROLE = 'api-lib';\nconst API_CLIENT_ROLE = 'api-client';\n\n/** The decorators that make an abstract class an IPC contract. */\nconst IPC_DECORATORS: readonly string[] = ['WpInternal', 'WpIpcEndpoint'];\n\n/**\n * A tag/code mismatch:\n *  - 'missing-tag'     — exports an API contract but is tagged neither role:api-lib nor role:api-client.\n *  - 'unnecessary-tag' — tagged role:api-lib / role:api-client but exports no contract, and (for\n *                        api-lib) is not a DTO-only library either; `offenders` names what it exports.\n */\nexport class ApiLibTagViolation {\n    constructor(\n        public readonly project: string,\n        public readonly kind: 'missing-tag' | 'unnecessary-tag',\n        /** The role it carries (for 'unnecessary-tag'), else the role it should carry. */\n        public readonly role: string,\n        /** Exports that are neither a contract nor a wire type — empty for 'missing-tag'. */\n        public readonly offenders: readonly string[] = [],\n    ) {}\n}\n\n/** What a library's own source exports, sorted into contracts, wire types and everything else. */\nexport class ApiLibExportShape {\n    constructor(\n        /** True when it exports an IPC contract or an in-process abstract `…Api`. */\n        public readonly exportsContract: boolean,\n        /** True when it exports at least one wire type (interface, alias, enum, data class). */\n        public readonly exportsWireType: boolean,\n        /** `kind Name (file)` of every export that is neither — the implementation an api-lib must not hold. */\n        public readonly offenders: readonly string[],\n    ) {}\n\n    /** A role:api-lib passes when it holds a contract or wire types, and nothing else. */\n    isApiLib(): boolean {\n        return (this.exportsContract || this.exportsWireType) && this.offenders.length === 0;\n    }\n\n    /** Parser-only: every top-level EXPORTED declaration in the project's non-test `src/**`. */\n    // webpieces-disable no-function-outside-class -- static factory of this class\n    static read(projectDir: string): ApiLibExportShape {\n        const srcDir = path.join(projectDir, 'src');\n        const acc = new ExportShapeAccumulator(projectDir);\n        if (fs.existsSync(srcDir)) {\n            for (const file of collectTsFiles(srcDir)) {\n                if (isTestFile(file)) continue;\n                const source = ts.createSourceFile(file, fs.readFileSync(file, 'utf8'), ts.ScriptTarget.Latest, true);\n                for (const statement of source.statements) acc.add(statement, file);\n            }\n        }\n        return acc.shape();\n    }\n}\n\n/** Sorts each exported statement of one library into contract / wire type / offender. */\nclass ExportShapeAccumulator {\n    private contract = false;\n    private wire = false;\n    private readonly offenders: string[] = [];\n\n    constructor(private readonly projectDir: string) {}\n\n    add(statement: ts.Statement, file: string): void {\n        if (!this.isExported(statement)) return;\n        const where = path.relative(this.projectDir, file);\n        if (ts.isInterfaceDeclaration(statement) || ts.isTypeAliasDeclaration(statement) || ts.isEnumDeclaration(statement)) {\n            this.wire = true;\n        } else if (ts.isClassDeclaration(statement)) {\n            this.addClass(statement, where);\n        } else if (ts.isVariableStatement(statement)) {\n            for (const decl of statement.declarationList.declarations) {\n                if (this.isDiToken(decl.initializer)) continue;\n                this.offenders.push(`const ${decl.name.getText()} (${where})`);\n            }\n        } else if (ts.isFunctionDeclaration(statement)) {\n            this.offenders.push(`function ${statement.name?.text ?? '<default>'} (${where})`);\n        }\n    }\n\n    shape(): ApiLibExportShape {\n        return new ApiLibExportShape(this.contract, this.wire, [...this.offenders].sort());\n    }\n\n    private addClass(cls: ts.ClassDeclaration, where: string): void {\n        const name = cls.name?.text ?? '<default>';\n        const isAbstract = (ts.getModifiers(cls) ?? []).some((m: ts.Modifier) => m.kind === ts.SyntaxKind.AbstractKeyword);\n        if (isAbstract && (name.endsWith('Api') || this.carriesIpc(cls))) {\n            this.contract = true;\n            return;\n        }\n        const hasMethod = cls.members.some(\n            (member: ts.ClassElement) =>\n                ts.isMethodDeclaration(member) &&\n                !(ts.getModifiers(member) ?? []).some((m: ts.Modifier) => m.kind === ts.SyntaxKind.StaticKeyword),\n        );\n        if (hasMethod) this.offenders.push(`class ${name} (${where}) — it has methods, so it is an implementation`);\n        else this.wire = true;\n    }\n\n    /** `@WpInternal(...)` on the class or `@WpIpcEndpoint(...)` on any member. */\n    private carriesIpc(cls: ts.ClassDeclaration): boolean {\n        const named = (node: ts.Node): boolean =>\n            (ts.canHaveDecorators(node) ? (ts.getDecorators(node) ?? []) : []).some((d: ts.Decorator) => {\n                const expr = ts.isCallExpression(d.expression) ? d.expression.expression : d.expression;\n                const text = ts.isPropertyAccessExpression(expr) ? expr.name.text : expr.getText();\n                return IPC_DECORATORS.includes(text);\n            });\n        return named(cls) || cls.members.some((member: ts.ClassElement) => named(member));\n    }\n\n    /** `Symbol('x')`, `Symbol.for('x')`, or an object literal of them — the token an abstract `…Api` binds behind. */\n    private isDiToken(init: ts.Expression | undefined): boolean {\n        if (init === undefined) return false;\n        const expr = ts.isAsExpression(init) || ts.isSatisfiesExpression(init) ? init.expression : init;\n        if (ts.isCallExpression(expr)) {\n            const callee = expr.expression.getText();\n            return callee === 'Symbol' || callee === 'Symbol.for';\n        }\n        if (ts.isObjectLiteralExpression(expr)) {\n            return expr.properties.length > 0 && expr.properties.every(\n                (prop: ts.ObjectLiteralElementLike) =>\n                    ts.isPropertyAssignment(prop) && this.isDiToken(prop.initializer),\n            );\n        }\n        return false;\n    }\n\n    private isExported(statement: ts.Statement): boolean {\n        if (!ts.canHaveModifiers(statement)) return false;\n        return (ts.getModifiers(statement) ?? []).some((m: ts.Modifier) => m.kind === ts.SyntaxKind.ExportKeyword);\n    }\n}\n\n/** Both-directions tag ⇔ code check. Uses the scan's detected api-lib set as ground truth for @ApiPath. */\n// webpieces-disable no-function-outside-class -- validator-lib entry point, matches api-relations-validator.ts\nexport function findApiLibTagViolations(\n    projectInfos: Map<string, ProjectInfo>,\n    scan: ApiScanResult,\n    workspaceRoot: string,\n): ApiLibTagViolation[] {\n    const violations: ApiLibTagViolation[] = [];\n    for (const projectName of projectInfos.keys()) {\n        const info = projectInfos.get(projectName)!;\n        const role = resolveRole(info).role;\n        const isApiRole = role === API_LIB_ROLE || role === API_CLIENT_ROLE;\n        const exportsApi = scan.apiLibProjects.has(projectName);\n\n        if (exportsApi && !isApiRole) {\n            violations.push(new ApiLibTagViolation(projectName, 'missing-tag', API_LIB_ROLE));\n        }\n        // Only judge a tag when we actually SCANNED the project's source — otherwise we can't prove it\n        // exports no contract (an unscannable project would falsely look empty).\n        if (!isApiRole || exportsApi || !scan.scannedProjects.has(projectName)) continue;\n        const shape = ApiLibExportShape.read(path.resolve(workspaceRoot, info.root));\n        const ok = role === API_CLIENT_ROLE ? shape.exportsContract : shape.isApiLib();\n        if (!ok) violations.push(new ApiLibTagViolation(projectName, 'unnecessary-tag', role, shape.offenders));\n    }\n    return violations.sort((a: ApiLibTagViolation, b: ApiLibTagViolation) => a.project.localeCompare(b.project));\n}\n\n/** Human-readable, fix-oriented report for one tag/code mismatch. */\n// webpieces-disable no-function-outside-class -- pure formatter, matches api-relations-validator.ts\nexport function describeApiLibTagViolation(violation: ApiLibTagViolation): string {\n    if (violation.kind === 'missing-tag') {\n        return (\n            `  ❌ '${violation.project}' exports an API contract (an abstract @ApiPath/@Rpc/@PubSub class) ` +\n            `but is tagged neither 'role:api-lib' nor 'role:api-client'.\\n` +\n            `     Add \"role:api-lib\" to its project.json \"tags\" (replacing any \"role:lib\"), or \"role:api-client\" ` +\n            `when it also bundles the default implementation that talks to an outside system.`\n        );\n    }\n    if (violation.role === API_CLIENT_ROLE) {\n        return (\n            `  ❌ '${violation.project}' is tagged 'role:api-client' but exports NO contract (no abstract ` +\n            `…Api class, no @WpInternal/@WpIpcEndpoint contract).\\n` +\n            `     An api-client is a contract PLUS its default implementation: export the abstract XxxApi it ` +\n            `implements, or retag it (e.g. \"role:lib\").`\n        );\n    }\n    const offenders =\n        violation.offenders.length === 0\n            ? ''\n            : `\\n     It exports, besides contracts and wire types: ${violation.offenders.join('; ')}.`;\n    return (\n        `  ❌ '${violation.project}' is tagged 'role:api-lib' but is neither a contract library (@ApiPath/@Rpc/` +\n        `@PubSub, @WpInternal/@WpIpcEndpoint, or an abstract …Api behind a DI token) nor a DTO-only library ` +\n        `(interfaces, type aliases, enums and data classes only).${offenders}\\n` +\n        `     Move the implementation out to a role:lib / role:designed-lib project, or retag it.`\n    );\n}\n"]}

package/src/lib/api-usage/api-scanner.d.ts

@@ -32,6 +32,7 @@ import { ProjectInfo } from '../project-info';
 import { ApiClassInfo, ApiContracts, EmptiedApiContract, NonLiteralDecoratorArg, ProjectApiRelations, UndeclaredExternalCaller, UndeclaredEndpointOperation, UnresolvedApiCall, UnresolvedEndpointPath } from './api-relations';
 import { RootUnionFindings, RootUnionRule } from './root-union-scan';
 import { ApiDocRule, ApiDocRulesFindings } from './api-doc-rules';
+import { WireClosureRule } from './wire-closure';
 /** The whole-workspace result of a scan. */
 export interface ApiScanResult {
     /** projectName -> { apiLibProject -> relation }; only projects with ≥1 relation appear. */
@@ -95,6 +96,7 @@ export declare class ApiUsageScanner {
     private readonly openApiRule;
     /** `api-rules-for-mcp`'s switches — read from the config, which MUST state them (#1017). */
     private readonly mcpRule;
+    private readonly wireClosureRule;
     private readonly locator;
     private readonly relationsByProject;
     private readonly scannedProjects;
@@ -109,7 +111,7 @@ export declare class ApiUsageScanner {
     /** `api-rules-for-openapi`'s switches — read from the config, which MUST state them (#1017). */
     openApiRule?: ApiDocRule, 
     /** `api-rules-for-mcp`'s switches — read from the config, which MUST state them (#1017). */
-    mcpRule?: ApiDocRule);
+    mcpRule?: ApiDocRule, wireClosureRule?: WireClosureRule);
     scan(): ApiScanResult;
     private scanProject;
     private visit;

package/src/lib/api-usage/api-scanner.js

@@ -46,6 +46,7 @@ const api_contract_errors_1 = require("./api-contract-errors");
 const root_union_scan_1 = require("./root-union-scan");
 const api_doc_rules_1 = require("./api-doc-rules");
 const api_doc_rules_scan_1 = require("./api-doc-rules-scan");
+const wire_closure_1 = require("./wire-closure");
 const api_ast_1 = require("./api-ast");
 const RPC_CLIENT_METHOD = 'createRpcClient';
 const PUBSUB_CLIENT_METHOD = 'createPubSubClient';
@@ -210,6 +211,7 @@ class ApiUsageScanner {
     rootUnionRule;
     openApiRule;
     mcpRule;
+    wireClosureRule;
     locator;
     relationsByProject = new Map();
     scannedProjects = new Set();
@@ -224,13 +226,14 @@ class ApiUsageScanner {
     /** `api-rules-for-openapi`'s switches — read from the config, which MUST state them (#1017). */
     openApiRule = api_doc_rules_1.ApiDocRule.off(api_doc_rules_1.OPENAPI_RULE), 
     /** `api-rules-for-mcp`'s switches — read from the config, which MUST state them (#1017). */
-    mcpRule = api_doc_rules_1.ApiDocRule.off(api_doc_rules_1.MCP_RULE)) {
+    mcpRule = api_doc_rules_1.ApiDocRule.off(api_doc_rules_1.MCP_RULE), wireClosureRule = wire_closure_1.WireClosureRule.withoutSuffixes()) {
         this.workspaceRoot = workspaceRoot;
         this.projectInfos = projectInfos;
         this.externalApiPaths = externalApiPaths;
         this.rootUnionRule = rootUnionRule;
         this.openApiRule = openApiRule;
         this.mcpRule = mcpRule;
+        this.wireClosureRule = wireClosureRule;
         this.locator = new ProjectLocator(workspaceRoot, projectInfos);
         this.decoratorArgDiagnostics = new api_ast_1.DecoratorArgDiagnostics(workspaceRoot);
     }
@@ -255,7 +258,7 @@ class ApiUsageScanner {
             undeclaredExternalCallers: this.decoratorArgDiagnostics.undeclaredExternalCallers(),
             undeclaredEndpointOperations: this.decoratorArgDiagnostics.undeclaredEndpointOperations(),
             rootUnions: new root_union_scan_1.RootUnionScan(this.workspaceRoot, this.projectInfos, this.rootUnionRule).run(),
-            apiDocRules: new api_doc_rules_scan_1.ApiDocRulesScan(this.workspaceRoot, this.projectInfos, this.openApiRule, this.mcpRule).run(),
+            apiDocRules: new api_doc_rules_scan_1.ApiDocRulesScan(this.workspaceRoot, this.projectInfos, this.openApiRule, this.mcpRule, this.wireClosureRule).run(),
         };
     }
     scanProject(info) {
@@ -400,7 +403,7 @@ exports.ApiUsageScanner = ApiUsageScanner;
  */
 // webpieces-disable no-function-outside-class -- module entry point, mirrors generateReducedGraph/collectBindings
 function scanAndAttachApiRelations(workspaceRoot, graph, projectInfos, externalApiPaths = []) {
-    const result = new ApiUsageScanner(workspaceRoot, projectInfos, externalApiPaths, root_union_scan_1.RootUnionRule.fromConfig(workspaceRoot), api_doc_rules_1.ApiDocRule.fromConfig(workspaceRoot, api_doc_rules_1.OPENAPI_RULE), api_doc_rules_1.ApiDocRule.fromConfig(workspaceRoot, api_doc_rules_1.MCP_RULE)).scan();
+    const result = new ApiUsageScanner(workspaceRoot, projectInfos, externalApiPaths, root_union_scan_1.RootUnionRule.fromConfig(workspaceRoot), api_doc_rules_1.ApiDocRule.fromConfig(workspaceRoot, api_doc_rules_1.OPENAPI_RULE), api_doc_rules_1.ApiDocRule.fromConfig(workspaceRoot, api_doc_rules_1.MCP_RULE), wire_closure_1.WireClosureRule.fromConfig(workspaceRoot)).scan();
     for (const projectName of result.relationsByProject.keys()) {
         const entry = graph[projectName];
         if (entry)

package/src/lib/api-usage/api-scanner.js.map

@@ -1 +1 @@
-{"version":3,"file":"api-scanner.js","sourceRoot":"","sources":["../../../../../../../packages/tooling/nx-webpieces-rules/src/lib/api-usage/api-scanner.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;;;AA2eH,8DAmBC;AAuBD,8CA8CC;AAUD,0EAgBC;AASD,0EAmBC;;AAvnBD,uDAAiC;AACjC,+CAAyB;AACzB,mDAA6B;AAC7B,0DAAyD;AAGzD,iDAA0D;AAC1D,mDAA+D;AAC/D,mDAiByB;AACzB,+DAS+B;AAC/B,uDAAoF;AACpF,mDAA0F;AAC1F,6DAAuD;AACvD,uCAamB;AAEnB,MAAM,iBAAiB,GAAG,iBAAiB,CAAC;AAC5C,MAAM,oBAAoB,GAAG,oBAAoB,CAAC;AAClD,MAAM,iBAAiB,GAAG,WAAW,CAAC;AAsDtC,qGAAqG;AACrG,MAAM,cAAc;IACC,KAAK,CAAgB;IAEtC,YAAY,aAAqB,EAAE,YAAsC;QACrE,MAAM,KAAK,GAAkB,EAAE,CAAC;QAChC,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,MAAM,EAAE,EAAE,CAAC;YACvC,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,IAAI,IAAI,CAAC,IAAI,KAAK,GAAG;gBAAE,SAAS;YACpD,KAAK,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnF,CAAC;QACD,+DAA+D;QAC/D,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAc,EAAE,CAAc,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC7F,CAAC;IAED,SAAS,CAAC,OAAe;QACrB,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACzC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC5B,IAAI,UAAU,KAAK,IAAI,CAAC,GAAG,IAAI,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;gBACrE,OAAO,IAAI,CAAC,IAAI,CAAC;QACzB,CAAC;QACD,OAAO,IAAI,CAAC;IAChB,CAAC;CACJ;AAED,MAAM,WAAW;IAEO;IACA;IAFpB,YACoB,IAAY,EACZ,GAAW;QADX,SAAI,GAAJ,IAAI,CAAQ;QACZ,QAAG,GAAH,GAAG,CAAQ;IAC5B,CAAC;CACP;AAED;;;;;;GAMG;AACH,MAAM,cAAc;IAEI;IACA;IAFpB,YACoB,MAAiC,EACjC,MAAmB;QADnB,WAAM,GAAN,MAAM,CAA2B;QACjC,WAAM,GAAN,MAAM,CAAa;IACpC,CAAC;IAEJ,MAAM,CAAC,GAAW;QACd,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC;IACxC,CAAC;CACJ;AAED;;;;;;GAMG;AACH,MAAM,qBAAqB;IAKF;IACA;IAEA;IAEA;IATJ,MAAM,GAAG,IAAI,GAAG,EAAwB,CAAC;IACzC,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IAE5C,YACqB,aAAqB,EACrB,YAAsC;IACvD,8EAA8E;IAC7D,gBAAmC;IACpD,oFAAoF;IACnE,WAAoC;QALpC,kBAAa,GAAb,aAAa,CAAQ;QACrB,iBAAY,GAAZ,YAAY,CAA0B;QAEtC,qBAAgB,GAAhB,gBAAgB,CAAmB;QAEnC,gBAAW,GAAX,WAAW,CAAyB;IACtD,CAAC;IAEJ,KAAK;QACD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,EAAE,CAAC;YAC5C,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,IAAI,IAAI,CAAC,IAAI,KAAK,GAAG;gBAAE,SAAS;YACpD,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QAC5B,CAAC;QACD,OAAO,IAAI,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;IACxD,CAAC;IAEO,YAAY,CAAC,IAAiB;QAClC,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;QAC7E,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC;YAAE,OAAO;QACnC,MAAM,QAAQ,GAAG,IAAA,6BAAc,EAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAClE,KAAK,MAAM,IAAI,IAAI,IAAA,wBAAc,EAAC,MAAM,CAAC,EAAE,CAAC;YACxC,IAAI,IAAA,oBAAU,EAAC,IAAI,CAAC;gBAAE,SAAS,CAAC,oCAAoC;YACpE,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAC3C,MAAM,UAAU,GAAG,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;YACjF,IAAI,CAAC,SAAS,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACpD,CAAC;IACL,CAAC;IAEO,SAAS,CAAC,IAAa,EAAE,OAAe,EAAE,QAAiB;QAC/D,MAAM,IAAI,GAAG,QAAQ;YACjB,CAAC,CAAC,IAAA,6BAAmB,EAAC,IAAI,EAAE,OAAO,CAAC;YACpC,CAAC,CAAC,IAAA,8BAAoB,EAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;QAC5D,IAAI,IAAI,EAAE,CAAC;YACP,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACzB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACpC,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,KAAc,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;IACxF,CAAC;CACJ;AACD,qFAAqF;AACrF,MAAM,mBAAmB;IACJ,iBAAiB,GAAG,IAAI,GAAG,EAA+B,CAAC;IAC3D,WAAW,GAAG,IAAI,GAAG,EAA+B,CAAC;IAEtE,aAAa,CAAC,KAAa,EAAE,GAAW;QACpC,YAAY,CAAC,IAAI,CAAC,iBAAiB,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,IAAA,yBAAS,EAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;IACzE,CAAC;IAED;;;OAGG;IACH,OAAO,CAAC,KAAa,EAAE,GAAW;QAC9B,YAAY,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,IAAA,yBAAS,EAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;IACnE,CAAC;IAED,oFAAoF;IACpF,WAAW;QACP,MAAM,MAAM,GAAG,IAAI,GAAG,CAAS;YAC3B,GAAG,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE;YAChC,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE;SAC7B,CAAC,CAAC;QACH,MAAM,SAAS,GAAwB,EAAE,CAAC;QAC1C,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;YACrC,MAAM,cAAc,GAAG,IAAA,2BAAW,EAAC;gBAC/B,GAAG,CAAC,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;aACzD,CAAC,CAAC;YACH,MAAM,QAAQ,GAAG,IAAA,2BAAW,EAAC,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YACjF,MAAM,QAAQ,GAAgB;gBAC1B,IAAI,EAAE,IAAA,qCAAqB,EAAC,cAAc,EAAE,QAAQ,CAAC;gBACrD,UAAU,EAAE,cAAc;gBAC1B,IAAI,EAAE,QAAQ;aACjB,CAAC;YACF,SAAS,CAAC,KAAK,CAAC,GAAG,QAAQ,CAAC;QAChC,CAAC;QACD,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,OAAO;QACH,OAAO,IAAI,CAAC,iBAAiB,CAAC,IAAI,KAAK,CAAC,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,KAAK,CAAC,CAAC;IAC5E,CAAC;CACJ;AAED,wHAAwH;AACxH,SAAS,YAAY,CAAC,GAAqC,EAAE,KAAa;IACtE,IAAI,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC3B,IAAI,CAAC,KAAK,EAAE,CAAC;QACT,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;QAClC,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC1B,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,oFAAoF;AACpF,MAAa,eAAe;IASH;IACA;IAEA;IAEA;IAEA;IAEA;IAjBJ,OAAO,CAAiB;IACxB,kBAAkB,GAAG,IAAI,GAAG,EAA+B,CAAC;IAC5D,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,kBAAkB,GAAwB,EAAE,CAAC;IAC7C,uBAAuB,CAA0B;IAC1D,WAAW,GAAG,IAAI,cAAc,CAAC,IAAI,GAAG,EAAwB,EAAE,IAAI,GAAG,EAAU,CAAC,CAAC;IAE7F,YACqB,aAAqB,EACrB,YAAsC;IACvD,4FAA4F;IAC3E,mBAAsC,EAAE;IACzD,mGAAmG;IAClF,gBAA+B,+BAAa,CAAC,iBAAiB,EAAE;IACjF,gGAAgG;IAC/E,cAA0B,0BAAU,CAAC,GAAG,CAAC,4BAAY,CAAC;IACvE,4FAA4F;IAC3E,UAAsB,0BAAU,CAAC,GAAG,CAAC,wBAAQ,CAAC;QAT9C,kBAAa,GAAb,aAAa,CAAQ;QACrB,iBAAY,GAAZ,YAAY,CAA0B;QAEtC,qBAAgB,GAAhB,gBAAgB,CAAwB;QAExC,kBAAa,GAAb,aAAa,CAAmD;QAEhE,gBAAW,GAAX,WAAW,CAA2C;QAEtD,YAAO,GAAP,OAAO,CAAuC;QAE/D,IAAI,CAAC,OAAO,GAAG,IAAI,cAAc,CAAC,aAAa,EAAE,YAAY,CAAC,CAAC;QAC/D,IAAI,CAAC,uBAAuB,GAAG,IAAI,iCAAuB,CAAC,aAAa,CAAC,CAAC;IAC9E,CAAC;IAED,IAAI;QACA,2FAA2F;QAC3F,oFAAoF;QACpF,IAAI,CAAC,WAAW,GAAG,IAAI,qBAAqB,CACxC,IAAI,CAAC,aAAa,EAClB,IAAI,CAAC,YAAY,EACjB,IAAI,CAAC,gBAAgB,EACrB,IAAI,CAAC,uBAAuB,CAC/B,CAAC,KAAK,EAAE,CAAC;QACV,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,EAAE,CAAC;YAC5C,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,IAAI,IAAI,CAAC,IAAI,KAAK,GAAG;gBAAE,SAAS;YACpD,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;QAC3B,CAAC;QACD,OAAO;YACH,kBAAkB,EAAE,IAAI,CAAC,kBAAkB;YAC3C,cAAc,EAAE,IAAI,CAAC,WAAW,CAAC,MAAM;YACvC,QAAQ,EAAE,IAAI,CAAC,WAAW,CAAC,MAAM;YACjC,eAAe,EAAE,IAAI,CAAC,eAAe;YACrC,kBAAkB,EAAE,IAAI,CAAC,kBAAkB;YAC3C,uBAAuB,EAAE,IAAI,CAAC,uBAAuB,CAAC,GAAG,EAAE;YAC3D,uBAAuB,EAAE,IAAI,CAAC,uBAAuB,CAAC,uBAAuB,EAAE;YAC/E,mBAAmB,EAAE,IAAI,CAAC,uBAAuB,CAAC,gBAAgB,EAAE;YACpE,yBAAyB,EAAE,IAAI,CAAC,uBAAuB,CAAC,yBAAyB,EAAE;YACnF,4BAA4B,EACxB,IAAI,CAAC,uBAAuB,CAAC,4BAA4B,EAAE;YAC/D,UAAU,EAAE,IAAI,+BAAa,CACzB,IAAI,CAAC,aAAa,EAClB,IAAI,CAAC,YAAY,EACjB,IAAI,CAAC,aAAa,CACrB,CAAC,GAAG,EAAE;YACP,WAAW,EAAE,IAAI,oCAAe,CAC5B,IAAI,CAAC,aAAa,EAClB,IAAI,CAAC,YAAY,EACjB,IAAI,CAAC,WAAW,EAChB,IAAI,CAAC,OAAO,CACf,CAAC,GAAG,EAAE;SACV,CAAC;IACN,CAAC;IAEO,WAAW,CAAC,IAAiB;QACjC,MAAM,OAAO,GAAG,iBAAiB,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAC/E,IAAI,CAAC,OAAO;YAAE,OAAO;QACrB,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;QACzC,MAAM,WAAW,GAAG,IAAI,mBAAmB,EAAE,CAAC;QAC9C,IAAI,qBAAqB,GAAG,KAAK,CAAC;QAElC,KAAK,MAAM,UAAU,IAAI,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC;YAChD,IAAI,UAAU,CAAC,iBAAiB,IAAI,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,gBAAgB,CAAC;gBAC9E,SAAS;YACb,IAAI,IAAA,oBAAU,EAAC,UAAU,CAAC,QAAQ,CAAC;gBAAE,SAAS,CAAC,oCAAoC;YACnF,iFAAiF;YACjF,IAAI,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC,IAAI;gBAAE,SAAS;YACxE,qBAAqB,GAAG,IAAI,CAAC;YAC7B,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QAC5D,CAAC;QAED,0FAA0F;QAC1F,+EAA+E;QAC/E,IAAI,qBAAqB;YAAE,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/D,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE;YACtB,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,WAAW,EAAE,CAAC,CAAC;IAC1E,CAAC;IAEO,KAAK,CACT,IAAa,EACb,OAAuB,EACvB,OAAe,EACf,GAAwB;QAExB,8FAA8F;QAC9F,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YAAE,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;QAC5E,2FAA2F;QAC3F,uCAAuC;QACvC,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;YAAE,IAAI,CAAC,kBAAkB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACpE,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,KAAc,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC;IACxF,CAAC;IAED;;;;;;;;;;;;;OAaG;IACK,kBAAkB,CAAC,GAAwB,EAAE,GAAwB;QACzE,MAAM,WAAW,GAAG,IAAA,8BAAoB,EAAC,GAAG,CAAC,CAAC;QAC9C,KAAK,MAAM,KAAK,IAAI,IAAA,6BAAmB,EAAC,GAAG,CAAC,EAAE,CAAC;YAC3C,MAAM,QAAQ,GAAG,IAAA,2BAAiB,EAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC/C,IAAI,QAAQ,KAAK,IAAI,IAAI,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAAE,SAAS;YAC7D,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YAC/C,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;gBAAE,SAAS;YACxD,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;QACjE,CAAC;IACL,CAAC;IAEO,UAAU,CACd,IAAuB,EACvB,OAAuB,EACvB,OAAe,EACf,GAAwB;QAExB,MAAM,MAAM,GAAG,IAAA,0BAAgB,EAAC,IAAI,CAAC,CAAC;QACtC,IAAI,MAAM,KAAK,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO;QAC3D,IAAI,MAAM,KAAK,iBAAiB,EAAE,CAAC;YAC/B,MAAM,IAAI,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACvE,IAAI,IAAI;gBAAE,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YAC5E,OAAO;QACX,CAAC;QACD,IAAI,MAAM,KAAK,iBAAiB,IAAI,MAAM,KAAK,oBAAoB,EAAE,CAAC;YAClE,MAAM,IAAI,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACvE,IAAI,CAAC,IAAI;gBAAE,OAAO;YAClB,mFAAmF;YACnF,8EAA8E;YAC9E,MAAM,aAAa,GAAG,IAAA,yBAAe,EAAC,IAAI,CAAC,CAAC;YAC5C,MAAM,GAAG,GAAW,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;YACvD,IAAI,aAAa,KAAK,IAAI;gBAAE,GAAG,CAAC,aAAa,GAAG,aAAa,CAAC;YAC9D,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACjC,CAAC;IACL,CAAC;IAED,oFAAoF;IAC5E,eAAe,CACnB,IAAmB,EACnB,OAAuB,EACvB,OAAe;QAEf,MAAM,IAAI,GAAG,IAAA,kCAAuB,EAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACpD,IAAI,CAAC,IAAI;YAAE,OAAO,IAAI,CAAC;QACvB,MAAM,UAAU,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;QAC9C,OAAO,UAAU,IAAI,IAAI,CAAC,sBAAsB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAC1E,CAAC;IAED;;;;;;OAMG;IACK,sBAAsB,CAC1B,IAAyB,EACzB,IAAmB,EACnB,OAAe;QAEf,8FAA8F;QAC9F,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,iBAAiB,IAAI,CAAC,IAAA,yBAAe,EAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;YAC/E,OAAO,IAAI,CAAC;QAChB,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1D,IAAI,SAAS;YAAE,OAAO,SAAS,CAAC;QAChC,0FAA0F;QAC1F,IAAI,CAAC,kBAAkB,CAAC,IAAI,CACxB,IAAI,iCAAiB,CACjB,OAAO,EACP,IAAI,CAAC,IAAI,CAAC,IAAI,EACd,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAC3B,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,QAAQ,CAAC,CACnD,CACJ,CAAC;QACF,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,0FAA0F;IAClF,gBAAgB,CAAC,IAAa;QAClC,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;QACxC,MAAM,QAAQ,GAAG,UAAU,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC3E,OAAO,GAAG,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;IAC5E,CAAC;IAEO,YAAY,CAAC,OAAe;QAChC,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC;IACtD,CAAC;IAED;;;;;OAKG;IACK,eAAe,CAAC,GAAwB;QAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,aAAa,EAAE,CAAC,QAAQ,CAAC,CAAC;QACnE,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAChC,OAAO,IAAA,0BAAgB,EAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACxC,CAAC;CACJ;AAtND,0CAsNC;AAED;;;;;;GAMG;AACH,kHAAkH;AAClH,SAAgB,yBAAyB,CACrC,aAAqB,EACrB,KAAoB,EACpB,YAAsC,EACtC,mBAAsC,EAAE;IAExC,MAAM,MAAM,GAAG,IAAI,eAAe,CAC9B,aAAa,EACb,YAAY,EACZ,gBAAgB,EAChB,+BAAa,CAAC,UAAU,CAAC,aAAa,CAAC,EACvC,0BAAU,CAAC,UAAU,CAAC,aAAa,EAAE,4BAAY,CAAC,EAClD,0BAAU,CAAC,UAAU,CAAC,aAAa,EAAE,wBAAQ,CAAC,CACjD,CAAC,IAAI,EAAE,CAAC;IACT,KAAK,MAAM,WAAW,IAAI,MAAM,CAAC,kBAAkB,CAAC,IAAI,EAAE,EAAE,CAAC;QACzD,MAAM,KAAK,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC;QACjC,IAAI,KAAK;YAAE,KAAK,CAAC,YAAY,GAAG,MAAM,CAAC,kBAAkB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,uGAAuG;AACvG,SAAgB,iBAAiB,CAAC,IAAmB;IACjD,gGAAgG;IAChG,0CAA0C;IAC1C,IAAI,IAAI,CAAC,uBAAuB,CAAC,MAAM,GAAG,CAAC;QACvC,MAAM,IAAI,iDAA2B,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;IACxE,IAAI,IAAI,CAAC,mBAAmB,CAAC,MAAM,GAAG,CAAC;QACnC,MAAM,IAAI,6CAAuB,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;IAChE,IAAI,IAAI,CAAC,4BAA4B,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/C,MAAM,IAAI,sDAAgC,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;IAClF,CAAC;IACD,kGAAkG;IAClG,gDAAgD;IAChD,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE;QAAE,MAAM,IAAI,2CAAqB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACjF,2FAA2F;IAC3F,+FAA+F;IAC/F,iGAAiG;IACjG,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;QACtC,MAAM,IAAI,6CAAuB,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;IAChE,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;QAClC,MAAM,IAAI,yCAAmB,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC;IACxF,CAAC;IACD,+FAA+F;IAC/F,gEAAgE;IAChE,IAAI,IAAI,CAAC,yBAAyB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5C,MAAM,IAAI,mDAA6B,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IAC5E,CAAC;IACD,MAAM,SAAS,GAAiB,EAAE,CAAC;IACnC,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACjD,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC;QACrC,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACxC,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC9B,OAAO,CAAC,IAAI,CAAC,GAAG,GAAG,WAAW,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC;YAC7C,SAAS;QACb,CAAC;QACD,MAAM,QAAQ,GAAgB;YAC1B,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,OAAO,EAAE,IAAI,CAAC,IAAI;YAClB,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,OAAO,EAAE,IAAI,CAAC,OAAO;SACxB,CAAC;QACF,SAAS,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC;IAC9B,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,0CAAoB,CAAC,OAAO,CAAC,CAAC;IAChE,OAAO,SAAS,CAAC;AACrB,CAAC;AAED;;;;;;GAMG;AACH,oGAAoG;AACpG,SAAgB,+BAA+B,CAAC,IAAuC;IACnF,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACjC,MAAM,KAAK,GAAG;QACV,OAAO,IAAI,CAAC,MAAM,2EAA2E;QAC7F,mGAAmG;KACtG,CAAC;IACF,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;QACzE,KAAK,CAAC,IAAI,CAAC,WAAW,GAAG,CAAC,SAAS,IAAI,GAAG,CAAC,QAAQ,QAAQ,KAAK,OAAO,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;IACrF,CAAC;IACD,KAAK,CAAC,IAAI,CACN,iGAAiG,EACjG,iGAAiG,EACjG,kGAAkG,CACrG,CAAC;IACF,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC5B,CAAC;AAED;;;;;GAKG;AACH,oGAAoG;AACpG,SAAgB,+BAA+B,CAAC,SAAuB;IACnE,MAAM,aAAa,GAA4C;QAC3D,GAAG,EAAE,CAAC,KAAK,EAAE,UAAU,CAAC;QACxB,MAAM,EAAE,CAAC,YAAY,EAAE,MAAM,EAAE,UAAU,CAAC;KAC7C,CAAC;IACF,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;QACvC,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;QAChC,MAAM,OAAO,GAAG,aAAa,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QAChD,IAAI,OAAO,KAAK,SAAS;YAAE,SAAS;QACpC,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;YACpC,IAAI,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC5C,QAAQ,CAAC,IAAI,CACT,GAAG,GAAG,IAAI,MAAM,CAAC,IAAI,uBAAuB,MAAM,CAAC,UAAU,IAAI,MAAM,MAAM,MAAM,CAAC,IAAI,MAAM,MAAM,CAAC,SAAS,KAAK,MAAM,CAAC,IAAI,SAAS,GAAG,MAAM;gBAC5I,IAAI,QAAQ,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,wBAAwB,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CACzG,CAAC;QACN,CAAC;IACL,CAAC;IACD,OAAO,QAAQ,CAAC;AACpB,CAAC;AAED;;;;;;;;;GASG;AACH,iGAAiG;AACjG,SAAS,iBAAiB,CAAC,cAAsB;IAC7C,MAAM,UAAU,GAAG,IAAA,6BAAmB,EAAC,cAAc,CAAC,CAAC;IACvD,IAAI,CAAC,UAAU;QAAE,OAAO,mBAAmB,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC;IAChE,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;QACnC,mCAAmC,EAAE,GAAS,EAAE,CAAC,SAAS;KAC7D,CAA2B,CAAC;IAC7B,MAAM,MAAM,GAAG,EAAE,CAAC,gCAAgC,CAAC,UAAU,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;IACzE,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzB,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;IAC3F,OAAO,mBAAmB,CAAC,cAAc,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;AAC/D,CAAC;AAED,wGAAwG;AACxG,SAAS,mBAAmB,CACxB,cAAsB,EACtB,OAA2B;IAE3B,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;IAChD,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACxC,MAAM,KAAK,GAAG,IAAA,wBAAc,EAAC,MAAM,CAAC,CAAC;IACrC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACtE,CAAC","sourcesContent":["/**\n * API Usage Scanner\n *\n * Derives, by scanning real source (not a declaration file), how every project\n * relates to the api-lib projects it depends on. This is the single source of\n * truth for the `apiRelations` field in architecture/dependencies.json AND for\n * the runtime microservice graph.\n *\n * Signals (all resolved through the TypeScript checker, so re-exports resolve):\n *   - IMPLEMENTS: `apiFactory.addRoutes(XxxApi, XxxController)` — the registration\n *                 that actually SERVES the contract over the wire. We deliberately\n *                 do NOT use `class Ctrl extends XxxApi`: a class can extend an API\n *                 as an in-process test double / simulator (e.g. Server2Simulator)\n *                 without ever serving it — only `addRoutes` proves a served route.\n *   - USES:       `factory.createRpcClient(XxxApi, ...)`    → rpc client\n *                 `factory.createPubSubClient(XxxApi, ...)` → pubsub (Cloud Tasks) client\n *                 The config argument (`new ClientConfig('helper-fsdb')`) names WHICH service the\n *                 client talks to and is kept as `ApiRef.targetService` — see targetServiceOf.\n * An api-lib is DETECTED, not tagged: a project exporting an `abstract class`\n * carrying `@ApiPath` owns that API. Its transport is `@PubSub` → 'pubsub', else 'rpc'.\n *\n * Contracts are indexed from SOURCE in a pre-pass (ApiSourceIndexBuilder) rather than\n * from wherever the checker resolves an import to. A consumer without a tsconfig.base\n * `paths` entry resolves `import { XxxApi } from '@scope/xxx-api'` through node_modules\n * to the package's BUILT `dist/**.d.ts` — and tsc ERASES decorators when emitting\n * declarations, so `@ApiPath` can never be read there. Keying off the resolved\n * declaration therefore dropped whole services from the graph, silently. See\n * `recoverFromDeclaration`.\n */\n\nimport * as ts from 'typescript';\nimport * as fs from 'fs';\nimport * as path from 'path';\nimport { matchesAnyGlob } from '@webpieces/rules-config';\nimport type { EnhancedGraph } from '../graph-sorter';\nimport { ProjectInfo } from '../project-info';\nimport { findProjectTsconfig } from '../di-graph/program';\nimport { resolveClassDeclaration } from '../di-graph/bindings';\nimport {\n    ApiClassInfo,\n    ApiContract,\n    ApiContracts,\n    ApiRef,\n    ApiRelation,\n    EmptiedApiContract,\n    EndpointKind,\n    NonLiteralDecoratorArg,\n    ProjectApiRelations,\n    UndeclaredExternalCaller,\n    UndeclaredEndpointOperation,\n    UnresolvedApiCall,\n    UnresolvedEndpointPath,\n    apiRefKey,\n    deriveApiRelationKind,\n    sortApiRefs,\n} from './api-relations';\nimport {\n    ApiRulesForMcpError,\n    ApiRulesForOpenApiError,\n    EmptiedApiContractError,\n    MissingBasePathError,\n    RootUnionApiTypeError,\n    UndeclaredExternalCallerError,\n    UndeclaredEndpointOperationError,\n    UnresolvedEndpointPathError,\n} from './api-contract-errors';\nimport { RootUnionFindings, RootUnionRule, RootUnionScan } from './root-union-scan';\nimport { ApiDocRule, ApiDocRulesFindings, MCP_RULE, OPENAPI_RULE } from './api-doc-rules';\nimport { ApiDocRulesScan } from './api-doc-rules-scan';\nimport {\n    DecoratorArgDiagnostics,\n    apiClassInfoFrom,\n    apiClassInfoFromNode,\n    calleeMethodName,\n    collectTsFiles,\n    constructorParamsOf,\n    externalApiInfoFrom,\n    implementedTypeNames,\n    isAbstractClass,\n    isTestFile,\n    targetServiceOf,\n    typeReferenceName,\n} from './api-ast';\n\nconst RPC_CLIENT_METHOD = 'createRpcClient';\nconst PUBSUB_CLIENT_METHOD = 'createPubSubClient';\nconst ADD_ROUTES_METHOD = 'addRoutes';\n\n/** The whole-workspace result of a scan. */\nexport interface ApiScanResult {\n    /** projectName -> { apiLibProject -> relation }; only projects with ≥1 relation appear. */\n    relationsByProject: Map<string, ProjectApiRelations>;\n    /** Every project that owns ≥1 API contract class. */\n    apiLibProjects: Set<string>;\n    /** apiClassName -> where it lives + its transport. */\n    apiIndex: Map<string, ApiClassInfo>;\n    /**\n     * Projects whose production (non-test) source was actually scanned. A project with only test\n     * files (e.g. an e2e harness), or one the compiler couldn't load, is ABSENT — callers must not\n     * conclude \"no implements/uses\" for it, because its behavior was never observed.\n     */\n    scannedProjects: Set<string>;\n    /**\n     * Call sites naming a contract we could not map back to workspace source. Non-empty means the\n     * graph is INCOMPLETE — callers must surface these rather than emit a green, wrong graph.\n     */\n    unresolvedApiCalls: UnresolvedApiCall[];\n    /**\n     * Decorator arguments that were present but could not be reduced to a string (a cross-module\n     * constant, a computed expression). Each one costs the graph a basePath, a method, or — when it\n     * takes out every method of a class — the whole contract, so they must be surfaced.\n     */\n    nonLiteralDecoratorArgs: NonLiteralDecoratorArg[];\n    /**\n     * The subset of the above that is FATAL: an `@Endpoint` path that could not be read. Every client\n     * builds its URL as `basePath + path`, so this is missing routing, not missing metadata —\n     * buildApiContracts throws on a non-empty list rather than shipping a contract without it.\n     */\n    unresolvedEndpointPaths: UnresolvedEndpointPath[];\n    /**\n     * Contract classes that declared `@Endpoint` methods and kept none — the exact shape that used to\n     * slip out through buildApiContracts' zero-method skip, taking a whole service's queues with it.\n     */\n    emptiedApiContracts: EmptiedApiContract[];\n    /**\n     * `external` endpoints that did not say WHO calls them. Fatal: the inbound box on the runtime\n     * graph exists to name that system, and with nothing to name it restates our own contract name.\n     */\n    undeclaredExternalCallers: UndeclaredExternalCaller[];\n    /** Endpoints lacking the explicit side-effect contract used for retry safety and MCP hints. */\n    undeclaredEndpointOperations: UndeclaredEndpointOperation[];\n    /** `no-root-union-api-type`'s findings. Fatal in buildApiContracts — see root-union-scan.ts. */\n    rootUnions: RootUnionFindings;\n    /**\n     * `api-rules-for-openapi` / `api-rules-for-mcp` findings (#1011). Both ship OFF, so this is\n     * EMPTY unless a repo stated otherwise — no rule in this framework has a default (#1017).\n     */\n    apiDocRules: ApiDocRulesFindings;\n}\n\n/** Maps an absolute source-file path to the workspace project that owns it (longest-root-prefix). */\nclass ProjectLocator {\n    private readonly roots: ProjectRoot[];\n\n    constructor(workspaceRoot: string, projectInfos: Map<string, ProjectInfo>) {\n        const roots: ProjectRoot[] = [];\n        for (const info of projectInfos.values()) {\n            if (info.root === '' || info.root === '.') continue;\n            roots.push(new ProjectRoot(info.name, path.resolve(workspaceRoot, info.root)));\n        }\n        // Longest root first so a nested project wins over its parent.\n        this.roots = roots.sort((a: ProjectRoot, b: ProjectRoot) => b.abs.length - a.abs.length);\n    }\n\n    projectOf(absFile: string): string | null {\n        const normalized = path.resolve(absFile);\n        for (const root of this.roots) {\n            if (normalized === root.abs || normalized.startsWith(root.abs + path.sep))\n                return root.name;\n        }\n        return null;\n    }\n}\n\nclass ProjectRoot {\n    constructor(\n        public readonly name: string,\n        public readonly abs: string,\n    ) {}\n}\n\n/**\n * Every API contract in the workspace, keyed by class name, read from SOURCE.\n *\n * Name-keyed because a call site only ever gives us a name once its import has resolved into a\n * decorator-erased declaration. Two api-libs exporting the same class name collide (last wins) —\n * the same collision the published `apiIndex` has always had.\n */\nclass ApiSourceIndex {\n    constructor(\n        public readonly byName: Map<string, ApiClassInfo>,\n        public readonly owners: Set<string>,\n    ) {}\n\n    lookup(api: string): ApiClassInfo | null {\n        return this.byName.get(api) ?? null;\n    }\n}\n\n/**\n * Builds the ApiSourceIndex by parsing each project's own `src/**` directly.\n *\n * Deliberately parser-only (no ts.Program, no checker): we need the decorators exactly as\n * written, and a plain parse cannot be diverted to a `.d.ts` by module resolution — which is\n * the entire bug this guards against. It is also cheap enough to run over every project.\n */\nclass ApiSourceIndexBuilder {\n    private readonly byName = new Map<string, ApiClassInfo>();\n    private readonly owners = new Set<string>();\n\n    constructor(\n        private readonly workspaceRoot: string,\n        private readonly projectInfos: Map<string, ProjectInfo>,\n        /** Globs of project roots holding vendor contracts — see ExternalApiIndex. */\n        private readonly externalApiPaths: readonly string[],\n        /** Sink for decorator arguments this parser-only pass cannot reduce to a string. */\n        private readonly diagnostics: DecoratorArgDiagnostics,\n    ) {}\n\n    build(): ApiSourceIndex {\n        for (const info of this.projectInfos.values()) {\n            if (info.root === '' || info.root === '.') continue;\n            this.indexProject(info);\n        }\n        return new ApiSourceIndex(this.byName, this.owners);\n    }\n\n    private indexProject(info: ProjectInfo): void {\n        const srcDir = path.join(path.resolve(this.workspaceRoot, info.root), 'src');\n        if (!fs.existsSync(srcDir)) return;\n        const external = matchesAnyGlob(info.root, this.externalApiPaths);\n        for (const file of collectTsFiles(srcDir)) {\n            if (isTestFile(file)) continue; // tests are not production topology\n            const text = fs.readFileSync(file, 'utf8');\n            const sourceFile = ts.createSourceFile(file, text, ts.ScriptTarget.Latest, true);\n            this.indexNode(sourceFile, info.name, external);\n        }\n    }\n\n    private indexNode(node: ts.Node, project: string, external: boolean): void {\n        const info = external\n            ? externalApiInfoFrom(node, project)\n            : apiClassInfoFromNode(node, project, this.diagnostics);\n        if (info) {\n            this.owners.add(project);\n            this.byName.set(info.api, info);\n        }\n        ts.forEachChild(node, (child: ts.Node) => this.indexNode(child, project, external));\n    }\n}\n/** Per-owner accumulator that dedupes API refs while a single project is scanned. */\nclass RelationAccumulator {\n    private readonly implementsByOwner = new Map<string, Map<string, ApiRef>>();\n    private readonly usesByOwner = new Map<string, Map<string, ApiRef>>();\n\n    addImplements(owner: string, ref: ApiRef): void {\n        ensureRefMap(this.implementsByOwner, owner).set(apiRefKey(ref), ref);\n    }\n\n    /**\n     * Keyed by api + targetService: one project legitimately binds the SAME contract against two\n     * different services (a WarmupApi client per data server), and those are two relations, not one.\n     */\n    addUses(owner: string, ref: ApiRef): void {\n        ensureRefMap(this.usesByOwner, owner).set(apiRefKey(ref), ref);\n    }\n\n    /** Build the deterministic { owner -> relation } record, owners in sorted order. */\n    toRelations(): ProjectApiRelations {\n        const owners = new Set<string>([\n            ...this.implementsByOwner.keys(),\n            ...this.usesByOwner.keys(),\n        ]);\n        const relations: ProjectApiRelations = {};\n        for (const owner of [...owners].sort()) {\n            const implementsRefs = sortApiRefs([\n                ...(this.implementsByOwner.get(owner)?.values() ?? []),\n            ]);\n            const usesRefs = sortApiRefs([...(this.usesByOwner.get(owner)?.values() ?? [])]);\n            const relation: ApiRelation = {\n                kind: deriveApiRelationKind(implementsRefs, usesRefs),\n                implements: implementsRefs,\n                uses: usesRefs,\n            };\n            relations[owner] = relation;\n        }\n        return relations;\n    }\n\n    isEmpty(): boolean {\n        return this.implementsByOwner.size === 0 && this.usesByOwner.size === 0;\n    }\n}\n\n// webpieces-disable no-function-outside-class -- tiny map helper, matching the AST-helper style of di-graph/bindings.ts\nfunction ensureRefMap(map: Map<string, Map<string, ApiRef>>, owner: string): Map<string, ApiRef> {\n    let inner = map.get(owner);\n    if (!inner) {\n        inner = new Map<string, ApiRef>();\n        map.set(owner, inner);\n    }\n    return inner;\n}\n\n/** Statically scans every project for its api-lib implements/uses relationships. */\nexport class ApiUsageScanner {\n    private readonly locator: ProjectLocator;\n    private readonly relationsByProject = new Map<string, ProjectApiRelations>();\n    private readonly scannedProjects = new Set<string>();\n    private readonly unresolvedApiCalls: UnresolvedApiCall[] = [];\n    private readonly decoratorArgDiagnostics: DecoratorArgDiagnostics;\n    private sourceIndex = new ApiSourceIndex(new Map<string, ApiClassInfo>(), new Set<string>());\n\n    constructor(\n        private readonly workspaceRoot: string,\n        private readonly projectInfos: Map<string, ProjectInfo>,\n        /** Globs of project roots whose exported `*Api` types are contracts for outside systems. */\n        private readonly externalApiPaths: readonly string[] = [],\n        /** `no-root-union-api-type`'s switches — ARMED unless scanAndAttachApiRelations read otherwise. */\n        private readonly rootUnionRule: RootUnionRule = RootUnionRule.enabledEverywhere(),\n        /** `api-rules-for-openapi`'s switches — read from the config, which MUST state them (#1017). */\n        private readonly openApiRule: ApiDocRule = ApiDocRule.off(OPENAPI_RULE),\n        /** `api-rules-for-mcp`'s switches — read from the config, which MUST state them (#1017). */\n        private readonly mcpRule: ApiDocRule = ApiDocRule.off(MCP_RULE),\n    ) {\n        this.locator = new ProjectLocator(workspaceRoot, projectInfos);\n        this.decoratorArgDiagnostics = new DecoratorArgDiagnostics(workspaceRoot);\n    }\n\n    scan(): ApiScanResult {\n        // Pre-pass: every contract, from source, BEFORE any call site is resolved — a call site in\n        // one project routinely names a contract owned by a project we have not walked yet.\n        this.sourceIndex = new ApiSourceIndexBuilder(\n            this.workspaceRoot,\n            this.projectInfos,\n            this.externalApiPaths,\n            this.decoratorArgDiagnostics,\n        ).build();\n        for (const info of this.projectInfos.values()) {\n            if (info.root === '' || info.root === '.') continue;\n            this.scanProject(info);\n        }\n        return {\n            relationsByProject: this.relationsByProject,\n            apiLibProjects: this.sourceIndex.owners,\n            apiIndex: this.sourceIndex.byName,\n            scannedProjects: this.scannedProjects,\n            unresolvedApiCalls: this.unresolvedApiCalls,\n            nonLiteralDecoratorArgs: this.decoratorArgDiagnostics.all(),\n            unresolvedEndpointPaths: this.decoratorArgDiagnostics.unresolvedEndpointPaths(),\n            emptiedApiContracts: this.decoratorArgDiagnostics.emptiedContracts(),\n            undeclaredExternalCallers: this.decoratorArgDiagnostics.undeclaredExternalCallers(),\n            undeclaredEndpointOperations:\n                this.decoratorArgDiagnostics.undeclaredEndpointOperations(),\n            rootUnions: new RootUnionScan(\n                this.workspaceRoot,\n                this.projectInfos,\n                this.rootUnionRule,\n            ).run(),\n            apiDocRules: new ApiDocRulesScan(\n                this.workspaceRoot,\n                this.projectInfos,\n                this.openApiRule,\n                this.mcpRule,\n            ).run(),\n        };\n    }\n\n    private scanProject(info: ProjectInfo): void {\n        const program = createScanProgram(path.resolve(this.workspaceRoot, info.root));\n        if (!program) return;\n        const checker = program.getTypeChecker();\n        const accumulator = new RelationAccumulator();\n        let scannedProductionFile = false;\n\n        for (const sourceFile of program.getSourceFiles()) {\n            if (sourceFile.isDeclarationFile || sourceFile.fileName.includes('/node_modules/'))\n                continue;\n            if (isTestFile(sourceFile.fileName)) continue; // tests are not production topology\n            // Only this project's OWN files — imported api-lib source is in the program too.\n            if (this.locator.projectOf(sourceFile.fileName) !== info.name) continue;\n            scannedProductionFile = true;\n            this.visit(sourceFile, checker, info.name, accumulator);\n        }\n\n        // Record coverage only when we actually saw production source — an all-test project (e2e)\n        // stays absent so the validator won't wrongly flag its api-lib deps as unused.\n        if (scannedProductionFile) this.scannedProjects.add(info.name);\n        if (!accumulator.isEmpty())\n            this.relationsByProject.set(info.name, accumulator.toRelations());\n    }\n\n    private visit(\n        node: ts.Node,\n        checker: ts.TypeChecker,\n        project: string,\n        acc: RelationAccumulator,\n    ): void {\n        // In-repo contract classes are indexed by the source pre-pass, so only calls matter for them.\n        if (ts.isCallExpression(node)) this.recordCall(node, checker, project, acc);\n        // A VENDOR contract has no client-factory call site to key off — it arrives by injection —\n        // so classes have to be inspected too.\n        if (ts.isClassDeclaration(node)) this.recordExternalUses(node, acc);\n        ts.forEachChild(node, (child: ts.Node) => this.visit(child, checker, project, acc));\n    }\n\n    /**\n     * Record a `uses` for every vendor contract this class receives by CONSTRUCTOR INJECTION —\n     * `constructor(@inject(GMAIL_TYPES.GmailApi) private readonly gmail: GmailApi)`.\n     *\n     * The parameter TYPE is the signal, not the token: a token is an opaque Symbol whose name we\n     * would have to guess at, while the type is written right there and is what the class actually\n     * calls. Matching happens by name against the external index, so an import that resolves to a\n     * built `.d.ts` works exactly as well as one resolving to source.\n     *\n     * A class that IMPLEMENTS the contract is skipped — that is the vendor adapter (`GmailClient`)\n     * or a test double (`InMemoryFirestore`, `MockTts`), which IS the seam rather than a caller of\n     * it. Counting those would draw an edge from every service embedding a fake to a vendor it never\n     * actually reaches.\n     */\n    private recordExternalUses(cls: ts.ClassDeclaration, acc: RelationAccumulator): void {\n        const implemented = implementedTypeNames(cls);\n        for (const param of constructorParamsOf(cls)) {\n            const typeName = typeReferenceName(param.type);\n            if (typeName === null || implemented.has(typeName)) continue;\n            const info = this.sourceIndex.lookup(typeName);\n            if (info === null || info.type !== 'external') continue;\n            acc.addUses(info.owner, { api: info.api, type: 'external' });\n        }\n    }\n\n    private recordCall(\n        call: ts.CallExpression,\n        checker: ts.TypeChecker,\n        project: string,\n        acc: RelationAccumulator,\n    ): void {\n        const method = calleeMethodName(call);\n        if (method === null || call.arguments.length === 0) return;\n        if (method === ADD_ROUTES_METHOD) {\n            const info = this.apiInfoFromExpr(call.arguments[0], checker, project);\n            if (info) acc.addImplements(info.owner, { api: info.api, type: info.type });\n            return;\n        }\n        if (method === RPC_CLIENT_METHOD || method === PUBSUB_CLIENT_METHOD) {\n            const info = this.apiInfoFromExpr(call.arguments[0], checker, project);\n            if (!info) return;\n            // Argument 2 names WHICH service this client talks to. Keeping it is what lets the\n            // runtime graph draw ONE edge instead of one per implementer of the contract.\n            const targetService = targetServiceOf(call);\n            const ref: ApiRef = { api: info.api, type: info.type };\n            if (targetService !== null) ref.targetService = targetService;\n            acc.addUses(info.owner, ref);\n        }\n    }\n\n    /** Resolve an expression to the API contract it names, or null if it is not one. */\n    private apiInfoFromExpr(\n        expr: ts.Expression,\n        checker: ts.TypeChecker,\n        project: string,\n    ): ApiClassInfo | null {\n        const decl = resolveClassDeclaration(expr, checker);\n        if (!decl) return null;\n        const fromSource = this.apiClassInfoFor(decl);\n        return fromSource ?? this.recoverFromDeclaration(decl, expr, project);\n    }\n\n    /**\n     * The checker landed on a BUILT declaration instead of source — the consumer has no\n     * tsconfig.base `paths` entry for the api-lib, so the import went through node_modules to\n     * `dist/**.d.ts`. tsc erases decorators when emitting declarations, so `@ApiPath` is simply\n     * not there and never will be. Recover the contract by name from the source index; the graph\n     * is then correct no matter how the consumer's tsconfig is laid out.\n     */\n    private recoverFromDeclaration(\n        decl: ts.ClassDeclaration,\n        expr: ts.Expression,\n        project: string,\n    ): ApiClassInfo | null {\n        // An abstract class is the shape of a contract; a non-abstract argument is genuinely not one.\n        if (!decl.getSourceFile().isDeclarationFile || !isAbstractClass(decl) || !decl.name)\n            return null;\n        const recovered = this.sourceIndex.lookup(decl.name.text);\n        if (recovered) return recovered;\n        // Abstract, in a .d.ts, yet no workspace source owns it — the scan is blind here. Say so.\n        this.unresolvedApiCalls.push(\n            new UnresolvedApiCall(\n                project,\n                decl.name.text,\n                this.relativeLocation(expr),\n                this.relativePath(decl.getSourceFile().fileName),\n            ),\n        );\n        return null;\n    }\n\n    /** `path/to/file.ts:LINE` for `node`, workspace-relative, for a human-readable report. */\n    private relativeLocation(node: ts.Node): string {\n        const sourceFile = node.getSourceFile();\n        const position = sourceFile.getLineAndCharacterOfPosition(node.getStart());\n        return `${this.relativePath(sourceFile.fileName)}:${position.line + 1}`;\n    }\n\n    private relativePath(absFile: string): string {\n        return path.relative(this.workspaceRoot, absFile);\n    }\n\n    /**\n     * {api, owner, type, methods} when `cls` is an `abstract class` carrying `@ApiPath` IN SOURCE,\n     * else null. Only the OWNER differs from the index pre-pass — here it comes from the file's\n     * location rather than from the project being walked — so the contract test itself is delegated\n     * to apiClassInfoFrom, keeping one definition of \"this is a contract\".\n     */\n    private apiClassInfoFor(cls: ts.ClassDeclaration): ApiClassInfo | null {\n        const owner = this.locator.projectOf(cls.getSourceFile().fileName);\n        if (owner === null) return null;\n        return apiClassInfoFrom(cls, owner);\n    }\n}\n\n/**\n * Run the scan and attach the derived `apiRelations` onto each graph entry in\n * place. Shared by `architecture:generate` (which then saves) and\n * `architecture:validate-architecture-unchanged` (which regenerates in memory\n * and must attach the SAME field, or it would see a phantom diff). Returns the\n * full scan so callers (validators, runtime graph) can reuse the api index.\n */\n// webpieces-disable no-function-outside-class -- module entry point, mirrors generateReducedGraph/collectBindings\nexport function scanAndAttachApiRelations(\n    workspaceRoot: string,\n    graph: EnhancedGraph,\n    projectInfos: Map<string, ProjectInfo>,\n    externalApiPaths: readonly string[] = [],\n): ApiScanResult {\n    const result = new ApiUsageScanner(\n        workspaceRoot,\n        projectInfos,\n        externalApiPaths,\n        RootUnionRule.fromConfig(workspaceRoot),\n        ApiDocRule.fromConfig(workspaceRoot, OPENAPI_RULE),\n        ApiDocRule.fromConfig(workspaceRoot, MCP_RULE),\n    ).scan();\n    for (const projectName of result.relationsByProject.keys()) {\n        const entry = graph[projectName];\n        if (entry) entry.apiRelations = result.relationsByProject.get(projectName);\n    }\n    return result;\n}\n\n/**\n * The committed api contract table (one `architecture/apis/<ApiName>.json` per entry), from a\n * completed scan.\n *\n * Only contracts with ≥1 endpoint are emitted: a vendor seam has no routes, so a table entry for it\n * would be an empty shell, and its identity is already carried by the `external` refs in\n * apiRelations. Sorted by api name, methods left in declaration order, so the file is deterministic.\n *\n * THROWS on the ways an entry can be wrong-but-green, checked root cause first:\n *   1. an `@Endpoint` path the scan could not read (UnresolvedEndpointPathError) — the other half of\n *      the URL a consumer computes, and the cause of most emptied contracts;\n *   2. a class that declared endpoints and kept none (EmptiedApiContractError), which would otherwise\n *      leave silently through the zero-method skip above;\n *   3. a method without an explicit operation (UndeclaredEndpointOperationError);\n *   4. an `external` method that never said WHO calls it (UndeclaredExternalCallerError);\n *   5. a routed contract with no basePath (MissingBasePathError).\n * All are worse than an absent entry: a consumer joining `basePath + path` computes a\n * confidently wrong URL with no signal that anything is off, because every other entry is complete.\n * Each error aggregates EVERY offender, so a developer fixing five constants sees five in one run.\n */\n// webpieces-disable no-function-outside-class -- module entry point, mirrors scanAndAttachApiRelations\nexport function buildApiContracts(scan: ApiScanResult): ApiContracts {\n    // Root cause before symptom: an unreadable path is what empties a contract, so naming the paths\n    // is what the author can actually act on.\n    if (scan.unresolvedEndpointPaths.length > 0)\n        throw new UnresolvedEndpointPathError(scan.unresolvedEndpointPaths);\n    if (scan.emptiedApiContracts.length > 0)\n        throw new EmptiedApiContractError(scan.emptiedApiContracts);\n    if (scan.undeclaredEndpointOperations.length > 0) {\n        throw new UndeclaredEndpointOperationError(scan.undeclaredEndpointOperations);\n    }\n    // A shape no function-calling API will accept, read perfectly well — unlike the four above, which\n    // are contracts the scan could not READ at all.\n    if (!scan.rootUnions.isEmpty()) throw new RootUnionApiTypeError(scan.rootUnions);\n    // Contract shapes that are not PUBLISHABLE, read by the generator's own extractor (#1011).\n    // After the root union, which is the one shape no function-calling API will accept at all, and\n    // before the caller checks below, which are about the architecture graph rather than a document.\n    if (!scan.apiDocRules.openApi.isEmpty()) {\n        throw new ApiRulesForOpenApiError(scan.apiDocRules.openApi);\n    }\n    if (!scan.apiDocRules.mcp.isEmpty()) {\n        throw new ApiRulesForMcpError(scan.apiDocRules.mcp, scan.apiDocRules.mcpExclusions);\n    }\n    // After the two above: an unreadable path is what empties a contract, and a contract that lost\n    // every method has no external endpoint left to complain about.\n    if (scan.undeclaredExternalCallers.length > 0) {\n        throw new UndeclaredExternalCallerError(scan.undeclaredExternalCallers);\n    }\n    const contracts: ApiContracts = {};\n    const missing: string[] = [];\n    for (const api of [...scan.apiIndex.keys()].sort()) {\n        const info = scan.apiIndex.get(api)!;\n        if (info.methods.length === 0) continue;\n        if (info.basePath === undefined) {\n            missing.push(`${api} (owner ${info.owner})`);\n            continue;\n        }\n        const contract: ApiContract = {\n            owner: info.owner,\n            apiKind: info.type,\n            basePath: info.basePath,\n            methods: info.methods,\n        };\n        contracts[api] = contract;\n    }\n    if (missing.length > 0) throw new MissingBasePathError(missing);\n    return contracts;\n}\n\n/**\n * Loud, actionable report for decorator arguments the scan could not reduce to a string.\n *\n * Same-module constants resolve, so anything reaching here is genuinely out of reach of a\n * parser-only pass — and every one of them silently shrinks the graph. Empty string when there is\n * nothing to say, so callers can test it without special-casing.\n */\n// webpieces-disable no-function-outside-class -- pure formatter, mirrors describeUnresolvedApiCalls\nexport function describeNonLiteralDecoratorArgs(args: readonly NonLiteralDecoratorArg[]): string {\n    if (args.length === 0) return '';\n    const lines = [\n        `⚠️  ${args.length} decorator argument(s) are not string literals and could not be resolved.`,\n        `   Each one drops data from the graph: a missing basePath, a missing method, or a whole contract:`,\n    ];\n    for (const arg of args) {\n        const where = arg.method === null ? arg.api : `${arg.api}.${arg.method}`;\n        lines.push(`     • @${arg.decorator}(${arg.argument}) on ${where} at ${arg.at}`);\n    }\n    lines.push(\n        `   A constant declared in the SAME module resolves. One imported from another module does not —`,\n        `   this scan is parser-only by design (module resolution can land on a decorator-erased .d.ts).`,\n        `   Fix by inlining the string literal, or by moving the constant into the contract's own module.`,\n    );\n    return lines.join('\\n');\n}\n\n/**\n * Every contract method whose declared @Endpoint kind its api kind cannot deliver — an rpc method on\n * a @PubSub contract (nothing calls a queue synchronously), or a cloudtasks/cron method on an @Rpc\n * contract (naming a queue or schedule nothing could deliver to). Mirrors core-util's\n * ENDPOINT_KINDS_BY_API_KIND at BUILD time, where it can name the file instead of throwing at wiring.\n */\n// webpieces-disable no-function-outside-class -- pure formatter, mirrors describeUnresolvedApiCalls\nexport function describeMismatchedEndpointKinds(contracts: ApiContracts): string[] {\n    const allowedByKind: Record<string, readonly EndpointKind[]> = {\n        rpc: ['rpc', 'external'],\n        pubsub: ['cloudtasks', 'cron', 'external'],\n    };\n    const problems: string[] = [];\n    for (const api of Object.keys(contracts)) {\n        const contract = contracts[api];\n        const allowed = allowedByKind[contract.apiKind];\n        if (allowed === undefined) continue;\n        for (const method of contract.methods) {\n            if (allowed.includes(method.kind)) continue;\n            problems.push(\n                `${api}.${method.name} declares @Endpoint(${method.httpMethod ?? 'POST'}, '${method.path}', ${method.operation}, ${method.kind}) but ${api} is ` +\n                    `@${contract.apiKind === 'pubsub' ? 'PubSub' : 'Rpc'} — allowed kinds are ${allowed.join(' | ')}.`,\n            );\n        }\n    }\n    return problems;\n}\n\n/**\n * Build a program for scanning ONE project. Prefers the project's compile tsconfig; but when that\n * is a solution-style tsconfig (only `references`, no `files`/`include` — e.g. legacy-server), it\n * yields zero files, so we fall back to globbing the project's own `src/**` and reuse the resolved\n * compiler options (which carry tsconfig.base `paths` for cross-package @webpieces resolution).\n *\n * `paths` is a PREFERENCE, not a precondition: it lets imports resolve straight to source. Without\n * it they land on a decorator-erased `dist/**.d.ts`, which the source index recovers from — see\n * ApiUsageScanner.recoverFromDeclaration.\n */\n// webpieces-disable no-function-outside-class -- ts Program factory, mirrors di-graph/program.ts\nfunction createScanProgram(projectRootAbs: string): ts.Program | null {\n    const configPath = findProjectTsconfig(projectRootAbs);\n    if (!configPath) return buildProgramFromSrc(projectRootAbs, {});\n    const host = Object.assign({}, ts.sys, {\n        onUnRecoverableConfigFileDiagnostic: (): void => undefined,\n    }) as ts.ParseConfigFileHost;\n    const parsed = ts.getParsedCommandLineOfConfigFile(configPath, {}, host);\n    if (!parsed) return null;\n    if (parsed.fileNames.length > 0) return ts.createProgram(parsed.fileNames, parsed.options);\n    return buildProgramFromSrc(projectRootAbs, parsed.options);\n}\n\n// webpieces-disable no-function-outside-class -- ts Program factory helper, mirrors di-graph/program.ts\nfunction buildProgramFromSrc(\n    projectRootAbs: string,\n    options: ts.CompilerOptions,\n): ts.Program | null {\n    const srcDir = path.join(projectRootAbs, 'src');\n    if (!fs.existsSync(srcDir)) return null;\n    const files = collectTsFiles(srcDir);\n    return files.length > 0 ? ts.createProgram(files, options) : null;\n}\n"]}
+{"version":3,"file":"api-scanner.js","sourceRoot":"","sources":["../../../../../../../packages/tooling/nx-webpieces-rules/src/lib/api-usage/api-scanner.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;;;AA6eH,8DAoBC;AAuBD,8CA8CC;AAUD,0EAgBC;AASD,0EAmBC;;AA1nBD,uDAAiC;AACjC,+CAAyB;AACzB,mDAA6B;AAC7B,0DAAyD;AAGzD,iDAA0D;AAC1D,mDAA+D;AAC/D,mDAiByB;AACzB,+DAS+B;AAC/B,uDAAoF;AACpF,mDAA0F;AAC1F,6DAAuD;AACvD,iDAAiD;AACjD,uCAamB;AAEnB,MAAM,iBAAiB,GAAG,iBAAiB,CAAC;AAC5C,MAAM,oBAAoB,GAAG,oBAAoB,CAAC;AAClD,MAAM,iBAAiB,GAAG,WAAW,CAAC;AAsDtC,qGAAqG;AACrG,MAAM,cAAc;IACC,KAAK,CAAgB;IAEtC,YAAY,aAAqB,EAAE,YAAsC;QACrE,MAAM,KAAK,GAAkB,EAAE,CAAC;QAChC,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,MAAM,EAAE,EAAE,CAAC;YACvC,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,IAAI,IAAI,CAAC,IAAI,KAAK,GAAG;gBAAE,SAAS;YACpD,KAAK,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnF,CAAC;QACD,+DAA+D;QAC/D,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAc,EAAE,CAAc,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC7F,CAAC;IAED,SAAS,CAAC,OAAe;QACrB,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACzC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC5B,IAAI,UAAU,KAAK,IAAI,CAAC,GAAG,IAAI,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;gBACrE,OAAO,IAAI,CAAC,IAAI,CAAC;QACzB,CAAC;QACD,OAAO,IAAI,CAAC;IAChB,CAAC;CACJ;AAED,MAAM,WAAW;IAEO;IACA;IAFpB,YACoB,IAAY,EACZ,GAAW;QADX,SAAI,GAAJ,IAAI,CAAQ;QACZ,QAAG,GAAH,GAAG,CAAQ;IAC5B,CAAC;CACP;AAED;;;;;;GAMG;AACH,MAAM,cAAc;IAEI;IACA;IAFpB,YACoB,MAAiC,EACjC,MAAmB;QADnB,WAAM,GAAN,MAAM,CAA2B;QACjC,WAAM,GAAN,MAAM,CAAa;IACpC,CAAC;IAEJ,MAAM,CAAC,GAAW;QACd,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC;IACxC,CAAC;CACJ;AAED;;;;;;GAMG;AACH,MAAM,qBAAqB;IAKF;IACA;IAEA;IAEA;IATJ,MAAM,GAAG,IAAI,GAAG,EAAwB,CAAC;IACzC,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IAE5C,YACqB,aAAqB,EACrB,YAAsC;IACvD,8EAA8E;IAC7D,gBAAmC;IACpD,oFAAoF;IACnE,WAAoC;QALpC,kBAAa,GAAb,aAAa,CAAQ;QACrB,iBAAY,GAAZ,YAAY,CAA0B;QAEtC,qBAAgB,GAAhB,gBAAgB,CAAmB;QAEnC,gBAAW,GAAX,WAAW,CAAyB;IACtD,CAAC;IAEJ,KAAK;QACD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,EAAE,CAAC;YAC5C,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,IAAI,IAAI,CAAC,IAAI,KAAK,GAAG;gBAAE,SAAS;YACpD,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QAC5B,CAAC;QACD,OAAO,IAAI,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;IACxD,CAAC;IAEO,YAAY,CAAC,IAAiB;QAClC,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;QAC7E,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC;YAAE,OAAO;QACnC,MAAM,QAAQ,GAAG,IAAA,6BAAc,EAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAClE,KAAK,MAAM,IAAI,IAAI,IAAA,wBAAc,EAAC,MAAM,CAAC,EAAE,CAAC;YACxC,IAAI,IAAA,oBAAU,EAAC,IAAI,CAAC;gBAAE,SAAS,CAAC,oCAAoC;YACpE,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAC3C,MAAM,UAAU,GAAG,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;YACjF,IAAI,CAAC,SAAS,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACpD,CAAC;IACL,CAAC;IAEO,SAAS,CAAC,IAAa,EAAE,OAAe,EAAE,QAAiB;QAC/D,MAAM,IAAI,GAAG,QAAQ;YACjB,CAAC,CAAC,IAAA,6BAAmB,EAAC,IAAI,EAAE,OAAO,CAAC;YACpC,CAAC,CAAC,IAAA,8BAAoB,EAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;QAC5D,IAAI,IAAI,EAAE,CAAC;YACP,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACzB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACpC,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,KAAc,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;IACxF,CAAC;CACJ;AACD,qFAAqF;AACrF,MAAM,mBAAmB;IACJ,iBAAiB,GAAG,IAAI,GAAG,EAA+B,CAAC;IAC3D,WAAW,GAAG,IAAI,GAAG,EAA+B,CAAC;IAEtE,aAAa,CAAC,KAAa,EAAE,GAAW;QACpC,YAAY,CAAC,IAAI,CAAC,iBAAiB,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,IAAA,yBAAS,EAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;IACzE,CAAC;IAED;;;OAGG;IACH,OAAO,CAAC,KAAa,EAAE,GAAW;QAC9B,YAAY,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,IAAA,yBAAS,EAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;IACnE,CAAC;IAED,oFAAoF;IACpF,WAAW;QACP,MAAM,MAAM,GAAG,IAAI,GAAG,CAAS;YAC3B,GAAG,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE;YAChC,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE;SAC7B,CAAC,CAAC;QACH,MAAM,SAAS,GAAwB,EAAE,CAAC;QAC1C,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;YACrC,MAAM,cAAc,GAAG,IAAA,2BAAW,EAAC;gBAC/B,GAAG,CAAC,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;aACzD,CAAC,CAAC;YACH,MAAM,QAAQ,GAAG,IAAA,2BAAW,EAAC,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YACjF,MAAM,QAAQ,GAAgB;gBAC1B,IAAI,EAAE,IAAA,qCAAqB,EAAC,cAAc,EAAE,QAAQ,CAAC;gBACrD,UAAU,EAAE,cAAc;gBAC1B,IAAI,EAAE,QAAQ;aACjB,CAAC;YACF,SAAS,CAAC,KAAK,CAAC,GAAG,QAAQ,CAAC;QAChC,CAAC;QACD,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,OAAO;QACH,OAAO,IAAI,CAAC,iBAAiB,CAAC,IAAI,KAAK,CAAC,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,KAAK,CAAC,CAAC;IAC5E,CAAC;CACJ;AAED,wHAAwH;AACxH,SAAS,YAAY,CAAC,GAAqC,EAAE,KAAa;IACtE,IAAI,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC3B,IAAI,CAAC,KAAK,EAAE,CAAC;QACT,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;QAClC,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC1B,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,oFAAoF;AACpF,MAAa,eAAe;IASH;IACA;IAEA;IAEA;IAEA;IAEA;IACA;IAlBJ,OAAO,CAAiB;IACxB,kBAAkB,GAAG,IAAI,GAAG,EAA+B,CAAC;IAC5D,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,kBAAkB,GAAwB,EAAE,CAAC;IAC7C,uBAAuB,CAA0B;IAC1D,WAAW,GAAG,IAAI,cAAc,CAAC,IAAI,GAAG,EAAwB,EAAE,IAAI,GAAG,EAAU,CAAC,CAAC;IAE7F,YACqB,aAAqB,EACrB,YAAsC;IACvD,4FAA4F;IAC3E,mBAAsC,EAAE;IACzD,mGAAmG;IAClF,gBAA+B,+BAAa,CAAC,iBAAiB,EAAE;IACjF,gGAAgG;IAC/E,cAA0B,0BAAU,CAAC,GAAG,CAAC,4BAAY,CAAC;IACvE,4FAA4F;IAC3E,UAAsB,0BAAU,CAAC,GAAG,CAAC,wBAAQ,CAAC,EAC9C,kBAAmC,8BAAe,CAAC,eAAe,EAAE;QAVpE,kBAAa,GAAb,aAAa,CAAQ;QACrB,iBAAY,GAAZ,YAAY,CAA0B;QAEtC,qBAAgB,GAAhB,gBAAgB,CAAwB;QAExC,kBAAa,GAAb,aAAa,CAAmD;QAEhE,gBAAW,GAAX,WAAW,CAA2C;QAEtD,YAAO,GAAP,OAAO,CAAuC;QAC9C,oBAAe,GAAf,eAAe,CAAqD;QAErF,IAAI,CAAC,OAAO,GAAG,IAAI,cAAc,CAAC,aAAa,EAAE,YAAY,CAAC,CAAC;QAC/D,IAAI,CAAC,uBAAuB,GAAG,IAAI,iCAAuB,CAAC,aAAa,CAAC,CAAC;IAC9E,CAAC;IAED,IAAI;QACA,2FAA2F;QAC3F,oFAAoF;QACpF,IAAI,CAAC,WAAW,GAAG,IAAI,qBAAqB,CACxC,IAAI,CAAC,aAAa,EAClB,IAAI,CAAC,YAAY,EACjB,IAAI,CAAC,gBAAgB,EACrB,IAAI,CAAC,uBAAuB,CAC/B,CAAC,KAAK,EAAE,CAAC;QACV,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,EAAE,CAAC;YAC5C,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,IAAI,IAAI,CAAC,IAAI,KAAK,GAAG;gBAAE,SAAS;YACpD,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;QAC3B,CAAC;QACD,OAAO;YACH,kBAAkB,EAAE,IAAI,CAAC,kBAAkB;YAC3C,cAAc,EAAE,IAAI,CAAC,WAAW,CAAC,MAAM;YACvC,QAAQ,EAAE,IAAI,CAAC,WAAW,CAAC,MAAM;YACjC,eAAe,EAAE,IAAI,CAAC,eAAe;YACrC,kBAAkB,EAAE,IAAI,CAAC,kBAAkB;YAC3C,uBAAuB,EAAE,IAAI,CAAC,uBAAuB,CAAC,GAAG,EAAE;YAC3D,uBAAuB,EAAE,IAAI,CAAC,uBAAuB,CAAC,uBAAuB,EAAE;YAC/E,mBAAmB,EAAE,IAAI,CAAC,uBAAuB,CAAC,gBAAgB,EAAE;YACpE,yBAAyB,EAAE,IAAI,CAAC,uBAAuB,CAAC,yBAAyB,EAAE;YACnF,4BAA4B,EACxB,IAAI,CAAC,uBAAuB,CAAC,4BAA4B,EAAE;YAC/D,UAAU,EAAE,IAAI,+BAAa,CACzB,IAAI,CAAC,aAAa,EAClB,IAAI,CAAC,YAAY,EACjB,IAAI,CAAC,aAAa,CACrB,CAAC,GAAG,EAAE;YACP,WAAW,EAAE,IAAI,oCAAe,CAC5B,IAAI,CAAC,aAAa,EAClB,IAAI,CAAC,YAAY,EACjB,IAAI,CAAC,WAAW,EAChB,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,eAAe,CACrC,CAAC,GAAG,EAAE;SACV,CAAC;IACN,CAAC;IAEO,WAAW,CAAC,IAAiB;QACjC,MAAM,OAAO,GAAG,iBAAiB,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAC/E,IAAI,CAAC,OAAO;YAAE,OAAO;QACrB,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;QACzC,MAAM,WAAW,GAAG,IAAI,mBAAmB,EAAE,CAAC;QAC9C,IAAI,qBAAqB,GAAG,KAAK,CAAC;QAElC,KAAK,MAAM,UAAU,IAAI,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC;YAChD,IAAI,UAAU,CAAC,iBAAiB,IAAI,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,gBAAgB,CAAC;gBAC9E,SAAS;YACb,IAAI,IAAA,oBAAU,EAAC,UAAU,CAAC,QAAQ,CAAC;gBAAE,SAAS,CAAC,oCAAoC;YACnF,iFAAiF;YACjF,IAAI,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC,IAAI;gBAAE,SAAS;YACxE,qBAAqB,GAAG,IAAI,CAAC;YAC7B,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QAC5D,CAAC;QAED,0FAA0F;QAC1F,+EAA+E;QAC/E,IAAI,qBAAqB;YAAE,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/D,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE;YACtB,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,WAAW,EAAE,CAAC,CAAC;IAC1E,CAAC;IAEO,KAAK,CACT,IAAa,EACb,OAAuB,EACvB,OAAe,EACf,GAAwB;QAExB,8FAA8F;QAC9F,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YAAE,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;QAC5E,2FAA2F;QAC3F,uCAAuC;QACvC,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;YAAE,IAAI,CAAC,kBAAkB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACpE,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,KAAc,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC;IACxF,CAAC;IAED;;;;;;;;;;;;;OAaG;IACK,kBAAkB,CAAC,GAAwB,EAAE,GAAwB;QACzE,MAAM,WAAW,GAAG,IAAA,8BAAoB,EAAC,GAAG,CAAC,CAAC;QAC9C,KAAK,MAAM,KAAK,IAAI,IAAA,6BAAmB,EAAC,GAAG,CAAC,EAAE,CAAC;YAC3C,MAAM,QAAQ,GAAG,IAAA,2BAAiB,EAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC/C,IAAI,QAAQ,KAAK,IAAI,IAAI,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAAE,SAAS;YAC7D,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YAC/C,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;gBAAE,SAAS;YACxD,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;QACjE,CAAC;IACL,CAAC;IAEO,UAAU,CACd,IAAuB,EACvB,OAAuB,EACvB,OAAe,EACf,GAAwB;QAExB,MAAM,MAAM,GAAG,IAAA,0BAAgB,EAAC,IAAI,CAAC,CAAC;QACtC,IAAI,MAAM,KAAK,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO;QAC3D,IAAI,MAAM,KAAK,iBAAiB,EAAE,CAAC;YAC/B,MAAM,IAAI,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACvE,IAAI,IAAI;gBAAE,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YAC5E,OAAO;QACX,CAAC;QACD,IAAI,MAAM,KAAK,iBAAiB,IAAI,MAAM,KAAK,oBAAoB,EAAE,CAAC;YAClE,MAAM,IAAI,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACvE,IAAI,CAAC,IAAI;gBAAE,OAAO;YAClB,mFAAmF;YACnF,8EAA8E;YAC9E,MAAM,aAAa,GAAG,IAAA,yBAAe,EAAC,IAAI,CAAC,CAAC;YAC5C,MAAM,GAAG,GAAW,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;YACvD,IAAI,aAAa,KAAK,IAAI;gBAAE,GAAG,CAAC,aAAa,GAAG,aAAa,CAAC;YAC9D,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACjC,CAAC;IACL,CAAC;IAED,oFAAoF;IAC5E,eAAe,CACnB,IAAmB,EACnB,OAAuB,EACvB,OAAe;QAEf,MAAM,IAAI,GAAG,IAAA,kCAAuB,EAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACpD,IAAI,CAAC,IAAI;YAAE,OAAO,IAAI,CAAC;QACvB,MAAM,UAAU,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;QAC9C,OAAO,UAAU,IAAI,IAAI,CAAC,sBAAsB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAC1E,CAAC;IAED;;;;;;OAMG;IACK,sBAAsB,CAC1B,IAAyB,EACzB,IAAmB,EACnB,OAAe;QAEf,8FAA8F;QAC9F,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,iBAAiB,IAAI,CAAC,IAAA,yBAAe,EAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;YAC/E,OAAO,IAAI,CAAC;QAChB,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1D,IAAI,SAAS;YAAE,OAAO,SAAS,CAAC;QAChC,0FAA0F;QAC1F,IAAI,CAAC,kBAAkB,CAAC,IAAI,CACxB,IAAI,iCAAiB,CACjB,OAAO,EACP,IAAI,CAAC,IAAI,CAAC,IAAI,EACd,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAC3B,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,QAAQ,CAAC,CACnD,CACJ,CAAC;QACF,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,0FAA0F;IAClF,gBAAgB,CAAC,IAAa;QAClC,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;QACxC,MAAM,QAAQ,GAAG,UAAU,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC3E,OAAO,GAAG,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;IAC5E,CAAC;IAEO,YAAY,CAAC,OAAe;QAChC,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC;IACtD,CAAC;IAED;;;;;OAKG;IACK,eAAe,CAAC,GAAwB;QAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,aAAa,EAAE,CAAC,QAAQ,CAAC,CAAC;QACnE,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAChC,OAAO,IAAA,0BAAgB,EAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACxC,CAAC;CACJ;AAvND,0CAuNC;AAED;;;;;;GAMG;AACH,kHAAkH;AAClH,SAAgB,yBAAyB,CACrC,aAAqB,EACrB,KAAoB,EACpB,YAAsC,EACtC,mBAAsC,EAAE;IAExC,MAAM,MAAM,GAAG,IAAI,eAAe,CAC9B,aAAa,EACb,YAAY,EACZ,gBAAgB,EAChB,+BAAa,CAAC,UAAU,CAAC,aAAa,CAAC,EACvC,0BAAU,CAAC,UAAU,CAAC,aAAa,EAAE,4BAAY,CAAC,EAClD,0BAAU,CAAC,UAAU,CAAC,aAAa,EAAE,wBAAQ,CAAC,EAC9C,8BAAe,CAAC,UAAU,CAAC,aAAa,CAAC,CAC5C,CAAC,IAAI,EAAE,CAAC;IACT,KAAK,MAAM,WAAW,IAAI,MAAM,CAAC,kBAAkB,CAAC,IAAI,EAAE,EAAE,CAAC;QACzD,MAAM,KAAK,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC;QACjC,IAAI,KAAK;YAAE,KAAK,CAAC,YAAY,GAAG,MAAM,CAAC,kBAAkB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,uGAAuG;AACvG,SAAgB,iBAAiB,CAAC,IAAmB;IACjD,gGAAgG;IAChG,0CAA0C;IAC1C,IAAI,IAAI,CAAC,uBAAuB,CAAC,MAAM,GAAG,CAAC;QACvC,MAAM,IAAI,iDAA2B,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;IACxE,IAAI,IAAI,CAAC,mBAAmB,CAAC,MAAM,GAAG,CAAC;QACnC,MAAM,IAAI,6CAAuB,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;IAChE,IAAI,IAAI,CAAC,4BAA4B,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/C,MAAM,IAAI,sDAAgC,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;IAClF,CAAC;IACD,kGAAkG;IAClG,gDAAgD;IAChD,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE;QAAE,MAAM,IAAI,2CAAqB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACjF,2FAA2F;IAC3F,+FAA+F;IAC/F,iGAAiG;IACjG,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;QACtC,MAAM,IAAI,6CAAuB,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;IAChE,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;QAClC,MAAM,IAAI,yCAAmB,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC;IACxF,CAAC;IACD,+FAA+F;IAC/F,gEAAgE;IAChE,IAAI,IAAI,CAAC,yBAAyB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5C,MAAM,IAAI,mDAA6B,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IAC5E,CAAC;IACD,MAAM,SAAS,GAAiB,EAAE,CAAC;IACnC,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACjD,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC;QACrC,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACxC,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC9B,OAAO,CAAC,IAAI,CAAC,GAAG,GAAG,WAAW,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC;YAC7C,SAAS;QACb,CAAC;QACD,MAAM,QAAQ,GAAgB;YAC1B,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,OAAO,EAAE,IAAI,CAAC,IAAI;YAClB,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,OAAO,EAAE,IAAI,CAAC,OAAO;SACxB,CAAC;QACF,SAAS,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC;IAC9B,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,0CAAoB,CAAC,OAAO,CAAC,CAAC;IAChE,OAAO,SAAS,CAAC;AACrB,CAAC;AAED;;;;;;GAMG;AACH,oGAAoG;AACpG,SAAgB,+BAA+B,CAAC,IAAuC;IACnF,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACjC,MAAM,KAAK,GAAG;QACV,OAAO,IAAI,CAAC,MAAM,2EAA2E;QAC7F,mGAAmG;KACtG,CAAC;IACF,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;QACzE,KAAK,CAAC,IAAI,CAAC,WAAW,GAAG,CAAC,SAAS,IAAI,GAAG,CAAC,QAAQ,QAAQ,KAAK,OAAO,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;IACrF,CAAC;IACD,KAAK,CAAC,IAAI,CACN,iGAAiG,EACjG,iGAAiG,EACjG,kGAAkG,CACrG,CAAC;IACF,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC5B,CAAC;AAED;;;;;GAKG;AACH,oGAAoG;AACpG,SAAgB,+BAA+B,CAAC,SAAuB;IACnE,MAAM,aAAa,GAA4C;QAC3D,GAAG,EAAE,CAAC,KAAK,EAAE,UAAU,CAAC;QACxB,MAAM,EAAE,CAAC,YAAY,EAAE,MAAM,EAAE,UAAU,CAAC;KAC7C,CAAC;IACF,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;QACvC,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;QAChC,MAAM,OAAO,GAAG,aAAa,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QAChD,IAAI,OAAO,KAAK,SAAS;YAAE,SAAS;QACpC,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;YACpC,IAAI,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC5C,QAAQ,CAAC,IAAI,CACT,GAAG,GAAG,IAAI,MAAM,CAAC,IAAI,uBAAuB,MAAM,CAAC,UAAU,IAAI,MAAM,MAAM,MAAM,CAAC,IAAI,MAAM,MAAM,CAAC,SAAS,KAAK,MAAM,CAAC,IAAI,SAAS,GAAG,MAAM;gBAC5I,IAAI,QAAQ,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,wBAAwB,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CACzG,CAAC;QACN,CAAC;IACL,CAAC;IACD,OAAO,QAAQ,CAAC;AACpB,CAAC;AAED;;;;;;;;;GASG;AACH,iGAAiG;AACjG,SAAS,iBAAiB,CAAC,cAAsB;IAC7C,MAAM,UAAU,GAAG,IAAA,6BAAmB,EAAC,cAAc,CAAC,CAAC;IACvD,IAAI,CAAC,UAAU;QAAE,OAAO,mBAAmB,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC;IAChE,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;QACnC,mCAAmC,EAAE,GAAS,EAAE,CAAC,SAAS;KAC7D,CAA2B,CAAC;IAC7B,MAAM,MAAM,GAAG,EAAE,CAAC,gCAAgC,CAAC,UAAU,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;IACzE,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzB,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;IAC3F,OAAO,mBAAmB,CAAC,cAAc,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;AAC/D,CAAC;AAED,wGAAwG;AACxG,SAAS,mBAAmB,CACxB,cAAsB,EACtB,OAA2B;IAE3B,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;IAChD,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACxC,MAAM,KAAK,GAAG,IAAA,wBAAc,EAAC,MAAM,CAAC,CAAC;IACrC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACtE,CAAC","sourcesContent":["/**\n * API Usage Scanner\n *\n * Derives, by scanning real source (not a declaration file), how every project\n * relates to the api-lib projects it depends on. This is the single source of\n * truth for the `apiRelations` field in architecture/dependencies.json AND for\n * the runtime microservice graph.\n *\n * Signals (all resolved through the TypeScript checker, so re-exports resolve):\n *   - IMPLEMENTS: `apiFactory.addRoutes(XxxApi, XxxController)` — the registration\n *                 that actually SERVES the contract over the wire. We deliberately\n *                 do NOT use `class Ctrl extends XxxApi`: a class can extend an API\n *                 as an in-process test double / simulator (e.g. Server2Simulator)\n *                 without ever serving it — only `addRoutes` proves a served route.\n *   - USES:       `factory.createRpcClient(XxxApi, ...)`    → rpc client\n *                 `factory.createPubSubClient(XxxApi, ...)` → pubsub (Cloud Tasks) client\n *                 The config argument (`new ClientConfig('helper-fsdb')`) names WHICH service the\n *                 client talks to and is kept as `ApiRef.targetService` — see targetServiceOf.\n * An api-lib is DETECTED, not tagged: a project exporting an `abstract class`\n * carrying `@ApiPath` owns that API. Its transport is `@PubSub` → 'pubsub', else 'rpc'.\n *\n * Contracts are indexed from SOURCE in a pre-pass (ApiSourceIndexBuilder) rather than\n * from wherever the checker resolves an import to. A consumer without a tsconfig.base\n * `paths` entry resolves `import { XxxApi } from '@scope/xxx-api'` through node_modules\n * to the package's BUILT `dist/**.d.ts` — and tsc ERASES decorators when emitting\n * declarations, so `@ApiPath` can never be read there. Keying off the resolved\n * declaration therefore dropped whole services from the graph, silently. See\n * `recoverFromDeclaration`.\n */\n\nimport * as ts from 'typescript';\nimport * as fs from 'fs';\nimport * as path from 'path';\nimport { matchesAnyGlob } from '@webpieces/rules-config';\nimport type { EnhancedGraph } from '../graph-sorter';\nimport { ProjectInfo } from '../project-info';\nimport { findProjectTsconfig } from '../di-graph/program';\nimport { resolveClassDeclaration } from '../di-graph/bindings';\nimport {\n    ApiClassInfo,\n    ApiContract,\n    ApiContracts,\n    ApiRef,\n    ApiRelation,\n    EmptiedApiContract,\n    EndpointKind,\n    NonLiteralDecoratorArg,\n    ProjectApiRelations,\n    UndeclaredExternalCaller,\n    UndeclaredEndpointOperation,\n    UnresolvedApiCall,\n    UnresolvedEndpointPath,\n    apiRefKey,\n    deriveApiRelationKind,\n    sortApiRefs,\n} from './api-relations';\nimport {\n    ApiRulesForMcpError,\n    ApiRulesForOpenApiError,\n    EmptiedApiContractError,\n    MissingBasePathError,\n    RootUnionApiTypeError,\n    UndeclaredExternalCallerError,\n    UndeclaredEndpointOperationError,\n    UnresolvedEndpointPathError,\n} from './api-contract-errors';\nimport { RootUnionFindings, RootUnionRule, RootUnionScan } from './root-union-scan';\nimport { ApiDocRule, ApiDocRulesFindings, MCP_RULE, OPENAPI_RULE } from './api-doc-rules';\nimport { ApiDocRulesScan } from './api-doc-rules-scan';\nimport { WireClosureRule } from './wire-closure';\nimport {\n    DecoratorArgDiagnostics,\n    apiClassInfoFrom,\n    apiClassInfoFromNode,\n    calleeMethodName,\n    collectTsFiles,\n    constructorParamsOf,\n    externalApiInfoFrom,\n    implementedTypeNames,\n    isAbstractClass,\n    isTestFile,\n    targetServiceOf,\n    typeReferenceName,\n} from './api-ast';\n\nconst RPC_CLIENT_METHOD = 'createRpcClient';\nconst PUBSUB_CLIENT_METHOD = 'createPubSubClient';\nconst ADD_ROUTES_METHOD = 'addRoutes';\n\n/** The whole-workspace result of a scan. */\nexport interface ApiScanResult {\n    /** projectName -> { apiLibProject -> relation }; only projects with ≥1 relation appear. */\n    relationsByProject: Map<string, ProjectApiRelations>;\n    /** Every project that owns ≥1 API contract class. */\n    apiLibProjects: Set<string>;\n    /** apiClassName -> where it lives + its transport. */\n    apiIndex: Map<string, ApiClassInfo>;\n    /**\n     * Projects whose production (non-test) source was actually scanned. A project with only test\n     * files (e.g. an e2e harness), or one the compiler couldn't load, is ABSENT — callers must not\n     * conclude \"no implements/uses\" for it, because its behavior was never observed.\n     */\n    scannedProjects: Set<string>;\n    /**\n     * Call sites naming a contract we could not map back to workspace source. Non-empty means the\n     * graph is INCOMPLETE — callers must surface these rather than emit a green, wrong graph.\n     */\n    unresolvedApiCalls: UnresolvedApiCall[];\n    /**\n     * Decorator arguments that were present but could not be reduced to a string (a cross-module\n     * constant, a computed expression). Each one costs the graph a basePath, a method, or — when it\n     * takes out every method of a class — the whole contract, so they must be surfaced.\n     */\n    nonLiteralDecoratorArgs: NonLiteralDecoratorArg[];\n    /**\n     * The subset of the above that is FATAL: an `@Endpoint` path that could not be read. Every client\n     * builds its URL as `basePath + path`, so this is missing routing, not missing metadata —\n     * buildApiContracts throws on a non-empty list rather than shipping a contract without it.\n     */\n    unresolvedEndpointPaths: UnresolvedEndpointPath[];\n    /**\n     * Contract classes that declared `@Endpoint` methods and kept none — the exact shape that used to\n     * slip out through buildApiContracts' zero-method skip, taking a whole service's queues with it.\n     */\n    emptiedApiContracts: EmptiedApiContract[];\n    /**\n     * `external` endpoints that did not say WHO calls them. Fatal: the inbound box on the runtime\n     * graph exists to name that system, and with nothing to name it restates our own contract name.\n     */\n    undeclaredExternalCallers: UndeclaredExternalCaller[];\n    /** Endpoints lacking the explicit side-effect contract used for retry safety and MCP hints. */\n    undeclaredEndpointOperations: UndeclaredEndpointOperation[];\n    /** `no-root-union-api-type`'s findings. Fatal in buildApiContracts — see root-union-scan.ts. */\n    rootUnions: RootUnionFindings;\n    /**\n     * `api-rules-for-openapi` / `api-rules-for-mcp` findings (#1011). Both ship OFF, so this is\n     * EMPTY unless a repo stated otherwise — no rule in this framework has a default (#1017).\n     */\n    apiDocRules: ApiDocRulesFindings;\n}\n\n/** Maps an absolute source-file path to the workspace project that owns it (longest-root-prefix). */\nclass ProjectLocator {\n    private readonly roots: ProjectRoot[];\n\n    constructor(workspaceRoot: string, projectInfos: Map<string, ProjectInfo>) {\n        const roots: ProjectRoot[] = [];\n        for (const info of projectInfos.values()) {\n            if (info.root === '' || info.root === '.') continue;\n            roots.push(new ProjectRoot(info.name, path.resolve(workspaceRoot, info.root)));\n        }\n        // Longest root first so a nested project wins over its parent.\n        this.roots = roots.sort((a: ProjectRoot, b: ProjectRoot) => b.abs.length - a.abs.length);\n    }\n\n    projectOf(absFile: string): string | null {\n        const normalized = path.resolve(absFile);\n        for (const root of this.roots) {\n            if (normalized === root.abs || normalized.startsWith(root.abs + path.sep))\n                return root.name;\n        }\n        return null;\n    }\n}\n\nclass ProjectRoot {\n    constructor(\n        public readonly name: string,\n        public readonly abs: string,\n    ) {}\n}\n\n/**\n * Every API contract in the workspace, keyed by class name, read from SOURCE.\n *\n * Name-keyed because a call site only ever gives us a name once its import has resolved into a\n * decorator-erased declaration. Two api-libs exporting the same class name collide (last wins) —\n * the same collision the published `apiIndex` has always had.\n */\nclass ApiSourceIndex {\n    constructor(\n        public readonly byName: Map<string, ApiClassInfo>,\n        public readonly owners: Set<string>,\n    ) {}\n\n    lookup(api: string): ApiClassInfo | null {\n        return this.byName.get(api) ?? null;\n    }\n}\n\n/**\n * Builds the ApiSourceIndex by parsing each project's own `src/**` directly.\n *\n * Deliberately parser-only (no ts.Program, no checker): we need the decorators exactly as\n * written, and a plain parse cannot be diverted to a `.d.ts` by module resolution — which is\n * the entire bug this guards against. It is also cheap enough to run over every project.\n */\nclass ApiSourceIndexBuilder {\n    private readonly byName = new Map<string, ApiClassInfo>();\n    private readonly owners = new Set<string>();\n\n    constructor(\n        private readonly workspaceRoot: string,\n        private readonly projectInfos: Map<string, ProjectInfo>,\n        /** Globs of project roots holding vendor contracts — see ExternalApiIndex. */\n        private readonly externalApiPaths: readonly string[],\n        /** Sink for decorator arguments this parser-only pass cannot reduce to a string. */\n        private readonly diagnostics: DecoratorArgDiagnostics,\n    ) {}\n\n    build(): ApiSourceIndex {\n        for (const info of this.projectInfos.values()) {\n            if (info.root === '' || info.root === '.') continue;\n            this.indexProject(info);\n        }\n        return new ApiSourceIndex(this.byName, this.owners);\n    }\n\n    private indexProject(info: ProjectInfo): void {\n        const srcDir = path.join(path.resolve(this.workspaceRoot, info.root), 'src');\n        if (!fs.existsSync(srcDir)) return;\n        const external = matchesAnyGlob(info.root, this.externalApiPaths);\n        for (const file of collectTsFiles(srcDir)) {\n            if (isTestFile(file)) continue; // tests are not production topology\n            const text = fs.readFileSync(file, 'utf8');\n            const sourceFile = ts.createSourceFile(file, text, ts.ScriptTarget.Latest, true);\n            this.indexNode(sourceFile, info.name, external);\n        }\n    }\n\n    private indexNode(node: ts.Node, project: string, external: boolean): void {\n        const info = external\n            ? externalApiInfoFrom(node, project)\n            : apiClassInfoFromNode(node, project, this.diagnostics);\n        if (info) {\n            this.owners.add(project);\n            this.byName.set(info.api, info);\n        }\n        ts.forEachChild(node, (child: ts.Node) => this.indexNode(child, project, external));\n    }\n}\n/** Per-owner accumulator that dedupes API refs while a single project is scanned. */\nclass RelationAccumulator {\n    private readonly implementsByOwner = new Map<string, Map<string, ApiRef>>();\n    private readonly usesByOwner = new Map<string, Map<string, ApiRef>>();\n\n    addImplements(owner: string, ref: ApiRef): void {\n        ensureRefMap(this.implementsByOwner, owner).set(apiRefKey(ref), ref);\n    }\n\n    /**\n     * Keyed by api + targetService: one project legitimately binds the SAME contract against two\n     * different services (a WarmupApi client per data server), and those are two relations, not one.\n     */\n    addUses(owner: string, ref: ApiRef): void {\n        ensureRefMap(this.usesByOwner, owner).set(apiRefKey(ref), ref);\n    }\n\n    /** Build the deterministic { owner -> relation } record, owners in sorted order. */\n    toRelations(): ProjectApiRelations {\n        const owners = new Set<string>([\n            ...this.implementsByOwner.keys(),\n            ...this.usesByOwner.keys(),\n        ]);\n        const relations: ProjectApiRelations = {};\n        for (const owner of [...owners].sort()) {\n            const implementsRefs = sortApiRefs([\n                ...(this.implementsByOwner.get(owner)?.values() ?? []),\n            ]);\n            const usesRefs = sortApiRefs([...(this.usesByOwner.get(owner)?.values() ?? [])]);\n            const relation: ApiRelation = {\n                kind: deriveApiRelationKind(implementsRefs, usesRefs),\n                implements: implementsRefs,\n                uses: usesRefs,\n            };\n            relations[owner] = relation;\n        }\n        return relations;\n    }\n\n    isEmpty(): boolean {\n        return this.implementsByOwner.size === 0 && this.usesByOwner.size === 0;\n    }\n}\n\n// webpieces-disable no-function-outside-class -- tiny map helper, matching the AST-helper style of di-graph/bindings.ts\nfunction ensureRefMap(map: Map<string, Map<string, ApiRef>>, owner: string): Map<string, ApiRef> {\n    let inner = map.get(owner);\n    if (!inner) {\n        inner = new Map<string, ApiRef>();\n        map.set(owner, inner);\n    }\n    return inner;\n}\n\n/** Statically scans every project for its api-lib implements/uses relationships. */\nexport class ApiUsageScanner {\n    private readonly locator: ProjectLocator;\n    private readonly relationsByProject = new Map<string, ProjectApiRelations>();\n    private readonly scannedProjects = new Set<string>();\n    private readonly unresolvedApiCalls: UnresolvedApiCall[] = [];\n    private readonly decoratorArgDiagnostics: DecoratorArgDiagnostics;\n    private sourceIndex = new ApiSourceIndex(new Map<string, ApiClassInfo>(), new Set<string>());\n\n    constructor(\n        private readonly workspaceRoot: string,\n        private readonly projectInfos: Map<string, ProjectInfo>,\n        /** Globs of project roots whose exported `*Api` types are contracts for outside systems. */\n        private readonly externalApiPaths: readonly string[] = [],\n        /** `no-root-union-api-type`'s switches — ARMED unless scanAndAttachApiRelations read otherwise. */\n        private readonly rootUnionRule: RootUnionRule = RootUnionRule.enabledEverywhere(),\n        /** `api-rules-for-openapi`'s switches — read from the config, which MUST state them (#1017). */\n        private readonly openApiRule: ApiDocRule = ApiDocRule.off(OPENAPI_RULE),\n        /** `api-rules-for-mcp`'s switches — read from the config, which MUST state them (#1017). */\n        private readonly mcpRule: ApiDocRule = ApiDocRule.off(MCP_RULE),\n        private readonly wireClosureRule: WireClosureRule = WireClosureRule.withoutSuffixes(), // #1064 D4\n    ) {\n        this.locator = new ProjectLocator(workspaceRoot, projectInfos);\n        this.decoratorArgDiagnostics = new DecoratorArgDiagnostics(workspaceRoot);\n    }\n\n    scan(): ApiScanResult {\n        // Pre-pass: every contract, from source, BEFORE any call site is resolved — a call site in\n        // one project routinely names a contract owned by a project we have not walked yet.\n        this.sourceIndex = new ApiSourceIndexBuilder(\n            this.workspaceRoot,\n            this.projectInfos,\n            this.externalApiPaths,\n            this.decoratorArgDiagnostics,\n        ).build();\n        for (const info of this.projectInfos.values()) {\n            if (info.root === '' || info.root === '.') continue;\n            this.scanProject(info);\n        }\n        return {\n            relationsByProject: this.relationsByProject,\n            apiLibProjects: this.sourceIndex.owners,\n            apiIndex: this.sourceIndex.byName,\n            scannedProjects: this.scannedProjects,\n            unresolvedApiCalls: this.unresolvedApiCalls,\n            nonLiteralDecoratorArgs: this.decoratorArgDiagnostics.all(),\n            unresolvedEndpointPaths: this.decoratorArgDiagnostics.unresolvedEndpointPaths(),\n            emptiedApiContracts: this.decoratorArgDiagnostics.emptiedContracts(),\n            undeclaredExternalCallers: this.decoratorArgDiagnostics.undeclaredExternalCallers(),\n            undeclaredEndpointOperations:\n                this.decoratorArgDiagnostics.undeclaredEndpointOperations(),\n            rootUnions: new RootUnionScan(\n                this.workspaceRoot,\n                this.projectInfos,\n                this.rootUnionRule,\n            ).run(),\n            apiDocRules: new ApiDocRulesScan(\n                this.workspaceRoot,\n                this.projectInfos,\n                this.openApiRule,\n                this.mcpRule, this.wireClosureRule,\n            ).run(),\n        };\n    }\n\n    private scanProject(info: ProjectInfo): void {\n        const program = createScanProgram(path.resolve(this.workspaceRoot, info.root));\n        if (!program) return;\n        const checker = program.getTypeChecker();\n        const accumulator = new RelationAccumulator();\n        let scannedProductionFile = false;\n\n        for (const sourceFile of program.getSourceFiles()) {\n            if (sourceFile.isDeclarationFile || sourceFile.fileName.includes('/node_modules/'))\n                continue;\n            if (isTestFile(sourceFile.fileName)) continue; // tests are not production topology\n            // Only this project's OWN files — imported api-lib source is in the program too.\n            if (this.locator.projectOf(sourceFile.fileName) !== info.name) continue;\n            scannedProductionFile = true;\n            this.visit(sourceFile, checker, info.name, accumulator);\n        }\n\n        // Record coverage only when we actually saw production source — an all-test project (e2e)\n        // stays absent so the validator won't wrongly flag its api-lib deps as unused.\n        if (scannedProductionFile) this.scannedProjects.add(info.name);\n        if (!accumulator.isEmpty())\n            this.relationsByProject.set(info.name, accumulator.toRelations());\n    }\n\n    private visit(\n        node: ts.Node,\n        checker: ts.TypeChecker,\n        project: string,\n        acc: RelationAccumulator,\n    ): void {\n        // In-repo contract classes are indexed by the source pre-pass, so only calls matter for them.\n        if (ts.isCallExpression(node)) this.recordCall(node, checker, project, acc);\n        // A VENDOR contract has no client-factory call site to key off — it arrives by injection —\n        // so classes have to be inspected too.\n        if (ts.isClassDeclaration(node)) this.recordExternalUses(node, acc);\n        ts.forEachChild(node, (child: ts.Node) => this.visit(child, checker, project, acc));\n    }\n\n    /**\n     * Record a `uses` for every vendor contract this class receives by CONSTRUCTOR INJECTION —\n     * `constructor(@inject(GMAIL_TYPES.GmailApi) private readonly gmail: GmailApi)`.\n     *\n     * The parameter TYPE is the signal, not the token: a token is an opaque Symbol whose name we\n     * would have to guess at, while the type is written right there and is what the class actually\n     * calls. Matching happens by name against the external index, so an import that resolves to a\n     * built `.d.ts` works exactly as well as one resolving to source.\n     *\n     * A class that IMPLEMENTS the contract is skipped — that is the vendor adapter (`GmailClient`)\n     * or a test double (`InMemoryFirestore`, `MockTts`), which IS the seam rather than a caller of\n     * it. Counting those would draw an edge from every service embedding a fake to a vendor it never\n     * actually reaches.\n     */\n    private recordExternalUses(cls: ts.ClassDeclaration, acc: RelationAccumulator): void {\n        const implemented = implementedTypeNames(cls);\n        for (const param of constructorParamsOf(cls)) {\n            const typeName = typeReferenceName(param.type);\n            if (typeName === null || implemented.has(typeName)) continue;\n            const info = this.sourceIndex.lookup(typeName);\n            if (info === null || info.type !== 'external') continue;\n            acc.addUses(info.owner, { api: info.api, type: 'external' });\n        }\n    }\n\n    private recordCall(\n        call: ts.CallExpression,\n        checker: ts.TypeChecker,\n        project: string,\n        acc: RelationAccumulator,\n    ): void {\n        const method = calleeMethodName(call);\n        if (method === null || call.arguments.length === 0) return;\n        if (method === ADD_ROUTES_METHOD) {\n            const info = this.apiInfoFromExpr(call.arguments[0], checker, project);\n            if (info) acc.addImplements(info.owner, { api: info.api, type: info.type });\n            return;\n        }\n        if (method === RPC_CLIENT_METHOD || method === PUBSUB_CLIENT_METHOD) {\n            const info = this.apiInfoFromExpr(call.arguments[0], checker, project);\n            if (!info) return;\n            // Argument 2 names WHICH service this client talks to. Keeping it is what lets the\n            // runtime graph draw ONE edge instead of one per implementer of the contract.\n            const targetService = targetServiceOf(call);\n            const ref: ApiRef = { api: info.api, type: info.type };\n            if (targetService !== null) ref.targetService = targetService;\n            acc.addUses(info.owner, ref);\n        }\n    }\n\n    /** Resolve an expression to the API contract it names, or null if it is not one. */\n    private apiInfoFromExpr(\n        expr: ts.Expression,\n        checker: ts.TypeChecker,\n        project: string,\n    ): ApiClassInfo | null {\n        const decl = resolveClassDeclaration(expr, checker);\n        if (!decl) return null;\n        const fromSource = this.apiClassInfoFor(decl);\n        return fromSource ?? this.recoverFromDeclaration(decl, expr, project);\n    }\n\n    /**\n     * The checker landed on a BUILT declaration instead of source — the consumer has no\n     * tsconfig.base `paths` entry for the api-lib, so the import went through node_modules to\n     * `dist/**.d.ts`. tsc erases decorators when emitting declarations, so `@ApiPath` is simply\n     * not there and never will be. Recover the contract by name from the source index; the graph\n     * is then correct no matter how the consumer's tsconfig is laid out.\n     */\n    private recoverFromDeclaration(\n        decl: ts.ClassDeclaration,\n        expr: ts.Expression,\n        project: string,\n    ): ApiClassInfo | null {\n        // An abstract class is the shape of a contract; a non-abstract argument is genuinely not one.\n        if (!decl.getSourceFile().isDeclarationFile || !isAbstractClass(decl) || !decl.name)\n            return null;\n        const recovered = this.sourceIndex.lookup(decl.name.text);\n        if (recovered) return recovered;\n        // Abstract, in a .d.ts, yet no workspace source owns it — the scan is blind here. Say so.\n        this.unresolvedApiCalls.push(\n            new UnresolvedApiCall(\n                project,\n                decl.name.text,\n                this.relativeLocation(expr),\n                this.relativePath(decl.getSourceFile().fileName),\n            ),\n        );\n        return null;\n    }\n\n    /** `path/to/file.ts:LINE` for `node`, workspace-relative, for a human-readable report. */\n    private relativeLocation(node: ts.Node): string {\n        const sourceFile = node.getSourceFile();\n        const position = sourceFile.getLineAndCharacterOfPosition(node.getStart());\n        return `${this.relativePath(sourceFile.fileName)}:${position.line + 1}`;\n    }\n\n    private relativePath(absFile: string): string {\n        return path.relative(this.workspaceRoot, absFile);\n    }\n\n    /**\n     * {api, owner, type, methods} when `cls` is an `abstract class` carrying `@ApiPath` IN SOURCE,\n     * else null. Only the OWNER differs from the index pre-pass — here it comes from the file's\n     * location rather than from the project being walked — so the contract test itself is delegated\n     * to apiClassInfoFrom, keeping one definition of \"this is a contract\".\n     */\n    private apiClassInfoFor(cls: ts.ClassDeclaration): ApiClassInfo | null {\n        const owner = this.locator.projectOf(cls.getSourceFile().fileName);\n        if (owner === null) return null;\n        return apiClassInfoFrom(cls, owner);\n    }\n}\n\n/**\n * Run the scan and attach the derived `apiRelations` onto each graph entry in\n * place. Shared by `architecture:generate` (which then saves) and\n * `architecture:validate-architecture-unchanged` (which regenerates in memory\n * and must attach the SAME field, or it would see a phantom diff). Returns the\n * full scan so callers (validators, runtime graph) can reuse the api index.\n */\n// webpieces-disable no-function-outside-class -- module entry point, mirrors generateReducedGraph/collectBindings\nexport function scanAndAttachApiRelations(\n    workspaceRoot: string,\n    graph: EnhancedGraph,\n    projectInfos: Map<string, ProjectInfo>,\n    externalApiPaths: readonly string[] = [],\n): ApiScanResult {\n    const result = new ApiUsageScanner(\n        workspaceRoot,\n        projectInfos,\n        externalApiPaths,\n        RootUnionRule.fromConfig(workspaceRoot),\n        ApiDocRule.fromConfig(workspaceRoot, OPENAPI_RULE),\n        ApiDocRule.fromConfig(workspaceRoot, MCP_RULE),\n        WireClosureRule.fromConfig(workspaceRoot),\n    ).scan();\n    for (const projectName of result.relationsByProject.keys()) {\n        const entry = graph[projectName];\n        if (entry) entry.apiRelations = result.relationsByProject.get(projectName);\n    }\n    return result;\n}\n\n/**\n * The committed api contract table (one `architecture/apis/<ApiName>.json` per entry), from a\n * completed scan.\n *\n * Only contracts with ≥1 endpoint are emitted: a vendor seam has no routes, so a table entry for it\n * would be an empty shell, and its identity is already carried by the `external` refs in\n * apiRelations. Sorted by api name, methods left in declaration order, so the file is deterministic.\n *\n * THROWS on the ways an entry can be wrong-but-green, checked root cause first:\n *   1. an `@Endpoint` path the scan could not read (UnresolvedEndpointPathError) — the other half of\n *      the URL a consumer computes, and the cause of most emptied contracts;\n *   2. a class that declared endpoints and kept none (EmptiedApiContractError), which would otherwise\n *      leave silently through the zero-method skip above;\n *   3. a method without an explicit operation (UndeclaredEndpointOperationError);\n *   4. an `external` method that never said WHO calls it (UndeclaredExternalCallerError);\n *   5. a routed contract with no basePath (MissingBasePathError).\n * All are worse than an absent entry: a consumer joining `basePath + path` computes a\n * confidently wrong URL with no signal that anything is off, because every other entry is complete.\n * Each error aggregates EVERY offender, so a developer fixing five constants sees five in one run.\n */\n// webpieces-disable no-function-outside-class -- module entry point, mirrors scanAndAttachApiRelations\nexport function buildApiContracts(scan: ApiScanResult): ApiContracts {\n    // Root cause before symptom: an unreadable path is what empties a contract, so naming the paths\n    // is what the author can actually act on.\n    if (scan.unresolvedEndpointPaths.length > 0)\n        throw new UnresolvedEndpointPathError(scan.unresolvedEndpointPaths);\n    if (scan.emptiedApiContracts.length > 0)\n        throw new EmptiedApiContractError(scan.emptiedApiContracts);\n    if (scan.undeclaredEndpointOperations.length > 0) {\n        throw new UndeclaredEndpointOperationError(scan.undeclaredEndpointOperations);\n    }\n    // A shape no function-calling API will accept, read perfectly well — unlike the four above, which\n    // are contracts the scan could not READ at all.\n    if (!scan.rootUnions.isEmpty()) throw new RootUnionApiTypeError(scan.rootUnions);\n    // Contract shapes that are not PUBLISHABLE, read by the generator's own extractor (#1011).\n    // After the root union, which is the one shape no function-calling API will accept at all, and\n    // before the caller checks below, which are about the architecture graph rather than a document.\n    if (!scan.apiDocRules.openApi.isEmpty()) {\n        throw new ApiRulesForOpenApiError(scan.apiDocRules.openApi);\n    }\n    if (!scan.apiDocRules.mcp.isEmpty()) {\n        throw new ApiRulesForMcpError(scan.apiDocRules.mcp, scan.apiDocRules.mcpExclusions);\n    }\n    // After the two above: an unreadable path is what empties a contract, and a contract that lost\n    // every method has no external endpoint left to complain about.\n    if (scan.undeclaredExternalCallers.length > 0) {\n        throw new UndeclaredExternalCallerError(scan.undeclaredExternalCallers);\n    }\n    const contracts: ApiContracts = {};\n    const missing: string[] = [];\n    for (const api of [...scan.apiIndex.keys()].sort()) {\n        const info = scan.apiIndex.get(api)!;\n        if (info.methods.length === 0) continue;\n        if (info.basePath === undefined) {\n            missing.push(`${api} (owner ${info.owner})`);\n            continue;\n        }\n        const contract: ApiContract = {\n            owner: info.owner,\n            apiKind: info.type,\n            basePath: info.basePath,\n            methods: info.methods,\n        };\n        contracts[api] = contract;\n    }\n    if (missing.length > 0) throw new MissingBasePathError(missing);\n    return contracts;\n}\n\n/**\n * Loud, actionable report for decorator arguments the scan could not reduce to a string.\n *\n * Same-module constants resolve, so anything reaching here is genuinely out of reach of a\n * parser-only pass — and every one of them silently shrinks the graph. Empty string when there is\n * nothing to say, so callers can test it without special-casing.\n */\n// webpieces-disable no-function-outside-class -- pure formatter, mirrors describeUnresolvedApiCalls\nexport function describeNonLiteralDecoratorArgs(args: readonly NonLiteralDecoratorArg[]): string {\n    if (args.length === 0) return '';\n    const lines = [\n        `⚠️  ${args.length} decorator argument(s) are not string literals and could not be resolved.`,\n        `   Each one drops data from the graph: a missing basePath, a missing method, or a whole contract:`,\n    ];\n    for (const arg of args) {\n        const where = arg.method === null ? arg.api : `${arg.api}.${arg.method}`;\n        lines.push(`     • @${arg.decorator}(${arg.argument}) on ${where} at ${arg.at}`);\n    }\n    lines.push(\n        `   A constant declared in the SAME module resolves. One imported from another module does not —`,\n        `   this scan is parser-only by design (module resolution can land on a decorator-erased .d.ts).`,\n        `   Fix by inlining the string literal, or by moving the constant into the contract's own module.`,\n    );\n    return lines.join('\\n');\n}\n\n/**\n * Every contract method whose declared @Endpoint kind its api kind cannot deliver — an rpc method on\n * a @PubSub contract (nothing calls a queue synchronously), or a cloudtasks/cron method on an @Rpc\n * contract (naming a queue or schedule nothing could deliver to). Mirrors core-util's\n * ENDPOINT_KINDS_BY_API_KIND at BUILD time, where it can name the file instead of throwing at wiring.\n */\n// webpieces-disable no-function-outside-class -- pure formatter, mirrors describeUnresolvedApiCalls\nexport function describeMismatchedEndpointKinds(contracts: ApiContracts): string[] {\n    const allowedByKind: Record<string, readonly EndpointKind[]> = {\n        rpc: ['rpc', 'external'],\n        pubsub: ['cloudtasks', 'cron', 'external'],\n    };\n    const problems: string[] = [];\n    for (const api of Object.keys(contracts)) {\n        const contract = contracts[api];\n        const allowed = allowedByKind[contract.apiKind];\n        if (allowed === undefined) continue;\n        for (const method of contract.methods) {\n            if (allowed.includes(method.kind)) continue;\n            problems.push(\n                `${api}.${method.name} declares @Endpoint(${method.httpMethod ?? 'POST'}, '${method.path}', ${method.operation}, ${method.kind}) but ${api} is ` +\n                    `@${contract.apiKind === 'pubsub' ? 'PubSub' : 'Rpc'} — allowed kinds are ${allowed.join(' | ')}.`,\n            );\n        }\n    }\n    return problems;\n}\n\n/**\n * Build a program for scanning ONE project. Prefers the project's compile tsconfig; but when that\n * is a solution-style tsconfig (only `references`, no `files`/`include` — e.g. legacy-server), it\n * yields zero files, so we fall back to globbing the project's own `src/**` and reuse the resolved\n * compiler options (which carry tsconfig.base `paths` for cross-package @webpieces resolution).\n *\n * `paths` is a PREFERENCE, not a precondition: it lets imports resolve straight to source. Without\n * it they land on a decorator-erased `dist/**.d.ts`, which the source index recovers from — see\n * ApiUsageScanner.recoverFromDeclaration.\n */\n// webpieces-disable no-function-outside-class -- ts Program factory, mirrors di-graph/program.ts\nfunction createScanProgram(projectRootAbs: string): ts.Program | null {\n    const configPath = findProjectTsconfig(projectRootAbs);\n    if (!configPath) return buildProgramFromSrc(projectRootAbs, {});\n    const host = Object.assign({}, ts.sys, {\n        onUnRecoverableConfigFileDiagnostic: (): void => undefined,\n    }) as ts.ParseConfigFileHost;\n    const parsed = ts.getParsedCommandLineOfConfigFile(configPath, {}, host);\n    if (!parsed) return null;\n    if (parsed.fileNames.length > 0) return ts.createProgram(parsed.fileNames, parsed.options);\n    return buildProgramFromSrc(projectRootAbs, parsed.options);\n}\n\n// webpieces-disable no-function-outside-class -- ts Program factory helper, mirrors di-graph/program.ts\nfunction buildProgramFromSrc(\n    projectRootAbs: string,\n    options: ts.CompilerOptions,\n): ts.Program | null {\n    const srcDir = path.join(projectRootAbs, 'src');\n    if (!fs.existsSync(srcDir)) return null;\n    const files = collectTsFiles(srcDir);\n    return files.length > 0 ? ts.createProgram(files, options) : null;\n}\n"]}