sourceverity 1.0.0

package/dist/engine/runner.js

@@ -0,0 +1,166 @@
+import path from "node:path";
+import { normalizePath } from "../core/paths.js";
+import { computeFingerprint } from "../core/fingerprint.js";
+import { parseSourceSuppressions, isFindingSuppressed } from "../core/suppressions.js";
+import { discoverRepository } from "../repository/detector.js";
+import { loadRepositoryTypeScript } from "../repository/tsLoader.js";
+import { createFileFilter } from "../repository/fileFilter.js";
+import { resolveTsProjects } from "../typescript/projectResolver.js";
+import { createProjectPrograms } from "../typescript/programManager.js";
+import { createRuleContext } from "./context.js";
+import { globalRuleRegistry } from "./registry.js";
+import "../rules/index.js";
+const SEVERITY_ORDER = {
+    error: 0,
+    warning: 1,
+    info: 2,
+};
+const CONFIDENCE_LEVELS = {
+    high: 3,
+    medium: 2,
+    low: 1,
+};
+/**
+ * Executes a full SourceVerity audit across the target repository.
+ */
+export async function runAudit(options) {
+    const resolvedTarget = path.resolve(options.targetDir);
+    const minConfidence = options.minConfidence ?? "medium";
+    const minConfidenceLevel = CONFIDENCE_LEVELS[minConfidence];
+    // 1. Discover repository structure and frameworks
+    const repoContext = await discoverRepository(resolvedTarget);
+    const fileFilter = await createFileFilter(resolvedTarget, options.customIgnores);
+    // 2. Load repository TypeScript compiler
+    const tsInst = loadRepositoryTypeScript(resolvedTarget);
+    const skippedSemanticRules = [];
+    const rawFindings = [];
+    const rulesToRun = options.rules ?? globalRuleRegistry.getAll();
+    const analyzedFiles = new Set();
+    if (tsInst) {
+        // 3. Resolve TypeScript projects and create programs
+        const projects = resolveTsProjects(repoContext, tsInst);
+        const projectPrograms = createProjectPrograms(projects, tsInst, fileFilter);
+        for (const projectProg of projectPrograms) {
+            for (const sf of projectProg.sourceFiles) {
+                const normalizedRelPath = normalizePath(sf.fileName, resolvedTarget);
+                if (options.changedFiles && options.changedFiles.length > 0) {
+                    if (!options.changedFiles.includes(normalizedRelPath)) {
+                        continue;
+                    }
+                }
+                analyzedFiles.add(sf.fileName);
+                const suppressions = parseSourceSuppressions(sf.text);
+                for (const rule of rulesToRun) {
+                    const context = createRuleContext({
+                        ts: tsInst.ts,
+                        program: projectProg.program,
+                        checker: projectProg.checker,
+                        sourceFile: sf,
+                        repoContext,
+                        projectRoot: projectProg.projectRoot,
+                        reportFinding(input) {
+                            const fingerprint = input.fingerprint ??
+                                computeFingerprint({
+                                    ruleId: input.ruleId,
+                                    filePath: input.file,
+                                    symbolName: input.message,
+                                    snippet: sf.text.slice(sf.getPositionOfLineAndCharacter(input.range.start.line - 1, input.range.start.column - 1), sf.getPositionOfLineAndCharacter(input.range.end.line - 1, input.range.end.column - 1)),
+                                });
+                            const completeFinding = {
+                                ...input,
+                                fingerprint,
+                                file: normalizePath(input.file, resolvedTarget),
+                            };
+                            // Filter out suppressed findings
+                            if (!isFindingSuppressed(completeFinding, suppressions)) {
+                                // Filter out findings below confidence threshold
+                                if (CONFIDENCE_LEVELS[completeFinding.confidence] >= minConfidenceLevel) {
+                                    rawFindings.push(completeFinding);
+                                }
+                            }
+                        },
+                    });
+                    void rule.analyze(context);
+                }
+            }
+        }
+    }
+    else {
+        // Record semantic rules as skipped if TypeScript is unavailable
+        for (const rule of rulesToRun) {
+            if (rule.meta.requiresTypeInformation) {
+                skippedSemanticRules.push(rule.meta.id);
+            }
+        }
+    }
+    // 4. Sort findings strictly and deterministically
+    const sortedFindings = [...rawFindings].sort((a, b) => {
+        // 1. File path ASC
+        const fileCmp = a.file.localeCompare(b.file);
+        if (fileCmp !== 0)
+            return fileCmp;
+        // 2. Line ASC
+        const lineCmp = a.range.start.line - b.range.start.line;
+        if (lineCmp !== 0)
+            return lineCmp;
+        // 3. Column ASC
+        const colCmp = a.range.start.column - b.range.start.column;
+        if (colCmp !== 0)
+            return colCmp;
+        // 4. Severity (error < warning < info)
+        const sevCmp = SEVERITY_ORDER[a.severity] - SEVERITY_ORDER[b.severity];
+        if (sevCmp !== 0)
+            return sevCmp;
+        // 5. Rule ID ASC
+        const ruleCmp = a.ruleId.localeCompare(b.ruleId);
+        if (ruleCmp !== 0)
+            return ruleCmp;
+        // 6. Fingerprint ASC
+        return a.fingerprint.localeCompare(b.fingerprint);
+    });
+    // 5. Build summary
+    let errors = 0;
+    let warnings = 0;
+    let info = 0;
+    let highConfidence = 0;
+    let mediumConfidence = 0;
+    let lowConfidence = 0;
+    for (const f of sortedFindings) {
+        if (f.severity === "error")
+            errors++;
+        else if (f.severity === "warning")
+            warnings++;
+        else if (f.severity === "info")
+            info++;
+        if (f.confidence === "high")
+            highConfidence++;
+        else if (f.confidence === "medium")
+            mediumConfidence++;
+        else if (f.confidence === "low")
+            lowConfidence++;
+    }
+    const summary = {
+        errors,
+        warnings,
+        info,
+        highConfidence,
+        mediumConfidence,
+        lowConfidence,
+        filesAnalyzed: analyzedFiles.size,
+        projectsCount: repoContext.packages.length || 1,
+    };
+    const repositorySummary = {
+        typescriptVersion: tsInst?.version,
+        reactVersion: repoContext.reactVersion,
+        packageManager: repoContext.packageManager,
+        projectCount: repoContext.packages.length || 1,
+        workspaceType: repoContext.workspaceType,
+    };
+    return {
+        findings: sortedFindings,
+        summary,
+        repository: repositorySummary,
+        skippedSemanticRules: skippedSemanticRules.length > 0 ? skippedSemanticRules : undefined,
+    };
+}
+//# sourceMappingURL=runner.js.map

package/dist/engine/runner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runner.js","sourceRoot":"","sources":["../../src/engine/runner.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACjD,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC5D,OAAO,EAAE,uBAAuB,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AACvF,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAC/D,OAAO,EAAE,wBAAwB,EAAE,MAAM,2BAA2B,CAAC;AACrE,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAC/D,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,EAAE,qBAAqB,EAAE,MAAM,iCAAiC,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AACjD,OAAO,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACnD,OAAO,mBAAmB,CAAC;AAoB3B,MAAM,cAAc,GAA6B;IAC/C,KAAK,EAAE,CAAC;IACR,OAAO,EAAE,CAAC;IACV,IAAI,EAAE,CAAC;CACR,CAAC;AAEF,MAAM,iBAAiB,GAA+B;IACpD,IAAI,EAAE,CAAC;IACP,MAAM,EAAE,CAAC;IACT,GAAG,EAAE,CAAC;CACP,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,QAAQ,CAAC,OAAwB;IACrD,MAAM,cAAc,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IACvD,MAAM,aAAa,GAAG,OAAO,CAAC,aAAa,IAAI,QAAQ,CAAC;IACxD,MAAM,kBAAkB,GAAG,iBAAiB,CAAC,aAAa,CAAC,CAAC;IAC5D,kDAAkD;IAClD,MAAM,WAAW,GAAG,MAAM,kBAAkB,CAAC,cAAc,CAAC,CAAC;IAC7D,MAAM,UAAU,GAAG,MAAM,gBAAgB,CAAC,cAAc,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC;IAEjF,yCAAyC;IACzC,MAAM,MAAM,GAAG,wBAAwB,CAAC,cAAc,CAAC,CAAC;IACxD,MAAM,oBAAoB,GAAa,EAAE,CAAC;IAE1C,MAAM,WAAW,GAAc,EAAE,CAAC;IAClC,MAAM,UAAU,GAAG,OAAO,CAAC,KAAK,IAAI,kBAAkB,CAAC,MAAM,EAAE,CAAC;IAChE,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IAExC,IAAI,MAAM,EAAE,CAAC;QACX,qDAAqD;QACrD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;QACxD,MAAM,eAAe,GAAG,qBAAqB,CAAC,QAAQ,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;QAE5E,KAAK,MAAM,WAAW,IAAI,eAAe,EAAE,CAAC;YAC1C,KAAK,MAAM,EAAE,IAAI,WAAW,CAAC,WAAW,EAAE,CAAC;gBACzC,MAAM,iBAAiB,GAAG,aAAa,CAAC,EAAE,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;gBACrE,IAAI,OAAO,CAAC,YAAY,IAAI,OAAO,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC5D,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,CAAC;wBACtD,SAAS;oBACX,CAAC;gBACH,CAAC;gBAED,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;gBAC/B,MAAM,YAAY,GAAG,uBAAuB,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;gBAEtD,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;oBAC9B,MAAM,OAAO,GAAG,iBAAiB,CAAC;wBAChC,EAAE,EAAE,MAAM,CAAC,EAAE;wBACb,OAAO,EAAE,WAAW,CAAC,OAAO;wBAC5B,OAAO,EAAE,WAAW,CAAC,OAAO;wBAC5B,UAAU,EAAE,EAAE;wBACd,WAAW;wBACX,WAAW,EAAE,WAAW,CAAC,WAAW;wBACpC,aAAa,CAAC,KAAmB;4BAC/B,MAAM,WAAW,GACf,KAAK,CAAC,WAAW;gCACjB,kBAAkB,CAAC;oCACjB,MAAM,EAAE,KAAK,CAAC,MAAM;oCACpB,QAAQ,EAAE,KAAK,CAAC,IAAI;oCACpB,UAAU,EAAE,KAAK,CAAC,OAAO;oCACzB,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CACpB,EAAE,CAAC,6BAA6B,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,EAC1F,EAAE,CAAC,6BAA6B,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CACvF;iCACF,CAAC,CAAC;4BAEL,MAAM,eAAe,GAAY;gCAC/B,GAAG,KAAK;gCACR,WAAW;gCACX,IAAI,EAAE,aAAa,CAAC,KAAK,CAAC,IAAI,EAAE,cAAc,CAAC;6BAChD,CAAC;4BACF,iCAAiC;4BACjC,IAAI,CAAC,mBAAmB,CAAC,eAAe,EAAE,YAAY,CAAC,EAAE,CAAC;gCACxD,iDAAiD;gCACjD,IAAI,iBAAiB,CAAC,eAAe,CAAC,UAAU,CAAC,IAAI,kBAAkB,EAAE,CAAC;oCACxE,WAAW,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;gCACpC,CAAC;4BACH,CAAC;wBACH,CAAC;qBACF,CAAC,CAAC;oBAEH,KAAK,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;gBAC7B,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;SAAM,CAAC;QACN,gEAAgE;QAChE,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;YAC9B,IAAI,IAAI,CAAC,IAAI,CAAC,uBAAuB,EAAE,CAAC;gBACtC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC1C,CAAC;QACH,CAAC;IACH,CAAC;IAED,kDAAkD;IAClD,MAAM,cAAc,GAAG,CAAC,GAAG,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACpD,mBAAmB;QACnB,MAAM,OAAO,GAAG,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC7C,IAAI,OAAO,KAAK,CAAC;YAAE,OAAO,OAAO,CAAC;QAElC,cAAc;QACd,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC;QACxD,IAAI,OAAO,KAAK,CAAC;YAAE,OAAO,OAAO,CAAC;QAElC,gBAAgB;QAChB,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC;QAC3D,IAAI,MAAM,KAAK,CAAC;YAAE,OAAO,MAAM,CAAC;QAEhC,uCAAuC;QACvC,MAAM,MAAM,GAAG,cAAc,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACvE,IAAI,MAAM,KAAK,CAAC;YAAE,OAAO,MAAM,CAAC;QAEhC,iBAAiB;QACjB,MAAM,OAAO,GAAG,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACjD,IAAI,OAAO,KAAK,CAAC;YAAE,OAAO,OAAO,CAAC;QAElC,qBAAqB;QACrB,OAAO,CAAC,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,mBAAmB;IACnB,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,IAAI,cAAc,GAAG,CAAC,CAAC;IACvB,IAAI,gBAAgB,GAAG,CAAC,CAAC;IACzB,IAAI,aAAa,GAAG,CAAC,CAAC;IAEtB,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;QAC/B,IAAI,CAAC,CAAC,QAAQ,KAAK,OAAO;YAAE,MAAM,EAAE,CAAC;aAChC,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS;YAAE,QAAQ,EAAE,CAAC;aACzC,IAAI,CAAC,CAAC,QAAQ,KAAK,MAAM;YAAE,IAAI,EAAE,CAAC;QAEvC,IAAI,CAAC,CAAC,UAAU,KAAK,MAAM;YAAE,cAAc,EAAE,CAAC;aACzC,IAAI,CAAC,CAAC,UAAU,KAAK,QAAQ;YAAE,gBAAgB,EAAE,CAAC;aAClD,IAAI,CAAC,CAAC,UAAU,KAAK,KAAK;YAAE,aAAa,EAAE,CAAC;IACnD,CAAC;IAED,MAAM,OAAO,GAAiB;QAC5B,MAAM;QACN,QAAQ;QACR,IAAI;QACJ,cAAc;QACd,gBAAgB;QAChB,aAAa;QACb,aAAa,EAAE,aAAa,CAAC,IAAI;QACjC,aAAa,EAAE,WAAW,CAAC,QAAQ,CAAC,MAAM,IAAI,CAAC;KAChD,CAAC;IAEF,MAAM,iBAAiB,GAAsB;QAC3C,iBAAiB,EAAE,MAAM,EAAE,OAAO;QAClC,YAAY,EAAE,WAAW,CAAC,YAAY;QACtC,cAAc,EAAE,WAAW,CAAC,cAAc;QAC1C,YAAY,EAAE,WAAW,CAAC,QAAQ,CAAC,MAAM,IAAI,CAAC;QAC9C,aAAa,EAAE,WAAW,CAAC,aAAa;KACzC,CAAC;IAEF,OAAO;QACL,QAAQ,EAAE,cAAc;QACxB,OAAO;QACP,UAAU,EAAE,iBAAiB;QAC7B,oBAAoB,EAAE,oBAAoB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,SAAS;KACzF,CAAC;AACJ,CAAC"}

package/dist/engine/symbols.d.ts

@@ -0,0 +1,46 @@
+import type * as tsType from "typescript";
+import type { SourceRange } from "../core/types.js";
+/**
+ * Calculates 1-indexed source line and column coordinates for an AST node.
+ */
+export declare function getNodeSourceRange(node: tsType.Node, sourceFile: tsType.SourceFile): SourceRange;
+/**
+ * Checks whether a TypeScript type represents an active lifecycle controller or animation handle
+ * (such as AnimationPlaybackControls from framer-motion/motion)
+ * rather than a primary asynchronous Promise.
+ *
+ * Requirements:
+ * - Symbol named AnimationPlaybackControls / AnimationControls / TweenControl, OR
+ * - Originates from framer-motion / popmotion / @motionone / motion package declarations, OR
+ * - Structural animation controller containing stop, play, and playback properties (pause, time, speed, currentTime, complete).
+ *
+ * NOTE: Individual methods like `cancel()`, `abort()`, `rollback()`, or `dispose()` on arbitrary
+ * Promise-like objects DO NOT grant blanket immunity from unhandled floating promise analysis.
+ */
+export declare function isControlOrHandleType(type: tsType.Type | undefined, checker: tsType.TypeChecker): boolean;
+/**
+ * Determines whether a TypeScript type is Promise-like (implements .then() or named Promise).
+ */
+export declare function isPromiseLike(type: tsType.Type | undefined, checker: tsType.TypeChecker): boolean;
+/**
+ * Verifies that an identifier refers to an authentic global DOM/browser API
+ * declared in the standard library (e.g. lib.dom.d.ts), not a shadowed local symbol.
+ */
+export declare function isDOMGlobal(node: tsType.Node, checker: tsType.TypeChecker, globalName: string): boolean;
+/**
+ * Verifies that a target node is a standard DOM EventTarget, Window, Document, or HTMLElement
+ * declared in standard TypeScript DOM definitions, rather than a custom user object/emitter.
+ */
+export declare function isDOMEventTarget(node: tsType.Node, checker: tsType.TypeChecker | undefined, ts: typeof tsType): boolean;
+/**
+ * Verifies that a node represents an authentic DOM AbortController instance
+ * declared in standard TypeScript DOM definitions.
+ */
+export declare function isDOMAbortController(node: tsType.Node, checker: tsType.TypeChecker | undefined, ts: typeof tsType): boolean;
+/**
+ * Resolves whether a function/call node corresponds to a standard React hook
+ * (e.g. useEffect, useState, useMemo), supporting direct imports, namespace imports,
+ * and aliased imports originating from React or @types/react.
+ */
+export declare function resolveReactHook(node: tsType.Node, checker: tsType.TypeChecker, hookName: string): boolean;
+//# sourceMappingURL=symbols.d.ts.map

package/dist/engine/symbols.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"symbols.d.ts","sourceRoot":"","sources":["../../src/engine/symbols.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,MAAM,MAAM,YAAY,CAAC;AAC1C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAEpD;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,GAAG,WAAW,CAiBhG;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,GAAG,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,WAAW,GAAG,OAAO,CA2CzG;AAID;;GAEG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,GAAG,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,WAAW,GAAG,OAAO,CAiBjG;AA4CD;;;GAGG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,WAAW,EAAE,UAAU,EAAE,MAAM,GAAG,OAAO,CAuCvG;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,MAAM,CAAC,IAAI,EACjB,OAAO,EAAE,MAAM,CAAC,WAAW,GAAG,SAAS,EACvC,EAAE,EAAE,OAAO,MAAM,GAChB,OAAO,CAgCT;AAED;;;GAGG;AACH,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,MAAM,CAAC,IAAI,EACjB,OAAO,EAAE,MAAM,CAAC,WAAW,GAAG,SAAS,EACvC,EAAE,EAAE,OAAO,MAAM,GAChB,OAAO,CA0BT;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,WAAW,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CA0C1G"}

package/dist/engine/symbols.js

@@ -0,0 +1,278 @@
+/**
+ * Calculates 1-indexed source line and column coordinates for an AST node.
+ */
+export function getNodeSourceRange(node, sourceFile) {
+    const startPos = node.getStart(sourceFile);
+    const endPos = node.getEnd();
+    const startLoc = sourceFile.getLineAndCharacterOfPosition(startPos);
+    const endLoc = sourceFile.getLineAndCharacterOfPosition(endPos);
+    return {
+        start: {
+            line: startLoc.line + 1,
+            column: startLoc.character + 1,
+        },
+        end: {
+            line: endLoc.line + 1,
+            column: endLoc.character + 1,
+        },
+    };
+}
+/**
+ * Checks whether a TypeScript type represents an active lifecycle controller or animation handle
+ * (such as AnimationPlaybackControls from framer-motion/motion)
+ * rather than a primary asynchronous Promise.
+ *
+ * Requirements:
+ * - Symbol named AnimationPlaybackControls / AnimationControls / TweenControl, OR
+ * - Originates from framer-motion / popmotion / @motionone / motion package declarations, OR
+ * - Structural animation controller containing stop, play, and playback properties (pause, time, speed, currentTime, complete).
+ *
+ * NOTE: Individual methods like `cancel()`, `abort()`, `rollback()`, or `dispose()` on arbitrary
+ * Promise-like objects DO NOT grant blanket immunity from unhandled floating promise analysis.
+ */
+export function isControlOrHandleType(type, checker) {
+    if (!type)
+        return false;
+    const symbol = type.getSymbol() ?? type.aliasSymbol;
+    if (symbol) {
+        const symName = symbol.name;
+        if (symName === "AnimationPlaybackControls" ||
+            symName === "AnimationControls" ||
+            symName === "TweenControl") {
+            return true;
+        }
+        const decls = symbol.getDeclarations();
+        if (decls && decls.length > 0) {
+            for (const decl of decls) {
+                const fileName = decl.getSourceFile().fileName.replace(/\\/g, "/");
+                if (fileName.includes("/node_modules/framer-motion/") ||
+                    fileName.includes("/node_modules/motion/") ||
+                    fileName.includes("/node_modules/popmotion/") ||
+                    fileName.includes("/node_modules/@motionone/")) {
+                    return true;
+                }
+            }
+        }
+    }
+    // Structural animation controller check: must exhibit multi-method playback control API
+    const hasStop = Boolean(checker.getPropertyOfType(type, "stop"));
+    const hasPlay = Boolean(checker.getPropertyOfType(type, "play"));
+    const hasPause = Boolean(checker.getPropertyOfType(type, "pause"));
+    const hasTime = Boolean(checker.getPropertyOfType(type, "time") || checker.getPropertyOfType(type, "currentTime"));
+    const hasSpeed = Boolean(checker.getPropertyOfType(type, "speed"));
+    const hasComplete = Boolean(checker.getPropertyOfType(type, "complete"));
+    if (hasStop && (hasPlay || hasPause) && (hasTime || hasSpeed || hasComplete || (hasPlay && hasPause))) {
+        return true;
+    }
+    return false;
+}
+const isPromiseLikeCache = new WeakMap();
+/**
+ * Determines whether a TypeScript type is Promise-like (implements .then() or named Promise).
+ */
+export function isPromiseLike(type, checker) {
+    if (!type)
+        return false;
+    let checkerCache = isPromiseLikeCache.get(checker);
+    if (!checkerCache) {
+        checkerCache = new WeakMap();
+        isPromiseLikeCache.set(checker, checkerCache);
+    }
+    const cached = checkerCache.get(type);
+    if (cached !== undefined) {
+        return cached;
+    }
+    const result = computeIsPromiseLike(type, checker);
+    checkerCache.set(type, result);
+    return result;
+}
+function computeIsPromiseLike(type, checker) {
+    const symbol = type.getSymbol() ?? type.aliasSymbol;
+    if (symbol && (symbol.name === "Promise" || symbol.name === "PromiseLike")) {
+        if (isControlOrHandleType(type, checker)) {
+            return false;
+        }
+        return true;
+    }
+    // If the type has lifecycle control methods (stop, pause, cancel, etc.), it's a control handle, not a bare Promise
+    if (isControlOrHandleType(type, checker)) {
+        return false;
+    }
+    // Check for .then property with call signatures returning a thenable/promise
+    const thenProp = checker.getPropertyOfType(type, "then");
+    if (thenProp) {
+        const thenDecl = thenProp.valueDeclaration ?? thenProp.declarations?.[0];
+        if (thenDecl) {
+            const thenType = checker.getTypeOfSymbolAtLocation(thenProp, thenDecl);
+            const signatures = thenType.getCallSignatures();
+            if (signatures.length > 0) {
+                const retType = signatures[0]?.getReturnType();
+                if (retType) {
+                    // In Promise/A+, then() returns another thenable/Promise or any/unknown, not void/primitive
+                    const isNonThenableReturn = (retType.flags & (16384 | 8192 | 131072 | 4 | 8 | 16 | 65536)) !== 0;
+                    if (!isNonThenableReturn) {
+                        return true;
+                    }
+                }
+            }
+        }
+    }
+    // Handle union types (e.g. Promise<T> | undefined)
+    if (type.isUnion()) {
+        return type.types.some((t) => isPromiseLike(t, checker));
+    }
+    return false;
+}
+/**
+ * Verifies that an identifier refers to an authentic global DOM/browser API
+ * declared in the standard library (e.g. lib.dom.d.ts), not a shadowed local symbol.
+ */
+export function isDOMGlobal(node, checker, globalName) {
+    const symbol = checker.getSymbolAtLocation(node);
+    if (!symbol) {
+        return false;
+    }
+    if (symbol.name !== globalName) {
+        return false;
+    }
+    const declarations = symbol.getDeclarations();
+    if (!declarations || declarations.length === 0) {
+        return false;
+    }
+    // If any declaration is in user source code (not in standard TypeScript lib), it is user-defined/shadowed
+    const isUserDefined = declarations.some((decl) => {
+        const fileName = decl.getSourceFile().fileName.toLowerCase().replace(/\\/g, "/");
+        const isStdLib = fileName.includes("lib.dom.d.ts") ||
+            fileName.includes("lib.es") ||
+            fileName.includes("lib.webworker.d.ts") ||
+            fileName.includes("typescript/lib/");
+        return !isStdLib;
+    });
+    if (isUserDefined) {
+        return false;
+    }
+    return declarations.some((decl) => {
+        const fileName = decl.getSourceFile().fileName.toLowerCase().replace(/\\/g, "/");
+        return (fileName.includes("lib.dom.d.ts") ||
+            fileName.includes("lib.es") ||
+            fileName.includes("lib.webworker.d.ts") ||
+            fileName.includes("typescript/lib/"));
+    });
+}
+/**
+ * Verifies that a target node is a standard DOM EventTarget, Window, Document, or HTMLElement
+ * declared in standard TypeScript DOM definitions, rather than a custom user object/emitter.
+ */
+export function isDOMEventTarget(node, checker, ts) {
+    if (ts.isIdentifier(node) &&
+        (node.text === "window" || node.text === "document" || node.text === "globalThis")) {
+        return true;
+    }
+    if (!checker) {
+        return false;
+    }
+    try {
+        const type = checker.getTypeAtLocation(node);
+        const addEventListenerProp = checker.getPropertyOfType(type, "addEventListener");
+        if (!addEventListenerProp)
+            return false;
+        const decls = addEventListenerProp.getDeclarations();
+        if (!decls || decls.length === 0)
+            return false;
+        return decls.some((decl) => {
+            const fileName = decl.getSourceFile().fileName.toLowerCase().replace(/\\/g, "/");
+            return (fileName.includes("lib.dom.d.ts") ||
+                fileName.includes("lib.dom.iterable.d.ts") ||
+                fileName.includes("lib.webworker.d.ts") ||
+                fileName.includes("typescript/lib/"));
+        });
+    }
+    catch {
+        return false;
+    }
+}
+/**
+ * Verifies that a node represents an authentic DOM AbortController instance
+ * declared in standard TypeScript DOM definitions.
+ */
+export function isDOMAbortController(node, checker, ts) {
+    if (!checker) {
+        return false;
+    }
+    try {
+        const type = checker.getTypeAtLocation(node);
+        const abortProp = checker.getPropertyOfType(type, "abort");
+        const signalProp = checker.getPropertyOfType(type, "signal");
+        if (!abortProp || !signalProp)
+            return false;
+        const decls = abortProp.getDeclarations();
+        if (!decls || decls.length === 0)
+            return false;
+        return decls.some((decl) => {
+            const fileName = decl.getSourceFile().fileName.toLowerCase().replace(/\\/g, "/");
+            return (fileName.includes("lib.dom.d.ts") ||
+                fileName.includes("lib.dom.iterable.d.ts") ||
+                fileName.includes("lib.webworker.d.ts") ||
+                fileName.includes("typescript/lib/"));
+        });
+    }
+    catch {
+        return false;
+    }
+}
+/**
+ * Resolves whether a function/call node corresponds to a standard React hook
+ * (e.g. useEffect, useState, useMemo), supporting direct imports, namespace imports,
+ * and aliased imports originating from React or @types/react.
+ */
+export function resolveReactHook(node, checker, hookName) {
+    let targetIdentifier;
+    // Case 1: React.useEffect(...) property access
+    if ("expression" in node && node.expression && typeof node.expression === "object") {
+        const callExpr = node.expression;
+        if ("name" in callExpr && "expression" in callExpr) {
+            const propName = callExpr.name;
+            if (propName && typeof propName === "object" && "text" in propName && propName.text === hookName) {
+                targetIdentifier = propName;
+            }
+        }
+        else {
+            targetIdentifier = callExpr;
+        }
+    }
+    else {
+        targetIdentifier = node;
+    }
+    if (!targetIdentifier) {
+        return false;
+    }
+    const symbol = checker.getSymbolAtLocation(targetIdentifier);
+    if (!symbol) {
+        return false;
+    }
+    if (symbol.name === hookName && isReactSymbol(symbol)) {
+        return true;
+    }
+    // Check alias symbol if aliased (import { useEffect as myEffect })
+    try {
+        const aliased = checker.getAliasedSymbol(symbol);
+        if (aliased && aliased.name === hookName && isReactSymbol(aliased)) {
+            return true;
+        }
+    }
+    catch {
+        // Not an aliased symbol
+    }
+    return false;
+}
+function isReactSymbol(symbol) {
+    const declarations = symbol.getDeclarations();
+    if (!declarations || declarations.length === 0) {
+        return false;
+    }
+    return declarations.some((decl) => {
+        const fileName = decl.getSourceFile().fileName.replace(/\\/g, "/");
+        return fileName.includes("react/index.d.ts") || fileName.includes("@types/react/") || fileName.includes("react.d.ts");
+    });
+}
+//# sourceMappingURL=symbols.js.map

package/dist/engine/symbols.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"symbols.js","sourceRoot":"","sources":["../../src/engine/symbols.ts"],"names":[],"mappings":"AAGA;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAiB,EAAE,UAA6B;IACjF,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;IAC3C,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;IAE7B,MAAM,QAAQ,GAAG,UAAU,CAAC,6BAA6B,CAAC,QAAQ,CAAC,CAAC;IACpE,MAAM,MAAM,GAAG,UAAU,CAAC,6BAA6B,CAAC,MAAM,CAAC,CAAC;IAEhE,OAAO;QACL,KAAK,EAAE;YACL,IAAI,EAAE,QAAQ,CAAC,IAAI,GAAG,CAAC;YACvB,MAAM,EAAE,QAAQ,CAAC,SAAS,GAAG,CAAC;SAC/B;QACD,GAAG,EAAE;YACH,IAAI,EAAE,MAAM,CAAC,IAAI,GAAG,CAAC;YACrB,MAAM,EAAE,MAAM,CAAC,SAAS,GAAG,CAAC;SAC7B;KACF,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,qBAAqB,CAAC,IAA6B,EAAE,OAA2B;IAC9F,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IAExB,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,IAAI,IAAI,CAAC,WAAW,CAAC;IACpD,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC;QAC5B,IACE,OAAO,KAAK,2BAA2B;YACvC,OAAO,KAAK,mBAAmB;YAC/B,OAAO,KAAK,cAAc,EAC1B,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QAED,MAAM,KAAK,GAAG,MAAM,CAAC,eAAe,EAAE,CAAC;QACvC,IAAI,KAAK,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBACnE,IACE,QAAQ,CAAC,QAAQ,CAAC,8BAA8B,CAAC;oBACjD,QAAQ,CAAC,QAAQ,CAAC,uBAAuB,CAAC;oBAC1C,QAAQ,CAAC,QAAQ,CAAC,0BAA0B,CAAC;oBAC7C,QAAQ,CAAC,QAAQ,CAAC,2BAA2B,CAAC,EAC9C,CAAC;oBACD,OAAO,IAAI,CAAC;gBACd,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,wFAAwF;IACxF,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;IACjE,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;IACjE,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IACnE,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,OAAO,CAAC,iBAAiB,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC;IACnH,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IACnE,MAAM,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC;IAEzE,IAAI,OAAO,IAAI,CAAC,OAAO,IAAI,QAAQ,CAAC,IAAI,CAAC,OAAO,IAAI,QAAQ,IAAI,WAAW,IAAI,CAAC,OAAO,IAAI,QAAQ,CAAC,CAAC,EAAE,CAAC;QACtG,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,kBAAkB,GAAG,IAAI,OAAO,EAAqD,CAAC;AAE5F;;GAEG;AACH,MAAM,UAAU,aAAa,CAAC,IAA6B,EAAE,OAA2B;IACtF,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IAExB,IAAI,YAAY,GAAG,kBAAkB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACnD,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,YAAY,GAAG,IAAI,OAAO,EAAwB,CAAC;QACnD,kBAAkB,CAAC,GAAG,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;IAChD,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,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACnD,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC/B,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAiB,EAAE,OAA2B;IAC1E,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,IAAI,IAAI,CAAC,WAAW,CAAC;IACpD,IAAI,MAAM,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,KAAK,aAAa,CAAC,EAAE,CAAC;QAC3E,IAAI,qBAAqB,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;YACzC,OAAO,KAAK,CAAC;QACf,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,mHAAmH;IACnH,IAAI,qBAAqB,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;QACzC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,6EAA6E;IAC7E,MAAM,QAAQ,GAAG,OAAO,CAAC,iBAAiB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACzD,IAAI,QAAQ,EAAE,CAAC;QACb,MAAM,QAAQ,GAAG,QAAQ,CAAC,gBAAgB,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC;QACzE,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,QAAQ,GAAG,OAAO,CAAC,yBAAyB,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;YACvE,MAAM,UAAU,GAAG,QAAQ,CAAC,iBAAiB,EAAE,CAAC;YAChD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC1B,MAAM,OAAO,GAAG,UAAU,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC;gBAC/C,IAAI,OAAO,EAAE,CAAC;oBACZ,4FAA4F;oBAC5F,MAAM,mBAAmB,GAAG,CAAC,OAAO,CAAC,KAAK,GAAG,CAAC,KAAK,GAAG,IAAI,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC;oBACjG,IAAI,CAAC,mBAAmB,EAAE,CAAC;wBACzB,OAAO,IAAI,CAAC;oBACd,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,mDAAmD;IACnD,IAAI,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;QACnB,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;IAC3D,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,WAAW,CAAC,IAAiB,EAAE,OAA2B,EAAE,UAAkB;IAC5F,MAAM,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACjD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC/B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,YAAY,GAAG,MAAM,CAAC,eAAe,EAAE,CAAC;IAC9C,IAAI,CAAC,YAAY,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/C,OAAO,KAAK,CAAC;IACf,CAAC;IAED,0GAA0G;IAC1G,MAAM,aAAa,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;QAC/C,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACjF,MAAM,QAAQ,GACZ,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC;YACjC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC;YAC3B,QAAQ,CAAC,QAAQ,CAAC,oBAAoB,CAAC;YACvC,QAAQ,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC;QACvC,OAAO,CAAC,QAAQ,CAAC;IACnB,CAAC,CAAC,CAAC;IAEH,IAAI,aAAa,EAAE,CAAC;QAClB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,YAAY,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;QAChC,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACjF,OAAO,CACL,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC;YACjC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC;YAC3B,QAAQ,CAAC,QAAQ,CAAC,oBAAoB,CAAC;YACvC,QAAQ,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CACrC,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAC9B,IAAiB,EACjB,OAAuC,EACvC,EAAiB;IAEjB,IACE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QACrB,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,CAAC,EAClF,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;QAC7C,MAAM,oBAAoB,GAAG,OAAO,CAAC,iBAAiB,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC;QACjF,IAAI,CAAC,oBAAoB;YAAE,OAAO,KAAK,CAAC;QAExC,MAAM,KAAK,GAAG,oBAAoB,CAAC,eAAe,EAAE,CAAC;QACrD,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QAE/C,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;YACzB,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACjF,OAAO,CACL,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC;gBACjC,QAAQ,CAAC,QAAQ,CAAC,uBAAuB,CAAC;gBAC1C,QAAQ,CAAC,QAAQ,CAAC,oBAAoB,CAAC;gBACvC,QAAQ,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CACrC,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAClC,IAAiB,EACjB,OAAuC,EACvC,EAAiB;IAEjB,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;QAC7C,MAAM,SAAS,GAAG,OAAO,CAAC,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC3D,MAAM,UAAU,GAAG,OAAO,CAAC,iBAAiB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAC7D,IAAI,CAAC,SAAS,IAAI,CAAC,UAAU;YAAE,OAAO,KAAK,CAAC;QAE5C,MAAM,KAAK,GAAG,SAAS,CAAC,eAAe,EAAE,CAAC;QAC1C,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QAE/C,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;YACzB,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACjF,OAAO,CACL,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC;gBACjC,QAAQ,CAAC,QAAQ,CAAC,uBAAuB,CAAC;gBAC1C,QAAQ,CAAC,QAAQ,CAAC,oBAAoB,CAAC;gBACvC,QAAQ,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CACrC,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAAC,IAAiB,EAAE,OAA2B,EAAE,QAAgB;IAC/F,IAAI,gBAAyC,CAAC;IAE9C,+CAA+C;IAC/C,IAAI,YAAY,IAAI,IAAI,IAAI,IAAI,CAAC,UAAU,IAAI,OAAO,IAAI,CAAC,UAAU,KAAK,QAAQ,EAAE,CAAC;QACnF,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC;QACjC,IAAI,MAAM,IAAI,QAAQ,IAAI,YAAY,IAAI,QAAQ,EAAE,CAAC;YACnD,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC;YAC/B,IAAI,QAAQ,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,MAAM,IAAI,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACjG,gBAAgB,GAAG,QAAkC,CAAC;YACxD,CAAC;QACH,CAAC;aAAM,CAAC;YACN,gBAAgB,GAAG,QAAkC,CAAC;QACxD,CAAC;IACH,CAAC;SAAM,CAAC;QACN,gBAAgB,GAAG,IAAI,CAAC;IAC1B,CAAC;IAED,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACtB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,gBAAgB,CAAC,CAAC;IAC7D,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC;QACtD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,mEAAmE;IACnE,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;QACjD,IAAI,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC;YACnE,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,wBAAwB;IAC1B,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,aAAa,CAAC,MAAqB;IAC1C,MAAM,YAAY,GAAG,MAAM,CAAC,eAAe,EAAE,CAAC;IAC9C,IAAI,CAAC,YAAY,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/C,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,YAAY,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;QAChC,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACnE,OAAO,QAAQ,CAAC,QAAQ,CAAC,kBAAkB,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,eAAe,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;IACxH,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,20 @@
+import { type StrictnessReport, type StrictnessFlagStatus } from "./strictness/evaluator.js";
+export interface ScanOptions {
+    readonly targetDir?: string | undefined;
+    readonly minConfidence?: "high" | "medium" | "low" | undefined;
+    readonly customIgnores?: readonly string[] | undefined;
+    readonly changedFiles?: readonly string[] | undefined;
+}
+/**
+ * Programmatic entrypoint to scan a repository for correctness and quality defects.
+ */
+export declare function scanRepository(options?: ScanOptions | undefined): Promise<import("./core/types.js").AuditResult>;
+/**
+ * Programmatic entrypoint to run strictness gap analysis on a repository's TypeScript configuration.
+ */
+export declare function evaluateStrictness(targetDir?: string): Promise<StrictnessReport>;
+export type { StrictnessReport, StrictnessFlagStatus };
+export type * from "./core/types.js";
+export type * from "./baseline/types.js";
+export { createBaseline, compareWithBaseline, loadBaseline, saveBaseline } from "./baseline/manager.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAIA,OAAO,EAAyB,KAAK,gBAAgB,EAAE,KAAK,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AACpH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACxC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,GAAG,QAAQ,GAAG,KAAK,GAAG,SAAS,CAAC;IAC/D,QAAQ,CAAC,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,CAAC;IACvD,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,CAAC;CACvD;AAED;;GAEG;AACH,wBAAsB,cAAc,CAAC,OAAO,CAAC,EAAE,WAAW,GAAG,SAAS,kDASrE;AAED;;GAEG;AACH,wBAAsB,kBAAkB,CAAC,SAAS,SAAgB,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAU7F;AACD,YAAY,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,CAAC;AACvD,mBAAmB,iBAAiB,CAAC;AACrC,mBAAmB,qBAAqB,CAAC;AACzC,OAAO,EAAE,cAAc,EAAE,mBAAmB,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC"}

package/dist/index.js

@@ -0,0 +1,32 @@
+import path from "node:path";
+import { runAudit } from "./engine/runner.js";
+import { discoverRepository } from "./repository/detector.js";
+import { loadRepositoryTypeScript } from "./repository/tsLoader.js";
+import { evaluateStrictnessGap } from "./strictness/evaluator.js";
+/**
+ * Programmatic entrypoint to scan a repository for correctness and quality defects.
+ */
+export async function scanRepository(options) {
+    const targetDir = options?.targetDir ?? process.cwd();
+    const auditOpts = {
+        targetDir,
+        minConfidence: options?.minConfidence ?? "medium",
+        customIgnores: options?.customIgnores,
+        changedFiles: options?.changedFiles,
+    };
+    return runAudit(auditOpts);
+}
+/**
+ * Programmatic entrypoint to run strictness gap analysis on a repository's TypeScript configuration.
+ */
+export async function evaluateStrictness(targetDir = process.cwd()) {
+    const resolvedTarget = path.resolve(targetDir);
+    const repo = await discoverRepository(resolvedTarget);
+    const tsInst = loadRepositoryTypeScript(resolvedTarget);
+    if (!tsInst) {
+        throw new Error(`TypeScript is not installed in target project: '${resolvedTarget}'`);
+    }
+    return evaluateStrictnessGap(repo, tsInst);
+}
+export { createBaseline, compareWithBaseline, loadBaseline, saveBaseline } from "./baseline/manager.js";
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,QAAQ,EAAwB,MAAM,oBAAoB,CAAC;AACpE,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAC9D,OAAO,EAAE,wBAAwB,EAAE,MAAM,0BAA0B,CAAC;AACpE,OAAO,EAAE,qBAAqB,EAAoD,MAAM,2BAA2B,CAAC;AAQpH;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,cAAc,CAAC,OAAiC;IACpE,MAAM,SAAS,GAAG,OAAO,EAAE,SAAS,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;IACtD,MAAM,SAAS,GAAoB;QACjC,SAAS;QACT,aAAa,EAAE,OAAO,EAAE,aAAa,IAAI,QAAQ;QACjD,aAAa,EAAE,OAAO,EAAE,aAAa;QACrC,YAAY,EAAE,OAAO,EAAE,YAAY;KACpC,CAAC;IACF,OAAO,QAAQ,CAAC,SAAS,CAAC,CAAC;AAC7B,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,SAAS,GAAG,OAAO,CAAC,GAAG,EAAE;IAChE,MAAM,cAAc,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IAC/C,MAAM,IAAI,GAAG,MAAM,kBAAkB,CAAC,cAAc,CAAC,CAAC;IACtD,MAAM,MAAM,GAAG,wBAAwB,CAAC,cAAc,CAAC,CAAC;IAExD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,IAAI,KAAK,CAAC,mDAAmD,cAAc,GAAG,CAAC,CAAC;IACxF,CAAC;IAED,OAAO,qBAAqB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;AAC7C,CAAC;AAID,OAAO,EAAE,cAAc,EAAE,mBAAmB,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC"}

package/dist/reporters/agent.d.ts

@@ -0,0 +1,45 @@
+import type { AuditResult } from "../core/types.js";
+export interface AgentFinding {
+    readonly fingerprint: string;
+    readonly ruleId: string;
+    readonly category: string;
+    readonly severity: string;
+    readonly confidence: string;
+    readonly file: string;
+    readonly range: {
+        readonly start: {
+            readonly line: number;
+            readonly column: number;
+        };
+        readonly end: {
+            readonly line: number;
+            readonly column: number;
+        };
+    };
+    readonly message: string;
+    readonly evidence: readonly string[];
+    readonly suggestedAction: string | null;
+    readonly safeAutomaticFix: boolean;
+}
+export interface AgentReport {
+    readonly schemaVersion: 1;
+    readonly tool: {
+        readonly name: "sourceverity";
+        readonly version: "1.0.0";
+    };
+    readonly repository: {
+        readonly typescript?: string | undefined;
+        readonly react?: string | undefined;
+    };
+    readonly summary: {
+        readonly errors: number;
+        readonly warnings: number;
+        readonly info: number;
+    };
+    readonly findings: readonly AgentFinding[];
+}
+/**
+ * Formats AuditResult into structured Agent JSON format for LLMs/Codex.
+ */
+export declare function renderAgentReport(result: AuditResult): string;
+//# sourceMappingURL=agent.d.ts.map

package/dist/reporters/agent.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"agent.d.ts","sourceRoot":"","sources":["../../src/reporters/agent.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAW,MAAM,kBAAkB,CAAC;AAE7D,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE;QACd,QAAQ,CAAC,KAAK,EAAE;YAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;YAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;SAAE,CAAC;QACnE,QAAQ,CAAC,GAAG,EAAE;YAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;YAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;SAAE,CAAC;KAClE,CAAC;IACF,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;IACxC,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;CACpC;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE;QACb,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;QAC9B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;KAC3B,CAAC;IACF,QAAQ,CAAC,UAAU,EAAE;QACnB,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;QACzC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;KACrC,CAAC;IACF,QAAQ,CAAC,OAAO,EAAE;QAChB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;KACvB,CAAC;IACF,QAAQ,CAAC,QAAQ,EAAE,SAAS,YAAY,EAAE,CAAC;CAC5C;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,WAAW,GAAG,MAAM,CAqC7D"}