@qontinui/shared-types 2.0.0 → 2.2.0

package/dist/refusal.d.ts

@@ -0,0 +1,175 @@
+import { G as GlossaryTerm } from './GlossaryTerm.d-orY3JZRJ.js';
+
+/* eslint-disable */
+/**
+ * This file was automatically generated.
+ * DO NOT MODIFY IT BY HAND. Regenerate with
+ * `qontinui-runner/src-tauri/scripts/generate_types.sh`.
+ */
+
+/**
+ * What the reader does next. A closed set: every refusal names exactly one.
+ */
+type NextActionKind =
+  | "retry_later"
+  | "run_command"
+  | "open_page"
+  | "sign_in"
+  | "pair_device"
+  | "set_setting"
+  | "wait_for_gate"
+  | "none_terminal"
+  | "report_defect"
+  | "fix_request"
+  | "resnapshot"
+  | "scroll_into_view"
+  | "wait_for_enabled"
+  | "broaden_selector"
+  | "unrecognised";
+
+/* eslint-disable */
+/**
+ * This file was automatically generated.
+ * DO NOT MODIFY IT BY HAND. Regenerate with
+ * `qontinui-runner/src-tauri/scripts/generate_types.sh`.
+ */
+
+
+
+/**
+ * The typed next step of a [`Refusal`]. Decoding is lenient toward newer
+ * producers (module docs, "Forward compatibility").
+ */
+interface NextAction {
+  kind: NextActionKind;
+  /**
+   * For [`NextActionKind::RetryLater`]: the earliest useful retry, in whole
+   * seconds. Absent when no delay is known.
+   */
+  retry_after_s?: number | null;
+  /**
+   * What the action applies to: the command to run, the page to open, the
+   * setting to set, the gate to wait for. Its meaning is fixed by `kind`.
+   * On [`NextActionKind::RetryLater`] it is what to re-check BEFORE
+   * retrying, because the earlier attempt may already have taken effect (a
+   * [`RefusalCode::UpstreamTimeout`] write); [`NextAction::render`] then
+   * says so. Omit it on a retry that is safe to repeat blindly.
+   */
+  target?: string | null;
+  /**
+   * READER-SIDE: the raw `kind` when this reader did not recognise it
+   * (`kind` is then [`NextActionKind::Unrecognised`]). Producers must not
+   * emit it.
+   */
+  unrecognised_kind?: string | null;
+  [k: string]: unknown;
+}
+
+/* eslint-disable */
+/**
+ * This file was automatically generated.
+ * DO NOT MODIFY IT BY HAND. Regenerate with
+ * `qontinui-runner/src-tauri/scripts/generate_types.sh`.
+ */
+
+/**
+ * What went wrong, as a stable machine-readable code.
+ *
+ * Extend by adding a variant (and its row in [`RefusalCode::headline`] and
+ * [`RefusalCode::from_wire`]); the tables are exhaustive `match`es, so a new
+ * code without a sentence is a compile error.
+ */
+type RefusalCode =
+  | "workspace_root_unresolved"
+  | "sibling_checkout_absent"
+  | "endpoint_unresolved"
+  | "glossary_term_unknown"
+  | "authentication_required"
+  | "credential_rejected"
+  | "permission_denied"
+  | "not_found"
+  | "conflict"
+  | "invalid_request"
+  | "rate_limited"
+  | "quota_exceeded"
+  | "upstream_unavailable"
+  | "upstream_timeout"
+  | "device_not_connected"
+  | "service_unavailable"
+  | "internal_error"
+  | "unknown";
+
+/* eslint-disable */
+/**
+ * This file was automatically generated.
+ * DO NOT MODIFY IT BY HAND. Regenerate with
+ * `qontinui-runner/src-tauri/scripts/generate_types.sh`.
+ */
+
+/**
+ * The component that produced a [`Refusal`].
+ */
+type RefusalSource =
+  "runner" | "coord" | "web_backend" | "web_frontend" | "unrecognised";
+
+/* eslint-disable */
+/**
+ * This file was automatically generated.
+ * DO NOT MODIFY IT BY HAND. Regenerate with
+ * `qontinui-runner/src-tauri/scripts/generate_types.sh`.
+ */
+
+
+
+/**
+ * One operator-facing refusal: what went wrong, and what to do next.
+ *
+ * Construct with [`Refusal::new`] and the `with_*` builders. `next_action` is
+ * deliberately not optional — see the module docs. Decoding is lenient toward
+ * newer producers (module docs, "Forward compatibility").
+ */
+interface Refusal {
+  code: RefusalCode;
+  /**
+   * Raw diagnostic text (the underlying error, the unrecognised reason).
+   * Shown beside the rendered sentence, never inside it.
+   */
+  detail?: string | null;
+  /**
+   * Narrows `code` to the specific case (the setting that was empty, the
+   * service whose address was missing). Rendered after the headline.
+   */
+  discriminator?: string | null;
+  /**
+   * Glossary terms a reader may need to act on this refusal. Typed, so a
+   * producer cannot cite a term the glossary does not define. Always
+   * present on the wire (an empty list, never null).
+   */
+  glossary_terms: GlossaryTerm[];
+  next_action: NextAction;
+  /**
+   * When the refusal was observed (ISO 8601).
+   */
+  observed_at: string;
+  source: RefusalSource;
+  /**
+   * READER-SIDE: the raw `code` when this reader did not recognise it
+   * (`code` is then [`RefusalCode::Unknown`]). Absent when the producer
+   * itself said `unknown`. Producers must not emit it.
+   */
+  unrecognised_code?: string | null;
+  /**
+   * READER-SIDE: glossary ids this reader's glossary does not define,
+   * removed from `glossary_terms`. Producers must not emit it.
+   */
+  unrecognised_glossary_terms?: string[];
+  /**
+   * READER-SIDE: the raw `source` when this reader did not recognise it
+   * (`source` is then [`RefusalSource::Unrecognised`]). Producers must not
+   * emit it.
+   */
+  unrecognised_source?: string | null;
+  [k: string]: unknown;
+}
+
+export { GlossaryTerm, type NextAction, type NextActionKind, type Refusal, type RefusalCode, type RefusalSource };

package/dist/refusal.js

@@ -0,0 +1 @@
+//# sourceMappingURL=refusal.js.map

package/dist/refusal.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":[],"sourcesContent":[],"mappings":"","names":[]}

package/dist/runner.d.cts

@@ -232,4 +232,4 @@ interface Runner {
   wsConnected: boolean;
 }
 
-export type { Runner, RunnerCrash, RunnerStatus, RunnerUiError };
+export type { Runner, RunnerCrash, RunnerInstance, RunnerInstanceRole, RunnerStatus, RunnerUiError };

package/dist/runner.d.ts

@@ -232,4 +232,4 @@ interface Runner {
   wsConnected: boolean;
 }
 
-export type { Runner, RunnerCrash, RunnerStatus, RunnerUiError };
+export type { Runner, RunnerCrash, RunnerInstance, RunnerInstanceRole, RunnerStatus, RunnerUiError };

package/dist/scheduler.d.cts

@@ -74,6 +74,51 @@ interface IdleCondition {
   enabled: boolean;
 }
 
+/* eslint-disable */
+/**
+ * This file was automatically generated.
+ * DO NOT MODIFY IT BY HAND. Regenerate with
+ * `qontinui-runner/src-tauri/scripts/generate_types.sh`.
+ */
+
+/**
+ * Condition that runs an external command and is met iff it exits 0.
+ *
+ * The runner execs `command` directly — argv, never a shell — so `command[0]`
+ * is the program and the rest are its arguments; wrap it in `sh -c` yourself
+ * if you want shell syntax. The condition is **NOT met** on a non-zero exit,
+ * on a timeout (the probe is killed at `timeout_seconds`) and on a spawn
+ * failure (including an empty `command`); each is logged distinctly. An
+ * unobserved or failed probe never reads as met.
+ *
+ * The probe is rate-limited to one run per `poll_seconds` per task: between
+ * polls the runner reuses the last result. `poll_seconds` is floored at 60
+ * because the scheduler re-evaluates conditions once per 60 s tick — a shorter
+ * interval could not be honoured. The runner's create/update API REFUSES a
+ * value below the floor (and an empty `command`, and a `timeout_seconds` of
+ * 0 or above 3600) rather than silently rewriting it; a stored row that
+ * predates that validation is clamped up to 60 at evaluation time.
+ */
+interface ProbeCondition {
+  /**
+   * Program and arguments to exec (no shell). Must be non-empty.
+   */
+  command: string[];
+  /**
+   * Whether this condition is active.
+   */
+  enabled: boolean;
+  /**
+   * Minimum seconds between two probe runs for the same task. Minimum 60.
+   */
+  pollSeconds: number;
+  /**
+   * Seconds a single probe run may take before it is killed and counted as
+   * NOT met. 1..=3600.
+   */
+  timeoutSeconds: number;
+}
+
 /* eslint-disable */
 /**
  * This file was automatically generated.
@@ -137,6 +182,10 @@ interface ScheduleConditions {
    * Require the runner to be idle.
    */
   requireIdle?: IdleCondition | null;
+  /**
+   * Require an external probe command to exit 0 (see [`ProbeCondition`]).
+   */
+  requireProbe?: ProbeCondition | null;
   /**
    * Require repository file inactivity across one or more paths.
    */
@@ -164,6 +213,18 @@ interface ConditionStatus {
    * `Some(true)` if idle, `Some(false)` if busy.
    */
   idleMet?: boolean | null;
+  /**
+   * Human-readable outcome of the last probe evaluation — e.g. `exit 0`,
+   * `exit 3`, `timed out after 30s`, `spawn failed: ...`, `probe running;
+   * awaiting its result`, `not run: another condition is not met` — with a
+   * bounded stderr tail appended when the probe wrote one.
+   */
+  probeDetail?: string | null;
+  /**
+   * Current probe-condition result. `None` if no probe is configured or
+   * none has been evaluated yet, `Some(true)` if the last probe exited 0.
+   */
+  probeMet?: boolean | null;
   /**
    * Current repository-inactive status per repository: `(path, is_inactive)`.
    */
@@ -741,4 +802,4 @@ interface UpdateScheduledTaskRequest {
   task?: ScheduledTaskType | null;
 }
 
-export type { CatchUpPolicy, ConditionScheduleConfig, ConditionStatus, CreateScheduledTaskRequest, IdleCondition, McpConnectionRef, NextTaskInfo, RepositoryInactiveCondition, RepositoryWatch, ScheduleConditions, ScheduleExpression, ScheduledTask, ScheduledTaskStatus, ScheduledTaskType, SchedulerSettings, SchedulerStatus, TaskExecutionRecord, UpdateScheduledTaskRequest };
+export type { CatchUpPolicy, ConditionScheduleConfig, ConditionStatus, CreateScheduledTaskRequest, IdleCondition, McpConnectionRef, NextTaskInfo, ProbeCondition, RepositoryInactiveCondition, RepositoryWatch, ScheduleConditions, ScheduleExpression, ScheduledTask, ScheduledTaskStatus, ScheduledTaskType, SchedulerSettings, SchedulerStatus, TaskExecutionRecord, UpdateScheduledTaskRequest };

package/dist/scheduler.d.ts

@@ -74,6 +74,51 @@ interface IdleCondition {
   enabled: boolean;
 }
 
+/* eslint-disable */
+/**
+ * This file was automatically generated.
+ * DO NOT MODIFY IT BY HAND. Regenerate with
+ * `qontinui-runner/src-tauri/scripts/generate_types.sh`.
+ */
+
+/**
+ * Condition that runs an external command and is met iff it exits 0.
+ *
+ * The runner execs `command` directly — argv, never a shell — so `command[0]`
+ * is the program and the rest are its arguments; wrap it in `sh -c` yourself
+ * if you want shell syntax. The condition is **NOT met** on a non-zero exit,
+ * on a timeout (the probe is killed at `timeout_seconds`) and on a spawn
+ * failure (including an empty `command`); each is logged distinctly. An
+ * unobserved or failed probe never reads as met.
+ *
+ * The probe is rate-limited to one run per `poll_seconds` per task: between
+ * polls the runner reuses the last result. `poll_seconds` is floored at 60
+ * because the scheduler re-evaluates conditions once per 60 s tick — a shorter
+ * interval could not be honoured. The runner's create/update API REFUSES a
+ * value below the floor (and an empty `command`, and a `timeout_seconds` of
+ * 0 or above 3600) rather than silently rewriting it; a stored row that
+ * predates that validation is clamped up to 60 at evaluation time.
+ */
+interface ProbeCondition {
+  /**
+   * Program and arguments to exec (no shell). Must be non-empty.
+   */
+  command: string[];
+  /**
+   * Whether this condition is active.
+   */
+  enabled: boolean;
+  /**
+   * Minimum seconds between two probe runs for the same task. Minimum 60.
+   */
+  pollSeconds: number;
+  /**
+   * Seconds a single probe run may take before it is killed and counted as
+   * NOT met. 1..=3600.
+   */
+  timeoutSeconds: number;
+}
+
 /* eslint-disable */
 /**
  * This file was automatically generated.
@@ -137,6 +182,10 @@ interface ScheduleConditions {
    * Require the runner to be idle.
    */
   requireIdle?: IdleCondition | null;
+  /**
+   * Require an external probe command to exit 0 (see [`ProbeCondition`]).
+   */
+  requireProbe?: ProbeCondition | null;
   /**
    * Require repository file inactivity across one or more paths.
    */
@@ -164,6 +213,18 @@ interface ConditionStatus {
    * `Some(true)` if idle, `Some(false)` if busy.
    */
   idleMet?: boolean | null;
+  /**
+   * Human-readable outcome of the last probe evaluation — e.g. `exit 0`,
+   * `exit 3`, `timed out after 30s`, `spawn failed: ...`, `probe running;
+   * awaiting its result`, `not run: another condition is not met` — with a
+   * bounded stderr tail appended when the probe wrote one.
+   */
+  probeDetail?: string | null;
+  /**
+   * Current probe-condition result. `None` if no probe is configured or
+   * none has been evaluated yet, `Some(true)` if the last probe exited 0.
+   */
+  probeMet?: boolean | null;
   /**
    * Current repository-inactive status per repository: `(path, is_inactive)`.
    */
@@ -741,4 +802,4 @@ interface UpdateScheduledTaskRequest {
   task?: ScheduledTaskType | null;
 }
 
-export type { CatchUpPolicy, ConditionScheduleConfig, ConditionStatus, CreateScheduledTaskRequest, IdleCondition, McpConnectionRef, NextTaskInfo, RepositoryInactiveCondition, RepositoryWatch, ScheduleConditions, ScheduleExpression, ScheduledTask, ScheduledTaskStatus, ScheduledTaskType, SchedulerSettings, SchedulerStatus, TaskExecutionRecord, UpdateScheduledTaskRequest };
+export type { CatchUpPolicy, ConditionScheduleConfig, ConditionStatus, CreateScheduledTaskRequest, IdleCondition, McpConnectionRef, NextTaskInfo, ProbeCondition, RepositoryInactiveCondition, RepositoryWatch, ScheduleConditions, ScheduleExpression, ScheduledTask, ScheduledTaskStatus, ScheduledTaskType, SchedulerSettings, SchedulerStatus, TaskExecutionRecord, UpdateScheduledTaskRequest };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@qontinui/shared-types",
-  "version": "2.0.0",
+  "version": "2.2.0",
   "description": "Shared TypeScript types for the Qontinui ecosystem",
   "type": "module",
   "main": "./dist/index.js",
@@ -97,6 +97,16 @@
       "types": "./dist/tauri-events.d.ts",
       "import": "./dist/tauri-events.js",
       "require": "./dist/tauri-events.cjs"
+    },
+    "./glossary": {
+      "types": "./dist/glossary.d.ts",
+      "import": "./dist/glossary.js",
+      "require": "./dist/glossary.cjs"
+    },
+    "./refusal": {
+      "types": "./dist/refusal.d.ts",
+      "import": "./dist/refusal.js",
+      "require": "./dist/refusal.cjs"
     }
   },
   "files": [

package/src/generated/ConditionStatus.d.ts

@@ -14,6 +14,18 @@ export interface ConditionStatus {
    * `Some(true)` if idle, `Some(false)` if busy.
    */
   idleMet?: boolean | null;
+  /**
+   * Human-readable outcome of the last probe evaluation — e.g. `exit 0`,
+   * `exit 3`, `timed out after 30s`, `spawn failed: ...`, `probe running;
+   * awaiting its result`, `not run: another condition is not met` — with a
+   * bounded stderr tail appended when the probe wrote one.
+   */
+  probeDetail?: string | null;
+  /**
+   * Current probe-condition result. `None` if no probe is configured or
+   * none has been evaluated yet, `Some(true)` if the last probe exited 0.
+   */
+  probeMet?: boolean | null;
   /**
    * Current repository-inactive status per repository: `(path, is_inactive)`.
    */

package/src/generated/CreateScheduledTaskRequest.d.ts

@@ -9,6 +9,7 @@ import type { CatchUpPolicy } from "./CatchUpPolicy";
 import type { ConditionScheduleConfig } from "./ConditionScheduleConfig";
 import type { IdleCondition } from "./IdleCondition";
 import type { McpConnectionRef } from "./McpConnectionRef";
+import type { ProbeCondition } from "./ProbeCondition";
 import type { RepositoryInactiveCondition } from "./RepositoryInactiveCondition";
 import type { RepositoryWatch } from "./RepositoryWatch";
 import type { ScheduleConditions } from "./ScheduleConditions";

package/src/generated/FrontierEntry.d.ts

@@ -0,0 +1,62 @@
+/* eslint-disable */
+/**
+ * This file was automatically generated.
+ * DO NOT MODIFY IT BY HAND. Regenerate with
+ * `qontinui-runner/src-tauri/scripts/generate_types.sh`.
+ */
+
+import type { JourneyNode } from "./JourneyNode";
+
+/**
+ * An interactive affordance seen at a node and not yet the trigger of an
+ * edge from it — a row of `project.journey_frontier`, keyed
+ * `(app_id, node_key, affordance_fingerprint)`.
+ */
+export interface FrontierEntry {
+  /**
+   * Structural fingerprint of the affordance.
+   */
+  affordanceFingerprint: string;
+  /**
+   * ARIA role of the affordance; `None` = not reported.
+   */
+  affordanceRole?: string | null;
+  /**
+   * The registered app id.
+   */
+  appId: string;
+  /**
+   * The affordance's declared effect; `None` = undeclared.
+   */
+  declaredEffect?: ("read" | "write" | "destructive") | null;
+  /**
+   * First time it was seen at this node (ISO 8601).
+   */
+  firstSeenAt: string;
+  /**
+   * Most recent time it was seen at this node (ISO 8601).
+   */
+  lastSeenAt: string;
+  /**
+   * The run that most recently saw it; `None` = not reported.
+   */
+  lastSeenRunId?: string | null;
+  /**
+   * The node the affordance was seen at.
+   */
+  node: JourneyNode;
+  /**
+   * `node.key()` — stored so the primary key is a plain text column.
+   */
+  nodeKey: string;
+  /**
+   * Why it is on the frontier.
+   */
+  reason:
+    | "not_yet_activated"
+    | "effect_undeclared"
+    | "effect_write"
+    | "effect_destructive"
+    | "budget_exhausted"
+    | "activation_failed";
+}

package/src/generated/GlossaryTerm.d.ts

@@ -0,0 +1,38 @@
+/* eslint-disable */
+/**
+ * This file was automatically generated.
+ * DO NOT MODIFY IT BY HAND. Regenerate with
+ * `qontinui-runner/src-tauri/scripts/generate_types.sh`.
+ */
+
+/**
+ * A term the product glossary defines, by its stable snake_case id.
+ */
+export type GlossaryTerm =
+  | "gate"
+  | "continuation"
+  | "attestation"
+  | "work_unit"
+  | "plan"
+  | "claim"
+  | "tier"
+  | "merge_train"
+  | "merge_verdict"
+  | "landed"
+  | "finding"
+  | "dossier"
+  | "policy"
+  | "clause"
+  | "intent_document"
+  | "drain"
+  | "restart_readiness"
+  | "agent_session"
+  | "session_status"
+  | "rung"
+  | "tenant"
+  | "device"
+  | "runner"
+  | "coord"
+  | "worktree_allocation"
+  | "operator"
+  | "unknown";

package/src/generated/JourneyEdgeObservation.d.ts

@@ -0,0 +1,91 @@
+/* eslint-disable */
+/**
+ * This file was automatically generated.
+ * DO NOT MODIFY IT BY HAND. Regenerate with
+ * `qontinui-runner/src-tauri/scripts/generate_types.sh`.
+ */
+
+import type { JourneyNode } from "./JourneyNode";
+import type { JourneyTrigger } from "./JourneyTrigger";
+
+/**
+ * One observed edge of the journey graph — a row of
+ * `project.journey_edge_observations`.
+ *
+ * Invariants (checked by [`JourneyEdgeObservation::validate`]; the first also
+ * by the migration's CHECK): `to_node` is `None` iff `outcome` is
+ * [`EdgeOutcome::ToNodeUnobserved`]; `no_change` joins nodes with equal
+ * keys (a `changed` edge may also join equal keys).
+ *
+ * The ledger's `timeline` column is deliberately unrepresented until
+ * Phase 4; readers select explicit columns rather than `*`.
+ */
+export interface JourneyEdgeObservation {
+  /**
+   * The registered app id.
+   */
+  appId: string;
+  /**
+   * The SDK's self-reported version (`SdkAppInfo.version`, semver or git
+   * short-SHA); `None` = not reported, never "no version".
+   */
+  appVersion?: string | null;
+  /**
+   * The configuration the action was taken from.
+   */
+  fromNode: JourneyNode;
+  /**
+   * Row id (UUID).
+   */
+  id: string;
+  /**
+   * When the row was withdrawn (ISO 8601); `None` = live.
+   */
+  invalidatedAt?: string | null;
+  /**
+   * Who withdrew the row.
+   */
+  invalidatedBy?: string | null;
+  /**
+   * Why the row was withdrawn.
+   */
+  invalidatedReason?: string | null;
+  /**
+   * Token grouping one bulk withdrawal, as on `co_occurrence_observations`.
+   */
+  invalidationToken?: string | null;
+  /**
+   * When the edge CLOSED (to-snapshot seen, or diff returned), ISO 8601.
+   */
+  observedAt: string;
+  /**
+   * How the edge closed.
+   */
+  outcome:
+    "changed" | "no_change" | "error" | "settle_timeout" | "to_node_unobserved";
+  /**
+   * Agent session / task-run / recording-session id; `None` = not reported.
+   */
+  runId?: string | null;
+  /**
+   * Who produced the edge.
+   */
+  runKind: "agent_action" | "explorer" | "passive_session";
+  /**
+   * The runner's own `buildId`.
+   */
+  runnerBuildId: string;
+  /**
+   * Same meaning as `co_occurrence_observations.runner_instance`.
+   */
+  runnerInstance: string;
+  /**
+   * The configuration observed after it; `None` iff
+   * `outcome == to_node_unobserved`.
+   */
+  toNode?: JourneyNode | null;
+  /**
+   * What caused the edge.
+   */
+  trigger: JourneyTrigger;
+}

package/src/generated/JourneyLedgerHealth.d.ts

@@ -0,0 +1,21 @@
+/* eslint-disable */
+/**
+ * This file was automatically generated.
+ * DO NOT MODIFY IT BY HAND. Regenerate with
+ * `qontinui-runner/src-tauri/scripts/generate_types.sh`.
+ */
+
+/**
+ * Body of `GET /apps/{app_id}/journey/health`, and the ledger block every
+ * journey query response repeats.
+ */
+export interface JourneyLedgerHealth {
+  /**
+   * Human-readable cause, e.g. `"embedded DB predates the journey tables"`.
+   */
+  detail: string;
+  /**
+   * The ledger's state.
+   */
+  state: "writing" | "schema_absent" | "write_failing";
+}