@sensigo/realm 0.1.0

package/dist/engine/execution-loop.d.ts

@@ -0,0 +1,101 @@
+import type { RunRecord, AgentTraceEntry } from '../types/run-record.js';
+import type { ToolCallRecord } from '../types/mcp-types.js';
+import type { ResponseEnvelope, NextAction } from '../types/response-envelope.js';
+import { WorkflowError } from '../types/workflow-error.js';
+import type { WorkflowDefinition } from '../types/workflow-definition.js';
+import type { RunStore } from '../store/store-interface.js';
+import type { TraceBufferStore } from '../store/trace-buffer-store.js';
+import { TERMINAL_PHASES } from './lifecycle.js';
+import { ExtensionRegistry } from '../extensions/registry.js';
+export type StepDispatcher = (stepName: string, input: Record<string, unknown>, run: RunRecord, signal?: AbortSignal) => Promise<Record<string, unknown>>;
+export interface ExecuteStepOptions {
+    runId: string;
+    command: string;
+    input: Record<string, unknown>;
+    dispatcher: StepDispatcher;
+    /**
+     * Extension registry for resolving service adapters and step handlers.
+     * When omitted, the engine uses the built-in default registry (includes `FileSystemAdapter`).
+     */
+    registry?: ExtensionRegistry;
+    /** Resolved secrets passed to adapter configs (e.g. API tokens). */
+    secrets?: Record<string, string>;
+    /**
+     * Tool calls produced by callStepWithTools for this step.
+     * Absent on the callStep path (no tools configured).
+     * Present (possibly []) when tools were declared — threads through to captureEvidence.
+     */
+    stepMeta?: {
+        toolCalls?: ToolCallRecord[];
+    };
+    /**
+     * Optional agent-submitted trace entries for this step.
+     * Silently dropped for non-agent steps. When present on agent steps, the
+     * normalizer canonicalizes and persists them in the EvidenceSnapshot.
+     */
+    trace?: AgentTraceEntry[];
+    /**
+     * Optional trace buffer store for incremental trace ingestion (B-lite).
+     * When provided, WAL entries for (runId, stepId) are merged with any trace
+     * submitted on execute_step before canonicalization.
+     * When absent, behaviour is identical to the pre-B-lite path.
+     */
+    traceBufferStore?: TraceBufferStore;
+}
+export interface SubmitGateOptions {
+    runId: string;
+    gateId: string;
+    choice: string;
+}
+export interface ExecuteChainOptions {
+    runId: string;
+    command: string;
+    input: Record<string, unknown>;
+    dispatcher: StepDispatcher;
+    /** @see ExecuteStepOptions.registry */
+    registry?: ExtensionRegistry;
+    /** @see ExecuteStepOptions.secrets */
+    secrets?: Record<string, string>;
+    /**
+     * Tool calls produced by callStepWithTools for this step.
+     * Absent on the callStep path (no tools configured).
+     * Present (possibly []) when tools were declared — threads through to captureEvidence.
+     */
+    stepMeta?: {
+        toolCalls?: ToolCallRecord[];
+    };
+    /** @see ExecuteStepOptions.trace */
+    trace?: AgentTraceEntry[];
+    /** @see ExecuteStepOptions.traceBufferStore */
+    traceBufferStore?: TraceBufferStore;
+}
+/**
+ * Returns NextAction objects for all agent-executable eligible steps.
+ * Auto steps are excluded — they are executed internally by executeChain.
+ */
+export declare function buildNextActions(definition: WorkflowDefinition, run: RunRecord): NextAction[];
+/**
+ * Builds a ResponseEnvelope for errors caught in an MCP tool's outer catch block,
+ * before any step execution has occurred. Translates provide_input and
+ * resolve_precondition agent actions to report_to_user (pre-execution context).
+ */
+export declare function buildPreExecutionErrorEnvelope(command: string, runId: string, runVersion: number, err: WorkflowError, contextHint?: string): ResponseEnvelope;
+/**
+ * Validates eligibility, claims the step, executes it through the dispatcher with retry
+ * and timeout support, captures evidence, persists the updated run record, and returns
+ * a ResponseEnvelope containing the outcome and the next eligible actions.
+ */
+export declare function executeStep(store: RunStore, definition: WorkflowDefinition, options: ExecuteStepOptions): Promise<ResponseEnvelope>;
+/**
+ * Submits a human response for a gate-waiting run.
+ * Validates the gate_id and choice, then moves the step to completed_steps.
+ */
+export declare function submitHumanResponse(store: RunStore, definition: WorkflowDefinition, options: SubmitGateOptions): Promise<ResponseEnvelope>;
+/**
+ * Executes a step and automatically chains into subsequent `execution: auto` steps.
+ * Stops at agent steps, gate steps (returning confirm_required), errors, or terminal state.
+ * Returns next_actions containing all eligible agent steps when the auto chain exhausts.
+ */
+export declare function executeChain(store: RunStore, definition: WorkflowDefinition, options: ExecuteChainOptions): Promise<ResponseEnvelope>;
+export { TERMINAL_PHASES as TERMINAL_STATES };
+//# sourceMappingURL=execution-loop.d.ts.map

package/dist/engine/execution-loop.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"execution-loop.d.ts","sourceRoot":"","sources":["../../src/engine/execution-loop.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EACV,SAAS,EAGT,eAAe,EAChB,MAAM,wBAAwB,CAAC;AAChC,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,KAAK,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAClF,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAC3D,OAAO,KAAK,EACV,kBAAkB,EAInB,MAAM,iCAAiC,CAAC;AACzC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAC5D,OAAO,KAAK,EAAE,gBAAgB,EAAiB,MAAM,gCAAgC,CAAC;AAStF,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAEjD,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAkB9D,MAAM,MAAM,cAAc,GAAG,CAC3B,QAAQ,EAAE,MAAM,EAChB,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC9B,GAAG,EAAE,SAAS,EACd,MAAM,CAAC,EAAE,WAAW,KACjB,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;AAEtC,MAAM,WAAW,kBAAkB;IACjC,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/B,UAAU,EAAE,cAAc,CAAC;IAC3B;;;OAGG;IACH,QAAQ,CAAC,EAAE,iBAAiB,CAAC;IAC7B,oEAAoE;IACpE,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjC;;;;OAIG;IACH,QAAQ,CAAC,EAAE;QAAE,SAAS,CAAC,EAAE,cAAc,EAAE,CAAA;KAAE,CAAC;IAC5C;;;;OAIG;IACH,KAAK,CAAC,EAAE,eAAe,EAAE,CAAC;IAC1B;;;;;OAKG;IACH,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;CACrC;AAED,MAAM,WAAW,iBAAiB;IAChC,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,mBAAmB;IAClC,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/B,UAAU,EAAE,cAAc,CAAC;IAC3B,uCAAuC;IACvC,QAAQ,CAAC,EAAE,iBAAiB,CAAC;IAC7B,sCAAsC;IACtC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjC;;;;OAIG;IACH,QAAQ,CAAC,EAAE;QAAE,SAAS,CAAC,EAAE,cAAc,EAAE,CAAA;KAAE,CAAC;IAC5C,oCAAoC;IACpC,KAAK,CAAC,EAAE,eAAe,EAAE,CAAC;IAC1B,+CAA+C;IAC/C,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;CACrC;AAyVD;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,kBAAkB,EAAE,GAAG,EAAE,SAAS,GAAG,UAAU,EAAE,CAwB7F;AAqCD;;;;GAIG;AACH,wBAAgB,8BAA8B,CAC5C,OAAO,EAAE,MAAM,EACf,KAAK,EAAE,MAAM,EACb,UAAU,EAAE,MAAM,EAClB,GAAG,EAAE,aAAa,EAClB,WAAW,CAAC,EAAE,MAAM,GACnB,gBAAgB,CAkBlB;AAgCD;;;;GAIG;AACH,wBAAsB,WAAW,CAC/B,KAAK,EAAE,QAAQ,EACf,UAAU,EAAE,kBAAkB,EAC9B,OAAO,EAAE,kBAAkB,GAC1B,OAAO,CAAC,gBAAgB,CAAC,CAysB3B;AAED;;;GAGG;AACH,wBAAsB,mBAAmB,CACvC,KAAK,EAAE,QAAQ,EACf,UAAU,EAAE,kBAAkB,EAC9B,OAAO,EAAE,iBAAiB,GACzB,OAAO,CAAC,gBAAgB,CAAC,CAuJ3B;AAuED;;;;GAIG;AACH,wBAAsB,YAAY,CAChC,KAAK,EAAE,QAAQ,EACf,UAAU,EAAE,kBAAkB,EAC9B,OAAO,EAAE,mBAAmB,GAC3B,OAAO,CAAC,gBAAgB,CAAC,CAS3B;AAGD,OAAO,EAAE,eAAe,IAAI,eAAe,EAAE,CAAC"}