blitzstrike 1.0.34 → 1.0.38

package/dist/index.js

@@ -14820,8 +14820,8 @@ var require_src = __commonJS(function(exports, module) {
 });
 
 // src/sync.ts
-import { mkdirSync as mkdirSync3, writeFileSync as writeFileSync3, readFileSync as readFileSync12, readdirSync as readdirSync5, statSync as statSync3, rmSync as rmSync2 } from "node:fs";
-import { join as join10 } from "node:path";
+import { mkdirSync as mkdirSync3, writeFileSync as writeFileSync4, readFileSync as readFileSync15, readdirSync as readdirSync5, statSync as statSync3, rmSync as rmSync3 } from "node:fs";
+import { join as join11 } from "node:path";
 import { homedir as homedir4 } from "node:os";
 import { fileURLToPath as fileURLToPath7 } from "node:url";
 import { spawnSync as spawnSync2 } from "node:child_process";
@@ -14838,7 +14838,7 @@ function countFiles(dir) {
     const walk = (d) => {
       for (const e of readdirSync5(d, { withFileTypes: true })) {
         if (e.isDirectory())
-          walk(join10(d, e.name));
+          walk(join11(d, e.name));
         else
           n++;
       }
@@ -14852,8 +14852,8 @@ function countFiles(dir) {
 function syncData() {
   if (!dirExists(DATA_ROOT2))
     mkdirSync3(DATA_ROOT2, { recursive: true });
-  const payloadsPath = join10(DATA_ROOT2, "payloads");
-  const templatesPath = join10(DATA_ROOT2, "templates");
+  const payloadsPath = join11(DATA_ROOT2, "payloads");
+  const templatesPath = join11(DATA_ROOT2, "templates");
   const hasPayloads = dirExists(payloadsPath) && countFiles(payloadsPath) > 0;
   const hasTemplates = dirExists(templatesPath) && countFiles(templatesPath) > 0;
   if (hasPayloads && hasTemplates) {
@@ -14863,8 +14863,8 @@ function syncData() {
       data_root: DATA_ROOT2
     };
   }
-  const localPayloads = join10(ROOT5, "payloads");
-  const localTemplates = join10(ROOT5, "templates");
+  const localPayloads = join11(ROOT5, "payloads");
+  const localTemplates = join11(ROOT5, "templates");
   let payloadsSynced = false;
   let templatesSynced = false;
   if (!hasPayloads && dirExists(localPayloads)) {
@@ -14877,23 +14877,23 @@ function syncData() {
   }
   const gitOk = spawnSync2("git", ["--version"]).status === 0;
   if (gitOk && (!dirExists(payloadsPath) || countFiles(payloadsPath) === 0 || !dirExists(templatesPath) || countFiles(templatesPath) === 0)) {
-    const tmp = join10(DATA_ROOT2, ".tmp-clone");
+    const tmp = join11(DATA_ROOT2, ".tmp-clone");
     if (dirExists(tmp))
-      rmSync2(tmp, { recursive: true, force: true });
+      rmSync3(tmp, { recursive: true, force: true });
     const r = spawnSync2("git", ["clone", "--depth", "1", "--filter=blob:none", "--sparse", GITHUB_REPO, tmp], { timeout: 120000 });
     if (r.status === 0) {
       const sparse = spawnSync2("git", ["-C", tmp, "sparse-checkout", "set", "payloads", "templates"], { timeout: 120000 });
       if (sparse.status === 0) {
         if (!dirExists(payloadsPath) || countFiles(payloadsPath) === 0) {
-          copyDir(join10(tmp, "payloads"), payloadsPath);
+          copyDir(join11(tmp, "payloads"), payloadsPath);
           payloadsSynced = true;
         }
         if (!dirExists(templatesPath) || countFiles(templatesPath) === 0) {
-          copyDir(join10(tmp, "templates"), templatesPath);
+          copyDir(join11(tmp, "templates"), templatesPath);
           templatesSynced = true;
         }
       }
-      rmSync2(tmp, { recursive: true, force: true });
+      rmSync3(tmp, { recursive: true, force: true });
     }
   }
   return {
@@ -14911,18 +14911,18 @@ function copyDir(src, dst) {
 function manualCopy(src, dst) {
   mkdirSync3(dst, { recursive: true });
   for (const e of readdirSync5(src, { withFileTypes: true })) {
-    const s = join10(src, e.name);
-    const d = join10(dst, e.name);
+    const s = join11(src, e.name);
+    const d = join11(dst, e.name);
     if (e.isDirectory())
       manualCopy(s, d);
     else
-      writeFileSync3(d, readFileSync12(s));
+      writeFileSync4(d, readFileSync15(s));
   }
 }
 var ROOT5, DATA_ROOT2, GITHUB_REPO = "https://github.com/shinthink/blitzstrike.git";
 var init_sync = __esm(() => {
-  ROOT5 = join10(fileURLToPath7(new URL(".", import.meta.url)), "..");
-  DATA_ROOT2 = process.env.BLITZSTRIKE_DATA ?? join10(homedir4(), ".blitzstrike", "data");
+  ROOT5 = join11(fileURLToPath7(new URL(".", import.meta.url)), "..");
+  DATA_ROOT2 = process.env.BLITZSTRIKE_DATA ?? join11(homedir4(), ".blitzstrike", "data");
 });
 
 // src/update.ts
@@ -31067,16 +31067,16 @@ function classifySource(line) {
 }
 var SINK_CLASS_MAP = [
   [/->query\(|\$wpdb->query|\$wpdb->get_var|\$wpdb->get_results|->whereRaw|->selectRaw/, { id: "sql_execution", category: "SQL execution", cwe: "CWE-89" }],
-  [/eval\(|assert\(|create_function\(|call_user_func\(|preg_replace\(/, { id: "code_execution", category: "Dynamic evaluation / code execution", cwe: "CWE-94" }],
-  [/system\(|exec\(|shell_exec\(|passthru\(|proc_open\(|popen\(/, { id: "command_execution", category: "Command execution", cwe: "CWE-78" }],
-  [/move_uploaded_file\(|file_put_contents\(|fwrite\(|fopen\(|unlink\(/, { id: "file_operations", category: "File operations", cwe: "CWE-434" }],
-  [/include\(|require\(|include_once\(|require_once\(/, { id: "file_inclusion", category: "File inclusion", cwe: "CWE-98" }],
-  [/unserialize\(|maybe_unserialize\(/, { id: "deserialization", category: "Deserialization", cwe: "CWE-502" }],
-  [/wp_remote_get\(|wp_remote_post\(|file_get_contents\(|curl_exec\(/, { id: "http_request", category: "HTTP request (SSRF)", cwe: "CWE-918" }],
-  [/header\(|wp_redirect\(|wp_safe_redirect\(/, { id: "redirect", category: "Redirect handling", cwe: "CWE-601" }],
-  [/echo\s|print\s|printf\(/, { id: "html_render", category: "HTML rendering (XSS)", cwe: "CWE-79" }],
-  [/simplexml_load_string\(|new SimpleXMLElement|DOMDocument/, { id: "xml_processing", category: "XML processing (XXE)", cwe: "CWE-611" }],
-  [/ZipArchive|PharData|->extractTo\(/, { id: "archive_extraction", category: "Archive extraction (zip slip)", cwe: "CWE-22" }]
+  [/\beval\(|\bassert\(|\bcreate_function\(|\bcall_user_func\(|\bpreg_replace\(/, { id: "code_execution", category: "Dynamic evaluation / code execution", cwe: "CWE-94" }],
+  [/\bsystem\(|\bexec\(|\bshell_exec\(|\bpassthru\(|\bproc_open\(|\bpopen\(/, { id: "command_execution", category: "Command execution", cwe: "CWE-78" }],
+  [/\bmove_uploaded_file\(|\bfile_put_contents\(|\bfwrite\(|\bfopen\(|\bunlink\(/, { id: "file_operations", category: "File operations", cwe: "CWE-434" }],
+  [/\binclude\(|\brequire\(|\binclude_once\(|\brequire_once\(/, { id: "file_inclusion", category: "File inclusion", cwe: "CWE-98" }],
+  [/\bunserialize\(|\bmaybe_unserialize\(/, { id: "deserialization", category: "Deserialization", cwe: "CWE-502" }],
+  [/\bwp_remote_get\(|\bwp_remote_post\(|\bfile_get_contents\(|\bcurl_exec\(|\bcurl_setopt\(/, { id: "http_request", category: "HTTP request (SSRF)", cwe: "CWE-918" }],
+  [/\bheader\(|\bwp_redirect\(/, { id: "redirect", category: "Redirect handling", cwe: "CWE-601" }],
+  [/echo\s|print\s|\bprintf\(/, { id: "html_render", category: "HTML rendering (XSS)", cwe: "CWE-79" }],
+  [/\bsimplexml_load_string\(|new SimpleXMLElement|DOMDocument/, { id: "xml_processing", category: "XML processing (XXE)", cwe: "CWE-611" }],
+  [/\bZipArchive|\bPharData|->extractTo\(/, { id: "archive_extraction", category: "Archive extraction (zip slip)", cwe: "CWE-22" }]
 ];
 function classifySink2(sink) {
   for (const [re, cls] of SINK_CLASS_MAP) {
@@ -31593,6 +31593,775 @@ function taintTree(root, maxFiles = 2000) {
   return files.map((f) => analyzeTaint(f));
 }
 
+// src/eagle2.ts
+var import_php_parser3 = __toESM(require_src(), 1);
+import { readFileSync as readFileSync12 } from "node:fs";
+init_scanner();
+
+// src/callgraph.ts
+var import_php_parser2 = __toESM(require_src(), 1);
+import { readFileSync as readFileSync11 } from "node:fs";
+var parser2 = new import_php_parser2.Engine({
+  parser: { extractDoc: false, php7: true },
+  ast: { withPositions: true, withSource: false }
+});
+function isNode2(v) {
+  return !!v && typeof v === "object" && typeof v.kind === "string";
+}
+function children2(node) {
+  const out = [];
+  for (const k of Object.keys(node)) {
+    if (k === "loc")
+      continue;
+    const v = node[k];
+    if (Array.isArray(v)) {
+      for (const c of v)
+        if (isNode2(c))
+          out.push(c);
+    } else if (isNode2(v)) {
+      out.push(v);
+    }
+  }
+  return out;
+}
+function nameOf(node) {
+  if (!isNode2(node))
+    return null;
+  if (typeof node.name === "string")
+    return node.name;
+  if (isNode2(node.name))
+    return nameOf(node.name);
+  return null;
+}
+function nodeId(kind, name, cls) {
+  if (kind === "function")
+    return `func:${name}`;
+  if (kind === "method")
+    return `method:${cls ?? "?"}::${name}`;
+  return "main";
+}
+function ensureNode(g, id, name, kind, file, line, cls) {
+  let n = g.nodes.get(id);
+  if (!n) {
+    n = { id, name, kind, class: cls, file, line, callees: new Set, callers: new Set };
+    g.nodes.set(id, n);
+  }
+  return n;
+}
+function addEdge(g, caller, callee, name, line, file) {
+  g.edges.push({ caller, callee, name, line, file });
+  const c = g.nodes.get(caller);
+  const t = g.nodes.get(callee);
+  if (c)
+    c.callees.add(callee);
+  if (t)
+    t.callers.add(caller);
+}
+function buildCallGraph(path) {
+  const g = { nodes: new Map, edges: [] };
+  let code;
+  try {
+    code = readFileSync11(path, "utf8");
+  } catch {
+    return g;
+  }
+  let ast;
+  try {
+    ast = parser2.parseCode(code, path);
+  } catch {
+    return g;
+  }
+  const mainId = nodeId("main", "main");
+  ensureNode(g, mainId, "<main>", "main", path, 0);
+  const funcs = [];
+  const methods = [];
+  walk(ast, path, (n, ctx) => {
+    if (n.kind === "function") {
+      const name = nameOf(n.name);
+      if (name)
+        funcs.push({ name, node: n });
+    } else if (n.kind === "method" && ctx.className) {
+      const mname = nameOf(n.name);
+      if (mname)
+        methods.push({ cls: ctx.className, name: mname, node: n });
+    }
+  });
+  for (const f of funcs) {
+    const id = nodeId("function", f.name);
+    ensureNode(g, id, f.name, "function", path, f.node.loc?.start?.line ?? 0);
+  }
+  for (const m of methods) {
+    const id = nodeId("method", m.name, m.cls);
+    ensureNode(g, id, m.name, "method", path, m.node.loc?.start?.line ?? 0, m.cls);
+  }
+  walk(ast, path, (n, ctx) => {
+    if (n.kind !== "call")
+      return;
+    const line = n.loc?.start?.line ?? 0;
+    const callerId = ctx.enclosing ?? mainId;
+    resolveCall(g, n, callerId, ctx, path, line);
+  });
+  return g;
+}
+function walk(node, file, visit, ctx = {}) {
+  if (!isNode2(node))
+    return;
+  let childCtx = ctx;
+  if (node.kind === "class") {
+    childCtx = { ...ctx, className: nameOf(node.name) ?? undefined };
+  } else if (node.kind === "function") {
+    const name = nameOf(node.name);
+    childCtx = { ...ctx, enclosing: name ? nodeId("function", name) : ctx.enclosing };
+  } else if (node.kind === "method") {
+    const name = nameOf(node.name);
+    childCtx = { ...ctx, enclosing: name ? nodeId("method", name, ctx.className) : ctx.enclosing };
+  }
+  visit(node, ctx);
+  for (const c of children2(node))
+    walk(c, file, visit, childCtx);
+}
+function resolveCall(g, call, callerId, ctx, file, line) {
+  const what = call.what;
+  if (!isNode2(what))
+    return;
+  if (what.kind === "name") {
+    const fn = nameOf(what);
+    if (!fn)
+      return;
+    const id = nodeId("function", fn);
+    if (g.nodes.has(id)) {
+      addEdge(g, callerId, id, fn, line, file);
+    } else {
+      addEdge(g, callerId, `unknown:${fn}`, fn, line, file);
+    }
+    return;
+  }
+  if (what.kind === "staticlookup") {
+    const base = what.what;
+    const baseName = nameOf(base) ?? (isNode2(base) && base.kind === "variable" ? base.name : null);
+    const method = nameOf(what.offset);
+    if (!method)
+      return;
+    let cls = baseName;
+    if (cls === "self" || cls === "static")
+      cls = ctx.className ?? "?";
+    if (cls && cls !== "?") {
+      const id = nodeId("method", method, cls);
+      if (g.nodes.has(id))
+        addEdge(g, callerId, id, method, line, file);
+    }
+    return;
+  }
+  if (what.kind === "propertylookup") {
+    const base = what.what;
+    const method = nameOf(what.offset);
+    if (!method)
+      return;
+    if (isNode2(base) && base.kind === "variable" && base.name === "this") {
+      if (ctx.className) {
+        const id = nodeId("method", method, ctx.className);
+        if (g.nodes.has(id))
+          addEdge(g, callerId, id, method, line, file);
+      }
+      return;
+    }
+    let matched = false;
+    for (const [id, n] of g.nodes) {
+      if (n.kind === "method" && n.name === method) {
+        addEdge(g, callerId, id, method, line, file);
+        matched = true;
+      }
+    }
+    if (!matched)
+      addEdge(g, callerId, `unknown:${method}`, method, line, file);
+    return;
+  }
+}
+function reachableFrom(g, entry) {
+  const seen = new Set;
+  const stack = [entry];
+  while (stack.length) {
+    const cur = stack.pop();
+    if (seen.has(cur))
+      continue;
+    seen.add(cur);
+    const n = g.nodes.get(cur);
+    if (!n)
+      continue;
+    for (const c of n.callees)
+      stack.push(c);
+  }
+  return seen;
+}
+function entryPoints(g) {
+  const entries = [];
+  for (const [id, n] of g.nodes) {
+    if (n.callers.size === 0)
+      entries.push(id);
+  }
+  return entries;
+}
+
+// src/eagle2.ts
+var parser3 = new import_php_parser3.Engine({
+  parser: { extractDoc: false, php7: true },
+  ast: { withPositions: true, withSource: false }
+});
+function isNode3(v) {
+  return !!v && typeof v === "object" && typeof v.kind === "string";
+}
+function children3(node) {
+  const out = [];
+  for (const k of Object.keys(node)) {
+    if (k === "loc")
+      continue;
+    const v = node[k];
+    if (Array.isArray(v)) {
+      for (const c of v)
+        if (isNode3(c))
+          out.push(c);
+    } else if (isNode3(v)) {
+      out.push(v);
+    }
+  }
+  return out;
+}
+function findKind2(node, kind, out = []) {
+  if (!isNode3(node))
+    return out;
+  if (node.kind === kind)
+    out.push(node);
+  for (const c of children3(node))
+    findKind2(c, kind, out);
+  return out;
+}
+function nameOf2(node) {
+  if (!isNode3(node))
+    return null;
+  if (typeof node.name === "string")
+    return node.name;
+  if (isNode3(node.name))
+    return nameOf2(node.name);
+  return null;
+}
+function rootVarName2(node) {
+  if (!isNode3(node))
+    return null;
+  if (node.kind === "variable")
+    return node.name ?? null;
+  if (node.kind === "name")
+    return typeof node.name === "string" ? node.name : node.name?.name ?? null;
+  if (node.kind === "offsetlookup" || node.kind === "propertylookup")
+    return rootVarName2(node.what);
+  return null;
+}
+function sourceOf2(node) {
+  if (!isNode3(node))
+    return null;
+  if (node.kind === "offsetlookup" && node.what?.kind === "variable") {
+    const n = node.what.name;
+    if (["_GET", "_POST", "_REQUEST", "_COOKIE", "_FILES", "_SERVER"].includes(n))
+      return "$" + n;
+  }
+  if (node.kind === "variable") {
+    const n = node.name;
+    if (["_GET", "_POST", "_REQUEST", "_COOKIE", "_FILES", "_SERVER"].includes(n))
+      return "$" + n;
+  }
+  if (node.kind === "call") {
+    const n = rootVarName2(node.what);
+    if (n === "getallheaders")
+      return "getallheaders";
+    if (n === "file_get_contents" && JSON.stringify(node).includes("php://input"))
+      return "php://input";
+  }
+  return null;
+}
+function sinkClassOf2(call) {
+  const what = call.what;
+  if (!isNode3(what))
+    return null;
+  let token = "";
+  if (what.kind === "propertylookup") {
+    const baseNode = what.what;
+    const base = rootVarName2(baseNode);
+    const method = what.offset?.name ?? what.offset?.value;
+    const baseStr = isNode3(baseNode) && (baseNode.kind === "variable" || baseNode.kind === "offsetlookup") ? `$${base}` : base;
+    token = `${baseStr}->${method}(`;
+  } else if (what.kind === "name") {
+    token = `${what.name}(`;
+  }
+  if (!token)
+    return null;
+  const cls = classifySink2(token) ?? classifySink2(what.name ?? "");
+  if (!cls)
+    return null;
+  return { token, cls };
+}
+var CLEAN = { tainted: false, sources: [], sanitizers: [] };
+function mergeTaint(...states) {
+  const taintedStates = states.filter((s) => s.tainted);
+  if (taintedStates.length === 0)
+    return CLEAN;
+  const sources = [...new Set(taintedStates.flatMap((s) => s.sources))];
+  let sanitizers = taintedStates[0].sanitizers;
+  for (const s of taintedStates.slice(1)) {
+    sanitizers = sanitizers.filter((san) => s.sanitizers.some((x) => x.id === san.id));
+  }
+  return {
+    tainted: true,
+    sources,
+    sanitizers,
+    sourceLine: taintedStates.find((s) => s.sourceLine !== undefined)?.sourceLine
+  };
+}
+function summarizeFunction(fn, id, name, summaries) {
+  const params = (fn.arguments ?? []).map((a) => nameOf2(a) ?? "?");
+  const byrefParams = new Set;
+  (fn.arguments ?? []).forEach((a, i) => {
+    if (a.byref === true)
+      byrefParams.add(params[i]);
+  });
+  const summary = { id, name, params, byrefParams, paramSinks: new Map, paramReturns: new Set, paramCalls: new Map, paramWrites: new Map };
+  const bodyStmts = fn.body?.kind === "block" ? fn.body.children ?? [] : [fn.body];
+  for (const p of params) {
+    const env = new Map;
+    for (const q of params)
+      env.set(q, CLEAN);
+    env.set(p, { tainted: true, sources: [`arg:${p}`], sanitizers: [] });
+    const ctx = { sinks: [], returnsTainted: false, calls: [] };
+    analyzeBody(bodyStmts, env, summary, ctx, p, new Map, [], summaries);
+    summary.paramSinks.set(p, ctx.sinks);
+    if (ctx.returnsTainted)
+      summary.paramReturns.add(p);
+    summary.paramCalls.set(p, ctx.calls);
+    if (byrefParams.has(p)) {
+      const finalTaint = env.get(p);
+      const written = finalTaint?.sources.filter((s) => !s.startsWith("arg:")) ?? [];
+      if (written.length > 0)
+        summary.paramWrites.set(p, written);
+    }
+  }
+  return summary;
+}
+function analyzeBody(statements, env, summary, ctx, taintedParam, props, activeAuth, summaries, validating = false) {
+  for (const stmt of statements) {
+    if (!isNode3(stmt))
+      continue;
+    const kind = stmt.kind;
+    if (kind === "expressionstatement") {
+      analyzeExpr(stmt.expression, env, summary, ctx, taintedParam, props, activeAuth, summaries, validating);
+    } else if (kind === "if") {
+      const condGates = authGatesOf(stmt.test);
+      const branchAuth = [...activeAuth, ...condGates];
+      const condValidating = validationGatesOf(stmt.test);
+      const thenStmts = stmt.body?.kind === "block" ? stmt.body.children ?? [] : [stmt.body];
+      const thenEnv = cloneEnv(env);
+      const thenCtx = { sinks: [], returnsTainted: false, calls: [] };
+      analyzeBody(thenStmts, thenEnv, summary, thenCtx, taintedParam, cloneProps(props), branchAuth, summaries, validating || condValidating);
+      mergeCtx(ctx, thenCtx);
+      if (stmt.alternate) {
+        const altStmts = stmt.alternate.kind === "block" ? stmt.alternate.children ?? [] : [stmt.alternate];
+        const altEnv = cloneEnv(env);
+        const altCtx = { sinks: [], returnsTainted: false, calls: [] };
+        analyzeBody(altStmts, altEnv, summary, altCtx, taintedParam, cloneProps(props), activeAuth, summaries, validating);
+        mergeCtx(ctx, altCtx);
+        for (const [k, v] of thenEnv) {
+          const alt = altEnv.get(k);
+          env.set(k, alt ? mergeTaint(v, alt) : v);
+        }
+      } else {
+        for (const [k, v] of thenEnv)
+          env.set(k, v);
+      }
+    } else if (kind === "block") {
+      analyzeBody(stmt.children ?? [], env, summary, ctx, taintedParam, props, activeAuth, summaries, validating);
+    } else if (kind === "return") {
+      const t = analyzeExpr(stmt.expr, env, summary, ctx, taintedParam, props, activeAuth, summaries, validating);
+      if (t.tainted)
+        ctx.returnsTainted = true;
+    } else if (kind === "echo" || kind === "print") {
+      analyzeExpr(stmt, env, summary, ctx, taintedParam, props, activeAuth, summaries, validating);
+    } else {
+      for (const c of children3(stmt)) {
+        if (c.kind === "block" || c.kind === "if") {
+          analyzeBody([c], env, summary, ctx, taintedParam, props, activeAuth, summaries, validating);
+        } else {
+          analyzeExpr(c, env, summary, ctx, taintedParam, props, activeAuth, summaries, validating);
+        }
+      }
+    }
+  }
+}
+function analyzeExpr(node, env, summary, ctx, taintedParam, props, activeAuth, summaries, validating = false) {
+  if (!isNode3(node))
+    return CLEAN;
+  const src = sourceOf2(node);
+  if (src)
+    return { tainted: true, sources: [src], sanitizers: [], sourceLine: node.loc?.start?.line };
+  if (node.kind === "assign") {
+    const byref = node.operator === "=&";
+    const rhs = analyzeExpr(node.right, env, summary, ctx, taintedParam, props, activeAuth, summaries, validating);
+    const lhs = node.left;
+    if (isNode3(lhs) && lhs.kind === "variable") {
+      const varName = lhs.name;
+      if (byref) {
+        const refVar = rootVarName2(node.right);
+        if (refVar) {
+          const refTaint = env.get(refVar) ?? rhs;
+          env.set(varName, refTaint);
+          env.set(refVar, refTaint);
+        } else {
+          env.set(varName, rhs);
+        }
+      } else {
+        env.set(varName, rhs);
+      }
+    } else if (isNode3(lhs) && lhs.kind === "propertylookup") {
+      const objName = rootVarName2(lhs.what);
+      const propName = lhs.offset?.name ?? "?";
+      if (objName) {
+        let oprops = props.get(objName);
+        if (!oprops) {
+          oprops = new Map;
+          props.set(objName, oprops);
+        }
+        oprops.set(propName, rhs);
+      }
+    }
+    return rhs;
+  }
+  if (node.kind === "call") {
+    const sink = sinkClassOf2(node);
+    const argTaints = node.arguments.map((a) => analyzeExpr(a, env, summary, ctx, taintedParam, props, activeAuth, summaries, validating));
+    const taintedArgs = argTaints.filter((t) => t.tainted);
+    if (sink) {
+      if (taintedArgs.length > 0) {
+        const san = [...taintedArgs.flatMap((t) => t.sanitizers), ...findSanitizers(JSON.stringify(node))];
+        const sanitized = isSanitized(san, sink.cls.id);
+        const gates = activeAuth;
+        ctx.sinks.push({ sink: sink.token, line: node.loc?.start?.line ?? 0, sanitized, authGated: gates.length > 0, authGates: gates });
+      }
+      for (const a of node.arguments)
+        analyzeExpr(a, env, summary, ctx, taintedParam, props, activeAuth, summaries, validating);
+      return taintedArgs.length > 0 ? mergeTaint(...taintedArgs) : CLEAN;
+    }
+    const fnName = rootVarName2(node.what);
+    if (fnName) {
+      const san = findSanitizers(fnName + "(");
+      if (san.length > 0) {
+        if (taintedArgs.length > 0) {
+          return mergeTaint(...taintedArgs.map((t) => ({ ...t, sanitizers: [...t.sanitizers, ...san] })));
+        }
+        return CLEAN;
+      }
+      for (let i = 0;i < node.arguments.length; i++) {
+        const argVar = rootVarName2(node.arguments[i]);
+        if (argVar === taintedParam) {
+          ctx.calls.push({ callee: fnName, argIndex: i, line: node.loc?.start?.line ?? 0 });
+        }
+      }
+      const helperId = resolveFuncId(fnName, summaries);
+      const helperSum = helperId ? summaries.get(helperId) : undefined;
+      if (helperSum && taintedArgs.length > 0) {
+        for (let i = 0;i < node.arguments.length; i++) {
+          if (argTaints[i]?.tainted) {
+            const paramName = helperSum.params[i];
+            if (paramName && helperSum.paramReturns.has(paramName)) {
+              return mergeTaint(...taintedArgs);
+            }
+          }
+        }
+      }
+      if (helperSum && helperSum.paramWrites.size > 0) {
+        for (let i = 0;i < node.arguments.length; i++) {
+          const paramName = helperSum.params[i];
+          if (!paramName || !helperSum.paramWrites.has(paramName))
+            continue;
+          const argVar = rootVarName2(node.arguments[i]);
+          const written = helperSum.paramWrites.get(paramName);
+          if (argVar) {
+            env.set(argVar, { tainted: true, sources: written, sanitizers: [] });
+          }
+        }
+      }
+    }
+    if (isNode3(node.what) && node.what.kind === "propertylookup") {
+      analyzeExpr(node.what, env, summary, ctx, taintedParam, props, activeAuth, summaries, validating);
+    }
+    return CLEAN;
+  }
+  if (node.kind === "variable") {
+    const t = env.get(node.name);
+    return t ? { ...t } : CLEAN;
+  }
+  if (node.kind === "offsetlookup") {
+    const root = rootVarName2(node);
+    if (root) {
+      const t = env.get(root);
+      if (t)
+        return { ...t };
+    }
+    return analyzeExpr(node.what, env, summary, ctx, taintedParam, props, activeAuth, summaries, validating);
+  }
+  if (node.kind === "propertylookup") {
+    const objName = rootVarName2(node.what);
+    const propName = node.offset?.name ?? "?";
+    if (objName) {
+      const pt = props.get(objName)?.get(propName);
+      if (pt)
+        return { ...pt };
+    }
+    return analyzeExpr(node.what, env, summary, ctx, taintedParam, props, activeAuth, summaries, validating);
+  }
+  if (node.kind === "retif") {
+    const t = analyzeExpr(node.trueExpr ?? node.test, env, summary, ctx, taintedParam, props, activeAuth, summaries, validating);
+    const f = node.falseExpr ? analyzeExpr(node.falseExpr, env, summary, ctx, taintedParam, props, activeAuth, summaries, validating) : CLEAN;
+    return mergeTaint(t, f);
+  }
+  if (node.kind === "bin" || node.kind === "concat" || node.kind === "encapsed") {
+    const parts = children3(node);
+    const taints = parts.map((p) => analyzeExpr(p, env, summary, ctx, taintedParam, props, activeAuth, summaries, validating));
+    return mergeTaint(...taints);
+  }
+  if (node.kind === "encapsedpart") {
+    return analyzeExpr(node.expression, env, summary, ctx, taintedParam, props, activeAuth, summaries, validating);
+  }
+  if (node.kind === "echo" || node.kind === "print") {
+    const exprs = node.expressions ?? [node.expression];
+    const cls = classifySink2(node.kind === "echo" ? "echo " : "print ");
+    let ret = CLEAN;
+    for (const e of exprs) {
+      const t = analyzeExpr(e, env, summary, ctx, taintedParam, props, activeAuth, summaries, validating);
+      if (t.tainted && cls) {
+        const san = [...t.sanitizers, ...findSanitizers(JSON.stringify(e))];
+        ctx.sinks.push({ sink: node.kind + " ", line: node.loc?.start?.line ?? 0, sanitized: isSanitized(san, cls.id) || validating, authGated: activeAuth.length > 0, authGates: activeAuth });
+      }
+      ret = mergeTaint(ret, t);
+    }
+    return ret;
+  }
+  if (node.kind === "include") {
+    const base = node.require ? "require" : "include";
+    const suffix = node.once ? "_once" : "";
+    const sinkToken = base + suffix + "(";
+    const cls = classifySink2(sinkToken);
+    const t = analyzeExpr(node.target, env, summary, ctx, taintedParam, props, activeAuth, summaries, validating);
+    if (t.tainted && cls) {
+      const san = [...t.sanitizers, ...findSanitizers(JSON.stringify(node))];
+      ctx.sinks.push({ sink: sinkToken, line: node.loc?.start?.line ?? 0, sanitized: isSanitized(san, cls.id) || validating, authGated: activeAuth.length > 0, authGates: activeAuth });
+    }
+    return t;
+  }
+  if (node.kind === "eval") {
+    const cls = classifySink2("eval(");
+    const t = analyzeExpr(node.source, env, summary, ctx, taintedParam, props, activeAuth, summaries, validating);
+    if (t.tainted && cls) {
+      ctx.sinks.push({ sink: "eval(", line: node.loc?.start?.line ?? 0, sanitized: false, authGated: activeAuth.length > 0, authGates: activeAuth });
+    }
+    return t;
+  }
+  return CLEAN;
+}
+function cloneEnv(env) {
+  return new Map([...env.entries()].map(([k, v]) => [k, { ...v, sources: [...v.sources], sanitizers: [...v.sanitizers] }]));
+}
+function cloneProps(props) {
+  const out = new Map;
+  for (const [k, v] of props)
+    out.set(k, new Map(v));
+  return out;
+}
+function mergeCtx(ctx, other) {
+  ctx.sinks.push(...other.sinks);
+  if (other.returnsTainted)
+    ctx.returnsTainted = true;
+  ctx.calls.push(...other.calls);
+}
+function authGatesOf(node) {
+  if (!isNode3(node))
+    return [];
+  return AUTH_GATES.filter((g) => JSON.stringify(node).includes(g));
+}
+var VALIDATION_GATES = ["in_array", "preg_match", "ctype_digit", "ctype_alnum", "is_numeric"];
+function validationGatesOf(node) {
+  if (!isNode3(node))
+    return false;
+  const text = JSON.stringify(node);
+  return VALIDATION_GATES.some((g) => text.includes(g));
+}
+function collectDecls(ast, out) {
+  walkDecls(ast, out);
+}
+function walkDecls(node, out, className) {
+  if (!isNode3(node))
+    return;
+  if (node.kind === "function") {
+    const name = nameOf2(node.name);
+    if (name)
+      out.push({ id: `func:${name}`, name, node, kind: "function" });
+  } else if (node.kind === "class") {
+    const cn = nameOf2(node.name);
+    for (const c of children3(node)) {
+      if (c.kind === "method") {
+        const mn = nameOf2(c.name);
+        if (mn && cn)
+          out.push({ id: `method:${cn}::${mn}`, name: mn, node: c, kind: "method" });
+      }
+    }
+    return;
+  } else if (node.kind === "method") {
+    const mn = nameOf2(node.name);
+    if (mn && className)
+      out.push({ id: `method:${className}::${mn}`, name: mn, node, kind: "method" });
+  }
+  const childCtx = node.kind === "class" ? nameOf2(node.name) ?? className : className;
+  for (const c of children3(node))
+    walkDecls(c, out, childCtx);
+}
+function resolveFuncId(name, summaries) {
+  if (summaries.has(`func:${name}`))
+    return `func:${name}`;
+  for (const [id, s] of summaries) {
+    if (s.name === name && id.startsWith("method:"))
+      return id;
+  }
+  return null;
+}
+function analyzeDataFlow2(path) {
+  const cg = buildCallGraph(path);
+  const entries = entryPoints(cg);
+  const reachable = new Set;
+  for (const e of entries)
+    for (const n of reachableFrom(cg, e))
+      reachable.add(n);
+  const unreachable = [...cg.nodes.keys()].filter((id) => !reachable.has(id));
+  const result = {
+    file: path,
+    findings: [],
+    suppressed: 0,
+    summary: { functions: 0, methods: 0, edges: cg.edges.length, entry_points: entries, unreachable }
+  };
+  let code;
+  try {
+    code = readFileSync12(path, "utf8");
+  } catch {
+    return result;
+  }
+  let ast;
+  try {
+    ast = parser3.parseCode(code, path);
+  } catch {
+    return result;
+  }
+  const summaries = new Map;
+  const decls = [];
+  collectDecls(ast, decls);
+  for (const d of decls) {
+    summaries.set(d.id, summarizeFunction(d.node, d.id, d.name, summaries));
+    if (d.kind === "function")
+      result.summary.functions += 1;
+    else
+      result.summary.methods += 1;
+  }
+  const topStmts = [];
+  for (const s of ast.children ?? []) {
+    if (isNode3(s) && s.kind !== "function" && s.kind !== "class")
+      topStmts.push(s);
+  }
+  const mainSummary = { id: "main", name: "main", params: [], byrefParams: new Set, paramSinks: new Map, paramReturns: new Set, paramCalls: new Map, paramWrites: new Map };
+  const mainEnv = new Map;
+  const mainCtx = { sinks: [], returnsTainted: false, calls: [] };
+  const mainProps = new Map;
+  analyzeBody(topStmts, mainEnv, mainSummary, mainCtx, "", mainProps, [], summaries);
+  for (const hit of mainCtx.sinks) {
+    const cls = classifySink2(hit.sink);
+    if (!cls)
+      continue;
+    if (hit.sanitized) {
+      result.suppressed += 1;
+      continue;
+    }
+    result.findings.push({
+      sink: hit.sink,
+      sink_line: hit.line,
+      category: cls.category,
+      cwe: cls.cwe,
+      sanitized: false,
+      auth_gated: hit.authGated,
+      auth_gates: hit.authGates,
+      interprocedural: false,
+      via_return: false
+    });
+  }
+  const queue = [];
+  const seen = new Set;
+  const mainCalls = topStmts.flatMap((s) => findKind2(s, "call"));
+  for (const call of mainCalls) {
+    const fnName = rootVarName2(call.what);
+    if (!fnName || sinkClassOf2(call))
+      continue;
+    const target = resolveFuncId(fnName, summaries);
+    if (!target)
+      continue;
+    for (let i = 0;i < call.arguments.length; i++) {
+      const argTaint = analyzeExpr(call.arguments[i], mainEnv, mainSummary, mainCtx, "", mainProps, [], summaries);
+      if (argTaint.tainted) {
+        const param = summaries.get(target).params[i];
+        if (param)
+          queue.push({ funcId: target, param, source: argTaint.sources[0], sourceLine: argTaint.sourceLine, viaReturn: false });
+      }
+    }
+  }
+  while (queue.length) {
+    const item = queue.shift();
+    const key = `${item.funcId}:${item.param}`;
+    if (seen.has(key))
+      continue;
+    seen.add(key);
+    const sum = summaries.get(item.funcId);
+    if (!sum)
+      continue;
+    for (const hit of sum.paramSinks.get(item.param) ?? []) {
+      const cls = classifySink2(hit.sink);
+      if (!cls)
+        continue;
+      if (hit.sanitized) {
+        result.suppressed += 1;
+        continue;
+      }
+      result.findings.push({
+        sink: hit.sink,
+        sink_line: hit.line,
+        category: cls.category,
+        cwe: cls.cwe,
+        source: item.source,
+        source_line: item.sourceLine,
+        sanitized: false,
+        auth_gated: hit.authGated,
+        auth_gates: hit.authGates,
+        interprocedural: true,
+        via_return: item.viaReturn
+      });
+    }
+    for (const c of sum.paramCalls.get(item.param) ?? []) {
+      const calleeId = resolveFuncId(c.callee, summaries);
+      if (!calleeId)
+        continue;
+      const calleeParam = summaries.get(calleeId).params[c.argIndex];
+      if (calleeParam)
+        queue.push({ funcId: calleeId, param: calleeParam, source: item.source, sourceLine: item.sourceLine, viaReturn: false });
+    }
+  }
+  return result;
+}
+
+// src/differential.ts
+import { writeFileSync as writeFileSync2, rmSync, mkdtempSync, readFileSync as readFileSync13 } from "node:fs";
+import { join as join9 } from "node:path";
+import { tmpdir } from "node:os";
+import { execSync } from "node:child_process";
+
 // src/universal-taint.ts
 function runTaintEngine(adapter, code, file) {
   const result = { file, language: adapter.language, findings: [], suppressed: 0 };
@@ -31694,7 +32463,7 @@ function analyzeTaintUniversal(code, file) {
 }
 
 // src/adapters.ts
-var import_php_parser2 = __toESM(require_src(), 1);
+var import_php_parser4 = __toESM(require_src(), 1);
 
 // node_modules/@babel/parser/lib/index.js
 class Position {
@@ -49473,7 +50242,7 @@ var pythonHighlighting = styleTags({
   ", ;": tags.separator
 });
 var spec_identifier = { __proto__: null, await: 44, or: 54, and: 56, in: 60, not: 62, is: 64, if: 70, else: 72, lambda: 76, yield: 94, from: 96, async: 102, for: 104, None: 162, True: 164, False: 164, del: 178, pass: 182, break: 186, continue: 190, return: 194, raise: 202, import: 206, as: 208, global: 212, nonlocal: 214, assert: 218, type: 223, elif: 236, while: 240, try: 246, except: 248, finally: 250, with: 254, def: 258, class: 268, match: 279, case: 285 };
-var parser2 = LRParser.deserialize({
+var parser4 = LRParser.deserialize({
   version: 14,
   states: "##jQ`QeOOP$}OSOOO&WQtO'#HUOOQS'#Co'#CoOOQS'#Cp'#CpO'vQdO'#CnO*UQtO'#HTOOQS'#HU'#HUOOQS'#DU'#DUOOQS'#HT'#HTO*rQdO'#D_O+VQdO'#DfO+gQdO'#DjO+zOWO'#DuO,VOWO'#DvO.[QtO'#GuOOQS'#Gu'#GuO'vQdO'#GtO0ZQtO'#GtOOQS'#Eb'#EbO0rQdO'#EcOOQS'#Gs'#GsO0|QdO'#GrOOQV'#Gr'#GrO1XQdO'#FYOOQS'#G^'#G^O1^QdO'#FXOOQV'#IS'#ISOOQV'#Gq'#GqOOQV'#Fq'#FqQ`QeOOO'vQdO'#CqO1lQdO'#C}O1sQdO'#DRO2RQdO'#HYO2cQtO'#EVO'vQdO'#EWOOQS'#EY'#EYOOQS'#E['#E[OOQS'#E^'#E^O2wQdO'#E`O3_QdO'#EdO3rQdO'#EfO3zQtO'#EfO1XQdO'#EiO0rQdO'#ElO1XQdO'#EnO0rQdO'#EtO0rQdO'#EwO4VQdO'#EyO4^QdO'#FOO4iQdO'#EzO0rQdO'#FOO1XQdO'#FQO1XQdO'#FVO4nQdO'#F[P4uOdO'#GpPOOO)CBd)CBdOOQS'#Ce'#CeOOQS'#Cf'#CfOOQS'#Cg'#CgOOQS'#Ch'#ChOOQS'#Ci'#CiOOQS'#Cj'#CjOOQS'#Cl'#ClO'vQdO,59OO'vQdO,59OO'vQdO,59OO'vQdO,59OO'vQdO,59OO'vQdO,59OO5TQdO'#DoOOQS,5:Y,5:YO5hQdO'#HdOOQS,5:],5:]O5uQ!fO,5:]O5zQtO,59YO1lQdO,59bO1lQdO,59bO1lQdO,59bO8jQdO,59bO8oQdO,59bO8vQdO,59jO8}QdO'#HTO:TQdO'#HSOOQS'#HS'#HSOOQS'#D['#D[O:lQdO,59aO'vQdO,59aO:zQdO,59aOOQS,59y,59yO;PQdO,5:RO'vQdO,5:ROOQS,5:Q,5:QO;_QdO,5:QO;dQdO,5:XO'vQdO,5:XO'vQdO,5:VOOQS,5:U,5:UO;uQdO,5:UO;zQdO,5:WOOOW'#Fy'#FyO<POWO,5:aOOQS,5:a,5:aO<[QdO'#HwOOOW'#Dw'#DwOOOW'#Fz'#FzO<lOWO,5:bOOQS,5:b,5:bOOQS'#F}'#F}O<zQtO,5:iO?lQtO,5=`O@VQ#xO,5=`O@vQtO,5=`OOQS,5:},5:}OA_QeO'#GWOBqQdO,5;^OOQV,5=^,5=^OB|QtO'#IPOCkQdO,5;tOOQS-E:[-E:[OOQV,5;s,5;sO4dQdO'#FQOOQV-E9o-E9oOCsQtO,59]OEzQtO,59iOFeQdO'#HVOFpQdO'#HVO1XQdO'#HVOF{QdO'#DTOGTQdO,59mOGYQdO'#HZO'vQdO'#HZO0rQdO,5=tOOQS,5=t,5=tO0rQdO'#EROOQS'#ES'#ESOGwQdO'#GPOHXQdO,58|OHXQdO,58|O*xQdO,5:oOHgQtO'#H]OOQS,5:r,5:rOOQS,5:z,5:zOHzQdO,5;OOI]QdO'#IOO1XQdO'#H}OOQS,5;Q,5;QOOQS'#GT'#GTOIqQtO,5;QOJPQdO,5;QOJUQdO'#IQOOQS,5;T,5;TOJdQdO'#H|OOQS,5;W,5;WOJuQdO,5;YO4iQdO,5;`O4iQdO,5;cOJ}QtO'#ITO'vQdO'#ITOKXQdO,5;eO4VQdO,5;eO0rQdO,5;jO1XQdO,5;lOK^QeO'#EuOLjQgO,5;fO!!kQdO'#IUO4iQdO,5;jO!!vQdO,5;lO!#OQdO,5;qO!#ZQtO,5;vO'vQdO,5;vPOOO,5=[,5=[P!#bOSO,5=[P!#jOdO,5=[O!&bQtO1G.jO!&iQtO1G.jO!)YQtO1G.jO!)dQtO1G.jO!+}QtO1G.jO!,bQtO1G.jO!,uQdO'#HcO!-TQtO'#GuO0rQdO'#HcO!-_QdO'#HbOOQS,5:Z,5:ZO!-gQdO,5:ZO!-lQdO'#HeO!-wQdO'#HeO!.[QdO,5>OOOQS'#Ds'#DsOOQS1G/w1G/wOOQS1G.|1G.|O!/[QtO1G.|O!/cQtO1G.|O1lQdO1G.|O!0OQdO1G/UOOQS'#DZ'#DZO0rQdO,59tOOQS1G.{1G.{O!0VQdO1G/eO!0gQdO1G/eO!0oQdO1G/fO'vQdO'#H[O!0tQdO'#H[O!0yQtO1G.{O!1ZQdO,59iO!2aQdO,5=zO!2qQdO,5=zO!2yQdO1G/mO!3OQtO1G/mOOQS1G/l1G/lO!3`QdO,5=uO!4VQdO,5=uO0rQdO1G/qO!4tQdO1G/sO!4yQtO1G/sO!5ZQtO1G/qOOQS1G/p1G/pOOQS1G/r1G/rOOOW-E9w-E9wOOQS1G/{1G/{O!5kQdO'#HxO0rQdO'#HxO!5|QdO,5>cOOOW-E9x-E9xOOQS1G/|1G/|OOQS-E9{-E9{O!6[Q#xO1G2zO!6{QtO1G2zO'vQdO,5<jOOQS,5<j,5<jOOQS-E9|-E9|OOQS,5<r,5<rOOQS-E:U-E:UOOQV1G0x1G0xO1XQdO'#GRO!7dQtO,5>kOOQS1G1`1G1`O!8RQdO1G1`OOQS'#DV'#DVO0rQdO,5=qOOQS,5=q,5=qO!8WQdO'#FrO!8cQdO,59oO!8kQdO1G/XO!8uQtO,5=uOOQS1G3`1G3`OOQS,5:m,5:mO!9fQdO'#GtOOQS,5<k,5<kOOQS-E9}-E9}O!9wQdO1G.hOOQS1G0Z1G0ZO!:VQdO,5=wO!:gQdO,5=wO0rQdO1G0jO0rQdO1G0jO!:xQdO,5>jO!;ZQdO,5>jO1XQdO,5>jO!;lQdO,5>iOOQS-E:R-E:RO!;qQdO1G0lO!;|QdO1G0lO!<RQdO,5>lO!<aQdO,5>lO!<oQdO,5>hO!=VQdO,5>hO!=hQdO'#EpO0rQdO1G0tO!=sQdO1G0tO!=xQgO1G0zO!AvQgO1G0}O!EqQdO,5>oO!E{QdO,5>oO!FTQtO,5>oO0rQdO1G1PO!F_QdO1G1PO4iQdO1G1UO!!vQdO1G1WOOQV,5;a,5;aO!FdQfO,5;aO!FiQgO1G1QO!JjQdO'#GZO4iQdO1G1QO4iQdO1G1QO!JzQdO,5>pO!KXQdO,5>pO1XQdO,5>pOOQV1G1U1G1UO!KaQdO'#FSO!KrQ!fO1G1WO!KzQdO1G1WOOQV1G1]1G1]O4iQdO1G1]O!LPQdO1G1]O!LXQdO'#F^OOQV1G1b1G1bO!#ZQtO1G1bPOOO1G2v1G2vP!L^OSO1G2vOOQS,5=},5=}OOQS'#Dp'#DpO0rQdO,5=}O!LfQdO,5=|O!LyQdO,5=|OOQS1G/u1G/uO!MRQdO,5>PO!McQdO,5>PO!MkQdO,5>PO!NOQdO,5>PO!N`QdO,5>POOQS1G3j1G3jOOQS7+$h7+$hO!8kQdO7+$pO#!RQdO1G.|O#!YQdO1G.|OOQS1G/`1G/`OOQS,5<`,5<`O'vQdO,5<`OOQS7+%P7+%PO#!aQdO7+%POOQS-E9r-E9rOOQS7+%Q7+%QO#!qQdO,5=vO'vQdO,5=vOOQS7+$g7+$gO#!vQdO7+%PO##OQdO7+%QO##TQdO1G3fOOQS7+%X7+%XO##eQdO1G3fO##mQdO7+%XOOQS,5<_,5<_O'vQdO,5<_O##rQdO1G3aOOQS-E9q-E9qO#$iQdO7+%]OOQS7+%_7+%_O#$wQdO1G3aO#%fQdO7+%_O#%kQdO1G3gO#%{QdO1G3gO#&TQdO7+%]O#&YQdO,5>dO#&sQdO,5>dO#&sQdO,5>dOOQS'#Dx'#DxO#'UO&jO'#DzO#'aO`O'#HyOOOW1G3}1G3}O#'fQdO1G3}O#'nQdO1G3}O#'yQ#xO7+(fO#(jQtO1G2UP#)TQdO'#GOOOQS,5<m,5<mOOQS-E:P-E:POOQS7+&z7+&zOOQS1G3]1G3]OOQS,5<^,5<^OOQS-E9p-E9pOOQS7+$s7+$sO#)bQdO,5=`O#){QdO,5=`O#*^QtO,5<aO#*qQdO1G3cOOQS-E9s-E9sOOQS7+&U7+&UO#+RQdO7+&UO#+aQdO,5<nO#+uQdO1G4UOOQS-E:Q-E:QO#,WQdO1G4UOOQS1G4T1G4TOOQS7+&W7+&WO#,iQdO7+&WOOQS,5<p,5<pO#,tQdO1G4WOOQS-E:S-E:SOOQS,5<l,5<lO#-SQdO1G4SOOQS-E:O-E:OO1XQdO'#EqO#-jQdO'#EqO#-uQdO'#IRO#-}QdO,5;[OOQS7+&`7+&`O0rQdO7+&`O#.SQgO7+&fO!JmQdO'#GXO4iQdO7+&fO4iQdO7+&iO#2QQtO,5<tO'vQdO,5<tO#2[QdO1G4ZOOQS-E:W-E:WO#2fQdO1G4ZO4iQdO7+&kO0rQdO7+&kOOQV7+&p7+&pO!KrQ!fO7+&rO!KzQdO7+&rO`QeO1G0{OOQV-E:X-E:XO4iQdO7+&lO4iQdO7+&lOOQV,5<u,5<uO#2nQdO,5<uO!JmQdO,5<uOOQV7+&l7+&lO#2yQgO7+&lO#6tQdO,5<vO#7PQdO1G4[OOQS-E:Y-E:YO#7^QdO1G4[O#7fQdO'#IWO#7tQdO'#IWO1XQdO'#IWOOQS'#IW'#IWO#8PQdO'#IVOOQS,5;n,5;nO#8XQdO,5;nO0rQdO'#FUOOQV7+&r7+&rO4iQdO7+&rOOQV7+&w7+&wO4iQdO7+&wO#8^QfO,5;xOOQV7+&|7+&|POOO7+(b7+(bO#8cQdO1G3iOOQS,5<c,5<cO#8qQdO1G3hOOQS-E9u-E9uO#9UQdO,5<dO#9aQdO,5<dO#9tQdO1G3kOOQS-E9v-E9vO#:UQdO1G3kO#:^QdO1G3kO#:nQdO1G3kO#:UQdO1G3kOOQS<<H[<<H[O#:yQtO1G1zOOQS<<Hk<<HkP#;WQdO'#FtO8vQdO1G3bO#;eQdO1G3bO#;jQdO<<HkOOQS<<Hl<<HlO#;zQdO7+)QOOQS<<Hs<<HsO#<[QtO1G1yP#<{QdO'#FsO#=YQdO7+)RO#=jQdO7+)RO#=rQdO<<HwO#=wQdO7+({OOQS<<Hy<<HyO#>nQdO,5<bO'vQdO,5<bOOQS-E9t-E9tOOQS<<Hw<<HwOOQS,5<g,5<gO0rQdO,5<gO#>sQdO1G4OOOQS-E9y-E9yO#?^QdO1G4OO<[QdO'#H{OOOO'#D{'#D{OOOO'#F|'#F|O#?oO&jO,5:fOOOW,5>e,5>eOOOW7+)i7+)iO#?zQdO7+)iO#@SQdO1G2zO#@mQdO1G2zP'vQdO'#FuO0rQdO<<IpO1XQdO1G2YP1XQdO'#GSO#AOQdO7+)pO#AaQdO7+)pOOQS<<Ir<<IrP1XQdO'#GUP0rQdO'#GQOOQS,5;],5;]O#ArQdO,5>mO#BQQdO,5>mOOQS1G0v1G0vOOQS<<Iz<<IzOOQV-E:V-E:VO4iQdO<<JQOOQV,5<s,5<sO4iQdO,5<sOOQV<<JQ<<JQOOQV<<JT<<JTO#BYQtO1G2`P#BdQdO'#GYO#BkQdO7+)uO#BuQgO<<JVO4iQdO<<JVOOQV<<J^<<J^O4iQdO<<J^O!KrQ!fO<<J^O#FpQgO7+&gOOQV<<JW<<JWO#FzQgO<<JWOOQV1G2a1G2aO1XQdO1G2aO#JuQdO1G2aO4iQdO<<JWO1XQdO1G2bP0rQdO'#G[O#KQQdO7+)vO#K_QdO7+)vOOQS'#FT'#FTO0rQdO,5>rO#KgQdO,5>rO#KrQdO,5>rO#K}QdO,5>qO#L`QdO,5>qOOQS1G1Y1G1YOOQS,5;p,5;pOOQV<<Jc<<JcO#LhQdO1G1dOOQS7+)T7+)TP#LmQdO'#FwO#L}QdO1G2OO#MbQdO1G2OO#MrQdO1G2OP#M}QdO'#FxO#N[QdO7+)VO#NlQdO7+)VO#NlQdO7+)VO#NtQdO7+)VO$ UQdO7+(|O8vQdO7+(|OOQSAN>VAN>VO$ oQdO<<LmOOQSAN>cAN>cO0rQdO1G1|O$!PQtO1G1|P$!ZQdO'#FvOOQS1G2R1G2RP$!hQdO'#F{O$!uQdO7+)jO$#`QdO,5>gOOOO-E9z-E9zOOOW<<MT<<MTO$#nQdO7+(fOOQSAN?[AN?[OOQS7+'t7+'tO$$XQdO<<M[OOQS,5<q,5<qO$$jQdO1G4XOOQS-E:T-E:TOOQVAN?lAN?lOOQV1G2_1G2_O4iQdOAN?qO$$xQgOAN?qOOQVAN?xAN?xO4iQdOAN?xOOQV<<JR<<JRO4iQdOAN?rO4iQdO7+'{OOQV7+'{7+'{O1XQdO7+'{OOQVAN?rAN?rOOQS7+'|7+'|O$(sQdO<<MbOOQS1G4^1G4^O0rQdO1G4^OOQS,5<w,5<wO$)QQdO1G4]OOQS-E:Z-E:ZOOQU'#G_'#G_O$)cQfO7+'OO$)nQdO'#F_O$*uQdO7+'jO$+VQdO7+'jOOQS7+'j7+'jO$+bQdO<<LqO$+rQdO<<LqO$+rQdO<<LqO$+zQdO'#H^OOQS<<Lh<<LhO$,UQdO<<LhOOQS7+'h7+'hOOQS'#D|'#D|OOOO1G4R1G4RO$,oQdO1G4RO$,wQdO1G4RP!=hQdO'#GVOOQVG25]G25]O4iQdOG25]OOQVG25dG25dOOQVG25^G25^OOQV<<Kg<<KgO4iQdO<<KgOOQS7+)x7+)xP$-SQdO'#G]OOQU-E:]-E:]OOQV<<Jj<<JjO$-vQtO'#FaOOQS'#Fc'#FcO$.WQdO'#FbO$.xQdO'#FbOOQS'#Fb'#FbO$.}QdO'#IYO$)nQdO'#FiO$)nQdO'#FiO$/fQdO'#FjO$)nQdO'#FkO$/mQdO'#IZOOQS'#IZ'#IZO$0[QdO,5;yOOQS<<KU<<KUO$0dQdO<<KUO$0tQdOANB]O$1UQdOANB]O$1^QdO'#H_OOQS'#H_'#H_O1sQdO'#DcO$1wQdO,5=xOOQSANBSANBSOOOO7+)m7+)mO$2`QdO7+)mOOQVLD*wLD*wOOQVANARANARO5uQ!fO'#GaO$2hQtO,5<SO$)nQdO'#FmOOQS,5<W,5<WOOQS'#Fd'#FdO$3YQdO,5;|O$3_QdO,5;|OOQS'#Fg'#FgO$)nQdO'#G`O$4PQdO,5<QO$4kQdO,5>tO$4{QdO,5>tO1XQdO,5<PO$5^QdO,5<TO$5cQdO,5<TO$)nQdO'#I[O$5hQdO'#I[O$5mQdO,5<UOOQS,5<V,5<VO0rQdO'#FpOOQU1G1e1G1eO4iQdO1G1eOOQSAN@pAN@pO$5rQdOG27wO$6SQdO,59}OOQS1G3d1G3dOOOO<<MX<<MXOOQS,5<{,5<{OOQS-E:_-E:_O$6XQtO'#FaO$6`QdO'#I]O$6nQdO'#I]O$6vQdO,5<XOOQS1G1h1G1hO$6{QdO1G1hO$7QQdO,5<zOOQS-E:^-E:^O$7lQdO,5=OO$8TQdO1G4`OOQS-E:b-E:bOOQS1G1k1G1kOOQS1G1o1G1oO$8eQdO,5>vO$)nQdO,5>vOOQS1G1p1G1pOOQS,5<[,5<[OOQU7+'P7+'PO$+zQdO1G/iO$)nQdO,5<YO$8sQdO,5>wO$8zQdO,5>wOOQS1G1s1G1sOOQS7+'S7+'SP$)nQdO'#GdO$9SQdO1G4bO$9^QdO1G4bO$9fQdO1G4bOOQS7+%T7+%TO$9tQdO1G1tO$:SQtO'#FaO$:ZQdO,5<}OOQS,5<},5<}O$:iQdO1G4cOOQS-E:a-E:aO$)nQdO,5<|O$:pQdO,5<|O$:uQdO7+)|OOQS-E:`-E:`O$;PQdO7+)|O$)nQdO,5<ZP$)nQdO'#GcO$;XQdO1G2hO$)nQdO1G2hP$;gQdO'#GbO$;nQdO<<MhO$;xQdO1G1uO$<WQdO7+(SO8vQdO'#C}O8vQdO,59bO8vQdO,59bO8vQdO,59bO$<fQtO,5=`O8vQdO1G.|O0rQdO1G/XO0rQdO7+$pP$<yQdO'#GOO'vQdO'#GtO$=WQdO,59bO$=]QdO,59bO$=dQdO,59mO$=iQdO1G/UO1sQdO'#DRO8vQdO,59j",
   stateData: "$>S~O%cOS%^OSSOS%]PQ~OPdOVaOfoOhYOopOs!POvqO!PrO!Q{O!T!SO!U!RO!XZO!][O!h`O!r`O!s`O!t`O!{tO!}uO#PvO#RwO#TxO#XyO#ZzO#^|O#_|O#a}O#c!OO#l!QO#o!TO#s!UO#u!VO#z!WO#}hO$P!XO%oRO%pRO%tSO%uWO&Z]O&[]O&]]O&^]O&_]O&`]O&a]O&b]O&c^O&d^O&e^O&f^O&g^O&h^O&i^O&j^O~O%]!YO~OV!aO_!aOa!bOh!iO!X!kO!f!mO%j![O%k!]O%l!^O%m!_O%n!_O%o!`O%p!`O%q!aO%r!aO%s!aO~Ok%xXl%xXm%xXn%xXo%xXp%xXs%xXz%xX{%xX!x%xX#g%xX%[%xX%_%xX%z%xXg%xX!T%xX!U%xX%{%xX!W%xX![%xX!Q%xX#[%xXt%xX!m%xX~P%SOfoOhYO!XZO!][O!h`O!r`O!s`O!t`O%oRO%pRO%tSO%uWO&Z]O&[]O&]]O&^]O&_]O&`]O&a]O&b]O&c^O&d^O&e^O&f^O&g^O&h^O&i^O&j^O~Oz%wX{%wX#g%wX%[%wX%_%wX%z%wX~Ok!pOl!qOm!oOn!oOo!rOp!sOs!tO!x%wX~P)pOV!zOg!|Oo0cOv0qO!PrO~P'vOV#OOo0cOv0qO!W#PO~P'vOV#SOa#TOo0cOv0qO![#UO~P'vOQ#XO%`#XO%a#ZO~OQ#^OR#[O%`#^O%a#`O~OV%iX_%iXa%iXh%iXk%iXl%iXm%iXn%iXo%iXp%iXs%iXz%iX!X%iX!f%iX%j%iX%k%iX%l%iX%m%iX%n%iX%o%iX%p%iX%q%iX%r%iX%s%iXg%iX!T%iX!U%iX~O&Z]O&[]O&]]O&^]O&_]O&`]O&a]O&b]O&c^O&d^O&e^O&f^O&g^O&h^O&i^O&j^O{%iX!x%iX#g%iX%[%iX%_%iX%z%iX%{%iX!W%iX![%iX!Q%iX#[%iXt%iX!m%iX~P,eOz#dO{%hX!x%hX#g%hX%[%hX%_%hX%z%hX~Oo0cOv0qO~P'vO#g#gO%[#iO%_#iO~O%uWO~O!T#nO#u!VO#z!WO#}hO~OopO~P'vOV#sOa#tO%uWO{wP~OV#xOo0cOv0qO!Q#yO~P'vO{#{O!x$QO%z#|O#g!yX%[!yX%_!yX~OV#xOo0cOv0qO#g#SX%[#SX%_#SX~P'vOo0cOv0qO#g#WX%[#WX%_#WX~P'vOh$WO%uWO~O!f$YO!r$YO%uWO~OV$eO~P'vO!U$gO#s$hO#u$iO~O{$jO~OV$qO~P'vOS$sO%[$rO%_$rO%c$tO~OV$}Oa$}Og%POo0cOv0qO~P'vOo0cOv0qO{%SO~P'vO&Y%UO~Oa!bOh!iO!X!kO!f!mOVba_bakbalbambanbaobapbasbazba{ba!xba#gba%[ba%_ba%jba%kba%lba%mba%nba%oba%pba%qba%rba%sba%zbagba!Tba!Uba%{ba!Wba![ba!Qba#[batba!mba~On%ZO~Oo%ZO~P'vOo0cO~P'vOk0eOl0fOm0dOn0dOo0mOp0nOs0rOg%wX!T%wX!U%wX%{%wX!W%wX![%wX!Q%wX#[%wX!m%wX~P)pO%{%]Og%vXz%vX!T%vX!U%vX!W%vX{%vX~Og%_Oz%`O!T%dO!U%cO~Og%_O~Oz%gO!T%dO!U%cO!W&SX~O!W%kO~Oz%lO{%nO!T%dO!U%cO![%}X~O![%rO~O![%sO~OQ#XO%`#XO%a%uO~OV%wOo0cOv0qO!PrO~P'vOQ#^OR#[O%`#^O%a%zO~OV!qa_!qaa!qah!qak!qal!qam!qan!qao!qap!qas!qaz!qa{!qa!X!qa!f!qa!x!qa#g!qa%[!qa%_!qa%j!qa%k!qa%l!qa%m!qa%n!qa%o!qa%p!qa%q!qa%r!qa%s!qa%z!qag!qa!T!qa!U!qa%{!qa!W!qa![!qa!Q!qa#[!qat!qa!m!qa~P#yOz%|O{%ha!x%ha#g%ha%[%ha%_%ha%z%ha~P%SOV&OOopOvqO{%ha!x%ha#g%ha%[%ha%_%ha%z%ha~P'vOz%|O{%ha!x%ha#g%ha%[%ha%_%ha%z%ha~OPdOVaOopOvqO!PrO!Q{O!{tO!}uO#PvO#RwO#TxO#XyO#ZzO#^|O#_|O#a}O#c!OO#g$zX%[$zX%_$zX~P'vO#g#gO%[&TO%_&TO~O!f&UOh&sX%[&sXz&sX#[&sX#g&sX%_&sX#Z&sXg&sX~Oh!iO%[&WO~Okealeameaneaoeapeaseazea{ea!xea#gea%[ea%_ea%zeagea!Tea!Uea%{ea!Wea![ea!Qea#[eatea!mea~P%SOsqazqa{qa#gqa%[qa%_qa%zqa~Ok!pOl!qOm!oOn!oOo!rOp!sO!xqa~PEcO%z&YOz%yX{%yX~O%uWOz%yX{%yX~Oz&]O{wX~O{&_O~Oz%lO#g%}X%[%}X%_%}Xg%}X{%}X![%}X!m%}X%z%}X~OV0lOo0cOv0qO!PrO~P'vO%z#|O#gUa%[Ua%_Ua~Oz&hO#g&PX%[&PX%_&PXn&PX~P%SOz&kO!Q&jO#g#Wa%[#Wa%_#Wa~Oz&lO#[&nO#g&rX%[&rX%_&rXg&rX~O!f$YO!r$YO#Z&qO%uWO~O#Z&qO~Oz&sO#g&tX%[&tX%_&tX~Oz&uO#g&pX%[&pX%_&pX{&pX~O!X&wO%z&xO~Oz&|On&wX~P%SOn'PO~OPdOVaOopOvqO!PrO!Q{O!{tO!}uO#PvO#RwO#TxO#XyO#ZzO#^|O#_|O#a}O#c!OO%['UO~P'vOt'YO#p'WO#q'XOP#naV#naf#nah#nao#nas#nav#na!P#na!Q#na!T#na!U#na!X#na!]#na!h#na!r#na!s#na!t#na!{#na!}#na#P#na#R#na#T#na#X#na#Z#na#^#na#_#na#a#na#c#na#l#na#o#na#s#na#u#na#z#na#}#na$P#na%X#na%o#na%p#na%t#na%u#na&Z#na&[#na&]#na&^#na&_#na&`#na&a#na&b#na&c#na&d#na&e#na&f#na&g#na&h#na&i#na&j#na%Z#na%_#na~Oz'ZO#[']O{&xX~Oh'_O!X&wO~Oh!iO{$jO!X&wO~O{'eO~P%SO%['hO%_'hO~OS'iO%['hO%_'hO~OV!aO_!aOa!bOh!iO!X!kO!f!mO%l!^O%m!_O%n!_O%o!`O%p!`O%q!aO%r!aO%s!aOkWilWimWinWioWipWisWizWi{Wi!xWi#gWi%[Wi%_Wi%jWi%zWigWi!TWi!UWi%{Wi!WWi![Wi!QWi#[WitWi!mWi~O%k!]O~P!#uO%kWi~P!#uOV!aO_!aOa!bOh!iO!X!kO!f!mO%o!`O%p!`O%q!aO%r!aO%s!aOkWilWimWinWioWipWisWizWi{Wi!xWi#gWi%[Wi%_Wi%jWi%kWi%lWi%zWigWi!TWi!UWi%{Wi!WWi![Wi!QWi#[WitWi!mWi~O%m!_O%n!_O~P!&pO%mWi%nWi~P!&pOa!bOh!iO!X!kO!f!mOkWilWimWinWioWipWisWizWi{Wi!xWi#gWi%[Wi%_Wi%jWi%kWi%lWi%mWi%nWi%oWi%pWi%zWigWi!TWi!UWi%{Wi!WWi![Wi!QWi#[WitWi!mWi~OV!aO_!aO%q!aO%r!aO%s!aO~P!)nOVWi_Wi%qWi%rWi%sWi~P!)nO!T%dO!U%cOg&VXz&VX~O%z'kO%{'kO~P,eOz'mOg&UX~Og'oO~Oz'pO{'rO!W&XX~Oo0cOv0qOz'pO{'sO!W&XX~P'vO!W'uO~Om!oOn!oOo!rOp!sOkjisjizji{ji!xji#gji%[ji%_ji%zji~Ol!qO~P!.aOlji~P!.aOk0eOl0fOm0dOn0dOo0mOp0nO~Ot'wO~P!/jOV'|Og'}Oo0cOv0qO~P'vOg'}Oz(OO~Og(QO~O!U(SO~Og(TOz(OO!T%dO!U%cO~P%SOk0eOl0fOm0dOn0dOo0mOp0nOgqa!Tqa!Uqa%{qa!Wqa![qa!Qqa#[qatqa!mqa~PEcOV'|Oo0cOv0qO!W&Sa~P'vOz(WO!W&Sa~O!W(XO~Oz(WO!T%dO!U%cO!W&Sa~P%SOV(]Oo0cOv0qO![%}a#g%}a%[%}a%_%}ag%}a{%}a!m%}a%z%}a~P'vOz(^O![%}a#g%}a%[%}a%_%}ag%}a{%}a!m%}a%z%}a~O![(aO~Oz(^O!T%dO!U%cO![%}a~P%SOz(dO!T%dO!U%cO![&Ta~P%SOz(gO{&lX![&lX!m&lX%z&lX~O{(kO![(mO!m(nO%z(jO~OV&OOopOvqO{%hi!x%hi#g%hi%[%hi%_%hi%z%hi~P'vOz(pO{%hi!x%hi#g%hi%[%hi%_%hi%z%hi~O!f&UOh&sa%[&saz&sa#[&sa#g&sa%_&sa#Z&sag&sa~O%[(uO~OV#sOa#tO%uWO~Oz&]O{wa~OopOvqO~P'vOz(^O#g%}a%[%}a%_%}ag%}a{%}a![%}a!m%}a%z%}a~P%SOz(zO#g%hX%[%hX%_%hX%z%hX~O%z#|O#gUi%[Ui%_Ui~O#g&Pa%[&Pa%_&Pan&Pa~P'vOz(}O#g&Pa%[&Pa%_&Pan&Pa~O%uWO#g&ra%[&ra%_&rag&ra~Oz)SO#g&ra%[&ra%_&rag&ra~Og)VO~OV)WOh$WO%uWO~O#Z)XO~O%uWO#g&ta%[&ta%_&ta~Oz)ZO#g&ta%[&ta%_&ta~Oo0cOv0qO#g&pa%[&pa%_&pa{&pa~P'vOz)^O#g&pa%[&pa%_&pa{&pa~OV)`Oa)`O%uWO~O%z)eO~Ot)hO#j)gOP#hiV#hif#hih#hio#his#hiv#hi!P#hi!Q#hi!T#hi!U#hi!X#hi!]#hi!h#hi!r#hi!s#hi!t#hi!{#hi!}#hi#P#hi#R#hi#T#hi#X#hi#Z#hi#^#hi#_#hi#a#hi#c#hi#l#hi#o#hi#s#hi#u#hi#z#hi#}#hi$P#hi%X#hi%o#hi%p#hi%t#hi%u#hi&Z#hi&[#hi&]#hi&^#hi&_#hi&`#hi&a#hi&b#hi&c#hi&d#hi&e#hi&f#hi&g#hi&h#hi&i#hi&j#hi%Z#hi%_#hi~Ot)iOP#kiV#kif#kih#kio#kis#kiv#ki!P#ki!Q#ki!T#ki!U#ki!X#ki!]#ki!h#ki!r#ki!s#ki!t#ki!{#ki!}#ki#P#ki#R#ki#T#ki#X#ki#Z#ki#^#ki#_#ki#a#ki#c#ki#l#ki#o#ki#s#ki#u#ki#z#ki#}#ki$P#ki%X#ki%o#ki%p#ki%t#ki%u#ki&Z#ki&[#ki&]#ki&^#ki&_#ki&`#ki&a#ki&b#ki&c#ki&d#ki&e#ki&f#ki&g#ki&h#ki&i#ki&j#ki%Z#ki%_#ki~OV)kOn&wa~P'vOz)lOn&wa~Oz)lOn&wa~P%SOn)pO~O%Y)tO~Ot)wO#p'WO#q)vOP#niV#nif#nih#nio#nis#niv#ni!P#ni!Q#ni!T#ni!U#ni!X#ni!]#ni!h#ni!r#ni!s#ni!t#ni!{#ni!}#ni#P#ni#R#ni#T#ni#X#ni#Z#ni#^#ni#_#ni#a#ni#c#ni#l#ni#o#ni#s#ni#u#ni#z#ni#}#ni$P#ni%X#ni%o#ni%p#ni%t#ni%u#ni&Z#ni&[#ni&]#ni&^#ni&_#ni&`#ni&a#ni&b#ni&c#ni&d#ni&e#ni&f#ni&g#ni&h#ni&i#ni&j#ni%Z#ni%_#ni~OV)zOo0cOv0qO{$jO~P'vOo0cOv0qO{&xa~P'vOz*OO{&xa~OV*SOa*TOg*WO%q*UO%uWO~O{$jO&{*YO~Oh'_O~Oh!iO{$jO~O%[*_O~O%[*aO%_*aO~OV$}Oa$}Oo0cOv0qOg&Ua~P'vOz*dOg&Ua~Oo0cOv0qO{*gO!W&Xa~P'vOz*hO!W&Xa~Oo0cOv0qOz*hO{*kO!W&Xa~P'vOo0cOv0qOz*hO!W&Xa~P'vOz*hO{*kO!W&Xa~Om0dOn0dOo0mOp0nOgjikjisjizji!Tji!Uji%{ji!Wji{ji![ji#gji%[ji%_ji!Qji#[jitji!mji%zji~Ol0fO~P!NkOlji~P!NkOV'|Og*pOo0cOv0qO~P'vOn*rO~Og*pOz*tO~Og*uO~OV'|Oo0cOv0qO!W&Si~P'vOz*vO!W&Si~O!W*wO~OV(]Oo0cOv0qO![%}i#g%}i%[%}i%_%}ig%}i{%}i!m%}i%z%}i~P'vOz*zO!T%dO!U%cO![&Ti~Oz*}O![%}i#g%}i%[%}i%_%}ig%}i{%}i!m%}i%z%}i~O![+OO~Oa+QOo0cOv0qO![&Ti~P'vOz*zO![&Ti~O![+SO~OV+UOo0cOv0qO{&la![&la!m&la%z&la~P'vOz+VO{&la![&la!m&la%z&la~O!]+YO&n+[O![!nX~O![+^O~O{(kO![+_O~O{(kO![+_O!m+`O~OV&OOopOvqO{%hq!x%hq#g%hq%[%hq%_%hq%z%hq~P'vOz$ri{$ri!x$ri#g$ri%[$ri%_$ri%z$ri~P%SOV&OOopOvqO~P'vOV&OOo0cOv0qO#g%ha%[%ha%_%ha%z%ha~P'vOz+aO#g%ha%[%ha%_%ha%z%ha~Oz$ia#g$ia%[$ia%_$ian$ia~P%SO#g&Pi%[&Pi%_&Pin&Pi~P'vOz+dO#g#Wq%[#Wq%_#Wq~O#[+eOz$va#g$va%[$va%_$vag$va~O%uWO#g&ri%[&ri%_&rig&ri~Oz+gO#g&ri%[&ri%_&rig&ri~OV+iOh$WO%uWO~O%uWO#g&ti%[&ti%_&ti~Oo0cOv0qO#g&pi%[&pi%_&pi{&pi~P'vO{#{Oz#eX!W#eX~Oz+mO!W&uX~O!W+oO~Ot+rO#j)gOP#hqV#hqf#hqh#hqo#hqs#hqv#hq!P#hq!Q#hq!T#hq!U#hq!X#hq!]#hq!h#hq!r#hq!s#hq!t#hq!{#hq!}#hq#P#hq#R#hq#T#hq#X#hq#Z#hq#^#hq#_#hq#a#hq#c#hq#l#hq#o#hq#s#hq#u#hq#z#hq#}#hq$P#hq%X#hq%o#hq%p#hq%t#hq%u#hq&Z#hq&[#hq&]#hq&^#hq&_#hq&`#hq&a#hq&b#hq&c#hq&d#hq&e#hq&f#hq&g#hq&h#hq&i#hq&j#hq%Z#hq%_#hq~On$|az$|a~P%SOV)kOn&wi~P'vOz+yOn&wi~Oz,TO{$jO#[,TO~O#q,VOP#nqV#nqf#nqh#nqo#nqs#nqv#nq!P#nq!Q#nq!T#nq!U#nq!X#nq!]#nq!h#nq!r#nq!s#nq!t#nq!{#nq!}#nq#P#nq#R#nq#T#nq#X#nq#Z#nq#^#nq#_#nq#a#nq#c#nq#l#nq#o#nq#s#nq#u#nq#z#nq#}#nq$P#nq%X#nq%o#nq%p#nq%t#nq%u#nq&Z#nq&[#nq&]#nq&^#nq&_#nq&`#nq&a#nq&b#nq&c#nq&d#nq&e#nq&f#nq&g#nq&h#nq&i#nq&j#nq%Z#nq%_#nq~O#[,WOz%Oa{%Oa~Oo0cOv0qO{&xi~P'vOz,YO{&xi~O{#{O%z,[Og&zXz&zX~O%uWOg&zXz&zX~Oz,`Og&yX~Og,bO~O%Y,eO~O!T%dO!U%cOg&Viz&Vi~OV$}Oa$}Oo0cOv0qOg&Ui~P'vO{,hOz$la!W$la~Oo0cOv0qO{,iOz$la!W$la~P'vOo0cOv0qO{*gO!W&Xi~P'vOz,lO!W&Xi~Oo0cOv0qOz,lO!W&Xi~P'vOz,lO{,oO!W&Xi~Og$hiz$hi!W$hi~P%SOV'|Oo0cOv0qO~P'vOn,qO~OV'|Og,rOo0cOv0qO~P'vOV'|Oo0cOv0qO!W&Sq~P'vOz$gi![$gi#g$gi%[$gi%_$gig$gi{$gi!m$gi%z$gi~P%SOV(]Oo0cOv0qO~P'vOa+QOo0cOv0qO![&Tq~P'vOz,sO![&Tq~O![,tO~OV(]Oo0cOv0qO![%}q#g%}q%[%}q%_%}qg%}q{%}q!m%}q%z%}q~P'vO{,uO~OV+UOo0cOv0qO{&li![&li!m&li%z&li~P'vOz,zO{&li![&li!m&li%z&li~O!]+YO&n+[O![!na~O{(kO![,}O~OV&OOo0cOv0qO#g%hi%[%hi%_%hi%z%hi~P'vOz-OO#g%hi%[%hi%_%hi%z%hi~O%uWO#g&rq%[&rq%_&rqg&rq~Oz-RO#g&rq%[&rq%_&rqg&rq~OV)`Oa)`O%uWO!W&ua~Oz-TO!W&ua~On$|iz$|i~P%SOV)kO~P'vOV)kOn&wq~P'vOt-XOP#myV#myf#myh#myo#mys#myv#my!P#my!Q#my!T#my!U#my!X#my!]#my!h#my!r#my!s#my!t#my!{#my!}#my#P#my#R#my#T#my#X#my#Z#my#^#my#_#my#a#my#c#my#l#my#o#my#s#my#u#my#z#my#}#my$P#my%X#my%o#my%p#my%t#my%u#my&Z#my&[#my&]#my&^#my&_#my&`#my&a#my&b#my&c#my&d#my&e#my&f#my&g#my&h#my&i#my&j#my%Z#my%_#my~O%Z-]O%_-]O~P`O#q-^OP#nyV#nyf#nyh#nyo#nys#nyv#ny!P#ny!Q#ny!T#ny!U#ny!X#ny!]#ny!h#ny!r#ny!s#ny!t#ny!{#ny!}#ny#P#ny#R#ny#T#ny#X#ny#Z#ny#^#ny#_#ny#a#ny#c#ny#l#ny#o#ny#s#ny#u#ny#z#ny#}#ny$P#ny%X#ny%o#ny%p#ny%t#ny%u#ny&Z#ny&[#ny&]#ny&^#ny&_#ny&`#ny&a#ny&b#ny&c#ny&d#ny&e#ny&f#ny&g#ny&h#ny&i#ny&j#ny%Z#ny%_#ny~Oz-aO{$jO#[-aO~Oo0cOv0qO{&xq~P'vOz-dO{&xq~O%z,[Og&zaz&za~O{#{Og&zaz&za~OV*SOa*TO%q*UO%uWOg&ya~Oz-hOg&ya~O$S-lO~OV$}Oa$}Oo0cOv0qO~P'vOo0cOv0qO{-mOz$li!W$li~P'vOo0cOv0qOz$li!W$li~P'vO{-mOz$li!W$li~Oo0cOv0qO{*gO~P'vOo0cOv0qO{*gO!W&Xq~P'vOz-pO!W&Xq~Oo0cOv0qOz-pO!W&Xq~P'vOs-sO!T%dO!U%cOg&Oq!W&Oq![&Oqz&Oq~P!/jOa+QOo0cOv0qO![&Ty~P'vOz$ji![$ji~P%SOa+QOo0cOv0qO~P'vOV+UOo0cOv0qO~P'vOV+UOo0cOv0qO{&lq![&lq!m&lq%z&lq~P'vO{(kO![-xO!m-yO%z-wO~OV&OOo0cOv0qO#g%hq%[%hq%_%hq%z%hq~P'vO%uWO#g&ry%[&ry%_&ryg&ry~OV)`Oa)`O%uWO!W&ui~Ot-}OP#m!RV#m!Rf#m!Rh#m!Ro#m!Rs#m!Rv#m!R!P#m!R!Q#m!R!T#m!R!U#m!R!X#m!R!]#m!R!h#m!R!r#m!R!s#m!R!t#m!R!{#m!R!}#m!R#P#m!R#R#m!R#T#m!R#X#m!R#Z#m!R#^#m!R#_#m!R#a#m!R#c#m!R#l#m!R#o#m!R#s#m!R#u#m!R#z#m!R#}#m!R$P#m!R%X#m!R%o#m!R%p#m!R%t#m!R%u#m!R&Z#m!R&[#m!R&]#m!R&^#m!R&_#m!R&`#m!R&a#m!R&b#m!R&c#m!R&d#m!R&e#m!R&f#m!R&g#m!R&h#m!R&i#m!R&j#m!R%Z#m!R%_#m!R~Oo0cOv0qO{&xy~P'vOV*SOa*TO%q*UO%uWOg&yi~O$S-lO%Z.VO%_.VO~OV.aOh._O!X.^O!].`O!h.YO!s.[O!t.[O%p.XO%uWO&Z]O&[]O&]]O&^]O&_]O&`]O&a]O&b]O~Oo0cOv0qOz$lq!W$lq~P'vO{.fOz$lq!W$lq~Oo0cOv0qO{*gO!W&Xy~P'vOz.gO!W&Xy~Oo0cOv.kO~P'vOs-sO!T%dO!U%cOg&Oy!W&Oy![&Oyz&Oy~P!/jO{(kO![.nO~O{(kO![.nO!m.oO~OV*SOa*TO%q*UO%uWO~Oh.tO!f.rOz$TX#[$TX%j$TXg$TX~Os$TX{$TX!W$TX![$TX~P$-bO%o.vO%p.vOs$UXz$UX{$UX#[$UX%j$UX!W$UXg$UX![$UX~O!h.xO~Oz.|O#[/OO%j.yOs&|X{&|X!W&|Xg&|X~Oa/RO~P$)zOh.tOs&}Xz&}X{&}X#[&}X%j&}X!W&}Xg&}X![&}X~Os/VO{$jO~Oo0cOv0qOz$ly!W$ly~P'vOo0cOv0qO{*gO!W&X!R~P'vOz/ZO!W&X!R~Og&RXs&RX!T&RX!U&RX!W&RX![&RXz&RX~P!/jOs-sO!T%dO!U%cOg&Qa!W&Qa![&Qaz&Qa~O{(kO![/^O~O!f.rOh$[as$[az$[a{$[a#[$[a%j$[a!W$[ag$[a![$[a~O!h/eO~O%o.vO%p.vOs$Uaz$Ua{$Ua#[$Ua%j$Ua!W$Uag$Ua![$Ua~O%j.yOs$Yaz$Ya{$Ya#[$Ya!W$Yag$Ya![$Ya~Os&|a{&|a!W&|ag&|a~P$)nOz/jOs&|a{&|a!W&|ag&|a~O!W/mO~Og/mO~O{/oO~O![/pO~Oo0cOv0qO{*gO!W&X!Z~P'vO{/sO~O%z/tO~P$-bOz/uO#[/OO%j.yOg'PX~Oz/uOg'PX~Og/wO~O!h/xO~O#[/OOs%Saz%Sa{%Sa%j%Sa!W%Sag%Sa![%Sa~O#[/OO%j.yOs%Waz%Wa{%Wa!W%Wag%Wa~Os&|i{&|i!W&|ig&|i~P$)nOz/zO#[/OO%j.yO!['Oa~Og'Pa~P$)nOz0SOg'Pa~Oa0UO!['Oi~P$)zOz0WO!['Oi~Oz0WO#[/OO%j.yO!['Oi~O#[/OO%j.yOg$biz$bi~O%z0ZO~P$-bO#[/OO%j.yOg%Vaz%Va~Og'Pi~P$)nO{0^O~Oa0UO!['Oq~P$)zOz0`O!['Oq~O#[/OO%j.yOz%Ui![%Ui~Oa0UO~P$)zOa0UO!['Oy~P$)zO#[/OO%j.yOg$ciz$ci~O#[/OO%j.yOz%Uq![%Uq~Oz+aO#g%ha%[%ha%_%ha%z%ha~P%SOV&OOo0cOv0qO~P'vOn0hO~Oo0hO~P'vO{0iO~Ot0jO~P!/jO&]&Z&j&h&i&g&f&d&e&c&b&`&a&_&^&[%u~",
@@ -49498,7 +50267,7 @@ var parser2 = LRParser.deserialize({
 });
 
 // src/adapters.ts
-var phpEngine = new import_php_parser2.Engine({ parser: { extractDoc: false, php7: true }, ast: { withPositions: true, withSource: false } });
+var phpEngine = new import_php_parser4.Engine({ parser: { extractDoc: false, php7: true }, ast: { withPositions: true, withSource: false } });
 var PHP_SOURCES = [
   ["_GET", "http_parameter"],
   ["_POST", "http_body"],
@@ -49646,8 +50415,13 @@ var JS_SINKS = [
   [/document\.write/i, "html_render", "CWE-79"],
   [/fs\.writeFile/i, "file_operations", "CWE-434"],
   [/fs\.appendFile/i, "file_operations", "CWE-434"],
+  [/fs\.readFile/i, "path_traversal", "CWE-22"],
+  [/fs\.readFileSync/i, "path_traversal", "CWE-22"],
+  [/fs\.unlink/i, "file_operations", "CWE-434"],
   [/require\s*\(/i, "file_inclusion", "CWE-98"],
   [/fetch\s*\(/i, "http_request", "CWE-918"],
+  [/http\.get|https\.get|axios/i, "http_request", "CWE-918"],
+  [/http\.request|https\.request/i, "http_request", "CWE-918"],
   [/redirect\s*\(/i, "redirect", "CWE-601"],
   [/res\.redirect/i, "redirect", "CWE-601"]
 ];
@@ -49734,6 +50508,8 @@ var jsAdapter = {
             argVars.push(c.name);
         for (const [re, kind, cwe] of JS_SINKS) {
           if (re.test(fullCallText) || re.test(calleeText + "(")) {
+            if (kind === "sql_execution" && /\?/.test(fullCallText) && /,\s*\[/.test(fullCallText))
+              continue;
             for (const v of argVars)
               sinks.push({ variable: v, kind, line: n.loc?.start?.line ?? 0, cwe });
           }
@@ -49772,6 +50548,8 @@ var PY_SINKS = [
   [/\.save\s*\(/i, "file_operations", "CWE-434"],
   [/render_template/i, "html_render", "CWE-79"],
   [/redirect\s*\(/i, "redirect", "CWE-601"],
+  [/requests\.(get|post|put|head|request)\s*\(/i, "http_request", "CWE-918"],
+  [/urllib\.request/i, "http_request", "CWE-918"],
   [/pickle\.loads\s*\(/i, "deserialization", "CWE-502"],
   [/yaml\.load\s*\(/i, "deserialization", "CWE-502"],
   [/os\.popen\s*\(/i, "command_execution", "CWE-78"],
@@ -49791,7 +50569,7 @@ var pythonAdapter = {
   language: "python",
   extensions: [".py", ".pyw"],
   parse(code, _file) {
-    const tree = parser2.parse(code);
+    const tree = parser4.parse(code);
     const sources = [];
     const sinks = [];
     const sanitizers = [];
@@ -49856,9 +50634,14 @@ var pythonAdapter = {
           if (m[1] !== callee.trim().split(".").pop())
             argVars.push(m[1]);
         for (const [re, kind, cwe] of PY_SINKS) {
-          if (re.test(full))
-            for (const v of argVars)
-              sinks.push({ variable: v, kind, line: lineOf(n), cwe });
+          if (!re.test(full))
+            continue;
+          if (kind === "sql_execution" && /\?/.test(full) && /,\s*\(/.test(full))
+            continue;
+          if (kind === "command_execution" && /subprocess/.test(full) && /\[/.test(full))
+            continue;
+          for (const v of argVars)
+            sinks.push({ variable: v, kind, line: lineOf(n), cwe });
         }
         for (const [re, kinds] of PY_SANITIZERS) {
           if (re.test(full))
@@ -49894,6 +50677,10 @@ var JAVA_SINKS = [
   [/readObject\s*\(/i, "deserialization", "CWE-502"],
   [/new File\s*\(/i, "file_operations", "CWE-434"],
   [/\.getInputStream\s*\(/i, "http_request", "CWE-918"],
+  [/new URL\s*\(/i, "http_request", "CWE-918"],
+  [/openConnection\s*\(/i, "http_request", "CWE-918"],
+  [/DocumentBuilder|SAXParser|XMLReader/i, "xml_processing", "CWE-611"],
+  [/\.parse\s*\(/i, "xml_processing", "CWE-611"],
   [/sendRedirect\s*\(/i, "redirect", "CWE-601"],
   [/\.forward\s*\(/i, "redirect", "CWE-601"]
 ];
@@ -49961,6 +50748,195 @@ registerLanguage(jsAdapter);
 registerLanguage(pythonAdapter);
 registerLanguage(javaAdapter);
 
+// src/differential.ts
+init_scanner();
+function runEngine(code, language, file) {
+  if (language === "php") {
+    const dir = mkdtempSync(join9(tmpdir(), "blitz-diff-"));
+    const tmp = join9(dir, "old.php");
+    writeFileSync2(tmp, code);
+    try {
+      const r = analyzeDataFlow2(tmp);
+      return r.findings.map((f) => ({ sink: f.sink, sink_line: f.sink_line, category: f.category, source: f.source, cwe: f.cwe }));
+    } finally {
+      rmSync(dir, { recursive: true, force: true });
+    }
+  }
+  const extMap = { javascript: ".js", typescript: ".ts", python: ".py", java: ".java" };
+  const probe = file.includes(".") ? file : `target${extMap[language] ?? ""}`;
+  const r = analyzeTaintUniversal(code, probe);
+  return r.findings.map((f) => ({ sink: f.sink, sink_line: f.sink_line, category: f.sink, source: f.source_kind, cwe: f.cwe }));
+}
+function diffLines(oldText, newText) {
+  const a = oldText.split(`
+`);
+  const b = newText.split(`
+`);
+  const m = a.length;
+  const n = b.length;
+  const dp = Array.from({ length: m + 1 }, () => new Array(n + 1).fill(0));
+  for (let i = m - 1;i >= 0; i--) {
+    for (let j = n - 1;j >= 0; j--) {
+      dp[i][j] = a[i] === b[j] ? dp[i + 1][j + 1] + 1 : Math.max(dp[i + 1][j], dp[i][j + 1]);
+    }
+  }
+  const added = [];
+  const removed = [];
+  let i = 0;
+  let j = 0;
+  while (i < m && j < n) {
+    if (a[i] === b[j]) {
+      i++;
+      j++;
+    } else if (dp[i + 1][j] >= dp[i][j + 1]) {
+      removed.push({ line: i + 1, text: a[i] });
+      i++;
+    } else {
+      added.push({ line: j + 1, text: b[j] });
+      j++;
+    }
+  }
+  while (i < m) {
+    removed.push({ line: i + 1, text: a[i] });
+    i++;
+  }
+  while (j < n) {
+    added.push({ line: j + 1, text: b[j] });
+    j++;
+  }
+  return { added, removed };
+}
+function analyzeDifferential(oldCode, newCode, language, file = "target") {
+  const changes = [];
+  const oldFindings = runEngine(oldCode, language, file);
+  const newFindings = runEngine(newCode, language, file);
+  const key = (f) => `${f.category}|${f.sink}|${f.sink_line}`;
+  const oldKeys = new Set(oldFindings.map(key));
+  const newKeys = new Set(newFindings.map(key));
+  for (const f of newFindings) {
+    if (!oldKeys.has(key(f))) {
+      changes.push({
+        kind: "new_vulnerability",
+        severity: "high",
+        sink: f.sink,
+        category: f.category,
+        source: f.source,
+        cwe: f.cwe,
+        line: f.sink_line,
+        detail: `new ${f.category} at line ${f.sink_line} (${f.sink.trim()})`
+      });
+    }
+  }
+  for (const f of oldFindings) {
+    if (!newKeys.has(key(f))) {
+      changes.push({
+        kind: "fixed_vulnerability",
+        severity: "low",
+        sink: f.sink,
+        category: f.category,
+        source: f.source,
+        cwe: f.cwe,
+        line: f.sink_line,
+        detail: `removed ${f.category} at line ${f.sink_line} (${f.sink.trim()})`
+      });
+    }
+  }
+  const { added, removed } = diffLines(oldCode, newCode);
+  for (const l of added) {
+    const sink = classifySink2(l.text);
+    if (sink) {
+      changes.push({
+        kind: "new_sink",
+        severity: "medium",
+        sink: l.text.trim(),
+        category: sink.category,
+        cwe: sink.cwe,
+        line: l.line,
+        detail: `added sink ${l.text.trim()} (${sink.category})`
+      });
+    }
+    const source = classifySource(l.text);
+    if (source) {
+      changes.push({
+        kind: "new_source",
+        severity: source.attacker_controlled ? "medium" : "low",
+        source: source.label,
+        line: l.line,
+        detail: `added source ${l.text.trim()} (${source.label})`
+      });
+    }
+  }
+  for (const l of removed) {
+    const san = findSanitizers(l.text);
+    if (san.length > 0) {
+      changes.push({
+        kind: "sanitizer_removed",
+        severity: "high",
+        line: l.line,
+        detail: `removed sanitizer ${san.map((s) => s.label).join(", ")} (${l.text.trim()})`
+      });
+    }
+    const gates = AUTH_GATES.filter((g) => l.text.includes(g));
+    if (gates.length > 0) {
+      changes.push({
+        kind: "authorization_removed",
+        severity: "high",
+        line: l.line,
+        detail: `removed authorization gate ${gates.join(", ")} (${l.text.trim()})`
+      });
+    }
+  }
+  const rank = { high: 0, medium: 1, low: 2 };
+  changes.sort((x, y) => rank[x.severity] - rank[y.severity] || x.line - y.line);
+  const count = (k) => changes.filter((c) => c.kind === k).length;
+  return {
+    language,
+    changes,
+    summary: {
+      new_vulnerabilities: count("new_vulnerability"),
+      fixed_vulnerabilities: count("fixed_vulnerability"),
+      new_sinks: count("new_sink"),
+      new_sources: count("new_source"),
+      sanitizers_removed: count("sanitizer_removed"),
+      authorizations_removed: count("authorization_removed")
+    }
+  };
+}
+function languageOf(file) {
+  const adapter = detectLanguage(file);
+  return adapter?.language ?? "php";
+}
+function analyzeDifferentialFiles(oldPath, newPath, language) {
+  const oldCode = readFileSync13(oldPath, "utf8");
+  const newCode = readFileSync13(newPath, "utf8");
+  const lang = language ?? languageOf(newPath);
+  return analyzeDifferential(oldCode, newCode, lang, newPath);
+}
+var SOURCE_EXTS = [".php", ".phtml", ".php5", ".js", ".mjs", ".ts", ".tsx", ".py", ".pyw", ".java"];
+function analyzeGitDiff(repo, base = "HEAD~1", head = "HEAD") {
+  const git = (args) => {
+    try {
+      return execSync(`git ${args}`, { cwd: repo, encoding: "utf8", maxBuffer: 50 * 1024 * 1024 }).trim();
+    } catch {
+      return "";
+    }
+  };
+  const changed = git(`diff --name-only ${base} ${head}`).split(`
+`).filter((f) => f && SOURCE_EXTS.some((e) => f.endsWith(e)));
+  const files = [];
+  for (const file of changed) {
+    const oldCode = git(`show ${base}:${file}`);
+    const newCode = git(`show ${head}:${file}`);
+    if (!newCode)
+      continue;
+    const lang = languageOf(file);
+    files.push({ file, result: analyzeDifferential(oldCode || "", newCode, lang, file) });
+  }
+  const total_changes = files.reduce((n, f) => n + f.result.changes.length, 0);
+  const security_sensitive = files.reduce((n, f) => n + f.result.changes.filter((c) => c.severity === "high").length, 0);
+  return { repo, base, head, files, total_changes, security_sensitive };
+}
+
 // src/guidance.ts
 var SINK_DIRECTIVES = {
   sql_execution: "Validate the SQL injection live with strike_verify (use a unique MARKER and a NEGATIVE CONTROL that stays inert), or read_tool_manual for sqlmap. Only a reflected marker + inert control = confirmed.",
@@ -50774,16 +51750,16 @@ function reportJson(findings, opts = {}) {
 }
 
 // src/benchmark.ts
-import { readFileSync as readFileSync11, readdirSync as readdirSync4, writeFileSync as writeFileSync2, rmSync } from "node:fs";
-import { join as join9 } from "node:path";
+import { readFileSync as readFileSync14, readdirSync as readdirSync4, writeFileSync as writeFileSync3, rmSync as rmSync2 } from "node:fs";
+import { join as join10 } from "node:path";
 import { fileURLToPath as fileURLToPath6 } from "node:url";
-import { tmpdir } from "node:os";
-var ROOT4 = join9(fileURLToPath6(new URL(".", import.meta.url)), "..");
-var CORPUS = join9(ROOT4, "bench", "corpus");
+import { tmpdir as tmpdir2 } from "node:os";
+var ROOT4 = join10(fileURLToPath6(new URL(".", import.meta.url)), "..");
+var CORPUS = join10(ROOT4, "bench", "corpus");
 function parseCorpusFile(path) {
   let text;
   try {
-    text = readFileSync11(path, "utf8");
+    text = readFileSync14(path, "utf8");
   } catch {
     return null;
   }
@@ -50833,7 +51809,7 @@ function loadCorpus() {
     for (const f of readdirSync4(CORPUS)) {
       if (!f.endsWith(".md"))
         continue;
-      const e = parseCorpusFile(join9(CORPUS, f));
+      const e = parseCorpusFile(join10(CORPUS, f));
       if (e)
         entries.push(e);
     }
@@ -50845,10 +51821,10 @@ function loadCorpus() {
 function detect(entry) {
   const lang = entry.language;
   if (lang === "php") {
-    const tmp = join9(tmpdir(), `blitzstrike-bench-${entry.id}-${process.pid}.php`);
-    writeFileSync2(tmp, entry.code);
-    const r = analyzeTaint(tmp);
-    rmSync(tmp, { force: true });
+    const tmp = join10(tmpdir2(), `blitzstrike-bench-${entry.id}-${process.pid}.php`);
+    writeFileSync3(tmp, entry.code);
+    const r = analyzeDataFlow2(tmp);
+    rmSync2(tmp, { force: true });
     if (r.findings.length > 0)
       return { detected: true, sinkKind: r.findings[0].sink };
     return { detected: false };
@@ -51631,6 +52607,68 @@ function createServer() {
     });
     return { content: [{ type: "text", text: JSON.stringify({ ...r, next_steps: guidance }) }] };
   });
+  server.registerTool("eagle_eye2", {
+    title: "Whole-program interprocedural taint (EAGLE-EYE 2.0)",
+    description: "EAGLE-EYE 2.0: whole-program data-flow on a PHP AST — call-graph-aware interprocedural taint with return propagation, by-reference alias tracking, ternary/conditional merge, context-sensitive sanitizers, and authorization-gate detection. Prefer this over taint_scan for accurate cross-function reachability.",
+    inputSchema: { path: string2().describe("Source file path (PHP)") }
+  }, async ({ path }) => {
+    const r = analyzeDataFlow2(path);
+    const taintedSinks = [...new Set(r.findings.map((f) => f.sink))];
+    const authGated = r.findings.filter((f) => f.auth_gated).length;
+    const guidance = nextSteps({
+      tier: "eagle-eye",
+      hasFindings: r.findings.length > 0,
+      sanitizedCount: r.suppressed,
+      taintedSinks
+    });
+    return {
+      content: [{
+        type: "text",
+        text: JSON.stringify({
+          file: r.file,
+          findings: r.findings.length,
+          suppressed: r.suppressed,
+          auth_gated: authGated,
+          interprocedural: r.findings.filter((f) => f.interprocedural).length,
+          functions: r.summary.functions,
+          methods: r.summary.methods,
+          call_edges: r.summary.edges,
+          entry_points: r.summary.entry_points,
+          unreachable: r.summary.unreachable,
+          results: r.findings,
+          next_steps: guidance
+        })
+      }]
+    };
+  });
+  server.registerTool("diff_analyze", {
+    title: "Differential security analysis",
+    description: "PHASE 4: compare two versions of code (files or a git commit range) and surface only security-sensitive changes — new vulnerabilities, fixed vulnerabilities, new sinks/sources, removed sanitizers, and removed authorization gates.",
+    inputSchema: {
+      old_path: string2().optional().describe("Old file path"),
+      new_path: string2().optional().describe("New file path"),
+      old_code: string2().optional().describe("Old source code (when not using paths)"),
+      new_code: string2().optional().describe("New source code (when not using paths)"),
+      language: string2().optional().describe("Language (php/javascript/python/java); auto-detected from path if omitted"),
+      repo: string2().optional().describe("Git repo path (for git-diff mode)"),
+      base: string2().optional().describe("Git base ref (default HEAD~1)"),
+      head: string2().optional().describe("Git head ref (default HEAD)")
+    }
+  }, async ({ old_path, new_path, old_code, new_code, language, repo, base, head }) => {
+    if (repo) {
+      const r = analyzeGitDiff(repo, base ?? "HEAD~1", head ?? "HEAD");
+      return { content: [{ type: "text", text: JSON.stringify(r) }] };
+    }
+    let result;
+    if (old_path && new_path) {
+      result = analyzeDifferentialFiles(old_path, new_path, language);
+    } else if (old_code !== undefined && new_code !== undefined) {
+      result = analyzeDifferential(old_code, new_code, language ?? "php", new_path ?? "target");
+    } else {
+      return { content: [{ type: "text", text: JSON.stringify({ error: "provide (old_path+new_path), (old_code+new_code), or (repo)" }) }] };
+    }
+    return { content: [{ type: "text", text: JSON.stringify(result) }] };
+  });
   server.registerTool("taint_tree", {
     title: "Whole-tree taint scan",
     description: "EAGLE-EYE: run inter-procedural taint analysis across an entire source tree.",
@@ -51784,12 +52822,12 @@ async function serve() {
 }
 
 // src/cli.ts
-import { readFileSync as readFileSync13, existsSync as existsSync6, writeFileSync as writeFileSync4, mkdirSync as mkdirSync4 } from "node:fs";
-import { join as join11, dirname as dirname2 } from "node:path";
+import { readFileSync as readFileSync16, existsSync as existsSync6, writeFileSync as writeFileSync5, mkdirSync as mkdirSync4 } from "node:fs";
+import { join as join12, dirname as dirname2 } from "node:path";
 import { homedir as homedir5 } from "node:os";
 import { fileURLToPath as fileURLToPath8 } from "node:url";
 import { spawnSync as spawnSync3 } from "node:child_process";
-var ROOT6 = join11(fileURLToPath8(new URL(".", import.meta.url)), "..");
+var ROOT6 = join12(fileURLToPath8(new URL(".", import.meta.url)), "..");
 function which(cmd) {
   return spawnSync3(`command -v ${cmd}`, { shell: true }).status === 0;
 }
@@ -51824,7 +52862,7 @@ function runDoctor() {
     detail: fofa ? "set" : "FOFA_EMAIL/FOFA_KEY not set",
     fix: fofa ? undefined : "export FOFA_EMAIL=... && export FOFA_KEY=... (enables fofa_search)"
   });
-  const dataOk = existsSync6(join11(ROOT6, "chains.json")) && existsSync6(join11(ROOT6, "tools-catalog.json"));
+  const dataOk = existsSync6(join12(ROOT6, "chains.json")) && existsSync6(join12(ROOT6, "tools-catalog.json"));
   issues.push({
     name: "Data layers (chains + tools-catalog)",
     status: dataOk ? "ok" : "fail",
@@ -51852,21 +52890,21 @@ BlitzStrike — ${verdict}`);
 function resolveCommand() {
   if (which("blitzstrike"))
     return { command: "blitzstrike", args: ["serve", "--mcp"] };
-  const src = join11(ROOT6, "src", "index.ts");
+  const src = join12(ROOT6, "src", "index.ts");
   if (which("bun") && existsSync6(src))
     return { command: "bun", args: ["run", src, "serve", "--mcp"] };
   if (which("npx"))
     return { command: "npx", args: ["-y", "blitzstrike", "serve", "--mcp"] };
   if (which("bunx"))
     return { command: "bunx", args: ["blitzstrike", "serve", "--mcp"] };
-  const dist = join11(ROOT6, "dist", "index.js");
+  const dist = join12(ROOT6, "dist", "index.js");
   if (existsSync6(dist))
     return { command: "bun", args: [dist, "serve", "--mcp"] };
   return { command: "npx", args: ["-y", "blitzstrike", "serve", "--mcp"] };
 }
 function readJson(p) {
   try {
-    return JSON.parse(readFileSync13(p, "utf8"));
+    return JSON.parse(readFileSync16(p, "utf8"));
   } catch {
     return null;
   }
@@ -51881,7 +52919,7 @@ function jsonMcpServersWrite(p) {
       ...existing.mcpServers ?? {},
       blitzstrike: { command, args }
     };
-    writeFileSync4(p, JSON.stringify(existing, null, 2));
+    writeFileSync5(p, JSON.stringify(existing, null, 2));
   };
 }
 function opencodeWrite(p) {
@@ -51894,22 +52932,22 @@ function opencodeWrite(p) {
       ...existing.mcp ?? {},
       blitzstrike: { type: "local", command: ["npx", "-y", "blitzstrike", "serve", "--mcp"], enabled: true }
     };
-    writeFileSync4(p, JSON.stringify(existing, null, 2));
+    writeFileSync5(p, JSON.stringify(existing, null, 2));
     copyOpenCodeAgents();
   };
 }
 function copyOpenCodeAgents() {
-  const srcDir = join11(ROOT6, "opencode-agents");
-  const dstDir = join11(homedir5(), ".config", "opencode", "agents");
+  const srcDir = join12(ROOT6, "opencode-agents");
+  const dstDir = join12(homedir5(), ".config", "opencode", "agents");
   if (!existsSync6(srcDir))
     return;
   if (!existsSync6(dstDir))
     mkdirSync4(dstDir, { recursive: true });
   for (const f of ["Blitz Strike.md", "Blitz.md", "Eagle Eye.md", "Strike.md"]) {
-    const src = join11(srcDir, f);
-    const dst = join11(dstDir, f);
+    const src = join12(srcDir, f);
+    const dst = join12(dstDir, f);
     if (existsSync6(src)) {
-      writeFileSync4(dst, readFileSync13(src, "utf8"));
+      writeFileSync5(dst, readFileSync16(src, "utf8"));
     }
   }
 }
@@ -51918,7 +52956,7 @@ function codexWrite(p) {
     const dir = dirname2(p);
     if (!existsSync6(dir))
       mkdirSync4(dir, { recursive: true });
-    let existing = existsSync6(p) ? readFileSync13(p, "utf8") : "";
+    let existing = existsSync6(p) ? readFileSync16(p, "utf8") : "";
     if (!existing.trimEnd().endsWith(`
 `))
       existing += `
@@ -51929,7 +52967,7 @@ function codexWrite(p) {
 command = "${command}"
 args = ${JSON.stringify(args)}
 `;
-    writeFileSync4(p, existing);
+    writeFileSync5(p, existing);
   };
 }
 function hermesWrite(p) {
@@ -51937,7 +52975,7 @@ function hermesWrite(p) {
     const dir = dirname2(p);
     if (!existsSync6(dir))
       mkdirSync4(dir, { recursive: true });
-    let existing = existsSync6(p) ? readFileSync13(p, "utf8") : "";
+    let existing = existsSync6(p) ? readFileSync16(p, "utf8") : "";
     existing = existing.replace(/^  blitzstrike:\n(?:    .*\n?)*/m, "");
     if (!existing.trimEnd().endsWith(`
 `))
@@ -51958,80 +52996,80 @@ mcp_servers:
     args: ${JSON.stringify(args)}
 `;
     }
-    writeFileSync4(p, existing);
+    writeFileSync5(p, existing);
   };
 }
 function detectAgents() {
   const home = homedir5();
   const agents = [];
-  const claudeJson = join11(home, ".claude.json");
+  const claudeJson = join12(home, ".claude.json");
   agents.push({
     name: "Claude Code",
     detectPath: claudeJson,
     installed: () => existsSync6(claudeJson) || which("claude"),
     write: jsonMcpServersWrite(claudeJson)
   });
-  const claudeDesktop = join11(home, ".config", "Claude", "claude_desktop_config.json");
+  const claudeDesktop = join12(home, ".config", "Claude", "claude_desktop_config.json");
   agents.push({
     name: "Claude Desktop",
     detectPath: claudeDesktop,
     installed: () => existsSync6(claudeDesktop),
     write: jsonMcpServersWrite(claudeDesktop)
   });
-  const cursor = join11(home, ".cursor", "mcp.json");
+  const cursor = join12(home, ".cursor", "mcp.json");
   agents.push({
     name: "Cursor",
     detectPath: cursor,
-    installed: () => existsSync6(join11(home, ".cursor")) || which("cursor"),
+    installed: () => existsSync6(join12(home, ".cursor")) || which("cursor"),
     write: jsonMcpServersWrite(cursor)
   });
-  const opencode = join11(home, ".config", "opencode", "opencode.jsonc");
+  const opencode = join12(home, ".config", "opencode", "opencode.jsonc");
   agents.push({
     name: "OpenCode",
     detectPath: opencode,
-    installed: () => existsSync6(join11(home, ".config", "opencode")) || which("opencode"),
+    installed: () => existsSync6(join12(home, ".config", "opencode")) || which("opencode"),
     write: opencodeWrite(opencode)
   });
-  const codex = join11(home, ".codex", "config.toml");
+  const codex = join12(home, ".codex", "config.toml");
   agents.push({
     name: "Codex",
     detectPath: codex,
-    installed: () => existsSync6(join11(home, ".codex")) || which("codex"),
+    installed: () => existsSync6(join12(home, ".codex")) || which("codex"),
     write: codexWrite(codex)
   });
-  const hermes = join11(home, ".hermes", "config.yaml");
+  const hermes = join12(home, ".hermes", "config.yaml");
   agents.push({
     name: "Hermes",
     detectPath: hermes,
-    installed: () => existsSync6(join11(home, ".hermes")) || which("hermes"),
+    installed: () => existsSync6(join12(home, ".hermes")) || which("hermes"),
     write: hermesWrite(hermes)
   });
-  const gemini = join11(home, ".gemini", "settings.json");
+  const gemini = join12(home, ".gemini", "settings.json");
   agents.push({
     name: "Gemini CLI",
     detectPath: gemini,
-    installed: () => existsSync6(join11(home, ".gemini")) || which("gemini"),
+    installed: () => existsSync6(join12(home, ".gemini")) || which("gemini"),
     write: jsonMcpServersWrite(gemini)
   });
-  const windsurf = join11(home, ".codeium", "windsurf", "mcp_config.json");
+  const windsurf = join12(home, ".codeium", "windsurf", "mcp_config.json");
   agents.push({
     name: "Windsurf",
     detectPath: windsurf,
-    installed: () => existsSync6(join11(home, ".codeium")) || which("windsurf"),
+    installed: () => existsSync6(join12(home, ".codeium")) || which("windsurf"),
     write: jsonMcpServersWrite(windsurf)
   });
-  const copilot = join11(home, ".copilot", "mcp.json");
+  const copilot = join12(home, ".copilot", "mcp.json");
   agents.push({
     name: "Copilot",
     detectPath: copilot,
-    installed: () => existsSync6(join11(home, ".copilot")),
+    installed: () => existsSync6(join12(home, ".copilot")),
     write: jsonMcpServersWrite(copilot)
   });
-  const cline = join11(home, ".cline", "mcp_settings.json");
+  const cline = join12(home, ".cline", "mcp_settings.json");
   agents.push({
     name: "Cline",
     detectPath: cline,
-    installed: () => existsSync6(join11(home, ".cline")),
+    installed: () => existsSync6(join12(home, ".cline")),
     write: jsonMcpServersWrite(cline)
   });
   return agents;
@@ -52075,15 +53113,15 @@ Registered with ${ok}/${installed.length} agent(s).`);
 }
 
 // src/index.ts
-import { readFileSync as readFileSync14, existsSync as existsSync7 } from "node:fs";
-import { join as join12 } from "node:path";
+import { readFileSync as readFileSync17, existsSync as existsSync7 } from "node:fs";
+import { join as join13 } from "node:path";
 import { fileURLToPath as fileURLToPath9 } from "node:url";
-var ROOT7 = join12(fileURLToPath9(new URL(".", import.meta.url)), "..");
+var ROOT7 = join13(fileURLToPath9(new URL(".", import.meta.url)), "..");
 function readVersion() {
   try {
-    const p = join12(ROOT7, "package.json");
+    const p = join13(ROOT7, "package.json");
     if (existsSync7(p))
-      return JSON.parse(readFileSync14(p, "utf8")).version ?? "1.0.0";
+      return JSON.parse(readFileSync17(p, "utf8")).version ?? "1.0.0";
   } catch {}
   return "1.0.0";
 }