@party-stack/ontology-devtools 0.6.1 → 0.7.0

package/lib/QueryOwners.js

@@ -0,0 +1,46 @@
+import { jsx, jsxs } from "react/jsx-runtime";
+//#region src/QueryOwners.tsx
+function QueryOwners({ owners }) {
+	if (!owners.length) return null;
+	const groups = /* @__PURE__ */ new Map();
+	for (const owner of owners) {
+		const key = JSON.stringify([owner.name, owner.source]);
+		const group = groups.get(key);
+		if (group) group.count++;
+		else groups.set(key, {
+			owner,
+			count: 1
+		});
+	}
+	const shown = [...groups.values()].slice(0, 3);
+	const remaining = owners.length - shown.reduce((total, group) => total + group.count, 0);
+	return /* @__PURE__ */ jsxs("span", {
+		className: "ps-query-owners",
+		"aria-label": `${owners.length} ${owners.length === 1 ? "component" : "components"}`,
+		title: "Hover to highlight · click to scroll to components",
+		children: [
+			/* @__PURE__ */ jsx("span", {
+				className: "ps-query-owner-label",
+				children: "Components"
+			}),
+			shown.map(({ owner, count }) => /* @__PURE__ */ jsxs("span", {
+				className: "ps-query-owner-name",
+				title: owner.source,
+				children: [owner.name, count > 1 && ` ×${count}`]
+			}, owner.id)),
+			remaining > 0 && /* @__PURE__ */ jsxs("span", {
+				className: "ps-query-owner-more",
+				children: [
+					"and ",
+					remaining,
+					" other ",
+					remaining === 1 ? "component" : "components"
+				]
+			})
+		]
+	});
+}
+//#endregion
+export { QueryOwners };
+
+//# sourceMappingURL=QueryOwners.js.map

package/lib/QueryOwners.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"QueryOwners.js","names":[],"sources":["../src/QueryOwners.tsx"],"sourcesContent":["import type { DemandOwner } from \"./attribution/registry.js\";\n\nexport function QueryOwners({ owners }: { owners: readonly DemandOwner[] }) {\n    if (!owners.length) return null;\n    const groups = new Map<string, { owner: DemandOwner; count: number }>();\n    for (const owner of owners) {\n        const key = JSON.stringify([owner.name, owner.source]);\n        const group = groups.get(key);\n        if (group) group.count++;\n        else groups.set(key, { owner, count: 1 });\n    }\n    const shown = [...groups.values()].slice(0, 3);\n    const remaining = owners.length - shown.reduce((total, group) => total + group.count, 0);\n    return (\n        <span\n            className=\"ps-query-owners\"\n            aria-label={`${owners.length} ${owners.length === 1 ? \"component\" : \"components\"}`}\n            title=\"Hover to highlight · click to scroll to components\"\n        >\n            <span className=\"ps-query-owner-label\">Components</span>\n            {shown.map(({ owner, count }) => (\n                <span className=\"ps-query-owner-name\" key={owner.id} title={owner.source}>\n                    {owner.name}\n                    {count > 1 && ` ×${count}`}\n                </span>\n            ))}\n            {remaining > 0 && (\n                <span className=\"ps-query-owner-more\">\n                    and {remaining} other {remaining === 1 ? \"component\" : \"components\"}\n                </span>\n            )}\n        </span>\n    );\n}\n"],"mappings":";;AAEA,SAAgB,YAAY,EAAE,UAA8C;CACxE,IAAI,CAAC,OAAO,QAAQ,OAAO;CAC3B,MAAM,yBAAS,IAAI,IAAmD;CACtE,KAAK,MAAM,SAAS,QAAQ;EACxB,MAAM,MAAM,KAAK,UAAU,CAAC,MAAM,MAAM,MAAM,MAAM,CAAC;EACrD,MAAM,QAAQ,OAAO,IAAI,GAAG;EAC5B,IAAI,OAAO,MAAM;OACZ,OAAO,IAAI,KAAK;GAAE;GAAO,OAAO;EAAE,CAAC;CAC5C;CACA,MAAM,QAAQ,CAAC,GAAG,OAAO,OAAO,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC;CAC7C,MAAM,YAAY,OAAO,SAAS,MAAM,QAAQ,OAAO,UAAU,QAAQ,MAAM,OAAO,CAAC;CACvF,OACI,qBAAC,QAAD;EACI,WAAU;EACV,cAAY,GAAG,OAAO,OAAO,GAAG,OAAO,WAAW,IAAI,cAAc;EACpE,OAAM;EAHV,UAAA;GAKI,oBAAC,QAAD;IAAM,WAAU;IAAuB,UAAA;GAAgB,CAAA;GACtD,MAAM,KAAK,EAAE,OAAO,YACjB,qBAAC,QAAD;IAAM,WAAU;IAAqC,OAAO,MAAM;IAAlE,UAAA,CACK,MAAM,MACN,QAAQ,KAAK,KAAK,OACjB;GAHqC,GAAA,MAAM,EAG3C,CACT;GACA,YAAY,KACT,qBAAC,QAAD;IAAM,WAAU;IAAhB,UAAA;KAAsC;KAC7B;KAAU;KAAQ,cAAc,IAAI,cAAc;IACrD;;EAER;;AAEd"}

package/lib/QueryPills.d.ts

@@ -0,0 +1,17 @@
+import { Demand, Load } from "./diagnostics.js";
+import { OperandToken, QuerySubject, nullOrderLabel, operandText } from "./QueryTokens.js";
+import { ObjectTypeDef } from "@party-stack/ontology";
+//#region src/QueryPills.d.ts
+type Query$1 = NonNullable<Demand["query"]>;
+type Predicate = NonNullable<Query$1["where"]>;
+export declare function predicateText(predicate: Predicate, object?: ObjectTypeDef): string;
+/** Compiled demand is a compact view of the same portable query renderer. */
+export declare function QueryPills({ query, object, objectType, annotations }: {
+  query?: Query$1;
+  object?: ObjectTypeDef;
+  objectType?: string;
+  annotations?: NonNullable<Load["pushdown"]>["predicates"];
+}): import("react").JSX.Element;
+//#endregion
+export { OperandToken, QuerySubject, nullOrderLabel, operandText };
+//# sourceMappingURL=QueryPills.d.ts.map

package/lib/QueryPills.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"QueryPills.d.ts","names":["Query"],"sources":["../src/QueryPills.tsx"],"mappings":";;;;KAOKA,UAAQ,YAAY;KACpB,YAAY,YAAYA;wBAab,cAAc,WAAW,WAAW,SAAS;;wBAmB7C,aACZ,OACA,QACA,YACA;EAEA,QAAQA;EACR,SAAS;EACT;EACA,cAAc,YAAY;oBAC7B,IAAA"}

package/lib/QueryPills.js

@@ -0,0 +1,37 @@
+import { OperandToken, QuerySubject, nullOrderLabel, operandText } from "./QueryTokens.js";
+import { QueryView } from "./QueryView.js";
+import { subsetQuery } from "./queryIR.js";
+import { jsx } from "react/jsx-runtime";
+//#region src/QueryPills.tsx
+const operators = {
+	eq: "=",
+	ne: "≠",
+	lt: "<",
+	lte: "≤",
+	gt: ">",
+	gte: "≥",
+	like: "matches",
+	ilike: "matches (ignore case)",
+	contains: "contains"
+};
+function predicateText(predicate, object) {
+	if (predicate.op === "and" || predicate.op === "or") return predicate.predicates.length ? `(${predicate.predicates.map((item) => predicateText(item, object)).join(predicate.op === "and" ? " AND " : " OR ")})` : predicate.op === "and" ? "All rows" : "No rows";
+	if (predicate.op === "not") return `NOT (${predicateText(predicate.predicate, object)})`;
+	if (predicate.op === "in") return `${operandText(predicate.left, object)} in [${predicate.values.map((value) => operandText(value)).join(", ")}]`;
+	if ((predicate.op === "eq" || predicate.op === "ne") && (predicate.right === null || predicate.right === void 0)) return `${operandText(predicate.left, object)} is${predicate.op === "ne" ? " not" : ""} ${operandText(predicate.right)}`;
+	return `${operandText(predicate.left, object)} ${operators[predicate.op]} ${operandText(predicate.right, object)}`;
+}
+/** Compiled demand is a compact view of the same portable query renderer. */
+function QueryPills({ query, object, objectType, annotations }) {
+	return /* @__PURE__ */ jsx(QueryView, {
+		query: subsetQuery(objectType ?? object?.name ?? "Object", query),
+		object,
+		showSubject: Boolean(object || objectType),
+		compact: true,
+		annotations
+	});
+}
+//#endregion
+export { OperandToken, QueryPills, QuerySubject, nullOrderLabel, operandText, predicateText };
+
+//# sourceMappingURL=QueryPills.js.map

package/lib/QueryPills.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"QueryPills.js","names":[],"sources":["../src/QueryPills.tsx"],"sourcesContent":["import { subsetQuery } from \"./queryIR.js\";\nimport { operandText } from \"./QueryTokens.js\";\nimport { QueryView } from \"./QueryView.js\";\nimport type { Demand, Load } from \"./diagnostics.js\";\nimport type { ObjectTypeDef } from \"@party-stack/ontology\";\n\nexport { operandText, nullOrderLabel, OperandToken, QuerySubject } from \"./QueryTokens.js\";\ntype Query = NonNullable<Demand[\"query\"]>;\ntype Predicate = NonNullable<Query[\"where\"]>;\nconst operators = {\n    eq: \"=\",\n    ne: \"≠\",\n    lt: \"<\",\n    lte: \"≤\",\n    gt: \">\",\n    gte: \"≥\",\n    like: \"matches\",\n    ilike: \"matches (ignore case)\",\n    contains: \"contains\",\n};\n\nexport function predicateText(predicate: Predicate, object?: ObjectTypeDef): string {\n    if (predicate.op === \"and\" || predicate.op === \"or\")\n        return predicate.predicates.length\n            ? `(${predicate.predicates.map((item) => predicateText(item, object)).join(predicate.op === \"and\" ? \" AND \" : \" OR \")})`\n            : predicate.op === \"and\"\n              ? \"All rows\"\n              : \"No rows\";\n    if (predicate.op === \"not\") return `NOT (${predicateText(predicate.predicate, object)})`;\n    if (predicate.op === \"in\")\n        return `${operandText(predicate.left, object)} in [${predicate.values.map((value) => operandText(value)).join(\", \")}]`;\n    if (\n        (predicate.op === \"eq\" || predicate.op === \"ne\") &&\n        (predicate.right === null || predicate.right === undefined)\n    )\n        return `${operandText(predicate.left, object)} is${predicate.op === \"ne\" ? \" not\" : \"\"} ${operandText(predicate.right)}`;\n    return `${operandText(predicate.left, object)} ${operators[predicate.op]} ${operandText(predicate.right, object)}`;\n}\n\n/** Compiled demand is a compact view of the same portable query renderer. */\nexport function QueryPills({\n    query,\n    object,\n    objectType,\n    annotations,\n}: {\n    query?: Query;\n    object?: ObjectTypeDef;\n    objectType?: string;\n    annotations?: NonNullable<Load[\"pushdown\"]>[\"predicates\"];\n}) {\n    return (\n        <QueryView\n            query={subsetQuery(objectType ?? object?.name ?? \"Object\", query)}\n            object={object}\n            showSubject={Boolean(object || objectType)}\n            compact\n            annotations={annotations}\n        />\n    );\n}\n"],"mappings":";;;;;AASA,MAAM,YAAY;CACd,IAAI;CACJ,IAAI;CACJ,IAAI;CACJ,KAAK;CACL,IAAI;CACJ,KAAK;CACL,MAAM;CACN,OAAO;CACP,UAAU;AACd;AAEA,SAAgB,cAAc,WAAsB,QAAgC;CAChF,IAAI,UAAU,OAAO,SAAS,UAAU,OAAO,MAC3C,OAAO,UAAU,WAAW,SACtB,IAAI,UAAU,WAAW,KAAK,SAAS,cAAc,MAAM,MAAM,CAAC,CAAC,CAAC,KAAK,UAAU,OAAO,QAAQ,UAAU,MAAM,EAAE,KACpH,UAAU,OAAO,QACf,aACA;CACZ,IAAI,UAAU,OAAO,OAAO,OAAO,QAAQ,cAAc,UAAU,WAAW,MAAM,EAAE;CACtF,IAAI,UAAU,OAAO,MACjB,OAAO,GAAG,YAAY,UAAU,MAAM,MAAM,EAAE,OAAO,UAAU,OAAO,KAAK,UAAU,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE;CACxH,KACK,UAAU,OAAO,QAAQ,UAAU,OAAO,UAC1C,UAAU,UAAU,QAAQ,UAAU,UAAU,KAAA,IAEjD,OAAO,GAAG,YAAY,UAAU,MAAM,MAAM,EAAE,KAAK,UAAU,OAAO,OAAO,SAAS,GAAG,GAAG,YAAY,UAAU,KAAK;CACzH,OAAO,GAAG,YAAY,UAAU,MAAM,MAAM,EAAE,GAAG,UAAU,UAAU,IAAI,GAAG,YAAY,UAAU,OAAO,MAAM;AACnH;;AAGA,SAAgB,WAAW,EACvB,OACA,QACA,YACA,eAMD;CACC,OACI,oBAAC,WAAD;EACI,OAAO,YAAY,cAAc,QAAQ,QAAQ,UAAU,KAAK;EACxD;EACR,aAAa,QAAQ,UAAU,UAAU;EACzC,SAAA;EACa;CAChB,CAAA;AAET"}

package/lib/QueryPushdown.d.ts

@@ -0,0 +1,26 @@
+import { ReplicationDemand, ReplicationLoad } from "./replicationActivity.js";
+import { ReactNode } from "react";
+import { CollectionDemandDiagnostic } from "@party-stack/ontology/tanstack";
+import { ObjectTypeDef } from "@party-stack/ontology";
+//#region src/QueryPushdown.d.ts
+export declare function RequestedQuery({ request, demand, object }: {
+  request: CollectionDemandDiagnostic;
+  demand: ReplicationDemand;
+  object?: ObjectTypeDef;
+}): import("react").JSX.Element;
+export declare function QueryPushdown({ requests, demand, load, object, loadStats, loadError, parentReplica, coveredBy: checkedCoverage, coverageProof: checkedProof, previousLoad, sourceName, checking }: {
+  requests: readonly CollectionDemandDiagnostic[];
+  demand: ReplicationDemand;
+  load?: ReplicationLoad;
+  object?: ObjectTypeDef;
+  loadStats?: ReactNode;
+  loadError?: string;
+  parentReplica?: string;
+  coveredBy?: ReplicationDemand["coveredBy"];
+  coverageProof?: ReplicationDemand["coverageProof"];
+  previousLoad?: ReplicationLoad;
+  sourceName?: string;
+  checking?: boolean;
+}): import("react").JSX.Element;
+//#endregion
+//# sourceMappingURL=QueryPushdown.d.ts.map

package/lib/QueryPushdown.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"QueryPushdown.d.ts","names":[],"sources":["../src/QueryPushdown.tsx"],"mappings":";;;;;wBAgGgB,iBACZ,SACA,QACA;EAEA,SAAS;EACT,QAAQ;EACR,SAAS;oBACZ,IAAA;wBAiEe,gBACZ,UACA,QACA,MACA,QACA,WACA,WACA,eACA,WAAW,iBACX,eAAe,cACf,cACA,YACA;EAEA,mBAAmB;EACnB,QAAQ;EACR,OAAO;EACP,SAAS;EACT,YAAY;EACZ;EACA;EACA,YAAY;EACZ,gBAAgB;EAChB,eAAe;EACf;EACA;oBACH,IAAA"}

package/lib/QueryPushdown.js

@@ -0,0 +1,380 @@
+import { DisclosureSummary } from "./DisclosureSummary.js";
+import { NativeQueryCode } from "./NativeQueryCode.js";
+import { OperandToken, QuerySubject, nullOrderLabel } from "./QueryTokens.js";
+import { demandId } from "./replicationActivity.js";
+import { QueryPills } from "./QueryPills.js";
+import { Fragment, jsx, jsxs } from "react/jsx-runtime";
+import { useState } from "react";
+import { IR } from "@tanstack/db";
+//#region src/QueryPushdown.tsx
+const operators = {
+	eq: "=",
+	gt: ">",
+	gte: "≥",
+	lt: "<",
+	lte: "≤",
+	like: "matches",
+	ilike: "matches (ignore case)",
+	in: "in"
+};
+function Expression({ expression, object, pattern = false }) {
+	if (expression.type === "ref") return /* @__PURE__ */ jsx(OperandToken, {
+		value: {
+			_tag: "Field",
+			path: IR.getPropRefPropertyPath(expression)
+		},
+		object
+	});
+	if (expression.type === "val") {
+		if (Array.isArray(expression.value)) return /* @__PURE__ */ jsxs("span", {
+			className: "ps-query-values",
+			children: [
+				"[",
+				expression.value.map((value, index) => /* @__PURE__ */ jsx(Expression, {
+					expression: new IR.Value(value),
+					object
+				}, index)),
+				"]"
+			]
+		});
+		if (expression.value === null || expression.value === void 0 || [
+			"string",
+			"number",
+			"boolean",
+			"bigint"
+		].includes(typeof expression.value)) return /* @__PURE__ */ jsx(OperandToken, {
+			value: expression.value,
+			object,
+			pattern
+		});
+		return /* @__PURE__ */ jsx("code", { children: JSON.stringify(expression.value) });
+	}
+	if (expression.type !== "func") return /* @__PURE__ */ jsx("span", { children: "Unknown expression" });
+	const { name, args } = expression;
+	if (name === "and" || name === "or" || name === "not") return /* @__PURE__ */ jsxs("div", {
+		className: "ps-query-group",
+		children: [/* @__PURE__ */ jsx("span", {
+			className: "ps-query-connector",
+			children: name.toUpperCase()
+		}), /* @__PURE__ */ jsx("div", {
+			className: "ps-query-branches",
+			children: args.map((arg, index) => /* @__PURE__ */ jsx(Expression, {
+				expression: arg,
+				object
+			}, index))
+		})]
+	});
+	return /* @__PURE__ */ jsx("div", {
+		className: "ps-query-comparison",
+		children: operators[name] && args.length === 2 ? /* @__PURE__ */ jsxs(Fragment, { children: [
+			/* @__PURE__ */ jsx(Expression, {
+				expression: args[0],
+				object
+			}),
+			/* @__PURE__ */ jsx("span", {
+				className: "ps-query-operator",
+				children: operators[name]
+			}),
+			/* @__PURE__ */ jsx(Expression, {
+				expression: args[1],
+				object,
+				pattern: name === "like" || name === "ilike"
+			})
+		] }) : /* @__PURE__ */ jsxs(Fragment, { children: [
+			/* @__PURE__ */ jsxs("span", {
+				className: "ps-query-operator",
+				children: [name, "("]
+			}),
+			args.map((arg, index) => /* @__PURE__ */ jsxs("span", { children: [index > 0 && ", ", /* @__PURE__ */ jsx(Expression, {
+				expression: arg,
+				object
+			})] }, index)),
+			/* @__PURE__ */ jsx("span", {
+				className: "ps-query-operator",
+				children: ")"
+			})
+		] })
+	});
+}
+function RequestedQuery({ request, demand, object }) {
+	const query = request.requested;
+	return /* @__PURE__ */ jsxs("div", {
+		className: "ps-query-expression",
+		"aria-label": "Requested query",
+		children: [
+			/* @__PURE__ */ jsxs("div", {
+				className: "ps-query-sentence",
+				children: [/* @__PURE__ */ jsx(QuerySubject, {
+					object,
+					objectType: demand.objectType
+				}), query?.where ? /* @__PURE__ */ jsxs(Fragment, { children: [/* @__PURE__ */ jsx("span", {
+					className: "ps-query-keyword",
+					children: "where"
+				}), /* @__PURE__ */ jsx(Expression, {
+					expression: query.where,
+					object
+				})] }) : /* @__PURE__ */ jsx("span", {
+					className: "ps-query-keyword",
+					children: "— all rows"
+				})]
+			}),
+			query?.orderBy?.map((order, index) => /* @__PURE__ */ jsxs("div", {
+				className: "ps-query-clause",
+				children: [
+					/* @__PURE__ */ jsx("span", {
+						className: "ps-query-keyword",
+						children: "order by"
+					}),
+					/* @__PURE__ */ jsx(Expression, {
+						expression: order.expression,
+						object
+					}),
+					/* @__PURE__ */ jsxs("span", {
+						className: "ps-query-operator",
+						children: [order.compareOptions.direction === "desc" ? "descending" : "ascending", nullOrderLabel(order.compareOptions)]
+					})
+				]
+			}, index)),
+			query?.limit !== void 0 && /* @__PURE__ */ jsxs("div", {
+				className: "ps-query-clause",
+				children: [/* @__PURE__ */ jsx("span", {
+					className: "ps-query-keyword",
+					children: "limit"
+				}), /* @__PURE__ */ jsx(OperandToken, { value: query.limit })]
+			}),
+			query?.offset !== void 0 && /* @__PURE__ */ jsxs("div", {
+				className: "ps-query-clause",
+				children: [/* @__PURE__ */ jsx("span", {
+					className: "ps-query-keyword",
+					children: "offset"
+				}), /* @__PURE__ */ jsx(OperandToken, { value: query.offset })]
+			}),
+			query?.cursor && /* @__PURE__ */ jsxs("div", {
+				className: "ps-query-clause",
+				children: [/* @__PURE__ */ jsx("span", {
+					className: "ps-query-keyword",
+					children: "cursor"
+				}), /* @__PURE__ */ jsx(Expression, {
+					expression: new IR.Func("or", [query.cursor.whereFrom, query.cursor.whereCurrent]),
+					object
+				})]
+			})
+		]
+	});
+}
+function formatInterval(ms) {
+	if (ms === void 0) return "configured interval";
+	if (ms % 6e4 === 0) return `${ms / 6e4} ${ms === 6e4 ? "minute" : "minutes"}`;
+	if (ms % 1e3 === 0) return `${ms / 1e3} ${ms === 1e3 ? "second" : "seconds"}`;
+	return `${ms} ms`;
+}
+function StepNote({ label, children }) {
+	return /* @__PURE__ */ jsxs("p", {
+		className: "ps-query-step-note",
+		children: [
+			/* @__PURE__ */ jsxs("strong", { children: [label, ":"] }),
+			" ",
+			children
+		]
+	});
+}
+function QueryPushdown({ requests, demand, load, object, loadStats, loadError, parentReplica, coveredBy: checkedCoverage, coverageProof: checkedProof, previousLoad, sourceName, checking = false }) {
+	const preserved = requests.every((request) => (request.filterExact ?? request.exact) === true);
+	const incompleteFilter = requests.some((request) => (request.filterExact ?? request.exact) === false);
+	const localOrder = requests.some((request) => request.orderExact === false);
+	const localLimit = requests.some((request) => request.requested?.limit !== void 0 && request.query?.limit === void 0);
+	const localSteps = [
+		incompleteFilter && "This tab filters the replica’s response to finish evaluating the query.",
+		localOrder && "This tab sorts the replica’s response.",
+		localLimit && "This tab applies the query limit to the replica’s response."
+	].filter((step) => typeof step === "string");
+	const queryId = demandId(demand);
+	const [lastCheck, setLastCheck] = useState({
+		queryId,
+		coveredBy: checkedCoverage,
+		coverageProof: checkedProof,
+		refresh: checkedProof
+	});
+	if (lastCheck.queryId !== queryId || !checking && (lastCheck.coveredBy !== checkedCoverage || lastCheck.coverageProof !== checkedProof)) setLastCheck({
+		queryId,
+		coveredBy: checkedCoverage,
+		coverageProof: checkedProof,
+		refresh: checkedProof ?? (lastCheck.queryId === queryId ? lastCheck.refresh : void 0)
+	});
+	const coveredBy = checking && lastCheck.queryId === queryId ? lastCheck.coveredBy : checkedCoverage;
+	const coverageProof = checking && lastCheck.queryId === queryId ? lastCheck.coverageProof : checkedProof;
+	const refreshProof = coverageProof ?? (lastCheck.queryId === queryId ? lastCheck.refresh : void 0);
+	const displayedLoad = load?.outcome === "running" ? previousLoad ?? load : load;
+	const plan = displayedLoad?.pushdown ?? previousLoad?.pushdown;
+	const source = plan?.source ?? sourceName ?? "Source";
+	const sourceReplica = parentReplica ? `${parentReplica} replica` : "Tab replica";
+	const reused = Boolean(coveredBy);
+	const sameQuery = coveredBy && demandId(coveredBy) === demandId(demand);
+	const coverageReason = coverageProof && {
+		collection: sameQuery ? "This query previously loaded the complete collection." : "Complete collection; includes every matching row.",
+		query: sameQuery ? "Previously loaded complete result of the same query or primary-key lookup." : "A previously loaded complete result covers this request.",
+		"primary-key": "Requested primary key is present in this maintained result."
+	}[coverageProof.reason];
+	const residualFilter = plan?.predicates.some((term) => term.execution !== "source");
+	const filterStatus = plan?.predicates.length ? plan.predicates.every((term) => term.execution === "source") ? incompleteFilter ? `Fully pushed down to ${source}; this tab still evaluates the remaining conditions.` : `Fully pushed down to ${source}.` : plan.predicates.every((term) => term.execution === "adapter" || term.execution === "engine") ? `Not pushed down to ${source}.` : `Partly pushed down to ${source}.` : (load?.subset?.query ?? demand.query)?.where ? "Pushdown not reported." : "No filter requested.";
+	const evaluator = plan?.predicates.some((term) => term.execution === "engine") || plan?.sorting === "engine" || plan?.pagination === "engine" ? "query engine" : "adapter";
+	const adapterSteps = [
+		residualFilter && `The ${evaluator} filters ${source}’s response to finish evaluating the query.`,
+		plan?.rechecksFilter && !residualFilter && load?.fetchedRows !== void 0 && load.rows !== void 0 && load.fetchedRows !== load.rows && `The ${evaluator} also checks returned rows against the filter.`,
+		(plan?.sorting === "adapter" || plan?.sorting === "engine") && `The ${evaluator} sorts the returned rows.`,
+		(plan?.pagination === "adapter" || plan?.pagination === "engine") && `The ${evaluator} applies the query limit or pagination before returning rows to the ${sourceReplica}.`
+	].filter((step) => typeof step === "string");
+	const refreshDescription = refreshProof && /* @__PURE__ */ jsx("span", {
+		className: "ps-query-refresh",
+		children: refreshProof.maintainedBy === "journal" ? "Refreshed through journal catch-up." : refreshProof.maintainedBy === "poll" ? `Refreshed by polling every ${formatInterval(refreshProof.pollIntervalMs)}.` : refreshProof.maintainedBy === "snapshot" ? "Reused a recent snapshot." : "Refreshed by source change notifications."
+	});
+	const sourceDetails = /* @__PURE__ */ jsxs(Fragment, { children: [
+		/* @__PURE__ */ jsx(StepNote, {
+			label: "Filter",
+			children: displayedLoad ? plan ? filterStatus : "Pushdown not reported." : "No pushdown recorded for this query."
+		}),
+		plan && displayedLoad && /* @__PURE__ */ jsx(QueryPills, {
+			query: displayedLoad.subset?.query ?? demand.query,
+			object,
+			annotations: plan.predicates
+		}),
+		adapterSteps.map((step) => /* @__PURE__ */ jsx("p", {
+			className: "ps-query-step-note",
+			children: step
+		}, step)),
+		/* @__PURE__ */ jsxs(StepNote, {
+			label: "Data",
+			children: [displayedLoad ? loadStats : "No source load recorded for this query.", refreshDescription && /* @__PURE__ */ jsxs(Fragment, { children: [" · ", refreshDescription] })]
+		}),
+		displayedLoad?.error && /* @__PURE__ */ jsx("p", {
+			className: "ps-query-residual",
+			children: displayedLoad.error.message
+		}),
+		plan?.native && /* @__PURE__ */ jsxs("details", {
+			className: "ps-query-native",
+			children: [/* @__PURE__ */ jsxs(DisclosureSummary, { children: [
+				"Native query (",
+				plan.native.language.toUpperCase(),
+				")"
+			] }), /* @__PURE__ */ jsx(NativeQueryCode, {
+				language: plan.native.language,
+				text: plan.native.text
+			})]
+		})
+	] });
+	const replicaOutcome = loadError ? /* @__PURE__ */ jsxs(StepNote, {
+		label: "Data",
+		children: ["Diagnostics disconnected: ", loadError]
+	}) : coveredBy ? /* @__PURE__ */ jsxs(Fragment, { children: [/* @__PURE__ */ jsx(StepNote, {
+		label: "Data",
+		children: sameQuery ? "Reused this query’s previous result; no upstream request needed." : "Satisfied by local coverage; no upstream request needed."
+	}), /* @__PURE__ */ jsx("div", {
+		className: "ps-query-data-details",
+		children: /* @__PURE__ */ jsxs("section", {
+			className: "ps-query-data-section",
+			"aria-label": "Coverage",
+			children: [
+				/* @__PURE__ */ jsx("h5", { children: "Coverage" }),
+				coverageReason && /* @__PURE__ */ jsx("p", {
+					className: "ps-query-step-note",
+					children: coverageReason
+				}),
+				!sameQuery && /* @__PURE__ */ jsx(QueryPills, {
+					query: coveredBy.query,
+					object,
+					objectType: demand.objectType
+				})
+			]
+		})
+	})] }) : load ? /* @__PURE__ */ jsxs(Fragment, { children: [/* @__PURE__ */ jsx(StepNote, {
+		label: "Data",
+		children: load.outcome === "running" ? `Requesting from ${source}.` : `Requested from ${source}.`
+	}), displayedLoad?.outcome === "success" && displayedLoad.complete && /* @__PURE__ */ jsx("div", {
+		className: "ps-query-data-details",
+		children: /* @__PURE__ */ jsxs("section", {
+			className: "ps-query-data-section",
+			"aria-label": "Coverage",
+			children: [/* @__PURE__ */ jsx("h5", { children: "Coverage" }), /* @__PURE__ */ jsx("p", {
+				className: "ps-query-step-note",
+				children: "Complete result from the last source load."
+			})]
+		})
+	})] }) : /* @__PURE__ */ jsx(StepNote, {
+		label: "Data",
+		children: "No recorded source load. Coverage could not be determined."
+	});
+	return /* @__PURE__ */ jsxs("details", {
+		className: "ps-query-pushdown",
+		children: [/* @__PURE__ */ jsx(DisclosureSummary, { children: "Query path" }), /* @__PURE__ */ jsxs("div", {
+			className: "ps-query-execution",
+			"aria-label": "Query execution",
+			children: [
+				/* @__PURE__ */ jsxs("section", {
+					className: "ps-query-step",
+					"data-stage-state": !parentReplica && checking && load?.outcome !== "running" ? "active" : !parentReplica && reused ? "cached" : "ready",
+					children: [
+						/* @__PURE__ */ jsxs("h4", { children: [/* @__PURE__ */ jsx("span", {
+							"aria-hidden": true,
+							children: "1"
+						}), "Tab replica"] }),
+						/* @__PURE__ */ jsx(StepNote, {
+							label: "Filter",
+							children: requests.length === 0 ? "Translation not reported." : preserved ? demand.query?.where || requests.some((request) => request.requested?.where) ? "Unchanged." : "No filter requested." : incompleteFilter ? "Broadened; remaining conditions evaluated in this tab." : "Translation not reported."
+						}),
+						requests.length === 0 || !preserved || localOrder || localLimit ? /* @__PURE__ */ jsx(QueryPills, {
+							query: demand.query,
+							object
+						}) : null,
+						localSteps.map((step) => /* @__PURE__ */ jsx("p", {
+							className: "ps-query-step-note",
+							children: step
+						}, step)),
+						parentReplica ? /* @__PURE__ */ jsxs(StepNote, {
+							label: "Data",
+							children: [
+								"Live demand forwarded to the ",
+								sourceReplica,
+								"."
+							]
+						}) : replicaOutcome
+					]
+				}),
+				parentReplica && /* @__PURE__ */ jsxs("section", {
+					className: "ps-query-step",
+					"data-stage-state": checking && load?.outcome !== "running" ? "active" : reused ? "cached" : "ready",
+					children: [
+						/* @__PURE__ */ jsxs("h4", { children: [/* @__PURE__ */ jsx("span", {
+							"aria-hidden": true,
+							children: "2"
+						}), sourceReplica] }),
+						/* @__PURE__ */ jsx(StepNote, {
+							label: "Filter",
+							children: demand.query?.where ? "Unchanged." : "No filter requested."
+						}),
+						replicaOutcome
+					]
+				}),
+				/* @__PURE__ */ jsxs("section", {
+					className: "ps-query-step",
+					"data-stage-state": load?.outcome === "running" ? "active" : reused ? "skipped" : "ready",
+					"data-source-state": loadError ? "unknown" : load?.outcome === "running" ? "refreshing" : reused ? "cached" : load ? "requested" : "unknown",
+					children: [/* @__PURE__ */ jsxs("h4", { children: [
+						/* @__PURE__ */ jsx("span", {
+							"aria-hidden": true,
+							children: parentReplica ? 3 : 2
+						}),
+						source,
+						/* @__PURE__ */ jsx("span", {
+							className: "ps-query-source-status",
+							children: loadError ? "Status unavailable" : load?.outcome === "running" ? "Source request in progress" : checking ? "Checking replica coverage" : reused ? "Skipped · replica cache hit" : load?.outcome === "failure" ? "Source request failed" : load?.outcome === "interrupted" ? "Source request cancelled" : load ? "Source request completed" : "No recorded load"
+						})
+					] }), sourceDetails]
+				})
+			]
+		})]
+	});
+}
+//#endregion
+export { QueryPushdown, RequestedQuery };
+
+//# sourceMappingURL=QueryPushdown.js.map

package/lib/QueryPushdown.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"QueryPushdown.js","names":[],"sources":["../src/QueryPushdown.tsx"],"sourcesContent":["import { IR } from \"@tanstack/db\";\nimport { useState, type ReactNode } from \"react\";\nimport { DisclosureSummary } from \"./DisclosureSummary.js\";\nimport { NativeQueryCode } from \"./NativeQueryCode.js\";\nimport { OperandToken, QueryPills, QuerySubject, nullOrderLabel } from \"./QueryPills.js\";\nimport { demandId } from \"./replicationActivity.js\";\nimport type { ReplicationLoad, ReplicationDemand } from \"./replicationActivity.js\";\nimport type { ObjectTypeDef } from \"@party-stack/ontology\";\nimport type { CollectionDemandDiagnostic } from \"@party-stack/ontology/tanstack\";\n\nconst operators: Readonly<Record<string, string>> = {\n    eq: \"=\",\n    gt: \">\",\n    gte: \"≥\",\n    lt: \"<\",\n    lte: \"≤\",\n    like: \"matches\",\n    ilike: \"matches (ignore case)\",\n    in: \"in\",\n};\nfunction Expression({\n    expression,\n    object,\n    pattern = false,\n}: {\n    expression: IR.BasicExpression;\n    object?: ObjectTypeDef;\n    pattern?: boolean;\n}) {\n    if (expression.type === \"ref\")\n        return (\n            <OperandToken\n                value={{ _tag: \"Field\", path: IR.getPropRefPropertyPath(expression) }}\n                object={object}\n            />\n        );\n    if (expression.type === \"val\") {\n        if (Array.isArray(expression.value))\n            return (\n                <span className=\"ps-query-values\">\n                    [\n                    {expression.value.map((value, index) => (\n                        <Expression key={index} expression={new IR.Value(value)} object={object} />\n                    ))}\n                    ]\n                </span>\n            );\n        if (\n            expression.value === null ||\n            expression.value === undefined ||\n            [\"string\", \"number\", \"boolean\", \"bigint\"].includes(typeof expression.value)\n        )\n            return <OperandToken value={expression.value} object={object} pattern={pattern} />;\n        return <code>{JSON.stringify(expression.value)}</code>;\n    }\n    if (expression.type !== \"func\") return <span>Unknown expression</span>;\n    const { name, args } = expression;\n    if (name === \"and\" || name === \"or\" || name === \"not\")\n        return (\n            <div className=\"ps-query-group\">\n                <span className=\"ps-query-connector\">{name.toUpperCase()}</span>\n                <div className=\"ps-query-branches\">\n                    {args.map((arg, index) => (\n                        <Expression key={index} expression={arg} object={object} />\n                    ))}\n                </div>\n            </div>\n        );\n    return (\n        <div className=\"ps-query-comparison\">\n            {operators[name] && args.length === 2 ? (\n                <>\n                    <Expression expression={args[0]!} object={object} />\n                    <span className=\"ps-query-operator\">{operators[name]}</span>\n                    <Expression\n                        expression={args[1]!}\n                        object={object}\n                        pattern={name === \"like\" || name === \"ilike\"}\n                    />\n                </>\n            ) : (\n                <>\n                    <span className=\"ps-query-operator\">{name}(</span>\n                    {args.map((arg, index) => (\n                        <span key={index}>\n                            {index > 0 && \", \"}\n                            <Expression expression={arg} object={object} />\n                        </span>\n                    ))}\n                    <span className=\"ps-query-operator\">)</span>\n                </>\n            )}\n        </div>\n    );\n}\n\nexport function RequestedQuery({\n    request,\n    demand,\n    object,\n}: {\n    request: CollectionDemandDiagnostic;\n    demand: ReplicationDemand;\n    object?: ObjectTypeDef;\n}) {\n    const query = request.requested;\n    return (\n        <div className=\"ps-query-expression\" aria-label=\"Requested query\">\n            <div className=\"ps-query-sentence\">\n                <QuerySubject object={object} objectType={demand.objectType} />\n                {query?.where ? (\n                    <>\n                        <span className=\"ps-query-keyword\">where</span>\n                        <Expression expression={query.where} object={object} />\n                    </>\n                ) : (\n                    <span className=\"ps-query-keyword\">— all rows</span>\n                )}\n            </div>\n            {query?.orderBy?.map((order, index) => (\n                <div className=\"ps-query-clause\" key={index}>\n                    <span className=\"ps-query-keyword\">order by</span>\n                    <Expression expression={order.expression} object={object} />\n                    <span className=\"ps-query-operator\">\n                        {order.compareOptions.direction === \"desc\" ? \"descending\" : \"ascending\"}\n                        {nullOrderLabel(order.compareOptions)}\n                    </span>\n                </div>\n            ))}\n            {query?.limit !== undefined && (\n                <div className=\"ps-query-clause\">\n                    <span className=\"ps-query-keyword\">limit</span>\n                    <OperandToken value={query.limit} />\n                </div>\n            )}\n            {query?.offset !== undefined && (\n                <div className=\"ps-query-clause\">\n                    <span className=\"ps-query-keyword\">offset</span>\n                    <OperandToken value={query.offset} />\n                </div>\n            )}\n            {query?.cursor && (\n                <div className=\"ps-query-clause\">\n                    <span className=\"ps-query-keyword\">cursor</span>\n                    <Expression\n                        expression={new IR.Func(\"or\", [query.cursor.whereFrom, query.cursor.whereCurrent])}\n                        object={object}\n                    />\n                </div>\n            )}\n        </div>\n    );\n}\n\nfunction formatInterval(ms: number | undefined) {\n    if (ms === undefined) return \"configured interval\";\n    if (ms % 60_000 === 0) return `${ms / 60_000} ${ms === 60_000 ? \"minute\" : \"minutes\"}`;\n    if (ms % 1000 === 0) return `${ms / 1000} ${ms === 1000 ? \"second\" : \"seconds\"}`;\n    return `${ms} ms`;\n}\n\nfunction StepNote({ label, children }: { label: \"Filter\" | \"Data\"; children: ReactNode }) {\n    return (\n        <p className=\"ps-query-step-note\">\n            <strong>{label}:</strong> {children}\n        </p>\n    );\n}\n\nexport function QueryPushdown({\n    requests,\n    demand,\n    load,\n    object,\n    loadStats,\n    loadError,\n    parentReplica,\n    coveredBy: checkedCoverage,\n    coverageProof: checkedProof,\n    previousLoad,\n    sourceName,\n    checking = false,\n}: {\n    requests: readonly CollectionDemandDiagnostic[];\n    demand: ReplicationDemand;\n    load?: ReplicationLoad;\n    object?: ObjectTypeDef;\n    loadStats?: ReactNode;\n    loadError?: string;\n    parentReplica?: string;\n    coveredBy?: ReplicationDemand[\"coveredBy\"];\n    coverageProof?: ReplicationDemand[\"coverageProof\"];\n    previousLoad?: ReplicationLoad;\n    sourceName?: string;\n    checking?: boolean;\n}) {\n    const preserved = requests.every((request) => (request.filterExact ?? request.exact) === true);\n    const incompleteFilter = requests.some((request) => (request.filterExact ?? request.exact) === false);\n    const localOrder = requests.some((request) => request.orderExact === false);\n    const localLimit = requests.some(\n        (request) => request.requested?.limit !== undefined && request.query?.limit === undefined\n    );\n    const localSteps = [\n        incompleteFilter && \"This tab filters the replica’s response to finish evaluating the query.\",\n        localOrder && \"This tab sorts the replica’s response.\",\n        localLimit && \"This tab applies the query limit to the replica’s response.\",\n    ].filter((step): step is string => typeof step === \"string\");\n    const queryId = demandId(demand);\n    const [lastCheck, setLastCheck] = useState({\n        queryId,\n        coveredBy: checkedCoverage,\n        coverageProof: checkedProof,\n        refresh: checkedProof,\n    });\n    // Keep the last completed decision visible while a refresh is being checked.\n    if (\n        lastCheck.queryId !== queryId ||\n        (!checking && (lastCheck.coveredBy !== checkedCoverage || lastCheck.coverageProof !== checkedProof))\n    ) {\n        setLastCheck({\n            queryId,\n            coveredBy: checkedCoverage,\n            coverageProof: checkedProof,\n            refresh: checkedProof ?? (lastCheck.queryId === queryId ? lastCheck.refresh : undefined),\n        });\n    }\n    const coveredBy = checking && lastCheck.queryId === queryId ? lastCheck.coveredBy : checkedCoverage;\n    const coverageProof = checking && lastCheck.queryId === queryId ? lastCheck.coverageProof : checkedProof;\n    const refreshProof = coverageProof ?? (lastCheck.queryId === queryId ? lastCheck.refresh : undefined);\n    const displayedLoad = load?.outcome === \"running\" ? (previousLoad ?? load) : load;\n    const plan = displayedLoad?.pushdown ?? previousLoad?.pushdown;\n    const source = plan?.source ?? sourceName ?? \"Source\";\n    const sourceReplica = parentReplica ? `${parentReplica} replica` : \"Tab replica\";\n    const reused = Boolean(coveredBy);\n    const sameQuery = coveredBy && demandId(coveredBy) === demandId(demand);\n    const coverageReason =\n        coverageProof &&\n        {\n            collection: sameQuery\n                ? \"This query previously loaded the complete collection.\"\n                : \"Complete collection; includes every matching row.\",\n            query: sameQuery\n                ? \"Previously loaded complete result of the same query or primary-key lookup.\"\n                : \"A previously loaded complete result covers this request.\",\n            \"primary-key\": \"Requested primary key is present in this maintained result.\",\n        }[coverageProof.reason];\n    const residualFilter = plan?.predicates.some((term) => term.execution !== \"source\");\n    const filterStatus = plan?.predicates.length\n        ? plan.predicates.every((term) => term.execution === \"source\")\n            ? incompleteFilter\n                ? `Fully pushed down to ${source}; this tab still evaluates the remaining conditions.`\n                : `Fully pushed down to ${source}.`\n            : plan.predicates.every((term) => term.execution === \"adapter\" || term.execution === \"engine\")\n              ? `Not pushed down to ${source}.`\n              : `Partly pushed down to ${source}.`\n        : (load?.subset?.query ?? demand.query)?.where\n          ? \"Pushdown not reported.\"\n          : \"No filter requested.\";\n    const evaluator =\n        plan?.predicates.some((term) => term.execution === \"engine\") ||\n        plan?.sorting === \"engine\" ||\n        plan?.pagination === \"engine\"\n            ? \"query engine\"\n            : \"adapter\";\n    const adapterSteps = [\n        residualFilter && `The ${evaluator} filters ${source}’s response to finish evaluating the query.`,\n        plan?.rechecksFilter &&\n            !residualFilter &&\n            load?.fetchedRows !== undefined &&\n            load.rows !== undefined &&\n            load.fetchedRows !== load.rows &&\n            `The ${evaluator} also checks returned rows against the filter.`,\n        (plan?.sorting === \"adapter\" || plan?.sorting === \"engine\") &&\n            `The ${evaluator} sorts the returned rows.`,\n        (plan?.pagination === \"adapter\" || plan?.pagination === \"engine\") &&\n            `The ${evaluator} applies the query limit or pagination before returning rows to the ${sourceReplica}.`,\n    ].filter((step): step is string => typeof step === \"string\");\n    const refreshDescription = refreshProof && (\n        <span className=\"ps-query-refresh\">\n            {refreshProof.maintainedBy === \"journal\"\n                ? \"Refreshed through journal catch-up.\"\n                : refreshProof.maintainedBy === \"poll\"\n                  ? `Refreshed by polling every ${formatInterval(refreshProof.pollIntervalMs)}.`\n                  : refreshProof.maintainedBy === \"snapshot\"\n                    ? \"Reused a recent snapshot.\"\n                    : \"Refreshed by source change notifications.\"}\n        </span>\n    );\n    const sourceDetails = (\n        <>\n            <StepNote label=\"Filter\">\n                {displayedLoad\n                    ? plan\n                        ? filterStatus\n                        : \"Pushdown not reported.\"\n                    : \"No pushdown recorded for this query.\"}\n            </StepNote>\n            {plan && displayedLoad && (\n                <QueryPills\n                    query={displayedLoad.subset?.query ?? demand.query}\n                    object={object}\n                    annotations={plan.predicates}\n                />\n            )}\n            {adapterSteps.map((step) => (\n                <p className=\"ps-query-step-note\" key={step}>\n                    {step}\n                </p>\n            ))}\n            <StepNote label=\"Data\">\n                {displayedLoad ? loadStats : \"No source load recorded for this query.\"}\n                {refreshDescription && <> · {refreshDescription}</>}\n            </StepNote>\n            {displayedLoad?.error && <p className=\"ps-query-residual\">{displayedLoad.error.message}</p>}\n            {plan?.native && (\n                <details className=\"ps-query-native\">\n                    <DisclosureSummary>Native query ({plan.native.language.toUpperCase()})</DisclosureSummary>\n                    <NativeQueryCode language={plan.native.language} text={plan.native.text} />\n                </details>\n            )}\n        </>\n    );\n    const replicaOutcome = loadError ? (\n        <StepNote label=\"Data\">Diagnostics disconnected: {loadError}</StepNote>\n    ) : coveredBy ? (\n        <>\n            <StepNote label=\"Data\">\n                {sameQuery\n                    ? \"Reused this query’s previous result; no upstream request needed.\"\n                    : \"Satisfied by local coverage; no upstream request needed.\"}\n            </StepNote>\n            <div className=\"ps-query-data-details\">\n                <section className=\"ps-query-data-section\" aria-label=\"Coverage\">\n                    <h5>Coverage</h5>\n                    {coverageReason && <p className=\"ps-query-step-note\">{coverageReason}</p>}\n                    {!sameQuery && (\n                        <QueryPills query={coveredBy.query} object={object} objectType={demand.objectType} />\n                    )}\n                </section>\n            </div>\n        </>\n    ) : load ? (\n        <>\n            <StepNote label=\"Data\">\n                {load.outcome === \"running\" ? `Requesting from ${source}.` : `Requested from ${source}.`}\n            </StepNote>\n            {displayedLoad?.outcome === \"success\" && displayedLoad.complete && (\n                <div className=\"ps-query-data-details\">\n                    <section className=\"ps-query-data-section\" aria-label=\"Coverage\">\n                        <h5>Coverage</h5>\n                        <p className=\"ps-query-step-note\">Complete result from the last source load.</p>\n                    </section>\n                </div>\n            )}\n        </>\n    ) : (\n        <StepNote label=\"Data\">No recorded source load. Coverage could not be determined.</StepNote>\n    );\n    return (\n        <details className=\"ps-query-pushdown\">\n            <DisclosureSummary>Query path</DisclosureSummary>\n            <div className=\"ps-query-execution\" aria-label=\"Query execution\">\n                <section\n                    className=\"ps-query-step\"\n                    data-stage-state={\n                        !parentReplica && checking && load?.outcome !== \"running\"\n                            ? \"active\"\n                            : !parentReplica && reused\n                              ? \"cached\"\n                              : \"ready\"\n                    }\n                >\n                    <h4>\n                        <span aria-hidden>1</span>Tab replica\n                    </h4>\n                    <StepNote label=\"Filter\">\n                        {requests.length === 0\n                            ? \"Translation not reported.\"\n                            : preserved\n                              ? demand.query?.where || requests.some((request) => request.requested?.where)\n                                  ? \"Unchanged.\"\n                                  : \"No filter requested.\"\n                              : incompleteFilter\n                                ? \"Broadened; remaining conditions evaluated in this tab.\"\n                                : \"Translation not reported.\"}\n                    </StepNote>\n                    {requests.length === 0 || !preserved || localOrder || localLimit ? (\n                        <QueryPills query={demand.query} object={object} />\n                    ) : null}\n                    {localSteps.map((step) => (\n                        <p className=\"ps-query-step-note\" key={step}>\n                            {step}\n                        </p>\n                    ))}\n                    {parentReplica ? (\n                        <StepNote label=\"Data\">Live demand forwarded to the {sourceReplica}.</StepNote>\n                    ) : (\n                        replicaOutcome\n                    )}\n                </section>\n                {parentReplica && (\n                    <section\n                        className=\"ps-query-step\"\n                        data-stage-state={\n                            checking && load?.outcome !== \"running\" ? \"active\" : reused ? \"cached\" : \"ready\"\n                        }\n                    >\n                        <h4>\n                            <span aria-hidden>2</span>\n                            {sourceReplica}\n                        </h4>\n                        <StepNote label=\"Filter\">\n                            {demand.query?.where ? \"Unchanged.\" : \"No filter requested.\"}\n                        </StepNote>\n                        {replicaOutcome}\n                    </section>\n                )}\n                <section\n                    className=\"ps-query-step\"\n                    data-stage-state={load?.outcome === \"running\" ? \"active\" : reused ? \"skipped\" : \"ready\"}\n                    data-source-state={\n                        loadError\n                            ? \"unknown\"\n                            : load?.outcome === \"running\"\n                              ? \"refreshing\"\n                              : reused\n                                ? \"cached\"\n                                : load\n                                  ? \"requested\"\n                                  : \"unknown\"\n                    }\n                >\n                    <h4>\n                        <span aria-hidden>{parentReplica ? 3 : 2}</span>\n                        {source}\n                        <span className=\"ps-query-source-status\">\n                            {loadError\n                                ? \"Status unavailable\"\n                                : load?.outcome === \"running\"\n                                  ? \"Source request in progress\"\n                                  : checking\n                                    ? \"Checking replica coverage\"\n                                    : reused\n                                      ? \"Skipped · replica cache hit\"\n                                      : load?.outcome === \"failure\"\n                                        ? \"Source request failed\"\n                                        : load?.outcome === \"interrupted\"\n                                          ? \"Source request cancelled\"\n                                          : load\n                                            ? \"Source request completed\"\n                                            : \"No recorded load\"}\n                        </span>\n                    </h4>\n                    {sourceDetails}\n                </section>\n            </div>\n        </details>\n    );\n}\n"],"mappings":";;;;;;;;;AAUA,MAAM,YAA8C;CAChD,IAAI;CACJ,IAAI;CACJ,KAAK;CACL,IAAI;CACJ,KAAK;CACL,MAAM;CACN,OAAO;CACP,IAAI;AACR;AACA,SAAS,WAAW,EAChB,YACA,QACA,UAAU,SAKX;CACC,IAAI,WAAW,SAAS,OACpB,OACI,oBAAC,cAAD;EACI,OAAO;GAAE,MAAM;GAAS,MAAM,GAAG,uBAAuB,UAAU;EAAE;EAC5D;CACX,CAAA;CAET,IAAI,WAAW,SAAS,OAAO;EAC3B,IAAI,MAAM,QAAQ,WAAW,KAAK,GAC9B,OACI,qBAAC,QAAD;GAAM,WAAU;GAAhB,UAAA;IAAkC;IAE7B,WAAW,MAAM,KAAK,OAAO,UAC1B,oBAAC,YAAD;KAAwB,YAAY,IAAI,GAAG,MAAM,KAAK;KAAW;IAAS,GAAzD,KAAyD,CAC7E;IAAE;GAED;;EAEd,IACI,WAAW,UAAU,QACrB,WAAW,UAAU,KAAA,KACrB;GAAC;GAAU;GAAU;GAAW;EAAQ,CAAC,CAAC,SAAS,OAAO,WAAW,KAAK,GAE1E,OAAO,oBAAC,cAAD;GAAc,OAAO,WAAW;GAAe;GAAiB;EAAU,CAAA;EACrF,OAAO,oBAAC,QAAD,EAAA,UAAO,KAAK,UAAU,WAAW,KAAK,EAAQ,CAAA;CACzD;CACA,IAAI,WAAW,SAAS,QAAQ,OAAO,oBAAC,QAAD,EAAA,UAAM,qBAAwB,CAAA;CACrE,MAAM,EAAE,MAAM,SAAS;CACvB,IAAI,SAAS,SAAS,SAAS,QAAQ,SAAS,OAC5C,OACI,qBAAC,OAAD;EAAK,WAAU;EAAf,UAAA,CACI,oBAAC,QAAD;GAAM,WAAU;GAAsB,UAAA,KAAK,YAAY;EAAQ,CAAA,GAC/D,oBAAC,OAAD;GAAK,WAAU;GACV,UAAA,KAAK,KAAK,KAAK,UACZ,oBAAC,YAAD;IAAwB,YAAY;IAAa;GAAS,GAAzC,KAAyC,CAC7D;EACA,CAAA,CACJ;;CAEb,OACI,oBAAC,OAAD;EAAK,WAAU;EACV,UAAA,UAAU,SAAS,KAAK,WAAW,IAChC,qBAAA,UAAA,EAAA,UAAA;GACI,oBAAC,YAAD;IAAY,YAAY,KAAK;IAAa;GAAS,CAAA;GACnD,oBAAC,QAAD;IAAM,WAAU;IAAqB,UAAA,UAAU;GAAY,CAAA;GAC3D,oBAAC,YAAD;IACI,YAAY,KAAK;IACT;IACR,SAAS,SAAS,UAAU,SAAS;GACxC,CAAA;EACH,EAAA,CAAA,IAEF,qBAAA,UAAA,EAAA,UAAA;GACI,qBAAC,QAAD;IAAM,WAAU;IAAhB,UAAA,CAAqC,MAAK,GAAO;;GAChD,KAAK,KAAK,KAAK,UACZ,qBAAC,QAAD,EAAA,UAAA,CACK,QAAQ,KAAK,MACd,oBAAC,YAAD;IAAY,YAAY;IAAa;GAAS,CAAA,CAC5C,EAAA,GAHK,KAGL,CACT;GACD,oBAAC,QAAD;IAAM,WAAU;IAAoB,UAAA;GAAO,CAAA;EAC7C,EAAA,CAAA;CAEL,CAAA;AAEb;AAEA,SAAgB,eAAe,EAC3B,SACA,QACA,UAKD;CACC,MAAM,QAAQ,QAAQ;CACtB,OACI,qBAAC,OAAD;EAAK,WAAU;EAAsB,cAAW;EAAhD,UAAA;GACI,qBAAC,OAAD;IAAK,WAAU;IAAf,UAAA,CACI,oBAAC,cAAD;KAAsB;KAAQ,YAAY,OAAO;IAAa,CAAA,GAC7D,OAAO,QACJ,qBAAA,UAAA,EAAA,UAAA,CACI,oBAAC,QAAD;KAAM,WAAU;KAAmB,UAAA;IAAW,CAAA,GAC9C,oBAAC,YAAD;KAAY,YAAY,MAAM;KAAe;IAAS,CAAA,CACxD,EAAA,CAAA,IAEF,oBAAC,QAAD;KAAM,WAAU;KAAmB,UAAA;IAAgB,CAAA,CAEtD;;GACJ,OAAO,SAAS,KAAK,OAAO,UACzB,qBAAC,OAAD;IAAK,WAAU;IAAf,UAAA;KACI,oBAAC,QAAD;MAAM,WAAU;MAAmB,UAAA;KAAc,CAAA;KACjD,oBAAC,YAAD;MAAY,YAAY,MAAM;MAAoB;KAAS,CAAA;KAC3D,qBAAC,QAAD;MAAM,WAAU;MAAhB,UAAA,CACK,MAAM,eAAe,cAAc,SAAS,eAAe,aAC3D,eAAe,MAAM,cAAc,CAClC;;IACL;GAPiC,GAAA,KAOjC,CACR;GACA,OAAO,UAAU,KAAA,KACd,qBAAC,OAAD;IAAK,WAAU;IAAf,UAAA,CACI,oBAAC,QAAD;KAAM,WAAU;KAAmB,UAAA;IAAW,CAAA,GAC9C,oBAAC,cAAD,EAAc,OAAO,MAAM,MAAQ,CAAA,CAClC;;GAER,OAAO,WAAW,KAAA,KACf,qBAAC,OAAD;IAAK,WAAU;IAAf,UAAA,CACI,oBAAC,QAAD;KAAM,WAAU;KAAmB,UAAA;IAAY,CAAA,GAC/C,oBAAC,cAAD,EAAc,OAAO,MAAM,OAAS,CAAA,CACnC;;GAER,OAAO,UACJ,qBAAC,OAAD;IAAK,WAAU;IAAf,UAAA,CACI,oBAAC,QAAD;KAAM,WAAU;KAAmB,UAAA;IAAY,CAAA,GAC/C,oBAAC,YAAD;KACI,YAAY,IAAI,GAAG,KAAK,MAAM,CAAC,MAAM,OAAO,WAAW,MAAM,OAAO,YAAY,CAAC;KACzE;IACX,CAAA,CACA;;EAER;;AAEb;AAEA,SAAS,eAAe,IAAwB;CAC5C,IAAI,OAAO,KAAA,GAAW,OAAO;CAC7B,IAAI,KAAK,QAAW,GAAG,OAAO,GAAG,KAAK,IAAO,GAAG,OAAO,MAAS,WAAW;CAC3E,IAAI,KAAK,QAAS,GAAG,OAAO,GAAG,KAAK,IAAK,GAAG,OAAO,MAAO,WAAW;CACrE,OAAO,GAAG,GAAG;AACjB;AAEA,SAAS,SAAS,EAAE,OAAO,YAA+D;CACtF,OACI,qBAAC,KAAD;EAAG,WAAU;EAAb,UAAA;GACI,qBAAC,UAAD,EAAA,UAAA,CAAS,OAAM,GAAS,EAAA,CAAA;GAAC;GAAE;EAC5B;;AAEX;AAEA,SAAgB,cAAc,EAC1B,UACA,QACA,MACA,QACA,WACA,WACA,eACA,WAAW,iBACX,eAAe,cACf,cACA,YACA,WAAW,SAcZ;CACC,MAAM,YAAY,SAAS,OAAO,aAAa,QAAQ,eAAe,QAAQ,WAAW,IAAI;CAC7F,MAAM,mBAAmB,SAAS,MAAM,aAAa,QAAQ,eAAe,QAAQ,WAAW,KAAK;CACpG,MAAM,aAAa,SAAS,MAAM,YAAY,QAAQ,eAAe,KAAK;CAC1E,MAAM,aAAa,SAAS,MACvB,YAAY,QAAQ,WAAW,UAAU,KAAA,KAAa,QAAQ,OAAO,UAAU,KAAA,CACpF;CACA,MAAM,aAAa;EACf,oBAAoB;EACpB,cAAc;EACd,cAAc;CAClB,CAAC,CAAC,QAAQ,SAAyB,OAAO,SAAS,QAAQ;CAC3D,MAAM,UAAU,SAAS,MAAM;CAC/B,MAAM,CAAC,WAAW,gBAAgB,SAAS;EACvC;EACA,WAAW;EACX,eAAe;EACf,SAAS;CACb,CAAC;CAED,IACI,UAAU,YAAY,WACrB,CAAC,aAAa,UAAU,cAAc,mBAAmB,UAAU,kBAAkB,eAEtF,aAAa;EACT;EACA,WAAW;EACX,eAAe;EACf,SAAS,iBAAiB,UAAU,YAAY,UAAU,UAAU,UAAU,KAAA;CAClF,CAAC;CAEL,MAAM,YAAY,YAAY,UAAU,YAAY,UAAU,UAAU,YAAY;CACpF,MAAM,gBAAgB,YAAY,UAAU,YAAY,UAAU,UAAU,gBAAgB;CAC5F,MAAM,eAAe,kBAAkB,UAAU,YAAY,UAAU,UAAU,UAAU,KAAA;CAC3F,MAAM,gBAAgB,MAAM,YAAY,YAAa,gBAAgB,OAAQ;CAC7E,MAAM,OAAO,eAAe,YAAY,cAAc;CACtD,MAAM,SAAS,MAAM,UAAU,cAAc;CAC7C,MAAM,gBAAgB,gBAAgB,GAAG,cAAc,YAAY;CACnE,MAAM,SAAS,QAAQ,SAAS;CAChC,MAAM,YAAY,aAAa,SAAS,SAAS,MAAM,SAAS,MAAM;CACtE,MAAM,iBACF,iBACA;EACI,YAAY,YACN,0DACA;EACN,OAAO,YACD,+EACA;EACN,eAAe;CACnB,EAAE,cAAc;CACpB,MAAM,iBAAiB,MAAM,WAAW,MAAM,SAAS,KAAK,cAAc,QAAQ;CAClF,MAAM,eAAe,MAAM,WAAW,SAChC,KAAK,WAAW,OAAO,SAAS,KAAK,cAAc,QAAQ,IACvD,mBACI,wBAAwB,OAAO,wDAC/B,wBAAwB,OAAO,KACnC,KAAK,WAAW,OAAO,SAAS,KAAK,cAAc,aAAa,KAAK,cAAc,QAAQ,IACzF,sBAAsB,OAAO,KAC7B,yBAAyB,OAAO,MACrC,MAAM,QAAQ,SAAS,OAAO,MAAA,EAAQ,QACrC,2BACA;CACR,MAAM,YACF,MAAM,WAAW,MAAM,SAAS,KAAK,cAAc,QAAQ,KAC3D,MAAM,YAAY,YAClB,MAAM,eAAe,WACf,iBACA;CACV,MAAM,eAAe;EACjB,kBAAkB,OAAO,UAAU,WAAW,OAAO;EACrD,MAAM,kBACF,CAAC,kBACD,MAAM,gBAAgB,KAAA,KACtB,KAAK,SAAS,KAAA,KACd,KAAK,gBAAgB,KAAK,QAC1B,OAAO,UAAU;GACpB,MAAM,YAAY,aAAa,MAAM,YAAY,aAC9C,OAAO,UAAU;GACpB,MAAM,eAAe,aAAa,MAAM,eAAe,aACpD,OAAO,UAAU,sEAAsE,cAAc;CAC7G,CAAC,CAAC,QAAQ,SAAyB,OAAO,SAAS,QAAQ;CAC3D,MAAM,qBAAqB,gBACvB,oBAAC,QAAD;EAAM,WAAU;EACX,UAAA,aAAa,iBAAiB,YACzB,wCACA,aAAa,iBAAiB,SAC5B,8BAA8B,eAAe,aAAa,cAAc,EAAE,KAC1E,aAAa,iBAAiB,aAC5B,8BACA;CACR,CAAA;CAEV,MAAM,gBACF,qBAAA,UAAA,EAAA,UAAA;EACI,oBAAC,UAAD;GAAU,OAAM;GACX,UAAA,gBACK,OACI,eACA,2BACJ;EACA,CAAA;EACT,QAAQ,iBACL,oBAAC,YAAD;GACI,OAAO,cAAc,QAAQ,SAAS,OAAO;GACrC;GACR,aAAa,KAAK;EACrB,CAAA;EAEJ,aAAa,KAAK,SACf,oBAAC,KAAD;GAAG,WAAU;GACR,UAAA;EACF,GAFoC,IAEpC,CACN;EACD,qBAAC,UAAD;GAAU,OAAM;GAAhB,UAAA,CACK,gBAAgB,YAAY,2CAC5B,sBAAsB,qBAAA,UAAA,EAAA,UAAA,CAAE,OAAI,kBAAqB,EAAA,CAAA,CAC5C;;EACT,eAAe,SAAS,oBAAC,KAAD;GAAG,WAAU;GAAqB,UAAA,cAAc,MAAM;EAAW,CAAA;EACzF,MAAM,UACH,qBAAC,WAAD;GAAS,WAAU;GAAnB,UAAA,CACI,qBAAC,mBAAD,EAAA,UAAA;IAAmB;IAAe,KAAK,OAAO,SAAS,YAAY;IAAE;GAAoB,EAAA,CAAA,GACzF,oBAAC,iBAAD;IAAiB,UAAU,KAAK,OAAO;IAAU,MAAM,KAAK,OAAO;GAAO,CAAA,CACrE;;CAEf,EAAA,CAAA;CAEN,MAAM,iBAAiB,YACnB,qBAAC,UAAD;EAAU,OAAM;EAAhB,UAAA,CAAuB,8BAA2B,SAAoB;CACtE,CAAA,IAAA,YACA,qBAAA,UAAA,EAAA,UAAA,CACI,oBAAC,UAAD;EAAU,OAAM;EACX,UAAA,YACK,qEACA;CACA,CAAA,GACV,oBAAC,OAAD;EAAK,WAAU;EACX,UAAA,qBAAC,WAAD;GAAS,WAAU;GAAwB,cAAW;GAAtD,UAAA;IACI,oBAAC,MAAD,EAAA,UAAI,WAAY,CAAA;IACf,kBAAkB,oBAAC,KAAD;KAAG,WAAU;KAAsB,UAAA;IAAkB,CAAA;IACvE,CAAC,aACE,oBAAC,YAAD;KAAY,OAAO,UAAU;KAAe;KAAQ,YAAY,OAAO;IAAa,CAAA;GAEnF;;CACR,CAAA,CACP,EAAA,CAAA,IACF,OACA,qBAAA,UAAA,EAAA,UAAA,CACI,oBAAC,UAAD;EAAU,OAAM;EACX,UAAA,KAAK,YAAY,YAAY,mBAAmB,OAAO,KAAK,kBAAkB,OAAO;CAChF,CAAA,GACT,eAAe,YAAY,aAAa,cAAc,YACnD,oBAAC,OAAD;EAAK,WAAU;EACX,UAAA,qBAAC,WAAD;GAAS,WAAU;GAAwB,cAAW;GAAtD,UAAA,CACI,oBAAC,MAAD,EAAA,UAAI,WAAY,CAAA,GAChB,oBAAC,KAAD;IAAG,WAAU;IAAqB,UAAA;GAA6C,CAAA,CAC1E;;CACR,CAAA,CAEX,EAAA,CAAA,IAEF,oBAAC,UAAD;EAAU,OAAM;EAAO,UAAA;CAAoE,CAAA;CAE/F,OACI,qBAAC,WAAD;EAAS,WAAU;EAAnB,UAAA,CACI,oBAAC,mBAAD,EAAA,UAAmB,aAA6B,CAAA,GAChD,qBAAC,OAAD;GAAK,WAAU;GAAqB,cAAW;GAA/C,UAAA;IACI,qBAAC,WAAD;KACI,WAAU;KACV,oBACI,CAAC,iBAAiB,YAAY,MAAM,YAAY,YAC1C,WACA,CAAC,iBAAiB,SAChB,WACA;KAPhB,UAAA;MAUI,qBAAC,MAAD,EAAA,UAAA,CACI,oBAAC,QAAD;OAAM,eAAA;OAAY,UAAA;MAAO,CAAA,GAAC,aAC1B,EAAA,CAAA;MACJ,oBAAC,UAAD;OAAU,OAAM;OACX,UAAA,SAAS,WAAW,IACf,8BACA,YACE,OAAO,OAAO,SAAS,SAAS,MAAM,YAAY,QAAQ,WAAW,KAAK,IACtE,eACA,yBACJ,mBACE,2DACA;MACJ,CAAA;MACT,SAAS,WAAW,KAAK,CAAC,aAAa,cAAc,aAClD,oBAAC,YAAD;OAAY,OAAO,OAAO;OAAe;MAAS,CAAA,IAClD;MACH,WAAW,KAAK,SACb,oBAAC,KAAD;OAAG,WAAU;OACR,UAAA;MACF,GAFoC,IAEpC,CACN;MACA,gBACG,qBAAC,UAAD;OAAU,OAAM;OAAhB,UAAA;QAAuB;QAA8B;QAAc;OAAW;MAE9E,CAAA,IAAA;KAEC;;IACR,iBACG,qBAAC,WAAD;KACI,WAAU;KACV,oBACI,YAAY,MAAM,YAAY,YAAY,WAAW,SAAS,WAAW;KAHjF,UAAA;MAMI,qBAAC,MAAD,EAAA,UAAA,CACI,oBAAC,QAAD;OAAM,eAAA;OAAY,UAAA;MAAO,CAAA,GACxB,aACD,EAAA,CAAA;MACJ,oBAAC,UAAD;OAAU,OAAM;OACX,UAAA,OAAO,OAAO,QAAQ,eAAe;MAChC,CAAA;MACT;KACI;;IAEb,qBAAC,WAAD;KACI,WAAU;KACV,oBAAkB,MAAM,YAAY,YAAY,WAAW,SAAS,YAAY;KAChF,qBACI,YACM,YACA,MAAM,YAAY,YAChB,eACA,SACE,WACA,OACE,cACA;KAZpB,UAAA,CAeI,qBAAC,MAAD,EAAA,UAAA;MACI,oBAAC,QAAD;OAAM,eAAA;OAAa,UAAA,gBAAgB,IAAI;MAAQ,CAAA;MAC9C;MACD,oBAAC,QAAD;OAAM,WAAU;OACX,UAAA,YACK,uBACA,MAAM,YAAY,YAChB,+BACA,WACE,8BACA,SACE,gCACA,MAAM,YAAY,YAChB,0BACA,MAAM,YAAY,gBAChB,6BACA,OACE,6BACA;MAChB,CAAA;KACN,EAAA,CAAA,GACH,aACI;;GACR;EACA,CAAA,CAAA;;AAEjB"}

package/lib/QueryTokens.d.ts

@@ -0,0 +1,25 @@
+import { Demand } from "./diagnostics.js";
+import { ObjectTypeDef } from "@party-stack/ontology";
+//#region src/QueryTokens.d.ts
+type Query$1 = NonNullable<Demand["query"]>;
+type Predicate = NonNullable<Query$1["where"]>;
+export type QueryOperand = Extract<Predicate, {
+  left: unknown;
+}>["left"];
+export declare function operandText(value: unknown, object?: ObjectTypeDef): string;
+export declare function nullOrderLabel(order: {
+  direction?: string;
+  nulls?: string;
+}): string;
+export declare function OperandToken({ value, object, pattern }: {
+  value: unknown;
+  object?: ObjectTypeDef;
+  pattern?: boolean;
+}): import("react").JSX.Element;
+export declare function QuerySubject({ object, objectType }: {
+  object?: ObjectTypeDef;
+  objectType?: string;
+}): import("react").JSX.Element | null;
+//#endregion
+export {};
+//# sourceMappingURL=QueryTokens.d.ts.map

package/lib/QueryTokens.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"QueryTokens.d.ts","names":["Query"],"sources":["../src/QueryTokens.tsx"],"mappings":";;;KAIKA,UAAQ,YAAY;KACpB,YAAY,YAAYA;YACjB,eAAe,QAAQ;EAAa;;wBAEhC,YAAY,gBAAgB,SAAS;wBAoBrC,eAAe;EAAS;EAAoB;;wBAK5C,eACZ,OACA,QACA;EAEA;EACA,SAAS;EACT;oBACH,IAAA;wBAyCe,eAAe,QAAQ;EAAgB,SAAS;EAAe;oBAAqB,IAAA"}