@backbencher/brain 0.0.0-stage → 0.1.1

package/dist/chunk-RM3PY6TG.js

@@ -0,0 +1,376 @@
+import {
+  classifyTier
+} from "./chunk-RCMTFSEF.js";
+
+// src/lsp/signature.ts
+var UNRESOLVED_TYPE = "unknown";
+var UNKNOWN_PARAMETER_LIST = "\u2026";
+var RAW_JSON_SHAPE = /[{\[]\s*"?[A-Za-z_][A-Za-z0-9_]*"?\s*:/;
+var CALLABLE_TYPES = /* @__PURE__ */ new Set([
+  "function",
+  "method",
+  "constructor",
+  "procedure",
+  "subroutine",
+  "getter",
+  "setter"
+]);
+function parseParameters(raw) {
+  if (raw === null || raw === void 0 || raw.trim() === "") return { shape: "absent", entries: [], text: "" };
+  const text = raw.trim();
+  let parsed;
+  try {
+    parsed = JSON.parse(text);
+  } catch {
+    return { shape: RAW_JSON_SHAPE.test(text) ? "serialized" : "opaque", entries: [], text };
+  }
+  if (!Array.isArray(parsed)) return { shape: "serialized", entries: [], text };
+  if (parsed.length === 0) return { shape: "empty", entries: [], text };
+  const entries = [];
+  for (const item of parsed) {
+    if (typeof item === "string") {
+      if (item.trim() !== "") entries.push({ name: item.trim() });
+      continue;
+    }
+    if (item === null || typeof item !== "object") {
+      return { shape: "serialized", entries: [], text };
+    }
+    const e = item;
+    const name = typeof e.name === "string" ? e.name : "";
+    if (name.trim() === "") {
+      return { shape: "serialized", entries: [], text };
+    }
+    entries.push({
+      name: name.trim(),
+      type: typeof e.type === "string" ? e.type : null,
+      isOptional: e.isOptional === true || e.optional === true,
+      defaultValue: typeof e.defaultValue === "string" ? e.defaultValue : null,
+      isRest: e.isRest === true || e.rest === true || e.variadic === true,
+      isImplicit: e.isImplicit === true
+    });
+  }
+  return { shape: "list", entries, text };
+}
+function splitRestMarker(name) {
+  if (name.startsWith("...")) return { name: name.slice(3), rest: true };
+  if (name.startsWith("*") && name.length > 1) return { name: name.slice(1), rest: true };
+  return { name, rest: false };
+}
+function resolvedType(type) {
+  const t = (type ?? "").trim();
+  return t === "" ? UNRESOLVED_TYPE : t;
+}
+function renderParameter(entry, language) {
+  const marked = splitRestMarker(entry.name);
+  const rest = entry.isRest === true || marked.rest;
+  const name = marked.name;
+  const type = resolvedType(entry.type);
+  const lang = (language ?? "").toLowerCase();
+  const trailingDefault = entry.defaultValue !== null && entry.defaultValue !== void 0 && entry.defaultValue !== "" ? ` = ${entry.defaultValue}` : "";
+  if (rest) {
+    if (lang === "python") return `*${name}: ${type}`;
+    if (lang === "java") return `${type}... ${name}`;
+    if (lang === "kotlin") return `vararg ${name}: ${type}`;
+    if (lang === "scala") return `${name}: ${type}*`;
+    return `...${name}: ${type}`;
+  }
+  if (entry.isImplicit === true) return name;
+  if (lang === "java") return trailingDefault !== "" ? `${type} ${name}${trailingDefault}` : `${type} ${name}`;
+  if (entry.isOptional === true && trailingDefault === "") {
+    if (lang === "javascript" || lang === "typescript" || lang === "" || lang === "unknown") return `${name}?: ${type}`;
+    return `${name}: ${type}`;
+  }
+  return `${name}: ${type}${trailingDefault}`;
+}
+function renderParameterList(raw, language) {
+  const parsed = parseParameters(raw);
+  switch (parsed.shape) {
+    case "absent":
+      return UNKNOWN_PARAMETER_LIST;
+    case "empty":
+      return "";
+    case "list":
+      return parsed.entries.map((e) => renderParameter(e, language)).join(", ");
+    case "opaque":
+      return parsed.text;
+    case "serialized":
+      return UNKNOWN_PARAMETER_LIST;
+  }
+}
+function renderSignature(symbol, language) {
+  const parts = [];
+  const visibility = (symbol.visibility ?? "").trim();
+  if (visibility !== "") parts.push(visibility);
+  parts.push(symbol.symbol_type);
+  let sig = symbol.symbol_type.toLowerCase() === symbol.name.toLowerCase() ? parts.join(" ") : `${parts.join(" ")} ${symbol.name}`;
+  const type = (symbol.symbol_type ?? "").toLowerCase();
+  if (CALLABLE_TYPES.has(type)) {
+    sig += `(${renderParameterList(symbol.parameters, language)})`;
+  }
+  const ret = (symbol.return_type ?? "").trim();
+  if (ret !== "") sig += ` \u2192 ${ret}`;
+  return sig;
+}
+
+// src/lsp/cross_language_hover.ts
+function tierForCrossLanguageEdge(edge) {
+  return classifyTier({
+    relationshipType: edge.relationship_type,
+    confidence: edge.confidence,
+    evidenceClass: edge.evidence_class
+  });
+}
+var UNNAMED_BRIDGE = "unnamed bridge (stored row carries no mechanism)";
+function factsFromRows(rows, hoverLanguage) {
+  if (hoverLanguage === null) return [];
+  const facts = [];
+  for (const row of rows) {
+    if (!row.other_language) continue;
+    facts.push({
+      pair: `${hoverLanguage} \u2192 ${row.other_language}`,
+      direction: row.direction,
+      bridge: row.bridge_mechanism ?? UNNAMED_BRIDGE,
+      tier: tierForCrossLanguageEdge(row),
+      confidence: row.confidence ?? 0,
+      relationshipType: row.relationship_type
+    });
+  }
+  return facts;
+}
+function crossLanguageSection(facts) {
+  if (facts.length === 0) return "";
+  const lines = ["**cross-language** (from stored index rows only):"];
+  for (const f of facts) {
+    const dir = f.direction === "caller" ? "called from" : "calls into";
+    lines.push(`- ${dir} ${f.pair.split(" \u2192 ")[1]} via ${f.bridge} \u2014 ${f.tier} (confidence ${f.confidence})`);
+  }
+  return lines.join("\n");
+}
+function storedCrossLanguageRows(db, symbolId) {
+  const rows = [];
+  const callers = db.prepare(
+    `SELECT r.relationship_type, r.confidence, r.bridge_mechanism, sf.language AS other_language, r.metadata
+       FROM brain_relationship r
+       JOIN brain_symbol ss ON ss.id = r.source_symbol_id AND ss.project_id = r.project_id
+       JOIN brain_file sf ON sf.id = ss.file_id
+       WHERE r.is_cross_language = 1 AND r.target_symbol_id = ?
+         AND r.project_id = (SELECT s2.project_id FROM brain_symbol s2 WHERE s2.id = ?)`
+  ).all(symbolId, symbolId);
+  for (const r of callers) rows.push({ ...r, direction: "caller", evidence_class: parseEvidenceClass(r.metadata) });
+  const callees = db.prepare(
+    `SELECT r.relationship_type, r.confidence, r.bridge_mechanism, tf.language AS other_language, r.metadata
+       FROM brain_relationship r
+       JOIN brain_symbol ts ON ts.id = r.target_symbol_id AND ts.project_id = r.project_id
+       JOIN brain_file tf ON tf.id = ts.file_id
+       WHERE r.is_cross_language = 1 AND r.source_symbol_id = ?
+         AND r.project_id = (SELECT s2.project_id FROM brain_symbol s2 WHERE s2.id = ?)`
+  ).all(symbolId, symbolId);
+  for (const r of callees) rows.push({ ...r, direction: "callee", evidence_class: parseEvidenceClass(r.metadata) });
+  return rows;
+}
+function parseEvidenceClass(metadata) {
+  if (!metadata) return null;
+  try {
+    const parsed = JSON.parse(metadata);
+    return typeof parsed["evidenceClass"] === "string" ? parsed["evidenceClass"] : null;
+  } catch {
+    return null;
+  }
+}
+var CROSS_LANGUAGE_DEFAULT_LIMIT = 200;
+var CROSS_LANGUAGE_MAX_LIMIT = 1e3;
+var CROSS_LANGUAGE_COPY_CAP = 200;
+var SELF_COLUMNS = `r.id AS row_id, r.relationship_type AS relationship_type, r.confidence AS confidence,
+       r.bridge_mechanism AS bridge_mechanism, r.metadata AS metadata`;
+var COPY_COLUMNS = `ts.id AS self_id, ts.name AS self_name, tf.relative_path AS self_file,
+       tf.language AS self_language, ts.line_start AS self_line,
+       NULL AS owner_id, NULL AS owner_name, NULL AS owner_file, NULL AS owner_language, NULL AS owner_line`;
+var OTHER_COLUMNS_AS_TARGET = `ss.id AS other_id, ss.name AS other_name, sf.relative_path AS other_file,
+       sf.language AS other_language, ss.line_start AS other_line`;
+var AGENT_FACTS_SQL = `
+SELECT ${SELF_COLUMNS}, 'caller' AS direction, ${COPY_COLUMNS}, ${OTHER_COLUMNS_AS_TARGET}
+FROM brain_symbol ts
+CROSS JOIN brain_relationship r ON r.target_symbol_id = ts.id AND r.is_cross_language = 1
+CROSS JOIN brain_symbol ss ON ss.id = r.source_symbol_id
+JOIN brain_file tf ON tf.id = ts.file_id
+JOIN brain_file sf ON sf.id = ss.file_id
+WHERE ts.name = ? AND r.project_id = ?
+UNION ALL
+SELECT ${SELF_COLUMNS}, 'callee' AS direction, ${COPY_COLUMNS}, ${OTHER_COLUMNS_AS_TARGET}
+FROM brain_symbol ts
+CROSS JOIN brain_relationship r ON r.source_symbol_id = ts.id AND r.is_cross_language = 1
+CROSS JOIN brain_symbol ss ON ss.id = r.target_symbol_id
+JOIN brain_file tf ON tf.id = ts.file_id
+JOIN brain_file sf ON sf.id = ss.file_id
+WHERE ts.name = ? AND r.project_id = ?
+ORDER BY self_file, self_line, direction, other_file, other_line, row_id`;
+var ALL_COPIES_SQL = `
+SELECT s.id AS id, s.name AS name, f.relative_path AS file, f.language AS language, s.line_start AS line
+FROM brain_symbol s
+JOIN brain_file f ON f.id = s.file_id
+WHERE s.project_id = ? AND s.name = ?
+ORDER BY f.relative_path, s.line_start, s.id
+LIMIT ?`;
+var COPY_COUNT_SQL = `
+SELECT COUNT(*) AS total
+FROM brain_symbol
+WHERE project_id = ? AND name = ?`;
+var COPY_LANGUAGES_SQL = `
+SELECT DISTINCT f.language AS language
+FROM brain_symbol s
+JOIN brain_file f ON f.id = s.file_id
+WHERE s.project_id = ? AND s.name = ? AND f.language IS NOT NULL AND TRIM(f.language) <> ''
+ORDER BY f.language`;
+var MEMBER_FACTS_SQL = `
+SELECT ${SELF_COLUMNS}, 'caller' AS direction,
+       m.id AS self_id, m.name AS self_name, mfile.relative_path AS self_file,
+       mfile.language AS self_language, m.line_start AS self_line,
+       owner.id AS owner_id, owner.name AS owner_name, ofile.relative_path AS owner_file,
+       ofile.language AS owner_language, owner.line_start AS owner_line,
+       ${OTHER_COLUMNS_AS_TARGET}
+FROM brain_symbol owner
+CROSS JOIN brain_symbol m ON m.owner_symbol_id = owner.id
+CROSS JOIN brain_relationship r ON r.target_symbol_id = m.id AND r.is_cross_language = 1
+JOIN brain_file mfile ON mfile.id = m.file_id
+JOIN brain_file ofile ON ofile.id = owner.file_id
+JOIN brain_symbol ss ON ss.id = r.source_symbol_id
+JOIN brain_file sf ON sf.id = ss.file_id
+WHERE owner.name = ? AND r.project_id = ? AND m.name <> owner.name
+UNION ALL
+SELECT ${SELF_COLUMNS}, 'callee' AS direction,
+       m.id AS self_id, m.name AS self_name, mfile.relative_path AS self_file,
+       mfile.language AS self_language, m.line_start AS self_line,
+       owner.id AS owner_id, owner.name AS owner_name, ofile.relative_path AS owner_file,
+       ofile.language AS owner_language, owner.line_start AS owner_line,
+       ss.id AS other_id, ss.name AS other_name, sf.relative_path AS other_file,
+       sf.language AS other_language, ss.line_start AS other_line
+FROM brain_symbol owner
+CROSS JOIN brain_symbol m ON m.owner_symbol_id = owner.id
+CROSS JOIN brain_relationship r ON r.source_symbol_id = m.id AND r.is_cross_language = 1
+JOIN brain_file mfile ON mfile.id = m.file_id
+JOIN brain_file ofile ON ofile.id = owner.file_id
+JOIN brain_symbol ss ON ss.id = r.target_symbol_id
+JOIN brain_file sf ON sf.id = ss.file_id
+WHERE owner.name = ? AND r.project_id = ? AND m.name <> owner.name
+ORDER BY self_file, self_line, owner_file, owner_line, direction, other_file, other_line, row_id`;
+var DEEPER_DESCENDANT_ROWS_SQL = `
+WITH RECURSIVE down(id, depth) AS (
+  SELECT m.id, 1
+  FROM brain_symbol o
+  CROSS JOIN brain_symbol m ON m.owner_symbol_id = o.id
+  WHERE o.project_id = ? AND o.name = ?
+  UNION ALL
+  SELECT m.id, down.depth + 1
+  FROM brain_symbol m JOIN down ON m.owner_symbol_id = down.id
+)
+SELECT COUNT(*) AS n FROM (
+  SELECT r.id FROM down CROSS JOIN brain_relationship r ON r.target_symbol_id = down.id
+  WHERE r.project_id = ? AND r.is_cross_language = 1 AND down.depth >= 2
+  UNION
+  SELECT r.id FROM down CROSS JOIN brain_relationship r ON r.source_symbol_id = down.id
+  WHERE r.project_id = ? AND r.is_cross_language = 1 AND down.depth >= 2
+)`;
+function factFromRow(row, match, counters) {
+  const pair = row.self_language && row.other_language && row.self_language.toLowerCase() !== row.other_language.toLowerCase() ? `${row.self_language} \u2192 ${row.other_language}` : null;
+  if (pair === null) {
+    counters.unpairable++;
+    return null;
+  }
+  const self = { symbol: row.self_name, file: row.self_file, language: row.self_language, line: row.self_line };
+  const fact = {
+    self,
+    direction: row.direction,
+    other: { symbol: row.other_name, file: row.other_file, language: row.other_language, line: row.other_line },
+    pair,
+    bridge: row.bridge_mechanism ?? UNNAMED_BRIDGE,
+    tier: tierForCrossLanguageEdge({
+      relationship_type: row.relationship_type,
+      confidence: row.confidence,
+      evidence_class: parseEvidenceClass(row.metadata)
+    }),
+    confidence: row.confidence ?? 0,
+    relationshipType: row.relationship_type,
+    rowId: row.row_id,
+    match
+  };
+  if (match === "owner-cascade") {
+    fact.owner = { symbol: row.owner_name, file: row.owner_file, language: row.owner_language, line: row.owner_line };
+    fact.matchedMember = self;
+    fact.matchedMemberId = row.self_id;
+  }
+  return fact;
+}
+function storedCrossLanguageFactsByName(db, projectId, name) {
+  const rows = db.prepare(AGENT_FACTS_SQL).all(name, projectId, name, projectId);
+  const memberRows = db.prepare(MEMBER_FACTS_SQL).all(name, projectId, name, projectId);
+  const allCopies = db.prepare(ALL_COPIES_SQL).all(projectId, name, CROSS_LANGUAGE_COPY_CAP);
+  const deeperDescendantRows = db.prepare(DEEPER_DESCENDANT_ROWS_SQL).get(projectId, name, projectId, projectId).n;
+  const copyTotal = db.prepare(COPY_COUNT_SQL).get(projectId, name).total;
+  const copyLanguages = db.prepare(COPY_LANGUAGES_SQL).all(projectId, name).map((r) => r.language);
+  const copies = /* @__PURE__ */ new Map();
+  for (const copy of allCopies) {
+    copies.set(copy.id, { id: copy.id, symbol: copy.name, file: copy.file, language: copy.language, line: copy.line, crossRowCount: 0 });
+  }
+  const seenRows = /* @__PURE__ */ new Set();
+  const facts = [];
+  const memberFacts = [];
+  const members = /* @__PURE__ */ new Set();
+  const counters = { unpairable: 0 };
+  let collapsed = 0;
+  for (const row of rows) {
+    const copy = copies.get(row.self_id);
+    if (copy) copy.crossRowCount++;
+    else {
+      copies.set(row.self_id, { id: row.self_id, symbol: row.self_name, file: row.self_file, language: row.self_language, line: row.self_line, crossRowCount: 1 });
+    }
+    if (seenRows.has(row.row_id)) {
+      collapsed++;
+      continue;
+    }
+    seenRows.add(row.row_id);
+    const fact = factFromRow(row, "exact", counters);
+    if (fact) facts.push(fact);
+  }
+  for (const row of memberRows) {
+    if (seenRows.has(row.row_id)) {
+      collapsed++;
+      continue;
+    }
+    seenRows.add(row.row_id);
+    members.add(row.self_id);
+    const fact = factFromRow(row, "owner-cascade", counters);
+    if (fact) memberFacts.push(fact);
+  }
+  const sorted = [...copies.values()].sort((a, b) => (a.file ?? "").localeCompare(b.file ?? "") || (a.line ?? 0) - (b.line ?? 0) || a.id.localeCompare(b.id));
+  const copyList = sorted.slice(0, CROSS_LANGUAGE_COPY_CAP);
+  const languages = copyLanguages.slice().sort();
+  return {
+    copies: copyList,
+    copyCount: copyTotal,
+    languages,
+    ambiguous: copyTotal > 1,
+    copiesTruncated: copyTotal > copyList.length,
+    copiesCap: CROSS_LANGUAGE_COPY_CAP,
+    deeperDescendantRowCount: deeperDescendantRows,
+    facts,
+    memberFacts,
+    storedRowCount: rows.length + memberRows.length,
+    unpairableRowCount: counters.unpairable,
+    collapsedRowCount: collapsed,
+    memberCount: members.size
+  };
+}
+
+export {
+  UNRESOLVED_TYPE,
+  UNKNOWN_PARAMETER_LIST,
+  parseParameters,
+  renderParameterList,
+  renderSignature,
+  factsFromRows,
+  crossLanguageSection,
+  storedCrossLanguageRows,
+  CROSS_LANGUAGE_DEFAULT_LIMIT,
+  CROSS_LANGUAGE_MAX_LIMIT,
+  storedCrossLanguageFactsByName
+};