@smthrs/engine-store 0.0.0-stage → 1.0.0-rc.4

package/dist/esm/internal/ExecutionSnapshotRelations.d.ts

@@ -0,0 +1,39 @@
+/**
+ * Page-scoped durable child and round enumeration.
+ *
+ * @since 1.0.0
+ */
+import { RunStoreError } from "@smthrs/run-store/RunStore";
+import { Effect } from "effect";
+import type * as SqlClient from "effect/unstable/sql/SqlClient";
+import type { Batch, Snapshot } from "../ExecutionSnapshot.ts";
+/**
+ * Child edges and trampoline rounds are different relations.
+ *
+ * @category models
+ * @since 1.0.0
+ */
+export interface RelatedOptions {
+    readonly runId: string;
+    readonly kind: "children" | "rounds";
+    readonly cursor?: string;
+    readonly limit?: number;
+}
+/**
+ * A requested anchor and its page, observed in one transaction.
+ *
+ * @category models
+ * @since 1.0.0
+ */
+export interface RelatedPage extends Batch {
+    readonly anchor: Snapshot;
+    readonly cursor: string | null;
+}
+/**
+ * Builds a bounded relation reader over the shared snapshot port.
+ *
+ * @private
+ * @since 1.0.0
+ */
+export declare const make: (sql: SqlClient.SqlClient, read: (ids: ReadonlyArray<string>) => Effect.Effect<Batch, RunStoreError>) => (options: RelatedOptions) => Effect.Effect<RelatedPage, RunStoreError>;
+//# sourceMappingURL=ExecutionSnapshotRelations.d.ts.map

package/dist/esm/internal/ExecutionSnapshotRelations.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ExecutionSnapshotRelations.d.ts","sourceRoot":"","sources":["../../../src/internal/ExecutionSnapshotRelations.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAA;AAC1D,OAAO,EAAE,MAAM,EAAU,MAAM,QAAQ,CAAA;AACvC,OAAO,KAAK,KAAK,SAAS,MAAM,+BAA+B,CAAA;AAC/D,OAAO,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAA;AAG9D;;;;;GAKG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,QAAQ,CAAA;IACpC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CACxB;AACD;;;;;GAKG;AACH,MAAM,WAAW,WAAY,SAAQ,KAAK;IACxC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAA;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;CAC/B;AAkBD;;;;;GAKG;AACH,eAAO,MAAM,IAAI,GACf,KAAK,SAAS,CAAC,SAAS,EACxB,MAAM,CAAC,GAAG,EAAE,aAAa,CAAC,MAAM,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,aAAa,CAAC,MAE1E,SAAS,cAAc,KAAG,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,aAAa,CA0DhE,CAAA"}

package/dist/esm/internal/ExecutionSnapshotRelations.js

@@ -0,0 +1,81 @@
+/**
+ * Page-scoped durable child and round enumeration.
+ *
+ * @since 1.0.0
+ */
+import * as Dialect from "@smthrs/database/Dialect";
+import { RunStoreError } from "@smthrs/run-store/RunStore";
+import { Effect, Schema } from "effect";
+import * as Read from "./ExecutionSnapshotRead.js";
+const Kind = Schema.Literals(["children", "rounds"]);
+const Options = Schema.Struct({
+    runId: Read.Identifier,
+    kind: Kind,
+    cursor: Schema.optionalKey(Schema.String.check(Schema.isMaxLength(32768))),
+    limit: Schema.optionalKey(Schema.Int.check(Schema.isBetween({ minimum: 1, maximum: 200 })))
+});
+const Cursor = Schema.fromJsonString(Schema.Struct({
+    version: Schema.Literal(1),
+    source: Read.Source,
+    runId: Read.Identifier,
+    kind: Kind,
+    ordinal: Read.Natural,
+    lastRunId: Read.Identifier
+}));
+const Relation = Schema.Struct({ run_id: Read.Identifier, ordinal: Read.Natural });
+/**
+ * Builds a bounded relation reader over the shared snapshot port.
+ *
+ * @private
+ * @since 1.0.0
+ */
+export const make = (sql, read) => (options) => Read.boundary("ExecutionSnapshot.related", Effect.gen(function* () {
+    const input = yield* Read.decode(Options, options);
+    const cursor = input.cursor === undefined ? null : yield* Read.decode(Cursor, input.cursor);
+    return yield* Read.transaction(sql, Effect.gen(function* () {
+        const at = yield* Read.position(sql);
+        if (cursor !== null &&
+            (cursor.source !== at.source || cursor.runId !== input.runId || cursor.kind !== input.kind)) {
+            return yield* Effect.fail(new RunStoreError({
+                method: "ExecutionSnapshot.related",
+                code: "invalid_run",
+                message: "relation cursor belongs to another query or source",
+                cause: cursor
+            }));
+        }
+        const anchor = (yield* read([input.runId])).snapshots[0];
+        const limit = input.limit ?? 100;
+        const values = [input.runId];
+        const columns = input.kind === "children" ? ["seq", "child_id"] : ["COALESCE(round_ordinal, 0)", "run_id"];
+        const after = cursor === null ? "" : `AND (${columns.join(", ")}) > (?, ?)`;
+        if (cursor !== null)
+            values.push(cursor.ordinal, cursor.lastRunId);
+        values.push(limit + 1);
+        const query = input.kind === "children"
+            ? `SELECT child_id AS run_id, seq AS ordinal FROM flows_run_parents
+         WHERE parent_id = ? ${after} ORDER BY seq, child_id LIMIT ?`
+            : `SELECT run_id, COALESCE(round_ordinal, 0) AS ordinal FROM flows_runs
+         WHERE execution_lineage = (SELECT execution_lineage FROM flows_runs WHERE run_id = ?)
+         ${after} ORDER BY COALESCE(round_ordinal, 0), run_id LIMIT ?`;
+        const rows = yield* Dialect.query(sql, query, values);
+        const decoded = yield* Effect.forEach(rows, (row) => Read.decode(Relation, row));
+        const selected = decoded.slice(0, limit);
+        const batch = yield* read(selected.map((row) => row.run_id));
+        const last = selected[selected.length - 1];
+        return {
+            ...batch,
+            anchor,
+            cursor: decoded.length > limit ?
+                JSON.stringify({
+                    version: 1,
+                    source: at.source,
+                    runId: input.runId,
+                    kind: input.kind,
+                    ordinal: last.ordinal,
+                    lastRunId: last.run_id
+                }) :
+                null
+        };
+    }));
+}));
+//# sourceMappingURL=ExecutionSnapshotRelations.js.map

package/dist/esm/internal/ExecutionSnapshotRelations.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ExecutionSnapshotRelations.js","sourceRoot":"","sources":["../../../src/internal/ExecutionSnapshotRelations.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,OAAO,MAAM,0BAA0B,CAAA;AACnD,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAA;AAC1D,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAGvC,OAAO,KAAK,IAAI,MAAM,4BAA4B,CAAA;AAwBlD,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAA;AACpD,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC;IAC5B,KAAK,EAAE,IAAI,CAAC,UAAU;IACtB,IAAI,EAAE,IAAI;IACV,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;IAC1E,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;CAC5F,CAAC,CAAA;AACF,MAAM,MAAM,GAAG,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,MAAM,CAAC;IACjD,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;IAC1B,MAAM,EAAE,IAAI,CAAC,MAAM;IACnB,KAAK,EAAE,IAAI,CAAC,UAAU;IACtB,IAAI,EAAE,IAAI;IACV,OAAO,EAAE,IAAI,CAAC,OAAO;IACrB,SAAS,EAAE,IAAI,CAAC,UAAU;CAC3B,CAAC,CAAC,CAAA;AACH,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAA;AAElF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAClB,GAAwB,EACxB,IAAyE,EACzE,EAAE,CACJ,CAAC,OAAuB,EAA6C,EAAE,CACrE,IAAI,CAAC,QAAQ,CACX,2BAA2B,EAC3B,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,CAAA;IAClD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAA;IAC3F,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAC5B,GAAG,EACH,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAA;QACpC,IACE,MAAM,KAAK,IAAI;YACf,CAAC,MAAM,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM,IAAI,MAAM,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,EAC3F,CAAC;YACD,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,aAAa,CAAC;gBAChB,MAAM,EAAE,2BAA2B;gBACnC,IAAI,EAAE,aAAa;gBACnB,OAAO,EAAE,oDAAoD;gBAC7D,KAAK,EAAE,MAAM;aACd,CAAC,CACH,CAAA;QACH,CAAC;QACD,MAAM,MAAM,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAE,CAAA;QACzD,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,IAAI,GAAG,CAAA;QAChC,MAAM,MAAM,GAAkC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;QAC3D,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,4BAA4B,EAAE,QAAQ,CAAC,CAAA;QAC1G,MAAM,KAAK,GAAG,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAA;QAC3E,IAAI,MAAM,KAAK,IAAI;YAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,SAAS,CAAC,CAAA;QAClE,MAAM,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAA;QACtB,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,KAAK,UAAU;YACrC,CAAC,CAAC;+BACiB,KAAK,iCAAiC;YACzD,CAAC,CAAC;;WAEH,KAAK,sDAAsD,CAAA;QAC5D,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;QACrD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAA;QAChF,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAA;QACxC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAA;QAC5D,MAAM,IAAI,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;QAC1C,OAAO;YACL,GAAG,KAAK;YACR,MAAM;YACN,MAAM,EAAE,OAAO,CAAC,MAAM,GAAG,KAAK,CAAC,CAAC;gBAC9B,IAAI,CAAC,SAAS,CAAC;oBACb,OAAO,EAAE,CAAC;oBACV,MAAM,EAAE,EAAE,CAAC,MAAM;oBACjB,KAAK,EAAE,KAAK,CAAC,KAAK;oBAClB,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,OAAO,EAAE,IAAK,CAAC,OAAO;oBACtB,SAAS,EAAE,IAAK,CAAC,MAAM;iBACxB,CAAC,CAAC,CAAC;gBACJ,IAAI;SACP,CAAA;IACH,CAAC,CAAC,CACH,CAAA;AACH,CAAC,CAAC,CACH,CAAA","sourcesContent":["/**\n * Page-scoped durable child and round enumeration.\n *\n * @since 1.0.0\n */\n\nimport * as Dialect from \"@smthrs/database/Dialect\"\nimport { RunStoreError } from \"@smthrs/run-store/RunStore\"\nimport { Effect, Schema } from \"effect\"\nimport type * as SqlClient from \"effect/unstable/sql/SqlClient\"\nimport type { Batch, Snapshot } from \"../ExecutionSnapshot.ts\"\nimport * as Read from \"./ExecutionSnapshotRead.ts\"\n\n/**\n * Child edges and trampoline rounds are different relations.\n *\n * @category models\n * @since 1.0.0\n */\nexport interface RelatedOptions {\n  readonly runId: string\n  readonly kind: \"children\" | \"rounds\"\n  readonly cursor?: string\n  readonly limit?: number\n}\n/**\n * A requested anchor and its page, observed in one transaction.\n *\n * @category models\n * @since 1.0.0\n */\nexport interface RelatedPage extends Batch {\n  readonly anchor: Snapshot\n  readonly cursor: string | null\n}\nconst Kind = Schema.Literals([\"children\", \"rounds\"])\nconst Options = Schema.Struct({\n  runId: Read.Identifier,\n  kind: Kind,\n  cursor: Schema.optionalKey(Schema.String.check(Schema.isMaxLength(32768))),\n  limit: Schema.optionalKey(Schema.Int.check(Schema.isBetween({ minimum: 1, maximum: 200 })))\n})\nconst Cursor = Schema.fromJsonString(Schema.Struct({\n  version: Schema.Literal(1),\n  source: Read.Source,\n  runId: Read.Identifier,\n  kind: Kind,\n  ordinal: Read.Natural,\n  lastRunId: Read.Identifier\n}))\nconst Relation = Schema.Struct({ run_id: Read.Identifier, ordinal: Read.Natural })\n\n/**\n * Builds a bounded relation reader over the shared snapshot port.\n *\n * @private\n * @since 1.0.0\n */\nexport const make = (\n  sql: SqlClient.SqlClient,\n  read: (ids: ReadonlyArray<string>) => Effect.Effect<Batch, RunStoreError>\n) =>\n(options: RelatedOptions): Effect.Effect<RelatedPage, RunStoreError> =>\n  Read.boundary(\n    \"ExecutionSnapshot.related\",\n    Effect.gen(function*() {\n      const input = yield* Read.decode(Options, options)\n      const cursor = input.cursor === undefined ? null : yield* Read.decode(Cursor, input.cursor)\n      return yield* Read.transaction(\n        sql,\n        Effect.gen(function*() {\n          const at = yield* Read.position(sql)\n          if (\n            cursor !== null &&\n            (cursor.source !== at.source || cursor.runId !== input.runId || cursor.kind !== input.kind)\n          ) {\n            return yield* Effect.fail(\n              new RunStoreError({\n                method: \"ExecutionSnapshot.related\",\n                code: \"invalid_run\",\n                message: \"relation cursor belongs to another query or source\",\n                cause: cursor\n              })\n            )\n          }\n          const anchor = (yield* read([input.runId])).snapshots[0]!\n          const limit = input.limit ?? 100\n          const values: Array<string | number | null> = [input.runId]\n          const columns = input.kind === \"children\" ? [\"seq\", \"child_id\"] : [\"COALESCE(round_ordinal, 0)\", \"run_id\"]\n          const after = cursor === null ? \"\" : `AND (${columns.join(\", \")}) > (?, ?)`\n          if (cursor !== null) values.push(cursor.ordinal, cursor.lastRunId)\n          values.push(limit + 1)\n          const query = input.kind === \"children\"\n            ? `SELECT child_id AS run_id, seq AS ordinal FROM flows_run_parents\n         WHERE parent_id = ? ${after} ORDER BY seq, child_id LIMIT ?`\n            : `SELECT run_id, COALESCE(round_ordinal, 0) AS ordinal FROM flows_runs\n         WHERE execution_lineage = (SELECT execution_lineage FROM flows_runs WHERE run_id = ?)\n         ${after} ORDER BY COALESCE(round_ordinal, 0), run_id LIMIT ?`\n          const rows = yield* Dialect.query(sql, query, values)\n          const decoded = yield* Effect.forEach(rows, (row) => Read.decode(Relation, row))\n          const selected = decoded.slice(0, limit)\n          const batch = yield* read(selected.map((row) => row.run_id))\n          const last = selected[selected.length - 1]\n          return {\n            ...batch,\n            anchor,\n            cursor: decoded.length > limit ?\n              JSON.stringify({\n                version: 1,\n                source: at.source,\n                runId: input.runId,\n                kind: input.kind,\n                ordinal: last!.ordinal,\n                lastRunId: last!.run_id\n              }) :\n              null\n          }\n        })\n      )\n    })\n  )\n"]}

package/dist/esm/internal/ExitEncoding.d.ts

@@ -0,0 +1,180 @@
+/**
+ * Encoding a round's settlement so a terminal transition can never be lost.
+ *
+ * A run row leaves `running` only when the driver has bytes to write into
+ * `state_json`, and those bytes come from the flow's OWN codec:
+ * `Flow.Result({ success: flow.successSchema, error: flow.errorSchema })`.
+ * A flow that declares `Schema.Unknown` for either channel — which is what
+ * `@smthrs/agent`'s `agent/run` declares, because an agent run carries
+ * whatever its body failed with — encodes that channel through `Schema.Json`,
+ * and `Schema.Json` rejects every class instance: `SchemaAST.isJson` walks the
+ * prototype chain and refuses anything that is not a plain object or an array.
+ * Every `Data.TaggedError` in this repository is therefore unencodable through
+ * such a flow, `HarnessError` and `ModelError` included.
+ *
+ * Guarding the terminal transition with `Effect.orDie` around that encode made
+ * an unencodable failure fatal for the drain instead of terminal for the run.
+ * The release validation caught the whole chain: `engine-store: coordinated
+ * drain failed for run-1 SchemaError: Expected JSON value at
+ * ["exit"]["cause"][0]["error"]`, `engine.db` `flows_runs` left at `running`
+ * with a dead owner pid while `control.db` said `failed`, and 86 seconds later
+ * the next process's stale-running sweep stole the row, opened a second turn,
+ * and billed the provider seat again for a run the control plane had closed.
+ *
+ * So the encode fails CLOSED here rather than open. The ordinary path is the
+ * flow's own codec, unchanged. When that codec rejects the value, the result
+ * is still written — as a JSON projection of what could not be encoded (tag,
+ * code, message, a stack summary, and nested causes) inside a `Die` reason —
+ * and the caller is told, through {@link EncodedResult.note}, that it must
+ * settle the run `failed`. A settled run is never re-executed, which is the
+ * durability promise the release policy states as one terminal write.
+ *
+ * The projection is built as plain JSON rather than re-encoded through a
+ * schema, so nothing in this module can raise. Its top-level object carries no
+ * `message` key on purpose: `Schema.Defect` revives any JSON object that has a
+ * string `message` as an `Error`, and a projection has to come back out of the
+ * row as the structured record it went in as.
+ *
+ * @since 0.1.0
+ */
+import { Flow } from "@smthrs/flow";
+import type * as Cause from "effect/Cause";
+import * as Effect from "effect/Effect";
+/**
+ * The `_tag` every projection carries, so a reader of `state_json` can tell a
+ * projected settlement from an encoded one without guessing.
+ *
+ * @since 0.1.0
+ * @category constants
+ */
+export declare const projectionTag = "flows/engine-store/UnencodableResult";
+/**
+ * How many `cause` links a value projection follows before it stops.
+ *
+ * A provider failure nests two or three deep (`HarnessError` over
+ * `ModelError` over the transport error); the bound exists so a self-linking
+ * cause chain cannot make the projection unbounded.
+ *
+ * @since 0.1.0
+ * @category constants
+ */
+export declare const maxCauseDepth = 4;
+/**
+ * How many leading stack lines a value projection keeps.
+ *
+ * @since 0.1.0
+ * @category constants
+ */
+export declare const maxStackLines = 4;
+/**
+ * How many characters any single projected string keeps.
+ *
+ * @since 0.1.0
+ * @category constants
+ */
+export declare const maxTextLength = 1024;
+/**
+ * Maximum cause reasons retained by the terminal fallback.
+ *
+ * @category constants
+ * @since 1.0.0
+ */
+export declare const maxReasonCount = 32;
+/**
+ * Maximum serialized bytes retained by one fallback projection.
+ *
+ * @category constants
+ * @since 1.0.0
+ */
+export declare const maxProjectionBytes: number;
+/**
+ * A JSON-safe summary of one unencodable value.
+ *
+ * `type` is the constructor name for an object and the `typeof` for anything
+ * else, so `ModelError` and `"boom"` are distinguishable in the row.
+ *
+ * @since 0.1.0
+ * @category models
+ */
+export interface ValueProjection {
+    readonly type: string;
+    readonly message: string;
+    readonly tag?: string;
+    readonly code?: string;
+    readonly stack?: string;
+    readonly cause?: ValueProjection;
+}
+/**
+ * A JSON-safe summary of one `Cause` reason.
+ *
+ * @since 0.1.0
+ * @category models
+ */
+export interface ReasonProjection {
+    readonly _tag: "Fail" | "Die" | "Interrupt";
+    readonly error?: ValueProjection;
+    readonly fiberId?: number;
+}
+/**
+ * The record written in place of a settlement the flow's codec rejected.
+ *
+ * @since 0.1.0
+ * @category models
+ */
+export interface ResultProjection {
+    readonly _tag: typeof projectionTag;
+    readonly result: "Complete" | "Suspended" | "Handoff";
+    readonly note: string;
+    readonly reasons: ReadonlyArray<ReasonProjection>;
+    readonly value: ValueProjection | null;
+}
+/**
+ * What {@link encode} produces: the bytes to persist, and — only when the
+ * flow's codec rejected the settlement — the note describing why.
+ *
+ * A present `note` is an instruction to the caller, not decoration: the run
+ * must reach a terminal `failed` row, because the alternative is the row this
+ * lane exists to abolish, a `running` row whose owner is gone.
+ *
+ * @since 0.1.0
+ * @category models
+ */
+export interface EncodedResult {
+    readonly encoded: unknown;
+    readonly note: string | undefined;
+}
+/**
+ * Projects one value — a typed error, a defect, a success value, a handoff
+ * payload — into JSON.
+ *
+ * @since 0.1.0
+ * @category conversions
+ */
+export declare const projectValue: (value: unknown, depth?: number, seen?: WeakSet<object>) => ValueProjection;
+/**
+ * Projects every reason of a cause, in order. An absent cause — a
+ * `Flow.Suspended` that carries none — projects to no reasons.
+ *
+ * @since 0.1.0
+ * @category conversions
+ */
+export declare const projectCause: (cause: Cause.Cause<unknown> | undefined) => ReadonlyArray<ReasonProjection>;
+/**
+ * Projects a settlement the flow's codec rejected.
+ *
+ * @since 0.1.0
+ * @category conversions
+ */
+export declare const projectResult: (result: Flow.Result<unknown, unknown>, note: string) => ResultProjection;
+/**
+ * Encodes a round's settlement through the flow's own codec, and — when that
+ * codec rejects it — through a JSON projection instead.
+ *
+ * The returned effect has no error channel and dies for nothing: a caller on
+ * the terminal-transition path can always write the row it holds.
+ *
+ * @since 0.1.0
+ * @category conversions
+ */
+export declare const encode: (flow: Flow.Any, result: Flow.Result<unknown, unknown>) => Effect.Effect<EncodedResult>;
+//# sourceMappingURL=ExitEncoding.d.ts.map

package/dist/esm/internal/ExitEncoding.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ExitEncoding.d.ts","sourceRoot":"","sources":["../../../src/internal/ExitEncoding.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AAEH,OAAO,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAEnC,OAAO,KAAK,KAAK,KAAK,MAAM,cAAc,CAAA;AAC1C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAcvC;;;;;;GAMG;AACH,eAAO,MAAM,aAAa,yCAAyC,CAAA;AAEnE;;;;;;;;;GASG;AACH,eAAO,MAAM,aAAa,IAAI,CAAA;AAE9B;;;;;GAKG;AACH,eAAO,MAAM,aAAa,IAAI,CAAA;AAE9B;;;;;GAKG;AACH,eAAO,MAAM,aAAa,OAAO,CAAA;AAEjC;;;;;GAKG;AACH,eAAO,MAAM,cAAc,KAAK,CAAA;AAEhC;;;;;GAKG;AACH,eAAO,MAAM,kBAAkB,QAAY,CAAA;AAE3C;;;;;;;;GAQG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,KAAK,CAAC,EAAE,eAAe,CAAA;CACjC;AAED;;;;;GAKG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,KAAK,GAAG,WAAW,CAAA;IAC3C,QAAQ,CAAC,KAAK,CAAC,EAAE,eAAe,CAAA;IAChC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAC1B;AAED;;;;;GAKG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,OAAO,aAAa,CAAA;IACnC,QAAQ,CAAC,MAAM,EAAE,UAAU,GAAG,WAAW,GAAG,SAAS,CAAA;IACrD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,gBAAgB,CAAC,CAAA;IACjD,QAAQ,CAAC,KAAK,EAAE,eAAe,GAAG,IAAI,CAAA;CACvC;AAED;;;;;;;;;;GAUG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAA;CAClC;AAwDD;;;;;;GAMG;AACH,eAAO,MAAM,YAAY,GAAI,OAAO,OAAO,EAAE,cAAS,EAAE,sBAA4B,KAAG,eAgDtF,CAAA;AAeD;;;;;;GAMG;AACH,eAAO,MAAM,YAAY,GACvB,OAAO,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,SAAS,KACtC,aAAa,CAAC,gBAAgB,CAmBhC,CAAA;AAoBD;;;;;GAKG;AACH,eAAO,MAAM,aAAa,GACxB,QAAQ,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,EACrC,MAAM,MAAM,KACX,gBAgDF,CAAA;AAuBD;;;;;;;;;GASG;AACH,eAAO,MAAM,MAAM,GACjB,MAAM,IAAI,CAAC,GAAG,EACd,QAAQ,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,KACpC,MAAM,CAAC,MAAM,CAAC,aAAa,CAiBK,CAAA"}