ts-semver-checks-core 0.2.0 → 0.3.0

package/dist/assignability.d.ts

@@ -0,0 +1,9 @@
+import ts from "typescript";
+import type { Finding } from "./findings.js";
+/**
+ * Refine structural findings using assignability. Returns a new list; findings
+ * that turn out to be false positives are omitted. If the combined program can't
+ * be built, the input findings are returned unchanged.
+ */
+export declare function refineFindings(findings: readonly Finding[], oldEntry: string, newEntry: string, compilerOptions?: ts.CompilerOptions): Finding[];
+//# sourceMappingURL=assignability.d.ts.map

package/dist/assignability.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"assignability.d.ts","sourceRoot":"","sources":["../src/assignability.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AA8C7C;;;;GAIG;AACH,wBAAgB,cAAc,CAC5B,QAAQ,EAAE,SAAS,OAAO,EAAE,EAC5B,QAAQ,EAAE,MAAM,EAChB,QAAQ,EAAE,MAAM,EAChB,eAAe,CAAC,EAAE,EAAE,CAAC,eAAe,GACnC,OAAO,EAAE,CAUX"}

package/dist/assignability.js

@@ -0,0 +1,144 @@
+import * as path from "node:path";
+import ts from "typescript";
+const DEFAULT_COMPILER_OPTIONS = {
+    target: ts.ScriptTarget.ES2022,
+    module: ts.ModuleKind.NodeNext,
+    moduleResolution: ts.ModuleResolutionKind.NodeNext,
+    strict: true,
+    skipLibCheck: true,
+    noEmit: true,
+};
+const PARAM_PATH = /^(.+)\.params\[(\d+)\]$/;
+const RETURN_PATH = /^(.+)\.returnType$/;
+/**
+ * Refine structural findings using assignability. Returns a new list; findings
+ * that turn out to be false positives are omitted. If the combined program can't
+ * be built, the input findings are returned unchanged.
+ */
+export function refineFindings(findings, oldEntry, newEntry, compilerOptions) {
+    const cmp = buildComparison(oldEntry, newEntry, compilerOptions);
+    if (!cmp)
+        return [...findings];
+    const out = [];
+    for (const finding of findings) {
+        const refined = refineOne(finding, cmp);
+        if (refined)
+            out.push(refined);
+    }
+    return out;
+}
+function buildComparison(oldEntry, newEntry, compilerOptions) {
+    const oldPath = path.resolve(oldEntry);
+    const newPath = path.resolve(newEntry);
+    if (oldPath === newPath)
+        return undefined;
+    let program;
+    try {
+        program = ts.createProgram({
+            rootNames: [oldPath, newPath],
+            options: { ...DEFAULT_COMPILER_OPTIONS, ...compilerOptions },
+        });
+    }
+    catch {
+        return undefined;
+    }
+    const checker = program.getTypeChecker();
+    const oldFns = collectFunctions(program, checker, oldPath);
+    const newFns = collectFunctions(program, checker, newPath);
+    if (!oldFns || !newFns)
+        return undefined;
+    return { checker, oldFns, newFns };
+}
+function collectFunctions(program, checker, entry) {
+    const sourceFile = program.getSourceFile(entry);
+    if (!sourceFile)
+        return undefined;
+    const moduleSymbol = checker.getSymbolAtLocation(sourceFile);
+    if (!moduleSymbol)
+        return new Map();
+    const result = new Map();
+    const add = (name, symbol) => {
+        const resolved = symbol.flags & ts.SymbolFlags.Alias ? checker.getAliasedSymbol(symbol) : symbol;
+        if ((resolved.getFlags() & ts.SymbolFlags.Function) === 0)
+            return;
+        const decl = resolved.getDeclarations()?.[0] ?? resolved.valueDeclaration;
+        if (!decl)
+            return;
+        const type = checker.getTypeOfSymbolAtLocation(resolved, decl);
+        const signatures = type.getCallSignatures();
+        // Only single-signature functions are refined; overloads are left as-is.
+        if (signatures.length !== 1)
+            return;
+        const sig = signatures[0];
+        const params = sig.getParameters().map((p) => {
+            const pd = p.valueDeclaration ?? p.declarations?.[0];
+            return pd ? checker.getTypeOfSymbolAtLocation(p, pd) : checker.getTypeOfSymbol(p);
+        });
+        result.set(name, { params, ret: sig.getReturnType() });
+    };
+    for (const exp of checker.getExportsOfModule(moduleSymbol)) {
+        add(exp_name(exp), exp);
+    }
+    const exportEquals = moduleSymbol.exports?.get("export=");
+    if (exportEquals)
+        add("export=", exportEquals);
+    return result;
+}
+function exp_name(symbol) {
+    return symbol.getName();
+}
+function refineOne(finding, cmp) {
+    if (finding.code === "param.typeChanged") {
+        const m = PARAM_PATH.exec(finding.path);
+        if (!m)
+            return finding;
+        const fnName = m[1];
+        const index = Number(m[2]);
+        const oldT = cmp.oldFns.get(fnName)?.params[index];
+        const newT = cmp.newFns.get(fnName)?.params[index];
+        if (!oldT || !newT)
+            return finding;
+        const oldToNew = cmp.checker.isTypeAssignableTo(oldT, newT);
+        const newToOld = cmp.checker.isTypeAssignableTo(newT, oldT);
+        if (oldToNew && newToOld)
+            return null; // equivalent types → false positive
+        if (oldToNew) {
+            // New parameter accepts everything the old one did → widening → safe.
+            return {
+                ...finding,
+                level: "minor",
+                code: "param.typeWidened",
+                message: finding.message.replace("type changed", "type widened") +
+                    " (still accepts all previous inputs).",
+            };
+        }
+        return finding; // narrowed or incompatible → stays major
+    }
+    if (finding.code === "returnType.changed") {
+        const m = RETURN_PATH.exec(finding.path);
+        if (!m)
+            return finding;
+        const fnName = m[1];
+        const oldR = cmp.oldFns.get(fnName)?.ret;
+        const newR = cmp.newFns.get(fnName)?.ret;
+        if (!oldR || !newR)
+            return finding;
+        const newToOld = cmp.checker.isTypeAssignableTo(newR, oldR);
+        const oldToNew = cmp.checker.isTypeAssignableTo(oldR, newR);
+        if (newToOld && oldToNew)
+            return null; // equivalent
+        if (newToOld) {
+            // New return is a subtype of the old one → narrowing → safe for consumers.
+            return {
+                ...finding,
+                level: "minor",
+                code: "returnType.narrowed",
+                message: finding.message.replace("changed", "narrowed") +
+                    " (a subtype of the previous return type).",
+            };
+        }
+        return finding; // widened or incompatible → stays major
+    }
+    return finding;
+}
+//# sourceMappingURL=assignability.js.map

package/dist/assignability.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"assignability.js","sourceRoot":"","sources":["../src/assignability.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,EAAE,MAAM,YAAY,CAAC;AAmC5B,MAAM,wBAAwB,GAAuB;IACnD,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM;IAC9B,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ;IAC9B,gBAAgB,EAAE,EAAE,CAAC,oBAAoB,CAAC,QAAQ;IAClD,MAAM,EAAE,IAAI;IACZ,YAAY,EAAE,IAAI;IAClB,MAAM,EAAE,IAAI;CACb,CAAC;AAEF,MAAM,UAAU,GAAG,yBAAyB,CAAC;AAC7C,MAAM,WAAW,GAAG,oBAAoB,CAAC;AAEzC;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAC5B,QAA4B,EAC5B,QAAgB,EAChB,QAAgB,EAChB,eAAoC;IAEpC,MAAM,GAAG,GAAG,eAAe,CAAC,QAAQ,EAAE,QAAQ,EAAE,eAAe,CAAC,CAAC;IACjE,IAAI,CAAC,GAAG;QAAE,OAAO,CAAC,GAAG,QAAQ,CAAC,CAAC;IAE/B,MAAM,GAAG,GAAc,EAAE,CAAC;IAC1B,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QACxC,IAAI,OAAO;YAAE,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACjC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,eAAe,CACtB,QAAgB,EAChB,QAAgB,EAChB,eAAoC;IAEpC,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACvC,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACvC,IAAI,OAAO,KAAK,OAAO;QAAE,OAAO,SAAS,CAAC;IAE1C,IAAI,OAAmB,CAAC;IACxB,IAAI,CAAC;QACH,OAAO,GAAG,EAAE,CAAC,aAAa,CAAC;YACzB,SAAS,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC;YAC7B,OAAO,EAAE,EAAE,GAAG,wBAAwB,EAAE,GAAG,eAAe,EAAE;SAC7D,CAAC,CAAC;IACL,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;IACzC,MAAM,MAAM,GAAG,gBAAgB,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IAC3D,MAAM,MAAM,GAAG,gBAAgB,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IAC3D,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAEzC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;AACrC,CAAC;AAED,SAAS,gBAAgB,CACvB,OAAmB,EACnB,OAAuB,EACvB,KAAa;IAEb,MAAM,UAAU,GAAG,OAAO,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;IAChD,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAClC,MAAM,YAAY,GAAG,OAAO,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC;IAC7D,IAAI,CAAC,YAAY;QAAE,OAAO,IAAI,GAAG,EAAE,CAAC;IAEpC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAuB,CAAC;IAE9C,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,MAAiB,EAAE,EAAE;QAC9C,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QACjG,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,OAAO;QAClE,MAAM,IAAI,GAAG,QAAQ,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,gBAAgB,CAAC;QAC1E,IAAI,CAAC,IAAI;YAAE,OAAO;QAClB,MAAM,IAAI,GAAG,OAAO,CAAC,yBAAyB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QAC/D,MAAM,UAAU,GAAG,IAAI,CAAC,iBAAiB,EAAE,CAAC;QAC5C,yEAAyE;QACzE,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO;QACpC,MAAM,GAAG,GAAG,UAAU,CAAC,CAAC,CAAE,CAAC;QAC3B,MAAM,MAAM,GAAG,GAAG,CAAC,aAAa,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YAC3C,MAAM,EAAE,GAAG,CAAC,CAAC,gBAAgB,IAAI,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC;YACrD,OAAO,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,yBAAyB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACpF,CAAC,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;IACzD,CAAC,CAAC;IAEF,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,kBAAkB,CAAC,YAAY,CAAC,EAAE,CAAC;QAC3D,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;IAC1B,CAAC;IACD,MAAM,YAAY,GAAG,YAAY,CAAC,OAAO,EAAE,GAAG,CAAC,SAAwB,CAAC,CAAC;IACzE,IAAI,YAAY;QAAE,GAAG,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;IAE/C,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,QAAQ,CAAC,MAAiB;IACjC,OAAO,MAAM,CAAC,OAAO,EAAE,CAAC;AAC1B,CAAC;AAED,SAAS,SAAS,CAAC,OAAgB,EAAE,GAAe;IAClD,IAAI,OAAO,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACzC,MAAM,CAAC,GAAG,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,CAAC,CAAC;YAAE,OAAO,OAAO,CAAC;QACvB,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC;QACrB,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;QACnD,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;QACnD,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI;YAAE,OAAO,OAAO,CAAC;QAEnC,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC5D,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAE5D,IAAI,QAAQ,IAAI,QAAQ;YAAE,OAAO,IAAI,CAAC,CAAC,oCAAoC;QAC3E,IAAI,QAAQ,EAAE,CAAC;YACb,sEAAsE;YACtE,OAAO;gBACL,GAAG,OAAO;gBACV,KAAK,EAAE,OAAO;gBACd,IAAI,EAAE,mBAAmB;gBACzB,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,cAAc,EAAE,cAAc,CAAC;oBAC9D,uCAAuC;aAC1C,CAAC;QACJ,CAAC;QACD,OAAO,OAAO,CAAC,CAAC,yCAAyC;IAC3D,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;QAC1C,MAAM,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACzC,IAAI,CAAC,CAAC;YAAE,OAAO,OAAO,CAAC;QACvB,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC;QACrB,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC;QACzC,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC;QACzC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI;YAAE,OAAO,OAAO,CAAC;QAEnC,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC5D,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAE5D,IAAI,QAAQ,IAAI,QAAQ;YAAE,OAAO,IAAI,CAAC,CAAC,aAAa;QACpD,IAAI,QAAQ,EAAE,CAAC;YACb,2EAA2E;YAC3E,OAAO;gBACL,GAAG,OAAO;gBACV,KAAK,EAAE,OAAO;gBACd,IAAI,EAAE,qBAAqB;gBAC3B,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,EAAE,UAAU,CAAC;oBACrD,2CAA2C;aAC9C,CAAC;QACJ,CAAC;QACD,OAAO,OAAO,CAAC,CAAC,wCAAwC;IAC1D,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/check.d.ts

@@ -1,3 +1,4 @@
+import type ts from "typescript";
 import type { ApiSurface, SemverLevel } from "./model.js";
 import { type Finding } from "./findings.js";
 export interface CheckResult {
@@ -7,7 +8,27 @@ export interface CheckResult {
     findings: Finding[];
 }
 /**
- * Convenience: diff two surfaces and classify the result in one step.
+ * Diff two already-extracted surfaces and classify the result.
+ *
+ * This is the pure, string-model path — use it when you only have serialized
+ * surfaces (e.g. a committed API lockfile). For the most accurate result when
+ * both source entry points are available, prefer {@link checkEntries}, which
+ * additionally applies assignability-based refinement.
  */
 export declare function checkSurfaces(before: ApiSurface, after: ApiSurface): CheckResult;
+export interface CheckEntriesOptions {
+    /**
+     * Apply assignability-based refinement (distinguish widening from narrowing,
+     * drop false-positive type changes). Default: true.
+     */
+    assignability?: boolean;
+    compilerOptions?: ts.CompilerOptions;
+}
+/**
+ * Extract, diff, and classify two packages given their entry points. When
+ * `assignability` is enabled (default), a combined program is built from both
+ * entries so type changes can be classified by variance instead of the
+ * conservative string comparison.
+ */
+export declare function checkEntries(oldEntry: string, newEntry: string, options?: CheckEntriesOptions): CheckResult;
 //# sourceMappingURL=check.d.ts.map

package/dist/check.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../src/check.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAE1D,OAAO,EAA0B,KAAK,OAAO,EAAE,MAAM,eAAe,CAAC;AAErE,MAAM,WAAW,WAAW;IAC1B,2DAA2D;IAC3D,KAAK,EAAE,WAAW,CAAC;IACnB,8CAA8C;IAC9C,QAAQ,EAAE,OAAO,EAAE,CAAC;CACrB;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,GAAG,WAAW,CAGhF"}
+{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../src/check.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,KAAK,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAI1D,OAAO,EAA0B,KAAK,OAAO,EAAE,MAAM,eAAe,CAAC;AAErE,MAAM,WAAW,WAAW;IAC1B,2DAA2D;IAC3D,KAAK,EAAE,WAAW,CAAC;IACnB,8CAA8C;IAC9C,QAAQ,EAAE,OAAO,EAAE,CAAC;CACrB;AAED;;;;;;;GAOG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,GAAG,WAAW,CAGhF;AAED,MAAM,WAAW,mBAAmB;IAClC;;;OAGG;IACH,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,eAAe,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC;CACtC;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAC1B,QAAQ,EAAE,MAAM,EAChB,QAAQ,EAAE,MAAM,EAChB,OAAO,GAAE,mBAAwB,GAChC,WAAW,CAWb"}

package/dist/check.js

@@ -1,10 +1,33 @@
+import { extractSurface } from "./extract.js";
 import { diffSurfaces } from "./diff.js";
+import { refineFindings } from "./assignability.js";
 import { classify, sortFindings } from "./findings.js";
 /**
- * Convenience: diff two surfaces and classify the result in one step.
+ * Diff two already-extracted surfaces and classify the result.
+ *
+ * This is the pure, string-model path — use it when you only have serialized
+ * surfaces (e.g. a committed API lockfile). For the most accurate result when
+ * both source entry points are available, prefer {@link checkEntries}, which
+ * additionally applies assignability-based refinement.
  */
 export function checkSurfaces(before, after) {
     const findings = sortFindings(diffSurfaces(before, after));
     return { level: classify(findings), findings };
 }
+/**
+ * Extract, diff, and classify two packages given their entry points. When
+ * `assignability` is enabled (default), a combined program is built from both
+ * entries so type changes can be classified by variance instead of the
+ * conservative string comparison.
+ */
+export function checkEntries(oldEntry, newEntry, options = {}) {
+    const before = extractSurface({ entryPoint: oldEntry, compilerOptions: options.compilerOptions });
+    const after = extractSurface({ entryPoint: newEntry, compilerOptions: options.compilerOptions });
+    let findings = diffSurfaces(before, after);
+    if (options.assignability !== false) {
+        findings = refineFindings(findings, oldEntry, newEntry, options.compilerOptions);
+    }
+    findings = sortFindings(findings);
+    return { level: classify(findings), findings };
+}
 //# sourceMappingURL=check.js.map

package/dist/check.js.map

@@ -1 +1 @@
-{"version":3,"file":"check.js","sourceRoot":"","sources":["../src/check.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAgB,MAAM,eAAe,CAAC;AASrE;;GAEG;AACH,MAAM,UAAU,aAAa,CAAC,MAAkB,EAAE,KAAiB;IACjE,MAAM,QAAQ,GAAG,YAAY,CAAC,YAAY,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;IAC3D,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,EAAE,CAAC;AACjD,CAAC"}
+{"version":3,"file":"check.js","sourceRoot":"","sources":["../src/check.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACpD,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAgB,MAAM,eAAe,CAAC;AASrE;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAAC,MAAkB,EAAE,KAAiB;IACjE,MAAM,QAAQ,GAAG,YAAY,CAAC,YAAY,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;IAC3D,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,EAAE,CAAC;AACjD,CAAC;AAWD;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAC1B,QAAgB,EAChB,QAAgB,EAChB,UAA+B,EAAE;IAEjC,MAAM,MAAM,GAAG,cAAc,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE,eAAe,EAAE,OAAO,CAAC,eAAe,EAAE,CAAC,CAAC;IAClG,MAAM,KAAK,GAAG,cAAc,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE,eAAe,EAAE,OAAO,CAAC,eAAe,EAAE,CAAC,CAAC;IAEjG,IAAI,QAAQ,GAAG,YAAY,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC3C,IAAI,OAAO,CAAC,aAAa,KAAK,KAAK,EAAE,CAAC;QACpC,QAAQ,GAAG,cAAc,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,CAAC,eAAe,CAAC,CAAC;IACnF,CAAC;IAED,QAAQ,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;IAClC,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,EAAE,CAAC;AACjD,CAAC"}

package/dist/index.d.ts

@@ -4,8 +4,9 @@ export type { ExtractOptions } from "./extract.js";
 export { diffSurfaces } from "./diff.js";
 export { classify, sortFindings } from "./findings.js";
 export type { Finding } from "./findings.js";
-export { checkSurfaces } from "./check.js";
-export type { CheckResult } from "./check.js";
+export { checkSurfaces, checkEntries } from "./check.js";
+export type { CheckResult, CheckEntriesOptions } from "./check.js";
+export { refineFindings } from "./assignability.js";
 export { renderReport } from "./report.js";
 export type { RenderOptions } from "./report.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,YAAY,EACV,UAAU,EACV,aAAa,EACb,WAAW,EACX,UAAU,EACV,cAAc,EACd,cAAc,EACd,eAAe,EACf,SAAS,EACT,cAAc,EACd,WAAW,EACX,UAAU,EACV,eAAe,EACf,aAAa,EACb,cAAc,GACf,MAAM,YAAY,CAAC;AAEpB,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,YAAY,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAEnD,OAAO,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AAEzC,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AACvD,YAAY,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAE7C,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC3C,YAAY,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,YAAY,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,YAAY,EACV,UAAU,EACV,aAAa,EACb,WAAW,EACX,UAAU,EACV,cAAc,EACd,cAAc,EACd,eAAe,EACf,SAAS,EACT,cAAc,EACd,WAAW,EACX,UAAU,EACV,eAAe,EACf,aAAa,EACb,cAAc,GACf,MAAM,YAAY,CAAC;AAEpB,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,YAAY,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAEnD,OAAO,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AAEzC,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AACvD,YAAY,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAE7C,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AACzD,YAAY,EAAE,WAAW,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAEnE,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAEpD,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,YAAY,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC"}

package/dist/index.js

@@ -1,6 +1,7 @@
 export { extractSurface } from "./extract.js";
 export { diffSurfaces } from "./diff.js";
 export { classify, sortFindings } from "./findings.js";
-export { checkSurfaces } from "./check.js";
+export { checkSurfaces, checkEntries } from "./check.js";
+export { refineFindings } from "./assignability.js";
 export { renderReport } from "./report.js";
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAiBA,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAG9C,OAAO,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AAEzC,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAGvD,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAG3C,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAiBA,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAG9C,OAAO,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AAEzC,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAGvD,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAGzD,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAEpD,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "ts-semver-checks-core",
-  "version": "0.2.0",
+  "version": "0.3.0",
   "description": "Core library: extract, diff and classify the exported type surface of a TypeScript package.",
   "keywords": [
     "semver",