@qontinui/shared-types 0.2.5 → 0.4.0

package/src/generated/LegacyAssertion.d.ts

@@ -0,0 +1,22 @@
+/* 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 { LegacyAssertionTarget } from './LegacyAssertionTarget';
+
+export interface LegacyAssertion {
+  assertionType: string;
+  category: string;
+  description: string;
+  enabled: boolean;
+  id: string;
+  precondition?: string | null;
+  reviewed: boolean;
+  severity: string;
+  source: string;
+  target: LegacyAssertionTarget;
+  [k: string]: unknown;
+}

package/src/generated/LegacyAssertionTarget.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`.
+ */
+
+export interface LegacyAssertionTarget {
+  /**
+   * Free-form criteria object — kept as `Value` so we don't lose any
+   * inverse-projection round-trip information.
+   */
+  criteria: {
+    [k: string]: unknown;
+  };
+  label: string;
+  /**
+   * Always `"search"` for the projection — point/region targets aren't
+   * expressible in the IR.
+   */
+  type: string;
+  [k: string]: unknown;
+}

package/src/generated/LegacyGroup.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`.
+ */
+
+import type { LegacyAssertion } from './LegacyAssertion';
+import type { LegacyAssertionTarget } from './LegacyAssertionTarget';
+
+export interface LegacyGroup {
+  assertions: LegacyAssertion[];
+  category: string;
+  description: string;
+  id: string;
+  name: string;
+  source: string;
+  [k: string]: unknown;
+}

package/src/generated/LegacyProcessStep.d.ts

@@ -0,0 +1,16 @@
+/* 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 { IrElementCriteria } from './IrElementCriteria';
+import type { IrWaitSpec } from './IrWaitSpec';
+
+export interface LegacyProcessStep {
+  action: string;
+  target: unknown;
+  waitAfter?: IrWaitSpec | null;
+  [k: string]: unknown;
+}

package/src/generated/LegacySpec.d.ts

@@ -0,0 +1,30 @@
+/* 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 { IrElementCriteria } from './IrElementCriteria';
+import type { IrWaitSpec } from './IrWaitSpec';
+import type { LegacyAssertion } from './LegacyAssertion';
+import type { LegacyAssertionTarget } from './LegacyAssertionTarget';
+import type { LegacyGroup } from './LegacyGroup';
+import type { LegacyProcessStep } from './LegacyProcessStep';
+import type { LegacyStateMachine } from './LegacyStateMachine';
+import type { LegacyStateMachineState } from './LegacyStateMachineState';
+import type { LegacyTransition } from './LegacyTransition';
+
+/**
+ * Top-level legacy spec output. Serialized via a `serde_json::Value` step
+ * so the projection can apply lexicographic key sorting at the end (matches
+ * the TS projection's `sortKeys` pass).
+ */
+export interface LegacySpec {
+  description: string;
+  groups: LegacyGroup[];
+  metadata: unknown;
+  stateMachine: LegacyStateMachine;
+  version: string;
+  [k: string]: unknown;
+}

package/src/generated/LegacyStateMachine.d.ts

@@ -0,0 +1,17 @@
+/* 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 { IrElementCriteria } from './IrElementCriteria';
+import type { IrWaitSpec } from './IrWaitSpec';
+import type { LegacyProcessStep } from './LegacyProcessStep';
+import type { LegacyStateMachineState } from './LegacyStateMachineState';
+import type { LegacyTransition } from './LegacyTransition';
+
+export interface LegacyStateMachine {
+  states: LegacyStateMachineState[];
+  [k: string]: unknown;
+}

package/src/generated/LegacyStateMachineState.d.ts

@@ -0,0 +1,21 @@
+/* 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 { IrElementCriteria } from './IrElementCriteria';
+import type { IrWaitSpec } from './IrWaitSpec';
+import type { LegacyProcessStep } from './LegacyProcessStep';
+import type { LegacyTransition } from './LegacyTransition';
+
+export interface LegacyStateMachineState {
+  description: string;
+  elements: unknown[];
+  id: string;
+  isInitial: boolean;
+  name: string;
+  transitions: LegacyTransition[];
+  [k: string]: unknown;
+}

package/src/generated/LegacyTransition.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`.
+ */
+
+import type { IrElementCriteria } from './IrElementCriteria';
+import type { IrWaitSpec } from './IrWaitSpec';
+import type { LegacyProcessStep } from './LegacyProcessStep';
+
+export interface LegacyTransition {
+  activateStates: string[];
+  deactivateStates: string[];
+  id: string;
+  name: string;
+  process: LegacyProcessStep[];
+  staysVisible: boolean;
+  [k: string]: unknown;
+}

package/src/generated/MatchOutcome.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`.
+ */
+
+/**
+ * Top-level pass / partial / no-match verdict.
+ */
+export type MatchOutcome = "full_match" | "partial_match" | "no_match";

package/src/generated/MatchedElement.d.ts

@@ -0,0 +1,28 @@
+/* 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`.
+ */
+
+/**
+ * Identity of the bridge element that satisfied an assertion.
+ */
+export interface MatchedElement {
+  /**
+   * UI Bridge element identifier (if exposed).
+   */
+  elementId?: string | null;
+  /**
+   * CSS selector or DOM path identifying the element.
+   */
+  path: string;
+  /**
+   * ARIA role of the matched element.
+   */
+  role?: string | null;
+  /**
+   * Visible text of the matched element.
+   */
+  text?: string | null;
+}

package/src/generated/MissReason.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`.
+ */
+
+/**
+ * Coarse-grained classification of an assertion miss.
+ *
+ * Per §5.3 — locked as a unit enum. Structured detail (per-field diffs,
+ * near-match candidates) lives on `AssertionMiss` / `CandidateMiss`.
+ */
+export type MissReason =
+  | "no_candidates"
+  | "role_mismatch"
+  | "text_mismatch"
+  | "visibility_mismatch"
+  | "attribute_mismatch"
+  | "multiple_matches";

package/src/generated/PolicyConjunct.d.ts

@@ -0,0 +1,22 @@
+/* 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 { AssertionScope } from './AssertionScope';
+import type { ConjunctRule } from './ConjunctRule';
+import type { MatchOutcome } from './MatchOutcome';
+
+/**
+ * One AND-conjunct: a named rule applied within a scope.
+ */
+export interface PolicyConjunct {
+  /**
+   * Human-readable name used in `ConjunctEvaluation.name`.
+   */
+  name: string;
+  rule: ConjunctRule;
+  scope: AssertionScope;
+}

package/src/generated/PolicyEvaluation.d.ts

@@ -0,0 +1,22 @@
+/* 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 { ConjunctEvaluation } from './ConjunctEvaluation';
+import type { PolicyStatus } from './PolicyStatus';
+
+/**
+ * Top-level wrapper for evaluating a `SpecCheckPolicy` against a
+ * `SpecCheckResult`.
+ */
+export interface PolicyEvaluation {
+  /**
+   * One result per conjunct in the policy, in policy declaration
+   * order.
+   */
+  conjunctResults: ConjunctEvaluation[];
+  overallStatus: PolicyStatus1;
+}

package/src/generated/PolicyStatus.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`.
+ */
+
+/**
+ * Pass / fail / indeterminate verdict for a policy or conjunct.
+ */
+export type PolicyStatus = "pass" | "fail" | "indeterminate";

package/src/generated/ProposalStatus.d.ts

@@ -0,0 +1,13 @@
+/* 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`.
+ */
+
+/**
+ * Lifecycle status for spec proposals produced by the Stream E coverage-growth
+ * flywheel. `None` on an existing `IrProvenance` means the spec predates the
+ * flywheel and is implicitly `Promoted`.
+ */
+export type ProposalStatus = "proposed" | "pending" | "promoted";

package/src/generated/RecommendedState.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 { SpecCheckConfidence } from './SpecCheckConfidence';
+
+/**
+ * The single state the matcher recommends the caller treat as "current".
+ */
+export interface RecommendedState {
+  confidence: SpecCheckConfidence;
+  /**
+   * Free-form explanation (e.g. "highest match rate among all states").
+   */
+  reason: string;
+  /**
+   * The recommended state's identifier.
+   */
+  stateId: string;
+}

package/src/generated/SpecApiEvent.d.ts

@@ -0,0 +1,85 @@
+/* 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`.
+ */
+
+/**
+ * Tagged sum-type for every event broadcast on the Spec API channel.
+ *
+ * Serialization uses `serde(tag = "type", rename_all = "kebab-case")` so
+ * the wire discriminator is exactly the SSE event name (e.g.
+ * `"spec-changed"`, `"spec-check-invoked"`).
+ */
+export type SpecApiEvent =
+  | (SpecChanged & {
+      type: "spec-changed";
+    })
+  | {
+      at_ms: number;
+      /**
+       * "http" | "mcp" | "workflow-step"
+       */
+      invoked_via: string;
+      page_ids: string[];
+      snapshot_id: string;
+      type: "spec-check-invoked";
+      [k: string]: unknown;
+    }
+  | {
+      at_ms: number;
+      eval_error_count: number;
+      no_match_count: number;
+      overall_match_rate: number;
+      page_count: number;
+      partial_match_count: number;
+      perfect_match_count: number;
+      snapshot_id: string;
+      total_duration_ms: number;
+      type: "spec-check-completed";
+      [k: string]: unknown;
+    }
+  | {
+      at_ms: number;
+      conjunct_name: string;
+      /**
+       * Small scalar/struct — NOT the full result.
+       */
+      observed: {
+        [k: string]: unknown;
+      };
+      page_id: string;
+      /**
+       * serde-tagged variant name of `ConjunctRule`
+       */
+      rule_kind: string;
+      snapshot_id: string;
+      type: "spec-check-policy-violation";
+      [k: string]: unknown;
+    }
+  | {
+      at_ms: number;
+      /**
+       * Expected 2 per design §6.4.
+       */
+      consecutive_greens: number;
+      page_id: string;
+      proposal_id: string;
+      /**
+       * The snapshot that produced the second green.
+       */
+      snapshot_id: string;
+      type: "flywheel-proposal-promoted";
+      [k: string]: unknown;
+    }
+  | {
+      at_ms: number;
+      failing_assertion_id: string;
+      failing_state_id: string;
+      page_id: string;
+      proposal_id: string;
+      snapshot_id: string;
+      type: "flywheel-proposal-demoted";
+      [k: string]: unknown;
+    };

package/src/generated/SpecCheckConfidence.d.ts

@@ -0,0 +1,15 @@
+/* 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`.
+ */
+
+/**
+ * Confidence level — high / medium / low.
+ *
+ * Collides with `qontinui_types::verification::Confidence` in the
+ * cross-repo schema registry; registered as `SpecCheckConfidence` in
+ * `schema_export.rs`. See module docs.
+ */
+export type SpecCheckConfidence = "high" | "medium" | "low";

package/src/generated/SpecCheckPolicy.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 { AssertionScope } from './AssertionScope';
+import type { ConjunctRule } from './ConjunctRule';
+import type { MatchOutcome } from './MatchOutcome';
+import type { PolicyConjunct } from './PolicyConjunct';
+
+/**
+ * AND-only policy — all conjuncts must hold for the policy to pass.
+ * Per §5.7 there is no OR; compose multiple steps if you need
+ * disjunction.
+ */
+export interface SpecCheckPolicy {
+  /**
+   * Conjuncts ANDed together.
+   */
+  conjuncts?: PolicyConjunct[];
+}

package/src/generated/SpecCheckResult.d.ts

@@ -0,0 +1,66 @@
+/* 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 { AssertionMiss } from './AssertionMiss';
+import type { AssertionOutcome } from './AssertionOutcome';
+import type { AssertionResult } from './AssertionResult';
+import type { AssertionSeverityCounts } from './AssertionSeverityCounts';
+import type { BridgeFingerprint } from './BridgeFingerprint';
+import type { CandidateMiss } from './CandidateMiss';
+import type { FieldDiff } from './FieldDiff';
+import type { MatchOutcome } from './MatchOutcome';
+import type { MatchedElement } from './MatchedElement';
+import type { MissReason } from './MissReason';
+import type { RecommendedState } from './RecommendedState';
+import type { SpecCheckConfidence } from './SpecCheckConfidence';
+import type { SpecCheckSummary } from './SpecCheckSummary';
+import type { StateMatchResult } from './StateMatchResult';
+
+/**
+ * Result of evaluating one or more page specs against a bridge snapshot.
+ *
+ * `result_schema_version` is the FIRST field per §5.15 — read-time
+ * forward migration uses it to route legacy JSONB through
+ * `result_migration`. Pre-versioned rows (written before v1 shipped)
+ * deserialize as `0`.
+ */
+export interface SpecCheckResult {
+  bridgeFingerprint: BridgeFingerprint;
+  /**
+   * ISO-8601 UTC. When the spec was hashed and the snapshot indexed.
+   */
+  evaluatedAt: string;
+  /**
+   * Page being evaluated.
+   */
+  pageId: string;
+  /**
+   * v1 = 1. Missing on the wire (pre-versioned persisted rows) → 0.
+   */
+  resultSchemaVersion: number;
+  /**
+   * Caller-minted snapshot ID. Format: `"scs_" + ULID()`. See §5.8.
+   */
+  snapshotId: string;
+  /**
+   * Hash of the spec IR document at evaluation time. `"sha256-<hex>"`.
+   */
+  specContentHash: string;
+  /**
+   * IR document `version` field (currently `"1.0"`).
+   */
+  specVersion: string;
+  /**
+   * One result per `IrState` in the spec.
+   */
+  stateResults: StateMatchResult[];
+  summary: SpecCheckSummary;
+  /**
+   * Soft signals — currently used for `Stale` from `SnapshotFetchError`.
+   */
+  warnings?: string[];
+}

package/src/generated/SpecCheckStepConfig.d.ts

@@ -0,0 +1,38 @@
+/* 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 { AssertionScope } from './AssertionScope';
+import type { ConjunctRule } from './ConjunctRule';
+import type { MatchOutcome } from './MatchOutcome';
+import type { PolicyConjunct } from './PolicyConjunct';
+import type { SpecCheckPolicy } from './SpecCheckPolicy';
+
+/**
+ * Workflow-step variant payload — the persisted shape of a
+ * `spec_check` step in a unified workflow.
+ */
+export interface SpecCheckStepConfig {
+  /**
+   * Severities that should cause the step to fail when present in
+   * `severity_counts`. Empty means "all severities count as failure".
+   */
+  failOn?: string[];
+  /**
+   * If `true`, the step fails when the target app isn't connected to
+   * the bridge.
+   */
+  failWhenNoApp: boolean;
+  /**
+   * If `true`, the step fails when no spec exists for `page_id`.
+   */
+  failWhenNoSpec: boolean;
+  /**
+   * Page to evaluate.
+   */
+  pageId: string;
+  policy: SpecCheckPolicy;
+}

package/src/generated/SpecCheckSummary.d.ts

@@ -0,0 +1,37 @@
+/* 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 { AssertionSeverityCounts } from './AssertionSeverityCounts';
+import type { MatchOutcome } from './MatchOutcome';
+import type { RecommendedState } from './RecommendedState';
+import type { SpecCheckConfidence } from './SpecCheckConfidence';
+
+/**
+ * Aggregate summary across all evaluated states.
+ */
+export interface SpecCheckSummary {
+  matchOutcome: MatchOutcome;
+  /**
+   * Mean of per-state match rates, weighted equally.
+   */
+  overallMatchRate: number;
+  /**
+   * Diagnostic explaining why `recommended_state` is `None`. Set when
+   * the matcher *deliberately* withholds a recommendation (e.g. the
+   * spec failed distinctness validation per §5.12); absent otherwise
+   * (e.g. when every state simply scored below the confidence floor).
+   * Free-form for forward-compat; current values:
+   * `"spec_validation_failed"`.
+   */
+  recommendationReason?: string | null;
+  /**
+   * The single state (if any) the matcher recommends the caller treat
+   * as "current". `None` when the matcher has no preference.
+   */
+  recommendedState?: RecommendedState | null;
+  severityCounts: AssertionSeverityCounts;
+}

package/src/generated/SpecValidation.d.ts

@@ -0,0 +1,27 @@
+/* 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`.
+ */
+
+/**
+ * Per-page validation summary surfaced on `GET /spec/list`. §5.12 G2.
+ */
+export interface SpecValidation {
+  /**
+   * State IDs whose distinctness signal is empty (a state with no
+   * assertions that distinguish it from any other state).
+   */
+  degenerateStateIds?: string[];
+  /**
+   * Pairs of state IDs that share an identical normalized distinctness
+   * signal. Each inner array is sorted lexicographically so the same
+   * pair always serializes the same way regardless of detection order.
+   */
+  indistinguishableStatePairs?: [string, string][];
+  /**
+   * Page identifier.
+   */
+  pageId: string;
+}

package/src/generated/StateMatchResult.d.ts

@@ -0,0 +1,36 @@
+/* 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 { AssertionMiss } from './AssertionMiss';
+import type { AssertionOutcome } from './AssertionOutcome';
+import type { AssertionResult } from './AssertionResult';
+import type { CandidateMiss } from './CandidateMiss';
+import type { FieldDiff } from './FieldDiff';
+import type { MatchedElement } from './MatchedElement';
+import type { MissReason } from './MissReason';
+
+/**
+ * Per-state evaluation result.
+ */
+export interface StateMatchResult {
+  /**
+   * One entry per IR assertion in the state.
+   */
+  assertions: AssertionResult[];
+  /**
+   * Fraction of assertions that passed (0.0..=1.0).
+   */
+  matchRate: number;
+  /**
+   * Identifier of the IR state.
+   */
+  stateId: string;
+  /**
+   * Human-readable state name (snapshot of `IrState.name`).
+   */
+  stateName: string;
+}