pi-fovea 0.28.2 → 0.29.0

package/README.md

@@ -108,7 +108,7 @@ Runtime slash controls:
 
 ## Install
 
-Requires Node.js 20+. The install provisions [ast-grep](https://ast-grep.github.io/) automatically through the `@ast-grep/cli` npm optional dependency; an `ast-grep` found on PATH takes precedence over the packaged copy, and `FOVEA_AST_GREP=/path/to/sg` overrides both.
+Requires Node.js 20+. The install provisions [ast-grep](https://ast-grep.github.io/) automatically through the `@ast-grep/cli` npm optional dependency; an `ast-grep` found on PATH takes precedence over the packaged copy, and `FOVEA_AST_GREP=/path/to/sg` overrides both. Bend-only and config/protocol-only roots work without ast-grep; it is required when discovery or refresh includes a language that uses its parser.
 
 ```sh
 pi install npm:pi-fovea
@@ -529,6 +529,13 @@ Outline-based symbols: **Elixir, Ruby, C, C++, Java, Kotlin, Lua, PHP, Swift, Sc
 Config joins through literals: **YAML, JSON, TOML, env, Markdown, and OpenAPI**.
 Exact contract topology: **Protocol Buffers (`.proto`) and GraphQL (`.graphql`, `.gql`)**, joined to gRPC, tRPC, oRPC, Hono, and producer/consumer call sites.
 
+**Bend 2 (`.bend`)** uses a native source reader (no ast-grep binary or grammar required):
+definitions, laws, datatypes/constructors, explicit calls (including GPU `!`),
+strings, and local/foreign imports. Module aliases resolve qualified calls.
+A law implemented in the same file shares its definition's symbol. Built-in
+`Base`, hub packages, and out-of-root imports remain unresolved. Operator/desugared
+calls and proof checking are not modeled; Bend 1/HVM syntax is not supported.
+
 ## Development
 
 ```sh

package/dist/cli.mjs

@@ -1235,6 +1235,8 @@ var LANG_BY_EXT = {
   py: "Python",
   go: "Go",
   rs: "Rust",
+  bend: "Bend",
+  // Native source reader; never sent to ast-grep patterns.
   // Second tier: symbols via ast-grep outline; name derivation is heuristic.
   ex: "Elixir",
   exs: "Elixir",
@@ -1592,6 +1594,115 @@ var patternRunAll = async (patterns, lang, files, cwd) => {
   return out;
 };
 
+// src/core/bend.ts
+var NAME = "[A-Za-z_][A-Za-z0-9_.]*";
+var DECL = new RegExp(`^(?:@unsafe\\s+)?(def|law|type)\\s+(${NAME})(?=[\\s(<:]|$)`);
+var CONSTRUCTOR = new RegExp(`^\\s+(${NAME})\\s*\\{`);
+var CALL = new RegExp(`\\b(${NAME})\\s*!?\\s*\\(`, "g");
+var CALL_KEYWORDS = /* @__PURE__ */ new Set(["def", "type", "law", "match", "case", "do", "return", "for", "exs", "where", "is", "import", "Type", "Data", "Kind", "Quant"]);
+var IMPORT = new RegExp(`^import\\s+(\\S+?)(?:\\s+as\\s+(${NAME}))?\\s*$`);
+var extractBend = (file, text) => {
+  const facts = { symbols: [], imports: [], calls: [], literals: [] };
+  let inType = false;
+  let header = false;
+  let brackets = [];
+  let quote = "";
+  let value = "";
+  let literalLine = 0;
+  const lines = text.split("\n");
+  for (let at = 0; at < lines.length; at++) {
+    const raw = lines[at];
+    const line = at + 1;
+    let code = "";
+    let visible = "";
+    const strings = [];
+    let start = -1;
+    for (let i = 0; i < raw.length; i++) {
+      const ch = raw[i];
+      if (quote) {
+        code += " ";
+        visible += ch;
+        if (ch === "\\" && i + 1 < raw.length) {
+          const escaped = raw[++i];
+          value += { n: "\n", r: "\r", t: "	", "0": "\0" }[escaped] ?? escaped;
+          code += " ";
+          visible += escaped;
+        } else if (ch === quote) {
+          if (quote === '"') {
+            strings.push({ start, text: value });
+            if (value.length >= 2 && value.length <= 200) facts.literals.push({ file, line: literalLine, text: value });
+          }
+          quote = "";
+        } else value += ch;
+      } else if (ch === "#") {
+        break;
+      } else if (ch === '"' || ch === "'") {
+        quote = ch;
+        value = "";
+        literalLine = line;
+        start = i;
+        code += " ";
+        visible += ch;
+      } else {
+        code += ch;
+        visible += ch;
+      }
+    }
+    if (quote) value += "\n";
+    if (!code.trim()) continue;
+    const decl = DECL.exec(code);
+    if (decl) {
+      const kind = decl[1] === "def" ? "function" : decl[1] === "type" ? "type" : "decl";
+      const sig = visible.trim();
+      facts.symbols.push({ file, line, name: decl[2], kind, sig: sig.length > 140 ? sig.slice(0, 137) + "..." : sig, lang: "Bend" });
+      inType = decl[1] === "type";
+      header = true;
+      brackets = [];
+    } else if (!header && /^\S/.test(code)) {
+      inType = false;
+    }
+    if (header) {
+      for (let i = 0; i < code.length; i++) {
+        const ch = code[i];
+        if ("(<{[".includes(ch)) brackets.push(ch);
+        else if (")>}]".includes(ch) && !(ch === ">" && code[i - 1] === "-")) {
+          if (brackets.at(-1) === { ")": "(", ">": "<", "}": "{", "]": "[" }[ch]) brackets.pop();
+        } else if (ch === ":" && brackets.length === 0) {
+          header = false;
+          code = " ".repeat(i + 1) + code.slice(i + 1);
+          break;
+        }
+      }
+      if (header) continue;
+    }
+    const imp = IMPORT.exec(code);
+    if (imp) {
+      facts.imports.push({ file, line, spec: imp[1], ...imp[2] ? { alias: imp[2] } : {} });
+      continue;
+    }
+    if (/^\s+import\s+/.test(code)) {
+      const path = strings.find((s) => s.start >= 0 && /^\s+import\s+$/.test(code.slice(0, s.start)));
+      if (path) facts.imports.push({ file, line, spec: path.text });
+      continue;
+    }
+    if (inType) {
+      const ctor = CONSTRUCTOR.exec(code);
+      if (ctor) facts.symbols.push({ file, line, name: ctor[1], kind: "decl", sig: visible.trim().slice(0, 140), lang: "Bend" });
+      continue;
+    }
+    CALL.lastIndex = 0;
+    for (const call of code.matchAll(CALL)) {
+      if (!CALL_KEYWORDS.has(call[1])) facts.calls.push({ file, line, callee: call[1] });
+    }
+  }
+  const symbols = /* @__PURE__ */ new Map();
+  for (const symbol of facts.symbols) {
+    if (!symbols.has(symbol.name) || symbol.kind === "function") symbols.set(symbol.name, symbol);
+  }
+  facts.symbols = [...symbols.values()].sort((a, b) => a.line - b.line);
+  return facts;
+};
+
 // src/core/source.ts
 import { readFile } from "node:fs/promises";
 import { join as join4 } from "node:path";
@@ -1841,9 +1952,14 @@ var parseOutlineText = (text, lang) => {
   return out;
 };
 var defaultSource = (cwd) => makeFileSource(cwd);
+var bendFacts = async (files, source) => mapLimit(files.filter((file) => langOf(file) === "Bend"), SOURCE_SCAN_CONCURRENCY, async (file) => extractBend(file, await source.read(file) ?? ""));
 var extractSymbols = async (files, cwd, source = defaultSource(cwd)) => {
   const out = [];
   for (const [lang, langFiles] of groupByLang(files)) {
+    if (lang === "Bend") {
+      for (const facts of await bendFacts(langFiles, source)) pushAll(out, facts.symbols);
+      continue;
+    }
     const structured = await outlineStructured(langFiles, lang, cwd);
     if (structured) {
       const parsed = await parseStructuredOutline(structured, source);
@@ -1879,7 +1995,7 @@ var IMPORT_PATTERNS = {
 };
 IMPORT_PATTERNS.JavaScript = IMPORT_PATTERNS.TypeScript;
 IMPORT_PATTERNS.Tsx = IMPORT_PATTERNS.TypeScript;
-var supportsImportExtraction = (language) => !!IMPORT_PATTERNS[language]?.length;
+var supportsImportExtraction = (language) => language === "Bend" || !!IMPORT_PATTERNS[language]?.length;
 var importExpression = (raw) => {
   const expression = raw.trim();
   const literal = (text) => {
@@ -1928,13 +2044,13 @@ var importsFromMatches = (matches) => {
   }
   return dedupe(out, (i) => `${i.file}|${i.spec}|${i.line}`);
 };
-var extractImports = async (files, cwd) => {
+var extractImports = async (files, cwd, source = defaultSource(cwd)) => {
   const perLang = await Promise.all([...groupByLang(files)].map(
     ([lang, langFiles]) => patternRunAll(IMPORT_PATTERNS[lang] ?? [], lang, langFiles, cwd)
   ));
   const matches = [];
   for (const local of perLang) pushAll(matches, local);
-  return importsFromMatches(matches);
+  return [...importsFromMatches(matches), ...(await bendFacts(files, source)).flatMap((facts) => facts.imports)];
 };
 var CALL_PATTERNS = ["$O.$M($$$A)", "$F($$$A)"];
 var CALL_WARDS = /* @__PURE__ */ new Set([
@@ -2081,13 +2197,13 @@ var callsFromMatches = (matches) => {
   }
   return out;
 };
-var extractCalls = async (files, cwd) => {
-  const perLang = await Promise.all([...groupByLang(files)].map(
+var extractCalls = async (files, cwd, source = defaultSource(cwd)) => {
+  const perLang = await Promise.all([...groupByLang(files)].filter(([lang]) => lang !== "Bend").map(
     ([lang, langFiles]) => patternRunAll(CALL_PATTERNS, lang, langFiles, cwd)
   ));
   const matches = [];
   for (const local of perLang) pushAll(matches, local);
-  return callsFromMatches(matches);
+  return [...callsFromMatches(matches), ...(await bendFacts(files, source)).flatMap((facts) => facts.calls)];
 };
 var STRING_PATTERNS = {
   TypeScript: ['"$S"', "'$S'", "`$S`"],
@@ -2155,7 +2271,7 @@ var literalsFromMatches = (matches) => {
 };
 var completeLiterals = async (files, cwd, source, out) => {
   pushAll(out, await extractConfigLiterals(files, cwd, source));
-  const codeFiles = files.filter((f) => !isConfigFile(f));
+  const codeFiles = files.filter((f) => !isConfigFile(f) && langOf(f) !== "Bend");
   const templateSites = await mapLimit(codeFiles, SOURCE_SCAN_CONCURRENCY, async (f) => {
     const local = [];
     const src = await source.read(f);
@@ -2178,7 +2294,8 @@ var extractLiterals = async (files, cwd, source = defaultSource(cwd)) => {
   ));
   const matches = [];
   for (const local of perLang) pushAll(matches, local);
-  return completeLiterals(files, cwd, source, literalsFromMatches(matches));
+  const native = (await bendFacts(files, source)).flatMap((facts) => facts.literals);
+  return completeLiterals(files, cwd, source, [...literalsFromMatches(matches), ...native]);
 };
 var CORE_IMPORT_PREFIX = "fovea-core-import-";
 var CORE_CALL_PREFIX = "fovea-core-call-";
@@ -2195,6 +2312,7 @@ var coreScanRules = (files) => {
     });
   };
   for (const [language] of groupByLang(files)) {
+    if (language === "Bend") continue;
     for (const pattern of IMPORT_PATTERNS[language] ?? []) add(CORE_IMPORT_PREFIX, language, pattern);
     for (const pattern of CALL_PATTERNS) {
       const metavar = pattern.startsWith("$O.") ? "M" : "F";
@@ -2213,10 +2331,11 @@ var coreFactsFromScan = async (files, cwd, source, matches) => {
     else if (match.ruleId.startsWith(CORE_CALL_PREFIX)) calls.push(match);
     else if (match.ruleId.startsWith(CORE_LITERAL_PREFIX)) literals.push(match);
   }
+  const native = await bendFacts(files, source);
   return {
-    imports: importsFromMatches(imports),
-    calls: callsFromMatches(calls),
-    literals: await completeLiterals(files, cwd, source, literalsFromMatches(literals))
+    imports: [...importsFromMatches(imports), ...native.flatMap((facts) => facts.imports)],
+    calls: [...callsFromMatches(calls), ...native.flatMap((facts) => facts.calls)],
+    literals: await completeLiterals(files, cwd, source, [...literalsFromMatches(literals), ...native.flatMap((facts) => facts.literals)])
   };
 };
 var pushAll = (out, more) => {
@@ -2599,6 +2718,12 @@ var resolveImportToFile = (spec, fromFile, index) => {
     const hits2 = [...new Set(candidates)].filter((candidate) => fileSet.has(candidate));
     return hits2.length ? { file: hits2[0], evidence: { strategy, rule: "import-resolve", source: spec, candidates: hits2.length } } : void 0;
   };
+  if (fam === "bend") {
+    if (spec === "Base" || /^0x[0-9a-f]+\//i.test(spec) || posix2.isAbsolute(spec)) return void 0;
+    const local = posix2.normalize(posix2.join(posix2.dirname(fromFile), spec));
+    if (local === ".." || local.startsWith("../")) return void 0;
+    return exact([local], "relative-import");
+  }
   if (spec.startsWith("./") || spec.startsWith("../")) {
     let base = posix2.normalize(posix2.join(posix2.dirname(fromFile), spec));
     base = base.replace(/\.(?:[cm]?js|jsx)$/, "");
@@ -2815,7 +2940,7 @@ var assembleGraphWithIndex = async (root, files, factsMap) => {
       importCoverage.resolved++;
       if (target.file === rel) continue;
       pushEdge(fileIdx.get(rel), fileIdx.get(target.file), "imports", 0.3, target.evidence);
-      (importTargets.get(rel) ?? importTargets.set(rel, []).get(rel)).push(target);
+      (importTargets.get(rel) ?? importTargets.set(rel, []).get(rel)).push({ ...target, alias: imp.alias });
     }
     if (isTestFile(rel)) {
       for (const target of importTargets.get(rel) ?? []) {
@@ -2831,9 +2956,14 @@ var assembleGraphWithIndex = async (root, files, factsMap) => {
   await forEachChunked(files, 256, (rel) => {
     const f = facts(rel);
     if (!f) return;
-    const imported = new Set((importTargets.get(rel) ?? []).map((target) => target.file));
+    const targets = importTargets.get(rel) ?? [];
+    const imported = new Set(targets.map((target) => target.file));
+    const bend = langFamily(rel) === "bend";
+    const aliases = bend ? targets.filter((target) => target.alias).sort((a, b) => b.alias.length - a.alias.length) : [];
     for (const call of f.calls) {
-      const cands = byName.get(call.callee.toLowerCase()) ?? [];
+      const alias = aliases.find((target) => call.callee.startsWith(`${target.alias}.`));
+      const name = alias ? call.callee.slice(alias.alias.length + 1) : call.callee;
+      const cands = (byName.get(name.toLowerCase()) ?? []).filter((i) => !bend || nodes[i].lang === "Bend" && nodes[i].name === name && nodes[i].file === (alias?.file ?? rel));
       if (!cands.length || cands.length > 48) continue;
       let strategy = "same-file-symbol";
       let chosen = cands.filter((i) => nodes[i].file === rel);
@@ -3714,7 +3844,7 @@ var promote = (sigs, pack = []) => {
 // src/core/protocols.ts
 import { extname } from "node:path";
 var PROTOCOL_EXTENSIONS = /* @__PURE__ */ new Set([".proto", ".graphql", ".gql"]);
-var NAME = /[_A-Za-z][_0-9A-Za-z]*/y;
+var NAME2 = /[_A-Za-z][_0-9A-Za-z]*/y;
 var maskSyntax = (text, hashComments) => {
   const chars = text.split("");
   const blank = (index) => {
@@ -3921,15 +4051,15 @@ var protoAnchors = (file, source) => {
 var graphqlFields = (text, start, end) => {
   const out = [];
   for (let i = start; i < end; ) {
-    NAME.lastIndex = i;
-    const match = NAME.exec(text);
+    NAME2.lastIndex = i;
+    const match = NAME2.exec(text);
     if (!match) {
       i++;
       continue;
     }
     const name = match[0];
-    let cursor = NAME.lastIndex;
-    let resume = NAME.lastIndex;
+    let cursor = NAME2.lastIndex;
+    let resume = NAME2.lastIndex;
     while (cursor < end && /\s/.test(text[cursor])) cursor++;
     if (text[cursor] === "(") {
       let depth = 0;
@@ -3956,21 +4086,21 @@ var firstOperationField = (text, start, end) => {
     if (text.startsWith("...", i)) {
       i += 3;
       while (i < end && /\s/.test(text[i])) i++;
-      NAME.lastIndex = i;
-      const spread = NAME.exec(text);
-      i = spread ? NAME.lastIndex : i + 1;
+      NAME2.lastIndex = i;
+      const spread = NAME2.exec(text);
+      i = spread ? NAME2.lastIndex : i + 1;
       if (spread?.[0] !== "on") continue;
       while (i < end && /\s/.test(text[i])) i++;
-      NAME.lastIndex = i;
-      const typeCondition = NAME.exec(text);
-      i = typeCondition ? NAME.lastIndex : i;
+      NAME2.lastIndex = i;
+      const typeCondition = NAME2.exec(text);
+      i = typeCondition ? NAME2.lastIndex : i;
       while (i < end) {
         while (i < end && /\s/.test(text[i])) i++;
         if (text[i] !== "@") break;
         i++;
-        NAME.lastIndex = i;
-        const directive = NAME.exec(text);
-        i = directive ? NAME.lastIndex : i + 1;
+        NAME2.lastIndex = i;
+        const directive = NAME2.exec(text);
+        i = directive ? NAME2.lastIndex : i + 1;
         while (i < end && /\s/.test(text[i])) i++;
         if (text[i] === "(") {
           let depth = 0;
@@ -3993,9 +4123,9 @@ var firstOperationField = (text, start, end) => {
     }
     if (text[i] === "@") {
       i++;
-      NAME.lastIndex = i;
-      const directive = NAME.exec(text);
-      i = directive ? NAME.lastIndex : i + 1;
+      NAME2.lastIndex = i;
+      const directive = NAME2.exec(text);
+      i = directive ? NAME2.lastIndex : i + 1;
       if (text[i] === "(") {
         let depth = 0;
         do {
@@ -4006,21 +4136,21 @@ var firstOperationField = (text, start, end) => {
       }
       continue;
     }
-    NAME.lastIndex = i;
-    const match = NAME.exec(text);
+    NAME2.lastIndex = i;
+    const match = NAME2.exec(text);
     if (!match) {
       i++;
       continue;
     }
     let name = match[0];
     let index = match.index;
-    let cursor = NAME.lastIndex;
+    let cursor = NAME2.lastIndex;
     while (cursor < end && /\s/.test(text[cursor])) cursor++;
     if (text[cursor] === ":") {
       cursor++;
       while (cursor < end && /\s/.test(text[cursor])) cursor++;
-      NAME.lastIndex = cursor;
-      const target = NAME.exec(text);
+      NAME2.lastIndex = cursor;
+      const target = NAME2.exec(text);
       if (!target) return void 0;
       name = target[0];
       index = target.index;
@@ -4134,7 +4264,7 @@ var extractProtocolAnchors = async (files, source) => {
 };
 
 // src/core/build.ts
-var CACHE_VERSION = 15;
+var CACHE_VERSION = 16;
 var IGNORE_DIRS = /* @__PURE__ */ new Set([".git", "node_modules", "dist", "vendor", ".venv", "venv", "target", "coverage", ".next", "build", "__pycache__", ".pi", ".pi-fovea", "deps", "_build", ".tox", "Pods", ".cargo"]);
 var MAX_FILES = envInt("FOVEA_MAX_FILES", 8e3, 100, 1e5);
 var MAX_FILE_BYTES = envInt("FOVEA_MAX_FILE_BYTES", 1024 * 1024, 64 * 1024, 64 * 1024 * 1024);
@@ -4404,7 +4534,7 @@ var emptyFileFacts = (sha1) => ({
 var pendingFileFacts = (file, sha1, text) => {
   const facts = emptyFileFacts(sha1);
   const language = langOf(file);
-  if (!language) return facts;
+  if (!language || language === "Bend") return facts;
   const sigs = harvestFile(language, text);
   if (Object.keys(sigs).length) facts.sigs = sigs;
   return facts;
@@ -4585,8 +4715,8 @@ var extractInto = async (root, store, files, contents, packRules) => {
       anchors = anchorsFromScan(scanned, anchorPlan, enclosingId);
     } else {
       [imports, calls, literals, anchors] = await Promise.all([
-        extractImports(code, root),
-        extractCalls(code, root),
+        extractImports(code, root, source),
+        extractCalls(code, root, source),
         extractLiterals(batch, root, source),
         extractAnchors(code, root, enclosingId, packRules.pack)
       ]);
@@ -4981,18 +5111,25 @@ var assembleState = async (root, files, store, extraction, discovery, gitKind, h
   const stamp = Date.now();
   return { root, version, generation, graph, csr, joinIndex, facts, extraction, discovery, adjacency, store, files, gitKind, head, dirty, history, probedAt: stamp, walkedAt: stamp, sweptAt: stamp };
 };
-var buildState = async (root) => {
-  if (!await hasAstGrepAsync()) {
+var requireExtractionBackend = async (files) => {
+  const needed = files.some((file) => {
+    const language = langOf(file);
+    return language !== void 0 && language !== "Bend";
+  });
+  if (needed && !await hasAstGrepAsync()) {
     throw new Error(
       "fovea: no usable ast-grep binary (set FOVEA_AST_GREP to override; PATH is checked first, then the packaged @ast-grep/cli dependency). Install: https://ast-grep.github.io/"
     );
   }
+};
+var buildState = async (root) => {
   const { fileRoutes } = await loadRepoRules(root);
   const routeRes = fileRoutes.map((r) => new RegExp(r.re));
   const probe = await gitProbe(root);
   const gitKind = probe ? "git" : "plain";
   const listing = await discoverFiles(root, routeRes, new Set(await readEnrolledBoundaries(root)));
   const files = listing.files;
+  await requireExtractionBackend(files);
   const { store, report } = await factPass(() => loadFacts(root, files));
   return assembleState(
     root,
@@ -5125,6 +5262,7 @@ var refreshState = async (state, hints = [], force = false) => {
     state.probedAt = Date.now();
     return state;
   }
+  await requireExtractionBackend(files);
   const { report, stats } = await factPass(
     () => refreshFacts(state.root, store, files, [...new Set(changed)], [...new Set(deleted)])
   );

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "pi-fovea",
-  "version": "0.28.2",
+  "version": "0.29.0",
   "description": "Token-budgeted repo mapping for agent sessions: foveated heat diffusion over a cross-language code graph, with progressive disclosure.",
   "type": "module",
   "license": "MIT",

package/src/core/astgrep.ts

@@ -20,6 +20,7 @@ export const LANG_BY_EXT: Record<string, string> = {
   py: "Python",
   go: "Go",
   rs: "Rust",
+  bend: "Bend", // Native source reader; never sent to ast-grep patterns.
   // Second tier: symbols via ast-grep outline; name derivation is heuristic.
   ex: "Elixir", exs: "Elixir",
   rb: "Ruby",

package/src/core/bend.ts

@@ -0,0 +1,127 @@
+// Bend 2 has no ast-grep grammar. Read its indentation-based declarations
+// and explicit references without executing the compiler or fetching packages.
+import type { CallSite, ImportSite, LiteralSite, SymbolRec } from "./types.js";
+
+interface BendFacts {
+  symbols: SymbolRec[];
+  imports: ImportSite[];
+  calls: CallSite[];
+  literals: LiteralSite[];
+}
+
+const NAME = "[A-Za-z_][A-Za-z0-9_.]*";
+const DECL = new RegExp(`^(?:@unsafe\\s+)?(def|law|type)\\s+(${NAME})(?=[\\s(<:]|$)`);
+const CONSTRUCTOR = new RegExp(`^\\s+(${NAME})\\s*\\{`);
+const CALL = new RegExp(`\\b(${NAME})\\s*!?\\s*\\(`, "g");
+const CALL_KEYWORDS = new Set(["def", "type", "law", "match", "case", "do", "return", "for", "exs", "where", "is", "import", "Type", "Data", "Kind", "Quant"]);
+const IMPORT = new RegExp(`^import\\s+(\\S+?)(?:\\s+as\\s+(${NAME}))?\\s*$`);
+
+export const extractBend = (file: string, text: string): BendFacts => {
+  const facts: BendFacts = { symbols: [], imports: [], calls: [], literals: [] };
+  let inType = false;
+  let header = false;
+  let brackets: string[] = [];
+  let quote = "";
+  let value = "";
+  let literalLine = 0;
+  const lines = text.split("\n");
+  for (let at = 0; at < lines.length; at++) {
+    const raw = lines[at]!;
+    const line = at + 1;
+    // Mask comments and strings, preserving offsets for foreign import paths.
+    // Escapes consume the following character, including an escaped quote.
+    let code = "";
+    let visible = "";
+    const strings: Array<{ start: number; text: string }> = [];
+    let start = -1;
+    for (let i = 0; i < raw.length; i++) {
+      const ch = raw[i]!;
+      if (quote) {
+        code += " ";
+        visible += ch;
+        if (ch === "\\" && i + 1 < raw.length) {
+          const escaped = raw[++i]!;
+          value += ({ n: "\n", r: "\r", t: "\t", "0": "\0" } as Record<string, string>)[escaped] ?? escaped;
+          code += " ";
+          visible += escaped;
+        } else if (ch === quote) {
+          if (quote === '"') {
+            strings.push({ start, text: value });
+            if (value.length >= 2 && value.length <= 200) facts.literals.push({ file, line: literalLine, text: value });
+          }
+          quote = "";
+        } else value += ch;
+      } else if (ch === "#") {
+        break;
+      } else if (ch === '"' || ch === "'") {
+        quote = ch;
+        value = "";
+        literalLine = line;
+        start = i;
+        code += " ";
+        visible += ch;
+      } else {
+        code += ch;
+        visible += ch;
+      }
+    }
+    if (quote) value += "\n";
+    if (!code.trim()) continue;
+    const decl = DECL.exec(code);
+    if (decl) {
+      const kind = decl[1] === "def" ? "function" : decl[1] === "type" ? "type" : "decl";
+      const sig = visible.trim();
+      facts.symbols.push({ file, line, name: decl[2]!, kind, sig: sig.length > 140 ? sig.slice(0, 137) + "..." : sig, lang: "Bend" });
+      inType = decl[1] === "type";
+      header = true;
+      brackets = [];
+    } else if (!header && /^\S/.test(code)) {
+      inType = false;
+    }
+    // A colon inside a parameter annotation does not end a multiline header.
+    if (header) {
+      for (let i = 0; i < code.length; i++) {
+        const ch = code[i]!;
+        if ("(<{[".includes(ch)) brackets.push(ch);
+        else if (")>}]".includes(ch) && !(ch === ">" && code[i - 1] === "-")) {
+          if (brackets.at(-1) === ({ ")": "(", ">": "<", "}": "{", "]": "[" } as Record<string, string>)[ch]) brackets.pop();
+        } else if (ch === ":" && brackets.length === 0) {
+          header = false;
+          code = " ".repeat(i + 1) + code.slice(i + 1);
+          break;
+        }
+      }
+      if (header) continue;
+    }
+    const imp = IMPORT.exec(code);
+    if (imp) {
+      facts.imports.push({ file, line, spec: imp[1]!, ...(imp[2] ? { alias: imp[2] } : {}) });
+      continue;
+    }
+    if (/^\s+import\s+/.test(code)) {
+      const path = strings.find((s) => s.start >= 0 && /^\s+import\s+$/.test(code.slice(0, s.start)));
+      if (path) facts.imports.push({ file, line, spec: path.text });
+      continue;
+    }
+    if (inType) {
+      const ctor = CONSTRUCTOR.exec(code);
+      if (ctor) facts.symbols.push({ file, line, name: ctor[1]!, kind: "decl", sig: visible.trim().slice(0, 140), lang: "Bend" });
+      continue;
+    }
+    CALL.lastIndex = 0;
+    for (const call of code.matchAll(CALL)) {
+      // Kind is syntax, not a user-defined function. Keep dotted names whole:
+      // their dots may be literal name characters, not module boundaries.
+      if (!CALL_KEYWORDS.has(call[1]!)) facts.calls.push({ file, line, callee: call[1]! });
+    }
+  }
+  // A law and its implementation share a graph identity. Prefer the concrete
+  // def's location; likewise a type and its identically named constructor are
+  // one symbol, not duplicate nodes with conflicting enclosing locations.
+  const symbols = new Map<string, SymbolRec>();
+  for (const symbol of facts.symbols) {
+    if (!symbols.has(symbol.name) || symbol.kind === "function") symbols.set(symbol.name, symbol);
+  }
+  facts.symbols = [...symbols.values()].sort((a, b) => a.line - b.line);
+  return facts;
+};

package/src/core/build.ts

@@ -66,7 +66,7 @@ export interface FileFacts {
   sigs?: FileSigs;
 }
 
-const CACHE_VERSION = 15; // v15: literal dynamic imports and bounded computed import expressions
+const CACHE_VERSION = 16; // v16: native Bend 2 facts and explicit module aliases
 
 // Honest coverage: what the extractor could NOT see. Tools and status render
 // this so a thin graph never reads as a small repo; omissions are explicit.
@@ -481,7 +481,8 @@ const emptyFileFacts = (sha1: string): FileFacts => ({
 const pendingFileFacts = (file: string, sha1: string, text: string): FileFacts => {
   const facts = emptyFileFacts(sha1);
   const language = langOf(file);
-  if (!language) return facts;
+  // Implicit route rules target ast-grep; native Bend facts have no grammar.
+  if (!language || language === "Bend") return facts;
   const sigs = harvestFile(language, text);
   if (Object.keys(sigs).length) facts.sigs = sigs;
   return facts;
@@ -713,8 +714,8 @@ const extractInto = async (
       anchors = anchorsFromScan(scanned, anchorPlan, enclosingId);
     } else {
       [imports, calls, literals, anchors] = await Promise.all([
-        extractImports(code, root),
-        extractCalls(code, root),
+        extractImports(code, root, source),
+        extractCalls(code, root, source),
         extractLiterals(batch, root, source),
         extractAnchors(code, root, enclosingId, packRules.pack),
       ]);

package/src/core/extract.ts

@@ -9,6 +9,7 @@ import {
   anonymousVariadics,
   groupByLang,
   isConfigFile,
+  langOf,
   outline,
   outlineStructured,
   patternRunAll,
@@ -19,6 +20,7 @@ import {
   type ScanRule,
 } from "./astgrep.js";
 import { mapLimit } from "./asyncutil.js";
+import { extractBend } from "./bend.js";
 import { makeFileSource, type FileSource } from "./source.js";
 import type {
   CallSite,
@@ -287,9 +289,17 @@ const parseOutlineText = (text: string, lang: string): SymbolRec[] => {
 
 const defaultSource = (cwd: string): FileSource => makeFileSource(cwd);
 
+const bendFacts = async (files: string[], source: FileSource) =>
+  mapLimit(files.filter((file) => langOf(file) === "Bend"), SOURCE_SCAN_CONCURRENCY, async (file) =>
+    extractBend(file, await source.read(file) ?? ""));
+
 export const extractSymbols = async (files: string[], cwd: string, source: FileSource = defaultSource(cwd)): Promise<SymbolRec[]> => {
   const out: SymbolRec[] = [];
   for (const [lang, langFiles] of groupByLang(files)) {
+    if (lang === "Bend") {
+      for (const facts of await bendFacts(langFiles, source)) pushAll(out, facts.symbols);
+      continue;
+    }
     const structured = await outlineStructured(langFiles, lang, cwd);
     if (structured) {
       const parsed = await parseStructuredOutline(structured, source);
@@ -327,7 +337,7 @@ const IMPORT_PATTERNS: Record<string, string[]> = {
 IMPORT_PATTERNS.JavaScript = IMPORT_PATTERNS.TypeScript!;
 IMPORT_PATTERNS.Tsx = IMPORT_PATTERNS.TypeScript!;
 
-export const supportsImportExtraction = (language: string): boolean => !!IMPORT_PATTERNS[language]?.length;
+export const supportsImportExtraction = (language: string): boolean => language === "Bend" || !!IMPORT_PATTERNS[language]?.length;
 
 // Only literal paths and one-hole expressions are modeled. Never evaluate code
 // or interpret arbitrary expressions as a static module specifier.
@@ -382,13 +392,13 @@ const importsFromMatches = (matches: readonly AgMatch[]): ImportSite[] => {
   return dedupe(out, (i) => `${i.file}|${i.spec}|${i.line}`);
 };
 
-export const extractImports = async (files: string[], cwd: string): Promise<ImportSite[]> => {
+export const extractImports = async (files: string[], cwd: string, source: FileSource = defaultSource(cwd)): Promise<ImportSite[]> => {
   const perLang = await Promise.all([...groupByLang(files)].map(([lang, langFiles]) =>
     patternRunAll(IMPORT_PATTERNS[lang] ?? [], lang, langFiles, cwd),
   ));
   const matches: AgMatch[] = [];
   for (const local of perLang) pushAll(matches, local);
-  return importsFromMatches(matches);
+  return [...importsFromMatches(matches), ...(await bendFacts(files, source)).flatMap((facts) => facts.imports)];
 };
 
 const CALL_PATTERNS = ["$O.$M($$$A)", "$F($$$A)"];
@@ -440,13 +450,13 @@ const callsFromMatches = (matches: readonly AgMatch[]): CallSite[] => {
   return out;
 };
 
-export const extractCalls = async (files: string[], cwd: string): Promise<CallSite[]> => {
-  const perLang = await Promise.all([...groupByLang(files)].map(([lang, langFiles]) =>
+export const extractCalls = async (files: string[], cwd: string, source: FileSource = defaultSource(cwd)): Promise<CallSite[]> => {
+  const perLang = await Promise.all([...groupByLang(files)].filter(([lang]) => lang !== "Bend").map(([lang, langFiles]) =>
     patternRunAll(CALL_PATTERNS, lang, langFiles, cwd),
   ));
   const matches: AgMatch[] = [];
   for (const local of perLang) pushAll(matches, local);
-  return callsFromMatches(matches);
+  return [...callsFromMatches(matches), ...(await bendFacts(files, source)).flatMap((facts) => facts.calls)];
 };
 
 const STRING_PATTERNS: Record<string, string[]> = {
@@ -529,7 +539,7 @@ const completeLiterals = async (
   out: LiteralSite[],
 ): Promise<LiteralSite[]> => {
   pushAll(out, await extractConfigLiterals(files, cwd, source));
-  const codeFiles = files.filter((f) => !isConfigFile(f));
+  const codeFiles = files.filter((f) => !isConfigFile(f) && langOf(f) !== "Bend");
   const templateSites = await mapLimit(codeFiles, SOURCE_SCAN_CONCURRENCY, async (f) => {
     const local: LiteralSite[] = [];
     const src = await source.read(f);
@@ -553,7 +563,8 @@ export const extractLiterals = async (files: string[], cwd: string, source: File
   ));
   const matches: AgMatch[] = [];
   for (const local of perLang) pushAll(matches, local);
-  return completeLiterals(files, cwd, source, literalsFromMatches(matches));
+  const native = (await bendFacts(files, source)).flatMap((facts) => facts.literals);
+  return completeLiterals(files, cwd, source, [...literalsFromMatches(matches), ...native]);
 };
 
 const CORE_IMPORT_PREFIX = "fovea-core-import-";
@@ -577,6 +588,7 @@ export const coreScanRules = (files: string[]): ScanRule[] => {
     });
   };
   for (const [language] of groupByLang(files)) {
+    if (language === "Bend") continue;
     for (const pattern of IMPORT_PATTERNS[language] ?? []) add(CORE_IMPORT_PREFIX, language, pattern);
     for (const pattern of CALL_PATTERNS) {
       const metavar = pattern.startsWith("$O.") ? "M" : "F";
@@ -607,10 +619,11 @@ export const coreFactsFromScan = async (
     else if (match.ruleId.startsWith(CORE_CALL_PREFIX)) calls.push(match);
     else if (match.ruleId.startsWith(CORE_LITERAL_PREFIX)) literals.push(match);
   }
+  const native = await bendFacts(files, source);
   return {
-    imports: importsFromMatches(imports),
-    calls: callsFromMatches(calls),
-    literals: await completeLiterals(files, cwd, source, literalsFromMatches(literals)),
+    imports: [...importsFromMatches(imports), ...native.flatMap((facts) => facts.imports)],
+    calls: [...callsFromMatches(calls), ...native.flatMap((facts) => facts.calls)],
+    literals: await completeLiterals(files, cwd, source, [...literalsFromMatches(literals), ...native.flatMap((facts) => facts.literals)]),
   };
 };
 

package/src/core/graph.ts

@@ -79,6 +79,7 @@ const buildImportIndex = (files: string[]): ImportIndex => {
 
 interface ImportResolution {
   file: string;
+  alias?: string;
   evidence: EdgeEvidence;
 }
 
@@ -95,6 +96,14 @@ const resolveImportToFile = (
       ? { file: hits[0]!, evidence: { strategy, rule: "import-resolve", source: spec, candidates: hits.length } }
       : undefined;
   };
+  if (fam === "bend") {
+    // Base is bundled by the compiler; hub packages are external. Neither
+    // should accidentally resolve via the TypeScript bare-specifier fallback.
+    if (spec === "Base" || /^0x[0-9a-f]+\//i.test(spec) || posix.isAbsolute(spec)) return undefined;
+    const local = posix.normalize(posix.join(posix.dirname(fromFile), spec));
+    if (local === ".." || local.startsWith("../")) return undefined;
+    return exact([local], "relative-import");
+  }
   if (spec.startsWith("./") || spec.startsWith("../")) {
     let base = posix.normalize(posix.join(posix.dirname(fromFile), spec));
     // NodeNext convention: TS files import "./sibling.js" — the .js refers to
@@ -335,7 +344,7 @@ export const assembleGraphWithIndex = async (
       importCoverage.resolved++;
       if (target.file === rel) continue;
       pushEdge(fileIdx.get(rel)!, fileIdx.get(target.file)!, "imports", 0.3, target.evidence);
-      (importTargets.get(rel) ?? importTargets.set(rel, []).get(rel)!).push(target);
+      (importTargets.get(rel) ?? importTargets.set(rel, []).get(rel)!).push({ ...target, alias: imp.alias });
     }
     if (isTestFile(rel)) {
       for (const target of importTargets.get(rel) ?? []) {
@@ -356,9 +365,15 @@ export const assembleGraphWithIndex = async (
   await forEachChunked(files, 256, (rel) => {
     const f = facts(rel);
     if (!f) return;
-    const imported = new Set((importTargets.get(rel) ?? []).map((target) => target.file));
+    const targets = importTargets.get(rel) ?? [];
+    const imported = new Set(targets.map((target) => target.file));
+    const bend = langFamily(rel) === "bend";
+    const aliases = bend ? targets.filter((target) => target.alias).sort((a, b) => b.alias!.length - a.alias!.length) : [];
     for (const call of f.calls) {
-      const cands = byName.get(call.callee.toLowerCase()) ?? [];
+      const alias = aliases.find((target) => call.callee.startsWith(`${target.alias}.`));
+      const name = alias ? call.callee.slice(alias.alias!.length + 1) : call.callee;
+      const cands = (byName.get(name.toLowerCase()) ?? []).filter((i) => !bend ||
+        (nodes[i]!.lang === "Bend" && nodes[i]!.name === name && nodes[i]!.file === (alias?.file ?? rel)));
       if (!cands.length || cands.length > 48) continue;
       let strategy: EdgeEvidence["strategy"] = "same-file-symbol";
       let chosen: number[] = cands.filter((i) => nodes[i]!.file === rel);

package/src/core/state.ts

@@ -1,7 +1,7 @@
 import { createHash } from "node:crypto";
 import { stat } from "node:fs/promises";
 import { isAbsolute, join, relative, resolve, sep } from "node:path";
-import { hasAstGrepAsync } from "./astgrep.js";
+import { hasAstGrepAsync, langOf } from "./astgrep.js";
 import {
   clearPersistTimer,
   discoverFiles,
@@ -189,12 +189,21 @@ const assembleState = async (
   return { root, version, generation, graph, csr, joinIndex, facts, extraction, discovery, adjacency, store, files, gitKind, head, dirty, history, probedAt: stamp, walkedAt: stamp, sweptAt: stamp };
 };
 
-const buildState = async (root: string): Promise<RepoState> => {
-  if (!(await hasAstGrepAsync())) {
+const requireExtractionBackend = async (files: readonly string[]): Promise<void> => {
+  // Bend and config/protocol readers are native; do not even probe a binary
+  // until discovery finds a language whose facts depend on ast-grep.
+  const needed = files.some((file) => {
+    const language = langOf(file);
+    return language !== undefined && language !== "Bend";
+  });
+  if (needed && !(await hasAstGrepAsync())) {
     throw new Error(
       "fovea: no usable ast-grep binary (set FOVEA_AST_GREP to override; PATH is checked first, then the packaged @ast-grep/cli dependency). Install: https://ast-grep.github.io/",
     );
   }
+};
+
+const buildState = async (root: string): Promise<RepoState> => {
   const { fileRoutes } = await loadRepoRules(root);
   const routeRes = fileRoutes.map((r) => new RegExp(r.re));
   const probe = await gitProbe(root);
@@ -203,6 +212,7 @@ const buildState = async (root: string): Promise<RepoState> => {
   // root had enrolled, so a restart restores coverage without a fresh edit.
   const listing = await discoverFiles(root, routeRes, new Set(await readEnrolledBoundaries(root)));
   const files = listing.files;
+  await requireExtractionBackend(files);
   const { store, report } = await factPass(() => loadFacts(root, files));
   return assembleState(root, files, store, report, listing.report, gitKind, probe?.head,
     new Set(probe ? probe.changes.map((c) => c.path).filter((p) => p && !p.endsWith("/")) : []));
@@ -362,6 +372,7 @@ const refreshState = async (state: RepoState, hints: string[] = [], force = fals
     state.probedAt = Date.now();
     return state;
   }
+  await requireExtractionBackend(files);
   const { report, stats } = await factPass(() =>
     refreshFacts(state.root, store, files, [...new Set(changed)], [...new Set(deleted)]),
   );

package/src/core/sync.ts

@@ -293,7 +293,7 @@ const semanticFacts = (state: RepoState, file: string): string => {
   const compactSig = (sig: string): string => sig.replace(/\s+/g, " ").trim();
   const value = createHash("sha1").update(JSON.stringify({
     symbols: stable(facts.symbols.map((symbol) => [symbol.name, symbol.kind, compactSig(symbol.sig), symbol.lang])),
-    imports: stable(facts.imports.map((site) => [site.spec])),
+    imports: stable(facts.imports.map((site) => [site.spec, site.alias])),
     calls: stable(facts.calls.map((site) => [site.callee])),
     literals: stable(facts.literals.map((site) => [site.text])),
     anchors: stable(facts.anchors.map((anchor) => [anchor.id, anchor.kind, anchor.nodeId, anchor.implicit === true])),

package/src/core/types.ts

@@ -128,6 +128,8 @@ export interface ImportSite {
   file: string;
   spec: string;
   line: number;
+  /** Local module name for Bend's explicit `import path as Name`. */
+  alias?: string;
   /** Captured computed expression; absent bounds mean the target is unresolved. */
   dynamic?: { prefix?: string; suffix?: string };
 }