ferix-code 0.0.2-beta.16 → 0.0.2-beta.18

package/dist/index.d.ts

@@ -1,4 +1,4 @@
-import { Schema, Brand, Stream, Effect, Context, Layer } from 'effect';
+import { Schema, Either, Brand, ParseResult, Stream, Effect, Context, Layer } from 'effect';
 import * as effect_Cause from 'effect/Cause';
 import * as effect_Types from 'effect/Types';
 import * as effect_Effect from 'effect/Effect';
@@ -96,7 +96,7 @@ declare const GitError_base: new <A extends Record<string, any> = {}>(args: effe
  */
 declare class GitError extends GitError_base<{
     readonly message: string;
-    readonly operation: "createWorktree" | "removeWorktree" | "commit" | "push" | "createPR" | "status";
+    readonly operation: "createWorktree" | "removeWorktree" | "removeWorktreeKeepBranch" | "commit" | "push" | "createPR" | "renameBranch" | "status";
     readonly cause?: unknown;
 }> {
 }
@@ -105,6 +105,539 @@ declare class GitError extends GitError_base<{
  */
 type FerixError = LLMError | ParseError | PlanStoreError | SessionStoreError | ProgressStoreError | GuardrailsStoreError | OrchestratorError | GitError;
 
+/**
+ * Text delta event - streamed text content.
+ */
+declare const TextDeltaSchema: Schema.Struct<{
+    type: Schema.Literal<["text_delta"]>;
+    text: typeof Schema.String;
+}>;
+type TextDelta = typeof TextDeltaSchema.Type;
+/**
+ * Input JSON delta - partial tool input being streamed.
+ */
+declare const InputJsonDeltaSchema: Schema.Struct<{
+    type: Schema.Literal<["input_json_delta"]>;
+    partial_json: typeof Schema.String;
+}>;
+type InputJsonDelta = typeof InputJsonDeltaSchema.Type;
+/**
+ * Delta union - either text or input JSON delta.
+ */
+declare const DeltaSchema: Schema.Union<[Schema.Struct<{
+    type: Schema.Literal<["text_delta"]>;
+    text: typeof Schema.String;
+}>, Schema.Struct<{
+    type: Schema.Literal<["input_json_delta"]>;
+    partial_json: typeof Schema.String;
+}>]>;
+type Delta = typeof DeltaSchema.Type;
+/**
+ * Text content block in an assistant message.
+ */
+declare const TextContentBlockSchema: Schema.Struct<{
+    type: Schema.Literal<["text"]>;
+    text: typeof Schema.String;
+}>;
+type TextContentBlock = typeof TextContentBlockSchema.Type;
+/**
+ * Tool use content block with name and input.
+ */
+declare const ToolUseContentBlockSchema: Schema.Struct<{
+    type: Schema.Literal<["tool_use"]>;
+    id: Schema.optional<typeof Schema.String>;
+    name: typeof Schema.String;
+    input: typeof Schema.Unknown;
+}>;
+type ToolUseContentBlock = typeof ToolUseContentBlockSchema.Type;
+/**
+ * Content block union for assistant messages.
+ */
+declare const ContentBlockSchema: Schema.Union<[Schema.Struct<{
+    type: Schema.Literal<["text"]>;
+    text: typeof Schema.String;
+}>, Schema.Struct<{
+    type: Schema.Literal<["tool_use"]>;
+    id: Schema.optional<typeof Schema.String>;
+    name: typeof Schema.String;
+    input: typeof Schema.Unknown;
+}>]>;
+type ContentBlock = typeof ContentBlockSchema.Type;
+/**
+ * Content block start event - beginning of a content block.
+ */
+declare const ContentBlockStartSchema: Schema.Struct<{
+    type: Schema.Literal<["content_block_start"]>;
+    index: Schema.optional<typeof Schema.Number>;
+    content_block: Schema.Union<[Schema.Struct<{
+        type: Schema.Literal<["text"]>;
+        text: Schema.optional<typeof Schema.String>;
+    }>, Schema.Struct<{
+        type: Schema.Literal<["tool_use"]>;
+        id: Schema.optional<typeof Schema.String>;
+        name: typeof Schema.String;
+        input: Schema.optional<typeof Schema.Unknown>;
+    }>]>;
+}>;
+type ContentBlockStart = typeof ContentBlockStartSchema.Type;
+/**
+ * Content block delta event - incremental update to a content block.
+ */
+declare const ContentBlockDeltaSchema: Schema.Struct<{
+    type: Schema.Literal<["content_block_delta"]>;
+    index: Schema.optional<typeof Schema.Number>;
+    delta: Schema.Union<[Schema.Struct<{
+        type: Schema.Literal<["text_delta"]>;
+        text: typeof Schema.String;
+    }>, Schema.Struct<{
+        type: Schema.Literal<["input_json_delta"]>;
+        partial_json: typeof Schema.String;
+    }>]>;
+}>;
+type ContentBlockDelta = typeof ContentBlockDeltaSchema.Type;
+/**
+ * Content block stop event - end of a content block.
+ */
+declare const ContentBlockStopSchema: Schema.Struct<{
+    type: Schema.Literal<["content_block_stop"]>;
+    index: Schema.optional<typeof Schema.Number>;
+}>;
+type ContentBlockStop = typeof ContentBlockStopSchema.Type;
+/**
+ * Assistant message event with full content.
+ */
+declare const AssistantMessageSchema: Schema.Struct<{
+    type: Schema.Literal<["assistant"]>;
+    message: Schema.Struct<{
+        content: Schema.Array$<Schema.Union<[Schema.Struct<{
+            type: Schema.Literal<["text"]>;
+            text: typeof Schema.String;
+        }>, Schema.Struct<{
+            type: Schema.Literal<["tool_use"]>;
+            id: Schema.optional<typeof Schema.String>;
+            name: typeof Schema.String;
+            input: typeof Schema.Unknown;
+        }>]>>;
+    }>;
+}>;
+type AssistantMessage = typeof AssistantMessageSchema.Type;
+/**
+ * Stream event envelope - CLI wraps streaming events in this format.
+ */
+declare const StreamEventEnvelopeSchema: Schema.Struct<{
+    type: Schema.Literal<["stream_event"]>;
+    event: typeof Schema.Unknown;
+}>;
+type StreamEventEnvelope = typeof StreamEventEnvelopeSchema.Type;
+/**
+ * Union of all Claude/Cursor CLI streaming events.
+ */
+declare const ClaudeCliEventSchema: Schema.Union<[Schema.Struct<{
+    type: Schema.Literal<["content_block_start"]>;
+    index: Schema.optional<typeof Schema.Number>;
+    content_block: Schema.Union<[Schema.Struct<{
+        type: Schema.Literal<["text"]>;
+        text: Schema.optional<typeof Schema.String>;
+    }>, Schema.Struct<{
+        type: Schema.Literal<["tool_use"]>;
+        id: Schema.optional<typeof Schema.String>;
+        name: typeof Schema.String;
+        input: Schema.optional<typeof Schema.Unknown>;
+    }>]>;
+}>, Schema.Struct<{
+    type: Schema.Literal<["content_block_delta"]>;
+    index: Schema.optional<typeof Schema.Number>;
+    delta: Schema.Union<[Schema.Struct<{
+        type: Schema.Literal<["text_delta"]>;
+        text: typeof Schema.String;
+    }>, Schema.Struct<{
+        type: Schema.Literal<["input_json_delta"]>;
+        partial_json: typeof Schema.String;
+    }>]>;
+}>, Schema.Struct<{
+    type: Schema.Literal<["content_block_stop"]>;
+    index: Schema.optional<typeof Schema.Number>;
+}>, Schema.Struct<{
+    type: Schema.Literal<["assistant"]>;
+    message: Schema.Struct<{
+        content: Schema.Array$<Schema.Union<[Schema.Struct<{
+            type: Schema.Literal<["text"]>;
+            text: typeof Schema.String;
+        }>, Schema.Struct<{
+            type: Schema.Literal<["tool_use"]>;
+            id: Schema.optional<typeof Schema.String>;
+            name: typeof Schema.String;
+            input: typeof Schema.Unknown;
+        }>]>>;
+    }>;
+}>, Schema.Struct<{
+    type: Schema.Literal<["stream_event"]>;
+    event: typeof Schema.Unknown;
+}>]>;
+type ClaudeCliEvent = typeof ClaudeCliEventSchema.Type;
+/**
+ * Type guards using Effect Schema.
+ */
+declare const isContentBlockStart: (u: unknown, overrideOptions?: effect_SchemaAST.ParseOptions | number) => u is {
+    readonly type: "content_block_start";
+    readonly index?: number | undefined;
+    readonly content_block: {
+        readonly type: "text";
+        readonly text?: string | undefined;
+    } | {
+        readonly type: "tool_use";
+        readonly input?: unknown;
+        readonly id?: string | undefined;
+        readonly name: string;
+    };
+};
+declare const isContentBlockDelta: (u: unknown, overrideOptions?: effect_SchemaAST.ParseOptions | number) => u is {
+    readonly type: "content_block_delta";
+    readonly index?: number | undefined;
+    readonly delta: {
+        readonly type: "text_delta";
+        readonly text: string;
+    } | {
+        readonly type: "input_json_delta";
+        readonly partial_json: string;
+    };
+};
+declare const isContentBlockStop: (u: unknown, overrideOptions?: effect_SchemaAST.ParseOptions | number) => u is {
+    readonly type: "content_block_stop";
+    readonly index?: number | undefined;
+};
+declare const isAssistantMessage: (u: unknown, overrideOptions?: effect_SchemaAST.ParseOptions | number) => u is {
+    readonly type: "assistant";
+    readonly message: {
+        readonly content: readonly ({
+            readonly type: "text";
+            readonly text: string;
+        } | {
+            readonly type: "tool_use";
+            readonly input: unknown;
+            readonly id?: string | undefined;
+            readonly name: string;
+        })[];
+    };
+};
+declare const isStreamEventEnvelope: (u: unknown, overrideOptions?: effect_SchemaAST.ParseOptions | number) => u is {
+    readonly type: "stream_event";
+    readonly event: unknown;
+};
+declare const isTextDelta: (u: unknown, overrideOptions?: effect_SchemaAST.ParseOptions | number) => u is {
+    readonly type: "text_delta";
+    readonly text: string;
+};
+declare const isInputJsonDelta: (u: unknown, overrideOptions?: effect_SchemaAST.ParseOptions | number) => u is {
+    readonly type: "input_json_delta";
+    readonly partial_json: string;
+};
+declare const isToolUseContentBlock: (u: unknown, overrideOptions?: effect_SchemaAST.ParseOptions | number) => u is {
+    readonly type: "tool_use";
+    readonly input: unknown;
+    readonly id?: string | undefined;
+    readonly name: string;
+};
+declare const isTextContentBlock: (u: unknown, overrideOptions?: effect_SchemaAST.ParseOptions | number) => u is {
+    readonly type: "text";
+    readonly text: string;
+};
+/**
+ * Decode helpers.
+ */
+declare const decodeClaudeCliEvent: (u: unknown, overrideOptions?: effect_SchemaAST.ParseOptions) => effect_Effect.Effect<{
+    readonly type: "content_block_start";
+    readonly index?: number | undefined;
+    readonly content_block: {
+        readonly type: "text";
+        readonly text?: string | undefined;
+    } | {
+        readonly type: "tool_use";
+        readonly input?: unknown;
+        readonly id?: string | undefined;
+        readonly name: string;
+    };
+} | {
+    readonly type: "content_block_delta";
+    readonly index?: number | undefined;
+    readonly delta: {
+        readonly type: "text_delta";
+        readonly text: string;
+    } | {
+        readonly type: "input_json_delta";
+        readonly partial_json: string;
+    };
+} | {
+    readonly type: "content_block_stop";
+    readonly index?: number | undefined;
+} | {
+    readonly type: "assistant";
+    readonly message: {
+        readonly content: readonly ({
+            readonly type: "text";
+            readonly text: string;
+        } | {
+            readonly type: "tool_use";
+            readonly input: unknown;
+            readonly id?: string | undefined;
+            readonly name: string;
+        })[];
+    };
+} | {
+    readonly type: "stream_event";
+    readonly event: unknown;
+}, effect_ParseResult.ParseError, never>;
+declare const decodeClaudeCliEventSync: (u: unknown, overrideOptions?: effect_SchemaAST.ParseOptions) => {
+    readonly type: "content_block_start";
+    readonly index?: number | undefined;
+    readonly content_block: {
+        readonly type: "text";
+        readonly text?: string | undefined;
+    } | {
+        readonly type: "tool_use";
+        readonly input?: unknown;
+        readonly id?: string | undefined;
+        readonly name: string;
+    };
+} | {
+    readonly type: "content_block_delta";
+    readonly index?: number | undefined;
+    readonly delta: {
+        readonly type: "text_delta";
+        readonly text: string;
+    } | {
+        readonly type: "input_json_delta";
+        readonly partial_json: string;
+    };
+} | {
+    readonly type: "content_block_stop";
+    readonly index?: number | undefined;
+} | {
+    readonly type: "assistant";
+    readonly message: {
+        readonly content: readonly ({
+            readonly type: "text";
+            readonly text: string;
+        } | {
+            readonly type: "tool_use";
+            readonly input: unknown;
+            readonly id?: string | undefined;
+            readonly name: string;
+        })[];
+    };
+} | {
+    readonly type: "stream_event";
+    readonly event: unknown;
+};
+
+/**
+ * Text content event from OpenCode.
+ */
+declare const OpenCodeTextEventSchema: Schema.Struct<{
+    type: Schema.Literal<["text"]>;
+    text: typeof Schema.String;
+}>;
+type OpenCodeTextEvent = typeof OpenCodeTextEventSchema.Type;
+/**
+ * Tool state within a tool_use event.
+ */
+declare const OpenCodeToolStateSchema: Schema.Struct<{
+    status: typeof Schema.String;
+    input: typeof Schema.Unknown;
+    output: Schema.optional<typeof Schema.String>;
+}>;
+type OpenCodeToolState = typeof OpenCodeToolStateSchema.Type;
+/**
+ * Tool part within a tool_use event.
+ */
+declare const OpenCodeToolPartSchema: Schema.Struct<{
+    tool: typeof Schema.String;
+    callID: typeof Schema.String;
+    state: Schema.Struct<{
+        status: typeof Schema.String;
+        input: typeof Schema.Unknown;
+        output: Schema.optional<typeof Schema.String>;
+    }>;
+}>;
+type OpenCodeToolPart = typeof OpenCodeToolPartSchema.Type;
+/**
+ * Tool use event from OpenCode - complete tool invocation with input/output.
+ */
+declare const OpenCodeToolUseEventSchema: Schema.Struct<{
+    type: Schema.Literal<["tool_use"]>;
+    part: Schema.Struct<{
+        tool: typeof Schema.String;
+        callID: typeof Schema.String;
+        state: Schema.Struct<{
+            status: typeof Schema.String;
+            input: typeof Schema.Unknown;
+            output: Schema.optional<typeof Schema.String>;
+        }>;
+    }>;
+}>;
+type OpenCodeToolUseEvent = typeof OpenCodeToolUseEventSchema.Type;
+/**
+ * Part information in step_start events.
+ */
+declare const OpenCodeStepPartSchema: Schema.extend<Schema.Struct<{}>, Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>;
+type OpenCodeStepPart = typeof OpenCodeStepPartSchema.Type;
+/**
+ * Step start event from OpenCode.
+ */
+declare const OpenCodeStepStartSchema: Schema.Struct<{
+    type: Schema.Literal<["step_start"]>;
+    timestamp: typeof Schema.Number;
+    sessionID: typeof Schema.String;
+    part: Schema.optional<Schema.extend<Schema.Struct<{}>, Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>>;
+}>;
+type OpenCodeStepStart = typeof OpenCodeStepStartSchema.Type;
+/**
+ * Token information in step_finish events.
+ */
+declare const OpenCodeTokensSchema: Schema.extend<Schema.Struct<{}>, Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>;
+type OpenCodeTokens = typeof OpenCodeTokensSchema.Type;
+/**
+ * Cost information in step_finish events.
+ */
+declare const OpenCodeCostSchema: Schema.extend<Schema.Struct<{}>, Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>;
+type OpenCodeCost = typeof OpenCodeCostSchema.Type;
+/**
+ * Step finish event from OpenCode.
+ */
+declare const OpenCodeStepFinishSchema: Schema.Struct<{
+    type: Schema.Literal<["step_finish"]>;
+    tokens: Schema.optional<Schema.extend<Schema.Struct<{}>, Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>>;
+    cost: Schema.optional<Schema.extend<Schema.Struct<{}>, Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>>;
+}>;
+type OpenCodeStepFinish = typeof OpenCodeStepFinishSchema.Type;
+/**
+ * Union of all OpenCode CLI streaming events.
+ */
+declare const OpenCodeCliEventSchema: Schema.Union<[Schema.Struct<{
+    type: Schema.Literal<["text"]>;
+    text: typeof Schema.String;
+}>, Schema.Struct<{
+    type: Schema.Literal<["tool_use"]>;
+    part: Schema.Struct<{
+        tool: typeof Schema.String;
+        callID: typeof Schema.String;
+        state: Schema.Struct<{
+            status: typeof Schema.String;
+            input: typeof Schema.Unknown;
+            output: Schema.optional<typeof Schema.String>;
+        }>;
+    }>;
+}>, Schema.Struct<{
+    type: Schema.Literal<["step_start"]>;
+    timestamp: typeof Schema.Number;
+    sessionID: typeof Schema.String;
+    part: Schema.optional<Schema.extend<Schema.Struct<{}>, Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>>;
+}>, Schema.Struct<{
+    type: Schema.Literal<["step_finish"]>;
+    tokens: Schema.optional<Schema.extend<Schema.Struct<{}>, Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>>;
+    cost: Schema.optional<Schema.extend<Schema.Struct<{}>, Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>>;
+}>]>;
+type OpenCodeCliEvent = typeof OpenCodeCliEventSchema.Type;
+/**
+ * Type guards using Effect Schema.
+ */
+declare const isOpenCodeTextEvent: (u: unknown, overrideOptions?: effect_SchemaAST.ParseOptions | number) => u is {
+    readonly type: "text";
+    readonly text: string;
+};
+declare const isOpenCodeToolUseEvent: (u: unknown, overrideOptions?: effect_SchemaAST.ParseOptions | number) => u is {
+    readonly type: "tool_use";
+    readonly part: {
+        readonly tool: string;
+        readonly callID: string;
+        readonly state: {
+            readonly input: unknown;
+            readonly status: string;
+            readonly output?: string | undefined;
+        };
+    };
+};
+declare const isOpenCodeStepStart: (u: unknown, overrideOptions?: effect_SchemaAST.ParseOptions | number) => u is {
+    readonly type: "step_start";
+    readonly part?: ({} & {
+        readonly [x: string]: unknown;
+    }) | undefined;
+    readonly timestamp: number;
+    readonly sessionID: string;
+};
+declare const isOpenCodeStepFinish: (u: unknown, overrideOptions?: effect_SchemaAST.ParseOptions | number) => u is {
+    readonly type: "step_finish";
+    readonly tokens?: ({} & {
+        readonly [x: string]: unknown;
+    }) | undefined;
+    readonly cost?: ({} & {
+        readonly [x: string]: unknown;
+    }) | undefined;
+};
+/**
+ * Decode helpers.
+ */
+declare const decodeOpenCodeCliEvent: (u: unknown, overrideOptions?: effect_SchemaAST.ParseOptions) => effect_Effect.Effect<{
+    readonly type: "text";
+    readonly text: string;
+} | {
+    readonly type: "tool_use";
+    readonly part: {
+        readonly tool: string;
+        readonly callID: string;
+        readonly state: {
+            readonly input: unknown;
+            readonly status: string;
+            readonly output?: string | undefined;
+        };
+    };
+} | {
+    readonly type: "step_start";
+    readonly part?: ({} & {
+        readonly [x: string]: unknown;
+    }) | undefined;
+    readonly timestamp: number;
+    readonly sessionID: string;
+} | {
+    readonly type: "step_finish";
+    readonly tokens?: ({} & {
+        readonly [x: string]: unknown;
+    }) | undefined;
+    readonly cost?: ({} & {
+        readonly [x: string]: unknown;
+    }) | undefined;
+}, effect_ParseResult.ParseError, never>;
+declare const decodeOpenCodeCliEventSync: (u: unknown, overrideOptions?: effect_SchemaAST.ParseOptions) => {
+    readonly type: "text";
+    readonly text: string;
+} | {
+    readonly type: "tool_use";
+    readonly part: {
+        readonly tool: string;
+        readonly callID: string;
+        readonly state: {
+            readonly input: unknown;
+            readonly status: string;
+            readonly output?: string | undefined;
+        };
+    };
+} | {
+    readonly type: "step_start";
+    readonly part?: ({} & {
+        readonly [x: string]: unknown;
+    }) | undefined;
+    readonly timestamp: number;
+    readonly sessionID: string;
+} | {
+    readonly type: "step_finish";
+    readonly tokens?: ({} & {
+        readonly [x: string]: unknown;
+    }) | undefined;
+    readonly cost?: ({} & {
+        readonly [x: string]: unknown;
+    }) | undefined;
+};
+
 /**
  * Supported LLM provider names.
  */
@@ -491,6 +1024,17 @@ declare const WorktreeRemovedEventSchema: Schema.TaggedStruct<"WorktreeRemoved",
     timestamp: typeof Schema.Number;
 }>;
 type WorktreeRemovedEvent = typeof WorktreeRemovedEventSchema.Type;
+/**
+ * Session name generated event - signals that the LLM generated a descriptive name for the session.
+ * Emitted during the discovery phase after the session name signal is parsed.
+ */
+declare const SessionNameGeneratedEventSchema: Schema.TaggedStruct<"SessionNameGenerated", {
+    sessionId: typeof Schema.String;
+    /** Task-based descriptive name (kebab-case slug, e.g., "add-dark-mode-toggle") */
+    displayName: typeof Schema.String;
+    timestamp: typeof Schema.Number;
+}>;
+type SessionNameGeneratedEvent = typeof SessionNameGeneratedEventSchema.Type;
 /**
  * Union of all domain events.
  */
@@ -676,11 +1220,16 @@ declare const DomainEventSchema: Schema.Union<[Schema.TaggedStruct<"LoopStarted"
 }>, Schema.TaggedStruct<"WorktreeRemoved", {
     sessionId: typeof Schema.String;
     timestamp: typeof Schema.Number;
+}>, Schema.TaggedStruct<"SessionNameGenerated", {
+    sessionId: typeof Schema.String;
+    /** Task-based descriptive name (kebab-case slug, e.g., "add-dark-mode-toggle") */
+    displayName: typeof Schema.String;
+    timestamp: typeof Schema.Number;
 }>]>;
 /**
  * Explicit discriminated union type for proper TypeScript narrowing.
  */
-type DomainEvent = LoopStartedEvent | LoopCompletedEvent | LoopFailedEvent | DiscoveryStartedEvent | DiscoveryCompletedEvent | IterationStartedEvent | IterationCompletedEvent | LLMTextEvent | LLMToolStartEvent | LLMToolUseEvent | LLMToolEndEvent | TasksDefinedEvent | PhasesDefinedEvent | CriteriaDefinedEvent | PhaseStartedEvent | PhaseCompletedEvent | PhaseFailedEvent | CriterionPassedEvent | CriterionFailedEvent | CheckPassedEvent | CheckFailedEvent | ReviewCompleteEvent | TaskCompletedEvent | PlanCreatedEvent | PlanUpdatedEvent | PlanUpdateFailedEvent | LearningRecordedEvent | GuardrailAddedEvent | ProgressUpdatedEvent | WorktreeCreatedEvent | WorktreeRemovedEvent;
+type DomainEvent = LoopStartedEvent | LoopCompletedEvent | LoopFailedEvent | DiscoveryStartedEvent | DiscoveryCompletedEvent | IterationStartedEvent | IterationCompletedEvent | LLMTextEvent | LLMToolStartEvent | LLMToolUseEvent | LLMToolEndEvent | TasksDefinedEvent | PhasesDefinedEvent | CriteriaDefinedEvent | PhaseStartedEvent | PhaseCompletedEvent | PhaseFailedEvent | CriterionPassedEvent | CriterionFailedEvent | CheckPassedEvent | CheckFailedEvent | ReviewCompleteEvent | TaskCompletedEvent | PlanCreatedEvent | PlanUpdatedEvent | PlanUpdateFailedEvent | LearningRecordedEvent | GuardrailAddedEvent | ProgressUpdatedEvent | WorktreeCreatedEvent | WorktreeRemovedEvent | SessionNameGeneratedEvent;
 /**
  * Type guard utilities for domain events.
  */
@@ -759,16 +1308,315 @@ declare const decodeGuardrailsFile: (u: unknown, overrideOptions?: effect_Schema
     }[];
 }, effect_ParseResult.ParseError, never>;
 
+/**
+ * Read tool input schema.
+ */
+declare const ReadToolInputSchema: Schema.extend<Schema.Struct<{
+    file_path: typeof Schema.String;
+    offset: Schema.optional<typeof Schema.Number>;
+    limit: Schema.optional<typeof Schema.Number>;
+}>, Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>;
+type ReadToolInput = typeof ReadToolInputSchema.Type;
+/**
+ * Edit tool input schema.
+ */
+declare const EditToolInputSchema: Schema.extend<Schema.Struct<{
+    file_path: typeof Schema.String;
+    old_string: typeof Schema.String;
+    new_string: typeof Schema.String;
+    replace_all: Schema.optional<typeof Schema.Boolean>;
+}>, Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>;
+type EditToolInput = typeof EditToolInputSchema.Type;
+/**
+ * Write tool input schema.
+ */
+declare const WriteToolInputSchema: Schema.extend<Schema.Struct<{
+    file_path: typeof Schema.String;
+    content: typeof Schema.String;
+}>, Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>;
+type WriteToolInput = typeof WriteToolInputSchema.Type;
+/**
+ * Bash tool input schema.
+ */
+declare const BashToolInputSchema: Schema.extend<Schema.Struct<{
+    command: typeof Schema.String;
+    description: Schema.optional<typeof Schema.String>;
+    timeout: Schema.optional<typeof Schema.Number>;
+    run_in_background: Schema.optional<typeof Schema.Boolean>;
+}>, Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>;
+type BashToolInput = typeof BashToolInputSchema.Type;
+/**
+ * Glob tool input schema.
+ */
+declare const GlobToolInputSchema: Schema.extend<Schema.Struct<{
+    pattern: typeof Schema.String;
+    path: Schema.optional<typeof Schema.String>;
+}>, Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>;
+type GlobToolInput = typeof GlobToolInputSchema.Type;
+/**
+ * Grep tool input schema.
+ */
+declare const GrepToolInputSchema: Schema.extend<Schema.Struct<{
+    pattern: typeof Schema.String;
+    path: Schema.optional<typeof Schema.String>;
+    glob: Schema.optional<typeof Schema.String>;
+    type: Schema.optional<typeof Schema.String>;
+    output_mode: Schema.optional<Schema.Literal<["content", "files_with_matches", "count"]>>;
+}>, Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>;
+type GrepToolInput = typeof GrepToolInputSchema.Type;
+/**
+ * Task tool input schema.
+ */
+declare const TaskToolInputSchema: Schema.extend<Schema.Struct<{
+    description: typeof Schema.String;
+    prompt: Schema.optional<typeof Schema.String>;
+}>, Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>;
+type TaskToolInput = typeof TaskToolInputSchema.Type;
+/**
+ * WebFetch tool input schema.
+ */
+declare const WebFetchToolInputSchema: Schema.extend<Schema.Struct<{
+    url: typeof Schema.String;
+    prompt: Schema.optional<typeof Schema.String>;
+}>, Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>;
+type WebFetchToolInput = typeof WebFetchToolInputSchema.Type;
+/**
+ * WebSearch tool input schema.
+ */
+declare const WebSearchToolInputSchema: Schema.extend<Schema.Struct<{
+    query: typeof Schema.String;
+}>, Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>;
+type WebSearchToolInput = typeof WebSearchToolInputSchema.Type;
+/**
+ * Registry of tool input schemas.
+ */
+declare const ToolInputSchemaRegistry: {
+    readonly read: Schema.extend<Schema.Struct<{
+        file_path: typeof Schema.String;
+        offset: Schema.optional<typeof Schema.Number>;
+        limit: Schema.optional<typeof Schema.Number>;
+    }>, Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>;
+    readonly edit: Schema.extend<Schema.Struct<{
+        file_path: typeof Schema.String;
+        old_string: typeof Schema.String;
+        new_string: typeof Schema.String;
+        replace_all: Schema.optional<typeof Schema.Boolean>;
+    }>, Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>;
+    readonly write: Schema.extend<Schema.Struct<{
+        file_path: typeof Schema.String;
+        content: typeof Schema.String;
+    }>, Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>;
+    readonly bash: Schema.extend<Schema.Struct<{
+        command: typeof Schema.String;
+        description: Schema.optional<typeof Schema.String>;
+        timeout: Schema.optional<typeof Schema.Number>;
+        run_in_background: Schema.optional<typeof Schema.Boolean>;
+    }>, Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>;
+    readonly glob: Schema.extend<Schema.Struct<{
+        pattern: typeof Schema.String;
+        path: Schema.optional<typeof Schema.String>;
+    }>, Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>;
+    readonly grep: Schema.extend<Schema.Struct<{
+        pattern: typeof Schema.String;
+        path: Schema.optional<typeof Schema.String>;
+        glob: Schema.optional<typeof Schema.String>;
+        type: Schema.optional<typeof Schema.String>;
+        output_mode: Schema.optional<Schema.Literal<["content", "files_with_matches", "count"]>>;
+    }>, Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>;
+    readonly task: Schema.extend<Schema.Struct<{
+        description: typeof Schema.String;
+        prompt: Schema.optional<typeof Schema.String>;
+    }>, Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>;
+    readonly webfetch: Schema.extend<Schema.Struct<{
+        url: typeof Schema.String;
+        prompt: Schema.optional<typeof Schema.String>;
+    }>, Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>;
+    readonly websearch: Schema.extend<Schema.Struct<{
+        query: typeof Schema.String;
+    }>, Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>;
+};
+/**
+ * Known tool names.
+ */
+type KnownToolName = keyof typeof ToolInputSchemaRegistry;
+/**
+ * Get the input schema for a tool.
+ *
+ * @param tool - Tool name (case-insensitive)
+ * @returns Schema for the tool or undefined if not found
+ */
+declare function getToolInputSchema(tool: string): Schema.Schema<AnyToolInput, AnyToolInput, never> | undefined;
+/**
+ * Union of all known tool inputs.
+ */
+declare const AnyToolInputSchema: Schema.Union<[Schema.extend<Schema.Struct<{
+    file_path: typeof Schema.String;
+    offset: Schema.optional<typeof Schema.Number>;
+    limit: Schema.optional<typeof Schema.Number>;
+}>, Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>, Schema.extend<Schema.Struct<{
+    file_path: typeof Schema.String;
+    old_string: typeof Schema.String;
+    new_string: typeof Schema.String;
+    replace_all: Schema.optional<typeof Schema.Boolean>;
+}>, Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>, Schema.extend<Schema.Struct<{
+    file_path: typeof Schema.String;
+    content: typeof Schema.String;
+}>, Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>, Schema.extend<Schema.Struct<{
+    command: typeof Schema.String;
+    description: Schema.optional<typeof Schema.String>;
+    timeout: Schema.optional<typeof Schema.Number>;
+    run_in_background: Schema.optional<typeof Schema.Boolean>;
+}>, Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>, Schema.extend<Schema.Struct<{
+    pattern: typeof Schema.String;
+    path: Schema.optional<typeof Schema.String>;
+}>, Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>, Schema.extend<Schema.Struct<{
+    pattern: typeof Schema.String;
+    path: Schema.optional<typeof Schema.String>;
+    glob: Schema.optional<typeof Schema.String>;
+    type: Schema.optional<typeof Schema.String>;
+    output_mode: Schema.optional<Schema.Literal<["content", "files_with_matches", "count"]>>;
+}>, Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>, Schema.extend<Schema.Struct<{
+    description: typeof Schema.String;
+    prompt: Schema.optional<typeof Schema.String>;
+}>, Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>, Schema.extend<Schema.Struct<{
+    url: typeof Schema.String;
+    prompt: Schema.optional<typeof Schema.String>;
+}>, Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>, Schema.extend<Schema.Struct<{
+    query: typeof Schema.String;
+}>, Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>]>;
+type AnyToolInput = typeof AnyToolInputSchema.Type;
+/**
+ * Validate a tool input against its schema.
+ *
+ * @param tool - Tool name
+ * @param input - Input to validate
+ * @returns Either with validated input or parse error
+ */
+declare function validateToolInput(tool: string, input: unknown): Either.Either<AnyToolInput, unknown>;
+/**
+ * Type guards for specific tool inputs.
+ */
+declare const isReadToolInput: (u: unknown, overrideOptions?: effect_SchemaAST.ParseOptions | number) => u is {
+    readonly file_path: string;
+    readonly offset?: number | undefined;
+    readonly limit?: number | undefined;
+} & {
+    readonly [x: string]: unknown;
+};
+declare const isEditToolInput: (u: unknown, overrideOptions?: effect_SchemaAST.ParseOptions | number) => u is {
+    readonly file_path: string;
+    readonly old_string: string;
+    readonly new_string: string;
+    readonly replace_all?: boolean | undefined;
+} & {
+    readonly [x: string]: unknown;
+};
+declare const isWriteToolInput: (u: unknown, overrideOptions?: effect_SchemaAST.ParseOptions | number) => u is {
+    readonly content: string;
+    readonly file_path: string;
+} & {
+    readonly [x: string]: unknown;
+};
+declare const isBashToolInput: (u: unknown, overrideOptions?: effect_SchemaAST.ParseOptions | number) => u is {
+    readonly description?: string | undefined;
+    readonly command: string;
+    readonly timeout?: number | undefined;
+    readonly run_in_background?: boolean | undefined;
+} & {
+    readonly [x: string]: unknown;
+};
+declare const isGlobToolInput: (u: unknown, overrideOptions?: effect_SchemaAST.ParseOptions | number) => u is {
+    readonly pattern: string;
+    readonly path?: string | undefined;
+} & {
+    readonly [x: string]: unknown;
+};
+declare const isGrepToolInput: (u: unknown, overrideOptions?: effect_SchemaAST.ParseOptions | number) => u is {
+    readonly type?: string | undefined;
+    readonly pattern: string;
+    readonly path?: string | undefined;
+    readonly glob?: string | undefined;
+    readonly output_mode?: "content" | "files_with_matches" | "count" | undefined;
+} & {
+    readonly [x: string]: unknown;
+};
+declare const isTaskToolInput: (u: unknown, overrideOptions?: effect_SchemaAST.ParseOptions | number) => u is {
+    readonly description: string;
+    readonly prompt?: string | undefined;
+} & {
+    readonly [x: string]: unknown;
+};
+declare const isWebFetchToolInput: (u: unknown, overrideOptions?: effect_SchemaAST.ParseOptions | number) => u is {
+    readonly prompt?: string | undefined;
+    readonly url: string;
+} & {
+    readonly [x: string]: unknown;
+};
+declare const isWebSearchToolInput: (u: unknown, overrideOptions?: effect_SchemaAST.ParseOptions | number) => u is {
+    readonly query: string;
+} & {
+    readonly [x: string]: unknown;
+};
+
 declare const TextEventSchema: Schema.TaggedStruct<"Text", {
     text: typeof Schema.String;
 }>;
 declare const ToolStartEventSchema: Schema.TaggedStruct<"ToolStart", {
     tool: typeof Schema.String;
 }>;
+/**
+ * Tool use event schema.
+ *
+ * The input field uses AnyToolInputSchema for known tools,
+ * but falls back to S.Unknown for forward compatibility with
+ * unknown tools or new tool versions.
+ */
 declare const ToolUseEventSchema: Schema.TaggedStruct<"ToolUse", {
     tool: typeof Schema.String;
     input: typeof Schema.Unknown;
 }>;
+/**
+ * Validated tool use event schema - validates input against known tool schemas.
+ * Use this when you want strict validation of tool inputs.
+ */
+declare const ValidatedToolUseEventSchema: Schema.TaggedStruct<"ToolUse", {
+    tool: typeof Schema.String;
+    input: Schema.Union<[Schema.extend<Schema.Struct<{
+        file_path: typeof Schema.String;
+        offset: Schema.optional<typeof Schema.Number>;
+        limit: Schema.optional<typeof Schema.Number>;
+    }>, Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>, Schema.extend<Schema.Struct<{
+        file_path: typeof Schema.String;
+        old_string: typeof Schema.String;
+        new_string: typeof Schema.String;
+        replace_all: Schema.optional<typeof Schema.Boolean>;
+    }>, Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>, Schema.extend<Schema.Struct<{
+        file_path: typeof Schema.String;
+        content: typeof Schema.String;
+    }>, Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>, Schema.extend<Schema.Struct<{
+        command: typeof Schema.String;
+        description: Schema.optional<typeof Schema.String>;
+        timeout: Schema.optional<typeof Schema.Number>;
+        run_in_background: Schema.optional<typeof Schema.Boolean>;
+    }>, Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>, Schema.extend<Schema.Struct<{
+        pattern: typeof Schema.String;
+        path: Schema.optional<typeof Schema.String>;
+    }>, Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>, Schema.extend<Schema.Struct<{
+        pattern: typeof Schema.String;
+        path: Schema.optional<typeof Schema.String>;
+        glob: Schema.optional<typeof Schema.String>;
+        type: Schema.optional<typeof Schema.String>;
+        output_mode: Schema.optional<Schema.Literal<["content", "files_with_matches", "count"]>>;
+    }>, Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>, Schema.extend<Schema.Struct<{
+        description: typeof Schema.String;
+        prompt: Schema.optional<typeof Schema.String>;
+    }>, Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>, Schema.extend<Schema.Struct<{
+        url: typeof Schema.String;
+        prompt: Schema.optional<typeof Schema.String>;
+    }>, Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>, Schema.extend<Schema.Struct<{
+        query: typeof Schema.String;
+    }>, Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>]>;
+}>;
 declare const ToolEndEventSchema: Schema.TaggedStruct<"ToolEnd", {
     tool: typeof Schema.String;
 }>;
@@ -793,6 +1641,14 @@ type ToolUseEvent = typeof ToolUseEventSchema.Type;
 type ToolEndEvent = typeof ToolEndEventSchema.Type;
 type DoneEvent = typeof DoneEventSchema.Type;
 type LLMEvent = TextEvent | ToolStartEvent | ToolUseEvent | ToolEndEvent | DoneEvent;
+/**
+ * Validated tool use event type with typed input.
+ */
+interface ValidatedToolUseEvent {
+    readonly _tag: "ToolUse";
+    readonly tool: string;
+    readonly input: AnyToolInput;
+}
 declare const decodeLLMEvent: (u: unknown, overrideOptions?: effect_SchemaAST.ParseOptions) => effect_Effect.Effect<{
     readonly _tag: "Text";
     readonly text: string;
@@ -810,6 +1666,13 @@ declare const decodeLLMEvent: (u: unknown, overrideOptions?: effect_SchemaAST.Pa
     readonly _tag: "Done";
     readonly output: string;
 }, effect_ParseResult.ParseError, never>;
+/**
+ * Create a validated ToolUseEvent by validating the input against the tool's schema.
+ *
+ * @param event - ToolUseEvent with unknown input
+ * @returns Either with validated event or parse error
+ */
+declare function validateToolUseEvent(event: ToolUseEvent): Either.Either<ToolUseEvent, unknown>;
 
 declare const LogLevelSchema: Schema.Literal<["debug", "info", "warn", "error"]>;
 type LogLevel = typeof LogLevelSchema.Type;
@@ -1089,20 +1952,20 @@ type ProgressFile = typeof ProgressFileSchema.Type;
  */
 declare const decodeProgressEntry: (u: unknown, overrideOptions?: effect_SchemaAST.ParseOptions) => effect_Effect.Effect<{
     readonly iteration: number;
+    readonly timestamp: string;
     readonly taskId: string;
     readonly summary: string;
     readonly filesModified?: readonly string[] | undefined;
-    readonly timestamp: string;
     readonly action: "failed" | "started" | "completed" | "learning";
     readonly learnings?: readonly string[] | undefined;
 }, effect_ParseResult.ParseError, never>;
 declare const decodeProgressFile: (u: unknown, overrideOptions?: effect_SchemaAST.ParseOptions) => effect_Effect.Effect<{
     readonly entries: readonly {
         readonly iteration: number;
+        readonly timestamp: string;
         readonly taskId: string;
         readonly summary: string;
         readonly filesModified?: readonly string[] | undefined;
-        readonly timestamp: string;
         readonly action: "failed" | "started" | "completed" | "learning";
         readonly learnings?: readonly string[] | undefined;
     }[];
@@ -1127,6 +1990,8 @@ declare const SessionSchema: Schema.Struct<{
     currentTaskId: Schema.optional<typeof Schema.String>;
     worktreePath: Schema.optional<typeof Schema.String>;
     branchName: Schema.optional<typeof Schema.String>;
+    /** Task-based descriptive name (kebab-case slug, e.g., "add-dark-mode-toggle") */
+    displayName: Schema.optional<typeof Schema.String>;
 }>;
 type Session = typeof SessionSchema.Type;
 /**
@@ -1134,12 +1999,13 @@ type Session = typeof SessionSchema.Type;
  */
 declare const decodeSession: (u: unknown, overrideOptions?: effect_SchemaAST.ParseOptions) => effect_Effect.Effect<{
     readonly status: "failed" | "completed" | "active" | "paused";
-    readonly completedTasks: readonly string[];
     readonly id: string;
+    readonly completedTasks: readonly string[];
     readonly createdAt: string;
     readonly originalTask: string;
     readonly worktreePath?: string | undefined;
     readonly branchName?: string | undefined;
+    readonly displayName?: string | undefined;
     readonly currentTaskId?: string | undefined;
 }, effect_ParseResult.ParseError, never>;
 
@@ -1293,6 +2159,15 @@ declare const TaskCompleteSignalSchema: Schema.TaggedStruct<"TaskComplete", Read
 type TaskCompleteSignal = typeof TaskCompleteSignalSchema.Type;
 declare const LoopCompleteSignalSchema: Schema.TaggedStruct<"LoopComplete", {}>;
 type LoopCompleteSignal = typeof LoopCompleteSignalSchema.Type;
+/**
+ * Session name signal - defines a task-based descriptive name for the session.
+ * Generated during discovery phase.
+ */
+declare const SessionNameDefinedSignalSchema: Schema.TaggedStruct<"SessionNameDefined", {
+    /** Kebab-case slug, e.g., "add-dark-mode-toggle" */
+    name: typeof Schema.String;
+}>;
+type SessionNameDefinedSignal = typeof SessionNameDefinedSignalSchema.Type;
 /**
  * Learning category types.
  */
@@ -1364,6 +2239,9 @@ declare const SignalSchema: Schema.Union<[Schema.TaggedStruct<"TasksDefined", Re
     sign: typeof Schema.String;
     avoidance: typeof Schema.String;
     severity: Schema.Literal<["warning", "critical"]>;
+}>, Schema.TaggedStruct<"SessionNameDefined", {
+    /** Kebab-case slug, e.g., "add-dark-mode-toggle" */
+    name: typeof Schema.String;
 }>]>;
 type Signal = typeof SignalSchema.Type;
 /**
@@ -1422,6 +2300,9 @@ declare const decodeSignal: (u: unknown, overrideOptions?: effect_SchemaAST.Pars
     readonly filesCreated: readonly string[];
 } | {
     readonly _tag: "LoopComplete";
+} | {
+    readonly _tag: "SessionNameDefined";
+    readonly name: string;
 } | {
     readonly _tag: "Learning";
     readonly content: string;
@@ -1486,6 +2367,9 @@ declare const decodeSignalSync: (u: unknown, overrideOptions?: effect_SchemaAST.
     readonly filesCreated: readonly string[];
 } | {
     readonly _tag: "LoopComplete";
+} | {
+    readonly _tag: "SessionNameDefined";
+    readonly name: string;
 } | {
     readonly _tag: "Learning";
     readonly content: string;
@@ -1498,6 +2382,115 @@ declare const decodeSignalSync: (u: unknown, overrideOptions?: effect_SchemaAST.
     readonly severity: "warning" | "critical";
 };
 
+/**
+ * Factory functions for creating signals with proper typing.
+ *
+ * These factories provide type-safe signal construction by adding
+ * the _tag field automatically. Returns Effect Either for validation.
+ */
+
+/**
+ * Create a TasksDefined signal.
+ */
+declare function createTasksDefinedSignal(input: {
+    tasks: readonly TaskBasicInfo[];
+}): Either.Either<TasksDefinedSignal, ParseResult.ParseError>;
+/**
+ * Create a PhasesDefinedSignal.
+ */
+declare function createPhasesDefinedSignal(input: {
+    taskId: string;
+    phases: readonly PhaseBasicInfo[];
+}): Either.Either<PhasesDefinedSignal, ParseResult.ParseError>;
+/**
+ * Create a CriteriaDefinedSignal.
+ */
+declare function createCriteriaDefinedSignal(input: {
+    taskId: string;
+    criteria: readonly CriterionBasicInfo[];
+}): Either.Either<CriteriaDefinedSignal, ParseResult.ParseError>;
+/**
+ * Create a PhaseStartedSignal.
+ */
+declare function createPhaseStartedSignal(input: {
+    phaseId: string;
+}): Either.Either<PhaseStartedSignal, ParseResult.ParseError>;
+/**
+ * Create a PhaseCompletedSignal.
+ */
+declare function createPhaseCompletedSignal(input: {
+    phaseId: string;
+}): Either.Either<PhaseCompletedSignal, ParseResult.ParseError>;
+/**
+ * Create a PhaseFailedSignal.
+ */
+declare function createPhaseFailedSignal(input: {
+    phaseId: string;
+    reason: string;
+}): Either.Either<PhaseFailedSignal, ParseResult.ParseError>;
+/**
+ * Create a CriterionPassedSignal.
+ */
+declare function createCriterionPassedSignal(input: {
+    criterionId: string;
+}): Either.Either<CriterionPassedSignal, ParseResult.ParseError>;
+/**
+ * Create a CriterionFailedSignal.
+ */
+declare function createCriterionFailedSignal(input: {
+    criterionId: string;
+    reason: string;
+}): Either.Either<CriterionFailedSignal, ParseResult.ParseError>;
+/**
+ * Create a CheckPassedSignal.
+ */
+declare function createCheckPassedSignal(_input: Record<string, never>): Either.Either<CheckPassedSignal, ParseResult.ParseError>;
+/**
+ * Create a CheckFailedSignal.
+ */
+declare function createCheckFailedSignal(_input: Record<string, never>): Either.Either<CheckFailedSignal, ParseResult.ParseError>;
+/**
+ * Create a ReviewCompleteSignal.
+ */
+declare function createReviewCompleteSignal(input: {
+    changesMade: boolean;
+}): Either.Either<ReviewCompleteSignal, ParseResult.ParseError>;
+/**
+ * Create a TaskCompleteSignal.
+ */
+declare function createTaskCompleteSignal(input: {
+    taskId: string;
+    summary: string;
+    filesModified: readonly string[];
+    filesCreated: readonly string[];
+}): Either.Either<TaskCompleteSignal, ParseResult.ParseError>;
+/**
+ * Create a LoopCompleteSignal.
+ */
+declare function createLoopCompleteSignal(_input: Record<string, never>): Either.Either<LoopCompleteSignal, ParseResult.ParseError>;
+/**
+ * Create a LearningSignal.
+ */
+declare function createLearningSignal(input: {
+    content: string;
+    category?: LearningCategory;
+}): Either.Either<LearningSignal, ParseResult.ParseError>;
+/**
+ * Create a GuardrailSignal.
+ */
+declare function createGuardrailSignal(input: {
+    pattern: string;
+    sign: string;
+    avoidance: string;
+    severity: "warning" | "critical";
+}): Either.Either<GuardrailSignal, ParseResult.ParseError>;
+/**
+ * Create a SessionNameDefinedSignal.
+ */
+declare function createSessionNameDefinedSignal(input: {
+    name: string;
+}): Either.Either<SessionNameDefinedSignal, ParseResult.ParseError>;
+
 /**
  * Status for generated tasks in tasks.md
  */
@@ -1943,6 +2936,26 @@ interface GitService {
      * @returns Branch name (e.g., "ferix/calm-snails-dream-123")
      */
     readonly getBranchName: (sessionId: string) => string;
+    /**
+     * Remove a worktree but keep its branch.
+     *
+     * Removes the worktree directory and cleans up git worktree references,
+     * but preserves the branch for user review and merge.
+     *
+     * @param sessionId - Session ID whose worktree to remove
+     */
+    readonly removeWorktreeKeepBranch: (sessionId: string) => Effect.Effect<void, GitError>;
+    /**
+     * Rename a session's branch to use a descriptive display name.
+     *
+     * This is called after discovery phase when the LLM generates a
+     * task-based name for the session.
+     *
+     * @param sessionId - Session ID whose branch to rename
+     * @param displayName - New display name for the branch (kebab-case)
+     * @returns The new branch name (e.g., "ferix/add-dark-mode")
+     */
+    readonly renameBranch: (sessionId: string, displayName: string) => Effect.Effect<string, GitError>;
 }
 declare const Git_base: Context.TagClass<Git, "@ferix/Git", GitService>;
 /**
@@ -2086,22 +3099,26 @@ declare const MemoryGuardrails: {
 };
 
 /**
- * Configuration for a provider.
+ * Provider configuration schema with runtime validation.
  */
-interface ProviderConfig {
+declare const ProviderConfigSchema: Schema.Struct<{
     /** Provider name */
-    readonly name: ProviderName;
+    name: Schema.Literal<["claude", "cursor", "opencode"]>;
     /** CLI command to execute */
-    readonly cliCommand: string;
+    cliCommand: typeof Schema.String;
     /** Default arguments for the CLI */
-    readonly args: readonly string[];
+    args: Schema.Array$<typeof Schema.String>;
     /** Environment variables to pass */
-    readonly env?: Readonly<Record<string, string>>;
+    env: Schema.optional<Schema.Record$<typeof Schema.String, typeof Schema.String>>;
     /** Permission mode for the CLI */
-    readonly permissions?: "acceptEdits" | "yolo" | "prompt";
+    permissions: Schema.optional<Schema.Literal<["acceptEdits", "yolo", "prompt"]>>;
     /** URL for installation instructions */
-    readonly installUrl: string;
-}
+    installUrl: typeof Schema.String;
+}>;
+/**
+ * Configuration for a provider.
+ */
+type ProviderConfig = typeof ProviderConfigSchema.Type;
 /**
  * Provider interface that all LLM implementations must satisfy.
  *
@@ -2122,6 +3139,7 @@ interface Provider {
 }
 /**
  * Default provider configurations.
+ * Validated at module load time using Effect Schema.
  */
 declare const PROVIDER_CONFIGS: Readonly<Record<ProviderName, ProviderConfig>>;
 
@@ -2765,4 +3783,4 @@ declare function collectEvents(config: LoopConfig, mockEvents?: readonly LLMEven
  */
 declare function main(config: LoopConfig): Promise<void>;
 
-export { type CheckFailedEvent, CheckFailedEventSchema, type CheckFailedSignal, CheckFailedSignalSchema, type CheckPassedEvent, CheckPassedEventSchema, type CheckPassedSignal, CheckPassedSignalSchema, ClaudeCLI, type CommitHash, type ConsoleLoggerConfig, ConsoleLoggerConfigSchema, type Consumer, type ConsumerType, ConsumerTypeSchema, type CriteriaDefinedData, CriteriaDefinedDataSchema, type CriteriaDefinedEvent, CriteriaDefinedEventSchema, type CriteriaDefinedSignal, CriteriaDefinedSignalSchema, type Criterion, type CriterionBasicInfo, CriterionBasicInfoSchema, type CriterionFailedData, CriterionFailedDataSchema, type CriterionFailedEvent, CriterionFailedEventSchema, type CriterionFailedSignal, CriterionFailedSignalSchema, type CriterionIdData, CriterionIdDataSchema, type CriterionPassedEvent, CriterionPassedEventSchema, type CriterionPassedSignal, CriterionPassedSignalSchema, CriterionSchema, type CriterionStatus, CriterionStatusSchema, CursorCLI, type DiscoveryCompletedEvent, DiscoveryCompletedEventSchema, type DiscoveryStartedEvent, DiscoveryStartedEventSchema, type DomainEvent, DomainEventSchema, DomainEventUtils, type DoneEvent, DoneEventSchema, type ExecutionMode, ExecutionModeSchema, type FerixError, FerixParser, type FileLoggerConfig, FileLoggerConfigSchema, FileSystemGit, FileSystemGuardrails, FileSystemPlan, FileSystemProgress, FileSystemSession, type GeneratedTask, type GeneratedTaskList, GeneratedTaskListSchema, GeneratedTaskSchema, type GeneratedTaskStatus, GeneratedTaskStatusSchema, Git, GitError, type GitService, type Guardrail, type GuardrailAddedEvent, GuardrailAddedEventSchema, GuardrailSchema, type GuardrailSeverity, GuardrailSeveritySchema, type GuardrailSignal, GuardrailSignalSchema, type GuardrailsFile, GuardrailsFileSchema, GuardrailsStore, GuardrailsStoreError, type GuardrailsStoreService, type IterationCompletedEvent, IterationCompletedEventSchema, type IterationStartedEvent, IterationStartedEventSchema, LLM, LLMError, type LLMEvent, LLMEventSchema, type LLMExecuteOptions, type LLMService, type LLMTextEvent, LLMTextEventSchema, type LLMToolEndEvent, LLMToolEndEventSchema, type LLMToolStartEvent, LLMToolStartEventSchema, type LLMToolUseEvent, LLMToolUseEventSchema, type LearningCategory, LearningCategorySchema, type LearningRecordedEvent, LearningRecordedEventSchema, type LearningSignal, LearningSignalSchema, type LogEntry, LogEntrySchema, type LogLevel, LogLevelSchema, type LoopCompleteSignal, LoopCompleteSignalSchema, type LoopCompletedEvent, LoopCompletedEventSchema, type LoopConfig, LoopConfigSchema, type LoopError, LoopErrorSchema, type LoopFailedEvent, LoopFailedEventSchema, type LoopStartedEvent, LoopStartedEventSchema, type LoopStatus, LoopStatusSchema, type LoopSummary, LoopSummarySchema, MemoryGit, MemoryGuardrails, MemoryPlan, MemoryProgress, MemorySession, Mock, Mock as MockLLM, OrchestratorError, type OrchestratorServices, PROVIDER_CONFIGS, ParseError, type Phase, type PhaseBasicInfo, PhaseBasicInfoSchema, type PhaseCompletedEvent, PhaseCompletedEventSchema, type PhaseCompletedSignal, PhaseCompletedSignalSchema, type PhaseFailedData, PhaseFailedDataSchema, type PhaseFailedEvent, PhaseFailedEventSchema, type PhaseFailedSignal, PhaseFailedSignalSchema, type PhaseIdData, PhaseIdDataSchema, type PhasePromptOverrides, PhasePromptOverridesSchema, PhaseSchema, type PhaseStartedEvent, PhaseStartedEventSchema, type PhaseStartedSignal, PhaseStartedSignalSchema, type PhaseStatus, PhaseStatusSchema, type PhasesDefinedData, PhasesDefinedDataSchema, type PhasesDefinedEvent, PhasesDefinedEventSchema, type PhasesDefinedSignal, PhasesDefinedSignalSchema, type Plan, type PlanCreatedEvent, PlanCreatedEventSchema, type PlanData, PlanDataSchema, PlanId, PlanSchema, PlanStore, PlanStoreError, type PlanStoreService, type PlanUpdateFailedEvent, PlanUpdateFailedEventSchema, type PlanUpdatedEvent, PlanUpdatedEventSchema, type PrUrl, ProductionLayers, type ProgressAction, ProgressActionSchema, type ProgressEntry, ProgressEntrySchema, type ProgressFile, ProgressFileSchema, ProgressStore, ProgressStoreError, type ProgressStoreService, type ProgressUpdatedEvent, ProgressUpdatedEventSchema, type PromptConfig, PromptConfigSchema, type Provider, type ProviderConfig, type ProviderName, ProviderNameSchema, type ReviewCompleteData, ReviewCompleteDataSchema, type ReviewCompleteEvent, ReviewCompleteEventSchema, type ReviewCompleteSignal, ReviewCompleteSignalSchema, type RunOptions, type RunOptionsData, RunOptionsDataSchema, type Session, SessionSchema, type SessionStatus, SessionStatusSchema, SessionStore, SessionStoreError, type SessionStoreService, type Signal, type SignalAccumulator, SignalParser, type SignalParserService, SignalSchema, type TUICriterion, TUICriterionSchema, type TUICriterionStatus, TUICriterionStatusSchema, type TUIPhase, TUIPhaseSchema, type TUIPhaseStatus, TUIPhaseStatusSchema, type TUIState, TUIStateSchema, type TUITask, TUITaskSchema, type TUITaskStatus, TUITaskStatusSchema, type Task, type TaskBasicInfo, TaskBasicInfoSchema, type TaskCompleteData, TaskCompleteDataSchema, type TaskCompleteSignal, type TaskCompleteSignalData, TaskCompleteSignalDataSchema, TaskCompleteSignalSchema, type TaskCompletedEvent, TaskCompletedEventSchema, TaskSchema, type TaskStatus, TaskStatusSchema, type TasksDefinedData, TasksDefinedDataSchema, type TasksDefinedEvent, TasksDefinedEventSchema, type TasksDefinedSignal, TasksDefinedSignalSchema, TestLayers, type TextEvent, TextEventSchema, type ToolEndEvent, ToolEndEventSchema, type ToolStartEvent, ToolStartEventSchema, type ToolUseEvent, ToolUseEventSchema, type ViewMode, ViewModeSchema, type WorktreeCreatedEvent, WorktreeCreatedEventSchema, type WorktreeInfo, type WorktreePath, type WorktreeRemovedEvent, WorktreeRemovedEventSchema, buildPrompt, collectEvents, createHeadlessConsumer, createProductionLayers, createProviderLayer, createTUIConsumer, createTestLayers, decodeGuardrail, decodeGuardrailsFile, decodeLLMEvent, decodeLoopConfig, decodePlan, decodePlanData, decodeProgressEntry, decodeProgressFile, decodeSession, decodeSignal, decodeSignalSync, formatTasksMd, main, parseTasksMd, run, runLoop, runTest };
+export { type AnyToolInput, AnyToolInputSchema, type AssistantMessage, AssistantMessageSchema, type BashToolInput, BashToolInputSchema, type CheckFailedEvent, CheckFailedEventSchema, type CheckFailedSignal, CheckFailedSignalSchema, type CheckPassedEvent, CheckPassedEventSchema, type CheckPassedSignal, CheckPassedSignalSchema, ClaudeCLI, type ClaudeCliEvent, ClaudeCliEventSchema, type CommitHash, type ConsoleLoggerConfig, ConsoleLoggerConfigSchema, type Consumer, type ConsumerType, ConsumerTypeSchema, type ContentBlock, type ContentBlockDelta, ContentBlockDeltaSchema, ContentBlockSchema, type ContentBlockStart, ContentBlockStartSchema, type ContentBlockStop, ContentBlockStopSchema, type CriteriaDefinedData, CriteriaDefinedDataSchema, type CriteriaDefinedEvent, CriteriaDefinedEventSchema, type CriteriaDefinedSignal, CriteriaDefinedSignalSchema, type Criterion, type CriterionBasicInfo, CriterionBasicInfoSchema, type CriterionFailedData, CriterionFailedDataSchema, type CriterionFailedEvent, CriterionFailedEventSchema, type CriterionFailedSignal, CriterionFailedSignalSchema, type CriterionIdData, CriterionIdDataSchema, type CriterionPassedEvent, CriterionPassedEventSchema, type CriterionPassedSignal, CriterionPassedSignalSchema, CriterionSchema, type CriterionStatus, CriterionStatusSchema, CursorCLI, type Delta, DeltaSchema, type DiscoveryCompletedEvent, DiscoveryCompletedEventSchema, type DiscoveryStartedEvent, DiscoveryStartedEventSchema, type DomainEvent, DomainEventSchema, DomainEventUtils, type DoneEvent, DoneEventSchema, type EditToolInput, EditToolInputSchema, type ExecutionMode, ExecutionModeSchema, type FerixError, FerixParser, type FileLoggerConfig, FileLoggerConfigSchema, FileSystemGit, FileSystemGuardrails, FileSystemPlan, FileSystemProgress, FileSystemSession, type GeneratedTask, type GeneratedTaskList, GeneratedTaskListSchema, GeneratedTaskSchema, type GeneratedTaskStatus, GeneratedTaskStatusSchema, Git, GitError, type GitService, type GlobToolInput, GlobToolInputSchema, type GrepToolInput, GrepToolInputSchema, type Guardrail, type GuardrailAddedEvent, GuardrailAddedEventSchema, GuardrailSchema, type GuardrailSeverity, GuardrailSeveritySchema, type GuardrailSignal, GuardrailSignalSchema, type GuardrailsFile, GuardrailsFileSchema, GuardrailsStore, GuardrailsStoreError, type GuardrailsStoreService, type InputJsonDelta, InputJsonDeltaSchema, type IterationCompletedEvent, IterationCompletedEventSchema, type IterationStartedEvent, IterationStartedEventSchema, type KnownToolName, LLM, LLMError, type LLMEvent, LLMEventSchema, type LLMExecuteOptions, type LLMService, type LLMTextEvent, LLMTextEventSchema, type LLMToolEndEvent, LLMToolEndEventSchema, type LLMToolStartEvent, LLMToolStartEventSchema, type LLMToolUseEvent, LLMToolUseEventSchema, type LearningCategory, LearningCategorySchema, type LearningRecordedEvent, LearningRecordedEventSchema, type LearningSignal, LearningSignalSchema, type LogEntry, LogEntrySchema, type LogLevel, LogLevelSchema, type LoopCompleteSignal, LoopCompleteSignalSchema, type LoopCompletedEvent, LoopCompletedEventSchema, type LoopConfig, LoopConfigSchema, type LoopError, LoopErrorSchema, type LoopFailedEvent, LoopFailedEventSchema, type LoopStartedEvent, LoopStartedEventSchema, type LoopStatus, LoopStatusSchema, type LoopSummary, LoopSummarySchema, MemoryGit, MemoryGuardrails, MemoryPlan, MemoryProgress, MemorySession, Mock, Mock as MockLLM, type OpenCodeCliEvent, OpenCodeCliEventSchema, type OpenCodeCost, OpenCodeCostSchema, type OpenCodeStepFinish, OpenCodeStepFinishSchema, type OpenCodeStepPart, OpenCodeStepPartSchema, type OpenCodeStepStart, OpenCodeStepStartSchema, type OpenCodeTextEvent, OpenCodeTextEventSchema, type OpenCodeTokens, OpenCodeTokensSchema, type OpenCodeToolPart, OpenCodeToolPartSchema, type OpenCodeToolState, OpenCodeToolStateSchema, type OpenCodeToolUseEvent, OpenCodeToolUseEventSchema, OrchestratorError, type OrchestratorServices, PROVIDER_CONFIGS, ParseError, type Phase, type PhaseBasicInfo, PhaseBasicInfoSchema, type PhaseCompletedEvent, PhaseCompletedEventSchema, type PhaseCompletedSignal, PhaseCompletedSignalSchema, type PhaseFailedData, PhaseFailedDataSchema, type PhaseFailedEvent, PhaseFailedEventSchema, type PhaseFailedSignal, PhaseFailedSignalSchema, type PhaseIdData, PhaseIdDataSchema, type PhasePromptOverrides, PhasePromptOverridesSchema, PhaseSchema, type PhaseStartedEvent, PhaseStartedEventSchema, type PhaseStartedSignal, PhaseStartedSignalSchema, type PhaseStatus, PhaseStatusSchema, type PhasesDefinedData, PhasesDefinedDataSchema, type PhasesDefinedEvent, PhasesDefinedEventSchema, type PhasesDefinedSignal, PhasesDefinedSignalSchema, type Plan, type PlanCreatedEvent, PlanCreatedEventSchema, type PlanData, PlanDataSchema, PlanId, PlanSchema, PlanStore, PlanStoreError, type PlanStoreService, type PlanUpdateFailedEvent, PlanUpdateFailedEventSchema, type PlanUpdatedEvent, PlanUpdatedEventSchema, type PrUrl, ProductionLayers, type ProgressAction, ProgressActionSchema, type ProgressEntry, ProgressEntrySchema, type ProgressFile, ProgressFileSchema, ProgressStore, ProgressStoreError, type ProgressStoreService, type ProgressUpdatedEvent, ProgressUpdatedEventSchema, type PromptConfig, PromptConfigSchema, type Provider, type ProviderConfig, type ProviderName, ProviderNameSchema, type ReadToolInput, ReadToolInputSchema, type ReviewCompleteData, ReviewCompleteDataSchema, type ReviewCompleteEvent, ReviewCompleteEventSchema, type ReviewCompleteSignal, ReviewCompleteSignalSchema, type RunOptions, type RunOptionsData, RunOptionsDataSchema, type Session, type SessionNameDefinedSignal, SessionNameDefinedSignalSchema, type SessionNameGeneratedEvent, SessionNameGeneratedEventSchema, SessionSchema, type SessionStatus, SessionStatusSchema, SessionStore, SessionStoreError, type SessionStoreService, type Signal, type SignalAccumulator, SignalParser, type SignalParserService, SignalSchema, type StreamEventEnvelope, StreamEventEnvelopeSchema, type TUICriterion, TUICriterionSchema, type TUICriterionStatus, TUICriterionStatusSchema, type TUIPhase, TUIPhaseSchema, type TUIPhaseStatus, TUIPhaseStatusSchema, type TUIState, TUIStateSchema, type TUITask, TUITaskSchema, type TUITaskStatus, TUITaskStatusSchema, type Task, type TaskBasicInfo, TaskBasicInfoSchema, type TaskCompleteData, TaskCompleteDataSchema, type TaskCompleteSignal, type TaskCompleteSignalData, TaskCompleteSignalDataSchema, TaskCompleteSignalSchema, type TaskCompletedEvent, TaskCompletedEventSchema, TaskSchema, type TaskStatus, TaskStatusSchema, type TaskToolInput, TaskToolInputSchema, type TasksDefinedData, TasksDefinedDataSchema, type TasksDefinedEvent, TasksDefinedEventSchema, type TasksDefinedSignal, TasksDefinedSignalSchema, TestLayers, type TextContentBlock, TextContentBlockSchema, type TextDelta, TextDeltaSchema, type TextEvent, TextEventSchema, type ToolEndEvent, ToolEndEventSchema, ToolInputSchemaRegistry, type ToolStartEvent, ToolStartEventSchema, type ToolUseContentBlock, ToolUseContentBlockSchema, type ToolUseEvent, ToolUseEventSchema, type ValidatedToolUseEvent, ValidatedToolUseEventSchema, type ViewMode, ViewModeSchema, type WebFetchToolInput, WebFetchToolInputSchema, type WebSearchToolInput, WebSearchToolInputSchema, type WorktreeCreatedEvent, WorktreeCreatedEventSchema, type WorktreeInfo, type WorktreePath, type WorktreeRemovedEvent, WorktreeRemovedEventSchema, type WriteToolInput, WriteToolInputSchema, buildPrompt, collectEvents, createCheckFailedSignal, createCheckPassedSignal, createCriteriaDefinedSignal, createCriterionFailedSignal, createCriterionPassedSignal, createGuardrailSignal, createHeadlessConsumer, createLearningSignal, createLoopCompleteSignal, createPhaseCompletedSignal, createPhaseFailedSignal, createPhaseStartedSignal, createPhasesDefinedSignal, createProductionLayers, createProviderLayer, createReviewCompleteSignal, createSessionNameDefinedSignal, createTUIConsumer, createTaskCompleteSignal, createTasksDefinedSignal, createTestLayers, decodeClaudeCliEvent, decodeClaudeCliEventSync, decodeGuardrail, decodeGuardrailsFile, decodeLLMEvent, decodeLoopConfig, decodeOpenCodeCliEvent, decodeOpenCodeCliEventSync, decodePlan, decodePlanData, decodeProgressEntry, decodeProgressFile, decodeSession, decodeSignal, decodeSignalSync, formatTasksMd, getToolInputSchema, isAssistantMessage, isBashToolInput, isContentBlockDelta, isContentBlockStart, isContentBlockStop, isEditToolInput, isGlobToolInput, isGrepToolInput, isInputJsonDelta, isOpenCodeStepFinish, isOpenCodeStepStart, isOpenCodeTextEvent, isOpenCodeToolUseEvent, isReadToolInput, isStreamEventEnvelope, isTaskToolInput, isTextContentBlock, isTextDelta, isToolUseContentBlock, isWebFetchToolInput, isWebSearchToolInput, isWriteToolInput, main, parseTasksMd, run, runLoop, runTest, validateToolInput, validateToolUseEvent };