@manta-eu/react 0.1.1 → 0.1.2

package/dist/components/sidebar/index.js

@@ -104,12 +104,12 @@ function Sidebar({ side = "left", variant = "sidebar", collapsible = "offcanvas"
                     : "group-data-[collapsible=icon]:w-(--sidebar-width-icon)", className), ...props, children: _jsx("div", { "data-sidebar": "sidebar", "data-slot": "sidebar-inner", className: "bg-sidebar group-data-[variant=floating]:border-muted-border flex h-full w-full flex-col group-data-[variant=floating]:rounded-lg group-data-[variant=floating]:border group-data-[variant=floating]:shadow-sm", children: children }) })] }));
 }
 function SidebarTrigger(props) {
-    const { className, onClick, ...otherProps } = props;
+    const { className, onClick, "aria-label": ariaLabel = "Toggle Sidebar", ...otherProps } = props;
     const { toggleSidebar } = useSidebar();
     return (_jsx(Button, { "data-sidebar": "trigger", "data-slot": "sidebar-trigger", variant: "ghost", className: cn("size-7", className), onClick: (event) => {
             onClick?.(event);
             toggleSidebar();
-        }, ...otherProps, icon: PanelLeftIcon, iconOnly: true, "aria-label": "Toggle Sidebar" }));
+        }, ...otherProps, icon: PanelLeftIcon, iconOnly: true, "aria-label": ariaLabel }));
 }
 function SidebarRail({ className, ...props }) {
     const { toggleSidebar } = useSidebar();

package/dist/components/skeleton/index.js

@@ -3,7 +3,7 @@ import { jsx as _jsx } from "react/jsx-runtime";
 import { tv } from "tailwind-variants";
 import { cn } from "#style";
 export const skeletonConfig = {
-    base: "animate-shimmer bg-gradient-to-r from-accent from-25% via-accent/10 to-accent to-75% bg-[length:220%_100%] " +
+    base: "animate-shimmer bg-gradient-to-r from-skeleton from-25% via-skeleton/10 to-skeleton to-75% bg-[length:220%_100%] " +
         "motion-reduce:animate-none",
     variants: {
         variant: {

package/dist/components/tool-invocation-card/ExplainFactResultDisplay.d.ts

@@ -0,0 +1,9 @@
+import type { ToolUIPart } from "ai";
+import type { ExplainFactToolResult } from "./types.js";
+type ExplainFactResultDisplayProps = {
+    result: ExplainFactToolResult;
+    toolUIPart?: ToolUIPart;
+};
+export declare function ExplainFactResultDisplay(props: ExplainFactResultDisplayProps): import("react/jsx-runtime").JSX.Element;
+export {};
+//# sourceMappingURL=ExplainFactResultDisplay.d.ts.map

package/dist/components/tool-invocation-card/ExplainFactResultDisplay.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ExplainFactResultDisplay.d.ts","sourceRoot":"","sources":["../../../src/components/tool-invocation-card/ExplainFactResultDisplay.tsx"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,IAAI,CAAC;AAIrC,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,SAAS,CAAC;AAGrD,KAAK,6BAA6B,GAAG;IACnC,MAAM,EAAE,qBAAqB,CAAC;IAC9B,UAAU,CAAC,EAAE,UAAU,CAAC;CACzB,CAAC;AAEF,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,6BAA6B,2CAS5E"}

package/dist/components/tool-invocation-card/{ExplainRDFoxResultDisplay.js → ExplainFactResultDisplay.js}

@@ -1,15 +1,15 @@
 import { jsx as _jsx } from "react/jsx-runtime";
 import { useMemo } from "react";
-import { RDFoxExplain } from "../rdfox-explain/RDFoxExplain.js";
+import { ExplainFact } from "../explain-fact/ExplainFact.js";
 import { DefaultResultDisplay } from "./DefaultResultDisplay.js";
 import { normalize } from "#ldo-ui";
-export function ExplainRDFoxResultDisplay(props) {
+export function ExplainFactResultDisplay(props) {
     const { result, toolUIPart } = props;
     const spo = useMemo(() => extractExplainSpo(toolUIPart?.input, result), [toolUIPart?.input, result]);
     if (!spo) {
         return _jsx(DefaultResultDisplay, { result: result, toolUIPart: toolUIPart });
     }
-    return _jsx(RDFoxExplain, { mode: "compact", data: result, ...spo });
+    return _jsx(ExplainFact, { mode: "compact", data: result, ...spo });
 }
 function extractExplainSpo(input, result) {
     if (isExplainInput(input)) {

package/dist/components/tool-invocation-card/ToolOutputRenderer.js

@@ -7,7 +7,7 @@ import { FileMessagePart } from "../chat-view/FileMessagePart.js";
 import { ActionPlanShowcaseCard } from "./ActionPlanShowcaseCard.js";
 import { DefaultResultDisplay } from "./DefaultResultDisplay.js";
 import { EntitySetCard } from "./EntitySetCard.js";
-import { ExplainRDFoxResultDisplay } from "./ExplainRDFoxResultDisplay.js";
+import { ExplainFactResultDisplay } from "./ExplainFactResultDisplay.js";
 import { ListRulesResultDisplay } from "./ListRulesResultDisplay.js";
 import { ManageRulesResultDisplay } from "./ManageRulesResultDisplay.js";
 import { isChartToolResult, isErrorToolResult, isExplainRDFoxRulesResult, isGetRDFoxRulesToolResult, isManageRulesResult, isShowcaseToolResult, isWorkspaceArtifactResult, } from "./types.js";
@@ -64,7 +64,7 @@ export function ToolOutputRenderer(props) {
         .when(isChartToolResult, (chartResult) => _jsx(ChartResultDisplay, { result: chartResult }))
         .when(isManageRulesResult, (rulesResult) => _jsx(ManageRulesResultDisplay, { result: rulesResult }))
         .when(isGetRDFoxRulesToolResult, (rulesResult) => (_jsx(ListRulesResultDisplay, { result: rulesResult })))
-        .when(isExplainRDFoxRulesResult, (explainResult) => (_jsx(ExplainRDFoxResultDisplay, { result: explainResult, toolUIPart: toolUIPart })))
+        .when(isExplainRDFoxRulesResult, (explainResult) => (_jsx(ExplainFactResultDisplay, { result: explainResult, toolUIPart: toolUIPart })))
         .when(isShowcaseToolResult, (showcaseResult) => (_jsx(ShowcaseResultDisplay, { result: showcaseResult })))
         .when(isWorkspaceArtifactResult, (artifactResult) => _jsx(WorkspaceArtifactResultDisplay, { result: artifactResult }))
         .when(isShowEntitiesResult, (entitySetResult) => _jsx(EntitySetCard, { result: entitySetResult }))

package/dist/components/tool-invocation-card/types.d.ts

@@ -2,7 +2,7 @@ import { type ActionPlanShowcaseOutput, type ShowEntitiesOutput } from "@manta-e
 import type { GetRDFoxRulesOutputSuccess } from "@manta-eu/client/shared/tools/types";
 import { type WorkspaceArtifact } from "@manta-eu/client/shared/workspace-artifacts";
 import type { DatalogRule, InferenceVerificationResult } from "@manta-eu/datalog-parser";
-import type { RDFoxExplainOutput } from "#ldo-ui";
+import type { ExplainFactOutput } from "#ldo-ui";
 export type ChartToolResult = {
     type: "chart";
     chartType: "line" | "area" | "bar" | "pie" | "scatter" | "radar" | "composed";
@@ -39,8 +39,8 @@ export type ShowEntitiesToolResult = Extract<ShowEntitiesOutput, {
     entityIris: string[];
 }>;
 export type GetRDFoxRulesToolResult = GetRDFoxRulesOutputSuccess;
-export type ExplainRDFoxRulesToolResult = RDFoxExplainOutput;
-export type ToolResult = ChartToolResult | ErrorToolResult | ManageRulesResult | ShowcaseToolResult | ShowEntitiesToolResult | GetRDFoxRulesToolResult | ExplainRDFoxRulesToolResult | WorkspaceArtifact | {
+export type ExplainFactToolResult = ExplainFactOutput;
+export type ToolResult = ChartToolResult | ErrorToolResult | ManageRulesResult | ShowcaseToolResult | ShowEntitiesToolResult | GetRDFoxRulesToolResult | ExplainFactToolResult | WorkspaceArtifact | {
     content: Array<{
         type: string;
         text: string;
@@ -55,7 +55,7 @@ export declare function isManageRulesResult(result: unknown): result is ManageRu
 export declare function isStagedManageRulesResult(result: unknown): result is StagedManageRulesResult;
 export declare function isShowcaseToolResult(result: unknown): result is ShowcaseToolResult;
 export declare function isGetRDFoxRulesToolResult(result: unknown): result is GetRDFoxRulesOutputSuccess;
-export declare function isExplainRDFoxRulesResult(result: unknown): result is ExplainRDFoxRulesToolResult;
+export declare function isExplainRDFoxRulesResult(result: unknown): result is ExplainFactToolResult;
 export declare function hasVisualOutput(output: unknown): boolean;
 export declare function hasInlineVisualOutput(output: unknown): boolean;
 //# sourceMappingURL=types.d.ts.map

package/dist/components/tool-invocation-card/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/components/tool-invocation-card/types.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,wBAAwB,EAC7B,KAAK,kBAAkB,EACxB,MAAM,+BAA+B,CAAC;AACvC,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,qCAAqC,CAAC;AACtF,OAAO,EAA2B,KAAK,iBAAiB,EAAE,MAAM,6CAA6C,CAAC;AAE9G,OAAO,KAAK,EAAE,WAAW,EAAE,2BAA2B,EAAE,MAAM,0BAA0B,CAAC;AAEzF,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,SAAS,CAAC;AAElD,MAAM,MAAM,eAAe,GAAG;IAC5B,IAAI,EAAE,OAAO,CAAC;IACd,SAAS,EAAE,MAAM,GAAG,MAAM,GAAG,KAAK,GAAG,KAAK,GAAG,SAAS,GAAG,OAAO,GAAG,UAAU,CAAC;IAC9E,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;CACjB,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,EAAE,IAAI,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;CACjB,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,OAAO,EAAE,IAAI,CAAC;IACd,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,IAAI,CAAC;IACd,UAAU,CAAC,EAAE,WAAW,CAAC;IACzB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,qBAAqB,CAAC,EAAE,2BAA2B,GAAG,IAAI,CAAC;IAC3D,aAAa,CAAC,EAAE;QACd,UAAU,EAAE,MAAM,CAAC;QACnB,YAAY,EAAE,MAAM,CAAC;QACrB,YAAY,EAAE,MAAM,CAAC;KACtB,CAAC;IACF,OAAO,EAAE,MAAM,CAAC;CACjB,CAAC;AAEF,MAAM,MAAM,uBAAuB,GAAG,iBAAiB,GAAG;IACxD,MAAM,EAAE,IAAI,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;CACjB,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG,OAAO,CAAC,wBAAwB,EAAE;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC,CAAC;AACxF,MAAM,MAAM,sBAAsB,GAAG,OAAO,CAAC,kBAAkB,EAAE;IAAE,UAAU,EAAE,MAAM,EAAE,CAAA;CAAE,CAAC,CAAC;AAC3F,MAAM,MAAM,uBAAuB,GAAG,0BAA0B,CAAC;AACjE,MAAM,MAAM,2BAA2B,GAAG,kBAAkB,CAAC;AAE7D,MAAM,MAAM,UAAU,GAClB,eAAe,GACf,eAAe,GACf,iBAAiB,GACjB,kBAAkB,GAClB,sBAAsB,GACtB,uBAAuB,GACvB,2BAA2B,GAC3B,iBAAiB,GACjB;IAAE,OAAO,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;CAAE,GAClD,MAAM,GACN,MAAM,GACN,OAAO,CAAC;AAEZ,MAAM,MAAM,SAAS,GAAG,iBAAiB,GAAG,iBAAiB,GAAG,kBAAkB,GAAG,cAAc,CAAC;AAEpG,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,GAAG,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAE/F;AAED,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM,IAAI,eAAe,CAE5E;AAED,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM,IAAI,eAAe,CAE5E;AAED,wBAAgB,yBAAyB,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM,IAAI,iBAAiB,CAEtF;AAED,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM,IAAI,iBAAiB,CAKhF;AAED,wBAAgB,yBAAyB,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM,IAAI,uBAAuB,CAE5F;AAED,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM,IAAI,kBAAkB,CAElF;AAED,wBAAgB,yBAAyB,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM,IAAI,0BAA0B,CAE/F;AAED,wBAAgB,yBAAyB,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM,IAAI,2BAA2B,CAWhG;AAED,wBAAgB,eAAe,CAAC,MAAM,EAAE,OAAO,GAAG,OAAO,CAYxD;AAED,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,OAAO,GAAG,OAAO,CAO9D"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/components/tool-invocation-card/types.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,wBAAwB,EAC7B,KAAK,kBAAkB,EACxB,MAAM,+BAA+B,CAAC;AACvC,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,qCAAqC,CAAC;AACtF,OAAO,EAA2B,KAAK,iBAAiB,EAAE,MAAM,6CAA6C,CAAC;AAE9G,OAAO,KAAK,EAAE,WAAW,EAAE,2BAA2B,EAAE,MAAM,0BAA0B,CAAC;AAEzF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,SAAS,CAAC;AAEjD,MAAM,MAAM,eAAe,GAAG;IAC5B,IAAI,EAAE,OAAO,CAAC;IACd,SAAS,EAAE,MAAM,GAAG,MAAM,GAAG,KAAK,GAAG,KAAK,GAAG,SAAS,GAAG,OAAO,GAAG,UAAU,CAAC;IAC9E,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;CACjB,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,EAAE,IAAI,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;CACjB,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,OAAO,EAAE,IAAI,CAAC;IACd,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,IAAI,CAAC;IACd,UAAU,CAAC,EAAE,WAAW,CAAC;IACzB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,qBAAqB,CAAC,EAAE,2BAA2B,GAAG,IAAI,CAAC;IAC3D,aAAa,CAAC,EAAE;QACd,UAAU,EAAE,MAAM,CAAC;QACnB,YAAY,EAAE,MAAM,CAAC;QACrB,YAAY,EAAE,MAAM,CAAC;KACtB,CAAC;IACF,OAAO,EAAE,MAAM,CAAC;CACjB,CAAC;AAEF,MAAM,MAAM,uBAAuB,GAAG,iBAAiB,GAAG;IACxD,MAAM,EAAE,IAAI,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;CACjB,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG,OAAO,CAAC,wBAAwB,EAAE;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC,CAAC;AACxF,MAAM,MAAM,sBAAsB,GAAG,OAAO,CAAC,kBAAkB,EAAE;IAAE,UAAU,EAAE,MAAM,EAAE,CAAA;CAAE,CAAC,CAAC;AAC3F,MAAM,MAAM,uBAAuB,GAAG,0BAA0B,CAAC;AACjE,MAAM,MAAM,qBAAqB,GAAG,iBAAiB,CAAC;AAEtD,MAAM,MAAM,UAAU,GAClB,eAAe,GACf,eAAe,GACf,iBAAiB,GACjB,kBAAkB,GAClB,sBAAsB,GACtB,uBAAuB,GACvB,qBAAqB,GACrB,iBAAiB,GACjB;IAAE,OAAO,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;CAAE,GAClD,MAAM,GACN,MAAM,GACN,OAAO,CAAC;AAEZ,MAAM,MAAM,SAAS,GAAG,iBAAiB,GAAG,iBAAiB,GAAG,kBAAkB,GAAG,cAAc,CAAC;AAEpG,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,GAAG,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAE/F;AAED,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM,IAAI,eAAe,CAE5E;AAED,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM,IAAI,eAAe,CAE5E;AAED,wBAAgB,yBAAyB,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM,IAAI,iBAAiB,CAEtF;AAED,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM,IAAI,iBAAiB,CAKhF;AAED,wBAAgB,yBAAyB,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM,IAAI,uBAAuB,CAE5F;AAED,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM,IAAI,kBAAkB,CAElF;AAED,wBAAgB,yBAAyB,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM,IAAI,0BAA0B,CAE/F;AAED,wBAAgB,yBAAyB,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM,IAAI,qBAAqB,CAW1F;AAED,wBAAgB,eAAe,CAAC,MAAM,EAAE,OAAO,GAAG,OAAO,CAYxD;AAED,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,OAAO,GAAG,OAAO,CAO9D"}

package/dist/components/tool-invocation-card/types.js

@@ -39,7 +39,7 @@ export function isExplainRDFoxRulesResult(result) {
         return false;
     return entries.every((entry) => {
         const values = Array.isArray(entry) ? entry : [entry];
-        return isPresent(values) && values.every(isRDFoxExplainFact);
+        return isPresent(values) && values.every(isExplainedFact);
     });
 }
 export function hasVisualOutput(output) {
@@ -59,7 +59,7 @@ export function hasInlineVisualOutput(output) {
         isShowEntitiesResult(output) ||
         isWorkspaceArtifactResult(output));
 }
-function isRDFoxExplainFact(value) {
+function isExplainedFact(value) {
     if (typeof value !== "object" || value === null || Array.isArray(value))
         return false;
     if ("fact" in value && typeof value.fact !== "string")

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

@@ -1,3 +1,3 @@
 export { TreeMultiSelect, type TreeMultiSelectProps } from "./tree-multi-select.js";
-export { buildTreeRows, type TreeNode, type TreeRow, type TreeSelectItem } from "./tree-multi-select-rows.js";
+export { buildTreeRows, compareNodes, type TreeNode, type TreeRow, type TreeSelectItem, } from "./tree-multi-select-rows.js";
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/components/tree-multi-select/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,KAAK,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AACjF,OAAO,EAAE,aAAa,EAAE,KAAK,QAAQ,EAAE,KAAK,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,0BAA0B,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/components/tree-multi-select/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,KAAK,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AACjF,OAAO,EACL,aAAa,EACb,YAAY,EACZ,KAAK,QAAQ,EACb,KAAK,OAAO,EACZ,KAAK,cAAc,GACpB,MAAM,0BAA0B,CAAC"}

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

@@ -1,2 +1,2 @@
 export { TreeMultiSelect } from "./tree-multi-select.js";
-export { buildTreeRows } from "./tree-multi-select-rows.js";
+export { buildTreeRows, compareNodes, } from "./tree-multi-select-rows.js";

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

@@ -17,7 +17,8 @@ export type TreeRow<T extends TreeNode> = {
     node: T;
     depth: number;
 };
-export declare function buildTreeRows<T extends TreeNode>(nodes: readonly T[]): TreeRow<T>[];
+export declare function compareNodes(a: TreeNode, b: TreeNode): number;
+export declare function buildTreeRows<T extends TreeNode>(nodes: readonly T[], compare?: (a: T, b: T) => number): TreeRow<T>[];
 export declare function isGroupHead(items: readonly TreeSelectItem[], index: number): boolean;
 export declare function subtreeIds(items: readonly TreeSelectItem[], headId: string): string[];
 export declare function filterTreeItems(items: readonly TreeSelectItem[], search: string): TreeSelectItem[];

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

@@ -1 +1 @@
-{"version":3,"file":"tree-multi-select-rows.d.ts","sourceRoot":"","sources":["../../../src/components/tree-multi-select/tree-multi-select-rows.ts"],"names":[],"mappings":"AAEA,MAAM,MAAM,cAAc,GAAG;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,OAAO,CAAC;IACpB,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC;CACf,CAAC;AAGF,eAAO,MAAM,mBAAmB,IAAI,CAAC;AAErC,MAAM,MAAM,QAAQ,GAAG;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,CAAC;AAEpF,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,QAAQ,IAAI;IAAE,IAAI,EAAE,CAAC,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAcrE,wBAAgB,aAAa,CAAC,CAAC,SAAS,QAAQ,EAAE,KAAK,EAAE,SAAS,CAAC,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,EAAE,CA+BnF;AAED,wBAAgB,WAAW,CAAC,KAAK,EAAE,SAAS,cAAc,EAAE,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAIpF;AAED,wBAAgB,UAAU,CAAC,KAAK,EAAE,SAAS,cAAc,EAAE,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,EAAE,CAYrF;AAkBD,wBAAgB,eAAe,CAAC,KAAK,EAAE,SAAS,cAAc,EAAE,EAAE,MAAM,EAAE,MAAM,GAAG,cAAc,EAAE,CAuBlG;AAED,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,SAAS,cAAc,EAAE,EAChC,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,GAChC,cAAc,EAAE,CAWlB"}
+{"version":3,"file":"tree-multi-select-rows.d.ts","sourceRoot":"","sources":["../../../src/components/tree-multi-select/tree-multi-select-rows.ts"],"names":[],"mappings":"AAEA,MAAM,MAAM,cAAc,GAAG;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,OAAO,CAAC;IACpB,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC;CACf,CAAC;AAGF,eAAO,MAAM,mBAAmB,IAAI,CAAC;AAErC,MAAM,MAAM,QAAQ,GAAG;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,CAAC;AAEpF,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,QAAQ,IAAI;IAAE,IAAI,EAAE,CAAC,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAMrE,wBAAgB,YAAY,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,GAAG,MAAM,CAK7D;AAGD,wBAAgB,aAAa,CAAC,CAAC,SAAS,QAAQ,EAC9C,KAAK,EAAE,SAAS,CAAC,EAAE,EACnB,OAAO,GAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,MAAqB,GAC7C,OAAO,CAAC,CAAC,CAAC,EAAE,CA+Bd;AAED,wBAAgB,WAAW,CAAC,KAAK,EAAE,SAAS,cAAc,EAAE,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAIpF;AAED,wBAAgB,UAAU,CAAC,KAAK,EAAE,SAAS,cAAc,EAAE,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,EAAE,CAYrF;AAGD,wBAAgB,eAAe,CAAC,KAAK,EAAE,SAAS,cAAc,EAAE,EAAE,MAAM,EAAE,MAAM,GAAG,cAAc,EAAE,CA4BlG;AAED,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,SAAS,cAAc,EAAE,EAChC,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,GAChC,cAAc,EAAE,CAWlB"}

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

@@ -4,15 +4,15 @@ export const treeSearchThreshold = 7;
 function nodeLabel(node) {
     return node.name ?? node.id;
 }
-function compareNodes(a, b) {
+export function compareNodes(a, b) {
     const aNamed = a.name != null;
     const bNamed = b.name != null;
     if (aNamed !== bNamed)
         return aNamed ? -1 : 1;
     return nodeLabel(a).localeCompare(nodeLabel(b)) || a.id.localeCompare(b.id);
 }
-// Depth-first from the roots with label-sorted siblings; orphans and cycles still surface as roots.
-export function buildTreeRows(nodes) {
+// Depth-first from the roots with siblings sorted by label by default; orphans and cycles still surface as roots.
+export function buildTreeRows(nodes, compare = compareNodes) {
     const ids = new Set(nodes.map(({ id }) => id));
     const childrenByParent = new Map();
     const roots = [];
@@ -33,11 +33,11 @@ export function buildTreeRows(nodes) {
             return;
         visited.add(node.id);
         rows.push({ node, depth });
-        for (const child of [...(childrenByParent.get(node.id) ?? [])].sort(compareNodes)) {
+        for (const child of [...(childrenByParent.get(node.id) ?? [])].sort(compare)) {
             visit(child, depth + 1);
         }
     }
-    for (const root of [...roots].sort(compareNodes)) {
+    for (const root of [...roots].sort(compare)) {
         visit(root, 0);
     }
     for (const node of nodes) {
@@ -64,21 +64,7 @@ export function subtreeIds(items, headId) {
     }
     return ids;
 }
-function ancestorIndexes(items, index) {
-    const indexes = [];
-    const row = items[index];
-    if (!row)
-        return indexes;
-    let depth = row.depth;
-    for (let previous = index - 1; previous >= 0 && depth > 0; previous--) {
-        const candidate = items[previous];
-        if (candidate && candidate.depth < depth) {
-            indexes.push(previous);
-            depth = candidate.depth;
-        }
-    }
-    return indexes;
-}
+// One pass: a match keeps its ancestors, tracked on a stack, and every row below it.
 export function filterTreeItems(items, search) {
     const term = search.trim().toLowerCase();
     if (!isPresent(term))
@@ -87,19 +73,23 @@ export function filterTreeItems(items, search) {
         (item.caption ?? "").toLowerCase().includes(term) ||
         item.id.toLowerCase().includes(term);
     const kept = new Set();
+    const ancestors = [];
+    let matchedDepth = null;
     items.forEach((item, index) => {
-        if (!matches(item))
-            return;
-        kept.add(index);
-        for (const ancestor of ancestorIndexes(items, index))
-            kept.add(ancestor);
-        const itemDepth = item.depth;
-        for (let next = index + 1; next < items.length; next++) {
-            const descendant = items[next];
-            if (!descendant || descendant.depth <= itemDepth)
-                break;
-            kept.add(next);
+        while ((ancestors.at(-1)?.depth ?? -1) >= item.depth)
+            ancestors.pop();
+        if (matchedDepth != null && item.depth <= matchedDepth)
+            matchedDepth = null;
+        if (matchedDepth != null) {
+            kept.add(index);
+        }
+        else if (matches(item)) {
+            kept.add(index);
+            for (const ancestor of ancestors)
+                kept.add(ancestor.index);
+            matchedDepth = item.depth;
         }
+        ancestors.push({ index, depth: item.depth });
     });
     return items.filter((_, index) => kept.has(index));
 }

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