@usine/core 0.1.0 → 0.2.0

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

@@ -1 +0,0 @@
-{"version":3,"file":"loop.d.ts","sourceRoot":"","sources":["../../src/lifecycle/loop.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC;;;;GAIG;AACH,eAAO,MAAM,QAAQ,iDAAuD,CAAC;AAC7E,MAAM,MAAM,QAAQ,GAAG,OAAO,QAAQ,CAAC,IAAI,CAAC;AAE5C;;;;GAIG;AACH,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/lifecycle/loop.js

@@ -1,15 +0,0 @@
-import { Schema } from "effect";
-/**
- * Value object (branded id): loop identity — the loop file's name in the instance repo. Filename is
- * identity — renaming the file retires one loop and creates another
- * (ADR 0001).
- */
-export const LoopName = Schema.NonEmptyString.pipe(Schema.brand("LoopName"));
-/**
- * Value object: whether a loop parks new runs until an approval Event arrives
- * (ADR 0004's `approval:` field, default none). One owner for the literal set
- * the config parser accepts and the engine routes on.
- */
-export const APPROVAL_REQUIREMENTS = ["none", "required"];
-export const ApprovalRequirement = Schema.Literals(APPROVAL_REQUIREMENTS);
-//# sourceMappingURL=loop.js.map

package/dist/lifecycle/loop.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"loop.js","sourceRoot":"","sources":["../../src/lifecycle/loop.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC;;;;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,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/lifecycle/run-state.d.ts

@@ -1,133 +0,0 @@
-/**
- * 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.ts";
-declare const OperatorCanceled_base: Schema.Class<OperatorCanceled, Schema.TaggedStruct<"OperatorCanceled", {}>, {}>;
-/** Cancel reason — value object: 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">;
-}>, {}>;
-/**
- * Cancel reason — value object: 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", {}>, {}>;
-/**
- * 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 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", {}>, {}>;
-/** Open: just created; no attempt started, no approval gate passed. */
-export declare class Pending extends Pending_base {
-}
-declare const Waiting_base: Schema.Class<Waiting, Schema.TaggedStruct<"Waiting", {}>, {}>;
-/**
- * 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 declare class Waiting extends Waiting_base {
-}
-declare const Running_base: Schema.Class<Running, Schema.TaggedStruct<"Running", {}>, {}>;
-/** Open: an attempt is executing on a worker. */
-export declare class Running extends Running_base {
-}
-declare const Succeeded_base: Schema.Class<Succeeded, Schema.TaggedStruct<"Succeeded", {}>, {}>;
-/** Closed: 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", {}>, {}>;
-/**
- * Closed, but reopenable: the last attempt failed and no auto-retry applies.
- * The failure itself lives on the Attempt.
- */
-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]>;
-}>, {}>;
-/** Closed: canceled, with the reason recorded. */
-export declare class Canceled extends Canceled_base {
-}
-/**
- * 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 declare const Open: Schema.Union<readonly [typeof Pending, typeof Waiting, typeof Running]>;
-export type Open = typeof Open.Type;
-export declare const RunState: Schema.Union<readonly [typeof Pending, typeof Waiting, typeof Running, typeof Succeeded, typeof Failed, typeof Canceled]>;
-export type RunState = typeof RunState.Type;
-export declare const isOpen: <I>(input: I) => input is I & (Pending | Running | Waiting);
-/** The open partition as `_tag` literals, for queries that filter stored rows by state. */
-export declare const OPEN_STATE_TAGS: readonly ["Pending", "Waiting", "Running"];
-/** Every state as `_tag` literals, for read models that project stored rows by state. */
-export declare const STATE_TAGS: readonly ["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 declare const UNSTARTED_STATE_TAGS: readonly ["Pending", "Waiting"];
-/** pending → waiting: park the run on its loop's approval gate. */
-export declare const awaitApproval: (_state: Pending) => Waiting;
-/**
- * pending | waiting → running: the first attempt starts. From waiting, the
- * engine consumes the approval Event that opens the gate.
- */
-export declare const start: (_state: Pending | Waiting) => Running;
-/** running → succeeded: the attempt finished and the step result is stored. */
-export declare const succeed: (_state: Running) => 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 declare const fail: (_state: Running) => Failed;
-/**
- * failed → running: operator retry. The next try is a new Attempt (N+1) under
- * the same Step, never a new run.
- */
-export declare const retry: (_state: Failed) => 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 declare const cancelByOperator: (_state: Open) => Canceled;
-/**
- * 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 declare const supersede: (_state: Pending | Waiting, by: EventId) => Canceled;
-/**
- * pending | waiting → canceled: the run's Item stopped matching its loop's
- * trigger. Never touches a running attempt.
- */
-export declare const revoke: (_state: Pending | Waiting) => Canceled;
-export {};
-//# sourceMappingURL=run-state.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"run-state.d.ts","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,qBAAa,gBAAiB,SAAQ,qBAEb;CAAG;;;;AAE5B;;;GAGG;AACH,qBAAa,UAAW,SAAQ,eAG/B;CAAG;;AAEJ;;;;GAIG;AACH,qBAAa,OAAQ,SAAQ,YAAkE;CAAG;AAElG,eAAO,MAAM,YAAY,qFAAwD,CAAC;AAClF,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAC;;AAEpD,uEAAuE;AACvE,qBAAa,OAAQ,SAAQ,YAA8D;CAAG;;AAE9F;;;GAGG;AACH,qBAAa,OAAQ,SAAQ,YAA8D;CAAG;;AAE9F,iDAAiD;AACjD,qBAAa,OAAQ,SAAQ,YAA8D;CAAG;;AAE9F,0DAA0D;AAC1D,qBAAa,SAAU,SAAQ,cAG9B;CAAG;;AAEJ;;;GAGG;AACH,qBAAa,MAAO,SAAQ,WAA2D;CAAG;;;;AAE1F,kDAAkD;AAClD,qBAAa,QAAS,SAAQ,aAE5B;CAAG;AAEL;;;GAGG;AACH,eAAO,MAAM,IAAI,yEAA4C,CAAC;AAC9D,MAAM,MAAM,IAAI,GAAG,OAAO,IAAI,CAAC,IAAI,CAAC;AAEpC,eAAO,MAAM,QAAQ,2HAA+D,CAAC;AACrF,MAAM,MAAM,QAAQ,GAAG,OAAO,QAAQ,CAAC,IAAI,CAAC;AAE5C,eAAO,MAAM,MAAM,6DAAkB,CAAC;AAgBtC,2FAA2F;AAC3F,eAAO,MAAM,eAAe,4CAAkD,CAAC;AAE/E,yFAAyF;AACzF,eAAO,MAAM,UAAU,+EAOtB,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,oBAAoB,iCAAoD,CAAC;AAEtF,mEAAmE;AACnE,eAAO,MAAM,aAAa,WAAY,OAAO,KAAG,OAAwB,CAAC;AAEzE;;;GAGG;AACH,eAAO,MAAM,KAAK,WAAY,OAAO,GAAG,OAAO,KAAG,OAAwB,CAAC;AAE3E,+EAA+E;AAC/E,eAAO,MAAM,OAAO,WAAY,OAAO,KAAG,SAA4B,CAAC;AAEvE;;;;GAIG;AACH,eAAO,MAAM,IAAI,WAAY,OAAO,KAAG,MAAsB,CAAC;AAE9D;;;GAGG;AACH,eAAO,MAAM,KAAK,WAAY,MAAM,KAAG,OAAwB,CAAC;AAEhE;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,WAAY,IAAI,KAAG,QACE,CAAC;AAEnD;;;;;GAKG;AACH,eAAO,MAAM,SAAS,WAAY,OAAO,GAAG,OAAO,MAAM,OAAO,KAAG,QACjB,CAAC;AAEnD;;;GAGG;AACH,eAAO,MAAM,MAAM,WAAY,OAAO,GAAG,OAAO,KAAG,QACV,CAAC"}

package/dist/lifecycle/run-state.js

@@ -1,126 +0,0 @@
-/**
- * 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

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

@@ -1,22 +0,0 @@
-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

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

@@ -1,22 +0,0 @@
-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

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

@@ -1,23 +0,0 @@
-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

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

@@ -1,21 +0,0 @@
-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

@@ -1 +0,0 @@
-{"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/step-result.d.ts.map

@@ -1 +0,0 @@
-{"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.map

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