@smthrs/gateway 0.34.0 → 1.0.0-rc.3

package/dist/esm/GatewaySchema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"GatewaySchema.d.ts","sourceRoot":"","sources":["../../src/GatewaySchema.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAG/B;;;;;GAKG;AACH,eAAO,MAAM,aAAa;;;;;EAKxB,CAAA;AAEF;;;;;GAKG;AACH,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC,IAAI,CAAA;AAErD;;;;;GAKG;AACH,eAAO,MAAM,qBAAqB;;EAEhC,CAAA;AAEF;;;;;GAKG;AACH,MAAM,MAAM,qBAAqB,GAAG,OAAO,qBAAqB,CAAC,IAAI,CAAA;AAErE;;;;;GAKG;AACH,eAAO,MAAM,kBAAkB;;EAA+D,CAAA;AAE9F;;;;;GAKG;AACH,MAAM,MAAM,kBAAkB,GAAG,OAAO,kBAAkB,CAAC,IAAI,CAAA;AAE/D;;;;;GAKG;AACH,eAAO,MAAM,iBAAiB;;EAA8D,CAAA;AAE5F;;;;;GAKG;AACH,MAAM,MAAM,iBAAiB,GAAG,OAAO,iBAAiB,CAAC,IAAI,CAAA;AAE7D;;;;;GAKG;AACH,eAAO,MAAM,kBAAkB;;EAA8D,CAAA;AAE7F;;;;;GAKG;AACH,MAAM,MAAM,kBAAkB,GAAG,OAAO,kBAAkB,CAAC,IAAI,CAAA;AAE/D;;;;;GAKG;AACH,eAAO,MAAM,eAAe;;EAA4D,CAAA;AAExF;;;;;GAKG;AACH,MAAM,MAAM,eAAe,GAAG,OAAO,eAAe,CAAC,IAAI,CAAA;AAEzD;;;;;;;;;;GAUG;AACH,eAAO,MAAM,iBAAiB;;EAE5B,CAAA;AAEF;;;;;GAKG;AACH,MAAM,MAAM,iBAAiB,GAAG,OAAO,iBAAiB,CAAC,IAAI,CAAA;AAE7D;;;;;GAKG;AACH,eAAO,MAAM,kBAAkB;;;EAG7B,CAAA;AAEF;;;;;GAKG;AACH,MAAM,MAAM,kBAAkB,GAAG,OAAO,kBAAkB,CAAC,IAAI,CAAA;AAE/D;;;;;;;;;GASG;AACH,eAAO,MAAM,qBAAqB;;EAEhC,CAAA;AAEF;;;;;GAKG;AACH,MAAM,MAAM,qBAAqB,GAAG,OAAO,qBAAqB,CAAC,IAAI,CAAA;AAUrE;;;;;;;;GAQG;AACH,QAAA,MAAM,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IASoB,CAAA;AAEhC,qEAAqE;AACrE,KAAK,MAAM,GAAG,OAAO,MAAM,CAAA;AAkB3B;;;;;GAKG;AACH,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;IAE9B,CAAA;AAED;;;;;GAKG;AACH,MAAM,MAAM,kBAAkB,GAAG,OAAO,kBAAkB,CAAC,IAAI,CAAA;AAE/D;;;;;GAKG;AACH,eAAO,MAAM,cAAc,mJAE1B,CAAA;AAED;;;;;GAKG;AACH,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAC,IAAI,CAAA;AAEvD,4EAA4E;AAC5E,KAAK,UAAU,GAAG;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,CAAA;AAMlF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,YAAY,GAAI,CAAC,SAAS,kBAAkB,EAAE,UAAU,CAAC,KAAG,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CACzC,CAAA;AAEpD;;;;;GAKG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,kBAAkB,IAAI,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAA;AAE/E;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;EAY3B,CAAA;AAEF;;;;;GAKG;AACH,MAAM,MAAM,gBAAgB,GAAG,OAAO,gBAAgB,CAAC,IAAI,CAAA;AA0B3D;;;;;;;GAOG;AACH,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAE9B,CAAA;AAED;;;;;GAKG;AACH,MAAM,MAAM,kBAAkB,GAAG,OAAO,kBAAkB,CAAC,IAAI,CAAA;AAE/D;;;;;GAKG;AACH,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAG7B,CAAA;AAEF;;;;;GAKG;AACH,MAAM,MAAM,kBAAkB,GAAG,OAAO,kBAAkB,CAAC,IAAI,CAAA;AAE/D;;;;;GAKG;AACH,eAAO,MAAM,QAAQ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAEpB,CAAA;AAED;;;;;GAKG;AACH,MAAM,MAAM,QAAQ,GAAG,OAAO,QAAQ,CAAC,IAAI,CAAA;AAE3C;;;;;GAKG;AACH,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAG3B,CAAA;AAEF;;;;;GAKG;AACH,MAAM,MAAM,gBAAgB,GAAG,OAAO,gBAAgB,CAAC,IAAI,CAAA;AAE3D;;;;;;;;;;GAUG;AACH,eAAO,MAAM,UAAU;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAEtB,CAAA;AAED;;;;;GAKG;AACH,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAC,IAAI,CAAA;AAE/C;;;;;GAKG;AACH,eAAO,MAAM,cAAc;;EAA4D,CAAA;AAEvF;;;;;GAKG;AACH,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAC,IAAI,CAAA;AAEvD;;;;;GAKG;AACH,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAMvB,CAAA;AAEF;;;;;GAKG;AACH,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;AAEnD;;;;;;;;;;GAUG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,kBAAkB,IAAI,OAAO,CAC5D,kBAAkB,EAClB;IAAE,QAAQ,CAAC,QAAQ,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAA;KAAE,CAAA;CAAE,CACpD,CAAA;AAED;;;;;;;;GAQG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,kBAAkB,IAC5C,kBAAkB,GAClB,gBAAgB,GAChB,cAAc,GACd,OAAO,CAAC,QAAQ,EAAE;IAAE,QAAQ,CAAC,QAAQ,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAA;KAAE,CAAA;CAAE,CAAC,GACtE,OAAO,CAAC,UAAU,EAAE;IAAE,QAAQ,CAAC,QAAQ,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAA;KAAE,CAAA;CAAE,CAAC,CAAA"}

package/dist/esm/GatewaySchema.js

@@ -0,0 +1,244 @@
+/**
+ * Wire schemas shared by the gateway read path, subscriptions, and singleton
+ * lifecycle.
+ *
+ * @since 0.1.0
+ */
+import { ControlSchema } from "@smthrs/control";
+import { Schema } from "effect";
+import * as GatewayProjection from "./GatewayProjection.js";
+/**
+ * Health response used to prove a singleton belongs to this workspace.
+ *
+ * @since 0.1.0
+ * @category models
+ */
+export const GatewayHealth = Schema.Struct({
+    workspaceHash: Schema.String,
+    gatewayId: Schema.String,
+    protocolVersion: Schema.String,
+    capabilities: Schema.optionalKey(Schema.Array(Schema.String))
+});
+/**
+ * A selector for a workspace-wide run list.
+ *
+ * @since 0.1.0
+ * @category models
+ */
+export const WorkspaceRunsSelector = Schema.TaggedStruct("workspace-runs", {
+    flowId: Schema.optionalKey(Schema.NonEmptyString)
+});
+/**
+ * A selector for one run's summary.
+ *
+ * @since 0.1.0
+ * @category models
+ */
+export const RunSummarySelector = Schema.TaggedStruct("run-summary", { runId: Schema.String });
+/**
+ * A selector for one run's ordered lifecycle events.
+ *
+ * @since 0.1.0
+ * @category models
+ */
+export const RunEventsSelector = Schema.TaggedStruct("run-events", { runId: Schema.String });
+/**
+ * A selector for one run's transcript projection.
+ *
+ * @since 0.1.0
+ * @category models
+ */
+export const TranscriptSelector = Schema.TaggedStruct("transcript", { runId: Schema.String });
+/**
+ * A selector for one run's flattened tree nodes.
+ *
+ * @since 0.1.0
+ * @category models
+ */
+export const RunTreeSelector = Schema.TaggedStruct("run-tree", { runId: Schema.String });
+/**
+ * A selector for approvals.
+ *
+ * Without `runId` it lists the workspace's pending gates, which is the
+ * approvals inbox. With one it lists that run's gates including the decided
+ * ones, which is what a run card renders: a gate a human already answered
+ * still belongs on the card that asked.
+ *
+ * @since 0.1.0
+ * @category models
+ */
+export const ApprovalsSelector = Schema.TaggedStruct("approvals", {
+    runId: Schema.optional(Schema.String)
+});
+/**
+ * A selector for one node's output projection.
+ *
+ * @since 0.1.0
+ * @category models
+ */
+export const NodeOutputSelector = Schema.TaggedStruct("node-output", {
+    runId: Schema.String,
+    nodeId: Schema.String
+});
+/**
+ * A selector for one flow's measured node durations.
+ *
+ * This is the one projection that is neither a workspace listing nor scoped
+ * to a run: it folds the history of one flow across the runs that executed
+ * it, which is what makes it a prediction rather than a report.
+ *
+ * @since 0.1.0
+ * @category models
+ */
+export const FlowDurationsSelector = Schema.TaggedStruct("flow-durations", {
+    flowId: Schema.String
+});
+/**
+ * The row schema each served selector answers with.
+ *
+ * This table is the selector-to-row pairing, and it exists once. The selector
+ * union, the projection names, `rowSchemaFor`, `ProjectionSnapshot`,
+ * `RowFrame`, and `DeltaFrame` all derive from it, so serving one more
+ * projection is one more entry here rather than five mirrored lists that can
+ * disagree with each other.
+ */
+const served = [
+    [WorkspaceRunsSelector, GatewayProjection.RunSummaryRow],
+    [RunSummarySelector, GatewayProjection.RunSummaryRow],
+    [RunEventsSelector, ControlSchema.ControlEvent],
+    [TranscriptSelector, GatewayProjection.TranscriptRow],
+    [RunTreeSelector, GatewayProjection.RunTreeRow],
+    [ApprovalsSelector, GatewayProjection.ApprovalRow],
+    [NodeOutputSelector, GatewayProjection.NodeOutputRow],
+    [FlowDurationsSelector, GatewayProjection.FlowDurationRow]
+];
+/**
+ * Maps the served table into a tuple whose members keep their own types.
+ *
+ * `Array.prototype.map` widens a tuple to an array of its element union, which
+ * would collapse each derived union into an uncorrelated cross product of
+ * every selector with every row. The mapped tuple type each caller names is
+ * that correlation, and this restates it for the value.
+ */
+const overServed = (map) => served.map(map);
+/**
+ * A projection selected for a snapshot or watch subscription.
+ *
+ * @since 0.1.0
+ * @category models
+ */
+export const ProjectionSelector = Schema.Union(overServed(([selector]) => selector));
+/**
+ * Projection names served by the gateway read path.
+ *
+ * @since 0.1.0
+ * @category models
+ */
+export const ProjectionName = Schema.Literals(overServed(([selector]) => selector.fields._tag.schema.literal));
+const rowSchemas = Object.fromEntries(served.map(([selector, row]) => [selector.fields._tag.schema.literal, row]));
+/**
+ * The row schema one selector answers with, so a client decodes a snapshot
+ * instead of casting it.
+ *
+ * A literal selector keeps its own row schema: `rowSchemaFor({ _tag:
+ * "approvals" })` decodes to `ApprovalRow`, not to the union of every row.
+ *
+ * @param selector the selector whose row schema the client needs
+ * @since 1.0.0
+ * @category schemas
+ */
+export const rowSchemaFor = (selector) => rowSchemas[selector._tag];
+/**
+ * A monotonic cursor for one projection and optional run scope.
+ *
+ * `runId` is null for workspace projections and records the source run for
+ * per-run projections, even when a selector later gains more fields. Control
+ * journal sequences belong to per-run partitions, so no workspace-wide
+ * sequence exists. A workspace cursor therefore has value `0` and a null run,
+ * and a workspace projection cannot resume from a cursor.
+ *
+ * @since 0.1.0
+ * @category models
+ */
+export const ProjectionCursor = Schema.Struct({
+    selector: ProjectionSelector,
+    projection: ProjectionName,
+    runId: Schema.NullOr(Schema.String),
+    value: Schema.Int.check(Schema.isGreaterThanOrEqualTo(0), Schema.isLessThanOrEqualTo(Number.MAX_SAFE_INTEGER)),
+    offset: Schema.Int.check(Schema.isGreaterThanOrEqualTo(0), Schema.isLessThanOrEqualTo(Number.MAX_SAFE_INTEGER))
+});
+/** One snapshot member: every row one selector projects, at one cursor. */
+const snapshotMember = (selector, row) => Schema.Struct({ selector, cursor: ProjectionCursor, rows: Schema.Array(row) });
+/** One row frame: a single row of one selector's projection. */
+const rowMember = (selector, row) => Schema.TaggedStruct("row", { selector, cursor: ProjectionCursor, row });
+/** One delta frame: the rows one selector's projection changed by. */
+const deltaMember = (selector, row) => Schema.TaggedStruct("delta", { selector, cursor: ProjectionCursor, delta: Schema.Array(row) });
+/**
+ * Every row one selector currently projects, and the cursor they were read
+ * at. A client that follows the same selector from this cursor sees each
+ * later change exactly once.
+ *
+ * @since 1.0.0
+ * @category models
+ */
+export const ProjectionSnapshot = Schema.Union(overServed(([selector, row]) => snapshotMember(selector, row)));
+/**
+ * The start of a selector snapshot.
+ *
+ * @since 0.1.0
+ * @category models
+ */
+export const SnapshotStartFrame = Schema.TaggedStruct("snapshot-start", {
+    selector: ProjectionSelector,
+    cursor: ProjectionCursor
+});
+/**
+ * A row emitted during a selector snapshot.
+ *
+ * @since 0.1.0
+ * @category models
+ */
+export const RowFrame = Schema.Union(overServed(([selector, row]) => rowMember(selector, row)));
+/**
+ * The end of a selector snapshot.
+ *
+ * @since 0.1.0
+ * @category models
+ */
+export const SnapshotEndFrame = Schema.TaggedStruct("snapshot-end", {
+    selector: ProjectionSelector,
+    cursor: ProjectionCursor
+});
+/**
+ * A projection mutation after snapshot completion.
+ *
+ * `delta` replaces the selector's rows, except for the two append-only
+ * projections: a `run-events` delta carries the one event that arrived and a
+ * `transcript` delta carries the rows that event contributed, and a client
+ * appends those to the rows it already holds.
+ *
+ * @since 0.1.0
+ * @category models
+ */
+export const DeltaFrame = Schema.Union(overServed(([selector, row]) => deltaMember(selector, row)));
+/**
+ * A keepalive frame for an active subscription.
+ *
+ * @since 0.1.0
+ * @category models
+ */
+export const HeartbeatFrame = Schema.TaggedStruct("heartbeat", { atMs: Schema.Number });
+/**
+ * A frame sent by the gateway subscription protocol.
+ *
+ * @since 0.1.0
+ * @category models
+ */
+export const GatewayFrame = Schema.Union([
+    SnapshotStartFrame,
+    ...RowFrame.members,
+    SnapshotEndFrame,
+    ...DeltaFrame.members,
+    HeartbeatFrame
+]);
+//# sourceMappingURL=GatewaySchema.js.map

package/dist/esm/GatewaySchema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"GatewaySchema.js","sourceRoot":"","sources":["../../src/GatewaySchema.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAA;AAC/C,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/B,OAAO,KAAK,iBAAiB,MAAM,wBAAwB,CAAA;AAE3D;;;;;GAKG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC;IACzC,aAAa,EAAE,MAAM,CAAC,MAAM;IAC5B,SAAS,EAAE,MAAM,CAAC,MAAM;IACxB,eAAe,EAAE,MAAM,CAAC,MAAM;IAC9B,YAAY,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;CAC9D,CAAC,CAAA;AAUF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,MAAM,CAAC,YAAY,CAAC,gBAAgB,EAAE;IACzE,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,cAAc,CAAC;CAClD,CAAC,CAAA;AAUF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,CAAC,YAAY,CAAC,aAAa,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAA;AAU9F;;;;;GAKG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,MAAM,CAAC,YAAY,CAAC,YAAY,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAA;AAU5F;;;;;GAKG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,CAAC,YAAY,CAAC,YAAY,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAA;AAU7F;;;;;GAKG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC,YAAY,CAAC,UAAU,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAA;AAUxF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,MAAM,CAAC,YAAY,CAAC,WAAW,EAAE;IAChE,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;CACtC,CAAC,CAAA;AAUF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,CAAC,YAAY,CAAC,aAAa,EAAE;IACnE,KAAK,EAAE,MAAM,CAAC,MAAM;IACpB,MAAM,EAAE,MAAM,CAAC,MAAM;CACtB,CAAC,CAAA;AAUF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,MAAM,CAAC,YAAY,CAAC,gBAAgB,EAAE;IACzE,MAAM,EAAE,MAAM,CAAC,MAAM;CACtB,CAAC,CAAA;AAkBF;;;;;;;;GAQG;AACH,MAAM,MAAM,GAAG;IACb,CAAC,qBAAqB,EAAE,iBAAiB,CAAC,aAAa,CAAC;IACxD,CAAC,kBAAkB,EAAE,iBAAiB,CAAC,aAAa,CAAC;IACrD,CAAC,iBAAiB,EAAE,aAAa,CAAC,YAAY,CAAC;IAC/C,CAAC,kBAAkB,EAAE,iBAAiB,CAAC,aAAa,CAAC;IACrD,CAAC,eAAe,EAAE,iBAAiB,CAAC,UAAU,CAAC;IAC/C,CAAC,iBAAiB,EAAE,iBAAiB,CAAC,WAAW,CAAC;IAClD,CAAC,kBAAkB,EAAE,iBAAiB,CAAC,aAAa,CAAC;IACrD,CAAC,qBAAqB,EAAE,iBAAiB,CAAC,eAAe,CAAC;CAC5B,CAAA;AAKhC;;;;;;;GAOG;AACH,MAAM,UAAU,GAAG,CAAI,GAAsC,EAAK,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAiB,CAAA;AAQpG;;;;;GAKG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,CAAC,KAAK,CAC5C,UAAU,CAAsB,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAC1D,CAAA;AAUD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,MAAM,CAAC,QAAQ,CAC3C,UAAU,CAAkB,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CACjF,CAAA;AAaD,MAAM,UAAU,GAAG,MAAM,CAAC,WAAW,CACnC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAC9D,CAAA;AAEf;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAA+B,QAAW,EAAyB,EAAE,CAC/F,UAAU,CAAC,QAAQ,CAAC,IAAI,CAA0B,CAAA;AAUpD;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC5C,QAAQ,EAAE,kBAAkB;IAC5B,UAAU,EAAE,cAAc;IAC1B,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACnC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CACrB,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,EAChC,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,gBAAgB,CAAC,CACpD;IACD,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CACtB,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,EAChC,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,gBAAgB,CAAC,CACpD;CACF,CAAC,CAAA;AAUF,2EAA2E;AAC3E,MAAM,cAAc,GAAG,CAA6C,QAAW,EAAE,GAAM,EAAE,EAAE,CACzF,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,gBAAgB,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;AAEhF,gEAAgE;AAChE,MAAM,SAAS,GAAG,CAA6C,QAAW,EAAE,GAAM,EAAE,EAAE,CACpF,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,gBAAgB,EAAE,GAAG,EAAE,CAAC,CAAA;AAEzE,sEAAsE;AACtE,MAAM,WAAW,GAAG,CAA6C,QAAW,EAAE,GAAM,EAAE,EAAE,CACtF,MAAM,CAAC,YAAY,CAAC,OAAO,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,gBAAgB,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;AAchG;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,CAAC,KAAK,CAC5C,UAAU,CAA4B,CAAC,CAAC,QAAQ,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAC1F,CAAA;AAUD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,CAAC,YAAY,CAAC,gBAAgB,EAAE;IACtE,QAAQ,EAAE,kBAAkB;IAC5B,MAAM,EAAE,gBAAgB;CACzB,CAAC,CAAA;AAUF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAClC,UAAU,CAAuB,CAAC,CAAC,QAAQ,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAChF,CAAA;AAUD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAM,CAAC,YAAY,CAAC,cAAc,EAAE;IAClE,QAAQ,EAAE,kBAAkB;IAC5B,MAAM,EAAE,gBAAgB;CACzB,CAAC,CAAA;AAUF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CACpC,UAAU,CAAyB,CAAC,CAAC,QAAQ,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CACpF,CAAA;AAUD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,MAAM,CAAC,YAAY,CAAC,WAAW,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAA;AAUvF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC;IACvC,kBAAkB;IAClB,GAAG,QAAQ,CAAC,OAAO;IACnB,gBAAgB;IAChB,GAAG,UAAU,CAAC,OAAO;IACrB,cAAc;CACf,CAAC,CAAA","sourcesContent":["/**\n * Wire schemas shared by the gateway read path, subscriptions, and singleton\n * lifecycle.\n *\n * @since 0.1.0\n */\n\nimport { ControlSchema } from \"@smthrs/control\"\nimport { Schema } from \"effect\"\nimport * as GatewayProjection from \"./GatewayProjection.ts\"\n\n/**\n * Health response used to prove a singleton belongs to this workspace.\n *\n * @since 0.1.0\n * @category models\n */\nexport const GatewayHealth = Schema.Struct({\n  workspaceHash: Schema.String,\n  gatewayId: Schema.String,\n  protocolVersion: Schema.String,\n  capabilities: Schema.optionalKey(Schema.Array(Schema.String))\n})\n\n/**\n * Health response used for singleton identity probes.\n *\n * @since 0.1.0\n * @category models\n */\nexport type GatewayHealth = typeof GatewayHealth.Type\n\n/**\n * A selector for a workspace-wide run list.\n *\n * @since 0.1.0\n * @category models\n */\nexport const WorkspaceRunsSelector = Schema.TaggedStruct(\"workspace-runs\", {\n  flowId: Schema.optionalKey(Schema.NonEmptyString)\n})\n\n/**\n * A selector for a workspace-wide run list.\n *\n * @since 0.1.0\n * @category models\n */\nexport type WorkspaceRunsSelector = typeof WorkspaceRunsSelector.Type\n\n/**\n * A selector for one run's summary.\n *\n * @since 0.1.0\n * @category models\n */\nexport const RunSummarySelector = Schema.TaggedStruct(\"run-summary\", { runId: Schema.String })\n\n/**\n * A selector for one run's summary.\n *\n * @since 0.1.0\n * @category models\n */\nexport type RunSummarySelector = typeof RunSummarySelector.Type\n\n/**\n * A selector for one run's ordered lifecycle events.\n *\n * @since 0.1.0\n * @category models\n */\nexport const RunEventsSelector = Schema.TaggedStruct(\"run-events\", { runId: Schema.String })\n\n/**\n * A selector for one run's ordered lifecycle events.\n *\n * @since 0.1.0\n * @category models\n */\nexport type RunEventsSelector = typeof RunEventsSelector.Type\n\n/**\n * A selector for one run's transcript projection.\n *\n * @since 0.1.0\n * @category models\n */\nexport const TranscriptSelector = Schema.TaggedStruct(\"transcript\", { runId: Schema.String })\n\n/**\n * A selector for one run's transcript projection.\n *\n * @since 0.1.0\n * @category models\n */\nexport type TranscriptSelector = typeof TranscriptSelector.Type\n\n/**\n * A selector for one run's flattened tree nodes.\n *\n * @since 0.1.0\n * @category models\n */\nexport const RunTreeSelector = Schema.TaggedStruct(\"run-tree\", { runId: Schema.String })\n\n/**\n * A selector for one run's flattened tree nodes.\n *\n * @since 0.1.0\n * @category models\n */\nexport type RunTreeSelector = typeof RunTreeSelector.Type\n\n/**\n * A selector for approvals.\n *\n * Without `runId` it lists the workspace's pending gates, which is the\n * approvals inbox. With one it lists that run's gates including the decided\n * ones, which is what a run card renders: a gate a human already answered\n * still belongs on the card that asked.\n *\n * @since 0.1.0\n * @category models\n */\nexport const ApprovalsSelector = Schema.TaggedStruct(\"approvals\", {\n  runId: Schema.optional(Schema.String)\n})\n\n/**\n * A selector for approvals.\n *\n * @since 0.1.0\n * @category models\n */\nexport type ApprovalsSelector = typeof ApprovalsSelector.Type\n\n/**\n * A selector for one node's output projection.\n *\n * @since 0.1.0\n * @category models\n */\nexport const NodeOutputSelector = Schema.TaggedStruct(\"node-output\", {\n  runId: Schema.String,\n  nodeId: Schema.String\n})\n\n/**\n * A selector for one node's output projection.\n *\n * @since 0.1.0\n * @category models\n */\nexport type NodeOutputSelector = typeof NodeOutputSelector.Type\n\n/**\n * A selector for one flow's measured node durations.\n *\n * This is the one projection that is neither a workspace listing nor scoped\n * to a run: it folds the history of one flow across the runs that executed\n * it, which is what makes it a prediction rather than a report.\n *\n * @since 0.1.0\n * @category models\n */\nexport const FlowDurationsSelector = Schema.TaggedStruct(\"flow-durations\", {\n  flowId: Schema.String\n})\n\n/**\n * A selector for one flow's measured node durations.\n *\n * @since 0.1.0\n * @category models\n */\nexport type FlowDurationsSelector = typeof FlowDurationsSelector.Type\n\n/** A schema for a tagged selector, whose tag names its projection. */\ninterface SelectorSchema extends Schema.Top {\n  readonly Type: { readonly _tag: string }\n}\n\n/** The shape of the served table: one selector paired with one row schema. */\ntype ServedTable = ReadonlyArray<readonly [SelectorSchema, Schema.Top]>\n\n/**\n * The row schema each served selector answers with.\n *\n * This table is the selector-to-row pairing, and it exists once. The selector\n * union, the projection names, `rowSchemaFor`, `ProjectionSnapshot`,\n * `RowFrame`, and `DeltaFrame` all derive from it, so serving one more\n * projection is one more entry here rather than five mirrored lists that can\n * disagree with each other.\n */\nconst served = [\n  [WorkspaceRunsSelector, GatewayProjection.RunSummaryRow],\n  [RunSummarySelector, GatewayProjection.RunSummaryRow],\n  [RunEventsSelector, ControlSchema.ControlEvent],\n  [TranscriptSelector, GatewayProjection.TranscriptRow],\n  [RunTreeSelector, GatewayProjection.RunTreeRow],\n  [ApprovalsSelector, GatewayProjection.ApprovalRow],\n  [NodeOutputSelector, GatewayProjection.NodeOutputRow],\n  [FlowDurationsSelector, GatewayProjection.FlowDurationRow]\n] as const satisfies ServedTable\n\n/** The served table as the type every derivation below maps over. */\ntype Served = typeof served\n\n/**\n * Maps the served table into a tuple whose members keep their own types.\n *\n * `Array.prototype.map` widens a tuple to an array of its element union, which\n * would collapse each derived union into an uncorrelated cross product of\n * every selector with every row. The mapped tuple type each caller names is\n * that correlation, and this restates it for the value.\n */\nconst overServed = <M>(map: (pair: Served[number]) => unknown): M => served.map(map) as unknown as M\n\n/** The selector schema of each served pair, in table order. */\ntype SelectorsOf<T extends ServedTable> = { readonly [K in keyof T]: T[K][0] }\n\n/** The projection name of each served pair, in table order. */\ntype NamesOf<T extends ServedTable> = { readonly [K in keyof T]: T[K][0][\"Type\"][\"_tag\"] }\n\n/**\n * A projection selected for a snapshot or watch subscription.\n *\n * @since 0.1.0\n * @category models\n */\nexport const ProjectionSelector = Schema.Union(\n  overServed<SelectorsOf<Served>>(([selector]) => selector)\n)\n\n/**\n * A projection selected for a snapshot or watch subscription.\n *\n * @since 0.1.0\n * @category models\n */\nexport type ProjectionSelector = typeof ProjectionSelector.Type\n\n/**\n * Projection names served by the gateway read path.\n *\n * @since 0.1.0\n * @category models\n */\nexport const ProjectionName = Schema.Literals(\n  overServed<NamesOf<Served>>(([selector]) => selector.fields._tag.schema.literal)\n)\n\n/**\n * A gateway projection name.\n *\n * @since 0.1.0\n * @category models\n */\nexport type ProjectionName = typeof ProjectionName.Type\n\n/** Each served row schema, keyed by the name of the selector it answers. */\ntype RowSchemas = { readonly [P in Served[number] as P[0][\"Type\"][\"_tag\"]]: P[1] }\n\nconst rowSchemas = Object.fromEntries(\n  served.map(([selector, row]) => [selector.fields._tag.schema.literal, row])\n) as RowSchemas\n\n/**\n * The row schema one selector answers with, so a client decodes a snapshot\n * instead of casting it.\n *\n * A literal selector keeps its own row schema: `rowSchemaFor({ _tag:\n * \"approvals\" })` decodes to `ApprovalRow`, not to the union of every row.\n *\n * @param selector the selector whose row schema the client needs\n * @since 1.0.0\n * @category schemas\n */\nexport const rowSchemaFor = <S extends ProjectionSelector>(selector: S): RowSchemas[S[\"_tag\"]] =>\n  rowSchemas[selector._tag] as RowSchemas[S[\"_tag\"]]\n\n/**\n * The row type one selector's projection is made of.\n *\n * @since 1.0.0\n * @category models\n */\nexport type RowOf<S extends ProjectionSelector> = RowSchemas[S[\"_tag\"]][\"Type\"]\n\n/**\n * A monotonic cursor for one projection and optional run scope.\n *\n * `runId` is null for workspace projections and records the source run for\n * per-run projections, even when a selector later gains more fields. Control\n * journal sequences belong to per-run partitions, so no workspace-wide\n * sequence exists. A workspace cursor therefore has value `0` and a null run,\n * and a workspace projection cannot resume from a cursor.\n *\n * @since 0.1.0\n * @category models\n */\nexport const ProjectionCursor = Schema.Struct({\n  selector: ProjectionSelector,\n  projection: ProjectionName,\n  runId: Schema.NullOr(Schema.String),\n  value: Schema.Int.check(\n    Schema.isGreaterThanOrEqualTo(0),\n    Schema.isLessThanOrEqualTo(Number.MAX_SAFE_INTEGER)\n  ),\n  offset: Schema.Int.check(\n    Schema.isGreaterThanOrEqualTo(0),\n    Schema.isLessThanOrEqualTo(Number.MAX_SAFE_INTEGER)\n  )\n})\n\n/**\n * A monotonic projection cursor.\n *\n * @since 0.1.0\n * @category models\n */\nexport type ProjectionCursor = typeof ProjectionCursor.Type\n\n/** One snapshot member: every row one selector projects, at one cursor. */\nconst snapshotMember = <S extends Schema.Top, R extends Schema.Top>(selector: S, row: R) =>\n  Schema.Struct({ selector, cursor: ProjectionCursor, rows: Schema.Array(row) })\n\n/** One row frame: a single row of one selector's projection. */\nconst rowMember = <S extends Schema.Top, R extends Schema.Top>(selector: S, row: R) =>\n  Schema.TaggedStruct(\"row\", { selector, cursor: ProjectionCursor, row })\n\n/** One delta frame: the rows one selector's projection changed by. */\nconst deltaMember = <S extends Schema.Top, R extends Schema.Top>(selector: S, row: R) =>\n  Schema.TaggedStruct(\"delta\", { selector, cursor: ProjectionCursor, delta: Schema.Array(row) })\n\ntype SnapshotMembersOf<T extends ServedTable> = {\n  readonly [K in keyof T]: ReturnType<typeof snapshotMember<T[K][0], T[K][1]>>\n}\n\ntype RowMembersOf<T extends ServedTable> = {\n  readonly [K in keyof T]: ReturnType<typeof rowMember<T[K][0], T[K][1]>>\n}\n\ntype DeltaMembersOf<T extends ServedTable> = {\n  readonly [K in keyof T]: ReturnType<typeof deltaMember<T[K][0], T[K][1]>>\n}\n\n/**\n * Every row one selector currently projects, and the cursor they were read\n * at. A client that follows the same selector from this cursor sees each\n * later change exactly once.\n *\n * @since 1.0.0\n * @category models\n */\nexport const ProjectionSnapshot = Schema.Union(\n  overServed<SnapshotMembersOf<Served>>(([selector, row]) => snapshotMember(selector, row))\n)\n\n/**\n * A projection snapshot and the cursor it was read at.\n *\n * @since 1.0.0\n * @category models\n */\nexport type ProjectionSnapshot = typeof ProjectionSnapshot.Type\n\n/**\n * The start of a selector snapshot.\n *\n * @since 0.1.0\n * @category models\n */\nexport const SnapshotStartFrame = Schema.TaggedStruct(\"snapshot-start\", {\n  selector: ProjectionSelector,\n  cursor: ProjectionCursor\n})\n\n/**\n * The start of a selector snapshot.\n *\n * @since 0.1.0\n * @category models\n */\nexport type SnapshotStartFrame = typeof SnapshotStartFrame.Type\n\n/**\n * A row emitted during a selector snapshot.\n *\n * @since 0.1.0\n * @category models\n */\nexport const RowFrame = Schema.Union(\n  overServed<RowMembersOf<Served>>(([selector, row]) => rowMember(selector, row))\n)\n\n/**\n * A row emitted during a selector snapshot.\n *\n * @since 0.1.0\n * @category models\n */\nexport type RowFrame = typeof RowFrame.Type\n\n/**\n * The end of a selector snapshot.\n *\n * @since 0.1.0\n * @category models\n */\nexport const SnapshotEndFrame = Schema.TaggedStruct(\"snapshot-end\", {\n  selector: ProjectionSelector,\n  cursor: ProjectionCursor\n})\n\n/**\n * The end of a selector snapshot.\n *\n * @since 0.1.0\n * @category models\n */\nexport type SnapshotEndFrame = typeof SnapshotEndFrame.Type\n\n/**\n * A projection mutation after snapshot completion.\n *\n * `delta` replaces the selector's rows, except for the two append-only\n * projections: a `run-events` delta carries the one event that arrived and a\n * `transcript` delta carries the rows that event contributed, and a client\n * appends those to the rows it already holds.\n *\n * @since 0.1.0\n * @category models\n */\nexport const DeltaFrame = Schema.Union(\n  overServed<DeltaMembersOf<Served>>(([selector, row]) => deltaMember(selector, row))\n)\n\n/**\n * A projection mutation after snapshot completion.\n *\n * @since 0.1.0\n * @category models\n */\nexport type DeltaFrame = typeof DeltaFrame.Type\n\n/**\n * A keepalive frame for an active subscription.\n *\n * @since 0.1.0\n * @category models\n */\nexport const HeartbeatFrame = Schema.TaggedStruct(\"heartbeat\", { atMs: Schema.Number })\n\n/**\n * A keepalive frame for an active subscription.\n *\n * @since 0.1.0\n * @category models\n */\nexport type HeartbeatFrame = typeof HeartbeatFrame.Type\n\n/**\n * A frame sent by the gateway subscription protocol.\n *\n * @since 0.1.0\n * @category models\n */\nexport const GatewayFrame = Schema.Union([\n  SnapshotStartFrame,\n  ...RowFrame.members,\n  SnapshotEndFrame,\n  ...DeltaFrame.members,\n  HeartbeatFrame\n])\n\n/**\n * A frame sent by the gateway subscription protocol.\n *\n * @since 0.1.0\n * @category models\n */\nexport type GatewayFrame = typeof GatewayFrame.Type\n\n/**\n * The snapshot one selector answers with.\n *\n * A literal selector keeps its own rows: `SnapshotOf<ApprovalsSelector>` has\n * `ApprovalRow` rows, so a caller reads `requestId` without an assertion. A\n * selector union maps to the snapshot union, which is what a caller holding a\n * selector chosen at runtime still gets.\n *\n * @since 1.0.0\n * @category models\n */\nexport type SnapshotOf<S extends ProjectionSelector> = Extract<\n  ProjectionSnapshot,\n  { readonly selector: { readonly _tag: S[\"_tag\"] } }\n>\n\n/**\n * The frames one selector's subscription emits.\n *\n * Snapshot brackets and keepalives carry no rows and belong to every\n * selector; the row and delta frames are the selector's own.\n *\n * @since 1.0.0\n * @category models\n */\nexport type FrameOf<S extends ProjectionSelector> =\n  | SnapshotStartFrame\n  | SnapshotEndFrame\n  | HeartbeatFrame\n  | Extract<RowFrame, { readonly selector: { readonly _tag: S[\"_tag\"] } }>\n  | Extract<DeltaFrame, { readonly selector: { readonly _tag: S[\"_tag\"] } }>\n"]}