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

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

@@ -0,0 +1,347 @@
+/**
+ * Plan construction shared by every `ControlRuntime` implementation.
+ *
+ * The plan digest is what an approval is bound to, so the memory runtime and
+ * the durable runtime must compute it the same way or an approval taken on one
+ * would not validate on the other. Keeping the construction here is what makes
+ * that a compile-time fact rather than a convention.
+ *
+ * @since 0.1.0
+ */
+import type * as PersistedPlan from "@smthrs/plan/Plan";
+import { Effect } from "effect";
+import type { PlanInput } from "../Control.ts";
+import { CodeDrift } from "../ControlError.ts";
+import type { Envelope, FlowId, IdempotencyKey, PlanGraph, PlanNode, Principal, Receipt, RunId, RunSummary } from "../ControlSchema.ts";
+/**
+ * The drift between the code a run recorded and the code that would resume
+ * it, or `undefined` when there is none. A run that recorded no digest (a flow
+ * without one, or a row older than the field) is not checked for flow drift,
+ * and one that recorded no engine version is not checked for engine drift.
+ *
+ * @since 1.0.0
+ * @private
+ */
+export declare const codeDriftOf: (run: RunSummary, flow: {
+    readonly executionDigest?: string | undefined;
+} | undefined, engineVersion: string | undefined) => CodeDrift | undefined;
+/**
+ * The code identity a resume the operator allowed to drift records on the run,
+ * so later checks compare against the code it now runs.
+ *
+ * @since 1.0.0
+ * @private
+ */
+export declare const adoptedCode: (run: RunSummary, flow: {
+    readonly executionDigest?: string | undefined;
+} | undefined, engineVersion: string | undefined) => Pick<RunSummary, "executionDigest" | "engineVersion">;
+/**
+ * The envelope a flow with no declared capabilities carries.
+ *
+ * @since 0.1.0
+ * @private
+ */
+export declare const emptyEnvelope: Envelope;
+/**
+ * Canonical bytes for a value.
+ * Throws on a non-serializable value; every caller either wraps it in
+ * `Effect.try` or has already validated the value.
+ *
+ * @since 0.1.0
+ * @private
+ */
+export declare const canonical: (value: unknown) => string;
+/**
+ * The durable key a caller's idempotency key is stored under.
+ *
+ * Namespaced by the effective actor: the submitted principal, or the runtime's
+ * configured fallback when the caller named none. The principal's clock is
+ * omitted, so an equal retry lands on the same key.
+ *
+ * @since 0.1.0
+ * @private
+ */
+export declare const mutationKey: (operation: string, key: IdempotencyKey, principal: Pick<Principal, "id" | "kind">) => string;
+/**
+ * The content digest of a value's canonical bytes.
+ *
+ * @since 0.1.0
+ * @private
+ */
+export declare const digest: (value: unknown) => Effect.Effect<string & import("effect/Brand").Brand<"@smthrs/crypto/Sha256/Digest">, never, import("effect/Crypto").Crypto>;
+/**
+ * Envelope equality by canonical bytes, not by reference or key order.
+ *
+ * @since 0.1.0
+ * @private
+ */
+export declare const sameEnvelope: (left: Envelope, right: Envelope) => boolean;
+/**
+ * A flow's envelope with a planner's budget fields laid over its declared ones.
+ *
+ * @since 1.0.0-rc.1
+ * @private
+ */
+export declare const budgeted: (envelope: Envelope, budget: Envelope["budget"] | undefined) => Envelope;
+/**
+ * What one plan request asks for, for idempotency: a key replayed with another
+ * budget is another plan.
+ *
+ * @since 1.0.0-rc.1
+ * @private
+ */
+export declare const planFingerprint: (input: PlanInput) => string;
+/**
+ * An accepted receipt, carrying a run id when one exists.
+ *
+ * @since 0.1.0
+ * @private
+ */
+export declare const accepted: (receiptId: string, runId?: RunId) => Receipt;
+/**
+ * The receipt a replayed mutation returns, derived from the recorded one.
+ *
+ * @since 0.1.0
+ * @private
+ */
+export declare const alreadyApplied: (key: IdempotencyKey, receipt: Receipt) => Receipt;
+/**
+ * The plan inputs a card is derived from.
+ *
+ * @since 0.1.0
+ * @private
+ */
+export interface PlanSource {
+    readonly planId: string;
+    readonly flowId: FlowId;
+    readonly decodedInput: unknown;
+    readonly envelope: Envelope;
+    readonly deployClass: boolean;
+    readonly executionDigest?: string | undefined;
+    /** The persisted plan value and cache verdicts produced by the host. */
+    readonly handoff?: {
+        readonly plan: PersistedPlan.Plan;
+        readonly statuses?: Readonly<Record<string, PlanNode["status"]>> | undefined;
+        readonly graph?: PlanGraph | undefined;
+    } | undefined;
+    readonly idempotencyKey?: IdempotencyKey | undefined;
+}
+/**
+ * Builds the immutable plan card and the approval target bound to its digest.
+ *
+ * @since 0.1.0
+ * @private
+ */
+export declare const planCard: (source: PlanSource) => Effect.Effect<{
+    approval: {
+        target: {
+            readonly _tag: "Plan";
+            readonly planId: string;
+            readonly digest: string;
+            readonly envelope: {
+                readonly capabilities: readonly string[];
+                readonly flows: readonly string[];
+                readonly budget: {
+                    readonly deadline?: number | undefined;
+                    readonly tokens?: number | undefined;
+                    readonly milliseconds?: number | undefined;
+                    readonly usd?: number | undefined;
+                    readonly onExceeded?: "fail" | "park" | "warn" | "skip-remaining" | undefined;
+                };
+                readonly hostImports?: readonly string[] | undefined;
+                readonly host?: string | undefined;
+            };
+        };
+        scope: "run";
+        idempotencyKey: string;
+    };
+    graph?: {
+        readonly edges: readonly {
+            readonly from: string;
+            readonly to: string;
+            readonly reason: "value" | "continuation" | "failure" | "conflict" | "lane-merge";
+        }[];
+        readonly nodes?: readonly {
+            readonly id: string;
+            readonly declaredAt?: {
+                readonly path: string;
+                readonly line: number;
+            };
+        }[] | undefined;
+        readonly sourceRevision?: string | undefined;
+    };
+    nodes: readonly {
+        readonly status: "run" | "cached";
+        readonly id: string;
+        readonly kind: "step" | "agent" | "merge";
+        readonly key: string & import("effect/Brand").Brand<"@smthrs/keys/Key">;
+        readonly material: {
+            readonly capabilities: readonly string[];
+            readonly version: "flows/key-material/v2";
+            readonly inputs: readonly ({
+                readonly _tag: "Literal";
+                readonly value: unknown;
+            } | {
+                readonly _tag: "Ref";
+                readonly from: string;
+                readonly path: readonly string[];
+            } | {
+                readonly _tag: "Pending";
+                readonly from: string;
+            })[];
+            readonly layers: readonly string[];
+            readonly kind: "sealed" | "compensable" | "irreversible";
+            readonly body: unknown;
+            readonly nondeterministic?: true | undefined;
+            readonly effects?: unknown;
+            readonly placement?: unknown;
+        };
+        readonly effects: {
+            readonly reads: readonly (string | {
+                readonly _tag: "Glob";
+                readonly include: readonly [string, ...string[]];
+                readonly exclude?: readonly string[] | undefined;
+            } | {
+                readonly _tag: "Filegroup";
+                readonly name: string;
+                readonly entries: readonly (string | {
+                    readonly _tag: "Glob";
+                    readonly include: readonly [string, ...string[]];
+                    readonly exclude?: readonly string[] | undefined;
+                })[];
+            })[];
+            readonly writes: readonly (string | {
+                readonly _tag: "Glob";
+                readonly include: readonly [string, ...string[]];
+                readonly exclude?: readonly string[] | undefined;
+            } | {
+                readonly _tag: "TreeArtifact";
+                readonly path: string;
+            } | {
+                readonly _tag: "Filegroup";
+                readonly name: string;
+                readonly entries: readonly (string | {
+                    readonly _tag: "Glob";
+                    readonly include: readonly [string, ...string[]];
+                    readonly exclude?: readonly string[] | undefined;
+                } | {
+                    readonly _tag: "TreeArtifact";
+                    readonly path: string;
+                })[];
+            })[];
+            readonly boundaryMode: "expected" | "hard";
+            readonly removes?: readonly string[] | undefined;
+        };
+        readonly dependsOn: readonly string[];
+        readonly conflicts: readonly {
+            readonly with: string;
+            readonly paths: readonly string[];
+            readonly strategy: "serialize" | "lane" | "fail";
+            readonly runtime: "delay-rebase" | "stop-merge";
+        }[];
+        readonly strategy: "serialize" | "lane" | "fail";
+        readonly runtime: "delay-rebase" | "stop-merge";
+        readonly priority: number;
+        readonly generation: number;
+    }[];
+    plan?: {
+        readonly planId: string;
+        readonly flow: string;
+        readonly generation: number;
+        readonly baseDigest: string & import("effect/Brand").Brand<"@smthrs/keys/Key">;
+        readonly digest: string & import("effect/Brand").Brand<"@smthrs/keys/Key">;
+        readonly nodes: readonly {
+            readonly id: string;
+            readonly kind: "step" | "agent" | "merge";
+            readonly key: string & import("effect/Brand").Brand<"@smthrs/keys/Key">;
+            readonly material: {
+                readonly capabilities: readonly string[];
+                readonly version: "flows/key-material/v2";
+                readonly inputs: readonly ({
+                    readonly _tag: "Literal";
+                    readonly value: unknown;
+                } | {
+                    readonly _tag: "Ref";
+                    readonly from: string;
+                    readonly path: readonly string[];
+                } | {
+                    readonly _tag: "Pending";
+                    readonly from: string;
+                })[];
+                readonly layers: readonly string[];
+                readonly kind: "sealed" | "compensable" | "irreversible";
+                readonly body: unknown;
+                readonly nondeterministic?: true | undefined;
+                readonly effects?: unknown;
+                readonly placement?: unknown;
+            };
+            readonly effects: {
+                readonly reads: readonly (string | {
+                    readonly _tag: "Glob";
+                    readonly include: readonly [string, ...string[]];
+                    readonly exclude?: readonly string[] | undefined;
+                } | {
+                    readonly _tag: "Filegroup";
+                    readonly name: string;
+                    readonly entries: readonly (string | {
+                        readonly _tag: "Glob";
+                        readonly include: readonly [string, ...string[]];
+                        readonly exclude?: readonly string[] | undefined;
+                    })[];
+                })[];
+                readonly writes: readonly (string | {
+                    readonly _tag: "Glob";
+                    readonly include: readonly [string, ...string[]];
+                    readonly exclude?: readonly string[] | undefined;
+                } | {
+                    readonly _tag: "TreeArtifact";
+                    readonly path: string;
+                } | {
+                    readonly _tag: "Filegroup";
+                    readonly name: string;
+                    readonly entries: readonly (string | {
+                        readonly _tag: "Glob";
+                        readonly include: readonly [string, ...string[]];
+                        readonly exclude?: readonly string[] | undefined;
+                    } | {
+                        readonly _tag: "TreeArtifact";
+                        readonly path: string;
+                    })[];
+                })[];
+                readonly boundaryMode: "expected" | "hard";
+                readonly removes?: readonly string[] | undefined;
+            };
+            readonly dependsOn: readonly string[];
+            readonly conflicts: readonly {
+                readonly with: string;
+                readonly paths: readonly string[];
+                readonly strategy: "serialize" | "lane" | "fail";
+                readonly runtime: "delay-rebase" | "stop-merge";
+            }[];
+            readonly strategy: "serialize" | "lane" | "fail";
+            readonly runtime: "delay-rebase" | "stop-merge";
+            readonly priority: number;
+            readonly generation: number;
+        }[];
+    };
+    executionDigest?: string;
+    planId: string;
+    flowId: string;
+    digest: string & import("effect/Brand").Brand<"@smthrs/crypto/Sha256/Digest">;
+    inputSummary: string;
+    envelope: {
+        readonly capabilities: readonly string[];
+        readonly flows: readonly string[];
+        readonly budget: {
+            readonly deadline?: number | undefined;
+            readonly tokens?: number | undefined;
+            readonly milliseconds?: number | undefined;
+            readonly usd?: number | undefined;
+            readonly onExceeded?: "fail" | "park" | "warn" | "skip-remaining" | undefined;
+        };
+        readonly hostImports?: readonly string[] | undefined;
+        readonly host?: string | undefined;
+    };
+    deployClass: boolean;
+}, never, import("effect/Crypto").Crypto>;
+//# sourceMappingURL=planning.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"planning.d.ts","sourceRoot":"","sources":["../../../src/internal/planning.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAKH,OAAO,KAAK,KAAK,aAAa,MAAM,mBAAmB,CAAA;AACvD,OAAO,EAAE,MAAM,EAAU,MAAM,QAAQ,CAAA;AACvC,OAAO,KAAK,EAAkB,SAAS,EAAE,MAAM,eAAe,CAAA;AAC9D,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAA;AAC9C,OAAO,KAAK,EACV,QAAQ,EACR,MAAM,EACN,cAAc,EAEd,SAAS,EACT,QAAQ,EACR,SAAS,EACT,OAAO,EACP,KAAK,EACL,UAAU,EACX,MAAM,qBAAqB,CAAA;AAE5B;;;;;;;;GAQG;AACH,eAAO,MAAM,WAAW,GACtB,KAAK,UAAU,EACf,MAAM;IAAE,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,GAAG,SAAS,EACnE,eAAe,MAAM,GAAG,SAAS,KAChC,SAAS,GAAG,SAYd,CAAA;AAED;;;;;;GAMG;AACH,eAAO,MAAM,WAAW,GACtB,KAAK,UAAU,EACf,MAAM;IAAE,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,GAAG,SAAS,EACnE,eAAe,MAAM,GAAG,SAAS,KAChC,IAAI,CAAC,UAAU,EAAE,iBAAiB,GAAG,eAAe,CAGrD,CAAA;AAEF;;;;;GAKG;AACH,eAAO,MAAM,aAAa,EAAE,QAI3B,CAAA;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,SAAS,GAAI,OAAO,OAAO,KAAG,MAA6B,CAAA;AAExE;;;;;;;;;GASG;AACH,eAAO,MAAM,WAAW,GACtB,WAAW,MAAM,EACjB,KAAK,cAAc,EACnB,WAAW,IAAI,CAAC,SAAS,EAAE,IAAI,GAAG,MAAM,CAAC,KACxC,MAC4G,CAAA;AAE/G;;;;;GAKG;AACH,eAAO,MAAM,MAAM,GAAI,OAAO,OAAO,gIAA4E,CAAA;AAEjH;;;;;GAKG;AACH,eAAO,MAAM,YAAY,GAAI,MAAM,QAAQ,EAAE,OAAO,QAAQ,KAAG,OAA+C,CAAA;AAE9G;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,GAAI,UAAU,QAAQ,EAAE,QAAQ,QAAQ,CAAC,QAAQ,CAAC,GAAG,SAAS,KAAG,QACQ,CAAA;AAE9F;;;;;;GAMG;AACH,eAAO,MAAM,eAAe,GAAI,OAAO,SAAS,KAAG,MAK/C,CAAA;AAEJ;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,GAAI,WAAW,MAAM,EAAE,QAAQ,KAAK,KAAG,OAK3D,CAAA;AAED;;;;;GAKG;AACH,eAAO,MAAM,cAAc,GAAI,KAAK,cAAc,EAAE,SAAS,OAAO,KAAG,OActE,CAAA;AAED;;;;;GAKG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAA;IAC9B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;IAC3B,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAA;IAC7B,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAC7C,wEAAwE;IACxE,QAAQ,CAAC,OAAO,CAAC,EAAE;QACjB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,IAAI,CAAA;QACjC,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,SAAS,CAAA;QAC5E,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,GAAG,SAAS,CAAA;KACvC,GAAG,SAAS,CAAA;IACb,QAAQ,CAAC,cAAc,CAAC,EAAE,cAAc,GAAG,SAAS,CAAA;CACrD;AAED;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,GAAI,QAAQ,UAAU;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;yCA8CvC,CAAA"}

package/dist/esm/internal/planning.js

@@ -0,0 +1,199 @@
+/**
+ * Plan construction shared by every `ControlRuntime` implementation.
+ *
+ * The plan digest is what an approval is bound to, so the memory runtime and
+ * the durable runtime must compute it the same way or an approval taken on one
+ * would not validate on the other. Keeping the construction here is what makes
+ * that a compile-time fact rather than a convention.
+ *
+ * @since 0.1.0
+ */
+import { canonicalize } from "@smthrs/canonical";
+import { Sha256 } from "@smthrs/crypto";
+import * as Sha256Digest from "@smthrs/crypto/Sha256";
+import { Effect, Schema } from "effect";
+import { CodeDrift } from "../ControlError.js";
+/**
+ * The drift between the code a run recorded and the code that would resume
+ * it, or `undefined` when there is none. A run that recorded no digest (a flow
+ * without one, or a row older than the field) is not checked for flow drift,
+ * and one that recorded no engine version is not checked for engine drift.
+ *
+ * @since 1.0.0
+ * @private
+ */
+export const codeDriftOf = (run, flow, engineVersion) => {
+    const flowDrift = run.executionDigest !== undefined && flow?.executionDigest !== run.executionDigest;
+    const engineDrift = run.engineVersion !== undefined && engineVersion !== undefined &&
+        engineVersion !== run.engineVersion;
+    if (!flowDrift && !engineDrift)
+        return undefined;
+    return new CodeDrift({
+        runId: run.runId,
+        flowId: run.flowId,
+        ...(flowDrift ? { recorded: run.executionDigest } : {}),
+        ...(flowDrift && flow?.executionDigest !== undefined ? { current: flow.executionDigest } : {}),
+        ...(engineDrift ? { recordedEngine: run.engineVersion, currentEngine: engineVersion } : {})
+    });
+};
+/**
+ * The code identity a resume the operator allowed to drift records on the run,
+ * so later checks compare against the code it now runs.
+ *
+ * @since 1.0.0
+ * @private
+ */
+export const adoptedCode = (run, flow, engineVersion) => ({
+    executionDigest: flow?.executionDigest,
+    engineVersion: engineVersion ?? run.engineVersion
+});
+/**
+ * The envelope a flow with no declared capabilities carries.
+ *
+ * @since 0.1.0
+ * @private
+ */
+export const emptyEnvelope = {
+    capabilities: [],
+    flows: [],
+    budget: {}
+};
+/**
+ * Canonical bytes for a value.
+ * Throws on a non-serializable value; every caller either wraps it in
+ * `Effect.try` or has already validated the value.
+ *
+ * @since 0.1.0
+ * @private
+ */
+export const canonical = (value) => canonicalize(value);
+/**
+ * The durable key a caller's idempotency key is stored under.
+ *
+ * Namespaced by the effective actor: the submitted principal, or the runtime's
+ * configured fallback when the caller named none. The principal's clock is
+ * omitted, so an equal retry lands on the same key.
+ *
+ * @since 0.1.0
+ * @private
+ */
+export const mutationKey = (operation, key, principal) => `${operation}:actor:${Sha256Digest.digestSync(canonical({ id: principal.id, kind: principal.kind }))}:${key}`;
+/**
+ * The content digest of a value's canonical bytes.
+ *
+ * @since 0.1.0
+ * @private
+ */
+export const digest = (value) => Schema.decodeUnknownEffect(Sha256)(canonical(value)).pipe(Effect.orDie);
+/**
+ * Envelope equality by canonical bytes, not by reference or key order.
+ *
+ * @since 0.1.0
+ * @private
+ */
+export const sameEnvelope = (left, right) => canonical(left) === canonical(right);
+/**
+ * A flow's envelope with a planner's budget fields laid over its declared ones.
+ *
+ * @since 1.0.0-rc.1
+ * @private
+ */
+export const budgeted = (envelope, budget) => budget === undefined ? envelope : { ...envelope, budget: { ...envelope.budget, ...budget } };
+/**
+ * What one plan request asks for, for idempotency: a key replayed with another
+ * budget is another plan.
+ *
+ * @since 1.0.0-rc.1
+ * @private
+ */
+export const planFingerprint = (input) => canonical({
+    flowId: input.flowId,
+    input: input.input,
+    ...(input.budget === undefined ? {} : { budget: input.budget })
+});
+/**
+ * An accepted receipt, carrying a run id when one exists.
+ *
+ * @since 0.1.0
+ * @private
+ */
+export const accepted = (receiptId, runId) => {
+    /* 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 */
+    return runId === undefined
+        ? { _tag: "Accepted", receiptId }
+        : { _tag: "Accepted", receiptId, runId };
+};
+/**
+ * The receipt a replayed mutation returns, derived from the recorded one.
+ *
+ * @since 0.1.0
+ * @private
+ */
+export 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
+        : undefined;
+    const input = receipt._tag === "Accepted" || receipt._tag === "AlreadyApplied"
+        ? {
+            ...(receipt.inputConsumed === undefined ? {} : { inputConsumed: receipt.inputConsumed }),
+            ...(receipt.inputBody === undefined ? {} : { inputBody: receipt.inputBody })
+        }
+        : {};
+    return runId === undefined
+        ? { _tag: "AlreadyApplied", receiptId, ...input }
+        : { _tag: "AlreadyApplied", receiptId, runId, ...input };
+};
+/**
+ * Builds the immutable plan card and the approval target bound to its digest.
+ *
+ * @since 0.1.0
+ * @private
+ */
+export const planCard = (source) => Effect.gen(function* () {
+    const plan = source.handoff?.plan;
+    const nodes = plan === undefined
+        ? []
+        : 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 === undefined ? {} : { 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 === undefined ? {} : { executionDigest: source.executionDigest }),
+        ...(plan === undefined ? {} : { 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 === undefined ? {} : { graph: source.handoff.graph }),
+        approval: {
+            target,
+            scope: "run",
+            idempotencyKey: source.idempotencyKey ?? `approve:${source.planId}`
+        }
+    };
+});
+//# sourceMappingURL=planning.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"planning.js","sourceRoot":"","sources":["../../../src/internal/planning.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AAChD,OAAO,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAA;AACvC,OAAO,KAAK,YAAY,MAAM,uBAAuB,CAAA;AAErD,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAEvC,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAA;AAc9C;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,GAAe,EACf,IAAmE,EACnE,aAAiC,EACV,EAAE;IACzB,MAAM,SAAS,GAAG,GAAG,CAAC,eAAe,KAAK,SAAS,IAAI,IAAI,EAAE,eAAe,KAAK,GAAG,CAAC,eAAe,CAAA;IACpG,MAAM,WAAW,GAAG,GAAG,CAAC,aAAa,KAAK,SAAS,IAAI,aAAa,KAAK,SAAS;QAChF,aAAa,KAAK,GAAG,CAAC,aAAa,CAAA;IACrC,IAAI,CAAC,SAAS,IAAI,CAAC,WAAW;QAAE,OAAO,SAAS,CAAA;IAChD,OAAO,IAAI,SAAS,CAAC;QACnB,KAAK,EAAE,GAAG,CAAC,KAAK;QAChB,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvD,GAAG,CAAC,SAAS,IAAI,IAAI,EAAE,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9F,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,GAAG,CAAC,aAAa,EAAE,aAAa,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC5F,CAAC,CAAA;AACJ,CAAC,CAAA;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,GAAe,EACf,IAAmE,EACnE,aAAiC,EACsB,EAAE,CAAC,CAAC;IAC3D,eAAe,EAAE,IAAI,EAAE,eAAe;IACtC,aAAa,EAAE,aAAa,IAAI,GAAG,CAAC,aAAa;CAClD,CAAC,CAAA;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,aAAa,GAAa;IACrC,YAAY,EAAE,EAAE;IAChB,KAAK,EAAE,EAAE;IACT,MAAM,EAAE,EAAE;CACX,CAAA;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,KAAc,EAAU,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,CAAA;AAExE;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,SAAiB,EACjB,GAAmB,EACnB,SAAyC,EACjC,EAAE,CACV,GAAG,SAAS,UAAU,YAAY,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,SAAS,CAAC,EAAE,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,GAAG,EAAE,CAAA;AAE/G;;;;;GAKG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAc,EAAE,EAAE,CAAC,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;AAEjH;;;;;GAKG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,IAAc,EAAE,KAAe,EAAW,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC,KAAK,CAAC,CAAA;AAE9G;;;;;GAKG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,QAAkB,EAAE,MAAsC,EAAY,EAAE,CAC/F,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,QAAQ,EAAE,MAAM,EAAE,EAAE,GAAG,QAAQ,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,EAAE,CAAA;AAE9F;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,KAAgB,EAAU,EAAE,CAC1D,SAAS,CAAC;IACR,MAAM,EAAE,KAAK,CAAC,MAAM;IACpB,KAAK,EAAE,KAAK,CAAC,KAAK;IAClB,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;CAChE,CAAC,CAAA;AAEJ;;;;;GAKG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,SAAiB,EAAE,KAAa,EAAW,EAAE;IACpE,iLAAiL;IACjL,OAAO,KAAK,KAAK,SAAS;QACxB,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE;QACjC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,KAAK,EAAE,CAAA;AAC5C,CAAC,CAAA;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,GAAmB,EAAE,OAAgB,EAAW,EAAE;IAC/E,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,KAAK,UAAU,IAAI,OAAO,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAA;IAC5G,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,KAAK,UAAU,IAAI,OAAO,CAAC,IAAI,KAAK,gBAAgB,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU;QAC3G,CAAC,CAAC,OAAO,CAAC,KAAK;QACf,CAAC,CAAC,SAAS,CAAA;IACb,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,KAAK,UAAU,IAAI,OAAO,CAAC,IAAI,KAAK,gBAAgB;QAC5E,CAAC,CAAC;YACA,GAAG,CAAC,OAAO,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,OAAO,CAAC,aAAa,EAAE,CAAC;YACxF,GAAG,CAAC,OAAO,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC;SAC7E;QACD,CAAC,CAAC,EAAE,CAAA;IACN,OAAO,KAAK,KAAK,SAAS;QACxB,CAAC,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,SAAS,EAAE,GAAG,KAAK,EAAE;QACjD,CAAC,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,KAAK,EAAE,CAAA;AAC5D,CAAC,CAAA;AAwBD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,MAAkB,EAAE,EAAE,CAC7C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,EAAE,IAAI,CAAA;IACjC,MAAM,KAAK,GAA4B,IAAI,KAAK,SAAS;QACvD,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAC1B,GAAG,IAAI;YACP,MAAM,EAAE,MAAM,CAAC,OAAO,EAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK;SACrD,CAAC,CAAC,CAAA;IACL,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC;QAC/B,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,KAAK,EAAE,MAAM,CAAC,YAAY;QAC1B,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,GAAG,CAAC,MAAM,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,MAAM,CAAC,eAAe,EAAE,CAAC;QAC5F,oEAAoE;QACpE,uEAAuE;QACvE,6DAA6D;QAC7D,aAAa,EAAE,IAAI,EAAE,MAAM,IAAI,IAAI;KACpC,CAAC,CAAA;IACF,MAAM,MAAM,GAAmB;QAC7B,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,MAAM,EAAE,UAAU;QAClB,QAAQ,EAAE,MAAM,CAAC,QAAQ;KAC1B,CAAA;IACD,OAAO;QACL,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,MAAM,EAAE,UAAU;QAClB,YAAY,EAAE,SAAS,CAAC,MAAM,CAAC,YAAY,CAAC;QAC5C,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,GAAG,CAAC,MAAM,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,MAAM,CAAC,eAAe,EAAE,CAAC;QAC5F,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;QACvC,KAAK;QACL,sEAAsE;QACtE,gEAAgE;QAChE,8DAA8D;QAC9D,GAAG,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;QAC/E,QAAQ,EAAE;YACR,MAAM;YACN,KAAK,EAAE,KAAc;YACrB,cAAc,EAAE,MAAM,CAAC,cAAc,IAAI,WAAW,MAAM,CAAC,MAAM,EAAE;SACpE;KACiB,CAAA;AACtB,CAAC,CAAC,CAAA","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"]}

package/dist/esm/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/esm/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/esm/internal/sqlSchemaErrors.js

@@ -0,0 +1,38 @@
+/**
+ * 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 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)
+    ];
+};
+/**
+ * Only the relation named by a driver's missing-table diagnostic may be absent.
+ * @since 1.0.0
+ * @private
+ */
+export const missingTable = (table) => (cause) => causeMessages(cause).some((message) => {
+    const relation = /^no such table: (\S+)$/.exec(message)?.[1]
+        ?? /^relation "([^"]+)" does not exist$/.exec(message)?.[1];
+    // These queries name unqualified relations. A qualified name can refer
+    // to a different schema's dependency, so do not discard its qualifier.
+    if (relation !== undefined)
+        return relation === table;
+    // MySQL always names the database in its table diagnostic.
+    return /^Table '[^.']+\.([^']+)' doesn't exist$/.exec(message)?.[1] === table;
+});
+//# sourceMappingURL=sqlSchemaErrors.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"sqlSchemaErrors.js","sourceRoot":"","sources":["../../../src/internal/sqlSchemaErrors.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;GAKG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,KAAc,EAAE,KAAK,GAAG,CAAC,EAAyB,EAAE;IAChF,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,CAAC,KAAK,CAAC,CAAA;IAC7C,IAAI,KAAK,KAAK,CAAC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,EAAE,CAAA;IACzE,MAAM,MAAM,GAAG,KAA4F,CAAA;IAC3G,OAAO;QACL,GAAG,CAAC,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/D,GAAG,aAAa,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,CAAC;QAC1C,GAAG,aAAa,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,CAAC;KAC1C,CAAA;AACH,CAAC,CAAA;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,KAAa,EAAE,EAAE,CAAC,CAAC,KAAc,EAAW,EAAE,CACzE,aAAa,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE;IACpC,MAAM,QAAQ,GAAG,wBAAwB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;WACvD,qCAAqC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IAC7D,uEAAuE;IACvE,uEAAuE;IACvE,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,QAAQ,KAAK,KAAK,CAAA;IACrD,2DAA2D;IAC3D,OAAO,yCAAyC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,CAAA;AAC/E,CAAC,CAAC,CAAA","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"]}

package/dist/esm/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