@quereus/quereus 4.11.0 → 4.12.0

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;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"}
+{"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;AAKzD,0EAA0E;AAC1E,MAAM,WAAW,gBAAgB;IAChC,yEAAyE;IACzE,QAAQ,CAAC,EAAE,sBAAsB,CAAC;IAClC,8BAA8B;IAC9B,OAAO,CAAC,EAAE,sBAAsB,CAAC;CACjC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,WAAW,qBAAqB;IACrC,2EAA2E;IAC3E,iBAAiB,EAAE,MAAM,CAAC;IAC1B,kFAAkF;IAClF,gBAAgB,EAAE,MAAM,CAAC;IACzB,kFAAkF;IAClF,gBAAgB,EAAE,MAAM,CAAC;CACzB;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;IACvE;;;;OAIG;IACH,OAAO,CAAC,kBAAkB,CAAkC;IAC5D,6FAA6F;IAC7F,OAAO,CAAC,gBAAgB,CAAiD;IAEzE;;OAEG;IACH,iBAAiB,CAAC,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,CAAC,iBAAiB,GAAG,IAAI;IAa/E;;;;;OAKG;IACH,oBAAoB,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAW5D,oFAAoF;IACpF,kBAAkB,CAAC,UAAU,EAAE,MAAM,GAAG,qBAAqB,GAAG,SAAS;IAIzE;;;;OAIG;IACH,kBAAkB,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,qBAAqB,GAAG,IAAI;IAK7E;;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;IAa9C;;;;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

@@ -1,4 +1,5 @@
 import { createLogger } from '../common/logger.js';
+import { renderDeclaredSchemaCanonical } from './schema-hasher.js';
 const log = createLogger('schema:declared');
 /**
  * Manages declared schemas and their associated seed data
@@ -24,13 +25,60 @@ export class DeclaredSchemaManager {
      * advisories. Errors never reach here — they throw atomically during deploy.
      */
     deployedLensReports = new Map();
+    /**
+     * Memoized `renderDeclaredSchemaCanonical` per lowercased schema name. Paid
+     * once per `declare schema`, on the first apply after it — the apply that is
+     * going to do real work anyway.
+     */
+    declaredRenderings = new Map();
+    /** Applied-state snapshots per lowercased schema name; see {@link AppliedSchemaSnapshot}. */
+    appliedSnapshots = new Map();
     /**
      * Stores a declared schema
      */
     setDeclaredSchema(schemaName, declaration) {
         this.declaredSchemas.set(schemaName.toLowerCase(), declaration);
+        // Invalidate the memoized rendering — it describes the PREVIOUS declaration.
+        //
+        // The applied snapshot deliberately SURVIVES a re-declare. It records what
+        // both sides rendered to, and the next apply re-renders the new declaration
+        // and compares; a re-`declare schema` of byte-identical text therefore still
+        // takes the fast path, while any real edit fails the compare. Clearing it
+        // here would throw that away for no soundness gain.
+        this.declaredRenderings.delete(schemaName.toLowerCase());
         log('Stored declared schema for: %s', schemaName);
     }
+    /**
+     * Canonical, **tags-inclusive** rendering of the stored declaration for
+     * `schemaName` (memoized), or `undefined` when nothing is declared. This is
+     * the declared half of the applied-state snapshot compare — NOT the version
+     * hash, which strips tags (see {@link renderDeclaredSchemaCanonical}).
+     */
+    getDeclaredRendering(schemaName) {
+        const key = schemaName.toLowerCase();
+        const cached = this.declaredRenderings.get(key);
+        if (cached !== undefined)
+            return cached;
+        const declaration = this.declaredSchemas.get(key);
+        if (!declaration)
+            return undefined;
+        const rendering = renderDeclaredSchemaCanonical(declaration);
+        this.declaredRenderings.set(key, rendering);
+        return rendering;
+    }
+    /** The applied-state snapshot for `schemaName`, or `undefined` if none recorded. */
+    getAppliedSnapshot(schemaName) {
+        return this.appliedSnapshots.get(schemaName.toLowerCase());
+    }
+    /**
+     * Records the applied-state snapshot for `schemaName`. Callers must only do
+     * this after an apply that both succeeded and produced an empty migration
+     * plan — see the write site in `runtime/emit/schema-declarative.ts`.
+     */
+    setAppliedSnapshot(schemaName, snapshot) {
+        this.appliedSnapshots.set(schemaName.toLowerCase(), snapshot);
+        log('Recorded applied-state snapshot for: %s', schemaName);
+    }
     /**
      * Retrieves a declared schema
      */
@@ -83,6 +131,10 @@ export class DeclaredSchemaManager {
     removeDeclaredSchema(schemaName) {
         this.declaredSchemas.delete(schemaName.toLowerCase());
         this.seedData.delete(schemaName.toLowerCase());
+        // Both derived caches go with the declaration: with nothing declared there is
+        // nothing for a later apply to compare a surviving snapshot against.
+        this.declaredRenderings.delete(schemaName.toLowerCase());
+        this.appliedSnapshots.delete(schemaName.toLowerCase());
         this.lensDeclarations.delete(schemaName.toLowerCase());
         this.deployedLensSnapshots.delete(schemaName.toLowerCase());
         this.deployedLensReports.delete(schemaName.toLowerCase());

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;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"}
+{"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;AAGnD,OAAO,EAAE,6BAA6B,EAAE,MAAM,oBAAoB,CAAC;AAEnE,MAAM,GAAG,GAAG,YAAY,CAAC,iBAAiB,CAAC,CAAC;AAsC5C;;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;IACvE;;;;OAIG;IACK,kBAAkB,GAAwB,IAAI,GAAG,EAAE,CAAC;IAC5D,6FAA6F;IACrF,gBAAgB,GAAuC,IAAI,GAAG,EAAE,CAAC;IAEzE;;OAEG;IACH,iBAAiB,CAAC,UAAkB,EAAE,WAAkC;QACvE,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,WAAW,EAAE,EAAE,WAAW,CAAC,CAAC;QAChE,6EAA6E;QAC7E,EAAE;QACF,2EAA2E;QAC3E,4EAA4E;QAC5E,6EAA6E;QAC7E,0EAA0E;QAC1E,oDAAoD;QACpD,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC,CAAC;QACzD,GAAG,CAAC,gCAAgC,EAAE,UAAU,CAAC,CAAC;IACnD,CAAC;IAED;;;;;OAKG;IACH,oBAAoB,CAAC,UAAkB;QACtC,MAAM,GAAG,GAAG,UAAU,CAAC,WAAW,EAAE,CAAC;QACrC,MAAM,MAAM,GAAG,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAChD,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QACxC,MAAM,WAAW,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAClD,IAAI,CAAC,WAAW;YAAE,OAAO,SAAS,CAAC;QACnC,MAAM,SAAS,GAAG,6BAA6B,CAAC,WAAW,CAAC,CAAC;QAC7D,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;QAC5C,OAAO,SAAS,CAAC;IAClB,CAAC;IAED,oFAAoF;IACpF,kBAAkB,CAAC,UAAkB;QACpC,OAAO,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC,CAAC;IAC5D,CAAC;IAED;;;;OAIG;IACH,kBAAkB,CAAC,UAAkB,EAAE,QAA+B;QACrE,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,WAAW,EAAE,EAAE,QAAQ,CAAC,CAAC;QAC9D,GAAG,CAAC,yCAAyC,EAAE,UAAU,CAAC,CAAC;IAC5D,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,8EAA8E;QAC9E,qEAAqE;QACrE,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC,CAAC;QACzD,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC,CAAC;QACvD,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/expr-scope/frame.d.ts

@@ -0,0 +1,65 @@
+import type * as AST from '../../parser/ast.js';
+/** One FROM nesting level for a conservative scope walk. */
+export interface ScopeFrame {
+    /** Lowercase qualifier names this frame's FROM binds (table names, aliases, CTE names). */
+    bound: Set<string>;
+    /** Real-table sources, askable via the catalog callback for unqualified capture. */
+    realSources: Array<{
+        schema: string;
+        name: string;
+    }>;
+    /**
+     * Frame contains sources whose column sets cannot be analyzed
+     * (subquery / function / CTE sources), or marks a context that must be
+     * treated as categorically unanalysable (CTE / derived-table bodies).
+     */
+    hasOpaque: boolean;
+    /**
+     * Marks a subtree whose names resolve in a naming environment this walk does not
+     * model at all (view write-through metadata: a result column's `with inverse`
+     * clause, a select's trailing `with defaults` clause, both evaluated against the
+     * written view row where `new.<output column>` is the naming environment).
+     * NOTHING below a sealed frame can reach the seed — not even the `new.` /
+     * owning-table spellings that an opaque frame still lets through, since the
+     * classifiers check those AFTER the frame loop. Implies {@link hasOpaque}.
+     */
+    sealed: boolean;
+    /** Lowercase CTE names declared at this level (consulted by nested FROMs). */
+    cteNames: Set<string>;
+}
+export declare function emptyScopeFrame(): ScopeFrame;
+/** A frame that binds nothing but blocks every unqualified-capture question. */
+export declare function opaqueScopeFrame(): ScopeFrame;
+/**
+ * A frame nothing below can see past — see {@link ScopeFrame.sealed}.
+ *
+ * NOTE: nothing forces a NEW view write-through clause to be sealed. The two that
+ * exist (`with inverse`, `with defaults`) are sealed by hand in `./walk.ts`; a third
+ * would default to ordinary scope rules and its `new.<col>` refs would come back
+ * `'own'`, inventing a dependency on the table being defined. Unlike the expression
+ * node kinds — which the walk spec's `EXPRESSION_KINDS` ledger forces a decision for —
+ * "clauses resolved in the written-row environment" is not an enumerable set on the
+ * AST. If a third one lands, give it a ledger of its own here.
+ */
+export declare function sealedScopeFrame(): ScopeFrame;
+/**
+ * Whether any frame above the seed is sealed. A flat scan of `stack[1..]` rather
+ * than a position-relative check, which is correct precisely because a sealed
+ * frame blocks UNCONDITIONALLY: it is only ever on the stack while the walk is
+ * inside such a subtree.
+ */
+export declare function hasSealedFrame(stack: ReadonlyArray<ScopeFrame>): boolean;
+/** Whether any frame on the stack declares `name` (lowercase) as a CTE. */
+export declare function isCteNameInScope(stack: ReadonlyArray<ScopeFrame>, name: string): boolean;
+/**
+ * Record one FROM item's bindings into `frame`. A table source whose bare name
+ * is a CTE in scope (and carries no schema qualifier) is opaque — its column
+ * set is not analyzed; every other table source is a real source the catalog
+ * callback can be asked about. Subquery and function sources are opaque.
+ */
+export declare function collectScopeBindings(item: AST.FromClause, defaultSchema: string, stack: ReadonlyArray<ScopeFrame>, frame: ScopeFrame): void;
+/** Build the frame for a select body's FROM list. */
+export declare function buildScopeFrame(from: AST.FromClause[] | undefined, defaultSchema: string, stack: ReadonlyArray<ScopeFrame>): ScopeFrame;
+/** Run `fn` with `frame` pushed on `stack`, popping it after. */
+export declare function withScopeFrame<T>(stack: ScopeFrame[], frame: ScopeFrame, fn: () => T): T;
+//# sourceMappingURL=frame.d.ts.map

package/dist/src/schema/expr-scope/frame.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"frame.d.ts","sourceRoot":"","sources":["../../../../src/schema/expr-scope/frame.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAchD,4DAA4D;AAC5D,MAAM,WAAW,UAAU;IAC1B,2FAA2F;IAC3F,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACnB,oFAAoF;IACpF,WAAW,EAAE,KAAK,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACrD;;;;OAIG;IACH,SAAS,EAAE,OAAO,CAAC;IACnB;;;;;;;;OAQG;IACH,MAAM,EAAE,OAAO,CAAC;IAChB,8EAA8E;IAC9E,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;CACtB;AAED,wBAAgB,eAAe,IAAI,UAAU,CAE5C;AAED,gFAAgF;AAChF,wBAAgB,gBAAgB,IAAI,UAAU,CAI7C;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,gBAAgB,IAAI,UAAU,CAI7C;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,aAAa,CAAC,UAAU,CAAC,GAAG,OAAO,CAKxE;AAED,2EAA2E;AAC3E,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,aAAa,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAKxF;AAED;;;;;GAKG;AACH,wBAAgB,oBAAoB,CACnC,IAAI,EAAE,GAAG,CAAC,UAAU,EACpB,aAAa,EAAE,MAAM,EACrB,KAAK,EAAE,aAAa,CAAC,UAAU,CAAC,EAChC,KAAK,EAAE,UAAU,GACf,IAAI,CAgCN;AAED,qDAAqD;AACrD,wBAAgB,eAAe,CAC9B,IAAI,EAAE,GAAG,CAAC,UAAU,EAAE,GAAG,SAAS,EAClC,aAAa,EAAE,MAAM,EACrB,KAAK,EAAE,aAAa,CAAC,UAAU,CAAC,GAC9B,UAAU,CAIZ;AAED,iEAAiE;AACjE,wBAAgB,cAAc,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,CAOxF"}

package/dist/src/schema/expr-scope/frame.js

@@ -0,0 +1,104 @@
+export function emptyScopeFrame() {
+    return { bound: new Set(), realSources: [], hasOpaque: false, sealed: false, cteNames: new Set() };
+}
+/** A frame that binds nothing but blocks every unqualified-capture question. */
+export function opaqueScopeFrame() {
+    const frame = emptyScopeFrame();
+    frame.hasOpaque = true;
+    return frame;
+}
+/**
+ * A frame nothing below can see past — see {@link ScopeFrame.sealed}.
+ *
+ * NOTE: nothing forces a NEW view write-through clause to be sealed. The two that
+ * exist (`with inverse`, `with defaults`) are sealed by hand in `./walk.ts`; a third
+ * would default to ordinary scope rules and its `new.<col>` refs would come back
+ * `'own'`, inventing a dependency on the table being defined. Unlike the expression
+ * node kinds — which the walk spec's `EXPRESSION_KINDS` ledger forces a decision for —
+ * "clauses resolved in the written-row environment" is not an enumerable set on the
+ * AST. If a third one lands, give it a ledger of its own here.
+ */
+export function sealedScopeFrame() {
+    const frame = opaqueScopeFrame();
+    frame.sealed = true;
+    return frame;
+}
+/**
+ * Whether any frame above the seed is sealed. A flat scan of `stack[1..]` rather
+ * than a position-relative check, which is correct precisely because a sealed
+ * frame blocks UNCONDITIONALLY: it is only ever on the stack while the walk is
+ * inside such a subtree.
+ */
+export function hasSealedFrame(stack) {
+    for (let i = 1; i < stack.length; i++) {
+        if (stack[i].sealed)
+            return true;
+    }
+    return false;
+}
+/** Whether any frame on the stack declares `name` (lowercase) as a CTE. */
+export function isCteNameInScope(stack, name) {
+    for (const frame of stack) {
+        if (frame.cteNames.has(name))
+            return true;
+    }
+    return false;
+}
+/**
+ * Record one FROM item's bindings into `frame`. A table source whose bare name
+ * is a CTE in scope (and carries no schema qualifier) is opaque — its column
+ * set is not analyzed; every other table source is a real source the catalog
+ * callback can be asked about. Subquery and function sources are opaque.
+ */
+export function collectScopeBindings(item, defaultSchema, stack, frame) {
+    switch (item.type) {
+        case 'table': {
+            const ts = item;
+            const name = ts.table.name.toLowerCase();
+            frame.bound.add(ts.alias ? ts.alias.toLowerCase() : name);
+            if (ts.table.schema === undefined && isCteNameInScope(stack, name)) {
+                // CTE source — column set not analyzed.
+                frame.hasOpaque = true;
+            }
+            else {
+                frame.realSources.push({ schema: (ts.table.schema ?? defaultSchema).toLowerCase(), name });
+            }
+            break;
+        }
+        case 'join': {
+            const join = item;
+            collectScopeBindings(join.left, defaultSchema, stack, frame);
+            collectScopeBindings(join.right, defaultSchema, stack, frame);
+            break;
+        }
+        case 'subquerySource': {
+            frame.bound.add(item.alias.toLowerCase());
+            frame.hasOpaque = true;
+            break;
+        }
+        case 'functionSource': {
+            const fs = item;
+            if (fs.alias)
+                frame.bound.add(fs.alias.toLowerCase());
+            frame.hasOpaque = true;
+            break;
+        }
+    }
+}
+/** Build the frame for a select body's FROM list. */
+export function buildScopeFrame(from, defaultSchema, stack) {
+    const frame = emptyScopeFrame();
+    (from ?? []).forEach(item => collectScopeBindings(item, defaultSchema, stack, frame));
+    return frame;
+}
+/** Run `fn` with `frame` pushed on `stack`, popping it after. */
+export function withScopeFrame(stack, frame, fn) {
+    stack.push(frame);
+    try {
+        return fn();
+    }
+    finally {
+        stack.pop();
+    }
+}
+//# sourceMappingURL=frame.js.map

package/dist/src/schema/expr-scope/frame.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"frame.js","sourceRoot":"","sources":["../../../../src/schema/expr-scope/frame.ts"],"names":[],"mappings":"AAwCA,MAAM,UAAU,eAAe;IAC9B,OAAO,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;AACpG,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,gBAAgB;IAC/B,MAAM,KAAK,GAAG,eAAe,EAAE,CAAC;IAChC,KAAK,CAAC,SAAS,GAAG,IAAI,CAAC;IACvB,OAAO,KAAK,CAAC;AACd,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,gBAAgB;IAC/B,MAAM,KAAK,GAAG,gBAAgB,EAAE,CAAC;IACjC,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC;IACpB,OAAO,KAAK,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAC,KAAgC;IAC9D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM;YAAE,OAAO,IAAI,CAAC;IAClC,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,gBAAgB,CAAC,KAAgC,EAAE,IAAY;IAC9E,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;QAC3B,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;IAC3C,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CACnC,IAAoB,EACpB,aAAqB,EACrB,KAAgC,EAChC,KAAiB;IAEjB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,OAAO,CAAC,CAAC,CAAC;YACd,MAAM,EAAE,GAAG,IAAuB,CAAC;YACnC,MAAM,IAAI,GAAG,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;YACzC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC1D,IAAI,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,gBAAgB,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;gBACpE,wCAAwC;gBACxC,KAAK,CAAC,SAAS,GAAG,IAAI,CAAC;YACxB,CAAC;iBAAM,CAAC;gBACP,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,IAAI,aAAa,CAAC,CAAC,WAAW,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;YAC5F,CAAC;YACD,MAAM;QACP,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACb,MAAM,IAAI,GAAG,IAAsB,CAAC;YACpC,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;YAC7D,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;YAC9D,MAAM;QACP,CAAC;QACD,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACvB,KAAK,CAAC,KAAK,CAAC,GAAG,CAAE,IAA2B,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC;YAClE,KAAK,CAAC,SAAS,GAAG,IAAI,CAAC;YACvB,MAAM;QACP,CAAC;QACD,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACvB,MAAM,EAAE,GAAG,IAA0B,CAAC;YACtC,IAAI,EAAE,CAAC,KAAK;gBAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC;YACtD,KAAK,CAAC,SAAS,GAAG,IAAI,CAAC;YACvB,MAAM;QACP,CAAC;IACF,CAAC;AACF,CAAC;AAED,qDAAqD;AACrD,MAAM,UAAU,eAAe,CAC9B,IAAkC,EAClC,aAAqB,EACrB,KAAgC;IAEhC,MAAM,KAAK,GAAG,eAAe,EAAE,CAAC;IAChC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IACtF,OAAO,KAAK,CAAC;AACd,CAAC;AAED,iEAAiE;AACjE,MAAM,UAAU,cAAc,CAAI,KAAmB,EAAE,KAAiB,EAAE,EAAW;IACpF,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,IAAI,CAAC;QACJ,OAAO,EAAE,EAAE,CAAC;IACb,CAAC;YAAS,CAAC;QACV,KAAK,CAAC,GAAG,EAAE,CAAC;IACb,CAAC;AACF,CAAC"}

package/dist/src/schema/expr-scope/walk.d.ts

@@ -0,0 +1,40 @@
+import type * as AST from '../../parser/ast.js';
+import { type ScopeFrame } from './frame.js';
+/** What a scope walk does when it reaches a name-bearing leaf. */
+export interface ScopeWalkHandlers {
+    /**
+     * Every `column` node reached. `stack[0]` is always the seed frame.
+     *
+     * The stack is the walk's LIVE array, handed over as a read-only view — it is
+     * mutated as the walk unwinds, so a handler must read what it needs during the
+     * call and never retain the reference.
+     */
+    onColumn(col: AST.ColumnExpr, stack: ReadonlyArray<ScopeFrame>): void;
+    /**
+     * Every bare `identifier` node reached in expression position. Omit when the
+     * analysis has nothing to say about them (the self-qualifier strip). Same
+     * do-not-retain rule for `stack` as {@link onColumn}.
+     */
+    onIdentifier?(ident: AST.IdentifierExpr, stack: ReadonlyArray<ScopeFrame>): void;
+}
+export interface ScopeWalkOptions {
+    /**
+     * Lowercase schema an unqualified FROM table source belongs to — the owning
+     * object's schema, NOT a search path. `main.t.qty` inside an expression on
+     * `temp.t` is not a self-reference, and no resolver lookup happens here.
+     */
+    readonly defaultSchema: string;
+    /** Lowercase names the implicit seed frame binds (the owning table's name). */
+    readonly seedBindings: ReadonlyArray<string>;
+}
+/**
+ * Walk `root` with the conservative FROM-frame model, invoking `handlers` at
+ * every name-bearing leaf. The walk mirrors SQL shadowing rules: a qualifier
+ * rebound by an inner FROM is visible to the handler as a binding frame above
+ * the seed, and contexts that cannot correlate to the written row (CTE bodies,
+ * derived-table bodies, DML statements) sit under an opaque barrier frame.
+ *
+ * A missing `root` returns without touching the handlers.
+ */
+export declare function walkSchemaExpressionScope(root: AST.AstNode | undefined, options: ScopeWalkOptions, handlers: ScopeWalkHandlers): void;
+//# sourceMappingURL=walk.d.ts.map

package/dist/src/schema/expr-scope/walk.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"walk.d.ts","sourceRoot":"","sources":["../../../../src/schema/expr-scope/walk.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAChD,OAAO,EAAwF,KAAK,UAAU,EAAE,MAAM,YAAY,CAAC;AAmCnI,kEAAkE;AAClE,MAAM,WAAW,iBAAiB;IACjC;;;;;;OAMG;IACH,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,UAAU,EAAE,KAAK,EAAE,aAAa,CAAC,UAAU,CAAC,GAAG,IAAI,CAAC;IACtE;;;;OAIG;IACH,YAAY,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,cAAc,EAAE,KAAK,EAAE,aAAa,CAAC,UAAU,CAAC,GAAG,IAAI,CAAC;CACjF;AAED,MAAM,WAAW,gBAAgB;IAChC;;;;OAIG;IACH,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,+EAA+E;IAC/E,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;CAC7C;AASD;;;;;;;;GAQG;AACH,wBAAgB,yBAAyB,CACxC,IAAI,EAAE,GAAG,CAAC,OAAO,GAAG,SAAS,EAC7B,OAAO,EAAE,gBAAgB,EACzB,QAAQ,EAAE,iBAAiB,GACzB,IAAI,CAMN"}

package/dist/src/schema/expr-scope/walk.js

@@ -0,0 +1,260 @@
+import { buildScopeFrame, emptyScopeFrame, opaqueScopeFrame, sealedScopeFrame, withScopeFrame } from './frame.js';
+/**
+ * Walk `root` with the conservative FROM-frame model, invoking `handlers` at
+ * every name-bearing leaf. The walk mirrors SQL shadowing rules: a qualifier
+ * rebound by an inner FROM is visible to the handler as a binding frame above
+ * the seed, and contexts that cannot correlate to the written row (CTE bodies,
+ * derived-table bodies, DML statements) sit under an opaque barrier frame.
+ *
+ * A missing `root` returns without touching the handlers.
+ */
+export function walkSchemaExpressionScope(root, options, handlers) {
+    if (!root)
+        return;
+    const state = { options, handlers, stack: [] };
+    const seed = emptyScopeFrame();
+    for (const name of options.seedBindings)
+        seed.bound.add(name);
+    withScopeFrame(state.stack, seed, () => visit(root, state));
+}
+/** Visit a node whose scope cannot be analyzed (CTE / derived-table / DML bodies). */
+function visitBarrier(node, state) {
+    withScopeFrame(state.stack, opaqueScopeFrame(), () => visit(node, state));
+}
+/**
+ * Visit a node whose names resolve in a naming environment this walk does not
+ * model at all — view write-through metadata (`with inverse (…)` /
+ * `with defaults (…)`), evaluated against the written view row. Stronger than a
+ * barrier: not even `new.<col>` may reach the seed from in here.
+ */
+function visitSealed(node, state) {
+    withScopeFrame(state.stack, sealedScopeFrame(), () => visit(node, state));
+}
+function visit(node, state) {
+    if (!node)
+        return;
+    switch (node.type) {
+        case 'select':
+            visitSelect(node, state);
+            break;
+        case 'insert':
+        case 'update':
+        case 'delete':
+            visitDml(node, state);
+            break;
+        case 'values': {
+            node.values.forEach(row => row.forEach(v => visit(v, state)));
+            break;
+        }
+        case 'join': {
+            const join = node;
+            visit(join.left, state);
+            visit(join.right, state);
+            visit(join.condition, state);
+            break;
+        }
+        case 'functionSource': {
+            node.args.forEach(a => visit(a, state));
+            break;
+        }
+        case 'subquerySource': {
+            // A derived table's body cannot correlate to the written row — barrier.
+            visitBarrier(node.subquery, state);
+            break;
+        }
+        case 'binary': {
+            const e = node;
+            visit(e.left, state);
+            visit(e.right, state);
+            break;
+        }
+        case 'unary':
+        case 'cast':
+        case 'collate':
+            visit(node.expr, state);
+            break;
+        case 'function':
+            node.args.forEach(a => visit(a, state));
+            break;
+        case 'subquery':
+            visit(node.query, state);
+            break;
+        case 'windowFunction': {
+            const wf = node;
+            visit(wf.function, state);
+            visit(wf.window, state);
+            break;
+        }
+        case 'windowDefinition':
+            visitWindowDefinition(node, state);
+            break;
+        case 'case': {
+            const ce = node;
+            visit(ce.baseExpr, state);
+            ce.whenThenClauses.forEach(wt => {
+                visit(wt.when, state);
+                visit(wt.then, state);
+            });
+            visit(ce.elseExpr, state);
+            break;
+        }
+        case 'in': {
+            const ie = node;
+            visit(ie.expr, state);
+            (ie.values ?? []).forEach(v => visit(v, state));
+            visit(ie.subquery, state);
+            break;
+        }
+        case 'exists':
+            visit(node.subquery, state);
+            break;
+        case 'between': {
+            const be = node;
+            visit(be.expr, state);
+            visit(be.lower, state);
+            visit(be.upper, state);
+            break;
+        }
+        case 'column':
+            state.handlers.onColumn(node, state.stack);
+            break;
+        case 'identifier':
+            // Terminal either way — an analysis with nothing to say about bare
+            // identifiers (the strip) simply supplies no handler.
+            state.handlers.onIdentifier?.(node, state.stack);
+            break;
+        default:
+            // Silently ignored, unlike `traverseAst`'s warn: a schema expression
+            // legitimately holds `literal` / `parameter` / `table` nodes that carry
+            // no name for a handler to see.
+            break;
+    }
+}
+function visitSelect(stmt, state) {
+    const withFrame = emptyScopeFrame();
+    withScopeFrame(state.stack, withFrame, () => {
+        for (const cte of stmt.withClause?.ctes ?? []) {
+            // A CTE body cannot correlate to the written row — no analysis inside.
+            // Its name is registered only AFTER its own body is visited, so a
+            // non-recursive CTE cannot see itself; swapping the order silently
+            // changes which sources `collectScopeBindings` treats as opaque.
+            visitBarrier(cte.query, state);
+            withFrame.cteNames.add(cte.name.toLowerCase());
+        }
+        const frame = buildScopeFrame(stmt.from, state.options.defaultSchema, state.stack);
+        withScopeFrame(state.stack, frame, () => {
+            visitResultColumns(stmt.columns, state);
+            // Trailing `with defaults (col = expr, …)` — view write-through metadata,
+            // sealed like a result column's `with inverse (…)`. Position in this list is
+            // semantically irrelevant (the seal blocks everything); kept next to the
+            // result-column visit so the two write-through clauses read together.
+            (stmt.defaults ?? []).forEach(d => visitSealed(d.expr, state));
+            (stmt.from ?? []).forEach(f => visit(f, state));
+            visit(stmt.where, state);
+            (stmt.groupBy ?? []).forEach(g => visit(g, state));
+            visit(stmt.having, state);
+            // NOTE: on a compound these bind to the WHOLE compound, not the leading
+            // leg, so visiting them inside the leading leg's FROM frame can let that
+            // leg's sources capture a name that should fall through. Left as-is: it is
+            // conditional, not wrong for a non-compound select, and untangling it needs
+            // the AST to distinguish leg-level from compound-level clauses, which it
+            // does not (the parser folds a compound's trailing ORDER BY / LIMIT onto the
+            // leading leg — see `parseTrailingOrderLimit`).
+            (stmt.orderBy ?? []).forEach(o => visit(o.expr, state));
+            visit(stmt.limit, state);
+            visit(stmt.offset, state);
+        });
+        // Each compound leg is a self-contained relation that builds its OWN FROM
+        // frame, so the legs are visited outside the leading leg's frame — otherwise a
+        // bare name in the second leg could be captured by the first leg's sources and
+        // come back `'foreign'`, costing the generated-column analysis a dependency
+        // edge. Still inside `withFrame`: a leading `with` clause scopes over the whole
+        // compound, a `from` clause does not.
+        visit(stmt.union, state);
+        if (stmt.compound)
+            visit(stmt.compound.select, state);
+    });
+}
+/**
+ * Result columns of a select or of a DML `returning` list. A column's
+ * `with inverse (col = expr, …)` clause is view write-through metadata — visited
+ * under a seal, since it resolves against the written view row.
+ */
+function visitResultColumns(columns, state) {
+    (columns ?? []).forEach(c => {
+        if (c.type !== 'column')
+            return;
+        visit(c.expr, state);
+        (c.inverse ?? []).forEach(inv => visitSealed(inv.expr, state));
+    });
+}
+/**
+ * DML bodies (reachable via a subquery source / scalar subquery over
+ * `insert … returning` etc.) bind names against their target table in ways this
+ * walk does not model — everything below descends under one barrier, so refs
+ * inside are undecidable rather than falsely attributed to the written row.
+ *
+ * The barrier makes every leaf here `'unknown'`, which is NOT inert for the
+ * generated-column pre-flight: `validateAddColumnGeneratedRefs` (`../table.ts`)
+ * treats an `'unknown'` binding of the column being added as a self-cycle, same
+ * as an `'own'` one. So `alter table t add column g generated always as (…)`
+ * whose body names `g` inside an inner DML's `returning` / upsert / context
+ * assignments is a cyclic-dependency error rather than silently accepted — the
+ * same answer the emitter's own re-analysis reaches once it sees the reference.
+ */
+function visitDml(stmt, state) {
+    withScopeFrame(state.stack, opaqueScopeFrame(), () => {
+        // NOTE: a DML-attached CTE's NAME is never registered on a frame (unlike
+        // `visitSelect`'s `withFrame`), so a `from <cte>` below reads as an askable
+        // real table source of that name. Inert only because the enclosing opaque
+        // frame already makes every leaf below undecidable / unstrippable; if the
+        // DML barrier is ever narrowed to something less than the whole statement,
+        // register the names on a frame here first.
+        stmt.withClause?.ctes.forEach(cte => visitBarrier(cte.query, state));
+        switch (stmt.type) {
+            case 'insert':
+                visit(stmt.source, state);
+                (stmt.upsertClauses ?? []).forEach(u => {
+                    (u.assignments ?? []).forEach(a => visit(a.value, state));
+                    visit(u.where, state);
+                });
+                break;
+            case 'update':
+                visit(stmt.targetSource, state);
+                stmt.assignments.forEach(a => visit(a.value, state));
+                visit(stmt.where, state);
+                break;
+            case 'delete':
+                visit(stmt.targetSource, state);
+                visit(stmt.where, state);
+                break;
+        }
+        visitResultColumns(stmt.returning, state);
+        (stmt.contextValues ?? []).forEach(cv => visit(cv.value, state));
+    });
+}
+function visitWindowDefinition(wd, state) {
+    (wd.partitionBy ?? []).forEach(p => visit(p, state));
+    (wd.orderBy ?? []).forEach(o => visit(o.expr, state));
+    // A frame bound is an ordinary correlated expression, so it belongs in the same
+    // frame as `partition by` / `order by` — no barrier and no seal. `WindowFrame`
+    // and `WindowFrameBound` do not extend `AstNode` (a frame's `type` is
+    // `'rows' | 'range'`, not a node kind), so they cannot go through `visit`'s
+    // switch; only the bound kinds that CARRY an expression have a `value`.
+    // NOTE: no schema-time analysis of a frame bound is observable today — the planner
+    // rejects any bound that is not a constant numeric literal ("Window frame offsets
+    // must be constant numeric literals"), so a bound naming a column never executes
+    // whether or not an edge was recorded for it. Reaching them is completeness, and
+    // the walk-level spec is the only place it can be asserted. If constant-foldable or
+    // correlated bounds are ever accepted, that changes and SQL-level cases become
+    // writable — the same shape as § 13 of `test/logic/41-generated-column-scope.sqllogic`.
+    visitWindowFrameBound(wd.frame?.start, state);
+    visitWindowFrameBound(wd.frame?.end ?? undefined, state);
+}
+function visitWindowFrameBound(bound, state) {
+    if (!bound)
+        return;
+    if (bound.type === 'preceding' || bound.type === 'following')
+        visit(bound.value, state);
+}
+//# sourceMappingURL=walk.js.map

package/dist/src/schema/expr-scope/walk.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"walk.js","sourceRoot":"","sources":["../../../../src/schema/expr-scope/walk.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,cAAc,EAAmB,MAAM,YAAY,CAAC;AAuEnI;;;;;;;;GAQG;AACH,MAAM,UAAU,yBAAyB,CACxC,IAA6B,EAC7B,OAAyB,EACzB,QAA2B;IAE3B,IAAI,CAAC,IAAI;QAAE,OAAO;IAClB,MAAM,KAAK,GAAc,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;IAC1D,MAAM,IAAI,GAAG,eAAe,EAAE,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,YAAY;QAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC9D,cAAc,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;AAC7D,CAAC;AAED,sFAAsF;AACtF,SAAS,YAAY,CAAC,IAA6B,EAAE,KAAgB;IACpE,cAAc,CAAC,KAAK,CAAC,KAAK,EAAE,gBAAgB,EAAE,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;AAC3E,CAAC;AAED;;;;;GAKG;AACH,SAAS,WAAW,CAAC,IAA6B,EAAE,KAAgB;IACnE,cAAc,CAAC,KAAK,CAAC,KAAK,EAAE,gBAAgB,EAAE,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;AAC3E,CAAC;AAED,SAAS,KAAK,CAAC,IAA6B,EAAE,KAAgB;IAC7D,IAAI,CAAC,IAAI;QAAE,OAAO;IAElB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,QAAQ;YACZ,WAAW,CAAC,IAAsB,EAAE,KAAK,CAAC,CAAC;YAC3C,MAAM;QACP,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ;YACZ,QAAQ,CAAC,IAAwD,EAAE,KAAK,CAAC,CAAC;YAC1E,MAAM;QACP,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAuB,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;YAClF,MAAM;QACP,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACb,MAAM,IAAI,GAAG,IAAsB,CAAC;YACpC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACxB,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;YAC7B,MAAM;QACP,CAAC;QACD,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,IAA2B,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;YAChE,MAAM;QACP,CAAC;QACD,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACvB,wEAAwE;YACxE,YAAY,CAAE,IAA2B,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YAC3D,MAAM;QACP,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACf,MAAM,CAAC,GAAG,IAAsB,CAAC;YACjC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACrB,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YACtB,MAAM;QACP,CAAC;QACD,KAAK,OAAO,CAAC;QACb,KAAK,MAAM,CAAC;QACZ,KAAK,SAAS;YACb,KAAK,CAAE,IAAuD,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC5E,MAAM;QACP,KAAK,UAAU;YACb,IAAyB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;YAC9D,MAAM;QACP,KAAK,UAAU;YACd,KAAK,CAAE,IAAyB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YAC/C,MAAM;QACP,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACvB,MAAM,EAAE,GAAG,IAA8B,CAAC;YAC1C,KAAK,CAAC,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YAC1B,KAAK,CAAC,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YACxB,MAAM;QACP,CAAC;QACD,KAAK,kBAAkB;YACtB,qBAAqB,CAAC,IAA4B,EAAE,KAAK,CAAC,CAAC;YAC3D,MAAM;QACP,KAAK,MAAM,CAAC,CAAC,CAAC;YACb,MAAM,EAAE,GAAG,IAAoB,CAAC;YAChC,KAAK,CAAC,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YAC1B,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE;gBAC/B,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBACtB,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACvB,CAAC,CAAC,CAAC;YACH,KAAK,CAAC,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YAC1B,MAAM;QACP,CAAC;QACD,KAAK,IAAI,CAAC,CAAC,CAAC;YACX,MAAM,EAAE,GAAG,IAAkB,CAAC;YAC9B,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACtB,CAAC,EAAE,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;YAChD,KAAK,CAAC,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YAC1B,MAAM;QACP,CAAC;QACD,KAAK,QAAQ;YACZ,KAAK,CAAE,IAAuB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YAChD,MAAM;QACP,KAAK,SAAS,CAAC,CAAC,CAAC;YAChB,MAAM,EAAE,GAAG,IAAuB,CAAC;YACnC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACtB,KAAK,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YACvB,KAAK,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YACvB,MAAM;QACP,CAAC;QACD,KAAK,QAAQ;YACZ,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAsB,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;YAC7D,MAAM;QACP,KAAK,YAAY;YAChB,mEAAmE;YACnE,sDAAsD;YACtD,KAAK,CAAC,QAAQ,CAAC,YAAY,EAAE,CAAC,IAA0B,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;YACvE,MAAM;QACP;YACC,qEAAqE;YACrE,wEAAwE;YACxE,gCAAgC;YAChC,MAAM;IACR,CAAC;AACF,CAAC;AAED,SAAS,WAAW,CAAC,IAAoB,EAAE,KAAgB;IAC1D,MAAM,SAAS,GAAG,eAAe,EAAE,CAAC;IACpC,cAAc,CAAC,KAAK,CAAC,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE;QAC3C,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,UAAU,EAAE,IAAI,IAAI,EAAE,EAAE,CAAC;YAC/C,uEAAuE;YACvE,kEAAkE;YAClE,mEAAmE;YACnE,iEAAiE;YACjE,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YAC/B,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;QAChD,CAAC;QACD,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,aAAa,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QACnF,cAAc,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE;YACvC,kBAAkB,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;YACxC,0EAA0E;YAC1E,6EAA6E;YAC7E,yEAAyE;YACzE,sEAAsE;YACtE,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;YAC/D,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;YAChD,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YACzB,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;YACnD,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YAC1B,wEAAwE;YACxE,yEAAyE;YACzE,2EAA2E;YAC3E,4EAA4E;YAC5E,yEAAyE;YACzE,6EAA6E;YAC7E,gDAAgD;YAChD,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;YACxD,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAC3B,CAAC,CAAC,CAAC;QACH,0EAA0E;QAC1E,+EAA+E;QAC/E,+EAA+E;QAC/E,4EAA4E;QAC5E,gFAAgF;QAChF,sCAAsC;QACtC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACzB,IAAI,IAAI,CAAC,QAAQ;YAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAS,kBAAkB,CAAC,OAAoD,EAAE,KAAgB;IACjG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;QAC3B,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO;QAChC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACrB,CAAC,CAAC,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,SAAS,QAAQ,CAAC,IAAsD,EAAE,KAAgB;IACzF,cAAc,CAAC,KAAK,CAAC,KAAK,EAAE,gBAAgB,EAAE,EAAE,GAAG,EAAE;QACpD,yEAAyE;QACzE,4EAA4E;QAC5E,0EAA0E;QAC1E,0EAA0E;QAC1E,2EAA2E;QAC3E,4CAA4C;QAC5C,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;QACrE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,QAAQ;gBACZ,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;gBAC1B,CAAC,IAAI,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;oBACtC,CAAC,CAAC,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;oBAC1D,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBACvB,CAAC,CAAC,CAAC;gBACH,MAAM;YACP,KAAK,QAAQ;gBACZ,KAAK,CAAC,IAAI,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC;gBAChC,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;gBACrD,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBACzB,MAAM;YACP,KAAK,QAAQ;gBACZ,KAAK,CAAC,IAAI,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC;gBAChC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBACzB,MAAM;QACR,CAAC;QACD,kBAAkB,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QAC1C,CAAC,IAAI,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAAC,EAAwB,EAAE,KAAgB;IACxE,CAAC,EAAE,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;IACrD,CAAC,EAAE,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;IACtD,gFAAgF;IAChF,+EAA+E;IAC/E,sEAAsE;IACtE,4EAA4E;IAC5E,wEAAwE;IACxE,mFAAmF;IACnF,kFAAkF;IAClF,iFAAiF;IACjF,iFAAiF;IACjF,oFAAoF;IACpF,+EAA+E;IAC/E,wFAAwF;IACxF,qBAAqB,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IAC9C,qBAAqB,CAAC,EAAE,CAAC,KAAK,EAAE,GAAG,IAAI,SAAS,EAAE,KAAK,CAAC,CAAC;AAC1D,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAuC,EAAE,KAAgB;IACvF,IAAI,CAAC,KAAK;QAAE,OAAO;IACnB,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW;QAAE,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;AACzF,CAAC"}