@voltro/database 0.70.0 → 0.71.1

package/dist/sql.d.ts

@@ -873,6 +873,17 @@ export declare interface ColumnSnapshot {
     readonly referenceStorage?: 'text' | 'numeric';
     /** `oneOf(['a','b'])` → CHECK constraint values. */
     readonly oneOf?: ReadonlyArray<string>;
+    /** Required/observed JSON validity on SQL Server. Unverified means no
+     * recognized enabled and trusted check proves the existing data valid. */
+    readonly jsonValidation?: 'value' | 'container' | 'unverified';
+    /** Live SQL Server JSON checks recognized by complete predicate shape.
+     * Names are catalog identities for DDL, not portable schema fingerprints. */
+    readonly jsonChecks?: ReadonlyArray<{
+        readonly name: string;
+        readonly validation: 'value' | 'container';
+        readonly enabled: boolean;
+        readonly trusted: boolean;
+    }>;
     /**
      * Fixed-point precision + scale for a `decimal(p,s)` / `numeric(p,s)`
      * column (`type === 'decimal'`). Drives the emitted `NUMERIC(p,s)` /
@@ -1140,10 +1151,22 @@ export declare const emitAddIndexMysql: (op: Extract<MigrationOperation, {
     kind: "add-index";
 }>, declared: ReadonlyArray<TableLike>, engine?: MysqlEngine) => string;
 
+export declare const emitCreateTableMssql: (op: Extract<MigrationOperation, {
+    kind: "create-table";
+}>) => ReadonlyArray<string>;
+
 export declare const emitCreateTableMysql: (op: Extract<MigrationOperation, {
     kind: "create-table";
 }>, engine?: MysqlEngine) => ReadonlyArray<string>;
 
+export declare const emitCreateTablePg: (op: Extract<MigrationOperation, {
+    kind: "create-table";
+}>) => ReadonlyArray<string>;
+
+export declare const emitCreateTableSqlite: (op: Extract<MigrationOperation, {
+    kind: "create-table";
+}>) => ReadonlyArray<string>;
+
 export declare const emitDropColumnDdl: (op: Extract<MigrationOperation, {
     kind: "drop-column";
 }>, q: typeof quote, 
@@ -1497,14 +1520,14 @@ declare interface IndexKindOptions {
          *   - `'inner'`  → `vector_ip_ops` (negative inner product)
          * The opclass MUST match the metric the query orders by, or the
          * index can't accelerate the search. Set `opclass` directly only to
-         * override the mapping (e.g. `halfvec_cosine_ops`).
+         * override the mapping. Half-precision columns select `halfvec_*` automatically.
          */
         readonly distance?: VectorDistance;
         /**
          * pgvector opclass token spliced into `USING hnsw (col <opclass>)`.
-         * When unset, derived from `distance` (default `vector_cosine_ops`).
-         * Set explicitly to override (e.g. `'halfvec_cosine_ops'` for a
-         * `vector(n, { precision: 'half' })` column).
+         * When unset, derived from `distance` and the column's precision
+         * (default `vector_cosine_ops`, or `halfvec_cosine_ops` for half precision).
+         * An explicit override is an unquoted, optionally schema-qualified identifier.
          */
         readonly opclass?: string;
     };
@@ -1515,6 +1538,10 @@ export declare interface IndexSnapshot {
     readonly table: string;
     readonly columns: ReadonlyArray<string>;
     readonly unique: boolean;
+    /** Physical access method; absent means btree. Catalogs may name extension methods. */
+    readonly kind?: string;
+    /** Resolved HNSW build parameters and operator class, not a query-time metric. */
+    readonly kindOptions?: IndexKindOptions;
     /** SQL predicate for a partial/filtered index; never a full UNIQUE constraint. */
     readonly where?: string;
     /** False for an invalid PostgreSQL index left by an interrupted online build. */
@@ -1746,6 +1773,13 @@ export declare type MigrationOperation = {
     readonly kind: 'drop-check';
     readonly table: string;
     readonly column: string;
+} | {
+    readonly kind: 'reconcile-json-check';
+    readonly table: string;
+    readonly column: string;
+    readonly validation: 'value' | 'container';
+    readonly previousValidation: 'value' | 'container' | 'unverified' | 'absent';
+    readonly dropConstraints: ReadonlyArray<string>;
 };
 
 export declare interface MigrationPlan {
@@ -1962,7 +1996,7 @@ export declare type OperationClass =
  * cleanly through JSON (the `operations` column of `_voltro_migrations`)
  * and can be grepped in `voltro logs` output.
  */
-export declare type OperationKind = 'create-table' | 'drop-table' | 'add-column' | 'drop-column' | 'rename-column' | 'alter-column-nullability' | 'alter-column-type' | 'alter-column-default' | 'add-index' | 'drop-index' | 'add-unique' | 'drop-unique' | 'add-unique-composite' | 'drop-unique-composite' | 'add-foreign-key' | 'drop-foreign-key' | 'add-check' | 'drop-check';
+export declare type OperationKind = 'create-table' | 'drop-table' | 'add-column' | 'drop-column' | 'rename-column' | 'alter-column-nullability' | 'alter-column-type' | 'alter-column-default' | 'add-index' | 'drop-index' | 'add-unique' | 'drop-unique' | 'add-unique-composite' | 'drop-unique-composite' | 'add-foreign-key' | 'drop-foreign-key' | 'add-check' | 'drop-check' | 'reconcile-json-check';
 
 declare interface OrderClause {
     readonly column: string;
@@ -2600,9 +2634,9 @@ export declare const rehearsedOperation: (planned: PlannedOperation) => Rehearse
  */
 export declare const rehearseMigrationOnBranch: (ops: BranchRehearsalOps) => Promise<BranchRehearsalReport>;
 
-export declare const renderColumnMysql: (col: ColumnSnapshot) => string;
+export declare const renderColumnMysql: (col: ColumnSnapshot, hasCompositePk?: boolean) => string;
 
-export declare const renderColumnPg: (col: ColumnSnapshot) => string;
+export declare const renderColumnPg: (col: ColumnSnapshot, hasCompositePk?: boolean) => string;
 
 /**
  * The effective lock schema: an explicit scope wins; otherwise `DB_SCHEMA`