@untangle-code/parser-registry 0.0.0-stage → 0.1.0

package/dist/languages/shared/profile.d.ts

@@ -0,0 +1,149 @@
+/**
+ * Das SPRACHPROFIL: alles, was der vereinheitlichte Walk (`engine.ts`) ueber
+ * eine konkrete Sprache wissen muss — als Tabelle plus eine Handvoll Haken,
+ * nicht als verdrahtete Zeichenketten im Motor.
+ *
+ * WARUM (WP-220): bis Welle 6 stand die JS/TS-Familie fest im Motor. `engine.ts`
+ * nannte 48 verschiedene Knotenarten woertlich, `fingerprint.ts` kannte
+ * `"comment"` als Konstante, `chunks.ts` kannte `export_statement`. Solange es
+ * genau ein Backend und genau eine Sprachfamilie gab, war das billig und
+ * ehrlich. Mit dem zweiten Backend (`languages/astgrep-backend/`) waere daraus ein
+ * ZWEITER Motor neben dem ersten geworden — und damit das Gegenteil der These
+ * aus vision.md §1b, die wir belegen wollen: gleiche Leistung mit WENIGER
+ * Komplexitaet. Deshalb erst die Verallgemeinerung, dann das Backend.
+ *
+ * ZWEI ARTEN, EIN PROFIL ZU BAUEN:
+ *
+ *  1. `js-family-profile.ts` — die handgeschriebene Fassung fuer
+ *     TypeScript/JavaScript/TSX/JSX. Sie reicht die vorhandenen Detektoren
+ *     (`decisions.ts`, `import-detection.ts`, `call-detection.ts`,
+ *     `scope-naming.ts`, `scope-signature.ts`, `doc-binding.ts`) unveraendert
+ *     durch. Ihr Verhalten ist Zeile fuer Zeile das von vorher; die
+ *     Golden-Tests dieses Pakets sind der Beleg.
+ *
+ *  2. `table-profile.ts` — die tabellengetriebene Fassung fuer jede weitere
+ *     Sprache. Sie kennt keine Sprache, nur Rollen: welche Knotenart ist ein
+ *     Kommentar, welche oeffnet einen Scope, welche traegt eine Entscheidung.
+ *     Eine neue Sprache kostet damit eine Tabelle, keinen Motor.
+ *
+ * WAS HIER NICHT HINEINGEHOERT: alles Backendspezifische. Ein Profil sagt,
+ * WAS eine Knotenart bedeutet, nie, WIE der Baum entsteht. Das Backend steht
+ * in `create-adapter.ts` (tree-sitter) bzw. `languages/astgrep-backend/create-adapter.ts`.
+ */
+import type { LiteralFact, RawCall, RawImport, SourceRange, SupportLevel } from "@untangle-code/domain";
+import type { DecisionDetectionResult } from "./decisions.js";
+import type { FileTextContext } from "./node-utils.js";
+import type { ScopeNode } from "./scope-model.js";
+import type { SyntaxNode } from "./syntax.js";
+/** Die Fakten, die ein Knoten ausserhalb von Entscheidungen beitragen kann. */
+export interface ModuleFactSink {
+    imports: RawImport[];
+    calls: RawCall[];
+}
+/** Roh- und Normalform der Kopfzeile eines Symbols (siehe `signature.ts`). */
+export interface ScopeSignature {
+    raw?: string;
+    normalized: string;
+}
+/**
+ * Ein Sprachprofil. Jede Eigenschaft wird vom Walk GENAU EINMAL je Knoten
+ * gelesen; die Mengen sind deshalb `Set`s und keine Arrays.
+ */
+export interface LanguageProfile {
+    readonly languageId: string;
+    readonly extensions: readonly string[];
+    readonly supportLevel: SupportLevel;
+    /** Kommentarknoten: nie Operator, nie Operand, nie Teil eines Fingerabdrucks. */
+    readonly commentKinds: ReadonlySet<string>;
+    /**
+     * Knoten, deren ganzer Teilbaum als EIN Operand/Literal zaehlt (der Walk
+     * steigt nicht hinein). In der JS/TS-Familie `string` und `regex`.
+     */
+    readonly literalContainerKinds: ReadonlySet<string>;
+    /** Blattknoten, die ein Bezeichnervorkommen sind. */
+    readonly identifierLeafKinds: ReadonlySet<string>;
+    /** Blattknoten, die ein einfaches Literal sind. */
+    readonly simpleLiteralLeafKinds: ReadonlySet<string>;
+    /** Statische Textteile in einer Zeichenkettenschablone. */
+    readonly templateTextLeafKinds: ReadonlySet<string>;
+    /** Satzzeichenblaetter, die weder Operator noch Operand sind. */
+    readonly ignoredPunctuationKinds: ReadonlySet<string>;
+    /**
+     * Elternknotenarten, deren Blaetter reine Typsyntax sind (TS
+     * `predefined_type`): gezaehlt in `nodeKinds`, aber nie als Token.
+     */
+    readonly typeKeywordParentKinds: ReadonlySet<string>;
+    /** Funktionsartige Knoten — sie erzeugen zusaetzlich ein Lambda-Nesting. */
+    readonly functionLikeKinds: ReadonlySet<string>;
+    /** Literalart eines Container-Literals (`literalContainerKinds`). */
+    containerLiteralKind(kind: string): LiteralFact["literalKind"];
+    /** Literalart eines einfachen Literalblatts (`simpleLiteralLeafKinds`). */
+    simpleLiteralKind(kind: string): LiteralFact["literalKind"];
+    /** Deklaration oder Verweis? `fieldName` ist der Feldname im Elternknoten. */
+    identifierRole(fieldName: string | undefined, parentKind: string): "declaration" | "reference";
+    /**
+     * Braucht ein innerer Knoten dieser Art ueberhaupt einen Knotenwrapper?
+     *
+     * Das ist das Vorsieb aus WP-95: fuer die grosse Mehrheit der inneren Knoten
+     * (Ausdruecke, Bloecke, Anweisungslisten) faellt die Grenzueberquerung
+     * vollstaendig weg. Wer hier `true` zurueckgibt, bezahlt je Knoten — beim
+     * ast-grep-Backend deutlich mehr als bei tree-sitter.
+     */
+    needsNode(kind: string): boolean;
+    /** Welche Art von Scope oeffnet dieser Knoten — oder keinen (`null`)? */
+    scopeKindOf(node: SyntaxNode): ScopeNode["kind"] | null;
+    /**
+     * Unterdrueckt einen sonst geoeffneten Scope (JS: ein Feld, dessen Wert
+     * selbst eine Funktion ist — die Funktion bekommt den Scope, nicht das Feld).
+     */
+    suppressesScope(node: SyntaxNode): boolean;
+    scopeName(node: SyntaxNode): string;
+    /**
+     * Ein Namensteil, der VOR den Scope-Namen gehoert, aber nicht aus einem
+     * Elternscope stammt (WP-237).
+     *
+     * Gos Methoden haengen nicht in ihrem Typ, sondern tragen ihn als Feld:
+     * `func (a *A) Run()` ist ein Geschwister von `type A struct{}`, kein Kind.
+     * Ohne diesen Zusatz heissen `(*A).Run` und `(*B).Run` beide `Run`, und der
+     * Symbolgraph haelt zwei verschiedene Methoden fuer dieselbe — eine
+     * Impact-Analyse auf einer Go-Codebasis waere damit schlicht falsch.
+     *
+     * Rueckgabe `undefined` heisst: dieser Knoten braucht keinen Zusatz.
+     */
+    scopeQualifier?(node: SyntaxNode): string | undefined;
+    scopeSignature(node: SyntaxNode, kind: ScopeNode["kind"], name: string): ScopeSignature;
+    docRange(node: SyntaxNode, ctx: FileTextContext): SourceRange | undefined;
+    visibility(node: SyntaxNode, name: string): string | undefined;
+    exportedNames(node: SyntaxNode, name: string): string[];
+    detectDecisionAndNesting(node: SyntaxNode): DecisionDetectionResult;
+    /**
+     * Importe und Aufrufe dieses Knotens. Schreibt DIREKT in `sink`, statt ein
+     * Ergebnisobjekt zu bauen: der Haken laeuft im Walk, und ein Objekt je
+     * Aufrufknoten waere reiner Muell fuer den Sammler.
+     */
+    collectModuleFacts(node: SyntaxNode, kind: string, callerScopeId: string, ctx: FileTextContext, sink: ModuleFactSink): void;
+    /**
+     * Huellknoten, deren Bytes zum Symbol gehoeren (JS/TS: `export_statement`).
+     * Leer, wenn die Sprache keine solche Huelle kennt.
+     */
+    readonly exportWrapperKinds: ReadonlySet<string>;
+    /**
+     * Zusaetzliche Kindregionen eines Klassen-artigen Scopes, die selbst keinen
+     * Scope oeffnen, aber Inhalt tragen (JS/TS: `static { ... }`). Ohne sie
+     * fielen ihre Bytes durch den Mitgliederlauf — spec.md §8.4 verbietet das.
+     */
+    memberRegions(node: SyntaxNode, parentScopeId: string, ctx: FileTextContext): MemberRegion[];
+}
+/** Eine Region ohne Symbol, wie sie `memberRegions` liefert. */
+export interface MemberRegion {
+    range: SourceRange;
+    scopeId: string;
+    headerText: string;
+}
+/**
+ * Ausfuehrungseinheiten (spec.md §16.1) — bei jeder Sprache dieselben drei
+ * Arten. Der Dateirahmen ist gesondert ausfuehrbar (`engine.ts`); er kommt hier
+ * nie an, weil `scopeKindOf` niemals `"file"` liefert.
+ */
+export declare function isExecutableScopeKind(kind: ScopeNode["kind"]): boolean;
+//# sourceMappingURL=profile.d.ts.map

package/dist/languages/shared/profile.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"profile.d.ts","sourceRoot":"","sources":["../../../src/languages/shared/profile.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,OAAO,KAAK,EACV,WAAW,EACX,OAAO,EACP,SAAS,EACT,WAAW,EACX,YAAY,EACb,MAAM,uBAAuB,CAAC;AAE/B,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AAC9D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AACvD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAE9C,+EAA+E;AAC/E,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,SAAS,EAAE,CAAC;IACrB,KAAK,EAAE,OAAO,EAAE,CAAC;CAClB;AAED,8EAA8E;AAC9E,MAAM,WAAW,cAAc;IAC7B,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;;GAGG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC;IAIpC,iFAAiF;IACjF,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC3C;;;OAGG;IACH,QAAQ,CAAC,qBAAqB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACpD,qDAAqD;IACrD,QAAQ,CAAC,mBAAmB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAClD,mDAAmD;IACnD,QAAQ,CAAC,sBAAsB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACrD,2DAA2D;IAC3D,QAAQ,CAAC,qBAAqB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACpD,iEAAiE;IACjE,QAAQ,CAAC,uBAAuB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACtD;;;OAGG;IACH,QAAQ,CAAC,sBAAsB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACrD,4EAA4E;IAC5E,QAAQ,CAAC,iBAAiB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAEhD,qEAAqE;IACrE,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,CAAC,aAAa,CAAC,CAAC;IAC/D,2EAA2E;IAC3E,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,CAAC,aAAa,CAAC,CAAC;IAC5D,8EAA8E;IAC9E,cAAc,CAAC,SAAS,EAAE,MAAM,GAAG,SAAS,EAAE,UAAU,EAAE,MAAM,GAAG,aAAa,GAAG,WAAW,CAAC;IAI/F;;;;;;;OAOG;IACH,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IAIjC,yEAAyE;IACzE,WAAW,CAAC,IAAI,EAAE,UAAU,GAAG,SAAS,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;IACxD;;;OAGG;IACH,eAAe,CAAC,IAAI,EAAE,UAAU,GAAG,OAAO,CAAC;IAC3C,SAAS,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAAC;IACpC;;;;;;;;;;;OAWG;IACH,cAAc,CAAC,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,GAAG,SAAS,CAAC;IACtD,cAAc,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,GAAG,cAAc,CAAC;IACxF,QAAQ,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,eAAe,GAAG,WAAW,GAAG,SAAS,CAAC;IAC1E,UAAU,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;IAC/D,aAAa,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAAC;IAIxD,wBAAwB,CAAC,IAAI,EAAE,UAAU,GAAG,uBAAuB,CAAC;IACpE;;;;OAIG;IACH,kBAAkB,CAChB,IAAI,EAAE,UAAU,EAChB,IAAI,EAAE,MAAM,EACZ,aAAa,EAAE,MAAM,EACrB,GAAG,EAAE,eAAe,EACpB,IAAI,EAAE,cAAc,GACnB,IAAI,CAAC;IAIR;;;OAGG;IACH,QAAQ,CAAC,kBAAkB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACjD;;;;OAIG;IACH,aAAa,CAAC,IAAI,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,EAAE,GAAG,EAAE,eAAe,GAAG,YAAY,EAAE,CAAC;CAC9F;AAED,gEAAgE;AAChE,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,WAAW,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC,GAAG,OAAO,CAEtE"}

package/dist/languages/shared/profile.js

@@ -0,0 +1,9 @@
+/**
+ * Ausfuehrungseinheiten (spec.md §16.1) — bei jeder Sprache dieselben drei
+ * Arten. Der Dateirahmen ist gesondert ausfuehrbar (`engine.ts`); er kommt hier
+ * nie an, weil `scopeKindOf` niemals `"file"` liefert.
+ */
+export function isExecutableScopeKind(kind) {
+    return kind === "function" || kind === "method" || kind === "constructor";
+}
+//# sourceMappingURL=profile.js.map

package/dist/languages/shared/profile.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"profile.js","sourceRoot":"","sources":["../../../src/languages/shared/profile.ts"],"names":[],"mappings":"AAgLA;;;;GAIG;AACH,MAAM,UAAU,qBAAqB,CAAC,IAAuB;IAC3D,OAAO,IAAI,KAAK,UAAU,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,aAAa,CAAC;AAC5E,CAAC"}

package/dist/languages/shared/scope-model.d.ts

@@ -0,0 +1,32 @@
+import type { SourceRange } from "@untangle-code/domain";
+import type { SyntaxNode } from "./syntax.js";
+/**
+ * Internal (package-private) representation of one symbol scope, built once
+ * per parse by `engine.ts#analyze` and then projected into the public
+ * `ExtractedSymbol[]` / `SymbolScopeFact[]` / `AstRegion[]` shapes by
+ * `extractSymbols.ts`, `complexity.ts` and `chunks.ts` respectively. Keeping
+ * ONE tree as the single source of truth guarantees `scopeId`s line up
+ * exactly across `extractSymbols`, `computeComplexity` and `extractCalls`,
+ * since all three are projections of the same walk.
+ */
+export interface ScopeNode {
+    scopeId: string;
+    /** Adapter-internal kind: superset of ExtractedSymbol.kind plus "file". */
+    kind: "file" | "function" | "method" | "constructor" | "class" | "interface" | "type" | "enum" | "namespace" | "property";
+    name: string;
+    qualifiedName: string;
+    parentQualifiedName?: string;
+    range: SourceRange;
+    docRange?: SourceRange;
+    signature?: string;
+    normalizedSignature: string;
+    exportedNames: string[];
+    visibility?: string;
+    executable: boolean;
+    astHash: string;
+    tokenFingerprint: string;
+    /** The tree-sitter node whose range/body IS this scope (used only within this package). */
+    node: SyntaxNode;
+    children: ScopeNode[];
+}
+//# sourceMappingURL=scope-model.d.ts.map

package/dist/languages/shared/scope-model.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"scope-model.d.ts","sourceRoot":"","sources":["../../../src/languages/shared/scope-model.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAEzD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAE9C;;;;;;;;GAQG;AACH,MAAM,WAAW,SAAS;IACxB,OAAO,EAAE,MAAM,CAAC;IAChB,2EAA2E;IAC3E,IAAI,EACA,MAAM,GACN,UAAU,GACV,QAAQ,GACR,aAAa,GACb,OAAO,GACP,WAAW,GACX,MAAM,GACN,MAAM,GACN,WAAW,GACX,UAAU,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,aAAa,EAAE,MAAM,CAAC;IACtB,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,KAAK,EAAE,WAAW,CAAC;IACnB,QAAQ,CAAC,EAAE,WAAW,CAAC;IACvB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,OAAO,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,gBAAgB,EAAE,MAAM,CAAC;IACzB,2FAA2F;IAC3F,IAAI,EAAE,UAAU,CAAC;IACjB,QAAQ,EAAE,SAAS,EAAE,CAAC;CACvB"}

package/dist/languages/shared/scope-model.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=scope-model.js.map

package/dist/languages/shared/scope-model.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scope-model.js","sourceRoot":"","sources":["../../../src/languages/shared/scope-model.ts"],"names":[],"mappings":""}

package/dist/languages/shared/scope-naming.d.ts

@@ -0,0 +1,20 @@
+import type { SyntaxNode } from "./syntax.js";
+/** Derives the declared or contextually-borrowed name of a scope-opening node. */
+export declare function resolveScopeName(node: SyntaxNode): string;
+/**
+ * True when a field's initializer is itself a function-like node: in that
+ * case the FIELD does not get its own scope — the function value does,
+ * borrowing the field's property name (avoids a redundant doubled
+ * `Class.field.field` qualified name for `class C { handler = () => {} }`).
+ */
+export declare function fieldDelegatesToFunctionValue(node: SyntaxNode): boolean;
+/** `public`/`private`/`protected` if explicit, `"private"` for a `#name`, else `undefined` (implicit public). */
+export declare function resolveVisibility(node: SyntaxNode, name: string): string | undefined;
+/**
+ * Names this declaration exports, per spec.md §8.3 step 2/§14 (best-effort:
+ * only direct `export` / `export default` wrapping the declaration itself is
+ * recognized — a later `export { name }` clause elsewhere in the file is a
+ * documented simplification, see README "Entscheidungen").
+ */
+export declare function resolveExportedNames(node: SyntaxNode, name: string): string[];
+//# sourceMappingURL=scope-naming.d.ts.map

package/dist/languages/shared/scope-naming.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"scope-naming.d.ts","sourceRoot":"","sources":["../../../src/languages/shared/scope-naming.ts"],"names":[],"mappings":"AAaA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAI9C,kFAAkF;AAClF,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAsDzD;AAED;;;;;GAKG;AACH,wBAAgB,6BAA6B,CAAC,IAAI,EAAE,UAAU,GAAG,OAAO,CAIvE;AAID,iHAAiH;AACjH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAKpF;AAED;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAqB7E"}

package/dist/languages/shared/scope-naming.js

@@ -0,0 +1,118 @@
+/**
+ * Name/signature/visibility derivation for one scope-opening node.
+ *
+ * A scope-opening node (function/method/class/interface/type/enum/property,
+ * see `node-kinds.ts#SCOPE_OPENING_TYPES`) is either self-naming (its own
+ * `name` field) or anonymous, in which case the name is borrowed from the
+ * enclosing syntactic context — `const x = () => {}`, `{ key: () => {} }`,
+ * `x.y = function () {}`, `export default function () {}`, or a class field
+ * initialized with an arrow function (spec.md §8.3 step 3: "Top-Level-Symbole
+ * bestimmen").
+ */
+import { CLASS_TYPES, FIELD_TYPES, FUNCTION_LIKE_TYPES, METHOD_TYPE } from "./node-kinds.js";
+import { unquote } from "./node-utils.js";
+const ANONYMOUS_NAME = "<anonymous>";
+/** Derives the declared or contextually-borrowed name of a scope-opening node. */
+export function resolveScopeName(node) {
+    const ownName = node.childForFieldName("name");
+    if (ownName !== null) {
+        return ownName.type === "computed_property_name" ? ownName.text : unquote(ownName.text);
+    }
+    if (FIELD_TYPES.has(node.type)) {
+        const property = node.childForFieldName("property");
+        if (property !== null)
+            return unquote(property.text);
+    }
+    if (FUNCTION_LIKE_TYPES.has(node.type) ||
+        node.type === METHOD_TYPE ||
+        CLASS_TYPES.has(node.type)) {
+        const parent = node.parent;
+        if (parent === null)
+            return ANONYMOUS_NAME;
+        switch (parent.type) {
+            case "variable_declarator": {
+                const declaratorName = parent.childForFieldName("name");
+                return declaratorName !== null && declaratorName.type === "identifier"
+                    ? declaratorName.text
+                    : ANONYMOUS_NAME;
+            }
+            case "pair":
+            case "pair_pattern": {
+                const key = parent.childForFieldName("key");
+                return key !== null ? unquote(key.text) : ANONYMOUS_NAME;
+            }
+            case "assignment_expression": {
+                const left = parent.childForFieldName("left");
+                if (left === null)
+                    return ANONYMOUS_NAME;
+                if (left.type === "identifier")
+                    return left.text;
+                if (left.type === "member_expression") {
+                    const property = left.childForFieldName("property");
+                    return property !== null ? property.text : ANONYMOUS_NAME;
+                }
+                return ANONYMOUS_NAME;
+            }
+            case "field_definition":
+            case "public_field_definition": {
+                const property = parent.childForFieldName("property");
+                return property !== null ? unquote(property.text) : ANONYMOUS_NAME;
+            }
+            case "export_statement":
+                return "default";
+            default:
+                return ANONYMOUS_NAME;
+        }
+    }
+    return ANONYMOUS_NAME;
+}
+/**
+ * True when a field's initializer is itself a function-like node: in that
+ * case the FIELD does not get its own scope — the function value does,
+ * borrowing the field's property name (avoids a redundant doubled
+ * `Class.field.field` qualified name for `class C { handler = () => {} }`).
+ */
+export function fieldDelegatesToFunctionValue(node) {
+    if (!FIELD_TYPES.has(node.type))
+        return false;
+    const value = node.childForFieldName("value");
+    return value !== null && (FUNCTION_LIKE_TYPES.has(value.type) || value.type === "class");
+}
+const VISIBILITY_MODIFIER_TYPE = "accessibility_modifier";
+/** `public`/`private`/`protected` if explicit, `"private"` for a `#name`, else `undefined` (implicit public). */
+export function resolveVisibility(node, name) {
+    const modifier = node.children.find((child) => child.type === VISIBILITY_MODIFIER_TYPE);
+    if (modifier !== undefined)
+        return modifier.text;
+    if (name.startsWith("#"))
+        return "private";
+    return undefined;
+}
+/**
+ * Names this declaration exports, per spec.md §8.3 step 2/§14 (best-effort:
+ * only direct `export` / `export default` wrapping the declaration itself is
+ * recognized — a later `export { name }` clause elsewhere in the file is a
+ * documented simplification, see README "Entscheidungen").
+ */
+export function resolveExportedNames(node, name) {
+    let current = node;
+    // Walk up through wrapping declarator/declaration nodes that carry no name of their own.
+    while (current !== null) {
+        const parent = current.parent;
+        if (parent === null)
+            return [];
+        if (parent.type === "export_statement") {
+            const hasDefault = parent.children.some((child) => child.type === "default");
+            return [hasDefault ? "default" : name];
+        }
+        if (parent.type === "variable_declarator" ||
+            parent.type === "lexical_declaration" ||
+            parent.type === "variable_declaration") {
+            current = parent;
+            continue;
+        }
+        return [];
+    }
+    return [];
+}
+//# sourceMappingURL=scope-naming.js.map

package/dist/languages/shared/scope-naming.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scope-naming.js","sourceRoot":"","sources":["../../../src/languages/shared/scope-naming.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,mBAAmB,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAC7F,OAAO,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAG1C,MAAM,cAAc,GAAG,aAAa,CAAC;AAErC,kFAAkF;AAClF,MAAM,UAAU,gBAAgB,CAAC,IAAgB;IAC/C,MAAM,OAAO,GAAG,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAC/C,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QACrB,OAAO,OAAO,CAAC,IAAI,KAAK,wBAAwB,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1F,CAAC;IAED,IAAI,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;QACpD,IAAI,QAAQ,KAAK,IAAI;YAAE,OAAO,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACvD,CAAC;IAED,IACE,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;QAClC,IAAI,CAAC,IAAI,KAAK,WAAW;QACzB,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAC1B,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;QAC3B,IAAI,MAAM,KAAK,IAAI;YAAE,OAAO,cAAc,CAAC;QAE3C,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;YACpB,KAAK,qBAAqB,CAAC,CAAC,CAAC;gBAC3B,MAAM,cAAc,GAAG,MAAM,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;gBACxD,OAAO,cAAc,KAAK,IAAI,IAAI,cAAc,CAAC,IAAI,KAAK,YAAY;oBACpE,CAAC,CAAC,cAAc,CAAC,IAAI;oBACrB,CAAC,CAAC,cAAc,CAAC;YACrB,CAAC;YACD,KAAK,MAAM,CAAC;YACZ,KAAK,cAAc,CAAC,CAAC,CAAC;gBACpB,MAAM,GAAG,GAAG,MAAM,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC;gBAC5C,OAAO,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC;YAC3D,CAAC;YACD,KAAK,uBAAuB,CAAC,CAAC,CAAC;gBAC7B,MAAM,IAAI,GAAG,MAAM,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;gBAC9C,IAAI,IAAI,KAAK,IAAI;oBAAE,OAAO,cAAc,CAAC;gBACzC,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY;oBAAE,OAAO,IAAI,CAAC,IAAI,CAAC;gBACjD,IAAI,IAAI,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;oBACtC,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;oBACpD,OAAO,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC;gBAC5D,CAAC;gBACD,OAAO,cAAc,CAAC;YACxB,CAAC;YACD,KAAK,kBAAkB,CAAC;YACxB,KAAK,yBAAyB,CAAC,CAAC,CAAC;gBAC/B,MAAM,QAAQ,GAAG,MAAM,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;gBACtD,OAAO,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC;YACrE,CAAC;YACD,KAAK,kBAAkB;gBACrB,OAAO,SAAS,CAAC;YACnB;gBACE,OAAO,cAAc,CAAC;QAC1B,CAAC;IACH,CAAC;IAED,OAAO,cAAc,CAAC;AACxB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,6BAA6B,CAAC,IAAgB;IAC5D,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC;IAC9C,OAAO,KAAK,KAAK,IAAI,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;AAC3F,CAAC;AAED,MAAM,wBAAwB,GAAG,wBAAwB,CAAC;AAE1D,iHAAiH;AACjH,MAAM,UAAU,iBAAiB,CAAC,IAAgB,EAAE,IAAY;IAC9D,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,wBAAwB,CAAC,CAAC;IACxF,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,QAAQ,CAAC,IAAI,CAAC;IACjD,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAC3C,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAAC,IAAgB,EAAE,IAAY;IACjE,IAAI,OAAO,GAAsB,IAAI,CAAC;IACtC,yFAAyF;IACzF,OAAO,OAAO,KAAK,IAAI,EAAE,CAAC;QACxB,MAAM,MAAM,GAAsB,OAAO,CAAC,MAAM,CAAC;QACjD,IAAI,MAAM,KAAK,IAAI;YAAE,OAAO,EAAE,CAAC;QAC/B,IAAI,MAAM,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;YACvC,MAAM,UAAU,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YAC7E,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACzC,CAAC;QACD,IACE,MAAM,CAAC,IAAI,KAAK,qBAAqB;YACrC,MAAM,CAAC,IAAI,KAAK,qBAAqB;YACrC,MAAM,CAAC,IAAI,KAAK,sBAAsB,EACtC,CAAC;YACD,OAAO,GAAG,MAAM,CAAC;YACjB,SAAS;QACX,CAAC;QACD,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC"}

package/dist/languages/shared/scope-signature.d.ts

@@ -0,0 +1,14 @@
+import type { SyntaxNode } from "./syntax.js";
+interface FunctionSignature {
+    raw: string;
+    normalized: string;
+}
+/** Builds the signature for a function/arrow/method-shaped scope node. */
+export declare function buildFunctionSignature(node: SyntaxNode, name: string): FunctionSignature;
+/** Builds the signature for a class/interface/enum/type-alias/namespace scope node. */
+export declare function buildHeaderSignature(node: SyntaxNode): FunctionSignature;
+/** Builds the signature for a class field / property scope node. */
+export declare function buildPropertySignature(node: SyntaxNode, name: string): FunctionSignature;
+export declare function isFunctionLikeScope(nodeType: string): boolean;
+export {};
+//# sourceMappingURL=scope-signature.d.ts.map

package/dist/languages/shared/scope-signature.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"scope-signature.d.ts","sourceRoot":"","sources":["../../../src/languages/shared/scope-signature.ts"],"names":[],"mappings":"AAYA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AA+B9C,UAAU,iBAAiB;IACzB,GAAG,EAAE,MAAM,CAAC;IACZ,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,0EAA0E;AAC1E,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,GAAG,iBAAiB,CAgCxF;AAED,uFAAuF;AACvF,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,UAAU,GAAG,iBAAiB,CAOxE;AAED,oEAAoE;AACpE,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,GAAG,iBAAiB,CASxF;AAED,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAE7D"}

package/dist/languages/shared/scope-signature.js

@@ -0,0 +1,82 @@
+/**
+ * Signature text composition per scope kind (see `signature.ts` for the
+ * normalization primitives this builds on, and its doc comment for the
+ * normative whitespace/defaults/optional-marker/type-annotation rules).
+ */
+import { FUNCTION_LIKE_TYPES, METHOD_TYPE } from "./node-kinds.js";
+import { normalizeHeaderText, normalizeParameterList, normalizeReturnType, normalizeTypeParameterList, } from "./signature.js";
+const MODIFIER_ORDER = [
+    "accessibility_modifier",
+    "static",
+    "abstract",
+    "override_modifier",
+    "readonly",
+    "declare",
+    "async",
+];
+function collectModifiers(node) {
+    const found = [];
+    for (const modifierType of MODIFIER_ORDER) {
+        const child = node.children.find((c) => c.type === modifierType);
+        if (child !== undefined)
+            found.push(child.text);
+    }
+    return found;
+}
+function isGenerator(node) {
+    return node.children.some((child) => child.type === "*");
+}
+function accessorKeyword(node) {
+    const hasGet = node.children.some((child) => child.type === "get");
+    const hasSet = node.children.some((child) => child.type === "set");
+    return hasGet ? "get" : hasSet ? "set" : undefined;
+}
+/** Builds the signature for a function/arrow/method-shaped scope node. */
+export function buildFunctionSignature(node, name) {
+    const typeParamsNode = node.childForFieldName("type_parameters");
+    const parametersNode = node.childForFieldName("parameters");
+    const returnTypeNode = node.childForFieldName("return_type");
+    const modifiers = collectModifiers(node);
+    const accessor = accessorKeyword(node);
+    const generatorMarker = isGenerator(node) ? "*" : "";
+    const headParts = [...modifiers];
+    if (accessor !== undefined)
+        headParts.push(accessor);
+    const head = headParts.length > 0
+        ? `${headParts.join(" ")} ${generatorMarker}${name}`
+        : `${generatorMarker}${name}`;
+    const rawTypeParams = typeParamsNode?.text;
+    const rawParams = parametersNode?.text ??
+        (node.childForFieldName("parameter")?.text !== undefined
+            ? `(${node.childForFieldName("parameter")?.text})`
+            : "()");
+    const rawReturnType = returnTypeNode?.text;
+    const raw = `${head}${rawTypeParams ?? ""}${rawParams}${rawReturnType !== undefined ? rawReturnType : ""}`;
+    const normalizedTypeParams = normalizeTypeParameterList(rawTypeParams);
+    const normalizedParams = normalizeParameterList(rawParams);
+    const normalizedReturnType = normalizeReturnType(rawReturnType);
+    const normalized = `${head}${normalizedTypeParams}${normalizedParams}${normalizedReturnType}`;
+    return { raw, normalized };
+}
+/** Builds the signature for a class/interface/enum/type-alias/namespace scope node. */
+export function buildHeaderSignature(node) {
+    const bodyNode = node.childForFieldName("body");
+    const raw = bodyNode !== null
+        ? node.text.slice(0, bodyNode.startIndex - node.startIndex).trimEnd()
+        : node.text.replace(/;\s*$/, "");
+    return { raw, normalized: normalizeHeaderText(raw) };
+}
+/** Builds the signature for a class field / property scope node. */
+export function buildPropertySignature(node, name) {
+    const typeNode = node.childForFieldName("type");
+    const modifiers = collectModifiers(node);
+    const head = modifiers.length > 0 ? `${modifiers.join(" ")} ${name}` : name;
+    const rawType = typeNode?.text;
+    const raw = `${head}${rawType ?? ""}`;
+    const normalized = rawType !== undefined ? `${head}${normalizeReturnType(rawType)}` : normalizeHeaderText(head);
+    return { raw, normalized };
+}
+export function isFunctionLikeScope(nodeType) {
+    return FUNCTION_LIKE_TYPES.has(nodeType) || nodeType === METHOD_TYPE;
+}
+//# sourceMappingURL=scope-signature.js.map

package/dist/languages/shared/scope-signature.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scope-signature.js","sourceRoot":"","sources":["../../../src/languages/shared/scope-signature.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAE,mBAAmB,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AACnE,OAAO,EACL,mBAAmB,EACnB,sBAAsB,EACtB,mBAAmB,EACnB,0BAA0B,GAC3B,MAAM,gBAAgB,CAAC;AAGxB,MAAM,cAAc,GAAG;IACrB,wBAAwB;IACxB,QAAQ;IACR,UAAU;IACV,mBAAmB;IACnB,UAAU;IACV,SAAS;IACT,OAAO;CACC,CAAC;AAEX,SAAS,gBAAgB,CAAC,IAAgB;IACxC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,YAAY,IAAI,cAAc,EAAE,CAAC;QAC1C,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;QACjE,IAAI,KAAK,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAClD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,WAAW,CAAC,IAAgB;IACnC,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;AAC3D,CAAC;AAED,SAAS,eAAe,CAAC,IAAgB;IACvC,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC;IACnE,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC;IACnE,OAAO,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AACrD,CAAC;AAOD,0EAA0E;AAC1E,MAAM,UAAU,sBAAsB,CAAC,IAAgB,EAAE,IAAY;IACnE,MAAM,cAAc,GAAG,IAAI,CAAC,iBAAiB,CAAC,iBAAiB,CAAC,CAAC;IACjE,MAAM,cAAc,GAAG,IAAI,CAAC,iBAAiB,CAAC,YAAY,CAAC,CAAC;IAC5D,MAAM,cAAc,GAAG,IAAI,CAAC,iBAAiB,CAAC,aAAa,CAAC,CAAC;IAE7D,MAAM,SAAS,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACzC,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,eAAe,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IAErD,MAAM,SAAS,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC;IACjC,IAAI,QAAQ,KAAK,SAAS;QAAE,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACrD,MAAM,IAAI,GACR,SAAS,CAAC,MAAM,GAAG,CAAC;QAClB,CAAC,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,eAAe,GAAG,IAAI,EAAE;QACpD,CAAC,CAAC,GAAG,eAAe,GAAG,IAAI,EAAE,CAAC;IAElC,MAAM,aAAa,GAAG,cAAc,EAAE,IAAI,CAAC;IAC3C,MAAM,SAAS,GACb,cAAc,EAAE,IAAI;QACpB,CAAC,IAAI,CAAC,iBAAiB,CAAC,WAAW,CAAC,EAAE,IAAI,KAAK,SAAS;YACtD,CAAC,CAAC,IAAI,IAAI,CAAC,iBAAiB,CAAC,WAAW,CAAC,EAAE,IAAI,GAAG;YAClD,CAAC,CAAC,IAAI,CAAC,CAAC;IACZ,MAAM,aAAa,GAAG,cAAc,EAAE,IAAI,CAAC;IAE3C,MAAM,GAAG,GAAG,GAAG,IAAI,GAAG,aAAa,IAAI,EAAE,GAAG,SAAS,GAAG,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;IAE3G,MAAM,oBAAoB,GAAG,0BAA0B,CAAC,aAAa,CAAC,CAAC;IACvE,MAAM,gBAAgB,GAAG,sBAAsB,CAAC,SAAS,CAAC,CAAC;IAC3D,MAAM,oBAAoB,GAAG,mBAAmB,CAAC,aAAa,CAAC,CAAC;IAChE,MAAM,UAAU,GAAG,GAAG,IAAI,GAAG,oBAAoB,GAAG,gBAAgB,GAAG,oBAAoB,EAAE,CAAC;IAE9F,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC;AAC7B,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,oBAAoB,CAAC,IAAgB;IACnD,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAChD,MAAM,GAAG,GACP,QAAQ,KAAK,IAAI;QACf,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,OAAO,EAAE;QACrE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IACrC,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,mBAAmB,CAAC,GAAG,CAAC,EAAE,CAAC;AACvD,CAAC;AAED,oEAAoE;AACpE,MAAM,UAAU,sBAAsB,CAAC,IAAgB,EAAE,IAAY;IACnE,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAChD,MAAM,SAAS,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACzC,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IAC5E,MAAM,OAAO,GAAG,QAAQ,EAAE,IAAI,CAAC;IAC/B,MAAM,GAAG,GAAG,GAAG,IAAI,GAAG,OAAO,IAAI,EAAE,EAAE,CAAC;IACtC,MAAM,UAAU,GACd,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,mBAAmB,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;IAC/F,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC;AAC7B,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,QAAgB;IAClD,OAAO,mBAAmB,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,QAAQ,KAAK,WAAW,CAAC;AACvE,CAAC"}

package/dist/languages/shared/signature.d.ts

@@ -0,0 +1,55 @@
+/**
+ * Signature text normalization for the JS/TS grammar family.
+ *
+ * Normative requirement (WP-06 task, spec.md §5.5): `normalizedSignature`
+ * feeds `buildSymbolId`, so it MUST be stable across:
+ *
+ * 1. Whitespace — any run of spaces/tabs/newlines collapses to a single
+ *    space; spacing around `,`, `:`, `(`, `)`, `<`, `>`, `?:` is
+ *    canonicalized rather than preserved verbatim.
+ * 2. Default values — `= <expr>` parameter/type-parameter initializers are
+ *    STRIPPED. Rationale: giving a parameter a default value is (mostly) a
+ *    call-site convenience, not a new overload; keeping it in the identity
+ *    signature would needlessly change a symbol's id on a body-only-feeling
+ *    edit. The optional marker (see next point) already captures "callers
+ *    may omit this argument".
+ * 3. Optional markers — TypeScript's trailing `?` on a parameter name is
+ *    KEPT and canonicalized to sit directly against the following `:`
+ *    (`a ?:string` and `a?: string` both become `a?: string`) because it
+ *    changes the call contract independent of any default value.
+ * 4. Type annotations — kept verbatim (modulo the same whitespace rules)
+ *    because they are part of the observable contract.
+ *
+ * Known limitation (documented, not a defect): default-value stripping and
+ * top-level-comma splitting use a bracket-DEPTH scanner, not a full
+ * expression parser. A `<` used as a less-than operator inside a default
+ * expression (e.g. `(a = b < c ? 1 : 2)`) is misread as a generic open
+ * bracket and can throw off depth tracking for the rest of that one
+ * parameter. This is vanishingly rare in default-value position and is
+ * accepted as a WP-06 scoping decision (see README "Entscheidungen").
+ */
+/** Collapses whitespace and canonicalizes spacing around common punctuation. */
+export declare function normalizeSpacing(text: string): string;
+/**
+ * Splits `content` on top-level occurrences of `separator` (depth 0 with
+ * respect to `(`, `[`, `{`, `<`/`>`). Used to split parameter lists and
+ * type-parameter lists without being confused by nested generics/objects.
+ */
+export declare function splitTopLevel(content: string, separator: string): string[];
+/** Strips a single parameter's/type-parameter's default value (`= <expr>`), keeping any `?`/type annotation before it. */
+export declare function stripDefaultValue(entry: string): string;
+/**
+ * Normalizes a formal-parameter-list text (including its outer parens),
+ * e.g. `(a: number = 1, b ?: string)` -> `(a: number, b?: string)`.
+ */
+export declare function normalizeParameterList(paramsText: string): string;
+/**
+ * Normalizes a type-parameter list text (including its outer `<>`), e.g.
+ * `<T extends object = {}, U>` -> `<T extends object, U>`.
+ */
+export declare function normalizeTypeParameterList(typeParamsText: string | undefined): string;
+/** Normalizes a return-type annotation text (e.g. ` : Promise<void> ` -> `: Promise<void>`). */
+export declare function normalizeReturnType(returnTypeText: string | undefined): string;
+/** Normalizes an arbitrary header text (class/interface/type/enum declarations). */
+export declare function normalizeHeaderText(headerText: string): string;
+//# sourceMappingURL=signature.d.ts.map

package/dist/languages/shared/signature.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"signature.d.ts","sourceRoot":"","sources":["../../../src/languages/shared/signature.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAKH,gFAAgF;AAChF,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAarD;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM,EAAE,CAgB1E;AA6BD,0HAA0H;AAC1H,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAGvD;AAED;;;GAGG;AACH,wBAAgB,sBAAsB,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CASjE;AAED;;;GAGG;AACH,wBAAgB,0BAA0B,CAAC,cAAc,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,CAWrF;AAED,gGAAgG;AAChG,wBAAgB,mBAAmB,CAAC,cAAc,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,CAI9E;AAED,oFAAoF;AACpF,wBAAgB,mBAAmB,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAE9D"}