@skastr0/pulsar-rs-pack 0.1.0

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

@@ -0,0 +1,28 @@
+import { type Signal } from "@skastr0/pulsar-core/signal";
+import { Schema } from "effect";
+import { RustProjectTag } from "../project.js";
+declare const RsDe04Config: 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 RsDe04Config = typeof RsDe04Config.Type;
+interface RustModuleFan {
+    readonly module: string;
+    readonly file: string;
+    readonly fanIn: number;
+    readonly fanOut: number;
+}
+interface RsDe04Output {
+    readonly modules: ReadonlyArray<RustModuleFan>;
+    readonly byModule: ReadonlyMap<string, {
+        readonly fanIn: number;
+        readonly fanOut: number;
+    }>;
+    readonly hubs: ReadonlyArray<RustModuleFan>;
+    readonly analysisMode: "explicit-use-resolution";
+}
+export declare const RsDe04: Signal<RsDe04Config, RsDe04Output, RustProjectTag>;
+export {};
+//# sourceMappingURL=rs-de-04-fan-in-fan-out.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"rs-de-04-fan-in-fan-out.d.ts","sourceRoot":"","sources":["../../src/signals/rs-de-04-fan-in-fan-out.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,MAAM,EAEZ,MAAM,6BAA6B,CAAA;AACpC,OAAO,EAAU,MAAM,EAAE,MAAM,QAAQ,CAAA;AAEvC,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AAQ9C,QAAA,MAAM,YAAY;;;;;EAKhB,CAAA;AACF,KAAK,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;AAE5C,UAAU,aAAa;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,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,OAAO,EAAE,aAAa,CAAC,aAAa,CAAC,CAAA;IAC9C,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;IAC3F,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,aAAa,CAAC,CAAA;IAC3C,QAAQ,CAAC,YAAY,EAAE,yBAAyB,CAAA;CACjD;AAED,eAAO,MAAM,MAAM,EAAE,MAAM,CAAC,YAAY,EAAE,YAAY,EAAE,cAAc,CA8FrE,CAAA"}

package/dist/signals/rs-de-04-fan-in-fan-out.js

@@ -0,0 +1,109 @@
+import { SignalComputeError, } from "@skastr0/pulsar-core/signal";
+import { Effect, Schema } from "effect";
+import { collectRustProjectFacts } from "../rust-analysis.js";
+import { RustProjectTag } from "../project.js";
+import { resolveCrateRelativePath, toLocalRelativeSegments, } from "./shared-rust-resolution.js";
+import { DEFAULT_RUST_EXCLUDE_GLOBS } from "./shared-rust-ast.js";
+import { isExcluded } from "./shared-globs.js";
+const RsDe04Config = 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,
+});
+export const RsDe04 = {
+    id: "RS-DE-04-fan-in-fan-out",
+    title: "Fan-in/fan-out",
+    aliases: ["RS-DE-04"],
+    tier: 1,
+    category: "dependency-entropy",
+    kind: "structural",
+    configSchema: RsDe04Config,
+    defaultConfig: {
+        exclude_globs: [...DEFAULT_RUST_EXCLUDE_GLOBS],
+        hub_fan_in_threshold: 6,
+        hub_fan_out_threshold: 4,
+        top_n_diagnostics: 10,
+    },
+    inputs: [],
+    compute: (config) => Effect.gen(function* () {
+        const project = yield* RustProjectTag;
+        return yield* Effect.tryPromise({
+            try: async () => {
+                const facts = await collectRustProjectFacts(project);
+                const rootNamesByCrate = new Map();
+                for (const module of facts.modules) {
+                    const bucket = rootNamesByCrate.get(module.crateName) ?? new Set();
+                    const segments = module.relativeModulePath.split("::");
+                    const root = segments[1];
+                    if (segments[0] === "crate" && root !== undefined)
+                        bucket.add(root);
+                    rootNamesByCrate.set(module.crateName, bucket);
+                }
+                for (const item of facts.items) {
+                    if (item.relativeModulePath !== "crate")
+                        continue;
+                    const bucket = rootNamesByCrate.get(item.crateName) ?? new Set();
+                    bucket.add(item.name);
+                    rootNamesByCrate.set(item.crateName, bucket);
+                }
+                const incoming = new Map();
+                const outgoing = new Map();
+                const modules = facts.modules.filter((module) => !isExcluded(module.file, config.exclude_globs));
+                for (const module of modules) {
+                    incoming.set(module.modulePath, new Set());
+                    outgoing.set(module.modulePath, new Set());
+                }
+                for (const useFact of facts.uses) {
+                    if (isExcluded(useFact.file, config.exclude_globs))
+                        continue;
+                    const target = resolveLocalUseTarget(useFact, facts, rootNamesByCrate);
+                    if (target === undefined || target === useFact.modulePath)
+                        continue;
+                    outgoing.get(useFact.modulePath)?.add(target);
+                    incoming.get(target)?.add(useFact.modulePath);
+                }
+                const summaries = modules
+                    .map((module) => ({
+                    module: module.modulePath,
+                    file: module.file,
+                    fanIn: incoming.get(module.modulePath)?.size ?? 0,
+                    fanOut: outgoing.get(module.modulePath)?.size ?? 0,
+                }))
+                    .sort((left, right) => right.fanIn + right.fanOut - (left.fanIn + left.fanOut) || left.module.localeCompare(right.module));
+                return {
+                    modules: summaries,
+                    byModule: new Map(summaries.map((module) => [module.module, { fanIn: module.fanIn, fanOut: module.fanOut }])),
+                    hubs: summaries.filter((module) => module.fanIn >= config.hub_fan_in_threshold &&
+                        module.fanOut >= config.hub_fan_out_threshold),
+                    analysisMode: "explicit-use-resolution",
+                };
+            },
+            catch: (cause) => new SignalComputeError({ signalId: "RS-DE-04-fan-in-fan-out", message: String(cause), cause }),
+        });
+    }),
+    score: (out) => {
+        if (out.modules.length === 0)
+            return 1;
+        return Math.max(0, 1 - (out.hubs.length / out.modules.length) * 3);
+    },
+    diagnose: (out) => out.hubs.slice(0, 10).map((module) => ({
+        severity: "warn",
+        message: `Module ${module.module} is a coupling hub (fanIn=${module.fanIn}, fanOut=${module.fanOut})`,
+        location: { file: module.file },
+        data: {
+            module: module.module,
+            fanIn: module.fanIn,
+            fanOut: module.fanOut,
+            analysisMode: out.analysisMode,
+        },
+    })),
+};
+const resolveLocalUseTarget = (useFact, facts, rootNamesByCrate) => {
+    const relativeSegments = toLocalRelativeSegments(useFact, rootNamesByCrate.get(useFact.crateName) ?? new Set());
+    if (relativeSegments === undefined)
+        return undefined;
+    const resolved = resolveCrateRelativePath(useFact.crateName, relativeSegments, facts);
+    return resolved?.item?.modulePath ?? resolved?.module?.modulePath;
+};
+//# sourceMappingURL=rs-de-04-fan-in-fan-out.js.map

package/dist/signals/rs-de-04-fan-in-fan-out.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rs-de-04-fan-in-fan-out.js","sourceRoot":"","sources":["../../src/signals/rs-de-04-fan-in-fan-out.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,kBAAkB,GACnB,MAAM,6BAA6B,CAAA;AACpC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,EAAE,uBAAuB,EAAoB,MAAM,qBAAqB,CAAA;AAC/E,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AAC9C,OAAO,EACL,wBAAwB,EACxB,uBAAuB,GACxB,MAAM,6BAA6B,CAAA;AACpC,OAAO,EAAE,0BAA0B,EAAE,MAAM,sBAAsB,CAAA;AACjE,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAA;AAE9C,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;AAiBF,MAAM,CAAC,MAAM,MAAM,GAAuD;IACxE,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,CAAC,GAAG,0BAA0B,CAAC;QAC9C,oBAAoB,EAAE,CAAC;QACvB,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,cAAc,CAAA;QACrC,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC;YAC9B,GAAG,EAAE,KAAK,IAA2B,EAAE;gBACrC,MAAM,KAAK,GAAG,MAAM,uBAAuB,CAAC,OAAO,CAAC,CAAA;gBACpD,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAuB,CAAA;gBACvD,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;oBACnC,MAAM,MAAM,GAAG,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,IAAI,GAAG,EAAU,CAAA;oBAC1E,MAAM,QAAQ,GAAG,MAAM,CAAC,kBAAkB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;oBACtD,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;oBACxB,IAAI,QAAQ,CAAC,CAAC,CAAC,KAAK,OAAO,IAAI,IAAI,KAAK,SAAS;wBAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;oBACnE,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,CAAA;gBAChD,CAAC;gBACD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;oBAC/B,IAAI,IAAI,CAAC,kBAAkB,KAAK,OAAO;wBAAE,SAAQ;oBACjD,MAAM,MAAM,GAAG,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,IAAI,GAAG,EAAU,CAAA;oBACxE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;oBACrB,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,EAAE,MAAM,CAAC,CAAA;gBAC9C,CAAC;gBAED,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAuB,CAAA;gBAC/C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAuB,CAAA;gBAC/C,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC,CAAA;gBAChG,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;oBAC7B,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,EAAE,IAAI,GAAG,EAAE,CAAC,CAAA;oBAC1C,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,EAAE,IAAI,GAAG,EAAE,CAAC,CAAA;gBAC5C,CAAC;gBAED,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;oBACjC,IAAI,UAAU,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,aAAa,CAAC;wBAAE,SAAQ;oBAC5D,MAAM,MAAM,GAAG,qBAAqB,CAAC,OAAO,EAAE,KAAK,EAAE,gBAAgB,CAAC,CAAA;oBACtE,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,OAAO,CAAC,UAAU;wBAAE,SAAQ;oBACnE,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;oBAC7C,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,CAAA;gBAC/C,CAAC;gBAED,MAAM,SAAS,GAAG,OAAO;qBACtB,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;oBAChB,MAAM,EAAE,MAAM,CAAC,UAAU;oBACzB,IAAI,EAAE,MAAM,CAAC,IAAI;oBACjB,KAAK,EAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,IAAI,IAAI,CAAC;oBACjD,MAAM,EAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,IAAI,IAAI,CAAC;iBACnD,CAAC,CAAC;qBACF,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAA;gBAE5H,OAAO;oBACL,OAAO,EAAE,SAAS;oBAClB,QAAQ,EAAE,IAAI,GAAG,CACf,SAAS,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAC3F;oBACD,IAAI,EAAE,SAAS,CAAC,MAAM,CACpB,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,oBAAoB;wBAC3C,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,qBAAqB,CAChD;oBACD,YAAY,EAAE,yBAAyB;iBACxC,CAAA;YACH,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CACf,IAAI,kBAAkB,CAAC,EAAE,QAAQ,EAAE,yBAAyB,EAAE,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC;SACjG,CAAC,CAAA;IACJ,CAAC,CAAC;IACJ,KAAK,EAAE,CAAC,GAAG,EAAE,EAAE;QACb,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,CAAC,CAAA;QACtC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAA;IACpE,CAAC;IACD,QAAQ,EAAE,CAAC,GAAG,EAA6B,EAAE,CAC3C,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QACrC,QAAQ,EAAE,MAAe;QACzB,OAAO,EAAE,UAAU,MAAM,CAAC,MAAM,6BAA6B,MAAM,CAAC,KAAK,YAAY,MAAM,CAAC,MAAM,GAAG;QACrG,QAAQ,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE;QAC/B,IAAI,EAAE;YACJ,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,YAAY,EAAE,GAAG,CAAC,YAAY;SAC/B;KACF,CAAC,CAAC;CACN,CAAA;AAED,MAAM,qBAAqB,GAAG,CAC5B,OAAoB,EACpB,KAA0D,EAC1D,gBAA0D,EACtC,EAAE;IACtB,MAAM,gBAAgB,GAAG,uBAAuB,CAC9C,OAAO,EACP,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,IAAI,GAAG,EAAE,CACrD,CAAA;IACD,IAAI,gBAAgB,KAAK,SAAS;QAAE,OAAO,SAAS,CAAA;IACpD,MAAM,QAAQ,GAAG,wBAAwB,CAAC,OAAO,CAAC,SAAS,EAAE,gBAAgB,EAAE,KAAK,CAAC,CAAA;IACrF,OAAO,QAAQ,EAAE,IAAI,EAAE,UAAU,IAAI,QAAQ,EAAE,MAAM,EAAE,UAAU,CAAA;AACnE,CAAC,CAAA"}

package/dist/signals/rs-ld-01-unsafe.d.ts

@@ -0,0 +1,28 @@
+import { type Signal } from "@skastr0/pulsar-core/signal";
+import { Schema } from "effect";
+import { RustProjectTag } from "../project.js";
+declare const RsLd01Config: Schema.Struct<{
+    exclude_globs: Schema.Array$<typeof Schema.String>;
+    safe_only_modules: Schema.Array$<typeof Schema.String>;
+    top_n_diagnostics: typeof Schema.Number;
+}>;
+type RsLd01Config = typeof RsLd01Config.Type;
+interface UnsafeModuleSummary {
+    readonly module: string;
+    readonly file: string;
+    readonly totalFunctions: number;
+    readonly unsafeBlockCount: number;
+    readonly unsafeFunctionCount: number;
+    readonly propagatingFunctionCount: number;
+    readonly unsafeDensity: number;
+}
+interface RsLd01Output {
+    readonly modules: ReadonlyArray<UnsafeModuleSummary>;
+    readonly totalUnsafeBlocks: number;
+    readonly totalUnsafeFunctions: number;
+    readonly safeOnlyViolations: ReadonlyArray<UnsafeModuleSummary>;
+    readonly propagationMode: "local-signature-only";
+}
+export declare const RsLd01: Signal<RsLd01Config, RsLd01Output, RustProjectTag>;
+export {};
+//# sourceMappingURL=rs-ld-01-unsafe.d.ts.map

package/dist/signals/rs-ld-01-unsafe.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rs-ld-01-unsafe.d.ts","sourceRoot":"","sources":["../../src/signals/rs-ld-01-unsafe.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,MAAM,EAEZ,MAAM,6BAA6B,CAAA;AACpC,OAAO,EAAU,MAAM,EAAE,MAAM,QAAQ,CAAA;AAEvC,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AAG9C,QAAA,MAAM,YAAY;;;;EAIhB,CAAA;AACF,KAAK,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;AAE5C,UAAU,mBAAmB;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;IAC/B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAA;IACjC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAA;IACpC,QAAQ,CAAC,wBAAwB,EAAE,MAAM,CAAA;IACzC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAA;CAC/B;AAED,UAAU,YAAY;IACpB,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,mBAAmB,CAAC,CAAA;IACpD,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAA;IAClC,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAA;IACrC,QAAQ,CAAC,kBAAkB,EAAE,aAAa,CAAC,mBAAmB,CAAC,CAAA;IAC/D,QAAQ,CAAC,eAAe,EAAE,sBAAsB,CAAA;CACjD;AAED,eAAO,MAAM,MAAM,EAAE,MAAM,CAAC,YAAY,EAAE,YAAY,EAAE,cAAc,CA8GrE,CAAA"}

package/dist/signals/rs-ld-01-unsafe.js

@@ -0,0 +1,116 @@
+import { SignalComputeError, } from "@skastr0/pulsar-core/signal";
+import { Effect, Schema } from "effect";
+import { collectRustProjectFacts } from "../rust-analysis.js";
+import { RustProjectTag } from "../project.js";
+import { isExcluded } from "./shared-globs.js";
+const RsLd01Config = Schema.Struct({
+    exclude_globs: Schema.Array(Schema.String),
+    safe_only_modules: Schema.Array(Schema.String),
+    top_n_diagnostics: Schema.Number,
+});
+export const RsLd01 = {
+    id: "RS-LD-01-unsafe-code",
+    title: "Unsafe code",
+    aliases: ["RS-LD-01"],
+    tier: 1,
+    category: "legibility-decay",
+    kind: "legibility",
+    configSchema: RsLd01Config,
+    defaultConfig: {
+        exclude_globs: ["**/target/**", "**/tests/**", "**/examples/**", "**/benches/**"],
+        safe_only_modules: [],
+        top_n_diagnostics: 10,
+    },
+    inputs: [],
+    compute: (config) => Effect.gen(function* () {
+        const project = yield* RustProjectTag;
+        return yield* Effect.tryPromise({
+            try: async () => {
+                const facts = await collectRustProjectFacts(project);
+                const grouped = new Map();
+                for (const fn of facts.functions) {
+                    if (isExcluded(fn.file, config.exclude_globs))
+                        continue;
+                    const current = grouped.get(fn.modulePath);
+                    const next = current === undefined
+                        ? {
+                            module: fn.modulePath,
+                            file: fn.file,
+                            totalFunctions: 0,
+                            unsafeBlockCount: 0,
+                            unsafeFunctionCount: 0,
+                            propagatingFunctionCount: 0,
+                            unsafeDensity: 0,
+                        }
+                        : { ...current };
+                    next.totalFunctions += 1;
+                    next.unsafeBlockCount += fn.unsafeBlockCount;
+                    if (fn.isUnsafeFn)
+                        next.unsafeFunctionCount += 1;
+                    if (isPropagatingUnsafe(fn))
+                        next.propagatingFunctionCount += 1;
+                    grouped.set(fn.modulePath, next);
+                }
+                const modules = [...grouped.values()]
+                    .map((module) => ({
+                    ...module,
+                    unsafeDensity: module.totalFunctions === 0
+                        ? 0
+                        : (module.unsafeBlockCount + module.unsafeFunctionCount) / module.totalFunctions,
+                }))
+                    .sort((a, b) => b.unsafeDensity - a.unsafeDensity || b.propagatingFunctionCount - a.propagatingFunctionCount);
+                return {
+                    modules,
+                    totalUnsafeBlocks: modules.reduce((sum, module) => sum + module.unsafeBlockCount, 0),
+                    totalUnsafeFunctions: modules.reduce((sum, module) => sum + module.unsafeFunctionCount, 0),
+                    safeOnlyViolations: modules.filter((module) => config.safe_only_modules.includes(module.module) &&
+                        module.unsafeBlockCount + module.unsafeFunctionCount > 0),
+                    propagationMode: "local-signature-only",
+                };
+            },
+            catch: (cause) => new SignalComputeError({ signalId: "RS-LD-01-unsafe-code", message: String(cause), cause }),
+        });
+    }),
+    score: (out) => {
+        if (out.safeOnlyViolations.length > 0)
+            return 0;
+        const totalFunctions = out.modules.reduce((sum, module) => sum + module.totalFunctions, 0);
+        if (totalFunctions === 0)
+            return 1;
+        const ratio = (out.totalUnsafeBlocks + out.totalUnsafeFunctions) / Math.max(1, totalFunctions);
+        return Math.max(0, 1 - ratio * 2);
+    },
+    diagnose: (out) => [
+        ...out.safeOnlyViolations.map((module) => ({
+            severity: "block",
+            message: `Unsafe usage in safe-only module ${module.module}`,
+            location: { file: module.file },
+            data: {
+                module: module.module,
+                unsafeBlockCount: module.unsafeBlockCount,
+                unsafeFunctionCount: module.unsafeFunctionCount,
+            },
+        })),
+        ...out.modules
+            .filter((module) => module.unsafeBlockCount + module.unsafeFunctionCount > 0)
+            .slice(0, 10)
+            .map((module) => ({
+            severity: "warn",
+            message: `Unsafe density in ${module.module}: ${(module.unsafeDensity * 100).toFixed(0)}% (${module.propagatingFunctionCount} propagating)`,
+            location: { file: module.file },
+            data: {
+                module: module.module,
+                unsafeDensity: module.unsafeDensity,
+                unsafeBlockCount: module.unsafeBlockCount,
+                unsafeFunctionCount: module.unsafeFunctionCount,
+                propagatingFunctionCount: module.propagatingFunctionCount,
+                propagationMode: out.propagationMode,
+            },
+        })),
+    ],
+};
+const isPropagatingUnsafe = (fn) => (fn.isUnsafeFn || fn.unsafeBlockCount > 0) &&
+    (fn.rawPointerParamCount > 0 ||
+        fn.rawPointerReturn ||
+        (fn.returnTypeText?.includes("&") ?? false));
+//# sourceMappingURL=rs-ld-01-unsafe.js.map

package/dist/signals/rs-ld-01-unsafe.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rs-ld-01-unsafe.js","sourceRoot":"","sources":["../../src/signals/rs-ld-01-unsafe.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,kBAAkB,GACnB,MAAM,6BAA6B,CAAA;AACpC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,EAAE,uBAAuB,EAAE,MAAM,qBAAqB,CAAA;AAC7D,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAA;AAE9C,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC;IACjC,aAAa,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IAC1C,iBAAiB,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IAC9C,iBAAiB,EAAE,MAAM,CAAC,MAAM;CACjC,CAAC,CAAA;AAqBF,MAAM,CAAC,MAAM,MAAM,GAAuD;IACxE,EAAE,EAAE,sBAAsB;IAC1B,KAAK,EAAE,aAAa;IACpB,OAAO,EAAE,CAAC,UAAU,CAAC;IACrB,IAAI,EAAE,CAAC;IACP,QAAQ,EAAE,kBAAkB;IAC5B,IAAI,EAAE,YAAY;IAClB,YAAY,EAAE,YAAY;IAC1B,aAAa,EAAE;QACb,aAAa,EAAE,CAAC,cAAc,EAAE,aAAa,EAAE,gBAAgB,EAAE,eAAe,CAAC;QACjF,iBAAiB,EAAE,EAAE;QACrB,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,cAAc,CAAA;QACrC,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC;YAC9B,GAAG,EAAE,KAAK,IAA2B,EAAE;gBACrC,MAAM,KAAK,GAAG,MAAM,uBAAuB,CAAC,OAAO,CAAC,CAAA;gBACpD,MAAM,OAAO,GAAG,IAAI,GAAG,EAA+B,CAAA;gBAEtD,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;oBACjC,IAAI,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,aAAa,CAAC;wBAAE,SAAQ;oBACvD,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,CAAA;oBAC1C,MAAM,IAAI,GACR,OAAO,KAAK,SAAS;wBACnB,CAAC,CAAC;4BACE,MAAM,EAAE,EAAE,CAAC,UAAU;4BACrB,IAAI,EAAE,EAAE,CAAC,IAAI;4BACb,cAAc,EAAE,CAAC;4BACjB,gBAAgB,EAAE,CAAC;4BACnB,mBAAmB,EAAE,CAAC;4BACtB,wBAAwB,EAAE,CAAC;4BAC3B,aAAa,EAAE,CAAC;yBACjB;wBACH,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,CAAA;oBAEpB,IAAI,CAAC,cAAc,IAAI,CAAC,CAAA;oBACxB,IAAI,CAAC,gBAAgB,IAAI,EAAE,CAAC,gBAAgB,CAAA;oBAC5C,IAAI,EAAE,CAAC,UAAU;wBAAE,IAAI,CAAC,mBAAmB,IAAI,CAAC,CAAA;oBAChD,IAAI,mBAAmB,CAAC,EAAE,CAAC;wBAAE,IAAI,CAAC,wBAAwB,IAAI,CAAC,CAAA;oBAC/D,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,UAAU,EAAE,IAAI,CAAC,CAAA;gBAClC,CAAC;gBAED,MAAM,OAAO,GAAG,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;qBAClC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;oBAChB,GAAG,MAAM;oBACT,aAAa,EACX,MAAM,CAAC,cAAc,KAAK,CAAC;wBACzB,CAAC,CAAC,CAAC;wBACH,CAAC,CAAC,CAAC,MAAM,CAAC,gBAAgB,GAAG,MAAM,CAAC,mBAAmB,CAAC,GAAG,MAAM,CAAC,cAAc;iBACrF,CAAC,CAAC;qBACF,IAAI,CACH,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACP,CAAC,CAAC,aAAa,GAAG,CAAC,CAAC,aAAa,IAAI,CAAC,CAAC,wBAAwB,GAAG,CAAC,CAAC,wBAAwB,CAC/F,CAAA;gBAEH,OAAO;oBACL,OAAO;oBACP,iBAAiB,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,GAAG,GAAG,MAAM,CAAC,gBAAgB,EAAE,CAAC,CAAC;oBACpF,oBAAoB,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,GAAG,GAAG,MAAM,CAAC,mBAAmB,EAAE,CAAC,CAAC;oBAC1F,kBAAkB,EAAE,OAAO,CAAC,MAAM,CAChC,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,iBAAiB,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;wBAChD,MAAM,CAAC,gBAAgB,GAAG,MAAM,CAAC,mBAAmB,GAAG,CAAC,CAC3D;oBACD,eAAe,EAAE,sBAAsB;iBACxC,CAAA;YACH,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CACf,IAAI,kBAAkB,CAAC,EAAE,QAAQ,EAAE,sBAAsB,EAAE,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC;SAC9F,CAAC,CAAA;IACJ,CAAC,CAAC;IACJ,KAAK,EAAE,CAAC,GAAG,EAAE,EAAE;QACb,IAAI,GAAG,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,CAAC,CAAA;QAC/C,MAAM,cAAc,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,GAAG,GAAG,MAAM,CAAC,cAAc,EAAE,CAAC,CAAC,CAAA;QAC1F,IAAI,cAAc,KAAK,CAAC;YAAE,OAAO,CAAC,CAAA;QAClC,MAAM,KAAK,GACT,CAAC,GAAG,CAAC,iBAAiB,GAAG,GAAG,CAAC,oBAAoB,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,cAAc,CAAC,CAAA;QAClF,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,CAAA;IACnC,CAAC;IACD,QAAQ,EAAE,CAAC,GAAG,EAA6B,EAAE,CAAC;QAC5C,GAAG,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YACzC,QAAQ,EAAE,OAAgB;YAC1B,OAAO,EAAE,oCAAoC,MAAM,CAAC,MAAM,EAAE;YAC5D,QAAQ,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE;YAC/B,IAAI,EAAE;gBACJ,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,gBAAgB,EAAE,MAAM,CAAC,gBAAgB;gBACzC,mBAAmB,EAAE,MAAM,CAAC,mBAAmB;aAChD;SACF,CAAC,CAAC;QACH,GAAG,GAAG,CAAC,OAAO;aACX,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,gBAAgB,GAAG,MAAM,CAAC,mBAAmB,GAAG,CAAC,CAAC;aAC5E,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;aACZ,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YAChB,QAAQ,EAAE,MAAe;YACzB,OAAO,EAAE,qBAAqB,MAAM,CAAC,MAAM,KAAK,CAAC,MAAM,CAAC,aAAa,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,MAAM,CAAC,wBAAwB,eAAe;YAC3I,QAAQ,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE;YAC/B,IAAI,EAAE;gBACJ,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,aAAa,EAAE,MAAM,CAAC,aAAa;gBACnC,gBAAgB,EAAE,MAAM,CAAC,gBAAgB;gBACzC,mBAAmB,EAAE,MAAM,CAAC,mBAAmB;gBAC/C,wBAAwB,EAAE,MAAM,CAAC,wBAAwB;gBACzD,eAAe,EAAE,GAAG,CAAC,eAAe;aACrC;SACF,CAAC,CAAC;KACN;CACF,CAAA;AAED,MAAM,mBAAmB,GAAG,CAC1B,EAMC,EACQ,EAAE,CACX,CAAC,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,gBAAgB,GAAG,CAAC,CAAC;IAC1C,CAAC,EAAE,CAAC,oBAAoB,GAAG,CAAC;QAC1B,EAAE,CAAC,gBAAgB;QACnB,CAAC,EAAE,CAAC,cAAc,EAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,CAAC,CAAA"}

package/dist/signals/rs-ld-02-lifetimes.d.ts

@@ -0,0 +1,30 @@
+import { type DistributionalSummary, type Signal } from "@skastr0/pulsar-core/signal";
+import { Schema } from "effect";
+import { RustProjectTag } from "../project.js";
+declare const RsLd02Config: Schema.Struct<{
+    exclude_globs: Schema.Array$<typeof Schema.String>;
+    max_lifetime_complexity: typeof Schema.Number;
+    top_n_diagnostics: typeof Schema.Number;
+}>;
+type RsLd02Config = typeof RsLd02Config.Type;
+interface LifetimeComplexityFact {
+    readonly file: string;
+    readonly module: string;
+    readonly name: string;
+    readonly line: number;
+    readonly lifetimeParams: number;
+    readonly lifetimeBounds: number;
+    readonly inputPositions: number;
+    readonly outputPositions: number;
+    readonly constraintPositions: number;
+    readonly complexity: number;
+}
+interface RsLd02Output {
+    readonly functions: ReadonlyArray<LifetimeComplexityFact>;
+    readonly byFile: ReadonlyMap<string, DistributionalSummary>;
+    readonly overThresholdCount: number;
+    readonly totalFunctions: number;
+}
+export declare const RsLd02: Signal<RsLd02Config, RsLd02Output, RustProjectTag>;
+export {};
+//# sourceMappingURL=rs-ld-02-lifetimes.d.ts.map

package/dist/signals/rs-ld-02-lifetimes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rs-ld-02-lifetimes.d.ts","sourceRoot":"","sources":["../../src/signals/rs-ld-02-lifetimes.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,qBAAqB,EAC1B,KAAK,MAAM,EAGZ,MAAM,6BAA6B,CAAA;AACpC,OAAO,EAAU,MAAM,EAAE,MAAM,QAAQ,CAAA;AAEvC,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AAI9C,QAAA,MAAM,YAAY;;;;EAIhB,CAAA;AACF,KAAK,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;AAE5C,UAAU,sBAAsB;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;IAC/B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;IAC/B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;IAC/B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAA;IAChC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAA;IACpC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;CAC5B;AAED,UAAU,YAAY;IACpB,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,sBAAsB,CAAC,CAAA;IACzD,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAA;IAC3D,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAA;IACnC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;CAChC;AAED,eAAO,MAAM,MAAM,EAAE,MAAM,CAAC,YAAY,EAAE,YAAY,EAAE,cAAc,CA0ErE,CAAA"}

package/dist/signals/rs-ld-02-lifetimes.js

@@ -0,0 +1,79 @@
+import { SignalComputeError, summarize, } from "@skastr0/pulsar-core/signal";
+import { Effect, Schema } from "effect";
+import { collectRustProjectFacts } from "../rust-analysis.js";
+import { RustProjectTag } from "../project.js";
+import { isExcluded } from "./shared-globs.js";
+import { scoreDoubleWeightedThresholdRatio } from "./shared-threshold-score.js";
+const RsLd02Config = Schema.Struct({
+    exclude_globs: Schema.Array(Schema.String),
+    max_lifetime_complexity: Schema.Number,
+    top_n_diagnostics: Schema.Number,
+});
+export const RsLd02 = {
+    id: "RS-LD-02-lifetime-complexity",
+    title: "Lifetime complexity",
+    aliases: ["RS-LD-02"],
+    tier: 1,
+    category: "legibility-decay",
+    kind: "legibility",
+    configSchema: RsLd02Config,
+    defaultConfig: {
+        exclude_globs: ["**/target/**", "**/tests/**", "**/examples/**", "**/benches/**"],
+        max_lifetime_complexity: 4,
+        top_n_diagnostics: 10,
+    },
+    inputs: [],
+    compute: (config) => Effect.gen(function* () {
+        const project = yield* RustProjectTag;
+        return yield* Effect.tryPromise({
+            try: async () => {
+                const facts = await collectRustProjectFacts(project);
+                const functions = facts.functions
+                    .filter((fn) => !isExcluded(fn.file, config.exclude_globs))
+                    .map((fn) => ({
+                    file: fn.file,
+                    module: fn.modulePath,
+                    name: fn.name,
+                    line: fn.line,
+                    lifetimeParams: fn.lifetimeParamCount,
+                    lifetimeBounds: fn.lifetimeBoundCount,
+                    inputPositions: fn.lifetimeInputCount,
+                    outputPositions: fn.lifetimeOutputCount,
+                    constraintPositions: fn.lifetimeConstraintCount,
+                    complexity: fn.lifetimeParamCount +
+                        fn.lifetimeBoundCount +
+                        fn.lifetimeInputCount +
+                        fn.lifetimeOutputCount +
+                        fn.lifetimeConstraintCount,
+                }))
+                    .filter((fn) => fn.complexity > 0)
+                    .sort((a, b) => b.complexity - a.complexity || a.file.localeCompare(b.file));
+                const byFileValues = new Map();
+                for (const fn of functions) {
+                    const bucket = byFileValues.get(fn.file) ?? [];
+                    bucket.push(fn.complexity);
+                    byFileValues.set(fn.file, bucket);
+                }
+                const byFile = new Map();
+                for (const [file, values] of byFileValues) {
+                    byFile.set(file, summarize(values));
+                }
+                return {
+                    functions,
+                    byFile,
+                    overThresholdCount: functions.filter((fn) => fn.complexity > config.max_lifetime_complexity).length,
+                    totalFunctions: functions.length,
+                };
+            },
+            catch: (cause) => new SignalComputeError({ signalId: "RS-LD-02-lifetime-complexity", message: String(cause), cause }),
+        });
+    }),
+    score: (out) => scoreDoubleWeightedThresholdRatio(out.overThresholdCount, out.totalFunctions),
+    diagnose: (out) => out.functions.slice(0, 10).map((fn) => ({
+        severity: fn.complexity >= 5 ? "warn" : "info",
+        message: `Lifetime complexity in ${fn.name}: ${fn.complexity} (params:${fn.lifetimeParams}, bounds:${fn.lifetimeBounds}, in:${fn.inputPositions}, out:${fn.outputPositions})`,
+        location: { file: fn.file, line: fn.line },
+        data: { ...fn },
+    })),
+};
+//# sourceMappingURL=rs-ld-02-lifetimes.js.map

package/dist/signals/rs-ld-02-lifetimes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rs-ld-02-lifetimes.js","sourceRoot":"","sources":["../../src/signals/rs-ld-02-lifetimes.ts"],"names":[],"mappings":"AAAA,OAAO,EAIL,kBAAkB,EAClB,SAAS,GACV,MAAM,6BAA6B,CAAA;AACpC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,EAAE,uBAAuB,EAAE,MAAM,qBAAqB,CAAA;AAC7D,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAA;AAC9C,OAAO,EAAE,iCAAiC,EAAE,MAAM,6BAA6B,CAAA;AAE/E,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC;IACjC,aAAa,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IAC1C,uBAAuB,EAAE,MAAM,CAAC,MAAM;IACtC,iBAAiB,EAAE,MAAM,CAAC,MAAM;CACjC,CAAC,CAAA;AAuBF,MAAM,CAAC,MAAM,MAAM,GAAuD;IACxE,EAAE,EAAE,8BAA8B;IAClC,KAAK,EAAE,qBAAqB;IAC5B,OAAO,EAAE,CAAC,UAAU,CAAC;IACrB,IAAI,EAAE,CAAC;IACP,QAAQ,EAAE,kBAAkB;IAC5B,IAAI,EAAE,YAAY;IAClB,YAAY,EAAE,YAAY;IAC1B,aAAa,EAAE;QACb,aAAa,EAAE,CAAC,cAAc,EAAE,aAAa,EAAE,gBAAgB,EAAE,eAAe,CAAC;QACjF,uBAAuB,EAAE,CAAC;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,cAAc,CAAA;QACrC,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC;YAC9B,GAAG,EAAE,KAAK,IAA2B,EAAE;gBACrC,MAAM,KAAK,GAAG,MAAM,uBAAuB,CAAC,OAAO,CAAC,CAAA;gBACpD,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS;qBAC9B,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC;qBAC1D,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;oBACZ,IAAI,EAAE,EAAE,CAAC,IAAI;oBACb,MAAM,EAAE,EAAE,CAAC,UAAU;oBACrB,IAAI,EAAE,EAAE,CAAC,IAAI;oBACb,IAAI,EAAE,EAAE,CAAC,IAAI;oBACb,cAAc,EAAE,EAAE,CAAC,kBAAkB;oBACrC,cAAc,EAAE,EAAE,CAAC,kBAAkB;oBACrC,cAAc,EAAE,EAAE,CAAC,kBAAkB;oBACrC,eAAe,EAAE,EAAE,CAAC,mBAAmB;oBACvC,mBAAmB,EAAE,EAAE,CAAC,uBAAuB;oBAC/C,UAAU,EACR,EAAE,CAAC,kBAAkB;wBACrB,EAAE,CAAC,kBAAkB;wBACrB,EAAE,CAAC,kBAAkB;wBACrB,EAAE,CAAC,mBAAmB;wBACtB,EAAE,CAAC,uBAAuB;iBAC7B,CAAC,CAAC;qBACF,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,UAAU,GAAG,CAAC,CAAC;qBACjC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;gBAE9E,MAAM,YAAY,GAAG,IAAI,GAAG,EAAyB,CAAA;gBACrD,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;oBAC3B,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAA;oBAC9C,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,CAAA;oBAC1B,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;gBACnC,CAAC;gBACD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAiC,CAAA;gBACvD,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;oBAC1C,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,CAAA;gBACrC,CAAC;gBAED,OAAO;oBACL,SAAS;oBACT,MAAM;oBACN,kBAAkB,EAAE,SAAS,CAAC,MAAM,CAClC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,UAAU,GAAG,MAAM,CAAC,uBAAuB,CACvD,CAAC,MAAM;oBACR,cAAc,EAAE,SAAS,CAAC,MAAM;iBACjC,CAAA;YACH,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CACf,IAAI,kBAAkB,CAAC,EAAE,QAAQ,EAAE,8BAA8B,EAAE,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC;SACtG,CAAC,CAAA;IACJ,CAAC,CAAC;IACJ,KAAK,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,iCAAiC,CAAC,GAAG,CAAC,kBAAkB,EAAE,GAAG,CAAC,cAAc,CAAC;IAC7F,QAAQ,EAAE,CAAC,GAAG,EAA6B,EAAE,CAC3C,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACtC,QAAQ,EAAE,EAAE,CAAC,UAAU,IAAI,CAAC,CAAC,CAAC,CAAE,MAAgB,CAAC,CAAC,CAAE,MAAgB;QACpE,OAAO,EAAE,0BAA0B,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,YAAY,EAAE,CAAC,cAAc,YAAY,EAAE,CAAC,cAAc,QAAQ,EAAE,CAAC,cAAc,SAAS,EAAE,CAAC,eAAe,GAAG;QAC7K,QAAQ,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE;QAC1C,IAAI,EAAE,EAAE,GAAG,EAAE,EAAE;KAChB,CAAC,CAAC;CACN,CAAA"}

package/dist/signals/rs-ld-03-match-catch-all.d.ts

@@ -0,0 +1,26 @@
+import { type Signal } from "@skastr0/pulsar-core/signal";
+import { Schema } from "effect";
+import { RustProjectTag } from "../project.js";
+declare const RsLd03Config: Schema.Struct<{
+    exclude_globs: Schema.Array$<typeof Schema.String>;
+    core_logic_globs: Schema.Array$<typeof Schema.String>;
+    top_n_diagnostics: typeof Schema.Number;
+}>;
+type RsLd03Config = typeof RsLd03Config.Type;
+interface MatchCatchAllSite {
+    readonly file: string;
+    readonly module: string;
+    readonly functionName: string;
+    readonly line: number;
+    readonly armCount: number;
+    readonly catchAllArmCount: number;
+}
+interface RsLd03Output {
+    readonly matchSites: ReadonlyArray<MatchCatchAllSite>;
+    readonly totalMatches: number;
+    readonly matchesWithCatchAll: number;
+    readonly totalCatchAllArms: number;
+}
+export declare const RsLd03: Signal<RsLd03Config, RsLd03Output, RustProjectTag>;
+export {};
+//# sourceMappingURL=rs-ld-03-match-catch-all.d.ts.map

package/dist/signals/rs-ld-03-match-catch-all.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rs-ld-03-match-catch-all.d.ts","sourceRoot":"","sources":["../../src/signals/rs-ld-03-match-catch-all.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,MAAM,EAEZ,MAAM,6BAA6B,CAAA;AACpC,OAAO,EAAU,MAAM,EAAE,MAAM,QAAQ,CAAA;AAEvC,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AAG9C,QAAA,MAAM,YAAY;;;;EAIhB,CAAA;AACF,KAAK,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;AAE5C,UAAU,iBAAiB;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAA;CAClC;AAED,UAAU,YAAY;IACpB,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,iBAAiB,CAAC,CAAA;IACrD,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAA;IACpC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAA;CACnC;AAED,eAAO,MAAM,MAAM,EAAE,MAAM,CAAC,YAAY,EAAE,YAAY,EAAE,cAAc,CA8DrE,CAAA"}

package/dist/signals/rs-ld-03-match-catch-all.js

@@ -0,0 +1,68 @@
+import { SignalComputeError, } from "@skastr0/pulsar-core/signal";
+import { Effect, Schema } from "effect";
+import { collectRustProjectFacts } from "../rust-analysis.js";
+import { RustProjectTag } from "../project.js";
+import { isExcluded, matchesAnyGlob } from "./shared-globs.js";
+const RsLd03Config = Schema.Struct({
+    exclude_globs: Schema.Array(Schema.String),
+    core_logic_globs: Schema.Array(Schema.String),
+    top_n_diagnostics: Schema.Number,
+});
+export const RsLd03 = {
+    id: "RS-LD-03-match-catch-all",
+    title: "Match catch-all usage",
+    aliases: ["RS-LD-03"],
+    tier: 1,
+    category: "legibility-decay",
+    kind: "legibility",
+    configSchema: RsLd03Config,
+    defaultConfig: {
+        exclude_globs: ["**/target/**", "**/tests/**", "**/examples/**", "**/benches/**"],
+        core_logic_globs: [],
+        top_n_diagnostics: 10,
+    },
+    inputs: [],
+    compute: (config) => Effect.gen(function* () {
+        const project = yield* RustProjectTag;
+        return yield* Effect.tryPromise({
+            try: async () => {
+                const facts = await collectRustProjectFacts(project);
+                const matchSites = facts.matches
+                    .filter((site) => !isExcluded(site.file, config.exclude_globs))
+                    .filter((site) => config.core_logic_globs.length === 0 ||
+                    matchesAnyGlob(site.file, config.core_logic_globs))
+                    .map((site) => ({
+                    file: site.file,
+                    module: site.modulePath,
+                    functionName: site.functionName,
+                    line: site.line,
+                    armCount: site.armCount,
+                    catchAllArmCount: site.catchAllArmCount,
+                }))
+                    .sort((a, b) => b.catchAllArmCount - a.catchAllArmCount || a.file.localeCompare(b.file));
+                return {
+                    matchSites,
+                    totalMatches: matchSites.length,
+                    matchesWithCatchAll: matchSites.filter((site) => site.catchAllArmCount > 0).length,
+                    totalCatchAllArms: matchSites.reduce((sum, site) => sum + site.catchAllArmCount, 0),
+                };
+            },
+            catch: (cause) => new SignalComputeError({ signalId: "RS-LD-03-match-catch-all", message: String(cause), cause }),
+        });
+    }),
+    score: (out) => {
+        if (out.totalMatches === 0)
+            return 1;
+        return Math.max(0, 1 - (out.matchesWithCatchAll / out.totalMatches) * 2);
+    },
+    diagnose: (out) => out.matchSites
+        .filter((site) => site.catchAllArmCount > 0)
+        .slice(0, 10)
+        .map((site) => ({
+        severity: "warn",
+        message: `Match in ${site.functionName} uses ${site.catchAllArmCount} catch-all arm(s)`,
+        location: { file: site.file, line: site.line },
+        data: { ...site },
+    })),
+};
+//# sourceMappingURL=rs-ld-03-match-catch-all.js.map

package/dist/signals/rs-ld-03-match-catch-all.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rs-ld-03-match-catch-all.js","sourceRoot":"","sources":["../../src/signals/rs-ld-03-match-catch-all.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,kBAAkB,GACnB,MAAM,6BAA6B,CAAA;AACpC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,EAAE,uBAAuB,EAAE,MAAM,qBAAqB,CAAA;AAC7D,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AAC9C,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAA;AAE9D,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC;IACjC,aAAa,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IAC1C,gBAAgB,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IAC7C,iBAAiB,EAAE,MAAM,CAAC,MAAM;CACjC,CAAC,CAAA;AAmBF,MAAM,CAAC,MAAM,MAAM,GAAuD;IACxE,EAAE,EAAE,0BAA0B;IAC9B,KAAK,EAAE,uBAAuB;IAC9B,OAAO,EAAE,CAAC,UAAU,CAAC;IACrB,IAAI,EAAE,CAAC;IACP,QAAQ,EAAE,kBAAkB;IAC5B,IAAI,EAAE,YAAY;IAClB,YAAY,EAAE,YAAY;IAC1B,aAAa,EAAE;QACb,aAAa,EAAE,CAAC,cAAc,EAAE,aAAa,EAAE,gBAAgB,EAAE,eAAe,CAAC;QACjF,gBAAgB,EAAE,EAAE;QACpB,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,cAAc,CAAA;QACrC,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC;YAC9B,GAAG,EAAE,KAAK,IAA2B,EAAE;gBACrC,MAAM,KAAK,GAAG,MAAM,uBAAuB,CAAC,OAAO,CAAC,CAAA;gBACpD,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO;qBAC7B,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC;qBAC9D,MAAM,CACL,CAAC,IAAI,EAAE,EAAE,CACP,MAAM,CAAC,gBAAgB,CAAC,MAAM,KAAK,CAAC;oBACpC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,gBAAgB,CAAC,CACrD;qBACA,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;oBACd,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,MAAM,EAAE,IAAI,CAAC,UAAU;oBACvB,YAAY,EAAE,IAAI,CAAC,YAAY;oBAC/B,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,QAAQ,EAAE,IAAI,CAAC,QAAQ;oBACvB,gBAAgB,EAAE,IAAI,CAAC,gBAAgB;iBACxC,CAAC,CAAC;qBACF,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,gBAAgB,GAAG,CAAC,CAAC,gBAAgB,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;gBAE1F,OAAO;oBACL,UAAU;oBACV,YAAY,EAAE,UAAU,CAAC,MAAM;oBAC/B,mBAAmB,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,gBAAgB,GAAG,CAAC,CAAC,CAAC,MAAM;oBAClF,iBAAiB,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,GAAG,GAAG,IAAI,CAAC,gBAAgB,EAAE,CAAC,CAAC;iBACpF,CAAA;YACH,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CACf,IAAI,kBAAkB,CAAC,EAAE,QAAQ,EAAE,0BAA0B,EAAE,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC;SAClG,CAAC,CAAA;IACJ,CAAC,CAAC;IACJ,KAAK,EAAE,CAAC,GAAG,EAAE,EAAE;QACb,IAAI,GAAG,CAAC,YAAY,KAAK,CAAC;YAAE,OAAO,CAAC,CAAA;QACpC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,mBAAmB,GAAG,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAA;IAC1E,CAAC;IACD,QAAQ,EAAE,CAAC,GAAG,EAA6B,EAAE,CAC3C,GAAG,CAAC,UAAU;SACX,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,gBAAgB,GAAG,CAAC,CAAC;SAC3C,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;SACZ,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACd,QAAQ,EAAE,MAAe;QACzB,OAAO,EAAE,YAAY,IAAI,CAAC,YAAY,SAAS,IAAI,CAAC,gBAAgB,mBAAmB;QACvF,QAAQ,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE;QAC9C,IAAI,EAAE,EAAE,GAAG,IAAI,EAAE;KAClB,CAAC,CAAC;CACR,CAAA"}

package/dist/signals/rs-ld-04-error-granularity.d.ts

@@ -0,0 +1,25 @@
+import { type Signal } from "@skastr0/pulsar-core/signal";
+import { Schema } from "effect";
+import { RustProjectTag } from "../project.js";
+declare const RsLd04Config: Schema.Struct<{
+    exclude_globs: Schema.Array$<typeof Schema.String>;
+    top_n_diagnostics: typeof Schema.Number;
+}>;
+type RsLd04Config = typeof RsLd04Config.Type;
+interface BoundaryErrorSurface {
+    readonly file: string;
+    readonly module: string;
+    readonly name: string;
+    readonly line: number;
+    readonly errorType: string;
+    readonly classification: "granular" | "collapsed";
+}
+interface RsLd04Output {
+    readonly boundaryFunctions: ReadonlyArray<BoundaryErrorSurface>;
+    readonly granularCount: number;
+    readonly collapsedCount: number;
+    readonly totalBoundaryResults: number;
+}
+export declare const RsLd04: Signal<RsLd04Config, RsLd04Output, RustProjectTag>;
+export {};
+//# sourceMappingURL=rs-ld-04-error-granularity.d.ts.map

package/dist/signals/rs-ld-04-error-granularity.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rs-ld-04-error-granularity.d.ts","sourceRoot":"","sources":["../../src/signals/rs-ld-04-error-granularity.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,MAAM,EAEZ,MAAM,6BAA6B,CAAA;AACpC,OAAO,EAAU,MAAM,EAAE,MAAM,QAAQ,CAAA;AAEvC,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AAG9C,QAAA,MAAM,YAAY;;;EAGhB,CAAA;AACF,KAAK,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;AAE5C,UAAU,oBAAoB;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,cAAc,EAAE,UAAU,GAAG,WAAW,CAAA;CAClD;AAED,UAAU,YAAY;IACpB,QAAQ,CAAC,iBAAiB,EAAE,aAAa,CAAC,oBAAoB,CAAC,CAAA;IAC/D,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAA;IAC9B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;IAC/B,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAA;CACtC;AAED,eAAO,MAAM,MAAM,EAAE,MAAM,CAAC,YAAY,EAAE,YAAY,EAAE,cAAc,CA0DrE,CAAA"}