@theoremjs/studio 0.3.2 → 0.3.3

package/page/assets/{_virtual_studio-type-sources-ByxqQaOG.js → _virtual_studio-type-sources-BwZOives.js}

@@ -4763,6 +4763,8 @@ export type { MediaTurnBehaviourSpec, ProfileTurnBehaviourSpec, ProfileTurnResum
 export { AUTO_CONTINUE_DELAY_MS, DEFAULT_ALLOW_CONTINUE, DEFAULT_AUTO_CONTINUE, GenerationStopError, isContinueStopKind, isGenerationStopError, isResumeableStop, isUserCancelledStop, profileAllowsInject, profileAllowsSteering, profileTurnResumption, shouldAutoContinue, turnStopFromClientStreamEnd, turnStopFromInteractionStatus, turnStopFromOpenAiFinishReason, } from './src/kernel/stop.js';
 export { authorizeToolReplay } from './src/kernel/tools/execute.js';
 export { GATE_DECISIONS, type GateDecision } from './src/kernel/tools/gate-answer.js';
+export type { MemoryToolExecutionOptions } from './src/kernel/tools/memory-execution.js';
+export { createMemoryToolExecution } from './src/kernel/tools/memory-execution.js';
 export type { CredentialQuery, McpProtocolVersion, McpRpcResponse, ToolRegistry, } from './src/kernel/tools/mod.js';
 export { askUserTool, buildHttpToolTarget, createToolRegistry, credentialPlacement, executeHttpTool, executeMcpTool, formatToolResult, isUnsupportedMcpProtocolError, MCP_PROTOCOL_VERSIONS, parseMcpRpcResponse, prepareTurnToolSnapshot, registerHarnessTools, resolveToolAuth, UncheckedOutput, uncheckedOutput, withCredentialQuery, } from './src/kernel/tools/mod.js';
 export type { BeginToolOperationResult, PageToolDispatch, PageToolExecution, SavedToolInvocation, TerminalToolEvent, ToolExecutionCoordinator, ToolOperationClaim, ToolOperationIdentity, ToolOperationOutcome, ToolOperationUncertainty, } from './src/kernel/tools/operation.js';
@@ -7022,6 +7024,12 @@ export type TurnEvent = {
     injected?: {
         id: string;
     }[];
+    /**
+     * An inject at this stage dropped a draft the user never got: of the reply text since the
+     * turn began or its last \`attempt\`, only the first \`released\` characters stay the reply.
+     * {@linkcode keptReply} drops the rest.
+     */
+    released?: number;
 }
 /**
  * A tool call the model is still writing: the next piece of its arguments' JSON text, in order,
@@ -7102,8 +7110,9 @@ export declare const TURN_EVENT_SCHEMAS: {
 };
 /**
  * \`events\` without the replies a retry threw away: each \`attempt\` drops the text, media and
- * structured output before it, back to the turn's start or its last \`done\`. Tool calls, thoughts
- * and everything else stay, since they happened.
+ * structured output before it, back to the turn's start or its last \`done\`. A \`stage\` event with
+ * \`released\` keeps only that much of the reply's text, and drops what followed it. Tool calls,
+ * thoughts and everything else stay, since they happened.
  */
 export declare function keptReply(events: readonly TurnEvent[]): TurnEvent[];
 `,"file:///node_modules/@theoremjs/agents/src/kernel/schema.d.ts":`import { BLOCKED_REPLY_ON_BLOCK, type BlockedReplyOnBlock } from '../guardrails/types.js';
@@ -7227,7 +7236,7 @@ export declare const AWAITING_USER_INPUT_KINDS: readonly ["confirm", "choice", "
 /** One of {@linkcode AWAITING_USER_INPUT_KINDS}. */
 export type AwaitingUserInputKind = (typeof AWAITING_USER_INPUT_KINDS)[number];
 /** Why a stage handler's result was partly or wholly ignored. */
-export declare const STAGE_APPLY_WARNING_CODES: readonly ["affordance_not_allowed", "inject_not_allowed", "inject_rejected_max_steps", "inject_invalid_messages", "inject_id_invalid", "deny_invalid", "confirm_invalid", "mutate_invalid", "label_failed_invalid", "abort_invalid", "wait_for_invalid", "unknown_field", "result_invalid"];
+export declare const STAGE_APPLY_WARNING_CODES: readonly ["affordance_not_allowed", "inject_not_allowed", "inject_rejected_max_steps", "inject_invalid_messages", "inject_id_invalid", "inject_released_invalid", "deny_invalid", "confirm_invalid", "mutate_invalid", "label_failed_invalid", "abort_invalid", "wait_for_invalid", "unknown_field", "result_invalid"];
 /** One of {@linkcode STAGE_APPLY_WARNING_CODES}. */
 export type StageApplyWarningCode = (typeof STAGE_APPLY_WARNING_CODES)[number];
 /** The \`status\` of a tool output that asks the user a question. */
@@ -9381,6 +9390,13 @@ export interface StageResult {
      * non-string id refuses the inject whole.
      */
     injectId?: string;
+    /**
+     * With \`inject\`, at \`post_tool\` or \`before_end\`: how many characters of the attempt's reply text,
+     * as the turn gave it, the user already has. The rest is a draft they never got: it leaves the
+     * turn's history and its reply when the inject lands, so the model answers everything afresh
+     * after the part they have. Left out, they have all of it.
+     */
+    released?: number;
     abort?: boolean | {
         reason?: string;
     };
@@ -9431,6 +9447,8 @@ export interface StageApplyInput {
 export interface InjectUnit {
     id?: string;
     messages: TurnHistoryMessage[];
+    /** {@linkcode StageResult.released}: the reply text the user has when this inject lands. */
+    released?: number;
 }
 /** A stage handler's result after validation: the parts the turn will act on. */
 export interface StageApplyOutput {
@@ -9465,16 +9483,18 @@ export type StageEventExtra = {
     injected?: {
         id: string;
     }[];
+    released?: number;
 };
 /** Build a stream \`stage\` event. Unknown extra keys are not copied. */
 export declare function stageEventFields(stage: TurnStage, extra?: Partial<StageEventExtra>): TurnEventOf<'stage'>;
 export declare function injectMessages(units: readonly InjectUnit[]): TurnHistoryMessage[];
 /**
  * The \`stage\` event recording that \`units\` landed, naming the ones the host
- * named; \`undefined\` when none was named. Emit it where the messages land,
- * never before: an inject that never lands is never reported.
+ * named, and the reply text the user has when they dropped a draft (\`released\`);
+ * \`undefined\` when there is neither. Emit it where the messages land, never
+ * before: an inject that never lands is never reported.
  */
-export declare function injectedStageEvent(stage: TurnStage, units: readonly InjectUnit[], extra?: Pick<StageEventExtra, 'callId' | 'toolName'>): TurnEventOf<'stage'> | undefined;
+export declare function injectedStageEvent(stage: TurnStage, units: readonly InjectUnit[], extra?: Pick<StageEventExtra, 'callId' | 'toolName' | 'released'>): TurnEventOf<'stage'> | undefined;
 export declare function injectWouldExceedMaxSteps(stepCount: number, maxSteps: number | undefined): boolean;
 export interface RunStageArgs extends StageCallBag {
     stage: TurnStage;
@@ -9517,8 +9537,8 @@ export declare function uncheckedOutput(value: unknown): UncheckedOutput;
 `,"file:///node_modules/@theoremjs/agents/src/kernel/tools/operation.d.ts":`import { z } from 'zod';
 import { TheoremError } from '../../guardrails/error.js';
 import { type JsonObject, type JsonValue } from '../json.js';
+import type { InjectUnit } from '../stages.js';
 import type { GateReference, TurnEventOf } from '../turn-events.js';
-import type { TurnHistoryMessage } from '../types.js';
 import type { ModelToolResult, PageAnswer, ToolFailure } from './types.js';
 export type TerminalToolEvent = TurnEventOf<'tool'> & {
     tool: Extract<TurnEventOf<'tool'>['tool'], {
@@ -9559,10 +9579,7 @@ export interface ToolOperationOutcome {
         aborted?: boolean | {
             reason?: string;
         };
-        pendingInject?: {
-            id?: string;
-            messages: TurnHistoryMessage[];
-        }[];
+        pendingInject?: InjectUnit[];
     };
 }
 export type ToolOperationUncertainty = 'execution_interrupted' | 'settlement_write_failed' | 'worker_lost';
@@ -11628,6 +11645,17 @@ declare function hitRules(hits: GuardrailHit[]): string[];
 declare function boundaryNote({ canary, labels, }: Pick<GuardrailContext, 'canary' | 'labels'>): string | undefined;
 export type { EventLeak, LeakScope };
 export { boundaryNote, eventLeak, eventPromptLeakHits, hitRules, isPromptLeakHit, promptEchoHits, promptLeakReason, WITHHELD_REASON, };
+`,"file:///node_modules/@theoremjs/agents/src/kernel/tools/memory-execution.d.ts":`import { type ToolExecutionCoordinator } from './operation.js';
+export interface MemoryToolExecutionOptions {
+    /** The most operations it holds. A full coordinator refuses dispatch and keeps what it has. */
+    maxOperations?: number;
+}
+/**
+ * A coordinator that keeps claims and outcomes in process memory.
+ * Use one per turn or per process when nothing needs to resume after a restart.
+ * A host that resumes across requests or workers supplies its own \`ToolExecutionCoordinator\`.
+ */
+export declare function createMemoryToolExecution(options?: MemoryToolExecutionOptions): ToolExecutionCoordinator;
 `,"file:///node_modules/@theoremjs/agents/src/kernel/scope.d.ts":`import type { TraceSink } from '../observability/trace-sink.js';
 import { type RunDecisionOptions } from './engine/decision.js';
 import { type RunEmbeddingOptions } from './engine/embedding.js';