@effect-agent/storage-cloudflare 0.1.0-beta.114 → 0.1.0-beta.116

package/dist/DoMessageDeliveryStore.mjs

@@ -1,7 +1,7 @@
 import { t as __exportAll } from "./rolldown-runtime-D7D4PA-g.mjs";
 import { DoStorageConfig } from "./DoStorageConfig.mjs";
 import { DoStorageFailpoint } from "./DoStorageFailpoint.mjs";
-import { a as initializeDoJournal } from "./do-journal-BeHu8_Bh.mjs";
+import { a as initializeDoJournal } from "./do-journal-D65Iuln6.mjs";
 import { Effect, Layer } from "effect";
 import { MessageDeliveryError, MessageDeliveryStore } from "effect-agent/message-delivery";
 import { SqlMessageDeliveryTransaction, makeSqlMessageDeliveryStore } from "effect-agent/sql-message-delivery-store";

package/dist/{DoStorageVersion-Db6fjP-I.d.mts → DoStorageVersion-DJwZzqel.d.mts}

@@ -3,10 +3,10 @@ import "effect/unstable/sql/SqlClient";
 import { SqliteMigrator } from "@effect/sql-sqlite-do";
 //#region src/internal/migrations.d.ts
 /** The current storage version recorded in `effect_agent_meta`. */
-declare const CurrentDoStorageVersion = 7;
+declare const CurrentDoStorageVersion = 9;
 declare namespace DoStorageVersion_d_exports {
   export { CurrentDoStorageVersion };
 }
 //#endregion
 export { CurrentDoStorageVersion as n, DoStorageVersion_d_exports as t };
-//# sourceMappingURL=DoStorageVersion-Db6fjP-I.d.mts.map
+//# sourceMappingURL=DoStorageVersion-DJwZzqel.d.mts.map

package/dist/DoStorageVersion.d.mts

@@ -1,2 +1,2 @@
-import { n as CurrentDoStorageVersion } from "./DoStorageVersion-Db6fjP-I.mjs";
+import { n as CurrentDoStorageVersion } from "./DoStorageVersion-DJwZzqel.mjs";
 export { CurrentDoStorageVersion };

package/dist/DoStorageVersion.mjs

@@ -1,7 +1,7 @@
 import { t as __exportAll } from "./rolldown-runtime-D7D4PA-g.mjs";
-import { t as CurrentDoStorageVersion } from "./migrations-DZKTNU88.mjs";
+import { t as CurrentDoStorageVersion } from "./migrations-Br6QqMIf.mjs";
 //#region src/DoStorageVersion.ts
-var DoStorageVersion_exports = /* @__PURE__ */ __exportAll({ CurrentDoStorageVersion: () => 7 });
+var DoStorageVersion_exports = /* @__PURE__ */ __exportAll({ CurrentDoStorageVersion: () => 9 });
 //#endregion
 export { CurrentDoStorageVersion, DoStorageVersion_exports as t };
 

package/dist/DoSubmissionLedger.mjs

@@ -2,7 +2,7 @@ import { t as __exportAll } from "./rolldown-runtime-D7D4PA-g.mjs";
 import { DoStorageConfig } from "./DoStorageConfig.mjs";
 import { DoStorageFailpoint } from "./DoStorageFailpoint.mjs";
 import { DoLedgerError, DoStorageCorruptionError, DoStorageError } from "./DoStorageError.mjs";
-import { a as initializeDoJournal, i as decodeRows } from "./do-journal-BeHu8_Bh.mjs";
+import { a as initializeDoJournal, i as decodeRows } from "./do-journal-D65Iuln6.mjs";
 import { storageConfigLayer, storageFailpointLayer } from "./DoThreadStore.mjs";
 import { Clock, Context, Crypto, DateTime, Effect, Layer, Option, Schema, Stream } from "effect";
 import * as SqlClientService from "effect/unstable/sql/SqlClient";
@@ -12,7 +12,7 @@ import { ApprovalDecision, CanonicalSequence, DefinitionDigests, Digest, Persist
 import { ThreadStoreDiagnostic } from "effect-agent/thread-store";
 import { BrowserCrypto } from "@effect/platform-browser";
 import { InputMessage } from "effect-agent/messaging";
-import { AbortCommand, AbortIntent, AbortIntentRequest, AdmissionAdmitted, AdmissionConflict, AdmissionFence, AdmissionGroup, AdmissionNotAdmitted, AdmissionPolicyError, AdmissionRequest, AdmissionResult, ApprovalConflict, ApprovalDecisionCommand, ApprovalDecisionIntent, AttachChildToReservationRequest, BeginChildBudgetReleaseRequest, ChildAttachmentSnapshot, ChildBudgetReservationRequest, ChildBudgetReservationSnapshot, ChildReservationConflict, ChildReservationStatus, ChildSettledNotification, Claim, ClaimJoiningRequest, ClaimRequest, InputAppliedMarker, JoinSnapshot, JoinedToHost, JoiningClaim, LedgerCapabilities, LedgerError, MarkInputAppliedRequest, MarkJoinedRequest, MarkReadyRequest, MarkUnknownRequest, OwnershipLost, OwnershipRenewal, OwnershipSnapshot, ParentLinkage, QueueSequence, RecoverySnapshot, RecoverySnapshotRequest, ReleaseChildBudgetRequest, ReleaseOwnershipRequest, RenewOwnershipRequest, ReservedChildBudget, ReservedSettlement, RevertJoiningRequest, Settlement, SettlementConflict, SettlementFinalization, SettlementReservation, SettlementReservationSnapshot, SubmissionAdmissionFence, SubmissionLedger, SubmissionLookup, SubmissionLookupByKey, SubmissionSnapshot, SubmissionState, SubmissionWorkItem, SuspendRequest, SuspensionReason, SuspensionSnapshot, UnknownResolution, UnknownResolutionCommand, UnknownResolutionConflict, UnknownResolutionIntent, settlementFailureFromRecord, submissionAbortRecordId } from "effect-agent/submission-ledger";
+import { AbortCommand, AbortIntent, AbortIntentRequest, AdmissionAdmitted, AdmissionConflict, AdmissionFence, AdmissionGroup, AdmissionNotAdmitted, AdmissionPolicyError, AdmissionRequest, AdmissionResult, ApprovalConflict, ApprovalDecisionCommand, ApprovalDecisionIntent, AttachChildToReservationRequest, BeginChildBudgetReleaseRequest, ChildAttachmentSnapshot, ChildBudgetReservationRequest, ChildBudgetReservationSnapshot, ChildReservationConflict, ChildReservationStatus, ChildSettledNotification, Claim, ClaimJoiningRequest, ClaimRequest, InputAppliedMarker, JoinSnapshot, JoinedToHost, JoiningClaim, LedgerCapabilities, LedgerError, MarkInputAppliedRequest, MarkJoinedRequest, MarkReadyRequest, MarkUnknownRequest, OwnershipLost, OwnershipRenewal, OwnershipSnapshot, ParentLinkage, QueueSequence, RecoverySnapshot, RecoverySnapshotRequest, ReleaseChildBudgetRequest, ReleaseOwnershipRequest, RenewOwnershipRequest, ReservedChildBudget, ReservedSettlement, RevertJoiningRequest, Settlement, SettlementConflict, SettlementFinalization, SettlementReservation, SettlementReservationSnapshot, SubmissionAdmissionFence, SubmissionLedger, SubmissionLookup, SubmissionLookupByKey, SubmissionSnapshot, SubmissionState, SubmissionWorkItem, SuspendRequest, SuspensionReason, SuspensionSnapshot, UnknownResolution, UnknownResolutionCommand, UnknownResolutionConflict, UnknownResolutionIntent, WorkerLedgerState, WorkerStopCommand, settlementFailureFromRecord, submissionAbortRecordId, workerTerminalFromRecord } from "effect-agent/submission-ledger";
 //#region src/DoSubmissionLedger.ts
 var DoSubmissionLedger_exports = /* @__PURE__ */ __exportAll({
 	ledgerLayer: () => ledgerLayer,
@@ -593,6 +593,10 @@ const makeServices = Effect.fn("DoSubmissionLedger.makeServices")(function* () {
 					replayed: true
 				}).pipe(Effect.mapError(internalFailure(operation)));
 			}
+			if ((yield* sql`SELECT thread_id FROM effect_agent_worker_stops WHERE thread_id = ${validated.threadId}`.pipe(Effect.mapError(sqlFailure(operation)))).length > 0) return yield* AdmissionPolicyError.make({
+				reason: "refused",
+				code: "worker-stopped"
+			});
 			const firstRows = yield* sql`
             SELECT worker_admission_json FROM effect_agent_submissions
             WHERE thread_id=${validated.threadId} ORDER BY queue_sequence LIMIT 1
@@ -1012,6 +1016,7 @@ const makeServices = Effect.fn("DoSubmissionLedger.makeServices")(function* () {
 		if (reservation.value.outcome === "failed" !== (settlementFailure !== void 0)) return yield* corruptionFailure(operation, "effect_agent_settlement_reservations", validated.submissionId, "The reserved outcome and canonical failure diagnostic disagree.");
 		return {
 			reservation: reservation.value,
+			reservationRecord,
 			settlementFailure
 		};
 	});
@@ -1052,10 +1057,27 @@ const makeServices = Effect.fn("DoSubmissionLedger.makeServices")(function* () {
 		}
 		const settlement = yield* inWriteTransaction(operation, Effect.gen(function* () {
 			const state = yield* validateFinalization(validated, yield* readReservation(operation, validated.submissionId));
-			const { reservation, settlementFailure } = state;
+			const { reservation, reservationRecord, settlementFailure } = state;
 			const submission = yield* requireSubmission(operation, validated.submissionId);
 			if (submission.state === "settled") return yield* replayFinalization(validated, submission, state);
 			const now = yield* currentInstant;
+			const terminal = submission.worker_admission_json === null ? void 0 : workerTerminalFromRecord(yield* decodeSubmissionSnapshot(operation, submission), reservationRecord);
+			if (terminal !== void 0) {
+				if ((terminal === "completed" ? yield* sql`SELECT submission_id FROM effect_agent_submissions
+                WHERE thread_id = ${submission.thread_id} AND queue_sequence > ${submission.queue_sequence}
+                AND queue_sequence = (SELECT MAX(queue_sequence) FROM effect_agent_submissions WHERE thread_id = ${submission.thread_id})
+                AND (joined_host_submission_id IS NULL OR joined_host_submission_id <> ${submission.submission_id}
+                  OR input_applied_record_id IS NULL) LIMIT 1`.pipe(Effect.mapError(sqlFailure(operation))) : []).length === 0) {
+					yield* sql`INSERT OR IGNORE INTO effect_agent_worker_stops (thread_id, terminal)
+              VALUES (${submission.thread_id}, ${terminal})`.pipe(Effect.mapError(sqlFailure(operation)));
+					yield* sql`INSERT OR IGNORE INTO effect_agent_abort_intents (submission_id, author, reason, requested_at)
+              SELECT submission_id, ${submission.principal}, ${`Worker assignment ${terminal}`}, ${now.iso}
+              FROM effect_agent_submissions WHERE thread_id = ${submission.thread_id} AND state <> 'settled'
+              AND submission_id <> ${submission.submission_id}
+              AND (joined_host_submission_id IS NULL OR joined_host_submission_id <> ${submission.submission_id}
+                OR input_applied_record_id IS NULL)`.pipe(Effect.mapError(sqlFailure(operation)));
+				}
+			}
 			yield* sql`
           UPDATE effect_agent_submissions
           SET state = 'settled', settled_outcome = ${reservation.outcome}
@@ -1082,6 +1104,41 @@ const makeServices = Effect.fn("DoSubmissionLedger.makeServices")(function* () {
 		yield* hitFailpoint("ledger:finalize-settlement:after", operation);
 		return settlement;
 	});
+	const inspectWorker = Effect.fn("DoSubmissionLedger.inspectWorker")(function* (threadId) {
+		const operation = "inspect worker";
+		return yield* sql.withTransaction(Effect.gen(function* () {
+			const read = Effect.fnUntraced(function* (active) {
+				const rows = yield* sql`SELECT ${sql.literal(SUBMISSION_COLUMNS)} FROM effect_agent_submissions
+          WHERE thread_id = ${threadId} ${active ? sql`AND state <> 'settled'` : sql``}
+          ORDER BY queue_sequence ${active ? sql`ASC` : sql`DESC`} LIMIT 1`.pipe(Effect.mapError(sqlFailure(operation)));
+				const decoded = yield* decodeSubmissionRows(operation, threadId, rows);
+				return decoded[0] === void 0 ? null : yield* decodeSubmissionSnapshot(operation, decoded[0]);
+			});
+			const latest = yield* read(false);
+			const active = yield* read(true);
+			const stops = yield* sql`SELECT terminal FROM effect_agent_worker_stops WHERE thread_id = ${threadId}`.pipe(Effect.mapError(sqlFailure(operation)));
+			return yield* Schema.decodeUnknownEffect(Schema.toType(WorkerLedgerState))({
+				latest,
+				active,
+				stopped: stops.length > 0,
+				...stops[0] === void 0 || stops[0].terminal === null ? {} : { terminal: stops[0].terminal }
+			}).pipe(Effect.mapError(internalFailure(operation)));
+		})).pipe(Effect.catchTag("SqlError", (cause) => sqlFailure(operation)(cause)));
+	});
+	const stopWorker = Effect.fn("DoSubmissionLedger.stopWorker")(function* (request) {
+		const operation = "ledger stop worker";
+		const validated = yield* Schema.decodeEffect(WorkerStopCommand)(request).pipe(Effect.mapError(internalFailure(operation)));
+		return yield* inWriteTransaction(operation, Effect.gen(function* () {
+			const now = yield* currentInstant;
+			yield* sql`INSERT OR IGNORE INTO effect_agent_worker_stops (thread_id) VALUES (${validated.threadId})`.pipe(Effect.mapError(sqlFailure(operation)));
+			yield* sql`INSERT OR IGNORE INTO effect_agent_abort_intents (submission_id, author, reason, requested_at)
+        SELECT submission_id, ${validated.author}, 'Worker owner stopped the worker', ${now.iso}
+        FROM effect_agent_submissions WHERE thread_id = ${validated.threadId} AND state <> 'settled'`.pipe(Effect.mapError(sqlFailure(operation)));
+			return (yield* sql`SELECT o.submission_id FROM effect_agent_submission_ownership o
+        JOIN effect_agent_submissions s ON s.submission_id = o.submission_id
+        WHERE s.thread_id = ${validated.threadId} AND s.state <> 'settled'`.pipe(Effect.mapError(sqlFailure(operation)))).length;
+		}));
+	});
 	const requestAbort = Effect.fn("DoSubmissionLedger.requestAbort")(function* (request) {
 		const operation = "ledger request abort";
 		const validated = yield* Schema.decodeEffect(Schema.toType(AbortCommand))(request).pipe(Effect.mapError(internalFailure(operation)));
@@ -1142,6 +1199,7 @@ const makeServices = Effect.fn("DoSubmissionLedger.makeServices")(function* () {
 				message: `Host submission ${validated.hostSubmissionId} does not belong to thread ${validated.threadId}.`
 			});
 			yield* requireOwnership(operation, host, validated.ownershipToken);
+			if ((yield* sql`SELECT thread_id FROM effect_agent_worker_stops WHERE thread_id = ${validated.threadId}`.pipe(Effect.mapError(sqlFailure(operation)))).length > 0) return [];
 			const laterRows = yield* sql`
           SELECT ${sql.literal(SUBMISSION_COLUMNS)}
           FROM effect_agent_submissions
@@ -1845,6 +1903,8 @@ const makeServices = Effect.fn("DoSubmissionLedger.makeServices")(function* () {
 		reserveSettlement,
 		finalizeSettlement,
 		requestAbort,
+		stopWorker,
+		inspectWorker,
 		claimJoining,
 		markJoined,
 		revertJoining,