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

package/dist/cjs/internal/planning.js

@@ -0,0 +1,137 @@
+"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 planning_exports = {};
+__export(planning_exports, {
+  accepted: () => accepted,
+  adoptedCode: () => adoptedCode,
+  alreadyApplied: () => alreadyApplied,
+  budgeted: () => budgeted,
+  canonical: () => canonical,
+  codeDriftOf: () => codeDriftOf,
+  digest: () => digest,
+  emptyEnvelope: () => emptyEnvelope,
+  mutationKey: () => mutationKey,
+  planCard: () => planCard,
+  planFingerprint: () => planFingerprint,
+  sameEnvelope: () => sameEnvelope
+});
+module.exports = __toCommonJS(planning_exports);
+var import_canonical = require("@smthrs/canonical");
+var import_crypto = require("@smthrs/crypto");
+var Sha256Digest = __toESM(require("@smthrs/crypto/Sha256"), 1);
+var import_effect = require("effect");
+var import_ControlError = require("../ControlError.js");
+const codeDriftOf = (run, flow, engineVersion) => {
+  const flowDrift = run.executionDigest !== void 0 && flow?.executionDigest !== run.executionDigest;
+  const engineDrift = run.engineVersion !== void 0 && engineVersion !== void 0 && engineVersion !== run.engineVersion;
+  if (!flowDrift && !engineDrift) return void 0;
+  return new import_ControlError.CodeDrift({
+    runId: run.runId,
+    flowId: run.flowId,
+    ...flowDrift ? { recorded: run.executionDigest } : {},
+    ...flowDrift && flow?.executionDigest !== void 0 ? { current: flow.executionDigest } : {},
+    ...engineDrift ? { recordedEngine: run.engineVersion, currentEngine: engineVersion } : {}
+  });
+};
+const adoptedCode = (run, flow, engineVersion) => ({
+  executionDigest: flow?.executionDigest,
+  engineVersion: engineVersion ?? run.engineVersion
+});
+const emptyEnvelope = {
+  capabilities: [],
+  flows: [],
+  budget: {}
+};
+const canonical = (value) => (0, import_canonical.canonicalize)(value);
+const mutationKey = (operation, key, principal) => `${operation}:actor:${Sha256Digest.digestSync(canonical({ id: principal.id, kind: principal.kind }))}:${key}`;
+const digest = (value) => import_effect.Schema.decodeUnknownEffect(import_crypto.Sha256)(canonical(value)).pipe(import_effect.Effect.orDie);
+const sameEnvelope = (left, right) => canonical(left) === canonical(right);
+const budgeted = (envelope, budget) => budget === void 0 ? envelope : { ...envelope, budget: { ...envelope.budget, ...budget } };
+const planFingerprint = (input) => canonical({
+  flowId: input.flowId,
+  input: input.input,
+  ...input.budget === void 0 ? {} : { budget: input.budget }
+});
+const accepted = (receiptId, runId) => {
+  return runId === void 0 ? { _tag: "Accepted", receiptId } : { _tag: "Accepted", receiptId, runId };
+};
+const alreadyApplied = (key, receipt) => {
+  const receiptId = receipt._tag === "Accepted" || receipt._tag === "AlreadyApplied" ? receipt.receiptId : key;
+  const runId = receipt._tag === "Accepted" || receipt._tag === "AlreadyApplied" || receipt._tag === "Terminal" ? receipt.runId : void 0;
+  const input = receipt._tag === "Accepted" || receipt._tag === "AlreadyApplied" ? {
+    ...receipt.inputConsumed === void 0 ? {} : { inputConsumed: receipt.inputConsumed },
+    ...receipt.inputBody === void 0 ? {} : { inputBody: receipt.inputBody }
+  } : {};
+  return runId === void 0 ? { _tag: "AlreadyApplied", receiptId, ...input } : { _tag: "AlreadyApplied", receiptId, runId, ...input };
+};
+const planCard = (source) => import_effect.Effect.gen(function* () {
+  const plan = source.handoff?.plan;
+  const nodes = plan === void 0 ? [] : plan.nodes.map((node) => ({
+    ...node,
+    status: source.handoff?.statuses?.[node.id] ?? "run"
+  }));
+  const planDigest = yield* digest({
+    flowId: source.flowId,
+    input: source.decodedInput,
+    envelope: source.envelope,
+    deployClass: source.deployClass,
+    ...source.executionDigest === void 0 ? {} : { executionDigest: source.executionDigest },
+    // The persisted plan digest covers keys, edges, effects, conflicts,
+    // priorities, and generations. Hashing only node keys loses executable
+    // graph changes whose content keys legitimately stay stable.
+    persistedPlan: plan?.digest ?? null
+  });
+  const target = {
+    _tag: "Plan",
+    planId: source.planId,
+    digest: planDigest,
+    envelope: source.envelope
+  };
+  return {
+    planId: source.planId,
+    flowId: source.flowId,
+    digest: planDigest,
+    inputSummary: canonical(source.decodedInput),
+    envelope: source.envelope,
+    deployClass: source.deployClass,
+    ...source.executionDigest === void 0 ? {} : { executionDigest: source.executionDigest },
+    ...plan === void 0 ? {} : { plan },
+    nodes,
+    // Outside `digest` above on purpose: the edges are how a reader draws
+    // the plan, not what the plan will do, so gaining them must not
+    // invalidate an approval taken before the host reported them.
+    ...source.handoff?.graph === void 0 ? {} : { graph: source.handoff.graph },
+    approval: {
+      target,
+      scope: "run",
+      idempotencyKey: source.idempotencyKey ?? `approve:${source.planId}`
+    }
+  };
+});
+//# sourceMappingURL=planning.js.map

package/dist/cjs/internal/planning.js.map

@@ -0,0 +1,7 @@
+{
+  "version": 3,
+  "sources": ["../../../src/internal/planning.ts"],
+  "sourcesContent": ["/**\n * Plan construction shared by every `ControlRuntime` implementation.\n *\n * The plan digest is what an approval is bound to, so the memory runtime and\n * the durable runtime must compute it the same way or an approval taken on one\n * would not validate on the other. Keeping the construction here is what makes\n * that a compile-time fact rather than a convention.\n *\n * @since 0.1.0\n */\n\nimport { canonicalize } from \"@smthrs/canonical\"\nimport { Sha256 } from \"@smthrs/crypto\"\nimport * as Sha256Digest from \"@smthrs/crypto/Sha256\"\nimport type * as PersistedPlan from \"@smthrs/plan/Plan\"\nimport { Effect, Schema } from \"effect\"\nimport type { ApprovalTarget, PlanInput } from \"../Control.ts\"\nimport { CodeDrift } from \"../ControlError.ts\"\nimport type {\n  Envelope,\n  FlowId,\n  IdempotencyKey,\n  PlanCard,\n  PlanGraph,\n  PlanNode,\n  Principal,\n  Receipt,\n  RunId,\n  RunSummary\n} from \"../ControlSchema.ts\"\n\n/**\n * The drift between the code a run recorded and the code that would resume\n * it, or `undefined` when there is none. A run that recorded no digest (a flow\n * without one, or a row older than the field) is not checked for flow drift,\n * and one that recorded no engine version is not checked for engine drift.\n *\n * @since 1.0.0\n * @private\n */\nexport const codeDriftOf = (\n  run: RunSummary,\n  flow: { readonly executionDigest?: string | undefined } | undefined,\n  engineVersion: string | undefined\n): CodeDrift | undefined => {\n  const flowDrift = run.executionDigest !== undefined && flow?.executionDigest !== run.executionDigest\n  const engineDrift = run.engineVersion !== undefined && engineVersion !== undefined &&\n    engineVersion !== run.engineVersion\n  if (!flowDrift && !engineDrift) return undefined\n  return new CodeDrift({\n    runId: run.runId,\n    flowId: run.flowId,\n    ...(flowDrift ? { recorded: run.executionDigest } : {}),\n    ...(flowDrift && flow?.executionDigest !== undefined ? { current: flow.executionDigest } : {}),\n    ...(engineDrift ? { recordedEngine: run.engineVersion, currentEngine: engineVersion } : {})\n  })\n}\n\n/**\n * The code identity a resume the operator allowed to drift records on the run,\n * so later checks compare against the code it now runs.\n *\n * @since 1.0.0\n * @private\n */\nexport const adoptedCode = (\n  run: RunSummary,\n  flow: { readonly executionDigest?: string | undefined } | undefined,\n  engineVersion: string | undefined\n): Pick<RunSummary, \"executionDigest\" | \"engineVersion\"> => ({\n  executionDigest: flow?.executionDigest,\n  engineVersion: engineVersion ?? run.engineVersion\n})\n\n/**\n * The envelope a flow with no declared capabilities carries.\n *\n * @since 0.1.0\n * @private\n */\nexport const emptyEnvelope: Envelope = {\n  capabilities: [],\n  flows: [],\n  budget: {}\n}\n\n/**\n * Canonical bytes for a value.\n * Throws on a non-serializable value; every caller either wraps it in\n * `Effect.try` or has already validated the value.\n *\n * @since 0.1.0\n * @private\n */\nexport const canonical = (value: unknown): string => canonicalize(value)\n\n/**\n * The durable key a caller's idempotency key is stored under.\n *\n * Namespaced by the effective actor: the submitted principal, or the runtime's\n * configured fallback when the caller named none. The principal's clock is\n * omitted, so an equal retry lands on the same key.\n *\n * @since 0.1.0\n * @private\n */\nexport const mutationKey = (\n  operation: string,\n  key: IdempotencyKey,\n  principal: Pick<Principal, \"id\" | \"kind\">\n): string =>\n  `${operation}:actor:${Sha256Digest.digestSync(canonical({ id: principal.id, kind: principal.kind }))}:${key}`\n\n/**\n * The content digest of a value's canonical bytes.\n *\n * @since 0.1.0\n * @private\n */\nexport const digest = (value: unknown) => Schema.decodeUnknownEffect(Sha256)(canonical(value)).pipe(Effect.orDie)\n\n/**\n * Envelope equality by canonical bytes, not by reference or key order.\n *\n * @since 0.1.0\n * @private\n */\nexport const sameEnvelope = (left: Envelope, right: Envelope): boolean => canonical(left) === canonical(right)\n\n/**\n * A flow's envelope with a planner's budget fields laid over its declared ones.\n *\n * @since 1.0.0-rc.1\n * @private\n */\nexport const budgeted = (envelope: Envelope, budget: Envelope[\"budget\"] | undefined): Envelope =>\n  budget === undefined ? envelope : { ...envelope, budget: { ...envelope.budget, ...budget } }\n\n/**\n * What one plan request asks for, for idempotency: a key replayed with another\n * budget is another plan.\n *\n * @since 1.0.0-rc.1\n * @private\n */\nexport const planFingerprint = (input: PlanInput): string =>\n  canonical({\n    flowId: input.flowId,\n    input: input.input,\n    ...(input.budget === undefined ? {} : { budget: input.budget })\n  })\n\n/**\n * An accepted receipt, carrying a run id when one exists.\n *\n * @since 0.1.0\n * @private\n */\nexport const accepted = (receiptId: string, runId?: RunId): Receipt => {\n  /* v8 ignore next 3 -- both runtimes call this from `launch`, which has the run it just started; the parameter stays optional for the receipt's shape rather than for a caller */\n  return runId === undefined\n    ? { _tag: \"Accepted\", receiptId }\n    : { _tag: \"Accepted\", receiptId, runId }\n}\n\n/**\n * The receipt a replayed mutation returns, derived from the recorded one.\n *\n * @since 0.1.0\n * @private\n */\nexport const alreadyApplied = (key: IdempotencyKey, receipt: Receipt): Receipt => {\n  const receiptId = receipt._tag === \"Accepted\" || receipt._tag === \"AlreadyApplied\" ? receipt.receiptId : key\n  const runId = receipt._tag === \"Accepted\" || receipt._tag === \"AlreadyApplied\" || receipt._tag === \"Terminal\"\n    ? receipt.runId\n    : undefined\n  const input = receipt._tag === \"Accepted\" || receipt._tag === \"AlreadyApplied\"\n    ? {\n      ...(receipt.inputConsumed === undefined ? {} : { inputConsumed: receipt.inputConsumed }),\n      ...(receipt.inputBody === undefined ? {} : { inputBody: receipt.inputBody })\n    }\n    : {}\n  return runId === undefined\n    ? { _tag: \"AlreadyApplied\", receiptId, ...input }\n    : { _tag: \"AlreadyApplied\", receiptId, runId, ...input }\n}\n\n/**\n * The plan inputs a card is derived from.\n *\n * @since 0.1.0\n * @private\n */\nexport interface PlanSource {\n  readonly planId: string\n  readonly flowId: FlowId\n  readonly decodedInput: unknown\n  readonly envelope: Envelope\n  readonly deployClass: boolean\n  readonly executionDigest?: string | undefined\n  /** The persisted plan value and cache verdicts produced by the host. */\n  readonly handoff?: {\n    readonly plan: PersistedPlan.Plan\n    readonly statuses?: Readonly<Record<string, PlanNode[\"status\"]>> | undefined\n    readonly graph?: PlanGraph | undefined\n  } | undefined\n  readonly idempotencyKey?: IdempotencyKey | undefined\n}\n\n/**\n * Builds the immutable plan card and the approval target bound to its digest.\n *\n * @since 0.1.0\n * @private\n */\nexport const planCard = (source: PlanSource) =>\n  Effect.gen(function*() {\n    const plan = source.handoff?.plan\n    const nodes: ReadonlyArray<PlanNode> = plan === undefined\n      ? []\n      : plan.nodes.map((node) => ({\n        ...node,\n        status: source.handoff?.statuses?.[node.id] ?? \"run\"\n      }))\n    const planDigest = yield* digest({\n      flowId: source.flowId,\n      input: source.decodedInput,\n      envelope: source.envelope,\n      deployClass: source.deployClass,\n      ...(source.executionDigest === undefined ? {} : { executionDigest: source.executionDigest }),\n      // The persisted plan digest covers keys, edges, effects, conflicts,\n      // priorities, and generations. Hashing only node keys loses executable\n      // graph changes whose content keys legitimately stay stable.\n      persistedPlan: plan?.digest ?? null\n    })\n    const target: ApprovalTarget = {\n      _tag: \"Plan\",\n      planId: source.planId,\n      digest: planDigest,\n      envelope: source.envelope\n    }\n    return {\n      planId: source.planId,\n      flowId: source.flowId,\n      digest: planDigest,\n      inputSummary: canonical(source.decodedInput),\n      envelope: source.envelope,\n      deployClass: source.deployClass,\n      ...(source.executionDigest === undefined ? {} : { executionDigest: source.executionDigest }),\n      ...(plan === undefined ? {} : { plan }),\n      nodes,\n      // Outside `digest` above on purpose: the edges are how a reader draws\n      // the plan, not what the plan will do, so gaining them must not\n      // invalidate an approval taken before the host reported them.\n      ...(source.handoff?.graph === undefined ? {} : { graph: source.handoff.graph }),\n      approval: {\n        target,\n        scope: \"run\" as const,\n        idempotencyKey: source.idempotencyKey ?? `approve:${source.planId}`\n      }\n    } satisfies PlanCard\n  })\n"],
+  "mappings": ";;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAWA,uBAA6B;AAC7B,oBAAuB;AACvB,mBAA8B;AAE9B,oBAA+B;AAE/B,0BAA0B;AAuBnB,MAAM,cAAc,CACzB,KACA,MACA,kBAC0B;AAC1B,QAAM,YAAY,IAAI,oBAAoB,UAAa,MAAM,oBAAoB,IAAI;AACrF,QAAM,cAAc,IAAI,kBAAkB,UAAa,kBAAkB,UACvE,kBAAkB,IAAI;AACxB,MAAI,CAAC,aAAa,CAAC,YAAa,QAAO;AACvC,SAAO,IAAI,8BAAU;AAAA,IACnB,OAAO,IAAI;AAAA,IACX,QAAQ,IAAI;AAAA,IACZ,GAAI,YAAY,EAAE,UAAU,IAAI,gBAAgB,IAAI,CAAC;AAAA,IACrD,GAAI,aAAa,MAAM,oBAAoB,SAAY,EAAE,SAAS,KAAK,gBAAgB,IAAI,CAAC;AAAA,IAC5F,GAAI,cAAc,EAAE,gBAAgB,IAAI,eAAe,eAAe,cAAc,IAAI,CAAC;AAAA,EAC3F,CAAC;AACH;AASO,MAAM,cAAc,CACzB,KACA,MACA,mBAC2D;AAAA,EAC3D,iBAAiB,MAAM;AAAA,EACvB,eAAe,iBAAiB,IAAI;AACtC;AAQO,MAAM,gBAA0B;AAAA,EACrC,cAAc,CAAC;AAAA,EACf,OAAO,CAAC;AAAA,EACR,QAAQ,CAAC;AACX;AAUO,MAAM,YAAY,CAAC,cAA2B,+BAAa,KAAK;AAYhE,MAAM,cAAc,CACzB,WACA,KACA,cAEA,GAAG,SAAS,UAAU,aAAa,WAAW,UAAU,EAAE,IAAI,UAAU,IAAI,MAAM,UAAU,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG;AAQtG,MAAM,SAAS,CAAC,UAAmB,qBAAO,oBAAoB,oBAAM,EAAE,UAAU,KAAK,CAAC,EAAE,KAAK,qBAAO,KAAK;AAQzG,MAAM,eAAe,CAAC,MAAgB,UAA6B,UAAU,IAAI,MAAM,UAAU,KAAK;AAQtG,MAAM,WAAW,CAAC,UAAoB,WAC3C,WAAW,SAAY,WAAW,EAAE,GAAG,UAAU,QAAQ,EAAE,GAAG,SAAS,QAAQ,GAAG,OAAO,EAAE;AAStF,MAAM,kBAAkB,CAAC,UAC9B,UAAU;AAAA,EACR,QAAQ,MAAM;AAAA,EACd,OAAO,MAAM;AAAA,EACb,GAAI,MAAM,WAAW,SAAY,CAAC,IAAI,EAAE,QAAQ,MAAM,OAAO;AAC/D,CAAC;AAQI,MAAM,WAAW,CAAC,WAAmB,UAA2B;AAErE,SAAO,UAAU,SACb,EAAE,MAAM,YAAY,UAAU,IAC9B,EAAE,MAAM,YAAY,WAAW,MAAM;AAC3C;AAQO,MAAM,iBAAiB,CAAC,KAAqB,YAA8B;AAChF,QAAM,YAAY,QAAQ,SAAS,cAAc,QAAQ,SAAS,mBAAmB,QAAQ,YAAY;AACzG,QAAM,QAAQ,QAAQ,SAAS,cAAc,QAAQ,SAAS,oBAAoB,QAAQ,SAAS,aAC/F,QAAQ,QACR;AACJ,QAAM,QAAQ,QAAQ,SAAS,cAAc,QAAQ,SAAS,mBAC1D;AAAA,IACA,GAAI,QAAQ,kBAAkB,SAAY,CAAC,IAAI,EAAE,eAAe,QAAQ,cAAc;AAAA,IACtF,GAAI,QAAQ,cAAc,SAAY,CAAC,IAAI,EAAE,WAAW,QAAQ,UAAU;AAAA,EAC5E,IACE,CAAC;AACL,SAAO,UAAU,SACb,EAAE,MAAM,kBAAkB,WAAW,GAAG,MAAM,IAC9C,EAAE,MAAM,kBAAkB,WAAW,OAAO,GAAG,MAAM;AAC3D;AA8BO,MAAM,WAAW,CAAC,WACvB,qBAAO,IAAI,aAAY;AACrB,QAAM,OAAO,OAAO,SAAS;AAC7B,QAAM,QAAiC,SAAS,SAC5C,CAAC,IACD,KAAK,MAAM,IAAI,CAAC,UAAU;AAAA,IAC1B,GAAG;AAAA,IACH,QAAQ,OAAO,SAAS,WAAW,KAAK,EAAE,KAAK;AAAA,EACjD,EAAE;AACJ,QAAM,aAAa,OAAO,OAAO;AAAA,IAC/B,QAAQ,OAAO;AAAA,IACf,OAAO,OAAO;AAAA,IACd,UAAU,OAAO;AAAA,IACjB,aAAa,OAAO;AAAA,IACpB,GAAI,OAAO,oBAAoB,SAAY,CAAC,IAAI,EAAE,iBAAiB,OAAO,gBAAgB;AAAA;AAAA;AAAA;AAAA,IAI1F,eAAe,MAAM,UAAU;AAAA,EACjC,CAAC;AACD,QAAM,SAAyB;AAAA,IAC7B,MAAM;AAAA,IACN,QAAQ,OAAO;AAAA,IACf,QAAQ;AAAA,IACR,UAAU,OAAO;AAAA,EACnB;AACA,SAAO;AAAA,IACL,QAAQ,OAAO;AAAA,IACf,QAAQ,OAAO;AAAA,IACf,QAAQ;AAAA,IACR,cAAc,UAAU,OAAO,YAAY;AAAA,IAC3C,UAAU,OAAO;AAAA,IACjB,aAAa,OAAO;AAAA,IACpB,GAAI,OAAO,oBAAoB,SAAY,CAAC,IAAI,EAAE,iBAAiB,OAAO,gBAAgB;AAAA,IAC1F,GAAI,SAAS,SAAY,CAAC,IAAI,EAAE,KAAK;AAAA,IACrC;AAAA;AAAA;AAAA;AAAA,IAIA,GAAI,OAAO,SAAS,UAAU,SAAY,CAAC,IAAI,EAAE,OAAO,OAAO,QAAQ,MAAM;AAAA,IAC7E,UAAU;AAAA,MACR;AAAA,MACA,OAAO;AAAA,MACP,gBAAgB,OAAO,kBAAkB,WAAW,OAAO,MAAM;AAAA,IACnE;AAAA,EACF;AACF,CAAC;",
+  "names": []
+}

package/dist/cjs/internal/sqlSchemaErrors.d.ts

@@ -0,0 +1,18 @@
+/**
+ * Exact optional-schema failure classification across SQL driver wrappers.
+ * @since 1.0.0
+ */
+/**
+ * Driver messages stay separate so wrapper context cannot identify a different failure.
+ * The depth bound terminates cyclic driver causes.
+ * @since 1.0.0
+ * @private
+ */
+export declare const causeMessages: (value: unknown, depth?: number) => ReadonlyArray<string>;
+/**
+ * Only the relation named by a driver's missing-table diagnostic may be absent.
+ * @since 1.0.0
+ * @private
+ */
+export declare const missingTable: (table: string) => (cause: unknown) => boolean;
+//# sourceMappingURL=sqlSchemaErrors.d.ts.map

package/dist/cjs/internal/sqlSchemaErrors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sqlSchemaErrors.d.ts","sourceRoot":"","sources":["../../../src/internal/sqlSchemaErrors.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;GAKG;AACH,eAAO,MAAM,aAAa,GAAI,OAAO,OAAO,EAAE,cAAS,KAAG,aAAa,CAAC,MAAM,CAS7E,CAAA;AAED;;;;GAIG;AACH,eAAO,MAAM,YAAY,GAAI,OAAO,MAAM,MAAM,OAAO,OAAO,KAAG,OAS7D,CAAA"}

package/dist/cjs/internal/sqlSchemaErrors.js

@@ -0,0 +1,40 @@
+"use strict";
+var __defProp = Object.defineProperty;
+var __getOwnPropDesc = Object.getOwnPropertyDescriptor;
+var __getOwnPropNames = Object.getOwnPropertyNames;
+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 __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: true }), mod);
+var sqlSchemaErrors_exports = {};
+__export(sqlSchemaErrors_exports, {
+  causeMessages: () => causeMessages,
+  missingTable: () => missingTable
+});
+module.exports = __toCommonJS(sqlSchemaErrors_exports);
+const causeMessages = (value, depth = 4) => {
+  if (typeof value === "string") return [value];
+  if (depth === 0 || typeof value !== "object" || value === null) return [];
+  const fields = value;
+  return [
+    ...typeof fields.message === "string" ? [fields.message] : [],
+    ...causeMessages(fields.reason, depth - 1),
+    ...causeMessages(fields.cause, depth - 1)
+  ];
+};
+const missingTable = (table) => (cause) => causeMessages(cause).some((message) => {
+  const relation = /^no such table: (\S+)$/.exec(message)?.[1] ?? /^relation "([^"]+)" does not exist$/.exec(message)?.[1];
+  if (relation !== void 0) return relation === table;
+  return /^Table '[^.']+\.([^']+)' doesn't exist$/.exec(message)?.[1] === table;
+});
+//# sourceMappingURL=sqlSchemaErrors.js.map

package/dist/cjs/internal/sqlSchemaErrors.js.map

@@ -0,0 +1,7 @@
+{
+  "version": 3,
+  "sources": ["../../../src/internal/sqlSchemaErrors.ts"],
+  "sourcesContent": ["/**\n * Exact optional-schema failure classification across SQL driver wrappers.\n * @since 1.0.0\n */\n\n/**\n * Driver messages stay separate so wrapper context cannot identify a different failure.\n * The depth bound terminates cyclic driver causes.\n * @since 1.0.0\n * @private\n */\nexport const causeMessages = (value: unknown, depth = 4): ReadonlyArray<string> => {\n  if (typeof value === \"string\") return [value]\n  if (depth === 0 || typeof value !== \"object\" || value === null) return []\n  const fields = value as { readonly message?: unknown; readonly cause?: unknown; readonly reason?: unknown }\n  return [\n    ...(typeof fields.message === \"string\" ? [fields.message] : []),\n    ...causeMessages(fields.reason, depth - 1),\n    ...causeMessages(fields.cause, depth - 1)\n  ]\n}\n\n/**\n * Only the relation named by a driver's missing-table diagnostic may be absent.\n * @since 1.0.0\n * @private\n */\nexport const missingTable = (table: string) => (cause: unknown): boolean =>\n  causeMessages(cause).some((message) => {\n    const relation = /^no such table: (\\S+)$/.exec(message)?.[1]\n      ?? /^relation \"([^\"]+)\" does not exist$/.exec(message)?.[1]\n    // These queries name unqualified relations. A qualified name can refer\n    // to a different schema's dependency, so do not discard its qualifier.\n    if (relation !== undefined) return relation === table\n    // MySQL always names the database in its table diagnostic.\n    return /^Table '[^.']+\\.([^']+)' doesn't exist$/.exec(message)?.[1] === table\n  })\n"],
+  "mappings": ";;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAWO,MAAM,gBAAgB,CAAC,OAAgB,QAAQ,MAA6B;AACjF,MAAI,OAAO,UAAU,SAAU,QAAO,CAAC,KAAK;AAC5C,MAAI,UAAU,KAAK,OAAO,UAAU,YAAY,UAAU,KAAM,QAAO,CAAC;AACxE,QAAM,SAAS;AACf,SAAO;AAAA,IACL,GAAI,OAAO,OAAO,YAAY,WAAW,CAAC,OAAO,OAAO,IAAI,CAAC;AAAA,IAC7D,GAAG,cAAc,OAAO,QAAQ,QAAQ,CAAC;AAAA,IACzC,GAAG,cAAc,OAAO,OAAO,QAAQ,CAAC;AAAA,EAC1C;AACF;AAOO,MAAM,eAAe,CAAC,UAAkB,CAAC,UAC9C,cAAc,KAAK,EAAE,KAAK,CAAC,YAAY;AACrC,QAAM,WAAW,yBAAyB,KAAK,OAAO,IAAI,CAAC,KACtD,sCAAsC,KAAK,OAAO,IAAI,CAAC;AAG5D,MAAI,aAAa,OAAW,QAAO,aAAa;AAEhD,SAAO,0CAA0C,KAAK,OAAO,IAAI,CAAC,MAAM;AAC1E,CAAC;",
+  "names": []
+}

package/dist/cjs/migrations/0001_control_tables.d.ts

@@ -0,0 +1,18 @@
+/**
+ * Initial durable control-plane schema.
+ *
+ * @since 0.1.0
+ */
+import * as Effect from "effect/Effect";
+import * as SqlClient from "effect/unstable/sql/SqlClient";
+/**
+ * Creates every table owned by `@smthrs/control`.
+ *
+ * `IF NOT EXISTS` lets the recorded migration and each standalone adapter's
+ * bootstrap share this exact schema without competing over table creation.
+ *
+ * @category migrations
+ * @since 0.1.0
+ */
+export declare const initial: Effect.Effect<void, unknown, SqlClient.SqlClient>;
+//# sourceMappingURL=0001_control_tables.d.ts.map

package/dist/cjs/migrations/0001_control_tables.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"0001_control_tables.d.ts","sourceRoot":"","sources":["../../../src/migrations/0001_control_tables.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,SAAS,MAAM,+BAA+B,CAAA;AA4E1D;;;;;;;;GAQG;AACH,eAAO,MAAM,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,CAAC,SAAS,CAKpE,CAAA"}

package/dist/cjs/migrations/0001_control_tables.js

@@ -0,0 +1,115 @@
+"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 control_tables_exports = {};
+__export(control_tables_exports, {
+  initial: () => initial
+});
+module.exports = __toCommonJS(control_tables_exports);
+var Dialect = __toESM(require("@smthrs/database/Dialect"), 1);
+var Effect = __toESM(require("effect/Effect"), 1);
+var SqlClient = __toESM(require("effect/unstable/sql/SqlClient"), 1);
+const statements = (sql) => [
+  sql`CREATE TABLE IF NOT EXISTS control_plans (
+    ${Dialect.rowId(sql)}
+    plan_id TEXT PRIMARY KEY,
+    card_json TEXT NOT NULL,
+    decoded_input_json TEXT NOT NULL,
+    decision TEXT NOT NULL
+  )`,
+  sql`CREATE TABLE IF NOT EXISTS control_plan_keys (
+    idempotency_key TEXT PRIMARY KEY,
+    fingerprint TEXT NOT NULL,
+    plan_id TEXT NOT NULL
+  )`,
+  sql`CREATE TABLE IF NOT EXISTS control_tokens (
+    target_tag TEXT NOT NULL,
+    run_id TEXT NOT NULL,
+    target_id TEXT NOT NULL,
+    token_id TEXT NOT NULL,
+    target_json TEXT NOT NULL,
+    resolved ${Dialect.integer(sql)} NOT NULL,
+    decision_principal_json TEXT,
+    PRIMARY KEY (target_tag, run_id, target_id),
+    CHECK (target_tag IN ('Plan', 'Node')),
+    CHECK ((target_tag = 'Plan' AND run_id = '') OR (target_tag = 'Node' AND length(run_id) > 0)),
+    CHECK (length(target_id) > 0 AND token_id = target_id)
+  )`,
+  sql`CREATE TABLE IF NOT EXISTS control_grants (
+    target_tag TEXT NOT NULL,
+    run_id TEXT NOT NULL,
+    target_id TEXT NOT NULL,
+    token_id TEXT NOT NULL,
+    envelope_json TEXT NOT NULL,
+    scope TEXT NOT NULL,
+    installed_at_ms ${Dialect.integer(sql)} NOT NULL,
+    PRIMARY KEY (target_tag, run_id, target_id),
+    CHECK (target_tag IN ('Plan', 'Node')),
+    CHECK ((target_tag = 'Plan' AND run_id = '') OR (target_tag = 'Node' AND length(run_id) > 0)),
+    CHECK (length(target_id) > 0 AND token_id = target_id)
+  )`,
+  sql`CREATE TABLE IF NOT EXISTS control_mutations (
+    mutation_key TEXT PRIMARY KEY,
+    fingerprint TEXT NOT NULL,
+    receipt_json TEXT NOT NULL
+  )`,
+  sql`CREATE TABLE IF NOT EXISTS control_runs (
+    run_id TEXT PRIMARY KEY,
+    created_seq ${Dialect.integer(sql)} NOT NULL
+  )`,
+  sql`CREATE TABLE IF NOT EXISTS control_run_resumes (
+    run_id TEXT PRIMARY KEY,
+    requested_seq ${Dialect.integer(sql)} NOT NULL,
+    requested_at_ms ${Dialect.integer(sql)} NOT NULL
+  )`,
+  sql`CREATE TABLE IF NOT EXISTS control_run_messages (
+    seq ${Dialect.identity(sql)},
+    run_id TEXT NOT NULL,
+    kind TEXT NOT NULL,
+    payload_json TEXT NOT NULL
+  )`,
+  sql`CREATE TABLE IF NOT EXISTS control_sequences (
+    name TEXT PRIMARY KEY,
+    value ${Dialect.integer(sql)} NOT NULL
+  )`,
+  sql`CREATE TABLE IF NOT EXISTS control_credentials (
+    id TEXT PRIMARY KEY,
+    name TEXT NOT NULL,
+    ciphertext TEXT NOT NULL,
+    nonce TEXT NOT NULL,
+    version ${Dialect.integer(sql)} NOT NULL,
+    updated_at_ms ${Dialect.integer(sql)} NOT NULL
+  )`
+];
+const initial = Effect.gen(function* () {
+  const sql = yield* SqlClient.SqlClient;
+  for (const statement of statements(sql)) {
+    yield* statement;
+  }
+});
+//# sourceMappingURL=0001_control_tables.js.map

package/dist/cjs/migrations/0001_control_tables.js.map

@@ -0,0 +1,7 @@
+{
+  "version": 3,
+  "sources": ["../../../src/migrations/0001_control_tables.ts"],
+  "sourcesContent": ["/**\n * Initial durable control-plane schema.\n *\n * @since 0.1.0\n */\n\nimport * as Dialect from \"@smthrs/database/Dialect\"\nimport * as Effect from \"effect/Effect\"\nimport * as SqlClient from \"effect/unstable/sql/SqlClient\"\n\nconst statements = (sql: SqlClient.SqlClient) =>\n  [\n    sql`CREATE TABLE IF NOT EXISTS control_plans (\n    ${Dialect.rowId(sql)}\n    plan_id TEXT PRIMARY KEY,\n    card_json TEXT NOT NULL,\n    decoded_input_json TEXT NOT NULL,\n    decision TEXT NOT NULL\n  )`,\n    sql`CREATE TABLE IF NOT EXISTS control_plan_keys (\n    idempotency_key TEXT PRIMARY KEY,\n    fingerprint TEXT NOT NULL,\n    plan_id TEXT NOT NULL\n  )`,\n    sql`CREATE TABLE IF NOT EXISTS control_tokens (\n    target_tag TEXT NOT NULL,\n    run_id TEXT NOT NULL,\n    target_id TEXT NOT NULL,\n    token_id TEXT NOT NULL,\n    target_json TEXT NOT NULL,\n    resolved ${Dialect.integer(sql)} NOT NULL,\n    decision_principal_json TEXT,\n    PRIMARY KEY (target_tag, run_id, target_id),\n    CHECK (target_tag IN ('Plan', 'Node')),\n    CHECK ((target_tag = 'Plan' AND run_id = '') OR (target_tag = 'Node' AND length(run_id) > 0)),\n    CHECK (length(target_id) > 0 AND token_id = target_id)\n  )`,\n    sql`CREATE TABLE IF NOT EXISTS control_grants (\n    target_tag TEXT NOT NULL,\n    run_id TEXT NOT NULL,\n    target_id TEXT NOT NULL,\n    token_id TEXT NOT NULL,\n    envelope_json TEXT NOT NULL,\n    scope TEXT NOT NULL,\n    installed_at_ms ${Dialect.integer(sql)} NOT NULL,\n    PRIMARY KEY (target_tag, run_id, target_id),\n    CHECK (target_tag IN ('Plan', 'Node')),\n    CHECK ((target_tag = 'Plan' AND run_id = '') OR (target_tag = 'Node' AND length(run_id) > 0)),\n    CHECK (length(target_id) > 0 AND token_id = target_id)\n  )`,\n    sql`CREATE TABLE IF NOT EXISTS control_mutations (\n    mutation_key TEXT PRIMARY KEY,\n    fingerprint TEXT NOT NULL,\n    receipt_json TEXT NOT NULL\n  )`,\n    sql`CREATE TABLE IF NOT EXISTS control_runs (\n    run_id TEXT PRIMARY KEY,\n    created_seq ${Dialect.integer(sql)} NOT NULL\n  )`,\n    sql`CREATE TABLE IF NOT EXISTS control_run_resumes (\n    run_id TEXT PRIMARY KEY,\n    requested_seq ${Dialect.integer(sql)} NOT NULL,\n    requested_at_ms ${Dialect.integer(sql)} NOT NULL\n  )`,\n    sql`CREATE TABLE IF NOT EXISTS control_run_messages (\n    seq ${Dialect.identity(sql)},\n    run_id TEXT NOT NULL,\n    kind TEXT NOT NULL,\n    payload_json TEXT NOT NULL\n  )`,\n    sql`CREATE TABLE IF NOT EXISTS control_sequences (\n    name TEXT PRIMARY KEY,\n    value ${Dialect.integer(sql)} NOT NULL\n  )`,\n    sql`CREATE TABLE IF NOT EXISTS control_credentials (\n    id TEXT PRIMARY KEY,\n    name TEXT NOT NULL,\n    ciphertext TEXT NOT NULL,\n    nonce TEXT NOT NULL,\n    version ${Dialect.integer(sql)} NOT NULL,\n    updated_at_ms ${Dialect.integer(sql)} NOT NULL\n  )`\n  ] as const\n\n/**\n * Creates every table owned by `@smthrs/control`.\n *\n * `IF NOT EXISTS` lets the recorded migration and each standalone adapter's\n * bootstrap share this exact schema without competing over table creation.\n *\n * @category migrations\n * @since 0.1.0\n */\nexport const initial: Effect.Effect<void, unknown, SqlClient.SqlClient> = Effect.gen(function*() {\n  const sql = yield* SqlClient.SqlClient\n  for (const statement of statements(sql)) {\n    yield* statement\n  }\n})\n"],
+  "mappings": ";;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA;AAAA;AAAA;AAMA,cAAyB;AACzB,aAAwB;AACxB,gBAA2B;AAE3B,MAAM,aAAa,CAAC,QAClB;AAAA,EACE;AAAA,MACE,QAAQ,MAAM,GAAG,CAAC;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAMpB;AAAA;AAAA;AAAA;AAAA;AAAA,EAKA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,eAMW,QAAQ,QAAQ,GAAG,CAAC;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAO/B;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,sBAOkB,QAAQ,QAAQ,GAAG,CAAC;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAMtC;AAAA;AAAA;AAAA;AAAA;AAAA,EAKA;AAAA;AAAA,kBAEc,QAAQ,QAAQ,GAAG,CAAC;AAAA;AAAA,EAElC;AAAA;AAAA,oBAEgB,QAAQ,QAAQ,GAAG,CAAC;AAAA,sBAClB,QAAQ,QAAQ,GAAG,CAAC;AAAA;AAAA,EAEtC;AAAA,UACM,QAAQ,SAAS,GAAG,CAAC;AAAA;AAAA;AAAA;AAAA;AAAA,EAK3B;AAAA;AAAA,YAEQ,QAAQ,QAAQ,GAAG,CAAC;AAAA;AAAA,EAE5B;AAAA;AAAA;AAAA;AAAA;AAAA,cAKU,QAAQ,QAAQ,GAAG,CAAC;AAAA,oBACd,QAAQ,QAAQ,GAAG,CAAC;AAAA;AAEtC;AAWK,MAAM,UAA6D,OAAO,IAAI,aAAY;AAC/F,QAAM,MAAM,OAAO,UAAU;AAC7B,aAAW,aAAa,WAAW,GAAG,GAAG;AACvC,WAAO;AAAA,EACT;AACF,CAAC;",
+  "names": []
+}

package/dist/cjs/migrations/0002_run_keys.d.ts

@@ -0,0 +1,15 @@
+/**
+ * Durable run idempotency claims, including upgrades of existing databases.
+ *
+ * @since 1.0.0
+ */
+import * as Effect from "effect/Effect";
+import * as SqlClient from "effect/unstable/sql/SqlClient";
+/**
+ * Adds the run-key claim table without changing existing control data.
+ *
+ * @category migrations
+ * @since 1.0.0
+ */
+export declare const runKeys: Effect.Effect<void, import("effect/unstable/sql/SqlError").SqlError, SqlClient.SqlClient>;
+//# sourceMappingURL=0002_run_keys.d.ts.map

package/dist/cjs/migrations/0002_run_keys.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"0002_run_keys.d.ts","sourceRoot":"","sources":["../../../src/migrations/0002_run_keys.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,SAAS,MAAM,+BAA+B,CAAA;AAE1D;;;;;GAKG;AACH,eAAO,MAAM,OAAO,2FAOlB,CAAA"}

package/dist/cjs/migrations/0002_run_keys.js

@@ -0,0 +1,44 @@
+"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 run_keys_exports = {};
+__export(run_keys_exports, {
+  runKeys: () => runKeys
+});
+module.exports = __toCommonJS(run_keys_exports);
+var Effect = __toESM(require("effect/Effect"), 1);
+var SqlClient = __toESM(require("effect/unstable/sql/SqlClient"), 1);
+const runKeys = Effect.gen(function* () {
+  const sql = yield* SqlClient.SqlClient;
+  yield* sql`CREATE TABLE IF NOT EXISTS control_run_keys (
+    idempotency_key TEXT PRIMARY KEY,
+    fingerprint TEXT NOT NULL,
+    claimant TEXT NOT NULL
+  )`;
+});
+//# sourceMappingURL=0002_run_keys.js.map

package/dist/cjs/migrations/0002_run_keys.js.map

@@ -0,0 +1,7 @@
+{
+  "version": 3,
+  "sources": ["../../../src/migrations/0002_run_keys.ts"],
+  "sourcesContent": ["/**\n * Durable run idempotency claims, including upgrades of existing databases.\n *\n * @since 1.0.0\n */\n\nimport * as Effect from \"effect/Effect\"\nimport * as SqlClient from \"effect/unstable/sql/SqlClient\"\n\n/**\n * Adds the run-key claim table without changing existing control data.\n *\n * @category migrations\n * @since 1.0.0\n */\nexport const runKeys = Effect.gen(function*() {\n  const sql = yield* SqlClient.SqlClient\n  yield* sql`CREATE TABLE IF NOT EXISTS control_run_keys (\n    idempotency_key TEXT PRIMARY KEY,\n    fingerprint TEXT NOT NULL,\n    claimant TEXT NOT NULL\n  )`\n})\n"],
+  "mappings": ";;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA;AAAA;AAAA;AAMA,aAAwB;AACxB,gBAA2B;AAQpB,MAAM,UAAU,OAAO,IAAI,aAAY;AAC5C,QAAM,MAAM,OAAO,UAAU;AAC7B,SAAO;AAAA;AAAA;AAAA;AAAA;AAKT,CAAC;",
+  "names": []
+}

package/dist/cjs/migrations/0003_signal_commands.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Durable signal admission and immutable wait bindings.
+ * @since 1.0.0
+ */
+import * as Effect from "effect/Effect";
+import * as SqlClient from "effect/unstable/sql/SqlClient";
+/**
+ * Adds the signal inbox without replaying legacy messages that lack delivery identity.
+ * @category migrations
+ * @since 1.0.0
+ */
+export declare const signalCommands: Effect.Effect<void, import("effect/unstable/sql/SqlError").SqlError, SqlClient.SqlClient>;
+//# sourceMappingURL=0003_signal_commands.d.ts.map

package/dist/cjs/migrations/0003_signal_commands.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"0003_signal_commands.d.ts","sourceRoot":"","sources":["../../../src/migrations/0003_signal_commands.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,SAAS,MAAM,+BAA+B,CAAA;AAE1D;;;;GAIG;AACH,eAAO,MAAM,cAAc,2FAYzB,CAAA"}

package/dist/cjs/migrations/0003_signal_commands.js

@@ -0,0 +1,50 @@
+"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 signal_commands_exports = {};
+__export(signal_commands_exports, {
+  signalCommands: () => signalCommands
+});
+module.exports = __toCommonJS(signal_commands_exports);
+var Dialect = __toESM(require("@smthrs/database/Dialect"), 1);
+var Effect = __toESM(require("effect/Effect"), 1);
+var SqlClient = __toESM(require("effect/unstable/sql/SqlClient"), 1);
+const signalCommands = Effect.gen(function* () {
+  const sql = yield* SqlClient.SqlClient;
+  yield* sql`CREATE TABLE IF NOT EXISTS control_signal_commands (
+    seq ${Dialect.identity(sql)},
+    command_id TEXT NOT NULL UNIQUE,
+    run_id TEXT NOT NULL,
+    payload_json TEXT NOT NULL,
+    wait_token TEXT,
+    state TEXT NOT NULL DEFAULT 'pending' CHECK (state IN ('pending', 'delivered', 'rejected', 'terminal'))
+  )`;
+  yield* sql`CREATE UNIQUE INDEX IF NOT EXISTS control_signal_commands_wait ON control_signal_commands(wait_token) WHERE wait_token IS NOT NULL`;
+  yield* sql`CREATE INDEX IF NOT EXISTS control_signal_commands_pending ON control_signal_commands(state, seq)`;
+});
+//# sourceMappingURL=0003_signal_commands.js.map

package/dist/cjs/migrations/0003_signal_commands.js.map

@@ -0,0 +1,7 @@
+{
+  "version": 3,
+  "sources": ["../../../src/migrations/0003_signal_commands.ts"],
+  "sourcesContent": ["/**\n * Durable signal admission and immutable wait bindings.\n * @since 1.0.0\n */\n\nimport * as Dialect from \"@smthrs/database/Dialect\"\nimport * as Effect from \"effect/Effect\"\nimport * as SqlClient from \"effect/unstable/sql/SqlClient\"\n\n/**\n * Adds the signal inbox without replaying legacy messages that lack delivery identity.\n * @category migrations\n * @since 1.0.0\n */\nexport const signalCommands = Effect.gen(function*() {\n  const sql = yield* SqlClient.SqlClient\n  yield* sql`CREATE TABLE IF NOT EXISTS control_signal_commands (\n    seq ${Dialect.identity(sql)},\n    command_id TEXT NOT NULL UNIQUE,\n    run_id TEXT NOT NULL,\n    payload_json TEXT NOT NULL,\n    wait_token TEXT,\n    state TEXT NOT NULL DEFAULT 'pending' CHECK (state IN ('pending', 'delivered', 'rejected', 'terminal'))\n  )`\n  yield* sql`CREATE UNIQUE INDEX IF NOT EXISTS control_signal_commands_wait ON control_signal_commands(wait_token) WHERE wait_token IS NOT NULL`\n  yield* sql`CREATE INDEX IF NOT EXISTS control_signal_commands_pending ON control_signal_commands(state, seq)`\n})\n"],
+  "mappings": ";;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA;AAAA;AAAA;AAKA,cAAyB;AACzB,aAAwB;AACxB,gBAA2B;AAOpB,MAAM,iBAAiB,OAAO,IAAI,aAAY;AACnD,QAAM,MAAM,OAAO,UAAU;AAC7B,SAAO;AAAA,UACC,QAAQ,SAAS,GAAG,CAAC;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAO7B,SAAO;AACP,SAAO;AACT,CAAC;",
+  "names": []
+}

package/dist/cjs/migrations/0004_approval_decisions.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Preserve the actual decision without guessing erased legacy answers.
+ * @since 1.0.0
+ */
+import * as Effect from "effect/Effect";
+import * as SqlClient from "effect/unstable/sql/SqlClient";
+/**
+ * Idempotent for both recorded migrations and standalone runtime bootstrap.
+ * @category migrations
+ * @since 1.0.0
+ */
+export declare const approvalDecisions: Effect.Effect<void, import("effect/unstable/sql/SqlError").SqlError, SqlClient.SqlClient>;
+//# sourceMappingURL=0004_approval_decisions.d.ts.map

package/dist/cjs/migrations/0004_approval_decisions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"0004_approval_decisions.d.ts","sourceRoot":"","sources":["../../../src/migrations/0004_approval_decisions.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,SAAS,MAAM,+BAA+B,CAAA;AAE1D;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,2FAU5B,CAAA"}

package/dist/cjs/migrations/0004_approval_decisions.js

@@ -0,0 +1,45 @@
+"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 approval_decisions_exports = {};
+__export(approval_decisions_exports, {
+  approvalDecisions: () => approvalDecisions
+});
+module.exports = __toCommonJS(approval_decisions_exports);
+var Dialect = __toESM(require("@smthrs/database/Dialect"), 1);
+var Effect = __toESM(require("effect/Effect"), 1);
+var SqlClient = __toESM(require("effect/unstable/sql/SqlClient"), 1);
+const approvalDecisions = Effect.gen(function* () {
+  const sql = yield* SqlClient.SqlClient;
+  yield* sql.withTransaction(Effect.gen(function* () {
+    const columns = yield* Dialect.columns(sql, "control_tokens");
+    if (columns.some((column) => column.name === "decision_json")) return;
+    yield* sql`ALTER TABLE control_tokens ADD COLUMN decision_json TEXT`;
+  }));
+});
+//# sourceMappingURL=0004_approval_decisions.js.map

package/dist/cjs/migrations/0004_approval_decisions.js.map

@@ -0,0 +1,7 @@
+{
+  "version": 3,
+  "sources": ["../../../src/migrations/0004_approval_decisions.ts"],
+  "sourcesContent": ["/**\n * Preserve the actual decision without guessing erased legacy answers.\n * @since 1.0.0\n */\n\nimport * as Dialect from \"@smthrs/database/Dialect\"\nimport * as Effect from \"effect/Effect\"\nimport * as SqlClient from \"effect/unstable/sql/SqlClient\"\n\n/**\n * Idempotent for both recorded migrations and standalone runtime bootstrap.\n * @category migrations\n * @since 1.0.0\n */\nexport const approvalDecisions = Effect.gen(function*() {\n  const sql = yield* SqlClient.SqlClient\n  yield* sql.withTransaction(Effect.gen(function*() {\n    const columns = yield* Dialect.columns(sql, \"control_tokens\")\n    if (columns.some((column) => column.name === \"decision_json\")) return\n    // NULL is intentional: old terminal tokens erased their answer. Their\n    // decoder refuses recovery instead of inferring approval from a grant.\n    // An undecided token still has its unambiguous resolved=0 representation.\n    yield* sql`ALTER TABLE control_tokens ADD COLUMN decision_json TEXT`\n  }))\n})\n"],
+  "mappings": ";;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA;AAAA;AAAA;AAKA,cAAyB;AACzB,aAAwB;AACxB,gBAA2B;AAOpB,MAAM,oBAAoB,OAAO,IAAI,aAAY;AACtD,QAAM,MAAM,OAAO,UAAU;AAC7B,SAAO,IAAI,gBAAgB,OAAO,IAAI,aAAY;AAChD,UAAM,UAAU,OAAO,QAAQ,QAAQ,KAAK,gBAAgB;AAC5D,QAAI,QAAQ,KAAK,CAAC,WAAW,OAAO,SAAS,eAAe,EAAG;AAI/D,WAAO;AAAA,EACT,CAAC,CAAC;AACJ,CAAC;",
+  "names": []
+}