@manta-eu/react 0.1.1 → 0.1.2

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"}

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

@@ -7,7 +7,7 @@ import { aggregateBindingSegments } from "../rules/rule-narrative-aggregates.js"
 import { buildFilterRow } from "../rules/rule-narrative-filters.js";
 import { labeledEntitySegment } from "../rules/rule-narrative-format.js";
 import { createRuleNarrativeRenderer } from "../rules/rule-narrative-renderer.js";
-export function isRDFoxExplainOutput(value) {
+export function isExplainFactOutput(value) {
     if (typeof value !== "object" || value === null || Array.isArray(value))
         return false;
     return Object.values(value).every((entry) => typeof entry === "object" && entry !== null);
@@ -26,12 +26,13 @@ export function subjectTypeTerm(tree, subject) {
     const typeFact = Object.values(tree.byId).find((node) => isTypeFact(node) && node.spo?.subject === subject);
     return typeFact?.spo?.object;
 }
-export function consumingRuleNode(tree, node) {
-    if (node.id === tree.root.id) {
-        return node.rule ? node : undefined;
-    }
+export function ruleForSelection(tree, node) {
+    if (node.rule)
+        return { node, relation: "produces" };
     const parent = node.parentId ? tree.byId[node.parentId] : undefined;
-    return parent?.rule ? parent : undefined;
+    if (!parent?.rule)
+        return undefined;
+    return { node: parent, relation: "uses", highlightedAtomIndex: node.bodyIndex };
 }
 // The named graph may follow the closing bracket with no space: ":p[_:b, 1]:Graph".
 const bracketFactPattern = /^([^[\s]+)\[(.*)\]/;
@@ -99,17 +100,19 @@ export function normalize(output) {
         const ruleInstance = firstRuleInstance(entry.fact);
         const rule = ruleInstance?.rule;
         const supports = ruleInstanceViews(entry.fact);
+        const kind = factNodeKind(entry.fact);
         const node = {
             id,
-            kind: factNodeKind(entry.fact),
+            kind,
             display: entry.fact.fact ?? entry.key,
             rule,
+            ruleIri: ruleInstance?.["rule-iri"],
             groundedRule: ruleInstance?.["grounded-rule"],
             parentId,
             childIds: [],
             bodyIndex,
             spo: typeof entry.fact.fact === "string" ? parseFactStatement(entry.fact.fact) : undefined,
-            provenance: provenanceForFact(entry.fact, rule),
+            provenance: provenanceForFact(entry.fact, kind, rule),
             ...(isPresent(supports) && { supports }),
         };
         byId[id] = node;
@@ -235,16 +238,22 @@ function ruleInstanceViews(fact) {
         .filter((instance) => typeof instance.rule === "string")
         .map((instance) => ({
         rule: instance.rule,
+        ruleIri: instance["rule-iri"],
         groundedRule: instance["grounded-rule"],
         bodyFacts: instance["body-facts"] ?? [],
     }));
 }
-function provenanceForFact(fact, rule) {
+function provenanceForFact(fact, kind, rule) {
     return match(fact.type)
         .returnType()
         .with("false", () => "absent")
         .with("explicit", () => "explicit")
-        .otherwise(() => (rule && ruleHeadValueIsComputed(rule) ? "computed" : "derived"));
+        .otherwise(() => {
+        if (rule)
+            return ruleHeadValueIsComputed(rule) ? "computed" : "derived";
+        const unsupported = kind === "derived-fact" && fact["rule-instances-complete"] === true;
+        return unsupported && !isPresent(fact["rule-instances"] ?? []) ? "unsupported" : "derived";
+    });
 }
 function ruleHeadValueIsComputed(rule) {
     const ast = parseDatalogRuleCached(rule).ast;

package/dist/explain-fact/use-fact-measure.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"use-fact-measure.d.ts","sourceRoot":"","sources":["../../src/explain-fact/use-fact-measure.ts"],"names":[],"mappings":"AACA,OAAO,EAAuB,KAAK,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAGvE,wBAAgB,cAAc,CAAC,SAAS,CAAC,EAAE,MAAM,GAAG,WAAW,GAAG,SAAS,CAE1E;AAED,wBAAgB,eAAe,CAAC,UAAU,EAAE,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,GAAG,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,CAmB5F"}