lemura 1.4.4 → 1.5.0

package/CHANGELOG.md

@@ -5,6 +5,22 @@ All notable changes to this project will be documented in this file.
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
+## [1.5.0] - 2026-05-27
+
+### Added
+
+- **`SessionManager.stream()`**: New `async *stream(userMessage)` method that runs the full ReAct loop (tool calls, goal verification, corrections) and then streams the final assistant response token-by-token as an `AsyncIterable<string>`. All tool use and verification completes before the first token is yielded, so callers always receive a clean, final response.
+
+- **`GoalVerifierResult` interface** (`src/types/agent.ts`): Return type for `goalVerifier` callbacks and the built-in LLM-based checker. Fields: `achieved: boolean`, `missing?: string` (injected as a follow-up user message when false), `reason?: string` (surfaced in trace events).
+
+- **`SessionConfig.goalVerifier`**: Optional user-supplied async callback `(goal: Goal, turns: Turn[]) => Promise<GoalVerifierResult> | GoalVerifierResult`. Called after the ReAct loop reaches a `stop` finish reason when `enableGoalPlanning` is `true`. Returning `{ achieved: false, missing: '...' }` injects a silent correction loop (capped at one retry). When omitted and `successCriteria` is non-empty, Lemura falls back to a built-in LLM check.
+
+- **`SessionConfig.enableGoalVerification`**: Boolean flag to opt out of post-run goal verification. Defaults to `true` when `enableGoalPlanning` is set. Set to `false` to skip the verifier step entirely without removing `enableGoalPlanning`.
+
+- **`SessionManager._executeLoop()`**: Internal refactor — `run()` and `stream()` now share a single `_executeLoop()` core that handles tool dispatch, goal injection, step budgets, and verification. Only the final-response step differs between the two public methods.
+
+- **`GoalVerification.test.ts`**: Unit tests covering the `goalVerifier` callback path, the built-in LLM verifier fallback, and the `enableGoalVerification: false` opt-out.
+
 ## [1.4.4] - 2026-05-21
 
 ### Added

package/README.md

@@ -86,6 +86,11 @@ async function main() {
 
   const response = await session.run('What is lemura?');
   console.log(response);
+
+  // Or stream the final response token-by-token
+  for await (const token of session.stream('What is lemura?')) {
+    process.stdout.write(token);
+  }
 }
 
 main();

package/dist/adapters/index.d.mts

@@ -1,4 +1,4 @@
-import { a as IProviderAdapter, l as CompletionRequest, m as CompletionResponse, k as CompletionChunk, M as ModelInfo, T as TranscriptionRequest, d as TranscriptionResponse, e as SynthesisRequest, A as AudioChunk, V as VisionRequest, f as VisionResponse, g as ImageGenRequest, h as ImageGenResponse } from '../adapters-BhTAnrOM.mjs';
+import { a as IProviderAdapter, l as CompletionRequest, m as CompletionResponse, k as CompletionChunk, M as ModelInfo, d as TranscriptionRequest, e as TranscriptionResponse, f as SynthesisRequest, A as AudioChunk, V as VisionRequest, g as VisionResponse, h as ImageGenRequest, i as ImageGenResponse } from '../adapters-S96Ka9wt.mjs';
 import '../rag-La_Bo-J8.mjs';
 import '../logger-DxvKliuk.mjs';
 

package/dist/adapters/index.d.ts

@@ -1,4 +1,4 @@
-import { a as IProviderAdapter, l as CompletionRequest, m as CompletionResponse, k as CompletionChunk, M as ModelInfo, T as TranscriptionRequest, d as TranscriptionResponse, e as SynthesisRequest, A as AudioChunk, V as VisionRequest, f as VisionResponse, g as ImageGenRequest, h as ImageGenResponse } from '../adapters-CVcfWf85.js';
+import { a as IProviderAdapter, l as CompletionRequest, m as CompletionResponse, k as CompletionChunk, M as ModelInfo, d as TranscriptionRequest, e as TranscriptionResponse, f as SynthesisRequest, A as AudioChunk, V as VisionRequest, g as VisionResponse, h as ImageGenRequest, i as ImageGenResponse } from '../adapters-DHQOGl8Y.js';
 import '../rag-La_Bo-J8.js';
 import '../logger-DxvKliuk.js';
 

package/dist/{adapters-CVcfWf85.d.ts → adapters-DHQOGl8Y.d.ts}

@@ -363,4 +363,4 @@ interface IProviderAdapter {
     healthCheck(): Promise<boolean>;
 }
 
-export { type AudioChunk as A, type ContextWindow as C, type IToolDefinition as I, type ModelInfo as M, type NormalizedMessage as N, ShortTermMemoryRegistry as S, type TranscriptionRequest as T, type VisionRequest as V, type IProviderAdapter as a, type IContextStrategy as b, type IScratchpadAdapter as c, type TranscriptionResponse as d, type SynthesisRequest as e, type VisionResponse as f, type ImageGenRequest as g, type ImageGenResponse as h, type Turn as i, type ContentBlock as j, type CompletionChunk as k, type CompletionRequest as l, type CompletionResponse as m, type IStorageAdapter as n, type STMItem as o, type STMRegistryConfig as p, type TokenUsage as q, type ToolCall as r, type ToolContext as s, type ToolResult as t };
+export { type AudioChunk as A, type ContextWindow as C, type IToolDefinition as I, type ModelInfo as M, type NormalizedMessage as N, ShortTermMemoryRegistry as S, type Turn as T, type VisionRequest as V, type IProviderAdapter as a, type IContextStrategy as b, type IScratchpadAdapter as c, type TranscriptionRequest as d, type TranscriptionResponse as e, type SynthesisRequest as f, type VisionResponse as g, type ImageGenRequest as h, type ImageGenResponse as i, type ContentBlock as j, type CompletionChunk as k, type CompletionRequest as l, type CompletionResponse as m, type IStorageAdapter as n, type STMItem as o, type STMRegistryConfig as p, type TokenUsage as q, type ToolCall as r, type ToolContext as s, type ToolResult as t };

package/dist/{adapters-BhTAnrOM.d.mts → adapters-S96Ka9wt.d.mts}

@@ -363,4 +363,4 @@ interface IProviderAdapter {
     healthCheck(): Promise<boolean>;
 }
 
-export { type AudioChunk as A, type ContextWindow as C, type IToolDefinition as I, type ModelInfo as M, type NormalizedMessage as N, ShortTermMemoryRegistry as S, type TranscriptionRequest as T, type VisionRequest as V, type IProviderAdapter as a, type IContextStrategy as b, type IScratchpadAdapter as c, type TranscriptionResponse as d, type SynthesisRequest as e, type VisionResponse as f, type ImageGenRequest as g, type ImageGenResponse as h, type Turn as i, type ContentBlock as j, type CompletionChunk as k, type CompletionRequest as l, type CompletionResponse as m, type IStorageAdapter as n, type STMItem as o, type STMRegistryConfig as p, type TokenUsage as q, type ToolCall as r, type ToolContext as s, type ToolResult as t };
+export { type AudioChunk as A, type ContextWindow as C, type IToolDefinition as I, type ModelInfo as M, type NormalizedMessage as N, ShortTermMemoryRegistry as S, type Turn as T, type VisionRequest as V, type IProviderAdapter as a, type IContextStrategy as b, type IScratchpadAdapter as c, type TranscriptionRequest as d, type TranscriptionResponse as e, type SynthesisRequest as f, type VisionResponse as g, type ImageGenRequest as h, type ImageGenResponse as i, type ContentBlock as j, type CompletionChunk as k, type CompletionRequest as l, type CompletionResponse as m, type IStorageAdapter as n, type STMItem as o, type STMRegistryConfig as p, type TokenUsage as q, type ToolCall as r, type ToolContext as s, type ToolResult as t };

package/dist/{agent-81ZUiP-T.d.mts → agent-BefjpRHZ.d.mts}

@@ -1,4 +1,4 @@
-import { I as IToolDefinition, a as IProviderAdapter, b as IContextStrategy, S as ShortTermMemoryRegistry, c as IScratchpadAdapter } from './adapters-BhTAnrOM.mjs';
+import { I as IToolDefinition, a as IProviderAdapter, b as IContextStrategy, S as ShortTermMemoryRegistry, c as IScratchpadAdapter, T as Turn } from './adapters-S96Ka9wt.mjs';
 import { I as ILogger } from './logger-DxvKliuk.mjs';
 import { I as ISkill } from './skills-Y6D7zSSw.mjs';
 import { I as IRAGAdapter } from './rag-La_Bo-J8.mjs';
@@ -102,6 +102,67 @@ interface MCPJsonRpcResponse {
     };
 }
 
+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;
+}
+
 interface ToolResponseEvaluation {
     relevanceScore: number;
     sizeClass: 'small' | 'medium' | 'large' | 'oversized';
@@ -160,6 +221,22 @@ interface ToolExecutionBudget {
     /** Maximum simultaneous parallel tool executions (default: unlimited) */
     maxConcurrentCalls?: number;
 }
+/**
+ * Result returned by a `goalVerifier` callback or the built-in `successCriteria` checker.
+ *
+ * @since 1.5.0
+ */
+interface GoalVerifierResult {
+    /** Whether the original goal was fully achieved */
+    achieved: boolean;
+    /**
+     * When `achieved` is false, describes what is still missing.
+     * This text is injected as a follow-up user message to continue the loop.
+     */
+    missing?: string;
+    /** Short human-readable reason for the verdict — surfaced in trace events */
+    reason?: string;
+}
 /** Configuration for a lemura Session */
 interface SessionConfig {
     /** The provider adapter to use */
@@ -215,6 +292,13 @@ interface SessionConfig {
     continuationStrategy?: 'sequential' | 'parallel' | 'conditional';
     /** Enable goal planning */
     enableGoalPlanning?: boolean;
+    /**
+     * Enable post-run goal verification (Option A + C).
+     * When true, Lemura checks whether the goal was actually achieved after each stop.
+     * Requires `enableGoalPlanning` to also be true. Defaults to true.
+     * @since 1.5.0
+     */
+    enableGoalVerification?: boolean;
     goalInjectionFrequency?: 'always' | 'every_N_turns' | 'on_compression';
     goalInjectionPosition?: 'system_prompt' | 'pre_turn';
     /** Skill budget — max tokens the skill injection block may consume */
@@ -255,6 +339,27 @@ interface SessionConfig {
     toolRegistryTimeoutMs?: number;
     /** Callback for granular trace events (planning, budgets, tools, etc.) */
     onTrace?: (event: TraceEvent) => void;
+    /**
+     * Optional callback invoked after the ReAct loop reaches a `stop` finish reason.
+     *
+     * Return `{ achieved: false, missing: '...' }` to continue the loop with the
+     * missing work injected as a follow-up user message (capped at one retry).
+     * Return `{ achieved: true }` to stop normally.
+     *
+     * Only called when `enableGoalPlanning` is `true` and a goal statement exists.
+     * When omitted and `successCriteria` is non-empty, Lemura falls back to a
+     * built-in LLM-based check against those criteria.
+     *
+     * @since 1.5.0
+     * @example
+     * goalVerifier: async (goal, turns) => {
+     *   const last = turns.at(-1)?.content ?? '';
+     *   return last.includes('DONE')
+     *     ? { achieved: true }
+     *     : { achieved: false, missing: 'Final DONE marker not found in output' };
+     * }
+     */
+    goalVerifier?: (goal: Goal, turns: Turn[]) => Promise<GoalVerifierResult> | GoalVerifierResult;
     /**
      * MCP (Model Context Protocol) server configurations.
      * Each server is connected at session construction, its tools are discovered
@@ -281,4 +386,4 @@ interface TraceEvent {
     metadata?: Record<string, any>;
 }
 
-export type { IToolResponseProcessor as I, MCPServerConfig as M, SessionConfig as S, ToolResponseEvaluation as T, MCPToolDefinition as a, MCPJsonRpcRequest as b, MCPJsonRpcResponse as c, MCPTransportType as d, MediaConfig as e, ToolDecision as f, ToolExecutionBudget as g, ToolFirewallConfig as h, ToolFirewallRule as i, TraceEvent as j };
+export { type Goal as G, type IToolResponseProcessor as I, type MCPServerConfig as M, type SessionConfig as S, type ToolResponseEvaluation as T, type MCPToolDefinition as a, GoalInjector as b, type GoalVerifierResult as c, type MCPJsonRpcRequest as d, type MCPJsonRpcResponse as e, type MCPTransportType as f, type MediaConfig as g, type ToolDecision as h, type ToolExecutionBudget as i, type ToolFirewallConfig as j, type ToolFirewallRule as k, type TraceEvent as l };

package/dist/{agent-BH_uE2nT.d.ts → agent-CjoFQGlk.d.ts}

@@ -1,4 +1,4 @@
-import { I as IToolDefinition, a as IProviderAdapter, b as IContextStrategy, S as ShortTermMemoryRegistry, c as IScratchpadAdapter } from './adapters-CVcfWf85.js';
+import { I as IToolDefinition, a as IProviderAdapter, b as IContextStrategy, S as ShortTermMemoryRegistry, c as IScratchpadAdapter, T as Turn } from './adapters-DHQOGl8Y.js';
 import { I as ILogger } from './logger-DxvKliuk.js';
 import { I as ISkill } from './skills-Y6D7zSSw.js';
 import { I as IRAGAdapter } from './rag-La_Bo-J8.js';
@@ -102,6 +102,67 @@ interface MCPJsonRpcResponse {
     };
 }
 
+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;
+}
+
 interface ToolResponseEvaluation {
     relevanceScore: number;
     sizeClass: 'small' | 'medium' | 'large' | 'oversized';
@@ -160,6 +221,22 @@ interface ToolExecutionBudget {
     /** Maximum simultaneous parallel tool executions (default: unlimited) */
     maxConcurrentCalls?: number;
 }
+/**
+ * Result returned by a `goalVerifier` callback or the built-in `successCriteria` checker.
+ *
+ * @since 1.5.0
+ */
+interface GoalVerifierResult {
+    /** Whether the original goal was fully achieved */
+    achieved: boolean;
+    /**
+     * When `achieved` is false, describes what is still missing.
+     * This text is injected as a follow-up user message to continue the loop.
+     */
+    missing?: string;
+    /** Short human-readable reason for the verdict — surfaced in trace events */
+    reason?: string;
+}
 /** Configuration for a lemura Session */
 interface SessionConfig {
     /** The provider adapter to use */
@@ -215,6 +292,13 @@ interface SessionConfig {
     continuationStrategy?: 'sequential' | 'parallel' | 'conditional';
     /** Enable goal planning */
     enableGoalPlanning?: boolean;
+    /**
+     * Enable post-run goal verification (Option A + C).
+     * When true, Lemura checks whether the goal was actually achieved after each stop.
+     * Requires `enableGoalPlanning` to also be true. Defaults to true.
+     * @since 1.5.0
+     */
+    enableGoalVerification?: boolean;
     goalInjectionFrequency?: 'always' | 'every_N_turns' | 'on_compression';
     goalInjectionPosition?: 'system_prompt' | 'pre_turn';
     /** Skill budget — max tokens the skill injection block may consume */
@@ -255,6 +339,27 @@ interface SessionConfig {
     toolRegistryTimeoutMs?: number;
     /** Callback for granular trace events (planning, budgets, tools, etc.) */
     onTrace?: (event: TraceEvent) => void;
+    /**
+     * Optional callback invoked after the ReAct loop reaches a `stop` finish reason.
+     *
+     * Return `{ achieved: false, missing: '...' }` to continue the loop with the
+     * missing work injected as a follow-up user message (capped at one retry).
+     * Return `{ achieved: true }` to stop normally.
+     *
+     * Only called when `enableGoalPlanning` is `true` and a goal statement exists.
+     * When omitted and `successCriteria` is non-empty, Lemura falls back to a
+     * built-in LLM-based check against those criteria.
+     *
+     * @since 1.5.0
+     * @example
+     * goalVerifier: async (goal, turns) => {
+     *   const last = turns.at(-1)?.content ?? '';
+     *   return last.includes('DONE')
+     *     ? { achieved: true }
+     *     : { achieved: false, missing: 'Final DONE marker not found in output' };
+     * }
+     */
+    goalVerifier?: (goal: Goal, turns: Turn[]) => Promise<GoalVerifierResult> | GoalVerifierResult;
     /**
      * MCP (Model Context Protocol) server configurations.
      * Each server is connected at session construction, its tools are discovered
@@ -281,4 +386,4 @@ interface TraceEvent {
     metadata?: Record<string, any>;
 }
 
-export type { IToolResponseProcessor as I, MCPServerConfig as M, SessionConfig as S, ToolResponseEvaluation as T, MCPToolDefinition as a, MCPJsonRpcRequest as b, MCPJsonRpcResponse as c, MCPTransportType as d, MediaConfig as e, ToolDecision as f, ToolExecutionBudget as g, ToolFirewallConfig as h, ToolFirewallRule as i, TraceEvent as j };
+export { type Goal as G, type IToolResponseProcessor as I, type MCPServerConfig as M, type SessionConfig as S, type ToolResponseEvaluation as T, type MCPToolDefinition as a, GoalInjector as b, type GoalVerifierResult as c, type MCPJsonRpcRequest as d, type MCPJsonRpcResponse as e, type MCPTransportType as f, type MediaConfig as g, type ToolDecision as h, type ToolExecutionBudget as i, type ToolFirewallConfig as j, type ToolFirewallRule as k, type TraceEvent as l };

package/dist/context/index.d.mts

@@ -1,5 +1,5 @@
-import { b as IContextStrategy, C as ContextWindow, a as IProviderAdapter, n as IStorageAdapter, c as IScratchpadAdapter } from '../adapters-BhTAnrOM.mjs';
-export { p as STMRegistryConfig, S as ShortTermMemoryRegistry } from '../adapters-BhTAnrOM.mjs';
+import { b as IContextStrategy, C as ContextWindow, a as IProviderAdapter, n as IStorageAdapter, c as IScratchpadAdapter } from '../adapters-S96Ka9wt.mjs';
+export { p as STMRegistryConfig, S as ShortTermMemoryRegistry } from '../adapters-S96Ka9wt.mjs';
 import '../rag-La_Bo-J8.mjs';
 import '../logger-DxvKliuk.mjs';
 

package/dist/context/index.d.ts

@@ -1,5 +1,5 @@
-import { b as IContextStrategy, C as ContextWindow, a as IProviderAdapter, n as IStorageAdapter, c as IScratchpadAdapter } from '../adapters-CVcfWf85.js';
-export { p as STMRegistryConfig, S as ShortTermMemoryRegistry } from '../adapters-CVcfWf85.js';
+import { b as IContextStrategy, C as ContextWindow, a as IProviderAdapter, n as IStorageAdapter, c as IScratchpadAdapter } from '../adapters-DHQOGl8Y.js';
+export { p as STMRegistryConfig, S as ShortTermMemoryRegistry } from '../adapters-DHQOGl8Y.js';
 import '../rag-La_Bo-J8.js';
 import '../logger-DxvKliuk.js';
 

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-81ZUiP-T.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-81ZUiP-T.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';
@@ -188,67 +188,6 @@ declare class ContinuationPlanner {
     private _advanceIndex;
 }
 
-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;
-}
-
 /**
  * Core entry point for lemura agent sessions.
  *
@@ -449,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`
@@ -460,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
@@ -474,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.
@@ -687,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, type StepVerifier, type StepVerifierResult, 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 };