@quereus/quereus 3.3.0 → 4.1.0

package/dist/src/schema/catalog.d.ts

@@ -1,4 +1,5 @@
 import type { Database } from '../core/database.js';
+import type { TableSchema, IndexColumnSchema } from './table.js';
 import type * as AST from '../parser/ast.js';
 import type { SqlValue } from '../common/types.js';
 /**
@@ -20,6 +21,8 @@ export interface CatalogTable {
         notNull: boolean;
         primaryKey: boolean;
         defaultValue: AST.Expression | null;
+        /** Canonical collation (normalized, uppercase). Default `'BINARY'`. */
+        collation: string;
         tags?: Readonly<Record<string, SqlValue>>;
     }>;
     primaryKey: Array<{
@@ -29,22 +32,85 @@ export interface CatalogTable {
     /** Lowercased names of tables this table FK-references (within the same schema). */
     referencedTables: string[];
     tags?: Readonly<Record<string, SqlValue>>;
-    /** Named constraints (CHECK / UNIQUE / FOREIGN KEY) carrying their tags. Constraints without a name are excluded. */
+    /**
+     * Named constraints (CHECK / UNIQUE / FOREIGN KEY) carrying their tags and a
+     * canonical body fragment. Constraints without a user-supplied name are excluded.
+     * `definition` is the order/format-stable body DDL (name + tags excluded) the
+     * differ compares against a declared constraint's body to detect a
+     * name-unchanged-but-body-changed constraint (→ drop+recreate). Tags are kept
+     * separate (and out of `definition`) so a tag-only change takes `ALTER
+     * CONSTRAINT … SET TAGS`, not a needless drop+recreate.
+     */
     namedConstraints: Array<{
         name: string;
         tags?: Readonly<Record<string, SqlValue>>;
+        definition: string;
     }>;
+    /**
+     * Present iff this is a **maintained table** (carries a `derivation` — what
+     * `create materialized view` / `create table … maintained as` produces). A
+     * maintained table round-trips in the table category like any other table; this
+     * descriptor carries the extra derivation dimension the differ compares to
+     * recognize attach / detach / re-attach transitions (table↔maintained) as
+     * non-destructive alter ops instead of a drop+recreate. `bodyHash` is the
+     * canonical DEFINITION hash (`computeBodyHash` over `viewDefinitionToCanonicalString`
+     * — explicit rename list + body + `insert defaults`; name / schema / tags
+     * excluded), matching the live `derivation.bodyHash`. Absent ⇒ a plain table.
+     */
+    maintained?: {
+        bodyHash: string;
+        /** Normalized backing-host module when non-default (absent ⇒ memory). */
+        backingModuleName?: string;
+        /** Backing-module args; recorded only when non-empty. */
+        backingModuleArgs?: Readonly<Record<string, SqlValue>>;
+    };
 }
 export interface CatalogView {
     name: string;
     ddl: string;
+    /**
+     * Canonical definition string (explicit column list, body, `insert defaults`
+     * clause; name / schema / tags excluded — see
+     * `viewDefinitionToCanonicalString`). The differ compares this against a
+     * declared view's definition — rendered by the same function — to detect a
+     * name-matched view whose definition changed (→ drop+recreate), mirroring
+     * `CatalogIndex.definition`. Tags are kept separate (and out of `definition`)
+     * so a tag-only change takes `ALTER VIEW … SET TAGS`, not a needless
+     * drop+recreate.
+     */
+    definition: string;
     tags?: Readonly<Record<string, SqlValue>>;
 }
 export interface CatalogIndex {
     name: string;
     tableName: string;
     ddl: string;
+    /**
+     * Canonical body string (UNIQUE-ness, column set/order/direction, per-column
+     * collation, partial predicate; name / `on <table>` / tags excluded). Per-column
+     * collation is rendered from the resolved effective value (the same value both
+     * diff sides pre-resolve — see `indexToCanonicalDDL` / the differ's
+     * `declaredIndexCanonicalBody`), so an inherited/default-BINARY collation that is
+     * unchanged never churns while a real collation change recreates. The differ
+     * compares this against a declared index's body — rendered by the same
+     * `createIndexBodyToCanonicalString` — to detect a name-matched index whose
+     * body changed (→ drop+recreate), mirroring `CatalogTable.namedConstraints[].
+     * definition` and `CatalogMaterializedView.bodyHash`. Tags are kept separate
+     * (and out of `definition`) so a tag-only change takes `ALTER INDEX … SET TAGS`,
+     * not a needless drop+recreate.
+     */
+    definition: string;
     tags?: Readonly<Record<string, SqlValue>>;
+    /**
+     * True when this index is an *exposed implicit covering structure* — the
+     * secondary BTree backing a UNIQUE constraint tagged
+     * `quereus.expose_implicit_index`. Surfaced for introspection only; its
+     * lifecycle is the originating constraint's (the named-constraint diff path),
+     * so the schema differ MUST exclude it from the standalone-index
+     * create/drop/rename buckets (see `computeSchemaDiff`'s `actualIndexes`).
+     * Absent/false ⇒ an ordinary, differ-managed index.
+     */
+    implicit?: boolean;
 }
 export interface CatalogAssertion {
     name: string;
@@ -54,6 +120,54 @@ export interface CatalogAssertion {
  * Collects current schema state from the database into a catalog representation
  */
 export declare function collectSchemaCatalog(db: Database, schemaName?: string): SchemaCatalog;
+/**
+ * A backend-agnostic description of an *exposed* implicit covering index that is
+ * NOT materialized in `tableSchema.indexes` (the store-mode case). Shaped as a
+ * subset of {@link IndexSchema} (no `unique` flag — see below) so the read-path
+ * helpers (`indexSchemaToCatalog`, the `schema()` / `index_info()` TVFs) can
+ * consume it identically to a real index.
+ */
+export interface SyntheticExposedIndex {
+    name: string;
+    /** Mirrors `ensureUniqueConstraintIndexes`: per-column index + declared collation. */
+    columns: ReadonlyArray<IndexColumnSchema>;
+    /** Partial-index predicate from `uc.predicate`, when any. */
+    predicate?: AST.Expression;
+    /** User tags from `uc.exposedIndexTags` (the exposure flag stays on `uc.tags`). */
+    tags?: Readonly<Record<string, SqlValue>>;
+}
+/**
+ * Exposed implicit covering indexes that are NOT already materialized in
+ * `tableSchema.indexes` — i.e. the store-mode case. For each non-derived UNIQUE
+ * constraint carrying `quereus.expose_implicit_index = true` whose implicit name
+ * (`uc.name ?? '_uc_<cols>'`) is absent from `tableSchema.indexes`, returns a
+ * descriptor the read paths can surface and `updateIndexTags` can target.
+ *
+ * Returns empty for memory-mode tables (the name is already materialized), so
+ * callers can append unconditionally with no risk of double-listing.
+ */
+export declare function exposedImplicitIndexes(tableSchema: TableSchema): SyntheticExposedIndex[];
+/**
+ * Index of the exposed (non-materialized) implicit-covering UNIQUE constraint
+ * whose implicit name matches `indexName`, or `-1` when none — the write-path
+ * counterpart of {@link exposedImplicitIndexes}. `updateIndexTags` uses this to
+ * route `ALTER INDEX … TAGS` onto the originating constraint's `exposedIndexTags`
+ * when the index is not materialized as an `IndexSchema` (store mode). A *hidden*
+ * implicit index (exposure flag absent/false) and a materialized one both return
+ * `-1`, preserving their `NOTFOUND` behavior.
+ */
+export declare function findExposedImplicitConstraintIndex(tableSchema: TableSchema, indexName: string): number;
+/**
+ * True when `indexName` names an index that is a **hidden** implicit covering
+ * structure on `tableSchema` — the auto-built secondary BTree backing a declared
+ * UNIQUE constraint that has NOT opted into catalog visibility via
+ * {@link EXPOSE_IMPLICIT_INDEX_TAG}. Such an index is a backing detail, not a
+ * user-addressable object, so `ALTER INDEX … SET TAGS` treats it as NOTFOUND (its
+ * tags live on the originating constraint — use `ALTER TABLE … ALTER CONSTRAINT
+ * … SET TAGS`). An *exposed* implicit index (flag true) and any ordinary index
+ * are not hidden. Match is by exact stored index name (as the catalog uses it).
+ */
+export declare function isHiddenImplicitIndex(tableSchema: TableSchema, indexName: string): boolean;
 /**
  * Generates canonical DDL from a declared schema AST
  */

package/dist/src/schema/catalog.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"catalog.d.ts","sourceRoot":"","sources":["../../../src/schema/catalog.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAKpD,OAAO,KAAK,KAAK,GAAG,MAAM,kBAAkB,CAAC;AAC7C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAGnD;;GAEG;AACH,MAAM,WAAW,aAAa;IAC7B,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,YAAY,EAAE,CAAC;IACvB,KAAK,EAAE,WAAW,EAAE,CAAC;IACrB,OAAO,EAAE,YAAY,EAAE,CAAC;IACxB,UAAU,EAAE,gBAAgB,EAAE,CAAC;CAC/B;AAED,MAAM,WAAW,YAAY;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;IACZ,OAAO,EAAE,KAAK,CAAC;QACd,IAAI,EAAE,MAAM,CAAC;QACb,IAAI,EAAE,MAAM,CAAC;QACb,OAAO,EAAE,OAAO,CAAC;QACjB,UAAU,EAAE,OAAO,CAAC;QACpB,YAAY,EAAE,GAAG,CAAC,UAAU,GAAG,IAAI,CAAC;QACpC,IAAI,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;KAC1C,CAAC,CAAC;IACH,UAAU,EAAE,KAAK,CAAC;QAAE,UAAU,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;IACzD,oFAAoF;IACpF,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,IAAI,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC1C,qHAAqH;IACrH,gBAAgB,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAA;KAAE,CAAC,CAAC;CACrF;AAED,MAAM,WAAW,WAAW;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;CAC1C;AAED,MAAM,WAAW,YAAY;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;CAC1C;AAED,MAAM,WAAW,gBAAgB;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;CACZ;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAAC,EAAE,EAAE,QAAQ,EAAE,UAAU,GAAE,MAAe,GAAG,aAAa,CAgD7F;AAuFD;;GAEG;AACH,wBAAgB,mBAAmB,CAAC,cAAc,EAAE,GAAG,CAAC,iBAAiB,EAAE,YAAY,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,CA4D1G"}
+{"version":3,"file":"catalog.d.ts","sourceRoot":"","sources":["../../../src/schema/catalog.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,KAAK,EAAE,WAAW,EAAe,iBAAiB,EAA0B,MAAM,YAAY,CAAC;AAMtG,OAAO,KAAK,KAAK,GAAG,MAAM,kBAAkB,CAAC;AAC7C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAGnD;;GAEG;AACH,MAAM,WAAW,aAAa;IAC7B,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,YAAY,EAAE,CAAC;IACvB,KAAK,EAAE,WAAW,EAAE,CAAC;IACrB,OAAO,EAAE,YAAY,EAAE,CAAC;IACxB,UAAU,EAAE,gBAAgB,EAAE,CAAC;CAC/B;AAED,MAAM,WAAW,YAAY;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;IACZ,OAAO,EAAE,KAAK,CAAC;QACd,IAAI,EAAE,MAAM,CAAC;QACb,IAAI,EAAE,MAAM,CAAC;QACb,OAAO,EAAE,OAAO,CAAC;QACjB,UAAU,EAAE,OAAO,CAAC;QACpB,YAAY,EAAE,GAAG,CAAC,UAAU,GAAG,IAAI,CAAC;QACpC,uEAAuE;QACvE,SAAS,EAAE,MAAM,CAAC;QAClB,IAAI,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;KAC1C,CAAC,CAAC;IACH,UAAU,EAAE,KAAK,CAAC;QAAE,UAAU,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;IACzD,oFAAoF;IACpF,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,IAAI,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC1C;;;;;;;;OAQG;IACH,gBAAgB,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACzG;;;;;;;;;;OAUG;IACH,UAAU,CAAC,EAAE;QACZ,QAAQ,EAAE,MAAM,CAAC;QACjB,yEAAyE;QACzE,iBAAiB,CAAC,EAAE,MAAM,CAAC;QAC3B,yDAAyD;QACzD,iBAAiB,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;KACvD,CAAC;CACF;AAED,MAAM,WAAW,WAAW;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;IACZ;;;;;;;;;OASG;IACH,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;CAC1C;AAED,MAAM,WAAW,YAAY;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,GAAG,EAAE,MAAM,CAAC;IACZ;;;;;;;;;;;;;OAaG;IACH,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC1C;;;;;;;;OAQG;IACH,QAAQ,CAAC,EAAE,OAAO,CAAC;CACnB;AAED,MAAM,WAAW,gBAAgB;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;CACZ;AAgBD;;GAEG;AACH,wBAAgB,oBAAoB,CAAC,EAAE,EAAE,QAAQ,EAAE,UAAU,GAAE,MAAe,GAAG,aAAa,CAgF7F;AA8ID;;;;;;GAMG;AACH,MAAM,WAAW,qBAAqB;IACrC,IAAI,EAAE,MAAM,CAAC;IACb,sFAAsF;IACtF,OAAO,EAAE,aAAa,CAAC,iBAAiB,CAAC,CAAC;IAC1C,6DAA6D;IAC7D,SAAS,CAAC,EAAE,GAAG,CAAC,UAAU,CAAC;IAC3B,mFAAmF;IACnF,IAAI,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;CAK1C;AAED;;;;;;;;;GASG;AACH,wBAAgB,sBAAsB,CAAC,WAAW,EAAE,WAAW,GAAG,qBAAqB,EAAE,CAgBxF;AAED;;;;;;;;GAQG;AACH,wBAAgB,kCAAkC,CAAC,WAAW,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM,CAatG;AAED;;;;;;;;;GASG;AACH,wBAAgB,qBAAqB,CAAC,WAAW,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,GAAG,OAAO,CAE1F;AA2CD;;GAEG;AACH,wBAAgB,mBAAmB,CAAC,cAAc,EAAE,GAAG,CAAC,iBAAiB,EAAE,YAAY,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,CA6E1G"}

package/dist/src/schema/catalog.js

@@ -1,5 +1,20 @@
-import { createTableToString, createViewToString, createIndexToString } from '../emit/ast-stringify.js';
-import { generateTableDDL, generateIndexDDL } from './ddl-generator.js';
+import { normalizeBackingModule } from './view.js';
+import { isMaintainedTable } from './derivation.js';
+import { createTableToString, createViewToString, createMaterializedViewToString, createIndexToString, quoteIdentifier, expressionToString, viewDefinitionToCanonicalString } from '../emit/ast-stringify.js';
+import { generateTableDDL, generateIndexDDL, generateMaintainedTableDDL, constraintToCanonicalDDL, indexToCanonicalDDL } from './ddl-generator.js';
+/**
+ * True when a constraint name is engine-synthesized rather than user-supplied.
+ * The schema extractors auto-name unnamed column/table constraints with a
+ * reserved `_`-leading prefix (`_check_<col>`, `_fk_<table>_<cols>`,
+ * `_uc_<cols>`); such names are deterministic from structure but are NOT stable
+ * identity a declarative schema can reference, so they are excluded from the
+ * catalog's user-addressable `namedConstraints` (which drives differ
+ * add/drop/rename lifecycle). A user who explicitly names a constraint `_x`
+ * forfeits declarative lifecycle management of it — an acceptable corner.
+ */
+function isAutoConstraintName(name) {
+    return name.startsWith('_');
+}
 /**
  * Collects current schema state from the database into a catalog representation
  */
@@ -18,17 +33,50 @@ export function collectSchemaCatalog(db, schemaName = 'main') {
     const views = [];
     const indexes = [];
     const assertions = [];
-    // Collect tables
+    // Collect tables. A maintained table (one carrying a `derivation` — what
+    // `create materialized view` / `create table … maintained as` produces)
+    // round-trips in the TABLE category like any other table, carrying a
+    // `maintained` descriptor (body hash + backing module) so the declarative
+    // differ compares it per name in one category and recognizes attach / detach /
+    // re-attach transitions as non-destructive alter ops. Its internal covering
+    // indexes stay OUT of the catalog `indexes` set — they are a maintenance
+    // backing detail, not differ-managed objects. (Check maintained BEFORE isView:
+    // a maintained table may legacy-carry isView.)
     for (const tableSchema of schema.getAllTables()) {
-        if (!tableSchema.isView) {
+        if (isMaintainedTable(tableSchema)) {
             tables.push(tableSchemaToCatalog(tableSchema, db));
-            // Collect indexes for this table
-            if (tableSchema.indexes && tableSchema.indexes.length > 0) {
-                for (const indexSchema of tableSchema.indexes) {
-                    indexes.push(indexSchemaToCatalog(indexSchema, tableSchema, db));
-                }
+            continue;
+        }
+        if (tableSchema.isView)
+            continue;
+        tables.push(tableSchemaToCatalog(tableSchema, db));
+        // Collect indexes for this table. Implicit covering structures (the
+        // auto-built secondary BTree a declared UNIQUE constraint synthesizes for
+        // enforcement) are a backing detail and are omitted by default, surfaced
+        // only when the originating constraint opts in via
+        // `quereus.expose_implicit_index` — preserving the user-visible shape.
+        if (tableSchema.indexes && tableSchema.indexes.length > 0) {
+            const implicit = implicitCoveringIndexExposure(tableSchema);
+            for (const indexSchema of tableSchema.indexes) {
+                const exposed = implicit.get(indexSchema.name);
+                if (exposed === false)
+                    continue; // hidden implicit covering structure
+                // Mark only the *exposed* implicit covering structure (exposed === true);
+                // an ordinary index (absent from the exposure map ⇒ undefined) stays
+                // unmarked so the differ manages it normally.
+                indexes.push(indexSchemaToCatalog(indexSchema, tableSchema, db, exposed === true));
             }
         }
+        // Surface exposed implicit covering indexes the backend did NOT
+        // materialize as `IndexSchema` entries (store mode). In memory mode this
+        // returns [] (the name is already in `tableSchema.indexes` above), so the
+        // catalog shape matches across backends with no double-listing. Tags ride
+        // on the descriptor (from `uc.exposedIndexTags`), kept out of the canonical
+        // `definition` so a tag-only change stays `ALTER INDEX … SET TAGS`.
+        for (const desc of exposedImplicitIndexes(tableSchema)) {
+            // Every synthetic descriptor is exposed-implicit by construction → mark it.
+            indexes.push(indexSchemaToCatalog(desc, tableSchema, db, true));
+        }
     }
     // Collect views
     for (const viewSchema of schema.getAllViews()) {
@@ -47,14 +95,17 @@ export function collectSchemaCatalog(db, schemaName = 'main') {
     };
 }
 function tableSchemaToCatalog(tableSchema, db) {
-    // Generate canonical DDL from TableSchema
-    const ddl = generateTableDDL(tableSchema, db);
+    // Canonical DDL: a maintained table renders the `create table … maintained as`
+    // form (carrying its derivation body), a plain table the ordinary form.
+    const maintainedTable = isMaintainedTable(tableSchema) ? tableSchema : undefined;
+    const ddl = maintainedTable ? generateMaintainedTableDDL(maintainedTable) : generateTableDDL(tableSchema, db);
     const columns = tableSchema.columns.map(col => ({
         name: col.name,
         type: col.logicalType.name,
         notNull: col.notNull,
         primaryKey: col.primaryKey,
         defaultValue: col.defaultValue ?? null,
+        collation: col.collation || 'BINARY',
         tags: col.tags,
     }));
     const primaryKey = tableSchema.primaryKeyDefinition.map(pk => ({
@@ -78,20 +129,32 @@ function tableSchemaToCatalog(tableSchema, db) {
         seen.add(refName);
         referencedTables.push(refName);
     }
-    // Surface named constraints with their tags so the differ can detect renames
-    // of named CHECK / UNIQUE / FOREIGN KEY constraints.
+    // Surface *user-addressable* named constraints with their tags so the differ
+    // can detect renames / drops / adds of named CHECK / UNIQUE / FOREIGN KEY
+    // constraints. Excluded:
+    //   - engine-synthesized names (the `_check_*` / `_fk_*` / `_uc_*` auto-names
+    //     the extractors assign to unnamed column/table constraints) — these are
+    //     not stable identity a user can reference declaratively, and surfacing
+    //     them would churn add/drop on every diff against a declaration that only
+    //     carries explicit names (see `isAutoConstraintName`);
+    //   - UNIQUE constraints synthesized from a `CREATE UNIQUE INDEX`
+    //     (`derivedFromIndex`) — those are managed as indexes (the differ's
+    //     index buckets), not as table constraints.
     const namedConstraints = [];
     for (const c of tableSchema.checkConstraints ?? []) {
-        if (c.name)
-            namedConstraints.push({ name: c.name, tags: c.tags });
+        if (c.name && !isAutoConstraintName(c.name)) {
+            namedConstraints.push({ name: c.name, tags: c.tags, definition: constraintToCanonicalDDL('check', c, tableSchema) });
+        }
     }
     for (const c of tableSchema.uniqueConstraints ?? []) {
-        if (c.name)
-            namedConstraints.push({ name: c.name, tags: c.tags });
+        if (c.name && !isAutoConstraintName(c.name) && !c.derivedFromIndex) {
+            namedConstraints.push({ name: c.name, tags: c.tags, definition: constraintToCanonicalDDL('unique', c, tableSchema) });
+        }
     }
     for (const c of tableSchema.foreignKeys ?? []) {
-        if (c.name)
-            namedConstraints.push({ name: c.name, tags: c.tags });
+        if (c.name && !isAutoConstraintName(c.name)) {
+            namedConstraints.push({ name: c.name, tags: c.tags, definition: constraintToCanonicalDDL('foreignKey', c, tableSchema) });
+        }
     }
     return {
         name: tableSchema.name,
@@ -101,27 +164,173 @@ function tableSchemaToCatalog(tableSchema, db) {
         referencedTables,
         tags: tableSchema.tags,
         namedConstraints,
+        ...(maintainedTable ? { maintained: maintainedDescriptor(maintainedTable) } : {}),
+    };
+}
+/**
+ * The derivation dimension surfaced on a maintained table's catalog entry — the
+ * canonical body hash plus the normalized backing module (compared separately
+ * from the hash, the module is deliberately not folded into the hash formula).
+ * The differ uses this to recognize a body change (re-attach) vs an unchanged
+ * maintained table (no-op), and table↔maintained transitions (attach / detach).
+ */
+function maintainedDescriptor(table) {
+    const backing = normalizeBackingModule(table.vtabModuleName, table.vtabArgs);
+    return {
+        bodyHash: table.derivation.bodyHash,
+        backingModuleName: backing.storedModuleName,
+        backingModuleArgs: backing.storedModuleArgs,
     };
 }
 function viewSchemaToCatalog(viewSchema) {
     return {
         name: viewSchema.name,
         ddl: viewSchema.sql,
+        definition: viewDefinitionToCanonicalString(viewSchema.columns, viewSchema.selectAst),
         tags: viewSchema.tags,
     };
 }
-function indexSchemaToCatalog(indexSchema, tableSchema, db) {
-    return {
+/**
+ * Tag opting a UNIQUE constraint's implicit covering structure into catalog /
+ * `export_schema` visibility. Off by default — the auto-built secondary BTree is
+ * a backing detail of enforcement, not part of the user-visible schema shape.
+ */
+const EXPOSE_IMPLICIT_INDEX_TAG = 'quereus.expose_implicit_index';
+/**
+ * Maps each implicit-covering-structure index name to its exposure flag. An index
+ * is an implicit covering structure when it is the secondary BTree auto-built to
+ * back a declared (inline) UNIQUE constraint — identified by the deterministic
+ * auto-index name `uc.name ?? '_uc_<cols>'` (see
+ * `MemoryTableManager.ensureUniqueConstraintIndexes`). Constraints synthesized
+ * from a real `CREATE UNIQUE INDEX` (`derivedFromIndex` set) are excluded — that
+ * index is the user's, always shown. The flag is `true` when the constraint
+ * carries {@link EXPOSE_IMPLICIT_INDEX_TAG} (surface it), `false` otherwise
+ * (hide). Index names absent from the map are ordinary indexes (always shown).
+ */
+function implicitCoveringIndexExposure(tableSchema) {
+    const map = new Map();
+    for (const uc of tableSchema.uniqueConstraints ?? []) {
+        if (uc.derivedFromIndex)
+            continue;
+        map.set(implicitIndexName(tableSchema, uc), uc.tags?.[EXPOSE_IMPLICIT_INDEX_TAG] === true);
+    }
+    return map;
+}
+/**
+ * Deterministic name of the implicit covering structure realizing `uc` —
+ * `uc.name` when the constraint is named, else the auto-name `_uc_<cols>`. This is
+ * the single source of the name shared by the catalog exposure map, the synthetic
+ * descriptor, and `MemoryTableManager.ensureUniqueConstraintIndexes` (which
+ * materializes the identical name).
+ */
+function implicitIndexName(tableSchema, uc) {
+    const colNames = uc.columns.map(i => tableSchema.columns[i]?.name ?? String(i));
+    return uc.name ?? `_uc_${colNames.join('_')}`;
+}
+/**
+ * Exposed implicit covering indexes that are NOT already materialized in
+ * `tableSchema.indexes` — i.e. the store-mode case. For each non-derived UNIQUE
+ * constraint carrying `quereus.expose_implicit_index = true` whose implicit name
+ * (`uc.name ?? '_uc_<cols>'`) is absent from `tableSchema.indexes`, returns a
+ * descriptor the read paths can surface and `updateIndexTags` can target.
+ *
+ * Returns empty for memory-mode tables (the name is already materialized), so
+ * callers can append unconditionally with no risk of double-listing.
+ */
+export function exposedImplicitIndexes(tableSchema) {
+    const result = [];
+    const materialized = new Set((tableSchema.indexes ?? []).map(idx => idx.name.toLowerCase()));
+    for (const uc of tableSchema.uniqueConstraints ?? []) {
+        if (uc.derivedFromIndex)
+            continue;
+        if (uc.tags?.[EXPOSE_IMPLICIT_INDEX_TAG] !== true)
+            continue;
+        const name = implicitIndexName(tableSchema, uc);
+        if (materialized.has(name.toLowerCase()))
+            continue; // memory mode — already surfaced
+        result.push({
+            name,
+            columns: uc.columns.map(colIdx => ({ index: colIdx, collation: tableSchema.columns[colIdx]?.collation })),
+            predicate: uc.predicate,
+            tags: uc.exposedIndexTags,
+        });
+    }
+    return result;
+}
+/**
+ * Index of the exposed (non-materialized) implicit-covering UNIQUE constraint
+ * whose implicit name matches `indexName`, or `-1` when none — the write-path
+ * counterpart of {@link exposedImplicitIndexes}. `updateIndexTags` uses this to
+ * route `ALTER INDEX … TAGS` onto the originating constraint's `exposedIndexTags`
+ * when the index is not materialized as an `IndexSchema` (store mode). A *hidden*
+ * implicit index (exposure flag absent/false) and a materialized one both return
+ * `-1`, preserving their `NOTFOUND` behavior.
+ */
+export function findExposedImplicitConstraintIndex(tableSchema, indexName) {
+    const lower = indexName.toLowerCase();
+    const ucs = tableSchema.uniqueConstraints ?? [];
+    const materialized = new Set((tableSchema.indexes ?? []).map(idx => idx.name.toLowerCase()));
+    for (let i = 0; i < ucs.length; i++) {
+        const uc = ucs[i];
+        if (uc.derivedFromIndex)
+            continue;
+        if (uc.tags?.[EXPOSE_IMPLICIT_INDEX_TAG] !== true)
+            continue;
+        const name = implicitIndexName(tableSchema, uc).toLowerCase();
+        if (materialized.has(name))
+            continue;
+        if (name === lower)
+            return i;
+    }
+    return -1;
+}
+/**
+ * True when `indexName` names an index that is a **hidden** implicit covering
+ * structure on `tableSchema` — the auto-built secondary BTree backing a declared
+ * UNIQUE constraint that has NOT opted into catalog visibility via
+ * {@link EXPOSE_IMPLICIT_INDEX_TAG}. Such an index is a backing detail, not a
+ * user-addressable object, so `ALTER INDEX … SET TAGS` treats it as NOTFOUND (its
+ * tags live on the originating constraint — use `ALTER TABLE … ALTER CONSTRAINT
+ * … SET TAGS`). An *exposed* implicit index (flag true) and any ordinary index
+ * are not hidden. Match is by exact stored index name (as the catalog uses it).
+ */
+export function isHiddenImplicitIndex(tableSchema, indexName) {
+    return implicitCoveringIndexExposure(tableSchema).get(indexName) === false;
+}
+function indexSchemaToCatalog(indexSchema, tableSchema, db, 
+/** Set true for an exposed implicit covering structure — see `CatalogIndex.implicit`. */
+implicit = false) {
+    const entry = {
         name: indexSchema.name,
         tableName: tableSchema.name,
         ddl: generateIndexDDL(indexSchema, tableSchema, db),
+        definition: indexToCanonicalDDL(indexSchema, tableSchema),
         tags: indexSchema.tags,
     };
+    // Only set the field when true so an ordinary index's catalog shape is unchanged.
+    if (implicit)
+        entry.implicit = true;
+    return entry;
 }
 function assertionSchemaToCatalog(assertionSchema) {
+    // Emit a faithful, re-parseable `CREATE ASSERTION <name> CHECK (<expr>)` by
+    // stringifying the original CHECK expression AST — the same `expressionToString`
+    // call `emitCreateAssertion` already uses, so it is proven to produce a
+    // parseable expression for this input. Using the stored `violationSql` here
+    // instead would embed a full `select 1 where not (...)` query in the CHECK
+    // slot, which is not a CHECK-expression and never round-trips through `parse()`.
+    //
+    // `checkExpression` is absent only for assertions reconstructed from persisted
+    // `violationSql` alone — a path that does not exist today (`importDDL`
+    // throws on assertion DDL), so the primary branch always fires. The fallback
+    // keeps a descriptive (non-reparseable) string for that hypothetical case
+    // rather than throwing. See assertion.ts:21-27.
+    const checkSql = assertionSchema.checkExpression
+        ? expressionToString(assertionSchema.checkExpression)
+        : assertionSchema.violationSql;
     return {
         name: assertionSchema.name,
-        ddl: `CREATE ASSERTION ${assertionSchema.name} CHECK (${assertionSchema.violationSql})`
+        ddl: `CREATE ASSERTION ${quoteIdentifier(assertionSchema.name)} CHECK (${checkSql})`
     };
 }
 /**
@@ -185,6 +394,24 @@ export function generateDeclaredDDL(declaredSchema, targetSchema) {
                 }
                 break;
             }
+            case 'declaredMaterializedView': {
+                // Qualify MV name with schema if specified
+                const mvStmt = item.viewStmt;
+                if (targetSchema && targetSchema !== 'main' && !mvStmt.view.schema) {
+                    const qualifiedStmt = {
+                        ...mvStmt,
+                        view: {
+                            ...mvStmt.view,
+                            schema: targetSchema
+                        }
+                    };
+                    ddlStatements.push(createMaterializedViewToString(qualifiedStmt));
+                }
+                else {
+                    ddlStatements.push(createMaterializedViewToString(mvStmt));
+                }
+                break;
+            }
         }
     }
     return ddlStatements;

package/dist/src/schema/catalog.js.map

@@ -1 +1 @@
-{"version":3,"file":"catalog.js","sourceRoot":"","sources":["../../../src/schema/catalog.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAGxG,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAkDxE;;GAEG;AACH,MAAM,UAAU,oBAAoB,CAAC,EAAY,EAAE,aAAqB,MAAM;IAC7E,MAAM,MAAM,GAAG,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IACtD,IAAI,CAAC,MAAM,EAAE,CAAC;QACb,OAAO;YACN,UAAU;YACV,MAAM,EAAE,EAAE;YACV,KAAK,EAAE,EAAE;YACT,OAAO,EAAE,EAAE;YACX,UAAU,EAAE,EAAE;SACd,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAmB,EAAE,CAAC;IAClC,MAAM,KAAK,GAAkB,EAAE,CAAC;IAChC,MAAM,OAAO,GAAmB,EAAE,CAAC;IACnC,MAAM,UAAU,GAAuB,EAAE,CAAC;IAE1C,iBAAiB;IACjB,KAAK,MAAM,WAAW,IAAI,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC;QACjD,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC;YACzB,MAAM,CAAC,IAAI,CAAC,oBAAoB,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC;YAEnD,iCAAiC;YACjC,IAAI,WAAW,CAAC,OAAO,IAAI,WAAW,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC3D,KAAK,MAAM,WAAW,IAAI,WAAW,CAAC,OAAO,EAAE,CAAC;oBAC/C,OAAO,CAAC,IAAI,CAAC,oBAAoB,CAAC,WAAW,EAAE,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC;gBAClE,CAAC;YACF,CAAC;QACF,CAAC;IACF,CAAC;IAED,gBAAgB;IAChB,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,WAAW,EAAE,EAAE,CAAC;QAC/C,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC,CAAC;IAC7C,CAAC;IAED,qBAAqB;IACrB,KAAK,MAAM,eAAe,IAAI,MAAM,CAAC,gBAAgB,EAAE,EAAE,CAAC;QACzD,UAAU,CAAC,IAAI,CAAC,wBAAwB,CAAC,eAAe,CAAC,CAAC,CAAC;IAC5D,CAAC;IAED,OAAO;QACN,UAAU;QACV,MAAM;QACN,KAAK;QACL,OAAO;QACP,UAAU;KACV,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAAC,WAAwB,EAAE,EAAY;IACnE,0CAA0C;IAC1C,MAAM,GAAG,GAAG,gBAAgB,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IAE9C,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC/C,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,IAAI,EAAE,GAAG,CAAC,WAAW,CAAC,IAAI;QAC1B,OAAO,EAAE,GAAG,CAAC,OAAO;QACpB,UAAU,EAAE,GAAG,CAAC,UAAU;QAC1B,YAAY,EAAE,GAAG,CAAC,YAAY,IAAI,IAAI;QACtC,IAAI,EAAE,GAAG,CAAC,IAAI;KACd,CAAC,CAAC,CAAC;IAEJ,MAAM,UAAU,GAAG,WAAW,CAAC,oBAAoB,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAC9D,UAAU,EAAE,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI;QAC9C,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,KAAK;KACtB,CAAC,CAAC,CAAC;IAEJ,6EAA6E;IAC7E,6EAA6E;IAC7E,MAAM,cAAc,GAAG,WAAW,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;IAC5D,MAAM,gBAAgB,GAAa,EAAE,CAAC;IACtC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,EAAE,IAAI,WAAW,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;QAChD,MAAM,SAAS,GAAG,CAAC,EAAE,CAAC,gBAAgB,IAAI,WAAW,CAAC,UAAU,CAAC,CAAC,WAAW,EAAE,CAAC;QAChF,IAAI,SAAS,KAAK,cAAc;YAAE,SAAS;QAC3C,MAAM,OAAO,GAAG,EAAE,CAAC,eAAe,CAAC,WAAW,EAAE,CAAC;QACjD,IAAI,OAAO,KAAK,WAAW,CAAC,IAAI,CAAC,WAAW,EAAE;YAAE,SAAS,CAAC,UAAU;QACpE,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,SAAS;QAChC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAClB,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAChC,CAAC;IAED,6EAA6E;IAC7E,qDAAqD;IACrD,MAAM,gBAAgB,GAAqC,EAAE,CAAC;IAC9D,KAAK,MAAM,CAAC,IAAI,WAAW,CAAC,gBAAgB,IAAI,EAAE,EAAE,CAAC;QACpD,IAAI,CAAC,CAAC,IAAI;YAAE,gBAAgB,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACnE,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,WAAW,CAAC,iBAAiB,IAAI,EAAE,EAAE,CAAC;QACrD,IAAI,CAAC,CAAC,IAAI;YAAE,gBAAgB,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACnE,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,WAAW,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;QAC/C,IAAI,CAAC,CAAC,IAAI;YAAE,gBAAgB,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACnE,CAAC;IAED,OAAO;QACN,IAAI,EAAE,WAAW,CAAC,IAAI;QACtB,GAAG;QACH,OAAO;QACP,UAAU;QACV,gBAAgB;QAChB,IAAI,EAAE,WAAW,CAAC,IAAI;QACtB,gBAAgB;KAChB,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAAC,UAAsB;IAClD,OAAO;QACN,IAAI,EAAE,UAAU,CAAC,IAAI;QACrB,GAAG,EAAE,UAAU,CAAC,GAAG;QACnB,IAAI,EAAE,UAAU,CAAC,IAAI;KACrB,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAC5B,WAAwB,EACxB,WAAwB,EACxB,EAAY;IAEZ,OAAO;QACN,IAAI,EAAE,WAAW,CAAC,IAAI;QACtB,SAAS,EAAE,WAAW,CAAC,IAAI;QAC3B,GAAG,EAAE,gBAAgB,CAAC,WAAW,EAAE,WAAW,EAAE,EAAE,CAAC;QACnD,IAAI,EAAE,WAAW,CAAC,IAAI;KACtB,CAAC;AACH,CAAC;AAED,SAAS,wBAAwB,CAAC,eAAyC;IAC1E,OAAO;QACN,IAAI,EAAE,eAAe,CAAC,IAAI;QAC1B,GAAG,EAAE,oBAAoB,eAAe,CAAC,IAAI,WAAW,eAAe,CAAC,YAAY,GAAG;KACvF,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,mBAAmB,CAAC,cAAqC,EAAE,YAAqB;IAC/F,MAAM,aAAa,GAAa,EAAE,CAAC;IAEnC,KAAK,MAAM,IAAI,IAAI,cAAc,CAAC,KAAK,EAAE,CAAC;QACzC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,eAAe,CAAC,CAAC,CAAC;gBACtB,8CAA8C;gBAC9C,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;gBACjC,IAAI,YAAY,IAAI,YAAY,KAAK,MAAM,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;oBACxE,MAAM,aAAa,GAAwB;wBAC1C,GAAG,SAAS;wBACZ,KAAK,EAAE;4BACN,GAAG,SAAS,CAAC,KAAK;4BAClB,MAAM,EAAE,YAAY;yBACpB;qBACD,CAAC;oBACF,aAAa,CAAC,IAAI,CAAC,mBAAmB,CAAC,aAAa,CAAC,CAAC,CAAC;gBACxD,CAAC;qBAAM,CAAC;oBACP,aAAa,CAAC,IAAI,CAAC,mBAAmB,CAAC,SAAS,CAAC,CAAC,CAAC;gBACpD,CAAC;gBACD,MAAM;YACP,CAAC;YACD,KAAK,eAAe,CAAC,CAAC,CAAC;gBACtB,2CAA2C;gBAC3C,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;gBACjC,IAAI,YAAY,IAAI,YAAY,KAAK,MAAM,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;oBACxE,MAAM,aAAa,GAAwB;wBAC1C,GAAG,SAAS;wBACZ,KAAK,EAAE;4BACN,GAAG,SAAS,CAAC,KAAK;4BAClB,MAAM,EAAE,YAAY;yBACpB;qBACD,CAAC;oBACF,aAAa,CAAC,IAAI,CAAC,mBAAmB,CAAC,aAAa,CAAC,CAAC,CAAC;gBACxD,CAAC;qBAAM,CAAC;oBACP,aAAa,CAAC,IAAI,CAAC,mBAAmB,CAAC,SAAS,CAAC,CAAC,CAAC;gBACpD,CAAC;gBACD,MAAM;YACP,CAAC;YACD,KAAK,cAAc,CAAC,CAAC,CAAC;gBACrB,6CAA6C;gBAC7C,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;gBAC/B,IAAI,YAAY,IAAI,YAAY,KAAK,MAAM,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;oBACtE,MAAM,aAAa,GAAuB;wBACzC,GAAG,QAAQ;wBACX,IAAI,EAAE;4BACL,GAAG,QAAQ,CAAC,IAAI;4BAChB,MAAM,EAAE,YAAY;yBACpB;qBACD,CAAC;oBACF,aAAa,CAAC,IAAI,CAAC,kBAAkB,CAAC,aAAa,CAAC,CAAC,CAAC;gBACvD,CAAC;qBAAM,CAAC;oBACP,aAAa,CAAC,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAAC;gBAClD,CAAC;gBACD,MAAM;YACP,CAAC;QACF,CAAC;IACF,CAAC;IAED,OAAO,aAAa,CAAC;AACtB,CAAC"}
+{"version":3,"file":"catalog.js","sourceRoot":"","sources":["../../../src/schema/catalog.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,sBAAsB,EAAE,MAAM,WAAW,CAAC;AACnD,OAAO,EAAE,iBAAiB,EAA8B,MAAM,iBAAiB,CAAC;AAEhF,OAAO,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,8BAA8B,EAAE,mBAAmB,EAAE,eAAe,EAAE,kBAAkB,EAAE,+BAA+B,EAAE,MAAM,0BAA0B,CAAC;AAG9M,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,0BAA0B,EAAE,wBAAwB,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAkHnJ;;;;;;;;;GASG;AACH,SAAS,oBAAoB,CAAC,IAAY;IACzC,OAAO,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;AAC7B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,oBAAoB,CAAC,EAAY,EAAE,aAAqB,MAAM;IAC7E,MAAM,MAAM,GAAG,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IACtD,IAAI,CAAC,MAAM,EAAE,CAAC;QACb,OAAO;YACN,UAAU;YACV,MAAM,EAAE,EAAE;YACV,KAAK,EAAE,EAAE;YACT,OAAO,EAAE,EAAE;YACX,UAAU,EAAE,EAAE;SACd,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAmB,EAAE,CAAC;IAClC,MAAM,KAAK,GAAkB,EAAE,CAAC;IAChC,MAAM,OAAO,GAAmB,EAAE,CAAC;IACnC,MAAM,UAAU,GAAuB,EAAE,CAAC;IAE1C,yEAAyE;IACzE,wEAAwE;IACxE,qEAAqE;IACrE,0EAA0E;IAC1E,+EAA+E;IAC/E,4EAA4E;IAC5E,yEAAyE;IACzE,+EAA+E;IAC/E,+CAA+C;IAC/C,KAAK,MAAM,WAAW,IAAI,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC;QACjD,IAAI,iBAAiB,CAAC,WAAW,CAAC,EAAE,CAAC;YACpC,MAAM,CAAC,IAAI,CAAC,oBAAoB,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC;YACnD,SAAS;QACV,CAAC;QACD,IAAI,WAAW,CAAC,MAAM;YAAE,SAAS;QACjC,MAAM,CAAC,IAAI,CAAC,oBAAoB,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC;QAEnD,oEAAoE;QACpE,0EAA0E;QAC1E,yEAAyE;QACzE,mDAAmD;QACnD,uEAAuE;QACvE,IAAI,WAAW,CAAC,OAAO,IAAI,WAAW,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3D,MAAM,QAAQ,GAAG,6BAA6B,CAAC,WAAW,CAAC,CAAC;YAC5D,KAAK,MAAM,WAAW,IAAI,WAAW,CAAC,OAAO,EAAE,CAAC;gBAC/C,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;gBAC/C,IAAI,OAAO,KAAK,KAAK;oBAAE,SAAS,CAAC,qCAAqC;gBACtE,0EAA0E;gBAC1E,qEAAqE;gBACrE,8CAA8C;gBAC9C,OAAO,CAAC,IAAI,CAAC,oBAAoB,CAAC,WAAW,EAAE,WAAW,EAAE,EAAE,EAAE,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC;YACpF,CAAC;QACF,CAAC;QAED,gEAAgE;QAChE,yEAAyE;QACzE,0EAA0E;QAC1E,0EAA0E;QAC1E,4EAA4E;QAC5E,oEAAoE;QACpE,KAAK,MAAM,IAAI,IAAI,sBAAsB,CAAC,WAAW,CAAC,EAAE,CAAC;YACxD,4EAA4E;YAC5E,OAAO,CAAC,IAAI,CAAC,oBAAoB,CAAC,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC;QACjE,CAAC;IACF,CAAC;IAED,gBAAgB;IAChB,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,WAAW,EAAE,EAAE,CAAC;QAC/C,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC,CAAC;IAC7C,CAAC;IAED,qBAAqB;IACrB,KAAK,MAAM,eAAe,IAAI,MAAM,CAAC,gBAAgB,EAAE,EAAE,CAAC;QACzD,UAAU,CAAC,IAAI,CAAC,wBAAwB,CAAC,eAAe,CAAC,CAAC,CAAC;IAC5D,CAAC;IAED,OAAO;QACN,UAAU;QACV,MAAM;QACN,KAAK;QACL,OAAO;QACP,UAAU;KACV,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAAC,WAAwB,EAAE,EAAY;IACnE,+EAA+E;IAC/E,wEAAwE;IACxE,MAAM,eAAe,GAAG,iBAAiB,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC;IACjF,MAAM,GAAG,GAAG,eAAe,CAAC,CAAC,CAAC,0BAA0B,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IAE9G,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC/C,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,IAAI,EAAE,GAAG,CAAC,WAAW,CAAC,IAAI;QAC1B,OAAO,EAAE,GAAG,CAAC,OAAO;QACpB,UAAU,EAAE,GAAG,CAAC,UAAU;QAC1B,YAAY,EAAE,GAAG,CAAC,YAAY,IAAI,IAAI;QACtC,SAAS,EAAE,GAAG,CAAC,SAAS,IAAI,QAAQ;QACpC,IAAI,EAAE,GAAG,CAAC,IAAI;KACd,CAAC,CAAC,CAAC;IAEJ,MAAM,UAAU,GAAG,WAAW,CAAC,oBAAoB,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAC9D,UAAU,EAAE,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI;QAC9C,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,KAAK;KACtB,CAAC,CAAC,CAAC;IAEJ,6EAA6E;IAC7E,6EAA6E;IAC7E,MAAM,cAAc,GAAG,WAAW,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;IAC5D,MAAM,gBAAgB,GAAa,EAAE,CAAC;IACtC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,EAAE,IAAI,WAAW,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;QAChD,MAAM,SAAS,GAAG,CAAC,EAAE,CAAC,gBAAgB,IAAI,WAAW,CAAC,UAAU,CAAC,CAAC,WAAW,EAAE,CAAC;QAChF,IAAI,SAAS,KAAK,cAAc;YAAE,SAAS;QAC3C,MAAM,OAAO,GAAG,EAAE,CAAC,eAAe,CAAC,WAAW,EAAE,CAAC;QACjD,IAAI,OAAO,KAAK,WAAW,CAAC,IAAI,CAAC,WAAW,EAAE;YAAE,SAAS,CAAC,UAAU;QACpE,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,SAAS;QAChC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAClB,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAChC,CAAC;IAED,6EAA6E;IAC7E,0EAA0E;IAC1E,yBAAyB;IACzB,8EAA8E;IAC9E,6EAA6E;IAC7E,4EAA4E;IAC5E,8EAA8E;IAC9E,2DAA2D;IAC3D,kEAAkE;IAClE,wEAAwE;IACxE,gDAAgD;IAChD,MAAM,gBAAgB,GAAqC,EAAE,CAAC;IAC9D,KAAK,MAAM,CAAC,IAAI,WAAW,CAAC,gBAAgB,IAAI,EAAE,EAAE,CAAC;QACpD,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7C,gBAAgB,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,UAAU,EAAE,wBAAwB,CAAC,OAAO,EAAE,CAAC,EAAE,WAAW,CAAC,EAAE,CAAC,CAAC;QACtH,CAAC;IACF,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,WAAW,CAAC,iBAAiB,IAAI,EAAE,EAAE,CAAC;QACrD,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,gBAAgB,EAAE,CAAC;YACpE,gBAAgB,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,UAAU,EAAE,wBAAwB,CAAC,QAAQ,EAAE,CAAC,EAAE,WAAW,CAAC,EAAE,CAAC,CAAC;QACvH,CAAC;IACF,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,WAAW,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;QAC/C,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7C,gBAAgB,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,UAAU,EAAE,wBAAwB,CAAC,YAAY,EAAE,CAAC,EAAE,WAAW,CAAC,EAAE,CAAC,CAAC;QAC3H,CAAC;IACF,CAAC;IAED,OAAO;QACN,IAAI,EAAE,WAAW,CAAC,IAAI;QACtB,GAAG;QACH,OAAO;QACP,UAAU;QACV,gBAAgB;QAChB,IAAI,EAAE,WAAW,CAAC,IAAI;QACtB,gBAAgB;QAChB,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,oBAAoB,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACjF,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,SAAS,oBAAoB,CAAC,KAA4B;IACzD,MAAM,OAAO,GAAG,sBAAsB,CAAC,KAAK,CAAC,cAAc,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC7E,OAAO;QACN,QAAQ,EAAE,KAAK,CAAC,UAAU,CAAC,QAAQ;QACnC,iBAAiB,EAAE,OAAO,CAAC,gBAAgB;QAC3C,iBAAiB,EAAE,OAAO,CAAC,gBAAgB;KAC3C,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAAC,UAAsB;IAClD,OAAO;QACN,IAAI,EAAE,UAAU,CAAC,IAAI;QACrB,GAAG,EAAE,UAAU,CAAC,GAAG;QACnB,UAAU,EAAE,+BAA+B,CAAC,UAAU,CAAC,OAAO,EAAE,UAAU,CAAC,SAAS,CAAC;QACrF,IAAI,EAAE,UAAU,CAAC,IAAI;KACrB,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,yBAAyB,GAAG,+BAA+B,CAAC;AAElE;;;;;;;;;;GAUG;AACH,SAAS,6BAA6B,CAAC,WAAwB;IAC9D,MAAM,GAAG,GAAG,IAAI,GAAG,EAAmB,CAAC;IACvC,KAAK,MAAM,EAAE,IAAI,WAAW,CAAC,iBAAiB,IAAI,EAAE,EAAE,CAAC;QACtD,IAAI,EAAE,CAAC,gBAAgB;YAAE,SAAS;QAClC,GAAG,CAAC,GAAG,CAAC,iBAAiB,CAAC,WAAW,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,yBAAyB,CAAC,KAAK,IAAI,CAAC,CAAC;IAC5F,CAAC;IACD,OAAO,GAAG,CAAC;AACZ,CAAC;AAED;;;;;;GAMG;AACH,SAAS,iBAAiB,CAAC,WAAwB,EAAE,EAA0B;IAC9E,MAAM,QAAQ,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAChF,OAAO,EAAE,CAAC,IAAI,IAAI,OAAO,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;AAC/C,CAAC;AAuBD;;;;;;;;;GASG;AACH,MAAM,UAAU,sBAAsB,CAAC,WAAwB;IAC9D,MAAM,MAAM,GAA4B,EAAE,CAAC;IAC3C,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IAC7F,KAAK,MAAM,EAAE,IAAI,WAAW,CAAC,iBAAiB,IAAI,EAAE,EAAE,CAAC;QACtD,IAAI,EAAE,CAAC,gBAAgB;YAAE,SAAS;QAClC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,yBAAyB,CAAC,KAAK,IAAI;YAAE,SAAS;QAC5D,MAAM,IAAI,GAAG,iBAAiB,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;QAChD,IAAI,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;YAAE,SAAS,CAAC,iCAAiC;QACrF,MAAM,CAAC,IAAI,CAAC;YACX,IAAI;YACJ,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC;YACzG,SAAS,EAAE,EAAE,CAAC,SAAS;YACvB,IAAI,EAAE,EAAE,CAAC,gBAAgB;SACzB,CAAC,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC;AACf,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,kCAAkC,CAAC,WAAwB,EAAE,SAAiB;IAC7F,MAAM,KAAK,GAAG,SAAS,CAAC,WAAW,EAAE,CAAC;IACtC,MAAM,GAAG,GAAG,WAAW,CAAC,iBAAiB,IAAI,EAAE,CAAC;IAChD,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IAC7F,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QAClB,IAAI,EAAE,CAAC,gBAAgB;YAAE,SAAS;QAClC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,yBAAyB,CAAC,KAAK,IAAI;YAAE,SAAS;QAC5D,MAAM,IAAI,GAAG,iBAAiB,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;QAC9D,IAAI,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QACrC,IAAI,IAAI,KAAK,KAAK;YAAE,OAAO,CAAC,CAAC;IAC9B,CAAC;IACD,OAAO,CAAC,CAAC,CAAC;AACX,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,qBAAqB,CAAC,WAAwB,EAAE,SAAiB;IAChF,OAAO,6BAA6B,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,KAAK,CAAC;AAC5E,CAAC;AAED,SAAS,oBAAoB,CAC5B,WAAwB,EACxB,WAAwB,EACxB,EAAY;AACZ,yFAAyF;AACzF,QAAQ,GAAG,KAAK;IAEhB,MAAM,KAAK,GAAiB;QAC3B,IAAI,EAAE,WAAW,CAAC,IAAI;QACtB,SAAS,EAAE,WAAW,CAAC,IAAI;QAC3B,GAAG,EAAE,gBAAgB,CAAC,WAAW,EAAE,WAAW,EAAE,EAAE,CAAC;QACnD,UAAU,EAAE,mBAAmB,CAAC,WAAW,EAAE,WAAW,CAAC;QACzD,IAAI,EAAE,WAAW,CAAC,IAAI;KACtB,CAAC;IACF,kFAAkF;IAClF,IAAI,QAAQ;QAAE,KAAK,CAAC,QAAQ,GAAG,IAAI,CAAC;IACpC,OAAO,KAAK,CAAC;AACd,CAAC;AAED,SAAS,wBAAwB,CAAC,eAAyC;IAC1E,4EAA4E;IAC5E,iFAAiF;IACjF,wEAAwE;IACxE,4EAA4E;IAC5E,2EAA2E;IAC3E,iFAAiF;IACjF,EAAE;IACF,+EAA+E;IAC/E,uEAAuE;IACvE,6EAA6E;IAC7E,0EAA0E;IAC1E,gDAAgD;IAChD,MAAM,QAAQ,GAAG,eAAe,CAAC,eAAe;QAC/C,CAAC,CAAC,kBAAkB,CAAC,eAAe,CAAC,eAAe,CAAC;QACrD,CAAC,CAAC,eAAe,CAAC,YAAY,CAAC;IAChC,OAAO;QACN,IAAI,EAAE,eAAe,CAAC,IAAI;QAC1B,GAAG,EAAE,oBAAoB,eAAe,CAAC,eAAe,CAAC,IAAI,CAAC,WAAW,QAAQ,GAAG;KACpF,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,mBAAmB,CAAC,cAAqC,EAAE,YAAqB;IAC/F,MAAM,aAAa,GAAa,EAAE,CAAC;IAEnC,KAAK,MAAM,IAAI,IAAI,cAAc,CAAC,KAAK,EAAE,CAAC;QACzC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,eAAe,CAAC,CAAC,CAAC;gBACtB,8CAA8C;gBAC9C,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;gBACjC,IAAI,YAAY,IAAI,YAAY,KAAK,MAAM,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;oBACxE,MAAM,aAAa,GAAwB;wBAC1C,GAAG,SAAS;wBACZ,KAAK,EAAE;4BACN,GAAG,SAAS,CAAC,KAAK;4BAClB,MAAM,EAAE,YAAY;yBACpB;qBACD,CAAC;oBACF,aAAa,CAAC,IAAI,CAAC,mBAAmB,CAAC,aAAa,CAAC,CAAC,CAAC;gBACxD,CAAC;qBAAM,CAAC;oBACP,aAAa,CAAC,IAAI,CAAC,mBAAmB,CAAC,SAAS,CAAC,CAAC,CAAC;gBACpD,CAAC;gBACD,MAAM;YACP,CAAC;YACD,KAAK,eAAe,CAAC,CAAC,CAAC;gBACtB,2CAA2C;gBAC3C,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;gBACjC,IAAI,YAAY,IAAI,YAAY,KAAK,MAAM,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;oBACxE,MAAM,aAAa,GAAwB;wBAC1C,GAAG,SAAS;wBACZ,KAAK,EAAE;4BACN,GAAG,SAAS,CAAC,KAAK;4BAClB,MAAM,EAAE,YAAY;yBACpB;qBACD,CAAC;oBACF,aAAa,CAAC,IAAI,CAAC,mBAAmB,CAAC,aAAa,CAAC,CAAC,CAAC;gBACxD,CAAC;qBAAM,CAAC;oBACP,aAAa,CAAC,IAAI,CAAC,mBAAmB,CAAC,SAAS,CAAC,CAAC,CAAC;gBACpD,CAAC;gBACD,MAAM;YACP,CAAC;YACD,KAAK,cAAc,CAAC,CAAC,CAAC;gBACrB,6CAA6C;gBAC7C,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;gBAC/B,IAAI,YAAY,IAAI,YAAY,KAAK,MAAM,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;oBACtE,MAAM,aAAa,GAAuB;wBACzC,GAAG,QAAQ;wBACX,IAAI,EAAE;4BACL,GAAG,QAAQ,CAAC,IAAI;4BAChB,MAAM,EAAE,YAAY;yBACpB;qBACD,CAAC;oBACF,aAAa,CAAC,IAAI,CAAC,kBAAkB,CAAC,aAAa,CAAC,CAAC,CAAC;gBACvD,CAAC;qBAAM,CAAC;oBACP,aAAa,CAAC,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAAC;gBAClD,CAAC;gBACD,MAAM;YACP,CAAC;YACD,KAAK,0BAA0B,CAAC,CAAC,CAAC;gBACjC,2CAA2C;gBAC3C,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC;gBAC7B,IAAI,YAAY,IAAI,YAAY,KAAK,MAAM,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;oBACpE,MAAM,aAAa,GAAmC;wBACrD,GAAG,MAAM;wBACT,IAAI,EAAE;4BACL,GAAG,MAAM,CAAC,IAAI;4BACd,MAAM,EAAE,YAAY;yBACpB;qBACD,CAAC;oBACF,aAAa,CAAC,IAAI,CAAC,8BAA8B,CAAC,aAAa,CAAC,CAAC,CAAC;gBACnE,CAAC;qBAAM,CAAC;oBACP,aAAa,CAAC,IAAI,CAAC,8BAA8B,CAAC,MAAM,CAAC,CAAC,CAAC;gBAC5D,CAAC;gBACD,MAAM;YACP,CAAC;QACF,CAAC;IACF,CAAC;IAED,OAAO,aAAa,CAAC;AACtB,CAAC"}

package/dist/src/schema/change-events.d.ts

@@ -1,6 +1,7 @@
 import type { TableSchema } from './table.js';
 import type { FunctionSchema } from './function.js';
 import type { IntegrityAssertionSchema } from './assertion.js';
+import type { ViewSchema } from './view.js';
 interface SchemaObjectAdded<Type extends string, T> {
     type: Type;
     schemaName: string;
@@ -29,6 +30,46 @@ export type FunctionModifiedEvent = SchemaObjectModified<'function_modified', Fu
 export type AssertionAddedEvent = SchemaObjectAdded<'assertion_added', IntegrityAssertionSchema>;
 export type AssertionRemovedEvent = SchemaObjectRemoved<'assertion_removed', IntegrityAssertionSchema>;
 export type AssertionModifiedEvent = SchemaObjectModified<'assertion_modified', IntegrityAssertionSchema>;
+/**
+ * Emitted after a plain `CREATE VIEW` / `DROP VIEW` (fired from the runtime
+ * emitters, NOT from `Schema.addView`/`removeView`). Scoping the event to the
+ * DDL emitters deliberately excludes internally-registered views (lens effective
+ * bodies, any other direct `schema.addView` caller) which must NOT be persisted
+ * to a store-backed catalog — they are re-derived, not stored. A store catalog
+ * subscribes to these to persist/forget a view incrementally. Mirrors how the MV
+ * emitters fire `materialized_view_added`/`_removed`.
+ */
+export type ViewAddedEvent = SchemaObjectAdded<'view_added', ViewSchema>;
+export type ViewRemovedEvent = SchemaObjectRemoved<'view_removed', ViewSchema>;
+/**
+ * Emitted after an in-place change to an existing (non-materialized) view. Two
+ * sources fire it: `ALTER VIEW … SET TAGS`, and an `ALTER TABLE/COLUMN RENAME`
+ * that rewrites a dependent view's body in place (propagating the new
+ * table/column name into `selectAst` + `sql`). Distinct from `view_added`
+ * (which a fresh create fires) so a cached write-through plan that recorded a
+ * `view` dependency invalidates when the view changes, and so a store-backed
+ * catalog re-persists the (re-generated) view DDL — both without re-triggering
+ * a persistence re-create.
+ */
+export type ViewModifiedEvent = SchemaObjectModified<'view_modified', ViewSchema>;
+export type MaterializedViewAddedEvent = SchemaObjectAdded<'materialized_view_added', TableSchema>;
+export type MaterializedViewRemovedEvent = SchemaObjectRemoved<'materialized_view_removed', TableSchema>;
+/**
+ * Emitted after an in-place change to an existing materialized view — currently
+ * only `ALTER MATERIALIZED VIEW … SET TAGS`. Deliberately **distinct** from
+ * `materialized_view_added` (which the MV maintenance manager treats as a
+ * re-registration trigger): a tag change must invalidate dependent cached
+ * write-through plans WITHOUT re-registering maintenance or rebuilding the
+ * backing. No maintenance listener subscribes to this event.
+ */
+export type MaterializedViewModifiedEvent = SchemaObjectModified<'materialized_view_modified', TableSchema>;
+/** Emitted after a successful `REFRESH MATERIALIZED VIEW`. Carries the current schema. */
+export interface MaterializedViewRefreshedEvent {
+    type: 'materialized_view_refreshed';
+    schemaName: string;
+    objectName: string;
+    object: TableSchema;
+}
 interface SchemaNameEvent<Type extends string> {
     type: Type;
     schemaName: string;
@@ -38,7 +79,7 @@ export type ModuleAddedEvent = SchemaNameEvent<'module_added'>;
 export type ModuleRemovedEvent = SchemaNameEvent<'module_removed'>;
 export type CollationAddedEvent = SchemaNameEvent<'collation_added'>;
 export type CollationRemovedEvent = SchemaNameEvent<'collation_removed'>;
-export type SchemaChangeEvent = TableAddedEvent | TableRemovedEvent | TableModifiedEvent | FunctionAddedEvent | FunctionRemovedEvent | FunctionModifiedEvent | AssertionAddedEvent | AssertionRemovedEvent | AssertionModifiedEvent | ModuleAddedEvent | ModuleRemovedEvent | CollationAddedEvent | CollationRemovedEvent;
+export type SchemaChangeEvent = TableAddedEvent | TableRemovedEvent | TableModifiedEvent | FunctionAddedEvent | FunctionRemovedEvent | FunctionModifiedEvent | AssertionAddedEvent | AssertionRemovedEvent | AssertionModifiedEvent | ViewAddedEvent | ViewRemovedEvent | ViewModifiedEvent | MaterializedViewAddedEvent | MaterializedViewRemovedEvent | MaterializedViewModifiedEvent | MaterializedViewRefreshedEvent | ModuleAddedEvent | ModuleRemovedEvent | CollationAddedEvent | CollationRemovedEvent;
 /**
  * Function that handles schema change events.
  */

package/dist/src/schema/change-events.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"change-events.d.ts","sourceRoot":"","sources":["../../../src/schema/change-events.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAC9C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AACpD,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,gBAAgB,CAAC;AAO/D,UAAU,iBAAiB,CAAC,IAAI,SAAS,MAAM,EAAE,CAAC;IACjD,IAAI,EAAE,IAAI,CAAC;IACX,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,CAAC,CAAC;CACb;AAED,UAAU,mBAAmB,CAAC,IAAI,SAAS,MAAM,EAAE,CAAC;IACnD,IAAI,EAAE,IAAI,CAAC;IACX,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,CAAC,CAAC;CACb;AAED,UAAU,oBAAoB,CAAC,IAAI,SAAS,MAAM,EAAE,CAAC;IACpD,IAAI,EAAE,IAAI,CAAC;IACX,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,CAAC,CAAC;IACb,SAAS,EAAE,CAAC,CAAC;CACb;AAID,MAAM,MAAM,eAAe,GAAG,iBAAiB,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC;AAC5E,MAAM,MAAM,iBAAiB,GAAG,mBAAmB,CAAC,eAAe,EAAE,WAAW,CAAC,CAAC;AAClF,MAAM,MAAM,kBAAkB,GAAG,oBAAoB,CAAC,gBAAgB,EAAE,WAAW,CAAC,CAAC;AAIrF,MAAM,MAAM,kBAAkB,GAAG,iBAAiB,CAAC,gBAAgB,EAAE,cAAc,CAAC,CAAC;AACrF,MAAM,MAAM,oBAAoB,GAAG,mBAAmB,CAAC,kBAAkB,EAAE,cAAc,CAAC,CAAC;AAC3F,MAAM,MAAM,qBAAqB,GAAG,oBAAoB,CAAC,mBAAmB,EAAE,cAAc,CAAC,CAAC;AAI9F,MAAM,MAAM,mBAAmB,GAAG,iBAAiB,CAAC,iBAAiB,EAAE,wBAAwB,CAAC,CAAC;AACjG,MAAM,MAAM,qBAAqB,GAAG,mBAAmB,CAAC,mBAAmB,EAAE,wBAAwB,CAAC,CAAC;AACvG,MAAM,MAAM,sBAAsB,GAAG,oBAAoB,CAAC,oBAAoB,EAAE,wBAAwB,CAAC,CAAC;AAI1G,UAAU,eAAe,CAAC,IAAI,SAAS,MAAM;IAC5C,IAAI,EAAE,IAAI,CAAC;IACX,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,MAAM,gBAAgB,GAAG,eAAe,CAAC,cAAc,CAAC,CAAC;AAC/D,MAAM,MAAM,kBAAkB,GAAG,eAAe,CAAC,gBAAgB,CAAC,CAAC;AACnE,MAAM,MAAM,mBAAmB,GAAG,eAAe,CAAC,iBAAiB,CAAC,CAAC;AACrE,MAAM,MAAM,qBAAqB,GAAG,eAAe,CAAC,mBAAmB,CAAC,CAAC;AAIzE,MAAM,MAAM,iBAAiB,GAC1B,eAAe,GACf,iBAAiB,GACjB,kBAAkB,GAClB,kBAAkB,GAClB,oBAAoB,GACpB,qBAAqB,GACrB,mBAAmB,GACnB,qBAAqB,GACrB,sBAAsB,GACtB,gBAAgB,GAChB,kBAAkB,GAClB,mBAAmB,GACnB,qBAAqB,CAAC;AAEzB;;GAEG;AACH,MAAM,MAAM,oBAAoB,GAAG,CAAC,KAAK,EAAE,iBAAiB,KAAK,IAAI,CAAC;AAEtE;;GAEG;AACH,qBAAa,oBAAoB;IAChC,OAAO,CAAC,SAAS,CAAmC;IAEpD;;;OAGG;IACH,WAAW,CAAC,QAAQ,EAAE,oBAAoB,GAAG,MAAM,IAAI;IAMvD;;OAEG;IACH,cAAc,CAAC,QAAQ,EAAE,oBAAoB,GAAG,IAAI;IAOpD;;OAEG;IACH,YAAY,CAAC,KAAK,EAAE,iBAAiB,GAAG,IAAI;IAa5C;;OAEG;IACH,gBAAgB,IAAI,MAAM;IAI1B;;OAEG;IACH,cAAc,IAAI,IAAI;CAKtB"}
+{"version":3,"file":"change-events.d.ts","sourceRoot":"","sources":["../../../src/schema/change-events.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAC9C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AACpD,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,gBAAgB,CAAC;AAC/D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAO5C,UAAU,iBAAiB,CAAC,IAAI,SAAS,MAAM,EAAE,CAAC;IACjD,IAAI,EAAE,IAAI,CAAC;IACX,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,CAAC,CAAC;CACb;AAED,UAAU,mBAAmB,CAAC,IAAI,SAAS,MAAM,EAAE,CAAC;IACnD,IAAI,EAAE,IAAI,CAAC;IACX,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,CAAC,CAAC;CACb;AAED,UAAU,oBAAoB,CAAC,IAAI,SAAS,MAAM,EAAE,CAAC;IACpD,IAAI,EAAE,IAAI,CAAC;IACX,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,CAAC,CAAC;IACb,SAAS,EAAE,CAAC,CAAC;CACb;AAID,MAAM,MAAM,eAAe,GAAG,iBAAiB,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC;AAC5E,MAAM,MAAM,iBAAiB,GAAG,mBAAmB,CAAC,eAAe,EAAE,WAAW,CAAC,CAAC;AAClF,MAAM,MAAM,kBAAkB,GAAG,oBAAoB,CAAC,gBAAgB,EAAE,WAAW,CAAC,CAAC;AAIrF,MAAM,MAAM,kBAAkB,GAAG,iBAAiB,CAAC,gBAAgB,EAAE,cAAc,CAAC,CAAC;AACrF,MAAM,MAAM,oBAAoB,GAAG,mBAAmB,CAAC,kBAAkB,EAAE,cAAc,CAAC,CAAC;AAC3F,MAAM,MAAM,qBAAqB,GAAG,oBAAoB,CAAC,mBAAmB,EAAE,cAAc,CAAC,CAAC;AAI9F,MAAM,MAAM,mBAAmB,GAAG,iBAAiB,CAAC,iBAAiB,EAAE,wBAAwB,CAAC,CAAC;AACjG,MAAM,MAAM,qBAAqB,GAAG,mBAAmB,CAAC,mBAAmB,EAAE,wBAAwB,CAAC,CAAC;AACvG,MAAM,MAAM,sBAAsB,GAAG,oBAAoB,CAAC,oBAAoB,EAAE,wBAAwB,CAAC,CAAC;AAI1G;;;;;;;;GAQG;AACH,MAAM,MAAM,cAAc,GAAG,iBAAiB,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;AACzE,MAAM,MAAM,gBAAgB,GAAG,mBAAmB,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC;AAE/E;;;;;;;;;GASG;AACH,MAAM,MAAM,iBAAiB,GAAG,oBAAoB,CAAC,eAAe,EAAE,UAAU,CAAC,CAAC;AAQlF,MAAM,MAAM,0BAA0B,GAAG,iBAAiB,CAAC,yBAAyB,EAAE,WAAW,CAAC,CAAC;AACnG,MAAM,MAAM,4BAA4B,GAAG,mBAAmB,CAAC,2BAA2B,EAAE,WAAW,CAAC,CAAC;AAEzG;;;;;;;GAOG;AACH,MAAM,MAAM,6BAA6B,GAAG,oBAAoB,CAAC,4BAA4B,EAAE,WAAW,CAAC,CAAC;AAE5G,0FAA0F;AAC1F,MAAM,WAAW,8BAA8B;IAC9C,IAAI,EAAE,6BAA6B,CAAC;IACpC,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,WAAW,CAAC;CACpB;AAID,UAAU,eAAe,CAAC,IAAI,SAAS,MAAM;IAC5C,IAAI,EAAE,IAAI,CAAC;IACX,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,MAAM,gBAAgB,GAAG,eAAe,CAAC,cAAc,CAAC,CAAC;AAC/D,MAAM,MAAM,kBAAkB,GAAG,eAAe,CAAC,gBAAgB,CAAC,CAAC;AACnE,MAAM,MAAM,mBAAmB,GAAG,eAAe,CAAC,iBAAiB,CAAC,CAAC;AACrE,MAAM,MAAM,qBAAqB,GAAG,eAAe,CAAC,mBAAmB,CAAC,CAAC;AAIzE,MAAM,MAAM,iBAAiB,GAC1B,eAAe,GACf,iBAAiB,GACjB,kBAAkB,GAClB,kBAAkB,GAClB,oBAAoB,GACpB,qBAAqB,GACrB,mBAAmB,GACnB,qBAAqB,GACrB,sBAAsB,GACtB,cAAc,GACd,gBAAgB,GAChB,iBAAiB,GACjB,0BAA0B,GAC1B,4BAA4B,GAC5B,6BAA6B,GAC7B,8BAA8B,GAC9B,gBAAgB,GAChB,kBAAkB,GAClB,mBAAmB,GACnB,qBAAqB,CAAC;AAEzB;;GAEG;AACH,MAAM,MAAM,oBAAoB,GAAG,CAAC,KAAK,EAAE,iBAAiB,KAAK,IAAI,CAAC;AAEtE;;GAEG;AACH,qBAAa,oBAAoB;IAChC,OAAO,CAAC,SAAS,CAAmC;IAEpD;;;OAGG;IACH,WAAW,CAAC,QAAQ,EAAE,oBAAoB,GAAG,MAAM,IAAI;IAMvD;;OAEG;IACH,cAAc,CAAC,QAAQ,EAAE,oBAAoB,GAAG,IAAI;IAOpD;;OAEG;IACH,YAAY,CAAC,KAAK,EAAE,iBAAiB,GAAG,IAAI;IAa5C;;OAEG;IACH,gBAAgB,IAAI,MAAM;IAI1B;;OAEG;IACH,cAAc,IAAI,IAAI;CAKtB"}

package/dist/src/schema/change-events.js.map

@@ -1 +1 @@
-{"version":3,"file":"change-events.js","sourceRoot":"","sources":["../../../src/schema/change-events.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAEnD,MAAM,GAAG,GAAG,YAAY,CAAC,sBAAsB,CAAC,CAAC;AA+EjD;;GAEG;AACH,MAAM,OAAO,oBAAoB;IACxB,SAAS,GAAG,IAAI,GAAG,EAAwB,CAAC;IAEpD;;;OAGG;IACH,WAAW,CAAC,QAA8B;QACzC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC7B,GAAG,CAAC,mDAAmD,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC9E,OAAO,GAAG,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;IAC5C,CAAC;IAED;;OAEG;IACH,cAAc,CAAC,QAA8B;QAC5C,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAChD,IAAI,OAAO,EAAE,CAAC;YACb,GAAG,CAAC,qDAAqD,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACjF,CAAC;IACF,CAAC;IAED;;OAEG;IACH,YAAY,CAAC,KAAwB;QACpC,GAAG,CAAC,gDAAgD,EACnD,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;QAEpD,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACvC,IAAI,CAAC;gBACJ,QAAQ,CAAC,KAAK,CAAC,CAAC;YACjB,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBAChB,GAAG,CAAC,qCAAqC,EAAE,KAAK,CAAC,CAAC;YACnD,CAAC;QACF,CAAC;IACF,CAAC;IAED;;OAEG;IACH,gBAAgB;QACf,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;IAC5B,CAAC;IAED;;OAEG;IACH,cAAc;QACb,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;QAClC,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;QACvB,GAAG,CAAC,wCAAwC,EAAE,KAAK,CAAC,CAAC;IACtD,CAAC;CACD"}
+{"version":3,"file":"change-events.js","sourceRoot":"","sources":["../../../src/schema/change-events.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAEnD,MAAM,GAAG,GAAG,YAAY,CAAC,sBAAsB,CAAC,CAAC;AA2IjD;;GAEG;AACH,MAAM,OAAO,oBAAoB;IACxB,SAAS,GAAG,IAAI,GAAG,EAAwB,CAAC;IAEpD;;;OAGG;IACH,WAAW,CAAC,QAA8B;QACzC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC7B,GAAG,CAAC,mDAAmD,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC9E,OAAO,GAAG,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;IAC5C,CAAC;IAED;;OAEG;IACH,cAAc,CAAC,QAA8B;QAC5C,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAChD,IAAI,OAAO,EAAE,CAAC;YACb,GAAG,CAAC,qDAAqD,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACjF,CAAC;IACF,CAAC;IAED;;OAEG;IACH,YAAY,CAAC,KAAwB;QACpC,GAAG,CAAC,gDAAgD,EACnD,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;QAEpD,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACvC,IAAI,CAAC;gBACJ,QAAQ,CAAC,KAAK,CAAC,CAAC;YACjB,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBAChB,GAAG,CAAC,qCAAqC,EAAE,KAAK,CAAC,CAAC;YACnD,CAAC;QACF,CAAC;IACF,CAAC;IAED;;OAEG;IACH,gBAAgB;QACf,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;IAC5B,CAAC;IAED;;OAEG;IACH,cAAc;QACb,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;QAClC,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;QACvB,GAAG,CAAC,wCAAwC,EAAE,KAAK,CAAC,CAAC;IACtD,CAAC;CACD"}