trail-code 0.0.0-stage → 0.28.0-semantic.3

package/dist/graph/extract.d.ts

@@ -0,0 +1,85 @@
+import { type FileBindings } from "./bindings.js";
+import type { Kind, NodeV1, Relation } from "./types.js";
+export type Language = "typescript" | "tsx" | "python" | "go" | "java" | "kotlin" | "swift" | "php" | "r";
+/** Every file extension a depth-tier (hand-written) extractor claims. */
+export declare function depthExtensions(): string[];
+/** Map a file path to a supported language, or null if unsupported. */
+export declare function languageOf(path: string): Language | null;
+/**
+ * What to *call* the language of this file, for a banner or a repo map — or null when
+ * the file isn't indexed at all, which is the distinction {@link languageOf} shares
+ * and the one that matters to a reader checking coverage.
+ */
+export declare function languageLabelOf(path: string): string | null;
+/**
+ * An edge whose target isn't resolved yet. build.ts turns these into EdgeV1 by
+ * matching `name`/`specifier` against the repo-wide node index.
+ */
+export interface RawEdge {
+    source: string;
+    relation: Relation;
+    file: string;
+    targetId?: string;
+    specifier?: string;
+    name?: string;
+    viaMember?: boolean;
+    /** calls with viaMember: the receiver's resolved type name (from bindings /
+     * self / this / Go receiver), when a confident local clue exists. */
+    recvType?: string;
+    /** calls without viaMember: which kinds the bare-name match may resolve to.
+     * Every other language's bare-name call is always a free function, so this
+     * is absent for them (resolve.ts defaults to `["function"]`). R (Phase 4) is
+     * the one exception: `obj$method()` with an untyped receiver (not
+     * self/private/super, which already resolve precisely via viaMember+recvType)
+     * still has a real shot at a correct match if the method name happens to be
+     * uniquely defined across the repo — R6 methods are kind "method", not
+     * "function", so without this override every such call would be
+     * unconditionally unresolvable rather than just occasionally ambiguous. */
+    kinds?: Kind[];
+    /** calls: the number of arguments at the CALL SITE. Only emitted for languages
+     * with overloading (Java, Swift), where a same-named sibling on the same class is
+     * otherwise indistinguishable — and picking wrong turns a delegating overload
+     * into a self-loop. */
+    argCount?: number;
+    /** Swift only: a bare lowercase call inside a type body, which the language
+     * resolves member-first (inner scope wins). The edge carries the member
+     * reading (viaMember + recvType = the enclosing type); this flag lets
+     * resolve.ts fall back to the free-function reading when the owner chain has
+     * no such member — and ONLY then, so a name defined as both a member and a
+     * free function yields the member edge alone, exactly as Swift dispatches it. */
+    implicitSelf?: boolean;
+}
+export interface ExtractResult {
+    nodes: NodeV1[];
+    rawEdges: RawEdge[];
+}
+export interface WalkCtx {
+    rel: string;
+    source: string;
+    lang: Language;
+    kinds: Record<string, Kind>;
+    scope: string[];
+    enclosingKind: Kind | null;
+    parentId: string;
+    bindings: FileBindings;
+    enclosingClass: string | null;
+    goReceiverVar: string | null;
+    importedSymbols: ReadonlyMap<string, {
+        name: string;
+        specifier: string;
+    }>;
+    rR6Access: "public" | "private" | "active" | null;
+    rGenerics: ReadonlySet<string>;
+    rSuperClass: string | null;
+}
+/** Throws when `lang`'s grammar is unavailable: callers check `depthReady`
+ * (depth-parser.ts) first and hand such a file to its breadth-tier stand-in instead. */
+export declare function extractFile(rel: string, source: string, lang: Language): ExtractResult;
+/** Mint-time uniqueness: a document-order duplicate (same name reopened, or two
+ * sibling defs that happen to collide) gets `~2`, `~3`, ... instead of silently
+ * shadowing the first. The while-loop (not a single `~2` guess) is what makes
+ * this collision-proof: a source name that itself ends in ~N would collide
+ * with a single-guess suffix, so this keeps incrementing until it finds a
+ * truly free id rather than trusting one candidate suffix is unused. */
+export declare function mintId(base: string, minted: Set<string>): string;
+//# sourceMappingURL=extract.d.ts.map

package/dist/graph/extract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"extract.d.ts","sourceRoot":"","sources":["../../src/graph/extract.ts"],"names":[],"mappings":"AAUA,OAAO,EAAqD,KAAK,YAAY,EAAE,MAAM,eAAe,CAAC;AAErG,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAEzD,MAAM,MAAM,QAAQ,GAAG,YAAY,GAAG,KAAK,GAAG,QAAQ,GAAG,IAAI,GAAG,MAAM,GAAG,QAAQ,GAAG,OAAO,GAAG,KAAK,GAAG,GAAG,CAAC;AA4C1G,yEAAyE;AACzE,wBAAgB,eAAe,IAAI,MAAM,EAAE,CAE1C;AAED,uEAAuE;AACvE,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,GAAG,IAAI,CAExD;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAE3D;AAED;;;GAGG;AACH,MAAM,WAAW,OAAO;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB;yEACqE;IACrE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB;;;;;;;;+EAQ2E;IAC3E,KAAK,CAAC,EAAE,IAAI,EAAE,CAAC;IACf;;;2BAGuB;IACvB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB;;;;;qFAKiF;IACjF,YAAY,CAAC,EAAE,OAAO,CAAC;CACxB;AAED,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,QAAQ,EAAE,OAAO,EAAE,CAAC;CACrB;AAyLD,MAAM,WAAW,OAAO;IACtB,GAAG,EAAE,MAAM,CAAC;IACZ,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,QAAQ,CAAC;IACf,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC5B,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,aAAa,EAAE,IAAI,GAAG,IAAI,CAAC;IAC3B,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,YAAY,CAAC;IACvB,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,eAAe,EAAE,WAAW,CAAC,MAAM,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAK1E,SAAS,EAAE,QAAQ,GAAG,SAAS,GAAG,QAAQ,GAAG,IAAI,CAAC;IAMlD,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAQ/B,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;CAC5B;AAoBD;wFACwF;AACxF,wBAAgB,WAAW,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,GAAG,aAAa,CAEtF;AAwDD;;;;;wEAKwE;AACxE,wBAAgB,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,MAAM,CAMhE"}