@usine/engine 0.0.1 → 0.2.0

package/dist/store/store.d.ts

@@ -0,0 +1,101 @@
+import { Attempt, AttemptId } from "@usine/core/attempt";
+import * as AttemptChannel from "@usine/core/attempt/channel";
+import { AttemptFailure, InfraFailure } from "@usine/core/attempt/failure";
+import { Event } from "@usine/core/event";
+import { ItemKey } from "@usine/core/item";
+import { LoopName } from "@usine/core/loop";
+import { RunId } from "@usine/core/run";
+import { WorkerName } from "@usine/core/worker";
+import * as RunState from "@usine/core/run/state";
+import { StepResult } from "@usine/core/step/result";
+import { Context, Effect, Layer, Option, Result, Schema } from "effect";
+import type { Workflow } from "effect/unstable/workflow";
+import { RunDatabase } from "../database/database.ts";
+import { Claimed, CycleBlocked, Ignored, Queued, Submission } from "../engine/submission.ts";
+import { type RunStoreError } from "../engine/error.ts";
+import { RunSnapshot } from "../run-reader/model.ts";
+import { StepExecution } from "../step-executor.ts";
+import { TranscriptEntry, TranscriptQuery } from "../transcript.ts";
+import type { WorkflowCommand } from "../workflow/command.ts";
+import { type WorkflowCommandRow } from "./codec.ts";
+import { type FinishDecision } from "../engine/lifecycle.ts";
+declare const StoredSubmission_base: Schema.Class<StoredSubmission, Schema.Struct<{
+    readonly submission: typeof Submission;
+    readonly runId: Schema.brand<Schema.NonEmptyString, "RunId">;
+}>, {}>;
+export declare class StoredSubmission extends StoredSubmission_base {
+}
+declare const RecoverableRun_base: Schema.Class<RecoverableRun, Schema.Struct<{
+    readonly submission: typeof Submission;
+    readonly runId: Schema.brand<Schema.NonEmptyString, "RunId">;
+    readonly state: Schema.Union<readonly [typeof RunState.Pending, typeof RunState.Waiting, typeof RunState.Queued, typeof RunState.Running, typeof RunState.Succeeded, typeof RunState.Failed, typeof RunState.Canceled]>;
+}>, {}>;
+export declare class RecoverableRun extends RecoverableRun_base {
+}
+declare const Claim_base: Schema.Class<Claim, Schema.Struct<{
+    readonly submission: typeof Submission;
+    readonly result: Schema.Union<readonly [typeof Claimed, typeof Queued, typeof Ignored, typeof CycleBlocked]>;
+    readonly supersededRun: Schema.Option<Schema.brand<Schema.NonEmptyString, "RunId">>;
+}>, {}>;
+export declare class Claim extends Claim_base {
+}
+declare const AttemptStarted_base: Schema.Class<AttemptStarted, Schema.TaggedStruct<"AttemptStarted", {
+    readonly execution: typeof StepExecution;
+}>, {}>;
+export declare class AttemptStarted extends AttemptStarted_base {
+}
+declare const AttemptRecoveryFailed_base: Schema.Class<AttemptRecoveryFailed, Schema.TaggedStruct<"AttemptRecoveryFailed", {
+    readonly failure: typeof InfraFailure;
+}>, {}>;
+export declare class AttemptRecoveryFailed extends AttemptRecoveryFailed_base {
+}
+declare const RunClosed_base: Schema.Class<RunClosed, Schema.TaggedStruct<"RunClosed", {
+    readonly state: Schema.String;
+}>, {}>;
+/**
+ * The Run closed (canceled, superseded, or revoked) while it waited for a
+ * worker slot. Routine once capacity queues exist, never an error.
+ */
+export declare class RunClosed extends RunClosed_base {
+}
+/** What `RunStore.cancel` did, decided inside the closing transaction. */
+export type CancelOutcome = {
+    readonly _tag: "AlreadyClosed";
+} | {
+    readonly _tag: "Canceled";
+    readonly openAttempt: Option.Option<AttemptId>;
+};
+declare const RunStore_base: Context.ServiceClass<RunStore, "@usine/engine/internal/RunStore", {
+    readonly approve: (runId: RunId, approval: Event) => Effect.Effect<void, RunStoreError>;
+    readonly appendTranscript: (direction: AttemptChannel.Direction, envelope: AttemptChannel.Envelope) => Effect.Effect<void, RunStoreError>;
+    readonly beginAttempt: (runId: RunId, worker: WorkerName) => Effect.Effect<AttemptStarted | AttemptRecoveryFailed | RunClosed, RunStoreError>;
+    readonly cancel: (runId: RunId) => Effect.Effect<CancelOutcome, RunStoreError>;
+    readonly claimQueued: (submission: Submission, runId: RunId) => Effect.Effect<Option.Option<StoredSubmission>, RunStoreError>;
+    readonly completeWorkflowCommand: (runId: RunId, command: WorkflowCommand) => Effect.Effect<void, RunStoreError>;
+    /**
+     * Records an executor result only if `attempt` is still the Run's open try.
+     * The returned decision tells execution whether to retry; terminal outcomes,
+     * the Step result and continuation request commit together.
+     */
+    readonly finishAttempt: (attempt: Attempt, result: Result.Result<StepResult, AttemptFailure>) => Effect.Effect<FinishDecision, RunStoreError>;
+    readonly nextQueued: (runId: RunId) => Effect.Effect<Option.Option<Submission>, RunStoreError>;
+    readonly parkForApproval: (runId: RunId) => Effect.Effect<void, RunStoreError>;
+    readonly pendingWorkflowCommands: Effect.Effect<ReadonlyArray<WorkflowCommandRow>, RunStoreError>;
+    readonly recordAndClaim: (submission: Submission, requestedRunId: RunId) => Effect.Effect<Claim, RunStoreError>;
+    readonly reconcileCompletion: (runId: RunId, result: Workflow.Result<StepResult, AttemptFailure>) => Effect.Effect<void, RunStoreError>;
+    readonly recoverable: Effect.Effect<ReadonlyArray<RecoverableRun>, RunStoreError>;
+    readonly retry: (runId: RunId) => Effect.Effect<void, RunStoreError>;
+    readonly revoke: (loop: LoopName, itemKey: ItemKey) => Effect.Effect<ReadonlyArray<RunId>, RunStoreError>;
+    readonly snapshot: (runId: RunId) => Effect.Effect<RunSnapshot, RunStoreError>;
+    readonly transcript: (query: TranscriptQuery) => Effect.Effect<ReadonlyArray<TranscriptEntry>, RunStoreError>;
+}>;
+/**
+ * The durable Run projection store. Another backend implements this interface
+ * with its own `Layer.effect(RunStore, ...)`; methods speak domain vocabulary
+ * and fail only with `RunStoreError`.
+ */
+export declare class RunStore extends RunStore_base {
+    static readonly layer: Layer.Layer<RunStore, never, RunDatabase>;
+}
+export {};
+//# sourceMappingURL=store.d.ts.map

package/dist/store/store.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"store.d.ts","sourceRoot":"","sources":["../../src/store/store.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,cAAc,MAAM,6BAA6B,CAAC;AAC9D,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3E,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC1C,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,KAAK,EAAO,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAChD,OAAO,KAAK,QAAQ,MAAM,uBAAuB,CAAC;AAClD,OAAO,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AACrD,OAAO,EAEL,OAAO,EAEP,MAAM,EAEN,KAAK,EAEL,MAAM,EACN,MAAM,EACN,MAAM,EACP,MAAM,QAAQ,CAAC;AAChB,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACzD,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AACtD,OAAO,EACL,OAAO,EACP,YAAY,EACZ,OAAO,EACP,MAAM,EACN,UAAU,EAEX,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAA6B,KAAK,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnF,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AACrD,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACpE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAC9D,OAAO,EAAkC,KAAK,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAErF,OAAO,EAOL,KAAK,cAAc,EACpB,MAAM,wBAAwB,CAAC;;;;;AAEhC,qBAAa,gBAAiB,SAAQ,qBAKpC;CAAG;;;;;;AAEL,qBAAa,cAAe,SAAQ,mBAMlC;CAAG;;;;;;AAEL,qBAAa,KAAM,SAAQ,UAIzB;CAAG;;;;AAEL,qBAAa,cAAe,SAAQ,mBAIlC;CAAG;;;;AAEL,qBAAa,qBAAsB,SAAQ,0BAIzC;CAAG;;;;AAEL;;;GAGG;AACH,qBAAa,SAAU,SAAQ,cAK9B;CAAG;AAEJ,0EAA0E;AAC1E,MAAM,MAAM,aAAa,GACrB;IAAE,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAA;CAAE,GAClC;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;CAAE,CAAC;;sBA6c5D,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC;+BAC5D,CACzB,SAAS,EAAE,cAAc,CAAC,SAAS,EACnC,QAAQ,EAAE,cAAc,CAAC,QAAQ,KAC9B,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC;2BAChB,CACrB,KAAK,EAAE,KAAK,EACZ,MAAM,EAAE,UAAU,KACf,MAAM,CAAC,MAAM,CAAC,cAAc,GAAG,qBAAqB,GAAG,SAAS,EAAE,aAAa,CAAC;qBACpE,CAAC,KAAK,EAAE,KAAK,KAAK,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,aAAa,CAAC;0BACxD,CACpB,UAAU,EAAE,UAAU,EACtB,KAAK,EAAE,KAAK,KACT,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,aAAa,CAAC;sCAChC,CAChC,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,eAAe,KACrB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC;IACvC;;;;OAIG;4BACqB,CACtB,OAAO,EAAE,OAAO,EAChB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,cAAc,CAAC,KAC9C,MAAM,CAAC,MAAM,CAAC,cAAc,EAAE,aAAa,CAAC;yBAC5B,CAAC,KAAK,EAAE,KAAK,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,aAAa,CAAC;8BACpE,CAAC,KAAK,EAAE,KAAK,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC;sCAC5C,MAAM,CAAC,MAAM,CAC7C,aAAa,CAAC,kBAAkB,CAAC,EACjC,aAAa,CACd;6BACwB,CACvB,UAAU,EAAE,UAAU,EACtB,cAAc,EAAE,KAAK,KAClB,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,aAAa,CAAC;kCACV,CAC5B,KAAK,EAAE,KAAK,EACZ,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,UAAU,EAAE,cAAc,CAAC,KAChD,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC;0BACjB,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,cAAc,CAAC,EAAE,aAAa,CAAC;oBACjE,CAAC,KAAK,EAAE,KAAK,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC;qBACnD,CACf,IAAI,EAAE,QAAQ,EACd,OAAO,EAAE,OAAO,KACb,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,aAAa,CAAC;uBACpC,CAAC,KAAK,EAAE,KAAK,KAAK,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,aAAa,CAAC;yBACzD,CACnB,KAAK,EAAE,eAAe,KACnB,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,eAAe,CAAC,EAAE,aAAa,CAAC;;AA1DrE;;;;GAIG;AACH,qBAAa,QAAS,SAAQ,aAuDQ;IACpC,MAAM,CAAC,QAAQ,CAAC,KAAK,4CAAwC;CAC9D"}

package/dist/store/store.js

@@ -0,0 +1,432 @@
+import { Attempt, AttemptId } from "@usine/core/attempt";
+import * as AttemptChannel from "@usine/core/attempt/channel";
+import { AttemptFailure, InfraFailure } from "@usine/core/attempt/failure";
+import { Event } from "@usine/core/event";
+import { ItemKey } from "@usine/core/item";
+import { LoopName } from "@usine/core/loop";
+import { RunId, Run } from "@usine/core/run";
+import { WorkerName } from "@usine/core/worker";
+import * as RunState from "@usine/core/run/state";
+import { StepResult } from "@usine/core/step/result";
+import { Cause, Context, DateTime, Effect, Exit, Layer, Match, Option, Result, Schema, } from "effect";
+import { RunDatabase } from "../database/database.js";
+import { Claimed, CycleBlocked, Ignored, Queued, Submission, SubmissionResult, } from "../engine/submission.js";
+import { RunOperationRejectedError } from "../engine/error.js";
+import { RunSnapshot } from "../run-reader/model.js";
+import { StepExecution } from "../step-executor.js";
+import { TranscriptEntry, TranscriptQuery } from "../transcript.js";
+import { persistence, submissionFromRow } from "./codec.js";
+import { queriesFor } from "./queries.js";
+import { beginAttempt as decideBeginAttempt, cancelRun, claimRun, finishAttempt as decideFinishAttempt, reconcileAttempt, retryRun, } from "../engine/lifecycle.js";
+export class StoredSubmission extends Schema.Class("@usine/engine/internal/StoredSubmission")({
+    submission: Submission,
+    runId: RunId,
+}) {
+}
+export class RecoverableRun extends Schema.Class("@usine/engine/internal/RecoverableRun")({
+    submission: Submission,
+    runId: RunId,
+    state: RunState.RunState,
+}) {
+}
+export class Claim extends Schema.Class("@usine/engine/internal/Claim")({
+    submission: Submission,
+    result: SubmissionResult,
+    supersededRun: Schema.Option(RunId),
+}) {
+}
+export class AttemptStarted extends Schema.TaggedClass("@usine/engine/internal/AttemptStarted")("AttemptStarted", {
+    execution: StepExecution,
+}) {
+}
+export class AttemptRecoveryFailed extends Schema.TaggedClass("@usine/engine/internal/AttemptRecoveryFailed")("AttemptRecoveryFailed", {
+    failure: InfraFailure,
+}) {
+}
+/**
+ * The Run closed (canceled, superseded, or revoked) while it waited for a
+ * worker slot. Routine once capacity queues exist, never an error.
+ */
+export class RunClosed extends Schema.TaggedClass("@usine/engine/internal/RunClosed")("RunClosed", {
+    state: Schema.String,
+}) {
+}
+const makeRunStore = Effect.gen(function* () {
+    const database = yield* RunDatabase;
+    const queries = queriesFor(database);
+    const claimedRun = (submission, runId, supersededRun = Option.none()) => new Claim({
+        submission,
+        result: new Claimed({ eventId: submission.event.id, runId }),
+        supersededRun,
+    });
+    const openRun = Effect.fn("RunStore.openRun")(function* (tx, submission, runId, supersededRun = Option.none()) {
+        const blocked = yield* tx.cycles.admit(submission);
+        if (Option.isSome(blocked))
+            return new Claim({
+                submission,
+                supersededRun,
+                result: new CycleBlocked({ eventId: submission.event.id, ask: blocked.value }),
+            });
+        yield* tx.createRun(submission, submission.event.id, runId);
+        yield* tx.cycles.reserve(submission, runId);
+        return claimedRun(submission, runId, supersededRun);
+    });
+    const recordAndClaim = Effect.fn("RunStore.recordAndClaim")(function* (submission, requestedRunId) {
+        yield* Effect.annotateCurrentSpan({
+            eventId: submission.event.id,
+            runId: requestedRunId,
+            loop: submission.loop,
+            itemKey: submission.itemKey,
+        });
+        return yield* database.transaction((transaction) => Effect.gen(function* () {
+            const tx = queriesFor(transaction);
+            const recorded = yield* tx.recordTriggerEvent(submission);
+            const existing = yield* tx.runForEvent(recorded.event.id);
+            if (existing[0] !== undefined) {
+                yield* Effect.logInfo("Event joined its existing Run", {
+                    eventId: recorded.event.id,
+                    runId: existing[0].runId,
+                });
+                return claimedRun(recorded, existing[0].runId);
+            }
+            const ignored = yield* tx.ignoredEvent(recorded.event.id);
+            if (ignored[0] !== undefined) {
+                yield* Effect.logInfo("Event remains ignored", {
+                    eventId: recorded.event.id,
+                    reason: ignored[0].reason,
+                });
+                return new Claim({
+                    submission: recorded,
+                    result: new Ignored({
+                        eventId: recorded.event.id,
+                        reason: ignored[0].reason,
+                    }),
+                    supersededRun: Option.none(),
+                });
+            }
+            if (!(yield* tx.cycles.isCurrentEvent(recorded))) {
+                return new Claim({
+                    submission: recorded,
+                    supersededRun: Option.none(),
+                    result: new Ignored({ eventId: recorded.event.id, reason: "superseded" }),
+                });
+            }
+            const blocking = yield* tx.blockingRun(recorded.loop, recorded.itemKey);
+            const blockedBy = blocking[0];
+            const decision = claimRun(blockedBy === undefined
+                ? Option.none()
+                : Option.some((yield* tx.snapshot(blockedBy.runId)).run), recorded.event.id);
+            yield* Effect.logInfo("Event claim decided", {
+                eventId: recorded.event.id,
+                decision: decision._tag,
+            });
+            switch (decision._tag) {
+                case "QueueEvent":
+                    return new Claim({
+                        submission: recorded,
+                        result: new Queued({ eventId: recorded.event.id }),
+                        supersededRun: Option.none(),
+                    });
+                case "SupersedeRun":
+                    yield* tx.updateState(decision.runId, decision.state);
+                    yield* tx.requestInterrupt(decision.runId);
+                    return yield* openRun(tx, recorded, requestedRunId, Option.some(decision.runId));
+                case "OpenRun":
+                    return yield* openRun(tx, recorded, requestedRunId);
+            }
+        }));
+    }, persistence("submit Event"));
+    const parkForApproval = Effect.fn("RunStore.parkForApproval")(function* (runId) {
+        yield* database.transaction((transaction) => Effect.gen(function* () {
+            const tx = queriesFor(transaction);
+            const current = yield* tx.snapshot(runId);
+            if (current.run.state._tag === "Pending") {
+                yield* tx.updateState(runId, RunState.awaitApproval(current.run.state));
+            }
+        }));
+    }, persistence("park run for approval"));
+    // All callers supply a transaction: Attempt, Run, Step and outbox writes
+    // either commit together or roll back together (ADRs 0010 and 0020).
+    const applyFinish = Effect.fn("RunStore.applyFinish")(function* (tx, runId, decision) {
+        yield* Effect.annotateCurrentSpan({ runId });
+        if (decision._tag === "Unchanged") {
+            yield* Effect.logInfo("Attempt completion ignored", { runId, reason: decision.reason });
+            return;
+        }
+        const { attempt, outcome } = decision;
+        yield* Effect.annotateCurrentSpan({ attemptId: attempt.id });
+        const fields = {
+            runId,
+            attemptId: attempt.id,
+            number: attempt.number,
+            decision: decision._tag,
+        };
+        yield* Effect.logInfo("Attempt completion decided", Match.valueTags(outcome, {
+            Failed: ({ failure }) => ({ ...fields, failure: failure._tag }),
+            Succeeded: () => fields,
+        }));
+        yield* tx.closeAttempt(attempt.id, outcome);
+        if (decision._tag === "RetryAttempt")
+            return;
+        if (decision._tag === "RunSucceeded") {
+            yield* tx.updateStepResult(runId, attempt.stepName, decision.result);
+        }
+        yield* tx.updateState(runId, decision.state);
+        yield* tx.requestWorkflowCommand(runId, "Continue");
+    });
+    const beginAttempt = Effect.fn("RunStore.beginAttempt")(function* (runId, worker) {
+        yield* Effect.annotateCurrentSpan({ runId });
+        return yield* database.transaction((transaction) => Effect.gen(function* () {
+            const tx = queriesFor(transaction);
+            const current = yield* tx.snapshot(runId);
+            const interruption = new InfraFailure({
+                message: "The orchestrator stopped during the attempt",
+                cause: new Error("attempt interrupted by orchestrator restart"),
+            });
+            const decision = decideBeginAttempt(current, interruption);
+            if (decision._tag === "RunClosed") {
+                yield* Effect.logInfo("Attempt start skipped", { runId, state: decision.state._tag });
+                return new RunClosed({ state: decision.state._tag });
+            }
+            if (decision._tag === "RunFailed") {
+                yield* applyFinish(tx, runId, decision);
+                return new AttemptRecoveryFailed({ failure: interruption });
+            }
+            if (Option.isSome(decision.interrupted)) {
+                yield* applyFinish(tx, runId, decision.interrupted.value);
+            }
+            if (current.run.state._tag !== decision.state._tag) {
+                yield* tx.updateState(runId, decision.state);
+            }
+            const attemptId = AttemptId.make(`${runId}/${current.step.name}/${decision.number}`);
+            const startedAt = yield* DateTime.now;
+            const attempt = new Attempt({
+                id: attemptId,
+                runId,
+                stepName: current.step.name,
+                worker,
+                number: decision.number,
+                brain: current.agent.brain,
+                parentModel: current.parentModel,
+                startedAt,
+                outcome: Option.none(),
+            });
+            yield* tx.addAttempt(attempt);
+            yield* Effect.logInfo("Attempt started", {
+                runId,
+                attemptId,
+                number: decision.number,
+                worker,
+            });
+            return new AttemptStarted({
+                execution: new StepExecution({
+                    attempt,
+                    event: current.event,
+                    run: new Run({
+                        id: current.run.id,
+                        eventId: current.run.eventId,
+                        loop: current.run.loop,
+                        state: decision.state,
+                        openedAt: current.run.openedAt,
+                    }),
+                    step: current.step,
+                    repository: current.repository,
+                    revision: current.revision,
+                    task: current.task,
+                    agent: current.agent,
+                    parentModel: current.parentModel,
+                }),
+            });
+        }));
+    }, persistence("begin attempt"));
+    const finishAttempt = Effect.fn("RunStore.finishAttempt")(function* (attempt, result) {
+        yield* Effect.annotateCurrentSpan({ runId: attempt.runId, attemptId: attempt.id });
+        return yield* database.transaction((transaction) => Effect.gen(function* () {
+            const tx = queriesFor(transaction);
+            const current = yield* tx.snapshot(attempt.runId);
+            const decision = decideFinishAttempt(current, attempt.id, result);
+            yield* applyFinish(tx, attempt.runId, decision);
+            return decision;
+        }));
+    }, persistence("finish attempt"));
+    const approve = Effect.fn("RunStore.approve")(function* (runId, approval) {
+        yield* database.transaction((transaction) => Effect.gen(function* () {
+            const tx = queriesFor(transaction);
+            if (yield* tx.approvalExists(runId))
+                return;
+            const current = yield* tx.snapshot(runId);
+            if (current.run.state._tag !== "Waiting") {
+                return yield* new RunOperationRejectedError({
+                    runId,
+                    operation: "approve",
+                    state: current.run.state._tag,
+                });
+            }
+            yield* tx.recordApproval(runId, approval);
+            yield* tx.updateState(runId, RunState.approve(current.run.state));
+            yield* tx.requestWorkflowCommand(runId, "Approve");
+        }));
+    }, persistence("approve run"));
+    const retry = Effect.fn("RunStore.retry")(function* (runId) {
+        yield* Effect.annotateCurrentSpan({ runId });
+        yield* database.transaction((transaction) => Effect.gen(function* () {
+            const tx = queriesFor(transaction);
+            const current = yield* tx.snapshot(runId);
+            const decision = retryRun(current.run.state, yield* tx.workflowCommandsFor(runId));
+            yield* Effect.logInfo("Operator retry decided", {
+                runId,
+                state: current.run.state._tag,
+                decision: decision._tag,
+            });
+            if (decision._tag === "Resume") {
+                yield* tx.updateState(runId, decision.state);
+                yield* tx.requestWorkflowCommand(runId, "Resume");
+                return;
+            }
+            if (decision._tag === "ResumePending")
+                return;
+            return yield* new RunOperationRejectedError({
+                runId,
+                operation: "retry",
+                state: current.run.state._tag,
+            });
+        }));
+    }, persistence("retry run"));
+    const cancel = Effect.fn("RunStore.cancel")(function* (runId) {
+        yield* Effect.annotateCurrentSpan({ runId });
+        return yield* database.transaction((transaction) => Effect.gen(function* () {
+            const tx = queriesFor(transaction);
+            const current = yield* tx.snapshot(runId);
+            const decision = cancelRun(current);
+            yield* Effect.logInfo("Operator cancellation decided", {
+                runId,
+                state: current.run.state._tag,
+                decision: decision._tag,
+            });
+            if (decision._tag === "AlreadyClosed")
+                return decision;
+            if (Option.isSome(decision.attempt)) {
+                yield* tx.closeAttempt(decision.attempt.value.id, decision.attempt.value.outcome);
+            }
+            yield* tx.updateState(runId, decision.state);
+            yield* tx.requestInterrupt(runId);
+            yield* tx.requestWorkflowCommand(runId, "Continue");
+            const canceled = {
+                _tag: "Canceled",
+                openAttempt: Option.map(decision.attempt, ({ id }) => id),
+            };
+            return canceled;
+        }));
+    }, persistence("cancel run"));
+    const revoke = Effect.fn("RunStore.revoke")(function* (loop, itemKey) {
+        return yield* database.transaction((transaction) => Effect.gen(function* () {
+            const tx = queriesFor(transaction);
+            const storedRuns = yield* tx.revokeUnstarted(loop, itemKey);
+            for (const row of storedRuns) {
+                const current = yield* tx.snapshot(row.runId);
+                if (RunState.isUnstarted(current.run.state)) {
+                    yield* tx.updateState(row.runId, RunState.revoke(current.run.state));
+                    yield* tx.requestInterrupt(row.runId);
+                }
+            }
+            return storedRuns.map((row) => row.runId);
+        }));
+    }, persistence("revoke run"));
+    const claimQueued = Effect.fn("RunStore.claimQueued")(function* (submission, runId) {
+        return yield* database.transaction((transaction) => Effect.gen(function* () {
+            const tx = queriesFor(transaction);
+            const existing = yield* tx.runForEvent(submission.event.id);
+            if (existing[0] !== undefined) {
+                return Option.some(new StoredSubmission({ submission, runId: existing[0].runId }));
+            }
+            if ((yield* tx.ignoredEvent(submission.event.id)).length > 0) {
+                return Option.none();
+            }
+            if ((yield* tx.blockingRun(submission.loop, submission.itemKey)).length > 0) {
+                return Option.none();
+            }
+            if (!(yield* tx.cycles.isCurrentEvent(submission)))
+                return Option.none();
+            const claimed = yield* openRun(tx, submission, runId);
+            return claimed.result._tag === "Claimed"
+                ? Option.some(new StoredSubmission({ submission, runId }))
+                : Option.none();
+        }));
+    }, persistence("claim queued Event"));
+    const recoverable = Effect.fn("RunStore.recoverable")(function* () {
+        return (yield* queries.recoverable()).map((row) => new RecoverableRun({
+            submission: submissionFromRow(row),
+            runId: row.runId,
+            state: row.state,
+        }));
+    }, persistence("list recoverable runs"));
+    const appendTranscript = Effect.fn("RunStore.appendTranscript")(function* (direction, envelope) {
+        const receivedAt = yield* DateTime.now;
+        yield* database.transaction((transaction) => Effect.gen(function* () {
+            const tx = queriesFor(transaction);
+            if (direction === "outbound" && envelope.payload._tag === "Started") {
+                yield* tx.updateAttemptParentModel(envelope.attemptId, envelope.payload.parentModel);
+            }
+            yield* tx.appendTranscript(direction, envelope, receivedAt);
+        }));
+    }, persistence("append Attempt transcript"));
+    const transcript = Effect.fn("RunStore.transcript")(function* (query) {
+        return yield* queries.transcript(query);
+    }, persistence("read Attempt transcript"));
+    const reconcileCompletion = Effect.fn("RunStore.reconcileCompletion")(function* (runId, result) {
+        yield* Effect.annotateCurrentSpan({ runId });
+        if (result._tag !== "Complete") {
+            yield* Effect.logDebug("Workflow reconciliation skipped", { runId, reason: "Suspended" });
+            return;
+        }
+        yield* database.transaction((transaction) => Effect.gen(function* () {
+            const tx = queriesFor(transaction);
+            const current = yield* tx.snapshot(runId);
+            // Workflow defects and interruption do not become typed Attempt failures.
+            // Keep the projection available to the existing restart recovery path.
+            const completion = Exit.isSuccess(result.exit)
+                ? Option.some(Result.succeed(result.exit.value))
+                : Option.map(Cause.findErrorOption(result.exit.cause), Result.fail);
+            if (Option.isNone(completion)) {
+                yield* Effect.logInfo("Workflow reconciliation skipped", {
+                    runId,
+                    reason: "NoTypedOutcome",
+                });
+                return;
+            }
+            yield* applyFinish(tx, runId, reconcileAttempt(current, completion.value));
+        }));
+    }, persistence("reconcile workflow completion"));
+    return {
+        approve,
+        appendTranscript,
+        beginAttempt,
+        cancel,
+        claimQueued,
+        completeWorkflowCommand: (runId, command) => queries
+            .completeWorkflowCommand(runId, command)
+            .pipe(persistence("complete workflow command")),
+        finishAttempt,
+        nextQueued: (runId) => queries.nextQueued(runId).pipe(persistence("find queued Event")),
+        parkForApproval,
+        pendingWorkflowCommands: queries
+            .pendingWorkflowCommands()
+            .pipe(persistence("list pending workflow commands")),
+        recordAndClaim,
+        reconcileCompletion,
+        recoverable: recoverable(),
+        retry,
+        revoke,
+        snapshot: (runId) => queries.snapshot(runId).pipe(persistence("read run")),
+        transcript,
+    };
+});
+/**
+ * The durable Run projection store. Another backend implements this interface
+ * with its own `Layer.effect(RunStore, ...)`; methods speak domain vocabulary
+ * and fail only with `RunStoreError`.
+ */
+export class RunStore extends Context.Service()("@usine/engine/internal/RunStore") {
+    static layer = Layer.effect(RunStore, makeRunStore);
+}
+//# sourceMappingURL=store.js.map

package/dist/store/store.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"store.js","sourceRoot":"","sources":["../../src/store/store.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,cAAc,MAAM,6BAA6B,CAAC;AAC9D,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3E,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC1C,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAChD,OAAO,KAAK,QAAQ,MAAM,uBAAuB,CAAC;AAClD,OAAO,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AACrD,OAAO,EACL,KAAK,EACL,OAAO,EACP,QAAQ,EACR,MAAM,EACN,IAAI,EACJ,KAAK,EACL,KAAK,EACL,MAAM,EACN,MAAM,EACN,MAAM,GACP,MAAM,QAAQ,CAAC;AAEhB,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AACtD,OAAO,EACL,OAAO,EACP,YAAY,EACZ,OAAO,EACP,MAAM,EACN,UAAU,EACV,gBAAgB,GACjB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,yBAAyB,EAAsB,MAAM,oBAAoB,CAAC;AACnF,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AACrD,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAEpE,OAAO,EAAE,WAAW,EAAE,iBAAiB,EAA2B,MAAM,YAAY,CAAC;AACrF,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC1C,OAAO,EACL,YAAY,IAAI,kBAAkB,EAClC,SAAS,EACT,QAAQ,EACR,aAAa,IAAI,mBAAmB,EACpC,gBAAgB,EAChB,QAAQ,GAET,MAAM,wBAAwB,CAAC;AAEhC,MAAM,OAAO,gBAAiB,SAAQ,MAAM,CAAC,KAAK,CAChD,yCAAyC,CAC1C,CAAC;IACA,UAAU,EAAE,UAAU;IACtB,KAAK,EAAE,KAAK;CACb,CAAC;CAAG;AAEL,MAAM,OAAO,cAAe,SAAQ,MAAM,CAAC,KAAK,CAC9C,uCAAuC,CACxC,CAAC;IACA,UAAU,EAAE,UAAU;IACtB,KAAK,EAAE,KAAK;IACZ,KAAK,EAAE,QAAQ,CAAC,QAAQ;CACzB,CAAC;CAAG;AAEL,MAAM,OAAO,KAAM,SAAQ,MAAM,CAAC,KAAK,CAAQ,8BAA8B,CAAC,CAAC;IAC7E,UAAU,EAAE,UAAU;IACtB,MAAM,EAAE,gBAAgB;IACxB,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;CACpC,CAAC;CAAG;AAEL,MAAM,OAAO,cAAe,SAAQ,MAAM,CAAC,WAAW,CACpD,uCAAuC,CACxC,CAAC,gBAAgB,EAAE;IAClB,SAAS,EAAE,aAAa;CACzB,CAAC;CAAG;AAEL,MAAM,OAAO,qBAAsB,SAAQ,MAAM,CAAC,WAAW,CAC3D,8CAA8C,CAC/C,CAAC,uBAAuB,EAAE;IACzB,OAAO,EAAE,YAAY;CACtB,CAAC;CAAG;AAEL;;;GAGG;AACH,MAAM,OAAO,SAAU,SAAQ,MAAM,CAAC,WAAW,CAAY,kCAAkC,CAAC,CAC9F,WAAW,EACX;IACE,KAAK,EAAE,MAAM,CAAC,MAAM;CACrB,CACF;CAAG;AAOJ,MAAM,YAAY,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IACvC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC;IACpC,MAAM,OAAO,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IAErC,MAAM,UAAU,GAAG,CACjB,UAAsB,EACtB,KAAY,EACZ,aAAa,GAAyB,MAAM,CAAC,IAAI,EAAE,EACnD,EAAE,CACF,IAAI,KAAK,CAAC;QACR,UAAU;QACV,MAAM,EAAE,IAAI,OAAO,CAAC,EAAE,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC;QAC5D,aAAa;KACd,CAAC,CAAC;IAEL,MAAM,OAAO,GAAG,MAAM,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC,QAAQ,CAAC,EACrD,EAAiC,EACjC,UAAsB,EACtB,KAAY,EACZ,aAAa,GAAyB,MAAM,CAAC,IAAI,EAAE;QAEnD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QACnD,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;YACxB,OAAO,IAAI,KAAK,CAAC;gBACf,UAAU;gBACV,aAAa;gBACb,MAAM,EAAE,IAAI,YAAY,CAAC,EAAE,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC,EAAE,EAAE,GAAG,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC;aAC/E,CAAC,CAAC;QACL,KAAK,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,UAAU,EAAE,UAAU,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QAC5D,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;QAC5C,OAAO,UAAU,CAAC,UAAU,EAAE,KAAK,EAAE,aAAa,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,MAAM,cAAc,GAAG,MAAM,CAAC,EAAE,CAAC,yBAAyB,CAAC,CAAC,QAAQ,CAAC,EACnE,UAAsB,EACtB,cAAqB;QAErB,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC;YAChC,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC,EAAE;YAC5B,KAAK,EAAE,cAAc;YACrB,IAAI,EAAE,UAAU,CAAC,IAAI;YACrB,OAAO,EAAE,UAAU,CAAC,OAAO;SAC5B,CAAC,CAAC;QACH,OAAO,KAAK,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,EAAE,CACjD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,EAAE,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC;YACnC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,kBAAkB,CAAC,UAAU,CAAC,CAAC;YAC1D,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAC1D,IAAI,QAAQ,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;gBAC9B,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,+BAA+B,EAAE;oBACrD,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE;oBAC1B,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK;iBACzB,CAAC,CAAC;gBACH,OAAO,UAAU,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACjD,CAAC;YAED,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAC1D,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;gBAC7B,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,uBAAuB,EAAE;oBAC7C,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE;oBAC1B,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM;iBAC1B,CAAC,CAAC;gBACH,OAAO,IAAI,KAAK,CAAC;oBACf,UAAU,EAAE,QAAQ;oBACpB,MAAM,EAAE,IAAI,OAAO,CAAC;wBAClB,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE;wBAC1B,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM;qBAC1B,CAAC;oBACF,aAAa,EAAE,MAAM,CAAC,IAAI,EAAE;iBAC7B,CAAC,CAAC;YACL,CAAC;YAED,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;gBACjD,OAAO,IAAI,KAAK,CAAC;oBACf,UAAU,EAAE,QAAQ;oBACpB,aAAa,EAAE,MAAM,CAAC,IAAI,EAAE;oBAC5B,MAAM,EAAE,IAAI,OAAO,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;iBAC1E,CAAC,CAAC;YACL,CAAC;YACD,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;YACxE,MAAM,SAAS,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;YAC9B,MAAM,QAAQ,GAAG,QAAQ,CACvB,SAAS,KAAK,SAAS;gBACrB,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE;gBACf,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,EAC1D,QAAQ,CAAC,KAAK,CAAC,EAAE,CAClB,CAAC;YACF,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,qBAAqB,EAAE;gBAC3C,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE;gBAC1B,QAAQ,EAAE,QAAQ,CAAC,IAAI;aACxB,CAAC,CAAC;YACH,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;gBACtB,KAAK,YAAY;oBACf,OAAO,IAAI,KAAK,CAAC;wBACf,UAAU,EAAE,QAAQ;wBACpB,MAAM,EAAE,IAAI,MAAM,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;wBAClD,aAAa,EAAE,MAAM,CAAC,IAAI,EAAE;qBAC7B,CAAC,CAAC;gBACL,KAAK,cAAc;oBACjB,KAAK,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;oBACtD,KAAK,CAAC,CAAC,EAAE,CAAC,gBAAgB,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;oBAC3C,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;gBACnF,KAAK,SAAS;oBACZ,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC;YACxD,CAAC;QACH,CAAC,CAAC,CACH,CAAC;IACJ,CAAC,EAAE,WAAW,CAAC,cAAc,CAAC,CAAC,CAAC;IAEhC,MAAM,eAAe,GAAG,MAAM,CAAC,EAAE,CAAC,0BAA0B,CAAC,CAAC,QAAQ,CAAC,EAAE,KAAY;QACnF,KAAK,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,EAAE,CAC1C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,EAAE,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC;YACnC,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YAC1C,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACzC,KAAK,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,QAAQ,CAAC,aAAa,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;YAC1E,CAAC;QACH,CAAC,CAAC,CACH,CAAC;IACJ,CAAC,EAAE,WAAW,CAAC,uBAAuB,CAAC,CAAC,CAAC;IAEzC,yEAAyE;IACzE,qEAAqE;IACrE,MAAM,WAAW,GAAG,MAAM,CAAC,EAAE,CAAC,sBAAsB,CAAC,CAAC,QAAQ,CAAC,EAC7D,EAAiC,EACjC,KAAY,EACZ,QAAwB;QAExB,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QAC7C,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAClC,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,4BAA4B,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;YACxF,OAAO;QACT,CAAC;QACD,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,QAAQ,CAAC;QACtC,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC;QAC7D,MAAM,MAAM,GAAG;YACb,KAAK;YACL,SAAS,EAAE,OAAO,CAAC,EAAE;YACrB,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,QAAQ,EAAE,QAAQ,CAAC,IAAI;SACxB,CAAC;QACF,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CACnB,4BAA4B,EAC5B,KAAK,CAAC,SAAS,CAAC,OAAO,EAAE;YACvB,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC;YAC/D,SAAS,EAAE,GAAG,EAAE,CAAC,MAAM;SACxB,CAAC,CACH,CAAC;QACF,KAAK,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;QAC5C,IAAI,QAAQ,CAAC,IAAI,KAAK,cAAc;YAAE,OAAO;QAC7C,IAAI,QAAQ,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;YACrC,KAAK,CAAC,CAAC,EAAE,CAAC,gBAAgB,CAAC,KAAK,EAAE,OAAO,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;QACvE,CAAC;QACD,KAAK,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC7C,KAAK,CAAC,CAAC,EAAE,CAAC,sBAAsB,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,MAAM,YAAY,GAAG,MAAM,CAAC,EAAE,CAAC,uBAAuB,CAAC,CAAC,QAAQ,CAAC,EAC/D,KAAY,EACZ,MAAkB;QAElB,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QAC7C,OAAO,KAAK,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,EAAE,CACjD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,EAAE,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC;YACnC,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YAC1C,MAAM,YAAY,GAAG,IAAI,YAAY,CAAC;gBACpC,OAAO,EAAE,6CAA6C;gBACtD,KAAK,EAAE,IAAI,KAAK,CAAC,6CAA6C,CAAC;aAChE,CAAC,CAAC;YACH,MAAM,QAAQ,GAAG,kBAAkB,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;YAC3D,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBAClC,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,uBAAuB,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;gBACtF,OAAO,IAAI,SAAS,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;YACvD,CAAC;YACD,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBAClC,KAAK,CAAC,CAAC,WAAW,CAAC,EAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;gBACxC,OAAO,IAAI,qBAAqB,CAAC,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC,CAAC;YAC9D,CAAC;YACD,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;gBACxC,KAAK,CAAC,CAAC,WAAW,CAAC,EAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;YAC5D,CAAC;YACD,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;gBACnD,KAAK,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;YAC/C,CAAC;YACD,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,CAAC,GAAG,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;YACrF,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC;YACtC,MAAM,OAAO,GAAG,IAAI,OAAO,CAAC;gBAC1B,EAAE,EAAE,SAAS;gBACb,KAAK;gBACL,QAAQ,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI;gBAC3B,MAAM;gBACN,MAAM,EAAE,QAAQ,CAAC,MAAM;gBACvB,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,KAAK;gBAC1B,WAAW,EAAE,OAAO,CAAC,WAAW;gBAChC,SAAS;gBACT,OAAO,EAAE,MAAM,CAAC,IAAI,EAAE;aACvB,CAAC,CAAC;YACH,KAAK,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;YAC9B,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,iBAAiB,EAAE;gBACvC,KAAK;gBACL,SAAS;gBACT,MAAM,EAAE,QAAQ,CAAC,MAAM;gBACvB,MAAM;aACP,CAAC,CAAC;YACH,OAAO,IAAI,cAAc,CAAC;gBACxB,SAAS,EAAE,IAAI,aAAa,CAAC;oBAC3B,OAAO;oBACP,KAAK,EAAE,OAAO,CAAC,KAAK;oBACpB,GAAG,EAAE,IAAI,GAAG,CAAC;wBACX,EAAE,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE;wBAClB,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,OAAO;wBAC5B,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI;wBACtB,KAAK,EAAE,QAAQ,CAAC,KAAK;wBACrB,QAAQ,EAAE,OAAO,CAAC,GAAG,CAAC,QAAQ;qBAC/B,CAAC;oBACF,IAAI,EAAE,OAAO,CAAC,IAAI;oBAClB,UAAU,EAAE,OAAO,CAAC,UAAU;oBAC9B,QAAQ,EAAE,OAAO,CAAC,QAAQ;oBAC1B,IAAI,EAAE,OAAO,CAAC,IAAI;oBAClB,KAAK,EAAE,OAAO,CAAC,KAAK;oBACpB,WAAW,EAAE,OAAO,CAAC,WAAW;iBACjC,CAAC;aACH,CAAC,CAAC;QACL,CAAC,CAAC,CACH,CAAC;IACJ,CAAC,EAAE,WAAW,CAAC,eAAe,CAAC,CAAC,CAAC;IAEjC,MAAM,aAAa,GAAG,MAAM,CAAC,EAAE,CAAC,wBAAwB,CAAC,CAAC,QAAQ,CAAC,EACjE,OAAgB,EAChB,MAAiD;QAEjD,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,SAAS,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC;QACnF,OAAO,KAAK,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,EAAE,CACjD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,EAAE,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC;YACnC,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAClD,MAAM,QAAQ,GAAG,mBAAmB,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;YAClE,KAAK,CAAC,CAAC,WAAW,CAAC,EAAE,EAAE,OAAO,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;YAChD,OAAO,QAAQ,CAAC;QAClB,CAAC,CAAC,CACH,CAAC;IACJ,CAAC,EAAE,WAAW,CAAC,gBAAgB,CAAC,CAAC,CAAC;IAElC,MAAM,OAAO,GAAG,MAAM,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC,QAAQ,CAAC,EAAE,KAAY,EAAE,QAAe;QACpF,KAAK,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,EAAE,CAC1C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,EAAE,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC;YACnC,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,KAAK,CAAC;gBAAE,OAAO;YAC5C,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YAC1C,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACzC,OAAO,KAAK,CAAC,CAAC,IAAI,yBAAyB,CAAC;oBAC1C,KAAK;oBACL,SAAS,EAAE,SAAS;oBACpB,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI;iBAC9B,CAAC,CAAC;YACL,CAAC;YACD,KAAK,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;YAC1C,KAAK,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;YAClE,KAAK,CAAC,CAAC,EAAE,CAAC,sBAAsB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QACrD,CAAC,CAAC,CACH,CAAC;IACJ,CAAC,EAAE,WAAW,CAAC,aAAa,CAAC,CAAC,CAAC;IAE/B,MAAM,KAAK,GAAG,MAAM,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC,QAAQ,CAAC,EAAE,KAAY;QAC/D,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QAC7C,KAAK,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,EAAE,CAC1C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,EAAE,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC;YACnC,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YAC1C,MAAM,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC;YACnF,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,wBAAwB,EAAE;gBAC9C,KAAK;gBACL,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI;gBAC7B,QAAQ,EAAE,QAAQ,CAAC,IAAI;aACxB,CAAC,CAAC;YACH,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC/B,KAAK,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;gBAC7C,KAAK,CAAC,CAAC,EAAE,CAAC,sBAAsB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;gBAClD,OAAO;YACT,CAAC;YACD,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe;gBAAE,OAAO;YAC9C,OAAO,KAAK,CAAC,CAAC,IAAI,yBAAyB,CAAC;gBAC1C,KAAK;gBACL,SAAS,EAAE,OAAO;gBAClB,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI;aAC9B,CAAC,CAAC;QACL,CAAC,CAAC,CACH,CAAC;IACJ,CAAC,EAAE,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC;IAE7B,MAAM,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC,QAAQ,CAAC,EAAE,KAAY;QACjE,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QAC7C,OAAO,KAAK,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,EAAE,CACjD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,EAAE,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC;YACnC,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YAC1C,MAAM,QAAQ,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;YACpC,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,+BAA+B,EAAE;gBACrD,KAAK;gBACL,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI;gBAC7B,QAAQ,EAAE,QAAQ,CAAC,IAAI;aACxB,CAAC,CAAC;YACH,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe;gBAAE,OAAO,QAAQ,CAAC;YACvD,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;gBACpC,KAAK,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,EAAE,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACpF,CAAC;YACD,KAAK,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;YAC7C,KAAK,CAAC,CAAC,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC;YAClC,KAAK,CAAC,CAAC,EAAE,CAAC,sBAAsB,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;YACpD,MAAM,QAAQ,GAAkB;gBAC9B,IAAI,EAAE,UAAU;gBAChB,WAAW,EAAE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;aAC1D,CAAC;YACF,OAAO,QAAQ,CAAC;QAClB,CAAC,CAAC,CACH,CAAC;IACJ,CAAC,EAAE,WAAW,CAAC,YAAY,CAAC,CAAC,CAAC;IAE9B,MAAM,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC,QAAQ,CAAC,EAAE,IAAc,EAAE,OAAgB;QACrF,OAAO,KAAK,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,EAAE,CACjD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,EAAE,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC;YACnC,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAC5D,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;gBAC7B,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBAC9C,IAAI,QAAQ,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC5C,KAAK,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;oBACrE,KAAK,CAAC,CAAC,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBACxC,CAAC;YACH,CAAC;YACD,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC5C,CAAC,CAAC,CACH,CAAC;IACJ,CAAC,EAAE,WAAW,CAAC,YAAY,CAAC,CAAC,CAAC;IAE9B,MAAM,WAAW,GAAG,MAAM,CAAC,EAAE,CAAC,sBAAsB,CAAC,CAAC,QAAQ,CAAC,EAC7D,UAAsB,EACtB,KAAY;QAEZ,OAAO,KAAK,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,EAAE,CACjD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,EAAE,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC;YACnC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAC5D,IAAI,QAAQ,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;gBAC9B,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YACrF,CAAC;YACD,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC7D,OAAO,MAAM,CAAC,IAAI,EAAoB,CAAC;YACzC,CAAC;YACD,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC5E,OAAO,MAAM,CAAC,IAAI,EAAoB,CAAC;YACzC,CAAC;YACD,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC;gBAAE,OAAO,MAAM,CAAC,IAAI,EAAoB,CAAC;YAC3F,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC;YACtD,OAAO,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS;gBACtC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC;gBAC1D,CAAC,CAAC,MAAM,CAAC,IAAI,EAAoB,CAAC;QACtC,CAAC,CAAC,CACH,CAAC;IACJ,CAAC,EAAE,WAAW,CAAC,oBAAoB,CAAC,CAAC,CAAC;IAEtC,MAAM,WAAW,GAAG,MAAM,CAAC,EAAE,CAAC,sBAAsB,CAAC,CAAC,QAAQ,CAAC;QAC7D,OAAO,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,GAAG,CACvC,CAAC,GAAG,EAAE,EAAE,CACN,IAAI,cAAc,CAAC;YACjB,UAAU,EAAE,iBAAiB,CAAC,GAAG,CAAC;YAClC,KAAK,EAAE,GAAG,CAAC,KAAK;YAChB,KAAK,EAAE,GAAG,CAAC,KAAK;SACjB,CAAC,CACL,CAAC;IACJ,CAAC,EAAE,WAAW,CAAC,uBAAuB,CAAC,CAAC,CAAC;IAEzC,MAAM,gBAAgB,GAAG,MAAM,CAAC,EAAE,CAAC,2BAA2B,CAAC,CAAC,QAAQ,CAAC,EACvE,SAAmC,EACnC,QAAiC;QAEjC,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC;QACvC,KAAK,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,EAAE,CAC1C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,EAAE,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC;YACnC,IAAI,SAAS,KAAK,UAAU,IAAI,QAAQ,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACpE,KAAK,CAAC,CAAC,EAAE,CAAC,wBAAwB,CAAC,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;YACvF,CAAC;YACD,KAAK,CAAC,CAAC,EAAE,CAAC,gBAAgB,CAAC,SAAS,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;QAC9D,CAAC,CAAC,CACH,CAAC;IACJ,CAAC,EAAE,WAAW,CAAC,2BAA2B,CAAC,CAAC,CAAC;IAE7C,MAAM,UAAU,GAAG,MAAM,CAAC,EAAE,CAAC,qBAAqB,CAAC,CAAC,QAAQ,CAAC,EAAE,KAAsB;QACnF,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IAC1C,CAAC,EAAE,WAAW,CAAC,yBAAyB,CAAC,CAAC,CAAC;IAE3C,MAAM,mBAAmB,GAAG,MAAM,CAAC,EAAE,CAAC,8BAA8B,CAAC,CAAC,QAAQ,CAAC,EAC7E,KAAY,EACZ,MAAmD;QAEnD,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QAC7C,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC/B,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,iCAAiC,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC;YAC1F,OAAO;QACT,CAAC;QACD,KAAK,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,EAAE,CAC1C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,EAAE,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC;YACnC,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YAC1C,0EAA0E;YAC1E,uEAAuE;YACvE,MAAM,UAAU,GAA6D,IAAI,CAAC,SAAS,CACzF,MAAM,CAAC,IAAI,CACZ;gBACC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAChD,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;YACtE,IAAI,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC9B,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,iCAAiC,EAAE;oBACvD,KAAK;oBACL,MAAM,EAAE,gBAAgB;iBACzB,CAAC,CAAC;gBACH,OAAO;YACT,CAAC;YACD,KAAK,CAAC,CAAC,WAAW,CAAC,EAAE,EAAE,KAAK,EAAE,gBAAgB,CAAC,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC;QAC7E,CAAC,CAAC,CACH,CAAC;IACJ,CAAC,EAAE,WAAW,CAAC,+BAA+B,CAAC,CAAC,CAAC;IAEjD,OAAO;QACL,OAAO;QACP,gBAAgB;QAChB,YAAY;QACZ,MAAM;QACN,WAAW;QACX,uBAAuB,EAAE,CAAC,KAAY,EAAE,OAAwB,EAAE,EAAE,CAClE,OAAO;aACJ,uBAAuB,CAAC,KAAK,EAAE,OAAO,CAAC;aACvC,IAAI,CAAC,WAAW,CAAC,2BAA2B,CAAC,CAAC;QACnD,aAAa;QACb,UAAU,EAAE,CAAC,KAAY,EAAE,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,CAAC;QAC9F,eAAe;QACf,uBAAuB,EAAE,OAAO;aAC7B,uBAAuB,EAAE;aACzB,IAAI,CAAC,WAAW,CAAC,gCAAgC,CAAC,CAAC;QACtD,cAAc;QACd,mBAAmB;QACnB,WAAW,EAAE,WAAW,EAAE;QAC1B,KAAK;QACL,MAAM;QACN,QAAQ,EAAE,CAAC,KAAY,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;QACjF,UAAU;KACF,CAAC;AACb,CAAC,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,OAAO,QAAS,SAAQ,OAAO,CAAC,OAAO,EAuD1C,CAAC,iCAAiC,CAAC;IACpC,MAAM,CAAU,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;CAC9D"}

package/dist/transcript.d.ts

@@ -0,0 +1,64 @@
+import * as AttemptChannel from "@usine/core/attempt/channel";
+import { Schema } from "effect";
+/**
+ * Global append order of the persisted transcript. Distinct from
+ * `AttemptChannel.Sequence`, which orders messages within one Attempt's channel
+ * direction.
+ */
+export declare const TranscriptSequence: Schema.brand<Schema.Int, "TranscriptSequence">;
+export type TranscriptSequence = typeof TranscriptSequence.Type;
+declare const TranscriptEntry_base: Schema.Class<TranscriptEntry, Schema.Struct<{
+    readonly sequence: Schema.brand<Schema.Int, "TranscriptSequence">;
+    readonly attemptId: Schema.brand<Schema.NonEmptyString, "AttemptId">;
+    readonly direction: Schema.Literals<readonly ["inbound", "outbound"]>;
+    readonly envelope: Schema.Union<readonly [Schema.Union<readonly [typeof AttemptChannel.OutboundEnvelope, typeof AttemptChannel.InboundEnvelope]>, Schema.Union<readonly [Schema.Struct<{
+        readonly _tag: Schema.tag<"OutboundEnvelope">;
+        readonly attemptId: Schema.brand<Schema.NonEmptyString, "AttemptId">;
+        readonly sequence: Schema.brand<Schema.Int, "AttemptChannelSequence">;
+        readonly sentAt: Schema.DateTimeUtcFromString;
+        readonly payload: Schema.Union<readonly [typeof AttemptChannel.Started, typeof AttemptChannel.SessionEvent, typeof AttemptChannel.Final, typeof AttemptChannel.Failed, typeof AttemptChannel.Interrupted]>;
+        readonly version: Schema.Literal<3>;
+    }>, Schema.Struct<{
+        readonly _tag: Schema.tag<"InboundEnvelope">;
+        readonly attemptId: Schema.brand<Schema.NonEmptyString, "AttemptId">;
+        readonly sequence: Schema.brand<Schema.Int, "AttemptChannelSequence">;
+        readonly sentAt: Schema.DateTimeUtcFromString;
+        readonly payload: Schema.Union<readonly [typeof AttemptChannel.Steer, typeof AttemptChannel.Interrupt]>;
+        readonly version: Schema.Literal<3>;
+    }>]>]>;
+    readonly receivedAt: Schema.DateTimeUtc;
+}>, {}>;
+/** One append-only row of an Attempt transcript. */
+export declare class TranscriptEntry extends TranscriptEntry_base {
+}
+declare const TranscriptAllQuery_base: Schema.Class<TranscriptAllQuery, Schema.TaggedStruct<"TranscriptAllQuery", {
+    readonly attemptId: Schema.brand<Schema.NonEmptyString, "AttemptId">;
+}>, {}>;
+/** All persisted rows for one Attempt, in append order. */
+export declare class TranscriptAllQuery extends TranscriptAllQuery_base {
+}
+declare const TranscriptTailQuery_base: Schema.Class<TranscriptTailQuery, Schema.TaggedStruct<"TranscriptTailQuery", {
+    readonly attemptId: Schema.brand<Schema.NonEmptyString, "AttemptId">;
+    /** Last row already received; the response excludes this row. */
+    readonly after: Schema.brand<Schema.Int, "TranscriptSequence">;
+    /** Maximum number of newer rows to return. */
+    readonly limit: Schema.Int;
+}>, {}>;
+/** The next bounded set of rows after a cursor, in append order, for following an Attempt's activity. */
+export declare class TranscriptTailQuery extends TranscriptTailQuery_base {
+}
+declare const TranscriptPageQuery_base: Schema.Class<TranscriptPageQuery, Schema.TaggedStruct<"TranscriptPageQuery", {
+    readonly attemptId: Schema.brand<Schema.NonEmptyString, "AttemptId">;
+    /** Earliest row already loaded, excluded from the response; `None` starts at the current tail. */
+    readonly before: Schema.Option<Schema.brand<Schema.Int, "TranscriptSequence">>;
+    /** Maximum number of earlier rows to return. */
+    readonly limit: Schema.Int;
+}>, {}>;
+/** The newest bounded page before a cursor, returned in append order for loading earlier activity. */
+export declare class TranscriptPageQuery extends TranscriptPageQuery_base {
+}
+/** Selects a complete Attempt transcript, newer activity, or an earlier page. */
+export declare const TranscriptQuery: Schema.Union<readonly [typeof TranscriptAllQuery, typeof TranscriptTailQuery, typeof TranscriptPageQuery]>;
+export type TranscriptQuery = typeof TranscriptQuery.Type;
+export {};
+//# sourceMappingURL=transcript.d.ts.map

package/dist/transcript.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"transcript.d.ts","sourceRoot":"","sources":["../src/transcript.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,cAAc,MAAM,6BAA6B,CAAC;AAE9D,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,gDAE9B,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG,OAAO,kBAAkB,CAAC,IAAI,CAAC;;;;;;;;;;;;;;;;;;;;;;AAkBhE,oDAAoD;AACpD,qBAAa,eAAgB,SAAQ,oBAQpC;CAAG;;;;AAEJ,2DAA2D;AAC3D,qBAAa,kBAAmB,SAAQ,uBAES;CAAG;;;IAOlD,iEAAiE;;IAEjE,8CAA8C;;;AAPhD,yGAAyG;AACzG,qBAAa,mBAAoB,SAAQ,wBAQvC;CAAG;;;IAOH,kGAAkG;;IAElG,gDAAgD;;;AAPlD,sGAAsG;AACtG,qBAAa,mBAAoB,SAAQ,wBAQvC;CAAG;AAEL,iFAAiF;AACjF,eAAO,MAAM,eAAe,4GAI1B,CAAC;AAEH,MAAM,MAAM,eAAe,GAAG,OAAO,eAAe,CAAC,IAAI,CAAC"}