@usine/core 0.0.1 → 0.1.0

package/README.md

@@ -1,8 +1,8 @@
 # @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.
+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 — 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. The attempt-channel envelope schema arrives later as a sibling cluster.
+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
 
@@ -10,12 +10,20 @@ Everything lives in the `lifecycle` cluster — how one piece of work moves thro
 | --- | --- |
 | `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`, `LoopName`, `StepName`, `AttemptNumber` | Value objects — branded primitives carrying a domain constraint |
-| `RunState.*`, `CancelReason`, `Attempt.Outcome` | State value objects — discriminated unions, each state carrying exactly its own data |
+| `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

@@ -6,12 +6,17 @@
  * 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.
- * The attempt-channel envelope schema (ADR 0012) will arrive as a sibling
- * cluster.
  */
+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";

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,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,GAAG,MAAM,oBAAoB,CAAC;AAC1C,OAAO,KAAK,QAAQ,MAAM,0BAA0B,CAAC;AACrD,OAAO,KAAK,IAAI,MAAM,qBAAqB,CAAC"}
+{"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

@@ -6,12 +6,17 @@
  * 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.
- * The attempt-channel envelope schema (ADR 0012) will arrive as a sibling
- * cluster.
  */
+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";

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,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,GAAG,MAAM,oBAAoB,CAAC;AAC1C,OAAO,KAAK,QAAQ,MAAM,0BAA0B,CAAC;AACrD,OAAO,KAAK,IAAI,MAAM,qBAAqB,CAAC"}
+{"version":3,"file":"index.js","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/instance.d.ts

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

package/dist/instance.d.ts.map

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

package/dist/instance.js

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

package/dist/instance.js.map

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

package/dist/lifecycle/attempt.d.ts

@@ -1,5 +1,6 @@
 import { Schema } from "effect";
 import { AttemptFailure } from "./attempt-failure.ts";
+import { BrainSpec } from "../agent.ts";
 /**
  * Value object (branded id): identity of one Attempt.
  */
@@ -22,15 +23,22 @@ declare const Failed_base: Schema.Class<Failed, Schema.TaggedStruct<"Failed", {
 /** Outcome — value object: the attempt failed, with the typed failure that closed it. */
 export declare class Failed extends Failed_base {
 }
-export declare const Outcome: Schema.Union<readonly [typeof Succeeded, typeof Failed]>;
+declare const Canceled_base: Schema.Class<Canceled, Schema.TaggedStruct<"Canceled", {}>, {}>;
+/** Outcome — value object: the operator canceled the Run during this Attempt. */
+export declare class Canceled extends Canceled_base {
+}
+export declare const Outcome: Schema.Union<readonly [typeof Succeeded, typeof Failed, typeof Canceled]>;
 export type Outcome = typeof Outcome.Type;
 declare const Attempt_base: Schema.Class<Attempt, Schema.Struct<{
     readonly id: Schema.brand<Schema.NonEmptyString, "AttemptId">;
     readonly runId: Schema.brand<Schema.NonEmptyString, "RunId">;
     readonly stepName: Schema.brand<Schema.NonEmptyString, "StepName">;
+    readonly worker: Schema.brand<Schema.String, "WorkerName">;
     readonly number: Schema.brand<Schema.Int, "AttemptNumber">;
+    readonly brain: typeof BrainSpec;
+    readonly parentModel: Schema.OptionFromNullOr<Schema.brand<Schema.String, "ModelId">>;
     readonly startedAt: Schema.DateTimeUtc;
-    readonly outcome: Schema.Option<Schema.Union<readonly [typeof Succeeded, typeof Failed]>>;
+    readonly outcome: Schema.Option<Schema.Union<readonly [typeof Succeeded, typeof Failed, typeof Canceled]>>;
 }>, {}>;
 /**
  * Entity — ledger row: one try of a step on a worker. `outcome` is none while

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

@@ -1 +1 @@
-{"version":3,"file":"attempt.d.ts","sourceRoot":"","sources":["../../src/lifecycle/attempt.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,EAAE,cAAc,EAAmB,MAAM,sBAAsB,CAAC;AAIvE;;GAEG;AACH,eAAO,MAAM,SAAS,kDAAwD,CAAC;AAC/E,MAAM,MAAM,SAAS,GAAG,OAAO,SAAS,CAAC,IAAI,CAAC;AAE9C;;;;GAIG;AACH,eAAO,MAAM,aAAa,2CAEzB,CAAC;AACF,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC,IAAI,CAAC;;AAEtD,2FAA2F;AAC3F,qBAAa,SAAU,SAAQ,cAG9B;CAAG;;;;AAEJ,yFAAyF;AACzF,qBAAa,MAAO,SAAQ,WAE1B;CAAG;AAEL,eAAO,MAAM,OAAO,0DAAoC,CAAC;AACzD,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAC;;;;;;;;;AAE1C;;;GAGG;AACH,qBAAa,OAAQ,SAAQ,YAO3B;CAAG;AAEL;;;;;GAKG;AACH,eAAO,MAAM,eAAe,YAAa;IACvC,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;IAC/B,QAAQ,CAAC,eAAe,EAAE,aAAa,CAAC;CACzC,KAAG,OAAuF,CAAC"}
+{"version":3,"file":"attempt.d.ts","sourceRoot":"","sources":["../../src/lifecycle/attempt.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,EAAE,cAAc,EAAmB,MAAM,sBAAsB,CAAC;AAGvE,OAAO,EAAE,SAAS,EAAW,MAAM,aAAa,CAAC;AAGjD;;GAEG;AACH,eAAO,MAAM,SAAS,kDAAwD,CAAC;AAC/E,MAAM,MAAM,SAAS,GAAG,OAAO,SAAS,CAAC,IAAI,CAAC;AAE9C;;;;GAIG;AACH,eAAO,MAAM,aAAa,2CAEzB,CAAC;AACF,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC,IAAI,CAAC;;AAEtD,2FAA2F;AAC3F,qBAAa,SAAU,SAAQ,cAG9B;CAAG;;;;AAEJ,yFAAyF;AACzF,qBAAa,MAAO,SAAQ,WAE1B;CAAG;;AAEL,iFAAiF;AACjF,qBAAa,QAAS,SAAQ,aAG7B;CAAG;AAEJ,eAAO,MAAM,OAAO,2EAA8C,CAAC;AACnE,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAC;;;;;;;;;;;;AAE1C;;;GAGG;AACH,qBAAa,OAAQ,SAAQ,YAU3B;CAAG;AAEL;;;;;GAKG;AACH,eAAO,MAAM,eAAe,YAAa;IACvC,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;IAC/B,QAAQ,CAAC,eAAe,EAAE,aAAa,CAAC;CACzC,KAAG,OAAuF,CAAC"}

package/dist/lifecycle/attempt.js

@@ -2,6 +2,8 @@ import { Schema } from "effect";
 import { AttemptFailure, isAutoRetryable } from "./attempt-failure.js";
 import { RunId } from "./run.js";
 import { StepName } from "./step.js";
+import { BrainSpec, ModelId } from "../agent.js";
+import { Name as WorkerName } from "../worker.js";
 /**
  * Value object (branded id): identity of one Attempt.
  */
@@ -20,7 +22,10 @@ export class Failed extends Schema.TaggedClass("AttemptOutcome/Failed")("Failed"
     failure: AttemptFailure,
 }) {
 }
-export const Outcome = Schema.Union([Succeeded, Failed]);
+/** Outcome — value object: the operator canceled the Run during this Attempt. */
+export class Canceled extends Schema.TaggedClass("AttemptOutcome/Canceled")("Canceled", {}) {
+}
+export const Outcome = Schema.Union([Succeeded, Failed, Canceled]);
 /**
  * Entity — ledger row: one try of a step on a worker. `outcome` is none while
  * the attempt is in flight.
@@ -29,7 +34,10 @@ export class Attempt extends Schema.Class("Attempt")({
     id: AttemptId,
     runId: RunId,
     stepName: StepName,
+    worker: WorkerName,
     number: AttemptNumber,
+    brain: BrainSpec,
+    parentModel: Schema.OptionFromNullOr(ModelId),
     startedAt: Schema.DateTimeUtc,
     outcome: Schema.Option(Outcome),
 }) {

package/dist/lifecycle/attempt.js.map

@@ -1 +1 @@
-{"version":3,"file":"attempt.js","sourceRoot":"","sources":["../../src/lifecycle/attempt.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvE,OAAO,EAAE,KAAK,EAAE,MAAM,UAAU,CAAC;AACjC,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAErC;;GAEG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC;AAG/E;;;;GAIG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAClF,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,CAC9B,CAAC;AAGF,2FAA2F;AAC3F,MAAM,OAAO,SAAU,SAAQ,MAAM,CAAC,WAAW,CAAY,0BAA0B,CAAC,CACtF,WAAW,EACX,EAAE,CACH;CAAG;AAEJ,yFAAyF;AACzF,MAAM,OAAO,MAAO,SAAQ,MAAM,CAAC,WAAW,CAAS,uBAAuB,CAAC,CAAC,QAAQ,EAAE;IACxF,OAAO,EAAE,cAAc;CACxB,CAAC;CAAG;AAEL,MAAM,CAAC,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;AAGzD;;;GAGG;AACH,MAAM,OAAO,OAAQ,SAAQ,MAAM,CAAC,KAAK,CAAU,SAAS,CAAC,CAAC;IAC5D,EAAE,EAAE,SAAS;IACb,KAAK,EAAE,KAAK;IACZ,QAAQ,EAAE,QAAQ;IAClB,MAAM,EAAE,aAAa;IACrB,SAAS,EAAE,MAAM,CAAC,WAAW;IAC7B,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;CAChC,CAAC;CAAG;AAEL;;;;;GAKG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,OAI/B,EAAW,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,MAAM,GAAG,OAAO,CAAC,eAAe,CAAC"}
+{"version":3,"file":"attempt.js","sourceRoot":"","sources":["../../src/lifecycle/attempt.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvE,OAAO,EAAE,KAAK,EAAE,MAAM,UAAU,CAAC;AACjC,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACrC,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AACjD,OAAO,EAAE,IAAI,IAAI,UAAU,EAAE,MAAM,cAAc,CAAC;AAElD;;GAEG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC;AAG/E;;;;GAIG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAClF,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,CAC9B,CAAC;AAGF,2FAA2F;AAC3F,MAAM,OAAO,SAAU,SAAQ,MAAM,CAAC,WAAW,CAAY,0BAA0B,CAAC,CACtF,WAAW,EACX,EAAE,CACH;CAAG;AAEJ,yFAAyF;AACzF,MAAM,OAAO,MAAO,SAAQ,MAAM,CAAC,WAAW,CAAS,uBAAuB,CAAC,CAAC,QAAQ,EAAE;IACxF,OAAO,EAAE,cAAc;CACxB,CAAC;CAAG;AAEL,iFAAiF;AACjF,MAAM,OAAO,QAAS,SAAQ,MAAM,CAAC,WAAW,CAAW,yBAAyB,CAAC,CACnF,UAAU,EACV,EAAE,CACH;CAAG;AAEJ,MAAM,CAAC,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;AAGnE;;;GAGG;AACH,MAAM,OAAO,OAAQ,SAAQ,MAAM,CAAC,KAAK,CAAU,SAAS,CAAC,CAAC;IAC5D,EAAE,EAAE,SAAS;IACb,KAAK,EAAE,KAAK;IACZ,QAAQ,EAAE,QAAQ;IAClB,MAAM,EAAE,UAAU;IAClB,MAAM,EAAE,aAAa;IACrB,KAAK,EAAE,SAAS;IAChB,WAAW,EAAE,MAAM,CAAC,gBAAgB,CAAC,OAAO,CAAC;IAC7C,SAAS,EAAE,MAAM,CAAC,WAAW;IAC7B,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;CAChC,CAAC;CAAG;AAEL;;;;;GAKG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,OAI/B,EAAW,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,MAAM,GAAG,OAAO,CAAC,eAAe,CAAC"}

package/dist/lifecycle/event.d.ts

@@ -14,7 +14,7 @@ export type DedupKey = typeof DedupKey.Type;
 declare const Event_base: Schema.Class<Event, Schema.Struct<{
     readonly id: Schema.brand<Schema.NonEmptyString, "EventId">;
     readonly dedupKey: Schema.brand<Schema.NonEmptyString, "DedupKey">;
-    readonly payload: Schema.Unknown;
+    readonly payload: Schema.Codec<Schema.Json, Schema.Json, never, never>;
     readonly receivedAt: Schema.DateTimeUtc;
 }>, {}>;
 /**

package/dist/lifecycle/event.js

@@ -19,7 +19,7 @@ export const DedupKey = Schema.NonEmptyString.pipe(Schema.brand("DedupKey"));
 export class Event extends Schema.Class("Event")({
     id: EventId,
     dedupKey: DedupKey,
-    payload: Schema.Unknown,
+    payload: Schema.Json,
     receivedAt: Schema.DateTimeUtc,
 }) {
 }

package/dist/lifecycle/event.js.map

@@ -1 +1 @@
-{"version":3,"file":"event.js","sourceRoot":"","sources":["../../src/lifecycle/event.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC;;GAEG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;AAG3E;;;;GAIG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;AAG7E;;;;;;GAMG;AACH,MAAM,OAAO,KAAM,SAAQ,MAAM,CAAC,KAAK,CAAQ,OAAO,CAAC,CAAC;IACtD,EAAE,EAAE,OAAO;IACX,QAAQ,EAAE,QAAQ;IAClB,OAAO,EAAE,MAAM,CAAC,OAAO;IACvB,UAAU,EAAE,MAAM,CAAC,WAAW;CAC/B,CAAC;CAAG"}
+{"version":3,"file":"event.js","sourceRoot":"","sources":["../../src/lifecycle/event.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC;;GAEG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;AAG3E;;;;GAIG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;AAG7E;;;;;;GAMG;AACH,MAAM,OAAO,KAAM,SAAQ,MAAM,CAAC,KAAK,CAAQ,OAAO,CAAC,CAAC;IACtD,EAAE,EAAE,OAAO;IACX,QAAQ,EAAE,QAAQ;IAClB,OAAO,EAAE,MAAM,CAAC,IAAI;IACpB,UAAU,EAAE,MAAM,CAAC,WAAW;CAC/B,CAAC;CAAG"}

package/dist/lifecycle/item.d.ts

@@ -0,0 +1,11 @@
+import { Schema } from "effect";
+/**
+ * Value object: stable identity of one piece of software-work state inside a
+ * loop. Several content-distinct Events may concern the same Item.
+ */
+export declare const ItemKey: Schema.brand<Schema.NonEmptyString, "ItemKey">;
+export type ItemKey = typeof ItemKey.Type;
+/** Positive repository-local number for an issue-like Item. */
+export declare const Number: Schema.brand<Schema.Int, "ItemNumber">;
+export type Number = typeof Number.Type;
+//# sourceMappingURL=item.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"item.d.ts","sourceRoot":"","sources":["../../src/lifecycle/item.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC;;;GAGG;AACH,eAAO,MAAM,OAAO,gDAAsD,CAAC;AAC3E,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAC;AAE1C,+DAA+D;AAC/D,eAAO,MAAM,MAAM,wCAElB,CAAC;AACF,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC,IAAI,CAAC"}

package/dist/lifecycle/item.js

@@ -0,0 +1,9 @@
+import { Schema } from "effect";
+/**
+ * Value object: stable identity of one piece of software-work state inside a
+ * loop. Several content-distinct Events may concern the same Item.
+ */
+export const ItemKey = Schema.NonEmptyString.pipe(Schema.brand("ItemKey"));
+/** Positive repository-local number for an issue-like Item. */
+export const Number = Schema.Int.check(Schema.isGreaterThanOrEqualTo(1)).pipe(Schema.brand("ItemNumber"));
+//# sourceMappingURL=item.js.map

package/dist/lifecycle/item.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"item.js","sourceRoot":"","sources":["../../src/lifecycle/item.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC;;;GAGG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;AAG3E,+DAA+D;AAC/D,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAC3E,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,CAC3B,CAAC"}

package/dist/lifecycle/loop.d.ts

@@ -6,4 +6,12 @@ import { Schema } from "effect";
  */
 export declare const LoopName: Schema.brand<Schema.NonEmptyString, "LoopName">;
 export type LoopName = typeof LoopName.Type;
+/**
+ * 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 declare const APPROVAL_REQUIREMENTS: readonly ["none", "required"];
+export declare const ApprovalRequirement: Schema.Literals<readonly ["none", "required"]>;
+export type ApprovalRequirement = typeof ApprovalRequirement.Type;
 //# sourceMappingURL=loop.d.ts.map

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

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

@@ -5,4 +5,11 @@ import { Schema } from "effect";
  * (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 +1 @@
-{"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"}
+{"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

@@ -82,6 +82,15 @@ 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;
 /**

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

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

@@ -68,6 +68,23 @@ export class Canceled extends Schema.TaggedClass("RunState/Canceled")("Canceled"
 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();
 /**

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

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

@@ -1,4 +1,5 @@
 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.
@@ -9,7 +10,7 @@ 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<Schema.String>;
+    readonly result: Schema.Option<typeof StepResult>;
 }>, {}>;
 /**
  * Entity — ledger row: a named unit of work inside a run, its stored result addressable by name;

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

@@ -1 +1 @@
-{"version":3,"file":"step.d.ts","sourceRoot":"","sources":["../../src/lifecycle/step.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAGhC;;;;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"}
+{"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,4 +1,5 @@
 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
@@ -14,7 +15,7 @@ export const StepName = Schema.NonEmptyString.pipe(Schema.brand("StepName"));
 export class Step extends Schema.Class("Step")({
     runId: RunId,
     name: StepName,
-    result: Schema.Option(Schema.String),
+    result: Schema.Option(StepResult),
 }) {
 }
 //# sourceMappingURL=step.js.map

package/dist/lifecycle/step.js.map

@@ -1 +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,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,MAAM,CAAC,MAAM,CAAC;CACrC,CAAC;CAAG"}
+{"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,6 +1,6 @@
 {
   "name": "@usine/core",
-  "version": "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": {