circle-ir 4.16.1 → 4.18.1

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"}

package/dist/stable-ids/normalize.js

@@ -0,0 +1,174 @@
+/**
+ * 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.
+ */
+const CLOSERS = new Set([')', ']', '}', '>']);
+/** Comment node types across the grammars (`comment`; Java's `line_comment` and `block_comment`). */
+const COMMENTS = new Set(['comment', 'line_comment', 'block_comment']);
+/** True for a parenthesised parameter list that holds one bare, untyped identifier. */
+function isLoneArrowParam(node) {
+    if (node.type !== 'formal_parameters' || node.parent?.type !== 'arrow_function')
+        return null;
+    const params = namedChildren(node);
+    if (params.length !== 1)
+        return null;
+    const p = params[0];
+    if (p.type === 'identifier')
+        return p;
+    if (p.type === 'required_parameter' && p.namedChildCount === 1) {
+        const pattern = p.childForFieldName('pattern');
+        if (pattern?.type === 'identifier')
+            return pattern;
+    }
+    return null;
+}
+/** Named children, comments excluded. */
+export function namedChildren(node) {
+    const out = [];
+    for (let i = 0; i < node.namedChildCount; i++) {
+        const c = node.namedChild(i);
+        if (c && !COMMENTS.has(c.type))
+            out.push(c);
+    }
+    return out;
+}
+function emit(node, opts, out) {
+    const replaced = opts.replace?.get(node.id);
+    if (replaced !== undefined) {
+        if (replaced !== '')
+            out.push(replaced);
+        return;
+    }
+    if (opts.skip?.has(node.id))
+        return;
+    const type = node.type;
+    if (COMMENTS.has(type) || type === 'hash_bang_line')
+        return;
+    const lone = isLoneArrowParam(node);
+    if (lone) {
+        emit(lone, opts, out);
+        return;
+    }
+    if (node.childCount === 0) {
+        let text = node.text;
+        if (type === 'jsx_text')
+            text = text.replace(/\s+/g, ' ').trim();
+        if (text === '')
+            return;
+        if ((text === "'" || text === '"') && node.parent?.type === 'string')
+            text = '"';
+        out.push(text);
+        return;
+    }
+    const wrapped = opts.wrap?.has(type) === true;
+    if (wrapped)
+        out.push('⟨');
+    for (let i = 0; i < node.childCount; i++) {
+        const c = node.child(i);
+        if (c)
+            emit(c, opts, out);
+    }
+    if (wrapped)
+        out.push('⟩');
+}
+/** The normalized token stream of `nodes`, in order. */
+export function bodyTokens(nodes, opts = {}) {
+    const raw = [];
+    for (const n of nodes)
+        emit(n, opts, raw);
+    const out = [];
+    for (let i = 0; i < raw.length; i++) {
+        const t = raw[i];
+        if (t === ';')
+            continue;
+        if (t === ',') {
+            let j = i + 1;
+            while (j < raw.length && raw[j] === ';')
+                j++;
+            if (j < raw.length && CLOSERS.has(raw[j]))
+                continue;
+        }
+        out.push(t);
+    }
+    return out;
+}
+const WORD_END = /[\w$#]$/;
+const WORD_START = /^[\w$#]/;
+/** Concatenate tokens, keeping a space only where two words would fuse. */
+export function joinTokens(parts) {
+    let s = '';
+    for (const p of parts) {
+        if (p === '')
+            continue;
+        if (s !== '' && WORD_END.test(s) && WORD_START.test(p))
+            s += ' ';
+        s += p;
+    }
+    return s;
+}
+function flatten(node, type, acc) {
+    for (const c of namedChildren(node)) {
+        if (c.type === type)
+            flatten(c, type, acc);
+        else
+            acc.push(c);
+    }
+}
+/**
+ * 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 function canonicalType(node) {
+    switch (node.type) {
+        case 'type_annotation':
+        case 'opting_type_annotation':
+        case 'omitting_type_annotation': {
+            const inner = namedChildren(node);
+            return inner.length === 1 ? canonicalType(inner[0]) : joinTokens(bodyTokens([node]));
+        }
+        case 'formal_parameters': {
+            // Parameters of a function or constructor type: types only, never names.
+            const params = namedChildren(node).map(p => {
+                const type = p.childForFieldName('type');
+                const pattern = p.childForFieldName('pattern');
+                const rest = pattern?.type === 'rest_pattern' || p.type === 'rest_pattern' ? '...' : '';
+                const optional = p.type === 'optional_parameter' ? '?' : '';
+                return rest + (type ? canonicalType(type) : '_') + optional;
+            });
+            return '(' + params.join(',') + ')';
+        }
+        case 'object_type': {
+            const members = namedChildren(node).map(canonicalType);
+            members.sort();
+            return '{' + members.join(';') + '}';
+        }
+        case 'union_type':
+        case 'intersection_type': {
+            const arms = [];
+            flatten(node, node.type, arms);
+            const parts = arms.map(canonicalType).sort();
+            return parts.join(node.type === 'union_type' ? '|' : '&');
+        }
+        default: {
+            if (node.childCount === 0)
+                return node.text;
+            const parts = [];
+            for (let i = 0; i < node.childCount; i++) {
+                const c = node.child(i);
+                if (!c || COMMENTS.has(c.type))
+                    continue;
+                parts.push(c.isNamed ? canonicalType(c) : c.text);
+            }
+            // A trailing comma before a closer is formatting.
+            const kept = parts.filter((p, i) => !(p === ',' && CLOSERS.has(parts[i + 1] ?? '')));
+            return joinTokens(kept);
+        }
+    }
+}
+//# sourceMappingURL=normalize.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"normalize.js","sourceRoot":"","sources":["../../src/stable-ids/normalize.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAiBH,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AAE9C,qGAAqG;AACrG,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,cAAc,EAAE,eAAe,CAAC,CAAC,CAAC;AAEvE,uFAAuF;AACvF,SAAS,gBAAgB,CAAC,IAAU;IAClC,IAAI,IAAI,CAAC,IAAI,KAAK,mBAAmB,IAAI,IAAI,CAAC,MAAM,EAAE,IAAI,KAAK,gBAAgB;QAAE,OAAO,IAAI,CAAC;IAC7F,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IACnC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACrC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACpB,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,CAAC,CAAC;IACtC,IAAI,CAAC,CAAC,IAAI,KAAK,oBAAoB,IAAI,CAAC,CAAC,eAAe,KAAK,CAAC,EAAE,CAAC;QAC/D,MAAM,OAAO,GAAG,CAAC,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC;QAC/C,IAAI,OAAO,EAAE,IAAI,KAAK,YAAY;YAAE,OAAO,OAAO,CAAC;IACrD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,yCAAyC;AACzC,MAAM,UAAU,aAAa,CAAC,IAAU;IACtC,MAAM,GAAG,GAAW,EAAE,CAAC;IACvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC,EAAE,EAAE,CAAC;QAC9C,MAAM,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,IAAI,CAAC,IAAU,EAAE,IAAiB,EAAE,GAAa;IACxD,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC5C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,IAAI,QAAQ,KAAK,EAAE;YAAE,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACxC,OAAO;IACT,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAAE,OAAO;IACpC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,KAAK,gBAAgB;QAAE,OAAO;IAE5D,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,IAAI,EAAE,CAAC;QACT,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QACtB,OAAO;IACT,CAAC;IAED,IAAI,IAAI,CAAC,UAAU,KAAK,CAAC,EAAE,CAAC;QAC1B,IAAI,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;QACrB,IAAI,IAAI,KAAK,UAAU;YAAE,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QACjE,IAAI,IAAI,KAAK,EAAE;YAAE,OAAO;QACxB,IAAI,CAAC,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,IAAI,KAAK,QAAQ;YAAE,IAAI,GAAG,GAAG,CAAC;QACjF,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACf,OAAO;IACT,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC;IAC9C,IAAI,OAAO;QAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACxB,IAAI,CAAC;YAAE,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IAC5B,CAAC;IACD,IAAI,OAAO;QAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC7B,CAAC;AAED,wDAAwD;AACxD,MAAM,UAAU,UAAU,CAAC,KAAsB,EAAE,IAAI,GAAgB,EAAE;IACvE,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,CAAC,IAAI,KAAK;QAAE,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IAC1C,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QACjB,IAAI,CAAC,KAAK,GAAG;YAAE,SAAS;QACxB,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACd,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACd,OAAO,CAAC,GAAG,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG;gBAAE,CAAC,EAAE,CAAC;YAC7C,IAAI,CAAC,GAAG,GAAG,CAAC,MAAM,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBAAE,SAAS;QACtD,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACd,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,QAAQ,GAAG,SAAS,CAAC;AAC3B,MAAM,UAAU,GAAG,SAAS,CAAC;AAE7B,2EAA2E;AAC3E,MAAM,UAAU,UAAU,CAAC,KAAwB;IACjD,IAAI,CAAC,GAAG,EAAE,CAAC;IACX,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,KAAK,EAAE;YAAE,SAAS;QACvB,IAAI,CAAC,KAAK,EAAE,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;YAAE,CAAC,IAAI,GAAG,CAAC;QACjE,CAAC,IAAI,CAAC,CAAC;IACT,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,OAAO,CAAC,IAAU,EAAE,IAAY,EAAE,GAAW;IACpD,KAAK,MAAM,CAAC,IAAI,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI;YAAE,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;;YACtC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnB,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,IAAU;IACtC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,iBAAiB,CAAC;QACvB,KAAK,wBAAwB,CAAC;QAC9B,KAAK,0BAA0B,EAAE,CAAC;YAChC,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;YAClC,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvF,CAAC;QACD,KAAK,mBAAmB,EAAE,CAAC;YACzB,yEAAyE;YACzE,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;gBACzC,MAAM,IAAI,GAAG,CAAC,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;gBACzC,MAAM,OAAO,GAAG,CAAC,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC;gBAC/C,MAAM,IAAI,GAAG,OAAO,EAAE,IAAI,KAAK,cAAc,IAAI,CAAC,CAAC,IAAI,KAAK,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;gBACxF,MAAM,QAAQ,GAAG,CAAC,CAAC,IAAI,KAAK,oBAAoB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC5D,OAAO,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC;YAC9D,CAAC,CAAC,CAAC;YACH,OAAO,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC;QACtC,CAAC;QACD,KAAK,aAAa,EAAE,CAAC;YACnB,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;YACvD,OAAO,CAAC,IAAI,EAAE,CAAC;YACf,OAAO,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC;QACvC,CAAC;QACD,KAAK,YAAY,CAAC;QAClB,KAAK,mBAAmB,EAAE,CAAC;YACzB,MAAM,IAAI,GAAW,EAAE,CAAC;YACxB,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,EAAE,CAAC;YAC7C,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAC5D,CAAC;QACD,SAAS,CAAC;YACR,IAAI,IAAI,CAAC,UAAU,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC,IAAI,CAAC;YAC5C,MAAM,KAAK,GAAa,EAAE,CAAC;YAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;gBACzC,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBACxB,IAAI,CAAC,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;oBAAE,SAAS;gBACzC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACpD,CAAC;YACD,kDAAkD;YAClD,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YACrF,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/stable-ids/parse-errors.d.ts

@@ -0,0 +1,24 @@
+/**
+ * The first parse error in a tree, in source order, as a `ParseErrorSite`.
+ *
+ * Stable ids call this for `StableIdFile.parseError`, so a consumer that
+ * withholds an answer because a file is partial can say which file, where,
+ * and what the parser could not read (cognium-dev#1004).
+ */
+import type { Node } from '../core/parser.js';
+import type { ParseErrorSite } from './types.js';
+/**
+ * The first `ERROR` or `MISSING` node for which `ignore` is false, in source
+ * order, or `undefined` when there is none.
+ */
+export declare function firstParseErrorNode(root: Node, ignore?: (n: Node) => boolean): Node | undefined;
+/** A tree node as a `ParseErrorSite`. */
+export declare function parseErrorSite(n: Node): ParseErrorSite;
+/** The first parse error in the tree, or `undefined` for a clean parse. */
+export declare function firstParseError(root: Node, ignore?: (n: Node) => boolean): ParseErrorSite | undefined;
+/** `partial` and, when set, `parseError` for a `StableIdFile`, from any error in the tree. */
+export declare function partialOf(root: Node): {
+    partial: boolean;
+    parseError?: ParseErrorSite;
+};
+//# sourceMappingURL=parse-errors.d.ts.map

package/dist/stable-ids/parse-errors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parse-errors.d.ts","sourceRoot":"","sources":["../../src/stable-ids/parse-errors.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAC9C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAEjD;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,GAAE,CAAC,CAAC,EAAE,IAAI,KAAK,OAAqB,GAAG,IAAI,GAAG,SAAS,CAiB5G;AAED,yCAAyC;AACzC,wBAAgB,cAAc,CAAC,CAAC,EAAE,IAAI,GAAG,cAAc,CAQtD;AAED,2EAA2E;AAC3E,wBAAgB,eAAe,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,KAAK,OAAO,GAAG,cAAc,GAAG,SAAS,CAGrG;AAED,8FAA8F;AAC9F,wBAAgB,SAAS,CAAC,IAAI,EAAE,IAAI,GAAG;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,UAAU,CAAC,EAAE,cAAc,CAAA;CAAE,CAGvF"}

package/dist/stable-ids/parse-errors.js

@@ -0,0 +1,46 @@
+/**
+ * The first `ERROR` or `MISSING` node for which `ignore` is false, in source
+ * order, or `undefined` when there is none.
+ */
+export function firstParseErrorNode(root, ignore = () => false) {
+    if (!root.hasError)
+        return undefined;
+    const stack = [root];
+    while (stack.length > 0) {
+        const n = stack.pop();
+        // A root the grammar gave up on is itself an ERROR; the useful site is inside it.
+        if ((n.type === 'ERROR' || n.isMissing) && n !== root) {
+            if (!ignore(n))
+                return n;
+            continue;
+        }
+        // Push in reverse so the leftmost child is visited first.
+        for (let i = n.childCount - 1; i >= 0; i--) {
+            const c = n.child(i);
+            if (c && (c.hasError || c.isMissing))
+                stack.push(c);
+        }
+    }
+    return root.type === 'ERROR' && !ignore(root) ? root : undefined;
+}
+/** A tree node as a `ParseErrorSite`. */
+export function parseErrorSite(n) {
+    return {
+        line: n.startPosition.row + 1,
+        column: n.startPosition.column + 1,
+        nodeKind: n.isMissing ? `MISSING ${n.type}` : 'ERROR',
+        // Directly under the root (even a root the grammar gave up on): the program.
+        parent: n.parent && n.parent.parent ? n.parent.type : 'program',
+    };
+}
+/** The first parse error in the tree, or `undefined` for a clean parse. */
+export function firstParseError(root, ignore) {
+    const n = firstParseErrorNode(root, ignore);
+    return n ? parseErrorSite(n) : undefined;
+}
+/** `partial` and, when set, `parseError` for a `StableIdFile`, from any error in the tree. */
+export function partialOf(root) {
+    const parseError = firstParseError(root);
+    return parseError ? { partial: true, parseError } : { partial: false };
+}
+//# sourceMappingURL=parse-errors.js.map

package/dist/stable-ids/parse-errors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parse-errors.js","sourceRoot":"","sources":["../../src/stable-ids/parse-errors.ts"],"names":[],"mappings":"AAUA;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAU,EAAE,MAAM,GAAyB,GAAG,EAAE,CAAC,KAAK;IACxF,IAAI,CAAC,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IACrC,MAAM,KAAK,GAAW,CAAC,IAAI,CAAC,CAAC;IAC7B,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QACvB,kFAAkF;QAClF,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YACtD,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;gBAAE,OAAO,CAAC,CAAC;YACzB,SAAS;QACX,CAAC;QACD,0DAA0D;QAC1D,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC,UAAU,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3C,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YACrB,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,SAAS,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtD,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AACnE,CAAC;AAED,yCAAyC;AACzC,MAAM,UAAU,cAAc,CAAC,CAAO;IACpC,OAAO;QACL,IAAI,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC;QAC7B,MAAM,EAAE,CAAC,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC;QAClC,QAAQ,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,OAAO;QACrD,6EAA6E;QAC7E,MAAM,EAAE,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;KAChE,CAAC;AACJ,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,eAAe,CAAC,IAAU,EAAE,MAA6B;IACvE,MAAM,CAAC,GAAG,mBAAmB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC5C,OAAO,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAC3C,CAAC;AAED,8FAA8F;AAC9F,MAAM,UAAU,SAAS,CAAC,IAAU;IAClC,MAAM,UAAU,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IACzC,OAAO,UAAU,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AACzE,CAAC"}

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

@@ -0,0 +1,27 @@
+/**
+ * `ids@0.1` declaration and body ids for Python.
+ *
+ * Declarations: the module (its dotted name); functions; classes (kind
+ * `type`); methods; module- and class-level assignments to a plain name
+ * (kind `field`). Functions, classes and lambdas inside a body are keyed by
+ * their enclosing declaration plus a structural path and flagged
+ * `unstable:anonymous`.
+ *
+ * Module name: the file's dotted path — `src/` dropped, `__init__` naming
+ * its package — unless the caller passes one. Signature: arity plus
+ * annotations, parameter names never — `(_,int?,*_,_?,**_)->str` — so a
+ * parameter rename does not re-key a function. Decorators are body.
+ *
+ * Bodies: leaf tokens as in the other languages, with each `block` marked so
+ * that indentation, which carries Python's structure, is not lost; comments
+ * and docstrings are not body.
+ */
+import type { Node, Tree } from '../core/parser.js';
+import { type StableIdFile, type StableIdOptions } from './types.js';
+/** The dotted module name for a repository-relative `.py` path. */
+export declare function pythonModuleName(filePath: string): string;
+/** `(_,int?,*_,**_)->T` — names never, annotations and defaults (as `?`) always. */
+export declare function pythonSignature(fn: Node): string;
+/** Derive `ids@0.1` ids from an already-parsed Python tree. */
+export declare function derivePythonIds(tree: Tree, filePath: string, options?: StableIdOptions): StableIdFile;
+//# sourceMappingURL=python.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"python.d.ts","sourceRoot":"","sources":["../../src/stable-ids/python.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAGH,OAAO,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAGpD,OAAO,EAA0D,KAAK,YAAY,EAAE,KAAK,eAAe,EAAE,MAAM,YAAY,CAAC;AAK7H,mEAAmE;AACnE,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAMzD;AAMD,oFAAoF;AACpF,wBAAgB,eAAe,CAAC,EAAE,EAAE,IAAI,GAAG,MAAM,CAuBhD;AAyHD,+DAA+D;AAC/D,wBAAgB,eAAe,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,GAAE,eAAoB,GAAG,YAAY,CAMzG"}

package/dist/stable-ids/python.js

@@ -0,0 +1,212 @@
+/**
+ * `ids@0.1` declaration and body ids for Python.
+ *
+ * Declarations: the module (its dotted name); functions; classes (kind
+ * `type`); methods; module- and class-level assignments to a plain name
+ * (kind `field`). Functions, classes and lambdas inside a body are keyed by
+ * their enclosing declaration plus a structural path and flagged
+ * `unstable:anonymous`.
+ *
+ * Module name: the file's dotted path — `src/` dropped, `__init__` naming
+ * its package — unless the caller passes one. Signature: arity plus
+ * annotations, parameter names never — `(_,int?,*_,_?,**_)->str` — so a
+ * parameter rename does not re-key a function. Decorators are body.
+ *
+ * Bodies: leaf tokens as in the other languages, with each `block` marked so
+ * that indentation, which carries Python's structure, is not lost; comments
+ * and docstrings are not body.
+ */
+import { partialOf } from './parse-errors.js';
+import { Builder, placeholder } from './builder.js';
+import { bodyTokens, namedChildren } from './normalize.js';
+import { STABLE_ID_SCHEME } from './types.js';
+const WRAP = new Set(['block']);
+const NESTED = new Set(['function_definition', 'class_definition', 'lambda']);
+/** The dotted module name for a repository-relative `.py` path. */
+export function pythonModuleName(filePath) {
+    let p = filePath.replace(/\\/g, '/').replace(/^\.\//, '').replace(/\.pyi?$/, '');
+    if (p.startsWith('src/'))
+        p = p.slice(4);
+    const parts = p.split('/').filter(x => x !== '');
+    if (parts[parts.length - 1] === '__init__')
+        parts.pop();
+    return parts.join('.') || '__main__';
+}
+function compact(text) {
+    return text.replace(/\s+/g, '');
+}
+/** `(_,int?,*_,**_)->T` — names never, annotations and defaults (as `?`) always. */
+export function pythonSignature(fn) {
+    const params = fn.childForFieldName('parameters');
+    const out = [];
+    for (const p of params ? namedChildren(params) : []) {
+        switch (p.type) {
+            case 'identifier':
+                out.push('_');
+                break;
+            case 'typed_parameter': {
+                const inner = namedChildren(p)[0];
+                const t = compact(p.childForFieldName('type')?.text ?? '_');
+                out.push(inner?.type === 'list_splat_pattern' ? `*${t}` : inner?.type === 'dictionary_splat_pattern' ? `**${t}` : t);
+                break;
+            }
+            case 'default_parameter':
+                out.push('_?');
+                break;
+            case 'typed_default_parameter':
+                out.push(compact(p.childForFieldName('type')?.text ?? '_') + '?');
+                break;
+            case 'list_splat_pattern':
+                out.push('*_');
+                break;
+            case 'dictionary_splat_pattern':
+                out.push('**_');
+                break;
+            case 'keyword_separator':
+                out.push('*');
+                break;
+            case 'positional_separator':
+                out.push('/');
+                break;
+            default: out.push('_');
+        }
+    }
+    const ret = fn.childForFieldName('return_type');
+    return '(' + out.join(',') + ')' + (ret ? '->' + compact(ret.text) : '');
+}
+/** The docstring statement of a block, if it opens with one. */
+function docstring(block) {
+    const first = block ? namedChildren(block)[0] : undefined;
+    if (first?.type !== 'expression_statement')
+        return null;
+    const inner = namedChildren(first);
+    return inner.length === 1 && inner[0].type === 'string' ? first : null;
+}
+/** The definition a statement holds, and the node that carries its decorators. */
+function definitionOf(stmt) {
+    if (stmt.type === 'decorated_definition') {
+        const def = stmt.childForFieldName('definition');
+        return def ? { def, holder: stmt } : null;
+    }
+    if (stmt.type === 'function_definition' || stmt.type === 'class_definition')
+        return { def: stmt, holder: stmt };
+    return null;
+}
+class PythonExtractor {
+    b;
+    constructor(b) {
+        this.b = b;
+    }
+    tokens(nodes, skip, replace) {
+        return bodyTokens(nodes, { skip, replace, wrap: WRAP });
+    }
+    /** `self` is the declaration's own definition under its decorators: walked through, not declared again. */
+    nested(node, enclosing, exclude, path = '', self = null) {
+        const kids = namedChildren(node);
+        for (let i = 0; i < kids.length; i++) {
+            const c = kids[i];
+            if (exclude.has(c.id))
+                continue;
+            const p = path === '' ? `${i}` : `${path}.${i}`;
+            if (NESTED.has(c.type) && c.id !== self?.id)
+                this.declareNested(c, enclosing, p);
+            else
+                this.nested(c, enclosing, exclude, p, self);
+        }
+    }
+    declareNested(node, enclosing, path) {
+        const own = node.childForFieldName('name');
+        const name = own?.text ?? '<lambda>';
+        const kind = node.type === 'class_definition' ? 'type' : 'function';
+        let signature = '';
+        if (node.type === 'function_definition')
+            signature = pythonSignature(node);
+        else if (node.type === 'lambda') {
+            const params = node.childForFieldName('parameters');
+            signature = '(' + (params ? namedChildren(params).map(() => '_').join(',') : '') + ')';
+        }
+        const holder = node.parent?.type === 'decorated_definition' ? node.parent : node;
+        const decl = this.b.add(kind, name, `${enclosing.qualified_name}/${name}@${path}`, signature, holder, enclosing.id, ['unstable:anonymous']);
+        const skip = new Set(own ? [own.id] : []);
+        const doc = docstring(node.childForFieldName('body'));
+        if (doc)
+            skip.add(doc.id);
+        this.b.setBody(decl, this.tokens([holder], skip));
+        this.nested(holder, decl, skip, '', node);
+    }
+    /** One statement of a module or class body. */
+    statement(stmt, prefix, parent, inClass, replace) {
+        const d = definitionOf(stmt);
+        if (d) {
+            const nameNode = d.def.childForFieldName('name');
+            const name = nameNode?.text ?? '<unnamed>';
+            if (d.def.type === 'class_definition') {
+                this.type(d.def, d.holder, name, nameNode, prefix, parent, replace);
+                return;
+            }
+            const kind = inClass ? 'method' : 'function';
+            const signature = pythonSignature(d.def);
+            const decl = this.b.add(kind, name, prefix + name, signature, d.holder, parent.id);
+            replace.set(d.holder.id, placeholder(kind, name, signature));
+            const skip = new Set(nameNode ? [nameNode.id] : []);
+            const doc = docstring(d.def.childForFieldName('body'));
+            if (doc)
+                skip.add(doc.id);
+            this.b.setBody(decl, this.tokens([d.holder], skip));
+            this.nested(d.holder, decl, skip, '', d.def);
+            return;
+        }
+        if (stmt.type === 'expression_statement') {
+            const a = namedChildren(stmt)[0];
+            if (a?.type !== 'assignment')
+                return;
+            const left = a.childForFieldName('left');
+            if (left?.type !== 'identifier')
+                return;
+            const t = a.childForFieldName('type');
+            const signature = t ? compact(t.text) : '';
+            const decl = this.b.add('field', left.text, prefix + left.text, signature, stmt, parent.id);
+            replace.set(stmt.id, placeholder('field', left.text, signature));
+            const skip = new Set([left.id]);
+            this.b.setBody(decl, this.tokens([stmt], skip));
+            this.nested(stmt, decl, skip);
+        }
+    }
+    type(def, holder, name, nameNode, prefix, parent, replace) {
+        const supers = def.childForFieldName('superclasses');
+        const signature = supers ? compact(supers.text) : '';
+        const decl = this.b.add('type', name, prefix + name, signature, holder, parent.id);
+        replace.set(holder.id, placeholder('type', name, signature));
+        const inner = new Map();
+        const body = def.childForFieldName('body');
+        const doc = docstring(body);
+        for (const s of body ? namedChildren(body) : []) {
+            if (s !== doc)
+                this.statement(s, decl.qualified_name + '.', decl, true, inner);
+        }
+        const skip = new Set(nameNode ? [nameNode.id] : []);
+        if (doc)
+            skip.add(doc.id);
+        this.b.setBody(decl, this.tokens([holder], skip, inner));
+        this.nested(holder, decl, new Set([...skip, ...inner.keys()]), '', def);
+    }
+    module(root, decl) {
+        const replace = new Map();
+        const doc = docstring(root);
+        for (const s of namedChildren(root))
+            if (s !== doc)
+                this.statement(s, decl.qualified_name + ':', decl, false, replace);
+        const skip = new Set(doc ? [doc.id] : []);
+        this.b.setBody(decl, this.tokens([root], skip, replace));
+        this.nested(root, decl, new Set([...skip, ...replace.keys()]));
+    }
+}
+/** Derive `ids@0.1` ids from an already-parsed Python tree. */
+export function derivePythonIds(tree, filePath, options = {}) {
+    const module = options.module ?? pythonModuleName(filePath);
+    const builder = new Builder('python', options.keepBodyTokens === true);
+    const moduleDecl = builder.add('module', module, module, '', tree.rootNode, null);
+    new PythonExtractor(builder).module(tree.rootNode, moduleDecl);
+    return { scheme: STABLE_ID_SCHEME, file: filePath, language: 'python', module, decls: builder.decls, ...partialOf(tree.rootNode) };
+}
+//# sourceMappingURL=python.js.map