@skastr0/pulsar-ts-pack 0.1.0

package/dist/signals/ts-de-01-type-level-coupling.js

@@ -0,0 +1,181 @@
+import { SignalComputeError } from "@skastr0/pulsar-core/signal";
+import { CalibrationContextTag } from "@skastr0/pulsar-core/calibration";
+import { commonDirectoryPrefix, factorEntryForPolicyDecision, factorPathSegment, makeFactorLedger, relativeFactorPath, } from "@skastr0/pulsar-core/factors";
+import { Effect, Option, Schema } from "effect";
+import { TsProjectTag } from "../ts-project.js";
+import { isExcluded } from "./shared-globs.js";
+import { computeFastImportTypeCoupling } from "./ts-de-01-fast-coupling.js";
+import { computePreciseTypeCoupling } from "./ts-de-01-precise-coupling.js";
+const TsDe01Config = Schema.Struct({
+    exclude_globs: Schema.Array(Schema.String),
+    top_n_diagnostics: Schema.Number,
+    precise_module_limit: Schema.Number,
+});
+export const TsDe01 = {
+    id: "TS-DE-01-type-level-coupling",
+    title: "Type-level coupling",
+    aliases: ["TS-DE-01"],
+    tier: 1,
+    category: "dependency-entropy",
+    kind: "legibility",
+    cacheVersion: "factor-policy-v1",
+    configSchema: TsDe01Config,
+    defaultConfig: {
+        exclude_globs: [
+            "**/*.test.ts",
+            "**/*.test.tsx",
+            "**/*.spec.ts",
+            "**/*.spec.tsx",
+            "**/*.d.ts",
+            "**/*.gen.ts",
+            "**/*.gen.tsx",
+            "**/*.generated.ts",
+            "**/*.generated.tsx",
+            "**/gen/**",
+            "**/generated/**",
+            "**/vendor/**",
+            "**/node_modules/**",
+            "**/dist/**",
+            "**/.turbo/**",
+        ],
+        top_n_diagnostics: 10,
+        precise_module_limit: 1_000,
+    },
+    inputs: [],
+    compute: (config) => Effect.gen(function* () {
+        const project = yield* TsProjectTag;
+        const calibration = yield* Effect.serviceOption(CalibrationContextTag);
+        const result = yield* Effect.try({
+            try: () => {
+                const sourceFiles = project
+                    .getSourceFiles()
+                    .filter((sourceFile) => !isExcluded(sourceFile.getFilePath(), config.exclude_globs));
+                if (sourceFiles.length > config.precise_module_limit) {
+                    return computeFastImportTypeCoupling(sourceFiles, config.top_n_diagnostics);
+                }
+                return computePreciseTypeCoupling(sourceFiles, config.top_n_diagnostics);
+            },
+            catch: (cause) => new SignalComputeError({
+                signalId: "TS-DE-01-type-level-coupling",
+                message: String(cause),
+                cause,
+            }),
+        });
+        return yield* applyTypeCouplingPolicy(result, calibration).pipe(Effect.mapError(toSignalComputeError));
+    }),
+    score: (out) => {
+        if (out.totalModules === 0)
+            return 1;
+        const threshold = Math.max(1, out.outlierThreshold);
+        const excess = out.modules.reduce((total, module) => {
+            if (module.visible === false)
+                return total;
+            return total + (module.penaltyWeight ?? defaultPenaltyWeight(module, threshold));
+        }, 0);
+        return Math.max(0, 1 - excess / out.totalModules);
+    },
+    diagnose: (out) => {
+        const threshold = Math.max(1, out.outlierThreshold);
+        return out.modules
+            .filter((module) => module.visible !== false &&
+            module.externalTypesReferenced > threshold &&
+            (module.penaltyWeight ?? defaultPenaltyWeight(module, threshold)) > 0)
+            .slice(0, out.diagnosticLimit)
+            .map((module) => ({
+            severity: module.severity ?? "warn",
+            message: `Type coupling in ${module.file}: ` +
+                `out=${module.externalTypesReferenced}, in=${module.typesReferencedExternally}`,
+            location: { file: module.file },
+            data: {
+                ...module,
+                outlierThreshold: out.outlierThreshold,
+                policyDecisions: module.policyDecisions ?? [],
+            },
+        }));
+    },
+    factorLedger: (out) => out.factorLedger,
+};
+const applyTypeCouplingPolicy = (output, calibration) => {
+    if (output.totalModules === 0)
+        return Effect.succeed({
+            ...output,
+            calibrationDecisions: [],
+            factorLedger: makeFactorLedger("TS-DE-01-type-level-coupling", []),
+        });
+    const threshold = Math.max(1, output.outlierThreshold);
+    const factorPathRoot = commonDirectoryPrefix(output.modules.map((module) => module.file));
+    return Effect.gen(function* () {
+        const modules = yield* Effect.forEach(output.modules, (module) => Effect.gen(function* () {
+            const input = defaultTypeCouplingPolicy(module, threshold, output.outlierThreshold, factorPathRoot);
+            if (Option.isNone(calibration))
+                return withEffectivePolicy(module, input, []);
+            const policy = yield* calibration.value.runSlot("typescript.type-coupling-policy", input);
+            return withEffectivePolicy(module, policy.value, policy.decisions);
+        }), { concurrency: 1 });
+        return {
+            ...output,
+            modules,
+            calibrationDecisions: modules.flatMap((module) => module.policyDecisions ?? []),
+            factorLedger: makeTsDe01FactorLedger(modules),
+        };
+    });
+};
+const defaultTypeCouplingPolicy = (module, threshold, rawThreshold, factorPathRoot) => ({
+    signalId: "TS-DE-01-type-level-coupling",
+    findingId: module.file,
+    file: module.file,
+    externalTypesReferenced: module.externalTypesReferenced,
+    typesReferencedExternally: module.typesReferencedExternally,
+    totalCoupling: module.totalCoupling,
+    outlierThreshold: rawThreshold,
+    visible: true,
+    severity: module.externalTypesReferenced > threshold ? "warn" : "info",
+    penaltyWeight: defaultPenaltyWeight(module, threshold),
+    factorPathPrefix: `type_coupling.${factorPathSegment(relativeFactorPath(module.file, factorPathRoot))}`,
+});
+const withEffectivePolicy = (module, policy, decisions) => ({
+    ...module,
+    visible: policy.visible,
+    severity: policy.severity,
+    penaltyWeight: policy.penaltyWeight,
+    factorPathPrefix: policy.factorPathPrefix,
+    policyDecisions: decisions,
+});
+const defaultPenaltyWeight = (module, threshold) => module.externalTypesReferenced <= threshold
+    ? 0
+    : (module.externalTypesReferenced - threshold) / threshold;
+const makeTsDe01FactorLedger = (modules) => makeFactorLedger("TS-DE-01-type-level-coupling", modules.flatMap((module) => {
+    if ((module.penaltyWeight ?? 0) <= 0 && (module.policyDecisions ?? []).length === 0) {
+        return [];
+    }
+    const prefix = module.factorPathPrefix ?? `type_coupling.${factorPathSegment(module.file)}`;
+    const decisions = module.policyDecisions ?? [];
+    return [
+        factorEntryForPolicyDecision({
+            decisions,
+            path: `${prefix}.visible`,
+            title: "Type coupling visible",
+            value: module.visible ?? true,
+        }),
+        factorEntryForPolicyDecision({
+            decisions,
+            path: `${prefix}.severity`,
+            title: "Type coupling severity",
+            value: module.severity ?? "warn",
+        }),
+        factorEntryForPolicyDecision({
+            decisions,
+            path: `${prefix}.penalty_weight`,
+            title: "Type coupling penalty_weight",
+            value: module.penaltyWeight ?? 0,
+        }),
+    ];
+}));
+const toSignalComputeError = (cause) => cause instanceof SignalComputeError
+    ? cause
+    : new SignalComputeError({
+        signalId: "TS-DE-01-type-level-coupling",
+        message: String(cause),
+        cause,
+    });
+//# sourceMappingURL=ts-de-01-type-level-coupling.js.map

package/dist/signals/ts-de-01-type-level-coupling.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ts-de-01-type-level-coupling.js","sourceRoot":"","sources":["../../src/signals/ts-de-01-type-level-coupling.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAA;AAGhE,OAAO,EAAE,qBAAqB,EAAE,MAAM,kCAAkC,CAAA;AACxE,OAAO,EACL,qBAAqB,EACrB,4BAA4B,EAC5B,iBAAiB,EACjB,gBAAgB,EAChB,kBAAkB,GACnB,MAAM,8BAA8B,CAAA;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/C,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAA;AAC9C,OAAO,EAAE,6BAA6B,EAAE,MAAM,6BAA6B,CAAA;AAC3E,OAAO,EAAE,0BAA0B,EAAE,MAAM,gCAAgC,CAAA;AAO3E,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC;IACjC,aAAa,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IAC1C,iBAAiB,EAAE,MAAM,CAAC,MAAM;IAChC,oBAAoB,EAAE,MAAM,CAAC,MAAM;CACpC,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,MAAM,GAAqD;IACtE,EAAE,EAAE,8BAA8B;IAClC,KAAK,EAAE,qBAAqB;IAC5B,OAAO,EAAE,CAAC,UAAU,CAAC;IACrB,IAAI,EAAE,CAAC;IACP,QAAQ,EAAE,oBAAoB;IAC9B,IAAI,EAAE,YAAY;IAClB,YAAY,EAAE,kBAAkB;IAChC,YAAY,EAAE,YAAY;IAC1B,aAAa,EAAE;QACb,aAAa,EAAE;YACb,cAAc;YACd,eAAe;YACf,cAAc;YACd,eAAe;YACf,WAAW;YACX,aAAa;YACb,cAAc;YACd,mBAAmB;YACnB,oBAAoB;YACpB,WAAW;YACX,iBAAiB;YACjB,cAAc;YACd,oBAAoB;YACpB,YAAY;YACZ,cAAc;SACf;QACD,iBAAiB,EAAE,EAAE;QACrB,oBAAoB,EAAE,KAAK;KAC5B;IACD,MAAM,EAAE,EAAE;IACV,OAAO,EAAE,CAAC,MAAM,EAAE,EAAE,CAClB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,YAAY,CAAA;QACnC,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,qBAAqB,CAAC,CAAA;QACtE,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;YAC/B,GAAG,EAAE,GAAiB,EAAE;gBACtB,MAAM,WAAW,GAAG,OAAO;qBACxB,cAAc,EAAE;qBAChB,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,WAAW,EAAE,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC,CAAA;gBACtF,IAAI,WAAW,CAAC,MAAM,GAAG,MAAM,CAAC,oBAAoB,EAAE,CAAC;oBACrD,OAAO,6BAA6B,CAAC,WAAW,EAAE,MAAM,CAAC,iBAAiB,CAAC,CAAA;gBAC7E,CAAC;gBACD,OAAO,0BAA0B,CAAC,WAAW,EAAE,MAAM,CAAC,iBAAiB,CAAC,CAAA;YAC1E,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CACf,IAAI,kBAAkB,CAAC;gBACrB,QAAQ,EAAE,8BAA8B;gBACxC,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC;gBACtB,KAAK;aACN,CAAC;SACL,CAAC,CAAA;QACF,OAAO,KAAK,CAAC,CAAC,uBAAuB,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,IAAI,CAC7D,MAAM,CAAC,QAAQ,CAAC,oBAAoB,CAAC,CACtC,CAAA;IACH,CAAC,CAAC;IACJ,KAAK,EAAE,CAAC,GAAG,EAAE,EAAE;QACb,IAAI,GAAG,CAAC,YAAY,KAAK,CAAC;YAAE,OAAO,CAAC,CAAA;QAEpC,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,gBAAgB,CAAC,CAAA;QACnD,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;YAClD,IAAI,MAAM,CAAC,OAAO,KAAK,KAAK;gBAAE,OAAO,KAAK,CAAA;YAC1C,OAAO,KAAK,GAAG,CAAC,MAAM,CAAC,aAAa,IAAI,oBAAoB,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAA;QAClF,CAAC,EAAE,CAAC,CAAC,CAAA;QAEL,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,MAAM,GAAG,GAAG,CAAC,YAAY,CAAC,CAAA;IACnD,CAAC;IACD,QAAQ,EAAE,CAAC,GAAG,EAA6B,EAAE;QAC3C,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,gBAAgB,CAAC,CAAA;QACnD,OAAO,GAAG,CAAC,OAAO;aACf,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CACjB,MAAM,CAAC,OAAO,KAAK,KAAK;YACxB,MAAM,CAAC,uBAAuB,GAAG,SAAS;YAC1C,CAAC,MAAM,CAAC,aAAa,IAAI,oBAAoB,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,GAAG,CAAC,CACtE;aACA,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,eAAe,CAAC;aAC7B,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YAChB,QAAQ,EAAE,MAAM,CAAC,QAAQ,IAAI,MAAe;YAC5C,OAAO,EACL,oBAAoB,MAAM,CAAC,IAAI,IAAI;gBACnC,OAAO,MAAM,CAAC,uBAAuB,QAAQ,MAAM,CAAC,yBAAyB,EAAE;YACjF,QAAQ,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE;YAC/B,IAAI,EAAE;gBACJ,GAAG,MAAM;gBACT,gBAAgB,EAAE,GAAG,CAAC,gBAAgB;gBACtC,eAAe,EAAE,MAAM,CAAC,eAAe,IAAI,EAAE;aAC9C;SACF,CAAC,CAAC,CAAA;IACP,CAAC;IACD,YAAY,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,YAAY;CACxC,CAAA;AAED,MAAM,uBAAuB,GAAG,CAC9B,MAAoB,EACpB,WAAsD,EACS,EAAE;IACjE,IAAI,MAAM,CAAC,YAAY,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,OAAO,CAAC;YACnD,GAAG,MAAM;YACT,oBAAoB,EAAE,EAAE;YACxB,YAAY,EAAE,gBAAgB,CAAC,8BAA8B,EAAE,EAAE,CAAC;SACnE,CAAC,CAAA;IAEF,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,gBAAgB,CAAC,CAAA;IACtD,MAAM,cAAc,GAAG,qBAAqB,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAA;IACzF,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACzB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CACnC,MAAM,CAAC,OAAO,EACd,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,KAAK,GAAG,yBAAyB,CACrC,MAAM,EACN,SAAS,EACT,MAAM,CAAC,gBAAgB,EACvB,cAAc,CACf,CAAA;YACD,IAAI,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC;gBAAE,OAAO,mBAAmB,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,CAAA;YAC7E,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,iCAAiC,EAAE,KAAK,CAAC,CAAA;YACzF,OAAO,mBAAmB,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,SAAS,CAAC,CAAA;QACpE,CAAC,CAAC,EACJ,EAAE,WAAW,EAAE,CAAC,EAAE,CACnB,CAAA;QAED,OAAO;YACL,GAAG,MAAM;YACT,OAAO;YACP,oBAAoB,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,eAAe,IAAI,EAAE,CAAC;YAC/E,YAAY,EAAE,sBAAsB,CAAC,OAAO,CAAC;SAC9C,CAAA;IACH,CAAC,CAAC,CAAA;AACJ,CAAC,CAAA;AAED,MAAM,yBAAyB,GAAG,CAChC,MAA0B,EAC1B,SAAiB,EACjB,YAAoB,EACpB,cAAsB,EACa,EAAE,CAAC,CAAC;IACvC,QAAQ,EAAE,8BAA8B;IACxC,SAAS,EAAE,MAAM,CAAC,IAAI;IACtB,IAAI,EAAE,MAAM,CAAC,IAAI;IACjB,uBAAuB,EAAE,MAAM,CAAC,uBAAuB;IACvD,yBAAyB,EAAE,MAAM,CAAC,yBAAyB;IAC3D,aAAa,EAAE,MAAM,CAAC,aAAa;IACnC,gBAAgB,EAAE,YAAY;IAC9B,OAAO,EAAE,IAAI;IACb,QAAQ,EAAE,MAAM,CAAC,uBAAuB,GAAG,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;IACtE,aAAa,EAAE,oBAAoB,CAAC,MAAM,EAAE,SAAS,CAAC;IACtD,gBAAgB,EAAE,iBAAiB,iBAAiB,CAAC,kBAAkB,CAAC,MAAM,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC,EAAE;CACxG,CAAC,CAAA;AAEF,MAAM,mBAAmB,GAAG,CAC1B,MAA0B,EAC1B,MAAyC,EACzC,SAA6C,EACzB,EAAE,CAAC,CAAC;IACxB,GAAG,MAAM;IACT,OAAO,EAAE,MAAM,CAAC,OAAO;IACvB,QAAQ,EAAE,MAAM,CAAC,QAAQ;IACzB,aAAa,EAAE,MAAM,CAAC,aAAa;IACnC,gBAAgB,EAAE,MAAM,CAAC,gBAAgB;IACzC,eAAe,EAAE,SAAS;CAC3B,CAAC,CAAA;AAEF,MAAM,oBAAoB,GAAG,CAC3B,MAA0B,EAC1B,SAAiB,EACT,EAAE,CACV,MAAM,CAAC,uBAAuB,IAAI,SAAS;IACzC,CAAC,CAAC,CAAC;IACH,CAAC,CAAC,CAAC,MAAM,CAAC,uBAAuB,GAAG,SAAS,CAAC,GAAG,SAAS,CAAA;AAE9D,MAAM,sBAAsB,GAAG,CAC7B,OAA0C,EACtB,EAAE,CACtB,gBAAgB,CACd,8BAA8B,EAC9B,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAA0C,EAAE;IACjE,IAAI,CAAC,MAAM,CAAC,aAAa,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpF,OAAO,EAAE,CAAA;IACX,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,gBAAgB,IAAI,iBAAiB,iBAAiB,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAA;IAC3F,MAAM,SAAS,GAAG,MAAM,CAAC,eAAe,IAAI,EAAE,CAAA;IAC9C,OAAO;QACL,4BAA4B,CAAC;YAC3B,SAAS;YACT,IAAI,EAAE,GAAG,MAAM,UAAU;YACzB,KAAK,EAAE,uBAAuB;YAC9B,KAAK,EAAE,MAAM,CAAC,OAAO,IAAI,IAAI;SAC9B,CAAC;QACF,4BAA4B,CAAC;YAC3B,SAAS;YACT,IAAI,EAAE,GAAG,MAAM,WAAW;YAC1B,KAAK,EAAE,wBAAwB;YAC/B,KAAK,EAAE,MAAM,CAAC,QAAQ,IAAI,MAAM;SACjC,CAAC;QACF,4BAA4B,CAAC;YAC3B,SAAS;YACT,IAAI,EAAE,GAAG,MAAM,iBAAiB;YAChC,KAAK,EAAE,8BAA8B;YACrC,KAAK,EAAE,MAAM,CAAC,aAAa,IAAI,CAAC;SACjC,CAAC;KACH,CAAA;AACH,CAAC,CAAC,CACH,CAAA;AAEH,MAAM,oBAAoB,GAAG,CAAC,KAAc,EAAsB,EAAE,CAClE,KAAK,YAAY,kBAAkB;IACjC,CAAC,CAAC,KAAK;IACP,CAAC,CAAC,IAAI,kBAAkB,CAAC;QACrB,QAAQ,EAAE,8BAA8B;QACxC,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC;QACtB,KAAK;KACN,CAAC,CAAA"}

package/dist/signals/ts-de-02-fan-in-out.d.ts

@@ -0,0 +1,43 @@
+import type { Signal } from "@skastr0/pulsar-core/signal";
+import { Schema } from "effect";
+import { TsProjectTag } from "../ts-project.js";
+declare const TsDe02Config: Schema.Struct<{
+    exclude_globs: Schema.Array$<typeof Schema.String>;
+    hub_fan_in_threshold: typeof Schema.Number;
+    hub_fan_out_threshold: typeof Schema.Number;
+    top_n_diagnostics: typeof Schema.Number;
+}>;
+type TsDe02Config = typeof TsDe02Config.Type;
+interface ModuleFan {
+    readonly fanIn: number;
+    readonly fanOut: number;
+}
+interface HubEntry {
+    readonly file: string;
+    readonly fanIn: number;
+    readonly fanOut: number;
+}
+interface TsDe02Output {
+    readonly byModule: ReadonlyMap<string, ModuleFan>;
+    readonly hubs: ReadonlyArray<HubEntry>;
+    readonly totalModules: number;
+}
+/**
+ * TS-DE-02 — fan-in / fan-out per module.
+ *
+ * For each in-project source file, counts:
+ *   - fanIn:  how many other in-project files import it
+ *   - fanOut: how many other in-project files it imports
+ *
+ * A "hub" is a file above both thresholds — a coupling concentrator.
+ *
+ * Threshold defaults:
+ * - hub_fan_in_threshold: 10 — a file imported by 10+ modules is a
+ *   de-facto shared utility; that's worth surfacing for review.
+ * - hub_fan_out_threshold: 5 — combined with the fan-in threshold this
+ *   catches files that both consume and are consumed widely, which is
+ *   the coupling-hub shape from the research literature.
+ */
+export declare const TsDe02: Signal<TsDe02Config, TsDe02Output, TsProjectTag>;
+export {};
+//# sourceMappingURL=ts-de-02-fan-in-out.d.ts.map

package/dist/signals/ts-de-02-fan-in-out.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ts-de-02-fan-in-out.d.ts","sourceRoot":"","sources":["../../src/signals/ts-de-02-fan-in-out.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAc,MAAM,EAAE,MAAM,6BAA6B,CAAA;AACrE,OAAO,EAAU,MAAM,EAAE,MAAM,QAAQ,CAAA;AAEvC,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAE/C,QAAA,MAAM,YAAY;;;;;EAKhB,CAAA;AACF,KAAK,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;AAE5C,UAAU,SAAS;IACjB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACxB;AAED,UAAU,QAAQ;IAChB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACxB;AAED,UAAU,YAAY;IACpB,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;IACjD,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAA;IACtC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;CAC9B;AAED;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,MAAM,EAAE,MAAM,CAAC,YAAY,EAAE,YAAY,EAAE,YAAY,CA8FnE,CAAA"}

package/dist/signals/ts-de-02-fan-in-out.js

@@ -0,0 +1,117 @@
+import { SignalComputeError } from "@skastr0/pulsar-core/signal";
+import { Effect, Schema } from "effect";
+import { buildModuleGraph } from "../graph/module-graph.js";
+import { TsProjectTag } from "../ts-project.js";
+const TsDe02Config = Schema.Struct({
+    exclude_globs: Schema.Array(Schema.String),
+    hub_fan_in_threshold: Schema.Number,
+    hub_fan_out_threshold: Schema.Number,
+    top_n_diagnostics: Schema.Number,
+});
+/**
+ * TS-DE-02 — fan-in / fan-out per module.
+ *
+ * For each in-project source file, counts:
+ *   - fanIn:  how many other in-project files import it
+ *   - fanOut: how many other in-project files it imports
+ *
+ * A "hub" is a file above both thresholds — a coupling concentrator.
+ *
+ * Threshold defaults:
+ * - hub_fan_in_threshold: 10 — a file imported by 10+ modules is a
+ *   de-facto shared utility; that's worth surfacing for review.
+ * - hub_fan_out_threshold: 5 — combined with the fan-in threshold this
+ *   catches files that both consume and are consumed widely, which is
+ *   the coupling-hub shape from the research literature.
+ */
+export const TsDe02 = {
+    id: "TS-DE-02-fan-in-fan-out",
+    title: "Fan-in/fan-out",
+    aliases: ["TS-DE-02"],
+    tier: 1,
+    category: "dependency-entropy",
+    kind: "structural",
+    configSchema: TsDe02Config,
+    defaultConfig: {
+        exclude_globs: [
+            "**/*.test.ts",
+            "**/*.spec.ts",
+            "**/node_modules/**",
+            "**/dist/**",
+            "**/.turbo/**",
+        ],
+        hub_fan_in_threshold: 10,
+        hub_fan_out_threshold: 5,
+        top_n_diagnostics: 10,
+    },
+    inputs: [],
+    compute: (config) => Effect.gen(function* () {
+        const project = yield* TsProjectTag;
+        const result = yield* Effect.try({
+            try: () => {
+                const graph = buildModuleGraph(project, {
+                    excludeGlobs: config.exclude_globs,
+                    includeExportEdges: true,
+                });
+                const byModule = new Map();
+                for (const path of graph.fileSet) {
+                    byModule.set(path, {
+                        fanIn: graph.reverseDependencies.get(path)?.size ?? 0,
+                        fanOut: graph.dependencies.get(path)?.size ?? 0,
+                    });
+                }
+                const hubs = [];
+                for (const [file, fan] of byModule) {
+                    if (fan.fanIn >= config.hub_fan_in_threshold &&
+                        fan.fanOut >= config.hub_fan_out_threshold) {
+                        hubs.push({ file, fanIn: fan.fanIn, fanOut: fan.fanOut });
+                    }
+                }
+                // Rank hubs by combined load (sum), then file path for
+                // lexical stability.
+                hubs.sort((a, b) => {
+                    const aLoad = a.fanIn + a.fanOut;
+                    const bLoad = b.fanIn + b.fanOut;
+                    if (bLoad !== aLoad)
+                        return bLoad - aLoad;
+                    return a.file < b.file ? -1 : a.file > b.file ? 1 : 0;
+                });
+                return {
+                    byModule,
+                    hubs,
+                    totalModules: graph.fileSet.size,
+                };
+            },
+            catch: (cause) => new SignalComputeError({
+                signalId: "TS-DE-02-fan-in-fan-out",
+                message: String(cause),
+                cause,
+            }),
+        });
+        return result;
+    }),
+    score: (out) => {
+        if (out.totalModules === 0)
+            return 1;
+        // Hubs as a share of total modules. Multiplier 3 compresses the
+        // healthy band: a repo with ~3% hubs lands near 0.9; 10% hubs sink
+        // toward 0.7; anything above a third of modules being hubs is
+        // essentially zero.
+        const hubShare = out.hubs.length / out.totalModules;
+        return Math.max(0, 1 - hubShare * 3);
+    },
+    diagnose: (out) => {
+        const top = out.hubs.slice(0, 10);
+        return top.map((h) => ({
+            severity: "warn",
+            message: `Hub module: ${h.file} (fanIn=${h.fanIn}, fanOut=${h.fanOut})`,
+            location: { file: h.file },
+            data: {
+                file: h.file,
+                fanIn: h.fanIn,
+                fanOut: h.fanOut,
+            },
+        }));
+    },
+};
+//# sourceMappingURL=ts-de-02-fan-in-out.js.map

package/dist/signals/ts-de-02-fan-in-out.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ts-de-02-fan-in-out.js","sourceRoot":"","sources":["../../src/signals/ts-de-02-fan-in-out.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAA;AAEhE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAA;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAE/C,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC;IACjC,aAAa,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IAC1C,oBAAoB,EAAE,MAAM,CAAC,MAAM;IACnC,qBAAqB,EAAE,MAAM,CAAC,MAAM;IACpC,iBAAiB,EAAE,MAAM,CAAC,MAAM;CACjC,CAAC,CAAA;AAoBF;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,MAAM,GAAqD;IACtE,EAAE,EAAE,yBAAyB;IAC7B,KAAK,EAAE,gBAAgB;IACvB,OAAO,EAAE,CAAC,UAAU,CAAC;IACrB,IAAI,EAAE,CAAC;IACP,QAAQ,EAAE,oBAAoB;IAC9B,IAAI,EAAE,YAAY;IAClB,YAAY,EAAE,YAAY;IAC1B,aAAa,EAAE;QACb,aAAa,EAAE;YACb,cAAc;YACd,cAAc;YACd,oBAAoB;YACpB,YAAY;YACZ,cAAc;SACf;QACD,oBAAoB,EAAE,EAAE;QACxB,qBAAqB,EAAE,CAAC;QACxB,iBAAiB,EAAE,EAAE;KACtB;IACD,MAAM,EAAE,EAAE;IACV,OAAO,EAAE,CAAC,MAAM,EAAE,EAAE,CAClB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,YAAY,CAAA;QACnC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;YAC/B,GAAG,EAAE,GAAiB,EAAE;gBACtB,MAAM,KAAK,GAAG,gBAAgB,CAAC,OAAO,EAAE;oBACtC,YAAY,EAAE,MAAM,CAAC,aAAa;oBAClC,kBAAkB,EAAE,IAAI;iBACzB,CAAC,CAAA;gBAEF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAqB,CAAA;gBAC7C,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;oBACjC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE;wBACjB,KAAK,EAAE,KAAK,CAAC,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,IAAI,CAAC;wBACrD,MAAM,EAAE,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,IAAI,CAAC;qBAChD,CAAC,CAAA;gBACJ,CAAC;gBAED,MAAM,IAAI,GAAoB,EAAE,CAAA;gBAChC,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,QAAQ,EAAE,CAAC;oBACnC,IACE,GAAG,CAAC,KAAK,IAAI,MAAM,CAAC,oBAAoB;wBACxC,GAAG,CAAC,MAAM,IAAI,MAAM,CAAC,qBAAqB,EAC1C,CAAC;wBACD,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC,CAAA;oBAC3D,CAAC;gBACH,CAAC;gBACD,uDAAuD;gBACvD,qBAAqB;gBACrB,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;oBACjB,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,MAAM,CAAA;oBAChC,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,MAAM,CAAA;oBAChC,IAAI,KAAK,KAAK,KAAK;wBAAE,OAAO,KAAK,GAAG,KAAK,CAAA;oBACzC,OAAO,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;gBACvD,CAAC,CAAC,CAAA;gBAEF,OAAO;oBACL,QAAQ;oBACR,IAAI;oBACJ,YAAY,EAAE,KAAK,CAAC,OAAO,CAAC,IAAI;iBACjC,CAAA;YACH,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CACf,IAAI,kBAAkB,CAAC;gBACrB,QAAQ,EAAE,yBAAyB;gBACnC,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC;gBACtB,KAAK;aACN,CAAC;SACL,CAAC,CAAA;QACF,OAAO,MAAM,CAAA;IACf,CAAC,CAAC;IACJ,KAAK,EAAE,CAAC,GAAG,EAAE,EAAE;QACb,IAAI,GAAG,CAAC,YAAY,KAAK,CAAC;YAAE,OAAO,CAAC,CAAA;QACpC,gEAAgE;QAChE,mEAAmE;QACnE,8DAA8D;QAC9D,oBAAoB;QACpB,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,CAAC,MAAM,GAAG,GAAG,CAAC,YAAY,CAAA;QACnD,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,QAAQ,GAAG,CAAC,CAAC,CAAA;IACtC,CAAC;IACD,QAAQ,EAAE,CAAC,GAAG,EAA6B,EAAE;QAC3C,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;QACjC,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACrB,QAAQ,EAAE,MAAe;YACzB,OAAO,EAAE,eAAe,CAAC,CAAC,IAAI,WAAW,CAAC,CAAC,KAAK,YAAY,CAAC,CAAC,MAAM,GAAG;YACvE,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE;YAC1B,IAAI,EAAE;gBACJ,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,KAAK,EAAE,CAAC,CAAC,KAAK;gBACd,MAAM,EAAE,CAAC,CAAC,MAAM;aACjB;SACF,CAAC,CAAC,CAAA;IACL,CAAC;CACF,CAAA"}

package/dist/signals/ts-de-03-propagation-cost.d.ts

@@ -0,0 +1,34 @@
+import type { Signal } from "@skastr0/pulsar-core/signal";
+import { Schema } from "effect";
+import { TsProjectTag } from "../ts-project.js";
+declare const TsDe03Config: Schema.Struct<{
+    exclude_globs: Schema.Array$<typeof Schema.String>;
+    target: typeof Schema.Number;
+    scale: typeof Schema.Number;
+    small_sample_threshold: typeof Schema.Number;
+    top_n_diagnostics: typeof Schema.Number;
+}>;
+type TsDe03Config = typeof TsDe03Config.Type;
+interface PropagationInfo {
+    readonly reverseReach: number;
+    readonly forwardReach: number;
+    readonly directDependents: number;
+    readonly directDependencies: number;
+}
+interface TsDe03Output {
+    readonly byModule: ReadonlyMap<string, PropagationInfo>;
+    readonly propagationCost: number;
+    readonly top10Propagators: ReadonlyArray<{
+        file: string;
+        reverseReach: number;
+    }>;
+    readonly totalModules: number;
+    readonly reachabilityMode: "bitset" | "bloom";
+    readonly target: number;
+    readonly scale: number;
+    readonly smallSampleThreshold: number;
+    readonly diagnosticLimit: number;
+}
+export declare const TsDe03: Signal<TsDe03Config, TsDe03Output, TsProjectTag>;
+export {};
+//# sourceMappingURL=ts-de-03-propagation-cost.d.ts.map

package/dist/signals/ts-de-03-propagation-cost.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ts-de-03-propagation-cost.d.ts","sourceRoot":"","sources":["../../src/signals/ts-de-03-propagation-cost.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAc,MAAM,EAAE,MAAM,6BAA6B,CAAA;AACrE,OAAO,EAAU,MAAM,EAAE,MAAM,QAAQ,CAAA;AAIvC,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAG/C,QAAA,MAAM,YAAY;;;;;;EAMhB,CAAA;AACF,KAAK,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;AAE5C,UAAU,eAAe;IACvB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAA;IACjC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAA;CACpC;AAED,UAAU,YAAY;IACpB,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,eAAe,CAAC,CAAA;IACvD,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAA;IAChC,QAAQ,CAAC,gBAAgB,EAAE,aAAa,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,YAAY,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;IAChF,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,gBAAgB,EAAE,QAAQ,GAAG,OAAO,CAAA;IAC7C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAA;IACrC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAA;CACjC;AAED,eAAO,MAAM,MAAM,EAAE,MAAM,CAAC,YAAY,EAAE,YAAY,EAAE,YAAY,CAiFnE,CAAA"}

package/dist/signals/ts-de-03-propagation-cost.js

@@ -0,0 +1,138 @@
+import { SignalComputeError } from "@skastr0/pulsar-core/signal";
+import { Effect, Schema } from "effect";
+import { buildModuleGraph } from "../graph/module-graph.js";
+import { computeReachabilityCounts } from "../graph/reachability.js";
+import { condenseGraph, tarjanSccs } from "../graph/tarjan.js";
+import { TsProjectTag } from "../ts-project.js";
+import { compareDescendingMetricByFile } from "./shared-rank-order.js";
+const TsDe03Config = Schema.Struct({
+    exclude_globs: Schema.Array(Schema.String),
+    target: Schema.Number,
+    scale: Schema.Number,
+    small_sample_threshold: Schema.Number,
+    top_n_diagnostics: Schema.Number,
+});
+export const TsDe03 = {
+    id: "TS-DE-03-propagation-cost",
+    title: "Propagation cost",
+    aliases: ["TS-DE-03"],
+    tier: 1,
+    category: "dependency-entropy",
+    kind: "structural",
+    configSchema: TsDe03Config,
+    defaultConfig: {
+        exclude_globs: [
+            "**/*.test.ts",
+            "**/*.spec.ts",
+            "**/node_modules/**",
+            "**/dist/**",
+            "**/.turbo/**",
+        ],
+        target: 0.3,
+        scale: 0.4,
+        small_sample_threshold: 20,
+        top_n_diagnostics: 10,
+    },
+    inputs: [],
+    compute: (config) => Effect.gen(function* () {
+        const project = yield* TsProjectTag;
+        const result = yield* Effect.try({
+            try: () => {
+                const moduleGraph = buildModuleGraph(project, {
+                    excludeGlobs: config.exclude_globs,
+                    includeExportEdges: false,
+                });
+                return computePropagationCost(moduleGraph, config);
+            },
+            catch: (cause) => new SignalComputeError({
+                signalId: "TS-DE-03-propagation-cost",
+                message: String(cause),
+                cause,
+            }),
+        });
+        return result;
+    }),
+    score: (out) => {
+        const penalty = (out.propagationCost - out.target) / out.scale;
+        return Math.max(0, 1 - Math.min(1, Math.max(0, penalty)));
+    },
+    diagnose: (out) => {
+        const diagnostics = [];
+        if (out.totalModules < out.smallSampleThreshold) {
+            diagnostics.push({
+                severity: "warn",
+                message: `Propagation cost sample size is small (${out.totalModules} modules; ` +
+                    `threshold ${out.smallSampleThreshold})`,
+                data: {
+                    totalModules: out.totalModules,
+                    threshold: out.smallSampleThreshold,
+                },
+            });
+        }
+        if (out.propagationCost <= out.target) {
+            return diagnostics;
+        }
+        diagnostics.push(...out.top10Propagators.slice(0, out.diagnosticLimit).map((entry) => ({
+            severity: "warn",
+            message: `High propagation cost module: ${entry.file} (reverse reach ${entry.reverseReach})`,
+            location: { file: entry.file },
+            data: {
+                file: entry.file,
+                reverseReach: entry.reverseReach,
+                propagationCost: out.propagationCost,
+                reachabilityMode: out.reachabilityMode,
+            },
+        })));
+        return diagnostics;
+    },
+};
+const computePropagationCost = (moduleGraph, config) => {
+    const moduleIndexByFile = indexModulesByFile(moduleGraph);
+    const sccs = tarjanSccs(moduleGraph.dependencies);
+    const condensed = condenseGraph(moduleGraph.dependencies, sccs);
+    const componentModules = condensed.components.map((component) => component
+        .map((file) => moduleIndexByFile.get(file))
+        .filter((index) => index !== undefined));
+    const forwardReach = computeReachabilityCounts(condensed.dag, componentModules, moduleGraph.sourceFiles.length);
+    const reverseReach = computeReachabilityCounts(condensed.reverseDag, componentModules, moduleGraph.sourceFiles.length);
+    const byModule = buildPropagationInfo(moduleGraph, condensed, forwardReach.counts, reverseReach.counts);
+    return buildPropagationOutput(byModule, reverseReach.mode, config);
+};
+const indexModulesByFile = (moduleGraph) => new Map(moduleGraph.sourceFiles.map((sourceFile, index) => [sourceFile.getFilePath(), index]));
+const buildPropagationInfo = (moduleGraph, condensed, forwardReach, reverseReach) => {
+    const byModule = new Map();
+    for (const sourceFile of moduleGraph.sourceFiles) {
+        const file = sourceFile.getFilePath();
+        const componentIndex = condensed.nodeToComponent.get(file);
+        if (componentIndex === undefined)
+            continue;
+        const intraComponent = (condensed.components[componentIndex]?.length ?? 1) - 1;
+        byModule.set(file, {
+            forwardReach: intraComponent + (forwardReach[componentIndex] ?? 0),
+            reverseReach: intraComponent + (reverseReach[componentIndex] ?? 0),
+            directDependencies: moduleGraph.dependencies.get(file)?.size ?? 0,
+            directDependents: moduleGraph.reverseDependencies.get(file)?.size ?? 0,
+        });
+    }
+    return byModule;
+};
+const buildPropagationOutput = (byModule, reachabilityMode, config) => {
+    const totalModules = byModule.size;
+    const reverseReachTotal = [...byModule.values()].reduce((sum, info) => sum + info.reverseReach, 0);
+    return {
+        byModule,
+        propagationCost: totalModules === 0 ? 0 : reverseReachTotal / (totalModules * totalModules),
+        top10Propagators: topPropagators(byModule),
+        totalModules,
+        reachabilityMode,
+        target: config.target,
+        scale: config.scale,
+        smallSampleThreshold: config.small_sample_threshold,
+        diagnosticLimit: config.top_n_diagnostics,
+    };
+};
+const topPropagators = (byModule) => [...byModule.entries()]
+    .map(([file, info]) => ({ file, reverseReach: info.reverseReach }))
+    .sort((left, right) => compareDescendingMetricByFile(left.reverseReach, right.reverseReach, left.file, right.file))
+    .slice(0, 10);
+//# sourceMappingURL=ts-de-03-propagation-cost.js.map

package/dist/signals/ts-de-03-propagation-cost.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ts-de-03-propagation-cost.js","sourceRoot":"","sources":["../../src/signals/ts-de-03-propagation-cost.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAA;AAEhE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAA;AAC3D,OAAO,EAAE,yBAAyB,EAAE,MAAM,0BAA0B,CAAA;AACpE,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAA;AAC9D,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EAAE,6BAA6B,EAAE,MAAM,wBAAwB,CAAA;AAEtE,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC;IACjC,aAAa,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IAC1C,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,KAAK,EAAE,MAAM,CAAC,MAAM;IACpB,sBAAsB,EAAE,MAAM,CAAC,MAAM;IACrC,iBAAiB,EAAE,MAAM,CAAC,MAAM;CACjC,CAAC,CAAA;AAsBF,MAAM,CAAC,MAAM,MAAM,GAAqD;IACtE,EAAE,EAAE,2BAA2B;IAC/B,KAAK,EAAE,kBAAkB;IACzB,OAAO,EAAE,CAAC,UAAU,CAAC;IACrB,IAAI,EAAE,CAAC;IACP,QAAQ,EAAE,oBAAoB;IAC9B,IAAI,EAAE,YAAY;IAClB,YAAY,EAAE,YAAY;IAC1B,aAAa,EAAE;QACb,aAAa,EAAE;YACb,cAAc;YACd,cAAc;YACd,oBAAoB;YACpB,YAAY;YACZ,cAAc;SACf;QACD,MAAM,EAAE,GAAG;QACX,KAAK,EAAE,GAAG;QACV,sBAAsB,EAAE,EAAE;QAC1B,iBAAiB,EAAE,EAAE;KACtB;IACD,MAAM,EAAE,EAAE;IACV,OAAO,EAAE,CAAC,MAAM,EAAE,EAAE,CAClB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,YAAY,CAAA;QACnC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;YAC/B,GAAG,EAAE,GAAiB,EAAE;gBACtB,MAAM,WAAW,GAAG,gBAAgB,CAAC,OAAO,EAAE;oBAC5C,YAAY,EAAE,MAAM,CAAC,aAAa;oBAClC,kBAAkB,EAAE,KAAK;iBAC1B,CAAC,CAAA;gBACF,OAAO,sBAAsB,CAAC,WAAW,EAAE,MAAM,CAAC,CAAA;YACpD,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CACf,IAAI,kBAAkB,CAAC;gBACrB,QAAQ,EAAE,2BAA2B;gBACrC,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC;gBACtB,KAAK;aACN,CAAC;SACL,CAAC,CAAA;QACF,OAAO,MAAM,CAAA;IACf,CAAC,CAAC;IACJ,KAAK,EAAE,CAAC,GAAG,EAAE,EAAE;QACb,MAAM,OAAO,GAAG,CAAC,GAAG,CAAC,eAAe,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,GAAG,CAAC,KAAK,CAAA;QAC9D,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAA;IAC3D,CAAC;IACD,QAAQ,EAAE,CAAC,GAAG,EAA6B,EAAE;QAC3C,MAAM,WAAW,GAAsB,EAAE,CAAA;QACzC,IAAI,GAAG,CAAC,YAAY,GAAG,GAAG,CAAC,oBAAoB,EAAE,CAAC;YAChD,WAAW,CAAC,IAAI,CAAC;gBACf,QAAQ,EAAE,MAAe;gBACzB,OAAO,EACL,0CAA0C,GAAG,CAAC,YAAY,YAAY;oBACtE,aAAa,GAAG,CAAC,oBAAoB,GAAG;gBAC1C,IAAI,EAAE;oBACJ,YAAY,EAAE,GAAG,CAAC,YAAY;oBAC9B,SAAS,EAAE,GAAG,CAAC,oBAAoB;iBACpC;aACF,CAAC,CAAA;QACJ,CAAC;QAED,IAAI,GAAG,CAAC,eAAe,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;YACtC,OAAO,WAAW,CAAA;QACpB,CAAC;QAED,WAAW,CAAC,IAAI,CACd,GAAG,GAAG,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,eAAe,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACpE,QAAQ,EAAE,MAAe;YACzB,OAAO,EAAE,iCAAiC,KAAK,CAAC,IAAI,mBAAmB,KAAK,CAAC,YAAY,GAAG;YAC5F,QAAQ,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE;YAC9B,IAAI,EAAE;gBACJ,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,YAAY,EAAE,KAAK,CAAC,YAAY;gBAChC,eAAe,EAAE,GAAG,CAAC,eAAe;gBACpC,gBAAgB,EAAE,GAAG,CAAC,gBAAgB;aACvC;SACF,CAAC,CAAC,CACJ,CAAA;QAED,OAAO,WAAW,CAAA;IACpB,CAAC;CACF,CAAA;AAKD,MAAM,sBAAsB,GAAG,CAC7B,WAAwB,EACxB,MAAoB,EACN,EAAE;IAChB,MAAM,iBAAiB,GAAG,kBAAkB,CAAC,WAAW,CAAC,CAAA;IACzD,MAAM,IAAI,GAAG,UAAU,CAAC,WAAW,CAAC,YAAY,CAAC,CAAA;IACjD,MAAM,SAAS,GAAG,aAAa,CAAC,WAAW,CAAC,YAAY,EAAE,IAAI,CAAC,CAAA;IAC/D,MAAM,gBAAgB,GAAG,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAC9D,SAAS;SACN,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;SAC1C,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,KAAK,KAAK,SAAS,CAAC,CAC3D,CAAA;IACD,MAAM,YAAY,GAAG,yBAAyB,CAC5C,SAAS,CAAC,GAAG,EACb,gBAAgB,EAChB,WAAW,CAAC,WAAW,CAAC,MAAM,CAC/B,CAAA;IACD,MAAM,YAAY,GAAG,yBAAyB,CAC5C,SAAS,CAAC,UAAU,EACpB,gBAAgB,EAChB,WAAW,CAAC,WAAW,CAAC,MAAM,CAC/B,CAAA;IACD,MAAM,QAAQ,GAAG,oBAAoB,CACnC,WAAW,EACX,SAAS,EACT,YAAY,CAAC,MAAM,EACnB,YAAY,CAAC,MAAM,CACpB,CAAA;IAED,OAAO,sBAAsB,CAAC,QAAQ,EAAE,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;AACpE,CAAC,CAAA;AAED,MAAM,kBAAkB,GAAG,CAAC,WAAwB,EAA+B,EAAE,CACnF,IAAI,GAAG,CACL,WAAW,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,WAAW,EAAE,EAAE,KAAK,CAAU,CAAC,CAC/F,CAAA;AAEH,MAAM,oBAAoB,GAAG,CAC3B,WAAwB,EACxB,SAA2C,EAC3C,YAAmC,EACnC,YAAmC,EACG,EAAE;IACxC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA2B,CAAA;IAEnD,KAAK,MAAM,UAAU,IAAI,WAAW,CAAC,WAAW,EAAE,CAAC;QACjD,MAAM,IAAI,GAAG,UAAU,CAAC,WAAW,EAAE,CAAA;QACrC,MAAM,cAAc,GAAG,SAAS,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QAC1D,IAAI,cAAc,KAAK,SAAS;YAAE,SAAQ;QAC1C,MAAM,cAAc,GAAG,CAAC,SAAS,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,CAAA;QAC9E,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE;YACjB,YAAY,EAAE,cAAc,GAAG,CAAC,YAAY,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;YAClE,YAAY,EAAE,cAAc,GAAG,CAAC,YAAY,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;YAClE,kBAAkB,EAAE,WAAW,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,IAAI,CAAC;YACjE,gBAAgB,EAAE,WAAW,CAAC,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,IAAI,CAAC;SACvE,CAAC,CAAA;IACJ,CAAC;IAED,OAAO,QAAQ,CAAA;AACjB,CAAC,CAAA;AAED,MAAM,sBAAsB,GAAG,CAC7B,QAA8C,EAC9C,gBAAkC,EAClC,MAAoB,EACN,EAAE;IAChB,MAAM,YAAY,GAAG,QAAQ,CAAC,IAAI,CAAA;IAClC,MAAM,iBAAiB,GAAG,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,GAAG,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,CAAA;IAElG,OAAO;QACL,QAAQ;QACR,eAAe,EAAE,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,iBAAiB,GAAG,CAAC,YAAY,GAAG,YAAY,CAAC;QAC3F,gBAAgB,EAAE,cAAc,CAAC,QAAQ,CAAC;QAC1C,YAAY;QACZ,gBAAgB;QAChB,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,oBAAoB,EAAE,MAAM,CAAC,sBAAsB;QACnD,eAAe,EAAE,MAAM,CAAC,iBAAiB;KAC1C,CAAA;AACH,CAAC,CAAA;AAED,MAAM,cAAc,GAAG,CACrB,QAA8C,EACS,EAAE,CACzD,CAAC,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC;KACpB,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC;KAClE,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACpB,6BAA6B,CAAC,IAAI,CAAC,YAAY,EAAE,KAAK,CAAC,YAAY,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAC5F;KACA,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA"}

package/dist/signals/ts-de-04-bundled-info.d.ts

@@ -0,0 +1,6 @@
+import type { PackageInfo, PackageManifest } from "../discovery.js";
+import type { BundledPackageInfo } from "./ts-de-04-model.js";
+export declare const isBundledCliSourceFile: (manifest: PackageManifest, packagePath: string, file: string) => boolean;
+export declare const readBundledInfoByPackage: (packages: ReadonlyArray<PackageInfo>) => Promise<ReadonlyMap<string, BundledPackageInfo>>;
+export declare const isBundledPackageSourceUsage: (owningPackage: PackageInfo, file: string, dependencyName: string, bundledInfo: BundledPackageInfo | undefined) => boolean;
+//# sourceMappingURL=ts-de-04-bundled-info.d.ts.map

package/dist/signals/ts-de-04-bundled-info.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ts-de-04-bundled-info.d.ts","sourceRoot":"","sources":["../../src/signals/ts-de-04-bundled-info.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAA;AAEnE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAA;AAE7D,eAAO,MAAM,sBAAsB,GACjC,UAAU,eAAe,EACzB,aAAa,MAAM,EACnB,MAAM,MAAM,KACX,OAWF,CAAA;AAaD,eAAO,MAAM,wBAAwB,GACnC,UAAU,aAAa,CAAC,WAAW,CAAC,KACnC,OAAO,CAAC,WAAW,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAQjD,CAAA;AA8DD,eAAO,MAAM,2BAA2B,GACtC,eAAe,WAAW,EAC1B,MAAM,MAAM,EACZ,gBAAgB,MAAM,EACtB,aAAa,kBAAkB,GAAG,SAAS,KAC1C,OAMF,CAAA"}

package/dist/signals/ts-de-04-bundled-info.js

@@ -0,0 +1,89 @@
+import { readFile } from "node:fs/promises";
+import { join, relative, sep } from "node:path";
+import { dependencyNamesOf, normalizePackageSpecifier } from "./shared-workspace.js";
+export const isBundledCliSourceFile = (manifest, packagePath, file) => {
+    if (Object.keys(manifest.bin ?? {}).length === 0)
+        return false;
+    if (!hasBundledCliBuildPipeline(manifest))
+        return false;
+    const rel = relative(packagePath, file).split(sep).join("/");
+    return (rel.startsWith("src/cli/") ||
+        rel.startsWith("src/bundler/") ||
+        rel.startsWith("cli/") ||
+        rel.startsWith("bundler/"));
+};
+const hasBundledCliBuildPipeline = (manifest) => {
+    const scriptText = Object.values(manifest.scripts).join("\n");
+    const devDependencyNames = dependencyNamesOf(manifest, ["devDependencies"]);
+    return (/\b(?:build|bundle|prepack|pack)\b/.test(scriptText) &&
+        ["@vercel/ncc", "bun", "esbuild", "rollup", "tsup", "webpack"].some((dependencyName) => devDependencyNames.has(dependencyName)));
+};
+export const readBundledInfoByPackage = async (packages) => {
+    const entries = await Promise.all(packages.map(async (pkg) => [
+        pkg.path,
+        await readBundledPackageInfo(pkg.path),
+    ]));
+    return new Map(entries);
+};
+const readBundledPackageInfo = async (packagePath) => {
+    const configText = await readFirstExistingText([
+        join(packagePath, "tsup.config.ts"),
+        join(packagePath, "tsup.config.mts"),
+        join(packagePath, "tsup.config.cts"),
+        join(packagePath, "tsup.config.js"),
+        join(packagePath, "tsup.config.mjs"),
+        join(packagePath, "tsup.config.cjs"),
+        join(packagePath, "esbuild.config.ts"),
+        join(packagePath, "esbuild.config.mts"),
+        join(packagePath, "esbuild.config.cts"),
+        join(packagePath, "esbuild.config.js"),
+        join(packagePath, "esbuild.config.mjs"),
+        join(packagePath, "esbuild.config.cjs"),
+        join(packagePath, "esbuild.ts"),
+        join(packagePath, "esbuild.mts"),
+        join(packagePath, "esbuild.cts"),
+        join(packagePath, "esbuild.js"),
+        join(packagePath, "esbuild.mjs"),
+        join(packagePath, "esbuild.cjs"),
+    ]);
+    if (configText === undefined || !/\bbundle\s*:\s*true\b/.test(configText)) {
+        return { bundlesSource: false, externalPackageNames: new Set() };
+    }
+    return {
+        bundlesSource: true,
+        externalPackageNames: parseBundlerExternalPackageNames(configText),
+    };
+};
+const readFirstExistingText = async (paths) => {
+    for (const path of paths) {
+        try {
+            return await readFile(path, "utf8");
+        }
+        catch {
+            continue;
+        }
+    }
+    return undefined;
+};
+const parseBundlerExternalPackageNames = (configText) => {
+    const externalNames = new Set();
+    const externalMatch = /\bexternal\s*:\s*\[([\s\S]*?)\]/m.exec(configText);
+    if (externalMatch === null)
+        return externalNames;
+    for (const match of externalMatch[1].matchAll(/["']([^"']+)["']/g)) {
+        const dependencyName = normalizePackageSpecifier(match[1]);
+        if (dependencyName !== undefined) {
+            externalNames.add(dependencyName);
+        }
+    }
+    return externalNames;
+};
+export const isBundledPackageSourceUsage = (owningPackage, file, dependencyName, bundledInfo) => {
+    if (bundledInfo?.bundlesSource !== true)
+        return false;
+    if (bundledInfo.externalPackageNames.has(dependencyName))
+        return false;
+    const rel = relative(owningPackage.path, file).split(sep).join("/");
+    return rel.startsWith("src/");
+};
+//# sourceMappingURL=ts-de-04-bundled-info.js.map