@twelvehart/orcats 0.0.0-seed.0 → 0.2.3

package/dist/conversation/conversation.d.ts

@@ -0,0 +1,46 @@
+import { type Result } from "neverthrow";
+import { type BackendResult, type BackendTag, type ConversationEvent, type RuntimeError } from "../model/index.ts";
+export type Outcome<B extends BackendTag = BackendTag> = {
+    readonly type: "success";
+    readonly result: BackendResult<B>;
+} | {
+    readonly type: "cancelled";
+    readonly reason?: string;
+} | {
+    readonly type: "failed";
+    readonly error: RuntimeError;
+};
+export interface Conversation<B extends BackendTag = BackendTag> {
+    readonly backend: B;
+    readonly canAskUser: boolean;
+    readonly signal: AbortSignal;
+    events(): AsyncIterable<ConversationEvent>;
+    awaitResult(): Promise<Outcome<B>>;
+    cancel(reason?: string): Promise<void>;
+}
+export interface StreamConversationOptions<B extends BackendTag> {
+    readonly backend: B;
+    readonly capacity?: number;
+    readonly canAskUser?: boolean;
+    readonly onCancel?: (reason?: string) => Promise<void> | void;
+}
+export declare class StreamConversation<B extends BackendTag> implements Conversation<B> {
+    private readonly options;
+    private readonly abortController;
+    readonly canAskUser: boolean;
+    readonly signal: AbortSignal;
+    private readonly queue;
+    private readonly outcome;
+    private settle;
+    private settled;
+    constructor(options: StreamConversationOptions<B>);
+    get backend(): B;
+    events(): AsyncIterable<ConversationEvent>;
+    awaitResult(): Promise<Outcome<B>>;
+    emit(event: ConversationEvent): Promise<Result<void, RuntimeError>>;
+    succeed(result: BackendResult<B>): void;
+    fail(error: RuntimeError): void;
+    cancel(reason?: string): Promise<void>;
+    private complete;
+}
+//# sourceMappingURL=conversation.d.ts.map

package/dist/conversation/conversation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"conversation.d.ts","sourceRoot":"","sources":["../../src/conversation/conversation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAW,KAAK,MAAM,EAAE,MAAM,YAAY,CAAC;AAClD,OAAO,EACL,KAAK,aAAa,EAClB,KAAK,UAAU,EACf,KAAK,iBAAiB,EACtB,KAAK,YAAY,EAElB,MAAM,mBAAmB,CAAC;AAG3B,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,UAAU,GAAG,UAAU,IACjD;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC,CAAC,CAAA;CAAE,GAC/D;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,GACxD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAA;CAAE,CAAC;AAE9D,MAAM,WAAW,YAAY,CAAC,CAAC,SAAS,UAAU,GAAG,UAAU;IAC7D,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IACpB,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;IAC7B,MAAM,IAAI,aAAa,CAAC,iBAAiB,CAAC,CAAC;IAC3C,WAAW,IAAI,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IACnC,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CACxC;AAED,MAAM,WAAW,yBAAyB,CAAC,CAAC,SAAS,UAAU;IAC7D,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IACpB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC;IAC9B,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;CAC/D;AAED,qBAAa,kBAAkB,CAAC,CAAC,SAAS,UAAU,CAAE,YAAW,YAAY,CAAC,CAAC,CAAC;IAWlE,OAAO,CAAC,QAAQ,CAAC,OAAO;IAVpC,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAyB;IAEzD,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,MAAM,cAA+B;IAE9C,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAuC;IAC7D,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAsB;IAC9C,OAAO,CAAC,MAAM,CAAiC;IAC/C,OAAO,CAAC,OAAO,CAAS;gBAEK,OAAO,EAAE,yBAAyB,CAAC,CAAC,CAAC;IAQlE,IAAI,OAAO,IAAI,CAAC,CAEf;IAED,MAAM,IAAI,aAAa,CAAC,iBAAiB,CAAC;IAI1C,WAAW,IAAI,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAI5B,IAAI,CAAC,KAAK,EAAE,iBAAiB,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IAmBzE,OAAO,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC,CAAC,GAAG,IAAI;IAIvC,IAAI,CAAC,KAAK,EAAE,YAAY,GAAG,IAAI;IAIzB,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAU5C,OAAO,CAAC,QAAQ;CASjB"}

package/dist/conversation/harness.d.ts

@@ -0,0 +1,14 @@
+import { type BackendTag, type ConversationEvent } from "../model/index.ts";
+import { StreamConversation, type Outcome } from "./conversation.ts";
+export interface ConversationCapture<B extends BackendTag> {
+    readonly events: readonly ConversationEvent[];
+    readonly outcome: Outcome<B>;
+}
+export interface ConversationHarnessOptions<B extends BackendTag> {
+    readonly backend: B;
+    readonly capacity?: number;
+    readonly canAskUser?: boolean;
+    readonly consume: (conversation: StreamConversation<B>) => Promise<void> | void;
+}
+export declare function collectConversation<B extends BackendTag>(options: ConversationHarnessOptions<B>): Promise<ConversationCapture<B>>;
+//# sourceMappingURL=harness.d.ts.map

package/dist/conversation/harness.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"harness.d.ts","sourceRoot":"","sources":["../../src/conversation/harness.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,UAAU,EACf,KAAK,iBAAiB,EACvB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,kBAAkB,EAAE,KAAK,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAErE,MAAM,WAAW,mBAAmB,CAAC,CAAC,SAAS,UAAU;IACvD,QAAQ,CAAC,MAAM,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAC9C,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;CAC9B;AAED,MAAM,WAAW,0BAA0B,CAAC,CAAC,SAAS,UAAU;IAC9D,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IACpB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,CAAC,YAAY,EAAE,kBAAkB,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;CACjF;AAED,wBAAsB,mBAAmB,CAAC,CAAC,SAAS,UAAU,EAC5D,OAAO,EAAE,0BAA0B,CAAC,CAAC,CAAC,GACrC,OAAO,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAiBjC"}

package/dist/conversation/index.d.ts

@@ -0,0 +1,5 @@
+export * from "./ask-user.ts";
+export * from "./conversation.ts";
+export * from "./harness.ts";
+export * from "./queue.ts";
+//# sourceMappingURL=index.d.ts.map

package/dist/conversation/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/conversation/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAC;AAC9B,cAAc,mBAAmB,CAAC;AAClC,cAAc,cAAc,CAAC;AAC7B,cAAc,YAAY,CAAC"}

package/dist/conversation/queue.d.ts

@@ -0,0 +1,15 @@
+export declare class BoundedAsyncQueue<T> implements AsyncIterable<T> {
+    private readonly capacity;
+    private readonly items;
+    private readonly takers;
+    private readonly pushWaiters;
+    private closed;
+    private iteratorStarted;
+    constructor(capacity: number);
+    push(item: T): Promise<void>;
+    close(): void;
+    [Symbol.asyncIterator](): AsyncIterator<T>;
+    private next;
+    private ensureOpen;
+}
+//# sourceMappingURL=queue.d.ts.map

package/dist/conversation/queue.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"queue.d.ts","sourceRoot":"","sources":["../../src/conversation/queue.ts"],"names":[],"mappings":"AAAA,qBAAa,iBAAiB,CAAC,CAAC,CAAE,YAAW,aAAa,CAAC,CAAC,CAAC;IAO/C,OAAO,CAAC,QAAQ,CAAC,QAAQ;IANrC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAW;IACjC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAiD;IACxE,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAyB;IACrD,OAAO,CAAC,MAAM,CAAS;IACvB,OAAO,CAAC,eAAe,CAAS;gBAEH,QAAQ,EAAE,MAAM;IAMvC,IAAI,CAAC,IAAI,EAAE,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC;IAwBlC,KAAK,IAAI,IAAI;IAgBb,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,aAAa,CAAC,CAAC,CAAC;YAY5B,IAAI;IAelB,OAAO,CAAC,UAAU;CAKnB"}

package/dist/flow/accessors.d.ts

@@ -0,0 +1,13 @@
+import { currentFlowContext } from "./context.ts";
+export declare const flowContext: typeof currentFlowContext;
+export declare function fs(): import("../index.ts").FsTool;
+export declare function git(): import("../index.ts").GitTool;
+export declare function gh(): import("../index.ts").GitHubTool;
+export declare function linear(): import("../index.ts").LinearTool;
+export declare function terminal(): import("../index.ts").TerminalTool;
+export declare function command(): import("../index.ts").CommandTool;
+export declare function llm(): import("../index.ts").LlmTool;
+export declare function plan(): import("./context.ts").PlanTool;
+export declare function review(): import("../index.ts").ReviewTool;
+export declare function reporter(): import("../index.ts").RunReporter;
+//# sourceMappingURL=accessors.d.ts.map

package/dist/flow/accessors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"accessors.d.ts","sourceRoot":"","sources":["../../src/flow/accessors.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAElD,eAAO,MAAM,WAAW,2BAAqB,CAAC;AAE9C,wBAAgB,EAAE,iCAEjB;AAED,wBAAgB,GAAG,kCAElB;AAED,wBAAgB,EAAE,qCAEjB;AAED,wBAAgB,MAAM,qCAErB;AAED,wBAAgB,QAAQ,uCAEvB;AAED,wBAAgB,OAAO,sCAEtB;AAED,wBAAgB,GAAG,kCAElB;AAED,wBAAgB,IAAI,oCAEnB;AAED,wBAAgB,MAAM,qCAErB;AAED,wBAAgB,QAAQ,sCAEvB"}

package/dist/flow/approvals.d.ts

@@ -0,0 +1,6 @@
+export interface ToolApprovalRequest {
+    readonly toolName: string;
+    readonly input: unknown;
+}
+export declare function requestToolApproval(request: ToolApprovalRequest): never;
+//# sourceMappingURL=approvals.d.ts.map

package/dist/flow/approvals.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"approvals.d.ts","sourceRoot":"","sources":["../../src/flow/approvals.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;CACzB;AAED,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,mBAAmB,GAAG,KAAK,CAIvE"}

package/dist/flow/args.d.ts

@@ -0,0 +1,4 @@
+export declare const FLOW_ARGS_ENV = "ORCA_FLOW_ARGS";
+export declare function extractFlowArgs(argv: readonly string[]): string[];
+export declare function flowArgs(): string[];
+//# sourceMappingURL=args.d.ts.map

package/dist/flow/args.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"args.d.ts","sourceRoot":"","sources":["../../src/flow/args.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,aAAa,mBAAmB,CAAC;AAI9C,wBAAgB,eAAe,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,EAAE,CAGjE;AAKD,wBAAgB,QAAQ,IAAI,MAAM,EAAE,CAanC"}

package/dist/flow/context.d.ts

@@ -0,0 +1,36 @@
+import { type FsTool } from "../tools/fs.ts";
+import { type GitTool } from "../tools/git.ts";
+import { type GitHubTool } from "../tools/github.ts";
+import { type LinearTool } from "../tools/linear.ts";
+import { type CommandTool } from "../tools/process.ts";
+import { type TerminalTool } from "../tools/terminal.ts";
+import type { LlmTool } from "../backends/index.ts";
+import { defaultPlanPath, implementTaskLoop, recoverPlan, writePlan } from "../plan/index.ts";
+import { type ReviewTool } from "../review/index.ts";
+import { type RunReporter } from "../run-output/index.ts";
+export interface PlanTool {
+    readonly defaultPath: typeof defaultPlanPath;
+    readonly write: typeof writePlan;
+    readonly recover: typeof recoverPlan;
+    readonly implementTaskLoop: typeof implementTaskLoop;
+    interactive(): never;
+}
+export interface FlowContext {
+    readonly args: readonly string[];
+    readonly cwd: string;
+    readonly fs: FsTool;
+    readonly git: GitTool;
+    readonly gh: GitHubTool;
+    readonly linear: LinearTool;
+    readonly terminal: TerminalTool;
+    readonly command: CommandTool;
+    readonly llm: LlmTool;
+    readonly plan: PlanTool;
+    readonly review: ReviewTool;
+    readonly reporter: RunReporter;
+}
+export type FlowOverrides = Partial<Omit<FlowContext, "args">>;
+export declare function flow<T>(args?: readonly string[], overrides?: FlowOverrides): (fn: () => Promise<T> | T) => Promise<T>;
+export declare function currentFlowContext(): FlowContext;
+export declare function createDefaultFlowContext(args: readonly string[], overrides?: FlowOverrides): FlowContext;
+//# sourceMappingURL=context.d.ts.map

package/dist/flow/context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../../src/flow/context.ts"],"names":[],"mappings":"AACA,OAAO,EAAgB,KAAK,MAAM,EAAE,MAAM,gBAAgB,CAAC;AAC3D,OAAO,EAAiB,KAAK,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAC9D,OAAO,EAAoB,KAAK,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACvE,OAAO,EAAoB,KAAK,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACvE,OAAO,EAAqB,KAAK,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAC1E,OAAO,EAAsB,KAAK,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAC7E,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AACpD,OAAO,EACL,eAAe,EACf,iBAAiB,EACjB,WAAW,EACX,SAAS,EACV,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAoB,KAAK,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACvE,OAAO,EAGL,KAAK,WAAW,EACjB,MAAM,wBAAwB,CAAC;AAEhC,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,WAAW,EAAE,OAAO,eAAe,CAAC;IAC7C,QAAQ,CAAC,KAAK,EAAE,OAAO,SAAS,CAAC;IACjC,QAAQ,CAAC,OAAO,EAAE,OAAO,WAAW,CAAC;IACrC,QAAQ,CAAC,iBAAiB,EAAE,OAAO,iBAAiB,CAAC;IACrD,WAAW,IAAI,KAAK,CAAC;CACtB;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,UAAU,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC;IAChC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAC9B,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC;CAChC;AAED,MAAM,MAAM,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC;AAI/D,wBAAgB,IAAI,CAAC,CAAC,EACpB,IAAI,GAAE,SAAS,MAAM,EAAO,EAC5B,SAAS,GAAE,aAAkB,GAC5B,CAAC,EAAE,EAAE,MAAM,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,CAG1C;AAED,wBAAgB,kBAAkB,IAAI,WAAW,CAMhD;AAED,wBAAgB,wBAAwB,CACtC,IAAI,EAAE,SAAS,MAAM,EAAE,EACvB,SAAS,GAAE,aAAkB,GAC5B,WAAW,CAkBb"}

package/dist/flow/index.d.ts

@@ -0,0 +1,5 @@
+export * from "./accessors.ts";
+export * from "./approvals.ts";
+export * from "./args.ts";
+export * from "./context.ts";
+//# sourceMappingURL=index.d.ts.map

package/dist/flow/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/flow/index.ts"],"names":[],"mappings":"AAAA,cAAc,gBAAgB,CAAC;AAC/B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,WAAW,CAAC;AAC1B,cAAc,cAAc,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,16 @@
+export * from "./backends/index.ts";
+export * from "./baseline/index.ts";
+export * from "./conversation/index.ts";
+export * from "./flow/index.ts";
+export * from "./loop/index.ts";
+export * from "./model/index.ts";
+export * from "./monitor/index.ts";
+export * from "./plan/index.ts";
+export * from "./review/index.ts";
+export * from "./runner/index.ts";
+export * from "./run-output/index.ts";
+export * from "./tools/index.ts";
+export { z } from "zod";
+export { err, ok } from "neverthrow";
+export type { Result } from "neverthrow";
+//# 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,cAAc,qBAAqB,CAAC;AACpC,cAAc,qBAAqB,CAAC;AACpC,cAAc,yBAAyB,CAAC;AACxC,cAAc,iBAAiB,CAAC;AAChC,cAAc,iBAAiB,CAAC;AAChC,cAAc,kBAAkB,CAAC;AACjC,cAAc,oBAAoB,CAAC;AACnC,cAAc,iBAAiB,CAAC;AAChC,cAAc,mBAAmB,CAAC;AAClC,cAAc,mBAAmB,CAAC;AAClC,cAAc,uBAAuB,CAAC;AACtC,cAAc,kBAAkB,CAAC;AACjC,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,YAAY,CAAC;AACrC,YAAY,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC"}

package/dist/loop/builder/index.d.ts

@@ -0,0 +1,17 @@
+import { type TaskManifest } from "../state/index.ts";
+import type { ConfidenceState, GatesState, LoopBuilder, TerminationPreset } from "./types.ts";
+export * from "./types.ts";
+/** Entry point for the declarative loop builder (task 5.1). */
+export declare function loop<S = unknown>(name: string): LoopBuilder<S>;
+/** TDD / compiler loop: drive failing tests/gates to zero. */
+export declare function untilGatesGreen(): TerminationPreset<GatesState>;
+/** The "Ralph" case: drive the manifest's pending-task count to zero (variant from L05 projection). */
+export declare function untilManifestComplete(): TerminationPreset<TaskManifest>;
+/** Today's review/fix loop: drive the open-issue count to zero. */
+export declare function untilNoIssues(): TerminationPreset<readonly unknown[]>;
+/** Confidence loop: drive `1 − confidence` to the threshold floor. */
+export declare function untilConfident(threshold: number): TerminationPreset<ConfidenceState>;
+/** Bounded-count escape hatch: the variant is the remaining iterations; converges after `n`. */
+export declare function times(n: number): TerminationPreset;
+export * from "../fanout.ts";
+//# sourceMappingURL=index.d.ts.map

package/dist/loop/builder/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/loop/builder/index.ts"],"names":[],"mappings":"AASA,OAAO,EAA8B,KAAK,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAElF,OAAO,KAAK,EACV,eAAe,EACf,UAAU,EACV,WAAW,EAMX,iBAAiB,EAClB,MAAM,YAAY,CAAC;AAEpB,cAAc,YAAY,CAAC;AAwR3B,+DAA+D;AAC/D,wBAAgB,IAAI,CAAC,CAAC,GAAG,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC,CAE9D;AAKD,8DAA8D;AAC9D,wBAAgB,eAAe,IAAI,iBAAiB,CAAC,UAAU,CAAC,CAE/D;AAED,uGAAuG;AACvG,wBAAgB,qBAAqB,IAAI,iBAAiB,CAAC,YAAY,CAAC,CAEvE;AAED,mEAAmE;AACnE,wBAAgB,aAAa,IAAI,iBAAiB,CAAC,SAAS,OAAO,EAAE,CAAC,CAErE;AAED,sEAAsE;AACtE,wBAAgB,cAAc,CAAC,SAAS,EAAE,MAAM,GAAG,iBAAiB,CAAC,eAAe,CAAC,CAEpF;AAED,gGAAgG;AAChG,wBAAgB,KAAK,CAAC,CAAC,EAAE,MAAM,GAAG,iBAAiB,CAOlD;AAMD,cAAc,cAAc,CAAC"}

package/dist/loop/builder/types.d.ts

@@ -0,0 +1,97 @@
+import type { Result } from "neverthrow";
+import type { AutonomousRequest, LlmBackend } from "../../backends/index.ts";
+import type { FlowOverrides } from "../../flow/index.ts";
+import type { BackendTag, RuntimeError, Usage } from "../../model/index.ts";
+import type { LoopExecutionContextOptions, LoopContextPressure } from "../execution.ts";
+import type { TerminationContractError } from "../termination-contract.ts";
+/** Surfaced from the internal contract module so callers can discriminate a build failure. */
+export type { TerminationContractError } from "../termination-contract.ts";
+/**
+ * A loop variant (design D3): a measure bounded below — floor `0` by convention — that the
+ * loop drives toward zero. `.measure(fn)` supplies one directly; presets bundle one.
+ */
+export interface LoopVariant<S = unknown> {
+    /** Current measure; the loop converges when this reaches `0`. */
+    measure(state: S): Promise<number> | number;
+}
+export type PresetKind = "untilGatesGreen" | "untilManifestComplete" | "untilNoIssues" | "untilConfident" | "times";
+/**
+ * A preset termination archetype (design D3). Choosing one satisfies the termination contract
+ * without the author authoring variant math. The bundled `measure` is the loop variant (floor
+ * `0`); `cycle` is the completed-iteration count, needed by count-based presets like `times`.
+ * `guards` are sane default seatbelts the preset contributes; an explicit `.guard()` overrides.
+ */
+export interface TerminationPreset<S = unknown> {
+    readonly kind: PresetKind;
+    readonly measure: (state: S, cycle: number) => number;
+    readonly guards?: LoopGuards;
+}
+/** Fan-in join policies — all four ship in v1 (design D9). Wired by L07 `fanIn`. */
+export type JoinPolicy = "barrier" | "race" | "quorum" | "reduce";
+/** Seatbelt guards layered under the variant (design D3): ceiling, wall-clock, token budget. */
+export interface LoopGuards {
+    readonly maxIterations?: number;
+    readonly wallClockMs?: number;
+    readonly tokenBudget?: number;
+}
+/** Discriminated stop reason; extends the fixLoop stops with `budget-exhausted`/`cancelled` (design D3). */
+export type LoopStopReason = "converged" | "unfixable" | "stuck" | "timeout" | "ceiling" | "budget-exhausted" | "cancelled";
+/** Outcome of a completed loop run. */
+export interface LoopOutcome<S = unknown> {
+    readonly state: S;
+    readonly stopReason: LoopStopReason;
+    readonly iterations: number;
+}
+/**
+ * Per-cycle observability report emitted after each completed cycle when `onCycle` is set. The
+ * `measure` comes from the loop variant (the L05 manifest projection), so a record fed straight to
+ * `WorkflowMonitor.recordCycle` stays consistent with the termination variant (spec
+ * execution-observability). `usage` omitted ⇒ the backend reported none this cycle.
+ */
+export interface LoopCycleReport {
+    readonly iteration: number;
+    readonly measure: number;
+    readonly usage?: Usage;
+    readonly contextPressure?: LoopContextPressure;
+}
+/** Flow setup supplied to a run; `overrides` is how tests inject fake accessors (flow-runtime spec). */
+export interface LoopRunOptions {
+    readonly args?: readonly string[];
+    readonly overrides?: FlowOverrides;
+    readonly context?: LoopExecutionContextOptions;
+    /** Optional observability hook; receives a {@link LoopCycleReport} after each completed cycle. */
+    readonly onCycle?: (cycle: LoopCycleReport) => void;
+}
+/** A `.run()` fails either at build (unguarded back-edge) or at runtime (a step/reason error). */
+export type LoopRunError = RuntimeError | TerminationContractError;
+/**
+ * Chainable loop builder. The single-cycle case reads like a guarded `while` and needs no
+ * graph/fan-out/Effect knowledge. `.reason()` is the single LLM verb; `.step()` is a
+ * deterministic transform; `.measure()`/`.until()` set the termination variant; `.guard()`
+ * adds seatbelts. `.run()` lowers to `flow()` + loop execution.
+ */
+export interface LoopBuilder<S = unknown> {
+    /** The single LLM verb. Drives a backend autonomously each cycle; hides the conversation. */
+    reason<B extends BackendTag, Output = unknown>(backend: LlmBackend<B>, request: AutonomousRequest<Output, B>): LoopBuilder<S>;
+    /** A deterministic step that transforms the threaded loop state. */
+    step(name: string, body: (state: S) => Promise<S> | S): LoopBuilder<S>;
+    /** Power-user variant override (design D3); takes precedence over a preset. */
+    measure(fn: (state: S) => Promise<number> | number): LoopBuilder<S>;
+    /** Set the termination variant from a preset archetype or a custom variant. */
+    until(termination: TerminationPreset<S> | LoopVariant<S>): LoopBuilder<S>;
+    /** Layer seatbelt guards under the variant. */
+    guard(opts: LoopGuards): LoopBuilder<S>;
+    /** Build (enforcing the termination contract) then run; returns the outcome and a stop reason. */
+    run(initial?: S, options?: LoopRunOptions): Promise<Result<LoopOutcome<S>, LoopRunError>>;
+}
+/** State projection read by the `untilGatesGreen` preset. */
+export interface GatesState {
+    /** Failing tests/gates remaining; the loop converges as this reaches `0`. */
+    readonly failingGates: number;
+}
+/** State projection read by the `untilConfident` preset. */
+export interface ConfidenceState {
+    /** Confidence in `[0, 1]`; the loop converges once it reaches the threshold. */
+    readonly confidence: number;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/loop/builder/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/loop/builder/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAEzC,OAAO,KAAK,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAC7E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,EAAE,UAAU,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC5E,OAAO,KAAK,EAAE,2BAA2B,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACxF,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,4BAA4B,CAAC;AAO3E,8FAA8F;AAC9F,YAAY,EAAE,wBAAwB,EAAE,MAAM,4BAA4B,CAAC;AAE3E;;;GAGG;AACH,MAAM,WAAW,WAAW,CAAC,CAAC,GAAG,OAAO;IACtC,iEAAiE;IACjE,OAAO,CAAC,KAAK,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC;CAC7C;AAED,MAAM,MAAM,UAAU,GAClB,iBAAiB,GACjB,uBAAuB,GACvB,eAAe,GACf,gBAAgB,GAChB,OAAO,CAAC;AAEZ;;;;;GAKG;AACH,MAAM,WAAW,iBAAiB,CAAC,CAAC,GAAG,OAAO;IAC5C,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC;IACtD,QAAQ,CAAC,MAAM,CAAC,EAAE,UAAU,CAAC;CAC9B;AAED,oFAAoF;AACpF,MAAM,MAAM,UAAU,GAAG,SAAS,GAAG,MAAM,GAAG,QAAQ,GAAG,QAAQ,CAAC;AAElE,gGAAgG;AAChG,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B;AAED,4GAA4G;AAC5G,MAAM,MAAM,cAAc,GACtB,WAAW,GACX,WAAW,GACX,OAAO,GACP,SAAS,GACT,SAAS,GACT,kBAAkB,GAClB,WAAW,CAAC;AAEhB,uCAAuC;AACvC,MAAM,WAAW,WAAW,CAAC,CAAC,GAAG,OAAO;IACtC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;IAClB,QAAQ,CAAC,UAAU,EAAE,cAAc,CAAC;IACpC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED;;;;;GAKG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC;IACvB,QAAQ,CAAC,eAAe,CAAC,EAAE,mBAAmB,CAAC;CAChD;AAED,wGAAwG;AACxG,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,SAAS,CAAC,EAAE,aAAa,CAAC;IACnC,QAAQ,CAAC,OAAO,CAAC,EAAE,2BAA2B,CAAC;IAC/C,kGAAkG;IAClG,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,EAAE,eAAe,KAAK,IAAI,CAAC;CACrD;AAED,kGAAkG;AAClG,MAAM,MAAM,YAAY,GAAG,YAAY,GAAG,wBAAwB,CAAC;AAEnE;;;;;GAKG;AACH,MAAM,WAAW,WAAW,CAAC,CAAC,GAAG,OAAO;IACtC,6FAA6F;IAC7F,MAAM,CAAC,CAAC,SAAS,UAAU,EAAE,MAAM,GAAG,OAAO,EAC3C,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC,EACtB,OAAO,EAAE,iBAAiB,CAAC,MAAM,EAAE,CAAC,CAAC,GACpC,WAAW,CAAC,CAAC,CAAC,CAAC;IAClB,oEAAoE;IACpE,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;IACvE,+EAA+E;IAC/E,OAAO,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,OAAO,CAAC,MAAM,CAAC,GAAG,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;IACpE,+EAA+E;IAC/E,KAAK,CAAC,WAAW,EAAE,iBAAiB,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;IAC1E,+CAA+C;IAC/C,KAAK,CAAC,IAAI,EAAE,UAAU,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;IACxC,kGAAkG;IAClG,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC;CAC3F;AAED,6DAA6D;AAC7D,MAAM,WAAW,UAAU;IACzB,6EAA6E;IAC7E,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CAC/B;AAED,4DAA4D;AAC5D,MAAM,WAAW,eAAe;IAC9B,gFAAgF;IAChF,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B"}

package/dist/loop/context/compaction.d.ts

@@ -0,0 +1,38 @@
+import type { CompactionConfig } from "./types.ts";
+/**
+ * Aggressive defaults applied once managed context is enabled (design D10): a small working window
+ * and an aggressive offload threshold. Authors MAY raise these, but enabled context gets tight
+ * defaults out of the box.
+ */
+export declare const DEFAULT_COMPACTION_CONFIG: CompactionConfig;
+/** The escalating compaction stages, lowest pressure first. */
+export type CompactionStage = "mask" | "prune" | "summarize";
+/** One unit of loop context — a tool/step observation the agent may later read. */
+export interface Observation {
+    /** Stable identifier, preserved through masking so the record of the step survives. */
+    readonly id: string;
+    /** The observation body; what masking and summarization compress. */
+    readonly content: string;
+    /** Pinned observations (goal, manifest) are never compacted. */
+    readonly pinned?: boolean;
+    /** Precise token cost; defaults to a ~4-chars-per-token estimate of `content`. */
+    readonly tokens?: number;
+}
+export interface CompactionResult {
+    /** The compacted context: pinned, then the compacted history span, then the verbatim recent tail. */
+    readonly observations: readonly Observation[];
+    /** Stages applied, in order — empty when there was no pressure, up to all three under heavy load. */
+    readonly stagesApplied: readonly CompactionStage[];
+    readonly tokensBefore: number;
+    readonly tokensAfter: number;
+}
+/** Crude token estimate from character length; shared so masking/summary budgets stay consistent. */
+export declare function estimateTokens(text: string): number;
+/**
+ * Compact `observations` to fit the small working window, escalating mask → prune → summarize only
+ * as far as the token pressure requires. Pure: returns a new context plus the stages it applied. The
+ * result is kept within `config.workingWindowTokens` except when a single un-offloaded recent
+ * observation alone exceeds the window — offload oversized outputs (see ./offload.ts) to avoid that.
+ */
+export declare function compact(observations: readonly Observation[], config?: CompactionConfig): CompactionResult;
+//# sourceMappingURL=compaction.d.ts.map

package/dist/loop/context/compaction.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compaction.d.ts","sourceRoot":"","sources":["../../../src/loop/context/compaction.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AA+BnD;;;;GAIG;AACH,eAAO,MAAM,yBAAyB,EAAE,gBAGvC,CAAC;AAEF,+DAA+D;AAC/D,MAAM,MAAM,eAAe,GAAG,MAAM,GAAG,OAAO,GAAG,WAAW,CAAC;AAE7D,mFAAmF;AACnF,MAAM,WAAW,WAAW;IAC1B,uFAAuF;IACvF,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,qEAAqE;IACrE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,gEAAgE;IAChE,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAC1B,kFAAkF;IAClF,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,gBAAgB;IAC/B,qGAAqG;IACrG,QAAQ,CAAC,YAAY,EAAE,SAAS,WAAW,EAAE,CAAC;IAC9C,qGAAqG;IACrG,QAAQ,CAAC,aAAa,EAAE,SAAS,eAAe,EAAE,CAAC;IACnD,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED,qGAAqG;AACrG,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEnD;AAUD;;;;;GAKG;AACH,wBAAgB,OAAO,CACrB,YAAY,EAAE,SAAS,WAAW,EAAE,EACpC,MAAM,GAAE,gBAA4C,GACnD,gBAAgB,CA+BlB"}

package/dist/loop/context/index.d.ts

@@ -0,0 +1,4 @@
+export * from "./types.ts";
+export * from "./compaction.ts";
+export * from "./offload.ts";
+//# sourceMappingURL=index.d.ts.map

package/dist/loop/context/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/loop/context/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAC;AAC3B,cAAc,iBAAiB,CAAC;AAChC,cAAc,cAAc,CAAC"}

package/dist/loop/context/offload.d.ts

@@ -0,0 +1,34 @@
+import { type Result } from "neverthrow";
+import type { RuntimeError } from "../../model/index.ts";
+import { type FsTool } from "../../tools/index.ts";
+import type { OffloadPointer } from "./types.ts";
+export interface OffloadOptions {
+    /** Working root; scratch payloads land under `<root>/.orca/scratch/`. */
+    readonly root: string;
+    /** Char length above which an output is offloaded; defaults to the aggressive D10 default. */
+    readonly thresholdChars?: number;
+    /** Injectable filesystem for tests; defaults to the real adapter. */
+    readonly fsTool?: FsTool;
+}
+/**
+ * What interception did to one output: either it stayed inline (under threshold), or its body was
+ * offloaded and replaced by a short `ref` string plus the structured `pointer` to resolve later.
+ */
+export type OffloadOutcome = {
+    readonly offloaded: false;
+    readonly content: string;
+} | {
+    readonly offloaded: true;
+    readonly ref: string;
+    readonly pointer: OffloadPointer;
+};
+export interface OffloadStore {
+    /** Route one output: offload + return a pointer ref when oversized, otherwise pass it through. */
+    intercept(output: string): Promise<Result<OffloadOutcome, RuntimeError>>;
+    /** Resolve a pointer back to the full payload written at offload time. */
+    resolve(pointer: OffloadPointer): Promise<Result<string, RuntimeError>>;
+}
+/** The short reference injected into context in place of an offloaded payload. */
+export declare function offloadRef(pointer: OffloadPointer): string;
+export declare function createOffloadStore(options: OffloadOptions): OffloadStore;
+//# sourceMappingURL=offload.d.ts.map

package/dist/loop/context/offload.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"offload.d.ts","sourceRoot":"","sources":["../../../src/loop/context/offload.ts"],"names":[],"mappings":"AAEA,OAAO,EAAW,KAAK,MAAM,EAAE,MAAM,YAAY,CAAC;AAElD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,EAAgB,KAAK,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAEjE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAQjD,MAAM,WAAW,cAAc;IAC7B,yEAAyE;IACzE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,8FAA8F;IAC9F,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,qEAAqE;IACrE,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED;;;GAGG;AACH,MAAM,MAAM,cAAc,GACtB;IAAE,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GACvD;IAAE,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAA;CAAE,CAAC;AAEzF,MAAM,WAAW,YAAY;IAC3B,kGAAkG;IAClG,SAAS,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,cAAc,EAAE,YAAY,CAAC,CAAC,CAAC;IACzE,0EAA0E;IAC1E,OAAO,CAAC,OAAO,EAAE,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC;CACzE;AAED,kFAAkF;AAClF,wBAAgB,UAAU,CAAC,OAAO,EAAE,cAAc,GAAG,MAAM,CAE1D;AAED,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,cAAc,GAAG,YAAY,CAwBxE"}

package/dist/loop/context/types.d.ts

@@ -0,0 +1,13 @@
+/** Tunable thresholds; aggressive defaults apply once managed context is enabled (design D10). */
+export interface CompactionConfig {
+    /** Small working-memory window: token pressure above which staged compaction begins. */
+    readonly workingWindowTokens: number;
+    /** Char length above which an output is offloaded to a scratch file + pointer. */
+    readonly offloadThresholdChars: number;
+}
+/** Pointer to an offloaded oversized output; resolves back to the full payload (see ./offload.ts). */
+export interface OffloadPointer {
+    readonly path: string;
+    readonly bytes: number;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/loop/context/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/loop/context/types.ts"],"names":[],"mappings":"AAIA,kGAAkG;AAClG,MAAM,WAAW,gBAAgB;IAC/B,wFAAwF;IACxF,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,kFAAkF;IAClF,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;CACxC;AAED,sGAAsG;AACtG,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB"}

package/dist/loop/engine/bridge.d.ts

@@ -0,0 +1,21 @@
+import { Effect } from "effect";
+import { type Result } from "neverthrow";
+/** Inward bridge: lift a neverthrow `Result` into the Effect world. */
+export declare function fromResult<A, E>(result: Result<A, E>): Effect.Effect<A, E>;
+/** Outward bridge: collapse an Effect's typed failure channel into a `Result`, still inside Effect. */
+export declare function toResult<A, E>(effect: Effect.Effect<A, E>): Effect.Effect<Result<A, E>>;
+export interface RunOptions {
+    /** When provided, aborting the signal interrupts the run; the resulting interruption becomes `err`. */
+    readonly signal?: AbortSignal;
+}
+/**
+ * Boundary runner — the single place an engine Effect is executed. Returns a `Result` and never
+ * throws an Effect, `Cause`, or interruption: typed failures become `err`, and interruption /
+ * defects are squashed into `err`, so no Effect type or `Cause` escapes the facade.
+ *
+ * Note on cancellation: engine work that wants a graceful `cancelled` outcome wires its own
+ * `AbortSignal` through `runCancellable` (which converts cancellation into a success value).
+ * The `signal` here is the blunt alternative — hard interruption surfaced as `err`.
+ */
+export declare function runToResult<A, E>(effect: Effect.Effect<A, E>, options?: RunOptions): Promise<Result<A, E | Error>>;
+//# sourceMappingURL=bridge.d.ts.map

package/dist/loop/engine/bridge.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"bridge.d.ts","sourceRoot":"","sources":["../../../src/loop/engine/bridge.ts"],"names":[],"mappings":"AAQA,OAAO,EAAS,MAAM,EAAgB,MAAM,QAAQ,CAAC;AACrD,OAAO,EAAW,KAAK,MAAM,EAAE,MAAM,YAAY,CAAC;AAElD,uEAAuE;AACvE,wBAAgB,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAK1E;AAED,uGAAuG;AACvG,wBAAgB,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAIvF;AAED,MAAM,WAAW,UAAU;IACzB,uGAAuG;IACvG,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC;CAC/B;AAED;;;;;;;;GAQG;AACH,wBAAsB,WAAW,CAAC,CAAC,EAAE,CAAC,EACpC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAC3B,OAAO,GAAE,UAAe,GACvB,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAS/B"}

package/dist/loop/engine/index.d.ts

@@ -0,0 +1,73 @@
+import { Context, Effect, Layer } from "effect";
+import type { LoopStopReason } from "../builder/types.ts";
+import type { Result } from "neverthrow";
+import { type FlowContext } from "../../flow/context.ts";
+export * from "./bridge.ts";
+/** Engine-internal outcome; the builder (L06) maps this to the public Effect-free `LoopOutcome`. */
+export interface EngineOutcome<S> {
+    readonly state: S;
+    readonly stopReason: LoopStopReason;
+    readonly iterations: number;
+    readonly measure: number;
+}
+/** One loop iteration as an internal Effect; the builder bridges plain step bodies inward via `fromResult`. */
+export type IterationStep<S, R = never> = (state: S, iteration: number) => Effect.Effect<S, Error, R>;
+export interface RecurrenceSpec<S, R = never> {
+    readonly initial: S;
+    readonly iterate: IterationStep<S, R>;
+    /** Loop variant (design D3): a measure bounded below that the loop drives toward `floor`. */
+    readonly measure: (state: S) => number;
+    /** Convergence floor; default 0. */
+    readonly floor?: number;
+    /** Iteration-ceiling seatbelt; default unbounded (termination then rests on the variant). */
+    readonly maxIterations?: number;
+}
+/**
+ * Drive a stateful loop to convergence. The body runs at least once; the variant measure is
+ * checked after each iteration against the convergence floor and iteration ceiling, so whichever
+ * limit trips first stops the loop — `converged` when the measure won, `ceiling` otherwise.
+ */
+export declare function runRecurrence<S, R = never>(spec: RecurrenceSpec<S, R>): Effect.Effect<EngineOutcome<S>, Error, R>;
+export interface BranchesSpec<A> {
+    readonly branches: readonly Effect.Effect<A, Error>[];
+    /** Bounded fan-out width (design D2/D8: in-process, ~3-10). */
+    readonly concurrency: number;
+}
+/**
+ * Run branches with bounded structured concurrency. This is the single concurrency primitive
+ * L07's `fanOut`/`fanIn` build on: interrupting the parent fiber interrupts every in-flight
+ * branch automatically (Effect structured concurrency), which is what `runCancellable` exploits.
+ */
+export declare function runBranches<A>(spec: BranchesSpec<A>): Effect.Effect<readonly A[], Error>;
+/**
+ * Plain-boundary bounded fan-out — the Effect-free seam L07's `fanOut` builds on (design D2). Each
+ * thunk is a self-contained unit of branch work that resolves to its own outcome value and MUST
+ * NOT reject: the caller captures branch success/failure AS DATA so a partial-failure policy can
+ * weigh it, and a thunk that throws anyway is squashed into the outer `err`. Branches run with the
+ * given concurrency cap (`runBranches` ⇒ `Effect.all { concurrency }`); an aborted `signal` hard-
+ * interrupts every in-flight branch via structured concurrency and surfaces as `err`. Returning a
+ * `Result` here means `src/loop/fanout.ts` never names an Effect type — Effect stays in the engine.
+ */
+export declare function runBoundedBranches<A>(thunks: readonly (() => Promise<A>)[], concurrency: number, signal?: AbortSignal): Promise<Result<readonly A[], Error>>;
+/**
+ * Make a unit of engine work cancellable by an `AbortSignal`. When the signal fires, the cancel
+ * branch wins the race and the `work` fiber — together with any in-flight fan-out children under
+ * it — is interrupted via structured concurrency; `onCancel()` then produces a `cancelled`
+ * outcome (it is a thunk so the caller can fold in last-known/partial state). With no signal the
+ * work runs unchanged.
+ */
+export declare function runCancellable<S>(work: Effect.Effect<EngineOutcome<S>, Error>, onCancel: () => EngineOutcome<S>, signal?: AbortSignal): Effect.Effect<EngineOutcome<S>, Error>;
+/** Engine-internal DI tag carrying the plain `FlowContext` snapshot. */
+export declare const FlowContextTag: Context.Tag<FlowContext, FlowContext>;
+/** Build a Layer providing a captured `FlowContext` snapshot to engine effects. */
+export declare function flowContextLayer(context: FlowContext): Layer.Layer<FlowContext>;
+/**
+ * Provide the ambient flow context to an engine effect. The snapshot is read with the plain,
+ * Effect-free `currentFlowContext()` accessor at the boundary and handed to the engine as a
+ * Layer — so DI is Effect `Layer` internally while the authoring accessors stay plain.
+ */
+export declare function withAmbientFlowContext<A, E>(effect: Effect.Effect<A, E, FlowContext>): Effect.Effect<A, E>;
+export declare const engineFs: Effect.Effect<import("../../index.ts").FsTool, never, FlowContext>;
+export declare const engineGit: Effect.Effect<import("../../index.ts").GitTool, never, FlowContext>;
+export declare const engineLlm: Effect.Effect<import("../../index.ts").LlmTool, never, FlowContext>;
+//# sourceMappingURL=index.d.ts.map

package/dist/loop/engine/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/loop/engine/index.ts"],"names":[],"mappings":"AAYA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AAChD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AACzC,OAAO,EAAsB,KAAK,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAG7E,cAAc,aAAa,CAAC;AAE5B,oGAAoG;AACpG,MAAM,WAAW,aAAa,CAAC,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;IAClB,QAAQ,CAAC,UAAU,EAAE,cAAc,CAAC;IACpC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,+GAA+G;AAC/G,MAAM,MAAM,aAAa,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,IAAI,CAAC,KAAK,EAAE,CAAC,EAAE,SAAS,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;AAEtG,MAAM,WAAW,cAAc,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK;IAC1C,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACtC,6FAA6F;IAC7F,QAAQ,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,MAAM,CAAC;IACvC,oCAAoC;IACpC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,6FAA6F;IAC7F,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;CACjC;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAoBjH;AAED,MAAM,WAAW,YAAY,CAAC,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC;IACtD,+DAA+D;IAC/D,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,EAAE,KAAK,CAAC,CAExF;AAED;;;;;;;;GAQG;AACH,wBAAsB,kBAAkB,CAAC,CAAC,EACxC,MAAM,EAAE,SAAS,CAAC,MAAM,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,EACrC,WAAW,EAAE,MAAM,EACnB,MAAM,CAAC,EAAE,WAAW,GACnB,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAQtC;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,CAAC,EAC9B,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAC5C,QAAQ,EAAE,MAAM,aAAa,CAAC,CAAC,CAAC,EAChC,MAAM,CAAC,EAAE,WAAW,GACnB,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAMxC;AAoBD,wEAAwE;AACxE,eAAO,MAAM,cAAc,uCAA2D,CAAC;AAEvF,mFAAmF;AACnF,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,WAAW,GAAG,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,CAE/E;AAED;;;;GAIG;AACH,wBAAgB,sBAAsB,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAE1G;AAID,eAAO,MAAM,QAAQ,oEAAsD,CAAC;AAC5E,eAAO,MAAM,SAAS,qEAAuD,CAAC;AAC9E,eAAO,MAAM,SAAS,qEAAuD,CAAC"}