@principal-ai/principal-view-react 0.16.49 → 0.16.50

package/dist/graphify/anchor.d.ts

@@ -0,0 +1,28 @@
+/**
+ * Resolve a subsystem component (file + symbol) to a graphify definition node.
+ *
+ * This is component *anchoring*, not type-ref stub rewiring (`resolve.ts`).
+ * Conservative: never bind via corpus-wide same-name alone.
+ */
+import type { GraphifyNode } from './types';
+import type { GraphifyAnchorResolution } from './consolidated';
+export interface ComponentAnchorInput {
+    file?: string;
+    symbol?: string;
+    kind?: string;
+    purl?: string;
+}
+export interface ComponentAnchorResult {
+    resolution: GraphifyAnchorResolution;
+    node: GraphifyNode | null;
+    candidates: GraphifyNode[];
+    /** make_id strings attempted on the fast path. */
+    triedIds: string[];
+}
+/** Label forms that might match a subsystem symbol on a graphify node. */
+export declare function symbolLabelVariants(symbol: string): string[];
+/**
+ * Anchor a subsystem component onto a graphify definition node.
+ */
+export declare function resolveComponentAnchor(nodes: readonly GraphifyNode[], input: ComponentAnchorInput): ComponentAnchorResult;
+//# sourceMappingURL=anchor.d.ts.map

package/dist/graphify/anchor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"anchor.d.ts","sourceRoot":"","sources":["../../src/graphify/anchor.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAC5C,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,gBAAgB,CAAC;AAQ/D,MAAM,WAAW,oBAAoB;IACpC,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,qBAAqB;IACrC,UAAU,EAAE,wBAAwB,CAAC;IACrC,IAAI,EAAE,YAAY,GAAG,IAAI,CAAC;IAC1B,UAAU,EAAE,YAAY,EAAE,CAAC;IAC3B,kDAAkD;IAClD,QAAQ,EAAE,MAAM,EAAE,CAAC;CACnB;AAaD,0EAA0E;AAC1E,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,EAAE,CAa5D;AAwBD;;GAEG;AACH,wBAAgB,sBAAsB,CACrC,KAAK,EAAE,SAAS,YAAY,EAAE,EAC9B,KAAK,EAAE,oBAAoB,GACzB,qBAAqB,CAyEvB"}

package/dist/graphify/anchor.js

@@ -0,0 +1,132 @@
+/**
+ * Resolve a subsystem component (file + symbol) to a graphify definition node.
+ *
+ * This is component *anchoring*, not type-ref stub rewiring (`resolve.ts`).
+ * Conservative: never bind via corpus-wide same-name alone.
+ */
+import { normalizeGraphifyLabel } from './resolve';
+import { graphifyFileStem, makeGraphifyId, normalizeSourcePath, } from './ids';
+const FILE_SUFFIX_RE = /\.(py|js|jsx|ts|tsx|mjs|cjs|java|go|rs|rb|php|cs|cpp|cc|c|h|hpp|pas|pp|dpr|swift|kt|scala|dart|lua|pl|pm|ex|exs|zig|vue|svelte)$/i;
+function isDefinition(node) {
+    if (node.file_type !== 'code')
+        return false;
+    const file = typeof node.source_file === 'string' ? node.source_file : '';
+    if (!file)
+        return false;
+    const label = typeof node.label === 'string' ? node.label.trim() : '';
+    return !!label && !FILE_SUFFIX_RE.test(label);
+}
+/** Label forms that might match a subsystem symbol on a graphify node. */
+export function symbolLabelVariants(symbol) {
+    const raw = symbol.trim();
+    if (!raw)
+        return [];
+    const last = raw.includes('.') ? (raw.split('.').pop() ?? raw) : raw;
+    const variants = new Set([
+        raw,
+        last,
+        `${raw}()`,
+        `${last}()`,
+        `.${last}()`,
+        `.${last}`,
+    ]);
+    return [...variants];
+}
+function labelMatchesSymbol(label, symbol) {
+    const variants = symbolLabelVariants(symbol);
+    const trimmed = label.trim();
+    if (variants.includes(trimmed))
+        return true;
+    const foldedLabel = normalizeGraphifyLabel(trimmed);
+    return variants.some((v) => normalizeGraphifyLabel(v) === foldedLabel);
+}
+function candidateIdsFor(file, symbol) {
+    const stem = graphifyFileStem(file);
+    if (!stem)
+        return [];
+    const parts = symbol.split('.').map((p) => p.trim()).filter(Boolean);
+    const ids = new Set();
+    ids.add(makeGraphifyId(stem, symbol));
+    if (parts.length > 0)
+        ids.add(makeGraphifyId(stem, ...parts));
+    if (parts.length === 2) {
+        // Class method: make_id(class_id, method) ≈ make_id(stem, Class, method)
+        ids.add(makeGraphifyId(stem, parts[0], parts[1]));
+    }
+    return [...ids];
+}
+/**
+ * Anchor a subsystem component onto a graphify definition node.
+ */
+export function resolveComponentAnchor(nodes, input) {
+    const file = input.file?.trim() ? normalizeSourcePath(input.file) : '';
+    const symbol = input.symbol?.trim() ?? '';
+    if (!file || !symbol) {
+        return { resolution: 'missing', node: null, candidates: [], triedIds: [] };
+    }
+    const byId = new Map();
+    const inFile = [];
+    for (const node of nodes) {
+        byId.set(String(node.id), node);
+        if (!isDefinition(node))
+            continue;
+        const sf = normalizeSourcePath(String(node.source_file ?? ''));
+        if (sf === file)
+            inFile.push(node);
+    }
+    const triedIds = candidateIdsFor(file, symbol);
+    const idHits = [];
+    for (const id of triedIds) {
+        const hit = byId.get(id);
+        if (!hit || !isDefinition(hit))
+            continue;
+        const sf = normalizeSourcePath(String(hit.source_file ?? ''));
+        if (sf === file)
+            idHits.push(hit);
+    }
+    const uniqueIdHits = [...new Map(idHits.map((n) => [String(n.id), n])).values()];
+    if (uniqueIdHits.length === 1) {
+        return {
+            resolution: 'exact',
+            node: uniqueIdHits[0],
+            candidates: [],
+            triedIds,
+        };
+    }
+    if (uniqueIdHits.length > 1) {
+        return {
+            resolution: 'ambiguous',
+            node: null,
+            candidates: uniqueIdHits,
+            triedIds,
+        };
+    }
+    if (inFile.length === 0) {
+        return { resolution: 'missing', node: null, candidates: [], triedIds };
+    }
+    const labelHits = inFile.filter((n) => labelMatchesSymbol(String(n.label ?? ''), symbol));
+    if (labelHits.length === 1) {
+        return {
+            resolution: 'exact',
+            node: labelHits[0],
+            candidates: [],
+            triedIds,
+        };
+    }
+    if (labelHits.length > 1) {
+        return {
+            resolution: 'ambiguous',
+            node: null,
+            candidates: labelHits,
+            triedIds,
+        };
+    }
+    // File has code nodes but none matched the symbol.
+    return {
+        resolution: 'file-only',
+        node: null,
+        candidates: inFile.slice(0, 8),
+        triedIds,
+    };
+}
+//# sourceMappingURL=anchor.js.map

package/dist/graphify/anchor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"anchor.js","sourceRoot":"","sources":["../../src/graphify/anchor.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,OAAO,EAAE,sBAAsB,EAAE,MAAM,WAAW,CAAC;AACnD,OAAO,EACN,gBAAgB,EAChB,cAAc,EACd,mBAAmB,GACnB,MAAM,OAAO,CAAC;AAiBf,MAAM,cAAc,GACnB,mIAAmI,CAAC;AAErI,SAAS,YAAY,CAAC,IAAkB;IACvC,IAAI,IAAI,CAAC,SAAS,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC;IAC5C,MAAM,IAAI,GAAG,OAAO,IAAI,CAAC,WAAW,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1E,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,MAAM,KAAK,GAAG,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACtE,OAAO,CAAC,CAAC,KAAK,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC/C,CAAC;AAED,0EAA0E;AAC1E,MAAM,UAAU,mBAAmB,CAAC,MAAc;IACjD,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC;IAC1B,IAAI,CAAC,GAAG;QAAE,OAAO,EAAE,CAAC;IACpB,MAAM,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IACrE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAS;QAChC,GAAG;QACH,IAAI;QACJ,GAAG,GAAG,IAAI;QACV,GAAG,IAAI,IAAI;QACX,IAAI,IAAI,IAAI;QACZ,IAAI,IAAI,EAAE;KACV,CAAC,CAAC;IACH,OAAO,CAAC,GAAG,QAAQ,CAAC,CAAC;AACtB,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAa,EAAE,MAAc;IACxD,MAAM,QAAQ,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC;IAC7C,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IAC7B,IAAI,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5C,MAAM,WAAW,GAAG,sBAAsB,CAAC,OAAO,CAAC,CAAC;IACpD,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,sBAAsB,CAAC,CAAC,CAAC,KAAK,WAAW,CAAC,CAAC;AACxE,CAAC;AAED,SAAS,eAAe,CAAC,IAAY,EAAE,MAAc;IACpD,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,CAAC;IACrB,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACrE,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,GAAG,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;IACtC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,GAAG,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC;IAC9D,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE;QACvB,yEAAyE;QACzE,GAAG,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAE,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC;KACpD;IACD,OAAO,CAAC,GAAG,GAAG,CAAC,CAAC;AACjB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,sBAAsB,CACrC,KAA8B,EAC9B,KAA2B;IAE3B,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACvE,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IAC1C,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE;QACrB,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;KAC3E;IAED,MAAM,IAAI,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC7C,MAAM,MAAM,GAAmB,EAAE,CAAC;IAClC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE;QACzB,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;QAChC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC;YAAE,SAAS;QAClC,MAAM,EAAE,GAAG,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,CAAC;QAC/D,IAAI,EAAE,KAAK,IAAI;YAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;KACnC;IAED,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC/C,MAAM,MAAM,GAAmB,EAAE,CAAC;IAClC,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE;QAC1B,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACzB,IAAI,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC;YAAE,SAAS;QACzC,MAAM,EAAE,GAAG,mBAAmB,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,CAAC;QAC9D,IAAI,EAAE,KAAK,IAAI;YAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;KAClC;IACD,MAAM,YAAY,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;IACjF,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE;QAC9B,OAAO;YACN,UAAU,EAAE,OAAO;YACnB,IAAI,EAAE,YAAY,CAAC,CAAC,CAAE;YACtB,UAAU,EAAE,EAAE;YACd,QAAQ;SACR,CAAC;KACF;IACD,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE;QAC5B,OAAO;YACN,UAAU,EAAE,WAAW;YACvB,IAAI,EAAE,IAAI;YACV,UAAU,EAAE,YAAY;YACxB,QAAQ;SACR,CAAC;KACF;IAED,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE;QACxB,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC;KACvE;IAED,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CACrC,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE,MAAM,CAAC,CACjD,CAAC;IACF,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE;QAC3B,OAAO;YACN,UAAU,EAAE,OAAO;YACnB,IAAI,EAAE,SAAS,CAAC,CAAC,CAAE;YACnB,UAAU,EAAE,EAAE;YACd,QAAQ;SACR,CAAC;KACF;IACD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE;QACzB,OAAO;YACN,UAAU,EAAE,WAAW;YACvB,IAAI,EAAE,IAAI;YACV,UAAU,EAAE,SAAS;YACrB,QAAQ;SACR,CAAC;KACF;IAED,mDAAmD;IACnD,OAAO;QACN,UAAU,EAAE,WAAW;QACvB,IAAI,EAAE,IAAI;QACV,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;QAC9B,QAAQ;KACR,CAAC;AACH,CAAC"}

package/dist/graphify/ids.d.ts

@@ -0,0 +1,19 @@
+/**
+ * Mirror of graphify/ids.py — NFKC + casefold-ish + non-word → `_`.
+ *
+ * Definition node ids are `makeId(fileStem, ...symbolParts)`. Stub ids are
+ * intentionally different (name-only / `ref_…`); this module is for the
+ * definition path used by component anchoring.
+ */
+/** Normalize one id string to graphify's canonical form. */
+export declare function normalizeGraphifyId(s: string): string;
+/** Build a canonical node id from path/symbol parts (graphify `make_id`). */
+export declare function makeGraphifyId(...parts: string[]): string;
+/**
+ * File stem used as the node-id prefix (graphify `_file_stem`):
+ * full path with extension dropped, posix separators.
+ */
+export declare function graphifyFileStem(file: string): string;
+/** Normalize a repo-relative path for source_file comparison. */
+export declare function normalizeSourcePath(file: string): string;
+//# sourceMappingURL=ids.d.ts.map

package/dist/graphify/ids.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ids.d.ts","sourceRoot":"","sources":["../../src/graphify/ids.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,4DAA4D;AAC5D,wBAAgB,mBAAmB,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAQrD;AAED,6EAA6E;AAC7E,wBAAgB,cAAc,CAAC,GAAG,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,CAOzD;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CASrD;AAED,iEAAiE;AACjE,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAExD"}

package/dist/graphify/ids.js

@@ -0,0 +1,46 @@
+/**
+ * Mirror of graphify/ids.py — NFKC + casefold-ish + non-word → `_`.
+ *
+ * Definition node ids are `makeId(fileStem, ...symbolParts)`. Stub ids are
+ * intentionally different (name-only / `ref_…`); this module is for the
+ * definition path used by component anchoring.
+ */
+/** Normalize one id string to graphify's canonical form. */
+export function normalizeGraphifyId(s) {
+    let out = s.normalize("NFKC");
+    // JS has no Unicode casefold; lowercasing + second NFKC is close enough
+    // for the Latin/ASCII identifiers we resolve in practice.
+    out = out.toLowerCase().normalize("NFKC");
+    out = out.replace(/[^\w]+/gu, "_");
+    out = out.replace(/_+/g, "_");
+    return out.replace(/^_|_$/g, "");
+}
+/** Build a canonical node id from path/symbol parts (graphify `make_id`). */
+export function makeGraphifyId(...parts) {
+    const joined = parts
+        .filter((p) => typeof p === "string" && p.length > 0)
+        .map((p) => p.replace(/^[_.]+|[_.]+$/g, ""))
+        .filter(Boolean)
+        .join("_");
+    return normalizeGraphifyId(joined);
+}
+/**
+ * File stem used as the node-id prefix (graphify `_file_stem`):
+ * full path with extension dropped, posix separators.
+ */
+export function graphifyFileStem(file) {
+    const posix = file.replace(/\\/g, "/").replace(/^\.\//, "");
+    const lastSlash = posix.lastIndexOf("/");
+    const base = lastSlash >= 0 ? posix.slice(lastSlash + 1) : posix;
+    const dir = lastSlash >= 0 ? posix.slice(0, lastSlash + 1) : "";
+    if (!base || base === ".")
+        return "";
+    const dot = base.lastIndexOf(".");
+    const stemBase = dot > 0 ? base.slice(0, dot) : base;
+    return `${dir}${stemBase}`;
+}
+/** Normalize a repo-relative path for source_file comparison. */
+export function normalizeSourcePath(file) {
+    return file.replace(/\\/g, "/").replace(/^\.\//, "").replace(/\/+/g, "/");
+}
+//# sourceMappingURL=ids.js.map

package/dist/graphify/ids.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ids.js","sourceRoot":"","sources":["../../src/graphify/ids.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,4DAA4D;AAC5D,MAAM,UAAU,mBAAmB,CAAC,CAAS;IAC5C,IAAI,GAAG,GAAG,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IAC9B,wEAAwE;IACxE,0DAA0D;IAC1D,GAAG,GAAG,GAAG,CAAC,WAAW,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IAC1C,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;IACnC,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAC9B,OAAO,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;AAClC,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,cAAc,CAAC,GAAG,KAAe;IAChD,MAAM,MAAM,GAAG,KAAK;SAClB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;SACpD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,gBAAgB,EAAE,EAAE,CAAC,CAAC;SAC3C,MAAM,CAAC,OAAO,CAAC;SACf,IAAI,CAAC,GAAG,CAAC,CAAC;IACZ,OAAO,mBAAmB,CAAC,MAAM,CAAC,CAAC;AACpC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,IAAY;IAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IAC5D,MAAM,SAAS,GAAG,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IACzC,MAAM,IAAI,GAAG,SAAS,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IACjE,MAAM,GAAG,GAAG,SAAS,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAChE,IAAI,CAAC,IAAI,IAAI,IAAI,KAAK,GAAG;QAAE,OAAO,EAAE,CAAC;IACrC,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IAClC,MAAM,QAAQ,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACrD,OAAO,GAAG,GAAG,GAAG,QAAQ,EAAE,CAAC;AAC5B,CAAC;AAED,iEAAiE;AACjE,MAAM,UAAU,mBAAmB,CAAC,IAAY;IAC/C,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;AAC3E,CAAC"}

package/dist/graphify/index.d.ts

@@ -8,4 +8,11 @@ export type { JsonValue, GraphifyFileType, GraphifyConfidence, GraphifyNodeType,
 export type { GraphifyAnchorResolution, SubsystemGraphifyAnchor, GraphifyMethodInfo, GraphifyPropertyInfo, GraphifyParamInfo, GraphifyCallInfo, GraphifyReferenceInfo, GraphifyImportInfo, GraphifyClassDetail, GraphifyFunctionDetail, GraphifyTypeDetail, GraphifyModuleDetail, GraphifyExternalDetail, GraphifyComponentDetail, GraphifyEdgeRef, } from './consolidated';
 export type { GraphifyTypeRefStatus, GraphifyTypeRefResolution, } from './resolve';
 export { normalizeGraphifyLabel, createGraphifyTypeResolver, resolveGraphifyTypeRef, } from './resolve';
+export { normalizeGraphifyId, makeGraphifyId, graphifyFileStem, normalizeSourcePath, } from './ids';
+export type { ComponentAnchorInput, ComponentAnchorResult, } from './anchor';
+export { resolveComponentAnchor, symbolLabelVariants, } from './anchor';
+export type { InferredGraphifyKind, InferGraphifyKindResult } from './kind';
+export { inferGraphifyKind, kindsMatch } from './kind';
+export type { GraphifyInferredSignature, ClaimedSignature, SignatureCompareResult, } from './signature';
+export { extractNamedTypes, extractGraphifySignature, compareSignatures, } from './signature';
 //# sourceMappingURL=index.d.ts.map

package/dist/graphify/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/graphify/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,YAAY,EACV,SAAS,EACT,gBAAgB,EAChB,kBAAkB,EAClB,gBAAgB,EAChB,gBAAgB,EAChB,YAAY,EACZ,YAAY,EACZ,iBAAiB,EACjB,qBAAqB,EACrB,aAAa,GACd,MAAM,SAAS,CAAC;AACjB,YAAY,EACV,wBAAwB,EACxB,uBAAuB,EACvB,kBAAkB,EAClB,oBAAoB,EACpB,iBAAiB,EACjB,gBAAgB,EAChB,qBAAqB,EACrB,kBAAkB,EAClB,mBAAmB,EACnB,sBAAsB,EACtB,kBAAkB,EAClB,oBAAoB,EACpB,sBAAsB,EACtB,uBAAuB,EACvB,eAAe,GAChB,MAAM,gBAAgB,CAAC;AACxB,YAAY,EACV,qBAAqB,EACrB,yBAAyB,GAC1B,MAAM,WAAW,CAAC;AACnB,OAAO,EACL,sBAAsB,EACtB,0BAA0B,EAC1B,sBAAsB,GACvB,MAAM,WAAW,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/graphify/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,YAAY,EACV,SAAS,EACT,gBAAgB,EAChB,kBAAkB,EAClB,gBAAgB,EAChB,gBAAgB,EAChB,YAAY,EACZ,YAAY,EACZ,iBAAiB,EACjB,qBAAqB,EACrB,aAAa,GACd,MAAM,SAAS,CAAC;AACjB,YAAY,EACV,wBAAwB,EACxB,uBAAuB,EACvB,kBAAkB,EAClB,oBAAoB,EACpB,iBAAiB,EACjB,gBAAgB,EAChB,qBAAqB,EACrB,kBAAkB,EAClB,mBAAmB,EACnB,sBAAsB,EACtB,kBAAkB,EAClB,oBAAoB,EACpB,sBAAsB,EACtB,uBAAuB,EACvB,eAAe,GAChB,MAAM,gBAAgB,CAAC;AACxB,YAAY,EACV,qBAAqB,EACrB,yBAAyB,GAC1B,MAAM,WAAW,CAAC;AACnB,OAAO,EACL,sBAAsB,EACtB,0BAA0B,EAC1B,sBAAsB,GACvB,MAAM,WAAW,CAAC;AACnB,OAAO,EACL,mBAAmB,EACnB,cAAc,EACd,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,OAAO,CAAC;AACf,YAAY,EACV,oBAAoB,EACpB,qBAAqB,GACtB,MAAM,UAAU,CAAC;AAClB,OAAO,EACL,sBAAsB,EACtB,mBAAmB,GACpB,MAAM,UAAU,CAAC;AAClB,YAAY,EAAE,oBAAoB,EAAE,uBAAuB,EAAE,MAAM,QAAQ,CAAC;AAC5E,OAAO,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAC;AACvD,YAAY,EACV,yBAAyB,EACzB,gBAAgB,EAChB,sBAAsB,GACvB,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,iBAAiB,EACjB,wBAAwB,EACxB,iBAAiB,GAClB,MAAM,aAAa,CAAC"}

package/dist/graphify/index.js

@@ -5,4 +5,8 @@
  * graphify output (nodes, links, hyperedges) inside this library.
  */
 export { normalizeGraphifyLabel, createGraphifyTypeResolver, resolveGraphifyTypeRef, } from './resolve';
+export { normalizeGraphifyId, makeGraphifyId, graphifyFileStem, normalizeSourcePath, } from './ids';
+export { resolveComponentAnchor, symbolLabelVariants, } from './anchor';
+export { inferGraphifyKind, kindsMatch } from './kind';
+export { extractNamedTypes, extractGraphifySignature, compareSignatures, } from './signature';
 //# sourceMappingURL=index.js.map

package/dist/graphify/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/graphify/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAmCH,OAAO,EACL,sBAAsB,EACtB,0BAA0B,EAC1B,sBAAsB,GACvB,MAAM,WAAW,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/graphify/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAmCH,OAAO,EACL,sBAAsB,EACtB,0BAA0B,EAC1B,sBAAsB,GACvB,MAAM,WAAW,CAAC;AACnB,OAAO,EACL,mBAAmB,EACnB,cAAc,EACd,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,OAAO,CAAC;AAKf,OAAO,EACL,sBAAsB,EACtB,mBAAmB,GACpB,MAAM,UAAU,CAAC;AAElB,OAAO,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAC;AAMvD,OAAO,EACL,iBAAiB,EACjB,wBAAwB,EACxB,iBAAiB,GAClB,MAAM,aAAa,CAAC"}

package/dist/graphify/kind.d.ts

@@ -0,0 +1,23 @@
+/**
+ * Infer a subsystem-style kind from a graphify node + edges.
+ *
+ * Graphify does not store `kind` on nodes (everything is `file_type: "code"`).
+ * Class vs function vs type is derived from structure — same rules as
+ * `GraphifyComponentDetail` in consolidated.ts.
+ */
+import type { GraphifyEdge, GraphifyNode } from './types';
+/** Kind inferred from graph structure (never read off the node). */
+export type InferredGraphifyKind = 'class' | 'function' | 'method' | 'type' | 'module' | 'unknown';
+export interface InferGraphifyKindResult {
+    kind: InferredGraphifyKind;
+    evidence: string[];
+}
+/**
+ * Infer kind for a definition node from its label and incident edges.
+ *
+ * Priority: class → method → function → type → module → unknown.
+ */
+export declare function inferGraphifyKind(node: GraphifyNode, edges: readonly GraphifyEdge[]): InferGraphifyKindResult;
+/** Strict claimed-vs-inferred check (no class≈function alias). */
+export declare function kindsMatch(claimed: string | undefined, inferred: InferredGraphifyKind): boolean;
+//# sourceMappingURL=kind.d.ts.map

package/dist/graphify/kind.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"kind.d.ts","sourceRoot":"","sources":["../../src/graphify/kind.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAE1D,oEAAoE;AACpE,MAAM,MAAM,oBAAoB,GAC7B,OAAO,GACP,UAAU,GACV,QAAQ,GACR,MAAM,GACN,QAAQ,GACR,SAAS,CAAC;AAEb,MAAM,WAAW,uBAAuB;IACvC,IAAI,EAAE,oBAAoB,CAAC;IAC3B,QAAQ,EAAE,MAAM,EAAE,CAAC;CACnB;AAqBD;;;;GAIG;AACH,wBAAgB,iBAAiB,CAChC,IAAI,EAAE,YAAY,EAClB,KAAK,EAAE,SAAS,YAAY,EAAE,GAC5B,uBAAuB,CAqDzB;AAED,kEAAkE;AAClE,wBAAgB,UAAU,CACzB,OAAO,EAAE,MAAM,GAAG,SAAS,EAC3B,QAAQ,EAAE,oBAAoB,GAC5B,OAAO,CAGT"}

package/dist/graphify/kind.js

@@ -0,0 +1,71 @@
+/**
+ * Infer a subsystem-style kind from a graphify node + edges.
+ *
+ * Graphify does not store `kind` on nodes (everything is `file_type: "code"`).
+ * Class vs function vs type is derived from structure — same rules as
+ * `GraphifyComponentDetail` in consolidated.ts.
+ */
+const FILE_LABEL_RE = /\.(py|js|jsx|ts|tsx|mjs|cjs|java|go|rs|rb|php|cs|cpp|cc|c|h|hpp|pas|pp|dpr|swift|kt|scala|dart|lua|pl|pm|ex|exs|zig|vue|svelte)$/i;
+function isMethodStyleLabel(label) {
+    return label.trim().startsWith('.');
+}
+function isCallStyleLabel(label) {
+    return label.trim().endsWith('()');
+}
+function isFilenameLabel(label, sourceFile) {
+    const trimmed = label.trim();
+    if (FILE_LABEL_RE.test(trimmed))
+        return true;
+    if (!sourceFile)
+        return false;
+    const base = sourceFile.replace(/\\/g, '/').split('/').pop() ?? '';
+    return !!base && trimmed === base;
+}
+/**
+ * Infer kind for a definition node from its label and incident edges.
+ *
+ * Priority: class → method → function → type → module → unknown.
+ */
+export function inferGraphifyKind(node, edges) {
+    const id = String(node.id);
+    const label = String(node.label ?? '').trim();
+    const sourceFile = typeof node.source_file === 'string' ? node.source_file : '';
+    const evidence = [];
+    const outgoingMethod = edges.filter((e) => String(e.source) === id && e.relation === 'method');
+    if (outgoingMethod.length > 0) {
+        evidence.push(`${outgoingMethod.length} outgoing method edge(s)`);
+        return { kind: 'class', evidence };
+    }
+    const incomingMethod = edges.filter((e) => String(e.target) === id && e.relation === 'method');
+    if (incomingMethod.length > 0 && isMethodStyleLabel(label)) {
+        evidence.push(`incoming method edge from ${String(incomingMethod[0].source)}`, `label ${label}`);
+        return { kind: 'method', evidence };
+    }
+    if (isCallStyleLabel(label)) {
+        evidence.push(`call-style label ${label}`);
+        return { kind: 'function', evidence };
+    }
+    const incomingImplements = edges.filter((e) => String(e.target) === id && e.relation === 'implements');
+    if (incomingImplements.length > 0) {
+        evidence.push(`${incomingImplements.length} incoming implements edge(s)`);
+        return { kind: 'type', evidence };
+    }
+    if (node.type === 'module' || isFilenameLabel(label, sourceFile)) {
+        evidence.push(node.type === 'module'
+            ? 'node.type=module'
+            : `filename label ${label}`);
+        return { kind: 'module', evidence };
+    }
+    if (label)
+        evidence.push(`unclassified label ${label}`);
+    else
+        evidence.push('no classifying signals');
+    return { kind: 'unknown', evidence };
+}
+/** Strict claimed-vs-inferred check (no class≈function alias). */
+export function kindsMatch(claimed, inferred) {
+    if (!claimed || claimed === 'external')
+        return true;
+    return claimed === inferred;
+}
+//# sourceMappingURL=kind.js.map

package/dist/graphify/kind.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"kind.js","sourceRoot":"","sources":["../../src/graphify/kind.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAkBH,MAAM,aAAa,GAClB,mIAAmI,CAAC;AAErI,SAAS,kBAAkB,CAAC,KAAa;IACxC,OAAO,KAAK,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;AACrC,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAa;IACtC,OAAO,KAAK,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AACpC,CAAC;AAED,SAAS,eAAe,CAAC,KAAa,EAAE,UAAkB;IACzD,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IAC7B,IAAI,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7C,IAAI,CAAC,UAAU;QAAE,OAAO,KAAK,CAAC;IAC9B,MAAM,IAAI,GAAG,UAAU,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC;IACnE,OAAO,CAAC,CAAC,IAAI,IAAI,OAAO,KAAK,IAAI,CAAC;AACnC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAChC,IAAkB,EAClB,KAA8B;IAE9B,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC3B,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAC9C,MAAM,UAAU,GACf,OAAO,IAAI,CAAC,WAAW,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9D,MAAM,QAAQ,GAAa,EAAE,CAAC;IAE9B,MAAM,cAAc,GAAG,KAAK,CAAC,MAAM,CAClC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,QAAQ,KAAK,QAAQ,CACzD,CAAC;IACF,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE;QAC9B,QAAQ,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,MAAM,0BAA0B,CAAC,CAAC;QAClE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;KACnC;IAED,MAAM,cAAc,GAAG,KAAK,CAAC,MAAM,CAClC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,QAAQ,KAAK,QAAQ,CACzD,CAAC;IACF,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,IAAI,kBAAkB,CAAC,KAAK,CAAC,EAAE;QAC3D,QAAQ,CAAC,IAAI,CACZ,6BAA6B,MAAM,CAAC,cAAc,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,EAAE,EAChE,SAAS,KAAK,EAAE,CAChB,CAAC;QACF,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;KACpC;IAED,IAAI,gBAAgB,CAAC,KAAK,CAAC,EAAE;QAC5B,QAAQ,CAAC,IAAI,CAAC,oBAAoB,KAAK,EAAE,CAAC,CAAC;QAC3C,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC;KACtC;IAED,MAAM,kBAAkB,GAAG,KAAK,CAAC,MAAM,CACtC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,QAAQ,KAAK,YAAY,CAC7D,CAAC;IACF,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE;QAClC,QAAQ,CAAC,IAAI,CACZ,GAAG,kBAAkB,CAAC,MAAM,8BAA8B,CAC1D,CAAC;QACF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;KAClC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,eAAe,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE;QACjE,QAAQ,CAAC,IAAI,CACZ,IAAI,CAAC,IAAI,KAAK,QAAQ;YACrB,CAAC,CAAC,kBAAkB;YACpB,CAAC,CAAC,kBAAkB,KAAK,EAAE,CAC5B,CAAC;QACF,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;KACpC;IAED,IAAI,KAAK;QAAE,QAAQ,CAAC,IAAI,CAAC,sBAAsB,KAAK,EAAE,CAAC,CAAC;;QACnD,QAAQ,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;IAC7C,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;AACtC,CAAC;AAED,kEAAkE;AAClE,MAAM,UAAU,UAAU,CACzB,OAA2B,EAC3B,QAA8B;IAE9B,IAAI,CAAC,OAAO,IAAI,OAAO,KAAK,UAAU;QAAE,OAAO,IAAI,CAAC;IACpD,OAAO,OAAO,KAAK,QAAQ,CAAC;AAC7B,CAAC"}

package/dist/graphify/signature.d.ts

@@ -0,0 +1,87 @@
+/**
+ * Signature / params verification against graphify `references` edges.
+ *
+ * Graphify does not store arity or parameter names — only `parameter_type` /
+ * `return_type` edges to type nodes (unions become multiple edges). Comparison
+ * is therefore **named type bags**, not positional arity.
+ *
+ * Many TS/JS functions have no such edges yet. When graphify has no signature
+ * signal, the check is skipped (not a hard fail) so Verify can still gate on
+ * kind. When graphify *does* emit types, claimed detail must match.
+ */
+import type { GraphifyEdge, GraphifyNode } from './types';
+/** Inferred signature from graphify edges (no param names). */
+export interface GraphifyInferredSignature {
+    parameters: Array<{
+        type: string;
+        nodeId: string;
+    }>;
+    returnType?: string;
+    returnTypeNodeId?: string;
+    /**
+     * Types reachable only via `generic_arg` edges (Promise<X>, Array<X>,
+     * Omit<X,…>, Map<…>). Kept out of `parameters`/`returnType` — not read
+     * by the bag comparison — so skipped cases can be told apart.
+     */
+    genericArgs?: Array<{
+        type: string;
+        nodeId: string;
+    }>;
+    /**
+     * Count of `inline_parameter` self-edges (anonymous object-literal params).
+     * Graphify emits one per anon param only with its `--inline-params` flag.
+     */
+    inlineParameters?: number;
+    /** True when at least one parameter_type or return_type edge exists. */
+    hasSignal: boolean;
+}
+export interface ClaimedSignature {
+    parameters?: Array<{
+        name?: string;
+        type: string;
+    }>;
+    returnType?: string;
+}
+/**
+ * Granular skip classification. `signature_skipped` means "graphify has no
+ * parameter_type/return_type edges to compare", but *why* matters for future
+ * work:
+ * - `no_claimed_types`: authored detail has no named types (primitives/inline).
+ * - `generic_arg_only`: claimed types resolve, but only as `generic_arg`
+ *   (Promise/Omit/Map/Array wrappers) — this extractor does not read them.
+ * - `partially_generic_arg`: some, not all, claimed types resolve as generic_arg.
+ * - `unresolved_claimed_types`: claimed names have no edges at all
+ *   (global/npm types, or a dropped same-file label collision).
+ */
+export type SignatureSkipCode = 'no_claimed_types' | 'generic_arg_only' | 'partially_generic_arg' | 'unresolved_claimed_types';
+export interface SignatureCompareResult {
+    match: boolean;
+    /** Skipped because graphify had no parameter/return type edges. */
+    skipped: boolean;
+    reason?: string;
+    /** Granular skip classification when `skipped` is true. */
+    skipCode?: SignatureSkipCode;
+    claimed: {
+        parameterTypes: string[];
+        returnTypes: string[];
+    };
+    inferred: {
+        parameterTypes: string[];
+        returnTypes: string[];
+    };
+}
+/**
+ * Pull comparable named type identifiers out of an authored / graphify type
+ * string. Skips primitives, inline object types, and known wrappers.
+ */
+export declare function extractNamedTypes(typeStr: string): string[];
+/** Collect parameter_type / return_type edges for a callable node. */
+export declare function extractGraphifySignature(nodeId: string, edges: readonly GraphifyEdge[], nodesById: ReadonlyMap<string, GraphifyNode>): GraphifyInferredSignature;
+/**
+ * Compare authored function/method detail signature to graphify edges.
+ *
+ * - No graphify signal → skipped (match=true).
+ * - Otherwise named-type bags for params and return must match exactly.
+ */
+export declare function compareSignatures(claimed: ClaimedSignature | undefined, inferred: GraphifyInferredSignature): SignatureCompareResult;
+//# sourceMappingURL=signature.d.ts.map

package/dist/graphify/signature.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"signature.d.ts","sourceRoot":"","sources":["../../src/graphify/signature.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAE1D,+DAA+D;AAC/D,MAAM,WAAW,yBAAyB;IACzC,UAAU,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACpD,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B;;;;OAIG;IACH,WAAW,CAAC,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACtD;;;OAGG;IACH,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,wEAAwE;IACxE,SAAS,EAAE,OAAO,CAAC;CACnB;AAED,MAAM,WAAW,gBAAgB;IAChC,UAAU,CAAC,EAAE,KAAK,CAAC;QAAE,IAAI,CAAC,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACpD,UAAU,CAAC,EAAE,MAAM,CAAC;CACpB;AAED;;;;;;;;;;GAUG;AACH,MAAM,MAAM,iBAAiB,GAC1B,kBAAkB,GAClB,kBAAkB,GAClB,uBAAuB,GACvB,0BAA0B,CAAC;AAE9B,MAAM,WAAW,sBAAsB;IACtC,KAAK,EAAE,OAAO,CAAC;IACf,mEAAmE;IACnE,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,2DAA2D;IAC3D,QAAQ,CAAC,EAAE,iBAAiB,CAAC;IAC7B,OAAO,EAAE;QAAE,cAAc,EAAE,MAAM,EAAE,CAAC;QAAC,WAAW,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;IAC7D,QAAQ,EAAE;QAAE,cAAc,EAAE,MAAM,EAAE,CAAC;QAAC,WAAW,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;CAC9D;AA4CD;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE,CA4B3D;AAWD,sEAAsE;AACtE,wBAAgB,wBAAwB,CACvC,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,SAAS,YAAY,EAAE,EAC9B,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,GAC1C,yBAAyB,CAgC3B;AA8CD;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAChC,OAAO,EAAE,gBAAgB,GAAG,SAAS,EACrC,QAAQ,EAAE,yBAAyB,GACjC,sBAAsB,CA6GxB"}