@smthrs/gateway 0.34.0 → 1.0.0-rc.3

package/dist/cjs/GatewayRpcs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"GatewayRpcs.d.ts","sourceRoot":"","sources":["../../src/GatewayRpcs.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,YAAY,EAAE,WAAW,EAAiB,MAAM,iBAAiB,CAAA;AAC1E,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/B,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAA;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AAEhD,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAE7C;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,+CAAuC,CAAA;AAE5D;;;;;GAKG;AACH,MAAM,MAAM,QAAQ,GAAG,OAAO,QAAQ,CAAC,IAAI,CAAA;AAE3C;;;;;GAKG;AACH,eAAO,MAAM,mBAAmB;;IAG9B;;;;;;;;;;;;OAYG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAEH,CAAA;AAEF;;;;;GAKG;AACH,MAAM,MAAM,mBAAmB,GAAG,OAAO,mBAAmB,CAAC,IAAI,CAAA;AAEjE;;;;;;;;GAQG;AACH,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;EAE/B,CAAA;AAEF;;;;;GAKG;AACH,MAAM,MAAM,oBAAoB,GAAG,OAAO,oBAAoB,CAAC,IAAI,CAAA;AAoCnE;;;;;;;;;;GAUG;AACH,eAAO,MAAM,WAAW;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IA1FtB;;;;;;;;;;;;OAYG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;yKAsHgC,CAAA"}

package/dist/cjs/GatewayRpcs.js

@@ -0,0 +1,121 @@
+"use strict";
+var __create = Object.create;
+var __defProp = Object.defineProperty;
+var __getOwnPropDesc = Object.getOwnPropertyDescriptor;
+var __getOwnPropNames = Object.getOwnPropertyNames;
+var __getProtoOf = Object.getPrototypeOf;
+var __hasOwnProp = Object.prototype.hasOwnProperty;
+var __export = (target, all) => {
+  for (var name in all)
+    __defProp(target, name, { get: all[name], enumerable: true });
+};
+var __copyProps = (to, from, except, desc) => {
+  if (from && typeof from === "object" || typeof from === "function") {
+    for (let key of __getOwnPropNames(from))
+      if (!__hasOwnProp.call(to, key) && key !== except)
+        __defProp(to, key, { get: () => from[key], enumerable: !(desc = __getOwnPropDesc(from, key)) || desc.enumerable });
+  }
+  return to;
+};
+var __toESM = (mod, isNodeMode, target) => (target = mod != null ? __create(__getProtoOf(mod)) : {}, __copyProps(
+  // If the importer is in node compatibility mode or this is not an ESM
+  // file that has been converted to a CommonJS file using a Babel-
+  // compatible transform (i.e. "__esModule" has not been set), then set
+  // "default" to the CommonJS "module.exports" for node compatibility.
+  isNodeMode || !mod || !mod.__esModule ? __defProp(target, "default", { value: mod, enumerable: true }) : target,
+  mod
+));
+var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: true }), mod);
+var GatewayRpcs_exports = {};
+__export(GatewayRpcs_exports, {
+  Decision: () => Decision,
+  GatewayRpcs: () => GatewayRpcs,
+  SubmitApprovalInput: () => SubmitApprovalInput,
+  SubmitApprovalOutput: () => SubmitApprovalOutput
+});
+module.exports = __toCommonJS(GatewayRpcs_exports);
+var import_control = require("@smthrs/control");
+var import_effect = require("effect");
+var import_rpc = require("effect/unstable/rpc");
+var import_GatewayError = require("./GatewayError.js");
+var GatewaySchema = __toESM(require("./GatewaySchema.js"), 1);
+var RunHistory = __toESM(require("./RunHistory.js"), 1);
+const Decision = import_effect.Schema.Literals(["approve", "deny"]);
+const SubmitApprovalInput = import_effect.Schema.Struct({
+  ...import_control.ControlSchema.ApprovalPayload.fields,
+  decision: Decision,
+  /**
+   * The answer to a question, for a gate that asks one.
+   *
+   * Most gates are a grant: approve or deny, and the decision IS the payload.
+   * A `HumanTask` gate asks for a value — prose, a choice, a JSON object — and
+   * the decision alone answers nothing. Present exactly when the row being
+   * submitted is one of those, in which case `target.requestId` names the wait
+   * point and this is what is delivered to it. A denial carries no answer: the
+   * question is refused, not answered.
+   *
+   * Additive on purpose: a client that never asks a person anything submits
+   * exactly what it submitted before.
+   */
+  answer: import_effect.Schema.optional(import_effect.Schema.Json)
+});
+const SubmitApprovalOutput = import_effect.Schema.Struct({
+  decision: import_control.ControlSchema.Receipt
+});
+const submitErrors = import_effect.Schema.Union([
+  import_control.ControlError.NoMatchingWait,
+  import_control.ControlError.CodeDrift,
+  import_control.ControlError.PlanDigestMismatch,
+  import_control.ControlError.EnvelopeMismatch,
+  import_control.ControlError.AlreadyResolved,
+  import_control.ControlError.PlanNotFound,
+  import_control.ControlError.RunNotFound,
+  import_control.ControlError.InvalidInput,
+  import_control.ControlError.Unauthorized,
+  import_control.ControlError.PersistenceError,
+  import_control.ControlError.Unavailable,
+  import_control.ControlError.TransportError
+]);
+const historyErrors = import_effect.Schema.Union([RunHistory.HistoryRefused, import_control.ControlError.Unauthorized, import_control.ControlError.Unavailable]);
+const GatewayRpcs = import_rpc.RpcGroup.make(
+  import_rpc.Rpc.make("Projection.Snapshot", {
+    defect: import_control.ControlRpcs.ControlDefect,
+    payload: import_effect.Schema.Struct({
+      selector: GatewaySchema.ProjectionSelector,
+      after: import_effect.Schema.optional(GatewaySchema.ProjectionCursor)
+    }),
+    success: GatewaySchema.ProjectionSnapshot,
+    error: import_GatewayError.GatewayError
+  }),
+  import_rpc.Rpc.make("Projection.Subscribe", {
+    defect: import_control.ControlRpcs.ControlDefect,
+    payload: import_effect.Schema.Struct({
+      selector: GatewaySchema.ProjectionSelector,
+      after: import_effect.Schema.optional(GatewaySchema.ProjectionCursor)
+    }),
+    success: GatewaySchema.GatewayFrame,
+    error: import_GatewayError.GatewayError,
+    stream: true
+  }),
+  import_rpc.Rpc.make("Approval.Submit", {
+    defect: import_control.ControlRpcs.ControlDefect,
+    payload: SubmitApprovalInput,
+    success: SubmitApprovalOutput,
+    error: submitErrors
+  }),
+  /* Branches a run at a recorded frame into a parked child, as `smthrs runs fork`. */
+  import_rpc.Rpc.make("Run.Fork", {
+    defect: import_control.ControlRpcs.ControlDefect,
+    payload: RunHistory.ForkInput,
+    success: RunHistory.ForkOutput,
+    error: historyErrors
+  }),
+  /* Reports what a resume under the current flow code would replay, as `smthrs runs verify`. */
+  import_rpc.Rpc.make("Run.Verify", {
+    defect: import_control.ControlRpcs.ControlDefect,
+    payload: RunHistory.VerifyInput,
+    success: RunHistory.VerifyReport,
+    error: historyErrors
+  })
+).middleware(import_control.ControlRpcs.ControlAuth);
+//# sourceMappingURL=GatewayRpcs.js.map

package/dist/cjs/GatewayRpcs.js.map

@@ -0,0 +1,7 @@
+{
+  "version": 3,
+  "sources": ["../../src/GatewayRpcs.ts"],
+  "sourcesContent": ["/**\n * The gateway's own remote procedures: the served read path, and the one\n * composite mutation a product client cannot assemble safely on its own.\n *\n * Control mutations are not re-declared here. `@smthrs/control` `ControlRpcs`\n * is the mutation contract and the gateway mounts it unchanged at `/rpc`, so\n * there is exactly one wire definition of `Plan`, `Run`, `Approve`, `Deny`,\n * `Cancel`, `Signal`, `Steer`, `Resume`, `List`, and `Watch`.\n *\n * The group shares `ControlRpcs.ControlAuth`, so one bearer credential\n * authenticates both mounts and one server-stamped principal is recorded for\n * whatever it authorizes.\n *\n * @since 1.0.0\n */\n\nimport { ControlError, ControlRpcs, ControlSchema } from \"@smthrs/control\"\nimport { Schema } from \"effect\"\nimport { Rpc, RpcGroup } from \"effect/unstable/rpc\"\nimport { GatewayError } from \"./GatewayError.ts\"\nimport * as GatewaySchema from \"./GatewaySchema.ts\"\nimport * as RunHistory from \"./RunHistory.ts\"\n\n/**\n * The decision a client submits for one approval.\n *\n * @since 1.0.0\n * @category models\n */\nexport const Decision = Schema.Literals([\"approve\", \"deny\"])\n\n/**\n * The decision a client submits for one approval.\n *\n * @since 1.0.0\n * @category models\n */\nexport type Decision = typeof Decision.Type\n\n/**\n * One approval decision, submitted with the exact payload the run published.\n *\n * @since 1.0.0\n * @category models\n */\nexport const SubmitApprovalInput = Schema.Struct({\n  ...ControlSchema.ApprovalPayload.fields,\n  decision: Decision,\n  /**\n   * The answer to a question, for a gate that asks one.\n   *\n   * Most gates are a grant: approve or deny, and the decision IS the payload.\n   * A `HumanTask` gate asks for a value \u2014 prose, a choice, a JSON object \u2014 and\n   * the decision alone answers nothing. Present exactly when the row being\n   * submitted is one of those, in which case `target.requestId` names the wait\n   * point and this is what is delivered to it. A denial carries no answer: the\n   * question is refused, not answered.\n   *\n   * Additive on purpose: a client that never asks a person anything submits\n   * exactly what it submitted before.\n   */\n  answer: Schema.optional(Schema.Json)\n})\n\n/**\n * One approval decision, submitted with the exact payload the run published.\n *\n * @since 1.0.0\n * @category models\n */\nexport type SubmitApprovalInput = typeof SubmitApprovalInput.Type\n\n/**\n * What submitting an approval did.\n *\n * `decision` is the receipt for the grant or refusal. Control owns the\n * decision and its durable resume delegation as one domain command.\n *\n * @since 1.0.0\n * @category models\n */\nexport const SubmitApprovalOutput = Schema.Struct({\n  decision: ControlSchema.Receipt\n})\n\n/**\n * What submitting an approval did.\n *\n * @since 1.0.0\n * @category models\n */\nexport type SubmitApprovalOutput = typeof SubmitApprovalOutput.Type\n\n/**\n * The failures `Approval.Submit` can answer with: exactly the union\n * `@smthrs/control` `Control.approve`, `Control.deny`, and \u2014 for a gate that\n * asks a question \u2014 `Control.signal` declare, because the handler is a\n * transport adapter over those commands and adds no failure of its own. A\n * member none of them raises would be a recovery branch no client's code could\n * ever reach.\n *\n * `NoMatchingWait` is the one an answer adds: the question was answered after\n * the run moved on, or somebody else answered it first. `CodeDrift` is a node\n * decision on a run whose flow changed since it started (#1807).\n */\nconst submitErrors = Schema.Union([\n  ControlError.NoMatchingWait,\n  ControlError.CodeDrift,\n  ControlError.PlanDigestMismatch,\n  ControlError.EnvelopeMismatch,\n  ControlError.AlreadyResolved,\n  ControlError.PlanNotFound,\n  ControlError.RunNotFound,\n  ControlError.InvalidInput,\n  ControlError.Unauthorized,\n  ControlError.PersistenceError,\n  ControlError.Unavailable,\n  ControlError.TransportError\n])\n\n/**\n * The failures `Run.Fork` and `Run.Verify` answer with: the history host's own\n * refusal, `Unauthorized` for an anonymous loopback caller, or `Unavailable`\n * from a gateway composed without a history host.\n */\nconst historyErrors = Schema.Union([RunHistory.HistoryRefused, ControlError.Unauthorized, ControlError.Unavailable])\n\n/**\n * The gateway read path, the composite approval mutation, and the run\n * history procedures.\n *\n * `Approval.Submit` is the transport form of Control's single decision\n * command. Control records the decision and durable resume delegation; the\n * gateway never composes a second mutation.\n *\n * @since 1.0.0\n * @category groups\n */\nexport const GatewayRpcs = RpcGroup.make(\n  Rpc.make(\"Projection.Snapshot\", {\n    defect: ControlRpcs.ControlDefect,\n    payload: Schema.Struct({\n      selector: GatewaySchema.ProjectionSelector,\n      after: Schema.optional(GatewaySchema.ProjectionCursor)\n    }),\n    success: GatewaySchema.ProjectionSnapshot,\n    error: GatewayError\n  }),\n  Rpc.make(\"Projection.Subscribe\", {\n    defect: ControlRpcs.ControlDefect,\n    payload: Schema.Struct({\n      selector: GatewaySchema.ProjectionSelector,\n      after: Schema.optional(GatewaySchema.ProjectionCursor)\n    }),\n    success: GatewaySchema.GatewayFrame,\n    error: GatewayError,\n    stream: true\n  }),\n  Rpc.make(\"Approval.Submit\", {\n    defect: ControlRpcs.ControlDefect,\n    payload: SubmitApprovalInput,\n    success: SubmitApprovalOutput,\n    error: submitErrors\n  }),\n  /* Branches a run at a recorded frame into a parked child, as `smthrs runs fork`. */\n  Rpc.make(\"Run.Fork\", {\n    defect: ControlRpcs.ControlDefect,\n    payload: RunHistory.ForkInput,\n    success: RunHistory.ForkOutput,\n    error: historyErrors\n  }),\n  /* Reports what a resume under the current flow code would replay, as `smthrs runs verify`. */\n  Rpc.make(\"Run.Verify\", {\n    defect: ControlRpcs.ControlDefect,\n    payload: RunHistory.VerifyInput,\n    success: RunHistory.VerifyReport,\n    error: historyErrors\n  })\n).middleware(ControlRpcs.ControlAuth)\n"],
+  "mappings": ";;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAgBA,qBAAyD;AACzD,oBAAuB;AACvB,iBAA8B;AAC9B,0BAA6B;AAC7B,oBAA+B;AAC/B,iBAA4B;AAQrB,MAAM,WAAW,qBAAO,SAAS,CAAC,WAAW,MAAM,CAAC;AAgBpD,MAAM,sBAAsB,qBAAO,OAAO;AAAA,EAC/C,GAAG,6BAAc,gBAAgB;AAAA,EACjC,UAAU;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAcV,QAAQ,qBAAO,SAAS,qBAAO,IAAI;AACrC,CAAC;AAmBM,MAAM,uBAAuB,qBAAO,OAAO;AAAA,EAChD,UAAU,6BAAc;AAC1B,CAAC;AAsBD,MAAM,eAAe,qBAAO,MAAM;AAAA,EAChC,4BAAa;AAAA,EACb,4BAAa;AAAA,EACb,4BAAa;AAAA,EACb,4BAAa;AAAA,EACb,4BAAa;AAAA,EACb,4BAAa;AAAA,EACb,4BAAa;AAAA,EACb,4BAAa;AAAA,EACb,4BAAa;AAAA,EACb,4BAAa;AAAA,EACb,4BAAa;AAAA,EACb,4BAAa;AACf,CAAC;AAOD,MAAM,gBAAgB,qBAAO,MAAM,CAAC,WAAW,gBAAgB,4BAAa,cAAc,4BAAa,WAAW,CAAC;AAa5G,MAAM,cAAc,oBAAS;AAAA,EAClC,eAAI,KAAK,uBAAuB;AAAA,IAC9B,QAAQ,2BAAY;AAAA,IACpB,SAAS,qBAAO,OAAO;AAAA,MACrB,UAAU,cAAc;AAAA,MACxB,OAAO,qBAAO,SAAS,cAAc,gBAAgB;AAAA,IACvD,CAAC;AAAA,IACD,SAAS,cAAc;AAAA,IACvB,OAAO;AAAA,EACT,CAAC;AAAA,EACD,eAAI,KAAK,wBAAwB;AAAA,IAC/B,QAAQ,2BAAY;AAAA,IACpB,SAAS,qBAAO,OAAO;AAAA,MACrB,UAAU,cAAc;AAAA,MACxB,OAAO,qBAAO,SAAS,cAAc,gBAAgB;AAAA,IACvD,CAAC;AAAA,IACD,SAAS,cAAc;AAAA,IACvB,OAAO;AAAA,IACP,QAAQ;AAAA,EACV,CAAC;AAAA,EACD,eAAI,KAAK,mBAAmB;AAAA,IAC1B,QAAQ,2BAAY;AAAA,IACpB,SAAS;AAAA,IACT,SAAS;AAAA,IACT,OAAO;AAAA,EACT,CAAC;AAAA;AAAA,EAED,eAAI,KAAK,YAAY;AAAA,IACnB,QAAQ,2BAAY;AAAA,IACpB,SAAS,WAAW;AAAA,IACpB,SAAS,WAAW;AAAA,IACpB,OAAO;AAAA,EACT,CAAC;AAAA;AAAA,EAED,eAAI,KAAK,cAAc;AAAA,IACrB,QAAQ,2BAAY;AAAA,IACpB,SAAS,WAAW;AAAA,IACpB,SAAS,WAAW;AAAA,IACpB,OAAO;AAAA,EACT,CAAC;AACH,EAAE,WAAW,2BAAY,WAAW;",
+  "names": []
+}