@usine/core 0.1.0 → 0.3.0

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/{lifecycle/event.d.ts → event.d.ts}

@@ -1,13 +1,10 @@
 import { Schema } from "effect";
-/**
- * Value object (branded id): identity of one Event in the ledger.
- */
+/** 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;
 /**
- * Value object: the engine-derived, never-expiring idempotency key — timestamps aside, the
- * same watched state is the same Event, forever. Derived per trigger type,
- * never authored in a loop file (ADR 0002).
+ * 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;
@@ -18,11 +15,9 @@ declare const Event_base: Schema.Class<Event, Schema.Struct<{
     readonly receivedAt: Schema.DateTimeUtc;
 }>, {}>;
 /**
- * Entity — ledger row: one deduplicated fact the engine may react to — a trigger matching watched
- * state, or an operator approval. An Event owns at most one open Run, ever.
- *
- * The payload is the stream's payload slice — GitHub's own shapes, kept opaque
- * here; the expression and loop-file blocks range over it.
+ * 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 {
 }

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

@@ -1,9 +1,5 @@
 import { Schema } from "effect";
-/**
- * Value object (branded path): absolute or caller-resolved path to the
- * instance folder (ADR 0001). Shared by every package that anchors itself to
- * the instance repo — the engine's database adapters and the config loader.
- */
-export declare const Directory: Schema.brand<Schema.NonEmptyString, "InstanceDirectory">;
-export type Directory = typeof Directory.Type;
+/** 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

@@ -1 +1 @@
-{"version":3,"file":"instance.d.ts","sourceRoot":"","sources":["../src/instance.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC;;;;GAIG;AACH,eAAO,MAAM,SAAS,0DAAgE,CAAC;AACvF,MAAM,MAAM,SAAS,GAAG,OAAO,SAAS,CAAC,IAAI,CAAC"}
+{"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

@@ -1,8 +1,4 @@
 import { Schema } from "effect";
-/**
- * Value object (branded path): absolute or caller-resolved path to the
- * instance folder (ADR 0001). Shared by every package that anchors itself to
- * the instance repo — the engine's database adapters and the config loader.
- */
-export const Directory = Schema.NonEmptyString.pipe(Schema.brand("InstanceDirectory"));
+/** 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

@@ -1 +1 @@
-{"version":3,"file":"instance.js","sourceRoot":"","sources":["../src/instance.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC,CAAC"}
+{"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"}

package/dist/item.js

@@ -0,0 +1,6 @@
+import { Schema } from "effect";
+/** Identity of the issue or pull request a loop acts on. Many content-distinct Events can concern one Item. */
+export const ItemKey = Schema.NonEmptyString.pipe(Schema.brand("ItemKey"));
+/** The issue or pull request number within its repository. */
+export const ItemNumber = Schema.Int.check(Schema.isGreaterThanOrEqualTo(1)).pipe(Schema.brand("ItemNumber"));
+//# sourceMappingURL=item.js.map

package/dist/item.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"item.js","sourceRoot":"","sources":["../src/item.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,+GAA+G;AAC/G,MAAM,CAAC,MAAM,OAAO,GAAG,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;AAI3E,8DAA8D;AAC9D,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"}

package/dist/loop.d.ts

@@ -0,0 +1,9 @@
+import { Schema } from "effect";
+/** The loop file's name. Renaming the file retires one loop and creates another (ADR 0001). */
+export declare const LoopName: Schema.brand<Schema.NonEmptyString, "LoopName">;
+export type LoopName = typeof LoopName.Type;
+/** Whether a loop parks new runs until an approval Event arrives. The default is `none`. */
+export declare const APPROVAL_REQUIREMENTS: readonly ["none", "required"];
+export declare const ApprovalRequirement: Schema.Literals<readonly ["none", "required"]>;
+export type ApprovalRequirement = typeof ApprovalRequirement.Type;
+//# sourceMappingURL=loop.d.ts.map

package/dist/loop.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"loop.d.ts","sourceRoot":"","sources":["../src/loop.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,+FAA+F;AAC/F,eAAO,MAAM,QAAQ,iDAAuD,CAAC;AAE7E,MAAM,MAAM,QAAQ,GAAG,OAAO,QAAQ,CAAC,IAAI,CAAC;AAE5C,4FAA4F;AAC5F,eAAO,MAAM,qBAAqB,YAAI,MAAM,EAAE,UAAU,CAAU,CAAC;AACnE,eAAO,MAAM,mBAAmB,gDAAyC,CAAC;AAC1E,MAAM,MAAM,mBAAmB,GAAG,OAAO,mBAAmB,CAAC,IAAI,CAAC"}

package/dist/loop.js

@@ -0,0 +1,7 @@
+import { Schema } from "effect";
+/** The loop file's name. Renaming the file retires one loop and creates another (ADR 0001). */
+export const LoopName = Schema.NonEmptyString.pipe(Schema.brand("LoopName"));
+/** Whether a loop parks new runs until an approval Event arrives. The default is `none`. */
+export const APPROVAL_REQUIREMENTS = ["none", "required"];
+export const ApprovalRequirement = Schema.Literals(APPROVAL_REQUIREMENTS);
+//# sourceMappingURL=loop.js.map

package/dist/loop.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"loop.js","sourceRoot":"","sources":["../src/loop.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,+FAA+F;AAC/F,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;AAI7E,4FAA4F;AAC5F,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,MAAM,EAAE,UAAU,CAAU,CAAC;AACnE,MAAM,CAAC,MAAM,mBAAmB,GAAG,MAAM,CAAC,QAAQ,CAAC,qBAAqB,CAAC,CAAC"}

package/dist/repository.d.ts

@@ -1,26 +1,21 @@
 import { Schema } from "effect";
 /**
- * Value object: the stable `owner/name` identity shared by the registry and
- * every GitHub-facing block. The original casing is significant to display;
- * GitHub comparisons are handled separately at the adapter boundary.
+ * Full `owner/name` of a GitHub repository, in the casing the operator wrote.
+ * Compare through `canonicalRepositoryName`, since GitHub ignores case.
  */
-export declare const Name: Schema.brand<Schema.String, "RepoName">;
-export type Name = typeof Name.Type;
-/**
- * Value object: a git revision resolved when an Attempt workspace is created.
- * Revisions reach `git fetch` as bare arguments, so a leading `-` (which git
- * would parse as an option) and whitespace are unrepresentable by the brand.
- */
-export declare const Revision: Schema.brand<Schema.String, "RepositoryRevision">;
-export type Revision = typeof Revision.Type;
-/** Value object: a git object id harvested from an Attempt workspace. */
+export declare const RepositoryName: Schema.brand<Schema.String, "RepositoryName">;
+export type RepositoryName = typeof RepositoryName.Type;
+/** The branch, tag, commit, or `HEAD` a Worker fetches when preparing an Attempt; named refs resolve at preparation time. */
+export declare const RepositoryRevision: Schema.brand<Schema.String, "RepositoryRevision">;
+export type RepositoryRevision = typeof RepositoryRevision.Type;
+/** An exact Git commit recorded for a checkout or produced by an Attempt, unchanged when branch names move. */
 export declare const CommitSha: Schema.brand<Schema.String, "CommitSha">;
 export type CommitSha = typeof CommitSha.Type;
-/** The `owner` and `name` halves of a full repo name; the brand proves the separator exists. */
-export declare const parts: (repository: Name) => {
+/** Splits a repository name into its `owner` and `name`. */
+export declare const splitRepositoryName: (repository: RepositoryName) => {
     readonly owner: string;
     readonly name: string;
 };
-/** Case-insensitive comparison key: GitHub repo names differ only by display casing. */
-export declare const canonical: (repository: Name) => string;
+/** Lowercases a repository name for comparison, since GitHub ignores case. */
+export declare const canonicalRepositoryName: (repository: RepositoryName) => string;
 //# sourceMappingURL=repository.d.ts.map

package/dist/repository.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"repository.d.ts","sourceRoot":"","sources":["../src/repository.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC;;;;GAIG;AACH,eAAO,MAAM,IAAI,yCAIe,CAAC;AACjC,MAAM,MAAM,IAAI,GAAG,OAAO,IAAI,CAAC,IAAI,CAAC;AAEpC;;;;GAIG;AACH,eAAO,MAAM,QAAQ,mDAIqB,CAAC;AAC3C,MAAM,MAAM,QAAQ,GAAG,OAAO,QAAQ,CAAC,IAAI,CAAC;AAE5C,yEAAyE;AACzE,eAAO,MAAM,SAAS,0CAIW,CAAC;AAClC,MAAM,MAAM,SAAS,GAAG,OAAO,SAAS,CAAC,IAAI,CAAC;AAE9C,gGAAgG;AAChG,eAAO,MAAM,KAAK,eAAgB,IAAI;aAGlC,KAAK;aACL,IAAI;CAEP,CAAC;AAEF,wFAAwF;AACxF,eAAO,MAAM,SAAS,eAAgB,IAAI,KAAG,MAAkC,CAAC"}
+{"version":3,"file":"repository.d.ts","sourceRoot":"","sources":["../src/repository.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC;;;GAGG;AACH,eAAO,MAAM,cAAc,+CAIW,CAAC;AAEvC,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAC,IAAI,CAAC;AAExD,6HAA6H;AAC7H,eAAO,MAAM,kBAAkB,mDAIW,CAAC;AAC3C,MAAM,MAAM,kBAAkB,GAAG,OAAO,kBAAkB,CAAC,IAAI,CAAC;AAEhE,+GAA+G;AAC/G,eAAO,MAAM,SAAS,0CAIW,CAAC;AAClC,MAAM,MAAM,SAAS,GAAG,OAAO,SAAS,CAAC,IAAI,CAAC;AAE9C,4DAA4D;AAC5D,eAAO,MAAM,mBAAmB,eAAgB,cAAc;aAG1D,KAAK;aACL,IAAI;CAEP,CAAC;AAEF,8EAA8E;AAC9E,eAAO,MAAM,uBAAuB,eAAgB,cAAc,KAAG,MAC3C,CAAC"}

package/dist/repository.js

@@ -1,32 +1,27 @@
 import { Schema } from "effect";
 /**
- * Value object: the stable `owner/name` identity shared by the registry and
- * every GitHub-facing block. The original casing is significant to display;
- * GitHub comparisons are handled separately at the adapter boundary.
+ * Full `owner/name` of a GitHub repository, in the casing the operator wrote.
+ * Compare through `canonicalRepositoryName`, since GitHub ignores case.
  */
-export const Name = Schema.String.check(Schema.isPattern(/^[A-Za-z0-9_.-]+\/[A-Za-z0-9_.-]+$/u, {
+export const RepositoryName = Schema.String.check(Schema.isPattern(/^[A-Za-z0-9_.-]+\/[A-Za-z0-9_.-]+$/u, {
     message: "Expected a full GitHub repo name (owner/name)",
-})).pipe(Schema.brand("RepoName"));
-/**
- * Value object: a git revision resolved when an Attempt workspace is created.
- * Revisions reach `git fetch` as bare arguments, so a leading `-` (which git
- * would parse as an option) and whitespace are unrepresentable by the brand.
- */
-export const Revision = Schema.String.check(Schema.isPattern(/^[^\s-]\S*$/u, {
+})).pipe(Schema.brand("RepositoryName"));
+/** The branch, tag, commit, or `HEAD` a Worker fetches when preparing an Attempt; named refs resolve at preparation time. */
+export const RepositoryRevision = Schema.String.check(Schema.isPattern(/^[^\s-]\S*$/u, {
     message: "Expected a git revision without whitespace or a leading dash",
 })).pipe(Schema.brand("RepositoryRevision"));
-/** Value object: a git object id harvested from an Attempt workspace. */
+/** An exact Git commit recorded for a checkout or produced by an Attempt, unchanged when branch names move. */
 export const CommitSha = Schema.String.check(Schema.isPattern(/^[0-9a-f]{40}(?:[0-9a-f]{24})?$/u, {
     message: "Expected a 40- or 64-character lowercase git object id",
 })).pipe(Schema.brand("CommitSha"));
-/** The `owner` and `name` halves of a full repo name; the brand proves the separator exists. */
-export const parts = (repository) => {
+/** Splits a repository name into its `owner` and `name`. */
+export const splitRepositoryName = (repository) => {
     const separator = repository.indexOf("/");
     return {
         owner: repository.slice(0, separator),
         name: repository.slice(separator + 1),
     };
 };
-/** Case-insensitive comparison key: GitHub repo names differ only by display casing. */
-export const canonical = (repository) => repository.toLowerCase();
+/** Lowercases a repository name for comparison, since GitHub ignores case. */
+export const canonicalRepositoryName = (repository) => repository.toLowerCase();
 //# sourceMappingURL=repository.js.map

package/dist/repository.js.map

@@ -1 +1 @@
-{"version":3,"file":"repository.js","sourceRoot":"","sources":["../src/repository.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC;;;;GAIG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CACrC,MAAM,CAAC,SAAS,CAAC,qCAAqC,EAAE;IACtD,OAAO,EAAE,+CAA+C;CACzD,CAAC,CACH,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;AAGjC;;;;GAIG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CACzC,MAAM,CAAC,SAAS,CAAC,cAAc,EAAE;IAC/B,OAAO,EAAE,8DAA8D;CACxE,CAAC,CACH,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,CAAC;AAG3C,yEAAyE;AACzE,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAC1C,MAAM,CAAC,SAAS,CAAC,kCAAkC,EAAE;IACnD,OAAO,EAAE,wDAAwD;CAClE,CAAC,CACH,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC;AAGlC,gGAAgG;AAChG,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,UAAgB,EAAE,EAAE;IACxC,MAAM,SAAS,GAAG,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC1C,OAAO;QACL,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC;QACrC,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC;KAC7B,CAAC;AACb,CAAC,CAAC;AAEF,wFAAwF;AACxF,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,UAAgB,EAAU,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC"}
+{"version":3,"file":"repository.js","sourceRoot":"","sources":["../src/repository.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC;;;GAGG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAC/C,MAAM,CAAC,SAAS,CAAC,qCAAqC,EAAE;IACtD,OAAO,EAAE,+CAA+C;CACzD,CAAC,CACH,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAC;AAIvC,6HAA6H;AAC7H,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CACnD,MAAM,CAAC,SAAS,CAAC,cAAc,EAAE;IAC/B,OAAO,EAAE,8DAA8D;CACxE,CAAC,CACH,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,CAAC;AAG3C,+GAA+G;AAC/G,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAC1C,MAAM,CAAC,SAAS,CAAC,kCAAkC,EAAE;IACnD,OAAO,EAAE,wDAAwD;CAClE,CAAC,CACH,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC;AAGlC,4DAA4D;AAC5D,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,UAA0B,EAAE,EAAE;IAChE,MAAM,SAAS,GAAG,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC1C,OAAO;QACL,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC;QACrC,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC;KAC7B,CAAC;AACb,CAAC,CAAC;AAEF,8EAA8E;AAC9E,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,UAA0B,EAAU,EAAE,CAC5E,UAAU,CAAC,WAAW,EAAE,CAAC"}

package/dist/run/run.d.ts

@@ -0,0 +1,16 @@
+import { Schema } from "effect";
+/** Identity of the work owed to one Event, retained across retries of its Step. */
+export declare const RunId: Schema.brand<Schema.NonEmptyString, "RunId">;
+export type RunId = typeof RunId.Type;
+declare const Run_base: Schema.Class<Run, Schema.Struct<{
+    readonly id: Schema.brand<Schema.NonEmptyString, "RunId">;
+    readonly eventId: Schema.brand<Schema.NonEmptyString, "EventId">;
+    readonly loop: Schema.brand<Schema.NonEmptyString, "LoopName">;
+    readonly state: Schema.Union<readonly [typeof import("./state.ts").Pending, typeof import("./state.ts").Waiting, typeof import("./state.ts").Queued, typeof import("./state.ts").Running, typeof import("./state.ts").Succeeded, typeof import("./state.ts").Failed, typeof import("./state.ts").Canceled]>;
+    readonly openedAt: Schema.DateTimeUtc;
+}>, {}>;
+/** The work a loop owes one Event. At most one open Run exists per dedup key; the engine's ledger enforces it (ADR 0002). */
+export declare class Run extends Run_base {
+}
+export {};
+//# sourceMappingURL=run.d.ts.map

package/dist/run/run.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"run.d.ts","sourceRoot":"","sources":["../../src/run/run.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAKhC,mFAAmF;AACnF,eAAO,MAAM,KAAK,8CAAoD,CAAC;AAEvE,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAC;;;;;;;;AAEtC,6HAA6H;AAC7H,qBAAa,GAAI,SAAQ,QAMvB;CAAG"}

package/dist/run/run.js

@@ -0,0 +1,16 @@
+import { Schema } from "effect";
+import { EventId } from "../event.js";
+import { LoopName } from "../loop.js";
+import { RunState } from "./state.js";
+/** Identity of the work owed to one Event, retained across retries of its Step. */
+export const RunId = Schema.NonEmptyString.pipe(Schema.brand("RunId"));
+/** The work a loop owes one Event. At most one open Run exists per dedup key; the engine's ledger enforces it (ADR 0002). */
+export class Run extends Schema.Class("Run")({
+    id: RunId,
+    eventId: EventId,
+    loop: LoopName,
+    state: RunState,
+    openedAt: Schema.DateTimeUtc,
+}) {
+}
+//# sourceMappingURL=run.js.map

package/dist/run/run.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"run.js","sourceRoot":"","sources":["../../src/run/run.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AACtC,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAEtC,mFAAmF;AACnF,MAAM,CAAC,MAAM,KAAK,GAAG,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;AAIvE,6HAA6H;AAC7H,MAAM,OAAO,GAAI,SAAQ,MAAM,CAAC,KAAK,CAAM,KAAK,CAAC,CAAC;IAChD,EAAE,EAAE,KAAK;IACT,OAAO,EAAE,OAAO;IAChB,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,QAAQ;IACf,QAAQ,EAAE,MAAM,CAAC,WAAW;CAC7B,CAAC;CAAG"}

package/dist/run/state.d.ts

@@ -0,0 +1,114 @@
+import { Schema } from "effect";
+import { EventId } from "../event.ts";
+declare const OperatorCanceled_base: Schema.Class<OperatorCanceled, Schema.TaggedStruct<"OperatorCanceled", {}>, {}>;
+/**
+ * The run state machine (ADR 0002):
+ *
+ *   pending ─────────────────────────► running ──► succeeded
+ *      │                               ▲  │
+ *      ▼                               │  ▼
+ *   waiting ──(approval)──► queued ────┘ failed ──► (retry: attempt N+1) ──► running
+ *
+ *   pending | waiting | queued | running ──► canceled   (operator cancel)
+ *   pending | waiting | queued           ──► canceled   (supersede, revoke: a started
+ *                                                        attempt always finishes, ADR 0007)
+ *
+ * Each transition accepts only the states it is legal on, so an illegal
+ * transition fails to compile. Construct states through the transitions or by
+ * decoding a stored row with `RunState`.
+ */
+/** The operator closed the run by hand. */
+export declare class OperatorCanceled extends OperatorCanceled_base {
+}
+declare const Superseded_base: Schema.Class<Superseded, Schema.TaggedStruct<"Superseded", {
+    readonly by: Schema.brand<Schema.NonEmptyString, "EventId">;
+}>, {}>;
+/** A newer Event for the same Item took the run's place before any attempt started. */
+export declare class Superseded extends Superseded_base {
+}
+declare const Revoked_base: Schema.Class<Revoked, Schema.TaggedStruct<"Revoked", {}>, {}>;
+/** The run's Item stopped matching its loop's trigger before any attempt started. */
+export declare class Revoked extends Revoked_base {
+}
+export declare const CancelReason: Schema.Union<readonly [typeof OperatorCanceled, typeof Superseded, typeof Revoked]>;
+export type CancelReason = typeof CancelReason.Type;
+declare const Pending_base: Schema.Class<Pending, Schema.TaggedStruct<"Pending", {}>, {}>;
+/** Just created: no attempt started and no approval gate passed. */
+export declare class Pending extends Pending_base {
+}
+declare const Waiting_base: Schema.Class<Waiting, Schema.TaggedStruct<"Waiting", {}>, {}>;
+/** Parked on the loop's approval gate. The approval it waits for is an Event like any other fact. */
+export declare class Waiting extends Waiting_base {
+}
+declare const Queued_base: Schema.Class<Queued, Schema.TaggedStruct<"Queued", {}>, {}>;
+/** Approved and waiting for a worker slot. */
+export declare class Queued extends Queued_base {
+}
+declare const Running_base: Schema.Class<Running, Schema.TaggedStruct<"Running", {}>, {}>;
+/** An attempt is executing on a worker. */
+export declare class Running extends Running_base {
+}
+declare const Succeeded_base: Schema.Class<Succeeded, Schema.TaggedStruct<"Succeeded", {}>, {}>;
+/** The step finished and its result is stored. */
+export declare class Succeeded extends Succeeded_base {
+}
+declare const Failed_base: Schema.Class<Failed, Schema.TaggedStruct<"Failed", {}>, {}>;
+/** The last attempt failed and no auto-retry applies. The failure is on the Attempt, and `retry` reopens the run. */
+export declare class Failed extends Failed_base {
+}
+declare const Canceled_base: Schema.Class<Canceled, Schema.TaggedStruct<"Canceled", {
+    readonly reason: Schema.Union<readonly [typeof OperatorCanceled, typeof Superseded, typeof Revoked]>;
+}>, {}>;
+/** Canceled, with the reason recorded. */
+export declare class Canceled extends Canceled_base {
+}
+/** Runs that still owe work, including those waiting for approval or a Worker. */
+export declare const Open: Schema.Union<readonly [typeof Pending, typeof Waiting, typeof Queued, typeof Running]>;
+export type Open = typeof Open.Type;
+/** A Run's progress from creation through approval and execution to a recorded outcome. */
+export declare const RunState: Schema.Union<readonly [typeof Pending, typeof Waiting, typeof Queued, typeof Running, typeof Succeeded, typeof Failed, typeof Canceled]>;
+export type RunState = typeof RunState.Type;
+/** The states with no attempt started: what `supersede` and `revoke` accept. */
+export declare const Unstarted: Schema.Union<readonly [typeof Pending, typeof Waiting, typeof Queued]>;
+export type Unstarted = typeof Unstarted.Type;
+/** The states an attempt can start from: the gate is passed or absent. */
+export declare const Startable: Schema.Union<readonly [typeof Pending, typeof Queued]>;
+export type Startable = typeof Startable.Type;
+export declare const isOpen: <I>(input: I) => input is I & (Pending | Queued | Running | Waiting);
+export declare const isUnstarted: <I>(input: I) => input is I & (Pending | Queued | Waiting);
+export declare const isStartable: <I>(input: I) => input is I & (Pending | Queued);
+/** The operator actions permitted by a Run's lifecycle state. Command handlers still apply the typed transitions. */
+export declare const operatorActions: (state: RunState) => {
+    canApprove: boolean;
+    canRetry: boolean;
+    canCancel: boolean;
+};
+/** The open states as `_tag` literals, for queries that filter stored rows. */
+export declare const OPEN_STATE_TAGS: readonly ["Pending", "Waiting", "Queued", "Running"];
+/** Every state as a `_tag` literal, for read models that project stored rows. */
+export declare const STATE_TAGS: readonly ["Pending", "Waiting", "Queued", "Running", "Succeeded", "Failed", "Canceled"];
+/** The unstarted states as `_tag` literals, for queries that filter stored rows. */
+export declare const UNSTARTED_STATE_TAGS: readonly ["Pending", "Waiting", "Queued"];
+/** Parks a pending run on its loop's approval gate. */
+export declare const awaitApproval: (_state: Pending) => Waiting;
+/** Returns the approved state; the Run still waits for a Worker slot before execution. */
+export declare const approve: (_state: Waiting) => Queued;
+/** Returns the running state for a first Attempt after any required approval has been granted. */
+export declare const start: (_state: Startable) => Running;
+/** Closes the run after a successful attempt. */
+export declare const succeed: (_state: Running) => Succeeded;
+/** Closes the run after a failed attempt when no auto-retry applies; `shouldAutoRetry` decides that. */
+export declare const fail: (_state: Running) => Failed;
+/** Returns the reopened state for operator retry; attempt N+1 belongs to the same Run and Step. */
+export declare const retry: (_state: Failed) => Running;
+/** Cancels from any open state. */
+export declare const cancelByOperator: (_state: Open) => Canceled;
+/**
+ * Cancels an unstarted run because a newer Event for the same Item replaced it.
+ * A running attempt always finishes and the newer state is judged when it ends (ADR 0007).
+ */
+export declare const supersede: (_state: Unstarted, by: EventId) => Canceled;
+/** Cancels an unstarted run because its Item stopped matching the loop's trigger. */
+export declare const revoke: (_state: Unstarted) => Canceled;
+export {};
+//# sourceMappingURL=state.d.ts.map

package/dist/run/state.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"state.d.ts","sourceRoot":"","sources":["../../src/run/state.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;;AAEtC;;;;;;;;;;;;;;;GAeG;AAEH,2CAA2C;AAC3C,qBAAa,gBAAiB,SAAQ,qBAEb;CAAG;;;;AAE5B,uFAAuF;AACvF,qBAAa,UAAW,SAAQ,eAG/B;CAAG;;AAEJ,qFAAqF;AACrF,qBAAa,OAAQ,SAAQ,YAAkE;CAAG;AAElG,eAAO,MAAM,YAAY,qFAAwD,CAAC;AAClF,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAC;;AAEpD,oEAAoE;AACpE,qBAAa,OAAQ,SAAQ,YAA8D;CAAG;;AAE9F,qGAAqG;AACrG,qBAAa,OAAQ,SAAQ,YAA8D;CAAG;;AAE9F,8CAA8C;AAC9C,qBAAa,MAAO,SAAQ,WAA2D;CAAG;;AAE1F,2CAA2C;AAC3C,qBAAa,OAAQ,SAAQ,YAA8D;CAAG;;AAE9F,kDAAkD;AAClD,qBAAa,SAAU,SAAQ,cAG9B;CAAG;;AAEJ,qHAAqH;AACrH,qBAAa,MAAO,SAAQ,WAA2D;CAAG;;;;AAE1F,0CAA0C;AAC1C,qBAAa,QAAS,SAAQ,aAE5B;CAAG;AAEL,kFAAkF;AAClF,eAAO,MAAM,IAAI,wFAAoD,CAAC;AACtE,MAAM,MAAM,IAAI,GAAG,OAAO,IAAI,CAAC,IAAI,CAAC;AAEpC,2FAA2F;AAC3F,eAAO,MAAM,QAAQ,0IAA+D,CAAC;AACrF,MAAM,MAAM,QAAQ,GAAG,OAAO,QAAQ,CAAC,IAAI,CAAC;AAE5C,gFAAgF;AAChF,eAAO,MAAM,SAAS,wEAA2C,CAAC;AAClE,MAAM,MAAM,SAAS,GAAG,OAAO,SAAS,CAAC,IAAI,CAAC;AAE9C,0EAA0E;AAC1E,eAAO,MAAM,SAAS,wDAAkC,CAAC;AACzD,MAAM,MAAM,SAAS,GAAG,OAAO,SAAS,CAAC,IAAI,CAAC;AAE9C,eAAO,MAAM,MAAM,sEAAkB,CAAC;AACtC,eAAO,MAAM,WAAW,4DAAuB,CAAC;AAChD,eAAO,MAAM,WAAW,kDAAuB,CAAC;AAEhD,qHAAqH;AACrH,eAAO,MAAM,eAAe,UAAW,QAAQ;IAC7C,UAAU;IACV,QAAQ;IACR,SAAS;CACT,CAAC;AAcH,+EAA+E;AAC/E,eAAO,MAAM,eAAe,sDAA4D,CAAC;AAEzF,iFAAiF;AACjF,eAAO,MAAM,UAAU,yFAQtB,CAAC;AAEF,oFAAoF;AACpF,eAAO,MAAM,oBAAoB,2CAAsD,CAAC;AAExF,uDAAuD;AACvD,eAAO,MAAM,aAAa,WAAY,OAAO,KAAG,OAAwB,CAAC;AAEzE,0FAA0F;AAC1F,eAAO,MAAM,OAAO,WAAY,OAAO,KAAG,MAAsB,CAAC;AAEjE,kGAAkG;AAClG,eAAO,MAAM,KAAK,WAAY,SAAS,KAAG,OAAwB,CAAC;AAEnE,iDAAiD;AACjD,eAAO,MAAM,OAAO,WAAY,OAAO,KAAG,SAA4B,CAAC;AAEvE,wGAAwG;AACxG,eAAO,MAAM,IAAI,WAAY,OAAO,KAAG,MAAsB,CAAC;AAE9D,mGAAmG;AACnG,eAAO,MAAM,KAAK,WAAY,MAAM,KAAG,OAAwB,CAAC;AAEhE,mCAAmC;AACnC,eAAO,MAAM,gBAAgB,WAAY,IAAI,KAAG,QACE,CAAC;AAEnD;;;GAGG;AACH,eAAO,MAAM,SAAS,WAAY,SAAS,MAAM,OAAO,KAAG,QACT,CAAC;AAEnD,qFAAqF;AACrF,eAAO,MAAM,MAAM,WAAY,SAAS,KAAG,QAAmD,CAAC"}