process-graph 1.1.1 → 1.2.0

package/dist/{queries-CCexJAE2.js → queries-C8kIDRiY.js}

@@ -1,5 +1,4 @@
-import { a as findCycles, d as lookup$1, f as CycleError, i as assertAcyclic, o as stronglyConnectedComponents, p as UnknownNodeError, r as loopTransitions, t as controlDag, u as buildDag } from "./control-aDk9560d.js";
-import { createSyncEvaluator } from "trilean";
+import { S as UnknownNodeError, b as lookup$1, c as evaluateBranches, d as isProvided, h as stronglyConnectedComponents, m as findCycles, p as assertAcyclic, r as loopTransitions, t as controlDag, x as CycleError, y as buildDag } from "./control-DiygoEhm.js";
 //#region ../../core/graph/projection/dist/actors.js
 const actorMap = (model) => {
 	const actors = /* @__PURE__ */ new Map();
@@ -1746,96 +1745,6 @@ const sequenceObserved = (model, scenario, observe) => {
 */
 const toSequence = (model, scenario) => sequenceObserved(model, scenario, void 0);
 //#endregion
-//#region ../../core/graph/domain/dist/facts.js
-/** The only field of a reserved key. Keys that carry it are resolved from the overlay, so a `Facts` implementation must not use it. */
-const elementField = "$element";
-/**
-* Builds the reserved key that reads another element's run state inside a condition. It resolves to the text `"done"` or `"open"`, and is not found (so the condition is indeterminate) when the overlay says `"unknown"` or the id is not an element of the model.
-*
-* The value is the overlay's own state, not the derived status: a condition therefore never depends on the derivation that evaluates it, and cannot form a cycle.
-* @param id - The element whose state is read.
-* @returns A key to put in a trilean `reference` node.
-*/
-const elementStatusKey = (id) => ({ [elementField]: id });
-/** The only field of the key the package puts to the port to ask whether an input artefact is provided. */
-const artefactField = "$artefact";
-/**
-* Builds the key the package asks the facts port when it needs to know whether an artefact has been provided from outside the process. An artefact is provided exactly when the port answers `{ found: true }` with the boolean `true`; a not-found or `false` answer means it is not.
-*
-* A provided artefact satisfies every consumer, whether or not an activity also produces it.
-* @param id - The artefact.
-* @returns The key the port is asked.
-*/
-const artefactKey = (id) => ({ [artefactField]: id });
-/**
-* Whether the facts port reports an artefact as provided.
-* @param facts - The injected source of facts.
-* @param id - The artefact.
-*/
-const isProvided = (facts, id) => {
-	const answer = facts(artefactKey(id));
-	return answer.found && answer.value.kind === "boolean" && answer.value.value;
-};
-/**
-* Thrown when a condition uses a node whose evaluation needs a table or a collection from the facts port, which answers single keys only.
-*/
-var UnsupportedConditionError = class extends Error {
-	/** The kind of reference the condition used. */
-	reference;
-	/**
-	* @param reference - The unsupported kind of reference.
-	*/
-	constructor(reference) {
-		super(`A condition uses a ${reference} reference, which the Facts port does not answer: it resolves single keys only`);
-		this.name = "UnsupportedConditionError";
-		this.reference = reference;
-	}
-};
-const evaluator = createSyncEvaluator({});
-const isRecord = (value) => typeof value === "object" && value !== null && !Array.isArray(value);
-/**
-* Evaluates every transition's condition.
-*
-* A definite true is `taken`, a definite false is `not-taken` and an indeterminate result is `indeterminate`. A transition without a condition is `taken`. Conditions are evaluated for every transition regardless of the state of its source.
-* @param model - The model whose transitions are evaluated.
-* @param overlay - Run state, read by `elementStatusKey` references.
-* @param facts - The injected source of facts.
-* @returns The outcome of every transition, in transition order.
-* @throws UnsupportedConditionError when a condition contains a `lookup`, `some`, `every` or fold node.
-*/
-const evaluateBranches = (model, overlay, facts) => {
-	const elementIds = new Set(model.elements.map(({ id }) => id));
-	const overlayOf = new Map(Object.entries(overlay));
-	const resolvers = {
-		resolveValue: (key) => {
-			if (!isRecord(key) || !(elementField in key)) return facts(key);
-			const id = key[elementField];
-			if (typeof id !== "string" || !elementIds.has(id)) return { found: false };
-			const state = overlayOf.get(id);
-			if (state === "unknown") return { found: false };
-			return {
-				found: true,
-				value: {
-					kind: "text",
-					value: state === "done" ? "done" : "open"
-				}
-			};
-		},
-		resolveLookup: () => {
-			throw new UnsupportedConditionError("lookup");
-		},
-		resolveCollection: () => {
-			throw new UnsupportedConditionError("collection");
-		}
-	};
-	return new Map(model.transitions.map(({ id, condition }) => {
-		if (condition === void 0) return [id, "taken"];
-		const result = evaluator.evaluatePredicate(condition, void 0, resolvers);
-		if (result.status === "indeterminate") return [id, "indeterminate"];
-		return [id, result.value ? "taken" : "not-taken"];
-	}));
-};
-//#endregion
 //#region ../../core/graph/domain/dist/lookup.js
 /**
 * Reads a value out of a map built over every element of a model.
@@ -2199,4 +2108,4 @@ const unmetOutputs = (model, overlay, facts) => {
 	return unmet;
 };
 //#endregion
-export { topologicalLayers as C, immediateDominators as S, toSwimlane as _, unmetOutputs as a, handoffs as b, deriveStatuses as c, artefactKey as d, elementStatusKey as f, toStateMachine as g, stateMachineParts as h, readySet as i, statusRules as l, toSequence as m, criticalPath as n, whatIfDone as o, evaluateBranches as p, impact as r, explainStatus as s, blockedBy as t, UnsupportedConditionError as u, flowchartParts as v, actorMap as w, criticalPath$1 as x, toFlowchart as y };
+export { criticalPath$1 as _, unmetOutputs as a, actorMap as b, deriveStatuses as c, stateMachineParts as d, toStateMachine as f, handoffs as g, toFlowchart as h, readySet as i, statusRules as l, flowchartParts as m, criticalPath as n, whatIfDone as o, toSwimlane as p, impact as r, explainStatus as s, blockedBy as t, toSequence as u, immediateDominators as v, topologicalLayers as y };

package/dist/react-flow.d.ts

@@ -1,8 +1,8 @@
-import { F as Status } from "./index-CCfe0csl.js";
+import { B as Status } from "./index-BH1aFqkJ.js";
 import { G as IdSpace, O as Projection, g as Model, x as Element } from "./index-CmZOswkx.js";
 import { A as Flowchart, E as Swimlane, x as StateMachine } from "./index-CoA6vXqe.js";
 import { i as LayoutView, n as LayoutOptions, r as LayoutResult, s as Direction } from "./index-CrM5qWUA.js";
-import { A as ElementFilter, rt as Run, y as NamedElement } from "./index-DricKcyl.js";
+import { A as ElementFilter, rt as Run, y as NamedElement } from "./index-BUheRLdG.js";
 import { ReactElement } from "react";
 import { ColorMode, Edge, EdgeProps, Node, NodeProps } from "@xyflow/react";
 //#region ../../ui/graph/react-flow/dist/use-layout.d.ts

package/dist/react-flow.js

@@ -1,6 +1,6 @@
-import { _ as toSwimlane, g as toStateMachine, m as toSequence, y as toFlowchart } from "./queries-CCexJAE2.js";
+import { f as toStateMachine, h as toFlowchart, p as toSwimlane, u as toSequence } from "./queries-C8kIDRiY.js";
 import { t as layout } from "./layout-CCM-KBdp.js";
-import { d as useBlockers, f as useCriticalPath, h as useStatuses, i as filterElements, r as emptyFilter, t as useGraphSelection } from "./selection-BW_xXWOy.js";
+import { d as useBlockers, f as useCriticalPath, h as useStatuses, i as filterElements, r as emptyFilter, t as useGraphSelection } from "./selection-iet5RAlP.js";
 import { c as elementLabel } from "./detail-panel-B1ZmMuJT.js";
 import { a as Lane, n as ElementCard, s as SequenceDiagram } from "./dist-BpCBmnMl.js";
 import { useCallback, useEffect, useMemo, useRef, useState } from "react";

package/dist/react.d.ts

@@ -1,2 +1,2 @@
-import { $ as useWhyStatus, A as ElementFilter, B as useElementFilter, C as ruleDescriptions, D as SelectionContainerProps, E as GraphSelectionOptions, F as emptyFilter, G as BlockedChain, H as ViewsByNotation, I as filterElements, J as useBlockers, K as stepWeight, L as filterOptions, M as FilterOption, N as FilterOptions, O as SelectionItemProps, P as actorsOf, Q as useStatuses, R as matchesFilter, S as elementLabel, T as GraphSelection, U as project, V as ProjectedView, W as useProjection, X as useImpact, Y as useCriticalPath, Z as useReadySet, _ as ElementCardPart, a as FilterPanelPart, b as StatusBadge, c as LegendPart, d as LanePart, et as ModelClient, f as LaneProps, g as ElementCard, h as TransitionItemProps, i as FilterPanel, it as noFacts, j as ElementFilterState, k as useGraphSelection, l as LegendProps, m as TransitionItemPart, n as DetailPanelPart, nt as useModel, o as FilterPanelProps, p as TransitionItem, q as useBlockedChain, r as DetailPanelProps, rt as Run, s as Legend, t as DetailPanel, tt as ModelState, u as Lane, v as ElementCardProps, w as statusLabels, x as StatusBadgeProps, y as NamedElement, z as sourceScope } from "./index-DricKcyl.js";
+import { $ as useWhyStatus, A as ElementFilter, B as useElementFilter, C as ruleDescriptions, D as SelectionContainerProps, E as GraphSelectionOptions, F as emptyFilter, G as BlockedChain, H as ViewsByNotation, I as filterElements, J as useBlockers, K as stepWeight, L as filterOptions, M as FilterOption, N as FilterOptions, O as SelectionItemProps, P as actorsOf, Q as useStatuses, R as matchesFilter, S as elementLabel, T as GraphSelection, U as project, V as ProjectedView, W as useProjection, X as useImpact, Y as useCriticalPath, Z as useReadySet, _ as ElementCardPart, a as FilterPanelPart, b as StatusBadge, c as LegendPart, d as LanePart, et as ModelClient, f as LaneProps, g as ElementCard, h as TransitionItemProps, i as FilterPanel, it as noFacts, j as ElementFilterState, k as useGraphSelection, l as LegendProps, m as TransitionItemPart, n as DetailPanelPart, nt as useModel, o as FilterPanelProps, p as TransitionItem, q as useBlockedChain, r as DetailPanelProps, rt as Run, s as Legend, t as DetailPanel, tt as ModelState, u as Lane, v as ElementCardProps, w as statusLabels, x as StatusBadgeProps, y as NamedElement, z as sourceScope } from "./index-BUheRLdG.js";
 export { type BlockedChain, DetailPanel, type DetailPanelPart, type DetailPanelProps, ElementCard, type ElementCardPart, type ElementCardProps, type ElementFilter, type ElementFilterState, type FilterOption, type FilterOptions, FilterPanel, type FilterPanelPart, type FilterPanelProps, type GraphSelection, type GraphSelectionOptions, Lane, type LanePart, type LaneProps, Legend, type LegendPart, type LegendProps, type ModelClient, type ModelState, type NamedElement, type ProjectedView, type Run, type SelectionContainerProps, type SelectionItemProps, StatusBadge, type StatusBadgeProps, TransitionItem, type TransitionItemPart, type TransitionItemProps, type ViewsByNotation, actorsOf, elementLabel, emptyFilter, filterElements, filterOptions, matchesFilter, noFacts, project, ruleDescriptions, sourceScope, statusLabels, stepWeight, useBlockedChain, useBlockers, useCriticalPath, useElementFilter, useGraphSelection, useImpact, useModel, useProjection, useReadySet, useStatuses, useWhyStatus };

package/dist/react.js

@@ -1,5 +1,5 @@
-import { _ as toSwimlane, g as toStateMachine, m as toSequence, y as toFlowchart } from "./queries-CCexJAE2.js";
-import { a as filterOptions, c as useElementFilter, d as useBlockers, f as useCriticalPath, g as useWhyStatus, h as useStatuses, i as filterElements, l as stepWeight, m as useReadySet, n as actorsOf, o as matchesFilter, p as useImpact, r as emptyFilter, s as sourceScope, t as useGraphSelection, u as useBlockedChain } from "./selection-BW_xXWOy.js";
+import { f as toStateMachine, h as toFlowchart, p as toSwimlane, u as toSequence } from "./queries-C8kIDRiY.js";
+import { a as filterOptions, c as useElementFilter, d as useBlockers, f as useCriticalPath, g as useWhyStatus, h as useStatuses, i as filterElements, l as stepWeight, m as useReadySet, n as actorsOf, o as matchesFilter, p as useImpact, r as emptyFilter, s as sourceScope, t as useGraphSelection, u as useBlockedChain } from "./selection-iet5RAlP.js";
 import { a as TransitionItem, c as elementLabel, i as Lane, l as ruleDescriptions, n as FilterPanel, o as ElementCard, r as Legend, s as StatusBadge, t as DetailPanel, u as statusLabels } from "./detail-panel-B1ZmMuJT.js";
 import { ORPCError } from "@orpc/client";
 import { useEffect, useMemo, useState } from "react";

package/dist/{router-D4gtTlXm.js → router-DvGGLnNt.js}

@@ -1,5 +1,5 @@
 import { r as overlaySchema, t as modelSchema } from "./schema-CVnS6HiX.js";
-import { C as modelSummarySchema, D as revisionSchema, E as relationSchema, O as storeChangeSchema, S as modelIdSchema, _ as GraphStoreError, k as storedModelSchema, w as reachSchema, x as issueSchema, y as boundItemsSchema } from "./store-BcR70CaO.js";
+import { A as modelIdSchema, C as boundItemsSchema, E as factClearingSchema, F as revisionSchema, I as storeChangeSchema, L as storedFactsSchema, M as reachSchema, P as relationSchema, R as storedModelSchema, T as factChangeSchema, j as modelSummarySchema, k as issueSchema, x as GraphStoreError } from "./store-BJILV4JS.js";
 import { z } from "zod";
 import { eventIterator, oc } from "@orpc/contract";
 import { implement } from "@orpc/server";
@@ -44,6 +44,17 @@ const graphStoreContract = { v1: oc.errors(graphStoreErrors).router({
 		modelId: modelIdSchema,
 		overlay: overlaySchema
 	}).readonly()).output(written) },
+	facts: {
+		read: oc.input(modelRef).output(storedFactsSchema),
+		set: oc.input(z.strictObject({
+			modelId: modelIdSchema,
+			facts: factChangeSchema
+		}).readonly()).output(written),
+		clear: oc.input(z.strictObject({
+			modelId: modelIdSchema,
+			facts: factClearingSchema
+		}).readonly()).output(written)
+	},
 	items: { upsert: oc.input(z.strictObject({
 		modelId: modelIdSchema,
 		items: boundItemsSchema
@@ -125,6 +136,20 @@ const createGraphStoreRouter = (store) => os.router({ v1: {
 		...input,
 		signal
 	}) }))) },
+	facts: {
+		read: os.v1.facts.read.handler(async ({ input, signal, errors }) => call(signal, errors, async () => store.readFacts({
+			...input,
+			signal
+		}))),
+		set: os.v1.facts.set.handler(async ({ input, signal, errors }) => call(signal, errors, async () => ({ revision: await store.setFacts({
+			...input,
+			signal
+		}) }))),
+		clear: os.v1.facts.clear.handler(async ({ input, signal, errors }) => call(signal, errors, async () => ({ revision: await store.clearFacts({
+			...input,
+			signal
+		}) })))
+	},
 	items: { upsert: os.v1.items.upsert.handler(async ({ input, signal, errors }) => call(signal, errors, async () => ({ revision: await store.upsertItems({
 		...input,
 		signal

package/dist/{selection-BW_xXWOy.js → selection-iet5RAlP.js}

@@ -1,4 +1,4 @@
-import { c as deriveStatuses, i as readySet, n as criticalPath, r as impact, s as explainStatus, t as blockedBy } from "./queries-CCexJAE2.js";
+import { c as deriveStatuses, i as readySet, n as criticalPath, r as impact, s as explainStatus, t as blockedBy } from "./queries-C8kIDRiY.js";
 import { useCallback, useMemo, useRef, useState } from "react";
 //#region ../../ui/graph/react/dist/analysis.js
 /**

package/dist/store/node.d.ts

@@ -1,4 +1,4 @@
-import { b as GraphStore } from "../index-DhbvDgK4.js";
+import { w as GraphStore } from "../index-DxWOY8f9.js";
 import { DatabaseSyncOptions } from "node:sqlite";
 import { NodeSQLiteDatabase } from "drizzle-orm/node-sqlite";
 //#region ../../adapters/graph/sqlite-node/dist/open.d.ts

package/dist/store/node.js

@@ -1,2 +1,2 @@
-import { t as openNodeGraphStore } from "../open-CyRXJ4bt.js";
+import { t as openNodeGraphStore } from "../open-BF-UHqeW.js";
 export { openNodeGraphStore };

package/dist/store/wasm/worker.js

@@ -1,5 +1,5 @@
-import { O as storeChangeSchema, h as ChangeFeed, t as createSqliteGraphStore } from "../../store-BcR70CaO.js";
-import { t as createGraphStoreRouter } from "../../router-D4gtTlXm.js";
+import { I as storeChangeSchema, t as createSqliteGraphStore, y as ChangeFeed } from "../../store-BJILV4JS.js";
+import { t as createGraphStoreRouter } from "../../router-DvGGLnNt.js";
 import sqlite3InitModule from "@sqlite.org/sqlite-wasm";
 import { RPCHandler } from "@orpc/server/message-port";
 import { drizzle } from "drizzle-orm/sqlite-proxy";

package/dist/store/wasm.d.ts

@@ -1,4 +1,4 @@
-import { Q as GraphStoreClient } from "../index-DhbvDgK4.js";
+import { ut as GraphStoreClient } from "../index-DxWOY8f9.js";
 //#region ../../adapters/graph/sqlite-wasm/dist/client.d.ts
 /**
  * A client for the graph store a worker serves with `serveGraphStoreInWorker`. Every procedure of the contract is available, with its abort signal and typed errors, as if the store were in the page.