@manta-eu/react 0.1.0

package/dist/providers/index.js

@@ -0,0 +1,47 @@
+import { jsx as _jsx } from "react/jsx-runtime";
+import { QueryClient, QueryClientProvider } from "@tanstack/react-query";
+import { NuqsAdapter } from "nuqs/adapters/react-router/v7";
+import { useState } from "react";
+import { ActiveDatastoreProvider, ActiveDatastoreRouter, useActiveDatastore } from "./ActiveDatastoreProvider.js";
+import { GenerateStructuredDataProvider } from "./GenerateStructuredDataProvider.js";
+import { KnowledgeGraphPollingProvider } from "./KnowledgeGraphPollingProvider.js";
+import { MantaClientProvider } from "./MantaClientProvider.js";
+import { ShaclFormProvider } from "./ShaclFormProvider.js";
+import { ThemeProvider } from "./ThemeProvider.js";
+import { TooltipProvider as TooltipStateProvider } from "./TooltipProvider.js";
+import { TooltipProvider } from "#components/tooltip/index";
+export * from "./ActiveDatastoreProvider.js";
+export * from "./AssistantNameProvider.js";
+export * from "./GenerateStructuredDataProvider.js";
+export * from "./MantaClientProvider.js";
+export * from "./ShaclFormProvider.js";
+export * from "./ThemeProvider.js";
+export * from "./TooltipProvider.js";
+export * from "./KnowledgeGraphStateProvider.js";
+export * from "./KnowledgeGraphStateContext.js";
+export * from "./KnowledgeGraphPollingProvider.js";
+// Each datastore gets its own cache, but passing through "no datastore" (the global picker) must not discard it.
+function useDatastoreScopedClient(provided, datastoreId) {
+    const [scoped, setScoped] = useState(() => ({ datastoreId, client: provided ?? new QueryClient() }));
+    if (!provided && datastoreId && scoped.datastoreId !== datastoreId) {
+        setScoped({ datastoreId, client: new QueryClient() });
+    }
+    return provided ?? scoped.client;
+}
+function CoreProviders(props) {
+    const { children, mantaBaseUrl, queryClient, onUnauthorized, knowledgeGraphPollIntervalMs } = props;
+    const { datastoreId: routeDatastoreId } = useActiveDatastore();
+    const datastoreId = props.datastoreId ?? routeDatastoreId;
+    const client = useDatastoreScopedClient(queryClient, datastoreId);
+    // KnowledgeGraphStateProvider is mounted per datastore further down each tree, so the poll interval reaches it
+    // by context rather than by a prop on every mount site.
+    return (_jsx(KnowledgeGraphPollingProvider, { intervalMs: knowledgeGraphPollIntervalMs, children: _jsx(QueryClientProvider, { client: client, children: _jsx(MantaClientProvider, { mantaBaseUrl: mantaBaseUrl, onUnauthorized: onUnauthorized, datastoreId: datastoreId, children: _jsx(ShaclFormProvider, { children: _jsx(GenerateStructuredDataProvider, { children: _jsx(TooltipProvider, { delayDuration: 300, children: _jsx(TooltipStateProvider, { children: children }) }) }) }) }) }) }));
+}
+export function Providers(props) {
+    const { children, ...coreProps } = props;
+    return (_jsx(ActiveDatastoreProvider, { children: _jsx(ThemeProvider, { children: _jsx(CoreProviders, { ...coreProps, children: _jsx(ActiveDatastoreRouter, { children: _jsx(NuqsAdapter, { children: children }) }) }) }) }));
+}
+// IMPORTANT: Avoid redirects from embedded manta client
+export function EmbeddedChatProviders(props) {
+    return _jsx(CoreProviders, { ...props, onUnauthorized: () => { } });
+}

package/dist/providers/knowledge-graph-availability.d.ts

@@ -0,0 +1,8 @@
+export type KnowledgeGraphAvailability = "online" | "loading" | "offline" | "not-provisioned";
+export type AvailabilityInput = {
+    exists: boolean;
+    offline: boolean;
+    isLoaded: boolean;
+};
+export declare function deriveAvailability(state: AvailabilityInput): KnowledgeGraphAvailability;
+//# sourceMappingURL=knowledge-graph-availability.d.ts.map

package/dist/providers/knowledge-graph-availability.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"knowledge-graph-availability.d.ts","sourceRoot":"","sources":["../../src/providers/knowledge-graph-availability.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,0BAA0B,GAAG,QAAQ,GAAG,SAAS,GAAG,SAAS,GAAG,iBAAiB,CAAC;AAE9F,MAAM,MAAM,iBAAiB,GAAG;IAC9B,MAAM,EAAE,OAAO,CAAC;IAChB,OAAO,EAAE,OAAO,CAAC;IACjB,QAAQ,EAAE,OAAO,CAAC;CACnB,CAAC;AAEF,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,iBAAiB,GAAG,0BAA0B,CAMvF"}

package/dist/providers/knowledge-graph-availability.js

@@ -0,0 +1,9 @@
+export function deriveAvailability(state) {
+    if (!state.exists)
+        return "not-provisioned";
+    if (state.offline)
+        return "offline";
+    if (!state.isLoaded)
+        return "loading";
+    return "online";
+}

package/dist/providers/manta-client-context.d.ts

@@ -0,0 +1,16 @@
+import type { GraphQLClient } from "graphql-request";
+export type SparqlFetchOptions = {
+    signal?: AbortSignal;
+    factDomain?: "derived" | "explicit";
+};
+export type SparqlFetch = (query: string, options?: SparqlFetchOptions) => Promise<Response>;
+export type MantaClientProviderState = {
+    mantaBaseUrl: URL;
+    mantaClient: GraphQLClient;
+    sparqlFetch: SparqlFetch;
+    onUnauthorized: () => void;
+    datastoreId: string | undefined;
+    datastorePath: (path: string) => string;
+};
+export declare const MantaClientProviderContext: import("react").Context<MantaClientProviderState | undefined>;
+//# sourceMappingURL=manta-client-context.d.ts.map

package/dist/providers/manta-client-context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"manta-client-context.d.ts","sourceRoot":"","sources":["../../src/providers/manta-client-context.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAGrD,MAAM,MAAM,kBAAkB,GAAG;IAC/B,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB,UAAU,CAAC,EAAE,SAAS,GAAG,UAAU,CAAC;CACrC,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,kBAAkB,KAAK,OAAO,CAAC,QAAQ,CAAC,CAAC;AAE7F,MAAM,MAAM,wBAAwB,GAAG;IACrC,YAAY,EAAE,GAAG,CAAC;IAClB,WAAW,EAAE,aAAa,CAAC;IAC3B,WAAW,EAAE,WAAW,CAAC;IACzB,cAAc,EAAE,MAAM,IAAI,CAAC;IAC3B,WAAW,EAAE,MAAM,GAAG,SAAS,CAAC;IAChC,aAAa,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC;CACzC,CAAC;AAEF,eAAO,MAAM,0BAA0B,+DAAiE,CAAC"}

package/dist/providers/manta-client-context.js

@@ -0,0 +1,2 @@
+import { createContext } from "react";
+export const MantaClientProviderContext = createContext(undefined);

package/dist/providers/think-chat-request.d.ts

@@ -0,0 +1,4 @@
+import type { PrepareSendMessagesRequestOptions, PrepareSendMessagesRequestResult } from "@cloudflare/think/react";
+import type { ChatUIMessage } from "@manta-eu/client/shared/index";
+export declare function prepareThinkChatSendRequest(options: Pick<PrepareSendMessagesRequestOptions<ChatUIMessage>, "messages">): PrepareSendMessagesRequestResult;
+//# sourceMappingURL=think-chat-request.d.ts.map

package/dist/providers/think-chat-request.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"think-chat-request.d.ts","sourceRoot":"","sources":["../../src/providers/think-chat-request.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iCAAiC,EAAE,gCAAgC,EAAE,MAAM,yBAAyB,CAAC;AACnH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAC;AAGnE,wBAAgB,2BAA2B,CACzC,OAAO,EAAE,IAAI,CAAC,iCAAiC,CAAC,aAAa,CAAC,EAAE,UAAU,CAAC,GAC1E,gCAAgC,CASlC"}

package/dist/providers/think-chat-request.js

@@ -0,0 +1,11 @@
+import { isThinkCompactionMessage } from "../lib/think-compaction.js";
+export function prepareThinkChatSendRequest(options) {
+    // Session compaction summaries are virtual, server-owned messages. Sending
+    // them back makes Think persist the overlay as a duplicate transcript row.
+    // Upstream: https://github.com/cloudflare/agents/issues/1984 and https://github.com/cloudflare/agents/pull/2036
+    return {
+        body: {
+            messages: options.messages.filter((message) => !isThinkCompactionMessage(message)),
+        },
+    };
+}

package/dist/rdfox-explain/AbsentFactNotice.d.ts

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

package/dist/rdfox-explain/AbsentFactNotice.d.ts.map

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

package/dist/rdfox-explain/AbsentFactNotice.js

@@ -0,0 +1,6 @@
+import { jsx as _jsx } from "react/jsx-runtime";
+import { cn } from "#style";
+export function AbsentFactNotice(props) {
+    const { className } = props;
+    return (_jsx("p", { className: cn("typography-small text-muted-foreground", className), children: "This fact is not in the graph. Nothing asserts it and no rule derives it." }));
+}

package/dist/rdfox-explain/DatalogCode.d.ts

@@ -0,0 +1,6 @@
+export type DatalogCodeProps = {
+    code: string;
+    className?: string;
+};
+export declare function DatalogCode(props: DatalogCodeProps): import("react/jsx-runtime").JSX.Element;
+//# sourceMappingURL=DatalogCode.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"DatalogCode.d.ts","sourceRoot":"","sources":["../../src/rdfox-explain/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/rdfox-explain/DatalogCode.js

@@ -0,0 +1,73 @@
+import { jsx as _jsx } from "react/jsx-runtime";
+import { BLANK_NODE, booleanLiteralTokenTypes, builtinFunctionTokenTypes, delimiterTokenTypes, iriTokenTypes, keywordTokenTypes, LANGTAG, NOT, numericLiteralTokenTypes, operatorTokenTypes, stringLiteralTokenTypes, tokenizeDatalog, VARIABLE, } from "@manta-eu/datalog-parser";
+import { Fragment, useMemo } from "react";
+import { OntologyTermText } from "../ontology/OntologyTermText.js";
+import { cn } from "#style";
+function tokenNameSet(...tokenTypes) {
+    return new Set(tokenTypes.map((tokenType) => tokenType.name));
+}
+const predicateTokens = tokenNameSet(...iriTokenTypes);
+const defaultTokenClassName = "text-body-foreground";
+const tokenClassNamesByCategory = [
+    [iriTokenTypes, "typography-small-medium text-default-foreground"],
+    [numericLiteralTokenTypes, "text-primary"],
+    [booleanLiteralTokenTypes, "text-success-foreground"],
+    [[...keywordTokenTypes, ...builtinFunctionTokenTypes], "italic text-muted-foreground"],
+    [[...stringLiteralTokenTypes, BLANK_NODE, LANGTAG], defaultTokenClassName],
+    [delimiterTokenTypes, "text-placeholder-foreground"],
+    [operatorTokenTypes, "text-muted-foreground"],
+    [[VARIABLE], "text-warning-foreground"],
+    [[NOT], "typography-small-semibold text-error-foreground"],
+];
+const classNameByToken = new Map(tokenClassNamesByCategory.flatMap(([tokenTypes, className]) => [...tokenTypes].map((tokenType) => [tokenType.name, className])));
+function tokenClassName(tokenType) {
+    return classNameByToken.get(tokenType) ?? defaultTokenClassName;
+}
+export function DatalogCode(props) {
+    const { code, className } = props;
+    const segments = useMemo(() => highlightWithBlankNodes(code), [code]);
+    return _jsx("span", { className: cn("break-words font-mono", className), children: segments });
+}
+// The lexer fragments dotted skolem labels, so blank node terms are lifted out first.
+const blankNodeTermPattern = /(?<=^|[\s[(,])_:[\w-]+(?:\.[\w-]+)*/g;
+function highlightWithBlankNodes(code) {
+    const segments = [];
+    let cursor = 0;
+    for (const match of code.matchAll(blankNodeTermPattern)) {
+        if (match.index > cursor) {
+            segments.push(...highlightDatalog(code.slice(cursor, match.index), `${cursor}-`));
+        }
+        segments.push(_jsx(OntologyTermText, { term: match[0], className: "typography-small-medium text-default-foreground" }, `bnode-${match.index}`));
+        cursor = match.index + match[0].length;
+    }
+    if (cursor < code.length) {
+        segments.push(...highlightDatalog(code.slice(cursor), `${cursor}-`));
+    }
+    return segments;
+}
+function highlightDatalog(code, keyPrefix = "") {
+    const { tokens } = tokenizeDatalog(code);
+    const segments = [];
+    let cursor = 0;
+    tokens.forEach((token, index) => {
+        const start = token.startOffset;
+        const end = (token.endOffset ?? start) + 1;
+        const tokenName = token.tokenType.name;
+        const text = code.slice(start, end);
+        const className = tokenClassName(tokenName);
+        if (start > cursor) {
+            segments.push(_jsx(Fragment, { children: code.slice(cursor, start) }, `${keyPrefix}gap-${index}`));
+        }
+        if (predicateTokens.has(tokenName)) {
+            segments.push(_jsx(OntologyTermText, { term: text, className: className }, `${keyPrefix}token-${index}`));
+        }
+        else {
+            segments.push(_jsx("span", { className: className, children: text }, `${keyPrefix}token-${index}`));
+        }
+        cursor = end;
+    });
+    if (cursor < code.length) {
+        segments.push(_jsx(Fragment, { children: code.slice(cursor) }, `${keyPrefix}tail`));
+    }
+    return segments;
+}

package/dist/rdfox-explain/EntityChip.d.ts

@@ -0,0 +1,9 @@
+import { type LucideIcon } from "lucide-react";
+export type EntityChipProps = {
+    term: string;
+    typeTerm?: string;
+    icon?: LucideIcon;
+    className?: string;
+};
+export declare function EntityChip(props: EntityChipProps): import("react/jsx-runtime").JSX.Element;
+//# sourceMappingURL=EntityChip.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"EntityChip.d.ts","sourceRoot":"","sources":["../../src/rdfox-explain/EntityChip.tsx"],"names":[],"mappings":"AAAA,OAAO,EAAa,KAAK,UAAU,EAAE,MAAM,cAAc,CAAC;AAK1D,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,2CAsBhD"}

package/dist/rdfox-explain/EntityChip.js

@@ -0,0 +1,9 @@
+import { jsx as _jsx, jsxs as _jsxs } from "react/jsx-runtime";
+import { Building2 } from "lucide-react";
+import { OntologyTermText } from "../ontology/OntologyTermText.js";
+import { Badge } from "#components/badge/index";
+import { cn } from "#style";
+export function EntityChip(props) {
+    const { term, typeTerm, icon: Icon = Building2, className } = props;
+    return (_jsxs(Badge, { size: "base", className: cn("min-w-0 shrink rounded-full border border-default-border bg-accent text-default-foreground", className), 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" }) }))] }));
+}

package/dist/rdfox-explain/ExplainCompactView.d.ts

@@ -0,0 +1,14 @@
+import type { ReactNode } from "react";
+import type { ExplainDisplayMode, NormalizedTree } from "./tree-model.js";
+export type ExplainCompactViewProps = {
+    tree: NormalizedTree;
+    mode: ExplainDisplayMode;
+    onModeChange: (mode: ExplainDisplayMode) => void;
+    subjectTerm: string;
+    explainLink?: ReactNode;
+    substitutedFactNotice?: ReactNode;
+    outdatedFactNotice?: ReactNode;
+    className?: string;
+};
+export declare function ExplainCompactView(props: ExplainCompactViewProps): import("react/jsx-runtime").JSX.Element;
+//# sourceMappingURL=ExplainCompactView.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ExplainCompactView.d.ts","sourceRoot":"","sources":["../../src/rdfox-explain/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/rdfox-explain/ExplainCompactView.js

@@ -0,0 +1,9 @@
+import { jsx as _jsx, jsxs as _jsxs } from "react/jsx-runtime";
+import { ConclusionCard } from "./conclusion/index.js";
+import { ProofTree } from "./proof-tree/index.js";
+import { ProofSubjectHeader } from "./ProofSubjectHeader.js";
+import { cn } from "#style";
+export function ExplainCompactView(props) {
+    const { tree, mode, onModeChange, subjectTerm, explainLink, substitutedFactNotice, outdatedFactNotice, className } = props;
+    return (_jsxs("div", { className: cn("space-y-2", className), children: [substitutedFactNotice, _jsx(ConclusionCard, { tree: tree, mode: mode, onModeChange: onModeChange }), outdatedFactNotice, _jsx(ProofSubjectHeader, { tree: tree, subjectTerm: subjectTerm, className: "pt-0.5" }), _jsx(ProofTree, { tree: tree, mode: mode }), explainLink && _jsx("div", { className: "flex justify-end px-0.5 pt-0.5", children: explainLink })] }));
+}

package/dist/rdfox-explain/ExplainFullView.d.ts

@@ -0,0 +1,12 @@
+import { type ReactNode } from "react";
+import type { ExplainDisplayMode, NormalizedTree } from "./tree-model.js";
+export type ExplainFullViewProps = {
+    tree: NormalizedTree;
+    substitutedFactNotice?: ReactNode;
+    mode: ExplainDisplayMode;
+    onModeChange: (mode: ExplainDisplayMode) => void;
+    subjectTerm: string;
+    className?: string;
+};
+export declare function ExplainFullView(props: ExplainFullViewProps): import("react/jsx-runtime").JSX.Element;
+//# sourceMappingURL=ExplainFullView.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ExplainFullView.d.ts","sourceRoot":"","sources":["../../src/rdfox-explain/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/rdfox-explain/ExplainFullView.js

@@ -0,0 +1,17 @@
+import { jsx as _jsx, jsxs as _jsxs } from "react/jsx-runtime";
+import { useEffect, useState } from "react";
+import { ConclusionCard } from "./conclusion/index.js";
+import { ExplainInspector } from "./inspector/index.js";
+import { hasVisiblePremises, ProofTree } from "./proof-tree/index.js";
+import { ProofSubjectHeader } from "./ProofSubjectHeader.js";
+import { cn } from "#style";
+export function ExplainFullView(props) {
+    const { tree, mode, onModeChange, subjectTerm, substitutedFactNotice, className } = props;
+    const [selectedNodeId, setSelectedNodeId] = useState(tree.root.id);
+    useEffect(() => {
+        setSelectedNodeId((current) => (tree.byId[current] ? current : tree.root.id));
+    }, [tree]);
+    const selectedNode = tree.byId[selectedNodeId] ?? tree.root;
+    const showsProof = hasVisiblePremises(tree);
+    return (_jsxs("div", { className: cn("flex min-h-0 flex-col overflow-hidden", className), children: [_jsxs("div", { className: "shrink-0 space-y-2 border-b border-muted-border p-3.5", children: [substitutedFactNotice, _jsx(ConclusionCard, { tree: tree, mode: mode, onModeChange: onModeChange }), _jsx(ProofSubjectHeader, { tree: tree, subjectTerm: subjectTerm })] }), _jsxs("div", { className: cn("grid min-h-0 flex-1", showsProof && "grid-cols-2"), children: [showsProof && (_jsx("div", { className: "min-h-0 overflow-auto border-r border-muted-border px-3.5 py-3", children: _jsx(ProofTree, { tree: tree, mode: mode, selectable: true, selectedNodeId: selectedNode.id, onSelect: (id) => setSelectedNodeId((current) => (current === id ? tree.root.id : id)) }) })), _jsx("div", { className: "min-h-0 overflow-auto px-3.5 py-3", children: _jsx(ExplainInspector, { tree: tree, selectedNodeId: selectedNode.id }) })] })] }));
+}

package/dist/rdfox-explain/ExplainStates.d.ts

@@ -0,0 +1,13 @@
+export type ExplainRouteSkeletonProps = {
+    className?: string;
+};
+export declare function ExplainRouteSkeleton(props: ExplainRouteSkeletonProps): import("react/jsx-runtime").JSX.Element;
+export type ExplainRouteMessageVariant = "empty" | "error";
+export type ExplainRouteMessageProps = {
+    variant: ExplainRouteMessageVariant;
+    title: string;
+    detail?: string;
+    className?: string;
+};
+export declare function ExplainRouteMessage(props: ExplainRouteMessageProps): import("react/jsx-runtime").JSX.Element;
+//# sourceMappingURL=ExplainStates.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ExplainStates.d.ts","sourceRoot":"","sources":["../../src/rdfox-explain/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/rdfox-explain/ExplainStates.js

@@ -0,0 +1,19 @@
+import { jsx as _jsx, jsxs as _jsxs } from "react/jsx-runtime";
+import { Database, TriangleAlert } from "lucide-react";
+import { EmptyState } from "#components/empty-state/index";
+import { Skeleton } from "#components/skeleton/index";
+import { cn } from "#style";
+const skeletonRowWidths = ["w-1/2", "w-2/3", "w-3/5", "w-1/2", "w-2/3", "w-2/5"];
+export function ExplainRouteSkeleton(props) {
+    const { className } = props;
+    return (_jsx("div", { className: cn("flex min-h-0 flex-col overflow-hidden", className), "aria-busy": "true", "aria-label": "Loading explanation", children: _jsxs("div", { className: "grid min-h-0 flex-1 grid-cols-2", children: [_jsxs("div", { className: "flex min-h-0 flex-col gap-2 overflow-hidden border-r border-muted-border px-3.5 py-3", children: [_jsxs("div", { className: "flex items-center gap-2 px-0.5", children: [_jsx(Skeleton, { className: "h-4 w-14" }), _jsx(Skeleton, { className: "h-5 w-28 rounded-full" })] }), _jsx("div", { className: "overflow-hidden rounded-md border border-muted-border bg-card/60", children: skeletonRowWidths.map((width, index) => (_jsxs("div", { className: "flex items-center gap-3 border-t border-muted-border px-3 py-2.5 first:border-t-0", children: [_jsx(Skeleton, { className: "size-4 rounded-full" }), _jsx(Skeleton, { className: cn("h-3.5", width) }), _jsx(Skeleton, { className: "ml-auto h-5 w-12 rounded-full" })] }, width + index))) })] }), _jsxs("div", { className: "flex min-h-0 flex-col gap-4 overflow-hidden px-4 py-3", children: [_jsxs("div", { className: "flex flex-col gap-2", children: [_jsx(Skeleton, { className: "h-5 w-48" }), _jsx(Skeleton, { className: "h-3.5 w-full" }), _jsx(Skeleton, { className: "h-3.5 w-2/3" })] }), _jsx(Skeleton, { className: "h-8 w-full" }), _jsxs("div", { className: "flex flex-col gap-2", children: [_jsx(Skeleton, { className: "h-3 w-28" }), _jsx(Skeleton, { className: "h-28 w-full" })] }), _jsxs("div", { className: "flex flex-col gap-2", children: [_jsx(Skeleton, { className: "h-3 w-28" }), _jsx(Skeleton, { className: "h-20 w-full" })] })] })] }) }));
+}
+const messageIcons = {
+    empty: Database,
+    error: TriangleAlert,
+};
+export function ExplainRouteMessage(props) {
+    const { variant, title, detail, className } = props;
+    const Icon = messageIcons[variant];
+    return (_jsx("div", { className: cn("flex min-h-0 flex-1 flex-col overflow-hidden", className), children: _jsx(EmptyState, { icon: Icon, title: title, description: detail, className: cn("h-full", variant === "error" && "text-error-foreground"), iconClassName: variant === "error" ? "text-error-foreground" : undefined }) }));
+}

package/dist/rdfox-explain/ExplainTag.d.ts

@@ -0,0 +1,12 @@
+import type { LucideIcon } from "lucide-react";
+import type { ReactNode } from "react";
+export type ExplainTagVariant = "computes" | "guard" | "absence" | "result" | "success" | "neutral";
+export type ExplainTagProps = {
+    variant: ExplainTagVariant;
+    icon?: LucideIcon;
+    title?: string;
+    children?: ReactNode;
+    className?: string;
+};
+export declare function ExplainTag(props: ExplainTagProps): import("react/jsx-runtime").JSX.Element;
+//# sourceMappingURL=ExplainTag.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ExplainTag.d.ts","sourceRoot":"","sources":["../../src/rdfox-explain/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/rdfox-explain/ExplainTag.js

@@ -0,0 +1,23 @@
+import { jsx as _jsx, jsxs as _jsxs } from "react/jsx-runtime";
+import { Badge } from "#components/badge/index";
+import { cn } from "#style";
+const explainTagSpecs = {
+    computes: "border-warning-foreground/30 bg-warning-foreground/10 text-warning-foreground",
+    guard: "border-muted-foreground/30 bg-muted-foreground/10 text-muted-foreground",
+    absence: "border-error-foreground/30 bg-error-foreground/10 text-error-foreground",
+    result: "border-primary/30 bg-primary/10 text-primary",
+    success: "border-success-foreground/30 bg-success-foreground/10 text-success-foreground",
+    neutral: "border-muted-border bg-muted text-muted-foreground",
+};
+const explainTagLabels = {
+    computes: "Computes",
+    guard: "Guard",
+    absence: "Absence",
+    result: "Result",
+    success: "Success",
+    neutral: "Neutral",
+};
+export function ExplainTag(props) {
+    const { variant, icon: Icon, title, children, className } = props;
+    return (_jsxs(Badge, { size: "sm", title: title, className: cn("border", explainTagSpecs[variant], className), children: [Icon && _jsx(Icon, {}), children ?? explainTagLabels[variant]] }));
+}

package/dist/rdfox-explain/FactValue.d.ts

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"FactValue.d.ts","sourceRoot":"","sources":["../../src/rdfox-explain/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/rdfox-explain/FactValue.js

@@ -0,0 +1,43 @@
+import { jsx as _jsx, jsxs as _jsxs } from "react/jsx-runtime";
+import { isDateTimeLiteral, isLiteralTerm, isNumericRdfValue, literalToDisplayText, parseBooleanLiteral, parseDatalogTermText, } from "@manta-eu/datalog-parser";
+import { isPresent } from "@manta-eu/lib/present";
+import { Check, Sparkles, X } from "lucide-react";
+import { useMemo } from "react";
+import { formatMeasureValue } from "../lib/measure.js";
+import { MaskedValue, maskText } from "../ontology/MaskedValue.js";
+import { ontologyTermIri } from "../ontology/OntologyTermText.js";
+import { isBlankNode } from "../ontology/skolem.js";
+import { usePersonalDataResolution } from "../ontology/use-personal-data.js";
+import { EntityChip } from "./EntityChip.js";
+import { useFactMeasure } from "./use-fact-measure.js";
+import { ValuePill } from "./ValuePill.js";
+import { cn } from "#style";
+export function FactValue(props) {
+    const { value, predicate, className } = props;
+    const measure = useFactMeasure(predicate);
+    const personalData = usePersonalDataResolution(predicate);
+    const term = useMemo(() => parseDatalogTermText(value), [value]);
+    const literal = isPresent(term) && isLiteralTerm(term) ? term : undefined;
+    const boolean = parseBooleanLiteral(value);
+    const isEntityValue = isBlankNode(value) || isPresent(ontologyTermIri(value));
+    if (personalData.status !== "resolved" && !isEntityValue) {
+        return _jsx("span", { className: cn("tracking-wider text-muted-foreground", className), children: maskText });
+    }
+    if (personalData.status === "resolved" && isPresent(personalData.categories) && !isEntityValue) {
+        return _jsx(MaskedValue, { value: literal?.value ?? value, categories: personalData.categories, className: className });
+    }
+    if (boolean !== undefined) {
+        const Icon = boolean ? Check : X;
+        return (_jsxs("span", { className: cn("inline-flex items-center gap-1 typography-small-medium", boolean ? "text-success-foreground" : "text-muted-foreground", className), children: [_jsx(Icon, { className: "size-3.5" }), boolean ? "true" : "false"] }));
+    }
+    if (isNumericRdfValue(value)) {
+        return _jsx(ValuePill, { className: className, children: formatMeasureValue(value, measure) });
+    }
+    if (literal) {
+        return (_jsx(ValuePill, { className: className, children: isDateTimeLiteral(literal) ? literalToDisplayText(literal) : literal.value }));
+    }
+    if (isEntityValue) {
+        return _jsx(EntityChip, { term: value, icon: Sparkles, className: className });
+    }
+    return _jsx(ValuePill, { className: className, children: value });
+}

package/dist/rdfox-explain/NumDot.d.ts

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"NumDot.d.ts","sourceRoot":"","sources":["../../src/rdfox-explain/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/rdfox-explain/NumDot.js

@@ -0,0 +1,6 @@
+import { jsx as _jsx } from "react/jsx-runtime";
+import { cn } from "#style";
+export function NumDot(props) {
+    const { number, active, className } = props;
+    return (_jsx("span", { className: cn("inline-flex size-4 shrink-0 items-center justify-center rounded-full typography-tiny-semibold leading-none", active ? "bg-primary text-primary-foreground" : "border border-default-border bg-accent text-muted-foreground", className), children: number }));
+}

package/dist/rdfox-explain/PanelLabel.d.ts

@@ -0,0 +1,9 @@
+import type { ReactNode } from "react";
+export type PanelLabelProps = {
+    children: ReactNode;
+    right?: ReactNode;
+    tickClassName?: string;
+    className?: string;
+};
+export declare function PanelLabel(props: PanelLabelProps): import("react/jsx-runtime").JSX.Element;
+//# sourceMappingURL=PanelLabel.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"PanelLabel.d.ts","sourceRoot":"","sources":["../../src/rdfox-explain/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/rdfox-explain/PanelLabel.js

@@ -0,0 +1,7 @@
+import { jsx as _jsx, jsxs as _jsxs } from "react/jsx-runtime";
+import { sectionLabelClass } from "./explain-styles.js";
+import { cn } from "#style";
+export function PanelLabel(props) {
+    const { children, right, tickClassName, className } = props;
+    return (_jsxs("div", { className: cn("flex items-center justify-between gap-2", className), children: [_jsxs("span", { className: "flex items-center gap-2", children: [_jsx("span", { "aria-hidden": true, className: cn("w-[3px] shrink-0 self-stretch rounded-[2px]", tickClassName ?? "bg-primary") }), _jsx("span", { className: cn(sectionLabelClass, "text-body-foreground"), children: children })] }), right] }));
+}

package/dist/rdfox-explain/ProofSubjectHeader.d.ts

@@ -0,0 +1,8 @@
+import { type NormalizedTree } from "./tree-model.js";
+export type ProofSubjectHeaderProps = {
+    tree: NormalizedTree;
+    subjectTerm: string;
+    className?: string;
+};
+export declare function ProofSubjectHeader(props: ProofSubjectHeaderProps): import("react/jsx-runtime").JSX.Element | null;
+//# sourceMappingURL=ProofSubjectHeader.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ProofSubjectHeader.d.ts","sourceRoot":"","sources":["../../src/rdfox-explain/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/rdfox-explain/ProofSubjectHeader.js

@@ -0,0 +1,12 @@
+import { jsx as _jsx, jsxs as _jsxs } from "react/jsx-runtime";
+import { EntityChip } from "./EntityChip.js";
+import { PanelLabel } from "./PanelLabel.js";
+import { hasVisiblePremises } from "./proof-tree/index.js";
+import { subjectTypeTerm } from "./tree-model.js";
+import { cn } from "#style";
+export function ProofSubjectHeader(props) {
+    const { tree, subjectTerm, className } = props;
+    if (!hasVisiblePremises(tree))
+        return null;
+    return (_jsxs("div", { className: cn("flex items-center gap-2 px-0.5", className), children: [_jsx(PanelLabel, { className: "shrink-0", children: "Because, for" }), _jsx(EntityChip, { term: subjectTerm, typeTerm: subjectTypeTerm(tree, subjectTerm) })] }));
+}

package/dist/rdfox-explain/ProvenanceBadge.d.ts

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"ProvenanceBadge.d.ts","sourceRoot":"","sources":["../../src/rdfox-explain/ProvenanceBadge.tsx"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAiBnD,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/ProvenanceBadge.js

@@ -0,0 +1,16 @@
+import { jsx as _jsx, jsxs as _jsxs } from "react/jsx-runtime";
+import { Ban, Database, Sparkles, SquareFunction } 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" },
+    absent: { label: "Not in the graph", icon: Ban, className: "text-error-foreground" },
+};
+export function ProvenanceBadge(props) {
+    const { provenance, className } = props;
+    const spec = provenanceBadgeSpecs[provenance];
+    const Icon = spec.icon;
+    return (_jsxs(Badge, { size: "base", className: cn("rounded-full border border-muted-border bg-muted", spec.className, className), children: [_jsx(Icon, {}), spec.label] }));
+}

package/dist/rdfox-explain/RDFoxExplainState.d.ts

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

package/dist/rdfox-explain/RDFoxExplainState.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"RDFoxExplainState.d.ts","sourceRoot":"","sources":["../../src/rdfox-explain/RDFoxExplainState.tsx"],"names":[],"mappings":"AAEA,MAAM,MAAM,sBAAsB,GAAG;IACnC,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,sBAAsB,2CAS9D"}

package/dist/rdfox-explain/RDFoxExplainState.js

@@ -0,0 +1,6 @@
+import { jsx as _jsx, jsxs as _jsxs } from "react/jsx-runtime";
+import { cn } from "#style";
+export function RDFoxExplainState(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/rdfox-explain/RuleVariableTypes.d.ts

@@ -0,0 +1,6 @@
+export type RuleVariableTypesProps = {
+    ruleText: string;
+    className?: string;
+};
+export declare function RuleVariableTypes(props: RuleVariableTypesProps): import("react/jsx-runtime").JSX.Element | null;
+//# sourceMappingURL=RuleVariableTypes.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"RuleVariableTypes.d.ts","sourceRoot":"","sources":["../../src/rdfox-explain/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"}