@qontinui/shared-types 0.2.5 → 0.3.0

package/src/generated/AssertionResult.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 { AssertionMiss } from './AssertionMiss';
+import type { AssertionOutcome } from './AssertionOutcome';
+import type { CandidateMiss } from './CandidateMiss';
+import type { FieldDiff } from './FieldDiff';
+import type { MatchedElement } from './MatchedElement';
+import type { MissReason } from './MissReason';
+
+/**
+ * Per-assertion evaluation result wrapper.
+ */
+export interface AssertionResult {
+  /**
+   * Identifier of the IR assertion.
+   */
+  assertionId: string;
+  /**
+   * Free-form category — `"layout"`, `"a11y"`, etc.
+   */
+  category: string;
+  /**
+   * Snapshot of `IrAssertion.description`.
+   */
+  description: string;
+  outcome: AssertionOutcome;
+  /**
+   * Free-form severity string — `"critical"` / `"error"` / `"warning"`
+   * / `"info"`. Free-form so policy adapters can introduce new tiers
+   * without bumping the schema.
+   */
+  severity: string;
+}

package/src/generated/AssertionScope.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`.
+ */
+
+/**
+ * Filter narrowing which assertions / states a policy conjunct applies
+ * to. Empty fields (default) mean "everything"; `assertion_ids` uses an
+ * explicit `Option` to distinguish "everything" (`None`) from "none"
+ * (`Some([])`).
+ */
+export interface AssertionScope {
+  /**
+   * Restrict to a specific set of assertion IDs. `None` = all
+   * assertions; `Some([])` = no assertions (a deliberately empty
+   * scope — useful for testing policies).
+   */
+  assertionIds?: string[] | null;
+  /**
+   * Restrict to these category values. Empty = all categories.
+   */
+  categories?: string[];
+  /**
+   * Restrict to these group identifiers. Empty = all groups.
+   */
+  groups?: string[];
+  /**
+   * Restrict to these severity values. Empty = all severities.
+   */
+  severities?: string[];
+  /**
+   * Restrict to these state IDs. Empty = all states.
+   */
+  states?: string[];
+}

package/src/generated/AssertionSeverityCounts.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`.
+ */
+
+/**
+ * Counts of assertion failures bucketed by severity.
+ */
+export interface AssertionSeverityCounts {
+  /**
+   * Number of `critical` failures.
+   */
+  critical: number;
+  /**
+   * Number of `error` failures.
+   */
+  error: number;
+  /**
+   * Number of `info` failures.
+   */
+  info: number;
+  /**
+   * Number of `warning` failures.
+   */
+  warning: number;
+}

package/src/generated/BridgeFingerprint.d.ts

@@ -0,0 +1,40 @@
+/* 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`.
+ */
+
+/**
+ * Fingerprint of the bridge snapshot's app/route/version context — §5.8 G3.
+ *
+ * Apps may surface additional fingerprint fields in future; new fields
+ * require a schema bump (`deny_unknown_fields` is set).
+ */
+export interface BridgeFingerprint {
+  /**
+   * Stable application identifier (e.g. `"qontinui-web"`,
+   * `"qontinui-runner"`).
+   */
+  appId: string;
+  /**
+   * Optional app version string (semver or git short-SHA).
+   */
+  appVersion?: string | null;
+  /**
+   * Optional UI Bridge SDK version.
+   */
+  bridgeVersion?: string | null;
+  /**
+   * Number of elements visible in the snapshot.
+   */
+  elementCount: number;
+  /**
+   * Optional route path / hash at snapshot time.
+   */
+  route?: string | null;
+  /**
+   * ISO-8601 UTC timestamp when the snapshot was indexed.
+   */
+  snapshotTimestamp: string;
+}

package/src/generated/CandidateMiss.d.ts

@@ -0,0 +1,39 @@
+/* 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 { FieldDiff } from './FieldDiff';
+
+/**
+ * A near-match candidate — an element that scored above the cut-off but
+ * didn't fully match the assertion criteria.
+ */
+export interface CandidateMiss {
+  /**
+   * UI Bridge element identifier (if exposed).
+   */
+  elementId?: string | null;
+  /**
+   * Per-field diffs explaining why the candidate didn't fully match.
+   */
+  fieldDiffs?: FieldDiff[];
+  /**
+   * CSS selector or DOM path identifying the candidate.
+   */
+  path: string;
+  /**
+   * ARIA role of the candidate.
+   */
+  role?: string | null;
+  /**
+   * Aggregate match score (0.0..=1.0).
+   */
+  score: number;
+  /**
+   * Visible text of the candidate.
+   */
+  text?: string | null;
+}

package/src/generated/ConjunctEvaluation.d.ts

@@ -0,0 +1,24 @@
+/* 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 { PolicyStatus } from './PolicyStatus';
+
+/**
+ * Per-conjunct evaluation result.
+ */
+export interface ConjunctEvaluation {
+  /**
+   * Free-form human-readable explanation (e.g.
+   * `"3 of 17 assertions failed (max 5)"`).
+   */
+  evidence: string;
+  /**
+   * Snapshot of `PolicyConjunct.name`.
+   */
+  name: string;
+  status: PolicyStatus;
+}

package/src/generated/ConjunctRule.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 { MatchOutcome } from './MatchOutcome';
+
+/**
+ * Internally-tagged on `kind`. AND-conjuncts only per §5.7 — no OR.
+ * Unknown variants are rejected at the wire.
+ */
+export type ConjunctRule =
+  | {
+      kind: "all_pass";
+      [k: string]: unknown;
+    }
+  | {
+      /**
+       * Maximum allowed failures.
+       */
+      count: number;
+      kind: "max_failures";
+      [k: string]: unknown;
+    }
+  | {
+      kind: "failure_rate_below";
+      /**
+       * Threshold in [0.0, 1.0].
+       */
+      rate: number;
+      [k: string]: unknown;
+    }
+  | {
+      kind: "state_match_rate_at_least";
+      /**
+       * Threshold in [0.0, 1.0].
+       */
+      rate: number;
+      [k: string]: unknown;
+    }
+  | {
+      kind: "any_state_match_rate_at_least";
+      /**
+       * Threshold in [0.0, 1.0].
+       */
+      rate: number;
+      [k: string]: unknown;
+    }
+  | {
+      kind: "match_outcome_at_least";
+      outcome: MatchOutcome;
+      [k: string]: unknown;
+    };

package/src/generated/FieldDiff.d.ts

@@ -0,0 +1,33 @@
+/* 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-field diff between an assertion's expected criteria and a
+ * candidate element's actual value.
+ */
+export interface FieldDiff {
+  /**
+   * Actual value from the bridge element.
+   */
+  actual: {
+    [k: string]: unknown;
+  };
+  /**
+   * Expected value from the IR assertion.
+   */
+  expected: {
+    [k: string]: unknown;
+  };
+  /**
+   * Field name (`role`, `text`, `textContains`, etc.).
+   */
+  field: string;
+  /**
+   * Field-level similarity score (0.0..=1.0).
+   */
+  similarity: number;
+}

package/src/generated/IrAssertion.d.ts

@@ -0,0 +1,26 @@
+/* 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 { IrAssertionTarget } from './IrAssertionTarget';
+
+/**
+ * Mirror of TS `IRAssertion`. Field shape matches `LegacyAssertion` one-to-one
+ * (modulo the `target.criteria` looseness).
+ */
+export interface IrAssertion {
+  assertionType: string;
+  category: string;
+  description: string;
+  enabled: boolean;
+  id: string;
+  precondition?: string | null;
+  reviewed: boolean;
+  severity: string;
+  source: string;
+  target: IrAssertionTarget;
+  [k: string]: unknown;
+}

package/src/generated/IrAssertionTarget.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`.
+ */
+
+/**
+ * Mirror of TS `IRAssertionTarget`. Always `type: "search"` for synthesis-
+ * emitted assertions; the wider legacy schema also supports point/region
+ * targets but the IR doesn't express those today.
+ */
+export interface IrAssertionTarget {
+  /**
+   * Free-form criteria object — kept as `Value` so synthesis can emit
+   * partially-populated criteria without tripping the schema and so the
+   * projection can pass the bytes through verbatim.
+   */
+  criteria: {
+    [k: string]: unknown;
+  };
+  label: string;
+  /**
+   * Always `"search"` for synthesis-emitted assertions.
+   */
+  type: string;
+  [k: string]: unknown;
+}

package/src/generated/IrCrossRef.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`.
+ */
+
+export interface IrCrossRef {
+  doc: string;
+  /**
+   * `ref` is reserved in Rust — serialize as `ref` for the wire while
+   * using `r#ref` as the Rust field name.
+   */
+  ref: string;
+  [k: string]: unknown;
+}

package/src/generated/IrElementCriteria.d.ts

@@ -0,0 +1,29 @@
+/* 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`.
+ */
+
+/**
+ * Mirror of `IRElementCriteria`
+ * (`qontinui-schemas/ts/src/ui-bridge-ir/element-criteria.ts`).
+ */
+export interface IrElementCriteria {
+  accessibleName?: string | null;
+  ariaLabel?: string | null;
+  /**
+   * HTML attributes to check (exact string match). Stored as a `BTreeMap`
+   * so JSON serialization is deterministic (matters for byte-stable
+   * projection output).
+   */
+  attributes?: {
+    [k: string]: string;
+  } | null;
+  id?: string | null;
+  role?: string | null;
+  tagName?: string | null;
+  text?: string | null;
+  textContains?: string | null;
+  [k: string]: unknown;
+}

package/src/generated/IrGroup.d.ts

@@ -0,0 +1,33 @@
+/* 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 { IrAssertion } from './IrAssertion';
+import type { IrAssertionTarget } from './IrAssertionTarget';
+
+/**
+ * Mirror of TS `IRGroup`. Synthesis-produced groups (NOT derived from IR
+ * states). Mirrors the legacy `SpecGroup` shape so the projection can pass
+ * it through to legacy `groups[]` without loss.
+ */
+export interface IrGroup {
+  assertions: IrAssertion[];
+  category: string;
+  description: string;
+  id: string;
+  name: string;
+  /**
+   * Provenance of the group itself (typically `"ai-generated"` for
+   * synthesis output).
+   */
+  source?: string | null;
+  /**
+   * Free-form tags. Synthesis emits e.g.
+   * `["workflow-generated", "acceptance-criteria"]`.
+   */
+  tags?: string[] | null;
+  [k: string]: unknown;
+}

package/src/generated/IrMetadata.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`.
+ */
+
+export interface IrMetadata {
+  description?: string | null;
+  notes?: string | null;
+  purpose?: string | null;
+  relatedElements?: string[] | null;
+  tags?: string[] | null;
+  [k: string]: unknown;
+}

package/src/generated/IrPageSpec.d.ts

@@ -0,0 +1,51 @@
+/* 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 { IrAssertion } from './IrAssertion';
+import type { IrAssertionTarget } from './IrAssertionTarget';
+import type { IrCrossRef } from './IrCrossRef';
+import type { IrElementCriteria } from './IrElementCriteria';
+import type { IrGroup } from './IrGroup';
+import type { IrMetadata } from './IrMetadata';
+import type { IrProvenance } from './IrProvenance';
+import type { IrState } from './IrState';
+import type { IrStateCondition } from './IrStateCondition';
+import type { IrTransition } from './IrTransition';
+import type { IrTransitionAction } from './IrTransitionAction';
+import type { IrWaitSpec } from './IrWaitSpec';
+import type { ProposalStatus } from './ProposalStatus';
+
+/**
+ * Top-level IR page specification (formerly `IrDocument`).
+ *
+ * One `IrPageSpec` corresponds to one `state-machine.derived.json` file on
+ * disk under `qontinui-runner/specs/pages/<id>/`. This is the authoring
+ * surface — the projection layer derives the runtime `LegacySpec` from this.
+ */
+export interface IrPageSpec {
+  description?: string | null;
+  id: string;
+  initialState?: string | null;
+  metadata?: IrMetadata | null;
+  name: string;
+  provenance?: IrProvenance | null;
+  states: IrState[];
+  /**
+   * Groups produced by workflow-criteria synthesis (NOT derived from
+   * `IRState` annotations). Mirror of TS `IRDocument.synthesizedGroups`.
+   * The `rename = "synthesizedGroups"` is explicit (rather than relying on
+   * `rename_all = "camelCase"`) so the serialized name is unambiguous in
+   * snapshot tests + cross-language fixtures.
+   */
+  synthesizedGroups?: IrGroup[] | null;
+  transitions: IrTransition[];
+  /**
+   * Schema version. Currently always `"1.0"`.
+   */
+  version: string;
+  [k: string]: unknown;
+}

package/src/generated/IrProvenance.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`.
+ */
+
+import type { ProposalStatus } from './ProposalStatus';
+
+export interface IrProvenance {
+  column?: number | null;
+  file?: string | null;
+  line?: number | null;
+  pluginVersion?: string | null;
+  /**
+   * "hand-authored" | "build-plugin" | "ai-generated" | "migrated"
+   */
+  source: string;
+  /**
+   * Lifecycle status for the flywheel coverage-growth loop. `None` =
+   * implicitly `Promoted` (legacy + on-disk specs that predate the field).
+   * Set to `Proposed` by `spec_authoring`, `Pending` when staged in
+   * `_pending/`, `Promoted` after the 2-green sweep moves the file to
+   * `pages/<id>/`.
+   */
+  status?: ProposalStatus | null;
+  [k: string]: unknown;
+}

package/src/generated/IrState.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 { IrAssertion } from './IrAssertion';
+import type { IrAssertionTarget } from './IrAssertionTarget';
+import type { IrCrossRef } from './IrCrossRef';
+import type { IrElementCriteria } from './IrElementCriteria';
+import type { IrMetadata } from './IrMetadata';
+import type { IrProvenance } from './IrProvenance';
+import type { IrStateCondition } from './IrStateCondition';
+import type { ProposalStatus } from './ProposalStatus';
+
+export interface IrState {
+  assertions: IrAssertion[];
+  blocking?: boolean | null;
+  conditions?: IrStateCondition[] | null;
+  crossRefs?: IrCrossRef[] | null;
+  description?: string | null;
+  elementIds?: string[] | null;
+  excludedElements?: IrElementCriteria[] | null;
+  group?: string | null;
+  id: string;
+  incomingTransitions?: string[] | null;
+  isInitial?: boolean | null;
+  isTerminal?: boolean | null;
+  metadata?: IrMetadata | null;
+  name: string;
+  pathCost?: number | null;
+  precondition?: string | null;
+  provenance?: IrProvenance | null;
+  [k: string]: unknown;
+}

package/src/generated/IrStateCondition.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 { IrElementCriteria } from './IrElementCriteria';
+
+export interface IrStateCondition {
+  comparator?: string | null;
+  element: IrElementCriteria;
+  expected: unknown;
+  /**
+   * "visible" | "enabled" | "checked" | "expanded" | "selected" | "text" | "value"
+   */
+  property: string;
+  [k: string]: unknown;
+}

package/src/generated/IrTransition.d.ts

@@ -0,0 +1,34 @@
+/* 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 { IrCrossRef } from './IrCrossRef';
+import type { IrElementCriteria } from './IrElementCriteria';
+import type { IrMetadata } from './IrMetadata';
+import type { IrProvenance } from './IrProvenance';
+import type { IrTransitionAction } from './IrTransitionAction';
+import type { IrWaitSpec } from './IrWaitSpec';
+import type { ProposalStatus } from './ProposalStatus';
+
+export interface IrTransition {
+  actions: IrTransitionAction[];
+  activateStates: string[];
+  bidirectional?: boolean | null;
+  crossRefs?: IrCrossRef[] | null;
+  description?: string | null;
+  /**
+   * "read" | "write" | "destructive"
+   */
+  effect?: string | null;
+  exitStates?: string[] | null;
+  fromStates: string[];
+  id: string;
+  metadata?: IrMetadata | null;
+  name: string;
+  pathCost?: number | null;
+  provenance?: IrProvenance | null;
+  [k: string]: unknown;
+}

package/src/generated/IrTransitionAction.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';
+
+export interface IrTransitionAction {
+  params?: unknown;
+  target: IrElementCriteria;
+  type: string;
+  waitAfter?: IrWaitSpec | null;
+  [k: string]: unknown;
+}

package/src/generated/IrWaitSpec.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 { IrElementCriteria } from './IrElementCriteria';
+
+export interface IrWaitSpec {
+  ms?: number | null;
+  property?: string | null;
+  query?: IrElementCriteria | null;
+  quietPeriodMs?: number | null;
+  stateId?: string | null;
+  timeout?: number | null;
+  /**
+   * "idle" | "element" | "state" | "time" | "condition" | "vanish" | "change" | "stable"
+   */
+  type: string;
+  [k: string]: unknown;
+}