safishamsi · bjornj12 · May 9, 2026 · May 9, 2026 · May 9, 2026 · May 9, 2026
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -2,6 +2,11 @@
 
 Full release notes with details on each version: [GitHub Releases](https://github.com/safishamsi/graphify/releases)
 
+## Unreleased
+
+- Feat: ReScript (`.res`, `.resi`) extraction -- modules (with arbitrarily nested submodules), types, let-bindings as functions or variables, tuple/record destructure patterns, `external` JS bindings (callable when the type annotation is a function_type, value otherwise), `.resi` signature-only lets (function vs variable resolved from the type annotation), `open` / `include` imports with cross-file resolution that maps bare module names to real file ids, intra- and cross-file calls including qualified calls (`Foo.bar`, `Belt.Array.some`) and pipe-style calls (`arr->some(...)`). Function-locals (let-bindings inside another function body) are intentionally not registered as graph nodes, matching the Python and JS conventions — the architecture view stays at module surface. ReScript extraction is opt-in via the `[rescript]` extra (`pip install "graphifyy[rescript]"`) because there's no `tree-sitter-rescript` PyPI release; the extra installs the upstream binding from git, which needs a C toolchain on the user's machine. Without the extra, `.res` / `.resi` files extract to a friendly error message pointing at the install instructions — same soft-optional shape as `[sql]` and other language extras.
+- Feat: ReScript `references_type` edges for module-qualified type references in record fields, variant and polyvariant arm payloads, function signatures (parameter and return types), let-binding annotations, and `external` declarations. Targets the leftmost module of nested paths (`Animal.Habitat.species` → `Animal`); same-file references are EXTRACTED, cross-file are INFERRED until the multi-file resolver rewrites them to real type-node ids. Bare local types (`option`, `int`, etc.) emit no edges. ReScript-only for now; Java/TypeScript/Scala stay call-only and could be follow-ups.
+
 ## 0.8.19 (2026-05-26)
 
 - Feat: .NET project file support — `.sln`, `.csproj`, `.fsproj`, `.vbproj`, `.razor`, `.cshtml` now extracted; captures NuGet package refs, project-to-project dependencies, target frameworks, SDK attributes, Blazor/Razor directives (`@using`, `@inject`, `@inherits`, `@model`, `@page`), component refs, and `@code` block methods (#1025)
@@ -226,7 +231,6 @@ Full release notes with details on each version: [GitHub Releases](https://githu
 - Feat: `graphify extract` gains `--max-workers`, `--token-budget`, `--max-concurrency`, `--api-timeout` flags; hard 8-worker AST cap removed; explicit HTTP timeout on OpenAI client (default 600s, `GRAPHIFY_API_TIMEOUT`); ollama API key gate skipped for loopback URLs (#792)
 - Feat: Pascal/Delphi extraction now works without `tree-sitter-pascal` -- regex fallback covers unit/program/library headers, uses clauses, class/interface inheritance, method declarations, and intra-file calls (#781)
 - Feat: `/graphify --help` now prints the Usage block and stops without running pipeline steps (all 12 skill files) (#795)
-
 ## 0.7.11 (2026-05-09)
 
 - Fix: context-window-exceeded API errors now trigger automatic retry with bisected file chunks -- exponential bisection up to 6 levels deep; covers `"context_length_exceeded"`, `"maximum context length"`, and `"too_large"` across OpenAI-compat backends (#789)

diff --git a/README.md b/README.md
@@ -212,7 +212,7 @@ To remove graphify from all platforms at once: `graphify uninstall` (add `--purg
 
 | Type | Extensions |
 |------|-----------|
-| Code (32 languages) | `.py .ts .js .jsx .tsx .mjs .go .rs .java .c .cpp .h .hpp .rb .cs .kt .scala .php .swift .lua .luau .zig .ps1 .ex .exs .m .mm .jl .vue .svelte .astro .groovy .gradle .dart .v .sv .sql .f .f90 .f95 .f03 .f08 .pas .pp .dpr .dpk .lpr .inc .dfm .lfm .lpk .sh .bash .json .sln .csproj .fsproj .vbproj .razor .cshtml` |
+| Code (33 languages) | `.py .ts .js .jsx .tsx .mjs .go .rs .java .c .cpp .h .hpp .rb .cs .kt .scala .php .swift .res .resi .lua .luau .zig .ps1 .ex .exs .m .mm .jl .vue .svelte .astro .groovy .gradle .dart .v .sv .sql .f .f90 .f95 .f03 .f08 .pas .pp .dpr .dpk .lpr .inc .dfm .lfm .lpk .sh .bash .json .sln .csproj .fsproj .vbproj .razor .cshtml` |
 | Docs | `.md .mdx .qmd .html .txt .rst .yaml .yml` |
 | Office | `.docx .xlsx` (requires `pip install graphifyy[office]`) |
 | Google Workspace | `.gdoc .gsheet .gslides` (opt-in; requires `gws` auth and `--google-workspace`; Sheets need `pip install graphifyy[google]`) |

diff --git a/docs/how-it-works.md b/docs/how-it-works.md
@@ -90,7 +90,7 @@ The output `graph.json` uses NetworkX's node-link format. Each node has:
 
 Each edge has:
 - `source`, `target` — node IDs
-- `relation` — verb phrase (e.g. `calls`, `imports`, `implements`, `semantically_similar_to`)
+- `relation` — verb phrase (e.g. `calls`, `imports`, `implements`, `references_type`, `semantically_similar_to`)
 - `confidence` — `EXTRACTED`, `INFERRED`, or `AMBIGUOUS`
 - `confidence_score` — float (INFERRED only)
 - `source_file` — where the relationship was found

diff --git a/graphify/affected.py b/graphify/affected.py
@@ -11,6 +11,7 @@
 DEFAULT_AFFECTED_RELATIONS = (
     "calls",
     "references",
+    "references_type",
     "imports",
     "imports_from",
     "re_exports",

diff --git a/graphify/callflow_html.py b/graphify/callflow_html.py
@@ -528,6 +528,7 @@ def relation_label(relation: str, lang: str) -> str:
         "uses": "使用",
         "imports": "导入",
         "imports_from": "导入",
+        "references_type": "引用类型",
         "method": "方法",
         "contains": "包含",
         "rationale_for": "说明",
@@ -540,6 +541,7 @@ def relation_label(relation: str, lang: str) -> str:
         "uses": "uses",
         "imports": "imports",
         "imports_from": "imports",
+        "references_type": "references type",
         "method": "method",
         "contains": "contains",
         "rationale_for": "explains",

diff --git a/graphify/detect.py b/graphify/detect.py
@@ -25,7 +25,7 @@ class FileType(str, Enum):
 
 _MANIFEST_PATH = "graphify-out/manifest.json"
 
-CODE_EXTENSIONS = {'.py', '.ts', '.tsx', '.js', '.jsx', '.mjs', '.ejs', '.ets', '.go', '.rs', '.java', '.groovy', '.gradle', '.cpp', '.cc', '.cxx', '.c', '.h', '.hpp', '.rb', '.swift', '.kt', '.kts', '.cs', '.scala', '.php', '.lua', '.luau', '.toc', '.zig', '.ps1', '.ex', '.exs', '.m', '.mm', '.jl', '.vue', '.svelte', '.astro', '.dart', '.v', '.sv', '.sql', '.r', '.f', '.F', '.f90', '.F90', '.f95', '.F95', '.f03', '.F03', '.f08', '.F08', '.pas', '.pp', '.dpr', '.dpk', '.lpr', '.inc', '.dfm', '.lfm', '.lpk', '.sh', '.bash', '.json', '.sln', '.csproj', '.fsproj', '.vbproj', '.razor', '.cshtml'}
+CODE_EXTENSIONS = {'.py', '.ts', '.tsx', '.js', '.jsx', '.mjs', '.ejs', '.ets', '.go', '.rs', '.java', '.groovy', '.gradle', '.cpp', '.cc', '.cxx', '.c', '.h', '.hpp', '.rb', '.swift', '.res', '.resi', '.kt', '.kts', '.cs', '.scala', '.php', '.lua', '.luau', '.toc', '.zig', '.ps1', '.ex', '.exs', '.m', '.mm', '.jl', '.vue', '.svelte', '.astro', '.dart', '.v', '.sv', '.sql', '.r', '.f', '.F', '.f90', '.F90', '.f95', '.F95', '.f03', '.F03', '.f08', '.F08', '.pas', '.pp', '.dpr', '.dpk', '.lpr', '.inc', '.dfm', '.lfm', '.lpk', '.sh', '.bash', '.json', '.sln', '.csproj', '.fsproj', '.vbproj', '.razor', '.cshtml'}
 DOC_EXTENSIONS = {'.md', '.mdx', '.qmd', '.txt', '.rst', '.html', '.yaml', '.yml'}
 PAPER_EXTENSIONS = {'.pdf'}
 IMAGE_EXTENSIONS = {'.png', '.jpg', '.jpeg', '.gif', '.webp', '.svg'}