@webpieces/nx-webpieces-rules 0.4.808 → 0.4.809

package/src/lib/api-usage/api-doc-rules.js

@@ -0,0 +1,242 @@
+"use strict";
+/**
+ * The DATA and the SWITCHES of `api-rules-for-openapi` and `api-rules-for-mcp` (#1011).
+ *
+ * The scan itself is in `api-doc-rules-scan.ts`; this file holds what a caller reads back and the
+ * per-rule config, so a unit test can construct either without touching a config file and so the
+ * config is read exactly once per executor run.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.DisableComment = exports.ApiDocRule = exports.ApiDocRulesFindings = exports.McpExclusion = exports.ApiRuleFindings = exports.ApiContractDefect = exports.EXTERNAL_CUSTOMER_API_TYPE = exports.MCP_RULE = exports.OPENAPI_RULE = void 0;
+const tslib_1 = require("tslib");
+const fs = tslib_1.__importStar(require("fs"));
+const rules_config_1 = require("@webpieces/rules-config");
+const rule_gate_1 = require("../rule-gate");
+/** As written in a disable comment and as a config key. */
+exports.OPENAPI_RULE = rules_config_1.RULE_NAMES.API_RULES_FOR_OPENAPI;
+exports.MCP_RULE = rules_config_1.RULE_NAMES.API_RULES_FOR_MCP;
+/** The `@ApiType` value that means "a partner reads this document". */
+exports.EXTERNAL_CUSTOMER_API_TYPE = 'external-customer';
+/**
+ * `// webpieces-disable <rule>[, <rule2>] -- <reason>`, with the reason CAPTURED so a reasonless
+ * disable can be told apart from an absent one. Identical to the spelling `root-union-scan` reads.
+ */
+const DISABLE_RE = new RegExp(`//\\s*${rules_config_1.WEBPIECES_DISABLE}\\s+([\\w-]+(?:\\s*,\\s*[\\w-]+)*)(?:\\s*--\\s*(.*))?$`);
+/** How far above a declaration a disable comment may sit before it is somebody else's comment. */
+const DISABLE_LOOKBACK_LINES = 40;
+/**
+ * ONE defect on ONE contract.
+ *
+ * `exposure` is the contract's `@ApiType` list, and it is carried rather than derived because the
+ * SAME defect is louder on a contract that reaches `external-customer`: an unshaped field on a
+ * partner document costs a partner something, where the same field on a service-to-service contract
+ * costs a colleague a question. The refusal sorts and labels on it.
+ */
+class ApiContractDefect {
+    api;
+    method;
+    what;
+    at;
+    cure;
+    exposure;
+    constructor(
+    /** The `@ApiPath` contract class. */
+    api, 
+    /** The `@Endpoint` method, or `''` for a contract-level or DTO-level defect. */
+    method, 
+    /** What is wrong, in one line, naming the declaration. */
+    what, 
+    /** `path/to/File.ts:LINE`, workspace-relative. */
+    at, 
+    /** What to do instead, in one sentence. */
+    cure, 
+    /** The contract's `@ApiType` list — `svc-to-svc` when it declares none. */
+    exposure) {
+        this.api = api;
+        this.method = method;
+        this.what = what;
+        this.at = at;
+        this.cure = cure;
+        this.exposure = exposure;
+    }
+    /** True when this contract feeds the PARTNER-facing document. */
+    isExternal() {
+        return this.exposure.includes(exports.EXTERNAL_CUSTOMER_API_TYPE);
+    }
+    /** `Api.method` or `Api` — what a reader opens. */
+    where() {
+        return this.method === '' ? this.api : `${this.api}.${this.method}`;
+    }
+}
+exports.ApiContractDefect = ApiContractDefect;
+/** What ONE rule found: real defects, and disables of it that gave no reason. */
+class ApiRuleFindings {
+    violations;
+    reasonlessDisables;
+    constructor(violations, 
+    /**
+     * Sites that named this rule in a disable and wrote no reason. A reasonless disable is
+     * itself a violation: the point of the per-site hatch is the ARGUMENT, which is the only
+     * part the next reader can weigh.
+     */
+    reasonlessDisables) {
+        this.violations = violations;
+        this.reasonlessDisables = reasonlessDisables;
+    }
+    isEmpty() {
+        return this.violations.length === 0 && this.reasonlessDisables.length === 0;
+    }
+}
+exports.ApiRuleFindings = ApiRuleFindings;
+/**
+ * ONE endpoint declared PERMANENTLY outside MCP by `@InvalidEndpointForMcp('<reason>')` (#1014).
+ *
+ * Not a violation and not a suppression — a DECLARATION, which is why it is carried beside the
+ * findings rather than in them. `api-rules-for-mcp` restates the whole list, with reasons, on every
+ * run: an exclusion announced once at the moment somebody added it is an exclusion nobody will read
+ * again, and a build-time warning at add time would be read exactly as little.
+ */
+class McpExclusion {
+    api;
+    method;
+    reason;
+    at;
+    constructor(api, method, 
+    /** The decorator's reason, verbatim. Empty only when the argument could not be folded. */
+    reason, 
+    /** `path/to/File.ts:LINE`, workspace-relative. */
+    at) {
+        this.api = api;
+        this.method = method;
+        this.reason = reason;
+        this.at = at;
+    }
+}
+exports.McpExclusion = McpExclusion;
+/** Both rules' findings from ONE scan — one program build, two verdicts. */
+class ApiDocRulesFindings {
+    openApi;
+    mcp;
+    mcpExclusions;
+    constructor(openApi, mcp, 
+    /** Every `@InvalidEndpointForMcp` endpoint the MCP rule looked at, in declaration order. */
+    mcpExclusions = []) {
+        this.openApi = openApi;
+        this.mcp = mcp;
+        this.mcpExclusions = mcpExclusions;
+    }
+    // webpieces-disable no-function-outside-class -- static factory of this class
+    static empty() {
+        return new ApiDocRulesFindings(new ApiRuleFindings([], []), new ApiRuleFindings([], []), []);
+    }
+}
+exports.ApiDocRulesFindings = ApiDocRulesFindings;
+/**
+ * ONE rule's switches, resolved from webpieces.config.json once per scan.
+ *
+ * The DEFAULT is OFF, and unlike an absent entry elsewhere that is deliberate: `defaultRules` in
+ * `@webpieces/rules-config` carries `mode: 'OFF'` for both, and the argument for it is written
+ * there rather than here so there is one place to read it.
+ */
+class ApiDocRule {
+    name;
+    enabled;
+    allowedPaths;
+    constructor(name, enabled, 
+    /** Project roots this rule does not apply to — `allowedPaths` in the config. */
+    allowedPaths) {
+        this.name = name;
+        this.enabled = enabled;
+        this.allowedPaths = allowedPaths;
+    }
+    /** ARMED, everywhere — what a unit test constructs, and what an opted-in repo resolves to. */
+    // webpieces-disable no-function-outside-class -- static factory of this class
+    static armed(name) {
+        return new ApiDocRule(name, true, []);
+    }
+    // webpieces-disable no-function-outside-class -- static factory of this class
+    static off(name) {
+        return new ApiDocRule(name, false, []);
+    }
+    /** `mode: OFF` and the time-box/branch hatches come from RuleGate, so there is ONE reading. */
+    // webpieces-disable no-function-outside-class -- static factory of this class
+    static fromConfig(workspaceRoot, name) {
+        if (new rule_gate_1.RuleGate().isDisabled(workspaceRoot, name, true)) {
+            return ApiDocRule.off(name);
+        }
+        const rule = (0, rules_config_1.loadAndValidate)(workspaceRoot).resolved.rules.get(name);
+        const allowed = rule?.options['allowedPaths'];
+        return new ApiDocRule(name, true, Array.isArray(allowed) ? allowed : []);
+    }
+}
+exports.ApiDocRule = ApiDocRule;
+/** ONE `webpieces-disable` naming a rule, and whether it gave a reason. */
+class DisableComment {
+    hasReason;
+    constructor(hasReason) {
+        this.hasReason = hasReason;
+    }
+    /**
+     * The disable naming `rule` on the declaration at `line` (1-based) of `file`, or undefined.
+     *
+     * It walks UPWARD over the declaration's own leading trivia — blank lines, `//` comments, a
+     * JSDoc block, and the decorators between them — because that is where an author writes one, and
+     * it stops at the first line that is none of those, so a directive belonging to the PREVIOUS
+     * declaration can never be read as covering this one.
+     *
+     * Only a directive NAMING this rule counts. An existing `// webpieces-disable no-any-unknown`
+     * therefore does not silence these rules, which is the point: that rule answers "is this
+     * type-safe?" and these answer "is this field PUBLISHED with no shape?" — different questions
+     * with different right answers, so the second one wants its own, separately argued line.
+     *
+     * A file that cannot be read yields "no disable": a defect is still a defect, and inventing a
+     * suppression out of an I/O failure is the one wrong answer.
+     */
+    // webpieces-disable no-function-outside-class -- static factory of this class
+    static readAt(file, line, rule) {
+        const lines = DisableComment.linesOf(file);
+        if (lines === undefined)
+            return undefined;
+        const start = Math.max(0, line - 1);
+        const onDeclaration = DisableComment.match(lines[start] ?? '', rule);
+        if (onDeclaration !== undefined)
+            return onDeclaration;
+        for (let i = start - 1; i >= 0 && i >= start - DISABLE_LOOKBACK_LINES; i--) {
+            const text = (lines[i] ?? '').trim();
+            const above = DisableComment.match(text, rule);
+            if (above !== undefined)
+                return above;
+            if (!DisableComment.isTrivia(text))
+                return undefined;
+        }
+        return undefined;
+    }
+    /** Leading trivia a disable comment is allowed to sit above: blanks, comments and decorators. */
+    // webpieces-disable no-function-outside-class -- private static predicate of this class
+    static isTrivia(text) {
+        return (text === '' ||
+            text.startsWith('//') ||
+            text.startsWith('*') ||
+            text.startsWith('/*') ||
+            text.startsWith('@'));
+    }
+    // webpieces-disable no-function-outside-class -- private static reader of this class
+    static match(text, rule) {
+        const found = text.trim().match(DISABLE_RE);
+        if (found === null)
+            return undefined;
+        const named = found[1].split(',').map((each) => each.trim());
+        if (!named.includes(rule))
+            return undefined;
+        return new DisableComment((found[2] ?? '').trim() !== '');
+    }
+    /** The file's lines, or undefined when it cannot be read. */
+    // webpieces-disable no-function-outside-class -- private static reader of this class
+    static linesOf(file) {
+        if (!fs.existsSync(file))
+            return undefined;
+        return fs.readFileSync(file, 'utf8').split('\n');
+    }
+}
+exports.DisableComment = DisableComment;
+//# sourceMappingURL=api-doc-rules.js.map

package/src/lib/api-usage/api-doc-rules.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"api-doc-rules.js","sourceRoot":"","sources":["../../../../../../../packages/tooling/nx-webpieces-rules/src/lib/api-usage/api-doc-rules.ts"],"names":[],"mappings":";AAAA;;;;;;GAMG;;;;AAEH,+CAAyB;AACzB,0DAAyF;AACzF,4CAAwC;AAExC,2DAA2D;AAC9C,QAAA,YAAY,GAAG,yBAAU,CAAC,qBAAqB,CAAC;AAChD,QAAA,QAAQ,GAAG,yBAAU,CAAC,iBAAiB,CAAC;AAErD,uEAAuE;AAC1D,QAAA,0BAA0B,GAAG,mBAAmB,CAAC;AAE9D;;;GAGG;AACH,MAAM,UAAU,GAAG,IAAI,MAAM,CACzB,SAAS,gCAAiB,wDAAwD,CACrF,CAAC;AAEF,kGAAkG;AAClG,MAAM,sBAAsB,GAAG,EAAE,CAAC;AAElC;;;;;;;GAOG;AACH,MAAa,iBAAiB;IAGN;IAEA;IAEA;IAEA;IAEA;IAEA;IAZpB;IACI,qCAAqC;IACrB,GAAW;IAC3B,gFAAgF;IAChE,MAAc;IAC9B,0DAA0D;IAC1C,IAAY;IAC5B,kDAAkD;IAClC,EAAU;IAC1B,2CAA2C;IAC3B,IAAY;IAC5B,2EAA2E;IAC3D,QAA2B;QAV3B,QAAG,GAAH,GAAG,CAAQ;QAEX,WAAM,GAAN,MAAM,CAAQ;QAEd,SAAI,GAAJ,IAAI,CAAQ;QAEZ,OAAE,GAAF,EAAE,CAAQ;QAEV,SAAI,GAAJ,IAAI,CAAQ;QAEZ,aAAQ,GAAR,QAAQ,CAAmB;IAC5C,CAAC;IAEJ,iEAAiE;IACjE,UAAU;QACN,OAAO,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,kCAA0B,CAAC,CAAC;IAC9D,CAAC;IAED,mDAAmD;IACnD,KAAK;QACD,OAAO,IAAI,CAAC,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;IACxE,CAAC;CACJ;AAzBD,8CAyBC;AAED,iFAAiF;AACjF,MAAa,eAAe;IAEJ;IAMA;IAPpB,YACoB,UAAwC;IACxD;;;;OAIG;IACa,kBAAgD;QANhD,eAAU,GAAV,UAAU,CAA8B;QAMxC,uBAAkB,GAAlB,kBAAkB,CAA8B;IACjE,CAAC;IAEJ,OAAO;QACH,OAAO,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,kBAAkB,CAAC,MAAM,KAAK,CAAC,CAAC;IAChF,CAAC;CACJ;AAdD,0CAcC;AAED;;;;;;;GAOG;AACH,MAAa,YAAY;IAED;IACA;IAEA;IAEA;IANpB,YACoB,GAAW,EACX,MAAc;IAC9B,0FAA0F;IAC1E,MAAc;IAC9B,kDAAkD;IAClC,EAAU;QALV,QAAG,GAAH,GAAG,CAAQ;QACX,WAAM,GAAN,MAAM,CAAQ;QAEd,WAAM,GAAN,MAAM,CAAQ;QAEd,OAAE,GAAF,EAAE,CAAQ;IAC3B,CAAC;CACP;AATD,oCASC;AAED,4EAA4E;AAC5E,MAAa,mBAAmB;IAER;IACA;IAEA;IAJpB,YACoB,OAAwB,EACxB,GAAoB;IACpC,4FAA4F;IAC5E,gBAAyC,EAAE;QAH3C,YAAO,GAAP,OAAO,CAAiB;QACxB,QAAG,GAAH,GAAG,CAAiB;QAEpB,kBAAa,GAAb,aAAa,CAA8B;IAC5D,CAAC;IAEJ,8EAA8E;IAC9E,MAAM,CAAC,KAAK;QACR,OAAO,IAAI,mBAAmB,CAC1B,IAAI,eAAe,CAAC,EAAE,EAAE,EAAE,CAAC,EAC3B,IAAI,eAAe,CAAC,EAAE,EAAE,EAAE,CAAC,EAC3B,EAAE,CACL,CAAC;IACN,CAAC;CACJ;AAhBD,kDAgBC;AAED;;;;;;GAMG;AACH,MAAa,UAAU;IAEC;IACA;IAEA;IAJpB,YACoB,IAAY,EACZ,OAAgB;IAChC,gFAAgF;IAChE,YAA+B;QAH/B,SAAI,GAAJ,IAAI,CAAQ;QACZ,YAAO,GAAP,OAAO,CAAS;QAEhB,iBAAY,GAAZ,YAAY,CAAmB;IAChD,CAAC;IAEJ,8FAA8F;IAC9F,8EAA8E;IAC9E,MAAM,CAAC,KAAK,CAAC,IAAY;QACrB,OAAO,IAAI,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;IAC1C,CAAC;IAED,8EAA8E;IAC9E,MAAM,CAAC,GAAG,CAAC,IAAY;QACnB,OAAO,IAAI,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;IAC3C,CAAC;IAED,+FAA+F;IAC/F,8EAA8E;IAC9E,MAAM,CAAC,UAAU,CAAC,aAAqB,EAAE,IAAY;QACjD,IAAI,IAAI,oBAAQ,EAAE,CAAC,UAAU,CAAC,aAAa,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;YACvD,OAAO,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAChC,CAAC;QACD,MAAM,IAAI,GAAG,IAAA,8BAAe,EAAC,aAAa,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrE,MAAM,OAAO,GAAG,IAAI,EAAE,OAAO,CAAC,cAAc,CAAC,CAAC;QAC9C,OAAO,IAAI,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAE,OAAoB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC3F,CAAC;CACJ;AA7BD,gCA6BC;AAED,2EAA2E;AAC3E,MAAa,cAAc;IACK;IAA5B,YAA4B,SAAkB;QAAlB,cAAS,GAAT,SAAS,CAAS;IAAG,CAAC;IAElD;;;;;;;;;;;;;;;OAeG;IACH,8EAA8E;IAC9E,MAAM,CAAC,MAAM,CAAC,IAAY,EAAE,IAAY,EAAE,IAAY;QAClD,MAAM,KAAK,GAAG,cAAc,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC1C,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC;QACpC,MAAM,aAAa,GAAG,cAAc,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,IAAI,CAAC,CAAC;QACrE,IAAI,aAAa,KAAK,SAAS;YAAE,OAAO,aAAa,CAAC;QACtD,KAAK,IAAI,CAAC,GAAG,KAAK,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,GAAG,sBAAsB,EAAE,CAAC,EAAE,EAAE,CAAC;YACzE,MAAM,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;YACrC,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAC/C,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO,KAAK,CAAC;YACtC,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAAE,OAAO,SAAS,CAAC;QACzD,CAAC;QACD,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,iGAAiG;IACjG,wFAAwF;IAChF,MAAM,CAAC,QAAQ,CAAC,IAAY;QAChC,OAAO,CACH,IAAI,KAAK,EAAE;YACX,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;YACrB,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;YACpB,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;YACrB,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CACvB,CAAC;IACN,CAAC;IAED,qFAAqF;IAC7E,MAAM,CAAC,KAAK,CAAC,IAAY,EAAE,IAAY;QAC3C,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QAC5C,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,SAAS,CAAC;QACrC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAY,EAAU,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QAC7E,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,OAAO,SAAS,CAAC;QAC5C,OAAO,IAAI,cAAc,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAC9D,CAAC;IAED,6DAA6D;IAC7D,qFAAqF;IAC7E,MAAM,CAAC,OAAO,CAAC,IAAY;QAC/B,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC;YAAE,OAAO,SAAS,CAAC;QAC3C,OAAO,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACrD,CAAC;CACJ;AA9DD,wCA8DC","sourcesContent":["/**\n * The DATA and the SWITCHES of `api-rules-for-openapi` and `api-rules-for-mcp` (#1011).\n *\n * The scan itself is in `api-doc-rules-scan.ts`; this file holds what a caller reads back and the\n * per-rule config, so a unit test can construct either without touching a config file and so the\n * config is read exactly once per executor run.\n */\n\nimport * as fs from 'fs';\nimport { loadAndValidate, RULE_NAMES, WEBPIECES_DISABLE } from '@webpieces/rules-config';\nimport { RuleGate } from '../rule-gate';\n\n/** As written in a disable comment and as a config key. */\nexport const OPENAPI_RULE = RULE_NAMES.API_RULES_FOR_OPENAPI;\nexport const MCP_RULE = RULE_NAMES.API_RULES_FOR_MCP;\n\n/** The `@ApiType` value that means \"a partner reads this document\". */\nexport const EXTERNAL_CUSTOMER_API_TYPE = 'external-customer';\n\n/**\n * `// webpieces-disable <rule>[, <rule2>] -- <reason>`, with the reason CAPTURED so a reasonless\n * disable can be told apart from an absent one. Identical to the spelling `root-union-scan` reads.\n */\nconst DISABLE_RE = new RegExp(\n    `//\\\\s*${WEBPIECES_DISABLE}\\\\s+([\\\\w-]+(?:\\\\s*,\\\\s*[\\\\w-]+)*)(?:\\\\s*--\\\\s*(.*))?$`,\n);\n\n/** How far above a declaration a disable comment may sit before it is somebody else's comment. */\nconst DISABLE_LOOKBACK_LINES = 40;\n\n/**\n * ONE defect on ONE contract.\n *\n * `exposure` is the contract's `@ApiType` list, and it is carried rather than derived because the\n * SAME defect is louder on a contract that reaches `external-customer`: an unshaped field on a\n * partner document costs a partner something, where the same field on a service-to-service contract\n * costs a colleague a question. The refusal sorts and labels on it.\n */\nexport class ApiContractDefect {\n    constructor(\n        /** The `@ApiPath` contract class. */\n        public readonly api: string,\n        /** The `@Endpoint` method, or `''` for a contract-level or DTO-level defect. */\n        public readonly method: string,\n        /** What is wrong, in one line, naming the declaration. */\n        public readonly what: string,\n        /** `path/to/File.ts:LINE`, workspace-relative. */\n        public readonly at: string,\n        /** What to do instead, in one sentence. */\n        public readonly cure: string,\n        /** The contract's `@ApiType` list — `svc-to-svc` when it declares none. */\n        public readonly exposure: readonly string[],\n    ) {}\n\n    /** True when this contract feeds the PARTNER-facing document. */\n    isExternal(): boolean {\n        return this.exposure.includes(EXTERNAL_CUSTOMER_API_TYPE);\n    }\n\n    /** `Api.method` or `Api` — what a reader opens. */\n    where(): string {\n        return this.method === '' ? this.api : `${this.api}.${this.method}`;\n    }\n}\n\n/** What ONE rule found: real defects, and disables of it that gave no reason. */\nexport class ApiRuleFindings {\n    constructor(\n        public readonly violations: readonly ApiContractDefect[],\n        /**\n         * Sites that named this rule in a disable and wrote no reason. A reasonless disable is\n         * itself a violation: the point of the per-site hatch is the ARGUMENT, which is the only\n         * part the next reader can weigh.\n         */\n        public readonly reasonlessDisables: readonly ApiContractDefect[],\n    ) {}\n\n    isEmpty(): boolean {\n        return this.violations.length === 0 && this.reasonlessDisables.length === 0;\n    }\n}\n\n/**\n * ONE endpoint declared PERMANENTLY outside MCP by `@InvalidEndpointForMcp('<reason>')` (#1014).\n *\n * Not a violation and not a suppression — a DECLARATION, which is why it is carried beside the\n * findings rather than in them. `api-rules-for-mcp` restates the whole list, with reasons, on every\n * run: an exclusion announced once at the moment somebody added it is an exclusion nobody will read\n * again, and a build-time warning at add time would be read exactly as little.\n */\nexport class McpExclusion {\n    constructor(\n        public readonly api: string,\n        public readonly method: string,\n        /** The decorator's reason, verbatim. Empty only when the argument could not be folded. */\n        public readonly reason: string,\n        /** `path/to/File.ts:LINE`, workspace-relative. */\n        public readonly at: string,\n    ) {}\n}\n\n/** Both rules' findings from ONE scan — one program build, two verdicts. */\nexport class ApiDocRulesFindings {\n    constructor(\n        public readonly openApi: ApiRuleFindings,\n        public readonly mcp: ApiRuleFindings,\n        /** Every `@InvalidEndpointForMcp` endpoint the MCP rule looked at, in declaration order. */\n        public readonly mcpExclusions: readonly McpExclusion[] = [],\n    ) {}\n\n    // webpieces-disable no-function-outside-class -- static factory of this class\n    static empty(): ApiDocRulesFindings {\n        return new ApiDocRulesFindings(\n            new ApiRuleFindings([], []),\n            new ApiRuleFindings([], []),\n            [],\n        );\n    }\n}\n\n/**\n * ONE rule's switches, resolved from webpieces.config.json once per scan.\n *\n * The DEFAULT is OFF, and unlike an absent entry elsewhere that is deliberate: `defaultRules` in\n * `@webpieces/rules-config` carries `mode: 'OFF'` for both, and the argument for it is written\n * there rather than here so there is one place to read it.\n */\nexport class ApiDocRule {\n    constructor(\n        public readonly name: string,\n        public readonly enabled: boolean,\n        /** Project roots this rule does not apply to — `allowedPaths` in the config. */\n        public readonly allowedPaths: readonly string[],\n    ) {}\n\n    /** ARMED, everywhere — what a unit test constructs, and what an opted-in repo resolves to. */\n    // webpieces-disable no-function-outside-class -- static factory of this class\n    static armed(name: string): ApiDocRule {\n        return new ApiDocRule(name, true, []);\n    }\n\n    // webpieces-disable no-function-outside-class -- static factory of this class\n    static off(name: string): ApiDocRule {\n        return new ApiDocRule(name, false, []);\n    }\n\n    /** `mode: OFF` and the time-box/branch hatches come from RuleGate, so there is ONE reading. */\n    // webpieces-disable no-function-outside-class -- static factory of this class\n    static fromConfig(workspaceRoot: string, name: string): ApiDocRule {\n        if (new RuleGate().isDisabled(workspaceRoot, name, true)) {\n            return ApiDocRule.off(name);\n        }\n        const rule = loadAndValidate(workspaceRoot).resolved.rules.get(name);\n        const allowed = rule?.options['allowedPaths'];\n        return new ApiDocRule(name, true, Array.isArray(allowed) ? (allowed as string[]) : []);\n    }\n}\n\n/** ONE `webpieces-disable` naming a rule, and whether it gave a reason. */\nexport class DisableComment {\n    constructor(public readonly hasReason: boolean) {}\n\n    /**\n     * The disable naming `rule` on the declaration at `line` (1-based) of `file`, or undefined.\n     *\n     * It walks UPWARD over the declaration's own leading trivia — blank lines, `//` comments, a\n     * JSDoc block, and the decorators between them — because that is where an author writes one, and\n     * it stops at the first line that is none of those, so a directive belonging to the PREVIOUS\n     * declaration can never be read as covering this one.\n     *\n     * Only a directive NAMING this rule counts. An existing `// webpieces-disable no-any-unknown`\n     * therefore does not silence these rules, which is the point: that rule answers \"is this\n     * type-safe?\" and these answer \"is this field PUBLISHED with no shape?\" — different questions\n     * with different right answers, so the second one wants its own, separately argued line.\n     *\n     * A file that cannot be read yields \"no disable\": a defect is still a defect, and inventing a\n     * suppression out of an I/O failure is the one wrong answer.\n     */\n    // webpieces-disable no-function-outside-class -- static factory of this class\n    static readAt(file: string, line: number, rule: string): DisableComment | undefined {\n        const lines = DisableComment.linesOf(file);\n        if (lines === undefined) return undefined;\n        const start = Math.max(0, line - 1);\n        const onDeclaration = DisableComment.match(lines[start] ?? '', rule);\n        if (onDeclaration !== undefined) return onDeclaration;\n        for (let i = start - 1; i >= 0 && i >= start - DISABLE_LOOKBACK_LINES; i--) {\n            const text = (lines[i] ?? '').trim();\n            const above = DisableComment.match(text, rule);\n            if (above !== undefined) return above;\n            if (!DisableComment.isTrivia(text)) return undefined;\n        }\n        return undefined;\n    }\n\n    /** Leading trivia a disable comment is allowed to sit above: blanks, comments and decorators. */\n    // webpieces-disable no-function-outside-class -- private static predicate of this class\n    private static isTrivia(text: string): boolean {\n        return (\n            text === '' ||\n            text.startsWith('//') ||\n            text.startsWith('*') ||\n            text.startsWith('/*') ||\n            text.startsWith('@')\n        );\n    }\n\n    // webpieces-disable no-function-outside-class -- private static reader of this class\n    private static match(text: string, rule: string): DisableComment | undefined {\n        const found = text.trim().match(DISABLE_RE);\n        if (found === null) return undefined;\n        const named = found[1].split(',').map((each: string): string => each.trim());\n        if (!named.includes(rule)) return undefined;\n        return new DisableComment((found[2] ?? '').trim() !== '');\n    }\n\n    /** The file's lines, or undefined when it cannot be read. */\n    // webpieces-disable no-function-outside-class -- private static reader of this class\n    private static linesOf(file: string): string[] | undefined {\n        if (!fs.existsSync(file)) return undefined;\n        return fs.readFileSync(file, 'utf8').split('\\n');\n    }\n}\n"]}

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

@@ -31,6 +31,7 @@ import type { EnhancedGraph } from '../graph-sorter';
 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';
 /** The whole-workspace result of a scan. */
 export interface ApiScanResult {
     /** projectName -> { apiLibProject -> relation }; only projects with ≥1 relation appear. */
@@ -76,6 +77,11 @@ export interface ApiScanResult {
     undeclaredEndpointOperations: UndeclaredEndpointOperation[];
     /** `no-root-union-api-type`'s findings. Fatal in buildApiContracts — see root-union-scan.ts. */
     rootUnions: RootUnionFindings;
+    /**
+     * `api-rules-for-openapi` / `api-rules-for-mcp` findings (#1011). Both ship OFF, so this is
+     * EMPTY unless a repo opted in — see `defaultRules` in `@webpieces/rules-config` for why.
+     */
+    apiDocRules: ApiDocRulesFindings;
 }
 /** Statically scans every project for its api-lib implements/uses relationships. */
 export declare class ApiUsageScanner {
@@ -85,6 +91,10 @@ export declare class ApiUsageScanner {
     private readonly externalApiPaths;
     /** `no-root-union-api-type`'s switches — ARMED unless scanAndAttachApiRelations read otherwise. */
     private readonly rootUnionRule;
+    /** `api-rules-for-openapi`'s switches — OFF unless a repo opted in. */
+    private readonly openApiRule;
+    /** `api-rules-for-mcp`'s switches — OFF unless a repo opted in. */
+    private readonly mcpRule;
     private readonly locator;
     private readonly relationsByProject;
     private readonly scannedProjects;
@@ -95,7 +105,11 @@ export declare class ApiUsageScanner {
     /** Globs of project roots whose exported `*Api` types are contracts for outside systems. */
     externalApiPaths?: readonly string[], 
     /** `no-root-union-api-type`'s switches — ARMED unless scanAndAttachApiRelations read otherwise. */
-    rootUnionRule?: RootUnionRule);
+    rootUnionRule?: RootUnionRule, 
+    /** `api-rules-for-openapi`'s switches — OFF unless a repo opted in. */
+    openApiRule?: ApiDocRule, 
+    /** `api-rules-for-mcp`'s switches — OFF unless a repo opted in. */
+    mcpRule?: ApiDocRule);
     scan(): ApiScanResult;
     private scanProject;
     private visit;

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

@@ -44,6 +44,8 @@ const bindings_1 = require("../di-graph/bindings");
 const api_relations_1 = require("./api-relations");
 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 api_ast_1 = require("./api-ast");
 const RPC_CLIENT_METHOD = 'createRpcClient';
 const PUBSUB_CLIENT_METHOD = 'createPubSubClient';
@@ -206,6 +208,8 @@ class ApiUsageScanner {
     projectInfos;
     externalApiPaths;
     rootUnionRule;
+    openApiRule;
+    mcpRule;
     locator;
     relationsByProject = new Map();
     scannedProjects = new Set();
@@ -216,11 +220,17 @@ class ApiUsageScanner {
     /** Globs of project roots whose exported `*Api` types are contracts for outside systems. */
     externalApiPaths = [], 
     /** `no-root-union-api-type`'s switches — ARMED unless scanAndAttachApiRelations read otherwise. */
-    rootUnionRule = root_union_scan_1.RootUnionRule.enabledEverywhere()) {
+    rootUnionRule = root_union_scan_1.RootUnionRule.enabledEverywhere(), 
+    /** `api-rules-for-openapi`'s switches — OFF unless a repo opted in. */
+    openApiRule = api_doc_rules_1.ApiDocRule.off(api_doc_rules_1.OPENAPI_RULE), 
+    /** `api-rules-for-mcp`'s switches — OFF unless a repo opted in. */
+    mcpRule = api_doc_rules_1.ApiDocRule.off(api_doc_rules_1.MCP_RULE)) {
         this.workspaceRoot = workspaceRoot;
         this.projectInfos = projectInfos;
         this.externalApiPaths = externalApiPaths;
         this.rootUnionRule = rootUnionRule;
+        this.openApiRule = openApiRule;
+        this.mcpRule = mcpRule;
         this.locator = new ProjectLocator(workspaceRoot, projectInfos);
         this.decoratorArgDiagnostics = new api_ast_1.DecoratorArgDiagnostics(workspaceRoot);
     }
@@ -245,6 +255,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(),
         };
     }
     scanProject(info) {
@@ -389,7 +400,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)).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)).scan();
     for (const projectName of result.relationsByProject.keys()) {
         const entry = graph[projectName];
         if (entry)
@@ -432,6 +443,15 @@ function buildApiContracts(scan) {
     // are contracts the scan could not READ at all.
     if (!scan.rootUnions.isEmpty())
         throw new api_contract_errors_1.RootUnionApiTypeError(scan.rootUnions);
+    // Contract shapes that are not PUBLISHABLE, read by the generator's own extractor (#1011).
+    // After the root union, which is the one shape no function-calling API will accept at all, and
+    // before the caller checks below, which are about the architecture graph rather than a document.
+    if (!scan.apiDocRules.openApi.isEmpty()) {
+        throw new api_contract_errors_1.ApiRulesForOpenApiError(scan.apiDocRules.openApi);
+    }
+    if (!scan.apiDocRules.mcp.isEmpty()) {
+        throw new api_contract_errors_1.ApiRulesForMcpError(scan.apiDocRules.mcp, scan.apiDocRules.mcpExclusions);
+    }
     // After the two above: an unreadable path is what empties a contract, and a contract that lost
     // every method has no external endpoint left to complain about.
     if (scan.undeclaredExternalCallers.length > 0) {

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;;;AAwdH,8DAiBC;AAuBD,8CAqCC;AAUD,0EAgBC;AASD,0EAmBC;;AAzlBD,uDAAiC;AACjC,+CAAyB;AACzB,mDAA6B;AAC7B,0DAAyD;AAGzD,iDAA0D;AAC1D,mDAA+D;AAC/D,mDAiByB;AACzB,+DAO+B;AAC/B,uDAAoF;AACpF,uCAamB;AAEnB,MAAM,iBAAiB,GAAG,iBAAiB,CAAC;AAC5C,MAAM,oBAAoB,GAAG,oBAAoB,CAAC;AAClD,MAAM,iBAAiB,GAAG,WAAW,CAAC;AAiDtC,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;IAbJ,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;QALhE,kBAAa,GAAb,aAAa,CAAQ;QACrB,iBAAY,GAAZ,YAAY,CAA0B;QAEtC,qBAAgB,GAAhB,gBAAgB,CAAwB;QAExC,kBAAa,GAAb,aAAa,CAAmD;QAEjF,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;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;AA5MD,0CA4MC;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,CAC1C,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,+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    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 {\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\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    ) {\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        };\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    ).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    // 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;;;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,uEAAuE;IACtD,cAA0B,0BAAU,CAAC,GAAG,CAAC,4BAAY,CAAC;IACvE,mEAAmE;IAClD,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 opted in — see `defaultRules` in `@webpieces/rules-config` for why.\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 — OFF unless a repo opted in. */\n        private readonly openApiRule: ApiDocRule = ApiDocRule.off(OPENAPI_RULE),\n        /** `api-rules-for-mcp`'s switches — OFF unless a repo opted in. */\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"]}