@sequenceholdings/orm 0.1.1 → 0.1.3

package/dist/canonical.d.cts

@@ -0,0 +1,603 @@
+import { z } from 'zod';
+
+/**
+ * Canonical namespace definition v2 — the data-only JSON a consumer's
+ * TypeScript schema serializes to. This is v2's equivalent of the v1 YAML
+ * `NamespaceDefinition`: the CLI's jiti loader produces it, the content hash
+ * is computed over it, the server re-validates it (consumer TS never runs
+ * server-side), and the SDL generator / GraphQL compiler / migration engine
+ * all consume it.
+ *
+ * FROZEN CONTRACT (week 1): downstream tracks build against these shapes.
+ * Additive evolution only; `definition_format` discriminates on the wire.
+ */
+
+declare const CANONICAL_FORMAT: 2;
+/** Identifier grammar shared with v1 (`^[a-z][a-z0-9_]*$`, ≤63 bytes). */
+declare const IDENTIFIER_RE: RegExp;
+/** The 10 v1 column types, unchanged in v2. */
+declare const COLUMN_TYPES: readonly ["uuid", "text", "integer", "bigint", "numeric", "double", "boolean", "timestamptz", "date", "jsonb"];
+type ColumnType = (typeof COLUMN_TYPES)[number];
+/** Enum columns reference a namespace-level `defineEnum` by name. */
+declare const canonicalEnumSchema: z.ZodObject<{
+    name: z.ZodString;
+    values: z.ZodArray<z.ZodString>;
+}, z.core.$strip>;
+type CanonicalEnum = z.infer<typeof canonicalEnumSchema>;
+declare const canonicalColumnSchema: z.ZodObject<{
+    name: z.ZodString;
+    columnName: z.ZodString;
+    type: z.ZodUnion<readonly [z.ZodEnum<{
+        bigint: "bigint";
+        boolean: "boolean";
+        uuid: "uuid";
+        text: "text";
+        integer: "integer";
+        numeric: "numeric";
+        double: "double";
+        timestamptz: "timestamptz";
+        date: "date";
+        jsonb: "jsonb";
+    }>, z.ZodObject<{
+        enum: z.ZodString;
+    }, z.core.$strip>]>;
+    nullable: z.ZodDefault<z.ZodBoolean>;
+    unique: z.ZodDefault<z.ZodBoolean>;
+    default: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>;
+    defaultFn: z.ZodOptional<z.ZodEnum<{
+        "gen_random_uuid()": "gen_random_uuid()";
+        "now()": "now()";
+    }>>;
+    description: z.ZodOptional<z.ZodString>;
+    renamedFrom: z.ZodOptional<z.ZodString>;
+    cast: z.ZodOptional<z.ZodString>;
+    deprecated: z.ZodDefault<z.ZodBoolean>;
+}, z.core.$strip>;
+type CanonicalColumn = z.infer<typeof canonicalColumnSchema>;
+declare const canonicalLinkSchema: z.ZodObject<{
+    name: z.ZodString;
+    kind: z.ZodEnum<{
+        toOne: "toOne";
+        toMany: "toMany";
+        toPlatformUser: "toPlatformUser";
+    }>;
+    target: z.ZodOptional<z.ZodString>;
+    on: z.ZodString;
+    references: z.ZodOptional<z.ZodString>;
+    enforce: z.ZodDefault<z.ZodBoolean>;
+    description: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+type CanonicalLink = z.infer<typeof canonicalLinkSchema>;
+declare const canonicalIndexSchema: z.ZodObject<{
+    columns: z.ZodArray<z.ZodString>;
+    unique: z.ZodDefault<z.ZodBoolean>;
+    name: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+/**
+ * Policy expressions stay DSL SOURCE STRINGS in the canonical form — parsing
+ * and claim-key validation happen in both CLI and server via the shared
+ * predicate parser. Variants follow §4c permissive-union semantics.
+ */
+declare const policyVariantSchema: z.ZodObject<{
+    when: z.ZodString;
+    allow: z.ZodOptional<z.ZodLiteral<true>>;
+    policy: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+declare const policyExpressionSchema: z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+    default: z.ZodString;
+    variants: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        when: z.ZodString;
+        allow: z.ZodOptional<z.ZodLiteral<true>>;
+        policy: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>>;
+}, z.core.$strip>]>;
+type PolicyExpression = z.infer<typeof policyExpressionSchema>;
+declare const canonicalPoliciesSchema: z.ZodObject<{
+    read: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+        default: z.ZodString;
+        variants: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            when: z.ZodString;
+            allow: z.ZodOptional<z.ZodLiteral<true>>;
+            policy: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>>;
+    }, z.core.$strip>]>>;
+    write: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+        default: z.ZodString;
+        variants: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            when: z.ZodString;
+            allow: z.ZodOptional<z.ZodLiteral<true>>;
+            policy: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>>;
+    }, z.core.$strip>]>>;
+    insert: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+        default: z.ZodString;
+        variants: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            when: z.ZodString;
+            allow: z.ZodOptional<z.ZodLiteral<true>>;
+            policy: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>>;
+    }, z.core.$strip>]>>;
+    update: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+        default: z.ZodString;
+        variants: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            when: z.ZodString;
+            allow: z.ZodOptional<z.ZodLiteral<true>>;
+            policy: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>>;
+    }, z.core.$strip>]>>;
+}, z.core.$strip>;
+/**
+ * View SQL is generated by Drizzle in the authoring process, then crosses the
+ * CLI → Atlas JSON boundary. Keep the canonical form to one SELECT statement:
+ * PostgreSQL validates the complete grammar when the view is created, while
+ * this scanner prevents statement stacking before the text reaches DDL.
+ */
+declare function isSingleViewQuerySql(value: string): boolean;
+/**
+ * Managed views execute as the shared ORM relation owner. Treat function use
+ * as a capability boundary: a new function is unavailable until it is
+ * deliberately reviewed here as side-effect-free. The migration engine checks
+ * the functions PostgreSQL actually resolved against this list and pg_catalog,
+ * so qualification and same-named functions in a consumer schema cannot evade
+ * the boundary.
+ */
+declare const VIEW_QUERY_FUNCTION_ALLOWLIST: readonly ["abs", "age", "array_agg", "array_append", "array_cat", "array_dims", "array_length", "array_lower", "array_ndims", "array_position", "array_positions", "array_prepend", "array_remove", "array_replace", "array_to_string", "array_trim", "array_upper", "ascii", "avg", "bit_and", "bit_or", "bit_xor", "bool_and", "bool_or", "btrim", "cardinality", "cbrt", "ceil", "ceiling", "char_length", "character_length", "chr", "concat", "concat_ws", "count", "cume_dist", "date_bin", "date_part", "date_trunc", "decode", "degrees", "dense_rank", "encode", "enum_first", "enum_last", "enum_range", "every", "exp", "first_value", "floor", "format", "grouping", "initcap", "json_agg", "json_array_length", "json_build_array", "json_build_object", "json_extract_path", "json_extract_path_text", "json_object_agg", "json_object_keys", "json_strip_nulls", "json_typeof", "jsonb_agg", "jsonb_array_length", "jsonb_build_array", "jsonb_build_object", "jsonb_extract_path", "jsonb_extract_path_text", "jsonb_insert", "jsonb_object_agg", "jsonb_object_keys", "jsonb_path_exists", "jsonb_path_match", "jsonb_path_query", "jsonb_path_query_array", "jsonb_path_query_first", "jsonb_pretty", "jsonb_set", "jsonb_set_lax", "jsonb_strip_nulls", "jsonb_typeof", "justify_days", "justify_hours", "justify_interval", "lag", "last_value", "lead", "left", "length", "ln", "log", "lower", "lpad", "ltrim", "make_date", "make_interval", "make_time", "make_timestamp", "make_timestamptz", "max", "md5", "min", "mod", "nth_value", "ntile", "octet_length", "percent_rank", "pi", "power", "quote_ident", "quote_literal", "quote_nullable", "radians", "rank", "regexp_count", "regexp_instr", "regexp_like", "regexp_match", "regexp_matches", "regexp_replace", "regexp_split_to_array", "regexp_split_to_table", "repeat", "replace", "reverse", "right", "round", "row_number", "rpad", "rtrim", "sign", "split_part", "sqrt", "starts_with", "string_agg", "string_to_array", "strpos", "substr", "substring", "sum", "timezone", "to_ascii", "to_char", "to_date", "to_hex", "to_json", "to_jsonb", "to_number", "to_timestamp", "translate", "trunc", "unnest", "upper", "width_bucket"];
+/** Actions carry over from v1 as compiled named-SQL ops (plan: resolved OQ-1). */
+declare const canonicalActionSchema: z.ZodObject<{
+    name: z.ZodString;
+    requires: z.ZodOptional<z.ZodString>;
+    params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodObject<{
+        type: z.ZodEnum<{
+            bigint: "bigint";
+            boolean: "boolean";
+            uuid: "uuid";
+            text: "text";
+            integer: "integer";
+            numeric: "numeric";
+            double: "double";
+            timestamptz: "timestamptz";
+            date: "date";
+            jsonb: "jsonb";
+        }>;
+        nullable: z.ZodDefault<z.ZodBoolean>;
+    }, z.core.$strip>>>;
+    executes: z.ZodString;
+    returns: z.ZodDefault<z.ZodEnum<{
+        rows: "rows";
+        rowsAffected: "rowsAffected";
+        scalar: "scalar";
+    }>>;
+    audit: z.ZodOptional<z.ZodObject<{
+        action: z.ZodString;
+        resource: z.ZodString;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+/**
+ * Copy-on-write mutations for overlay tables backed by a synced twin
+ * (v2-only). Structured metadata, never authored SQL: the compiler and data
+ * plane generate the INSERT…SELECT / UPDATE / DELETE statements from it, so
+ * there is no SQL surface to validate and write policies inject like any
+ * other mutation. `override` copies the synced row into the overlay
+ * (ON CONFLICT DO NOTHING) then updates the `set` columns; `revert` deletes
+ * the overlay row so the coalesce view falls back to synced.
+ */
+declare const canonicalCowMutationSchema: z.ZodObject<{
+    kind: z.ZodEnum<{
+        override: "override";
+        revert: "revert";
+    }>;
+    name: z.ZodString;
+    synced: z.ZodString;
+    pk: z.ZodString;
+    copy: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    set: z.ZodDefault<z.ZodArray<z.ZodString>>;
+}, z.core.$strip>;
+type CanonicalCowMutation = z.infer<typeof canonicalCowMutationSchema>;
+declare const canonicalTableSchema: z.ZodObject<{
+    table: z.ZodString;
+    description: z.ZodOptional<z.ZodString>;
+    renamedFrom: z.ZodOptional<z.ZodString>;
+    source: z.ZodOptional<z.ZodString>;
+    columns: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        columnName: z.ZodString;
+        type: z.ZodUnion<readonly [z.ZodEnum<{
+            bigint: "bigint";
+            boolean: "boolean";
+            uuid: "uuid";
+            text: "text";
+            integer: "integer";
+            numeric: "numeric";
+            double: "double";
+            timestamptz: "timestamptz";
+            date: "date";
+            jsonb: "jsonb";
+        }>, z.ZodObject<{
+            enum: z.ZodString;
+        }, z.core.$strip>]>;
+        nullable: z.ZodDefault<z.ZodBoolean>;
+        unique: z.ZodDefault<z.ZodBoolean>;
+        default: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>;
+        defaultFn: z.ZodOptional<z.ZodEnum<{
+            "gen_random_uuid()": "gen_random_uuid()";
+            "now()": "now()";
+        }>>;
+        description: z.ZodOptional<z.ZodString>;
+        renamedFrom: z.ZodOptional<z.ZodString>;
+        cast: z.ZodOptional<z.ZodString>;
+        deprecated: z.ZodDefault<z.ZodBoolean>;
+    }, z.core.$strip>>>;
+    primaryKey: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    links: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        kind: z.ZodEnum<{
+            toOne: "toOne";
+            toMany: "toMany";
+            toPlatformUser: "toPlatformUser";
+        }>;
+        target: z.ZodOptional<z.ZodString>;
+        on: z.ZodString;
+        references: z.ZodOptional<z.ZodString>;
+        enforce: z.ZodDefault<z.ZodBoolean>;
+        description: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>>;
+    indexes: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        columns: z.ZodArray<z.ZodString>;
+        unique: z.ZodDefault<z.ZodBoolean>;
+        name: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>>;
+    policies: z.ZodDefault<z.ZodObject<{
+        read: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+            default: z.ZodString;
+            variants: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                when: z.ZodString;
+                allow: z.ZodOptional<z.ZodLiteral<true>>;
+                policy: z.ZodOptional<z.ZodString>;
+            }, z.core.$strip>>>;
+        }, z.core.$strip>]>>;
+        write: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+            default: z.ZodString;
+            variants: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                when: z.ZodString;
+                allow: z.ZodOptional<z.ZodLiteral<true>>;
+                policy: z.ZodOptional<z.ZodString>;
+            }, z.core.$strip>>>;
+        }, z.core.$strip>]>>;
+        insert: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+            default: z.ZodString;
+            variants: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                when: z.ZodString;
+                allow: z.ZodOptional<z.ZodLiteral<true>>;
+                policy: z.ZodOptional<z.ZodString>;
+            }, z.core.$strip>>>;
+        }, z.core.$strip>]>>;
+        update: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+            default: z.ZodString;
+            variants: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                when: z.ZodString;
+                allow: z.ZodOptional<z.ZodLiteral<true>>;
+                policy: z.ZodOptional<z.ZodString>;
+            }, z.core.$strip>>>;
+        }, z.core.$strip>]>>;
+    }, z.core.$strip>>;
+    actions: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        requires: z.ZodOptional<z.ZodString>;
+        params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodObject<{
+            type: z.ZodEnum<{
+                bigint: "bigint";
+                boolean: "boolean";
+                uuid: "uuid";
+                text: "text";
+                integer: "integer";
+                numeric: "numeric";
+                double: "double";
+                timestamptz: "timestamptz";
+                date: "date";
+                jsonb: "jsonb";
+            }>;
+            nullable: z.ZodDefault<z.ZodBoolean>;
+        }, z.core.$strip>>>;
+        executes: z.ZodString;
+        returns: z.ZodDefault<z.ZodEnum<{
+            rows: "rows";
+            rowsAffected: "rowsAffected";
+            scalar: "scalar";
+        }>>;
+        audit: z.ZodOptional<z.ZodObject<{
+            action: z.ZodString;
+            resource: z.ZodString;
+        }, z.core.$strip>>;
+    }, z.core.$strip>>>;
+    cowMutations: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        kind: z.ZodEnum<{
+            override: "override";
+            revert: "revert";
+        }>;
+        name: z.ZodString;
+        synced: z.ZodString;
+        pk: z.ZodString;
+        copy: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        set: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>>>;
+}, z.core.$strip>;
+type CanonicalTable = z.infer<typeof canonicalTableSchema>;
+declare const canonicalViewSchema: z.ZodObject<{
+    view: z.ZodString;
+    description: z.ZodOptional<z.ZodString>;
+    columns: z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        columnName: z.ZodString;
+        type: z.ZodUnion<readonly [z.ZodEnum<{
+            bigint: "bigint";
+            boolean: "boolean";
+            uuid: "uuid";
+            text: "text";
+            integer: "integer";
+            numeric: "numeric";
+            double: "double";
+            timestamptz: "timestamptz";
+            date: "date";
+            jsonb: "jsonb";
+        }>, z.ZodObject<{
+            enum: z.ZodString;
+        }, z.core.$strip>]>;
+        nullable: z.ZodDefault<z.ZodBoolean>;
+        unique: z.ZodDefault<z.ZodBoolean>;
+        default: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>;
+        defaultFn: z.ZodOptional<z.ZodEnum<{
+            "gen_random_uuid()": "gen_random_uuid()";
+            "now()": "now()";
+        }>>;
+        description: z.ZodOptional<z.ZodString>;
+        renamedFrom: z.ZodOptional<z.ZodString>;
+        cast: z.ZodOptional<z.ZodString>;
+        deprecated: z.ZodDefault<z.ZodBoolean>;
+    }, z.core.$strip>>;
+    primaryKey: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    links: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        kind: z.ZodEnum<{
+            toOne: "toOne";
+            toMany: "toMany";
+            toPlatformUser: "toPlatformUser";
+        }>;
+        target: z.ZodOptional<z.ZodString>;
+        on: z.ZodString;
+        references: z.ZodOptional<z.ZodString>;
+        enforce: z.ZodDefault<z.ZodBoolean>;
+        description: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>>;
+    policies: z.ZodObject<{
+        read: z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+            default: z.ZodString;
+            variants: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                when: z.ZodString;
+                allow: z.ZodOptional<z.ZodLiteral<true>>;
+                policy: z.ZodOptional<z.ZodString>;
+            }, z.core.$strip>>>;
+        }, z.core.$strip>]>;
+    }, z.core.$strict>;
+    query: z.ZodString;
+    dependencies: z.ZodArray<z.ZodString>;
+}, z.core.$strip>;
+type CanonicalView = z.infer<typeof canonicalViewSchema>;
+declare const canonicalDefinitionSchema: z.ZodObject<{
+    definition_format: z.ZodLiteral<2>;
+    namespace: z.ZodString;
+    description: z.ZodOptional<z.ZodString>;
+    enums: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        values: z.ZodArray<z.ZodString>;
+    }, z.core.$strip>>>;
+    tables: z.ZodArray<z.ZodObject<{
+        table: z.ZodString;
+        description: z.ZodOptional<z.ZodString>;
+        renamedFrom: z.ZodOptional<z.ZodString>;
+        source: z.ZodOptional<z.ZodString>;
+        columns: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            columnName: z.ZodString;
+            type: z.ZodUnion<readonly [z.ZodEnum<{
+                bigint: "bigint";
+                boolean: "boolean";
+                uuid: "uuid";
+                text: "text";
+                integer: "integer";
+                numeric: "numeric";
+                double: "double";
+                timestamptz: "timestamptz";
+                date: "date";
+                jsonb: "jsonb";
+            }>, z.ZodObject<{
+                enum: z.ZodString;
+            }, z.core.$strip>]>;
+            nullable: z.ZodDefault<z.ZodBoolean>;
+            unique: z.ZodDefault<z.ZodBoolean>;
+            default: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>;
+            defaultFn: z.ZodOptional<z.ZodEnum<{
+                "gen_random_uuid()": "gen_random_uuid()";
+                "now()": "now()";
+            }>>;
+            description: z.ZodOptional<z.ZodString>;
+            renamedFrom: z.ZodOptional<z.ZodString>;
+            cast: z.ZodOptional<z.ZodString>;
+            deprecated: z.ZodDefault<z.ZodBoolean>;
+        }, z.core.$strip>>>;
+        primaryKey: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        links: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            kind: z.ZodEnum<{
+                toOne: "toOne";
+                toMany: "toMany";
+                toPlatformUser: "toPlatformUser";
+            }>;
+            target: z.ZodOptional<z.ZodString>;
+            on: z.ZodString;
+            references: z.ZodOptional<z.ZodString>;
+            enforce: z.ZodDefault<z.ZodBoolean>;
+            description: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>>;
+        indexes: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            columns: z.ZodArray<z.ZodString>;
+            unique: z.ZodDefault<z.ZodBoolean>;
+            name: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>>;
+        policies: z.ZodDefault<z.ZodObject<{
+            read: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+                default: z.ZodString;
+                variants: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                    when: z.ZodString;
+                    allow: z.ZodOptional<z.ZodLiteral<true>>;
+                    policy: z.ZodOptional<z.ZodString>;
+                }, z.core.$strip>>>;
+            }, z.core.$strip>]>>;
+            write: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+                default: z.ZodString;
+                variants: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                    when: z.ZodString;
+                    allow: z.ZodOptional<z.ZodLiteral<true>>;
+                    policy: z.ZodOptional<z.ZodString>;
+                }, z.core.$strip>>>;
+            }, z.core.$strip>]>>;
+            insert: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+                default: z.ZodString;
+                variants: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                    when: z.ZodString;
+                    allow: z.ZodOptional<z.ZodLiteral<true>>;
+                    policy: z.ZodOptional<z.ZodString>;
+                }, z.core.$strip>>>;
+            }, z.core.$strip>]>>;
+            update: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+                default: z.ZodString;
+                variants: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                    when: z.ZodString;
+                    allow: z.ZodOptional<z.ZodLiteral<true>>;
+                    policy: z.ZodOptional<z.ZodString>;
+                }, z.core.$strip>>>;
+            }, z.core.$strip>]>>;
+        }, z.core.$strip>>;
+        actions: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            requires: z.ZodOptional<z.ZodString>;
+            params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodObject<{
+                type: z.ZodEnum<{
+                    bigint: "bigint";
+                    boolean: "boolean";
+                    uuid: "uuid";
+                    text: "text";
+                    integer: "integer";
+                    numeric: "numeric";
+                    double: "double";
+                    timestamptz: "timestamptz";
+                    date: "date";
+                    jsonb: "jsonb";
+                }>;
+                nullable: z.ZodDefault<z.ZodBoolean>;
+            }, z.core.$strip>>>;
+            executes: z.ZodString;
+            returns: z.ZodDefault<z.ZodEnum<{
+                rows: "rows";
+                rowsAffected: "rowsAffected";
+                scalar: "scalar";
+            }>>;
+            audit: z.ZodOptional<z.ZodObject<{
+                action: z.ZodString;
+                resource: z.ZodString;
+            }, z.core.$strip>>;
+        }, z.core.$strip>>>;
+        cowMutations: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            kind: z.ZodEnum<{
+                override: "override";
+                revert: "revert";
+            }>;
+            name: z.ZodString;
+            synced: z.ZodString;
+            pk: z.ZodString;
+            copy: z.ZodDefault<z.ZodArray<z.ZodString>>;
+            set: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        }, z.core.$strip>>>;
+    }, z.core.$strip>>;
+    views: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        view: z.ZodString;
+        description: z.ZodOptional<z.ZodString>;
+        columns: z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            columnName: z.ZodString;
+            type: z.ZodUnion<readonly [z.ZodEnum<{
+                bigint: "bigint";
+                boolean: "boolean";
+                uuid: "uuid";
+                text: "text";
+                integer: "integer";
+                numeric: "numeric";
+                double: "double";
+                timestamptz: "timestamptz";
+                date: "date";
+                jsonb: "jsonb";
+            }>, z.ZodObject<{
+                enum: z.ZodString;
+            }, z.core.$strip>]>;
+            nullable: z.ZodDefault<z.ZodBoolean>;
+            unique: z.ZodDefault<z.ZodBoolean>;
+            default: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>;
+            defaultFn: z.ZodOptional<z.ZodEnum<{
+                "gen_random_uuid()": "gen_random_uuid()";
+                "now()": "now()";
+            }>>;
+            description: z.ZodOptional<z.ZodString>;
+            renamedFrom: z.ZodOptional<z.ZodString>;
+            cast: z.ZodOptional<z.ZodString>;
+            deprecated: z.ZodDefault<z.ZodBoolean>;
+        }, z.core.$strip>>;
+        primaryKey: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        links: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            kind: z.ZodEnum<{
+                toOne: "toOne";
+                toMany: "toMany";
+                toPlatformUser: "toPlatformUser";
+            }>;
+            target: z.ZodOptional<z.ZodString>;
+            on: z.ZodString;
+            references: z.ZodOptional<z.ZodString>;
+            enforce: z.ZodDefault<z.ZodBoolean>;
+            description: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>>;
+        policies: z.ZodObject<{
+            read: z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+                default: z.ZodString;
+                variants: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                    when: z.ZodString;
+                    allow: z.ZodOptional<z.ZodLiteral<true>>;
+                    policy: z.ZodOptional<z.ZodString>;
+                }, z.core.$strip>>>;
+            }, z.core.$strip>]>;
+        }, z.core.$strict>;
+        query: z.ZodString;
+        dependencies: z.ZodArray<z.ZodString>;
+    }, z.core.$strip>>>;
+    capabilities: z.ZodDefault<z.ZodObject<{
+        roles: z.ZodOptional<z.ZodUnknown>;
+        uses: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+type CanonicalDefinition = z.infer<typeof canonicalDefinitionSchema>;
+/**
+ * Project namespace-local tables and views onto the shared read/query surface.
+ * A view deliberately becomes a CanonicalTable-shaped relation with no write
+ * policy, indexes, actions, defaults, or constraints. Keeping this adapter at
+ * the canonical boundary makes SDL and compiler behavior identical without
+ * pretending views are writable tables in the wire contract.
+ */
+declare function canonicalRelations(definition: CanonicalDefinition): CanonicalTable[];
+/**
+ * Deterministic serialization discipline: tables sorted by name, columns in
+ * declaration order (order is meaningful for DDL), links/indexes/actions
+ * sorted by name, object keys emitted in schema order. `serializeNamespace`
+ * (authoring layer) and the server-side re-validation both normalize through
+ * this function before hashing so CLI and server hash identical bytes.
+ */
+declare function normalizeCanonical(definition: CanonicalDefinition): CanonicalDefinition;
+
+export { CANONICAL_FORMAT, COLUMN_TYPES, type CanonicalColumn, type CanonicalCowMutation, type CanonicalDefinition, type CanonicalEnum, type CanonicalLink, type CanonicalTable, type CanonicalView, type ColumnType, IDENTIFIER_RE, type PolicyExpression, VIEW_QUERY_FUNCTION_ALLOWLIST, canonicalActionSchema, canonicalColumnSchema, canonicalCowMutationSchema, canonicalDefinitionSchema, canonicalEnumSchema, canonicalIndexSchema, canonicalLinkSchema, canonicalPoliciesSchema, canonicalRelations, canonicalTableSchema, canonicalViewSchema, isSingleViewQuerySql, normalizeCanonical, policyExpressionSchema, policyVariantSchema };