@webpieces/nx-webpieces-rules 0.3.236 → 0.3.238

package/src/lib/di-graph/bindings.d.ts

@@ -0,0 +1,34 @@
+/**
+ * Binding Table (pass 1 of the DI graph analyzer)
+ *
+ * Scans every source file in the project's TypeScript program (skipping .d.ts and
+ * node_modules) and collects all Inversify bindings into a Map<tokenKey, Binding[]>:
+ *
+ *   - ContainerModule bodies:  bind(TOKEN).to(Impl) / .toSelf() / .toConstantValue(x)
+ *                              / .toDynamicValue(fn), with .inSingletonScope() etc.
+ *   - Decorators:              @provideSingleton() / @provideTransient() (self-binding)
+ *                              and @provideSingletonAs(TOKEN)
+ *
+ * Arrays because multiInject tokens (e.g. HEADER_TYPES.PlatformHeadersExtension) are
+ * bound once per ContainerModule across several packages.
+ */
+import * as ts from 'typescript';
+import { Binding } from './model';
+export declare class BindingTable {
+    private readonly byToken;
+    add(binding: Binding): void;
+    lookup(tokenKey: string): Binding[];
+}
+/**
+ * If `expr` is (or resolves through the checker to) a class declaration, return it.
+ */
+export declare function resolveClassDeclaration(expr: ts.Expression, checker: ts.TypeChecker): ts.ClassDeclaration | null;
+/** Return the decorator call expression when `decorator` is `@name(...)`, else null. */
+export declare function decoratorCall(decorator: ts.Decorator): ts.CallExpression | null;
+/** The identifier name of a decorator like `@provideSingleton()` or `@inject(X)`. */
+export declare function decoratorName(decorator: ts.Decorator): string | null;
+export declare function classDecorators(cls: ts.ClassDeclaration): ts.Decorator[];
+/**
+ * Pass 1: collect every binding in the program into a token-keyed table.
+ */
+export declare function collectBindings(program: ts.Program, checker: ts.TypeChecker, workspaceRoot: string): BindingTable;

package/src/lib/di-graph/bindings.js

@@ -0,0 +1,194 @@
+"use strict";
+/**
+ * Binding Table (pass 1 of the DI graph analyzer)
+ *
+ * Scans every source file in the project's TypeScript program (skipping .d.ts and
+ * node_modules) and collects all Inversify bindings into a Map<tokenKey, Binding[]>:
+ *
+ *   - ContainerModule bodies:  bind(TOKEN).to(Impl) / .toSelf() / .toConstantValue(x)
+ *                              / .toDynamicValue(fn), with .inSingletonScope() etc.
+ *   - Decorators:              @provideSingleton() / @provideTransient() (self-binding)
+ *                              and @provideSingletonAs(TOKEN)
+ *
+ * Arrays because multiInject tokens (e.g. HEADER_TYPES.PlatformHeadersExtension) are
+ * bound once per ContainerModule across several packages.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.BindingTable = void 0;
+exports.resolveClassDeclaration = resolveClassDeclaration;
+exports.decoratorCall = decoratorCall;
+exports.decoratorName = decoratorName;
+exports.classDecorators = classDecorators;
+exports.collectBindings = collectBindings;
+const tslib_1 = require("tslib");
+const ts = tslib_1.__importStar(require("typescript"));
+const model_1 = require("./model");
+const token_resolver_1 = require("./token-resolver");
+const BIND_METHOD_NAMES = new Set(['to', 'toSelf', 'toConstantValue', 'toDynamicValue']);
+class BindingTable {
+    byToken = new Map();
+    add(binding) {
+        const list = this.byToken.get(binding.tokenKey);
+        if (list) {
+            list.push(binding);
+        }
+        else {
+            this.byToken.set(binding.tokenKey, [binding]);
+        }
+    }
+    lookup(tokenKey) {
+        return this.byToken.get(tokenKey) ?? [];
+    }
+}
+exports.BindingTable = BindingTable;
+function isAnalyzableFile(sourceFile) {
+    if (sourceFile.isDeclarationFile)
+        return false;
+    if (sourceFile.fileName.includes('/node_modules/'))
+        return false;
+    return true;
+}
+/** Walk `.inSingletonScope()` / `.inTransientScope()` suffixes above a binding call. */
+function scopeFromChain(bindingCall) {
+    let node = bindingCall;
+    while (node.parent &&
+        ts.isPropertyAccessExpression(node.parent) &&
+        node.parent.parent &&
+        ts.isCallExpression(node.parent.parent)) {
+        const methodName = node.parent.name.text;
+        if (methodName === 'inSingletonScope')
+            return 'singleton';
+        if (methodName === 'inTransientScope')
+            return 'transient';
+        node = node.parent.parent;
+    }
+    return 'unknown';
+}
+/**
+ * If `expr` is (or resolves through the checker to) a class declaration, return it.
+ */
+function resolveClassDeclaration(expr, checker) {
+    let symbol = checker.getSymbolAtLocation(expr);
+    if (symbol && (symbol.flags & ts.SymbolFlags.Alias) !== 0) {
+        symbol = checker.getAliasedSymbol(symbol);
+    }
+    for (const decl of symbol?.declarations ?? []) {
+        if (ts.isClassDeclaration(decl))
+            return decl;
+    }
+    return null;
+}
+/**
+ * Recognize `bind(TOKEN)` at the bottom of a fluent chain. Accepts a bare `bind(...)`
+ * identifier call or `options.bind(...)` property call.
+ */
+function asBindCall(expr) {
+    if (!ts.isCallExpression(expr))
+        return null;
+    const callee = expr.expression;
+    if (ts.isIdentifier(callee) && callee.text === 'bind')
+        return expr;
+    if (ts.isPropertyAccessExpression(callee) && callee.name.text === 'bind')
+        return expr;
+    return null;
+}
+/**
+ * Handle one `<receiver>.to*(...)` call: if the receiver bottoms out at bind(TOKEN),
+ * record the binding.
+ */
+function collectBindCall(call, checker, workspaceRoot, table) {
+    if (!ts.isPropertyAccessExpression(call.expression))
+        return;
+    const methodName = call.expression.name.text;
+    if (!BIND_METHOD_NAMES.has(methodName))
+        return;
+    const bindCall = asBindCall(call.expression.expression);
+    if (!bindCall || bindCall.arguments.length === 0)
+        return;
+    const tokenExpr = bindCall.arguments[0];
+    const file = (0, token_resolver_1.relativeFile)(workspaceRoot, call.getSourceFile());
+    const scope = scopeFromChain(call);
+    if (methodName === 'toSelf') {
+        const cls = resolveClassDeclaration(tokenExpr, checker);
+        const token = cls
+            ? (0, token_resolver_1.classTokenKey)(cls, workspaceRoot)
+            : (0, token_resolver_1.resolveTokenKey)(tokenExpr, checker, workspaceRoot);
+        table.add(new model_1.Binding(token.key, tokenExpr.getText(), 'toSelf', scope, cls, '', file));
+        return;
+    }
+    const token = (0, token_resolver_1.resolveTokenKey)(tokenExpr, checker, workspaceRoot);
+    if (methodName === 'to') {
+        const implExpr = call.arguments[0];
+        const cls = implExpr ? resolveClassDeclaration(implExpr, checker) : null;
+        const valueText = implExpr ? implExpr.getText() : '';
+        table.add(new model_1.Binding(token.key, token.display, 'to', scope, cls, valueText, file));
+        return;
+    }
+    const kind = methodName === 'toConstantValue' ? 'toConstantValue' : 'toDynamicValue';
+    const valueExpr = call.arguments[0];
+    const valueText = valueExpr ? firstLine(valueExpr.getText()) : '';
+    table.add(new model_1.Binding(token.key, token.display, kind, scope, null, valueText, file));
+}
+function firstLine(text) {
+    const line = text.split('\n')[0].trim();
+    return line.length > 60 ? line.slice(0, 57) + '...' : line;
+}
+/** Return the decorator call expression when `decorator` is `@name(...)`, else null. */
+function decoratorCall(decorator) {
+    return ts.isCallExpression(decorator.expression) ? decorator.expression : null;
+}
+/** The identifier name of a decorator like `@provideSingleton()` or `@inject(X)`. */
+function decoratorName(decorator) {
+    const call = decoratorCall(decorator);
+    const callee = call ? call.expression : decorator.expression;
+    if (ts.isIdentifier(callee))
+        return callee.text;
+    if (ts.isPropertyAccessExpression(callee))
+        return callee.name.text;
+    return null;
+}
+function classDecorators(cls) {
+    const decorators = ts.getDecorators(cls);
+    return decorators ? [...decorators] : [];
+}
+function collectDecoratorBindings(cls, checker, workspaceRoot, table) {
+    const file = (0, token_resolver_1.relativeFile)(workspaceRoot, cls.getSourceFile());
+    for (const decorator of classDecorators(cls)) {
+        const name = decoratorName(decorator);
+        if (name === 'provideSingleton' || name === 'provideTransient') {
+            const token = (0, token_resolver_1.classTokenKey)(cls, workspaceRoot);
+            const scope = name === 'provideSingleton' ? 'singleton' : 'transient';
+            table.add(new model_1.Binding(token.key, token.display, 'decorator', scope, cls, '', file));
+        }
+        else if (name === 'provideSingletonAs') {
+            const call = decoratorCall(decorator);
+            const tokenExpr = call?.arguments[0];
+            if (!tokenExpr)
+                continue;
+            const token = (0, token_resolver_1.resolveTokenKey)(tokenExpr, checker, workspaceRoot);
+            table.add(new model_1.Binding(token.key, token.display, 'decorator', 'singleton', cls, '', file));
+        }
+    }
+}
+/**
+ * Pass 1: collect every binding in the program into a token-keyed table.
+ */
+function collectBindings(program, checker, workspaceRoot) {
+    const table = new BindingTable();
+    for (const sourceFile of program.getSourceFiles()) {
+        if (!isAnalyzableFile(sourceFile))
+            continue;
+        const visit = (node) => {
+            if (ts.isCallExpression(node)) {
+                collectBindCall(node, checker, workspaceRoot, table);
+            }
+            else if (ts.isClassDeclaration(node)) {
+                collectDecoratorBindings(node, checker, workspaceRoot, table);
+            }
+            ts.forEachChild(node, visit);
+        };
+        visit(sourceFile);
+    }
+    return table;
+}
+//# sourceMappingURL=bindings.js.map

package/src/lib/di-graph/bindings.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bindings.js","sourceRoot":"","sources":["../../../../../../../packages/tooling/nx-webpieces-rules/src/lib/di-graph/bindings.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;GAaG;;;AAmDH,0DAYC;AAkED,sCAEC;AAGD,sCAMC;AAED,0CAGC;AA4BD,0CAsBC;;AAjMD,uDAAiC;AACjC,mCAAwD;AACxD,qDAAgF;AAEhF,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,iBAAiB,EAAE,gBAAgB,CAAC,CAAC,CAAC;AAEzF,MAAa,YAAY;IACJ,OAAO,GAAG,IAAI,GAAG,EAAqB,CAAC;IAExD,GAAG,CAAC,OAAgB;QAChB,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAChD,IAAI,IAAI,EAAE,CAAC;YACP,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACvB,CAAC;aAAM,CAAC;YACJ,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;QAClD,CAAC;IACL,CAAC;IAED,MAAM,CAAC,QAAgB;QACnB,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;IAC5C,CAAC;CACJ;AAfD,oCAeC;AAED,SAAS,gBAAgB,CAAC,UAAyB;IAC/C,IAAI,UAAU,CAAC,iBAAiB;QAAE,OAAO,KAAK,CAAC;IAC/C,IAAI,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,gBAAgB,CAAC;QAAE,OAAO,KAAK,CAAC;IACjE,OAAO,IAAI,CAAC;AAChB,CAAC;AAED,wFAAwF;AACxF,SAAS,cAAc,CAAC,WAA8B;IAClD,IAAI,IAAI,GAAY,WAAW,CAAC;IAChC,OACI,IAAI,CAAC,MAAM;QACX,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,MAAM,CAAC;QAC1C,IAAI,CAAC,MAAM,CAAC,MAAM;QAClB,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EACzC,CAAC;QACC,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;QACzC,IAAI,UAAU,KAAK,kBAAkB;YAAE,OAAO,WAAW,CAAC;QAC1D,IAAI,UAAU,KAAK,kBAAkB;YAAE,OAAO,WAAW,CAAC;QAC1D,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;IAC9B,CAAC;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AAED;;GAEG;AACH,SAAgB,uBAAuB,CACnC,IAAmB,EACnB,OAAuB;IAEvB,IAAI,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;IAC/C,IAAI,MAAM,IAAI,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QACxD,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;IAC9C,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,YAAY,IAAI,EAAE,EAAE,CAAC;QAC5C,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;IACjD,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,CAAC;AAED;;;GAGG;AACH,SAAS,UAAU,CAAC,IAAmB;IACnC,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5C,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;IAC/B,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IACnE,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IACtF,OAAO,IAAI,CAAC;AAChB,CAAC;AAED;;;GAGG;AACH,SAAS,eAAe,CACpB,IAAuB,EACvB,OAAuB,EACvB,aAAqB,EACrB,KAAmB;IAEnB,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,UAAU,CAAC;QAAE,OAAO;IAC5D,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;IAC7C,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,UAAU,CAAC;QAAE,OAAO;IAE/C,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;IACxD,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IAEzD,MAAM,SAAS,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACxC,MAAM,IAAI,GAAG,IAAA,6BAAY,EAAC,aAAa,EAAE,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC;IAC/D,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IAEnC,IAAI,UAAU,KAAK,QAAQ,EAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,uBAAuB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QACxD,MAAM,KAAK,GAAG,GAAG;YACb,CAAC,CAAC,IAAA,8BAAa,EAAC,GAAG,EAAE,aAAa,CAAC;YACnC,CAAC,CAAC,IAAA,gCAAe,EAAC,SAAS,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC;QACzD,KAAK,CAAC,GAAG,CAAC,IAAI,eAAO,CAAC,KAAK,CAAC,GAAG,EAAE,SAAS,CAAC,OAAO,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC;QACvF,OAAO;IACX,CAAC;IAED,MAAM,KAAK,GAAG,IAAA,gCAAe,EAAC,SAAS,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC;IAEjE,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;QACtB,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,uBAAuB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACzE,MAAM,SAAS,GAAG,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrD,KAAK,CAAC,GAAG,CAAC,IAAI,eAAO,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC;QACpF,OAAO;IACX,CAAC;IAED,MAAM,IAAI,GAAgB,UAAU,KAAK,iBAAiB,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,gBAAgB,CAAC;IAClG,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACpC,MAAM,SAAS,GAAG,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAClE,KAAK,CAAC,GAAG,CAAC,IAAI,eAAO,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC;AACzF,CAAC;AAED,SAAS,SAAS,CAAC,IAAY;IAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACxC,OAAO,IAAI,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AAC/D,CAAC;AAED,wFAAwF;AACxF,SAAgB,aAAa,CAAC,SAAuB;IACjD,OAAO,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;AACnF,CAAC;AAED,qFAAqF;AACrF,SAAgB,aAAa,CAAC,SAAuB;IACjD,MAAM,IAAI,GAAG,aAAa,CAAC,SAAS,CAAC,CAAC;IACtC,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC;IAC7D,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC;IAChD,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IACnE,OAAO,IAAI,CAAC;AAChB,CAAC;AAED,SAAgB,eAAe,CAAC,GAAwB;IACpD,MAAM,UAAU,GAAG,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;IACzC,OAAO,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAC7C,CAAC;AAED,SAAS,wBAAwB,CAC7B,GAAwB,EACxB,OAAuB,EACvB,aAAqB,EACrB,KAAmB;IAEnB,MAAM,IAAI,GAAG,IAAA,6BAAY,EAAC,aAAa,EAAE,GAAG,CAAC,aAAa,EAAE,CAAC,CAAC;IAC9D,KAAK,MAAM,SAAS,IAAI,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3C,MAAM,IAAI,GAAG,aAAa,CAAC,SAAS,CAAC,CAAC;QACtC,IAAI,IAAI,KAAK,kBAAkB,IAAI,IAAI,KAAK,kBAAkB,EAAE,CAAC;YAC7D,MAAM,KAAK,GAAG,IAAA,8BAAa,EAAC,GAAG,EAAE,aAAa,CAAC,CAAC;YAChD,MAAM,KAAK,GAAY,IAAI,KAAK,kBAAkB,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC;YAC/E,KAAK,CAAC,GAAG,CAAC,IAAI,eAAO,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC;QACxF,CAAC;aAAM,IAAI,IAAI,KAAK,oBAAoB,EAAE,CAAC;YACvC,MAAM,IAAI,GAAG,aAAa,CAAC,SAAS,CAAC,CAAC;YACtC,MAAM,SAAS,GAAG,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;YACrC,IAAI,CAAC,SAAS;gBAAE,SAAS;YACzB,MAAM,KAAK,GAAG,IAAA,gCAAe,EAAC,SAAS,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC;YACjE,KAAK,CAAC,GAAG,CAAC,IAAI,eAAO,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC;QAC9F,CAAC;IACL,CAAC;AACL,CAAC;AAED;;GAEG;AACH,SAAgB,eAAe,CAC3B,OAAmB,EACnB,OAAuB,EACvB,aAAqB;IAErB,MAAM,KAAK,GAAG,IAAI,YAAY,EAAE,CAAC;IAEjC,KAAK,MAAM,UAAU,IAAI,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC;QAChD,IAAI,CAAC,gBAAgB,CAAC,UAAU,CAAC;YAAE,SAAS;QAE5C,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;YAClC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC5B,eAAe,CAAC,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,KAAK,CAAC,CAAC;YACzD,CAAC;iBAAM,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;gBACrC,wBAAwB,CAAC,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,KAAK,CAAC,CAAC;YAClE,CAAC;YACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACjC,CAAC,CAAC;QACF,KAAK,CAAC,UAAU,CAAC,CAAC;IACtB,CAAC;IAED,OAAO,KAAK,CAAC;AACjB,CAAC","sourcesContent":["/**\n * Binding Table (pass 1 of the DI graph analyzer)\n *\n * Scans every source file in the project's TypeScript program (skipping .d.ts and\n * node_modules) and collects all Inversify bindings into a Map<tokenKey, Binding[]>:\n *\n *   - ContainerModule bodies:  bind(TOKEN).to(Impl) / .toSelf() / .toConstantValue(x)\n *                              / .toDynamicValue(fn), with .inSingletonScope() etc.\n *   - Decorators:              @provideSingleton() / @provideTransient() (self-binding)\n *                              and @provideSingletonAs(TOKEN)\n *\n * Arrays because multiInject tokens (e.g. HEADER_TYPES.PlatformHeadersExtension) are\n * bound once per ContainerModule across several packages.\n */\n\nimport * as ts from 'typescript';\nimport { Binding, BindingKind, DiScope } from './model';\nimport { classTokenKey, relativeFile, resolveTokenKey } from './token-resolver';\n\nconst BIND_METHOD_NAMES = new Set(['to', 'toSelf', 'toConstantValue', 'toDynamicValue']);\n\nexport class BindingTable {\n    private readonly byToken = new Map<string, Binding[]>();\n\n    add(binding: Binding): void {\n        const list = this.byToken.get(binding.tokenKey);\n        if (list) {\n            list.push(binding);\n        } else {\n            this.byToken.set(binding.tokenKey, [binding]);\n        }\n    }\n\n    lookup(tokenKey: string): Binding[] {\n        return this.byToken.get(tokenKey) ?? [];\n    }\n}\n\nfunction isAnalyzableFile(sourceFile: ts.SourceFile): boolean {\n    if (sourceFile.isDeclarationFile) return false;\n    if (sourceFile.fileName.includes('/node_modules/')) return false;\n    return true;\n}\n\n/** Walk `.inSingletonScope()` / `.inTransientScope()` suffixes above a binding call. */\nfunction scopeFromChain(bindingCall: ts.CallExpression): DiScope {\n    let node: ts.Node = bindingCall;\n    while (\n        node.parent &&\n        ts.isPropertyAccessExpression(node.parent) &&\n        node.parent.parent &&\n        ts.isCallExpression(node.parent.parent)\n    ) {\n        const methodName = node.parent.name.text;\n        if (methodName === 'inSingletonScope') return 'singleton';\n        if (methodName === 'inTransientScope') return 'transient';\n        node = node.parent.parent;\n    }\n    return 'unknown';\n}\n\n/**\n * If `expr` is (or resolves through the checker to) a class declaration, return it.\n */\nexport function resolveClassDeclaration(\n    expr: ts.Expression,\n    checker: ts.TypeChecker,\n): ts.ClassDeclaration | null {\n    let symbol = checker.getSymbolAtLocation(expr);\n    if (symbol && (symbol.flags & ts.SymbolFlags.Alias) !== 0) {\n        symbol = checker.getAliasedSymbol(symbol);\n    }\n    for (const decl of symbol?.declarations ?? []) {\n        if (ts.isClassDeclaration(decl)) return decl;\n    }\n    return null;\n}\n\n/**\n * Recognize `bind(TOKEN)` at the bottom of a fluent chain. Accepts a bare `bind(...)`\n * identifier call or `options.bind(...)` property call.\n */\nfunction asBindCall(expr: ts.Expression): ts.CallExpression | null {\n    if (!ts.isCallExpression(expr)) return null;\n    const callee = expr.expression;\n    if (ts.isIdentifier(callee) && callee.text === 'bind') return expr;\n    if (ts.isPropertyAccessExpression(callee) && callee.name.text === 'bind') return expr;\n    return null;\n}\n\n/**\n * Handle one `<receiver>.to*(...)` call: if the receiver bottoms out at bind(TOKEN),\n * record the binding.\n */\nfunction collectBindCall(\n    call: ts.CallExpression,\n    checker: ts.TypeChecker,\n    workspaceRoot: string,\n    table: BindingTable,\n): void {\n    if (!ts.isPropertyAccessExpression(call.expression)) return;\n    const methodName = call.expression.name.text;\n    if (!BIND_METHOD_NAMES.has(methodName)) return;\n\n    const bindCall = asBindCall(call.expression.expression);\n    if (!bindCall || bindCall.arguments.length === 0) return;\n\n    const tokenExpr = bindCall.arguments[0];\n    const file = relativeFile(workspaceRoot, call.getSourceFile());\n    const scope = scopeFromChain(call);\n\n    if (methodName === 'toSelf') {\n        const cls = resolveClassDeclaration(tokenExpr, checker);\n        const token = cls\n            ? classTokenKey(cls, workspaceRoot)\n            : resolveTokenKey(tokenExpr, checker, workspaceRoot);\n        table.add(new Binding(token.key, tokenExpr.getText(), 'toSelf', scope, cls, '', file));\n        return;\n    }\n\n    const token = resolveTokenKey(tokenExpr, checker, workspaceRoot);\n\n    if (methodName === 'to') {\n        const implExpr = call.arguments[0];\n        const cls = implExpr ? resolveClassDeclaration(implExpr, checker) : null;\n        const valueText = implExpr ? implExpr.getText() : '';\n        table.add(new Binding(token.key, token.display, 'to', scope, cls, valueText, file));\n        return;\n    }\n\n    const kind: BindingKind = methodName === 'toConstantValue' ? 'toConstantValue' : 'toDynamicValue';\n    const valueExpr = call.arguments[0];\n    const valueText = valueExpr ? firstLine(valueExpr.getText()) : '';\n    table.add(new Binding(token.key, token.display, kind, scope, null, valueText, file));\n}\n\nfunction firstLine(text: string): string {\n    const line = text.split('\\n')[0].trim();\n    return line.length > 60 ? line.slice(0, 57) + '...' : line;\n}\n\n/** Return the decorator call expression when `decorator` is `@name(...)`, else null. */\nexport function decoratorCall(decorator: ts.Decorator): ts.CallExpression | null {\n    return ts.isCallExpression(decorator.expression) ? decorator.expression : null;\n}\n\n/** The identifier name of a decorator like `@provideSingleton()` or `@inject(X)`. */\nexport function decoratorName(decorator: ts.Decorator): string | null {\n    const call = decoratorCall(decorator);\n    const callee = call ? call.expression : decorator.expression;\n    if (ts.isIdentifier(callee)) return callee.text;\n    if (ts.isPropertyAccessExpression(callee)) return callee.name.text;\n    return null;\n}\n\nexport function classDecorators(cls: ts.ClassDeclaration): ts.Decorator[] {\n    const decorators = ts.getDecorators(cls);\n    return decorators ? [...decorators] : [];\n}\n\nfunction collectDecoratorBindings(\n    cls: ts.ClassDeclaration,\n    checker: ts.TypeChecker,\n    workspaceRoot: string,\n    table: BindingTable,\n): void {\n    const file = relativeFile(workspaceRoot, cls.getSourceFile());\n    for (const decorator of classDecorators(cls)) {\n        const name = decoratorName(decorator);\n        if (name === 'provideSingleton' || name === 'provideTransient') {\n            const token = classTokenKey(cls, workspaceRoot);\n            const scope: DiScope = name === 'provideSingleton' ? 'singleton' : 'transient';\n            table.add(new Binding(token.key, token.display, 'decorator', scope, cls, '', file));\n        } else if (name === 'provideSingletonAs') {\n            const call = decoratorCall(decorator);\n            const tokenExpr = call?.arguments[0];\n            if (!tokenExpr) continue;\n            const token = resolveTokenKey(tokenExpr, checker, workspaceRoot);\n            table.add(new Binding(token.key, token.display, 'decorator', 'singleton', cls, '', file));\n        }\n    }\n}\n\n/**\n * Pass 1: collect every binding in the program into a token-keyed table.\n */\nexport function collectBindings(\n    program: ts.Program,\n    checker: ts.TypeChecker,\n    workspaceRoot: string,\n): BindingTable {\n    const table = new BindingTable();\n\n    for (const sourceFile of program.getSourceFiles()) {\n        if (!isAnalyzableFile(sourceFile)) continue;\n\n        const visit = (node: ts.Node): void => {\n            if (ts.isCallExpression(node)) {\n                collectBindCall(node, checker, workspaceRoot, table);\n            } else if (ts.isClassDeclaration(node)) {\n                collectDecoratorBindings(node, checker, workspaceRoot, table);\n            }\n            ts.forEachChild(node, visit);\n        };\n        visit(sourceFile);\n    }\n\n    return table;\n}\n"]}

package/src/lib/di-graph/mermaid.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Mermaid Emitter
+ *
+ * Renders the DI graph as design.md — a Mermaid `graph TD` diagram that GitHub
+ * and IDEs render inline, so the DI design is reviewable in every PR. Emitted
+ * in the same sorted order as design.json so diffs are equally stable.
+ */
+import { DiGraph } from './model';
+/**
+ * Render the design.md content for a project's DI graph.
+ */
+export declare function toDesignMarkdown(graph: DiGraph): string;

package/src/lib/di-graph/mermaid.js

@@ -0,0 +1,80 @@
+"use strict";
+/**
+ * Mermaid Emitter
+ *
+ * Renders the DI graph as design.md — a Mermaid `graph TD` diagram that GitHub
+ * and IDEs render inline, so the DI design is reviewable in every PR. Emitted
+ * in the same sorted order as design.json so diffs are equally stable.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.toDesignMarkdown = toDesignMarkdown;
+const serializer_1 = require("./serializer");
+/** Mermaid node ids must be simple identifiers — map graph ids to safe ids. */
+function mermaidId(id) {
+    return id.replace(/[^A-Za-z0-9_]/g, '_');
+}
+/** Escape text destined for a quoted mermaid label. */
+function label(text) {
+    return text.replace(/"/g, '#quot;');
+}
+/** Escape an edge label (rendered between pipes). */
+function edgeLabel(text) {
+    return text.replace(/\|/g, '/').replace(/"/g, "'");
+}
+function nodeStatement(node) {
+    const id = mermaidId(node.id);
+    const text = label(node.className);
+    if (node.kind === 'controller')
+        return `    ${id}["${text}"]:::controller`;
+    if (node.kind === 'constant' || node.kind === 'dynamic')
+        return `    ${id}(["${text}"])`;
+    if (node.kind === 'unresolved')
+        return `    ${id}{{"${text} ?"}}:::unresolved`;
+    return `    ${id}["${text}"]`;
+}
+function graphBody(graph) {
+    const lines = ['graph TD'];
+    for (const node of graph.nodes) {
+        lines.push(nodeStatement(node));
+    }
+    for (const edge of graph.edges) {
+        const from = mermaidId(edge.from);
+        const to = mermaidId(edge.to);
+        const token = edge.injection === 'multiInject' ? `multiInject ${edge.token}` : edge.token;
+        if (token !== '') {
+            lines.push(`    ${from} -->|${edgeLabel(token)}| ${to}`);
+        }
+        else {
+            lines.push(`    ${from} --> ${to}`);
+        }
+    }
+    lines.push('    classDef controller fill:#1f6feb,color:#ffffff,stroke:#0d419d');
+    lines.push('    classDef unresolved fill:#f0ad4e,color:#000000,stroke:#b8860b,stroke-dasharray: 5 5');
+    return lines;
+}
+/**
+ * Render the design.md content for a project's DI graph.
+ */
+function toDesignMarkdown(graph) {
+    (0, serializer_1.sortGraph)(graph);
+    const header = [
+        `# DI Design Graph — ${graph.project}`,
+        '',
+        `> GENERATED by \`nx run ${graph.project}:di-graph-generate\` — do not edit by hand.`,
+        `> Machine-readable version: [design.json](./design.json)`,
+        '',
+    ];
+    if (graph.nodes.length === 0) {
+        return header.concat(['No DI-registered classes found in this project.', '']).join('\n');
+    }
+    const body = ['```mermaid', ...graphBody(graph), '```', ''];
+    const legend = [
+        '',
+        'Edges are constructor injections: `-->|TOKEN|` for `@inject`/`@multiInject`,',
+        'unlabeled arrows for inject-by-type. Rounded nodes are `toConstantValue`/',
+        '`toDynamicValue` leaves; dashed nodes are tokens the analyzer could not resolve.',
+        '',
+    ];
+    return header.concat(body).concat(legend).join('\n');
+}
+//# sourceMappingURL=mermaid.js.map

package/src/lib/di-graph/mermaid.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mermaid.js","sourceRoot":"","sources":["../../../../../../../packages/tooling/nx-webpieces-rules/src/lib/di-graph/mermaid.ts"],"names":[],"mappings":";AAAA;;;;;;GAMG;;AAoDH,4CA0BC;AA3ED,6CAAyC;AAEzC,+EAA+E;AAC/E,SAAS,SAAS,CAAC,EAAU;IACzB,OAAO,EAAE,CAAC,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC;AAC7C,CAAC;AAED,uDAAuD;AACvD,SAAS,KAAK,CAAC,IAAY;IACvB,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;AACxC,CAAC;AAED,qDAAqD;AACrD,SAAS,SAAS,CAAC,IAAY;IAC3B,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;AACvD,CAAC;AAED,SAAS,aAAa,CAAC,IAAY;IAC/B,MAAM,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC9B,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACnC,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,OAAO,EAAE,KAAK,IAAI,iBAAiB,CAAC;IAC3E,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,OAAO,EAAE,MAAM,IAAI,KAAK,CAAC;IACzF,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,OAAO,EAAE,MAAM,IAAI,oBAAoB,CAAC;IAC/E,OAAO,OAAO,EAAE,KAAK,IAAI,IAAI,CAAC;AAClC,CAAC;AAED,SAAS,SAAS,CAAC,KAAc;IAC7B,MAAM,KAAK,GAAa,CAAC,UAAU,CAAC,CAAC;IACrC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC;IACpC,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,MAAM,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,KAAK,aAAa,CAAC,CAAC,CAAC,eAAe,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;QAC1F,IAAI,KAAK,KAAK,EAAE,EAAE,CAAC;YACf,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,QAAQ,SAAS,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC7D,CAAC;aAAM,CAAC;YACJ,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,QAAQ,EAAE,EAAE,CAAC,CAAC;QACxC,CAAC;IACL,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,mEAAmE,CAAC,CAAC;IAChF,KAAK,CAAC,IAAI,CAAC,yFAAyF,CAAC,CAAC;IACtG,OAAO,KAAK,CAAC;AACjB,CAAC;AAED;;GAEG;AACH,SAAgB,gBAAgB,CAAC,KAAc;IAC3C,IAAA,sBAAS,EAAC,KAAK,CAAC,CAAC;IAEjB,MAAM,MAAM,GAAG;QACX,uBAAuB,KAAK,CAAC,OAAO,EAAE;QACtC,EAAE;QACF,2BAA2B,KAAK,CAAC,OAAO,6CAA6C;QACrF,0DAA0D;QAC1D,EAAE;KACL,CAAC;IAEF,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,iDAAiD,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7F,CAAC;IAED,MAAM,IAAI,GAAG,CAAC,YAAY,EAAE,GAAG,SAAS,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;IAE5D,MAAM,MAAM,GAAG;QACX,EAAE;QACF,8EAA8E;QAC9E,2EAA2E;QAC3E,kFAAkF;QAClF,EAAE;KACL,CAAC;IAEF,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACzD,CAAC","sourcesContent":["/**\n * Mermaid Emitter\n *\n * Renders the DI graph as design.md — a Mermaid `graph TD` diagram that GitHub\n * and IDEs render inline, so the DI design is reviewable in every PR. Emitted\n * in the same sorted order as design.json so diffs are equally stable.\n */\n\nimport { DiGraph, DiNode } from './model';\nimport { sortGraph } from './serializer';\n\n/** Mermaid node ids must be simple identifiers — map graph ids to safe ids. */\nfunction mermaidId(id: string): string {\n    return id.replace(/[^A-Za-z0-9_]/g, '_');\n}\n\n/** Escape text destined for a quoted mermaid label. */\nfunction label(text: string): string {\n    return text.replace(/\"/g, '#quot;');\n}\n\n/** Escape an edge label (rendered between pipes). */\nfunction edgeLabel(text: string): string {\n    return text.replace(/\\|/g, '/').replace(/\"/g, \"'\");\n}\n\nfunction nodeStatement(node: DiNode): string {\n    const id = mermaidId(node.id);\n    const text = label(node.className);\n    if (node.kind === 'controller') return `    ${id}[\"${text}\"]:::controller`;\n    if (node.kind === 'constant' || node.kind === 'dynamic') return `    ${id}([\"${text}\"])`;\n    if (node.kind === 'unresolved') return `    ${id}{{\"${text} ?\"}}:::unresolved`;\n    return `    ${id}[\"${text}\"]`;\n}\n\nfunction graphBody(graph: DiGraph): string[] {\n    const lines: string[] = ['graph TD'];\n    for (const node of graph.nodes) {\n        lines.push(nodeStatement(node));\n    }\n    for (const edge of graph.edges) {\n        const from = mermaidId(edge.from);\n        const to = mermaidId(edge.to);\n        const token = edge.injection === 'multiInject' ? `multiInject ${edge.token}` : edge.token;\n        if (token !== '') {\n            lines.push(`    ${from} -->|${edgeLabel(token)}| ${to}`);\n        } else {\n            lines.push(`    ${from} --> ${to}`);\n        }\n    }\n    lines.push('    classDef controller fill:#1f6feb,color:#ffffff,stroke:#0d419d');\n    lines.push('    classDef unresolved fill:#f0ad4e,color:#000000,stroke:#b8860b,stroke-dasharray: 5 5');\n    return lines;\n}\n\n/**\n * Render the design.md content for a project's DI graph.\n */\nexport function toDesignMarkdown(graph: DiGraph): string {\n    sortGraph(graph);\n\n    const header = [\n        `# DI Design Graph — ${graph.project}`,\n        '',\n        `> GENERATED by \\`nx run ${graph.project}:di-graph-generate\\` — do not edit by hand.`,\n        `> Machine-readable version: [design.json](./design.json)`,\n        '',\n    ];\n\n    if (graph.nodes.length === 0) {\n        return header.concat(['No DI-registered classes found in this project.', '']).join('\\n');\n    }\n\n    const body = ['```mermaid', ...graphBody(graph), '```', ''];\n\n    const legend = [\n        '',\n        'Edges are constructor injections: `-->|TOKEN|` for `@inject`/`@multiInject`,',\n        'unlabeled arrows for inject-by-type. Rounded nodes are `toConstantValue`/',\n        '`toDynamicValue` leaves; dashed nodes are tokens the analyzer could not resolve.',\n        '',\n    ];\n\n    return header.concat(body).concat(legend).join('\\n');\n}\n"]}

package/src/lib/di-graph/model.d.ts

@@ -0,0 +1,78 @@
+/**
+ * DI Graph Model
+ *
+ * Data classes for the per-project Inversify dependency DAG that is generated
+ * into <projectRoot>/design.json and <projectRoot>/design.md on every build.
+ *
+ * All structures are classes (not interfaces) per the repo convention for
+ * data-only structures.
+ */
+import type * as ts from 'typescript';
+export type DiNodeKind = 'controller' | 'class' | 'constant' | 'dynamic' | 'unresolved';
+export type DiInjectionKind = 'token' | 'type' | 'multiInject';
+export type DiScope = 'singleton' | 'transient' | 'unknown';
+export type BindingKind = 'to' | 'toSelf' | 'toConstantValue' | 'toDynamicValue' | 'decorator';
+/**
+ * A node in the DI graph — a class, a constant/dynamic binding leaf, or an
+ * unresolved token placeholder.
+ */
+export declare class DiNode {
+    id: string;
+    className: string;
+    kind: DiNodeKind;
+    scope: DiScope;
+    file: string;
+    constructor(id: string, className: string, kind: DiNodeKind, scope: DiScope, file: string);
+}
+/**
+ * A constructor-injection edge: `from` class injects `to` node.
+ */
+export declare class DiEdge {
+    from: string;
+    to: string;
+    injection: DiInjectionKind;
+    token: string;
+    tokenKey: string;
+    paramName: string;
+    paramType: string;
+    constructor(from: string, to: string, injection: DiInjectionKind, token: string, tokenKey: string, paramName: string, paramType: string);
+}
+/**
+ * The full per-project DI graph, serialized to design.json.
+ */
+export declare class DiGraph {
+    schemaVersion: number;
+    project: string;
+    roots: string[];
+    nodes: DiNode[];
+    edges: DiEdge[];
+    unresolved: string[];
+    constructor(project: string);
+}
+/**
+ * Canonical identity of a DI token — the key links `Symbol.for('X')` token
+ * definitions to their bind() sites even across packages; display is what a
+ * human reads in design.md edge labels (e.g. "TYPES.Counter").
+ */
+export declare class TokenRef {
+    key: string;
+    display: string;
+    constructor(key: string, display: string);
+}
+/**
+ * One binding discovered in pass 1 — either a ContainerModule bind() call or a
+ * @provideSingleton/@provideSingletonAs/@provideTransient decorator.
+ */
+export declare class Binding {
+    tokenKey: string;
+    tokenDisplay: string;
+    kind: BindingKind;
+    scope: DiScope;
+    /** Implementation class for to/toSelf/decorator bindings; null for constant/dynamic. */
+    implClass: ts.ClassDeclaration | null;
+    /** Source text of the bound expression for constant/dynamic leaves; '' otherwise. */
+    valueText: string;
+    /** Workspace-relative posix path of the file the binding appears in. */
+    file: string;
+    constructor(tokenKey: string, tokenDisplay: string, kind: BindingKind, scope: DiScope, implClass: ts.ClassDeclaration | null, valueText: string, file: string);
+}

package/src/lib/di-graph/model.js

@@ -0,0 +1,114 @@
+"use strict";
+/**
+ * DI Graph Model
+ *
+ * Data classes for the per-project Inversify dependency DAG that is generated
+ * into <projectRoot>/design.json and <projectRoot>/design.md on every build.
+ *
+ * All structures are classes (not interfaces) per the repo convention for
+ * data-only structures.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.Binding = exports.TokenRef = exports.DiGraph = exports.DiEdge = exports.DiNode = void 0;
+/**
+ * A node in the DI graph — a class, a constant/dynamic binding leaf, or an
+ * unresolved token placeholder.
+ */
+class DiNode {
+    id;
+    className;
+    kind;
+    scope;
+    file;
+    constructor(id, className, kind, scope, file) {
+        this.id = id;
+        this.className = className;
+        this.kind = kind;
+        this.scope = scope;
+        this.file = file;
+    }
+}
+exports.DiNode = DiNode;
+/**
+ * A constructor-injection edge: `from` class injects `to` node.
+ */
+class DiEdge {
+    from;
+    to;
+    injection;
+    token;
+    tokenKey;
+    paramName;
+    paramType;
+    constructor(from, to, injection, token, tokenKey, paramName, paramType) {
+        this.from = from;
+        this.to = to;
+        this.injection = injection;
+        this.token = token;
+        this.tokenKey = tokenKey;
+        this.paramName = paramName;
+        this.paramType = paramType;
+    }
+}
+exports.DiEdge = DiEdge;
+/**
+ * The full per-project DI graph, serialized to design.json.
+ */
+class DiGraph {
+    schemaVersion;
+    project;
+    roots;
+    nodes;
+    edges;
+    unresolved;
+    constructor(project) {
+        this.schemaVersion = 1;
+        this.project = project;
+        this.roots = [];
+        this.nodes = [];
+        this.edges = [];
+        this.unresolved = [];
+    }
+}
+exports.DiGraph = DiGraph;
+/**
+ * Canonical identity of a DI token — the key links `Symbol.for('X')` token
+ * definitions to their bind() sites even across packages; display is what a
+ * human reads in design.md edge labels (e.g. "TYPES.Counter").
+ */
+class TokenRef {
+    key;
+    display;
+    constructor(key, display) {
+        this.key = key;
+        this.display = display;
+    }
+}
+exports.TokenRef = TokenRef;
+/**
+ * One binding discovered in pass 1 — either a ContainerModule bind() call or a
+ * @provideSingleton/@provideSingletonAs/@provideTransient decorator.
+ */
+class Binding {
+    tokenKey;
+    tokenDisplay;
+    kind;
+    scope;
+    /** Implementation class for to/toSelf/decorator bindings; null for constant/dynamic. */
+    implClass;
+    /** Source text of the bound expression for constant/dynamic leaves; '' otherwise. */
+    valueText;
+    /** Workspace-relative posix path of the file the binding appears in. */
+    file;
+    constructor(tokenKey, tokenDisplay, kind, scope, implClass, valueText, file) {
+        this.tokenKey = tokenKey;
+        this.tokenDisplay = tokenDisplay;
+        this.kind = kind;
+        this.scope = scope;
+        this.implClass = implClass;
+        this.valueText = valueText;
+        this.file = file;
+    }
+}
+exports.Binding = Binding;
+//# sourceMappingURL=model.js.map

package/src/lib/di-graph/model.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.js","sourceRoot":"","sources":["../../../../../../../packages/tooling/nx-webpieces-rules/src/lib/di-graph/model.ts"],"names":[],"mappings":";AAAA;;;;;;;;GAQG;;;AAYH;;;GAGG;AACH,MAAa,MAAM;IACf,EAAE,CAAS;IACX,SAAS,CAAS;IAClB,IAAI,CAAa;IACjB,KAAK,CAAU;IACf,IAAI,CAAS;IAEb,YAAY,EAAU,EAAE,SAAiB,EAAE,IAAgB,EAAE,KAAc,EAAE,IAAY;QACrF,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;QACb,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;QAC3B,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IACrB,CAAC;CACJ;AAdD,wBAcC;AAED;;GAEG;AACH,MAAa,MAAM;IACf,IAAI,CAAS;IACb,EAAE,CAAS;IACX,SAAS,CAAkB;IAC3B,KAAK,CAAS;IACd,QAAQ,CAAS;IACjB,SAAS,CAAS;IAClB,SAAS,CAAS;IAElB,YACI,IAAY,EACZ,EAAU,EACV,SAA0B,EAC1B,KAAa,EACb,QAAgB,EAChB,SAAiB,EACjB,SAAiB;QAEjB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;QACb,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;QAC3B,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACzB,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;QAC3B,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;IAC/B,CAAC;CACJ;AA1BD,wBA0BC;AAED;;GAEG;AACH,MAAa,OAAO;IAChB,aAAa,CAAS;IACtB,OAAO,CAAS;IAChB,KAAK,CAAW;IAChB,KAAK,CAAW;IAChB,KAAK,CAAW;IAChB,UAAU,CAAW;IAErB,YAAY,OAAe;QACvB,IAAI,CAAC,aAAa,GAAG,CAAC,CAAC;QACvB,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QACvB,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;QAChB,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;QAChB,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;QAChB,IAAI,CAAC,UAAU,GAAG,EAAE,CAAC;IACzB,CAAC;CACJ;AAhBD,0BAgBC;AAED;;;;GAIG;AACH,MAAa,QAAQ;IACjB,GAAG,CAAS;IACZ,OAAO,CAAS;IAEhB,YAAY,GAAW,EAAE,OAAe;QACpC,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC;QACf,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;IAC3B,CAAC;CACJ;AARD,4BAQC;AAED;;;GAGG;AACH,MAAa,OAAO;IAChB,QAAQ,CAAS;IACjB,YAAY,CAAS;IACrB,IAAI,CAAc;IAClB,KAAK,CAAU;IACf,wFAAwF;IACxF,SAAS,CAA6B;IACtC,qFAAqF;IACrF,SAAS,CAAS;IAClB,wEAAwE;IACxE,IAAI,CAAS;IAEb,YACI,QAAgB,EAChB,YAAoB,EACpB,IAAiB,EACjB,KAAc,EACd,SAAqC,EACrC,SAAiB,EACjB,IAAY;QAEZ,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACzB,IAAI,CAAC,YAAY,GAAG,YAAY,CAAC;QACjC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;QAC3B,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;QAC3B,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IACrB,CAAC;CACJ;AA7BD,0BA6BC","sourcesContent":["/**\n * DI Graph Model\n *\n * Data classes for the per-project Inversify dependency DAG that is generated\n * into <projectRoot>/design.json and <projectRoot>/design.md on every build.\n *\n * All structures are classes (not interfaces) per the repo convention for\n * data-only structures.\n */\n\nimport type * as ts from 'typescript';\n\nexport type DiNodeKind = 'controller' | 'class' | 'constant' | 'dynamic' | 'unresolved';\n\nexport type DiInjectionKind = 'token' | 'type' | 'multiInject';\n\nexport type DiScope = 'singleton' | 'transient' | 'unknown';\n\nexport type BindingKind = 'to' | 'toSelf' | 'toConstantValue' | 'toDynamicValue' | 'decorator';\n\n/**\n * A node in the DI graph — a class, a constant/dynamic binding leaf, or an\n * unresolved token placeholder.\n */\nexport class DiNode {\n    id: string;\n    className: string;\n    kind: DiNodeKind;\n    scope: DiScope;\n    file: string;\n\n    constructor(id: string, className: string, kind: DiNodeKind, scope: DiScope, file: string) {\n        this.id = id;\n        this.className = className;\n        this.kind = kind;\n        this.scope = scope;\n        this.file = file;\n    }\n}\n\n/**\n * A constructor-injection edge: `from` class injects `to` node.\n */\nexport class DiEdge {\n    from: string;\n    to: string;\n    injection: DiInjectionKind;\n    token: string;\n    tokenKey: string;\n    paramName: string;\n    paramType: string;\n\n    constructor(\n        from: string,\n        to: string,\n        injection: DiInjectionKind,\n        token: string,\n        tokenKey: string,\n        paramName: string,\n        paramType: string,\n    ) {\n        this.from = from;\n        this.to = to;\n        this.injection = injection;\n        this.token = token;\n        this.tokenKey = tokenKey;\n        this.paramName = paramName;\n        this.paramType = paramType;\n    }\n}\n\n/**\n * The full per-project DI graph, serialized to design.json.\n */\nexport class DiGraph {\n    schemaVersion: number;\n    project: string;\n    roots: string[];\n    nodes: DiNode[];\n    edges: DiEdge[];\n    unresolved: string[];\n\n    constructor(project: string) {\n        this.schemaVersion = 1;\n        this.project = project;\n        this.roots = [];\n        this.nodes = [];\n        this.edges = [];\n        this.unresolved = [];\n    }\n}\n\n/**\n * Canonical identity of a DI token — the key links `Symbol.for('X')` token\n * definitions to their bind() sites even across packages; display is what a\n * human reads in design.md edge labels (e.g. \"TYPES.Counter\").\n */\nexport class TokenRef {\n    key: string;\n    display: string;\n\n    constructor(key: string, display: string) {\n        this.key = key;\n        this.display = display;\n    }\n}\n\n/**\n * One binding discovered in pass 1 — either a ContainerModule bind() call or a\n * @provideSingleton/@provideSingletonAs/@provideTransient decorator.\n */\nexport class Binding {\n    tokenKey: string;\n    tokenDisplay: string;\n    kind: BindingKind;\n    scope: DiScope;\n    /** Implementation class for to/toSelf/decorator bindings; null for constant/dynamic. */\n    implClass: ts.ClassDeclaration | null;\n    /** Source text of the bound expression for constant/dynamic leaves; '' otherwise. */\n    valueText: string;\n    /** Workspace-relative posix path of the file the binding appears in. */\n    file: string;\n\n    constructor(\n        tokenKey: string,\n        tokenDisplay: string,\n        kind: BindingKind,\n        scope: DiScope,\n        implClass: ts.ClassDeclaration | null,\n        valueText: string,\n        file: string,\n    ) {\n        this.tokenKey = tokenKey;\n        this.tokenDisplay = tokenDisplay;\n        this.kind = kind;\n        this.scope = scope;\n        this.implClass = implClass;\n        this.valueText = valueText;\n        this.file = file;\n    }\n}\n"]}

package/src/lib/di-graph/program.d.ts

@@ -0,0 +1,15 @@
+/**
+ * Project Program Factory
+ *
+ * Creates one ts.Program per project for DI graph analysis. Prefers the compile
+ * tsconfig (tsconfig.app.json / tsconfig.lib.json) so the program contains the
+ * project's real source set; cross-package classes resolve to SOURCE (not dist
+ * d.ts) because tsconfig.base.json paths map @webpieces/* to src/index.ts.
+ */
+import * as ts from 'typescript';
+export declare function findProjectTsconfig(projectRootAbs: string): string | null;
+/**
+ * Create the TypeScript program for a project, or null when the project has no
+ * usable tsconfig / no source files (e.g. a package.json-only project).
+ */
+export declare function createProjectProgram(projectRootAbs: string): ts.Program | null;

package/src/lib/di-graph/program.js

@@ -0,0 +1,46 @@
+"use strict";
+/**
+ * Project Program Factory
+ *
+ * Creates one ts.Program per project for DI graph analysis. Prefers the compile
+ * tsconfig (tsconfig.app.json / tsconfig.lib.json) so the program contains the
+ * project's real source set; cross-package classes resolve to SOURCE (not dist
+ * d.ts) because tsconfig.base.json paths map @webpieces/* to src/index.ts.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.findProjectTsconfig = findProjectTsconfig;
+exports.createProjectProgram = createProjectProgram;
+const tslib_1 = require("tslib");
+const ts = tslib_1.__importStar(require("typescript"));
+const fs = tslib_1.__importStar(require("fs"));
+const path = tslib_1.__importStar(require("path"));
+const TSCONFIG_CANDIDATES = ['tsconfig.app.json', 'tsconfig.lib.json', 'tsconfig.json'];
+function findProjectTsconfig(projectRootAbs) {
+    for (const candidate of TSCONFIG_CANDIDATES) {
+        const candidatePath = path.join(projectRootAbs, candidate);
+        if (fs.existsSync(candidatePath))
+            return candidatePath;
+    }
+    return null;
+}
+/**
+ * Create the TypeScript program for a project, or null when the project has no
+ * usable tsconfig / no source files (e.g. a package.json-only project).
+ */
+function createProjectProgram(projectRootAbs) {
+    const configPath = findProjectTsconfig(projectRootAbs);
+    if (!configPath)
+        return null;
+    const host = {
+        ...ts.sys,
+        onUnRecoverableConfigFileDiagnostic: (diagnostic) => {
+            const message = ts.flattenDiagnosticMessageText(diagnostic.messageText, '\n');
+            throw new Error(`Failed to parse ${configPath}: ${message}`);
+        },
+    };
+    const parsed = ts.getParsedCommandLineOfConfigFile(configPath, {}, host);
+    if (!parsed || parsed.fileNames.length === 0)
+        return null;
+    return ts.createProgram(parsed.fileNames, parsed.options);
+}
+//# sourceMappingURL=program.js.map

package/src/lib/di-graph/program.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"program.js","sourceRoot":"","sources":["../../../../../../../packages/tooling/nx-webpieces-rules/src/lib/di-graph/program.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;AAQH,kDAMC;AAMD,oDAgBC;;AAlCD,uDAAiC;AACjC,+CAAyB;AACzB,mDAA6B;AAE7B,MAAM,mBAAmB,GAAG,CAAC,mBAAmB,EAAE,mBAAmB,EAAE,eAAe,CAAC,CAAC;AAExF,SAAgB,mBAAmB,CAAC,cAAsB;IACtD,KAAK,MAAM,SAAS,IAAI,mBAAmB,EAAE,CAAC;QAC1C,MAAM,aAAa,GAAG,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,SAAS,CAAC,CAAC;QAC3D,IAAI,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC;YAAE,OAAO,aAAa,CAAC;IAC3D,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,CAAC;AAED;;;GAGG;AACH,SAAgB,oBAAoB,CAAC,cAAsB;IACvD,MAAM,UAAU,GAAG,mBAAmB,CAAC,cAAc,CAAC,CAAC;IACvD,IAAI,CAAC,UAAU;QAAE,OAAO,IAAI,CAAC;IAE7B,MAAM,IAAI,GAA2B;QACjC,GAAG,EAAE,CAAC,GAAG;QACT,mCAAmC,EAAE,CAAC,UAAyB,EAAQ,EAAE;YACrE,MAAM,OAAO,GAAG,EAAE,CAAC,4BAA4B,CAAC,UAAU,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;YAC9E,MAAM,IAAI,KAAK,CAAC,mBAAmB,UAAU,KAAK,OAAO,EAAE,CAAC,CAAC;QACjE,CAAC;KACJ,CAAC;IAEF,MAAM,MAAM,GAAG,EAAE,CAAC,gCAAgC,CAAC,UAAU,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;IACzE,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAE1D,OAAO,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;AAC9D,CAAC","sourcesContent":["/**\n * Project Program Factory\n *\n * Creates one ts.Program per project for DI graph analysis. Prefers the compile\n * tsconfig (tsconfig.app.json / tsconfig.lib.json) so the program contains the\n * project's real source set; cross-package classes resolve to SOURCE (not dist\n * d.ts) because tsconfig.base.json paths map @webpieces/* to src/index.ts.\n */\n\nimport * as ts from 'typescript';\nimport * as fs from 'fs';\nimport * as path from 'path';\n\nconst TSCONFIG_CANDIDATES = ['tsconfig.app.json', 'tsconfig.lib.json', 'tsconfig.json'];\n\nexport function findProjectTsconfig(projectRootAbs: string): string | null {\n    for (const candidate of TSCONFIG_CANDIDATES) {\n        const candidatePath = path.join(projectRootAbs, candidate);\n        if (fs.existsSync(candidatePath)) return candidatePath;\n    }\n    return null;\n}\n\n/**\n * Create the TypeScript program for a project, or null when the project has no\n * usable tsconfig / no source files (e.g. a package.json-only project).\n */\nexport function createProjectProgram(projectRootAbs: string): ts.Program | null {\n    const configPath = findProjectTsconfig(projectRootAbs);\n    if (!configPath) return null;\n\n    const host: ts.ParseConfigFileHost = {\n        ...ts.sys,\n        onUnRecoverableConfigFileDiagnostic: (diagnostic: ts.Diagnostic): void => {\n            const message = ts.flattenDiagnosticMessageText(diagnostic.messageText, '\\n');\n            throw new Error(`Failed to parse ${configPath}: ${message}`);\n        },\n    };\n\n    const parsed = ts.getParsedCommandLineOfConfigFile(configPath, {}, host);\n    if (!parsed || parsed.fileNames.length === 0) return null;\n\n    return ts.createProgram(parsed.fileNames, parsed.options);\n}\n"]}