@adminiumjs/engine 0.1.0-rc.1

package/dist/schema-model.d.ts

@@ -0,0 +1,1853 @@
+import { z } from 'zod';
+/**
+ * The normalized schema model (the IR) — 05-introspection-engine.md §2.
+ *
+ * One model for everything: live introspection, every schema-import parser,
+ * the LLM round-trip, snapshots, and the generator all speak this shape.
+ * TypeScript types are `z.infer<>` of the Zod schemas below — never
+ * hand-duplicated. All objects are strict so unknown keys fail loudly, and
+ * every value is JSON-native (no Dates, no undefined-bearing unions) because
+ * the serialized model persists verbatim into
+ * `adminium_schema_snapshots.model`.
+ *
+ * Minimal valid IR (§2.3): `irVersion`, `dialect: 'generic'`, `name`, one
+ * table with one column — everything else has defaults so third-party
+ * emitters stay small.
+ */
+export declare const IR_VERSION: 1;
+export declare const DIALECTS: readonly ["postgres", "mysql", "sqlite", "generic"];
+/** 'generic' = ORM import that doesn't pin a dialect. */
+export declare const dialectSchema: z.ZodEnum<{
+    postgres: "postgres";
+    mysql: "mysql";
+    sqlite: "sqlite";
+    generic: "generic";
+}>;
+export type Dialect = z.infer<typeof dialectSchema>;
+export declare const IMPORT_FORMATS: readonly ["sql-ddl", "prisma", "drizzle", "typeorm", "sequelize", "rails", "django", "json-ir"];
+export declare const importFormatSchema: z.ZodEnum<{
+    "sql-ddl": "sql-ddl";
+    prisma: "prisma";
+    drizzle: "drizzle";
+    typeorm: "typeorm";
+    sequelize: "sequelize";
+    rails: "rails";
+    django: "django";
+    "json-ir": "json-ir";
+}>;
+export type ImportFormat = z.infer<typeof importFormatSchema>;
+/** §2.2 — every adapter/parser maps native types onto this closed set. */
+export declare const LOGICAL_TYPES: readonly ["text", "varchar", "integer", "bigint", "decimal", "float", "boolean", "date", "time", "timestamp", "timestamptz", "interval", "uuid", "json", "binary", "enum", "geometry", "inet", "unknown"];
+export declare const logicalTypeSchema: z.ZodEnum<{
+    bigint: "bigint";
+    boolean: "boolean";
+    text: "text";
+    varchar: "varchar";
+    integer: "integer";
+    decimal: "decimal";
+    float: "float";
+    date: "date";
+    time: "time";
+    timestamp: "timestamp";
+    timestamptz: "timestamptz";
+    interval: "interval";
+    uuid: "uuid";
+    json: "json";
+    binary: "binary";
+    enum: "enum";
+    geometry: "geometry";
+    inet: "inet";
+    unknown: "unknown";
+}>;
+export type LogicalType = z.infer<typeof logicalTypeSchema>;
+/** Where a model came from: a live connection or a schema import. */
+export declare const modelSourceSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    kind: z.ZodLiteral<"live">;
+    connectionId: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"import">;
+    format: z.ZodEnum<{
+        "sql-ddl": "sql-ddl";
+        prisma: "prisma";
+        drizzle: "drizzle";
+        typeorm: "typeorm";
+        sequelize: "sequelize";
+        rails: "rails";
+        django: "django";
+        "json-ir": "json-ir";
+    }>;
+    fileName: z.ZodOptional<z.ZodString>;
+}, z.core.$strict>], "kind">;
+export type ModelSource = z.infer<typeof modelSourceSchema>;
+/**
+ * Capability flags describing what the SOURCE could express (drives UI
+ * degradation) — 05 §2.1 `AdapterCapabilities`. Adapters also expose these
+ * statically per dialect; imports set them to what the format expresses.
+ */
+export declare const adapterCapabilitiesSchema: z.ZodObject<{
+    hasEnums: z.ZodDefault<z.ZodBoolean>;
+    hasFKs: z.ZodDefault<z.ZodBoolean>;
+    hasSchemas: z.ZodDefault<z.ZodBoolean>;
+    hasComments: z.ZodDefault<z.ZodBoolean>;
+    hasChecks: z.ZodDefault<z.ZodBoolean>;
+    hasRLS: z.ZodDefault<z.ZodBoolean>;
+    hasMaterializedViews: z.ZodDefault<z.ZodBoolean>;
+    hasRowEstimates: z.ZodDefault<z.ZodBoolean>;
+    supportsStatementTimeout: z.ZodDefault<z.ZodBoolean>;
+    supportsReturning: z.ZodDefault<z.ZodBoolean>;
+    maxIdentifierLength: z.ZodDefault<z.ZodNumber>;
+}, z.core.$strict>;
+export type AdapterCapabilities = z.infer<typeof adapterCapabilitiesSchema>;
+/** Workplan alias — several docs call these "capability flags". */
+export declare const capabilityFlagsSchema: z.ZodObject<{
+    hasEnums: z.ZodDefault<z.ZodBoolean>;
+    hasFKs: z.ZodDefault<z.ZodBoolean>;
+    hasSchemas: z.ZodDefault<z.ZodBoolean>;
+    hasComments: z.ZodDefault<z.ZodBoolean>;
+    hasChecks: z.ZodDefault<z.ZodBoolean>;
+    hasRLS: z.ZodDefault<z.ZodBoolean>;
+    hasMaterializedViews: z.ZodDefault<z.ZodBoolean>;
+    hasRowEstimates: z.ZodDefault<z.ZodBoolean>;
+    supportsStatementTimeout: z.ZodDefault<z.ZodBoolean>;
+    supportsReturning: z.ZodDefault<z.ZodBoolean>;
+    maxIdentifierLength: z.ZodDefault<z.ZodNumber>;
+}, z.core.$strict>;
+export type CapabilityFlags = AdapterCapabilities;
+/** §2.1 `EnumDef` — native = pg CREATE TYPE AS ENUM · column-type = MySQL enum(...) · check = CHECK (col IN (...)). */
+export declare const enumDefSchema: z.ZodObject<{
+    id: z.ZodString;
+    name: z.ZodString;
+    values: z.ZodArray<z.ZodString>;
+    source: z.ZodDefault<z.ZodEnum<{
+        check: "check";
+        import: "import";
+        native: "native";
+        "column-type": "column-type";
+    }>>;
+}, z.core.$strict>;
+export type EnumDef = z.infer<typeof enumDefSchema>;
+export declare const indexModelSchema: z.ZodObject<{
+    name: z.ZodString;
+    columns: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    expression: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+    unique: z.ZodDefault<z.ZodBoolean>;
+    primary: z.ZodDefault<z.ZodBoolean>;
+    method: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+    partial: z.ZodDefault<z.ZodBoolean>;
+}, z.core.$strict>;
+export type IndexModel = z.infer<typeof indexModelSchema>;
+export declare const columnDefaultSchema: z.ZodNullable<z.ZodUnion<readonly [z.ZodObject<{
+    kind: z.ZodEnum<{
+        literal: "literal";
+        expression: "expression";
+    }>;
+    text: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodEnum<{
+        uuid: "uuid";
+        autoincrement: "autoincrement";
+        now: "now";
+    }>;
+}, z.core.$strict>]>>;
+export type ColumnDefault = z.infer<typeof columnDefaultSchema>;
+/**
+ * §7 column semantic tags — one kebab-case id per §7.1 rule row, in
+ * precedence order. Later docs and the LLM prompt reference these exact ids;
+ * the classifier (classify/columns.ts, 05-T07) must emit only these.
+ */
+export declare const SEMANTIC_TAGS: readonly ["secret", "pk-id", "fk", "money", "percent", "score", "status-workflow", "category-enum", "created-at", "updated-at", "date-range", "event-timestamp", "duration", "geo-point", "geo-region", "person-name", "email", "phone", "image-url", "file-ref", "url", "boolean-flag", "color", "tags", "slug", "ip-address", "json-config", "external-id", "free-text", "plain"];
+export declare const semanticTagSchema: z.ZodEnum<{
+    secret: "secret";
+    "pk-id": "pk-id";
+    fk: "fk";
+    money: "money";
+    percent: "percent";
+    score: "score";
+    "status-workflow": "status-workflow";
+    "category-enum": "category-enum";
+    "created-at": "created-at";
+    "updated-at": "updated-at";
+    "date-range": "date-range";
+    "event-timestamp": "event-timestamp";
+    duration: "duration";
+    "geo-point": "geo-point";
+    "geo-region": "geo-region";
+    "person-name": "person-name";
+    email: "email";
+    phone: "phone";
+    "image-url": "image-url";
+    "file-ref": "file-ref";
+    url: "url";
+    "boolean-flag": "boolean-flag";
+    color: "color";
+    tags: "tags";
+    slug: "slug";
+    "ip-address": "ip-address";
+    "json-config": "json-config";
+    "external-id": "external-id";
+    "free-text": "free-text";
+    plain: "plain";
+}>;
+export type SemanticTag = z.infer<typeof semanticTagSchema>;
+/** §7.2 PII kinds — a flag layer independent of the primary semantic. */
+export declare const PII_KINDS: readonly ["email", "phone", "ip", "person-name", "address", "dob", "gov-id", "payment-id", "geo-precise"];
+export declare const piiKindSchema: z.ZodEnum<{
+    "person-name": "person-name";
+    email: "email";
+    phone: "phone";
+    ip: "ip";
+    address: "address";
+    dob: "dob";
+    "gov-id": "gov-id";
+    "payment-id": "payment-id";
+    "geo-precise": "geo-precise";
+}>;
+export type PiiKind = z.infer<typeof piiKindSchema>;
+/** §7 `ColumnSemantics` — classifier output persisted with the model. */
+export declare const columnSemanticsSchema: z.ZodObject<{
+    primary: z.ZodEnum<{
+        secret: "secret";
+        "pk-id": "pk-id";
+        fk: "fk";
+        money: "money";
+        percent: "percent";
+        score: "score";
+        "status-workflow": "status-workflow";
+        "category-enum": "category-enum";
+        "created-at": "created-at";
+        "updated-at": "updated-at";
+        "date-range": "date-range";
+        "event-timestamp": "event-timestamp";
+        duration: "duration";
+        "geo-point": "geo-point";
+        "geo-region": "geo-region";
+        "person-name": "person-name";
+        email: "email";
+        phone: "phone";
+        "image-url": "image-url";
+        "file-ref": "file-ref";
+        url: "url";
+        "boolean-flag": "boolean-flag";
+        color: "color";
+        tags: "tags";
+        slug: "slug";
+        "ip-address": "ip-address";
+        "json-config": "json-config";
+        "external-id": "external-id";
+        "free-text": "free-text";
+        plain: "plain";
+    }>;
+    flags: z.ZodObject<{
+        secret: z.ZodDefault<z.ZodBoolean>;
+        pii: z.ZodDefault<z.ZodNullable<z.ZodEnum<{
+            "person-name": "person-name";
+            email: "email";
+            phone: "phone";
+            ip: "ip";
+            address: "address";
+            dob: "dob";
+            "gov-id": "gov-id";
+            "payment-id": "payment-id";
+            "geo-precise": "geo-precise";
+        }>>>;
+        maskedByDefault: z.ZodDefault<z.ZodBoolean>;
+    }, z.core.$strict>;
+    format: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+    pair: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+        role: z.ZodEnum<{
+            start: "start";
+            end: "end";
+            lat: "lat";
+            lng: "lng";
+            "poly-type": "poly-type";
+            "poly-id": "poly-id";
+        }>;
+        partner: z.ZodString;
+    }, z.core.$strict>>>;
+    confidence: z.ZodNumber;
+    source: z.ZodDefault<z.ZodEnum<{
+        heuristic: "heuristic";
+        llm: "llm";
+        override: "override";
+    }>>;
+}, z.core.$strict>;
+export type ColumnSemantics = z.infer<typeof columnSemanticsSchema>;
+/** §8 `TableSemantics` — table-shape classifier output. */
+export declare const TABLE_ROLES: readonly ["entity", "join-table", "log", "people", "messages", "line-items", "system"];
+export declare const tableRoleSchema: z.ZodEnum<{
+    entity: "entity";
+    "join-table": "join-table";
+    log: "log";
+    people: "people";
+    messages: "messages";
+    "line-items": "line-items";
+    system: "system";
+}>;
+export type TableRole = z.infer<typeof tableRoleSchema>;
+export declare const tableSemanticsSchema: z.ZodObject<{
+    role: z.ZodEnum<{
+        entity: "entity";
+        "join-table": "join-table";
+        log: "log";
+        people: "people";
+        messages: "messages";
+        "line-items": "line-items";
+        system: "system";
+    }>;
+    hierarchy: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+        parentColumn: z.ZodString;
+    }, z.core.$strict>>>;
+    polymorphic: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        typeColumn: z.ZodString;
+        idColumn: z.ZodString;
+        targets: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    }, z.core.$strict>>>;
+}, z.core.$strict>;
+export type TableSemantics = z.infer<typeof tableSemanticsSchema>;
+export declare const columnModelSchema: z.ZodObject<{
+    name: z.ZodString;
+    ordinal: z.ZodDefault<z.ZodNumber>;
+    dbType: z.ZodDefault<z.ZodString>;
+    logicalType: z.ZodDefault<z.ZodEnum<{
+        bigint: "bigint";
+        boolean: "boolean";
+        text: "text";
+        varchar: "varchar";
+        integer: "integer";
+        decimal: "decimal";
+        float: "float";
+        date: "date";
+        time: "time";
+        timestamp: "timestamp";
+        timestamptz: "timestamptz";
+        interval: "interval";
+        uuid: "uuid";
+        json: "json";
+        binary: "binary";
+        enum: "enum";
+        geometry: "geometry";
+        inet: "inet";
+        unknown: "unknown";
+    }>>;
+    nullable: z.ZodDefault<z.ZodBoolean>;
+    default: z.ZodDefault<z.ZodNullable<z.ZodUnion<readonly [z.ZodObject<{
+        kind: z.ZodEnum<{
+            literal: "literal";
+            expression: "expression";
+        }>;
+        text: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodEnum<{
+            uuid: "uuid";
+            autoincrement: "autoincrement";
+            now: "now";
+        }>;
+    }, z.core.$strict>]>>>;
+    isPrimaryKey: z.ZodDefault<z.ZodBoolean>;
+    isUnique: z.ZodDefault<z.ZodBoolean>;
+    isGenerated: z.ZodDefault<z.ZodBoolean>;
+    enumRef: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+    maxLength: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
+    numericPrecision: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
+    numericScale: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
+    isArray: z.ZodDefault<z.ZodBoolean>;
+    comment: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+    references: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+        tableId: z.ZodString;
+        column: z.ZodString;
+    }, z.core.$strict>>>;
+    semantics: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+        primary: z.ZodEnum<{
+            secret: "secret";
+            "pk-id": "pk-id";
+            fk: "fk";
+            money: "money";
+            percent: "percent";
+            score: "score";
+            "status-workflow": "status-workflow";
+            "category-enum": "category-enum";
+            "created-at": "created-at";
+            "updated-at": "updated-at";
+            "date-range": "date-range";
+            "event-timestamp": "event-timestamp";
+            duration: "duration";
+            "geo-point": "geo-point";
+            "geo-region": "geo-region";
+            "person-name": "person-name";
+            email: "email";
+            phone: "phone";
+            "image-url": "image-url";
+            "file-ref": "file-ref";
+            url: "url";
+            "boolean-flag": "boolean-flag";
+            color: "color";
+            tags: "tags";
+            slug: "slug";
+            "ip-address": "ip-address";
+            "json-config": "json-config";
+            "external-id": "external-id";
+            "free-text": "free-text";
+            plain: "plain";
+        }>;
+        flags: z.ZodObject<{
+            secret: z.ZodDefault<z.ZodBoolean>;
+            pii: z.ZodDefault<z.ZodNullable<z.ZodEnum<{
+                "person-name": "person-name";
+                email: "email";
+                phone: "phone";
+                ip: "ip";
+                address: "address";
+                dob: "dob";
+                "gov-id": "gov-id";
+                "payment-id": "payment-id";
+                "geo-precise": "geo-precise";
+            }>>>;
+            maskedByDefault: z.ZodDefault<z.ZodBoolean>;
+        }, z.core.$strict>;
+        format: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+        pair: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+            role: z.ZodEnum<{
+                start: "start";
+                end: "end";
+                lat: "lat";
+                lng: "lng";
+                "poly-type": "poly-type";
+                "poly-id": "poly-id";
+            }>;
+            partner: z.ZodString;
+        }, z.core.$strict>>>;
+        confidence: z.ZodNumber;
+        source: z.ZodDefault<z.ZodEnum<{
+            heuristic: "heuristic";
+            llm: "llm";
+            override: "override";
+        }>>;
+    }, z.core.$strict>>>;
+}, z.core.$strict>;
+export type ColumnModel = z.infer<typeof columnModelSchema>;
+export declare const tableModelSchema: z.ZodPipe<z.ZodObject<{
+    id: z.ZodOptional<z.ZodString>;
+    schema: z.ZodDefault<z.ZodString>;
+    name: z.ZodString;
+    label: z.ZodOptional<z.ZodString>;
+    kind: z.ZodDefault<z.ZodEnum<{
+        table: "table";
+        view: "view";
+        "materialized-view": "materialized-view";
+    }>>;
+    comment: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+    columns: z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        ordinal: z.ZodDefault<z.ZodNumber>;
+        dbType: z.ZodDefault<z.ZodString>;
+        logicalType: z.ZodDefault<z.ZodEnum<{
+            bigint: "bigint";
+            boolean: "boolean";
+            text: "text";
+            varchar: "varchar";
+            integer: "integer";
+            decimal: "decimal";
+            float: "float";
+            date: "date";
+            time: "time";
+            timestamp: "timestamp";
+            timestamptz: "timestamptz";
+            interval: "interval";
+            uuid: "uuid";
+            json: "json";
+            binary: "binary";
+            enum: "enum";
+            geometry: "geometry";
+            inet: "inet";
+            unknown: "unknown";
+        }>>;
+        nullable: z.ZodDefault<z.ZodBoolean>;
+        default: z.ZodDefault<z.ZodNullable<z.ZodUnion<readonly [z.ZodObject<{
+            kind: z.ZodEnum<{
+                literal: "literal";
+                expression: "expression";
+            }>;
+            text: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodEnum<{
+                uuid: "uuid";
+                autoincrement: "autoincrement";
+                now: "now";
+            }>;
+        }, z.core.$strict>]>>>;
+        isPrimaryKey: z.ZodDefault<z.ZodBoolean>;
+        isUnique: z.ZodDefault<z.ZodBoolean>;
+        isGenerated: z.ZodDefault<z.ZodBoolean>;
+        enumRef: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+        maxLength: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
+        numericPrecision: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
+        numericScale: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
+        isArray: z.ZodDefault<z.ZodBoolean>;
+        comment: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+        references: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+            tableId: z.ZodString;
+            column: z.ZodString;
+        }, z.core.$strict>>>;
+        semantics: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+            primary: z.ZodEnum<{
+                secret: "secret";
+                "pk-id": "pk-id";
+                fk: "fk";
+                money: "money";
+                percent: "percent";
+                score: "score";
+                "status-workflow": "status-workflow";
+                "category-enum": "category-enum";
+                "created-at": "created-at";
+                "updated-at": "updated-at";
+                "date-range": "date-range";
+                "event-timestamp": "event-timestamp";
+                duration: "duration";
+                "geo-point": "geo-point";
+                "geo-region": "geo-region";
+                "person-name": "person-name";
+                email: "email";
+                phone: "phone";
+                "image-url": "image-url";
+                "file-ref": "file-ref";
+                url: "url";
+                "boolean-flag": "boolean-flag";
+                color: "color";
+                tags: "tags";
+                slug: "slug";
+                "ip-address": "ip-address";
+                "json-config": "json-config";
+                "external-id": "external-id";
+                "free-text": "free-text";
+                plain: "plain";
+            }>;
+            flags: z.ZodObject<{
+                secret: z.ZodDefault<z.ZodBoolean>;
+                pii: z.ZodDefault<z.ZodNullable<z.ZodEnum<{
+                    "person-name": "person-name";
+                    email: "email";
+                    phone: "phone";
+                    ip: "ip";
+                    address: "address";
+                    dob: "dob";
+                    "gov-id": "gov-id";
+                    "payment-id": "payment-id";
+                    "geo-precise": "geo-precise";
+                }>>>;
+                maskedByDefault: z.ZodDefault<z.ZodBoolean>;
+            }, z.core.$strict>;
+            format: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+            pair: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+                role: z.ZodEnum<{
+                    start: "start";
+                    end: "end";
+                    lat: "lat";
+                    lng: "lng";
+                    "poly-type": "poly-type";
+                    "poly-id": "poly-id";
+                }>;
+                partner: z.ZodString;
+            }, z.core.$strict>>>;
+            confidence: z.ZodNumber;
+            source: z.ZodDefault<z.ZodEnum<{
+                heuristic: "heuristic";
+                llm: "llm";
+                override: "override";
+            }>>;
+        }, z.core.$strict>>>;
+    }, z.core.$strict>>;
+    primaryKey: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    uniques: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        name: z.ZodNullable<z.ZodString>;
+        columns: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>>>;
+    checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        name: z.ZodNullable<z.ZodString>;
+        expression: z.ZodString;
+    }, z.core.$strict>>>;
+    indexes: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        columns: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        expression: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+        unique: z.ZodDefault<z.ZodBoolean>;
+        primary: z.ZodDefault<z.ZodBoolean>;
+        method: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+        partial: z.ZodDefault<z.ZodBoolean>;
+    }, z.core.$strict>>>;
+    rowCountEstimate: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
+    rowCountExact: z.ZodDefault<z.ZodBoolean>;
+    sizeBytes: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
+    activity: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+        inserts: z.ZodNumber;
+        updates: z.ZodNumber;
+        deletes: z.ZodNumber;
+    }, z.core.$strict>>>;
+    rls: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+        enabled: z.ZodBoolean;
+        forced: z.ZodBoolean;
+        policyCount: z.ZodNumber;
+    }, z.core.$strict>>>;
+    system: z.ZodDefault<z.ZodBoolean>;
+    semantics: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+        role: z.ZodEnum<{
+            entity: "entity";
+            "join-table": "join-table";
+            log: "log";
+            people: "people";
+            messages: "messages";
+            "line-items": "line-items";
+            system: "system";
+        }>;
+        hierarchy: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+            parentColumn: z.ZodString;
+        }, z.core.$strict>>>;
+        polymorphic: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            typeColumn: z.ZodString;
+            idColumn: z.ZodString;
+            targets: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        }, z.core.$strict>>>;
+    }, z.core.$strict>>>;
+}, z.core.$strict>, z.ZodTransform<{
+    id: string;
+    schema: string;
+    name: string;
+    kind: "table" | "view" | "materialized-view";
+    comment: string | null;
+    columns: {
+        name: string;
+        ordinal: number;
+        dbType: string;
+        logicalType: "bigint" | "boolean" | "text" | "varchar" | "integer" | "decimal" | "float" | "date" | "time" | "timestamp" | "timestamptz" | "interval" | "uuid" | "json" | "binary" | "enum" | "geometry" | "inet" | "unknown";
+        nullable: boolean;
+        default: {
+            kind: "literal" | "expression";
+            text: string;
+        } | {
+            kind: "uuid" | "autoincrement" | "now";
+        } | null;
+        isPrimaryKey: boolean;
+        isUnique: boolean;
+        isGenerated: boolean;
+        enumRef: string | null;
+        maxLength: number | null;
+        numericPrecision: number | null;
+        numericScale: number | null;
+        isArray: boolean;
+        comment: string | null;
+        references: {
+            tableId: string;
+            column: string;
+        } | null;
+        semantics: {
+            primary: "secret" | "pk-id" | "fk" | "money" | "percent" | "score" | "status-workflow" | "category-enum" | "created-at" | "updated-at" | "date-range" | "event-timestamp" | "duration" | "geo-point" | "geo-region" | "person-name" | "email" | "phone" | "image-url" | "file-ref" | "url" | "boolean-flag" | "color" | "tags" | "slug" | "ip-address" | "json-config" | "external-id" | "free-text" | "plain";
+            flags: {
+                secret: boolean;
+                pii: "person-name" | "email" | "phone" | "ip" | "address" | "dob" | "gov-id" | "payment-id" | "geo-precise" | null;
+                maskedByDefault: boolean;
+            };
+            format: string | null;
+            pair: {
+                role: "start" | "end" | "lat" | "lng" | "poly-type" | "poly-id";
+                partner: string;
+            } | null;
+            confidence: number;
+            source: "heuristic" | "llm" | "override";
+        } | null;
+    }[];
+    primaryKey: string[];
+    uniques: {
+        name: string | null;
+        columns: string[];
+    }[];
+    checks: {
+        name: string | null;
+        expression: string;
+    }[];
+    indexes: {
+        name: string;
+        columns: string[];
+        expression: string | null;
+        unique: boolean;
+        primary: boolean;
+        method: string | null;
+        partial: boolean;
+    }[];
+    rowCountEstimate: number | null;
+    rowCountExact: boolean;
+    sizeBytes: number | null;
+    activity: {
+        inserts: number;
+        updates: number;
+        deletes: number;
+    } | null;
+    rls: {
+        enabled: boolean;
+        forced: boolean;
+        policyCount: number;
+    } | null;
+    system: boolean;
+    semantics: {
+        role: "entity" | "join-table" | "log" | "people" | "messages" | "line-items" | "system";
+        hierarchy: {
+            parentColumn: string;
+        } | null;
+        polymorphic: {
+            typeColumn: string;
+            idColumn: string;
+            targets: string[];
+        }[];
+    } | null;
+    label?: string | undefined;
+}, {
+    schema: string;
+    name: string;
+    kind: "table" | "view" | "materialized-view";
+    comment: string | null;
+    columns: {
+        name: string;
+        ordinal: number;
+        dbType: string;
+        logicalType: "bigint" | "boolean" | "text" | "varchar" | "integer" | "decimal" | "float" | "date" | "time" | "timestamp" | "timestamptz" | "interval" | "uuid" | "json" | "binary" | "enum" | "geometry" | "inet" | "unknown";
+        nullable: boolean;
+        default: {
+            kind: "literal" | "expression";
+            text: string;
+        } | {
+            kind: "uuid" | "autoincrement" | "now";
+        } | null;
+        isPrimaryKey: boolean;
+        isUnique: boolean;
+        isGenerated: boolean;
+        enumRef: string | null;
+        maxLength: number | null;
+        numericPrecision: number | null;
+        numericScale: number | null;
+        isArray: boolean;
+        comment: string | null;
+        references: {
+            tableId: string;
+            column: string;
+        } | null;
+        semantics: {
+            primary: "secret" | "pk-id" | "fk" | "money" | "percent" | "score" | "status-workflow" | "category-enum" | "created-at" | "updated-at" | "date-range" | "event-timestamp" | "duration" | "geo-point" | "geo-region" | "person-name" | "email" | "phone" | "image-url" | "file-ref" | "url" | "boolean-flag" | "color" | "tags" | "slug" | "ip-address" | "json-config" | "external-id" | "free-text" | "plain";
+            flags: {
+                secret: boolean;
+                pii: "person-name" | "email" | "phone" | "ip" | "address" | "dob" | "gov-id" | "payment-id" | "geo-precise" | null;
+                maskedByDefault: boolean;
+            };
+            format: string | null;
+            pair: {
+                role: "start" | "end" | "lat" | "lng" | "poly-type" | "poly-id";
+                partner: string;
+            } | null;
+            confidence: number;
+            source: "heuristic" | "llm" | "override";
+        } | null;
+    }[];
+    primaryKey: string[];
+    uniques: {
+        name: string | null;
+        columns: string[];
+    }[];
+    checks: {
+        name: string | null;
+        expression: string;
+    }[];
+    indexes: {
+        name: string;
+        columns: string[];
+        expression: string | null;
+        unique: boolean;
+        primary: boolean;
+        method: string | null;
+        partial: boolean;
+    }[];
+    rowCountEstimate: number | null;
+    rowCountExact: boolean;
+    sizeBytes: number | null;
+    activity: {
+        inserts: number;
+        updates: number;
+        deletes: number;
+    } | null;
+    rls: {
+        enabled: boolean;
+        forced: boolean;
+        policyCount: number;
+    } | null;
+    system: boolean;
+    semantics: {
+        role: "entity" | "join-table" | "log" | "people" | "messages" | "line-items" | "system";
+        hierarchy: {
+            parentColumn: string;
+        } | null;
+        polymorphic: {
+            typeColumn: string;
+            idColumn: string;
+            targets: string[];
+        }[];
+    } | null;
+    id?: string | undefined;
+    label?: string | undefined;
+}>>;
+export type TableModel = z.output<typeof tableModelSchema>;
+export declare const FK_ACTIONS: readonly ["cascade", "restrict", "set-null", "set-default", "no-action"];
+export declare const fkActionSchema: z.ZodEnum<{
+    cascade: "cascade";
+    restrict: "restrict";
+    "set-null": "set-null";
+    "set-default": "set-default";
+    "no-action": "no-action";
+}>;
+export type FkAction = z.infer<typeof fkActionSchema>;
+export declare const RELATION_KINDS: readonly ["declared-fk", "inferred-name", "inferred-join-table", "override", "manifest"];
+export declare const relationKindSchema: z.ZodEnum<{
+    override: "override";
+    "declared-fk": "declared-fk";
+    "inferred-name": "inferred-name";
+    "inferred-join-table": "inferred-join-table";
+    manifest: "manifest";
+}>;
+export type RelationKind = z.infer<typeof relationKindSchema>;
+export declare const CARDINALITIES: readonly ["one-to-one", "one-to-many", "many-to-many"];
+export declare const cardinalitySchema: z.ZodEnum<{
+    "one-to-one": "one-to-one";
+    "one-to-many": "one-to-many";
+    "many-to-many": "many-to-many";
+}>;
+export type Cardinality = z.infer<typeof cardinalitySchema>;
+declare const relationEndpointSchema: z.ZodObject<{
+    tableId: z.ZodString;
+    columns: z.ZodArray<z.ZodString>;
+}, z.core.$strict>;
+export type RelationEndpoint = z.infer<typeof relationEndpointSchema>;
+/** §2.1 `Relation` — declared + inferred + overrides, deduped. */
+export declare const relationSchema: z.ZodObject<{
+    id: z.ZodString;
+    kind: z.ZodEnum<{
+        override: "override";
+        "declared-fk": "declared-fk";
+        "inferred-name": "inferred-name";
+        "inferred-join-table": "inferred-join-table";
+        manifest: "manifest";
+    }>;
+    cardinality: z.ZodEnum<{
+        "one-to-one": "one-to-one";
+        "one-to-many": "one-to-many";
+        "many-to-many": "many-to-many";
+    }>;
+    from: z.ZodObject<{
+        tableId: z.ZodString;
+        columns: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>;
+    to: z.ZodObject<{
+        tableId: z.ZodString;
+        columns: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>;
+    through: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+        tableId: z.ZodString;
+        fromColumns: z.ZodArray<z.ZodString>;
+        toColumns: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>>>;
+    onDelete: z.ZodDefault<z.ZodNullable<z.ZodEnum<{
+        cascade: "cascade";
+        restrict: "restrict";
+        "set-null": "set-null";
+        "set-default": "set-default";
+        "no-action": "no-action";
+    }>>>;
+    onUpdate: z.ZodDefault<z.ZodNullable<z.ZodEnum<{
+        cascade: "cascade";
+        restrict: "restrict";
+        "set-null": "set-null";
+        "set-default": "set-default";
+        "no-action": "no-action";
+    }>>>;
+    selfReferential: z.ZodDefault<z.ZodBoolean>;
+    confidence: z.ZodDefault<z.ZodNumber>;
+}, z.core.$strict>;
+export type Relation = z.infer<typeof relationSchema>;
+/** Non-fatal issues: skipped statements, capped enums, permission gaps. */
+export declare const modelWarningSchema: z.ZodObject<{
+    code: z.ZodString;
+    message: z.ZodString;
+    tableId: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+}, z.core.$strict>;
+export type ModelWarning = z.infer<typeof modelWarningSchema>;
+export declare const modelStatsSchema: z.ZodObject<{
+    tableCount: z.ZodDefault<z.ZodNumber>;
+    columnCount: z.ZodDefault<z.ZodNumber>;
+    relationCount: z.ZodDefault<z.ZodNumber>;
+    durationMs: z.ZodDefault<z.ZodNumber>;
+}, z.core.$strict>;
+export type ModelStats = z.infer<typeof modelStatsSchema>;
+/**
+ * Cross-reference integrity: relations, FK mirrors, enum refs, and primary
+ * keys must point at tables/columns/enums that exist in the model. Runs on
+ * every parse so a snapshot can never persist dangling references.
+ */
+export declare const databaseModelSchema: z.ZodObject<{
+    irVersion: z.ZodDefault<z.ZodLiteral<1>>;
+    dialect: z.ZodEnum<{
+        postgres: "postgres";
+        mysql: "mysql";
+        sqlite: "sqlite";
+        generic: "generic";
+    }>;
+    source: z.ZodDefault<z.ZodDiscriminatedUnion<[z.ZodObject<{
+        kind: z.ZodLiteral<"live">;
+        connectionId: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"import">;
+        format: z.ZodEnum<{
+            "sql-ddl": "sql-ddl";
+            prisma: "prisma";
+            drizzle: "drizzle";
+            typeorm: "typeorm";
+            sequelize: "sequelize";
+            rails: "rails";
+            django: "django";
+            "json-ir": "json-ir";
+        }>;
+        fileName: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>], "kind">>;
+    name: z.ZodString;
+    defaultSchema: z.ZodDefault<z.ZodString>;
+    schemas: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    tables: z.ZodArray<z.ZodPipe<z.ZodObject<{
+        id: z.ZodOptional<z.ZodString>;
+        schema: z.ZodDefault<z.ZodString>;
+        name: z.ZodString;
+        label: z.ZodOptional<z.ZodString>;
+        kind: z.ZodDefault<z.ZodEnum<{
+            table: "table";
+            view: "view";
+            "materialized-view": "materialized-view";
+        }>>;
+        comment: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+        columns: z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            ordinal: z.ZodDefault<z.ZodNumber>;
+            dbType: z.ZodDefault<z.ZodString>;
+            logicalType: z.ZodDefault<z.ZodEnum<{
+                bigint: "bigint";
+                boolean: "boolean";
+                text: "text";
+                varchar: "varchar";
+                integer: "integer";
+                decimal: "decimal";
+                float: "float";
+                date: "date";
+                time: "time";
+                timestamp: "timestamp";
+                timestamptz: "timestamptz";
+                interval: "interval";
+                uuid: "uuid";
+                json: "json";
+                binary: "binary";
+                enum: "enum";
+                geometry: "geometry";
+                inet: "inet";
+                unknown: "unknown";
+            }>>;
+            nullable: z.ZodDefault<z.ZodBoolean>;
+            default: z.ZodDefault<z.ZodNullable<z.ZodUnion<readonly [z.ZodObject<{
+                kind: z.ZodEnum<{
+                    literal: "literal";
+                    expression: "expression";
+                }>;
+                text: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodEnum<{
+                    uuid: "uuid";
+                    autoincrement: "autoincrement";
+                    now: "now";
+                }>;
+            }, z.core.$strict>]>>>;
+            isPrimaryKey: z.ZodDefault<z.ZodBoolean>;
+            isUnique: z.ZodDefault<z.ZodBoolean>;
+            isGenerated: z.ZodDefault<z.ZodBoolean>;
+            enumRef: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+            maxLength: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
+            numericPrecision: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
+            numericScale: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
+            isArray: z.ZodDefault<z.ZodBoolean>;
+            comment: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+            references: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+                tableId: z.ZodString;
+                column: z.ZodString;
+            }, z.core.$strict>>>;
+            semantics: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+                primary: z.ZodEnum<{
+                    secret: "secret";
+                    "pk-id": "pk-id";
+                    fk: "fk";
+                    money: "money";
+                    percent: "percent";
+                    score: "score";
+                    "status-workflow": "status-workflow";
+                    "category-enum": "category-enum";
+                    "created-at": "created-at";
+                    "updated-at": "updated-at";
+                    "date-range": "date-range";
+                    "event-timestamp": "event-timestamp";
+                    duration: "duration";
+                    "geo-point": "geo-point";
+                    "geo-region": "geo-region";
+                    "person-name": "person-name";
+                    email: "email";
+                    phone: "phone";
+                    "image-url": "image-url";
+                    "file-ref": "file-ref";
+                    url: "url";
+                    "boolean-flag": "boolean-flag";
+                    color: "color";
+                    tags: "tags";
+                    slug: "slug";
+                    "ip-address": "ip-address";
+                    "json-config": "json-config";
+                    "external-id": "external-id";
+                    "free-text": "free-text";
+                    plain: "plain";
+                }>;
+                flags: z.ZodObject<{
+                    secret: z.ZodDefault<z.ZodBoolean>;
+                    pii: z.ZodDefault<z.ZodNullable<z.ZodEnum<{
+                        "person-name": "person-name";
+                        email: "email";
+                        phone: "phone";
+                        ip: "ip";
+                        address: "address";
+                        dob: "dob";
+                        "gov-id": "gov-id";
+                        "payment-id": "payment-id";
+                        "geo-precise": "geo-precise";
+                    }>>>;
+                    maskedByDefault: z.ZodDefault<z.ZodBoolean>;
+                }, z.core.$strict>;
+                format: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+                pair: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+                    role: z.ZodEnum<{
+                        start: "start";
+                        end: "end";
+                        lat: "lat";
+                        lng: "lng";
+                        "poly-type": "poly-type";
+                        "poly-id": "poly-id";
+                    }>;
+                    partner: z.ZodString;
+                }, z.core.$strict>>>;
+                confidence: z.ZodNumber;
+                source: z.ZodDefault<z.ZodEnum<{
+                    heuristic: "heuristic";
+                    llm: "llm";
+                    override: "override";
+                }>>;
+            }, z.core.$strict>>>;
+        }, z.core.$strict>>;
+        primaryKey: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        uniques: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            name: z.ZodNullable<z.ZodString>;
+            columns: z.ZodArray<z.ZodString>;
+        }, z.core.$strict>>>;
+        checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            name: z.ZodNullable<z.ZodString>;
+            expression: z.ZodString;
+        }, z.core.$strict>>>;
+        indexes: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            columns: z.ZodDefault<z.ZodArray<z.ZodString>>;
+            expression: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+            unique: z.ZodDefault<z.ZodBoolean>;
+            primary: z.ZodDefault<z.ZodBoolean>;
+            method: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+            partial: z.ZodDefault<z.ZodBoolean>;
+        }, z.core.$strict>>>;
+        rowCountEstimate: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
+        rowCountExact: z.ZodDefault<z.ZodBoolean>;
+        sizeBytes: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
+        activity: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+            inserts: z.ZodNumber;
+            updates: z.ZodNumber;
+            deletes: z.ZodNumber;
+        }, z.core.$strict>>>;
+        rls: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+            enabled: z.ZodBoolean;
+            forced: z.ZodBoolean;
+            policyCount: z.ZodNumber;
+        }, z.core.$strict>>>;
+        system: z.ZodDefault<z.ZodBoolean>;
+        semantics: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+            role: z.ZodEnum<{
+                entity: "entity";
+                "join-table": "join-table";
+                log: "log";
+                people: "people";
+                messages: "messages";
+                "line-items": "line-items";
+                system: "system";
+            }>;
+            hierarchy: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+                parentColumn: z.ZodString;
+            }, z.core.$strict>>>;
+            polymorphic: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                typeColumn: z.ZodString;
+                idColumn: z.ZodString;
+                targets: z.ZodDefault<z.ZodArray<z.ZodString>>;
+            }, z.core.$strict>>>;
+        }, z.core.$strict>>>;
+    }, z.core.$strict>, z.ZodTransform<{
+        id: string;
+        schema: string;
+        name: string;
+        kind: "table" | "view" | "materialized-view";
+        comment: string | null;
+        columns: {
+            name: string;
+            ordinal: number;
+            dbType: string;
+            logicalType: "bigint" | "boolean" | "text" | "varchar" | "integer" | "decimal" | "float" | "date" | "time" | "timestamp" | "timestamptz" | "interval" | "uuid" | "json" | "binary" | "enum" | "geometry" | "inet" | "unknown";
+            nullable: boolean;
+            default: {
+                kind: "literal" | "expression";
+                text: string;
+            } | {
+                kind: "uuid" | "autoincrement" | "now";
+            } | null;
+            isPrimaryKey: boolean;
+            isUnique: boolean;
+            isGenerated: boolean;
+            enumRef: string | null;
+            maxLength: number | null;
+            numericPrecision: number | null;
+            numericScale: number | null;
+            isArray: boolean;
+            comment: string | null;
+            references: {
+                tableId: string;
+                column: string;
+            } | null;
+            semantics: {
+                primary: "secret" | "pk-id" | "fk" | "money" | "percent" | "score" | "status-workflow" | "category-enum" | "created-at" | "updated-at" | "date-range" | "event-timestamp" | "duration" | "geo-point" | "geo-region" | "person-name" | "email" | "phone" | "image-url" | "file-ref" | "url" | "boolean-flag" | "color" | "tags" | "slug" | "ip-address" | "json-config" | "external-id" | "free-text" | "plain";
+                flags: {
+                    secret: boolean;
+                    pii: "person-name" | "email" | "phone" | "ip" | "address" | "dob" | "gov-id" | "payment-id" | "geo-precise" | null;
+                    maskedByDefault: boolean;
+                };
+                format: string | null;
+                pair: {
+                    role: "start" | "end" | "lat" | "lng" | "poly-type" | "poly-id";
+                    partner: string;
+                } | null;
+                confidence: number;
+                source: "heuristic" | "llm" | "override";
+            } | null;
+        }[];
+        primaryKey: string[];
+        uniques: {
+            name: string | null;
+            columns: string[];
+        }[];
+        checks: {
+            name: string | null;
+            expression: string;
+        }[];
+        indexes: {
+            name: string;
+            columns: string[];
+            expression: string | null;
+            unique: boolean;
+            primary: boolean;
+            method: string | null;
+            partial: boolean;
+        }[];
+        rowCountEstimate: number | null;
+        rowCountExact: boolean;
+        sizeBytes: number | null;
+        activity: {
+            inserts: number;
+            updates: number;
+            deletes: number;
+        } | null;
+        rls: {
+            enabled: boolean;
+            forced: boolean;
+            policyCount: number;
+        } | null;
+        system: boolean;
+        semantics: {
+            role: "entity" | "join-table" | "log" | "people" | "messages" | "line-items" | "system";
+            hierarchy: {
+                parentColumn: string;
+            } | null;
+            polymorphic: {
+                typeColumn: string;
+                idColumn: string;
+                targets: string[];
+            }[];
+        } | null;
+        label?: string | undefined;
+    }, {
+        schema: string;
+        name: string;
+        kind: "table" | "view" | "materialized-view";
+        comment: string | null;
+        columns: {
+            name: string;
+            ordinal: number;
+            dbType: string;
+            logicalType: "bigint" | "boolean" | "text" | "varchar" | "integer" | "decimal" | "float" | "date" | "time" | "timestamp" | "timestamptz" | "interval" | "uuid" | "json" | "binary" | "enum" | "geometry" | "inet" | "unknown";
+            nullable: boolean;
+            default: {
+                kind: "literal" | "expression";
+                text: string;
+            } | {
+                kind: "uuid" | "autoincrement" | "now";
+            } | null;
+            isPrimaryKey: boolean;
+            isUnique: boolean;
+            isGenerated: boolean;
+            enumRef: string | null;
+            maxLength: number | null;
+            numericPrecision: number | null;
+            numericScale: number | null;
+            isArray: boolean;
+            comment: string | null;
+            references: {
+                tableId: string;
+                column: string;
+            } | null;
+            semantics: {
+                primary: "secret" | "pk-id" | "fk" | "money" | "percent" | "score" | "status-workflow" | "category-enum" | "created-at" | "updated-at" | "date-range" | "event-timestamp" | "duration" | "geo-point" | "geo-region" | "person-name" | "email" | "phone" | "image-url" | "file-ref" | "url" | "boolean-flag" | "color" | "tags" | "slug" | "ip-address" | "json-config" | "external-id" | "free-text" | "plain";
+                flags: {
+                    secret: boolean;
+                    pii: "person-name" | "email" | "phone" | "ip" | "address" | "dob" | "gov-id" | "payment-id" | "geo-precise" | null;
+                    maskedByDefault: boolean;
+                };
+                format: string | null;
+                pair: {
+                    role: "start" | "end" | "lat" | "lng" | "poly-type" | "poly-id";
+                    partner: string;
+                } | null;
+                confidence: number;
+                source: "heuristic" | "llm" | "override";
+            } | null;
+        }[];
+        primaryKey: string[];
+        uniques: {
+            name: string | null;
+            columns: string[];
+        }[];
+        checks: {
+            name: string | null;
+            expression: string;
+        }[];
+        indexes: {
+            name: string;
+            columns: string[];
+            expression: string | null;
+            unique: boolean;
+            primary: boolean;
+            method: string | null;
+            partial: boolean;
+        }[];
+        rowCountEstimate: number | null;
+        rowCountExact: boolean;
+        sizeBytes: number | null;
+        activity: {
+            inserts: number;
+            updates: number;
+            deletes: number;
+        } | null;
+        rls: {
+            enabled: boolean;
+            forced: boolean;
+            policyCount: number;
+        } | null;
+        system: boolean;
+        semantics: {
+            role: "entity" | "join-table" | "log" | "people" | "messages" | "line-items" | "system";
+            hierarchy: {
+                parentColumn: string;
+            } | null;
+            polymorphic: {
+                typeColumn: string;
+                idColumn: string;
+                targets: string[];
+            }[];
+        } | null;
+        id?: string | undefined;
+        label?: string | undefined;
+    }>>>;
+    enums: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        name: z.ZodString;
+        values: z.ZodArray<z.ZodString>;
+        source: z.ZodDefault<z.ZodEnum<{
+            check: "check";
+            import: "import";
+            native: "native";
+            "column-type": "column-type";
+        }>>;
+    }, z.core.$strict>>>;
+    relations: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        kind: z.ZodEnum<{
+            override: "override";
+            "declared-fk": "declared-fk";
+            "inferred-name": "inferred-name";
+            "inferred-join-table": "inferred-join-table";
+            manifest: "manifest";
+        }>;
+        cardinality: z.ZodEnum<{
+            "one-to-one": "one-to-one";
+            "one-to-many": "one-to-many";
+            "many-to-many": "many-to-many";
+        }>;
+        from: z.ZodObject<{
+            tableId: z.ZodString;
+            columns: z.ZodArray<z.ZodString>;
+        }, z.core.$strict>;
+        to: z.ZodObject<{
+            tableId: z.ZodString;
+            columns: z.ZodArray<z.ZodString>;
+        }, z.core.$strict>;
+        through: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+            tableId: z.ZodString;
+            fromColumns: z.ZodArray<z.ZodString>;
+            toColumns: z.ZodArray<z.ZodString>;
+        }, z.core.$strict>>>;
+        onDelete: z.ZodDefault<z.ZodNullable<z.ZodEnum<{
+            cascade: "cascade";
+            restrict: "restrict";
+            "set-null": "set-null";
+            "set-default": "set-default";
+            "no-action": "no-action";
+        }>>>;
+        onUpdate: z.ZodDefault<z.ZodNullable<z.ZodEnum<{
+            cascade: "cascade";
+            restrict: "restrict";
+            "set-null": "set-null";
+            "set-default": "set-default";
+            "no-action": "no-action";
+        }>>>;
+        selfReferential: z.ZodDefault<z.ZodBoolean>;
+        confidence: z.ZodDefault<z.ZodNumber>;
+    }, z.core.$strict>>>;
+    capabilities: z.ZodPrefault<z.ZodObject<{
+        hasEnums: z.ZodDefault<z.ZodBoolean>;
+        hasFKs: z.ZodDefault<z.ZodBoolean>;
+        hasSchemas: z.ZodDefault<z.ZodBoolean>;
+        hasComments: z.ZodDefault<z.ZodBoolean>;
+        hasChecks: z.ZodDefault<z.ZodBoolean>;
+        hasRLS: z.ZodDefault<z.ZodBoolean>;
+        hasMaterializedViews: z.ZodDefault<z.ZodBoolean>;
+        hasRowEstimates: z.ZodDefault<z.ZodBoolean>;
+        supportsStatementTimeout: z.ZodDefault<z.ZodBoolean>;
+        supportsReturning: z.ZodDefault<z.ZodBoolean>;
+        maxIdentifierLength: z.ZodDefault<z.ZodNumber>;
+    }, z.core.$strict>>;
+    introspectedAt: z.ZodDefault<z.ZodISODateTime>;
+    stats: z.ZodPrefault<z.ZodObject<{
+        tableCount: z.ZodDefault<z.ZodNumber>;
+        columnCount: z.ZodDefault<z.ZodNumber>;
+        relationCount: z.ZodDefault<z.ZodNumber>;
+        durationMs: z.ZodDefault<z.ZodNumber>;
+    }, z.core.$strict>>;
+    warnings: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        code: z.ZodString;
+        message: z.ZodString;
+        tableId: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+    }, z.core.$strict>>>;
+}, z.core.$strict>;
+export type DatabaseModel = z.output<typeof databaseModelSchema>;
+/**
+ * Workplan aliases: the milestone plan and several sibling docs refer to the
+ * IR as `SchemaModel` (e.g. 01-architecture.md §2.3 "interface + SchemaModel
+ * types"). Same schema, same type.
+ */
+export declare const schemaModelSchema: z.ZodObject<{
+    irVersion: z.ZodDefault<z.ZodLiteral<1>>;
+    dialect: z.ZodEnum<{
+        postgres: "postgres";
+        mysql: "mysql";
+        sqlite: "sqlite";
+        generic: "generic";
+    }>;
+    source: z.ZodDefault<z.ZodDiscriminatedUnion<[z.ZodObject<{
+        kind: z.ZodLiteral<"live">;
+        connectionId: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"import">;
+        format: z.ZodEnum<{
+            "sql-ddl": "sql-ddl";
+            prisma: "prisma";
+            drizzle: "drizzle";
+            typeorm: "typeorm";
+            sequelize: "sequelize";
+            rails: "rails";
+            django: "django";
+            "json-ir": "json-ir";
+        }>;
+        fileName: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>], "kind">>;
+    name: z.ZodString;
+    defaultSchema: z.ZodDefault<z.ZodString>;
+    schemas: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    tables: z.ZodArray<z.ZodPipe<z.ZodObject<{
+        id: z.ZodOptional<z.ZodString>;
+        schema: z.ZodDefault<z.ZodString>;
+        name: z.ZodString;
+        label: z.ZodOptional<z.ZodString>;
+        kind: z.ZodDefault<z.ZodEnum<{
+            table: "table";
+            view: "view";
+            "materialized-view": "materialized-view";
+        }>>;
+        comment: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+        columns: z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            ordinal: z.ZodDefault<z.ZodNumber>;
+            dbType: z.ZodDefault<z.ZodString>;
+            logicalType: z.ZodDefault<z.ZodEnum<{
+                bigint: "bigint";
+                boolean: "boolean";
+                text: "text";
+                varchar: "varchar";
+                integer: "integer";
+                decimal: "decimal";
+                float: "float";
+                date: "date";
+                time: "time";
+                timestamp: "timestamp";
+                timestamptz: "timestamptz";
+                interval: "interval";
+                uuid: "uuid";
+                json: "json";
+                binary: "binary";
+                enum: "enum";
+                geometry: "geometry";
+                inet: "inet";
+                unknown: "unknown";
+            }>>;
+            nullable: z.ZodDefault<z.ZodBoolean>;
+            default: z.ZodDefault<z.ZodNullable<z.ZodUnion<readonly [z.ZodObject<{
+                kind: z.ZodEnum<{
+                    literal: "literal";
+                    expression: "expression";
+                }>;
+                text: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodEnum<{
+                    uuid: "uuid";
+                    autoincrement: "autoincrement";
+                    now: "now";
+                }>;
+            }, z.core.$strict>]>>>;
+            isPrimaryKey: z.ZodDefault<z.ZodBoolean>;
+            isUnique: z.ZodDefault<z.ZodBoolean>;
+            isGenerated: z.ZodDefault<z.ZodBoolean>;
+            enumRef: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+            maxLength: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
+            numericPrecision: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
+            numericScale: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
+            isArray: z.ZodDefault<z.ZodBoolean>;
+            comment: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+            references: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+                tableId: z.ZodString;
+                column: z.ZodString;
+            }, z.core.$strict>>>;
+            semantics: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+                primary: z.ZodEnum<{
+                    secret: "secret";
+                    "pk-id": "pk-id";
+                    fk: "fk";
+                    money: "money";
+                    percent: "percent";
+                    score: "score";
+                    "status-workflow": "status-workflow";
+                    "category-enum": "category-enum";
+                    "created-at": "created-at";
+                    "updated-at": "updated-at";
+                    "date-range": "date-range";
+                    "event-timestamp": "event-timestamp";
+                    duration: "duration";
+                    "geo-point": "geo-point";
+                    "geo-region": "geo-region";
+                    "person-name": "person-name";
+                    email: "email";
+                    phone: "phone";
+                    "image-url": "image-url";
+                    "file-ref": "file-ref";
+                    url: "url";
+                    "boolean-flag": "boolean-flag";
+                    color: "color";
+                    tags: "tags";
+                    slug: "slug";
+                    "ip-address": "ip-address";
+                    "json-config": "json-config";
+                    "external-id": "external-id";
+                    "free-text": "free-text";
+                    plain: "plain";
+                }>;
+                flags: z.ZodObject<{
+                    secret: z.ZodDefault<z.ZodBoolean>;
+                    pii: z.ZodDefault<z.ZodNullable<z.ZodEnum<{
+                        "person-name": "person-name";
+                        email: "email";
+                        phone: "phone";
+                        ip: "ip";
+                        address: "address";
+                        dob: "dob";
+                        "gov-id": "gov-id";
+                        "payment-id": "payment-id";
+                        "geo-precise": "geo-precise";
+                    }>>>;
+                    maskedByDefault: z.ZodDefault<z.ZodBoolean>;
+                }, z.core.$strict>;
+                format: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+                pair: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+                    role: z.ZodEnum<{
+                        start: "start";
+                        end: "end";
+                        lat: "lat";
+                        lng: "lng";
+                        "poly-type": "poly-type";
+                        "poly-id": "poly-id";
+                    }>;
+                    partner: z.ZodString;
+                }, z.core.$strict>>>;
+                confidence: z.ZodNumber;
+                source: z.ZodDefault<z.ZodEnum<{
+                    heuristic: "heuristic";
+                    llm: "llm";
+                    override: "override";
+                }>>;
+            }, z.core.$strict>>>;
+        }, z.core.$strict>>;
+        primaryKey: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        uniques: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            name: z.ZodNullable<z.ZodString>;
+            columns: z.ZodArray<z.ZodString>;
+        }, z.core.$strict>>>;
+        checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            name: z.ZodNullable<z.ZodString>;
+            expression: z.ZodString;
+        }, z.core.$strict>>>;
+        indexes: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            columns: z.ZodDefault<z.ZodArray<z.ZodString>>;
+            expression: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+            unique: z.ZodDefault<z.ZodBoolean>;
+            primary: z.ZodDefault<z.ZodBoolean>;
+            method: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+            partial: z.ZodDefault<z.ZodBoolean>;
+        }, z.core.$strict>>>;
+        rowCountEstimate: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
+        rowCountExact: z.ZodDefault<z.ZodBoolean>;
+        sizeBytes: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
+        activity: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+            inserts: z.ZodNumber;
+            updates: z.ZodNumber;
+            deletes: z.ZodNumber;
+        }, z.core.$strict>>>;
+        rls: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+            enabled: z.ZodBoolean;
+            forced: z.ZodBoolean;
+            policyCount: z.ZodNumber;
+        }, z.core.$strict>>>;
+        system: z.ZodDefault<z.ZodBoolean>;
+        semantics: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+            role: z.ZodEnum<{
+                entity: "entity";
+                "join-table": "join-table";
+                log: "log";
+                people: "people";
+                messages: "messages";
+                "line-items": "line-items";
+                system: "system";
+            }>;
+            hierarchy: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+                parentColumn: z.ZodString;
+            }, z.core.$strict>>>;
+            polymorphic: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                typeColumn: z.ZodString;
+                idColumn: z.ZodString;
+                targets: z.ZodDefault<z.ZodArray<z.ZodString>>;
+            }, z.core.$strict>>>;
+        }, z.core.$strict>>>;
+    }, z.core.$strict>, z.ZodTransform<{
+        id: string;
+        schema: string;
+        name: string;
+        kind: "table" | "view" | "materialized-view";
+        comment: string | null;
+        columns: {
+            name: string;
+            ordinal: number;
+            dbType: string;
+            logicalType: "bigint" | "boolean" | "text" | "varchar" | "integer" | "decimal" | "float" | "date" | "time" | "timestamp" | "timestamptz" | "interval" | "uuid" | "json" | "binary" | "enum" | "geometry" | "inet" | "unknown";
+            nullable: boolean;
+            default: {
+                kind: "literal" | "expression";
+                text: string;
+            } | {
+                kind: "uuid" | "autoincrement" | "now";
+            } | null;
+            isPrimaryKey: boolean;
+            isUnique: boolean;
+            isGenerated: boolean;
+            enumRef: string | null;
+            maxLength: number | null;
+            numericPrecision: number | null;
+            numericScale: number | null;
+            isArray: boolean;
+            comment: string | null;
+            references: {
+                tableId: string;
+                column: string;
+            } | null;
+            semantics: {
+                primary: "secret" | "pk-id" | "fk" | "money" | "percent" | "score" | "status-workflow" | "category-enum" | "created-at" | "updated-at" | "date-range" | "event-timestamp" | "duration" | "geo-point" | "geo-region" | "person-name" | "email" | "phone" | "image-url" | "file-ref" | "url" | "boolean-flag" | "color" | "tags" | "slug" | "ip-address" | "json-config" | "external-id" | "free-text" | "plain";
+                flags: {
+                    secret: boolean;
+                    pii: "person-name" | "email" | "phone" | "ip" | "address" | "dob" | "gov-id" | "payment-id" | "geo-precise" | null;
+                    maskedByDefault: boolean;
+                };
+                format: string | null;
+                pair: {
+                    role: "start" | "end" | "lat" | "lng" | "poly-type" | "poly-id";
+                    partner: string;
+                } | null;
+                confidence: number;
+                source: "heuristic" | "llm" | "override";
+            } | null;
+        }[];
+        primaryKey: string[];
+        uniques: {
+            name: string | null;
+            columns: string[];
+        }[];
+        checks: {
+            name: string | null;
+            expression: string;
+        }[];
+        indexes: {
+            name: string;
+            columns: string[];
+            expression: string | null;
+            unique: boolean;
+            primary: boolean;
+            method: string | null;
+            partial: boolean;
+        }[];
+        rowCountEstimate: number | null;
+        rowCountExact: boolean;
+        sizeBytes: number | null;
+        activity: {
+            inserts: number;
+            updates: number;
+            deletes: number;
+        } | null;
+        rls: {
+            enabled: boolean;
+            forced: boolean;
+            policyCount: number;
+        } | null;
+        system: boolean;
+        semantics: {
+            role: "entity" | "join-table" | "log" | "people" | "messages" | "line-items" | "system";
+            hierarchy: {
+                parentColumn: string;
+            } | null;
+            polymorphic: {
+                typeColumn: string;
+                idColumn: string;
+                targets: string[];
+            }[];
+        } | null;
+        label?: string | undefined;
+    }, {
+        schema: string;
+        name: string;
+        kind: "table" | "view" | "materialized-view";
+        comment: string | null;
+        columns: {
+            name: string;
+            ordinal: number;
+            dbType: string;
+            logicalType: "bigint" | "boolean" | "text" | "varchar" | "integer" | "decimal" | "float" | "date" | "time" | "timestamp" | "timestamptz" | "interval" | "uuid" | "json" | "binary" | "enum" | "geometry" | "inet" | "unknown";
+            nullable: boolean;
+            default: {
+                kind: "literal" | "expression";
+                text: string;
+            } | {
+                kind: "uuid" | "autoincrement" | "now";
+            } | null;
+            isPrimaryKey: boolean;
+            isUnique: boolean;
+            isGenerated: boolean;
+            enumRef: string | null;
+            maxLength: number | null;
+            numericPrecision: number | null;
+            numericScale: number | null;
+            isArray: boolean;
+            comment: string | null;
+            references: {
+                tableId: string;
+                column: string;
+            } | null;
+            semantics: {
+                primary: "secret" | "pk-id" | "fk" | "money" | "percent" | "score" | "status-workflow" | "category-enum" | "created-at" | "updated-at" | "date-range" | "event-timestamp" | "duration" | "geo-point" | "geo-region" | "person-name" | "email" | "phone" | "image-url" | "file-ref" | "url" | "boolean-flag" | "color" | "tags" | "slug" | "ip-address" | "json-config" | "external-id" | "free-text" | "plain";
+                flags: {
+                    secret: boolean;
+                    pii: "person-name" | "email" | "phone" | "ip" | "address" | "dob" | "gov-id" | "payment-id" | "geo-precise" | null;
+                    maskedByDefault: boolean;
+                };
+                format: string | null;
+                pair: {
+                    role: "start" | "end" | "lat" | "lng" | "poly-type" | "poly-id";
+                    partner: string;
+                } | null;
+                confidence: number;
+                source: "heuristic" | "llm" | "override";
+            } | null;
+        }[];
+        primaryKey: string[];
+        uniques: {
+            name: string | null;
+            columns: string[];
+        }[];
+        checks: {
+            name: string | null;
+            expression: string;
+        }[];
+        indexes: {
+            name: string;
+            columns: string[];
+            expression: string | null;
+            unique: boolean;
+            primary: boolean;
+            method: string | null;
+            partial: boolean;
+        }[];
+        rowCountEstimate: number | null;
+        rowCountExact: boolean;
+        sizeBytes: number | null;
+        activity: {
+            inserts: number;
+            updates: number;
+            deletes: number;
+        } | null;
+        rls: {
+            enabled: boolean;
+            forced: boolean;
+            policyCount: number;
+        } | null;
+        system: boolean;
+        semantics: {
+            role: "entity" | "join-table" | "log" | "people" | "messages" | "line-items" | "system";
+            hierarchy: {
+                parentColumn: string;
+            } | null;
+            polymorphic: {
+                typeColumn: string;
+                idColumn: string;
+                targets: string[];
+            }[];
+        } | null;
+        id?: string | undefined;
+        label?: string | undefined;
+    }>>>;
+    enums: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        name: z.ZodString;
+        values: z.ZodArray<z.ZodString>;
+        source: z.ZodDefault<z.ZodEnum<{
+            check: "check";
+            import: "import";
+            native: "native";
+            "column-type": "column-type";
+        }>>;
+    }, z.core.$strict>>>;
+    relations: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        kind: z.ZodEnum<{
+            override: "override";
+            "declared-fk": "declared-fk";
+            "inferred-name": "inferred-name";
+            "inferred-join-table": "inferred-join-table";
+            manifest: "manifest";
+        }>;
+        cardinality: z.ZodEnum<{
+            "one-to-one": "one-to-one";
+            "one-to-many": "one-to-many";
+            "many-to-many": "many-to-many";
+        }>;
+        from: z.ZodObject<{
+            tableId: z.ZodString;
+            columns: z.ZodArray<z.ZodString>;
+        }, z.core.$strict>;
+        to: z.ZodObject<{
+            tableId: z.ZodString;
+            columns: z.ZodArray<z.ZodString>;
+        }, z.core.$strict>;
+        through: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+            tableId: z.ZodString;
+            fromColumns: z.ZodArray<z.ZodString>;
+            toColumns: z.ZodArray<z.ZodString>;
+        }, z.core.$strict>>>;
+        onDelete: z.ZodDefault<z.ZodNullable<z.ZodEnum<{
+            cascade: "cascade";
+            restrict: "restrict";
+            "set-null": "set-null";
+            "set-default": "set-default";
+            "no-action": "no-action";
+        }>>>;
+        onUpdate: z.ZodDefault<z.ZodNullable<z.ZodEnum<{
+            cascade: "cascade";
+            restrict: "restrict";
+            "set-null": "set-null";
+            "set-default": "set-default";
+            "no-action": "no-action";
+        }>>>;
+        selfReferential: z.ZodDefault<z.ZodBoolean>;
+        confidence: z.ZodDefault<z.ZodNumber>;
+    }, z.core.$strict>>>;
+    capabilities: z.ZodPrefault<z.ZodObject<{
+        hasEnums: z.ZodDefault<z.ZodBoolean>;
+        hasFKs: z.ZodDefault<z.ZodBoolean>;
+        hasSchemas: z.ZodDefault<z.ZodBoolean>;
+        hasComments: z.ZodDefault<z.ZodBoolean>;
+        hasChecks: z.ZodDefault<z.ZodBoolean>;
+        hasRLS: z.ZodDefault<z.ZodBoolean>;
+        hasMaterializedViews: z.ZodDefault<z.ZodBoolean>;
+        hasRowEstimates: z.ZodDefault<z.ZodBoolean>;
+        supportsStatementTimeout: z.ZodDefault<z.ZodBoolean>;
+        supportsReturning: z.ZodDefault<z.ZodBoolean>;
+        maxIdentifierLength: z.ZodDefault<z.ZodNumber>;
+    }, z.core.$strict>>;
+    introspectedAt: z.ZodDefault<z.ZodISODateTime>;
+    stats: z.ZodPrefault<z.ZodObject<{
+        tableCount: z.ZodDefault<z.ZodNumber>;
+        columnCount: z.ZodDefault<z.ZodNumber>;
+        relationCount: z.ZodDefault<z.ZodNumber>;
+        durationMs: z.ZodDefault<z.ZodNumber>;
+    }, z.core.$strict>>;
+    warnings: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        code: z.ZodString;
+        message: z.ZodString;
+        tableId: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+    }, z.core.$strict>>>;
+}, z.core.$strict>;
+export type SchemaModel = DatabaseModel;
+/**
+ * Single entry point used by the JSON IR importer, the LLM response
+ * validator (06-llm-assist.md), and snapshot loading. Accepts a parsed JSON
+ * value or a JSON string. Throws ZodError (or SyntaxError for bad JSON).
+ */
+export declare function parseDatabaseModel(json: unknown): DatabaseModel;
+/** Alias of {@link parseDatabaseModel} under the `SchemaModel` naming. */
+export declare const parseSchemaModel: typeof parseDatabaseModel;
+export {};
+//# sourceMappingURL=schema-model.d.ts.map