@skastr0/pulsar-rs-pack 0.1.0

package/dist/signals/rs-ad-02-boundary-rules.js

@@ -0,0 +1,26 @@
+import { asUnknownRecord } from "./shared-record-guards.js";
+const isStringArray = (value) => Array.isArray(value) && value.every((entry) => typeof entry === "string");
+export const normalizeBoundaryRules = (raw) => {
+    const record = asUnknownRecord(raw);
+    const boundaries = asUnknownRecord(record?.rust_crate_boundaries) ?? asUnknownRecord(record?.boundaries) ?? {};
+    return new Map(Object.entries(boundaries).flatMap(([key, value]) => {
+        const rule = asUnknownRecord(value);
+        if (rule === undefined)
+            return [];
+        return [
+            [
+                key,
+                {
+                    visibility: typeof rule.visibility === "string" ? rule.visibility : "public-api",
+                    allowedDependents: isStringArray(rule.allowed_dependents)
+                        ? rule.allowed_dependents
+                        : [],
+                    publicModules: isStringArray(rule.public_modules)
+                        ? rule.public_modules
+                        : ["crate"],
+                },
+            ],
+        ];
+    }));
+};
+//# sourceMappingURL=rs-ad-02-boundary-rules.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"rs-ad-02-boundary-rules.js","sourceRoot":"","sources":["../../src/signals/rs-ad-02-boundary-rules.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAA;AAE3D,MAAM,aAAa,GAAG,CAAC,KAAc,EAAkC,EAAE,CACvE,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAA;AAE3E,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,GAAY,EAAyC,EAAE;IAC5F,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,CAAC,CAAA;IACnC,MAAM,UAAU,GAAG,eAAe,CAAC,MAAM,EAAE,qBAAqB,CAAC,IAAI,eAAe,CAAC,MAAM,EAAE,UAAU,CAAC,IAAI,EAAE,CAAA;IAC9G,OAAO,IAAI,GAAG,CACZ,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE;QAClD,MAAM,IAAI,GAAG,eAAe,CAAC,KAAK,CAAC,CAAA;QACnC,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,EAAE,CAAA;QACjC,OAAO;YACL;gBACE,GAAG;gBACH;oBACE,UAAU,EACR,OAAO,IAAI,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY;oBACtE,iBAAiB,EAAE,aAAa,CAAC,IAAI,CAAC,kBAAkB,CAAC;wBACvD,CAAC,CAAC,IAAI,CAAC,kBAAkB;wBACzB,CAAC,CAAC,EAAE;oBACN,aAAa,EAAE,aAAa,CAAC,IAAI,CAAC,cAAc,CAAC;wBAC/C,CAAC,CAAC,IAAI,CAAC,cAAc;wBACrB,CAAC,CAAC,CAAC,OAAO,CAAC;iBACa;aACpB;SACX,CAAA;IACH,CAAC,CAAC,CACH,CAAA;AACH,CAAC,CAAA"}

package/dist/signals/rs-ad-02-crate-analysis.d.ts

@@ -0,0 +1,9 @@
+import { collectRustProjectFacts, type RustUseFact } from "../rust-analysis.js";
+import type { RustManifestInfo } from "../project.js";
+import type { RsAd02Config, RsAd02Violation, RustBoundaryRule } from "./rs-ad-02-types.js";
+type RustProjectFacts = Awaited<ReturnType<typeof collectRustProjectFacts>>;
+export declare const collectCrossCrateImports: (facts: RustProjectFacts, crateByIdentifier: ReadonlyMap<string, RustManifestInfo>, config: RsAd02Config) => ReadonlyArray<RustUseFact>;
+export declare const evaluateCrateBoundaryViolations: (crossCrateImports: ReadonlyArray<RustUseFact>, manifests: ReadonlyArray<RustManifestInfo>, crateByIdentifier: ReadonlyMap<string, RustManifestInfo>, rules: ReadonlyMap<string, RustBoundaryRule>, facts: RustProjectFacts) => ReadonlyArray<RsAd02Violation>;
+export declare const buildCrateIdentifierIndex: (manifests: ReadonlyArray<RustManifestInfo>) => ReadonlyMap<string, RustManifestInfo>;
+export {};
+//# sourceMappingURL=rs-ad-02-crate-analysis.d.ts.map

package/dist/signals/rs-ad-02-crate-analysis.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rs-ad-02-crate-analysis.d.ts","sourceRoot":"","sources":["../../src/signals/rs-ad-02-crate-analysis.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,uBAAuB,EAIvB,KAAK,WAAW,EACjB,MAAM,qBAAqB,CAAA;AAC5B,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAA;AAGrD,OAAO,KAAK,EACV,YAAY,EACZ,eAAe,EACf,gBAAgB,EACjB,MAAM,qBAAqB,CAAA;AAE5B,KAAK,gBAAgB,GAAG,OAAO,CAAC,UAAU,CAAC,OAAO,uBAAuB,CAAC,CAAC,CAAA;AAE3E,eAAO,MAAM,wBAAwB,GACnC,OAAO,gBAAgB,EACvB,mBAAmB,WAAW,CAAC,MAAM,EAAE,gBAAgB,CAAC,EACxD,QAAQ,YAAY,KACnB,aAAa,CAAC,WAAW,CAKxB,CAAA;AAEJ,eAAO,MAAM,+BAA+B,GAC1C,mBAAmB,aAAa,CAAC,WAAW,CAAC,EAC7C,WAAW,aAAa,CAAC,gBAAgB,CAAC,EAC1C,mBAAmB,WAAW,CAAC,MAAM,EAAE,gBAAgB,CAAC,EACxD,OAAO,WAAW,CAAC,MAAM,EAAE,gBAAgB,CAAC,EAC5C,OAAO,gBAAgB,KACtB,aAAa,CAAC,eAAe,CAK/B,CAAA;AAwGD,eAAO,MAAM,yBAAyB,GACpC,WAAW,aAAa,CAAC,gBAAgB,CAAC,KACzC,WAAW,CAAC,MAAM,EAAE,gBAAgB,CAQtC,CAAA"}

package/dist/signals/rs-ad-02-crate-analysis.js

@@ -0,0 +1,117 @@
+import { isExternallyVisible, } from "../rust-analysis.js";
+import { resolveManifestForFile } from "../rust-analysis-modules.js";
+import { isExcluded } from "./shared-globs.js";
+export const collectCrossCrateImports = (facts, crateByIdentifier, config) => facts.uses.filter((useFact) => {
+    if (isExcluded(useFact.file, config.exclude_globs))
+        return false;
+    const root = useFact.segments[0];
+    return root !== undefined && crateByIdentifier.has(root);
+});
+export const evaluateCrateBoundaryViolations = (crossCrateImports, manifests, crateByIdentifier, rules, facts) => {
+    const violations = crossCrateImports.flatMap((useFact) => violationForCrossCrateImport(useFact, manifests, crateByIdentifier, rules, facts));
+    return violations.sort((a, b) => a.file.localeCompare(b.file) || a.line - b.line);
+};
+const violationForCrossCrateImport = (useFact, manifests, crateByIdentifier, rules, facts) => {
+    const targetCrate = crateByIdentifier.get(useFact.segments[0]);
+    if (targetCrate === undefined)
+        return [];
+    const fromCrate = resolveManifestForFile(useFact.file, manifests);
+    if (fromCrate === undefined)
+        return [];
+    const rule = lookupBoundaryRule(rules, targetCrate);
+    if (rule === undefined)
+        return [];
+    const dependentViolation = dependentRuleViolation(useFact, fromCrate, targetCrate, rule);
+    if (dependentViolation !== undefined)
+        return [dependentViolation];
+    const targetVisibility = resolveTargetVisibility(useFact.segments.slice(1), targetCrate.packageName ?? targetCrate.name, facts.modulesByPath, facts.itemsByModuleAndName);
+    const visibilityViolation = visibilityRuleViolation(useFact, fromCrate, targetCrate, targetVisibility);
+    if (visibilityViolation !== undefined)
+        return [visibilityViolation];
+    const moduleViolation = publicModuleRuleViolation(useFact, fromCrate, targetCrate, rule, targetVisibility);
+    return moduleViolation === undefined ? [] : [moduleViolation];
+};
+const dependentRuleViolation = (useFact, fromCrate, targetCrate, rule) => {
+    const dependentIdentifiers = crateIdentifiers(fromCrate);
+    if (rule.allowedDependents.length === 0 ||
+        rule.allowedDependents.some((allowed) => dependentIdentifiers.has(allowed))) {
+        return undefined;
+    }
+    return baseViolation(useFact, fromCrate, targetCrate, {
+        kind: "dependent-not-allowed",
+        detail: `Crate ${fromCrate.packageName ?? fromCrate.name} is not listed in allowed_dependents for ${targetCrate.packageName ?? targetCrate.name}`,
+    });
+};
+const visibilityRuleViolation = (useFact, fromCrate, targetCrate, targetVisibility) => {
+    if (targetVisibility === undefined || isExternallyVisible(targetVisibility.visibility)) {
+        return undefined;
+    }
+    return baseViolation(useFact, fromCrate, targetCrate, {
+        kind: "non-public-target",
+        detail: `${useFact.path} resolves to a ${targetVisibility.kind} with visibility ${targetVisibility.visibility.kind}`,
+    });
+};
+const publicModuleRuleViolation = (useFact, fromCrate, targetCrate, rule, targetVisibility) => {
+    const importedModule = importedModulePath(useFact.segments.slice(1), targetVisibility?.kind === "module");
+    const isAllowedModule = rule.publicModules.some((prefix) => prefix === "crate"
+        ? importedModule === "crate"
+        : importedModule === prefix || importedModule.startsWith(`${prefix}::`));
+    return isAllowedModule
+        ? undefined
+        : baseViolation(useFact, fromCrate, targetCrate, {
+            kind: "boundary-rule",
+            detail: `${useFact.path} bypasses declared public modules (${rule.publicModules.join(", ")})`,
+        });
+};
+const baseViolation = (useFact, fromCrate, targetCrate, violation) => ({
+    file: useFact.file,
+    line: useFact.line,
+    fromCrate: fromCrate.packageName ?? fromCrate.name,
+    toCrate: targetCrate.packageName ?? targetCrate.name,
+    importPath: useFact.path,
+    ...violation,
+});
+const crateIdentifiers = (manifest) => new Set([manifest.name, manifest.packageName].filter((value) => value !== undefined));
+export const buildCrateIdentifierIndex = (manifests) => {
+    const index = new Map();
+    for (const manifest of manifests) {
+        for (const identifier of crateIdentifiers(manifest)) {
+            index.set(identifier, manifest);
+        }
+    }
+    return index;
+};
+const lookupBoundaryRule = (rules, manifest) => rules.get(manifest.packageName ?? "") ?? rules.get(manifest.name);
+const importedModulePath = (segments, importingModule) => {
+    if (segments.length === 0)
+        return "crate";
+    if (importingModule) {
+        return `crate::${segments.join("::")}`;
+    }
+    if (segments.length === 1)
+        return "crate";
+    return `crate::${segments.slice(0, -1).join("::")}`;
+};
+const resolveTargetVisibility = (afterCrateSegments, crateName, modulesByPath, itemsByModuleAndName) => {
+    if (afterCrateSegments.length === 0) {
+        return { kind: "module", visibility: { kind: "pub" } };
+    }
+    const moduleCandidate = `${crateName}::crate::${afterCrateSegments.join("::")}`;
+    const module = modulesByPath.get(moduleCandidate);
+    if (module !== undefined) {
+        return { kind: "module", visibility: module.visibility };
+    }
+    const itemModulePath = afterCrateSegments.length === 1
+        ? `${crateName}::crate`
+        : `${crateName}::crate::${afterCrateSegments.slice(0, -1).join("::")}`;
+    const itemModule = modulesByPath.get(itemModulePath);
+    if (itemModule !== undefined && !isExternallyVisible(itemModule.visibility)) {
+        return { kind: "module", visibility: itemModule.visibility };
+    }
+    const item = itemsByModuleAndName.get(`${itemModulePath}::${afterCrateSegments[afterCrateSegments.length - 1]}`);
+    if (item !== undefined) {
+        return { kind: "item", visibility: item.visibility };
+    }
+    return undefined;
+};
+//# sourceMappingURL=rs-ad-02-crate-analysis.js.map

package/dist/signals/rs-ad-02-crate-analysis.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rs-ad-02-crate-analysis.js","sourceRoot":"","sources":["../../src/signals/rs-ad-02-crate-analysis.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,mBAAmB,GAIpB,MAAM,qBAAqB,CAAA;AAE5B,OAAO,EAAE,sBAAsB,EAAE,MAAM,6BAA6B,CAAA;AACpE,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAA;AAS9C,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,KAAuB,EACvB,iBAAwD,EACxD,MAAoB,EACQ,EAAE,CAC9B,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE;IAC5B,IAAI,UAAU,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,aAAa,CAAC;QAAE,OAAO,KAAK,CAAA;IAChE,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;IAChC,OAAO,IAAI,KAAK,SAAS,IAAI,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;AAC1D,CAAC,CAAC,CAAA;AAEJ,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,iBAA6C,EAC7C,SAA0C,EAC1C,iBAAwD,EACxD,KAA4C,EAC5C,KAAuB,EACS,EAAE;IAClC,MAAM,UAAU,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CACvD,4BAA4B,CAAC,OAAO,EAAE,SAAS,EAAE,iBAAiB,EAAE,KAAK,EAAE,KAAK,CAAC,CAClF,CAAA;IACD,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAA;AACnF,CAAC,CAAA;AAED,MAAM,4BAA4B,GAAG,CACnC,OAAoB,EACpB,SAA0C,EAC1C,iBAAwD,EACxD,KAA4C,EAC5C,KAAuB,EACS,EAAE;IAClC,MAAM,WAAW,GAAG,iBAAiB,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,CAAA;IAC/D,IAAI,WAAW,KAAK,SAAS;QAAE,OAAO,EAAE,CAAA;IACxC,MAAM,SAAS,GAAG,sBAAsB,CAAC,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,CAAA;IACjE,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,EAAE,CAAA;IACtC,MAAM,IAAI,GAAG,kBAAkB,CAAC,KAAK,EAAE,WAAW,CAAC,CAAA;IACnD,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,EAAE,CAAA;IAEjC,MAAM,kBAAkB,GAAG,sBAAsB,CAAC,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,IAAI,CAAC,CAAA;IACxF,IAAI,kBAAkB,KAAK,SAAS;QAAE,OAAO,CAAC,kBAAkB,CAAC,CAAA;IAEjE,MAAM,gBAAgB,GAAG,uBAAuB,CAC9C,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EACzB,WAAW,CAAC,WAAW,IAAI,WAAW,CAAC,IAAI,EAC3C,KAAK,CAAC,aAAa,EACnB,KAAK,CAAC,oBAAoB,CAC3B,CAAA;IACD,MAAM,mBAAmB,GAAG,uBAAuB,CAAC,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,gBAAgB,CAAC,CAAA;IACtG,IAAI,mBAAmB,KAAK,SAAS;QAAE,OAAO,CAAC,mBAAmB,CAAC,CAAA;IAEnE,MAAM,eAAe,GAAG,yBAAyB,CAAC,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,IAAI,EAAE,gBAAgB,CAAC,CAAA;IAC1G,OAAO,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAA;AAC/D,CAAC,CAAA;AAED,MAAM,sBAAsB,GAAG,CAC7B,OAAoB,EACpB,SAA2B,EAC3B,WAA6B,EAC7B,IAAsB,EACO,EAAE;IAC/B,MAAM,oBAAoB,GAAG,gBAAgB,CAAC,SAAS,CAAC,CAAA;IACxD,IACE,IAAI,CAAC,iBAAiB,CAAC,MAAM,KAAK,CAAC;QACnC,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,oBAAoB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,EAC3E,CAAC;QACD,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,OAAO,aAAa,CAAC,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE;QACpD,IAAI,EAAE,uBAAuB;QAC7B,MAAM,EAAE,SAAS,SAAS,CAAC,WAAW,IAAI,SAAS,CAAC,IAAI,4CAA4C,WAAW,CAAC,WAAW,IAAI,WAAW,CAAC,IAAI,EAAE;KAClJ,CAAC,CAAA;AACJ,CAAC,CAAA;AAED,MAAM,uBAAuB,GAAG,CAC9B,OAAoB,EACpB,SAA2B,EAC3B,WAA6B,EAC7B,gBAA4D,EAC/B,EAAE;IAC/B,IAAI,gBAAgB,KAAK,SAAS,IAAI,mBAAmB,CAAC,gBAAgB,CAAC,UAAU,CAAC,EAAE,CAAC;QACvF,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,OAAO,aAAa,CAAC,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE;QACpD,IAAI,EAAE,mBAAmB;QACzB,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,kBAAkB,gBAAgB,CAAC,IAAI,oBAAoB,gBAAgB,CAAC,UAAU,CAAC,IAAI,EAAE;KACrH,CAAC,CAAA;AACJ,CAAC,CAAA;AAED,MAAM,yBAAyB,GAAG,CAChC,OAAoB,EACpB,SAA2B,EAC3B,WAA6B,EAC7B,IAAsB,EACtB,gBAA4D,EAC/B,EAAE;IAC/B,MAAM,cAAc,GAAG,kBAAkB,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAA;IACzG,MAAM,eAAe,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CACzD,MAAM,KAAK,OAAO;QAChB,CAAC,CAAC,cAAc,KAAK,OAAO;QAC5B,CAAC,CAAC,cAAc,KAAK,MAAM,IAAI,cAAc,CAAC,UAAU,CAAC,GAAG,MAAM,IAAI,CAAC,CAC1E,CAAA;IACD,OAAO,eAAe;QACpB,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,aAAa,CAAC,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE;YAC7C,IAAI,EAAE,eAAe;YACrB,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,sCAAsC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;SAC9F,CAAC,CAAA;AACR,CAAC,CAAA;AAED,MAAM,aAAa,GAAG,CACpB,OAAoB,EACpB,SAA2B,EAC3B,WAA6B,EAC7B,SAAmD,EAClC,EAAE,CAAC,CAAC;IACrB,IAAI,EAAE,OAAO,CAAC,IAAI;IAClB,IAAI,EAAE,OAAO,CAAC,IAAI;IAClB,SAAS,EAAE,SAAS,CAAC,WAAW,IAAI,SAAS,CAAC,IAAI;IAClD,OAAO,EAAE,WAAW,CAAC,WAAW,IAAI,WAAW,CAAC,IAAI;IACpD,UAAU,EAAE,OAAO,CAAC,IAAI;IACxB,GAAG,SAAS;CACb,CAAC,CAAA;AAEF,MAAM,gBAAgB,GAAG,CAAC,QAA0B,EAAuB,EAAE,CAC3E,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAA;AAExG,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,SAA0C,EACH,EAAE;IACzC,MAAM,KAAK,GAAG,IAAI,GAAG,EAA4B,CAAA;IACjD,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,KAAK,MAAM,UAAU,IAAI,gBAAgB,CAAC,QAAQ,CAAC,EAAE,CAAC;YACpD,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAA;QACjC,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC,CAAA;AAED,MAAM,kBAAkB,GAAG,CACzB,KAA4C,EAC5C,QAA0B,EACI,EAAE,CAChC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,WAAW,IAAI,EAAE,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;AAEnE,MAAM,kBAAkB,GAAG,CAAC,QAA+B,EAAE,eAAwB,EAAU,EAAE;IAC/F,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,OAAO,CAAA;IACzC,IAAI,eAAe,EAAE,CAAC;QACpB,OAAO,UAAU,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAA;IACxC,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,OAAO,CAAA;IACzC,OAAO,UAAU,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAA;AACrD,CAAC,CAAA;AAED,MAAM,uBAAuB,GAAG,CAC9B,kBAAyC,EACzC,SAAiB,EACjB,aAAkD,EAClD,oBAAuD,EAC2E,EAAE;IACpI,IAAI,kBAAkB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAA;IACxD,CAAC;IAED,MAAM,eAAe,GAAG,GAAG,SAAS,YAAY,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAA;IAC/E,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,CAAC,eAAe,CAAC,CAAA;IACjD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,CAAA;IAC1D,CAAC;IAED,MAAM,cAAc,GAClB,kBAAkB,CAAC,MAAM,KAAK,CAAC;QAC7B,CAAC,CAAC,GAAG,SAAS,SAAS;QACvB,CAAC,CAAC,GAAG,SAAS,YAAY,kBAAkB,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAA;IAC1E,MAAM,UAAU,GAAG,aAAa,CAAC,GAAG,CAAC,cAAc,CAAC,CAAA;IACpD,IAAI,UAAU,KAAK,SAAS,IAAI,CAAC,mBAAmB,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC5E,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,CAAC,UAAU,EAAE,CAAA;IAC9D,CAAC;IAED,MAAM,IAAI,GAAG,oBAAoB,CAAC,GAAG,CAAC,GAAG,cAAc,KAAK,kBAAkB,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC,CAAA;IAChH,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,CAAA;IACtD,CAAC;IAED,OAAO,SAAS,CAAA;AAClB,CAAC,CAAA"}

package/dist/signals/rs-ad-02-crate-boundaries.d.ts

@@ -0,0 +1,6 @@
+import { type Signal } from "@skastr0/pulsar-core/signal";
+import { ReferenceDataTag } from "@skastr0/pulsar-core/reference-data";
+import { RustProjectTag } from "../project.js";
+import { type RsAd02Config as RsAd02ConfigType, type RsAd02Output } from "./rs-ad-02-types.js";
+export declare const RsAd02: Signal<RsAd02ConfigType, RsAd02Output, RustProjectTag | ReferenceDataTag>;
+//# sourceMappingURL=rs-ad-02-crate-boundaries.d.ts.map

package/dist/signals/rs-ad-02-crate-boundaries.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rs-ad-02-crate-boundaries.d.ts","sourceRoot":"","sources":["../../src/signals/rs-ad-02-crate-boundaries.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,MAAM,EAEZ,MAAM,6BAA6B,CAAA;AACpC,OAAO,EAEL,gBAAgB,EACjB,MAAM,qCAAqC,CAAA;AAW5C,OAAO,EAEL,cAAc,EACf,MAAM,eAAe,CAAA;AAOtB,OAAO,EAEL,KAAK,YAAY,IAAI,gBAAgB,EACrC,KAAK,YAAY,EAElB,MAAM,qBAAqB,CAAA;AAE5B,eAAO,MAAM,MAAM,EAAE,MAAM,CAAC,gBAAgB,EAAE,YAAY,EAAE,cAAc,GAAG,gBAAgB,CAgD5F,CAAA"}

package/dist/signals/rs-ad-02-crate-boundaries.js

@@ -0,0 +1,84 @@
+import { SignalComputeError, } from "@skastr0/pulsar-core/signal";
+import { ReferenceDataTag, } from "@skastr0/pulsar-core/reference-data";
+import { Option, Effect, } from "effect";
+import { computeDiagnosticHash, } from "@skastr0/pulsar-core/reference-data";
+import { collectRustProjectFacts, } from "../rust-analysis.js";
+import { RustProjectTag, } from "../project.js";
+import { normalizeBoundaryRules } from "./rs-ad-02-boundary-rules.js";
+import { buildCrateIdentifierIndex, collectCrossCrateImports, evaluateCrateBoundaryViolations, } from "./rs-ad-02-crate-analysis.js";
+import { RsAd02Config, } from "./rs-ad-02-types.js";
+export const RsAd02 = {
+    id: "RS-AD-02-crate-boundaries",
+    title: "Crate boundary violations",
+    aliases: ["RS-AD-02"],
+    tier: 2,
+    category: "architectural-drift",
+    kind: "structural",
+    configSchema: RsAd02Config,
+    defaultConfig: {
+        exclude_globs: ["**/target/**", "**/tests/**", "**/examples/**", "**/benches/**"],
+        top_n_diagnostics: 10,
+    },
+    inputs: [],
+    compute: (config) => Effect.gen(function* () {
+        const project = yield* RustProjectTag;
+        const referenceData = yield* ReferenceDataTag;
+        return yield* Effect.tryPromise({
+            try: () => computeRsAd02Output(project, referenceData, config),
+            catch: (cause) => new SignalComputeError({ signalId: "RS-AD-02-crate-boundaries", message: String(cause), cause }),
+        });
+    }),
+    score: (out) => {
+        if (out.checkedImports === 0)
+            return 1;
+        return Math.max(0, 1 - (out.violations.length / out.checkedImports) * 2);
+    },
+    diagnose: (out) => {
+        if (out.referenceDataStatus === "missing") {
+            return [
+                {
+                    severity: "warn",
+                    message: "RS-AD-02 requires schema-conventions reference data; no Rust boundary rules were loaded",
+                },
+            ];
+        }
+        return out.violations.slice(0, 10).map((violation) => ({
+            severity: "block",
+            message: `Crate boundary violation: ${violation.importPath} (${violation.detail})`,
+            location: { file: violation.file, line: violation.line },
+            data: {
+                hash: hashViolation(violation),
+                ...violation,
+            },
+        }));
+    },
+};
+const computeRsAd02Output = async (project, referenceData, config) => {
+    if (project.sourceFiles.length === 0)
+        return missingReferenceDataOutput(0);
+    const facts = await collectRustProjectFacts(project);
+    const crateByIdentifier = buildCrateIdentifierIndex(project.manifests);
+    const crossCrateImports = collectCrossCrateImports(facts, crateByIdentifier, config);
+    const rawConventions = await Effect.runPromise(referenceData.get("schema-conventions"));
+    if (Option.isNone(rawConventions))
+        return missingReferenceDataOutput(crossCrateImports.length);
+    const rules = normalizeBoundaryRules(rawConventions.value);
+    return {
+        checkedImports: crossCrateImports.length,
+        violations: evaluateCrateBoundaryViolations(crossCrateImports, project.manifests, crateByIdentifier, rules, facts),
+        referenceDataStatus: "loaded",
+    };
+};
+const missingReferenceDataOutput = (checkedImports) => ({
+    checkedImports,
+    violations: [],
+    referenceDataStatus: "missing",
+});
+const hashViolation = (violation) => computeDiagnosticHash([
+    violation.fromCrate,
+    violation.toCrate,
+    violation.file,
+    violation.importPath,
+    violation.kind,
+].join("|"));
+//# sourceMappingURL=rs-ad-02-crate-boundaries.js.map

package/dist/signals/rs-ad-02-crate-boundaries.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rs-ad-02-crate-boundaries.js","sourceRoot":"","sources":["../../src/signals/rs-ad-02-crate-boundaries.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,kBAAkB,GACnB,MAAM,6BAA6B,CAAA;AACpC,OAAO,EAEL,gBAAgB,GACjB,MAAM,qCAAqC,CAAA;AAC5C,OAAO,EACL,MAAM,EACN,MAAM,GACP,MAAM,QAAQ,CAAA;AACf,OAAO,EACL,qBAAqB,GACtB,MAAM,qCAAqC,CAAA;AAC5C,OAAO,EACL,uBAAuB,GACxB,MAAM,qBAAqB,CAAA;AAC5B,OAAO,EAEL,cAAc,GACf,MAAM,eAAe,CAAA;AACtB,OAAO,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAA;AACrE,OAAO,EACL,yBAAyB,EACzB,wBAAwB,EACxB,+BAA+B,GAChC,MAAM,8BAA8B,CAAA;AACrC,OAAO,EACL,YAAY,GAIb,MAAM,qBAAqB,CAAA;AAE5B,MAAM,CAAC,MAAM,MAAM,GAA8E;IAC/F,EAAE,EAAE,2BAA2B;IAC/B,KAAK,EAAE,2BAA2B;IAClC,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,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,MAAM,aAAa,GAAG,KAAK,CAAC,CAAC,gBAAgB,CAAA;QAC7C,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC;YAC9B,GAAG,EAAE,GAAG,EAAE,CAAC,mBAAmB,CAAC,OAAO,EAAE,aAAa,EAAE,MAAM,CAAC;YAC9D,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CACf,IAAI,kBAAkB,CAAC,EAAE,QAAQ,EAAE,2BAA2B,EAAE,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC;SACnG,CAAC,CAAA;IACJ,CAAC,CAAC;IACJ,KAAK,EAAE,CAAC,GAAG,EAAE,EAAE;QACb,IAAI,GAAG,CAAC,cAAc,KAAK,CAAC;YAAE,OAAO,CAAC,CAAA;QACtC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAA;IAC1E,CAAC;IACD,QAAQ,EAAE,CAAC,GAAG,EAA6B,EAAE;QAC3C,IAAI,GAAG,CAAC,mBAAmB,KAAK,SAAS,EAAE,CAAC;YAC1C,OAAO;gBACL;oBACE,QAAQ,EAAE,MAAM;oBAChB,OAAO,EACL,yFAAyF;iBAC5F;aACF,CAAA;QACH,CAAC;QAED,OAAO,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;YACrD,QAAQ,EAAE,OAAgB;YAC1B,OAAO,EAAE,6BAA6B,SAAS,CAAC,UAAU,KAAK,SAAS,CAAC,MAAM,GAAG;YAClF,QAAQ,EAAE,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE;YACxD,IAAI,EAAE;gBACJ,IAAI,EAAE,aAAa,CAAC,SAAS,CAAC;gBAC9B,GAAG,SAAS;aACb;SACF,CAAC,CAAC,CAAA;IACL,CAAC;CACF,CAAA;AAED,MAAM,mBAAmB,GAAG,KAAK,EAC/B,OAAoB,EACpB,aAA4B,EAC5B,MAAwB,EACD,EAAE;IACzB,IAAI,OAAO,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,0BAA0B,CAAC,CAAC,CAAC,CAAA;IAE1E,MAAM,KAAK,GAAG,MAAM,uBAAuB,CAAC,OAAO,CAAC,CAAA;IACpD,MAAM,iBAAiB,GAAG,yBAAyB,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;IACtE,MAAM,iBAAiB,GAAG,wBAAwB,CAAC,KAAK,EAAE,iBAAiB,EAAE,MAAM,CAAC,CAAA;IACpF,MAAM,cAAc,GAAG,MAAM,MAAM,CAAC,UAAU,CAAC,aAAa,CAAC,GAAG,CAAU,oBAAoB,CAAC,CAAC,CAAA;IAChG,IAAI,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC;QAAE,OAAO,0BAA0B,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAA;IAE9F,MAAM,KAAK,GAAG,sBAAsB,CAAC,cAAc,CAAC,KAAK,CAAC,CAAA;IAC1D,OAAO;QACL,cAAc,EAAE,iBAAiB,CAAC,MAAM;QACxC,UAAU,EAAE,+BAA+B,CACzC,iBAAiB,EACjB,OAAO,CAAC,SAAS,EACjB,iBAAiB,EACjB,KAAK,EACL,KAAK,CACN;QACD,mBAAmB,EAAE,QAAQ;KAC9B,CAAA;AACH,CAAC,CAAA;AAED,MAAM,0BAA0B,GAAG,CAAC,cAAsB,EAAgB,EAAE,CAAC,CAAC;IAC5E,cAAc;IACd,UAAU,EAAE,EAAE;IACd,mBAAmB,EAAE,SAAS;CAC/B,CAAC,CAAA;AAEF,MAAM,aAAa,GAAG,CAAC,SAA0B,EAAU,EAAE,CAC3D,qBAAqB,CACnB;IACE,SAAS,CAAC,SAAS;IACnB,SAAS,CAAC,OAAO;IACjB,SAAS,CAAC,IAAI;IACd,SAAS,CAAC,UAAU;IACpB,SAAS,CAAC,IAAI;CACf,CAAC,IAAI,CAAC,GAAG,CAAC,CACZ,CAAA"}

package/dist/signals/rs-ad-02-types.d.ts

@@ -0,0 +1,26 @@
+import { Schema } from "effect";
+export declare const RsAd02Config: Schema.Struct<{
+    exclude_globs: Schema.Array$<typeof Schema.String>;
+    top_n_diagnostics: typeof Schema.Number;
+}>;
+export type RsAd02Config = typeof RsAd02Config.Type;
+export interface RustBoundaryRule {
+    readonly visibility: string;
+    readonly allowedDependents: ReadonlyArray<string>;
+    readonly publicModules: ReadonlyArray<string>;
+}
+export interface RsAd02Violation {
+    readonly file: string;
+    readonly line: number;
+    readonly fromCrate: string;
+    readonly toCrate: string;
+    readonly importPath: string;
+    readonly kind: "dependent-not-allowed" | "non-public-target" | "boundary-rule";
+    readonly detail: string;
+}
+export interface RsAd02Output {
+    readonly checkedImports: number;
+    readonly violations: ReadonlyArray<RsAd02Violation>;
+    readonly referenceDataStatus: "loaded" | "missing";
+}
+//# sourceMappingURL=rs-ad-02-types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"rs-ad-02-types.d.ts","sourceRoot":"","sources":["../../src/signals/rs-ad-02-types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B,eAAO,MAAM,YAAY;;;EAGvB,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;AAEnD,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,iBAAiB,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IACjD,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;CAC9C;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,IAAI,EAAE,uBAAuB,GAAG,mBAAmB,GAAG,eAAe,CAAA;IAC9E,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACxB;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;IAC/B,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,eAAe,CAAC,CAAA;IACnD,QAAQ,CAAC,mBAAmB,EAAE,QAAQ,GAAG,SAAS,CAAA;CACnD"}

package/dist/signals/rs-ad-02-types.js

@@ -0,0 +1,6 @@
+import { Schema } from "effect";
+export const RsAd02Config = Schema.Struct({
+    exclude_globs: Schema.Array(Schema.String),
+    top_n_diagnostics: Schema.Number,
+});
+//# sourceMappingURL=rs-ad-02-types.js.map

package/dist/signals/rs-ad-02-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rs-ad-02-types.js","sourceRoot":"","sources":["../../src/signals/rs-ad-02-types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC;IACxC,aAAa,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IAC1C,iBAAiB,EAAE,MAAM,CAAC,MAAM;CACjC,CAAC,CAAA"}

package/dist/signals/rs-ad-03-circular-crate-deps.d.ts

@@ -0,0 +1,30 @@
+import { type Signal } from "@skastr0/pulsar-core/signal";
+import { Schema } from "effect";
+import { RustProjectTag } from "../project.js";
+declare const RsAd03Config: Schema.Struct<{
+    top_n_diagnostics: typeof Schema.Number;
+}>;
+type RsAd03Config = typeof RsAd03Config.Type;
+interface CrateEdge {
+    readonly from: string;
+    readonly to: string;
+    readonly kind: string;
+    readonly optional: boolean;
+    readonly featureDriven: boolean;
+}
+interface CrateCycle {
+    readonly crates: ReadonlyArray<string>;
+    readonly edges: ReadonlyArray<CrateEdge>;
+    readonly architecturalSpan: string;
+    readonly featureInduced: boolean;
+    readonly manifestPaths: ReadonlyArray<string>;
+}
+interface RsAd03Output {
+    readonly cycles: ReadonlyArray<CrateCycle>;
+    readonly cycleCount: number;
+    readonly largestCycleSize: number;
+    readonly metadataStatus: "loaded" | "missing";
+}
+export declare const RsAd03: Signal<RsAd03Config, RsAd03Output, RustProjectTag>;
+export {};
+//# sourceMappingURL=rs-ad-03-circular-crate-deps.d.ts.map

package/dist/signals/rs-ad-03-circular-crate-deps.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rs-ad-03-circular-crate-deps.d.ts","sourceRoot":"","sources":["../../src/signals/rs-ad-03-circular-crate-deps.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,MAAM,EAEZ,MAAM,6BAA6B,CAAA;AAEpC,OAAO,EAAU,MAAM,EAAE,MAAM,QAAQ,CAAA;AAKvC,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AAE9C,QAAA,MAAM,YAAY;;EAEhB,CAAA;AACF,KAAK,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;AAE5C,UAAU,SAAS;IACjB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;IAC1B,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAA;CAChC;AAED,UAAU,UAAU;IAClB,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IACtC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,SAAS,CAAC,CAAA;IACxC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAA;IAClC,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAA;IAChC,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;CAC9C;AAED,UAAU,YAAY;IACpB,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,UAAU,CAAC,CAAA;IAC1C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAA;IACjC,QAAQ,CAAC,cAAc,EAAE,QAAQ,GAAG,SAAS,CAAA;CAC9C;AAED,eAAO,MAAM,MAAM,EAAE,MAAM,CAAC,YAAY,EAAE,YAAY,EAAE,cAAc,CAwFrE,CAAA"}

package/dist/signals/rs-ad-03-circular-crate-deps.js

@@ -0,0 +1,185 @@
+import { SignalComputeError, } from "@skastr0/pulsar-core/signal";
+import { computeDiagnosticHash } from "@skastr0/pulsar-core/reference-data";
+import { Effect, Schema } from "effect";
+import { workspacePackages, } from "../cargo-metadata.js";
+import { RustProjectTag } from "../project.js";
+const RsAd03Config = Schema.Struct({
+    top_n_diagnostics: Schema.Number,
+});
+export const RsAd03 = {
+    id: "RS-AD-03-circular-crate-dependencies",
+    title: "Circular crate dependencies",
+    aliases: ["RS-AD-03"],
+    tier: 1,
+    category: "architectural-drift",
+    kind: "structural",
+    configSchema: RsAd03Config,
+    defaultConfig: {
+        top_n_diagnostics: 10,
+    },
+    inputs: [],
+    compute: () => Effect.gen(function* () {
+        const project = yield* RustProjectTag;
+        return yield* Effect.try({
+            try: () => {
+                const metadata = project.cargoMetadata;
+                if (metadata === undefined) {
+                    return {
+                        cycles: [],
+                        cycleCount: 0,
+                        largestCycleSize: 0,
+                        metadataStatus: "missing",
+                    };
+                }
+                const packages = workspacePackages(metadata);
+                const packageByName = new Map(packages.map((pkg) => [pkg.name, pkg]));
+                const graph = new Map();
+                for (const pkg of packages) {
+                    const edges = [];
+                    for (const dep of pkg.dependencies) {
+                        const target = packageByName.get(dep.name);
+                        if (target === undefined)
+                            continue;
+                        edges.push({
+                            from: pkg.name,
+                            to: target.name,
+                            kind: dep.kind ?? "normal",
+                            optional: dep.optional,
+                            featureDriven: dep.optional || dep.features.length > 0,
+                        });
+                    }
+                    graph.set(pkg.name, edges);
+                }
+                const sccs = tarjan(graph);
+                const cycles = sccs
+                    .filter((scc) => scc.length > 1 || hasSelfLoop(scc[0], graph))
+                    .map((scc) => toCycle(scc, graph, packageByName))
+                    .sort((a, b) => b.crates.length - a.crates.length || a.architecturalSpan.localeCompare(b.architecturalSpan));
+                return {
+                    cycles,
+                    cycleCount: cycles.length,
+                    largestCycleSize: cycles.reduce((max, cycle) => Math.max(max, cycle.crates.length), 0),
+                    metadataStatus: "loaded",
+                };
+            },
+            catch: (cause) => new SignalComputeError({ signalId: "RS-AD-03-circular-crate-dependencies", message: String(cause), cause }),
+        });
+    }),
+    score: (out) => {
+        if (out.cycleCount === 0)
+            return 1;
+        const countPenalty = Math.min(1, out.cycleCount * 0.15);
+        const sizePenalty = Math.min(0.5, Math.max(0, out.largestCycleSize - 2) * 0.1);
+        return Math.max(0, 1 - countPenalty - sizePenalty);
+    },
+    diagnose: (out) => {
+        if (out.metadataStatus === "missing") {
+            return [{ severity: "warn", message: "RS-AD-03 could not load cargo metadata for this repo" }];
+        }
+        return out.cycles.slice(0, 10).map((cycle) => ({
+            severity: "block",
+            message: `Circular crate dependency (${cycle.crates.length} crates): ${cycle.architecturalSpan}`,
+            location: { file: cycle.manifestPaths[0] ?? "Cargo.toml" },
+            data: {
+                hash: computeDiagnosticHash(cycle.architecturalSpan),
+                crates: [...cycle.crates],
+                edges: cycle.edges.map((edge) => ({ ...edge })),
+                architecturalSpan: cycle.architecturalSpan,
+                featureInduced: cycle.featureInduced,
+                manifestPaths: [...cycle.manifestPaths],
+            },
+        }));
+    },
+};
+const hasSelfLoop = (node, graph) => (node === undefined ? false : (graph.get(node) ?? []).some((edge) => edge.to === node));
+const toCycle = (scc, graph, packageByName) => {
+    const cycleSet = new Set(scc);
+    const edges = scc.flatMap((from) => (graph.get(from) ?? []).filter((edge) => cycleSet.has(edge.to)));
+    const ordered = [...scc].sort();
+    const architecturalSpan = `${ordered.join("→")}→${ordered[0] ?? ""}`;
+    return {
+        crates: ordered,
+        edges,
+        architecturalSpan,
+        featureInduced: edges.some((edge) => edge.featureDriven || edge.optional || edge.kind !== "normal"),
+        manifestPaths: ordered.flatMap((crate) => {
+            const manifestPath = packageByName.get(crate)?.manifestPath;
+            return manifestPath === undefined ? [] : [manifestPath];
+        }),
+    };
+};
+const tarjan = (graph) => {
+    let index = 0;
+    const indices = new Map();
+    const lowlinks = new Map();
+    const onStack = new Set();
+    const stack = [];
+    const sccs = [];
+    const visit = (start) => {
+        const frames = [];
+        const enter = (node) => {
+            indices.set(node, index);
+            lowlinks.set(node, index);
+            index += 1;
+            stack.push(node);
+            onStack.add(node);
+            frames.push({
+                node,
+                neighbors: (graph.get(node) ?? []).map((edge) => edge.to),
+                cursor: 0,
+            });
+        };
+        const popComponent = (root) => {
+            const scc = [];
+            while (true) {
+                const value = stack.pop();
+                if (value === undefined)
+                    break;
+                onStack.delete(value);
+                scc.push(value);
+                if (value === root)
+                    break;
+            }
+            return scc;
+        };
+        const propagateLowlinkToParent = (frame) => {
+            const parent = frames[frames.length - 1];
+            if (parent === undefined)
+                return;
+            lowlinks.set(parent.node, Math.min(lowlinks.get(parent.node) ?? 0, lowlinks.get(frame.node) ?? 0));
+        };
+        const finishFrame = (frame) => {
+            if (lowlinks.get(frame.node) === indices.get(frame.node)) {
+                sccs.push(popComponent(frame.node));
+            }
+            frames.pop();
+            propagateLowlinkToParent(frame);
+        };
+        const visitNeighbor = (frame) => {
+            const neighbor = frame.neighbors[frame.cursor];
+            frame.cursor += 1;
+            if (!indices.has(neighbor)) {
+                enter(neighbor);
+                return;
+            }
+            if (!onStack.has(neighbor))
+                return;
+            lowlinks.set(frame.node, Math.min(lowlinks.get(frame.node) ?? 0, indices.get(neighbor) ?? 0));
+        };
+        enter(start);
+        while (frames.length > 0) {
+            const frame = frames[frames.length - 1];
+            if (frame.cursor >= frame.neighbors.length) {
+                finishFrame(frame);
+                continue;
+            }
+            visitNeighbor(frame);
+        }
+    };
+    for (const node of graph.keys()) {
+        if (!indices.has(node))
+            visit(node);
+    }
+    return sccs;
+};
+//# sourceMappingURL=rs-ad-03-circular-crate-deps.js.map

package/dist/signals/rs-ad-03-circular-crate-deps.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rs-ad-03-circular-crate-deps.js","sourceRoot":"","sources":["../../src/signals/rs-ad-03-circular-crate-deps.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,kBAAkB,GACnB,MAAM,6BAA6B,CAAA;AACpC,OAAO,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAA;AAC3E,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,EAEL,iBAAiB,GAClB,MAAM,sBAAsB,CAAA;AAC7B,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AAE9C,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC;IACjC,iBAAiB,EAAE,MAAM,CAAC,MAAM;CACjC,CAAC,CAAA;AA0BF,MAAM,CAAC,MAAM,MAAM,GAAuD;IACxE,EAAE,EAAE,sCAAsC;IAC1C,KAAK,EAAE,6BAA6B;IACpC,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,iBAAiB,EAAE,EAAE;KACtB;IACD,MAAM,EAAE,EAAE;IACV,OAAO,EAAE,GAAG,EAAE,CACZ,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,cAAc,CAAA;QACrC,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;YACvB,GAAG,EAAE,GAAiB,EAAE;gBACtB,MAAM,QAAQ,GAAG,OAAO,CAAC,aAAa,CAAA;gBACtC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;oBAC3B,OAAO;wBACL,MAAM,EAAE,EAAE;wBACV,UAAU,EAAE,CAAC;wBACb,gBAAgB,EAAE,CAAC;wBACnB,cAAc,EAAE,SAAS;qBAC1B,CAAA;gBACH,CAAC;gBAED,MAAM,QAAQ,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAA;gBAC5C,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAU,CAAC,CAAC,CAAA;gBAC9E,MAAM,KAAK,GAAG,IAAI,GAAG,EAA4B,CAAA;gBAEjD,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;oBAC3B,MAAM,KAAK,GAAqB,EAAE,CAAA;oBAClC,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;wBACnC,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;wBAC1C,IAAI,MAAM,KAAK,SAAS;4BAAE,SAAQ;wBAClC,KAAK,CAAC,IAAI,CAAC;4BACT,IAAI,EAAE,GAAG,CAAC,IAAI;4BACd,EAAE,EAAE,MAAM,CAAC,IAAI;4BACf,IAAI,EAAE,GAAG,CAAC,IAAI,IAAI,QAAQ;4BAC1B,QAAQ,EAAE,GAAG,CAAC,QAAQ;4BACtB,aAAa,EAAE,GAAG,CAAC,QAAQ,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;yBACvD,CAAC,CAAA;oBACJ,CAAC;oBACD,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;gBAC5B,CAAC;gBAED,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAA;gBAC1B,MAAM,MAAM,GAAG,IAAI;qBAChB,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;qBAC7D,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,EAAE,aAAa,CAAC,CAAC;qBAChD,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,IAAI,CAAC,CAAC,iBAAiB,CAAC,aAAa,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAA;gBAE9G,OAAO;oBACL,MAAM;oBACN,UAAU,EAAE,MAAM,CAAC,MAAM;oBACzB,gBAAgB,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;oBACtF,cAAc,EAAE,QAAQ;iBACzB,CAAA;YACH,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CACf,IAAI,kBAAkB,CAAC,EAAE,QAAQ,EAAE,sCAAsC,EAAE,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC;SAC9G,CAAC,CAAA;IACJ,CAAC,CAAC;IACJ,KAAK,EAAE,CAAC,GAAG,EAAE,EAAE;QACb,IAAI,GAAG,CAAC,UAAU,KAAK,CAAC;YAAE,OAAO,CAAC,CAAA;QAClC,MAAM,YAAY,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,UAAU,GAAG,IAAI,CAAC,CAAA;QACvD,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,gBAAgB,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,CAAA;QAC9E,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,YAAY,GAAG,WAAW,CAAC,CAAA;IACpD,CAAC;IACD,QAAQ,EAAE,CAAC,GAAG,EAA6B,EAAE;QAC3C,IAAI,GAAG,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;YACrC,OAAO,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,sDAAsD,EAAE,CAAC,CAAA;QAChG,CAAC;QACD,OAAO,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YAC7C,QAAQ,EAAE,OAAgB;YAC1B,OAAO,EAAE,8BAA8B,KAAK,CAAC,MAAM,CAAC,MAAM,aAAa,KAAK,CAAC,iBAAiB,EAAE;YAChG,QAAQ,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,YAAY,EAAE;YAC1D,IAAI,EAAE;gBACJ,IAAI,EAAE,qBAAqB,CAAC,KAAK,CAAC,iBAAiB,CAAC;gBACpD,MAAM,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC;gBACzB,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC;gBAC/C,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;gBAC1C,cAAc,EAAE,KAAK,CAAC,cAAc;gBACpC,aAAa,EAAE,CAAC,GAAG,KAAK,CAAC,aAAa,CAAC;aACxC;SACF,CAAC,CAAC,CAAA;IACL,CAAC;CACF,CAAA;AAED,MAAM,WAAW,GAAG,CAClB,IAAwB,EACxB,KAAoD,EAC3C,EAAE,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC,CAAA;AAErG,MAAM,OAAO,GAAG,CACd,GAA0B,EAC1B,KAAoD,EACpD,aAAwD,EAC5C,EAAE;IACd,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAA;IAC7B,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CACjC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAChE,CAAA;IACD,MAAM,OAAO,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAA;IAC/B,MAAM,iBAAiB,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAA;IACpE,OAAO;QACL,MAAM,EAAE,OAAO;QACf,KAAK;QACL,iBAAiB;QACjB,cAAc,EAAE,KAAK,CAAC,IAAI,CACxB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,CACxE;QACD,aAAa,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;YACvC,MAAM,YAAY,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,YAAY,CAAA;YAC3D,OAAO,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAA;QACzD,CAAC,CAAC;KACH,CAAA;AACH,CAAC,CAAA;AAED,MAAM,MAAM,GAAG,CACb,KAAoD,EAC9B,EAAE;IAGxB,IAAI,KAAK,GAAG,CAAC,CAAA;IACb,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAA;IACzC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAA;IAC1C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAA;IACjC,MAAM,KAAK,GAAkB,EAAE,CAAA;IAC/B,MAAM,IAAI,GAAyB,EAAE,CAAA;IAErC,MAAM,KAAK,GAAG,CAAC,KAAa,EAAQ,EAAE;QACpC,MAAM,MAAM,GAAiB,EAAE,CAAA;QAE/B,MAAM,KAAK,GAAG,CAAC,IAAY,EAAQ,EAAE;YACnC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;YACxB,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;YACzB,KAAK,IAAI,CAAC,CAAA;YACV,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YAChB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YACjB,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI;gBACJ,SAAS,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzD,MAAM,EAAE,CAAC;aACV,CAAC,CAAA;QACJ,CAAC,CAAA;QAED,MAAM,YAAY,GAAG,CAAC,IAAY,EAAiB,EAAE;YACnD,MAAM,GAAG,GAAkB,EAAE,CAAA;YAC7B,OAAO,IAAI,EAAE,CAAC;gBACZ,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,EAAE,CAAA;gBACzB,IAAI,KAAK,KAAK,SAAS;oBAAE,MAAK;gBAC9B,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;gBACrB,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;gBACf,IAAI,KAAK,KAAK,IAAI;oBAAE,MAAK;YAC3B,CAAC;YACD,OAAO,GAAG,CAAA;QACZ,CAAC,CAAA;QAED,MAAM,wBAAwB,GAAG,CAAC,KAAY,EAAQ,EAAE;YACtD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;YACxC,IAAI,MAAM,KAAK,SAAS;gBAAE,OAAM;YAChC,QAAQ,CAAC,GAAG,CACV,MAAM,CAAC,IAAI,EACX,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CACxE,CAAA;QACH,CAAC,CAAA;QAED,MAAM,WAAW,GAAG,CAAC,KAAY,EAAQ,EAAE;YACzC,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzD,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA;YACrC,CAAC;YACD,MAAM,CAAC,GAAG,EAAE,CAAA;YACZ,wBAAwB,CAAC,KAAK,CAAC,CAAA;QACjC,CAAC,CAAA;QAED,MAAM,aAAa,GAAG,CAAC,KAAY,EAAQ,EAAE;YAC3C,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAE,CAAA;YAC/C,KAAK,CAAC,MAAM,IAAI,CAAC,CAAA;YACjB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC3B,KAAK,CAAC,QAAQ,CAAC,CAAA;gBACf,OAAM;YACR,CAAC;YACD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAAE,OAAM;YAClC,QAAQ,CAAC,GAAG,CACV,KAAK,CAAC,IAAI,EACV,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CACpE,CAAA;QACH,CAAC,CAAA;QAED,KAAK,CAAC,KAAK,CAAC,CAAA;QACZ,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzB,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAE,CAAA;YACxC,IAAI,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;gBAC3C,WAAW,CAAC,KAAK,CAAC,CAAA;gBAClB,SAAQ;YACV,CAAC;YACD,aAAa,CAAC,KAAK,CAAC,CAAA;QACtB,CAAC;IACH,CAAC,CAAA;IAED,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;QAChC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,CAAA;IACrC,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC,CAAA"}

package/dist/signals/rs-de-01-trait-coupling.d.ts

@@ -0,0 +1,43 @@
+import { type Signal } from "@skastr0/pulsar-core/signal";
+import { Schema } from "effect";
+import { RustProjectTag } from "../project.js";
+declare const RsDe01Config: Schema.Struct<{
+    exclude_globs: Schema.Array$<typeof Schema.String>;
+    top_n_diagnostics: typeof Schema.Number;
+}>;
+type RsDe01Config = typeof RsDe01Config.Type;
+interface TraitCouplingDetail {
+    readonly trait: string;
+    readonly type: string;
+    readonly file: string;
+    readonly line: number;
+    readonly traitLocal: boolean;
+    readonly typeLocal: boolean;
+    readonly orphanWorkaroundCandidate: boolean;
+    readonly family: TraitCouplingFamily;
+    readonly concerning: boolean;
+}
+type TraitCouplingFamily = "standard-library-ergonomic" | "serialization" | "framework-adapter" | "application-external";
+interface TraitCouplingModuleSummary {
+    readonly module: string;
+    readonly file: string;
+    readonly foreignTraitImpls: number;
+    readonly concerningForeignTraitImpls: number;
+    readonly ordinaryForeignTraitImpls: number;
+    readonly details: ReadonlyArray<TraitCouplingDetail>;
+}
+interface RsDe01Output {
+    readonly byModule: ReadonlyMap<string, {
+        readonly foreignTraitImpls: number;
+        readonly concerningForeignTraitImpls: number;
+        readonly ordinaryForeignTraitImpls: number;
+        readonly details: ReadonlyArray<TraitCouplingDetail>;
+    }>;
+    readonly modules: ReadonlyArray<TraitCouplingModuleSummary>;
+    readonly totalForeignTraitImpls: number;
+    readonly totalConcerningForeignTraitImpls: number;
+    readonly analysisMode: "syntax-and-local-name-resolution";
+}
+export declare const RsDe01: Signal<RsDe01Config, RsDe01Output, RustProjectTag>;
+export {};
+//# sourceMappingURL=rs-de-01-trait-coupling.d.ts.map

package/dist/signals/rs-de-01-trait-coupling.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rs-de-01-trait-coupling.d.ts","sourceRoot":"","sources":["../../src/signals/rs-de-01-trait-coupling.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;AAY9C,QAAA,MAAM,YAAY;;;EAGhB,CAAA;AACF,KAAK,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;AAE5C,UAAU,mBAAmB;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAA;IAC5B,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAA;IAC3B,QAAQ,CAAC,yBAAyB,EAAE,OAAO,CAAA;IAC3C,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAA;IACpC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAA;CAC7B;AAED,KAAK,mBAAmB,GACpB,4BAA4B,GAC5B,eAAe,GACf,mBAAmB,GACnB,sBAAsB,CAAA;AAE1B,UAAU,0BAA0B;IAClC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAA;IAClC,QAAQ,CAAC,2BAA2B,EAAE,MAAM,CAAA;IAC5C,QAAQ,CAAC,yBAAyB,EAAE,MAAM,CAAA;IAC1C,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,mBAAmB,CAAC,CAAA;CACrD;AAED,UAAU,YAAY;IACpB,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAC5B,MAAM,EACN;QACE,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAA;QAClC,QAAQ,CAAC,2BAA2B,EAAE,MAAM,CAAA;QAC5C,QAAQ,CAAC,yBAAyB,EAAE,MAAM,CAAA;QAC1C,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,mBAAmB,CAAC,CAAA;KACrD,CACF,CAAA;IACD,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,0BAA0B,CAAC,CAAA;IAC3D,QAAQ,CAAC,sBAAsB,EAAE,MAAM,CAAA;IACvC,QAAQ,CAAC,gCAAgC,EAAE,MAAM,CAAA;IACjD,QAAQ,CAAC,YAAY,EAAE,kCAAkC,CAAA;CAC1D;AAED,eAAO,MAAM,MAAM,EAAE,MAAM,CAAC,YAAY,EAAE,YAAY,EAAE,cAAc,CAiKrE,CAAA"}