@quereus/quereus 3.2.1 → 4.0.0

package/dist/src/schema/declared-schema-manager.d.ts

@@ -1,11 +1,38 @@
 import type * as AST from '../parser/ast.js';
 import type { SqlValue } from '../common/types.js';
+import type { LensDeploymentSnapshot } from './lens.js';
+import type { LensDeployReport } from './lens-prover.js';
+/** A rotated pair of lens deployment snapshots for one logical schema. */
+export interface LensSnapshotPair {
+    /** The deploy before `current` — the backfill differ's "prior basis". */
+    previous?: LensDeploymentSnapshot;
+    /** The most recent deploy. */
+    current?: LensDeploymentSnapshot;
+}
 /**
  * Manages declared schemas and their associated seed data
  */
 export declare class DeclaredSchemaManager {
     private declaredSchemas;
     private seedData;
+    /** Lens blocks keyed by *logical* schema name (the `for X` of `declare lens for X over Y`). */
+    private lensDeclarations;
+    /**
+     * Rotated lens deployment snapshots keyed by *logical* schema name. Each
+     * `apply schema X` rotates (`previous = current; current = fresh`), so the
+     * prior deploy survives one re-apply — the source of truth the
+     * `quereus_basis_backfill` differ diffs (see `docs/lens.md`
+     * § The deployed basis representation).
+     */
+    private deployedLensSnapshots;
+    /**
+     * Latest lens deploy report (prover warnings + per-constraint obligations)
+     * keyed by *logical* schema name. Captured on each successful `apply schema X`.
+     * This is the **stable hook** the sibling acknowledgment ticket
+     * (`lens-advisory-acknowledgment`) reads to fingerprint / tally / expand the
+     * advisories. Errors never reach here — they throw atomically during deploy.
+     */
+    private deployedLensReports;
     /**
      * Stores a declared schema
      */
@@ -38,5 +65,29 @@ export declare class DeclaredSchemaManager {
      * Removes a declared schema and its seed data
      */
     removeDeclaredSchema(schemaName: string): void;
+    /**
+     * Stores (replacing any prior) the lens block for a logical schema. Keyed by
+     * the logical schema name (`for X`); re-declaring a lens for X overwrites,
+     * matching `declare schema`'s overwrite-on-redeclare. See docs/lens.md § D1.
+     */
+    setLensDeclaration(logicalSchemaName: string, declaration: AST.DeclareLensStmt): void;
+    /** Retrieves the lens block declared for a logical schema, if any. */
+    getLensDeclaration(logicalSchemaName: string): AST.DeclareLensStmt | undefined;
+    /**
+     * Rotates a freshly-built lens deployment snapshot in: the prior `current`
+     * becomes `previous`, dropping the snapshot from two deploys ago. A first
+     * deploy leaves `previous` undefined (⇒ no backfill rows).
+     */
+    rotateDeployedLensSnapshot(logicalSchemaName: string, snapshot: LensDeploymentSnapshot): void;
+    /** Retrieves the rotated `{ previous, current }` snapshot pair for a logical schema, if any. */
+    getDeployedLensSnapshots(logicalSchemaName: string): LensSnapshotPair | undefined;
+    /**
+     * Stores (replacing any prior) the lens deploy report for a logical schema,
+     * captured on each successful `apply schema X`. The stable hook the sibling
+     * acknowledgment ticket consumes (see {@link deployedLensReports}).
+     */
+    setDeployedLensReport(logicalSchemaName: string, report: LensDeployReport): void;
+    /** Retrieves the latest lens deploy report for a logical schema, if any. */
+    getDeployedLensReport(logicalSchemaName: string): LensDeployReport | undefined;
 }
 //# sourceMappingURL=declared-schema-manager.d.ts.map

package/dist/src/schema/declared-schema-manager.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"declared-schema-manager.d.ts","sourceRoot":"","sources":["../../../src/schema/declared-schema-manager.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,GAAG,MAAM,kBAAkB,CAAC;AAC7C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAKnD;;GAEG;AACH,qBAAa,qBAAqB;IACjC,OAAO,CAAC,eAAe,CAAiD;IACxE,OAAO,CAAC,QAAQ,CAAqD;IAErE;;OAEG;IACH,iBAAiB,CAAC,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,CAAC,iBAAiB,GAAG,IAAI;IAK/E;;OAEG;IACH,iBAAiB,CAAC,UAAU,EAAE,MAAM,GAAG,GAAG,CAAC,iBAAiB,GAAG,SAAS;IAIxE;;OAEG;IACH,iBAAiB,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO;IAI9C;;OAEG;IACH,WAAW,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,GAAG,IAAI;IAU5E;;OAEG;IACH,WAAW,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,QAAQ,EAAE,EAAE,GAAG,SAAS;IAM5E;;OAEG;IACH,cAAc,CAAC,UAAU,EAAE,MAAM,GAAG,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,EAAE,CAAC;IAI7D;;OAEG;IACH,aAAa,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI;IAKvC;;OAEG;IACH,oBAAoB,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI;CAK9C"}
+{"version":3,"file":"declared-schema-manager.d.ts","sourceRoot":"","sources":["../../../src/schema/declared-schema-manager.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,GAAG,MAAM,kBAAkB,CAAC;AAC7C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAEnD,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,WAAW,CAAC;AACxD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAIzD,0EAA0E;AAC1E,MAAM,WAAW,gBAAgB;IAChC,yEAAyE;IACzE,QAAQ,CAAC,EAAE,sBAAsB,CAAC;IAClC,8BAA8B;IAC9B,OAAO,CAAC,EAAE,sBAAsB,CAAC;CACjC;AAED;;GAEG;AACH,qBAAa,qBAAqB;IACjC,OAAO,CAAC,eAAe,CAAiD;IACxE,OAAO,CAAC,QAAQ,CAAqD;IACrE,+FAA+F;IAC/F,OAAO,CAAC,gBAAgB,CAA+C;IACvE;;;;;;OAMG;IACH,OAAO,CAAC,qBAAqB,CAA4C;IACzE;;;;;;OAMG;IACH,OAAO,CAAC,mBAAmB,CAA4C;IAEvE;;OAEG;IACH,iBAAiB,CAAC,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,CAAC,iBAAiB,GAAG,IAAI;IAK/E;;OAEG;IACH,iBAAiB,CAAC,UAAU,EAAE,MAAM,GAAG,GAAG,CAAC,iBAAiB,GAAG,SAAS;IAIxE;;OAEG;IACH,iBAAiB,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO;IAI9C;;OAEG;IACH,WAAW,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,GAAG,IAAI;IAU5E;;OAEG;IACH,WAAW,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,QAAQ,EAAE,EAAE,GAAG,SAAS;IAM5E;;OAEG;IACH,cAAc,CAAC,UAAU,EAAE,MAAM,GAAG,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,EAAE,CAAC;IAI7D;;OAEG;IACH,aAAa,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI;IAKvC;;OAEG;IACH,oBAAoB,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI;IAS9C;;;;OAIG;IACH,kBAAkB,CAAC,iBAAiB,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,CAAC,eAAe,GAAG,IAAI;IAKrF,sEAAsE;IACtE,kBAAkB,CAAC,iBAAiB,EAAE,MAAM,GAAG,GAAG,CAAC,eAAe,GAAG,SAAS;IAI9E;;;;OAIG;IACH,0BAA0B,CAAC,iBAAiB,EAAE,MAAM,EAAE,QAAQ,EAAE,sBAAsB,GAAG,IAAI;IAO7F,gGAAgG;IAChG,wBAAwB,CAAC,iBAAiB,EAAE,MAAM,GAAG,gBAAgB,GAAG,SAAS;IAIjF;;;;OAIG;IACH,qBAAqB,CAAC,iBAAiB,EAAE,MAAM,EAAE,MAAM,EAAE,gBAAgB,GAAG,IAAI;IAIhF,4EAA4E;IAC5E,qBAAqB,CAAC,iBAAiB,EAAE,MAAM,GAAG,gBAAgB,GAAG,SAAS;CAG9E"}

package/dist/src/schema/declared-schema-manager.js

@@ -6,6 +6,24 @@ const log = createLogger('schema:declared');
 export class DeclaredSchemaManager {
     declaredSchemas = new Map();
     seedData = new Map(); // schemaName -> tableName -> rows
+    /** Lens blocks keyed by *logical* schema name (the `for X` of `declare lens for X over Y`). */
+    lensDeclarations = new Map();
+    /**
+     * Rotated lens deployment snapshots keyed by *logical* schema name. Each
+     * `apply schema X` rotates (`previous = current; current = fresh`), so the
+     * prior deploy survives one re-apply — the source of truth the
+     * `quereus_basis_backfill` differ diffs (see `docs/lens.md`
+     * § The deployed basis representation).
+     */
+    deployedLensSnapshots = new Map();
+    /**
+     * Latest lens deploy report (prover warnings + per-constraint obligations)
+     * keyed by *logical* schema name. Captured on each successful `apply schema X`.
+     * This is the **stable hook** the sibling acknowledgment ticket
+     * (`lens-advisory-acknowledgment`) reads to fingerprint / tally / expand the
+     * advisories. Errors never reach here — they throw atomically during deploy.
+     */
+    deployedLensReports = new Map();
     /**
      * Stores a declared schema
      */
@@ -65,7 +83,50 @@ export class DeclaredSchemaManager {
     removeDeclaredSchema(schemaName) {
         this.declaredSchemas.delete(schemaName.toLowerCase());
         this.seedData.delete(schemaName.toLowerCase());
+        this.lensDeclarations.delete(schemaName.toLowerCase());
+        this.deployedLensSnapshots.delete(schemaName.toLowerCase());
+        this.deployedLensReports.delete(schemaName.toLowerCase());
         log('Removed declared schema: %s', schemaName);
     }
+    /**
+     * Stores (replacing any prior) the lens block for a logical schema. Keyed by
+     * the logical schema name (`for X`); re-declaring a lens for X overwrites,
+     * matching `declare schema`'s overwrite-on-redeclare. See docs/lens.md § D1.
+     */
+    setLensDeclaration(logicalSchemaName, declaration) {
+        this.lensDeclarations.set(logicalSchemaName.toLowerCase(), declaration);
+        log('Stored lens declaration for: %s', logicalSchemaName);
+    }
+    /** Retrieves the lens block declared for a logical schema, if any. */
+    getLensDeclaration(logicalSchemaName) {
+        return this.lensDeclarations.get(logicalSchemaName.toLowerCase());
+    }
+    /**
+     * Rotates a freshly-built lens deployment snapshot in: the prior `current`
+     * becomes `previous`, dropping the snapshot from two deploys ago. A first
+     * deploy leaves `previous` undefined (⇒ no backfill rows).
+     */
+    rotateDeployedLensSnapshot(logicalSchemaName, snapshot) {
+        const key = logicalSchemaName.toLowerCase();
+        const previous = this.deployedLensSnapshots.get(key)?.current;
+        this.deployedLensSnapshots.set(key, { previous, current: snapshot });
+        log('Rotated lens deployment snapshot for: %s', logicalSchemaName);
+    }
+    /** Retrieves the rotated `{ previous, current }` snapshot pair for a logical schema, if any. */
+    getDeployedLensSnapshots(logicalSchemaName) {
+        return this.deployedLensSnapshots.get(logicalSchemaName.toLowerCase());
+    }
+    /**
+     * Stores (replacing any prior) the lens deploy report for a logical schema,
+     * captured on each successful `apply schema X`. The stable hook the sibling
+     * acknowledgment ticket consumes (see {@link deployedLensReports}).
+     */
+    setDeployedLensReport(logicalSchemaName, report) {
+        this.deployedLensReports.set(logicalSchemaName.toLowerCase(), report);
+    }
+    /** Retrieves the latest lens deploy report for a logical schema, if any. */
+    getDeployedLensReport(logicalSchemaName) {
+        return this.deployedLensReports.get(logicalSchemaName.toLowerCase());
+    }
 }
 //# sourceMappingURL=declared-schema-manager.js.map

package/dist/src/schema/declared-schema-manager.js.map

@@ -1 +1 @@
-{"version":3,"file":"declared-schema-manager.js","sourceRoot":"","sources":["../../../src/schema/declared-schema-manager.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAEnD,MAAM,GAAG,GAAG,YAAY,CAAC,iBAAiB,CAAC,CAAC;AAE5C;;GAEG;AACH,MAAM,OAAO,qBAAqB;IACzB,eAAe,GAAuC,IAAI,GAAG,EAAE,CAAC;IAChE,QAAQ,GAA2C,IAAI,GAAG,EAAE,CAAC,CAAC,kCAAkC;IAExG;;OAEG;IACH,iBAAiB,CAAC,UAAkB,EAAE,WAAkC;QACvE,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,WAAW,EAAE,EAAE,WAAW,CAAC,CAAC;QAChE,GAAG,CAAC,gCAAgC,EAAE,UAAU,CAAC,CAAC;IACnD,CAAC;IAED;;OAEG;IACH,iBAAiB,CAAC,UAAkB;QACnC,OAAO,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC,CAAC;IAC3D,CAAC;IAED;;OAEG;IACH,iBAAiB,CAAC,UAAkB;QACnC,OAAO,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC,CAAC;IAC3D,CAAC;IAED;;OAEG;IACH,WAAW,CAAC,UAAkB,EAAE,SAAiB,EAAE,IAAkB;QACpE,MAAM,WAAW,GAAG,UAAU,CAAC,WAAW,EAAE,CAAC;QAC7C,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;YACrC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,WAAW,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QAC3C,CAAC;QACD,MAAM,cAAc,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAE,CAAC;QACvD,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,WAAW,EAAE,EAAE,IAAI,CAAC,CAAC;QAClD,GAAG,CAAC,sCAAsC,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;IACjF,CAAC;IAED;;OAEG;IACH,WAAW,CAAC,UAAkB,EAAE,SAAiB;QAChD,MAAM,cAAc,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC,CAAC;QACnE,IAAI,CAAC,cAAc;YAAE,OAAO,SAAS,CAAC;QACtC,OAAO,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC,CAAC;IACpD,CAAC;IAED;;OAEG;IACH,cAAc,CAAC,UAAkB;QAChC,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC,IAAI,IAAI,GAAG,EAAE,CAAC;IACjE,CAAC;IAED;;OAEG;IACH,aAAa,CAAC,UAAkB;QAC/B,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC,CAAC;QAC/C,GAAG,CAAC,2BAA2B,EAAE,UAAU,CAAC,CAAC;IAC9C,CAAC;IAED;;OAEG;IACH,oBAAoB,CAAC,UAAkB;QACtC,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC,CAAC;QACtD,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC,CAAC;QAC/C,GAAG,CAAC,6BAA6B,EAAE,UAAU,CAAC,CAAC;IAChD,CAAC;CACD"}
+{"version":3,"file":"declared-schema-manager.js","sourceRoot":"","sources":["../../../src/schema/declared-schema-manager.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAInD,MAAM,GAAG,GAAG,YAAY,CAAC,iBAAiB,CAAC,CAAC;AAU5C;;GAEG;AACH,MAAM,OAAO,qBAAqB;IACzB,eAAe,GAAuC,IAAI,GAAG,EAAE,CAAC;IAChE,QAAQ,GAA2C,IAAI,GAAG,EAAE,CAAC,CAAC,kCAAkC;IACxG,+FAA+F;IACvF,gBAAgB,GAAqC,IAAI,GAAG,EAAE,CAAC;IACvE;;;;;;OAMG;IACK,qBAAqB,GAAkC,IAAI,GAAG,EAAE,CAAC;IACzE;;;;;;OAMG;IACK,mBAAmB,GAAkC,IAAI,GAAG,EAAE,CAAC;IAEvE;;OAEG;IACH,iBAAiB,CAAC,UAAkB,EAAE,WAAkC;QACvE,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,WAAW,EAAE,EAAE,WAAW,CAAC,CAAC;QAChE,GAAG,CAAC,gCAAgC,EAAE,UAAU,CAAC,CAAC;IACnD,CAAC;IAED;;OAEG;IACH,iBAAiB,CAAC,UAAkB;QACnC,OAAO,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC,CAAC;IAC3D,CAAC;IAED;;OAEG;IACH,iBAAiB,CAAC,UAAkB;QACnC,OAAO,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC,CAAC;IAC3D,CAAC;IAED;;OAEG;IACH,WAAW,CAAC,UAAkB,EAAE,SAAiB,EAAE,IAAkB;QACpE,MAAM,WAAW,GAAG,UAAU,CAAC,WAAW,EAAE,CAAC;QAC7C,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;YACrC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,WAAW,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QAC3C,CAAC;QACD,MAAM,cAAc,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAE,CAAC;QACvD,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,WAAW,EAAE,EAAE,IAAI,CAAC,CAAC;QAClD,GAAG,CAAC,sCAAsC,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;IACjF,CAAC;IAED;;OAEG;IACH,WAAW,CAAC,UAAkB,EAAE,SAAiB;QAChD,MAAM,cAAc,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC,CAAC;QACnE,IAAI,CAAC,cAAc;YAAE,OAAO,SAAS,CAAC;QACtC,OAAO,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC,CAAC;IACpD,CAAC;IAED;;OAEG;IACH,cAAc,CAAC,UAAkB;QAChC,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC,IAAI,IAAI,GAAG,EAAE,CAAC;IACjE,CAAC;IAED;;OAEG;IACH,aAAa,CAAC,UAAkB;QAC/B,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC,CAAC;QAC/C,GAAG,CAAC,2BAA2B,EAAE,UAAU,CAAC,CAAC;IAC9C,CAAC;IAED;;OAEG;IACH,oBAAoB,CAAC,UAAkB;QACtC,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC,CAAC;QACtD,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC,CAAC;QAC/C,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC,CAAC;QACvD,IAAI,CAAC,qBAAqB,CAAC,MAAM,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC,CAAC;QAC5D,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC,CAAC;QAC1D,GAAG,CAAC,6BAA6B,EAAE,UAAU,CAAC,CAAC;IAChD,CAAC;IAED;;;;OAIG;IACH,kBAAkB,CAAC,iBAAyB,EAAE,WAAgC;QAC7E,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,iBAAiB,CAAC,WAAW,EAAE,EAAE,WAAW,CAAC,CAAC;QACxE,GAAG,CAAC,iCAAiC,EAAE,iBAAiB,CAAC,CAAC;IAC3D,CAAC;IAED,sEAAsE;IACtE,kBAAkB,CAAC,iBAAyB;QAC3C,OAAO,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,iBAAiB,CAAC,WAAW,EAAE,CAAC,CAAC;IACnE,CAAC;IAED;;;;OAIG;IACH,0BAA0B,CAAC,iBAAyB,EAAE,QAAgC;QACrF,MAAM,GAAG,GAAG,iBAAiB,CAAC,WAAW,EAAE,CAAC;QAC5C,MAAM,QAAQ,GAAG,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC;QAC9D,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC;QACrE,GAAG,CAAC,0CAA0C,EAAE,iBAAiB,CAAC,CAAC;IACpE,CAAC;IAED,gGAAgG;IAChG,wBAAwB,CAAC,iBAAyB;QACjD,OAAO,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,iBAAiB,CAAC,WAAW,EAAE,CAAC,CAAC;IACxE,CAAC;IAED;;;;OAIG;IACH,qBAAqB,CAAC,iBAAyB,EAAE,MAAwB;QACxE,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,iBAAiB,CAAC,WAAW,EAAE,EAAE,MAAM,CAAC,CAAC;IACvE,CAAC;IAED,4EAA4E;IAC5E,qBAAqB,CAAC,iBAAyB;QAC9C,OAAO,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,iBAAiB,CAAC,WAAW,EAAE,CAAC,CAAC;IACtE,CAAC;CACD"}

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

@@ -0,0 +1,106 @@
+import type * as AST from '../parser/ast.js';
+import type { ChangeScope } from '../planner/analysis/change-scope.js';
+import type { CoarsenedKeyInfo } from './view.js';
+import type { TableSchema } from './table.js';
+/**
+ * The optional maintenance contract attached to a {@link TableSchema}: a table
+ * carrying a derivation is a **maintained table** — what `create materialized
+ * view` produces. One `TableSchema`, one catalog name, one physical incarnation;
+ * the derivation records how the table's contents are derived from its sources
+ * and is kept consistent by the row-time maintenance manager
+ * (`core/database-materialized-views.ts`).
+ *
+ * Identity (name/schema), storage (module/args), tags, and the physical primary
+ * key all live on the owning `TableSchema`; the canonical
+ * `create materialized view` DDL is rendered on demand from the unified record
+ * (`generateMaintainedTableDDL`). The derivation object is shared by reference
+ * across catalog swaps of the owning table (tag updates, index appends), so its
+ * runtime state (`stale`, `sourceScope`) survives those swaps.
+ */
+export interface TableDerivation {
+    /** The parsed body AST — any relation-producing QueryExpr (SELECT / VALUES / compound). */
+    selectAst: AST.QueryExpr;
+    /**
+     * Explicit output-column rename list from the MV-sugar form (`mv(a, b)`).
+     * Retained verbatim for bodyHash parity and DDL round-trip; the table's own
+     * columns are the authoritative output names.
+     */
+    columns?: ReadonlyArray<string>;
+    /**
+     * `computeBodyHash(viewDefinitionToCanonicalString(columns, selectAst))` — the
+     * canonical DEFINITION hash the declarative differ compares to detect
+     * "definition changed → rebuild". The body string carries any trailing
+     * `with defaults (…)` clause, so a defaults-only edit drifts the hash.
+     */
+    bodyHash: string;
+    /**
+     * The body's logical key, derived from `keysOf` on the optimized body
+     * (formerly `MaterializedViewSchema.primaryKey`). The table's own
+     * `primaryKeyDefinition` stays the physical (order-by-seeded) key.
+     */
+    logicalKey: ReadonlyArray<{
+        index: number;
+        desc: boolean;
+    }>;
+    /** Body ordering captured from the optimized body (for the materialized-index path). */
+    ordering?: ReadonlyArray<{
+        index: number;
+        desc: boolean;
+    }>;
+    /**
+     * Present when the table's key is a collation-coarsened lineage key
+     * ({@link CoarsenedKeyInfo}) — colliding source rows last-write-win until
+     * merged. Informational; recomputed wherever the backing shape is re-derived,
+     * never serialized.
+     */
+    coarsenedKey?: CoarsenedKeyInfo;
+    /** Qualified (lowercased `schema.table`) names of the source tables the body reads. */
+    sourceTables: ReadonlyArray<string>;
+    /**
+     * Staleness flag set by the schema-change subscription when a source table is
+     * modified/removed in a way that may break the body. Runtime state, never
+     * serialized.
+     */
+    stale?: boolean;
+    /**
+     * Cached source-union change-scope, computed at registration
+     * (`MaterializedViewManager.registerMaterializedView`). A `select` from this
+     * table substitutes this scope so a `Database.watch` fires on a *source*
+     * mutation (the table is maintained off the user change log). Runtime state,
+     * never serialized.
+     */
+    sourceScope?: ChangeScope;
+    /**
+     * Back-pointer to the UNIQUE constraint this covering structure realizes,
+     * recorded eagerly when the coverage prover recognizes coverage. The
+     * authoritative link is the constraint's `coveringStructureName` forward
+     * pointer (see `docs/schema.md`); this is the convenience reverse link.
+     */
+    covers?: {
+        schemaName: string;
+        tableName: string;
+        constraintName?: string;
+    };
+}
+/** A {@link TableSchema} that carries a derivation — a maintained table. */
+export type MaintainedTableSchema = TableSchema & {
+    derivation: TableDerivation;
+};
+/** Narrowing guard: true iff `table` is a maintained table (carries a derivation). */
+export declare function isMaintainedTable(table: TableSchema | undefined): table is MaintainedTableSchema;
+/**
+ * The {@link import('../planner/mutation/propagate.js').MutableViewLike}
+ * structural shape for a maintained table, so DML naming it routes through the
+ * same view-mutation rewrite a plain view uses (write-through to the body's
+ * source). The rewrite reads only name / schemaName / selectAst / columns /
+ * tags — any omitted-insert defaults ride inside `selectAst.defaults`.
+ */
+export declare function maintainedTableViewLike(table: MaintainedTableSchema): {
+    readonly name: string;
+    readonly schemaName: string;
+    readonly selectAst: AST.QueryExpr;
+    readonly columns?: ReadonlyArray<string>;
+    readonly tags?: TableSchema['tags'];
+    readonly noun?: string;
+};
+//# sourceMappingURL=derivation.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"derivation.d.ts","sourceRoot":"","sources":["../../../src/schema/derivation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,GAAG,MAAM,kBAAkB,CAAC;AAC7C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qCAAqC,CAAC;AACvE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAClD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAE9C;;;;;;;;;;;;;;GAcG;AACH,MAAM,WAAW,eAAe;IAC/B,2FAA2F;IAC3F,SAAS,EAAE,GAAG,CAAC,SAAS,CAAC;IACzB;;;;OAIG;IACH,OAAO,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAChC;;;;;OAKG;IACH,QAAQ,EAAE,MAAM,CAAC;IACjB;;;;OAIG;IACH,UAAU,EAAE,aAAa,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;IAC5D,wFAAwF;IACxF,QAAQ,CAAC,EAAE,aAAa,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;IAC3D;;;;;OAKG;IACH,YAAY,CAAC,EAAE,gBAAgB,CAAC;IAChC,uFAAuF;IACvF,YAAY,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACpC;;;;OAIG;IACH,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB;;;;;;OAMG;IACH,WAAW,CAAC,EAAE,WAAW,CAAC;IAC1B;;;;;OAKG;IACH,MAAM,CAAC,EAAE;QAAE,UAAU,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,cAAc,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;CAC5E;AAED,4EAA4E;AAC5E,MAAM,MAAM,qBAAqB,GAAG,WAAW,GAAG;IAAE,UAAU,EAAE,eAAe,CAAA;CAAE,CAAC;AAElF,sFAAsF;AACtF,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,WAAW,GAAG,SAAS,GAAG,KAAK,IAAI,qBAAqB,CAEhG;AAED;;;;;;GAMG;AACH,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,qBAAqB,GAAG;IACtE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,GAAG,CAAC,SAAS,CAAC;IAClC,QAAQ,CAAC,OAAO,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACzC,QAAQ,CAAC,IAAI,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACpC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACvB,CAYA"}

package/dist/src/schema/derivation.js

@@ -0,0 +1,25 @@
+/** Narrowing guard: true iff `table` is a maintained table (carries a derivation). */
+export function isMaintainedTable(table) {
+    return table?.derivation !== undefined;
+}
+/**
+ * The {@link import('../planner/mutation/propagate.js').MutableViewLike}
+ * structural shape for a maintained table, so DML naming it routes through the
+ * same view-mutation rewrite a plain view uses (write-through to the body's
+ * source). The rewrite reads only name / schemaName / selectAst / columns /
+ * tags — any omitted-insert defaults ride inside `selectAst.defaults`.
+ */
+export function maintainedTableViewLike(table) {
+    return {
+        name: table.name,
+        schemaName: table.schemaName,
+        selectAst: table.derivation.selectAst,
+        columns: table.derivation.columns,
+        tags: table.tags,
+        // Body-shape rejection diagnostics name the target by its kind (see
+        // MutableViewLike.noun) so an unsupported-body MV reject reads
+        // "materialized view 'm'", not "view 'm'".
+        noun: 'materialized view',
+    };
+}
+//# sourceMappingURL=derivation.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"derivation.js","sourceRoot":"","sources":["../../../src/schema/derivation.ts"],"names":[],"mappings":"AA+EA,sFAAsF;AACtF,MAAM,UAAU,iBAAiB,CAAC,KAA8B;IAC/D,OAAO,KAAK,EAAE,UAAU,KAAK,SAAS,CAAC;AACxC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,uBAAuB,CAAC,KAA4B;IAQnE,OAAO;QACN,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,SAAS,EAAE,KAAK,CAAC,UAAU,CAAC,SAAS;QACrC,OAAO,EAAE,KAAK,CAAC,UAAU,CAAC,OAAO;QACjC,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,oEAAoE;QACpE,+DAA+D;QAC/D,2CAA2C;QAC3C,IAAI,EAAE,mBAAmB;KACzB,CAAC;AACH,CAAC"}

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

@@ -45,6 +45,19 @@ interface BaseFunctionSchema {
     numArgs: number;
     /** Combination of FunctionFlags */
     flags: FunctionFlags;
+    /**
+     * Stronger-than-deterministic class: when `true`, this function is asserted to
+     * be **bit-identical across peers, platforms, and app versions** — not merely
+     * deterministic within one database. This matters only for a function that is
+     * already deterministic (the determinism gate handles non-determinism
+     * independently), and is consulted at create when a backing host declares
+     * {@link import('../vtab/backing-host.js').BackingHost.requiresReplicableDerivations}.
+     * Built-in functions qualify automatically (Quereus implements its own
+     * collation / case-folding / numeric formatting, so a deterministic builtin
+     * cannot drift between peers' JS engines); a UDF opts in explicitly. Absent /
+     * `false` ⇒ not asserted (the conservative default for a UDF).
+     */
+    replicable?: boolean;
     /** User data pointer passed during registration */
     userData?: unknown;
     /** Return type information */

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

@@ -1 +1 @@
-{"version":3,"file":"function.d.ts","sourceRoot":"","sources":["../../../src/schema/function.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,GAAG,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACpF,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAEvD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AACxF,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AACxD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AAC3E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AACtE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,KAAK,EACX,cAAc,EACd,eAAe,EACf,oBAAoB,EACpB,eAAe,EACf,kBAAkB,EAClB,MAAM,+BAA+B,CAAC;AAEvC;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG,CAAC,GAAG,IAAI,EAAE,QAAQ,EAAE,KAAK,YAAY,CAAC,QAAQ,CAAC,CAAC;AAEzE;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG,CAAC,GAAG,IAAI,EAAE,QAAQ,EAAE,KAAK,YAAY,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC;AAExF;;;GAGG;AACH,MAAM,MAAM,yBAAyB,GAAG,CAAC,EAAE,EAAE,QAAQ,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,KAAK,YAAY,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC;AAEhH;;GAEG;AAIH,MAAM,MAAM,gBAAgB,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;AAEnF;;GAEG;AAGH,MAAM,MAAM,kBAAkB,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC,KAAK,QAAQ,CAAC;AAEvE;;;;GAIG;AACH,MAAM,MAAM,iBAAiB,GAAG,CAC/B,IAAI,EAAE,sBAAsB,EAC5B,GAAG,EAAE,eAAe,EACpB,WAAW,EAAE,CAAC,IAAI,EAAE,sBAAsB,EAAE,GAAG,EAAE,eAAe,KAAK,WAAW,KAC5E,WAAW,CAAC;AAEjB;;GAEG;AACH,UAAU,kBAAkB;IAC3B,sDAAsD;IACtD,IAAI,EAAE,MAAM,CAAC;IACb,4CAA4C;IAC5C,OAAO,EAAE,MAAM,CAAC;IAChB,mCAAmC;IACnC,KAAK,EAAE,aAAa,CAAC;IACrB,mDAAmD;IACnD,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,8BAA8B;IAC9B,UAAU,EAAE,QAAQ,CAAC;IACrB;;;;;OAKG;IACH,aAAa,CAAC,EAAE,iBAAiB,CAAC;IAClC;;;;OAIG;IACH,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC;;;OAGG;IACH,cAAc,CAAC,EAAE;QAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,GAAG,YAAY,GAAG,YAAY,CAAA;KAAE,CAAC;IAC9E;;;;;OAKG;IACH,iBAAiB,CAAC,EAAE;QAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,GAAG;YAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;SAAE,CAAA;KAAE,CAAC;CAC/E;AAED;;GAEG;AACH,MAAM,WAAW,oBAAqB,SAAQ,kBAAkB;IAC/D,UAAU,EAAE,UAAU,CAAC;IACvB,4CAA4C;IAC5C,cAAc,EAAE,UAAU,CAAC;IAC3B;;;;;;OAMG;IACH,eAAe,CAAC,EAAE,CAAC,QAAQ,EAAE,aAAa,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,KAAK,UAAU,CAAC;IACrF;;;;;OAKG;IACH,gBAAgB,CAAC,EAAE,CAAC,QAAQ,EAAE,aAAa,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,KAAK,OAAO,CAAC;CACnF;AAED;;;;GAIG;AACH,MAAM,MAAM,cAAc,CAAC,CAAC,IAAI,CAC/B,QAAQ,EAAE,aAAa,CAAC,cAAc,CAAC,EACvC,MAAM,EAAE,yBAAyB,KAC7B,CAAC,GAAG,SAAS,CAAC;AAEnB;;;;GAIG;AACH,MAAM,WAAW,qBAAqB;IACrC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,KAAK,GAAG,MAAM,CAAC;IACnC,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;CAC1B;AAED;;;;;GAKG;AACH,MAAM,WAAW,gBAAgB;IAChC,KAAK,CAAC,EAAE,OAAO,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;IAC1C,IAAI,CAAC,EAAE,aAAa,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,GAAG,cAAc,CAAC,aAAa,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACnG,GAAG,CAAC,EAAE,aAAa,CAAC,oBAAoB,CAAC,GAAG,cAAc,CAAC,aAAa,CAAC,oBAAoB,CAAC,CAAC,CAAC;IAChG,YAAY,CAAC,EAAE,aAAa,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,GAAG,cAAc,CAAC,aAAa,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC3G,QAAQ,CAAC,EAAE,aAAa,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC,GAAG,cAAc,CAAC,aAAa,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC,CAAC;IAC/H,WAAW,CAAC,EAAE,aAAa,CAAC,eAAe,CAAC,GAAG,cAAc,CAAC,aAAa,CAAC,eAAe,CAAC,CAAC,CAAC;IAC9F;;;;OAIG;IACH,kBAAkB,CAAC,EAAE,aAAa,CAAC,qBAAqB,CAAC,GAAG,cAAc,CAAC,aAAa,CAAC,qBAAqB,CAAC,CAAC,CAAC;IACjH,gBAAgB,CAAC,EAAE,aAAa,CAAC,eAAe,CAAC,GAAG,cAAc,CAAC,aAAa,CAAC,eAAe,CAAC,CAAC,CAAC;IACnG,aAAa,CAAC,EAAE,MAAM,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;IAChD,kBAAkB,CAAC,EAAE,kBAAkB,CAAC,oBAAoB,CAAC,CAAC;IAC9D,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,UAAU,CAAC,EAAE,OAAO,CAAC;CACrB;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,CAAC,EACrC,IAAI,EAAE,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,GAAG,SAAS,EACvC,QAAQ,EAAE,aAAa,CAAC,cAAc,CAAC,EACvC,MAAM,EAAE,yBAAyB,GAC/B,CAAC,GAAG,SAAS,CAUf;AAED;;;;;GAKG;AACH,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,cAAc,GAAG,QAAQ,GAAG,SAAS,CAMpF;AAED;;GAEG;AACH,MAAM,WAAW,yBAA0B,SAAQ,kBAAkB;IACpE,UAAU,EAAE,YAAY,CAAC;IACzB,2CAA2C;IAC3C,cAAc,EAAE,eAAe,GAAG,yBAAyB,CAAC;IAC5D,mEAAmE;IACnE,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,kEAAkE;IAClE,uBAAuB,CAAC,EAAE,gBAAgB,CAAC;CAC3C;AAED;;GAEG;AACH,MAAM,WAAW,uBAAwB,SAAQ,kBAAkB;IAClE,UAAU,EAAE,UAAU,CAAC;IACvB,8BAA8B;IAC9B,YAAY,EAAE,gBAAgB,CAAC;IAC/B,mCAAmC;IACnC,gBAAgB,EAAE,kBAAkB,CAAC;IACrC,+CAA+C;IAC/C,YAAY,CAAC,EAAE,QAAQ,CAAC;IACxB;;;;OAIG;IACH,eAAe,CAAC,EAAE,CAAC,QAAQ,EAAE,aAAa,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,KAAK,UAAU,CAAC;IACrF;;;;OAIG;IACH,gBAAgB,CAAC,EAAE,CAAC,QAAQ,EAAE,aAAa,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,KAAK,OAAO,CAAC;CACnF;AAED;;GAEG;AACH,MAAM,MAAM,cAAc,GACvB,oBAAoB,GACpB,yBAAyB,GACzB,uBAAuB,CAAC;AAE3B;;GAEG;AACH,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,cAAc,GAAG,MAAM,IAAI,oBAAoB,CAE7F;AAED,wBAAgB,2BAA2B,CAAC,MAAM,EAAE,cAAc,GAAG,MAAM,IAAI,yBAAyB,CAEvG;AAED,wBAAgB,yBAAyB,CAAC,MAAM,EAAE,cAAc,GAAG,MAAM,IAAI,uBAAuB,CAEnG;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAEpE"}
+{"version":3,"file":"function.d.ts","sourceRoot":"","sources":["../../../src/schema/function.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,GAAG,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACpF,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAEvD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AACxF,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AACxD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AAC3E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AACtE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,KAAK,EACX,cAAc,EACd,eAAe,EACf,oBAAoB,EACpB,eAAe,EACf,kBAAkB,EAClB,MAAM,+BAA+B,CAAC;AAEvC;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG,CAAC,GAAG,IAAI,EAAE,QAAQ,EAAE,KAAK,YAAY,CAAC,QAAQ,CAAC,CAAC;AAEzE;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG,CAAC,GAAG,IAAI,EAAE,QAAQ,EAAE,KAAK,YAAY,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC;AAExF;;;GAGG;AACH,MAAM,MAAM,yBAAyB,GAAG,CAAC,EAAE,EAAE,QAAQ,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,KAAK,YAAY,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC;AAEhH;;GAEG;AAIH,MAAM,MAAM,gBAAgB,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;AAEnF;;GAEG;AAGH,MAAM,MAAM,kBAAkB,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC,KAAK,QAAQ,CAAC;AAEvE;;;;GAIG;AACH,MAAM,MAAM,iBAAiB,GAAG,CAC/B,IAAI,EAAE,sBAAsB,EAC5B,GAAG,EAAE,eAAe,EACpB,WAAW,EAAE,CAAC,IAAI,EAAE,sBAAsB,EAAE,GAAG,EAAE,eAAe,KAAK,WAAW,KAC5E,WAAW,CAAC;AAEjB;;GAEG;AACH,UAAU,kBAAkB;IAC3B,sDAAsD;IACtD,IAAI,EAAE,MAAM,CAAC;IACb,4CAA4C;IAC5C,OAAO,EAAE,MAAM,CAAC;IAChB,mCAAmC;IACnC,KAAK,EAAE,aAAa,CAAC;IACrB;;;;;;;;;;;OAWG;IACH,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,mDAAmD;IACnD,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,8BAA8B;IAC9B,UAAU,EAAE,QAAQ,CAAC;IACrB;;;;;OAKG;IACH,aAAa,CAAC,EAAE,iBAAiB,CAAC;IAClC;;;;OAIG;IACH,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC;;;OAGG;IACH,cAAc,CAAC,EAAE;QAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,GAAG,YAAY,GAAG,YAAY,CAAA;KAAE,CAAC;IAC9E;;;;;OAKG;IACH,iBAAiB,CAAC,EAAE;QAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,GAAG;YAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;SAAE,CAAA;KAAE,CAAC;CAC/E;AAED;;GAEG;AACH,MAAM,WAAW,oBAAqB,SAAQ,kBAAkB;IAC/D,UAAU,EAAE,UAAU,CAAC;IACvB,4CAA4C;IAC5C,cAAc,EAAE,UAAU,CAAC;IAC3B;;;;;;OAMG;IACH,eAAe,CAAC,EAAE,CAAC,QAAQ,EAAE,aAAa,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,KAAK,UAAU,CAAC;IACrF;;;;;OAKG;IACH,gBAAgB,CAAC,EAAE,CAAC,QAAQ,EAAE,aAAa,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,KAAK,OAAO,CAAC;CACnF;AAED;;;;GAIG;AACH,MAAM,MAAM,cAAc,CAAC,CAAC,IAAI,CAC/B,QAAQ,EAAE,aAAa,CAAC,cAAc,CAAC,EACvC,MAAM,EAAE,yBAAyB,KAC7B,CAAC,GAAG,SAAS,CAAC;AAEnB;;;;GAIG;AACH,MAAM,WAAW,qBAAqB;IACrC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,KAAK,GAAG,MAAM,CAAC;IACnC,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;CAC1B;AAED;;;;;GAKG;AACH,MAAM,WAAW,gBAAgB;IAChC,KAAK,CAAC,EAAE,OAAO,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;IAC1C,IAAI,CAAC,EAAE,aAAa,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,GAAG,cAAc,CAAC,aAAa,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACnG,GAAG,CAAC,EAAE,aAAa,CAAC,oBAAoB,CAAC,GAAG,cAAc,CAAC,aAAa,CAAC,oBAAoB,CAAC,CAAC,CAAC;IAChG,YAAY,CAAC,EAAE,aAAa,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,GAAG,cAAc,CAAC,aAAa,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC3G,QAAQ,CAAC,EAAE,aAAa,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC,GAAG,cAAc,CAAC,aAAa,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC,CAAC;IAC/H,WAAW,CAAC,EAAE,aAAa,CAAC,eAAe,CAAC,GAAG,cAAc,CAAC,aAAa,CAAC,eAAe,CAAC,CAAC,CAAC;IAC9F;;;;OAIG;IACH,kBAAkB,CAAC,EAAE,aAAa,CAAC,qBAAqB,CAAC,GAAG,cAAc,CAAC,aAAa,CAAC,qBAAqB,CAAC,CAAC,CAAC;IACjH,gBAAgB,CAAC,EAAE,aAAa,CAAC,eAAe,CAAC,GAAG,cAAc,CAAC,aAAa,CAAC,eAAe,CAAC,CAAC,CAAC;IACnG,aAAa,CAAC,EAAE,MAAM,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;IAChD,kBAAkB,CAAC,EAAE,kBAAkB,CAAC,oBAAoB,CAAC,CAAC;IAC9D,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,UAAU,CAAC,EAAE,OAAO,CAAC;CACrB;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,CAAC,EACrC,IAAI,EAAE,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,GAAG,SAAS,EACvC,QAAQ,EAAE,aAAa,CAAC,cAAc,CAAC,EACvC,MAAM,EAAE,yBAAyB,GAC/B,CAAC,GAAG,SAAS,CAUf;AAED;;;;;GAKG;AACH,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,cAAc,GAAG,QAAQ,GAAG,SAAS,CAMpF;AAED;;GAEG;AACH,MAAM,WAAW,yBAA0B,SAAQ,kBAAkB;IACpE,UAAU,EAAE,YAAY,CAAC;IACzB,2CAA2C;IAC3C,cAAc,EAAE,eAAe,GAAG,yBAAyB,CAAC;IAC5D,mEAAmE;IACnE,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,kEAAkE;IAClE,uBAAuB,CAAC,EAAE,gBAAgB,CAAC;CAC3C;AAED;;GAEG;AACH,MAAM,WAAW,uBAAwB,SAAQ,kBAAkB;IAClE,UAAU,EAAE,UAAU,CAAC;IACvB,8BAA8B;IAC9B,YAAY,EAAE,gBAAgB,CAAC;IAC/B,mCAAmC;IACnC,gBAAgB,EAAE,kBAAkB,CAAC;IACrC,+CAA+C;IAC/C,YAAY,CAAC,EAAE,QAAQ,CAAC;IACxB;;;;OAIG;IACH,eAAe,CAAC,EAAE,CAAC,QAAQ,EAAE,aAAa,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,KAAK,UAAU,CAAC;IACrF;;;;OAIG;IACH,gBAAgB,CAAC,EAAE,CAAC,QAAQ,EAAE,aAAa,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,KAAK,OAAO,CAAC;CACnF;AAED;;GAEG;AACH,MAAM,MAAM,cAAc,GACvB,oBAAoB,GACpB,yBAAyB,GACzB,uBAAuB,CAAC;AAE3B;;GAEG;AACH,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,cAAc,GAAG,MAAM,IAAI,oBAAoB,CAE7F;AAED,wBAAgB,2BAA2B,CAAC,MAAM,EAAE,cAAc,GAAG,MAAM,IAAI,yBAAyB,CAEvG;AAED,wBAAgB,yBAAyB,CAAC,MAAM,EAAE,cAAc,GAAG,MAAM,IAAI,uBAAuB,CAEnG;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAEpE"}

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

@@ -1 +1 @@
-{"version":3,"file":"function.js","sourceRoot":"","sources":["../../../src/schema/function.ts"],"names":[],"mappings":"AA6KA;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CACnC,IAAuC,EACvC,QAAuC,EACvC,MAAiC;IAEjC,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACzC,IAAI,OAAO,IAAI,KAAK,UAAU,EAAE,CAAC;QAChC,IAAI,CAAC;YACJ,OAAQ,IAA0B,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QACtD,CAAC;QAAC,MAAM,CAAC;YACR,OAAO,SAAS,CAAC;QAClB,CAAC;IACF,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,sBAAsB,CAAC,OAAuB;IAC7D,MAAM,SAAS,GAAG,OAAyF,CAAC;IAC5G,IAAI,SAAS,CAAC,UAAU,IAAI,SAAS,CAAC,UAAU,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACrE,OAAO,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC;IACnC,CAAC;IACD,OAAO,SAAS,CAAC;AAClB,CAAC;AAgDD;;GAEG;AACH,MAAM,UAAU,sBAAsB,CAAC,MAAsB;IAC5D,OAAO,MAAM,CAAC,UAAU,CAAC,SAAS,KAAK,QAAQ,IAAI,gBAAgB,IAAI,MAAM,IAAI,OAAO,MAAM,CAAC,cAAc,KAAK,UAAU,CAAC;AAC9H,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,MAAsB;IACjE,OAAO,MAAM,CAAC,UAAU,CAAC,SAAS,KAAK,UAAU,CAAC;AACnD,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,MAAsB;IAC/D,OAAO,cAAc,IAAI,MAAM,IAAI,kBAAkB,IAAI,MAAM,CAAC;AACjE,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAAC,IAAY,EAAE,OAAe;IAC3D,OAAO,GAAG,IAAI,CAAC,WAAW,EAAE,IAAI,OAAO,EAAE,CAAC;AAC3C,CAAC"}
+{"version":3,"file":"function.js","sourceRoot":"","sources":["../../../src/schema/function.ts"],"names":[],"mappings":"AA0LA;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CACnC,IAAuC,EACvC,QAAuC,EACvC,MAAiC;IAEjC,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACzC,IAAI,OAAO,IAAI,KAAK,UAAU,EAAE,CAAC;QAChC,IAAI,CAAC;YACJ,OAAQ,IAA0B,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QACtD,CAAC;QAAC,MAAM,CAAC;YACR,OAAO,SAAS,CAAC;QAClB,CAAC;IACF,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,sBAAsB,CAAC,OAAuB;IAC7D,MAAM,SAAS,GAAG,OAAyF,CAAC;IAC5G,IAAI,SAAS,CAAC,UAAU,IAAI,SAAS,CAAC,UAAU,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACrE,OAAO,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC;IACnC,CAAC;IACD,OAAO,SAAS,CAAC;AAClB,CAAC;AAgDD;;GAEG;AACH,MAAM,UAAU,sBAAsB,CAAC,MAAsB;IAC5D,OAAO,MAAM,CAAC,UAAU,CAAC,SAAS,KAAK,QAAQ,IAAI,gBAAgB,IAAI,MAAM,IAAI,OAAO,MAAM,CAAC,cAAc,KAAK,UAAU,CAAC;AAC9H,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,MAAsB;IACjE,OAAO,MAAM,CAAC,UAAU,CAAC,SAAS,KAAK,UAAU,CAAC;AACnD,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,MAAsB;IAC/D,OAAO,cAAc,IAAI,MAAM,IAAI,kBAAkB,IAAI,MAAM,CAAC;AACjE,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAAC,IAAY,EAAE,OAAe;IAC3D,OAAO,GAAG,IAAI,CAAC,WAAW,EAAE,IAAI,OAAO,EAAE,CAAC;AAC3C,CAAC"}

package/dist/src/schema/lens-ack.d.ts

@@ -0,0 +1,90 @@
+import type { TableSchema } from './table.js';
+import type { LensSlot } from './lens.js';
+import type { LensDiagnostic, LensDiagnosticSite, FingerprintInputs } from './lens-prover.js';
+/** The per-(logical-table) escalation policy. Default-empty ⇒ no code escalated. */
+export interface EscalationPolicy {
+    /** Codes always a hard error — an ack cannot suppress them. */
+    readonly errorOn: ReadonlySet<string>;
+    /** Codes whose un-acknowledged instance errors; a valid ack clears. */
+    readonly requireAck: ReadonlySet<string>;
+}
+/** The default policy: nothing escalated (out of the box). */
+export declare const EMPTY_ESCALATION_POLICY: EscalationPolicy;
+/**
+ * Resolves the escalation policy for one logical table from its reserved policy
+ * tags (`quereus.lens.policy.error-on` / `quereus.lens.policy.require-ack`, each a
+ * CSV of advisory codes). Default-empty when neither tag is present — out of the
+ * box no code is escalated; a project opts in per logical table. (A schema-wide
+ * policy is expressed by tagging each table; see `docs/lens.md` § Escalation
+ * policy.)
+ */
+export declare function resolveEscalationPolicy(logicalTable: TableSchema): EscalationPolicy;
+/**
+ * One advisory that an in-source ack suppressed from the default report. Recorded
+ * on the {@link LensDeployReport} so the deploy summary can tally `acknowledged: N`
+ * and the `quereus_lens_advisories` TVF can expand them on demand.
+ */
+export interface AcknowledgedAdvisory {
+    /** The advisory's stable code (e.g. `lens.no-backing-index`). */
+    readonly code: string;
+    /** The logical site the advisory (and its ack) concerns. */
+    readonly site: LensDiagnosticSite;
+    /** The original advisory message. */
+    readonly message: string;
+    /** The ack's rationale (the tag value, minus any `#fp=` suffix). */
+    readonly rationale: string;
+    /** The `:<target>` segment that narrowed the ack, when present. */
+    readonly target?: string;
+    /** The fingerprint freshly computed from the advisory's facts at this deploy. */
+    readonly currentFingerprint: string;
+    /** The fingerprint recorded in the ack tag, or undefined (record-on-first-sight). */
+    readonly recordedFingerprint?: string;
+    /** No recorded fingerprint ⇒ the ack never re-surfaces (the author opted out). */
+    readonly unconditional: boolean;
+}
+/** What {@link applyAckGovernance} resolves for one lens slot. */
+export interface AckGovernanceResult {
+    /**
+     * Advisories still shown by default after ack-suppression — un-acknowledged
+     * ones plus any that **re-surfaced** (`resurfaced: true`, message flagged) plus
+     * the empty-rationale meta-warnings. These flow to the deploy report.
+     */
+    readonly warnings: LensDiagnostic[];
+    /** Advisories an ack (with a valid/first-sight fingerprint) suppressed. */
+    readonly acknowledged: AcknowledgedAdvisory[];
+    /** Blocking errors the escalation policy promoted (thrown atomically by the caller). */
+    readonly errors: LensDiagnostic[];
+}
+/**
+ * Computes the stable fingerprint of an advisory from the coarse facts behind it
+ * ({@link FingerprintInputs}) plus its code + site. Canonicalized (columns
+ * lowercased + sorted, cardinality already **banded** by the prover) so ordinary
+ * row-count drift within a band does not churn the hash — only a band crossing,
+ * a covering-structure change, or a constraint-column change moves it. The result
+ * is a short base64url FNV-1a digest, suitable for embedding in the ack tag value.
+ *
+ * **Cardinality bands** (`lens-prover.ts:cardinalityBand`): `empty` (0 rows),
+ * `small` (<1e3), `medium` (<1e6), `large` (≥1e6), `unknown` (no estimate). An
+ * ack survives any row-count change that stays within one band; crossing a band
+ * boundary re-surfaces it.
+ */
+export declare function computeAdvisoryFingerprint(code: string, site: LensDiagnosticSite, inputs: FingerprintInputs | undefined): string;
+/**
+ * Applies ack-suppression, fingerprint re-surfacing, and the escalation policy to
+ * one slot's prover warnings. Pure analysis — does not mutate the slot or report.
+ *
+ * First validates the policy codes against the advisory vocabulary
+ * ({@link validatePolicyCodes}) — an unrecognized code is a deploy-blocking error,
+ * never a silent no-op. Then, order per advisory:
+ *  1. **error-on** wins first — the code is a hard error regardless of any ack.
+ *  2. Otherwise match an ack. No ack ⇒ the advisory stays in the default report.
+ *  3. A matched ack with a recorded fingerprint that *mismatches* the freshly
+ *     computed one ⇒ the advisory **re-surfaces** (flagged), counted as
+ *     un-acknowledged. A matching (or first-sight, unconditional) fingerprint ⇒
+ *     acknowledged + suppressed. An empty rationale additionally surfaces a
+ *     meta-warning (the ack still suppresses).
+ *  4. **require-ack**: an advisory of a require-ack code that is not validly
+ *     acknowledged (no ack, or re-surfaced) becomes a hard error.
+ */
+export declare function applyAckGovernance(slot: LensSlot, warnings: readonly LensDiagnostic[], policy: EscalationPolicy): AckGovernanceResult;
+//# sourceMappingURL=lens-ack.d.ts.map

package/dist/src/schema/lens-ack.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lens-ack.d.ts","sourceRoot":"","sources":["../../../src/schema/lens-ack.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAC9C,OAAO,KAAK,EAAE,QAAQ,EAAqB,MAAM,WAAW,CAAC;AAC7D,OAAO,KAAK,EAAE,cAAc,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAsD9F,oFAAoF;AACpF,MAAM,WAAW,gBAAgB;IAChC,+DAA+D;IAC/D,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACtC,uEAAuE;IACvE,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACzC;AAED,8DAA8D;AAC9D,eAAO,MAAM,uBAAuB,EAAE,gBAGrC,CAAC;AAEF;;;;;;;GAOG;AACH,wBAAgB,uBAAuB,CAAC,YAAY,EAAE,WAAW,GAAG,gBAAgB,CAKnF;AAoBD;;;;GAIG;AACH,MAAM,WAAW,oBAAoB;IACpC,iEAAiE;IACjE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,4DAA4D;IAC5D,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAClC,qCAAqC;IACrC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,oEAAoE;IACpE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,mEAAmE;IACnE,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,iFAAiF;IACjF,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,qFAAqF;IACrF,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;IACtC,kFAAkF;IAClF,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;CAChC;AAED,kEAAkE;AAClE,MAAM,WAAW,mBAAmB;IACnC;;;;OAIG;IACH,QAAQ,CAAC,QAAQ,EAAE,cAAc,EAAE,CAAC;IACpC,2EAA2E;IAC3E,QAAQ,CAAC,YAAY,EAAE,oBAAoB,EAAE,CAAC;IAC9C,wFAAwF;IACxF,QAAQ,CAAC,MAAM,EAAE,cAAc,EAAE,CAAC;CAClC;AAMD;;;;;;;;;;;;GAYG;AACH,wBAAgB,0BAA0B,CACzC,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,kBAAkB,EACxB,MAAM,EAAE,iBAAiB,GAAG,SAAS,GACnC,MAAM,CAwBR;AA+KD;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,kBAAkB,CACjC,IAAI,EAAE,QAAQ,EACd,QAAQ,EAAE,SAAS,cAAc,EAAE,EACnC,MAAM,EAAE,gBAAgB,GACtB,mBAAmB,CA8CrB"}