@fragno-dev/test 1.0.1 → 2.0.0

package/dist/model-checker-actors.js

@@ -0,0 +1,406 @@
+import "./model-checker-adapter.js";
+import { defaultStateHasher } from "./model-checker.js";
+
+//#region src/model-checker-actors.ts
+const createDeferred = () => {
+	const { promise, resolve } = Promise.withResolvers();
+	return {
+		promise,
+		resolve
+	};
+};
+var PhaseScheduler = class {
+	#mode;
+	#plan;
+	#uowIds = /* @__PURE__ */ new WeakMap();
+	#uowPlans = [];
+	#pending = [];
+	#pendingSignal = createDeferred();
+	#inFlight = /* @__PURE__ */ new Map();
+	#actorsDone = false;
+	constructor(mode, plan) {
+		this.#mode = mode;
+		this.#plan = plan ?? null;
+	}
+	markActorsDone() {
+		this.#actorsDone = true;
+		this.#pendingSignal.resolve();
+	}
+	getPlan() {
+		return { phasesPerTransaction: this.#uowPlans.map((entry) => {
+			const phases = [];
+			if (entry.hasRetrieve) phases.push("retrieve");
+			if (entry.hasMutate) phases.push("mutate");
+			return phases;
+		}) };
+	}
+	async beforePhase(ctx, phase) {
+		const uow = ctx.uow;
+		const uowId = this.#getOrCreateUowId(uow);
+		if (phase === "mutate") {
+			const plan = this.#uowPlans[uowId];
+			if (plan) plan.hasMutate = true;
+		} else {
+			const plan = this.#uowPlans[uowId];
+			if (plan) plan.hasRetrieve = true;
+		}
+		if (this.#mode === "record") return;
+		this.#assertPlanned(uowId, phase);
+		const release = createDeferred();
+		const completion = createDeferred();
+		this.#inFlight.set(`${uowId}:${phase}`, completion);
+		const gate = {
+			uowId,
+			phase,
+			release: () => {
+				release.resolve();
+			},
+			completion: completion.promise
+		};
+		this.#pending.push(gate);
+		this.#pendingSignal.resolve();
+		this.#pendingSignal = createDeferred();
+		await release.promise;
+	}
+	async afterPhase(ctx, phase) {
+		const uow = ctx.uow;
+		const key = `${this.#getOrCreateUowId(uow)}:${phase}`;
+		const completion = this.#inFlight.get(key);
+		if (completion) {
+			completion.resolve();
+			this.#inFlight.delete(key);
+		}
+	}
+	async releaseStep(step, actorsPromise) {
+		for (;;) {
+			const matchIndex = this.#pending.findIndex((gate) => gate.uowId === step.txId && gate.phase === step.phase);
+			if (matchIndex !== -1) {
+				const [gate] = this.#pending.splice(matchIndex, 1);
+				gate.release();
+				await gate.completion;
+				return;
+			}
+			if (this.#pending.length > 0) {
+				const pendingSummary = this.#pending.map((gate) => `${gate.uowId}:${gate.phase}`).join(", ");
+				throw new Error(`Model checker schedule mismatch. Expected ${step.txId}:${step.phase}, pending [${pendingSummary}]`);
+			}
+			await Promise.race([this.#pendingSignal.promise, actorsPromise]);
+			if (this.#actorsDone) throw new Error(`Model checker schedule expects ${step.phase} for UOW ${step.txId}, but no gate appeared.`);
+		}
+	}
+	async releaseAny(pickIndex, actorsPromise) {
+		for (;;) {
+			if (this.#pending.length > 0) {
+				const index = Math.max(0, Math.min(pickIndex(this.#pending), this.#pending.length - 1));
+				const [gate] = this.#pending.splice(index, 1);
+				gate.release();
+				await gate.completion;
+				return {
+					txId: gate.uowId,
+					phase: gate.phase
+				};
+			}
+			await Promise.race([this.#pendingSignal.promise, actorsPromise]);
+			if (this.#actorsDone) return null;
+		}
+	}
+	#getOrCreateUowId(uow) {
+		const existing = this.#uowIds.get(uow);
+		if (existing !== void 0) return existing;
+		const next = this.#uowPlans.length;
+		if (this.#plan && next >= this.#plan.phasesPerTransaction.length) throw new Error("Model checker saw more UOWs than planned.");
+		this.#uowIds.set(uow, next);
+		this.#uowPlans.push({
+			hasRetrieve: false,
+			hasMutate: false
+		});
+		return next;
+	}
+	#assertPlanned(uowId, phase) {
+		const plan = this.#plan;
+		if (!plan) return;
+		const phases = plan.phasesPerTransaction[uowId];
+		if (!phases || phases.length === 0) throw new Error(`Model checker saw unexpected UOW ${uowId}.`);
+		if (!phases.includes(phase)) throw new Error(`Model checker saw unexpected ${phase} phase for UOW ${uowId}.`);
+	}
+};
+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 generateAllSchedules = (phasesPerTransaction) => {
+	const schedules = [];
+	const totalSteps = phasesPerTransaction.reduce((sum, phases) => sum + phases.length, 0);
+	const progress = phasesPerTransaction.map(() => 0);
+	const current = [];
+	const walk = () => {
+		if (current.length === totalSteps) {
+			schedules.push([...current]);
+			return;
+		}
+		for (let txId = 0; txId < phasesPerTransaction.length; txId += 1) {
+			if (progress[txId] >= phasesPerTransaction[txId].length) continue;
+			const phase = phasesPerTransaction[txId][progress[txId]];
+			if (!phase) continue;
+			current.push({
+				txId,
+				phase
+			});
+			progress[txId] += 1;
+			walk();
+			progress[txId] -= 1;
+			current.pop();
+		}
+	};
+	walk();
+	return schedules;
+};
+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) map.delete(first);
+			}
+			return !existed;
+		},
+		size: () => map.size
+	};
+};
+const serializeSchedulePrefix = (schedule) => schedule.map((step) => `${step.txId}:${step.phase}`).join("|");
+const buildPathKey = (stateHash, prefix) => `${stateHash}::${serializeSchedulePrefix(prefix)}`;
+const defaultHistoryConfig = {
+	type: "lru",
+	maxEntries: 5e3
+};
+const planTransactions = (phasesPerTransaction) => {
+	if (phasesPerTransaction.length === 0) throw new Error("Model checker requires at least one transaction.");
+	return { phasesPerTransaction };
+};
+const recordPlan = async (config) => {
+	const { adapter, ctx, cleanup } = await config.createContext();
+	try {
+		if (config.setup) await config.setup(ctx);
+		const scheduler = new PhaseScheduler("record");
+		adapter.setScheduler(scheduler);
+		const actors = config.buildActors(ctx);
+		await Promise.all(actors.map((actor) => actor.run(ctx)));
+		return planTransactions(scheduler.getPlan().phasesPerTransaction);
+	} finally {
+		adapter.setScheduler(null);
+		if (cleanup) await cleanup();
+	}
+};
+const executeSchedule = async (schedule, config, plan, history, stateHasher) => {
+	const { adapter, ctx, queryEngine, cleanup } = await config.createContext();
+	try {
+		if (config.setup) await config.setup(ctx);
+		const scheduler = new PhaseScheduler("schedule", plan);
+		adapter.setScheduler(scheduler);
+		const actors = config.buildActors(ctx);
+		const actorsPromise = Promise.all(actors.map((actor) => actor.run(ctx))).then(() => {
+			scheduler.markActorsDone();
+		});
+		let lastStateHash = null;
+		let newPathsAdded = false;
+		for (let stepIndex = 0; stepIndex < schedule.length; stepIndex += 1) {
+			const step = schedule[stepIndex];
+			if (!step) throw new Error("Schedule step is missing.");
+			await scheduler.releaseStep(step, actorsPromise);
+			if (config.invariants) for (const invariant of config.invariants) await invariant({
+				schema: config.schema,
+				queryEngine,
+				context: ctx,
+				schedule,
+				stepIndex
+			});
+			if (history) {
+				lastStateHash = await stateHasher({
+					schema: config.schema,
+					queryEngine
+				});
+				const prefix = schedule.slice(0, stepIndex + 1);
+				if (history.add(buildPathKey(lastStateHash, prefix))) newPathsAdded = true;
+			}
+		}
+		await actorsPromise;
+		if (!lastStateHash) lastStateHash = await stateHasher({
+			schema: config.schema,
+			queryEngine
+		});
+		return {
+			stateHash: lastStateHash,
+			newPathsAdded
+		};
+	} finally {
+		adapter.setScheduler(null);
+		if (cleanup) await cleanup();
+	}
+};
+const executeScheduleDynamic = async (config, history, stateHasher, pickIndex) => {
+	const { adapter, ctx, queryEngine, cleanup } = await config.createContext();
+	try {
+		if (config.setup) await config.setup(ctx);
+		const scheduler = new PhaseScheduler("schedule");
+		adapter.setScheduler(scheduler);
+		const actors = config.buildActors(ctx);
+		const actorsPromise = Promise.all(actors.map((actor) => actor.run(ctx))).then(() => {
+			scheduler.markActorsDone();
+		});
+		const schedule = [];
+		let lastStateHash = null;
+		let newPathsAdded = false;
+		for (;;) {
+			const step = await scheduler.releaseAny(pickIndex, actorsPromise);
+			if (!step) break;
+			schedule.push(step);
+			const stepIndex = schedule.length - 1;
+			if (config.invariants) for (const invariant of config.invariants) await invariant({
+				schema: config.schema,
+				queryEngine,
+				context: ctx,
+				schedule,
+				stepIndex
+			});
+			if (history) {
+				lastStateHash = await stateHasher({
+					schema: config.schema,
+					queryEngine
+				});
+				const prefix = schedule.slice(0, stepIndex + 1);
+				if (history.add(buildPathKey(lastStateHash, prefix))) newPathsAdded = true;
+			}
+		}
+		await actorsPromise;
+		if (!lastStateHash) lastStateHash = await stateHasher({
+			schema: config.schema,
+			queryEngine
+		});
+		return {
+			schedule,
+			stateHash: lastStateHash,
+			newPathsAdded
+		};
+	} finally {
+		adapter.setScheduler(null);
+		if (cleanup) await cleanup();
+	}
+};
+const executeScheduleDynamicWithChoices = async (config, history, stateHasher, choices) => {
+	const choicePoints = [];
+	return {
+		...await executeScheduleDynamic(config, history, stateHasher, (pending) => {
+			const stepIndex = choicePoints.length;
+			choicePoints.push(pending.length);
+			const choice = choices[stepIndex];
+			if (choice === void 0 || choice < 0 || choice >= pending.length) return 0;
+			return choice;
+		}),
+		choicePoints
+	};
+};
+const serializeChoices = (choices) => choices.join(",");
+const runModelCheckerWithActors = async (config) => {
+	const mode = config.mode ?? "exhaustive";
+	const history = createHistoryTracker(config.history ?? defaultHistoryConfig);
+	const stateHasher = config.stateHasher ?? defaultStateHasher;
+	const schedules = [];
+	const maxSchedules = config.maxSchedules;
+	const seed = config.seed ?? 1;
+	if (mode === "exhaustive") {
+		const plan = await recordPlan(config);
+		const allSchedules = generateAllSchedules(plan.phasesPerTransaction);
+		for (const schedule of allSchedules) {
+			if (maxSchedules !== void 0 && schedules.length >= maxSchedules) break;
+			const result = await executeSchedule(schedule, config, plan, history, stateHasher);
+			schedules.push({
+				schedule,
+				stateHash: result.stateHash
+			});
+		}
+	} else if (mode === "bounded-exhaustive") {
+		const maxSteps = config.bounds?.maxSteps;
+		if (!maxSteps || maxSteps < 1) throw new Error("bounded-exhaustive mode requires bounds.maxSteps >= 1.");
+		const stack = [[]];
+		const seen = /* @__PURE__ */ new Set();
+		seen.add("");
+		while (stack.length > 0) {
+			if (maxSchedules !== void 0 && schedules.length >= maxSchedules) break;
+			const choices = stack.pop();
+			if (!choices) break;
+			const result = await executeScheduleDynamicWithChoices(config, history, stateHasher, choices);
+			schedules.push({
+				schedule: result.schedule,
+				stateHash: result.stateHash
+			});
+			const limit = Math.min(result.choicePoints.length, maxSteps);
+			for (let stepIndex = 0; stepIndex < limit; stepIndex += 1) {
+				const count = result.choicePoints[stepIndex];
+				const current = choices[stepIndex] ?? 0;
+				for (let alt = current + 1; alt < count; alt += 1) {
+					const next = choices.slice(0, stepIndex);
+					next[stepIndex] = alt;
+					const key = serializeChoices(next);
+					if (!seen.has(key)) {
+						seen.add(key);
+						stack.push(next);
+					}
+				}
+			}
+		}
+	} else if (mode === "random") {
+		const rng = mulberry32(seed);
+		const total = maxSchedules ?? 1;
+		for (let i = 0; i < total; i += 1) {
+			const result = await executeScheduleDynamic(config, history, stateHasher, (pending) => Math.floor(rng() * pending.length));
+			schedules.push({
+				schedule: result.schedule,
+				stateHash: result.stateHash
+			});
+		}
+	} 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 result = await executeScheduleDynamic(config, history, stateHasher, (pending) => Math.floor(rng() * pending.length));
+			schedules.push({
+				schedule: result.schedule,
+				stateHash: result.stateHash
+			});
+			iterations += 1;
+			if (stopWhenFrontierExhausted && history) frontierExhausted = !result.newPathsAdded;
+		}
+	}
+	return {
+		schedules,
+		visitedPaths: history?.size() ?? 0
+	};
+};
+
+//#endregion
+export { runModelCheckerWithActors };
+//# sourceMappingURL=model-checker-actors.js.map

package/dist/model-checker-actors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model-checker-actors.js","names":["#mode","#plan","#actorsDone","#pendingSignal","#uowPlans","phases: ModelCheckerPhase[]","#getOrCreateUowId","#assertPlanned","#inFlight","gate: PendingGate","#pending","#uowIds","schedules: ModelCheckerStep[][]","current: ModelCheckerStep[]","defaultHistoryConfig: ModelCheckerHistory","lastStateHash: string | null","schedule: ModelCheckerStep[]","choicePoints: number[]","schedules: ModelCheckerScheduleResult[]","stack: number[][]"],"sources":["../src/model-checker-actors.ts"],"sourcesContent":["import type { AnySchema } from \"@fragno-dev/db/schema\";\nimport type { SimpleQueryInterface } from \"@fragno-dev/db/query\";\nimport type { UOWInstrumentationContext } from \"@fragno-dev/db/unit-of-work\";\nimport {\n  defaultStateHasher,\n  type ModelCheckerBounds,\n  type ModelCheckerHistory,\n  type ModelCheckerMode,\n  type ModelCheckerPhase,\n  type ModelCheckerRunResult,\n  type ModelCheckerScheduleResult,\n  type ModelCheckerStateHasherContext,\n  type ModelCheckerStep,\n} from \"./model-checker\";\nimport { ModelCheckerAdapter, type ModelCheckerScheduler } from \"./model-checker-adapter\";\n\ntype DeferredPromise<T> = {\n  promise: Promise<T>;\n  resolve: (value: T) => void;\n};\n\nconst createDeferred = <T>(): DeferredPromise<T> => {\n  const { promise, resolve } = Promise.withResolvers<T>();\n  return { promise, resolve };\n};\n\ntype PendingGate = {\n  uowId: number;\n  phase: ModelCheckerPhase;\n  release: () => void;\n  completion: Promise<void>;\n};\n\ntype UowPlan = {\n  hasRetrieve: boolean;\n  hasMutate: boolean;\n};\n\ntype SchedulePlan = {\n  phasesPerTransaction: ModelCheckerPhase[][];\n};\n\ntype SchedulerMode = \"record\" | \"schedule\";\n\nclass PhaseScheduler implements ModelCheckerScheduler {\n  #mode: SchedulerMode;\n  #plan: SchedulePlan | null;\n  #uowIds = new WeakMap<object, number>();\n  #uowPlans: UowPlan[] = [];\n  #pending: PendingGate[] = [];\n  #pendingSignal = createDeferred<void>();\n  #inFlight = new Map<string, DeferredPromise<void>>();\n  #actorsDone = false;\n\n  constructor(mode: SchedulerMode, plan?: SchedulePlan) {\n    this.#mode = mode;\n    this.#plan = plan ?? null;\n  }\n\n  markActorsDone(): void {\n    this.#actorsDone = true;\n    this.#pendingSignal.resolve();\n  }\n\n  getPlan(): SchedulePlan {\n    return {\n      phasesPerTransaction: this.#uowPlans.map((entry) => {\n        const phases: ModelCheckerPhase[] = [];\n        if (entry.hasRetrieve) {\n          phases.push(\"retrieve\");\n        }\n        if (entry.hasMutate) {\n          phases.push(\"mutate\");\n        }\n        return phases;\n      }),\n    };\n  }\n\n  async beforePhase(ctx: UOWInstrumentationContext, phase: ModelCheckerPhase): Promise<void> {\n    const uow = ctx.uow as object;\n    const uowId = this.#getOrCreateUowId(uow);\n\n    if (phase === \"mutate\") {\n      const plan = this.#uowPlans[uowId];\n      if (plan) {\n        plan.hasMutate = true;\n      }\n    } else {\n      const plan = this.#uowPlans[uowId];\n      if (plan) {\n        plan.hasRetrieve = true;\n      }\n    }\n\n    if (this.#mode === \"record\") {\n      return;\n    }\n\n    this.#assertPlanned(uowId, phase);\n    const release = createDeferred<void>();\n    const completion = createDeferred<void>();\n    this.#inFlight.set(`${uowId}:${phase}`, completion);\n    const gate: PendingGate = {\n      uowId,\n      phase,\n      release: () => {\n        release.resolve();\n      },\n      completion: completion.promise,\n    };\n    this.#pending.push(gate);\n    this.#pendingSignal.resolve();\n    this.#pendingSignal = createDeferred<void>();\n    await release.promise;\n  }\n\n  async afterPhase(ctx: UOWInstrumentationContext, phase: ModelCheckerPhase): Promise<void> {\n    const uow = ctx.uow as object;\n    const uowId = this.#getOrCreateUowId(uow);\n    const key = `${uowId}:${phase}`;\n    const completion = this.#inFlight.get(key);\n    if (completion) {\n      completion.resolve();\n      this.#inFlight.delete(key);\n    }\n  }\n\n  async releaseStep(step: ModelCheckerStep, actorsPromise: Promise<void>): Promise<void> {\n    for (;;) {\n      const matchIndex = this.#pending.findIndex(\n        (gate) => gate.uowId === step.txId && gate.phase === step.phase,\n      );\n      if (matchIndex !== -1) {\n        const [gate] = this.#pending.splice(matchIndex, 1);\n        gate.release();\n        await gate.completion;\n        return;\n      }\n\n      if (this.#pending.length > 0) {\n        const pendingSummary = this.#pending\n          .map((gate) => `${gate.uowId}:${gate.phase}`)\n          .join(\", \");\n        throw new Error(\n          `Model checker schedule mismatch. Expected ${step.txId}:${step.phase}, pending [${pendingSummary}]`,\n        );\n      }\n\n      await Promise.race([this.#pendingSignal.promise, actorsPromise]);\n      if (this.#actorsDone) {\n        throw new Error(\n          `Model checker schedule expects ${step.phase} for UOW ${step.txId}, but no gate appeared.`,\n        );\n      }\n    }\n  }\n\n  async releaseAny(\n    pickIndex: (pending: PendingGate[]) => number,\n    actorsPromise: Promise<void>,\n  ): Promise<ModelCheckerStep | null> {\n    for (;;) {\n      if (this.#pending.length > 0) {\n        const index = Math.max(0, Math.min(pickIndex(this.#pending), this.#pending.length - 1));\n        const [gate] = this.#pending.splice(index, 1);\n        gate.release();\n        await gate.completion;\n        return { txId: gate.uowId, phase: gate.phase };\n      }\n\n      await Promise.race([this.#pendingSignal.promise, actorsPromise]);\n      if (this.#actorsDone) {\n        return null;\n      }\n    }\n  }\n\n  #getOrCreateUowId(uow: object): number {\n    const existing = this.#uowIds.get(uow);\n    if (existing !== undefined) {\n      return existing;\n    }\n\n    const next = this.#uowPlans.length;\n    if (this.#plan && next >= this.#plan.phasesPerTransaction.length) {\n      throw new Error(\"Model checker saw more UOWs than planned.\");\n    }\n\n    this.#uowIds.set(uow, next);\n    this.#uowPlans.push({ hasRetrieve: false, hasMutate: false });\n    return next;\n  }\n\n  #assertPlanned(uowId: number, phase: ModelCheckerPhase): void {\n    const plan = this.#plan;\n    if (!plan) {\n      return;\n    }\n\n    const phases = plan.phasesPerTransaction[uowId];\n    if (!phases || phases.length === 0) {\n      throw new Error(`Model checker saw unexpected UOW ${uowId}.`);\n    }\n\n    if (!phases.includes(phase)) {\n      throw new Error(`Model checker saw unexpected ${phase} phase for UOW ${uowId}.`);\n    }\n  }\n}\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 generateAllSchedules = (\n  phasesPerTransaction: ModelCheckerPhase[][],\n): ModelCheckerStep[][] => {\n  const schedules: ModelCheckerStep[][] = [];\n  const totalSteps = phasesPerTransaction.reduce((sum, phases) => sum + phases.length, 0);\n  const progress = phasesPerTransaction.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 < phasesPerTransaction.length; txId += 1) {\n      if (progress[txId] >= phasesPerTransaction[txId].length) {\n        continue;\n      }\n      const phase = phasesPerTransaction[txId][progress[txId]];\n      if (!phase) {\n        continue;\n      }\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\ntype HistoryTracker = {\n  add: (key: string) => boolean;\n  size: () => number;\n};\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) {\n          map.delete(first);\n        }\n      }\n      return !existed;\n    },\n    size: () => map.size,\n  };\n};\n\nconst serializeSchedulePrefix = (schedule: ModelCheckerStep[]): string =>\n  schedule.map((step) => `${step.txId}:${step.phase}`).join(\"|\");\n\nconst buildPathKey = (stateHash: string, prefix: ModelCheckerStep[]): string =>\n  `${stateHash}::${serializeSchedulePrefix(prefix)}`;\n\nexport type ModelCheckerActor<TContext> = {\n  name?: string;\n  run: (ctx: TContext) => Promise<void> | void;\n};\n\nexport type ModelCheckerInvariantContext<TSchema extends AnySchema, TUowConfig, TContext> = {\n  schema: TSchema;\n  queryEngine: SimpleQueryInterface<TSchema, TUowConfig>;\n  context: TContext;\n  schedule: ModelCheckerStep[];\n  stepIndex: number;\n};\n\nexport type ModelCheckerInvariant<TSchema extends AnySchema, TUowConfig, TContext> = (\n  ctx: ModelCheckerInvariantContext<TSchema, TUowConfig, TContext>,\n) => Promise<void> | void;\n\nexport type ModelCheckerActorsConfig<TSchema extends AnySchema, TUowConfig, TContext> = {\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  createContext: () => Promise<{\n    adapter: ModelCheckerAdapter<TUowConfig>;\n    ctx: TContext;\n    queryEngine: SimpleQueryInterface<TSchema, TUowConfig>;\n    cleanup?: () => Promise<void>;\n  }>;\n  setup?: (ctx: TContext) => Promise<void>;\n  buildActors: (ctx: TContext) => ModelCheckerActor<TContext>[];\n  invariants?: ModelCheckerInvariant<TSchema, TUowConfig, TContext>[];\n};\n\nconst defaultHistoryConfig: ModelCheckerHistory = { type: \"lru\", maxEntries: 5000 };\n\nconst planTransactions = (phasesPerTransaction: ModelCheckerPhase[][]): SchedulePlan => {\n  if (phasesPerTransaction.length === 0) {\n    throw new Error(\"Model checker requires at least one transaction.\");\n  }\n  return { phasesPerTransaction };\n};\n\nconst recordPlan = async <TSchema extends AnySchema, TUowConfig, TContext>(\n  config: ModelCheckerActorsConfig<TSchema, TUowConfig, TContext>,\n): Promise<SchedulePlan> => {\n  const { adapter, ctx, cleanup } = await config.createContext();\n\n  try {\n    if (config.setup) {\n      await config.setup(ctx);\n    }\n    const scheduler = new PhaseScheduler(\"record\");\n    adapter.setScheduler(scheduler);\n    const actors = config.buildActors(ctx);\n    await Promise.all(actors.map((actor) => actor.run(ctx)));\n    return planTransactions(scheduler.getPlan().phasesPerTransaction);\n  } finally {\n    adapter.setScheduler(null);\n    if (cleanup) {\n      await cleanup();\n    }\n  }\n};\n\nconst executeSchedule = async <TSchema extends AnySchema, TUowConfig, TContext>(\n  schedule: ModelCheckerStep[],\n  config: ModelCheckerActorsConfig<TSchema, TUowConfig, TContext>,\n  plan: SchedulePlan,\n  history: HistoryTracker | null,\n  stateHasher: (ctx: ModelCheckerStateHasherContext<TSchema, TUowConfig>) => Promise<string>,\n): Promise<{ stateHash: string; newPathsAdded: boolean }> => {\n  const { adapter, ctx, queryEngine, cleanup } = await config.createContext();\n\n  try {\n    if (config.setup) {\n      await config.setup(ctx);\n    }\n    const scheduler = new PhaseScheduler(\"schedule\", plan);\n    adapter.setScheduler(scheduler);\n\n    const actors = config.buildActors(ctx);\n    const actorsPromise = Promise.all(actors.map((actor) => actor.run(ctx))).then(() => {\n      scheduler.markActorsDone();\n    });\n\n    let lastStateHash: string | null = null;\n    let newPathsAdded = false;\n\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\n      await scheduler.releaseStep(step, actorsPromise);\n\n      if (config.invariants) {\n        for (const invariant of config.invariants) {\n          await invariant({\n            schema: config.schema,\n            queryEngine,\n            context: ctx,\n            schedule,\n            stepIndex,\n          });\n        }\n      }\n\n      if (history) {\n        lastStateHash = await stateHasher({\n          schema: config.schema,\n          queryEngine,\n        });\n        const prefix = schedule.slice(0, stepIndex + 1);\n        const added = history.add(buildPathKey(lastStateHash, prefix));\n        if (added) {\n          newPathsAdded = true;\n        }\n      }\n    }\n\n    await actorsPromise;\n\n    if (!lastStateHash) {\n      lastStateHash = await stateHasher({ schema: config.schema, queryEngine });\n    }\n\n    return { stateHash: lastStateHash, newPathsAdded };\n  } finally {\n    adapter.setScheduler(null);\n    if (cleanup) {\n      await cleanup();\n    }\n  }\n};\n\nconst executeScheduleDynamic = async <TSchema extends AnySchema, TUowConfig, TContext>(\n  config: ModelCheckerActorsConfig<TSchema, TUowConfig, TContext>,\n  history: HistoryTracker | null,\n  stateHasher: (ctx: ModelCheckerStateHasherContext<TSchema, TUowConfig>) => Promise<string>,\n  pickIndex: (pending: PendingGate[]) => number,\n): Promise<{ schedule: ModelCheckerStep[]; stateHash: string; newPathsAdded: boolean }> => {\n  const { adapter, ctx, queryEngine, cleanup } = await config.createContext();\n\n  try {\n    if (config.setup) {\n      await config.setup(ctx);\n    }\n\n    const scheduler = new PhaseScheduler(\"schedule\");\n    adapter.setScheduler(scheduler);\n\n    const actors = config.buildActors(ctx);\n    const actorsPromise = Promise.all(actors.map((actor) => actor.run(ctx))).then(() => {\n      scheduler.markActorsDone();\n    });\n\n    const schedule: ModelCheckerStep[] = [];\n    let lastStateHash: string | null = null;\n    let newPathsAdded = false;\n\n    for (;;) {\n      const step = await scheduler.releaseAny(pickIndex, actorsPromise);\n      if (!step) {\n        break;\n      }\n\n      schedule.push(step);\n      const stepIndex = schedule.length - 1;\n\n      if (config.invariants) {\n        for (const invariant of config.invariants) {\n          await invariant({\n            schema: config.schema,\n            queryEngine,\n            context: ctx,\n            schedule,\n            stepIndex,\n          });\n        }\n      }\n\n      if (history) {\n        lastStateHash = await stateHasher({\n          schema: config.schema,\n          queryEngine,\n        });\n        const prefix = schedule.slice(0, stepIndex + 1);\n        const added = history.add(buildPathKey(lastStateHash, prefix));\n        if (added) {\n          newPathsAdded = true;\n        }\n      }\n    }\n\n    await actorsPromise;\n\n    if (!lastStateHash) {\n      lastStateHash = await stateHasher({ schema: config.schema, queryEngine });\n    }\n\n    return { schedule, stateHash: lastStateHash, newPathsAdded };\n  } finally {\n    adapter.setScheduler(null);\n    if (cleanup) {\n      await cleanup();\n    }\n  }\n};\n\nconst executeScheduleDynamicWithChoices = async <TSchema extends AnySchema, TUowConfig, TContext>(\n  config: ModelCheckerActorsConfig<TSchema, TUowConfig, TContext>,\n  history: HistoryTracker | null,\n  stateHasher: (ctx: ModelCheckerStateHasherContext<TSchema, TUowConfig>) => Promise<string>,\n  choices: number[],\n): Promise<{\n  schedule: ModelCheckerStep[];\n  stateHash: string;\n  newPathsAdded: boolean;\n  choicePoints: number[];\n}> => {\n  const choicePoints: number[] = [];\n  const result = await executeScheduleDynamic(config, history, stateHasher, (pending) => {\n    const stepIndex = choicePoints.length;\n    choicePoints.push(pending.length);\n    const choice = choices[stepIndex];\n    if (choice === undefined || choice < 0 || choice >= pending.length) {\n      return 0;\n    }\n    return choice;\n  });\n\n  return {\n    ...result,\n    choicePoints,\n  };\n};\n\nconst serializeChoices = (choices: number[]): string => choices.join(\",\");\n\nexport const runModelCheckerWithActors = async <TSchema extends AnySchema, TUowConfig, TContext>(\n  config: ModelCheckerActorsConfig<TSchema, TUowConfig, TContext>,\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 schedules: ModelCheckerScheduleResult[] = [];\n  const maxSchedules = config.maxSchedules;\n  const seed = config.seed ?? 1;\n\n  if (mode === \"exhaustive\") {\n    const plan = await recordPlan(config);\n    const allSchedules = generateAllSchedules(plan.phasesPerTransaction);\n    for (const schedule of allSchedules) {\n      if (maxSchedules !== undefined && schedules.length >= maxSchedules) {\n        break;\n      }\n      const result = await executeSchedule(schedule, config, plan, history, stateHasher);\n      schedules.push({ schedule, stateHash: result.stateHash });\n    }\n  } else if (mode === \"bounded-exhaustive\") {\n    const maxSteps = config.bounds?.maxSteps;\n    if (!maxSteps || maxSteps < 1) {\n      throw new Error(\"bounded-exhaustive mode requires bounds.maxSteps >= 1.\");\n    }\n\n    const stack: number[][] = [[]];\n    const seen = new Set<string>();\n    seen.add(\"\");\n\n    while (stack.length > 0) {\n      if (maxSchedules !== undefined && schedules.length >= maxSchedules) {\n        break;\n      }\n\n      const choices = stack.pop();\n      if (!choices) {\n        break;\n      }\n\n      const result = await executeScheduleDynamicWithChoices(config, history, stateHasher, choices);\n      schedules.push({ schedule: result.schedule, stateHash: result.stateHash });\n\n      const limit = Math.min(result.choicePoints.length, maxSteps);\n      for (let stepIndex = 0; stepIndex < limit; stepIndex += 1) {\n        const count = result.choicePoints[stepIndex];\n        const current = choices[stepIndex] ?? 0;\n        for (let alt = current + 1; alt < count; alt += 1) {\n          const next = choices.slice(0, stepIndex);\n          next[stepIndex] = alt;\n          const key = serializeChoices(next);\n          if (!seen.has(key)) {\n            seen.add(key);\n            stack.push(next);\n          }\n        }\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 result = await executeScheduleDynamic(config, history, stateHasher, (pending) =>\n        Math.floor(rng() * pending.length),\n      );\n      schedules.push({ schedule: result.schedule, stateHash: result.stateHash });\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 result = await executeScheduleDynamic(config, history, stateHasher, (pending) =>\n        Math.floor(rng() * pending.length),\n      );\n      schedules.push({ schedule: result.schedule, stateHash: result.stateHash });\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":";;;;AAqBA,MAAM,uBAA8C;CAClD,MAAM,EAAE,SAAS,YAAY,QAAQ,eAAkB;AACvD,QAAO;EAAE;EAAS;EAAS;;AAqB7B,IAAM,iBAAN,MAAsD;CACpD;CACA;CACA,0BAAU,IAAI,SAAyB;CACvC,YAAuB,EAAE;CACzB,WAA0B,EAAE;CAC5B,iBAAiB,gBAAsB;CACvC,4BAAY,IAAI,KAAoC;CACpD,cAAc;CAEd,YAAY,MAAqB,MAAqB;AACpD,QAAKA,OAAQ;AACb,QAAKC,OAAQ,QAAQ;;CAGvB,iBAAuB;AACrB,QAAKC,aAAc;AACnB,QAAKC,cAAe,SAAS;;CAG/B,UAAwB;AACtB,SAAO,EACL,sBAAsB,MAAKC,SAAU,KAAK,UAAU;GAClD,MAAMC,SAA8B,EAAE;AACtC,OAAI,MAAM,YACR,QAAO,KAAK,WAAW;AAEzB,OAAI,MAAM,UACR,QAAO,KAAK,SAAS;AAEvB,UAAO;IACP,EACH;;CAGH,MAAM,YAAY,KAAgC,OAAyC;EACzF,MAAM,MAAM,IAAI;EAChB,MAAM,QAAQ,MAAKC,iBAAkB,IAAI;AAEzC,MAAI,UAAU,UAAU;GACtB,MAAM,OAAO,MAAKF,SAAU;AAC5B,OAAI,KACF,MAAK,YAAY;SAEd;GACL,MAAM,OAAO,MAAKA,SAAU;AAC5B,OAAI,KACF,MAAK,cAAc;;AAIvB,MAAI,MAAKJ,SAAU,SACjB;AAGF,QAAKO,cAAe,OAAO,MAAM;EACjC,MAAM,UAAU,gBAAsB;EACtC,MAAM,aAAa,gBAAsB;AACzC,QAAKC,SAAU,IAAI,GAAG,MAAM,GAAG,SAAS,WAAW;EACnD,MAAMC,OAAoB;GACxB;GACA;GACA,eAAe;AACb,YAAQ,SAAS;;GAEnB,YAAY,WAAW;GACxB;AACD,QAAKC,QAAS,KAAK,KAAK;AACxB,QAAKP,cAAe,SAAS;AAC7B,QAAKA,gBAAiB,gBAAsB;AAC5C,QAAM,QAAQ;;CAGhB,MAAM,WAAW,KAAgC,OAAyC;EACxF,MAAM,MAAM,IAAI;EAEhB,MAAM,MAAM,GADE,MAAKG,iBAAkB,IAAI,CACpB,GAAG;EACxB,MAAM,aAAa,MAAKE,SAAU,IAAI,IAAI;AAC1C,MAAI,YAAY;AACd,cAAW,SAAS;AACpB,SAAKA,SAAU,OAAO,IAAI;;;CAI9B,MAAM,YAAY,MAAwB,eAA6C;AACrF,WAAS;GACP,MAAM,aAAa,MAAKE,QAAS,WAC9B,SAAS,KAAK,UAAU,KAAK,QAAQ,KAAK,UAAU,KAAK,MAC3D;AACD,OAAI,eAAe,IAAI;IACrB,MAAM,CAAC,QAAQ,MAAKA,QAAS,OAAO,YAAY,EAAE;AAClD,SAAK,SAAS;AACd,UAAM,KAAK;AACX;;AAGF,OAAI,MAAKA,QAAS,SAAS,GAAG;IAC5B,MAAM,iBAAiB,MAAKA,QACzB,KAAK,SAAS,GAAG,KAAK,MAAM,GAAG,KAAK,QAAQ,CAC5C,KAAK,KAAK;AACb,UAAM,IAAI,MACR,6CAA6C,KAAK,KAAK,GAAG,KAAK,MAAM,aAAa,eAAe,GAClG;;AAGH,SAAM,QAAQ,KAAK,CAAC,MAAKP,cAAe,SAAS,cAAc,CAAC;AAChE,OAAI,MAAKD,WACP,OAAM,IAAI,MACR,kCAAkC,KAAK,MAAM,WAAW,KAAK,KAAK,yBACnE;;;CAKP,MAAM,WACJ,WACA,eACkC;AAClC,WAAS;AACP,OAAI,MAAKQ,QAAS,SAAS,GAAG;IAC5B,MAAM,QAAQ,KAAK,IAAI,GAAG,KAAK,IAAI,UAAU,MAAKA,QAAS,EAAE,MAAKA,QAAS,SAAS,EAAE,CAAC;IACvF,MAAM,CAAC,QAAQ,MAAKA,QAAS,OAAO,OAAO,EAAE;AAC7C,SAAK,SAAS;AACd,UAAM,KAAK;AACX,WAAO;KAAE,MAAM,KAAK;KAAO,OAAO,KAAK;KAAO;;AAGhD,SAAM,QAAQ,KAAK,CAAC,MAAKP,cAAe,SAAS,cAAc,CAAC;AAChE,OAAI,MAAKD,WACP,QAAO;;;CAKb,kBAAkB,KAAqB;EACrC,MAAM,WAAW,MAAKS,OAAQ,IAAI,IAAI;AACtC,MAAI,aAAa,OACf,QAAO;EAGT,MAAM,OAAO,MAAKP,SAAU;AAC5B,MAAI,MAAKH,QAAS,QAAQ,MAAKA,KAAM,qBAAqB,OACxD,OAAM,IAAI,MAAM,4CAA4C;AAG9D,QAAKU,OAAQ,IAAI,KAAK,KAAK;AAC3B,QAAKP,SAAU,KAAK;GAAE,aAAa;GAAO,WAAW;GAAO,CAAC;AAC7D,SAAO;;CAGT,eAAe,OAAe,OAAgC;EAC5D,MAAM,OAAO,MAAKH;AAClB,MAAI,CAAC,KACH;EAGF,MAAM,SAAS,KAAK,qBAAqB;AACzC,MAAI,CAAC,UAAU,OAAO,WAAW,EAC/B,OAAM,IAAI,MAAM,oCAAoC,MAAM,GAAG;AAG/D,MAAI,CAAC,OAAO,SAAS,MAAM,CACzB,OAAM,IAAI,MAAM,gCAAgC,MAAM,iBAAiB,MAAM,GAAG;;;AAKtF,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,wBACJ,yBACyB;CACzB,MAAMW,YAAkC,EAAE;CAC1C,MAAM,aAAa,qBAAqB,QAAQ,KAAK,WAAW,MAAM,OAAO,QAAQ,EAAE;CACvF,MAAM,WAAW,qBAAqB,UAAU,EAAE;CAClD,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,qBAAqB,QAAQ,QAAQ,GAAG;AAChE,OAAI,SAAS,SAAS,qBAAqB,MAAM,OAC/C;GAEF,MAAM,QAAQ,qBAAqB,MAAM,SAAS;AAClD,OAAI,CAAC,MACH;AAEF,WAAQ,KAAK;IAAE;IAAM;IAAO,CAAC;AAC7B,YAAS,SAAS;AAClB,SAAM;AACN,YAAS,SAAS;AAClB,WAAQ,KAAK;;;AAIjB,OAAM;AACN,QAAO;;AAQT,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,MACF,KAAI,OAAO,MAAM;;AAGrB,UAAO,CAAC;;EAEV,YAAY,IAAI;EACjB;;AAGH,MAAM,2BAA2B,aAC/B,SAAS,KAAK,SAAS,GAAG,KAAK,KAAK,GAAG,KAAK,QAAQ,CAAC,KAAK,IAAI;AAEhE,MAAM,gBAAgB,WAAmB,WACvC,GAAG,UAAU,IAAI,wBAAwB,OAAO;AAuClD,MAAMC,uBAA4C;CAAE,MAAM;CAAO,YAAY;CAAM;AAEnF,MAAM,oBAAoB,yBAA8D;AACtF,KAAI,qBAAqB,WAAW,EAClC,OAAM,IAAI,MAAM,mDAAmD;AAErE,QAAO,EAAE,sBAAsB;;AAGjC,MAAM,aAAa,OACjB,WAC0B;CAC1B,MAAM,EAAE,SAAS,KAAK,YAAY,MAAM,OAAO,eAAe;AAE9D,KAAI;AACF,MAAI,OAAO,MACT,OAAM,OAAO,MAAM,IAAI;EAEzB,MAAM,YAAY,IAAI,eAAe,SAAS;AAC9C,UAAQ,aAAa,UAAU;EAC/B,MAAM,SAAS,OAAO,YAAY,IAAI;AACtC,QAAM,QAAQ,IAAI,OAAO,KAAK,UAAU,MAAM,IAAI,IAAI,CAAC,CAAC;AACxD,SAAO,iBAAiB,UAAU,SAAS,CAAC,qBAAqB;WACzD;AACR,UAAQ,aAAa,KAAK;AAC1B,MAAI,QACF,OAAM,SAAS;;;AAKrB,MAAM,kBAAkB,OACtB,UACA,QACA,MACA,SACA,gBAC2D;CAC3D,MAAM,EAAE,SAAS,KAAK,aAAa,YAAY,MAAM,OAAO,eAAe;AAE3E,KAAI;AACF,MAAI,OAAO,MACT,OAAM,OAAO,MAAM,IAAI;EAEzB,MAAM,YAAY,IAAI,eAAe,YAAY,KAAK;AACtD,UAAQ,aAAa,UAAU;EAE/B,MAAM,SAAS,OAAO,YAAY,IAAI;EACtC,MAAM,gBAAgB,QAAQ,IAAI,OAAO,KAAK,UAAU,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,WAAW;AAClF,aAAU,gBAAgB;IAC1B;EAEF,IAAIC,gBAA+B;EACnC,IAAI,gBAAgB;AAEpB,OAAK,IAAI,YAAY,GAAG,YAAY,SAAS,QAAQ,aAAa,GAAG;GACnE,MAAM,OAAO,SAAS;AACtB,OAAI,CAAC,KACH,OAAM,IAAI,MAAM,4BAA4B;AAG9C,SAAM,UAAU,YAAY,MAAM,cAAc;AAEhD,OAAI,OAAO,WACT,MAAK,MAAM,aAAa,OAAO,WAC7B,OAAM,UAAU;IACd,QAAQ,OAAO;IACf;IACA,SAAS;IACT;IACA;IACD,CAAC;AAIN,OAAI,SAAS;AACX,oBAAgB,MAAM,YAAY;KAChC,QAAQ,OAAO;KACf;KACD,CAAC;IACF,MAAM,SAAS,SAAS,MAAM,GAAG,YAAY,EAAE;AAE/C,QADc,QAAQ,IAAI,aAAa,eAAe,OAAO,CAAC,CAE5D,iBAAgB;;;AAKtB,QAAM;AAEN,MAAI,CAAC,cACH,iBAAgB,MAAM,YAAY;GAAE,QAAQ,OAAO;GAAQ;GAAa,CAAC;AAG3E,SAAO;GAAE,WAAW;GAAe;GAAe;WAC1C;AACR,UAAQ,aAAa,KAAK;AAC1B,MAAI,QACF,OAAM,SAAS;;;AAKrB,MAAM,yBAAyB,OAC7B,QACA,SACA,aACA,cACyF;CACzF,MAAM,EAAE,SAAS,KAAK,aAAa,YAAY,MAAM,OAAO,eAAe;AAE3E,KAAI;AACF,MAAI,OAAO,MACT,OAAM,OAAO,MAAM,IAAI;EAGzB,MAAM,YAAY,IAAI,eAAe,WAAW;AAChD,UAAQ,aAAa,UAAU;EAE/B,MAAM,SAAS,OAAO,YAAY,IAAI;EACtC,MAAM,gBAAgB,QAAQ,IAAI,OAAO,KAAK,UAAU,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,WAAW;AAClF,aAAU,gBAAgB;IAC1B;EAEF,MAAMC,WAA+B,EAAE;EACvC,IAAID,gBAA+B;EACnC,IAAI,gBAAgB;AAEpB,WAAS;GACP,MAAM,OAAO,MAAM,UAAU,WAAW,WAAW,cAAc;AACjE,OAAI,CAAC,KACH;AAGF,YAAS,KAAK,KAAK;GACnB,MAAM,YAAY,SAAS,SAAS;AAEpC,OAAI,OAAO,WACT,MAAK,MAAM,aAAa,OAAO,WAC7B,OAAM,UAAU;IACd,QAAQ,OAAO;IACf;IACA,SAAS;IACT;IACA;IACD,CAAC;AAIN,OAAI,SAAS;AACX,oBAAgB,MAAM,YAAY;KAChC,QAAQ,OAAO;KACf;KACD,CAAC;IACF,MAAM,SAAS,SAAS,MAAM,GAAG,YAAY,EAAE;AAE/C,QADc,QAAQ,IAAI,aAAa,eAAe,OAAO,CAAC,CAE5D,iBAAgB;;;AAKtB,QAAM;AAEN,MAAI,CAAC,cACH,iBAAgB,MAAM,YAAY;GAAE,QAAQ,OAAO;GAAQ;GAAa,CAAC;AAG3E,SAAO;GAAE;GAAU,WAAW;GAAe;GAAe;WACpD;AACR,UAAQ,aAAa,KAAK;AAC1B,MAAI,QACF,OAAM,SAAS;;;AAKrB,MAAM,oCAAoC,OACxC,QACA,SACA,aACA,YAMI;CACJ,MAAME,eAAyB,EAAE;AAWjC,QAAO;EACL,GAXa,MAAM,uBAAuB,QAAQ,SAAS,cAAc,YAAY;GACrF,MAAM,YAAY,aAAa;AAC/B,gBAAa,KAAK,QAAQ,OAAO;GACjC,MAAM,SAAS,QAAQ;AACvB,OAAI,WAAW,UAAa,SAAS,KAAK,UAAU,QAAQ,OAC1D,QAAO;AAET,UAAO;IACP;EAIA;EACD;;AAGH,MAAM,oBAAoB,YAA8B,QAAQ,KAAK,IAAI;AAEzE,MAAa,4BAA4B,OACvC,WACmC;CACnC,MAAM,OAAO,OAAO,QAAQ;CAE5B,MAAM,UAAU,qBADM,OAAO,WAAW,qBACW;CACnD,MAAM,cAAc,OAAO,eAAe;CAC1C,MAAMC,YAA0C,EAAE;CAClD,MAAM,eAAe,OAAO;CAC5B,MAAM,OAAO,OAAO,QAAQ;AAE5B,KAAI,SAAS,cAAc;EACzB,MAAM,OAAO,MAAM,WAAW,OAAO;EACrC,MAAM,eAAe,qBAAqB,KAAK,qBAAqB;AACpE,OAAK,MAAM,YAAY,cAAc;AACnC,OAAI,iBAAiB,UAAa,UAAU,UAAU,aACpD;GAEF,MAAM,SAAS,MAAM,gBAAgB,UAAU,QAAQ,MAAM,SAAS,YAAY;AAClF,aAAU,KAAK;IAAE;IAAU,WAAW,OAAO;IAAW,CAAC;;YAElD,SAAS,sBAAsB;EACxC,MAAM,WAAW,OAAO,QAAQ;AAChC,MAAI,CAAC,YAAY,WAAW,EAC1B,OAAM,IAAI,MAAM,yDAAyD;EAG3E,MAAMC,QAAoB,CAAC,EAAE,CAAC;EAC9B,MAAM,uBAAO,IAAI,KAAa;AAC9B,OAAK,IAAI,GAAG;AAEZ,SAAO,MAAM,SAAS,GAAG;AACvB,OAAI,iBAAiB,UAAa,UAAU,UAAU,aACpD;GAGF,MAAM,UAAU,MAAM,KAAK;AAC3B,OAAI,CAAC,QACH;GAGF,MAAM,SAAS,MAAM,kCAAkC,QAAQ,SAAS,aAAa,QAAQ;AAC7F,aAAU,KAAK;IAAE,UAAU,OAAO;IAAU,WAAW,OAAO;IAAW,CAAC;GAE1E,MAAM,QAAQ,KAAK,IAAI,OAAO,aAAa,QAAQ,SAAS;AAC5D,QAAK,IAAI,YAAY,GAAG,YAAY,OAAO,aAAa,GAAG;IACzD,MAAM,QAAQ,OAAO,aAAa;IAClC,MAAM,UAAU,QAAQ,cAAc;AACtC,SAAK,IAAI,MAAM,UAAU,GAAG,MAAM,OAAO,OAAO,GAAG;KACjD,MAAM,OAAO,QAAQ,MAAM,GAAG,UAAU;AACxC,UAAK,aAAa;KAClB,MAAM,MAAM,iBAAiB,KAAK;AAClC,SAAI,CAAC,KAAK,IAAI,IAAI,EAAE;AAClB,WAAK,IAAI,IAAI;AACb,YAAM,KAAK,KAAK;;;;;YAKf,SAAS,UAAU;EAC5B,MAAM,MAAM,WAAW,KAAK;EAC5B,MAAM,QAAQ,gBAAgB;AAC9B,OAAK,IAAI,IAAI,GAAG,IAAI,OAAO,KAAK,GAAG;GACjC,MAAM,SAAS,MAAM,uBAAuB,QAAQ,SAAS,cAAc,YACzE,KAAK,MAAM,KAAK,GAAG,QAAQ,OAAO,CACnC;AACD,aAAU,KAAK;IAAE,UAAU,OAAO;IAAU,WAAW,OAAO;IAAW,CAAC;;QAEvE;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,SAAS,MAAM,uBAAuB,QAAQ,SAAS,cAAc,YACzE,KAAK,MAAM,KAAK,GAAG,QAAQ,OAAO,CACnC;AACD,aAAU,KAAK;IAAE,UAAU,OAAO;IAAU,WAAW,OAAO;IAAW,CAAC;AAC1E,iBAAc;AAEd,OAAI,6BAA6B,QAC/B,qBAAoB,CAAC,OAAO;;;AAKlC,QAAO;EACL;EACA,cAAc,SAAS,MAAM,IAAI;EAClC"}

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

@@ -0,0 +1,32 @@
+import { ModelCheckerPhase } from "./model-checker.js";
+import { DatabaseAdapter, DatabaseAdapterMetadata, DatabaseContextStorage, fragnoDatabaseAdapterNameFakeSymbol, fragnoDatabaseAdapterVersionFakeSymbol } from "@fragno-dev/db/adapters";
+import { AnySchema } from "@fragno-dev/db/schema";
+import { SimpleQueryInterface } from "@fragno-dev/db/query";
+import { RequestContextStorage } from "@fragno-dev/core/internal/request-context-storage";
+import { UOWInstrumentationContext } from "@fragno-dev/db/unit-of-work";
+
+//#region src/model-checker-adapter.d.ts
+type SchedulerHook = (ctx: UOWInstrumentationContext, phase: ModelCheckerPhase) => Promise<void>;
+type ModelCheckerScheduler = {
+  beforePhase: SchedulerHook;
+  afterPhase: SchedulerHook;
+};
+declare class ModelCheckerAdapter<TUowConfig = void> implements DatabaseAdapter<TUowConfig> {
+  #private;
+  [fragnoDatabaseAdapterNameFakeSymbol]: string;
+  [fragnoDatabaseAdapterVersionFakeSymbol]: number;
+  readonly contextStorage: RequestContextStorage<DatabaseContextStorage>;
+  readonly adapterMetadata?: DatabaseAdapterMetadata;
+  readonly namingStrategy: DatabaseAdapter<TUowConfig>["namingStrategy"];
+  prepareMigrations?: DatabaseAdapter<TUowConfig>["prepareMigrations"];
+  constructor(baseAdapter: DatabaseAdapter<TUowConfig>);
+  setScheduler(scheduler: ModelCheckerScheduler | null): void;
+  getHookProcessingAdapter(): DatabaseAdapter<TUowConfig>;
+  getSchemaVersion(namespace: string): Promise<string | undefined>;
+  createQueryEngine<const T extends AnySchema>(schema: T, namespace: string | null): SimpleQueryInterface<T, TUowConfig>;
+  isConnectionHealthy(): Promise<boolean>;
+  close(): Promise<void>;
+}
+//#endregion
+export { ModelCheckerAdapter, ModelCheckerScheduler };
+//# sourceMappingURL=model-checker-adapter.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"model-checker-adapter.d.ts","names":[],"sources":["../src/model-checker-adapter.ts"],"sourcesContent":[],"mappings":";;;;;;;;KAoBK,aAAA,SAAsB,kCAAkC,sBAAsB;AAA9E,KAEO,qBAAA,GAFM;EAAS,WAAA,EAGZ,aAHY;EAAkC,UAAA,EAI/C,aAJ+C;CAAsB;AAAO,cAwF7E,mBAxF6E,CAAA,aAAA,IAAA,CAAA,YAwF3B,eAxF2B,CAwFX,UAxFW,CAAA,CAAA;EAE9E,CAAA,OAAA;EAsFC,CACV,mCAAA,CAD6B,EAAA,MAAA;EAA+C,CAE5E,sCAAA,CAF4E,EAAA,MAAA;EAC5E,SAAA,cAAA,EAGwB,qBAHxB,CAG8C,sBAH9C,CAAA;EACA,SAAA,eAAA,CAAA,EAG0B,uBAH1B;EAE8C,SAAA,cAAA,EAEtB,eAFsB,CAEN,UAFM,CAAA,CAAA,gBAAA,CAAA;EAAtB,iBAAA,CAAA,EAGL,eAHK,CAGW,UAHX,CAAA,CAAA,mBAAA,CAAA;EACE,WAAA,CAAA,WAAA,EAOF,eAPE,CAOc,UAPd,CAAA;EACc,YAAA,CAAA,SAAA,EAiBjB,qBAjBiB,GAAA,IAAA,CAAA,EAAA,IAAA;EAAhB,wBAAA,CAAA,CAAA,EAqBG,eArBH,CAqBmB,UArBnB,CAAA;EACW,gBAAA,CAAA,SAAA,EAAA,MAAA,CAAA,EAwBC,OAxBD,CAAA,MAAA,GAAA,SAAA,CAAA;EAAhB,iBAAA,CAAA,gBA4Bc,SA5Bd,CAAA,CAAA,MAAA,EA6BV,CA7BU,EAAA,SAAA,EAAA,MAAA,GAAA,IAAA,CAAA,EA+BjB,oBA/BiB,CA+BI,CA/BJ,EA+BO,UA/BP,CAAA;EAKqB,mBAAA,CAAA,CAAA,EAwElB,OAxEkB,CAAA,OAAA,CAAA;EAAhB,KAAA,CAAA,CAAA,EA4EhB,OA5EgB,CAAA,IAAA,CAAA"}

package/dist/model-checker-adapter.js

@@ -0,0 +1,109 @@
+import { fragnoDatabaseAdapterNameFakeSymbol, fragnoDatabaseAdapterVersionFakeSymbol } from "@fragno-dev/db/adapters";
+
+//#region src/model-checker-adapter.ts
+const isInstrumentationInjection = (value) => {
+	if (!value || typeof value !== "object") return false;
+	const candidate = value;
+	return candidate.type === "conflict" || candidate.type === "error";
+};
+const mergeHook = (primary, secondary, options = {}) => {
+	if (!primary && !secondary) return;
+	const hook = async (ctx) => {
+		let result;
+		if (options.alwaysCallSecondary) try {
+			result = await primary?.(ctx);
+		} finally {
+			await secondary?.(ctx);
+		}
+		else {
+			result = await primary?.(ctx);
+			if (!isInstrumentationInjection(result)) {
+				const secondaryResult = await secondary?.(ctx);
+				if (isInstrumentationInjection(secondaryResult)) return secondaryResult;
+			}
+		}
+		if (isInstrumentationInjection(result)) return result;
+	};
+	return hook;
+};
+const mergeInstrumentation = (existing, scheduler) => {
+	if (!scheduler) return { instrumentation: existing };
+	const schedulerBeforeRetrieve = (ctx) => scheduler.beforePhase(ctx, "retrieve");
+	const schedulerAfterRetrieve = (ctx) => scheduler.afterPhase(ctx, "retrieve");
+	const schedulerBeforeMutate = (ctx) => scheduler.beforePhase(ctx, "mutate");
+	const schedulerAfterMutate = (ctx) => scheduler.afterPhase(ctx, "mutate");
+	return {
+		instrumentation: {
+			beforeRetrieve: mergeHook(schedulerBeforeRetrieve, existing?.beforeRetrieve),
+			afterRetrieve: existing?.afterRetrieve,
+			beforeMutate: mergeHook(schedulerBeforeMutate, existing?.beforeMutate),
+			afterMutate: existing?.afterMutate
+		},
+		instrumentationFinalizer: {
+			afterRetrieve: schedulerAfterRetrieve,
+			afterMutate: schedulerAfterMutate
+		}
+	};
+};
+var ModelCheckerAdapter = class {
+	[fragnoDatabaseAdapterNameFakeSymbol];
+	[fragnoDatabaseAdapterVersionFakeSymbol];
+	contextStorage;
+	adapterMetadata;
+	namingStrategy;
+	prepareMigrations;
+	#baseAdapter;
+	#scheduler = null;
+	constructor(baseAdapter) {
+		this.#baseAdapter = baseAdapter;
+		this.contextStorage = baseAdapter.contextStorage;
+		this.adapterMetadata = baseAdapter.adapterMetadata;
+		this.namingStrategy = baseAdapter.namingStrategy;
+		this[fragnoDatabaseAdapterNameFakeSymbol] = baseAdapter[fragnoDatabaseAdapterNameFakeSymbol];
+		this[fragnoDatabaseAdapterVersionFakeSymbol] = baseAdapter[fragnoDatabaseAdapterVersionFakeSymbol];
+		this.prepareMigrations = baseAdapter.prepareMigrations?.bind(baseAdapter);
+	}
+	setScheduler(scheduler) {
+		this.#scheduler = scheduler;
+	}
+	getHookProcessingAdapter() {
+		return this.#baseAdapter;
+	}
+	getSchemaVersion(namespace) {
+		return this.#baseAdapter.getSchemaVersion(namespace);
+	}
+	createQueryEngine(schema, namespace) {
+		const engine = this.#baseAdapter.createQueryEngine(schema, namespace);
+		const wrappedCreateUnitOfWork = (name, config) => {
+			const scheduler = this.#scheduler;
+			if (!scheduler) return engine.createUnitOfWork(name, config);
+			const configWithInstrumentation = (() => {
+				if (!config || typeof config !== "object") return mergeInstrumentation(void 0, scheduler);
+				const typedConfig = config;
+				const merged = mergeInstrumentation(typedConfig.instrumentation, scheduler);
+				return {
+					...typedConfig,
+					instrumentation: merged.instrumentation,
+					instrumentationFinalizer: merged.instrumentationFinalizer ?? typedConfig.instrumentationFinalizer
+				};
+			})();
+			return engine.createUnitOfWork(name, configWithInstrumentation);
+		};
+		return new Proxy(engine, { get(target, prop, receiver) {
+			if (prop === "createUnitOfWork") return wrappedCreateUnitOfWork;
+			const value = Reflect.get(target, prop, receiver);
+			if (typeof value === "function") return value.bind(target);
+			return value;
+		} });
+	}
+	isConnectionHealthy() {
+		return this.#baseAdapter.isConnectionHealthy();
+	}
+	close() {
+		return this.#baseAdapter.close();
+	}
+};
+
+//#endregion
+export { ModelCheckerAdapter };
+//# sourceMappingURL=model-checker-adapter.js.map

package/dist/model-checker-adapter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model-checker-adapter.js","names":["result: void | UOWInstrumentationInjection","#baseAdapter","#scheduler"],"sources":["../src/model-checker-adapter.ts"],"sourcesContent":["import type {\n  DatabaseAdapter,\n  DatabaseAdapterMetadata,\n  DatabaseContextStorage,\n} from \"@fragno-dev/db/adapters\";\nimport {\n  fragnoDatabaseAdapterNameFakeSymbol,\n  fragnoDatabaseAdapterVersionFakeSymbol,\n} from \"@fragno-dev/db/adapters\";\nimport type { AnySchema } from \"@fragno-dev/db/schema\";\nimport type { SimpleQueryInterface } from \"@fragno-dev/db/query\";\nimport type { RequestContextStorage } from \"@fragno-dev/core/internal/request-context-storage\";\nimport type {\n  UOWInstrumentation,\n  UOWInstrumentationContext,\n  UOWInstrumentationInjection,\n  UOWInstrumentationFinalizer,\n} from \"@fragno-dev/db/unit-of-work\";\nimport type { ModelCheckerPhase } from \"./model-checker\";\n\ntype SchedulerHook = (ctx: UOWInstrumentationContext, phase: ModelCheckerPhase) => Promise<void>;\n\nexport type ModelCheckerScheduler = {\n  beforePhase: SchedulerHook;\n  afterPhase: SchedulerHook;\n};\n\nconst isInstrumentationInjection = (value: unknown): value is UOWInstrumentationInjection => {\n  if (!value || typeof value !== \"object\") {\n    return false;\n  }\n  const candidate = value as { type?: string };\n  return candidate.type === \"conflict\" || candidate.type === \"error\";\n};\n\nconst mergeHook = (\n  primary: UOWInstrumentation[keyof UOWInstrumentation] | undefined,\n  secondary: UOWInstrumentation[keyof UOWInstrumentation] | undefined,\n  options: { alwaysCallSecondary?: boolean } = {},\n): UOWInstrumentation[keyof UOWInstrumentation] | undefined => {\n  if (!primary && !secondary) {\n    return undefined;\n  }\n\n  const hook = async (\n    ctx: UOWInstrumentationContext,\n  ): Promise<void | UOWInstrumentationInjection> => {\n    let result: void | UOWInstrumentationInjection;\n    if (options.alwaysCallSecondary) {\n      try {\n        result = await primary?.(ctx);\n      } finally {\n        await secondary?.(ctx);\n      }\n    } else {\n      result = await primary?.(ctx);\n      if (!isInstrumentationInjection(result)) {\n        const secondaryResult = await secondary?.(ctx);\n        if (isInstrumentationInjection(secondaryResult)) {\n          return secondaryResult;\n        }\n      }\n    }\n\n    if (isInstrumentationInjection(result)) {\n      return result;\n    }\n\n    return undefined;\n  };\n\n  return hook as UOWInstrumentation[keyof UOWInstrumentation];\n};\n\nconst mergeInstrumentation = (\n  existing: UOWInstrumentation | undefined,\n  scheduler: ModelCheckerScheduler | null,\n): {\n  instrumentation?: UOWInstrumentation;\n  instrumentationFinalizer?: UOWInstrumentationFinalizer;\n} => {\n  if (!scheduler) {\n    return { instrumentation: existing };\n  }\n\n  const schedulerBeforeRetrieve = (ctx: UOWInstrumentationContext) =>\n    scheduler.beforePhase(ctx, \"retrieve\");\n  const schedulerAfterRetrieve = (ctx: UOWInstrumentationContext) =>\n    scheduler.afterPhase(ctx, \"retrieve\");\n  const schedulerBeforeMutate = (ctx: UOWInstrumentationContext) =>\n    scheduler.beforePhase(ctx, \"mutate\");\n  const schedulerAfterMutate = (ctx: UOWInstrumentationContext) =>\n    scheduler.afterPhase(ctx, \"mutate\");\n\n  return {\n    instrumentation: {\n      beforeRetrieve: mergeHook(schedulerBeforeRetrieve, existing?.beforeRetrieve),\n      afterRetrieve: existing?.afterRetrieve,\n      beforeMutate: mergeHook(schedulerBeforeMutate, existing?.beforeMutate),\n      afterMutate: existing?.afterMutate,\n    },\n    instrumentationFinalizer: {\n      afterRetrieve: schedulerAfterRetrieve,\n      afterMutate: schedulerAfterMutate,\n    },\n  };\n};\n\nexport class ModelCheckerAdapter<TUowConfig = void> implements DatabaseAdapter<TUowConfig> {\n  [fragnoDatabaseAdapterNameFakeSymbol]: string;\n  [fragnoDatabaseAdapterVersionFakeSymbol]: number;\n\n  readonly contextStorage: RequestContextStorage<DatabaseContextStorage>;\n  readonly adapterMetadata?: DatabaseAdapterMetadata;\n  readonly namingStrategy: DatabaseAdapter<TUowConfig>[\"namingStrategy\"];\n  prepareMigrations?: DatabaseAdapter<TUowConfig>[\"prepareMigrations\"];\n\n  #baseAdapter: DatabaseAdapter<TUowConfig>;\n  #scheduler: ModelCheckerScheduler | null = null;\n\n  constructor(baseAdapter: DatabaseAdapter<TUowConfig>) {\n    this.#baseAdapter = baseAdapter;\n    this.contextStorage = baseAdapter.contextStorage;\n    this.adapterMetadata = baseAdapter.adapterMetadata;\n    this.namingStrategy = baseAdapter.namingStrategy;\n    this[fragnoDatabaseAdapterNameFakeSymbol] = baseAdapter[fragnoDatabaseAdapterNameFakeSymbol];\n    this[fragnoDatabaseAdapterVersionFakeSymbol] =\n      baseAdapter[fragnoDatabaseAdapterVersionFakeSymbol];\n    this.prepareMigrations = baseAdapter.prepareMigrations?.bind(baseAdapter);\n  }\n\n  setScheduler(scheduler: ModelCheckerScheduler | null): void {\n    this.#scheduler = scheduler;\n  }\n\n  getHookProcessingAdapter(): DatabaseAdapter<TUowConfig> {\n    return this.#baseAdapter;\n  }\n\n  getSchemaVersion(namespace: string): Promise<string | undefined> {\n    return this.#baseAdapter.getSchemaVersion(namespace);\n  }\n\n  createQueryEngine<const T extends AnySchema>(\n    schema: T,\n    namespace: string | null,\n  ): SimpleQueryInterface<T, TUowConfig> {\n    const engine = this.#baseAdapter.createQueryEngine(schema, namespace);\n\n    const wrappedCreateUnitOfWork = (name?: string, config?: TUowConfig) => {\n      const scheduler = this.#scheduler;\n      if (!scheduler) {\n        return engine.createUnitOfWork(name, config);\n      }\n\n      const configWithInstrumentation = (() => {\n        if (!config || typeof config !== \"object\") {\n          const merged = mergeInstrumentation(undefined, scheduler);\n          return merged as TUowConfig;\n        }\n\n        const typedConfig = config as {\n          instrumentation?: UOWInstrumentation;\n          instrumentationFinalizer?: UOWInstrumentationFinalizer;\n        };\n        const merged = mergeInstrumentation(typedConfig.instrumentation, scheduler);\n        return {\n          ...typedConfig,\n          instrumentation: merged.instrumentation,\n          instrumentationFinalizer:\n            merged.instrumentationFinalizer ?? typedConfig.instrumentationFinalizer,\n        } as TUowConfig;\n      })();\n\n      return engine.createUnitOfWork(name, configWithInstrumentation);\n    };\n\n    const proxy = new Proxy(engine, {\n      get(target, prop, receiver) {\n        if (prop === \"createUnitOfWork\") {\n          return wrappedCreateUnitOfWork;\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    return proxy;\n  }\n\n  isConnectionHealthy(): Promise<boolean> {\n    return this.#baseAdapter.isConnectionHealthy();\n  }\n\n  close(): Promise<void> {\n    return this.#baseAdapter.close();\n  }\n}\n"],"mappings":";;;AA2BA,MAAM,8BAA8B,UAAyD;AAC3F,KAAI,CAAC,SAAS,OAAO,UAAU,SAC7B,QAAO;CAET,MAAM,YAAY;AAClB,QAAO,UAAU,SAAS,cAAc,UAAU,SAAS;;AAG7D,MAAM,aACJ,SACA,WACA,UAA6C,EAAE,KACc;AAC7D,KAAI,CAAC,WAAW,CAAC,UACf;CAGF,MAAM,OAAO,OACX,QACgD;EAChD,IAAIA;AACJ,MAAI,QAAQ,oBACV,KAAI;AACF,YAAS,MAAM,UAAU,IAAI;YACrB;AACR,SAAM,YAAY,IAAI;;OAEnB;AACL,YAAS,MAAM,UAAU,IAAI;AAC7B,OAAI,CAAC,2BAA2B,OAAO,EAAE;IACvC,MAAM,kBAAkB,MAAM,YAAY,IAAI;AAC9C,QAAI,2BAA2B,gBAAgB,CAC7C,QAAO;;;AAKb,MAAI,2BAA2B,OAAO,CACpC,QAAO;;AAMX,QAAO;;AAGT,MAAM,wBACJ,UACA,cAIG;AACH,KAAI,CAAC,UACH,QAAO,EAAE,iBAAiB,UAAU;CAGtC,MAAM,2BAA2B,QAC/B,UAAU,YAAY,KAAK,WAAW;CACxC,MAAM,0BAA0B,QAC9B,UAAU,WAAW,KAAK,WAAW;CACvC,MAAM,yBAAyB,QAC7B,UAAU,YAAY,KAAK,SAAS;CACtC,MAAM,wBAAwB,QAC5B,UAAU,WAAW,KAAK,SAAS;AAErC,QAAO;EACL,iBAAiB;GACf,gBAAgB,UAAU,yBAAyB,UAAU,eAAe;GAC5E,eAAe,UAAU;GACzB,cAAc,UAAU,uBAAuB,UAAU,aAAa;GACtE,aAAa,UAAU;GACxB;EACD,0BAA0B;GACxB,eAAe;GACf,aAAa;GACd;EACF;;AAGH,IAAa,sBAAb,MAA2F;CACzF,CAAC;CACD,CAAC;CAED,AAAS;CACT,AAAS;CACT,AAAS;CACT;CAEA;CACA,aAA2C;CAE3C,YAAY,aAA0C;AACpD,QAAKC,cAAe;AACpB,OAAK,iBAAiB,YAAY;AAClC,OAAK,kBAAkB,YAAY;AACnC,OAAK,iBAAiB,YAAY;AAClC,OAAK,uCAAuC,YAAY;AACxD,OAAK,0CACH,YAAY;AACd,OAAK,oBAAoB,YAAY,mBAAmB,KAAK,YAAY;;CAG3E,aAAa,WAA+C;AAC1D,QAAKC,YAAa;;CAGpB,2BAAwD;AACtD,SAAO,MAAKD;;CAGd,iBAAiB,WAAgD;AAC/D,SAAO,MAAKA,YAAa,iBAAiB,UAAU;;CAGtD,kBACE,QACA,WACqC;EACrC,MAAM,SAAS,MAAKA,YAAa,kBAAkB,QAAQ,UAAU;EAErE,MAAM,2BAA2B,MAAe,WAAwB;GACtE,MAAM,YAAY,MAAKC;AACvB,OAAI,CAAC,UACH,QAAO,OAAO,iBAAiB,MAAM,OAAO;GAG9C,MAAM,mCAAmC;AACvC,QAAI,CAAC,UAAU,OAAO,WAAW,SAE/B,QADe,qBAAqB,QAAW,UAAU;IAI3D,MAAM,cAAc;IAIpB,MAAM,SAAS,qBAAqB,YAAY,iBAAiB,UAAU;AAC3E,WAAO;KACL,GAAG;KACH,iBAAiB,OAAO;KACxB,0BACE,OAAO,4BAA4B,YAAY;KAClD;OACC;AAEJ,UAAO,OAAO,iBAAiB,MAAM,0BAA0B;;AAejE,SAZc,IAAI,MAAM,QAAQ,EAC9B,IAAI,QAAQ,MAAM,UAAU;AAC1B,OAAI,SAAS,mBACX,QAAO;GAET,MAAM,QAAQ,QAAQ,IAAI,QAAQ,MAAM,SAAS;AACjD,OAAI,OAAO,UAAU,WACnB,QAAO,MAAM,KAAK,OAAO;AAE3B,UAAO;KAEV,CAAC;;CAIJ,sBAAwC;AACtC,SAAO,MAAKD,YAAa,qBAAqB;;CAGhD,QAAuB;AACrB,SAAO,MAAKA,YAAa,OAAO"}