@usine/core 0.0.0 → 0.1.0

package/dist/lifecycle/run-state.js

@@ -0,0 +1,126 @@
+/**
+ * The run state machine (ADR 0002):
+ *
+ *   pending ──────────────► running ──► succeeded
+ *      │                    ▲  │
+ *      ▼                    │  ▼
+ *   waiting ────────────────┘ failed ──► (retry: attempt N+1) ──► running
+ *
+ *   pending | waiting | running ──► canceled   (operator cancel)
+ *   pending | waiting           ──► canceled   (supersede, revoke — a started
+ *                                               attempt always finishes, ADR 0007)
+ *
+ * States are value objects (a discriminated union, each state carrying exactly
+ * its own data). Transitions are typestate derivers: each function accepts
+ * only the states it is legal on, so an illegal transition is a compile
+ * error. Construct states through these transitions (or by parsing a stored
+ * row via the `RunState` union) — they are the state machine.
+ */
+import { Schema } from "effect";
+import { EventId } from "./event.js";
+/** Cancel reason — value object: the operator closed the run by hand. */
+export class OperatorCanceled extends Schema.TaggedClass("CancelReason/OperatorCanceled")("OperatorCanceled", {}) {
+}
+/**
+ * Cancel reason — value object: 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 }) {
+}
+/**
+ * Cancel reason — value object: the run's Item stopped matching its loop's
+ * trigger before any attempt started. Distinct from operator cancel and from
+ * supersede.
+ */
+export class Revoked extends Schema.TaggedClass("CancelReason/Revoked")("Revoked", {}) {
+}
+export const CancelReason = Schema.Union([OperatorCanceled, Superseded, Revoked]);
+/** Open: just created; no attempt started, no approval gate passed. */
+export class Pending extends Schema.TaggedClass("RunState/Pending")("Pending", {}) {
+}
+/**
+ * Open: parked on its loop's approval gate — v1's only waiting reason. The
+ * approval it consumes is an Event like every other fact.
+ */
+export class Waiting extends Schema.TaggedClass("RunState/Waiting")("Waiting", {}) {
+}
+/** Open: an attempt is executing on a worker. */
+export class Running extends Schema.TaggedClass("RunState/Running")("Running", {}) {
+}
+/** Closed: the step finished and its result is stored. */
+export class Succeeded extends Schema.TaggedClass("RunState/Succeeded")("Succeeded", {}) {
+}
+/**
+ * Closed, but reopenable: the last attempt failed and no auto-retry applies.
+ * The failure itself lives on the Attempt.
+ */
+export class Failed extends Schema.TaggedClass("RunState/Failed")("Failed", {}) {
+}
+/** Closed: canceled, with the reason recorded. */
+export class Canceled extends Schema.TaggedClass("RunState/Canceled")("Canceled", {
+    reason: CancelReason,
+}) {
+}
+/**
+ * The open half of the machine — the single statement of the open/closed
+ * partition; the alias, the guard, and the full union all derive from it.
+ */
+export const Open = Schema.Union([Pending, Waiting, Running]);
+export const RunState = Schema.Union([...Open.members, Succeeded, Failed, Canceled]);
+export const isOpen = Schema.is(Open);
+/**
+ * Compile-checked tag tuple over a state partition: the argument list must
+ * name every `_tag` of `State` and nothing else. A foreign tag fails the
+ * `Tags` constraint; a missing tag collapses the parameters to `[never]`, so
+ * the call stops compiling. This keeps the unions above the single owner of
+ * each partition while read-side SQL gets a value-level tag list.
+ */
+const tagsOf = () => (...tags) => tags;
+/** The open partition as `_tag` literals, for queries that filter stored rows by state. */
+export const OPEN_STATE_TAGS = tagsOf()("Pending", "Waiting", "Running");
+/** Every state as `_tag` literals, for read models that project stored rows by state. */
+export const STATE_TAGS = tagsOf()("Pending", "Waiting", "Running", "Succeeded", "Failed", "Canceled");
+/**
+ * The states with no started attempt, as `_tag` literals — the precondition
+ * of `supersede` and `revoke`, for queries that filter stored rows by state.
+ */
+export const UNSTARTED_STATE_TAGS = tagsOf()("Pending", "Waiting");
+/** pending → waiting: park the run on its loop's approval gate. */
+export const awaitApproval = (_state) => new Waiting();
+/**
+ * pending | waiting → running: the first attempt starts. From waiting, the
+ * engine consumes the approval Event that opens the gate.
+ */
+export const start = (_state) => new Running();
+/** running → succeeded: the attempt finished and the step result is stored. */
+export const succeed = (_state) => new Succeeded();
+/**
+ * running → failed: the attempt failed and no auto-retry applies — the engine
+ * discharges that precondition with `Attempt.shouldAutoRetry`, the one owner
+ * of the auto-retry law.
+ */
+export const fail = (_state) => new Failed();
+/**
+ * failed → running: operator retry. The next try is a new Attempt (N+1) under
+ * the same Step, never a new run.
+ */
+export const retry = (_state) => new Running();
+/**
+ * open → canceled: the operator's act, reachable from every open state —
+ * named by cause like its siblings; supersede and revoke are the other two
+ * roads into Canceled.
+ */
+export const cancelByOperator = (_state) => new Canceled({ reason: new OperatorCanceled() });
+/**
+ * pending | waiting → canceled: a newer Event for the same Item takes this
+ * run's place. Only runs with no started attempt can be superseded — a running
+ * attempt always finishes, and the newer state is judged again when it ends
+ * (ADR 0007).
+ */
+export const supersede = (_state, by) => new Canceled({ reason: new Superseded({ by }) });
+/**
+ * pending | waiting → canceled: the run's Item stopped matching its loop's
+ * trigger. Never touches a running attempt.
+ */
+export const revoke = (_state) => new Canceled({ reason: new Revoked() });
+//# sourceMappingURL=run-state.js.map

package/dist/lifecycle/run-state.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-state.js","sourceRoot":"","sources":["../../src/lifecycle/run-state.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AACH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAErC,yEAAyE;AACzE,MAAM,OAAO,gBAAiB,SAAQ,MAAM,CAAC,WAAW,CACtD,+BAA+B,CAChC,CAAC,kBAAkB,EAAE,EAAE,CAAC;CAAG;AAE5B;;;GAGG;AACH,MAAM,OAAO,UAAW,SAAQ,MAAM,CAAC,WAAW,CAAa,yBAAyB,CAAC,CACvF,YAAY,EACZ,EAAE,EAAE,EAAE,OAAO,EAAE,CAChB;CAAG;AAEJ;;;;GAIG;AACH,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,uEAAuE;AACvE,MAAM,OAAO,OAAQ,SAAQ,MAAM,CAAC,WAAW,CAAU,kBAAkB,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC;CAAG;AAE9F;;;GAGG;AACH,MAAM,OAAO,OAAQ,SAAQ,MAAM,CAAC,WAAW,CAAU,kBAAkB,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC;CAAG;AAE9F,iDAAiD;AACjD,MAAM,OAAO,OAAQ,SAAQ,MAAM,CAAC,WAAW,CAAU,kBAAkB,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC;CAAG;AAE9F,0DAA0D;AAC1D,MAAM,OAAO,SAAU,SAAQ,MAAM,CAAC,WAAW,CAAY,oBAAoB,CAAC,CAChF,WAAW,EACX,EAAE,CACH;CAAG;AAEJ;;;GAGG;AACH,MAAM,OAAO,MAAO,SAAQ,MAAM,CAAC,WAAW,CAAS,iBAAiB,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC;CAAG;AAE1F,kDAAkD;AAClD,MAAM,OAAO,QAAS,SAAQ,MAAM,CAAC,WAAW,CAAW,mBAAmB,CAAC,CAAC,UAAU,EAAE;IAC1F,MAAM,EAAE,YAAY;CACrB,CAAC;CAAG;AAEL;;;GAGG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;AAG9D,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;AAGrF,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;AAEtC;;;;;;GAMG;AACH,MAAM,MAAM,GACV,GAA2B,EAAE,CAC7B,CACE,GAAG,IAA6D,EAChE,EAAE,CACF,IAAI,CAAC;AAET,2FAA2F;AAC3F,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,EAAQ,CAAC,SAAS,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;AAE/E,yFAAyF;AACzF,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,EAAY,CAC1C,SAAS,EACT,SAAS,EACT,SAAS,EACT,WAAW,EACX,QAAQ,EACR,UAAU,CACX,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,MAAM,EAAqB,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;AAEtF,mEAAmE;AACnE,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,MAAe,EAAW,EAAE,CAAC,IAAI,OAAO,EAAE,CAAC;AAEzE;;;GAGG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,MAAyB,EAAW,EAAE,CAAC,IAAI,OAAO,EAAE,CAAC;AAE3E,+EAA+E;AAC/E,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,MAAe,EAAa,EAAE,CAAC,IAAI,SAAS,EAAE,CAAC;AAEvE;;;;GAIG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,MAAe,EAAU,EAAE,CAAC,IAAI,MAAM,EAAE,CAAC;AAE9D;;;GAGG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,MAAc,EAAW,EAAE,CAAC,IAAI,OAAO,EAAE,CAAC;AAEhE;;;;GAIG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,MAAY,EAAY,EAAE,CACzD,IAAI,QAAQ,CAAC,EAAE,MAAM,EAAE,IAAI,gBAAgB,EAAE,EAAE,CAAC,CAAC;AAEnD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,MAAyB,EAAE,EAAW,EAAY,EAAE,CAC5E,IAAI,QAAQ,CAAC,EAAE,MAAM,EAAE,IAAI,UAAU,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;AAEnD;;;GAGG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,MAAyB,EAAY,EAAE,CAC5D,IAAI,QAAQ,CAAC,EAAE,MAAM,EAAE,IAAI,OAAO,EAAE,EAAE,CAAC,CAAC"}

package/dist/lifecycle/run.d.ts

@@ -0,0 +1,22 @@
+import { Schema } from "effect";
+/**
+ * Value object (branded id): identity of one Run.
+ */
+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("./run-state.ts").Pending, typeof import("./run-state.ts").Waiting, typeof import("./run-state.ts").Running, typeof import("./run-state.ts").Succeeded, typeof import("./run-state.ts").Failed, typeof import("./run-state.ts").Canceled]>;
+    readonly openedAt: Schema.DateTimeUtc;
+}>, {}>;
+/**
+ * Entity — ledger row: the work a loop owes one Event. At most one open run
+ * exists per dedup key, ever — the Event owns the key; the engine's ledger
+ * enforces the invariant (ADR 0002).
+ */
+export declare class Run extends Run_base {
+}
+export {};
+//# sourceMappingURL=run.d.ts.map

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

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

package/dist/lifecycle/run.js

@@ -0,0 +1,22 @@
+import { Schema } from "effect";
+import { EventId } from "./event.js";
+import { LoopName } from "./loop.js";
+import { RunState } from "./run-state.js";
+/**
+ * Value object (branded id): identity of one Run.
+ */
+export const RunId = Schema.NonEmptyString.pipe(Schema.brand("RunId"));
+/**
+ * Entity — ledger row: the work a loop owes one Event. At most one open run
+ * exists per dedup key, ever — the Event owns the key; the engine's ledger
+ * enforces the invariant (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/lifecycle/run.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"run.js","sourceRoot":"","sources":["../../src/lifecycle/run.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AACrC,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACrC,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE1C;;GAEG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;AAGvE;;;;GAIG;AACH,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/lifecycle/step.d.ts

@@ -0,0 +1,23 @@
+import { Schema } from "effect";
+import { StepResult } from "../step-result.ts";
+/**
+ * Value object (branded id): step identity within its run — the loop-authored name (ADR 0002). Renaming a
+ * step in the loop file retires it — prior results stay under the old name.
+ * There is deliberately no synthetic step id.
+ */
+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>;
+}>, {}>;
+/**
+ * Entity — ledger row: a named unit of work inside a run, its stored result addressable by name;
+ * exactly one per run in v1 (the agent action). The result is the run host's
+ * final message, stored when an attempt succeeds — none until then.
+ */
+export declare class Step extends Step_base {
+}
+export {};
+//# sourceMappingURL=step.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"step.d.ts","sourceRoot":"","sources":["../../src/lifecycle/step.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAG/C;;;;GAIG;AACH,eAAO,MAAM,QAAQ,iDAAuD,CAAC;AAC7E,MAAM,MAAM,QAAQ,GAAG,OAAO,QAAQ,CAAC,IAAI,CAAC;;;;;;AAE5C;;;;GAIG;AACH,qBAAa,IAAK,SAAQ,SAIxB;CAAG"}

package/dist/lifecycle/step.js

@@ -0,0 +1,21 @@
+import { Schema } from "effect";
+import { StepResult } from "../step-result.js";
+import { RunId } from "./run.js";
+/**
+ * Value object (branded id): step identity within its run — the loop-authored name (ADR 0002). Renaming a
+ * step in the loop file retires it — prior results stay under the old name.
+ * There is deliberately no synthetic step id.
+ */
+export const StepName = Schema.NonEmptyString.pipe(Schema.brand("StepName"));
+/**
+ * Entity — ledger row: a named unit of work inside a run, its stored result addressable by name;
+ * exactly one per run in v1 (the agent action). The result is the run host's
+ * final message, stored when an attempt succeeds — none until then.
+ */
+export class Step extends Schema.Class("Step")({
+    runId: RunId,
+    name: StepName,
+    result: Schema.Option(StepResult),
+}) {
+}
+//# sourceMappingURL=step.js.map

package/dist/lifecycle/step.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"step.js","sourceRoot":"","sources":["../../src/lifecycle/step.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAC/C,OAAO,EAAE,KAAK,EAAE,MAAM,UAAU,CAAC;AAEjC;;;;GAIG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;AAG7E;;;;GAIG;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/repository.d.ts

@@ -0,0 +1,26 @@
+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.
+ */
+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 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) => {
+    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;
+//# sourceMappingURL=repository.d.ts.map

package/dist/repository.d.ts.map

@@ -0,0 +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"}

package/dist/repository.js

@@ -0,0 +1,32 @@
+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.
+ */
+export const Name = 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, {
+    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. */
+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) => {
+    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();
+//# sourceMappingURL=repository.js.map

package/dist/repository.js.map

@@ -0,0 +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"}

package/dist/step-result.d.ts

@@ -0,0 +1,35 @@
+import { Schema } from "effect";
+declare const Commit_base: Schema.Class<Commit, Schema.TaggedStruct<"Commit", {
+    readonly sha: Schema.brand<Schema.String, "CommitSha">;
+    readonly summary: Schema.NonEmptyString;
+}>, {}>;
+/** A commit the run host found between the workspace base and final HEAD. */
+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;
+}>, {}>;
+/** 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;
+}>, {}>;
+/** 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;
+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.
+ */
+export declare class StepResult extends StepResult_base {
+}
+export {};
+//# sourceMappingURL=step-result.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"step-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,eAAO,MAAM,IAAI,4EAA+C,CAAC;AACjE,MAAM,MAAM,IAAI,GAAG,OAAO,IAAI,CAAC,IAAI,CAAC;;;;;AAEpC;;;GAGG;AACH,qBAAa,UAAW,SAAQ,eAG9B;CAAG"}

package/dist/step-result.js

@@ -0,0 +1,30 @@
+import { Schema } from "effect";
+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,
+    summary: Schema.NonEmptyString,
+}) {
+}
+/** 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,
+}) {
+}
+/** A GitHub comment the agent created or updated during the Attempt. */
+export class Comment extends Schema.TaggedClass("StepResult/Comment")("Comment", {
+    url: Schema.URL,
+}) {
+}
+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.
+ */
+export class StepResult extends Schema.Class("StepResult")({
+    message: Schema.NonEmptyString,
+    facts: Schema.Array(Fact),
+}) {
+}
+//# sourceMappingURL=step-result.js.map

package/dist/step-result.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"step-result.js","sourceRoot":"","sources":["../src/step-result.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAE5C,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,GAAG;CAChB,CACF;CAAG;AAEJ,wEAAwE;AACxE,MAAM,OAAO,OAAQ,SAAQ,MAAM,CAAC,WAAW,CAAU,oBAAoB,CAAC,CAAC,SAAS,EAAE;IACxF,GAAG,EAAE,MAAM,CAAC,GAAG;CAChB,CAAC;CAAG;AAEL,MAAM,CAAC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC;AAGjE;;;GAGG;AACH,MAAM,OAAO,UAAW,SAAQ,MAAM,CAAC,KAAK,CAAa,YAAY,CAAC,CAAC;IACrE,OAAO,EAAE,MAAM,CAAC,cAAc;IAC9B,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC;CAC1B,CAAC;CAAG"}

package/dist/worker.d.ts

@@ -0,0 +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;
+//# sourceMappingURL=worker.d.ts.map

package/dist/worker.d.ts.map

@@ -0,0 +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"}

package/dist/worker.js

@@ -0,0 +1,9 @@
+import { Schema } from "effect";
+/** The engine-owned Worker adapters available to an instance. */
+export const KINDS = ["local", "exe.dev"];
+export const Kind = Schema.Literals(KINDS);
+/** Value object: the name-keyed identity of a configured Worker. */
+export const Name = Schema.String.check(Schema.isPattern(/^[a-z0-9]+(?:-[a-z0-9]+)*$/u, {
+    message: "Expected a kebab-case Worker name",
+})).pipe(Schema.brand("WorkerName"));
+//# sourceMappingURL=worker.js.map

package/dist/worker.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"worker.js","sourceRoot":"","sources":["../src/worker.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,iEAAiE;AACjE,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,OAAO,EAAE,SAAS,CAAU,CAAC;AACnD,MAAM,CAAC,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AAG3C,oEAAoE;AACpE,MAAM,CAAC,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CACrC,MAAM,CAAC,SAAS,CAAC,6BAA6B,EAAE;IAC9C,OAAO,EAAE,mCAAmC;CAC7C,CAAC,CACH,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC"}

package/package.json

@@ -1,7 +1,43 @@
 {
   "name": "@usine/core",
-  "version": "0.0.0",
-  "description": "Name reservation for the usine blocks; real releases start at 0.0.1.",
+  "version": "0.1.0",
+  "description": "Domain model for usine: Event → Run → Step → Attempt, branded ids, the run state machine, and the typed attempt-failure taxonomy.",
   "license": "MIT",
-  "repository": { "type": "git", "url": "git+https://github.com/basaltbytes/usine.git" }
-}
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/basaltbytes/usine.git",
+    "directory": "packages/core"
+  },
+  "files": [
+    "dist"
+  ],
+  "type": "module",
+  "sideEffects": false,
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "default": "./dist/index.js"
+    }
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "devDependencies": {
+    "@effect/vitest": "4.0.0-rc.111",
+    "effect": "4.0.0-rc.111",
+    "typescript": "7.0.2",
+    "vitest": "4.1.11",
+    "@usine/tsconfig": "0.0.0"
+  },
+  "peerDependencies": {
+    "effect": "4.0.0-rc.111"
+  },
+  "engines": {
+    "node": ">=22"
+  },
+  "scripts": {
+    "build": "tsc -b",
+    "check": "tsc -p tsconfig.check.json",
+    "test": "vitest run"
+  }
+}