circle-ir 4.17.0 → 4.18.1

package/dist/stable-ids/moves.d.ts

@@ -0,0 +1,87 @@
+/**
+ * Moves and renames between two versions, as facts (`ids@0.1`).
+ *
+ * `diffStableIds` leaves a moved or renamed declaration as one removal plus
+ * one addition. This pairs them, in three steps over what is still unpaired:
+ *
+ * 1. **Equal body hash** — settles. The pair must be unique on both sides
+ *    (one removed and one added declaration of the same kind with that
+ *    hash) and the body must have at least `minTokens` normalized tokens;
+ *    a smaller or shared body is reported as a candidate, never a fact —
+ *    unless a settled pair vouches for it: a container settles when one of
+ *    its members settled into the counterpart (`members`), and a member
+ *    follows its settled container when the counterpart has the same local
+ *    name, kind, signature and body (`enclosing`).
+ * 2. **Same kind and qualified name, new signature** — settles as
+ *    `signature-changed` when exactly one removed and one added
+ *    declaration share them (declarations flagged `unstable:duplicate` are
+ *    left out).
+ * 3. **Similar body** — candidates only (signal): token-bigram similarity at
+ *    or above `similarityBar`, with the caller sets compared when the caller
+ *    supplies them. A candidate whose caller sets differ is dropped.
+ *
+ * Anything not paired stays removed and added, so a missed move costs a
+ * "removed + added", never a wrong match.
+ */
+import { type StableIdDiff } from './diff.js';
+import { type StableDecl, type StableIdFile, type StableIdScheme } from './types.js';
+export type MoveRelation = 'moved' | 'renamed' | 'moved-renamed' | 'signature-changed';
+/** Why a pair settled. */
+export type MoveEvidence = 
+/** Equal body hash, unique on both sides, body of at least `minTokens` tokens. */
+'body-hash'
+/** A small equal-hash pair one of whose members settled into the other. */
+ | 'members'
+/** Its enclosing declaration settled; same local name, kind, signature and body under the new one. */
+ | 'enclosing'
+/** Same kind and qualified name, new signature. */
+ | 'qualified-name';
+/** Why a pair is only a candidate. */
+export type CandidateEvidence = 'body-hash-small' | 'body-hash-ambiguous' | 'similar-body';
+export interface StableIdMove {
+    scheme: StableIdScheme;
+    relation: MoveRelation;
+    evidence: MoveEvidence;
+    from: StableDecl;
+    to: StableDecl;
+    /** The two commits, when the caller named them. */
+    base?: string;
+    head?: string;
+}
+export interface MoveCandidate {
+    relation: MoveRelation;
+    evidence: CandidateEvidence;
+    from: StableDecl;
+    to: StableDecl;
+    /** Token-bigram Dice similarity of the two bodies, 0–1, rounded to 4 places (1 for equal hashes). */
+    similarity: number;
+    /** `equal` when both caller sets were supplied and match; `unknown` when either was not supplied. */
+    callers: 'equal' | 'unknown';
+}
+export interface MoveOptions {
+    /** Bodies with fewer normalized tokens never settle by hash alone. Default 12. */
+    minTokens?: number;
+    /**
+     * Bar for similar-body candidates, 0–1. Default 0.8. It is a placeholder
+     * until measured on a seeded set: candidates are signal whatever it is.
+     */
+    similarityBar?: number;
+    /** Callers of each declaration at the base version, by declaration id. */
+    callersBefore?: ReadonlyMap<string, readonly string[]>;
+    /** Callers of each declaration at the head version, by declaration id. */
+    callersAfter?: ReadonlyMap<string, readonly string[]>;
+    base?: string;
+    head?: string;
+}
+export interface MoveDetection {
+    /** `diffStableIds`, with every settled pair taken out of `removed` and `added`. */
+    diff: StableIdDiff;
+    moves: StableIdMove[];
+    /** Signal only, sorted by similarity (highest first), then by ids. */
+    candidates: MoveCandidate[];
+}
+/** Dice coefficient over token-bigram multisets. */
+export declare function bodySimilarity(a: readonly string[], b: readonly string[]): number;
+/** Pair the removed and added declarations of two versions. */
+export declare function detectMoves(before: readonly StableIdFile[], after: readonly StableIdFile[], options?: MoveOptions): MoveDetection;
+//# sourceMappingURL=moves.d.ts.map

package/dist/stable-ids/moves.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"moves.d.ts","sourceRoot":"","sources":["../../src/stable-ids/moves.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,EAAiB,KAAK,YAAY,EAAE,MAAM,WAAW,CAAC;AAC7D,OAAO,EAAoB,KAAK,UAAU,EAAE,KAAK,YAAY,EAAE,KAAK,cAAc,EAAE,MAAM,YAAY,CAAC;AAEvG,MAAM,MAAM,YAAY,GAAG,OAAO,GAAG,SAAS,GAAG,eAAe,GAAG,mBAAmB,CAAC;AAEvF,0BAA0B;AAC1B,MAAM,MAAM,YAAY;AACtB,kFAAkF;AAChF,WAAW;AACb,2EAA2E;GACzE,SAAS;AACX,sGAAsG;GACpG,WAAW;AACb,mDAAmD;GACjD,gBAAgB,CAAC;AAErB,sCAAsC;AACtC,MAAM,MAAM,iBAAiB,GAAG,iBAAiB,GAAG,qBAAqB,GAAG,cAAc,CAAC;AAE3F,MAAM,WAAW,YAAY;IAC3B,MAAM,EAAE,cAAc,CAAC;IACvB,QAAQ,EAAE,YAAY,CAAC;IACvB,QAAQ,EAAE,YAAY,CAAC;IACvB,IAAI,EAAE,UAAU,CAAC;IACjB,EAAE,EAAE,UAAU,CAAC;IACf,mDAAmD;IACnD,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,EAAE,YAAY,CAAC;IACvB,QAAQ,EAAE,iBAAiB,CAAC;IAC5B,IAAI,EAAE,UAAU,CAAC;IACjB,EAAE,EAAE,UAAU,CAAC;IACf,qGAAqG;IACrG,UAAU,EAAE,MAAM,CAAC;IACnB,qGAAqG;IACrG,OAAO,EAAE,OAAO,GAAG,SAAS,CAAC;CAC9B;AAED,MAAM,WAAW,WAAW;IAC1B,kFAAkF;IAClF,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB;;;OAGG;IACH,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,0EAA0E;IAC1E,aAAa,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC;IACvD,0EAA0E;IAC1E,YAAY,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC;IACtD,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,aAAa;IAC5B,mFAAmF;IACnF,IAAI,EAAE,YAAY,CAAC;IACnB,KAAK,EAAE,YAAY,EAAE,CAAC;IACtB,sEAAsE;IACtE,UAAU,EAAE,aAAa,EAAE,CAAC;CAC7B;AAyCD,oDAAoD;AACpD,wBAAgB,cAAc,CAAC,CAAC,EAAE,SAAS,MAAM,EAAE,EAAE,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,CAOjF;AAWD,+DAA+D;AAC/D,wBAAgB,WAAW,CACzB,MAAM,EAAE,SAAS,YAAY,EAAE,EAC/B,KAAK,EAAE,SAAS,YAAY,EAAE,EAC9B,OAAO,GAAE,WAAgB,GACxB,aAAa,CA+Hf"}

package/dist/stable-ids/moves.js

@@ -0,0 +1,222 @@
+/**
+ * Moves and renames between two versions, as facts (`ids@0.1`).
+ *
+ * `diffStableIds` leaves a moved or renamed declaration as one removal plus
+ * one addition. This pairs them, in three steps over what is still unpaired:
+ *
+ * 1. **Equal body hash** — settles. The pair must be unique on both sides
+ *    (one removed and one added declaration of the same kind with that
+ *    hash) and the body must have at least `minTokens` normalized tokens;
+ *    a smaller or shared body is reported as a candidate, never a fact —
+ *    unless a settled pair vouches for it: a container settles when one of
+ *    its members settled into the counterpart (`members`), and a member
+ *    follows its settled container when the counterpart has the same local
+ *    name, kind, signature and body (`enclosing`).
+ * 2. **Same kind and qualified name, new signature** — settles as
+ *    `signature-changed` when exactly one removed and one added
+ *    declaration share them (declarations flagged `unstable:duplicate` are
+ *    left out).
+ * 3. **Similar body** — candidates only (signal): token-bigram similarity at
+ *    or above `similarityBar`, with the caller sets compared when the caller
+ *    supplies them. A candidate whose caller sets differ is dropped.
+ *
+ * Anything not paired stays removed and added, so a missed move costs a
+ * "removed + added", never a wrong match.
+ */
+import { diffStableIds } from './diff.js';
+import { STABLE_ID_SCHEME } from './types.js';
+/** The qualified name of the enclosing scope: everything before the declaration's own name. */
+function enclosing(d) {
+    const q = d.qualified_name.replace(/#\d+$/, '');
+    if (d.parent === null)
+        return '';
+    const at = q.lastIndexOf(d.name);
+    return at > 0 ? q.slice(0, at) : q;
+}
+function relationOf(from, to) {
+    // A module is named by its path: a new name is a move of the file.
+    if (from.kind === 'module' && from.parent === null)
+        return 'moved';
+    const renamed = from.name !== to.name;
+    const moved = enclosing(from) !== enclosing(to);
+    if (renamed && moved)
+        return 'moved-renamed';
+    if (renamed)
+        return 'renamed';
+    if (moved)
+        return 'moved';
+    return 'signature-changed';
+}
+function groupBy(decls, key) {
+    const m = new Map();
+    for (const d of decls) {
+        const k = key(d);
+        const list = m.get(k);
+        if (list)
+            list.push(d);
+        else
+            m.set(k, [d]);
+    }
+    return m;
+}
+function bigrams(tokens) {
+    const m = new Map();
+    for (let i = 0; i + 1 < tokens.length; i++) {
+        const k = tokens[i] + '\u0000' + tokens[i + 1];
+        m.set(k, (m.get(k) ?? 0) + 1);
+    }
+    return m;
+}
+/** Dice coefficient over token-bigram multisets. */
+export function bodySimilarity(a, b) {
+    if (a.length < 2 || b.length < 2)
+        return a.length === b.length && a.every((t, i) => t === b[i]) ? 1 : 0;
+    const x = bigrams(a);
+    const y = bigrams(b);
+    let shared = 0;
+    for (const [k, n] of x)
+        shared += Math.min(n, y.get(k) ?? 0);
+    return (2 * shared) / (a.length - 1 + (b.length - 1));
+}
+/** Shared-body groups larger than this (removed × added) yield no candidates. */
+const MAX_AMBIGUOUS = 25;
+const round4 = (n) => Math.round(n * 10000) / 10000;
+function byIds(a, b) {
+    return a.from.id < b.from.id ? -1 : a.from.id > b.from.id ? 1 : a.to.id < b.to.id ? -1 : a.to.id > b.to.id ? 1 : 0;
+}
+/** Pair the removed and added declarations of two versions. */
+export function detectMoves(before, after, options = {}) {
+    const minTokens = options.minTokens ?? 12;
+    const bar = options.similarityBar ?? 0.8;
+    const diff = diffStableIds(before, after);
+    const removed = new Set(diff.removed);
+    const added = new Set(diff.added);
+    const moves = [];
+    const candidates = [];
+    const settle = (from, to, evidence) => {
+        removed.delete(from);
+        added.delete(to);
+        const move = { scheme: STABLE_ID_SCHEME, relation: relationOf(from, to), evidence, from, to };
+        if (options.base !== undefined)
+            move.base = options.base;
+        if (options.head !== undefined)
+            move.head = options.head;
+        moves.push(move);
+    };
+    // 1. Equal body hash, unique on both sides.
+    const hashKey = (d) => `${d.kind}\u0000${d.body_hash}`;
+    const removedByHash = groupBy([...removed], hashKey);
+    const addedByHash = groupBy([...added], hashKey);
+    const hashPaired = new Set();
+    const small = [];
+    const ambiguous = [];
+    for (const [k, olds] of removedByHash) {
+        const news = addedByHash.get(k);
+        if (!news)
+            continue;
+        if (olds.length === 1 && news.length === 1) {
+            const [from] = olds;
+            const [to] = news;
+            if (from.token_count >= minTokens)
+                settle(from, to, 'body-hash');
+            else
+                small.push({ relation: relationOf(from, to), evidence: 'body-hash-small', from, to, similarity: 1, callers: 'unknown' });
+            hashPaired.add(from).add(to);
+            continue;
+        }
+        // Shared bodies (often trivial ones): every pairing is a candidate, up
+        // to a bound; later steps may still settle one of them.
+        if (olds.length * news.length > MAX_AMBIGUOUS)
+            continue;
+        for (const from of olds) {
+            for (const to of news) {
+                ambiguous.push({ relation: relationOf(from, to), evidence: 'body-hash-ambiguous', from, to, similarity: 1, callers: 'unknown' });
+            }
+        }
+    }
+    // 1b. Settled pairs carry their surroundings, to a fixpoint: a small
+    // equal-hash pair settles when a member of one settled into the other
+    // (a container's body is mostly member placeholders), and a declaration
+    // whose enclosing declaration settled follows it when the counterpart
+    // under the new parent has the same local name, kind, signature and body.
+    const declById = new Map();
+    for (const f of [...before, ...after])
+        for (const d of f.decls)
+            declById.set(d.id, d);
+    const local = (d) => {
+        const p = d.parent === null ? undefined : declById.get(d.parent);
+        return p && d.qualified_name.startsWith(p.qualified_name) ? d.qualified_name.slice(p.qualified_name.length) : d.qualified_name;
+    };
+    const addedByParent = groupBy([...added], d => d.parent ?? '');
+    for (let changed = true; changed;) {
+        changed = false;
+        const settledTo = new Map(moves.map(m => [m.from.id, m.to.id]));
+        for (const c of small) {
+            if (!removed.has(c.from) || !added.has(c.to))
+                continue;
+            if (moves.some(m => m.from.parent === c.from.id && m.to.parent === c.to.id)) {
+                settle(c.from, c.to, 'members');
+                changed = true;
+            }
+        }
+        for (const from of [...removed]) {
+            const newParent = from.parent === null ? undefined : settledTo.get(from.parent);
+            if (newParent === undefined)
+                continue;
+            const match = (addedByParent.get(newParent) ?? []).filter(to => added.has(to) && to.kind === from.kind && to.signature === from.signature
+                && to.body_hash === from.body_hash && local(to) === local(from));
+            if (match.length === 1) {
+                settle(from, match[0], 'enclosing');
+                changed = true;
+            }
+        }
+    }
+    // 2. Same kind and qualified name, new signature.
+    const stable = (d) => !d.flags.includes('unstable:duplicate');
+    const nameKey = (d) => `${d.kind}\u0000${d.qualified_name}`;
+    const removedByName = groupBy([...removed].filter(stable), nameKey);
+    const addedByName = groupBy([...added].filter(stable), nameKey);
+    for (const [k, olds] of removedByName) {
+        const news = addedByName.get(k);
+        if (olds.length === 1 && news?.length === 1 && !hashPaired.has(olds[0]) && !hashPaired.has(news[0])) {
+            settle(olds[0], news[0], 'qualified-name');
+        }
+    }
+    for (const c of [...small, ...ambiguous]) {
+        if (!removed.has(c.from) || !added.has(c.to))
+            continue;
+        candidates.push(c);
+        hashPaired.add(c.from).add(c.to);
+    }
+    // 3. Similar bodies (signal), over what steps 1 and 2 did not pair.
+    const mapped = new Map(moves.map(m => [m.from.id, m.to.id]));
+    const callerSet = (ids, map) => [...new Set(ids.map(id => (map ? mapped.get(id) ?? id : id)))].sort().join('\u0000');
+    for (const from of removed) {
+        if (hashPaired.has(from) || !from.body_tokens)
+            continue;
+        for (const to of added) {
+            if (hashPaired.has(to) || !to.body_tokens || to.kind !== from.kind)
+                continue;
+            const similarity = round4(bodySimilarity(from.body_tokens, to.body_tokens));
+            if (similarity < bar)
+                continue;
+            const cb = options.callersBefore?.get(from.id);
+            const ca = options.callersAfter?.get(to.id);
+            let callers = 'unknown';
+            if (cb && ca) {
+                if (callerSet(cb, true) !== callerSet(ca, false))
+                    continue;
+                callers = 'equal';
+            }
+            candidates.push({ relation: relationOf(from, to), evidence: 'similar-body', from, to, similarity, callers });
+        }
+    }
+    moves.sort(byIds);
+    candidates.sort((a, b) => b.similarity - a.similarity || byIds(a, b));
+    return {
+        diff: { ...diff, removed: diff.removed.filter(d => removed.has(d)), added: diff.added.filter(d => added.has(d)) },
+        moves,
+        candidates,
+    };
+}
+//# sourceMappingURL=moves.js.map

package/dist/stable-ids/moves.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"moves.js","sourceRoot":"","sources":["../../src/stable-ids/moves.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,EAAE,aAAa,EAAqB,MAAM,WAAW,CAAC;AAC7D,OAAO,EAAE,gBAAgB,EAA2D,MAAM,YAAY,CAAC;AAgEvG,+FAA+F;AAC/F,SAAS,SAAS,CAAC,CAAa;IAC9B,MAAM,CAAC,GAAG,CAAC,CAAC,cAAc,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IAChD,IAAI,CAAC,CAAC,MAAM,KAAK,IAAI;QAAE,OAAO,EAAE,CAAC;IACjC,MAAM,EAAE,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACjC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACrC,CAAC;AAED,SAAS,UAAU,CAAC,IAAgB,EAAE,EAAc;IAClD,mEAAmE;IACnE,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI;QAAE,OAAO,OAAO,CAAC;IACnE,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,CAAC;IACtC,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC,EAAE,CAAC,CAAC;IAChD,IAAI,OAAO,IAAI,KAAK;QAAE,OAAO,eAAe,CAAC;IAC7C,IAAI,OAAO;QAAE,OAAO,SAAS,CAAC;IAC9B,IAAI,KAAK;QAAE,OAAO,OAAO,CAAC;IAC1B,OAAO,mBAAmB,CAAC;AAC7B,CAAC;AAED,SAAS,OAAO,CAAC,KAA4B,EAAE,GAA8B;IAC3E,MAAM,CAAC,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC1C,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QACjB,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACtB,IAAI,IAAI;YAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;;YAClB,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACrB,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,OAAO,CAAC,MAAyB;IACxC,MAAM,CAAC,GAAG,IAAI,GAAG,EAAkB,CAAC;IACpC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3C,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,QAAQ,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC/C,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAChC,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,oDAAoD;AACpD,MAAM,UAAU,cAAc,CAAC,CAAoB,EAAE,CAAoB;IACvE,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACxG,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IACrB,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IACrB,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC;QAAE,MAAM,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC7D,OAAO,CAAC,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;AACxD,CAAC;AAED,iFAAiF;AACjF,MAAM,aAAa,GAAG,EAAE,CAAC;AAEzB,MAAM,MAAM,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,KAAK,CAAC,GAAG,KAAK,CAAC;AAEpE,SAAS,KAAK,CAAC,CAAuC,EAAE,CAAuC;IAC7F,OAAO,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACrH,CAAC;AAED,+DAA+D;AAC/D,MAAM,UAAU,WAAW,CACzB,MAA+B,EAC/B,KAA8B,EAC9B,OAAO,GAAgB,EAAE;IAEzB,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,EAAE,CAAC;IAC1C,MAAM,GAAG,GAAG,OAAO,CAAC,aAAa,IAAI,GAAG,CAAC;IACzC,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC1C,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACtC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClC,MAAM,KAAK,GAAmB,EAAE,CAAC;IACjC,MAAM,UAAU,GAAoB,EAAE,CAAC;IACvC,MAAM,MAAM,GAAG,CAAC,IAAgB,EAAE,EAAc,EAAE,QAAsB,EAAQ,EAAE;QAChF,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACrB,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACjB,MAAM,IAAI,GAAiB,EAAE,MAAM,EAAE,gBAAgB,EAAE,QAAQ,EAAE,UAAU,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;QAC5G,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS;YAAE,IAAI,CAAC,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;QACzD,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS;YAAE,IAAI,CAAC,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;QACzD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC,CAAC;IAEF,4CAA4C;IAC5C,MAAM,OAAO,GAAG,CAAC,CAAa,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,SAAS,EAAE,CAAC;IACnE,MAAM,aAAa,GAAG,OAAO,CAAC,CAAC,GAAG,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC;IACrD,MAAM,WAAW,GAAG,OAAO,CAAC,CAAC,GAAG,KAAK,CAAC,EAAE,OAAO,CAAC,CAAC;IACjD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAc,CAAC;IACzC,MAAM,KAAK,GAAoB,EAAE,CAAC;IAClC,MAAM,SAAS,GAAoB,EAAE,CAAC;IACtC,KAAK,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,aAAa,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAChC,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3C,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;YACpB,MAAM,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC;YAClB,IAAI,IAAI,CAAC,WAAW,IAAI,SAAS;gBAAE,MAAM,CAAC,IAAI,EAAE,EAAE,EAAE,WAAW,CAAC,CAAC;;gBAC5D,KAAK,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,UAAU,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,QAAQ,EAAE,iBAAiB,EAAE,IAAI,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC;YAC9H,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC7B,SAAS;QACX,CAAC;QACD,uEAAuE;QACvE,wDAAwD;QACxD,IAAI,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,GAAG,aAAa;YAAE,SAAS;QACxD,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;YACxB,KAAK,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC;gBACtB,SAAS,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,UAAU,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,QAAQ,EAAE,qBAAqB,EAAE,IAAI,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC;YACnI,CAAC;QACH,CAAC;IACH,CAAC;IAED,qEAAqE;IACrE,sEAAsE;IACtE,wEAAwE;IACxE,sEAAsE;IACtE,0EAA0E;IAC1E,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC/C,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,EAAE,GAAG,KAAK,CAAC;QAAE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK;YAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IACtF,MAAM,KAAK,GAAG,CAAC,CAAa,EAAU,EAAE;QACtC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACjE,OAAO,CAAC,IAAI,CAAC,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC;IACjI,CAAC,CAAC;IACF,MAAM,aAAa,GAAG,OAAO,CAAC,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;IAC/D,KAAK,IAAI,OAAO,GAAG,IAAI,EAAE,OAAO,GAAG,CAAC;QAClC,OAAO,GAAG,KAAK,CAAC;QAChB,MAAM,SAAS,GAAG,IAAI,GAAG,CAAiB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAChF,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBAAE,SAAS;YACvD,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC5E,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;gBAChC,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;QACH,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,OAAO,CAAC,EAAE,CAAC;YAChC,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAChF,IAAI,SAAS,KAAK,SAAS;gBAAE,SAAS;YACtC,MAAM,KAAK,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CACvD,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,SAAS,KAAK,IAAI,CAAC,SAAS;mBAC1E,EAAE,CAAC,SAAS,KAAK,IAAI,CAAC,SAAS,IAAI,KAAK,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,CAClE,CAAC;YACF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACvB,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;gBACpC,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;QACH,CAAC;IACH,CAAC;IAED,kDAAkD;IAClD,MAAM,MAAM,GAAG,CAAC,CAAa,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,oBAAoB,CAAC,CAAC;IAC1E,MAAM,OAAO,GAAG,CAAC,CAAa,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,cAAc,EAAE,CAAC;IACxE,MAAM,aAAa,GAAG,OAAO,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;IACpE,MAAM,WAAW,GAAG,OAAO,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;IAChE,KAAK,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,aAAa,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAChC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,EAAE,MAAM,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACpG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,EAAE,GAAG,SAAS,CAAC,EAAE,CAAC;QACzC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAAE,SAAS;QACvD,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnB,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACnC,CAAC;IAED,oEAAoE;IACpE,MAAM,MAAM,GAAG,IAAI,GAAG,CAAiB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC7E,MAAM,SAAS,GAAG,CAAC,GAAsB,EAAE,GAAY,EAAU,EAAE,CACjE,CAAC,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACvF,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;QAC3B,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW;YAAE,SAAS;QACxD,KAAK,MAAM,EAAE,IAAI,KAAK,EAAE,CAAC;YACvB,IAAI,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,WAAW,IAAI,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI;gBAAE,SAAS;YAC7E,MAAM,UAAU,GAAG,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC;YAC5E,IAAI,UAAU,GAAG,GAAG;gBAAE,SAAS;YAC/B,MAAM,EAAE,GAAG,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC/C,MAAM,EAAE,GAAG,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YAC5C,IAAI,OAAO,GAA6B,SAAS,CAAC;YAClD,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;gBACb,IAAI,SAAS,CAAC,EAAE,EAAE,IAAI,CAAC,KAAK,SAAS,CAAC,EAAE,EAAE,KAAK,CAAC;oBAAE,SAAS;gBAC3D,OAAO,GAAG,OAAO,CAAC;YACpB,CAAC;YACD,UAAU,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,UAAU,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,QAAQ,EAAE,cAAc,EAAE,IAAI,EAAE,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC,CAAC;QAC/G,CAAC;IACH,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACtE,OAAO;QACL,IAAI,EAAE,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE;QACjH,KAAK;QACL,UAAU;KACX,CAAC;AACJ,CAAC"}

package/dist/stable-ids/nodes.d.ts

@@ -0,0 +1,32 @@
+/**
+ * `node` ids for `ids@0.1`: a body id plus a local index.
+ *
+ * Today's CFG blocks, DFG defs and uses and call sites carry sequential ids
+ * per file, so an edit anywhere shifts every id after it. Here each IR node
+ * is assigned to the innermost declaration whose span encloses it, and its
+ * index counts only the nodes of the same array inside that same body. An
+ * edit to one function therefore leaves every other function's node ids
+ * unchanged, and the index is safe because a body id names one body version.
+ */
+import type { CFG, CallInfo, DFG } from '../types/index.js';
+import type { StableDecl, StableIdFile, StableNodeIds } from './types.js';
+/** The parts of a `CircleIR` that node ids key. */
+export interface NodeIdSource {
+    cfg?: Pick<CFG, 'blocks'>;
+    dfg?: Pick<DFG, 'defs' | 'uses'>;
+    calls?: readonly CallInfo[];
+}
+/**
+ * The innermost declaration (with a body) enclosing a 1-based line and a
+ * 0-based column, or `null`.
+ */
+export declare function declLocator(file: StableIdFile): (line: number, column?: number) => StableDecl | null;
+/**
+ * Node ids parallel to the IR arrays: `<body_id>/b<n>` for CFG blocks,
+ * `/d<n>` and `/u<n>` for DFG defs and uses, `/c<n>` for call sites, where
+ * `n` counts that kind inside that body in array order. Positions are
+ * matched by line and, where the IR carries one, column; a CFG block goes to
+ * the innermost declaration that encloses all of its lines.
+ */
+export declare function assignNodeIds(file: StableIdFile, ir: NodeIdSource): StableNodeIds;
+//# sourceMappingURL=nodes.d.ts.map

package/dist/stable-ids/nodes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"nodes.d.ts","sourceRoot":"","sources":["../../src/stable-ids/nodes.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,KAAK,EAAE,UAAU,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAE1E,mDAAmD;AACnD,MAAM,WAAW,YAAY;IAC3B,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IAC1B,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAAC,CAAC;IACjC,KAAK,CAAC,EAAE,SAAS,QAAQ,EAAE,CAAC;CAC7B;AAmDD;;;GAGG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,YAAY,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,KAAK,UAAU,GAAG,IAAI,CAGpG;AAaD;;;;;;GAMG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,YAAY,EAAE,EAAE,EAAE,YAAY,GAAG,aAAa,CAQjF"}

package/dist/stable-ids/nodes.js

@@ -0,0 +1,92 @@
+/**
+ * `node` ids for `ids@0.1`: a body id plus a local index.
+ *
+ * Today's CFG blocks, DFG defs and uses and call sites carry sequential ids
+ * per file, so an edit anywhere shifts every id after it. Here each IR node
+ * is assigned to the innermost declaration whose span encloses it, and its
+ * index counts only the nodes of the same array inside that same body. An
+ * edit to one function therefore leaves every other function's node ids
+ * unchanged, and the index is safe because a body id names one body version.
+ */
+/** Position compare on (line, column); `column` absent means the whole line. */
+function encloses(d, line, column) {
+    if (line < d.start_line || line > d.end_line)
+        return false;
+    if (column === undefined)
+        return true;
+    if (line === d.start_line && column < d.start_column)
+        return false;
+    if (line === d.end_line && column >= d.end_column)
+        return false;
+    return true;
+}
+/** Ranks spans so the innermost declaration wins; on a tie, the later one in source order. */
+function spanSize(d) {
+    return (d.end_line - d.start_line) * 1_000_000 + (d.end_column - d.start_column);
+}
+class Locator {
+    spans;
+    constructor(file) {
+        this.spans = file.decls
+            .filter(d => d.body_hash !== '')
+            .map(decl => ({ decl, size: spanSize(decl) }));
+    }
+    /** Innermost declaration enclosing the position. */
+    at(line, column) {
+        let best = null;
+        for (const s of this.spans) {
+            if (!encloses(s.decl, line, column))
+                continue;
+            if (best === null || s.size <= best.size)
+                best = s;
+        }
+        return best?.decl ?? null;
+    }
+    /** Innermost declaration enclosing a whole line range. */
+    range(start, end) {
+        let best = null;
+        for (const s of this.spans) {
+            if (start < s.decl.start_line || end > s.decl.end_line)
+                continue;
+            if (best === null || s.size <= best.size)
+                best = s;
+        }
+        return best?.decl ?? null;
+    }
+}
+/**
+ * The innermost declaration (with a body) enclosing a 1-based line and a
+ * 0-based column, or `null`.
+ */
+export function declLocator(file) {
+    const loc = new Locator(file);
+    return (line, column) => loc.at(line, column);
+}
+function keyAll(items, tag, find) {
+    const counters = new Map();
+    return items.map(item => {
+        const decl = find(item);
+        if (!decl)
+            return null;
+        const n = counters.get(decl.body_id) ?? 0;
+        counters.set(decl.body_id, n + 1);
+        return `${decl.body_id}/${tag}${n}`;
+    });
+}
+/**
+ * Node ids parallel to the IR arrays: `<body_id>/b<n>` for CFG blocks,
+ * `/d<n>` and `/u<n>` for DFG defs and uses, `/c<n>` for call sites, where
+ * `n` counts that kind inside that body in array order. Positions are
+ * matched by line and, where the IR carries one, column; a CFG block goes to
+ * the innermost declaration that encloses all of its lines.
+ */
+export function assignNodeIds(file, ir) {
+    const loc = new Locator(file);
+    return {
+        cfg_blocks: keyAll(ir.cfg?.blocks ?? [], 'b', b => loc.range(b.start_line, b.end_line)),
+        dfg_defs: keyAll(ir.dfg?.defs ?? [], 'd', d => loc.at(d.line, d.column)),
+        dfg_uses: keyAll(ir.dfg?.uses ?? [], 'u', u => loc.at(u.line, u.column)),
+        calls: keyAll(ir.calls ?? [], 'c', c => loc.at(c.location.line, c.location.column)),
+    };
+}
+//# sourceMappingURL=nodes.js.map

package/dist/stable-ids/nodes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"nodes.js","sourceRoot":"","sources":["../../src/stable-ids/nodes.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAiBH,gFAAgF;AAChF,SAAS,QAAQ,CAAC,CAAa,EAAE,IAAY,EAAE,MAA0B;IACvE,IAAI,IAAI,GAAG,CAAC,CAAC,UAAU,IAAI,IAAI,GAAG,CAAC,CAAC,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC3D,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACtC,IAAI,IAAI,KAAK,CAAC,CAAC,UAAU,IAAI,MAAM,GAAG,CAAC,CAAC,YAAY;QAAE,OAAO,KAAK,CAAC;IACnE,IAAI,IAAI,KAAK,CAAC,CAAC,QAAQ,IAAI,MAAM,IAAI,CAAC,CAAC,UAAU;QAAE,OAAO,KAAK,CAAC;IAChE,OAAO,IAAI,CAAC;AACd,CAAC;AAED,8FAA8F;AAC9F,SAAS,QAAQ,CAAC,CAAa;IAC7B,OAAO,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,UAAU,CAAC,GAAG,SAAS,GAAG,CAAC,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC;AACnF,CAAC;AAED,MAAM,OAAO;IACM,KAAK,CAAS;IAE/B,YAAY,IAAkB;QAC5B,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK;aACpB,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,EAAE,CAAC;aAC/B,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IACnD,CAAC;IAED,oDAAoD;IACpD,EAAE,CAAC,IAAY,EAAE,MAAe;QAC9B,IAAI,IAAI,GAAgB,IAAI,CAAC;QAC7B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC3B,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC;gBAAE,SAAS;YAC9C,IAAI,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI;gBAAE,IAAI,GAAG,CAAC,CAAC;QACrD,CAAC;QACD,OAAO,IAAI,EAAE,IAAI,IAAI,IAAI,CAAC;IAC5B,CAAC;IAED,0DAA0D;IAC1D,KAAK,CAAC,KAAa,EAAE,GAAW;QAC9B,IAAI,IAAI,GAAgB,IAAI,CAAC;QAC7B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC3B,IAAI,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,UAAU,IAAI,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,QAAQ;gBAAE,SAAS;YACjE,IAAI,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI;gBAAE,IAAI,GAAG,CAAC,CAAC;QACrD,CAAC;QACD,OAAO,IAAI,EAAE,IAAI,IAAI,IAAI,CAAC;IAC5B,CAAC;CACF;AAED;;;GAGG;AACH,MAAM,UAAU,WAAW,CAAC,IAAkB;IAC5C,MAAM,GAAG,GAAG,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9B,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;AAChD,CAAC;AAED,SAAS,MAAM,CAAI,KAAmB,EAAE,GAAW,EAAE,IAAoC;IACvF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,OAAO,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE;QACtB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAI,CAAC,IAAI;YAAE,OAAO,IAAI,CAAC;QACvB,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC1C,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAClC,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAAC,IAAkB,EAAE,EAAgB;IAChE,MAAM,GAAG,GAAG,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9B,OAAO;QACL,UAAU,EAAE,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,MAAM,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC;QACvF,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,IAAI,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;QACxE,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,IAAI,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;QACxE,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;KACpF,CAAC;AACJ,CAAC"}

package/dist/stable-ids/normalize.d.ts

@@ -0,0 +1,35 @@
+/**
+ * Body normalization for `ids@0.1`: the leaf tokens of a syntax subtree with
+ * whitespace, comments and formatting removed, identifiers and literals kept.
+ *
+ * Formatting a formatter may change and that cannot change meaning is
+ * dropped: statement-terminating `;`, a trailing `,` before a closing bracket,
+ * the quote style of a plain string, the parentheses around a lone untyped
+ * arrow-function parameter, and whitespace inside JSX text.
+ */
+import type { Node } from '../core/parser.js';
+export interface EmitOptions {
+    /** Subtrees left out entirely (by `node.id`). */
+    skip?: ReadonlySet<number>;
+    /** Subtrees replaced by one placeholder token (`''` drops the subtree). */
+    replace?: ReadonlyMap<number, string>;
+    /**
+     * Node types whose extent is marked with `⟨` … `⟩` — for grammars where
+     * indentation carries the structure (a Python `block`), which leaf tokens
+     * alone would lose.
+     */
+    wrap?: ReadonlySet<string>;
+}
+/** Named children, comments excluded. */
+export declare function namedChildren(node: Node): Node[];
+/** The normalized token stream of `nodes`, in order. */
+export declare function bodyTokens(nodes: readonly Node[], opts?: EmitOptions): string[];
+/** Concatenate tokens, keeping a space only where two words would fuse. */
+export declare function joinTokens(parts: readonly string[]): string;
+/**
+ * A type annotation serialized canonically: object-type members and the arms
+ * of a union or intersection are sorted, so `{b: string; a: number}` and
+ * `{a: number, b: string}` — or `A | B` and `B | A` — serialize the same.
+ */
+export declare function canonicalType(node: Node): string;
+//# sourceMappingURL=normalize.d.ts.map

package/dist/stable-ids/normalize.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"normalize.d.ts","sourceRoot":"","sources":["../../src/stable-ids/normalize.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAE9C,MAAM,WAAW,WAAW;IAC1B,iDAAiD;IACjD,IAAI,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC3B,2EAA2E;IAC3E,OAAO,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtC;;;;OAIG;IACH,IAAI,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAC5B;AAqBD,yCAAyC;AACzC,wBAAgB,aAAa,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,EAAE,CAOhD;AAmCD,wDAAwD;AACxD,wBAAgB,UAAU,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,EAAE,IAAI,GAAE,WAAgB,GAAG,MAAM,EAAE,CAenF;AAKD,2EAA2E;AAC3E,wBAAgB,UAAU,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,CAQ3D;AASD;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,CA4ChD"}