@flanksource/clicky-ui 0.3.45 → 0.3.47

package/dist/data/call-graph/CallGraph.cjs

@@ -4,6 +4,7 @@ const jsxRuntime = require("react/jsx-runtime");
 const react = require("react");
 const button = require("../../components/button.cjs");
 const utils = require("../../lib/utils.cjs");
+const AccessMark = require("../AccessMark.cjs");
 const GraphDiagram = require("../GraphDiagram.cjs");
 const callGraphExclude = require("./call-graph-exclude.cjs");
 const callGraphModel = require("./call-graph-model.cjs");
@@ -26,7 +27,7 @@ function Alert({ message }) {
   if (!message) return null;
   return /* @__PURE__ */ jsxRuntime.jsx("div", { role: "alert", className: "whitespace-pre-wrap rounded-md border border-destructive p-3 text-sm text-destructive", children: message });
 }
-const ACCESS_WORDS = { call: "Calls", read: "Reads", write: "Writes" };
+const ACCESS_WORDS = { call: "Calls", read: "Reads", write: "Writes", variable: "Variables" };
 function accessWords(access) {
   return access.map((type) => ACCESS_WORDS[type]).join(" and ");
 }
@@ -43,7 +44,11 @@ function CallGraph(props) {
   const [exclude, setExclude] = useCallGraph.useHeld(props.exclude, props.onExcludeChange);
   const [access, setAccess] = useCallGraph.useHeld(props.access ?? [...types.CALL_GRAPH_ACCESS], props.onAccessChange);
   const [columns, setColumns] = useCallGraph.useHeld(props.columns ?? false, props.onColumnsChange);
-  if (access.length === 0) throw new Error("call graph: access must name at least one of call, read and write");
+  const [collapsedGroups, setCollapsedGroups] = useCallGraph.useHeld(props.collapsedGroups ?? [], props.onCollapsedGroupsChange);
+  if (callGraphModel.baseAccess(access).length === 0) throw new Error("call graph: access must name at least one of call, read and write");
+  if (access.includes("variable") && !(props.dataAccess && props.variableAccess)) {
+    throw new Error("call graph: access names variable, but the host does not offer variableAccess");
+  }
   const [ownSelection, setOwnSelection] = react.useState();
   const request = root === void 0 ? void 0 : { root, direction, depth, exclude, access, columns, purpose: "load" };
   const key = `call-graph:${JSON.stringify([request ?? null, props.fetchKey ?? null])}`;
@@ -76,36 +81,42 @@ function CallGraph(props) {
   const glyphs = react.useMemo(() => ({
     node: (glyph, words) => /* @__PURE__ */ jsxRuntime.jsx(CallGraphGlyphs.NodeGlyphIcon, { vocabulary, glyph, title: words }),
     edge: (type) => type === "call" ? void 0 : /* @__PURE__ */ jsxRuntime.jsx(CallGraphGlyphs.EdgeTypeGlyph, { type, title: labels[type] }),
-    group: (caption) => /* @__PURE__ */ jsxRuntime.jsx(CallGraphGlyphs.GroupCaption, { icon: vocabulary.group.icon, caption })
+    group: (caption, glyph) => /* @__PURE__ */ jsxRuntime.jsx(CallGraphGlyphs.GroupCaption, { icon: glyph === void 0 ? vocabulary.group.icon : callGraphVocabulary.requireGlyph(vocabulary, glyph).icon, caption }),
+    access: (access2) => /* @__PURE__ */ jsxRuntime.jsx(AccessMark.AccessMark, { access: access2 })
   }), [vocabulary, labels.dispatch, labels.read, labels.write]);
   const guardLabel = props.guardLabel ?? "innermost";
   const diagram = react.useMemo(
-    () => graph && visible && callGraphModel.toDiagram({ graph, visible, direction, options: { ...OPTIONS, guardLabel }, glyphs, vocabulary, edgeLabels: labels }),
-    [graph, visible, direction, guardLabel, glyphs, vocabulary, labels.call, labels.dispatch, labels.read, labels.write]
+    () => graph && visible && callGraphModel.toDiagram({ graph, visible, direction, options: { ...OPTIONS, guardLabel }, glyphs, vocabulary, edgeLabels: labels, collapsed: collapsedGroups }),
+    [graph, visible, direction, guardLabel, glyphs, vocabulary, labels.call, labels.dispatch, labels.read, labels.write, collapsedGroups]
   );
+  const drawn = diagram == null ? void 0 : diagram.drawn;
+  const collapsible = react.useMemo(() => graph && visible ? callGraphModel.collapsibleGroups(graph, visible) : [], [graph, visible]);
+  const toggleGroup = (id) => setCollapsedGroups(collapsedGroups.includes(id) ? collapsedGroups.filter((entry) => entry !== id) : [...collapsedGroups, id]);
   const rootId = graph == null ? void 0 : graph.roots[0];
   const selection = props.onSelectedChange ? props.selected : (ownSelection == null ? void 0 : ownSelection.key) === (shown == null ? void 0 : shown.key) ? ownSelection == null ? void 0 : ownSelection.selected : void 0;
   const select = (next) => {
     if (props.onSelectedChange) props.onSelectedChange(next);
     else setOwnSelection(next && shown ? { key: shown.key, selected: next } : void 0);
   };
-  const openAction = (node, drawn) => {
+  const openAction = (node, drawn2) => {
     var _a2;
     const { onOpenNode, canOpenNode } = props;
-    const accepted = onOpenNode && ((canOpenNode == null ? void 0 : canOpenNode(node, drawn)) ?? true) ? () => onOpenNode(node, drawn) : void 0;
-    return action((_a2 = props.nodeHref) == null ? void 0 : _a2.call(props, node, drawn), accepted);
+    const accepted = onOpenNode && ((canOpenNode == null ? void 0 : canOpenNode(node, drawn2)) ?? true) ? () => onOpenNode(node, drawn2) : void 0;
+    return action((_a2 = props.nodeHref) == null ? void 0 : _a2.call(props, node, drawn2), accepted);
   };
-  const selectedNode = (selection == null ? void 0 : selection.kind) === "node" ? visible == null ? void 0 : visible.nodes.find((node) => node.id === selection.id) : void 0;
-  const selectedEdge = (selection == null ? void 0 : selection.kind) === "edge" ? visible == null ? void 0 : visible.edges.find((edge) => edge.id === selection.id) : void 0;
-  const guards = useCallGraph.useSiteGuards(props.loadSiteGuards, shown == null ? void 0 : shown.key, selectedEdge, graph);
+  const selectedNode = (selection == null ? void 0 : selection.kind) === "node" ? drawn == null ? void 0 : drawn.visible.nodes.find((node) => node.id === selection.id) : void 0;
+  const selectedEdge = (selection == null ? void 0 : selection.kind) === "edge" ? drawn == null ? void 0 : drawn.visible.edges.find((edge) => edge.id === selection.id) : void 0;
+  const mergedEdge = selectedEdge !== void 0 && (drawn == null ? void 0 : drawn.merged.has(selectedEdge.id)) === true;
+  const standIn = selectedNode !== void 0 && (drawn == null ? void 0 : drawn.folds.has(selectedNode.id)) === true;
+  const guards = useCallGraph.useSiteGuards(props.loadSiteGuards, shown == null ? void 0 : shown.key, mergedEdge ? void 0 : selectedEdge, graph);
   const expansion = (expanding == null ? void 0 : expanding.request.key) === key ? expanding : void 0;
-  const expand = async (drawn, id) => {
+  const expand = async (drawn2, id) => {
     var _a2, _b2;
-    if (drawn.key !== activeKey.current) return;
-    if (((_a2 = pendingExpansion.current) == null ? void 0 : _a2.key) === drawn.key && pendingExpansion.current.nodeId === id) return;
+    if (drawn2.key !== activeKey.current) return;
+    if (((_a2 = pendingExpansion.current) == null ? void 0 : _a2.key) === drawn2.key && pendingExpansion.current.nodeId === id) return;
     (_b2 = pendingExpansion.current) == null ? void 0 : _b2.controller.abort();
-    const node = callGraphModel.requireNode(drawn.graph, id);
-    const request2 = { key: drawn.key, nodeId: id, label: node.label, controller: new AbortController() };
+    const node = callGraphModel.requireNode(drawn2.graph, id);
+    const request2 = { key: drawn2.key, nodeId: id, label: node.label, controller: new AbortController() };
     pendingExpansion.current = request2;
     setExpanding({ request: request2 });
     try {
@@ -119,15 +130,15 @@ function CallGraph(props) {
         purpose: "expand",
         signal: request2.controller.signal
       });
-      if (request2.controller.signal.aborted || activeKey.current !== drawn.key || pendingExpansion.current !== request2) return;
+      if (request2.controller.signal.aborted || activeKey.current !== drawn2.key || pendingExpansion.current !== request2) return;
       setExpanded((held) => {
-        if (request2.controller.signal.aborted || activeKey.current !== drawn.key) return held;
-        const base = (held == null ? void 0 : held.key) === drawn.key ? held : drawn;
-        return { key: drawn.key, graph: callGraphModel.mergeGraph(base.graph, data), revealed: [...base.revealed, ...data.nodes.map((entry) => entry.id)] };
+        if (request2.controller.signal.aborted || activeKey.current !== drawn2.key) return held;
+        const base = (held == null ? void 0 : held.key) === drawn2.key ? held : drawn2;
+        return { key: drawn2.key, graph: callGraphModel.mergeGraph(base.graph, data), revealed: [...base.revealed, ...data.nodes.map((entry) => entry.id)] };
       });
       setExpanding((current) => (current == null ? void 0 : current.request) === request2 ? void 0 : current);
     } catch (error) {
-      if (request2.controller.signal.aborted || activeKey.current !== drawn.key || pendingExpansion.current !== request2) return;
+      if (request2.controller.signal.aborted || activeKey.current !== drawn2.key || pendingExpansion.current !== request2) return;
       setExpanding((current) => (current == null ? void 0 : current.request) === request2 ? { request: request2, error: `Cannot expand ${node.label}: ${useCallGraph.errorMessage(error)}` } : current);
     } finally {
       if (pendingExpansion.current === request2) pendingExpansion.current = void 0;
@@ -155,7 +166,13 @@ function CallGraph(props) {
         onExclude: (patterns) => setExclude(patterns),
         onDefaults: () => setExclude(void 0)
       } } : {},
-      ...props.dataAccess ? { data: { access, onAccess: setAccess, columns, onColumns: setColumns } } : {},
+      ...props.dataAccess ? { data: { access, onAccess: setAccess, columns, onColumns: setColumns, variables: props.variableAccess ?? false } } : {},
+      ...collapsible.length > 0 ? { groupCollapse: {
+        anyCollapsed: collapsedGroups.some((id) => collapsible.includes(id)),
+        anyExpanded: collapsible.some((id) => !collapsedGroups.includes(id)),
+        onExpandAll: () => setCollapsedGroups([]),
+        onCollapseAll: () => setCollapsedGroups(collapsible)
+      } } : {},
       onDirection: setDirection,
       onDepth: setDepth,
       onFit: () => setOpening({ nonce: opening.nonce + 1, fit: true }),
@@ -176,7 +193,7 @@ function CallGraph(props) {
     graph && ((_b = props.renderHeader) == null ? void 0 : _b.call(props, graph)),
     !shown && load.loading && /* @__PURE__ */ jsxRuntime.jsx(Notice, { children: "Loading call graph…" }),
     graph && !rootId && /* @__PURE__ */ jsxRuntime.jsx(Notice, { children: "The root resolved to no node in this scope." }),
-    graph && rootId && graph.edges.length === 0 && access.length < types.CALL_GRAPH_ACCESS.length && /* @__PURE__ */ jsxRuntime.jsx(Notice, { children: `Nothing is reachable with ${accessWords(access)} only.` }),
+    graph && rootId && graph.edges.length === 0 && callGraphModel.baseAccess(access).length < types.CALL_GRAPH_ACCESS.length && /* @__PURE__ */ jsxRuntime.jsx(Notice, { children: `Nothing is reachable with ${accessWords(callGraphModel.baseAccess(access))} only.` }),
     graph && rootId && graph.edges.length > 0 && !selectedEdge && !selectedNode && /* @__PURE__ */ jsxRuntime.jsx("p", { className: "text-xs text-muted-foreground", children: "Select an edge to list its sites, or a node to see its details." }),
     shown && graph && rootId && diagram && /* @__PURE__ */ jsxRuntime.jsxs("div", { className: "flex min-h-0 flex-1 gap-3", children: [
       /* @__PURE__ */ jsxRuntime.jsx("div", { className: utils.cn("relative min-h-64 min-w-0 flex-1 rounded-lg border border-border bg-background", load.loading && "opacity-60"), children: /* @__PURE__ */ jsxRuntime.jsx(
@@ -194,10 +211,12 @@ function CallGraph(props) {
           nodeWidth: NODE_WIDTH,
           nodeHeight: NODE_HEIGHT,
           compactNodeHeight: COMPACT_NODE_HEIGHT,
+          recordHeaderHeight: 24,
           columnGap: callGraphModel.columnGap(diagram),
           rowGap: ROW_GAP,
           className: "h-full",
           ariaLabel: `Call graph of ${callGraphModel.requireNode(graph, rootId).label}`,
+          onGroupToggle: toggleGroup,
           onNodeSelect: (id) => select({ kind: "node", id }),
           onEdgeSelect: (id) => select({ kind: "edge", id }),
           ...fresh ? { onNodeExpand: (id) => void expand(fresh, id) } : {},
@@ -209,15 +228,15 @@ function CallGraph(props) {
       (selectedEdge || selectedNode || expansion) && /* @__PURE__ */ jsxRuntime.jsxs("aside", { className: "w-80 max-w-[45%] shrink-0 overflow-y-auto rounded-lg border border-border bg-card p-3", "aria-label": "Selection", children: [
         expansion && /* @__PURE__ */ jsxRuntime.jsx("p", { role: "status", className: "mb-2 text-xs text-muted-foreground", children: expansion.error ?? `Loading more around ${expansion.request.label}…` }),
         (selectedEdge || selectedNode) && /* @__PURE__ */ jsxRuntime.jsx("div", { className: "mb-1 flex justify-end", children: /* @__PURE__ */ jsxRuntime.jsx(button.Button, { type: "button", size: "sm", variant: "ghost", "aria-label": "Close selection", onClick: () => select(void 0), children: "×" }) }),
-        selectedEdge ? /* @__PURE__ */ jsxRuntime.jsx(
+        selectedEdge && drawn ? /* @__PURE__ */ jsxRuntime.jsx(
           CallGraphParts.EdgeSites,
           {
             edge: selectedEdge,
-            graph,
+            graph: drawn.graph,
             labels,
             guards,
             lazyGuards: props.loadSiteGuards !== void 0,
-            siteAction: (props.siteHref || props.onRevealSite) && vocabulary.hasSource(callGraphModel.requireNode(graph, selectedEdge.from)) ? (site) => {
+            siteAction: (props.siteHref || props.onRevealSite) && !drawn.folds.has(selectedEdge.from) && vocabulary.hasSource(callGraphModel.requireNode(graph, selectedEdge.from)) ? (site) => {
               var _a2;
               return action((_a2 = props.siteHref) == null ? void 0 : _a2.call(props, site, selectedEdge, graph), props.onRevealSite && (() => {
                 var _a3;
@@ -225,17 +244,17 @@ function CallGraph(props) {
               })) ?? {};
             } : void 0
           }
-        ) : selectedNode && /* @__PURE__ */ jsxRuntime.jsx(
+        ) : selectedNode && drawn && /* @__PURE__ */ jsxRuntime.jsx(
           CallGraphParts.NodeDetails,
           {
             node: selectedNode,
-            graph,
+            graph: drawn.graph,
             vocabulary,
             isRoot: selectedNode.id === rootId,
             openLabel: props.openLabel ?? "Open",
-            opens: props.nodeHref !== void 0 || props.onOpenNode !== void 0,
-            open: openAction(selectedNode, graph),
-            onFocus: props.onFocusNode && ((id) => {
+            opens: !standIn && (props.nodeHref !== void 0 || props.onOpenNode !== void 0),
+            open: standIn ? void 0 : openAction(selectedNode, graph),
+            onFocus: standIn ? void 0 : props.onFocusNode && ((id) => {
               var _a2;
               return (_a2 = props.onFocusNode) == null ? void 0 : _a2.call(props, id, graph);
             })

package/dist/data/call-graph/CallGraph.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"CallGraph.cjs","sources":["../../../src/data/call-graph/CallGraph.tsx"],"sourcesContent":["// A call graph around one root: fetched through the host, with `+N` expansions merged in, the call\n// sites of a selected edge (guards fetched on selection when the host's graph leaves them out) and the\n// details of a selected node. It knows no language: the host's vocabulary names and draws node kinds,\n// and the host's callbacks open nodes and sites.\nimport { useEffect, useMemo, useRef, useState, type ReactNode } from \"react\";\nimport { Button } from \"../../components/button\";\nimport { cn } from \"../../lib/utils\";\nimport { GraphDiagram } from \"../GraphDiagram\";\nimport { matchesExclude, type ExcludeMatcher } from \"./call-graph-exclude\";\nimport type { GuardLabel } from \"./call-graph-labels\";\nimport {\n  CALL_GRAPH_DEFAULT_DEPTH,\n  CALL_GRAPH_MAX_DEPTH,\n  columnGap,\n  DEFAULT_EDGE_LABELS,\n  expansionDirection,\n  mergeGraph,\n  requireNode,\n  toDiagram,\n  visibleGraph,\n  type DiagramGlyphs,\n  type DiagramOptions,\n} from \"./call-graph-model\";\nimport { UIR_CALL_GRAPH_VOCABULARY, type CallGraphVocabulary } from \"./call-graph-vocabulary\";\nimport { EdgeTypeGlyph, GroupCaption, NodeGlyphIcon } from \"./CallGraphGlyphs\";\nimport { EdgeSites, Legend, NodeDetails, type CallGraphAction } from \"./CallGraphParts\";\nimport { CallGraphToolbar } from \"./CallGraphToolbar\";\nimport {\n  CALL_GRAPH_ACCESS,\n  type CallGraph as Graph,\n  type CallGraphAccess,\n  type CallGraphDirection,\n  type CallGraphEdge,\n  type CallGraphEdgeLabels,\n  type CallGraphFetchParams,\n  type CallGraphGroupFact,\n  type CallGraphNode,\n  type CallGraphSelection,\n  type CallGraphSite,\n} from \"./types\";\nimport { errorMessage, useGraphLoad, useHeld, useSiteGuards, type GraphRequest } from \"./use-call-graph\";\n\nexport interface CallGraphProps<G extends Graph = Graph> {\n  /** What the graph is drawn around, in the host's terms. Undefined shows `emptyMessage`. */\n  root: string | undefined;\n  /** Loads the graph around `params.root`, and one hop around a node for its `+N`. */\n  fetchGraph: (params: CallGraphFetchParams) => Promise<G>;\n  /** What else `fetchGraph` reads, such as the host's scope: part of the request's key, so a change refetches. */\n  fetchKey?: string;\n  /** Pass `onDirectionChange` to control it; without one the component holds it, starting here. */\n  direction?: CallGraphDirection;\n  onDirectionChange?: (direction: CallGraphDirection) => void;\n  depth?: number;\n  onDepthChange?: (depth: number) => void;\n  /** The exclusion patterns; undefined takes the host's defaults. Controlled with `onExcludeChange`. */\n  exclude?: string[] | undefined;\n  onExcludeChange?: (exclude: string[] | undefined) => void;\n  selected?: CallGraphSelection | undefined;\n  onSelectedChange?: (selected: CallGraphSelection | undefined) => void;\n  /** The source reports reads and writes of data: shows the Access toggles and the Columns switch. */\n  dataAccess?: boolean;\n  /** The edge types the host follows, never empty; all three by default. Controlled with `onAccessChange`. */\n  access?: CallGraphAccess[];\n  onAccessChange?: (access: CallGraphAccess[]) => void;\n  /** Columns and fields as nodes of their own; collapsed into tables and entities by default. */\n  columns?: boolean;\n  onColumnsChange?: (columns: boolean) => void;\n  /** The groups the graph reached, drawn or excluded. Without it the graph offers no exclusions. */\n  groupFacts?: (graph: G) => CallGraphGroupFact[];\n  /** The patterns in force when `exclude` is undefined: the host's defaults, as its response reports them. */\n  defaultExclude?: (graph: G) => string[];\n  /** How a pattern matches a group, for a host with keywords of its own. */\n  excludeMatcher?: ExcludeMatcher;\n  /**\n   * Where a node opens. A node the vocabulary gives no source is never opened, and Open is disabled on\n   * a node with no href that `onOpenNode` does not accept.\n   */\n  nodeHref?: (node: CallGraphNode, graph: G) => string | undefined;\n  /** Opens a node; with `nodeHref` it handles a plain click on the link. */\n  onOpenNode?: (node: CallGraphNode, graph: G) => void;\n  /** Whether `onOpenNode` opens a node; every node by default. */\n  canOpenNode?: (node: CallGraphNode, graph: G) => boolean;\n  openLabel?: string;\n  /** Re-roots the graph on a node, by id: a drawn node the vocabulary can root, or the column behind a field. */\n  onFocusNode?: (nodeId: string, graph: G) => void;\n  /** Where a call site opens; a site opens only when its caller has a source. */\n  siteHref?: (site: CallGraphSite, edge: CallGraphEdge, graph: G) => string | undefined;\n  onRevealSite?: (site: CallGraphSite, edge: CallGraphEdge, graph: G) => void;\n  /** Fetches the guards of a selected edge's sites, for a host whose graph leaves them out. */\n  loadSiteGuards?: (edge: CallGraphEdge, graph: G, signal: AbortSignal) => Promise<CallGraphSite[]>;\n  edgeLabels?: Partial<CallGraphEdgeLabels>;\n  /** What a conditional edge's pill says of its guards; \"innermost\" by default. The edge's tooltip always lists them. */\n  guardLabel?: GuardLabel;\n  vocabulary?: CallGraphVocabulary;\n  /** Shows a Pin root toggle; the host keeps `root` while pinned. */\n  pinned?: boolean;\n  onPinnedChange?: (pinned: boolean, rootId: string | undefined) => void;\n  /** Host facts above the diagram, such as how the root was resolved. */\n  renderHeader?: (graph: G) => ReactNode;\n  toolbarEnd?: ReactNode;\n  emptyMessage?: ReactNode;\n  maxDepth?: number;\n  className?: string;\n}\n\ntype Held<G> = { key: string; graph: G; revealed: string[] };\ntype PendingExpansion = { key: string; nodeId: string; label: string; controller: AbortController };\n\nconst NODE_WIDTH = 188;\nconst NODE_HEIGHT = 32;\nconst COMPACT_NODE_HEIGHT = 22;\nconst ROW_GAP = 14;\n/** Node labels are 12px: at this scale they are 7.2px, the smallest that still reads. */\nconst READABLE_SCALE = 0.6;\nconst OPTIONS: Omit<DiagramOptions, \"guardLabel\"> = { truncateAt: 32, grouped: true };\n\nfunction Notice({ children }: { children: ReactNode }) {\n  return (\n    <div className=\"flex h-full items-center justify-center p-6 text-center\">\n      <span className=\"text-sm text-muted-foreground\">{children}</span>\n    </div>\n  );\n}\n\nfunction Alert({ message }: { message: string | undefined }) {\n  if (!message) return null;\n  return <div role=\"alert\" className=\"whitespace-pre-wrap rounded-md border border-destructive p-3 text-sm text-destructive\">{message}</div>;\n}\n\nconst ACCESS_WORDS: Record<CallGraphAccess, string> = { call: \"Calls\", read: \"Reads\", write: \"Writes\" };\n\nfunction accessWords(access: readonly CallGraphAccess[]): string {\n  return access.map((type) => ACCESS_WORDS[type]).join(\" and \");\n}\n\nfunction action(href: string | undefined, onSelect: (() => void) | undefined): CallGraphAction | undefined {\n  if (href === undefined && onSelect === undefined) return undefined;\n  return { ...(href !== undefined ? { href } : {}), ...(onSelect ? { onSelect } : {}) };\n}\n\nexport function CallGraph<G extends Graph = Graph>(props: CallGraphProps<G>) {\n  const { root, fetchGraph, vocabulary = UIR_CALL_GRAPH_VOCABULARY, maxDepth = CALL_GRAPH_MAX_DEPTH } = props;\n  const labels: CallGraphEdgeLabels = { ...DEFAULT_EDGE_LABELS, ...props.edgeLabels };\n  const [direction, setDirection] = useHeld(props.direction ?? \"both\", props.onDirectionChange);\n  const [depth, setDepth] = useHeld(props.depth ?? CALL_GRAPH_DEFAULT_DEPTH, props.onDepthChange);\n  const [exclude, setExclude] = useHeld(props.exclude, props.onExcludeChange);\n  const [access, setAccess] = useHeld(props.access ?? [...CALL_GRAPH_ACCESS], props.onAccessChange);\n  const [columns, setColumns] = useHeld(props.columns ?? false, props.onColumnsChange);\n  if (access.length === 0) throw new Error(\"call graph: access must name at least one of call, read and write\");\n  const [ownSelection, setOwnSelection] = useState<{ key: string; selected: CallGraphSelection }>();\n\n  const request: GraphRequest | undefined = root === undefined ? undefined : { root, direction, depth, exclude, access, columns, purpose: \"load\" };\n  const key = `call-graph:${JSON.stringify([request ?? null, props.fetchKey ?? null])}`;\n  const load = useGraphLoad(fetchGraph, request, key);\n\n  const [expanded, setExpanded] = useState<Held<G>>();\n  const [expanding, setExpanding] = useState<{ request: PendingExpansion; error?: string }>();\n  const pendingExpansion = useRef<PendingExpansion | undefined>(undefined);\n  const activeKey = useRef(key);\n  activeKey.current = key;\n  useEffect(() => {\n    setExpanding((current) => current?.request.key === key && !current.request.controller.signal.aborted ? current : undefined);\n    return () => {\n      if (pendingExpansion.current?.key === key) {\n        pendingExpansion.current.controller.abort();\n        pendingExpansion.current = undefined;\n      }\n    };\n  }, [key]);\n  const [opening, setOpening] = useState({ nonce: 0, fit: false });\n  const fresh = useMemo<Held<G> | undefined>(\n    () => load.fresh && (expanded?.key === key ? expanded : { key, graph: load.fresh, revealed: [] }),\n    [load.fresh, expanded, key],\n  );\n  const [last, setLast] = useState<Held<G>>();\n  if (fresh && fresh !== last) setLast(fresh);\n  const shown = root === undefined ? undefined : (fresh ?? last);\n  const graph = shown?.graph;\n\n  const visible = useMemo(() => shown && visibleGraph(shown.graph, { direction, depth, revealed: shown.revealed }), [shown, direction, depth]);\n  const glyphs = useMemo<DiagramGlyphs>(() => ({\n    node: (glyph, words) => <NodeGlyphIcon vocabulary={vocabulary} glyph={glyph} title={words} />,\n    edge: (type) => (type === \"call\" ? undefined : <EdgeTypeGlyph type={type} title={labels[type]} />),\n    group: (caption) => <GroupCaption icon={vocabulary.group.icon} caption={caption} />,\n  }), [vocabulary, labels.dispatch, labels.read, labels.write]);\n  const guardLabel = props.guardLabel ?? \"innermost\";\n  const diagram = useMemo(\n    () => graph && visible && toDiagram({ graph, visible, direction, options: { ...OPTIONS, guardLabel }, glyphs, vocabulary, edgeLabels: labels }),\n    [graph, visible, direction, guardLabel, glyphs, vocabulary, labels.call, labels.dispatch, labels.read, labels.write],\n  );\n\n  const rootId = graph?.roots[0];\n  const selection = props.onSelectedChange ? props.selected : ownSelection?.key === shown?.key ? ownSelection?.selected : undefined;\n  const select = (next: CallGraphSelection | undefined) => {\n    if (props.onSelectedChange) props.onSelectedChange(next);\n    else setOwnSelection(next && shown ? { key: shown.key, selected: next } : undefined);\n  };\n  const openAction = (node: CallGraphNode, drawn: G) => {\n    const { onOpenNode, canOpenNode } = props;\n    const accepted = onOpenNode && (canOpenNode?.(node, drawn) ?? true) ? () => onOpenNode(node, drawn) : undefined;\n    return action(props.nodeHref?.(node, drawn), accepted);\n  };\n  const selectedNode = selection?.kind === \"node\" ? visible?.nodes.find((node) => node.id === selection.id) : undefined;\n  const selectedEdge = selection?.kind === \"edge\" ? visible?.edges.find((edge) => edge.id === selection.id) : undefined;\n  const guards = useSiteGuards(props.loadSiteGuards, shown?.key, selectedEdge, graph);\n  const expansion = expanding?.request.key === key ? expanding : undefined;\n\n  // A `+N` loads one more hop on the node's outer side and merges it into the graph this request drew.\n  const expand = async (drawn: Held<G>, id: string) => {\n    if (drawn.key !== activeKey.current) return;\n    if (pendingExpansion.current?.key === drawn.key && pendingExpansion.current.nodeId === id) return;\n    pendingExpansion.current?.controller.abort();\n    const node = requireNode(drawn.graph, id);\n    const request: PendingExpansion = { key: drawn.key, nodeId: id, label: node.label, controller: new AbortController() };\n    pendingExpansion.current = request;\n    setExpanding({ request });\n    try {\n      const data = await fetchGraph({\n        root: id, direction: expansionDirection(node), depth: 1, exclude, access, columns, purpose: \"expand\", signal: request.controller.signal,\n      });\n      if (request.controller.signal.aborted || activeKey.current !== drawn.key || pendingExpansion.current !== request) return;\n      setExpanded((held) => {\n        if (request.controller.signal.aborted || activeKey.current !== drawn.key) return held;\n        const base = held?.key === drawn.key ? held : drawn;\n        return { key: drawn.key, graph: mergeGraph(base.graph, data), revealed: [...base.revealed, ...data.nodes.map((entry) => entry.id)] };\n      });\n      setExpanding((current) => current?.request === request ? undefined : current);\n    } catch (error) {\n      if (request.controller.signal.aborted || activeKey.current !== drawn.key || pendingExpansion.current !== request) return;\n      setExpanding((current) => current?.request === request\n        ? { request, error: `Cannot expand ${node.label}: ${errorMessage(error)}` } : current);\n    } finally {\n      if (pendingExpansion.current === request) pendingExpansion.current = undefined;\n    }\n  };\n\n  const groups = graph && props.groupFacts?.(graph);\n  const effectiveExclude = exclude ?? (graph && props.defaultExclude ? props.defaultExclude(graph) : []);\n  const { onPinnedChange } = props;\n  const toolbar = (\n    <CallGraphToolbar direction={direction} depth={depth} maxDepth={maxDepth} omitted={graph?.omitted} end={props.toolbarEnd} vocabulary={vocabulary}\n      {...(onPinnedChange ? { pin: { pinned: props.pinned ?? false, canPin: rootId !== undefined, onPin: (pinned: boolean) => onPinnedChange(pinned, rootId) } } : {})}\n      {...(groups ? { exclusions: { exclude: effectiveExclude, groups, matches: props.excludeMatcher ?? matchesExclude, busy: load.loading, vocabulary,\n        onExclude: (patterns: string[]) => setExclude(patterns), onDefaults: () => setExclude(undefined) } } : {})}\n      {...(props.dataAccess ? { data: { access, onAccess: setAccess, columns, onColumns: setColumns } } : {})}\n      onDirection={setDirection} onDepth={setDepth}\n      onFit={() => setOpening({ nonce: opening.nonce + 1, fit: true })} onReset={() => setOpening({ nonce: opening.nonce + 1, fit: false })} />\n  );\n\n  const frame = cn(\"flex h-full min-h-0 flex-col gap-2 p-2\", props.className);\n  if (root === undefined) {\n    return <div className={frame}>{toolbar}<Notice>{props.emptyMessage ?? \"Select a node to draw its call graph.\"}</Notice></div>;\n  }\n  const loadError = load.error && `Cannot draw the call graph: ${load.error}`;\n  return (\n    <div className={frame} aria-busy={load.loading}>\n      {toolbar}\n      <Alert message={loadError} />\n      {graph && props.renderHeader?.(graph)}\n      {!shown && load.loading && <Notice>Loading call graph…</Notice>}\n      {graph && !rootId && <Notice>The root resolved to no node in this scope.</Notice>}\n      {graph && rootId && graph.edges.length === 0 && access.length < CALL_GRAPH_ACCESS.length && (\n        <Notice>{`Nothing is reachable with ${accessWords(access)} only.`}</Notice>\n      )}\n      {graph && rootId && graph.edges.length > 0 && !selectedEdge && !selectedNode && (\n        <p className=\"text-xs text-muted-foreground\">Select an edge to list its sites, or a node to see its details.</p>\n      )}\n      {shown && graph && rootId && diagram && (\n        <div className=\"flex min-h-0 flex-1 gap-3\">\n          <div className={cn(\"relative min-h-64 min-w-0 flex-1 rounded-lg border border-border bg-background\", load.loading && \"opacity-60\")}>\n            <GraphDiagram key={`${shown.key}:${opening.nonce}`} nodes={diagram.nodes} edges={diagram.edges} groups={diagram.groups} layout=\"columns\" zoomable wheelZoom=\"zoom\" edgeFocus=\"auto\"\n              focusId={rootId} {...(opening.fit ? {} : { fitMinScale: READABLE_SCALE })} nodeWidth={NODE_WIDTH} nodeHeight={NODE_HEIGHT} compactNodeHeight={COMPACT_NODE_HEIGHT} columnGap={columnGap(diagram)} rowGap={ROW_GAP}\n              className=\"h-full\" ariaLabel={`Call graph of ${requireNode(graph, rootId).label}`}\n              onNodeSelect={(id: string) => select({ kind: \"node\", id })} onEdgeSelect={(id: string) => select({ kind: \"edge\", id })}\n              {...(fresh ? { onNodeExpand: (id: string) => void expand(fresh, id) } : {})}\n              {...(selectedNode ? { selectedId: selectedNode.id } : {})} {...(selectedEdge ? { selectedEdgeId: selectedEdge.id } : {})} />\n          </div>\n          {(selectedEdge || selectedNode || expansion) && (\n            <aside className=\"w-80 max-w-[45%] shrink-0 overflow-y-auto rounded-lg border border-border bg-card p-3\" aria-label=\"Selection\">\n              {expansion && <p role=\"status\" className=\"mb-2 text-xs text-muted-foreground\">{expansion.error ?? `Loading more around ${expansion.request.label}…`}</p>}\n              {(selectedEdge || selectedNode) && (\n                <div className=\"mb-1 flex justify-end\">\n                  <Button type=\"button\" size=\"sm\" variant=\"ghost\" aria-label=\"Close selection\" onClick={() => select(undefined)}>×</Button>\n                </div>\n              )}\n              {selectedEdge ? (\n                <EdgeSites edge={selectedEdge} graph={graph} labels={labels} guards={guards} lazyGuards={props.loadSiteGuards !== undefined}\n                  siteAction={(props.siteHref || props.onRevealSite) && vocabulary.hasSource(requireNode(graph, selectedEdge.from))\n                    ? (site) => action(props.siteHref?.(site, selectedEdge, graph), props.onRevealSite && (() => props.onRevealSite?.(site, selectedEdge, graph))) ?? {}\n                    : undefined} />\n              ) : selectedNode && (\n                <NodeDetails node={selectedNode} graph={graph} vocabulary={vocabulary} isRoot={selectedNode.id === rootId} openLabel={props.openLabel ?? \"Open\"}\n                  opens={props.nodeHref !== undefined || props.onOpenNode !== undefined} open={openAction(selectedNode, graph)}\n                  onFocus={props.onFocusNode && ((id: string) => props.onFocusNode?.(id, graph))} />\n              )}\n            </aside>\n          )}\n        </div>\n      )}\n      {graph && rootId && <div className=\"shrink-0\"><Legend graph={graph} vocabulary={vocabulary} labels={labels} /></div>}\n    </div>\n  );\n}\n"],"names":["jsx","UIR_CALL_GRAPH_VOCABULARY","CALL_GRAPH_MAX_DEPTH","DEFAULT_EDGE_LABELS","useHeld","CALL_GRAPH_DEFAULT_DEPTH","CALL_GRAPH_ACCESS","useState","useGraphLoad","useRef","useEffect","_a","useMemo","visibleGraph","NodeGlyphIcon","EdgeTypeGlyph","GroupCaption","toDiagram","useSiteGuards","_b","requireNode","request","expansionDirection","mergeGraph","errorMessage","CallGraphToolbar","matchesExclude","cn","jsxs","GraphDiagram","columnGap","Button","EdgeSites","NodeDetails","Legend"],"mappings":";;;;;;;;;;;;;;;AA4GA,MAAM,aAAa;AACnB,MAAM,cAAc;AACpB,MAAM,sBAAsB;AAC5B,MAAM,UAAU;AAEhB,MAAM,iBAAiB;AACvB,MAAM,UAA8C,EAAE,YAAY,IAAI,SAAS,KAAA;AAE/E,SAAS,OAAO,EAAE,YAAqC;AACrD,SACEA,2BAAAA,IAAC,SAAI,WAAU,2DACb,yCAAC,QAAA,EAAK,WAAU,iCAAiC,SAAA,CAAS,EAAA,CAC5D;AAEJ;AAEA,SAAS,MAAM,EAAE,WAA4C;AAC3D,MAAI,CAAC,QAAS,QAAO;AACrB,wCAAQ,OAAA,EAAI,MAAK,SAAQ,WAAU,yFAAyF,UAAA,SAAQ;AACtI;AAEA,MAAM,eAAgD,EAAE,MAAM,SAAS,MAAM,SAAS,OAAO,SAAA;AAE7F,SAAS,YAAY,QAA4C;AAC/D,SAAO,OAAO,IAAI,CAAC,SAAS,aAAa,IAAI,CAAC,EAAE,KAAK,OAAO;AAC9D;AAEA,SAAS,OAAO,MAA0B,UAAiE;AACzG,MAAI,SAAS,UAAa,aAAa,OAAW,QAAO;AACzD,SAAO,EAAE,GAAI,SAAS,SAAY,EAAE,KAAA,IAAS,CAAA,GAAK,GAAI,WAAW,EAAE,SAAA,IAAa,CAAA,EAAC;AACnF;AAEO,SAAS,UAAmC,OAA0B;;AAC3E,QAAM,EAAE,MAAM,YAAY,aAAaC,oBAAAA,2BAA2B,WAAWC,eAAAA,yBAAyB;AACtG,QAAM,SAA8B,EAAE,GAAGC,eAAAA,qBAAqB,GAAG,MAAM,WAAA;AACvE,QAAM,CAAC,WAAW,YAAY,IAAIC,aAAAA,QAAQ,MAAM,aAAa,QAAQ,MAAM,iBAAiB;AAC5F,QAAM,CAAC,OAAO,QAAQ,IAAIA,aAAAA,QAAQ,MAAM,SAASC,eAAAA,0BAA0B,MAAM,aAAa;AAC9F,QAAM,CAAC,SAAS,UAAU,IAAID,aAAAA,QAAQ,MAAM,SAAS,MAAM,eAAe;AAC1E,QAAM,CAAC,QAAQ,SAAS,IAAIA,qBAAQ,MAAM,UAAU,CAAC,GAAGE,MAAAA,iBAAiB,GAAG,MAAM,cAAc;AAChG,QAAM,CAAC,SAAS,UAAU,IAAIF,aAAAA,QAAQ,MAAM,WAAW,OAAO,MAAM,eAAe;AACnF,MAAI,OAAO,WAAW,EAAG,OAAM,IAAI,MAAM,mEAAmE;AAC5G,QAAM,CAAC,cAAc,eAAe,IAAIG,eAAA;AAExC,QAAM,UAAoC,SAAS,SAAY,SAAY,EAAE,MAAM,WAAW,OAAO,SAAS,QAAQ,SAAS,SAAS,OAAA;AACxI,QAAM,MAAM,cAAc,KAAK,UAAU,CAAC,WAAW,MAAM,MAAM,YAAY,IAAI,CAAC,CAAC;AACnF,QAAM,OAAOC,aAAAA,aAAa,YAAY,SAAS,GAAG;AAElD,QAAM,CAAC,UAAU,WAAW,IAAID,eAAA;AAChC,QAAM,CAAC,WAAW,YAAY,IAAIA,eAAA;AAClC,QAAM,mBAAmBE,MAAAA,OAAqC,MAAS;AACvE,QAAM,YAAYA,MAAAA,OAAO,GAAG;AAC5B,YAAU,UAAU;AACpBC,QAAAA,UAAU,MAAM;AACd,iBAAa,CAAC,aAAY,mCAAS,QAAQ,SAAQ,OAAO,CAAC,QAAQ,QAAQ,WAAW,OAAO,UAAU,UAAU,MAAS;AAC1H,WAAO,MAAM;;AACX,YAAIC,MAAA,iBAAiB,YAAjB,gBAAAA,IAA0B,SAAQ,KAAK;AACzC,yBAAiB,QAAQ,WAAW,MAAA;AACpC,yBAAiB,UAAU;AAAA,MAC7B;AAAA,IACF;AAAA,EACF,GAAG,CAAC,GAAG,CAAC;AACR,QAAM,CAAC,SAAS,UAAU,IAAIJ,MAAAA,SAAS,EAAE,OAAO,GAAG,KAAK,OAAO;AAC/D,QAAM,QAAQK,MAAAA;AAAAA,IACZ,MAAM,KAAK,WAAU,qCAAU,SAAQ,MAAM,WAAW,EAAE,KAAK,OAAO,KAAK,OAAO,UAAU,CAAA,EAAC;AAAA,IAC7F,CAAC,KAAK,OAAO,UAAU,GAAG;AAAA,EAAA;AAE5B,QAAM,CAAC,MAAM,OAAO,IAAIL,eAAA;AACxB,MAAI,SAAS,UAAU,KAAM,SAAQ,KAAK;AAC1C,QAAM,QAAQ,SAAS,SAAY,SAAa,SAAS;AACzD,QAAM,QAAQ,+BAAO;AAErB,QAAM,UAAUK,MAAAA,QAAQ,MAAM,SAASC,eAAAA,aAAa,MAAM,OAAO,EAAE,WAAW,OAAO,UAAU,MAAM,UAAU,GAAG,CAAC,OAAO,WAAW,KAAK,CAAC;AAC3I,QAAM,SAASD,MAAAA,QAAuB,OAAO;AAAA,IAC3C,MAAM,CAAC,OAAO,yCAAWE,gBAAAA,eAAA,EAAc,YAAwB,OAAc,OAAO,OAAO;AAAA,IAC3F,MAAM,CAAC,SAAU,SAAS,SAAS,SAAYd,2BAAAA,IAACe,gBAAAA,eAAA,EAAc,MAAY,OAAO,OAAO,IAAI,EAAA,CAAG;AAAA,IAC/F,OAAO,CAAC,YAAYf,2BAAAA,IAACgB,gBAAAA,gBAAa,MAAM,WAAW,MAAM,MAAM,QAAA,CAAkB;AAAA,EAAA,IAC/E,CAAC,YAAY,OAAO,UAAU,OAAO,MAAM,OAAO,KAAK,CAAC;AAC5D,QAAM,aAAa,MAAM,cAAc;AACvC,QAAM,UAAUJ,MAAAA;AAAAA,IACd,MAAM,SAAS,WAAWK,eAAAA,UAAU,EAAE,OAAO,SAAS,WAAW,SAAS,EAAE,GAAG,SAAS,cAAc,QAAQ,YAAY,YAAY,QAAQ;AAAA,IAC9I,CAAC,OAAO,SAAS,WAAW,YAAY,QAAQ,YAAY,OAAO,MAAM,OAAO,UAAU,OAAO,MAAM,OAAO,KAAK;AAAA,EAAA;AAGrH,QAAM,SAAS,+BAAO,MAAM;AAC5B,QAAM,YAAY,MAAM,mBAAmB,MAAM,YAAW,6CAAc,UAAQ,+BAAO,OAAM,6CAAc,WAAW;AACxH,QAAM,SAAS,CAAC,SAAyC;AACvD,QAAI,MAAM,iBAAkB,OAAM,iBAAiB,IAAI;AAAA,QAClD,iBAAgB,QAAQ,QAAQ,EAAE,KAAK,MAAM,KAAK,UAAU,KAAA,IAAS,MAAS;AAAA,EACrF;AACA,QAAM,aAAa,CAAC,MAAqB,UAAa;;AACpD,UAAM,EAAE,YAAY,YAAA,IAAgB;AACpC,UAAM,WAAW,gBAAe,2CAAc,MAAM,WAAU,QAAQ,MAAM,WAAW,MAAM,KAAK,IAAI;AACtG,WAAO,QAAON,MAAA,MAAM,aAAN,gBAAAA,IAAA,YAAiB,MAAM,QAAQ,QAAQ;AAAA,EACvD;AACA,QAAM,gBAAe,uCAAW,UAAS,SAAS,mCAAS,MAAM,KAAK,CAAC,SAAS,KAAK,OAAO,UAAU,MAAM;AAC5G,QAAM,gBAAe,uCAAW,UAAS,SAAS,mCAAS,MAAM,KAAK,CAAC,SAAS,KAAK,OAAO,UAAU,MAAM;AAC5G,QAAM,SAASO,aAAAA,cAAc,MAAM,gBAAgB,+BAAO,KAAK,cAAc,KAAK;AAClF,QAAM,aAAY,uCAAW,QAAQ,SAAQ,MAAM,YAAY;AAG/D,QAAM,SAAS,OAAO,OAAgB,OAAe;;AACnD,QAAI,MAAM,QAAQ,UAAU,QAAS;AACrC,UAAIP,MAAA,iBAAiB,YAAjB,gBAAAA,IAA0B,SAAQ,MAAM,OAAO,iBAAiB,QAAQ,WAAW,GAAI;AAC3F,KAAAQ,MAAA,iBAAiB,YAAjB,gBAAAA,IAA0B,WAAW;AACrC,UAAM,OAAOC,eAAAA,YAAY,MAAM,OAAO,EAAE;AACxC,UAAMC,WAA4B,EAAE,KAAK,MAAM,KAAK,QAAQ,IAAI,OAAO,KAAK,OAAO,YAAY,IAAI,kBAAgB;AACnH,qBAAiB,UAAUA;AAC3B,iBAAa,EAAE,SAAAA,UAAS;AACxB,QAAI;AACF,YAAM,OAAO,MAAM,WAAW;AAAA,QAC5B,MAAM;AAAA,QAAI,WAAWC,eAAAA,mBAAmB,IAAI;AAAA,QAAG,OAAO;AAAA,QAAG;AAAA,QAAS;AAAA,QAAQ;AAAA,QAAS,SAAS;AAAA,QAAU,QAAQD,SAAQ,WAAW;AAAA,MAAA,CAClI;AACD,UAAIA,SAAQ,WAAW,OAAO,WAAW,UAAU,YAAY,MAAM,OAAO,iBAAiB,YAAYA,SAAS;AAClH,kBAAY,CAAC,SAAS;AACpB,YAAIA,SAAQ,WAAW,OAAO,WAAW,UAAU,YAAY,MAAM,IAAK,QAAO;AACjF,cAAM,QAAO,6BAAM,SAAQ,MAAM,MAAM,OAAO;AAC9C,eAAO,EAAE,KAAK,MAAM,KAAK,OAAOE,eAAAA,WAAW,KAAK,OAAO,IAAI,GAAG,UAAU,CAAC,GAAG,KAAK,UAAU,GAAG,KAAK,MAAM,IAAI,CAAC,UAAU,MAAM,EAAE,CAAC,EAAA;AAAA,MACnI,CAAC;AACD,mBAAa,CAAC,aAAY,mCAAS,aAAYF,WAAU,SAAY,OAAO;AAAA,IAC9E,SAAS,OAAO;AACd,UAAIA,SAAQ,WAAW,OAAO,WAAW,UAAU,YAAY,MAAM,OAAO,iBAAiB,YAAYA,SAAS;AAClH,mBAAa,CAAC,aAAY,mCAAS,aAAYA,WAC3C,EAAE,SAAAA,UAAS,OAAO,iBAAiB,KAAK,KAAK,KAAKG,aAAAA,aAAa,KAAK,CAAC,GAAA,IAAO,OAAO;AAAA,IACzF,UAAA;AACE,UAAI,iBAAiB,YAAYH,SAAS,kBAAiB,UAAU;AAAA,IACvE;AAAA,EACF;AAEA,QAAM,SAAS,WAAS,WAAM,eAAN,+BAAmB;AAC3C,QAAM,mBAAmB,YAAY,SAAS,MAAM,iBAAiB,MAAM,eAAe,KAAK,IAAI;AACnG,QAAM,EAAE,mBAAmB;AAC3B,QAAM,UACJrB,2BAAAA;AAAAA,IAACyB,iBAAAA;AAAAA,IAAA;AAAA,MAAiB;AAAA,MAAsB;AAAA,MAAc;AAAA,MAAoB,SAAS,+BAAO;AAAA,MAAS,KAAK,MAAM;AAAA,MAAY;AAAA,MACvH,GAAI,iBAAiB,EAAE,KAAK,EAAE,QAAQ,MAAM,UAAU,OAAO,QAAQ,WAAW,QAAW,OAAO,CAAC,WAAoB,eAAe,QAAQ,MAAM,EAAA,EAAE,IAAM,CAAA;AAAA,MAC5J,GAAI,SAAS,EAAE,YAAY;AAAA,QAAE,SAAS;AAAA,QAAkB;AAAA,QAAQ,SAAS,MAAM,kBAAkBC,iBAAAA;AAAAA,QAAgB,MAAM,KAAK;AAAA,QAAS;AAAA,QACpI,WAAW,CAAC,aAAuB,WAAW,QAAQ;AAAA,QAAG,YAAY,MAAM,WAAW,MAAS;AAAA,MAAA,EAAE,IAAM,CAAA;AAAA,MACxG,GAAI,MAAM,aAAa,EAAE,MAAM,EAAE,QAAQ,UAAU,WAAW,SAAS,WAAW,WAAA,EAAW,IAAM,CAAA;AAAA,MACpG,aAAa;AAAA,MAAc,SAAS;AAAA,MACpC,OAAO,MAAM,WAAW,EAAE,OAAO,QAAQ,QAAQ,GAAG,KAAK,MAAM;AAAA,MAAG,SAAS,MAAM,WAAW,EAAE,OAAO,QAAQ,QAAQ,GAAG,KAAK,MAAA,CAAO;AAAA,IAAA;AAAA,EAAA;AAGxI,QAAM,QAAQC,MAAAA,GAAG,0CAA0C,MAAM,SAAS;AAC1E,MAAI,SAAS,QAAW;AACtB,WAAOC,2BAAAA,KAAC,OAAA,EAAI,WAAW,OAAQ,UAAA;AAAA,MAAA;AAAA,MAAQ5B,2BAAAA,IAAC,QAAA,EAAQ,UAAA,MAAM,gBAAgB,wCAAA,CAAwC;AAAA,IAAA,GAAS;AAAA,EACzH;AACA,QAAM,YAAY,KAAK,SAAS,+BAA+B,KAAK,KAAK;AACzE,yCACG,OAAA,EAAI,WAAW,OAAO,aAAW,KAAK,SACpC,UAAA;AAAA,IAAA;AAAA,IACDA,2BAAAA,IAAC,OAAA,EAAM,SAAS,UAAA,CAAW;AAAA,IAC1B,WAAS,WAAM,iBAAN,+BAAqB;AAAA,IAC9B,CAAC,SAAS,KAAK,WAAWA,2BAAAA,IAAC,UAAO,UAAA,uBAAmB;AAAA,IACrD,SAAS,CAAC,UAAUA,2BAAAA,IAAC,UAAO,UAAA,+CAA2C;AAAA,IACvE,SAAS,UAAU,MAAM,MAAM,WAAW,KAAK,OAAO,SAASM,wBAAkB,yCAC/E,QAAA,EAAQ,UAAA,6BAA6B,YAAY,MAAM,CAAC,UAAS;AAAA,IAEnE,SAAS,UAAU,MAAM,MAAM,SAAS,KAAK,CAAC,gBAAgB,CAAC,gBAC9DN,2BAAAA,IAAC,KAAA,EAAE,WAAU,iCAAgC,UAAA,mEAA+D;AAAA,IAE7G,SAAS,SAAS,UAAU,WAC3B4B,2BAAAA,KAAC,OAAA,EAAI,WAAU,6BACb,UAAA;AAAA,MAAA5B,2BAAAA,IAAC,SAAI,WAAW2B,SAAG,kFAAkF,KAAK,WAAW,YAAY,GAC/H,UAAA3B,2BAAAA;AAAAA,QAAC6B,aAAAA;AAAAA,QAAA;AAAA,UAAmD,OAAO,QAAQ;AAAA,UAAO,OAAO,QAAQ;AAAA,UAAO,QAAQ,QAAQ;AAAA,UAAQ,QAAO;AAAA,UAAU,UAAQ;AAAA,UAAC,WAAU;AAAA,UAAO,WAAU;AAAA,UAC3K,SAAS;AAAA,UAAS,GAAI,QAAQ,MAAM,CAAA,IAAK,EAAE,aAAa,eAAA;AAAA,UAAmB,WAAW;AAAA,UAAY,YAAY;AAAA,UAAa,mBAAmB;AAAA,UAAqB,WAAWC,eAAAA,UAAU,OAAO;AAAA,UAAG,QAAQ;AAAA,UAC1M,WAAU;AAAA,UAAS,WAAW,iBAAiBV,eAAAA,YAAY,OAAO,MAAM,EAAE,KAAK;AAAA,UAC/E,cAAc,CAAC,OAAe,OAAO,EAAE,MAAM,QAAQ,IAAI;AAAA,UAAG,cAAc,CAAC,OAAe,OAAO,EAAE,MAAM,QAAQ,IAAI;AAAA,UACpH,GAAI,QAAQ,EAAE,cAAc,CAAC,OAAe,KAAK,OAAO,OAAO,EAAE,EAAA,IAAM,CAAA;AAAA,UACvE,GAAI,eAAe,EAAE,YAAY,aAAa,GAAA,IAAO,CAAA;AAAA,UAAM,GAAI,eAAe,EAAE,gBAAgB,aAAa,GAAA,IAAO,CAAA;AAAA,QAAC;AAAA,QALrG,GAAG,MAAM,GAAG,IAAI,QAAQ,KAAK;AAAA,MAAA,GAMlD;AAAA,OACE,gBAAgB,gBAAgB,cAChCQ,gCAAC,WAAM,WAAU,yFAAwF,cAAW,aACjH,UAAA;AAAA,QAAA,aAAa5B,2BAAAA,IAAC,KAAA,EAAE,MAAK,UAAS,WAAU,sCAAsC,UAAA,UAAU,SAAS,uBAAuB,UAAU,QAAQ,KAAK,KAAI;AAAA,SAClJ,gBAAgB,iBAChBA,2BAAAA,IAAC,OAAA,EAAI,WAAU,yBACb,UAAAA,2BAAAA,IAAC+B,eAAA,EAAO,MAAK,UAAS,MAAK,MAAK,SAAQ,SAAQ,cAAW,mBAAkB,SAAS,MAAM,OAAO,MAAS,GAAG,UAAA,IAAA,CAAC,EAAA,CAClH;AAAA,QAED,eACC/B,2BAAAA;AAAAA,UAACgC,eAAAA;AAAAA,UAAA;AAAA,YAAU,MAAM;AAAA,YAAc;AAAA,YAAc;AAAA,YAAgB;AAAA,YAAgB,YAAY,MAAM,mBAAmB;AAAA,YAChH,aAAa,MAAM,YAAY,MAAM,iBAAiB,WAAW,UAAUZ,eAAAA,YAAY,OAAO,aAAa,IAAI,CAAC,IAC5G,CAAC,SAAA;;AAAS,6BAAOT,MAAA,MAAM,aAAN,gBAAAA,IAAA,YAAiB,MAAM,cAAc,QAAQ,MAAM,iBAAiB,MAAA;;AAAM,wBAAAA,MAAA,MAAM,iBAAN,gBAAAA,IAAA,YAAqB,MAAM,cAAc;AAAA,gBAAO,KAAK,CAAA;AAAA,gBAChJ;AAAA,UAAA;AAAA,QAAA,IACJ,gBACFX,2BAAAA;AAAAA,UAACiC,eAAAA;AAAAA,UAAA;AAAA,YAAY,MAAM;AAAA,YAAc;AAAA,YAAc;AAAA,YAAwB,QAAQ,aAAa,OAAO;AAAA,YAAQ,WAAW,MAAM,aAAa;AAAA,YACvI,OAAO,MAAM,aAAa,UAAa,MAAM,eAAe;AAAA,YAAW,MAAM,WAAW,cAAc,KAAK;AAAA,YAC3G,SAAS,MAAM,gBAAgB,CAAC;;AAAe,sBAAAtB,MAAA,MAAM,gBAAN,gBAAAA,IAAA,YAAoB,IAAI;AAAA;AAAA,UAAK;AAAA,QAAA;AAAA,MAAI,EAAA,CAEtF;AAAA,IAAA,GAEJ;AAAA,IAED,SAAS,UAAUX,2BAAAA,IAAC,OAAA,EAAI,WAAU,YAAW,UAAAA,2BAAAA,IAACkC,eAAAA,QAAA,EAAO,OAAc,YAAwB,OAAA,CAAgB,EAAA,CAAE;AAAA,EAAA,GAChH;AAEJ;;"}
+{"version":3,"file":"CallGraph.cjs","sources":["../../../src/data/call-graph/CallGraph.tsx"],"sourcesContent":["// A call graph around one root: fetched through the host, with `+N` expansions merged in, the call\n// sites of a selected edge (guards fetched on selection when the host's graph leaves them out) and the\n// details of a selected node. It knows no language: the host's vocabulary names and draws node kinds,\n// and the host's callbacks open nodes and sites.\nimport { useEffect, useMemo, useRef, useState, type ReactNode } from \"react\";\nimport { Button } from \"../../components/button\";\nimport { cn } from \"../../lib/utils\";\nimport { AccessMark } from \"../AccessMark\";\nimport { GraphDiagram } from \"../GraphDiagram\";\nimport { matchesExclude, type ExcludeMatcher } from \"./call-graph-exclude\";\nimport type { GuardLabel } from \"./call-graph-labels\";\nimport {\n  baseAccess,\n  CALL_GRAPH_DEFAULT_DEPTH,\n  CALL_GRAPH_MAX_DEPTH,\n  collapsibleGroups,\n  columnGap,\n  DEFAULT_EDGE_LABELS,\n  expansionDirection,\n  mergeGraph,\n  requireNode,\n  toDiagram,\n  visibleGraph,\n  type DiagramGlyphs,\n  type DiagramOptions,\n} from \"./call-graph-model\";\nimport { requireGlyph, UIR_CALL_GRAPH_VOCABULARY, type CallGraphVocabulary } from \"./call-graph-vocabulary\";\nimport { EdgeTypeGlyph, GroupCaption, NodeGlyphIcon } from \"./CallGraphGlyphs\";\nimport { EdgeSites, Legend, NodeDetails, type CallGraphAction } from \"./CallGraphParts\";\nimport { CallGraphToolbar } from \"./CallGraphToolbar\";\nimport {\n  CALL_GRAPH_ACCESS,\n  type CallGraph as Graph,\n  type CallGraphAccess,\n  type CallGraphDirection,\n  type CallGraphEdge,\n  type CallGraphEdgeLabels,\n  type CallGraphFetchParams,\n  type CallGraphGroupFact,\n  type CallGraphNode,\n  type CallGraphSelection,\n  type CallGraphSite,\n} from \"./types\";\nimport { errorMessage, useGraphLoad, useHeld, useSiteGuards, type GraphRequest } from \"./use-call-graph\";\n\nexport interface CallGraphProps<G extends Graph = Graph> {\n  /** What the graph is drawn around, in the host's terms. Undefined shows `emptyMessage`. */\n  root: string | undefined;\n  /** Loads the graph around `params.root`, and one hop around a node for its `+N`. */\n  fetchGraph: (params: CallGraphFetchParams) => Promise<G>;\n  /** What else `fetchGraph` reads, such as the host's scope: part of the request's key, so a change refetches. */\n  fetchKey?: string;\n  /** Pass `onDirectionChange` to control it; without one the component holds it, starting here. */\n  direction?: CallGraphDirection;\n  onDirectionChange?: (direction: CallGraphDirection) => void;\n  depth?: number;\n  onDepthChange?: (depth: number) => void;\n  /** The exclusion patterns; undefined takes the host's defaults. Controlled with `onExcludeChange`. */\n  exclude?: string[] | undefined;\n  onExcludeChange?: (exclude: string[] | undefined) => void;\n  selected?: CallGraphSelection | undefined;\n  onSelectedChange?: (selected: CallGraphSelection | undefined) => void;\n  /** The source reports reads and writes of data: shows the Access toggles and the Columns switch. */\n  dataAccess?: boolean;\n  /** The source can follow the variables a body reads and writes: shows a Variables toggle beside the Access ones. Needs `dataAccess`. */\n  variableAccess?: boolean;\n  /** The edge types the host follows, at least one of call, read and write; all three by default. Controlled with `onAccessChange`. */\n  access?: CallGraphAccess[];\n  onAccessChange?: (access: CallGraphAccess[]) => void;\n  /** Columns and fields as nodes of their own; collapsed into tables and entities by default. */\n  columns?: boolean;\n  onColumnsChange?: (columns: boolean) => void;\n  /**\n   * The groups drawn as their header alone, by `graph.groups` id: each folds into one node, and its\n   * members' edges merge onto it, counting the members. The root's group never folds. Controlled with\n   * `onCollapsedGroupsChange`; without one the component holds it, starting here, none by default.\n   */\n  collapsedGroups?: string[];\n  onCollapsedGroupsChange?: (ids: string[]) => void;\n  /** The groups the graph reached, drawn or excluded. Without it the graph offers no exclusions. */\n  groupFacts?: (graph: G) => CallGraphGroupFact[];\n  /** The patterns in force when `exclude` is undefined: the host's defaults, as its response reports them. */\n  defaultExclude?: (graph: G) => string[];\n  /** How a pattern matches a group, for a host with keywords of its own. */\n  excludeMatcher?: ExcludeMatcher;\n  /**\n   * Where a node opens. A node the vocabulary gives no source is never opened, and Open is disabled on\n   * a node with no href that `onOpenNode` does not accept.\n   */\n  nodeHref?: (node: CallGraphNode, graph: G) => string | undefined;\n  /** Opens a node; with `nodeHref` it handles a plain click on the link. */\n  onOpenNode?: (node: CallGraphNode, graph: G) => void;\n  /** Whether `onOpenNode` opens a node; every node by default. */\n  canOpenNode?: (node: CallGraphNode, graph: G) => boolean;\n  openLabel?: string;\n  /** Re-roots the graph on a node, by id: a drawn node the vocabulary can root, or the column behind a field. */\n  onFocusNode?: (nodeId: string, graph: G) => void;\n  /** Where a call site opens; a site opens only when its caller has a source. */\n  siteHref?: (site: CallGraphSite, edge: CallGraphEdge, graph: G) => string | undefined;\n  onRevealSite?: (site: CallGraphSite, edge: CallGraphEdge, graph: G) => void;\n  /** Fetches the guards of a selected edge's sites, for a host whose graph leaves them out. */\n  loadSiteGuards?: (edge: CallGraphEdge, graph: G, signal: AbortSignal) => Promise<CallGraphSite[]>;\n  edgeLabels?: Partial<CallGraphEdgeLabels>;\n  /** What a conditional edge's pill says of its guards; \"innermost\" by default. The edge's tooltip always lists them. */\n  guardLabel?: GuardLabel;\n  vocabulary?: CallGraphVocabulary;\n  /** Shows a Pin root toggle; the host keeps `root` while pinned. */\n  pinned?: boolean;\n  onPinnedChange?: (pinned: boolean, rootId: string | undefined) => void;\n  /** Host facts above the diagram, such as how the root was resolved. */\n  renderHeader?: (graph: G) => ReactNode;\n  toolbarEnd?: ReactNode;\n  emptyMessage?: ReactNode;\n  maxDepth?: number;\n  className?: string;\n}\n\ntype Held<G> = { key: string; graph: G; revealed: string[] };\ntype PendingExpansion = { key: string; nodeId: string; label: string; controller: AbortController };\n\nconst NODE_WIDTH = 188;\nconst NODE_HEIGHT = 32;\nconst COMPACT_NODE_HEIGHT = 22;\nconst ROW_GAP = 14;\n/** Node labels are 12px: at this scale they are 7.2px, the smallest that still reads. */\nconst READABLE_SCALE = 0.6;\nconst OPTIONS: Omit<DiagramOptions, \"guardLabel\"> = { truncateAt: 32, grouped: true };\n\nfunction Notice({ children }: { children: ReactNode }) {\n  return (\n    <div className=\"flex h-full items-center justify-center p-6 text-center\">\n      <span className=\"text-sm text-muted-foreground\">{children}</span>\n    </div>\n  );\n}\n\nfunction Alert({ message }: { message: string | undefined }) {\n  if (!message) return null;\n  return <div role=\"alert\" className=\"whitespace-pre-wrap rounded-md border border-destructive p-3 text-sm text-destructive\">{message}</div>;\n}\n\nconst ACCESS_WORDS: Record<CallGraphAccess, string> = { call: \"Calls\", read: \"Reads\", write: \"Writes\", variable: \"Variables\" };\n\nfunction accessWords(access: readonly CallGraphAccess[]): string {\n  return access.map((type) => ACCESS_WORDS[type]).join(\" and \");\n}\n\nfunction action(href: string | undefined, onSelect: (() => void) | undefined): CallGraphAction | undefined {\n  if (href === undefined && onSelect === undefined) return undefined;\n  return { ...(href !== undefined ? { href } : {}), ...(onSelect ? { onSelect } : {}) };\n}\n\nexport function CallGraph<G extends Graph = Graph>(props: CallGraphProps<G>) {\n  const { root, fetchGraph, vocabulary = UIR_CALL_GRAPH_VOCABULARY, maxDepth = CALL_GRAPH_MAX_DEPTH } = props;\n  const labels: CallGraphEdgeLabels = { ...DEFAULT_EDGE_LABELS, ...props.edgeLabels };\n  const [direction, setDirection] = useHeld(props.direction ?? \"both\", props.onDirectionChange);\n  const [depth, setDepth] = useHeld(props.depth ?? CALL_GRAPH_DEFAULT_DEPTH, props.onDepthChange);\n  const [exclude, setExclude] = useHeld(props.exclude, props.onExcludeChange);\n  const [access, setAccess] = useHeld(props.access ?? [...CALL_GRAPH_ACCESS], props.onAccessChange);\n  const [columns, setColumns] = useHeld(props.columns ?? false, props.onColumnsChange);\n  const [collapsedGroups, setCollapsedGroups] = useHeld(props.collapsedGroups ?? [], props.onCollapsedGroupsChange);\n  if (baseAccess(access).length === 0) throw new Error(\"call graph: access must name at least one of call, read and write\");\n  if (access.includes(\"variable\") && !(props.dataAccess && props.variableAccess)) {\n    throw new Error(\"call graph: access names variable, but the host does not offer variableAccess\");\n  }\n  const [ownSelection, setOwnSelection] = useState<{ key: string; selected: CallGraphSelection }>();\n\n  const request: GraphRequest | undefined = root === undefined ? undefined : { root, direction, depth, exclude, access, columns, purpose: \"load\" };\n  const key = `call-graph:${JSON.stringify([request ?? null, props.fetchKey ?? null])}`;\n  const load = useGraphLoad(fetchGraph, request, key);\n\n  const [expanded, setExpanded] = useState<Held<G>>();\n  const [expanding, setExpanding] = useState<{ request: PendingExpansion; error?: string }>();\n  const pendingExpansion = useRef<PendingExpansion | undefined>(undefined);\n  const activeKey = useRef(key);\n  activeKey.current = key;\n  useEffect(() => {\n    setExpanding((current) => current?.request.key === key && !current.request.controller.signal.aborted ? current : undefined);\n    return () => {\n      if (pendingExpansion.current?.key === key) {\n        pendingExpansion.current.controller.abort();\n        pendingExpansion.current = undefined;\n      }\n    };\n  }, [key]);\n  const [opening, setOpening] = useState({ nonce: 0, fit: false });\n  const fresh = useMemo<Held<G> | undefined>(\n    () => load.fresh && (expanded?.key === key ? expanded : { key, graph: load.fresh, revealed: [] }),\n    [load.fresh, expanded, key],\n  );\n  const [last, setLast] = useState<Held<G>>();\n  if (fresh && fresh !== last) setLast(fresh);\n  const shown = root === undefined ? undefined : (fresh ?? last);\n  const graph = shown?.graph;\n\n  const visible = useMemo(() => shown && visibleGraph(shown.graph, { direction, depth, revealed: shown.revealed }), [shown, direction, depth]);\n  const glyphs = useMemo<DiagramGlyphs>(() => ({\n    node: (glyph, words) => <NodeGlyphIcon vocabulary={vocabulary} glyph={glyph} title={words} />,\n    edge: (type) => (type === \"call\" ? undefined : <EdgeTypeGlyph type={type} title={labels[type]} />),\n    group: (caption, glyph) => <GroupCaption icon={glyph === undefined ? vocabulary.group.icon : requireGlyph(vocabulary, glyph).icon} caption={caption} />,\n    access: (access) => <AccessMark access={access} />,\n  }), [vocabulary, labels.dispatch, labels.read, labels.write]);\n  const guardLabel = props.guardLabel ?? \"innermost\";\n  const diagram = useMemo(\n    () => graph && visible && toDiagram({ graph, visible, direction, options: { ...OPTIONS, guardLabel }, glyphs, vocabulary, edgeLabels: labels, collapsed: collapsedGroups }),\n    [graph, visible, direction, guardLabel, glyphs, vocabulary, labels.call, labels.dispatch, labels.read, labels.write, collapsedGroups],\n  );\n  // What a selection is looked up in: the graph as drawn, collapsed groups folded into their stand-ins.\n  const drawn = diagram?.drawn;\n  const collapsible = useMemo(() => (graph && visible ? collapsibleGroups(graph, visible) : []), [graph, visible]);\n  const toggleGroup = (id: string) => setCollapsedGroups(collapsedGroups.includes(id) ? collapsedGroups.filter((entry) => entry !== id) : [...collapsedGroups, id]);\n\n  const rootId = graph?.roots[0];\n  const selection = props.onSelectedChange ? props.selected : ownSelection?.key === shown?.key ? ownSelection?.selected : undefined;\n  const select = (next: CallGraphSelection | undefined) => {\n    if (props.onSelectedChange) props.onSelectedChange(next);\n    else setOwnSelection(next && shown ? { key: shown.key, selected: next } : undefined);\n  };\n  const openAction = (node: CallGraphNode, drawn: G) => {\n    const { onOpenNode, canOpenNode } = props;\n    const accepted = onOpenNode && (canOpenNode?.(node, drawn) ?? true) ? () => onOpenNode(node, drawn) : undefined;\n    return action(props.nodeHref?.(node, drawn), accepted);\n  };\n  const selectedNode = selection?.kind === \"node\" ? drawn?.visible.nodes.find((node) => node.id === selection.id) : undefined;\n  const selectedEdge = selection?.kind === \"edge\" ? drawn?.visible.edges.find((edge) => edge.id === selection.id) : undefined;\n  // A merged edge stands for several the host knows: it has no guards of its own to load.\n  const mergedEdge = selectedEdge !== undefined && drawn?.merged.has(selectedEdge.id) === true;\n  const standIn = selectedNode !== undefined && drawn?.folds.has(selectedNode.id) === true;\n  const guards = useSiteGuards(props.loadSiteGuards, shown?.key, mergedEdge ? undefined : selectedEdge, graph);\n  const expansion = expanding?.request.key === key ? expanding : undefined;\n\n  // A `+N` loads one more hop on the node's outer side and merges it into the graph this request drew.\n  const expand = async (drawn: Held<G>, id: string) => {\n    if (drawn.key !== activeKey.current) return;\n    if (pendingExpansion.current?.key === drawn.key && pendingExpansion.current.nodeId === id) return;\n    pendingExpansion.current?.controller.abort();\n    const node = requireNode(drawn.graph, id);\n    const request: PendingExpansion = { key: drawn.key, nodeId: id, label: node.label, controller: new AbortController() };\n    pendingExpansion.current = request;\n    setExpanding({ request });\n    try {\n      const data = await fetchGraph({\n        root: id, direction: expansionDirection(node), depth: 1, exclude, access, columns, purpose: \"expand\", signal: request.controller.signal,\n      });\n      if (request.controller.signal.aborted || activeKey.current !== drawn.key || pendingExpansion.current !== request) return;\n      setExpanded((held) => {\n        if (request.controller.signal.aborted || activeKey.current !== drawn.key) return held;\n        const base = held?.key === drawn.key ? held : drawn;\n        return { key: drawn.key, graph: mergeGraph(base.graph, data), revealed: [...base.revealed, ...data.nodes.map((entry) => entry.id)] };\n      });\n      setExpanding((current) => current?.request === request ? undefined : current);\n    } catch (error) {\n      if (request.controller.signal.aborted || activeKey.current !== drawn.key || pendingExpansion.current !== request) return;\n      setExpanding((current) => current?.request === request\n        ? { request, error: `Cannot expand ${node.label}: ${errorMessage(error)}` } : current);\n    } finally {\n      if (pendingExpansion.current === request) pendingExpansion.current = undefined;\n    }\n  };\n\n  const groups = graph && props.groupFacts?.(graph);\n  const effectiveExclude = exclude ?? (graph && props.defaultExclude ? props.defaultExclude(graph) : []);\n  const { onPinnedChange } = props;\n  const toolbar = (\n    <CallGraphToolbar direction={direction} depth={depth} maxDepth={maxDepth} omitted={graph?.omitted} end={props.toolbarEnd} vocabulary={vocabulary}\n      {...(onPinnedChange ? { pin: { pinned: props.pinned ?? false, canPin: rootId !== undefined, onPin: (pinned: boolean) => onPinnedChange(pinned, rootId) } } : {})}\n      {...(groups ? { exclusions: { exclude: effectiveExclude, groups, matches: props.excludeMatcher ?? matchesExclude, busy: load.loading, vocabulary,\n        onExclude: (patterns: string[]) => setExclude(patterns), onDefaults: () => setExclude(undefined) } } : {})}\n      {...(props.dataAccess ? { data: { access, onAccess: setAccess, columns, onColumns: setColumns, variables: props.variableAccess ?? false } } : {})}\n      {...(collapsible.length > 0 ? { groupCollapse: {\n        anyCollapsed: collapsedGroups.some((id) => collapsible.includes(id)),\n        anyExpanded: collapsible.some((id) => !collapsedGroups.includes(id)),\n        onExpandAll: () => setCollapsedGroups([]),\n        onCollapseAll: () => setCollapsedGroups(collapsible),\n      } } : {})}\n      onDirection={setDirection} onDepth={setDepth}\n      onFit={() => setOpening({ nonce: opening.nonce + 1, fit: true })} onReset={() => setOpening({ nonce: opening.nonce + 1, fit: false })} />\n  );\n\n  const frame = cn(\"flex h-full min-h-0 flex-col gap-2 p-2\", props.className);\n  if (root === undefined) {\n    return <div className={frame}>{toolbar}<Notice>{props.emptyMessage ?? \"Select a node to draw its call graph.\"}</Notice></div>;\n  }\n  const loadError = load.error && `Cannot draw the call graph: ${load.error}`;\n  return (\n    <div className={frame} aria-busy={load.loading}>\n      {toolbar}\n      <Alert message={loadError} />\n      {graph && props.renderHeader?.(graph)}\n      {!shown && load.loading && <Notice>Loading call graph…</Notice>}\n      {graph && !rootId && <Notice>The root resolved to no node in this scope.</Notice>}\n      {graph && rootId && graph.edges.length === 0 && baseAccess(access).length < CALL_GRAPH_ACCESS.length && (\n        <Notice>{`Nothing is reachable with ${accessWords(baseAccess(access))} only.`}</Notice>\n      )}\n      {graph && rootId && graph.edges.length > 0 && !selectedEdge && !selectedNode && (\n        <p className=\"text-xs text-muted-foreground\">Select an edge to list its sites, or a node to see its details.</p>\n      )}\n      {shown && graph && rootId && diagram && (\n        <div className=\"flex min-h-0 flex-1 gap-3\">\n          <div className={cn(\"relative min-h-64 min-w-0 flex-1 rounded-lg border border-border bg-background\", load.loading && \"opacity-60\")}>\n            <GraphDiagram key={`${shown.key}:${opening.nonce}`} nodes={diagram.nodes} edges={diagram.edges} groups={diagram.groups} layout=\"columns\" zoomable wheelZoom=\"zoom\" edgeFocus=\"auto\"\n              focusId={rootId} {...(opening.fit ? {} : { fitMinScale: READABLE_SCALE })} nodeWidth={NODE_WIDTH} nodeHeight={NODE_HEIGHT} compactNodeHeight={COMPACT_NODE_HEIGHT} recordHeaderHeight={24} columnGap={columnGap(diagram)} rowGap={ROW_GAP}\n              className=\"h-full\" ariaLabel={`Call graph of ${requireNode(graph, rootId).label}`} onGroupToggle={toggleGroup}\n              onNodeSelect={(id: string) => select({ kind: \"node\", id })} onEdgeSelect={(id: string) => select({ kind: \"edge\", id })}\n              {...(fresh ? { onNodeExpand: (id: string) => void expand(fresh, id) } : {})}\n              {...(selectedNode ? { selectedId: selectedNode.id } : {})} {...(selectedEdge ? { selectedEdgeId: selectedEdge.id } : {})} />\n          </div>\n          {(selectedEdge || selectedNode || expansion) && (\n            <aside className=\"w-80 max-w-[45%] shrink-0 overflow-y-auto rounded-lg border border-border bg-card p-3\" aria-label=\"Selection\">\n              {expansion && <p role=\"status\" className=\"mb-2 text-xs text-muted-foreground\">{expansion.error ?? `Loading more around ${expansion.request.label}…`}</p>}\n              {(selectedEdge || selectedNode) && (\n                <div className=\"mb-1 flex justify-end\">\n                  <Button type=\"button\" size=\"sm\" variant=\"ghost\" aria-label=\"Close selection\" onClick={() => select(undefined)}>×</Button>\n                </div>\n              )}\n              {selectedEdge && drawn ? (\n                <EdgeSites edge={selectedEdge} graph={drawn.graph} labels={labels} guards={guards} lazyGuards={props.loadSiteGuards !== undefined}\n                  siteAction={(props.siteHref || props.onRevealSite) && !drawn.folds.has(selectedEdge.from) && vocabulary.hasSource(requireNode(graph, selectedEdge.from))\n                    ? (site) => action(props.siteHref?.(site, selectedEdge, graph), props.onRevealSite && (() => props.onRevealSite?.(site, selectedEdge, graph))) ?? {}\n                    : undefined} />\n              ) : selectedNode && drawn && (\n                <NodeDetails node={selectedNode} graph={drawn.graph} vocabulary={vocabulary} isRoot={selectedNode.id === rootId} openLabel={props.openLabel ?? \"Open\"}\n                  opens={!standIn && (props.nodeHref !== undefined || props.onOpenNode !== undefined)} open={standIn ? undefined : openAction(selectedNode, graph)}\n                  onFocus={standIn ? undefined : props.onFocusNode && ((id: string) => props.onFocusNode?.(id, graph))} />\n              )}\n            </aside>\n          )}\n        </div>\n      )}\n      {graph && rootId && <div className=\"shrink-0\"><Legend graph={graph} vocabulary={vocabulary} labels={labels} /></div>}\n    </div>\n  );\n}\n"],"names":["jsx","UIR_CALL_GRAPH_VOCABULARY","CALL_GRAPH_MAX_DEPTH","DEFAULT_EDGE_LABELS","useHeld","CALL_GRAPH_DEFAULT_DEPTH","CALL_GRAPH_ACCESS","baseAccess","useState","useGraphLoad","useRef","useEffect","_a","useMemo","visibleGraph","NodeGlyphIcon","EdgeTypeGlyph","GroupCaption","requireGlyph","access","AccessMark","toDiagram","collapsibleGroups","drawn","useSiteGuards","_b","requireNode","request","expansionDirection","mergeGraph","errorMessage","CallGraphToolbar","matchesExclude","cn","jsxs","GraphDiagram","columnGap","Button","EdgeSites","NodeDetails","Legend"],"mappings":";;;;;;;;;;;;;;;;AAwHA,MAAM,aAAa;AACnB,MAAM,cAAc;AACpB,MAAM,sBAAsB;AAC5B,MAAM,UAAU;AAEhB,MAAM,iBAAiB;AACvB,MAAM,UAA8C,EAAE,YAAY,IAAI,SAAS,KAAA;AAE/E,SAAS,OAAO,EAAE,YAAqC;AACrD,SACEA,2BAAAA,IAAC,SAAI,WAAU,2DACb,yCAAC,QAAA,EAAK,WAAU,iCAAiC,SAAA,CAAS,EAAA,CAC5D;AAEJ;AAEA,SAAS,MAAM,EAAE,WAA4C;AAC3D,MAAI,CAAC,QAAS,QAAO;AACrB,wCAAQ,OAAA,EAAI,MAAK,SAAQ,WAAU,yFAAyF,UAAA,SAAQ;AACtI;AAEA,MAAM,eAAgD,EAAE,MAAM,SAAS,MAAM,SAAS,OAAO,UAAU,UAAU,YAAA;AAEjH,SAAS,YAAY,QAA4C;AAC/D,SAAO,OAAO,IAAI,CAAC,SAAS,aAAa,IAAI,CAAC,EAAE,KAAK,OAAO;AAC9D;AAEA,SAAS,OAAO,MAA0B,UAAiE;AACzG,MAAI,SAAS,UAAa,aAAa,OAAW,QAAO;AACzD,SAAO,EAAE,GAAI,SAAS,SAAY,EAAE,KAAA,IAAS,CAAA,GAAK,GAAI,WAAW,EAAE,SAAA,IAAa,CAAA,EAAC;AACnF;AAEO,SAAS,UAAmC,OAA0B;;AAC3E,QAAM,EAAE,MAAM,YAAY,aAAaC,oBAAAA,2BAA2B,WAAWC,eAAAA,yBAAyB;AACtG,QAAM,SAA8B,EAAE,GAAGC,eAAAA,qBAAqB,GAAG,MAAM,WAAA;AACvE,QAAM,CAAC,WAAW,YAAY,IAAIC,aAAAA,QAAQ,MAAM,aAAa,QAAQ,MAAM,iBAAiB;AAC5F,QAAM,CAAC,OAAO,QAAQ,IAAIA,aAAAA,QAAQ,MAAM,SAASC,eAAAA,0BAA0B,MAAM,aAAa;AAC9F,QAAM,CAAC,SAAS,UAAU,IAAID,aAAAA,QAAQ,MAAM,SAAS,MAAM,eAAe;AAC1E,QAAM,CAAC,QAAQ,SAAS,IAAIA,qBAAQ,MAAM,UAAU,CAAC,GAAGE,MAAAA,iBAAiB,GAAG,MAAM,cAAc;AAChG,QAAM,CAAC,SAAS,UAAU,IAAIF,aAAAA,QAAQ,MAAM,WAAW,OAAO,MAAM,eAAe;AACnF,QAAM,CAAC,iBAAiB,kBAAkB,IAAIA,aAAAA,QAAQ,MAAM,mBAAmB,CAAA,GAAI,MAAM,uBAAuB;AAChH,MAAIG,eAAAA,WAAW,MAAM,EAAE,WAAW,EAAG,OAAM,IAAI,MAAM,mEAAmE;AACxH,MAAI,OAAO,SAAS,UAAU,KAAK,EAAE,MAAM,cAAc,MAAM,iBAAiB;AAC9E,UAAM,IAAI,MAAM,+EAA+E;AAAA,EACjG;AACA,QAAM,CAAC,cAAc,eAAe,IAAIC,eAAA;AAExC,QAAM,UAAoC,SAAS,SAAY,SAAY,EAAE,MAAM,WAAW,OAAO,SAAS,QAAQ,SAAS,SAAS,OAAA;AACxI,QAAM,MAAM,cAAc,KAAK,UAAU,CAAC,WAAW,MAAM,MAAM,YAAY,IAAI,CAAC,CAAC;AACnF,QAAM,OAAOC,aAAAA,aAAa,YAAY,SAAS,GAAG;AAElD,QAAM,CAAC,UAAU,WAAW,IAAID,eAAA;AAChC,QAAM,CAAC,WAAW,YAAY,IAAIA,eAAA;AAClC,QAAM,mBAAmBE,MAAAA,OAAqC,MAAS;AACvE,QAAM,YAAYA,MAAAA,OAAO,GAAG;AAC5B,YAAU,UAAU;AACpBC,QAAAA,UAAU,MAAM;AACd,iBAAa,CAAC,aAAY,mCAAS,QAAQ,SAAQ,OAAO,CAAC,QAAQ,QAAQ,WAAW,OAAO,UAAU,UAAU,MAAS;AAC1H,WAAO,MAAM;;AACX,YAAIC,MAAA,iBAAiB,YAAjB,gBAAAA,IAA0B,SAAQ,KAAK;AACzC,yBAAiB,QAAQ,WAAW,MAAA;AACpC,yBAAiB,UAAU;AAAA,MAC7B;AAAA,IACF;AAAA,EACF,GAAG,CAAC,GAAG,CAAC;AACR,QAAM,CAAC,SAAS,UAAU,IAAIJ,MAAAA,SAAS,EAAE,OAAO,GAAG,KAAK,OAAO;AAC/D,QAAM,QAAQK,MAAAA;AAAAA,IACZ,MAAM,KAAK,WAAU,qCAAU,SAAQ,MAAM,WAAW,EAAE,KAAK,OAAO,KAAK,OAAO,UAAU,CAAA,EAAC;AAAA,IAC7F,CAAC,KAAK,OAAO,UAAU,GAAG;AAAA,EAAA;AAE5B,QAAM,CAAC,MAAM,OAAO,IAAIL,eAAA;AACxB,MAAI,SAAS,UAAU,KAAM,SAAQ,KAAK;AAC1C,QAAM,QAAQ,SAAS,SAAY,SAAa,SAAS;AACzD,QAAM,QAAQ,+BAAO;AAErB,QAAM,UAAUK,MAAAA,QAAQ,MAAM,SAASC,eAAAA,aAAa,MAAM,OAAO,EAAE,WAAW,OAAO,UAAU,MAAM,UAAU,GAAG,CAAC,OAAO,WAAW,KAAK,CAAC;AAC3I,QAAM,SAASD,MAAAA,QAAuB,OAAO;AAAA,IAC3C,MAAM,CAAC,OAAO,yCAAWE,gBAAAA,eAAA,EAAc,YAAwB,OAAc,OAAO,OAAO;AAAA,IAC3F,MAAM,CAAC,SAAU,SAAS,SAAS,SAAYf,2BAAAA,IAACgB,gBAAAA,eAAA,EAAc,MAAY,OAAO,OAAO,IAAI,EAAA,CAAG;AAAA,IAC/F,OAAO,CAAC,SAAS,UAAUhB,2BAAAA,IAACiB,gCAAa,MAAM,UAAU,SAAY,WAAW,MAAM,OAAOC,iCAAa,YAAY,KAAK,EAAE,MAAM,SAAkB;AAAA,IACrJ,QAAQ,CAACC,YAAWnB,2BAAAA,IAACoB,WAAAA,YAAA,EAAW,QAAQD,QAAAA,CAAQ;AAAA,EAAA,IAC9C,CAAC,YAAY,OAAO,UAAU,OAAO,MAAM,OAAO,KAAK,CAAC;AAC5D,QAAM,aAAa,MAAM,cAAc;AACvC,QAAM,UAAUN,MAAAA;AAAAA,IACd,MAAM,SAAS,WAAWQ,eAAAA,UAAU,EAAE,OAAO,SAAS,WAAW,SAAS,EAAE,GAAG,SAAS,WAAA,GAAc,QAAQ,YAAY,YAAY,QAAQ,WAAW,iBAAiB;AAAA,IAC1K,CAAC,OAAO,SAAS,WAAW,YAAY,QAAQ,YAAY,OAAO,MAAM,OAAO,UAAU,OAAO,MAAM,OAAO,OAAO,eAAe;AAAA,EAAA;AAGtI,QAAM,QAAQ,mCAAS;AACvB,QAAM,cAAcR,MAAAA,QAAQ,MAAO,SAAS,UAAUS,eAAAA,kBAAkB,OAAO,OAAO,IAAI,CAAA,GAAK,CAAC,OAAO,OAAO,CAAC;AAC/G,QAAM,cAAc,CAAC,OAAe,mBAAmB,gBAAgB,SAAS,EAAE,IAAI,gBAAgB,OAAO,CAAC,UAAU,UAAU,EAAE,IAAI,CAAC,GAAG,iBAAiB,EAAE,CAAC;AAEhK,QAAM,SAAS,+BAAO,MAAM;AAC5B,QAAM,YAAY,MAAM,mBAAmB,MAAM,YAAW,6CAAc,UAAQ,+BAAO,OAAM,6CAAc,WAAW;AACxH,QAAM,SAAS,CAAC,SAAyC;AACvD,QAAI,MAAM,iBAAkB,OAAM,iBAAiB,IAAI;AAAA,QAClD,iBAAgB,QAAQ,QAAQ,EAAE,KAAK,MAAM,KAAK,UAAU,KAAA,IAAS,MAAS;AAAA,EACrF;AACA,QAAM,aAAa,CAAC,MAAqBC,WAAa;;AACpD,UAAM,EAAE,YAAY,YAAA,IAAgB;AACpC,UAAM,WAAW,gBAAe,2CAAc,MAAMA,YAAU,QAAQ,MAAM,WAAW,MAAMA,MAAK,IAAI;AACtG,WAAO,QAAOX,MAAA,MAAM,aAAN,gBAAAA,IAAA,YAAiB,MAAMW,SAAQ,QAAQ;AAAA,EACvD;AACA,QAAM,gBAAe,uCAAW,UAAS,SAAS,+BAAO,QAAQ,MAAM,KAAK,CAAC,SAAS,KAAK,OAAO,UAAU,MAAM;AAClH,QAAM,gBAAe,uCAAW,UAAS,SAAS,+BAAO,QAAQ,MAAM,KAAK,CAAC,SAAS,KAAK,OAAO,UAAU,MAAM;AAElH,QAAM,aAAa,iBAAiB,WAAa,+BAAO,OAAO,IAAI,aAAa,SAAQ;AACxF,QAAM,UAAU,iBAAiB,WAAa,+BAAO,MAAM,IAAI,aAAa,SAAQ;AACpF,QAAM,SAASC,aAAAA,cAAc,MAAM,gBAAgB,+BAAO,KAAK,aAAa,SAAY,cAAc,KAAK;AAC3G,QAAM,aAAY,uCAAW,QAAQ,SAAQ,MAAM,YAAY;AAG/D,QAAM,SAAS,OAAOD,QAAgB,OAAe;;AACnD,QAAIA,OAAM,QAAQ,UAAU,QAAS;AACrC,UAAIX,MAAA,iBAAiB,YAAjB,gBAAAA,IAA0B,SAAQW,OAAM,OAAO,iBAAiB,QAAQ,WAAW,GAAI;AAC3F,KAAAE,MAAA,iBAAiB,YAAjB,gBAAAA,IAA0B,WAAW;AACrC,UAAM,OAAOC,eAAAA,YAAYH,OAAM,OAAO,EAAE;AACxC,UAAMI,WAA4B,EAAE,KAAKJ,OAAM,KAAK,QAAQ,IAAI,OAAO,KAAK,OAAO,YAAY,IAAI,kBAAgB;AACnH,qBAAiB,UAAUI;AAC3B,iBAAa,EAAE,SAAAA,UAAS;AACxB,QAAI;AACF,YAAM,OAAO,MAAM,WAAW;AAAA,QAC5B,MAAM;AAAA,QAAI,WAAWC,eAAAA,mBAAmB,IAAI;AAAA,QAAG,OAAO;AAAA,QAAG;AAAA,QAAS;AAAA,QAAQ;AAAA,QAAS,SAAS;AAAA,QAAU,QAAQD,SAAQ,WAAW;AAAA,MAAA,CAClI;AACD,UAAIA,SAAQ,WAAW,OAAO,WAAW,UAAU,YAAYJ,OAAM,OAAO,iBAAiB,YAAYI,SAAS;AAClH,kBAAY,CAAC,SAAS;AACpB,YAAIA,SAAQ,WAAW,OAAO,WAAW,UAAU,YAAYJ,OAAM,IAAK,QAAO;AACjF,cAAM,QAAO,6BAAM,SAAQA,OAAM,MAAM,OAAOA;AAC9C,eAAO,EAAE,KAAKA,OAAM,KAAK,OAAOM,eAAAA,WAAW,KAAK,OAAO,IAAI,GAAG,UAAU,CAAC,GAAG,KAAK,UAAU,GAAG,KAAK,MAAM,IAAI,CAAC,UAAU,MAAM,EAAE,CAAC,EAAA;AAAA,MACnI,CAAC;AACD,mBAAa,CAAC,aAAY,mCAAS,aAAYF,WAAU,SAAY,OAAO;AAAA,IAC9E,SAAS,OAAO;AACd,UAAIA,SAAQ,WAAW,OAAO,WAAW,UAAU,YAAYJ,OAAM,OAAO,iBAAiB,YAAYI,SAAS;AAClH,mBAAa,CAAC,aAAY,mCAAS,aAAYA,WAC3C,EAAE,SAAAA,UAAS,OAAO,iBAAiB,KAAK,KAAK,KAAKG,aAAAA,aAAa,KAAK,CAAC,GAAA,IAAO,OAAO;AAAA,IACzF,UAAA;AACE,UAAI,iBAAiB,YAAYH,SAAS,kBAAiB,UAAU;AAAA,IACvE;AAAA,EACF;AAEA,QAAM,SAAS,WAAS,WAAM,eAAN,+BAAmB;AAC3C,QAAM,mBAAmB,YAAY,SAAS,MAAM,iBAAiB,MAAM,eAAe,KAAK,IAAI;AACnG,QAAM,EAAE,mBAAmB;AAC3B,QAAM,UACJ3B,2BAAAA;AAAAA,IAAC+B,iBAAAA;AAAAA,IAAA;AAAA,MAAiB;AAAA,MAAsB;AAAA,MAAc;AAAA,MAAoB,SAAS,+BAAO;AAAA,MAAS,KAAK,MAAM;AAAA,MAAY;AAAA,MACvH,GAAI,iBAAiB,EAAE,KAAK,EAAE,QAAQ,MAAM,UAAU,OAAO,QAAQ,WAAW,QAAW,OAAO,CAAC,WAAoB,eAAe,QAAQ,MAAM,EAAA,EAAE,IAAM,CAAA;AAAA,MAC5J,GAAI,SAAS,EAAE,YAAY;AAAA,QAAE,SAAS;AAAA,QAAkB;AAAA,QAAQ,SAAS,MAAM,kBAAkBC,iBAAAA;AAAAA,QAAgB,MAAM,KAAK;AAAA,QAAS;AAAA,QACpI,WAAW,CAAC,aAAuB,WAAW,QAAQ;AAAA,QAAG,YAAY,MAAM,WAAW,MAAS;AAAA,MAAA,EAAE,IAAM,CAAA;AAAA,MACxG,GAAI,MAAM,aAAa,EAAE,MAAM,EAAE,QAAQ,UAAU,WAAW,SAAS,WAAW,YAAY,WAAW,MAAM,kBAAkB,MAAA,EAAM,IAAM,CAAA;AAAA,MAC7I,GAAI,YAAY,SAAS,IAAI,EAAE,eAAe;AAAA,QAC7C,cAAc,gBAAgB,KAAK,CAAC,OAAO,YAAY,SAAS,EAAE,CAAC;AAAA,QACnE,aAAa,YAAY,KAAK,CAAC,OAAO,CAAC,gBAAgB,SAAS,EAAE,CAAC;AAAA,QACnE,aAAa,MAAM,mBAAmB,EAAE;AAAA,QACxC,eAAe,MAAM,mBAAmB,WAAW;AAAA,MAAA,EACrD,IAAM,CAAA;AAAA,MACN,aAAa;AAAA,MAAc,SAAS;AAAA,MACpC,OAAO,MAAM,WAAW,EAAE,OAAO,QAAQ,QAAQ,GAAG,KAAK,MAAM;AAAA,MAAG,SAAS,MAAM,WAAW,EAAE,OAAO,QAAQ,QAAQ,GAAG,KAAK,MAAA,CAAO;AAAA,IAAA;AAAA,EAAA;AAGxI,QAAM,QAAQC,MAAAA,GAAG,0CAA0C,MAAM,SAAS;AAC1E,MAAI,SAAS,QAAW;AACtB,WAAOC,2BAAAA,KAAC,OAAA,EAAI,WAAW,OAAQ,UAAA;AAAA,MAAA;AAAA,MAAQlC,2BAAAA,IAAC,QAAA,EAAQ,UAAA,MAAM,gBAAgB,wCAAA,CAAwC;AAAA,IAAA,GAAS;AAAA,EACzH;AACA,QAAM,YAAY,KAAK,SAAS,+BAA+B,KAAK,KAAK;AACzE,yCACG,OAAA,EAAI,WAAW,OAAO,aAAW,KAAK,SACpC,UAAA;AAAA,IAAA;AAAA,IACDA,2BAAAA,IAAC,OAAA,EAAM,SAAS,UAAA,CAAW;AAAA,IAC1B,WAAS,WAAM,iBAAN,+BAAqB;AAAA,IAC9B,CAAC,SAAS,KAAK,WAAWA,2BAAAA,IAAC,UAAO,UAAA,uBAAmB;AAAA,IACrD,SAAS,CAAC,UAAUA,2BAAAA,IAAC,UAAO,UAAA,+CAA2C;AAAA,IACvE,SAAS,UAAU,MAAM,MAAM,WAAW,KAAKO,eAAAA,WAAW,MAAM,EAAE,SAASD,wBAAkB,UAC5FN,2BAAAA,IAAC,UAAQ,UAAA,6BAA6B,YAAYO,eAAAA,WAAW,MAAM,CAAC,CAAC,UAAS;AAAA,IAE/E,SAAS,UAAU,MAAM,MAAM,SAAS,KAAK,CAAC,gBAAgB,CAAC,gBAC9DP,2BAAAA,IAAC,KAAA,EAAE,WAAU,iCAAgC,UAAA,mEAA+D;AAAA,IAE7G,SAAS,SAAS,UAAU,WAC3BkC,2BAAAA,KAAC,OAAA,EAAI,WAAU,6BACb,UAAA;AAAA,MAAAlC,2BAAAA,IAAC,SAAI,WAAWiC,SAAG,kFAAkF,KAAK,WAAW,YAAY,GAC/H,UAAAjC,2BAAAA;AAAAA,QAACmC,aAAAA;AAAAA,QAAA;AAAA,UAAmD,OAAO,QAAQ;AAAA,UAAO,OAAO,QAAQ;AAAA,UAAO,QAAQ,QAAQ;AAAA,UAAQ,QAAO;AAAA,UAAU,UAAQ;AAAA,UAAC,WAAU;AAAA,UAAO,WAAU;AAAA,UAC3K,SAAS;AAAA,UAAS,GAAI,QAAQ,MAAM,CAAA,IAAK,EAAE,aAAa,eAAA;AAAA,UAAmB,WAAW;AAAA,UAAY,YAAY;AAAA,UAAa,mBAAmB;AAAA,UAAqB,oBAAoB;AAAA,UAAI,WAAWC,eAAAA,UAAU,OAAO;AAAA,UAAG,QAAQ;AAAA,UAClO,WAAU;AAAA,UAAS,WAAW,iBAAiBV,eAAAA,YAAY,OAAO,MAAM,EAAE,KAAK;AAAA,UAAI,eAAe;AAAA,UAClG,cAAc,CAAC,OAAe,OAAO,EAAE,MAAM,QAAQ,IAAI;AAAA,UAAG,cAAc,CAAC,OAAe,OAAO,EAAE,MAAM,QAAQ,IAAI;AAAA,UACpH,GAAI,QAAQ,EAAE,cAAc,CAAC,OAAe,KAAK,OAAO,OAAO,EAAE,EAAA,IAAM,CAAA;AAAA,UACvE,GAAI,eAAe,EAAE,YAAY,aAAa,GAAA,IAAO,CAAA;AAAA,UAAM,GAAI,eAAe,EAAE,gBAAgB,aAAa,GAAA,IAAO,CAAA;AAAA,QAAC;AAAA,QALrG,GAAG,MAAM,GAAG,IAAI,QAAQ,KAAK;AAAA,MAAA,GAMlD;AAAA,OACE,gBAAgB,gBAAgB,cAChCQ,gCAAC,WAAM,WAAU,yFAAwF,cAAW,aACjH,UAAA;AAAA,QAAA,aAAalC,2BAAAA,IAAC,KAAA,EAAE,MAAK,UAAS,WAAU,sCAAsC,UAAA,UAAU,SAAS,uBAAuB,UAAU,QAAQ,KAAK,KAAI;AAAA,SAClJ,gBAAgB,iBAChBA,2BAAAA,IAAC,OAAA,EAAI,WAAU,yBACb,UAAAA,2BAAAA,IAACqC,eAAA,EAAO,MAAK,UAAS,MAAK,MAAK,SAAQ,SAAQ,cAAW,mBAAkB,SAAS,MAAM,OAAO,MAAS,GAAG,UAAA,IAAA,CAAC,EAAA,CAClH;AAAA,QAED,gBAAgB,QACfrC,2BAAAA;AAAAA,UAACsC,eAAAA;AAAAA,UAAA;AAAA,YAAU,MAAM;AAAA,YAAc,OAAO,MAAM;AAAA,YAAO;AAAA,YAAgB;AAAA,YAAgB,YAAY,MAAM,mBAAmB;AAAA,YACtH,aAAa,MAAM,YAAY,MAAM,iBAAiB,CAAC,MAAM,MAAM,IAAI,aAAa,IAAI,KAAK,WAAW,UAAUZ,eAAAA,YAAY,OAAO,aAAa,IAAI,CAAC,IACnJ,CAAC,SAAA;;AAAS,6BAAOd,MAAA,MAAM,aAAN,gBAAAA,IAAA,YAAiB,MAAM,cAAc,QAAQ,MAAM,iBAAiB,MAAA;;AAAM,wBAAAA,MAAA,MAAM,iBAAN,gBAAAA,IAAA,YAAqB,MAAM,cAAc;AAAA,gBAAO,KAAK;gBAChJ;AAAA,UAAA;AAAA,QAAA,IACJ,gBAAgB,SAClBZ,2BAAAA;AAAAA,UAACuC,eAAAA;AAAAA,UAAA;AAAA,YAAY,MAAM;AAAA,YAAc,OAAO,MAAM;AAAA,YAAO;AAAA,YAAwB,QAAQ,aAAa,OAAO;AAAA,YAAQ,WAAW,MAAM,aAAa;AAAA,YAC7I,OAAO,CAAC,YAAY,MAAM,aAAa,UAAa,MAAM,eAAe;AAAA,YAAY,MAAM,UAAU,SAAY,WAAW,cAAc,KAAK;AAAA,YAC/I,SAAS,UAAU,SAAY,MAAM,gBAAgB,CAAC,OAAA;;AAAe,sBAAA3B,MAAA,MAAM,gBAAN,gBAAAA,IAAA,YAAoB,IAAI;AAAA;AAAA,UAAK;AAAA,QAAA;AAAA,MAAI,EAAA,CAE5G;AAAA,IAAA,GAEJ;AAAA,IAED,SAAS,UAAUZ,2BAAAA,IAAC,OAAA,EAAI,WAAU,YAAW,UAAAA,2BAAAA,IAACwC,eAAAA,QAAA,EAAO,OAAc,YAAwB,OAAA,CAAgB,EAAA,CAAE;AAAA,EAAA,GAChH;AAEJ;;"}

package/dist/data/call-graph/CallGraph.d.ts

@@ -22,12 +22,21 @@ export interface CallGraphProps<G extends Graph = Graph> {
     onSelectedChange?: (selected: CallGraphSelection | undefined) => void;
     /** The source reports reads and writes of data: shows the Access toggles and the Columns switch. */
     dataAccess?: boolean;
-    /** The edge types the host follows, never empty; all three by default. Controlled with `onAccessChange`. */
+    /** The source can follow the variables a body reads and writes: shows a Variables toggle beside the Access ones. Needs `dataAccess`. */
+    variableAccess?: boolean;
+    /** The edge types the host follows, at least one of call, read and write; all three by default. Controlled with `onAccessChange`. */
     access?: CallGraphAccess[];
     onAccessChange?: (access: CallGraphAccess[]) => void;
     /** Columns and fields as nodes of their own; collapsed into tables and entities by default. */
     columns?: boolean;
     onColumnsChange?: (columns: boolean) => void;
+    /**
+     * The groups drawn as their header alone, by `graph.groups` id: each folds into one node, and its
+     * members' edges merge onto it, counting the members. The root's group never folds. Controlled with
+     * `onCollapsedGroupsChange`; without one the component holds it, starting here, none by default.
+     */
+    collapsedGroups?: string[];
+    onCollapsedGroupsChange?: (ids: string[]) => void;
     /** The groups the graph reached, drawn or excluded. Without it the graph offers no exclusions. */
     groupFacts?: (graph: G) => CallGraphGroupFact[];
     /** The patterns in force when `exclude` is undefined: the host's defaults, as its response reports them. */

package/dist/data/call-graph/CallGraph.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"CallGraph.d.ts","sourceRoot":"","sources":["../../../src/data/call-graph/CallGraph.tsx"],"names":[],"mappings":"AAIA,OAAO,EAAwC,KAAK,SAAS,EAAE,MAAM,OAAO,CAAC;AAI7E,OAAO,EAAkB,KAAK,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC3E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AActD,OAAO,EAA6B,KAAK,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAI9F,OAAO,EAEL,KAAK,SAAS,IAAI,KAAK,EACvB,KAAK,eAAe,EACpB,KAAK,kBAAkB,EACvB,KAAK,aAAa,EAClB,KAAK,mBAAmB,EACxB,KAAK,oBAAoB,EACzB,KAAK,kBAAkB,EACvB,KAAK,aAAa,EAClB,KAAK,kBAAkB,EACvB,KAAK,aAAa,EACnB,MAAM,SAAS,CAAC;AAGjB,MAAM,WAAW,cAAc,CAAC,CAAC,SAAS,KAAK,GAAG,KAAK;IACrD,2FAA2F;IAC3F,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;IACzB,oFAAoF;IACpF,UAAU,EAAE,CAAC,MAAM,EAAE,oBAAoB,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC;IACzD,gHAAgH;IAChH,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,iGAAiG;IACjG,SAAS,CAAC,EAAE,kBAAkB,CAAC;IAC/B,iBAAiB,CAAC,EAAE,CAAC,SAAS,EAAE,kBAAkB,KAAK,IAAI,CAAC;IAC5D,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,aAAa,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,IAAI,CAAC;IACxC,sGAAsG;IACtG,OAAO,CAAC,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC;IAC/B,eAAe,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,SAAS,KAAK,IAAI,CAAC;IAC1D,QAAQ,CAAC,EAAE,kBAAkB,GAAG,SAAS,CAAC;IAC1C,gBAAgB,CAAC,EAAE,CAAC,QAAQ,EAAE,kBAAkB,GAAG,SAAS,KAAK,IAAI,CAAC;IACtE,oGAAoG;IACpG,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,4GAA4G;IAC5G,MAAM,CAAC,EAAE,eAAe,EAAE,CAAC;IAC3B,cAAc,CAAC,EAAE,CAAC,MAAM,EAAE,eAAe,EAAE,KAAK,IAAI,CAAC;IACrD,+FAA+F;IAC/F,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,eAAe,CAAC,EAAE,CAAC,OAAO,EAAE,OAAO,KAAK,IAAI,CAAC;IAC7C,kGAAkG;IAClG,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,kBAAkB,EAAE,CAAC;IAChD,4GAA4G;IAC5G,cAAc,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,MAAM,EAAE,CAAC;IACxC,0EAA0E;IAC1E,cAAc,CAAC,EAAE,cAAc,CAAC;IAChC;;;OAGG;IACH,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,KAAK,MAAM,GAAG,SAAS,CAAC;IACjE,0EAA0E;IAC1E,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,KAAK,IAAI,CAAC;IACrD,gEAAgE;IAChE,WAAW,CAAC,EAAE,CAAC,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,KAAK,OAAO,CAAC;IACzD,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,+GAA+G;IAC/G,WAAW,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,KAAK,IAAI,CAAC;IACjD,+EAA+E;IAC/E,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,KAAK,MAAM,GAAG,SAAS,CAAC;IACtF,YAAY,CAAC,EAAE,CAAC,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,KAAK,IAAI,CAAC;IAC5E,6FAA6F;IAC7F,cAAc,CAAC,EAAE,CAAC,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,WAAW,KAAK,OAAO,CAAC,aAAa,EAAE,CAAC,CAAC;IAClG,UAAU,CAAC,EAAE,OAAO,CAAC,mBAAmB,CAAC,CAAC;IAC1C,uHAAuH;IACvH,UAAU,CAAC,EAAE,UAAU,CAAC;IACxB,UAAU,CAAC,EAAE,mBAAmB,CAAC;IACjC,mEAAmE;IACnE,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,cAAc,CAAC,EAAE,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,GAAG,SAAS,KAAK,IAAI,CAAC;IACvE,uEAAuE;IACvE,YAAY,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,SAAS,CAAC;IACvC,UAAU,CAAC,EAAE,SAAS,CAAC;IACvB,YAAY,CAAC,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAqCD,wBAAgB,SAAS,CAAC,CAAC,SAAS,KAAK,GAAG,KAAK,EAAE,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,+BAkK1E"}
+{"version":3,"file":"CallGraph.d.ts","sourceRoot":"","sources":["../../../src/data/call-graph/CallGraph.tsx"],"names":[],"mappings":"AAIA,OAAO,EAAwC,KAAK,SAAS,EAAE,MAAM,OAAO,CAAC;AAK7E,OAAO,EAAkB,KAAK,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC3E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAgBtD,OAAO,EAA2C,KAAK,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAI5G,OAAO,EAEL,KAAK,SAAS,IAAI,KAAK,EACvB,KAAK,eAAe,EACpB,KAAK,kBAAkB,EACvB,KAAK,aAAa,EAClB,KAAK,mBAAmB,EACxB,KAAK,oBAAoB,EACzB,KAAK,kBAAkB,EACvB,KAAK,aAAa,EAClB,KAAK,kBAAkB,EACvB,KAAK,aAAa,EACnB,MAAM,SAAS,CAAC;AAGjB,MAAM,WAAW,cAAc,CAAC,CAAC,SAAS,KAAK,GAAG,KAAK;IACrD,2FAA2F;IAC3F,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;IACzB,oFAAoF;IACpF,UAAU,EAAE,CAAC,MAAM,EAAE,oBAAoB,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC;IACzD,gHAAgH;IAChH,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,iGAAiG;IACjG,SAAS,CAAC,EAAE,kBAAkB,CAAC;IAC/B,iBAAiB,CAAC,EAAE,CAAC,SAAS,EAAE,kBAAkB,KAAK,IAAI,CAAC;IAC5D,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,aAAa,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,IAAI,CAAC;IACxC,sGAAsG;IACtG,OAAO,CAAC,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC;IAC/B,eAAe,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,SAAS,KAAK,IAAI,CAAC;IAC1D,QAAQ,CAAC,EAAE,kBAAkB,GAAG,SAAS,CAAC;IAC1C,gBAAgB,CAAC,EAAE,CAAC,QAAQ,EAAE,kBAAkB,GAAG,SAAS,KAAK,IAAI,CAAC;IACtE,oGAAoG;IACpG,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,wIAAwI;IACxI,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB,qIAAqI;IACrI,MAAM,CAAC,EAAE,eAAe,EAAE,CAAC;IAC3B,cAAc,CAAC,EAAE,CAAC,MAAM,EAAE,eAAe,EAAE,KAAK,IAAI,CAAC;IACrD,+FAA+F;IAC/F,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,eAAe,CAAC,EAAE,CAAC,OAAO,EAAE,OAAO,KAAK,IAAI,CAAC;IAC7C;;;;OAIG;IACH,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;IAC3B,uBAAuB,CAAC,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,IAAI,CAAC;IAClD,kGAAkG;IAClG,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,kBAAkB,EAAE,CAAC;IAChD,4GAA4G;IAC5G,cAAc,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,MAAM,EAAE,CAAC;IACxC,0EAA0E;IAC1E,cAAc,CAAC,EAAE,cAAc,CAAC;IAChC;;;OAGG;IACH,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,KAAK,MAAM,GAAG,SAAS,CAAC;IACjE,0EAA0E;IAC1E,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,KAAK,IAAI,CAAC;IACrD,gEAAgE;IAChE,WAAW,CAAC,EAAE,CAAC,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,KAAK,OAAO,CAAC;IACzD,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,+GAA+G;IAC/G,WAAW,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,KAAK,IAAI,CAAC;IACjD,+EAA+E;IAC/E,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,KAAK,MAAM,GAAG,SAAS,CAAC;IACtF,YAAY,CAAC,EAAE,CAAC,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,KAAK,IAAI,CAAC;IAC5E,6FAA6F;IAC7F,cAAc,CAAC,EAAE,CAAC,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,WAAW,KAAK,OAAO,CAAC,aAAa,EAAE,CAAC,CAAC;IAClG,UAAU,CAAC,EAAE,OAAO,CAAC,mBAAmB,CAAC,CAAC;IAC1C,uHAAuH;IACvH,UAAU,CAAC,EAAE,UAAU,CAAC;IACxB,UAAU,CAAC,EAAE,mBAAmB,CAAC;IACjC,mEAAmE;IACnE,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,cAAc,CAAC,EAAE,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,GAAG,SAAS,KAAK,IAAI,CAAC;IACvE,uEAAuE;IACvE,YAAY,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,SAAS,CAAC;IACvC,UAAU,CAAC,EAAE,SAAS,CAAC;IACvB,YAAY,CAAC,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAqCD,wBAAgB,SAAS,CAAC,CAAC,SAAS,KAAK,GAAG,KAAK,EAAE,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,+BAoL1E"}

package/dist/data/call-graph/CallGraph.js

@@ -2,10 +2,11 @@ import { jsx, jsxs } from "react/jsx-runtime";
 import { useState, useRef, useEffect, useMemo } from "react";
 import { Button } from "../../components/button.js";
 import { cn } from "../../lib/utils.js";
+import { AccessMark } from "../AccessMark.js";
 import { GraphDiagram } from "../GraphDiagram.js";
 import { matchesExclude } from "./call-graph-exclude.js";
-import { CALL_GRAPH_MAX_DEPTH, CALL_GRAPH_DEFAULT_DEPTH, visibleGraph, DEFAULT_EDGE_LABELS, toDiagram, requireNode, columnGap, expansionDirection, mergeGraph } from "./call-graph-model.js";
-import { UIR_CALL_GRAPH_VOCABULARY } from "./call-graph-vocabulary.js";
+import { CALL_GRAPH_MAX_DEPTH, CALL_GRAPH_DEFAULT_DEPTH, baseAccess, visibleGraph, DEFAULT_EDGE_LABELS, toDiagram, collapsibleGroups, requireNode, columnGap, expansionDirection, mergeGraph } from "./call-graph-model.js";
+import { UIR_CALL_GRAPH_VOCABULARY, requireGlyph } from "./call-graph-vocabulary.js";
 import { GroupCaption, EdgeTypeGlyph, NodeGlyphIcon } from "./CallGraphGlyphs.js";
 import { EdgeSites, NodeDetails, Legend } from "./CallGraphParts.js";
 import { CallGraphToolbar } from "./CallGraphToolbar.js";
@@ -24,7 +25,7 @@ function Alert({ message }) {
   if (!message) return null;
   return /* @__PURE__ */ jsx("div", { role: "alert", className: "whitespace-pre-wrap rounded-md border border-destructive p-3 text-sm text-destructive", children: message });
 }
-const ACCESS_WORDS = { call: "Calls", read: "Reads", write: "Writes" };
+const ACCESS_WORDS = { call: "Calls", read: "Reads", write: "Writes", variable: "Variables" };
 function accessWords(access) {
   return access.map((type) => ACCESS_WORDS[type]).join(" and ");
 }
@@ -41,7 +42,11 @@ function CallGraph(props) {
   const [exclude, setExclude] = useHeld(props.exclude, props.onExcludeChange);
   const [access, setAccess] = useHeld(props.access ?? [...CALL_GRAPH_ACCESS], props.onAccessChange);
   const [columns, setColumns] = useHeld(props.columns ?? false, props.onColumnsChange);
-  if (access.length === 0) throw new Error("call graph: access must name at least one of call, read and write");
+  const [collapsedGroups, setCollapsedGroups] = useHeld(props.collapsedGroups ?? [], props.onCollapsedGroupsChange);
+  if (baseAccess(access).length === 0) throw new Error("call graph: access must name at least one of call, read and write");
+  if (access.includes("variable") && !(props.dataAccess && props.variableAccess)) {
+    throw new Error("call graph: access names variable, but the host does not offer variableAccess");
+  }
   const [ownSelection, setOwnSelection] = useState();
   const request = root === void 0 ? void 0 : { root, direction, depth, exclude, access, columns, purpose: "load" };
   const key = `call-graph:${JSON.stringify([request ?? null, props.fetchKey ?? null])}`;
@@ -74,36 +79,42 @@ function CallGraph(props) {
   const glyphs = useMemo(() => ({
     node: (glyph, words) => /* @__PURE__ */ jsx(NodeGlyphIcon, { vocabulary, glyph, title: words }),
     edge: (type) => type === "call" ? void 0 : /* @__PURE__ */ jsx(EdgeTypeGlyph, { type, title: labels[type] }),
-    group: (caption) => /* @__PURE__ */ jsx(GroupCaption, { icon: vocabulary.group.icon, caption })
+    group: (caption, glyph) => /* @__PURE__ */ jsx(GroupCaption, { icon: glyph === void 0 ? vocabulary.group.icon : requireGlyph(vocabulary, glyph).icon, caption }),
+    access: (access2) => /* @__PURE__ */ jsx(AccessMark, { access: access2 })
   }), [vocabulary, labels.dispatch, labels.read, labels.write]);
   const guardLabel = props.guardLabel ?? "innermost";
   const diagram = useMemo(
-    () => graph && visible && toDiagram({ graph, visible, direction, options: { ...OPTIONS, guardLabel }, glyphs, vocabulary, edgeLabels: labels }),
-    [graph, visible, direction, guardLabel, glyphs, vocabulary, labels.call, labels.dispatch, labels.read, labels.write]
+    () => graph && visible && toDiagram({ graph, visible, direction, options: { ...OPTIONS, guardLabel }, glyphs, vocabulary, edgeLabels: labels, collapsed: collapsedGroups }),
+    [graph, visible, direction, guardLabel, glyphs, vocabulary, labels.call, labels.dispatch, labels.read, labels.write, collapsedGroups]
   );
+  const drawn = diagram == null ? void 0 : diagram.drawn;
+  const collapsible = useMemo(() => graph && visible ? collapsibleGroups(graph, visible) : [], [graph, visible]);
+  const toggleGroup = (id) => setCollapsedGroups(collapsedGroups.includes(id) ? collapsedGroups.filter((entry) => entry !== id) : [...collapsedGroups, id]);
   const rootId = graph == null ? void 0 : graph.roots[0];
   const selection = props.onSelectedChange ? props.selected : (ownSelection == null ? void 0 : ownSelection.key) === (shown == null ? void 0 : shown.key) ? ownSelection == null ? void 0 : ownSelection.selected : void 0;
   const select = (next) => {
     if (props.onSelectedChange) props.onSelectedChange(next);
     else setOwnSelection(next && shown ? { key: shown.key, selected: next } : void 0);
   };
-  const openAction = (node, drawn) => {
+  const openAction = (node, drawn2) => {
     var _a2;
     const { onOpenNode, canOpenNode } = props;
-    const accepted = onOpenNode && ((canOpenNode == null ? void 0 : canOpenNode(node, drawn)) ?? true) ? () => onOpenNode(node, drawn) : void 0;
-    return action((_a2 = props.nodeHref) == null ? void 0 : _a2.call(props, node, drawn), accepted);
+    const accepted = onOpenNode && ((canOpenNode == null ? void 0 : canOpenNode(node, drawn2)) ?? true) ? () => onOpenNode(node, drawn2) : void 0;
+    return action((_a2 = props.nodeHref) == null ? void 0 : _a2.call(props, node, drawn2), accepted);
   };
-  const selectedNode = (selection == null ? void 0 : selection.kind) === "node" ? visible == null ? void 0 : visible.nodes.find((node) => node.id === selection.id) : void 0;
-  const selectedEdge = (selection == null ? void 0 : selection.kind) === "edge" ? visible == null ? void 0 : visible.edges.find((edge) => edge.id === selection.id) : void 0;
-  const guards = useSiteGuards(props.loadSiteGuards, shown == null ? void 0 : shown.key, selectedEdge, graph);
+  const selectedNode = (selection == null ? void 0 : selection.kind) === "node" ? drawn == null ? void 0 : drawn.visible.nodes.find((node) => node.id === selection.id) : void 0;
+  const selectedEdge = (selection == null ? void 0 : selection.kind) === "edge" ? drawn == null ? void 0 : drawn.visible.edges.find((edge) => edge.id === selection.id) : void 0;
+  const mergedEdge = selectedEdge !== void 0 && (drawn == null ? void 0 : drawn.merged.has(selectedEdge.id)) === true;
+  const standIn = selectedNode !== void 0 && (drawn == null ? void 0 : drawn.folds.has(selectedNode.id)) === true;
+  const guards = useSiteGuards(props.loadSiteGuards, shown == null ? void 0 : shown.key, mergedEdge ? void 0 : selectedEdge, graph);
   const expansion = (expanding == null ? void 0 : expanding.request.key) === key ? expanding : void 0;
-  const expand = async (drawn, id) => {
+  const expand = async (drawn2, id) => {
     var _a2, _b2;
-    if (drawn.key !== activeKey.current) return;
-    if (((_a2 = pendingExpansion.current) == null ? void 0 : _a2.key) === drawn.key && pendingExpansion.current.nodeId === id) return;
+    if (drawn2.key !== activeKey.current) return;
+    if (((_a2 = pendingExpansion.current) == null ? void 0 : _a2.key) === drawn2.key && pendingExpansion.current.nodeId === id) return;
     (_b2 = pendingExpansion.current) == null ? void 0 : _b2.controller.abort();
-    const node = requireNode(drawn.graph, id);
-    const request2 = { key: drawn.key, nodeId: id, label: node.label, controller: new AbortController() };
+    const node = requireNode(drawn2.graph, id);
+    const request2 = { key: drawn2.key, nodeId: id, label: node.label, controller: new AbortController() };
     pendingExpansion.current = request2;
     setExpanding({ request: request2 });
     try {
@@ -117,15 +128,15 @@ function CallGraph(props) {
         purpose: "expand",
         signal: request2.controller.signal
       });
-      if (request2.controller.signal.aborted || activeKey.current !== drawn.key || pendingExpansion.current !== request2) return;
+      if (request2.controller.signal.aborted || activeKey.current !== drawn2.key || pendingExpansion.current !== request2) return;
       setExpanded((held) => {
-        if (request2.controller.signal.aborted || activeKey.current !== drawn.key) return held;
-        const base = (held == null ? void 0 : held.key) === drawn.key ? held : drawn;
-        return { key: drawn.key, graph: mergeGraph(base.graph, data), revealed: [...base.revealed, ...data.nodes.map((entry) => entry.id)] };
+        if (request2.controller.signal.aborted || activeKey.current !== drawn2.key) return held;
+        const base = (held == null ? void 0 : held.key) === drawn2.key ? held : drawn2;
+        return { key: drawn2.key, graph: mergeGraph(base.graph, data), revealed: [...base.revealed, ...data.nodes.map((entry) => entry.id)] };
       });
       setExpanding((current) => (current == null ? void 0 : current.request) === request2 ? void 0 : current);
     } catch (error) {
-      if (request2.controller.signal.aborted || activeKey.current !== drawn.key || pendingExpansion.current !== request2) return;
+      if (request2.controller.signal.aborted || activeKey.current !== drawn2.key || pendingExpansion.current !== request2) return;
       setExpanding((current) => (current == null ? void 0 : current.request) === request2 ? { request: request2, error: `Cannot expand ${node.label}: ${errorMessage(error)}` } : current);
     } finally {
       if (pendingExpansion.current === request2) pendingExpansion.current = void 0;
@@ -153,7 +164,13 @@ function CallGraph(props) {
         onExclude: (patterns) => setExclude(patterns),
         onDefaults: () => setExclude(void 0)
       } } : {},
-      ...props.dataAccess ? { data: { access, onAccess: setAccess, columns, onColumns: setColumns } } : {},
+      ...props.dataAccess ? { data: { access, onAccess: setAccess, columns, onColumns: setColumns, variables: props.variableAccess ?? false } } : {},
+      ...collapsible.length > 0 ? { groupCollapse: {
+        anyCollapsed: collapsedGroups.some((id) => collapsible.includes(id)),
+        anyExpanded: collapsible.some((id) => !collapsedGroups.includes(id)),
+        onExpandAll: () => setCollapsedGroups([]),
+        onCollapseAll: () => setCollapsedGroups(collapsible)
+      } } : {},
       onDirection: setDirection,
       onDepth: setDepth,
       onFit: () => setOpening({ nonce: opening.nonce + 1, fit: true }),
@@ -174,7 +191,7 @@ function CallGraph(props) {
     graph && ((_b = props.renderHeader) == null ? void 0 : _b.call(props, graph)),
     !shown && load.loading && /* @__PURE__ */ jsx(Notice, { children: "Loading call graph…" }),
     graph && !rootId && /* @__PURE__ */ jsx(Notice, { children: "The root resolved to no node in this scope." }),
-    graph && rootId && graph.edges.length === 0 && access.length < CALL_GRAPH_ACCESS.length && /* @__PURE__ */ jsx(Notice, { children: `Nothing is reachable with ${accessWords(access)} only.` }),
+    graph && rootId && graph.edges.length === 0 && baseAccess(access).length < CALL_GRAPH_ACCESS.length && /* @__PURE__ */ jsx(Notice, { children: `Nothing is reachable with ${accessWords(baseAccess(access))} only.` }),
     graph && rootId && graph.edges.length > 0 && !selectedEdge && !selectedNode && /* @__PURE__ */ jsx("p", { className: "text-xs text-muted-foreground", children: "Select an edge to list its sites, or a node to see its details." }),
     shown && graph && rootId && diagram && /* @__PURE__ */ jsxs("div", { className: "flex min-h-0 flex-1 gap-3", children: [
       /* @__PURE__ */ jsx("div", { className: cn("relative min-h-64 min-w-0 flex-1 rounded-lg border border-border bg-background", load.loading && "opacity-60"), children: /* @__PURE__ */ jsx(
@@ -192,10 +209,12 @@ function CallGraph(props) {
           nodeWidth: NODE_WIDTH,
           nodeHeight: NODE_HEIGHT,
           compactNodeHeight: COMPACT_NODE_HEIGHT,
+          recordHeaderHeight: 24,
           columnGap: columnGap(diagram),
           rowGap: ROW_GAP,
           className: "h-full",
           ariaLabel: `Call graph of ${requireNode(graph, rootId).label}`,
+          onGroupToggle: toggleGroup,
           onNodeSelect: (id) => select({ kind: "node", id }),
           onEdgeSelect: (id) => select({ kind: "edge", id }),
           ...fresh ? { onNodeExpand: (id) => void expand(fresh, id) } : {},
@@ -207,15 +226,15 @@ function CallGraph(props) {
       (selectedEdge || selectedNode || expansion) && /* @__PURE__ */ jsxs("aside", { className: "w-80 max-w-[45%] shrink-0 overflow-y-auto rounded-lg border border-border bg-card p-3", "aria-label": "Selection", children: [
         expansion && /* @__PURE__ */ jsx("p", { role: "status", className: "mb-2 text-xs text-muted-foreground", children: expansion.error ?? `Loading more around ${expansion.request.label}…` }),
         (selectedEdge || selectedNode) && /* @__PURE__ */ jsx("div", { className: "mb-1 flex justify-end", children: /* @__PURE__ */ jsx(Button, { type: "button", size: "sm", variant: "ghost", "aria-label": "Close selection", onClick: () => select(void 0), children: "×" }) }),
-        selectedEdge ? /* @__PURE__ */ jsx(
+        selectedEdge && drawn ? /* @__PURE__ */ jsx(
           EdgeSites,
           {
             edge: selectedEdge,
-            graph,
+            graph: drawn.graph,
             labels,
             guards,
             lazyGuards: props.loadSiteGuards !== void 0,
-            siteAction: (props.siteHref || props.onRevealSite) && vocabulary.hasSource(requireNode(graph, selectedEdge.from)) ? (site) => {
+            siteAction: (props.siteHref || props.onRevealSite) && !drawn.folds.has(selectedEdge.from) && vocabulary.hasSource(requireNode(graph, selectedEdge.from)) ? (site) => {
               var _a2;
               return action((_a2 = props.siteHref) == null ? void 0 : _a2.call(props, site, selectedEdge, graph), props.onRevealSite && (() => {
                 var _a3;
@@ -223,17 +242,17 @@ function CallGraph(props) {
               })) ?? {};
             } : void 0
           }
-        ) : selectedNode && /* @__PURE__ */ jsx(
+        ) : selectedNode && drawn && /* @__PURE__ */ jsx(
           NodeDetails,
           {
             node: selectedNode,
-            graph,
+            graph: drawn.graph,
             vocabulary,
             isRoot: selectedNode.id === rootId,
             openLabel: props.openLabel ?? "Open",
-            opens: props.nodeHref !== void 0 || props.onOpenNode !== void 0,
-            open: openAction(selectedNode, graph),
-            onFocus: props.onFocusNode && ((id) => {
+            opens: !standIn && (props.nodeHref !== void 0 || props.onOpenNode !== void 0),
+            open: standIn ? void 0 : openAction(selectedNode, graph),
+            onFocus: standIn ? void 0 : props.onFocusNode && ((id) => {
               var _a2;
               return (_a2 = props.onFocusNode) == null ? void 0 : _a2.call(props, id, graph);
             })