@effect-agent/storage-sqlite 0.1.0-beta.56 → 0.1.0-beta.57

package/dist/sqlite-journal-lDduEakl.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"sqlite-journal-lDduEakl.mjs","names":[],"sources":["../src/internal/sqlite-journal.ts"],"sourcesContent":["import { CanonicalSequence, ProducerEpoch } from \"@effect-agent/thread/Records\";\nimport { ScheduleFailpoint, ScheduleFailpointError } from \"@effect-agent/thread/Schedule\";\nimport {\n  checkV2ThreadLayout,\n  upgradeV2Schedules,\n  upgradeV2Subscriptions,\n} from \"@effect-agent/thread/SqlStorageV2Upgrade\";\nimport {\n  SubscriptionFailpoint,\n  SubscriptionFailpointError,\n} from \"@effect-agent/thread/Subscription\";\nimport { NodeCrypto } from \"@effect/platform-node\";\nimport { SqliteMigrator } from \"@effect/sql-sqlite-node\";\nimport { Effect, Exit, Schema } from \"effect\";\nimport * as SqlClient from \"effect/unstable/sql/SqlClient\";\nimport type { SqlError } from \"effect/unstable/sql/SqlError\";\n\nimport { SqliteStorageConfig } from \"../SqliteStorageConfig.ts\";\nimport type { SqliteStorageFailpointError } from \"../SqliteStorageError.ts\";\nimport {\n  SqliteAppendConflict,\n  SqliteCheckpointConflict,\n  SqliteFenceRejected,\n  SqliteStorageCompatibilityError,\n  SqliteStorageFailpointLocation,\n  SqliteStorageCorruptionError,\n  SqliteStorageError,\n  SqliteWriteContention,\n} from \"../SqliteStorageError.ts\";\nimport { SqliteStorageFailpoint } from \"../SqliteStorageFailpoint.ts\";\nimport { createMessageDeliveryTables } from \"./message-delivery-schema.ts\";\nimport { CurrentSqliteStorageVersion, sqliteMigrations } from \"./migrations.ts\";\n\nconst BoundedStoredText = Schema.String.check(Schema.isMaxLength(16 * 1024 * 1024));\nconst BoundedIdentifier = Schema.NonEmptyString.check(Schema.isMaxLength(1024));\nconst NonNegativeInt = Schema.Int.check(Schema.isGreaterThanOrEqualTo(0));\nconst MAX_RECORDS_PER_THREAD = 65_536;\nconst MAX_STORED_TEXT_BYTES = 16 * 1024 * 1024;\nconst MAX_IDENTIFIER_LENGTH = 1_024;\n\nconst storedTextBytes = (value: string): number => new TextEncoder().encode(value).byteLength;\n\nclass SqliteVersionRow extends Schema.Class<SqliteVersionRow>(\"SqliteVersionRow\")({\n  user_version: NonNegativeInt,\n}) {}\n\nclass SqliteJournalModeRow extends Schema.Class<SqliteJournalModeRow>(\"SqliteJournalModeRow\")({\n  journal_mode: Schema.NonEmptyString.check(Schema.isMaxLength(32)),\n}) {}\n\nclass SqliteNameRow extends Schema.Class<SqliteNameRow>(\"SqliteNameRow\")({\n  name: BoundedIdentifier,\n}) {}\n\nclass ThreadRow extends Schema.Class<ThreadRow>(\"ThreadRow\")({\n  thread_id: BoundedIdentifier,\n  created_at: Schema.NonEmptyString.check(Schema.isMaxLength(128)),\n  producer_epoch: ProducerEpoch,\n  tail_digest: BoundedStoredText,\n  tail_sequence: CanonicalSequence,\n}) {}\n\nclass BatchRow extends Schema.Class<BatchRow>(\"BatchRow\")({\n  batch_digest: BoundedStoredText,\n  batch_id: BoundedIdentifier,\n  batch_json: BoundedStoredText,\n  thread_id: BoundedIdentifier,\n  first_sequence: CanonicalSequence,\n  last_sequence: CanonicalSequence,\n  tail_digest: BoundedStoredText,\n}) {}\n\nclass RecordRow extends Schema.Class<RecordRow>(\"RecordRow\")({\n  batch_id: BoundedIdentifier,\n  thread_id: BoundedIdentifier,\n  record_id: BoundedIdentifier,\n  record_json: BoundedStoredText,\n  sequence: CanonicalSequence,\n}) {}\n\nclass CheckpointRow extends Schema.Class<CheckpointRow>(\"CheckpointRow\")({\n  checkpoint_json: BoundedStoredText,\n  thread_id: BoundedIdentifier,\n  tail_digest: BoundedStoredText,\n  through_sequence: CanonicalSequence,\n}) {}\n\nexport class RawRecord extends Schema.Class<RawRecord>(\"@effect-agent/storage-sqlite/RawRecord\")({\n  recordId: BoundedIdentifier,\n  recordJson: BoundedStoredText,\n}) {}\n\nexport class RawAppendRequest extends Schema.Class<RawAppendRequest>(\n  \"@effect-agent/storage-sqlite/RawAppendRequest\",\n)({\n  batchDigest: BoundedStoredText,\n  batchId: BoundedIdentifier,\n  batchJson: BoundedStoredText,\n  threadId: BoundedIdentifier,\n  expectedTailDigest: BoundedStoredText,\n  expectedTailSequence: CanonicalSequence,\n  producerEpoch: ProducerEpoch,\n  records: Schema.NonEmptyArray(RawRecord).check(Schema.isMaxLength(256)),\n  tailDigest: BoundedStoredText,\n}) {}\n\nexport class RawAppendResult extends Schema.Class<RawAppendResult>(\n  \"@effect-agent/storage-sqlite/RawAppendResult\",\n)({\n  firstSequence: CanonicalSequence,\n  lastSequence: CanonicalSequence,\n  replayed: Schema.Boolean,\n  tailDigest: BoundedStoredText,\n}) {}\n\nexport class RawReadRequest extends Schema.Class<RawReadRequest>(\n  \"@effect-agent/storage-sqlite/RawReadRequest\",\n)({\n  threadId: BoundedIdentifier,\n  fromSequenceExclusive: CanonicalSequence,\n  limit: Schema.Int.check(Schema.isGreaterThan(0), Schema.isLessThanOrEqualTo(1_024)),\n}) {}\n\nexport class RawCheckpoint extends Schema.Class<RawCheckpoint>(\n  \"@effect-agent/storage-sqlite/RawCheckpoint\",\n)({\n  checkpointJson: BoundedStoredText,\n  threadId: BoundedIdentifier,\n  tailDigest: BoundedStoredText,\n  throughSequence: CanonicalSequence,\n}) {}\n\nexport class RawThreadExport extends Schema.Class<RawThreadExport>(\n  \"@effect-agent/storage-sqlite/RawThreadExport\",\n)({\n  thread: ThreadRow,\n  records: Schema.Array(RecordRow),\n}) {}\n\ntype AppendError =\n  | SqliteAppendConflict\n  | SqliteFenceRejected\n  | SqliteStorageCorruptionError\n  | SqliteStorageError\n  | SqliteStorageFailpointError\n  | SqliteWriteContention;\n\ntype CheckpointError =\n  | SqliteCheckpointConflict\n  | SqliteStorageCorruptionError\n  | SqliteStorageError\n  | SqliteWriteContention;\n\nconst storageError =\n  (operation: string) =>\n  (error: SqlError): SqliteStorageError =>\n    SqliteStorageError.make({\n      cause: error,\n      operation,\n      message: error.message,\n    });\n\n/** Decode raw SQLite rows against a Schema, reporting failures as typed corruption. */\nexport const decodeRows = Effect.fn(\"SqliteJournal.decodeRows\")(\n  <A, I>(\n    schema: Schema.Codec<ReadonlyArray<A>, ReadonlyArray<I>>,\n    table: string,\n    rowKey: string,\n    rows: unknown,\n  ): Effect.Effect<ReadonlyArray<A>, SqliteStorageCorruptionError> =>\n    Schema.decodeUnknownEffect(schema)(rows).pipe(\n      Effect.mapError((error) =>\n        SqliteStorageCorruptionError.make({\n          table,\n          rowKey,\n          message: String(error),\n        }),\n      ),\n    ),\n);\n\n/** Decode exactly one raw SQLite row against a Schema, reporting failures as typed corruption. */\nexport const decodeSingleRow = Effect.fn(\"SqliteJournal.decodeSingleRow\")(\n  <A, I>(\n    schema: Schema.Codec<ReadonlyArray<A>, ReadonlyArray<I>>,\n    table: string,\n    rowKey: string,\n    rows: unknown,\n  ): Effect.Effect<A, SqliteStorageCorruptionError> =>\n    decodeRows(schema, table, rowKey, rows).pipe(\n      Effect.flatMap((decoded) =>\n        decoded.length === 1\n          ? Effect.succeed(decoded[0])\n          : Effect.fail(\n              SqliteStorageCorruptionError.make({\n                table,\n                rowKey,\n                message: `Expected exactly one row but found ${decoded.length}.`,\n              }),\n            ),\n      ),\n    ),\n);\n\n/** Column inventory of the supported v8 predecessor, independent of physical column order. */\nconst predecessorColumns = {\n  effect_agent_threads: [\n    \"thread_id\",\n    \"created_at\",\n    \"tail_sequence\",\n    \"tail_digest\",\n    \"producer_epoch\",\n  ],\n  effect_agent_canonical_batches: [\n    \"thread_id\",\n    \"batch_id\",\n    \"first_sequence\",\n    \"last_sequence\",\n    \"batch_digest\",\n    \"tail_digest\",\n    \"batch_json\",\n  ],\n  effect_agent_canonical_records: [\"thread_id\", \"sequence\", \"record_id\", \"batch_id\", \"record_json\"],\n  effect_agent_checkpoints: [\"thread_id\", \"through_sequence\", \"tail_digest\", \"checkpoint_json\"],\n  effect_agent_submissions: [\n    \"submission_id\",\n    \"thread_id\",\n    \"queue_sequence\",\n    \"principal\",\n    \"idempotency_key\",\n    \"agent_id\",\n    \"agent_digests_json\",\n    \"deployment_id\",\n    \"input_json\",\n    \"input_digest\",\n    \"receipt_id\",\n    \"state\",\n    \"settled_outcome\",\n    \"created_at\",\n    \"ready_at\",\n    \"input_applied_record_id\",\n    \"input_applied_sequence\",\n    \"joined_host_submission_id\",\n    \"suspended_reason_json\",\n    \"suspended_at\",\n    \"unknown_reason\",\n    \"unknown_tool_call_ids_json\",\n    \"parent_submission_id\",\n    \"parent_tool_call_id\",\n    \"admission_group\",\n    \"admission_fence_json\",\n  ],\n  effect_agent_submission_ownership: [\n    \"submission_id\",\n    \"attempt_id\",\n    \"ownership_token\",\n    \"producer_epoch\",\n    \"owner_producer_id\",\n    \"lease_expires_at\",\n  ],\n  effect_agent_attempts: [\n    \"attempt_id\",\n    \"submission_id\",\n    \"thread_id\",\n    \"owner_producer_id\",\n    \"producer_epoch\",\n    \"claimed_at\",\n  ],\n  effect_agent_settlement_reservations: [\n    \"submission_id\",\n    \"settlement_id\",\n    \"outcome\",\n    \"record_id\",\n    \"record_json\",\n    \"record_digest\",\n    \"reserved_at\",\n    \"finalized_at\",\n  ],\n  effect_agent_abort_intents: [\n    \"submission_id\",\n    \"author\",\n    \"reason\",\n    \"requested_at\",\n    \"canonical_record_id\",\n  ],\n  effect_agent_approval_decisions: [\n    \"submission_id\",\n    \"tool_call_id\",\n    \"decision\",\n    \"resolver\",\n    \"reason\",\n    \"decided_at\",\n  ],\n  effect_agent_unknown_resolutions: [\n    \"submission_id\",\n    \"tool_call_id\",\n    \"author\",\n    \"reason\",\n    \"resolution_json\",\n    \"resolved_at\",\n  ],\n  effect_agent_child_reservations: [\n    \"reservation_id\",\n    \"parent_submission_id\",\n    \"parent_tool_call_id\",\n    \"child_submission_id\",\n    \"status\",\n    \"allocation_json\",\n    \"allocation_digest\",\n    \"accounting_json\",\n    \"reserved_at\",\n    \"release_began_at\",\n    \"released_at\",\n  ],\n  effect_agent_schedules: [\n    \"tenant_id\",\n    \"owner_id\",\n    \"schedule_id\",\n    \"deadline_at_millis\",\n    \"record_json\",\n  ],\n  effect_agent_subscription_sequences: [\n    \"tenant_id\",\n    \"source_address\",\n    \"sequence\",\n    \"event_scan_cursor\",\n    \"delivery_scan_cursor\",\n    \"recovery_scan_cursor\",\n  ],\n  effect_agent_subscriptions: [\n    \"tenant_id\",\n    \"source_address\",\n    \"owner_id\",\n    \"subscription_id\",\n    \"ordinal\",\n    \"source_name\",\n    \"source_version\",\n    \"matching_key\",\n    \"state\",\n    \"expires_at_millis\",\n    \"recovery_at_millis\",\n    \"recovery_present\",\n    \"record_json\",\n  ],\n  effect_agent_subscription_events: [\n    \"tenant_id\",\n    \"source_address\",\n    \"event_id\",\n    \"source_name\",\n    \"source_version\",\n    \"matching_key\",\n    \"payload_digest\",\n    \"cutoff\",\n    \"cursor\",\n    \"routing_complete\",\n    \"next_attempt_at_millis\",\n    \"record_json\",\n    \"tombstone\",\n  ],\n  effect_agent_subscription_deliveries: [\n    \"tenant_id\",\n    \"source_address\",\n    \"owner_id\",\n    \"subscription_id\",\n    \"event_id\",\n    \"delivery_key\",\n    \"state\",\n    \"next_attempt_at_millis\",\n    \"record_json\",\n  ],\n} as const;\n\nconst checkPredecessorLayout = Effect.fn(\"SqliteJournal.checkPredecessorLayout\")(function* () {\n  const sql = yield* SqlClient.SqlClient;\n\n  for (const [table, expected] of Object.entries(predecessorColumns)) {\n    const columns = yield* decodeRows(\n      Schema.Array(Schema.Struct({ name: BoundedIdentifier })),\n      table,\n      \"schema\",\n      yield* sql.unsafe(`PRAGMA table_info(${table})`),\n    );\n\n    const names = new Set<string>(expected);\n\n    if (columns.length !== names.size || columns.some((column) => !names.has(column.name)))\n      return yield* SqliteStorageCompatibilityError.make({\n        actualVersion: 8,\n        supportedVersion: CurrentSqliteStorageVersion,\n        message: `The v8 ${table} columns do not match the supported predecessor; no upgrade was committed.`,\n      });\n  }\n});\n\nexport const initializeSqliteJournal = Effect.fn(\"SqliteJournal.initialize\")(function* () {\n  const sql = yield* SqlClient.SqlClient;\n  const { hit: failpoint } = yield* SqliteStorageFailpoint;\n  const { busyTimeout } = yield* SqliteStorageConfig;\n\n  yield* sql`PRAGMA foreign_keys = ON`.pipe(Effect.mapError(storageError(\"enable foreign keys\")));\n  // PRAGMA statements do not accept bound parameters; the value is a schema-validated\n  // non-negative integer, never caller-controlled text.\n  yield* sql\n    .unsafe(`PRAGMA busy_timeout = ${busyTimeout}`)\n    .pipe(Effect.mapError(storageError(\"configure busy timeout\")));\n\n  const journalModeRows = yield* sql<Record<string, unknown>>`PRAGMA journal_mode`.pipe(\n    Effect.mapError(storageError(\"read journal mode\")),\n  );\n\n  const journalMode = yield* decodeSingleRow(\n    Schema.Array(SqliteJournalModeRow),\n    \"pragma_journal_mode\",\n    \"singleton\",\n    journalModeRows,\n  );\n\n  if (journalMode.journal_mode.toLowerCase() !== \"wal\") {\n    return yield* SqliteStorageCompatibilityError.make({\n      actualVersion: 0,\n      supportedVersion: CurrentSqliteStorageVersion,\n      message: `SQLite WAL mode is required; the database reported ${journalMode.journal_mode}.`,\n    });\n  }\n\n  const versionRows = yield* sql<Record<string, unknown>>`PRAGMA user_version`.pipe(\n    Effect.mapError(storageError(\"read storage version\")),\n  );\n\n  const version = yield* decodeSingleRow(\n    Schema.Array(SqliteVersionRow),\n    \"pragma_user_version\",\n    \"singleton\",\n    versionRows,\n  );\n\n  // Support the known beta49/beta50 and immediate predecessor formats atomically.\n  if (\n    version.user_version !== 0 &&\n    version.user_version !== 7 &&\n    version.user_version !== 8 &&\n    version.user_version !== CurrentSqliteStorageVersion\n  ) {\n    return yield* SqliteStorageCompatibilityError.make({\n      actualVersion: version.user_version,\n      supportedVersion: CurrentSqliteStorageVersion,\n      message:\n        `The SQLite file uses unsupported storage version ${version.user_version}; ` +\n        `this build supports exactly version ${CurrentSqliteStorageVersion}. ` +\n        \"Only supported v7 and v8 can be upgraded automatically. Keep the original file and use a compatible library version.\",\n    });\n  }\n\n  if (version.user_version === 7 || version.user_version === 8) {\n    yield* sql\n      .withTransaction(\n        Effect.gen(function* () {\n          const current = yield* sql<{ user_version: number }>`PRAGMA user_version`;\n\n          if (current.length === 1 && current[0].user_version === CurrentSqliteStorageVersion)\n            return;\n          if (\n            current.length !== 1 ||\n            (current[0].user_version !== 7 && current[0].user_version !== 8)\n          )\n            return yield* SqliteStorageCompatibilityError.make({\n              actualVersion: -1,\n              supportedVersion: CurrentSqliteStorageVersion,\n              message: \"Storage version changed while acquiring the upgrade transaction.\",\n            });\n\n          const required = yield* sql<{\n            name: string;\n          }>`SELECT name FROM sqlite_master WHERE type='table' AND name IN (\n            'effect_agent_threads', 'effect_agent_canonical_batches', 'effect_agent_canonical_records',\n            'effect_agent_checkpoints', 'effect_agent_submissions', 'effect_agent_submission_ownership',\n            'effect_agent_attempts', 'effect_agent_settlement_reservations', 'effect_agent_abort_intents',\n            'effect_agent_approval_decisions', 'effect_agent_unknown_resolutions', 'effect_agent_schedules'\n          )`;\n\n          if (required.length !== 12)\n            return yield* SqliteStorageCompatibilityError.make({\n              actualVersion: current[0].user_version,\n              supportedVersion: CurrentSqliteStorageVersion,\n              message:\n                \"The predecessor store is missing required tables; no upgrade was committed.\",\n            });\n\n          if (current[0].user_version === 7) {\n            yield* checkV2ThreadLayout();\n            for (const statement of [\n              sql`ALTER TABLE effect_agent_submissions ADD COLUMN admission_group TEXT`,\n              sql`ALTER TABLE effect_agent_submissions ADD COLUMN admission_fence_json TEXT`,\n              sql`CREATE INDEX effect_agent_submissions_group ON effect_agent_submissions (thread_id, admission_group, state)`,\n            ]) {\n              yield* failpoint(\"upgrade:before-mutation\");\n              yield* statement;\n              yield* failpoint(\"upgrade:after-mutation\");\n            }\n            yield* upgradeV2Schedules(16 * 1024 * 1024).pipe(\n              Effect.provideService(ScheduleFailpoint, {\n                hit: (point) =>\n                  Schema.decodeUnknownEffect(SqliteStorageFailpointLocation)(point).pipe(\n                    Effect.flatMap(failpoint),\n                    Effect.mapError(() => ScheduleFailpointError.make({ point })),\n                  ),\n              }),\n            );\n            yield* upgradeV2Subscriptions(16 * 1024 * 1024).pipe(\n              Effect.provideService(SubscriptionFailpoint, {\n                hit: (point) =>\n                  Schema.decodeUnknownEffect(SqliteStorageFailpointLocation)(point).pipe(\n                    Effect.flatMap(failpoint),\n                    Effect.mapError(() => SubscriptionFailpointError.make({ point })),\n                  ),\n              }),\n            );\n          }\n          if (current[0].user_version === 8) yield* checkPredecessorLayout();\n          yield* failpoint(\"upgrade:before-mutation\");\n          yield* sql`ALTER TABLE effect_agent_submissions ADD COLUMN worker_admission_json TEXT`;\n          yield* failpoint(\"upgrade:after-mutation\");\n          yield* failpoint(\"upgrade:before-mutation\");\n          yield* sql`ALTER TABLE effect_agent_submissions ADD COLUMN message_admission_json TEXT`;\n          yield* failpoint(\"upgrade:after-mutation\");\n          yield* failpoint(\"upgrade:before-mutation\");\n          yield* createMessageDeliveryTables;\n          yield* failpoint(\"upgrade:after-mutation\");\n          yield* failpoint(\"upgrade:before-version\");\n          yield* sql`PRAGMA user_version = 9`;\n          yield* failpoint(\"upgrade:after-version\");\n        }),\n      )\n      .pipe(\n        Effect.provide(NodeCrypto.layer),\n        Effect.catchTag(\"SqliteStorageFailpointError\", (error) =>\n          SqliteStorageError.make({\n            cause: error,\n            operation: \"upgrade storage\",\n            message: error.message,\n          }),\n        ),\n        Effect.catchTag([\"ScheduleFailpointError\", \"SubscriptionFailpointError\"], (error) =>\n          SqliteStorageError.make({\n            cause: error,\n            operation: \"upgrade storage\",\n            message: \"Injected storage upgrade failure\",\n          }),\n        ),\n        Effect.catchTag(\"StorageUpgradeError\", (error) =>\n          SqliteStorageCorruptionError.make({\n            table: error.table,\n            rowKey: error.rowKey,\n            message: error.message,\n          }),\n        ),\n        Effect.catchTag(\"SqlError\", storageError(\"upgrade supported storage\")),\n        Effect.catchTag(\"SchemaError\", (error) =>\n          SqliteStorageCorruptionError.make({\n            table: \"upgrade\",\n            rowKey: \"v7\",\n            message: error.message,\n          }),\n        ),\n      );\n  }\n\n  if (version.user_version === 0) {\n    const existingRows = yield* sql<Record<string, unknown>>`\n      SELECT name\n      FROM sqlite_master\n      WHERE type = 'table'\n        AND name LIKE 'effect_agent_%'\n      ORDER BY name\n    `.pipe(Effect.mapError(storageError(\"inspect unversioned storage\")));\n\n    const existing = yield* decodeRows(\n      Schema.Array(SqliteNameRow),\n      \"sqlite_master\",\n      \"effect_agent_%\",\n      existingRows,\n    );\n\n    if (existing.length > 0) {\n      return yield* SqliteStorageCompatibilityError.make({\n        actualVersion: 0,\n        supportedVersion: CurrentSqliteStorageVersion,\n        message:\n          \"The SQLite file contains unversioned Effect Agent tables. Refusing to mutate ambiguous stored data; retain it for inspection with its original writer.\",\n      });\n    }\n\n    yield* SqliteMigrator.run({ loader: sqliteMigrations }).pipe(\n      Effect.mapError((error) =>\n        SqliteStorageError.make({\n          cause: error,\n          operation: \"initialize current storage\",\n          message: error.message,\n        }),\n      ),\n    );\n  }\n\n  const requiredRows = yield* sql<Record<string, unknown>>`\n    SELECT name\n    FROM sqlite_master\n    WHERE type = 'table'\n      AND name IN (\n        'effect_agent_threads',\n        'effect_agent_canonical_batches',\n        'effect_agent_canonical_records',\n        'effect_agent_checkpoints',\n        'effect_agent_submissions',\n        'effect_agent_submission_ownership',\n        'effect_agent_attempts',\n        'effect_agent_settlement_reservations',\n        'effect_agent_abort_intents',\n        'effect_agent_approval_decisions',\n        'effect_agent_unknown_resolutions',\n        'effect_agent_schedules',\n        'effect_agent_message_deliveries'\n      )\n    ORDER BY name\n  `.pipe(Effect.mapError(storageError(\"verify storage tables\")));\n\n  const required = yield* decodeRows(\n    Schema.Array(SqliteNameRow),\n    \"sqlite_master\",\n    \"required_tables\",\n    requiredRows,\n  );\n\n  if (required.length !== 13) {\n    return yield* SqliteStorageCompatibilityError.make({\n      actualVersion: CurrentSqliteStorageVersion,\n      supportedVersion: CurrentSqliteStorageVersion,\n      message:\n        \"The SQLite file claims the current format but is missing required tables. Retain the original store for inspection.\",\n    });\n  }\n\n  const classifyWriteFailure =\n    (operation: string) =>\n    (error: SqlError): SqliteStorageError | SqliteWriteContention =>\n      error.reason._tag === \"LockTimeoutError\"\n        ? SqliteWriteContention.make({\n            cause: error,\n            operation,\n            message: `Another producer holds the SQLite write lock; ${operation} is safe to retry.`,\n          })\n        : storageError(operation)(error);\n\n  /**\n   * Runs one journal write transaction under `BEGIN IMMEDIATE`. SQLite's deferred `BEGIN`\n   * would let a read-then-write transaction start as a reader and fail with\n   * SQLITE_BUSY_SNAPSHOT on upgrade, which `busy_timeout` never retries. Taking the write\n   * lock up front keeps cross-owner contention inside the bounded busy retry; a lock\n   * timeout is classified as the retryable SqliteWriteContention. A failed `BEGIN` leaves\n   * no transaction, so no rollback is attempted for it.\n   *\n   * Journal write transactions are always top level. Nesting one inside another would\n   * deadlock the single-connection client, so new journal operations must not wrap this\n   * helper inside another transaction.\n   */\n  const withWriteTransaction =\n    (operation: string) =>\n    <A, E>(\n      effect: Effect.Effect<A, E>,\n    ): Effect.Effect<A, E | SqliteStorageError | SqliteWriteContention> =>\n      Effect.uninterruptibleMask((restore) =>\n        Effect.scoped(\n          Effect.gen(function* () {\n            const connection = yield* sql.reserve.pipe(\n              Effect.mapError(classifyWriteFailure(operation)),\n            );\n\n            yield* connection\n              .executeUnprepared(\"BEGIN IMMEDIATE\", [], undefined)\n              .pipe(Effect.mapError(classifyWriteFailure(operation)));\n\n            const exit = yield* restore(\n              Effect.provideService(effect, sql.transactionService, [connection, 0] as const),\n            ).pipe(Effect.exit);\n\n            if (Exit.isSuccess(exit)) {\n              yield* connection\n                .executeUnprepared(\"COMMIT\", [], undefined)\n                .pipe(Effect.mapError(classifyWriteFailure(operation)));\n\n              return exit.value;\n            }\n            yield* Effect.orDie(connection.executeUnprepared(\"ROLLBACK\", [], undefined));\n\n            return yield* exit;\n          }),\n        ).pipe(\n          Effect.withSpan(\"SqliteJournal.withWriteTransaction\", { attributes: { operation } }),\n        ),\n      );\n\n  /**\n   * Runs a read-only snapshot under a deferred transaction. Effect's SQLite client now\n   * starts every writable-client `withTransaction` with `BEGIN IMMEDIATE`, which is the\n   * right default for mutations but would make exports take the write lock and block a\n   * concurrent append. Reserving the connection and beginning explicitly preserves the\n   * adapter's snapshot-with-concurrent-writer contract. As with the write helper, a failed\n   * `BEGIN` is reported directly because there is no transaction to roll back.\n   */\n  const withReadTransaction =\n    (operation: string) =>\n    <A, E>(effect: Effect.Effect<A, E>): Effect.Effect<A, E | SqliteStorageError> =>\n      Effect.uninterruptibleMask((restore) =>\n        Effect.scoped(\n          Effect.gen(function* () {\n            const connection = yield* sql.reserve.pipe(Effect.mapError(storageError(operation)));\n\n            yield* connection\n              .executeUnprepared(\"BEGIN\", [], undefined)\n              .pipe(Effect.mapError(storageError(operation)));\n\n            const exit = yield* restore(\n              Effect.provideService(effect, sql.transactionService, [connection, 0] as const),\n            ).pipe(Effect.exit);\n\n            if (Exit.isSuccess(exit)) {\n              yield* connection\n                .executeUnprepared(\"COMMIT\", [], undefined)\n                .pipe(Effect.mapError(storageError(operation)));\n\n              return exit.value;\n            }\n            yield* Effect.orDie(connection.executeUnprepared(\"ROLLBACK\", [], undefined));\n\n            return yield* exit;\n          }),\n        ).pipe(Effect.withSpan(\"SqliteJournal.withReadTransaction\", { attributes: { operation } })),\n      );\n\n  const materialize = Effect.fn(\"SqliteJournal.materialize\")(function* (\n    threadId: string,\n    createdAt: string,\n    emptyTailDigest: string,\n    producerEpoch: ProducerEpoch,\n  ): Effect.fn.Return<\n    void,\n    SqliteFenceRejected | SqliteStorageCorruptionError | SqliteStorageError | SqliteWriteContention\n  > {\n    if (\n      threadId.length > MAX_IDENTIFIER_LENGTH ||\n      storedTextBytes(emptyTailDigest) > MAX_STORED_TEXT_BYTES\n    ) {\n      return yield* SqliteStorageError.make({\n        operation: \"materialize thread\",\n        message: \"Thread identity or initial digest exceeds the SQLite storage bounds.\",\n      });\n    }\n    yield* withWriteTransaction(\"materialize transaction\")(\n      Effect.gen(function* () {\n        const existingRows = yield* sql<Record<string, unknown>>`\n          SELECT\n            thread_id,\n            created_at,\n            tail_sequence,\n            tail_digest,\n            producer_epoch\n          FROM effect_agent_threads\n          WHERE thread_id = ${threadId}\n        `.pipe(Effect.mapError(storageError(\"read materialized thread\")));\n\n        const existing = yield* decodeRows(\n          Schema.Array(ThreadRow),\n          \"effect_agent_threads\",\n          threadId,\n          existingRows,\n        );\n\n        if (existing.length > 1) {\n          return yield* SqliteStorageCorruptionError.make({\n            table: \"effect_agent_threads\",\n            rowKey: threadId,\n            message: \"A thread primary key returned more than one row.\",\n          });\n        }\n        if (existing.length === 0) {\n          yield* sql`\n            INSERT INTO effect_agent_threads (\n              thread_id,\n              created_at,\n              tail_sequence,\n              tail_digest,\n              producer_epoch\n            ) VALUES (\n              ${threadId},\n              ${createdAt},\n              0,\n              ${emptyTailDigest},\n              ${producerEpoch}\n            )\n          `.pipe(Effect.mapError(storageError(\"materialize thread\")));\n\n          return;\n        }\n        if (producerEpoch < existing[0].producer_epoch) {\n          return yield* SqliteFenceRejected.make({\n            producerEpoch,\n            actualEpoch: existing[0].producer_epoch,\n            message: `Producer epoch ${producerEpoch} is stale; current epoch is ${existing[0].producer_epoch}.`,\n          });\n        }\n        if (producerEpoch > existing[0].producer_epoch) {\n          yield* sql`\n            UPDATE effect_agent_threads\n            SET producer_epoch = ${producerEpoch}\n            WHERE thread_id = ${threadId}\n          `.pipe(Effect.mapError(storageError(\"advance materialization epoch\")));\n        }\n      }),\n    );\n  });\n\n  const getThread = Effect.fn(\"SqliteJournal.getThread\")(function* (threadId: string) {\n    const rows = yield* sql<Record<string, unknown>>`\n      SELECT\n        thread_id,\n        created_at,\n        tail_sequence,\n        tail_digest,\n        producer_epoch\n      FROM effect_agent_threads\n      WHERE thread_id = ${threadId}\n    `.pipe(Effect.mapError(storageError(\"read thread\")));\n\n    return yield* decodeRows(Schema.Array(ThreadRow), \"effect_agent_threads\", threadId, rows);\n  });\n\n  const append = Effect.fn(\"SqliteJournal.append\")(function* (\n    request: RawAppendRequest,\n  ): Effect.fn.Return<RawAppendResult, AppendError> {\n    if (\n      request.threadId.length > MAX_IDENTIFIER_LENGTH ||\n      request.batchId.length > MAX_IDENTIFIER_LENGTH ||\n      storedTextBytes(request.batchJson) > MAX_STORED_TEXT_BYTES ||\n      storedTextBytes(request.batchDigest) > MAX_STORED_TEXT_BYTES ||\n      storedTextBytes(request.tailDigest) > MAX_STORED_TEXT_BYTES ||\n      request.records.some(\n        (record) =>\n          record.recordId.length > MAX_IDENTIFIER_LENGTH ||\n          storedTextBytes(record.recordJson) > MAX_STORED_TEXT_BYTES,\n      )\n    ) {\n      return yield* SqliteStorageError.make({\n        operation: \"append canonical batch\",\n        message: \"Canonical identifiers or encoded JSON exceed the SQLite storage bounds.\",\n      });\n    }\n\n    return yield* withWriteTransaction(\"append transaction\")(\n      Effect.gen(function* () {\n        const recordIds = request.records.map((record) => record.recordId);\n\n        if (new Set(recordIds).size !== recordIds.length) {\n          return yield* SqliteAppendConflict.make({\n            message: `Batch ${request.batchId} contains duplicate canonical record IDs.`,\n            reason: \"record-identity\",\n          });\n        }\n\n        const threadRows = yield* sql<Record<string, unknown>>`\n          SELECT\n            thread_id,\n            created_at,\n            tail_sequence,\n            tail_digest,\n            producer_epoch\n          FROM effect_agent_threads\n          WHERE thread_id = ${request.threadId}\n        `.pipe(Effect.mapError(storageError(\"read append tail\")));\n\n        const thread = yield* decodeSingleRow(\n          Schema.Array(ThreadRow),\n          \"effect_agent_threads\",\n          request.threadId,\n          threadRows,\n        );\n\n        if (request.producerEpoch !== thread.producer_epoch) {\n          return yield* SqliteFenceRejected.make({\n            producerEpoch: request.producerEpoch,\n            actualEpoch: thread.producer_epoch,\n            message: `Producer epoch ${request.producerEpoch} is not the current epoch ${thread.producer_epoch}.`,\n          });\n        }\n\n        const batchRows = yield* sql<Record<string, unknown>>`\n          SELECT\n            thread_id,\n            batch_id,\n            first_sequence,\n            last_sequence,\n            batch_digest,\n            tail_digest,\n            batch_json\n          FROM effect_agent_canonical_batches\n          WHERE thread_id = ${request.threadId}\n            AND batch_id = ${request.batchId}\n        `.pipe(Effect.mapError(storageError(\"read idempotent batch\")));\n\n        const batches = yield* decodeRows(\n          Schema.Array(BatchRow),\n          \"effect_agent_canonical_batches\",\n          `${request.threadId}/${request.batchId}`,\n          batchRows,\n        );\n\n        if (batches.length > 1) {\n          return yield* SqliteStorageCorruptionError.make({\n            table: \"effect_agent_canonical_batches\",\n            rowKey: `${request.threadId}/${request.batchId}`,\n            message: \"A canonical batch primary key returned more than one row.\",\n          });\n        }\n        if (batches.length === 1) {\n          const existing = batches[0];\n\n          if (existing.batch_digest !== request.batchDigest) {\n            return yield* SqliteAppendConflict.make({\n              message: `Batch ${request.batchId} already exists with different canonical content.`,\n              reason: \"batch-digest\",\n            });\n          }\n\n          return RawAppendResult.make({\n            firstSequence: existing.first_sequence,\n            lastSequence: existing.last_sequence,\n            replayed: true,\n            tailDigest: existing.tail_digest,\n          });\n        }\n\n        if (\n          request.expectedTailSequence !== thread.tail_sequence ||\n          request.expectedTailDigest !== thread.tail_digest\n        ) {\n          return yield* SqliteAppendConflict.make({\n            message:\n              `Expected tail ${request.expectedTailSequence}/${request.expectedTailDigest} ` +\n              `but found ${thread.tail_sequence}/${thread.tail_digest}.`,\n            reason: \"tail\",\n            actualTailSequence: thread.tail_sequence,\n            actualTailDigest: thread.tail_digest,\n          });\n        }\n        if (thread.tail_sequence + request.records.length > MAX_RECORDS_PER_THREAD) {\n          return yield* SqliteStorageError.make({\n            operation: \"append canonical batch\",\n            message: `Thread record limit ${MAX_RECORDS_PER_THREAD} would be exceeded.`,\n          });\n        }\n\n        const existingRecordRows = yield* sql<Record<string, unknown>>`\n          SELECT\n            thread_id,\n            sequence,\n            record_id,\n            batch_id,\n            record_json\n          FROM effect_agent_canonical_records\n          WHERE thread_id = ${request.threadId}\n            AND record_id IN ${sql.in(recordIds)}\n          ORDER BY sequence\n        `.pipe(Effect.mapError(storageError(\"check canonical record identities\")));\n\n        const existingRecords = yield* decodeRows(\n          Schema.Array(RecordRow),\n          \"effect_agent_canonical_records\",\n          `${request.threadId}/record_ids`,\n          existingRecordRows,\n        );\n\n        if (existingRecords.length > 0) {\n          return yield* SqliteAppendConflict.make({\n            message: `Canonical record ID ${existingRecords[0].record_id} already exists.`,\n            reason: \"record-identity\",\n          });\n        }\n\n        const firstSequence = yield* Schema.decodeUnknownEffect(CanonicalSequence)(\n          thread.tail_sequence + 1,\n        ).pipe(\n          Effect.mapError((error) =>\n            SqliteStorageError.make({\n              cause: error,\n              operation: \"append canonical batch\",\n              message: error.message,\n            }),\n          ),\n        );\n\n        const lastSequence = yield* Schema.decodeUnknownEffect(CanonicalSequence)(\n          firstSequence + request.records.length - 1,\n        ).pipe(\n          Effect.mapError((error) =>\n            SqliteStorageError.make({\n              cause: error,\n              operation: \"append canonical batch\",\n              message: error.message,\n            }),\n          ),\n        );\n\n        yield* sql`\n          INSERT INTO effect_agent_canonical_batches (\n            thread_id,\n            batch_id,\n            first_sequence,\n            last_sequence,\n            batch_digest,\n            tail_digest,\n            batch_json\n          ) VALUES (\n            ${request.threadId},\n            ${request.batchId},\n            ${firstSequence},\n            ${lastSequence},\n            ${request.batchDigest},\n            ${request.tailDigest},\n            ${request.batchJson}\n          )\n        `.pipe(Effect.mapError(storageError(\"insert canonical batch\")));\n        yield* failpoint(\"append:after-batch-insert\");\n\n        yield* Effect.forEach(\n          request.records,\n          (record, index) =>\n            Effect.gen(function* () {\n              yield* sql`\n                  INSERT INTO effect_agent_canonical_records (\n                    thread_id,\n                    sequence,\n                    record_id,\n                    batch_id,\n                    record_json\n                  ) VALUES (\n                    ${request.threadId},\n                    ${firstSequence + index},\n                    ${record.recordId},\n                    ${request.batchId},\n                    ${record.recordJson}\n                  )\n                `.pipe(Effect.mapError(storageError(\"insert canonical record\")));\n              yield* failpoint(\"append:after-record-insert\");\n            }),\n          { discard: true },\n        );\n\n        yield* sql`\n          UPDATE effect_agent_threads\n          SET\n            tail_sequence = ${lastSequence},\n            tail_digest = ${request.tailDigest},\n            producer_epoch = ${request.producerEpoch}\n          WHERE thread_id = ${request.threadId}\n        `.pipe(Effect.mapError(storageError(\"advance thread tail\")));\n        yield* failpoint(\"append:after-tail-update\");\n\n        return RawAppendResult.make({\n          firstSequence,\n          lastSequence,\n          replayed: false,\n          tailDigest: request.tailDigest,\n        });\n      }),\n    );\n  });\n\n  const read = Effect.fn(\"SqliteJournal.read\")(function* (request: RawReadRequest) {\n    const rows = yield* sql<Record<string, unknown>>`\n      SELECT\n        thread_id,\n        sequence,\n        record_id,\n        batch_id,\n        record_json\n      FROM effect_agent_canonical_records\n      WHERE thread_id = ${request.threadId}\n        AND sequence > ${request.fromSequenceExclusive}\n      ORDER BY sequence\n      LIMIT ${request.limit}\n    `.pipe(Effect.mapError(storageError(\"read canonical records\")));\n\n    return yield* decodeRows(\n      Schema.Array(RecordRow),\n      \"effect_agent_canonical_records\",\n      `${request.threadId}>${request.fromSequenceExclusive}`,\n      rows,\n    );\n  });\n\n  const exportThread = Effect.fn(\"SqliteJournal.exportThread\")(function* (threadId: string) {\n    return yield* withReadTransaction(\"export transaction\")(\n      Effect.gen(function* () {\n        const threadRows = yield* sql<Record<string, unknown>>`\n            SELECT\n              thread_id,\n              created_at,\n              tail_sequence,\n              tail_digest,\n              producer_epoch\n            FROM effect_agent_threads\n            WHERE thread_id = ${threadId}\n          `.pipe(Effect.mapError(storageError(\"export thread\")));\n\n        const thread = yield* decodeSingleRow(\n          Schema.Array(ThreadRow),\n          \"effect_agent_threads\",\n          threadId,\n          threadRows,\n        );\n\n        yield* failpoint(\"export:after-thread-read\");\n\n        const recordRows = yield* sql<Record<string, unknown>>`\n            SELECT\n              thread_id,\n              sequence,\n              record_id,\n              batch_id,\n              record_json\n            FROM effect_agent_canonical_records\n            WHERE thread_id = ${threadId}\n            ORDER BY sequence\n          `.pipe(Effect.mapError(storageError(\"export canonical records\")));\n\n        return RawThreadExport.make({\n          thread,\n          records: yield* decodeRows(\n            Schema.Array(RecordRow),\n            \"effect_agent_canonical_records\",\n            threadId,\n            recordRows,\n          ),\n        });\n      }),\n    );\n  });\n\n  const saveCheckpoint = Effect.fn(\"SqliteJournal.saveCheckpoint\")(function* (\n    checkpoint: RawCheckpoint,\n  ): Effect.fn.Return<void, CheckpointError> {\n    if (\n      checkpoint.threadId.length > MAX_IDENTIFIER_LENGTH ||\n      storedTextBytes(checkpoint.checkpointJson) > MAX_STORED_TEXT_BYTES\n    ) {\n      return yield* SqliteStorageError.make({\n        operation: \"save checkpoint\",\n        message: \"Checkpoint identity or encoded JSON exceeds the SQLite storage bounds.\",\n      });\n    }\n    yield* withWriteTransaction(\"checkpoint transaction\")(\n      Effect.gen(function* () {\n        const threadRows = yield* sql<Record<string, unknown>>`\n          SELECT\n            thread_id,\n            created_at,\n            tail_sequence,\n            tail_digest,\n            producer_epoch\n          FROM effect_agent_threads\n          WHERE thread_id = ${checkpoint.threadId}\n        `.pipe(Effect.mapError(storageError(\"read checkpoint tail\")));\n\n        const thread = yield* decodeSingleRow(\n          Schema.Array(ThreadRow),\n          \"effect_agent_threads\",\n          checkpoint.threadId,\n          threadRows,\n        );\n\n        if (checkpoint.throughSequence > thread.tail_sequence) {\n          return yield* SqliteCheckpointConflict.make({\n            message:\n              `Checkpoint sequence ${checkpoint.throughSequence} is after canonical tail ` +\n              `${thread.tail_sequence}.`,\n          });\n        }\n\n        const checkpointRows = yield* sql<Record<string, unknown>>`\n          SELECT\n            thread_id,\n            through_sequence,\n            tail_digest,\n            checkpoint_json\n          FROM effect_agent_checkpoints\n          WHERE thread_id = ${checkpoint.threadId}\n            AND through_sequence = ${checkpoint.throughSequence}\n        `.pipe(Effect.mapError(storageError(\"read idempotent checkpoint\")));\n\n        const existing = yield* decodeRows(\n          Schema.Array(CheckpointRow),\n          \"effect_agent_checkpoints\",\n          `${checkpoint.threadId}/${checkpoint.throughSequence}`,\n          checkpointRows,\n        );\n\n        if (existing.length > 1) {\n          return yield* SqliteStorageCorruptionError.make({\n            table: \"effect_agent_checkpoints\",\n            rowKey: `${checkpoint.threadId}/${checkpoint.throughSequence}`,\n            message: \"A checkpoint primary key returned more than one row.\",\n          });\n        }\n        if (existing.length === 1) {\n          if (\n            existing[0].tail_digest !== checkpoint.tailDigest ||\n            existing[0].checkpoint_json !== checkpoint.checkpointJson\n          ) {\n            return yield* SqliteCheckpointConflict.make({\n              message: \"A different checkpoint already exists at this canonical sequence.\",\n            });\n          }\n\n          return;\n        }\n\n        yield* sql`\n          INSERT INTO effect_agent_checkpoints (\n            thread_id,\n            through_sequence,\n            tail_digest,\n            checkpoint_json\n          ) VALUES (\n            ${checkpoint.threadId},\n            ${checkpoint.throughSequence},\n            ${checkpoint.tailDigest},\n            ${checkpoint.checkpointJson}\n          )\n        `.pipe(Effect.mapError(storageError(\"insert checkpoint\")));\n      }),\n    );\n  });\n\n  const loadCheckpoint = Effect.fn(\"SqliteJournal.loadCheckpoint\")(function* (\n    threadId: string,\n    atOrBeforeSequence: CanonicalSequence,\n  ) {\n    const rows = yield* sql<Record<string, unknown>>`\n      SELECT\n        thread_id,\n        through_sequence,\n        tail_digest,\n        checkpoint_json\n      FROM effect_agent_checkpoints\n      WHERE thread_id = ${threadId}\n        AND through_sequence <= ${atOrBeforeSequence}\n      ORDER BY through_sequence DESC\n      LIMIT 1\n    `.pipe(Effect.mapError(storageError(\"load checkpoint\")));\n\n    return yield* decodeRows(\n      Schema.Array(CheckpointRow),\n      \"effect_agent_checkpoints\",\n      `${threadId}<=${atOrBeforeSequence}`,\n      rows,\n    );\n  });\n\n  const getTailDigestAt = Effect.fn(\"SqliteJournal.getTailDigestAt\")(function* (\n    threadId: string,\n    sequence: CanonicalSequence,\n  ) {\n    if (sequence === 0) {\n      const threads = yield* getThread(threadId);\n\n      return threads.length === 0\n        ? []\n        : [threads[0].tail_sequence === 0 ? threads[0].tail_digest : undefined].filter(\n            (value): value is string => value !== undefined,\n          );\n    }\n\n    const rows = yield* sql<Record<string, unknown>>`\n      SELECT\n        thread_id,\n        batch_id,\n        first_sequence,\n        last_sequence,\n        batch_digest,\n        tail_digest,\n        batch_json\n      FROM effect_agent_canonical_batches\n      WHERE thread_id = ${threadId}\n        AND last_sequence = ${sequence}\n    `.pipe(Effect.mapError(storageError(\"read canonical digest at sequence\")));\n\n    const batches = yield* decodeRows(\n      Schema.Array(BatchRow),\n      \"effect_agent_canonical_batches\",\n      `${threadId}/${sequence}`,\n      rows,\n    );\n\n    return batches.map((batch) => batch.tail_digest);\n  });\n\n  const scanStoredPayloads = Effect.fn(\"SqliteJournal.scanStoredPayloads\")(function* () {\n    return yield* withReadTransaction(\"startup scan transaction\")(\n      Effect.gen(function* () {\n        const threads = yield* sql<Record<string, unknown>>`\n            SELECT\n              thread_id,\n              created_at,\n              tail_sequence,\n              tail_digest,\n              producer_epoch\n            FROM effect_agent_threads\n            ORDER BY thread_id\n          `.pipe(Effect.mapError(storageError(\"scan threads\")));\n\n        const batches = yield* sql<Record<string, unknown>>`\n            SELECT\n              thread_id,\n              batch_id,\n              first_sequence,\n              last_sequence,\n              batch_digest,\n              tail_digest,\n              batch_json\n            FROM effect_agent_canonical_batches\n            ORDER BY thread_id, first_sequence\n          `.pipe(Effect.mapError(storageError(\"scan canonical batches\")));\n\n        const records = yield* sql<Record<string, unknown>>`\n            SELECT\n              thread_id,\n              sequence,\n              record_id,\n              batch_id,\n              record_json\n            FROM effect_agent_canonical_records\n            ORDER BY thread_id, sequence\n          `.pipe(Effect.mapError(storageError(\"scan canonical records\")));\n\n        const checkpoints = yield* sql<Record<string, unknown>>`\n            SELECT\n              thread_id,\n              through_sequence,\n              tail_digest,\n              checkpoint_json\n            FROM effect_agent_checkpoints\n            ORDER BY thread_id, through_sequence\n          `.pipe(Effect.mapError(storageError(\"scan checkpoints\")));\n\n        return {\n          threads: yield* decodeRows(\n            Schema.Array(ThreadRow),\n            \"effect_agent_threads\",\n            \"startup_scan\",\n            threads,\n          ),\n          batches: yield* decodeRows(\n            Schema.Array(BatchRow),\n            \"effect_agent_canonical_batches\",\n            \"startup_scan\",\n            batches,\n          ),\n          records: yield* decodeRows(\n            Schema.Array(RecordRow),\n            \"effect_agent_canonical_records\",\n            \"startup_scan\",\n            records,\n          ),\n          checkpoints: yield* decodeRows(\n            Schema.Array(CheckpointRow),\n            \"effect_agent_checkpoints\",\n            \"startup_scan\",\n            checkpoints,\n          ),\n        };\n      }),\n    );\n  });\n\n  return {\n    append,\n    exportThread,\n    getThread,\n    getTailDigestAt,\n    loadCheckpoint,\n    materialize,\n    read,\n    saveCheckpoint,\n    scanStoredPayloads,\n    withWriteTransaction,\n    withReadTransaction,\n  } as const;\n});\n\nexport type SqliteJournal = Effect.Success<ReturnType<typeof initializeSqliteJournal>>;\n"],"mappings":";;;;;;;;;;;;;AAiCA,MAAM,oBAAoB,OAAO,OAAO,MAAM,OAAO,YAAY,QAAgB,CAAC;AAClF,MAAM,oBAAoB,OAAO,eAAe,MAAM,OAAO,YAAY,IAAI,CAAC;AAC9E,MAAM,iBAAiB,OAAO,IAAI,MAAM,OAAO,uBAAuB,CAAC,CAAC;AACxE,MAAM,yBAAyB;AAC/B,MAAM,wBAAwB;AAC9B,MAAM,wBAAwB;AAE9B,MAAM,mBAAmB,UAA0B,IAAI,YAAY,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC;AAEnF,IAAM,mBAAN,cAA+B,OAAO,MAAwB,kBAAkB,CAAC,CAAC,EAChF,cAAc,eAChB,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAM,uBAAN,cAAmC,OAAO,MAA4B,sBAAsB,CAAC,CAAC,EAC5F,cAAc,OAAO,eAAe,MAAM,OAAO,YAAY,EAAE,CAAC,EAClE,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAM,gBAAN,cAA4B,OAAO,MAAqB,eAAe,CAAC,CAAC,EACvE,MAAM,kBACR,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAM,YAAN,cAAwB,OAAO,MAAiB,WAAW,CAAC,CAAC;CAC3D,WAAW;CACX,YAAY,OAAO,eAAe,MAAM,OAAO,YAAY,GAAG,CAAC;CAC/D,gBAAgB;CAChB,aAAa;CACb,eAAe;AACjB,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAM,WAAN,cAAuB,OAAO,MAAgB,UAAU,CAAC,CAAC;CACxD,cAAc;CACd,UAAU;CACV,YAAY;CACZ,WAAW;CACX,gBAAgB;CAChB,eAAe;CACf,aAAa;AACf,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAM,YAAN,cAAwB,OAAO,MAAiB,WAAW,CAAC,CAAC;CAC3D,UAAU;CACV,WAAW;CACX,WAAW;CACX,aAAa;CACb,UAAU;AACZ,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAM,gBAAN,cAA4B,OAAO,MAAqB,eAAe,CAAC,CAAC;CACvE,iBAAiB;CACjB,WAAW;CACX,aAAa;CACb,kBAAkB;AACpB,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAa,YAAb,cAA+B,OAAO,MAAiB,wCAAwC,CAAC,CAAC;CAC/F,UAAU;CACV,YAAY;AACd,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAa,mBAAb,cAAsC,OAAO,MAC3C,+CACF,CAAC,CAAC;CACA,aAAa;CACb,SAAS;CACT,WAAW;CACX,UAAU;CACV,oBAAoB;CACpB,sBAAsB;CACtB,eAAe;CACf,SAAS,OAAO,cAAc,SAAS,CAAC,CAAC,MAAM,OAAO,YAAY,GAAG,CAAC;CACtE,YAAY;AACd,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAa,kBAAb,cAAqC,OAAO,MAC1C,8CACF,CAAC,CAAC;CACA,eAAe;CACf,cAAc;CACd,UAAU,OAAO;CACjB,YAAY;AACd,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAa,iBAAb,cAAoC,OAAO,MACzC,6CACF,CAAC,CAAC;CACA,UAAU;CACV,uBAAuB;CACvB,OAAO,OAAO,IAAI,MAAM,OAAO,cAAc,CAAC,GAAG,OAAO,oBAAoB,IAAK,CAAC;AACpF,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAa,gBAAb,cAAmC,OAAO,MACxC,4CACF,CAAC,CAAC;CACA,gBAAgB;CAChB,UAAU;CACV,YAAY;CACZ,iBAAiB;AACnB,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAa,kBAAb,cAAqC,OAAO,MAC1C,8CACF,CAAC,CAAC;CACA,QAAQ;CACR,SAAS,OAAO,MAAM,SAAS;AACjC,CAAC,CAAC,CAAC,CAAC;AAgBJ,MAAM,gBACH,eACA,UACC,mBAAmB,KAAK;CACtB,OAAO;CACP;CACA,SAAS,MAAM;AACjB,CAAC;;AAGL,MAAa,aAAa,OAAO,GAAG,0BAA0B,CAAC,EAE3D,QACA,OACA,QACA,SAEA,OAAO,oBAAoB,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,KACvC,OAAO,UAAU,UACf,6BAA6B,KAAK;CAChC;CACA;CACA,SAAS,OAAO,KAAK;AACvB,CAAC,CACH,CACF,CACJ;;AAGA,MAAa,kBAAkB,OAAO,GAAG,+BAA+B,CAAC,EAErE,QACA,OACA,QACA,SAEA,WAAW,QAAQ,OAAO,QAAQ,IAAI,CAAC,CAAC,KACtC,OAAO,SAAS,YACd,QAAQ,WAAW,IACf,OAAO,QAAQ,QAAQ,EAAE,IACzB,OAAO,KACL,6BAA6B,KAAK;CAChC;CACA;CACA,SAAS,sCAAsC,QAAQ,OAAO;AAChE,CAAC,CACH,CACN,CACF,CACJ;;AAGA,MAAM,qBAAqB;CACzB,sBAAsB;EACpB;EACA;EACA;EACA;EACA;CACF;CACA,gCAAgC;EAC9B;EACA;EACA;EACA;EACA;EACA;EACA;CACF;CACA,gCAAgC;EAAC;EAAa;EAAY;EAAa;EAAY;CAAa;CAChG,0BAA0B;EAAC;EAAa;EAAoB;EAAe;CAAiB;CAC5F,0BAA0B;EACxB;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;CACF;CACA,mCAAmC;EACjC;EACA;EACA;EACA;EACA;EACA;CACF;CACA,uBAAuB;EACrB;EACA;EACA;EACA;EACA;EACA;CACF;CACA,sCAAsC;EACpC;EACA;EACA;EACA;EACA;EACA;EACA;EACA;CACF;CACA,4BAA4B;EAC1B;EACA;EACA;EACA;EACA;CACF;CACA,iCAAiC;EAC/B;EACA;EACA;EACA;EACA;EACA;CACF;CACA,kCAAkC;EAChC;EACA;EACA;EACA;EACA;EACA;CACF;CACA,iCAAiC;EAC/B;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;CACF;CACA,wBAAwB;EACtB;EACA;EACA;EACA;EACA;CACF;CACA,qCAAqC;EACnC;EACA;EACA;EACA;EACA;EACA;CACF;CACA,4BAA4B;EAC1B;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;CACF;CACA,kCAAkC;EAChC;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;CACF;CACA,sCAAsC;EACpC;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;CACF;AACF;AAEA,MAAM,yBAAyB,OAAO,GAAG,sCAAsC,CAAC,CAAC,aAAa;CAC5F,MAAM,MAAM,OAAO,UAAU;CAE7B,KAAK,MAAM,CAAC,OAAO,aAAa,OAAO,QAAQ,kBAAkB,GAAG;EAClE,MAAM,UAAU,OAAO,WACrB,OAAO,MAAM,OAAO,OAAO,EAAE,MAAM,kBAAkB,CAAC,CAAC,GACvD,OACA,UACA,OAAO,IAAI,OAAO,qBAAqB,MAAM,EAAE,CACjD;EAEA,MAAM,QAAQ,IAAI,IAAY,QAAQ;EAEtC,IAAI,QAAQ,WAAW,MAAM,QAAQ,QAAQ,MAAM,WAAW,CAAC,MAAM,IAAI,OAAO,IAAI,CAAC,GACnF,OAAO,OAAO,gCAAgC,KAAK;GACjD,eAAe;GACf,kBAAA;GACA,SAAS,UAAU,MAAM;EAC3B,CAAC;CACL;AACF,CAAC;AAED,MAAa,0BAA0B,OAAO,GAAG,0BAA0B,CAAC,CAAC,aAAa;CACxF,MAAM,MAAM,OAAO,UAAU;CAC7B,MAAM,EAAE,KAAK,cAAc,OAAO;CAClC,MAAM,EAAE,gBAAgB,OAAO;CAE/B,OAAO,GAAG,2BAA2B,KAAK,OAAO,SAAS,aAAa,qBAAqB,CAAC,CAAC;CAG9F,OAAO,IACJ,OAAO,yBAAyB,aAAa,CAAC,CAC9C,KAAK,OAAO,SAAS,aAAa,wBAAwB,CAAC,CAAC;CAE/D,MAAM,kBAAkB,OAAO,GAA4B,sBAAsB,KAC/E,OAAO,SAAS,aAAa,mBAAmB,CAAC,CACnD;CAEA,MAAM,cAAc,OAAO,gBACzB,OAAO,MAAM,oBAAoB,GACjC,uBACA,aACA,eACF;CAEA,IAAI,YAAY,aAAa,YAAY,MAAM,OAC7C,OAAO,OAAO,gCAAgC,KAAK;EACjD,eAAe;EACf,kBAAA;EACA,SAAS,sDAAsD,YAAY,aAAa;CAC1F,CAAC;CAGH,MAAM,cAAc,OAAO,GAA4B,sBAAsB,KAC3E,OAAO,SAAS,aAAa,sBAAsB,CAAC,CACtD;CAEA,MAAM,UAAU,OAAO,gBACrB,OAAO,MAAM,gBAAgB,GAC7B,uBACA,aACA,WACF;CAGA,IACE,QAAQ,iBAAiB,KACzB,QAAQ,iBAAiB,KACzB,QAAQ,iBAAiB,KACzB,QAAQ,iBAAA,GAER,OAAO,OAAO,gCAAgC,KAAK;EACjD,eAAe,QAAQ;EACvB,kBAAA;EACA,SACE,oDAAoD,QAAQ,aAAa;CAG7E,CAAC;CAGH,IAAI,QAAQ,iBAAiB,KAAK,QAAQ,iBAAiB,GACzD,OAAO,IACJ,gBACC,OAAO,IAAI,aAAa;EACtB,MAAM,UAAU,OAAO,GAA6B;EAEpD,IAAI,QAAQ,WAAW,KAAK,QAAQ,EAAE,CAAC,iBAAA,GACrC;EACF,IACE,QAAQ,WAAW,KAClB,QAAQ,EAAE,CAAC,iBAAiB,KAAK,QAAQ,EAAE,CAAC,iBAAiB,GAE9D,OAAO,OAAO,gCAAgC,KAAK;GACjD,eAAe;GACf,kBAAA;GACA,SAAS;EACX,CAAC;EAWH,KAAI,OAToB,GAEtB;;;;;aAOU,CAAC,WAAW,IACtB,OAAO,OAAO,gCAAgC,KAAK;GACjD,eAAe,QAAQ,EAAE,CAAC;GAC1B,kBAAA;GACA,SACE;EACJ,CAAC;EAEH,IAAI,QAAQ,EAAE,CAAC,iBAAiB,GAAG;GACjC,OAAO,oBAAoB;GAC3B,KAAK,MAAM,aAAa;IACtB,GAAG;IACH,GAAG;IACH,GAAG;GACL,GAAG;IACD,OAAO,UAAU,yBAAyB;IAC1C,OAAO;IACP,OAAO,UAAU,wBAAwB;GAC3C;GACA,OAAO,mBAAmB,QAAgB,CAAC,CAAC,KAC1C,OAAO,eAAe,mBAAmB,EACvC,MAAM,UACJ,OAAO,oBAAoB,8BAA8B,CAAC,CAAC,KAAK,CAAC,CAAC,KAChE,OAAO,QAAQ,SAAS,GACxB,OAAO,eAAe,uBAAuB,KAAK,EAAE,MAAM,CAAC,CAAC,CAC9D,EACJ,CAAC,CACH;GACA,OAAO,uBAAuB,QAAgB,CAAC,CAAC,KAC9C,OAAO,eAAe,uBAAuB,EAC3C,MAAM,UACJ,OAAO,oBAAoB,8BAA8B,CAAC,CAAC,KAAK,CAAC,CAAC,KAChE,OAAO,QAAQ,SAAS,GACxB,OAAO,eAAe,2BAA2B,KAAK,EAAE,MAAM,CAAC,CAAC,CAClE,EACJ,CAAC,CACH;EACF;EACA,IAAI,QAAQ,EAAE,CAAC,iBAAiB,GAAG,OAAO,uBAAuB;EACjE,OAAO,UAAU,yBAAyB;EAC1C,OAAO,GAAG;EACV,OAAO,UAAU,wBAAwB;EACzC,OAAO,UAAU,yBAAyB;EAC1C,OAAO,GAAG;EACV,OAAO,UAAU,wBAAwB;EACzC,OAAO,UAAU,yBAAyB;EAC1C,OAAO;EACP,OAAO,UAAU,wBAAwB;EACzC,OAAO,UAAU,wBAAwB;EACzC,OAAO,GAAG;EACV,OAAO,UAAU,uBAAuB;CAC1C,CAAC,CACH,CAAC,CACA,KACC,OAAO,QAAQ,WAAW,KAAK,GAC/B,OAAO,SAAS,gCAAgC,UAC9C,mBAAmB,KAAK;EACtB,OAAO;EACP,WAAW;EACX,SAAS,MAAM;CACjB,CAAC,CACH,GACA,OAAO,SAAS,CAAC,0BAA0B,4BAA4B,IAAI,UACzE,mBAAmB,KAAK;EACtB,OAAO;EACP,WAAW;EACX,SAAS;CACX,CAAC,CACH,GACA,OAAO,SAAS,wBAAwB,UACtC,6BAA6B,KAAK;EAChC,OAAO,MAAM;EACb,QAAQ,MAAM;EACd,SAAS,MAAM;CACjB,CAAC,CACH,GACA,OAAO,SAAS,YAAY,aAAa,2BAA2B,CAAC,GACrE,OAAO,SAAS,gBAAgB,UAC9B,6BAA6B,KAAK;EAChC,OAAO;EACP,QAAQ;EACR,SAAS,MAAM;CACjB,CAAC,CACH,CACF;CAGJ,IAAI,QAAQ,iBAAiB,GAAG;EAC9B,MAAM,eAAe,OAAO,GAA4B;;;;;;MAMtD,KAAK,OAAO,SAAS,aAAa,6BAA6B,CAAC,CAAC;EASnE,KAAI,OAPoB,WACtB,OAAO,MAAM,aAAa,GAC1B,iBACA,kBACA,YACF,EAAA,CAEa,SAAS,GACpB,OAAO,OAAO,gCAAgC,KAAK;GACjD,eAAe;GACf,kBAAA;GACA,SACE;EACJ,CAAC;EAGH,OAAO,eAAe,IAAI,EAAE,QAAQ,iBAAiB,CAAC,CAAC,CAAC,KACtD,OAAO,UAAU,UACf,mBAAmB,KAAK;GACtB,OAAO;GACP,WAAW;GACX,SAAS,MAAM;EACjB,CAAC,CACH,CACF;CACF;CAEA,MAAM,eAAe,OAAO,GAA4B;;;;;;;;;;;;;;;;;;;;IAoBtD,KAAK,OAAO,SAAS,aAAa,uBAAuB,CAAC,CAAC;CAS7D,KAAI,OAPoB,WACtB,OAAO,MAAM,aAAa,GAC1B,iBACA,mBACA,YACF,EAAA,CAEa,WAAW,IACtB,OAAO,OAAO,gCAAgC,KAAK;EACjD,eAAA;EACA,kBAAA;EACA,SACE;CACJ,CAAC;CAGH,MAAM,wBACH,eACA,UACC,MAAM,OAAO,SAAS,qBAClB,sBAAsB,KAAK;EACzB,OAAO;EACP;EACA,SAAS,iDAAiD,UAAU;CACtE,CAAC,IACD,aAAa,SAAS,CAAC,CAAC,KAAK;;;;;;;;;;;;;CAcrC,MAAM,wBACH,eAEC,WAEA,OAAO,qBAAqB,YAC1B,OAAO,OACL,OAAO,IAAI,aAAa;EACtB,MAAM,aAAa,OAAO,IAAI,QAAQ,KACpC,OAAO,SAAS,qBAAqB,SAAS,CAAC,CACjD;EAEA,OAAO,WACJ,kBAAkB,mBAAmB,CAAC,GAAG,KAAA,CAAS,CAAC,CACnD,KAAK,OAAO,SAAS,qBAAqB,SAAS,CAAC,CAAC;EAExD,MAAM,OAAO,OAAO,QAClB,OAAO,eAAe,QAAQ,IAAI,oBAAoB,CAAC,YAAY,CAAC,CAAU,CAChF,CAAC,CAAC,KAAK,OAAO,IAAI;EAElB,IAAI,KAAK,UAAU,IAAI,GAAG;GACxB,OAAO,WACJ,kBAAkB,UAAU,CAAC,GAAG,KAAA,CAAS,CAAC,CAC1C,KAAK,OAAO,SAAS,qBAAqB,SAAS,CAAC,CAAC;GAExD,OAAO,KAAK;EACd;EACA,OAAO,OAAO,MAAM,WAAW,kBAAkB,YAAY,CAAC,GAAG,KAAA,CAAS,CAAC;EAE3E,OAAO,OAAO;CAChB,CAAC,CACH,CAAC,CAAC,KACA,OAAO,SAAS,sCAAsC,EAAE,YAAY,EAAE,UAAU,EAAE,CAAC,CACrF,CACF;;;;;;;;;CAUJ,MAAM,uBACH,eACM,WACL,OAAO,qBAAqB,YAC1B,OAAO,OACL,OAAO,IAAI,aAAa;EACtB,MAAM,aAAa,OAAO,IAAI,QAAQ,KAAK,OAAO,SAAS,aAAa,SAAS,CAAC,CAAC;EAEnF,OAAO,WACJ,kBAAkB,SAAS,CAAC,GAAG,KAAA,CAAS,CAAC,CACzC,KAAK,OAAO,SAAS,aAAa,SAAS,CAAC,CAAC;EAEhD,MAAM,OAAO,OAAO,QAClB,OAAO,eAAe,QAAQ,IAAI,oBAAoB,CAAC,YAAY,CAAC,CAAU,CAChF,CAAC,CAAC,KAAK,OAAO,IAAI;EAElB,IAAI,KAAK,UAAU,IAAI,GAAG;GACxB,OAAO,WACJ,kBAAkB,UAAU,CAAC,GAAG,KAAA,CAAS,CAAC,CAC1C,KAAK,OAAO,SAAS,aAAa,SAAS,CAAC,CAAC;GAEhD,OAAO,KAAK;EACd;EACA,OAAO,OAAO,MAAM,WAAW,kBAAkB,YAAY,CAAC,GAAG,KAAA,CAAS,CAAC;EAE3E,OAAO,OAAO;CAChB,CAAC,CACH,CAAC,CAAC,KAAK,OAAO,SAAS,qCAAqC,EAAE,YAAY,EAAE,UAAU,EAAE,CAAC,CAAC,CAC5F;CAEJ,MAAM,cAAc,OAAO,GAAG,2BAA2B,CAAC,CAAC,WACzD,UACA,WACA,iBACA,eAIA;EACA,IACE,SAAS,SAAS,yBAClB,gBAAgB,eAAe,IAAI,uBAEnC,OAAO,OAAO,mBAAmB,KAAK;GACpC,WAAW;GACX,SAAS;EACX,CAAC;EAEH,OAAO,qBAAqB,yBAAyB,CAAC,CACpD,OAAO,IAAI,aAAa;GACtB,MAAM,eAAe,OAAO,GAA4B;;;;;;;;8BAQlC,SAAS;UAC7B,KAAK,OAAO,SAAS,aAAa,0BAA0B,CAAC,CAAC;GAEhE,MAAM,WAAW,OAAO,WACtB,OAAO,MAAM,SAAS,GACtB,wBACA,UACA,YACF;GAEA,IAAI,SAAS,SAAS,GACpB,OAAO,OAAO,6BAA6B,KAAK;IAC9C,OAAO;IACP,QAAQ;IACR,SAAS;GACX,CAAC;GAEH,IAAI,SAAS,WAAW,GAAG;IACzB,OAAO,GAAG;;;;;;;;gBAQJ,SAAS;gBACT,UAAU;;gBAEV,gBAAgB;gBAChB,cAAc;;YAElB,KAAK,OAAO,SAAS,aAAa,oBAAoB,CAAC,CAAC;IAE1D;GACF;GACA,IAAI,gBAAgB,SAAS,EAAE,CAAC,gBAC9B,OAAO,OAAO,oBAAoB,KAAK;IACrC;IACA,aAAa,SAAS,EAAE,CAAC;IACzB,SAAS,kBAAkB,cAAc,8BAA8B,SAAS,EAAE,CAAC,eAAe;GACpG,CAAC;GAEH,IAAI,gBAAgB,SAAS,EAAE,CAAC,gBAC9B,OAAO,GAAG;;mCAEe,cAAc;gCACjB,SAAS;YAC7B,KAAK,OAAO,SAAS,aAAa,+BAA+B,CAAC,CAAC;EAEzE,CAAC,CACH;CACF,CAAC;CAED,MAAM,YAAY,OAAO,GAAG,yBAAyB,CAAC,CAAC,WAAW,UAAkB;EAClF,MAAM,OAAO,OAAO,GAA4B;;;;;;;;0BAQ1B,SAAS;MAC7B,KAAK,OAAO,SAAS,aAAa,aAAa,CAAC,CAAC;EAEnD,OAAO,OAAO,WAAW,OAAO,MAAM,SAAS,GAAG,wBAAwB,UAAU,IAAI;CAC1F,CAAC;CAED,MAAM,SAAS,OAAO,GAAG,sBAAsB,CAAC,CAAC,WAC/C,SACgD;EAChD,IACE,QAAQ,SAAS,SAAS,yBAC1B,QAAQ,QAAQ,SAAS,yBACzB,gBAAgB,QAAQ,SAAS,IAAI,yBACrC,gBAAgB,QAAQ,WAAW,IAAI,yBACvC,gBAAgB,QAAQ,UAAU,IAAI,yBACtC,QAAQ,QAAQ,MACb,WACC,OAAO,SAAS,SAAS,yBACzB,gBAAgB,OAAO,UAAU,IAAI,qBACzC,GAEA,OAAO,OAAO,mBAAmB,KAAK;GACpC,WAAW;GACX,SAAS;EACX,CAAC;EAGH,OAAO,OAAO,qBAAqB,oBAAoB,CAAC,CACtD,OAAO,IAAI,aAAa;GACtB,MAAM,YAAY,QAAQ,QAAQ,KAAK,WAAW,OAAO,QAAQ;GAEjE,IAAI,IAAI,IAAI,SAAS,CAAC,CAAC,SAAS,UAAU,QACxC,OAAO,OAAO,qBAAqB,KAAK;IACtC,SAAS,SAAS,QAAQ,QAAQ;IAClC,QAAQ;GACV,CAAC;GAGH,MAAM,aAAa,OAAO,GAA4B;;;;;;;;8BAQhC,QAAQ,SAAS;UACrC,KAAK,OAAO,SAAS,aAAa,kBAAkB,CAAC,CAAC;GAExD,MAAM,SAAS,OAAO,gBACpB,OAAO,MAAM,SAAS,GACtB,wBACA,QAAQ,UACR,UACF;GAEA,IAAI,QAAQ,kBAAkB,OAAO,gBACnC,OAAO,OAAO,oBAAoB,KAAK;IACrC,eAAe,QAAQ;IACvB,aAAa,OAAO;IACpB,SAAS,kBAAkB,QAAQ,cAAc,4BAA4B,OAAO,eAAe;GACrG,CAAC;GAGH,MAAM,YAAY,OAAO,GAA4B;;;;;;;;;;8BAU/B,QAAQ,SAAS;6BAClB,QAAQ,QAAQ;UACnC,KAAK,OAAO,SAAS,aAAa,uBAAuB,CAAC,CAAC;GAE7D,MAAM,UAAU,OAAO,WACrB,OAAO,MAAM,QAAQ,GACrB,kCACA,GAAG,QAAQ,SAAS,GAAG,QAAQ,WAC/B,SACF;GAEA,IAAI,QAAQ,SAAS,GACnB,OAAO,OAAO,6BAA6B,KAAK;IAC9C,OAAO;IACP,QAAQ,GAAG,QAAQ,SAAS,GAAG,QAAQ;IACvC,SAAS;GACX,CAAC;GAEH,IAAI,QAAQ,WAAW,GAAG;IACxB,MAAM,WAAW,QAAQ;IAEzB,IAAI,SAAS,iBAAiB,QAAQ,aACpC,OAAO,OAAO,qBAAqB,KAAK;KACtC,SAAS,SAAS,QAAQ,QAAQ;KAClC,QAAQ;IACV,CAAC;IAGH,OAAO,gBAAgB,KAAK;KAC1B,eAAe,SAAS;KACxB,cAAc,SAAS;KACvB,UAAU;KACV,YAAY,SAAS;IACvB,CAAC;GACH;GAEA,IACE,QAAQ,yBAAyB,OAAO,iBACxC,QAAQ,uBAAuB,OAAO,aAEtC,OAAO,OAAO,qBAAqB,KAAK;IACtC,SACE,iBAAiB,QAAQ,qBAAqB,GAAG,QAAQ,mBAAmB,aAC/D,OAAO,cAAc,GAAG,OAAO,YAAY;IAC1D,QAAQ;IACR,oBAAoB,OAAO;IAC3B,kBAAkB,OAAO;GAC3B,CAAC;GAEH,IAAI,OAAO,gBAAgB,QAAQ,QAAQ,SAAS,wBAClD,OAAO,OAAO,mBAAmB,KAAK;IACpC,WAAW;IACX,SAAS,uBAAuB,uBAAuB;GACzD,CAAC;GAGH,MAAM,qBAAqB,OAAO,GAA4B;;;;;;;;8BAQxC,QAAQ,SAAS;+BAChB,IAAI,GAAG,SAAS,EAAE;;UAEvC,KAAK,OAAO,SAAS,aAAa,mCAAmC,CAAC,CAAC;GAEzE,MAAM,kBAAkB,OAAO,WAC7B,OAAO,MAAM,SAAS,GACtB,kCACA,GAAG,QAAQ,SAAS,cACpB,kBACF;GAEA,IAAI,gBAAgB,SAAS,GAC3B,OAAO,OAAO,qBAAqB,KAAK;IACtC,SAAS,uBAAuB,gBAAgB,EAAE,CAAC,UAAU;IAC7D,QAAQ;GACV,CAAC;GAGH,MAAM,gBAAgB,OAAO,OAAO,oBAAoB,iBAAiB,CAAC,CACxE,OAAO,gBAAgB,CACzB,CAAC,CAAC,KACA,OAAO,UAAU,UACf,mBAAmB,KAAK;IACtB,OAAO;IACP,WAAW;IACX,SAAS,MAAM;GACjB,CAAC,CACH,CACF;GAEA,MAAM,eAAe,OAAO,OAAO,oBAAoB,iBAAiB,CAAC,CACvE,gBAAgB,QAAQ,QAAQ,SAAS,CAC3C,CAAC,CAAC,KACA,OAAO,UAAU,UACf,mBAAmB,KAAK;IACtB,OAAO;IACP,WAAW;IACX,SAAS,MAAM;GACjB,CAAC,CACH,CACF;GAEA,OAAO,GAAG;;;;;;;;;;cAUJ,QAAQ,SAAS;cACjB,QAAQ,QAAQ;cAChB,cAAc;cACd,aAAa;cACb,QAAQ,YAAY;cACpB,QAAQ,WAAW;cACnB,QAAQ,UAAU;;UAEtB,KAAK,OAAO,SAAS,aAAa,wBAAwB,CAAC,CAAC;GAC9D,OAAO,UAAU,2BAA2B;GAE5C,OAAO,OAAO,QACZ,QAAQ,UACP,QAAQ,UACP,OAAO,IAAI,aAAa;IACtB,OAAO,GAAG;;;;;;;;sBAQF,QAAQ,SAAS;sBACjB,gBAAgB,MAAM;sBACtB,OAAO,SAAS;sBAChB,QAAQ,QAAQ;sBAChB,OAAO,WAAW;;kBAEtB,KAAK,OAAO,SAAS,aAAa,yBAAyB,CAAC,CAAC;IACjE,OAAO,UAAU,4BAA4B;GAC/C,CAAC,GACH,EAAE,SAAS,KAAK,CAClB;GAEA,OAAO,GAAG;;;8BAGY,aAAa;4BACf,QAAQ,WAAW;+BAChB,QAAQ,cAAc;8BACvB,QAAQ,SAAS;UACrC,KAAK,OAAO,SAAS,aAAa,qBAAqB,CAAC,CAAC;GAC3D,OAAO,UAAU,0BAA0B;GAE3C,OAAO,gBAAgB,KAAK;IAC1B;IACA;IACA,UAAU;IACV,YAAY,QAAQ;GACtB,CAAC;EACH,CAAC,CACH;CACF,CAAC;CAED,MAAM,OAAO,OAAO,GAAG,oBAAoB,CAAC,CAAC,WAAW,SAAyB;EAC/E,MAAM,OAAO,OAAO,GAA4B;;;;;;;;0BAQ1B,QAAQ,SAAS;yBAClB,QAAQ,sBAAsB;;cAEzC,QAAQ,MAAM;MACtB,KAAK,OAAO,SAAS,aAAa,wBAAwB,CAAC,CAAC;EAE9D,OAAO,OAAO,WACZ,OAAO,MAAM,SAAS,GACtB,kCACA,GAAG,QAAQ,SAAS,GAAG,QAAQ,yBAC/B,IACF;CACF,CAAC;CAED,MAAM,eAAe,OAAO,GAAG,4BAA4B,CAAC,CAAC,WAAW,UAAkB;EACxF,OAAO,OAAO,oBAAoB,oBAAoB,CAAC,CACrD,OAAO,IAAI,aAAa;GACtB,MAAM,aAAa,OAAO,GAA4B;;;;;;;;gCAQ9B,SAAS;YAC7B,KAAK,OAAO,SAAS,aAAa,eAAe,CAAC,CAAC;GAEvD,MAAM,SAAS,OAAO,gBACpB,OAAO,MAAM,SAAS,GACtB,wBACA,UACA,UACF;GAEA,OAAO,UAAU,0BAA0B;GAE3C,MAAM,aAAa,OAAO,GAA4B;;;;;;;;gCAQ9B,SAAS;;YAE7B,KAAK,OAAO,SAAS,aAAa,0BAA0B,CAAC,CAAC;GAElE,OAAO,gBAAgB,KAAK;IAC1B;IACA,SAAS,OAAO,WACd,OAAO,MAAM,SAAS,GACtB,kCACA,UACA,UACF;GACF,CAAC;EACH,CAAC,CACH;CACF,CAAC;CAED,MAAM,iBAAiB,OAAO,GAAG,8BAA8B,CAAC,CAAC,WAC/D,YACyC;EACzC,IACE,WAAW,SAAS,SAAS,yBAC7B,gBAAgB,WAAW,cAAc,IAAI,uBAE7C,OAAO,OAAO,mBAAmB,KAAK;GACpC,WAAW;GACX,SAAS;EACX,CAAC;EAEH,OAAO,qBAAqB,wBAAwB,CAAC,CACnD,OAAO,IAAI,aAAa;GACtB,MAAM,aAAa,OAAO,GAA4B;;;;;;;;8BAQhC,WAAW,SAAS;UACxC,KAAK,OAAO,SAAS,aAAa,sBAAsB,CAAC,CAAC;GAE5D,MAAM,SAAS,OAAO,gBACpB,OAAO,MAAM,SAAS,GACtB,wBACA,WAAW,UACX,UACF;GAEA,IAAI,WAAW,kBAAkB,OAAO,eACtC,OAAO,OAAO,yBAAyB,KAAK,EAC1C,SACE,uBAAuB,WAAW,gBAAgB,2BAC/C,OAAO,cAAc,GAC5B,CAAC;GAGH,MAAM,iBAAiB,OAAO,GAA4B;;;;;;;8BAOpC,WAAW,SAAS;qCACb,WAAW,gBAAgB;UACtD,KAAK,OAAO,SAAS,aAAa,4BAA4B,CAAC,CAAC;GAElE,MAAM,WAAW,OAAO,WACtB,OAAO,MAAM,aAAa,GAC1B,4BACA,GAAG,WAAW,SAAS,GAAG,WAAW,mBACrC,cACF;GAEA,IAAI,SAAS,SAAS,GACpB,OAAO,OAAO,6BAA6B,KAAK;IAC9C,OAAO;IACP,QAAQ,GAAG,WAAW,SAAS,GAAG,WAAW;IAC7C,SAAS;GACX,CAAC;GAEH,IAAI,SAAS,WAAW,GAAG;IACzB,IACE,SAAS,EAAE,CAAC,gBAAgB,WAAW,cACvC,SAAS,EAAE,CAAC,oBAAoB,WAAW,gBAE3C,OAAO,OAAO,yBAAyB,KAAK,EAC1C,SAAS,oEACX,CAAC;IAGH;GACF;GAEA,OAAO,GAAG;;;;;;;cAOJ,WAAW,SAAS;cACpB,WAAW,gBAAgB;cAC3B,WAAW,WAAW;cACtB,WAAW,eAAe;;UAE9B,KAAK,OAAO,SAAS,aAAa,mBAAmB,CAAC,CAAC;EAC3D,CAAC,CACH;CACF,CAAC;CAED,MAAM,iBAAiB,OAAO,GAAG,8BAA8B,CAAC,CAAC,WAC/D,UACA,oBACA;EACA,MAAM,OAAO,OAAO,GAA4B;;;;;;;0BAO1B,SAAS;kCACD,mBAAmB;;;MAG/C,KAAK,OAAO,SAAS,aAAa,iBAAiB,CAAC,CAAC;EAEvD,OAAO,OAAO,WACZ,OAAO,MAAM,aAAa,GAC1B,4BACA,GAAG,SAAS,IAAI,sBAChB,IACF;CACF,CAAC;CAsHD,OAAO;EACL;EACA;EACA;EACA,iBAxHsB,OAAO,GAAG,+BAA+B,CAAC,CAAC,WACjE,UACA,UACA;GACA,IAAI,aAAa,GAAG;IAClB,MAAM,UAAU,OAAO,UAAU,QAAQ;IAEzC,OAAO,QAAQ,WAAW,IACtB,CAAC,IACD,CAAC,QAAQ,EAAE,CAAC,kBAAkB,IAAI,QAAQ,EAAE,CAAC,cAAc,KAAA,CAAS,CAAC,CAAC,QACnE,UAA2B,UAAU,KAAA,CACxC;GACN;GAEA,MAAM,OAAO,OAAO,GAA4B;;;;;;;;;;0BAU1B,SAAS;8BACL,SAAS;MACjC,KAAK,OAAO,SAAS,aAAa,mCAAmC,CAAC,CAAC;GASzE,QAAO,OAPgB,WACrB,OAAO,MAAM,QAAQ,GACrB,kCACA,GAAG,SAAS,GAAG,YACf,IACF,EAAA,CAEe,KAAK,UAAU,MAAM,WAAW;EACjD,CAoFgB;EACd;EACA;EACA;EACA;EACA,oBAvFyB,OAAO,GAAG,kCAAkC,CAAC,CAAC,aAAa;GACpF,OAAO,OAAO,oBAAoB,0BAA0B,CAAC,CAC3D,OAAO,IAAI,aAAa;IACtB,MAAM,UAAU,OAAO,GAA4B;;;;;;;;;YAS/C,KAAK,OAAO,SAAS,aAAa,cAAc,CAAC,CAAC;IAEtD,MAAM,UAAU,OAAO,GAA4B;;;;;;;;;;;YAW/C,KAAK,OAAO,SAAS,aAAa,wBAAwB,CAAC,CAAC;IAEhE,MAAM,UAAU,OAAO,GAA4B;;;;;;;;;YAS/C,KAAK,OAAO,SAAS,aAAa,wBAAwB,CAAC,CAAC;IAEhE,MAAM,cAAc,OAAO,GAA4B;;;;;;;;YAQnD,KAAK,OAAO,SAAS,aAAa,kBAAkB,CAAC,CAAC;IAE1D,OAAO;KACL,SAAS,OAAO,WACd,OAAO,MAAM,SAAS,GACtB,wBACA,gBACA,OACF;KACA,SAAS,OAAO,WACd,OAAO,MAAM,QAAQ,GACrB,kCACA,gBACA,OACF;KACA,SAAS,OAAO,WACd,OAAO,MAAM,SAAS,GACtB,kCACA,gBACA,OACF;KACA,aAAa,OAAO,WAClB,OAAO,MAAM,aAAa,GAC1B,4BACA,gBACA,WACF;IACF;GACF,CAAC,CACH;EACF,CAWmB;EACjB;EACA;CACF;AACF,CAAC"}

package/package.json

@@ -1 +1 @@
-{"name":"@effect-agent/storage-sqlite","version":"0.1.0-beta.56","dependencies":{"@effect-agent/core":"0.1.0-beta.56","@effect-agent/thread":"0.1.0-beta.56","@effect/platform-node":"4.0.0-rc.112","@effect/sql-sqlite-node":"4.0.0-rc.112"},"devDependencies":{"@effect/vitest":"4.0.0-rc.112","effect":"4.0.0-rc.112","typescript":"7.0.2","vite-plus":"0.3.0"},"peerDependencies":{"effect":"^4.0.0-rc.112"},"exports":{".":{"types":"./dist/index.d.mts","default":"./dist/index.mjs"},"./SqliteActivityStore":{"types":"./dist/SqliteActivityStore.d.mts","default":"./dist/SqliteActivityStore.mjs"},"./SqliteScheduleStore":{"types":"./dist/SqliteScheduleStore.d.mts","default":"./dist/SqliteScheduleStore.mjs"},"./SqliteStorageConfig":{"types":"./dist/SqliteStorageConfig.d.mts","default":"./dist/SqliteStorageConfig.mjs"},"./SqliteStorageError":{"types":"./dist/SqliteStorageError.d.mts","default":"./dist/SqliteStorageError.mjs"},"./SqliteStorageFailpoint":{"types":"./dist/SqliteStorageFailpoint.d.mts","default":"./dist/SqliteStorageFailpoint.mjs"},"./SqliteStorageVersion":{"types":"./dist/SqliteStorageVersion.d.mts","default":"./dist/SqliteStorageVersion.mjs"},"./SqliteSubmissionLedger":{"types":"./dist/SqliteSubmissionLedger.d.mts","default":"./dist/SqliteSubmissionLedger.mjs"},"./SqliteSubscriptionStore":{"types":"./dist/SqliteSubscriptionStore.d.mts","default":"./dist/SqliteSubscriptionStore.mjs"},"./SqliteThreadStore":{"types":"./dist/SqliteThreadStore.d.mts","default":"./dist/SqliteThreadStore.mjs"},"./testing/SqliteStorageFailpointTesting":{"types":"./dist/SqliteStorageFailpointTesting.d.mts","default":"./dist/SqliteStorageFailpointTesting.mjs"}},"description":"Node SQLite persistence adapters for the Effect Agent durable runtime and optional memory lifecycle.","license":"MIT","repository":{"type":"git","url":"git+https://github.com/danieljvdm/effect-agent.git","directory":"packages/storage-sqlite"},"files":["dist","src"],"type":"module","sideEffects":[],"publishConfig":{"access":"public"},"scripts":{"build":"vp pack","check":"tsc --noEmit -p tsconfig.json","test":"vp test --passWithNoTests"}}
+{"name":"@effect-agent/storage-sqlite","version":"0.1.0-beta.57","dependencies":{"@effect-agent/core":"0.1.0-beta.57","@effect-agent/thread":"0.1.0-beta.57","@effect/platform-node":"4.0.0-rc.112","@effect/sql-sqlite-node":"4.0.0-rc.112"},"devDependencies":{"@effect/vitest":"4.0.0-rc.112","effect":"4.0.0-rc.112","typescript":"7.0.2","vite-plus":"0.3.0"},"peerDependencies":{"effect":"^4.0.0-rc.112"},"exports":{".":{"types":"./dist/index.d.mts","default":"./dist/index.mjs"},"./SqliteActivityStore":{"types":"./dist/SqliteActivityStore.d.mts","default":"./dist/SqliteActivityStore.mjs"},"./SqliteScheduleStore":{"types":"./dist/SqliteScheduleStore.d.mts","default":"./dist/SqliteScheduleStore.mjs"},"./SqliteStorageConfig":{"types":"./dist/SqliteStorageConfig.d.mts","default":"./dist/SqliteStorageConfig.mjs"},"./SqliteStorageError":{"types":"./dist/SqliteStorageError.d.mts","default":"./dist/SqliteStorageError.mjs"},"./SqliteStorageFailpoint":{"types":"./dist/SqliteStorageFailpoint.d.mts","default":"./dist/SqliteStorageFailpoint.mjs"},"./SqliteStorageVersion":{"types":"./dist/SqliteStorageVersion.d.mts","default":"./dist/SqliteStorageVersion.mjs"},"./SqliteSubmissionLedger":{"types":"./dist/SqliteSubmissionLedger.d.mts","default":"./dist/SqliteSubmissionLedger.mjs"},"./SqliteSubscriptionStore":{"types":"./dist/SqliteSubscriptionStore.d.mts","default":"./dist/SqliteSubscriptionStore.mjs"},"./SqliteThreadStore":{"types":"./dist/SqliteThreadStore.d.mts","default":"./dist/SqliteThreadStore.mjs"},"./testing/SqliteStorageFailpointTesting":{"types":"./dist/SqliteStorageFailpointTesting.d.mts","default":"./dist/SqliteStorageFailpointTesting.mjs"},"./SqliteMessageDeliveryStore":{"types":"./dist/SqliteMessageDeliveryStore.d.mts","default":"./dist/SqliteMessageDeliveryStore.mjs"}},"description":"Node SQLite persistence adapters for the Effect Agent durable runtime and optional memory lifecycle.","license":"MIT","repository":{"type":"git","url":"git+https://github.com/danieljvdm/effect-agent.git","directory":"packages/storage-sqlite"},"files":["dist","src"],"type":"module","sideEffects":[],"publishConfig":{"access":"public"},"scripts":{"build":"vp pack","check":"tsc --noEmit -p tsconfig.json","test":"vp test --passWithNoTests"}}

package/src/SqliteMessageDeliveryStore.ts

@@ -0,0 +1,42 @@
+import {
+  MessageDeliveryError,
+  MessageDeliveryStore,
+  type MessageDeliveryStoreLimits,
+} from "@effect-agent/thread/MessageDelivery";
+import {
+  makeSqlMessageDeliveryStore,
+  SqlMessageDeliveryTransaction,
+} from "@effect-agent/thread/SqlMessageDeliveryStore";
+import { Effect, Layer } from "effect";
+import * as SqlClient from "effect/unstable/sql/SqlClient";
+
+import { initializeSqliteJournal } from "./internal/sqlite-journal.ts";
+
+const transactions = Layer.effect(
+  SqlMessageDeliveryTransaction,
+  Effect.gen(function* () {
+    const sql = yield* SqlClient.SqlClient;
+
+    return SqlMessageDeliveryTransaction.of({
+      run: (body) =>
+        sql
+          .withTransaction(body)
+          .pipe(
+            Effect.catchTag("SqlError", () =>
+              MessageDeliveryError.make({ reason: "storage", operation: "transaction" }),
+            ),
+          ),
+    });
+  }),
+);
+
+/** Source-owned message obligations in the host's existing SQLite database. */
+export const messageDeliveryStoreLayer = (limits?: MessageDeliveryStoreLimits) =>
+  Layer.effect(
+    MessageDeliveryStore,
+    Effect.gen(function* () {
+      yield* initializeSqliteJournal();
+
+      return yield* makeSqlMessageDeliveryStore(limits, { maxStoredValueBytes: 16 * 1024 * 1024 });
+    }),
+  ).pipe(Layer.provide(transactions));

package/src/SqliteSubmissionLedger.ts

@@ -1,3 +1,4 @@
+import { MessageAdmission } from "@effect-agent/core/Messaging";
 import { EMPTY_TAIL_DIGEST } from "@effect-agent/thread/Digest";
 import {
   ApprovalDecision,
@@ -5,6 +6,7 @@ import {
   DefinitionDigests,
   Digest,
   PersistedJson,
+  WorkerAdmission,
   ProducerEpoch,
   RecordEnvelope,
   SettlementOutcome,
@@ -145,6 +147,8 @@ class SubmissionRow extends Schema.Class<SubmissionRow>("SubmissionRow")({
   parent_tool_call_id: Schema.NullOr(BoundedIdentifier),
   admission_group: Schema.NullOr(AdmissionGroup),
   admission_fence_json: Schema.NullOr(BoundedStoredText),
+  worker_admission_json: Schema.NullOr(BoundedStoredText),
+  message_admission_json: Schema.NullOr(BoundedStoredText),
 }) {}
 
 class ChildReservationRow extends Schema.Class<ChildReservationRow>("ChildReservationRow")({
@@ -250,7 +254,9 @@ const SUBMISSION_COLUMNS = `
   parent_submission_id,
   parent_tool_call_id,
   admission_group,
-  admission_fence_json
+  admission_fence_json,
+  worker_admission_json,
+  message_admission_json
 `;
 
 const CHILD_RESERVATION_COLUMNS = `
@@ -569,6 +575,20 @@ const makeServices = Effect.fn("SqliteSubmissionLedger.makeServices")(function*
         state: row.state,
         createdAt: row.created_at,
         ...(row.admission_group === null ? {} : { admissionGroup: row.admission_group }),
+        ...(row.worker_admission_json === null
+          ? {}
+          : {
+              workerAdmission: yield* parseStoredJsonText(row.worker_admission_json).pipe(
+                Effect.mapError(internalFailure(operation)),
+              ),
+            }),
+        ...(row.message_admission_json === null
+          ? {}
+          : {
+              messageAdmission: yield* parseStoredJsonText(row.message_admission_json).pipe(
+                Effect.mapError(internalFailure(operation)),
+              ),
+            }),
         ...(row.admission_fence_json === null
           ? {}
           : {
@@ -983,6 +1003,40 @@ const makeServices = Effect.fn("SqliteSubmissionLedger.makeServices")(function*
         Effect.mapError(internalFailure(operation)),
       );
 
+      const workerAdmissionJson =
+        validated.workerAdmission === undefined
+          ? null
+          : yield* Schema.encodeEffect(Schema.fromJsonString(WorkerAdmission))(
+              validated.workerAdmission,
+            ).pipe(Effect.mapError(internalFailure(operation)));
+
+      if (
+        workerAdmissionJson !== null &&
+        new TextEncoder().encode(workerAdmissionJson).byteLength > 16 * 1024 * 1024
+      ) {
+        return yield* LedgerError.make({
+          operation,
+          message: "Worker admission metadata exceeds the stored value bound",
+        });
+      }
+
+      const messageAdmissionJson =
+        validated.messageAdmission === undefined
+          ? null
+          : yield* Schema.encodeEffect(Schema.fromJsonString(MessageAdmission))(
+              validated.messageAdmission,
+            ).pipe(Effect.mapError(internalFailure(operation)));
+
+      if (
+        messageAdmissionJson !== null &&
+        new TextEncoder().encode(messageAdmissionJson).byteLength > 16 * 1024 * 1024
+      ) {
+        return yield* LedgerError.make({
+          operation,
+          message: "Message admission metadata exceeds the stored value bound",
+        });
+      }
+
       const agentDigestsJson = yield* encodeDefinitionDigestsText(validated.agentDigests).pipe(
         Effect.mapError(internalFailure(operation)),
       );
@@ -1035,6 +1089,20 @@ const makeServices = Effect.fn("SqliteSubmissionLedger.makeServices")(function*
               });
             }
 
+            const retainedWorkerAdmission =
+              existing[0].worker_admission_json === null
+                ? undefined
+                : yield* Schema.decodeEffect(Schema.fromJsonString(WorkerAdmission))(
+                    existing[0].worker_admission_json,
+                  ).pipe(Effect.mapError(internalFailure(operation)));
+
+            const retainedMessageAdmission =
+              existing[0].message_admission_json === null
+                ? undefined
+                : yield* Schema.decodeEffect(Schema.fromJsonString(MessageAdmission))(
+                    existing[0].message_admission_json,
+                  ).pipe(Effect.mapError(internalFailure(operation)));
+
             const retainedFence =
               existing[0].admission_fence_json === null
                 ? undefined
@@ -1044,6 +1112,14 @@ const makeServices = Effect.fn("SqliteSubmissionLedger.makeServices")(function*
 
             if (
               (existing[0].admission_group ?? undefined) !== validated.admissionGroup ||
+              !Schema.toEquivalence(Schema.optional(WorkerAdmission))(
+                retainedWorkerAdmission,
+                validated.workerAdmission,
+              ) ||
+              !Schema.toEquivalence(Schema.optional(MessageAdmission))(
+                retainedMessageAdmission,
+                validated.messageAdmission,
+              ) ||
               !Schema.toEquivalence(Schema.optional(AdmissionFence))(
                 retainedFence,
                 validated.admissionFence,
@@ -1066,6 +1142,41 @@ const makeServices = Effect.fn("SqliteSubmissionLedger.makeServices")(function*
             }).pipe(Effect.mapError(internalFailure(operation)));
           }
 
+          // 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>>`
+            SELECT worker_admission_json FROM effect_agent_submissions
+            WHERE thread_id=${validated.threadId} ORDER BY queue_sequence LIMIT 1
+          `.pipe(Effect.mapError(sqlFailure(operation)));
+
+          const first = yield* Schema.decodeUnknownEffect(
+            Schema.Array(
+              Schema.Struct({
+                worker_admission_json: Schema.NullOr(BoundedStoredText),
+              }),
+            ),
+          )(firstRows).pipe(Effect.mapError(internalFailure(operation)));
+
+          if (first[0] !== undefined) {
+            const previous =
+              first[0].worker_admission_json === null
+                ? undefined
+                : yield* Schema.decodeEffect(Schema.fromJsonString(WorkerAdmission))(
+                    first[0].worker_admission_json,
+                  ).pipe(Effect.mapError(internalFailure(operation)));
+
+            if (
+              !Schema.toEquivalence(Schema.optional(WorkerAdmission.fields.origin))(
+                previous?.origin,
+                validated.workerAdmission?.origin,
+              )
+            )
+              return yield* AdmissionPolicyError.make({
+                reason: "refused",
+                code: "worker-origin-conflict",
+              });
+          }
+
           yield* admissionFence.check(validated);
           if (validated.admissionGroup !== undefined) {
             const occupied = yield* sql<Record<string, unknown>>`
@@ -1117,7 +1228,9 @@ const makeServices = Effect.fn("SqliteSubmissionLedger.makeServices")(function*
               parent_submission_id,
               parent_tool_call_id,
               admission_group,
-              admission_fence_json
+              admission_fence_json,
+  worker_admission_json,
+  message_admission_json
             ) VALUES (
               ${mintedSubmissionId},
               ${validated.threadId},
@@ -1135,7 +1248,9 @@ const makeServices = Effect.fn("SqliteSubmissionLedger.makeServices")(function*
               ${validated.parentLinkage?.parentSubmissionId ?? null},
               ${validated.parentLinkage?.parentToolCallId ?? null},
               ${validated.admissionGroup ?? null},
-              ${validated.admissionFence === undefined ? null : JSON.stringify(validated.admissionFence)}
+              ${validated.admissionFence === undefined ? null : JSON.stringify(validated.admissionFence)},
+              ${workerAdmissionJson},
+              ${messageAdmissionJson}
             )
           `.pipe(Effect.mapError(sqlFailure(operation)));
 

package/src/index.ts

@@ -1,3 +1,4 @@
+export * as SqliteMessageDeliveryStore from "./SqliteMessageDeliveryStore.ts";
 export * as SqliteActivityStore from "./SqliteActivityStore.ts";
 export * as SqliteScheduleStore from "./SqliteScheduleStore.ts";
 export * as SqliteStorageConfig from "./SqliteStorageConfig.ts";

package/src/internal/message-delivery-schema.ts

@@ -0,0 +1,24 @@
+import { Effect } from "effect";
+import * as SqlClient from "effect/unstable/sql/SqlClient";
+
+/** Additive storage owned by this adapter; creation participates in its version transaction. */
+export const createMessageDeliveryTables = Effect.gen(function* () {
+  const sql = yield* SqlClient.SqlClient;
+
+  yield* sql`
+    CREATE TABLE effect_agent_message_deliveries (
+      owner_thread_id TEXT NOT NULL,
+      message_id TEXT NOT NULL,
+      version INTEGER NOT NULL,
+      state TEXT NOT NULL,
+      deadline_at_millis INTEGER,
+      record_json TEXT NOT NULL,
+      PRIMARY KEY (owner_thread_id, message_id)
+    )
+  `.withoutTransform;
+  yield* sql`
+    CREATE INDEX effect_agent_message_deliveries_due
+    ON effect_agent_message_deliveries (deadline_at_millis, owner_thread_id, message_id)
+    WHERE deadline_at_millis IS NOT NULL
+  `.withoutTransform;
+});

package/src/internal/migrations.ts

@@ -2,7 +2,9 @@ import { SqliteMigrator } from "@effect/sql-sqlite-node";
 import { Effect } from "effect";
 import * as SqlClient from "effect/unstable/sql/SqlClient";
 
-export const CurrentSqliteStorageVersion = 8;
+import { createMessageDeliveryTables } from "./message-delivery-schema.ts";
+
+export const CurrentSqliteStorageVersion = 9;
 
 /** Initialize empty storage with the complete current schema. */
 export const sqliteMigrations = SqliteMigrator.fromRecord({
@@ -98,6 +100,8 @@ export const sqliteMigrations = SqliteMigrator.fromRecord({
         parent_tool_call_id TEXT,
         admission_group TEXT,
         admission_fence_json TEXT,
+        worker_admission_json TEXT,
+        message_admission_json TEXT,
         UNIQUE (thread_id, principal, idempotency_key),
         UNIQUE (thread_id, queue_sequence)
       )
@@ -331,6 +335,7 @@ 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* sql`PRAGMA user_version = 8`.withoutTransform;
+    yield* createMessageDeliveryTables;
+    yield* sql`PRAGMA user_version = 9`.withoutTransform;
   }),
 });