@rikalabs/akter 0.1.0-alpha.0 → 0.1.0-alpha.3

package/dist/runtime/database/migrations.d.ts

@@ -1,9 +1,11 @@
 import { Effect } from "effect";
-import { Migrator, SqlClient } from "effect/sql";
+import { Migrator, SqlClient, SqlError } from "effect/sql";
+/** The single-table views `0031_routable_views` creates. */
+export declare const ROUTABLE_VIEWS: readonly ["actors_v2", "state_v2", "receipts_v2", "events_v2", "outbox_v2", "timers_v2", "jobs_v2", "dead_letters_v2", "workflows_v2", "workflow_steps_v2", "contents_v2", "content_sweeps_v2", "content_refs_v2", "operator_audit_v2", "placements_v2"];
 /** Every framework migration by id, applied in order above the latest applied id. */
 export declare const migrations: {
-    "0001_foundation": Effect.Effect<void, import("effect/sql/SqlError").SqlError, SqlClient.SqlClient>;
-    "0002_creation": Effect.Effect<void, import("effect/sql/SqlError").SqlError, SqlClient.SqlClient>;
+    "0001_foundation": Effect.Effect<void, SqlError.SqlError, SqlClient.SqlClient>;
+    "0002_creation": Effect.Effect<void, SqlError.SqlError, SqlClient.SqlClient>;
     /**
      * Every framework row carries its routing key, leading the primary key so a shard index can
      * place it; state is opaque bytea.
@@ -11,23 +13,23 @@ export declare const migrations: {
      * Placement and its encoding decide every row's routing key, so a change would fork each
      * existing actor into a second identity.
      */
-    "0003_routing_state": Effect.Effect<undefined, import("effect/sql/SqlError").SqlError, SqlClient.SqlClient>;
+    "0003_routing_state": Effect.Effect<undefined, SqlError.SqlError, SqlClient.SqlClient>;
     /**
      * Every intent and timer lives on its sender's shard. `bucket` is the top eight bits of
      * `routing_key`, so the relay probes `(bucket, due_at_ms)` and never reads actors with
      * nothing due.
      */
-    "0004_outbox": Effect.Effect<void, import("effect/sql/SqlError").SqlError, SqlClient.SqlClient>;
+    "0004_outbox": Effect.Effect<void, SqlError.SqlError, SqlClient.SqlClient>;
     /**
      * Application tables come from drizzle-kit; the framework only records which actor type owns
      * each one, so a second owner cannot read its rows.
      */
-    "0005_tables": Effect.Effect<void, import("effect/sql/SqlError").SqlError, SqlClient.SqlClient>;
+    "0005_tables": Effect.Effect<void, SqlError.SqlError, SqlClient.SqlClient>;
     /**
      * Events share the actor's routing key and commit with its turn. The sequence counter lives
      * on the fenced generation row, so a pruned stream never reissues a cursor.
      */
-    "0006_events": Effect.Effect<void, import("effect/sql/SqlError").SqlError, SqlClient.SqlClient>;
+    "0006_events": Effect.Effect<void, SqlError.SqlError, SqlClient.SqlClient>;
     /**
      * An effect is an outbox row whose executor runs when it is due. On success or exhaustion it
      * becomes an intent to its route, so the route is delivered like any intent, with the effect
@@ -35,49 +37,49 @@ export declare const migrations: {
      *
      * Exhausted effects stay visible to operators after their row settles.
      */
-    "0008_effects": Effect.Effect<void, import("effect/sql/SqlError").SqlError, SqlClient.SqlClient>;
+    "0008_effects": Effect.Effect<void, SqlError.SqlError, SqlClient.SqlClient>;
     /**
      * Blob entries are chunked bytea beside the actor's other rows: `append` adds a chunk
      * without rewriting earlier ones, and `compact` folds them into chunk 0.
      */
-    "0009_blobs": Effect.Effect<void, import("effect/sql/SqlError").SqlError, SqlClient.SqlClient>;
+    "0009_blobs": Effect.Effect<void, SqlError.SqlError, SqlClient.SqlClient>;
     /**
      * Cleanup reads each actor type's oldest receipts and events by age, and keeps a receipt
      * while an outbox row with its id can still be redelivered; these indexes keep every cleanup
      * batch a range read.
      */
-    "0010_retention": Effect.Effect<void, import("effect/sql/SqlError").SqlError, SqlClient.SqlClient>;
+    "0010_retention": Effect.Effect<void, SqlError.SqlError, SqlClient.SqlClient>;
     /**
      * Claims and backoff move `due_at_ms`, so `scheduled_at_ms` keeps the time a row first
      * became due. `kind` follows `bucket` in the due index so intent scans never read effect
      * rows waiting for an executor, and the reverse.
      */
-    "0011_relay": Effect.Effect<void, import("effect/sql/SqlError").SqlError, SqlClient.SqlClient>;
+    "0011_relay": Effect.Effect<void, SqlError.SqlError, SqlClient.SqlClient>;
     /**
      * Workflow executions, their recorded steps, and the manifests deployments accepted. Every
      * execution and step row lives on its owner's shard; a step row is written pending before
      * its work starts and settled once.
      */
-    "0012_workflows": Effect.Effect<void, import("effect/sql/SqlError").SqlError, SqlClient.SqlClient>;
+    "0012_workflows": Effect.Effect<void, SqlError.SqlError, SqlClient.SqlClient>;
     /**
      * The placement join keeps every view from being automatically updatable, so writes fail
      * without triggers or rules to maintain.
      *
      * The catalog is how a tool checks which view versions a database has.
      */
-    "0013_inspection_views": Effect.Effect<void, import("effect/sql/SqlError").SqlError, SqlClient.SqlClient>;
+    "0013_inspection_views": Effect.Effect<void, SqlError.SqlError, SqlClient.SqlClient>;
     /**
      * A connection's session lives beside the actor's rows; its socket and buffers live at the
      * holder runner named by `holder` and `holder_epoch`.
      */
-    "0014_connections": Effect.Effect<void, import("effect/sql/SqlError").SqlError, SqlClient.SqlClient>;
-    "0015_effect_control": Effect.Effect<void, import("effect/sql/SqlError").SqlError, SqlClient.SqlClient>;
+    "0014_connections": Effect.Effect<void, SqlError.SqlError, SqlClient.SqlClient>;
+    "0015_effect_control": Effect.Effect<void, SqlError.SqlError, SqlClient.SqlClient>;
     /**
      * An attempt can end an effect before its retries run out, as when its route rejects the
      * result. `final_failure` records that, with the outcome, so a dead letter that fails to
      * commit is retried without another provider call.
      */
-    "0016_final_effect_failures": Effect.Effect<void, import("effect/sql/SqlError").SqlError, SqlClient.SqlClient>;
+    "0016_final_effect_failures": Effect.Effect<void, SqlError.SqlError, SqlClient.SqlClient>;
     /**
      * Subscriptions fan out on the source's shard after commit: one row per (source,
      * subscription, subscriber), routed rows with subscriber_id = ''. The tag summary makes the
@@ -89,13 +91,13 @@ export declare const migrations: {
      * must register every subscriber type routing from it, because the publishing turn creates
      * the routed rows.
      */
-    "0017_subscriptions": Effect.Effect<void, import("effect/sql/SqlError").SqlError, SqlClient.SqlClient>;
+    "0017_subscriptions": Effect.Effect<void, SqlError.SqlError, SqlClient.SqlClient>;
     /**
      * Every tenant row admits only the tenant its transaction names. The table owner and
      * superusers are exempt, so nothing changes until a deployment runs its turns and views as a
      * role that is neither.
      */
-    "0018_rls": Effect.Effect<void, import("effect/sql/SqlError").SqlError, SqlClient.SqlClient>;
+    "0018_rls": Effect.Effect<void, SqlError.SqlError, SqlClient.SqlClient>;
     /**
      * Content is stored once per tenant on the tenant's routing key; actors hold references on
      * their own shard. Nothing counts references and no key points from a reference or a chunk
@@ -116,7 +118,7 @@ export declare const migrations: {
      * The sweep join shows how far each tenant's collection lags, and keeps the view from being
      * automatically updatable.
      */
-    "0020_content_blobs": Effect.Effect<void, import("effect/sql/SqlError").SqlError, SqlClient.SqlClient>;
+    "0020_content_blobs": Effect.Effect<void, SqlError.SqlError, SqlClient.SqlClient>;
     /**
      * Stored events and effect payloads carry the version of their class's migration chain they
      * were written at; readers upcast from it. A settled effect row becomes its route intent and
@@ -128,12 +130,12 @@ export declare const migrations: {
      *
      * Columns are added at the end, which a view version allows.
      */
-    "0021_payload_versions": Effect.Effect<undefined, Migrator.MigrationError | import("effect/sql/SqlError").SqlError, SqlClient.SqlClient>;
+    "0021_payload_versions": Effect.Effect<undefined, Migrator.MigrationError | SqlError.SqlError, SqlClient.SqlClient>;
     /**
      * A parent-placed type routes through its parent type's placement, so the parent is part of
      * the record a later build must match.
      */
-    "0022_parent_placement": Effect.Effect<void, import("effect/sql/SqlError").SqlError, SqlClient.SqlClient>;
+    "0022_parent_placement": Effect.Effect<void, SqlError.SqlError, SqlClient.SqlClient>;
     /**
      * Every authorized operator action, and every authenticated one refused by scope. A repair
      * writes its row in its own transaction, on the target actor's routing key, so the two
@@ -142,15 +144,15 @@ export declare const migrations: {
      *
      * The join keeps the view read-only, as every other `durable` view is.
      */
-    "0023_operator_audit": Effect.Effect<void, import("effect/sql/SqlError").SqlError, SqlClient.SqlClient>;
-    "0024_adoption": Effect.Effect<void, import("effect/sql/SqlError").SqlError, SqlClient.SqlClient>;
+    "0023_operator_audit": Effect.Effect<void, SqlError.SqlError, SqlClient.SqlClient>;
+    "0024_adoption": Effect.Effect<void, SqlError.SqlError, SqlClient.SqlClient>;
     /**
      * Per-view state of the fleet maintainer: its source, the hash of the
      * definition that built its rows, its status, and how far it has applied
      * the change feed. Framework state without a tenant, like `actor_tables`,
      * so it carries no policy and no `durable` view.
      */
-    "0025_fleet": Effect.Effect<void, import("effect/sql/SqlError").SqlError, SqlClient.SqlClient>;
+    "0025_fleet": Effect.Effect<void, SqlError.SqlError, SqlClient.SqlClient>;
     /**
      * Staged external work is named a job everywhere it is stored: the outbox kind, keyed-job
      * timer keys, dead-letter columns, payload-version kinds, and the inspection views. Rows keep
@@ -161,9 +163,39 @@ export declare const migrations: {
      * lowered to 0 before its transaction commits, so a summary row may hold 0
      * only inside that transaction.
      */
-    "0026_jobs": Effect.Effect<void, import("effect/sql/SqlError").SqlError, SqlClient.SqlClient>;
-    "0027_coordination": Effect.Effect<void, import("effect/sql/SqlError").SqlError, SqlClient.SqlClient>;
-    "0029_runner_configuration": Effect.Effect<void, import("effect/sql/SqlError").SqlError, SqlClient.SqlClient>;
+    "0026_jobs": Effect.Effect<void, SqlError.SqlError, SqlClient.SqlClient>;
+    "0027_coordination": Effect.Effect<void, SqlError.SqlError, SqlClient.SqlClient>;
+    "0029_runner_configuration": Effect.Effect<void, SqlError.SqlError, SqlClient.SqlClient>;
+    /**
+     * A receipt's start is the clock its batch's fenced read selected, and its commit time the
+     * clock when the commit flight writes the row, so both are the database's own clock and a
+     * receipt binds nothing for the second. The default is set after the column exists, so rows
+     * written before this migration keep `null` instead of the migration's own time.
+     */
+    "0030_receipt_timing": Effect.Effect<void, SqlError.SqlError, SqlClient.SqlClient>;
+    /**
+     * A second set of inspection views, each reading exactly one table, with the actor type's
+     * placement in a view of its own (`placements_v2`) that a tool joins by `actor_type`. A Neki
+     * router serves a view on a group routed by `routing_key` only when it is a projection or
+     * filter of one table; the first set joins `actor_placements` to every view, and a view over
+     * several tables of one group is refused too.
+     *
+     * Every column keeps its name, meaning and type apart from `placement`, which moves. A single
+     * table view is automatically updatable, so the migration takes every write privilege on
+     * each of them from its owner; the first set's joins kept it read-only structurally.
+     *
+     * The catalog lists the first set only where it exists, because a routed layout never
+     * created it.
+     */
+    "0031_routable_views": Effect.Effect<void, SqlError.SqlError, SqlClient.SqlClient>;
+    /**
+     * An authority-placed type keeps every routing key in the one bucket a split topology leaves
+     * on the authoritative shard, so its turns reach the tables the database does not route on
+     * the shard that holds them.
+     */
+    "0032_authority_placement": Effect.Effect<void, SqlError.SqlError, SqlClient.SqlClient>;
+    /** Retires the single-table inspection variants without rewriting the applied migration that created them. */
+    "0033_joined_inspection": Effect.Effect<void, SqlError.SqlError, SqlClient.SqlClient>;
 };
 /**
  * Runs `record` like `Migrator`, but first refuses a database where a
@@ -172,6 +204,6 @@ export declare const migrations: {
  * after the migrations because a concurrent runner with fewer migrations can
  * commit a higher id between the first check and the migration lock.
  */
-export declare const migrator: <E>(record: Record<string, Effect.Effect<void, E, SqlClient.SqlClient>>) => Effect.Effect<readonly (readonly [id: number, name: string])[], Migrator.MigrationError | import("effect/sql/SqlError").SqlError, SqlClient.SqlClient>;
+export declare const migrator: <E>(record: Record<string, Effect.Effect<void, E, SqlClient.SqlClient>>) => Effect.Effect<readonly (readonly [id: number, name: string])[], Migrator.MigrationError | SqlError.SqlError, SqlClient.SqlClient>;
 /** Applies every framework migration not yet recorded in `actor_migrations`, refusing a database that skipped one. */
-export declare const migrate: Effect.Effect<readonly (readonly [id: number, name: string])[], Migrator.MigrationError | import("effect/sql/SqlError").SqlError, SqlClient.SqlClient>;
+export declare const migrate: Effect.Effect<readonly (readonly [id: number, name: string])[], Migrator.MigrationError | SqlError.SqlError, SqlClient.SqlClient>;