@qvac/harness 1.0.0-rc.0 → 1.0.0-rc.2

package/dist-lib/lib/machine/completion/machine.d.ts

@@ -1,6 +1,6 @@
-import { type EngineDeps } from './ports.ts';
-import type { CompletionContext, DirectToolOutput, EngineEvent, RejectDeniedApprovalParams, SearchingOutput } from './types.ts';
-declare const createCompletionMachineImplementation: (context?: CompletionContext, now?: () => number, deps?: EngineDeps) => import("xstate").StateMachine<CompletionContext, {
+import type { InvocationInput } from './ports.ts';
+import type { CompletionContext, DirectToolOutput, EngineEvent, PrepareResult, RejectDeniedApprovalParams, SearchingOutput } from './types.ts';
+declare const createCompletionMachineImplementation: (context?: CompletionContext, now?: () => number) => import("xstate").StateMachine<CompletionContext, {
     type: 'START';
 } | {
     type: 'PAUSE';
@@ -9,7 +9,7 @@ declare const createCompletionMachineImplementation: (context?: CompletionContex
     pausedMs?: number;
 } | {
     type: 'RECOVERY_REQUIRED';
-    operation: import("../errors.ts").Operation;
+    operation: import("../../contract/run.ts").Operation;
 } | {
     type: 'FACTS';
     value: import("./types.ts").EngineFacts;
@@ -17,99 +17,131 @@ declare const createCompletionMachineImplementation: (context?: CompletionContex
     type: 'FAIL';
     value: {
         error: string;
-    };
+    } | Extract<import("../../helpers/engine-error.ts").EngineError, {
+        tag: 'failed';
+    }>;
 } | {
     type: `xstate.error.actor.${string}`;
-    error: import("../errors.ts").EngineError;
+    error: import("../../helpers/engine-error.ts").EngineError;
 } | {
     type: `xstate.done.actor.${string}`;
     output: import("./types.ts").CompletionActorOutput;
 } | {
     type: 'OUTPUT';
     event: EngineEvent;
+} | {
+    type: 'INPUT';
+    mode: 'steer' | 'follow-up';
+    id?: string;
+    text: string;
 }, {
-    [x: string]: import("xstate").ActorRefFromLogic<import("xstate").PromiseActorLogic<void, import("./ports.ts").InvocationInput, import("xstate").EventObject> | import("xstate").PromiseActorLogic<import("./types.ts").AnsweredPayload, import("./ports.ts").InvocationInput, import("xstate").EventObject> | import("xstate").PromiseActorLogic<import("./types.ts").InspectingOutput, import("./ports.ts").InvocationInput, import("xstate").EventObject> | import("xstate").PromiseActorLogic<import("./types.ts").PreloadInspectionOutput, import("./ports.ts").InvocationInput, import("xstate").EventObject> | import("xstate").PromiseActorLogic<import("./types.ts").PreparingOutput, import("./ports.ts").InvocationInput, import("xstate").EventObject> | import("xstate").PromiseActorLogic<import("./types.ts").RoundDonePayload, import("./ports.ts").InvocationInput, import("xstate").EventObject> | import("xstate").PromiseActorLogic<SearchingOutput, import("./ports.ts").InvocationInput, import("xstate").EventObject> | import("xstate").PromiseActorLogic<import("./types.ts").ToolDonePayload, import("./ports.ts").InvocationInput, import("xstate").EventObject> | import("xstate").PromiseActorLogic<{
+    [x: string]: import("xstate").ActorRefFromLogic<import("xstate").PromiseActorLogic<void, InvocationInput> | import("xstate").PromiseActorLogic<import("./types.ts").AnsweredPayload, InvocationInput> | import("xstate").PromiseActorLogic<import("./types.ts").BatchDonePayload, InvocationInput> | import("xstate").PromiseActorLogic<import("./types.ts").InspectingOutput, InvocationInput> | import("xstate").PromiseActorLogic<import("./types.ts").PrepareInspectionOutput, InvocationInput> | import("xstate").PromiseActorLogic<import("./types.ts").PreparingOutput, InvocationInput> | import("xstate").PromiseActorLogic<import("./types.ts").RetrievingOutput, InvocationInput> | import("xstate").PromiseActorLogic<import("./types.ts").RoundDonePayload, InvocationInput> | import("xstate").PromiseActorLogic<SearchingOutput, InvocationInput> | import("xstate").PromiseActorLogic<import("./types.ts").ToolDonePayload, InvocationInput> | import("xstate").PromiseActorLogic<{
         approved: boolean;
-    }, import("./ports.ts").InvocationInput, import("xstate").EventObject> | import("xstate").PromiseActorLogic<import("./types.ts").SkillLoadOutput, import("./ports.ts").InvocationInput, import("xstate").EventObject> | import("xstate").PromiseActorLogic<import("./types.ts").ResolvingOutput, import("./ports.ts").InvocationInput, import("xstate").EventObject> | import("xstate").PromiseActorLogic<import("./types.ts").RoundDonePayload & {
+    }, InvocationInput> | import("xstate").PromiseActorLogic<import("./types.ts").PrepareRunOutput, InvocationInput> | import("xstate").PromiseActorLogic<import("./types.ts").ResolvingOutput, InvocationInput> | import("xstate").PromiseActorLogic<import("./types.ts").RoundDonePayload & {
         response: string;
-    }, import("./ports.ts").InvocationInput, import("xstate").EventObject>> | undefined;
+    }, InvocationInput>> | undefined;
 }, {
     src: "answering";
-    logic: import("xstate").PromiseActorLogic<import("./types.ts").AnsweredPayload, import("./ports.ts").InvocationInput, import("xstate").EventObject>;
+    logic: import("xstate").PromiseActorLogic<import("./types.ts").AnsweredPayload, InvocationInput>;
     id: string | undefined;
 } | {
     src: "approving";
     logic: import("xstate").PromiseActorLogic<{
         approved: boolean;
-    }, import("./ports.ts").InvocationInput, import("xstate").EventObject>;
+    }, InvocationInput>;
+    id: string | undefined;
+} | {
+    src: "batching";
+    logic: import("xstate").PromiseActorLogic<import("./types.ts").BatchDonePayload, InvocationInput>;
     id: string | undefined;
 } | {
     src: "cleanup";
-    logic: import("xstate").PromiseActorLogic<void, import("./ports.ts").InvocationInput, import("xstate").EventObject>;
+    logic: import("xstate").PromiseActorLogic<void, InvocationInput>;
     id: string | undefined;
 } | {
     src: "executing";
-    logic: import("xstate").PromiseActorLogic<import("./types.ts").ToolDonePayload, import("./ports.ts").InvocationInput, import("xstate").EventObject>;
+    logic: import("xstate").PromiseActorLogic<import("./types.ts").ToolDonePayload, InvocationInput>;
     id: string | undefined;
 } | {
     src: "finishing";
-    logic: import("xstate").PromiseActorLogic<void, import("./ports.ts").InvocationInput, import("xstate").EventObject>;
+    logic: import("xstate").PromiseActorLogic<void, InvocationInput>;
     id: string | undefined;
 } | {
     src: "generating";
-    logic: import("xstate").PromiseActorLogic<import("./types.ts").RoundDonePayload, import("./ports.ts").InvocationInput, import("xstate").EventObject>;
+    logic: import("xstate").PromiseActorLogic<import("./types.ts").RoundDonePayload, InvocationInput>;
     id: string | undefined;
 } | {
-    src: "inspectPreload";
-    logic: import("xstate").PromiseActorLogic<import("./types.ts").PreloadInspectionOutput, import("./ports.ts").InvocationInput, import("xstate").EventObject>;
+    src: "inspectPrepare";
+    logic: import("xstate").PromiseActorLogic<import("./types.ts").PrepareInspectionOutput, InvocationInput>;
     id: string | undefined;
 } | {
     src: "inspecting";
-    logic: import("xstate").PromiseActorLogic<import("./types.ts").InspectingOutput, import("./ports.ts").InvocationInput, import("xstate").EventObject>;
-    id: string | undefined;
-} | {
-    src: "loadingSkill";
-    logic: import("xstate").PromiseActorLogic<import("./types.ts").SkillLoadOutput, import("./ports.ts").InvocationInput, import("xstate").EventObject>;
-    id: string | undefined;
-} | {
-    src: "preloading";
-    logic: import("xstate").PromiseActorLogic<import("./types.ts").SkillLoadOutput, import("./ports.ts").InvocationInput, import("xstate").EventObject>;
+    logic: import("xstate").PromiseActorLogic<import("./types.ts").InspectingOutput, InvocationInput>;
     id: string | undefined;
 } | {
     src: "preparing";
-    logic: import("xstate").PromiseActorLogic<import("./types.ts").PreparingOutput, import("./ports.ts").InvocationInput, import("xstate").EventObject>;
+    logic: import("xstate").PromiseActorLogic<import("./types.ts").PreparingOutput, InvocationInput>;
     id: string | undefined;
 } | {
     src: "rejecting";
-    logic: import("xstate").PromiseActorLogic<import("./types.ts").ToolDonePayload, import("./ports.ts").InvocationInput, import("xstate").EventObject>;
+    logic: import("xstate").PromiseActorLogic<import("./types.ts").ToolDonePayload, InvocationInput>;
     id: string | undefined;
 } | {
     src: "resolving";
-    logic: import("xstate").PromiseActorLogic<import("./types.ts").ResolvingOutput, import("./ports.ts").InvocationInput, import("xstate").EventObject>;
+    logic: import("xstate").PromiseActorLogic<import("./types.ts").ResolvingOutput, InvocationInput>;
     id: string | undefined;
 } | {
     src: "resume";
-    logic: import("xstate").PromiseActorLogic<void, import("./ports.ts").InvocationInput, import("xstate").EventObject>;
+    logic: import("xstate").PromiseActorLogic<void, InvocationInput>;
+    id: string | undefined;
+} | {
+    src: "retrieving";
+    logic: import("xstate").PromiseActorLogic<import("./types.ts").RetrievingOutput, InvocationInput>;
+    id: string | undefined;
+} | {
+    src: "runPrepare";
+    logic: import("xstate").PromiseActorLogic<import("./types.ts").PrepareRunOutput, InvocationInput>;
     id: string | undefined;
 } | {
     src: "searching";
-    logic: import("xstate").PromiseActorLogic<SearchingOutput, import("./ports.ts").InvocationInput, import("xstate").EventObject>;
+    logic: import("xstate").PromiseActorLogic<SearchingOutput, InvocationInput>;
     id: string | undefined;
 } | {
     src: "wrapping";
     logic: import("xstate").PromiseActorLogic<import("./types.ts").RoundDonePayload & {
         response: string;
-    }, import("./ports.ts").InvocationInput, import("xstate").EventObject>;
+    }, InvocationInput>;
     id: string | undefined;
 }, {
+    type: "ackInput";
+    params: undefined;
+} | {
+    type: "ackSteering";
+    params: import("./implementations.ts").RoundParams;
+} | {
+    type: "addKnowledge";
+    params: import("./types.ts").RetrievingOutput;
+} | {
     type: "answerCompletion";
     params: import("./types.ts").AnsweredPayload;
 } | {
     type: "approveCompletion";
     params: undefined;
 } | {
-    type: "authorizePreload";
-    params: import("./types.ts").PreloadInspectionOutput;
+    type: "authorizePrepare";
+    params: import("./types.ts").PrepareInspectionOutput;
+} | {
+    type: "continueGoal";
+    params: undefined;
+} | {
+    type: "continueStop";
+    params: import("./types.ts").AnsweredPayload;
+} | {
+    type: "continueWithInput";
+    params: undefined;
+} | {
+    type: "endRunOnTool";
+    params: import("./types.ts").ToolDonePayload;
 } | {
     type: "failCompletion";
     params: import("./actions/completion.ts").CompletionFailureMessage | {
@@ -118,8 +150,11 @@ declare const createCompletionMachineImplementation: (context?: CompletionContex
         name: string;
         code?: string;
         stack?: string;
-        cause?: import("../errors.ts").ErrorCause;
+        cause?: import("../../helpers/engine-error.ts").ErrorCause;
     };
+} | {
+    type: "finishBatch";
+    params: import("./types.ts").BatchDonePayload;
 } | {
     type: "finishDirectTool";
     params: import("./types.ts").ToolDonePayload;
@@ -138,6 +173,9 @@ declare const createCompletionMachineImplementation: (context?: CompletionContex
 } | {
     type: "queueDirectSearch";
     params: import("./types.ts").PreparingOutput;
+} | {
+    type: "queueInput";
+    params: undefined;
 } | {
     type: "recordFacts";
     params: undefined;
@@ -147,9 +185,15 @@ declare const createCompletionMachineImplementation: (context?: CompletionContex
 } | {
     type: "recordRecovery";
     params: undefined;
+} | {
+    type: "rejectCutOffTool";
+    params: import("./types.ts").ResolvedCallSnapshot;
 } | {
     type: "rejectDeniedApproval";
     params: RejectDeniedApprovalParams;
+} | {
+    type: "rejectPlanModeWrite";
+    params: import("./actions/tools.ts").RejectPlanModeWriteParams;
 } | {
     type: "rejectRepeatedTool";
     params: import("./types.ts").RepeatOfFailedCallParams;
@@ -160,12 +204,8 @@ declare const createCompletionMachineImplementation: (context?: CompletionContex
     type: "requestApproval";
     params: import("./types.ts").ApprovalCall;
 } | {
-    type: "requestPreload";
-    params: import("./types.ts").PreparingPayload & {
-        name: string;
-        history: import("./types.ts").HistorySplice;
-        pendingSearch: string | null;
-    };
+    type: "requestPrepare";
+    params: import("./actions/prepare.ts").RequestPrepareParams;
 } | {
     type: "resolveTools";
     params: import("./types.ts").ToolsResolvedPayload;
@@ -175,6 +215,9 @@ declare const createCompletionMachineImplementation: (context?: CompletionContex
 } | {
     type: "retryCappedSearch";
     params: undefined;
+} | {
+    type: "retryMalformedRound";
+    params: import("./types.ts").AnsweredPayload;
 } | {
     type: "retryMuteRound";
     params: undefined;
@@ -185,14 +228,14 @@ declare const createCompletionMachineImplementation: (context?: CompletionContex
     type: "selectNextTool";
     params: import("./types.ts").ResolvedCallSnapshot;
 } | {
-    type: "settlePreloadFailure";
-    params: import("./types.ts").PreloadInspectionOutput | import("./types.ts").SkillLoadOutput;
+    type: "settleGoal";
+    params: undefined;
 } | {
-    type: "settleSkill";
-    params: import("./types.ts").SkillLoadOutput;
+    type: "settlePrepare";
+    params: PrepareResult;
 } | {
-    type: "settleToolSkill";
-    params: import("./types.ts").SkillLoadOutput;
+    type: "settlePrepareFailure";
+    params: import("./types.ts").PrepareInspectionOutput | import("./types.ts").PrepareRunOutput;
 } | {
     type: "startDirectTool";
     params: DirectToolOutput;
@@ -202,12 +245,6 @@ declare const createCompletionMachineImplementation: (context?: CompletionContex
 } | {
     type: "startNextRound";
     params: undefined;
-} | {
-    type: "startSkillTool";
-    params: Omit<import("./types.ts").ToolExecutionSnapshot, "kind" | "skillName"> & {
-        kind: 'skill';
-        skillName: string;
-    };
 } | {
     type: "startTool";
     params: import("./types.ts").ToolExecutionSnapshot & {
@@ -215,7 +252,10 @@ declare const createCompletionMachineImplementation: (context?: CompletionContex
     };
 } | {
     type: "wrapCompletion";
-    params: import("./types.ts").RunOutcome;
+    params: import("../../contract/run.ts").RunOutcome;
+} | {
+    type: "wrapDeliveredCompletion";
+    params: undefined;
 } | {
     type: "wrapExhaustedCompletion";
     params: undefined;
@@ -231,12 +271,18 @@ declare const createCompletionMachineImplementation: (context?: CompletionContex
 } | {
     type: "approved";
     params: unknown;
+} | {
+    type: "batchRan";
+    params: unknown;
 } | {
     type: "canMuteRetry";
     params: unknown;
 } | {
     type: "canRetrySearchCap";
     params: unknown;
+} | {
+    type: "deliveredBefore";
+    params: unknown;
 } | {
     type: "directAutoRuns";
     params: unknown;
@@ -260,19 +306,31 @@ declare const createCompletionMachineImplementation: (context?: CompletionContex
     params: unknown;
 } | {
     type: "errorInFinishing";
-    params: unknown;
+    params: import("xstate").NonReducibleUnknown;
 } | {
     type: "errorInPausing";
     params: unknown;
 } | {
     type: "errorInRoutableState";
     params: unknown;
+} | {
+    type: "failInFinishing";
+    params: import("xstate").NonReducibleUnknown;
 } | {
     type: "failedOutcome";
     params: unknown;
+} | {
+    type: "goalTokensLeft";
+    params: unknown;
+} | {
+    type: "goalUnmet";
+    params: unknown;
 } | {
     type: "hasAnswer";
     params: unknown;
+} | {
+    type: "hasInput";
+    params: unknown;
 } | {
     type: "hasQueuedTool";
     params: unknown;
@@ -282,6 +340,9 @@ declare const createCompletionMachineImplementation: (context?: CompletionContex
 } | {
     type: "interrupted";
     params: unknown;
+} | {
+    type: "malformedToolCall";
+    params: unknown;
 } | {
     type: "narratedIntent";
     params: unknown;
@@ -295,10 +356,16 @@ declare const createCompletionMachineImplementation: (context?: CompletionContex
     type: "noDirectTool";
     params: unknown;
 } | {
-    type: "preloadFailed";
+    type: "planModeWrite";
+    params: unknown;
+} | {
+    type: "prepareFailed";
     params: unknown;
 } | {
-    type: "preloadNeeded";
+    type: "prepareNeeded";
+    params: unknown;
+} | {
+    type: "readBatchQueued";
     params: unknown;
 } | {
     type: "repeatOfFailed";
@@ -306,6 +373,9 @@ declare const createCompletionMachineImplementation: (context?: CompletionContex
 } | {
     type: "repeatsBlocked";
     params: unknown;
+} | {
+    type: "roundCutOff";
+    params: unknown;
 } | {
     type: "roundHasToolCalls";
     params: unknown;
@@ -313,20 +383,26 @@ declare const createCompletionMachineImplementation: (context?: CompletionContex
     type: "searchPending";
     params: unknown;
 } | {
-    type: "skillLoadAllowed";
+    type: "stopContinues";
     params: unknown;
 } | {
     type: "timeUp";
     params: unknown;
+} | {
+    type: "toolAnswered";
+    params: unknown;
 } | {
     type: "toolAutoRuns";
     params: unknown;
+} | {
+    type: "toolEndedRun";
+    params: unknown;
 } | {
     type: "toolRejected";
     params: unknown;
 }, "deadline", "done" | "failed" | "paused" | "pausing" | "resuming" | {
-    active: "answering" | "finishing" | "generating" | "idle" | "preloadChecking" | "preloading" | "preparing" | "resolving" | "round" | "searching" | "wrapping" | {
-        tools: "approving" | "executing" | "inspecting" | "loadingSkill" | "rejecting" | "selecting";
+    active: "answering" | "finishing" | "generating" | "idle" | "prepareChecking" | "prepareRunning" | "preparing" | "resolving" | "retrieving" | "round" | "searching" | "wrapping" | {
+        tools: "approving" | "batching" | "executing" | "inspecting" | "rejecting" | "selecting";
     };
 }, string, CompletionContext, {
     status: 'success';
@@ -343,19 +419,20 @@ declare const createCompletionMachineImplementation: (context?: CompletionContex
                 readonly history: {};
                 readonly idle: {};
                 readonly preparing: {};
-                readonly preloadChecking: {};
-                readonly preloading: {};
+                readonly prepareChecking: {};
+                readonly prepareRunning: {};
                 readonly searching: {};
                 readonly round: {};
                 readonly generating: {};
                 readonly resolving: {};
                 readonly answering: {};
+                readonly retrieving: {};
                 readonly tools: {
                     states: {
                         readonly selecting: {};
+                        readonly batching: {};
                         readonly inspecting: {};
                         readonly rejecting: {};
-                        readonly loadingSkill: {};
                         readonly approving: {};
                         readonly executing: {};
                     };