@skastr0/pulsar-ts-pack 0.1.0

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

@@ -0,0 +1,105 @@
+import { isExcluded } from "./shared-globs.js";
+import { collectTrackedFunctions, measureTrackedFunctionCoverage, } from "./ts-ld-06-functions.js";
+const PARAMETER_COVERAGE_WEIGHT = 4;
+const RETURN_COVERAGE_WEIGHT = 1;
+export const computeAnnotationCoverage = (project, config) => {
+    const byFile = new Map();
+    const uncoveredBoundary = [];
+    const boundaryTotals = emptyMutableCoverage();
+    const internalTotals = emptyMutableCoverage();
+    for (const sourceFile of project.getSourceFiles()) {
+        const file = sourceFile.getFilePath();
+        if (isExcluded(file, config.exclude_globs))
+            continue;
+        const analysis = analyzeAnnotationCoverageFile(sourceFile, file);
+        addCoverage(boundaryTotals, analysis.boundaryTotals);
+        addCoverage(internalTotals, analysis.internalTotals);
+        uncoveredBoundary.push(...analysis.uncoveredBoundary);
+        if (analysis.fileCoverage !== undefined)
+            byFile.set(file, analysis.fileCoverage);
+    }
+    uncoveredBoundary.sort(compareUncoveredBoundary);
+    return {
+        byFile,
+        boundaryCoverage: finalizeCoverage(boundaryTotals),
+        internalCoverage: finalizeCoverage(internalTotals),
+        uncoveredBoundary,
+        diagnosticLimit: config.top_n_diagnostics,
+    };
+};
+export const weightedBoundaryCoverage = (coverage) => {
+    const denominator = coverage.totalParams * PARAMETER_COVERAGE_WEIGHT +
+        coverage.totalReturns * RETURN_COVERAGE_WEIGHT;
+    const numerator = coverage.annotatedParams * PARAMETER_COVERAGE_WEIGHT +
+        coverage.annotatedReturns * RETURN_COVERAGE_WEIGHT;
+    return denominator === 0 ? 1 : numerator / denominator;
+};
+const analyzeAnnotationCoverageFile = (sourceFile, file) => {
+    const boundaryTotals = emptyMutableCoverage();
+    const internalTotals = emptyMutableCoverage();
+    const uncoveredBoundary = [];
+    for (const tracked of collectTrackedFunctions(sourceFile)) {
+        const target = tracked.boundary ? boundaryTotals : internalTotals;
+        const measurement = measureTrackedFunctionCoverage(tracked, file);
+        addFunctionCoverage(target, measurement);
+        if (!tracked.boundary || measurement.missingKind === undefined)
+            continue;
+        uncoveredBoundary.push({
+            file,
+            name: tracked.name,
+            line: tracked.line,
+            missingKind: measurement.missingKind,
+        });
+    }
+    return {
+        fileCoverage: fileHasCoverage(boundaryTotals, internalTotals)
+            ? {
+                boundary: finalizeCoverage(boundaryTotals),
+                internal: finalizeCoverage(internalTotals),
+            }
+            : undefined,
+        boundaryTotals,
+        internalTotals,
+        uncoveredBoundary,
+    };
+};
+const addFunctionCoverage = (coverage, measurement) => {
+    coverage.totalParams += measurement.paramCount;
+    coverage.annotatedParams += measurement.annotatedParams;
+    coverage.totalReturns += 1;
+    coverage.annotatedReturns += measurement.returnAnnotated ? 1 : 0;
+};
+const addCoverage = (target, source) => {
+    target.totalParams += source.totalParams;
+    target.annotatedParams += source.annotatedParams;
+    target.totalReturns += source.totalReturns;
+    target.annotatedReturns += source.annotatedReturns;
+};
+const fileHasCoverage = (boundary, internal) => boundary.totalParams > 0 ||
+    boundary.totalReturns > 0 ||
+    internal.totalParams > 0 ||
+    internal.totalReturns > 0;
+const emptyMutableCoverage = () => ({
+    totalParams: 0,
+    annotatedParams: 0,
+    totalReturns: 0,
+    annotatedReturns: 0,
+});
+const finalizeCoverage = (coverage) => {
+    const denominator = coverage.totalParams + coverage.totalReturns;
+    const numerator = coverage.annotatedParams + coverage.annotatedReturns;
+    return {
+        ...coverage,
+        coverage: denominator === 0 ? 1 : numerator / denominator,
+    };
+};
+const compareUncoveredBoundary = (left, right) => {
+    const missingWeight = (kind) => kind === "both" ? 2 : 1;
+    const byMissing = missingWeight(right.missingKind) - missingWeight(left.missingKind);
+    if (byMissing !== 0)
+        return byMissing;
+    if (left.file !== right.file)
+        return left.file.localeCompare(right.file);
+    return left.line - right.line;
+};
+//# sourceMappingURL=ts-ld-06-coverage.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ts-ld-06-coverage.js","sourceRoot":"","sources":["../../src/signals/ts-ld-06-coverage.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAA;AAC9C,OAAO,EACL,uBAAuB,EACvB,8BAA8B,GAE/B,MAAM,yBAAyB,CAAA;AAuBhC,MAAM,yBAAyB,GAAG,CAAC,CAAA;AACnC,MAAM,sBAAsB,GAAG,CAAC,CAAA;AAEhC,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,OAAgB,EAChB,MAAoB,EACN,EAAE;IAChB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAwB,CAAA;IAC9C,MAAM,iBAAiB,GAAuB,EAAE,CAAA;IAChD,MAAM,cAAc,GAAG,oBAAoB,EAAE,CAAA;IAC7C,MAAM,cAAc,GAAG,oBAAoB,EAAE,CAAA;IAE7C,KAAK,MAAM,UAAU,IAAI,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC;QAClD,MAAM,IAAI,GAAG,UAAU,CAAC,WAAW,EAAE,CAAA;QACrC,IAAI,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,aAAa,CAAC;YAAE,SAAQ;QACpD,MAAM,QAAQ,GAAG,6BAA6B,CAAC,UAAU,EAAE,IAAI,CAAC,CAAA;QAChE,WAAW,CAAC,cAAc,EAAE,QAAQ,CAAC,cAAc,CAAC,CAAA;QACpD,WAAW,CAAC,cAAc,EAAE,QAAQ,CAAC,cAAc,CAAC,CAAA;QACpD,iBAAiB,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,iBAAiB,CAAC,CAAA;QACrD,IAAI,QAAQ,CAAC,YAAY,KAAK,SAAS;YAAE,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,YAAY,CAAC,CAAA;IAClF,CAAC;IAED,iBAAiB,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAA;IAChD,OAAO;QACL,MAAM;QACN,gBAAgB,EAAE,gBAAgB,CAAC,cAAc,CAAC;QAClD,gBAAgB,EAAE,gBAAgB,CAAC,cAAc,CAAC;QAClD,iBAAiB;QACjB,eAAe,EAAE,MAAM,CAAC,iBAAiB;KAC1C,CAAA;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,QAAyB,EAAU,EAAE;IAC5E,MAAM,WAAW,GACf,QAAQ,CAAC,WAAW,GAAG,yBAAyB;QAChD,QAAQ,CAAC,YAAY,GAAG,sBAAsB,CAAA;IAChD,MAAM,SAAS,GACb,QAAQ,CAAC,eAAe,GAAG,yBAAyB;QACpD,QAAQ,CAAC,gBAAgB,GAAG,sBAAsB,CAAA;IACpD,OAAO,WAAW,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,GAAG,WAAW,CAAA;AACxD,CAAC,CAAA;AAED,MAAM,6BAA6B,GAAG,CACpC,UAAsB,EACtB,IAAY,EACU,EAAE;IACxB,MAAM,cAAc,GAAG,oBAAoB,EAAE,CAAA;IAC7C,MAAM,cAAc,GAAG,oBAAoB,EAAE,CAAA;IAC7C,MAAM,iBAAiB,GAAuB,EAAE,CAAA;IAEhD,KAAK,MAAM,OAAO,IAAI,uBAAuB,CAAC,UAAU,CAAC,EAAE,CAAC;QAC1D,MAAM,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,cAAc,CAAA;QACjE,MAAM,WAAW,GAAG,8BAA8B,CAAC,OAAO,EAAE,IAAI,CAAC,CAAA;QACjE,mBAAmB,CAAC,MAAM,EAAE,WAAW,CAAC,CAAA;QACxC,IAAI,CAAC,OAAO,CAAC,QAAQ,IAAI,WAAW,CAAC,WAAW,KAAK,SAAS;YAAE,SAAQ;QACxE,iBAAiB,CAAC,IAAI,CAAC;YACrB,IAAI;YACJ,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,WAAW,EAAE,WAAW,CAAC,WAAW;SACrC,CAAC,CAAA;IACJ,CAAC;IAED,OAAO;QACL,YAAY,EAAE,eAAe,CAAC,cAAc,EAAE,cAAc,CAAC;YAC3D,CAAC,CAAC;gBACE,QAAQ,EAAE,gBAAgB,CAAC,cAAc,CAAC;gBAC1C,QAAQ,EAAE,gBAAgB,CAAC,cAAc,CAAC;aAC3C;YACH,CAAC,CAAC,SAAS;QACb,cAAc;QACd,cAAc;QACd,iBAAiB;KAClB,CAAA;AACH,CAAC,CAAA;AAED,MAAM,mBAAmB,GAAG,CAC1B,QAAyB,EACzB,WAAwC,EAClC,EAAE;IACR,QAAQ,CAAC,WAAW,IAAI,WAAW,CAAC,UAAU,CAAA;IAC9C,QAAQ,CAAC,eAAe,IAAI,WAAW,CAAC,eAAe,CAAA;IACvD,QAAQ,CAAC,YAAY,IAAI,CAAC,CAAA;IAC1B,QAAQ,CAAC,gBAAgB,IAAI,WAAW,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AAClE,CAAC,CAAA;AAED,MAAM,WAAW,GAAG,CAAC,MAAuB,EAAE,MAAuB,EAAQ,EAAE;IAC7E,MAAM,CAAC,WAAW,IAAI,MAAM,CAAC,WAAW,CAAA;IACxC,MAAM,CAAC,eAAe,IAAI,MAAM,CAAC,eAAe,CAAA;IAChD,MAAM,CAAC,YAAY,IAAI,MAAM,CAAC,YAAY,CAAA;IAC1C,MAAM,CAAC,gBAAgB,IAAI,MAAM,CAAC,gBAAgB,CAAA;AACpD,CAAC,CAAA;AAED,MAAM,eAAe,GAAG,CACtB,QAAyB,EACzB,QAAyB,EAChB,EAAE,CACX,QAAQ,CAAC,WAAW,GAAG,CAAC;IACxB,QAAQ,CAAC,YAAY,GAAG,CAAC;IACzB,QAAQ,CAAC,WAAW,GAAG,CAAC;IACxB,QAAQ,CAAC,YAAY,GAAG,CAAC,CAAA;AAE3B,MAAM,oBAAoB,GAAG,GAAoB,EAAE,CAAC,CAAC;IACnD,WAAW,EAAE,CAAC;IACd,eAAe,EAAE,CAAC;IAClB,YAAY,EAAE,CAAC;IACf,gBAAgB,EAAE,CAAC;CACpB,CAAC,CAAA;AAEF,MAAM,gBAAgB,GAAG,CAAC,QAAyB,EAAmB,EAAE;IACtE,MAAM,WAAW,GAAG,QAAQ,CAAC,WAAW,GAAG,QAAQ,CAAC,YAAY,CAAA;IAChE,MAAM,SAAS,GAAG,QAAQ,CAAC,eAAe,GAAG,QAAQ,CAAC,gBAAgB,CAAA;IACtE,OAAO;QACL,GAAG,QAAQ;QACX,QAAQ,EAAE,WAAW,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,GAAG,WAAW;KAC1D,CAAA;AACH,CAAC,CAAA;AAED,MAAM,wBAAwB,GAAG,CAAC,IAAiB,EAAE,KAAkB,EAAU,EAAE;IACjF,MAAM,aAAa,GAAG,CAAC,IAAgC,EAAU,EAAE,CACjE,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IAEzB,MAAM,SAAS,GAAG,aAAa,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC,CAAA;IACpF,IAAI,SAAS,KAAK,CAAC;QAAE,OAAO,SAAS,CAAA;IACrC,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;IACxE,OAAO,IAAI,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,CAAA;AAC/B,CAAC,CAAA"}

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

@@ -0,0 +1,19 @@
+import { type SourceFile, ts } from "ts-morph";
+import type { UncoveredFn } from "./ts-ld-06-annotation-coverage.js";
+type CompilerFunctionLike = ts.FunctionDeclaration | ts.MethodDeclaration | ts.ArrowFunction | ts.FunctionExpression;
+interface TrackedFunction {
+    readonly fn: CompilerFunctionLike;
+    readonly boundary: boolean;
+    readonly name: string;
+    readonly line: number;
+}
+export interface FunctionCoverageMeasurement {
+    readonly paramCount: number;
+    readonly annotatedParams: number;
+    readonly returnAnnotated: boolean;
+    readonly missingKind: UncoveredFn["missingKind"] | undefined;
+}
+export declare const collectTrackedFunctions: (sourceFile: SourceFile) => ReadonlyArray<TrackedFunction>;
+export declare const measureTrackedFunctionCoverage: (tracked: TrackedFunction, file: string) => FunctionCoverageMeasurement;
+export {};
+//# sourceMappingURL=ts-ld-06-functions.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ts-ld-06-functions.d.ts","sourceRoot":"","sources":["../../src/signals/ts-ld-06-functions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,UAAU,EAAE,EAAE,EAAE,MAAM,UAAU,CAAA;AAE9C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mCAAmC,CAAA;AAEpE,KAAK,oBAAoB,GACrB,EAAE,CAAC,mBAAmB,GACtB,EAAE,CAAC,iBAAiB,GACpB,EAAE,CAAC,aAAa,GAChB,EAAE,CAAC,kBAAkB,CAAA;AAEzB,UAAU,eAAe;IACvB,QAAQ,CAAC,EAAE,EAAE,oBAAoB,CAAA;IACjC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CACtB;AAED,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAA;IAChC,QAAQ,CAAC,eAAe,EAAE,OAAO,CAAA;IACjC,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC,aAAa,CAAC,GAAG,SAAS,CAAA;CAC7D;AAED,eAAO,MAAM,uBAAuB,GAAI,YAAY,UAAU,KAAG,aAAa,CAAC,eAAe,CAoC7F,CAAA;AAED,eAAO,MAAM,8BAA8B,GACzC,SAAS,eAAe,EACxB,MAAM,MAAM,KACX,2BAkBF,CAAA"}

package/dist/signals/ts-ld-06-functions.js

@@ -0,0 +1,218 @@
+import { ts } from "ts-morph";
+import { compilerPropertyNameText as propertyNameText } from "./shared-compiler-functions.js";
+export const collectTrackedFunctions = (sourceFile) => {
+    const compilerSourceFile = sourceFile.compilerNode;
+    const boundaryNames = collectLocalBoundaryNames(compilerSourceFile);
+    const results = [];
+    const visit = (node, classContext) => {
+        if (ts.isClassDeclaration(node)) {
+            const className = node.name?.text;
+            const boundary = hasModifier(node, ts.SyntaxKind.ExportKeyword) ||
+                hasModifier(node, ts.SyntaxKind.DefaultKeyword) ||
+                (className !== undefined && boundaryNames.has(className));
+            ts.forEachChild(node, (child) => visit(child, { name: className, boundary }));
+            return;
+        }
+        if (isCompilerFunctionLike(node) && isTrackedFunction(node)) {
+            const boundary = isBoundaryFunction(node, boundaryNames, classContext);
+            results.push({
+                fn: node,
+                boundary,
+                name: functionDisplayName(node, classContext?.name),
+                line: compilerSourceFile.getLineAndCharacterOfPosition(node.getStart(compilerSourceFile)).line + 1,
+            });
+        }
+        ts.forEachChild(node, (child) => visit(child, classContext));
+    };
+    visit(compilerSourceFile, undefined);
+    return results;
+};
+export const measureTrackedFunctionCoverage = (tracked, file) => {
+    const paramCount = tracked.fn.parameters.length;
+    const contextuallyTyped = hasContextualFunctionTypeAnnotation(tracked.fn) ||
+        hasFrameworkMethodContract(tracked.fn);
+    const annotatedParams = contextuallyTyped
+        ? paramCount
+        : tracked.fn.parameters.filter(hasCoveredParameterType).length;
+    const returnAnnotated = contextuallyTyped ||
+        tracked.fn.type !== undefined ||
+        hasImplicitComponentReturnCoverage(tracked.fn, tracked.name, file);
+    return {
+        paramCount,
+        annotatedParams,
+        returnAnnotated,
+        missingKind: classifyMissingKind(paramCount, annotatedParams, returnAnnotated),
+    };
+};
+const collectLocalBoundaryNames = (sourceFile) => {
+    const names = new Set();
+    for (const statement of sourceFile.statements) {
+        if ((ts.isFunctionDeclaration(statement) || ts.isClassDeclaration(statement)) &&
+            statement.name !== undefined &&
+            (hasModifier(statement, ts.SyntaxKind.ExportKeyword) ||
+                hasModifier(statement, ts.SyntaxKind.DefaultKeyword))) {
+            names.add(statement.name.text);
+            continue;
+        }
+        if (ts.isVariableStatement(statement) && hasModifier(statement, ts.SyntaxKind.ExportKeyword)) {
+            for (const declaration of statement.declarationList.declarations) {
+                if (ts.isIdentifier(declaration.name))
+                    names.add(declaration.name.text);
+            }
+            continue;
+        }
+        if (ts.isExportDeclaration(statement) &&
+            statement.moduleSpecifier === undefined &&
+            statement.exportClause !== undefined &&
+            ts.isNamedExports(statement.exportClause)) {
+            for (const element of statement.exportClause.elements) {
+                names.add((element.propertyName ?? element.name).text);
+            }
+        }
+    }
+    return names;
+};
+const isCompilerFunctionLike = (node) => ts.isFunctionDeclaration(node) ||
+    ts.isMethodDeclaration(node) ||
+    ts.isArrowFunction(node) ||
+    ts.isFunctionExpression(node);
+const isTrackedFunction = (node) => {
+    if (ts.isFunctionDeclaration(node) || ts.isMethodDeclaration(node))
+        return true;
+    const parent = node.parent;
+    return ts.isVariableDeclaration(parent) || ts.isExportAssignment(parent);
+};
+const hasContextualFunctionTypeAnnotation = (node) => {
+    const parent = node.parent;
+    if (!ts.isVariableDeclaration(parent))
+        return false;
+    return parent.type !== undefined;
+};
+const DURABLE_OBJECT_METHOD_CONTRACTS = new Set([
+    "alarm",
+    "fetch",
+    "webSocketClose",
+    "webSocketError",
+    "webSocketMessage",
+]);
+const hasFrameworkMethodContract = (node) => {
+    if (!ts.isMethodDeclaration(node))
+        return false;
+    if (!ts.isClassDeclaration(node.parent))
+        return false;
+    const name = propertyNameText(node.name);
+    if (!DURABLE_OBJECT_METHOD_CONTRACTS.has(name))
+        return false;
+    return classExtendsIdentifier(node.parent, "DurableObject");
+};
+const classExtendsIdentifier = (node, name) => node.heritageClauses?.some((clause) => clause.token === ts.SyntaxKind.ExtendsKeyword &&
+    clause.types.some((heritage) => expressionMatchesIdentifier(heritage.expression, name))) ?? false;
+const expressionMatchesIdentifier = (expression, name) => {
+    if (ts.isIdentifier(expression))
+        return expression.text === name;
+    if (ts.isPropertyAccessExpression(expression))
+        return expression.name.text === name;
+    return false;
+};
+const hasCoveredParameterType = (parameter) => parameter.type !== undefined || parameter.initializer !== undefined;
+const hasImplicitComponentReturnCoverage = (node, name, filePath) => {
+    if (!filePath.endsWith(".tsx"))
+        return false;
+    if (ts.isMethodDeclaration(node))
+        return false;
+    if (!isPascalCaseIdentifier(name))
+        return false;
+    return bodyContainsJsx(node.body);
+};
+const isPascalCaseIdentifier = (name) => /^[A-Z][A-Za-z0-9]*$/.test(name);
+const bodyContainsJsx = (body) => {
+    if (body === undefined)
+        return false;
+    if (isJsxNode(body))
+        return true;
+    let found = false;
+    const visit = (node) => {
+        if (found)
+            return;
+        if (ts.isReturnStatement(node)) {
+            found = node.expression !== undefined && containsJsx(node.expression);
+            return;
+        }
+        ts.forEachChild(node, visit);
+    };
+    visit(body);
+    return found;
+};
+const containsJsx = (node) => {
+    if (isJsxNode(node))
+        return true;
+    let found = false;
+    const visit = (child) => {
+        if (found)
+            return;
+        if (isJsxNode(child)) {
+            found = true;
+            return;
+        }
+        ts.forEachChild(child, visit);
+    };
+    ts.forEachChild(node, visit);
+    return found;
+};
+const isJsxNode = (node) => ts.isJsxElement(node) || ts.isJsxSelfClosingElement(node) || ts.isJsxFragment(node);
+const isBoundaryFunction = (fn, boundaryNames, classContext) => {
+    if (ts.isFunctionDeclaration(fn)) {
+        return (hasModifier(fn, ts.SyntaxKind.ExportKeyword) ||
+            hasModifier(fn, ts.SyntaxKind.DefaultKeyword) ||
+            (fn.name !== undefined && boundaryNames.has(fn.name.text)));
+    }
+    if (ts.isMethodDeclaration(fn)) {
+        if (!ts.isClassDeclaration(fn.parent))
+            return false;
+        if (hasModifier(fn, ts.SyntaxKind.PrivateKeyword) ||
+            hasModifier(fn, ts.SyntaxKind.ProtectedKeyword)) {
+            return false;
+        }
+        return classContext?.boundary === true;
+    }
+    const parent = fn.parent;
+    if (ts.isVariableDeclaration(parent) && ts.isIdentifier(parent.name)) {
+        return boundaryNames.has(parent.name.text) || isExportedVariableDeclaration(parent);
+    }
+    return ts.isExportAssignment(parent);
+};
+const isExportedVariableDeclaration = (declaration) => {
+    const declarationList = declaration.parent;
+    const statement = declarationList.parent;
+    return ts.isVariableStatement(statement) && hasModifier(statement, ts.SyntaxKind.ExportKeyword);
+};
+const hasModifier = (node, kind) => node.modifiers?.some((modifier) => modifier.kind === kind) ?? false;
+const functionDisplayName = (fn, className) => {
+    if (ts.isMethodDeclaration(fn)) {
+        const name = propertyNameText(fn.name);
+        return ts.isClassDeclaration(fn.parent) && className !== undefined ? `${className}.${name}` : name;
+    }
+    if (ts.isFunctionDeclaration(fn) || ts.isFunctionExpression(fn)) {
+        if (fn.name !== undefined)
+            return fn.name.text;
+    }
+    const parent = fn.parent;
+    if (ts.isVariableDeclaration(parent) && ts.isIdentifier(parent.name)) {
+        return parent.name.text;
+    }
+    if (ts.isExportAssignment(parent))
+        return "<default export>";
+    return "<anonymous>";
+};
+const classifyMissingKind = (totalParams, annotatedParams, returnAnnotated) => {
+    const paramsMissing = annotatedParams < totalParams;
+    const returnMissing = !returnAnnotated;
+    if (paramsMissing && returnMissing)
+        return "both";
+    if (paramsMissing)
+        return "params";
+    if (returnMissing)
+        return "return";
+    return undefined;
+};
+//# sourceMappingURL=ts-ld-06-functions.js.map

package/dist/signals/ts-ld-06-functions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ts-ld-06-functions.js","sourceRoot":"","sources":["../../src/signals/ts-ld-06-functions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAmB,EAAE,EAAE,MAAM,UAAU,CAAA;AAC9C,OAAO,EAAE,wBAAwB,IAAI,gBAAgB,EAAE,MAAM,gCAAgC,CAAA;AAuB7F,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,UAAsB,EAAkC,EAAE;IAChG,MAAM,kBAAkB,GAAG,UAAU,CAAC,YAAY,CAAA;IAClD,MAAM,aAAa,GAAG,yBAAyB,CAAC,kBAAkB,CAAC,CAAA;IACnE,MAAM,OAAO,GAA2B,EAAE,CAAA;IAE1C,MAAM,KAAK,GAAG,CACZ,IAAa,EACb,YAA2F,EACrF,EAAE;QACR,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,EAAE,IAAI,CAAA;YACjC,MAAM,QAAQ,GACZ,WAAW,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC;gBAC9C,WAAW,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC;gBAC/C,CAAC,SAAS,KAAK,SAAS,IAAI,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAA;YAC3D,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAA;YAC7E,OAAM;QACR,CAAC;QAED,IAAI,sBAAsB,CAAC,IAAI,CAAC,IAAI,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5D,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,EAAE,aAAa,EAAE,YAAY,CAAC,CAAA;YACtE,OAAO,CAAC,IAAI,CAAC;gBACX,EAAE,EAAE,IAAI;gBACR,QAAQ;gBACR,IAAI,EAAE,mBAAmB,CAAC,IAAI,EAAE,YAAY,EAAE,IAAI,CAAC;gBACnD,IAAI,EAAE,kBAAkB,CAAC,6BAA6B,CACpD,IAAI,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CAClC,CAAC,IAAI,GAAG,CAAC;aACX,CAAC,CAAA;QACJ,CAAC;QAED,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC,CAAA;IAC9D,CAAC,CAAA;IAED,KAAK,CAAC,kBAAkB,EAAE,SAAS,CAAC,CAAA;IACpC,OAAO,OAAO,CAAA;AAChB,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,OAAwB,EACxB,IAAY,EACiB,EAAE;IAC/B,MAAM,UAAU,GAAG,OAAO,CAAC,EAAE,CAAC,UAAU,CAAC,MAAM,CAAA;IAC/C,MAAM,iBAAiB,GACrB,mCAAmC,CAAC,OAAO,CAAC,EAAE,CAAC;QAC/C,0BAA0B,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;IACxC,MAAM,eAAe,GAAG,iBAAiB;QACvC,CAAC,CAAC,UAAU;QACZ,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,uBAAuB,CAAC,CAAC,MAAM,CAAA;IAChE,MAAM,eAAe,GACnB,iBAAiB;QACjB,OAAO,CAAC,EAAE,CAAC,IAAI,KAAK,SAAS;QAC7B,kCAAkC,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;IACpE,OAAO;QACL,UAAU;QACV,eAAe;QACf,eAAe;QACf,WAAW,EAAE,mBAAmB,CAAC,UAAU,EAAE,eAAe,EAAE,eAAe,CAAC;KAC/E,CAAA;AACH,CAAC,CAAA;AAED,MAAM,yBAAyB,GAAG,CAAC,UAAyB,EAAuB,EAAE;IACnF,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAA;IAE/B,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;QAC9C,IACE,CAAC,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC,CAAC;YACzE,SAAS,CAAC,IAAI,KAAK,SAAS;YAC5B,CAAC,WAAW,CAAC,SAAS,EAAE,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC;gBAClD,WAAW,CAAC,SAAS,EAAE,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC,EACvD,CAAC;YACD,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YAC9B,SAAQ;QACV,CAAC;QAED,IAAI,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,IAAI,WAAW,CAAC,SAAS,EAAE,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,EAAE,CAAC;YAC7F,KAAK,MAAM,WAAW,IAAI,SAAS,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;gBACjE,IAAI,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC;oBAAE,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YACzE,CAAC;YACD,SAAQ;QACV,CAAC;QAED,IACE,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC;YACjC,SAAS,CAAC,eAAe,KAAK,SAAS;YACvC,SAAS,CAAC,YAAY,KAAK,SAAS;YACpC,EAAE,CAAC,cAAc,CAAC,SAAS,CAAC,YAAY,CAAC,EACzC,CAAC;YACD,KAAK,MAAM,OAAO,IAAI,SAAS,CAAC,YAAY,CAAC,QAAQ,EAAE,CAAC;gBACtD,KAAK,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,YAAY,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAA;YACxD,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAA;AACd,CAAC,CAAA;AAED,MAAM,sBAAsB,GAAG,CAAC,IAAa,EAAgC,EAAE,CAC7E,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;IAC9B,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;IAC5B,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;IACxB,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAA;AAE/B,MAAM,iBAAiB,GAAG,CAAC,IAA0B,EAAW,EAAE;IAChE,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAA;IAC/E,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAA;IAC1B,OAAO,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAA;AAC1E,CAAC,CAAA;AAED,MAAM,mCAAmC,GAAG,CAAC,IAA0B,EAAW,EAAE;IAClF,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAA;IAC1B,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAA;IACnD,OAAO,MAAM,CAAC,IAAI,KAAK,SAAS,CAAA;AAClC,CAAC,CAAA;AAED,MAAM,+BAA+B,GAAG,IAAI,GAAG,CAAC;IAC9C,OAAO;IACP,OAAO;IACP,gBAAgB;IAChB,gBAAgB;IAChB,kBAAkB;CACnB,CAAC,CAAA;AAEF,MAAM,0BAA0B,GAAG,CAAC,IAA0B,EAAW,EAAE;IACzE,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAA;IAC/C,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAA;IACrD,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACxC,IAAI,CAAC,+BAA+B,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAA;IAC5D,OAAO,sBAAsB,CAAC,IAAI,CAAC,MAAM,EAAE,eAAe,CAAC,CAAA;AAC7D,CAAC,CAAA;AAED,MAAM,sBAAsB,GAAG,CAAC,IAAyB,EAAE,IAAY,EAAW,EAAE,CAClF,IAAI,CAAC,eAAe,EAAE,IAAI,CACxB,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,KAAK,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;IAC7C,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,2BAA2B,CAAC,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAC1F,IAAI,KAAK,CAAA;AAEZ,MAAM,2BAA2B,GAAG,CAAC,UAAyB,EAAE,IAAY,EAAW,EAAE;IACvF,IAAI,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC;QAAE,OAAO,UAAU,CAAC,IAAI,KAAK,IAAI,CAAA;IAChE,IAAI,EAAE,CAAC,0BAA0B,CAAC,UAAU,CAAC;QAAE,OAAO,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAA;IACnF,OAAO,KAAK,CAAA;AACd,CAAC,CAAA;AAED,MAAM,uBAAuB,GAAG,CAAC,SAAkC,EAAW,EAAE,CAC9E,SAAS,CAAC,IAAI,KAAK,SAAS,IAAI,SAAS,CAAC,WAAW,KAAK,SAAS,CAAA;AAErE,MAAM,kCAAkC,GAAG,CACzC,IAA0B,EAC1B,IAAY,EACZ,QAAgB,EACP,EAAE;IACX,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAA;IAC5C,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAA;IAC9C,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAA;IAC/C,OAAO,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACnC,CAAC,CAAA;AAED,MAAM,sBAAsB,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AAE1F,MAAM,eAAe,GAAG,CAAC,IAAkD,EAAW,EAAE;IACtF,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,KAAK,CAAA;IACpC,IAAI,SAAS,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAA;IAEhC,IAAI,KAAK,GAAG,KAAK,CAAA;IACjB,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,KAAK;YAAE,OAAM;QACjB,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,KAAK,GAAG,IAAI,CAAC,UAAU,KAAK,SAAS,IAAI,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;YACrE,OAAM;QACR,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;IAC9B,CAAC,CAAA;IACD,KAAK,CAAC,IAAI,CAAC,CAAA;IACX,OAAO,KAAK,CAAA;AACd,CAAC,CAAA;AAED,MAAM,WAAW,GAAG,CAAC,IAAa,EAAW,EAAE;IAC7C,IAAI,SAAS,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAA;IAChC,IAAI,KAAK,GAAG,KAAK,CAAA;IACjB,MAAM,KAAK,GAAG,CAAC,KAAc,EAAQ,EAAE;QACrC,IAAI,KAAK;YAAE,OAAM;QACjB,IAAI,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;YACrB,KAAK,GAAG,IAAI,CAAA;YACZ,OAAM;QACR,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;IAC/B,CAAC,CAAA;IACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;IAC5B,OAAO,KAAK,CAAA;AACd,CAAC,CAAA;AAED,MAAM,SAAS,GAAG,CAAC,IAAa,EAAW,EAAE,CAC3C,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,CAAA;AAErF,MAAM,kBAAkB,GAAG,CACzB,EAAwB,EACxB,aAAkC,EAClC,YAAwD,EAC/C,EAAE;IACX,IAAI,EAAE,CAAC,qBAAqB,CAAC,EAAE,CAAC,EAAE,CAAC;QACjC,OAAO,CACL,WAAW,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC;YAC5C,WAAW,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC;YAC7C,CAAC,EAAE,CAAC,IAAI,KAAK,SAAS,IAAI,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAC3D,CAAA;IACH,CAAC;IAED,IAAI,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC,EAAE,CAAC;QAC/B,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,EAAE,CAAC,MAAM,CAAC;YAAE,OAAO,KAAK,CAAA;QACnD,IACE,WAAW,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC;YAC7C,WAAW,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,gBAAgB,CAAC,EAC/C,CAAC;YACD,OAAO,KAAK,CAAA;QACd,CAAC;QACD,OAAO,YAAY,EAAE,QAAQ,KAAK,IAAI,CAAA;IACxC,CAAC;IAED,MAAM,MAAM,GAAG,EAAE,CAAC,MAAM,CAAA;IACxB,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QACrE,OAAO,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,6BAA6B,CAAC,MAAM,CAAC,CAAA;IACrF,CAAC;IACD,OAAO,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAA;AACtC,CAAC,CAAA;AAED,MAAM,6BAA6B,GAAG,CAAC,WAAmC,EAAW,EAAE;IACrF,MAAM,eAAe,GAAG,WAAW,CAAC,MAAM,CAAA;IAC1C,MAAM,SAAS,GAAG,eAAe,CAAC,MAAM,CAAA;IACxC,OAAO,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,IAAI,WAAW,CAAC,SAAS,EAAE,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,CAAA;AACjG,CAAC,CAAA;AAED,MAAM,WAAW,GAAG,CAClB,IAAwE,EACxE,IAAmB,EACV,EAAE,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,KAAK,CAAA;AAEjF,MAAM,mBAAmB,GAAG,CAC1B,EAAwB,EACxB,SAA6B,EACrB,EAAE;IACV,IAAI,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,gBAAgB,CAAC,EAAE,CAAC,IAAI,CAAC,CAAA;QACtC,OAAO,EAAE,CAAC,kBAAkB,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,SAAS,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAA;IACpG,CAAC;IACD,IAAI,EAAE,CAAC,qBAAqB,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,EAAE,CAAC,EAAE,CAAC;QAChE,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,EAAE,CAAC,IAAI,CAAC,IAAI,CAAA;IAChD,CAAC;IAED,MAAM,MAAM,GAAG,EAAE,CAAC,MAAM,CAAA;IACxB,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QACrE,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAA;IACzB,CAAC;IACD,IAAI,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC;QAAE,OAAO,kBAAkB,CAAA;IAC5D,OAAO,aAAa,CAAA;AACtB,CAAC,CAAA;AAED,MAAM,mBAAmB,GAAG,CAC1B,WAAmB,EACnB,eAAuB,EACvB,eAAwB,EACgB,EAAE;IAC1C,MAAM,aAAa,GAAG,eAAe,GAAG,WAAW,CAAA;IACnD,MAAM,aAAa,GAAG,CAAC,eAAe,CAAA;IACtC,IAAI,aAAa,IAAI,aAAa;QAAE,OAAO,MAAM,CAAA;IACjD,IAAI,aAAa;QAAE,OAAO,QAAQ,CAAA;IAClC,IAAI,aAAa;QAAE,OAAO,QAAQ,CAAA;IAClC,OAAO,SAAS,CAAA;AAClB,CAAC,CAAA"}

package/dist/signals/ts-ld-07-analysis.d.ts

@@ -0,0 +1,6 @@
+import { type SourceFile } from "ts-morph";
+import type { CalibrationProcessorError, ResolvedCalibrationContext } from "@skastr0/pulsar-core/calibration";
+import { Effect, Option } from "effect";
+import type { TsLd07Config, TsLd07Output } from "./ts-ld-07-unsafe-type-erosion.js";
+export declare const computeUnsafeTypeErosionOutput: (sourceFiles: ReadonlyArray<SourceFile>, config: TsLd07Config, calibration: Option.Option<ResolvedCalibrationContext>) => Effect.Effect<TsLd07Output, CalibrationProcessorError, never>;
+//# sourceMappingURL=ts-ld-07-analysis.d.ts.map

package/dist/signals/ts-ld-07-analysis.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ts-ld-07-analysis.d.ts","sourceRoot":"","sources":["../../src/signals/ts-ld-07-analysis.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,UAAU,EAAE,MAAM,UAAU,CAAA;AAC1C,OAAO,KAAK,EAAuB,yBAAyB,EAAE,0BAA0B,EAAE,MAAM,kCAAkC,CAAA;AAClI,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AASvC,OAAO,KAAK,EACV,YAAY,EACZ,YAAY,EAGb,MAAM,mCAAmC,CAAA;AAE1C,eAAO,MAAM,8BAA8B,GACzC,aAAa,aAAa,CAAC,UAAU,CAAC,EACtC,QAAQ,YAAY,EACpB,aAAa,MAAM,CAAC,MAAM,CAAC,0BAA0B,CAAC,KACrD,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,yBAAyB,EAAE,KAAK,CAsC7D,CAAA"}

package/dist/signals/ts-ld-07-analysis.js

@@ -0,0 +1,69 @@
+import { Effect, Option } from "effect";
+import { isExcluded } from "./shared-globs.js";
+import { collectUnsafeTypeOccurrences } from "./ts-ld-07-classification.js";
+import { buildUnsafeTypeOutput, compareUnsafeOccurrences, countNonEmptyLines, summarizeFileOccurrences, } from "./ts-ld-07-output.js";
+export const computeUnsafeTypeErosionOutput = (sourceFiles, config, calibration) => Effect.gen(function* () {
+    const byFile = new Map();
+    const occurrences = [];
+    const calibrationDecisions = [];
+    let analyzedFiles = 0;
+    let analyzedLines = 0;
+    for (const sourceFile of sourceFiles) {
+        const file = sourceFile.getFilePath();
+        if (sourceFile.isDeclarationFile() || isExcluded(file, config.exclude_globs))
+            continue;
+        analyzedFiles += 1;
+        analyzedLines += countNonEmptyLines(sourceFile);
+        const collectedOccurrences = collectUnsafeTypeOccurrences(sourceFile)
+            .map((occurrence) => ({ ...occurrence, file }))
+            .sort(compareUnsafeOccurrences);
+        const policyResult = yield* applyUnsafeTypePolicy(collectedOccurrences, calibration);
+        const fileOccurrences = policyResult.occurrences;
+        calibrationDecisions.push(...policyResult.calibrationDecisions);
+        if (fileOccurrences.length === 0)
+            continue;
+        occurrences.push(...fileOccurrences);
+        byFile.set(file, summarizeFileOccurrences(fileOccurrences));
+    }
+    occurrences.sort(compareUnsafeOccurrences);
+    return buildUnsafeTypeOutput(byFile, occurrences, analyzedFiles, analyzedLines, config, calibrationDecisions);
+});
+const applyUnsafeTypePolicy = (occurrences, calibration) => Effect.gen(function* () {
+    if (Option.isNone(calibration)) {
+        return {
+            occurrences: occurrences.filter((occurrence) => occurrence.visible),
+            calibrationDecisions: [],
+        };
+    }
+    const adjusted = [];
+    const calibrationDecisions = [];
+    for (const occurrence of occurrences) {
+        const policy = yield* calibration.value.runSlot("typescript.unsafe-type-policy", {
+            signalId: "TS-LD-07-unsafe-type-erosion",
+            findingId: occurrence.findingId,
+            file: occurrence.file,
+            line: occurrence.line,
+            kind: occurrence.kind,
+            target: occurrence.target,
+            boundary: occurrence.boundary,
+            visible: occurrence.visible,
+            severity: occurrence.severity,
+            baseWeight: occurrence.baseWeight,
+            weight: occurrence.weight,
+            factorPathPrefix: `unsafe_types.${occurrence.findingId}`,
+        });
+        calibrationDecisions.push(...policy.decisions);
+        if (!policy.value.visible)
+            continue;
+        adjusted.push({
+            ...occurrence,
+            boundary: policy.value.boundary,
+            severity: policy.value.severity,
+            visible: policy.value.visible,
+            weight: policy.value.weight,
+            policyDecisions: policy.decisions,
+        });
+    }
+    return { occurrences: adjusted, calibrationDecisions };
+});
+//# sourceMappingURL=ts-ld-07-analysis.js.map

package/dist/signals/ts-ld-07-analysis.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ts-ld-07-analysis.js","sourceRoot":"","sources":["../../src/signals/ts-ld-07-analysis.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAA;AAC9C,OAAO,EAAE,4BAA4B,EAAE,MAAM,8BAA8B,CAAA;AAC3E,OAAO,EACL,qBAAqB,EACrB,wBAAwB,EACxB,kBAAkB,EAClB,wBAAwB,GACzB,MAAM,sBAAsB,CAAA;AAQ7B,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,WAAsC,EACtC,MAAoB,EACpB,WAAsD,EACS,EAAE,CACjE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IACpB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAiC,CAAA;IACvD,MAAM,WAAW,GAAgC,EAAE,CAAA;IACnD,MAAM,oBAAoB,GAA+B,EAAE,CAAA;IAC3D,IAAI,aAAa,GAAG,CAAC,CAAA;IACrB,IAAI,aAAa,GAAG,CAAC,CAAA;IAErB,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,UAAU,CAAC,WAAW,EAAE,CAAA;QACrC,IAAI,UAAU,CAAC,iBAAiB,EAAE,IAAI,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,aAAa,CAAC;YAAE,SAAQ;QAEtF,aAAa,IAAI,CAAC,CAAA;QAClB,aAAa,IAAI,kBAAkB,CAAC,UAAU,CAAC,CAAA;QAE/C,MAAM,oBAAoB,GAAG,4BAA4B,CAAC,UAAU,CAAC;aAClE,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;aAC9C,IAAI,CAAC,wBAAwB,CAAC,CAAA;QACjC,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,qBAAqB,CAAC,oBAAoB,EAAE,WAAW,CAAC,CAAA;QACpF,MAAM,eAAe,GAAG,YAAY,CAAC,WAAW,CAAA;QAChD,oBAAoB,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,oBAAoB,CAAC,CAAA;QAE/D,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC;YAAE,SAAQ;QAE1C,WAAW,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,CAAA;QACpC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,wBAAwB,CAAC,eAAe,CAAC,CAAC,CAAA;IAC7D,CAAC;IAED,WAAW,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAA;IAE1C,OAAO,qBAAqB,CAC1B,MAAM,EACN,WAAW,EACX,aAAa,EACb,aAAa,EACb,MAAM,EACN,oBAAoB,CACrB,CAAA;AACH,CAAC,CAAC,CAAA;AAEF,MAAM,qBAAqB,GAAG,CAC5B,WAAgD,EAChD,WAAsD,EAQtD,EAAE,CACF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,IAAI,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC;QAC/B,OAAO;YACL,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC;YACnE,oBAAoB,EAAE,EAAE;SACzB,CAAA;IACH,CAAC;IAED,MAAM,QAAQ,GAAgC,EAAE,CAAA;IAChD,MAAM,oBAAoB,GAA+B,EAAE,CAAA;IAC3D,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,+BAA+B,EAAE;YAC/E,QAAQ,EAAE,8BAA8B;YACxC,SAAS,EAAE,UAAU,CAAC,SAAS;YAC/B,IAAI,EAAE,UAAU,CAAC,IAAI;YACrB,IAAI,EAAE,UAAU,CAAC,IAAI;YACrB,IAAI,EAAE,UAAU,CAAC,IAAI;YACrB,MAAM,EAAE,UAAU,CAAC,MAAM;YACzB,QAAQ,EAAE,UAAU,CAAC,QAAQ;YAC7B,OAAO,EAAE,UAAU,CAAC,OAAO;YAC3B,QAAQ,EAAE,UAAU,CAAC,QAAQ;YAC7B,UAAU,EAAE,UAAU,CAAC,UAAU;YACjC,MAAM,EAAE,UAAU,CAAC,MAAM;YACzB,gBAAgB,EAAE,gBAAgB,UAAU,CAAC,SAAS,EAAE;SACzD,CAAC,CAAA;QACF,oBAAoB,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC,CAAA;QAC9C,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO;YAAE,SAAQ;QACnC,QAAQ,CAAC,IAAI,CAAC;YACZ,GAAG,UAAU;YACb,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,QAAQ;YAC/B,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,QAAQ;YAC/B,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO;YAC7B,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM;YAC3B,eAAe,EAAE,MAAM,CAAC,SAAS;SAClC,CAAC,CAAA;IACJ,CAAC;IACD,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,oBAAoB,EAAE,CAAA;AACxD,CAAC,CAAC,CAAA"}

package/dist/signals/ts-ld-07-boundary.d.ts

@@ -0,0 +1,14 @@
+import { ts } from "ts-morph";
+type BoundaryDeclaration = ts.FunctionDeclaration | ts.ClassDeclaration | ts.InterfaceDeclaration | ts.TypeAliasDeclaration | ts.EnumDeclaration;
+type ReturnTypeOwner = ts.FunctionDeclaration | ts.MethodDeclaration | ts.ArrowFunction | ts.FunctionExpression | ts.FunctionTypeNode | ts.MethodSignature | ts.CallSignatureDeclaration | ts.ConstructSignatureDeclaration;
+export type FunctionBoundaryOwner = ReturnTypeOwner;
+export declare const collectLocalExportedNames: (sourceFile: ts.SourceFile) => ReadonlySet<string>;
+export declare const isReturnTypeOwner: (node: ts.Node) => node is ReturnTypeOwner;
+export declare const isBoundaryParameter: (parameter: ts.ParameterDeclaration, exportedNames: ReadonlySet<string>) => boolean;
+export declare const isBoundaryFunctionOwner: (owner: FunctionBoundaryOwner, exportedNames: ReadonlySet<string>) => boolean;
+export declare const isBoundaryProperty: (property: ts.PropertyDeclaration | ts.PropertySignature, exportedNames: ReadonlySet<string>) => boolean;
+export declare const isBoundaryVariable: (declaration: ts.VariableDeclaration, exportedNames: ReadonlySet<string>) => boolean;
+export declare const isBoundaryDeclaration: (node: BoundaryDeclaration, exportedNames: ReadonlySet<string>) => boolean;
+export declare const isWithinExportedTypeSurface: (node: ts.Node, exportedNames: ReadonlySet<string>) => boolean;
+export {};
+//# sourceMappingURL=ts-ld-07-boundary.d.ts.map

package/dist/signals/ts-ld-07-boundary.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ts-ld-07-boundary.d.ts","sourceRoot":"","sources":["../../src/signals/ts-ld-07-boundary.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,UAAU,CAAA;AAE7B,KAAK,mBAAmB,GACpB,EAAE,CAAC,mBAAmB,GACtB,EAAE,CAAC,gBAAgB,GACnB,EAAE,CAAC,oBAAoB,GACvB,EAAE,CAAC,oBAAoB,GACvB,EAAE,CAAC,eAAe,CAAA;AAEtB,KAAK,eAAe,GAChB,EAAE,CAAC,mBAAmB,GACtB,EAAE,CAAC,iBAAiB,GACpB,EAAE,CAAC,aAAa,GAChB,EAAE,CAAC,kBAAkB,GACrB,EAAE,CAAC,gBAAgB,GACnB,EAAE,CAAC,eAAe,GAClB,EAAE,CAAC,wBAAwB,GAC3B,EAAE,CAAC,6BAA6B,CAAA;AAEpC,MAAM,MAAM,qBAAqB,GAAG,eAAe,CAAA;AAEnD,eAAO,MAAM,yBAAyB,GAAI,YAAY,EAAE,CAAC,UAAU,KAAG,WAAW,CAAC,MAAM,CAkCvF,CAAA;AAED,eAAO,MAAM,iBAAiB,GAAI,MAAM,EAAE,CAAC,IAAI,KAAG,IAAI,IAAI,eAQhB,CAAA;AAE1C,eAAO,MAAM,mBAAmB,GAC9B,WAAW,EAAE,CAAC,oBAAoB,EAClC,eAAe,WAAW,CAAC,MAAM,CAAC,KACjC,OAIF,CAAA;AAED,eAAO,MAAM,uBAAuB,GAClC,OAAO,qBAAqB,EAC5B,eAAe,WAAW,CAAC,MAAM,CAAC,KACjC,OAqBF,CAAA;AAED,eAAO,MAAM,kBAAkB,GAC7B,UAAU,EAAE,CAAC,mBAAmB,GAAG,EAAE,CAAC,iBAAiB,EACvD,eAAe,WAAW,CAAC,MAAM,CAAC,KACjC,OASF,CAAA;AAED,eAAO,MAAM,kBAAkB,GAC7B,aAAa,EAAE,CAAC,mBAAmB,EACnC,eAAe,WAAW,CAAC,MAAM,CAAC,KACjC,OAQF,CAAA;AAED,eAAO,MAAM,qBAAqB,GAChC,MAAM,mBAAmB,EACzB,eAAe,WAAW,CAAC,MAAM,CAAC,KACjC,OAQF,CAAA;AAED,eAAO,MAAM,2BAA2B,GACtC,MAAM,EAAE,CAAC,IAAI,EACb,eAAe,WAAW,CAAC,MAAM,CAAC,KACjC,OAaF,CAAA"}

package/dist/signals/ts-ld-07-boundary.js

@@ -0,0 +1,114 @@
+import { ts } from "ts-morph";
+export const collectLocalExportedNames = (sourceFile) => {
+    const names = new Set();
+    for (const statement of sourceFile.statements) {
+        const name = topLevelDeclarationName(statement);
+        if (name !== undefined &&
+            (hasModifier(statement, ts.SyntaxKind.ExportKeyword) ||
+                hasModifier(statement, ts.SyntaxKind.DefaultKeyword))) {
+            names.add(name);
+            continue;
+        }
+        if (ts.isVariableStatement(statement) && hasModifier(statement, ts.SyntaxKind.ExportKeyword)) {
+            for (const declaration of statement.declarationList.declarations) {
+                if (ts.isIdentifier(declaration.name))
+                    names.add(declaration.name.text);
+            }
+            continue;
+        }
+        if (ts.isExportDeclaration(statement) &&
+            statement.moduleSpecifier === undefined &&
+            statement.exportClause !== undefined &&
+            ts.isNamedExports(statement.exportClause)) {
+            for (const element of statement.exportClause.elements) {
+                names.add((element.propertyName ?? element.name).text);
+            }
+        }
+    }
+    return names;
+};
+export const isReturnTypeOwner = (node) => ts.isFunctionDeclaration(node) ||
+    ts.isMethodDeclaration(node) ||
+    ts.isArrowFunction(node) ||
+    ts.isFunctionExpression(node) ||
+    ts.isFunctionTypeNode(node) ||
+    ts.isMethodSignature(node) ||
+    ts.isCallSignatureDeclaration(node) ||
+    ts.isConstructSignatureDeclaration(node);
+export const isBoundaryParameter = (parameter, exportedNames) => {
+    const owner = parameter.parent;
+    if (isFunctionBoundaryOwner(owner))
+        return isBoundaryFunctionOwner(owner, exportedNames);
+    return isWithinExportedTypeSurface(parameter, exportedNames);
+};
+export const isBoundaryFunctionOwner = (owner, exportedNames) => {
+    if (ts.isFunctionDeclaration(owner)) {
+        return isBoundaryDeclaration(owner, exportedNames);
+    }
+    if (ts.isMethodDeclaration(owner)) {
+        return (isPublicClassMember(owner) &&
+            ts.isClassDeclaration(owner.parent) &&
+            isBoundaryClass(owner.parent, exportedNames));
+    }
+    if (ts.isArrowFunction(owner) || ts.isFunctionExpression(owner)) {
+        const parent = owner.parent;
+        if (ts.isVariableDeclaration(parent))
+            return isBoundaryVariable(parent, exportedNames);
+        if (ts.isPropertyAssignment(parent))
+            return isWithinExportedTypeSurface(parent, exportedNames);
+        return ts.isExportAssignment(parent);
+    }
+    return isWithinExportedTypeSurface(owner, exportedNames);
+};
+export const isBoundaryProperty = (property, exportedNames) => {
+    if (ts.isPropertyDeclaration(property)) {
+        return (isPublicClassMember(property) &&
+            ts.isClassDeclaration(property.parent) &&
+            isBoundaryClass(property.parent, exportedNames));
+    }
+    return isWithinExportedTypeSurface(property, exportedNames);
+};
+export const isBoundaryVariable = (declaration, exportedNames) => {
+    if (!ts.isIdentifier(declaration.name))
+        return false;
+    const statement = declaration.parent.parent;
+    return (ts.isVariableStatement(statement) &&
+        (hasModifier(statement, ts.SyntaxKind.ExportKeyword) ||
+            exportedNames.has(declaration.name.text)));
+};
+export const isBoundaryDeclaration = (node, exportedNames) => {
+    if (hasModifier(node, ts.SyntaxKind.ExportKeyword) ||
+        hasModifier(node, ts.SyntaxKind.DefaultKeyword)) {
+        return true;
+    }
+    return ts.isSourceFile(node.parent) && node.name !== undefined && exportedNames.has(node.name.text);
+};
+export const isWithinExportedTypeSurface = (node, exportedNames) => {
+    let current = node;
+    while (current !== undefined) {
+        if (ts.isTypeAliasDeclaration(current) ||
+            ts.isInterfaceDeclaration(current) ||
+            ts.isClassDeclaration(current)) {
+            return isBoundaryDeclaration(current, exportedNames);
+        }
+        current = current.parent;
+    }
+    return false;
+};
+const topLevelDeclarationName = (node) => {
+    if (ts.isFunctionDeclaration(node) ||
+        ts.isClassDeclaration(node) ||
+        ts.isInterfaceDeclaration(node) ||
+        ts.isTypeAliasDeclaration(node) ||
+        ts.isEnumDeclaration(node)) {
+        return node.name?.text;
+    }
+    return undefined;
+};
+const isFunctionBoundaryOwner = (node) => isReturnTypeOwner(node);
+const isBoundaryClass = (node, exportedNames) => isBoundaryDeclaration(node, exportedNames);
+const isPublicClassMember = (node) => !hasModifier(node, ts.SyntaxKind.PrivateKeyword) &&
+    !hasModifier(node, ts.SyntaxKind.ProtectedKeyword);
+const hasModifier = (node, kind) => ts.canHaveModifiers(node) &&
+    (ts.getModifiers(node)?.some((modifier) => modifier.kind === kind) ?? false);
+//# sourceMappingURL=ts-ld-07-boundary.js.map

package/dist/signals/ts-ld-07-boundary.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ts-ld-07-boundary.js","sourceRoot":"","sources":["../../src/signals/ts-ld-07-boundary.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,UAAU,CAAA;AAqB7B,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,UAAyB,EAAuB,EAAE;IAC1F,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAA;IAE/B,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;QAC9C,MAAM,IAAI,GAAG,uBAAuB,CAAC,SAAS,CAAC,CAAA;QAC/C,IACE,IAAI,KAAK,SAAS;YAClB,CAAC,WAAW,CAAC,SAAS,EAAE,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC;gBAClD,WAAW,CAAC,SAAS,EAAE,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC,EACvD,CAAC;YACD,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YACf,SAAQ;QACV,CAAC;QAED,IAAI,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,IAAI,WAAW,CAAC,SAAS,EAAE,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,EAAE,CAAC;YAC7F,KAAK,MAAM,WAAW,IAAI,SAAS,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;gBACjE,IAAI,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC;oBAAE,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YACzE,CAAC;YACD,SAAQ;QACV,CAAC;QAED,IACE,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC;YACjC,SAAS,CAAC,eAAe,KAAK,SAAS;YACvC,SAAS,CAAC,YAAY,KAAK,SAAS;YACpC,EAAE,CAAC,cAAc,CAAC,SAAS,CAAC,YAAY,CAAC,EACzC,CAAC;YACD,KAAK,MAAM,OAAO,IAAI,SAAS,CAAC,YAAY,CAAC,QAAQ,EAAE,CAAC;gBACtD,KAAK,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,YAAY,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAA;YACxD,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAA;AACd,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,IAAa,EAA2B,EAAE,CAC1E,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;IAC9B,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;IAC5B,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;IACxB,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC;IAC7B,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;IAC3B,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;IAC1B,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC;IACnC,EAAE,CAAC,+BAA+B,CAAC,IAAI,CAAC,CAAA;AAE1C,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,SAAkC,EAClC,aAAkC,EACzB,EAAE;IACX,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAA;IAC9B,IAAI,uBAAuB,CAAC,KAAK,CAAC;QAAE,OAAO,uBAAuB,CAAC,KAAK,EAAE,aAAa,CAAC,CAAA;IACxF,OAAO,2BAA2B,CAAC,SAAS,EAAE,aAAa,CAAC,CAAA;AAC9D,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,KAA4B,EAC5B,aAAkC,EACzB,EAAE;IACX,IAAI,EAAE,CAAC,qBAAqB,CAAC,KAAK,CAAC,EAAE,CAAC;QACpC,OAAO,qBAAqB,CAAC,KAAK,EAAE,aAAa,CAAC,CAAA;IACpD,CAAC;IAED,IAAI,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC;QAClC,OAAO,CACL,mBAAmB,CAAC,KAAK,CAAC;YAC1B,EAAE,CAAC,kBAAkB,CAAC,KAAK,CAAC,MAAM,CAAC;YACnC,eAAe,CAAC,KAAK,CAAC,MAAM,EAAE,aAAa,CAAC,CAC7C,CAAA;IACH,CAAC;IAED,IAAI,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,KAAK,CAAC,EAAE,CAAC;QAChE,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAA;QAC3B,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC;YAAE,OAAO,kBAAkB,CAAC,MAAM,EAAE,aAAa,CAAC,CAAA;QACtF,IAAI,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC;YAAE,OAAO,2BAA2B,CAAC,MAAM,EAAE,aAAa,CAAC,CAAA;QAC9F,OAAO,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAA;IACtC,CAAC;IAED,OAAO,2BAA2B,CAAC,KAAK,EAAE,aAAa,CAAC,CAAA;AAC1D,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,QAAuD,EACvD,aAAkC,EACzB,EAAE;IACX,IAAI,EAAE,CAAC,qBAAqB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvC,OAAO,CACL,mBAAmB,CAAC,QAAQ,CAAC;YAC7B,EAAE,CAAC,kBAAkB,CAAC,QAAQ,CAAC,MAAM,CAAC;YACtC,eAAe,CAAC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,CAChD,CAAA;IACH,CAAC;IACD,OAAO,2BAA2B,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAA;AAC7D,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,WAAmC,EACnC,aAAkC,EACzB,EAAE;IACX,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAA;IACpD,MAAM,SAAS,GAAG,WAAW,CAAC,MAAM,CAAC,MAAM,CAAA;IAC3C,OAAO,CACL,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC;QACjC,CAAC,WAAW,CAAC,SAAS,EAAE,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC;YAClD,aAAa,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAC5C,CAAA;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAyB,EACzB,aAAkC,EACzB,EAAE;IACX,IACE,WAAW,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC;QAC9C,WAAW,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC,EAC/C,CAAC;QACD,OAAO,IAAI,CAAA;IACb,CAAC;IACD,OAAO,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACrG,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,IAAa,EACb,aAAkC,EACzB,EAAE;IACX,IAAI,OAAO,GAAwB,IAAI,CAAA;IACvC,OAAO,OAAO,KAAK,SAAS,EAAE,CAAC;QAC7B,IACE,EAAE,CAAC,sBAAsB,CAAC,OAAO,CAAC;YAClC,EAAE,CAAC,sBAAsB,CAAC,OAAO,CAAC;YAClC,EAAE,CAAC,kBAAkB,CAAC,OAAO,CAAC,EAC9B,CAAC;YACD,OAAO,qBAAqB,CAAC,OAAO,EAAE,aAAa,CAAC,CAAA;QACtD,CAAC;QACD,OAAO,GAAG,OAAO,CAAC,MAAM,CAAA;IAC1B,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC,CAAA;AAED,MAAM,uBAAuB,GAAG,CAAC,IAAa,EAAsB,EAAE;IACpE,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;QAC9B,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;QAC3B,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC;QAC/B,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC;QAC/B,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAC1B,CAAC;QACD,OAAO,IAAI,CAAC,IAAI,EAAE,IAAI,CAAA;IACxB,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC,CAAA;AAED,MAAM,uBAAuB,GAAG,CAAC,IAAa,EAAiC,EAAE,CAC/E,iBAAiB,CAAC,IAAI,CAAC,CAAA;AAEzB,MAAM,eAAe,GAAG,CACtB,IAAyB,EACzB,aAAkC,EACzB,EAAE,CAAC,qBAAqB,CAAC,IAAI,EAAE,aAAa,CAAC,CAAA;AAExD,MAAM,mBAAmB,GAAG,CAAC,IAAa,EAAW,EAAE,CACrD,CAAC,WAAW,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC;IAChD,CAAC,WAAW,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAA;AAEpD,MAAM,WAAW,GAAG,CAAC,IAAa,EAAE,IAAmB,EAAW,EAAE,CAClE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;IACzB,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,KAAK,CAAC,CAAA"}

package/dist/signals/ts-ld-07-classification.d.ts

@@ -0,0 +1,6 @@
+import { type SourceFile } from "ts-morph";
+import type { UnsafeTypeOccurrence } from "./ts-ld-07-unsafe-type-erosion.js";
+type LocalUnsafeTypeOccurrence = Omit<UnsafeTypeOccurrence, "file">;
+export declare const collectUnsafeTypeOccurrences: (sourceFile: SourceFile) => ReadonlyArray<LocalUnsafeTypeOccurrence>;
+export {};
+//# sourceMappingURL=ts-ld-07-classification.d.ts.map

package/dist/signals/ts-ld-07-classification.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ts-ld-07-classification.d.ts","sourceRoot":"","sources":["../../src/signals/ts-ld-07-classification.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,UAAU,EAAM,MAAM,UAAU,CAAA;AAa9C,OAAO,KAAK,EAEV,oBAAoB,EACrB,MAAM,mCAAmC,CAAA;AAE1C,KAAK,yBAAyB,GAAG,IAAI,CAAC,oBAAoB,EAAE,MAAM,CAAC,CAAA;AAenE,eAAO,MAAM,4BAA4B,GACvC,YAAY,UAAU,KACrB,aAAa,CAAC,yBAAyB,CA6BzC,CAAA"}