@component-compass/reference-graph 0.1.24 → 0.1.26

package/dist/engine/binding.d.ts

@@ -0,0 +1,96 @@
+import type { BindingDecl, ExportRecord, FileGraph, Graph, InferredType, Reference } from "../index.js";
+import { type CycleGuard } from "./cycle-detection.js";
+import type { TerminalIdentity } from "./wrapper-folding.js";
+/** The identity a walk credits for a binding whose re-export chain stopped
+ *  short of it or never reached it: the barrel or file the chain ended at, the
+ *  name sought in a file that does not export it or never binds it, or an
+ *  unparsed file named through its import. `bindingIdentity` returns it.
+ *  Transitional (#633): reproduces the identity a walk named before the
+ *  resolver; removed, with `ChainEnd`, `recordOnChain`, `followRecord`'s
+ *  second resolution, `withWalkIdentity` and `sameIdentity`, when walks
+ *  credit the binding the resolver finds. */
+type WalkIdentity = Exclude<TerminalIdentity, null>;
+/** What a name refers to. `path` is the member chain past the binding.
+ *  `mainGap: "namespace-member"` marks a binding reached as a member of a
+ *  namespace import; `bindingValue` gives `Unknown` for it. An `unparsed`
+ *  binding names the resolved target as found (a workspace member's absolute
+ *  path, else its graph key), not pinned to its definition. Its
+ *  `through-parsed-barrel` mark says it was reached through a parsed file:
+ *  `barrel` is the file whose imported local led out of the graph, null for
+ *  an `export … from` hop. `walkIdentity` is transitional (see `WalkIdentity`). */
+export type Binding = {
+    kind: "declaration";
+    file: string;
+    decl: BindingDecl;
+    path: readonly string[];
+    inScope: boolean;
+    mainGap?: "namespace-member";
+    walkIdentity?: WalkIdentity;
+} | {
+    kind: "package-export";
+    specifier: string;
+    exportName: string;
+    path: readonly string[];
+    stub: InferredType | null;
+    mainGap?: "namespace-member";
+    walkIdentity?: WalkIdentity;
+} | {
+    kind: "unparsed";
+    file: string;
+    exportName: string;
+    path: readonly string[];
+    mainGap?: {
+        kind: "through-parsed-barrel";
+        barrel: string | null;
+    };
+    walkIdentity?: WalkIdentity;
+} | {
+    kind: "unbound";
+    walkIdentity?: WalkIdentity;
+} | {
+    kind: "import-failed";
+    specifier: string;
+    exportName: string;
+    path: readonly string[];
+    walkIdentity?: WalkIdentity;
+} | {
+    kind: "no-export";
+    walkIdentity?: WalkIdentity;
+};
+/**
+ * Walk the scope chain for `ref.symbol` in `fileGraph.declarations` and
+ * return the first matching BindingDecl, or null if not found. THE
+ * scope-chain walk — `registry.ts`'s `resolveUsageTarget` calls this
+ * seam instead of re-deriving it.
+ */
+export declare function findLocalDeclaration(fileGraph: FileGraph, ref: Reference): BindingDecl | null;
+/**
+ * Pick the FileGraph a Reference should be resolved against. When
+ * `ref.originFile` is set, prefer that file's graph; this is how refs that
+ * have travelled across a module boundary get looked up in their authoring
+ * context. Falls back to the caller's `fileGraph` when no annotation is
+ * present (synthetic refs / parsers without ref-origin tagging).
+ */
+export declare function fileGraphForRef(graph: Graph, ref: Reference, fallback: FileGraph): FileGraph;
+/** The graph key for an absolute path; null when it lies outside the repo root. */
+export declare function graphKeyFor(graph: Graph, abs: string): string | null;
+/** The file's own named export `name`, or its default export for `"default"`. */
+export declare function exportRecordFor(fileGraph: FileGraph, name: string): ExportRecord | undefined;
+/** The binding `ref` names: its scope chain, then its file's imports. */
+export declare function resolveBinding(graph: Graph, fileGraph: FileGraph, ref: Reference, guard?: CycleGuard): Binding;
+/** The binding `import { imported } from specifier` names in `fromFile`,
+ *  with `memberChain` the members accessed on the import. */
+export declare function resolveModuleExport(graph: Graph, fromFile: string, specifier: string, imported: string, memberChain: readonly string[], guard?: CycleGuard): Binding;
+/** The value a binding names: a declaration's value wrapped in `MemberOf`
+ *  per `path` segment, a package export's library stub, else `Unknown`. */
+export declare function bindingValue(binding: Binding): InferredType;
+/** The identity a binding names: its `walkIdentity` when it carries one;
+ *  else a declaration or an unparsed file is local, a package export or a
+ *  failed import is the import as written. Only a declaration with nothing
+ *  left on its path carries the declaration. */
+export declare function bindingIdentity(binding: Binding): TerminalIdentity;
+/** A workspace member's `unparsed` binding, reached directly, pinned to the
+ *  definition the host's `resolveLocalDefinition` finds for it; the resolved
+ *  entry when the host finds none. Any other binding is returned unchanged. */
+export declare function pinUnparsed<B extends Binding>(graph: Graph, binding: B): B;
+export {};

package/dist/engine/binding.js

@@ -0,0 +1,405 @@
+import { isAbsolute } from "node:path";
+import { MODULE_SCOPE } from "../index.js";
+import { createCycleGuard } from "./cycle-detection.js";
+import { libraryStubFor } from "./library-stubs.js";
+import { compoundExportName, effectiveExportName, residualMemberChain } from "./member-identity.js";
+import { packageNameFromSpecifier } from "./specifier.js";
+const NO_EXPORT = { kind: "no-export" };
+const UNBOUND = { kind: "unbound" };
+/**
+ * Walk the scope chain for `ref.symbol` in `fileGraph.declarations` and
+ * return the first matching BindingDecl, or null if not found. THE
+ * scope-chain walk — `registry.ts`'s `resolveUsageTarget` calls this
+ * seam instead of re-deriving it.
+ */
+export function findLocalDeclaration(fileGraph, ref) {
+    let scope = ref.scope;
+    while (true) {
+        const decl = fileGraph.declarations.get(`${scope}::${ref.symbol}`);
+        if (decl)
+            return decl;
+        if (scope === MODULE_SCOPE)
+            return null;
+        const parent = fileGraph.scopes.get(scope)?.parent;
+        if (parent === null || parent === undefined)
+            return null;
+        scope = parent;
+    }
+}
+/**
+ * Pick the FileGraph a Reference should be resolved against. When
+ * `ref.originFile` is set, prefer that file's graph; this is how refs that
+ * have travelled across a module boundary get looked up in their authoring
+ * context. Falls back to the caller's `fileGraph` when no annotation is
+ * present (synthetic refs / parsers without ref-origin tagging).
+ */
+export function fileGraphForRef(graph, ref, fallback) {
+    if (!ref.originFile || ref.originFile === fallback.filePath)
+        return fallback;
+    return graph.files.get(ref.originFile) ?? fallback;
+}
+/** The graph key for an absolute path; null when it lies outside the repo root. */
+export function graphKeyFor(graph, abs) {
+    return graph.resolveToGraphKey ? graph.resolveToGraphKey(abs) : abs;
+}
+/** The file's own named export `name`, or its default export for `"default"`. */
+export function exportRecordFor(fileGraph, name) {
+    return fileGraph.exports.find((e) => (e.kind === "named" && e.exportedAs === name) || (e.kind === "default" && name === "default"));
+}
+/** The binding `ref` names: its scope chain, then its file's imports. */
+export function resolveBinding(graph, fileGraph, ref, guard = createCycleGuard()) {
+    const found = bindingIn(graph, fileGraphForRef(graph, ref, fileGraph), ref, guard, new Set());
+    return withWalkIdentity(graph, found, ref.memberChain);
+}
+/** The binding `import { imported } from specifier` names in `fromFile`,
+ *  with `memberChain` the members accessed on the import. */
+export function resolveModuleExport(graph, fromFile, specifier, imported, memberChain, guard = createCycleGuard()) {
+    const found = moduleExport(graph, fromFile, specifier, imported, memberChain, guard, new Set());
+    return withWalkIdentity(graph, { ...found, module: { specifier, imported, target: found.target } }, memberChain);
+}
+/** `chain` holds every `file::name` the re-export chain has sought so far; a
+ *  name sought again ends nowhere. */
+function bindingIn(graph, fileGraph, ref, guard, chain) {
+    const decl = findLocalDeclaration(fileGraph, ref);
+    if (decl) {
+        return { binding: { kind: "declaration", file: fileGraph.filePath, decl, path: ref.memberChain, inScope: true }, end: null };
+    }
+    const imp = fileGraph.importsByLocal.get(ref.symbol);
+    if (!imp)
+        return { binding: UNBOUND, end: null };
+    const stub = libraryStubFor(imp, ref);
+    if (stub) {
+        const binding = {
+            kind: "package-export",
+            specifier: imp.specifier,
+            exportName: effectiveExportName(imp.imported, ref.memberChain),
+            path: residualMemberChain(imp.imported, ref.memberChain),
+            stub,
+        };
+        return { binding, end: null };
+    }
+    const found = moduleExport(graph, fileGraph.filePath, imp.specifier, imp.imported, ref.memberChain, guard, chain);
+    return { ...found, module: { specifier: imp.specifier, imported: imp.imported, target: found.target } };
+}
+function moduleExport(graph, fromFile, specifier, imported, memberChain, guard, chain) {
+    const exportName = effectiveExportName(imported, memberChain);
+    const path = residualMemberChain(imported, memberChain);
+    const target = moduleTarget(graph, fromFile, specifier, exportName, path);
+    if (target.kind === "outside")
+        return { binding: target.binding, end: null, target };
+    if (imported === "*" && memberChain.length === 0)
+        return { binding: NO_EXPORT, end: null, target };
+    const found = exportIn(graph, target.key, exportName, path, guard, chain);
+    const b = found.binding;
+    if (imported === "*" && (b.kind === "declaration" || b.kind === "package-export")) {
+        return { binding: { ...b, mainGap: "namespace-member" }, end: found.end, target };
+    }
+    return { binding: b, end: found.end, target };
+}
+/** Classify the module `specifier` resolves to from `fromFile`. */
+function moduleTarget(graph, fromFile, specifier, exportName, path) {
+    const isPackage = packageNameFromSpecifier(specifier) !== null;
+    const abs = graph.moduleResolver(fromFile, specifier);
+    if (!abs) {
+        const binding = isPackage
+            ? { kind: "package-export", specifier, exportName, path, stub: null }
+            : { kind: "import-failed", specifier, exportName, path };
+        return { kind: "outside", binding, graphKey: null, member: false };
+    }
+    const graphKey = graphKeyFor(graph, abs);
+    const key = graphKey ?? abs;
+    if (graph.files.has(key))
+        return { kind: "parsed", key };
+    if (graph.workspaceMembership?.(abs) === true) {
+        return { kind: "outside", binding: { kind: "unparsed", file: abs, exportName, path }, graphKey, member: true };
+    }
+    const binding = isPackage
+        ? { kind: "package-export", specifier, exportName, path, stub: null }
+        : { kind: "unparsed", file: key, exportName, path };
+    return { kind: "outside", binding, graphKey, member: false };
+}
+/** The binding the export `name` of parsed `file` names. */
+function exportIn(graph, file, name, path, guard, chain) {
+    const again = soughtAgain(chain, file, name);
+    const found = findExportRecord(graph, file, name, new Set());
+    if (!found)
+        return { binding: packageStarExport(graph, file, name, path, new Set()) ?? NO_EXPORT, end: null };
+    const inner = followRecord(graph, found, file, name, path, guard, chain);
+    return again ? { binding: inner.binding, end: null } : inner;
+}
+/** The binding `found` names, with the chain end of the record the chain
+ *  finds for `name` in `file`: the same record unless an `export *` target
+ *  the chain has already sought hid one. Only the chain end follows that
+ *  record; the binding is resolved on a copy of `chain`. Transitional: the
+ *  second resolution goes with `WalkIdentity`. */
+function followRecord(graph, found, file, name, path, guard, chain) {
+    const onChain = recordOnChain(graph, file, name, chain);
+    if (onChain?.record === found.record)
+        return bindingForRecord(graph, found.fileGraph, found.record, name, path, guard, chain);
+    const { binding } = bindingForRecord(graph, found.fileGraph, found.record, name, path, guard, new Set(chain));
+    const end = onChain ? bindingForRecord(graph, onChain.fileGraph, onChain.record, name, path, guard, chain).end : null;
+    return { binding, end };
+}
+/** Records `file::name` as sought by the re-export chain; true when it was already. */
+function soughtAgain(chain, file, name) {
+    const key = `${file}::${name}`;
+    if (chain.has(key))
+        return true;
+    chain.add(key);
+    return false;
+}
+/** The export record `name` finds in `file`, following `export *` entries in
+ *  source order; `seen` is shared across star siblings. */
+function findExportRecord(graph, file, name, seen) {
+    const seenKey = `${file}::${name}`;
+    if (seen.has(seenKey))
+        return null;
+    seen.add(seenKey);
+    const fileGraph = graph.files.get(file);
+    if (!fileGraph)
+        return null;
+    const record = exportRecordFor(fileGraph, name);
+    if (record)
+        return { record, fileGraph };
+    for (const star of fileGraph.exports) {
+        if (star.kind !== "star")
+            continue;
+        const abs = graph.moduleResolver(file, star.from);
+        if (!abs)
+            continue;
+        const found = findExportRecord(graph, graphKeyFor(graph, abs) ?? abs, name, seen);
+        if (found)
+            return found;
+    }
+    return null;
+}
+/** The package export `name` names through `export *`, for a name no parsed
+ *  branch exports: the `export *` targets outside the graph, collected through
+ *  `file`'s parsed `export *` targets, must be exactly one, and a package.
+ *  Null otherwise, and always for `default`, which `export *` never
+ *  re-exports. */
+function packageStarExport(graph, file, name, path, seen) {
+    if (name === "default")
+        return null;
+    const outside = [];
+    const visit = (f) => {
+        if (seen.has(f))
+            return;
+        seen.add(f);
+        const fileGraph = graph.files.get(f);
+        if (!fileGraph)
+            return;
+        for (const star of fileGraph.exports) {
+            if (star.kind !== "star")
+                continue;
+            const target = moduleTarget(graph, f, star.from, name, path);
+            if (target.kind === "parsed")
+                visit(target.key);
+            else
+                outside.push(target.binding);
+        }
+    };
+    visit(file);
+    return outside.length === 1 && outside[0]?.kind === "package-export" ? outside[0] : null;
+}
+/** The export record the re-export chain finds for `name` in `file` (already
+ *  recorded in `chain`): `export *` targets in source order, skipping one
+ *  whose `file::name` the chain has already sought and recording each one
+ *  visited. Transitional: a second `export *` traversal that reproduces the
+ *  chain end a walk named before the resolver; removed with `WalkIdentity`. */
+function recordOnChain(graph, file, name, chain) {
+    const fileGraph = graph.files.get(file);
+    if (!fileGraph)
+        return null;
+    const record = exportRecordFor(fileGraph, name);
+    if (record)
+        return { record, fileGraph };
+    for (const star of fileGraph.exports) {
+        if (star.kind !== "star")
+            continue;
+        const abs = graph.moduleResolver(file, star.from);
+        if (!abs)
+            continue;
+        const next = graphKeyFor(graph, abs);
+        if (next === null || soughtAgain(chain, next, name))
+            continue;
+        const found = recordOnChain(graph, next, name, chain);
+        if (found)
+            return found;
+    }
+    return null;
+}
+/** The binding export record `exp` of `fg` names, and where the re-export
+ *  chain ends: a relative imported local is followed, any other imported
+ *  local ends at `fg`; an `export … from` hop ends at the target's graph key
+ *  unless the chain continues there. */
+function bindingForRecord(graph, fg, exp, name, path, guard, chain) {
+    if (exp.kind === "star")
+        return { binding: NO_EXPORT, end: null };
+    if ("local" in exp) {
+        const here = { file: fg.filePath, name: exp.local };
+        if (guard.push(fg.filePath, exp.local) !== "ok")
+            return { binding: NO_EXPORT, end: here };
+        try {
+            const ref = { symbol: exp.local, scope: MODULE_SCOPE, memberChain: [...path], loc: { line: 0, column: 0 } };
+            const found = bindingIn(graph, fg, ref, guard, chain);
+            const b = found.binding;
+            const followed = found.module !== undefined &&
+                found.module.imported !== "*" &&
+                packageNameFromSpecifier(found.module.specifier) === null &&
+                found.module.target.kind === "parsed";
+            return {
+                binding: b.kind === "declaration" ? { ...b, inScope: false } : leftGraphThrough(b, fg.filePath),
+                end: (followed ? found.end : null) ?? here,
+            };
+        }
+        finally {
+            guard.pop(fg.filePath, exp.local);
+        }
+    }
+    const target = moduleTarget(graph, fg.filePath, exp.from, exp.fromImported, path);
+    if (target.kind === "outside") {
+        const end = target.graphKey === null ? { file: fg.filePath, name } : { file: target.graphKey, name: exp.fromImported };
+        return { binding: leftGraphThrough(target.binding, null), end };
+    }
+    const next = { file: target.key, name: exp.fromImported };
+    const again = soughtAgain(chain, target.key, exp.fromImported);
+    const found = findExportRecord(graph, target.key, exp.fromImported, new Set());
+    if (!found)
+        return { binding: packageStarExport(graph, target.key, exp.fromImported, path, new Set()) ?? NO_EXPORT, end: next };
+    if (guard.push(fg.filePath, exp.exportedAs) !== "ok")
+        return { binding: NO_EXPORT, end: next };
+    try {
+        const inner = followRecord(graph, found, target.key, exp.fromImported, path, guard, chain);
+        return { binding: inner.binding, end: (again ? null : inner.end) ?? next };
+    }
+    finally {
+        guard.pop(fg.filePath, exp.exportedAs);
+    }
+}
+/** Mark an unparsed binding reached through a parsed file. The innermost mark
+ *  wins. */
+function leftGraphThrough(b, barrel) {
+    if (b.kind === "unparsed" && b.mainGap === undefined) {
+        return { ...b, mainGap: { kind: "through-parsed-barrel", barrel } };
+    }
+    return b;
+}
+/** The binding with the identity a walk credits for its import, where that
+ *  differs from `bindingIdentity`'s own: a package specifier into a parsed
+ *  file names the file its re-export chain ends at when that file is parsed,
+ *  else the import as written; a relative specifier names the chain's end,
+ *  else the import as written with the target's graph key as its resolved
+ *  file. A package export, unless reached as a namespace member, keeps its
+ *  own. Transitional: goes with `WalkIdentity`. */
+function withWalkIdentity(graph, found, memberChain) {
+    const { binding, module } = found;
+    if (module === undefined)
+        return binding;
+    if (binding.kind === "package-export" && binding.mainGap === undefined)
+        return binding;
+    const { specifier, imported, target } = module;
+    const name = effectiveExportName(imported, memberChain);
+    const residual = residualMemberChain(imported, memberChain);
+    const isPackage = packageNameFromSpecifier(specifier) !== null;
+    const asWritten = (resolvedFile) => ({
+        kind: "imported",
+        specifier,
+        imported: compoundExportName(name, residual),
+        resolvedFile,
+    });
+    const local = (file, exportName) => ({
+        kind: "local",
+        filePath: file,
+        export: compoundExportName(exportName, residual),
+    });
+    let walked;
+    if (target.kind === "outside") {
+        if (isPackage || target.member || binding.kind !== "unparsed")
+            return binding;
+        walked = asWritten(target.graphKey);
+    }
+    else if (isPackage) {
+        const file = found.end?.file ?? target.key;
+        walked = graph.files.has(file) ? local(file, found.end?.name ?? name) : asWritten(null);
+    }
+    else {
+        walked = found.end ? local(found.end.file, found.end.name) : asWritten(target.key);
+    }
+    return sameIdentity(walked, naturalIdentity(binding)) ? binding : { ...binding, walkIdentity: walked };
+}
+/** Transitional: goes with `WalkIdentity`. */
+function sameIdentity(a, b) {
+    if (b === null || a.kind !== b.kind)
+        return false;
+    if (a.kind === "local" && b.kind === "local")
+        return a.filePath === b.filePath && a.export === b.export;
+    if (a.kind === "imported" && b.kind === "imported") {
+        return a.specifier === b.specifier && a.imported === b.imported && a.resolvedFile === b.resolvedFile;
+    }
+    return false;
+}
+/** The value a binding names: a declaration's value wrapped in `MemberOf`
+ *  per `path` segment, a package export's library stub, else `Unknown`. */
+export function bindingValue(binding) {
+    switch (binding.kind) {
+        case "declaration": {
+            if (binding.mainGap === "namespace-member")
+                return { kind: "Unknown" };
+            let value = binding.decl.value;
+            for (const member of binding.path)
+                value = { kind: "MemberOf", obj: value, member };
+            return value;
+        }
+        case "package-export":
+            return binding.mainGap === "namespace-member" ? { kind: "Unknown" } : (binding.stub ?? { kind: "Unknown" });
+        default:
+            return { kind: "Unknown" };
+    }
+}
+/** The identity a binding names: its `walkIdentity` when it carries one;
+ *  else a declaration or an unparsed file is local, a package export or a
+ *  failed import is the import as written. Only a declaration with nothing
+ *  left on its path carries the declaration. */
+export function bindingIdentity(binding) {
+    if (binding.walkIdentity !== undefined)
+        return binding.walkIdentity;
+    return naturalIdentity(binding);
+}
+function naturalIdentity(binding) {
+    switch (binding.kind) {
+        case "declaration":
+            return {
+                kind: "local",
+                filePath: binding.file,
+                export: compoundExportName(binding.decl.symbol, binding.path),
+                ...(binding.path.length === 0 ? { declaration: binding.decl } : {}),
+            };
+        case "unparsed":
+            return { kind: "local", filePath: binding.file, export: compoundExportName(binding.exportName, binding.path) };
+        case "package-export":
+        case "import-failed":
+            return {
+                kind: "imported",
+                specifier: binding.specifier,
+                imported: compoundExportName(binding.exportName, binding.path),
+                resolvedFile: null,
+            };
+        default:
+            return null;
+    }
+}
+/** A workspace member's `unparsed` binding, reached directly, pinned to the
+ *  definition the host's `resolveLocalDefinition` finds for it; the resolved
+ *  entry when the host finds none. Any other binding is returned unchanged. */
+export function pinUnparsed(graph, binding) {
+    // Transitional: an unparsed binding reached through a parsed file stays
+    // unpinned, as before the resolver; removed when it is pinned (#628).
+    if (binding.kind !== "unparsed" || binding.mainGap !== undefined || !isAbsolute(binding.file))
+        return binding;
+    if (graph.workspaceMembership?.(binding.file) !== true)
+        return binding;
+    const def = graph.resolveLocalDefinition?.(binding.file, binding.exportName) ?? null;
+    return def === null ? binding : { ...binding, file: def.absFile, exportName: def.exportName };
+}
+//# sourceMappingURL=binding.js.map

package/dist/engine/binding.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"binding.js","sourceRoot":"","sources":["../../src/engine/binding.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAEvC,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,gBAAgB,EAAmB,MAAM,sBAAsB,CAAC;AACzE,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACpD,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AACpG,OAAO,EAAE,wBAAwB,EAAE,MAAM,gBAAgB,CAAC;AAoD1D,MAAM,SAAS,GAAY,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;AACjD,MAAM,OAAO,GAAY,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;AAsB7C;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAAC,SAAoB,EAAE,GAAc;IACvE,IAAI,KAAK,GAAY,GAAG,CAAC,KAAK,CAAC;IAC/B,OAAO,IAAI,EAAE,CAAC;QACZ,MAAM,IAAI,GAAG,SAAS,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,KAAK,KAAK,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;QACnE,IAAI,IAAI;YAAE,OAAO,IAAI,CAAC;QACtB,IAAI,KAAK,KAAK,YAAY;YAAE,OAAO,IAAI,CAAC;QACxC,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;QACnD,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QACzD,KAAK,GAAG,MAAM,CAAC;IACjB,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAAC,KAAY,EAAE,GAAc,EAAE,QAAmB;IAC/E,IAAI,CAAC,GAAG,CAAC,UAAU,IAAI,GAAG,CAAC,UAAU,KAAK,QAAQ,CAAC,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC7E,OAAO,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,QAAQ,CAAC;AACrD,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,WAAW,CAAC,KAAY,EAAE,GAAW;IACnD,OAAO,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;AACtE,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,eAAe,CAAC,SAAoB,EAAE,IAAY;IAChE,OAAO,SAAS,CAAC,OAAO,CAAC,IAAI,CAC3B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,UAAU,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,CAAC,CACrG,CAAC;AACJ,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,cAAc,CAC5B,KAAY,EACZ,SAAoB,EACpB,GAAc,EACd,QAAoB,gBAAgB,EAAE;IAEtC,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,EAAE,eAAe,CAAC,KAAK,EAAE,GAAG,EAAE,SAAS,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;IAC9F,OAAO,gBAAgB,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC;AACzD,CAAC;AAED;6DAC6D;AAC7D,MAAM,UAAU,mBAAmB,CACjC,KAAY,EACZ,QAAgB,EAChB,SAAiB,EACjB,QAAgB,EAChB,WAA8B,EAC9B,QAAoB,gBAAgB,EAAE;IAEtC,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;IAChG,OAAO,gBAAgB,CAAC,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,EAAE,EAAE,WAAW,CAAC,CAAC;AACnH,CAAC;AAED;sCACsC;AACtC,SAAS,SAAS,CAAC,KAAY,EAAE,SAAoB,EAAE,GAAc,EAAE,KAAiB,EAAE,KAAkB;IAC1G,MAAM,IAAI,GAAG,oBAAoB,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;IAClD,IAAI,IAAI,EAAE,CAAC;QACT,OAAO,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,WAAW,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;IAC/H,CAAC;IACD,MAAM,GAAG,GAAG,SAAS,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACrD,IAAI,CAAC,GAAG;QAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;IACjD,MAAM,IAAI,GAAG,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACtC,IAAI,IAAI,EAAE,CAAC;QACT,MAAM,OAAO,GAAY;YACvB,IAAI,EAAE,gBAAgB;YACtB,SAAS,EAAE,GAAG,CAAC,SAAS;YACxB,UAAU,EAAE,mBAAmB,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,WAAW,CAAC;YAC9D,IAAI,EAAE,mBAAmB,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,WAAW,CAAC;YACxD,IAAI;SACL,CAAC;QACF,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;IAChC,CAAC;IACD,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,SAAS,CAAC,QAAQ,EAAE,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,WAAW,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IAClH,OAAO,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;AAC1G,CAAC;AAED,SAAS,YAAY,CACnB,KAAY,EACZ,QAAgB,EAChB,SAAiB,EACjB,QAAgB,EAChB,WAA8B,EAC9B,KAAiB,EACjB,KAAkB;IAElB,MAAM,UAAU,GAAG,mBAAmB,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;IAC9D,MAAM,IAAI,GAAG,mBAAmB,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;IACxD,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;IAC1E,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACrF,IAAI,QAAQ,KAAK,GAAG,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACnG,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IAC1E,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC;IACxB,IAAI,QAAQ,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,IAAI,CAAC,CAAC,IAAI,KAAK,gBAAgB,CAAC,EAAE,CAAC;QAClF,OAAO,EAAE,OAAO,EAAE,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,kBAAkB,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC;IACpF,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC;AAChD,CAAC;AAED,mEAAmE;AACnE,SAAS,YAAY,CACnB,KAAY,EACZ,QAAgB,EAChB,SAAiB,EACjB,UAAkB,EAClB,IAAuB;IAEvB,MAAM,SAAS,GAAG,wBAAwB,CAAC,SAAS,CAAC,KAAK,IAAI,CAAC;IAC/D,MAAM,GAAG,GAAG,KAAK,CAAC,cAAc,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IACtD,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,MAAM,OAAO,GAAY,SAAS;YAChC,CAAC,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,SAAS,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE;YACrE,CAAC,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,SAAS,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;QAC3D,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;IACrE,CAAC;IACD,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACzC,MAAM,GAAG,GAAG,QAAQ,IAAI,GAAG,CAAC;IAC5B,IAAI,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;IACzD,IAAI,KAAK,CAAC,mBAAmB,EAAE,CAAC,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC;QAC9C,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IACjH,CAAC;IACD,MAAM,OAAO,GAAY,SAAS;QAChC,CAAC,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,SAAS,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE;QACrE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;IACtD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;AAC/D,CAAC;AAED,4DAA4D;AAC5D,SAAS,QAAQ,CACf,KAAY,EACZ,IAAY,EACZ,IAAY,EACZ,IAAuB,EACvB,KAAiB,EACjB,KAAkB;IAElB,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC7C,MAAM,KAAK,GAAG,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;IAC7D,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,OAAO,EAAE,iBAAiB,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,GAAG,EAAE,CAAC,IAAI,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;IAC9G,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IACzE,OAAO,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;AAC/D,CAAC;AAED;;;;kDAIkD;AAClD,SAAS,YAAY,CACnB,KAAY,EACZ,KAAqD,EACrD,IAAY,EACZ,IAAY,EACZ,IAAuB,EACvB,KAAiB,EACjB,KAAkB;IAElB,MAAM,OAAO,GAAG,aAAa,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IACxD,IAAI,OAAO,EAAE,MAAM,KAAK,KAAK,CAAC,MAAM;QAAE,OAAO,gBAAgB,CAAC,KAAK,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IAC9H,MAAM,EAAE,OAAO,EAAE,GAAG,gBAAgB,CAAC,KAAK,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;IAC9G,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,gBAAgB,CAAC,KAAK,EAAE,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;IACtH,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;AAC1B,CAAC;AAED,uFAAuF;AACvF,SAAS,WAAW,CAAC,KAAkB,EAAE,IAAY,EAAE,IAAY;IACjE,MAAM,GAAG,GAAG,GAAG,IAAI,KAAK,IAAI,EAAE,CAAC;IAC/B,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAChC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACf,OAAO,KAAK,CAAC;AACf,CAAC;AAED;2DAC2D;AAC3D,SAAS,gBAAgB,CACvB,KAAY,EACZ,IAAY,EACZ,IAAY,EACZ,IAAiB;IAEjB,MAAM,OAAO,GAAG,GAAG,IAAI,KAAK,IAAI,EAAE,CAAC;IACnC,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAClB,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACxC,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IAC5B,MAAM,MAAM,GAAG,eAAe,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;IAChD,IAAI,MAAM;QAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IACzC,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,OAAO,EAAE,CAAC;QACrC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,SAAS;QACnC,MAAM,GAAG,GAAG,KAAK,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAClD,IAAI,CAAC,GAAG;YAAE,SAAS;QACnB,MAAM,KAAK,GAAG,gBAAgB,CAAC,KAAK,EAAE,WAAW,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAClF,IAAI,KAAK;YAAE,OAAO,KAAK,CAAC;IAC1B,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;kBAIkB;AAClB,SAAS,iBAAiB,CACxB,KAAY,EACZ,IAAY,EACZ,IAAY,EACZ,IAAuB,EACvB,IAAiB;IAEjB,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACpC,MAAM,OAAO,GAAc,EAAE,CAAC;IAC9B,MAAM,KAAK,GAAG,CAAC,CAAS,EAAQ,EAAE;QAChC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,OAAO;QACxB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACZ,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACrC,IAAI,CAAC,SAAS;YAAE,OAAO;QACvB,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,OAAO,EAAE,CAAC;YACrC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;gBAAE,SAAS;YACnC,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;YAC7D,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ;gBAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;;gBAC3C,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACpC,CAAC;IACH,CAAC,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,CAAC;IACZ,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,gBAAgB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC3F,CAAC;AAED;;;;+EAI+E;AAC/E,SAAS,aAAa,CACpB,KAAY,EACZ,IAAY,EACZ,IAAY,EACZ,KAAkB;IAElB,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACxC,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IAC5B,MAAM,MAAM,GAAG,eAAe,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;IAChD,IAAI,MAAM;QAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IACzC,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,OAAO,EAAE,CAAC;QACrC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,SAAS;QACnC,MAAM,GAAG,GAAG,KAAK,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAClD,IAAI,CAAC,GAAG;YAAE,SAAS;QACnB,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACrC,IAAI,IAAI,KAAK,IAAI,IAAI,WAAW,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC;YAAE,SAAS;QAC9D,MAAM,KAAK,GAAG,aAAa,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QACtD,IAAI,KAAK;YAAE,OAAO,KAAK,CAAC;IAC1B,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;wCAGwC;AACxC,SAAS,gBAAgB,CACvB,KAAY,EACZ,EAAa,EACb,GAAiB,EACjB,IAAY,EACZ,IAAuB,EACvB,KAAiB,EACjB,KAAkB;IAElB,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;IAClE,IAAI,OAAO,IAAI,GAAG,EAAE,CAAC;QACnB,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC;QACpD,IAAI,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,EAAE,GAAG,CAAC,KAAK,CAAC,KAAK,IAAI;YAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;QAC1F,IAAI,CAAC;YACH,MAAM,GAAG,GAAc,EAAE,MAAM,EAAE,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,YAAY,EAAE,WAAW,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACvH,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;YACtD,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC;YACxB,MAAM,QAAQ,GACZ,KAAK,CAAC,MAAM,KAAK,SAAS;gBAC1B,KAAK,CAAC,MAAM,CAAC,QAAQ,KAAK,GAAG;gBAC7B,wBAAwB,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,IAAI;gBACzD,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC;YACxC,OAAO;gBACL,OAAO,EAAE,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC;gBAC/F,GAAG,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,IAAI;aAC3C,CAAC;QACJ,CAAC;gBAAS,CAAC;YACT,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QACpC,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;IAClF,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC9B,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,CAAC,YAAY,EAAE,CAAC;QACvH,OAAO,EAAE,OAAO,EAAE,gBAAgB,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;IAClE,CAAC;IACD,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,YAAY,EAAE,CAAC;IAC1D,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;IAC/D,MAAM,KAAK,GAAG,gBAAgB,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,YAAY,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;IAC/E,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,OAAO,EAAE,iBAAiB,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,YAAY,EAAE,IAAI,EAAE,IAAI,GAAG,EAAE,CAAC,IAAI,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;IAChI,IAAI,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,EAAE,GAAG,CAAC,UAAU,CAAC,KAAK,IAAI;QAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;IAC/F,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,YAAY,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QAC3F,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC;IAC7E,CAAC;YAAS,CAAC;QACT,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;IACzC,CAAC;AACH,CAAC;AAED;YACY;AACZ,SAAS,gBAAgB,CAAC,CAAU,EAAE,MAAqB;IACzD,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QACrD,OAAO,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,uBAAuB,EAAE,MAAM,EAAE,EAAE,CAAC;IACtE,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED;;;;;;mDAMmD;AACnD,SAAS,gBAAgB,CAAC,KAAY,EAAE,KAAY,EAAE,WAA8B;IAClF,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IAClC,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC;IACzC,IAAI,OAAO,CAAC,IAAI,KAAK,gBAAgB,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC;IACvF,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC;IAC/C,MAAM,IAAI,GAAG,mBAAmB,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;IACxD,MAAM,QAAQ,GAAG,mBAAmB,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;IAC5D,MAAM,SAAS,GAAG,wBAAwB,CAAC,SAAS,CAAC,KAAK,IAAI,CAAC;IAC/D,MAAM,SAAS,GAAG,CAAC,YAA2B,EAAgB,EAAE,CAAC,CAAC;QAChE,IAAI,EAAE,UAAU;QAChB,SAAS;QACT,QAAQ,EAAE,kBAAkB,CAAC,IAAI,EAAE,QAAQ,CAAC;QAC5C,YAAY;KACb,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,UAAkB,EAAgB,EAAE,CAAC,CAAC;QACjE,IAAI,EAAE,OAAO;QACb,QAAQ,EAAE,IAAI;QACd,MAAM,EAAE,kBAAkB,CAAC,UAAU,EAAE,QAAQ,CAAC;KACjD,CAAC,CAAC;IACH,IAAI,MAAoB,CAAC;IACzB,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC9B,IAAI,SAAS,IAAI,MAAM,CAAC,MAAM,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU;YAAE,OAAO,OAAO,CAAC;QAC9E,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IACtC,CAAC;SAAM,IAAI,SAAS,EAAE,CAAC;QACrB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,EAAE,IAAI,IAAI,MAAM,CAAC,GAAG,CAAC;QAC3C,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,EAAE,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAC1F,CAAC;SAAM,CAAC;QACN,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACrF,CAAC;IACD,OAAO,YAAY,CAAC,MAAM,EAAE,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC;AACzG,CAAC;AAED,8CAA8C;AAC9C,SAAS,YAAY,CAAC,CAAe,EAAE,CAAmB;IACxD,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IAClD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,CAAC;IACxG,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACnD,OAAO,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,YAAY,KAAK,CAAC,CAAC,YAAY,CAAC;IACvG,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;2EAC2E;AAC3E,MAAM,UAAU,YAAY,CAAC,OAAgB;IAC3C,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,IAAI,OAAO,CAAC,OAAO,KAAK,kBAAkB;gBAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;YACvE,IAAI,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC;YAC/B,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,IAAI;gBAAE,KAAK,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;YACpF,OAAO,KAAK,CAAC;QACf,CAAC;QACD,KAAK,gBAAgB;YACnB,OAAO,OAAO,CAAC,OAAO,KAAK,kBAAkB,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;QAC9G;YACE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IAC/B,CAAC;AACH,CAAC;AAED;;;gDAGgD;AAChD,MAAM,UAAU,eAAe,CAAC,OAAgB;IAC9C,IAAI,OAAO,CAAC,YAAY,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC,YAAY,CAAC;IACpE,OAAO,eAAe,CAAC,OAAO,CAAC,CAAC;AAClC,CAAC;AAED,SAAS,eAAe,CAAC,OAAgB;IACvC,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,aAAa;YAChB,OAAO;gBACL,IAAI,EAAE,OAAO;gBACb,QAAQ,EAAE,OAAO,CAAC,IAAI;gBACtB,MAAM,EAAE,kBAAkB,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC;gBAC7D,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACpE,CAAC;QACJ,KAAK,UAAU;YACb,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,kBAAkB,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACjH,KAAK,gBAAgB,CAAC;QACtB,KAAK,eAAe;YAClB,OAAO;gBACL,IAAI,EAAE,UAAU;gBAChB,SAAS,EAAE,OAAO,CAAC,SAAS;gBAC5B,QAAQ,EAAE,kBAAkB,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,IAAI,CAAC;gBAC9D,YAAY,EAAE,IAAI;aACnB,CAAC;QACJ;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED;;+EAE+E;AAC/E,MAAM,UAAU,WAAW,CAAoB,KAAY,EAAE,OAAU;IACrE,wEAAwE;IACxE,sEAAsE;IACtE,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,OAAO,CAAC;IAC9G,IAAI,KAAK,CAAC,mBAAmB,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,OAAO,CAAC;IACvE,MAAM,GAAG,GAAG,KAAK,CAAC,sBAAsB,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC;IACrF,OAAO,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,OAAO,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,CAAC;AAChG,CAAC"}

package/dist/engine/component-shape.d.ts

@@ -1,6 +1,7 @@
 import type { FileGraph, Graph, InferredType } from "../index.js";
 import { type ArgumentMap } from "./argument-map.js";
 import { type CycleGuard } from "./cycle-detection.js";
+import type { OpaqueSemantics } from "./denotation.js";
 /**
  * THE component-shape predicate. Reduces an InferredType
  * to what its VALUE is:
@@ -18,8 +19,8 @@ import { type CycleGuard } from "./cycle-detection.js";
  * not "jsx", so the outer function is "other" — a factory. That single rule
  * separates `createField` from its products. Do not add a second
  * implementation anywhere; every
- * caller — registry membership, owner classification, occurrence admission —
- * calls this one. Named in docs/CONTEXT.md ("Component-shape seam").
+ * caller — registry membership and the registry's component judge, owner
+ * classification — calls this one. Named in docs/CONTEXT.md ("Component-shape seam").
  */
 export type ValueKind = "jsx" | "component" | "unresolved" | "other";
 export declare function evalKind(type: InferredType, graph: Graph, fileGraph: FileGraph, argMap?: ArgumentMap, guard?: CycleGuard): ValueKind;
@@ -36,6 +37,20 @@ export declare function isComponentShaped(type: InferredType, graph: Graph, file
  *  plain params (not this module's private `Ctx`) so a caller outside this
  *  file doesn't need to construct one. */
 export declare function isImportBackedLeaf(t: InferredType, graph: Graph, fileGraph: FileGraph, guard: CycleGuard): boolean;
+/**
+ * The semantics of the non-component value a call produces: the stub table's
+ * entry for the callee's export, when the callee is an import the graph cannot
+ * see (`isImportBackedLeaf`, the same predicate the unseen-hook rule uses).
+ * Null for every other call. Exported: `walkReturnTypeOf` names such a call's
+ * product from it, and `evalCall` below answers "other" for it; neither
+ * re-derives it.
+ *
+ * The callee's spelling is read through `libraryExportFor`, the one table
+ * `libraryStubFor` reads: a reference (a named import, or a default /
+ * namespace import carrying the member on the ref) or a member access on one
+ * (`React.createContext`).
+ */
+export declare function nonComponentProduct(graph: Graph, fileGraph: FileGraph, callee: InferredType, guard: CycleGuard): OpaqueSemantics | null;
 /** Answers "is there an `import()` anywhere in this value" — for reporting
  *  only. It descends every node kind that can hold one and never claims a
  *  projection, so the specifier it hands back names the import the diagnostic
@@ -47,3 +62,12 @@ export declare function isImportBackedLeaf(t: InferredType, graph: Graph, fileGr
 export declare function firstDynamicImport(t: InferredType): Extract<InferredType, {
     kind: "DynamicImport";
 }> | null;
+/** True when there is an `import()` anywhere in this value, by
+ *  `firstDynamicImport`'s descent; it claims no projection. Given `at`, a
+ *  reference is followed once: the binding it names is found scope-aware in
+ *  the file the reference was written in, and that binding's value is
+ *  searched with no further peek. */
+export declare function containsDynamicImport(t: InferredType, at?: {
+    graph: Graph;
+    fileGraph: FileGraph;
+}): boolean;