@effect-agent/storage-sqlite 0.1.0-beta.114 → 0.1.0-beta.115

package/dist/SqliteMessageDeliveryStore.mjs

@@ -1,5 +1,5 @@
 import { t as __exportAll } from "./rolldown-runtime-D7D4PA-g.mjs";
-import { a as initializeSqliteJournal } from "./sqlite-journal-BCyBc87Y.mjs";
+import { a as initializeSqliteJournal } from "./sqlite-journal-DE4MN8uP.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/SqliteScheduleStore.mjs

@@ -1,5 +1,5 @@
 import { t as __exportAll } from "./rolldown-runtime-D7D4PA-g.mjs";
-import { a as initializeSqliteJournal } from "./sqlite-journal-BCyBc87Y.mjs";
+import { a as initializeSqliteJournal } from "./sqlite-journal-DE4MN8uP.mjs";
 import { Effect, Layer, Result, Schema } from "effect";
 import * as SqlClientService from "effect/unstable/sql/SqlClient";
 import { ScheduleCapacityError, ScheduleChange, ScheduleConflict, ScheduleDueCursor, ScheduleFailpoint, ScheduleId, ScheduleInstant, ScheduleKey, ScheduleNotFound, ScheduleOwner, SchedulePageRequest, ScheduleRecord, ScheduleStorageError, ScheduleStore, defaultSchedulingLimits } from "effect-agent/schedule";

package/dist/{SqliteStorageVersion-BO6U_VHq.d.mts → SqliteStorageVersion-BBmy73KE.d.mts}

@@ -2,10 +2,10 @@ import { Effect } from "effect";
 import "effect/unstable/sql/SqlClient";
 import { SqliteMigrator } from "@effect/sql-sqlite-node";
 //#region src/internal/migrations.d.ts
-declare const CurrentSqliteStorageVersion = 12;
+declare const CurrentSqliteStorageVersion = 14;
 declare namespace SqliteStorageVersion_d_exports {
   export { CurrentSqliteStorageVersion };
 }
 //#endregion
 export { CurrentSqliteStorageVersion as n, SqliteStorageVersion_d_exports as t };
-//# sourceMappingURL=SqliteStorageVersion-BO6U_VHq.d.mts.map
+//# sourceMappingURL=SqliteStorageVersion-BBmy73KE.d.mts.map

package/dist/SqliteStorageVersion.d.mts

@@ -1,2 +1,2 @@
-import { n as CurrentSqliteStorageVersion } from "./SqliteStorageVersion-BO6U_VHq.mjs";
+import { n as CurrentSqliteStorageVersion } from "./SqliteStorageVersion-BBmy73KE.mjs";
 export { CurrentSqliteStorageVersion };

package/dist/SqliteStorageVersion.mjs

@@ -1,7 +1,7 @@
 import { t as __exportAll } from "./rolldown-runtime-D7D4PA-g.mjs";
-import { t as CurrentSqliteStorageVersion } from "./migrations-BZ89iaTY.mjs";
+import { t as CurrentSqliteStorageVersion } from "./migrations-BmgwzT68.mjs";
 //#region src/SqliteStorageVersion.ts
-var SqliteStorageVersion_exports = /* @__PURE__ */ __exportAll({ CurrentSqliteStorageVersion: () => 12 });
+var SqliteStorageVersion_exports = /* @__PURE__ */ __exportAll({ CurrentSqliteStorageVersion: () => 14 });
 //#endregion
 export { CurrentSqliteStorageVersion, SqliteStorageVersion_exports as t };
 

package/dist/SqliteSubmissionLedger.mjs

@@ -2,7 +2,7 @@ import { t as __exportAll } from "./rolldown-runtime-D7D4PA-g.mjs";
 import { SqliteStorageConfig } from "./SqliteStorageConfig.mjs";
 import { SqliteLedgerError, SqliteStorageCorruptionError, SqliteStorageError, SqliteWriteContention } from "./SqliteStorageError.mjs";
 import { SqliteStorageFailpoint } from "./SqliteStorageFailpoint.mjs";
-import { a as initializeSqliteJournal, i as decodeRows } from "./sqlite-journal-BCyBc87Y.mjs";
+import { a as initializeSqliteJournal, i as decodeRows } from "./sqlite-journal-DE4MN8uP.mjs";
 import { storageConfigLayer, storageFailpointLayer } from "./SqliteThreadStore.mjs";
 import { Clock, Context, Crypto, DateTime, Effect, Layer, Option, Schema, Stream } from "effect";
 import * as SqlClientService from "effect/unstable/sql/SqlClient";
@@ -11,7 +11,7 @@ import { SqliteClient } from "@effect/sql-sqlite-node";
 import { EMPTY_TAIL_DIGEST } from "effect-agent/digest";
 import { ApprovalDecision, CanonicalSequence, DefinitionDigests, Digest, PersistedJson, ProducerEpoch, RecordEnvelope, SettlementOutcome, WorkerAdmission } from "effect-agent/records";
 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/SqliteSubmissionLedger.ts
 var SqliteSubmissionLedger_exports = /* @__PURE__ */ __exportAll({
 	ledgerLayer: () => ledgerLayer,
@@ -540,6 +540,10 @@ const makeServices = Effect.fn("SqliteSubmissionLedger.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
@@ -958,6 +962,7 @@ const makeServices = Effect.fn("SqliteSubmissionLedger.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
 		};
 	});
@@ -998,10 +1003,27 @@ const makeServices = Effect.fn("SqliteSubmissionLedger.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}
@@ -1028,6 +1050,41 @@ const makeServices = Effect.fn("SqliteSubmissionLedger.makeServices")(function*
 		yield* hitFailpoint("ledger:finalize-settlement:after", operation);
 		return settlement;
 	});
+	const inspectWorker = Effect.fn("SqliteSubmissionLedger.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("SqliteSubmissionLedger.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("SqliteSubmissionLedger.requestAbort")(function* (request) {
 		const operation = "ledger request abort";
 		const validated = yield* Schema.decodeEffect(Schema.toType(AbortCommand))(request).pipe(Effect.mapError(internalFailure(operation)));
@@ -1088,6 +1145,7 @@ const makeServices = Effect.fn("SqliteSubmissionLedger.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
@@ -1772,6 +1830,8 @@ const makeServices = Effect.fn("SqliteSubmissionLedger.makeServices")(function*
 		reserveSettlement,
 		finalizeSettlement,
 		requestAbort,
+		stopWorker,
+		inspectWorker,
 		claimJoining,
 		markJoined,
 		revertJoining,