@usine/core 0.1.0 → 0.2.0

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"}

package/dist/run/state.js

@@ -0,0 +1,102 @@
+import { Schema } from "effect";
+import { EventId } from "../event.js";
+/**
+ * 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 class OperatorCanceled extends Schema.TaggedClass("CancelReason/OperatorCanceled")("OperatorCanceled", {}) {
+}
+/** A newer Event for the same Item took the run's place before any attempt started. */
+export class Superseded extends Schema.TaggedClass("CancelReason/Superseded")("Superseded", { by: EventId }) {
+}
+/** The run's Item stopped matching its loop's trigger before any attempt started. */
+export class Revoked extends Schema.TaggedClass("CancelReason/Revoked")("Revoked", {}) {
+}
+export const CancelReason = Schema.Union([OperatorCanceled, Superseded, Revoked]);
+/** Just created: no attempt started and no approval gate passed. */
+export class Pending extends Schema.TaggedClass("RunState/Pending")("Pending", {}) {
+}
+/** Parked on the loop's approval gate. The approval it waits for is an Event like any other fact. */
+export class Waiting extends Schema.TaggedClass("RunState/Waiting")("Waiting", {}) {
+}
+/** Approved and waiting for a worker slot. */
+export class Queued extends Schema.TaggedClass("RunState/Queued")("Queued", {}) {
+}
+/** An attempt is executing on a worker. */
+export class Running extends Schema.TaggedClass("RunState/Running")("Running", {}) {
+}
+/** The step finished and its result is stored. */
+export class Succeeded extends Schema.TaggedClass("RunState/Succeeded")("Succeeded", {}) {
+}
+/** The last attempt failed and no auto-retry applies. The failure is on the Attempt, and `retry` reopens the run. */
+export class Failed extends Schema.TaggedClass("RunState/Failed")("Failed", {}) {
+}
+/** Canceled, with the reason recorded. */
+export class Canceled extends Schema.TaggedClass("RunState/Canceled")("Canceled", {
+    reason: CancelReason,
+}) {
+}
+/** Runs that still owe work, including those waiting for approval or a Worker. */
+export const Open = Schema.Union([Pending, Waiting, Queued, Running]);
+/** A Run's progress from creation through approval and execution to a recorded outcome. */
+export const RunState = Schema.Union([...Open.members, Succeeded, Failed, Canceled]);
+/** The states with no attempt started: what `supersede` and `revoke` accept. */
+export const Unstarted = Schema.Union([Pending, Waiting, Queued]);
+/** The states an attempt can start from: the gate is passed or absent. */
+export const Startable = Schema.Union([Pending, Queued]);
+export const isOpen = Schema.is(Open);
+export const isUnstarted = Schema.is(Unstarted);
+export const isStartable = Schema.is(Startable);
+/** The operator actions permitted by a Run's lifecycle state. Command handlers still apply the typed transitions. */
+export const operatorActions = (state) => ({
+    canApprove: state._tag === "Waiting",
+    canRetry: state._tag === "Failed",
+    canCancel: isOpen(state),
+});
+/**
+ * Builds a tag tuple that must name every `_tag` of `State` and nothing else,
+ * so the SQL-side lists below cannot drift from the unions above. A foreign tag
+ * fails the `Tags` constraint; a missing tag collapses the parameters to `[never]`.
+ */
+const tagsOf = () => (...tags) => tags;
+/** The open states as `_tag` literals, for queries that filter stored rows. */
+export const OPEN_STATE_TAGS = tagsOf()("Pending", "Waiting", "Queued", "Running");
+/** Every state as a `_tag` literal, for read models that project stored rows. */
+export const STATE_TAGS = tagsOf()("Pending", "Waiting", "Queued", "Running", "Succeeded", "Failed", "Canceled");
+/** The unstarted states as `_tag` literals, for queries that filter stored rows. */
+export const UNSTARTED_STATE_TAGS = tagsOf()("Pending", "Waiting", "Queued");
+/** Parks a pending run on its loop's approval gate. */
+export const awaitApproval = (_state) => new Waiting();
+/** Returns the approved state; the Run still waits for a Worker slot before execution. */
+export const approve = (_state) => new Queued();
+/** Returns the running state for a first Attempt after any required approval has been granted. */
+export const start = (_state) => new Running();
+/** Closes the run after a successful attempt. */
+export const succeed = (_state) => new Succeeded();
+/** Closes the run after a failed attempt when no auto-retry applies; `shouldAutoRetry` decides that. */
+export const fail = (_state) => new Failed();
+/** Returns the reopened state for operator retry; attempt N+1 belongs to the same Run and Step. */
+export const retry = (_state) => new Running();
+/** Cancels from any open state. */
+export const cancelByOperator = (_state) => new Canceled({ reason: new OperatorCanceled() });
+/**
+ * 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 const supersede = (_state, by) => new Canceled({ reason: new Superseded({ by }) });
+/** Cancels an unstarted run because its Item stopped matching the loop's trigger. */
+export const revoke = (_state) => new Canceled({ reason: new Revoked() });
+//# sourceMappingURL=state.js.map

package/dist/run/state.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"state.js","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,MAAM,OAAO,gBAAiB,SAAQ,MAAM,CAAC,WAAW,CACtD,+BAA+B,CAChC,CAAC,kBAAkB,EAAE,EAAE,CAAC;CAAG;AAE5B,uFAAuF;AACvF,MAAM,OAAO,UAAW,SAAQ,MAAM,CAAC,WAAW,CAAa,yBAAyB,CAAC,CACvF,YAAY,EACZ,EAAE,EAAE,EAAE,OAAO,EAAE,CAChB;CAAG;AAEJ,qFAAqF;AACrF,MAAM,OAAO,OAAQ,SAAQ,MAAM,CAAC,WAAW,CAAU,sBAAsB,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC;CAAG;AAElG,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,gBAAgB,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;AAGlF,oEAAoE;AACpE,MAAM,OAAO,OAAQ,SAAQ,MAAM,CAAC,WAAW,CAAU,kBAAkB,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC;CAAG;AAE9F,qGAAqG;AACrG,MAAM,OAAO,OAAQ,SAAQ,MAAM,CAAC,WAAW,CAAU,kBAAkB,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC;CAAG;AAE9F,8CAA8C;AAC9C,MAAM,OAAO,MAAO,SAAQ,MAAM,CAAC,WAAW,CAAS,iBAAiB,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC;CAAG;AAE1F,2CAA2C;AAC3C,MAAM,OAAO,OAAQ,SAAQ,MAAM,CAAC,WAAW,CAAU,kBAAkB,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC;CAAG;AAE9F,kDAAkD;AAClD,MAAM,OAAO,SAAU,SAAQ,MAAM,CAAC,WAAW,CAAY,oBAAoB,CAAC,CAChF,WAAW,EACX,EAAE,CACH;CAAG;AAEJ,qHAAqH;AACrH,MAAM,OAAO,MAAO,SAAQ,MAAM,CAAC,WAAW,CAAS,iBAAiB,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC;CAAG;AAE1F,0CAA0C;AAC1C,MAAM,OAAO,QAAS,SAAQ,MAAM,CAAC,WAAW,CAAW,mBAAmB,CAAC,CAAC,UAAU,EAAE;IAC1F,MAAM,EAAE,YAAY;CACrB,CAAC;CAAG;AAEL,kFAAkF;AAClF,MAAM,CAAC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;AAGtE,2FAA2F;AAC3F,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;AAGrF,gFAAgF;AAChF,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;AAGlE,0EAA0E;AAC1E,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;AAGzD,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;AACtC,MAAM,CAAC,MAAM,WAAW,GAAG,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;AAChD,MAAM,CAAC,MAAM,WAAW,GAAG,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;AAEhD,qHAAqH;AACrH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,KAAe,EAAE,EAAE,CAAC,CAAC;IACnD,UAAU,EAAE,KAAK,CAAC,IAAI,KAAK,SAAS;IACpC,QAAQ,EAAE,KAAK,CAAC,IAAI,KAAK,QAAQ;IACjC,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC;CACzB,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,MAAM,GACV,GAA2B,EAAE,CAC7B,CACE,GAAG,IAA6D,EAChE,EAAE,CACF,IAAI,CAAC;AAET,+EAA+E;AAC/E,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,EAAQ,CAAC,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;AAEzF,iFAAiF;AACjF,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,EAAY,CAC1C,SAAS,EACT,SAAS,EACT,QAAQ,EACR,SAAS,EACT,WAAW,EACX,QAAQ,EACR,UAAU,CACX,CAAC;AAEF,oFAAoF;AACpF,MAAM,CAAC,MAAM,oBAAoB,GAAG,MAAM,EAAa,CAAC,SAAS,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;AAExF,uDAAuD;AACvD,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,MAAe,EAAW,EAAE,CAAC,IAAI,OAAO,EAAE,CAAC;AAEzE,0FAA0F;AAC1F,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,MAAe,EAAU,EAAE,CAAC,IAAI,MAAM,EAAE,CAAC;AAEjE,kGAAkG;AAClG,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,MAAiB,EAAW,EAAE,CAAC,IAAI,OAAO,EAAE,CAAC;AAEnE,iDAAiD;AACjD,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,MAAe,EAAa,EAAE,CAAC,IAAI,SAAS,EAAE,CAAC;AAEvE,wGAAwG;AACxG,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,MAAe,EAAU,EAAE,CAAC,IAAI,MAAM,EAAE,CAAC;AAE9D,mGAAmG;AACnG,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,MAAc,EAAW,EAAE,CAAC,IAAI,OAAO,EAAE,CAAC;AAEhE,mCAAmC;AACnC,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,MAAY,EAAY,EAAE,CACzD,IAAI,QAAQ,CAAC,EAAE,MAAM,EAAE,IAAI,gBAAgB,EAAE,EAAE,CAAC,CAAC;AAEnD;;;GAGG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,MAAiB,EAAE,EAAW,EAAY,EAAE,CACpE,IAAI,QAAQ,CAAC,EAAE,MAAM,EAAE,IAAI,UAAU,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;AAEnD,qFAAqF;AACrF,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,MAAiB,EAAY,EAAE,CAAC,IAAI,QAAQ,CAAC,EAAE,MAAM,EAAE,IAAI,OAAO,EAAE,EAAE,CAAC,CAAC"}

package/dist/{step-result.d.ts → step/result.d.ts}

@@ -8,28 +8,26 @@ export declare class Commit extends Commit_base {
 }
 declare const PullRequest_base: Schema.Class<PullRequest, Schema.TaggedStruct<"PullRequest", {
     readonly number: Schema.Int;
-    readonly url: Schema.URL;
+    readonly url: Schema.URLFromString;
 }>, {}>;
 /** A pull request the agent created or updated during the Attempt. */
 export declare class PullRequest extends PullRequest_base {
 }
 declare const Comment_base: Schema.Class<Comment, Schema.TaggedStruct<"Comment", {
-    readonly url: Schema.URL;
+    readonly url: Schema.URLFromString;
 }>, {}>;
 /** A GitHub comment the agent created or updated during the Attempt. */
 export declare class Comment extends Comment_base {
 }
-export declare const Fact: Schema.Union<readonly [typeof Commit, typeof PullRequest, typeof Comment]>;
-export type Fact = typeof Fact.Type;
+/** A commit or GitHub artifact recorded as an outcome of the Agent's work. */
+export declare const StepResultFact: Schema.Union<readonly [typeof Commit, typeof PullRequest, typeof Comment]>;
+export type StepResultFact = typeof StepResultFact.Type;
 declare const StepResult_base: Schema.Class<StepResult, Schema.Struct<{
     readonly message: Schema.NonEmptyString;
     readonly facts: Schema.$Array<Schema.Union<readonly [typeof Commit, typeof PullRequest, typeof Comment]>>;
 }>, {}>;
-/**
- * The Step result carried by the run host's final envelope: the agent's final
- * message plus durable facts that survive workspace cleanup.
- */
+/** The agent's final message plus the facts that survive workspace cleanup. */
 export declare class StepResult extends StepResult_base {
 }
 export {};
-//# sourceMappingURL=step-result.d.ts.map
+//# sourceMappingURL=result.d.ts.map

package/dist/step/result.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"result.d.ts","sourceRoot":"","sources":["../../src/step/result.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;;;;;AAGhC,6EAA6E;AAC7E,qBAAa,MAAO,SAAQ,WAG1B;CAAG;;;;;AAEL,sEAAsE;AACtE,qBAAa,WAAY,SAAQ,gBAMhC;CAAG;;;;AAEJ,wEAAwE;AACxE,qBAAa,OAAQ,SAAQ,YAE3B;CAAG;AAEL,8EAA8E;AAC9E,eAAO,MAAM,cAAc,4EAA+C,CAAC;AAC3E,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAC,IAAI,CAAC;;;;;AAExD,+EAA+E;AAC/E,qBAAa,UAAW,SAAQ,eAG9B;CAAG"}

package/dist/{step-result.js → step/result.js}

@@ -1,5 +1,5 @@
 import { Schema } from "effect";
-import { CommitSha } from "./repository.js";
+import { CommitSha } from "../repository.js";
 /** A commit the run host found between the workspace base and final HEAD. */
 export class Commit extends Schema.TaggedClass("StepResult/Commit")("Commit", {
     sha: CommitSha,
@@ -9,22 +9,20 @@ export class Commit extends Schema.TaggedClass("StepResult/Commit")("Commit", {
 /** A pull request the agent created or updated during the Attempt. */
 export class PullRequest extends Schema.TaggedClass("StepResult/PullRequest")("PullRequest", {
     number: Schema.Int.check(Schema.isGreaterThanOrEqualTo(1)),
-    url: Schema.URL,
+    url: Schema.URLFromString,
 }) {
 }
 /** A GitHub comment the agent created or updated during the Attempt. */
 export class Comment extends Schema.TaggedClass("StepResult/Comment")("Comment", {
-    url: Schema.URL,
+    url: Schema.URLFromString,
 }) {
 }
-export const Fact = Schema.Union([Commit, PullRequest, Comment]);
-/**
- * The Step result carried by the run host's final envelope: the agent's final
- * message plus durable facts that survive workspace cleanup.
- */
+/** A commit or GitHub artifact recorded as an outcome of the Agent's work. */
+export const StepResultFact = Schema.Union([Commit, PullRequest, Comment]);
+/** The agent's final message plus the facts that survive workspace cleanup. */
 export class StepResult extends Schema.Class("StepResult")({
     message: Schema.NonEmptyString,
-    facts: Schema.Array(Fact),
+    facts: Schema.Array(StepResultFact),
 }) {
 }
-//# sourceMappingURL=step-result.js.map
+//# sourceMappingURL=result.js.map

package/dist/step/result.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"result.js","sourceRoot":"","sources":["../../src/step/result.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAE7C,6EAA6E;AAC7E,MAAM,OAAO,MAAO,SAAQ,MAAM,CAAC,WAAW,CAAS,mBAAmB,CAAC,CAAC,QAAQ,EAAE;IACpF,GAAG,EAAE,SAAS;IACd,OAAO,EAAE,MAAM,CAAC,cAAc;CAC/B,CAAC;CAAG;AAEL,sEAAsE;AACtE,MAAM,OAAO,WAAY,SAAQ,MAAM,CAAC,WAAW,CAAc,wBAAwB,CAAC,CACxF,aAAa,EACb;IACE,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IAC1D,GAAG,EAAE,MAAM,CAAC,aAAa;CAC1B,CACF;CAAG;AAEJ,wEAAwE;AACxE,MAAM,OAAO,OAAQ,SAAQ,MAAM,CAAC,WAAW,CAAU,oBAAoB,CAAC,CAAC,SAAS,EAAE;IACxF,GAAG,EAAE,MAAM,CAAC,aAAa;CAC1B,CAAC;CAAG;AAEL,8EAA8E;AAC9E,MAAM,CAAC,MAAM,cAAc,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC;AAG3E,+EAA+E;AAC/E,MAAM,OAAO,UAAW,SAAQ,MAAM,CAAC,KAAK,CAAa,YAAY,CAAC,CAAC;IACrE,OAAO,EAAE,MAAM,CAAC,cAAc;IAC9B,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC;CACpC,CAAC;CAAG"}

package/dist/step/step.d.ts

@@ -0,0 +1,21 @@
+import { Schema } from "effect";
+import { StepResult } from "./result.ts";
+/**
+ * The loop-authored step name. Renaming a step in the loop file retires it and
+ * its stored results stay under the old name (ADR 0002).
+ */
+export declare const StepName: Schema.brand<Schema.NonEmptyString, "StepName">;
+export type StepName = typeof StepName.Type;
+declare const Step_base: Schema.Class<Step, Schema.Struct<{
+    readonly runId: Schema.brand<Schema.NonEmptyString, "RunId">;
+    readonly name: Schema.brand<Schema.NonEmptyString, "StepName">;
+    readonly result: Schema.Option<typeof StepResult>;
+}>, {}>;
+/**
+ * A named unit of work inside a run, exactly one per run in v1. The result is
+ * stored when an attempt succeeds and is none until then.
+ */
+export declare class Step extends Step_base {
+}
+export {};
+//# sourceMappingURL=step.d.ts.map

package/dist/step/step.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"step.d.ts","sourceRoot":"","sources":["../../src/step/step.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC;;;GAGG;AACH,eAAO,MAAM,QAAQ,iDAAuD,CAAC;AAE7E,MAAM,MAAM,QAAQ,GAAG,OAAO,QAAQ,CAAC,IAAI,CAAC;;;;;;AAE5C;;;GAGG;AACH,qBAAa,IAAK,SAAQ,SAIxB;CAAG"}

package/dist/step/step.js

@@ -0,0 +1,19 @@
+import { Schema } from "effect";
+import { RunId } from "../run/run.js";
+import { StepResult } from "./result.js";
+/**
+ * The loop-authored step name. Renaming a step in the loop file retires it and
+ * its stored results stay under the old name (ADR 0002).
+ */
+export const StepName = Schema.NonEmptyString.pipe(Schema.brand("StepName"));
+/**
+ * A named unit of work inside a run, exactly one per run in v1. The result is
+ * stored when an attempt succeeds and is none until then.
+ */
+export class Step extends Schema.Class("Step")({
+    runId: RunId,
+    name: StepName,
+    result: Schema.Option(StepResult),
+}) {
+}
+//# sourceMappingURL=step.js.map

package/dist/step/step.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"step.js","sourceRoot":"","sources":["../../src/step/step.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtC,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC;;;GAGG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;AAI7E;;;GAGG;AACH,MAAM,OAAO,IAAK,SAAQ,MAAM,CAAC,KAAK,CAAO,MAAM,CAAC,CAAC;IACnD,KAAK,EAAE,KAAK;IACZ,IAAI,EAAE,QAAQ;IACd,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC;CAClC,CAAC;CAAG"}

package/dist/worker.d.ts

@@ -1,9 +1,9 @@
 import { Schema } from "effect";
-/** The engine-owned Worker adapters available to an instance. */
-export declare const KINDS: readonly ["local", "exe.dev"];
-export declare const Kind: Schema.Literals<readonly ["local", "exe.dev"]>;
-export type Kind = typeof Kind.Type;
-/** Value object: the name-keyed identity of a configured Worker. */
-export declare const Name: Schema.brand<Schema.String, "WorkerName">;
-export type Name = typeof Name.Type;
+/** Kebab-case name of a configured Worker. */
+export declare const WorkerName: Schema.brand<Schema.String, "WorkerName">;
+export type WorkerName = typeof WorkerName.Type;
+/** The Worker adapters the engine ships. */
+export declare const WORKER_KINDS: readonly ["local", "exe.dev"];
+export declare const WorkerKind: Schema.Literals<readonly ["local", "exe.dev"]>;
+export type WorkerKind = typeof WorkerKind.Type;
 //# sourceMappingURL=worker.d.ts.map

package/dist/worker.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"worker.d.ts","sourceRoot":"","sources":["../src/worker.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,iEAAiE;AACjE,eAAO,MAAM,KAAK,YAAI,OAAO,EAAE,SAAS,CAAU,CAAC;AACnD,eAAO,MAAM,IAAI,gDAAyB,CAAC;AAC3C,MAAM,MAAM,IAAI,GAAG,OAAO,IAAI,CAAC,IAAI,CAAC;AAEpC,oEAAoE;AACpE,eAAO,MAAM,IAAI,2CAIiB,CAAC;AACnC,MAAM,MAAM,IAAI,GAAG,OAAO,IAAI,CAAC,IAAI,CAAC"}
+{"version":3,"file":"worker.d.ts","sourceRoot":"","sources":["../src/worker.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,8CAA8C;AAC9C,eAAO,MAAM,UAAU,2CAIW,CAAC;AAEnC,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAC,IAAI,CAAC;AAEhD,4CAA4C;AAC5C,eAAO,MAAM,YAAY,YAAI,OAAO,EAAE,SAAS,CAAU,CAAC;AAC1D,eAAO,MAAM,UAAU,gDAAgC,CAAC;AACxD,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAC,IAAI,CAAC"}