lemura 1.4.3 → 1.5.0

package/dist/index.d.mts

@@ -1,7 +1,7 @@
-import { a as IProviderAdapter, T as TranscriptionRequest, d as TranscriptionResponse, e as SynthesisRequest, A as AudioChunk, V as VisionRequest, f as VisionResponse, g as ImageGenRequest, h as ImageGenResponse, M as ModelInfo, C as ContextWindow, i as Turn, j as ContentBlock, I as IToolDefinition } from './adapters-BhTAnrOM.mjs';
-export { k as CompletionChunk, l as CompletionRequest, m as CompletionResponse, b as IContextStrategy, c as IScratchpadAdapter, n as IStorageAdapter, N as NormalizedMessage, o as STMItem, p as STMRegistryConfig, S as ShortTermMemoryRegistry, q as TokenUsage, r as ToolCall, s as ToolContext, t as ToolResult } from './adapters-BhTAnrOM.mjs';
-import { S as SessionConfig, I as IToolResponseProcessor, T as ToolResponseEvaluation, M as MCPServerConfig, a as MCPToolDefinition } from './agent-DfN5nNXc.mjs';
-export { b as MCPJsonRpcRequest, c as MCPJsonRpcResponse, d as MCPTransportType, e as MediaConfig, f as ToolDecision, g as ToolExecutionBudget, h as ToolFirewallConfig, i as ToolFirewallRule, j as TraceEvent } from './agent-DfN5nNXc.mjs';
+import { a as IProviderAdapter, d as TranscriptionRequest, e as TranscriptionResponse, f as SynthesisRequest, A as AudioChunk, V as VisionRequest, g as VisionResponse, h as ImageGenRequest, i as ImageGenResponse, M as ModelInfo, C as ContextWindow, T as Turn, j as ContentBlock, I as IToolDefinition } from './adapters-S96Ka9wt.mjs';
+export { k as CompletionChunk, l as CompletionRequest, m as CompletionResponse, b as IContextStrategy, c as IScratchpadAdapter, n as IStorageAdapter, N as NormalizedMessage, o as STMItem, p as STMRegistryConfig, S as ShortTermMemoryRegistry, q as TokenUsage, r as ToolCall, s as ToolContext, t as ToolResult } from './adapters-S96Ka9wt.mjs';
+import { S as SessionConfig, G as Goal, I as IToolResponseProcessor, T as ToolResponseEvaluation, M as MCPServerConfig, a as MCPToolDefinition } from './agent-BefjpRHZ.mjs';
+export { b as GoalInjector, c as GoalVerifierResult, d as MCPJsonRpcRequest, e as MCPJsonRpcResponse, f as MCPTransportType, g as MediaConfig, h as ToolDecision, i as ToolExecutionBudget, j as ToolFirewallConfig, k as ToolFirewallRule, l as TraceEvent } from './agent-BefjpRHZ.mjs';
 export { LemuraAdapterError, LemuraContextOverflowError, LemuraError, LemuraMCPConnectionError, LemuraMCPError, LemuraMCPTimeoutError, LemuraMaxIterationsError, LemuraSkillInjectionError, LemuraToolNotFoundError, LemuraToolTimeoutError, LemuraToolValidationError } from './types/index.mjs';
 import { I as ILogger } from './logger-DxvKliuk.mjs';
 export { L as LogLevel, a as LogMetadata, S as Severity } from './logger-DxvKliuk.mjs';
@@ -30,67 +30,6 @@ declare class MediaBridge {
     supportsVision(): boolean;
 }
 
-interface Goal {
-    id: string;
-    statement: string;
-    /** High-level sub-goals decomposed from the main statement */
-    decomposition: string[];
-    successCriteria: string[];
-    injectionFrequency: 'always' | 'every_N_turns' | 'on_compression';
-    injectionPosition: 'system_prompt' | 'pre_turn';
-    /** Sub-goals already completed — updated via `markSubGoalDone()` */
-    completedSubGoals?: string[];
-}
-/**
- * GoalInjector keeps the original task objective visible throughout the ReAct loop,
- * preventing goal drift after many tool calls and context compressions.
- *
- * Usage in SessionManager:
- * - For `system_prompt` position: call `injectInto(prompt)` which appends the goal block.
- * - For `pre_turn` position: call `getFormattedBlock()` and push as a system message.
- */
-declare class GoalInjector {
-    private goal;
-    private turnsSinceInjection;
-    constructor(goal: Goal);
-    /**
-     * Returns the formatted `[CURRENT GOAL]` block string — without caring about
-     * where it will be placed. Callers decide whether to append to a system prompt
-     * or push as a separate message.
-     */
-    getFormattedBlock(): string;
-    /**
-     * Appends the goal block to the given prompt string (for `system_prompt` position).
-     * For `pre_turn` position, use `getFormattedBlock()` directly.
-     *
-     * @param prompt - The existing system prompt to append to.
-     */
-    injectInto(prompt: string): string;
-    /**
-     * Returns true when the goal should be re-injected this turn,
-     * based on `injectionFrequency`.
-     *
-     * @param turnIndex - The current turn index in the ReAct loop (0-based)
-     * @param compressionOccurred - Whether context was compressed this iteration
-     * @param injectionN - The N for 'every_N_turns' frequency (default: 3)
-     */
-    shouldInjectThisTurn(turnIndex: number, compressionOccurred?: boolean, injectionN?: number): boolean;
-    /**
-     * Updates the goal with new sub-goal decomposition and success criteria,
-     * typically populated by the mini-planning LLM call.
-     */
-    updateDecomposition(decomposition: string[], successCriteria?: string[]): void;
-    /**
-     * Marks a sub-goal as completed so it moves to the "completed" section
-     * in subsequent injections.
-     */
-    markSubGoalDone(subGoal: string): void;
-    /** Returns a snapshot of the current goal state (safe to store in context.metadata). */
-    getGoal(): Goal;
-    /** Increments the internal turn counter (used for `every_N_turns` frequency). */
-    incrementTurn(): void;
-}
-
 /**
  * An optional condition that gates a step's execution on the output of a prior step.
  * When the condition is not met, the step is automatically marked `skipped`.
@@ -101,6 +40,44 @@ interface StepCondition {
     /** Substring that must be present in the prior step's output to allow this step to run */
     outputContains: string;
 }
+/**
+ * Result returned by a `StepVerifier.check` function.
+ * - `pass`  — the sub-goal is achieved; the step is marked `done`.
+ * - `fail`  — the sub-goal failed; the step is marked `failed` and BFS propagates to dependants.
+ * - `retry` — the output is unsatisfactory but retriable; the step is reset to `pending`.
+ */
+interface StepVerifierResult {
+    status: 'pass' | 'fail' | 'retry';
+    reason?: string;
+}
+/**
+ * Optional semantic verifier attached to a `ContinuationStep`.
+ * Called after the tool executes successfully to confirm the sub-goal is actually met.
+ *
+ * @example
+ * verify: {
+ *   maxRetries: 2,
+ *   check: (output) => {
+ *     const data = JSON.parse(output);
+ *     return data.rows?.length > 0
+ *       ? { status: 'pass' }
+ *       : { status: 'retry', reason: 'Empty result set' };
+ *   }
+ * }
+ */
+interface StepVerifier {
+    /**
+     * Inspects the tool output and decides whether the sub-goal is satisfied.
+     * @param output  - Serialised tool result string
+     * @param args    - The resolved arguments that were passed to the tool
+     */
+    check: (output: string, args: Record<string, unknown>) => Promise<StepVerifierResult> | StepVerifierResult;
+    /**
+     * Maximum number of `retry` verdicts allowed before the step is forced to `failed`.
+     * Defaults to 0 (no retries — a `retry` verdict immediately becomes `failed`).
+     */
+    maxRetries?: number;
+}
 interface ContinuationStep {
     stepId: string;
     toolName: string;
@@ -124,6 +101,14 @@ interface ContinuationStep {
      * contains the given substring. When the condition is not met, the step is skipped.
      */
     condition?: StepCondition;
+    /**
+     * Optional semantic verifier: called after the tool executes to confirm the
+     * sub-goal is actually satisfied. Supports `pass / fail / retry` verdicts
+     * with a configurable `maxRetries` count.
+     *
+     * @since 1.4.4
+     */
+    verify?: StepVerifier;
 }
 interface ContinuationPlan {
     steps: ContinuationStep[];
@@ -152,7 +137,13 @@ interface ContinuationPlan {
 declare class ContinuationPlanner {
     private plan;
     private outputs;
-    constructor(plan: ContinuationPlan);
+    private retryCount;
+    private onStepSkipped;
+    private onStepFailed;
+    constructor(plan: ContinuationPlan, callbacks?: {
+        onStepSkipped?: (stepId: string, reason: string) => void;
+        onStepFailed?: (stepId: string, reason: string) => void;
+    });
     /** Returns the current plan (deep copy) */
     getPlan(): ContinuationPlan;
     /** Returns a human-readable status string with icons (injected before each iteration) */
@@ -172,11 +163,18 @@ declare class ContinuationPlanner {
     /**
      * Marks a step as failed and propagates `skipped` to all transitively dependent steps.
      */
-    markStepFailed(stepId: string): void;
+    markStepFailed(stepId: string, reason?: string): void;
     /**
      * Marks a step as skipped (e.g., condition not met) and propagates to its dependants.
      */
-    markStepSkipped(stepId: string): void;
+    markStepSkipped(stepId: string, reason?: string): void;
+    /**
+     * Resets a step back to `pending` for a retry attempt.
+     * Increments the internal retry counter for the step.
+     */
+    markStepPending(stepId: string): void;
+    /** Returns how many times a step has been retried. */
+    getRetryCount(stepId: string): number;
     /** Retrieves an output stored by `outputKey` from a completed step */
     getOutput(key: string): string | undefined;
     /**
@@ -320,6 +318,22 @@ declare class SessionManager {
      * ```
      */
     setPlan(steps: ContinuationStep[], strategy?: ContinuationPlan['strategy']): void;
+    /**
+     * Returns a snapshot of the current continuation plan, or `null` if no plan
+     * has been set via `setPlan()`.
+     *
+     * Use this after `run()` to inspect which steps completed, failed, or were skipped.
+     *
+     * @since 1.4.4
+     *
+     * @example
+     * ```typescript
+     * await session.run('Run the pipeline');
+     * const plan = session.getPlan();
+     * const failed = plan?.steps.filter(s => s.status === 'failed');
+     * ```
+     */
+    getPlan(): ContinuationPlan | null;
     /**
      * Manually sets the agent's goal, bypassing the automatic mini-planning LLM call.
      *
@@ -374,9 +388,6 @@ declare class SessionManager {
     /**
      * Runs the full ReAct loop for a user message and returns the final assistant response.
      *
-     * When `enableGoalPlanning` is true and no goal has been manually set, a mini-planning
-     * LLM call is made before the first iteration to decompose the task into sub-goals.
-     *
      * @param userMessage - The user's message (string or multimodal content blocks)
      * @returns The assistant's final response string
      * @throws {LemuraMaxIterationsError} When the loop exceeds `maxIterations`
@@ -385,8 +396,8 @@ declare class SessionManager {
     /**
      * Runs the ReAct loop and streams the final assistant response token-by-token.
      *
-     * Tool calls within the loop are still executed synchronously (they must complete
-     * before streaming the conclusion). Only the final LLM text output is streamed.
+     * All tool calls, goal verification, and corrections complete before any token
+     * is yielded — the stream delivers only the clean final response.
      *
      * @param userMessage - The user's message (string or multimodal content blocks)
      * @returns An `AsyncIterable<string>` of delta tokens from the final response
@@ -399,6 +410,29 @@ declare class SessionManager {
      * ```
      */
     stream(userMessage: string | ContentBlock[]): AsyncIterable<string>;
+    /**
+     * Core ReAct execution loop shared by `run()` and `stream()`.
+     *
+     * Uses `adapter.complete()` exclusively — no streaming occurs here.
+     * Goal verification and silent corrections run inside this method,
+     * fully isolated from the caller's delivery path.
+     *
+     * @returns The final assistant response string
+     * @throws {LemuraMaxIterationsError} When the loop exceeds `maxIterations`
+     */
+    private _executeLoop;
+    /**
+     * Verifies whether the goal was achieved after a `stop` finish.
+     *
+     * Priority:
+     * 1. `config.goalVerifier` callback (Option A — user-supplied)
+     * 2. Built-in LLM check against `successCriteria` (Option C — fallback)
+     *
+     * Returns `null` when verification is skipped (no goal, planning disabled, etc.).
+     *
+     * @since 1.5.0
+     */
+    private _verifyGoal;
     /**
      * Resets the session: clears conversation history, resets iteration counters,
      * tool execution budget tallies, and goal/plan state.
@@ -612,4 +646,4 @@ declare class MCPClientRegistry {
     private _bridge;
 }
 
-export { AudioChunk, ContentBlock, ContextWindow, type ContinuationPlan, ContinuationPlanner, type ContinuationStep, FinalResponseFormatter, type Goal, GoalInjector, ILogger, IProviderAdapter, IToolDefinition, IToolResponseProcessor, ImageGenRequest, ImageGenResponse, MCPClient, MCPClientRegistry, MCPServerConfig, MCPToolDefinition, MediaBridge, ModelInfo, SessionConfig, SessionManager, SkillInjector, type StepCondition, StepCounter, SynthesisRequest, ToolRegistry, ToolResponseEvaluation, ToolResponseProcessor, type ToolResponseProcessorConfig, TranscriptionRequest, TranscriptionResponse, Turn, VisionRequest, VisionResponse };
+export { AudioChunk, ContentBlock, ContextWindow, type ContinuationPlan, ContinuationPlanner, type ContinuationStep, FinalResponseFormatter, Goal, ILogger, IProviderAdapter, IToolDefinition, IToolResponseProcessor, ImageGenRequest, ImageGenResponse, MCPClient, MCPClientRegistry, MCPServerConfig, MCPToolDefinition, MediaBridge, ModelInfo, SessionConfig, SessionManager, SkillInjector, type StepCondition, StepCounter, type StepVerifier, type StepVerifierResult, SynthesisRequest, ToolRegistry, ToolResponseEvaluation, ToolResponseProcessor, type ToolResponseProcessorConfig, TranscriptionRequest, TranscriptionResponse, Turn, VisionRequest, VisionResponse };

package/dist/index.d.ts

@@ -1,7 +1,7 @@
-import { a as IProviderAdapter, T as TranscriptionRequest, d as TranscriptionResponse, e as SynthesisRequest, A as AudioChunk, V as VisionRequest, f as VisionResponse, g as ImageGenRequest, h as ImageGenResponse, M as ModelInfo, C as ContextWindow, i as Turn, j as ContentBlock, I as IToolDefinition } from './adapters-CVcfWf85.js';
-export { k as CompletionChunk, l as CompletionRequest, m as CompletionResponse, b as IContextStrategy, c as IScratchpadAdapter, n as IStorageAdapter, N as NormalizedMessage, o as STMItem, p as STMRegistryConfig, S as ShortTermMemoryRegistry, q as TokenUsage, r as ToolCall, s as ToolContext, t as ToolResult } from './adapters-CVcfWf85.js';
-import { S as SessionConfig, I as IToolResponseProcessor, T as ToolResponseEvaluation, M as MCPServerConfig, a as MCPToolDefinition } from './agent-DTcDIKIn.js';
-export { b as MCPJsonRpcRequest, c as MCPJsonRpcResponse, d as MCPTransportType, e as MediaConfig, f as ToolDecision, g as ToolExecutionBudget, h as ToolFirewallConfig, i as ToolFirewallRule, j as TraceEvent } from './agent-DTcDIKIn.js';
+import { a as IProviderAdapter, d as TranscriptionRequest, e as TranscriptionResponse, f as SynthesisRequest, A as AudioChunk, V as VisionRequest, g as VisionResponse, h as ImageGenRequest, i as ImageGenResponse, M as ModelInfo, C as ContextWindow, T as Turn, j as ContentBlock, I as IToolDefinition } from './adapters-DHQOGl8Y.js';
+export { k as CompletionChunk, l as CompletionRequest, m as CompletionResponse, b as IContextStrategy, c as IScratchpadAdapter, n as IStorageAdapter, N as NormalizedMessage, o as STMItem, p as STMRegistryConfig, S as ShortTermMemoryRegistry, q as TokenUsage, r as ToolCall, s as ToolContext, t as ToolResult } from './adapters-DHQOGl8Y.js';
+import { S as SessionConfig, G as Goal, I as IToolResponseProcessor, T as ToolResponseEvaluation, M as MCPServerConfig, a as MCPToolDefinition } from './agent-CjoFQGlk.js';
+export { b as GoalInjector, c as GoalVerifierResult, d as MCPJsonRpcRequest, e as MCPJsonRpcResponse, f as MCPTransportType, g as MediaConfig, h as ToolDecision, i as ToolExecutionBudget, j as ToolFirewallConfig, k as ToolFirewallRule, l as TraceEvent } from './agent-CjoFQGlk.js';
 export { LemuraAdapterError, LemuraContextOverflowError, LemuraError, LemuraMCPConnectionError, LemuraMCPError, LemuraMCPTimeoutError, LemuraMaxIterationsError, LemuraSkillInjectionError, LemuraToolNotFoundError, LemuraToolTimeoutError, LemuraToolValidationError } from './types/index.js';
 import { I as ILogger } from './logger-DxvKliuk.js';
 export { L as LogLevel, a as LogMetadata, S as Severity } from './logger-DxvKliuk.js';
@@ -30,67 +30,6 @@ declare class MediaBridge {
     supportsVision(): boolean;
 }
 
-interface Goal {
-    id: string;
-    statement: string;
-    /** High-level sub-goals decomposed from the main statement */
-    decomposition: string[];
-    successCriteria: string[];
-    injectionFrequency: 'always' | 'every_N_turns' | 'on_compression';
-    injectionPosition: 'system_prompt' | 'pre_turn';
-    /** Sub-goals already completed — updated via `markSubGoalDone()` */
-    completedSubGoals?: string[];
-}
-/**
- * GoalInjector keeps the original task objective visible throughout the ReAct loop,
- * preventing goal drift after many tool calls and context compressions.
- *
- * Usage in SessionManager:
- * - For `system_prompt` position: call `injectInto(prompt)` which appends the goal block.
- * - For `pre_turn` position: call `getFormattedBlock()` and push as a system message.
- */
-declare class GoalInjector {
-    private goal;
-    private turnsSinceInjection;
-    constructor(goal: Goal);
-    /**
-     * Returns the formatted `[CURRENT GOAL]` block string — without caring about
-     * where it will be placed. Callers decide whether to append to a system prompt
-     * or push as a separate message.
-     */
-    getFormattedBlock(): string;
-    /**
-     * Appends the goal block to the given prompt string (for `system_prompt` position).
-     * For `pre_turn` position, use `getFormattedBlock()` directly.
-     *
-     * @param prompt - The existing system prompt to append to.
-     */
-    injectInto(prompt: string): string;
-    /**
-     * Returns true when the goal should be re-injected this turn,
-     * based on `injectionFrequency`.
-     *
-     * @param turnIndex - The current turn index in the ReAct loop (0-based)
-     * @param compressionOccurred - Whether context was compressed this iteration
-     * @param injectionN - The N for 'every_N_turns' frequency (default: 3)
-     */
-    shouldInjectThisTurn(turnIndex: number, compressionOccurred?: boolean, injectionN?: number): boolean;
-    /**
-     * Updates the goal with new sub-goal decomposition and success criteria,
-     * typically populated by the mini-planning LLM call.
-     */
-    updateDecomposition(decomposition: string[], successCriteria?: string[]): void;
-    /**
-     * Marks a sub-goal as completed so it moves to the "completed" section
-     * in subsequent injections.
-     */
-    markSubGoalDone(subGoal: string): void;
-    /** Returns a snapshot of the current goal state (safe to store in context.metadata). */
-    getGoal(): Goal;
-    /** Increments the internal turn counter (used for `every_N_turns` frequency). */
-    incrementTurn(): void;
-}
-
 /**
  * An optional condition that gates a step's execution on the output of a prior step.
  * When the condition is not met, the step is automatically marked `skipped`.
@@ -101,6 +40,44 @@ interface StepCondition {
     /** Substring that must be present in the prior step's output to allow this step to run */
     outputContains: string;
 }
+/**
+ * Result returned by a `StepVerifier.check` function.
+ * - `pass`  — the sub-goal is achieved; the step is marked `done`.
+ * - `fail`  — the sub-goal failed; the step is marked `failed` and BFS propagates to dependants.
+ * - `retry` — the output is unsatisfactory but retriable; the step is reset to `pending`.
+ */
+interface StepVerifierResult {
+    status: 'pass' | 'fail' | 'retry';
+    reason?: string;
+}
+/**
+ * Optional semantic verifier attached to a `ContinuationStep`.
+ * Called after the tool executes successfully to confirm the sub-goal is actually met.
+ *
+ * @example
+ * verify: {
+ *   maxRetries: 2,
+ *   check: (output) => {
+ *     const data = JSON.parse(output);
+ *     return data.rows?.length > 0
+ *       ? { status: 'pass' }
+ *       : { status: 'retry', reason: 'Empty result set' };
+ *   }
+ * }
+ */
+interface StepVerifier {
+    /**
+     * Inspects the tool output and decides whether the sub-goal is satisfied.
+     * @param output  - Serialised tool result string
+     * @param args    - The resolved arguments that were passed to the tool
+     */
+    check: (output: string, args: Record<string, unknown>) => Promise<StepVerifierResult> | StepVerifierResult;
+    /**
+     * Maximum number of `retry` verdicts allowed before the step is forced to `failed`.
+     * Defaults to 0 (no retries — a `retry` verdict immediately becomes `failed`).
+     */
+    maxRetries?: number;
+}
 interface ContinuationStep {
     stepId: string;
     toolName: string;
@@ -124,6 +101,14 @@ interface ContinuationStep {
      * contains the given substring. When the condition is not met, the step is skipped.
      */
     condition?: StepCondition;
+    /**
+     * Optional semantic verifier: called after the tool executes to confirm the
+     * sub-goal is actually satisfied. Supports `pass / fail / retry` verdicts
+     * with a configurable `maxRetries` count.
+     *
+     * @since 1.4.4
+     */
+    verify?: StepVerifier;
 }
 interface ContinuationPlan {
     steps: ContinuationStep[];
@@ -152,7 +137,13 @@ interface ContinuationPlan {
 declare class ContinuationPlanner {
     private plan;
     private outputs;
-    constructor(plan: ContinuationPlan);
+    private retryCount;
+    private onStepSkipped;
+    private onStepFailed;
+    constructor(plan: ContinuationPlan, callbacks?: {
+        onStepSkipped?: (stepId: string, reason: string) => void;
+        onStepFailed?: (stepId: string, reason: string) => void;
+    });
     /** Returns the current plan (deep copy) */
     getPlan(): ContinuationPlan;
     /** Returns a human-readable status string with icons (injected before each iteration) */
@@ -172,11 +163,18 @@ declare class ContinuationPlanner {
     /**
      * Marks a step as failed and propagates `skipped` to all transitively dependent steps.
      */
-    markStepFailed(stepId: string): void;
+    markStepFailed(stepId: string, reason?: string): void;
     /**
      * Marks a step as skipped (e.g., condition not met) and propagates to its dependants.
      */
-    markStepSkipped(stepId: string): void;
+    markStepSkipped(stepId: string, reason?: string): void;
+    /**
+     * Resets a step back to `pending` for a retry attempt.
+     * Increments the internal retry counter for the step.
+     */
+    markStepPending(stepId: string): void;
+    /** Returns how many times a step has been retried. */
+    getRetryCount(stepId: string): number;
     /** Retrieves an output stored by `outputKey` from a completed step */
     getOutput(key: string): string | undefined;
     /**
@@ -320,6 +318,22 @@ declare class SessionManager {
      * ```
      */
     setPlan(steps: ContinuationStep[], strategy?: ContinuationPlan['strategy']): void;
+    /**
+     * Returns a snapshot of the current continuation plan, or `null` if no plan
+     * has been set via `setPlan()`.
+     *
+     * Use this after `run()` to inspect which steps completed, failed, or were skipped.
+     *
+     * @since 1.4.4
+     *
+     * @example
+     * ```typescript
+     * await session.run('Run the pipeline');
+     * const plan = session.getPlan();
+     * const failed = plan?.steps.filter(s => s.status === 'failed');
+     * ```
+     */
+    getPlan(): ContinuationPlan | null;
     /**
      * Manually sets the agent's goal, bypassing the automatic mini-planning LLM call.
      *
@@ -374,9 +388,6 @@ declare class SessionManager {
     /**
      * Runs the full ReAct loop for a user message and returns the final assistant response.
      *
-     * When `enableGoalPlanning` is true and no goal has been manually set, a mini-planning
-     * LLM call is made before the first iteration to decompose the task into sub-goals.
-     *
      * @param userMessage - The user's message (string or multimodal content blocks)
      * @returns The assistant's final response string
      * @throws {LemuraMaxIterationsError} When the loop exceeds `maxIterations`
@@ -385,8 +396,8 @@ declare class SessionManager {
     /**
      * Runs the ReAct loop and streams the final assistant response token-by-token.
      *
-     * Tool calls within the loop are still executed synchronously (they must complete
-     * before streaming the conclusion). Only the final LLM text output is streamed.
+     * All tool calls, goal verification, and corrections complete before any token
+     * is yielded — the stream delivers only the clean final response.
      *
      * @param userMessage - The user's message (string or multimodal content blocks)
      * @returns An `AsyncIterable<string>` of delta tokens from the final response
@@ -399,6 +410,29 @@ declare class SessionManager {
      * ```
      */
     stream(userMessage: string | ContentBlock[]): AsyncIterable<string>;
+    /**
+     * Core ReAct execution loop shared by `run()` and `stream()`.
+     *
+     * Uses `adapter.complete()` exclusively — no streaming occurs here.
+     * Goal verification and silent corrections run inside this method,
+     * fully isolated from the caller's delivery path.
+     *
+     * @returns The final assistant response string
+     * @throws {LemuraMaxIterationsError} When the loop exceeds `maxIterations`
+     */
+    private _executeLoop;
+    /**
+     * Verifies whether the goal was achieved after a `stop` finish.
+     *
+     * Priority:
+     * 1. `config.goalVerifier` callback (Option A — user-supplied)
+     * 2. Built-in LLM check against `successCriteria` (Option C — fallback)
+     *
+     * Returns `null` when verification is skipped (no goal, planning disabled, etc.).
+     *
+     * @since 1.5.0
+     */
+    private _verifyGoal;
     /**
      * Resets the session: clears conversation history, resets iteration counters,
      * tool execution budget tallies, and goal/plan state.
@@ -612,4 +646,4 @@ declare class MCPClientRegistry {
     private _bridge;
 }
 
-export { AudioChunk, ContentBlock, ContextWindow, type ContinuationPlan, ContinuationPlanner, type ContinuationStep, FinalResponseFormatter, type Goal, GoalInjector, ILogger, IProviderAdapter, IToolDefinition, IToolResponseProcessor, ImageGenRequest, ImageGenResponse, MCPClient, MCPClientRegistry, MCPServerConfig, MCPToolDefinition, MediaBridge, ModelInfo, SessionConfig, SessionManager, SkillInjector, type StepCondition, StepCounter, SynthesisRequest, ToolRegistry, ToolResponseEvaluation, ToolResponseProcessor, type ToolResponseProcessorConfig, TranscriptionRequest, TranscriptionResponse, Turn, VisionRequest, VisionResponse };
+export { AudioChunk, ContentBlock, ContextWindow, type ContinuationPlan, ContinuationPlanner, type ContinuationStep, FinalResponseFormatter, Goal, ILogger, IProviderAdapter, IToolDefinition, IToolResponseProcessor, ImageGenRequest, ImageGenResponse, MCPClient, MCPClientRegistry, MCPServerConfig, MCPToolDefinition, MediaBridge, ModelInfo, SessionConfig, SessionManager, SkillInjector, type StepCondition, StepCounter, type StepVerifier, type StepVerifierResult, SynthesisRequest, ToolRegistry, ToolResponseEvaluation, ToolResponseProcessor, type ToolResponseProcessorConfig, TranscriptionRequest, TranscriptionResponse, Turn, VisionRequest, VisionResponse };