@smthrs/control 0.0.0-stage → 1.0.0-rc.3

package/dist/esm/ControlError.js

@@ -0,0 +1,359 @@
+/**
+ * Stable, schema-backed control-plane failures.
+ *
+ * @since 0.1.0
+ */
+import * as Fault from "@smthrs/flow/Fault";
+import { NotificationError } from "@smthrs/notifications/NotificationQueue";
+import { Effect, Schema } from "effect";
+import { FlowId, RunHost, RunId } from "./ControlSchema.js";
+const constantCode = (code) => Schema.Literal(code).pipe(Schema.withConstructorDefault(Effect.succeed(code)));
+/**
+ * No run with this id exists.
+ *
+ * @category errors
+ * @since 0.1.0
+ */
+export class RunNotFound extends Schema.TaggedError()("/control/RunNotFound", {
+    code: constantCode("run_not_found"),
+    runId: RunId
+}) {
+    /**
+     * The sentence an operator reads. Without one the CLI printed the bare
+     * fields, `run_not_found runId=nope`, which names no next action.
+     */
+    get message() {
+        return `Run ${this.runId} was not found. Run \`smthrs runs list\` to see the runs you can read.`;
+    }
+}
+/**
+ * No plan with this id exists.
+ *
+ * @category errors
+ * @since 0.1.0
+ */
+export class PlanNotFound extends Schema.TaggedError()("/control/PlanNotFound", {
+    code: constantCode("plan_not_found"),
+    planId: Schema.String
+}) {
+    /**
+     * The sentence an operator reads. Every renderer in the tree prints
+     * `message`, so a refusal without one does not explain the next action.
+     */
+    get message() {
+        return `Plan ${this.planId} was not found. Create the plan again before approving or launching it.`;
+    }
+}
+/**
+ * The plan was denied and cannot be launched.
+ *
+ * @category errors
+ * @since 0.1.0
+ */
+export class PlanDenied extends Schema.TaggedError()("/control/PlanDenied", {
+    code: constantCode("plan_denied"),
+    planId: Schema.String
+}) {
+    /**
+     * The sentence an operator reads. Every renderer in the tree prints
+     * `message`, so a denial must state how to make a later launch possible.
+     */
+    get message() {
+        return `Plan ${this.planId} was denied and cannot be launched. Create and approve a new plan before running it.`;
+    }
+}
+/**
+ * No flow with this id is registered.
+ *
+ * @category errors
+ * @since 0.1.0
+ */
+export class FlowNotFound extends Schema.TaggedError()("/control/FlowNotFound", {
+    code: constantCode("flow_not_found"),
+    flowId: FlowId
+}) {
+    /**
+     * The sentence an operator reads, which names the command that lists the
+     * flows a caller can start.
+     */
+    get message() {
+        return `Flow ${this.flowId} is not registered. Run \`smthrs flow list\` to see the flows you can start.`;
+    }
+}
+/**
+ * The submitted plan does not hash to the digest the caller declared, so
+ * the control plane refuses to store it.
+ *
+ * @category errors
+ * @since 0.1.0
+ */
+export class PlanDigestMismatch extends Schema.TaggedError()("/control/PlanDigestMismatch", {
+    code: constantCode("plan_digest_mismatch"),
+    planId: Schema.String,
+    expected: Schema.String,
+    actual: Schema.String
+}) {
+}
+/**
+ * The plan's effect envelope differs from the one the caller declared.
+ *
+ * @category errors
+ * @since 0.1.0
+ */
+export class EnvelopeMismatch extends Schema.TaggedError()("/control/EnvelopeMismatch", {
+    code: constantCode("envelope_mismatch"),
+    planId: Schema.String,
+    expected: Schema.String,
+    actual: Schema.String
+}) {
+}
+/**
+ * The caller's claim on this run lapsed or was fenced by a newer owner.
+ *
+ * `parkedBy` names the live process that parked the run: it, not the caller,
+ * drives the run, so `Control.resume` hands the resume to it.
+ *
+ * @category errors
+ * @since 0.1.0
+ */
+export class ClaimLost extends Schema.TaggedError()("/control/ClaimLost", {
+    code: constantCode("claim_lost"),
+    runId: RunId,
+    reason: Schema.optional(Schema.String),
+    parkedBy: Schema.optional(RunHost)
+}) {
+}
+/**
+ * The run's flow or engine changed since the run started, so resuming it would
+ * run code the run did not start with. Pass `allowCodeDrift` to resume it
+ * anyway; the run then records the code it resumed on.
+ *
+ * @category errors
+ * @since 1.0.0
+ */
+export class CodeDrift extends Schema.TaggedError()("/control/CodeDrift", {
+    code: constantCode("code_drift"),
+    runId: RunId,
+    flowId: FlowId,
+    /** The execution digest the run started with; absent when only the engine changed. */
+    recorded: Schema.optional(Schema.String),
+    /** The flow's execution digest now; absent when the flow is gone or declares none. */
+    current: Schema.optional(Schema.String),
+    /** The engine version the run started on, when the engine changed. */
+    recordedEngine: Schema.optional(Schema.String),
+    /** The engine version resuming it, when the engine changed. */
+    currentEngine: Schema.optional(Schema.String)
+}) {
+    get message() {
+        const changes = [
+            ...(this.recorded === undefined
+                ? []
+                : [`${this.flowId} ${this.recorded}, which is now ${this.current ?? "gone"}`]),
+            ...(this.recordedEngine === undefined
+                ? []
+                : [`engine ${this.recordedEngine}, which is now ${this.currentEngine ?? "unknown"}`])
+        ];
+        // A flow that is gone has no code to adopt, so the flag would not help.
+        const next = this.recorded !== undefined && this.current === undefined
+            ? "Restore the flow to resume it."
+            : "Resume with --allow-code-drift to run the changed code.";
+        return `Run ${this.runId} started on ${changes.join(" and ")}. ${next}`;
+    }
+}
+/**
+ * This request was already answered; a second answer is refused rather
+ * than overwriting the first.
+ *
+ * @category errors
+ * @since 0.1.0
+ */
+export class AlreadyResolved extends Schema.TaggedError()("/control/AlreadyResolved", {
+    code: constantCode("already_resolved"),
+    requestId: Schema.String
+}) {
+}
+/**
+ * The request did not satisfy its schema or a stated precondition.
+ *
+ * @category errors
+ * @since 0.1.0
+ */
+export class InvalidInput extends Schema.TaggedError()("/control/InvalidInput", {
+    code: constantCode("invalid_input"),
+    issue: Schema.String
+}) {
+}
+/**
+ * The caller lacks a usable credential or authority for this operation.
+ *
+ * @category errors
+ * @since 0.1.0
+ */
+export class Unauthorized extends Schema.TaggedError()("/control/Unauthorized", {
+    code: constantCode("unauthorized"),
+    message: Schema.String
+}) {
+}
+/**
+ * The operation is not implemented in this deployment. `ticket` names the
+ * issue that tracks it, per `Concepts/Tickets Not Exceptions.md`.
+ *
+ * @category errors
+ * @since 0.1.0
+ */
+export class Unavailable extends Schema.TaggedError()("/control/Unavailable", {
+    code: constantCode("unavailable"),
+    feature: Schema.String,
+    ticket: Schema.String
+}) {
+}
+/**
+ * The request failed before a declared control response reached the caller.
+ *
+ * `retryable` classifies only the transport phase. Connection failures and
+ * HTTP 5xx responses are retryable; local encode failures, response decode
+ * failures, and HTTP 4xx responses are not. A caller may resend a retryable
+ * mutation only when its idempotency key makes replay safe. A keyless request
+ * can have reached the server even when its response was lost.
+ *
+ * `message` is a fixed operator-facing sentence. `cause` retains the original
+ * client failure for diagnostics without copying its raw text into output.
+ *
+ * @category errors
+ * @since 0.1.0
+ */
+export class TransportError extends Schema.TaggedError()("/control/TransportError", {
+    code: constantCode("transport_error"),
+    message: Schema.String,
+    retryable: Schema.Boolean,
+    cause: Schema.optional(Schema.Defect())
+}) {
+}
+/**
+ * A control-plane store operation failed.
+ *
+ * @category errors
+ * @since 0.1.0
+ */
+export class PersistenceError extends Schema.TaggedError()("/control/PersistenceError", {
+    code: constantCode("persistence_failed"),
+    operation: Schema.String,
+    message: Schema.String,
+    cause: Schema.optional(Schema.Defect())
+}) {
+}
+/**
+ * The executor refused or could not start the run.
+ *
+ * @category errors
+ * @since 0.1.0
+ */
+export class LaunchFailed extends Schema.TaggedError()("/control/LaunchFailed", {
+    code: constantCode("launch_failed"),
+    runId: RunId,
+    message: Schema.String,
+    cause: Schema.optional(Schema.Defect())
+}) {
+}
+/**
+ * A signal named a wait point the run does not have open.
+ *
+ * `Control.signal` completes the `WaitFor` deferred a run is parked on. A
+ * signal whose name matches no open wait point completes nothing, and recording
+ * it anyway would leave an operator watching a delivery that never lands, so it
+ * is refused where it arrives.
+ *
+ * The signal's name is `waitName`, not `name`. A field spelled `name` on an
+ * `Error` subclass shadows `Error.prototype.name`, which every renderer in the
+ * tree reads: `smithers signal run-3 '{"name":"go"}'` against a timer-parked
+ * run printed `go: ` to stderr and exited 1, because `bin.ts` reports
+ * `${error.name}: ${error.message}` and this class had overwritten one and
+ * defined neither (release validation, defect D3).
+ *
+ * @category errors
+ * @since 0.1.0
+ */
+export class NoMatchingWait extends Schema.TaggedError()("/control/NoMatchingWait", {
+    code: constantCode("no_matching_wait"),
+    runId: RunId,
+    waitName: Schema.String
+}) {
+    /**
+     * The sentence an operator reads. Every other renderer in the tree prints
+     * `message`, so a refusal with none is a refusal with no reason.
+     */
+    get message() {
+        return `no wait point named "${this.waitName}" is open on run ${this.runId}. ` +
+            `Read \`smthrs runs show ${this.runId}\` to see what that run is waiting for.`;
+    }
+}
+/**
+ * A credential write lost a race: the record moved on before this writer
+ * committed, so the update is refused rather than silently overwriting the
+ * winner.
+ *
+ * @since 0.1.0
+ * @category errors
+ */
+export class CredentialConflict extends Schema.TaggedError()("/control/CredentialConflict", {
+    code: constantCode("credential_conflict"),
+    id: Schema.String,
+    expectedVersion: Schema.Number,
+    actualVersion: Schema.Number
+}) {
+}
+/**
+ * Every stable failure emitted by the control plane, as one schema.
+ *
+ * This is the single membership list. The exported union type is derived from
+ * it and `ControlClient.isControlError` is `Schema.is` of it, so an error class
+ * added here reaches both. Two hand-maintained lists drifted: `ControlError`
+ * omitted `CredentialConflict` while the README documented it as a member, and
+ * `isControlError` repeated the same thirteen names a second time.
+ *
+ * @since 0.1.0
+ * @category errors
+ */
+export const ControlErrorSchema = Schema.Union([
+    RunNotFound,
+    PlanNotFound,
+    PlanDenied,
+    FlowNotFound,
+    PlanDigestMismatch,
+    EnvelopeMismatch,
+    ClaimLost,
+    CodeDrift,
+    AlreadyResolved,
+    InvalidInput,
+    Unauthorized,
+    Unavailable,
+    TransportError,
+    PersistenceError,
+    LaunchFailed,
+    NoMatchingWait,
+    CredentialConflict,
+    NotificationError
+]);
+// Whose problem each control refusal is when it ends a run.
+for (const [tag, kind] of [
+    ["RunNotFound", "user"],
+    ["PlanNotFound", "user"],
+    ["PlanDenied", "user"],
+    ["FlowNotFound", "user"],
+    ["PlanDigestMismatch", "user"],
+    ["EnvelopeMismatch", "user"],
+    ["AlreadyResolved", "user"],
+    ["InvalidInput", "user"],
+    ["Unauthorized", "user"],
+    ["NoMatchingWait", "user"],
+    ["CredentialConflict", "user"],
+    // A flow without a model or an approved executable identity: the person's to fix.
+    ["LaunchFailed", "user"],
+    ["ClaimLost", "infra"],
+    ["CodeDrift", "infra"],
+    ["Unavailable", "infra"],
+    ["TransportError", "infra"],
+    ["PersistenceError", "infra"]
+])
+    Fault.register(`/control/${tag}`, kind);
+//# sourceMappingURL=ControlError.js.map

package/dist/esm/ControlError.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ControlError.js","sourceRoot":"","sources":["../../src/ControlError.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,KAAK,MAAM,oBAAoB,CAAA;AAC3C,OAAO,EAAE,iBAAiB,EAAE,MAAM,yCAAyC,CAAA;AAC3E,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAA;AAE3D,MAAM,YAAY,GAAG,CAA4B,IAAU,EAAE,EAAE,CAC7D,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,sBAAsB,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;AAEhF;;;;;GAKG;AACH,MAAM,OAAO,WAAY,SAAQ,MAAM,CAAC,WAAW,EAAe,CAAC,sBAAsB,EAAE;IACzF,IAAI,EAAE,YAAY,CAAC,eAAe,CAAC;IACnC,KAAK,EAAE,KAAK;CACb,CAAC;IACA;;;OAGG;IACH,IAAa,OAAO;QAClB,OAAO,OAAO,IAAI,CAAC,KAAK,wEAAwE,CAAA;IAClG,CAAC;CACF;AAED;;;;;GAKG;AACH,MAAM,OAAO,YAAa,SAAQ,MAAM,CAAC,WAAW,EAAgB,CAAC,uBAAuB,EAAE;IAC5F,IAAI,EAAE,YAAY,CAAC,gBAAgB,CAAC;IACpC,MAAM,EAAE,MAAM,CAAC,MAAM;CACtB,CAAC;IACA;;;OAGG;IACH,IAAa,OAAO;QAClB,OAAO,QAAQ,IAAI,CAAC,MAAM,yEAAyE,CAAA;IACrG,CAAC;CACF;AAED;;;;;GAKG;AACH,MAAM,OAAO,UAAW,SAAQ,MAAM,CAAC,WAAW,EAAc,CAAC,qBAAqB,EAAE;IACtF,IAAI,EAAE,YAAY,CAAC,aAAa,CAAC;IACjC,MAAM,EAAE,MAAM,CAAC,MAAM;CACtB,CAAC;IACA;;;OAGG;IACH,IAAa,OAAO;QAClB,OAAO,QAAQ,IAAI,CAAC,MAAM,sFAAsF,CAAA;IAClH,CAAC;CACF;AAED;;;;;GAKG;AACH,MAAM,OAAO,YAAa,SAAQ,MAAM,CAAC,WAAW,EAAgB,CAAC,uBAAuB,EAAE;IAC5F,IAAI,EAAE,YAAY,CAAC,gBAAgB,CAAC;IACpC,MAAM,EAAE,MAAM;CACf,CAAC;IACA;;;OAGG;IACH,IAAa,OAAO;QAClB,OAAO,QAAQ,IAAI,CAAC,MAAM,8EAA8E,CAAA;IAC1G,CAAC;CACF;AAED;;;;;;GAMG;AACH,MAAM,OAAO,kBAAmB,SAAQ,MAAM,CAAC,WAAW,EAAsB,CAAC,6BAA6B,EAAE;IAC9G,IAAI,EAAE,YAAY,CAAC,sBAAsB,CAAC;IAC1C,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,QAAQ,EAAE,MAAM,CAAC,MAAM;IACvB,MAAM,EAAE,MAAM,CAAC,MAAM;CACtB,CAAC;CAAG;AAEL;;;;;GAKG;AACH,MAAM,OAAO,gBAAiB,SAAQ,MAAM,CAAC,WAAW,EAAoB,CAAC,2BAA2B,EAAE;IACxG,IAAI,EAAE,YAAY,CAAC,mBAAmB,CAAC;IACvC,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,QAAQ,EAAE,MAAM,CAAC,MAAM;IACvB,MAAM,EAAE,MAAM,CAAC,MAAM;CACtB,CAAC;CAAG;AAEL;;;;;;;;GAQG;AACH,MAAM,OAAO,SAAU,SAAQ,MAAM,CAAC,WAAW,EAAa,CAAC,oBAAoB,EAAE;IACnF,IAAI,EAAE,YAAY,CAAC,YAAY,CAAC;IAChC,KAAK,EAAE,KAAK;IACZ,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IACtC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC;CACnC,CAAC;CAAG;AAEL;;;;;;;GAOG;AACH,MAAM,OAAO,SAAU,SAAQ,MAAM,CAAC,WAAW,EAAa,CAAC,oBAAoB,EAAE;IACnF,IAAI,EAAE,YAAY,CAAC,YAAY,CAAC;IAChC,KAAK,EAAE,KAAK;IACZ,MAAM,EAAE,MAAM;IACd,sFAAsF;IACtF,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IACxC,sFAAsF;IACtF,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IACvC,sEAAsE;IACtE,cAAc,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IAC9C,+DAA+D;IAC/D,aAAa,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;CAC9C,CAAC;IACA,IAAa,OAAO;QAClB,MAAM,OAAO,GAAG;YACd,GAAG,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS;gBAC7B,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,QAAQ,kBAAkB,IAAI,CAAC,OAAO,IAAI,MAAM,EAAE,CAAC,CAAC;YAChF,GAAG,CAAC,IAAI,CAAC,cAAc,KAAK,SAAS;gBACnC,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,CAAC,UAAU,IAAI,CAAC,cAAc,kBAAkB,IAAI,CAAC,aAAa,IAAI,SAAS,EAAE,CAAC,CAAC;SACxF,CAAA;QACD,wEAAwE;QACxE,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS;YACpE,CAAC,CAAC,gCAAgC;YAClC,CAAC,CAAC,yDAAyD,CAAA;QAC7D,OAAO,OAAO,IAAI,CAAC,KAAK,eAAe,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,IAAI,EAAE,CAAA;IACzE,CAAC;CACF;AAED;;;;;;GAMG;AACH,MAAM,OAAO,eAAgB,SAAQ,MAAM,CAAC,WAAW,EAAmB,CAAC,0BAA0B,EAAE;IACrG,IAAI,EAAE,YAAY,CAAC,kBAAkB,CAAC;IACtC,SAAS,EAAE,MAAM,CAAC,MAAM;CACzB,CAAC;CAAG;AAEL;;;;;GAKG;AACH,MAAM,OAAO,YAAa,SAAQ,MAAM,CAAC,WAAW,EAAgB,CAAC,uBAAuB,EAAE;IAC5F,IAAI,EAAE,YAAY,CAAC,eAAe,CAAC;IACnC,KAAK,EAAE,MAAM,CAAC,MAAM;CACrB,CAAC;CAAG;AAEL;;;;;GAKG;AACH,MAAM,OAAO,YAAa,SAAQ,MAAM,CAAC,WAAW,EAAgB,CAAC,uBAAuB,EAAE;IAC5F,IAAI,EAAE,YAAY,CAAC,cAAc,CAAC;IAClC,OAAO,EAAE,MAAM,CAAC,MAAM;CACvB,CAAC;CAAG;AAEL;;;;;;GAMG;AACH,MAAM,OAAO,WAAY,SAAQ,MAAM,CAAC,WAAW,EAAe,CAAC,sBAAsB,EAAE;IACzF,IAAI,EAAE,YAAY,CAAC,aAAa,CAAC;IACjC,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,MAAM,EAAE,MAAM,CAAC,MAAM;CACtB,CAAC;CAAG;AAEL;;;;;;;;;;;;;;GAcG;AACH,MAAM,OAAO,cAAe,SAAQ,MAAM,CAAC,WAAW,EAAkB,CAAC,yBAAyB,EAAE;IAClG,IAAI,EAAE,YAAY,CAAC,iBAAiB,CAAC;IACrC,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,SAAS,EAAE,MAAM,CAAC,OAAO;IACzB,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;CACxC,CAAC;CAAG;AAEL;;;;;GAKG;AACH,MAAM,OAAO,gBAAiB,SAAQ,MAAM,CAAC,WAAW,EAAoB,CAAC,2BAA2B,EAAE;IACxG,IAAI,EAAE,YAAY,CAAC,oBAAoB,CAAC;IACxC,SAAS,EAAE,MAAM,CAAC,MAAM;IACxB,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;CACxC,CAAC;CAAG;AAEL;;;;;GAKG;AACH,MAAM,OAAO,YAAa,SAAQ,MAAM,CAAC,WAAW,EAAgB,CAAC,uBAAuB,EAAE;IAC5F,IAAI,EAAE,YAAY,CAAC,eAAe,CAAC;IACnC,KAAK,EAAE,KAAK;IACZ,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;CACxC,CAAC;CAAG;AAEL;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,OAAO,cAAe,SAAQ,MAAM,CAAC,WAAW,EAAkB,CAAC,yBAAyB,EAAE;IAClG,IAAI,EAAE,YAAY,CAAC,kBAAkB,CAAC;IACtC,KAAK,EAAE,KAAK;IACZ,QAAQ,EAAE,MAAM,CAAC,MAAM;CACxB,CAAC;IACA;;;OAGG;IACH,IAAa,OAAO;QAClB,OAAO,wBAAwB,IAAI,CAAC,QAAQ,oBAAoB,IAAI,CAAC,KAAK,IAAI;YAC5E,2BAA2B,IAAI,CAAC,KAAK,yCAAyC,CAAA;IAClF,CAAC;CACF;AAED;;;;;;;GAOG;AACH,MAAM,OAAO,kBAAmB,SAAQ,MAAM,CAAC,WAAW,EAAsB,CAAC,6BAA6B,EAAE;IAC9G,IAAI,EAAE,YAAY,CAAC,qBAAqB,CAAC;IACzC,EAAE,EAAE,MAAM,CAAC,MAAM;IACjB,eAAe,EAAE,MAAM,CAAC,MAAM;IAC9B,aAAa,EAAE,MAAM,CAAC,MAAM;CAC7B,CAAC;CAAG;AAEL;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,CAAC,KAAK,CAAC;IAC7C,WAAW;IACX,YAAY;IACZ,UAAU;IACV,YAAY;IACZ,kBAAkB;IAClB,gBAAgB;IAChB,SAAS;IACT,SAAS;IACT,eAAe;IACf,YAAY;IACZ,YAAY;IACZ,WAAW;IACX,cAAc;IACd,gBAAgB;IAChB,YAAY;IACZ,cAAc;IACd,kBAAkB;IAClB,iBAAiB;CAClB,CAAC,CAAA;AAUF,4DAA4D;AAC5D,KACE,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI;IACnB,CAAC,aAAa,EAAE,MAAM,CAAC;IACvB,CAAC,cAAc,EAAE,MAAM,CAAC;IACxB,CAAC,YAAY,EAAE,MAAM,CAAC;IACtB,CAAC,cAAc,EAAE,MAAM,CAAC;IACxB,CAAC,oBAAoB,EAAE,MAAM,CAAC;IAC9B,CAAC,kBAAkB,EAAE,MAAM,CAAC;IAC5B,CAAC,iBAAiB,EAAE,MAAM,CAAC;IAC3B,CAAC,cAAc,EAAE,MAAM,CAAC;IACxB,CAAC,cAAc,EAAE,MAAM,CAAC;IACxB,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAC1B,CAAC,oBAAoB,EAAE,MAAM,CAAC;IAC9B,kFAAkF;IAClF,CAAC,cAAc,EAAE,MAAM,CAAC;IACxB,CAAC,WAAW,EAAE,OAAO,CAAC;IACtB,CAAC,WAAW,EAAE,OAAO,CAAC;IACtB,CAAC,aAAa,EAAE,OAAO,CAAC;IACxB,CAAC,gBAAgB,EAAE,OAAO,CAAC;IAC3B,CAAC,kBAAkB,EAAE,OAAO,CAAC;CACrB;IACV,KAAK,CAAC,QAAQ,CAAC,YAAY,GAAG,EAAE,EAAE,IAAI,CAAC,CAAA","sourcesContent":["/**\n * Stable, schema-backed control-plane failures.\n *\n * @since 0.1.0\n */\n\nimport * as Fault from \"@smthrs/flow/Fault\"\nimport { NotificationError } from \"@smthrs/notifications/NotificationQueue\"\nimport { Effect, Schema } from \"effect\"\nimport { FlowId, RunHost, RunId } from \"./ControlSchema.ts\"\n\nconst constantCode = <const Code extends string>(code: Code) =>\n  Schema.Literal(code).pipe(Schema.withConstructorDefault(Effect.succeed(code)))\n\n/**\n * No run with this id exists.\n *\n * @category errors\n * @since 0.1.0\n */\nexport class RunNotFound extends Schema.TaggedError<RunNotFound>()(\"/control/RunNotFound\", {\n  code: constantCode(\"run_not_found\"),\n  runId: RunId\n}) {\n  /**\n   * The sentence an operator reads. Without one the CLI printed the bare\n   * fields, `run_not_found runId=nope`, which names no next action.\n   */\n  override get message(): string {\n    return `Run ${this.runId} was not found. Run \\`smthrs runs list\\` to see the runs you can read.`\n  }\n}\n\n/**\n * No plan with this id exists.\n *\n * @category errors\n * @since 0.1.0\n */\nexport class PlanNotFound extends Schema.TaggedError<PlanNotFound>()(\"/control/PlanNotFound\", {\n  code: constantCode(\"plan_not_found\"),\n  planId: Schema.String\n}) {\n  /**\n   * The sentence an operator reads. Every renderer in the tree prints\n   * `message`, so a refusal without one does not explain the next action.\n   */\n  override get message(): string {\n    return `Plan ${this.planId} was not found. Create the plan again before approving or launching it.`\n  }\n}\n\n/**\n * The plan was denied and cannot be launched.\n *\n * @category errors\n * @since 0.1.0\n */\nexport class PlanDenied extends Schema.TaggedError<PlanDenied>()(\"/control/PlanDenied\", {\n  code: constantCode(\"plan_denied\"),\n  planId: Schema.String\n}) {\n  /**\n   * The sentence an operator reads. Every renderer in the tree prints\n   * `message`, so a denial must state how to make a later launch possible.\n   */\n  override get message(): string {\n    return `Plan ${this.planId} was denied and cannot be launched. Create and approve a new plan before running it.`\n  }\n}\n\n/**\n * No flow with this id is registered.\n *\n * @category errors\n * @since 0.1.0\n */\nexport class FlowNotFound extends Schema.TaggedError<FlowNotFound>()(\"/control/FlowNotFound\", {\n  code: constantCode(\"flow_not_found\"),\n  flowId: FlowId\n}) {\n  /**\n   * The sentence an operator reads, which names the command that lists the\n   * flows a caller can start.\n   */\n  override get message(): string {\n    return `Flow ${this.flowId} is not registered. Run \\`smthrs flow list\\` to see the flows you can start.`\n  }\n}\n\n/**\n * The submitted plan does not hash to the digest the caller declared, so\n * the control plane refuses to store it.\n *\n * @category errors\n * @since 0.1.0\n */\nexport class PlanDigestMismatch extends Schema.TaggedError<PlanDigestMismatch>()(\"/control/PlanDigestMismatch\", {\n  code: constantCode(\"plan_digest_mismatch\"),\n  planId: Schema.String,\n  expected: Schema.String,\n  actual: Schema.String\n}) {}\n\n/**\n * The plan's effect envelope differs from the one the caller declared.\n *\n * @category errors\n * @since 0.1.0\n */\nexport class EnvelopeMismatch extends Schema.TaggedError<EnvelopeMismatch>()(\"/control/EnvelopeMismatch\", {\n  code: constantCode(\"envelope_mismatch\"),\n  planId: Schema.String,\n  expected: Schema.String,\n  actual: Schema.String\n}) {}\n\n/**\n * The caller's claim on this run lapsed or was fenced by a newer owner.\n *\n * `parkedBy` names the live process that parked the run: it, not the caller,\n * drives the run, so `Control.resume` hands the resume to it.\n *\n * @category errors\n * @since 0.1.0\n */\nexport class ClaimLost extends Schema.TaggedError<ClaimLost>()(\"/control/ClaimLost\", {\n  code: constantCode(\"claim_lost\"),\n  runId: RunId,\n  reason: Schema.optional(Schema.String),\n  parkedBy: Schema.optional(RunHost)\n}) {}\n\n/**\n * The run's flow or engine changed since the run started, so resuming it would\n * run code the run did not start with. Pass `allowCodeDrift` to resume it\n * anyway; the run then records the code it resumed on.\n *\n * @category errors\n * @since 1.0.0\n */\nexport class CodeDrift extends Schema.TaggedError<CodeDrift>()(\"/control/CodeDrift\", {\n  code: constantCode(\"code_drift\"),\n  runId: RunId,\n  flowId: FlowId,\n  /** The execution digest the run started with; absent when only the engine changed. */\n  recorded: Schema.optional(Schema.String),\n  /** The flow's execution digest now; absent when the flow is gone or declares none. */\n  current: Schema.optional(Schema.String),\n  /** The engine version the run started on, when the engine changed. */\n  recordedEngine: Schema.optional(Schema.String),\n  /** The engine version resuming it, when the engine changed. */\n  currentEngine: Schema.optional(Schema.String)\n}) {\n  override get message(): string {\n    const changes = [\n      ...(this.recorded === undefined\n        ? []\n        : [`${this.flowId} ${this.recorded}, which is now ${this.current ?? \"gone\"}`]),\n      ...(this.recordedEngine === undefined\n        ? []\n        : [`engine ${this.recordedEngine}, which is now ${this.currentEngine ?? \"unknown\"}`])\n    ]\n    // A flow that is gone has no code to adopt, so the flag would not help.\n    const next = this.recorded !== undefined && this.current === undefined\n      ? \"Restore the flow to resume it.\"\n      : \"Resume with --allow-code-drift to run the changed code.\"\n    return `Run ${this.runId} started on ${changes.join(\" and \")}. ${next}`\n  }\n}\n\n/**\n * This request was already answered; a second answer is refused rather\n * than overwriting the first.\n *\n * @category errors\n * @since 0.1.0\n */\nexport class AlreadyResolved extends Schema.TaggedError<AlreadyResolved>()(\"/control/AlreadyResolved\", {\n  code: constantCode(\"already_resolved\"),\n  requestId: Schema.String\n}) {}\n\n/**\n * The request did not satisfy its schema or a stated precondition.\n *\n * @category errors\n * @since 0.1.0\n */\nexport class InvalidInput extends Schema.TaggedError<InvalidInput>()(\"/control/InvalidInput\", {\n  code: constantCode(\"invalid_input\"),\n  issue: Schema.String\n}) {}\n\n/**\n * The caller lacks a usable credential or authority for this operation.\n *\n * @category errors\n * @since 0.1.0\n */\nexport class Unauthorized extends Schema.TaggedError<Unauthorized>()(\"/control/Unauthorized\", {\n  code: constantCode(\"unauthorized\"),\n  message: Schema.String\n}) {}\n\n/**\n * The operation is not implemented in this deployment. `ticket` names the\n * issue that tracks it, per `Concepts/Tickets Not Exceptions.md`.\n *\n * @category errors\n * @since 0.1.0\n */\nexport class Unavailable extends Schema.TaggedError<Unavailable>()(\"/control/Unavailable\", {\n  code: constantCode(\"unavailable\"),\n  feature: Schema.String,\n  ticket: Schema.String\n}) {}\n\n/**\n * The request failed before a declared control response reached the caller.\n *\n * `retryable` classifies only the transport phase. Connection failures and\n * HTTP 5xx responses are retryable; local encode failures, response decode\n * failures, and HTTP 4xx responses are not. A caller may resend a retryable\n * mutation only when its idempotency key makes replay safe. A keyless request\n * can have reached the server even when its response was lost.\n *\n * `message` is a fixed operator-facing sentence. `cause` retains the original\n * client failure for diagnostics without copying its raw text into output.\n *\n * @category errors\n * @since 0.1.0\n */\nexport class TransportError extends Schema.TaggedError<TransportError>()(\"/control/TransportError\", {\n  code: constantCode(\"transport_error\"),\n  message: Schema.String,\n  retryable: Schema.Boolean,\n  cause: Schema.optional(Schema.Defect())\n}) {}\n\n/**\n * A control-plane store operation failed.\n *\n * @category errors\n * @since 0.1.0\n */\nexport class PersistenceError extends Schema.TaggedError<PersistenceError>()(\"/control/PersistenceError\", {\n  code: constantCode(\"persistence_failed\"),\n  operation: Schema.String,\n  message: Schema.String,\n  cause: Schema.optional(Schema.Defect())\n}) {}\n\n/**\n * The executor refused or could not start the run.\n *\n * @category errors\n * @since 0.1.0\n */\nexport class LaunchFailed extends Schema.TaggedError<LaunchFailed>()(\"/control/LaunchFailed\", {\n  code: constantCode(\"launch_failed\"),\n  runId: RunId,\n  message: Schema.String,\n  cause: Schema.optional(Schema.Defect())\n}) {}\n\n/**\n * A signal named a wait point the run does not have open.\n *\n * `Control.signal` completes the `WaitFor` deferred a run is parked on. A\n * signal whose name matches no open wait point completes nothing, and recording\n * it anyway would leave an operator watching a delivery that never lands, so it\n * is refused where it arrives.\n *\n * The signal's name is `waitName`, not `name`. A field spelled `name` on an\n * `Error` subclass shadows `Error.prototype.name`, which every renderer in the\n * tree reads: `smithers signal run-3 '{\"name\":\"go\"}'` against a timer-parked\n * run printed `go: ` to stderr and exited 1, because `bin.ts` reports\n * `${error.name}: ${error.message}` and this class had overwritten one and\n * defined neither (release validation, defect D3).\n *\n * @category errors\n * @since 0.1.0\n */\nexport class NoMatchingWait extends Schema.TaggedError<NoMatchingWait>()(\"/control/NoMatchingWait\", {\n  code: constantCode(\"no_matching_wait\"),\n  runId: RunId,\n  waitName: Schema.String\n}) {\n  /**\n   * The sentence an operator reads. Every other renderer in the tree prints\n   * `message`, so a refusal with none is a refusal with no reason.\n   */\n  override get message(): string {\n    return `no wait point named \"${this.waitName}\" is open on run ${this.runId}. ` +\n      `Read \\`smthrs runs show ${this.runId}\\` to see what that run is waiting for.`\n  }\n}\n\n/**\n * A credential write lost a race: the record moved on before this writer\n * committed, so the update is refused rather than silently overwriting the\n * winner.\n *\n * @since 0.1.0\n * @category errors\n */\nexport class CredentialConflict extends Schema.TaggedError<CredentialConflict>()(\"/control/CredentialConflict\", {\n  code: constantCode(\"credential_conflict\"),\n  id: Schema.String,\n  expectedVersion: Schema.Number,\n  actualVersion: Schema.Number\n}) {}\n\n/**\n * Every stable failure emitted by the control plane, as one schema.\n *\n * This is the single membership list. The exported union type is derived from\n * it and `ControlClient.isControlError` is `Schema.is` of it, so an error class\n * added here reaches both. Two hand-maintained lists drifted: `ControlError`\n * omitted `CredentialConflict` while the README documented it as a member, and\n * `isControlError` repeated the same thirteen names a second time.\n *\n * @since 0.1.0\n * @category errors\n */\nexport const ControlErrorSchema = Schema.Union([\n  RunNotFound,\n  PlanNotFound,\n  PlanDenied,\n  FlowNotFound,\n  PlanDigestMismatch,\n  EnvelopeMismatch,\n  ClaimLost,\n  CodeDrift,\n  AlreadyResolved,\n  InvalidInput,\n  Unauthorized,\n  Unavailable,\n  TransportError,\n  PersistenceError,\n  LaunchFailed,\n  NoMatchingWait,\n  CredentialConflict,\n  NotificationError\n])\n\n/**\n * Every stable failure emitted by the control plane.\n *\n * @since 0.1.0\n * @category errors\n */\nexport type ControlError = typeof ControlErrorSchema.Type\n\n// Whose problem each control refusal is when it ends a run.\nfor (\n  const [tag, kind] of [\n    [\"RunNotFound\", \"user\"],\n    [\"PlanNotFound\", \"user\"],\n    [\"PlanDenied\", \"user\"],\n    [\"FlowNotFound\", \"user\"],\n    [\"PlanDigestMismatch\", \"user\"],\n    [\"EnvelopeMismatch\", \"user\"],\n    [\"AlreadyResolved\", \"user\"],\n    [\"InvalidInput\", \"user\"],\n    [\"Unauthorized\", \"user\"],\n    [\"NoMatchingWait\", \"user\"],\n    [\"CredentialConflict\", \"user\"],\n    // A flow without a model or an approved executable identity: the person's to fix.\n    [\"LaunchFailed\", \"user\"],\n    [\"ClaimLost\", \"infra\"],\n    [\"CodeDrift\", \"infra\"],\n    [\"Unavailable\", \"infra\"],\n    [\"TransportError\", \"infra\"],\n    [\"PersistenceError\", \"infra\"]\n  ] as const\n) Fault.register(`/control/${tag}`, kind)\n"]}