@runa-ai/runa-cli 0.5.72 → 0.7.0

package/dist/commands/build/actors/static-checks.d.ts

@@ -1,12 +1,12 @@
 /**
  * AI HINT: Static Checks Actor
  *
- * Purpose: Run static analysis (type-check, lint) in parallel
+ * Purpose: Run static analysis (type-check, lint)
  * Pattern: Reuses pattern from CI machine
  *
  * Checks:
- * - pnpm type-check (TypeScript compilation)
- * - pnpm lint (Biome format + lint)
+ * - type-check (TypeScript compilation)
+ * - lint (Biome format + lint)
  */
 export interface StaticChecksInput {
     repoRoot: string;
@@ -27,10 +27,11 @@ export interface StaticChecksOutput {
     error?: string;
 }
 /**
- * Run static checks (type-check + lint) in parallel.
+ * Run static checks (type-check + lint).
  *
- * Optimization: Running type-check and lint concurrently saves ~15-30s
- * compared to sequential execution.
+ * Turbo mode uses a single command (`turbo run type-check lint`) to avoid
+ * duplicate dependency builds and race conditions from running two turbo
+ * commands concurrently.
  */
 export declare const staticChecksActor: import("xstate").PromiseActorLogic<StaticChecksOutput, StaticChecksInput, import("xstate").EventObject>;
 //# sourceMappingURL=static-checks.d.ts.map

package/dist/commands/build/actors/validate.d.ts

@@ -11,12 +11,14 @@
 export interface ValidateInput {
     repoRoot: string;
     skipManifest: boolean;
+    skipTables: boolean;
 }
 export interface ValidateOutput {
     passed: boolean;
     checks: {
         buildOutputs: boolean;
         manifests: boolean;
+        tables: boolean;
     };
     warnings: string[];
     error?: string;

package/dist/commands/build/contract.d.ts

@@ -19,10 +19,10 @@ import { z } from 'zod';
  * Available build phases for partial build (--only option).
  */
 export declare const BuildPhaseSchema: z.ZodEnum<{
+    db: "db";
+    build: "build";
     lint: "lint";
     types: "types";
-    build: "build";
-    db: "db";
     manifest: "manifest";
 }>;
 export type BuildPhase = z.infer<typeof BuildPhaseSchema>;
@@ -42,10 +42,10 @@ export declare const BuildInputSchema: z.ZodObject<{
     noSetup: z.ZodDefault<z.ZodBoolean>;
     targetDir: z.ZodOptional<z.ZodString>;
     only: z.ZodOptional<z.ZodArray<z.ZodEnum<{
+        db: "db";
+        build: "build";
         lint: "lint";
         types: "types";
-        build: "build";
-        db: "db";
         manifest: "manifest";
     }>>>;
 }, z.core.$strict>;
@@ -54,11 +54,11 @@ export type BuildInput = z.infer<typeof BuildInputSchema>;
  * Status of a build phase.
  */
 export declare const BuildPhaseStatusSchema: z.ZodEnum<{
-    passed: "passed";
+    skipped: "skipped";
     failed: "failed";
     pending: "pending";
     running: "running";
-    skipped: "skipped";
+    passed: "passed";
 }>;
 export type BuildPhaseStatus = z.infer<typeof BuildPhaseStatusSchema>;
 /**
@@ -66,11 +66,11 @@ export type BuildPhaseStatus = z.infer<typeof BuildPhaseStatusSchema>;
  */
 export declare const BuildPhaseResultSchema: z.ZodObject<{
     status: z.ZodEnum<{
-        passed: "passed";
+        skipped: "skipped";
         failed: "failed";
         pending: "pending";
         running: "running";
-        skipped: "skipped";
+        passed: "passed";
     }>;
     durationMs: z.ZodNumber;
     error: z.ZodOptional<z.ZodString>;
@@ -85,121 +85,121 @@ export declare const BuildOutputSchema: z.ZodObject<{
     phases: z.ZodObject<{
         depsInstall: z.ZodOptional<z.ZodObject<{
             status: z.ZodEnum<{
-                passed: "passed";
+                skipped: "skipped";
                 failed: "failed";
                 pending: "pending";
                 running: "running";
-                skipped: "skipped";
+                passed: "passed";
             }>;
             durationMs: z.ZodNumber;
             error: z.ZodOptional<z.ZodString>;
         }, z.core.$strip>>;
         envCheck: z.ZodOptional<z.ZodObject<{
             status: z.ZodEnum<{
-                passed: "passed";
+                skipped: "skipped";
                 failed: "failed";
                 pending: "pending";
                 running: "running";
-                skipped: "skipped";
+                passed: "passed";
             }>;
             durationMs: z.ZodNumber;
             error: z.ZodOptional<z.ZodString>;
         }, z.core.$strip>>;
         supabaseStart: z.ZodOptional<z.ZodObject<{
             status: z.ZodEnum<{
-                passed: "passed";
+                skipped: "skipped";
                 failed: "failed";
                 pending: "pending";
                 running: "running";
-                skipped: "skipped";
+                passed: "passed";
             }>;
             durationMs: z.ZodNumber;
             error: z.ZodOptional<z.ZodString>;
         }, z.core.$strip>>;
         clean: z.ZodOptional<z.ZodObject<{
             status: z.ZodEnum<{
-                passed: "passed";
+                skipped: "skipped";
                 failed: "failed";
                 pending: "pending";
                 running: "running";
-                skipped: "skipped";
+                passed: "passed";
             }>;
             durationMs: z.ZodNumber;
             error: z.ZodOptional<z.ZodString>;
         }, z.core.$strip>>;
         fresh: z.ZodOptional<z.ZodObject<{
             status: z.ZodEnum<{
-                passed: "passed";
+                skipped: "skipped";
                 failed: "failed";
                 pending: "pending";
                 running: "running";
-                skipped: "skipped";
+                passed: "passed";
             }>;
             durationMs: z.ZodNumber;
             error: z.ZodOptional<z.ZodString>;
         }, z.core.$strip>>;
         typeCheck: z.ZodObject<{
             status: z.ZodEnum<{
-                passed: "passed";
+                skipped: "skipped";
                 failed: "failed";
                 pending: "pending";
                 running: "running";
-                skipped: "skipped";
+                passed: "passed";
             }>;
             durationMs: z.ZodNumber;
             error: z.ZodOptional<z.ZodString>;
         }, z.core.$strip>;
         lint: z.ZodObject<{
             status: z.ZodEnum<{
-                passed: "passed";
+                skipped: "skipped";
                 failed: "failed";
                 pending: "pending";
                 running: "running";
-                skipped: "skipped";
+                passed: "passed";
             }>;
             durationMs: z.ZodNumber;
             error: z.ZodOptional<z.ZodString>;
         }, z.core.$strip>;
         build: z.ZodObject<{
             status: z.ZodEnum<{
-                passed: "passed";
+                skipped: "skipped";
                 failed: "failed";
                 pending: "pending";
                 running: "running";
-                skipped: "skipped";
+                passed: "passed";
             }>;
             durationMs: z.ZodNumber;
             error: z.ZodOptional<z.ZodString>;
         }, z.core.$strip>;
         dbSync: z.ZodOptional<z.ZodObject<{
             status: z.ZodEnum<{
-                passed: "passed";
+                skipped: "skipped";
                 failed: "failed";
                 pending: "pending";
                 running: "running";
-                skipped: "skipped";
+                passed: "passed";
             }>;
             durationMs: z.ZodNumber;
             error: z.ZodOptional<z.ZodString>;
         }, z.core.$strip>>;
         manifest: z.ZodOptional<z.ZodObject<{
             status: z.ZodEnum<{
-                passed: "passed";
+                skipped: "skipped";
                 failed: "failed";
                 pending: "pending";
                 running: "running";
-                skipped: "skipped";
+                passed: "passed";
             }>;
             durationMs: z.ZodNumber;
             error: z.ZodOptional<z.ZodString>;
         }, z.core.$strip>>;
         validate: z.ZodObject<{
             status: z.ZodEnum<{
-                passed: "passed";
+                skipped: "skipped";
                 failed: "failed";
                 pending: "pending";
                 running: "running";
-                skipped: "skipped";
+                passed: "passed";
             }>;
             durationMs: z.ZodNumber;
             error: z.ZodOptional<z.ZodString>;

package/dist/commands/build/machine-dry-run.d.ts

@@ -0,0 +1,3 @@
+import type { BuildContext } from './types.js';
+export declare function printBuildDryRunPlan(context: BuildContext): void;
+//# sourceMappingURL=machine-dry-run.d.ts.map

package/dist/commands/build/machine-e2e-meta.d.ts

@@ -0,0 +1,120 @@
+export declare const buildMachineE2EMeta: {
+    idle: {
+        description: string;
+        severity: "non-critical";
+        observables: {
+            log: string;
+        };
+        assertions: string[];
+        nextStates: string[];
+    };
+    dryRun: {
+        description: string;
+        severity: "non-critical";
+        observables: {
+            log: string;
+        };
+        assertions: string[];
+        nextStates: string[];
+    };
+    setup: {
+        description: string;
+        severity: "blocking";
+        observables: {
+            log: string;
+            fs: string;
+        };
+        assertions: string[];
+        nextStates: string[];
+    };
+    clean: {
+        description: string;
+        severity: "non-critical";
+        observables: {
+            log: string;
+            fs: string;
+        };
+        assertions: string[];
+        nextStates: string[];
+    };
+    fresh: {
+        description: string;
+        severity: "blocking";
+        observables: {
+            log: string;
+            fs: string;
+        };
+        assertions: string[];
+        nextStates: string[];
+    };
+    staticAnalysis: {
+        description: string;
+        severity: "blocking";
+        observables: {
+            log: string;
+            exitCode: string;
+        };
+        assertions: string[];
+        nextStates: string[];
+    };
+    build: {
+        description: string;
+        severity: "blocking";
+        observables: {
+            log: string;
+            fs: string;
+        };
+        assertions: string[];
+        nextStates: string[];
+    };
+    dbSync: {
+        description: string;
+        severity: "non-critical";
+        observables: {
+            log: string;
+            db: string;
+        };
+        assertions: string[];
+        nextStates: string[];
+    };
+    manifest: {
+        description: string;
+        severity: "non-critical";
+        observables: {
+            log: string;
+            fs: string;
+        };
+        assertions: string[];
+        nextStates: string[];
+    };
+    validate: {
+        description: string;
+        severity: "non-critical";
+        observables: {
+            log: string;
+        };
+        assertions: string[];
+        nextStates: string[];
+    };
+    done: {
+        description: string;
+        severity: "final";
+        observables: {
+            log: string;
+            exitCode: number;
+        };
+        assertions: string[];
+        nextStates: never[];
+    };
+    failed: {
+        description: string;
+        severity: "final";
+        observables: {
+            log: string;
+            exitCode: number;
+        };
+        assertions: string[];
+        nextStates: never[];
+    };
+};
+//# sourceMappingURL=machine-e2e-meta.d.ts.map

package/dist/commands/build/machine.d.ts

@@ -35,11 +35,19 @@ interface BuildMachineInput {
     repoRoot?: string;
 }
 export declare const buildMachine: import("xstate").StateMachine<BuildContext, BuildEvent, {
-    [x: string]: import("xstate").ActorRefFromLogic<import("xstate").PromiseActorLogic<import("./actors/build.js").BuildOutput, import("./actors/build.js").BuildInput, import("xstate").EventObject>> | import("xstate").ActorRefFromLogic<import("xstate").PromiseActorLogic<import("./actors/manifest.js").ManifestOutput, import("./actors/manifest.js").ManifestInput, import("xstate").EventObject>> | import("xstate").ActorRefFromLogic<import("xstate").PromiseActorLogic<import("./actors/clean.js").CleanOutput, import("./actors/clean.js").CleanInput, import("xstate").EventObject>> | import("xstate").ActorRefFromLogic<import("xstate").PromiseActorLogic<import("./actors/validate.js").ValidateOutput, import("./actors/validate.js").ValidateInput, import("xstate").EventObject>> | import("xstate").ActorRefFromLogic<import("xstate").PromiseActorLogic<import("./actors/setup.js").DepsInstallOutput, import("./actors/setup.js").SetupInput, import("xstate").EventObject>> | import("xstate").ActorRefFromLogic<import("xstate").PromiseActorLogic<import("./actors/setup.js").EnvCheckOutput, import("./actors/setup.js").SetupInput, import("xstate").EventObject>> | import("xstate").ActorRefFromLogic<import("xstate").PromiseActorLogic<import("./actors/setup.js").SupabaseStartOutput, import("./actors/setup.js").SetupInput, import("xstate").EventObject>> | import("xstate").ActorRefFromLogic<import("xstate").PromiseActorLogic<import("./actors/db-sync.js").DbSyncOutput, import("./actors/db-sync.js").DbSyncInput, import("xstate").EventObject>> | import("xstate").ActorRefFromLogic<import("xstate").PromiseActorLogic<import("./actors/static-checks.js").StaticChecksOutput, import("./actors/static-checks.js").StaticChecksInput, import("xstate").EventObject>> | undefined;
+    [x: string]: import("xstate").ActorRefFromLogic<import("xstate").PromiseActorLogic<import("./actors/clean.js").CleanOutput, import("./actors/clean.js").CleanInput, import("xstate").EventObject>> | import("xstate").ActorRefFromLogic<import("xstate").PromiseActorLogic<import("./actors/build.js").BuildOutput, import("./actors/build.js").BuildInput, import("xstate").EventObject>> | import("xstate").ActorRefFromLogic<import("xstate").PromiseActorLogic<import("./actors/validate.js").ValidateOutput, import("./actors/validate.js").ValidateInput, import("xstate").EventObject>> | import("xstate").ActorRefFromLogic<import("xstate").PromiseActorLogic<import("./actors/manifest.js").ManifestOutput, import("./actors/manifest.js").ManifestInput, import("xstate").EventObject>> | import("xstate").ActorRefFromLogic<import("xstate").PromiseActorLogic<import("./actors/setup.js").DepsInstallOutput, import("./actors/setup.js").SetupInput, import("xstate").EventObject>> | import("xstate").ActorRefFromLogic<import("xstate").PromiseActorLogic<import("./actors/setup.js").EnvCheckOutput, import("./actors/setup.js").SetupInput, import("xstate").EventObject>> | import("xstate").ActorRefFromLogic<import("xstate").PromiseActorLogic<import("./actors/setup.js").SupabaseStartOutput, import("./actors/setup.js").SetupInput, import("xstate").EventObject>> | import("xstate").ActorRefFromLogic<import("xstate").PromiseActorLogic<import("./actors/db-sync.js").DbSyncOutput, import("./actors/db-sync.js").DbSyncInput, import("xstate").EventObject>> | import("xstate").ActorRefFromLogic<import("xstate").PromiseActorLogic<import("./actors/static-checks.js").StaticChecksOutput, import("./actors/static-checks.js").StaticChecksInput, import("xstate").EventObject>> | undefined;
 }, {
+    src: "fresh";
+    logic: import("xstate").PromiseActorLogic<import("./actors/clean.js").CleanOutput, import("./actors/clean.js").CleanInput, import("xstate").EventObject>;
+    id: string | undefined;
+} | {
     src: "build";
     logic: import("xstate").PromiseActorLogic<import("./actors/build.js").BuildOutput, import("./actors/build.js").BuildInput, import("xstate").EventObject>;
     id: string | undefined;
+} | {
+    src: "validate";
+    logic: import("xstate").PromiseActorLogic<import("./actors/validate.js").ValidateOutput, import("./actors/validate.js").ValidateInput, import("xstate").EventObject>;
+    id: string | undefined;
 } | {
     src: "manifest";
     logic: import("xstate").PromiseActorLogic<import("./actors/manifest.js").ManifestOutput, import("./actors/manifest.js").ManifestInput, import("xstate").EventObject>;
@@ -48,14 +56,6 @@ export declare const buildMachine: import("xstate").StateMachine<BuildContext, B
     src: "clean";
     logic: import("xstate").PromiseActorLogic<import("./actors/clean.js").CleanOutput, import("./actors/clean.js").CleanInput, import("xstate").EventObject>;
     id: string | undefined;
-} | {
-    src: "fresh";
-    logic: import("xstate").PromiseActorLogic<import("./actors/clean.js").CleanOutput, import("./actors/clean.js").CleanInput, import("xstate").EventObject>;
-    id: string | undefined;
-} | {
-    src: "validate";
-    logic: import("xstate").PromiseActorLogic<import("./actors/validate.js").ValidateOutput, import("./actors/validate.js").ValidateInput, import("xstate").EventObject>;
-    id: string | undefined;
 } | {
     src: "depsInstall";
     logic: import("xstate").PromiseActorLogic<import("./actors/setup.js").DepsInstallOutput, import("./actors/setup.js").SetupInput, import("xstate").EventObject>;
@@ -106,64 +106,64 @@ export declare const buildMachine: import("xstate").StateMachine<BuildContext, B
 } | {
     type: "isDryRun";
     params: unknown;
-}, never, "failed" | "build" | "manifest" | "clean" | "fresh" | "validate" | "dbSync" | "done" | "preClean" | "dryRun" | "staticAnalysis" | "idle" | {
-    setup: "depsInstall" | "envCheck" | "supabaseStart" | "done";
+}, never, "fresh" | "done" | "failed" | "build" | "dryRun" | "validate" | "manifest" | "clean" | "dbSync" | "preClean" | "staticAnalysis" | "idle" | {
+    setup: "done" | "depsInstall" | "envCheck" | "supabaseStart";
 }, string, BuildMachineInput, {
     success: boolean;
     exitCode: 0 | 1;
     phases: {
         typeCheck: {
-            status: "passed" | "failed" | "pending" | "running" | "skipped";
+            status: "skipped" | "failed" | "pending" | "running" | "passed";
             durationMs: number;
             error?: string | undefined;
         };
         lint: {
-            status: "passed" | "failed" | "pending" | "running" | "skipped";
+            status: "skipped" | "failed" | "pending" | "running" | "passed";
             durationMs: number;
             error?: string | undefined;
         };
         build: {
-            status: "passed" | "failed" | "pending" | "running" | "skipped";
+            status: "skipped" | "failed" | "pending" | "running" | "passed";
             durationMs: number;
             error?: string | undefined;
         };
         validate: {
-            status: "passed" | "failed" | "pending" | "running" | "skipped";
+            status: "skipped" | "failed" | "pending" | "running" | "passed";
             durationMs: number;
             error?: string | undefined;
         };
         depsInstall?: {
-            status: "passed" | "failed" | "pending" | "running" | "skipped";
+            status: "skipped" | "failed" | "pending" | "running" | "passed";
             durationMs: number;
             error?: string | undefined;
         } | undefined;
         envCheck?: {
-            status: "passed" | "failed" | "pending" | "running" | "skipped";
+            status: "skipped" | "failed" | "pending" | "running" | "passed";
             durationMs: number;
             error?: string | undefined;
         } | undefined;
         supabaseStart?: {
-            status: "passed" | "failed" | "pending" | "running" | "skipped";
+            status: "skipped" | "failed" | "pending" | "running" | "passed";
             durationMs: number;
             error?: string | undefined;
         } | undefined;
         clean?: {
-            status: "passed" | "failed" | "pending" | "running" | "skipped";
+            status: "skipped" | "failed" | "pending" | "running" | "passed";
             durationMs: number;
             error?: string | undefined;
         } | undefined;
         fresh?: {
-            status: "passed" | "failed" | "pending" | "running" | "skipped";
+            status: "skipped" | "failed" | "pending" | "running" | "passed";
             durationMs: number;
             error?: string | undefined;
         } | undefined;
         dbSync?: {
-            status: "passed" | "failed" | "pending" | "running" | "skipped";
+            status: "skipped" | "failed" | "pending" | "running" | "passed";
             durationMs: number;
             error?: string | undefined;
         } | undefined;
         manifest?: {
-            status: "passed" | "failed" | "pending" | "running" | "skipped";
+            status: "skipped" | "failed" | "pending" | "running" | "passed";
             durationMs: number;
             error?: string | undefined;
         } | undefined;

package/dist/commands/build/types.d.ts

@@ -30,6 +30,8 @@ export interface BuildContext {
     hasManifestTask: boolean;
     /** Whether turbo.json exists */
     hasTurbo: boolean;
+    /** Whether Supabase is running (set by setup phase, avoids re-checking in dbSync) */
+    supabaseRunning: boolean;
     phases: {
         depsInstall: BuildPhaseResult | null;
         envCheck: BuildPhaseResult | null;
@@ -64,10 +66,6 @@ export declare function createInitialContext(input: BuildInput, repoRoot: string
  * Create output from context.
  */
 export declare function createOutput(context: BuildContext): BuildOutput;
-/**
- * Extract error message from unknown error value.
- */
-export declare function getErrorMessage(error: unknown): string;
 /**
  * Create a phase result.
  */

package/dist/commands/check/commands/check.d.ts

@@ -13,14 +13,19 @@
  * - 1: Critical issues found (blocks operations)
  */
 import { Command } from 'commander';
-interface CheckOptions {
+export interface CheckOptions {
     scope?: 'all' | 'build' | 'ci' | 'deploy' | 'testing' | 'layer1' | 'layer2' | 'layer3' | 'layer4';
     fix?: boolean;
     verbose?: boolean;
     dryRun?: boolean;
     cwd?: string;
 }
-declare function runCheckAction(options: CheckOptions): Promise<void>;
-export { runCheckAction as runCheckCommand };
+interface RunCheckCommandOptions {
+    command: Command;
+    loggerName: string;
+    deprecationNotice?: string;
+}
+export declare function runCheckCommand(options: CheckOptions, runOptions: RunCheckCommandOptions): Promise<void>;
 export declare const checkCommand: Command;
+export {};
 //# sourceMappingURL=check.d.ts.map

package/dist/commands/ci/machine/actors/db/collect-schema-stats.d.ts

@@ -1,12 +1,11 @@
 /**
  * AI HINT: Collect Schema Stats Actor
  *
- * Purpose: Collect schema statistics from Local, CI, and Production databases
+ * Purpose: Collect schema statistics from Reference, CI, and Production databases
  * Pattern: Fine-grained actor for single step
  *
- * All environments use the same DB query logic for consistent comparison:
- * - Local stats: Query local Supabase DB (Docker)
- *   Note: Schema files include both declarative/*.sql AND idempotent/*.sql
+ * Comparison strategy:
+ * - Reference stats: Build a temporary reference DB from repo SQL, then query it
  * - CI stats: Query CI database (Docker Supabase or Branch DB)
  * - Production stats: Query Production DB (if GH_DATABASE_URL_ADMIN set)
  *
@@ -18,12 +17,16 @@
  */
 import { type SchemaStatsSnapshot } from './schema-stats.js';
 export interface CollectSchemaStatsInput {
-    /** Local database URL (Docker Supabase) */
-    localDbUrl: string | null;
+    /** Repository root (used to build a reference DB from repo SQL) */
+    repoRoot: string;
+    /** Reference source DB URL (used to create/drop temp DB) */
+    referenceDbUrl: string | null;
     /** CI database URL (Docker Supabase or Branch DB) */
     ciDbUrl: string | null;
     /** Whether to query production (requires GH_DATABASE_URL_ADMIN) */
     queryProduction: boolean;
+    /** Temporary directory for logs */
+    tmpDir: string;
 }
 export interface CollectSchemaStatsOutput {
     /** Schema statistics snapshot */

package/dist/commands/ci/machine/actors/db/schema-canonical-diff.d.ts

@@ -0,0 +1,55 @@
+/**
+ * AI HINT: Canonical schema snapshot + semantic diff
+ *
+ * Purpose: Detect schema drift beyond simple T/F/P/I counts.
+ * Pattern: Normalize PostgreSQL catalog metadata into stable signatures.
+ *
+ * Detects semantic differences in:
+ * - Tables (columns, constraints, RLS flags)
+ * - Functions (signature, language, volatility, security, body)
+ * - Policies (command, roles, USING / WITH CHECK)
+ * - Indexes (definition, uniqueness, predicate)
+ * - Triggers (definition)
+ */
+export type CanonicalSchemaObjectKind = 'table' | 'function' | 'policy' | 'index' | 'trigger';
+export interface CanonicalSchemaObject {
+    kind: CanonicalSchemaObjectKind;
+    schema: string;
+    name: string;
+    key: string;
+    label: string;
+    parentName?: string;
+    signature: string;
+}
+export interface CanonicalSchemaSnapshot {
+    available: boolean;
+    objects: CanonicalSchemaObject[];
+    error?: string;
+}
+export interface CanonicalSchemaObjectPair {
+    reference: CanonicalSchemaObject;
+    target: CanonicalSchemaObject;
+}
+export interface CanonicalSchemaDiff {
+    missing: CanonicalSchemaObject[];
+    extra: CanonicalSchemaObject[];
+    changed: CanonicalSchemaObjectPair[];
+    renamed: CanonicalSchemaObjectPair[];
+}
+export interface SchemaSemanticSummary {
+    hasChanges: boolean;
+    changedKinds: CanonicalSchemaObjectKind[];
+    counts: {
+        missing: number;
+        extra: number;
+        changed: number;
+        renamed: number;
+    };
+}
+export type CanonicalDiffBySchema = Record<string, SchemaSemanticSummary>;
+export declare function createUnavailableCanonicalSnapshot(error: string): CanonicalSchemaSnapshot;
+export declare function getCanonicalSchemaSnapshot(databaseUrl: string): Promise<CanonicalSchemaSnapshot>;
+export declare function compareCanonicalSnapshots(reference: CanonicalSchemaSnapshot, target: CanonicalSchemaSnapshot): CanonicalSchemaDiff;
+export declare function summarizeCanonicalDiffBySchema(diff: CanonicalSchemaDiff): CanonicalDiffBySchema;
+export declare function hasCanonicalChanges(diff: CanonicalSchemaDiff): boolean;
+//# sourceMappingURL=schema-canonical-diff.d.ts.map

package/dist/commands/ci/machine/actors/db/schema-stats.d.ts

@@ -32,6 +32,7 @@
  * - Supabase platform functions: supabase_* (not extension-owned)
  * - PostgREST platform functions: postgrest_*, pgrst_*, _pgrst_* (not extension-owned)
  */
+import type { CanonicalSchemaSnapshot } from './schema-canonical-diff.js';
 /**
  * Statistics for a single schema.
  */
@@ -59,6 +60,10 @@ export interface IndexInfo {
     isPartial: boolean;
     /** WHERE clause for partial indexes (e.g., 'check_run_id IS NOT NULL') */
     whereClause?: string;
+    /** Access method (e.g., btree, gin) */
+    accessMethod?: string;
+    /** Normalized index definition for semantic comparison */
+    definition?: string;
 }
 /**
  * Statistics for all schemas in an environment.
@@ -70,6 +75,12 @@ export interface EnvironmentSchemaStats {
     total: SchemaStats;
     /** Detailed index list for diff detection (optional for backward compatibility) */
     indexList?: IndexInfo[];
+    /** Canonical snapshot for semantic diff detection */
+    canonicalSnapshot?: CanonicalSchemaSnapshot;
+    /** False when stats collection failed and counts should not be trusted */
+    available?: boolean;
+    /** Collection error summary for degraded display */
+    error?: string;
 }
 /**
  * Snapshot of schema statistics across all environments.