process-graph 1.1.1 → 1.3.0

package/dist/{store-BcR70CaO.js → store-DKzvLGgl.js}

@@ -1,8 +1,9 @@
 import { t as __exportAll } from "./rolldown-runtime-D7D4PA-g.js";
-import { a as validateOverlay, c as fragmentOperators, d as overlayStatuses, f as participantKinds, l as messageModes, p as pseudoRoles, r as overlaySchema, s as elementKinds, t as modelSchema, u as notations } from "./schema-CVnS6HiX.js";
+import { a as validateOverlay, c as fragmentOperators, d as overlayStatuses, f as participantKinds, l as messageModes, p as pseudoRoles, r as overlaySchema, s as elementKinds, t as modelSchema, u as notations } from "./schema-BPT8fmfa.js";
 import { t as validate } from "./validate-DF3mQZww.js";
-import { r as loopTransitions } from "./control-aDk9560d.js";
+import { r as loopTransitions, s as emptyFactRecord } from "./control-DiygoEhm.js";
 import { z } from "zod";
+import { ComputedValueSchema } from "trilean";
 import { and, asc, eq, inArray, sql } from "drizzle-orm";
 import { index, integer, primaryKey, sqliteTable, text } from "drizzle-orm/sqlite-core";
 //#region ../../core/graph/store-contract/dist/schema.js
@@ -49,13 +50,43 @@ const boundItemsSchema = z.strictObject({
 	overlay: overlaySchema,
 	relations: z.array(relationSchema).readonly().exactOptional()
 }).readonly();
-/** One stored model and the run state laid over it, at the revision of its last change. */
+/** The name of a fact a condition reads: the string key of its `reference` node. */
+const factNameSchema = z.string().min(1);
+/**
+* What is known from outside the process about one model's run, kept beside its overlay: which artefacts are provided (`true`) or known not to be (`false`), by artefact id, and the trilean value of each named fact, by name. What the record does not name is unknown. It is graph-domain's `FactRecord`, which `factsFrom` adapts to the `Facts` port the reasoning reads.
+*/
+const factRecordSchema = z.strictObject({
+	artefacts: z.record(z.string().min(1), z.boolean()).readonly(),
+	values: z.record(factNameSchema, ComputedValueSchema).readonly()
+}).readonly();
+/** One stored model, the run state laid over it and the facts known about its run, at the revision of its last change. */
 const storedModelSchema = z.strictObject({
 	modelId: modelIdSchema,
 	revision: revisionSchema,
 	model: modelSchema,
-	overlay: overlaySchema
+	overlay: overlaySchema,
+	facts: factRecordSchema
 }).readonly();
+/** A model's fact record at the revision of the model's last change. */
+const storedFactsSchema = z.strictObject({
+	modelId: modelIdSchema,
+	revision: revisionSchema,
+	facts: factRecordSchema
+}).readonly();
+/**
+* Facts to record for a model: each artefact's provision and each named fact's value replaces what the record held for it, and everything the change does not name is kept. Every artefact must be one the model declares.
+*/
+const factChangeSchema = z.strictObject({
+	artefacts: z.record(z.string().min(1), z.boolean()).readonly().exactOptional(),
+	values: z.record(factNameSchema, ComputedValueSchema).readonly().exactOptional()
+}).readonly();
+/**
+* Facts to forget, so they are unknown again: either the named artefacts and named facts, or, with `all`, the whole record. A name the record does not hold is ignored.
+*/
+const factClearingSchema = z.union([z.strictObject({
+	artefacts: z.array(z.string().min(1)).readonly().exactOptional(),
+	values: z.array(factNameSchema).readonly().exactOptional()
+}).readonly(), z.strictObject({ all: z.literal(true) }).readonly()]);
 /** A stored model's name and the revision of its last change. */
 const modelSummarySchema = z.strictObject({
 	modelId: modelIdSchema,
@@ -71,6 +102,7 @@ const changeKinds = [
 	"saved",
 	"overlay",
 	"items",
+	"facts",
 	"deleted"
 ];
 /**
@@ -273,6 +305,70 @@ const checkStored = (model, overlay) => {
 	});
 };
 //#endregion
+//#region ../../core/graph/store-contract/dist/facts.js
+/**
+* The write rules for a model's fact record, shared by every store so each keeps facts the same way. Each function returns a new record and never changes the one it is given.
+*/
+/** The entries of a record whose key passes a test. */
+const entriesWhere = (record, keep) => Object.fromEntries(Object.entries(record).filter(([key]) => keep(key)));
+/**
+* Keeps only the artefact entries of a record that name an artefact the model declares, so replacing a model drops what was known about artefacts it no longer has. Named facts belong to the run rather than to any record of the model, so they are all kept.
+* @param model - The model the record is for.
+* @param facts - The record to narrow.
+* @returns The record with its artefacts narrowed to the model's.
+*/
+const factsWithin = (model, facts) => {
+	const declared = new Set(model.artefacts.map(({ id }) => id));
+	return {
+		artefacts: entriesWhere(facts.artefacts, (id) => declared.has(id)),
+		values: facts.values
+	};
+};
+/**
+* Applies a change to a record: each artefact and named fact the change gives replaces what the record held for it, and the rest is kept. The result is not checked; see `factIssues`.
+* @param facts - The stored record.
+* @param change - The facts to record.
+* @returns The merged record.
+*/
+const mergeFacts = (facts, change) => ({
+	artefacts: {
+		...facts.artefacts,
+		...change.artefacts
+	},
+	values: {
+		...facts.values,
+		...change.values
+	}
+});
+/**
+* Forgets facts, so what they named is unknown again: the whole record with `all`, otherwise the named artefacts and named facts. A name the record does not hold is ignored.
+* @param facts - The stored record.
+* @param clearing - What to forget.
+* @returns The record without what was forgotten.
+*/
+const withoutFacts = (facts, clearing) => {
+	if ("all" in clearing) return emptyFactRecord;
+	const artefacts = new Set(clearing.artefacts);
+	const values = new Set(clearing.values);
+	return {
+		artefacts: entriesWhere(facts.artefacts, (id) => !artefacts.has(id)),
+		values: entriesWhere(facts.values, (name) => !values.has(name))
+	};
+};
+/**
+* The issues with a change to a model's facts: an artefact the model does not declare is an `unknown-reference`, as an unknown reference anywhere else in a model is. Named facts are free names, since any `reference` key in a condition may read one.
+* @param model - The model the facts are for.
+* @param change - The facts to record.
+* @returns One issue per undeclared artefact, empty when every artefact resolves.
+*/
+const factIssues = (model, change) => {
+	const declared = new Set(model.artefacts.map(({ id }) => id));
+	return Object.keys(change.artefacts ?? {}).flatMap((id) => declared.has(id) ? [] : [{
+		code: "unknown-reference",
+		message: `facts refer to unknown artefact id "${id}"`
+	}]);
+};
+//#endregion
 //#region ../../core/graph/store-contract/dist/hierarchy.js
 /** Which identifier space each end of a relation of each kind names: a sub-task and its parent are elements, an assignee and a containing organisation are participants. */
 const endpoints = {
@@ -441,33 +537,43 @@ const serialised = () => {
 };
 //#endregion
 //#region ../../adapters/graph/store-sqlite/dist/generated/migrations.js
-const migrations = [{
-	"sql": [
-		"CREATE TABLE `actions` (\n	`model_id` text NOT NULL,\n	`id` text NOT NULL,\n	`position` integer NOT NULL,\n	`name` text NOT NULL,\n	CONSTRAINT `actions_pk` PRIMARY KEY(`model_id`, `id`)\n);\n",
-		"\nCREATE TABLE `artefacts` (\n	`model_id` text NOT NULL,\n	`id` text NOT NULL,\n	`position` integer NOT NULL,\n	`name` text NOT NULL,\n	`deliverable` integer,\n	CONSTRAINT `artefacts_pk` PRIMARY KEY(`model_id`, `id`)\n);\n",
-		"\nCREATE TABLE `elements` (\n	`model_id` text NOT NULL,\n	`id` text NOT NULL,\n	`position` integer NOT NULL,\n	`kind` text NOT NULL,\n	`label` text,\n	`actor` text,\n	`action` text,\n	`source` text,\n	`affects` text,\n	`consumes` text,\n	`produces` text,\n	`parent` text,\n	`entry` text,\n	`exit` text,\n	`role` text,\n	`from_actor` text,\n	`to_actor` text,\n	`mode` text,\n	`event` text,\n	`extensions` text,\n	CONSTRAINT `elements_pk` PRIMARY KEY(`model_id`, `id`)\n);\n",
-		"\nCREATE TABLE `events` (\n	`model_id` text NOT NULL,\n	`id` text NOT NULL,\n	`position` integer NOT NULL,\n	`name` text NOT NULL,\n	`payload` text,\n	CONSTRAINT `events_pk` PRIMARY KEY(`model_id`, `id`)\n);\n",
-		"\nCREATE TABLE `fragments` (\n	`model_id` text NOT NULL,\n	`id` text NOT NULL,\n	`position` integer NOT NULL,\n	`operator` text NOT NULL,\n	`operands` text NOT NULL,\n	CONSTRAINT `fragments_pk` PRIMARY KEY(`model_id`, `id`)\n);\n",
-		"\nCREATE TABLE `models` (\n	`id` text PRIMARY KEY,\n	`revision` integer NOT NULL,\n	`views` text\n);\n",
-		"\nCREATE TABLE `overlay` (\n	`model_id` text NOT NULL,\n	`element` text NOT NULL,\n	`status` text NOT NULL,\n	CONSTRAINT `overlay_pk` PRIMARY KEY(`model_id`, `element`)\n);\n",
-		"\nCREATE TABLE `participants` (\n	`model_id` text NOT NULL,\n	`id` text NOT NULL,\n	`position` integer NOT NULL,\n	`label` text NOT NULL,\n	`kind` text NOT NULL,\n	CONSTRAINT `participants_pk` PRIMARY KEY(`model_id`, `id`)\n);\n",
-		"\nCREATE TABLE `projections` (\n	`model_id` text NOT NULL,\n	`position` integer NOT NULL,\n	`id` text NOT NULL,\n	`notation` text NOT NULL,\n	`subject` text,\n	`scenario` text,\n	CONSTRAINT `projections_pk` PRIMARY KEY(`model_id`, `position`)\n);\n",
-		"\nCREATE TABLE `sequences` (\n	`name` text PRIMARY KEY,\n	`value` integer NOT NULL\n);\n",
-		"\nCREATE TABLE `transitions` (\n	`model_id` text NOT NULL,\n	`id` text NOT NULL,\n	`position` integer NOT NULL,\n	`source` text NOT NULL,\n	`target` text NOT NULL,\n	`trigger` text,\n	`guard` text,\n	`condition` text,\n	`effect` text,\n	`loop` integer NOT NULL,\n	CONSTRAINT `transitions_pk` PRIMARY KEY(`model_id`, `id`)\n);\n",
-		"\nCREATE INDEX `transitions_by_target` ON `transitions` (`model_id`,`target`);",
-		"\nCREATE INDEX `transitions_by_source` ON `transitions` (`model_id`,`source`);"
-	],
-	"bps": true,
-	"folderMillis": 1791646949e3,
-	"hash": "78b8523685396fc94dd78dccb22bc64697fc985a1be4e398b34e86af9f2b9bd3",
-	"name": "20261010154229_init"
-}, {
-	"sql": ["CREATE TABLE `relations` (\n	`model_id` text NOT NULL,\n	`kind` text NOT NULL,\n	`from_id` text NOT NULL,\n	`to_id` text NOT NULL,\n	`position` integer NOT NULL,\n	CONSTRAINT `relations_pk` PRIMARY KEY(`model_id`, `kind`, `from_id`, `to_id`)\n);\n", "\nCREATE INDEX `relations_by_to` ON `relations` (`model_id`,`kind`,`to_id`);"],
-	"bps": true,
-	"folderMillis": 1791685834e3,
-	"hash": "441d05be00056c89f041364a03d9068c26d7a277538cf0561ae0fe198daecafc",
-	"name": "20261011023034_relations"
-}];
+const migrations = [
+	{
+		"sql": [
+			"CREATE TABLE `actions` (\n	`model_id` text NOT NULL,\n	`id` text NOT NULL,\n	`position` integer NOT NULL,\n	`name` text NOT NULL,\n	CONSTRAINT `actions_pk` PRIMARY KEY(`model_id`, `id`)\n);\n",
+			"\nCREATE TABLE `artefacts` (\n	`model_id` text NOT NULL,\n	`id` text NOT NULL,\n	`position` integer NOT NULL,\n	`name` text NOT NULL,\n	`deliverable` integer,\n	CONSTRAINT `artefacts_pk` PRIMARY KEY(`model_id`, `id`)\n);\n",
+			"\nCREATE TABLE `elements` (\n	`model_id` text NOT NULL,\n	`id` text NOT NULL,\n	`position` integer NOT NULL,\n	`kind` text NOT NULL,\n	`label` text,\n	`actor` text,\n	`action` text,\n	`source` text,\n	`affects` text,\n	`consumes` text,\n	`produces` text,\n	`parent` text,\n	`entry` text,\n	`exit` text,\n	`role` text,\n	`from_actor` text,\n	`to_actor` text,\n	`mode` text,\n	`event` text,\n	`extensions` text,\n	CONSTRAINT `elements_pk` PRIMARY KEY(`model_id`, `id`)\n);\n",
+			"\nCREATE TABLE `events` (\n	`model_id` text NOT NULL,\n	`id` text NOT NULL,\n	`position` integer NOT NULL,\n	`name` text NOT NULL,\n	`payload` text,\n	CONSTRAINT `events_pk` PRIMARY KEY(`model_id`, `id`)\n);\n",
+			"\nCREATE TABLE `fragments` (\n	`model_id` text NOT NULL,\n	`id` text NOT NULL,\n	`position` integer NOT NULL,\n	`operator` text NOT NULL,\n	`operands` text NOT NULL,\n	CONSTRAINT `fragments_pk` PRIMARY KEY(`model_id`, `id`)\n);\n",
+			"\nCREATE TABLE `models` (\n	`id` text PRIMARY KEY,\n	`revision` integer NOT NULL,\n	`views` text\n);\n",
+			"\nCREATE TABLE `overlay` (\n	`model_id` text NOT NULL,\n	`element` text NOT NULL,\n	`status` text NOT NULL,\n	CONSTRAINT `overlay_pk` PRIMARY KEY(`model_id`, `element`)\n);\n",
+			"\nCREATE TABLE `participants` (\n	`model_id` text NOT NULL,\n	`id` text NOT NULL,\n	`position` integer NOT NULL,\n	`label` text NOT NULL,\n	`kind` text NOT NULL,\n	CONSTRAINT `participants_pk` PRIMARY KEY(`model_id`, `id`)\n);\n",
+			"\nCREATE TABLE `projections` (\n	`model_id` text NOT NULL,\n	`position` integer NOT NULL,\n	`id` text NOT NULL,\n	`notation` text NOT NULL,\n	`subject` text,\n	`scenario` text,\n	CONSTRAINT `projections_pk` PRIMARY KEY(`model_id`, `position`)\n);\n",
+			"\nCREATE TABLE `sequences` (\n	`name` text PRIMARY KEY,\n	`value` integer NOT NULL\n);\n",
+			"\nCREATE TABLE `transitions` (\n	`model_id` text NOT NULL,\n	`id` text NOT NULL,\n	`position` integer NOT NULL,\n	`source` text NOT NULL,\n	`target` text NOT NULL,\n	`trigger` text,\n	`guard` text,\n	`condition` text,\n	`effect` text,\n	`loop` integer NOT NULL,\n	CONSTRAINT `transitions_pk` PRIMARY KEY(`model_id`, `id`)\n);\n",
+			"\nCREATE INDEX `transitions_by_target` ON `transitions` (`model_id`,`target`);",
+			"\nCREATE INDEX `transitions_by_source` ON `transitions` (`model_id`,`source`);"
+		],
+		"bps": true,
+		"folderMillis": 1791646949e3,
+		"hash": "78b8523685396fc94dd78dccb22bc64697fc985a1be4e398b34e86af9f2b9bd3",
+		"name": "20261010154229_init"
+	},
+	{
+		"sql": ["CREATE TABLE `relations` (\n	`model_id` text NOT NULL,\n	`kind` text NOT NULL,\n	`from_id` text NOT NULL,\n	`to_id` text NOT NULL,\n	`position` integer NOT NULL,\n	CONSTRAINT `relations_pk` PRIMARY KEY(`model_id`, `kind`, `from_id`, `to_id`)\n);\n", "\nCREATE INDEX `relations_by_to` ON `relations` (`model_id`,`kind`,`to_id`);"],
+		"bps": true,
+		"folderMillis": 1791685834e3,
+		"hash": "441d05be00056c89f041364a03d9068c26d7a277538cf0561ae0fe198daecafc",
+		"name": "20261011023034_relations"
+	},
+	{
+		"sql": ["CREATE TABLE `artefact_facts` (\n	`model_id` text NOT NULL,\n	`artefact` text NOT NULL,\n	`provided` integer NOT NULL,\n	CONSTRAINT `artefact_facts_pk` PRIMARY KEY(`model_id`, `artefact`)\n);\n", "\nCREATE TABLE `named_facts` (\n	`model_id` text NOT NULL,\n	`name` text NOT NULL,\n	`value` text NOT NULL,\n	CONSTRAINT `named_facts_pk` PRIMARY KEY(`model_id`, `name`)\n);\n"],
+		"bps": true,
+		"folderMillis": 1791711779e3,
+		"hash": "426a8ef070c9d114fea34d6cf2e4c410ec3e04c5c1b7151890471c4c1895d75d",
+		"name": "20261011094259_facts"
+	}
+];
 //#endregion
 //#region ../../adapters/graph/store-sqlite/dist/migrate.js
 /** The journal table drizzle's own migrators keep, so a database migrated here is one drizzle-kit recognises, and the reverse. */
@@ -874,15 +980,45 @@ const fromRows = (rows) => modelSchema.parse({
 * @returns The overlay.
 */
 const overlayFromRows = (rows) => overlaySchema.parse(Object.fromEntries(rows.map(({ element, status }) => [element, status])));
+/**
+* Reassembles a fact record from its rows, parsing it with the contract's `factRecordSchema`, so every stored value is checked to be a trilean value.
+* @param artefactRows - The model's artefact fact rows.
+* @param valueRows - The model's named fact rows.
+* @returns The fact record.
+*/
+const factsFromRows = (artefactRows, valueRows) => factRecordSchema.parse({
+	artefacts: Object.fromEntries(artefactRows.map(({ artefact, provided }) => [artefact, provided])),
+	values: Object.fromEntries(valueRows.map(({ name, value }) => [name, value]))
+});
+/**
+* Flattens a fact record into rows for one model.
+* @param modelId - The model the facts are about.
+* @param facts - The record.
+* @returns The artefact fact rows and the named fact rows.
+*/
+const factRows = (modelId, facts) => ({
+	artefacts: Object.entries(facts.artefacts).map(([artefact, provided]) => ({
+		modelId,
+		artefact,
+		provided
+	})),
+	values: Object.entries(facts.values).map(([name, value]) => ({
+		modelId,
+		name,
+		value
+	}))
+});
 //#endregion
 //#region ../../adapters/graph/store-sqlite/dist/tables.js
 var tables_exports = /* @__PURE__ */ __exportAll({
 	actions: () => actions,
+	artefactFacts: () => artefactFacts,
 	artefacts: () => artefacts,
 	elements: () => elements,
 	events: () => events,
 	fragments: () => fragments,
 	models: () => models,
+	namedFacts: () => namedFacts,
 	overlay: () => overlay,
 	participants: () => participants,
 	projections: () => projections,
@@ -1012,6 +1148,18 @@ const relations = sqliteTable("relations", {
 	table.from,
 	table.to
 ] }), index("relations_by_to").on(table.modelId, table.kind, table.to)]);
+/** What is known about whether an artefact is provided, one row per artefact the model's fact record names: `provided` is true when it is provided and false when it is known not to be. An artefact with no row is unknown. */
+const artefactFacts = sqliteTable("artefact_facts", {
+	modelId: text("model_id").notNull(),
+	artefact: text("artefact").notNull(),
+	provided: integer("provided", { mode: "boolean" }).notNull()
+}, (table) => [primaryKey({ columns: [table.modelId, table.artefact] })]);
+/** The value of each named fact a model's fact record holds, as JSON text, typed `unknown` because `rows.ts` checks it with trilean's value schema on every read. A name with no row is unknown. */
+const namedFacts = sqliteTable("named_facts", {
+	modelId: text("model_id").notNull(),
+	name: text("name").notNull(),
+	value: text("value", { mode: "json" }).notNull()
+}, (table) => [primaryKey({ columns: [table.modelId, table.name] })]);
 //#endregion
 //#region ../../adapters/graph/store-sqlite/dist/store.js
 /** The tables that hold a model's own records and the relations kept beside it, every one keyed by `modelId`. */
@@ -1026,6 +1174,8 @@ const recordTables = [
 	projections,
 	relations
 ];
+/** The tables that hold a model's fact record, both keyed by `modelId`. */
+const factTables = [artefactFacts, namedFacts];
 /** The name of the store-wide revision sequence's row in `sequences`. */
 const revisionSequence = "revision";
 /**
@@ -1079,6 +1229,14 @@ const createSqliteGraphStore = (options) => {
 		from: relations.from,
 		to: relations.to
 	}).from(relations).where(eq(relations.modelId, modelId)).orderBy(asc(relations.position));
+	const readFacts = async (modelId) => factsFromRows(await db.select().from(artefactFacts).where(eq(artefactFacts.modelId, modelId)).orderBy(asc(artefactFacts.artefact)), await db.select().from(namedFacts).where(eq(namedFacts.modelId, modelId)).orderBy(asc(namedFacts.name)));
+	/** Replaces a model's fact rows with a record's; run inside the caller's transaction. */
+	const replaceFacts = async (modelId, facts) => {
+		await sequentially(factTables.map((table) => async () => db.delete(table).where(eq(table.modelId, modelId))));
+		const rows = factRows(modelId, facts);
+		if (rows.artefacts.length > 0) await db.insert(artefactFacts).values([...rows.artefacts]);
+		if (rows.values.length > 0) await db.insert(namedFacts).values([...rows.values]);
+	};
 	const read = async (modelId) => {
 		const [model] = await db.select().from(models).where(eq(models.id, modelId));
 		if (model === void 0) throw new GraphStoreError({
@@ -1100,7 +1258,8 @@ const createSqliteGraphStore = (options) => {
 			modelId,
 			revision: model.revision,
 			model: fromRows(rows),
-			overlay: await readOverlay(modelId)
+			overlay: await readOverlay(modelId),
+			facts: await readFacts(modelId)
 		};
 	};
 	const removeRecords = async (modelId) => sequentially(recordTables.map((table) => async () => db.delete(table).where(eq(table.modelId, modelId))));
@@ -1115,10 +1274,10 @@ const createSqliteGraphStore = (options) => {
 		...rows.fragments.length > 0 ? [async () => db.insert(fragments).values([...rows.fragments])] : [],
 		...rows.projections.length > 0 ? [async () => db.insert(projections).values([...rows.projections])] : []
 	]);
-	/** Replaces a model's rows, overlay and relations in one transaction and publishes the change once it commits. */
-	const write = async ({ modelId, kind, model, overlay: overlay$1, relations: relations$1, signal }) => {
+	/** Replaces a model's rows, overlay, relations and facts in one transaction and publishes the change once it commits. */
+	const write = async ({ modelId, kind, model, overlay: overlay$1, relations: relations$1, facts, signal }) => {
 		checkStored(model, overlay$1);
-		const issues = relationIssues(model, relations$1);
+		const issues = [...relationIssues(model, relations$1), ...factIssues(model, facts)];
 		if (issues.length > 0) throw new GraphStoreError({
 			kind: "invalid",
 			issues
@@ -1147,6 +1306,7 @@ const createSqliteGraphStore = (options) => {
 				...relation,
 				position
 			})));
+			await replaceFacts(modelId, facts);
 			signal?.throwIfAborted();
 			return taken;
 		});
@@ -1157,6 +1317,27 @@ const createSqliteGraphStore = (options) => {
 		});
 		return revision;
 	};
+	/** Replaces a model's fact record in one transaction, after checking it names only artefacts the model declares, and publishes the change once it commits. */
+	const writeFacts = async ({ modelId, model, facts, signal }) => {
+		const issues = factIssues(model, facts);
+		if (issues.length > 0) throw new GraphStoreError({
+			kind: "invalid",
+			issues
+		});
+		const revision = await inTransaction(db, async () => {
+			const taken = await nextRevision();
+			await db.update(models).set({ revision: taken }).where(eq(models.id, modelId));
+			await replaceFacts(modelId, facts);
+			signal?.throwIfAborted();
+			return taken;
+		});
+		feed.publish({
+			modelId,
+			kind: "facts",
+			revision
+		});
+		return revision;
+	};
 	return {
 		feed,
 		listModels: async () => operation(async () => db.select({
@@ -1171,6 +1352,7 @@ const createSqliteGraphStore = (options) => {
 				model,
 				overlay: overlayWithin(model, stored ? await readOverlay(modelId) : {}),
 				relations: relationsWithin(model, stored ? await readRelations(modelId) : []),
+				facts: factsWithin(model, stored ? await readFacts(modelId) : emptyFactRecord),
 				signal
 			});
 		}),
@@ -1181,6 +1363,7 @@ const createSqliteGraphStore = (options) => {
 				const taken = await nextRevision();
 				await removeRecords(modelId);
 				await db.delete(overlay).where(eq(overlay.modelId, modelId));
+				await replaceFacts(modelId, emptyFactRecord);
 				await db.delete(models).where(eq(models.id, modelId));
 				signal?.throwIfAborted();
 				return taken;
@@ -1220,11 +1403,42 @@ const createSqliteGraphStore = (options) => {
 			});
 			return revision;
 		}),
+		readFacts: async ({ modelId }) => operation(async () => {
+			const revision = await revisionOf(modelId);
+			if (revision === void 0) throw new GraphStoreError({
+				kind: "not-found",
+				modelId
+			});
+			return {
+				modelId,
+				revision,
+				facts: await readFacts(modelId)
+			};
+		}),
+		setFacts: async ({ modelId, facts, signal }) => operation(async () => {
+			const stored = await read(modelId);
+			return writeFacts({
+				modelId,
+				model: stored.model,
+				facts: mergeFacts(stored.facts, facts),
+				signal
+			});
+		}),
+		clearFacts: async ({ modelId, facts, signal }) => operation(async () => {
+			const stored = await read(modelId);
+			return writeFacts({
+				modelId,
+				model: stored.model,
+				facts: withoutFacts(stored.facts, facts),
+				signal
+			});
+		}),
 		upsertItems: async ({ modelId, items, signal }) => operation(async () => {
 			const stored = await revisionOf(modelId) === void 0 ? {
 				model: emptyModel,
 				overlay: {},
-				relations: []
+				relations: [],
+				facts: emptyFactRecord
 			} : {
 				...await read(modelId),
 				relations: await readRelations(modelId)
@@ -1234,6 +1448,7 @@ const createSqliteGraphStore = (options) => {
 				kind: "items",
 				...mergeBoundItems(stored.model, stored.overlay, items),
 				relations: mergeRelations(stored.relations, items.relations ?? []),
+				facts: stored.facts,
 				signal
 			});
 		}),
@@ -1284,4 +1499,4 @@ const createSqliteGraphStore = (options) => {
 	};
 };
 //#endregion
-export { modelSummarySchema as C, revisionSchema as D, relationSchema as E, storeChangeSchema as O, modelIdSchema as S, relationKinds as T, GraphStoreError as _, ancestorsOf as a, changeKinds as b, mergeRelations as c, checkStored as d, emptyModel as f, defaultSubscriptionCapacity as g, ChangeFeed as h, serialised as i, storedModelSchema as k, relationIssues as l, overlayWithin as m, tables_exports as n, childrenOf as o, mergeBoundItems as p, migrate as r, descendantsOf as s, createSqliteGraphStore as t, relationsWithin as u, boundActivitySchema as v, reachSchema as w, issueSchema as x, boundItemsSchema as y };
+export { modelIdSchema as A, boundItemsSchema as C, factNameSchema as D, factClearingSchema as E, revisionSchema as F, storeChangeSchema as I, storedFactsSchema as L, reachSchema as M, relationKinds as N, factRecordSchema as O, relationSchema as P, storedModelSchema as R, boundActivitySchema as S, factChangeSchema as T, mergeBoundItems as _, ancestorsOf as a, defaultSubscriptionCapacity as b, mergeRelations as c, factIssues as d, factsWithin as f, emptyModel as g, checkStored as h, serialised as i, modelSummarySchema as j, issueSchema as k, relationIssues as l, withoutFacts as m, tables_exports as n, childrenOf as o, mergeFacts as p, migrate as r, descendantsOf as s, createSqliteGraphStore as t, relationsWithin as u, overlayWithin as v, changeKinds as w, GraphStoreError as x, ChangeFeed as y };

package/dist/store.d.ts

@@ -1,4 +1,4 @@
-import { $ as graphStoreContract, A as BoundItems, B as boundActivitySchema, C as ChangeFeedOptions, D as GraphStoreError, E as defaultSubscriptionCapacity, F as Relation, G as modelSummarySchema, H as changeKinds, I as RelationKind, J as relationSchema, K as reachSchema, L as Revision, M as ModelId, N as ModelSummary, O as GraphStoreFailure, P as Reach, Q as GraphStoreClient, R as StoreChange, S as ChangeFeed, T as SubscribeOptions, U as issueSchema, V as boundItemsSchema, W as modelIdSchema, X as storeChangeSchema, Y as revisionSchema, Z as storedModelSchema, _ as mergeBoundItems, a as blockedChainOf, b as GraphStore, c as structureOf, d as descendantsOf, f as mergeRelations, g as emptyModel, h as checkStored, i as Structure, j as ChangeKind, k as BoundActivity, l as ancestorsOf, m as relationsWithin, n as GraphStoreRouter, o as impactOf, p as relationIssues, q as relationKinds, r as createGraphStoreRouter, s as readyOf, t as createFakeGraphStore, u as childrenOf, v as overlayWithin, w as ChangeSubscription, x as ModelRequest, y as ElementRequest, z as StoredModel } from "./index-DhbvDgK4.js";
+import { $ as factRecordSchema, A as defaultSubscriptionCapacity, B as Reach, C as ElementRequest, D as ChangeFeedOptions, E as ChangeFeed, F as ChangeKind, G as StoredFacts, H as RelationKind, I as FactChange, J as boundItemsSchema, K as StoredModel, L as FactClearing, M as GraphStoreFailure, N as BoundActivity, O as ChangeSubscription, P as BoundItems, Q as factNameSchema, R as ModelId, S as overlayWithin, T as ModelRequest, U as Revision, V as Relation, W as StoreChange, X as factChangeSchema, Y as changeKinds, Z as factClearingSchema, _ as mergeFacts, a as blockedChainOf, at as relationSchema, b as emptyModel, c as structureOf, ct as storedFactsSchema, d as descendantsOf, dt as graphStoreContract, et as issueSchema, f as mergeRelations, g as factsWithin, h as factIssues, i as Structure, it as relationKinds, j as GraphStoreError, k as SubscribeOptions, l as ancestorsOf, lt as storedModelSchema, m as relationsWithin, n as GraphStoreRouter, nt as modelSummarySchema, o as impactOf, ot as revisionSchema, p as relationIssues, q as boundActivitySchema, r as createGraphStoreRouter, rt as reachSchema, s as readyOf, st as storeChangeSchema, t as createFakeGraphStore, tt as modelIdSchema, u as childrenOf, ut as GraphStoreClient, v as withoutFacts, w as GraphStore, x as mergeBoundItems, y as checkStored, z as ModelSummary } from "./index-CR8xUK3S.js";
 import { SQLiteAsyncDatabase } from "drizzle-orm/sqlite-core";
 import { MigrationMeta } from "drizzle-orm/migrator";
 //#region ../../adapters/graph/store-sqlite/dist/database.d.ts
@@ -54,7 +54,7 @@ interface MigrateOptions {
  */
 export declare const migrate: (db: SqliteDatabase, options?: MigrateOptions) => Promise<void>;
 declare namespace tables_d_exports {
-  export { actions, artefacts, elements, events, fragments, models, overlay, participants, projections, relations, sequences, transitions };
+  export { actions, artefactFacts, artefacts, elements, events, fragments, models, namedFacts, overlay, participants, projections, relations, sequences, transitions };
 }
 /**
  * The storage projection of the process model. Every record a model declares is one row keyed by its model and its id, with `position` keeping the model's declared order, so a model loads back exactly as it was saved. Enumerated columns take their values from graph-schema's own vocabulary, and nested values (lists, extensions, conditions) are JSON text, typed `unknown` here because `rows.ts` checks them with the model schema on every read. Rows are never the contract's shape: `rows.ts` maps them to the model and back.
@@ -1324,5 +1324,117 @@ declare const relations: import("drizzle-orm/sqlite-core").SQLiteTableWithColumn
   };
   dialect: "sqlite";
 }>;
+/** What is known about whether an artefact is provided, one row per artefact the model's fact record names: `provided` is true when it is provided and false when it is known not to be. An artefact with no row is unknown. */
+declare const artefactFacts: import("drizzle-orm/sqlite-core").SQLiteTableWithColumns<{
+  name: "artefact_facts";
+  schema: undefined;
+  columns: {
+    modelId: import("drizzle-orm/sqlite-core").SQLiteColumn<{
+      name: string;
+      tableName: "artefact_facts";
+      dataType: "string";
+      data: string;
+      driverParam: string;
+      notNull: true;
+      hasDefault: false;
+      isPrimaryKey: false;
+      isAutoincrement: false;
+      hasRuntimeDefault: false;
+      enumValues: [string, ...string[]];
+      baseColumn: never;
+      identity: undefined;
+      generated: undefined;
+    }, {}>;
+    artefact: import("drizzle-orm/sqlite-core").SQLiteColumn<{
+      name: string;
+      tableName: "artefact_facts";
+      dataType: "string";
+      data: string;
+      driverParam: string;
+      notNull: true;
+      hasDefault: false;
+      isPrimaryKey: false;
+      isAutoincrement: false;
+      hasRuntimeDefault: false;
+      enumValues: [string, ...string[]];
+      baseColumn: never;
+      identity: undefined;
+      generated: undefined;
+    }, {}>;
+    provided: import("drizzle-orm/sqlite-core").SQLiteColumn<{
+      name: string;
+      tableName: "artefact_facts";
+      dataType: "boolean";
+      data: boolean;
+      driverParam: number;
+      notNull: true;
+      hasDefault: false;
+      isPrimaryKey: false;
+      isAutoincrement: false;
+      hasRuntimeDefault: false;
+      enumValues: undefined;
+      baseColumn: never;
+      identity: undefined;
+      generated: undefined;
+    }, {}>;
+  };
+  dialect: "sqlite";
+}>;
+/** The value of each named fact a model's fact record holds, as JSON text, typed `unknown` because `rows.ts` checks it with trilean's value schema on every read. A name with no row is unknown. */
+declare const namedFacts: import("drizzle-orm/sqlite-core").SQLiteTableWithColumns<{
+  name: "named_facts";
+  schema: undefined;
+  columns: {
+    modelId: import("drizzle-orm/sqlite-core").SQLiteColumn<{
+      name: string;
+      tableName: "named_facts";
+      dataType: "string";
+      data: string;
+      driverParam: string;
+      notNull: true;
+      hasDefault: false;
+      isPrimaryKey: false;
+      isAutoincrement: false;
+      hasRuntimeDefault: false;
+      enumValues: [string, ...string[]];
+      baseColumn: never;
+      identity: undefined;
+      generated: undefined;
+    }, {}>;
+    name: import("drizzle-orm/sqlite-core").SQLiteColumn<{
+      name: string;
+      tableName: "named_facts";
+      dataType: "string";
+      data: string;
+      driverParam: string;
+      notNull: true;
+      hasDefault: false;
+      isPrimaryKey: false;
+      isAutoincrement: false;
+      hasRuntimeDefault: false;
+      enumValues: [string, ...string[]];
+      baseColumn: never;
+      identity: undefined;
+      generated: undefined;
+    }, {}>;
+    value: import("drizzle-orm/sqlite-core").SQLiteColumn<{
+      name: string;
+      tableName: "named_facts";
+      dataType: "object json";
+      data: unknown;
+      driverParam: string;
+      notNull: true;
+      hasDefault: false;
+      isPrimaryKey: false;
+      isAutoincrement: false;
+      hasRuntimeDefault: false;
+      enumValues: undefined;
+      baseColumn: never;
+      identity: undefined;
+      generated: undefined;
+    }, {}>;
+  };
+  dialect: "sqlite";
+}>;
 //#endregion
-export { type BoundActivity, type BoundItems, ChangeFeed, type ChangeFeedOptions, type ChangeKind, type ChangeSubscription, type ElementRequest, type Exclusive, type GraphStore, type GraphStoreClient, GraphStoreError, type GraphStoreFailure, type GraphStoreRouter, type ModelId, type ModelRequest, type ModelSummary, type Reach, type Relation, type RelationKind, type Revision, type SqliteDatabase, type SqliteGraphStoreOptions, type StoreChange, type StoredModel, type Structure, type SubscribeOptions, ancestorsOf, blockedChainOf, boundActivitySchema, boundItemsSchema, changeKinds, checkStored, childrenOf, createFakeGraphStore, createGraphStoreRouter, defaultSubscriptionCapacity, descendantsOf, emptyModel, graphStoreContract, impactOf, issueSchema, mergeBoundItems, mergeRelations, modelIdSchema, modelSummarySchema, overlayWithin, reachSchema, readyOf, relationIssues, relationKinds, relationSchema, relationsWithin, revisionSchema, storeChangeSchema, storedModelSchema, structureOf, tables_d_exports as tables };
+export { type BoundActivity, type BoundItems, ChangeFeed, type ChangeFeedOptions, type ChangeKind, type ChangeSubscription, type ElementRequest, type Exclusive, type FactChange, type FactClearing, type GraphStore, type GraphStoreClient, GraphStoreError, type GraphStoreFailure, type GraphStoreRouter, type ModelId, type ModelRequest, type ModelSummary, type Reach, type Relation, type RelationKind, type Revision, type SqliteDatabase, type SqliteGraphStoreOptions, type StoreChange, type StoredFacts, type StoredModel, type Structure, type SubscribeOptions, ancestorsOf, blockedChainOf, boundActivitySchema, boundItemsSchema, changeKinds, checkStored, childrenOf, createFakeGraphStore, createGraphStoreRouter, defaultSubscriptionCapacity, descendantsOf, emptyModel, factChangeSchema, factClearingSchema, factIssues, factNameSchema, factRecordSchema, factsWithin, graphStoreContract, impactOf, issueSchema, mergeBoundItems, mergeFacts, mergeRelations, modelIdSchema, modelSummarySchema, overlayWithin, reachSchema, readyOf, relationIssues, relationKinds, relationSchema, relationsWithin, revisionSchema, storeChangeSchema, storedFactsSchema, storedModelSchema, structureOf, tables_d_exports as tables, withoutFacts };