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

package/dist/esm/JevSessionChecker.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"JevSessionChecker.js","sourceRoot":"","sources":["../../src/JevSessionChecker.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,KAAK,MAAM,oBAAoB,CAAA;AAE3C,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAGvC;;;GAGG;AACH,MAAM,OAAO,aAAc,SAAQ,MAAM,CAAC,WAAW,EAAiB,CAAC,eAAe,EAAE;IACtF,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,cAAc,EAAE,MAAM,EAAE,SAAS,EAAE,aAAa,EAAE,WAAW,CAAC,CAAC;IACxF,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;CACvC,CAAC;CAAG;AACL,KAAK,CAAC,QAAQ,CACZ,eAAe,EACf;IACE,YAAY,EAAE,QAAQ;IACtB,IAAI,EAAE,YAAY;IAClB,OAAO,EAAE,YAAY;IACrB,WAAW,EAAE,YAAY;IACzB,SAAS,EAAE,YAAY;CACsB,EAC/C,QAAQ,CACT,CAAA;AACD;;;GAGG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,GAAG,IAAI,CAAA;AAC9C;;;GAGG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,MAAM,CAAA;AACzC;;;GAGG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,MAAM,CAAA;AACvC;;;GAGG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,GAAG,CAAA;AASrC,MAAM,eAAe,GAAgB,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,CAAA;AAC1E,MAAM,gBAAgB,GAAG;IACvB,SAAS,EAAE,gEAAgE;IAC3E,MAAM,EAAE,6CAA6C;IACrD,aAAa,EAAE,2FAA2F;CAClG,CAAA;AAEV,MAAM,SAAS,GAAG;IAChB,QAAQ,EAAE;QACR,IAAI,EAAE,QAAQ;QACd,YAAY,EAAE,kFAAkF;QAChG,QAAQ,EAAE,gBAAgB;KAC3B;IACD,QAAQ,EAAE;QACR,IAAI,EAAE,SAAS;QACf,YAAY,EAAE,oEAAoE;KACnF;CACO,CAAA;AAEV;;;GAGG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,UAAoC,EAAE,EAAiB,EAAE,CAAC,CAAC;IAC/F,EAAE,EAAE,aAAa;IACjB,QAAQ,EAAE,EAAE,SAAS,EAAE,iBAAiB,EAAE,KAAK,EAAE,MAAM,EAAE;IACzD,KAAK,EAAE,CAAC,OAAO,EAAE,EAAE,CACjB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAA;QAC/B,MAAM,IAAI,GAAG,OAAO,EAAE,UAAU,CAAA;QAChC,IAAI,OAAO,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,KAAK,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,EAAE;YAAE,OAAO,eAAe,CAAA;QACxG,IAAI,OAAO,CAAC,SAAS,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,aAAa,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC,CAAA;QAC7G,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC;YAC/C,KAAK,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,sBAAsB,CAAC,EAAE;YAC5G,SAAS;SACV,CAAC,CAAC,IAAI,CACL,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CACxB,IAAI,aAAa,CAAC;YAChB,MAAM,EAAE,KAAK,CAAC,IAAI,KAAK,SAAS;gBAC9B,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;oBAC1B,CAAC,CAAC,MAAM;oBACR,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,aAAa;wBAC9B,CAAC,CAAC,aAAa;wBACf,CAAC,CAAC,WAAW;YACf,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;SAChE,CAAC,CACH,EACD,MAAM,CAAC,aAAa,CAAC;YACnB,QAAQ,EAAE,OAAO,CAAC,SAAS,IAAI,mBAAmB;YAClD,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,aAAa,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;SACpE,CAAC,CACH,CAAA;QACD,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAA;QACtC,IAAI,MAAM,EAAE,IAAI,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,gBAAgB,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;YACjF,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,aAAa,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC,CAAA;QACvE,CAAC;QACD,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,EAAE,QAAQ,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;QAC5F,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,UAAU,GAAG,kBAAkB,IAAI,UAAU,GAAG,CAAC;YAAE,OAAO,eAAe,CAAA;QAC7G,MAAM,MAAM,GAAG,MAAM,CAAC,MAAuC,CAAA;QAC7D,OAAO,MAAM,KAAK,aAAa;YAC7B,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,iBAAiB,EAAE;YACjD,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAA;IACxC,CAAC,CAAC;CACL,CAAC,CAAA;AACF;;;GAGG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAkB,qBAAqB,EAAE,CAAA","sourcesContent":["/**\n * Session activity judged by the host's existing evaluator.\n * @since 1.0.0\n */\n\nimport * as Fault from \"@smthrs/flow/Fault\"\nimport type * as Evaluator from \"@smthrs/model/Evaluator\"\nimport { Effect, Schema } from \"effect\"\nimport type { HealthChecker, ProbeReport } from \"./Health.ts\"\n\n/** The configured judge could not produce a usable observation.\n * @category errors\n * @since 1.0.0\n */\nexport class JevProbeError extends Schema.TaggedError<JevProbeError>()(\"JevProbeError\", {\n  reason: Schema.Literals([\"unconfigured\", \"http\", \"timeout\", \"unreachable\", \"malformed\"]),\n  status: Schema.optional(Schema.Number)\n}) {}\nFault.register(\n  \"JevProbeError\",\n  {\n    unconfigured: \"policy\",\n    http: \"dependency\",\n    timeout: \"dependency\",\n    unreachable: \"dependency\",\n    malformed: \"dependency\"\n  } satisfies Fault.Rows<JevProbeError[\"reason\"]>,\n  \"reason\"\n)\n/** Maximum terminal evidence retained for one judgment.\n * @category constants\n * @since 1.0.0\n */\nexport const jevStateTailCharacters = 4 * 1024\n/** Subscription judgments have a bounded deadline.\n * @category constants\n * @since 1.0.0\n */\nexport const jevRequestTimeoutMs = 45_000\n/** Probe budget, longer than the request deadline.\n * @category constants\n * @since 1.0.0\n */\nexport const jevProbeTimeoutMs = 50_000\n/** Minimum confidence for an activity report.\n * @category constants\n * @since 1.0.0\n */\nexport const jevConfidenceFloor = 0.7\n/** The host evaluator and its bounded request deadline.\n * @category models\n * @since 1.0.0\n */\nexport interface JevSessionCheckerOptions {\n  readonly evaluator?: Evaluator.Evaluator | undefined\n  readonly timeoutMs?: number | undefined\n}\nconst lifecycleReport: ProbeReport = { activity: \"unknown\", reason: \"ok\" }\nconst activityCriteria = {\n  \"working\": \"the agent is executing tools, editing files, or producing work\",\n  \"idle\": \"the agent finished and is producing nothing\",\n  \"needs-input\": \"the agent asked the person a question, requested approval or a credential, and is waiting\"\n} as const\n\nconst questions = {\n  activity: {\n    type: \"choice\",\n    instructions: \"Read the tail of this agent session's output. What is the agent doing right now?\",\n    criteria: activityCriteria\n  },\n  question: {\n    type: \"boolean\",\n    instructions: \"Does the output end with the agent waiting for a person to answer?\"\n  }\n} as const\n\n/** Uses the same judge as flow completion, with no independent auth path.\n * @category constructors\n * @since 1.0.0\n */\nexport const makeJevSessionChecker = (options: JevSessionCheckerOptions = {}): HealthChecker => ({\n  id: \"jev.session\",\n  defaults: { timeoutMs: jevProbeTimeoutMs, ttlMs: 60_000 },\n  probe: (context) =>\n    Effect.gen(function*() {\n      const session = context.session\n      const tail = session?.outputTail\n      if (session === undefined || !session.alive || tail === undefined || tail === \"\") return lifecycleReport\n      if (options.evaluator === undefined) return yield* Effect.fail(new JevProbeError({ reason: \"unconfigured\" }))\n      const result = yield* options.evaluator.evaluate({\n        state: { alive: session.alive, exitCode: session.exitCode, outputTail: tail.slice(-jevStateTailCharacters) },\n        questions\n      }).pipe(\n        Effect.mapError((error) =>\n          new JevProbeError({\n            reason: error.code === \"timeout\"\n              ? \"timeout\"\n              : error.code === \"refused\"\n              ? \"http\"\n              : error.code === \"unreachable\"\n              ? \"unreachable\"\n              : \"malformed\",\n            ...(error.status === undefined ? {} : { status: error.status })\n          })\n        ),\n        Effect.timeoutOrElse({\n          duration: options.timeoutMs ?? jevRequestTimeoutMs,\n          orElse: () => Effect.fail(new JevProbeError({ reason: \"timeout\" }))\n        })\n      )\n      const answer = result.answers.activity\n      if (answer?.type !== \"choice\" || !Object.hasOwn(activityCriteria, answer.choice)) {\n        return yield* Effect.fail(new JevProbeError({ reason: \"malformed\" }))\n      }\n      const confidence = result.confidence?.activity ?? answer.probabilities?.[answer.choice] ?? 0\n      if (!Number.isFinite(confidence) || confidence < jevConfidenceFloor || confidence > 1) return lifecycleReport\n      const choice = answer.choice as keyof typeof activityCriteria\n      return choice === \"needs-input\"\n        ? { activity: choice, reason: \"prompt-detected\" }\n        : { activity: choice, reason: \"ok\" }\n    })\n})\n/** Registered but unconfigured until a host supplies its evaluator.\n * @category constants\n * @since 1.0.0\n */\nexport const jevSessionChecker: HealthChecker = makeJevSessionChecker()\n"]}

package/dist/esm/Lineage.d.ts

@@ -0,0 +1,131 @@
+/**
+ * Run ancestry as the control plane reads it.
+ *
+ * A run's ancestry is recorded by whoever created the run, in four different
+ * places: the run row's `parent_run_id`, `lineage_id`, and `round_ordinal`
+ * columns; the `flows_run_parents` edge a spawn writes; the `created` and
+ * `handed-off` run decisions the engine journals; and the `fork-created`
+ * marker time travel writes on a forked child. This module owns the one
+ * vocabulary they all project onto — {@link Origin} — and the pure functions
+ * that do the projecting, so the durable runtime and the watch stream cannot
+ * disagree about what a run's ancestry means.
+ *
+ * The two event types named here are produced by `@smthrs/engine-store` and
+ * `@smthrs/time-travel`. They are named as strings rather than imported
+ * because the control plane reads journals, not engines: a control plane that
+ * depended on the engine could not project a journal written by a different
+ * one.
+ *
+ * @since 0.1.0
+ */
+import { Schema } from "effect";
+import type { ControlEvent } from "./ControlSchema.ts";
+/**
+ * How a run came to exist.
+ *
+ * The three values are the lineage-edge kinds of
+ * `docs/pages/concepts/time-travel.md`: a `child` is a run its parent spawned, a
+ * `fork` is a run branched off a parent frame, and a `continuation` is a later
+ * round of one trampoline lineage. A rewind is deliberately absent — it
+ * truncates a run in place and creates none — and a run with no ancestor has
+ * no origin at all.
+ *
+ * @category models
+ * @since 0.1.0
+ */
+export declare const Origin: Schema.Literals<readonly ["child", "fork", "continuation"]>;
+/**
+ * How a run came to exist.
+ *
+ * @category models
+ * @since 0.1.0
+ */
+export type Origin = typeof Origin.Type;
+/**
+ * The ancestry facts an origin is decided from.
+ *
+ * @category models
+ * @since 0.1.0
+ */
+export interface Ancestry {
+    readonly parentRunId?: string | undefined;
+    readonly roundOrdinal?: number | undefined;
+    /** Whether a `fork-created` marker names this run. */
+    readonly forked?: boolean | undefined;
+}
+/**
+ * The journal event type carrying an engine run decision.
+ *
+ * @category constants
+ * @since 0.1.0
+ */
+export declare const runDecisionEventType = "flows.engine.run-decision";
+/**
+ * The journal event type time travel writes on a forked child.
+ *
+ * @category constants
+ * @since 0.1.0
+ */
+export declare const forkCreatedEventType = "flows.time-travel.fork-created";
+/**
+ * The kind `watch` reports a derived ancestry delta under.
+ *
+ * @category constants
+ * @since 0.1.0
+ */
+export declare const lineageEventType = "control.run.lineage";
+/**
+ * Decides how a run came to exist from its ancestry facts.
+ *
+ * A fork wins over a plain child because a fork records `parent_run_id` too:
+ * without the marker every fork would be reported as an ordinary child.
+ *
+ * @param ancestry the run's recorded ancestry
+ * @category projections
+ * @since 0.1.0
+ */
+export declare const originOf: (ancestry: Ancestry) => Origin | undefined;
+/**
+ * Derives the ancestry edge one journal entry discloses, if it discloses one.
+ *
+ * Three entries do, and each names a different pair:
+ *
+ * | Entry | Ancestor | Descendant |
+ * | --- | --- | --- |
+ * | `created` naming `parentExecutionId`, at round 0 or with no round | the spawning run | the entry's run |
+ * | `handed-off` naming `nextExecutionId` | the entry's run | the next round |
+ * | `fork-created` | the forked-from run | the entry's run |
+ *
+ * The handoff is what carries a trampoline, and a continuation round's own
+ * `created` decision is deliberately skipped. The engine journals BOTH in one
+ * transaction: `RunDriver` creates the next round with
+ * `{decision: "created", lineageId, roundOrdinal, parentExecutionId}` and then
+ * records `{decision: "handed-off", nextExecutionId}` on the round that
+ * finished. Both name the same pair, so deriving from both would report one
+ * run as a `child` of its predecessor on one entry and a `continuation` of it
+ * on the other. The handoff is the one kept, because it reaches a consumer
+ * watching the run that hands off — which is the run an operator is already
+ * following when a trampoline advances.
+ *
+ * A `created` decision at round 0, or with no round at all, is an ordinary
+ * spawn and derives a `child` edge.
+ *
+ * Everything else derives nothing. This is a projection over entries the
+ * control plane did not write, so an entry it does not recognize is not an
+ * error.
+ *
+ * @param event the projected journal entry
+ * @category projections
+ * @since 0.1.0
+ */
+export declare const derive: (event: ControlEvent) => ControlEvent | undefined;
+/**
+ * Expands one projected entry into itself plus any ancestry delta it
+ * discloses.
+ *
+ * @param event the projected journal entry
+ * @category projections
+ * @since 0.1.0
+ */
+export declare const expand: (event: ControlEvent) => ReadonlyArray<ControlEvent>;
+//# sourceMappingURL=Lineage.d.ts.map

package/dist/esm/Lineage.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Lineage.d.ts","sourceRoot":"","sources":["../../src/Lineage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/B,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AAEtD;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,MAAM,6DAAqD,CAAA;AAExE;;;;;GAKG;AACH,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC,IAAI,CAAA;AAEvC;;;;;GAKG;AACH,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IACzC,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAC1C,sDAAsD;IACtD,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;CACtC;AAED;;;;;GAKG;AACH,eAAO,MAAM,oBAAoB,8BAA8B,CAAA;AAE/D;;;;;GAKG;AACH,eAAO,MAAM,oBAAoB,mCAAmC,CAAA;AAEpE;;;;;GAKG;AACH,eAAO,MAAM,gBAAgB,wBAAwB,CAAA;AAErD;;;;;;;;;GASG;AACH,eAAO,MAAM,QAAQ,GAAI,UAAU,QAAQ,KAAG,MAAM,GAAG,SAItD,CAAA;AAYD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,eAAO,MAAM,MAAM,GAAI,OAAO,YAAY,KAAG,YAAY,GAAG,SA8C3D,CAAA;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,MAAM,GAAI,OAAO,YAAY,KAAG,aAAa,CAAC,YAAY,CAGtE,CAAA"}

package/dist/esm/Lineage.js

@@ -0,0 +1,174 @@
+/**
+ * Run ancestry as the control plane reads it.
+ *
+ * A run's ancestry is recorded by whoever created the run, in four different
+ * places: the run row's `parent_run_id`, `lineage_id`, and `round_ordinal`
+ * columns; the `flows_run_parents` edge a spawn writes; the `created` and
+ * `handed-off` run decisions the engine journals; and the `fork-created`
+ * marker time travel writes on a forked child. This module owns the one
+ * vocabulary they all project onto — {@link Origin} — and the pure functions
+ * that do the projecting, so the durable runtime and the watch stream cannot
+ * disagree about what a run's ancestry means.
+ *
+ * The two event types named here are produced by `@smthrs/engine-store` and
+ * `@smthrs/time-travel`. They are named as strings rather than imported
+ * because the control plane reads journals, not engines: a control plane that
+ * depended on the engine could not project a journal written by a different
+ * one.
+ *
+ * @since 0.1.0
+ */
+import { Schema } from "effect";
+/**
+ * How a run came to exist.
+ *
+ * The three values are the lineage-edge kinds of
+ * `docs/pages/concepts/time-travel.md`: a `child` is a run its parent spawned, a
+ * `fork` is a run branched off a parent frame, and a `continuation` is a later
+ * round of one trampoline lineage. A rewind is deliberately absent — it
+ * truncates a run in place and creates none — and a run with no ancestor has
+ * no origin at all.
+ *
+ * @category models
+ * @since 0.1.0
+ */
+export const Origin = Schema.Literals(["child", "fork", "continuation"]);
+/**
+ * The journal event type carrying an engine run decision.
+ *
+ * @category constants
+ * @since 0.1.0
+ */
+export const runDecisionEventType = "flows.engine.run-decision";
+/**
+ * The journal event type time travel writes on a forked child.
+ *
+ * @category constants
+ * @since 0.1.0
+ */
+export const forkCreatedEventType = "flows.time-travel.fork-created";
+/**
+ * The kind `watch` reports a derived ancestry delta under.
+ *
+ * @category constants
+ * @since 0.1.0
+ */
+export const lineageEventType = "control.run.lineage";
+/**
+ * Decides how a run came to exist from its ancestry facts.
+ *
+ * A fork wins over a plain child because a fork records `parent_run_id` too:
+ * without the marker every fork would be reported as an ordinary child.
+ *
+ * @param ancestry the run's recorded ancestry
+ * @category projections
+ * @since 0.1.0
+ */
+export const originOf = (ancestry) => {
+    if (ancestry.forked === true)
+        return "fork";
+    if (ancestry.roundOrdinal !== undefined && ancestry.roundOrdinal > 0)
+        return "continuation";
+    return ancestry.parentRunId === undefined ? undefined : "child";
+};
+const record = (value) => typeof value === "object" && value !== null && !Array.isArray(value)
+    ? value
+    : undefined;
+const text = (value) => typeof value === "string" && value.length > 0 ? value : undefined;
+const ordinal = (value) => typeof value === "number" && Number.isSafeInteger(value) && value >= 0 ? value : undefined;
+/**
+ * Derives the ancestry edge one journal entry discloses, if it discloses one.
+ *
+ * Three entries do, and each names a different pair:
+ *
+ * | Entry | Ancestor | Descendant |
+ * | --- | --- | --- |
+ * | `created` naming `parentExecutionId`, at round 0 or with no round | the spawning run | the entry's run |
+ * | `handed-off` naming `nextExecutionId` | the entry's run | the next round |
+ * | `fork-created` | the forked-from run | the entry's run |
+ *
+ * The handoff is what carries a trampoline, and a continuation round's own
+ * `created` decision is deliberately skipped. The engine journals BOTH in one
+ * transaction: `RunDriver` creates the next round with
+ * `{decision: "created", lineageId, roundOrdinal, parentExecutionId}` and then
+ * records `{decision: "handed-off", nextExecutionId}` on the round that
+ * finished. Both name the same pair, so deriving from both would report one
+ * run as a `child` of its predecessor on one entry and a `continuation` of it
+ * on the other. The handoff is the one kept, because it reaches a consumer
+ * watching the run that hands off — which is the run an operator is already
+ * following when a trampoline advances.
+ *
+ * A `created` decision at round 0, or with no round at all, is an ordinary
+ * spawn and derives a `child` edge.
+ *
+ * Everything else derives nothing. This is a projection over entries the
+ * control plane did not write, so an entry it does not recognize is not an
+ * error.
+ *
+ * @param event the projected journal entry
+ * @category projections
+ * @since 0.1.0
+ */
+export const derive = (event) => {
+    if (event.runId === undefined)
+        return undefined;
+    const payload = record(event.payload);
+    if (payload === undefined)
+        return undefined;
+    const edge = event.kind === forkCreatedEventType
+        ? { runId: event.runId, parentRunId: text(payload["parentRunId"]), forked: true }
+        : event.kind !== runDecisionEventType
+            ? undefined
+            : payload["decision"] === "created"
+                // A continuation round's `created` names its predecessor too. The handoff
+                // the previous round journals in the SAME transaction already discloses
+                // that edge, so deriving here as well would contradict it.
+                ? (ordinal(payload["roundOrdinal"]) ?? 0) > 0
+                    ? undefined
+                    : { runId: event.runId, parentRunId: text(payload["parentExecutionId"]), forked: false }
+                : payload["decision"] === "handed-off"
+                    ? {
+                        runId: text(payload["nextExecutionId"]),
+                        parentRunId: event.runId,
+                        forked: false,
+                        lineageId: text(payload["lineageId"]),
+                        roundOrdinal: ordinal(payload["roundOrdinal"])
+                    }
+                    : undefined;
+    if (edge === undefined || edge.runId === undefined || edge.parentRunId === undefined)
+        return undefined;
+    const lineageId = "lineageId" in edge ? edge.lineageId : undefined;
+    const roundOrdinal = "roundOrdinal" in edge ? edge.roundOrdinal : undefined;
+    const origin = originOf({
+        parentRunId: edge.parentRunId,
+        ...(roundOrdinal === undefined ? {} : { roundOrdinal }),
+        forked: edge.forked
+    });
+    return {
+        sequence: event.sequence,
+        kind: lineageEventType,
+        runId: event.runId,
+        occurredAt: event.occurredAt,
+        payload: {
+            runId: edge.runId,
+            parentRunId: edge.parentRunId,
+            ...(lineageId === undefined ? {} : { lineageId }),
+            ...(roundOrdinal === undefined ? {} : { roundOrdinal }),
+            /* v8 ignore next -- `originOf` answers nothing only without a parent, and the guard above already refused an edge with no parent */
+            ...(origin === undefined ? {} : { origin })
+        }
+    };
+};
+/**
+ * Expands one projected entry into itself plus any ancestry delta it
+ * discloses.
+ *
+ * @param event the projected journal entry
+ * @category projections
+ * @since 0.1.0
+ */
+export const expand = (event) => {
+    const derived = derive(event);
+    return derived === undefined ? [event] : [event, derived];
+};
+//# sourceMappingURL=Lineage.js.map

package/dist/esm/Lineage.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Lineage.js","sourceRoot":"","sources":["../../src/Lineage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAG/B;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,cAAc,CAAC,CAAC,CAAA;AAuBxE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,2BAA2B,CAAA;AAE/D;;;;;GAKG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,gCAAgC,CAAA;AAEpE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,qBAAqB,CAAA;AAErD;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,QAAkB,EAAsB,EAAE;IACjE,IAAI,QAAQ,CAAC,MAAM,KAAK,IAAI;QAAE,OAAO,MAAM,CAAA;IAC3C,IAAI,QAAQ,CAAC,YAAY,KAAK,SAAS,IAAI,QAAQ,CAAC,YAAY,GAAG,CAAC;QAAE,OAAO,cAAc,CAAA;IAC3F,OAAO,QAAQ,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAA;AACjE,CAAC,CAAA;AAED,MAAM,MAAM,GAAG,CAAC,KAAc,EAAiD,EAAE,CAC/E,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;IAClE,CAAC,CAAC,KAA0C;IAC5C,CAAC,CAAC,SAAS,CAAA;AAEf,MAAM,IAAI,GAAG,CAAC,KAAc,EAAsB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAA;AAEtH,MAAM,OAAO,GAAG,CAAC,KAAc,EAAsB,EAAE,CACrD,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAA;AAE5F;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAmB,EAA4B,EAAE;IACtE,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAA;IAC/C,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;IACrC,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,SAAS,CAAA;IAC3C,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,KAAK,oBAAoB;QAC9C,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,WAAW,EAAE,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE;QACjF,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,oBAAoB;YACrC,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,SAAS;gBACnC,0EAA0E;gBAC1E,wEAAwE;gBACxE,2DAA2D;gBAC3D,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC;oBAC3C,CAAC,CAAC,SAAS;oBACX,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,WAAW,EAAE,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE;gBAC1F,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,YAAY;oBACtC,CAAC,CAAC;wBACA,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;wBACvC,WAAW,EAAE,KAAK,CAAC,KAAK;wBACxB,MAAM,EAAE,KAAK;wBACb,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;wBACrC,YAAY,EAAE,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;qBAC/C;oBACD,CAAC,CAAC,SAAS,CAAA;IACb,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,WAAW,KAAK,SAAS;QAAE,OAAO,SAAS,CAAA;IACtG,MAAM,SAAS,GAAG,WAAW,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAA;IAClE,MAAM,YAAY,GAAG,cAAc,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,CAAA;IAC3E,MAAM,MAAM,GAAG,QAAQ,CAAC;QACtB,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,GAAG,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC;QACvD,MAAM,EAAE,IAAI,CAAC,MAAM;KACpB,CAAC,CAAA;IACF,OAAO;QACL,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,IAAI,EAAE,gBAAgB;QACtB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,OAAO,EAAE;YACP,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC;YACjD,GAAG,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC;YACvD,oIAAoI;YACpI,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC;SAC5C;KACF,CAAA;AACH,CAAC,CAAA;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAmB,EAA+B,EAAE;IACzE,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,CAAA;IAC7B,OAAO,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;AAC3D,CAAC,CAAA","sourcesContent":["/**\n * Run ancestry as the control plane reads it.\n *\n * A run's ancestry is recorded by whoever created the run, in four different\n * places: the run row's `parent_run_id`, `lineage_id`, and `round_ordinal`\n * columns; the `flows_run_parents` edge a spawn writes; the `created` and\n * `handed-off` run decisions the engine journals; and the `fork-created`\n * marker time travel writes on a forked child. This module owns the one\n * vocabulary they all project onto — {@link Origin} — and the pure functions\n * that do the projecting, so the durable runtime and the watch stream cannot\n * disagree about what a run's ancestry means.\n *\n * The two event types named here are produced by `@smthrs/engine-store` and\n * `@smthrs/time-travel`. They are named as strings rather than imported\n * because the control plane reads journals, not engines: a control plane that\n * depended on the engine could not project a journal written by a different\n * one.\n *\n * @since 0.1.0\n */\n\nimport { Schema } from \"effect\"\nimport type { ControlEvent } from \"./ControlSchema.ts\"\n\n/**\n * How a run came to exist.\n *\n * The three values are the lineage-edge kinds of\n * `docs/pages/concepts/time-travel.md`: a `child` is a run its parent spawned, a\n * `fork` is a run branched off a parent frame, and a `continuation` is a later\n * round of one trampoline lineage. A rewind is deliberately absent — it\n * truncates a run in place and creates none — and a run with no ancestor has\n * no origin at all.\n *\n * @category models\n * @since 0.1.0\n */\nexport const Origin = Schema.Literals([\"child\", \"fork\", \"continuation\"])\n\n/**\n * How a run came to exist.\n *\n * @category models\n * @since 0.1.0\n */\nexport type Origin = typeof Origin.Type\n\n/**\n * The ancestry facts an origin is decided from.\n *\n * @category models\n * @since 0.1.0\n */\nexport interface Ancestry {\n  readonly parentRunId?: string | undefined\n  readonly roundOrdinal?: number | undefined\n  /** Whether a `fork-created` marker names this run. */\n  readonly forked?: boolean | undefined\n}\n\n/**\n * The journal event type carrying an engine run decision.\n *\n * @category constants\n * @since 0.1.0\n */\nexport const runDecisionEventType = \"flows.engine.run-decision\"\n\n/**\n * The journal event type time travel writes on a forked child.\n *\n * @category constants\n * @since 0.1.0\n */\nexport const forkCreatedEventType = \"flows.time-travel.fork-created\"\n\n/**\n * The kind `watch` reports a derived ancestry delta under.\n *\n * @category constants\n * @since 0.1.0\n */\nexport const lineageEventType = \"control.run.lineage\"\n\n/**\n * Decides how a run came to exist from its ancestry facts.\n *\n * A fork wins over a plain child because a fork records `parent_run_id` too:\n * without the marker every fork would be reported as an ordinary child.\n *\n * @param ancestry the run's recorded ancestry\n * @category projections\n * @since 0.1.0\n */\nexport const originOf = (ancestry: Ancestry): Origin | undefined => {\n  if (ancestry.forked === true) return \"fork\"\n  if (ancestry.roundOrdinal !== undefined && ancestry.roundOrdinal > 0) return \"continuation\"\n  return ancestry.parentRunId === undefined ? undefined : \"child\"\n}\n\nconst record = (value: unknown): Readonly<Record<string, unknown>> | undefined =>\n  typeof value === \"object\" && value !== null && !Array.isArray(value)\n    ? value as Readonly<Record<string, unknown>>\n    : undefined\n\nconst text = (value: unknown): string | undefined => typeof value === \"string\" && value.length > 0 ? value : undefined\n\nconst ordinal = (value: unknown): number | undefined =>\n  typeof value === \"number\" && Number.isSafeInteger(value) && value >= 0 ? value : undefined\n\n/**\n * Derives the ancestry edge one journal entry discloses, if it discloses one.\n *\n * Three entries do, and each names a different pair:\n *\n * | Entry | Ancestor | Descendant |\n * | --- | --- | --- |\n * | `created` naming `parentExecutionId`, at round 0 or with no round | the spawning run | the entry's run |\n * | `handed-off` naming `nextExecutionId` | the entry's run | the next round |\n * | `fork-created` | the forked-from run | the entry's run |\n *\n * The handoff is what carries a trampoline, and a continuation round's own\n * `created` decision is deliberately skipped. The engine journals BOTH in one\n * transaction: `RunDriver` creates the next round with\n * `{decision: \"created\", lineageId, roundOrdinal, parentExecutionId}` and then\n * records `{decision: \"handed-off\", nextExecutionId}` on the round that\n * finished. Both name the same pair, so deriving from both would report one\n * run as a `child` of its predecessor on one entry and a `continuation` of it\n * on the other. The handoff is the one kept, because it reaches a consumer\n * watching the run that hands off — which is the run an operator is already\n * following when a trampoline advances.\n *\n * A `created` decision at round 0, or with no round at all, is an ordinary\n * spawn and derives a `child` edge.\n *\n * Everything else derives nothing. This is a projection over entries the\n * control plane did not write, so an entry it does not recognize is not an\n * error.\n *\n * @param event the projected journal entry\n * @category projections\n * @since 0.1.0\n */\nexport const derive = (event: ControlEvent): ControlEvent | undefined => {\n  if (event.runId === undefined) return undefined\n  const payload = record(event.payload)\n  if (payload === undefined) return undefined\n  const edge = event.kind === forkCreatedEventType\n    ? { runId: event.runId, parentRunId: text(payload[\"parentRunId\"]), forked: true }\n    : event.kind !== runDecisionEventType\n    ? undefined\n    : payload[\"decision\"] === \"created\"\n    // A continuation round's `created` names its predecessor too. The handoff\n    // the previous round journals in the SAME transaction already discloses\n    // that edge, so deriving here as well would contradict it.\n    ? (ordinal(payload[\"roundOrdinal\"]) ?? 0) > 0\n      ? undefined\n      : { runId: event.runId, parentRunId: text(payload[\"parentExecutionId\"]), forked: false }\n    : payload[\"decision\"] === \"handed-off\"\n    ? {\n      runId: text(payload[\"nextExecutionId\"]),\n      parentRunId: event.runId,\n      forked: false,\n      lineageId: text(payload[\"lineageId\"]),\n      roundOrdinal: ordinal(payload[\"roundOrdinal\"])\n    }\n    : undefined\n  if (edge === undefined || edge.runId === undefined || edge.parentRunId === undefined) return undefined\n  const lineageId = \"lineageId\" in edge ? edge.lineageId : undefined\n  const roundOrdinal = \"roundOrdinal\" in edge ? edge.roundOrdinal : undefined\n  const origin = originOf({\n    parentRunId: edge.parentRunId,\n    ...(roundOrdinal === undefined ? {} : { roundOrdinal }),\n    forked: edge.forked\n  })\n  return {\n    sequence: event.sequence,\n    kind: lineageEventType,\n    runId: event.runId,\n    occurredAt: event.occurredAt,\n    payload: {\n      runId: edge.runId,\n      parentRunId: edge.parentRunId,\n      ...(lineageId === undefined ? {} : { lineageId }),\n      ...(roundOrdinal === undefined ? {} : { roundOrdinal }),\n      /* v8 ignore next -- `originOf` answers nothing only without a parent, and the guard above already refused an edge with no parent */\n      ...(origin === undefined ? {} : { origin })\n    }\n  }\n}\n\n/**\n * Expands one projected entry into itself plus any ancestry delta it\n * discloses.\n *\n * @param event the projected journal entry\n * @category projections\n * @since 0.1.0\n */\nexport const expand = (event: ControlEvent): ReadonlyArray<ControlEvent> => {\n  const derived = derive(event)\n  return derived === undefined ? [event] : [event, derived]\n}\n"]}

package/dist/esm/Migrations.d.ts

@@ -0,0 +1,34 @@
+/**
+ * Control-plane and credential schema migrations.
+ *
+ * This package reserves the migration block immediately after time travel.
+ * Hosts compose this set with the journal and run-store sets before opening a
+ * shared control database.
+ *
+ * @since 0.1.0
+ */
+import * as DatabaseMigrations from "@smthrs/database/Migrations";
+import * as Layer from "effect/Layer";
+/**
+ * The control package's namespaced migration set.
+ *
+ * @category migrations
+ * @since 0.1.0
+ */
+export declare const set: DatabaseMigrations.MigrationSet;
+/**
+ * Creates every durable control-plane and credential table.
+ *
+ * @category migrations
+ * @since 0.1.0
+ */
+export declare const run: import("effect/Effect").Effect<readonly (readonly [id: number, name: string])[], import("effect/unstable/sql/SqlError").SqlError | import("effect/unstable/sql/Migrator").MigrationError, import("effect/unstable/sql/SqlClient").SqlClient>;
+/**
+ * Layer that runs control migrations before exposing the database to control
+ * services.
+ *
+ * @category layers
+ * @since 0.1.0
+ */
+export declare const layer: Layer.Layer<never, import("effect/unstable/sql/SqlError").SqlError | import("effect/unstable/sql/Migrator").MigrationError, import("effect/unstable/sql/SqlClient").SqlClient>;
+//# sourceMappingURL=Migrations.d.ts.map

package/dist/esm/Migrations.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Migrations.d.ts","sourceRoot":"","sources":["../../src/Migrations.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,kBAAkB,MAAM,6BAA6B,CAAA;AACjE,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AASrC;;;;;GAKG;AACH,eAAO,MAAM,GAAG,EAAE,kBAAkB,CAAC,YAYpC,CAAA;AAED;;;;;GAKG;AACH,eAAO,MAAM,GAAG,8OAAgC,CAAA;AAEhD;;;;;;GAMG;AACH,eAAO,MAAM,KAAK,gLAA2B,CAAA"}

package/dist/esm/Migrations.js

@@ -0,0 +1,53 @@
+/**
+ * Control-plane and credential schema migrations.
+ *
+ * This package reserves the migration block immediately after time travel.
+ * Hosts compose this set with the journal and run-store sets before opening a
+ * shared control database.
+ *
+ * @since 0.1.0
+ */
+import * as DatabaseMigrations from "@smthrs/database/Migrations";
+import * as Layer from "effect/Layer";
+import { initial } from "./migrations/0001_control_tables.js";
+import { runKeys } from "./migrations/0002_run_keys.js";
+import { signalCommands } from "./migrations/0003_signal_commands.js";
+import { approvalDecisions } from "./migrations/0004_approval_decisions.js";
+import { signalPrincipals } from "./migrations/0005_signal_principals.js";
+import { runPrincipals } from "./migrations/0006_run_principals.js";
+import { resumeConsent } from "./migrations/0007_resume_consent.js";
+/**
+ * The control package's namespaced migration set.
+ *
+ * @category migrations
+ * @since 0.1.0
+ */
+export const set = {
+    namespace: "control",
+    idOffset: DatabaseMigrations.idBlock * 6,
+    migrations: {
+        "0001_control_tables": initial,
+        "0002_run_keys": runKeys,
+        "0003_signal_commands": signalCommands,
+        "0004_approval_decisions": approvalDecisions,
+        "0005_signal_principals": signalPrincipals,
+        "0006_run_principals": runPrincipals,
+        "0007_resume_consent": resumeConsent
+    }
+};
+/**
+ * Creates every durable control-plane and credential table.
+ *
+ * @category migrations
+ * @since 0.1.0
+ */
+export const run = DatabaseMigrations.run([set]);
+/**
+ * Layer that runs control migrations before exposing the database to control
+ * services.
+ *
+ * @category layers
+ * @since 0.1.0
+ */
+export const layer = Layer.effectDiscard(run);
+//# sourceMappingURL=Migrations.js.map

package/dist/esm/Migrations.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Migrations.js","sourceRoot":"","sources":["../../src/Migrations.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,kBAAkB,MAAM,6BAA6B,CAAA;AACjE,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AACrC,OAAO,EAAE,OAAO,EAAE,MAAM,qCAAqC,CAAA;AAC7D,OAAO,EAAE,OAAO,EAAE,MAAM,+BAA+B,CAAA;AACvD,OAAO,EAAE,cAAc,EAAE,MAAM,sCAAsC,CAAA;AACrE,OAAO,EAAE,iBAAiB,EAAE,MAAM,yCAAyC,CAAA;AAC3E,OAAO,EAAE,gBAAgB,EAAE,MAAM,wCAAwC,CAAA;AACzE,OAAO,EAAE,aAAa,EAAE,MAAM,qCAAqC,CAAA;AACnE,OAAO,EAAE,aAAa,EAAE,MAAM,qCAAqC,CAAA;AAEnE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,GAAG,GAAoC;IAClD,SAAS,EAAE,SAAS;IACpB,QAAQ,EAAE,kBAAkB,CAAC,OAAO,GAAG,CAAC;IACxC,UAAU,EAAE;QACV,qBAAqB,EAAE,OAAO;QAC9B,eAAe,EAAE,OAAO;QACxB,sBAAsB,EAAE,cAAc;QACtC,yBAAyB,EAAE,iBAAiB;QAC5C,wBAAwB,EAAE,gBAAgB;QAC1C,qBAAqB,EAAE,aAAa;QACpC,qBAAqB,EAAE,aAAa;KACrC;CACF,CAAA;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,GAAG,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;AAEhD;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,CAAA","sourcesContent":["/**\n * Control-plane and credential schema migrations.\n *\n * This package reserves the migration block immediately after time travel.\n * Hosts compose this set with the journal and run-store sets before opening a\n * shared control database.\n *\n * @since 0.1.0\n */\n\nimport * as DatabaseMigrations from \"@smthrs/database/Migrations\"\nimport * as Layer from \"effect/Layer\"\nimport { initial } from \"./migrations/0001_control_tables.ts\"\nimport { runKeys } from \"./migrations/0002_run_keys.ts\"\nimport { signalCommands } from \"./migrations/0003_signal_commands.ts\"\nimport { approvalDecisions } from \"./migrations/0004_approval_decisions.ts\"\nimport { signalPrincipals } from \"./migrations/0005_signal_principals.ts\"\nimport { runPrincipals } from \"./migrations/0006_run_principals.ts\"\nimport { resumeConsent } from \"./migrations/0007_resume_consent.ts\"\n\n/**\n * The control package's namespaced migration set.\n *\n * @category migrations\n * @since 0.1.0\n */\nexport const set: DatabaseMigrations.MigrationSet = {\n  namespace: \"control\",\n  idOffset: DatabaseMigrations.idBlock * 6,\n  migrations: {\n    \"0001_control_tables\": initial,\n    \"0002_run_keys\": runKeys,\n    \"0003_signal_commands\": signalCommands,\n    \"0004_approval_decisions\": approvalDecisions,\n    \"0005_signal_principals\": signalPrincipals,\n    \"0006_run_principals\": runPrincipals,\n    \"0007_resume_consent\": resumeConsent\n  }\n}\n\n/**\n * Creates every durable control-plane and credential table.\n *\n * @category migrations\n * @since 0.1.0\n */\nexport const run = DatabaseMigrations.run([set])\n\n/**\n * Layer that runs control migrations before exposing the database to control\n * services.\n *\n * @category layers\n * @since 0.1.0\n */\nexport const layer = Layer.effectDiscard(run)\n"]}