@usine/core 0.1.0 → 0.3.0

package/dist/attempt/attempt.js

@@ -0,0 +1,47 @@
+import { Schema } from "effect";
+import { Agent, AgentName } from "../agent/agent.js";
+import { BrainSpec, ModelId } from "../agent/brain.js";
+import { RunId } from "../run/run.js";
+import { StepName } from "../step/step.js";
+import { WorkerName } from "../worker.js";
+import { AttemptFailure, isAutoRetryableFailure } from "./failure.js";
+import { AttemptOutcome } from "./outcome.js";
+/** Identity of one execution try; each retry receives a new identity under the same Run and Step. */
+export const AttemptId = Schema.NonEmptyString.pipe(Schema.brand("AttemptId"));
+/**
+ * 1-based position of a try under its step. Retries are attempt N+1 under the
+ * same step, and the auto-retry cap counts total attempts.
+ */
+export const AttemptNumber = Schema.Int.check(Schema.isGreaterThanOrEqualTo(1)).pipe(Schema.brand("AttemptNumber"));
+/** Task text given to the agent after loop interpolation or an operator's edit-and-retry amendment. */
+export const AttemptTask = Schema.String.check(Schema.isPattern(/\S/u, { message: "Expected non-blank task text" })).pipe(Schema.brand("AttemptTask"));
+/** The effective task and roster Agent an operator assigns to a Run's later Attempts. */
+export class AttemptContext extends Schema.Class("AttemptContext")({
+    task: AttemptTask,
+    agent: Agent,
+    parentModel: Schema.OptionFromNullOr(ModelId),
+}) {
+}
+/** One try of a step on a worker. `outcome` is none while the attempt is in flight. */
+export class Attempt extends Schema.Class("Attempt")({
+    id: AttemptId,
+    runId: RunId,
+    stepName: StepName,
+    worker: WorkerName,
+    number: AttemptNumber,
+    brain: BrainSpec,
+    task: AttemptTask,
+    agent: AgentName,
+    operatorIntervened: Schema.Boolean,
+    parentModel: Schema.OptionFromNullOr(ModelId),
+    startedAt: Schema.DateTimeUtc,
+    outcome: Schema.Option(AttemptOutcome),
+}) {
+}
+/**
+ * The auto-retry law: only an infra failure retries, and only while the attempt
+ * number is below `maxAutoAttempts` (ADR 0002).
+ * `number` is the failed try's position; `maxAutoAttempts` includes the first try.
+ */
+export const shouldAutoRetry = (options) => isAutoRetryableFailure(options.failure) && options.number < options.maxAutoAttempts;
+//# sourceMappingURL=attempt.js.map

package/dist/attempt/attempt.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"attempt.js","sourceRoot":"","sources":["../../src/attempt/attempt.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AACvD,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtC,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAC3C,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AACtE,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAE9C,qGAAqG;AACrG,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC;AAI/E;;;GAGG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAClF,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,CAC9B,CAAC;AAGF,uGAAuG;AACvG,MAAM,CAAC,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAC5C,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,EAAE,OAAO,EAAE,8BAA8B,EAAE,CAAC,CACrE,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC;AAGpC,yFAAyF;AACzF,MAAM,OAAO,cAAe,SAAQ,MAAM,CAAC,KAAK,CAAiB,gBAAgB,CAAC,CAAC;IACjF,IAAI,EAAE,WAAW;IACjB,KAAK,EAAE,KAAK;IACZ,WAAW,EAAE,MAAM,CAAC,gBAAgB,CAAC,OAAO,CAAC;CAC9C,CAAC;CAAG;AAEL,uFAAuF;AACvF,MAAM,OAAO,OAAQ,SAAQ,MAAM,CAAC,KAAK,CAAU,SAAS,CAAC,CAAC;IAC5D,EAAE,EAAE,SAAS;IACb,KAAK,EAAE,KAAK;IACZ,QAAQ,EAAE,QAAQ;IAClB,MAAM,EAAE,UAAU;IAClB,MAAM,EAAE,aAAa;IACrB,KAAK,EAAE,SAAS;IAChB,IAAI,EAAE,WAAW;IACjB,KAAK,EAAE,SAAS;IAChB,kBAAkB,EAAE,MAAM,CAAC,OAAO;IAClC,WAAW,EAAE,MAAM,CAAC,gBAAgB,CAAC,OAAO,CAAC;IAC7C,SAAS,EAAE,MAAM,CAAC,WAAW;IAC7B,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC;CACvC,CAAC;CAAG;AAEL;;;;GAIG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,OAI/B,EAAW,EAAE,CAAC,sBAAsB,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,MAAM,GAAG,OAAO,CAAC,eAAe,CAAC"}

package/dist/attempt/channel.d.ts

@@ -0,0 +1,194 @@
+import { Effect, Result, Schema } from "effect";
+import { Agent } from "../agent/agent.ts";
+import { AttemptId } from "./attempt.ts";
+import { StepResult } from "../step/result.ts";
+import { AttemptFailure } from "./failure.ts";
+export declare const PROTOCOL_VERSION: 6;
+/**
+ * Per-Attempt, per-direction message sequence, starting at 1. Distinct from the
+ * engine's transcript sequence, which orders persisted rows globally.
+ */
+export declare const Sequence: Schema.brand<Schema.Int, "AttemptChannelSequence">;
+export type Sequence = typeof Sequence.Type;
+/**
+ * Relative to the run host: `inbound` frames go from the orchestrator to the run
+ * host (Start, operator input, Cancel) and `outbound` frames go the other way.
+ */
+export declare const DIRECTIONS: readonly ["inbound", "outbound"];
+export declare const Direction: Schema.Literals<readonly ["inbound", "outbound"]>;
+export type Direction = typeof Direction.Type;
+declare const RunSpec_base: Schema.Class<RunSpec, Schema.Struct<{
+    readonly attemptId: Schema.brand<Schema.NonEmptyString, "AttemptId">;
+    readonly repository: Schema.brand<Schema.String, "RepositoryName">;
+    readonly revision: Schema.brand<Schema.String, "RepositoryRevision">;
+    readonly baseCommit: Schema.brand<Schema.String, "CommitSha">;
+    readonly payload: Schema.Codec<Schema.Json, Schema.Json, never, never>;
+    readonly task: Schema.brand<Schema.String, "AttemptTask">;
+    readonly agent: typeof Agent;
+    readonly parentModel: Schema.OptionFromNullOr<Schema.brand<Schema.String, "ModelId">>;
+    readonly maxChildren: Schema.brand<Schema.Int, "ChildSessionBudget">;
+    readonly parentEffort: Schema.Literals<readonly ["off", "minimal", "low", "medium", "high", "xhigh", "max"]>;
+}>, {}>;
+/** Launch input for one Attempt. Worker credentials are never part of it. */
+export declare class RunSpec extends RunSpec_base {
+}
+declare const Started_base: Schema.Class<Started, Schema.TaggedStruct<"Started", {
+    readonly parentModel: Schema.brand<Schema.String, "ModelId">;
+}>, {}>;
+/**
+ * The parent model the SDK selected at launch, which the roster may not declare.
+ * Child sessions report their own model in `SessionStarted` events.
+ */
+export declare class Started extends Started_base {
+}
+declare const SessionEvent_base: Schema.Class<SessionEvent, Schema.TaggedStruct<"SessionEvent", {
+    readonly event: Schema.Union<readonly [typeof import("../agent/session.ts").SessionStarted, typeof import("../agent/session.ts").TextOutput, typeof import("../agent/session.ts").ToolStarted, typeof import("../agent/session.ts").ToolFinished, typeof import("../agent/session.ts").PoolRateLimitsUpdated, typeof import("../agent/session.ts").SessionFinished, typeof import("../agent/session.ts").SessionIdle, typeof import("../agent/session.ts").SessionResumed, typeof import("../agent/session.ts").SessionTokensUpdated]>;
+}>, {}>;
+/** One normalized parent or child session event, persisted in the Attempt transcript. */
+export declare class SessionEvent extends SessionEvent_base {
+}
+declare const Final_base: Schema.Class<Final, Schema.TaggedStruct<"Final", {
+    readonly result: typeof StepResult;
+}>, {}>;
+export declare class Final extends Final_base {
+}
+declare const Failed_base: Schema.Class<Failed, Schema.TaggedStruct<"Failed", {
+    readonly failure: Schema.Union<readonly [typeof import("./failure.ts").InfraFailure, typeof import("./failure.ts").DefectFailure, typeof import("./failure.ts").AgentFailure, typeof import("./failure.ts").RunawayFailure, typeof import("./failure.ts").ChildSessionBudgetFailure]>;
+}>, {}>;
+export declare class Failed extends Failed_base {
+}
+declare const Interrupted_base: Schema.Class<Interrupted, Schema.TaggedStruct<"Interrupted", {}>, {}>;
+/** The run host acknowledged Attempt cancellation. Terminal. */
+export declare class Interrupted extends Interrupted_base {
+}
+declare const Steer_base: Schema.Class<Steer, Schema.TaggedStruct<"Steer", {
+    readonly message: Schema.NonEmptyString;
+}>, {}>;
+export declare class Steer extends Steer_base {
+}
+declare const Interrupt_base: Schema.Class<Interrupt, Schema.TaggedStruct<"Interrupt", {}>, {}>;
+export declare class Interrupt extends Interrupt_base {
+}
+declare const Cancel_base: Schema.Class<Cancel, Schema.TaggedStruct<"Cancel", {}>, {}>;
+/** Stops the entire Attempt, including every held or paused session. Used by cancellation and guardrails. */
+export declare class Cancel extends Cancel_base {
+}
+declare const OperatorMessage_base: Schema.Class<OperatorMessage, Schema.TaggedStruct<"OperatorMessage", {
+    readonly message: Schema.NonEmptyString;
+}>, {}>;
+/** An operator turn joined to the target session, distinct from a Steer so a takeover can record and hold it (ADR 0018). */
+export declare class OperatorMessage extends OperatorMessage_base {
+}
+declare const Release_base: Schema.Class<Release, Schema.TaggedStruct<"Release", {}>, {}>;
+/** Ends a held child's takeover, letting its idle result return to the awaiting parent (ADR 0018). */
+export declare class Release extends Release_base {
+}
+/** Nonterminal operator controls; cancellation is an Attempt operation. */
+export declare const OperatorAction: Schema.Union<readonly [typeof Steer, typeof Interrupt, typeof OperatorMessage, typeof Release]>;
+export type OperatorAction = typeof OperatorAction.Type;
+export declare const InboundPayload: Schema.Union<readonly [Schema.Union<readonly [typeof Steer, typeof Interrupt, typeof OperatorMessage, typeof Release]>, typeof Cancel]>;
+export type InboundPayload = typeof InboundPayload.Type;
+declare const ParentTarget_base: Schema.Class<ParentTarget, Schema.TaggedStruct<"Parent", {}>, {}>;
+/** The Pi parent, the default recipient of operator input for an Attempt. */
+export declare class ParentTarget extends ParentTarget_base {
+}
+declare const ChildTarget_base: Schema.Class<ChildTarget, Schema.TaggedStruct<"Child", {
+    readonly sessionId: Schema.brand<Schema.NonEmptyString, "AgentSessionId">;
+}>, {}>;
+/** A harness child of the Attempt's parent, addressed by the id it reports in the normalized event stream. */
+export declare class ChildTarget extends ChildTarget_base {
+}
+/** Which session inside an Attempt an inbound frame addresses: the Pi parent, or one of its children. */
+export declare const SessionTarget: Schema.Union<readonly [typeof ParentTarget, typeof ChildTarget]>;
+export type SessionTarget = typeof SessionTarget.Type;
+declare const Intervention_base: Schema.Class<Intervention, Schema.Struct<{
+    readonly operator: Schema.NonEmptyString;
+    readonly target: Schema.Union<readonly [typeof ParentTarget, typeof ChildTarget]>;
+    readonly action: Schema.Union<readonly [typeof Steer, typeof Interrupt, typeof OperatorMessage, typeof Release]>;
+}>, {}>;
+/** Attributed operator input addressed to one live session, never an Event. */
+export declare class Intervention extends Intervention_base {
+}
+declare const InterventionState_base: Schema.Class<InterventionState, Schema.Struct<{
+    readonly held: Schema.Boolean;
+    readonly paused: Schema.Boolean;
+}>, {}>;
+/** The session's supervision state after an accepted operator action. */
+export declare class InterventionState extends InterventionState_base {
+}
+declare const InterventionApplied_base: Schema.Class<InterventionApplied, Schema.TaggedStruct<"InterventionApplied", {
+    readonly inputSequence: Schema.brand<Schema.Int, "AttemptChannelSequence">;
+    readonly intervention: typeof Intervention;
+    readonly state: typeof InterventionState;
+}>, {}>;
+/** Acknowledges delivery and records the resulting Hold or pause in the transcript. */
+export declare class InterventionApplied extends InterventionApplied_base {
+}
+declare const InterventionRejected_base: Schema.Class<InterventionRejected, Schema.TaggedStruct<"InterventionRejected", {
+    readonly inputSequence: Schema.brand<Schema.Int, "AttemptChannelSequence">;
+    readonly intervention: typeof Intervention;
+    readonly message: Schema.NonEmptyString;
+}>, {}>;
+/** A session closed or refused an operator action; the Attempt itself continues. */
+export declare class InterventionRejected extends InterventionRejected_base {
+}
+export declare const OutboundPayload: Schema.Union<readonly [typeof Started, typeof SessionEvent, typeof Final, typeof Failed, typeof Interrupted, typeof InterventionApplied, typeof InterventionRejected]>;
+export type OutboundPayload = typeof OutboundPayload.Type;
+declare const OutboundEnvelope_base: Schema.Class<OutboundEnvelope, Schema.TaggedStruct<"OutboundEnvelope", {
+    readonly version: Schema.Literal<6>;
+    readonly attemptId: Schema.brand<Schema.NonEmptyString, "AttemptId">;
+    readonly sequence: Schema.brand<Schema.Int, "AttemptChannelSequence">;
+    readonly sentAt: Schema.DateTimeUtcFromString;
+    readonly payload: Schema.Union<readonly [typeof Started, typeof SessionEvent, typeof Final, typeof Failed, typeof Interrupted, typeof InterventionApplied, typeof InterventionRejected]>;
+}>, {}>;
+export declare class OutboundEnvelope extends OutboundEnvelope_base {
+}
+declare const InboundEnvelope_base: Schema.Class<InboundEnvelope, Schema.TaggedStruct<"InboundEnvelope", {
+    readonly version: Schema.Literal<6>;
+    readonly attemptId: Schema.brand<Schema.NonEmptyString, "AttemptId">;
+    readonly sequence: Schema.brand<Schema.Int, "AttemptChannelSequence">;
+    readonly sentAt: Schema.DateTimeUtcFromString;
+    /** The session this frame addresses; the Pi parent unless a child is named. */
+    readonly target: Schema.withDecodingDefaultKey<Schema.Union<readonly [typeof ParentTarget, typeof ChildTarget]>, never>;
+    readonly operator: Schema.NonEmptyString;
+    readonly payload: Schema.Union<readonly [Schema.Union<readonly [typeof Steer, typeof Interrupt, typeof OperatorMessage, typeof Release]>, typeof Cancel]>;
+}>, {}>;
+export declare class InboundEnvelope extends InboundEnvelope_base {
+}
+export declare const Envelope: Schema.Union<readonly [typeof OutboundEnvelope, typeof InboundEnvelope]>;
+export type Envelope = typeof Envelope.Type;
+declare const Start_base: Schema.Class<Start, Schema.TaggedStruct<"Start", {
+    readonly version: Schema.Literal<6>;
+    readonly spec: typeof RunSpec;
+}>, {}>;
+/** The first framed stdin message. Later frames are inbound envelopes. */
+export declare class Start extends Start_base {
+}
+export declare const InputFrame: Schema.Union<readonly [typeof Start, typeof InboundEnvelope]>;
+export type InputFrame = typeof InputFrame.Type;
+export declare const EnvelopeFromJson: Schema.fromJsonString<Schema.Union<readonly [typeof OutboundEnvelope, typeof InboundEnvelope]>>;
+export declare const InputFrameFromJson: Schema.fromJsonString<Schema.Union<readonly [typeof Start, typeof InboundEnvelope]>>;
+export declare const OutboundEnvelopeFromJson: Schema.fromJsonString<typeof OutboundEnvelope>;
+/** Where a channel consumer persists envelopes. */
+export interface Sink {
+    readonly append: (direction: Direction, envelope: Envelope) => Effect.Effect<void, AttemptFailure>;
+}
+/** How far one outbound channel has legally progressed. */
+export interface Progress {
+    readonly state: "AwaitingStarted" | "Running" | "Terminal";
+    readonly nextSequence: number;
+}
+export declare const initialProgress: Progress;
+/** One protocol violation, described for the infra failure that reports it. */
+export interface Violation {
+    readonly message: string;
+    readonly detail: string;
+}
+/**
+ * Checks one outbound envelope against the progress so far and returns the next
+ * progress, or the violation. Every transport adapter folds the same state
+ * machine through it.
+ */
+export declare const admit: (progress: Progress, attemptId: AttemptId, envelope: OutboundEnvelope) => Result.Result<Progress, Violation>;
+export {};
+//# sourceMappingURL=channel.d.ts.map

package/dist/attempt/channel.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"channel.d.ts","sourceRoot":"","sources":["../../src/attempt/channel.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChD,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAG1C,OAAO,EAAE,SAAS,EAAe,MAAM,cAAc,CAAC;AAEtD,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAC/C,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAE9C,eAAO,MAAM,gBAAgB,EAAG,CAAU,CAAC;AAE3C;;;GAGG;AACH,eAAO,MAAM,QAAQ,oDAEpB,CAAC;AACF,MAAM,MAAM,QAAQ,GAAG,OAAO,QAAQ,CAAC,IAAI,CAAC;AAE5C;;;GAGG;AACH,eAAO,MAAM,UAAU,YAAI,SAAS,EAAE,UAAU,CAAU,CAAC;AAC3D,eAAO,MAAM,SAAS,mDAA8B,CAAC;AACrD,MAAM,MAAM,SAAS,GAAG,OAAO,SAAS,CAAC,IAAI,CAAC;;;;;;;;;;;;;AAE9C,6EAA6E;AAC7E,qBAAa,OAAQ,SAAQ,YAW3B;CAAG;;;;AAEL;;;GAGG;AACH,qBAAa,OAAQ,SAAQ,YAE3B;CAAG;;;;AAEL,yFAAyF;AACzF,qBAAa,YAAa,SAAQ,iBAGjC;CAAG;;;;AAEJ,qBAAa,KAAM,SAAQ,UAEzB;CAAG;;;;AAEL,qBAAa,MAAO,SAAQ,WAE1B;CAAG;;AAEL,gEAAgE;AAChE,qBAAa,WAAY,SAAQ,gBAGhC;CAAG;;;;AAEJ,qBAAa,KAAM,SAAQ,UAEzB;CAAG;;AAEL,qBAAa,SAAU,SAAQ,cAG9B;CAAG;;AAEJ,6GAA6G;AAC7G,qBAAa,MAAO,SAAQ,WAAiE;CAAG;;;;AAEhG,4HAA4H;AAC5H,qBAAa,eAAgB,SAAQ,oBAInC;CAAG;;AAEL,sGAAsG;AACtG,qBAAa,OAAQ,SAAQ,YAAoE;CAAG;AAEpG,2EAA2E;AAC3E,eAAO,MAAM,cAAc,iGAA6D,CAAC;AACzF,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAC,IAAI,CAAC;AACxD,eAAO,MAAM,cAAc,yIAAyC,CAAC;AACrE,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAC,IAAI,CAAC;;AAExD,6EAA6E;AAC7E,qBAAa,YAAa,SAAQ,iBAGjC;CAAG;;;;AAEJ,8GAA8G;AAC9G,qBAAa,WAAY,SAAQ,gBAGhC;CAAG;AAEJ,yGAAyG;AACzG,eAAO,MAAM,aAAa,kEAA4C,CAAC;AACvE,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC,IAAI,CAAC;;;;;;AAEtD,+EAA+E;AAC/E,qBAAa,YAAa,SAAQ,iBAIhC;CAAG;;;;;AAEL,yEAAyE;AACzE,qBAAa,iBAAkB,SAAQ,sBAKrC;CAAG;;;;;;AAEL,uFAAuF;AACvF,qBAAa,mBAAoB,SAAQ,wBAMvC;CAAG;;;;;;AAEL,oFAAoF;AACpF,qBAAa,oBAAqB,SAAQ,yBAMxC;CAAG;AAEL,eAAO,MAAM,eAAe,wKAQ1B,CAAC;AACH,MAAM,MAAM,eAAe,GAAG,OAAO,eAAe,CAAC,IAAI,CAAC;;;;;;;;AAS1D,qBAAa,gBAAiB,SAAQ,qBAKpC;CAAG;;;;;;IAMH,+EAA+E;;;;;AAJjF,qBAAa,eAAgB,SAAQ,oBAQnC;CAAG;AAEL,eAAO,MAAM,QAAQ,0EAAoD,CAAC;AAC1E,MAAM,MAAM,QAAQ,GAAG,OAAO,QAAQ,CAAC,IAAI,CAAC;;;;;AAE5C,0EAA0E;AAC1E,qBAAa,KAAM,SAAQ,UAGzB;CAAG;AAEL,eAAO,MAAM,UAAU,+DAAyC,CAAC;AACjE,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAC,IAAI,CAAC;AAEhD,eAAO,MAAM,gBAAgB,iGAAkC,CAAC;AAChE,eAAO,MAAM,kBAAkB,sFAAoC,CAAC;AACpE,eAAO,MAAM,wBAAwB,gDAA0C,CAAC;AAEhF,mDAAmD;AACnD,MAAM,WAAW,IAAI;IACnB,QAAQ,CAAC,MAAM,EAAE,CACf,SAAS,EAAE,SAAS,EACpB,QAAQ,EAAE,QAAQ,KACf,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;CAC1C;AAED,2DAA2D;AAC3D,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,KAAK,EAAE,iBAAiB,GAAG,SAAS,GAAG,UAAU,CAAC;IAC3D,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CAC/B;AAED,eAAO,MAAM,eAAe,EAAE,QAAwD,CAAC;AAEvF,+EAA+E;AAC/E,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAKD;;;;GAIG;AACH,eAAO,MAAM,KAAK,aACN,QAAQ,aACP,SAAS,YACV,gBAAgB,KACzB,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,SAAS,CAuCnC,CAAC"}

package/dist/attempt/channel.js

@@ -0,0 +1,196 @@
+import { Effect, Result, Schema } from "effect";
+import { Agent } from "../agent/agent.js";
+import { Effort, ModelId } from "../agent/brain.js";
+import { AgentSessionEvent, AgentSessionId, ChildSessionBudget } from "../agent/session.js";
+import { AttemptId, AttemptTask } from "./attempt.js";
+import { RepositoryName, CommitSha, RepositoryRevision } from "../repository.js";
+import { StepResult } from "../step/result.js";
+import { AttemptFailure } from "./failure.js";
+export const PROTOCOL_VERSION = 6;
+/**
+ * Per-Attempt, per-direction message sequence, starting at 1. Distinct from the
+ * engine's transcript sequence, which orders persisted rows globally.
+ */
+export const Sequence = Schema.Int.check(Schema.isGreaterThanOrEqualTo(1)).pipe(Schema.brand("AttemptChannelSequence"));
+/**
+ * Relative to the run host: `inbound` frames go from the orchestrator to the run
+ * host (Start, operator input, Cancel) and `outbound` frames go the other way.
+ */
+export const DIRECTIONS = ["inbound", "outbound"];
+export const Direction = Schema.Literals(DIRECTIONS);
+/** Launch input for one Attempt. Worker credentials are never part of it. */
+export class RunSpec extends Schema.Class("AttemptChannel/RunSpec")({
+    attemptId: AttemptId,
+    repository: RepositoryName,
+    revision: RepositoryRevision,
+    baseCommit: CommitSha,
+    payload: Schema.Json,
+    task: AttemptTask,
+    agent: Agent,
+    parentModel: Schema.OptionFromNullOr(ModelId),
+    maxChildren: ChildSessionBudget,
+    parentEffort: Effort,
+}) {
+}
+/**
+ * The parent model the SDK selected at launch, which the roster may not declare.
+ * Child sessions report their own model in `SessionStarted` events.
+ */
+export class Started extends Schema.TaggedClass("AttemptChannel/Started")("Started", {
+    parentModel: ModelId,
+}) {
+}
+/** One normalized parent or child session event, persisted in the Attempt transcript. */
+export class SessionEvent extends Schema.TaggedClass("AttemptChannel/SessionEvent")("SessionEvent", { event: AgentSessionEvent }) {
+}
+export class Final extends Schema.TaggedClass("AttemptChannel/Final")("Final", {
+    result: StepResult,
+}) {
+}
+export class Failed extends Schema.TaggedClass("AttemptChannel/Failed")("Failed", {
+    failure: AttemptFailure,
+}) {
+}
+/** The run host acknowledged Attempt cancellation. Terminal. */
+export class Interrupted extends Schema.TaggedClass("AttemptChannel/Interrupted")("Interrupted", {}) {
+}
+export class Steer extends Schema.TaggedClass("AttemptChannel/Steer")("Steer", {
+    message: Schema.NonEmptyString,
+}) {
+}
+export class Interrupt extends Schema.TaggedClass("AttemptChannel/Interrupt")("Interrupt", {}) {
+}
+/** Stops the entire Attempt, including every held or paused session. Used by cancellation and guardrails. */
+export class Cancel extends Schema.TaggedClass("AttemptChannel/Cancel")("Cancel", {}) {
+}
+/** An operator turn joined to the target session, distinct from a Steer so a takeover can record and hold it (ADR 0018). */
+export class OperatorMessage extends Schema.TaggedClass("AttemptChannel/OperatorMessage")("OperatorMessage", {
+    message: Schema.NonEmptyString,
+}) {
+}
+/** Ends a held child's takeover, letting its idle result return to the awaiting parent (ADR 0018). */
+export class Release extends Schema.TaggedClass("AttemptChannel/Release")("Release", {}) {
+}
+/** Nonterminal operator controls; cancellation is an Attempt operation. */
+export const OperatorAction = Schema.Union([Steer, Interrupt, OperatorMessage, Release]);
+export const InboundPayload = Schema.Union([OperatorAction, Cancel]);
+/** The Pi parent, the default recipient of operator input for an Attempt. */
+export class ParentTarget extends Schema.TaggedClass("AttemptChannel/ParentTarget")("Parent", {}) {
+}
+/** A harness child of the Attempt's parent, addressed by the id it reports in the normalized event stream. */
+export class ChildTarget extends Schema.TaggedClass("AttemptChannel/ChildTarget")("Child", { sessionId: AgentSessionId }) {
+}
+/** Which session inside an Attempt an inbound frame addresses: the Pi parent, or one of its children. */
+export const SessionTarget = Schema.Union([ParentTarget, ChildTarget]);
+/** Attributed operator input addressed to one live session, never an Event. */
+export class Intervention extends Schema.Class("AttemptChannel/Intervention")({
+    operator: Schema.NonEmptyString,
+    target: SessionTarget,
+    action: OperatorAction,
+}) {
+}
+/** The session's supervision state after an accepted operator action. */
+export class InterventionState extends Schema.Class("AttemptChannel/InterventionState")({
+    held: Schema.Boolean,
+    paused: Schema.Boolean,
+}) {
+}
+/** Acknowledges delivery and records the resulting Hold or pause in the transcript. */
+export class InterventionApplied extends Schema.TaggedClass("AttemptChannel/InterventionApplied")("InterventionApplied", {
+    inputSequence: Sequence,
+    intervention: Intervention,
+    state: InterventionState,
+}) {
+}
+/** A session closed or refused an operator action; the Attempt itself continues. */
+export class InterventionRejected extends Schema.TaggedClass("AttemptChannel/InterventionRejected")("InterventionRejected", {
+    inputSequence: Sequence,
+    intervention: Intervention,
+    message: Schema.NonEmptyString,
+}) {
+}
+export const OutboundPayload = Schema.Union([
+    Started,
+    SessionEvent,
+    Final,
+    Failed,
+    Interrupted,
+    InterventionApplied,
+    InterventionRejected,
+]);
+const EnvelopeFields = {
+    version: Schema.Literal(PROTOCOL_VERSION),
+    attemptId: AttemptId,
+    sequence: Sequence,
+    sentAt: Schema.DateTimeUtcFromString,
+};
+export class OutboundEnvelope extends Schema.TaggedClass("AttemptChannel/OutboundEnvelope")("OutboundEnvelope", {
+    ...EnvelopeFields,
+    payload: OutboundPayload,
+}) {
+}
+export class InboundEnvelope extends Schema.TaggedClass("AttemptChannel/InboundEnvelope")("InboundEnvelope", {
+    ...EnvelopeFields,
+    /** The session this frame addresses; the Pi parent unless a child is named. */
+    target: SessionTarget.pipe(Schema.withDecodingDefaultKey(Effect.succeed({ _tag: "Parent" }))),
+    operator: Schema.NonEmptyString,
+    payload: InboundPayload,
+}) {
+}
+export const Envelope = Schema.Union([OutboundEnvelope, InboundEnvelope]);
+/** The first framed stdin message. Later frames are inbound envelopes. */
+export class Start extends Schema.TaggedClass("AttemptChannel/Start")("Start", {
+    version: Schema.Literal(PROTOCOL_VERSION),
+    spec: RunSpec,
+}) {
+}
+export const InputFrame = Schema.Union([Start, InboundEnvelope]);
+export const EnvelopeFromJson = Schema.fromJsonString(Envelope);
+export const InputFrameFromJson = Schema.fromJsonString(InputFrame);
+export const OutboundEnvelopeFromJson = Schema.fromJsonString(OutboundEnvelope);
+export const initialProgress = { state: "AwaitingStarted", nextSequence: 1 };
+const isTerminal = (payload) => payload._tag === "Final" || payload._tag === "Failed" || payload._tag === "Interrupted";
+/**
+ * Checks one outbound envelope against the progress so far and returns the next
+ * progress, or the violation. Every transport adapter folds the same state
+ * machine through it.
+ */
+export const admit = (progress, attemptId, envelope) => {
+    if (envelope.attemptId !== attemptId) {
+        return Result.fail({
+            message: "The run host emitted a frame for another Attempt",
+            detail: String(envelope.attemptId),
+        });
+    }
+    if (envelope.sequence !== progress.nextSequence) {
+        return Result.fail({
+            message: "The run host emitted a non-contiguous sequence",
+            detail: `expected ${progress.nextSequence}, received ${envelope.sequence}`,
+        });
+    }
+    if (progress.state === "Terminal") {
+        return Result.fail({
+            message: "The run host emitted an envelope after its terminal envelope",
+            detail: envelope.payload._tag,
+        });
+    }
+    if (progress.state === "AwaitingStarted" &&
+        envelope.payload._tag !== "Started" &&
+        envelope.payload._tag !== "Failed") {
+        return Result.fail({
+            message: "The run host did not begin with a Started or Failed envelope",
+            detail: envelope.payload._tag,
+        });
+    }
+    if (progress.state === "Running" && envelope.payload._tag === "Started") {
+        return Result.fail({
+            message: "The run host emitted more than one Started envelope",
+            detail: "duplicate Started envelope",
+        });
+    }
+    return Result.succeed({
+        state: isTerminal(envelope.payload) ? "Terminal" : "Running",
+        nextSequence: progress.nextSequence + 1,
+    });
+};
+//# sourceMappingURL=channel.js.map

package/dist/attempt/channel.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"channel.js","sourceRoot":"","sources":["../../src/attempt/channel.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChD,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC1C,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAC5F,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AACtD,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AACjF,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAC/C,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAE9C,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAU,CAAC;AAE3C;;;GAGG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAC7E,MAAM,CAAC,KAAK,CAAC,wBAAwB,CAAC,CACvC,CAAC;AAGF;;;GAGG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,SAAS,EAAE,UAAU,CAAU,CAAC;AAC3D,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;AAGrD,6EAA6E;AAC7E,MAAM,OAAO,OAAQ,SAAQ,MAAM,CAAC,KAAK,CAAU,wBAAwB,CAAC,CAAC;IAC3E,SAAS,EAAE,SAAS;IACpB,UAAU,EAAE,cAAc;IAC1B,QAAQ,EAAE,kBAAkB;IAC5B,UAAU,EAAE,SAAS;IACrB,OAAO,EAAE,MAAM,CAAC,IAAI;IACpB,IAAI,EAAE,WAAW;IACjB,KAAK,EAAE,KAAK;IACZ,WAAW,EAAE,MAAM,CAAC,gBAAgB,CAAC,OAAO,CAAC;IAC7C,WAAW,EAAE,kBAAkB;IAC/B,YAAY,EAAE,MAAM;CACrB,CAAC;CAAG;AAEL;;;GAGG;AACH,MAAM,OAAO,OAAQ,SAAQ,MAAM,CAAC,WAAW,CAAU,wBAAwB,CAAC,CAAC,SAAS,EAAE;IAC5F,WAAW,EAAE,OAAO;CACrB,CAAC;CAAG;AAEL,yFAAyF;AACzF,MAAM,OAAO,YAAa,SAAQ,MAAM,CAAC,WAAW,CAAe,6BAA6B,CAAC,CAC/F,cAAc,EACd,EAAE,KAAK,EAAE,iBAAiB,EAAE,CAC7B;CAAG;AAEJ,MAAM,OAAO,KAAM,SAAQ,MAAM,CAAC,WAAW,CAAQ,sBAAsB,CAAC,CAAC,OAAO,EAAE;IACpF,MAAM,EAAE,UAAU;CACnB,CAAC;CAAG;AAEL,MAAM,OAAO,MAAO,SAAQ,MAAM,CAAC,WAAW,CAAS,uBAAuB,CAAC,CAAC,QAAQ,EAAE;IACxF,OAAO,EAAE,cAAc;CACxB,CAAC;CAAG;AAEL,gEAAgE;AAChE,MAAM,OAAO,WAAY,SAAQ,MAAM,CAAC,WAAW,CAAc,4BAA4B,CAAC,CAC5F,aAAa,EACb,EAAE,CACH;CAAG;AAEJ,MAAM,OAAO,KAAM,SAAQ,MAAM,CAAC,WAAW,CAAQ,sBAAsB,CAAC,CAAC,OAAO,EAAE;IACpF,OAAO,EAAE,MAAM,CAAC,cAAc;CAC/B,CAAC;CAAG;AAEL,MAAM,OAAO,SAAU,SAAQ,MAAM,CAAC,WAAW,CAAY,0BAA0B,CAAC,CACtF,WAAW,EACX,EAAE,CACH;CAAG;AAEJ,6GAA6G;AAC7G,MAAM,OAAO,MAAO,SAAQ,MAAM,CAAC,WAAW,CAAS,uBAAuB,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC;CAAG;AAEhG,4HAA4H;AAC5H,MAAM,OAAO,eAAgB,SAAQ,MAAM,CAAC,WAAW,CACrD,gCAAgC,CACjC,CAAC,iBAAiB,EAAE;IACnB,OAAO,EAAE,MAAM,CAAC,cAAc;CAC/B,CAAC;CAAG;AAEL,sGAAsG;AACtG,MAAM,OAAO,OAAQ,SAAQ,MAAM,CAAC,WAAW,CAAU,wBAAwB,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC;CAAG;AAEpG,2EAA2E;AAC3E,MAAM,CAAC,MAAM,cAAc,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,SAAS,EAAE,eAAe,EAAE,OAAO,CAAC,CAAC,CAAC;AAEzF,MAAM,CAAC,MAAM,cAAc,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC,CAAC;AAGrE,6EAA6E;AAC7E,MAAM,OAAO,YAAa,SAAQ,MAAM,CAAC,WAAW,CAAe,6BAA6B,CAAC,CAC/F,QAAQ,EACR,EAAE,CACH;CAAG;AAEJ,8GAA8G;AAC9G,MAAM,OAAO,WAAY,SAAQ,MAAM,CAAC,WAAW,CAAc,4BAA4B,CAAC,CAC5F,OAAO,EACP,EAAE,SAAS,EAAE,cAAc,EAAE,CAC9B;CAAG;AAEJ,yGAAyG;AACzG,MAAM,CAAC,MAAM,aAAa,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC,CAAC;AAGvE,+EAA+E;AAC/E,MAAM,OAAO,YAAa,SAAQ,MAAM,CAAC,KAAK,CAAe,6BAA6B,CAAC,CAAC;IAC1F,QAAQ,EAAE,MAAM,CAAC,cAAc;IAC/B,MAAM,EAAE,aAAa;IACrB,MAAM,EAAE,cAAc;CACvB,CAAC;CAAG;AAEL,yEAAyE;AACzE,MAAM,OAAO,iBAAkB,SAAQ,MAAM,CAAC,KAAK,CACjD,kCAAkC,CACnC,CAAC;IACA,IAAI,EAAE,MAAM,CAAC,OAAO;IACpB,MAAM,EAAE,MAAM,CAAC,OAAO;CACvB,CAAC;CAAG;AAEL,uFAAuF;AACvF,MAAM,OAAO,mBAAoB,SAAQ,MAAM,CAAC,WAAW,CACzD,oCAAoC,CACrC,CAAC,qBAAqB,EAAE;IACvB,aAAa,EAAE,QAAQ;IACvB,YAAY,EAAE,YAAY;IAC1B,KAAK,EAAE,iBAAiB;CACzB,CAAC;CAAG;AAEL,oFAAoF;AACpF,MAAM,OAAO,oBAAqB,SAAQ,MAAM,CAAC,WAAW,CAC1D,qCAAqC,CACtC,CAAC,sBAAsB,EAAE;IACxB,aAAa,EAAE,QAAQ;IACvB,YAAY,EAAE,YAAY;IAC1B,OAAO,EAAE,MAAM,CAAC,cAAc;CAC/B,CAAC;CAAG;AAEL,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC,KAAK,CAAC;IAC1C,OAAO;IACP,YAAY;IACZ,KAAK;IACL,MAAM;IACN,WAAW;IACX,mBAAmB;IACnB,oBAAoB;CACrB,CAAC,CAAC;AAGH,MAAM,cAAc,GAAG;IACrB,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC;IACzC,SAAS,EAAE,SAAS;IACpB,QAAQ,EAAE,QAAQ;IAClB,MAAM,EAAE,MAAM,CAAC,qBAAqB;CAC5B,CAAC;AAEX,MAAM,OAAO,gBAAiB,SAAQ,MAAM,CAAC,WAAW,CACtD,iCAAiC,CAClC,CAAC,kBAAkB,EAAE;IACpB,GAAG,cAAc;IACjB,OAAO,EAAE,eAAe;CACzB,CAAC;CAAG;AAEL,MAAM,OAAO,eAAgB,SAAQ,MAAM,CAAC,WAAW,CACrD,gCAAgC,CACjC,CAAC,iBAAiB,EAAE;IACnB,GAAG,cAAc;IACjB,+EAA+E;IAC/E,MAAM,EAAE,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,sBAAsB,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;IAC7F,QAAQ,EAAE,MAAM,CAAC,cAAc;IAC/B,OAAO,EAAE,cAAc;CACxB,CAAC;CAAG;AAEL,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,gBAAgB,EAAE,eAAe,CAAC,CAAC,CAAC;AAG1E,0EAA0E;AAC1E,MAAM,OAAO,KAAM,SAAQ,MAAM,CAAC,WAAW,CAAQ,sBAAsB,CAAC,CAAC,OAAO,EAAE;IACpF,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC;IACzC,IAAI,EAAE,OAAO;CACd,CAAC;CAAG;AAEL,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC,CAAC;AAGjE,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAM,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;AAChE,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC;AACpE,MAAM,CAAC,MAAM,wBAAwB,GAAG,MAAM,CAAC,cAAc,CAAC,gBAAgB,CAAC,CAAC;AAgBhF,MAAM,CAAC,MAAM,eAAe,GAAa,EAAE,KAAK,EAAE,iBAAiB,EAAE,YAAY,EAAE,CAAC,EAAE,CAAC;AAQvF,MAAM,UAAU,GAAG,CAAC,OAAwB,EAAW,EAAE,CACvD,OAAO,CAAC,IAAI,KAAK,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,IAAI,KAAK,aAAa,CAAC;AAE1F;;;;GAIG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CACnB,QAAkB,EAClB,SAAoB,EACpB,QAA0B,EACU,EAAE;IACtC,IAAI,QAAQ,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QACrC,OAAO,MAAM,CAAC,IAAI,CAAC;YACjB,OAAO,EAAE,kDAAkD;YAC3D,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC;SACnC,CAAC,CAAC;IACL,CAAC;IACD,IAAI,QAAQ,CAAC,QAAQ,KAAK,QAAQ,CAAC,YAAY,EAAE,CAAC;QAChD,OAAO,MAAM,CAAC,IAAI,CAAC;YACjB,OAAO,EAAE,gDAAgD;YACzD,MAAM,EAAE,YAAY,QAAQ,CAAC,YAAY,cAAc,QAAQ,CAAC,QAAQ,EAAE;SAC3E,CAAC,CAAC;IACL,CAAC;IACD,IAAI,QAAQ,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;QAClC,OAAO,MAAM,CAAC,IAAI,CAAC;YACjB,OAAO,EAAE,8DAA8D;YACvE,MAAM,EAAE,QAAQ,CAAC,OAAO,CAAC,IAAI;SAC9B,CAAC,CAAC;IACL,CAAC;IACD,IACE,QAAQ,CAAC,KAAK,KAAK,iBAAiB;QACpC,QAAQ,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS;QACnC,QAAQ,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,EAClC,CAAC;QACD,OAAO,MAAM,CAAC,IAAI,CAAC;YACjB,OAAO,EAAE,8DAA8D;YACvE,MAAM,EAAE,QAAQ,CAAC,OAAO,CAAC,IAAI;SAC9B,CAAC,CAAC;IACL,CAAC;IACD,IAAI,QAAQ,CAAC,KAAK,KAAK,SAAS,IAAI,QAAQ,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACxE,OAAO,MAAM,CAAC,IAAI,CAAC;YACjB,OAAO,EAAE,qDAAqD;YAC9D,MAAM,EAAE,4BAA4B;SACrC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC,OAAO,CAAC;QACpB,KAAK,EAAE,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS;QAC5D,YAAY,EAAE,QAAQ,CAAC,YAAY,GAAG,CAAC;KACxC,CAAC,CAAC;AACL,CAAC,CAAC"}

package/dist/attempt/failure.d.ts

@@ -0,0 +1,52 @@
+import { Schema } from "effect";
+declare const InfraFailure_base: Schema.Class<InfraFailure, Schema.TaggedStruct<"InfraFailure", {
+    readonly message: Schema.String;
+    readonly cause: Schema.Defect;
+}>, import("effect/Cause").YieldableError>;
+/**
+ * Infrastructure failed around the agent: worker unreachable, checkout failed,
+ * run host died. The only class the engine retries on its own, capped.
+ */
+export declare class InfraFailure extends InfraFailure_base {
+}
+declare const DefectFailure_base: Schema.Class<DefectFailure, Schema.TaggedStruct<"DefectFailure", {
+    readonly message: Schema.String;
+    readonly cause: Schema.Defect;
+}>, import("effect/Cause").YieldableError>;
+/** A programmer defect captured at the durable execution boundary. Retains its cause for diagnosis and requires an operator retry. */
+export declare class DefectFailure extends DefectFailure_base {
+}
+declare const AgentFailure_base: Schema.Class<AgentFailure, Schema.TaggedStruct<"AgentFailure", {
+    readonly message: Schema.String;
+}>, import("effect/Cause").YieldableError>;
+/**
+ * The agent ran and failed the work itself. Never auto-retried, since the same
+ * agent would fail the same way; the operator decides what changes first.
+ */
+export declare class AgentFailure extends AgentFailure_base {
+}
+/** Which per-attempt ceiling the runaway guard tripped. */
+export declare const RunawayCeiling: Schema.Literals<readonly ["wall-clock", "tokens"]>;
+export type RunawayCeiling = typeof RunawayCeiling.Type;
+declare const RunawayFailure_base: Schema.Class<RunawayFailure, Schema.TaggedStruct<"RunawayFailure", {
+    readonly ceiling: Schema.Literals<readonly ["wall-clock", "tokens"]>;
+}>, import("effect/Cause").YieldableError>;
+/** The runaway guard interrupted an attempt that burned without progress. Never auto-retried (ADR 0013). */
+export declare class RunawayFailure extends RunawayFailure_base {
+}
+declare const ChildSessionBudgetFailure_base: Schema.Class<ChildSessionBudgetFailure, Schema.TaggedStruct<"ChildSessionBudgetFailure", {
+    readonly maxChildren: Schema.brand<Schema.Int, "ChildSessionBudget">;
+    readonly attemptedChildren: Schema.brand<Schema.Int, "ChildSessionCount">;
+}>, import("effect/Cause").YieldableError>;
+/**
+ * The parent tried to spawn more child sessions than the Attempt allows. Never
+ * auto-retried, since the same parent would exhaust the same budget again.
+ */
+export declare class ChildSessionBudgetFailure extends ChildSessionBudgetFailure_base {
+}
+export declare const AttemptFailure: Schema.Union<readonly [typeof InfraFailure, typeof DefectFailure, typeof AgentFailure, typeof RunawayFailure, typeof ChildSessionBudgetFailure]>;
+export type AttemptFailure = typeof AttemptFailure.Type;
+/** The class half of the auto-retry law: only infra failures qualify. `shouldAutoRetry` adds the attempt cap. */
+export declare const isAutoRetryableFailure: <I>(input: I) => input is I & InfraFailure;
+export {};
+//# sourceMappingURL=failure.d.ts.map

package/dist/attempt/failure.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"failure.d.ts","sourceRoot":"","sources":["../../src/attempt/failure.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;;;;;AAGhC;;;GAGG;AACH,qBAAa,YAAa,SAAQ,iBAMjC;CAAG;;;;;AAEJ,sIAAsI;AACtI,qBAAa,aAAc,SAAQ,kBAEmC;CAAG;;;;AAEzE;;;GAGG;AACH,qBAAa,YAAa,SAAQ,iBAKjC;CAAG;AAEJ,2DAA2D;AAC3D,eAAO,MAAM,cAAc,oDAA4C,CAAC;AACxE,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAC,IAAI,CAAC;;;;AAExD,4GAA4G;AAC5G,qBAAa,cAAe,SAAQ,mBAIlC;CAAG;;;;;AAEL;;;GAGG;AACH,qBAAa,yBAA0B,SAAQ,8BAK7C;CAAG;AAEL,eAAO,MAAM,cAAc,kJAMzB,CAAC;AACH,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAC,IAAI,CAAC;AAExD,iHAAiH;AACjH,eAAO,MAAM,sBAAsB,4CAA0B,CAAC"}

package/dist/attempt/failure.js

@@ -0,0 +1,48 @@
+import { Schema } from "effect";
+import { ChildSessionBudget, ChildSessionCount } from "../agent/session.js";
+/**
+ * Infrastructure failed around the agent: worker unreachable, checkout failed,
+ * run host died. The only class the engine retries on its own, capped.
+ */
+export class InfraFailure extends Schema.TaggedError("AttemptFailure/InfraFailure")("InfraFailure", {
+    message: Schema.String,
+    cause: Schema.Defect(),
+}) {
+}
+/** A programmer defect captured at the durable execution boundary. Retains its cause for diagnosis and requires an operator retry. */
+export class DefectFailure extends Schema.TaggedError("AttemptFailure/DefectFailure")("DefectFailure", { message: Schema.String, cause: Schema.Defect() }) {
+}
+/**
+ * The agent ran and failed the work itself. Never auto-retried, since the same
+ * agent would fail the same way; the operator decides what changes first.
+ */
+export class AgentFailure extends Schema.TaggedError("AttemptFailure/AgentFailure")("AgentFailure", {
+    message: Schema.String,
+}) {
+}
+/** Which per-attempt ceiling the runaway guard tripped. */
+export const RunawayCeiling = Schema.Literals(["wall-clock", "tokens"]);
+/** The runaway guard interrupted an attempt that burned without progress. Never auto-retried (ADR 0013). */
+export class RunawayFailure extends Schema.TaggedError("AttemptFailure/RunawayFailure")("RunawayFailure", {
+    ceiling: RunawayCeiling,
+}) {
+}
+/**
+ * The parent tried to spawn more child sessions than the Attempt allows. Never
+ * auto-retried, since the same parent would exhaust the same budget again.
+ */
+export class ChildSessionBudgetFailure extends Schema.TaggedError("AttemptFailure/ChildSessionBudgetFailure")("ChildSessionBudgetFailure", {
+    maxChildren: ChildSessionBudget,
+    attemptedChildren: ChildSessionCount,
+}) {
+}
+export const AttemptFailure = Schema.Union([
+    InfraFailure,
+    DefectFailure,
+    AgentFailure,
+    RunawayFailure,
+    ChildSessionBudgetFailure,
+]);
+/** The class half of the auto-retry law: only infra failures qualify. `shouldAutoRetry` adds the attempt cap. */
+export const isAutoRetryableFailure = Schema.is(InfraFailure);
+//# sourceMappingURL=failure.js.map

package/dist/attempt/failure.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"failure.js","sourceRoot":"","sources":["../../src/attempt/failure.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAE5E;;;GAGG;AACH,MAAM,OAAO,YAAa,SAAQ,MAAM,CAAC,WAAW,CAAe,6BAA6B,CAAC,CAC/F,cAAc,EACd;IACE,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE;CACvB,CACF;CAAG;AAEJ,sIAAsI;AACtI,MAAM,OAAO,aAAc,SAAQ,MAAM,CAAC,WAAW,CACnD,8BAA8B,CAC/B,CAAC,eAAe,EAAE,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;CAAG;AAEzE;;;GAGG;AACH,MAAM,OAAO,YAAa,SAAQ,MAAM,CAAC,WAAW,CAAe,6BAA6B,CAAC,CAC/F,cAAc,EACd;IACE,OAAO,EAAE,MAAM,CAAC,MAAM;CACvB,CACF;CAAG;AAEJ,2DAA2D;AAC3D,MAAM,CAAC,MAAM,cAAc,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC,CAAC;AAGxE,4GAA4G;AAC5G,MAAM,OAAO,cAAe,SAAQ,MAAM,CAAC,WAAW,CACpD,+BAA+B,CAChC,CAAC,gBAAgB,EAAE;IAClB,OAAO,EAAE,cAAc;CACxB,CAAC;CAAG;AAEL;;;GAGG;AACH,MAAM,OAAO,yBAA0B,SAAQ,MAAM,CAAC,WAAW,CAC/D,0CAA0C,CAC3C,CAAC,2BAA2B,EAAE;IAC7B,WAAW,EAAE,kBAAkB;IAC/B,iBAAiB,EAAE,iBAAiB;CACrC,CAAC;CAAG;AAEL,MAAM,CAAC,MAAM,cAAc,GAAG,MAAM,CAAC,KAAK,CAAC;IACzC,YAAY;IACZ,aAAa;IACb,YAAY;IACZ,cAAc;IACd,yBAAyB;CAC1B,CAAC,CAAC;AAGH,iHAAiH;AACjH,MAAM,CAAC,MAAM,sBAAsB,GAAG,MAAM,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC"}

package/dist/attempt/outcome.d.ts

@@ -0,0 +1,20 @@
+import { Schema } from "effect";
+declare const AttemptSucceeded_base: Schema.Class<AttemptSucceeded, Schema.TaggedStruct<"Succeeded", {}>, {}>;
+/** The attempt finished; the step result is stored on the Step. */
+export declare class AttemptSucceeded extends AttemptSucceeded_base {
+}
+declare const AttemptFailed_base: Schema.Class<AttemptFailed, Schema.TaggedStruct<"Failed", {
+    readonly failure: Schema.Union<readonly [typeof import("./failure.ts").InfraFailure, typeof import("./failure.ts").DefectFailure, typeof import("./failure.ts").AgentFailure, typeof import("./failure.ts").RunawayFailure, typeof import("./failure.ts").ChildSessionBudgetFailure]>;
+}>, {}>;
+/** The attempt failed with the typed failure that closed it. */
+export declare class AttemptFailed extends AttemptFailed_base {
+}
+declare const AttemptCanceled_base: Schema.Class<AttemptCanceled, Schema.TaggedStruct<"Canceled", {}>, {}>;
+/** The operator canceled the Run during this Attempt. */
+export declare class AttemptCanceled extends AttemptCanceled_base {
+}
+/** The recorded end of one try; a failed Attempt may still be followed by a retry of the same Step. */
+export declare const AttemptOutcome: Schema.Union<readonly [typeof AttemptSucceeded, typeof AttemptFailed, typeof AttemptCanceled]>;
+export type AttemptOutcome = typeof AttemptOutcome.Type;
+export {};
+//# sourceMappingURL=outcome.d.ts.map

package/dist/attempt/outcome.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"outcome.d.ts","sourceRoot":"","sources":["../../src/attempt/outcome.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;;AAGhC,mEAAmE;AACnE,qBAAa,gBAAiB,SAAQ,qBAEpB;CAAG;;;;AAErB,gEAAgE;AAChE,qBAAa,aAAc,SAAQ,kBAKlC;CAAG;;AAEJ,yDAAyD;AACzD,qBAAa,eAAgB,SAAQ,oBAGpC;CAAG;AAEJ,uGAAuG;AACvG,eAAO,MAAM,cAAc,gGAAmE,CAAC;AAC/F,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAC,IAAI,CAAC"}

package/dist/attempt/outcome.js

@@ -0,0 +1,16 @@
+import { Schema } from "effect";
+import { AttemptFailure } from "./failure.js";
+/** The attempt finished; the step result is stored on the Step. */
+export class AttemptSucceeded extends Schema.TaggedClass("AttemptOutcome/Succeeded")("Succeeded", {}) {
+}
+/** The attempt failed with the typed failure that closed it. */
+export class AttemptFailed extends Schema.TaggedClass("AttemptOutcome/Failed")("Failed", {
+    failure: AttemptFailure,
+}) {
+}
+/** The operator canceled the Run during this Attempt. */
+export class AttemptCanceled extends Schema.TaggedClass("AttemptOutcome/Canceled")("Canceled", {}) {
+}
+/** The recorded end of one try; a failed Attempt may still be followed by a retry of the same Step. */
+export const AttemptOutcome = Schema.Union([AttemptSucceeded, AttemptFailed, AttemptCanceled]);
+//# sourceMappingURL=outcome.js.map

package/dist/attempt/outcome.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"outcome.js","sourceRoot":"","sources":["../../src/attempt/outcome.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAE9C,mEAAmE;AACnE,MAAM,OAAO,gBAAiB,SAAQ,MAAM,CAAC,WAAW,CACtD,0BAA0B,CAC3B,CAAC,WAAW,EAAE,EAAE,CAAC;CAAG;AAErB,gEAAgE;AAChE,MAAM,OAAO,aAAc,SAAQ,MAAM,CAAC,WAAW,CAAgB,uBAAuB,CAAC,CAC3F,QAAQ,EACR;IACE,OAAO,EAAE,cAAc;CACxB,CACF;CAAG;AAEJ,yDAAyD;AACzD,MAAM,OAAO,eAAgB,SAAQ,MAAM,CAAC,WAAW,CAAkB,yBAAyB,CAAC,CACjG,UAAU,EACV,EAAE,CACH;CAAG;AAEJ,uGAAuG;AACvG,MAAM,CAAC,MAAM,cAAc,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,gBAAgB,EAAE,aAAa,EAAE,eAAe,CAAC,CAAC,CAAC"}