@usine/core 0.0.0 → 0.1.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Philippe L'ATTENTION
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -1 +1,29 @@
-Name reservation for the usine blocks; real releases start at 0.0.1.
+# @usine/core
+
+Domain model for [usine](https://github.com/basaltbytes/usine), an agent-agnostic software factory: the Event → Run → Step → Attempt vocabulary every other block types against, plus shared instance and repository value objects.
+
+Everything lives in the `lifecycle` cluster: a deduplicated Event opens a Run, the Run's named Step is tried as Attempts, and the state machine closes it.
+
+## What each export is
+
+| Export | Kind |
+| --- | --- |
+| `Event`, `Run`, `Step`, `Attempt` | Entities — the four ledger rows, identity plus validated construction |
+| `EventId`, `RunId`, `AttemptId` | Value objects — branded ids; identities that cannot be swapped for each other |
+| `DedupKey`, `ItemKey`, `Item.Number`, `LoopName`, `StepName`, `AttemptNumber` | Value objects — branded primitives carrying a domain constraint; Item numbers are positive integers |
+| `Instance.Directory`, `Repository.Name`, `Repository.Revision`, `Repository.CommitSha` | Shared value objects — paths and validated Git identities |
+| `Worker.Name`, `Worker.Kind` | Value objects — a Worker identity and its local or exe.dev adapter kind |
+| `Agent.Agent`, `Agent.BrainSpec` | Agent values — a named persona, its child brain, and optional Pi parent-model override |
+| `Agent.SessionEvent` | Session events — typed parent or first-level child lifecycle, text, and tool events |
+| `AttemptChannel.*` | Protocol values: the secret-free run spec, framed input, and protocol-v3 Attempt envelopes (`Started` carries the effective parent model) |
+| `StepResult.*` | Result values — the final agent message plus commit, pull-request, and comment facts |
+| `RunState.*`, `CancelReason`, `Attempt.Outcome` | State value objects — discriminated unions, including a distinct canceled Attempt outcome |
+| `RunState.awaitApproval/start/succeed/fail/retry/cancelByOperator/supersede/revoke` | Typestate transitions — each accepts only the states it is legal on, so an illegal transition is a compile error |
+| `InfraFailure`, `AgentFailure`, `RunawayFailure` | Typed errors — the attempt-failure taxonomy |
+| `AttemptFailure.isAutoRetryable`, `Attempt.shouldAutoRetry` | Derivers — pure decision functions stating the auto-retry law (class rule; class rule capped by attempt count) |
+
+The run state machine is `pending → waiting → running → succeeded / failed / canceled`, with `failed → running` on operator retry. The failure taxonomy separates infra failures (the only auto-retryable class, capped), agent failures (always wait for the operator), and the runaway guard tripping (never auto-retried).
+
+Each Attempt records the child `BrainSpec` and effective Pi parent model used for that try. The attempt channel carries immutable repository, payload, task, and agent context in its `Start` frame; outbound `SessionEvent` envelopes retain parent and first-level child session identity.
+
+Everything is 0.x: APIs change without notice while the engine grows. `effect` is a peer dependency — supply it yourself at the pinned version.

package/dist/agent.d.ts

@@ -0,0 +1,121 @@
+import { Option, Schema } from "effect";
+/** Value object: the filename-keyed identity of one rostered Agent. */
+export declare const Name: Schema.brand<Schema.String, "AgentName">;
+export type Name = typeof Name.Type;
+/** Value object: an opaque vendor model identifier. */
+export declare const ModelId: Schema.brand<Schema.String, "ModelId">;
+export type ModelId = typeof ModelId.Type;
+/** Value object: standing Markdown instructions for one Agent. */
+export declare const Persona: Schema.brand<Schema.String, "AgentPersona">;
+export type Persona = typeof Persona.Type;
+export declare const HARNESSES: readonly ["claude", "codex", "pi"];
+export declare const Harness: Schema.Literals<readonly ["claude", "codex", "pi"]>;
+export type Harness = typeof Harness.Type;
+export declare const EFFORTS: readonly ["off", "minimal", "low", "medium", "high", "xhigh", "max"];
+export declare const Effort: Schema.Literals<readonly ["off", "minimal", "low", "medium", "high", "xhigh", "max"]>;
+export type Effort = typeof Effort.Type;
+declare const BrainSpec_base: Schema.Class<BrainSpec, Schema.Struct<{
+    readonly harness: Schema.Literals<readonly ["claude", "codex", "pi"]>;
+    readonly model: Schema.brand<Schema.String, "ModelId">;
+    readonly effort: Schema.Literals<readonly ["off", "minimal", "low", "medium", "high", "xhigh", "max"]>;
+}>, {}>;
+/** Value object: the harness child that a run is declared to spawn. */
+export declare class BrainSpec extends BrainSpec_base {
+}
+declare const Agent_base: Schema.Class<Agent, Schema.Struct<{
+    readonly name: Schema.brand<Schema.String, "AgentName">;
+    readonly brain: typeof BrainSpec;
+    readonly parentModel: Schema.OptionFromNullOr<Schema.brand<Schema.String, "ModelId">>;
+    readonly persona: Schema.brand<Schema.String, "AgentPersona">;
+}>, {}>;
+/** Entity: one named member of the instance's authored team roster. */
+export declare class Agent extends Agent_base {
+}
+/** Value object: SDK-local identity of one parent or child agent session. */
+export declare const SessionId: Schema.brand<Schema.NonEmptyString, "AgentSessionId">;
+export type SessionId = typeof SessionId.Type;
+declare const ParentSession_base: Schema.Class<ParentSession, Schema.TaggedStruct<"ParentSession", {
+    readonly id: Schema.brand<Schema.NonEmptyString, "AgentSessionId">;
+    readonly agent: Schema.brand<Schema.String, "AgentName">;
+    readonly brain: typeof BrainSpec;
+}>, {}>;
+/** Parent session descriptor. It cannot name a parent, so recursive nesting is unrepresentable. */
+export declare class ParentSession extends ParentSession_base {
+}
+declare const ChildSession_base: Schema.Class<ChildSession, Schema.TaggedStruct<"ChildSession", {
+    readonly id: Schema.brand<Schema.NonEmptyString, "AgentSessionId">;
+    readonly parentId: Schema.brand<Schema.NonEmptyString, "AgentSessionId">;
+    readonly agent: Schema.brand<Schema.String, "AgentName">;
+    readonly brain: typeof BrainSpec;
+}>, {}>;
+/** Child session descriptor. Exactly one parent id keeps session nesting one level deep. */
+export declare class ChildSession extends ChildSession_base {
+}
+export declare const Session: Schema.Union<readonly [typeof ParentSession, typeof ChildSession]>;
+export type Session = typeof Session.Type;
+declare const SessionStarted_base: Schema.Class<SessionStarted, Schema.TaggedStruct<"SessionStarted", {
+    readonly session: Schema.Union<readonly [typeof ParentSession, typeof ChildSession]>;
+}>, {}>;
+export declare class SessionStarted extends SessionStarted_base {
+}
+declare const TextOutput_base: Schema.Class<TextOutput, Schema.TaggedStruct<"TextOutput", {
+    readonly session: Schema.Union<readonly [typeof ParentSession, typeof ChildSession]>;
+    readonly text: Schema.NonEmptyString;
+}>, {}>;
+export declare class TextOutput extends TextOutput_base {
+}
+declare const ToolStarted_base: Schema.Class<ToolStarted, Schema.TaggedStruct<"ToolStarted", {
+    readonly session: Schema.Union<readonly [typeof ParentSession, typeof ChildSession]>;
+    readonly callId: Schema.NonEmptyString;
+    readonly tool: Schema.NonEmptyString;
+    readonly input: Schema.Codec<Schema.Json, Schema.Json, never, never>;
+}>, {}>;
+export declare class ToolStarted extends ToolStarted_base {
+}
+declare const ToolFinished_base: Schema.Class<ToolFinished, Schema.TaggedStruct<"ToolFinished", {
+    readonly session: Schema.Union<readonly [typeof ParentSession, typeof ChildSession]>;
+    readonly callId: Schema.NonEmptyString;
+    readonly tool: Schema.NonEmptyString;
+    readonly output: Schema.Codec<Schema.Json, Schema.Json, never, never>;
+    readonly isError: Schema.Boolean;
+}>, {}>;
+export declare class ToolFinished extends ToolFinished_base {
+}
+declare const SessionFinished_base: Schema.Class<SessionFinished, Schema.TaggedStruct<"SessionFinished", {
+    readonly session: Schema.Union<readonly [typeof ParentSession, typeof ChildSession]>;
+}>, {}>;
+export declare class SessionFinished extends SessionFinished_base {
+}
+/** Billing source whose native meter produced a usage or health observation. */
+export declare const Pool: Schema.Literals<readonly ["apiKeys", "claudePlan", "chatgptPlan"]>;
+export type Pool = typeof Pool.Type;
+declare const RateLimitWindow_base: Schema.Class<RateLimitWindow, Schema.Struct<{
+    readonly usedPercent: Schema.Number;
+    readonly windowDurationMinutes: Schema.OptionFromNullOr<Schema.Number>;
+    readonly resetsAt: Schema.OptionFromNullOr<Schema.DateTimeUtcFromString>;
+}>, {}>;
+export declare class RateLimitWindow extends RateLimitWindow_base {
+}
+declare const RateLimitsSnapshot_base: Schema.Class<RateLimitsSnapshot, Schema.Struct<{
+    readonly limitId: Schema.OptionFromNullOr<Schema.String>;
+    readonly limitName: Schema.OptionFromNullOr<Schema.String>;
+    readonly primary: Schema.OptionFromNullOr<typeof RateLimitWindow>;
+    readonly secondary: Schema.OptionFromNullOr<typeof RateLimitWindow>;
+}>, {}>;
+export declare class RateLimitsSnapshot extends RateLimitsSnapshot_base {
+}
+declare const PoolRateLimitsUpdated_base: Schema.Class<PoolRateLimitsUpdated, Schema.TaggedStruct<"PoolRateLimitsUpdated", {
+    readonly session: Schema.Union<readonly [typeof ParentSession, typeof ChildSession]>;
+    readonly pool: Schema.Literals<readonly ["apiKeys", "claudePlan", "chatgptPlan"]>;
+    readonly rateLimits: typeof RateLimitsSnapshot;
+}>, {}>;
+/** Latest native billing-pool rate windows observed during one session. */
+export declare class PoolRateLimitsUpdated extends PoolRateLimitsUpdated_base {
+}
+/** Normalized events emitted by every parent and child SDK backend. */
+export declare const SessionEvent: Schema.Union<readonly [typeof SessionStarted, typeof TextOutput, typeof ToolStarted, typeof ToolFinished, typeof PoolRateLimitsUpdated, typeof SessionFinished]>;
+export type SessionEvent = typeof SessionEvent.Type;
+/** Pure deriver: a per-Agent parent override wins over the instance default. */
+export declare const resolveParentModel: (agent: Agent, instanceDefault: Option.Option<ModelId>) => Option.Option<ModelId>;
+export {};
+//# sourceMappingURL=agent.d.ts.map

package/dist/agent.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"agent.d.ts","sourceRoot":"","sources":["../src/agent.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAKxC,uEAAuE;AACvE,eAAO,MAAM,IAAI,0CAIgB,CAAC;AAClC,MAAM,MAAM,IAAI,GAAG,OAAO,IAAI,CAAC,IAAI,CAAC;AAEpC,uDAAuD;AACvD,eAAO,MAAM,OAAO,wCAEnB,CAAC;AACF,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAC;AAE1C,kEAAkE;AAClE,eAAO,MAAM,OAAO,6CAEnB,CAAC;AACF,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAC;AAE1C,eAAO,MAAM,SAAS,YAAI,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAU,CAAC;AAC5D,eAAO,MAAM,OAAO,qDAA6B,CAAC;AAClD,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAC;AAE1C,eAAO,MAAM,OAAO,YAAI,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAAU,CAAC;AAC5F,eAAO,MAAM,MAAM,uFAA2B,CAAC;AAC/C,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC,IAAI,CAAC;;;;;;AAExC,uEAAuE;AACvE,qBAAa,SAAU,SAAQ,cAI7B;CAAG;;;;;;;AAEL,uEAAuE;AACvE,qBAAa,KAAM,SAAQ,UAKzB;CAAG;AAEL,6EAA6E;AAC7E,eAAO,MAAM,SAAS,uDAA6D,CAAC;AACpF,MAAM,MAAM,SAAS,GAAG,OAAO,SAAS,CAAC,IAAI,CAAC;;;;;;AAE9C,mGAAmG;AACnG,qBAAa,aAAc,SAAQ,kBAOlC;CAAG;;;;;;;AAEJ,4FAA4F;AAC5F,qBAAa,YAAa,SAAQ,iBAQjC;CAAG;AAEJ,eAAO,MAAM,OAAO,oEAA8C,CAAC;AACnE,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAC;;;;AAE1C,qBAAa,cAAe,SAAQ,mBAGnC;CAAG;;;;;AAEJ,qBAAa,UAAW,SAAQ,eAG9B;CAAG;;;;;;;AAEL,qBAAa,WAAY,SAAQ,gBAQhC;CAAG;;;;;;;;AAEJ,qBAAa,YAAa,SAAQ,iBASjC;CAAG;;;;AAEJ,qBAAa,eAAgB,SAAQ,oBAGpC;CAAG;AAEJ,gFAAgF;AAChF,eAAO,MAAM,IAAI,oEAAqE,CAAC;AACvF,MAAM,MAAM,IAAI,GAAG,OAAO,IAAI,CAAC,IAAI,CAAC;;;;;;AAEpC,qBAAa,eAAgB,SAAQ,oBAInC;CAAG;;;;;;;AAEL,qBAAa,kBAAmB,SAAQ,uBAOtC;CAAG;;;;;;AAEL,2EAA2E;AAC3E,qBAAa,qBAAsB,SAAQ,0BAMzC;CAAG;AAEL,uEAAuE;AACvE,eAAO,MAAM,YAAY,kKAOvB,CAAC;AACH,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAC;AAEpD,gFAAgF;AAChF,eAAO,MAAM,kBAAkB,UACtB,KAAK,mBACK,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,KACtC,MAAM,CAAC,MAAM,CAAC,OAAO,CAA6D,CAAC"}

package/dist/agent.js

@@ -0,0 +1,105 @@
+import { Option, Schema } from "effect";
+const nonBlankString = (message) => Schema.String.check(Schema.isPattern(/\S/u, { message }));
+/** Value object: the filename-keyed identity of one rostered Agent. */
+export const Name = Schema.String.check(Schema.isPattern(/^[a-z0-9]+(?:-[a-z0-9]+)*$/u, {
+    message: "Expected a kebab-case Agent name",
+})).pipe(Schema.brand("AgentName"));
+/** Value object: an opaque vendor model identifier. */
+export const ModelId = nonBlankString("Expected a non-blank model id").pipe(Schema.brand("ModelId"));
+/** Value object: standing Markdown instructions for one Agent. */
+export const Persona = nonBlankString("Expected a non-blank Agent persona").pipe(Schema.brand("AgentPersona"));
+export const HARNESSES = ["claude", "codex", "pi"];
+export const Harness = Schema.Literals(HARNESSES);
+export const EFFORTS = ["off", "minimal", "low", "medium", "high", "xhigh", "max"];
+export const Effort = Schema.Literals(EFFORTS);
+/** Value object: the harness child that a run is declared to spawn. */
+export class BrainSpec extends Schema.Class("Agent/BrainSpec")({
+    harness: Harness,
+    model: ModelId,
+    effort: Effort,
+}) {
+}
+/** Entity: one named member of the instance's authored team roster. */
+export class Agent extends Schema.Class("Agent")({
+    name: Name,
+    brain: BrainSpec,
+    parentModel: Schema.OptionFromNullOr(ModelId),
+    persona: Persona,
+}) {
+}
+/** Value object: SDK-local identity of one parent or child agent session. */
+export const SessionId = Schema.NonEmptyString.pipe(Schema.brand("AgentSessionId"));
+/** Parent session descriptor. It cannot name a parent, so recursive nesting is unrepresentable. */
+export class ParentSession extends Schema.TaggedClass("Agent/ParentSession")("ParentSession", {
+    id: SessionId,
+    agent: Name,
+    brain: BrainSpec,
+}) {
+}
+/** Child session descriptor. Exactly one parent id keeps session nesting one level deep. */
+export class ChildSession extends Schema.TaggedClass("Agent/ChildSession")("ChildSession", {
+    id: SessionId,
+    parentId: SessionId,
+    agent: Name,
+    brain: BrainSpec,
+}) {
+}
+export const Session = Schema.Union([ParentSession, ChildSession]);
+export class SessionStarted extends Schema.TaggedClass("Agent/SessionStarted")("SessionStarted", { session: Session }) {
+}
+export class TextOutput extends Schema.TaggedClass("Agent/TextOutput")("TextOutput", {
+    session: Session,
+    text: Schema.NonEmptyString,
+}) {
+}
+export class ToolStarted extends Schema.TaggedClass("Agent/ToolStarted")("ToolStarted", {
+    session: Session,
+    callId: Schema.NonEmptyString,
+    tool: Schema.NonEmptyString,
+    input: Schema.Json,
+}) {
+}
+export class ToolFinished extends Schema.TaggedClass("Agent/ToolFinished")("ToolFinished", {
+    session: Session,
+    callId: Schema.NonEmptyString,
+    tool: Schema.NonEmptyString,
+    output: Schema.Json,
+    isError: Schema.Boolean,
+}) {
+}
+export class SessionFinished extends Schema.TaggedClass("Agent/SessionFinished")("SessionFinished", { session: Session }) {
+}
+/** Billing source whose native meter produced a usage or health observation. */
+export const Pool = Schema.Literals(["apiKeys", "claudePlan", "chatgptPlan"]);
+export class RateLimitWindow extends Schema.Class("Agent/RateLimitWindow")({
+    usedPercent: Schema.Number,
+    windowDurationMinutes: Schema.OptionFromNullOr(Schema.Number),
+    resetsAt: Schema.OptionFromNullOr(Schema.DateTimeUtcFromString),
+}) {
+}
+export class RateLimitsSnapshot extends Schema.Class("Agent/RateLimitsSnapshot")({
+    limitId: Schema.OptionFromNullOr(Schema.String),
+    limitName: Schema.OptionFromNullOr(Schema.String),
+    primary: Schema.OptionFromNullOr(RateLimitWindow),
+    secondary: Schema.OptionFromNullOr(RateLimitWindow),
+}) {
+}
+/** Latest native billing-pool rate windows observed during one session. */
+export class PoolRateLimitsUpdated extends Schema.TaggedClass("Agent/PoolRateLimitsUpdated")("PoolRateLimitsUpdated", {
+    session: Session,
+    pool: Pool,
+    rateLimits: RateLimitsSnapshot,
+}) {
+}
+/** Normalized events emitted by every parent and child SDK backend. */
+export const SessionEvent = Schema.Union([
+    SessionStarted,
+    TextOutput,
+    ToolStarted,
+    ToolFinished,
+    PoolRateLimitsUpdated,
+    SessionFinished,
+]);
+/** Pure deriver: a per-Agent parent override wins over the instance default. */
+export const resolveParentModel = (agent, instanceDefault) => Option.firstSomeOf([agent.parentModel, instanceDefault]);
+//# sourceMappingURL=agent.js.map

package/dist/agent.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"agent.js","sourceRoot":"","sources":["../src/agent.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAExC,MAAM,cAAc,GAAG,CAAC,OAAe,EAAE,EAAE,CACzC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;AAE5D,uEAAuE;AACvE,MAAM,CAAC,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CACrC,MAAM,CAAC,SAAS,CAAC,6BAA6B,EAAE;IAC9C,OAAO,EAAE,kCAAkC;CAC5C,CAAC,CACH,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC;AAGlC,uDAAuD;AACvD,MAAM,CAAC,MAAM,OAAO,GAAG,cAAc,CAAC,+BAA+B,CAAC,CAAC,IAAI,CACzE,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CACxB,CAAC;AAGF,kEAAkE;AAClE,MAAM,CAAC,MAAM,OAAO,GAAG,cAAc,CAAC,oCAAoC,CAAC,CAAC,IAAI,CAC9E,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAC7B,CAAC;AAGF,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAU,CAAC;AAC5D,MAAM,CAAC,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;AAGlD,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAAU,CAAC;AAC5F,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;AAG/C,uEAAuE;AACvE,MAAM,OAAO,SAAU,SAAQ,MAAM,CAAC,KAAK,CAAY,iBAAiB,CAAC,CAAC;IACxE,OAAO,EAAE,OAAO;IAChB,KAAK,EAAE,OAAO;IACd,MAAM,EAAE,MAAM;CACf,CAAC;CAAG;AAEL,uEAAuE;AACvE,MAAM,OAAO,KAAM,SAAQ,MAAM,CAAC,KAAK,CAAQ,OAAO,CAAC,CAAC;IACtD,IAAI,EAAE,IAAI;IACV,KAAK,EAAE,SAAS;IAChB,WAAW,EAAE,MAAM,CAAC,gBAAgB,CAAC,OAAO,CAAC;IAC7C,OAAO,EAAE,OAAO;CACjB,CAAC;CAAG;AAEL,6EAA6E;AAC7E,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAC;AAGpF,mGAAmG;AACnG,MAAM,OAAO,aAAc,SAAQ,MAAM,CAAC,WAAW,CAAgB,qBAAqB,CAAC,CACzF,eAAe,EACf;IACE,EAAE,EAAE,SAAS;IACb,KAAK,EAAE,IAAI;IACX,KAAK,EAAE,SAAS;CACjB,CACF;CAAG;AAEJ,4FAA4F;AAC5F,MAAM,OAAO,YAAa,SAAQ,MAAM,CAAC,WAAW,CAAe,oBAAoB,CAAC,CACtF,cAAc,EACd;IACE,EAAE,EAAE,SAAS;IACb,QAAQ,EAAE,SAAS;IACnB,KAAK,EAAE,IAAI;IACX,KAAK,EAAE,SAAS;CACjB,CACF;CAAG;AAEJ,MAAM,CAAC,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,aAAa,EAAE,YAAY,CAAC,CAAC,CAAC;AAGnE,MAAM,OAAO,cAAe,SAAQ,MAAM,CAAC,WAAW,CAAiB,sBAAsB,CAAC,CAC5F,gBAAgB,EAChB,EAAE,OAAO,EAAE,OAAO,EAAE,CACrB;CAAG;AAEJ,MAAM,OAAO,UAAW,SAAQ,MAAM,CAAC,WAAW,CAAa,kBAAkB,CAAC,CAAC,YAAY,EAAE;IAC/F,OAAO,EAAE,OAAO;IAChB,IAAI,EAAE,MAAM,CAAC,cAAc;CAC5B,CAAC;CAAG;AAEL,MAAM,OAAO,WAAY,SAAQ,MAAM,CAAC,WAAW,CAAc,mBAAmB,CAAC,CACnF,aAAa,EACb;IACE,OAAO,EAAE,OAAO;IAChB,MAAM,EAAE,MAAM,CAAC,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC,cAAc;IAC3B,KAAK,EAAE,MAAM,CAAC,IAAI;CACnB,CACF;CAAG;AAEJ,MAAM,OAAO,YAAa,SAAQ,MAAM,CAAC,WAAW,CAAe,oBAAoB,CAAC,CACtF,cAAc,EACd;IACE,OAAO,EAAE,OAAO;IAChB,MAAM,EAAE,MAAM,CAAC,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC,cAAc;IAC3B,MAAM,EAAE,MAAM,CAAC,IAAI;IACnB,OAAO,EAAE,MAAM,CAAC,OAAO;CACxB,CACF;CAAG;AAEJ,MAAM,OAAO,eAAgB,SAAQ,MAAM,CAAC,WAAW,CAAkB,uBAAuB,CAAC,CAC/F,iBAAiB,EACjB,EAAE,OAAO,EAAE,OAAO,EAAE,CACrB;CAAG;AAEJ,gFAAgF;AAChF,MAAM,CAAC,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,EAAE,YAAY,EAAE,aAAa,CAAU,CAAC,CAAC;AAGvF,MAAM,OAAO,eAAgB,SAAQ,MAAM,CAAC,KAAK,CAAkB,uBAAuB,CAAC,CAAC;IAC1F,WAAW,EAAE,MAAM,CAAC,MAAM;IAC1B,qBAAqB,EAAE,MAAM,CAAC,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC;IAC7D,QAAQ,EAAE,MAAM,CAAC,gBAAgB,CAAC,MAAM,CAAC,qBAAqB,CAAC;CAChE,CAAC;CAAG;AAEL,MAAM,OAAO,kBAAmB,SAAQ,MAAM,CAAC,KAAK,CAClD,0BAA0B,CAC3B,CAAC;IACA,OAAO,EAAE,MAAM,CAAC,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC;IAC/C,SAAS,EAAE,MAAM,CAAC,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC;IACjD,OAAO,EAAE,MAAM,CAAC,gBAAgB,CAAC,eAAe,CAAC;IACjD,SAAS,EAAE,MAAM,CAAC,gBAAgB,CAAC,eAAe,CAAC;CACpD,CAAC;CAAG;AAEL,2EAA2E;AAC3E,MAAM,OAAO,qBAAsB,SAAQ,MAAM,CAAC,WAAW,CAC3D,6BAA6B,CAC9B,CAAC,uBAAuB,EAAE;IACzB,OAAO,EAAE,OAAO;IAChB,IAAI,EAAE,IAAI;IACV,UAAU,EAAE,kBAAkB;CAC/B,CAAC;CAAG;AAEL,uEAAuE;AACvE,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC;IACvC,cAAc;IACd,UAAU;IACV,WAAW;IACX,YAAY;IACZ,qBAAqB;IACrB,eAAe;CAChB,CAAC,CAAC;AAGH,gFAAgF;AAChF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,KAAY,EACZ,eAAuC,EACf,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,KAAK,CAAC,WAAW,EAAE,eAAe,CAAC,CAAC,CAAC"}

package/dist/attempt-channel.d.ts

@@ -0,0 +1,134 @@
+import { Result, Schema, type Effect } from "effect";
+import { Agent } from "./agent.ts";
+import { AttemptId } from "./lifecycle/attempt.ts";
+import { AttemptFailure } from "./lifecycle/attempt-failure.ts";
+import { StepResult } from "./step-result.ts";
+export declare const PROTOCOL_VERSION: 3;
+/**
+ * Value object: monotonically increasing per-Attempt, per-direction message
+ * sequence. Distinct from the engine's transcript sequence, which is the
+ * global append order of the persisted transcript rows.
+ */
+export declare const Sequence: Schema.brand<Schema.Int, "AttemptChannelSequence">;
+export type Sequence = typeof Sequence.Type;
+/**
+ * Run-host-relative: `inbound` frames travel orchestrator → run host (Start,
+ * Steer, Interrupt); `outbound` frames travel run host → orchestrator.
+ */
+export declare const DIRECTIONS: readonly ["inbound", "outbound"];
+export declare const Direction: Schema.Literals<readonly ["inbound", "outbound"]>;
+export type Direction = typeof Direction.Type;
+/** Value object: the rendered task text the run host gives the agent. */
+export declare const Task: Schema.brand<Schema.String, "AttemptTask">;
+export type Task = typeof Task.Type;
+declare const RunSpec_base: Schema.Class<RunSpec, Schema.Struct<{
+    readonly attemptId: Schema.brand<Schema.NonEmptyString, "AttemptId">;
+    readonly repository: Schema.brand<Schema.String, "RepoName">;
+    readonly revision: Schema.brand<Schema.String, "RepositoryRevision">;
+    readonly baseCommit: Schema.brand<Schema.String, "CommitSha">;
+    readonly payload: Schema.Codec<Schema.Json, Schema.Json, never, never>;
+    readonly task: Schema.brand<Schema.String, "AttemptTask">;
+    readonly agent: typeof Agent;
+    readonly parentModel: Schema.OptionFromNullOr<Schema.brand<Schema.String, "ModelId">>;
+}>, {}>;
+/** Secret-free launch input. Worker credentials are deliberately absent. */
+export declare class RunSpec extends RunSpec_base {
+}
+declare const Started_base: Schema.Class<Started, Schema.TaggedStruct<"Started", {
+    readonly parentModel: Schema.brand<Schema.String, "ModelId">;
+}>, {}>;
+/**
+ * The parent model the SDK actually selected at launch — the one effective
+ * value the run host knows that the roster may not declare. Child sessions
+ * spawn later; their effective brains ride the transcript's `SessionStarted`
+ * events (declare by roster, observe by record).
+ */
+export declare class Started extends Started_base {
+}
+declare const SessionEvent_base: Schema.Class<SessionEvent, Schema.TaggedStruct<"SessionEvent", {
+    readonly event: Schema.Union<readonly [typeof import("./agent.ts").SessionStarted, typeof import("./agent.ts").TextOutput, typeof import("./agent.ts").ToolStarted, typeof import("./agent.ts").ToolFinished, typeof import("./agent.ts").PoolRateLimitsUpdated, typeof import("./agent.ts").SessionFinished]>;
+}>, {}>;
+/** One normalized parent or child session event, persisted in the Attempt transcript. */
+export declare class SessionEvent extends SessionEvent_base {
+}
+declare const Final_base: Schema.Class<Final, Schema.TaggedStruct<"Final", {
+    readonly result: typeof StepResult;
+}>, {}>;
+export declare class Final extends Final_base {
+}
+declare const Failed_base: Schema.Class<Failed, Schema.TaggedStruct<"Failed", {
+    readonly failure: Schema.Union<readonly [typeof import("./lifecycle/attempt-failure.ts").InfraFailure, typeof import("./lifecycle/attempt-failure.ts").AgentFailure, typeof import("./lifecycle/attempt-failure.ts").RunawayFailure]>;
+}>, {}>;
+export declare class Failed extends Failed_base {
+}
+declare const Interrupted_base: Schema.Class<Interrupted, Schema.TaggedStruct<"Interrupted", {}>, {}>;
+/** Terminal acknowledgement that the run host stopped on an Interrupt frame. */
+export declare class Interrupted extends Interrupted_base {
+}
+export declare const OutboundPayload: Schema.Union<readonly [typeof Started, typeof SessionEvent, typeof Final, typeof Failed, typeof Interrupted]>;
+export type OutboundPayload = typeof OutboundPayload.Type;
+declare const Steer_base: Schema.Class<Steer, Schema.TaggedStruct<"Steer", {
+    readonly message: Schema.NonEmptyString;
+}>, {}>;
+export declare class Steer extends Steer_base {
+}
+declare const Interrupt_base: Schema.Class<Interrupt, Schema.TaggedStruct<"Interrupt", {}>, {}>;
+export declare class Interrupt extends Interrupt_base {
+}
+export declare const InboundPayload: Schema.Union<readonly [typeof Steer, typeof Interrupt]>;
+export type InboundPayload = typeof InboundPayload.Type;
+declare const OutboundEnvelope_base: Schema.Class<OutboundEnvelope, Schema.TaggedStruct<"OutboundEnvelope", {
+    readonly version: Schema.Literal<3>;
+    readonly attemptId: Schema.brand<Schema.NonEmptyString, "AttemptId">;
+    readonly sequence: Schema.brand<Schema.Int, "AttemptChannelSequence">;
+    readonly sentAt: Schema.DateTimeUtcFromString;
+    readonly payload: Schema.Union<readonly [typeof Started, typeof SessionEvent, typeof Final, typeof Failed, typeof Interrupted]>;
+}>, {}>;
+export declare class OutboundEnvelope extends OutboundEnvelope_base {
+}
+declare const InboundEnvelope_base: Schema.Class<InboundEnvelope, Schema.TaggedStruct<"InboundEnvelope", {
+    readonly version: Schema.Literal<3>;
+    readonly attemptId: Schema.brand<Schema.NonEmptyString, "AttemptId">;
+    readonly sequence: Schema.brand<Schema.Int, "AttemptChannelSequence">;
+    readonly sentAt: Schema.DateTimeUtcFromString;
+    readonly payload: Schema.Union<readonly [typeof Steer, typeof Interrupt]>;
+}>, {}>;
+export declare class InboundEnvelope extends InboundEnvelope_base {
+}
+export declare const Envelope: Schema.Union<readonly [typeof OutboundEnvelope, typeof InboundEnvelope]>;
+export type Envelope = typeof Envelope.Type;
+declare const Start_base: Schema.Class<Start, Schema.TaggedStruct<"Start", {
+    readonly version: Schema.Literal<3>;
+    readonly spec: typeof RunSpec;
+}>, {}>;
+/** First framed stdin message; later frames are inbound envelopes. */
+export declare class Start extends Start_base {
+}
+export declare const InputFrame: Schema.Union<readonly [typeof Start, typeof InboundEnvelope]>;
+export type InputFrame = typeof InputFrame.Type;
+export declare const EnvelopeFromJson: Schema.fromJsonString<Schema.Union<readonly [typeof OutboundEnvelope, typeof InboundEnvelope]>>;
+export declare const InputFrameFromJson: Schema.fromJsonString<Schema.Union<readonly [typeof Start, typeof InboundEnvelope]>>;
+export declare const OutboundEnvelopeFromJson: Schema.fromJsonString<typeof OutboundEnvelope>;
+/** The transcript append seam a channel consumer persists envelopes through. */
+export interface Sink {
+    readonly append: (direction: Direction, envelope: Envelope) => Effect.Effect<void, AttemptFailure>;
+}
+/** How far one outbound channel has legally progressed. */
+export interface Progress {
+    readonly state: "AwaitingStarted" | "Running" | "Terminal";
+    readonly nextSequence: number;
+}
+export declare const initialProgress: Progress;
+/** One protocol violation, described for the infra-failure that reports it. */
+export interface Violation {
+    readonly message: string;
+    readonly detail: string;
+}
+/**
+ * Pure outbound protocol reducer: admits one envelope
+ * against the progress so far, or names the violation. Owning it here keeps
+ * every transport adapter folding the same state machine.
+ */
+export declare const admit: (progress: Progress, attemptId: AttemptId, envelope: OutboundEnvelope) => Result.Result<Progress, Violation>;
+export {};
+//# sourceMappingURL=attempt-channel.d.ts.map

package/dist/attempt-channel.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"attempt-channel.d.ts","sourceRoot":"","sources":["../src/attempt-channel.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,MAAM,EAAE,MAAM,QAAQ,CAAC;AACrD,OAAO,EAAqC,KAAK,EAAW,MAAM,YAAY,CAAC;AAC/E,OAAO,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACnD,OAAO,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AAEhE,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C,eAAO,MAAM,gBAAgB,EAAG,CAAU,CAAC;AAE3C;;;;GAIG;AACH,eAAO,MAAM,QAAQ,oDAEpB,CAAC;AACF,MAAM,MAAM,QAAQ,GAAG,OAAO,QAAQ,CAAC,IAAI,CAAC;AAE5C;;;GAGG;AACH,eAAO,MAAM,UAAU,YAAI,SAAS,EAAE,UAAU,CAAU,CAAC;AAC3D,eAAO,MAAM,SAAS,mDAA8B,CAAC;AACrD,MAAM,MAAM,SAAS,GAAG,OAAO,SAAS,CAAC,IAAI,CAAC;AAE9C,yEAAyE;AACzE,eAAO,MAAM,IAAI,4CAEkB,CAAC;AACpC,MAAM,MAAM,IAAI,GAAG,OAAO,IAAI,CAAC,IAAI,CAAC;;;;;;;;;;;AAEpC,4EAA4E;AAC5E,qBAAa,OAAQ,SAAQ,YAS3B;CAAG;;;;AAEL;;;;;GAKG;AACH,qBAAa,OAAQ,SAAQ,YAE3B;CAAG;;;;AAEL,yFAAyF;AACzF,qBAAa,YAAa,SAAQ,iBAGjC;CAAG;;;;AAEJ,qBAAa,KAAM,SAAQ,UAEzB;CAAG;;;;AAEL,qBAAa,MAAO,SAAQ,WAE1B;CAAG;;AAEL,gFAAgF;AAChF,qBAAa,WAAY,SAAQ,gBAGhC;CAAG;AAEJ,eAAO,MAAM,eAAe,+GAAoE,CAAC;AACjG,MAAM,MAAM,eAAe,GAAG,OAAO,eAAe,CAAC,IAAI,CAAC;;;;AAE1D,qBAAa,KAAM,SAAQ,UAEzB;CAAG;;AAEL,qBAAa,SAAU,SAAQ,cAG9B;CAAG;AAEJ,eAAO,MAAM,cAAc,yDAAmC,CAAC;AAC/D,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAC,IAAI,CAAC;;;;;;;;AASxD,qBAAa,gBAAiB,SAAQ,qBAKpC;CAAG;;;;;;;;AAEL,qBAAa,eAAgB,SAAQ,oBAKnC;CAAG;AAEL,eAAO,MAAM,QAAQ,0EAAoD,CAAC;AAC1E,MAAM,MAAM,QAAQ,GAAG,OAAO,QAAQ,CAAC,IAAI,CAAC;;;;;AAE5C,sEAAsE;AACtE,qBAAa,KAAM,SAAQ,UAGzB;CAAG;AAEL,eAAO,MAAM,UAAU,+DAAyC,CAAC;AACjE,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAC,IAAI,CAAC;AAEhD,eAAO,MAAM,gBAAgB,iGAAkC,CAAC;AAChE,eAAO,MAAM,kBAAkB,sFAAoC,CAAC;AACpE,eAAO,MAAM,wBAAwB,gDAA0C,CAAC;AAEhF,gFAAgF;AAChF,MAAM,WAAW,IAAI;IACnB,QAAQ,CAAC,MAAM,EAAE,CACf,SAAS,EAAE,SAAS,EACpB,QAAQ,EAAE,QAAQ,KACf,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;CAC1C;AAED,2DAA2D;AAC3D,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,KAAK,EAAE,iBAAiB,GAAG,SAAS,GAAG,UAAU,CAAC;IAC3D,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CAC/B;AAED,eAAO,MAAM,eAAe,EAAE,QAAwD,CAAC;AAEvF,+EAA+E;AAC/E,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAKD;;;;GAIG;AACH,eAAO,MAAM,KAAK,aACN,QAAQ,aACP,SAAS,YACV,gBAAgB,KACzB,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,SAAS,CAuCnC,CAAC"}

package/dist/attempt-channel.js

@@ -0,0 +1,138 @@
+import { Result, Schema } from "effect";
+import { SessionEvent as AgentSessionEvent, Agent, ModelId } from "./agent.js";
+import { AttemptId } from "./lifecycle/attempt.js";
+import { AttemptFailure } from "./lifecycle/attempt-failure.js";
+import { CommitSha, Name as RepositoryName, Revision } from "./repository.js";
+import { StepResult } from "./step-result.js";
+export const PROTOCOL_VERSION = 3;
+/**
+ * Value object: monotonically increasing per-Attempt, per-direction message
+ * sequence. Distinct from the engine's transcript sequence, which is the
+ * global append order of the persisted transcript rows.
+ */
+export const Sequence = Schema.Int.check(Schema.isGreaterThanOrEqualTo(1)).pipe(Schema.brand("AttemptChannelSequence"));
+/**
+ * Run-host-relative: `inbound` frames travel orchestrator → run host (Start,
+ * Steer, Interrupt); `outbound` frames travel run host → orchestrator.
+ */
+export const DIRECTIONS = ["inbound", "outbound"];
+export const Direction = Schema.Literals(DIRECTIONS);
+/** Value object: the rendered task text the run host gives the agent. */
+export const Task = Schema.String.check(Schema.isPattern(/\S/u, { message: "Expected non-blank task text" })).pipe(Schema.brand("AttemptTask"));
+/** Secret-free launch input. Worker credentials are deliberately absent. */
+export class RunSpec extends Schema.Class("AttemptChannel/RunSpec")({
+    attemptId: AttemptId,
+    repository: RepositoryName,
+    revision: Revision,
+    baseCommit: CommitSha,
+    payload: Schema.Json,
+    task: Task,
+    agent: Agent,
+    parentModel: Schema.OptionFromNullOr(ModelId),
+}) {
+}
+/**
+ * The parent model the SDK actually selected at launch — the one effective
+ * value the run host knows that the roster may not declare. Child sessions
+ * spawn later; their effective brains ride the transcript's `SessionStarted`
+ * events (declare by roster, observe by record).
+ */
+export class Started extends Schema.TaggedClass("AttemptChannel/Started")("Started", {
+    parentModel: ModelId,
+}) {
+}
+/** One normalized parent or child session event, persisted in the Attempt transcript. */
+export class SessionEvent extends Schema.TaggedClass("AttemptChannel/SessionEvent")("SessionEvent", { event: AgentSessionEvent }) {
+}
+export class Final extends Schema.TaggedClass("AttemptChannel/Final")("Final", {
+    result: StepResult,
+}) {
+}
+export class Failed extends Schema.TaggedClass("AttemptChannel/Failed")("Failed", {
+    failure: AttemptFailure,
+}) {
+}
+/** Terminal acknowledgement that the run host stopped on an Interrupt frame. */
+export class Interrupted extends Schema.TaggedClass("AttemptChannel/Interrupted")("Interrupted", {}) {
+}
+export const OutboundPayload = Schema.Union([Started, SessionEvent, Final, Failed, Interrupted]);
+export class Steer extends Schema.TaggedClass("AttemptChannel/Steer")("Steer", {
+    message: Schema.NonEmptyString,
+}) {
+}
+export class Interrupt extends Schema.TaggedClass("AttemptChannel/Interrupt")("Interrupt", {}) {
+}
+export const InboundPayload = Schema.Union([Steer, Interrupt]);
+const EnvelopeFields = {
+    version: Schema.Literal(PROTOCOL_VERSION),
+    attemptId: AttemptId,
+    sequence: Sequence,
+    sentAt: Schema.DateTimeUtcFromString,
+};
+export class OutboundEnvelope extends Schema.TaggedClass("AttemptChannel/OutboundEnvelope")("OutboundEnvelope", {
+    ...EnvelopeFields,
+    payload: OutboundPayload,
+}) {
+}
+export class InboundEnvelope extends Schema.TaggedClass("AttemptChannel/InboundEnvelope")("InboundEnvelope", {
+    ...EnvelopeFields,
+    payload: InboundPayload,
+}) {
+}
+export const Envelope = Schema.Union([OutboundEnvelope, InboundEnvelope]);
+/** First framed stdin message; later frames are inbound envelopes. */
+export class Start extends Schema.TaggedClass("AttemptChannel/Start")("Start", {
+    version: Schema.Literal(PROTOCOL_VERSION),
+    spec: RunSpec,
+}) {
+}
+export const InputFrame = Schema.Union([Start, InboundEnvelope]);
+export const EnvelopeFromJson = Schema.fromJsonString(Envelope);
+export const InputFrameFromJson = Schema.fromJsonString(InputFrame);
+export const OutboundEnvelopeFromJson = Schema.fromJsonString(OutboundEnvelope);
+export const initialProgress = { state: "AwaitingStarted", nextSequence: 1 };
+const isTerminal = (payload) => payload._tag === "Final" || payload._tag === "Failed" || payload._tag === "Interrupted";
+/**
+ * Pure outbound protocol reducer: admits one envelope
+ * against the progress so far, or names the violation. Owning it here keeps
+ * every transport adapter folding the same state machine.
+ */
+export const admit = (progress, attemptId, envelope) => {
+    if (envelope.attemptId !== attemptId) {
+        return Result.fail({
+            message: "The run host emitted a frame for another Attempt",
+            detail: String(envelope.attemptId),
+        });
+    }
+    if (envelope.sequence !== progress.nextSequence) {
+        return Result.fail({
+            message: "The run host emitted a non-contiguous sequence",
+            detail: `expected ${progress.nextSequence}, received ${envelope.sequence}`,
+        });
+    }
+    if (progress.state === "Terminal") {
+        return Result.fail({
+            message: "The run host emitted an envelope after its terminal envelope",
+            detail: envelope.payload._tag,
+        });
+    }
+    if (progress.state === "AwaitingStarted" &&
+        envelope.payload._tag !== "Started" &&
+        envelope.payload._tag !== "Failed") {
+        return Result.fail({
+            message: "The run host did not begin with a Started or Failed envelope",
+            detail: envelope.payload._tag,
+        });
+    }
+    if (progress.state === "Running" && envelope.payload._tag === "Started") {
+        return Result.fail({
+            message: "The run host emitted more than one Started envelope",
+            detail: "duplicate Started envelope",
+        });
+    }
+    return Result.succeed({
+        state: isTerminal(envelope.payload) ? "Terminal" : "Running",
+        nextSequence: progress.nextSequence + 1,
+    });
+};
+//# sourceMappingURL=attempt-channel.js.map

package/dist/attempt-channel.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"attempt-channel.js","sourceRoot":"","sources":["../src/attempt-channel.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAe,MAAM,QAAQ,CAAC;AACrD,OAAO,EAAE,YAAY,IAAI,iBAAiB,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAC/E,OAAO,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACnD,OAAO,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AAChE,OAAO,EAAE,SAAS,EAAE,IAAI,IAAI,cAAc,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAC9E,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAU,CAAC;AAE3C;;;;GAIG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAC7E,MAAM,CAAC,KAAK,CAAC,wBAAwB,CAAC,CACvC,CAAC;AAGF;;;GAGG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,SAAS,EAAE,UAAU,CAAU,CAAC;AAC3D,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;AAGrD,yEAAyE;AACzE,MAAM,CAAC,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CACrC,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,EAAE,OAAO,EAAE,8BAA8B,EAAE,CAAC,CACrE,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC;AAGpC,4EAA4E;AAC5E,MAAM,OAAO,OAAQ,SAAQ,MAAM,CAAC,KAAK,CAAU,wBAAwB,CAAC,CAAC;IAC3E,SAAS,EAAE,SAAS;IACpB,UAAU,EAAE,cAAc;IAC1B,QAAQ,EAAE,QAAQ;IAClB,UAAU,EAAE,SAAS;IACrB,OAAO,EAAE,MAAM,CAAC,IAAI;IACpB,IAAI,EAAE,IAAI;IACV,KAAK,EAAE,KAAK;IACZ,WAAW,EAAE,MAAM,CAAC,gBAAgB,CAAC,OAAO,CAAC;CAC9C,CAAC;CAAG;AAEL;;;;;GAKG;AACH,MAAM,OAAO,OAAQ,SAAQ,MAAM,CAAC,WAAW,CAAU,wBAAwB,CAAC,CAAC,SAAS,EAAE;IAC5F,WAAW,EAAE,OAAO;CACrB,CAAC;CAAG;AAEL,yFAAyF;AACzF,MAAM,OAAO,YAAa,SAAQ,MAAM,CAAC,WAAW,CAAe,6BAA6B,CAAC,CAC/F,cAAc,EACd,EAAE,KAAK,EAAE,iBAAiB,EAAE,CAC7B;CAAG;AAEJ,MAAM,OAAO,KAAM,SAAQ,MAAM,CAAC,WAAW,CAAQ,sBAAsB,CAAC,CAAC,OAAO,EAAE;IACpF,MAAM,EAAE,UAAU;CACnB,CAAC;CAAG;AAEL,MAAM,OAAO,MAAO,SAAQ,MAAM,CAAC,WAAW,CAAS,uBAAuB,CAAC,CAAC,QAAQ,EAAE;IACxF,OAAO,EAAE,cAAc;CACxB,CAAC;CAAG;AAEL,gFAAgF;AAChF,MAAM,OAAO,WAAY,SAAQ,MAAM,CAAC,WAAW,CAAc,4BAA4B,CAAC,CAC5F,aAAa,EACb,EAAE,CACH;CAAG;AAEJ,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC;AAGjG,MAAM,OAAO,KAAM,SAAQ,MAAM,CAAC,WAAW,CAAQ,sBAAsB,CAAC,CAAC,OAAO,EAAE;IACpF,OAAO,EAAE,MAAM,CAAC,cAAc;CAC/B,CAAC;CAAG;AAEL,MAAM,OAAO,SAAU,SAAQ,MAAM,CAAC,WAAW,CAAY,0BAA0B,CAAC,CACtF,WAAW,EACX,EAAE,CACH;CAAG;AAEJ,MAAM,CAAC,MAAM,cAAc,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;AAG/D,MAAM,cAAc,GAAG;IACrB,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC;IACzC,SAAS,EAAE,SAAS;IACpB,QAAQ,EAAE,QAAQ;IAClB,MAAM,EAAE,MAAM,CAAC,qBAAqB;CAC5B,CAAC;AAEX,MAAM,OAAO,gBAAiB,SAAQ,MAAM,CAAC,WAAW,CACtD,iCAAiC,CAClC,CAAC,kBAAkB,EAAE;IACpB,GAAG,cAAc;IACjB,OAAO,EAAE,eAAe;CACzB,CAAC;CAAG;AAEL,MAAM,OAAO,eAAgB,SAAQ,MAAM,CAAC,WAAW,CACrD,gCAAgC,CACjC,CAAC,iBAAiB,EAAE;IACnB,GAAG,cAAc;IACjB,OAAO,EAAE,cAAc;CACxB,CAAC;CAAG;AAEL,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,gBAAgB,EAAE,eAAe,CAAC,CAAC,CAAC;AAG1E,sEAAsE;AACtE,MAAM,OAAO,KAAM,SAAQ,MAAM,CAAC,WAAW,CAAQ,sBAAsB,CAAC,CAAC,OAAO,EAAE;IACpF,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC;IACzC,IAAI,EAAE,OAAO;CACd,CAAC;CAAG;AAEL,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC,CAAC;AAGjE,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAM,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;AAChE,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC;AACpE,MAAM,CAAC,MAAM,wBAAwB,GAAG,MAAM,CAAC,cAAc,CAAC,gBAAgB,CAAC,CAAC;AAgBhF,MAAM,CAAC,MAAM,eAAe,GAAa,EAAE,KAAK,EAAE,iBAAiB,EAAE,YAAY,EAAE,CAAC,EAAE,CAAC;AAQvF,MAAM,UAAU,GAAG,CAAC,OAAwB,EAAW,EAAE,CACvD,OAAO,CAAC,IAAI,KAAK,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,IAAI,KAAK,aAAa,CAAC;AAE1F;;;;GAIG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CACnB,QAAkB,EAClB,SAAoB,EACpB,QAA0B,EACU,EAAE;IACtC,IAAI,QAAQ,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QACrC,OAAO,MAAM,CAAC,IAAI,CAAC;YACjB,OAAO,EAAE,kDAAkD;YAC3D,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC;SACnC,CAAC,CAAC;IACL,CAAC;IACD,IAAI,QAAQ,CAAC,QAAQ,KAAK,QAAQ,CAAC,YAAY,EAAE,CAAC;QAChD,OAAO,MAAM,CAAC,IAAI,CAAC;YACjB,OAAO,EAAE,gDAAgD;YACzD,MAAM,EAAE,YAAY,QAAQ,CAAC,YAAY,cAAc,QAAQ,CAAC,QAAQ,EAAE;SAC3E,CAAC,CAAC;IACL,CAAC;IACD,IAAI,QAAQ,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;QAClC,OAAO,MAAM,CAAC,IAAI,CAAC;YACjB,OAAO,EAAE,8DAA8D;YACvE,MAAM,EAAE,QAAQ,CAAC,OAAO,CAAC,IAAI;SAC9B,CAAC,CAAC;IACL,CAAC;IACD,IACE,QAAQ,CAAC,KAAK,KAAK,iBAAiB;QACpC,QAAQ,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS;QACnC,QAAQ,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,EAClC,CAAC;QACD,OAAO,MAAM,CAAC,IAAI,CAAC;YACjB,OAAO,EAAE,8DAA8D;YACvE,MAAM,EAAE,QAAQ,CAAC,OAAO,CAAC,IAAI;SAC9B,CAAC,CAAC;IACL,CAAC;IACD,IAAI,QAAQ,CAAC,KAAK,KAAK,SAAS,IAAI,QAAQ,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACxE,OAAO,MAAM,CAAC,IAAI,CAAC;YACjB,OAAO,EAAE,qDAAqD;YAC9D,MAAM,EAAE,4BAA4B;SACrC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC,OAAO,CAAC;QACpB,KAAK,EAAE,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS;QAC5D,YAAY,EAAE,QAAQ,CAAC,YAAY,GAAG,CAAC;KACxC,CAAC,CAAC;AACL,CAAC,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,24 @@
+/**
+ * @usine/core — domain model for usine (ADR 0002, ADR 0013).
+ *
+ * `lifecycle/` is the run-lifecycle cluster: how one piece of work moves
+ * through the engine — a deduplicated Event opens a Run, the Run's named Step
+ * is tried as Attempts, and the state machine closes it. Entities are the
+ * ledger rows (Event, Run, Step, Attempt); everything else is value objects,
+ * typed errors, and pure derivers — each module docblock names its kind.
+ */
+export * as Instance from "./instance.ts";
+export * as Agent from "./agent.ts";
+export * as Repository from "./repository.ts";
+export * as AttemptChannel from "./attempt-channel.ts";
+export * as StepResult from "./step-result.ts";
+export * as Worker from "./worker.ts";
+export * as Attempt from "./lifecycle/attempt.ts";
+export * as AttemptFailure from "./lifecycle/attempt-failure.ts";
+export * as Event from "./lifecycle/event.ts";
+export * as Item from "./lifecycle/item.ts";
+export * as Loop from "./lifecycle/loop.ts";
+export * as Run from "./lifecycle/run.ts";
+export * as RunState from "./lifecycle/run-state.ts";
+export * as Step from "./lifecycle/step.ts";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAC;AAC1C,OAAO,KAAK,KAAK,MAAM,YAAY,CAAC;AACpC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAC;AAC9C,OAAO,KAAK,cAAc,MAAM,sBAAsB,CAAC;AACvD,OAAO,KAAK,UAAU,MAAM,kBAAkB,CAAC;AAC/C,OAAO,KAAK,MAAM,MAAM,aAAa,CAAC;AACtC,OAAO,KAAK,OAAO,MAAM,wBAAwB,CAAC;AAClD,OAAO,KAAK,cAAc,MAAM,gCAAgC,CAAC;AACjE,OAAO,KAAK,KAAK,MAAM,sBAAsB,CAAC;AAC9C,OAAO,KAAK,IAAI,MAAM,qBAAqB,CAAC;AAC5C,OAAO,KAAK,IAAI,MAAM,qBAAqB,CAAC;AAC5C,OAAO,KAAK,GAAG,MAAM,oBAAoB,CAAC;AAC1C,OAAO,KAAK,QAAQ,MAAM,0BAA0B,CAAC;AACrD,OAAO,KAAK,IAAI,MAAM,qBAAqB,CAAC"}

package/dist/index.js

@@ -0,0 +1,24 @@
+/**
+ * @usine/core — domain model for usine (ADR 0002, ADR 0013).
+ *
+ * `lifecycle/` is the run-lifecycle cluster: how one piece of work moves
+ * through the engine — a deduplicated Event opens a Run, the Run's named Step
+ * is tried as Attempts, and the state machine closes it. Entities are the
+ * ledger rows (Event, Run, Step, Attempt); everything else is value objects,
+ * typed errors, and pure derivers — each module docblock names its kind.
+ */
+export * as Instance from "./instance.js";
+export * as Agent from "./agent.js";
+export * as Repository from "./repository.js";
+export * as AttemptChannel from "./attempt-channel.js";
+export * as StepResult from "./step-result.js";
+export * as Worker from "./worker.js";
+export * as Attempt from "./lifecycle/attempt.js";
+export * as AttemptFailure from "./lifecycle/attempt-failure.js";
+export * as Event from "./lifecycle/event.js";
+export * as Item from "./lifecycle/item.js";
+export * as Loop from "./lifecycle/loop.js";
+export * as Run from "./lifecycle/run.js";
+export * as RunState from "./lifecycle/run-state.js";
+export * as Step from "./lifecycle/step.js";
+//# sourceMappingURL=index.js.map