effect-agent 0.1.0-beta.84 → 0.1.0-beta.86

package/dist/durable/ScheduleStoreConformance.mjs

@@ -0,0 +1,420 @@
+import { AgentId, ReceiptId, SubmissionId, ThreadId } from "../core/Identifiers.mjs";
+import { IdempotencyKey, Principal, QueueSequence, Receipt } from "../core/Receipt.mjs";
+import { DefinitionDigests, Digest } from "./Records.mjs";
+import { ScheduleCapacityError, ScheduleId, ScheduleStore } from "./Schedule.mjs";
+import { Effect, Result, Schema } from "effect";
+//#region src/durable/ScheduleStoreConformance.ts
+var ScheduleStoreConformanceViolation = class extends Schema.TaggedError()("ScheduleStoreConformanceViolation", {
+	caseName: Schema.String,
+	message: Schema.String
+}) {};
+const id = Schema.decodeSync(ScheduleId);
+const principal = Schema.decodeSync(Principal)("schedule-conformance-principal");
+const agentId = Schema.decodeSync(AgentId)("schedule-conformance-agent");
+const threadId = Schema.decodeSync(ThreadId)("schedule-conformance-thread");
+const digest = Schema.decodeSync(Digest)("d".repeat(64));
+const definitions = DefinitionDigests.make({
+	agent: digest,
+	model: digest,
+	tools: digest
+});
+const key = (name, ownerId = "owner") => ({
+	owner: {
+		tenantId: "schedule-conformance-tenant",
+		ownerId
+	},
+	scheduleId: id(name)
+});
+const record = (name, input = { value: name }, ownerId = "owner") => ({
+	schemaVersion: 1,
+	...key(name, ownerId),
+	creationFingerprint: Schema.decodeSync(Digest)("a".repeat(64)),
+	createdBy: principal,
+	createdAtMillis: 1,
+	updatedAtMillis: 1,
+	configurationRevision: 1,
+	version: 1,
+	configuration: {
+		timing: {
+			_tag: "At",
+			atMillis: 100
+		},
+		destination: {
+			_tag: "ExistingThread",
+			threadId
+		},
+		deliveryPrincipal: principal,
+		agentId,
+		definitions,
+		input,
+		inputDigest: digest
+	},
+	state: "active",
+	nextAtMillis: 100,
+	pending: null,
+	lastReceipt: null,
+	lastRefusal: null,
+	lastSkippedRange: null
+});
+const pendingRecord = (name) => {
+	const base = record(name);
+	const occurrenceId = Schema.decodeSync(Digest)("e".repeat(64));
+	return {
+		...base,
+		nextAtMillis: null,
+		pending: {
+			envelope: {
+				schemaVersion: 1,
+				...key(name),
+				configurationRevision: 1,
+				intendedAtMillis: 100,
+				preparedAtMillis: 110,
+				occurrenceId,
+				threadId,
+				deliveryPrincipal: principal,
+				agentId,
+				definitions,
+				input: base.configuration.input,
+				inputDigest: digest,
+				admissionKey: Schema.decodeSync(IdempotencyKey)(`schedule:${name}`),
+				authorization: {
+					policyId: "policy",
+					decisionId: "decision"
+				}
+			},
+			retry: {
+				generation: 0,
+				attempts: 0,
+				automaticAttempts: 0,
+				parked: false,
+				nextAttemptAtMillis: 120,
+				lastAttemptAtMillis: null,
+				lastFailure: null
+			}
+		}
+	};
+};
+const receipt = Receipt.make({
+	receiptId: Schema.decodeSync(ReceiptId)("schedule-conformance-receipt"),
+	submissionId: Schema.decodeSync(SubmissionId)("schedule-conformance-submission"),
+	threadId,
+	queueSequence: Schema.decodeSync(QueueSequence)(1)
+});
+const conformanceCase = (name, run) => ({
+	name,
+	run: run((condition, message) => condition ? Effect.void : Effect.fail(ScheduleStoreConformanceViolation.make({
+		caseName: name,
+		message
+	}))).pipe(Effect.withSpan(`ScheduleStoreConformance.${name}`))
+});
+/** Adapter-neutral contract cases. Each case uses disjoint owner and Schedule identities. */
+const scheduleStoreConformanceCases = [
+	conformanceCase("returns the current record when creation replays after an edit", (ensure) => Effect.gen(function* () {
+		const store = yield* ScheduleStore;
+		const original = record("creation-replay");
+		yield* store.insert(original, 10);
+		const edited = yield* store.change(key("creation-replay"), {
+			_tag: "Update",
+			expectedRevision: 1,
+			configuration: {
+				...original.configuration,
+				input: { value: "edited" }
+			},
+			nextAtMillis: 200,
+			nowMillis: 10
+		});
+		const replayed = yield* store.insert(original, 10);
+		yield* ensure(replayed.version === edited.version, "creation replay returned stale state");
+		yield* ensure(replayed.configurationRevision === 2, "creation replay lost the edited configuration revision");
+		yield* ensure(JSON.stringify(replayed.configuration.input) === JSON.stringify({ value: "edited" }), "creation replay returned the original input");
+	})),
+	conformanceCase("makes stale completions and retry regressions full no-ops", (ensure) => Effect.gen(function* () {
+		const store = yield* ScheduleStore;
+		const original = pendingRecord("stale-completion");
+		yield* store.insert(original, 10);
+		const stale = yield* store.change(key("stale-completion"), {
+			_tag: "Complete",
+			occurrenceId: Schema.decodeSync(Digest)("f".repeat(64)),
+			receipt,
+			nowMillis: 130
+		});
+		yield* ensure(stale.version === original.version, "stale completion changed the version");
+		yield* ensure(stale.pending !== null, "stale completion cleared pending work");
+		yield* ensure(stale.lastReceipt === null, "stale completion changed bounded status");
+		const advanced = yield* store.change(key("stale-completion"), {
+			_tag: "Retry",
+			occurrenceId: original.pending?.envelope.occurrenceId ?? digest,
+			retry: {
+				generation: 0,
+				automaticAttempts: 0,
+				parked: false,
+				attempts: 2,
+				nextAttemptAtMillis: 500,
+				lastAttemptAtMillis: 200,
+				lastFailure: "transport"
+			},
+			nowMillis: 200
+		});
+		const regressed = yield* store.change(key("stale-completion"), {
+			_tag: "Retry",
+			occurrenceId: original.pending?.envelope.occurrenceId ?? digest,
+			retry: {
+				generation: 0,
+				automaticAttempts: 0,
+				parked: false,
+				attempts: 1,
+				nextAttemptAtMillis: 300,
+				lastAttemptAtMillis: 150,
+				lastFailure: "timeout"
+			},
+			nowMillis: 210
+		});
+		yield* ensure(regressed.version === advanced.version, "retry regression changed the version");
+		yield* ensure(regressed.pending?.retry.nextAttemptAtMillis === 500, "retry regression moved the deadline backward");
+	})),
+	conformanceCase("isolates owner pages, prioritizes pending deadlines, and clones writes", (ensure) => Effect.gen(function* () {
+		const store = yield* ScheduleStore;
+		const mutableInput = { value: "before" };
+		yield* store.insert(record("z-page", mutableInput), 10);
+		mutableInput.value = "after";
+		yield* store.insert(record("a-page"), 10);
+		yield* store.insert(pendingRecord("pending-first"), 10);
+		yield* store.insert(record("foreign", { value: "foreign" }, "other-owner"), 10);
+		const page = yield* store.list({
+			owner: key("ignored").owner,
+			limit: 2
+		});
+		yield* ensure(page.items.length === 2, "owner page returned the wrong item count");
+		yield* ensure(page.items[0]?.scheduleId === id("a-page"), "owner page order is unstable");
+		yield* ensure(page.next === id("pending-first"), "owner page cursor is not its last item");
+		yield* ensure(page.items.every((item) => item.owner.ownerId === "owner"), "owner page leaked a foreign owner");
+		const stored = yield* store.get(key("z-page"));
+		yield* ensure(JSON.stringify(stored?.configuration.input) === JSON.stringify({ value: "before" }), "caller mutation changed the authoritative stored input");
+		const due = yield* store.due(150, 10, key("ignored").owner);
+		yield* ensure(due[0]?.scheduleId === id("a-page") || due[0]?.scheduleId === id("z-page"), "due ordering did not use the earliest deadline");
+		yield* ensure(due.some((item) => item.scheduleId === id("pending-first")), "due query omitted pending recovery");
+	})),
+	conformanceCase("enforces owner capacity without affecting other owners", (ensure) => Effect.gen(function* () {
+		const store = yield* ScheduleStore;
+		yield* store.insert(record("capacity-one", { value: 1 }, "capacity-owner"), 1);
+		const attempted = yield* store.insert(record("capacity-two", { value: 2 }, "capacity-owner"), 1).pipe(Effect.result);
+		yield* ensure(Result.isFailure(attempted) && attempted.failure instanceof ScheduleCapacityError, "owner capacity did not fail with ScheduleCapacityError");
+		yield* ensure((yield* store.insert(record("capacity-other", { value: 3 }, "capacity-other"), 1)).scheduleId === id("capacity-other"), "capacity leaked across owners");
+	})),
+	conformanceCase("releases terminal capacity without deleting replay evidence and fences reactivation", (ensure) => Effect.gen(function* () {
+		const store = yield* ScheduleStore;
+		const original = pendingRecord("capacity-retained");
+		yield* store.insert(original, 1);
+		const paused = yield* store.change(original, {
+			_tag: "Control",
+			expectedRevision: 1,
+			expectedVersion: original.version,
+			action: "pause",
+			nextAtMillis: null,
+			nowMillis: 120,
+			skippedRange: null
+		});
+		const cancelled = yield* store.change(original, {
+			_tag: "Control",
+			expectedRevision: 1,
+			expectedVersion: paused.version,
+			action: "cancel",
+			nextAtMillis: null,
+			nowMillis: 130,
+			skippedRange: null
+		});
+		const blocked = yield* store.insert(record("capacity-next"), 1).pipe(Effect.result);
+		yield* ensure(Result.isFailure(blocked) && blocked.failure._tag === "ScheduleCapacityError", "cancellation released unresolved pending capacity");
+		const parked = yield* store.change(original, {
+			_tag: "Retry",
+			occurrenceId: original.pending?.envelope.occurrenceId ?? digest,
+			retry: {
+				generation: 0,
+				attempts: 3,
+				automaticAttempts: 3,
+				parked: true,
+				nextAttemptAtMillis: 140,
+				lastAttemptAtMillis: 130,
+				lastFailure: "transport"
+			},
+			nowMillis: 130
+		});
+		yield* ensure((yield* store.due(140, 10, original.owner)).length === 0, "Parked work must not retry automatically");
+		const recovered = yield* store.change(original, {
+			_tag: "Recover",
+			expectedGeneration: 0,
+			expectedRevision: parked.configurationRevision,
+			occurrenceId: original.pending?.envelope.occurrenceId ?? digest,
+			nowMillis: 140
+		});
+		yield* ensure(recovered.state === "cancelled" && recovered.pending?.retry.automaticAttempts === 0 && recovered.pending.retry.attempts === 3 && recovered.pending.retry.parked === false && JSON.stringify(recovered.pending.envelope) === JSON.stringify(original.pending?.envelope), "Explicit recovery must preserve cancelled pending identity and total attempts");
+		const staleRetry = yield* store.change(original, {
+			_tag: "Retry",
+			occurrenceId: original.pending?.envelope.occurrenceId ?? digest,
+			retry: {
+				generation: 0,
+				attempts: 99,
+				automaticAttempts: 99,
+				parked: true,
+				nextAttemptAtMillis: 150,
+				lastAttemptAtMillis: 145,
+				lastFailure: "transport"
+			},
+			nowMillis: 145
+		});
+		yield* ensure(JSON.stringify(staleRetry) === JSON.stringify(recovered), "A pre-recovery retry consumed the new generation");
+		const repeatedRecovery = yield* store.change(original, {
+			_tag: "Recover",
+			expectedGeneration: 0,
+			expectedRevision: recovered.configurationRevision,
+			occurrenceId: original.pending?.envelope.occurrenceId ?? digest,
+			nowMillis: 146
+		});
+		yield* ensure(JSON.stringify(repeatedRecovery) === JSON.stringify(recovered), "A repeated recovery changed its original generation");
+		const completed = yield* store.change(original, {
+			_tag: "Complete",
+			occurrenceId: original.pending?.envelope.occurrenceId ?? digest,
+			receipt,
+			nowMillis: 140
+		});
+		yield* ensure(completed.pending === null && cancelled.pending !== null, "completion did not clear pending work");
+		yield* store.insert(record("capacity-next"), 1);
+		const replay = yield* store.insert(original, 1);
+		yield* ensure(replay.version === completed.version && replay.state === "cancelled", "terminal replay lost its creation evidence");
+		const second = record("capacity-next");
+		const pausedSecond = yield* store.change(second, {
+			_tag: "Control",
+			expectedRevision: 1,
+			expectedVersion: second.version,
+			action: "pause",
+			nextAtMillis: second.nextAtMillis,
+			nowMillis: 150,
+			skippedRange: null
+		});
+		const pausedCapacity = yield* store.insert(record("capacity-third"), 1).pipe(Effect.result);
+		yield* ensure(Result.isFailure(pausedCapacity) && pausedCapacity.failure._tag === "ScheduleCapacityError", "paused future work did not reserve capacity");
+		yield* store.change(second, {
+			_tag: "Control",
+			expectedRevision: 1,
+			expectedVersion: pausedSecond.version,
+			action: "cancel",
+			nextAtMillis: null,
+			nowMillis: 160,
+			skippedRange: null
+		});
+		const admitted = pendingRecord("capacity-completed");
+		yield* store.insert(admitted, 1);
+		const settled = yield* store.change(admitted, {
+			_tag: "Complete",
+			occurrenceId: admitted.pending?.envelope.occurrenceId ?? digest,
+			receipt,
+			nowMillis: 170
+		});
+		yield* store.insert(record("capacity-third"), 1);
+		const reactivated = yield* store.change(admitted, {
+			_tag: "Update",
+			expectedRevision: 1,
+			configuration: admitted.configuration,
+			nextAtMillis: 200,
+			nowMillis: 180
+		}, 1).pipe(Effect.result);
+		yield* ensure(Result.isFailure(reactivated) && reactivated.failure._tag === "ScheduleCapacityError", "reactivation exceeded operational capacity");
+		yield* ensure((yield* store.get(admitted))?.version === settled.version, "capacity failure mutated the completed record");
+	})),
+	conformanceCase("advances due pagination beyond unchanged rows with equal deadlines", (ensure) => Effect.gen(function* () {
+		const store = yield* ScheduleStore;
+		for (const name of [
+			"due-a",
+			"due-b",
+			"due-c"
+		]) yield* store.insert(record(name), 10);
+		const first = yield* store.due(100, 1);
+		const second = yield* store.due(100, 1, void 0, first[0]);
+		const third = yield* store.due(100, 1, void 0, second[0]);
+		yield* ensure(first[0]?.scheduleId === id("due-a") && second[0]?.scheduleId === id("due-b") && third[0]?.scheduleId === id("due-c"), "due pages repeated or skipped a key");
+		yield* ensure((yield* store.due(100, 1, void 0, third[0])).length === 0, "due cursor did not terminate");
+	})),
+	conformanceCase("fences stale preparation and control while preserving frozen pending work", (ensure) => Effect.gen(function* () {
+		const store = yield* ScheduleStore;
+		const prepareOriginal = record("stale-prepare");
+		yield* store.insert(prepareOriginal, 10);
+		const edited = yield* store.change(key("stale-prepare"), {
+			_tag: "Update",
+			expectedRevision: 1,
+			configuration: {
+				...prepareOriginal.configuration,
+				timing: {
+					_tag: "At",
+					atMillis: 200
+				},
+				input: { value: "edited-before-prepare" }
+			},
+			nextAtMillis: 200,
+			nowMillis: 10
+		});
+		const staleEnvelope = pendingRecord("stale-prepare").pending?.envelope;
+		if (staleEnvelope === void 0) return yield* ScheduleStoreConformanceViolation.make({
+			caseName: "fences stale preparation and control while preserving frozen pending work",
+			message: "fixture did not contain a pending envelope"
+		});
+		const stalePrepare = yield* store.change(key("stale-prepare"), {
+			_tag: "Prepare",
+			expectedRevision: 1,
+			expectedCursor: 100,
+			envelope: staleEnvelope,
+			nextAtMillis: null,
+			skippedRange: null,
+			nowMillis: 110
+		}).pipe(Effect.result);
+		yield* ensure(Result.isFailure(stalePrepare) && stalePrepare.failure._tag === "ScheduleConflict", "stale preparation did not conflict");
+		yield* ensure(JSON.stringify(yield* store.get(key("stale-prepare"))) === JSON.stringify(edited), "stale preparation changed the edited record");
+		const frozen = pendingRecord("pending-update");
+		yield* store.insert(frozen, 10);
+		const frozenEnvelope = JSON.stringify(frozen.pending?.envelope);
+		const updatedPending = yield* store.change(key("pending-update"), {
+			_tag: "Update",
+			expectedRevision: 1,
+			configuration: {
+				...frozen.configuration,
+				timing: {
+					_tag: "At",
+					atMillis: 300
+				},
+				input: { value: "new-configuration" }
+			},
+			nextAtMillis: 300,
+			nowMillis: 20
+		});
+		yield* ensure(JSON.stringify(updatedPending.pending?.envelope) === frozenEnvelope, "configuration update changed the frozen pending envelope");
+		const completedOriginal = pendingRecord("stale-control");
+		yield* store.insert(completedOriginal, 10);
+		const occurrenceId = completedOriginal.pending?.envelope.occurrenceId;
+		if (occurrenceId === void 0) return yield* ScheduleStoreConformanceViolation.make({
+			caseName: "fences stale preparation and control while preserving frozen pending work",
+			message: "fixture did not contain an occurrence identifier"
+		});
+		const completed = yield* store.change(key("stale-control"), {
+			_tag: "Complete",
+			occurrenceId,
+			receipt,
+			nowMillis: 130
+		});
+		const staleControl = yield* store.change(key("stale-control"), {
+			_tag: "Control",
+			expectedRevision: 1,
+			expectedVersion: 1,
+			action: "resume",
+			nextAtMillis: 100,
+			nowMillis: 140,
+			skippedRange: null
+		}).pipe(Effect.result);
+		yield* ensure(Result.isFailure(staleControl) && staleControl.failure._tag === "ScheduleConflict", "stale control did not conflict");
+		const afterControl = yield* store.get(key("stale-control"));
+		yield* ensure(afterControl?.nextAtMillis === null, "stale control revived a completed one-shot");
+		yield* ensure(afterControl?.version === completed.version && afterControl.lastReceipt !== null, "stale control changed completed state");
+	}))
+];
+//#endregion
+export { ScheduleStoreConformanceViolation, scheduleStoreConformanceCases };
+
+//# sourceMappingURL=ScheduleStoreConformance.mjs.map

package/dist/durable/ScheduleStoreConformance.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"ScheduleStoreConformance.mjs","names":[],"sources":["../../src/durable/ScheduleStoreConformance.ts"],"sourcesContent":["import { Effect, Result, Schema } from \"effect\";\n\nimport { AgentId, ThreadId, ReceiptId, SubmissionId } from \"../core/Identifiers.ts\";\nimport { Receipt } from \"./DurableAgentRuntime.ts\";\nimport { DefinitionDigests, Digest, type PersistedJson } from \"./Records.ts\";\nimport {\n  ScheduleCapacityError,\n  ScheduleId,\n  type ScheduleKey,\n  type ScheduleRecord,\n  ScheduleStore,\n  type ScheduleStoreFailure,\n} from \"./Schedule.ts\";\nimport { IdempotencyKey, Principal, QueueSequence } from \"./SubmissionLedger.ts\";\n\nexport class ScheduleStoreConformanceViolation extends Schema.TaggedError<ScheduleStoreConformanceViolation>()(\n  \"ScheduleStoreConformanceViolation\",\n  { caseName: Schema.String, message: Schema.String },\n) {}\n\nexport type ScheduleStoreConformanceFailure =\n  | ScheduleStoreFailure\n  | ScheduleStoreConformanceViolation;\n\nexport interface ScheduleStoreConformanceCase {\n  readonly name: string;\n  readonly run: Effect.Effect<void, ScheduleStoreConformanceFailure, ScheduleStore>;\n}\n\nconst id = Schema.decodeSync(ScheduleId);\nconst principal = Schema.decodeSync(Principal)(\"schedule-conformance-principal\");\nconst agentId = Schema.decodeSync(AgentId)(\"schedule-conformance-agent\");\nconst threadId = Schema.decodeSync(ThreadId)(\"schedule-conformance-thread\");\nconst digest = Schema.decodeSync(Digest)(\"d\".repeat(64));\nconst definitions = DefinitionDigests.make({ agent: digest, model: digest, tools: digest });\n\nconst key = (name: string, ownerId = \"owner\"): ScheduleKey => ({\n  owner: { tenantId: \"schedule-conformance-tenant\", ownerId },\n  scheduleId: id(name),\n});\n\nconst record = (\n  name: string,\n  input: PersistedJson = { value: name },\n  ownerId = \"owner\",\n): ScheduleRecord => ({\n  schemaVersion: 1,\n  ...key(name, ownerId),\n  creationFingerprint: Schema.decodeSync(Digest)(\"a\".repeat(64)),\n  createdBy: principal,\n  createdAtMillis: 1,\n  updatedAtMillis: 1,\n  configurationRevision: 1,\n  version: 1,\n  configuration: {\n    timing: { _tag: \"At\", atMillis: 100 },\n    destination: { _tag: \"ExistingThread\", threadId },\n    deliveryPrincipal: principal,\n    agentId,\n    definitions,\n    input,\n    inputDigest: digest,\n  },\n  state: \"active\",\n  nextAtMillis: 100,\n  pending: null,\n  lastReceipt: null,\n  lastRefusal: null,\n  lastSkippedRange: null,\n});\n\nconst pendingRecord = (name: string): ScheduleRecord => {\n  const base = record(name);\n  const occurrenceId = Schema.decodeSync(Digest)(\"e\".repeat(64));\n\n  return {\n    ...base,\n    nextAtMillis: null,\n    pending: {\n      envelope: {\n        schemaVersion: 1,\n        ...key(name),\n        configurationRevision: 1,\n        intendedAtMillis: 100,\n        preparedAtMillis: 110,\n        occurrenceId,\n        threadId,\n        deliveryPrincipal: principal,\n        agentId,\n        definitions,\n        input: base.configuration.input,\n        inputDigest: digest,\n        admissionKey: Schema.decodeSync(IdempotencyKey)(`schedule:${name}`),\n        authorization: { policyId: \"policy\", decisionId: \"decision\" },\n      },\n      retry: {\n        generation: 0,\n        attempts: 0,\n        automaticAttempts: 0,\n        parked: false,\n        nextAttemptAtMillis: 120,\n        lastAttemptAtMillis: null,\n        lastFailure: null,\n      },\n    },\n  };\n};\n\nconst receipt = Receipt.make({\n  receiptId: Schema.decodeSync(ReceiptId)(\"schedule-conformance-receipt\"),\n  submissionId: Schema.decodeSync(SubmissionId)(\"schedule-conformance-submission\"),\n  threadId,\n  queueSequence: Schema.decodeSync(QueueSequence)(1),\n});\n\nconst conformanceCase = (\n  name: string,\n  run: (\n    ensure: (\n      condition: boolean,\n      message: string,\n    ) => Effect.Effect<void, ScheduleStoreConformanceViolation>,\n  ) => Effect.Effect<void, ScheduleStoreConformanceFailure, ScheduleStore>,\n): ScheduleStoreConformanceCase => ({\n  name,\n  run: run((condition, message) =>\n    condition\n      ? Effect.void\n      : Effect.fail(ScheduleStoreConformanceViolation.make({ caseName: name, message })),\n  ).pipe(Effect.withSpan(`ScheduleStoreConformance.${name}`)),\n});\n\nconst creationReplay = conformanceCase(\n  \"returns the current record when creation replays after an edit\",\n  (ensure) =>\n    Effect.gen(function* () {\n      const store = yield* ScheduleStore;\n      const original = record(\"creation-replay\");\n\n      yield* store.insert(original, 10);\n\n      const edited = yield* store.change(key(\"creation-replay\"), {\n        _tag: \"Update\",\n        expectedRevision: 1,\n        configuration: {\n          ...original.configuration,\n          input: { value: \"edited\" },\n        },\n        nextAtMillis: 200,\n        nowMillis: 10,\n      });\n\n      const replayed = yield* store.insert(original, 10);\n\n      yield* ensure(replayed.version === edited.version, \"creation replay returned stale state\");\n      yield* ensure(\n        replayed.configurationRevision === 2,\n        \"creation replay lost the edited configuration revision\",\n      );\n      yield* ensure(\n        JSON.stringify(replayed.configuration.input) === JSON.stringify({ value: \"edited\" }),\n        \"creation replay returned the original input\",\n      );\n    }),\n);\n\nconst staleCompletion = conformanceCase(\n  \"makes stale completions and retry regressions full no-ops\",\n  (ensure) =>\n    Effect.gen(function* () {\n      const store = yield* ScheduleStore;\n      const original = pendingRecord(\"stale-completion\");\n\n      yield* store.insert(original, 10);\n\n      const stale = yield* store.change(key(\"stale-completion\"), {\n        _tag: \"Complete\",\n        occurrenceId: Schema.decodeSync(Digest)(\"f\".repeat(64)),\n        receipt,\n        nowMillis: 130,\n      });\n\n      yield* ensure(stale.version === original.version, \"stale completion changed the version\");\n      yield* ensure(stale.pending !== null, \"stale completion cleared pending work\");\n      yield* ensure(stale.lastReceipt === null, \"stale completion changed bounded status\");\n\n      const advanced = yield* store.change(key(\"stale-completion\"), {\n        _tag: \"Retry\",\n        occurrenceId: original.pending?.envelope.occurrenceId ?? digest,\n        retry: {\n          generation: 0,\n          automaticAttempts: 0,\n          parked: false,\n          attempts: 2,\n          nextAttemptAtMillis: 500,\n          lastAttemptAtMillis: 200,\n          lastFailure: \"transport\",\n        },\n        nowMillis: 200,\n      });\n\n      const regressed = yield* store.change(key(\"stale-completion\"), {\n        _tag: \"Retry\",\n        occurrenceId: original.pending?.envelope.occurrenceId ?? digest,\n        retry: {\n          generation: 0,\n          automaticAttempts: 0,\n          parked: false,\n          attempts: 1,\n          nextAttemptAtMillis: 300,\n          lastAttemptAtMillis: 150,\n          lastFailure: \"timeout\",\n        },\n        nowMillis: 210,\n      });\n\n      yield* ensure(regressed.version === advanced.version, \"retry regression changed the version\");\n      yield* ensure(\n        regressed.pending?.retry.nextAttemptAtMillis === 500,\n        \"retry regression moved the deadline backward\",\n      );\n    }),\n);\n\nconst isolationAndCloning = conformanceCase(\n  \"isolates owner pages, prioritizes pending deadlines, and clones writes\",\n  (ensure) =>\n    Effect.gen(function* () {\n      const store = yield* ScheduleStore;\n      const mutableInput = { value: \"before\" };\n\n      yield* store.insert(record(\"z-page\", mutableInput), 10);\n      mutableInput.value = \"after\";\n      yield* store.insert(record(\"a-page\"), 10);\n      yield* store.insert(pendingRecord(\"pending-first\"), 10);\n      yield* store.insert(record(\"foreign\", { value: \"foreign\" }, \"other-owner\"), 10);\n\n      const page = yield* store.list({ owner: key(\"ignored\").owner, limit: 2 });\n\n      yield* ensure(page.items.length === 2, \"owner page returned the wrong item count\");\n      yield* ensure(page.items[0]?.scheduleId === id(\"a-page\"), \"owner page order is unstable\");\n      yield* ensure(page.next === id(\"pending-first\"), \"owner page cursor is not its last item\");\n      yield* ensure(\n        page.items.every((item) => item.owner.ownerId === \"owner\"),\n        \"owner page leaked a foreign owner\",\n      );\n\n      const stored = yield* store.get(key(\"z-page\"));\n\n      yield* ensure(\n        JSON.stringify(stored?.configuration.input) === JSON.stringify({ value: \"before\" }),\n        \"caller mutation changed the authoritative stored input\",\n      );\n      const due = yield* store.due(150, 10, key(\"ignored\").owner);\n\n      yield* ensure(\n        due[0]?.scheduleId === id(\"a-page\") || due[0]?.scheduleId === id(\"z-page\"),\n        \"due ordering did not use the earliest deadline\",\n      );\n      yield* ensure(\n        due.some((item) => item.scheduleId === id(\"pending-first\")),\n        \"due query omitted pending recovery\",\n      );\n    }),\n);\n\nconst ownerCapacity = conformanceCase(\n  \"enforces owner capacity without affecting other owners\",\n  (ensure) =>\n    Effect.gen(function* () {\n      const store = yield* ScheduleStore;\n\n      yield* store.insert(record(\"capacity-one\", { value: 1 }, \"capacity-owner\"), 1);\n\n      const attempted = yield* store\n        .insert(record(\"capacity-two\", { value: 2 }, \"capacity-owner\"), 1)\n        .pipe(Effect.result);\n\n      yield* ensure(\n        Result.isFailure(attempted) && attempted.failure instanceof ScheduleCapacityError,\n        \"owner capacity did not fail with ScheduleCapacityError\",\n      );\n\n      const other = yield* store.insert(\n        record(\"capacity-other\", { value: 3 }, \"capacity-other\"),\n        1,\n      );\n\n      yield* ensure(other.scheduleId === id(\"capacity-other\"), \"capacity leaked across owners\");\n    }),\n);\n\nconst retainedEvidence = conformanceCase(\n  \"releases terminal capacity without deleting replay evidence and fences reactivation\",\n  (ensure) =>\n    Effect.gen(function* () {\n      const store = yield* ScheduleStore;\n      const original = pendingRecord(\"capacity-retained\");\n\n      yield* store.insert(original, 1);\n\n      const paused = yield* store.change(original, {\n        _tag: \"Control\",\n        expectedRevision: 1,\n        expectedVersion: original.version,\n        action: \"pause\",\n        nextAtMillis: null,\n        nowMillis: 120,\n        skippedRange: null,\n      });\n\n      const cancelled = yield* store.change(original, {\n        _tag: \"Control\",\n        expectedRevision: 1,\n        expectedVersion: paused.version,\n        action: \"cancel\",\n        nextAtMillis: null,\n        nowMillis: 130,\n        skippedRange: null,\n      });\n\n      const blocked = yield* store.insert(record(\"capacity-next\"), 1).pipe(Effect.result);\n\n      yield* ensure(\n        Result.isFailure(blocked) && blocked.failure._tag === \"ScheduleCapacityError\",\n        \"cancellation released unresolved pending capacity\",\n      );\n\n      const parked = yield* store.change(original, {\n        _tag: \"Retry\",\n        occurrenceId: original.pending?.envelope.occurrenceId ?? digest,\n        retry: {\n          generation: 0,\n          attempts: 3,\n          automaticAttempts: 3,\n          parked: true,\n          nextAttemptAtMillis: 140,\n          lastAttemptAtMillis: 130,\n          lastFailure: \"transport\",\n        },\n        nowMillis: 130,\n      });\n\n      yield* ensure(\n        (yield* store.due(140, 10, original.owner)).length === 0,\n        \"Parked work must not retry automatically\",\n      );\n\n      const recovered = yield* store.change(original, {\n        _tag: \"Recover\",\n        expectedGeneration: 0,\n        expectedRevision: parked.configurationRevision,\n        occurrenceId: original.pending?.envelope.occurrenceId ?? digest,\n        nowMillis: 140,\n      });\n\n      yield* ensure(\n        recovered.state === \"cancelled\" &&\n          recovered.pending?.retry.automaticAttempts === 0 &&\n          recovered.pending.retry.attempts === 3 &&\n          recovered.pending.retry.parked === false &&\n          JSON.stringify(recovered.pending.envelope) === JSON.stringify(original.pending?.envelope),\n        \"Explicit recovery must preserve cancelled pending identity and total attempts\",\n      );\n\n      const staleRetry = yield* store.change(original, {\n        _tag: \"Retry\",\n        occurrenceId: original.pending?.envelope.occurrenceId ?? digest,\n        retry: {\n          generation: 0,\n          attempts: 99,\n          automaticAttempts: 99,\n          parked: true,\n          nextAttemptAtMillis: 150,\n          lastAttemptAtMillis: 145,\n          lastFailure: \"transport\",\n        },\n        nowMillis: 145,\n      });\n\n      yield* ensure(\n        JSON.stringify(staleRetry) === JSON.stringify(recovered),\n        \"A pre-recovery retry consumed the new generation\",\n      );\n\n      const repeatedRecovery = yield* store.change(original, {\n        _tag: \"Recover\",\n        expectedGeneration: 0,\n        expectedRevision: recovered.configurationRevision,\n        occurrenceId: original.pending?.envelope.occurrenceId ?? digest,\n        nowMillis: 146,\n      });\n\n      yield* ensure(\n        JSON.stringify(repeatedRecovery) === JSON.stringify(recovered),\n        \"A repeated recovery changed its original generation\",\n      );\n\n      const completed = yield* store.change(original, {\n        _tag: \"Complete\",\n        occurrenceId: original.pending?.envelope.occurrenceId ?? digest,\n        receipt,\n        nowMillis: 140,\n      });\n\n      yield* ensure(\n        completed.pending === null && cancelled.pending !== null,\n        \"completion did not clear pending work\",\n      );\n      yield* store.insert(record(\"capacity-next\"), 1);\n      const replay = yield* store.insert(original, 1);\n\n      yield* ensure(\n        replay.version === completed.version && replay.state === \"cancelled\",\n        \"terminal replay lost its creation evidence\",\n      );\n\n      const second = record(\"capacity-next\");\n\n      const pausedSecond = yield* store.change(second, {\n        _tag: \"Control\",\n        expectedRevision: 1,\n        expectedVersion: second.version,\n        action: \"pause\",\n        nextAtMillis: second.nextAtMillis,\n        nowMillis: 150,\n        skippedRange: null,\n      });\n\n      const pausedCapacity = yield* store.insert(record(\"capacity-third\"), 1).pipe(Effect.result);\n\n      yield* ensure(\n        Result.isFailure(pausedCapacity) && pausedCapacity.failure._tag === \"ScheduleCapacityError\",\n        \"paused future work did not reserve capacity\",\n      );\n      yield* store.change(second, {\n        _tag: \"Control\",\n        expectedRevision: 1,\n        expectedVersion: pausedSecond.version,\n        action: \"cancel\",\n        nextAtMillis: null,\n        nowMillis: 160,\n        skippedRange: null,\n      });\n      const admitted = pendingRecord(\"capacity-completed\");\n\n      yield* store.insert(admitted, 1);\n\n      const settled = yield* store.change(admitted, {\n        _tag: \"Complete\",\n        occurrenceId: admitted.pending?.envelope.occurrenceId ?? digest,\n        receipt,\n        nowMillis: 170,\n      });\n\n      yield* store.insert(record(\"capacity-third\"), 1);\n\n      const reactivated = yield* store\n        .change(\n          admitted,\n          {\n            _tag: \"Update\",\n            expectedRevision: 1,\n            configuration: admitted.configuration,\n            nextAtMillis: 200,\n            nowMillis: 180,\n          },\n          1,\n        )\n        .pipe(Effect.result);\n\n      yield* ensure(\n        Result.isFailure(reactivated) && reactivated.failure._tag === \"ScheduleCapacityError\",\n        \"reactivation exceeded operational capacity\",\n      );\n      yield* ensure(\n        (yield* store.get(admitted))?.version === settled.version,\n        \"capacity failure mutated the completed record\",\n      );\n    }),\n);\n\nconst duePagination = conformanceCase(\n  \"advances due pagination beyond unchanged rows with equal deadlines\",\n  (ensure) =>\n    Effect.gen(function* () {\n      const store = yield* ScheduleStore;\n\n      for (const name of [\"due-a\", \"due-b\", \"due-c\"]) yield* store.insert(record(name), 10);\n      const first = yield* store.due(100, 1);\n      const second = yield* store.due(100, 1, undefined, first[0]);\n      const third = yield* store.due(100, 1, undefined, second[0]);\n\n      yield* ensure(\n        first[0]?.scheduleId === id(\"due-a\") &&\n          second[0]?.scheduleId === id(\"due-b\") &&\n          third[0]?.scheduleId === id(\"due-c\"),\n        \"due pages repeated or skipped a key\",\n      );\n      yield* ensure(\n        (yield* store.due(100, 1, undefined, third[0])).length === 0,\n        \"due cursor did not terminate\",\n      );\n    }),\n);\n\nconst transitionFencing = conformanceCase(\n  \"fences stale preparation and control while preserving frozen pending work\",\n  (ensure) =>\n    Effect.gen(function* () {\n      const store = yield* ScheduleStore;\n\n      const prepareOriginal = record(\"stale-prepare\");\n\n      yield* store.insert(prepareOriginal, 10);\n\n      const edited = yield* store.change(key(\"stale-prepare\"), {\n        _tag: \"Update\",\n        expectedRevision: 1,\n        configuration: {\n          ...prepareOriginal.configuration,\n          timing: { _tag: \"At\", atMillis: 200 },\n          input: { value: \"edited-before-prepare\" },\n        },\n        nextAtMillis: 200,\n        nowMillis: 10,\n      });\n\n      const staleEnvelope = pendingRecord(\"stale-prepare\").pending?.envelope;\n\n      if (staleEnvelope === undefined) {\n        return yield* ScheduleStoreConformanceViolation.make({\n          caseName: \"fences stale preparation and control while preserving frozen pending work\",\n          message: \"fixture did not contain a pending envelope\",\n        });\n      }\n\n      const stalePrepare = yield* store\n        .change(key(\"stale-prepare\"), {\n          _tag: \"Prepare\",\n          expectedRevision: 1,\n          expectedCursor: 100,\n          envelope: staleEnvelope,\n          nextAtMillis: null,\n          skippedRange: null,\n          nowMillis: 110,\n        })\n        .pipe(Effect.result);\n\n      yield* ensure(\n        Result.isFailure(stalePrepare) && stalePrepare.failure._tag === \"ScheduleConflict\",\n        \"stale preparation did not conflict\",\n      );\n      yield* ensure(\n        JSON.stringify(yield* store.get(key(\"stale-prepare\"))) === JSON.stringify(edited),\n        \"stale preparation changed the edited record\",\n      );\n\n      const frozen = pendingRecord(\"pending-update\");\n\n      yield* store.insert(frozen, 10);\n      const frozenEnvelope = JSON.stringify(frozen.pending?.envelope);\n\n      const updatedPending = yield* store.change(key(\"pending-update\"), {\n        _tag: \"Update\",\n        expectedRevision: 1,\n        configuration: {\n          ...frozen.configuration,\n          timing: { _tag: \"At\", atMillis: 300 },\n          input: { value: \"new-configuration\" },\n        },\n        nextAtMillis: 300,\n        nowMillis: 20,\n      });\n\n      yield* ensure(\n        JSON.stringify(updatedPending.pending?.envelope) === frozenEnvelope,\n        \"configuration update changed the frozen pending envelope\",\n      );\n\n      const completedOriginal = pendingRecord(\"stale-control\");\n\n      yield* store.insert(completedOriginal, 10);\n      const occurrenceId = completedOriginal.pending?.envelope.occurrenceId;\n\n      if (occurrenceId === undefined) {\n        return yield* ScheduleStoreConformanceViolation.make({\n          caseName: \"fences stale preparation and control while preserving frozen pending work\",\n          message: \"fixture did not contain an occurrence identifier\",\n        });\n      }\n\n      const completed = yield* store.change(key(\"stale-control\"), {\n        _tag: \"Complete\",\n        occurrenceId,\n        receipt,\n        nowMillis: 130,\n      });\n\n      const staleControl = yield* store\n        .change(key(\"stale-control\"), {\n          _tag: \"Control\",\n          expectedRevision: 1,\n          expectedVersion: 1,\n          action: \"resume\",\n          nextAtMillis: 100,\n          nowMillis: 140,\n          skippedRange: null,\n        })\n        .pipe(Effect.result);\n\n      yield* ensure(\n        Result.isFailure(staleControl) && staleControl.failure._tag === \"ScheduleConflict\",\n        \"stale control did not conflict\",\n      );\n      const afterControl = yield* store.get(key(\"stale-control\"));\n\n      yield* ensure(\n        afterControl?.nextAtMillis === null,\n        \"stale control revived a completed one-shot\",\n      );\n      yield* ensure(\n        afterControl?.version === completed.version && afterControl.lastReceipt !== null,\n        \"stale control changed completed state\",\n      );\n    }),\n);\n\n/** Adapter-neutral contract cases. Each case uses disjoint owner and Schedule identities. */\nexport const scheduleStoreConformanceCases: ReadonlyArray<ScheduleStoreConformanceCase> = [\n  creationReplay,\n  staleCompletion,\n  isolationAndCloning,\n  ownerCapacity,\n  retainedEvidence,\n  duePagination,\n  transitionFencing,\n];\n"],"mappings":";;;;;;AAeA,IAAa,oCAAb,cAAuD,OAAO,YAA+C,CAAC,CAC5G,qCACA;CAAE,UAAU,OAAO;CAAQ,SAAS,OAAO;AAAO,CACpD,CAAC,CAAC,CAAC;AAWH,MAAM,KAAK,OAAO,WAAW,UAAU;AACvC,MAAM,YAAY,OAAO,WAAW,SAAS,CAAC,CAAC,gCAAgC;AAC/E,MAAM,UAAU,OAAO,WAAW,OAAO,CAAC,CAAC,4BAA4B;AACvE,MAAM,WAAW,OAAO,WAAW,QAAQ,CAAC,CAAC,6BAA6B;AAC1E,MAAM,SAAS,OAAO,WAAW,MAAM,CAAC,CAAC,IAAI,OAAO,EAAE,CAAC;AACvD,MAAM,cAAc,kBAAkB,KAAK;CAAE,OAAO;CAAQ,OAAO;CAAQ,OAAO;AAAO,CAAC;AAE1F,MAAM,OAAO,MAAc,UAAU,aAA0B;CAC7D,OAAO;EAAE,UAAU;EAA+B;CAAQ;CAC1D,YAAY,GAAG,IAAI;AACrB;AAEA,MAAM,UACJ,MACA,QAAuB,EAAE,OAAO,KAAK,GACrC,UAAU,aACU;CACpB,eAAe;CACf,GAAG,IAAI,MAAM,OAAO;CACpB,qBAAqB,OAAO,WAAW,MAAM,CAAC,CAAC,IAAI,OAAO,EAAE,CAAC;CAC7D,WAAW;CACX,iBAAiB;CACjB,iBAAiB;CACjB,uBAAuB;CACvB,SAAS;CACT,eAAe;EACb,QAAQ;GAAE,MAAM;GAAM,UAAU;EAAI;EACpC,aAAa;GAAE,MAAM;GAAkB;EAAS;EAChD,mBAAmB;EACnB;EACA;EACA;EACA,aAAa;CACf;CACA,OAAO;CACP,cAAc;CACd,SAAS;CACT,aAAa;CACb,aAAa;CACb,kBAAkB;AACpB;AAEA,MAAM,iBAAiB,SAAiC;CACtD,MAAM,OAAO,OAAO,IAAI;CACxB,MAAM,eAAe,OAAO,WAAW,MAAM,CAAC,CAAC,IAAI,OAAO,EAAE,CAAC;CAE7D,OAAO;EACL,GAAG;EACH,cAAc;EACd,SAAS;GACP,UAAU;IACR,eAAe;IACf,GAAG,IAAI,IAAI;IACX,uBAAuB;IACvB,kBAAkB;IAClB,kBAAkB;IAClB;IACA;IACA,mBAAmB;IACnB;IACA;IACA,OAAO,KAAK,cAAc;IAC1B,aAAa;IACb,cAAc,OAAO,WAAW,cAAc,CAAC,CAAC,YAAY,MAAM;IAClE,eAAe;KAAE,UAAU;KAAU,YAAY;IAAW;GAC9D;GACA,OAAO;IACL,YAAY;IACZ,UAAU;IACV,mBAAmB;IACnB,QAAQ;IACR,qBAAqB;IACrB,qBAAqB;IACrB,aAAa;GACf;EACF;CACF;AACF;AAEA,MAAM,UAAU,QAAQ,KAAK;CAC3B,WAAW,OAAO,WAAW,SAAS,CAAC,CAAC,8BAA8B;CACtE,cAAc,OAAO,WAAW,YAAY,CAAC,CAAC,iCAAiC;CAC/E;CACA,eAAe,OAAO,WAAW,aAAa,CAAC,CAAC,CAAC;AACnD,CAAC;AAED,MAAM,mBACJ,MACA,SAMkC;CAClC;CACA,KAAK,KAAK,WAAW,YACnB,YACI,OAAO,OACP,OAAO,KAAK,kCAAkC,KAAK;EAAE,UAAU;EAAM;CAAQ,CAAC,CAAC,CACrF,CAAC,CAAC,KAAK,OAAO,SAAS,4BAA4B,MAAM,CAAC;AAC5D;;AAmfA,MAAa,gCAA6E;CAjfnE,gBACrB,mEACC,WACC,OAAO,IAAI,aAAa;EACtB,MAAM,QAAQ,OAAO;EACrB,MAAM,WAAW,OAAO,iBAAiB;EAEzC,OAAO,MAAM,OAAO,UAAU,EAAE;EAEhC,MAAM,SAAS,OAAO,MAAM,OAAO,IAAI,iBAAiB,GAAG;GACzD,MAAM;GACN,kBAAkB;GAClB,eAAe;IACb,GAAG,SAAS;IACZ,OAAO,EAAE,OAAO,SAAS;GAC3B;GACA,cAAc;GACd,WAAW;EACb,CAAC;EAED,MAAM,WAAW,OAAO,MAAM,OAAO,UAAU,EAAE;EAEjD,OAAO,OAAO,SAAS,YAAY,OAAO,SAAS,sCAAsC;EACzF,OAAO,OACL,SAAS,0BAA0B,GACnC,wDACF;EACA,OAAO,OACL,KAAK,UAAU,SAAS,cAAc,KAAK,MAAM,KAAK,UAAU,EAAE,OAAO,SAAS,CAAC,GACnF,6CACF;CACF,CAAC,CAmdH;CAhdsB,gBACtB,8DACC,WACC,OAAO,IAAI,aAAa;EACtB,MAAM,QAAQ,OAAO;EACrB,MAAM,WAAW,cAAc,kBAAkB;EAEjD,OAAO,MAAM,OAAO,UAAU,EAAE;EAEhC,MAAM,QAAQ,OAAO,MAAM,OAAO,IAAI,kBAAkB,GAAG;GACzD,MAAM;GACN,cAAc,OAAO,WAAW,MAAM,CAAC,CAAC,IAAI,OAAO,EAAE,CAAC;GACtD;GACA,WAAW;EACb,CAAC;EAED,OAAO,OAAO,MAAM,YAAY,SAAS,SAAS,sCAAsC;EACxF,OAAO,OAAO,MAAM,YAAY,MAAM,uCAAuC;EAC7E,OAAO,OAAO,MAAM,gBAAgB,MAAM,yCAAyC;EAEnF,MAAM,WAAW,OAAO,MAAM,OAAO,IAAI,kBAAkB,GAAG;GAC5D,MAAM;GACN,cAAc,SAAS,SAAS,SAAS,gBAAgB;GACzD,OAAO;IACL,YAAY;IACZ,mBAAmB;IACnB,QAAQ;IACR,UAAU;IACV,qBAAqB;IACrB,qBAAqB;IACrB,aAAa;GACf;GACA,WAAW;EACb,CAAC;EAED,MAAM,YAAY,OAAO,MAAM,OAAO,IAAI,kBAAkB,GAAG;GAC7D,MAAM;GACN,cAAc,SAAS,SAAS,SAAS,gBAAgB;GACzD,OAAO;IACL,YAAY;IACZ,mBAAmB;IACnB,QAAQ;IACR,UAAU;IACV,qBAAqB;IACrB,qBAAqB;IACrB,aAAa;GACf;GACA,WAAW;EACb,CAAC;EAED,OAAO,OAAO,UAAU,YAAY,SAAS,SAAS,sCAAsC;EAC5F,OAAO,OACL,UAAU,SAAS,MAAM,wBAAwB,KACjD,8CACF;CACF,CAAC,CA0ZH;CAvZ0B,gBAC1B,2EACC,WACC,OAAO,IAAI,aAAa;EACtB,MAAM,QAAQ,OAAO;EACrB,MAAM,eAAe,EAAE,OAAO,SAAS;EAEvC,OAAO,MAAM,OAAO,OAAO,UAAU,YAAY,GAAG,EAAE;EACtD,aAAa,QAAQ;EACrB,OAAO,MAAM,OAAO,OAAO,QAAQ,GAAG,EAAE;EACxC,OAAO,MAAM,OAAO,cAAc,eAAe,GAAG,EAAE;EACtD,OAAO,MAAM,OAAO,OAAO,WAAW,EAAE,OAAO,UAAU,GAAG,aAAa,GAAG,EAAE;EAE9E,MAAM,OAAO,OAAO,MAAM,KAAK;GAAE,OAAO,IAAI,SAAS,CAAC,CAAC;GAAO,OAAO;EAAE,CAAC;EAExE,OAAO,OAAO,KAAK,MAAM,WAAW,GAAG,0CAA0C;EACjF,OAAO,OAAO,KAAK,MAAM,EAAE,EAAE,eAAe,GAAG,QAAQ,GAAG,8BAA8B;EACxF,OAAO,OAAO,KAAK,SAAS,GAAG,eAAe,GAAG,wCAAwC;EACzF,OAAO,OACL,KAAK,MAAM,OAAO,SAAS,KAAK,MAAM,YAAY,OAAO,GACzD,mCACF;EAEA,MAAM,SAAS,OAAO,MAAM,IAAI,IAAI,QAAQ,CAAC;EAE7C,OAAO,OACL,KAAK,UAAU,QAAQ,cAAc,KAAK,MAAM,KAAK,UAAU,EAAE,OAAO,SAAS,CAAC,GAClF,wDACF;EACA,MAAM,MAAM,OAAO,MAAM,IAAI,KAAK,IAAI,IAAI,SAAS,CAAC,CAAC,KAAK;EAE1D,OAAO,OACL,IAAI,EAAE,EAAE,eAAe,GAAG,QAAQ,KAAK,IAAI,EAAE,EAAE,eAAe,GAAG,QAAQ,GACzE,gDACF;EACA,OAAO,OACL,IAAI,MAAM,SAAS,KAAK,eAAe,GAAG,eAAe,CAAC,GAC1D,oCACF;CACF,CAAC,CAiXH;CA9WoB,gBACpB,2DACC,WACC,OAAO,IAAI,aAAa;EACtB,MAAM,QAAQ,OAAO;EAErB,OAAO,MAAM,OAAO,OAAO,gBAAgB,EAAE,OAAO,EAAE,GAAG,gBAAgB,GAAG,CAAC;EAE7E,MAAM,YAAY,OAAO,MACtB,OAAO,OAAO,gBAAgB,EAAE,OAAO,EAAE,GAAG,gBAAgB,GAAG,CAAC,CAAC,CACjE,KAAK,OAAO,MAAM;EAErB,OAAO,OACL,OAAO,UAAU,SAAS,KAAK,UAAU,mBAAmB,uBAC5D,wDACF;EAOA,OAAO,QAAO,OALO,MAAM,OACzB,OAAO,kBAAkB,EAAE,OAAO,EAAE,GAAG,gBAAgB,GACvD,CACF,EAAA,CAEoB,eAAe,GAAG,gBAAgB,GAAG,+BAA+B;CAC1F,CAAC,CAwVH;CArVuB,gBACvB,wFACC,WACC,OAAO,IAAI,aAAa;EACtB,MAAM,QAAQ,OAAO;EACrB,MAAM,WAAW,cAAc,mBAAmB;EAElD,OAAO,MAAM,OAAO,UAAU,CAAC;EAE/B,MAAM,SAAS,OAAO,MAAM,OAAO,UAAU;GAC3C,MAAM;GACN,kBAAkB;GAClB,iBAAiB,SAAS;GAC1B,QAAQ;GACR,cAAc;GACd,WAAW;GACX,cAAc;EAChB,CAAC;EAED,MAAM,YAAY,OAAO,MAAM,OAAO,UAAU;GAC9C,MAAM;GACN,kBAAkB;GAClB,iBAAiB,OAAO;GACxB,QAAQ;GACR,cAAc;GACd,WAAW;GACX,cAAc;EAChB,CAAC;EAED,MAAM,UAAU,OAAO,MAAM,OAAO,OAAO,eAAe,GAAG,CAAC,CAAC,CAAC,KAAK,OAAO,MAAM;EAElF,OAAO,OACL,OAAO,UAAU,OAAO,KAAK,QAAQ,QAAQ,SAAS,yBACtD,mDACF;EAEA,MAAM,SAAS,OAAO,MAAM,OAAO,UAAU;GAC3C,MAAM;GACN,cAAc,SAAS,SAAS,SAAS,gBAAgB;GACzD,OAAO;IACL,YAAY;IACZ,UAAU;IACV,mBAAmB;IACnB,QAAQ;IACR,qBAAqB;IACrB,qBAAqB;IACrB,aAAa;GACf;GACA,WAAW;EACb,CAAC;EAED,OAAO,QACJ,OAAO,MAAM,IAAI,KAAK,IAAI,SAAS,KAAK,EAAA,CAAG,WAAW,GACvD,0CACF;EAEA,MAAM,YAAY,OAAO,MAAM,OAAO,UAAU;GAC9C,MAAM;GACN,oBAAoB;GACpB,kBAAkB,OAAO;GACzB,cAAc,SAAS,SAAS,SAAS,gBAAgB;GACzD,WAAW;EACb,CAAC;EAED,OAAO,OACL,UAAU,UAAU,eAClB,UAAU,SAAS,MAAM,sBAAsB,KAC/C,UAAU,QAAQ,MAAM,aAAa,KACrC,UAAU,QAAQ,MAAM,WAAW,SACnC,KAAK,UAAU,UAAU,QAAQ,QAAQ,MAAM,KAAK,UAAU,SAAS,SAAS,QAAQ,GAC1F,+EACF;EAEA,MAAM,aAAa,OAAO,MAAM,OAAO,UAAU;GAC/C,MAAM;GACN,cAAc,SAAS,SAAS,SAAS,gBAAgB;GACzD,OAAO;IACL,YAAY;IACZ,UAAU;IACV,mBAAmB;IACnB,QAAQ;IACR,qBAAqB;IACrB,qBAAqB;IACrB,aAAa;GACf;GACA,WAAW;EACb,CAAC;EAED,OAAO,OACL,KAAK,UAAU,UAAU,MAAM,KAAK,UAAU,SAAS,GACvD,kDACF;EAEA,MAAM,mBAAmB,OAAO,MAAM,OAAO,UAAU;GACrD,MAAM;GACN,oBAAoB;GACpB,kBAAkB,UAAU;GAC5B,cAAc,SAAS,SAAS,SAAS,gBAAgB;GACzD,WAAW;EACb,CAAC;EAED,OAAO,OACL,KAAK,UAAU,gBAAgB,MAAM,KAAK,UAAU,SAAS,GAC7D,qDACF;EAEA,MAAM,YAAY,OAAO,MAAM,OAAO,UAAU;GAC9C,MAAM;GACN,cAAc,SAAS,SAAS,SAAS,gBAAgB;GACzD;GACA,WAAW;EACb,CAAC;EAED,OAAO,OACL,UAAU,YAAY,QAAQ,UAAU,YAAY,MACpD,uCACF;EACA,OAAO,MAAM,OAAO,OAAO,eAAe,GAAG,CAAC;EAC9C,MAAM,SAAS,OAAO,MAAM,OAAO,UAAU,CAAC;EAE9C,OAAO,OACL,OAAO,YAAY,UAAU,WAAW,OAAO,UAAU,aACzD,4CACF;EAEA,MAAM,SAAS,OAAO,eAAe;EAErC,MAAM,eAAe,OAAO,MAAM,OAAO,QAAQ;GAC/C,MAAM;GACN,kBAAkB;GAClB,iBAAiB,OAAO;GACxB,QAAQ;GACR,cAAc,OAAO;GACrB,WAAW;GACX,cAAc;EAChB,CAAC;EAED,MAAM,iBAAiB,OAAO,MAAM,OAAO,OAAO,gBAAgB,GAAG,CAAC,CAAC,CAAC,KAAK,OAAO,MAAM;EAE1F,OAAO,OACL,OAAO,UAAU,cAAc,KAAK,eAAe,QAAQ,SAAS,yBACpE,6CACF;EACA,OAAO,MAAM,OAAO,QAAQ;GAC1B,MAAM;GACN,kBAAkB;GAClB,iBAAiB,aAAa;GAC9B,QAAQ;GACR,cAAc;GACd,WAAW;GACX,cAAc;EAChB,CAAC;EACD,MAAM,WAAW,cAAc,oBAAoB;EAEnD,OAAO,MAAM,OAAO,UAAU,CAAC;EAE/B,MAAM,UAAU,OAAO,MAAM,OAAO,UAAU;GAC5C,MAAM;GACN,cAAc,SAAS,SAAS,SAAS,gBAAgB;GACzD;GACA,WAAW;EACb,CAAC;EAED,OAAO,MAAM,OAAO,OAAO,gBAAgB,GAAG,CAAC;EAE/C,MAAM,cAAc,OAAO,MACxB,OACC,UACA;GACE,MAAM;GACN,kBAAkB;GAClB,eAAe,SAAS;GACxB,cAAc;GACd,WAAW;EACb,GACA,CACF,CAAC,CACA,KAAK,OAAO,MAAM;EAErB,OAAO,OACL,OAAO,UAAU,WAAW,KAAK,YAAY,QAAQ,SAAS,yBAC9D,4CACF;EACA,OAAO,QACJ,OAAO,MAAM,IAAI,QAAQ,EAAA,EAAI,YAAY,QAAQ,SAClD,+CACF;CACF,CAAC,CA2JH;CAxJoB,gBACpB,uEACC,WACC,OAAO,IAAI,aAAa;EACtB,MAAM,QAAQ,OAAO;EAErB,KAAK,MAAM,QAAQ;GAAC;GAAS;GAAS;EAAO,GAAG,OAAO,MAAM,OAAO,OAAO,IAAI,GAAG,EAAE;EACpF,MAAM,QAAQ,OAAO,MAAM,IAAI,KAAK,CAAC;EACrC,MAAM,SAAS,OAAO,MAAM,IAAI,KAAK,GAAG,KAAA,GAAW,MAAM,EAAE;EAC3D,MAAM,QAAQ,OAAO,MAAM,IAAI,KAAK,GAAG,KAAA,GAAW,OAAO,EAAE;EAE3D,OAAO,OACL,MAAM,EAAE,EAAE,eAAe,GAAG,OAAO,KACjC,OAAO,EAAE,EAAE,eAAe,GAAG,OAAO,KACpC,MAAM,EAAE,EAAE,eAAe,GAAG,OAAO,GACrC,qCACF;EACA,OAAO,QACJ,OAAO,MAAM,IAAI,KAAK,GAAG,KAAA,GAAW,MAAM,EAAE,EAAA,CAAG,WAAW,GAC3D,8BACF;CACF,CAAC,CAoIH;CAjIwB,gBACxB,8EACC,WACC,OAAO,IAAI,aAAa;EACtB,MAAM,QAAQ,OAAO;EAErB,MAAM,kBAAkB,OAAO,eAAe;EAE9C,OAAO,MAAM,OAAO,iBAAiB,EAAE;EAEvC,MAAM,SAAS,OAAO,MAAM,OAAO,IAAI,eAAe,GAAG;GACvD,MAAM;GACN,kBAAkB;GAClB,eAAe;IACb,GAAG,gBAAgB;IACnB,QAAQ;KAAE,MAAM;KAAM,UAAU;IAAI;IACpC,OAAO,EAAE,OAAO,wBAAwB;GAC1C;GACA,cAAc;GACd,WAAW;EACb,CAAC;EAED,MAAM,gBAAgB,cAAc,eAAe,CAAC,CAAC,SAAS;EAE9D,IAAI,kBAAkB,KAAA,GACpB,OAAO,OAAO,kCAAkC,KAAK;GACnD,UAAU;GACV,SAAS;EACX,CAAC;EAGH,MAAM,eAAe,OAAO,MACzB,OAAO,IAAI,eAAe,GAAG;GAC5B,MAAM;GACN,kBAAkB;GAClB,gBAAgB;GAChB,UAAU;GACV,cAAc;GACd,cAAc;GACd,WAAW;EACb,CAAC,CAAC,CACD,KAAK,OAAO,MAAM;EAErB,OAAO,OACL,OAAO,UAAU,YAAY,KAAK,aAAa,QAAQ,SAAS,oBAChE,oCACF;EACA,OAAO,OACL,KAAK,UAAU,OAAO,MAAM,IAAI,IAAI,eAAe,CAAC,CAAC,MAAM,KAAK,UAAU,MAAM,GAChF,6CACF;EAEA,MAAM,SAAS,cAAc,gBAAgB;EAE7C,OAAO,MAAM,OAAO,QAAQ,EAAE;EAC9B,MAAM,iBAAiB,KAAK,UAAU,OAAO,SAAS,QAAQ;EAE9D,MAAM,iBAAiB,OAAO,MAAM,OAAO,IAAI,gBAAgB,GAAG;GAChE,MAAM;GACN,kBAAkB;GAClB,eAAe;IACb,GAAG,OAAO;IACV,QAAQ;KAAE,MAAM;KAAM,UAAU;IAAI;IACpC,OAAO,EAAE,OAAO,oBAAoB;GACtC;GACA,cAAc;GACd,WAAW;EACb,CAAC;EAED,OAAO,OACL,KAAK,UAAU,eAAe,SAAS,QAAQ,MAAM,gBACrD,0DACF;EAEA,MAAM,oBAAoB,cAAc,eAAe;EAEvD,OAAO,MAAM,OAAO,mBAAmB,EAAE;EACzC,MAAM,eAAe,kBAAkB,SAAS,SAAS;EAEzD,IAAI,iBAAiB,KAAA,GACnB,OAAO,OAAO,kCAAkC,KAAK;GACnD,UAAU;GACV,SAAS;EACX,CAAC;EAGH,MAAM,YAAY,OAAO,MAAM,OAAO,IAAI,eAAe,GAAG;GAC1D,MAAM;GACN;GACA;GACA,WAAW;EACb,CAAC;EAED,MAAM,eAAe,OAAO,MACzB,OAAO,IAAI,eAAe,GAAG;GAC5B,MAAM;GACN,kBAAkB;GAClB,iBAAiB;GACjB,QAAQ;GACR,cAAc;GACd,WAAW;GACX,cAAc;EAChB,CAAC,CAAC,CACD,KAAK,OAAO,MAAM;EAErB,OAAO,OACL,OAAO,UAAU,YAAY,KAAK,aAAa,QAAQ,SAAS,oBAChE,gCACF;EACA,MAAM,eAAe,OAAO,MAAM,IAAI,IAAI,eAAe,CAAC;EAE1D,OAAO,OACL,cAAc,iBAAiB,MAC/B,4CACF;EACA,OAAO,OACL,cAAc,YAAY,UAAU,WAAW,aAAa,gBAAgB,MAC5E,uCACF;CACF,CAAC,CAWH;AACF"}

package/dist/durable/ScheduleTransition.d.mts

@@ -0,0 +1,24 @@
+import { C as ScheduleRecord, a as ScheduleChange, m as ScheduleKey, s as ScheduleConflict, y as ScheduleOwner } from "../Schedule-H3SEYX9g.mjs";
+import { Result } from "effect";
+declare namespace ScheduleTransition_d_exports {
+  export { applyScheduleChange, compareScheduleKeys, compareScheduleNames, scheduleDeadline, scheduleKeyOf, scheduleKeyString, scheduleOwnerKey, scheduleUsesCapacity };
+}
+declare const scheduleOwnerKey: (owner: ScheduleOwner) => string;
+declare const scheduleKeyString: (key: ScheduleKey) => string;
+/** Locale-independent Unicode scalar ordering, matching UTF-8/BINARY order for valid text. */
+declare const compareScheduleNames: (left: string, right: string) => number;
+declare const compareScheduleKeys: (left: ScheduleKey, right: ScheduleKey) => number;
+declare const scheduleKeyOf: (record: ScheduleRecord) => ScheduleKey;
+/** Pending recovery always outranks preparation, even after pause or cancellation. */
+declare const scheduleDeadline: (record: ScheduleRecord) => number | null;
+/** Paused work reserves capacity; terminal replay evidence does not. */
+declare const scheduleUsesCapacity: (record: ScheduleRecord) => boolean;
+/**
+ * The adapter-neutral local transaction reducer. Adapters call it only after decoding the row and
+ * command. A stale delivery completion returns the original record without changing even bounded
+ * status or the CAS version.
+ */
+declare const applyScheduleChange: (record: ScheduleRecord, change: ScheduleChange) => Result.Result<ScheduleRecord, ScheduleConflict>;
+//#endregion
+export { applyScheduleChange, compareScheduleKeys, compareScheduleNames, scheduleDeadline, scheduleKeyOf, scheduleKeyString, scheduleOwnerKey, scheduleUsesCapacity, ScheduleTransition_d_exports as t };
+//# sourceMappingURL=ScheduleTransition.d.mts.map