sourceverity 1.0.0

package/dist/analysis/promiseFlow.d.ts

@@ -0,0 +1,44 @@
+import type * as tsType from "typescript";
+import { type FunctionSummaryContext } from "./functions.js";
+export interface PromiseClassification {
+    readonly isPromise: boolean;
+    readonly isDefinitePromise: boolean;
+    readonly isOptionalPromiseUnion: boolean;
+}
+/**
+ * Classifies a type into definite Promise vs optional void/undefined Promise union.
+ */
+export declare function classifyPromiseType(type: tsType.Type | undefined, checker: tsType.TypeChecker, ts: typeof tsType): PromiseClassification;
+/**
+ * Inspects a Promise method chain to determine whether it terminates in an effective rejection handler.
+ * Supports:
+ * - `.catch(onRejected)`
+ * - `.then(onFulfilled, onRejected)` (with valid onRejected)
+ * - `.catch(onRejected).finally(cleanup)`
+ * - `.then(onFulfilled, onRejected).finally(cleanup)`
+ *
+ * Rejects as NOT terminal-handled:
+ * - `.finally(cleanup)` (without preceding catch on a rejecting base)
+ * - `.then(onFulfilled).finally(cleanup)`
+ * - `.catch(onRejected).then(onFulfilled)` (new unhandled then step)
+ */
+export declare function hasTerminalRejectionHandling(expr: tsType.Expression, ts: typeof tsType, checker?: tsType.TypeChecker | undefined): boolean;
+/**
+ * Checks whether a variable or assignment target reaches a return statement without being overwritten.
+ * Handles:
+ * - Direct return of assigned variable: cached = load(); return cached;
+ * - Return of alias: const p = load(); const q = p; return q;
+ * - Detects and rejects overwrites: cached = load(); cached = null; return fallback;
+ */
+export declare function isVariableTargetReturnedInScope(node: tsType.Node, targetName: string, ts: typeof tsType): boolean;
+export interface PromiseConsumptionResult {
+    readonly isConsumed: boolean;
+    readonly reason?: string | undefined;
+    readonly isRejectionHandled: boolean;
+}
+/**
+ * Evaluates whether an expression statement containing a Promise is safely consumed,
+ * handled, cached, or returned.
+ */
+export declare function evaluatePromiseConsumption(expr: tsType.Expression, ts: typeof tsType, checker?: tsType.TypeChecker | undefined, context?: FunctionSummaryContext | undefined): PromiseConsumptionResult;
+//# sourceMappingURL=promiseFlow.d.ts.map

package/dist/analysis/promiseFlow.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"promiseFlow.d.ts","sourceRoot":"","sources":["../../src/analysis/promiseFlow.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,MAAM,MAAM,YAAY,CAAC;AAG1C,OAAO,EAGL,KAAK,sBAAsB,EAC5B,MAAM,gBAAgB,CAAC;AAGxB,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,iBAAiB,EAAE,OAAO,CAAC;IACpC,QAAQ,CAAC,sBAAsB,EAAE,OAAO,CAAC;CAC1C;AAID;;GAEG;AACH,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,MAAM,CAAC,IAAI,GAAG,SAAS,EAC7B,OAAO,EAAE,MAAM,CAAC,WAAW,EAC3B,EAAE,EAAE,OAAO,MAAM,GAChB,qBAAqB,CA6CvB;AAQD;;;;;;;;;;;;GAYG;AACH,wBAAgB,4BAA4B,CAC1C,IAAI,EAAE,MAAM,CAAC,UAAU,EACvB,EAAE,EAAE,OAAO,MAAM,EACjB,OAAO,CAAC,EAAE,MAAM,CAAC,WAAW,GAAG,SAAS,GACvC,OAAO,CAuCT;AAED;;;;;;GAMG;AACH,wBAAgB,+BAA+B,CAC7C,IAAI,EAAE,MAAM,CAAC,IAAI,EACjB,UAAU,EAAE,MAAM,EAClB,EAAE,EAAE,OAAO,MAAM,GAChB,OAAO,CAuHT;AAED,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACrC,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAC;CACtC;AAED;;;GAGG;AACH,wBAAgB,0BAA0B,CACxC,IAAI,EAAE,MAAM,CAAC,UAAU,EACvB,EAAE,EAAE,OAAO,MAAM,EACjB,OAAO,CAAC,EAAE,MAAM,CAAC,WAAW,GAAG,SAAS,EACxC,OAAO,CAAC,EAAE,sBAAsB,GAAG,SAAS,GAC3C,wBAAwB,CA8C1B"}

package/dist/analysis/promiseFlow.js

@@ -0,0 +1,261 @@
+import { isPromiseLike } from "../engine/symbols.js";
+import { unwrapExpression } from "./values.js";
+import { evaluateFrameworkPromiseCall } from "./frameworks.js";
+const classifyPromiseCache = new WeakMap();
+/**
+ * Classifies a type into definite Promise vs optional void/undefined Promise union.
+ */
+export function classifyPromiseType(type, checker, ts) {
+    if (!type) {
+        return { isPromise: false, isDefinitePromise: false, isOptionalPromiseUnion: false };
+    }
+    let checkerCache = classifyPromiseCache.get(checker);
+    if (!checkerCache) {
+        checkerCache = new WeakMap();
+        classifyPromiseCache.set(checker, checkerCache);
+    }
+    const cached = checkerCache.get(type);
+    if (cached !== undefined) {
+        return cached;
+    }
+    if (!isPromiseLike(type, checker)) {
+        const res = { isPromise: false, isDefinitePromise: false, isOptionalPromiseUnion: false };
+        checkerCache.set(type, res);
+        return res;
+    }
+    if (type.isUnion()) {
+        const hasVoidOrUndefined = type.types.some((t) => (t.flags & (ts.TypeFlags.Void | ts.TypeFlags.Undefined | ts.TypeFlags.Null)) !== 0);
+        const hasPromise = type.types.some((t) => isPromiseLike(t, checker));
+        if (hasVoidOrUndefined && hasPromise) {
+            const res = {
+                isPromise: true,
+                isDefinitePromise: false,
+                isOptionalPromiseUnion: true,
+            };
+            checkerCache.set(type, res);
+            return res;
+        }
+    }
+    const res = {
+        isPromise: true,
+        isDefinitePromise: true,
+        isOptionalPromiseUnion: false,
+    };
+    checkerCache.set(type, res);
+    return res;
+}
+function isUndefinedOrNullNode(node, ts) {
+    if (ts.isIdentifier(node) && node.text === "undefined")
+        return true;
+    if (node.kind === ts.SyntaxKind.NullKeyword || node.kind === ts.SyntaxKind.UndefinedKeyword)
+        return true;
+    return false;
+}
+/**
+ * Inspects a Promise method chain to determine whether it terminates in an effective rejection handler.
+ * Supports:
+ * - `.catch(onRejected)`
+ * - `.then(onFulfilled, onRejected)` (with valid onRejected)
+ * - `.catch(onRejected).finally(cleanup)`
+ * - `.then(onFulfilled, onRejected).finally(cleanup)`
+ *
+ * Rejects as NOT terminal-handled:
+ * - `.finally(cleanup)` (without preceding catch on a rejecting base)
+ * - `.then(onFulfilled).finally(cleanup)`
+ * - `.catch(onRejected).then(onFulfilled)` (new unhandled then step)
+ */
+export function hasTerminalRejectionHandling(expr, ts, checker) {
+    const current = unwrapExpression(expr, ts);
+    if (!ts.isCallExpression(current)) {
+        return false;
+    }
+    const callee = current.expression;
+    if (!ts.isPropertyAccessExpression(callee)) {
+        return false;
+    }
+    const methodName = callee.name.text;
+    // 1. Direct terminal .catch(onRejected)
+    if (methodName === "catch") {
+        const args = current.arguments;
+        if (args.length >= 1 && args[0] && !isUndefinedOrNullNode(args[0], ts)) {
+            return true;
+        }
+    }
+    // 2. Direct terminal .then(onFulfilled, onRejected)
+    if (methodName === "then") {
+        const args = current.arguments;
+        if (args.length >= 2 && args[1] && !isUndefinedOrNullNode(args[1], ts)) {
+            return true;
+        }
+    }
+    // 3. Terminal .finally(cleanup) preceded by a rejection-handled chain
+    // e.g. verify().then(...).catch(handleError).finally(cleanup)
+    if (methodName === "finally") {
+        const receiver = callee.expression;
+        if (receiver && hasTerminalRejectionHandling(receiver, ts, checker)) {
+            return true;
+        }
+    }
+    return false;
+}
+/**
+ * Checks whether a variable or assignment target reaches a return statement without being overwritten.
+ * Handles:
+ * - Direct return of assigned variable: cached = load(); return cached;
+ * - Return of alias: const p = load(); const q = p; return q;
+ * - Detects and rejects overwrites: cached = load(); cached = null; return fallback;
+ */
+export function isVariableTargetReturnedInScope(node, targetName, ts) {
+    // Find enclosing statement
+    let stmt = node;
+    while (stmt.parent && !ts.isBlock(stmt.parent) && !ts.isSourceFile(stmt.parent)) {
+        stmt = stmt.parent;
+    }
+    if (!stmt.parent)
+        return false;
+    const parentBlock = stmt.parent;
+    const statements = ts.isBlock(parentBlock)
+        ? parentBlock.statements
+        : ts.isSourceFile(parentBlock)
+            ? parentBlock.statements
+            : [];
+    const startIndex = statements.indexOf(stmt);
+    if (startIndex === -1)
+        return false;
+    // Set of valid return target names (includes targetName and any alias variables)
+    const validReturnNames = new Set([targetName]);
+    for (let i = startIndex + 1; i < statements.length; i++) {
+        const currentStmt = statements[i];
+        if (!currentStmt)
+            continue;
+        // Check if targetName is overwritten before return
+        if (ts.isExpressionStatement(currentStmt)) {
+            const expr = unwrapExpression(currentStmt.expression, ts);
+            if (ts.isBinaryExpression(expr) && expr.operatorToken.kind === ts.SyntaxKind.EqualsToken) {
+                const assignedLeft = unwrapExpression(expr.left, ts);
+                const assignedName = ts.isIdentifier(assignedLeft)
+                    ? assignedLeft.text
+                    : ts.isPropertyAccessExpression(assignedLeft)
+                        ? assignedLeft.getText()
+                        : undefined;
+                if (assignedName === targetName) {
+                    // targetName was overwritten with another value before reaching return!
+                    return false;
+                }
+            }
+        }
+        // Check for alias: const alias = targetName;
+        if (ts.isVariableStatement(currentStmt)) {
+            for (const decl of currentStmt.declarationList.declarations) {
+                if (ts.isIdentifier(decl.name) && decl.initializer) {
+                    const init = unwrapExpression(decl.initializer, ts);
+                    if (ts.isIdentifier(init) && validReturnNames.has(init.text)) {
+                        validReturnNames.add(decl.name.text);
+                    }
+                }
+            }
+        }
+        // Check for return statement
+        if (ts.isReturnStatement(currentStmt) && currentStmt.expression) {
+            const unwrappedRet = unwrapExpression(currentStmt.expression, ts);
+            if (ts.isIdentifier(unwrappedRet) && validReturnNames.has(unwrappedRet.text)) {
+                return true;
+            }
+            if (ts.isPropertyAccessExpression(unwrappedRet) && validReturnNames.has(unwrappedRet.getText())) {
+                return true;
+            }
+            // Reached an early return of something else -> does not reach return
+            return false;
+        }
+    }
+    // Also inspect enclosing function/block if the assignment was inside an if-statement:
+    // e.g. if (!cached) { cached = import(...); } return cached;
+    let outerStatement = parentBlock;
+    while (outerStatement.parent && !ts.isBlock(outerStatement.parent) && !ts.isSourceFile(outerStatement.parent)) {
+        outerStatement = outerStatement.parent;
+    }
+    if (outerStatement.parent && (ts.isBlock(outerStatement.parent) || ts.isSourceFile(outerStatement.parent))) {
+        const outerBlock = outerStatement.parent;
+        const outerStmts = ts.isBlock(outerBlock)
+            ? outerBlock.statements
+            : outerBlock.statements;
+        const outerStartIndex = outerStmts.indexOf(outerStatement);
+        if (outerStartIndex !== -1) {
+            for (let j = outerStartIndex + 1; j < outerStmts.length; j++) {
+                const outerS = outerStmts[j];
+                if (!outerS)
+                    continue;
+                if (ts.isExpressionStatement(outerS)) {
+                    const expr = unwrapExpression(outerS.expression, ts);
+                    if (ts.isBinaryExpression(expr) && expr.operatorToken.kind === ts.SyntaxKind.EqualsToken) {
+                        const assignedLeft = unwrapExpression(expr.left, ts);
+                        const assignedName = ts.isIdentifier(assignedLeft)
+                            ? assignedLeft.text
+                            : ts.isPropertyAccessExpression(assignedLeft)
+                                ? assignedLeft.getText()
+                                : undefined;
+                        if (assignedName === targetName) {
+                            return false;
+                        }
+                    }
+                }
+                if (ts.isReturnStatement(outerS) && outerS.expression) {
+                    const unwrappedRet = unwrapExpression(outerS.expression, ts);
+                    if (ts.isIdentifier(unwrappedRet) && validReturnNames.has(unwrappedRet.text)) {
+                        return true;
+                    }
+                    if (ts.isPropertyAccessExpression(unwrappedRet) && validReturnNames.has(unwrappedRet.getText())) {
+                        return true;
+                    }
+                    return false;
+                }
+            }
+        }
+    }
+    return false;
+}
+/**
+ * Evaluates whether an expression statement containing a Promise is safely consumed,
+ * handled, cached, or returned.
+ */
+export function evaluatePromiseConsumption(expr, ts, checker, context) {
+    const unwrapped = unwrapExpression(expr, ts);
+    // 1. Explicit void operator
+    if (ts.isVoidExpression(unwrapped)) {
+        return { isConsumed: true, reason: "Explicit void operator indicates intentional discard.", isRejectionHandled: false };
+    }
+    // 2. Explicit await operator
+    if (ts.isAwaitExpression(unwrapped)) {
+        return { isConsumed: true, reason: "Awaited.", isRejectionHandled: true };
+    }
+    // 3. Terminal rejection handling (.catch(...) or .then(onF, onR) or .catch(...).finally(...))
+    if (hasTerminalRejectionHandling(unwrapped, ts, checker)) {
+        return { isConsumed: true, reason: "Terminal rejection handler chained.", isRejectionHandled: true };
+    }
+    // 4. Assignment to variable/cache that is subsequently returned without overwrite
+    // e.g. `cached = import(...); return cached;`
+    if (ts.isBinaryExpression(unwrapped) && unwrapped.operatorToken.kind === ts.SyntaxKind.EqualsToken) {
+        const left = unwrapExpression(unwrapped.left, ts);
+        const targetName = ts.isIdentifier(left)
+            ? left.text
+            : ts.isPropertyAccessExpression(left)
+                ? left.getText()
+                : undefined;
+        if (targetName && isVariableTargetReturnedInScope(unwrapped, targetName, ts)) {
+            return { isConsumed: true, reason: "Assigned Promise reaches return from enclosing function.", isRejectionHandled: true };
+        }
+    }
+    // 5. Verified framework API call based on symbol origin and argument inspection
+    if (ts.isCallExpression(unwrapped)) {
+        const frameworkCheck = evaluateFrameworkPromiseCall(unwrapped, ts, checker);
+        if (frameworkCheck.isHandled) {
+            return {
+                isConsumed: true,
+                reason: frameworkCheck.reason ?? "Verified framework API call.",
+                isRejectionHandled: true,
+            };
+        }
+    }
+    return { isConsumed: false, isRejectionHandled: false };
+}
+//# sourceMappingURL=promiseFlow.js.map

package/dist/analysis/promiseFlow.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"promiseFlow.js","sourceRoot":"","sources":["../../src/analysis/promiseFlow.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAM/C,OAAO,EAAE,4BAA4B,EAAE,MAAM,iBAAiB,CAAC;AAQ/D,MAAM,oBAAoB,GAAG,IAAI,OAAO,EAAmE,CAAC;AAE5G;;GAEG;AACH,MAAM,UAAU,mBAAmB,CACjC,IAA6B,EAC7B,OAA2B,EAC3B,EAAiB;IAEjB,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,iBAAiB,EAAE,KAAK,EAAE,sBAAsB,EAAE,KAAK,EAAE,CAAC;IACvF,CAAC;IAED,IAAI,YAAY,GAAG,oBAAoB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACrD,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,YAAY,GAAG,IAAI,OAAO,EAAsC,CAAC;QACjE,oBAAoB,CAAC,GAAG,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;IAClD,CAAC;IAED,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;QAClC,MAAM,GAAG,GAA0B,EAAE,SAAS,EAAE,KAAK,EAAE,iBAAiB,EAAE,KAAK,EAAE,sBAAsB,EAAE,KAAK,EAAE,CAAC;QACjH,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC5B,OAAO,GAAG,CAAC;IACb,CAAC;IAED,IAAI,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;QACnB,MAAM,kBAAkB,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CACxC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,GAAG,EAAE,CAAC,SAAS,CAAC,SAAS,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAC1F,CAAC;QACF,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;QACrE,IAAI,kBAAkB,IAAI,UAAU,EAAE,CAAC;YACrC,MAAM,GAAG,GAA0B;gBACjC,SAAS,EAAE,IAAI;gBACf,iBAAiB,EAAE,KAAK;gBACxB,sBAAsB,EAAE,IAAI;aAC7B,CAAC;YACF,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAC5B,OAAO,GAAG,CAAC;QACb,CAAC;IACH,CAAC;IAED,MAAM,GAAG,GAA0B;QACjC,SAAS,EAAE,IAAI;QACf,iBAAiB,EAAE,IAAI;QACvB,sBAAsB,EAAE,KAAK;KAC9B,CAAC;IACF,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC5B,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAiB,EAAE,EAAiB;IACjE,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IACpE,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IACzG,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,4BAA4B,CAC1C,IAAuB,EACvB,EAAiB,EACjB,OAAwC;IAExC,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAE3C,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC;QAClC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC;IAClC,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3C,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IAEpC,wCAAwC;IACxC,IAAI,UAAU,KAAK,OAAO,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC;QAC/B,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;YACvE,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,oDAAoD;IACpD,IAAI,UAAU,KAAK,MAAM,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC;QAC/B,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;YACvE,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,sEAAsE;IACtE,8DAA8D;IAC9D,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAC;QACnC,IAAI,QAAQ,IAAI,4BAA4B,CAAC,QAAQ,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;YACpE,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,+BAA+B,CAC7C,IAAiB,EACjB,UAAkB,EAClB,EAAiB;IAEjB,2BAA2B;IAC3B,IAAI,IAAI,GAAgB,IAAI,CAAC;IAC7B,OAAO,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAChF,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;IACrB,CAAC;IAED,IAAI,CAAC,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC/B,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC;IAChC,MAAM,UAAU,GAAgC,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC;QACrE,CAAC,CAAC,WAAW,CAAC,UAAU;QACxB,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC;YAC5B,CAAC,CAAC,WAAW,CAAC,UAAU;YACxB,CAAC,CAAC,EAAE,CAAC;IAET,MAAM,UAAU,GAAG,UAAU,CAAC,OAAO,CAAC,IAAwB,CAAC,CAAC;IAChE,IAAI,UAAU,KAAK,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAEpC,iFAAiF;IACjF,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAS,CAAC,UAAU,CAAC,CAAC,CAAC;IAEvD,KAAK,IAAI,CAAC,GAAG,UAAU,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxD,MAAM,WAAW,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAClC,IAAI,CAAC,WAAW;YAAE,SAAS;QAE3B,mDAAmD;QACnD,IAAI,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC,EAAE,CAAC;YAC1C,MAAM,IAAI,GAAG,gBAAgB,CAAC,WAAW,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;YAC1D,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;gBACzF,MAAM,YAAY,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBACrD,MAAM,YAAY,GAAG,EAAE,CAAC,YAAY,CAAC,YAAY,CAAC;oBAChD,CAAC,CAAC,YAAY,CAAC,IAAI;oBACnB,CAAC,CAAC,EAAE,CAAC,0BAA0B,CAAC,YAAY,CAAC;wBAC3C,CAAC,CAAC,YAAY,CAAC,OAAO,EAAE;wBACxB,CAAC,CAAC,SAAS,CAAC;gBAEhB,IAAI,YAAY,KAAK,UAAU,EAAE,CAAC;oBAChC,wEAAwE;oBACxE,OAAO,KAAK,CAAC;gBACf,CAAC;YACH,CAAC;QACH,CAAC;QAED,6CAA6C;QAC7C,IAAI,EAAE,CAAC,mBAAmB,CAAC,WAAW,CAAC,EAAE,CAAC;YACxC,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;gBAC5D,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;oBACnD,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;oBACpD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;wBAC7D,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBACvC,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,6BAA6B;QAC7B,IAAI,EAAE,CAAC,iBAAiB,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC,UAAU,EAAE,CAAC;YAChE,MAAM,YAAY,GAAG,gBAAgB,CAAC,WAAW,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;YAClE,IAAI,EAAE,CAAC,YAAY,CAAC,YAAY,CAAC,IAAI,gBAAgB,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC7E,OAAO,IAAI,CAAC;YACd,CAAC;YACD,IAAI,EAAE,CAAC,0BAA0B,CAAC,YAAY,CAAC,IAAI,gBAAgB,CAAC,GAAG,CAAC,YAAY,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;gBAChG,OAAO,IAAI,CAAC;YACd,CAAC;YACD,qEAAqE;YACrE,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAED,sFAAsF;IACtF,6DAA6D;IAC7D,IAAI,cAAc,GAAgB,WAAW,CAAC;IAC9C,OAAO,cAAc,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,cAAc,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9G,cAAc,GAAG,cAAc,CAAC,MAAM,CAAC;IACzC,CAAC;IAED,IAAI,cAAc,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;QAC3G,MAAM,UAAU,GAAG,cAAc,CAAC,MAAM,CAAC;QACzC,MAAM,UAAU,GAAgC,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC;YACpE,CAAC,CAAC,UAAU,CAAC,UAAU;YACvB,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC;QAE1B,MAAM,eAAe,GAAG,UAAU,CAAC,OAAO,CAAC,cAAkC,CAAC,CAAC;QAC/E,IAAI,eAAe,KAAK,CAAC,CAAC,EAAE,CAAC;YAC3B,KAAK,IAAI,CAAC,GAAG,eAAe,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC7D,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;gBAC7B,IAAI,CAAC,MAAM;oBAAE,SAAS;gBAEtB,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,EAAE,CAAC;oBACrC,MAAM,IAAI,GAAG,gBAAgB,CAAC,MAAM,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;oBACrD,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;wBACzF,MAAM,YAAY,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;wBACrD,MAAM,YAAY,GAAG,EAAE,CAAC,YAAY,CAAC,YAAY,CAAC;4BAChD,CAAC,CAAC,YAAY,CAAC,IAAI;4BACnB,CAAC,CAAC,EAAE,CAAC,0BAA0B,CAAC,YAAY,CAAC;gCAC3C,CAAC,CAAC,YAAY,CAAC,OAAO,EAAE;gCACxB,CAAC,CAAC,SAAS,CAAC;wBAEhB,IAAI,YAAY,KAAK,UAAU,EAAE,CAAC;4BAChC,OAAO,KAAK,CAAC;wBACf,CAAC;oBACH,CAAC;gBACH,CAAC;gBAED,IAAI,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;oBACtD,MAAM,YAAY,GAAG,gBAAgB,CAAC,MAAM,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;oBAC7D,IAAI,EAAE,CAAC,YAAY,CAAC,YAAY,CAAC,IAAI,gBAAgB,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;wBAC7E,OAAO,IAAI,CAAC;oBACd,CAAC;oBACD,IAAI,EAAE,CAAC,0BAA0B,CAAC,YAAY,CAAC,IAAI,gBAAgB,CAAC,GAAG,CAAC,YAAY,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;wBAChG,OAAO,IAAI,CAAC;oBACd,CAAC;oBACD,OAAO,KAAK,CAAC;gBACf,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAQD;;;GAGG;AACH,MAAM,UAAU,0BAA0B,CACxC,IAAuB,EACvB,EAAiB,EACjB,OAAwC,EACxC,OAA4C;IAE5C,MAAM,SAAS,GAAG,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAE7C,4BAA4B;IAC5B,IAAI,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,EAAE,CAAC;QACnC,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,uDAAuD,EAAE,kBAAkB,EAAE,KAAK,EAAE,CAAC;IAC1H,CAAC;IAED,6BAA6B;IAC7B,IAAI,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC,EAAE,CAAC;QACpC,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC;IAC5E,CAAC;IAED,8FAA8F;IAC9F,IAAI,4BAA4B,CAAC,SAAS,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;QACzD,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,qCAAqC,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC;IACvG,CAAC;IAED,kFAAkF;IAClF,8CAA8C;IAC9C,IAAI,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;QACnG,MAAM,IAAI,GAAG,gBAAgB,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAClD,MAAM,UAAU,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACtC,CAAC,CAAC,IAAI,CAAC,IAAI;YACX,CAAC,CAAC,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC;gBACnC,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE;gBAChB,CAAC,CAAC,SAAS,CAAC;QAEhB,IAAI,UAAU,IAAI,+BAA+B,CAAC,SAAS,EAAE,UAAU,EAAE,EAAE,CAAC,EAAE,CAAC;YAC7E,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,0DAA0D,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC;QAC5H,CAAC;IACH,CAAC;IAED,gFAAgF;IAChF,IAAI,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,EAAE,CAAC;QACnC,MAAM,cAAc,GAAG,4BAA4B,CAAC,SAAS,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;QAC5E,IAAI,cAAc,CAAC,SAAS,EAAE,CAAC;YAC7B,OAAO;gBACL,UAAU,EAAE,IAAI;gBAChB,MAAM,EAAE,cAAc,CAAC,MAAM,IAAI,8BAA8B;gBAC/D,kBAAkB,EAAE,IAAI;aACzB,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,kBAAkB,EAAE,KAAK,EAAE,CAAC;AAC1D,CAAC"}

package/dist/analysis/values.d.ts

@@ -0,0 +1,24 @@
+import type * as tsType from "typescript";
+export interface ResolvedConstantValue {
+    readonly kind: "string" | "number" | "boolean" | "null" | "undefined" | "other";
+    readonly value?: string | number | boolean | null | undefined;
+    readonly isStatic: boolean;
+}
+/**
+ * Strips parentheses, type assertions (as / <T>), and non-null assertions (!)
+ * to reach the underlying semantic expression.
+ */
+export declare function unwrapExpression(expr: tsType.Expression, ts: typeof tsType): tsType.Expression;
+/**
+ * Resolves an expression to a static constant value if statically determinable.
+ */
+export declare function resolveConstantValue(expr: tsType.Expression, ts: typeof tsType, checker?: tsType.TypeChecker | undefined): ResolvedConstantValue;
+/**
+ * Checks if an expression is a proven static reset value
+ * (e.g. 0, -1, "", null, undefined, false, static empty/populated literal object/array,
+ * or a const identifier resolving to a static constant value).
+ *
+ * NOTE: Does NOT rely on identifier naming heuristics.
+ */
+export declare function isResetValue(expr: tsType.Expression, ts: typeof tsType, checker?: tsType.TypeChecker | undefined): boolean;
+//# sourceMappingURL=values.d.ts.map

package/dist/analysis/values.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"values.d.ts","sourceRoot":"","sources":["../../src/analysis/values.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,MAAM,MAAM,YAAY,CAAC;AAE1C,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,MAAM,GAAG,WAAW,GAAG,OAAO,CAAC;IAChF,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,GAAG,SAAS,CAAC;IAC9D,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,UAAU,EAAE,EAAE,EAAE,OAAO,MAAM,GAAG,MAAM,CAAC,UAAU,CAgB9F;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,MAAM,CAAC,UAAU,EACvB,EAAE,EAAE,OAAO,MAAM,EACjB,OAAO,CAAC,EAAE,MAAM,CAAC,WAAW,GAAG,SAAS,GACvC,qBAAqB,CA6IvB;AAED;;;;;;GAMG;AACH,wBAAgB,YAAY,CAC1B,IAAI,EAAE,MAAM,CAAC,UAAU,EACvB,EAAE,EAAE,OAAO,MAAM,EACjB,OAAO,CAAC,EAAE,MAAM,CAAC,WAAW,GAAG,SAAS,GACvC,OAAO,CAyBT"}

package/dist/analysis/values.js

@@ -0,0 +1,189 @@
+/**
+ * Strips parentheses, type assertions (as / <T>), and non-null assertions (!)
+ * to reach the underlying semantic expression.
+ */
+export function unwrapExpression(expr, ts) {
+    let current = expr;
+    while (true) {
+        if (ts.isParenthesizedExpression(current)) {
+            current = current.expression;
+        }
+        else if (ts.isAsExpression(current)) {
+            current = current.expression;
+        }
+        else if (ts.isTypeAssertionExpression(current)) {
+            current = current.expression;
+        }
+        else if (ts.isNonNullExpression(current)) {
+            current = current.expression;
+        }
+        else {
+            break;
+        }
+    }
+    return current;
+}
+/**
+ * Resolves an expression to a static constant value if statically determinable.
+ */
+export function resolveConstantValue(expr, ts, checker) {
+    const unwrapped = unwrapExpression(expr, ts);
+    // 1. String literal
+    if (ts.isStringLiteral(unwrapped) || ts.isNoSubstitutionTemplateLiteral(unwrapped)) {
+        return { kind: "string", value: unwrapped.text, isStatic: true };
+    }
+    // 2. Numeric literal
+    if (ts.isNumericLiteral(unwrapped)) {
+        const num = Number(unwrapped.text);
+        return { kind: "number", value: Number.isNaN(num) ? undefined : num, isStatic: true };
+    }
+    // 3. Boolean literals
+    if (unwrapped.kind === ts.SyntaxKind.TrueKeyword) {
+        return { kind: "boolean", value: true, isStatic: true };
+    }
+    if (unwrapped.kind === ts.SyntaxKind.FalseKeyword) {
+        return { kind: "boolean", value: false, isStatic: true };
+    }
+    // 4. Null & undefined
+    if (unwrapped.kind === ts.SyntaxKind.NullKeyword) {
+        return { kind: "null", value: null, isStatic: true };
+    }
+    if (unwrapped.kind === ts.SyntaxKind.UndefinedKeyword ||
+        (ts.isIdentifier(unwrapped) && unwrapped.text === "undefined")) {
+        return { kind: "undefined", value: undefined, isStatic: true };
+    }
+    // 5. Unary expressions (e.g. -1, +0)
+    if (ts.isPrefixUnaryExpression(unwrapped)) {
+        if (unwrapped.operator === ts.SyntaxKind.MinusToken || unwrapped.operator === ts.SyntaxKind.PlusToken) {
+            const operand = resolveConstantValue(unwrapped.operand, ts, checker);
+            if (operand.kind === "number" && typeof operand.value === "number") {
+                const val = unwrapped.operator === ts.SyntaxKind.MinusToken ? -operand.value : operand.value;
+                return { kind: "number", value: val, isStatic: true };
+            }
+        }
+    }
+    // 6. Binary expressions with static operands (e.g. 1 + 1, "a" + "b")
+    if (ts.isBinaryExpression(unwrapped)) {
+        const left = resolveConstantValue(unwrapped.left, ts, checker);
+        const right = resolveConstantValue(unwrapped.right, ts, checker);
+        if (left.isStatic && right.isStatic) {
+            if (unwrapped.operatorToken.kind === ts.SyntaxKind.PlusToken) {
+                if (left.kind === "string" || right.kind === "string") {
+                    return { kind: "string", value: `${left.value ?? ""}${right.value ?? ""}`, isStatic: true };
+                }
+                if (left.kind === "number" && right.kind === "number" && typeof left.value === "number" && typeof right.value === "number") {
+                    return { kind: "number", value: left.value + right.value, isStatic: true };
+                }
+            }
+            if (unwrapped.operatorToken.kind === ts.SyntaxKind.MinusToken) {
+                if (left.kind === "number" && right.kind === "number" && typeof left.value === "number" && typeof right.value === "number") {
+                    return { kind: "number", value: left.value - right.value, isStatic: true };
+                }
+            }
+        }
+    }
+    // 7. Array literal
+    if (ts.isArrayLiteralExpression(unwrapped)) {
+        if (unwrapped.elements.length === 0) {
+            return { kind: "other", isStatic: true };
+        }
+        const allStatic = unwrapped.elements.every((elem) => {
+            return resolveConstantValue(elem, ts, checker).isStatic;
+        });
+        if (allStatic) {
+            return { kind: "other", isStatic: true };
+        }
+    }
+    // 8. Object literal
+    if (ts.isObjectLiteralExpression(unwrapped)) {
+        if (unwrapped.properties.length === 0) {
+            return { kind: "other", isStatic: true };
+        }
+        const allStatic = unwrapped.properties.every((prop) => {
+            if (ts.isPropertyAssignment(prop)) {
+                return resolveConstantValue(prop.initializer, ts, checker).isStatic;
+            }
+            return false;
+        });
+        if (allStatic) {
+            return { kind: "other", isStatic: true };
+        }
+    }
+    // 9. Identifiers -> trace symbol declaration if checker is present
+    if (ts.isIdentifier(unwrapped) && checker) {
+        const symbol = checker.getSymbolAtLocation(unwrapped);
+        if (symbol) {
+            let targetSym = symbol;
+            if (targetSym.flags & ts.SymbolFlags.Alias) {
+                try {
+                    targetSym = checker.getAliasedSymbol(targetSym);
+                }
+                catch {
+                    // ignore
+                }
+            }
+            const visited = new Set();
+            while (targetSym && !visited.has(targetSym)) {
+                visited.add(targetSym);
+                const decl = targetSym.valueDeclaration ?? targetSym.declarations?.[0];
+                if (decl && ts.isVariableDeclaration(decl) && decl.initializer) {
+                    // Only trace const / immutable declarations
+                    const parentList = decl.parent;
+                    const isConst = parentList && ts.isVariableDeclarationList(parentList) && (parentList.flags & ts.NodeFlags.Const) !== 0;
+                    if (isConst) {
+                        const resolved = resolveConstantValue(decl.initializer, ts, checker);
+                        if (resolved.isStatic) {
+                            return resolved;
+                        }
+                    }
+                }
+                break;
+            }
+            // Check literal type from checker
+            try {
+                const type = checker.getTypeAtLocation(unwrapped);
+                if (type.isStringLiteral()) {
+                    return { kind: "string", value: type.value, isStatic: true };
+                }
+                if (type.isNumberLiteral()) {
+                    return { kind: "number", value: type.value, isStatic: true };
+                }
+            }
+            catch {
+                // ignore
+            }
+        }
+    }
+    return { kind: "other", isStatic: false };
+}
+/**
+ * Checks if an expression is a proven static reset value
+ * (e.g. 0, -1, "", null, undefined, false, static empty/populated literal object/array,
+ * or a const identifier resolving to a static constant value).
+ *
+ * NOTE: Does NOT rely on identifier naming heuristics.
+ */
+export function isResetValue(expr, ts, checker) {
+    const unwrapped = unwrapExpression(expr, ts);
+    const resolved = resolveConstantValue(unwrapped, ts, checker);
+    if (!resolved.isStatic) {
+        return false;
+    }
+    if (resolved.kind === "number" && (resolved.value === 0 || resolved.value === -1)) {
+        return true;
+    }
+    if (resolved.kind === "string" && resolved.value === "") {
+        return true;
+    }
+    if (resolved.kind === "null" || resolved.kind === "undefined") {
+        return true;
+    }
+    if (resolved.kind === "boolean" && resolved.value === false) {
+        return true;
+    }
+    if (resolved.kind === "other") {
+        return true;
+    }
+    return false;
+}
+//# sourceMappingURL=values.js.map

package/dist/analysis/values.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"values.js","sourceRoot":"","sources":["../../src/analysis/values.ts"],"names":[],"mappings":"AAQA;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,IAAuB,EAAE,EAAiB;IACzE,IAAI,OAAO,GAAsB,IAAI,CAAC;IACtC,OAAO,IAAI,EAAE,CAAC;QACZ,IAAI,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,EAAE,CAAC;YAC1C,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;QAC/B,CAAC;aAAM,IAAI,EAAE,CAAC,cAAc,CAAC,OAAO,CAAC,EAAE,CAAC;YACtC,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;QAC/B,CAAC;aAAM,IAAI,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,EAAE,CAAC;YACjD,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;QAC/B,CAAC;aAAM,IAAI,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,EAAE,CAAC;YAC3C,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;QAC/B,CAAC;aAAM,CAAC;YACN,MAAM;QACR,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,oBAAoB,CAClC,IAAuB,EACvB,EAAiB,EACjB,OAAwC;IAExC,MAAM,SAAS,GAAG,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAE7C,oBAAoB;IACpB,IAAI,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,+BAA+B,CAAC,SAAS,CAAC,EAAE,CAAC;QACnF,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IACnE,CAAC;IAED,qBAAqB;IACrB,IAAI,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,EAAE,CAAC;QACnC,MAAM,GAAG,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACnC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IACxF,CAAC;IAED,sBAAsB;IACtB,IAAI,SAAS,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;QACjD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IAC1D,CAAC;IACD,IAAI,SAAS,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,EAAE,CAAC;QAClD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IAC3D,CAAC;IAED,sBAAsB;IACtB,IAAI,SAAS,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;QACjD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IACvD,CAAC;IACD,IACE,SAAS,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;QACjD,CAAC,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,IAAI,KAAK,WAAW,CAAC,EAC9D,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IACjE,CAAC;IAED,qCAAqC;IACrC,IAAI,EAAE,CAAC,uBAAuB,CAAC,SAAS,CAAC,EAAE,CAAC;QAC1C,IAAI,SAAS,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU,IAAI,SAAS,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,SAAS,EAAE,CAAC;YACtG,MAAM,OAAO,GAAG,oBAAoB,CAAC,SAAS,CAAC,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;YACrE,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,OAAO,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;gBACnE,MAAM,GAAG,GAAG,SAAS,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC;gBAC7F,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;YACxD,CAAC;QACH,CAAC;IACH,CAAC;IAED,qEAAqE;IACrE,IAAI,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,oBAAoB,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;QAC/D,MAAM,KAAK,GAAG,oBAAoB,CAAC,SAAS,CAAC,KAAK,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;QACjE,IAAI,IAAI,CAAC,QAAQ,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;YACpC,IAAI,SAAS,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,SAAS,EAAE,CAAC;gBAC7D,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBACtD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC,KAAK,IAAI,EAAE,GAAG,KAAK,CAAC,KAAK,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;gBAC9F,CAAC;gBACD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;oBAC3H,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;gBAC7E,CAAC;YACH,CAAC;YACD,IAAI,SAAS,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC;gBAC9D,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;oBAC3H,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;gBAC7E,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,mBAAmB;IACnB,IAAI,EAAE,CAAC,wBAAwB,CAAC,SAAS,CAAC,EAAE,CAAC;QAC3C,IAAI,SAAS,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACpC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;QAC3C,CAAC;QACD,MAAM,SAAS,GAAG,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE;YAClD,OAAO,oBAAoB,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC;QAC1D,CAAC,CAAC,CAAC;QACH,IAAI,SAAS,EAAE,CAAC;YACd,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;QAC3C,CAAC;IACH,CAAC;IAED,oBAAoB;IACpB,IAAI,EAAE,CAAC,yBAAyB,CAAC,SAAS,CAAC,EAAE,CAAC;QAC5C,IAAI,SAAS,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACtC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;QAC3C,CAAC;QACD,MAAM,SAAS,GAAG,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE;YACpD,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAClC,OAAO,oBAAoB,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC;YACtE,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC,CAAC,CAAC;QACH,IAAI,SAAS,EAAE,CAAC;YACd,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;QAC3C,CAAC;IACH,CAAC;IAED,mEAAmE;IACnE,IAAI,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,OAAO,EAAE,CAAC;QAC1C,MAAM,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,SAAS,CAAC,CAAC;QACtD,IAAI,MAAM,EAAE,CAAC;YACX,IAAI,SAAS,GAA8B,MAAM,CAAC;YAClD,IAAI,SAAS,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;gBAC3C,IAAI,CAAC;oBACH,SAAS,GAAG,OAAO,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC;gBAClD,CAAC;gBAAC,MAAM,CAAC;oBACP,SAAS;gBACX,CAAC;YACH,CAAC;YAED,MAAM,OAAO,GAAG,IAAI,GAAG,EAAiB,CAAC;YACzC,OAAO,SAAS,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC5C,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;gBACvB,MAAM,IAAI,GAAG,SAAS,CAAC,gBAAgB,IAAI,SAAS,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC;gBACvE,IAAI,IAAI,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;oBAC/D,4CAA4C;oBAC5C,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC;oBAC/B,MAAM,OAAO,GAAG,UAAU,IAAI,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;oBACxH,IAAI,OAAO,EAAE,CAAC;wBACZ,MAAM,QAAQ,GAAG,oBAAoB,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;wBACrE,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;4BACtB,OAAO,QAAQ,CAAC;wBAClB,CAAC;oBACH,CAAC;gBACH,CAAC;gBACD,MAAM;YACR,CAAC;YAED,kCAAkC;YAClC,IAAI,CAAC;gBACH,MAAM,IAAI,GAAG,OAAO,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC;gBAClD,IAAI,IAAI,CAAC,eAAe,EAAE,EAAE,CAAC;oBAC3B,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;gBAC/D,CAAC;gBACD,IAAI,IAAI,CAAC,eAAe,EAAE,EAAE,CAAC;oBAC3B,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;gBAC/D,CAAC;YACH,CAAC;YAAC,MAAM,CAAC;gBACP,SAAS;YACX,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;AAC5C,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAC1B,IAAuB,EACvB,EAAiB,EACjB,OAAwC;IAExC,MAAM,SAAS,GAAG,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC7C,MAAM,QAAQ,GAAG,oBAAoB,CAAC,SAAS,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;IAE9D,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC;QACvB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,QAAQ,CAAC,KAAK,KAAK,CAAC,IAAI,QAAQ,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QAClF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,QAAQ,CAAC,KAAK,KAAK,EAAE,EAAE,CAAC;QACxD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9D,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,IAAI,QAAQ,CAAC,KAAK,KAAK,KAAK,EAAE,CAAC;QAC5D,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC9B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/baseline/manager.d.ts

@@ -0,0 +1,20 @@
+import type { Finding } from "../core/types.js";
+import type { BaselineFile, BaselineDelta } from "./types.js";
+export declare const DEFAULT_BASELINE_FILENAME = ".sourceverity-baseline.json";
+/**
+ * Creates a BaselineFile structure from a list of audit findings.
+ */
+export declare function createBaseline(findings: readonly Finding[], repoRoot: string): BaselineFile;
+/**
+ * Atomically writes a baseline file to disk.
+ */
+export declare function saveBaseline(baseline: BaselineFile, filePath: string): Promise<void>;
+/**
+ * Loads and validates a baseline file from disk. Returns null if missing or malformed.
+ */
+export declare function loadBaseline(filePath: string): Promise<BaselineFile | null>;
+/**
+ * Compares current audit findings against a baseline to determine new and resolved findings.
+ */
+export declare function compareWithBaseline(currentFindings: readonly Finding[], baseline: BaselineFile): BaselineDelta;
+//# sourceMappingURL=manager.d.ts.map

package/dist/baseline/manager.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"manager.d.ts","sourceRoot":"","sources":["../../src/baseline/manager.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,KAAK,EAAiB,YAAY,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAE7E,eAAO,MAAM,yBAAyB,gCAAgC,CAAC;AAEvE;;GAEG;AACH,wBAAgB,cAAc,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,EAAE,QAAQ,EAAE,MAAM,GAAG,YAAY,CAsB3F;AAED;;GAEG;AACH,wBAAsB,YAAY,CAAC,QAAQ,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAU1F;AAED;;GAEG;AACH,wBAAsB,YAAY,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,YAAY,GAAG,IAAI,CAAC,CAYjF;AAED;;GAEG;AACH,wBAAgB,mBAAmB,CACjC,eAAe,EAAE,SAAS,OAAO,EAAE,EACnC,QAAQ,EAAE,YAAY,GACrB,aAAa,CAmBf"}