@manta-eu/react 0.1.0

package/dist/rdfox-explain/RuleVariableTypes.js

@@ -0,0 +1,40 @@
+import { jsx as _jsx, jsxs as _jsxs } from "react/jsx-runtime";
+import { collectVariableTypeEvidence, resolveVariableTypes } from "@manta-eu/datalog-parser";
+import { isPresent } from "@manta-eu/lib/present";
+import { isNotNil } from "ramda";
+import { useMemo } from "react";
+import { humanizePredicateName } from "../graph/graph-utils.js";
+import { useOntologyTerms } from "../hooks/use-ontology-terms.js";
+import { ontologyTermIri, OntologyTermText } from "../ontology/OntologyTermText.js";
+import { parseDatalogRuleCached } from "../rules/datalog-cache.js";
+import { article } from "../rules/rule-narrative-format.js";
+import { cn } from "#style";
+function typeFallbackLabel(typeTerm) {
+    return humanizePredicateName(typeTerm);
+}
+export function RuleVariableTypes(props) {
+    const { ruleText, className } = props;
+    const evidence = useMemo(() => {
+        const ast = parseDatalogRuleCached(ruleText).ast;
+        return ast ? collectVariableTypeEvidence(ast) : [];
+    }, [ruleText]);
+    const predicateIris = useMemo(() => {
+        const iris = evidence.flatMap((entry) => entry.predicateEvidence.map((predicateEvidence) => ontologyTermIri(predicateEvidence.term)));
+        return [...new Set(iris.filter(isNotNil))];
+    }, [evidence]);
+    const predicateTerms = useOntologyTerms(predicateIris);
+    const variableTypes = useMemo(() => resolveVariableTypes(evidence, (term) => {
+        const iri = ontologyTermIri(term);
+        return iri ? predicateTerms.get(iri) : undefined;
+    }), [evidence, predicateTerms]);
+    const typeIris = useMemo(() => [...new Set(variableTypes.map((variableType) => ontologyTermIri(variableType.typeTerm)).filter(isNotNil))], [variableTypes]);
+    const typeTerms = useOntologyTerms(typeIris);
+    if (!isPresent(variableTypes))
+        return null;
+    return (_jsx("div", { className: cn("flex flex-wrap items-baseline gap-x-3.5 gap-y-1", className), children: variableTypes.map((variableType) => {
+            const typeIri = ontologyTermIri(variableType.typeTerm);
+            const resolvedLabel = typeIri ? typeTerms.get(typeIri)?.label : undefined;
+            const label = resolvedLabel ?? typeFallbackLabel(variableType.typeTerm);
+            return (_jsxs("span", { className: "typography-tiny", children: [_jsx("span", { className: "font-mono text-warning-foreground", children: variableType.variable }), _jsxs("span", { className: "text-muted-foreground", children: [" is ", article(label), " "] }), _jsx(OntologyTermText, { term: variableType.typeTerm, fallbackLabel: typeFallbackLabel(variableType.typeTerm), resolveInstanceLabel: false, className: "typography-tiny-medium text-body-foreground" })] }, variableType.variable));
+        }) }));
+}

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

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

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

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

@@ -0,0 +1,6 @@
+import { jsx as _jsx } from "react/jsx-runtime";
+import { cn } from "#style";
+export function StoredFactNotice(props) {
+    const { className } = props;
+    return (_jsx("p", { className: cn("typography-small text-muted-foreground", className), children: "This fact is stored directly. No rule produced it." }));
+}

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

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

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

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

@@ -0,0 +1,13 @@
+import { jsx as _jsx } from "react/jsx-runtime";
+import { termTextsEqual } from "@manta-eu/datalog-parser";
+import { Replace } from "lucide-react";
+import { predicateLabel } from "../rules/rule-narrative-format.js";
+import { Banner } from "#components/banner/index";
+export function SubstitutedFactNotice(props) {
+    const { requested, explained, className } = props;
+    if (!explained || requested.predicate !== explained.predicate)
+        return null;
+    if (termTextsEqual(requested.object, explained.object) !== false)
+        return null;
+    return (_jsx(Banner, { size: "loose", type: "muted", icon: Replace, label: `No fact matches ${predicateLabel(requested.predicate ?? "rdf:type")} ${requested.object}`, description: "Explaining the value the graph holds instead.", className: className }));
+}

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

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

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

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

@@ -0,0 +1,7 @@
+import { jsx as _jsx } from "react/jsx-runtime";
+import { Badge } from "#components/badge/index";
+import { cn } from "#style";
+export function ValuePill(props) {
+    const { children, className } = props;
+    return (_jsx(Badge, { size: "base", className: cn("min-w-0 shrink border border-muted-border bg-muted font-mono text-default-foreground", className), children: _jsx("span", { className: "min-w-0 truncate", children: children }) }));
+}

package/dist/rdfox-explain/busy-aggregate-fixture.d.ts

@@ -0,0 +1,7 @@
+/**
+ * Inner atom grounds ?x to 4 while the AS target is 10, so "?x → 4" can only
+ * come from walking the aggregate's atoms (not leaking the AS value).
+ */
+export declare const busyAggregateRule = ":busy[?c, true] :- :Company[?c], AGGREGATE(:clicks[?c, ?x] ON ?c BIND SUM(?x) AS ?total), FILTER(?total > 5) .";
+export declare const busyAggregateGrounded = ":busy[:C_1, true] :- :Company[:C_1], AGGREGATE(:clicks[:C_1, 4] ON :C_1 BIND SUM(4) AS 10), FILTER(10 > 5) .";
+//# sourceMappingURL=busy-aggregate-fixture.d.ts.map

package/dist/rdfox-explain/busy-aggregate-fixture.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"busy-aggregate-fixture.d.ts","sourceRoot":"","sources":["../../src/rdfox-explain/busy-aggregate-fixture.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,eAAO,MAAM,iBAAiB,mHACoF,CAAC;AAEnH,eAAO,MAAM,qBAAqB,iHAC8E,CAAC"}

package/dist/rdfox-explain/busy-aggregate-fixture.js

@@ -0,0 +1,6 @@
+/**
+ * Inner atom grounds ?x to 4 while the AS target is 10, so "?x → 4" can only
+ * come from walking the aggregate's atoms (not leaking the AS value).
+ */
+export const busyAggregateRule = ":busy[?c, true] :- :Company[?c], AGGREGATE(:clicks[?c, ?x] ON ?c BIND SUM(?x) AS ?total), FILTER(?total > 5) .";
+export const busyAggregateGrounded = ":busy[:C_1, true] :- :Company[:C_1], AGGREGATE(:clicks[:C_1, 4] ON :C_1 BIND SUM(4) AS 10), FILTER(10 > 5) .";

package/dist/rdfox-explain/conclusion/ConclusionCard.d.ts

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

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

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

@@ -0,0 +1,25 @@
+import { jsx as _jsx, jsxs as _jsxs } from "react/jsx-runtime";
+import { Sparkles } from "lucide-react";
+import { FactValue } from "../FactValue.js";
+import { ProvenanceBadge } from "../ProvenanceBadge.js";
+import { RuleVariableTypes } from "../RuleVariableTypes.js";
+import { isTypeFact } from "../tree-model.js";
+import { ConclusionSubtitle } from "./ConclusionSubtitle.js";
+import { Tabs, TabsList, TabsTrigger } from "#components/tabs/index";
+import { OntologyTermText } from "#ontology/OntologyTermText";
+import { classLabel, predicateLabel } from "#rules/rule-narrative-format";
+import { cn } from "#style";
+const displayModeOptions = [
+    { value: "labels", label: "Labels" },
+    { value: "datalog", label: "Datalog" },
+];
+export function ConclusionCard(props) {
+    const { tree, mode, onModeChange, className } = props;
+    const root = tree.root;
+    const titleTerm = isTypeFact(root) ? root.spo?.object : root.spo?.predicate;
+    return (_jsxs("div", { className: cn("rounded-md border border-default-border bg-card px-3.5 py-4", className), children: [_jsxs("div", { className: "flex items-center gap-3", children: [_jsx("span", { className: "flex size-8 shrink-0 items-center justify-center rounded-sm bg-primary/15 text-primary", children: _jsx(Sparkles, { className: "size-4" }) }), _jsxs("div", { className: "min-w-0 flex-1", children: [_jsxs("div", { className: "flex items-baseline gap-2.5", children: [_jsx("span", { className: "truncate typography-small-semibold text-default-foreground first-letter:uppercase", children: titleTerm ? (_jsx(OntologyTermText, { term: titleTerm, fallbackLabel: isTypeFact(root) ? classLabel(titleTerm) : predicateLabel(titleTerm), className: "no-underline" })) : (root.display) }), root.spo && !isTypeFact(root) && (_jsx(FactValue, { value: root.spo.object, predicate: root.spo.predicate, className: "max-w-[50%] shrink-0" }))] }), _jsx("div", { className: "mt-0.5 truncate typography-tiny text-muted-foreground", children: mode === "datalog" ? (_jsx("span", { className: "font-mono", children: root.display })) : (_jsx(ConclusionSubtitle, { tree: tree })) })] }), _jsx(ProvenanceBadge, { provenance: root.provenance ?? "derived" }), onModeChange && (_jsx(Tabs, { size: "small", value: mode, onValueChange: (next) => {
+                            const option = displayModeOptions.find((candidate) => candidate.value === next);
+                            if (option)
+                                onModeChange(option.value);
+                        }, children: _jsx(TabsList, { children: displayModeOptions.map((option) => (_jsx(TabsTrigger, { value: option.value, children: option.label }, option.value))) }) }))] }), mode === "datalog" && root.rule && _jsx(RuleVariableTypes, { ruleText: root.rule, className: "mt-2.5" })] }));
+}

package/dist/rdfox-explain/conclusion/ConclusionSubtitle.d.ts

@@ -0,0 +1,6 @@
+import type { NormalizedTree } from "../tree-model.js";
+export type ConclusionSubtitleProps = {
+    tree: NormalizedTree;
+};
+export declare function ConclusionSubtitle(props: ConclusionSubtitleProps): import("react/jsx-runtime").JSX.Element;
+//# sourceMappingURL=ConclusionSubtitle.d.ts.map

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

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

package/dist/rdfox-explain/conclusion/ConclusionSubtitle.js

@@ -0,0 +1,16 @@
+import { jsx as _jsx, Fragment as _Fragment, jsxs as _jsxs } from "react/jsx-runtime";
+import { hasVisiblePremises } from "../proof-tree/index.js";
+import { OntologyTermText } from "#ontology/OntologyTermText";
+export function ConclusionSubtitle(props) {
+    const { tree } = props;
+    const root = tree.root;
+    const hasPremises = hasVisiblePremises(tree);
+    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)
+        return _jsxs("span", { children: ["Stored", subject, ", asserted directly in the graph"] });
+    if (hasPremises)
+        return _jsx("span", { children: "Derived because everything below is true" });
+    return _jsxs("span", { children: ["Derived", subject, " by a rule"] });
+}

package/dist/rdfox-explain/conclusion/index.d.ts

@@ -0,0 +1,2 @@
+export * from "./ConclusionCard.js";
+//# sourceMappingURL=index.d.ts.map

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

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

package/dist/rdfox-explain/conclusion/index.js

@@ -0,0 +1 @@
+export * from "./ConclusionCard.js";

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

@@ -0,0 +1,4 @@
+export declare const selectionHighlightClass = "border-l-primary bg-primary/10";
+export declare const datalogTextClass = "truncate font-mono typography-small";
+export declare const sectionLabelClass = "typography-tiny-semibold uppercase tracking-wider";
+//# sourceMappingURL=explain-styles.d.ts.map

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

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

@@ -0,0 +1,3 @@
+export const selectionHighlightClass = "border-l-primary bg-primary/10";
+export const datalogTextClass = "truncate font-mono typography-small";
+export const sectionLabelClass = "typography-tiny-semibold uppercase tracking-wider";

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

@@ -0,0 +1,2 @@
+export declare function factTokenText(token: string): string;
+//# sourceMappingURL=fact-token.d.ts.map

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

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

package/dist/rdfox-explain/fact-token.js

@@ -0,0 +1,10 @@
+import { isLiteralTerm, isNumericLiteralTerm, literalToDisplayText, parseDatalogTermText, } from "@manta-eu/datalog-parser";
+import { match, P } from "ts-pattern";
+import { formatMeasureValue } from "../lib/measure.js";
+export function factTokenText(token) {
+    return match(parseDatalogTermText(token))
+        .returnType()
+        .with(P.when(isNumericLiteralTerm), (literal) => formatMeasureValue(literal.value))
+        .with(P.when(isLiteralTerm), (literal) => literalToDisplayText(literal))
+        .otherwise(() => token);
+}

package/dist/rdfox-explain/formula-hues.d.ts

@@ -0,0 +1,4 @@
+export declare function formulaHueClass(inputIndex: number): string;
+export declare function formulaHueEdgeClass(inputIndex: number): string;
+export declare function formulaHueTextClass(inputIndex: number): string;
+//# sourceMappingURL=formula-hues.d.ts.map

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

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

@@ -0,0 +1,32 @@
+const formulaHues = [
+    { full: "border-primary/40 bg-primary/15 text-primary", edge: "border-l-primary", text: "text-primary" },
+    {
+        full: "border-success-foreground/40 bg-success-foreground/15 text-success-foreground",
+        edge: "border-l-success-foreground",
+        text: "text-success-foreground",
+    },
+    {
+        full: "border-warning-foreground/40 bg-warning-foreground/15 text-warning-foreground",
+        edge: "border-l-warning-foreground",
+        text: "text-warning-foreground",
+    },
+    {
+        full: "border-info-foreground/40 bg-info-foreground/15 text-info-foreground",
+        edge: "border-l-info-foreground",
+        text: "text-info-foreground",
+    },
+    {
+        full: "border-error-foreground/40 bg-error-foreground/15 text-error-foreground",
+        edge: "border-l-error-foreground",
+        text: "text-error-foreground",
+    },
+];
+export function formulaHueClass(inputIndex) {
+    return formulaHues[inputIndex % formulaHues.length]?.full ?? "";
+}
+export function formulaHueEdgeClass(inputIndex) {
+    return formulaHues[inputIndex % formulaHues.length]?.edge ?? "";
+}
+export function formulaHueTextClass(inputIndex) {
+    return formulaHues[inputIndex % formulaHues.length]?.text ?? "";
+}

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

@@ -0,0 +1,27 @@
+export * from "./AbsentFactNotice.js";
+export * from "./DatalogCode.js";
+export * from "./EntityChip.js";
+export * from "./ExplainCompactView.js";
+export * from "./ExplainFullView.js";
+export * from "./ExplainStates.js";
+export * from "./ExplainTag.js";
+export * from "./FactValue.js";
+export * from "./NumDot.js";
+export * from "./PanelLabel.js";
+export * from "./ProofSubjectHeader.js";
+export * from "./ProvenanceBadge.js";
+export * from "./RDFoxExplainState.js";
+export * from "./RuleVariableTypes.js";
+export * from "./StoredFactNotice.js";
+export * from "./SubstitutedFactNotice.js";
+export * from "./ValuePill.js";
+export * from "./conclusion/index.js";
+export * from "./explain-styles.js";
+export * from "./fact-token.js";
+export * from "./formula-hues.js";
+export * from "./inspector/index.js";
+export * from "./proof-tree/index.js";
+export * from "./rule-presentation.js";
+export * from "./tree-model.js";
+export * from "./use-fact-measure.js";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/rdfox-explain/index.ts"],"names":[],"mappings":"AAAA,cAAc,oBAAoB,CAAC;AACnC,cAAc,eAAe,CAAC;AAC9B,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,qBAAqB,CAAC;AACpC,cAAc,qBAAqB,CAAC;AACpC,cAAc,oBAAoB,CAAC;AACnC,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/index.js

@@ -0,0 +1,26 @@
+export * from "./AbsentFactNotice.js";
+export * from "./DatalogCode.js";
+export * from "./EntityChip.js";
+export * from "./ExplainCompactView.js";
+export * from "./ExplainFullView.js";
+export * from "./ExplainStates.js";
+export * from "./ExplainTag.js";
+export * from "./FactValue.js";
+export * from "./NumDot.js";
+export * from "./PanelLabel.js";
+export * from "./ProofSubjectHeader.js";
+export * from "./ProvenanceBadge.js";
+export * from "./RDFoxExplainState.js";
+export * from "./RuleVariableTypes.js";
+export * from "./StoredFactNotice.js";
+export * from "./SubstitutedFactNotice.js";
+export * from "./ValuePill.js";
+export * from "./conclusion/index.js";
+export * from "./explain-styles.js";
+export * from "./fact-token.js";
+export * from "./formula-hues.js";
+export * from "./inspector/index.js";
+export * from "./proof-tree/index.js";
+export * from "./rule-presentation.js";
+export * from "./tree-model.js";
+export * from "./use-fact-measure.js";

package/dist/rdfox-explain/inspector/ExplainInspector.d.ts

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"ExplainInspector.d.ts","sourceRoot":"","sources":["../../../src/rdfox-explain/inspector/ExplainInspector.tsx"],"names":[],"mappings":"AAIA,OAAO,EAAuC,KAAK,cAAc,EAAE,MAAM,eAAe,CAAC;AAQzF,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,2CAiC5D"}

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

@@ -0,0 +1,22 @@
+import { jsx as _jsx, jsxs as _jsxs } from "react/jsx-runtime";
+import { isPresent } from "@manta-eu/lib/present";
+import { AbsentFactNotice } from "../AbsentFactNotice.js";
+import { presentRule } from "../rule-presentation.js";
+import { StoredFactNotice } from "../StoredFactNotice.js";
+import { consumingRuleNode, multipleSupports } 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 ruleNode = consumingRuleNode(tree, node);
+    const presentation = ruleNode?.rule ? presentRule(ruleNode.rule, ruleNode.groundedRule) : undefined;
+    const highlightedAtomIndex = node.id === ruleNode?.id ? undefined : node.bodyIndex;
+    const supports = multipleSupports(node);
+    const noticeClassName = "rounded-md border border-dashed p-4";
+    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), presentation && (_jsx(InspectorRule, { presentation: presentation, highlightedAtomIndex: highlightedAtomIndex, derivedFactText: ruleNode?.display })), !presentation && node.provenance === "absent" && (_jsx(AbsentFactNotice, { className: cn(noticeClassName, "border-error-foreground/40 bg-error/5") })), !presentation && node.provenance !== "absent" && (_jsx(StoredFactNotice, { className: cn(noticeClassName, "border-muted-border bg-background/50") })), presentation && isPresent(presentation.bindings) && _jsx(InspectorBindings, { presentation: presentation })] }));
+}

package/dist/rdfox-explain/inspector/InspectorBindings.d.ts

@@ -0,0 +1,6 @@
+import type { RulePresentation } from "../rule-presentation.js";
+export type InspectorBindingsProps = {
+    presentation: RulePresentation;
+};
+export declare function InspectorBindings(props: InspectorBindingsProps): import("react/jsx-runtime").JSX.Element;
+//# sourceMappingURL=InspectorBindings.d.ts.map

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

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

@@ -0,0 +1,50 @@
+import { jsxs as _jsxs, jsx as _jsx } from "react/jsx-runtime";
+import { isNumericRdfValue } from "@manta-eu/datalog-parser";
+import { humanCount } from "@manta-eu/lib/humanize";
+import { isPresent } from "@manta-eu/lib/present";
+import { useMemo } from "react";
+import { ExplainTag } from "../ExplainTag.js";
+import { formulaHueEdgeClass, formulaHueTextClass } from "../formula-hues.js";
+import { PanelLabel } from "../PanelLabel.js";
+import { useFactMeasures } from "../use-fact-measure.js";
+import { formatMeasureValue } from "#lib/measure";
+import { MaskedValue, maskText } from "#ontology/MaskedValue";
+import { OntologyTermText, ontologyTermIri } from "#ontology/OntologyTermText";
+import { usePersonalDataResolutionFor } from "#ontology/use-personal-data";
+import { cn } from "#style";
+function bindingValueColor(isResult, mono, hueText) {
+    if (isResult)
+        return "text-primary";
+    if (mono)
+        return hueText ?? "text-default-foreground";
+    return "text-default-foreground";
+}
+export function InspectorBindings(props) {
+    const { presentation } = props;
+    const hueByVariable = useMemo(() => {
+        const map = new Map();
+        presentation.formula?.inputs.forEach((input, index) => map.set(input.variable, index));
+        return map;
+    }, [presentation.formula]);
+    const cards = presentation.bindings.map((binding) => ({
+        ...binding,
+        isResult: binding.variable === presentation.resultVariable,
+        hueIndex: hueByVariable.get(binding.variable),
+    }));
+    const conclusionCount = cards.filter((card) => card.isResult).length;
+    const measures = useFactMeasures(cards.map((card) => card.predicate));
+    const personalDataResolutions = usePersonalDataResolutionFor(cards.map((card) => card.predicate));
+    return (_jsxs("div", { children: [_jsx(PanelLabel, { className: "mb-2.5", tickClassName: "bg-warning-foreground", right: _jsxs("span", { className: "typography-tiny text-muted-foreground", children: [humanCount(presentation.bindings.length, "variable"), conclusionCount > 0 && " · 1 conclusion"] }), children: "Variable bindings" }), _jsx("div", { className: "grid grid-cols-2 gap-2", children: cards.map((card) => {
+                    const measure = card.predicate ? measures.get(card.predicate) : undefined;
+                    const hueText = card.hueIndex !== undefined ? formulaHueTextClass(card.hueIndex) : undefined;
+                    const edgeClass = card.hueIndex !== undefined ? formulaHueEdgeClass(card.hueIndex) : "border-l-muted-border";
+                    const valueIri = ontologyTermIri(card.value);
+                    const mono = isNumericRdfValue(card.value) && !valueIri;
+                    const resolution = card.predicate ? personalDataResolutions.get(card.predicate) : undefined;
+                    const personalDataCategories = resolution?.status === "resolved" && isPresent(resolution.categories) ? resolution.categories : undefined;
+                    const maskedWhilePending = resolution !== undefined && resolution.status !== "resolved" && !valueIri;
+                    return (_jsxs("div", { className: cn("rounded-md border border-l-2 px-3 py-2.5", card.isResult
+                            ? "col-span-2 border-primary/30 border-l-primary bg-primary/6"
+                            : cn("border-muted-border bg-card", edgeClass)), children: [_jsxs("div", { className: "flex items-center justify-between gap-2", children: [_jsx("span", { className: "font-mono typography-tiny-medium text-warning-foreground", children: card.variable }), card.isResult && _jsx(ExplainTag, { variant: "result" })] }), _jsx("div", { className: cn("mt-1 truncate typography-small-semibold", mono && "font-mono", bindingValueColor(card.isResult, mono, hueText)), title: personalDataCategories || maskedWhilePending ? undefined : card.value, children: valueIri ? (_jsx(OntologyTermText, { term: card.value, className: "no-underline" })) : maskedWhilePending ? (_jsx("span", { className: "tracking-wider text-muted-foreground", children: maskText })) : personalDataCategories ? (_jsx(MaskedValue, { value: card.term.type === "literal" ? card.term.value : card.value, categories: personalDataCategories })) : (formatMeasureValue(card.value, measure)) })] }, card.variable));
+                }) })] }));
+}

package/dist/rdfox-explain/inspector/InspectorFact.d.ts

@@ -0,0 +1,6 @@
+import { type NormalizedNode } from "../tree-model.js";
+export type InspectorFactProps = {
+    node: NormalizedNode;
+};
+export declare function InspectorFact(props: InspectorFactProps): import("react/jsx-runtime").JSX.Element | null;
+//# sourceMappingURL=InspectorFact.d.ts.map

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

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

@@ -0,0 +1,13 @@
+import { jsx as _jsx, jsxs as _jsxs } from "react/jsx-runtime";
+import { EntityChip } from "../EntityChip.js";
+import { FactValue } from "../FactValue.js";
+import { PanelLabel } from "../PanelLabel.js";
+import { isTypeFact } from "../tree-model.js";
+import { OntologyTermText } from "#ontology/OntologyTermText";
+import { predicateLabel } from "#rules/rule-narrative-format";
+export function InspectorFact(props) {
+    const { node } = props;
+    if (!node.spo)
+        return null;
+    return (_jsxs("div", { children: [_jsx(PanelLabel, { className: "mb-2.5", children: "This fact" }), _jsxs("div", { className: "flex flex-wrap items-center gap-2", children: [_jsx(EntityChip, { term: node.spo.subject }), _jsx("span", { className: "typography-tiny text-muted-foreground", children: isTypeFact(node) ? ("is a") : (_jsx(OntologyTermText, { term: node.spo.predicate ?? "", fallbackLabel: predicateLabel(node.spo.predicate ?? ""), className: "no-underline" })) }), _jsx(FactValue, { value: node.spo.object, predicate: node.spo.predicate })] })] }));
+}

package/dist/rdfox-explain/inspector/InspectorHeader.d.ts

@@ -0,0 +1,6 @@
+import { type NormalizedNode } from "../tree-model.js";
+export type InspectorHeaderProps = {
+    node: NormalizedNode;
+};
+export declare function InspectorHeader(props: InspectorHeaderProps): import("react/jsx-runtime").JSX.Element;
+//# sourceMappingURL=InspectorHeader.d.ts.map

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

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

@@ -0,0 +1,22 @@
+import { jsx as _jsx, jsxs as _jsxs } from "react/jsx-runtime";
+import { isPresent } from "@manta-eu/lib/present";
+import { Copy } from "lucide-react";
+import { ProvenanceBadge } from "../ProvenanceBadge.js";
+import { isTypeFact } from "../tree-model.js";
+import { Button } from "#components/button/index";
+import { useOntologyTerm } from "#hooks/use-ontology-terms";
+import { useCopyToClipboard } from "#lib/use-copy-clipboard";
+import { OntologyComment } from "#ontology/OntologyComment";
+import { OntologyTermText, ontologyTermIri } from "#ontology/OntologyTermText";
+import { classLabel, predicateLabel } from "#rules/rule-narrative-format";
+export function InspectorHeader(props) {
+    const { node } = props;
+    const { copyToClipboard } = useCopyToClipboard();
+    const describedTerm = isTypeFact(node) ? node.spo?.object : node.spo?.predicate;
+    const iri = describedTerm ? ontologyTermIri(describedTerm) : undefined;
+    const term = useOntologyTerm(iri);
+    const domain = term?.domainIncludes[0];
+    const range = term?.rangeIncludes[0];
+    const parentClasses = term?.subClassOf ?? [];
+    return (_jsxs("div", { children: [_jsxs("div", { className: "flex items-center gap-2.5", children: [_jsx("h3", { className: "min-w-0 truncate typography-small-semibold text-default-foreground", children: describedTerm ? (_jsx(OntologyTermText, { term: describedTerm, fallbackLabel: isTypeFact(node) ? classLabel(describedTerm) : predicateLabel(describedTerm), className: "no-underline" })) : (node.display) }), node.provenance && _jsx(ProvenanceBadge, { provenance: node.provenance, className: "shrink-0" })] }), term?.comment && (_jsx(OntologyComment, { comment: term.comment, className: "mt-1.5 typography-small text-body-foreground" })), (domain || range) && (_jsxs("div", { className: "mt-2 flex items-center gap-1.5 typography-tiny", children: [_jsx("span", { className: "text-muted-foreground", children: "applies to" }), domain && (_jsx("span", { className: "min-w-0 truncate typography-tiny-medium text-body-foreground", children: _jsx(OntologyTermText, { term: domain, className: "no-underline" }) })), _jsx("span", { className: "shrink-0 text-muted-foreground", children: "\u2192" }), range && (_jsx("span", { className: "min-w-0 truncate font-mono text-muted-foreground", children: _jsx(OntologyTermText, { term: range, className: "no-underline" }) }))] })), isPresent(parentClasses) && (_jsxs("div", { className: "mt-2 flex flex-wrap items-center gap-x-1.5 gap-y-1 typography-tiny", children: [_jsx("span", { className: "text-muted-foreground", children: "kind of" }), parentClasses.map((parentClass, index) => (_jsxs("span", { className: "min-w-0 truncate typography-tiny-medium text-body-foreground", children: [index > 0 && _jsx("span", { className: "mr-1.5 text-muted-foreground", children: "\u00B7" }), _jsx(OntologyTermText, { term: parentClass, fallbackLabel: classLabel(parentClass), resolveInstanceLabel: false, className: "no-underline" })] }, parentClass)))] })), iri && (_jsxs("div", { className: "mt-2 flex items-center gap-1 rounded-sm-v4 border border-muted-border bg-muted py-0.5 pl-2 pr-0.5", children: [_jsx("span", { className: "min-w-0 truncate font-mono typography-tiny text-muted-foreground", title: iri, children: iri }), _jsx(Button, { type: "button", variant: "ghost", size: "xs", icon: Copy, iconOnly: true, "aria-label": "Copy IRI", className: "ml-auto shrink-0", onClick: () => void copyToClipboard(iri) })] }))] }));
+}

package/dist/rdfox-explain/inspector/InspectorRule.d.ts

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"InspectorRule.d.ts","sourceRoot":"","sources":["../../../src/rdfox-explain/inspector/InspectorRule.tsx"],"names":[],"mappings":"AASA,OAAO,EAKL,KAAK,gBAAgB,EACtB,MAAM,sBAAsB,CAAC;AA8B9B,MAAM,MAAM,kBAAkB,GAAG;IAC/B,YAAY,EAAE,gBAAgB,CAAC;IAC/B,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,eAAe,CAAC,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF,wBAAgB,aAAa,CAAC,KAAK,EAAE,kBAAkB,2CAqJtD"}