@manta-eu/react 0.1.0 → 0.1.2

package/dist/components/tree-multi-select/tree-multi-select.d.ts

@@ -4,6 +4,8 @@ export type TreeMultiSelectProps = {
     selectedIds: ReadonlySet<string>;
     onToggle: (id: string, checked: boolean) => void;
     searchPlaceholder: string;
+    defaultCollapsed?: boolean;
+    includeDescendants?: boolean;
 };
 export declare function TreeMultiSelect(props: TreeMultiSelectProps): import("react/jsx-runtime").JSX.Element;
 //# sourceMappingURL=tree-multi-select.d.ts.map

package/dist/components/tree-multi-select/tree-multi-select.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"tree-multi-select.d.ts","sourceRoot":"","sources":["../../../src/components/tree-multi-select/tree-multi-select.tsx"],"names":[],"mappings":"AAOA,OAAO,EAML,KAAK,cAAc,EACpB,MAAM,0BAA0B,CAAC;AAIlC,MAAM,MAAM,oBAAoB,GAAG;IACjC,KAAK,EAAE,cAAc,EAAE,CAAC;IACxB,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACjC,QAAQ,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,KAAK,IAAI,CAAC;IACjD,iBAAiB,EAAE,MAAM,CAAC;CAC3B,CAAC;AAEF,wBAAgB,eAAe,CAAC,KAAK,EAAE,oBAAoB,2CA2E1D"}
+{"version":3,"file":"tree-multi-select.d.ts","sourceRoot":"","sources":["../../../src/components/tree-multi-select/tree-multi-select.tsx"],"names":[],"mappings":"AAOA,OAAO,EAML,KAAK,cAAc,EACpB,MAAM,0BAA0B,CAAC;AAMlC,MAAM,MAAM,oBAAoB,GAAG;IACjC,KAAK,EAAE,cAAc,EAAE,CAAC;IACxB,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACjC,QAAQ,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,KAAK,IAAI,CAAC;IACjD,iBAAiB,EAAE,MAAM,CAAC;IAC1B,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAE3B,kBAAkB,CAAC,EAAE,OAAO,CAAC;CAC9B,CAAC;AAEF,wBAAgB,eAAe,CAAC,KAAK,EAAE,oBAAoB,2CAyG1D"}

package/dist/components/tree-multi-select/tree-multi-select.js

@@ -7,15 +7,27 @@ import { Checkbox } from "../checkbox/index.js";
 import { SearchInput } from "../input/index.js";
 import { filterTreeItems, isGroupHead, subtreeIds, treeSearchThreshold, visibleTreeItems, } from "./tree-multi-select-rows.js";
 const treeIndentRem = 1.5;
+const maxRenderedRows = 500;
 export function TreeMultiSelect(props) {
-    const { items, selectedIds, onToggle, searchPlaceholder } = props;
+    const { items, selectedIds, onToggle, searchPlaceholder, defaultCollapsed = false, includeDescendants = false, } = props;
     const [search, setSearch] = useState("");
-    const [collapsedIds, setCollapsedIds] = useState(new Set());
+    const [toggledIds, setToggledIds] = useState(new Set());
+    const groupHeadIds = useMemo(() => new Set(items.filter((_, index) => isGroupHead(items, index)).map((item) => item.id)), [items]);
+    const collapsedIds = useMemo(() => (defaultCollapsed ? new Set([...groupHeadIds].filter((id) => !toggledIds.has(id))) : toggledIds), [defaultCollapsed, groupHeadIds, toggledIds]);
     const isSearching = isPresent(search.trim());
     const rows = useMemo(() => (isSearching ? filterTreeItems(items, search) : visibleTreeItems(items, collapsedIds)), [items, search, isSearching, collapsedIds]);
-    const groupHeadIds = useMemo(() => new Set(items.filter((_, index) => isGroupHead(items, index)).map((item) => item.id)), [items]);
+    const includedIds = useMemo(() => new Set(includeDescendants ? [...selectedIds].flatMap((id) => subtreeIds(items, id)) : []), [includeDescendants, items, selectedIds]);
+    function toggle(id, checked) {
+        if (checked && includeDescendants) {
+            for (const descendantId of subtreeIds(items, id)) {
+                if (selectedIds.has(descendantId))
+                    onToggle(descendantId, false);
+            }
+        }
+        onToggle(id, checked);
+    }
     function toggleCollapsed(id) {
-        setCollapsedIds((current) => {
+        setToggledIds((current) => {
             const next = new Set(current);
             if (next.has(id))
                 next.delete(id);
@@ -24,14 +36,15 @@ export function TreeMultiSelect(props) {
             return next;
         });
     }
-    return (_jsxs("div", { className: "grid gap-3", children: [items.length > treeSearchThreshold && (_jsx(SearchInput, { placeholder: searchPlaceholder, value: search, onChange: (e) => setSearch(e.target.value) })), !isPresent(rows) ? (_jsx("p", { className: "typography-caption text-muted-foreground", children: "No matches." })) : (_jsx("ul", { className: "grid gap-2 max-h-72 overflow-y-auto", children: rows.map((item) => {
-                    const isCollapsed = collapsedIds.has(item.id);
+    return (_jsxs("div", { className: "grid gap-3", children: [items.length > treeSearchThreshold && (_jsx(SearchInput, { placeholder: searchPlaceholder, value: search, onChange: (e) => setSearch(e.target.value) })), !isPresent(rows) ? (_jsx("p", { className: "typography-caption text-muted-foreground", children: "No matches." })) : (_jsx("ul", { className: "grid gap-2 max-h-72 overflow-y-auto", children: rows.slice(0, maxRenderedRows).map((item) => {
+                    const isCollapsed = !isSearching && collapsedIds.has(item.id);
                     const hiddenSelectedCount = isCollapsed
                         ? subtreeIds(items, item.id).filter((id) => selectedIds.has(id)).length
                         : 0;
+                    const isIncluded = includedIds.has(item.id);
                     return (_jsxs("li", { className: "flex items-center gap-1", style: { paddingLeft: `${item.depth * treeIndentRem}rem` }, children: [!isSearching &&
-                                (groupHeadIds.has(item.id) ? (_jsx("button", { type: "button", "aria-expanded": !isCollapsed, "aria-label": isCollapsed ? `Expand ${item.label}` : `Collapse ${item.label}`, className: "text-muted-foreground", onClick: () => toggleCollapsed(item.id), children: isCollapsed ? (_jsx(ChevronRight, { className: "size-4", "aria-hidden": true })) : (_jsx(ChevronDown, { className: "size-4", "aria-hidden": true })) })) : (_jsx("span", { className: "size-4", "aria-hidden": true }))), _jsx(TreeSelectRow, { item: item, checked: selectedIds.has(item.id), hiddenSelectedCount: hiddenSelectedCount, onToggle: (checked) => onToggle(item.id, checked) })] }, item.id));
-                }) }))] }));
+                                (groupHeadIds.has(item.id) ? (_jsx("button", { type: "button", "aria-expanded": !isCollapsed, "aria-label": isCollapsed ? `Expand ${item.label}` : `Collapse ${item.label}`, className: "text-muted-foreground", onClick: () => toggleCollapsed(item.id), children: isCollapsed ? (_jsx(ChevronRight, { className: "size-4", "aria-hidden": true })) : (_jsx(ChevronDown, { className: "size-4", "aria-hidden": true })) })) : (_jsx("span", { className: "size-4", "aria-hidden": true }))), _jsx(TreeSelectRow, { item: isIncluded ? { ...item, hint: "Included", disabled: true } : item, checked: isIncluded || selectedIds.has(item.id), hiddenSelectedCount: hiddenSelectedCount, onToggle: (checked) => toggle(item.id, checked) })] }, item.id));
+                }) })), rows.length > maxRenderedRows && (_jsxs("p", { className: "typography-caption text-muted-foreground", children: ["Showing ", maxRenderedRows, " of ", rows.length, ". Search to narrow them down."] }))] }));
 }
 function TreeSelectRow(props) {
     const { item, checked, hiddenSelectedCount, onToggle } = props;

package/dist/explain-fact/DatalogCode.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"DatalogCode.d.ts","sourceRoot":"","sources":["../../src/explain-fact/DatalogCode.tsx"],"names":[],"mappings":"AAiDA,MAAM,MAAM,gBAAgB,GAAG;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,wBAAgB,WAAW,CAAC,KAAK,EAAE,gBAAgB,2CAMlD"}

package/dist/explain-fact/EntityChip.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"EntityChip.d.ts","sourceRoot":"","sources":["../../src/explain-fact/EntityChip.tsx"],"names":[],"mappings":"AAAA,OAAO,EAAa,KAAK,UAAU,EAAE,MAAM,cAAc,CAAC;AAO1D,MAAM,MAAM,eAAe,GAAG;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,IAAI,CAAC,EAAE,UAAU,CAAC;IAClB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,wBAAgB,UAAU,CAAC,KAAK,EAAE,eAAe,2CAsChD"}

package/dist/explain-fact/EntityChip.js

@@ -0,0 +1,17 @@
+import { jsx as _jsx, Fragment as _Fragment, jsxs as _jsxs } from "react/jsx-runtime";
+import { Building2 } from "lucide-react";
+import { Link } from "react-router";
+import { ontologyTermIri, OntologyTermText } from "../ontology/OntologyTermText.js";
+import { Badge } from "#components/badge/index";
+import { entityPath } from "#routes/data-explorer/namespaces";
+import { cn } from "#style";
+export function EntityChip(props) {
+    const { term, typeTerm, icon: Icon = Building2, className } = props;
+    const iri = ontologyTermIri(term);
+    const chipClassName = cn("min-w-0 shrink rounded-full border border-default-border bg-accent text-default-foreground", className);
+    const content = (_jsxs(_Fragment, { children: [_jsx(Icon, { className: "shrink-0 text-muted-foreground" }), _jsx("span", { className: "min-w-0 truncate", children: _jsx(OntologyTermText, { term: term, className: "no-underline" }) }), typeTerm && (_jsx("span", { className: "shrink-0 typography-tiny text-muted-foreground", children: _jsx(OntologyTermText, { term: typeTerm, className: "no-underline" }) }))] }));
+    if (!iri) {
+        return (_jsx(Badge, { size: "base", className: chipClassName, children: content }));
+    }
+    return (_jsx(Badge, { asChild: true, size: "base", className: cn(chipClassName, "hover:brightness-95"), children: _jsx(Link, { to: entityPath(iri), onClick: (event) => event.stopPropagation(), children: content }) }));
+}

package/dist/explain-fact/ExplainCompactView.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ExplainCompactView.d.ts","sourceRoot":"","sources":["../../src/explain-fact/ExplainCompactView.tsx"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,OAAO,CAAC;AAIvC,OAAO,KAAK,EAAE,kBAAkB,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAGvE,MAAM,MAAM,uBAAuB,GAAG;IACpC,IAAI,EAAE,cAAc,CAAC;IACrB,IAAI,EAAE,kBAAkB,CAAC;IACzB,YAAY,EAAE,CAAC,IAAI,EAAE,kBAAkB,KAAK,IAAI,CAAC;IACjD,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,CAAC,EAAE,SAAS,CAAC;IACxB,qBAAqB,CAAC,EAAE,SAAS,CAAC;IAClC,kBAAkB,CAAC,EAAE,SAAS,CAAC;IAC/B,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,uBAAuB,2CAmBhE"}

package/dist/explain-fact/ExplainFactState.d.ts

@@ -0,0 +1,7 @@
+export type ExplainFactStateProps = {
+    title: string;
+    detail?: string;
+    className?: string;
+};
+export declare function ExplainFactState(props: ExplainFactStateProps): import("react/jsx-runtime").JSX.Element;
+//# sourceMappingURL=ExplainFactState.d.ts.map

package/dist/explain-fact/ExplainFactState.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ExplainFactState.d.ts","sourceRoot":"","sources":["../../src/explain-fact/ExplainFactState.tsx"],"names":[],"mappings":"AAEA,MAAM,MAAM,qBAAqB,GAAG;IAClC,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,qBAAqB,2CAS5D"}

package/dist/{rdfox-explain/RDFoxExplainState.js → explain-fact/ExplainFactState.js}

@@ -1,6 +1,6 @@
 import { jsx as _jsx, jsxs as _jsxs } from "react/jsx-runtime";
 import { cn } from "#style";
-export function RDFoxExplainState(props) {
+export function ExplainFactState(props) {
     const { title, detail, className } = props;
     return (_jsxs("div", { className: cn("rounded-md border border-muted-border bg-card/60 p-4 text-muted-foreground", className), children: [_jsx("p", { className: "typography-small-medium text-default-foreground", children: title }), detail && _jsx("p", { className: "mt-1 typography-tiny", children: detail })] }));
 }

package/dist/explain-fact/ExplainFullView.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ExplainFullView.d.ts","sourceRoot":"","sources":["../../src/explain-fact/ExplainFullView.tsx"],"names":[],"mappings":"AAAA,OAAO,EAAuB,KAAK,SAAS,EAAE,MAAM,OAAO,CAAC;AAK5D,OAAO,KAAK,EAAE,kBAAkB,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAGvE,MAAM,MAAM,oBAAoB,GAAG;IACjC,IAAI,EAAE,cAAc,CAAC;IACrB,qBAAqB,CAAC,EAAE,SAAS,CAAC;IAClC,IAAI,EAAE,kBAAkB,CAAC;IACzB,YAAY,EAAE,CAAC,IAAI,EAAE,kBAAkB,KAAK,IAAI,CAAC;IACjD,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,wBAAgB,eAAe,CAAC,KAAK,EAAE,oBAAoB,2CAwC1D"}

package/dist/explain-fact/ExplainStates.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ExplainStates.d.ts","sourceRoot":"","sources":["../../src/explain-fact/ExplainStates.tsx"],"names":[],"mappings":"AAOA,MAAM,MAAM,yBAAyB,GAAG;IACtC,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,yBAAyB,2CAgDpE;AAED,MAAM,MAAM,0BAA0B,GAAG,OAAO,GAAG,OAAO,CAAC;AAO3D,MAAM,MAAM,wBAAwB,GAAG;IACrC,OAAO,EAAE,0BAA0B,CAAC;IACpC,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,wBAAwB,2CAgBlE"}

package/dist/explain-fact/ExplainTag.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ExplainTag.d.ts","sourceRoot":"","sources":["../../src/explain-fact/ExplainTag.tsx"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,OAAO,CAAC;AAIvC,MAAM,MAAM,iBAAiB,GAAG,UAAU,GAAG,OAAO,GAAG,SAAS,GAAG,QAAQ,GAAG,SAAS,GAAG,SAAS,CAAC;AAoBpG,MAAM,MAAM,eAAe,GAAG;IAC5B,OAAO,EAAE,iBAAiB,CAAC;IAC3B,IAAI,CAAC,EAAE,UAAU,CAAC;IAClB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,SAAS,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,wBAAgB,UAAU,CAAC,KAAK,EAAE,eAAe,2CAShD"}

package/dist/explain-fact/FactNotice.d.ts

@@ -0,0 +1,7 @@
+import type { FactProvenance } from "./tree-model.js";
+export type FactNoticeProps = {
+    provenance?: FactProvenance;
+    className?: string;
+};
+export declare function FactNotice(props: FactNoticeProps): import("react/jsx-runtime").JSX.Element;
+//# sourceMappingURL=FactNotice.d.ts.map

package/dist/explain-fact/FactNotice.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"FactNotice.d.ts","sourceRoot":"","sources":["../../src/explain-fact/FactNotice.tsx"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AA6BnD,MAAM,MAAM,eAAe,GAAG;IAC5B,UAAU,CAAC,EAAE,cAAc,CAAC;IAC5B,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,wBAAgB,UAAU,CAAC,KAAK,EAAE,eAAe,2CAgBhD"}

package/dist/explain-fact/FactNotice.js

@@ -0,0 +1,25 @@
+import { jsx as _jsx } from "react/jsx-runtime";
+import { cn } from "#style";
+const truncatedText = "The reasoner did not return the rules that derive this fact.";
+const factNoticeSpecs = {
+    explicit: {
+        text: "This fact is stored directly. No rule produced it.",
+        className: "border-muted-border bg-background/50",
+    },
+    unsupported: {
+        text: "The reasoner reports this fact as derived but names no rule that produces it. It is a leftover " +
+            "in the materialization, and rematerializing the datastore removes it.",
+        className: "border-warning-foreground/40 bg-warning-foreground/5",
+    },
+    absent: {
+        text: "This fact is not in the graph. Nothing asserts it and no rule derives it.",
+        className: "border-error-foreground/40 bg-error/5",
+    },
+    derived: { text: truncatedText, className: "border-muted-border bg-background/50" },
+    computed: { text: truncatedText, className: "border-muted-border bg-background/50" },
+};
+export function FactNotice(props) {
+    const { provenance, className } = props;
+    const spec = factNoticeSpecs[provenance ?? "explicit"];
+    return (_jsx("p", { className: cn("rounded-md border border-dashed p-4 typography-small text-muted-foreground", spec.className, className), children: spec.text }));
+}

package/dist/explain-fact/FactValue.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"FactValue.d.ts","sourceRoot":"","sources":["../../src/explain-fact/FactValue.tsx"],"names":[],"mappings":"AAqBA,MAAM,MAAM,cAAc,GAAG;IAC3B,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,wBAAgB,SAAS,CAAC,KAAK,EAAE,cAAc,2CAoD9C"}

package/dist/explain-fact/NumDot.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"NumDot.d.ts","sourceRoot":"","sources":["../../src/explain-fact/NumDot.tsx"],"names":[],"mappings":"AAEA,MAAM,MAAM,WAAW,GAAG;IACxB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,wBAAgB,MAAM,CAAC,KAAK,EAAE,WAAW,2CAcxC"}

package/dist/explain-fact/PanelLabel.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"PanelLabel.d.ts","sourceRoot":"","sources":["../../src/explain-fact/PanelLabel.tsx"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,OAAO,CAAC;AAIvC,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,EAAE,SAAS,CAAC;IACpB,KAAK,CAAC,EAAE,SAAS,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,wBAAgB,UAAU,CAAC,KAAK,EAAE,eAAe,2CAehD"}

package/dist/explain-fact/ProofSubjectHeader.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ProofSubjectHeader.d.ts","sourceRoot":"","sources":["../../src/explain-fact/ProofSubjectHeader.tsx"],"names":[],"mappings":"AAGA,OAAO,EAAmB,KAAK,cAAc,EAAE,MAAM,cAAc,CAAC;AAGpE,MAAM,MAAM,uBAAuB,GAAG;IACpC,IAAI,EAAE,cAAc,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,uBAAuB,kDAWhE"}

package/dist/explain-fact/ProvenanceBadge.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ProvenanceBadge.d.ts","sourceRoot":"","sources":["../../src/explain-fact/ProvenanceBadge.tsx"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAkBnD,MAAM,MAAM,oBAAoB,GAAG;IACjC,UAAU,EAAE,cAAc,CAAC;IAC3B,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,wBAAgB,eAAe,CAAC,KAAK,EAAE,oBAAoB,2CAY1D"}

package/dist/{rdfox-explain → explain-fact}/ProvenanceBadge.js

@@ -1,11 +1,12 @@
 import { jsx as _jsx, jsxs as _jsxs } from "react/jsx-runtime";
-import { Ban, Database, Sparkles, SquareFunction } from "lucide-react";
+import { Ban, Database, Sparkles, SquareFunction, Unplug } from "lucide-react";
 import { Badge } from "#components/badge/index";
 import { cn } from "#style";
 const provenanceBadgeSpecs = {
     explicit: { label: "Explicit", icon: Database, className: "text-muted-foreground" },
     derived: { label: "Derived", icon: Sparkles, className: "text-primary" },
     computed: { label: "Computed", icon: SquareFunction, className: "text-warning-foreground" },
+    unsupported: { label: "Nothing derives it", icon: Unplug, className: "text-warning-foreground" },
     absent: { label: "Not in the graph", icon: Ban, className: "text-error-foreground" },
 };
 export function ProvenanceBadge(props) {

package/dist/explain-fact/RuleVariableTypes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"RuleVariableTypes.d.ts","sourceRoot":"","sources":["../../src/explain-fact/RuleVariableTypes.tsx"],"names":[],"mappings":"AAWA,MAAM,MAAM,sBAAsB,GAAG;IACnC,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAMF,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,sBAAsB,kDA4D9D"}

package/dist/explain-fact/SubstitutedFactNotice.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"SubstitutedFactNotice.d.ts","sourceRoot":"","sources":["../../src/explain-fact/SubstitutedFactNotice.tsx"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAG5C,MAAM,MAAM,0BAA0B,GAAG;IACvC,SAAS,EAAE,OAAO,CAAC;IACnB,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,0BAA0B,kDAgBtE"}

package/dist/explain-fact/ValuePill.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ValuePill.d.ts","sourceRoot":"","sources":["../../src/explain-fact/ValuePill.tsx"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,OAAO,CAAC;AAIvC,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,EAAE,SAAS,CAAC;IACpB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,wBAAgB,SAAS,CAAC,KAAK,EAAE,cAAc,2CAW9C"}

package/dist/explain-fact/conclusion/ConclusionCard.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ConclusionCard.d.ts","sourceRoot":"","sources":["../../../src/explain-fact/conclusion/ConclusionCard.tsx"],"names":[],"mappings":"AAIA,OAAO,EAAc,KAAK,kBAAkB,EAAE,KAAK,cAAc,EAAE,MAAM,eAAe,CAAC;AAiBzF,MAAM,MAAM,mBAAmB,GAAG;IAChC,IAAI,EAAE,cAAc,CAAC;IACrB,IAAI,EAAE,kBAAkB,CAAC;IACzB,YAAY,CAAC,EAAE,CAAC,IAAI,EAAE,kBAAkB,KAAK,IAAI,CAAC;IAClD,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,wBAAgB,cAAc,CAAC,KAAK,EAAE,mBAAmB,2CAgExD"}

package/dist/explain-fact/conclusion/ConclusionSubtitle.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ConclusionSubtitle.d.ts","sourceRoot":"","sources":["../../../src/explain-fact/conclusion/ConclusionSubtitle.tsx"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAGpD,MAAM,MAAM,uBAAuB,GAAG;IACpC,IAAI,EAAE,cAAc,CAAC;CACtB,CAAC;AAEF,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,uBAAuB,2CAwBhE"}

package/dist/{rdfox-explain → explain-fact}/conclusion/ConclusionSubtitle.js

@@ -8,7 +8,9 @@ export function ConclusionSubtitle(props) {
     const subject = root.spo && !hasPremises && (_jsxs(_Fragment, { children: [" for ", _jsx("span", { className: "text-body-foreground", children: _jsx(OntologyTermText, { term: root.spo.subject, className: "no-underline" }) })] }));
     if (root.provenance === "absent")
         return _jsxs("span", { children: ["No rule or stored fact", subject, " makes this true"] });
-    if (!root.rule)
+    if (root.provenance === "unsupported")
+        return _jsxs("span", { children: ["In the graph", subject, ", but no rule derives it"] });
+    if (root.provenance === "explicit")
         return _jsxs("span", { children: ["Stored", subject, ", asserted directly in the graph"] });
     if (hasPremises)
         return _jsx("span", { children: "Derived because everything below is true" });

package/dist/explain-fact/conclusion/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/explain-fact/conclusion/index.ts"],"names":[],"mappings":"AAAA,cAAc,kBAAkB,CAAC"}

package/dist/explain-fact/explain-styles.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"explain-styles.d.ts","sourceRoot":"","sources":["../../src/explain-fact/explain-styles.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,uBAAuB,mCAAmC,CAAC;AAExE,eAAO,MAAM,gBAAgB,wCAAwC,CAAC;AAEtE,eAAO,MAAM,iBAAiB,sDAAsD,CAAC"}

package/dist/explain-fact/fact-token.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fact-token.d.ts","sourceRoot":"","sources":["../../src/explain-fact/fact-token.ts"],"names":[],"mappings":"AASA,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAMnD"}

package/dist/explain-fact/formula-hues.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"formula-hues.d.ts","sourceRoot":"","sources":["../../src/explain-fact/formula-hues.ts"],"names":[],"mappings":"AAwBA,wBAAgB,eAAe,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAE1D;AAED,wBAAgB,mBAAmB,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAE9D;AAED,wBAAgB,mBAAmB,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAE9D"}

package/dist/{rdfox-explain → explain-fact}/index.d.ts

@@ -1,5 +1,5 @@
-export * from "./AbsentFactNotice.js";
 export * from "./DatalogCode.js";
+export * from "./FactNotice.js";
 export * from "./EntityChip.js";
 export * from "./ExplainCompactView.js";
 export * from "./ExplainFullView.js";
@@ -10,9 +10,8 @@ export * from "./NumDot.js";
 export * from "./PanelLabel.js";
 export * from "./ProofSubjectHeader.js";
 export * from "./ProvenanceBadge.js";
-export * from "./RDFoxExplainState.js";
+export * from "./ExplainFactState.js";
 export * from "./RuleVariableTypes.js";
-export * from "./StoredFactNotice.js";
 export * from "./SubstitutedFactNotice.js";
 export * from "./ValuePill.js";
 export * from "./conclusion/index.js";

package/dist/explain-fact/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/explain-fact/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAC;AAC9B,cAAc,cAAc,CAAC;AAC7B,cAAc,cAAc,CAAC;AAC7B,cAAc,sBAAsB,CAAC;AACrC,cAAc,mBAAmB,CAAC;AAClC,cAAc,iBAAiB,CAAC;AAChC,cAAc,cAAc,CAAC;AAC7B,cAAc,aAAa,CAAC;AAC5B,cAAc,UAAU,CAAC;AACzB,cAAc,cAAc,CAAC;AAC7B,cAAc,sBAAsB,CAAC;AACrC,cAAc,mBAAmB,CAAC;AAClC,cAAc,oBAAoB,CAAC;AACnC,cAAc,qBAAqB,CAAC;AACpC,cAAc,yBAAyB,CAAC;AACxC,cAAc,aAAa,CAAC;AAC5B,cAAc,cAAc,CAAC;AAC7B,cAAc,kBAAkB,CAAC;AACjC,cAAc,cAAc,CAAC;AAC7B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,aAAa,CAAC;AAC5B,cAAc,cAAc,CAAC;AAC7B,cAAc,qBAAqB,CAAC;AACpC,cAAc,cAAc,CAAC;AAC7B,cAAc,oBAAoB,CAAC"}

package/dist/{rdfox-explain → explain-fact}/index.js

@@ -1,5 +1,5 @@
-export * from "./AbsentFactNotice.js";
 export * from "./DatalogCode.js";
+export * from "./FactNotice.js";
 export * from "./EntityChip.js";
 export * from "./ExplainCompactView.js";
 export * from "./ExplainFullView.js";
@@ -10,9 +10,8 @@ export * from "./NumDot.js";
 export * from "./PanelLabel.js";
 export * from "./ProofSubjectHeader.js";
 export * from "./ProvenanceBadge.js";
-export * from "./RDFoxExplainState.js";
+export * from "./ExplainFactState.js";
 export * from "./RuleVariableTypes.js";
-export * from "./StoredFactNotice.js";
 export * from "./SubstitutedFactNotice.js";
 export * from "./ValuePill.js";
 export * from "./conclusion/index.js";

package/dist/explain-fact/inspector/ExplainInspector.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ExplainInspector.d.ts","sourceRoot":"","sources":["../../../src/explain-fact/inspector/ExplainInspector.tsx"],"names":[],"mappings":"AAGA,OAAO,EAAsC,KAAK,cAAc,EAAE,MAAM,eAAe,CAAC;AAQxF,MAAM,MAAM,qBAAqB,GAAG;IAClC,IAAI,EAAE,cAAc,CAAC;IACrB,cAAc,EAAE,MAAM,CAAC;IACvB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,qBAAqB,2CA6B5D"}

package/dist/explain-fact/inspector/ExplainInspector.js

@@ -0,0 +1,20 @@
+import { jsx as _jsx, jsxs as _jsxs } from "react/jsx-runtime";
+import { isPresent } from "@manta-eu/lib/present";
+import { FactNotice } from "../FactNotice.js";
+import { presentRule } from "../rule-presentation.js";
+import { multipleSupports, ruleForSelection } from "../tree-model.js";
+import { InspectorBindings } from "./InspectorBindings.js";
+import { InspectorFact } from "./InspectorFact.js";
+import { InspectorHeader } from "./InspectorHeader.js";
+import { InspectorRule } from "./InspectorRule.js";
+import { SupportsSection } from "./SupportsSection.js";
+import { cn } from "#style";
+export function ExplainInspector(props) {
+    const { tree, selectedNodeId, className } = props;
+    const node = tree.byId[selectedNodeId] ?? tree.root;
+    const selection = ruleForSelection(tree, node);
+    const ruleNode = selection?.node;
+    const presentation = ruleNode?.rule ? presentRule(ruleNode.rule, ruleNode.groundedRule) : undefined;
+    const supports = multipleSupports(node);
+    return (_jsxs("div", { className: cn("flex min-w-0 flex-col gap-3.5", className), children: [_jsx(InspectorHeader, { node: node }), _jsx(InspectorFact, { node: node }), supports && _jsx(SupportsSection, { supports: supports }, node.id), selection && presentation && (_jsx(InspectorRule, { presentation: presentation, highlightedAtomIndex: selection.highlightedAtomIndex, derivedFactText: selection.node.display, ruleIri: selection.node.ruleIri, relation: selection.relation })), !presentation && _jsx(FactNotice, { provenance: node.provenance }), presentation && isPresent(presentation.bindings) && _jsx(InspectorBindings, { presentation: presentation })] }));
+}

package/dist/explain-fact/inspector/InspectorBindings.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"InspectorBindings.d.ts","sourceRoot":"","sources":["../../../src/explain-fact/inspector/InspectorBindings.tsx"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAQ7D,MAAM,MAAM,sBAAsB,GAAG;IACnC,YAAY,EAAE,gBAAgB,CAAC;CAChC,CAAC;AAUF,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,sBAAsB,2CA2F9D"}

package/dist/explain-fact/inspector/InspectorFact.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"InspectorFact.d.ts","sourceRoot":"","sources":["../../../src/explain-fact/inspector/InspectorFact.tsx"],"names":[],"mappings":"AAGA,OAAO,EAAc,KAAK,cAAc,EAAE,MAAM,eAAe,CAAC;AAIhE,MAAM,MAAM,kBAAkB,GAAG;IAC/B,IAAI,EAAE,cAAc,CAAC;CACtB,CAAC;AAEF,wBAAgB,aAAa,CAAC,KAAK,EAAE,kBAAkB,kDAyBtD"}

package/dist/explain-fact/inspector/InspectorHeader.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"InspectorHeader.d.ts","sourceRoot":"","sources":["../../../src/explain-fact/inspector/InspectorHeader.tsx"],"names":[],"mappings":"AAGA,OAAO,EAAc,KAAK,cAAc,EAAE,MAAM,eAAe,CAAC;AAQhE,MAAM,MAAM,oBAAoB,GAAG;IACjC,IAAI,EAAE,cAAc,CAAC;CACtB,CAAC;AAEF,wBAAgB,eAAe,CAAC,KAAK,EAAE,oBAAoB,2CAqF1D"}

package/dist/{rdfox-explain → explain-fact}/inspector/InspectorRule.d.ts

@@ -1,8 +1,11 @@
 import { type RulePresentation } from "../rule-presentation.js";
+import type { RuleSelection } from "../tree-model.js";
 export type InspectorRuleProps = {
     presentation: RulePresentation;
     highlightedAtomIndex?: number;
     derivedFactText?: string;
+    ruleIri?: string;
+    relation: RuleSelection["relation"];
 };
 export declare function InspectorRule(props: InspectorRuleProps): import("react/jsx-runtime").JSX.Element;
 //# sourceMappingURL=InspectorRule.d.ts.map

package/dist/explain-fact/inspector/InspectorRule.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"InspectorRule.d.ts","sourceRoot":"","sources":["../../../src/explain-fact/inspector/InspectorRule.tsx"],"names":[],"mappings":"AAUA,OAAO,EAKL,KAAK,gBAAgB,EACtB,MAAM,sBAAsB,CAAC;AAE9B,OAAO,KAAK,EAAsB,aAAa,EAAE,MAAM,eAAe,CAAC;AA4BvE,MAAM,MAAM,kBAAkB,GAAG;IAC/B,YAAY,EAAE,gBAAgB,CAAC;IAC/B,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,aAAa,CAAC,UAAU,CAAC,CAAC;CACrC,CAAC;AAEF,wBAAgB,aAAa,CAAC,KAAK,EAAE,kBAAkB,2CA8ItD"}

package/dist/{rdfox-explain → explain-fact}/inspector/InspectorRule.js

@@ -3,6 +3,7 @@ import { isPresent } from "@manta-eu/lib/present";
 import { Copy } from "lucide-react";
 import { useState } from "react";
 import { match, P } from "ts-pattern";
+import { RuleNameLink } from "../../rules/RuleNameLink.js";
 import { DatalogCode } from "../DatalogCode.js";
 import { sectionLabelClass } from "../explain-styles.js";
 import { ExplainTag } from "../ExplainTag.js";
@@ -28,10 +29,9 @@ function roleForKind(kind) {
         .exhaustive();
 }
 export function InspectorRule(props) {
-    const { presentation, highlightedAtomIndex, derivedFactText } = props;
+    const { presentation, highlightedAtomIndex, derivedFactText, ruleIri, relation } = props;
     const { copyToClipboard } = useCopyToClipboard();
     const [viewMode, setViewMode] = useState("grounded");
-    const [showAllHeadAtoms, setShowAllHeadAtoms] = useState(false);
     const grounded = viewMode === "grounded";
     const ruleAtoms = [...presentation.headAtoms, ...presentation.atoms];
     const personalDataResolutions = usePersonalDataResolutionFor(ruleAtoms.map((atom) => atom.predicateTerm));
@@ -64,12 +64,11 @@ export function InspectorRule(props) {
     const ruleText = grounded
         ? formatRuleText(groundedHead(), presentation.atoms.map((atom) => maskedGrounded(atom.groundedText, atom.text)))
         : presentation.ruleText;
-    return (_jsxs("div", { children: [_jsx(PanelLabel, { className: "mb-2.5", right: _jsx(Tabs, { size: "small", value: viewMode, onValueChange: (next) => {
+    return (_jsxs("div", { children: [_jsx(PanelLabel, { className: ruleIri ? "mb-1.5" : "mb-2.5", right: _jsx(Tabs, { size: "small", value: viewMode, onValueChange: (next) => {
                         const option = ruleViewModeOptions.find((candidate) => candidate.value === next);
                         if (option)
                             setViewMode(option.value);
-                    }, children: _jsx(TabsList, { children: ruleViewModeOptions.map((option) => (_jsx(TabsTrigger, { value: option.value, children: option.label }, option.value))) }) }), children: "Produced by rule" }), _jsxs("div", { className: "group relative overflow-hidden rounded-[10px] border border-muted-border bg-card/60", children: [_jsx(Button, { type: "button", variant: "ghost", size: "xs", icon: Copy, iconOnly: true, "aria-label": "Copy rule", className: "absolute right-2 top-2 opacity-0 transition-opacity group-hover:opacity-100", onClick: () => void copyToClipboard(ruleText) }), _jsxs("div", { className: "grid grid-cols-[auto_1fr] items-baseline gap-x-2.5 gap-y-2 border-l-2 border-l-primary bg-primary/7 px-3.5 py-3", children: [_jsx("span", { className: cn(sectionLabelClass, "text-primary"), children: "Derives" }), _jsx(DatalogCode, { code: headText(), className: "min-w-0 typography-small" }), showAllHeadAtoms &&
-                                otherHeadAtoms.map((atom) => (_jsx(DatalogCode, { code: grounded ? maskedGrounded(atom.groundedText, atom.text) : atom.text, className: "col-start-2 min-w-0 typography-small opacity-70" }, atom.text))), isPresent(otherHeadAtoms) && (_jsx("button", { type: "button", onClick: () => setShowAllHeadAtoms(!showAllHeadAtoms), className: "col-start-2 justify-self-start typography-tiny text-muted-foreground underline decoration-dotted underline-offset-2 hover:text-body-foreground", children: showAllHeadAtoms ? "Show less" : `+${otherHeadAtoms.length} more facts` }))] }), _jsxs("div", { className: "flex items-center gap-2 border-y border-muted-border bg-faint px-3.5 py-2", children: [_jsx("span", { className: "font-mono typography-small-semibold text-muted-foreground", children: ":-" }), _jsx("span", { className: cn(sectionLabelClass, "text-muted-foreground"), children: "When every premise below holds" })] }), presentation.atoms.map((atom) => {
+                    }, children: _jsx(TabsList, { children: ruleViewModeOptions.map((option) => (_jsx(TabsTrigger, { value: option.value, children: option.label }, option.value))) }) }), children: relation === "uses" ? "Used by rule" : "Produced by rule" }), ruleIri && (_jsx(RuleNameLink, { ruleIri: ruleIri, className: "mb-2.5 block truncate typography-small-semibold text-primary" })), _jsxs("div", { className: "group relative overflow-hidden rounded-[10px] border border-muted-border bg-card/60", children: [_jsx(Button, { type: "button", variant: "ghost", size: "xs", icon: Copy, iconOnly: true, "aria-label": "Copy rule", className: "absolute right-2 top-2 opacity-0 transition-opacity group-hover:opacity-100", onClick: () => void copyToClipboard(ruleText) }), _jsxs("div", { className: "grid grid-cols-[auto_1fr] items-baseline gap-x-2.5 gap-y-2 border-l-2 border-l-primary bg-primary/7 px-3.5 py-3", children: [_jsx("span", { className: cn(sectionLabelClass, "text-primary"), children: "Derives" }), _jsx(DatalogCode, { code: headText(), className: "min-w-0 typography-small" }), otherHeadAtoms.map((atom) => (_jsx(DatalogCode, { code: grounded ? maskedGrounded(atom.groundedText, atom.text) : atom.text, className: "col-start-2 min-w-0 typography-small opacity-70" }, atom.text)))] }), _jsxs("div", { className: "flex items-center gap-2 border-y border-muted-border bg-faint px-3.5 py-2", children: [_jsx("span", { className: "font-mono typography-small-semibold text-muted-foreground", children: ":-" }), _jsx("span", { className: cn(sectionLabelClass, "text-muted-foreground"), children: "When every premise below holds" })] }), presentation.atoms.map((atom) => {
                         const text = atomText(atom);
                         const isHighlighted = atom.index === highlightedAtomIndex;
                         const kind = atom.kind;

package/dist/explain-fact/inspector/SupportsSection.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"SupportsSection.d.ts","sourceRoot":"","sources":["../../../src/explain-fact/inspector/SupportsSection.tsx"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAGtD,MAAM,MAAM,oBAAoB,GAAG;IACjC,QAAQ,EAAE,gBAAgB,EAAE,CAAC;CAC9B,CAAC;AAEF,wBAAgB,eAAe,CAAC,KAAK,EAAE,oBAAoB,kDAkD1D"}

package/dist/{rdfox-explain → explain-fact}/inspector/SupportsSection.js

@@ -1,6 +1,7 @@
 import { jsx as _jsx, jsxs as _jsxs, Fragment as _Fragment } from "react/jsx-runtime";
 import { nth } from "ramda";
 import { useState } from "react";
+import { RuleNameLink } from "../../rules/RuleNameLink.js";
 import { datalogTextClass } from "../explain-styles.js";
 import { PanelLabel } from "../PanelLabel.js";
 import { presentRule } from "../rule-presentation.js";
@@ -14,5 +15,5 @@ export function SupportsSection(props) {
         return null;
     return (_jsxs(_Fragment, { children: [_jsxs(PanelLabel, { className: "mb-2", right: _jsx("div", { className: "inline-flex gap-1", children: supports.map((support, index) => (_jsx("button", { type: "button", "aria-pressed": index === activeIndex, onClick: () => setActiveIndex(index), className: cn("rounded-sm-v4 border px-2 py-0.5 typography-tiny-semibold", index === activeIndex
                             ? "border-transparent bg-primary text-primary-foreground"
-                            : "border-default-border text-muted-foreground hover:text-body-foreground"), children: index + 1 }, support.groundedRule ?? support.rule ?? index))) }), children: ["Proven ", supports.length, " independent ways"] }), _jsxs("div", { className: "flex flex-col gap-1 rounded-md border border-muted-border bg-card/60 px-3 py-2.5", children: [_jsx("div", { className: "px-1.5 typography-tiny-medium text-body-foreground", children: presentation.name }), presentation.atoms.map((atom) => (_jsx("span", { className: cn(datalogTextClass, "px-1.5 text-body-foreground"), title: atom.text, children: atom.groundedText }, atom.index)))] })] }));
+                            : "border-default-border text-muted-foreground hover:text-body-foreground"), children: index + 1 }, support.groundedRule ?? support.rule ?? index))) }), children: ["Proven ", supports.length, " independent ways"] }), _jsxs("div", { className: "flex flex-col gap-1 rounded-md border border-muted-border bg-card/60 px-3 py-2.5", children: [_jsx("div", { className: "px-1.5 typography-tiny-medium text-body-foreground", children: active?.ruleIri ? _jsx(RuleNameLink, { ruleIri: active.ruleIri }) : presentation.name }), presentation.atoms.map((atom) => (_jsx("span", { className: cn(datalogTextClass, "px-1.5 text-body-foreground"), title: atom.text, children: atom.groundedText }, atom.index)))] })] }));
 }

package/dist/explain-fact/inspector/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/explain-fact/inspector/index.ts"],"names":[],"mappings":"AAAA,cAAc,oBAAoB,CAAC"}

package/dist/explain-fact/proof-tree/ProofFactLabel.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ProofFactLabel.d.ts","sourceRoot":"","sources":["../../../src/explain-fact/proof-tree/ProofFactLabel.tsx"],"names":[],"mappings":"AACA,OAAO,EAAoB,KAAK,cAAc,EAAE,MAAM,eAAe,CAAC;AAMtE,MAAM,MAAM,mBAAmB,GAAG;IAChC,IAAI,EAAE,cAAc,CAAC;CACtB,CAAC;AAEF,wBAAgB,cAAc,CAAC,KAAK,EAAE,mBAAmB,2CAsBxD"}

package/dist/explain-fact/proof-tree/ProofRowBadge.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ProofRowBadge.d.ts","sourceRoot":"","sources":["../../../src/explain-fact/proof-tree/ProofRowBadge.tsx"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,OAAO,CAAC;AAGvC,OAAO,EAAc,KAAK,cAAc,EAAE,MAAM,eAAe,CAAC;AAEhE,MAAM,MAAM,kBAAkB,GAAG;IAC/B,IAAI,EAAE,cAAc,CAAC;CACtB,CAAC;AAEF,wBAAgB,aAAa,CAAC,KAAK,EAAE,kBAAkB,GAAG,SAAS,CASlE"}

package/dist/explain-fact/proof-tree/ProofRowContent.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ProofRowContent.d.ts","sourceRoot":"","sources":["../../../src/explain-fact/proof-tree/ProofRowContent.tsx"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,OAAO,CAAC;AAOvC,OAAO,EAA0B,KAAK,kBAAkB,EAAE,KAAK,cAAc,EAAE,MAAM,eAAe,CAAC;AAarG,MAAM,MAAM,oBAAoB,GAAG;IACjC,IAAI,EAAE,cAAc,CAAC;IACrB,IAAI,EAAE,kBAAkB,CAAC;CAC1B,CAAC;AAEF,wBAAgB,eAAe,CAAC,KAAK,EAAE,oBAAoB,GAAG,SAAS,CAiCtE"}

package/dist/explain-fact/proof-tree/ProofRowValue.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ProofRowValue.d.ts","sourceRoot":"","sources":["../../../src/explain-fact/proof-tree/ProofRowValue.tsx"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,OAAO,CAAC;AAKvC,OAAO,EAAc,KAAK,kBAAkB,EAAE,KAAK,cAAc,EAAE,MAAM,eAAe,CAAC;AAGzF,MAAM,MAAM,kBAAkB,GAAG;IAC/B,IAAI,EAAE,cAAc,CAAC;IACrB,IAAI,EAAE,kBAAkB,CAAC;IACzB,iBAAiB,CAAC,EAAE,MAAM,CAAC;CAC5B,CAAC;AAEF,wBAAgB,aAAa,CAAC,KAAK,EAAE,kBAAkB,GAAG,SAAS,CA+BlE"}

package/dist/explain-fact/proof-tree/ProofTree.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ProofTree.d.ts","sourceRoot":"","sources":["../../../src/explain-fact/proof-tree/ProofTree.tsx"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,kBAAkB,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AASxE,MAAM,MAAM,cAAc,GAAG;IAC3B,IAAI,EAAE,cAAc,CAAC;IACrB,IAAI,CAAC,EAAE,kBAAkB,CAAC;IAC1B,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,IAAI,CAAC;IAChC,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,wBAAgB,SAAS,CAAC,KAAK,EAAE,cAAc,kDAkG9C"}

package/dist/{rdfox-explain → explain-fact}/proof-tree/ProofTree.js

@@ -56,5 +56,5 @@ export function ProofTree(props) {
     }
     if (!hasPremises)
         return null;
-    return (_jsxs("div", { role: "tree", tabIndex: 0, "aria-label": `RDFox proof tree with ${nodeCount} nodes`, className: cn("overflow-hidden rounded-md border border-muted-border bg-card/60 outline-none", className), onKeyDown: selectable ? handleKeyDown : undefined, children: [_jsx("div", { className: "-mt-px", children: visibleChildren.map((child) => (_jsx(ProofTreeNode, { tree: tree, node: child, depth: 0, mode: mode, selectable: selectable, selectedNodeId: selectedNodeId, expandedNodeIds: expandedNodeIds, onSelect: onSelect, onToggle: handleToggle, valueHueClassName: valueHueClassByNodeId.get(child.id) }, child.id))) }), formula && (_jsx(ProofTreeFormulaFooter, { formula: formula, mode: mode, rawText: formulaNodeId ? tree.byId[formulaNodeId]?.display : undefined }))] }));
+    return (_jsxs("div", { role: "tree", tabIndex: 0, "aria-label": `Proof tree with ${nodeCount} nodes`, className: cn("overflow-hidden rounded-md border border-muted-border bg-card/60 outline-none", className), onKeyDown: selectable ? handleKeyDown : undefined, children: [_jsx("div", { className: "-mt-px", children: visibleChildren.map((child) => (_jsx(ProofTreeNode, { tree: tree, node: child, depth: 0, mode: mode, selectable: selectable, selectedNodeId: selectedNodeId, expandedNodeIds: expandedNodeIds, onSelect: onSelect, onToggle: handleToggle, valueHueClassName: valueHueClassByNodeId.get(child.id) }, child.id))) }), formula && (_jsx(ProofTreeFormulaFooter, { formula: formula, mode: mode, rawText: formulaNodeId ? tree.byId[formulaNodeId]?.display : undefined }))] }));
 }

package/dist/explain-fact/proof-tree/ProofTreeFormulaFooter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ProofTreeFormulaFooter.d.ts","sourceRoot":"","sources":["../../../src/explain-fact/proof-tree/ProofTreeFormulaFooter.tsx"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;AACpE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAMxD,MAAM,MAAM,2BAA2B,GAAG;IACxC,OAAO,EAAE,uBAAuB,CAAC;IACjC,IAAI,EAAE,kBAAkB,CAAC;IACzB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB,CAAC;AAEF,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,2BAA2B,2CAgBxE"}

package/dist/explain-fact/proof-tree/ProofTreeNode.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ProofTreeNode.d.ts","sourceRoot":"","sources":["../../../src/explain-fact/proof-tree/ProofTreeNode.tsx"],"names":[],"mappings":"AAGA,OAAO,EAGL,KAAK,kBAAkB,EACvB,KAAK,cAAc,EACnB,KAAK,cAAc,EACpB,MAAM,eAAe,CAAC;AAOvB,MAAM,MAAM,kBAAkB,GAAG;IAC/B,IAAI,EAAE,cAAc,CAAC;IACrB,IAAI,EAAE,cAAc,CAAC;IACrB,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,kBAAkB,CAAC;IACzB,UAAU,EAAE,OAAO,CAAC;IACpB,cAAc,EAAE,MAAM,CAAC;IACvB,eAAe,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC7B,QAAQ,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,IAAI,CAAC;IAChC,QAAQ,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,IAAI,CAAC;IAC/B,iBAAiB,CAAC,EAAE,MAAM,CAAC;CAC5B,CAAC;AAEF,wBAAgB,aAAa,CAAC,KAAK,EAAE,kBAAkB,2CA+EtD"}

package/dist/explain-fact/proof-tree/SupportsTag.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"SupportsTag.d.ts","sourceRoot":"","sources":["../../../src/explain-fact/proof-tree/SupportsTag.tsx"],"names":[],"mappings":"AAEA,MAAM,MAAM,gBAAgB,GAAG;IAC7B,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,wBAAgB,WAAW,CAAC,KAAK,EAAE,gBAAgB,2CAYlD"}

package/dist/explain-fact/proof-tree/SupportsTag.js

@@ -0,0 +1,6 @@
+import { jsxs as _jsxs } from "react/jsx-runtime";
+import { ExplainTag } from "../ExplainTag.js";
+export function SupportsTag(props) {
+    const { count, className } = props;
+    return (_jsxs(ExplainTag, { variant: "success", title: `The reasoner has ${count} independent derivations of this fact. It survives deletion of any one of them.`, className: className, children: [count, " ways"] }));
+}

package/dist/explain-fact/proof-tree/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/explain-fact/proof-tree/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC5D,cAAc,aAAa,CAAC"}

package/dist/explain-fact/proof-tree/proof-tree-navigation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"proof-tree-navigation.d.ts","sourceRoot":"","sources":["../../../src/explain-fact/proof-tree/proof-tree-navigation.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAkB,cAAc,EAAE,MAAM,eAAe,CAAC;AAGpE,MAAM,MAAM,uBAAuB,GAAG;IACpC,IAAI,EAAE,cAAc,CAAC;IACrB,cAAc,EAAE,MAAM,CAAC;IACvB,eAAe,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC7B,GAAG,EAAE,MAAM,CAAC;IACZ,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,yBAAyB,GAAG;IACtC,cAAc,EAAE,MAAM,CAAC;IACvB,eAAe,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;CAC9B,CAAC;AAUF,wBAAgB,4BAA4B,CAAC,IAAI,EAAE,uBAAuB,GAAG,yBAAyB,CA+BrG;AAqDD,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,cAAc,EAAE,eAAe,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,YAAY,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,CAkBrH"}

package/dist/explain-fact/proof-tree/proof-tree-root-view.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"proof-tree-root-view.d.ts","sourceRoot":"","sources":["../../../src/explain-fact/proof-tree/proof-tree-root-view.ts"],"names":[],"mappings":"AACA,OAAO,EAAe,KAAK,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;AACjF,OAAO,KAAK,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAGpE,KAAK,iBAAiB,GAAG;IACvB,OAAO,CAAC,EAAE,uBAAuB,CAAC;IAClC,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,eAAe,EAAE,cAAc,EAAE,CAAC;IAClC,WAAW,EAAE,OAAO,CAAC;CACtB,CAAC;AAIF,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,cAAc,GAAG,iBAAiB,CAwBzE;AAED,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,cAAc,GAAG,OAAO,CAEhE"}

package/dist/explain-fact/proof-tree/visible-premises.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"visible-premises.d.ts","sourceRoot":"","sources":["../../../src/explain-fact/proof-tree/visible-premises.ts"],"names":[],"mappings":"AACA,OAAO,EAAc,KAAK,cAAc,EAAE,KAAK,cAAc,EAAE,MAAM,eAAe,CAAC;AAMrF,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,cAAc,EACpB,IAAI,EAAE,cAAc,EACpB,YAAY,CAAC,EAAE,MAAM,GACpB,cAAc,EAAE,CASlB"}

package/dist/explain-fact/rule-presentation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rule-presentation.d.ts","sourceRoot":"","sources":["../../src/explain-fact/rule-presentation.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAKV,WAAW,EAEZ,MAAM,0BAA0B,CAAC;AAIlC,OAAO,EAIL,KAAK,kBAAkB,EAGxB,MAAM,cAAc,CAAC;AAEtB,MAAM,MAAM,oBAAoB,GAAG;IACjC,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,kBAAkB,CAAC;IACzB,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB,CAAC;AAuJF,wBAAgB,uBAAuB,CAAC,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,GAAG,MAAM,CAUrF;AAED,MAAM,MAAM,wBAAwB,GAAG;IACrC,IAAI,EAAE,MAAM,CAAC;IACb,YAAY,EAAE,MAAM,CAAC;IACrB,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB,CAAC;AAMF,wBAAgB,eAAe,CAC7B,SAAS,EAAE,wBAAwB,EAAE,EACrC,QAAQ,EAAE,MAAM,GAAG,SAAS,GAC3B,wBAAwB,GAAG,SAAS,CAMtC;AAED,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,WAAW,CAAC;IAClB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAOF,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,MAAM,MAAM,uBAAuB,GAAG;IACpC,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,YAAY,EAAE,CAAC;CACxB,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,gBAAgB,EAAE,MAAM,CAAC;IACzB,SAAS,EAAE,wBAAwB,EAAE,CAAC;IACtC,QAAQ,EAAE,MAAM,CAAC;IACjB,gBAAgB,EAAE,MAAM,CAAC;IACzB,KAAK,EAAE,oBAAoB,EAAE,CAAC;IAC9B,QAAQ,EAAE,eAAe,EAAE,CAAC;IAC5B,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,OAAO,CAAC,EAAE,uBAAuB,CAAC;CACnC,CAAC;AAEF,wBAAgB,cAAc,CAAC,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,GAAG,MAAM,CAE5E;AAKD,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,MAAM,GAAG,gBAAgB,CAiBjF;AAoVD,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG;IAAE,UAAU,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAAG,SAAS,CAYrG"}

package/dist/{rdfox-explain → explain-fact}/tree-model.d.ts

@@ -1,25 +1,28 @@
 import { type DatalogBodyFormula } from "@manta-eu/datalog-parser";
 import { type NarrativeSegment } from "../rules/rule-narrative-format.js";
-export type RDFoxExplainOutput = {
-    [key: string]: RDFoxFact | RDFoxFact[];
+export type ExplainFactOutput = {
+    [key: string]: ExplainedFact | ExplainedFact[];
 };
-export type RDFoxFact = {
+export type ExplainedFact = {
     fact?: string;
     type?: "derived" | "explicit" | "false";
-    "rule-instances"?: RDFoxRuleInstance[];
+    "rule-instances-complete"?: boolean;
+    "rule-instances"?: ExplainRuleInstance[];
     [key: string]: unknown;
 };
-export type RDFoxRuleInstance = {
+export type ExplainRuleInstance = {
     rule?: string;
+    "rule-iri"?: string;
     "grounded-rule"?: string;
     "body-facts"?: (string | null)[];
     [key: string]: unknown;
 };
 export type NormalizedNodeKind = "derived-fact" | "explicit-fact" | "aggregate" | "bind" | "filter" | "negation" | "skolem";
-export type FactProvenance = "explicit" | "derived" | "computed" | "absent";
+export type FactProvenance = "explicit" | "derived" | "computed" | "unsupported" | "absent";
 export type ExplainDisplayMode = "labels" | "datalog";
 export type RuleInstanceView = {
     rule?: string;
+    ruleIri?: string;
     groundedRule?: string;
     bodyFacts: (string | null)[];
 };
@@ -32,7 +35,7 @@ export type NamedFactSpo = FactSpo & {
     namedGraph?: string;
     objectDatatype?: string;
 };
-export declare function isRDFoxExplainOutput(value: unknown): value is RDFoxExplainOutput;
+export declare function isExplainFactOutput(value: unknown): value is ExplainFactOutput;
 export type AggregateOutput = {
     segments: NarrativeSegment[];
     variable: string;
@@ -44,6 +47,7 @@ export type NormalizedNode = {
     display: string;
     groundedDisplay?: string;
     rule?: string;
+    ruleIri?: string;
     groundedRule?: string;
     parentId: string | null;
     childIds: string[];
@@ -64,10 +68,15 @@ export declare function isTypeFact(node: NormalizedNode): boolean;
 export declare function isFactNode(node: NormalizedNode): boolean;
 export declare function multipleSupports(node: NormalizedNode): RuleInstanceView[] | undefined;
 export declare function subjectTypeTerm(tree: NormalizedTree, subject: string): string | undefined;
-export declare function consumingRuleNode(tree: NormalizedTree, node: NormalizedNode): NormalizedNode | undefined;
+export type RuleSelection = {
+    node: NormalizedNode;
+    relation: "produces" | "uses";
+    highlightedAtomIndex?: number;
+};
+export declare function ruleForSelection(tree: NormalizedTree, node: NormalizedNode): RuleSelection | undefined;
 export declare function buildExplainPath(spo: NamedFactSpo): string;
 export declare function parseFactStatement(text: string): FactSpo | undefined;
-export declare function normalize(output: RDFoxExplainOutput): NormalizedTree | null;
+export declare function normalize(output: ExplainFactOutput): NormalizedTree | null;
 export declare function ruleHeadText(rule: string): string;
 export declare function ruleHeadTerms(rule: string): string[];
 export declare function getRuleBodyTerms(rule: string): string[];

package/dist/explain-fact/tree-model.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tree-model.d.ts","sourceRoot":"","sources":["../../src/explain-fact/tree-model.ts"],"names":[],"mappings":"AAAA,OAAO,EAWL,KAAK,kBAAkB,EAExB,MAAM,0BAA0B,CAAC;AAOlC,OAAO,EAAwB,KAAK,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAG7F,MAAM,MAAM,iBAAiB,GAAG;IAC9B,CAAC,GAAG,EAAE,MAAM,GAAG,aAAa,GAAG,aAAa,EAAE,CAAC;CAChD,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAC1B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,SAAS,GAAG,UAAU,GAAG,OAAO,CAAC;IACxC,yBAAyB,CAAC,EAAE,OAAO,CAAC;IACpC,gBAAgB,CAAC,EAAE,mBAAmB,EAAE,CAAC;IACzC,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB,CAAC;AAEF,MAAM,MAAM,mBAAmB,GAAG;IAChC,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,YAAY,CAAC,EAAE,CAAC,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC;IACjC,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAC1B,cAAc,GACd,eAAe,GACf,WAAW,GACX,MAAM,GACN,QAAQ,GACR,UAAU,GACV,QAAQ,CAAC;AAEb,MAAM,MAAM,cAAc,GAAG,UAAU,GAAG,SAAS,GAAG,UAAU,GAAG,aAAa,GAAG,QAAQ,CAAC;AAE5F,MAAM,MAAM,kBAAkB,GAAG,QAAQ,GAAG,SAAS,CAAC;AAEtD,MAAM,MAAM,gBAAgB,GAAG;IAC7B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,SAAS,EAAE,CAAC,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC;CAC9B,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG,OAAO,GAAG;IAAE,UAAU,CAAC,EAAE,MAAM,CAAC;IAAC,cAAc,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAEtF,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,iBAAiB,CAI9E;AAED,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,EAAE,gBAAgB,EAAE,CAAC;IAC7B,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;CACf,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,kBAAkB,CAAC;IACzB,OAAO,EAAE,MAAM,CAAC;IAChB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,SAAS,CAAC,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACxC,gBAAgB,CAAC,EAAE,eAAe,EAAE,CAAC;IACrC,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,UAAU,CAAC,EAAE,cAAc,CAAC;IAC5B,QAAQ,CAAC,EAAE,gBAAgB,EAAE,CAAC;CAC/B,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG;IAC3B,IAAI,EAAE,cAAc,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;CACtC,CAAC;AAEF,wBAAgB,UAAU,CAAC,IAAI,EAAE,cAAc,GAAG,OAAO,CAExD;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,cAAc,GAAG,OAAO,CAExD;AAED,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,cAAc,GAAG,gBAAgB,EAAE,GAAG,SAAS,CAIrF;AAED,wBAAgB,eAAe,CAAC,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAIzF;AAED,MAAM,MAAM,aAAa,GAAG;IAC1B,IAAI,EAAE,cAAc,CAAC;IACrB,QAAQ,EAAE,UAAU,GAAG,MAAM,CAAC;IAC9B,oBAAoB,CAAC,EAAE,MAAM,CAAC;CAC/B,CAAC;AAEF,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,cAAc,GAAG,aAAa,GAAG,SAAS,CAQtG;AAaD,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,YAAY,GAAG,MAAM,CAW1D;AAED,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,CAqCpE;AAED,wBAAgB,SAAS,CAAC,MAAM,EAAE,iBAAiB,GAAG,cAAc,GAAG,IAAI,CAgK1E;AAkGD,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAOjD;AAED,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAIpD;AAED,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAQvD;AAsBD,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,kBAAkB,GAAG,kBAAkB,CASlF;AAoHD,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,kBAAkB,CA8BrE"}