@skastr0/pulsar-ts-pack 0.1.0

package/dist/signals/ts-ld-04-naming-conventions.js

@@ -0,0 +1,169 @@
+import { computeDiagnosticHash, ReferenceDataTag, SignalComputeError } from "@skastr0/pulsar-core/signal";
+import { Effect, Option, Schema } from "effect";
+import { parseCasingPatternAlternatives } from "../casing.js";
+import { TsProjectTag } from "../ts-project.js";
+import { scoreReferenceBackedViolationRatio } from "./shared-violation-ratio-score.js";
+import { collectIdentifierDeclarations, } from "./shared-identifiers.js";
+const TsLd04Config = Schema.Struct({
+    exclude_globs: Schema.Array(Schema.String),
+    top_n_diagnostics: Schema.Number,
+});
+const IDENTIFIER_KINDS = [
+    "function",
+    "class",
+    "interface",
+    "type",
+    "enum",
+    "const",
+];
+export const TsLd04 = {
+    id: "TS-LD-04-naming-conventions",
+    title: "Naming convention consistency",
+    aliases: ["TS-LD-04"],
+    tier: 2,
+    category: "legibility-decay",
+    kind: "legibility",
+    cacheVersion: "type-level-values-v2",
+    configSchema: TsLd04Config,
+    defaultConfig: {
+        exclude_globs: [
+            "**/*.test.ts",
+            "**/*.spec.ts",
+            "**/node_modules/**",
+            "**/dist/**",
+            "**/.turbo/**",
+        ],
+        top_n_diagnostics: 20,
+    },
+    inputs: [],
+    compute: (config) => Effect.gen(function* () {
+        const project = yield* TsProjectTag;
+        const referenceData = yield* ReferenceDataTag;
+        return yield* Effect.try({
+            try: () => {
+                const identifiers = collectIdentifierDeclarations(project, config.exclude_globs);
+                const rawConventions = Effect.runSync(referenceData.get("schema-conventions"));
+                if (Option.isNone(rawConventions)) {
+                    return {
+                        violations: [],
+                        byKind: summarizeByKind(identifiers, []),
+                        totalIdentifiers: identifiers.length,
+                        referenceDataStatus: "missing",
+                        diagnosticLimit: config.top_n_diagnostics,
+                    };
+                }
+                const namingConventions = rawConventions.value.naming_conventions;
+                const violations = identifiers.flatMap((identifier) => {
+                    const expectedPatterns = expectedPatternsForIdentifier(namingConventions, identifier);
+                    const violation = {
+                        file: identifier.file,
+                        line: identifier.line,
+                        kind: identifier.kind,
+                        name: identifier.name,
+                        expectedPatterns,
+                        actualPattern: identifier.pattern,
+                        ...(identifier.constContext !== undefined
+                            ? { constContext: identifier.constContext }
+                            : {}),
+                    };
+                    return identifier.pattern !== "unrecognized" && expectedPatterns.includes(identifier.pattern)
+                        ? []
+                        : [violation];
+                });
+                return {
+                    violations,
+                    byKind: summarizeByKind(identifiers, violations),
+                    totalIdentifiers: identifiers.length,
+                    referenceDataStatus: "loaded",
+                    diagnosticLimit: config.top_n_diagnostics,
+                };
+            },
+            catch: (cause) => new SignalComputeError({
+                signalId: "TS-LD-04-naming-conventions",
+                message: String(cause),
+                cause,
+            }),
+        });
+    }),
+    score: (out) => scoreReferenceBackedViolationRatio({
+        referenceDataStatus: out.referenceDataStatus,
+        violationCount: out.violations.length,
+        totalCount: out.totalIdentifiers,
+    }),
+    outputMetadata: (out) => out.referenceDataStatus === "missing"
+        ? { applicability: "insufficient_evidence" }
+        : undefined,
+    diagnose: (out) => {
+        if (out.referenceDataStatus === "missing") {
+            return [{ severity: "info", message: "no naming conventions configured" }];
+        }
+        return out.violations.slice(0, out.diagnosticLimit).map((violation) => ({
+            severity: "warn",
+            message: `Naming convention violation for ${violation.kind} \`${violation.name}\`: ` +
+                `expected ${violation.expectedPatterns.join(" or ")}, got ${violation.actualPattern}`,
+            location: { file: violation.file, line: violation.line },
+            data: {
+                hash: computeDiagnosticHash([
+                    violation.file,
+                    violation.line,
+                    violation.kind,
+                    violation.name,
+                    violation.expectedPatterns.join("|"),
+                ].join("|")),
+                ...violation,
+            },
+        }));
+    },
+};
+const expectedPatternsForKind = (namingConventions, kind) => {
+    switch (kind) {
+        case "function":
+            return parseCasingPatternAlternatives(namingConventions.function);
+        case "class":
+            return parseCasingPatternAlternatives(namingConventions.class);
+        case "interface":
+            return parseCasingPatternAlternatives(namingConventions.interface);
+        case "type":
+            return parseCasingPatternAlternatives(namingConventions.type);
+        case "enum":
+            return parseCasingPatternAlternatives(namingConventions.enum);
+        case "const":
+            return parseCasingPatternAlternatives(namingConventions.const);
+    }
+};
+const expectedPatternsForIdentifier = (namingConventions, identifier) => {
+    const expectedPatterns = expectedPatternsForKind(namingConventions, identifier.kind);
+    if (identifier.kind !== "const")
+        return expectedPatterns;
+    switch (identifier.constContext) {
+        case "module-constant":
+            return includePattern(expectedPatterns, "UPPER_SNAKE_CASE");
+        case "local":
+            return expectedPatterns.filter((pattern) => pattern !== "UPPER_SNAKE_CASE");
+        case "schema-type-object":
+            return includePattern(expectedPatterns, "PascalCase");
+        case undefined:
+            return expectedPatterns;
+        default:
+            return expectedPatterns;
+    }
+};
+const includePattern = (patterns, pattern) => patterns.includes(pattern) ? patterns : [...patterns, pattern];
+const summarizeByKind = (identifiers, violations) => {
+    const violationKeys = new Set(violations.map((violation) => `${violation.file}:${violation.line}:${violation.kind}:${violation.name}`));
+    const stats = new Map(IDENTIFIER_KINDS.map((kind) => [kind, { total: 0, violating: 0 }]));
+    for (const identifier of identifiers) {
+        const current = stats.get(identifier.kind);
+        if (current === undefined)
+            continue;
+        current.total += 1;
+        if (violationKeys.has(`${identifier.file}:${identifier.line}:${identifier.kind}:${identifier.name}`)) {
+            current.violating += 1;
+        }
+    }
+    return new Map([...stats.entries()].map(([kind, value]) => [
+        kind,
+        { total: value.total, violating: value.violating },
+    ]));
+};
+//# sourceMappingURL=ts-ld-04-naming-conventions.js.map

package/dist/signals/ts-ld-04-naming-conventions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ts-ld-04-naming-conventions.js","sourceRoot":"","sources":["../../src/signals/ts-ld-04-naming-conventions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAA;AAGzG,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/C,OAAO,EAAgC,8BAA8B,EAAE,MAAM,cAAc,CAAA;AAC3F,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EAAE,kCAAkC,EAAE,MAAM,mCAAmC,CAAA;AACtF,OAAO,EACL,6BAA6B,GAI9B,MAAM,yBAAyB,CAAA;AAEhC,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;AAwBF,MAAM,gBAAgB,GAA6C;IACjE,UAAU;IACV,OAAO;IACP,WAAW;IACX,MAAM;IACN,MAAM;IACN,OAAO;CACR,CAAA;AAED,MAAM,CAAC,MAAM,MAAM,GAAwE;IACzF,EAAE,EAAE,6BAA6B;IACjC,KAAK,EAAE,+BAA+B;IACtC,OAAO,EAAE,CAAC,UAAU,CAAC;IACrB,IAAI,EAAE,CAAC;IACP,QAAQ,EAAE,kBAAkB;IAC5B,IAAI,EAAE,YAAY;IAClB,YAAY,EAAE,sBAAsB;IACpC,YAAY,EAAE,YAAY;IAC1B,aAAa,EAAE;QACb,aAAa,EAAE;YACb,cAAc;YACd,cAAc;YACd,oBAAoB;YACpB,YAAY;YACZ,cAAc;SACf;QACD,iBAAiB,EAAE,EAAE;KACtB;IACD,MAAM,EAAE,EAAE;IACV,OAAO,EAAE,CAAC,MAAM,EAAE,EAAE,CAClB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,YAAY,CAAA;QACnC,MAAM,aAAa,GAAG,KAAK,CAAC,CAAC,gBAAgB,CAAA;QAE7C,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;YACvB,GAAG,EAAE,GAAiB,EAAE;gBACtB,MAAM,WAAW,GAAG,6BAA6B,CAAC,OAAO,EAAE,MAAM,CAAC,aAAa,CAAC,CAAA;gBAChF,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,CACnC,aAAa,CAAC,GAAG,CAAoB,oBAAoB,CAAC,CAC3D,CAAA;gBAED,IAAI,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,EAAE,CAAC;oBAClC,OAAO;wBACL,UAAU,EAAE,EAAE;wBACd,MAAM,EAAE,eAAe,CAAC,WAAW,EAAE,EAAE,CAAC;wBACxC,gBAAgB,EAAE,WAAW,CAAC,MAAM;wBACpC,mBAAmB,EAAE,SAAS;wBAC9B,eAAe,EAAE,MAAM,CAAC,iBAAiB;qBAC1C,CAAA;gBACH,CAAC;gBAED,MAAM,iBAAiB,GAAG,cAAc,CAAC,KAAK,CAAC,kBAAkB,CAAA;gBACjE,MAAM,UAAU,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,EAAE;oBACpD,MAAM,gBAAgB,GAAG,6BAA6B,CAAC,iBAAiB,EAAE,UAAU,CAAC,CAAA;oBACrF,MAAM,SAAS,GAAG;wBAChB,IAAI,EAAE,UAAU,CAAC,IAAI;wBACrB,IAAI,EAAE,UAAU,CAAC,IAAI;wBACrB,IAAI,EAAE,UAAU,CAAC,IAAI;wBACrB,IAAI,EAAE,UAAU,CAAC,IAAI;wBACrB,gBAAgB;wBAChB,aAAa,EAAE,UAAU,CAAC,OAAO;wBACjC,GAAG,CAAC,UAAU,CAAC,YAAY,KAAK,SAAS;4BACvC,CAAC,CAAC,EAAE,YAAY,EAAE,UAAU,CAAC,YAAY,EAAE;4BAC3C,CAAC,CAAC,EAAE,CAAC;qBACkB,CAAA;oBAC3B,OAAO,UAAU,CAAC,OAAO,KAAK,cAAc,IAAI,gBAAgB,CAAC,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC;wBAC3F,CAAC,CAAC,EAAE;wBACJ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;gBACjB,CAAC,CAAC,CAAA;gBAEF,OAAO;oBACL,UAAU;oBACV,MAAM,EAAE,eAAe,CAAC,WAAW,EAAE,UAAU,CAAC;oBAChD,gBAAgB,EAAE,WAAW,CAAC,MAAM;oBACpC,mBAAmB,EAAE,QAAQ;oBAC7B,eAAe,EAAE,MAAM,CAAC,iBAAiB;iBAC1C,CAAA;YACH,CAAC;YACD,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,CACb,kCAAkC,CAAC;QACjC,mBAAmB,EAAE,GAAG,CAAC,mBAAmB;QAC5C,cAAc,EAAE,GAAG,CAAC,UAAU,CAAC,MAAM;QACrC,UAAU,EAAE,GAAG,CAAC,gBAAgB;KACjC,CAAC;IACJ,cAAc,EAAE,CAAC,GAAG,EAAE,EAAE,CACtB,GAAG,CAAC,mBAAmB,KAAK,SAAS;QACnC,CAAC,CAAC,EAAE,aAAa,EAAE,uBAAgC,EAAE;QACrD,CAAC,CAAC,SAAS;IACf,QAAQ,EAAE,CAAC,GAAG,EAA6B,EAAE;QAC3C,IAAI,GAAG,CAAC,mBAAmB,KAAK,SAAS,EAAE,CAAC;YAC1C,OAAO,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,kCAAkC,EAAE,CAAC,CAAA;QAC5E,CAAC;QAED,OAAO,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,eAAe,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;YACtE,QAAQ,EAAE,MAAe;YACzB,OAAO,EACL,mCAAmC,SAAS,CAAC,IAAI,MAAM,SAAS,CAAC,IAAI,MAAM;gBAC3E,YAAY,SAAS,CAAC,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,SAAS,CAAC,aAAa,EAAE;YACvF,QAAQ,EAAE,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE;YACxD,IAAI,EAAE;gBACJ,IAAI,EAAE,qBAAqB,CACzB;oBACE,SAAS,CAAC,IAAI;oBACd,SAAS,CAAC,IAAI;oBACd,SAAS,CAAC,IAAI;oBACd,SAAS,CAAC,IAAI;oBACd,SAAS,CAAC,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC;iBACrC,CAAC,IAAI,CAAC,GAAG,CAAC,CACZ;gBACD,GAAG,SAAS;aACb;SACF,CAAC,CAAC,CAAA;IACL,CAAC;CACF,CAAA;AAED,MAAM,uBAAuB,GAAG,CAC9B,iBAAoC,EACpC,IAA+B,EACS,EAAE;IAC1C,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,UAAU;YACb,OAAO,8BAA8B,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAA;QACnE,KAAK,OAAO;YACV,OAAO,8BAA8B,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAA;QAChE,KAAK,WAAW;YACd,OAAO,8BAA8B,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAA;QACpE,KAAK,MAAM;YACT,OAAO,8BAA8B,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAA;QAC/D,KAAK,MAAM;YACT,OAAO,8BAA8B,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAA;QAC/D,KAAK,OAAO;YACV,OAAO,8BAA8B,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAA;IAClE,CAAC;AACH,CAAC,CAAA;AAED,MAAM,6BAA6B,GAAG,CACpC,iBAAoC,EACpC,UAAiC,EACO,EAAE;IAC1C,MAAM,gBAAgB,GAAG,uBAAuB,CAAC,iBAAiB,EAAE,UAAU,CAAC,IAAI,CAAC,CAAA;IACpF,IAAI,UAAU,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,gBAAgB,CAAA;IAExD,QAAQ,UAAU,CAAC,YAAY,EAAE,CAAC;QAChC,KAAK,iBAAiB;YACpB,OAAO,cAAc,CAAC,gBAAgB,EAAE,kBAAkB,CAAC,CAAA;QAC7D,KAAK,OAAO;YACV,OAAO,gBAAgB,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,KAAK,kBAAkB,CAAC,CAAA;QAC7E,KAAK,oBAAoB;YACvB,OAAO,cAAc,CAAC,gBAAgB,EAAE,YAAY,CAAC,CAAA;QACvD,KAAK,SAAS;YACZ,OAAO,gBAAgB,CAAA;QACzB;YACE,OAAO,gBAAgB,CAAA;IAC3B,CAAC;AACH,CAAC,CAAA;AAED,MAAM,cAAc,GAAG,CACrB,QAAgD,EAChD,OAAgC,EACQ,EAAE,CAC1C,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,EAAE,OAAO,CAAC,CAAA;AAEhE,MAAM,eAAe,GAAG,CACtB,WAAoF,EACpF,UAA0C,EACsD,EAAE;IAClG,MAAM,aAAa,GAAG,IAAI,GAAG,CAC3B,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,GAAG,SAAS,CAAC,IAAI,IAAI,SAAS,CAAC,IAAI,IAAI,SAAS,CAAC,IAAI,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC,CACzG,CAAA;IACD,MAAM,KAAK,GAAG,IAAI,GAAG,CAGnB,gBAAgB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IAErE,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAA;QAC1C,IAAI,OAAO,KAAK,SAAS;YAAE,SAAQ;QACnC,OAAO,CAAC,KAAK,IAAI,CAAC,CAAA;QAClB,IACE,aAAa,CAAC,GAAG,CACf,GAAG,UAAU,CAAC,IAAI,IAAI,UAAU,CAAC,IAAI,IAAI,UAAU,CAAC,IAAI,IAAI,UAAU,CAAC,IAAI,EAAE,CAC9E,EACD,CAAC;YACD,OAAO,CAAC,SAAS,IAAI,CAAC,CAAA;QACxB,CAAC;IACH,CAAC;IAED,OAAO,IAAI,GAAG,CACZ,CAAC,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC;QAC1C,IAAI;QACJ,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE;KACnD,CAAC,CACH,CAAA;AACH,CAAC,CAAA"}

package/dist/signals/ts-ld-05-domain-term-consistency.d.ts

@@ -0,0 +1,32 @@
+import { ReferenceDataTag } from "@skastr0/pulsar-core/signal";
+import type { Signal } from "@skastr0/pulsar-core/signal";
+import { Schema } from "effect";
+import { TsProjectTag } from "../ts-project.js";
+import { type IdentifierDeclarationKind } from "./shared-identifiers.js";
+declare const TsLd05Config: Schema.Struct<{
+    exclude_globs: Schema.Array$<typeof Schema.String>;
+    top_n_diagnostics: typeof Schema.Number;
+}>;
+type TsLd05Config = typeof TsLd05Config.Type;
+type IdentifierClassification = "matches-glossary" | "new-unique" | "duplicates-canonical" | "conflicts-with-canonical";
+interface IdentifierGlossaryMatch {
+    readonly file: string;
+    readonly line: number;
+    readonly kind: IdentifierDeclarationKind;
+    readonly name: string;
+    readonly classification: IdentifierClassification;
+    readonly suggestedCanonical: string | undefined;
+}
+interface TsLd05Output {
+    readonly identifiers: ReadonlyArray<IdentifierGlossaryMatch>;
+    readonly totalIdentifiers: number;
+    readonly matchCount: number;
+    readonly newUniqueCount: number;
+    readonly duplicateCount: number;
+    readonly conflictCount: number;
+    readonly referenceDataStatus: "loaded" | "missing";
+    readonly diagnosticLimit: number;
+}
+export declare const TsLd05: Signal<TsLd05Config, TsLd05Output, TsProjectTag | ReferenceDataTag>;
+export {};
+//# sourceMappingURL=ts-ld-05-domain-term-consistency.d.ts.map

package/dist/signals/ts-ld-05-domain-term-consistency.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ts-ld-05-domain-term-consistency.d.ts","sourceRoot":"","sources":["../../src/signals/ts-ld-05-domain-term-consistency.ts"],"names":[],"mappings":"AAAA,OAAO,EAAuB,gBAAgB,EAAsB,MAAM,6BAA6B,CAAA;AACvG,OAAO,KAAK,EAAc,MAAM,EAAE,MAAM,6BAA6B,CAAA;AAErE,OAAO,EAAkB,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/C,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EAEL,KAAK,yBAAyB,EAC/B,MAAM,yBAAyB,CAAA;AAEhC,QAAA,MAAM,YAAY;;;EAGhB,CAAA;AACF,KAAK,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;AAE5C,KAAK,wBAAwB,GACzB,kBAAkB,GAClB,YAAY,GACZ,sBAAsB,GACtB,0BAA0B,CAAA;AAE9B,UAAU,uBAAuB;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,yBAAyB,CAAA;IACxC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,cAAc,EAAE,wBAAwB,CAAA;IACjD,QAAQ,CAAC,kBAAkB,EAAE,MAAM,GAAG,SAAS,CAAA;CAChD;AAED,UAAU,YAAY;IACpB,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC,uBAAuB,CAAC,CAAA;IAC5D,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAA;IACjC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;IAC/B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;IAC/B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAA;IAC9B,QAAQ,CAAC,mBAAmB,EAAE,QAAQ,GAAG,SAAS,CAAA;IAClD,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAA;CACjC;AAqBD,eAAO,MAAM,MAAM,EAAE,MAAM,CAAC,YAAY,EAAE,YAAY,EAAE,YAAY,GAAG,gBAAgB,CAuGtF,CAAA"}

package/dist/signals/ts-ld-05-domain-term-consistency.js

@@ -0,0 +1,206 @@
+import { levenshteinDistance, ReferenceDataTag, SignalComputeError } from "@skastr0/pulsar-core/signal";
+import { Effect, Option, Schema } from "effect";
+import { splitIdentifierTokens } from "../casing.js";
+import { TsProjectTag } from "../ts-project.js";
+import { collectIdentifierDeclarations, } from "./shared-identifiers.js";
+const TsLd05Config = Schema.Struct({
+    exclude_globs: Schema.Array(Schema.String),
+    top_n_diagnostics: Schema.Number,
+});
+export const TsLd05 = {
+    id: "TS-LD-05-domain-term-consistency",
+    title: "Domain term consistency",
+    aliases: ["TS-LD-05"],
+    tier: 2,
+    category: "legibility-decay",
+    kind: "legibility",
+    cacheVersion: "reference-data-applicability-v1",
+    configSchema: TsLd05Config,
+    defaultConfig: {
+        exclude_globs: [
+            "**/*.test.ts",
+            "**/*.spec.ts",
+            "**/node_modules/**",
+            "**/dist/**",
+            "**/.turbo/**",
+        ],
+        top_n_diagnostics: 20,
+    },
+    inputs: [],
+    compute: (config) => Effect.gen(function* () {
+        const project = yield* TsProjectTag;
+        const referenceData = yield* ReferenceDataTag;
+        return yield* Effect.try({
+            try: () => {
+                const identifiers = collectIdentifierDeclarations(project, config.exclude_globs);
+                const rawGlossary = Effect.runSync(referenceData.get("glossary"));
+                if (Option.isNone(rawGlossary)) {
+                    return {
+                        identifiers: [],
+                        totalIdentifiers: identifiers.length,
+                        matchCount: 0,
+                        newUniqueCount: 0,
+                        duplicateCount: 0,
+                        conflictCount: 0,
+                        referenceDataStatus: "missing",
+                        diagnosticLimit: config.top_n_diagnostics,
+                    };
+                }
+                const glossaryLookup = buildGlossaryLookup(rawGlossary.value);
+                const classified = identifiers.map((identifier) => classifyIdentifier(identifier, glossaryLookup));
+                return {
+                    identifiers: classified,
+                    totalIdentifiers: identifiers.length,
+                    matchCount: classified.filter((item) => item.classification === "matches-glossary").length,
+                    newUniqueCount: classified.filter((item) => item.classification === "new-unique").length,
+                    duplicateCount: classified.filter((item) => item.classification === "duplicates-canonical").length,
+                    conflictCount: classified.filter((item) => item.classification === "conflicts-with-canonical").length,
+                    referenceDataStatus: "loaded",
+                    diagnosticLimit: config.top_n_diagnostics,
+                };
+            },
+            catch: (cause) => new SignalComputeError({
+                signalId: "TS-LD-05-domain-term-consistency",
+                message: String(cause),
+                cause,
+            }),
+        });
+    }),
+    score: (out) => {
+        if (out.referenceDataStatus === "missing" || out.totalIdentifiers === 0)
+            return 1;
+        const penalty = out.conflictCount * 0.9 + out.duplicateCount * 0.5 + out.newUniqueCount * 0.15;
+        return Math.max(0, 1 - penalty / out.totalIdentifiers);
+    },
+    outputMetadata: (out) => out.referenceDataStatus === "missing"
+        ? { applicability: "insufficient_evidence" }
+        : undefined,
+    diagnose: (out) => {
+        if (out.referenceDataStatus === "missing") {
+            return [{ severity: "info", message: "no glossary configured" }];
+        }
+        return out.identifiers
+            .filter((identifier) => identifier.classification !== "matches-glossary")
+            .slice(0, out.diagnosticLimit)
+            .map((identifier) => ({
+            severity: identifier.classification === "conflicts-with-canonical"
+                ? "warn"
+                : "info",
+            message: `Identifier \`${identifier.name}\` classified as ${identifier.classification}` +
+                (identifier.suggestedCanonical === undefined
+                    ? ""
+                    : ` (suggested canonical: ${identifier.suggestedCanonical})`),
+            location: { file: identifier.file, line: identifier.line },
+            data: { ...identifier },
+        }));
+    },
+};
+const buildGlossaryLookup = (glossary) => {
+    const knownPhrases = new Set();
+    const knownTokens = new Set();
+    const canonicalBySortedTokens = new Map();
+    const variants = [];
+    for (const entry of glossary.terms) {
+        const canonicalTokens = splitIdentifierTokens(entry.canonical);
+        if (canonicalTokens.length > 0) {
+            knownPhrases.add(canonicalTokens.join(" "));
+            canonicalBySortedTokens.set(sortTokens(entry.canonical), entry.canonical);
+            canonicalTokens.forEach((token) => knownTokens.add(token));
+            variants.push({
+                canonical: entry.canonical,
+                tokens: canonicalTokens,
+                tokenSet: new Set(canonicalTokens),
+            });
+        }
+        for (const alias of entry.aliases) {
+            const aliasTokens = splitIdentifierTokens(alias);
+            if (aliasTokens.length === 0)
+                continue;
+            knownPhrases.add(aliasTokens.join(" "));
+            aliasTokens.forEach((token) => knownTokens.add(token));
+            variants.push({
+                canonical: entry.canonical,
+                tokens: aliasTokens,
+                tokenSet: new Set(aliasTokens),
+            });
+        }
+    }
+    return { knownPhrases, knownTokens, canonicalBySortedTokens, variants };
+};
+const classifyIdentifier = (identifier, glossaryLookup) => {
+    const normalized = identifier.tokens.join(" ");
+    let classification = "new-unique";
+    let suggestedCanonical;
+    if (normalized.length > 0 && glossaryLookup.knownPhrases.has(normalized)) {
+        classification = "matches-glossary";
+    }
+    else {
+        const duplicateCanonical = glossaryLookup.canonicalBySortedTokens.get(sortTokens(identifier.name));
+        if (duplicateCanonical !== undefined) {
+            classification = "duplicates-canonical";
+            suggestedCanonical = duplicateCanonical;
+        }
+        else if (identifier.tokens.length > 0 &&
+            identifier.tokens.every((token) => glossaryLookup.knownTokens.has(token))) {
+            classification = "matches-glossary";
+        }
+        else {
+            const conflict = findConflictCandidate(identifier.tokens, glossaryLookup.variants);
+            if (conflict !== undefined) {
+                classification = "conflicts-with-canonical";
+                suggestedCanonical = conflict.canonical;
+            }
+        }
+    }
+    return {
+        file: identifier.file,
+        line: identifier.line,
+        kind: identifier.kind,
+        name: identifier.name,
+        classification,
+        suggestedCanonical,
+    };
+};
+const findConflictCandidate = (identifierTokens, variants) => {
+    let best;
+    for (const variant of variants) {
+        if (identifierTokens.length === 0 || variant.tokens.length === 0)
+            continue;
+        const overlapCount = identifierTokens.filter((token) => variant.tokenSet.has(token)).length;
+        const nonOverlappingTokens = identifierTokens.filter((token) => !variant.tokenSet.has(token));
+        const distance = minimumTokenDistance(nonOverlappingTokens.length > 0 ? nonOverlappingTokens : identifierTokens, variant.tokens);
+        const singleTokenNearMiss = identifierTokens.length === 1 && variant.tokens.length === 1 && distance <= 1;
+        const overlapNearMiss = overlapCount > 0 && nonOverlappingTokens.length > 0 && distance <= 1;
+        if (!singleTokenNearMiss && !overlapNearMiss)
+            continue;
+        const candidate = {
+            canonical: variant.canonical,
+            overlapCount,
+            distance,
+        };
+        if (best === undefined || compareConflictCandidates(candidate, best) < 0) {
+            best = candidate;
+        }
+    }
+    return best;
+};
+const compareConflictCandidates = (left, right) => {
+    if (left.overlapCount !== right.overlapCount) {
+        return right.overlapCount - left.overlapCount;
+    }
+    if (left.distance !== right.distance) {
+        return left.distance - right.distance;
+    }
+    return left.canonical.localeCompare(right.canonical);
+};
+const minimumTokenDistance = (leftTokens, rightTokens) => {
+    let best = Number.POSITIVE_INFINITY;
+    for (const left of leftTokens) {
+        for (const right of rightTokens) {
+            best = Math.min(best, levenshteinDistance(left, right));
+        }
+    }
+    return best;
+};
+const sortTokens = (value) => splitIdentifierTokens(value).slice().sort().join(" ");
+//# sourceMappingURL=ts-ld-05-domain-term-consistency.js.map

package/dist/signals/ts-ld-05-domain-term-consistency.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ts-ld-05-domain-term-consistency.js","sourceRoot":"","sources":["../../src/signals/ts-ld-05-domain-term-consistency.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAA;AAGvG,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/C,OAAO,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAA;AACpD,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EACL,6BAA6B,GAE9B,MAAM,yBAAyB,CAAA;AAEhC,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;AAgDF,MAAM,CAAC,MAAM,MAAM,GAAwE;IACzF,EAAE,EAAE,kCAAkC;IACtC,KAAK,EAAE,yBAAyB;IAChC,OAAO,EAAE,CAAC,UAAU,CAAC;IACrB,IAAI,EAAE,CAAC;IACP,QAAQ,EAAE,kBAAkB;IAC5B,IAAI,EAAE,YAAY;IAClB,YAAY,EAAE,iCAAiC;IAC/C,YAAY,EAAE,YAAY;IAC1B,aAAa,EAAE;QACb,aAAa,EAAE;YACb,cAAc;YACd,cAAc;YACd,oBAAoB;YACpB,YAAY;YACZ,cAAc;SACf;QACD,iBAAiB,EAAE,EAAE;KACtB;IACD,MAAM,EAAE,EAAE;IACV,OAAO,EAAE,CAAC,MAAM,EAAE,EAAE,CAClB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,YAAY,CAAA;QACnC,MAAM,aAAa,GAAG,KAAK,CAAC,CAAC,gBAAgB,CAAA;QAE7C,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;YACvB,GAAG,EAAE,GAAiB,EAAE;gBACtB,MAAM,WAAW,GAAG,6BAA6B,CAAC,OAAO,EAAE,MAAM,CAAC,aAAa,CAAC,CAAA;gBAChF,MAAM,WAAW,GAAG,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG,CAAW,UAAU,CAAC,CAAC,CAAA;gBAE3E,IAAI,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC;oBAC/B,OAAO;wBACL,WAAW,EAAE,EAAE;wBACf,gBAAgB,EAAE,WAAW,CAAC,MAAM;wBACpC,UAAU,EAAE,CAAC;wBACb,cAAc,EAAE,CAAC;wBACjB,cAAc,EAAE,CAAC;wBACjB,aAAa,EAAE,CAAC;wBAChB,mBAAmB,EAAE,SAAS;wBAC9B,eAAe,EAAE,MAAM,CAAC,iBAAiB;qBAC1C,CAAA;gBACH,CAAC;gBAED,MAAM,cAAc,GAAG,mBAAmB,CAAC,WAAW,CAAC,KAAK,CAAC,CAAA;gBAC7D,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAChD,kBAAkB,CAAC,UAAU,EAAE,cAAc,CAAC,CAC/C,CAAA;gBAED,OAAO;oBACL,WAAW,EAAE,UAAU;oBACvB,gBAAgB,EAAE,WAAW,CAAC,MAAM;oBACpC,UAAU,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,cAAc,KAAK,kBAAkB,CAAC,CAAC,MAAM;oBAC1F,cAAc,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,cAAc,KAAK,YAAY,CAAC,CAAC,MAAM;oBACxF,cAAc,EAAE,UAAU,CAAC,MAAM,CAC/B,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,cAAc,KAAK,sBAAsB,CACzD,CAAC,MAAM;oBACR,aAAa,EAAE,UAAU,CAAC,MAAM,CAC9B,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,cAAc,KAAK,0BAA0B,CAC7D,CAAC,MAAM;oBACR,mBAAmB,EAAE,QAAQ;oBAC7B,eAAe,EAAE,MAAM,CAAC,iBAAiB;iBAC1C,CAAA;YACH,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CACf,IAAI,kBAAkB,CAAC;gBACrB,QAAQ,EAAE,kCAAkC;gBAC5C,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,mBAAmB,KAAK,SAAS,IAAI,GAAG,CAAC,gBAAgB,KAAK,CAAC;YAAE,OAAO,CAAC,CAAA;QAEjF,MAAM,OAAO,GAAG,GAAG,CAAC,aAAa,GAAG,GAAG,GAAG,GAAG,CAAC,cAAc,GAAG,GAAG,GAAG,GAAG,CAAC,cAAc,GAAG,IAAI,CAAA;QAC9F,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,OAAO,GAAG,GAAG,CAAC,gBAAgB,CAAC,CAAA;IACxD,CAAC;IACD,cAAc,EAAE,CAAC,GAAG,EAAE,EAAE,CACtB,GAAG,CAAC,mBAAmB,KAAK,SAAS;QACnC,CAAC,CAAC,EAAE,aAAa,EAAE,uBAAgC,EAAE;QACrD,CAAC,CAAC,SAAS;IACf,QAAQ,EAAE,CAAC,GAAG,EAA6B,EAAE;QAC3C,IAAI,GAAG,CAAC,mBAAmB,KAAK,SAAS,EAAE,CAAC;YAC1C,OAAO,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,wBAAwB,EAAE,CAAC,CAAA;QAClE,CAAC;QAED,OAAO,GAAG,CAAC,WAAW;aACnB,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,cAAc,KAAK,kBAAkB,CAAC;aACxE,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,eAAe,CAAC;aAC7B,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;YACpB,QAAQ,EACN,UAAU,CAAC,cAAc,KAAK,0BAA0B;gBACtD,CAAC,CAAE,MAAgB;gBACnB,CAAC,CAAE,MAAgB;YACvB,OAAO,EACL,gBAAgB,UAAU,CAAC,IAAI,oBAAoB,UAAU,CAAC,cAAc,EAAE;gBAC9E,CAAC,UAAU,CAAC,kBAAkB,KAAK,SAAS;oBAC1C,CAAC,CAAC,EAAE;oBACJ,CAAC,CAAC,0BAA0B,UAAU,CAAC,kBAAkB,GAAG,CAAC;YACjE,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE;YAC1D,IAAI,EAAE,EAAE,GAAG,UAAU,EAAE;SACxB,CAAC,CAAC,CAAA;IACP,CAAC;CACF,CAAA;AAED,MAAM,mBAAmB,GAAG,CAAC,QAAkB,EAAkB,EAAE;IACjE,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAA;IACtC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAA;IACrC,MAAM,uBAAuB,GAAG,IAAI,GAAG,EAAkB,CAAA;IACzD,MAAM,QAAQ,GAA2B,EAAE,CAAA;IAE3C,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;QACnC,MAAM,eAAe,GAAG,qBAAqB,CAAC,KAAK,CAAC,SAAS,CAAC,CAAA;QAC9D,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/B,YAAY,CAAC,GAAG,CAAC,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAA;YAC3C,uBAAuB,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,KAAK,CAAC,SAAS,CAAC,CAAA;YACzE,eAAe,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAA;YAC1D,QAAQ,CAAC,IAAI,CAAC;gBACZ,SAAS,EAAE,KAAK,CAAC,SAAS;gBAC1B,MAAM,EAAE,eAAe;gBACvB,QAAQ,EAAE,IAAI,GAAG,CAAC,eAAe,CAAC;aACnC,CAAC,CAAA;QACJ,CAAC;QAED,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YAClC,MAAM,WAAW,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAA;YAChD,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAQ;YACtC,YAAY,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAA;YACvC,WAAW,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAA;YACtD,QAAQ,CAAC,IAAI,CAAC;gBACZ,SAAS,EAAE,KAAK,CAAC,SAAS;gBAC1B,MAAM,EAAE,WAAW;gBACnB,QAAQ,EAAE,IAAI,GAAG,CAAC,WAAW,CAAC;aAC/B,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IAED,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,uBAAuB,EAAE,QAAQ,EAAE,CAAA;AACzE,CAAC,CAAA;AAED,MAAM,kBAAkB,GAAG,CACzB,UAAoE,EACpE,cAA8B,EACL,EAAE;IAC3B,MAAM,UAAU,GAAG,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IAC9C,IAAI,cAAc,GAA6B,YAAY,CAAA;IAC3D,IAAI,kBAAsC,CAAA;IAE1C,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,cAAc,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;QACzE,cAAc,GAAG,kBAAkB,CAAA;IACrC,CAAC;SAAM,CAAC;QACN,MAAM,kBAAkB,GAAG,cAAc,CAAC,uBAAuB,CAAC,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAA;QAClG,IAAI,kBAAkB,KAAK,SAAS,EAAE,CAAC;YACrC,cAAc,GAAG,sBAAsB,CAAA;YACvC,kBAAkB,GAAG,kBAAkB,CAAA;QACzC,CAAC;aAAM,IACL,UAAU,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;YAC5B,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EACzE,CAAC;YACD,cAAc,GAAG,kBAAkB,CAAA;QACrC,CAAC;aAAM,CAAC;YACN,MAAM,QAAQ,GAAG,qBAAqB,CAAC,UAAU,CAAC,MAAM,EAAE,cAAc,CAAC,QAAQ,CAAC,CAAA;YAClF,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,cAAc,GAAG,0BAA0B,CAAA;gBAC3C,kBAAkB,GAAG,QAAQ,CAAC,SAAS,CAAA;YACzC,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO;QACL,IAAI,EAAE,UAAU,CAAC,IAAI;QACrB,IAAI,EAAE,UAAU,CAAC,IAAI;QACrB,IAAI,EAAE,UAAU,CAAC,IAAI;QACrB,IAAI,EAAE,UAAU,CAAC,IAAI;QACrB,cAAc;QACd,kBAAkB;KACnB,CAAA;AACH,CAAC,CAAA;AAED,MAAM,qBAAqB,GAAG,CAC5B,gBAAuC,EACvC,QAAwC,EACT,EAAE;IACjC,IAAI,IAAmC,CAAA;IAEvC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,SAAQ;QAE1E,MAAM,YAAY,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAA;QAC3F,MAAM,oBAAoB,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAA;QAC7F,MAAM,QAAQ,GAAG,oBAAoB,CACnC,oBAAoB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,gBAAgB,EACzE,OAAO,CAAC,MAAM,CACf,CAAA;QACD,MAAM,mBAAmB,GACvB,gBAAgB,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,IAAI,CAAC,CAAA;QAC/E,MAAM,eAAe,GAAG,YAAY,GAAG,CAAC,IAAI,oBAAoB,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,IAAI,CAAC,CAAA;QAE5F,IAAI,CAAC,mBAAmB,IAAI,CAAC,eAAe;YAAE,SAAQ;QAEtD,MAAM,SAAS,GAAsB;YACnC,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,YAAY;YACZ,QAAQ;SACT,CAAA;QAED,IAAI,IAAI,KAAK,SAAS,IAAI,yBAAyB,CAAC,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACzE,IAAI,GAAG,SAAS,CAAA;QAClB,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAA;AACb,CAAC,CAAA;AAED,MAAM,yBAAyB,GAAG,CAChC,IAAuB,EACvB,KAAwB,EAChB,EAAE;IACV,IAAI,IAAI,CAAC,YAAY,KAAK,KAAK,CAAC,YAAY,EAAE,CAAC;QAC7C,OAAO,KAAK,CAAC,YAAY,GAAG,IAAI,CAAC,YAAY,CAAA;IAC/C,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC;QACrC,OAAO,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAA;IACvC,CAAC;IACD,OAAO,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,KAAK,CAAC,SAAS,CAAC,CAAA;AACtD,CAAC,CAAA;AAED,MAAM,oBAAoB,GAAG,CAC3B,UAAiC,EACjC,WAAkC,EAC1B,EAAE;IACV,IAAI,IAAI,GAAG,MAAM,CAAC,iBAAiB,CAAA;IAEnC,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,KAAK,MAAM,KAAK,IAAI,WAAW,EAAE,CAAC;YAChC,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,mBAAmB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAA;QACzD,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAA;AACb,CAAC,CAAA;AAED,MAAM,UAAU,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,qBAAqB,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA"}

package/dist/signals/ts-ld-06-annotation-coverage.d.ts

@@ -0,0 +1,35 @@
+import type { Signal } from "@skastr0/pulsar-core/signal";
+import { Schema } from "effect";
+import { TsProjectTag } from "../ts-project.js";
+declare const TsLd06Config: Schema.Struct<{
+    exclude_globs: Schema.Array$<typeof Schema.String>;
+    top_n_diagnostics: typeof Schema.Number;
+}>;
+export type TsLd06Config = typeof TsLd06Config.Type;
+export interface CoverageSummary {
+    readonly totalParams: number;
+    readonly annotatedParams: number;
+    readonly totalReturns: number;
+    readonly annotatedReturns: number;
+    readonly coverage: number;
+}
+export interface FileCoverage {
+    readonly boundary: CoverageSummary;
+    readonly internal: CoverageSummary;
+}
+export interface UncoveredFn {
+    readonly file: string;
+    readonly name: string;
+    readonly line: number;
+    readonly missingKind: "params" | "return" | "both";
+}
+export interface TsLd06Output {
+    readonly byFile: ReadonlyMap<string, FileCoverage>;
+    readonly boundaryCoverage: CoverageSummary;
+    readonly internalCoverage: CoverageSummary;
+    readonly uncoveredBoundary: ReadonlyArray<UncoveredFn>;
+    readonly diagnosticLimit: number;
+}
+export declare const TsLd06: Signal<TsLd06Config, TsLd06Output, TsProjectTag>;
+export {};
+//# sourceMappingURL=ts-ld-06-annotation-coverage.d.ts.map

package/dist/signals/ts-ld-06-annotation-coverage.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ts-ld-06-annotation-coverage.d.ts","sourceRoot":"","sources":["../../src/signals/ts-ld-06-annotation-coverage.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAc,MAAM,EAAE,MAAM,6BAA6B,CAAA;AACrE,OAAO,EAAU,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAM/C,QAAA,MAAM,YAAY;;;EAGhB,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;AAEnD,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAA;IAChC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAA;IACjC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAC1B;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAA;IAClC,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAA;CACnC;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,WAAW,EAAE,QAAQ,GAAG,QAAQ,GAAG,MAAM,CAAA;CACnD;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;IAClD,QAAQ,CAAC,gBAAgB,EAAE,eAAe,CAAA;IAC1C,QAAQ,CAAC,gBAAgB,EAAE,eAAe,CAAA;IAC1C,QAAQ,CAAC,iBAAiB,EAAE,aAAa,CAAC,WAAW,CAAC,CAAA;IACtD,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAA;CACjC;AAED,eAAO,MAAM,MAAM,EAAE,MAAM,CAAC,YAAY,EAAE,YAAY,EAAE,YAAY,CA+EnE,CAAA"}

package/dist/signals/ts-ld-06-annotation-coverage.js

@@ -0,0 +1,86 @@
+import { SignalComputeError } from "@skastr0/pulsar-core/signal";
+import { Effect, Schema } from "effect";
+import { TsProjectTag } from "../ts-project.js";
+import { computeAnnotationCoverage, weightedBoundaryCoverage, } from "./ts-ld-06-coverage.js";
+const TsLd06Config = Schema.Struct({
+    exclude_globs: Schema.Array(Schema.String),
+    top_n_diagnostics: Schema.Number,
+});
+export const TsLd06 = {
+    id: "TS-LD-06-annotation-coverage",
+    title: "Type annotation coverage",
+    aliases: ["TS-LD-06"],
+    tier: 1,
+    category: "legibility-decay",
+    kind: "legibility",
+    configSchema: TsLd06Config,
+    defaultConfig: {
+        exclude_globs: [
+            "**/*.test.ts",
+            "**/*.test.tsx",
+            "**/*.spec.ts",
+            "**/*.spec.tsx",
+            "**/*.stories.ts",
+            "**/*.stories.tsx",
+            "**/*.d.ts",
+            "**/node_modules/**",
+            "**/dist/**",
+            "**/.turbo/**",
+            "**/.pi/**",
+            "**/vendor/**",
+            "**/gen/**",
+            "**/generated/**",
+            "**/*.gen.ts",
+            "**/*.gen.tsx",
+            "**/*.generated.ts",
+            "**/*.generated.tsx",
+            "**/sst-env.d.ts",
+            "**/__tests__/**",
+            "**/test/**",
+            "**/tests/**",
+            "**/test-support/**",
+            "**/*test-support.ts",
+            "**/*test-support.tsx",
+            "**/*.test-support.ts",
+            "**/*.test-support.tsx",
+            "**/test-helpers.ts",
+            "**/*test-helpers.ts",
+            "**/*test-helpers.tsx",
+            "**/*.test-helpers.ts",
+            "**/*.test-helpers.tsx",
+            "**/test-mocks.ts",
+            "**/*test-mocks.ts",
+            "**/*test-mocks.tsx",
+            "**/*.test-mocks.ts",
+            "**/*.test-mocks.tsx",
+            "**/test-harness.ts",
+            "**/*test-harness.ts",
+            "**/*test-harness.tsx",
+            "**/*.test-harness.ts",
+            "**/*.test-harness.tsx",
+            "**/happydom.ts",
+        ],
+        top_n_diagnostics: 10,
+    },
+    inputs: [],
+    compute: (config) => Effect.gen(function* () {
+        const project = yield* TsProjectTag;
+        const result = yield* Effect.try({
+            try: () => computeAnnotationCoverage(project, config),
+            catch: (cause) => new SignalComputeError({
+                signalId: "TS-LD-06-annotation-coverage",
+                message: String(cause),
+                cause,
+            }),
+        });
+        return result;
+    }),
+    score: (out) => weightedBoundaryCoverage(out.boundaryCoverage),
+    diagnose: (out) => out.uncoveredBoundary.slice(0, out.diagnosticLimit).map((fn) => ({
+        severity: fn.missingKind === "return" ? "info" : "warn",
+        message: `Boundary function \`${fn.name}\` is missing explicit ${fn.missingKind} annotations`,
+        location: { file: fn.file, line: fn.line },
+        data: { ...fn },
+    })),
+};
+//# sourceMappingURL=ts-ld-06-annotation-coverage.js.map

package/dist/signals/ts-ld-06-annotation-coverage.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ts-ld-06-annotation-coverage.js","sourceRoot":"","sources":["../../src/signals/ts-ld-06-annotation-coverage.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAA;AAEhE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EACL,yBAAyB,EACzB,wBAAwB,GACzB,MAAM,wBAAwB,CAAA;AAE/B,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;AA+BF,MAAM,CAAC,MAAM,MAAM,GAAqD;IACtE,EAAE,EAAE,8BAA8B;IAClC,KAAK,EAAE,0BAA0B;IACjC,OAAO,EAAE,CAAC,UAAU,CAAC;IACrB,IAAI,EAAE,CAAC;IACP,QAAQ,EAAE,kBAAkB;IAC5B,IAAI,EAAE,YAAY;IAClB,YAAY,EAAE,YAAY;IAC1B,aAAa,EAAE;QACb,aAAa,EAAE;YACb,cAAc;YACd,eAAe;YACf,cAAc;YACd,eAAe;YACf,iBAAiB;YACjB,kBAAkB;YAClB,WAAW;YACX,oBAAoB;YACpB,YAAY;YACZ,cAAc;YACd,WAAW;YACX,cAAc;YACd,WAAW;YACX,iBAAiB;YACjB,aAAa;YACb,cAAc;YACd,mBAAmB;YACnB,oBAAoB;YACpB,iBAAiB;YACjB,iBAAiB;YACjB,YAAY;YACZ,aAAa;YACb,oBAAoB;YACpB,qBAAqB;YACrB,sBAAsB;YACtB,sBAAsB;YACtB,uBAAuB;YACvB,oBAAoB;YACpB,qBAAqB;YACrB,sBAAsB;YACtB,sBAAsB;YACtB,uBAAuB;YACvB,kBAAkB;YAClB,mBAAmB;YACnB,oBAAoB;YACpB,oBAAoB;YACpB,qBAAqB;YACrB,oBAAoB;YACpB,qBAAqB;YACrB,sBAAsB;YACtB,sBAAsB;YACtB,uBAAuB;YACvB,gBAAgB;SACjB;QACD,iBAAiB,EAAE,EAAE;KACtB;IACD,MAAM,EAAE,EAAE;IACV,OAAO,EAAE,CAAC,MAAM,EAAE,EAAE,CAClB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,YAAY,CAAA;QACnC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;YAC/B,GAAG,EAAE,GAAiB,EAAE,CAAC,yBAAyB,CAAC,OAAO,EAAE,MAAM,CAAC;YACnE,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CACf,IAAI,kBAAkB,CAAC;gBACrB,QAAQ,EAAE,8BAA8B;gBACxC,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC;gBACtB,KAAK;aACN,CAAC;SACL,CAAC,CAAA;QACF,OAAO,MAAM,CAAA;IACjB,CAAC,CAAC;IACF,KAAK,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,wBAAwB,CAAC,GAAG,CAAC,gBAAgB,CAAC;IAC9D,QAAQ,EAAE,CAAC,GAAG,EAA6B,EAAE,CAC3C,GAAG,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,eAAe,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QAC/D,QAAQ,EAAE,EAAE,CAAC,WAAW,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;QACvD,OAAO,EAAE,uBAAuB,EAAE,CAAC,IAAI,0BAA0B,EAAE,CAAC,WAAW,cAAc;QAC7F,QAAQ,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE;QAC1C,IAAI,EAAE,EAAE,GAAG,EAAE,EAAE;KAChB,CAAC,CAAC;CACN,CAAA"}

package/dist/signals/ts-ld-06-coverage.d.ts

@@ -0,0 +1,5 @@
+import { type Project } from "ts-morph";
+import type { CoverageSummary, TsLd06Config, TsLd06Output } from "./ts-ld-06-annotation-coverage.js";
+export declare const computeAnnotationCoverage: (project: Project, config: TsLd06Config) => TsLd06Output;
+export declare const weightedBoundaryCoverage: (coverage: CoverageSummary) => number;
+//# sourceMappingURL=ts-ld-06-coverage.d.ts.map

package/dist/signals/ts-ld-06-coverage.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ts-ld-06-coverage.d.ts","sourceRoot":"","sources":["../../src/signals/ts-ld-06-coverage.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,OAAO,EAAmB,MAAM,UAAU,CAAA;AAOxD,OAAO,KAAK,EACV,eAAe,EAEf,YAAY,EACZ,YAAY,EAEb,MAAM,mCAAmC,CAAA;AAmB1C,eAAO,MAAM,yBAAyB,GACpC,SAAS,OAAO,EAChB,QAAQ,YAAY,KACnB,YAwBF,CAAA;AAED,eAAO,MAAM,wBAAwB,GAAI,UAAU,eAAe,KAAG,MAQpE,CAAA"}