@usine/core 0.0.1 → 0.2.0

package/dist/attempt/channel.d.ts

@@ -0,0 +1,130 @@
+import { Result, Schema, type Effect } 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: 4;
+/**
+ * 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, Steer, Interrupt) 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]>;
+}>, {}>;
+/** 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 stopped on an Interrupt frame. Terminal. */
+export declare class Interrupted extends Interrupted_base {
+}
+export declare const OutboundPayload: Schema.Union<readonly [typeof Started, typeof SessionEvent, typeof Final, typeof Failed, typeof Interrupted]>;
+export type OutboundPayload = typeof OutboundPayload.Type;
+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 {
+}
+export declare const InboundPayload: Schema.Union<readonly [typeof Steer, typeof Interrupt]>;
+export type InboundPayload = typeof InboundPayload.Type;
+declare const OutboundEnvelope_base: Schema.Class<OutboundEnvelope, Schema.TaggedStruct<"OutboundEnvelope", {
+    readonly version: Schema.Literal<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 Started, typeof SessionEvent, typeof Final, typeof Failed, typeof Interrupted]>;
+}>, {}>;
+export declare class OutboundEnvelope extends OutboundEnvelope_base {
+}
+declare const InboundEnvelope_base: Schema.Class<InboundEnvelope, Schema.TaggedStruct<"InboundEnvelope", {
+    readonly version: Schema.Literal<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 Steer, typeof Interrupt]>;
+}>, {}>;
+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<4>;
+    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,KAAK,MAAM,EAAE,MAAM,QAAQ,CAAC;AACrD,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,4DAA4D;AAC5D,qBAAa,WAAY,SAAQ,gBAGhC;CAAG;AAEJ,eAAO,MAAM,eAAe,+GAAoE,CAAC;AACjG,MAAM,MAAM,eAAe,GAAG,OAAO,eAAe,CAAC,IAAI,CAAC;;;;AAE1D,qBAAa,KAAM,SAAQ,UAEzB;CAAG;;AAEL,qBAAa,SAAU,SAAQ,cAG9B;CAAG;AAEJ,eAAO,MAAM,cAAc,yDAAmC,CAAC;AAC/D,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAC,IAAI,CAAC;;;;;;;;AASxD,qBAAa,gBAAiB,SAAQ,qBAKpC;CAAG;;;;;;;;AAEL,qBAAa,eAAgB,SAAQ,oBAKnC;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,137 @@
+import { Result, Schema } from "effect";
+import { Agent } from "../agent/agent.js";
+import { Effort, ModelId } from "../agent/brain.js";
+import { AgentSessionEvent, 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 = 4;
+/**
+ * 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, Steer, Interrupt) 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 stopped on an Interrupt frame. Terminal. */
+export class Interrupted extends Schema.TaggedClass("AttemptChannel/Interrupted")("Interrupted", {}) {
+}
+export const OutboundPayload = Schema.Union([Started, SessionEvent, Final, Failed, Interrupted]);
+export class Steer extends Schema.TaggedClass("AttemptChannel/Steer")("Steer", {
+    message: Schema.NonEmptyString,
+}) {
+}
+export class Interrupt extends Schema.TaggedClass("AttemptChannel/Interrupt")("Interrupt", {}) {
+}
+export const InboundPayload = Schema.Union([Steer, Interrupt]);
+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,
+    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,QAAQ,CAAC;AACrD,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC1C,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAC5E,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,4DAA4D;AAC5D,MAAM,OAAO,WAAY,SAAQ,MAAM,CAAC,WAAW,CAAc,4BAA4B,CAAC,CAC5F,aAAa,EACb,EAAE,CACH;CAAG;AAEJ,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC;AAGjG,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,MAAM,CAAC,MAAM,cAAc,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;AAG/D,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,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"}

package/dist/cycle-budget.d.ts

@@ -0,0 +1,38 @@
+import { Schema } from "effect";
+/** Maximum Runs one Loop may open for an Item between operator resets. */
+export declare const CycleLimit: Schema.brand<Schema.Int, "CycleLimit">;
+export type CycleLimit = typeof CycleLimit.Type;
+/** Identifies one Item allowance between explicit operator resets. */
+export declare const CycleGeneration: Schema.brand<Schema.Int, "CycleGeneration">;
+export type CycleGeneration = typeof CycleGeneration.Type;
+/** The safe default for unattended rounds on an Item. */
+export declare const DEFAULT_CYCLE_LIMIT: number & import("effect/Brand").Brand<"CycleLimit">;
+/** Number of admitted or completed rounds for one Loop on an Item. */
+export declare const CycleCount: Schema.brand<Schema.Int, "CycleCount">;
+export type CycleCount = typeof CycleCount.Type;
+declare const LoopCycleCount_base: Schema.Class<LoopCycleCount, Schema.Struct<{
+    readonly loop: Schema.brand<Schema.NonEmptyString, "LoopName">;
+    readonly admitted: Schema.brand<Schema.Int, "CycleCount">;
+    readonly completed: Schema.brand<Schema.Int, "CycleCount">;
+}>, {}>;
+/** A Loop's charged Runs and settled Runs in the current cycle budget. */
+export declare class LoopCycleCount extends LoopCycleCount_base {
+}
+/** Identifies the Event and budget generation that first exhausted an Item's allowance. */
+export declare const CycleBudgetAskId: Schema.brand<Schema.brand<Schema.NonEmptyString, "EventId">, "CycleBudgetAskId">;
+export type CycleBudgetAskId = typeof CycleBudgetAskId.Type;
+declare const CycleBudgetAsk_base: Schema.Class<CycleBudgetAsk, Schema.Struct<{
+    readonly id: Schema.brand<Schema.brand<Schema.NonEmptyString, "EventId">, "CycleBudgetAskId">;
+    readonly itemKey: Schema.brand<Schema.NonEmptyString, "ItemKey">;
+    readonly repository: Schema.brand<Schema.String, "RepositoryName">;
+    readonly loop: Schema.brand<Schema.NonEmptyString, "LoopName">;
+    readonly limit: Schema.brand<Schema.Int, "CycleLimit">;
+    readonly counts: Schema.NonEmptyArray<typeof LoopCycleCount>;
+}>, {}>;
+/** An Item-level request for an operator reset before further Runs can open. */
+export declare class CycleBudgetAsk extends CycleBudgetAsk_base {
+    /** The furthest completed round; each Loop participates at most once per round. */
+    get completedCycles(): CycleCount;
+}
+export {};
+//# sourceMappingURL=cycle-budget.d.ts.map

package/dist/cycle-budget.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cycle-budget.d.ts","sourceRoot":"","sources":["../src/cycle-budget.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,0EAA0E;AAC1E,eAAO,MAAM,UAAU,wCAEtB,CAAC;AACF,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAC,IAAI,CAAC;AAEhD,sEAAsE;AACtE,eAAO,MAAM,eAAe,6CAE3B,CAAC;AACF,MAAM,MAAM,eAAe,GAAG,OAAO,eAAe,CAAC,IAAI,CAAC;AAE1D,yDAAyD;AACzD,eAAO,MAAM,mBAAmB,qDAAqB,CAAC;AAEtD,sEAAsE;AACtE,eAAO,MAAM,UAAU,wCAEtB,CAAC;AACF,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAC,IAAI,CAAC;;;;;;AAEhD,0EAA0E;AAC1E,qBAAa,cAAe,SAAQ,mBAYnC;CAAG;AAEJ,2FAA2F;AAC3F,eAAO,MAAM,gBAAgB,kFAAiD,CAAC;AAC/E,MAAM,MAAM,gBAAgB,GAAG,OAAO,gBAAgB,CAAC,IAAI,CAAC;;;;;;;;;AAE5D,gFAAgF;AAChF,qBAAa,cAAe,SAAQ,mBAoBnC;IACC,mFAAmF;IACnF,IAAI,eAAe,IAAI,UAAU,CAEhC;CACF"}

package/dist/cycle-budget.js

@@ -0,0 +1,46 @@
+import { EventId } from "./event.js";
+import { ItemKey } from "./item.js";
+import { LoopName } from "./loop.js";
+import { RepositoryName } from "./repository.js";
+import { Schema } from "effect";
+/** Maximum Runs one Loop may open for an Item between operator resets. */
+export const CycleLimit = Schema.Int.check(Schema.isGreaterThanOrEqualTo(1)).pipe(Schema.brand("CycleLimit"));
+/** Identifies one Item allowance between explicit operator resets. */
+export const CycleGeneration = Schema.Int.check(Schema.isGreaterThanOrEqualTo(0)).pipe(Schema.brand("CycleGeneration"));
+/** The safe default for unattended rounds on an Item. */
+export const DEFAULT_CYCLE_LIMIT = CycleLimit.make(3);
+/** Number of admitted or completed rounds for one Loop on an Item. */
+export const CycleCount = Schema.Int.check(Schema.isGreaterThanOrEqualTo(0)).pipe(Schema.brand("CycleCount"));
+/** A Loop's charged Runs and settled Runs in the current cycle budget. */
+export class LoopCycleCount extends Schema.Class("LoopCycleCount")(Schema.Struct({
+    loop: LoopName,
+    admitted: CycleCount,
+    completed: CycleCount,
+})
+    .check(Schema.makeFilter(({ admitted, completed }) => completed <= admitted, {
+    message: "Completed Runs cannot exceed admitted Runs",
+}))
+    .annotate({ parseOptions: { onExcessProperty: "error" } })) {
+}
+/** Identifies the Event and budget generation that first exhausted an Item's allowance. */
+export const CycleBudgetAskId = EventId.pipe(Schema.brand("CycleBudgetAskId"));
+/** An Item-level request for an operator reset before further Runs can open. */
+export class CycleBudgetAsk extends Schema.Class("CycleBudgetAsk")(Schema.Struct({
+    id: CycleBudgetAskId,
+    itemKey: ItemKey,
+    repository: RepositoryName,
+    loop: LoopName,
+    limit: CycleLimit,
+    counts: Schema.NonEmptyArray(LoopCycleCount),
+})
+    .check(Schema.makeFilter(({ loop, limit, counts }) => new Set(counts.map((count) => count.loop)).size === counts.length &&
+    counts.some((count) => count.loop === loop && count.admitted >= limit), {
+    message: "Expected unique participating Loops including the exhausted Loop at its limit",
+}))
+    .annotate({ parseOptions: { onExcessProperty: "error" } })) {
+    /** The furthest completed round; each Loop participates at most once per round. */
+    get completedCycles() {
+        return CycleCount.make(Math.max(...this.counts.map(({ completed }) => completed)));
+    }
+}
+//# sourceMappingURL=cycle-budget.js.map

package/dist/cycle-budget.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cycle-budget.js","sourceRoot":"","sources":["../src/cycle-budget.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AACrC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACrC,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,0EAA0E;AAC1E,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAC/E,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,CAC3B,CAAC;AAGF,sEAAsE;AACtE,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CACpF,MAAM,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAChC,CAAC;AAGF,yDAAyD;AACzD,MAAM,CAAC,MAAM,mBAAmB,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAEtD,sEAAsE;AACtE,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAC/E,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,CAC3B,CAAC;AAGF,0EAA0E;AAC1E,MAAM,OAAO,cAAe,SAAQ,MAAM,CAAC,KAAK,CAAiB,gBAAgB,CAAC,CAChF,MAAM,CAAC,MAAM,CAAC;IACZ,IAAI,EAAE,QAAQ;IACd,QAAQ,EAAE,UAAU;IACpB,SAAS,EAAE,UAAU;CACtB,CAAC;KACC,KAAK,CACJ,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,SAAS,IAAI,QAAQ,EAAE;IACpE,OAAO,EAAE,4CAA4C;CACtD,CAAC,CACH;KACA,QAAQ,CAAC,EAAE,YAAY,EAAE,EAAE,gBAAgB,EAAE,OAAO,EAAE,EAAE,CAAC,CAC7D;CAAG;AAEJ,2FAA2F;AAC3F,MAAM,CAAC,MAAM,gBAAgB,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,CAAC;AAG/E,gFAAgF;AAChF,MAAM,OAAO,cAAe,SAAQ,MAAM,CAAC,KAAK,CAAiB,gBAAgB,CAAC,CAChF,MAAM,CAAC,MAAM,CAAC;IACZ,EAAE,EAAE,gBAAgB;IACpB,OAAO,EAAE,OAAO;IAChB,UAAU,EAAE,cAAc;IAC1B,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,UAAU;IACjB,MAAM,EAAE,MAAM,CAAC,aAAa,CAAC,cAAc,CAAC;CAC7C,CAAC;KACC,KAAK,CACJ,MAAM,CAAC,UAAU,CACf,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,CAC1B,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,MAAM;IACjE,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,IAAI,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,EACxE;IACE,OAAO,EAAE,+EAA+E;CACzF,CACF,CACF;KACA,QAAQ,CAAC,EAAE,YAAY,EAAE,EAAE,gBAAgB,EAAE,OAAO,EAAE,EAAE,CAAC,CAC7D;IACC,mFAAmF;IACnF,IAAI,eAAe;QACjB,OAAO,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACrF,CAAC;CACF"}

package/dist/event.d.ts

@@ -0,0 +1,25 @@
+import { Schema } from "effect";
+/** Identity of one recorded fact; repeated sightings are matched through its dedup key. */
+export declare const EventId: Schema.brand<Schema.NonEmptyString, "EventId">;
+export type EventId = typeof EventId.Type;
+/**
+ * Idempotency key the engine derives from watched state, timestamps excluded.
+ * The same state is the same Event forever, so a loop file never sets it (ADR 0002).
+ */
+export declare const DedupKey: Schema.brand<Schema.NonEmptyString, "DedupKey">;
+export type DedupKey = typeof DedupKey.Type;
+declare const Event_base: Schema.Class<Event, Schema.Struct<{
+    readonly id: Schema.brand<Schema.NonEmptyString, "EventId">;
+    readonly dedupKey: Schema.brand<Schema.NonEmptyString, "DedupKey">;
+    readonly payload: Schema.Codec<Schema.Json, Schema.Json, never, never>;
+    readonly receivedAt: Schema.DateTimeUtc;
+}>, {}>;
+/**
+ * One deduplicated fact the engine may react to: a trigger match or an operator
+ * approval. Trigger payloads retain the snapshot that selection expressions
+ * and prompt interpolation use; retries keep that recorded snapshot.
+ */
+export declare class Event extends Event_base {
+}
+export {};
+//# sourceMappingURL=event.d.ts.map

package/dist/event.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"event.d.ts","sourceRoot":"","sources":["../src/event.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,2FAA2F;AAC3F,eAAO,MAAM,OAAO,gDAAsD,CAAC;AAE3E,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAC;AAE1C;;;GAGG;AACH,eAAO,MAAM,QAAQ,iDAAuD,CAAC;AAE7E,MAAM,MAAM,QAAQ,GAAG,OAAO,QAAQ,CAAC,IAAI,CAAC;;;;;;;AAE5C;;;;GAIG;AACH,qBAAa,KAAM,SAAQ,UAKzB;CAAG"}

package/dist/event.js

@@ -0,0 +1,21 @@
+import { Schema } from "effect";
+/** Identity of one recorded fact; repeated sightings are matched through its dedup key. */
+export const EventId = Schema.NonEmptyString.pipe(Schema.brand("EventId"));
+/**
+ * Idempotency key the engine derives from watched state, timestamps excluded.
+ * The same state is the same Event forever, so a loop file never sets it (ADR 0002).
+ */
+export const DedupKey = Schema.NonEmptyString.pipe(Schema.brand("DedupKey"));
+/**
+ * One deduplicated fact the engine may react to: a trigger match or an operator
+ * approval. Trigger payloads retain the snapshot that selection expressions
+ * and prompt interpolation use; retries keep that recorded snapshot.
+ */
+export class Event extends Schema.Class("Event")({
+    id: EventId,
+    dedupKey: DedupKey,
+    payload: Schema.Json,
+    receivedAt: Schema.DateTimeUtc,
+}) {
+}
+//# sourceMappingURL=event.js.map

package/dist/event.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"event.js","sourceRoot":"","sources":["../src/event.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,2FAA2F;AAC3F,MAAM,CAAC,MAAM,OAAO,GAAG,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;AAI3E;;;GAGG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;AAI7E;;;;GAIG;AACH,MAAM,OAAO,KAAM,SAAQ,MAAM,CAAC,KAAK,CAAQ,OAAO,CAAC,CAAC;IACtD,EAAE,EAAE,OAAO;IACX,QAAQ,EAAE,QAAQ;IAClB,OAAO,EAAE,MAAM,CAAC,IAAI;IACpB,UAAU,EAAE,MAAM,CAAC,WAAW;CAC/B,CAAC;CAAG"}

package/dist/instance.d.ts

@@ -0,0 +1,5 @@
+import { Schema } from "effect";
+/** Root folder containing the factory's `usine.yaml`, Loop files, and Agent roster; the caller resolves its location. */
+export declare const InstanceDirectory: Schema.brand<Schema.NonEmptyString, "InstanceDirectory">;
+export type InstanceDirectory = typeof InstanceDirectory.Type;
+//# sourceMappingURL=instance.d.ts.map

package/dist/instance.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"instance.d.ts","sourceRoot":"","sources":["../src/instance.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,yHAAyH;AACzH,eAAO,MAAM,iBAAiB,0DAAgE,CAAC;AAC/F,MAAM,MAAM,iBAAiB,GAAG,OAAO,iBAAiB,CAAC,IAAI,CAAC"}

package/dist/instance.js

@@ -0,0 +1,4 @@
+import { Schema } from "effect";
+/** Root folder containing the factory's `usine.yaml`, Loop files, and Agent roster; the caller resolves its location. */
+export const InstanceDirectory = Schema.NonEmptyString.pipe(Schema.brand("InstanceDirectory"));
+//# sourceMappingURL=instance.js.map

package/dist/instance.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"instance.js","sourceRoot":"","sources":["../src/instance.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,yHAAyH;AACzH,MAAM,CAAC,MAAM,iBAAiB,GAAG,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC,CAAC"}

package/dist/item.d.ts

@@ -0,0 +1,8 @@
+import { Schema } from "effect";
+/** Identity of the issue or pull request a loop acts on. Many content-distinct Events can concern one Item. */
+export declare const ItemKey: Schema.brand<Schema.NonEmptyString, "ItemKey">;
+export type ItemKey = typeof ItemKey.Type;
+/** The issue or pull request number within its repository. */
+export declare const ItemNumber: Schema.brand<Schema.Int, "ItemNumber">;
+export type ItemNumber = typeof ItemNumber.Type;
+//# sourceMappingURL=item.d.ts.map

package/dist/item.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"item.d.ts","sourceRoot":"","sources":["../src/item.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,+GAA+G;AAC/G,eAAO,MAAM,OAAO,gDAAsD,CAAC;AAE3E,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAC;AAE1C,8DAA8D;AAC9D,eAAO,MAAM,UAAU,wCAEtB,CAAC;AACF,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAC,IAAI,CAAC"}