@codegraft/core 0.1.0-beta.0

package/dist/helpers.js

@@ -0,0 +1,27 @@
+import { assert } from './assert.js';
+// TypeScript type-position navigation, so a rewrite needn't know tree-sitter field
+// names. Public helpers a codemod body can call.
+export function getPropertySignatures(objectType) {
+    return objectType.children.filter((child) => child.type === 'property_signature');
+}
+export function getPropertyName(signature) {
+    return signature.child('name')?.text ?? null;
+}
+/**
+ * The `{ name, type }` branches of an object type, with each property's `: T` annotation
+ * unwrapped to `T`. The canonical use is collapsing a `BATI.If<{ featureA: T; default: U }>`
+ * conditional type to the branch whose name is an enabled feature (else `default`).
+ */
+export function getConditionalBranches(objectType) {
+    const branches = [];
+    for (const signature of getPropertySignatures(objectType)) {
+        const type = signature.child('type')?.children[0];
+        if (!type)
+            continue; // a property without a type annotation isn't a branch
+        const name = getPropertyName(signature);
+        assert(name !== null, 'a property_signature is always named');
+        branches.push({ name, type });
+    }
+    return branches;
+}
+//# sourceMappingURL=helpers.js.map

package/dist/helpers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"helpers.js","sourceRoot":"","sources":["../src/helpers.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAEpC,mFAAmF;AACnF,iDAAiD;AAEjD,MAAM,UAAU,qBAAqB,CAAC,UAAoB;IACxD,OAAO,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,oBAAoB,CAAC,CAAA;AACnF,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,SAAmB;IACjD,OAAO,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,IAAI,IAAI,IAAI,CAAA;AAC9C,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,sBAAsB,CAAC,UAAoB;IACzD,MAAM,QAAQ,GAA4C,EAAE,CAAA;IAC5D,KAAK,MAAM,SAAS,IAAI,qBAAqB,CAAC,UAAU,CAAC,EAAE,CAAC;QAC1D,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAA;QACjD,IAAI,CAAC,IAAI;YAAE,SAAQ,CAAC,sDAAsD;QAC1E,MAAM,IAAI,GAAG,eAAe,CAAC,SAAS,CAAC,CAAA;QACvC,MAAM,CAAC,IAAI,KAAK,IAAI,EAAE,sCAAsC,CAAC,CAAA;QAC7D,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAA;IAC/B,CAAC;IACD,OAAO,QAAQ,CAAA;AACjB,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,6 @@
+export { Collection, createCodemodTransformer } from './collection.js';
+export { evaluate } from './evaluate.js';
+export { getPropertySignatures, getPropertyName, getConditionalBranches } from './helpers.js';
+export type { GrammarId, Point, ZoneSplitter, RichNode, Zone, SourceMap, Transformer, LazyTransformer, } from './types.js';
+export type { NodeType, NodeTypeAll, FieldName, NodeTypeOf, NodeTypeAllOf, FieldNameOf, JavascriptNodeType, TypescriptNodeType, TsxNodeType, HtmlNodeType, CssNodeType, } from './generated/node-types.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,wBAAwB,EAAE,MAAM,iBAAiB,CAAA;AACtE,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AACxC,OAAO,EAAE,qBAAqB,EAAE,eAAe,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAA;AAC7F,YAAY,EACV,SAAS,EACT,KAAK,EACL,YAAY,EACZ,QAAQ,EACR,IAAI,EACJ,SAAS,EACT,WAAW,EACX,eAAe,GAChB,MAAM,YAAY,CAAA;AACnB,YAAY,EACV,QAAQ,EACR,WAAW,EACX,SAAS,EACT,UAAU,EACV,aAAa,EACb,WAAW,EACX,kBAAkB,EAClB,kBAAkB,EAClB,WAAW,EACX,YAAY,EACZ,WAAW,GACZ,MAAM,2BAA2B,CAAA"}

package/dist/index.js

@@ -0,0 +1,4 @@
+export { Collection, createCodemodTransformer } from './collection.js';
+export { evaluate } from './evaluate.js';
+export { getPropertySignatures, getPropertyName, getConditionalBranches } from './helpers.js';
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,wBAAwB,EAAE,MAAM,iBAAiB,CAAA;AACtE,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AACxC,OAAO,EAAE,qBAAqB,EAAE,eAAe,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAA"}

package/dist/internal.d.ts

@@ -0,0 +1,6 @@
+export { Parser, grammarPackage } from './parser.js';
+export { EXTENSION_GRAMMAR } from './extensions.js';
+export { wrapNode } from './rich-node.js';
+export { assert } from './assert.js';
+export type { Node, Tree } from 'web-tree-sitter';
+//# sourceMappingURL=internal.d.ts.map

package/dist/internal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"internal.d.ts","sourceRoot":"","sources":["../src/internal.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,aAAa,CAAA;AACpD,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAA;AACnD,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAA;AACzC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAGpC,YAAY,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAA"}

package/dist/internal.js

@@ -0,0 +1,9 @@
+// Internal primitives for first-party build-time packages (@codegraft/cli, @codegraft/vue,
+// @codegraft/unplugin). These are NOT part of the public consumer API — they are exposed only
+// through the "@codegraft/core/internal" subpath (e.g. EXTENSION_GRAMMAR for the bundler plugin,
+// grammarPackage for the CLI) so they need not duplicate the Parser/RichNode the runtime uses.
+export { Parser, grammarPackage } from './parser.js';
+export { EXTENSION_GRAMMAR } from './extensions.js';
+export { wrapNode } from './rich-node.js';
+export { assert } from './assert.js';
+//# sourceMappingURL=internal.js.map

package/dist/internal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"internal.js","sourceRoot":"","sources":["../src/internal.ts"],"names":[],"mappings":"AAAA,2FAA2F;AAC3F,8FAA8F;AAC9F,iGAAiG;AACjG,+FAA+F;AAC/F,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,aAAa,CAAA;AACpD,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAA;AACnD,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAA;AACzC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA"}

package/dist/parser.d.ts

@@ -0,0 +1,30 @@
+import type { Tree } from 'web-tree-sitter';
+import type { GrammarId } from './types.js';
+/** Idempotent. Loads the web-tree-sitter WASM runtime once per process. */
+declare function init(): Promise<void>;
+/**
+ * Lazily load a grammar, idempotent per `id`. Built-in {@link GrammarId}s resolve
+ * their own `.wasm`; an external grammar (e.g. a {@link ZoneSplitter}'s shell
+ * grammar) passes its `wasmPath` and an arbitrary `id` used as the cache key.
+ */
+declare function loadGrammar(id: GrammarId | string, wasmPath?: string): Promise<void>;
+/** The npm package a consumer must install for a built-in grammar, or `null` for a vendored
+ *  grammar that ships with `@codegraft/core`. */
+export declare function grammarPackage(id: GrammarId): string | null;
+/** Parse `source` with an already-loaded grammar. Reuses one parser instance; safe
+ *  because transforms run synchronously and trees are independent of the parser. */
+declare function parse(source: string, id: GrammarId | string): Tree;
+/** The subtypes of a grammar supertype, expanded transitively (`statement` → `declaration` →
+ *  `lexical_declaration`, …), or `[]` if `typeName` is not a supertype. Intermediate supertype
+ *  names are kept too — harmless, since only concrete types appear in a tree. Memoised per grammar,
+ *  so a `find` can call it per node. */
+declare function subtypesOf(id: GrammarId | string, typeName: string): string[];
+/** Singleton confining every web-tree-sitter init/load concern to this module. */
+export declare const Parser: {
+    init: typeof init;
+    loadGrammar: typeof loadGrammar;
+    parse: typeof parse;
+    subtypesOf: typeof subtypesOf;
+};
+export {};
+//# sourceMappingURL=parser.d.ts.map

package/dist/parser.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.d.ts","sourceRoot":"","sources":["../src/parser.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAA;AAC3C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAA;AAsC3C,2EAA2E;AAC3E,iBAAe,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CAGnC;AAED;;;;GAIG;AACH,iBAAe,WAAW,CAAC,EAAE,EAAE,SAAS,GAAG,MAAM,EAAE,QAAQ,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAQnF;AAQD;iDACiD;AACjD,wBAAgB,cAAc,CAAC,EAAE,EAAE,SAAS,GAAG,MAAM,GAAG,IAAI,CAG3D;AAeD;oFACoF;AACpF,iBAAS,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,SAAS,GAAG,MAAM,GAAG,IAAI,CAQ3D;AAED;;;wCAGwC;AACxC,iBAAS,UAAU,CAAC,EAAE,EAAE,SAAS,GAAG,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,EAAE,CAsBtE;AAED,kFAAkF;AAClF,eAAO,MAAM,MAAM;;;;;CAA2C,CAAA"}

package/dist/parser.js

@@ -0,0 +1,125 @@
+import { createRequire } from 'node:module';
+import { readFileSync } from 'node:fs';
+import { fileURLToPath } from 'node:url';
+import { Language, Parser as TreeSitter } from 'web-tree-sitter';
+import { assert } from './assert.js';
+// web-tree-sitter resolves the grammar `.wasm` from its npm package at runtime; the
+// engine wasm (`tree-sitter.wasm`) is self-located by `Parser.init()`.
+const require = createRequire(import.meta.url);
+/**
+ * The typescript/tsx grammars are **vendored** here (resolved relative to this module): the npm
+ * `tree-sitter-typescript` ships an ABI-14 wasm, which web-tree-sitter loads without supertype
+ * metadata (so `find` can't expand `expression` etc.). We ship an ABI-15 rebuild — see
+ * `scripts/regen-ts-wasm.sh` — so they impose no peer dependency.
+ */
+const VENDORED_WASM = {
+    typescript: 'tree-sitter-typescript.wasm',
+    tsx: 'tree-sitter-tsx.wasm',
+    // tree-sitter-yaml ships no prebuilt wasm on the bare `tree-sitter-yaml` package; we vendor the
+    // one from `@tree-sitter-grammars/tree-sitter-yaml` so YAML imposes no peer dependency.
+    yaml: 'tree-sitter-yaml.wasm',
+};
+/**
+ * The npm specifier of each remaining built-in grammar's `.wasm` (these already ship the ABI we
+ * need). Optional peer dependencies: resolved only when the grammar is requested, and a missing
+ * package becomes an actionable error in `resolveBuiltinWasm`.
+ */
+const PEER_WASM = {
+    javascript: 'tree-sitter-javascript/tree-sitter-javascript.wasm',
+    html: 'tree-sitter-html/tree-sitter-html.wasm',
+    css: 'tree-sitter-css/tree-sitter-css.wasm',
+};
+let initPromise = null;
+let parser = null;
+const languages = new Map();
+const loads = new Map();
+const subtypeCache = new Map();
+/** Idempotent. Loads the web-tree-sitter WASM runtime once per process. */
+async function init() {
+    initPromise ??= TreeSitter.init();
+    await initPromise;
+}
+/**
+ * Lazily load a grammar, idempotent per `id`. Built-in {@link GrammarId}s resolve
+ * their own `.wasm`; an external grammar (e.g. a {@link ZoneSplitter}'s shell
+ * grammar) passes its `wasmPath` and an arbitrary `id` used as the cache key.
+ */
+async function loadGrammar(id, wasmPath) {
+    if (languages.has(id))
+        return;
+    let pending = loads.get(id);
+    if (!pending) {
+        pending = loadLanguage(id, wasmPath);
+        loads.set(id, pending);
+    }
+    languages.set(id, await pending);
+}
+async function loadLanguage(id, wasmPath) {
+    await init();
+    const path = wasmPath ?? resolveBuiltinWasm(id);
+    return Language.load(readFileSync(path));
+}
+/** The npm package a consumer must install for a built-in grammar, or `null` for a vendored
+ *  grammar that ships with `@codegraft/core`. */
+export function grammarPackage(id) {
+    const spec = PEER_WASM[id];
+    return spec ? spec.slice(0, spec.indexOf('/')) : null;
+}
+function resolveBuiltinWasm(id) {
+    const vendored = VENDORED_WASM[id];
+    if (vendored)
+        return fileURLToPath(new URL(`../wasm/${vendored}`, import.meta.url));
+    const spec = PEER_WASM[id];
+    assert(spec, `grammar '${id}' is not built in; a ZoneSplitter must pass its own wasmPath to loadGrammar`);
+    try {
+        return require.resolve(spec);
+    }
+    catch {
+        const pkg = spec.slice(0, spec.indexOf('/'));
+        throw new Error(`[codegraft] grammar '${id}' requires the optional peer '${pkg}'; add it to your dependencies`);
+    }
+}
+/** Parse `source` with an already-loaded grammar. Reuses one parser instance; safe
+ *  because transforms run synchronously and trees are independent of the parser. */
+function parse(source, id) {
+    const language = languages.get(id);
+    assert(language, `grammar '${id}' not loaded; call loadGrammar('${id}') first`);
+    parser ??= new TreeSitter();
+    parser.setLanguage(language);
+    const tree = parser.parse(source);
+    assert(tree, `parsing produced no tree for grammar '${id}'`);
+    return tree;
+}
+/** The subtypes of a grammar supertype, expanded transitively (`statement` → `declaration` →
+ *  `lexical_declaration`, …), or `[]` if `typeName` is not a supertype. Intermediate supertype
+ *  names are kept too — harmless, since only concrete types appear in a tree. Memoised per grammar,
+ *  so a `find` can call it per node. */
+function subtypesOf(id, typeName) {
+    const language = languages.get(id);
+    assert(language, `grammar '${id}' not loaded; call loadGrammar('${id}') first`);
+    let perGrammar = subtypeCache.get(id);
+    if (!perGrammar)
+        subtypeCache.set(id, (perGrammar = new Map()));
+    let names = perGrammar.get(typeName);
+    if (!names) {
+        const supertypes = new Set(language.supertypes);
+        const root = language.idForNodeType(typeName, true);
+        const out = new Set();
+        const queue = root !== null && supertypes.has(root) ? [root] : [];
+        for (let sym = queue.pop(); sym !== undefined; sym = queue.pop()) {
+            for (const sub of language.subtypes(sym)) {
+                const name = language.nodeTypeForId(sub);
+                if (!name || out.has(name))
+                    continue;
+                out.add(name);
+                if (supertypes.has(sub))
+                    queue.push(sub); // nested supertype — expand to its leaves
+            }
+        }
+        perGrammar.set(typeName, (names = [...out]));
+    }
+    return names;
+}
+/** Singleton confining every web-tree-sitter init/load concern to this module. */
+export const Parser = { init, loadGrammar, parse, subtypesOf };
+//# sourceMappingURL=parser.js.map

package/dist/parser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.js","sourceRoot":"","sources":["../src/parser.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAC3C,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAA;AACtC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAA;AACxC,OAAO,EAAE,QAAQ,EAAE,MAAM,IAAI,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAGhE,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAEpC,oFAAoF;AACpF,uEAAuE;AACvE,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;AAE9C;;;;;GAKG;AACH,MAAM,aAAa,GAAuC;IACxD,UAAU,EAAE,6BAA6B;IACzC,GAAG,EAAE,sBAAsB;IAC3B,gGAAgG;IAChG,wFAAwF;IACxF,IAAI,EAAE,uBAAuB;CAC9B,CAAA;AAED;;;;GAIG;AACH,MAAM,SAAS,GAAuC;IACpD,UAAU,EAAE,oDAAoD;IAChE,IAAI,EAAE,wCAAwC;IAC9C,GAAG,EAAE,sCAAsC;CAC5C,CAAA;AAED,IAAI,WAAW,GAAyB,IAAI,CAAA;AAC5C,IAAI,MAAM,GAAsB,IAAI,CAAA;AACpC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAoB,CAAA;AAC7C,MAAM,KAAK,GAAG,IAAI,GAAG,EAA6B,CAAA;AAClD,MAAM,YAAY,GAAG,IAAI,GAAG,EAAiC,CAAA;AAE7D,2EAA2E;AAC3E,KAAK,UAAU,IAAI;IACjB,WAAW,KAAK,UAAU,CAAC,IAAI,EAAE,CAAA;IACjC,MAAM,WAAW,CAAA;AACnB,CAAC;AAED;;;;GAIG;AACH,KAAK,UAAU,WAAW,CAAC,EAAsB,EAAE,QAAiB;IAClE,IAAI,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC;QAAE,OAAM;IAC7B,IAAI,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IAC3B,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,GAAG,YAAY,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAA;QACpC,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAC,CAAA;IACxB,CAAC;IACD,SAAS,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,OAAO,CAAC,CAAA;AAClC,CAAC;AAED,KAAK,UAAU,YAAY,CAAC,EAAU,EAAE,QAAiB;IACvD,MAAM,IAAI,EAAE,CAAA;IACZ,MAAM,IAAI,GAAG,QAAQ,IAAI,kBAAkB,CAAC,EAAE,CAAC,CAAA;IAC/C,OAAO,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAA;AAC1C,CAAC;AAED;iDACiD;AACjD,MAAM,UAAU,cAAc,CAAC,EAAa;IAC1C,MAAM,IAAI,GAAG,SAAS,CAAC,EAAE,CAAC,CAAA;IAC1B,OAAO,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;AACvD,CAAC;AAED,SAAS,kBAAkB,CAAC,EAAU;IACpC,MAAM,QAAQ,GAAG,aAAa,CAAC,EAAe,CAAC,CAAA;IAC/C,IAAI,QAAQ;QAAE,OAAO,aAAa,CAAC,IAAI,GAAG,CAAC,WAAW,QAAQ,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAA;IACnF,MAAM,IAAI,GAAG,SAAS,CAAC,EAAe,CAAC,CAAA;IACvC,MAAM,CAAC,IAAI,EAAE,YAAY,EAAE,6EAA6E,CAAC,CAAA;IACzG,IAAI,CAAC;QACH,OAAO,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;IAC9B,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAA;QAC5C,MAAM,IAAI,KAAK,CAAC,wBAAwB,EAAE,iCAAiC,GAAG,gCAAgC,CAAC,CAAA;IACjH,CAAC;AACH,CAAC;AAED;oFACoF;AACpF,SAAS,KAAK,CAAC,MAAc,EAAE,EAAsB;IACnD,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IAClC,MAAM,CAAC,QAAQ,EAAE,YAAY,EAAE,mCAAmC,EAAE,UAAU,CAAC,CAAA;IAC/E,MAAM,KAAK,IAAI,UAAU,EAAE,CAAA;IAC3B,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAA;IAC5B,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;IACjC,MAAM,CAAC,IAAI,EAAE,yCAAyC,EAAE,GAAG,CAAC,CAAA;IAC5D,OAAO,IAAI,CAAA;AACb,CAAC;AAED;;;wCAGwC;AACxC,SAAS,UAAU,CAAC,EAAsB,EAAE,QAAgB;IAC1D,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IAClC,MAAM,CAAC,QAAQ,EAAE,YAAY,EAAE,mCAAmC,EAAE,UAAU,CAAC,CAAA;IAC/E,IAAI,UAAU,GAAG,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IACrC,IAAI,CAAC,UAAU;QAAE,YAAY,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,UAAU,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC,CAAA;IAC/D,IAAI,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACpC,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAA;QAC/C,MAAM,IAAI,GAAG,QAAQ,CAAC,aAAa,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAA;QACnD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAA;QAC7B,MAAM,KAAK,GAAG,IAAI,KAAK,IAAI,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;QACjE,KAAK,IAAI,GAAG,GAAG,KAAK,CAAC,GAAG,EAAE,EAAE,GAAG,KAAK,SAAS,EAAE,GAAG,GAAG,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC;YACjE,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBACzC,MAAM,IAAI,GAAG,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,CAAA;gBACxC,IAAI,CAAC,IAAI,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;oBAAE,SAAQ;gBACpC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;gBACb,IAAI,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA,CAAC,0CAA0C;YACrF,CAAC;QACH,CAAC;QACD,UAAU,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,KAAK,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAA;IAC9C,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,kFAAkF;AAClF,MAAM,CAAC,MAAM,MAAM,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE,CAAA"}

package/dist/resolver.d.ts

@@ -0,0 +1,27 @@
+import type { RichNode } from './types.js';
+/**
+ * Lexical binding resolution for one parsed tree — **JS/TS/TSX only**, syntactic (no types).
+ *
+ * Confident-or-abstain: a query returns `null` whenever the tree contains a construct the
+ * resolver does not fully model (`with`, `eval`, a TS namespace/ambient module, an unknown binding
+ * form, or an occurrence that can't be renamed in place such as an object shorthand). A codemod
+ * treats `null` as "do not proceed", so a rename never fires on a guess. (A TS `enum` is modelled —
+ * its name binds like a class — so it does not force abstention.)
+ *
+ * Value vs type is mostly free here: tree-sitter spells type references `type_identifier`, so
+ * collecting `identifier` nodes naturally excludes them.
+ */
+export interface Resolver {
+    /** Every occurrence (declaration + value references) of the binding `decl` introduces; `null`
+     *  to abstain. */
+    references(decl: RichNode): RichNode[] | null;
+    /** The declaration a value reference resolves to; `null` for a global or to abstain. */
+    definition(ref: RichNode): RichNode | null;
+    /** The declaration `name` resolves to from `at`'s position; `null` for a global or to abstain. */
+    lookup(at: RichNode, name: string): RichNode | null;
+    /** Every binding visible at `at` (inner shadows outer), or `null` to abstain. */
+    bindingsInScope(at: RichNode): RichNode[] | null;
+}
+/** A resolver for `root`'s tree, or `null` if the language has no binding model. */
+export declare function createResolver(root: RichNode): Resolver | null;
+//# sourceMappingURL=resolver.d.ts.map

package/dist/resolver.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolver.d.ts","sourceRoot":"","sources":["../src/resolver.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAa,QAAQ,EAAE,MAAM,YAAY,CAAA;AAErD;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,QAAQ;IACvB;sBACkB;IAClB,UAAU,CAAC,IAAI,EAAE,QAAQ,GAAG,QAAQ,EAAE,GAAG,IAAI,CAAA;IAC7C,wFAAwF;IACxF,UAAU,CAAC,GAAG,EAAE,QAAQ,GAAG,QAAQ,GAAG,IAAI,CAAA;IAC1C,kGAAkG;IAClG,MAAM,CAAC,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,QAAQ,GAAG,IAAI,CAAA;IACnD,iFAAiF;IACjF,eAAe,CAAC,EAAE,EAAE,QAAQ,GAAG,QAAQ,EAAE,GAAG,IAAI,CAAA;CACjD;AAID,oFAAoF;AACpF,wBAAgB,cAAc,CAAC,IAAI,EAAE,QAAQ,GAAG,QAAQ,GAAG,IAAI,CAE9D"}

package/dist/resolver.js

@@ -0,0 +1,241 @@
+const SUPPORTED = new Set(['javascript', 'typescript', 'tsx']);
+/** A resolver for `root`'s tree, or `null` if the language has no binding model. */
+export function createResolver(root) {
+    return SUPPORTED.has(root.language) ? new ScopeResolver(root) : null;
+}
+class ScopeResolver {
+    #abstain = false;
+    #root;
+    /** scope-owning node → its scope (the only nodes recorded; `#scopeAt` walks up to them). */
+    #scopes = new Map();
+    constructor(root) {
+        this.#root = { node: root, parent: null, bindings: new Map() };
+        this.#scopes.set(root, this.#root);
+        this.#walk(root, this.#root, this.#root);
+    }
+    definition(ref) {
+        if (this.#abstain || ref.type !== 'identifier')
+            return null;
+        return this.lookup(ref, ref.text);
+    }
+    references(decl) {
+        if (this.#abstain || decl.type !== 'identifier')
+            return null;
+        const name = decl.text;
+        if (this.#scopeAt(decl).bindings.get(name) !== decl)
+            return null; // not a binding we own
+        const out = [];
+        let abstain = false;
+        const collect = (node) => {
+            if (abstain)
+                return;
+            if (node.text === name) {
+                // an object shorthand referencing this binding can't be renamed in place
+                if (node.type === 'shorthand_property_identifier' && this.lookup(node, name) === decl) {
+                    abstain = true;
+                    return;
+                }
+                if (node.type === 'identifier' && this.lookup(node, name) === decl)
+                    out.push(node);
+            }
+            for (const child of node.allChildren)
+                collect(child);
+        };
+        collect(this.#scopeAt(decl).node);
+        return abstain ? null : out;
+    }
+    lookup(at, name) {
+        if (this.#abstain)
+            return null;
+        for (let s = this.#scopeAt(at); s; s = s.parent) {
+            const binding = s.bindings.get(name);
+            if (binding)
+                return binding;
+        }
+        return null;
+    }
+    bindingsInScope(at) {
+        if (this.#abstain)
+            return null;
+        const visible = new Map();
+        for (let s = this.#scopeAt(at); s; s = s.parent) {
+            for (const [name, decl] of s.bindings)
+                if (!visible.has(name))
+                    visible.set(name, decl); // inner shadows outer
+        }
+        return [...visible.values()];
+    }
+    #scopeAt(node) {
+        for (let n = node; n; n = n.parent) {
+            const scope = this.#scopes.get(n);
+            if (scope)
+                return scope;
+        }
+        return this.#root;
+    }
+    #newScope(node, parent) {
+        const scope = { node, parent, bindings: new Map() };
+        this.#scopes.set(node, scope);
+        return scope;
+    }
+    #walk(node, scope, fnScope) {
+        if (this.#abstain)
+            return;
+        switch (node.type) {
+            // `with` makes any bare name a possible property; a TS namespace/ambient-module exposes its
+            // members as `X.m` (so a partial rename corrupts). Both are beyond syntactic resolution.
+            case 'with_statement':
+            case 'internal_module': // namespace X {}
+            case 'module': // module 'x' {}
+                this.#abstain = true;
+                return;
+            case 'call_expression':
+                if (node.child('function')?.text === 'eval') {
+                    this.#abstain = true;
+                    return;
+                }
+                this.#walkChildren(node, scope, fnScope);
+                return;
+            case 'function_declaration':
+            case 'generator_function_declaration': {
+                this.#bind(fnScope, node.child('name')); // hoisted to the enclosing function scope
+                const inner = this.#newScope(node, scope);
+                this.#bindParams(node, inner);
+                this.#walkChildren(node.child('body'), inner, inner);
+                return;
+            }
+            case 'function_expression':
+            case 'generator_function':
+            case 'arrow_function':
+            case 'method_definition': {
+                const inner = this.#newScope(node, scope);
+                this.#bind(inner, node.child('name')); // optional function-expression name
+                this.#bindParams(node, inner);
+                this.#walkChildren(node.child('body'), inner, inner);
+                return;
+            }
+            // A class/enum name binds in the enclosing scope; their members are `property_identifier`
+            // (reached as `X.member`), never free identifiers, so walking the body here is safe.
+            case 'class_declaration':
+            case 'enum_declaration': {
+                this.#bind(scope, node.child('name'));
+                this.#walkChildren(node.child('body'), scope, fnScope);
+                return;
+            }
+            case 'lexical_declaration': // let / const
+                for (const d of node.children) {
+                    if (d.type !== 'variable_declarator')
+                        continue;
+                    this.#bindPattern(d.child('name'), scope);
+                    this.#walkChildren(d.child('value'), scope, fnScope);
+                }
+                return;
+            case 'variable_declaration': // var → hoisted
+                for (const d of node.children) {
+                    if (d.type !== 'variable_declarator')
+                        continue;
+                    this.#bindPattern(d.child('name'), fnScope);
+                    this.#walkChildren(d.child('value'), scope, fnScope);
+                }
+                return;
+            case 'import_statement':
+                this.#bindImports(node);
+                return;
+            case 'statement_block': {
+                this.#walkChildren(node, this.#newScope(node, scope), fnScope);
+                return;
+            }
+            case 'for_statement':
+            case 'for_in_statement': {
+                this.#walkChildren(node, this.#newScope(node, scope), fnScope);
+                return;
+            }
+            case 'catch_clause': {
+                const inner = this.#newScope(node, scope);
+                this.#bindPattern(node.child('parameter'), inner);
+                this.#walkChildren(node.child('body'), inner, fnScope);
+                return;
+            }
+            default:
+                this.#walkChildren(node, scope, fnScope);
+        }
+    }
+    #walkChildren(node, scope, fnScope) {
+        if (!node)
+            return;
+        for (const child of node.allChildren)
+            this.#walk(child, scope, fnScope);
+    }
+    #bind(scope, name) {
+        if (name?.type === 'identifier')
+            scope.bindings.set(name.text, name);
+    }
+    #bindParams(fn, scope) {
+        const params = fn.child('parameters');
+        if (params) {
+            for (const p of params.children)
+                this.#bindPattern(unwrapParameter(p), scope);
+            return;
+        }
+        this.#bindPattern(fn.child('parameter'), scope); // arrow `x => …`
+    }
+    #bindImports(node) {
+        const walk = (n) => {
+            if (n.type === 'identifier') {
+                this.#root.bindings.set(n.text, n); // default / namespace local
+                return;
+            }
+            if (n.type === 'import_specifier') {
+                const local = n.child('alias') ?? n.child('name');
+                if (local?.type === 'identifier')
+                    this.#root.bindings.set(local.text, local);
+                return;
+            }
+            for (const child of n.allChildren)
+                walk(child);
+        };
+        walk(node);
+    }
+    /** Bind every name a binding pattern introduces; abstain on an unknown pattern form. */
+    #bindPattern(node, scope) {
+        if (!node)
+            return;
+        switch (node.type) {
+            case 'identifier':
+                scope.bindings.set(node.text, node);
+                return;
+            case 'shorthand_property_identifier_pattern':
+                scope.bindings.set(node.text, node);
+                return;
+            case 'object_pattern':
+                for (const child of node.children) {
+                    if (child.type === 'pair_pattern')
+                        this.#bindPattern(child.child('value'), scope);
+                    else
+                        this.#bindPattern(child, scope);
+                }
+                return;
+            case 'array_pattern':
+                for (const child of node.children)
+                    this.#bindPattern(child, scope);
+                return;
+            case 'rest_pattern':
+                this.#bindPattern(node.children[0] ?? null, scope);
+                return;
+            case 'assignment_pattern':
+            case 'object_assignment_pattern':
+                this.#bindPattern(node.child('left') ?? node.children[0] ?? null, scope);
+                return;
+            default:
+                this.#abstain = true; // a binding form we don't model — abstain rather than mis-resolve
+        }
+    }
+}
+/** TS wraps params as `required_parameter`/`optional_parameter` { pattern }; JS is the bare pattern. */
+function unwrapParameter(param) {
+    if (param.type === 'required_parameter' || param.type === 'optional_parameter') {
+        return param.child('pattern') ?? param.children[0] ?? param;
+    }
+    return param;
+}
+//# sourceMappingURL=resolver.js.map

package/dist/resolver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolver.js","sourceRoot":"","sources":["../src/resolver.ts"],"names":[],"mappings":"AA0BA,MAAM,SAAS,GAAG,IAAI,GAAG,CAAY,CAAC,YAAY,EAAE,YAAY,EAAE,KAAK,CAAC,CAAC,CAAA;AAEzE,oFAAoF;AACpF,MAAM,UAAU,cAAc,CAAC,IAAc;IAC3C,OAAO,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;AACtE,CAAC;AASD,MAAM,aAAa;IACjB,QAAQ,GAAG,KAAK,CAAA;IACP,KAAK,CAAO;IACrB,4FAA4F;IACnF,OAAO,GAAG,IAAI,GAAG,EAAmB,CAAA;IAE7C,YAAY,IAAc;QACxB,IAAI,CAAC,KAAK,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,GAAG,EAAE,EAAE,CAAA;QAC9D,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAA;QAClC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAA;IAC1C,CAAC;IAED,UAAU,CAAC,GAAa;QACtB,IAAI,IAAI,CAAC,QAAQ,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY;YAAE,OAAO,IAAI,CAAA;QAC3D,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAA;IACnC,CAAC;IAED,UAAU,CAAC,IAAc;QACvB,IAAI,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY;YAAE,OAAO,IAAI,CAAA;QAC5D,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAA;QACtB,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAA,CAAC,uBAAuB;QACxF,MAAM,GAAG,GAAe,EAAE,CAAA;QAC1B,IAAI,OAAO,GAAG,KAAK,CAAA;QACnB,MAAM,OAAO,GAAG,CAAC,IAAc,EAAQ,EAAE;YACvC,IAAI,OAAO;gBAAE,OAAM;YACnB,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;gBACvB,yEAAyE;gBACzE,IAAI,IAAI,CAAC,IAAI,KAAK,+BAA+B,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;oBACtF,OAAO,GAAG,IAAI,CAAA;oBACd,OAAM;gBACR,CAAC;gBACD,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,IAAI;oBAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YACpF,CAAC;YACD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,WAAW;gBAAE,OAAO,CAAC,KAAK,CAAC,CAAA;QACtD,CAAC,CAAA;QACD,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAA;QACjC,OAAO,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAA;IAC7B,CAAC;IAED,MAAM,CAAC,EAAY,EAAE,IAAY;QAC/B,IAAI,IAAI,CAAC,QAAQ;YAAE,OAAO,IAAI,CAAA;QAC9B,KAAK,IAAI,CAAC,GAAiB,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;YAC9D,MAAM,OAAO,GAAG,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YACpC,IAAI,OAAO;gBAAE,OAAO,OAAO,CAAA;QAC7B,CAAC;QACD,OAAO,IAAI,CAAA;IACb,CAAC;IAED,eAAe,CAAC,EAAY;QAC1B,IAAI,IAAI,CAAC,QAAQ;YAAE,OAAO,IAAI,CAAA;QAC9B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAoB,CAAA;QAC3C,KAAK,IAAI,CAAC,GAAiB,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;YAC9D,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,QAAQ;gBAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;oBAAE,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA,CAAC,sBAAsB;QAC/G,CAAC;QACD,OAAO,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAA;IAC9B,CAAC;IAED,QAAQ,CAAC,IAAc;QACrB,KAAK,IAAI,CAAC,GAAoB,IAAI,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;YACpD,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;YACjC,IAAI,KAAK;gBAAE,OAAO,KAAK,CAAA;QACzB,CAAC;QACD,OAAO,IAAI,CAAC,KAAK,CAAA;IACnB,CAAC;IAED,SAAS,CAAC,IAAc,EAAE,MAAa;QACrC,MAAM,KAAK,GAAU,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,GAAG,EAAE,EAAE,CAAA;QAC1D,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;QAC7B,OAAO,KAAK,CAAA;IACd,CAAC;IAED,KAAK,CAAC,IAAc,EAAE,KAAY,EAAE,OAAc;QAChD,IAAI,IAAI,CAAC,QAAQ;YAAE,OAAM;QACzB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,4FAA4F;YAC5F,yFAAyF;YACzF,KAAK,gBAAgB,CAAC;YACtB,KAAK,iBAAiB,CAAC,CAAC,iBAAiB;YACzC,KAAK,QAAQ,EAAE,gBAAgB;gBAC7B,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAA;gBACpB,OAAM;YACR,KAAK,iBAAiB;gBACpB,IAAI,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,IAAI,KAAK,MAAM,EAAE,CAAC;oBAC5C,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAA;oBACpB,OAAM;gBACR,CAAC;gBACD,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;gBACxC,OAAM;YACR,KAAK,sBAAsB,CAAC;YAC5B,KAAK,gCAAgC,CAAC,CAAC,CAAC;gBACtC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAA,CAAC,0CAA0C;gBAClF,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;gBACzC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;gBAC7B,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;gBACpD,OAAM;YACR,CAAC;YACD,KAAK,qBAAqB,CAAC;YAC3B,KAAK,oBAAoB,CAAC;YAC1B,KAAK,gBAAgB,CAAC;YACtB,KAAK,mBAAmB,CAAC,CAAC,CAAC;gBACzB,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;gBACzC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAA,CAAC,oCAAoC;gBAC1E,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;gBAC7B,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;gBACpD,OAAM;YACR,CAAC;YACD,0FAA0F;YAC1F,qFAAqF;YACrF,KAAK,mBAAmB,CAAC;YACzB,KAAK,kBAAkB,CAAC,CAAC,CAAC;gBACxB,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAA;gBACrC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;gBACtD,OAAM;YACR,CAAC;YACD,KAAK,qBAAqB,EAAE,cAAc;gBACxC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;oBAC9B,IAAI,CAAC,CAAC,IAAI,KAAK,qBAAqB;wBAAE,SAAQ;oBAC9C,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,CAAA;oBACzC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;gBACtD,CAAC;gBACD,OAAM;YACR,KAAK,sBAAsB,EAAE,gBAAgB;gBAC3C,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;oBAC9B,IAAI,CAAC,CAAC,IAAI,KAAK,qBAAqB;wBAAE,SAAQ;oBAC9C,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAA;oBAC3C,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;gBACtD,CAAC;gBACD,OAAM;YACR,KAAK,kBAAkB;gBACrB,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAA;gBACvB,OAAM;YACR,KAAK,iBAAiB,CAAC,CAAC,CAAC;gBACvB,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,OAAO,CAAC,CAAA;gBAC9D,OAAM;YACR,CAAC;YACD,KAAK,eAAe,CAAC;YACrB,KAAK,kBAAkB,CAAC,CAAC,CAAC;gBACxB,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,OAAO,CAAC,CAAA;gBAC9D,OAAM;YACR,CAAC;YACD,KAAK,cAAc,CAAC,CAAC,CAAC;gBACpB,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;gBACzC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,KAAK,CAAC,CAAA;gBACjD,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;gBACtD,OAAM;YACR,CAAC;YACD;gBACE,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;QAC5C,CAAC;IACH,CAAC;IAED,aAAa,CAAC,IAAqB,EAAE,KAAY,EAAE,OAAc;QAC/D,IAAI,CAAC,IAAI;YAAE,OAAM;QACjB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,WAAW;YAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;IACzE,CAAC;IAED,KAAK,CAAC,KAAY,EAAE,IAAqB;QACvC,IAAI,IAAI,EAAE,IAAI,KAAK,YAAY;YAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;IACtE,CAAC;IAED,WAAW,CAAC,EAAY,EAAE,KAAY;QACpC,MAAM,MAAM,GAAG,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,CAAA;QACrC,IAAI,MAAM,EAAE,CAAC;YACX,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,QAAQ;gBAAE,IAAI,CAAC,YAAY,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAA;YAC7E,OAAM;QACR,CAAC;QACD,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,KAAK,CAAC,CAAA,CAAC,iBAAiB;IACnE,CAAC;IAED,YAAY,CAAC,IAAc;QACzB,MAAM,IAAI,GAAG,CAAC,CAAW,EAAQ,EAAE;YACjC,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;gBAC5B,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA,CAAC,4BAA4B;gBAC/D,OAAM;YACR,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;gBAClC,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;gBACjD,IAAI,KAAK,EAAE,IAAI,KAAK,YAAY;oBAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;gBAC5E,OAAM;YACR,CAAC;YACD,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,WAAW;gBAAE,IAAI,CAAC,KAAK,CAAC,CAAA;QAChD,CAAC,CAAA;QACD,IAAI,CAAC,IAAI,CAAC,CAAA;IACZ,CAAC;IAED,wFAAwF;IACxF,YAAY,CAAC,IAAqB,EAAE,KAAY;QAC9C,IAAI,CAAC,IAAI;YAAE,OAAM;QACjB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,YAAY;gBACf,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;gBACnC,OAAM;YACR,KAAK,uCAAuC;gBAC1C,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;gBACnC,OAAM;YACR,KAAK,gBAAgB;gBACnB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;oBAClC,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc;wBAAE,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,CAAA;;wBAC5E,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;gBACtC,CAAC;gBACD,OAAM;YACR,KAAK,eAAe;gBAClB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ;oBAAE,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;gBAClE,OAAM;YACR,KAAK,cAAc;gBACjB,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,KAAK,CAAC,CAAA;gBAClD,OAAM;YACR,KAAK,oBAAoB,CAAC;YAC1B,KAAK,2BAA2B;gBAC9B,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,KAAK,CAAC,CAAA;gBACxE,OAAM;YACR;gBACE,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAA,CAAC,kEAAkE;QAC3F,CAAC;IACH,CAAC;CACF;AAED,wGAAwG;AACxG,SAAS,eAAe,CAAC,KAAe;IACtC,IAAI,KAAK,CAAC,IAAI,KAAK,oBAAoB,IAAI,KAAK,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;QAC/E,OAAO,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,KAAK,CAAA;IAC7D,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC"}

package/dist/rich-node.d.ts

@@ -0,0 +1,5 @@
+import type { Node } from 'web-tree-sitter';
+import type { GrammarId, RichNode } from './types.js';
+/** Wrap a parsed tree's root. Children are created lazily as the tree is walked. */
+export declare function wrapNode(node: Node, language: GrammarId, startOffset: number): RichNode;
+//# sourceMappingURL=rich-node.d.ts.map

package/dist/rich-node.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rich-node.d.ts","sourceRoot":"","sources":["../src/rich-node.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAA;AAC3C,OAAO,KAAK,EAAE,SAAS,EAAS,QAAQ,EAAE,MAAM,YAAY,CAAA;AA2G5D,oFAAoF;AACpF,wBAAgB,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,GAAG,QAAQ,CAEvF"}

package/dist/rich-node.js

@@ -0,0 +1,101 @@
+var _a;
+import { COMMENT_TYPES } from './comment-attachment.js';
+import { assert } from './assert.js';
+/**
+ * Lazy wrapper over a web-tree-sitter `Node`. Scalar accessors (type/text/positions)
+ * read straight through to the backing node; `allChildren` and `children` are built
+ * once and cached, so there is exactly one `RichNodeImpl` per backing node within a
+ * subtree — which is what lets the comment-attachment pass write onto the same
+ * instances that pattern matching and rewrites later see.
+ *
+ * The class is internal; callers receive the `RichNode` interface via `wrapNode`.
+ */
+class RichNodeImpl {
+    language;
+    // Filled in by the comment-attachment pass; the arrays are mutable, the bindings are not.
+    leadingComments = [];
+    trailingComments = [];
+    innerComments = [];
+    #node;
+    #startOffset;
+    #parent;
+    #allChildren;
+    #children;
+    constructor(node, language, startOffset, parent) {
+        this.#node = node;
+        this.language = language;
+        this.#startOffset = startOffset;
+        this.#parent = parent;
+    }
+    get type() {
+        // The grammar guarantees the raw string is one of its node types; assert it into the union.
+        return this.#node.type;
+    }
+    get isNamed() {
+        return this.#node.isNamed;
+    }
+    get text() {
+        return this.#node.text;
+    }
+    get startIndex() {
+        return this.#node.startIndex;
+    }
+    get endIndex() {
+        return this.#node.endIndex;
+    }
+    get startPosition() {
+        return this.#node.startPosition;
+    }
+    get endPosition() {
+        return this.#node.endPosition;
+    }
+    get parent() {
+        return this.#parent;
+    }
+    get documentStartIndex() {
+        return this.#node.startIndex + this.#startOffset;
+    }
+    get documentEndIndex() {
+        return this.#node.endIndex + this.#startOffset;
+    }
+    /** Full CST: every child, including anonymous punctuation and comments. */
+    get allChildren() {
+        return this.#computeAllChildren();
+    }
+    /** Named structural children with comments removed — the surface pattern matching
+     *  walks, so neither punctuation nor comments can perturb a match. */
+    get children() {
+        const comments = COMMENT_TYPES[this.language];
+        this.#children ??= this.#computeAllChildren().filter((n) => n.isNamed && !comments.has(n.type));
+        return this.#children;
+    }
+    child(field) {
+        const target = this.#node.childForFieldName(field);
+        return target === null ? null : this.#wrapperFor(target, field);
+    }
+    childrenForField(field) {
+        return this.#node
+            .childrenForFieldName(field)
+            .filter((n) => n !== null)
+            .map((target) => this.#wrapperFor(target, field));
+    }
+    #computeAllChildren() {
+        this.#allChildren ??= this.#node.children
+            .filter((c) => c !== null)
+            .map((c) => new _a(c, this.language, this.#startOffset, this));
+        return this.#allChildren;
+    }
+    /** Map a backing field-child back to its cached wrapper, so identity (and any
+     *  attached comments) is shared rather than re-wrapped. */
+    #wrapperFor(target, field) {
+        const wrapped = this.#computeAllChildren().find((c) => c.#node.equals(target));
+        assert(wrapped, `field '${field}' resolved to a node absent from allChildren`);
+        return wrapped;
+    }
+}
+_a = RichNodeImpl;
+/** Wrap a parsed tree's root. Children are created lazily as the tree is walked. */
+export function wrapNode(node, language, startOffset) {
+    return new RichNodeImpl(node, language, startOffset, null);
+}
+//# sourceMappingURL=rich-node.js.map