@usine/engine 0.1.0 → 0.3.0

package/dist/store/codec.d.ts

@@ -1,6 +1,17 @@
-import { Agent, Attempt, AttemptChannel, Event, Run, RunState, Step, StepResult } from "@usine/core";
+import { Agent } from "@usine/core/agent";
+import { BrainSpec } from "@usine/core/agent/brain";
+import { Attempt } from "@usine/core/attempt";
+import * as AttemptChannel from "@usine/core/attempt/channel";
+import { Event } from "@usine/core/event";
+import { Run } from "@usine/core/run";
+import { Step } from "@usine/core/step";
+import * as RunState from "@usine/core/run/state";
+import { StepResult } from "@usine/core/step/result";
 import { Effect, Schema } from "effect";
-import { RunStoreError, RunSummary, Submission, TranscriptEntry } from "../model.ts";
+import { RunStoreError } from "../engine/error.ts";
+import { Submission } from "../engine/submission.ts";
+import { RunSummary } from "../run-reader/model.ts";
+import { TranscriptEntry } from "../transcript.ts";
 export declare const EventRouteRow: Schema.Struct<{
     readonly eventId: Schema.brand<Schema.NonEmptyString, "EventId">;
     readonly dedupKey: Schema.brand<Schema.NonEmptyString, "DedupKey">;
@@ -10,27 +21,29 @@ export declare const EventRouteRow: Schema.Struct<{
     readonly loop: Schema.brand<Schema.NonEmptyString, "LoopName">;
     readonly step: Schema.brand<Schema.NonEmptyString, "StepName">;
     readonly approval: Schema.Literals<readonly ["none", "required"]>;
-    readonly repository: Schema.brand<Schema.String, "RepoName">;
+    readonly cycleLimit: Schema.NullOr<Schema.brand<Schema.Int, "CycleLimit">>;
+    readonly cycleGeneration: Schema.brand<Schema.Int, "CycleGeneration">;
+    readonly repository: Schema.brand<Schema.String, "RepositoryName">;
     readonly revision: Schema.brand<Schema.String, "RepositoryRevision">;
     readonly task: Schema.brand<Schema.String, "AttemptTask">;
-    readonly agent: typeof Agent.Agent;
+    readonly agent: typeof Agent;
     readonly parentModel: Schema.NullOr<Schema.brand<Schema.String, "ModelId">>;
 }>;
 export type EventRouteRow = typeof EventRouteRow.Type;
 export declare const RunRow: Schema.Struct<{
     readonly itemKey: Schema.brand<Schema.NonEmptyString, "ItemKey">;
-    readonly repository: Schema.brand<Schema.String, "RepoName">;
+    readonly repository: Schema.brand<Schema.String, "RepositoryName">;
     readonly revision: Schema.brand<Schema.String, "RepositoryRevision">;
     readonly task: Schema.brand<Schema.String, "AttemptTask">;
-    readonly agent: typeof Agent.Agent;
+    readonly agent: typeof Agent;
     readonly parentModel: Schema.NullOr<Schema.brand<Schema.String, "ModelId">>;
     readonly runId: Schema.brand<Schema.NonEmptyString, "RunId">;
     readonly eventId: Schema.brand<Schema.NonEmptyString, "EventId">;
     readonly loop: Schema.brand<Schema.NonEmptyString, "LoopName">;
-    readonly state: Schema.Union<readonly [typeof RunState.Pending, typeof RunState.Waiting, typeof RunState.Running, typeof RunState.Succeeded, typeof RunState.Failed, typeof RunState.Canceled]>;
+    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]>;
     readonly openedAt: Schema.DateTimeUtcFromString;
     readonly stepName: Schema.brand<Schema.NonEmptyString, "StepName">;
-    readonly result: Schema.NullOr<typeof StepResult.StepResult>;
+    readonly result: Schema.NullOr<typeof StepResult>;
 }>;
 export type RunRow = typeof RunRow.Type;
 export declare const AttemptRow: Schema.Struct<{
@@ -39,17 +52,50 @@ export declare const AttemptRow: Schema.Struct<{
     readonly stepName: Schema.brand<Schema.NonEmptyString, "StepName">;
     readonly worker: Schema.brand<Schema.String, "WorkerName">;
     readonly number: Schema.brand<Schema.Int, "AttemptNumber">;
-    readonly brain: typeof Agent.BrainSpec;
+    readonly brain: typeof BrainSpec;
+    readonly task: Schema.brand<Schema.String, "AttemptTask">;
+    readonly agent: Schema.brand<Schema.String, "AgentName">;
+    readonly operatorIntervened: Schema.Boolean;
     readonly parentModel: Schema.NullOr<Schema.brand<Schema.String, "ModelId">>;
     readonly startedAt: Schema.DateTimeUtcFromString;
-    readonly outcome: Schema.NullOr<Schema.Union<readonly [typeof Attempt.Succeeded, typeof Attempt.Failed, typeof Attempt.Canceled]>>;
+    readonly outcome: Schema.NullOr<Schema.Union<readonly [typeof import("@usine/core/attempt/outcome").AttemptSucceeded, typeof import("@usine/core/attempt/outcome").AttemptFailed, typeof import("@usine/core/attempt/outcome").AttemptCanceled]>>;
 }>;
 export type AttemptRow = typeof AttemptRow.Type;
 export declare const TranscriptRow: 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 [typeof AttemptChannel.OutboundEnvelope, typeof AttemptChannel.InboundEnvelope]>;
+    readonly envelope: Schema.Union<readonly [Schema.Union<readonly [typeof AttemptChannel.OutboundEnvelope, typeof AttemptChannel.InboundEnvelope]>, 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, typeof AttemptChannel.InterventionApplied, typeof AttemptChannel.InterventionRejected]>;
+        readonly version: Schema.Literal<5>;
+    }>, 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 target: Schema.withDecodingDefaultKey<Schema.Union<readonly [typeof AttemptChannel.ParentTarget, typeof AttemptChannel.ChildTarget]>, never>;
+        readonly operator: Schema.NonEmptyString;
+        readonly payload: Schema.Union<readonly [Schema.Union<readonly [typeof AttemptChannel.Steer, typeof AttemptChannel.Interrupt, typeof AttemptChannel.OperatorMessage, typeof AttemptChannel.Release]>, typeof AttemptChannel.Cancel]>;
+        readonly version: Schema.Literal<5>;
+    }>, 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, typeof AttemptChannel.InterventionApplied, typeof AttemptChannel.InterventionRejected]>;
+        readonly version: Schema.Literals<readonly [3, 4]>;
+    }>, Schema.Struct<{
+        readonly _tag: Schema.Literal<"InboundEnvelope">;
+        readonly version: Schema.Literals<readonly [3, 4]>;
+        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 receivedAt: Schema.DateTimeUtcFromString;
 }>;
 export type TranscriptRow = typeof TranscriptRow.Type;
@@ -67,26 +113,28 @@ export declare const decodeEventRoutes: (input: unknown, options?: import("effec
     readonly loop: string & import("effect/Brand").Brand<"LoopName">;
     readonly step: string & import("effect/Brand").Brand<"StepName">;
     readonly approval: "none" | "required";
-    readonly repository: string & import("effect/Brand").Brand<"RepoName">;
+    readonly cycleLimit: (number & import("effect/Brand").Brand<"CycleLimit">) | null;
+    readonly cycleGeneration: number & import("effect/Brand").Brand<"CycleGeneration">;
+    readonly repository: string & import("effect/Brand").Brand<"RepositoryName">;
     readonly revision: string & import("effect/Brand").Brand<"RepositoryRevision">;
     readonly task: string & import("effect/Brand").Brand<"AttemptTask">;
-    readonly agent: Agent.Agent;
+    readonly agent: Agent;
     readonly parentModel: (string & import("effect/Brand").Brand<"ModelId">) | null;
 }[], Schema.SchemaError, never>;
 export declare const decodeRunRows: (input: unknown, options?: import("effect/SchemaAST").ParseOptions) => Effect.Effect<readonly {
     readonly itemKey: string & import("effect/Brand").Brand<"ItemKey">;
-    readonly repository: string & import("effect/Brand").Brand<"RepoName">;
+    readonly repository: string & import("effect/Brand").Brand<"RepositoryName">;
     readonly revision: string & import("effect/Brand").Brand<"RepositoryRevision">;
     readonly task: string & import("effect/Brand").Brand<"AttemptTask">;
-    readonly agent: Agent.Agent;
+    readonly agent: Agent;
     readonly parentModel: (string & import("effect/Brand").Brand<"ModelId">) | null;
     readonly runId: string & import("effect/Brand").Brand<"RunId">;
     readonly eventId: string & import("effect/Brand").Brand<"EventId">;
     readonly loop: string & import("effect/Brand").Brand<"LoopName">;
-    readonly state: RunState.Canceled | RunState.Failed | RunState.Pending | RunState.Running | RunState.Succeeded | RunState.Waiting;
+    readonly state: RunState.Canceled | RunState.Failed | RunState.Pending | RunState.Queued | RunState.Running | RunState.Succeeded | RunState.Waiting;
     readonly openedAt: import("effect/DateTime").Utc;
     readonly stepName: string & import("effect/Brand").Brand<"StepName">;
-    readonly result: StepResult.StepResult | null;
+    readonly result: StepResult | null;
 }[], Schema.SchemaError, never>;
 export declare const decodeAttemptRows: (input: unknown, options?: import("effect/SchemaAST").ParseOptions) => Effect.Effect<readonly {
     readonly attemptId: string & import("effect/Brand").Brand<"AttemptId">;
@@ -94,10 +142,13 @@ export declare const decodeAttemptRows: (input: unknown, options?: import("effec
     readonly stepName: string & import("effect/Brand").Brand<"StepName">;
     readonly worker: string & import("effect/Brand").Brand<"WorkerName">;
     readonly number: number & import("effect/Brand").Brand<"AttemptNumber">;
-    readonly brain: Agent.BrainSpec;
+    readonly brain: BrainSpec;
+    readonly task: string & import("effect/Brand").Brand<"AttemptTask">;
+    readonly agent: string & import("effect/Brand").Brand<"AgentName">;
+    readonly operatorIntervened: boolean;
     readonly parentModel: (string & import("effect/Brand").Brand<"ModelId">) | null;
     readonly startedAt: import("effect/DateTime").Utc;
-    readonly outcome: Attempt.Canceled | Attempt.Failed | Attempt.Succeeded | null;
+    readonly outcome: import("@usine/core/attempt/outcome").AttemptCanceled | import("@usine/core/attempt/outcome").AttemptFailed | import("@usine/core/attempt/outcome").AttemptSucceeded | null;
 }[], Schema.SchemaError, never>;
 export declare const decodeRecoverableRuns: (input: unknown, options?: import("effect/SchemaAST").ParseOptions) => Effect.Effect<readonly {
     readonly eventId: string & import("effect/Brand").Brand<"EventId">;
@@ -108,13 +159,15 @@ export declare const decodeRecoverableRuns: (input: unknown, options?: import("e
     readonly loop: string & import("effect/Brand").Brand<"LoopName">;
     readonly step: string & import("effect/Brand").Brand<"StepName">;
     readonly approval: "none" | "required";
-    readonly repository: string & import("effect/Brand").Brand<"RepoName">;
+    readonly cycleLimit: (number & import("effect/Brand").Brand<"CycleLimit">) | null;
+    readonly cycleGeneration: number & import("effect/Brand").Brand<"CycleGeneration">;
+    readonly repository: string & import("effect/Brand").Brand<"RepositoryName">;
     readonly revision: string & import("effect/Brand").Brand<"RepositoryRevision">;
     readonly task: string & import("effect/Brand").Brand<"AttemptTask">;
-    readonly agent: Agent.Agent;
+    readonly agent: Agent;
     readonly parentModel: (string & import("effect/Brand").Brand<"ModelId">) | null;
     readonly runId: string & import("effect/Brand").Brand<"RunId">;
-    readonly state: RunState.Canceled | RunState.Failed | RunState.Pending | RunState.Running | RunState.Succeeded | RunState.Waiting;
+    readonly state: RunState.Canceled | RunState.Failed | RunState.Pending | RunState.Queued | RunState.Running | RunState.Succeeded | RunState.Waiting;
 }[], Schema.SchemaError, never>;
 export declare const decodeRunIds: (input: unknown, options?: import("effect/SchemaAST").ParseOptions) => Effect.Effect<readonly {
     readonly runId: string & import("effect/Brand").Brand<"RunId">;
@@ -133,19 +186,51 @@ export declare const decodeTranscriptRows: (input: unknown, options?: import("ef
     readonly sequence: number & import("effect/Brand").Brand<"TranscriptSequence">;
     readonly attemptId: string & import("effect/Brand").Brand<"AttemptId">;
     readonly direction: "inbound" | "outbound";
-    readonly envelope: AttemptChannel.InboundEnvelope | AttemptChannel.OutboundEnvelope;
+    readonly envelope: AttemptChannel.InboundEnvelope | AttemptChannel.OutboundEnvelope | {
+        readonly _tag: "OutboundEnvelope";
+        readonly attemptId: string & import("effect/Brand").Brand<"AttemptId">;
+        readonly sequence: number & import("effect/Brand").Brand<"AttemptChannelSequence">;
+        readonly sentAt: import("effect/DateTime").Utc;
+        readonly payload: AttemptChannel.Failed | AttemptChannel.Final | AttemptChannel.Interrupted | AttemptChannel.InterventionApplied | AttemptChannel.InterventionRejected | AttemptChannel.SessionEvent | AttemptChannel.Started;
+        readonly version: 5;
+    } | {
+        readonly _tag: "InboundEnvelope";
+        readonly attemptId: string & import("effect/Brand").Brand<"AttemptId">;
+        readonly sequence: number & import("effect/Brand").Brand<"AttemptChannelSequence">;
+        readonly sentAt: import("effect/DateTime").Utc;
+        readonly target: AttemptChannel.ChildTarget | AttemptChannel.ParentTarget;
+        readonly operator: string;
+        readonly payload: AttemptChannel.Cancel | AttemptChannel.Interrupt | AttemptChannel.OperatorMessage | AttemptChannel.Release | AttemptChannel.Steer;
+        readonly version: 5;
+    } | {
+        readonly _tag: "OutboundEnvelope";
+        readonly attemptId: string & import("effect/Brand").Brand<"AttemptId">;
+        readonly sequence: number & import("effect/Brand").Brand<"AttemptChannelSequence">;
+        readonly sentAt: import("effect/DateTime").Utc;
+        readonly payload: AttemptChannel.Failed | AttemptChannel.Final | AttemptChannel.Interrupted | AttemptChannel.InterventionApplied | AttemptChannel.InterventionRejected | AttemptChannel.SessionEvent | AttemptChannel.Started;
+        readonly version: 3 | 4;
+    } | {
+        readonly _tag: "InboundEnvelope";
+        readonly version: 3 | 4;
+        readonly attemptId: string & import("effect/Brand").Brand<"AttemptId">;
+        readonly sequence: number & import("effect/Brand").Brand<"AttemptChannelSequence">;
+        readonly sentAt: import("effect/DateTime").Utc;
+        readonly payload: AttemptChannel.Interrupt | AttemptChannel.Steer;
+    };
     readonly receivedAt: import("effect/DateTime").Utc;
 }[], Schema.SchemaError, never>;
 export declare const encodePayload: (input: Schema.Json, options?: import("effect/SchemaAST").ParseOptions) => Schema.Json;
 export declare const encodeDateTime: (input: import("effect/DateTime").Utc, options?: import("effect/SchemaAST").ParseOptions) => string;
-export declare const encodeRunState: (input: RunState.Canceled | RunState.Failed | RunState.Pending | RunState.Running | RunState.Succeeded | RunState.Waiting, options?: import("effect/SchemaAST").ParseOptions) => {
+export declare const encodeRunState: (input: RunState.Canceled | RunState.Failed | RunState.Pending | RunState.Queued | RunState.Running | RunState.Succeeded | RunState.Waiting, options?: import("effect/SchemaAST").ParseOptions) => {
+    readonly _tag: "Succeeded";
+} | {
     readonly _tag: "Pending";
 } | {
     readonly _tag: "Waiting";
 } | {
-    readonly _tag: "Running";
+    readonly _tag: "Queued";
 } | {
-    readonly _tag: "Succeeded";
+    readonly _tag: "Running";
 } | {
     readonly _tag: "Failed";
 } | {
@@ -159,7 +244,7 @@ export declare const encodeRunState: (input: RunState.Canceled | RunState.Failed
         readonly _tag: "Revoked";
     };
 };
-export declare const encodeOutcome: (input: Attempt.Canceled | Attempt.Failed | Attempt.Succeeded, options?: import("effect/SchemaAST").ParseOptions) => {
+export declare const encodeOutcome: (input: import("@usine/core/attempt/outcome").AttemptCanceled | import("@usine/core/attempt/outcome").AttemptFailed | import("@usine/core/attempt/outcome").AttemptSucceeded, options?: import("effect/SchemaAST").ParseOptions) => {
     readonly _tag: "Succeeded";
 } | {
     readonly _tag: "Failed";
@@ -167,17 +252,25 @@ export declare const encodeOutcome: (input: Attempt.Canceled | Attempt.Failed |
         readonly _tag: "InfraFailure";
         readonly message: string;
         readonly cause: Schema.Json;
+    } | {
+        readonly _tag: "DefectFailure";
+        readonly message: string;
+        readonly cause: Schema.Json;
     } | {
         readonly _tag: "AgentFailure";
         readonly message: string;
     } | {
         readonly _tag: "RunawayFailure";
         readonly ceiling: "tokens" | "wall-clock";
+    } | {
+        readonly _tag: "ChildSessionBudgetFailure";
+        readonly maxChildren: number;
+        readonly attemptedChildren: number;
     };
 } | {
     readonly _tag: "Canceled";
 };
-export declare const encodeStepResult: (input: StepResult.StepResult, options?: import("effect/SchemaAST").ParseOptions) => {
+export declare const encodeStepResult: (input: StepResult, options?: import("effect/SchemaAST").ParseOptions) => {
     readonly message: string;
     readonly facts: readonly ({
         readonly _tag: "Commit";
@@ -186,15 +279,15 @@ export declare const encodeStepResult: (input: StepResult.StepResult, options?:
     } | {
         readonly _tag: "PullRequest";
         readonly number: number;
-        readonly url: URL;
+        readonly url: string;
     } | {
         readonly _tag: "Comment";
-        readonly url: URL;
+        readonly url: string;
     })[];
 };
 export declare const encodeEnvelope: (input: AttemptChannel.InboundEnvelope | AttemptChannel.OutboundEnvelope, options?: import("effect/SchemaAST").ParseOptions) => {
     readonly _tag: "OutboundEnvelope";
-    readonly version: 3;
+    readonly version: 6;
     readonly attemptId: string;
     readonly sequence: number;
     readonly sentAt: string;
@@ -225,6 +318,10 @@ export declare const encodeEnvelope: (input: AttemptChannel.InboundEnvelope | At
                     readonly effort: "high" | "low" | "max" | "medium" | "minimal" | "off" | "xhigh";
                 };
             };
+            readonly harnessSession?: {
+                readonly id: string;
+                readonly cwd: string;
+            };
         } | {
             readonly _tag: "TextOutput";
             readonly session: {
@@ -358,6 +455,73 @@ export declare const encodeEnvelope: (input: AttemptChannel.InboundEnvelope | At
                     readonly effort: "high" | "low" | "max" | "medium" | "minimal" | "off" | "xhigh";
                 };
             };
+        } | {
+            readonly _tag: "SessionIdle";
+            readonly session: {
+                readonly _tag: "ParentSession";
+                readonly id: string;
+                readonly agent: string;
+                readonly brain: {
+                    readonly harness: "claude" | "codex" | "pi";
+                    readonly model: string;
+                    readonly effort: "high" | "low" | "max" | "medium" | "minimal" | "off" | "xhigh";
+                };
+            } | {
+                readonly _tag: "ChildSession";
+                readonly id: string;
+                readonly parentId: string;
+                readonly agent: string;
+                readonly brain: {
+                    readonly harness: "claude" | "codex" | "pi";
+                    readonly model: string;
+                    readonly effort: "high" | "low" | "max" | "medium" | "minimal" | "off" | "xhigh";
+                };
+            };
+        } | {
+            readonly _tag: "SessionResumed";
+            readonly session: {
+                readonly _tag: "ParentSession";
+                readonly id: string;
+                readonly agent: string;
+                readonly brain: {
+                    readonly harness: "claude" | "codex" | "pi";
+                    readonly model: string;
+                    readonly effort: "high" | "low" | "max" | "medium" | "minimal" | "off" | "xhigh";
+                };
+            } | {
+                readonly _tag: "ChildSession";
+                readonly id: string;
+                readonly parentId: string;
+                readonly agent: string;
+                readonly brain: {
+                    readonly harness: "claude" | "codex" | "pi";
+                    readonly model: string;
+                    readonly effort: "high" | "low" | "max" | "medium" | "minimal" | "off" | "xhigh";
+                };
+            };
+        } | {
+            readonly _tag: "SessionTokensUpdated";
+            readonly session: {
+                readonly _tag: "ParentSession";
+                readonly id: string;
+                readonly agent: string;
+                readonly brain: {
+                    readonly harness: "claude" | "codex" | "pi";
+                    readonly model: string;
+                    readonly effort: "high" | "low" | "max" | "medium" | "minimal" | "off" | "xhigh";
+                };
+            } | {
+                readonly _tag: "ChildSession";
+                readonly id: string;
+                readonly parentId: string;
+                readonly agent: string;
+                readonly brain: {
+                    readonly harness: "claude" | "codex" | "pi";
+                    readonly model: string;
+                    readonly effort: "high" | "low" | "max" | "medium" | "minimal" | "off" | "xhigh";
+                };
+            };
+            readonly totalTokens: number;
         };
     } | {
         readonly _tag: "Final";
@@ -370,10 +534,10 @@ export declare const encodeEnvelope: (input: AttemptChannel.InboundEnvelope | At
             } | {
                 readonly _tag: "PullRequest";
                 readonly number: number;
-                readonly url: URL;
+                readonly url: string;
             } | {
                 readonly _tag: "Comment";
-                readonly url: URL;
+                readonly url: string;
             })[];
         };
     } | {
@@ -382,30 +546,103 @@ export declare const encodeEnvelope: (input: AttemptChannel.InboundEnvelope | At
             readonly _tag: "InfraFailure";
             readonly message: string;
             readonly cause: Schema.Json;
+        } | {
+            readonly _tag: "DefectFailure";
+            readonly message: string;
+            readonly cause: Schema.Json;
         } | {
             readonly _tag: "AgentFailure";
             readonly message: string;
         } | {
             readonly _tag: "RunawayFailure";
             readonly ceiling: "tokens" | "wall-clock";
+        } | {
+            readonly _tag: "ChildSessionBudgetFailure";
+            readonly maxChildren: number;
+            readonly attemptedChildren: number;
         };
     } | {
         readonly _tag: "Interrupted";
+    } | {
+        readonly _tag: "InterventionApplied";
+        readonly inputSequence: number;
+        readonly intervention: {
+            readonly operator: string;
+            readonly target: {
+                readonly _tag: "Parent";
+            } | {
+                readonly _tag: "Child";
+                readonly sessionId: string;
+            };
+            readonly action: {
+                readonly _tag: "Steer";
+                readonly message: string;
+            } | {
+                readonly _tag: "Interrupt";
+            } | {
+                readonly _tag: "OperatorMessage";
+                readonly message: string;
+            } | {
+                readonly _tag: "Release";
+            };
+        };
+        readonly state: {
+            readonly held: boolean;
+            readonly paused: boolean;
+        };
+    } | {
+        readonly _tag: "InterventionRejected";
+        readonly inputSequence: number;
+        readonly intervention: {
+            readonly operator: string;
+            readonly target: {
+                readonly _tag: "Parent";
+            } | {
+                readonly _tag: "Child";
+                readonly sessionId: string;
+            };
+            readonly action: {
+                readonly _tag: "Steer";
+                readonly message: string;
+            } | {
+                readonly _tag: "Interrupt";
+            } | {
+                readonly _tag: "OperatorMessage";
+                readonly message: string;
+            } | {
+                readonly _tag: "Release";
+            };
+        };
+        readonly message: string;
     };
 } | {
     readonly _tag: "InboundEnvelope";
-    readonly version: 3;
+    readonly version: 6;
     readonly attemptId: string;
     readonly sequence: number;
     readonly sentAt: string;
+    readonly target?: {
+        readonly _tag: "Parent";
+    } | {
+        readonly _tag: "Child";
+        readonly sessionId: string;
+    };
+    readonly operator: string;
     readonly payload: {
         readonly _tag: "Steer";
         readonly message: string;
     } | {
         readonly _tag: "Interrupt";
+    } | {
+        readonly _tag: "OperatorMessage";
+        readonly message: string;
+    } | {
+        readonly _tag: "Release";
+    } | {
+        readonly _tag: "Cancel";
     };
 };
-export declare const encodeAgent: (input: Agent.Agent, options?: import("effect/SchemaAST").ParseOptions) => {
+export declare const encodeAgent: (input: Agent, options?: import("effect/SchemaAST").ParseOptions) => {
     readonly name: string;
     readonly brain: {
         readonly harness: "claude" | "codex" | "pi";
@@ -413,19 +650,20 @@ export declare const encodeAgent: (input: Agent.Agent, options?: import("effect/
         readonly effort: "high" | "low" | "max" | "medium" | "minimal" | "off" | "xhigh";
     };
     readonly parentModel: string | null;
+    readonly parentEffort?: "high" | "low" | "max" | "medium" | "minimal" | "off" | "xhigh";
     readonly persona: string;
 };
-export declare const encodeBrainSpec: (input: Agent.BrainSpec, options?: import("effect/SchemaAST").ParseOptions) => {
+export declare const encodeBrainSpec: (input: BrainSpec, options?: import("effect/SchemaAST").ParseOptions) => {
     readonly harness: "claude" | "codex" | "pi";
     readonly model: string;
     readonly effort: "high" | "low" | "max" | "medium" | "minimal" | "off" | "xhigh";
 };
 export declare const persistence: (operation: string) => <A, E, R>(effect: Effect.Effect<A, E, R>) => Effect.Effect<A, RunStoreError, R>;
-export declare const eventFromRow: (row: EventRouteRow) => Event.Event;
+export declare const eventFromRow: (row: EventRouteRow) => Event;
 export declare const submissionFromRow: (row: EventRouteRow) => Submission;
-export declare const runFromRow: (row: RunRow) => Run.Run;
-export declare const stepFromRow: (row: RunRow) => Step.Step;
-export declare const attemptFromRow: (row: AttemptRow) => Attempt.Attempt;
+export declare const runFromRow: (row: RunRow) => Run;
+export declare const stepFromRow: (row: RunRow) => Step;
+export declare const attemptFromRow: (row: AttemptRow) => Attempt;
 export declare const runSummaryFromRow: (row: RunRow, storedAttempts: ReadonlyArray<AttemptRow>) => RunSummary;
 export declare const transcriptEntryFromRow: (row: TranscriptRow) => TranscriptEntry;
 //# sourceMappingURL=codec.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"codec.d.ts","sourceRoot":"","sources":["../../src/store/codec.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,EACL,OAAO,EACP,cAAc,EACd,KAAK,EAIL,GAAG,EACH,QAAQ,EACR,IAAI,EACJ,UAAU,EAEX,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,MAAM,EAAU,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChD,OAAO,EAKL,aAAa,EACb,UAAU,EACV,UAAU,EACV,eAAe,EAGhB,MAAM,aAAa,CAAC;AAErB,eAAO,MAAM,aAAa;;;;;;;;;;;;;;EAcxB,CAAC;AACH,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC,IAAI,CAAC;AAEtD,eAAO,MAAM,MAAM;;;;;;;;;;;;;;EAcjB,CAAC;AACH,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC,IAAI,CAAC;AAExC,eAAO,MAAM,UAAU;;;;;;;;;;EAUrB,CAAC;AACH,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAC,IAAI,CAAC;AAEhD,eAAO,MAAM,aAAa;;;;;;EAMxB,CAAC;AACH,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC,IAAI,CAAC;AAUtD,eAAO,MAAM,kBAAkB;;;EAG7B,CAAC;AACH,MAAM,MAAM,kBAAkB,GAAG,OAAO,kBAAkB,CAAC,IAAI,CAAC;AAIhE,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;+BAA0D,CAAC;AACzF,eAAO,MAAM,aAAa;;;;;;;;;;;;;;+BAAmD,CAAC;AAC9E,eAAO,MAAM,iBAAiB;;;;;;;;;;+BAAuD,CAAC;AACtF,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;+BAA8D,CAAC;AACjG,eAAO,MAAM,YAAY;;+BAAqD,CAAC;AAC/E,eAAO,MAAM,cAAc;;+BAAuD,CAAC;AACnF,eAAO,MAAM,sBAAsB;;;+BAA+D,CAAC;AACnG,eAAO,MAAM,wBAAwB;;+BAEpC,CAAC;AACF,eAAO,MAAM,oBAAoB;;;;;;+BAA0D,CAAC;AAE5F,eAAO,MAAM,aAAa,wFAAiC,CAAC;AAC5D,eAAO,MAAM,cAAc,qGAAkD,CAAC;AAC9E,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;CAAuC,CAAC;AACnE,eAAO,MAAM,aAAa;;;;;;;;;;;;;;;;;CAAqC,CAAC;AAChE,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;CAA2C,CAAC;AACzE,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAA6C,CAAC;AACzE,eAAO,MAAM,WAAW;;;;;;;;;CAAiC,CAAC;AAC1D,eAAO,MAAM,eAAe;;;;CAAqC,CAAC;AAIlE,eAAO,MAAM,WAAW,cACV,MAAM,MACjB,CAAC,EAAE,CAAC,EAAE,CAAC,UAAU,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAGzE,CAAC;AAEN,eAAO,MAAM,YAAY,QAAS,aAAa,KAAG,KAAK,CAAC,KAMpD,CAAC;AAEL,eAAO,MAAM,iBAAiB,QAAS,aAAa,KAAG,UAYnD,CAAC;AAEL,eAAO,MAAM,UAAU,QAAS,MAAM,KAAG,GAAG,CAAC,GAOzC,CAAC;AAEL,eAAO,MAAM,WAAW,QAAS,MAAM,KAAG,IAAI,CAAC,IAK3C,CAAC;AAEL,eAAO,MAAM,cAAc,QAAS,UAAU,KAAG,OAAO,CAAC,OAWrD,CAAC;AAEL,eAAO,MAAM,iBAAiB,QACvB,MAAM,kBACK,aAAa,CAAC,UAAU,CAAC,KACxC,UASC,CAAC;AAEL,eAAO,MAAM,sBAAsB,QAAS,aAAa,KAAG,eAOxD,CAAC"}
+{"version":3,"file":"codec.d.ts","sourceRoot":"","sources":["../../src/store/codec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAa,MAAM,mBAAmB,CAAC;AAErD,OAAO,EAAE,SAAS,EAAW,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,OAAO,EAAyC,MAAM,qBAAqB,CAAC;AACrF,OAAO,KAAK,cAAc,MAAM,6BAA6B,CAAC;AAE9D,OAAO,EAAE,KAAK,EAAqB,MAAM,mBAAmB,CAAC;AAI7D,OAAO,EAAS,GAAG,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAY,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAElD,OAAO,KAAK,QAAQ,MAAM,uBAAuB,CAAC;AAClD,OAAO,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AACrD,OAAO,EAAE,MAAM,EAAU,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChD,OAAO,EAA0B,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAC3E,OAAO,EAAgB,UAAU,EAAE,MAAM,yBAAyB,CAAC;AACnE,OAAO,EAAsB,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACxE,OAAO,EAAE,eAAe,EAAsB,MAAM,kBAAkB,CAAC;AAGvE,eAAO,MAAM,aAAa;;;;;;;;;;;;;;;;EAgBxB,CAAC;AACH,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC,IAAI,CAAC;AAEtD,eAAO,MAAM,MAAM;;;;;;;;;;;;;;EAcjB,CAAC;AACH,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC,IAAI,CAAC;AAExC,eAAO,MAAM,UAAU;;;;;;;;;;;;;EAarB,CAAC;AACH,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAC,IAAI,CAAC;AAEhD,eAAO,MAAM,aAAa;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAMxB,CAAC;AACH,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC,IAAI,CAAC;AAUtD,eAAO,MAAM,kBAAkB;;;EAG7B,CAAC;AACH,MAAM,MAAM,kBAAkB,GAAG,OAAO,kBAAkB,CAAC,IAAI,CAAC;AAIhE,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;+BAA0D,CAAC;AACzF,eAAO,MAAM,aAAa;;;;;;;;;;;;;;+BAAmD,CAAC;AAC9E,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;+BAAuD,CAAC;AACtF,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;+BAA8D,CAAC;AACjG,eAAO,MAAM,YAAY;;+BAAqD,CAAC;AAC/E,eAAO,MAAM,cAAc;;+BAAuD,CAAC;AACnF,eAAO,MAAM,sBAAsB;;;+BAA+D,CAAC;AACnG,eAAO,MAAM,wBAAwB;;+BAEpC,CAAC;AACF,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;+BAA0D,CAAC;AAE5F,eAAO,MAAM,aAAa,wFAAiC,CAAC;AAC5D,eAAO,MAAM,cAAc,qGAAkD,CAAC;AAC9E,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;;CAAuC,CAAC;AACnE,eAAO,MAAM,aAAa;;;;;;;;;;;;;;;;;;;;;;;;;CAAoC,CAAC;AAC/D,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;CAAgC,CAAC;AAC9D,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAA6C,CAAC;AACzE,eAAO,MAAM,WAAW;;;;;;;;;;CAA2B,CAAC;AACpD,eAAO,MAAM,eAAe;;;;CAA+B,CAAC;AAI5D,eAAO,MAAM,WAAW,cACV,MAAM,MACjB,CAAC,EAAE,CAAC,EAAE,CAAC,UAAU,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAGzE,CAAC;AAEN,eAAO,MAAM,YAAY,QAAS,aAAa,KAAG,KAM9C,CAAC;AAEL,eAAO,MAAM,iBAAiB,QAAS,aAAa,KAAG,UAcnD,CAAC;AAEL,eAAO,MAAM,UAAU,QAAS,MAAM,KAAG,GAOrC,CAAC;AAEL,eAAO,MAAM,WAAW,QAAS,MAAM,KAAG,IAKtC,CAAC;AAEL,eAAO,MAAM,cAAc,QAAS,UAAU,KAAG,OAc7C,CAAC;AAEL,eAAO,MAAM,iBAAiB,QACvB,MAAM,kBACK,aAAa,CAAC,UAAU,CAAC,KACxC,UASC,CAAC;AAEL,eAAO,MAAM,sBAAsB,QAAS,aAAa,KAAG,eAOxD,CAAC"}