callograph 0.0.2 → 0.0.3

package/README.md

@@ -2,7 +2,7 @@
 
 **Callograph** is a static analysis tool for TypeScript projects that builds a program-level call graph and detects side effects, impurity propagation, and unsafe async behavior.
 
-It is designed for engineers who want deeper insight into how code behaves — beyond lint rules — by analyzing symbol resolution and cross-file call relationships using the TypeScript Compiler API.
+It is designed for engineers who want deeper insight into how code behaves beyond lint rules, by analyzing symbol resolution and cross-file call relationships using the TypeScript Compiler API.
 
 ---
 
@@ -21,7 +21,7 @@ Callograph provides structural visibility into function relationships and propag
 
 ---
 
-## Core Capabilities (v0.1.0)
+## Core Capabilities (v0.0.3)
 
 ### 1. Call Graph Construction
 
@@ -231,7 +231,7 @@ It prioritizes:
 
 ---
 
-## Limitations (v0.1.0)
+## Limitations (v0.0.3)
 
 * Dynamic runtime dispatch cannot always be resolved.
 * Higher-order functions are partially supported.
@@ -267,7 +267,7 @@ Contributions are welcome.
 * Add tests for new analysis rules.
 
 ---
-
+ 
 ## Vision
 
 Callograph aims to become:

package/dist/cli.cjs

@@ -1,4 +1,3 @@
-#!/usr/bin/env node
 "use strict";
 var __create = Object.create;
 var __defProp = Object.defineProperty;
@@ -65,7 +64,11 @@ function collectFunctions(program2) {
     if (sf.isDeclarationFile) continue;
     if (sf.fileName.includes("node_modules")) continue;
     import_typescript2.default.forEachChild(sf, function visit(n) {
-      if (import_typescript2.default.isFunctionDeclaration(n) || import_typescript2.default.isMethodDeclaration(n) || import_typescript2.default.isArrowFunction(n) || import_typescript2.default.isFunctionExpression(n)) {
+      const isNamedFunctionDecl = import_typescript2.default.isFunctionDeclaration(n) && !!n.name;
+      const isMethod = import_typescript2.default.isMethodDeclaration(n);
+      const p = n.parent;
+      const isVarAssigned = (import_typescript2.default.isArrowFunction(n) || import_typescript2.default.isFunctionExpression(n)) && !!p && import_typescript2.default.isVariableDeclaration(p) && import_typescript2.default.isIdentifier(p.name);
+      if (isNamedFunctionDecl || isMethod || isVarAssigned) {
         const name = safeName(n, sf);
         const id = `${sf.fileName}:${n.pos}:${name}`;
         out.push({ id, name, file: sf.fileName, node: n });
@@ -78,33 +81,284 @@ function collectFunctions(program2) {
 
 // src/analyzer/buildCallGraph.ts
 var import_typescript3 = __toESM(require("typescript"), 1);
+function isProjectFile(fileName) {
+  return !fileName.includes("node_modules") && !fileName.endsWith(".d.ts");
+}
 function buildCallGraph(program2, functions2) {
   const checker = program2.getTypeChecker();
   const graph2 = /* @__PURE__ */ new Map();
-  const functionMap = /* @__PURE__ */ new Map();
+  const declToId = /* @__PURE__ */ new Map();
   for (const fn of functions2) {
-    functionMap.set(fn.name, fn.node);
-    graph2.set(fn.name, /* @__PURE__ */ new Set());
+    graph2.set(fn.id, /* @__PURE__ */ new Set());
+    declToId.set(fn.node, fn.id);
   }
   for (const fn of functions2) {
-    const fnName = fn.name;
-    import_typescript3.default.forEachChild(fn.node, function visit(node) {
+    let visit2 = function(node) {
       if (import_typescript3.default.isCallExpression(node)) {
-        const expression = node.expression;
-        const symbol = checker.getSymbolAtLocation(expression);
-        if (symbol) {
-          const name = symbol.getName();
-          if (graph2.has(fnName)) {
-            graph2.get(fnName).add(name);
+        const sig = checker.getResolvedSignature(node);
+        const decl = sig?.getDeclaration();
+        if (decl && isProjectFile(decl.getSourceFile().fileName)) {
+          const calleeId = declToId.get(decl);
+          if (calleeId) {
+            graph2.get(callerId).add(calleeId);
           }
         }
       }
-      import_typescript3.default.forEachChild(node, visit);
-    });
+      import_typescript3.default.forEachChild(node, visit2);
+    };
+    var visit = visit2;
+    const callerId = fn.id;
+    visit2(fn.node);
   }
   return graph2;
 }
 
+// src/analyzer/purity.ts
+var import_typescript6 = __toESM(require("typescript"), 1);
+
+// src/analyzer/helpers/globals.ts
+var GLOBAL_OBJECTS = /* @__PURE__ */ new Set([
+  "window",
+  "document",
+  "global",
+  "process",
+  "localStorage",
+  "sessionStorage"
+]);
+var MUTATING_ARRAY_METHODS = /* @__PURE__ */ new Set([
+  "push",
+  "pop",
+  "splice",
+  "shift",
+  "unshift",
+  "sort",
+  "reverse",
+  "copyWithin",
+  "fill"
+]);
+
+// src/analyzer/helpers/ast.ts
+var import_typescript4 = __toESM(require("typescript"), 1);
+function isInside(node, container) {
+  return node.pos >= container.pos && node.end <= container.end;
+}
+function rootIdentifier(expr) {
+  if (import_typescript4.default.isIdentifier(expr)) return expr;
+  if (import_typescript4.default.isPropertyAccessExpression(expr)) return rootIdentifier(expr.expression);
+  if (import_typescript4.default.isElementAccessExpression(expr)) return rootIdentifier(expr.expression);
+  if (import_typescript4.default.isParenthesizedExpression(expr)) return rootIdentifier(expr.expression);
+  return null;
+}
+function isWriteOperator(kind) {
+  return kind === import_typescript4.default.SyntaxKind.EqualsToken || kind === import_typescript4.default.SyntaxKind.PlusEqualsToken || kind === import_typescript4.default.SyntaxKind.MinusEqualsToken || kind === import_typescript4.default.SyntaxKind.AsteriskEqualsToken || kind === import_typescript4.default.SyntaxKind.SlashEqualsToken || kind === import_typescript4.default.SyntaxKind.PercentEqualsToken || kind === import_typescript4.default.SyntaxKind.AmpersandEqualsToken || kind === import_typescript4.default.SyntaxKind.BarEqualsToken || kind === import_typescript4.default.SyntaxKind.CaretEqualsToken || kind === import_typescript4.default.SyntaxKind.LessThanLessThanEqualsToken || kind === import_typescript4.default.SyntaxKind.GreaterThanGreaterThanEqualsToken || kind === import_typescript4.default.SyntaxKind.GreaterThanGreaterThanGreaterThanEqualsToken;
+}
+
+// src/analyzer/helpers/async.ts
+var import_typescript5 = __toESM(require("typescript"), 1);
+function isPromiseLike(type, checker) {
+  if (!type) return false;
+  const thenProp = type.getProperty("then");
+  if (!thenProp) return false;
+  const decl = thenProp.valueDeclaration ?? thenProp.declarations?.[0];
+  if (!decl) return false;
+  const thenType = checker.getTypeOfSymbolAtLocation(thenProp, decl);
+  return thenType.getCallSignatures().length > 0;
+}
+function isAwaited(node) {
+  return import_typescript5.default.isAwaitExpression(node.parent);
+}
+function isReturned(node) {
+  return import_typescript5.default.isReturnStatement(node.parent);
+}
+function isHandledWithThen(node) {
+  if (!import_typescript5.default.isPropertyAccessExpression(node.parent)) return false;
+  const name = node.parent.name.text;
+  return name === "then" || name === "catch" || name === "finally";
+}
+function isAsyncForEach(node) {
+  if (!import_typescript5.default.isPropertyAccessExpression(node.expression)) return false;
+  if (node.expression.name.text !== "forEach") return false;
+  const cb = node.arguments[0];
+  if (!cb) return false;
+  if (import_typescript5.default.isArrowFunction(cb) || import_typescript5.default.isFunctionExpression(cb)) {
+    return cb.modifiers?.some((m) => m.kind === import_typescript5.default.SyntaxKind.AsyncKeyword) ?? false;
+  }
+  return false;
+}
+function isAsyncEventListener(node) {
+  if (!import_typescript5.default.isPropertyAccessExpression(node.expression)) return false;
+  if (node.expression.name.text !== "addEventListener") return false;
+  const cb = node.arguments[1];
+  if (!cb) return false;
+  if (import_typescript5.default.isArrowFunction(cb) || import_typescript5.default.isFunctionExpression(cb)) {
+    return cb.modifiers?.some((m) => m.kind === import_typescript5.default.SyntaxKind.AsyncKeyword) ?? false;
+  }
+  return false;
+}
+function isPromiseAll(node) {
+  return import_typescript5.default.isPropertyAccessExpression(node.expression) && import_typescript5.default.isIdentifier(node.expression.expression) && node.expression.expression.text === "Promise" && node.expression.name.text === "all";
+}
+
+// src/analyzer/purity.ts
+function analyzePurity(program2, functions2) {
+  const checker = program2.getTypeChecker();
+  const results = [];
+  for (const fn of functions2) {
+    let visit2 = function(node) {
+      if (import_typescript6.default.isBinaryExpression(node) && isWriteOperator(node.operatorToken.kind)) {
+        const left = node.left;
+        const root = rootIdentifier(left);
+        if (root && paramNames.has(root.text)) {
+          mark(`Mutates parameter \`${root.text}\``);
+        }
+        if (import_typescript6.default.isIdentifier(left)) {
+          const sym = checker.getSymbolAtLocation(left);
+          const decls = sym?.getDeclarations() ?? [];
+          const declaredInside = decls.some((d) => isInside(d, fn.node));
+          if (sym && decls.length > 0 && !declaredInside) {
+            mark(`Writes to outer scope \`${left.text}\``);
+          }
+        }
+        if (import_typescript6.default.isPropertyAccessExpression(left) && left.expression.kind === import_typescript6.default.SyntaxKind.ThisKeyword) {
+          mark(`Mutates \`this.${left.name.text}\``);
+        }
+      }
+      if (import_typescript6.default.isCallExpression(node) && import_typescript6.default.isPropertyAccessExpression(node.expression)) {
+        const method = node.expression.name.text;
+        const root = rootIdentifier(node.expression.expression);
+        if (root && paramNames.has(root.text) && MUTATING_ARRAY_METHODS.has(method)) {
+          mark(`Mutates parameter \`${root.text}\` via \`${method}()\``);
+        }
+      }
+      if (import_typescript6.default.isIdentifier(node)) {
+        const sym = checker.getSymbolAtLocation(node);
+        if (sym && GLOBAL_OBJECTS.has(sym.getName())) {
+          mark(`Accesses global \`${sym.getName()}\``);
+        }
+      }
+      if (import_typescript6.default.isPropertyAccessExpression(node)) {
+        const root = rootIdentifier(node.expression);
+        if (root?.text === "process" && node.name.text === "env") {
+          mark("Accesses `process.env` (non-deterministic)");
+        }
+        if (root?.text === "console") {
+          mark("Writes to console");
+        }
+      }
+      if (import_typescript6.default.isCallExpression(node)) {
+        const type = checker.getTypeAtLocation(node);
+        const expr = node.expression;
+        if (import_typescript6.default.isPropertyAccessExpression(expr) && import_typescript6.default.isIdentifier(expr.expression) && expr.expression.text === "Date" && expr.name.text === "now") {
+          mark("Calls Date.now() (non-deterministic)");
+        }
+        if (import_typescript6.default.isPropertyAccessExpression(expr) && import_typescript6.default.isIdentifier(expr.expression) && expr.expression.text === "Math" && expr.name.text === "random") {
+          mark("Calls Math.random() (non-deterministic)");
+        }
+        if (isPromiseLike(type, checker)) {
+          if (!isAwaited(node) && !isReturned(node) && !isHandledWithThen(node)) {
+            mark("Floating Promise (result ignored)");
+          }
+        }
+        if (isPromiseAll(node) && !isAwaited(node) && !isReturned(node)) {
+          mark("Unawaited Promise.all()");
+        }
+        if (isAsyncForEach(node)) {
+          mark("Async callback inside forEach (not awaited)");
+        }
+        if (isAsyncEventListener(node)) {
+          mark("Async event listener without error boundary");
+        }
+      }
+      if (import_typescript6.default.isNewExpression(node)) {
+        if (import_typescript6.default.isIdentifier(node.expression) && node.expression.text === "Date") {
+          mark("Instantiates Date (non-deterministic)");
+        }
+      }
+      if (import_typescript6.default.isAwaitExpression(node)) {
+        containsAwait = true;
+      }
+      if (import_typescript6.default.isTryStatement(node) && node.catchClause) {
+        hasTryCatch = true;
+      }
+      if (import_typescript6.default.isCatchClause(node) && node.block.statements.length === 0) {
+        mark("Empty catch block (error swallowed)");
+      }
+      import_typescript6.default.forEachChild(node, visit2);
+    };
+    var visit = visit2;
+    const sf = fn.node.getSourceFile();
+    const { line, character } = sf.getLineAndCharacterOfPosition(
+      fn.node.getStart(sf)
+    );
+    const reasons = [];
+    const paramNames = /* @__PURE__ */ new Set();
+    for (const p of fn.node.parameters) {
+      if (import_typescript6.default.isIdentifier(p.name)) paramNames.add(p.name.text);
+    }
+    const mark = (reason) => {
+      if (!reasons.includes(reason)) reasons.push(reason);
+    };
+    let containsAwait = false;
+    let hasTryCatch = false;
+    const isAsyncFunction = fn.node.modifiers?.some((m) => m.kind === import_typescript6.default.SyntaxKind.AsyncKeyword) ?? false;
+    visit2(fn.node);
+    if (isAsyncFunction && !containsAwait) {
+      mark("Async function without await");
+    }
+    if (isAsyncFunction && containsAwait && !hasTryCatch) {
+      mark("Async function without error handling (no try/catch)");
+    }
+    results.push({
+      id: fn.id,
+      name: fn.name,
+      file: fn.file,
+      line: line + 1,
+      character: character + 1,
+      isPure: reasons.length === 0,
+      reasons
+    });
+  }
+  return results;
+}
+
+// src/analyzer/propagateImpurity.ts
+function propagateImpurity(graph2, purity2) {
+  const resultMap = /* @__PURE__ */ new Map();
+  for (const r of purity2) {
+    resultMap.set(r.id, r);
+  }
+  const reverse = /* @__PURE__ */ new Map();
+  for (const [callerId, calleeIds] of graph2.entries()) {
+    for (const calleeId of calleeIds) {
+      if (!reverse.has(calleeId)) {
+        reverse.set(calleeId, /* @__PURE__ */ new Set());
+      }
+      reverse.get(calleeId).add(callerId);
+    }
+  }
+  const queue = [];
+  for (const r of purity2) {
+    if (!r.isPure) {
+      queue.push(r.id);
+    }
+  }
+  while (queue.length > 0) {
+    const impureId = queue.shift();
+    const callers = reverse.get(impureId);
+    if (!callers) continue;
+    for (const callerId of callers) {
+      const caller = resultMap.get(callerId);
+      if (!caller) continue;
+      if (caller.isPure) {
+        caller.isPure = false;
+        caller.reasons.push(`Calls impure function`);
+        queue.push(callerId);
+      }
+    }
+  }
+  return Array.from(resultMap.values());
+}
+
 // src/cli.ts
 var command = process.argv[2];
 if (command !== "analyze") {
@@ -114,10 +368,39 @@ if (command !== "analyze") {
 var program = createTsProgram("tsconfig.json");
 var functions = collectFunctions(program);
 var graph = buildCallGraph(program, functions);
+var purity = analyzePurity(program, functions);
+purity = propagateImpurity(graph, purity);
 console.log("\nCall Graph:\n");
-for (const [fn, calls] of graph.entries()) {
-  for (const call of calls) {
-    console.log(`${fn} \u2192 ${call}`);
+var edgeCount = 0;
+for (const [callerId, callees] of graph.entries()) {
+  const caller = functions.find((f) => f.id === callerId);
+  const callerName = caller ? caller.name : callerId;
+  for (const calleeId of callees) {
+    const callee = functions.find((f) => f.id === calleeId);
+    const calleeName = callee ? callee.name : calleeId;
+    console.log(`${callerName} \u2192 ${calleeName}`);
+    edgeCount++;
+  }
+}
+if (edgeCount === 0) {
+  console.log("(no project-level call edges found)");
+}
+console.log(`
+Total call edges: ${edgeCount}`);
+console.log("\nPurity Report:\n");
+var impure = purity.filter((r) => !r.isPure);
+if (impure.length === 0) {
+  console.log("All analyzed functions are pure.");
+} else {
+  for (const r of impure) {
+    console.log(`${r.file}:${r.line}:${r.character}`);
+    console.log(`Function: ${r.name}`);
+    console.log(`Status: X Impure`);
+    console.log("Reasons:");
+    for (const reason of r.reasons) {
+      console.log(`  - ${reason}`);
+    }
+    console.log("");
   }
 }
 //# sourceMappingURL=cli.cjs.map

package/dist/cli.cjs.map

@@ -1 +1 @@
-{"version":3,"sources":["../src/analyzer/createProgram.ts","../src/analyzer/collectFunctions.ts","../src/analyzer/buildCallGraph.ts","../src/cli.ts"],"sourcesContent":["import ts from \"typescript\";\r\n\r\nexport function createTsProgram(tsconfigPath: string) {\r\n  const configFile = ts.readConfigFile(tsconfigPath, ts.sys.readFile);\r\n\r\n  if (configFile.error) {\r\n    throw new Error(\r\n      ts.flattenDiagnosticMessageText(configFile.error.messageText, \"\\n\")\r\n    );\r\n  }\r\n\r\n  const parsedConfig = ts.parseJsonConfigFileContent(\r\n    configFile.config,\r\n    ts.sys,\r\n    process.cwd()\r\n  );\r\n\r\n  return ts.createProgram({\r\n    rootNames: parsedConfig.fileNames,\r\n    options: parsedConfig.options,\r\n  });\r\n}\r\n","import ts from \"typescript\";\r\n\r\nexport interface FunctionNode {\r\n  id: string;\r\n  name: string;\r\n  file: string;\r\n  node: ts.FunctionLikeDeclaration;\r\n}\r\n\r\nfunction safeName(node: ts.FunctionLikeDeclaration, sf: ts.SourceFile): string {\r\n  const anyNode = node as any;\r\n\r\n  // Named declarations / methods: function foo() {} / class X { foo() {} }\r\n  if (anyNode.name && ts.isIdentifier(anyNode.name)) return anyNode.name.text;\r\n\r\n  // Methods with string/numeric names: class X { \"foo\"() {} }\r\n  if (anyNode.name && (ts.isStringLiteral(anyNode.name) || ts.isNumericLiteral(anyNode.name))) {\r\n    return String(anyNode.name.text);\r\n  }\r\n\r\n  // const foo = () => {} / const foo = function() {}\r\n  const p = node.parent;\r\n  if (p && ts.isVariableDeclaration(p) && ts.isIdentifier(p.name)) return p.name.text;\r\n\r\n  // obj.foo = function() {}\r\n  if (p && ts.isBinaryExpression(p) && ts.isPropertyAccessExpression(p.left)) {\r\n    return p.left.name.text;\r\n  }\r\n\r\n  const { line, character } = sf.getLineAndCharacterOfPosition(node.getStart(sf));\r\n  return `<anonymous@${line + 1}:${character + 1}>`;\r\n}\r\n\r\nexport function collectFunctions(program: ts.Program): FunctionNode[] {\r\n  const out: FunctionNode[] = [];\r\n\r\n  for (const sf of program.getSourceFiles()) {\r\n    if (sf.isDeclarationFile) continue;\r\n    if (sf.fileName.includes(\"node_modules\")) continue;\r\n\r\n    ts.forEachChild(sf, function visit(n) {\r\n      if (\r\n        ts.isFunctionDeclaration(n) ||\r\n        ts.isMethodDeclaration(n) ||\r\n        ts.isArrowFunction(n) ||\r\n        ts.isFunctionExpression(n)\r\n      ) {\r\n        const name = safeName(n, sf);\r\n        const id = `${sf.fileName}:${n.pos}:${name}`;\r\n        out.push({ id, name, file: sf.fileName, node: n });\r\n      }\r\n      ts.forEachChild(n, visit);\r\n    });\r\n  }\r\n\r\n  return out;\r\n}\r\n","import ts from \"typescript\";\r\nimport { FunctionNode } from \"./collectFunctions\";\r\n\r\nexport type CallGraph = Map<string, Set<string>>;\r\n\r\nexport function buildCallGraph(\r\n  program: ts.Program,\r\n  functions: FunctionNode[]\r\n): CallGraph {\r\n  const checker = program.getTypeChecker();\r\n  const graph: CallGraph = new Map();\r\n\r\n  const functionMap = new Map<string, ts.FunctionLikeDeclaration>();\r\n\r\n  for (const fn of functions) {\r\n    functionMap.set(fn.name, fn.node);\r\n    graph.set(fn.name, new Set());\r\n  }\r\n\r\n  for (const fn of functions) {\r\n    const fnName = fn.name;\r\n\r\n    ts.forEachChild(fn.node, function visit(node) {\r\n      if (ts.isCallExpression(node)) {\r\n        const expression = node.expression;\r\n        const symbol = checker.getSymbolAtLocation(expression);\r\n\r\n        if (symbol) {\r\n          const name = symbol.getName();\r\n          if (graph.has(fnName)) {\r\n            graph.get(fnName)!.add(name);\r\n          }\r\n        }\r\n      }\r\n\r\n      ts.forEachChild(node, visit);\r\n    });\r\n  }\r\n\r\n  return graph;\r\n}\r\n","#!/usr/bin/env node\r\nimport { createTsProgram } from \"./analyzer/createProgram\";\r\nimport { collectFunctions } from \"./analyzer/collectFunctions\";\r\nimport { buildCallGraph } from \"./analyzer/buildCallGraph\";\r\n\r\nconst command = process.argv[2];\r\n\r\nif (command !== \"analyze\") {\r\n  console.log(\"Usage: callograph analyze\");\r\n  process.exit(1);\r\n}\r\n\r\nconst program = createTsProgram(\"tsconfig.json\");\r\nconst functions = collectFunctions(program);\r\nconst graph = buildCallGraph(program, functions);\r\n\r\nconsole.log(\"\\nCall Graph:\\n\");\r\n\r\nfor (const [fn, calls] of graph.entries()) {\r\n  for (const call of calls) {\r\n    console.log(`${fn} → ${call}`);\r\n  }\r\n}\r\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,wBAAe;AAER,SAAS,gBAAgB,cAAsB;AACpD,QAAM,aAAa,kBAAAA,QAAG,eAAe,cAAc,kBAAAA,QAAG,IAAI,QAAQ;AAElE,MAAI,WAAW,OAAO;AACpB,UAAM,IAAI;AAAA,MACR,kBAAAA,QAAG,6BAA6B,WAAW,MAAM,aAAa,IAAI;AAAA,IACpE;AAAA,EACF;AAEA,QAAM,eAAe,kBAAAA,QAAG;AAAA,IACtB,WAAW;AAAA,IACX,kBAAAA,QAAG;AAAA,IACH,QAAQ,IAAI;AAAA,EACd;AAEA,SAAO,kBAAAA,QAAG,cAAc;AAAA,IACtB,WAAW,aAAa;AAAA,IACxB,SAAS,aAAa;AAAA,EACxB,CAAC;AACH;;;ACrBA,IAAAC,qBAAe;AASf,SAAS,SAAS,MAAkC,IAA2B;AAC7E,QAAM,UAAU;AAGhB,MAAI,QAAQ,QAAQ,mBAAAC,QAAG,aAAa,QAAQ,IAAI,EAAG,QAAO,QAAQ,KAAK;AAGvE,MAAI,QAAQ,SAAS,mBAAAA,QAAG,gBAAgB,QAAQ,IAAI,KAAK,mBAAAA,QAAG,iBAAiB,QAAQ,IAAI,IAAI;AAC3F,WAAO,OAAO,QAAQ,KAAK,IAAI;AAAA,EACjC;AAGA,QAAM,IAAI,KAAK;AACf,MAAI,KAAK,mBAAAA,QAAG,sBAAsB,CAAC,KAAK,mBAAAA,QAAG,aAAa,EAAE,IAAI,EAAG,QAAO,EAAE,KAAK;AAG/E,MAAI,KAAK,mBAAAA,QAAG,mBAAmB,CAAC,KAAK,mBAAAA,QAAG,2BAA2B,EAAE,IAAI,GAAG;AAC1E,WAAO,EAAE,KAAK,KAAK;AAAA,EACrB;AAEA,QAAM,EAAE,MAAM,UAAU,IAAI,GAAG,8BAA8B,KAAK,SAAS,EAAE,CAAC;AAC9E,SAAO,cAAc,OAAO,CAAC,IAAI,YAAY,CAAC;AAChD;AAEO,SAAS,iBAAiBC,UAAqC;AACpE,QAAM,MAAsB,CAAC;AAE7B,aAAW,MAAMA,SAAQ,eAAe,GAAG;AACzC,QAAI,GAAG,kBAAmB;AAC1B,QAAI,GAAG,SAAS,SAAS,cAAc,EAAG;AAE1C,uBAAAD,QAAG,aAAa,IAAI,SAAS,MAAM,GAAG;AACpC,UACE,mBAAAA,QAAG,sBAAsB,CAAC,KAC1B,mBAAAA,QAAG,oBAAoB,CAAC,KACxB,mBAAAA,QAAG,gBAAgB,CAAC,KACpB,mBAAAA,QAAG,qBAAqB,CAAC,GACzB;AACA,cAAM,OAAO,SAAS,GAAG,EAAE;AAC3B,cAAM,KAAK,GAAG,GAAG,QAAQ,IAAI,EAAE,GAAG,IAAI,IAAI;AAC1C,YAAI,KAAK,EAAE,IAAI,MAAM,MAAM,GAAG,UAAU,MAAM,EAAE,CAAC;AAAA,MACnD;AACA,yBAAAA,QAAG,aAAa,GAAG,KAAK;AAAA,IAC1B,CAAC;AAAA,EACH;AAEA,SAAO;AACT;;;ACxDA,IAAAE,qBAAe;AAKR,SAAS,eACdC,UACAC,YACW;AACX,QAAM,UAAUD,SAAQ,eAAe;AACvC,QAAME,SAAmB,oBAAI,IAAI;AAEjC,QAAM,cAAc,oBAAI,IAAwC;AAEhE,aAAW,MAAMD,YAAW;AAC1B,gBAAY,IAAI,GAAG,MAAM,GAAG,IAAI;AAChC,IAAAC,OAAM,IAAI,GAAG,MAAM,oBAAI,IAAI,CAAC;AAAA,EAC9B;AAEA,aAAW,MAAMD,YAAW;AAC1B,UAAM,SAAS,GAAG;AAElB,uBAAAE,QAAG,aAAa,GAAG,MAAM,SAAS,MAAM,MAAM;AAC5C,UAAI,mBAAAA,QAAG,iBAAiB,IAAI,GAAG;AAC7B,cAAM,aAAa,KAAK;AACxB,cAAM,SAAS,QAAQ,oBAAoB,UAAU;AAErD,YAAI,QAAQ;AACV,gBAAM,OAAO,OAAO,QAAQ;AAC5B,cAAID,OAAM,IAAI,MAAM,GAAG;AACrB,YAAAA,OAAM,IAAI,MAAM,EAAG,IAAI,IAAI;AAAA,UAC7B;AAAA,QACF;AAAA,MACF;AAEA,yBAAAC,QAAG,aAAa,MAAM,KAAK;AAAA,IAC7B,CAAC;AAAA,EACH;AAEA,SAAOD;AACT;;;ACnCA,IAAM,UAAU,QAAQ,KAAK,CAAC;AAE9B,IAAI,YAAY,WAAW;AACzB,UAAQ,IAAI,2BAA2B;AACvC,UAAQ,KAAK,CAAC;AAChB;AAEA,IAAM,UAAU,gBAAgB,eAAe;AAC/C,IAAM,YAAY,iBAAiB,OAAO;AAC1C,IAAM,QAAQ,eAAe,SAAS,SAAS;AAE/C,QAAQ,IAAI,iBAAiB;AAE7B,WAAW,CAAC,IAAI,KAAK,KAAK,MAAM,QAAQ,GAAG;AACzC,aAAW,QAAQ,OAAO;AACxB,YAAQ,IAAI,GAAG,EAAE,WAAM,IAAI,EAAE;AAAA,EAC/B;AACF;","names":["ts","import_typescript","ts","program","import_typescript","program","functions","graph","ts"]}
+{"version":3,"sources":["../src/analyzer/createProgram.ts","../src/analyzer/collectFunctions.ts","../src/analyzer/buildCallGraph.ts","../src/analyzer/purity.ts","../src/analyzer/helpers/globals.ts","../src/analyzer/helpers/ast.ts","../src/analyzer/helpers/async.ts","../src/analyzer/propagateImpurity.ts","../src/cli.ts"],"sourcesContent":["import ts from \"typescript\";\r\n\r\nexport function createTsProgram(tsconfigPath: string) {\r\n  const configFile = ts.readConfigFile(tsconfigPath, ts.sys.readFile);\r\n\r\n  if (configFile.error) {\r\n    throw new Error(\r\n      ts.flattenDiagnosticMessageText(configFile.error.messageText, \"\\n\")\r\n    );\r\n  }\r\n\r\n  const parsedConfig = ts.parseJsonConfigFileContent(\r\n    configFile.config,\r\n    ts.sys,\r\n    process.cwd()\r\n  );\r\n\r\n  return ts.createProgram({\r\n    rootNames: parsedConfig.fileNames,\r\n    options: parsedConfig.options,\r\n  });\r\n}\r\n","import ts from \"typescript\";\r\nimport { FunctionNode } from \"../../libs/types\";\r\n\r\nfunction safeName(node: ts.FunctionLikeDeclaration, sf: ts.SourceFile): string {\r\n  const anyNode = node as any;\r\n\r\n  // Named declarations / methods: function foo() {} / class X { foo() {} }\r\n  if (anyNode.name && ts.isIdentifier(anyNode.name)) return anyNode.name.text;\r\n\r\n  // Methods with string/numeric names: class X { \"foo\"() {} }\r\n  if (\r\n    anyNode.name &&\r\n    (ts.isStringLiteral(anyNode.name) || ts.isNumericLiteral(anyNode.name))\r\n  ) {\r\n    return String(anyNode.name.text);\r\n  }\r\n\r\n  // const foo = () => {} / const foo = function() {}\r\n  const p = node.parent;\r\n  if (p && ts.isVariableDeclaration(p) && ts.isIdentifier(p.name)) return p.name.text;\r\n\r\n  // obj.foo = function() {}\r\n  if (p && ts.isBinaryExpression(p) && ts.isPropertyAccessExpression(p.left)) {\r\n    return p.left.name.text;\r\n  }\r\n\r\n  const { line, character } = sf.getLineAndCharacterOfPosition(node.getStart(sf));\r\n  return `<anonymous@${line + 1}:${character + 1}>`;\r\n}\r\n\r\nexport function collectFunctions(program: ts.Program): FunctionNode[] {\r\n  const out: FunctionNode[] = [];\r\n\r\n  for (const sf of program.getSourceFiles()) {\r\n    if (sf.isDeclarationFile) continue;\r\n    if (sf.fileName.includes(\"node_modules\")) continue;\r\n\r\n    ts.forEachChild(sf, function visit(n) {\r\n      const isNamedFunctionDecl = ts.isFunctionDeclaration(n) && !!n.name;\r\n      const isMethod = ts.isMethodDeclaration(n);\r\n\r\n      const p = n.parent; //guard parent\r\n      const isVarAssigned =\r\n        (ts.isArrowFunction(n) || ts.isFunctionExpression(n)) &&\r\n        !!p &&\r\n        ts.isVariableDeclaration(p) &&\r\n        ts.isIdentifier(p.name);\r\n\r\n      if (isNamedFunctionDecl || isMethod || isVarAssigned) {\r\n        const name = safeName(n, sf);\r\n        const id = `${sf.fileName}:${n.pos}:${name}`;\r\n        out.push({ id, name, file: sf.fileName, node: n });\r\n      }\r\n\r\n      ts.forEachChild(n, visit);\r\n    });\r\n  }\r\n\r\n  return out;\r\n}\r\n","import ts from \"typescript\";\r\nimport { FunctionNode } from \"../../libs/types\";\r\n\r\n// callerId -> calleeIds\r\nexport type CallGraph = Map<string, Set<string>>;\r\n\r\nfunction isProjectFile(fileName: string) {\r\n  return !fileName.includes(\"node_modules\") && !fileName.endsWith(\".d.ts\");\r\n}\r\n\r\nexport function buildCallGraph(\r\n  program: ts.Program,\r\n  functions: FunctionNode[]\r\n): CallGraph {\r\n\r\n  const checker = program.getTypeChecker();\r\n  const graph: CallGraph = new Map();\r\n\r\n  const declToId = new Map<ts.Declaration, string>();\r\n\r\n  for (const fn of functions) {\r\n    graph.set(fn.id, new Set());\r\n    declToId.set(fn.node, fn.id);\r\n  }\r\n\r\n  for (const fn of functions) {\r\n    const callerId = fn.id;\r\n\r\n    function visit(node: ts.Node) {\r\n      if (ts.isCallExpression(node)) {\r\n        const sig = checker.getResolvedSignature(node);\r\n        const decl = sig?.getDeclaration();\r\n\r\n        if (\r\n          decl &&\r\n          isProjectFile(decl.getSourceFile().fileName)\r\n        ) {\r\n          const calleeId = declToId.get(decl as ts.Declaration);\r\n\r\n          if (calleeId) {\r\n            graph.get(callerId)!.add(calleeId);\r\n          }\r\n        }\r\n      }\r\n\r\n      ts.forEachChild(node, visit);\r\n    }\r\n\r\n    visit(fn.node);\r\n  }\r\n\r\n  return graph;\r\n}\r\n","import ts from \"typescript\";\r\nimport { FunctionNode, PurityResult } from \"../../libs/types\";\r\nimport { GLOBAL_OBJECTS, MUTATING_ARRAY_METHODS } from \"./helpers/globals\";\r\nimport { isInside, rootIdentifier, isWriteOperator } from \"./helpers/ast\";\r\nimport {\r\n  isPromiseLike,\r\n  isAwaited,\r\n  isReturned,\r\n  isHandledWithThen,\r\n  isAsyncForEach,\r\n  isAsyncEventListener,\r\n  isPromiseAll,\r\n} from \"./helpers/async\";\r\n\r\nexport function analyzePurity(\r\n  program: ts.Program,\r\n  functions: FunctionNode[]\r\n): PurityResult[] {\r\n  const checker = program.getTypeChecker();\r\n  const results: PurityResult[] = [];\r\n\r\n  for (const fn of functions) {\r\n    const sf = fn.node.getSourceFile();\r\n    const { line, character } = sf.getLineAndCharacterOfPosition(\r\n      fn.node.getStart(sf)\r\n    );\r\n\r\n    const reasons: string[] = [];\r\n    const paramNames = new Set<string>();\r\n\r\n    for (const p of fn.node.parameters) {\r\n      if (ts.isIdentifier(p.name)) paramNames.add(p.name.text);\r\n    }\r\n\r\n    const mark = (reason: string) => {\r\n      if (!reasons.includes(reason)) reasons.push(reason);\r\n    };\r\n\r\n    let containsAwait = false;\r\n    let hasTryCatch = false;\r\n\r\n    const isAsyncFunction =\r\n      fn.node.modifiers?.some(m => m.kind === ts.SyntaxKind.AsyncKeyword) ?? false;\r\n\r\n    function visit(node: ts.Node): void {\r\n      /* ---------------------------\r\n         WRITE DETECTION\r\n      ----------------------------*/\r\n      if (ts.isBinaryExpression(node) && isWriteOperator(node.operatorToken.kind)) {\r\n        const left = node.left as ts.Expression;\r\n        const root = rootIdentifier(left);\r\n\r\n        if (root && paramNames.has(root.text)) {\r\n          mark(`Mutates parameter \\`${root.text}\\``);\r\n        }\r\n\r\n        if (ts.isIdentifier(left)) {\r\n          const sym = checker.getSymbolAtLocation(left);\r\n          const decls = sym?.getDeclarations() ?? [];\r\n          const declaredInside = decls.some(d => isInside(d, fn.node));\r\n          if (sym && decls.length > 0 && !declaredInside) {\r\n            mark(`Writes to outer scope \\`${left.text}\\``);\r\n          }\r\n        }\r\n\r\n        if (\r\n          ts.isPropertyAccessExpression(left) &&\r\n          left.expression.kind === ts.SyntaxKind.ThisKeyword\r\n        ) {\r\n          mark(`Mutates \\`this.${left.name.text}\\``);\r\n        }\r\n      }\r\n\r\n      /* ---------------------------\r\n         ARRAY PARAM MUTATION\r\n      ----------------------------*/\r\n      if (ts.isCallExpression(node) && ts.isPropertyAccessExpression(node.expression)) {\r\n        const method = node.expression.name.text;\r\n        const root = rootIdentifier(node.expression.expression);\r\n\r\n        if (root && paramNames.has(root.text) && MUTATING_ARRAY_METHODS.has(method)) {\r\n          mark(`Mutates parameter \\`${root.text}\\` via \\`${method}()\\``);\r\n        }\r\n      }\r\n\r\n      /* ---------------------------\r\n         GLOBAL ACCESS\r\n      ----------------------------*/\r\n      if (ts.isIdentifier(node)) {\r\n        const sym = checker.getSymbolAtLocation(node);\r\n        if (sym && GLOBAL_OBJECTS.has(sym.getName())) {\r\n          mark(`Accesses global \\`${sym.getName()}\\``);\r\n        }\r\n      }\r\n\r\n      if (ts.isPropertyAccessExpression(node)) {\r\n        const root = rootIdentifier(node.expression);\r\n\r\n        if (root?.text === \"process\" && node.name.text === \"env\") {\r\n          mark(\"Accesses `process.env` (non-deterministic)\");\r\n        }\r\n\r\n        if (root?.text === \"console\") {\r\n          mark(\"Writes to console\");\r\n        }\r\n      }\r\n\r\n      /* ---------------------------\r\n         CALL EXPRESSIONS\r\n      ----------------------------*/\r\n      if (ts.isCallExpression(node)) {\r\n        const type = checker.getTypeAtLocation(node);\r\n        const expr = node.expression;\r\n\r\n        // Non-deterministic\r\n        if (\r\n          ts.isPropertyAccessExpression(expr) &&\r\n          ts.isIdentifier(expr.expression) &&\r\n          expr.expression.text === \"Date\" &&\r\n          expr.name.text === \"now\"\r\n        ) {\r\n          mark(\"Calls Date.now() (non-deterministic)\");\r\n        }\r\n\r\n        if (\r\n          ts.isPropertyAccessExpression(expr) &&\r\n          ts.isIdentifier(expr.expression) &&\r\n          expr.expression.text === \"Math\" &&\r\n          expr.name.text === \"random\"\r\n        ) {\r\n          mark(\"Calls Math.random() (non-deterministic)\");\r\n        }\r\n\r\n        // Async rules\r\n        if (isPromiseLike(type, checker)) {\r\n          if (!isAwaited(node) && !isReturned(node) && !isHandledWithThen(node)) {\r\n            mark(\"Floating Promise (result ignored)\");\r\n          }\r\n        }\r\n\r\n        if (isPromiseAll(node) && !isAwaited(node) && !isReturned(node)) {\r\n          mark(\"Unawaited Promise.all()\");\r\n        }\r\n\r\n        if (isAsyncForEach(node)) {\r\n          mark(\"Async callback inside forEach (not awaited)\");\r\n        }\r\n\r\n        if (isAsyncEventListener(node)) {\r\n          mark(\"Async event listener without error boundary\");\r\n        }\r\n      }\r\n\r\n      /* ---------------------------\r\n         NEW EXPRESSIONS\r\n      ----------------------------*/\r\n      if (ts.isNewExpression(node)) {\r\n        if (ts.isIdentifier(node.expression) && node.expression.text === \"Date\") {\r\n          mark(\"Instantiates Date (non-deterministic)\");\r\n        }\r\n      }\r\n\r\n      /* ---------------------------\r\n         AWAIT + ERROR HANDLING\r\n      ----------------------------*/\r\n      if (ts.isAwaitExpression(node)) {\r\n        containsAwait = true;\r\n      }\r\n\r\n      if (ts.isTryStatement(node) && node.catchClause) {\r\n        hasTryCatch = true;\r\n      }\r\n\r\n      if (ts.isCatchClause(node) && node.block.statements.length === 0) {\r\n        mark(\"Empty catch block (error swallowed)\");\r\n      }\r\n\r\n      ts.forEachChild(node, visit);\r\n    }\r\n\r\n    visit(fn.node);\r\n\r\n    if (isAsyncFunction && !containsAwait) {\r\n      mark(\"Async function without await\");\r\n    }\r\n\r\n    if (isAsyncFunction && containsAwait && !hasTryCatch) {\r\n      mark(\"Async function without error handling (no try/catch)\");\r\n    }\r\n\r\n    results.push({\r\n      id: fn.id,\r\n      name: fn.name,\r\n      file: fn.file,\r\n      line: line + 1,\r\n      character: character + 1,\r\n      isPure: reasons.length === 0,\r\n      reasons,\r\n    });\r\n  }\r\n\r\n  return results;\r\n}\r\n","export const GLOBAL_OBJECTS = new Set([\r\n  \"window\",\r\n  \"document\",\r\n  \"global\",\r\n  \"process\",\r\n  \"localStorage\",\r\n  \"sessionStorage\",\r\n]);\r\n\r\nexport const MUTATING_ARRAY_METHODS = new Set([\r\n  \"push\",\r\n  \"pop\",\r\n  \"splice\",\r\n  \"shift\",\r\n  \"unshift\",\r\n  \"sort\",\r\n  \"reverse\",\r\n  \"copyWithin\",\r\n  \"fill\",\r\n]);\r\n","import ts from \"typescript\";\r\n\r\nexport function isInside(node: ts.Node, container: ts.Node) {\r\n  return node.pos >= container.pos && node.end <= container.end;\r\n}\r\n\r\nexport function rootIdentifier(expr: ts.Expression): ts.Identifier | null {\r\n  if (ts.isIdentifier(expr)) return expr;\r\n  if (ts.isPropertyAccessExpression(expr)) return rootIdentifier(expr.expression);\r\n  if (ts.isElementAccessExpression(expr)) return rootIdentifier(expr.expression);\r\n  if (ts.isParenthesizedExpression(expr)) return rootIdentifier(expr.expression);\r\n  return null;\r\n}\r\n\r\nexport function isWriteOperator(kind: ts.SyntaxKind) {\r\n  return (\r\n    kind === ts.SyntaxKind.EqualsToken ||\r\n    kind === ts.SyntaxKind.PlusEqualsToken ||\r\n    kind === ts.SyntaxKind.MinusEqualsToken ||\r\n    kind === ts.SyntaxKind.AsteriskEqualsToken ||\r\n    kind === ts.SyntaxKind.SlashEqualsToken ||\r\n    kind === ts.SyntaxKind.PercentEqualsToken ||\r\n    kind === ts.SyntaxKind.AmpersandEqualsToken ||\r\n    kind === ts.SyntaxKind.BarEqualsToken ||\r\n    kind === ts.SyntaxKind.CaretEqualsToken ||\r\n    kind === ts.SyntaxKind.LessThanLessThanEqualsToken ||\r\n    kind === ts.SyntaxKind.GreaterThanGreaterThanEqualsToken ||\r\n    kind === ts.SyntaxKind.GreaterThanGreaterThanGreaterThanEqualsToken\r\n  );\r\n}\r\n","import ts from \"typescript\";\r\n\r\nexport function isPromiseLike(type: ts.Type, checker: ts.TypeChecker): boolean {\r\n  if (!type) return false;\r\n\r\n  const thenProp = type.getProperty(\"then\");\r\n  if (!thenProp) return false;\r\n\r\n  const decl = thenProp.valueDeclaration ?? thenProp.declarations?.[0];\r\n  if (!decl) return false;\r\n\r\n  const thenType = checker.getTypeOfSymbolAtLocation(thenProp, decl);\r\n  return thenType.getCallSignatures().length > 0;\r\n}\r\n\r\nexport function isAwaited(node: ts.CallExpression) {\r\n  return ts.isAwaitExpression(node.parent);\r\n}\r\n\r\nexport function isReturned(node: ts.CallExpression) {\r\n  return ts.isReturnStatement(node.parent);\r\n}\r\n\r\nexport function isHandledWithThen(node: ts.CallExpression) {\r\n  if (!ts.isPropertyAccessExpression(node.parent)) return false;\r\n  const name = node.parent.name.text;\r\n  return name === \"then\" || name === \"catch\" || name === \"finally\";\r\n}\r\n\r\nexport function isAsyncForEach(node: ts.CallExpression): boolean {\r\n  if (!ts.isPropertyAccessExpression(node.expression)) return false;\r\n  if (node.expression.name.text !== \"forEach\") return false;\r\n\r\n  const cb = node.arguments[0];\r\n  if (!cb) return false;\r\n\r\n  if (ts.isArrowFunction(cb) || ts.isFunctionExpression(cb)) {\r\n    return cb.modifiers?.some(m => m.kind === ts.SyntaxKind.AsyncKeyword) ?? false;\r\n  }\r\n\r\n  return false;\r\n}\r\n\r\nexport function isAsyncEventListener(node: ts.CallExpression): boolean {\r\n  if (!ts.isPropertyAccessExpression(node.expression)) return false;\r\n  if (node.expression.name.text !== \"addEventListener\") return false;\r\n\r\n  const cb = node.arguments[1];\r\n  if (!cb) return false;\r\n\r\n  if (ts.isArrowFunction(cb) || ts.isFunctionExpression(cb)) {\r\n    return cb.modifiers?.some(m => m.kind === ts.SyntaxKind.AsyncKeyword) ?? false;\r\n  }\r\n\r\n  return false;\r\n}\r\n\r\nexport function isPromiseAll(node: ts.CallExpression): boolean {\r\n  return (\r\n    ts.isPropertyAccessExpression(node.expression) &&\r\n    ts.isIdentifier(node.expression.expression) &&\r\n    node.expression.expression.text === \"Promise\" &&\r\n    node.expression.name.text === \"all\"\r\n  );\r\n}\r\n","import { CallGraph } from \"./buildCallGraph\";\r\nimport { PurityResult } from \"../../libs/types\";\r\n\r\nexport function propagateImpurity(\r\n  graph: CallGraph,\r\n  purity: PurityResult[]\r\n): PurityResult[] {\r\n\r\n  // Map functionId -> PurityResult\r\n  const resultMap = new Map<string, PurityResult>();\r\n  for (const r of purity) {\r\n    resultMap.set(r.id, r);\r\n  }\r\n\r\n  // Build reverse graph: calleeId -> Set<callerId>\r\n  const reverse = new Map<string, Set<string>>();\r\n\r\n  for (const [callerId, calleeIds] of graph.entries()) {\r\n    for (const calleeId of calleeIds) {\r\n      if (!reverse.has(calleeId)) {\r\n        reverse.set(calleeId, new Set());\r\n      }\r\n      reverse.get(calleeId)!.add(callerId);\r\n    }\r\n  }\r\n\r\n  // BFS propagation\r\n  const queue: string[] = [];\r\n\r\n  // Seed with initially impure functions\r\n  for (const r of purity) {\r\n    if (!r.isPure) {\r\n      queue.push(r.id);\r\n    }\r\n  }\r\n\r\n  while (queue.length > 0) {\r\n    const impureId = queue.shift()!;\r\n    const callers = reverse.get(impureId);\r\n    if (!callers) continue;\r\n\r\n    for (const callerId of callers) {\r\n      const caller = resultMap.get(callerId);\r\n      if (!caller) continue;\r\n\r\n      if (caller.isPure) {\r\n        caller.isPure = false;\r\n        caller.reasons.push(`Calls impure function`);\r\n        queue.push(callerId);\r\n      }\r\n    }\r\n  }\r\n\r\n  return Array.from(resultMap.values());\r\n}\r\n","import { createTsProgram } from \"./analyzer/createProgram\";\r\nimport { collectFunctions } from \"./analyzer/collectFunctions\";\r\nimport { buildCallGraph } from \"./analyzer/buildCallGraph\";\r\nimport { analyzePurity } from \"./analyzer/purity\";\r\nimport { propagateImpurity } from \"./analyzer/propagateImpurity\";\r\n\r\nconst command = process.argv[2];\r\n\r\nif (command !== \"analyze\") {\r\n  console.log(\"Usage: callograph analyze\");\r\n  process.exit(1);\r\n}\r\n\r\nconst program = createTsProgram(\"tsconfig.json\");\r\nconst functions = collectFunctions(program);\r\nconst graph = buildCallGraph(program, functions);\r\n\r\nlet purity = analyzePurity(program, functions);\r\npurity = propagateImpurity(graph, purity);\r\n\r\n/* ------------------------------\r\n   CALL GRAPH\r\n--------------------------------*/\r\nconsole.log(\"\\nCall Graph:\\n\");\r\n\r\nlet edgeCount = 0;\r\n\r\nfor (const [callerId, callees] of graph.entries()) {\r\n  const caller = functions.find(f => f.id === callerId);\r\n  const callerName = caller ? caller.name : callerId;\r\n\r\n  for (const calleeId of callees) {\r\n    const callee = functions.find(f => f.id === calleeId);\r\n    const calleeName = callee ? callee.name : calleeId;\r\n\r\n    console.log(`${callerName} → ${calleeName}`);\r\n    edgeCount++;\r\n  }\r\n}\r\n\r\nif (edgeCount === 0) {\r\n  console.log(\"(no project-level call edges found)\");\r\n}\r\n\r\nconsole.log(`\\nTotal call edges: ${edgeCount}`);\r\n\r\n/* ------------------------------\r\n   PURITY REPORT\r\n--------------------------------*/\r\nconsole.log(\"\\nPurity Report:\\n\");\r\n\r\nconst impure = purity.filter(r => !r.isPure);\r\n\r\nif (impure.length === 0) {\r\n  console.log(\"All analyzed functions are pure.\");\r\n} else {\r\n  for (const r of impure) {\r\n    console.log(`${r.file}:${r.line}:${r.character}`);\r\n    console.log(`Function: ${r.name}`);\r\n    console.log(`Status: X Impure`);\r\n    console.log(\"Reasons:\");\r\n    for (const reason of r.reasons) {\r\n      console.log(`  - ${reason}`);\r\n    }\r\n    console.log(\"\");\r\n  }\r\n}\r\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;AAAA,wBAAe;AAER,SAAS,gBAAgB,cAAsB;AACpD,QAAM,aAAa,kBAAAA,QAAG,eAAe,cAAc,kBAAAA,QAAG,IAAI,QAAQ;AAElE,MAAI,WAAW,OAAO;AACpB,UAAM,IAAI;AAAA,MACR,kBAAAA,QAAG,6BAA6B,WAAW,MAAM,aAAa,IAAI;AAAA,IACpE;AAAA,EACF;AAEA,QAAM,eAAe,kBAAAA,QAAG;AAAA,IACtB,WAAW;AAAA,IACX,kBAAAA,QAAG;AAAA,IACH,QAAQ,IAAI;AAAA,EACd;AAEA,SAAO,kBAAAA,QAAG,cAAc;AAAA,IACtB,WAAW,aAAa;AAAA,IACxB,SAAS,aAAa;AAAA,EACxB,CAAC;AACH;;;ACrBA,IAAAC,qBAAe;AAGf,SAAS,SAAS,MAAkC,IAA2B;AAC7E,QAAM,UAAU;AAGhB,MAAI,QAAQ,QAAQ,mBAAAC,QAAG,aAAa,QAAQ,IAAI,EAAG,QAAO,QAAQ,KAAK;AAGvE,MACE,QAAQ,SACP,mBAAAA,QAAG,gBAAgB,QAAQ,IAAI,KAAK,mBAAAA,QAAG,iBAAiB,QAAQ,IAAI,IACrE;AACA,WAAO,OAAO,QAAQ,KAAK,IAAI;AAAA,EACjC;AAGA,QAAM,IAAI,KAAK;AACf,MAAI,KAAK,mBAAAA,QAAG,sBAAsB,CAAC,KAAK,mBAAAA,QAAG,aAAa,EAAE,IAAI,EAAG,QAAO,EAAE,KAAK;AAG/E,MAAI,KAAK,mBAAAA,QAAG,mBAAmB,CAAC,KAAK,mBAAAA,QAAG,2BAA2B,EAAE,IAAI,GAAG;AAC1E,WAAO,EAAE,KAAK,KAAK;AAAA,EACrB;AAEA,QAAM,EAAE,MAAM,UAAU,IAAI,GAAG,8BAA8B,KAAK,SAAS,EAAE,CAAC;AAC9E,SAAO,cAAc,OAAO,CAAC,IAAI,YAAY,CAAC;AAChD;AAEO,SAAS,iBAAiBC,UAAqC;AACpE,QAAM,MAAsB,CAAC;AAE7B,aAAW,MAAMA,SAAQ,eAAe,GAAG;AACzC,QAAI,GAAG,kBAAmB;AAC1B,QAAI,GAAG,SAAS,SAAS,cAAc,EAAG;AAE1C,uBAAAD,QAAG,aAAa,IAAI,SAAS,MAAM,GAAG;AACpC,YAAM,sBAAsB,mBAAAA,QAAG,sBAAsB,CAAC,KAAK,CAAC,CAAC,EAAE;AAC/D,YAAM,WAAW,mBAAAA,QAAG,oBAAoB,CAAC;AAEzC,YAAM,IAAI,EAAE;AACZ,YAAM,iBACH,mBAAAA,QAAG,gBAAgB,CAAC,KAAK,mBAAAA,QAAG,qBAAqB,CAAC,MACnD,CAAC,CAAC,KACF,mBAAAA,QAAG,sBAAsB,CAAC,KAC1B,mBAAAA,QAAG,aAAa,EAAE,IAAI;AAExB,UAAI,uBAAuB,YAAY,eAAe;AACpD,cAAM,OAAO,SAAS,GAAG,EAAE;AAC3B,cAAM,KAAK,GAAG,GAAG,QAAQ,IAAI,EAAE,GAAG,IAAI,IAAI;AAC1C,YAAI,KAAK,EAAE,IAAI,MAAM,MAAM,GAAG,UAAU,MAAM,EAAE,CAAC;AAAA,MACnD;AAEA,yBAAAA,QAAG,aAAa,GAAG,KAAK;AAAA,IAC1B,CAAC;AAAA,EACH;AAEA,SAAO;AACT;;;AC3DA,IAAAE,qBAAe;AAMf,SAAS,cAAc,UAAkB;AACvC,SAAO,CAAC,SAAS,SAAS,cAAc,KAAK,CAAC,SAAS,SAAS,OAAO;AACzE;AAEO,SAAS,eACdC,UACAC,YACW;AAEX,QAAM,UAAUD,SAAQ,eAAe;AACvC,QAAME,SAAmB,oBAAI,IAAI;AAEjC,QAAM,WAAW,oBAAI,IAA4B;AAEjD,aAAW,MAAMD,YAAW;AAC1B,IAAAC,OAAM,IAAI,GAAG,IAAI,oBAAI,IAAI,CAAC;AAC1B,aAAS,IAAI,GAAG,MAAM,GAAG,EAAE;AAAA,EAC7B;AAEA,aAAW,MAAMD,YAAW;AAG1B,QAASE,SAAT,SAAe,MAAe;AAC5B,UAAI,mBAAAC,QAAG,iBAAiB,IAAI,GAAG;AAC7B,cAAM,MAAM,QAAQ,qBAAqB,IAAI;AAC7C,cAAM,OAAO,KAAK,eAAe;AAEjC,YACE,QACA,cAAc,KAAK,cAAc,EAAE,QAAQ,GAC3C;AACA,gBAAM,WAAW,SAAS,IAAI,IAAsB;AAEpD,cAAI,UAAU;AACZ,YAAAF,OAAM,IAAI,QAAQ,EAAG,IAAI,QAAQ;AAAA,UACnC;AAAA,QACF;AAAA,MACF;AAEA,yBAAAE,QAAG,aAAa,MAAMD,MAAK;AAAA,IAC7B;AAlBS,gBAAAA;AAFT,UAAM,WAAW,GAAG;AAsBpB,IAAAA,OAAM,GAAG,IAAI;AAAA,EACf;AAEA,SAAOD;AACT;;;ACpDA,IAAAG,qBAAe;;;ACAR,IAAM,iBAAiB,oBAAI,IAAI;AAAA,EACpC;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AACF,CAAC;AAEM,IAAM,yBAAyB,oBAAI,IAAI;AAAA,EAC5C;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AACF,CAAC;;;ACnBD,IAAAC,qBAAe;AAER,SAAS,SAAS,MAAe,WAAoB;AAC1D,SAAO,KAAK,OAAO,UAAU,OAAO,KAAK,OAAO,UAAU;AAC5D;AAEO,SAAS,eAAe,MAA2C;AACxE,MAAI,mBAAAC,QAAG,aAAa,IAAI,EAAG,QAAO;AAClC,MAAI,mBAAAA,QAAG,2BAA2B,IAAI,EAAG,QAAO,eAAe,KAAK,UAAU;AAC9E,MAAI,mBAAAA,QAAG,0BAA0B,IAAI,EAAG,QAAO,eAAe,KAAK,UAAU;AAC7E,MAAI,mBAAAA,QAAG,0BAA0B,IAAI,EAAG,QAAO,eAAe,KAAK,UAAU;AAC7E,SAAO;AACT;AAEO,SAAS,gBAAgB,MAAqB;AACnD,SACE,SAAS,mBAAAA,QAAG,WAAW,eACvB,SAAS,mBAAAA,QAAG,WAAW,mBACvB,SAAS,mBAAAA,QAAG,WAAW,oBACvB,SAAS,mBAAAA,QAAG,WAAW,uBACvB,SAAS,mBAAAA,QAAG,WAAW,oBACvB,SAAS,mBAAAA,QAAG,WAAW,sBACvB,SAAS,mBAAAA,QAAG,WAAW,wBACvB,SAAS,mBAAAA,QAAG,WAAW,kBACvB,SAAS,mBAAAA,QAAG,WAAW,oBACvB,SAAS,mBAAAA,QAAG,WAAW,+BACvB,SAAS,mBAAAA,QAAG,WAAW,qCACvB,SAAS,mBAAAA,QAAG,WAAW;AAE3B;;;AC7BA,IAAAC,qBAAe;AAER,SAAS,cAAc,MAAe,SAAkC;AAC7E,MAAI,CAAC,KAAM,QAAO;AAElB,QAAM,WAAW,KAAK,YAAY,MAAM;AACxC,MAAI,CAAC,SAAU,QAAO;AAEtB,QAAM,OAAO,SAAS,oBAAoB,SAAS,eAAe,CAAC;AACnE,MAAI,CAAC,KAAM,QAAO;AAElB,QAAM,WAAW,QAAQ,0BAA0B,UAAU,IAAI;AACjE,SAAO,SAAS,kBAAkB,EAAE,SAAS;AAC/C;AAEO,SAAS,UAAU,MAAyB;AACjD,SAAO,mBAAAC,QAAG,kBAAkB,KAAK,MAAM;AACzC;AAEO,SAAS,WAAW,MAAyB;AAClD,SAAO,mBAAAA,QAAG,kBAAkB,KAAK,MAAM;AACzC;AAEO,SAAS,kBAAkB,MAAyB;AACzD,MAAI,CAAC,mBAAAA,QAAG,2BAA2B,KAAK,MAAM,EAAG,QAAO;AACxD,QAAM,OAAO,KAAK,OAAO,KAAK;AAC9B,SAAO,SAAS,UAAU,SAAS,WAAW,SAAS;AACzD;AAEO,SAAS,eAAe,MAAkC;AAC/D,MAAI,CAAC,mBAAAA,QAAG,2BAA2B,KAAK,UAAU,EAAG,QAAO;AAC5D,MAAI,KAAK,WAAW,KAAK,SAAS,UAAW,QAAO;AAEpD,QAAM,KAAK,KAAK,UAAU,CAAC;AAC3B,MAAI,CAAC,GAAI,QAAO;AAEhB,MAAI,mBAAAA,QAAG,gBAAgB,EAAE,KAAK,mBAAAA,QAAG,qBAAqB,EAAE,GAAG;AACzD,WAAO,GAAG,WAAW,KAAK,OAAK,EAAE,SAAS,mBAAAA,QAAG,WAAW,YAAY,KAAK;AAAA,EAC3E;AAEA,SAAO;AACT;AAEO,SAAS,qBAAqB,MAAkC;AACrE,MAAI,CAAC,mBAAAA,QAAG,2BAA2B,KAAK,UAAU,EAAG,QAAO;AAC5D,MAAI,KAAK,WAAW,KAAK,SAAS,mBAAoB,QAAO;AAE7D,QAAM,KAAK,KAAK,UAAU,CAAC;AAC3B,MAAI,CAAC,GAAI,QAAO;AAEhB,MAAI,mBAAAA,QAAG,gBAAgB,EAAE,KAAK,mBAAAA,QAAG,qBAAqB,EAAE,GAAG;AACzD,WAAO,GAAG,WAAW,KAAK,OAAK,EAAE,SAAS,mBAAAA,QAAG,WAAW,YAAY,KAAK;AAAA,EAC3E;AAEA,SAAO;AACT;AAEO,SAAS,aAAa,MAAkC;AAC7D,SACE,mBAAAA,QAAG,2BAA2B,KAAK,UAAU,KAC7C,mBAAAA,QAAG,aAAa,KAAK,WAAW,UAAU,KAC1C,KAAK,WAAW,WAAW,SAAS,aACpC,KAAK,WAAW,KAAK,SAAS;AAElC;;;AHlDO,SAAS,cACdC,UACAC,YACgB;AAChB,QAAM,UAAUD,SAAQ,eAAe;AACvC,QAAM,UAA0B,CAAC;AAEjC,aAAW,MAAMC,YAAW;AAuB1B,QAASC,SAAT,SAAe,MAAqB;AAIlC,UAAI,mBAAAC,QAAG,mBAAmB,IAAI,KAAK,gBAAgB,KAAK,cAAc,IAAI,GAAG;AAC3E,cAAM,OAAO,KAAK;AAClB,cAAM,OAAO,eAAe,IAAI;AAEhC,YAAI,QAAQ,WAAW,IAAI,KAAK,IAAI,GAAG;AACrC,eAAK,uBAAuB,KAAK,IAAI,IAAI;AAAA,QAC3C;AAEA,YAAI,mBAAAA,QAAG,aAAa,IAAI,GAAG;AACzB,gBAAM,MAAM,QAAQ,oBAAoB,IAAI;AAC5C,gBAAM,QAAQ,KAAK,gBAAgB,KAAK,CAAC;AACzC,gBAAM,iBAAiB,MAAM,KAAK,OAAK,SAAS,GAAG,GAAG,IAAI,CAAC;AAC3D,cAAI,OAAO,MAAM,SAAS,KAAK,CAAC,gBAAgB;AAC9C,iBAAK,2BAA2B,KAAK,IAAI,IAAI;AAAA,UAC/C;AAAA,QACF;AAEA,YACE,mBAAAA,QAAG,2BAA2B,IAAI,KAClC,KAAK,WAAW,SAAS,mBAAAA,QAAG,WAAW,aACvC;AACA,eAAK,kBAAkB,KAAK,KAAK,IAAI,IAAI;AAAA,QAC3C;AAAA,MACF;AAKA,UAAI,mBAAAA,QAAG,iBAAiB,IAAI,KAAK,mBAAAA,QAAG,2BAA2B,KAAK,UAAU,GAAG;AAC/E,cAAM,SAAS,KAAK,WAAW,KAAK;AACpC,cAAM,OAAO,eAAe,KAAK,WAAW,UAAU;AAEtD,YAAI,QAAQ,WAAW,IAAI,KAAK,IAAI,KAAK,uBAAuB,IAAI,MAAM,GAAG;AAC3E,eAAK,uBAAuB,KAAK,IAAI,YAAY,MAAM,MAAM;AAAA,QAC/D;AAAA,MACF;AAKA,UAAI,mBAAAA,QAAG,aAAa,IAAI,GAAG;AACzB,cAAM,MAAM,QAAQ,oBAAoB,IAAI;AAC5C,YAAI,OAAO,eAAe,IAAI,IAAI,QAAQ,CAAC,GAAG;AAC5C,eAAK,qBAAqB,IAAI,QAAQ,CAAC,IAAI;AAAA,QAC7C;AAAA,MACF;AAEA,UAAI,mBAAAA,QAAG,2BAA2B,IAAI,GAAG;AACvC,cAAM,OAAO,eAAe,KAAK,UAAU;AAE3C,YAAI,MAAM,SAAS,aAAa,KAAK,KAAK,SAAS,OAAO;AACxD,eAAK,4CAA4C;AAAA,QACnD;AAEA,YAAI,MAAM,SAAS,WAAW;AAC5B,eAAK,mBAAmB;AAAA,QAC1B;AAAA,MACF;AAKA,UAAI,mBAAAA,QAAG,iBAAiB,IAAI,GAAG;AAC7B,cAAM,OAAO,QAAQ,kBAAkB,IAAI;AAC3C,cAAM,OAAO,KAAK;AAGlB,YACE,mBAAAA,QAAG,2BAA2B,IAAI,KAClC,mBAAAA,QAAG,aAAa,KAAK,UAAU,KAC/B,KAAK,WAAW,SAAS,UACzB,KAAK,KAAK,SAAS,OACnB;AACA,eAAK,sCAAsC;AAAA,QAC7C;AAEA,YACE,mBAAAA,QAAG,2BAA2B,IAAI,KAClC,mBAAAA,QAAG,aAAa,KAAK,UAAU,KAC/B,KAAK,WAAW,SAAS,UACzB,KAAK,KAAK,SAAS,UACnB;AACA,eAAK,yCAAyC;AAAA,QAChD;AAGA,YAAI,cAAc,MAAM,OAAO,GAAG;AAChC,cAAI,CAAC,UAAU,IAAI,KAAK,CAAC,WAAW,IAAI,KAAK,CAAC,kBAAkB,IAAI,GAAG;AACrE,iBAAK,mCAAmC;AAAA,UAC1C;AAAA,QACF;AAEA,YAAI,aAAa,IAAI,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,WAAW,IAAI,GAAG;AAC/D,eAAK,yBAAyB;AAAA,QAChC;AAEA,YAAI,eAAe,IAAI,GAAG;AACxB,eAAK,6CAA6C;AAAA,QACpD;AAEA,YAAI,qBAAqB,IAAI,GAAG;AAC9B,eAAK,6CAA6C;AAAA,QACpD;AAAA,MACF;AAKA,UAAI,mBAAAA,QAAG,gBAAgB,IAAI,GAAG;AAC5B,YAAI,mBAAAA,QAAG,aAAa,KAAK,UAAU,KAAK,KAAK,WAAW,SAAS,QAAQ;AACvE,eAAK,uCAAuC;AAAA,QAC9C;AAAA,MACF;AAKA,UAAI,mBAAAA,QAAG,kBAAkB,IAAI,GAAG;AAC9B,wBAAgB;AAAA,MAClB;AAEA,UAAI,mBAAAA,QAAG,eAAe,IAAI,KAAK,KAAK,aAAa;AAC/C,sBAAc;AAAA,MAChB;AAEA,UAAI,mBAAAA,QAAG,cAAc,IAAI,KAAK,KAAK,MAAM,WAAW,WAAW,GAAG;AAChE,aAAK,qCAAqC;AAAA,MAC5C;AAEA,yBAAAA,QAAG,aAAa,MAAMD,MAAK;AAAA,IAC7B;AAtIS,gBAAAA;AAtBT,UAAM,KAAK,GAAG,KAAK,cAAc;AACjC,UAAM,EAAE,MAAM,UAAU,IAAI,GAAG;AAAA,MAC7B,GAAG,KAAK,SAAS,EAAE;AAAA,IACrB;AAEA,UAAM,UAAoB,CAAC;AAC3B,UAAM,aAAa,oBAAI,IAAY;AAEnC,eAAW,KAAK,GAAG,KAAK,YAAY;AAClC,UAAI,mBAAAC,QAAG,aAAa,EAAE,IAAI,EAAG,YAAW,IAAI,EAAE,KAAK,IAAI;AAAA,IACzD;AAEA,UAAM,OAAO,CAAC,WAAmB;AAC/B,UAAI,CAAC,QAAQ,SAAS,MAAM,EAAG,SAAQ,KAAK,MAAM;AAAA,IACpD;AAEA,QAAI,gBAAgB;AACpB,QAAI,cAAc;AAElB,UAAM,kBACJ,GAAG,KAAK,WAAW,KAAK,OAAK,EAAE,SAAS,mBAAAA,QAAG,WAAW,YAAY,KAAK;AA0IzE,IAAAD,OAAM,GAAG,IAAI;AAEb,QAAI,mBAAmB,CAAC,eAAe;AACrC,WAAK,8BAA8B;AAAA,IACrC;AAEA,QAAI,mBAAmB,iBAAiB,CAAC,aAAa;AACpD,WAAK,sDAAsD;AAAA,IAC7D;AAEA,YAAQ,KAAK;AAAA,MACX,IAAI,GAAG;AAAA,MACP,MAAM,GAAG;AAAA,MACT,MAAM,GAAG;AAAA,MACT,MAAM,OAAO;AAAA,MACb,WAAW,YAAY;AAAA,MACvB,QAAQ,QAAQ,WAAW;AAAA,MAC3B;AAAA,IACF,CAAC;AAAA,EACH;AAEA,SAAO;AACT;;;AIvMO,SAAS,kBACdE,QACAC,SACgB;AAGhB,QAAM,YAAY,oBAAI,IAA0B;AAChD,aAAW,KAAKA,SAAQ;AACtB,cAAU,IAAI,EAAE,IAAI,CAAC;AAAA,EACvB;AAGA,QAAM,UAAU,oBAAI,IAAyB;AAE7C,aAAW,CAAC,UAAU,SAAS,KAAKD,OAAM,QAAQ,GAAG;AACnD,eAAW,YAAY,WAAW;AAChC,UAAI,CAAC,QAAQ,IAAI,QAAQ,GAAG;AAC1B,gBAAQ,IAAI,UAAU,oBAAI,IAAI,CAAC;AAAA,MACjC;AACA,cAAQ,IAAI,QAAQ,EAAG,IAAI,QAAQ;AAAA,IACrC;AAAA,EACF;AAGA,QAAM,QAAkB,CAAC;AAGzB,aAAW,KAAKC,SAAQ;AACtB,QAAI,CAAC,EAAE,QAAQ;AACb,YAAM,KAAK,EAAE,EAAE;AAAA,IACjB;AAAA,EACF;AAEA,SAAO,MAAM,SAAS,GAAG;AACvB,UAAM,WAAW,MAAM,MAAM;AAC7B,UAAM,UAAU,QAAQ,IAAI,QAAQ;AACpC,QAAI,CAAC,QAAS;AAEd,eAAW,YAAY,SAAS;AAC9B,YAAM,SAAS,UAAU,IAAI,QAAQ;AACrC,UAAI,CAAC,OAAQ;AAEb,UAAI,OAAO,QAAQ;AACjB,eAAO,SAAS;AAChB,eAAO,QAAQ,KAAK,uBAAuB;AAC3C,cAAM,KAAK,QAAQ;AAAA,MACrB;AAAA,IACF;AAAA,EACF;AAEA,SAAO,MAAM,KAAK,UAAU,OAAO,CAAC;AACtC;;;AChDA,IAAM,UAAU,QAAQ,KAAK,CAAC;AAE9B,IAAI,YAAY,WAAW;AACzB,UAAQ,IAAI,2BAA2B;AACvC,UAAQ,KAAK,CAAC;AAChB;AAEA,IAAM,UAAU,gBAAgB,eAAe;AAC/C,IAAM,YAAY,iBAAiB,OAAO;AAC1C,IAAM,QAAQ,eAAe,SAAS,SAAS;AAE/C,IAAI,SAAS,cAAc,SAAS,SAAS;AAC7C,SAAS,kBAAkB,OAAO,MAAM;AAKxC,QAAQ,IAAI,iBAAiB;AAE7B,IAAI,YAAY;AAEhB,WAAW,CAAC,UAAU,OAAO,KAAK,MAAM,QAAQ,GAAG;AACjD,QAAM,SAAS,UAAU,KAAK,OAAK,EAAE,OAAO,QAAQ;AACpD,QAAM,aAAa,SAAS,OAAO,OAAO;AAE1C,aAAW,YAAY,SAAS;AAC9B,UAAM,SAAS,UAAU,KAAK,OAAK,EAAE,OAAO,QAAQ;AACpD,UAAM,aAAa,SAAS,OAAO,OAAO;AAE1C,YAAQ,IAAI,GAAG,UAAU,WAAM,UAAU,EAAE;AAC3C;AAAA,EACF;AACF;AAEA,IAAI,cAAc,GAAG;AACnB,UAAQ,IAAI,qCAAqC;AACnD;AAEA,QAAQ,IAAI;AAAA,oBAAuB,SAAS,EAAE;AAK9C,QAAQ,IAAI,oBAAoB;AAEhC,IAAM,SAAS,OAAO,OAAO,OAAK,CAAC,EAAE,MAAM;AAE3C,IAAI,OAAO,WAAW,GAAG;AACvB,UAAQ,IAAI,kCAAkC;AAChD,OAAO;AACL,aAAW,KAAK,QAAQ;AACtB,YAAQ,IAAI,GAAG,EAAE,IAAI,IAAI,EAAE,IAAI,IAAI,EAAE,SAAS,EAAE;AAChD,YAAQ,IAAI,aAAa,EAAE,IAAI,EAAE;AACjC,YAAQ,IAAI,kBAAkB;AAC9B,YAAQ,IAAI,UAAU;AACtB,eAAW,UAAU,EAAE,SAAS;AAC9B,cAAQ,IAAI,OAAO,MAAM,EAAE;AAAA,IAC7B;AACA,YAAQ,IAAI,EAAE;AAAA,EAChB;AACF;","names":["ts","import_typescript","ts","program","import_typescript","program","functions","graph","visit","ts","import_typescript","import_typescript","ts","import_typescript","ts","program","functions","visit","ts","graph","purity"]}

package/dist/cli.d.cts

@@ -1 +1,2 @@
-#!/usr/bin/env node
+
+export {  }

package/dist/cli.d.ts

@@ -1 +1,2 @@
-#!/usr/bin/env node
+
+export {  }

package/dist/cli.js

@@ -1,5 +1,3 @@
-#!/usr/bin/env node
-
 // src/analyzer/createProgram.ts
 import ts from "typescript";
 function createTsProgram(tsconfigPath) {
@@ -42,7 +40,11 @@ function collectFunctions(program2) {
     if (sf.isDeclarationFile) continue;
     if (sf.fileName.includes("node_modules")) continue;
     ts2.forEachChild(sf, function visit(n) {
-      if (ts2.isFunctionDeclaration(n) || ts2.isMethodDeclaration(n) || ts2.isArrowFunction(n) || ts2.isFunctionExpression(n)) {
+      const isNamedFunctionDecl = ts2.isFunctionDeclaration(n) && !!n.name;
+      const isMethod = ts2.isMethodDeclaration(n);
+      const p = n.parent;
+      const isVarAssigned = (ts2.isArrowFunction(n) || ts2.isFunctionExpression(n)) && !!p && ts2.isVariableDeclaration(p) && ts2.isIdentifier(p.name);
+      if (isNamedFunctionDecl || isMethod || isVarAssigned) {
         const name = safeName(n, sf);
         const id = `${sf.fileName}:${n.pos}:${name}`;
         out.push({ id, name, file: sf.fileName, node: n });
@@ -55,33 +57,284 @@ function collectFunctions(program2) {
 
 // src/analyzer/buildCallGraph.ts
 import ts3 from "typescript";
+function isProjectFile(fileName) {
+  return !fileName.includes("node_modules") && !fileName.endsWith(".d.ts");
+}
 function buildCallGraph(program2, functions2) {
   const checker = program2.getTypeChecker();
   const graph2 = /* @__PURE__ */ new Map();
-  const functionMap = /* @__PURE__ */ new Map();
+  const declToId = /* @__PURE__ */ new Map();
   for (const fn of functions2) {
-    functionMap.set(fn.name, fn.node);
-    graph2.set(fn.name, /* @__PURE__ */ new Set());
+    graph2.set(fn.id, /* @__PURE__ */ new Set());
+    declToId.set(fn.node, fn.id);
   }
   for (const fn of functions2) {
-    const fnName = fn.name;
-    ts3.forEachChild(fn.node, function visit(node) {
+    let visit2 = function(node) {
       if (ts3.isCallExpression(node)) {
-        const expression = node.expression;
-        const symbol = checker.getSymbolAtLocation(expression);
-        if (symbol) {
-          const name = symbol.getName();
-          if (graph2.has(fnName)) {
-            graph2.get(fnName).add(name);
+        const sig = checker.getResolvedSignature(node);
+        const decl = sig?.getDeclaration();
+        if (decl && isProjectFile(decl.getSourceFile().fileName)) {
+          const calleeId = declToId.get(decl);
+          if (calleeId) {
+            graph2.get(callerId).add(calleeId);
           }
         }
       }
-      ts3.forEachChild(node, visit);
-    });
+      ts3.forEachChild(node, visit2);
+    };
+    var visit = visit2;
+    const callerId = fn.id;
+    visit2(fn.node);
   }
   return graph2;
 }
 
+// src/analyzer/purity.ts
+import ts6 from "typescript";
+
+// src/analyzer/helpers/globals.ts
+var GLOBAL_OBJECTS = /* @__PURE__ */ new Set([
+  "window",
+  "document",
+  "global",
+  "process",
+  "localStorage",
+  "sessionStorage"
+]);
+var MUTATING_ARRAY_METHODS = /* @__PURE__ */ new Set([
+  "push",
+  "pop",
+  "splice",
+  "shift",
+  "unshift",
+  "sort",
+  "reverse",
+  "copyWithin",
+  "fill"
+]);
+
+// src/analyzer/helpers/ast.ts
+import ts4 from "typescript";
+function isInside(node, container) {
+  return node.pos >= container.pos && node.end <= container.end;
+}
+function rootIdentifier(expr) {
+  if (ts4.isIdentifier(expr)) return expr;
+  if (ts4.isPropertyAccessExpression(expr)) return rootIdentifier(expr.expression);
+  if (ts4.isElementAccessExpression(expr)) return rootIdentifier(expr.expression);
+  if (ts4.isParenthesizedExpression(expr)) return rootIdentifier(expr.expression);
+  return null;
+}
+function isWriteOperator(kind) {
+  return kind === ts4.SyntaxKind.EqualsToken || kind === ts4.SyntaxKind.PlusEqualsToken || kind === ts4.SyntaxKind.MinusEqualsToken || kind === ts4.SyntaxKind.AsteriskEqualsToken || kind === ts4.SyntaxKind.SlashEqualsToken || kind === ts4.SyntaxKind.PercentEqualsToken || kind === ts4.SyntaxKind.AmpersandEqualsToken || kind === ts4.SyntaxKind.BarEqualsToken || kind === ts4.SyntaxKind.CaretEqualsToken || kind === ts4.SyntaxKind.LessThanLessThanEqualsToken || kind === ts4.SyntaxKind.GreaterThanGreaterThanEqualsToken || kind === ts4.SyntaxKind.GreaterThanGreaterThanGreaterThanEqualsToken;
+}
+
+// src/analyzer/helpers/async.ts
+import ts5 from "typescript";
+function isPromiseLike(type, checker) {
+  if (!type) return false;
+  const thenProp = type.getProperty("then");
+  if (!thenProp) return false;
+  const decl = thenProp.valueDeclaration ?? thenProp.declarations?.[0];
+  if (!decl) return false;
+  const thenType = checker.getTypeOfSymbolAtLocation(thenProp, decl);
+  return thenType.getCallSignatures().length > 0;
+}
+function isAwaited(node) {
+  return ts5.isAwaitExpression(node.parent);
+}
+function isReturned(node) {
+  return ts5.isReturnStatement(node.parent);
+}
+function isHandledWithThen(node) {
+  if (!ts5.isPropertyAccessExpression(node.parent)) return false;
+  const name = node.parent.name.text;
+  return name === "then" || name === "catch" || name === "finally";
+}
+function isAsyncForEach(node) {
+  if (!ts5.isPropertyAccessExpression(node.expression)) return false;
+  if (node.expression.name.text !== "forEach") return false;
+  const cb = node.arguments[0];
+  if (!cb) return false;
+  if (ts5.isArrowFunction(cb) || ts5.isFunctionExpression(cb)) {
+    return cb.modifiers?.some((m) => m.kind === ts5.SyntaxKind.AsyncKeyword) ?? false;
+  }
+  return false;
+}
+function isAsyncEventListener(node) {
+  if (!ts5.isPropertyAccessExpression(node.expression)) return false;
+  if (node.expression.name.text !== "addEventListener") return false;
+  const cb = node.arguments[1];
+  if (!cb) return false;
+  if (ts5.isArrowFunction(cb) || ts5.isFunctionExpression(cb)) {
+    return cb.modifiers?.some((m) => m.kind === ts5.SyntaxKind.AsyncKeyword) ?? false;
+  }
+  return false;
+}
+function isPromiseAll(node) {
+  return ts5.isPropertyAccessExpression(node.expression) && ts5.isIdentifier(node.expression.expression) && node.expression.expression.text === "Promise" && node.expression.name.text === "all";
+}
+
+// src/analyzer/purity.ts
+function analyzePurity(program2, functions2) {
+  const checker = program2.getTypeChecker();
+  const results = [];
+  for (const fn of functions2) {
+    let visit2 = function(node) {
+      if (ts6.isBinaryExpression(node) && isWriteOperator(node.operatorToken.kind)) {
+        const left = node.left;
+        const root = rootIdentifier(left);
+        if (root && paramNames.has(root.text)) {
+          mark(`Mutates parameter \`${root.text}\``);
+        }
+        if (ts6.isIdentifier(left)) {
+          const sym = checker.getSymbolAtLocation(left);
+          const decls = sym?.getDeclarations() ?? [];
+          const declaredInside = decls.some((d) => isInside(d, fn.node));
+          if (sym && decls.length > 0 && !declaredInside) {
+            mark(`Writes to outer scope \`${left.text}\``);
+          }
+        }
+        if (ts6.isPropertyAccessExpression(left) && left.expression.kind === ts6.SyntaxKind.ThisKeyword) {
+          mark(`Mutates \`this.${left.name.text}\``);
+        }
+      }
+      if (ts6.isCallExpression(node) && ts6.isPropertyAccessExpression(node.expression)) {
+        const method = node.expression.name.text;
+        const root = rootIdentifier(node.expression.expression);
+        if (root && paramNames.has(root.text) && MUTATING_ARRAY_METHODS.has(method)) {
+          mark(`Mutates parameter \`${root.text}\` via \`${method}()\``);
+        }
+      }
+      if (ts6.isIdentifier(node)) {
+        const sym = checker.getSymbolAtLocation(node);
+        if (sym && GLOBAL_OBJECTS.has(sym.getName())) {
+          mark(`Accesses global \`${sym.getName()}\``);
+        }
+      }
+      if (ts6.isPropertyAccessExpression(node)) {
+        const root = rootIdentifier(node.expression);
+        if (root?.text === "process" && node.name.text === "env") {
+          mark("Accesses `process.env` (non-deterministic)");
+        }
+        if (root?.text === "console") {
+          mark("Writes to console");
+        }
+      }
+      if (ts6.isCallExpression(node)) {
+        const type = checker.getTypeAtLocation(node);
+        const expr = node.expression;
+        if (ts6.isPropertyAccessExpression(expr) && ts6.isIdentifier(expr.expression) && expr.expression.text === "Date" && expr.name.text === "now") {
+          mark("Calls Date.now() (non-deterministic)");
+        }
+        if (ts6.isPropertyAccessExpression(expr) && ts6.isIdentifier(expr.expression) && expr.expression.text === "Math" && expr.name.text === "random") {
+          mark("Calls Math.random() (non-deterministic)");
+        }
+        if (isPromiseLike(type, checker)) {
+          if (!isAwaited(node) && !isReturned(node) && !isHandledWithThen(node)) {
+            mark("Floating Promise (result ignored)");
+          }
+        }
+        if (isPromiseAll(node) && !isAwaited(node) && !isReturned(node)) {
+          mark("Unawaited Promise.all()");
+        }
+        if (isAsyncForEach(node)) {
+          mark("Async callback inside forEach (not awaited)");
+        }
+        if (isAsyncEventListener(node)) {
+          mark("Async event listener without error boundary");
+        }
+      }
+      if (ts6.isNewExpression(node)) {
+        if (ts6.isIdentifier(node.expression) && node.expression.text === "Date") {
+          mark("Instantiates Date (non-deterministic)");
+        }
+      }
+      if (ts6.isAwaitExpression(node)) {
+        containsAwait = true;
+      }
+      if (ts6.isTryStatement(node) && node.catchClause) {
+        hasTryCatch = true;
+      }
+      if (ts6.isCatchClause(node) && node.block.statements.length === 0) {
+        mark("Empty catch block (error swallowed)");
+      }
+      ts6.forEachChild(node, visit2);
+    };
+    var visit = visit2;
+    const sf = fn.node.getSourceFile();
+    const { line, character } = sf.getLineAndCharacterOfPosition(
+      fn.node.getStart(sf)
+    );
+    const reasons = [];
+    const paramNames = /* @__PURE__ */ new Set();
+    for (const p of fn.node.parameters) {
+      if (ts6.isIdentifier(p.name)) paramNames.add(p.name.text);
+    }
+    const mark = (reason) => {
+      if (!reasons.includes(reason)) reasons.push(reason);
+    };
+    let containsAwait = false;
+    let hasTryCatch = false;
+    const isAsyncFunction = fn.node.modifiers?.some((m) => m.kind === ts6.SyntaxKind.AsyncKeyword) ?? false;
+    visit2(fn.node);
+    if (isAsyncFunction && !containsAwait) {
+      mark("Async function without await");
+    }
+    if (isAsyncFunction && containsAwait && !hasTryCatch) {
+      mark("Async function without error handling (no try/catch)");
+    }
+    results.push({
+      id: fn.id,
+      name: fn.name,
+      file: fn.file,
+      line: line + 1,
+      character: character + 1,
+      isPure: reasons.length === 0,
+      reasons
+    });
+  }
+  return results;
+}
+
+// src/analyzer/propagateImpurity.ts
+function propagateImpurity(graph2, purity2) {
+  const resultMap = /* @__PURE__ */ new Map();
+  for (const r of purity2) {
+    resultMap.set(r.id, r);
+  }
+  const reverse = /* @__PURE__ */ new Map();
+  for (const [callerId, calleeIds] of graph2.entries()) {
+    for (const calleeId of calleeIds) {
+      if (!reverse.has(calleeId)) {
+        reverse.set(calleeId, /* @__PURE__ */ new Set());
+      }
+      reverse.get(calleeId).add(callerId);
+    }
+  }
+  const queue = [];
+  for (const r of purity2) {
+    if (!r.isPure) {
+      queue.push(r.id);
+    }
+  }
+  while (queue.length > 0) {
+    const impureId = queue.shift();
+    const callers = reverse.get(impureId);
+    if (!callers) continue;
+    for (const callerId of callers) {
+      const caller = resultMap.get(callerId);
+      if (!caller) continue;
+      if (caller.isPure) {
+        caller.isPure = false;
+        caller.reasons.push(`Calls impure function`);
+        queue.push(callerId);
+      }
+    }
+  }
+  return Array.from(resultMap.values());
+}
+
 // src/cli.ts
 var command = process.argv[2];
 if (command !== "analyze") {
@@ -91,10 +344,39 @@ if (command !== "analyze") {
 var program = createTsProgram("tsconfig.json");
 var functions = collectFunctions(program);
 var graph = buildCallGraph(program, functions);
+var purity = analyzePurity(program, functions);
+purity = propagateImpurity(graph, purity);
 console.log("\nCall Graph:\n");
-for (const [fn, calls] of graph.entries()) {
-  for (const call of calls) {
-    console.log(`${fn} \u2192 ${call}`);
+var edgeCount = 0;
+for (const [callerId, callees] of graph.entries()) {
+  const caller = functions.find((f) => f.id === callerId);
+  const callerName = caller ? caller.name : callerId;
+  for (const calleeId of callees) {
+    const callee = functions.find((f) => f.id === calleeId);
+    const calleeName = callee ? callee.name : calleeId;
+    console.log(`${callerName} \u2192 ${calleeName}`);
+    edgeCount++;
+  }
+}
+if (edgeCount === 0) {
+  console.log("(no project-level call edges found)");
+}
+console.log(`
+Total call edges: ${edgeCount}`);
+console.log("\nPurity Report:\n");
+var impure = purity.filter((r) => !r.isPure);
+if (impure.length === 0) {
+  console.log("All analyzed functions are pure.");
+} else {
+  for (const r of impure) {
+    console.log(`${r.file}:${r.line}:${r.character}`);
+    console.log(`Function: ${r.name}`);
+    console.log(`Status: X Impure`);
+    console.log("Reasons:");
+    for (const reason of r.reasons) {
+      console.log(`  - ${reason}`);
+    }
+    console.log("");
   }
 }
 //# sourceMappingURL=cli.js.map

package/dist/cli.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../src/analyzer/createProgram.ts","../src/analyzer/collectFunctions.ts","../src/analyzer/buildCallGraph.ts","../src/cli.ts"],"sourcesContent":["import ts from \"typescript\";\r\n\r\nexport function createTsProgram(tsconfigPath: string) {\r\n  const configFile = ts.readConfigFile(tsconfigPath, ts.sys.readFile);\r\n\r\n  if (configFile.error) {\r\n    throw new Error(\r\n      ts.flattenDiagnosticMessageText(configFile.error.messageText, \"\\n\")\r\n    );\r\n  }\r\n\r\n  const parsedConfig = ts.parseJsonConfigFileContent(\r\n    configFile.config,\r\n    ts.sys,\r\n    process.cwd()\r\n  );\r\n\r\n  return ts.createProgram({\r\n    rootNames: parsedConfig.fileNames,\r\n    options: parsedConfig.options,\r\n  });\r\n}\r\n","import ts from \"typescript\";\r\n\r\nexport interface FunctionNode {\r\n  id: string;\r\n  name: string;\r\n  file: string;\r\n  node: ts.FunctionLikeDeclaration;\r\n}\r\n\r\nfunction safeName(node: ts.FunctionLikeDeclaration, sf: ts.SourceFile): string {\r\n  const anyNode = node as any;\r\n\r\n  // Named declarations / methods: function foo() {} / class X { foo() {} }\r\n  if (anyNode.name && ts.isIdentifier(anyNode.name)) return anyNode.name.text;\r\n\r\n  // Methods with string/numeric names: class X { \"foo\"() {} }\r\n  if (anyNode.name && (ts.isStringLiteral(anyNode.name) || ts.isNumericLiteral(anyNode.name))) {\r\n    return String(anyNode.name.text);\r\n  }\r\n\r\n  // const foo = () => {} / const foo = function() {}\r\n  const p = node.parent;\r\n  if (p && ts.isVariableDeclaration(p) && ts.isIdentifier(p.name)) return p.name.text;\r\n\r\n  // obj.foo = function() {}\r\n  if (p && ts.isBinaryExpression(p) && ts.isPropertyAccessExpression(p.left)) {\r\n    return p.left.name.text;\r\n  }\r\n\r\n  const { line, character } = sf.getLineAndCharacterOfPosition(node.getStart(sf));\r\n  return `<anonymous@${line + 1}:${character + 1}>`;\r\n}\r\n\r\nexport function collectFunctions(program: ts.Program): FunctionNode[] {\r\n  const out: FunctionNode[] = [];\r\n\r\n  for (const sf of program.getSourceFiles()) {\r\n    if (sf.isDeclarationFile) continue;\r\n    if (sf.fileName.includes(\"node_modules\")) continue;\r\n\r\n    ts.forEachChild(sf, function visit(n) {\r\n      if (\r\n        ts.isFunctionDeclaration(n) ||\r\n        ts.isMethodDeclaration(n) ||\r\n        ts.isArrowFunction(n) ||\r\n        ts.isFunctionExpression(n)\r\n      ) {\r\n        const name = safeName(n, sf);\r\n        const id = `${sf.fileName}:${n.pos}:${name}`;\r\n        out.push({ id, name, file: sf.fileName, node: n });\r\n      }\r\n      ts.forEachChild(n, visit);\r\n    });\r\n  }\r\n\r\n  return out;\r\n}\r\n","import ts from \"typescript\";\r\nimport { FunctionNode } from \"./collectFunctions\";\r\n\r\nexport type CallGraph = Map<string, Set<string>>;\r\n\r\nexport function buildCallGraph(\r\n  program: ts.Program,\r\n  functions: FunctionNode[]\r\n): CallGraph {\r\n  const checker = program.getTypeChecker();\r\n  const graph: CallGraph = new Map();\r\n\r\n  const functionMap = new Map<string, ts.FunctionLikeDeclaration>();\r\n\r\n  for (const fn of functions) {\r\n    functionMap.set(fn.name, fn.node);\r\n    graph.set(fn.name, new Set());\r\n  }\r\n\r\n  for (const fn of functions) {\r\n    const fnName = fn.name;\r\n\r\n    ts.forEachChild(fn.node, function visit(node) {\r\n      if (ts.isCallExpression(node)) {\r\n        const expression = node.expression;\r\n        const symbol = checker.getSymbolAtLocation(expression);\r\n\r\n        if (symbol) {\r\n          const name = symbol.getName();\r\n          if (graph.has(fnName)) {\r\n            graph.get(fnName)!.add(name);\r\n          }\r\n        }\r\n      }\r\n\r\n      ts.forEachChild(node, visit);\r\n    });\r\n  }\r\n\r\n  return graph;\r\n}\r\n","#!/usr/bin/env node\r\nimport { createTsProgram } from \"./analyzer/createProgram\";\r\nimport { collectFunctions } from \"./analyzer/collectFunctions\";\r\nimport { buildCallGraph } from \"./analyzer/buildCallGraph\";\r\n\r\nconst command = process.argv[2];\r\n\r\nif (command !== \"analyze\") {\r\n  console.log(\"Usage: callograph analyze\");\r\n  process.exit(1);\r\n}\r\n\r\nconst program = createTsProgram(\"tsconfig.json\");\r\nconst functions = collectFunctions(program);\r\nconst graph = buildCallGraph(program, functions);\r\n\r\nconsole.log(\"\\nCall Graph:\\n\");\r\n\r\nfor (const [fn, calls] of graph.entries()) {\r\n  for (const call of calls) {\r\n    console.log(`${fn} → ${call}`);\r\n  }\r\n}\r\n"],"mappings":";;;AAAA,OAAO,QAAQ;AAER,SAAS,gBAAgB,cAAsB;AACpD,QAAM,aAAa,GAAG,eAAe,cAAc,GAAG,IAAI,QAAQ;AAElE,MAAI,WAAW,OAAO;AACpB,UAAM,IAAI;AAAA,MACR,GAAG,6BAA6B,WAAW,MAAM,aAAa,IAAI;AAAA,IACpE;AAAA,EACF;AAEA,QAAM,eAAe,GAAG;AAAA,IACtB,WAAW;AAAA,IACX,GAAG;AAAA,IACH,QAAQ,IAAI;AAAA,EACd;AAEA,SAAO,GAAG,cAAc;AAAA,IACtB,WAAW,aAAa;AAAA,IACxB,SAAS,aAAa;AAAA,EACxB,CAAC;AACH;;;ACrBA,OAAOA,SAAQ;AASf,SAAS,SAAS,MAAkC,IAA2B;AAC7E,QAAM,UAAU;AAGhB,MAAI,QAAQ,QAAQA,IAAG,aAAa,QAAQ,IAAI,EAAG,QAAO,QAAQ,KAAK;AAGvE,MAAI,QAAQ,SAASA,IAAG,gBAAgB,QAAQ,IAAI,KAAKA,IAAG,iBAAiB,QAAQ,IAAI,IAAI;AAC3F,WAAO,OAAO,QAAQ,KAAK,IAAI;AAAA,EACjC;AAGA,QAAM,IAAI,KAAK;AACf,MAAI,KAAKA,IAAG,sBAAsB,CAAC,KAAKA,IAAG,aAAa,EAAE,IAAI,EAAG,QAAO,EAAE,KAAK;AAG/E,MAAI,KAAKA,IAAG,mBAAmB,CAAC,KAAKA,IAAG,2BAA2B,EAAE,IAAI,GAAG;AAC1E,WAAO,EAAE,KAAK,KAAK;AAAA,EACrB;AAEA,QAAM,EAAE,MAAM,UAAU,IAAI,GAAG,8BAA8B,KAAK,SAAS,EAAE,CAAC;AAC9E,SAAO,cAAc,OAAO,CAAC,IAAI,YAAY,CAAC;AAChD;AAEO,SAAS,iBAAiBC,UAAqC;AACpE,QAAM,MAAsB,CAAC;AAE7B,aAAW,MAAMA,SAAQ,eAAe,GAAG;AACzC,QAAI,GAAG,kBAAmB;AAC1B,QAAI,GAAG,SAAS,SAAS,cAAc,EAAG;AAE1C,IAAAD,IAAG,aAAa,IAAI,SAAS,MAAM,GAAG;AACpC,UACEA,IAAG,sBAAsB,CAAC,KAC1BA,IAAG,oBAAoB,CAAC,KACxBA,IAAG,gBAAgB,CAAC,KACpBA,IAAG,qBAAqB,CAAC,GACzB;AACA,cAAM,OAAO,SAAS,GAAG,EAAE;AAC3B,cAAM,KAAK,GAAG,GAAG,QAAQ,IAAI,EAAE,GAAG,IAAI,IAAI;AAC1C,YAAI,KAAK,EAAE,IAAI,MAAM,MAAM,GAAG,UAAU,MAAM,EAAE,CAAC;AAAA,MACnD;AACA,MAAAA,IAAG,aAAa,GAAG,KAAK;AAAA,IAC1B,CAAC;AAAA,EACH;AAEA,SAAO;AACT;;;ACxDA,OAAOE,SAAQ;AAKR,SAAS,eACdC,UACAC,YACW;AACX,QAAM,UAAUD,SAAQ,eAAe;AACvC,QAAME,SAAmB,oBAAI,IAAI;AAEjC,QAAM,cAAc,oBAAI,IAAwC;AAEhE,aAAW,MAAMD,YAAW;AAC1B,gBAAY,IAAI,GAAG,MAAM,GAAG,IAAI;AAChC,IAAAC,OAAM,IAAI,GAAG,MAAM,oBAAI,IAAI,CAAC;AAAA,EAC9B;AAEA,aAAW,MAAMD,YAAW;AAC1B,UAAM,SAAS,GAAG;AAElB,IAAAF,IAAG,aAAa,GAAG,MAAM,SAAS,MAAM,MAAM;AAC5C,UAAIA,IAAG,iBAAiB,IAAI,GAAG;AAC7B,cAAM,aAAa,KAAK;AACxB,cAAM,SAAS,QAAQ,oBAAoB,UAAU;AAErD,YAAI,QAAQ;AACV,gBAAM,OAAO,OAAO,QAAQ;AAC5B,cAAIG,OAAM,IAAI,MAAM,GAAG;AACrB,YAAAA,OAAM,IAAI,MAAM,EAAG,IAAI,IAAI;AAAA,UAC7B;AAAA,QACF;AAAA,MACF;AAEA,MAAAH,IAAG,aAAa,MAAM,KAAK;AAAA,IAC7B,CAAC;AAAA,EACH;AAEA,SAAOG;AACT;;;ACnCA,IAAM,UAAU,QAAQ,KAAK,CAAC;AAE9B,IAAI,YAAY,WAAW;AACzB,UAAQ,IAAI,2BAA2B;AACvC,UAAQ,KAAK,CAAC;AAChB;AAEA,IAAM,UAAU,gBAAgB,eAAe;AAC/C,IAAM,YAAY,iBAAiB,OAAO;AAC1C,IAAM,QAAQ,eAAe,SAAS,SAAS;AAE/C,QAAQ,IAAI,iBAAiB;AAE7B,WAAW,CAAC,IAAI,KAAK,KAAK,MAAM,QAAQ,GAAG;AACzC,aAAW,QAAQ,OAAO;AACxB,YAAQ,IAAI,GAAG,EAAE,WAAM,IAAI,EAAE;AAAA,EAC/B;AACF;","names":["ts","program","ts","program","functions","graph"]}
+{"version":3,"sources":["../src/analyzer/createProgram.ts","../src/analyzer/collectFunctions.ts","../src/analyzer/buildCallGraph.ts","../src/analyzer/purity.ts","../src/analyzer/helpers/globals.ts","../src/analyzer/helpers/ast.ts","../src/analyzer/helpers/async.ts","../src/analyzer/propagateImpurity.ts","../src/cli.ts"],"sourcesContent":["import ts from \"typescript\";\r\n\r\nexport function createTsProgram(tsconfigPath: string) {\r\n  const configFile = ts.readConfigFile(tsconfigPath, ts.sys.readFile);\r\n\r\n  if (configFile.error) {\r\n    throw new Error(\r\n      ts.flattenDiagnosticMessageText(configFile.error.messageText, \"\\n\")\r\n    );\r\n  }\r\n\r\n  const parsedConfig = ts.parseJsonConfigFileContent(\r\n    configFile.config,\r\n    ts.sys,\r\n    process.cwd()\r\n  );\r\n\r\n  return ts.createProgram({\r\n    rootNames: parsedConfig.fileNames,\r\n    options: parsedConfig.options,\r\n  });\r\n}\r\n","import ts from \"typescript\";\r\nimport { FunctionNode } from \"../../libs/types\";\r\n\r\nfunction safeName(node: ts.FunctionLikeDeclaration, sf: ts.SourceFile): string {\r\n  const anyNode = node as any;\r\n\r\n  // Named declarations / methods: function foo() {} / class X { foo() {} }\r\n  if (anyNode.name && ts.isIdentifier(anyNode.name)) return anyNode.name.text;\r\n\r\n  // Methods with string/numeric names: class X { \"foo\"() {} }\r\n  if (\r\n    anyNode.name &&\r\n    (ts.isStringLiteral(anyNode.name) || ts.isNumericLiteral(anyNode.name))\r\n  ) {\r\n    return String(anyNode.name.text);\r\n  }\r\n\r\n  // const foo = () => {} / const foo = function() {}\r\n  const p = node.parent;\r\n  if (p && ts.isVariableDeclaration(p) && ts.isIdentifier(p.name)) return p.name.text;\r\n\r\n  // obj.foo = function() {}\r\n  if (p && ts.isBinaryExpression(p) && ts.isPropertyAccessExpression(p.left)) {\r\n    return p.left.name.text;\r\n  }\r\n\r\n  const { line, character } = sf.getLineAndCharacterOfPosition(node.getStart(sf));\r\n  return `<anonymous@${line + 1}:${character + 1}>`;\r\n}\r\n\r\nexport function collectFunctions(program: ts.Program): FunctionNode[] {\r\n  const out: FunctionNode[] = [];\r\n\r\n  for (const sf of program.getSourceFiles()) {\r\n    if (sf.isDeclarationFile) continue;\r\n    if (sf.fileName.includes(\"node_modules\")) continue;\r\n\r\n    ts.forEachChild(sf, function visit(n) {\r\n      const isNamedFunctionDecl = ts.isFunctionDeclaration(n) && !!n.name;\r\n      const isMethod = ts.isMethodDeclaration(n);\r\n\r\n      const p = n.parent; //guard parent\r\n      const isVarAssigned =\r\n        (ts.isArrowFunction(n) || ts.isFunctionExpression(n)) &&\r\n        !!p &&\r\n        ts.isVariableDeclaration(p) &&\r\n        ts.isIdentifier(p.name);\r\n\r\n      if (isNamedFunctionDecl || isMethod || isVarAssigned) {\r\n        const name = safeName(n, sf);\r\n        const id = `${sf.fileName}:${n.pos}:${name}`;\r\n        out.push({ id, name, file: sf.fileName, node: n });\r\n      }\r\n\r\n      ts.forEachChild(n, visit);\r\n    });\r\n  }\r\n\r\n  return out;\r\n}\r\n","import ts from \"typescript\";\r\nimport { FunctionNode } from \"../../libs/types\";\r\n\r\n// callerId -> calleeIds\r\nexport type CallGraph = Map<string, Set<string>>;\r\n\r\nfunction isProjectFile(fileName: string) {\r\n  return !fileName.includes(\"node_modules\") && !fileName.endsWith(\".d.ts\");\r\n}\r\n\r\nexport function buildCallGraph(\r\n  program: ts.Program,\r\n  functions: FunctionNode[]\r\n): CallGraph {\r\n\r\n  const checker = program.getTypeChecker();\r\n  const graph: CallGraph = new Map();\r\n\r\n  const declToId = new Map<ts.Declaration, string>();\r\n\r\n  for (const fn of functions) {\r\n    graph.set(fn.id, new Set());\r\n    declToId.set(fn.node, fn.id);\r\n  }\r\n\r\n  for (const fn of functions) {\r\n    const callerId = fn.id;\r\n\r\n    function visit(node: ts.Node) {\r\n      if (ts.isCallExpression(node)) {\r\n        const sig = checker.getResolvedSignature(node);\r\n        const decl = sig?.getDeclaration();\r\n\r\n        if (\r\n          decl &&\r\n          isProjectFile(decl.getSourceFile().fileName)\r\n        ) {\r\n          const calleeId = declToId.get(decl as ts.Declaration);\r\n\r\n          if (calleeId) {\r\n            graph.get(callerId)!.add(calleeId);\r\n          }\r\n        }\r\n      }\r\n\r\n      ts.forEachChild(node, visit);\r\n    }\r\n\r\n    visit(fn.node);\r\n  }\r\n\r\n  return graph;\r\n}\r\n","import ts from \"typescript\";\r\nimport { FunctionNode, PurityResult } from \"../../libs/types\";\r\nimport { GLOBAL_OBJECTS, MUTATING_ARRAY_METHODS } from \"./helpers/globals\";\r\nimport { isInside, rootIdentifier, isWriteOperator } from \"./helpers/ast\";\r\nimport {\r\n  isPromiseLike,\r\n  isAwaited,\r\n  isReturned,\r\n  isHandledWithThen,\r\n  isAsyncForEach,\r\n  isAsyncEventListener,\r\n  isPromiseAll,\r\n} from \"./helpers/async\";\r\n\r\nexport function analyzePurity(\r\n  program: ts.Program,\r\n  functions: FunctionNode[]\r\n): PurityResult[] {\r\n  const checker = program.getTypeChecker();\r\n  const results: PurityResult[] = [];\r\n\r\n  for (const fn of functions) {\r\n    const sf = fn.node.getSourceFile();\r\n    const { line, character } = sf.getLineAndCharacterOfPosition(\r\n      fn.node.getStart(sf)\r\n    );\r\n\r\n    const reasons: string[] = [];\r\n    const paramNames = new Set<string>();\r\n\r\n    for (const p of fn.node.parameters) {\r\n      if (ts.isIdentifier(p.name)) paramNames.add(p.name.text);\r\n    }\r\n\r\n    const mark = (reason: string) => {\r\n      if (!reasons.includes(reason)) reasons.push(reason);\r\n    };\r\n\r\n    let containsAwait = false;\r\n    let hasTryCatch = false;\r\n\r\n    const isAsyncFunction =\r\n      fn.node.modifiers?.some(m => m.kind === ts.SyntaxKind.AsyncKeyword) ?? false;\r\n\r\n    function visit(node: ts.Node): void {\r\n      /* ---------------------------\r\n         WRITE DETECTION\r\n      ----------------------------*/\r\n      if (ts.isBinaryExpression(node) && isWriteOperator(node.operatorToken.kind)) {\r\n        const left = node.left as ts.Expression;\r\n        const root = rootIdentifier(left);\r\n\r\n        if (root && paramNames.has(root.text)) {\r\n          mark(`Mutates parameter \\`${root.text}\\``);\r\n        }\r\n\r\n        if (ts.isIdentifier(left)) {\r\n          const sym = checker.getSymbolAtLocation(left);\r\n          const decls = sym?.getDeclarations() ?? [];\r\n          const declaredInside = decls.some(d => isInside(d, fn.node));\r\n          if (sym && decls.length > 0 && !declaredInside) {\r\n            mark(`Writes to outer scope \\`${left.text}\\``);\r\n          }\r\n        }\r\n\r\n        if (\r\n          ts.isPropertyAccessExpression(left) &&\r\n          left.expression.kind === ts.SyntaxKind.ThisKeyword\r\n        ) {\r\n          mark(`Mutates \\`this.${left.name.text}\\``);\r\n        }\r\n      }\r\n\r\n      /* ---------------------------\r\n         ARRAY PARAM MUTATION\r\n      ----------------------------*/\r\n      if (ts.isCallExpression(node) && ts.isPropertyAccessExpression(node.expression)) {\r\n        const method = node.expression.name.text;\r\n        const root = rootIdentifier(node.expression.expression);\r\n\r\n        if (root && paramNames.has(root.text) && MUTATING_ARRAY_METHODS.has(method)) {\r\n          mark(`Mutates parameter \\`${root.text}\\` via \\`${method}()\\``);\r\n        }\r\n      }\r\n\r\n      /* ---------------------------\r\n         GLOBAL ACCESS\r\n      ----------------------------*/\r\n      if (ts.isIdentifier(node)) {\r\n        const sym = checker.getSymbolAtLocation(node);\r\n        if (sym && GLOBAL_OBJECTS.has(sym.getName())) {\r\n          mark(`Accesses global \\`${sym.getName()}\\``);\r\n        }\r\n      }\r\n\r\n      if (ts.isPropertyAccessExpression(node)) {\r\n        const root = rootIdentifier(node.expression);\r\n\r\n        if (root?.text === \"process\" && node.name.text === \"env\") {\r\n          mark(\"Accesses `process.env` (non-deterministic)\");\r\n        }\r\n\r\n        if (root?.text === \"console\") {\r\n          mark(\"Writes to console\");\r\n        }\r\n      }\r\n\r\n      /* ---------------------------\r\n         CALL EXPRESSIONS\r\n      ----------------------------*/\r\n      if (ts.isCallExpression(node)) {\r\n        const type = checker.getTypeAtLocation(node);\r\n        const expr = node.expression;\r\n\r\n        // Non-deterministic\r\n        if (\r\n          ts.isPropertyAccessExpression(expr) &&\r\n          ts.isIdentifier(expr.expression) &&\r\n          expr.expression.text === \"Date\" &&\r\n          expr.name.text === \"now\"\r\n        ) {\r\n          mark(\"Calls Date.now() (non-deterministic)\");\r\n        }\r\n\r\n        if (\r\n          ts.isPropertyAccessExpression(expr) &&\r\n          ts.isIdentifier(expr.expression) &&\r\n          expr.expression.text === \"Math\" &&\r\n          expr.name.text === \"random\"\r\n        ) {\r\n          mark(\"Calls Math.random() (non-deterministic)\");\r\n        }\r\n\r\n        // Async rules\r\n        if (isPromiseLike(type, checker)) {\r\n          if (!isAwaited(node) && !isReturned(node) && !isHandledWithThen(node)) {\r\n            mark(\"Floating Promise (result ignored)\");\r\n          }\r\n        }\r\n\r\n        if (isPromiseAll(node) && !isAwaited(node) && !isReturned(node)) {\r\n          mark(\"Unawaited Promise.all()\");\r\n        }\r\n\r\n        if (isAsyncForEach(node)) {\r\n          mark(\"Async callback inside forEach (not awaited)\");\r\n        }\r\n\r\n        if (isAsyncEventListener(node)) {\r\n          mark(\"Async event listener without error boundary\");\r\n        }\r\n      }\r\n\r\n      /* ---------------------------\r\n         NEW EXPRESSIONS\r\n      ----------------------------*/\r\n      if (ts.isNewExpression(node)) {\r\n        if (ts.isIdentifier(node.expression) && node.expression.text === \"Date\") {\r\n          mark(\"Instantiates Date (non-deterministic)\");\r\n        }\r\n      }\r\n\r\n      /* ---------------------------\r\n         AWAIT + ERROR HANDLING\r\n      ----------------------------*/\r\n      if (ts.isAwaitExpression(node)) {\r\n        containsAwait = true;\r\n      }\r\n\r\n      if (ts.isTryStatement(node) && node.catchClause) {\r\n        hasTryCatch = true;\r\n      }\r\n\r\n      if (ts.isCatchClause(node) && node.block.statements.length === 0) {\r\n        mark(\"Empty catch block (error swallowed)\");\r\n      }\r\n\r\n      ts.forEachChild(node, visit);\r\n    }\r\n\r\n    visit(fn.node);\r\n\r\n    if (isAsyncFunction && !containsAwait) {\r\n      mark(\"Async function without await\");\r\n    }\r\n\r\n    if (isAsyncFunction && containsAwait && !hasTryCatch) {\r\n      mark(\"Async function without error handling (no try/catch)\");\r\n    }\r\n\r\n    results.push({\r\n      id: fn.id,\r\n      name: fn.name,\r\n      file: fn.file,\r\n      line: line + 1,\r\n      character: character + 1,\r\n      isPure: reasons.length === 0,\r\n      reasons,\r\n    });\r\n  }\r\n\r\n  return results;\r\n}\r\n","export const GLOBAL_OBJECTS = new Set([\r\n  \"window\",\r\n  \"document\",\r\n  \"global\",\r\n  \"process\",\r\n  \"localStorage\",\r\n  \"sessionStorage\",\r\n]);\r\n\r\nexport const MUTATING_ARRAY_METHODS = new Set([\r\n  \"push\",\r\n  \"pop\",\r\n  \"splice\",\r\n  \"shift\",\r\n  \"unshift\",\r\n  \"sort\",\r\n  \"reverse\",\r\n  \"copyWithin\",\r\n  \"fill\",\r\n]);\r\n","import ts from \"typescript\";\r\n\r\nexport function isInside(node: ts.Node, container: ts.Node) {\r\n  return node.pos >= container.pos && node.end <= container.end;\r\n}\r\n\r\nexport function rootIdentifier(expr: ts.Expression): ts.Identifier | null {\r\n  if (ts.isIdentifier(expr)) return expr;\r\n  if (ts.isPropertyAccessExpression(expr)) return rootIdentifier(expr.expression);\r\n  if (ts.isElementAccessExpression(expr)) return rootIdentifier(expr.expression);\r\n  if (ts.isParenthesizedExpression(expr)) return rootIdentifier(expr.expression);\r\n  return null;\r\n}\r\n\r\nexport function isWriteOperator(kind: ts.SyntaxKind) {\r\n  return (\r\n    kind === ts.SyntaxKind.EqualsToken ||\r\n    kind === ts.SyntaxKind.PlusEqualsToken ||\r\n    kind === ts.SyntaxKind.MinusEqualsToken ||\r\n    kind === ts.SyntaxKind.AsteriskEqualsToken ||\r\n    kind === ts.SyntaxKind.SlashEqualsToken ||\r\n    kind === ts.SyntaxKind.PercentEqualsToken ||\r\n    kind === ts.SyntaxKind.AmpersandEqualsToken ||\r\n    kind === ts.SyntaxKind.BarEqualsToken ||\r\n    kind === ts.SyntaxKind.CaretEqualsToken ||\r\n    kind === ts.SyntaxKind.LessThanLessThanEqualsToken ||\r\n    kind === ts.SyntaxKind.GreaterThanGreaterThanEqualsToken ||\r\n    kind === ts.SyntaxKind.GreaterThanGreaterThanGreaterThanEqualsToken\r\n  );\r\n}\r\n","import ts from \"typescript\";\r\n\r\nexport function isPromiseLike(type: ts.Type, checker: ts.TypeChecker): boolean {\r\n  if (!type) return false;\r\n\r\n  const thenProp = type.getProperty(\"then\");\r\n  if (!thenProp) return false;\r\n\r\n  const decl = thenProp.valueDeclaration ?? thenProp.declarations?.[0];\r\n  if (!decl) return false;\r\n\r\n  const thenType = checker.getTypeOfSymbolAtLocation(thenProp, decl);\r\n  return thenType.getCallSignatures().length > 0;\r\n}\r\n\r\nexport function isAwaited(node: ts.CallExpression) {\r\n  return ts.isAwaitExpression(node.parent);\r\n}\r\n\r\nexport function isReturned(node: ts.CallExpression) {\r\n  return ts.isReturnStatement(node.parent);\r\n}\r\n\r\nexport function isHandledWithThen(node: ts.CallExpression) {\r\n  if (!ts.isPropertyAccessExpression(node.parent)) return false;\r\n  const name = node.parent.name.text;\r\n  return name === \"then\" || name === \"catch\" || name === \"finally\";\r\n}\r\n\r\nexport function isAsyncForEach(node: ts.CallExpression): boolean {\r\n  if (!ts.isPropertyAccessExpression(node.expression)) return false;\r\n  if (node.expression.name.text !== \"forEach\") return false;\r\n\r\n  const cb = node.arguments[0];\r\n  if (!cb) return false;\r\n\r\n  if (ts.isArrowFunction(cb) || ts.isFunctionExpression(cb)) {\r\n    return cb.modifiers?.some(m => m.kind === ts.SyntaxKind.AsyncKeyword) ?? false;\r\n  }\r\n\r\n  return false;\r\n}\r\n\r\nexport function isAsyncEventListener(node: ts.CallExpression): boolean {\r\n  if (!ts.isPropertyAccessExpression(node.expression)) return false;\r\n  if (node.expression.name.text !== \"addEventListener\") return false;\r\n\r\n  const cb = node.arguments[1];\r\n  if (!cb) return false;\r\n\r\n  if (ts.isArrowFunction(cb) || ts.isFunctionExpression(cb)) {\r\n    return cb.modifiers?.some(m => m.kind === ts.SyntaxKind.AsyncKeyword) ?? false;\r\n  }\r\n\r\n  return false;\r\n}\r\n\r\nexport function isPromiseAll(node: ts.CallExpression): boolean {\r\n  return (\r\n    ts.isPropertyAccessExpression(node.expression) &&\r\n    ts.isIdentifier(node.expression.expression) &&\r\n    node.expression.expression.text === \"Promise\" &&\r\n    node.expression.name.text === \"all\"\r\n  );\r\n}\r\n","import { CallGraph } from \"./buildCallGraph\";\r\nimport { PurityResult } from \"../../libs/types\";\r\n\r\nexport function propagateImpurity(\r\n  graph: CallGraph,\r\n  purity: PurityResult[]\r\n): PurityResult[] {\r\n\r\n  // Map functionId -> PurityResult\r\n  const resultMap = new Map<string, PurityResult>();\r\n  for (const r of purity) {\r\n    resultMap.set(r.id, r);\r\n  }\r\n\r\n  // Build reverse graph: calleeId -> Set<callerId>\r\n  const reverse = new Map<string, Set<string>>();\r\n\r\n  for (const [callerId, calleeIds] of graph.entries()) {\r\n    for (const calleeId of calleeIds) {\r\n      if (!reverse.has(calleeId)) {\r\n        reverse.set(calleeId, new Set());\r\n      }\r\n      reverse.get(calleeId)!.add(callerId);\r\n    }\r\n  }\r\n\r\n  // BFS propagation\r\n  const queue: string[] = [];\r\n\r\n  // Seed with initially impure functions\r\n  for (const r of purity) {\r\n    if (!r.isPure) {\r\n      queue.push(r.id);\r\n    }\r\n  }\r\n\r\n  while (queue.length > 0) {\r\n    const impureId = queue.shift()!;\r\n    const callers = reverse.get(impureId);\r\n    if (!callers) continue;\r\n\r\n    for (const callerId of callers) {\r\n      const caller = resultMap.get(callerId);\r\n      if (!caller) continue;\r\n\r\n      if (caller.isPure) {\r\n        caller.isPure = false;\r\n        caller.reasons.push(`Calls impure function`);\r\n        queue.push(callerId);\r\n      }\r\n    }\r\n  }\r\n\r\n  return Array.from(resultMap.values());\r\n}\r\n","import { createTsProgram } from \"./analyzer/createProgram\";\r\nimport { collectFunctions } from \"./analyzer/collectFunctions\";\r\nimport { buildCallGraph } from \"./analyzer/buildCallGraph\";\r\nimport { analyzePurity } from \"./analyzer/purity\";\r\nimport { propagateImpurity } from \"./analyzer/propagateImpurity\";\r\n\r\nconst command = process.argv[2];\r\n\r\nif (command !== \"analyze\") {\r\n  console.log(\"Usage: callograph analyze\");\r\n  process.exit(1);\r\n}\r\n\r\nconst program = createTsProgram(\"tsconfig.json\");\r\nconst functions = collectFunctions(program);\r\nconst graph = buildCallGraph(program, functions);\r\n\r\nlet purity = analyzePurity(program, functions);\r\npurity = propagateImpurity(graph, purity);\r\n\r\n/* ------------------------------\r\n   CALL GRAPH\r\n--------------------------------*/\r\nconsole.log(\"\\nCall Graph:\\n\");\r\n\r\nlet edgeCount = 0;\r\n\r\nfor (const [callerId, callees] of graph.entries()) {\r\n  const caller = functions.find(f => f.id === callerId);\r\n  const callerName = caller ? caller.name : callerId;\r\n\r\n  for (const calleeId of callees) {\r\n    const callee = functions.find(f => f.id === calleeId);\r\n    const calleeName = callee ? callee.name : calleeId;\r\n\r\n    console.log(`${callerName} → ${calleeName}`);\r\n    edgeCount++;\r\n  }\r\n}\r\n\r\nif (edgeCount === 0) {\r\n  console.log(\"(no project-level call edges found)\");\r\n}\r\n\r\nconsole.log(`\\nTotal call edges: ${edgeCount}`);\r\n\r\n/* ------------------------------\r\n   PURITY REPORT\r\n--------------------------------*/\r\nconsole.log(\"\\nPurity Report:\\n\");\r\n\r\nconst impure = purity.filter(r => !r.isPure);\r\n\r\nif (impure.length === 0) {\r\n  console.log(\"All analyzed functions are pure.\");\r\n} else {\r\n  for (const r of impure) {\r\n    console.log(`${r.file}:${r.line}:${r.character}`);\r\n    console.log(`Function: ${r.name}`);\r\n    console.log(`Status: X Impure`);\r\n    console.log(\"Reasons:\");\r\n    for (const reason of r.reasons) {\r\n      console.log(`  - ${reason}`);\r\n    }\r\n    console.log(\"\");\r\n  }\r\n}\r\n"],"mappings":";AAAA,OAAO,QAAQ;AAER,SAAS,gBAAgB,cAAsB;AACpD,QAAM,aAAa,GAAG,eAAe,cAAc,GAAG,IAAI,QAAQ;AAElE,MAAI,WAAW,OAAO;AACpB,UAAM,IAAI;AAAA,MACR,GAAG,6BAA6B,WAAW,MAAM,aAAa,IAAI;AAAA,IACpE;AAAA,EACF;AAEA,QAAM,eAAe,GAAG;AAAA,IACtB,WAAW;AAAA,IACX,GAAG;AAAA,IACH,QAAQ,IAAI;AAAA,EACd;AAEA,SAAO,GAAG,cAAc;AAAA,IACtB,WAAW,aAAa;AAAA,IACxB,SAAS,aAAa;AAAA,EACxB,CAAC;AACH;;;ACrBA,OAAOA,SAAQ;AAGf,SAAS,SAAS,MAAkC,IAA2B;AAC7E,QAAM,UAAU;AAGhB,MAAI,QAAQ,QAAQA,IAAG,aAAa,QAAQ,IAAI,EAAG,QAAO,QAAQ,KAAK;AAGvE,MACE,QAAQ,SACPA,IAAG,gBAAgB,QAAQ,IAAI,KAAKA,IAAG,iBAAiB,QAAQ,IAAI,IACrE;AACA,WAAO,OAAO,QAAQ,KAAK,IAAI;AAAA,EACjC;AAGA,QAAM,IAAI,KAAK;AACf,MAAI,KAAKA,IAAG,sBAAsB,CAAC,KAAKA,IAAG,aAAa,EAAE,IAAI,EAAG,QAAO,EAAE,KAAK;AAG/E,MAAI,KAAKA,IAAG,mBAAmB,CAAC,KAAKA,IAAG,2BAA2B,EAAE,IAAI,GAAG;AAC1E,WAAO,EAAE,KAAK,KAAK;AAAA,EACrB;AAEA,QAAM,EAAE,MAAM,UAAU,IAAI,GAAG,8BAA8B,KAAK,SAAS,EAAE,CAAC;AAC9E,SAAO,cAAc,OAAO,CAAC,IAAI,YAAY,CAAC;AAChD;AAEO,SAAS,iBAAiBC,UAAqC;AACpE,QAAM,MAAsB,CAAC;AAE7B,aAAW,MAAMA,SAAQ,eAAe,GAAG;AACzC,QAAI,GAAG,kBAAmB;AAC1B,QAAI,GAAG,SAAS,SAAS,cAAc,EAAG;AAE1C,IAAAD,IAAG,aAAa,IAAI,SAAS,MAAM,GAAG;AACpC,YAAM,sBAAsBA,IAAG,sBAAsB,CAAC,KAAK,CAAC,CAAC,EAAE;AAC/D,YAAM,WAAWA,IAAG,oBAAoB,CAAC;AAEzC,YAAM,IAAI,EAAE;AACZ,YAAM,iBACHA,IAAG,gBAAgB,CAAC,KAAKA,IAAG,qBAAqB,CAAC,MACnD,CAAC,CAAC,KACFA,IAAG,sBAAsB,CAAC,KAC1BA,IAAG,aAAa,EAAE,IAAI;AAExB,UAAI,uBAAuB,YAAY,eAAe;AACpD,cAAM,OAAO,SAAS,GAAG,EAAE;AAC3B,cAAM,KAAK,GAAG,GAAG,QAAQ,IAAI,EAAE,GAAG,IAAI,IAAI;AAC1C,YAAI,KAAK,EAAE,IAAI,MAAM,MAAM,GAAG,UAAU,MAAM,EAAE,CAAC;AAAA,MACnD;AAEA,MAAAA,IAAG,aAAa,GAAG,KAAK;AAAA,IAC1B,CAAC;AAAA,EACH;AAEA,SAAO;AACT;;;AC3DA,OAAOE,SAAQ;AAMf,SAAS,cAAc,UAAkB;AACvC,SAAO,CAAC,SAAS,SAAS,cAAc,KAAK,CAAC,SAAS,SAAS,OAAO;AACzE;AAEO,SAAS,eACdC,UACAC,YACW;AAEX,QAAM,UAAUD,SAAQ,eAAe;AACvC,QAAME,SAAmB,oBAAI,IAAI;AAEjC,QAAM,WAAW,oBAAI,IAA4B;AAEjD,aAAW,MAAMD,YAAW;AAC1B,IAAAC,OAAM,IAAI,GAAG,IAAI,oBAAI,IAAI,CAAC;AAC1B,aAAS,IAAI,GAAG,MAAM,GAAG,EAAE;AAAA,EAC7B;AAEA,aAAW,MAAMD,YAAW;AAG1B,QAASE,SAAT,SAAe,MAAe;AAC5B,UAAIJ,IAAG,iBAAiB,IAAI,GAAG;AAC7B,cAAM,MAAM,QAAQ,qBAAqB,IAAI;AAC7C,cAAM,OAAO,KAAK,eAAe;AAEjC,YACE,QACA,cAAc,KAAK,cAAc,EAAE,QAAQ,GAC3C;AACA,gBAAM,WAAW,SAAS,IAAI,IAAsB;AAEpD,cAAI,UAAU;AACZ,YAAAG,OAAM,IAAI,QAAQ,EAAG,IAAI,QAAQ;AAAA,UACnC;AAAA,QACF;AAAA,MACF;AAEA,MAAAH,IAAG,aAAa,MAAMI,MAAK;AAAA,IAC7B;AAlBS,gBAAAA;AAFT,UAAM,WAAW,GAAG;AAsBpB,IAAAA,OAAM,GAAG,IAAI;AAAA,EACf;AAEA,SAAOD;AACT;;;ACpDA,OAAOE,SAAQ;;;ACAR,IAAM,iBAAiB,oBAAI,IAAI;AAAA,EACpC;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AACF,CAAC;AAEM,IAAM,yBAAyB,oBAAI,IAAI;AAAA,EAC5C;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AACF,CAAC;;;ACnBD,OAAOC,SAAQ;AAER,SAAS,SAAS,MAAe,WAAoB;AAC1D,SAAO,KAAK,OAAO,UAAU,OAAO,KAAK,OAAO,UAAU;AAC5D;AAEO,SAAS,eAAe,MAA2C;AACxE,MAAIA,IAAG,aAAa,IAAI,EAAG,QAAO;AAClC,MAAIA,IAAG,2BAA2B,IAAI,EAAG,QAAO,eAAe,KAAK,UAAU;AAC9E,MAAIA,IAAG,0BAA0B,IAAI,EAAG,QAAO,eAAe,KAAK,UAAU;AAC7E,MAAIA,IAAG,0BAA0B,IAAI,EAAG,QAAO,eAAe,KAAK,UAAU;AAC7E,SAAO;AACT;AAEO,SAAS,gBAAgB,MAAqB;AACnD,SACE,SAASA,IAAG,WAAW,eACvB,SAASA,IAAG,WAAW,mBACvB,SAASA,IAAG,WAAW,oBACvB,SAASA,IAAG,WAAW,uBACvB,SAASA,IAAG,WAAW,oBACvB,SAASA,IAAG,WAAW,sBACvB,SAASA,IAAG,WAAW,wBACvB,SAASA,IAAG,WAAW,kBACvB,SAASA,IAAG,WAAW,oBACvB,SAASA,IAAG,WAAW,+BACvB,SAASA,IAAG,WAAW,qCACvB,SAASA,IAAG,WAAW;AAE3B;;;AC7BA,OAAOC,SAAQ;AAER,SAAS,cAAc,MAAe,SAAkC;AAC7E,MAAI,CAAC,KAAM,QAAO;AAElB,QAAM,WAAW,KAAK,YAAY,MAAM;AACxC,MAAI,CAAC,SAAU,QAAO;AAEtB,QAAM,OAAO,SAAS,oBAAoB,SAAS,eAAe,CAAC;AACnE,MAAI,CAAC,KAAM,QAAO;AAElB,QAAM,WAAW,QAAQ,0BAA0B,UAAU,IAAI;AACjE,SAAO,SAAS,kBAAkB,EAAE,SAAS;AAC/C;AAEO,SAAS,UAAU,MAAyB;AACjD,SAAOA,IAAG,kBAAkB,KAAK,MAAM;AACzC;AAEO,SAAS,WAAW,MAAyB;AAClD,SAAOA,IAAG,kBAAkB,KAAK,MAAM;AACzC;AAEO,SAAS,kBAAkB,MAAyB;AACzD,MAAI,CAACA,IAAG,2BAA2B,KAAK,MAAM,EAAG,QAAO;AACxD,QAAM,OAAO,KAAK,OAAO,KAAK;AAC9B,SAAO,SAAS,UAAU,SAAS,WAAW,SAAS;AACzD;AAEO,SAAS,eAAe,MAAkC;AAC/D,MAAI,CAACA,IAAG,2BAA2B,KAAK,UAAU,EAAG,QAAO;AAC5D,MAAI,KAAK,WAAW,KAAK,SAAS,UAAW,QAAO;AAEpD,QAAM,KAAK,KAAK,UAAU,CAAC;AAC3B,MAAI,CAAC,GAAI,QAAO;AAEhB,MAAIA,IAAG,gBAAgB,EAAE,KAAKA,IAAG,qBAAqB,EAAE,GAAG;AACzD,WAAO,GAAG,WAAW,KAAK,OAAK,EAAE,SAASA,IAAG,WAAW,YAAY,KAAK;AAAA,EAC3E;AAEA,SAAO;AACT;AAEO,SAAS,qBAAqB,MAAkC;AACrE,MAAI,CAACA,IAAG,2BAA2B,KAAK,UAAU,EAAG,QAAO;AAC5D,MAAI,KAAK,WAAW,KAAK,SAAS,mBAAoB,QAAO;AAE7D,QAAM,KAAK,KAAK,UAAU,CAAC;AAC3B,MAAI,CAAC,GAAI,QAAO;AAEhB,MAAIA,IAAG,gBAAgB,EAAE,KAAKA,IAAG,qBAAqB,EAAE,GAAG;AACzD,WAAO,GAAG,WAAW,KAAK,OAAK,EAAE,SAASA,IAAG,WAAW,YAAY,KAAK;AAAA,EAC3E;AAEA,SAAO;AACT;AAEO,SAAS,aAAa,MAAkC;AAC7D,SACEA,IAAG,2BAA2B,KAAK,UAAU,KAC7CA,IAAG,aAAa,KAAK,WAAW,UAAU,KAC1C,KAAK,WAAW,WAAW,SAAS,aACpC,KAAK,WAAW,KAAK,SAAS;AAElC;;;AHlDO,SAAS,cACdC,UACAC,YACgB;AAChB,QAAM,UAAUD,SAAQ,eAAe;AACvC,QAAM,UAA0B,CAAC;AAEjC,aAAW,MAAMC,YAAW;AAuB1B,QAASC,SAAT,SAAe,MAAqB;AAIlC,UAAIC,IAAG,mBAAmB,IAAI,KAAK,gBAAgB,KAAK,cAAc,IAAI,GAAG;AAC3E,cAAM,OAAO,KAAK;AAClB,cAAM,OAAO,eAAe,IAAI;AAEhC,YAAI,QAAQ,WAAW,IAAI,KAAK,IAAI,GAAG;AACrC,eAAK,uBAAuB,KAAK,IAAI,IAAI;AAAA,QAC3C;AAEA,YAAIA,IAAG,aAAa,IAAI,GAAG;AACzB,gBAAM,MAAM,QAAQ,oBAAoB,IAAI;AAC5C,gBAAM,QAAQ,KAAK,gBAAgB,KAAK,CAAC;AACzC,gBAAM,iBAAiB,MAAM,KAAK,OAAK,SAAS,GAAG,GAAG,IAAI,CAAC;AAC3D,cAAI,OAAO,MAAM,SAAS,KAAK,CAAC,gBAAgB;AAC9C,iBAAK,2BAA2B,KAAK,IAAI,IAAI;AAAA,UAC/C;AAAA,QACF;AAEA,YACEA,IAAG,2BAA2B,IAAI,KAClC,KAAK,WAAW,SAASA,IAAG,WAAW,aACvC;AACA,eAAK,kBAAkB,KAAK,KAAK,IAAI,IAAI;AAAA,QAC3C;AAAA,MACF;AAKA,UAAIA,IAAG,iBAAiB,IAAI,KAAKA,IAAG,2BAA2B,KAAK,UAAU,GAAG;AAC/E,cAAM,SAAS,KAAK,WAAW,KAAK;AACpC,cAAM,OAAO,eAAe,KAAK,WAAW,UAAU;AAEtD,YAAI,QAAQ,WAAW,IAAI,KAAK,IAAI,KAAK,uBAAuB,IAAI,MAAM,GAAG;AAC3E,eAAK,uBAAuB,KAAK,IAAI,YAAY,MAAM,MAAM;AAAA,QAC/D;AAAA,MACF;AAKA,UAAIA,IAAG,aAAa,IAAI,GAAG;AACzB,cAAM,MAAM,QAAQ,oBAAoB,IAAI;AAC5C,YAAI,OAAO,eAAe,IAAI,IAAI,QAAQ,CAAC,GAAG;AAC5C,eAAK,qBAAqB,IAAI,QAAQ,CAAC,IAAI;AAAA,QAC7C;AAAA,MACF;AAEA,UAAIA,IAAG,2BAA2B,IAAI,GAAG;AACvC,cAAM,OAAO,eAAe,KAAK,UAAU;AAE3C,YAAI,MAAM,SAAS,aAAa,KAAK,KAAK,SAAS,OAAO;AACxD,eAAK,4CAA4C;AAAA,QACnD;AAEA,YAAI,MAAM,SAAS,WAAW;AAC5B,eAAK,mBAAmB;AAAA,QAC1B;AAAA,MACF;AAKA,UAAIA,IAAG,iBAAiB,IAAI,GAAG;AAC7B,cAAM,OAAO,QAAQ,kBAAkB,IAAI;AAC3C,cAAM,OAAO,KAAK;AAGlB,YACEA,IAAG,2BAA2B,IAAI,KAClCA,IAAG,aAAa,KAAK,UAAU,KAC/B,KAAK,WAAW,SAAS,UACzB,KAAK,KAAK,SAAS,OACnB;AACA,eAAK,sCAAsC;AAAA,QAC7C;AAEA,YACEA,IAAG,2BAA2B,IAAI,KAClCA,IAAG,aAAa,KAAK,UAAU,KAC/B,KAAK,WAAW,SAAS,UACzB,KAAK,KAAK,SAAS,UACnB;AACA,eAAK,yCAAyC;AAAA,QAChD;AAGA,YAAI,cAAc,MAAM,OAAO,GAAG;AAChC,cAAI,CAAC,UAAU,IAAI,KAAK,CAAC,WAAW,IAAI,KAAK,CAAC,kBAAkB,IAAI,GAAG;AACrE,iBAAK,mCAAmC;AAAA,UAC1C;AAAA,QACF;AAEA,YAAI,aAAa,IAAI,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,WAAW,IAAI,GAAG;AAC/D,eAAK,yBAAyB;AAAA,QAChC;AAEA,YAAI,eAAe,IAAI,GAAG;AACxB,eAAK,6CAA6C;AAAA,QACpD;AAEA,YAAI,qBAAqB,IAAI,GAAG;AAC9B,eAAK,6CAA6C;AAAA,QACpD;AAAA,MACF;AAKA,UAAIA,IAAG,gBAAgB,IAAI,GAAG;AAC5B,YAAIA,IAAG,aAAa,KAAK,UAAU,KAAK,KAAK,WAAW,SAAS,QAAQ;AACvE,eAAK,uCAAuC;AAAA,QAC9C;AAAA,MACF;AAKA,UAAIA,IAAG,kBAAkB,IAAI,GAAG;AAC9B,wBAAgB;AAAA,MAClB;AAEA,UAAIA,IAAG,eAAe,IAAI,KAAK,KAAK,aAAa;AAC/C,sBAAc;AAAA,MAChB;AAEA,UAAIA,IAAG,cAAc,IAAI,KAAK,KAAK,MAAM,WAAW,WAAW,GAAG;AAChE,aAAK,qCAAqC;AAAA,MAC5C;AAEA,MAAAA,IAAG,aAAa,MAAMD,MAAK;AAAA,IAC7B;AAtIS,gBAAAA;AAtBT,UAAM,KAAK,GAAG,KAAK,cAAc;AACjC,UAAM,EAAE,MAAM,UAAU,IAAI,GAAG;AAAA,MAC7B,GAAG,KAAK,SAAS,EAAE;AAAA,IACrB;AAEA,UAAM,UAAoB,CAAC;AAC3B,UAAM,aAAa,oBAAI,IAAY;AAEnC,eAAW,KAAK,GAAG,KAAK,YAAY;AAClC,UAAIC,IAAG,aAAa,EAAE,IAAI,EAAG,YAAW,IAAI,EAAE,KAAK,IAAI;AAAA,IACzD;AAEA,UAAM,OAAO,CAAC,WAAmB;AAC/B,UAAI,CAAC,QAAQ,SAAS,MAAM,EAAG,SAAQ,KAAK,MAAM;AAAA,IACpD;AAEA,QAAI,gBAAgB;AACpB,QAAI,cAAc;AAElB,UAAM,kBACJ,GAAG,KAAK,WAAW,KAAK,OAAK,EAAE,SAASA,IAAG,WAAW,YAAY,KAAK;AA0IzE,IAAAD,OAAM,GAAG,IAAI;AAEb,QAAI,mBAAmB,CAAC,eAAe;AACrC,WAAK,8BAA8B;AAAA,IACrC;AAEA,QAAI,mBAAmB,iBAAiB,CAAC,aAAa;AACpD,WAAK,sDAAsD;AAAA,IAC7D;AAEA,YAAQ,KAAK;AAAA,MACX,IAAI,GAAG;AAAA,MACP,MAAM,GAAG;AAAA,MACT,MAAM,GAAG;AAAA,MACT,MAAM,OAAO;AAAA,MACb,WAAW,YAAY;AAAA,MACvB,QAAQ,QAAQ,WAAW;AAAA,MAC3B;AAAA,IACF,CAAC;AAAA,EACH;AAEA,SAAO;AACT;;;AIvMO,SAAS,kBACdE,QACAC,SACgB;AAGhB,QAAM,YAAY,oBAAI,IAA0B;AAChD,aAAW,KAAKA,SAAQ;AACtB,cAAU,IAAI,EAAE,IAAI,CAAC;AAAA,EACvB;AAGA,QAAM,UAAU,oBAAI,IAAyB;AAE7C,aAAW,CAAC,UAAU,SAAS,KAAKD,OAAM,QAAQ,GAAG;AACnD,eAAW,YAAY,WAAW;AAChC,UAAI,CAAC,QAAQ,IAAI,QAAQ,GAAG;AAC1B,gBAAQ,IAAI,UAAU,oBAAI,IAAI,CAAC;AAAA,MACjC;AACA,cAAQ,IAAI,QAAQ,EAAG,IAAI,QAAQ;AAAA,IACrC;AAAA,EACF;AAGA,QAAM,QAAkB,CAAC;AAGzB,aAAW,KAAKC,SAAQ;AACtB,QAAI,CAAC,EAAE,QAAQ;AACb,YAAM,KAAK,EAAE,EAAE;AAAA,IACjB;AAAA,EACF;AAEA,SAAO,MAAM,SAAS,GAAG;AACvB,UAAM,WAAW,MAAM,MAAM;AAC7B,UAAM,UAAU,QAAQ,IAAI,QAAQ;AACpC,QAAI,CAAC,QAAS;AAEd,eAAW,YAAY,SAAS;AAC9B,YAAM,SAAS,UAAU,IAAI,QAAQ;AACrC,UAAI,CAAC,OAAQ;AAEb,UAAI,OAAO,QAAQ;AACjB,eAAO,SAAS;AAChB,eAAO,QAAQ,KAAK,uBAAuB;AAC3C,cAAM,KAAK,QAAQ;AAAA,MACrB;AAAA,IACF;AAAA,EACF;AAEA,SAAO,MAAM,KAAK,UAAU,OAAO,CAAC;AACtC;;;AChDA,IAAM,UAAU,QAAQ,KAAK,CAAC;AAE9B,IAAI,YAAY,WAAW;AACzB,UAAQ,IAAI,2BAA2B;AACvC,UAAQ,KAAK,CAAC;AAChB;AAEA,IAAM,UAAU,gBAAgB,eAAe;AAC/C,IAAM,YAAY,iBAAiB,OAAO;AAC1C,IAAM,QAAQ,eAAe,SAAS,SAAS;AAE/C,IAAI,SAAS,cAAc,SAAS,SAAS;AAC7C,SAAS,kBAAkB,OAAO,MAAM;AAKxC,QAAQ,IAAI,iBAAiB;AAE7B,IAAI,YAAY;AAEhB,WAAW,CAAC,UAAU,OAAO,KAAK,MAAM,QAAQ,GAAG;AACjD,QAAM,SAAS,UAAU,KAAK,OAAK,EAAE,OAAO,QAAQ;AACpD,QAAM,aAAa,SAAS,OAAO,OAAO;AAE1C,aAAW,YAAY,SAAS;AAC9B,UAAM,SAAS,UAAU,KAAK,OAAK,EAAE,OAAO,QAAQ;AACpD,UAAM,aAAa,SAAS,OAAO,OAAO;AAE1C,YAAQ,IAAI,GAAG,UAAU,WAAM,UAAU,EAAE;AAC3C;AAAA,EACF;AACF;AAEA,IAAI,cAAc,GAAG;AACnB,UAAQ,IAAI,qCAAqC;AACnD;AAEA,QAAQ,IAAI;AAAA,oBAAuB,SAAS,EAAE;AAK9C,QAAQ,IAAI,oBAAoB;AAEhC,IAAM,SAAS,OAAO,OAAO,OAAK,CAAC,EAAE,MAAM;AAE3C,IAAI,OAAO,WAAW,GAAG;AACvB,UAAQ,IAAI,kCAAkC;AAChD,OAAO;AACL,aAAW,KAAK,QAAQ;AACtB,YAAQ,IAAI,GAAG,EAAE,IAAI,IAAI,EAAE,IAAI,IAAI,EAAE,SAAS,EAAE;AAChD,YAAQ,IAAI,aAAa,EAAE,IAAI,EAAE;AACjC,YAAQ,IAAI,kBAAkB;AAC9B,YAAQ,IAAI,UAAU;AACtB,eAAW,UAAU,EAAE,SAAS;AAC9B,cAAQ,IAAI,OAAO,MAAM,EAAE;AAAA,IAC7B;AACA,YAAQ,IAAI,EAAE;AAAA,EAChB;AACF;","names":["ts","program","ts","program","functions","graph","visit","ts","ts","ts","program","functions","visit","ts","graph","purity"]}

package/dist/index.cjs

@@ -23,7 +23,7 @@ __export(index_exports, {
   version: () => version
 });
 module.exports = __toCommonJS(index_exports);
-var version = "0.0.1";
+var version = "0.0.2";
 // Annotate the CommonJS export names for ESM import in node:
 0 && (module.exports = {
   version

package/dist/index.cjs.map

@@ -1 +1 @@
-{"version":3,"sources":["../src/index.ts"],"sourcesContent":["export const version = \"0.0.1\";"],"mappings":";;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA;AAAA;AAAA;AAAO,IAAM,UAAU;","names":[]}
+{"version":3,"sources":["../src/index.ts"],"sourcesContent":["export const version = \"0.0.2\";"],"mappings":";;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA;AAAA;AAAA;AAAO,IAAM,UAAU;","names":[]}

package/dist/index.d.cts

@@ -1,3 +1,3 @@
-declare const version = "0.0.1";
+declare const version = "0.0.2";
 
 export { version };

package/dist/index.d.ts

@@ -1,3 +1,3 @@
-declare const version = "0.0.1";
+declare const version = "0.0.2";
 
 export { version };

package/dist/index.js

@@ -1,5 +1,5 @@
 // src/index.ts
-var version = "0.0.1";
+var version = "0.0.2";
 export {
   version
 };

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../src/index.ts"],"sourcesContent":["export const version = \"0.0.1\";"],"mappings":";AAAO,IAAM,UAAU;","names":[]}
+{"version":3,"sources":["../src/index.ts"],"sourcesContent":["export const version = \"0.0.2\";"],"mappings":";AAAO,IAAM,UAAU;","names":[]}

package/package.json

@@ -1,36 +1,36 @@
-{
-  "name": "callograph",
-  "version": "0.0.2",
-  "description": "TypeScript call graph and side-effect analyzer.",
-  "license": "MIT",
-  "type": "module",
-  "main": "./dist/index.cjs",
-  "module": "./dist/index.js",
-  "types": "./dist/index.d.ts",
-  "files": [
-    "dist",
-    "README.md",
-    "LICENSE"
-  ],
-  "scripts": {
-    "build": "tsup",
-    "dev": "tsup --watch",
-    "prepublishOnly": "npm run build"
-  },
-  "devDependencies": {
-    "@types/node": "^25.2.3",
-    "tsup": "^8.5.1",
-    "typescript": "^5.9.3"
-  },
-  "bin": {
-    "callograph": "./dist/cli.cjs"
-  },
-  "repository": {
-    "type": "git",
-    "url": "git+https://github.com/<your-username>/callograph.git"
-  },
-  "bugs": {
-    "url": "https://github.com/<your-username>/callograph/issues"
-  },
-  "homepage": "https://github.com/<your-username>/callograph#readme"
-}
+{
+  "name": "callograph",
+  "version": "0.0.3",
+  "description": "TypeScript call graph and side-effect analyzer.",
+  "license": "MIT",
+  "type": "module",
+  "main": "./dist/index.cjs",
+  "module": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "files": [
+    "dist",
+    "README.md",
+    "LICENSE"
+  ],
+  "scripts": {
+    "build": "tsup",
+    "dev": "tsup --watch",
+    "prepublishOnly": "npm run build"
+  },
+  "devDependencies": {
+    "@types/node": "^25.2.3",
+    "tsup": "^8.5.1",
+    "typescript": "^5.9.3"
+  },
+  "bin": {
+    "callograph": "./dist/cli.cjs"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/miraclemarcel/callograph.git"
+  },
+  "bugs": {
+    "url": "https://github.com/miraclemarcel/callograph/issues"
+  },
+  "homepage": "https://github.com/miraclemarcel/callograph#readme"
+}