@fragno-dev/test 1.0.2 → 2.0.0

package/dist/model-checker.d.ts

@@ -0,0 +1,128 @@
+import { TypedUnitOfWork } from "@fragno-dev/db";
+import { AnySchema } from "@fragno-dev/db/schema";
+import { SimpleQueryInterface } from "@fragno-dev/db/query";
+import { FragnoRuntime } from "@fragno-dev/core";
+
+//#region src/model-checker.d.ts
+type ModelCheckerMode = "exhaustive" | "bounded-exhaustive" | "random" | "infinite";
+type ModelCheckerPhase = "retrieve" | "mutate";
+type ModelCheckerStep = {
+  txId: number;
+  phase: ModelCheckerPhase;
+};
+type ModelCheckerTraceHashMode = "state" | "trace" | "state+trace";
+type NormalizedMutationOperation = {
+  type: "create" | "update" | "delete" | "check";
+  table: string;
+  namespace?: string | null;
+  id?: unknown;
+  checkVersion?: boolean;
+  set?: Record<string, unknown>;
+  values?: Record<string, unknown>;
+  generatedExternalId?: string;
+};
+type ModelCheckerTraceEvent = {
+  type: "schedule-step";
+  step: ModelCheckerStep;
+  stepIndex: number;
+} | {
+  type: "retrieve-output";
+  txId?: number;
+  uowName?: string;
+  output: unknown;
+} | {
+  type: "mutation-input";
+  txId?: number;
+  uowName?: string;
+  operations: NormalizedMutationOperation[];
+} | {
+  type: "mutation-result";
+  txId?: number;
+  uowName?: string;
+  success: boolean;
+  createdIds: unknown[];
+  error?: string;
+} | {
+  type: "runtime";
+  operation: "time.now" | "random.float" | "random.uuid" | "random.cuid";
+  value: unknown;
+} | {
+  type: "external";
+  name: string;
+  payload: unknown;
+};
+type ModelCheckerTrace = {
+  events: ModelCheckerTraceEvent[];
+};
+type ModelCheckerTraceRecorder = (event: ModelCheckerTraceEvent) => void;
+type ModelCheckerTraceHasher = (trace: ModelCheckerTrace) => Promise<string> | string;
+type RawUowTransactionContext<TSchema extends AnySchema, TUowConfig> = {
+  queryEngine: SimpleQueryInterface<TSchema, TUowConfig>;
+  createUnitOfWork: (name?: string, config?: TUowConfig) => TypedUnitOfWork<TSchema, [], unknown>;
+  runtime?: FragnoRuntime;
+};
+type RawUowMutateContext<TSchema extends AnySchema, TUowConfig, TRetrieve> = RawUowTransactionContext<TSchema, TUowConfig> & {
+  retrieveResult: TRetrieve;
+};
+interface RawUowTransaction<TRetrieve = unknown, TMutate = unknown, TSchema extends AnySchema = AnySchema, TUowConfig = void> {
+  name?: string;
+  retrieve(ctx: RawUowTransactionContext<TSchema, TUowConfig>): TRetrieve | Promise<TRetrieve>;
+  mutate?(ctx: RawUowMutateContext<TSchema, TUowConfig, TRetrieve>): TMutate | Promise<TMutate>;
+}
+type RawUowTransactionBuilder<TRetrieve = unknown, TMutate = unknown, TSchema extends AnySchema = AnySchema, TUowConfig = void> = {
+  name?: string;
+  config?: TUowConfig;
+  retrieve: (uow: TypedUnitOfWork<TSchema, [], unknown>, ctx: RawUowTransactionContext<TSchema, TUowConfig>) => TRetrieve | Promise<TRetrieve>;
+  mutate?: (uow: TypedUnitOfWork<TSchema, [], unknown>, ctx: RawUowMutateContext<TSchema, TUowConfig, TRetrieve>) => TMutate | Promise<TMutate>;
+};
+declare const createRawUowTransaction: <TRetrieve = unknown, TMutate = unknown, TSchema extends AnySchema = AnySchema, TUowConfig = void>(builder: RawUowTransactionBuilder<TRetrieve, TMutate, TSchema, TUowConfig>) => RawUowTransaction<TRetrieve, TMutate, TSchema, TUowConfig>;
+type ModelCheckerExecutionContext<TSchema extends AnySchema, TUowConfig> = {
+  ctx: RawUowTransactionContext<TSchema, TUowConfig>;
+  cleanup?: () => Promise<void>;
+};
+type ModelCheckerHistory = false | {
+  type: "lru";
+  maxEntries: number;
+} | {
+  type: "unbounded";
+};
+type ModelCheckerBounds = {
+  maxSteps?: number;
+};
+type ModelCheckerStateHasherContext<TSchema extends AnySchema, TUowConfig> = {
+  schema: TSchema;
+  queryEngine: SimpleQueryInterface<TSchema, TUowConfig>;
+};
+type ModelCheckerConfig<TSchema extends AnySchema, TUowConfig = void> = {
+  schema: TSchema;
+  mode?: ModelCheckerMode;
+  seed?: number;
+  maxSchedules?: number;
+  bounds?: ModelCheckerBounds;
+  history?: ModelCheckerHistory;
+  stopWhenFrontierExhausted?: boolean;
+  stateHasher?: (ctx: ModelCheckerStateHasherContext<TSchema, TUowConfig>) => Promise<string>;
+  traceRecorder?: ModelCheckerTraceRecorder;
+  traceHasher?: ModelCheckerTraceHasher;
+  traceHashMode?: ModelCheckerTraceHashMode;
+  runtime?: FragnoRuntime;
+  createContext: () => Promise<ModelCheckerExecutionContext<TSchema, TUowConfig>>;
+  setup?: (ctx: RawUowTransactionContext<TSchema, TUowConfig>) => Promise<void>;
+  buildTransactions: (ctx: RawUowTransactionContext<TSchema, TUowConfig>) => RawUowTransaction<unknown, unknown, TSchema, TUowConfig>[];
+};
+type ModelCheckerScheduleResult = {
+  schedule: ModelCheckerStep[];
+  stateHash: string;
+  traceHash?: string;
+  trace?: ModelCheckerTrace;
+};
+type ModelCheckerRunResult = {
+  schedules: ModelCheckerScheduleResult[];
+  visitedPaths: number;
+};
+declare const defaultStateHasher: <TSchema extends AnySchema, TUowConfig>(ctx: ModelCheckerStateHasherContext<TSchema, TUowConfig>) => Promise<string>;
+declare const defaultTraceHasher: (trace: ModelCheckerTrace) => Promise<string>;
+declare const runModelChecker: <TSchema extends AnySchema, TUowConfig>(config: ModelCheckerConfig<TSchema, TUowConfig>) => Promise<ModelCheckerRunResult>;
+//#endregion
+export { ModelCheckerBounds, ModelCheckerConfig, ModelCheckerHistory, ModelCheckerMode, ModelCheckerPhase, ModelCheckerRunResult, ModelCheckerScheduleResult, ModelCheckerStateHasherContext, ModelCheckerStep, ModelCheckerTrace, ModelCheckerTraceEvent, ModelCheckerTraceHashMode, ModelCheckerTraceHasher, ModelCheckerTraceRecorder, NormalizedMutationOperation, RawUowMutateContext, RawUowTransaction, RawUowTransactionBuilder, RawUowTransactionContext, createRawUowTransaction, defaultStateHasher, defaultTraceHasher, runModelChecker };
+//# sourceMappingURL=model-checker.d.ts.map

package/dist/model-checker.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"model-checker.d.ts","names":[],"sources":["../src/model-checker.ts"],"sourcesContent":[],"mappings":";;;;;;KAUY,gBAAA;KACA,iBAAA;AADA,KAGA,gBAAA,GAHgB;EAChB,IAAA,EAAA,MAAA;EAEA,KAAA,EAEH,iBAFmB;AAK5B,CAAA;AAEY,KAFA,yBAAA,GAE2B,OAM/B,GAAA,OACG,GAAA,aAAM;AAIL,KAXA,2BAAA,GAcA;EAkCA,IAAA,EAAA,QAAA,GAAA,QAAiB,GAAA,QACnB,GAAA,OAAA;EAGE,KAAA,EAAA,MAAA;EAEA,SAAA,CAAA,EAAA,MAAA,GAAA,IAAA;EAEA,EAAA,CAAA,EAAA,OAAA;EAAyC,YAAA,CAAA,EAAA,OAAA;EACjB,GAAA,CAAA,EAnD5B,MAmD4B,CAAA,MAAA,EAAA,OAAA,CAAA;EAAS,MAAA,CAAA,EAlDlC,MAkDkC,CAAA,MAAA,EAAA,OAAA,CAAA;EAA9B,mBAAA,CAAA,EAAA,MAAA;CAC8B;AAA+B,KA/ChE,sBAAA,GA+CgE;EAAhB,IAAA,EAAA,eAAA;EAChD,IAAA,EA7CA,gBA6CA;EAAa,SAAA,EAAA,MAAA;AAGzB,CAAA,GAAY;EACM,IAAA,EAAA,iBAAA;EAGW,IAAA,CAAA,EAAA,MAAA;EAAS,OAAA,CAAA,EAAA,MAAA;EAAlC,MAAA,EAAA,OAAA;CACc,GAAA;EAAS,IAAA,EAAA,gBAAA;EAGV,IAAA,CAAA,EAAA,MAAA;EAGC,OAAA,CAAA,EAAA,MAAA;EAAY,UAAA,EA9CZ,2BA8CY,EAAA;CAIW,GAAA;EAAS,IAAA,EAAA,iBAAA;EAAlC,IAAA,CAAA,EAAA,MAAA;EAAgD,OAAA,CAAA,EAAA,MAAA;EAAoB,OAAA,EAAA,OAAA;EAAR,UAAA,EAAA,OAAA,EAAA;EACzC,KAAA,CAAA,EAAA,MAAA;CAAS,GAAA;EAAY,IAAA,EAAA,SAAA;EAAzC,SAAA,EAAA,UAAA,GAAA,cAAA,GAAA,aAAA,GAAA,aAAA;EAAsD,KAAA,EAAA,OAAA;CAAkB,GAAA;EAAR,IAAA,EAAA,UAAA;EAAO,IAAA,EAAA,MAAA;EAG1E,OAAA,EAAA,OAAA;CAGM;AAAY,KApClB,iBAAA,GAoCkB;EAInB,MAAA,EAvCD,sBAuCC,EAAA;CAEc;AAAhB,KAtCG,yBAAA,GAsCH,CAAA,KAAA,EAtCuC,sBAsCvC,EAAA,GAAA,IAAA;AACyB,KArCtB,uBAAA,GAqCsB,CAAA,KAAA,EArCY,iBAqCZ,EAAA,GArCkC,OAqClC,CAAA,MAAA,CAAA,GAAA,MAAA;AAAS,KAnC/B,wBAmC+B,CAAA,gBAnCU,SAmCV,EAAA,UAAA,CAAA,GAAA;EAAlC,WAAA,EAlCM,oBAkCN,CAlC2B,OAkC3B,EAlCoC,UAkCpC,CAAA;EACF,gBAAA,EAAA,CAAA,IAAA,CAAA,EAAA,MAAA,EAAA,MAAA,CAAA,EAlCsC,UAkCtC,EAAA,GAlCqD,eAkCrD,CAlCqE,OAkCrE,EAAA,EAAA,EAAA,OAAA,CAAA;EAAoB,OAAA,CAAA,EAjCf,aAiCe;CAAR;AAEM,KAhCb,mBAgCa,CAAA,gBA/BP,SA+BO,EAAA,UAAA,EAAA,SAAA,CAAA,GA5BrB,wBA4BqB,CA5BI,OA4BJ,EA5Ba,UA4Bb,CAAA,GAAA;EAAhB,cAAA,EA3BS,SA2BT;CACoB;AAAS,UAzBrB,iBAyBqB,CAAA,YAAA,OAAA,EAAA,UAAA,OAAA,EAAA,gBAtBpB,SAsBoB,GAtBR,SAsBQ,EAAA,aAAA,IAAA,CAAA,CAAA;EAAY,IAAA,CAAA,EAAA,MAAA;EAAzC,QAAA,CAAA,GAAA,EAlBO,wBAkBP,CAlBgC,OAkBhC,EAlByC,UAkBzC,CAAA,CAAA,EAlBuD,SAkBvD,GAlBmE,OAkBnE,CAlB2E,SAkB3E,CAAA;EACF,MAAA,EAAA,GAAA,EAlBQ,mBAkBR,CAlB4B,OAkB5B,EAlBqC,UAkBrC,EAlBiD,SAkBjD,CAAA,CAAA,EAlB8D,OAkB9D,GAlBwE,OAkBxE,CAlBgF,OAkBhF,CAAA;;AAAU,KAfL,wBAeK,CAAA,YAAA,OAAA,EAAA,UAAA,OAAA,EAAA,gBAZC,SAYD,GAZa,SAYb,EAAA,aAAA,IAAA,CAAA,GAAA;EAAO,IAAA,CAAA,EAAA,MAAA;EAGX,MAAA,CAAA,EAXF,UAWE;EAGK,QAAA,EAAA,CAAA,GAAA,EAZT,eAYS,CAZO,OAYP,EAAA,EAAA,EAAA,OAAA,CAAA,EAAA,GAAA,EAXT,wBAWS,CAXgB,OAWhB,EAXyB,UAWzB,CAAA,EAAA,GAVX,SAUW,GAVC,OAUD,CAVS,SAUT,CAAA;EAAY,MAAA,CAAA,EAAA,CAAA,GAAA,EARrB,eAQqB,CARL,OAQK,EAAA,EAAA,EAAA,OAAA,CAAA,EAAA,GAAA,EAPrB,mBAOqB,CAPD,OAOC,EAPQ,UAOR,EAPoB,SAOpB,CAAA,EAAA,GANvB,OAMuB,GANb,OAMa,CANL,OAMK,CAAA;CAGM;AAAW,cANlC,uBAMkC,EAAA,CAAA,YAAA,OAAA,EAAA,UAAA,OAAA,EAAA,gBAH7B,SAG6B,GAHjB,SAGiB,EAAA,aAAA,IAAA,CAAA,CAAA,OAAA,EAApC,wBAAoC,CAAX,SAAW,EAAA,OAAA,EAAS,OAAT,EAAkB,UAAlB,CAAA,EAAA,GAC5C,iBAD4C,CAC1B,SAD0B,EACf,OADe,EACN,OADM,EACG,UADH,CAAA;AAAS,KAqB5C,4BArB4C,CAAA,gBAqBC,SArBD,EAAA,UAAA,CAAA,GAAA;EAAS,GAAA,EAsB1D,wBAtB0D,CAsBjC,OAtBiC,EAsBxB,UAtBwB,CAAA;EAAtD,OAAA,CAAA,EAAA,GAAA,GAuBO,OAvBP,CAAA,IAAA,CAAA;CACU;AAAW,KAyBpB,mBAAA,GAzBoB,KAAA,GAAA;EAAS,IAAA,EAAA,KAAA;EAAS,UAAA,EAAA,MAAA;CAA/C,GAAA;EAAiB,IAAA,EAAA,WAAA;AAoBpB,CAAA;AAAyD,KAU7C,kBAAA,GAV6C;EACzB,QAAA,CAAA,EAAA,MAAA;CAAS;AAAlC,KAaK,8BAbL,CAAA,gBAaoD,SAbpD,EAAA,UAAA,CAAA,GAAA;EACW,MAAA,EAaR,OAbQ;EAAO,WAAA,EAcV,oBAdU,CAcW,OAdX,EAcoB,UAdpB,CAAA;AAGzB,CAAA;AAKY,KASA,kBATkB,CAAA,gBASiB,SATjB,EAAA,aAAA,IAAA,CAAA,GAAA;EAIlB,MAAA,EAMF,OANE;EAA+C,IAAA,CAAA,EAOlD,gBAPkD;EACjD,IAAA,CAAA,EAAA,MAAA;EAC0B,YAAA,CAAA,EAAA,MAAA;EAAS,MAAA,CAAA,EAQlC,kBARkC;EAA9B,OAAA,CAAA,EASH,mBATG;EAAoB,yBAAA,CAAA,EAAA,OAAA;EAGvB,WAAA,CAAA,EAAA,CAAA,GAAA,EAQU,8BARQ,CAQuB,OARvB,EAQgC,UARhC,CAAA,EAAA,GAQgD,OARhD,CAAA,MAAA,CAAA;EAAiB,aAAA,CAAA,EAS7B,yBAT6B;EACrC,WAAA,CAAA,EASM,uBATN;EACD,aAAA,CAAA,EASS,yBATT;EAGE,OAAA,CAAA,EAOC,aAPD;EACC,aAAA,EAAA,GAAA,GAOW,OAPX,CAOmB,4BAPnB,CAOgD,OAPhD,EAOyD,UAPzD,CAAA,CAAA;EAEyC,KAAA,CAAA,EAAA,CAAA,GAAA,EAMrC,wBANqC,CAMZ,OANY,EAMH,UANG,CAAA,EAAA,GAMa,OANb,CAAA,IAAA,CAAA;EAAS,iBAAA,EAAA,CAAA,GAAA,EAQrD,wBARqD,CAQ5B,OAR4B,EAQnB,UARmB,CAAA,EAAA,GASvD,iBATuD,CAAA,OAAA,EAAA,OAAA,EASnB,OATmB,EASV,UATU,CAAA,EAAA;CAAxC;AAAwD,KAYlE,0BAAA,GAZkE;EAC5D,QAAA,EAYN,gBAZM,EAAA;EACF,SAAA,EAAA,MAAA;EACE,SAAA,CAAA,EAAA,MAAA;EACN,KAAA,CAAA,EAYF,iBAZE;CACgD;AAAS,KAczD,qBAAA,GAdyD;EAAtC,SAAA,EAelB,0BAfkB,EAAA;EAAR,YAAA,EAAA,MAAA;CACkB;AAAS,cAqIrC,kBArIqC,EAAA,CAAA,gBAqIO,SArIP,EAAA,UAAA,CAAA,CAAA,GAAA,EAsI3C,8BAtI2C,CAsIZ,OAtIY,EAsIH,UAtIG,CAAA,EAAA,GAuI/C,OAvI+C,CAAA,MAAA,CAAA;AAAlC,cAqJH,kBArJG,EAAA,CAAA,KAAA,EAqJgC,iBArJhC,EAAA,GAqJoD,OArJpD,CAAA,MAAA,CAAA;AAAkD,cA0hBrD,eA1hBqD,EAAA,CAAA,gBA0hBZ,SA1hBY,EAAA,UAAA,CAAA,CAAA,MAAA,EA2hBxD,kBA3hBwD,CA2hBrC,OA3hBqC,EA2hB5B,UA3hB4B,CAAA,EAAA,GA4hB/D,OA5hB+D,CA4hBvD,qBA5hBuD,CAAA"}

package/dist/model-checker.js

@@ -0,0 +1,443 @@
+import { runWithTraceRecorder } from "@fragno-dev/core/internal/trace-context";
+import { FragnoId, FragnoReference } from "@fragno-dev/db/schema";
+
+//#region src/model-checker.ts
+const createRawUowTransaction = (builder) => {
+	let uow = null;
+	const getUow = (ctx, phase) => {
+		if (!uow) {
+			if (phase === "mutate") throw new Error("Raw UOW mutate invoked before retrieve.");
+			uow = ctx.createUnitOfWork(builder.name, builder.config);
+		}
+		return uow;
+	};
+	const mutate = builder.mutate;
+	return {
+		name: builder.name,
+		retrieve: (ctx) => builder.retrieve(getUow(ctx, "retrieve"), ctx),
+		mutate: mutate ? (ctx) => mutate(getUow(ctx, "mutate"), ctx) : void 0
+	};
+};
+const defaultHistoryConfig = {
+	type: "lru",
+	maxEntries: 5e3
+};
+const mulberry32 = (seed) => {
+	let t = seed >>> 0;
+	return () => {
+		t += 1831565813;
+		let r = Math.imul(t ^ t >>> 15, t | 1);
+		r ^= r + Math.imul(r ^ r >>> 7, r | 61);
+		return ((r ^ r >>> 14) >>> 0) / 4294967296;
+	};
+};
+const serializeSchedulePrefix = (schedule) => schedule.map((step) => `${step.txId}:${step.phase}`).join("|");
+const buildPathKey = (pathHash, prefix) => `${pathHash}::${serializeSchedulePrefix(prefix)}`;
+const createHistoryTracker = (history) => {
+	if (!history) return null;
+	if (history.type === "unbounded") {
+		const set = /* @__PURE__ */ new Set();
+		return {
+			add: (key) => {
+				const has = set.has(key);
+				if (!has) set.add(key);
+				return !has;
+			},
+			size: () => set.size
+		};
+	}
+	const maxEntries = Math.max(history.maxEntries, 1);
+	const map = /* @__PURE__ */ new Map();
+	return {
+		add: (key) => {
+			const existed = map.delete(key);
+			map.set(key, true);
+			if (map.size > maxEntries) {
+				const first = map.keys().next().value;
+				if (first !== void 0) map.delete(first);
+			}
+			return !existed;
+		},
+		size: () => map.size
+	};
+};
+const normalizeForHash = (value) => {
+	if (value === null || value === void 0) return value;
+	if (typeof value === "bigint") return value.toString();
+	if (value instanceof Date) return value.toISOString();
+	if (value instanceof FragnoId) return {
+		externalId: value.externalId,
+		internalId: value.internalId?.toString(),
+		version: value.version
+	};
+	if (value instanceof FragnoReference) return value.internalId.toString();
+	if (Array.isArray(value)) return value.map((entry) => normalizeForHash(entry));
+	if (typeof value === "object") {
+		const record = value;
+		const sortedKeys = Object.keys(record).sort();
+		const normalized = {};
+		for (const key of sortedKeys) normalized[key] = normalizeForHash(record[key]);
+		return normalized;
+	}
+	return value;
+};
+const stableStringify = (value) => JSON.stringify(normalizeForHash(value));
+const defaultStateHasher = async (ctx) => {
+	const tableNames = Object.keys(ctx.schema.tables).sort();
+	const snapshot = [];
+	for (const tableName of tableNames) {
+		const rows = await ctx.queryEngine.find(tableName, (b) => b.whereIndex("primary").orderByIndex("primary", "asc"));
+		snapshot.push({
+			table: tableName,
+			rows
+		});
+	}
+	return stableStringify(snapshot);
+};
+const defaultTraceHasher = async (trace) => stableStringify(trace.events);
+const resolvePathHash = (stateHash, traceHash, mode) => {
+	if (mode === "state") return stateHash;
+	if (!traceHash) throw new Error("Trace hash mode requires traceHasher to be configured.");
+	if (mode === "trace") return traceHash;
+	return `${stateHash}::${traceHash}`;
+};
+const wrapRuntimeForTrace = (runtime, record) => ({
+	time: { now: () => {
+		const value = runtime.time.now();
+		record({
+			type: "runtime",
+			operation: "time.now",
+			value
+		});
+		return value;
+	} },
+	random: {
+		float: () => {
+			const value = runtime.random.float();
+			record({
+				type: "runtime",
+				operation: "random.float",
+				value
+			});
+			return value;
+		},
+		uuid: () => {
+			const value = runtime.random.uuid();
+			record({
+				type: "runtime",
+				operation: "random.uuid",
+				value
+			});
+			return value;
+		},
+		cuid: () => {
+			const value = runtime.random.cuid();
+			record({
+				type: "runtime",
+				operation: "random.cuid",
+				value
+			});
+			return value;
+		}
+	}
+});
+const captureCoreTrace = (record, event) => {
+	record({
+		type: "external",
+		name: event.type,
+		payload: event
+	});
+};
+const createTraceContext = (recorder, traceHasher) => {
+	const events = recorder || traceHasher ? [] : null;
+	const record = (event) => {
+		if (events) events.push(event);
+		recorder?.(event);
+	};
+	return {
+		events,
+		record
+	};
+};
+const normalizeMutationOperation = (op) => {
+	if (op.type === "create") return {
+		type: "create",
+		table: op.table,
+		namespace: op.namespace,
+		values: normalizeForHash(op.values),
+		generatedExternalId: op.generatedExternalId
+	};
+	if (op.type === "update") return {
+		type: "update",
+		table: op.table,
+		namespace: op.namespace,
+		id: normalizeForHash(op.id),
+		checkVersion: op.checkVersion,
+		set: normalizeForHash(op.set)
+	};
+	if (op.type === "delete") return {
+		type: "delete",
+		table: op.table,
+		namespace: op.namespace,
+		id: normalizeForHash(op.id),
+		checkVersion: op.checkVersion
+	};
+	return {
+		type: "check",
+		table: op.table,
+		namespace: op.namespace,
+		id: normalizeForHash(op.id)
+	};
+};
+const wrapCreateUnitOfWorkForTrace = (createUnitOfWork, getTxId, record) => {
+	return (name, config) => {
+		const uow = createUnitOfWork(name, config);
+		return new Proxy(uow, { get(target, prop, receiver) {
+			if (prop === "executeRetrieve") return async () => {
+				const result = await target.executeRetrieve();
+				record({
+					type: "retrieve-output",
+					txId: getTxId(),
+					uowName: target.name,
+					output: normalizeForHash(result)
+				});
+				return result;
+			};
+			if (prop === "executeMutations") return async () => {
+				const txId = getTxId();
+				record({
+					type: "mutation-input",
+					txId,
+					uowName: target.name,
+					operations: target.getMutationOperations().map(normalizeMutationOperation)
+				});
+				try {
+					const result = await target.executeMutations();
+					record({
+						type: "mutation-result",
+						txId,
+						uowName: target.name,
+						success: result.success,
+						createdIds: result.success ? target.getCreatedIds().map(normalizeForHash) : []
+					});
+					return result;
+				} catch (error) {
+					record({
+						type: "mutation-result",
+						txId,
+						uowName: target.name,
+						success: false,
+						createdIds: [],
+						error: error instanceof Error ? error.message : String(error)
+					});
+					throw error;
+				}
+			};
+			const value = Reflect.get(target, prop, receiver);
+			if (typeof value === "function") return value.bind(target);
+			return value;
+		} });
+	};
+};
+const planTransactions = (transactions) => {
+	if (transactions.length === 0) throw new Error("Model checker requires at least one transaction.");
+	return { stepsPerTransaction: transactions.map((tx) => {
+		if (!tx.retrieve) throw new Error("Model checker transactions must define a retrieve step.");
+		return tx.mutate ? 2 : 1;
+	}) };
+};
+const generateAllSchedules = (stepsPerTransaction) => {
+	const schedules = [];
+	const totalSteps = stepsPerTransaction.reduce((sum, steps) => sum + steps, 0);
+	const progress = stepsPerTransaction.map(() => 0);
+	const current = [];
+	const walk = () => {
+		if (current.length === totalSteps) {
+			schedules.push([...current]);
+			return;
+		}
+		for (let txId = 0; txId < stepsPerTransaction.length; txId += 1) {
+			if (progress[txId] >= stepsPerTransaction[txId]) continue;
+			const phase = progress[txId] === 0 ? "retrieve" : "mutate";
+			current.push({
+				txId,
+				phase
+			});
+			progress[txId] += 1;
+			walk();
+			progress[txId] -= 1;
+			current.pop();
+		}
+	};
+	walk();
+	return schedules;
+};
+const generateRandomSchedule = (stepsPerTransaction, rng) => {
+	const totalSteps = stepsPerTransaction.reduce((sum, steps) => sum + steps, 0);
+	const progress = stepsPerTransaction.map(() => 0);
+	const schedule = [];
+	for (let stepIndex = 0; stepIndex < totalSteps; stepIndex += 1) {
+		const candidates = [];
+		for (let txId = 0; txId < stepsPerTransaction.length; txId += 1) if (progress[txId] < stepsPerTransaction[txId]) candidates.push(txId);
+		const pick = candidates[Math.floor(rng() * candidates.length)];
+		const phase = progress[pick] === 0 ? "retrieve" : "mutate";
+		schedule.push({
+			txId: pick,
+			phase
+		});
+		progress[pick] += 1;
+	}
+	return schedule;
+};
+const executeSchedule = async (schedule, config, history, stateHasher) => {
+	const traceHashMode = config.traceHashMode ?? "state";
+	const traceHasher = config.traceHasher ?? (traceHashMode === "state" ? void 0 : defaultTraceHasher);
+	const traceContext = createTraceContext(config.traceRecorder, traceHasher);
+	const traceEnabled = Boolean(traceContext.events);
+	const runtime = config.runtime && traceEnabled ? wrapRuntimeForTrace(config.runtime, traceContext.record) : config.runtime;
+	const { ctx, cleanup } = await config.createContext();
+	try {
+		let currentTxId;
+		const tracedContext = traceEnabled ? {
+			...ctx,
+			createUnitOfWork: wrapCreateUnitOfWorkForTrace(ctx.createUnitOfWork, () => currentTxId, traceContext.record),
+			runtime
+		} : {
+			...ctx,
+			runtime
+		};
+		if (config.setup) await config.setup(tracedContext);
+		const transactions = config.buildTransactions(tracedContext);
+		const transactionState = transactions.map(() => ({ retrieveResult: void 0 }));
+		let lastStateHash = null;
+		let newPathsAdded = false;
+		const runSchedule = async () => {
+			for (let stepIndex = 0; stepIndex < schedule.length; stepIndex += 1) {
+				const step = schedule[stepIndex];
+				if (!step) throw new Error("Schedule step is missing.");
+				const tx = transactions[step.txId];
+				if (!tx) throw new Error(`Transaction ${step.txId} is missing.`);
+				currentTxId = step.txId;
+				if (traceEnabled) traceContext.record({
+					type: "schedule-step",
+					step,
+					stepIndex
+				});
+				if (step.phase === "retrieve") transactionState[step.txId].retrieveResult = await tx.retrieve(tracedContext);
+				else {
+					if (!tx.mutate) throw new Error(`Transaction ${step.txId} does not define a mutate step.`);
+					await tx.mutate({
+						...tracedContext,
+						retrieveResult: transactionState[step.txId].retrieveResult
+					});
+				}
+				if (history) {
+					lastStateHash = await stateHasher({
+						schema: config.schema,
+						queryEngine: tracedContext.queryEngine
+					});
+					const traceHash = traceHasher ? await traceHasher({ events: traceContext.events ?? [] }) : void 0;
+					const prefix = schedule.slice(0, stepIndex + 1);
+					if (history.add(buildPathKey(resolvePathHash(lastStateHash, traceHash, traceHashMode), prefix))) newPathsAdded = true;
+				}
+			}
+			currentTxId = void 0;
+			if (!lastStateHash) lastStateHash = await stateHasher({
+				schema: config.schema,
+				queryEngine: tracedContext.queryEngine
+			});
+			const finalTraceHash = traceHasher ? await traceHasher({ events: traceContext.events ?? [] }) : void 0;
+			return {
+				stateHash: lastStateHash,
+				newPathsAdded,
+				traceHash: finalTraceHash,
+				trace: traceContext.events ? { events: traceContext.events } : void 0
+			};
+		};
+		if (traceEnabled) return await runWithTraceRecorder((event) => captureCoreTrace(traceContext.record, event), runSchedule);
+		return await runSchedule();
+	} finally {
+		if (cleanup) await cleanup();
+	}
+};
+const getTransactionPlan = async (config) => {
+	const { ctx, cleanup } = await config.createContext();
+	try {
+		const context = config.runtime ? {
+			...ctx,
+			runtime: config.runtime
+		} : ctx;
+		if (config.setup) await config.setup(context);
+		return planTransactions(config.buildTransactions(context));
+	} finally {
+		if (cleanup) await cleanup();
+	}
+};
+const runModelChecker = async (config) => {
+	const mode = config.mode ?? "exhaustive";
+	const history = createHistoryTracker(config.history ?? defaultHistoryConfig);
+	const stateHasher = config.stateHasher ?? defaultStateHasher;
+	const { stepsPerTransaction } = await getTransactionPlan(config);
+	const schedules = [];
+	const maxSchedules = config.maxSchedules;
+	const seed = config.seed ?? 1;
+	if (mode === "exhaustive" || mode === "bounded-exhaustive") {
+		if (mode === "bounded-exhaustive") {
+			const bounds = config.bounds;
+			if (bounds?.maxSteps !== void 0) {
+				const totalSteps = stepsPerTransaction.reduce((sum, steps) => sum + steps, 0);
+				if (totalSteps > bounds.maxSteps) throw new Error(`bounded-exhaustive requires maxSteps >= ${totalSteps}, but received ${bounds.maxSteps}`);
+			}
+		}
+		const allSchedules = generateAllSchedules(stepsPerTransaction);
+		for (const schedule of allSchedules) {
+			if (maxSchedules !== void 0 && schedules.length >= maxSchedules) break;
+			const result = await executeSchedule(schedule, config, history, stateHasher);
+			schedules.push({
+				schedule,
+				stateHash: result.stateHash,
+				traceHash: result.traceHash,
+				trace: result.trace
+			});
+		}
+	} else if (mode === "random") {
+		const rng = mulberry32(seed);
+		const total = maxSchedules ?? 1;
+		for (let i = 0; i < total; i += 1) {
+			const schedule = generateRandomSchedule(stepsPerTransaction, rng);
+			const result = await executeSchedule(schedule, config, history, stateHasher);
+			schedules.push({
+				schedule,
+				stateHash: result.stateHash,
+				traceHash: result.traceHash,
+				trace: result.trace
+			});
+		}
+	} else {
+		const rng = mulberry32(seed);
+		const stopWhenFrontierExhausted = config.stopWhenFrontierExhausted ?? false;
+		let iterations = 0;
+		let frontierExhausted = false;
+		while (!frontierExhausted) {
+			if (maxSchedules !== void 0 && iterations >= maxSchedules) break;
+			const schedule = generateRandomSchedule(stepsPerTransaction, rng);
+			const result = await executeSchedule(schedule, config, history, stateHasher);
+			schedules.push({
+				schedule,
+				stateHash: result.stateHash,
+				traceHash: result.traceHash,
+				trace: result.trace
+			});
+			iterations += 1;
+			if (stopWhenFrontierExhausted && history) frontierExhausted = !result.newPathsAdded;
+		}
+	}
+	return {
+		schedules,
+		visitedPaths: history?.size() ?? 0
+	};
+};
+
+//#endregion
+export { createRawUowTransaction, defaultStateHasher, defaultTraceHasher, runModelChecker };
+//# sourceMappingURL=model-checker.js.map

package/dist/model-checker.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model-checker.js","names":["uow: TypedUnitOfWork<TSchema, [], unknown> | null","defaultHistoryConfig: ModelCheckerHistory","normalized: Record<string, unknown>","snapshot: { table: string; rows: unknown[] }[]","schedules: ModelCheckerStep[][]","current: ModelCheckerStep[]","phase: ModelCheckerPhase","schedule: ModelCheckerStep[]","candidates: number[]","currentTxId: number | undefined","lastStateHash: string | null","schedules: ModelCheckerScheduleResult[]"],"sources":["../src/model-checker.ts"],"sourcesContent":["import type { FragnoRuntime } from \"@fragno-dev/core\";\nimport {\n  runWithTraceRecorder,\n  type FragnoCoreTraceEvent,\n} from \"@fragno-dev/core/internal/trace-context\";\nimport { FragnoId, FragnoReference, type AnySchema } from \"@fragno-dev/db/schema\";\nimport type { SimpleQueryInterface } from \"@fragno-dev/db/query\";\nimport type { TypedUnitOfWork } from \"@fragno-dev/db\";\nimport type { MutationOperation } from \"@fragno-dev/db/unit-of-work\";\n\nexport type ModelCheckerMode = \"exhaustive\" | \"bounded-exhaustive\" | \"random\" | \"infinite\";\nexport type ModelCheckerPhase = \"retrieve\" | \"mutate\";\n\nexport type ModelCheckerStep = {\n  txId: number;\n  phase: ModelCheckerPhase;\n};\n\nexport type ModelCheckerTraceHashMode = \"state\" | \"trace\" | \"state+trace\";\n\nexport type NormalizedMutationOperation = {\n  type: \"create\" | \"update\" | \"delete\" | \"check\";\n  table: string;\n  namespace?: string | null;\n  id?: unknown;\n  checkVersion?: boolean;\n  set?: Record<string, unknown>;\n  values?: Record<string, unknown>;\n  generatedExternalId?: string;\n};\n\nexport type ModelCheckerTraceEvent =\n  | {\n      type: \"schedule-step\";\n      step: ModelCheckerStep;\n      stepIndex: number;\n    }\n  | {\n      type: \"retrieve-output\";\n      txId?: number;\n      uowName?: string;\n      output: unknown;\n    }\n  | {\n      type: \"mutation-input\";\n      txId?: number;\n      uowName?: string;\n      operations: NormalizedMutationOperation[];\n    }\n  | {\n      type: \"mutation-result\";\n      txId?: number;\n      uowName?: string;\n      success: boolean;\n      createdIds: unknown[];\n      error?: string;\n    }\n  | {\n      type: \"runtime\";\n      operation: \"time.now\" | \"random.float\" | \"random.uuid\" | \"random.cuid\";\n      value: unknown;\n    }\n  | {\n      type: \"external\";\n      name: string;\n      payload: unknown;\n    };\n\nexport type ModelCheckerTrace = {\n  events: ModelCheckerTraceEvent[];\n};\n\nexport type ModelCheckerTraceRecorder = (event: ModelCheckerTraceEvent) => void;\n\nexport type ModelCheckerTraceHasher = (trace: ModelCheckerTrace) => Promise<string> | string;\n\nexport type RawUowTransactionContext<TSchema extends AnySchema, TUowConfig> = {\n  queryEngine: SimpleQueryInterface<TSchema, TUowConfig>;\n  createUnitOfWork: (name?: string, config?: TUowConfig) => TypedUnitOfWork<TSchema, [], unknown>;\n  runtime?: FragnoRuntime;\n};\n\nexport type RawUowMutateContext<\n  TSchema extends AnySchema,\n  TUowConfig,\n  TRetrieve,\n> = RawUowTransactionContext<TSchema, TUowConfig> & {\n  retrieveResult: TRetrieve;\n};\n\nexport interface RawUowTransaction<\n  TRetrieve = unknown,\n  TMutate = unknown,\n  TSchema extends AnySchema = AnySchema,\n  TUowConfig = void,\n> {\n  name?: string;\n  retrieve(ctx: RawUowTransactionContext<TSchema, TUowConfig>): TRetrieve | Promise<TRetrieve>;\n  mutate?(ctx: RawUowMutateContext<TSchema, TUowConfig, TRetrieve>): TMutate | Promise<TMutate>;\n}\n\nexport type RawUowTransactionBuilder<\n  TRetrieve = unknown,\n  TMutate = unknown,\n  TSchema extends AnySchema = AnySchema,\n  TUowConfig = void,\n> = {\n  name?: string;\n  config?: TUowConfig;\n  retrieve: (\n    uow: TypedUnitOfWork<TSchema, [], unknown>,\n    ctx: RawUowTransactionContext<TSchema, TUowConfig>,\n  ) => TRetrieve | Promise<TRetrieve>;\n  mutate?: (\n    uow: TypedUnitOfWork<TSchema, [], unknown>,\n    ctx: RawUowMutateContext<TSchema, TUowConfig, TRetrieve>,\n  ) => TMutate | Promise<TMutate>;\n};\n\nexport const createRawUowTransaction = <\n  TRetrieve = unknown,\n  TMutate = unknown,\n  TSchema extends AnySchema = AnySchema,\n  TUowConfig = void,\n>(\n  builder: RawUowTransactionBuilder<TRetrieve, TMutate, TSchema, TUowConfig>,\n): RawUowTransaction<TRetrieve, TMutate, TSchema, TUowConfig> => {\n  let uow: TypedUnitOfWork<TSchema, [], unknown> | null = null;\n  const getUow = (ctx: RawUowTransactionContext<TSchema, TUowConfig>, phase: ModelCheckerPhase) => {\n    if (!uow) {\n      if (phase === \"mutate\") {\n        throw new Error(\"Raw UOW mutate invoked before retrieve.\");\n      }\n      uow = ctx.createUnitOfWork(builder.name, builder.config);\n    }\n    return uow;\n  };\n\n  const mutate = builder.mutate;\n  return {\n    name: builder.name,\n    retrieve: (ctx) => builder.retrieve(getUow(ctx, \"retrieve\"), ctx),\n    mutate: mutate ? (ctx) => mutate(getUow(ctx, \"mutate\"), ctx) : undefined,\n  };\n};\n\nexport type ModelCheckerExecutionContext<TSchema extends AnySchema, TUowConfig> = {\n  ctx: RawUowTransactionContext<TSchema, TUowConfig>;\n  cleanup?: () => Promise<void>;\n};\n\nexport type ModelCheckerHistory =\n  | false\n  | { type: \"lru\"; maxEntries: number }\n  | { type: \"unbounded\" };\n\nexport type ModelCheckerBounds = {\n  maxSteps?: number;\n};\n\nexport type ModelCheckerStateHasherContext<TSchema extends AnySchema, TUowConfig> = {\n  schema: TSchema;\n  queryEngine: SimpleQueryInterface<TSchema, TUowConfig>;\n};\n\nexport type ModelCheckerConfig<TSchema extends AnySchema, TUowConfig = void> = {\n  schema: TSchema;\n  mode?: ModelCheckerMode;\n  seed?: number;\n  maxSchedules?: number;\n  bounds?: ModelCheckerBounds;\n  history?: ModelCheckerHistory;\n  stopWhenFrontierExhausted?: boolean;\n  stateHasher?: (ctx: ModelCheckerStateHasherContext<TSchema, TUowConfig>) => Promise<string>;\n  traceRecorder?: ModelCheckerTraceRecorder;\n  traceHasher?: ModelCheckerTraceHasher;\n  traceHashMode?: ModelCheckerTraceHashMode;\n  runtime?: FragnoRuntime;\n  createContext: () => Promise<ModelCheckerExecutionContext<TSchema, TUowConfig>>;\n  setup?: (ctx: RawUowTransactionContext<TSchema, TUowConfig>) => Promise<void>;\n  buildTransactions: (\n    ctx: RawUowTransactionContext<TSchema, TUowConfig>,\n  ) => RawUowTransaction<unknown, unknown, TSchema, TUowConfig>[];\n};\n\nexport type ModelCheckerScheduleResult = {\n  schedule: ModelCheckerStep[];\n  stateHash: string;\n  traceHash?: string;\n  trace?: ModelCheckerTrace;\n};\n\nexport type ModelCheckerRunResult = {\n  schedules: ModelCheckerScheduleResult[];\n  visitedPaths: number;\n};\n\ntype HistoryTracker = {\n  add: (key: string) => boolean;\n  size: () => number;\n};\n\ntype TransactionPlan = {\n  stepsPerTransaction: number[];\n};\n\ntype ScheduleExecutionResult = {\n  stateHash: string;\n  newPathsAdded: boolean;\n  traceHash?: string;\n  trace?: ModelCheckerTrace;\n};\n\nconst defaultHistoryConfig: ModelCheckerHistory = { type: \"lru\", maxEntries: 5000 };\n\nconst mulberry32 = (seed: number) => {\n  let t = seed >>> 0;\n  return () => {\n    t += 1831565813;\n    let r = Math.imul(t ^ (t >>> 15), t | 1);\n    r ^= r + Math.imul(r ^ (r >>> 7), r | 61);\n    return ((r ^ (r >>> 14)) >>> 0) / 4294967296;\n  };\n};\n\nconst serializeSchedulePrefix = (schedule: ModelCheckerStep[]): string =>\n  schedule.map((step) => `${step.txId}:${step.phase}`).join(\"|\");\n\nconst buildPathKey = (pathHash: string, prefix: ModelCheckerStep[]): string =>\n  `${pathHash}::${serializeSchedulePrefix(prefix)}`;\n\nconst createHistoryTracker = (history: ModelCheckerHistory): HistoryTracker | null => {\n  if (!history) {\n    return null;\n  }\n\n  if (history.type === \"unbounded\") {\n    const set = new Set<string>();\n    return {\n      add: (key: string) => {\n        const has = set.has(key);\n        if (!has) {\n          set.add(key);\n        }\n        return !has;\n      },\n      size: () => set.size,\n    };\n  }\n\n  const maxEntries = Math.max(history.maxEntries, 1);\n  const map = new Map<string, true>();\n  return {\n    add: (key: string) => {\n      const existed = map.delete(key);\n      map.set(key, true);\n      if (map.size > maxEntries) {\n        const first = map.keys().next().value;\n        if (first !== undefined) {\n          map.delete(first);\n        }\n      }\n      return !existed;\n    },\n    size: () => map.size,\n  };\n};\n\nconst normalizeForHash = (value: unknown): unknown => {\n  if (value === null || value === undefined) {\n    return value;\n  }\n\n  if (typeof value === \"bigint\") {\n    return value.toString();\n  }\n\n  if (value instanceof Date) {\n    return value.toISOString();\n  }\n\n  if (value instanceof FragnoId) {\n    return {\n      externalId: value.externalId,\n      internalId: value.internalId?.toString(),\n      version: value.version,\n    };\n  }\n\n  if (value instanceof FragnoReference) {\n    return value.internalId.toString();\n  }\n\n  if (Array.isArray(value)) {\n    return value.map((entry) => normalizeForHash(entry));\n  }\n\n  if (typeof value === \"object\") {\n    const record = value as Record<string, unknown>;\n    const sortedKeys = Object.keys(record).sort();\n    const normalized: Record<string, unknown> = {};\n    for (const key of sortedKeys) {\n      normalized[key] = normalizeForHash(record[key]);\n    }\n    return normalized;\n  }\n\n  return value;\n};\n\nconst stableStringify = (value: unknown): string => JSON.stringify(normalizeForHash(value));\n\nexport const defaultStateHasher = async <TSchema extends AnySchema, TUowConfig>(\n  ctx: ModelCheckerStateHasherContext<TSchema, TUowConfig>,\n): Promise<string> => {\n  const tableNames = Object.keys(ctx.schema.tables).sort();\n  const snapshot: { table: string; rows: unknown[] }[] = [];\n\n  for (const tableName of tableNames) {\n    const rows = await ctx.queryEngine.find(tableName, (b) =>\n      b.whereIndex(\"primary\").orderByIndex(\"primary\", \"asc\"),\n    );\n    snapshot.push({ table: tableName, rows });\n  }\n\n  return stableStringify(snapshot);\n};\n\nexport const defaultTraceHasher = async (trace: ModelCheckerTrace): Promise<string> =>\n  stableStringify(trace.events);\n\nconst resolvePathHash = (\n  stateHash: string,\n  traceHash: string | undefined,\n  mode: ModelCheckerTraceHashMode,\n): string => {\n  if (mode === \"state\") {\n    return stateHash;\n  }\n  if (!traceHash) {\n    throw new Error(\"Trace hash mode requires traceHasher to be configured.\");\n  }\n  if (mode === \"trace\") {\n    return traceHash;\n  }\n  return `${stateHash}::${traceHash}`;\n};\n\nconst wrapRuntimeForTrace = (\n  runtime: FragnoRuntime,\n  record: (event: ModelCheckerTraceEvent) => void,\n): FragnoRuntime => ({\n  time: {\n    now: () => {\n      const value = runtime.time.now();\n      record({ type: \"runtime\", operation: \"time.now\", value });\n      return value;\n    },\n  },\n  random: {\n    float: () => {\n      const value = runtime.random.float();\n      record({ type: \"runtime\", operation: \"random.float\", value });\n      return value;\n    },\n    uuid: () => {\n      const value = runtime.random.uuid();\n      record({ type: \"runtime\", operation: \"random.uuid\", value });\n      return value;\n    },\n    cuid: () => {\n      const value = runtime.random.cuid();\n      record({ type: \"runtime\", operation: \"random.cuid\", value });\n      return value;\n    },\n  },\n});\n\nconst captureCoreTrace = (\n  record: (event: ModelCheckerTraceEvent) => void,\n  event: FragnoCoreTraceEvent,\n) => {\n  record({ type: \"external\", name: event.type, payload: event });\n};\n\nconst createTraceContext = (\n  recorder: ModelCheckerTraceRecorder | undefined,\n  traceHasher: ModelCheckerTraceHasher | undefined,\n) => {\n  const events = recorder || traceHasher ? ([] as ModelCheckerTraceEvent[]) : null;\n  const record = (event: ModelCheckerTraceEvent) => {\n    if (events) {\n      events.push(event);\n    }\n    recorder?.(event);\n  };\n\n  return { events, record };\n};\n\nconst normalizeMutationOperation = (\n  op: MutationOperation<AnySchema>,\n): NormalizedMutationOperation => {\n  if (op.type === \"create\") {\n    return {\n      type: \"create\",\n      table: op.table,\n      namespace: op.namespace,\n      values: normalizeForHash(op.values) as Record<string, unknown>,\n      generatedExternalId: op.generatedExternalId,\n    };\n  }\n\n  if (op.type === \"update\") {\n    return {\n      type: \"update\",\n      table: op.table,\n      namespace: op.namespace,\n      id: normalizeForHash(op.id),\n      checkVersion: op.checkVersion,\n      set: normalizeForHash(op.set) as Record<string, unknown>,\n    };\n  }\n\n  if (op.type === \"delete\") {\n    return {\n      type: \"delete\",\n      table: op.table,\n      namespace: op.namespace,\n      id: normalizeForHash(op.id),\n      checkVersion: op.checkVersion,\n    };\n  }\n\n  return {\n    type: \"check\",\n    table: op.table,\n    namespace: op.namespace,\n    id: normalizeForHash(op.id),\n  };\n};\n\nconst wrapCreateUnitOfWorkForTrace = <TSchema extends AnySchema, TUowConfig>(\n  createUnitOfWork: (name?: string, config?: TUowConfig) => TypedUnitOfWork<TSchema, [], unknown>,\n  getTxId: () => number | undefined,\n  record: (event: ModelCheckerTraceEvent) => void,\n) => {\n  return (name?: string, config?: TUowConfig) => {\n    const uow = createUnitOfWork(name, config);\n    return new Proxy(uow, {\n      get(target, prop, receiver) {\n        if (prop === \"executeRetrieve\") {\n          return async () => {\n            const result = await target.executeRetrieve();\n            record({\n              type: \"retrieve-output\",\n              txId: getTxId(),\n              uowName: target.name,\n              output: normalizeForHash(result),\n            });\n            return result;\n          };\n        }\n\n        if (prop === \"executeMutations\") {\n          return async () => {\n            const txId = getTxId();\n            record({\n              type: \"mutation-input\",\n              txId,\n              uowName: target.name,\n              operations: target.getMutationOperations().map(normalizeMutationOperation),\n            });\n            try {\n              const result = await target.executeMutations();\n              record({\n                type: \"mutation-result\",\n                txId,\n                uowName: target.name,\n                success: result.success,\n                createdIds: result.success ? target.getCreatedIds().map(normalizeForHash) : [],\n              });\n              return result;\n            } catch (error) {\n              record({\n                type: \"mutation-result\",\n                txId,\n                uowName: target.name,\n                success: false,\n                createdIds: [],\n                error: error instanceof Error ? error.message : String(error),\n              });\n              throw error;\n            }\n          };\n        }\n\n        const value = Reflect.get(target, prop, receiver);\n        if (typeof value === \"function\") {\n          return value.bind(target);\n        }\n        return value;\n      },\n    });\n  };\n};\n\nconst planTransactions = <TSchema extends AnySchema, TUowConfig>(\n  transactions: RawUowTransaction<unknown, unknown, TSchema, TUowConfig>[],\n): TransactionPlan => {\n  if (transactions.length === 0) {\n    throw new Error(\"Model checker requires at least one transaction.\");\n  }\n\n  const stepsPerTransaction = transactions.map((tx) => {\n    if (!tx.retrieve) {\n      throw new Error(\"Model checker transactions must define a retrieve step.\");\n    }\n    return tx.mutate ? 2 : 1;\n  });\n\n  return { stepsPerTransaction };\n};\n\nconst generateAllSchedules = (stepsPerTransaction: number[]): ModelCheckerStep[][] => {\n  const schedules: ModelCheckerStep[][] = [];\n  const totalSteps = stepsPerTransaction.reduce((sum, steps) => sum + steps, 0);\n  const progress = stepsPerTransaction.map(() => 0);\n  const current: ModelCheckerStep[] = [];\n\n  const walk = () => {\n    if (current.length === totalSteps) {\n      schedules.push([...current]);\n      return;\n    }\n\n    for (let txId = 0; txId < stepsPerTransaction.length; txId += 1) {\n      if (progress[txId] >= stepsPerTransaction[txId]) {\n        continue;\n      }\n      const phase: ModelCheckerPhase = progress[txId] === 0 ? \"retrieve\" : \"mutate\";\n      current.push({ txId, phase });\n      progress[txId] += 1;\n      walk();\n      progress[txId] -= 1;\n      current.pop();\n    }\n  };\n\n  walk();\n  return schedules;\n};\n\nconst generateRandomSchedule = (\n  stepsPerTransaction: number[],\n  rng: () => number,\n): ModelCheckerStep[] => {\n  const totalSteps = stepsPerTransaction.reduce((sum, steps) => sum + steps, 0);\n  const progress = stepsPerTransaction.map(() => 0);\n  const schedule: ModelCheckerStep[] = [];\n\n  for (let stepIndex = 0; stepIndex < totalSteps; stepIndex += 1) {\n    const candidates: number[] = [];\n    for (let txId = 0; txId < stepsPerTransaction.length; txId += 1) {\n      if (progress[txId] < stepsPerTransaction[txId]) {\n        candidates.push(txId);\n      }\n    }\n    const pick = candidates[Math.floor(rng() * candidates.length)];\n    const phase: ModelCheckerPhase = progress[pick] === 0 ? \"retrieve\" : \"mutate\";\n    schedule.push({ txId: pick, phase });\n    progress[pick] += 1;\n  }\n\n  return schedule;\n};\n\nconst executeSchedule = async <TSchema extends AnySchema, TUowConfig>(\n  schedule: ModelCheckerStep[],\n  config: ModelCheckerConfig<TSchema, TUowConfig>,\n  history: HistoryTracker | null,\n  stateHasher: (ctx: ModelCheckerStateHasherContext<TSchema, TUowConfig>) => Promise<string>,\n): Promise<ScheduleExecutionResult> => {\n  const traceHashMode = config.traceHashMode ?? \"state\";\n  const traceHasher =\n    config.traceHasher ?? (traceHashMode === \"state\" ? undefined : defaultTraceHasher);\n  const traceContext = createTraceContext(config.traceRecorder, traceHasher);\n  const traceEnabled = Boolean(traceContext.events);\n  const runtime =\n    config.runtime && traceEnabled\n      ? wrapRuntimeForTrace(config.runtime, traceContext.record)\n      : config.runtime;\n\n  const { ctx, cleanup } = await config.createContext();\n  try {\n    let currentTxId: number | undefined;\n    const tracedContext = traceEnabled\n      ? {\n          ...ctx,\n          createUnitOfWork: wrapCreateUnitOfWorkForTrace(\n            ctx.createUnitOfWork,\n            () => currentTxId,\n            traceContext.record,\n          ),\n          runtime,\n        }\n      : { ...ctx, runtime };\n\n    if (config.setup) {\n      await config.setup(tracedContext);\n    }\n\n    const transactions = config.buildTransactions(tracedContext);\n    const transactionState = transactions.map(() => ({ retrieveResult: undefined as unknown }));\n    let lastStateHash: string | null = null;\n    let newPathsAdded = false;\n\n    const runSchedule = async () => {\n      for (let stepIndex = 0; stepIndex < schedule.length; stepIndex += 1) {\n        const step = schedule[stepIndex];\n        if (!step) {\n          throw new Error(\"Schedule step is missing.\");\n        }\n        const tx = transactions[step.txId];\n        if (!tx) {\n          throw new Error(`Transaction ${step.txId} is missing.`);\n        }\n\n        currentTxId = step.txId;\n        if (traceEnabled) {\n          traceContext.record({ type: \"schedule-step\", step, stepIndex });\n        }\n\n        if (step.phase === \"retrieve\") {\n          transactionState[step.txId].retrieveResult = await tx.retrieve(tracedContext);\n        } else {\n          if (!tx.mutate) {\n            throw new Error(`Transaction ${step.txId} does not define a mutate step.`);\n          }\n          await tx.mutate({\n            ...tracedContext,\n            retrieveResult: transactionState[step.txId].retrieveResult,\n          });\n        }\n\n        if (history) {\n          lastStateHash = await stateHasher({\n            schema: config.schema,\n            queryEngine: tracedContext.queryEngine,\n          });\n          const traceHash = traceHasher\n            ? await traceHasher({ events: traceContext.events ?? [] })\n            : undefined;\n          const prefix = schedule.slice(0, stepIndex + 1);\n          const added = history.add(\n            buildPathKey(resolvePathHash(lastStateHash, traceHash, traceHashMode), prefix),\n          );\n          if (added) {\n            newPathsAdded = true;\n          }\n        }\n      }\n\n      currentTxId = undefined;\n\n      if (!lastStateHash) {\n        lastStateHash = await stateHasher({\n          schema: config.schema,\n          queryEngine: tracedContext.queryEngine,\n        });\n      }\n\n      const finalTraceHash = traceHasher\n        ? await traceHasher({ events: traceContext.events ?? [] })\n        : undefined;\n\n      return {\n        stateHash: lastStateHash,\n        newPathsAdded,\n        traceHash: finalTraceHash,\n        trace: traceContext.events ? { events: traceContext.events } : undefined,\n      };\n    };\n\n    if (traceEnabled) {\n      return await runWithTraceRecorder(\n        (event) => captureCoreTrace(traceContext.record, event),\n        runSchedule,\n      );\n    }\n\n    return await runSchedule();\n  } finally {\n    if (cleanup) {\n      await cleanup();\n    }\n  }\n};\n\nconst getTransactionPlan = async <TSchema extends AnySchema, TUowConfig>(\n  config: ModelCheckerConfig<TSchema, TUowConfig>,\n): Promise<TransactionPlan> => {\n  const { ctx, cleanup } = await config.createContext();\n  try {\n    const context = config.runtime ? { ...ctx, runtime: config.runtime } : ctx;\n    if (config.setup) {\n      await config.setup(context);\n    }\n    const transactions = config.buildTransactions(context);\n    return planTransactions(transactions);\n  } finally {\n    if (cleanup) {\n      await cleanup();\n    }\n  }\n};\n\nexport const runModelChecker = async <TSchema extends AnySchema, TUowConfig>(\n  config: ModelCheckerConfig<TSchema, TUowConfig>,\n): Promise<ModelCheckerRunResult> => {\n  const mode = config.mode ?? \"exhaustive\";\n  const historyConfig = config.history ?? defaultHistoryConfig;\n  const history = createHistoryTracker(historyConfig);\n  const stateHasher = config.stateHasher ?? defaultStateHasher;\n  const { stepsPerTransaction } = await getTransactionPlan(config);\n  const schedules: ModelCheckerScheduleResult[] = [];\n  const maxSchedules = config.maxSchedules;\n  const seed = config.seed ?? 1;\n\n  if (mode === \"exhaustive\" || mode === \"bounded-exhaustive\") {\n    if (mode === \"bounded-exhaustive\") {\n      const bounds = config.bounds;\n      if (bounds?.maxSteps !== undefined) {\n        const totalSteps = stepsPerTransaction.reduce((sum, steps) => sum + steps, 0);\n        if (totalSteps > bounds.maxSteps) {\n          throw new Error(\n            `bounded-exhaustive requires maxSteps >= ${totalSteps}, ` +\n              `but received ${bounds.maxSteps}`,\n          );\n        }\n      }\n    }\n    const allSchedules = generateAllSchedules(stepsPerTransaction);\n    for (const schedule of allSchedules) {\n      if (maxSchedules !== undefined && schedules.length >= maxSchedules) {\n        break;\n      }\n      const result = await executeSchedule(schedule, config, history, stateHasher);\n      schedules.push({\n        schedule,\n        stateHash: result.stateHash,\n        traceHash: result.traceHash,\n        trace: result.trace,\n      });\n    }\n  } else if (mode === \"random\") {\n    const rng = mulberry32(seed);\n    const total = maxSchedules ?? 1;\n    for (let i = 0; i < total; i += 1) {\n      const schedule = generateRandomSchedule(stepsPerTransaction, rng);\n      const result = await executeSchedule(schedule, config, history, stateHasher);\n      schedules.push({\n        schedule,\n        stateHash: result.stateHash,\n        traceHash: result.traceHash,\n        trace: result.trace,\n      });\n    }\n  } else {\n    const rng = mulberry32(seed);\n    const stopWhenFrontierExhausted = config.stopWhenFrontierExhausted ?? false;\n    let iterations = 0;\n    let frontierExhausted = false;\n\n    while (!frontierExhausted) {\n      if (maxSchedules !== undefined && iterations >= maxSchedules) {\n        break;\n      }\n      const schedule = generateRandomSchedule(stepsPerTransaction, rng);\n      const result = await executeSchedule(schedule, config, history, stateHasher);\n      schedules.push({\n        schedule,\n        stateHash: result.stateHash,\n        traceHash: result.traceHash,\n        trace: result.trace,\n      });\n      iterations += 1;\n\n      if (stopWhenFrontierExhausted && history) {\n        frontierExhausted = !result.newPathsAdded;\n      }\n    }\n  }\n\n  return {\n    schedules,\n    visitedPaths: history?.size() ?? 0,\n  };\n};\n"],"mappings":";;;;AAuHA,MAAa,2BAMX,YAC+D;CAC/D,IAAIA,MAAoD;CACxD,MAAM,UAAU,KAAoD,UAA6B;AAC/F,MAAI,CAAC,KAAK;AACR,OAAI,UAAU,SACZ,OAAM,IAAI,MAAM,0CAA0C;AAE5D,SAAM,IAAI,iBAAiB,QAAQ,MAAM,QAAQ,OAAO;;AAE1D,SAAO;;CAGT,MAAM,SAAS,QAAQ;AACvB,QAAO;EACL,MAAM,QAAQ;EACd,WAAW,QAAQ,QAAQ,SAAS,OAAO,KAAK,WAAW,EAAE,IAAI;EACjE,QAAQ,UAAU,QAAQ,OAAO,OAAO,KAAK,SAAS,EAAE,IAAI,GAAG;EAChE;;AAsEH,MAAMC,uBAA4C;CAAE,MAAM;CAAO,YAAY;CAAM;AAEnF,MAAM,cAAc,SAAiB;CACnC,IAAI,IAAI,SAAS;AACjB,cAAa;AACX,OAAK;EACL,IAAI,IAAI,KAAK,KAAK,IAAK,MAAM,IAAK,IAAI,EAAE;AACxC,OAAK,IAAI,KAAK,KAAK,IAAK,MAAM,GAAI,IAAI,GAAG;AACzC,WAAS,IAAK,MAAM,QAAS,KAAK;;;AAItC,MAAM,2BAA2B,aAC/B,SAAS,KAAK,SAAS,GAAG,KAAK,KAAK,GAAG,KAAK,QAAQ,CAAC,KAAK,IAAI;AAEhE,MAAM,gBAAgB,UAAkB,WACtC,GAAG,SAAS,IAAI,wBAAwB,OAAO;AAEjD,MAAM,wBAAwB,YAAwD;AACpF,KAAI,CAAC,QACH,QAAO;AAGT,KAAI,QAAQ,SAAS,aAAa;EAChC,MAAM,sBAAM,IAAI,KAAa;AAC7B,SAAO;GACL,MAAM,QAAgB;IACpB,MAAM,MAAM,IAAI,IAAI,IAAI;AACxB,QAAI,CAAC,IACH,KAAI,IAAI,IAAI;AAEd,WAAO,CAAC;;GAEV,YAAY,IAAI;GACjB;;CAGH,MAAM,aAAa,KAAK,IAAI,QAAQ,YAAY,EAAE;CAClD,MAAM,sBAAM,IAAI,KAAmB;AACnC,QAAO;EACL,MAAM,QAAgB;GACpB,MAAM,UAAU,IAAI,OAAO,IAAI;AAC/B,OAAI,IAAI,KAAK,KAAK;AAClB,OAAI,IAAI,OAAO,YAAY;IACzB,MAAM,QAAQ,IAAI,MAAM,CAAC,MAAM,CAAC;AAChC,QAAI,UAAU,OACZ,KAAI,OAAO,MAAM;;AAGrB,UAAO,CAAC;;EAEV,YAAY,IAAI;EACjB;;AAGH,MAAM,oBAAoB,UAA4B;AACpD,KAAI,UAAU,QAAQ,UAAU,OAC9B,QAAO;AAGT,KAAI,OAAO,UAAU,SACnB,QAAO,MAAM,UAAU;AAGzB,KAAI,iBAAiB,KACnB,QAAO,MAAM,aAAa;AAG5B,KAAI,iBAAiB,SACnB,QAAO;EACL,YAAY,MAAM;EAClB,YAAY,MAAM,YAAY,UAAU;EACxC,SAAS,MAAM;EAChB;AAGH,KAAI,iBAAiB,gBACnB,QAAO,MAAM,WAAW,UAAU;AAGpC,KAAI,MAAM,QAAQ,MAAM,CACtB,QAAO,MAAM,KAAK,UAAU,iBAAiB,MAAM,CAAC;AAGtD,KAAI,OAAO,UAAU,UAAU;EAC7B,MAAM,SAAS;EACf,MAAM,aAAa,OAAO,KAAK,OAAO,CAAC,MAAM;EAC7C,MAAMC,aAAsC,EAAE;AAC9C,OAAK,MAAM,OAAO,WAChB,YAAW,OAAO,iBAAiB,OAAO,KAAK;AAEjD,SAAO;;AAGT,QAAO;;AAGT,MAAM,mBAAmB,UAA2B,KAAK,UAAU,iBAAiB,MAAM,CAAC;AAE3F,MAAa,qBAAqB,OAChC,QACoB;CACpB,MAAM,aAAa,OAAO,KAAK,IAAI,OAAO,OAAO,CAAC,MAAM;CACxD,MAAMC,WAAiD,EAAE;AAEzD,MAAK,MAAM,aAAa,YAAY;EAClC,MAAM,OAAO,MAAM,IAAI,YAAY,KAAK,YAAY,MAClD,EAAE,WAAW,UAAU,CAAC,aAAa,WAAW,MAAM,CACvD;AACD,WAAS,KAAK;GAAE,OAAO;GAAW;GAAM,CAAC;;AAG3C,QAAO,gBAAgB,SAAS;;AAGlC,MAAa,qBAAqB,OAAO,UACvC,gBAAgB,MAAM,OAAO;AAE/B,MAAM,mBACJ,WACA,WACA,SACW;AACX,KAAI,SAAS,QACX,QAAO;AAET,KAAI,CAAC,UACH,OAAM,IAAI,MAAM,yDAAyD;AAE3E,KAAI,SAAS,QACX,QAAO;AAET,QAAO,GAAG,UAAU,IAAI;;AAG1B,MAAM,uBACJ,SACA,YACmB;CACnB,MAAM,EACJ,WAAW;EACT,MAAM,QAAQ,QAAQ,KAAK,KAAK;AAChC,SAAO;GAAE,MAAM;GAAW,WAAW;GAAY;GAAO,CAAC;AACzD,SAAO;IAEV;CACD,QAAQ;EACN,aAAa;GACX,MAAM,QAAQ,QAAQ,OAAO,OAAO;AACpC,UAAO;IAAE,MAAM;IAAW,WAAW;IAAgB;IAAO,CAAC;AAC7D,UAAO;;EAET,YAAY;GACV,MAAM,QAAQ,QAAQ,OAAO,MAAM;AACnC,UAAO;IAAE,MAAM;IAAW,WAAW;IAAe;IAAO,CAAC;AAC5D,UAAO;;EAET,YAAY;GACV,MAAM,QAAQ,QAAQ,OAAO,MAAM;AACnC,UAAO;IAAE,MAAM;IAAW,WAAW;IAAe;IAAO,CAAC;AAC5D,UAAO;;EAEV;CACF;AAED,MAAM,oBACJ,QACA,UACG;AACH,QAAO;EAAE,MAAM;EAAY,MAAM,MAAM;EAAM,SAAS;EAAO,CAAC;;AAGhE,MAAM,sBACJ,UACA,gBACG;CACH,MAAM,SAAS,YAAY,cAAe,EAAE,GAAgC;CAC5E,MAAM,UAAU,UAAkC;AAChD,MAAI,OACF,QAAO,KAAK,MAAM;AAEpB,aAAW,MAAM;;AAGnB,QAAO;EAAE;EAAQ;EAAQ;;AAG3B,MAAM,8BACJ,OACgC;AAChC,KAAI,GAAG,SAAS,SACd,QAAO;EACL,MAAM;EACN,OAAO,GAAG;EACV,WAAW,GAAG;EACd,QAAQ,iBAAiB,GAAG,OAAO;EACnC,qBAAqB,GAAG;EACzB;AAGH,KAAI,GAAG,SAAS,SACd,QAAO;EACL,MAAM;EACN,OAAO,GAAG;EACV,WAAW,GAAG;EACd,IAAI,iBAAiB,GAAG,GAAG;EAC3B,cAAc,GAAG;EACjB,KAAK,iBAAiB,GAAG,IAAI;EAC9B;AAGH,KAAI,GAAG,SAAS,SACd,QAAO;EACL,MAAM;EACN,OAAO,GAAG;EACV,WAAW,GAAG;EACd,IAAI,iBAAiB,GAAG,GAAG;EAC3B,cAAc,GAAG;EAClB;AAGH,QAAO;EACL,MAAM;EACN,OAAO,GAAG;EACV,WAAW,GAAG;EACd,IAAI,iBAAiB,GAAG,GAAG;EAC5B;;AAGH,MAAM,gCACJ,kBACA,SACA,WACG;AACH,SAAQ,MAAe,WAAwB;EAC7C,MAAM,MAAM,iBAAiB,MAAM,OAAO;AAC1C,SAAO,IAAI,MAAM,KAAK,EACpB,IAAI,QAAQ,MAAM,UAAU;AAC1B,OAAI,SAAS,kBACX,QAAO,YAAY;IACjB,MAAM,SAAS,MAAM,OAAO,iBAAiB;AAC7C,WAAO;KACL,MAAM;KACN,MAAM,SAAS;KACf,SAAS,OAAO;KAChB,QAAQ,iBAAiB,OAAO;KACjC,CAAC;AACF,WAAO;;AAIX,OAAI,SAAS,mBACX,QAAO,YAAY;IACjB,MAAM,OAAO,SAAS;AACtB,WAAO;KACL,MAAM;KACN;KACA,SAAS,OAAO;KAChB,YAAY,OAAO,uBAAuB,CAAC,IAAI,2BAA2B;KAC3E,CAAC;AACF,QAAI;KACF,MAAM,SAAS,MAAM,OAAO,kBAAkB;AAC9C,YAAO;MACL,MAAM;MACN;MACA,SAAS,OAAO;MAChB,SAAS,OAAO;MAChB,YAAY,OAAO,UAAU,OAAO,eAAe,CAAC,IAAI,iBAAiB,GAAG,EAAE;MAC/E,CAAC;AACF,YAAO;aACA,OAAO;AACd,YAAO;MACL,MAAM;MACN;MACA,SAAS,OAAO;MAChB,SAAS;MACT,YAAY,EAAE;MACd,OAAO,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM;MAC9D,CAAC;AACF,WAAM;;;GAKZ,MAAM,QAAQ,QAAQ,IAAI,QAAQ,MAAM,SAAS;AACjD,OAAI,OAAO,UAAU,WACnB,QAAO,MAAM,KAAK,OAAO;AAE3B,UAAO;KAEV,CAAC;;;AAIN,MAAM,oBACJ,iBACoB;AACpB,KAAI,aAAa,WAAW,EAC1B,OAAM,IAAI,MAAM,mDAAmD;AAUrE,QAAO,EAAE,qBAPmB,aAAa,KAAK,OAAO;AACnD,MAAI,CAAC,GAAG,SACN,OAAM,IAAI,MAAM,0DAA0D;AAE5E,SAAO,GAAG,SAAS,IAAI;GACvB,EAE4B;;AAGhC,MAAM,wBAAwB,wBAAwD;CACpF,MAAMC,YAAkC,EAAE;CAC1C,MAAM,aAAa,oBAAoB,QAAQ,KAAK,UAAU,MAAM,OAAO,EAAE;CAC7E,MAAM,WAAW,oBAAoB,UAAU,EAAE;CACjD,MAAMC,UAA8B,EAAE;CAEtC,MAAM,aAAa;AACjB,MAAI,QAAQ,WAAW,YAAY;AACjC,aAAU,KAAK,CAAC,GAAG,QAAQ,CAAC;AAC5B;;AAGF,OAAK,IAAI,OAAO,GAAG,OAAO,oBAAoB,QAAQ,QAAQ,GAAG;AAC/D,OAAI,SAAS,SAAS,oBAAoB,MACxC;GAEF,MAAMC,QAA2B,SAAS,UAAU,IAAI,aAAa;AACrE,WAAQ,KAAK;IAAE;IAAM;IAAO,CAAC;AAC7B,YAAS,SAAS;AAClB,SAAM;AACN,YAAS,SAAS;AAClB,WAAQ,KAAK;;;AAIjB,OAAM;AACN,QAAO;;AAGT,MAAM,0BACJ,qBACA,QACuB;CACvB,MAAM,aAAa,oBAAoB,QAAQ,KAAK,UAAU,MAAM,OAAO,EAAE;CAC7E,MAAM,WAAW,oBAAoB,UAAU,EAAE;CACjD,MAAMC,WAA+B,EAAE;AAEvC,MAAK,IAAI,YAAY,GAAG,YAAY,YAAY,aAAa,GAAG;EAC9D,MAAMC,aAAuB,EAAE;AAC/B,OAAK,IAAI,OAAO,GAAG,OAAO,oBAAoB,QAAQ,QAAQ,EAC5D,KAAI,SAAS,QAAQ,oBAAoB,MACvC,YAAW,KAAK,KAAK;EAGzB,MAAM,OAAO,WAAW,KAAK,MAAM,KAAK,GAAG,WAAW,OAAO;EAC7D,MAAMF,QAA2B,SAAS,UAAU,IAAI,aAAa;AACrE,WAAS,KAAK;GAAE,MAAM;GAAM;GAAO,CAAC;AACpC,WAAS,SAAS;;AAGpB,QAAO;;AAGT,MAAM,kBAAkB,OACtB,UACA,QACA,SACA,gBACqC;CACrC,MAAM,gBAAgB,OAAO,iBAAiB;CAC9C,MAAM,cACJ,OAAO,gBAAgB,kBAAkB,UAAU,SAAY;CACjE,MAAM,eAAe,mBAAmB,OAAO,eAAe,YAAY;CAC1E,MAAM,eAAe,QAAQ,aAAa,OAAO;CACjD,MAAM,UACJ,OAAO,WAAW,eACd,oBAAoB,OAAO,SAAS,aAAa,OAAO,GACxD,OAAO;CAEb,MAAM,EAAE,KAAK,YAAY,MAAM,OAAO,eAAe;AACrD,KAAI;EACF,IAAIG;EACJ,MAAM,gBAAgB,eAClB;GACE,GAAG;GACH,kBAAkB,6BAChB,IAAI,wBACE,aACN,aAAa,OACd;GACD;GACD,GACD;GAAE,GAAG;GAAK;GAAS;AAEvB,MAAI,OAAO,MACT,OAAM,OAAO,MAAM,cAAc;EAGnC,MAAM,eAAe,OAAO,kBAAkB,cAAc;EAC5D,MAAM,mBAAmB,aAAa,WAAW,EAAE,gBAAgB,QAAsB,EAAE;EAC3F,IAAIC,gBAA+B;EACnC,IAAI,gBAAgB;EAEpB,MAAM,cAAc,YAAY;AAC9B,QAAK,IAAI,YAAY,GAAG,YAAY,SAAS,QAAQ,aAAa,GAAG;IACnE,MAAM,OAAO,SAAS;AACtB,QAAI,CAAC,KACH,OAAM,IAAI,MAAM,4BAA4B;IAE9C,MAAM,KAAK,aAAa,KAAK;AAC7B,QAAI,CAAC,GACH,OAAM,IAAI,MAAM,eAAe,KAAK,KAAK,cAAc;AAGzD,kBAAc,KAAK;AACnB,QAAI,aACF,cAAa,OAAO;KAAE,MAAM;KAAiB;KAAM;KAAW,CAAC;AAGjE,QAAI,KAAK,UAAU,WACjB,kBAAiB,KAAK,MAAM,iBAAiB,MAAM,GAAG,SAAS,cAAc;SACxE;AACL,SAAI,CAAC,GAAG,OACN,OAAM,IAAI,MAAM,eAAe,KAAK,KAAK,iCAAiC;AAE5E,WAAM,GAAG,OAAO;MACd,GAAG;MACH,gBAAgB,iBAAiB,KAAK,MAAM;MAC7C,CAAC;;AAGJ,QAAI,SAAS;AACX,qBAAgB,MAAM,YAAY;MAChC,QAAQ,OAAO;MACf,aAAa,cAAc;MAC5B,CAAC;KACF,MAAM,YAAY,cACd,MAAM,YAAY,EAAE,QAAQ,aAAa,UAAU,EAAE,EAAE,CAAC,GACxD;KACJ,MAAM,SAAS,SAAS,MAAM,GAAG,YAAY,EAAE;AAI/C,SAHc,QAAQ,IACpB,aAAa,gBAAgB,eAAe,WAAW,cAAc,EAAE,OAAO,CAC/E,CAEC,iBAAgB;;;AAKtB,iBAAc;AAEd,OAAI,CAAC,cACH,iBAAgB,MAAM,YAAY;IAChC,QAAQ,OAAO;IACf,aAAa,cAAc;IAC5B,CAAC;GAGJ,MAAM,iBAAiB,cACnB,MAAM,YAAY,EAAE,QAAQ,aAAa,UAAU,EAAE,EAAE,CAAC,GACxD;AAEJ,UAAO;IACL,WAAW;IACX;IACA,WAAW;IACX,OAAO,aAAa,SAAS,EAAE,QAAQ,aAAa,QAAQ,GAAG;IAChE;;AAGH,MAAI,aACF,QAAO,MAAM,sBACV,UAAU,iBAAiB,aAAa,QAAQ,MAAM,EACvD,YACD;AAGH,SAAO,MAAM,aAAa;WAClB;AACR,MAAI,QACF,OAAM,SAAS;;;AAKrB,MAAM,qBAAqB,OACzB,WAC6B;CAC7B,MAAM,EAAE,KAAK,YAAY,MAAM,OAAO,eAAe;AACrD,KAAI;EACF,MAAM,UAAU,OAAO,UAAU;GAAE,GAAG;GAAK,SAAS,OAAO;GAAS,GAAG;AACvE,MAAI,OAAO,MACT,OAAM,OAAO,MAAM,QAAQ;AAG7B,SAAO,iBADc,OAAO,kBAAkB,QAAQ,CACjB;WAC7B;AACR,MAAI,QACF,OAAM,SAAS;;;AAKrB,MAAa,kBAAkB,OAC7B,WACmC;CACnC,MAAM,OAAO,OAAO,QAAQ;CAE5B,MAAM,UAAU,qBADM,OAAO,WAAW,qBACW;CACnD,MAAM,cAAc,OAAO,eAAe;CAC1C,MAAM,EAAE,wBAAwB,MAAM,mBAAmB,OAAO;CAChE,MAAMC,YAA0C,EAAE;CAClD,MAAM,eAAe,OAAO;CAC5B,MAAM,OAAO,OAAO,QAAQ;AAE5B,KAAI,SAAS,gBAAgB,SAAS,sBAAsB;AAC1D,MAAI,SAAS,sBAAsB;GACjC,MAAM,SAAS,OAAO;AACtB,OAAI,QAAQ,aAAa,QAAW;IAClC,MAAM,aAAa,oBAAoB,QAAQ,KAAK,UAAU,MAAM,OAAO,EAAE;AAC7E,QAAI,aAAa,OAAO,SACtB,OAAM,IAAI,MACR,2CAA2C,WAAW,iBACpC,OAAO,WAC1B;;;EAIP,MAAM,eAAe,qBAAqB,oBAAoB;AAC9D,OAAK,MAAM,YAAY,cAAc;AACnC,OAAI,iBAAiB,UAAa,UAAU,UAAU,aACpD;GAEF,MAAM,SAAS,MAAM,gBAAgB,UAAU,QAAQ,SAAS,YAAY;AAC5E,aAAU,KAAK;IACb;IACA,WAAW,OAAO;IAClB,WAAW,OAAO;IAClB,OAAO,OAAO;IACf,CAAC;;YAEK,SAAS,UAAU;EAC5B,MAAM,MAAM,WAAW,KAAK;EAC5B,MAAM,QAAQ,gBAAgB;AAC9B,OAAK,IAAI,IAAI,GAAG,IAAI,OAAO,KAAK,GAAG;GACjC,MAAM,WAAW,uBAAuB,qBAAqB,IAAI;GACjE,MAAM,SAAS,MAAM,gBAAgB,UAAU,QAAQ,SAAS,YAAY;AAC5E,aAAU,KAAK;IACb;IACA,WAAW,OAAO;IAClB,WAAW,OAAO;IAClB,OAAO,OAAO;IACf,CAAC;;QAEC;EACL,MAAM,MAAM,WAAW,KAAK;EAC5B,MAAM,4BAA4B,OAAO,6BAA6B;EACtE,IAAI,aAAa;EACjB,IAAI,oBAAoB;AAExB,SAAO,CAAC,mBAAmB;AACzB,OAAI,iBAAiB,UAAa,cAAc,aAC9C;GAEF,MAAM,WAAW,uBAAuB,qBAAqB,IAAI;GACjE,MAAM,SAAS,MAAM,gBAAgB,UAAU,QAAQ,SAAS,YAAY;AAC5E,aAAU,KAAK;IACb;IACA,WAAW,OAAO;IAClB,WAAW,OAAO;IAClB,OAAO,OAAO;IACf,CAAC;AACF,iBAAc;AAEd,OAAI,6BAA6B,QAC/B,qBAAoB,CAAC,OAAO;;;AAKlC,QAAO;EACL;EACA,cAAc,SAAS,MAAM,IAAI;EAClC"}