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

package/src/SqliteSubmissionLedger.ts

@@ -16,6 +16,9 @@ import {
 } from "effect-agent/records";
 import {
   AbortCommand,
+  WorkerStopCommand,
+  WorkerLedgerState,
+  workerTerminalFromRecord,
   AbortIntent,
   AbortIntentRequest,
   AdmissionAdmitted,
@@ -1146,6 +1149,14 @@ const makeServices = Effect.fn("SqliteSubmissionLedger.makeServices")(function*
             }).pipe(Effect.mapError(internalFailure(operation)));
           }
 
+          const stopped =
+            yield* sql`SELECT thread_id FROM effect_agent_worker_stops WHERE thread_id = ${validated.threadId}`.pipe(
+              Effect.mapError(sqlFailure(operation)),
+            );
+
+          if (stopped.length > 0)
+            return yield* AdmissionPolicyError.make({ reason: "refused", code: "worker-stopped" });
+
           // The first accepted input fixes ordinary/worker lane identity atomically with admission.
           // Canonical origin materialization can lag admission; a log scan cannot fence that race.
           const firstRows = yield* sql<Record<string, unknown>>`
@@ -1883,7 +1894,7 @@ const makeServices = Effect.fn("SqliteSubmissionLedger.makeServices")(function*
       );
     }
 
-    return { reservation: reservation.value, settlementFailure };
+    return { reservation: reservation.value, reservationRecord, settlementFailure };
   });
 
   const replayFinalization = Effect.fn("SqliteSubmissionLedger.replayFinalization")(function* (
@@ -1981,13 +1992,49 @@ const makeServices = Effect.fn("SqliteSubmissionLedger.makeServices")(function*
           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
+            ? undefined
+            : workerTerminalFromRecord(
+                yield* decodeSubmissionSnapshot(operation, submission),
+                reservationRecord,
+              );
+
+        if (terminal !== undefined) {
+          // Admission and finalization serialize here. An accepted correction that this Run
+          // has not applied vetoes its completion, including admission after RunCompleted.
+          const pending =
+            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)),
+                )
+              : [];
+
+          if (pending.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}
@@ -2019,6 +2066,84 @@ const makeServices = Effect.fn("SqliteSubmissionLedger.makeServices")(function*
     return settlement;
   });
 
+  const inspectWorker = Effect.fn("SqliteSubmissionLedger.inspectWorker")(function* (
+    threadId: SubmissionSnapshot["threadId"],
+  ) {
+    const operation = "inspect worker";
+
+    return yield* sql
+      .withTransaction(
+        Effect.gen(function* () {
+          const read = Effect.fnUntraced(function* (active: boolean) {
+            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] === undefined
+              ? 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] === undefined || 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: WorkerStopCommand,
+  ) {
+    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)),
+        );
+
+        const rows = 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)),
+        );
+
+        return rows.length;
+      }),
+    );
+  });
+
   const requestAbort: SubmissionLedger["Service"]["requestAbort"] = Effect.fn(
     "SqliteSubmissionLedger.requestAbort",
   )(function* (request: AbortCommand) {
@@ -2144,6 +2269,13 @@ const makeServices = Effect.fn("SqliteSubmissionLedger.makeServices")(function*
         // The host Attempt already owns the lane; no epoch bump happens here (plan §2.5).
         yield* requireOwnership(operation, host, validated.ownershipToken);
 
+        const stopped =
+          yield* sql`SELECT thread_id FROM effect_agent_worker_stops WHERE thread_id = ${validated.threadId}`.pipe(
+            Effect.mapError(sqlFailure(operation)),
+          );
+
+        if (stopped.length > 0) return [];
+
         const laterRows = yield* sql<Record<string, unknown>>`
           SELECT ${sql.literal(SUBMISSION_COLUMNS)}
           FROM effect_agent_submissions
@@ -3496,6 +3628,8 @@ const makeServices = Effect.fn("SqliteSubmissionLedger.makeServices")(function*
       reserveSettlement,
       finalizeSettlement,
       requestAbort,
+      stopWorker,
+      inspectWorker,
       claimJoining,
       markJoined,
       revertJoining,

package/src/internal/migrations.ts

@@ -7,7 +7,23 @@ import * as SqlClient from "effect/unstable/sql/SqlClient";
 import { createMessageDeliveryTables } from "./message-delivery-schema.ts";
 import { createRecoveryCheckpointTable } from "./recovery-checkpoint-schema.ts";
 
-export const CurrentSqliteStorageVersion = 12;
+export const CurrentSqliteStorageVersion = 14;
+
+/** One permanent destination inbox fence, including workers stopped before admission. */
+export const createWorkerStops = Effect.gen(function* () {
+  const sql = yield* SqlClient.SqlClient;
+
+  yield* sql`CREATE TABLE effect_agent_worker_stops (thread_id TEXT PRIMARY KEY NOT NULL, terminal TEXT)`;
+  yield* sql`CREATE INDEX effect_agent_worker_starts ON effect_agent_message_deliveries(owner_thread_id,
+    json_extract(record_json, '$.envelope.workerAdmission.origin.worker.delegationId'),
+    json_extract(record_json, '$.envelope.workerAdmission.origin.worker.targetAgentId'), message_id)
+    WHERE message_id = json_extract(record_json, '$.envelope.workerAdmission.origin.firstMessageId')`;
+  yield* sql`CREATE INDEX effect_agent_worker_pending ON effect_agent_message_deliveries(owner_thread_id,
+    json_extract(record_json, '$.envelope.workerAdmission.origin.worker.threadId'), message_id)
+    WHERE state IN ('pending', 'parked') AND json_extract(record_json, '$.receipt') IS NULL`;
+  yield* sql`CREATE INDEX effect_agent_worker_execution ON effect_agent_canonical_records(thread_id,
+    json_extract(record_json, '$.payload._tag'), sequence) WHERE json_extract(record_json, '$.payload.runId') IS NOT NULL`;
+});
 
 /** Index only outstanding obligations, ordered by the recovery scan's stable cursor. */
 export const createNonterminalIndex = Effect.gen(function* () {
@@ -351,6 +367,7 @@ export const sqliteMigrations = SqliteMigrator.fromRecord({
     yield* createMessageDeliveryTables;
     yield* createMessageDeliveryPendingIndex;
     yield* createRecoveryCheckpointTable;
-    yield* sql`PRAGMA user_version = 12`.withoutTransform;
+    yield* createWorkerStops;
+    yield* sql`PRAGMA user_version = 14`.withoutTransform;
   }),
 });

package/src/internal/sqlite-journal.ts

@@ -42,6 +42,7 @@ import { SqliteStorageFailpoint } from "../SqliteStorageFailpoint.ts";
 import { createMessageDeliveryTables } from "./message-delivery-schema.ts";
 import {
   CurrentSqliteStorageVersion,
+  createWorkerStops,
   createNonterminalIndex,
   sqliteMigrations,
 } from "./migrations.ts";
@@ -388,7 +389,7 @@ const predecessorColumns = {
 } as const;
 
 const checkPredecessorLayout = Effect.fn("SqliteJournal.checkPredecessorLayout")(function* (
-  version: 8 | 9 | 10,
+  version: 8 | 9 | 10 | 12,
 ) {
   const sql = yield* SqlClient.SqlClient;
 
@@ -414,7 +415,15 @@ const checkPredecessorLayout = Effect.fn("SqliteJournal.checkPredecessorLayout")
 
   const expectedColumns = {
     ...messageColumns,
-    ...(version === 10
+    ...(version === 12
+      ? {
+          effect_agent_canonical_records: [
+            ...predecessorColumns.effect_agent_canonical_records,
+            "outstanding",
+          ],
+        }
+      : {}),
+    ...(version >= 10
       ? {
           effect_agent_recovery_checkpoints: [
             "thread_id",
@@ -487,6 +496,48 @@ export const initializeSqliteJournal = Effect.fn("SqliteJournal.initialize")(fun
     versionRows,
   );
 
+  const verifyWorkerPredecessor = Effect.fnUntraced(function* (workerContract: boolean) {
+    const requiredRows = yield* sql<Record<string, unknown>>`
+    SELECT name
+    FROM sqlite_master
+    WHERE (type = 'table'
+      AND name IN (
+        'effect_agent_threads',
+        'effect_agent_canonical_batches',
+        'effect_agent_canonical_records',
+        'effect_agent_checkpoints',
+        'effect_agent_submissions',
+        'effect_agent_submission_ownership',
+        'effect_agent_attempts',
+        'effect_agent_settlement_reservations',
+        'effect_agent_abort_intents',
+        'effect_agent_approval_decisions',
+        'effect_agent_unknown_resolutions',
+        'effect_agent_schedules',
+        'effect_agent_message_deliveries',
+        'effect_agent_recovery_checkpoints'
+      )) OR (type = 'index' AND name IN ('effect_agent_submissions_nonterminal', 'effect_agent_records_subtree', 'effect_agent_message_deliveries_pending', 'effect_agent_records_outstanding', 'effect_agent_records_call', 'effect_agent_records_run_input', 'effect_agent_records_worker_input'))
+    OR (${workerContract ? 1 : 0} = 1 AND name IN ('effect_agent_worker_stops', 'effect_agent_worker_starts', 'effect_agent_worker_pending', 'effect_agent_worker_execution'))
+    ORDER BY name
+  `.pipe(Effect.mapError(storageError("verify storage tables")));
+
+    const required = yield* decodeRows(
+      Schema.Array(SqliteNameRow),
+      "sqlite_master",
+      "required_tables",
+      requiredRows,
+    );
+
+    if (required.length !== 21 + (workerContract ? 4 : 0)) {
+      return yield* SqliteStorageCompatibilityError.make({
+        actualVersion: CurrentSqliteStorageVersion,
+        supportedVersion: CurrentSqliteStorageVersion,
+        message:
+          "The SQLite file claims the current format but is missing required tables or its nonterminal index. Retain the original store for inspection.",
+      });
+    }
+  });
+
   // Support the known beta49/beta50 and immediate predecessor formats atomically.
   if (
     version.user_version !== 0 &&
@@ -495,6 +546,8 @@ export const initializeSqliteJournal = Effect.fn("SqliteJournal.initialize")(fun
     version.user_version !== 9 &&
     version.user_version !== 10 &&
     version.user_version !== 11 &&
+    version.user_version !== 12 &&
+    version.user_version !== 13 &&
     version.user_version !== CurrentSqliteStorageVersion
   ) {
     return yield* SqliteStorageCompatibilityError.make({
@@ -503,7 +556,7 @@ export const initializeSqliteJournal = Effect.fn("SqliteJournal.initialize")(fun
       message:
         `The SQLite file uses unsupported storage version ${version.user_version}; ` +
         `this build supports exactly version ${CurrentSqliteStorageVersion}. ` +
-        "Only supported v7, v8, v9, v10 and v11 can be upgraded automatically. Keep the original file and use a compatible library version.",
+        "Only supported v7, v8, v9, v10, v11, v12 and v13 can be upgraded automatically. Keep the original file and use a compatible library version.",
     });
   }
 
@@ -638,7 +691,8 @@ export const initializeSqliteJournal = Effect.fn("SqliteJournal.initialize")(fun
               }),
             ),
           );
-          yield* sql`PRAGMA user_version = 12`;
+          yield* createWorkerStops;
+          yield* sql`PRAGMA user_version = 14`;
           yield* failpoint("upgrade:after-version");
         }),
       )
@@ -718,11 +772,11 @@ export const initializeSqliteJournal = Effect.fn("SqliteJournal.initialize")(fun
         Effect.gen(function* () {
           const current = yield* sql<{ user_version: number }>`PRAGMA user_version`;
 
-          if (current[0]?.user_version === 12) return;
+          if (current[0]?.user_version === 14) return;
           if (current[0]?.user_version !== 11)
             return yield* SqliteStorageCompatibilityError.make({
               actualVersion: current[0]?.user_version ?? -1,
-              supportedVersion: 12,
+              supportedVersion: 14,
               message: "Storage version changed during native index upgrade",
             });
           yield* checkPredecessorLayout(10);
@@ -733,7 +787,7 @@ export const initializeSqliteJournal = Effect.fn("SqliteJournal.initialize")(fun
           if (requiredIndex.length !== 1)
             return yield* SqliteStorageCompatibilityError.make({
               actualVersion: 11,
-              supportedVersion: 12,
+              supportedVersion: 14,
               message: "Predecessor storage is missing its required nonterminal index",
             });
           yield* failpoint("upgrade:before-mutation");
@@ -750,7 +804,8 @@ export const initializeSqliteJournal = Effect.fn("SqliteJournal.initialize")(fun
           );
           yield* failpoint("upgrade:after-mutation");
           yield* failpoint("upgrade:before-version");
-          yield* sql`PRAGMA user_version = 12`;
+          yield* createWorkerStops;
+          yield* sql`PRAGMA user_version = 14`;
           yield* failpoint("upgrade:after-version");
         }),
       )
@@ -765,45 +820,98 @@ export const initializeSqliteJournal = Effect.fn("SqliteJournal.initialize")(fun
       );
   }
 
-  const requiredRows = yield* sql<Record<string, unknown>>`
-    SELECT name
-    FROM sqlite_master
-    WHERE (type = 'table'
-      AND name IN (
-        'effect_agent_threads',
-        'effect_agent_canonical_batches',
-        'effect_agent_canonical_records',
-        'effect_agent_checkpoints',
-        'effect_agent_submissions',
-        'effect_agent_submission_ownership',
-        'effect_agent_attempts',
-        'effect_agent_settlement_reservations',
-        'effect_agent_abort_intents',
-        'effect_agent_approval_decisions',
-        'effect_agent_unknown_resolutions',
-        'effect_agent_schedules',
-        'effect_agent_message_deliveries',
-        'effect_agent_recovery_checkpoints'
-      )) OR (type = 'index' AND name IN ('effect_agent_submissions_nonterminal', 'effect_agent_records_subtree', 'effect_agent_message_deliveries_pending', 'effect_agent_records_outstanding', 'effect_agent_records_call', 'effect_agent_records_run_input', 'effect_agent_records_worker_input'))
-    ORDER BY name
-  `.pipe(Effect.mapError(storageError("verify storage tables")));
+  if (version.user_version === 12) {
+    yield* sql
+      .withTransaction(
+        Effect.gen(function* () {
+          const current = yield* sql<{ user_version: number }>`PRAGMA user_version`;
 
-  const required = yield* decodeRows(
-    Schema.Array(SqliteNameRow),
-    "sqlite_master",
-    "required_tables",
-    requiredRows,
-  );
+          if (current[0]?.user_version === 14) return;
+          if (current[0]?.user_version !== 12)
+            return yield* SqliteStorageCompatibilityError.make({
+              actualVersion: current[0]?.user_version ?? -1,
+              supportedVersion: 14,
+              message: "Storage version changed during worker stop upgrade",
+            });
+          yield* checkPredecessorLayout(12);
+          yield* verifyWorkerPredecessor(false);
+          yield* failpoint("upgrade:before-mutation");
+          yield* createWorkerStops;
+          yield* failpoint("upgrade:after-mutation");
+          yield* failpoint("upgrade:before-version");
+          yield* sql`PRAGMA user_version = 14`;
+          yield* failpoint("upgrade:after-version");
+        }),
+      )
+      .pipe(
+        Effect.mapError((cause) =>
+          SqliteStorageError.make({
+            operation: "upgrade worker stop",
+            message: "Worker stop upgrade failed",
+            cause,
+          }),
+        ),
+      );
+  }
 
-  if (required.length !== 21) {
-    return yield* SqliteStorageCompatibilityError.make({
-      actualVersion: CurrentSqliteStorageVersion,
-      supportedVersion: CurrentSqliteStorageVersion,
-      message:
-        "The SQLite file claims the current format but is missing required tables or its nonterminal index. Retain the original store for inspection.",
-    });
+  if (version.user_version === 13) {
+    yield* sql
+      .withTransaction(
+        Effect.gen(function* () {
+          const current = yield* sql<{ user_version: number }>`PRAGMA user_version`;
+
+          if (current[0]?.user_version === 14) return;
+          if (current[0]?.user_version !== 13)
+            return yield* SqliteStorageCompatibilityError.make({
+              actualVersion: current[0]?.user_version ?? -1,
+              supportedVersion: 14,
+              message: "Storage version changed during assignment seal upgrade",
+            });
+          yield* checkPredecessorLayout(12);
+          yield* verifyWorkerPredecessor(true);
+          const columns = yield* sql`PRAGMA table_info(effect_agent_worker_stops)`;
+
+          yield* Schema.decodeUnknownEffect(
+            Schema.Tuple([
+              Schema.Struct({
+                cid: Schema.Literal(0),
+                name: Schema.Literal("thread_id"),
+                type: Schema.Literal("TEXT"),
+                notnull: Schema.Literal(1),
+                dflt_value: Schema.Null,
+                pk: Schema.Literal(1),
+              }),
+            ]),
+          )(columns).pipe(
+            Effect.mapError(() =>
+              SqliteStorageCompatibilityError.make({
+                actualVersion: 13,
+                supportedVersion: 14,
+                message: "Unsupported worker seal layout; no upgrade was committed",
+              }),
+            ),
+          );
+          yield* failpoint("upgrade:before-mutation");
+          yield* sql`ALTER TABLE effect_agent_worker_stops ADD COLUMN terminal TEXT`;
+          yield* failpoint("upgrade:after-mutation");
+          yield* failpoint("upgrade:before-version");
+          yield* sql`PRAGMA user_version = 14`;
+          yield* failpoint("upgrade:after-version");
+        }),
+      )
+      .pipe(
+        Effect.mapError((cause) =>
+          SqliteStorageError.make({
+            operation: "upgrade assignment seals",
+            message: "Assignment seal upgrade failed",
+            cause,
+          }),
+        ),
+      );
   }
 
+  yield* verifyWorkerPredecessor(true);
+
   const classifyWriteFailure =
     (operation: string) =>
     (error: SqlError): SqliteStorageError | SqliteWriteContention =>

package/dist/migrations-BZ89iaTY.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"migrations-BZ89iaTY.mjs","names":[],"sources":["../src/internal/message-delivery-schema.ts","../src/internal/recovery-checkpoint-schema.ts","../src/internal/migrations.ts"],"sourcesContent":["import { Effect } from \"effect\";\nimport * as SqlClient from \"effect/unstable/sql/SqlClient\";\n\n/** Additive storage owned by this adapter; creation participates in its version transaction. */\nexport const createMessageDeliveryTables = Effect.gen(function* () {\n  const sql = yield* SqlClient.SqlClient;\n\n  yield* sql`\n    CREATE TABLE effect_agent_message_deliveries (\n      owner_thread_id TEXT NOT NULL,\n      message_id TEXT NOT NULL,\n      version INTEGER NOT NULL,\n      state TEXT NOT NULL,\n      deadline_at_millis INTEGER,\n      record_json TEXT NOT NULL,\n      PRIMARY KEY (owner_thread_id, message_id)\n    )\n  `.withoutTransform;\n  yield* sql`\n    CREATE INDEX effect_agent_message_deliveries_due\n    ON effect_agent_message_deliveries (deadline_at_millis, owner_thread_id, message_id)\n    WHERE deadline_at_millis IS NOT NULL\n  `.withoutTransform;\n});\n","import { Effect } from \"effect\";\nimport * as SqlClient from \"effect/unstable/sql/SqlClient\";\n\n/** One disposable recovery snapshot per Thread, independent of generic projections. */\nexport const createRecoveryCheckpointTable = Effect.gen(function* () {\n  const sql = yield* SqlClient.SqlClient;\n\n  yield* sql`\n    CREATE TABLE effect_agent_recovery_checkpoints (\n      thread_id TEXT PRIMARY KEY NOT NULL,\n      through_sequence INTEGER NOT NULL,\n      tail_digest TEXT NOT NULL,\n      checkpoint_json TEXT NOT NULL,\n      FOREIGN KEY (thread_id) REFERENCES effect_agent_threads(thread_id) ON DELETE RESTRICT\n    )\n  `.withoutTransform;\n});\n","import { SqliteMigrator } from \"@effect/sql-sqlite-node\";\nimport { Effect } from \"effect\";\nimport { createMessageDeliveryPendingIndex } from \"effect-agent/sql-message-delivery-store\";\nimport { createNativeReadIndexes } from \"effect-agent/sql-thread-native-reads\";\nimport * as SqlClient from \"effect/unstable/sql/SqlClient\";\n\nimport { createMessageDeliveryTables } from \"./message-delivery-schema.ts\";\nimport { createRecoveryCheckpointTable } from \"./recovery-checkpoint-schema.ts\";\n\nexport const CurrentSqliteStorageVersion = 12;\n\n/** Index only outstanding obligations, ordered by the recovery scan's stable cursor. */\nexport const createNonterminalIndex = Effect.gen(function* () {\n  const sql = yield* SqlClient.SqlClient;\n\n  yield* sql`CREATE INDEX effect_agent_submissions_nonterminal ON effect_agent_submissions (thread_id, queue_sequence) WHERE state <> 'settled'`\n    .withoutTransform;\n});\n\n/** Initialize empty storage with the complete current schema. */\nexport const sqliteMigrations = SqliteMigrator.fromRecord({\n  \"1_current_thread_storage\": Effect.gen(function* () {\n    const sql = yield* SqlClient.SqlClient;\n\n    yield* sql`\n      CREATE TABLE effect_agent_threads (\n        thread_id TEXT PRIMARY KEY NOT NULL,\n        created_at TEXT NOT NULL,\n        tail_sequence INTEGER NOT NULL,\n        tail_digest TEXT NOT NULL,\n        producer_epoch INTEGER NOT NULL\n      )\n    `.withoutTransform;\n\n    yield* sql`\n      CREATE TABLE effect_agent_canonical_batches (\n        thread_id TEXT NOT NULL,\n        batch_id TEXT NOT NULL,\n        first_sequence INTEGER NOT NULL,\n        last_sequence INTEGER NOT NULL,\n        batch_digest TEXT NOT NULL,\n        tail_digest TEXT NOT NULL,\n        batch_json TEXT NOT NULL,\n        PRIMARY KEY (thread_id, batch_id),\n        FOREIGN KEY (thread_id)\n          REFERENCES effect_agent_threads(thread_id)\n          ON DELETE RESTRICT\n      )\n    `.withoutTransform;\n\n    yield* sql`\n      CREATE TABLE effect_agent_canonical_records (\n        thread_id TEXT NOT NULL,\n        sequence INTEGER NOT NULL,\n        record_id TEXT NOT NULL,\n        batch_id TEXT NOT NULL,\n        record_json TEXT NOT NULL,\n        PRIMARY KEY (thread_id, sequence),\n        UNIQUE (thread_id, record_id),\n        FOREIGN KEY (thread_id, batch_id)\n          REFERENCES effect_agent_canonical_batches(thread_id, batch_id)\n          ON DELETE RESTRICT\n      )\n    `.withoutTransform;\n\n    yield* sql`\n      CREATE INDEX effect_agent_canonical_records_batch\n        ON effect_agent_canonical_records (thread_id, batch_id, sequence)\n    `.withoutTransform;\n\n    yield* sql`\n      CREATE TABLE effect_agent_checkpoints (\n        thread_id TEXT NOT NULL,\n        through_sequence INTEGER NOT NULL,\n        tail_digest TEXT NOT NULL,\n        checkpoint_json TEXT NOT NULL,\n        PRIMARY KEY (thread_id, through_sequence),\n        FOREIGN KEY (thread_id)\n          REFERENCES effect_agent_threads(thread_id)\n          ON DELETE RESTRICT\n      )\n    `.withoutTransform;\n\n    // Admission rows exist before Thread materialization (durability §4), so\n    // thread_id intentionally carries no foreign key into effect_agent_threads.\n    yield* sql`\n      CREATE TABLE effect_agent_submissions (\n        submission_id TEXT PRIMARY KEY NOT NULL,\n        thread_id TEXT NOT NULL,\n        queue_sequence INTEGER NOT NULL,\n        principal TEXT NOT NULL,\n        idempotency_key TEXT NOT NULL,\n        agent_id TEXT NOT NULL,\n        agent_digests_json TEXT NOT NULL,\n        deployment_id TEXT NOT NULL,\n        input_json TEXT NOT NULL,\n        input_digest TEXT NOT NULL,\n        receipt_id TEXT NOT NULL,\n        state TEXT NOT NULL,\n        settled_outcome TEXT,\n        created_at TEXT NOT NULL,\n        ready_at TEXT,\n        input_applied_record_id TEXT,\n        input_applied_sequence INTEGER,\n        joined_host_submission_id TEXT,\n        suspended_reason_json TEXT,\n        suspended_at TEXT,\n        unknown_reason TEXT,\n        unknown_tool_call_ids_json TEXT,\n        parent_submission_id TEXT,\n        parent_tool_call_id TEXT,\n        admission_group TEXT,\n        admission_fence_json TEXT,\n        worker_admission_json TEXT,\n        message_admission_json TEXT,\n        UNIQUE (thread_id, principal, idempotency_key),\n        UNIQUE (thread_id, queue_sequence)\n      )\n    `.withoutTransform;\n\n    yield* sql`\n      CREATE INDEX effect_agent_submissions_group\n        ON effect_agent_submissions (thread_id, admission_group, state)\n    `.withoutTransform;\n\n    yield* sql`\n      CREATE TABLE effect_agent_submission_ownership (\n        submission_id TEXT PRIMARY KEY NOT NULL,\n        attempt_id TEXT NOT NULL,\n        ownership_token TEXT NOT NULL,\n        producer_epoch INTEGER NOT NULL,\n        owner_producer_id TEXT NOT NULL,\n        lease_expires_at TEXT NOT NULL,\n        FOREIGN KEY (submission_id)\n          REFERENCES effect_agent_submissions(submission_id)\n          ON DELETE RESTRICT\n      )\n    `.withoutTransform;\n\n    yield* sql`\n      CREATE TABLE effect_agent_attempts (\n        attempt_id TEXT PRIMARY KEY NOT NULL,\n        submission_id TEXT NOT NULL,\n        thread_id TEXT NOT NULL,\n        owner_producer_id TEXT NOT NULL,\n        producer_epoch INTEGER NOT NULL,\n        claimed_at TEXT NOT NULL,\n        FOREIGN KEY (submission_id)\n          REFERENCES effect_agent_submissions(submission_id)\n          ON DELETE RESTRICT\n      )\n    `.withoutTransform;\n\n    yield* sql`\n      CREATE TABLE effect_agent_settlement_reservations (\n        submission_id TEXT PRIMARY KEY NOT NULL,\n        settlement_id TEXT NOT NULL,\n        outcome TEXT NOT NULL,\n        record_id TEXT NOT NULL,\n        record_json TEXT NOT NULL,\n        record_digest TEXT NOT NULL,\n        reserved_at TEXT NOT NULL,\n        finalized_at TEXT,\n        FOREIGN KEY (submission_id)\n          REFERENCES effect_agent_submissions(submission_id)\n          ON DELETE RESTRICT\n      )\n    `.withoutTransform;\n\n    yield* sql`\n      CREATE TABLE effect_agent_abort_intents (\n        submission_id TEXT PRIMARY KEY NOT NULL,\n        author TEXT NOT NULL,\n        reason TEXT NOT NULL,\n        requested_at TEXT NOT NULL,\n        canonical_record_id TEXT,\n        FOREIGN KEY (submission_id)\n          REFERENCES effect_agent_submissions(submission_id)\n          ON DELETE RESTRICT\n      )\n    `.withoutTransform;\n\n    yield* sql`\n      CREATE INDEX effect_agent_submissions_joined_host\n        ON effect_agent_submissions (joined_host_submission_id)\n    `.withoutTransform;\n\n    yield* sql`\n      CREATE TABLE effect_agent_approval_decisions (\n        submission_id TEXT NOT NULL,\n        tool_call_id TEXT NOT NULL,\n        decision TEXT NOT NULL,\n        resolver TEXT NOT NULL,\n        reason TEXT NOT NULL,\n        decided_at TEXT NOT NULL,\n        PRIMARY KEY (submission_id, tool_call_id),\n        FOREIGN KEY (submission_id)\n          REFERENCES effect_agent_submissions(submission_id)\n          ON DELETE RESTRICT\n      )\n    `.withoutTransform;\n\n    yield* sql`\n      CREATE TABLE effect_agent_unknown_resolutions (\n        submission_id TEXT NOT NULL,\n        tool_call_id TEXT NOT NULL,\n        author TEXT NOT NULL,\n        reason TEXT NOT NULL,\n        resolution_json TEXT NOT NULL,\n        resolved_at TEXT NOT NULL,\n        PRIMARY KEY (submission_id, tool_call_id),\n        FOREIGN KEY (submission_id)\n          REFERENCES effect_agent_submissions(submission_id)\n          ON DELETE RESTRICT\n      )\n    `.withoutTransform;\n\n    // Durable attached children (spec §12, SUB-004): a child Submission records its immutable\n    // parent linkage at admission; the parent-side index serves the recovery attachment view.\n    yield* sql`\n      CREATE INDEX effect_agent_submissions_parent\n        ON effect_agent_submissions (parent_submission_id)\n    `.withoutTransform;\n\n    // Parent-owned child budget reservations (spec §12 steps 2 and 6, SUB-010): generic\n    // opaque-payload state-machine rows (D8) — allocation and accounting are Schema-encoded\n    // JSON documents the adapter never interprets; status moves\n    // reserved → releasePending → released, applied exactly once.\n    yield* sql`\n      CREATE TABLE effect_agent_child_reservations (\n        reservation_id TEXT PRIMARY KEY NOT NULL,\n        parent_submission_id TEXT NOT NULL,\n        parent_tool_call_id TEXT NOT NULL,\n        child_submission_id TEXT,\n        status TEXT NOT NULL,\n        allocation_json TEXT NOT NULL,\n        allocation_digest TEXT NOT NULL,\n        accounting_json TEXT,\n        reserved_at TEXT NOT NULL,\n        release_began_at TEXT,\n        released_at TEXT,\n        UNIQUE (parent_submission_id, parent_tool_call_id),\n        FOREIGN KEY (parent_submission_id)\n          REFERENCES effect_agent_submissions(submission_id)\n          ON DELETE RESTRICT\n      )\n    `.withoutTransform;\n\n    // record_json is authoritative. The remaining columns support owner keyset paging and\n    // deadline queries without decoding unrelated future schedules.\n    yield* sql`\n      CREATE TABLE effect_agent_schedules (\n        tenant_id TEXT NOT NULL,\n        owner_id TEXT NOT NULL,\n        schedule_id TEXT NOT NULL,\n        deadline_at_millis INTEGER,\n        record_json TEXT NOT NULL,\n        PRIMARY KEY (tenant_id, owner_id, schedule_id)\n      )\n    `.withoutTransform;\n\n    yield* sql`\n      CREATE INDEX effect_agent_schedules_deadline\n        ON effect_agent_schedules (deadline_at_millis, tenant_id, owner_id, schedule_id)\n        WHERE deadline_at_millis IS NOT NULL\n    `.withoutTransform;\n\n    yield* sql`\n      CREATE INDEX effect_agent_schedules_owner_deadline\n        ON effect_agent_schedules (tenant_id, owner_id, deadline_at_millis, schedule_id)\n        WHERE deadline_at_millis IS NOT NULL\n    `.withoutTransform;\n\n    yield* sql`\n      CREATE TABLE effect_agent_subscription_sequences (\n        tenant_id TEXT NOT NULL,\n        source_address TEXT NOT NULL,\n        sequence INTEGER NOT NULL,\n        event_scan_cursor TEXT NOT NULL,\n        delivery_scan_cursor TEXT NOT NULL,\n        recovery_scan_cursor INTEGER NOT NULL,\n        PRIMARY KEY (tenant_id, source_address)\n      )\n    `.withoutTransform;\n    yield* sql`\n      CREATE TABLE effect_agent_subscriptions (\n        tenant_id TEXT NOT NULL,\n        source_address TEXT NOT NULL,\n        owner_id TEXT NOT NULL,\n        subscription_id TEXT NOT NULL,\n        ordinal INTEGER NOT NULL,\n        source_name TEXT NOT NULL,\n        source_version TEXT NOT NULL,\n        matching_key TEXT NOT NULL,\n        state TEXT NOT NULL,\n        expires_at_millis INTEGER,\n        recovery_at_millis INTEGER,\n        recovery_present INTEGER NOT NULL DEFAULT 0,\n        record_json TEXT NOT NULL,\n        PRIMARY KEY (tenant_id, source_address, owner_id, subscription_id),\n        UNIQUE (tenant_id, source_address, ordinal)\n      )\n    `.withoutTransform;\n    yield* sql`CREATE INDEX effect_agent_subscriptions_owner ON effect_agent_subscriptions (tenant_id, source_address, owner_id, ordinal)`\n      .withoutTransform;\n    yield* sql`CREATE INDEX effect_agent_subscriptions_candidates ON effect_agent_subscriptions (tenant_id, source_address, source_name, source_version, matching_key, ordinal)`\n      .withoutTransform;\n    yield* sql`CREATE INDEX effect_agent_subscriptions_recovery ON effect_agent_subscriptions (tenant_id, source_address, recovery_at_millis, ordinal) WHERE recovery_at_millis IS NOT NULL`\n      .withoutTransform;\n    yield* sql`\n      CREATE TABLE effect_agent_subscription_events (\n        tenant_id TEXT NOT NULL,\n        source_address TEXT NOT NULL,\n        event_id TEXT NOT NULL,\n        source_name TEXT NOT NULL,\n        source_version TEXT NOT NULL,\n        matching_key TEXT NOT NULL,\n        payload_digest TEXT NOT NULL,\n        cutoff INTEGER NOT NULL,\n        cursor INTEGER NOT NULL,\n        routing_complete INTEGER NOT NULL,\n        tombstone INTEGER NOT NULL DEFAULT 0,\n        next_attempt_at_millis INTEGER NOT NULL,\n        record_json TEXT NOT NULL,\n        PRIMARY KEY (tenant_id, source_address, event_id)\n      )\n    `.withoutTransform;\n    yield* sql`CREATE INDEX effect_agent_subscription_events_pending ON effect_agent_subscription_events (tenant_id, source_address, routing_complete, next_attempt_at_millis, event_id)`\n      .withoutTransform;\n    yield* sql`\n      CREATE TABLE effect_agent_subscription_deliveries (\n        tenant_id TEXT NOT NULL,\n        source_address TEXT NOT NULL,\n        owner_id TEXT NOT NULL,\n        subscription_id TEXT NOT NULL,\n        event_id TEXT NOT NULL,\n        delivery_key TEXT NOT NULL,\n        state TEXT NOT NULL,\n        next_attempt_at_millis INTEGER NOT NULL,\n        record_json TEXT NOT NULL,\n        PRIMARY KEY (tenant_id, source_address, owner_id, subscription_id, event_id),\n        UNIQUE (tenant_id, source_address, delivery_key)\n      )\n    `.withoutTransform;\n    yield* sql`CREATE INDEX effect_agent_subscription_deliveries_pending ON effect_agent_subscription_deliveries (tenant_id, source_address, state, next_attempt_at_millis, delivery_key)`\n      .withoutTransform;\n    yield* sql`CREATE INDEX effect_agent_subscription_deliveries_registration ON effect_agent_subscription_deliveries (tenant_id, source_address, owner_id, subscription_id, delivery_key)`\n      .withoutTransform;\n    yield* createNativeReadIndexes;\n    yield* createNonterminalIndex;\n    yield* createMessageDeliveryTables;\n    yield* createMessageDeliveryPendingIndex;\n    yield* createRecoveryCheckpointTable;\n    yield* sql`PRAGMA user_version = 12`.withoutTransform;\n  }),\n});\n"],"mappings":";;;;;;;AAIA,MAAa,8BAA8B,OAAO,IAAI,aAAa;CACjE,MAAM,MAAM,OAAO,UAAU;CAE7B,OAAO,GAAG;;;;;;;;;;IAUR;CACF,OAAO,GAAG;;;;IAIR;AACJ,CAAC;;;;ACnBD,MAAa,gCAAgC,OAAO,IAAI,aAAa;CAGnE,OAAO,CAAA,OAFY,UAAU,UAAA,AAEnB;;;;;;;;IAQR;AACJ,CAAC;;;ACPD,MAAa,8BAA8B;;AAG3C,MAAa,yBAAyB,OAAO,IAAI,aAAa;CAG5D,OAAO,CAAA,OAFY,UAAU,UAAA,AAEnB,qIACP;AACL,CAAC;;AAGD,MAAa,mBAAmB,eAAe,WAAW,EACxD,4BAA4B,OAAO,IAAI,aAAa;CAClD,MAAM,MAAM,OAAO,UAAU;CAE7B,OAAO,GAAG;;;;;;;;MAQR;CAEF,OAAO,GAAG;;;;;;;;;;;;;;MAcR;CAEF,OAAO,GAAG;;;;;;;;;;;;;MAaR;CAEF,OAAO,GAAG;;;MAGR;CAEF,OAAO,GAAG;;;;;;;;;;;MAWR;CAIF,OAAO,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;MAiCR;CAEF,OAAO,GAAG;;;MAGR;CAEF,OAAO,GAAG;;;;;;;;;;;;MAYR;CAEF,OAAO,GAAG;;;;;;;;;;;;MAYR;CAEF,OAAO,GAAG;;;;;;;;;;;;;;MAcR;CAEF,OAAO,GAAG;;;;;;;;;;;MAWR;CAEF,OAAO,GAAG;;;MAGR;CAEF,OAAO,GAAG;;;;;;;;;;;;;MAaR;CAEF,OAAO,GAAG;;;;;;;;;;;;;MAaR;CAIF,OAAO,GAAG;;;MAGR;CAMF,OAAO,GAAG;;;;;;;;;;;;;;;;;;MAkBR;CAIF,OAAO,GAAG;;;;;;;;;MASR;CAEF,OAAO,GAAG;;;;MAIR;CAEF,OAAO,GAAG;;;;MAIR;CAEF,OAAO,GAAG;;;;;;;;;;MAUR;CACF,OAAO,GAAG;;;;;;;;;;;;;;;;;;MAkBR;CACF,OAAO,GAAG,6HACP;CACH,OAAO,GAAG,mKACP;CACH,OAAO,GAAG,+KACP;CACH,OAAO,GAAG;;;;;;;;;;;;;;;;;MAiBR;CACF,OAAO,GAAG,4KACP;CACH,OAAO,GAAG;;;;;;;;;;;;;;MAcR;CACF,OAAO,GAAG,6KACP;CACH,OAAO,GAAG,8KACP;CACH,OAAO;CACP,OAAO;CACP,OAAO;CACP,OAAO;CACP,OAAO;CACP,OAAO,GAAG,2BAA2B;AACvC,CAAC,EACH,CAAC"}