@qontinui/shared-types 0.2.1

package/src/generated/VerificationAgentContext.d.ts

@@ -0,0 +1,25 @@
+/* eslint-disable */
+/**
+ * This file was automatically generated.
+ * DO NOT MODIFY IT BY HAND. Regenerate with `just generate-types` or
+ * `qontinui-runner/src-tauri/scripts/generate_types.sh`.
+ */
+
+/**
+ * Context passed to the verification agent (intentionally limited — does not
+ * include work history, to avoid biasing AI evaluation).
+ */
+export interface VerificationAgentContext {
+  /**
+   * The evaluation prompt from the criterion.
+   */
+  evaluationPrompt: string;
+  /**
+   * Brief goal context (NOT work history).
+   */
+  goalContext: string;
+  /**
+   * The screenshot to evaluate, base64-encoded.
+   */
+  screenshotBase64: string;
+}

package/src/generated/VerificationCategoryKind.d.ts

@@ -0,0 +1,19 @@
+/* eslint-disable */
+/**
+ * This file was automatically generated.
+ * DO NOT MODIFY IT BY HAND. Regenerate with `just generate-types` or
+ * `qontinui-runner/src-tauri/scripts/generate_types.sh`.
+ */
+
+/**
+ * Verification-depth category for a step.
+ *
+ * Mirrors the TS `VerificationCategory` literal union. Kept local to this
+ * module because it is only referenced from [`BaseStepFields`].
+ */
+export type VerificationCategoryKind =
+  | "existence"
+  | "uniqueness"
+  | "referential_integrity"
+  | "semantic_correctness"
+  | "runtime_behavior";

package/src/generated/VerificationMethod.d.ts

@@ -0,0 +1,20 @@
+/* eslint-disable */
+/**
+ * This file was automatically generated.
+ * DO NOT MODIFY IT BY HAND. Regenerate with `just generate-types` or
+ * `qontinui-runner/src-tauri/scripts/generate_types.sh`.
+ */
+
+/**
+ * Methods for deterministic verification.
+ */
+export type VerificationMethod =
+  | "build_success"
+  | "unit_test"
+  | "integration_test"
+  | "playwright"
+  | "log_pattern"
+  | "gui_automation"
+  | "type_check"
+  | "lint_check"
+  | "custom_command";

package/src/generated/VerificationPhaseResult.d.ts

@@ -0,0 +1,63 @@
+/* eslint-disable */
+/**
+ * This file was automatically generated.
+ * DO NOT MODIFY IT BY HAND. Regenerate with `just generate-types` or
+ * `qontinui-runner/src-tauri/scripts/generate_types.sh`.
+ */
+
+import type { CheckIssueDetail } from './CheckIssueDetail';
+import type { GateEvaluationResult } from './GateEvaluationResult';
+import type { IndividualCheckResult } from './IndividualCheckResult';
+import type { StepExecutionConfig } from './StepExecutionConfig';
+import type { VerificationStepDetails } from './VerificationStepDetails';
+import type { VerificationStepResult } from './VerificationStepResult';
+
+/**
+ * Result of a single iteration of the verification phase.
+ */
+export interface VerificationPhaseResult {
+  /**
+   * Whether all steps passed.
+   */
+  allPassed: boolean;
+  /**
+   * Whether a critical step failure short-circuited the phase.
+   */
+  criticalFailure: boolean;
+  /**
+   * Number of steps that failed.
+   */
+  failedSteps: number;
+  /**
+   * Whether pass/fail is determined by gates rather than overall step counts.
+   */
+  gateBasedEvaluation: boolean;
+  /**
+   * Per-gate evaluation results.
+   */
+  gateResults: GateEvaluationResult[];
+  /**
+   * 1-based iteration index within the workflow run.
+   */
+  iteration: number;
+  /**
+   * Number of steps that passed.
+   */
+  passedSteps: number;
+  /**
+   * Number of steps that were skipped.
+   */
+  skippedSteps: number;
+  /**
+   * Per-step results.
+   */
+  stepResults: VerificationStepResult[];
+  /**
+   * Total duration of the phase in milliseconds.
+   */
+  totalDurationMs: number;
+  /**
+   * Total number of steps executed.
+   */
+  totalSteps: number;
+}

package/src/generated/VerificationPlan.d.ts

@@ -0,0 +1,43 @@
+/* eslint-disable */
+/**
+ * This file was automatically generated.
+ * DO NOT MODIFY IT BY HAND. Regenerate with `just generate-types` or
+ * `qontinui-runner/src-tauri/scripts/generate_types.sh`.
+ */
+
+import type { CriterionType } from './CriterionType';
+import type { SuccessCriterion } from './SuccessCriterion';
+import type { VerificationMethod } from './VerificationMethod';
+import type { WorkerDomain } from './WorkerDomain';
+
+/**
+ * The verification plan created by the planning agent.
+ */
+export interface VerificationPlan {
+  /**
+   * Execution steps to run before verification (GUI automation / setup).
+   * Stored as raw JSON values because the step discriminated union spans
+   * several types that are outside this module's scope.
+   */
+  executionSteps?: unknown[];
+  /**
+   * Summary of the goal.
+   */
+  goalSummary: string;
+  /**
+   * All success criteria that must be verified.
+   */
+  successCriteria: SuccessCriterion[];
+  /**
+   * Suggested number of worker agents.
+   */
+  suggestedWorkerCount: number;
+  /**
+   * Plan version (incremented on replan).
+   */
+  version: number;
+  /**
+   * Domain assignments for multiple workers.
+   */
+  workerDomains?: WorkerDomain[] | null;
+}

package/src/generated/VerificationResult.d.ts

@@ -0,0 +1,44 @@
+/* eslint-disable */
+/**
+ * This file was automatically generated.
+ * DO NOT MODIFY IT BY HAND. Regenerate with `just generate-types` or
+ * `qontinui-runner/src-tauri/scripts/generate_types.sh`.
+ */
+
+import type { Confidence } from './Confidence';
+import type { CriterionType } from './CriterionType';
+
+/**
+ * Result of a single verification check.
+ */
+export interface VerificationResult {
+  /**
+   * Confidence level (for AI verification).
+   */
+  confidence?: Confidence | null;
+  /**
+   * The criterion that was checked.
+   */
+  criterionId: string;
+  criterionType: CriterionType;
+  /**
+   * Issues found (if failed).
+   */
+  issues?: string[];
+  /**
+   * What was observed.
+   */
+  observations?: string[];
+  /**
+   * Whether the check passed.
+   */
+  passed: boolean;
+  /**
+   * Raw output / details, e.g., captured command output.
+   */
+  rawOutput?: string | null;
+  /**
+   * Suggestions for fixing (if failed).
+   */
+  suggestions?: string[];
+}

package/src/generated/VerificationResultResponse.d.ts

@@ -0,0 +1,65 @@
+/* eslint-disable */
+/**
+ * This file was automatically generated.
+ * DO NOT MODIFY IT BY HAND. Regenerate with `just generate-types` or
+ * `qontinui-runner/src-tauri/scripts/generate_types.sh`.
+ */
+
+import type { CheckIssueDetail } from './CheckIssueDetail';
+import type { GateEvaluationResult } from './GateEvaluationResult';
+import type { IndividualCheckResult } from './IndividualCheckResult';
+import type { StepExecutionConfig } from './StepExecutionConfig';
+import type { VerificationPhaseResult } from './VerificationPhaseResult';
+import type { VerificationStepDetails } from './VerificationStepDetails';
+import type { VerificationStepResult } from './VerificationStepResult';
+
+/**
+ * Response record for a single stored verification result.
+ */
+export interface VerificationResultResponse {
+  /**
+   * Whether all steps passed.
+   */
+  allPassed: boolean;
+  /**
+   * ISO 8601 timestamp when the record was created.
+   */
+  createdAt: string;
+  /**
+   * Whether a critical step failure short-circuited the phase.
+   */
+  criticalFailure: boolean;
+  /**
+   * Number of steps that failed.
+   */
+  failedSteps: number;
+  /**
+   * Unique identifier (UUID v4 string).
+   */
+  id: string;
+  /**
+   * 1-based iteration index within the workflow run.
+   */
+  iteration: number;
+  /**
+   * Number of steps that passed.
+   */
+  passedSteps: number;
+  resultJson: VerificationPhaseResult;
+  /**
+   * Number of steps that were skipped.
+   */
+  skippedSteps: number;
+  /**
+   * ID of the owning task run.
+   */
+  taskRunId: string;
+  /**
+   * Total duration of the phase in milliseconds.
+   */
+  totalDurationMs: number;
+  /**
+   * Total number of steps executed.
+   */
+  totalSteps: number;
+}

package/src/generated/VerificationResultsListResponse.d.ts

@@ -0,0 +1,41 @@
+/* eslint-disable */
+/**
+ * This file was automatically generated.
+ * DO NOT MODIFY IT BY HAND. Regenerate with `just generate-types` or
+ * `qontinui-runner/src-tauri/scripts/generate_types.sh`.
+ */
+
+import type { CheckIssueDetail } from './CheckIssueDetail';
+import type { GateEvaluationResult } from './GateEvaluationResult';
+import type { IndividualCheckResult } from './IndividualCheckResult';
+import type { StepExecutionConfig } from './StepExecutionConfig';
+import type { VerificationPhaseResult } from './VerificationPhaseResult';
+import type { VerificationResultResponse } from './VerificationResultResponse';
+import type { VerificationStepDetails } from './VerificationStepDetails';
+import type { VerificationStepResult } from './VerificationStepResult';
+
+/**
+ * Response for listing verification results for a task run.
+ */
+export interface VerificationResultsListResponse {
+  /**
+   * Total number of verification results.
+   */
+  count: number;
+  /**
+   * Number of iterations that failed.
+   */
+  failedIterations: number;
+  /**
+   * Number of iterations that passed.
+   */
+  passedIterations: number;
+  /**
+   * All verification results for the task run.
+   */
+  results: VerificationResultResponse[];
+  /**
+   * ID of the owning task run.
+   */
+  taskRunId: string;
+}

package/src/generated/VerificationStepDetails.d.ts

@@ -0,0 +1,55 @@
+/* eslint-disable */
+/**
+ * This file was automatically generated.
+ * DO NOT MODIFY IT BY HAND. Regenerate with `just generate-types` or
+ * `qontinui-runner/src-tauri/scripts/generate_types.sh`.
+ */
+
+import type { CheckIssueDetail } from './CheckIssueDetail';
+import type { IndividualCheckResult } from './IndividualCheckResult';
+
+/**
+ * Detailed output captured for a single verification step.
+ */
+export interface VerificationStepDetails {
+  /**
+   * Number of assertions that passed.
+   */
+  assertionsPassed: number | null;
+  /**
+   * Total number of assertions.
+   */
+  assertionsTotal: number | null;
+  /**
+   * Results of individual named checks (e.g., lint, type, test).
+   */
+  checkResults: IndividualCheckResult[] | null;
+  /**
+   * Captured browser/console output.
+   */
+  consoleOutput: string | null;
+  /**
+   * Exit code of the spawned process.
+   */
+  exitCode: number | null;
+  /**
+   * Captured page snapshot (HTML or serialized representation).
+   */
+  pageSnapshot: string | null;
+  /**
+   * Phase the step belongs to (e.g., `"setup"`, `"verification"`).
+   */
+  phase: string;
+  /**
+   * Captured stderr, if any.
+   */
+  stderr: string | null;
+  /**
+   * Captured stdout, if any.
+   */
+  stdout: string | null;
+  /**
+   * ID of the step this detail belongs to.
+   */
+  stepId: string;
+}

package/src/generated/VerificationStepResult.d.ts

@@ -0,0 +1,68 @@
+/* eslint-disable */
+/**
+ * This file was automatically generated.
+ * DO NOT MODIFY IT BY HAND. Regenerate with `just generate-types` or
+ * `qontinui-runner/src-tauri/scripts/generate_types.sh`.
+ */
+
+import type { CheckIssueDetail } from './CheckIssueDetail';
+import type { IndividualCheckResult } from './IndividualCheckResult';
+import type { StepExecutionConfig } from './StepExecutionConfig';
+import type { VerificationStepDetails } from './VerificationStepDetails';
+
+/**
+ * Result of a single step within a verification phase.
+ */
+export interface VerificationStepResult {
+  config: StepExecutionConfig;
+  /**
+   * Step duration in milliseconds.
+   */
+  durationMs: number;
+  /**
+   * ISO 8601 timestamp when the step ended.
+   */
+  endedAt: string | null;
+  /**
+   * Error message if the step failed.
+   */
+  error: string | null;
+  /**
+   * Arbitrary structured output produced by the step.
+   */
+  outputData: {
+    [k: string]: unknown;
+  } | null;
+  /**
+   * Path to a screenshot captured for the step.
+   */
+  screenshotPath: string | null;
+  /**
+   * ISO 8601 timestamp when the step started.
+   */
+  startedAt: string | null;
+  /**
+   * ID of the step, if assigned.
+   */
+  stepId: string | null;
+  /**
+   * Zero-based index of the step within the phase.
+   */
+  stepIndex: number;
+  /**
+   * Display name of the step.
+   */
+  stepName: string;
+  /**
+   * Free-form step type label.
+   */
+  stepType: string;
+  /**
+   * Whether the step succeeded.
+   */
+  success: boolean;
+  /**
+   * Detailed captured output, if any.
+   */
+  verificationDetails: VerificationStepDetails | null;
+}

package/src/generated/VgaAction.d.ts

@@ -0,0 +1,61 @@
+/* eslint-disable */
+/**
+ * This file was automatically generated.
+ * DO NOT MODIFY IT BY HAND. Regenerate with `just generate-types` or
+ * `qontinui-runner/src-tauri/scripts/generate_types.sh`.
+ */
+
+/**
+ * A single action inside a [`VgaAutomateStep`] action sequence.
+ *
+ * Wire shape is internally tagged with `"kind"`:
+ * - `{ "kind": "click", "elementId": "<uuid>", "timeoutMs": 10000 }`
+ * - `{ "kind": "type", "text": "hello", "elementId": "<uuid>", "timeoutMs": 10000 }`
+ *   (`elementId` omitted/null = type into the currently focused element)
+ * - `{ "kind": "wait_for", "elementId": "<uuid>", "timeoutMs": 30000 }`
+ */
+export type VgaAction =
+  | {
+      /**
+       * UUID of the target element in the VGA state machine's element set.
+       */
+      elementId: string;
+      kind: "click";
+      /**
+       * Per-action timeout in milliseconds. Defaults to `10000` on the
+       * consumer side.
+       */
+      timeoutMs?: number | null;
+      [k: string]: unknown;
+    }
+  | {
+      /**
+       * UUID of the target element. Absent / `null` means "type into
+       * whichever element currently has focus".
+       */
+      elementId?: string | null;
+      kind: "type";
+      /**
+       * Literal text to type.
+       */
+      text: string;
+      /**
+       * Per-action timeout in milliseconds. Defaults to `10000` on the
+       * consumer side.
+       */
+      timeoutMs?: number | null;
+      [k: string]: unknown;
+    }
+  | {
+      /**
+       * UUID of the target element.
+       */
+      elementId: string;
+      kind: "wait_for";
+      /**
+       * Per-action timeout in milliseconds. Defaults to `30000` on the
+       * consumer side.
+       */
+      timeoutMs?: number | null;
+      [k: string]: unknown;
+    };

package/src/generated/VgaActionKind.d.ts

@@ -0,0 +1,14 @@
+/* eslint-disable */
+/**
+ * This file was automatically generated.
+ * DO NOT MODIFY IT BY HAND. Regenerate with `just generate-types` or
+ * `qontinui-runner/src-tauri/scripts/generate_types.sh`.
+ */
+
+/**
+ * Kinds of action supported by a [`VgaAutomateStep`] `action_sequence` entry.
+ *
+ * Mirrors the TS `VgaActionKind` literal union. Each variant carries its own
+ * set of fields (see [`VgaAction`]).
+ */
+export type VgaActionKind = "click" | "type" | "wait_for";

package/src/generated/VgaAutomateStep.d.ts

@@ -0,0 +1,110 @@
+/* eslint-disable */
+/**
+ * This file was automatically generated.
+ * DO NOT MODIFY IT BY HAND. Regenerate with `just generate-types` or
+ * `qontinui-runner/src-tauri/scripts/generate_types.sh`.
+ */
+
+import type { RetrySpec } from './RetrySpec';
+import type { VerificationCategoryKind } from './VerificationCategoryKind';
+import type { VgaAction } from './VgaAction';
+
+/**
+ * Run a Visual GUI Automation (VGA) action sequence against a target process.
+ *
+ * Wire tag: `"vga_automate"`.
+ *
+ * Delegates to the Python `qontinui.vga.worker` via the `python-bridge` IPC.
+ * The worker loads the referenced state machine (`state_machine_id` →
+ * `runner.vga_state_machines`), focuses `target_process`, and executes each
+ * entry in `action_sequence` by grounding the element prompt against a fresh
+ * screenshot and dispatching the HAL click/type/wait primitive.
+ *
+ * Canonical field name for the VGA state machine reference is
+ * `vgaStateMachineId` (camelCase) in emitted/accepted JSON. Two
+ * legacy aliases exist for back-compat: `vga_state_machine_id`
+ * (snake_case) and the bare `stateMachineId`. New code must emit
+ * `vgaStateMachineId`. Aliases may be removed after 2026-Q3.
+ */
+export interface VgaAutomateStep {
+  /**
+   * Ordered sequence of VGA actions to execute.
+   */
+  actionSequence?: VgaAction[];
+  /**
+   * Reserved for future async mode. Currently must be `false` (or omitted)
+   * — the handler rejects `true` until async mode is implemented.
+   */
+  async?: boolean | null;
+  /**
+   * Acceptance criterion IDs verified by this step.
+   */
+  criterionIds?: string[];
+  /**
+   * IDs of other steps that must complete first.
+   */
+  dependsOn?: string[];
+  /**
+   * Extractions published to subsequent steps.
+   */
+  extract?: {
+    [k: string]: string;
+  };
+  /**
+   * If `Some(true)`, a console-error signal from the UI fails this step.
+   */
+  failOnConsoleErrors?: boolean | null;
+  /**
+   * Unique identifier for the step.
+   */
+  id: string;
+  /**
+   * Named input bindings evaluated at step entry.
+   */
+  inputs?: {
+    [k: string]: string;
+  };
+  /**
+   * Display name for the step.
+   */
+  name: string;
+  /**
+   * Whether this step is required (default: `true` on consumer side).
+   */
+  required?: boolean | null;
+  /**
+   * Per-step retry configuration.
+   */
+  retry?: RetrySpec | null;
+  /**
+   * Provenance of this step when generated from a skill template.
+   *
+   * Typed as `serde_json::Value` here to avoid pulling the `skill`
+   * dependency chain into this module; the TS side re-imports the typed
+   * `SkillOrigin` after regeneration.
+   */
+  skillOrigin?: {
+    [k: string]: unknown;
+  };
+  /**
+   * UUID referencing `runner.vga_state_machines.id` — the persisted state
+   * machine that defines the elements this step may click / type into /
+   * wait for.
+   */
+  stateMachineId: string;
+  /**
+   * Target process / window — e.g. `"notepad++.exe"`. Used by the HAL to
+   * focus the correct top-level window before each action.
+   */
+  targetProcess: string;
+  /**
+   * Overall step timeout in milliseconds. Defaults to `300000` (5 minutes)
+   * on the consumer side; bounds `[1000, 3600000]`.
+   */
+  timeoutMs?: number | null;
+  /**
+   * Verification depth category.
+   */
+  verificationCategory?: VerificationCategoryKind | null;
+  [k: string]: unknown;
+}

package/src/generated/VirtualDesktop.d.ts

@@ -0,0 +1,23 @@
+/* eslint-disable */
+/**
+ * This file was automatically generated.
+ * DO NOT MODIFY IT BY HAND. Regenerate with `just generate-types` or
+ * `qontinui-runner/src-tauri/scripts/generate_types.sh`.
+ */
+
+import type { Monitor } from './Monitor';
+import type { MonitorPosition } from './MonitorPosition';
+
+/**
+ * The combined coordinate space of all monitors.
+ *
+ * - Origin: `(min_x, min_y)` across all monitors
+ * - Size: bounding box containing all monitors
+ * - Monitors may have gaps between them or different resolutions/DPI
+ */
+export interface VirtualDesktop {
+  /**
+   * List of all monitors in the virtual desktop.
+   */
+  monitors: Monitor[];
+}

package/src/generated/VisualAssertionType.d.ts

@@ -0,0 +1,11 @@
+/* eslint-disable */
+/**
+ * This file was automatically generated.
+ * DO NOT MODIFY IT BY HAND. Regenerate with `just generate-types` or
+ * `qontinui-runner/src-tauri/scripts/generate_types.sh`.
+ */
+
+/**
+ * Visual assertion type.
+ */
+export type VisualAssertionType = "text" | "screenshot" | "highlight";