@skastr0/pulsar-rs-pack 0.1.0

package/dist/signals/rs-ab-02-trait-object-depth.js

@@ -0,0 +1,157 @@
+import { scoreThresholdViolationShare, SignalComputeError, } from "@skastr0/pulsar-core/signal";
+import { Effect, Schema } from "effect";
+import { RustProjectTag } from "../project.js";
+import { parseRustFile } from "../syn-walker.js";
+import { DEFAULT_RUST_EXCLUDE_GLOBS, firstNamedChild, modulePathForAncestors, namedChildrenOf, resolveRustFileScope, walkAttributedNodes, } from "./shared-rust-ast.js";
+import { isExcluded } from "./shared-globs.js";
+const RsAb02Config = Schema.Struct({
+    exclude_globs: Schema.Array(Schema.String),
+    max_chain_depth: Schema.Number,
+    top_n_diagnostics: Schema.Number,
+});
+export const RsAb02 = {
+    id: "RS-AB-02-trait-object-depth",
+    title: "Trait object depth",
+    aliases: ["RS-AB-02"],
+    tier: 1,
+    category: "abstraction-bloat",
+    kind: "legibility",
+    configSchema: RsAb02Config,
+    defaultConfig: {
+        exclude_globs: [...DEFAULT_RUST_EXCLUDE_GLOBS],
+        max_chain_depth: 1,
+        top_n_diagnostics: 10,
+    },
+    inputs: [],
+    compute: (config) => Effect.gen(function* () {
+        const project = yield* RustProjectTag;
+        return yield* Effect.tryPromise({
+            try: async () => {
+                const dynFns = new Map();
+                const fnKeysByName = new Map();
+                for (const file of project.sourceFiles) {
+                    if (isExcluded(file, config.exclude_globs))
+                        continue;
+                    const scope = resolveRustFileScope(project, file);
+                    const tree = await parseRustFile(file);
+                    walkAttributedNodes(tree.rootNode, ({ node, ancestors, testGated }) => {
+                        if (testGated || node.type !== "function_item")
+                            return;
+                        const name = firstNamedChild(node, "identifier")?.text;
+                        const returnType = detectReturnType(node);
+                        if (name === undefined || returnType === undefined || !returnType.includes("dyn "))
+                            return;
+                        const { modulePath } = modulePathForAncestors(scope, ancestors);
+                        const key = `${modulePath}::${name}`;
+                        dynFns.set(key, {
+                            file,
+                            module: modulePath,
+                            name,
+                            line: node.startPosition.row + 1,
+                            returnType,
+                            calleeNames: collectCalledFunctionNames(node),
+                        });
+                        const bucket = fnKeysByName.get(name) ?? [];
+                        bucket.push(key);
+                        fnKeysByName.set(name, bucket);
+                    });
+                }
+                const memo = new Map();
+                const entries = [...dynFns.entries()]
+                    .map(([key, fn]) => ({
+                    file: fn.file,
+                    module: fn.module,
+                    name: fn.name,
+                    line: fn.line,
+                    returnType: fn.returnType,
+                    chainDepth: measureChainDepth(key, dynFns, fnKeysByName, memo, new Set()),
+                    calleeNames: fn.calleeNames,
+                }))
+                    .sort((left, right) => right.chainDepth - left.chainDepth || left.file.localeCompare(right.file));
+                return {
+                    functions: entries,
+                    overThreshold: entries.filter((entry) => entry.chainDepth > config.max_chain_depth),
+                    analysisMode: "local-dyn-return-call-graph",
+                };
+            },
+            catch: (cause) => new SignalComputeError({ signalId: "RS-AB-02-trait-object-depth", message: String(cause), cause }),
+        });
+    }),
+    score: (out) => {
+        return scoreThresholdViolationShare(out.functions.length, out.overThreshold.length);
+    },
+    diagnose: (out) => out.overThreshold.slice(0, 10).map((entry) => ({
+        severity: "warn",
+        message: `Trait-object chain depth ${entry.chainDepth} in ${entry.name}`,
+        location: { file: entry.file, line: entry.line },
+        data: {
+            module: entry.module,
+            name: entry.name,
+            returnType: entry.returnType,
+            calleeNames: entry.calleeNames,
+            analysisMode: out.analysisMode,
+        },
+    })),
+};
+const detectReturnType = (node) => {
+    const children = namedChildrenOf(node);
+    const parametersIndex = children.findIndex((child) => child.type === "parameters");
+    if (parametersIndex === -1)
+        return undefined;
+    return children
+        .slice(parametersIndex + 1)
+        .find((child) => child.type !== "where_clause" && child.type !== "block")?.text;
+};
+const collectCalledFunctionNames = (node) => {
+    const names = new Set();
+    const walk = (current) => {
+        if (current.type === "call_expression") {
+            const callee = namedChildrenOf(current)[0];
+            const name = callee === undefined ? undefined : callName(callee);
+            if (name !== undefined)
+                names.add(name);
+        }
+        for (const child of namedChildrenOf(current)) {
+            walk(child);
+        }
+    };
+    walk(node);
+    return [...names];
+};
+const callName = (node) => {
+    switch (node.type) {
+        case "identifier":
+            return node.text;
+        case "scoped_identifier":
+            return node.text.split("::").at(-1);
+        default:
+            return undefined;
+    }
+};
+const measureChainDepth = (key, dynFns, fnKeysByName, memo, active) => {
+    const cached = memo.get(key);
+    if (cached !== undefined)
+        return cached;
+    if (active.has(key))
+        return 1;
+    active.add(key);
+    const current = dynFns.get(key);
+    if (current === undefined)
+        return 1;
+    let maxDepth = 1;
+    for (const calleeName of current.calleeNames) {
+        const sameModuleKey = `${current.module}::${calleeName}`;
+        const candidateKeys = dynFns.has(sameModuleKey)
+            ? [sameModuleKey]
+            : (fnKeysByName.get(calleeName) ?? []).length === 1
+                ? [fnKeysByName.get(calleeName)[0]]
+                : [];
+        for (const candidateKey of candidateKeys) {
+            maxDepth = Math.max(maxDepth, 1 + measureChainDepth(candidateKey, dynFns, fnKeysByName, memo, active));
+        }
+    }
+    active.delete(key);
+    memo.set(key, maxDepth);
+    return maxDepth;
+};
+//# sourceMappingURL=rs-ab-02-trait-object-depth.js.map

package/dist/signals/rs-ab-02-trait-object-depth.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rs-ab-02-trait-object-depth.js","sourceRoot":"","sources":["../../src/signals/rs-ab-02-trait-object-depth.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,4BAA4B,EAE5B,kBAAkB,GACnB,MAAM,6BAA6B,CAAA;AACpC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AAC9C,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAA;AAChD,OAAO,EACL,0BAA0B,EAC1B,eAAe,EACf,sBAAsB,EACtB,eAAe,EACf,oBAAoB,EACpB,mBAAmB,GACpB,MAAM,sBAAsB,CAAA;AAC7B,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,eAAe,EAAE,MAAM,CAAC,MAAM;IAC9B,iBAAiB,EAAE,MAAM,CAAC,MAAM;CACjC,CAAC,CAAA;AAmBF,MAAM,CAAC,MAAM,MAAM,GAAuD;IACxE,EAAE,EAAE,6BAA6B;IACjC,KAAK,EAAE,oBAAoB;IAC3B,OAAO,EAAE,CAAC,UAAU,CAAC;IACrB,IAAI,EAAE,CAAC;IACP,QAAQ,EAAE,mBAAmB;IAC7B,IAAI,EAAE,YAAY;IAClB,YAAY,EAAE,YAAY;IAC1B,aAAa,EAAE;QACb,aAAa,EAAE,CAAC,GAAG,0BAA0B,CAAC;QAC9C,eAAe,EAAE,CAAC;QAClB,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,MAAM,GAAG,IAAI,GAAG,EAUnB,CAAA;gBACH,MAAM,YAAY,GAAG,IAAI,GAAG,EAAyB,CAAA;gBAErD,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;oBACvC,IAAI,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,aAAa,CAAC;wBAAE,SAAQ;oBACpD,MAAM,KAAK,GAAG,oBAAoB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAA;oBACjD,MAAM,IAAI,GAAG,MAAM,aAAa,CAAC,IAAI,CAAC,CAAA;oBACtC,mBAAmB,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,EAAE,EAAE;wBACpE,IAAI,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe;4BAAE,OAAM;wBACtD,MAAM,IAAI,GAAG,eAAe,CAAC,IAAI,EAAE,YAAY,CAAC,EAAE,IAAI,CAAA;wBACtD,MAAM,UAAU,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAA;wBACzC,IAAI,IAAI,KAAK,SAAS,IAAI,UAAU,KAAK,SAAS,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC;4BAAE,OAAM;wBAC1F,MAAM,EAAE,UAAU,EAAE,GAAG,sBAAsB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAA;wBAC/D,MAAM,GAAG,GAAG,GAAG,UAAU,KAAK,IAAI,EAAE,CAAA;wBACpC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE;4BACd,IAAI;4BACJ,MAAM,EAAE,UAAU;4BAClB,IAAI;4BACJ,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC;4BAChC,UAAU;4BACV,WAAW,EAAE,0BAA0B,CAAC,IAAI,CAAC;yBAC9C,CAAC,CAAA;wBACF,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAA;wBAC3C,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;wBAChB,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;oBAChC,CAAC,CAAC,CAAA;gBACJ,CAAC;gBAED,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAA;gBACtC,MAAM,OAAO,GAAG,CAAC,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC;qBAClC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;oBACnB,IAAI,EAAE,EAAE,CAAC,IAAI;oBACb,MAAM,EAAE,EAAE,CAAC,MAAM;oBACjB,IAAI,EAAE,EAAE,CAAC,IAAI;oBACb,IAAI,EAAE,EAAE,CAAC,IAAI;oBACb,UAAU,EAAE,EAAE,CAAC,UAAU;oBACzB,UAAU,EAAE,iBAAiB,CAAC,GAAG,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,GAAG,EAAE,CAAC;oBACzE,WAAW,EAAE,EAAE,CAAC,WAAW;iBAC5B,CAAC,CAAC;qBACF,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,GAAG,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA;gBAEnG,OAAO;oBACL,SAAS,EAAE,OAAO;oBAClB,aAAa,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,GAAG,MAAM,CAAC,eAAe,CAAC;oBACnF,YAAY,EAAE,6BAA6B;iBAC5C,CAAA;YACH,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CACf,IAAI,kBAAkB,CAAC,EAAE,QAAQ,EAAE,6BAA6B,EAAE,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC;SACrG,CAAC,CAAA;IACJ,CAAC,CAAC;IACJ,KAAK,EAAE,CAAC,GAAG,EAAE,EAAE;QACb,OAAO,4BAA4B,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,EAAE,GAAG,CAAC,aAAa,CAAC,MAAM,CAAC,CAAA;IACrF,CAAC;IACD,QAAQ,EAAE,CAAC,GAAG,EAA6B,EAAE,CAC3C,GAAG,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC7C,QAAQ,EAAE,MAAe;QACzB,OAAO,EAAE,4BAA4B,KAAK,CAAC,UAAU,OAAO,KAAK,CAAC,IAAI,EAAE;QACxE,QAAQ,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE;QAChD,IAAI,EAAE;YACJ,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,WAAW,EAAE,KAAK,CAAC,WAAW;YAC9B,YAAY,EAAE,GAAG,CAAC,YAAY;SAC/B;KACF,CAAC,CAAC;CACN,CAAA;AAED,MAAM,gBAAgB,GAAG,CAAC,IAAgD,EAAsB,EAAE;IAChG,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,CAAA;IACtC,MAAM,eAAe,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,YAAY,CAAC,CAAA;IAClF,IAAI,eAAe,KAAK,CAAC,CAAC;QAAE,OAAO,SAAS,CAAA;IAC5C,OAAO,QAAQ;SACZ,KAAK,CAAC,eAAe,GAAG,CAAC,CAAC;SAC1B,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,cAAc,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,EAAE,IAAI,CAAA;AACnF,CAAC,CAAA;AAED,MAAM,0BAA0B,GAAG,CAAC,IAAgD,EAAyB,EAAE;IAC7G,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAA;IAC/B,MAAM,IAAI,GAAG,CAAC,OAAmD,EAAQ,EAAE;QACzE,IAAI,OAAO,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;YACvC,MAAM,MAAM,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAA;YAC1C,MAAM,IAAI,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAA;YAChE,IAAI,IAAI,KAAK,SAAS;gBAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QACzC,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC;YAC7C,IAAI,CAAC,KAAK,CAAC,CAAA;QACb,CAAC;IACH,CAAC,CAAA;IACD,IAAI,CAAC,IAAI,CAAC,CAAA;IACV,OAAO,CAAC,GAAG,KAAK,CAAC,CAAA;AACnB,CAAC,CAAA;AAED,MAAM,QAAQ,GAAG,CAAC,IAAgD,EAAsB,EAAE;IACxF,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,YAAY;YACf,OAAO,IAAI,CAAC,IAAI,CAAA;QAClB,KAAK,mBAAmB;YACtB,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;QACrC;YACE,OAAO,SAAS,CAAA;IACpB,CAAC;AACH,CAAC,CAAA;AAED,MAAM,iBAAiB,GAAG,CACxB,GAAW,EACX,MAAqG,EACrG,YAAwD,EACxD,IAAyB,EACzB,MAAmB,EACX,EAAE;IACV,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IAC5B,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,MAAM,CAAA;IACvC,IAAI,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO,CAAC,CAAA;IAC7B,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IACf,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IAC/B,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,CAAC,CAAA;IAEnC,IAAI,QAAQ,GAAG,CAAC,CAAA;IAChB,KAAK,MAAM,UAAU,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;QAC7C,MAAM,aAAa,GAAG,GAAG,OAAO,CAAC,MAAM,KAAK,UAAU,EAAE,CAAA;QACxD,MAAM,aAAa,GAAG,MAAM,CAAC,GAAG,CAAC,aAAa,CAAC;YAC7C,CAAC,CAAC,CAAC,aAAa,CAAC;YACjB,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,KAAK,CAAC;gBACjD,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,CAAE,CAAC,CAAC,CAAE,CAAC;gBACrC,CAAC,CAAC,EAAE,CAAA;QACR,KAAK,MAAM,YAAY,IAAI,aAAa,EAAE,CAAC;YACzC,QAAQ,GAAG,IAAI,CAAC,GAAG,CACjB,QAAQ,EACR,CAAC,GAAG,iBAAiB,CAAC,YAAY,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,CAAC,CACxE,CAAA;QACH,CAAC;IACH,CAAC;IAED,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;IAClB,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAA;IACvB,OAAO,QAAQ,CAAA;AACjB,CAAC,CAAA"}

package/dist/signals/rs-ab-03-generic-proliferation.d.ts

@@ -0,0 +1,28 @@
+import { type DistributionalSummary, type Signal } from "@skastr0/pulsar-core/signal";
+import { Schema } from "effect";
+import { RustProjectTag } from "../project.js";
+declare const RsAb03Config: Schema.Struct<{
+    exclude_globs: Schema.Array$<typeof Schema.String>;
+    max_generic_parameters: typeof Schema.Number;
+    top_n_diagnostics: typeof Schema.Number;
+}>;
+type RsAb03Config = typeof RsAb03Config.Type;
+interface RustGenericAnalysis {
+    readonly file: string;
+    readonly module: string;
+    readonly declarationName: string;
+    readonly line: number;
+    readonly paramCount: number;
+    readonly whereClausePredicates: number;
+    readonly boundCount: number;
+    readonly complexity: number;
+}
+interface RsAb03Output {
+    readonly declarations: ReadonlyArray<RustGenericAnalysis>;
+    readonly parameterDistribution: DistributionalSummary;
+    readonly overThreshold: ReadonlyArray<RustGenericAnalysis>;
+    readonly analysisMode: "ast-parameter-and-where-clause-counts";
+}
+export declare const RsAb03: Signal<RsAb03Config, RsAb03Output, RustProjectTag>;
+export {};
+//# sourceMappingURL=rs-ab-03-generic-proliferation.d.ts.map

package/dist/signals/rs-ab-03-generic-proliferation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rs-ab-03-generic-proliferation.d.ts","sourceRoot":"","sources":["../../src/signals/rs-ab-03-generic-proliferation.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,qBAAqB,EAE1B,KAAK,MAAM,EAGZ,MAAM,6BAA6B,CAAA;AACpC,OAAO,EAAU,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AAa9C,QAAA,MAAM,YAAY;;;;EAIhB,CAAA;AACF,KAAK,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;AAE5C,UAAU,mBAAmB;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAA;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAA;IACtC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;CAC5B;AAED,UAAU,YAAY;IACpB,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,mBAAmB,CAAC,CAAA;IACzD,QAAQ,CAAC,qBAAqB,EAAE,qBAAqB,CAAA;IACrD,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC,mBAAmB,CAAC,CAAA;IAC1D,QAAQ,CAAC,YAAY,EAAE,uCAAuC,CAAA;CAC/D;AAED,eAAO,MAAM,MAAM,EAAE,MAAM,CAAC,YAAY,EAAE,YAAY,EAAE,cAAc,CA6ErE,CAAA"}

package/dist/signals/rs-ab-03-generic-proliferation.js

@@ -0,0 +1,108 @@
+import { scoreThresholdViolationShare, SignalComputeError, summarize, } from "@skastr0/pulsar-core/signal";
+import { Effect, Schema } from "effect";
+import { RustProjectTag } from "../project.js";
+import { parseRustFile } from "../syn-walker.js";
+import { DEFAULT_RUST_EXCLUDE_GLOBS, firstNamedChild, modulePathForAncestors, namedChildrenOf, resolveRustFileScope, walkAttributedNodes, } from "./shared-rust-ast.js";
+import { isExcluded } from "./shared-globs.js";
+const RsAb03Config = Schema.Struct({
+    exclude_globs: Schema.Array(Schema.String),
+    max_generic_parameters: Schema.Number,
+    top_n_diagnostics: Schema.Number,
+});
+export const RsAb03 = {
+    id: "RS-AB-03-generic-proliferation",
+    title: "Generic proliferation",
+    aliases: ["RS-AB-03"],
+    tier: 1,
+    category: "abstraction-bloat",
+    kind: "legibility",
+    configSchema: RsAb03Config,
+    defaultConfig: {
+        exclude_globs: [...DEFAULT_RUST_EXCLUDE_GLOBS],
+        max_generic_parameters: 3,
+        top_n_diagnostics: 10,
+    },
+    inputs: [],
+    compute: (config) => Effect.gen(function* () {
+        const project = yield* RustProjectTag;
+        return yield* Effect.tryPromise({
+            try: async () => {
+                const declarations = [];
+                for (const file of project.sourceFiles) {
+                    if (isExcluded(file, config.exclude_globs))
+                        continue;
+                    const scope = resolveRustFileScope(project, file);
+                    const tree = await parseRustFile(file);
+                    walkAttributedNodes(tree.rootNode, ({ node, ancestors, testGated }) => {
+                        if (testGated || !isGenericTrackedNode(node.type))
+                            return;
+                        const typeParameters = firstNamedChild(node, "type_parameters");
+                        const whereClause = firstNamedChild(node, "where_clause");
+                        const paramCount = namedChildrenOf(typeParameters ?? node).filter((child) => ["type_parameter", "lifetime_parameter", "const_parameter"].includes(child.type)).length;
+                        if (paramCount === 0)
+                            return;
+                        const whereClausePredicates = namedChildrenOf(whereClause ?? node).length;
+                        const boundCount = countNamedDescendants(typeParameters, "trait_bounds") + countNamedDescendants(whereClause, "trait_bounds");
+                        const { modulePath } = modulePathForAncestors(scope, ancestors);
+                        declarations.push({
+                            file,
+                            module: modulePath,
+                            declarationName: declarationName(node),
+                            line: node.startPosition.row + 1,
+                            paramCount,
+                            whereClausePredicates,
+                            boundCount,
+                            complexity: paramCount + whereClausePredicates + boundCount,
+                        });
+                    });
+                }
+                declarations.sort((left, right) => right.paramCount - left.paramCount || left.file.localeCompare(right.file));
+                return {
+                    declarations,
+                    parameterDistribution: summarize(declarations.map((entry) => entry.paramCount)),
+                    overThreshold: declarations.filter((entry) => entry.paramCount > config.max_generic_parameters),
+                    analysisMode: "ast-parameter-and-where-clause-counts",
+                };
+            },
+            catch: (cause) => new SignalComputeError({ signalId: "RS-AB-03-generic-proliferation", message: String(cause), cause }),
+        });
+    }),
+    score: (out) => {
+        return scoreThresholdViolationShare(out.declarations.length, out.overThreshold.length);
+    },
+    diagnose: (out) => out.overThreshold.slice(0, 10).map((entry) => ({
+        severity: "warn",
+        message: `${entry.declarationName} uses ${entry.paramCount} generic parameters`,
+        location: { file: entry.file, line: entry.line },
+        data: {
+            module: entry.module,
+            paramCount: entry.paramCount,
+            whereClausePredicates: entry.whereClausePredicates,
+            boundCount: entry.boundCount,
+            complexity: entry.complexity,
+            analysisMode: out.analysisMode,
+        },
+    })),
+};
+const isGenericTrackedNode = (type) => ["function_item", "struct_item", "enum_item", "trait_item", "type_item", "impl_item"].includes(type);
+const declarationName = (node) => {
+    if (node.type === "impl_item") {
+        const target = namedChildrenOf(node).find((child) => child.type !== "type_parameters" && child.type !== "where_clause" && child.type !== "declaration_list");
+        return `impl ${target?.text ?? "<unknown>"}`;
+    }
+    return firstNamedChild(node, "identifier")?.text ?? firstNamedChild(node, "type_identifier")?.text ?? "<anonymous>";
+};
+const countNamedDescendants = (node, type) => {
+    if (node === undefined)
+        return 0;
+    let count = 0;
+    const walk = (current) => {
+        if (current.type === type)
+            count += 1;
+        for (const child of namedChildrenOf(current))
+            walk(child);
+    };
+    walk(node);
+    return count;
+};
+//# sourceMappingURL=rs-ab-03-generic-proliferation.js.map

package/dist/signals/rs-ab-03-generic-proliferation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rs-ab-03-generic-proliferation.js","sourceRoot":"","sources":["../../src/signals/rs-ab-03-generic-proliferation.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,4BAA4B,EAE5B,kBAAkB,EAClB,SAAS,GACV,MAAM,6BAA6B,CAAA;AACpC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AAC9C,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAA;AAChD,OAAO,EACL,0BAA0B,EAE1B,eAAe,EACf,sBAAsB,EACtB,eAAe,EACf,oBAAoB,EACpB,mBAAmB,GACpB,MAAM,sBAAsB,CAAA;AAC7B,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,sBAAsB,EAAE,MAAM,CAAC,MAAM;IACrC,iBAAiB,EAAE,MAAM,CAAC,MAAM;CACjC,CAAC,CAAA;AAqBF,MAAM,CAAC,MAAM,MAAM,GAAuD;IACxE,EAAE,EAAE,gCAAgC;IACpC,KAAK,EAAE,uBAAuB;IAC9B,OAAO,EAAE,CAAC,UAAU,CAAC;IACrB,IAAI,EAAE,CAAC;IACP,QAAQ,EAAE,mBAAmB;IAC7B,IAAI,EAAE,YAAY;IAClB,YAAY,EAAE,YAAY;IAC1B,aAAa,EAAE;QACb,aAAa,EAAE,CAAC,GAAG,0BAA0B,CAAC;QAC9C,sBAAsB,EAAE,CAAC;QACzB,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,YAAY,GAA+B,EAAE,CAAA;gBACnD,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;oBACvC,IAAI,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,aAAa,CAAC;wBAAE,SAAQ;oBACpD,MAAM,KAAK,GAAG,oBAAoB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAA;oBACjD,MAAM,IAAI,GAAG,MAAM,aAAa,CAAC,IAAI,CAAC,CAAA;oBACtC,mBAAmB,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,EAAE,EAAE;wBACpE,IAAI,SAAS,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC;4BAAE,OAAM;wBACzD,MAAM,cAAc,GAAG,eAAe,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAA;wBAC/D,MAAM,WAAW,GAAG,eAAe,CAAC,IAAI,EAAE,cAAc,CAAC,CAAA;wBACzD,MAAM,UAAU,GAAG,eAAe,CAAC,cAAc,IAAI,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAC1E,CAAC,gBAAgB,EAAE,oBAAoB,EAAE,iBAAiB,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CACjF,CAAC,MAAM,CAAA;wBACR,IAAI,UAAU,KAAK,CAAC;4BAAE,OAAM;wBAC5B,MAAM,qBAAqB,GAAG,eAAe,CAAC,WAAW,IAAI,IAAI,CAAC,CAAC,MAAM,CAAA;wBACzE,MAAM,UAAU,GAAG,qBAAqB,CAAC,cAAc,EAAE,cAAc,CAAC,GAAG,qBAAqB,CAAC,WAAW,EAAE,cAAc,CAAC,CAAA;wBAC7H,MAAM,EAAE,UAAU,EAAE,GAAG,sBAAsB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAA;wBAC/D,YAAY,CAAC,IAAI,CAAC;4BAChB,IAAI;4BACJ,MAAM,EAAE,UAAU;4BAClB,eAAe,EAAE,eAAe,CAAC,IAAI,CAAC;4BACtC,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC;4BAChC,UAAU;4BACV,qBAAqB;4BACrB,UAAU;4BACV,UAAU,EAAE,UAAU,GAAG,qBAAqB,GAAG,UAAU;yBAC5D,CAAC,CAAA;oBACJ,CAAC,CAAC,CAAA;gBACJ,CAAC;gBAED,YAAY,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,GAAG,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA;gBAC7G,OAAO;oBACL,YAAY;oBACZ,qBAAqB,EAAE,SAAS,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;oBAC/E,aAAa,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,GAAG,MAAM,CAAC,sBAAsB,CAAC;oBAC/F,YAAY,EAAE,uCAAuC;iBACtD,CAAA;YACH,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CACf,IAAI,kBAAkB,CAAC,EAAE,QAAQ,EAAE,gCAAgC,EAAE,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC;SACxG,CAAC,CAAA;IACJ,CAAC,CAAC;IACJ,KAAK,EAAE,CAAC,GAAG,EAAE,EAAE;QACb,OAAO,4BAA4B,CAAC,GAAG,CAAC,YAAY,CAAC,MAAM,EAAE,GAAG,CAAC,aAAa,CAAC,MAAM,CAAC,CAAA;IACxF,CAAC;IACD,QAAQ,EAAE,CAAC,GAAG,EAA6B,EAAE,CAC3C,GAAG,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC7C,QAAQ,EAAE,MAAe;QACzB,OAAO,EAAE,GAAG,KAAK,CAAC,eAAe,SAAS,KAAK,CAAC,UAAU,qBAAqB;QAC/E,QAAQ,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE;QAChD,IAAI,EAAE;YACJ,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,qBAAqB,EAAE,KAAK,CAAC,qBAAqB;YAClD,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,YAAY,EAAE,GAAG,CAAC,YAAY;SAC/B;KACF,CAAC,CAAC;CACN,CAAA;AAED,MAAM,oBAAoB,GAAG,CAAC,IAAY,EAAW,EAAE,CACrD,CAAC,eAAe,EAAE,aAAa,EAAE,WAAW,EAAE,YAAY,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;AAEtG,MAAM,eAAe,GAAG,CAAC,IAAgD,EAAU,EAAE;IACnF,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC,IAAI,CACvC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,iBAAiB,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc,IAAI,KAAK,CAAC,IAAI,KAAK,kBAAkB,CAClH,CAAA;QACD,OAAO,QAAQ,MAAM,EAAE,IAAI,IAAI,WAAW,EAAE,CAAA;IAC9C,CAAC;IACD,OAAO,eAAe,CAAC,IAAI,EAAE,YAAY,CAAC,EAAE,IAAI,IAAI,eAAe,CAAC,IAAI,EAAE,iBAAiB,CAAC,EAAE,IAAI,IAAI,aAAa,CAAA;AACrH,CAAC,CAAA;AAED,MAAM,qBAAqB,GAAG,CAC5B,IAA4D,EAC5D,IAAY,EACJ,EAAE;IACV,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,CAAC,CAAA;IAChC,IAAI,KAAK,GAAG,CAAC,CAAA;IACb,MAAM,IAAI,GAAG,CAAC,OAAmD,EAAQ,EAAE;QACzE,IAAI,OAAO,CAAC,IAAI,KAAK,IAAI;YAAE,KAAK,IAAI,CAAC,CAAA;QACrC,KAAK,MAAM,KAAK,IAAI,eAAe,CAAC,OAAO,CAAC;YAAE,IAAI,CAAC,KAAK,CAAC,CAAA;IAC3D,CAAC,CAAA;IACD,IAAI,CAAC,IAAI,CAAC,CAAA;IACV,OAAO,KAAK,CAAA;AACd,CAAC,CAAA"}

package/dist/signals/rs-ab-04-derive-density.d.ts

@@ -0,0 +1,25 @@
+import { type DistributionalSummary, type Signal } from "@skastr0/pulsar-core/signal";
+import { Schema } from "effect";
+import { RustProjectTag } from "../project.js";
+declare const RsAb04Config: Schema.Struct<{
+    exclude_globs: Schema.Array$<typeof Schema.String>;
+    top_n_diagnostics: typeof Schema.Number;
+}>;
+type RsAb04Config = typeof RsAb04Config.Type;
+interface DeriveDensityEntry {
+    readonly file: string;
+    readonly module: string;
+    readonly name: string;
+    readonly line: number;
+    readonly deriveCount: number;
+    readonly standardDerives: ReadonlyArray<string>;
+    readonly customDerives: ReadonlyArray<string>;
+}
+interface RsAb04Output {
+    readonly types: ReadonlyArray<DeriveDensityEntry>;
+    readonly distribution: DistributionalSummary;
+    readonly analysisMode: "attribute-attached-derive-count";
+}
+export declare const RsAb04: Signal<RsAb04Config, RsAb04Output, RustProjectTag>;
+export {};
+//# sourceMappingURL=rs-ab-04-derive-density.d.ts.map

package/dist/signals/rs-ab-04-derive-density.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rs-ab-04-derive-density.d.ts","sourceRoot":"","sources":["../../src/signals/rs-ab-04-derive-density.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,qBAAqB,EAC1B,KAAK,MAAM,EAGZ,MAAM,6BAA6B,CAAA;AACpC,OAAO,EAAU,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AAW9C,QAAA,MAAM,YAAY;;;EAGhB,CAAA;AACF,KAAK,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;AAE5C,UAAU,kBAAkB;IAC1B,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,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,eAAe,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IAC/C,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;CAC9C;AAED,UAAU,YAAY;IACpB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,kBAAkB,CAAC,CAAA;IACjD,QAAQ,CAAC,YAAY,EAAE,qBAAqB,CAAA;IAC5C,QAAQ,CAAC,YAAY,EAAE,iCAAiC,CAAA;CACzD;AAcD,eAAO,MAAM,MAAM,EAAE,MAAM,CAAC,YAAY,EAAE,YAAY,EAAE,cAAc,CAqErE,CAAA"}

package/dist/signals/rs-ab-04-derive-density.js

@@ -0,0 +1,101 @@
+import { SignalComputeError, summarize, } from "@skastr0/pulsar-core/signal";
+import { Effect, Schema } from "effect";
+import { RustProjectTag } from "../project.js";
+import { parseRustFile } from "../syn-walker.js";
+import { DEFAULT_RUST_EXCLUDE_GLOBS, firstNamedChild, modulePathForAncestors, resolveRustFileScope, walkAttributedNodes, } from "./shared-rust-ast.js";
+import { isExcluded } from "./shared-globs.js";
+const RsAb04Config = Schema.Struct({
+    exclude_globs: Schema.Array(Schema.String),
+    top_n_diagnostics: Schema.Number,
+});
+const STANDARD_DERIVES = new Set([
+    "Clone",
+    "Copy",
+    "Debug",
+    "Default",
+    "Eq",
+    "PartialEq",
+    "Ord",
+    "PartialOrd",
+    "Hash",
+]);
+export const RsAb04 = {
+    id: "RS-AB-04-derive-density",
+    title: "Derive density",
+    aliases: ["RS-AB-04"],
+    tier: 1,
+    category: "abstraction-bloat",
+    kind: "legibility",
+    configSchema: RsAb04Config,
+    defaultConfig: {
+        exclude_globs: [...DEFAULT_RUST_EXCLUDE_GLOBS],
+        top_n_diagnostics: 10,
+    },
+    inputs: [],
+    compute: (config) => Effect.gen(function* () {
+        const project = yield* RustProjectTag;
+        return yield* Effect.tryPromise({
+            try: async () => {
+                const entries = [];
+                for (const file of project.sourceFiles) {
+                    if (isExcluded(file, config.exclude_globs))
+                        continue;
+                    const scope = resolveRustFileScope(project, file);
+                    const tree = await parseRustFile(file);
+                    walkAttributedNodes(tree.rootNode, ({ node, ancestors, attachedAttributes, testGated }) => {
+                        if (testGated || !["struct_item", "enum_item", "union_item"].includes(node.type))
+                            return;
+                        const derives = attachedAttributes.flatMap(extractDerives);
+                        if (derives.length === 0)
+                            return;
+                        const { modulePath } = modulePathForAncestors(scope, ancestors);
+                        entries.push({
+                            file,
+                            module: modulePath,
+                            name: firstNamedChild(node, "type_identifier")?.text ?? "<anonymous>",
+                            line: node.startPosition.row + 1,
+                            deriveCount: derives.length,
+                            standardDerives: derives.filter((derive) => STANDARD_DERIVES.has(derive)),
+                            customDerives: derives.filter((derive) => !STANDARD_DERIVES.has(derive)),
+                        });
+                    });
+                }
+                entries.sort((left, right) => right.deriveCount - left.deriveCount || left.file.localeCompare(right.file));
+                return {
+                    types: entries,
+                    distribution: summarize(entries.map((entry) => entry.deriveCount)),
+                    analysisMode: "attribute-attached-derive-count",
+                };
+            },
+            catch: (cause) => new SignalComputeError({ signalId: "RS-AB-04-derive-density", message: String(cause), cause }),
+        });
+    }),
+    score: (out) => {
+        if (out.types.length === 0)
+            return 1;
+        const customHeavy = out.types.filter((entry) => entry.customDerives.length >= 2).length;
+        return Math.max(0, 1 - customHeavy / out.types.length);
+    },
+    diagnose: (out) => out.types.slice(0, 10).map((entry) => ({
+        severity: entry.customDerives.length > 0 ? "info" : "warn",
+        message: `${entry.name} derives ${entry.deriveCount} macros (${entry.customDerives.length} custom)`,
+        location: { file: entry.file, line: entry.line },
+        data: {
+            module: entry.module,
+            deriveCount: entry.deriveCount,
+            standardDerives: entry.standardDerives,
+            customDerives: entry.customDerives,
+            analysisMode: out.analysisMode,
+        },
+    })),
+};
+const extractDerives = (attribute) => {
+    const match = /#\s*\[\s*derive\s*\(([^\)]*)\)\s*\]/.exec(attribute.text);
+    if (match === null)
+        return [];
+    return match[1]
+        .split(",")
+        .map((value) => value.trim())
+        .filter((value) => value.length > 0);
+};
+//# sourceMappingURL=rs-ab-04-derive-density.js.map

package/dist/signals/rs-ab-04-derive-density.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rs-ab-04-derive-density.js","sourceRoot":"","sources":["../../src/signals/rs-ab-04-derive-density.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,cAAc,EAAE,MAAM,eAAe,CAAA;AAC9C,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAA;AAChD,OAAO,EACL,0BAA0B,EAC1B,eAAe,EACf,sBAAsB,EACtB,oBAAoB,EACpB,mBAAmB,GACpB,MAAM,sBAAsB,CAAA;AAC7B,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,MAAM;CACjC,CAAC,CAAA;AAmBF,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC;IAC/B,OAAO;IACP,MAAM;IACN,OAAO;IACP,SAAS;IACT,IAAI;IACJ,WAAW;IACX,KAAK;IACL,YAAY;IACZ,MAAM;CACP,CAAC,CAAA;AAEF,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,mBAAmB;IAC7B,IAAI,EAAE,YAAY;IAClB,YAAY,EAAE,YAAY;IAC1B,aAAa,EAAE;QACb,aAAa,EAAE,CAAC,GAAG,0BAA0B,CAAC;QAC9C,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,OAAO,GAA8B,EAAE,CAAA;gBAC7C,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;oBACvC,IAAI,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,aAAa,CAAC;wBAAE,SAAQ;oBACpD,MAAM,KAAK,GAAG,oBAAoB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAA;oBACjD,MAAM,IAAI,GAAG,MAAM,aAAa,CAAC,IAAI,CAAC,CAAA;oBACtC,mBAAmB,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,kBAAkB,EAAE,SAAS,EAAE,EAAE,EAAE;wBACxF,IAAI,SAAS,IAAI,CAAC,CAAC,aAAa,EAAE,WAAW,EAAE,YAAY,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;4BAAE,OAAM;wBACxF,MAAM,OAAO,GAAG,kBAAkB,CAAC,OAAO,CAAC,cAAc,CAAC,CAAA;wBAC1D,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;4BAAE,OAAM;wBAChC,MAAM,EAAE,UAAU,EAAE,GAAG,sBAAsB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAA;wBAC/D,OAAO,CAAC,IAAI,CAAC;4BACX,IAAI;4BACJ,MAAM,EAAE,UAAU;4BAClB,IAAI,EAAE,eAAe,CAAC,IAAI,EAAE,iBAAiB,CAAC,EAAE,IAAI,IAAI,aAAa;4BACrE,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC;4BAChC,WAAW,EAAE,OAAO,CAAC,MAAM;4BAC3B,eAAe,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;4BACzE,aAAa,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;yBACzE,CAAC,CAAA;oBACJ,CAAC,CAAC,CAAA;gBACJ,CAAC;gBAED,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,GAAG,IAAI,CAAC,WAAW,IAAI,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA;gBAC1G,OAAO;oBACL,KAAK,EAAE,OAAO;oBACd,YAAY,EAAE,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;oBAClE,YAAY,EAAE,iCAAiC;iBAChD,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,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,CAAC,CAAA;QACpC,MAAM,WAAW,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,aAAa,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,MAAM,CAAA;QACvF,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,WAAW,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;IACxD,CAAC;IACD,QAAQ,EAAE,CAAC,GAAG,EAA6B,EAAE,CAC3C,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACrC,QAAQ,EAAE,KAAK,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAE,MAAgB,CAAC,CAAC,CAAE,MAAgB;QAChF,OAAO,EAAE,GAAG,KAAK,CAAC,IAAI,YAAY,KAAK,CAAC,WAAW,YAAY,KAAK,CAAC,aAAa,CAAC,MAAM,UAAU;QACnG,QAAQ,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE;QAChD,IAAI,EAAE;YACJ,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,WAAW,EAAE,KAAK,CAAC,WAAW;YAC9B,eAAe,EAAE,KAAK,CAAC,eAAe;YACtC,aAAa,EAAE,KAAK,CAAC,aAAa;YAClC,YAAY,EAAE,GAAG,CAAC,YAAY;SAC/B;KACF,CAAC,CAAC;CACN,CAAA;AAED,MAAM,cAAc,GAAG,CAAC,SAAoC,EAAyB,EAAE;IACrF,MAAM,KAAK,GAAG,qCAAqC,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAA;IACxE,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,EAAE,CAAA;IAC7B,OAAO,KAAK,CAAC,CAAC,CAAE;SACb,KAAK,CAAC,GAAG,CAAC;SACV,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;SAC5B,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;AACxC,CAAC,CAAA"}

package/dist/signals/rs-ad-01-visibility-surface.d.ts

@@ -0,0 +1,29 @@
+import { type DistributionalSummary, type Signal } from "@skastr0/pulsar-core/signal";
+import { Schema } from "effect";
+import { RustProjectTag } from "../project.js";
+declare const RsAd01Config: Schema.Struct<{
+    exclude_globs: Schema.Array$<typeof Schema.String>;
+    warn_pub_ratio: typeof Schema.Number;
+    top_n_diagnostics: typeof Schema.Number;
+}>;
+type RsAd01Config = typeof RsAd01Config.Type;
+interface ModuleVisibilitySurface {
+    readonly module: string;
+    readonly file: string;
+    readonly pub: number;
+    readonly pubCrate: number;
+    readonly pubSuper: number;
+    readonly pubInPath: number;
+    readonly private: number;
+    readonly total: number;
+    readonly pubRatio: number;
+}
+interface RsAd01Output {
+    readonly modules: ReadonlyArray<ModuleVisibilitySurface>;
+    readonly byModule: ReadonlyMap<string, DistributionalSummary>;
+    readonly totalItems: number;
+    readonly overallPubRatio: number;
+}
+export declare const RsAd01: Signal<RsAd01Config, RsAd01Output, RustProjectTag>;
+export {};
+//# sourceMappingURL=rs-ad-01-visibility-surface.d.ts.map

package/dist/signals/rs-ad-01-visibility-surface.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rs-ad-01-visibility-surface.d.ts","sourceRoot":"","sources":["../../src/signals/rs-ad-01-visibility-surface.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,EAAoB,MAAM,eAAe,CAAA;AAGhE,QAAA,MAAM,YAAY;;;;EAIhB,CAAA;AACF,KAAK,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;AAE5C,UAAU,uBAAuB;IAC/B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAC1B;AAED,UAAU,YAAY;IACpB,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,uBAAuB,CAAC,CAAA;IACxD,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAA;IAC7D,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAA;CACjC;AAwBD,eAAO,MAAM,MAAM,EAAE,MAAM,CAAC,YAAY,EAAE,YAAY,EAAE,cAAc,CAkDrE,CAAA"}

package/dist/signals/rs-ad-01-visibility-surface.js

@@ -0,0 +1,129 @@
+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";
+const RsAd01Config = Schema.Struct({
+    exclude_globs: Schema.Array(Schema.String),
+    warn_pub_ratio: Schema.Number,
+    top_n_diagnostics: Schema.Number,
+});
+const emptyVisibilitySurfaceOutput = () => ({
+    modules: [],
+    byModule: new Map(),
+    totalItems: 0,
+    overallPubRatio: 0,
+});
+const emptyModuleVisibilitySurface = (module, file) => ({
+    module,
+    file,
+    pub: 0,
+    pubCrate: 0,
+    pubSuper: 0,
+    pubInPath: 0,
+    private: 0,
+    total: 0,
+    pubRatio: 0,
+});
+export const RsAd01 = {
+    id: "RS-AD-01-visibility-surface",
+    title: "Visibility surface",
+    aliases: ["RS-AD-01"],
+    tier: 1,
+    category: "architectural-drift",
+    kind: "structural",
+    configSchema: RsAd01Config,
+    defaultConfig: {
+        exclude_globs: ["**/target/**", "**/tests/**", "**/examples/**", "**/benches/**"],
+        warn_pub_ratio: 0.35,
+        top_n_diagnostics: 5,
+    },
+    inputs: [],
+    compute: (config) => Effect.gen(function* () {
+        const project = yield* RustProjectTag;
+        return yield* Effect.tryPromise({
+            try: () => computeVisibilitySurface(project, config),
+            catch: (cause) => new SignalComputeError({
+                signalId: "RS-AD-01-visibility-surface",
+                message: String(cause),
+                cause,
+            }),
+        });
+    }),
+    score: (out) => {
+        if (out.modules.length === 0)
+            return 1;
+        const averageRatio = out.modules.reduce((sum, module) => sum + module.pubRatio, 0) / out.modules.length;
+        if (averageRatio <= 0.35)
+            return 1;
+        return Math.max(0, 1 - (averageRatio - 0.35) / 0.65);
+    },
+    diagnose: (out) => out.modules.slice(0, 5).map((module) => ({
+        severity: module.pubRatio >= 0.5 ? "warn" : "info",
+        message: `Module ${module.module} exposes ${(module.pubRatio * 100).toFixed(0)}% of its items as pub`,
+        location: { file: module.file },
+        data: {
+            module: module.module,
+            pubRatio: module.pubRatio,
+            counts: {
+                pub: module.pub,
+                pubCrate: module.pubCrate,
+                pubSuper: module.pubSuper,
+                pubInPath: module.pubInPath,
+                private: module.private,
+            },
+        },
+    })),
+};
+const computeVisibilitySurface = async (project, config) => {
+    if (project.sourceFiles.length === 0)
+        return emptyVisibilitySurfaceOutput();
+    const facts = await collectRustProjectFacts(project);
+    const grouped = new Map();
+    for (const item of facts.items) {
+        if (item.kind === "impl")
+            continue;
+        if (isExcluded(item.file, config.exclude_globs))
+            continue;
+        recordVisibilityItem(grouped, item.modulePath, item.file, item.visibility.kind);
+    }
+    const modules = finalizeVisibilityModules(grouped);
+    const totalItems = modules.reduce((sum, module) => sum + module.total, 0);
+    const publicItems = modules.reduce((sum, module) => sum + module.pub, 0);
+    return {
+        modules,
+        byModule: summarizeVisibilityByModule(modules),
+        totalItems,
+        overallPubRatio: totalItems === 0 ? 0 : publicItems / totalItems,
+    };
+};
+const recordVisibilityItem = (grouped, modulePath, file, visibilityKind) => {
+    const existing = { ...(grouped.get(modulePath) ?? emptyModuleVisibilitySurface(modulePath, file)) };
+    switch (visibilityKind) {
+        case "pub":
+            existing.pub += 1;
+            break;
+        case "pub-crate":
+            existing.pubCrate += 1;
+            break;
+        case "pub-super":
+            existing.pubSuper += 1;
+            break;
+        case "pub-in-path":
+            existing.pubInPath += 1;
+            break;
+        case "private":
+            existing.private += 1;
+            break;
+    }
+    existing.total += 1;
+    grouped.set(modulePath, existing);
+};
+const finalizeVisibilityModules = (grouped) => [...grouped.values()]
+    .map((entry) => ({
+    ...entry,
+    pubRatio: entry.total === 0 ? 0 : entry.pub / entry.total,
+}))
+    .sort((a, b) => b.pubRatio - a.pubRatio || a.module.localeCompare(b.module));
+const summarizeVisibilityByModule = (modules) => new Map(modules.map((module) => [module.module, summarize([module.pubRatio])]));
+//# sourceMappingURL=rs-ad-01-visibility-surface.js.map

package/dist/signals/rs-ad-01-visibility-surface.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rs-ad-01-visibility-surface.js","sourceRoot":"","sources":["../../src/signals/rs-ad-01-visibility-surface.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,EAAoB,MAAM,eAAe,CAAA;AAChE,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,cAAc,EAAE,MAAM,CAAC,MAAM;IAC7B,iBAAiB,EAAE,MAAM,CAAC,MAAM;CACjC,CAAC,CAAA;AAsBF,MAAM,4BAA4B,GAAG,GAAiB,EAAE,CAAC,CAAC;IACxD,OAAO,EAAE,EAAE;IACX,QAAQ,EAAE,IAAI,GAAG,EAAE;IACnB,UAAU,EAAE,CAAC;IACb,eAAe,EAAE,CAAC;CACnB,CAAC,CAAA;AAEF,MAAM,4BAA4B,GAAG,CACnC,MAAc,EACd,IAAY,EACa,EAAE,CAAC,CAAC;IAC7B,MAAM;IACN,IAAI;IACJ,GAAG,EAAE,CAAC;IACN,QAAQ,EAAE,CAAC;IACX,QAAQ,EAAE,CAAC;IACX,SAAS,EAAE,CAAC;IACZ,OAAO,EAAE,CAAC;IACV,KAAK,EAAE,CAAC;IACR,QAAQ,EAAE,CAAC;CACZ,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,MAAM,GAAuD;IACxE,EAAE,EAAE,6BAA6B;IACjC,KAAK,EAAE,oBAAoB;IAC3B,OAAO,EAAE,CAAC,UAAU,CAAC;IACrB,IAAI,EAAE,CAAC;IACP,QAAQ,EAAE,qBAAqB;IAC/B,IAAI,EAAE,YAAY;IAClB,YAAY,EAAE,YAAY;IAC1B,aAAa,EAAE;QACb,aAAa,EAAE,CAAC,cAAc,EAAE,aAAa,EAAE,gBAAgB,EAAE,eAAe,CAAC;QACjF,cAAc,EAAE,IAAI;QACpB,iBAAiB,EAAE,CAAC;KACrB;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,GAAG,EAAE,CAAC,wBAAwB,CAAC,OAAO,EAAE,MAAM,CAAC;YACpD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CACf,IAAI,kBAAkB,CAAC;gBACrB,QAAQ,EAAE,6BAA6B;gBACvC,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC;gBACtB,KAAK;aACN,CAAC;SACL,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,MAAM,YAAY,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,GAAG,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,CAAA;QACvG,IAAI,YAAY,IAAI,IAAI;YAAE,OAAO,CAAC,CAAA;QAClC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,YAAY,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,CAAA;IACtD,CAAC;IACD,QAAQ,EAAE,CAAC,GAAG,EAA6B,EAAE,CAC3C,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QACvC,QAAQ,EAAE,MAAM,CAAC,QAAQ,IAAI,GAAG,CAAC,CAAC,CAAE,MAAgB,CAAC,CAAC,CAAE,MAAgB;QACxE,OAAO,EAAE,UAAU,MAAM,CAAC,MAAM,YAAY,CAAC,MAAM,CAAC,QAAQ,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,uBAAuB;QACrG,QAAQ,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE;QAC/B,IAAI,EAAE;YACJ,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,MAAM,EAAE;gBACN,GAAG,EAAE,MAAM,CAAC,GAAG;gBACf,QAAQ,EAAE,MAAM,CAAC,QAAQ;gBACzB,QAAQ,EAAE,MAAM,CAAC,QAAQ;gBACzB,SAAS,EAAE,MAAM,CAAC,SAAS;gBAC3B,OAAO,EAAE,MAAM,CAAC,OAAO;aACxB;SACF;KACF,CAAC,CAAC;CACN,CAAA;AAED,MAAM,wBAAwB,GAAG,KAAK,EACpC,OAAoB,EACpB,MAAoB,EACG,EAAE;IACzB,IAAI,OAAO,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,4BAA4B,EAAE,CAAA;IAE3E,MAAM,KAAK,GAAG,MAAM,uBAAuB,CAAC,OAAO,CAAC,CAAA;IACpD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAmC,CAAA;IAC1D,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,SAAQ;QAClC,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,aAAa,CAAC;YAAE,SAAQ;QACzD,oBAAoB,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAA;IACjF,CAAC;IAED,MAAM,OAAO,GAAG,yBAAyB,CAAC,OAAO,CAAC,CAAA;IAClD,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,GAAG,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAA;IACzE,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,GAAG,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAA;IACxE,OAAO;QACL,OAAO;QACP,QAAQ,EAAE,2BAA2B,CAAC,OAAO,CAAC;QAC9C,UAAU;QACV,eAAe,EAAE,UAAU,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,GAAG,UAAU;KACjE,CAAA;AACH,CAAC,CAAA;AAED,MAAM,oBAAoB,GAAG,CAC3B,OAA6C,EAC7C,UAAkB,EAClB,IAAY,EACZ,cAA6E,EACvE,EAAE;IACR,MAAM,QAAQ,GAAG,EAAE,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,4BAA4B,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,EAAE,CAAA;IACnG,QAAQ,cAAc,EAAE,CAAC;QACvB,KAAK,KAAK;YACR,QAAQ,CAAC,GAAG,IAAI,CAAC,CAAA;YACjB,MAAK;QACP,KAAK,WAAW;YACd,QAAQ,CAAC,QAAQ,IAAI,CAAC,CAAA;YACtB,MAAK;QACP,KAAK,WAAW;YACd,QAAQ,CAAC,QAAQ,IAAI,CAAC,CAAA;YACtB,MAAK;QACP,KAAK,aAAa;YAChB,QAAQ,CAAC,SAAS,IAAI,CAAC,CAAA;YACvB,MAAK;QACP,KAAK,SAAS;YACZ,QAAQ,CAAC,OAAO,IAAI,CAAC,CAAA;YACrB,MAAK;IACT,CAAC;IACD,QAAQ,CAAC,KAAK,IAAI,CAAC,CAAA;IACnB,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAA;AACnC,CAAC,CAAA;AAED,MAAM,yBAAyB,GAAG,CAChC,OAAqD,EACb,EAAE,CAC1C,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;KAClB,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACf,GAAG,KAAK;IACR,QAAQ,EAAE,KAAK,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,GAAG,KAAK,CAAC,KAAK;CAC1D,CAAC,CAAC;KACF,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAA;AAEhF,MAAM,2BAA2B,GAAG,CAClC,OAA+C,EACH,EAAE,CAC9C,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA"}

package/dist/signals/rs-ad-02-boundary-rules.d.ts

@@ -0,0 +1,3 @@
+import type { RustBoundaryRule } from "./rs-ad-02-types.js";
+export declare const normalizeBoundaryRules: (raw: unknown) => ReadonlyMap<string, RustBoundaryRule>;
+//# sourceMappingURL=rs-ad-02-boundary-rules.d.ts.map

package/dist/signals/rs-ad-02-boundary-rules.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rs-ad-02-boundary-rules.d.ts","sourceRoot":"","sources":["../../src/signals/rs-ad-02-boundary-rules.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAA;AAM3D,eAAO,MAAM,sBAAsB,GAAI,KAAK,OAAO,KAAG,WAAW,CAAC,MAAM,EAAE,gBAAgB,CAwBzF,CAAA"}