@sequenceholdings/orm 0.1.2 → 0.1.3

package/dist/canonical.d.cts

@@ -109,7 +109,39 @@ declare const canonicalPoliciesSchema: z.ZodObject<{
             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;
@@ -140,6 +172,27 @@ declare const canonicalActionSchema: z.ZodObject<{
         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>;
@@ -210,6 +263,22 @@ declare const canonicalTableSchema: z.ZodObject<{
                 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;
@@ -240,8 +309,79 @@ declare const canonicalTableSchema: z.ZodObject<{
             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;
@@ -320,6 +460,22 @@ declare const canonicalDefinitionSchema: z.ZodObject<{
                     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;
@@ -350,13 +506,91 @@ declare const canonicalDefinitionSchema: z.ZodObject<{
                 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
@@ -366,4 +600,4 @@ type CanonicalDefinition = z.infer<typeof canonicalDefinitionSchema>;
  */
 declare function normalizeCanonical(definition: CanonicalDefinition): CanonicalDefinition;
 
-export { CANONICAL_FORMAT, COLUMN_TYPES, type CanonicalColumn, type CanonicalDefinition, type CanonicalEnum, type CanonicalLink, type CanonicalTable, type ColumnType, IDENTIFIER_RE, type PolicyExpression, canonicalActionSchema, canonicalColumnSchema, canonicalDefinitionSchema, canonicalEnumSchema, canonicalIndexSchema, canonicalLinkSchema, canonicalPoliciesSchema, canonicalTableSchema, normalizeCanonical, policyExpressionSchema, policyVariantSchema };
+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 };

package/dist/canonical.d.ts

@@ -109,7 +109,39 @@ declare const canonicalPoliciesSchema: z.ZodObject<{
             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;
@@ -140,6 +172,27 @@ declare const canonicalActionSchema: z.ZodObject<{
         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>;
@@ -210,6 +263,22 @@ declare const canonicalTableSchema: z.ZodObject<{
                 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;
@@ -240,8 +309,79 @@ declare const canonicalTableSchema: z.ZodObject<{
             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;
@@ -320,6 +460,22 @@ declare const canonicalDefinitionSchema: z.ZodObject<{
                     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;
@@ -350,13 +506,91 @@ declare const canonicalDefinitionSchema: z.ZodObject<{
                 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
@@ -366,4 +600,4 @@ type CanonicalDefinition = z.infer<typeof canonicalDefinitionSchema>;
  */
 declare function normalizeCanonical(definition: CanonicalDefinition): CanonicalDefinition;
 
-export { CANONICAL_FORMAT, COLUMN_TYPES, type CanonicalColumn, type CanonicalDefinition, type CanonicalEnum, type CanonicalLink, type CanonicalTable, type ColumnType, IDENTIFIER_RE, type PolicyExpression, canonicalActionSchema, canonicalColumnSchema, canonicalDefinitionSchema, canonicalEnumSchema, canonicalIndexSchema, canonicalLinkSchema, canonicalPoliciesSchema, canonicalTableSchema, normalizeCanonical, policyExpressionSchema, policyVariantSchema };
+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 };