@effect-agent/storage-sqlite 0.1.0-beta.69 → 0.1.0-beta.71

package/src/SqliteSubmissionLedger.ts

@@ -1816,6 +1816,76 @@ const makeServices = Effect.fn("SqliteSubmissionLedger.makeServices")(function*
     return reserved;
   });
 
+  const validateFinalization = Effect.fn("SqliteSubmissionLedger.validateFinalization")(function* (
+    validated: SettlementFinalization,
+    reservation: Option.Option<ReservationRow>,
+  ) {
+    const operation = "ledger finalize settlement";
+
+    if (Option.isNone(reservation)) {
+      return yield* LedgerError.make({
+        operation,
+        message: `No settlement reservation exists for submission ${validated.submissionId}.`,
+      });
+    }
+    if (reservation.value.settlement_id !== validated.settlementId) {
+      return yield* SettlementConflict.make({
+        submissionId: validated.submissionId,
+        existingOutcome: reservation.value.outcome,
+      });
+    }
+
+    const reservationRecord = yield* decodeRecordEnvelopeText(reservation.value.record_json).pipe(
+      Effect.mapError((error) =>
+        corruptionFailure(
+          operation,
+          "effect_agent_settlement_reservations",
+          validated.submissionId,
+          error.message,
+        ),
+      ),
+    );
+
+    const settlementFailure = settlementFailureFromRecord(reservationRecord);
+
+    if ((reservation.value.outcome === "failed") !== (settlementFailure !== undefined)) {
+      return yield* corruptionFailure(
+        operation,
+        "effect_agent_settlement_reservations",
+        validated.submissionId,
+        "The reserved outcome and canonical failure diagnostic disagree.",
+      );
+    }
+
+    return { reservation: reservation.value, settlementFailure };
+  });
+
+  const replayFinalization = Effect.fn("SqliteSubmissionLedger.replayFinalization")(function* (
+    validated: SettlementFinalization,
+    submission: SubmissionRow,
+    { reservation, settlementFailure }: Effect.Success<ReturnType<typeof validateFinalization>>,
+  ) {
+    const operation = "ledger finalize settlement";
+
+    if (reservation.finalized_at === null) {
+      return yield* corruptionFailure(
+        operation,
+        "effect_agent_settlement_reservations",
+        validated.submissionId,
+        "A settled Submission's reservation carries no finalization timestamp.",
+      );
+    }
+
+    return yield* decodeSettlement({
+      submissionId: validated.submissionId,
+      settlementId: validated.settlementId,
+      receiptId: submission.receipt_id,
+      outcome: reservation.outcome,
+      ...(settlementFailure === undefined ? {} : { failure: settlementFailure }),
+      settledAt: reservation.finalized_at,
+    }).pipe(Effect.mapError(internalFailure(operation)));
+  });
+
   const finalizeSettlement: SubmissionLedger["Service"]["finalizeSettlement"] = Effect.fn(
     "SqliteSubmissionLedger.finalizeSettlement",
   )(function* (request: SettlementFinalization) {
@@ -1827,73 +1897,74 @@ const makeServices = Effect.fn("SqliteSubmissionLedger.makeServices")(function*
 
     yield* hitFailpoint("ledger:finalize-settlement:before", operation);
 
-    const settlement = yield* inWriteTransaction(
-      operation,
-      Effect.gen(function* () {
-        const reservation = yield* readReservation(operation, validated.submissionId);
+    // A single statement captures the settled row and its immutable reservation together.
+    // A miss does not authorize finalization: the write path re-reads under its transaction.
+    const replayRows = yield* sql<Record<string, unknown>>`
+      SELECT submission.*, reservation.settlement_id, reservation.outcome,
+        reservation.record_id, reservation.record_json, reservation.record_digest,
+        reservation.reserved_at, reservation.finalized_at
+      FROM effect_agent_submissions AS submission
+      INNER JOIN effect_agent_settlement_reservations AS reservation
+        ON reservation.submission_id = submission.submission_id
+      WHERE submission.submission_id = ${validated.submissionId} AND submission.state = 'settled'
+    `.pipe(Effect.mapError(sqlFailure(operation)));
 
-        if (Option.isNone(reservation)) {
-          return yield* LedgerError.make({
-            operation,
-            message: `No settlement reservation exists for submission ${validated.submissionId}.`,
-          });
-        }
-        if (reservation.value.settlement_id !== validated.settlementId) {
-          return yield* SettlementConflict.make({
-            submissionId: validated.submissionId,
-            existingOutcome: reservation.value.outcome,
-          });
-        }
+    if (replayRows.length > 1) {
+      return yield* corruptionFailure(
+        operation,
+        "effect_agent_submissions",
+        validated.submissionId,
+        "A submission primary key returned more than one row.",
+      );
+    }
+    const replayRow = replayRows[0];
 
-        const reservationRecord = yield* decodeRecordEnvelopeText(
-          reservation.value.record_json,
-        ).pipe(
-          Effect.mapError((error) =>
-            corruptionFailure(
-              operation,
-              "effect_agent_settlement_reservations",
-              validated.submissionId,
-              error.message,
-            ),
-          ),
-        );
+    if (replayRow !== undefined) {
+      const reservations = yield* decodeRows(
+        Schema.Array(ReservationRow),
+        "effect_agent_settlement_reservations",
+        validated.submissionId,
+        replayRows,
+      ).pipe(Effect.mapError(internalFailure(operation)));
 
-        const settlementFailure = settlementFailureFromRecord(reservationRecord);
+      const state = yield* validateFinalization(validated, Option.fromUndefinedOr(reservations[0]));
 
-        if ((reservation.value.outcome === "failed") !== (settlementFailure !== undefined)) {
-          return yield* corruptionFailure(
+      const submission = yield* Schema.decodeUnknownEffect(SubmissionRow)(replayRow).pipe(
+        Effect.mapError((error) =>
+          corruptionFailure(
             operation,
-            "effect_agent_settlement_reservations",
+            "effect_agent_submissions",
             validated.submissionId,
-            "The reserved outcome and canonical failure diagnostic disagree.",
-          );
-        }
-        const submission = yield* requireSubmission(operation, validated.submissionId);
+            error.message,
+          ),
+        ),
+      );
 
-        if (submission.state === "settled") {
-          if (reservation.value.finalized_at === null) {
-            return yield* corruptionFailure(
-              operation,
-              "effect_agent_settlement_reservations",
-              validated.submissionId,
-              "A settled Submission's reservation carries no finalization timestamp.",
-            );
-          }
+      const settlement = yield* replayFinalization(validated, submission, state);
 
-          return yield* decodeSettlement({
-            submissionId: validated.submissionId,
-            settlementId: validated.settlementId,
-            receiptId: submission.receipt_id,
-            outcome: reservation.value.outcome,
-            ...(settlementFailure === undefined ? {} : { failure: settlementFailure }),
-            settledAt: reservation.value.finalized_at,
-          }).pipe(Effect.mapError(internalFailure(operation)));
-        }
+      yield* hitFailpoint("ledger:finalize-settlement:after", operation);
+
+      return settlement;
+    }
+
+    const settlement = yield* inWriteTransaction(
+      operation,
+      Effect.gen(function* () {
+        const state = yield* validateFinalization(
+          validated,
+          yield* readReservation(operation, validated.submissionId),
+        );
+
+        const { reservation, settlementFailure } = state;
+        const submission = yield* requireSubmission(operation, validated.submissionId);
+
+        if (submission.state === "settled")
+          return yield* replayFinalization(validated, submission, state);
         const now = yield* currentInstant;
 
         yield* sql`
           UPDATE effect_agent_submissions
-          SET state = 'settled', settled_outcome = ${reservation.value.outcome}
+          SET state = 'settled', settled_outcome = ${reservation.outcome}
           WHERE submission_id = ${validated.submissionId}
         `.pipe(Effect.mapError(sqlFailure(operation)));
         yield* sql`
@@ -1910,7 +1981,7 @@ const makeServices = Effect.fn("SqliteSubmissionLedger.makeServices")(function*
           submissionId: validated.submissionId,
           settlementId: validated.settlementId,
           receiptId: submission.receipt_id,
-          outcome: reservation.value.outcome,
+          outcome: reservation.outcome,
           ...(settlementFailure === undefined ? {} : { failure: settlementFailure }),
           settledAt: now.iso,
         }).pipe(Effect.mapError(internalFailure(operation)));
@@ -3051,13 +3122,7 @@ const makeServices = Effect.fn("SqliteSubmissionLedger.makeServices")(function*
           SELECT ${sql.literal(SUBMISSION_COLUMNS)}
           FROM effect_agent_submissions
           WHERE state <> 'settled'
-            AND (
-              thread_id > ${cursor.threadId}
-              OR (
-                thread_id = ${cursor.threadId}
-                AND queue_sequence > ${cursor.queueSequence}
-              )
-            )
+            AND (thread_id, queue_sequence) > (${cursor.threadId}, ${cursor.queueSequence})
           ORDER BY thread_id ASC, queue_sequence ASC
           LIMIT ${SCAN_PAGE_SIZE}
         `

package/src/internal/migrations.ts

@@ -5,7 +5,15 @@ 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 = 10;
+export const CurrentSqliteStorageVersion = 11;
+
+/** Index only outstanding obligations, ordered by the recovery scan's stable cursor. */
+export const createNonterminalIndex = Effect.gen(function* () {
+  const sql = yield* SqlClient.SqlClient;
+
+  yield* sql`CREATE INDEX effect_agent_submissions_nonterminal ON effect_agent_submissions (thread_id, queue_sequence) WHERE state <> 'settled'`
+    .withoutTransform;
+});
 
 /** Initialize empty storage with the complete current schema. */
 export const sqliteMigrations = SqliteMigrator.fromRecord({
@@ -336,8 +344,9 @@ export const sqliteMigrations = SqliteMigrator.fromRecord({
       .withoutTransform;
     yield* sql`CREATE INDEX effect_agent_subscription_deliveries_registration ON effect_agent_subscription_deliveries (tenant_id, source_address, owner_id, subscription_id, delivery_key)`
       .withoutTransform;
+    yield* createNonterminalIndex;
     yield* createMessageDeliveryTables;
     yield* createRecoveryCheckpointTable;
-    yield* sql`PRAGMA user_version = 10`.withoutTransform;
+    yield* sql`PRAGMA user_version = 11`.withoutTransform;
   }),
 });

package/src/internal/sqlite-journal.ts

@@ -37,7 +37,11 @@ import {
 } from "../SqliteStorageError.ts";
 import { SqliteStorageFailpoint } from "../SqliteStorageFailpoint.ts";
 import { createMessageDeliveryTables } from "./message-delivery-schema.ts";
-import { CurrentSqliteStorageVersion, sqliteMigrations } from "./migrations.ts";
+import {
+  CurrentSqliteStorageVersion,
+  createNonterminalIndex,
+  sqliteMigrations,
+} from "./migrations.ts";
 import { createRecoveryCheckpointTable } from "./recovery-checkpoint-schema.ts";
 
 const BoundedStoredText = Schema.String.check(Schema.isMaxLength(16 * 1024 * 1024));
@@ -381,11 +385,11 @@ const predecessorColumns = {
 } as const;
 
 const checkPredecessorLayout = Effect.fn("SqliteJournal.checkPredecessorLayout")(function* (
-  version: 8 | 9,
+  version: 8 | 9 | 10,
 ) {
   const sql = yield* SqlClient.SqlClient;
 
-  const expectedColumns =
+  const messageColumns =
     version === 8
       ? predecessorColumns
       : {
@@ -405,6 +409,20 @@ const checkPredecessorLayout = Effect.fn("SqliteJournal.checkPredecessorLayout")
           ],
         };
 
+  const expectedColumns = {
+    ...messageColumns,
+    ...(version === 10
+      ? {
+          effect_agent_recovery_checkpoints: [
+            "thread_id",
+            "through_sequence",
+            "tail_digest",
+            "checkpoint_json",
+          ],
+        }
+      : {}),
+  };
+
   for (const [table, expected] of Object.entries(expectedColumns)) {
     const columns = yield* decodeRows(
       Schema.Array(Schema.Struct({ name: BoundedIdentifier })),
@@ -472,6 +490,7 @@ export const initializeSqliteJournal = Effect.fn("SqliteJournal.initialize")(fun
     version.user_version !== 7 &&
     version.user_version !== 8 &&
     version.user_version !== 9 &&
+    version.user_version !== 10 &&
     version.user_version !== CurrentSqliteStorageVersion
   ) {
     return yield* SqliteStorageCompatibilityError.make({
@@ -480,11 +499,16 @@ 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 and v9 can be upgraded automatically. Keep the original file and use a compatible library version.",
+        "Only supported v7, v8, v9 and v10 can be upgraded automatically. Keep the original file and use a compatible library version.",
     });
   }
 
-  if (version.user_version === 7 || version.user_version === 8 || version.user_version === 9) {
+  if (
+    version.user_version === 7 ||
+    version.user_version === 8 ||
+    version.user_version === 9 ||
+    version.user_version === 10
+  ) {
     yield* sql
       .withTransaction(
         Effect.gen(function* () {
@@ -496,7 +520,8 @@ export const initializeSqliteJournal = Effect.fn("SqliteJournal.initialize")(fun
             current.length !== 1 ||
             (current[0].user_version !== 7 &&
               current[0].user_version !== 8 &&
-              current[0].user_version !== 9)
+              current[0].user_version !== 9 &&
+              current[0].user_version !== 10)
           )
             return yield* SqliteStorageCompatibilityError.make({
               actualVersion: -1,
@@ -524,12 +549,23 @@ export const initializeSqliteJournal = Effect.fn("SqliteJournal.initialize")(fun
           const recoveryTables =
             yield* sql`SELECT name FROM sqlite_master WHERE type='table' AND name='effect_agent_recovery_checkpoints'`;
 
-          if (recoveryTables.length !== 0)
+          if (recoveryTables.length !== (current[0].user_version === 10 ? 1 : 0))
             return yield* SqliteStorageCompatibilityError.make({
               actualVersion: current[0].user_version,
               supportedVersion: CurrentSqliteStorageVersion,
               message:
-                "The predecessor already contains recovery checkpoint storage; refusing ambiguous data without mutation.",
+                "The predecessor recovery checkpoint storage does not match its version; refusing ambiguous data without mutation.",
+            });
+
+          const indexes =
+            yield* sql`SELECT name FROM sqlite_master WHERE name='effect_agent_submissions_nonterminal'`;
+
+          if (indexes.length !== 0)
+            return yield* SqliteStorageCompatibilityError.make({
+              actualVersion: current[0].user_version,
+              supportedVersion: CurrentSqliteStorageVersion,
+              message:
+                "The predecessor already contains the nonterminal index; refusing ambiguous storage without mutation.",
             });
           if (current[0].user_version === 7) {
             yield* checkV2ThreadLayout();
@@ -561,9 +597,13 @@ export const initializeSqliteJournal = Effect.fn("SqliteJournal.initialize")(fun
               }),
             );
           }
-          if (current[0].user_version === 8 || current[0].user_version === 9)
+          if (
+            current[0].user_version === 8 ||
+            current[0].user_version === 9 ||
+            current[0].user_version === 10
+          )
             yield* checkPredecessorLayout(current[0].user_version);
-          if (current[0].user_version !== 9) {
+          if (current[0].user_version === 7 || current[0].user_version === 8) {
             yield* failpoint("upgrade:before-mutation");
             yield* sql`ALTER TABLE effect_agent_submissions ADD COLUMN worker_admission_json TEXT`;
             yield* failpoint("upgrade:after-mutation");
@@ -574,11 +614,16 @@ export const initializeSqliteJournal = Effect.fn("SqliteJournal.initialize")(fun
             yield* createMessageDeliveryTables;
             yield* failpoint("upgrade:after-mutation");
           }
+          if (current[0].user_version !== 10) {
+            yield* failpoint("upgrade:before-mutation");
+            yield* createRecoveryCheckpointTable;
+            yield* failpoint("upgrade:after-mutation");
+          }
           yield* failpoint("upgrade:before-mutation");
-          yield* createRecoveryCheckpointTable;
+          yield* createNonterminalIndex;
           yield* failpoint("upgrade:after-mutation");
           yield* failpoint("upgrade:before-version");
-          yield* sql`PRAGMA user_version = 10`;
+          yield* sql`PRAGMA user_version = 11`;
           yield* failpoint("upgrade:after-version");
         }),
       )
@@ -655,7 +700,7 @@ export const initializeSqliteJournal = Effect.fn("SqliteJournal.initialize")(fun
   const requiredRows = yield* sql<Record<string, unknown>>`
     SELECT name
     FROM sqlite_master
-    WHERE type = 'table'
+    WHERE (type = 'table'
       AND name IN (
         'effect_agent_threads',
         'effect_agent_canonical_batches',
@@ -671,7 +716,7 @@ export const initializeSqliteJournal = Effect.fn("SqliteJournal.initialize")(fun
         'effect_agent_schedules',
         'effect_agent_message_deliveries',
         'effect_agent_recovery_checkpoints'
-      )
+      )) OR (type = 'index' AND name = 'effect_agent_submissions_nonterminal')
     ORDER BY name
   `.pipe(Effect.mapError(storageError("verify storage tables")));
 
@@ -682,12 +727,12 @@ export const initializeSqliteJournal = Effect.fn("SqliteJournal.initialize")(fun
     requiredRows,
   );
 
-  if (required.length !== 14) {
+  if (required.length !== 15) {
     return yield* SqliteStorageCompatibilityError.make({
       actualVersion: CurrentSqliteStorageVersion,
       supportedVersion: CurrentSqliteStorageVersion,
       message:
-        "The SQLite file claims the current format but is missing required tables. Retain the original store for inspection.",
+        "The SQLite file claims the current format but is missing required tables or its nonterminal index. Retain the original store for inspection.",
     });
   }
 

package/dist/migrations-NWxfq43W.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"migrations-NWxfq43W.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 * 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 = 10;\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* createMessageDeliveryTables;\n    yield* createRecoveryCheckpointTable;\n    yield* sql`PRAGMA user_version = 10`.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;;;ACTD,MAAa,8BAA8B;;AAG3C,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,GAAG,2BAA2B;AACvC,CAAC,EACH,CAAC"}