@statelyai/sdk 0.40.0 → 0.41.0

package/dist/sourceCoverage.d.mts

@@ -0,0 +1,101 @@
+import { n as Graph } from "./xstateSource-BUCx2xA4-CWteIFJn.mjs";
+//#region ../graph-tools/dist/typescript.d.mts
+//#endregion
+//#region src/sourceCoverage.d.ts
+/** Data-only protocol shared with @statelyai/graph and @xstate/test. */
+interface XStateSourceCoverageManifest {
+  schemaVersion: 1;
+  criterion: 'transition-outcomes';
+  source: {
+    fileName: string;
+    hash: string;
+    algorithm: 'SHA-256';
+  };
+  extractor: string;
+  complete: boolean;
+  machineCount: number;
+  obligations: XStateSourceCoverageObligation[];
+  diagnostics: Array<{
+    code: string;
+    message: string;
+    path: string;
+    start: number;
+    end: number;
+  }>;
+}
+interface XStateSourceCoverageObligation {
+  id: string;
+  machineIndex: number;
+  path: string;
+  eventType: string;
+  kind: 'transition' | 'targetless' | 'refusal';
+  targets: string[];
+  /** Alternative conjunctions: any alternative suffices to reach this site. */
+  predicates: string[][];
+  location: {
+    start: number;
+    end: number;
+    line: number;
+    column: number;
+  };
+}
+interface XStateSourceCoverageControl {
+  observer: ((id: string) => void) | undefined;
+  faults: number;
+}
+/** Extracts all supported outcomes; unresolved syntax prevents completeness. */
+declare function extractXStateSourceCoverage(source: string, options?: {
+  fileName?: string;
+}): Promise<XStateSourceCoverageManifest>;
+/**
+ * Adds file-local instrumentation without evaluating source. The host imports
+ * the returned control export and installs an observer during synchronous
+ * transition calculation. No globals or shared process-wide recorder are used.
+ */
+declare function instrumentXStateSourceCoverage(source: string, options?: {
+  fileName?: string;
+}): Promise<{
+  manifest: XStateSourceCoverageManifest;
+  controlExport: string;
+  source: string;
+  metadataKey: string;
+}>;
+/** Portable presentation data; no compiler or schema-library types escape. */
+type XStateSourceCoverageGraph = Graph<{
+  key: string;
+  [key: string]: unknown;
+}, {
+  eventType: string;
+  color?: string | null;
+  meta?: Record<string, unknown> | null;
+  [key: string]: unknown;
+}, {
+  sourceCoverage: {
+    sourceHash: string;
+    extractionComplete: boolean;
+    diagnostics: XStateSourceCoverageManifest['diagnostics'];
+    refusals: Array<XStateSourceCoverageObligation & {
+      covered: boolean;
+    }>;
+  };
+  [key: string]: unknown;
+}>;
+/** Produces a source-linked coverage graph that the existing Viz canvas can render. */
+declare function createXStateSourceCoverageGraph(source: string, report?: {
+  sourceHash: string;
+  covered: string[];
+  counts: Record<string, number>;
+}, options?: {
+  fileName?: string;
+  machineIndex?: number;
+  profile?: 'xstate-v5' | 'xstate-v6-alpha';
+}): Promise<{
+  manifest: XStateSourceCoverageManifest;
+  graph: XStateSourceCoverageGraph;
+}>;
+/** Boundary suggestions, not evidence: every candidate still needs execution. */
+declare function getXStateSourceCoverageEventCases(manifest: XStateSourceCoverageManifest, state: {
+  context?: Record<string, unknown>;
+}, seeds: readonly Record<string, unknown>[]): Record<string, unknown>[]; //#endregion
+//#endregion
+export { type XStateSourceCoverageControl, type XStateSourceCoverageGraph, type XStateSourceCoverageManifest, type XStateSourceCoverageObligation, createXStateSourceCoverageGraph, extractXStateSourceCoverage, getXStateSourceCoverageEventCases, instrumentXStateSourceCoverage };