@usine/core 0.3.0 → 0.5.0

package/dist/attempt/failure.d.ts

@@ -4,8 +4,8 @@ declare const InfraFailure_base: Schema.Class<InfraFailure, Schema.TaggedStruct<
     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.
+ * An infrastructure failure outside the agent, such as an unreachable Worker or failed checkout.
+ * It's the only failure the engine retries automatically, up to the attempt cap.
  */
 export declare class InfraFailure extends InfraFailure_base {
 }
@@ -13,40 +13,53 @@ declare const DefectFailure_base: Schema.Class<DefectFailure, Schema.TaggedStruc
     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. */
+/** A programmer defect caught at the durable execution boundary; not retried automatically. */
 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>;
+/** A task failure reported by the agent; not retried automatically. */
+export declare class AgentFailure extends AgentFailure_base {
+}
+declare const BlockedFailure_base: Schema.Class<BlockedFailure, Schema.TaggedStruct<"BlockedFailure", {
+    readonly message: Schema.NonEmptyString;
+}>, 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.
+ * A blocker the agent can't resolve, described in `message` with the remaining work. The Loop
+ * opens no new Run for the Item until the operator retries or resolves the Run, or the Item
+ * changes (ADR 0017).
  */
-export declare class AgentFailure extends AgentFailure_base {
+export declare class BlockedFailure extends BlockedFailure_base {
+}
+declare const QuestionFailure_base: Schema.Class<QuestionFailure, Schema.TaggedStruct<"QuestionFailure", {
+    readonly question: Schema.NonEmptyString;
+}>, import("effect/Cause").YieldableError>;
+/**
+ * A question that needs an operator decision. The Loop opens no new Run for the Item until the
+ * operator answers or the Item changes (ADR 0017).
+ */
+export declare class QuestionFailure extends QuestionFailure_base {
 }
-/** Which per-attempt ceiling the runaway guard tripped. */
+/** The runaway guard limit that was exceeded. */
 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). */
+/** A stop by the runaway guard after the Attempt exceeded `ceiling`; not retried automatically (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.
- */
+/** A parent request for more child sessions than `maxChildren`; not retried automatically. */
 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 declare const AttemptFailure: Schema.Union<readonly [typeof InfraFailure, typeof DefectFailure, typeof AgentFailure, typeof BlockedFailure, typeof QuestionFailure, 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. */
+/** Returns whether the failure is an `InfraFailure`; `shouldAutoRetry` also applies 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

@@ -1 +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"}
+{"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,+FAA+F;AAC/F,qBAAa,aAAc,SAAQ,kBAEmC;CAAG;;;;AAEzE,uEAAuE;AACvE,qBAAa,YAAa,SAAQ,iBAKjC;CAAG;;;;AAEJ;;;;GAIG;AACH,qBAAa,cAAe,SAAQ,mBAIlC;CAAG;;;;AAEL;;;GAGG;AACH,qBAAa,eAAgB,SAAQ,oBAInC;CAAG;AAEL,iDAAiD;AACjD,eAAO,MAAM,cAAc,oDAA4C,CAAC;AACxE,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAC,IAAI,CAAC;;;;AAExD,8GAA8G;AAC9G,qBAAa,cAAe,SAAQ,mBAIlC;CAAG;;;;;AAEL,8FAA8F;AAC9F,qBAAa,yBAA0B,SAAQ,8BAK7C;CAAG;AAEL,eAAO,MAAM,cAAc,iMAQzB,CAAC;AACH,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAC,IAAI,CAAC;AAExD,wGAAwG;AACxG,eAAO,MAAM,sBAAsB,4CAA0B,CAAC"}

package/dist/attempt/failure.js

@@ -1,36 +1,47 @@
 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.
+ * An infrastructure failure outside the agent, such as an unreachable Worker or failed checkout.
+ * It's the only failure the engine retries automatically, up to the attempt cap.
  */
 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. */
+/** A programmer defect caught at the durable execution boundary; not retried automatically. */
 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.
- */
+/** A task failure reported by the agent; not retried automatically. */
 export class AgentFailure extends Schema.TaggedError("AttemptFailure/AgentFailure")("AgentFailure", {
     message: Schema.String,
 }) {
 }
-/** Which per-attempt ceiling the runaway guard tripped. */
+/**
+ * A blocker the agent can't resolve, described in `message` with the remaining work. The Loop
+ * opens no new Run for the Item until the operator retries or resolves the Run, or the Item
+ * changes (ADR 0017).
+ */
+export class BlockedFailure extends Schema.TaggedError("AttemptFailure/BlockedFailure")("BlockedFailure", {
+    message: Schema.NonEmptyString,
+}) {
+}
+/**
+ * A question that needs an operator decision. The Loop opens no new Run for the Item until the
+ * operator answers or the Item changes (ADR 0017).
+ */
+export class QuestionFailure extends Schema.TaggedError("AttemptFailure/QuestionFailure")("QuestionFailure", {
+    question: Schema.NonEmptyString,
+}) {
+}
+/** The runaway guard limit that was exceeded. */
 export const RunawayCeiling = Schema.Literals(["wall-clock", "tokens"]);
-/** The runaway guard interrupted an attempt that burned without progress. Never auto-retried (ADR 0013). */
+/** A stop by the runaway guard after the Attempt exceeded `ceiling`; not retried automatically (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.
- */
+/** A parent request for more child sessions than `maxChildren`; not retried automatically. */
 export class ChildSessionBudgetFailure extends Schema.TaggedError("AttemptFailure/ChildSessionBudgetFailure")("ChildSessionBudgetFailure", {
     maxChildren: ChildSessionBudget,
     attemptedChildren: ChildSessionCount,
@@ -40,9 +51,11 @@ export const AttemptFailure = Schema.Union([
     InfraFailure,
     DefectFailure,
     AgentFailure,
+    BlockedFailure,
+    QuestionFailure,
     RunawayFailure,
     ChildSessionBudgetFailure,
 ]);
-/** The class half of the auto-retry law: only infra failures qualify. `shouldAutoRetry` adds the attempt cap. */
+/** Returns whether the failure is an `InfraFailure`; `shouldAutoRetry` also applies the attempt cap. */
 export const isAutoRetryableFailure = Schema.is(InfraFailure);
 //# sourceMappingURL=failure.js.map

package/dist/attempt/failure.js.map

@@ -1 +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"}
+{"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,+FAA+F;AAC/F,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,uEAAuE;AACvE,MAAM,OAAO,YAAa,SAAQ,MAAM,CAAC,WAAW,CAAe,6BAA6B,CAAC,CAC/F,cAAc,EACd;IACE,OAAO,EAAE,MAAM,CAAC,MAAM;CACvB,CACF;CAAG;AAEJ;;;;GAIG;AACH,MAAM,OAAO,cAAe,SAAQ,MAAM,CAAC,WAAW,CACpD,+BAA+B,CAChC,CAAC,gBAAgB,EAAE;IAClB,OAAO,EAAE,MAAM,CAAC,cAAc;CAC/B,CAAC;CAAG;AAEL;;;GAGG;AACH,MAAM,OAAO,eAAgB,SAAQ,MAAM,CAAC,WAAW,CACrD,gCAAgC,CACjC,CAAC,iBAAiB,EAAE;IACnB,QAAQ,EAAE,MAAM,CAAC,cAAc;CAChC,CAAC;CAAG;AAEL,iDAAiD;AACjD,MAAM,CAAC,MAAM,cAAc,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC,CAAC;AAGxE,8GAA8G;AAC9G,MAAM,OAAO,cAAe,SAAQ,MAAM,CAAC,WAAW,CACpD,+BAA+B,CAChC,CAAC,gBAAgB,EAAE;IAClB,OAAO,EAAE,cAAc;CACxB,CAAC;CAAG;AAEL,8FAA8F;AAC9F,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,eAAe;IACf,cAAc;IACd,yBAAyB;CAC1B,CAAC,CAAC;AAGH,wGAAwG;AACxG,MAAM,CAAC,MAAM,sBAAsB,GAAG,MAAM,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC"}

package/dist/attempt/outcome.d.ts

@@ -1,19 +1,17 @@
 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. */
+/** The outcome of a successful Attempt; 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]>;
+    readonly failure: Schema.Union<readonly [typeof import("./failure.ts").InfraFailure, typeof import("./failure.ts").DefectFailure, typeof import("./failure.ts").AgentFailure, typeof import("./failure.ts").BlockedFailure, typeof import("./failure.ts").QuestionFailure, 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. */
+/** The outcome of an Attempt during which the operator canceled the Run. */
 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 {};

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

@@ -1 +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"}
+{"version":3,"file":"outcome.d.ts","sourceRoot":"","sources":["../../src/attempt/outcome.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;;AAGhC,kFAAkF;AAClF,qBAAa,gBAAiB,SAAQ,qBAEpB;CAAG;;;;AAErB,qBAAa,aAAc,SAAQ,kBAKlC;CAAG;;AAEJ,4EAA4E;AAC5E,qBAAa,eAAgB,SAAQ,oBAGpC;CAAG;AAEJ,eAAO,MAAM,cAAc,gGAAmE,CAAC;AAC/F,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAC,IAAI,CAAC"}

package/dist/attempt/outcome.js

@@ -1,16 +1,14 @@
 import { Schema } from "effect";
 import { AttemptFailure } from "./failure.js";
-/** The attempt finished; the step result is stored on the Step. */
+/** The outcome of a successful Attempt; 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. */
+/** The outcome of an Attempt during which the operator canceled the Run. */
 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

@@ -1 +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"}
+{"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,kFAAkF;AAClF,MAAM,OAAO,gBAAiB,SAAQ,MAAM,CAAC,WAAW,CACtD,0BAA0B,CAC3B,CAAC,WAAW,EAAE,EAAE,CAAC;CAAG;AAErB,MAAM,OAAO,aAAc,SAAQ,MAAM,CAAC,WAAW,CAAgB,uBAAuB,CAAC,CAC3F,QAAQ,EACR;IACE,OAAO,EAAE,cAAc;CACxB,CACF;CAAG;AAEJ,4EAA4E;AAC5E,MAAM,OAAO,eAAgB,SAAQ,MAAM,CAAC,WAAW,CAAkB,yBAAyB,CAAC,CACjG,UAAU,EACV,EAAE,CACH;CAAG;AAEJ,MAAM,CAAC,MAAM,cAAc,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,gBAAgB,EAAE,aAAa,EAAE,eAAe,CAAC,CAAC,CAAC"}

package/dist/attempt/salvage.d.ts

@@ -0,0 +1,77 @@
+import { type Effect, type Option, Schema } from "effect";
+import type { LoopPermissions } from "../loop.ts";
+import { type RepositoryName } from "../repository.ts";
+import type { RunId } from "../run/run.ts";
+import type { Comment } from "../step/result.ts";
+import type { WorkerName } from "../worker.ts";
+import type { AttemptId, AttemptNumber, AttemptWindows } from "./attempt.ts";
+/** The remote branch `usine/salvage/<run>/<attempt>` with an Attempt's unfinished work. */
+export declare const SalvageRef: Schema.brand<Schema.NonEmptyString, "SalvageRef">;
+export type SalvageRef = typeof SalvageRef.Type;
+export declare const salvageRefFor: (runId: RunId, number: AttemptNumber) => SalvageRef;
+declare const SalvagePushed_base: Schema.Class<SalvagePushed, Schema.TaggedStruct<"Pushed", {
+    readonly ref: Schema.brand<Schema.NonEmptyString, "SalvageRef">;
+    readonly commit: Schema.brand<Schema.String, "CommitSha">;
+}>, {}>;
+/** Unfinished work committed and pushed to `ref`; `commit` is the pushed head. */
+export declare class SalvagePushed extends SalvagePushed_base {
+}
+declare const SalvagePartlyPushed_base: Schema.Class<SalvagePartlyPushed, Schema.TaggedStruct<"PartlyPushed", {
+    readonly ref: Schema.brand<Schema.NonEmptyString, "SalvageRef">;
+    readonly commit: Schema.brand<Schema.String, "CommitSha">;
+    readonly path: Schema.NonEmptyString;
+    readonly message: Schema.String;
+}>, {}>;
+/**
+ * Unfinished work pushed to `ref` at `commit`, without files that the salvage can't push, such as
+ * a file over GitHub's size limit. The workspace at `path` on the Worker keeps their only copy,
+ * and `message` names them.
+ */
+export declare class SalvagePartlyPushed extends SalvagePartlyPushed_base {
+}
+declare const SalvageRetained_base: Schema.Class<SalvageRetained, Schema.TaggedStruct<"Retained", {
+    readonly path: Schema.NonEmptyString;
+    readonly commit: Schema.OptionFromNullOr<Schema.brand<Schema.String, "CommitSha">>;
+    readonly message: Schema.String;
+}>, {}>;
+/** A failed salvage that left the workspace at `path` on the Worker. `commit` is `None` if inspection failed. */
+export declare class SalvageRetained extends SalvageRetained_base {
+}
+declare const SalvageRejected_base: Schema.Class<SalvageRejected, Schema.TaggedStruct<"Rejected", {
+    readonly path: Schema.NonEmptyString;
+    readonly commit: Schema.brand<Schema.String, "CommitSha">;
+    readonly message: Schema.String;
+}>, {}>;
+/**
+ * A salvage whose push the remote refused for a reason that pushing again can't fix, such as a
+ * file over GitHub's size limit. It left the workspace at `path` on the Worker, and recovery
+ * doesn't push `commit` again.
+ */
+export declare class SalvageRejected extends SalvageRejected_base {
+}
+/** What the executor kept of the workspace of an unsuccessful Attempt. */
+export declare const AttemptSalvage: Schema.Union<readonly [typeof SalvagePushed, typeof SalvagePartlyPushed, typeof SalvageRetained, typeof SalvageRejected]>;
+export type AttemptSalvage = typeof AttemptSalvage.Type;
+/** A persisted Attempt whose checkout can still exist on its Worker. */
+export interface AttemptRecovery {
+    readonly attemptId: AttemptId;
+    readonly worker: WorkerName;
+    readonly repository: RepositoryName;
+    readonly ref: SalvageRef;
+    /** The Loop permissions; a leftover checkout of a `read` Attempt is removed, not salvaged. */
+    readonly permissions: LoopPermissions;
+    /** Whether the Attempt succeeded, in which case a leftover checkout is removed, not salvaged. */
+    readonly succeeded: boolean;
+    /** Whether the Attempt has no outcome yet, so a restart can reattach it if its parent task runs. */
+    readonly open: boolean;
+    /** The recorded salvage that the remote rejected, whose commit recovery doesn't push again. */
+    readonly rejected: Option.Option<SalvageRejected>;
+}
+/** The storage that startup reconciliation uses for a persisted Attempt's salvage, comments, and windows. */
+export interface RecoverySink<E> {
+    readonly salvage: (salvage: AttemptSalvage) => Effect.Effect<void, E>;
+    readonly comments: (comments: ReadonlyArray<Comment>) => Effect.Effect<void, E>;
+    readonly windows: Effect.Effect<AttemptWindows, E>;
+}
+export {};
+//# sourceMappingURL=salvage.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"salvage.d.ts","sourceRoot":"","sources":["../../src/attempt/salvage.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,MAAM,EAAE,KAAK,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC1D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAClD,OAAO,EAA0B,KAAK,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAC/E,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAC3C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,KAAK,EAAE,SAAS,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAE7E,2FAA2F;AAC3F,eAAO,MAAM,UAAU,mDAAyD,CAAC;AACjF,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAC,IAAI,CAAC;AAEhD,eAAO,MAAM,aAAa,UAAW,KAAK,UAAU,aAAa,KAAG,UACF,CAAC;;;;;AAEnE,kFAAkF;AAClF,qBAAa,aAAc,SAAQ,kBAMlC;CAAG;;;;;;;AAEJ;;;;GAIG;AACH,qBAAa,mBAAoB,SAAQ,wBAOvC;CAAG;;;;;;AAEL,iHAAiH;AACjH,qBAAa,eAAgB,SAAQ,oBAOpC;CAAG;;;;;;AAEJ;;;;GAIG;AACH,qBAAa,eAAgB,SAAQ,oBAOpC;CAAG;AAEJ,0EAA0E;AAC1E,eAAO,MAAM,cAAc,2HAKzB,CAAC;AACH,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAC,IAAI,CAAC;AAExD,wEAAwE;AACxE,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,cAAc,CAAC;IACpC,QAAQ,CAAC,GAAG,EAAE,UAAU,CAAC;IACzB,8FAA8F;IAC9F,QAAQ,CAAC,WAAW,EAAE,eAAe,CAAC;IACtC,iGAAiG;IACjG,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,oGAAoG;IACpG,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,+FAA+F;IAC/F,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;CACnD;AAED,6GAA6G;AAC7G,MAAM,WAAW,YAAY,CAAC,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,cAAc,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACtE,QAAQ,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE,aAAa,CAAC,OAAO,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAChF,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC;CACpD"}

package/dist/attempt/salvage.js

@@ -0,0 +1,49 @@
+import { Schema } from "effect";
+import { CommitSha, safeSegment } from "../repository.js";
+/** The remote branch `usine/salvage/<run>/<attempt>` with an Attempt's unfinished work. */
+export const SalvageRef = Schema.NonEmptyString.pipe(Schema.brand("SalvageRef"));
+export const salvageRefFor = (runId, number) => SalvageRef.make(`usine/salvage/${safeSegment(runId)}/${number}`);
+/** Unfinished work committed and pushed to `ref`; `commit` is the pushed head. */
+export class SalvagePushed extends Schema.TaggedClass("AttemptSalvage/Pushed")("Pushed", {
+    ref: SalvageRef,
+    commit: CommitSha,
+}) {
+}
+/**
+ * Unfinished work pushed to `ref` at `commit`, without files that the salvage can't push, such as
+ * a file over GitHub's size limit. The workspace at `path` on the Worker keeps their only copy,
+ * and `message` names them.
+ */
+export class SalvagePartlyPushed extends Schema.TaggedClass("AttemptSalvage/PartlyPushed")("PartlyPushed", {
+    ref: SalvageRef,
+    commit: CommitSha,
+    path: Schema.NonEmptyString,
+    message: Schema.String,
+}) {
+}
+/** A failed salvage that left the workspace at `path` on the Worker. `commit` is `None` if inspection failed. */
+export class SalvageRetained extends Schema.TaggedClass("AttemptSalvage/Retained")("Retained", {
+    path: Schema.NonEmptyString,
+    commit: Schema.OptionFromNullOr(CommitSha),
+    message: Schema.String,
+}) {
+}
+/**
+ * A salvage whose push the remote refused for a reason that pushing again can't fix, such as a
+ * file over GitHub's size limit. It left the workspace at `path` on the Worker, and recovery
+ * doesn't push `commit` again.
+ */
+export class SalvageRejected extends Schema.TaggedClass("AttemptSalvage/Rejected")("Rejected", {
+    path: Schema.NonEmptyString,
+    commit: CommitSha,
+    message: Schema.String,
+}) {
+}
+/** What the executor kept of the workspace of an unsuccessful Attempt. */
+export const AttemptSalvage = Schema.Union([
+    SalvagePushed,
+    SalvagePartlyPushed,
+    SalvageRetained,
+    SalvageRejected,
+]);
+//# sourceMappingURL=salvage.js.map

package/dist/attempt/salvage.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"salvage.js","sourceRoot":"","sources":["../../src/attempt/salvage.ts"],"names":[],"mappings":"AAAA,OAAO,EAA4B,MAAM,EAAE,MAAM,QAAQ,CAAC;AAE1D,OAAO,EAAE,SAAS,EAAE,WAAW,EAAuB,MAAM,kBAAkB,CAAC;AAM/E,2FAA2F;AAC3F,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC;AAGjF,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,KAAY,EAAE,MAAqB,EAAc,EAAE,CAC/E,UAAU,CAAC,IAAI,CAAC,iBAAiB,WAAW,CAAC,KAAK,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC;AAEnE,kFAAkF;AAClF,MAAM,OAAO,aAAc,SAAQ,MAAM,CAAC,WAAW,CAAgB,uBAAuB,CAAC,CAC3F,QAAQ,EACR;IACE,GAAG,EAAE,UAAU;IACf,MAAM,EAAE,SAAS;CAClB,CACF;CAAG;AAEJ;;;;GAIG;AACH,MAAM,OAAO,mBAAoB,SAAQ,MAAM,CAAC,WAAW,CACzD,6BAA6B,CAC9B,CAAC,cAAc,EAAE;IAChB,GAAG,EAAE,UAAU;IACf,MAAM,EAAE,SAAS;IACjB,IAAI,EAAE,MAAM,CAAC,cAAc;IAC3B,OAAO,EAAE,MAAM,CAAC,MAAM;CACvB,CAAC;CAAG;AAEL,iHAAiH;AACjH,MAAM,OAAO,eAAgB,SAAQ,MAAM,CAAC,WAAW,CAAkB,yBAAyB,CAAC,CACjG,UAAU,EACV;IACE,IAAI,EAAE,MAAM,CAAC,cAAc;IAC3B,MAAM,EAAE,MAAM,CAAC,gBAAgB,CAAC,SAAS,CAAC;IAC1C,OAAO,EAAE,MAAM,CAAC,MAAM;CACvB,CACF;CAAG;AAEJ;;;;GAIG;AACH,MAAM,OAAO,eAAgB,SAAQ,MAAM,CAAC,WAAW,CAAkB,yBAAyB,CAAC,CACjG,UAAU,EACV;IACE,IAAI,EAAE,MAAM,CAAC,cAAc;IAC3B,MAAM,EAAE,SAAS;IACjB,OAAO,EAAE,MAAM,CAAC,MAAM;CACvB,CACF;CAAG;AAEJ,0EAA0E;AAC1E,MAAM,CAAC,MAAM,cAAc,GAAG,MAAM,CAAC,KAAK,CAAC;IACzC,aAAa;IACb,mBAAmB;IACnB,eAAe;IACf,eAAe;CAChB,CAAC,CAAC"}

package/dist/attempt/start.d.ts

@@ -0,0 +1,35 @@
+import { Schema } from "effect";
+declare const StartedByEvent_base: Schema.Class<StartedByEvent, Schema.TaggedStruct<"Event", {}>, {}>;
+/** A start by the Run's Event, as for every Run's first Attempt. */
+export declare class StartedByEvent extends StartedByEvent_base {
+}
+declare const StartedByRetry_base: Schema.Class<StartedByRetry, Schema.TaggedStruct<"OperatorRetry", {
+    readonly operator: Schema.OptionFromNullOr<Schema.brand<Schema.String, "OperatorLogin">>;
+}>, {}>;
+/** An operator retry of the failed Run; `operator` is `None` if `usine.yaml` sets no operator login. */
+export declare class StartedByRetry extends StartedByRetry_base {
+}
+declare const StartedByEditAndRetry_base: Schema.Class<StartedByEditAndRetry, Schema.TaggedStruct<"EditAndRetry", {
+    readonly operator: Schema.OptionFromNullOr<Schema.brand<Schema.String, "OperatorLogin">>;
+}>, {}>;
+/**
+ * An operator retry of the failed Run with a changed task or Agent (ADR 0018). `operator` is
+ * `None` if `usine.yaml` sets no operator login.
+ */
+export declare class StartedByEditAndRetry extends StartedByEditAndRetry_base {
+}
+declare const StartedByInfraRetry_base: Schema.Class<StartedByInfraRetry, Schema.TaggedStruct<"InfraRetry", {}>, {}>;
+/** An automatic retry after the previous Attempt's `InfraFailure` (ADR 0002). */
+export declare class StartedByInfraRetry extends StartedByInfraRetry_base {
+}
+declare const StartedAfterRestart_base: Schema.Class<StartedAfterRestart, Schema.TaggedStruct<"AfterRestart", {}>, {}>;
+/** A start after an orchestrator restart interrupted the previous Attempt without a reattach. */
+export declare class StartedAfterRestart extends StartedAfterRestart_base {
+}
+export declare const OperatorRetryStart: Schema.Union<readonly [typeof StartedByRetry, typeof StartedByEditAndRetry]>;
+export type OperatorRetryStart = typeof OperatorRetryStart.Type;
+/** The reason an Attempt started; a reattached Attempt keeps its original reason. */
+export declare const AttemptStart: Schema.Union<readonly [typeof StartedByEvent, typeof StartedByRetry, typeof StartedByEditAndRetry, typeof StartedByInfraRetry, typeof StartedAfterRestart]>;
+export type AttemptStart = typeof AttemptStart.Type;
+export {};
+//# sourceMappingURL=start.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"start.d.ts","sourceRoot":"","sources":["../../src/attempt/start.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;;AAGhC,oEAAoE;AACpE,qBAAa,cAAe,SAAQ,mBAGnC;CAAG;;;;AAEJ,wGAAwG;AACxG,qBAAa,cAAe,SAAQ,mBAGnC;CAAG;;;;AAEJ;;;GAGG;AACH,qBAAa,qBAAsB,SAAQ,0BAE4B;CAAG;;AAE1E,iFAAiF;AACjF,qBAAa,mBAAoB,SAAQ,wBAEtB;CAAG;;AAEtB,iGAAiG;AACjG,qBAAa,mBAAoB,SAAQ,wBAEpB;CAAG;AAExB,eAAO,MAAM,kBAAkB,8EAAwD,CAAC;AACxF,MAAM,MAAM,kBAAkB,GAAG,OAAO,kBAAkB,CAAC,IAAI,CAAC;AAEhE,qFAAqF;AACrF,eAAO,MAAM,YAAY,6JAMvB,CAAC;AACH,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAC"}

package/dist/attempt/start.js

@@ -0,0 +1,30 @@
+import { Schema } from "effect";
+import { OperatorLogin } from "../operator.js";
+/** A start by the Run's Event, as for every Run's first Attempt. */
+export class StartedByEvent extends Schema.TaggedClass("AttemptStart/Event")("Event", {}) {
+}
+/** An operator retry of the failed Run; `operator` is `None` if `usine.yaml` sets no operator login. */
+export class StartedByRetry extends Schema.TaggedClass("AttemptStart/Retry")("OperatorRetry", { operator: Schema.OptionFromNullOr(OperatorLogin) }) {
+}
+/**
+ * An operator retry of the failed Run with a changed task or Agent (ADR 0018). `operator` is
+ * `None` if `usine.yaml` sets no operator login.
+ */
+export class StartedByEditAndRetry extends Schema.TaggedClass("AttemptStart/EditAndRetry")("EditAndRetry", { operator: Schema.OptionFromNullOr(OperatorLogin) }) {
+}
+/** An automatic retry after the previous Attempt's `InfraFailure` (ADR 0002). */
+export class StartedByInfraRetry extends Schema.TaggedClass("AttemptStart/InfraRetry")("InfraRetry", {}) {
+}
+/** A start after an orchestrator restart interrupted the previous Attempt without a reattach. */
+export class StartedAfterRestart extends Schema.TaggedClass("AttemptStart/AfterRestart")("AfterRestart", {}) {
+}
+export const OperatorRetryStart = Schema.Union([StartedByRetry, StartedByEditAndRetry]);
+/** The reason an Attempt started; a reattached Attempt keeps its original reason. */
+export const AttemptStart = Schema.Union([
+    StartedByEvent,
+    StartedByRetry,
+    StartedByEditAndRetry,
+    StartedByInfraRetry,
+    StartedAfterRestart,
+]);
+//# sourceMappingURL=start.js.map

package/dist/attempt/start.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"start.js","sourceRoot":"","sources":["../../src/attempt/start.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAE/C,oEAAoE;AACpE,MAAM,OAAO,cAAe,SAAQ,MAAM,CAAC,WAAW,CAAiB,oBAAoB,CAAC,CAC1F,OAAO,EACP,EAAE,CACH;CAAG;AAEJ,wGAAwG;AACxG,MAAM,OAAO,cAAe,SAAQ,MAAM,CAAC,WAAW,CAAiB,oBAAoB,CAAC,CAC1F,eAAe,EACf,EAAE,QAAQ,EAAE,MAAM,CAAC,gBAAgB,CAAC,aAAa,CAAC,EAAE,CACrD;CAAG;AAEJ;;;GAGG;AACH,MAAM,OAAO,qBAAsB,SAAQ,MAAM,CAAC,WAAW,CAC3D,2BAA2B,CAC5B,CAAC,cAAc,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,gBAAgB,CAAC,aAAa,CAAC,EAAE,CAAC;CAAG;AAE1E,iFAAiF;AACjF,MAAM,OAAO,mBAAoB,SAAQ,MAAM,CAAC,WAAW,CACzD,yBAAyB,CAC1B,CAAC,YAAY,EAAE,EAAE,CAAC;CAAG;AAEtB,iGAAiG;AACjG,MAAM,OAAO,mBAAoB,SAAQ,MAAM,CAAC,WAAW,CACzD,2BAA2B,CAC5B,CAAC,cAAc,EAAE,EAAE,CAAC;CAAG;AAExB,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,cAAc,EAAE,qBAAqB,CAAC,CAAC,CAAC;AAGxF,qFAAqF;AACrF,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC;IACvC,cAAc;IACd,cAAc;IACd,qBAAqB;IACrB,mBAAmB;IACnB,mBAAmB;CACpB,CAAC,CAAC"}

package/dist/closed-struct.d.ts

@@ -0,0 +1,7 @@
+import { Schema } from "effect";
+/**
+ * Returns `Schema.Struct(fields)` that fails with "Unexpected key" on any key `fields` doesn't
+ * declare, whatever `onExcessProperty` the decode site passes.
+ */
+export declare const closedStruct: <const Fields extends Schema.Struct.Fields>(fields: Fields) => Schema.Struct<Fields>;
+//# sourceMappingURL=closed-struct.d.ts.map

package/dist/closed-struct.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"closed-struct.d.ts","sourceRoot":"","sources":["../src/closed-struct.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC;;;GAGG;AACH,eAAO,MAAM,YAAY,GAAI,KAAK,CAAC,MAAM,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,UAC5D,MAAM,KACb,MAAM,CAAC,MAAM,CAAC,MAAM,CAQtB,CAAC"}

package/dist/closed-struct.js

@@ -0,0 +1,12 @@
+import { Schema } from "effect";
+/**
+ * Returns `Schema.Struct(fields)` that fails with "Unexpected key" on any key `fields` doesn't
+ * declare, whatever `onExcessProperty` the decode site passes.
+ */
+export const closedStruct = (fields) => {
+    const struct = Schema.Struct(fields);
+    const declared = new Set(Object.keys(fields));
+    const undeclared = Schema.Record(Schema.String.check(Schema.makeFilter((key) => !declared.has(key))), Schema.Never.annotate({ message: "Unexpected key" }));
+    return struct.rebuild(Schema.StructWithRest(struct, [undeclared]).ast);
+};
+//# sourceMappingURL=closed-struct.js.map

package/dist/closed-struct.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"closed-struct.js","sourceRoot":"","sources":["../src/closed-struct.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC;;;GAGG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,MAAc,EACS,EAAE;IACzB,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACrC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;IAC9C,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAC9B,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EACnE,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,gBAAgB,EAAE,CAAC,CACrD,CAAC;IACF,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;AACzE,CAAC,CAAC"}

package/dist/cycle-budget.d.ts

@@ -1,13 +1,12 @@
 import { Schema } from "effect";
-/** Maximum Runs one Loop may open for an Item between operator resets. */
+/** The maximum number of Runs one Loop can 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. */
+/** The ID of the period between two operator resets of an Item's cycle budget. */
 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. */
+/** The number of admitted or completed Runs of 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<{
@@ -15,10 +14,10 @@ declare const LoopCycleCount_base: Schema.Class<LoopCycleCount, Schema.Struct<{
     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. */
+/** The admitted and completed Runs of one Loop in the current cycle generation. */
 export declare class LoopCycleCount extends LoopCycleCount_base {
 }
-/** Identifies the Event and budget generation that first exhausted an Item's allowance. */
+/** The ID of the Event and cycle generation that first exhausted an Item's budget. */
 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<{
@@ -29,9 +28,9 @@ declare const CycleBudgetAsk_base: Schema.Class<CycleBudgetAsk, Schema.Struct<{
     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. */
+/** An Ask for the operator to reset an Item's cycle budget; no Runs open until the reset. */
 export declare class CycleBudgetAsk extends CycleBudgetAsk_base {
-    /** The furthest completed round; each Loop participates at most once per round. */
+    /** The highest `completed` count across Loops; each Loop runs at most once per round. */
     get completedCycles(): CycleCount;
 }
 export {};

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

@@ -1 +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"}
+{"version":3,"file":"cycle-budget.d.ts","sourceRoot":"","sources":["../src/cycle-budget.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,wFAAwF;AACxF,eAAO,MAAM,UAAU,wCAEtB,CAAC;AACF,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAC,IAAI,CAAC;AAEhD,kFAAkF;AAClF,eAAO,MAAM,eAAe,6CAE3B,CAAC;AACF,MAAM,MAAM,eAAe,GAAG,OAAO,eAAe,CAAC,IAAI,CAAC;AAE1D,eAAO,MAAM,mBAAmB,qDAAqB,CAAC;AAEtD,uEAAuE;AACvE,eAAO,MAAM,UAAU,wCAEtB,CAAC;AACF,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAC,IAAI,CAAC;;;;;;AAEhD,mFAAmF;AACnF,qBAAa,cAAe,SAAQ,mBAUnC;CAAG;AAEJ,sFAAsF;AACtF,eAAO,MAAM,gBAAgB,kFAAiD,CAAC;AAC/E,MAAM,MAAM,gBAAgB,GAAG,OAAO,gBAAgB,CAAC,IAAI,CAAC;;;;;;;;;AAE5D,6FAA6F;AAC7F,qBAAa,cAAe,SAAQ,mBAkBnC;IACC,yFAAyF;IACzF,IAAI,eAAe,IAAI,UAAU,CAEhC;CACF"}

package/dist/cycle-budget.js

@@ -1,44 +1,40 @@
+import { closedStruct } from "./closed-struct.js";
 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. */
+/** The maximum number of Runs one Loop can 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. */
+/** The ID of the period between two operator resets of an Item's cycle budget. */
 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. */
+/** The number of admitted or completed Runs of 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({
+/** The admitted and completed Runs of one Loop in the current cycle generation. */
+export class LoopCycleCount extends Schema.Class("LoopCycleCount")(closedStruct({
     loop: LoopName,
     admitted: CycleCount,
     completed: CycleCount,
-})
-    .check(Schema.makeFilter(({ admitted, completed }) => completed <= admitted, {
-    message: "Completed Runs cannot exceed admitted Runs",
-}))
-    .annotate({ parseOptions: { onExcessProperty: "error" } })) {
+}).check(Schema.makeFilter(({ admitted, completed }) => completed <= admitted, {
+    message: "Completed runs can't exceed admitted runs",
+}))) {
 }
-/** Identifies the Event and budget generation that first exhausted an Item's allowance. */
+/** The ID of the Event and cycle generation that first exhausted an Item's budget. */
 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({
+/** An Ask for the operator to reset an Item's cycle budget; no Runs open until the reset. */
+export class CycleBudgetAsk extends Schema.Class("CycleBudgetAsk")(closedStruct({
     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 &&
+}).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. */
+    message: "Expected unique participating loops, including the exhausted loop at its limit",
+}))) {
+    /** The highest `completed` count across Loops; each Loop runs at most once per round. */
     get completedCycles() {
         return CycleCount.make(Math.max(...this.counts.map(({ completed }) => completed)));
     }

package/dist/cycle-budget.js.map

@@ -1 +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"}
+{"version":3,"file":"cycle-budget.js","sourceRoot":"","sources":["../src/cycle-budget.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,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,wFAAwF;AACxF,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,kFAAkF;AAClF,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,MAAM,CAAC,MAAM,mBAAmB,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAEtD,uEAAuE;AACvE,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,mFAAmF;AACnF,MAAM,OAAO,cAAe,SAAQ,MAAM,CAAC,KAAK,CAAiB,gBAAgB,CAAC,CAChF,YAAY,CAAC;IACX,IAAI,EAAE,QAAQ;IACd,QAAQ,EAAE,UAAU;IACpB,SAAS,EAAE,UAAU;CACtB,CAAC,CAAC,KAAK,CACN,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,SAAS,IAAI,QAAQ,EAAE;IACpE,OAAO,EAAE,2CAA2C;CACrD,CAAC,CACH,CACF;CAAG;AAEJ,sFAAsF;AACtF,MAAM,CAAC,MAAM,gBAAgB,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,CAAC;AAG/E,6FAA6F;AAC7F,MAAM,OAAO,cAAe,SAAQ,MAAM,CAAC,KAAK,CAAiB,gBAAgB,CAAC,CAChF,YAAY,CAAC;IACX,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,CAAC,KAAK,CACN,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,gFAAgF;CAC1F,CACF,CACF,CACF;IACC,yFAAyF;IACzF,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"}