jinaga-server 3.5.2 → 3.5.3

package/dist/postgres/specification-result-sql.js

@@ -6,7 +6,7 @@ const query_description_1 = require("./query-description");
 function generateResultSqlQuery(queryDescription, schema) {
     const allLabels = [...queryDescription.inputs, ...queryDescription.outputs];
     const columns = allLabels
-        .map(label => `f${label.factIndex}.hash as hash${label.factIndex}, f${label.factIndex}.fact_id as id${label.factIndex}, f${label.factIndex}.data as data${label.factIndex}`)
+        .map(label => `f${label.factIndex}.hash as hash${label.factIndex}, f${label.factIndex}.fact_id as id${label.factIndex}, f${label.factIndex}.data as data${label.factIndex}, f${label.factIndex}.date_learned as timestamp${label.factIndex}`)
         .join(", ");
     const firstEdge = queryDescription.edges[0];
     const predecessorFact = queryDescription.inputs.find(i => i.factIndex === firstEdge.predecessorFactIndex);
@@ -14,6 +14,8 @@ function generateResultSqlQuery(queryDescription, schema) {
     const firstFactIndex = predecessorFact ? predecessorFact.factIndex : successorFact.factIndex;
     const writtenFactIndexes = new Set().add(firstFactIndex);
     const joins = generateJoins(queryDescription.edges, writtenFactIndexes, schema);
+    // Add all input fact indexes to writtenFactIndexes since they're available in the FROM clause
+    queryDescription.inputs.forEach(input => writtenFactIndexes.add(input.factIndex));
     const inputWhereClauses = queryDescription.inputs
         .map(input => `f${input.factIndex}.fact_type_id = $${input.factTypeParameter} AND f${input.factIndex}.hash = $${input.factHashParameter}`)
         .join(" AND ");
@@ -262,6 +264,9 @@ class ResultComposer {
         else if (this.resultProjection.type === "fact") {
             return this.factValue(this.resultProjection, row, factRecords);
         }
+        else if (this.resultProjection.type === "time") {
+            return this.timeValue(this.resultProjection, row);
+        }
         else {
             const _exhaustiveCheck = this.resultProjection;
             throw new Error(`Unknown projection type ${this.resultProjection.type}`);
@@ -289,6 +294,9 @@ class ResultComposer {
             // This should have already been taken care of
             return null;
         }
+        else if (projection.type === "time") {
+            return this.timeValue(projection, row);
+        }
         else {
             const _exhaustiveCheck = projection;
             throw new Error(`Unknown projection type ${projection.type}`);
@@ -311,6 +319,10 @@ class ResultComposer {
         const [fact] = (0, jinaga_1.hydrateFromTree)([factReference], factRecords);
         return fact;
     }
+    timeValue(projection, row) {
+        const label = this.getLabel(projection.label);
+        return row[label.index].timestamp;
+    }
     getLabel(name) {
         const label = this.sqlQuery.labels.find(label => label.name === name);
         if (!label) {
@@ -326,11 +338,43 @@ class ResultDescriptionBuilder {
     }
     buildDescription(start, specification) {
         (0, jinaga_1.validateGiven)(start, specification);
-        return this.createResultDescription(query_description_1.QueryDescription.unsatisfiable, specification.given, start, specification.matches, specification.projection, {}, []);
+        const labels = specification.given.map(g => g.label);
+        let queryDescription = query_description_1.QueryDescription.unsatisfiable;
+        let knownFacts = {};
+        // First process main matches to build the result description
+        const resultDescription = this.createResultDescription(queryDescription, specification.given, start, specification.matches, specification.projection, knownFacts, []);
+        // Then process conditions from given if we have a satisfiable query
+        if (resultDescription.queryDescription.isSatisfiable()) {
+            queryDescription = resultDescription.queryDescription;
+            knownFacts = resultDescription.queryDescription.outputs.reduce((acc, output) => (Object.assign(Object.assign({}, acc), { [output.label]: { factIndex: output.factIndex, type: output.type } })), {});
+            // Also include inputs in knownFacts
+            for (const input of resultDescription.queryDescription.inputs) {
+                if (!knownFacts[input.label]) {
+                    knownFacts[input.label] = { factIndex: input.factIndex, type: input.type };
+                }
+            }
+            // Process conditions from each given
+            for (const givenItem of specification.given) {
+                if (givenItem.conditions && givenItem.conditions.length > 0) {
+                    for (const condition of givenItem.conditions) {
+                        const { query: queryDescriptionWithExistential, path: conditionalPath } = queryDescription.withExistentialCondition(condition.exists, []);
+                        const { queryDescription: queryDescriptionConditional } = this.queryDescriptionBuilder.addEdges(queryDescriptionWithExistential, labels, start, knownFacts, conditionalPath, condition.matches);
+                        if (queryDescriptionConditional.isSatisfiable()) {
+                            queryDescription = queryDescriptionConditional;
+                        }
+                    }
+                }
+            }
+            // Return updated result description with conditions applied
+            return Object.assign(Object.assign({}, resultDescription), { queryDescription });
+        }
+        return resultDescription;
     }
     createResultDescription(queryDescription, given, start, matches, projection, knownFacts, path) {
-        const givenTuple = given.reduce((acc, label, index) => (Object.assign(Object.assign({}, acc), { [label.name]: start[index] })), {});
-        ({ queryDescription, knownFacts } = this.queryDescriptionBuilder.addEdges(queryDescription, given, start, knownFacts, path, matches));
+        const givenTuple = given.reduce((acc, givenItem, index) => (Object.assign(Object.assign({}, acc), { [givenItem.label.name]: start[index] })), {});
+        // Process main matches
+        const labels = given.map(g => g.label);
+        ({ queryDescription, knownFacts } = this.queryDescriptionBuilder.addEdges(queryDescription, labels, start, knownFacts, path, matches));
         if (!queryDescription.isSatisfiable()) {
             // Abort the branch if the query is not satisfiable
             return {
@@ -348,7 +392,7 @@ class ResultDescriptionBuilder {
             const specificationProjections = projection.components
                 .filter(projection => projection.type === "specification");
             const singularProjections = projection.components
-                .filter(projection => projection.type === "field" || projection.type === "hash" || projection.type === "fact");
+                .filter(projection => projection.type === "field" || projection.type === "hash" || projection.type === "fact" || projection.type === "time");
             for (const child of specificationProjections) {
                 const childResultDescription = this.createResultDescription(queryDescription, given, start, child.matches, child.projection, knownFacts, []);
                 childResultDescriptions.push(Object.assign({ name: child.name }, childResultDescription));

package/dist/postgres/specification-result-sql.js.map

@@ -1 +1 @@
-{"version":3,"file":"specification-result-sql.js","sourceRoot":"","sources":["../../src/postgres/specification-result-sql.ts"],"names":[],"mappings":";;;AAAA,mCAkBgB;AAGhB,2DAA+I;AAE/I,SAAS,sBAAsB,CAAC,gBAAkC,EAAE,MAAc;IAC9E,MAAM,SAAS,GAAG,CAAE,GAAG,gBAAgB,CAAC,MAAM,EAAE,GAAG,gBAAgB,CAAC,OAAO,CAAE,CAAC;IAC9E,MAAM,OAAO,GAAG,SAAS;SACpB,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,SAAS,gBAAgB,KAAK,CAAC,SAAS,MAAM,KAAK,CAAC,SAAS,iBAAiB,KAAK,CAAC,SAAS,MAAM,KAAK,CAAC,SAAS,gBAAgB,KAAK,CAAC,SAAS,EAAE,CAAC;SAC3K,IAAI,CAAC,IAAI,CAAC,CAAC;IAChB,MAAM,SAAS,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC5C,MAAM,eAAe,GAAG,gBAAgB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,oBAAoB,CAAC,CAAC;IAC1G,MAAM,aAAa,GAAG,gBAAgB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,kBAAkB,CAAC,CAAC;IACtG,MAAM,cAAc,GAAG,eAAe,CAAC,CAAC,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC,aAAc,CAAC,SAAS,CAAC;IAC9F,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAU,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;IACjE,MAAM,KAAK,GAAa,aAAa,CAAC,gBAAgB,CAAC,KAAK,EAAE,kBAAkB,EAAE,MAAM,CAAC,CAAC;IAC1F,MAAM,iBAAiB,GAAG,gBAAgB,CAAC,MAAM;SAC5C,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,SAAS,oBAAoB,KAAK,CAAC,iBAAiB,SAAS,KAAK,CAAC,SAAS,YAAY,KAAK,CAAC,iBAAiB,EAAE,CAAC;SACzI,IAAI,CAAC,OAAO,CAAC,CAAC;IACnB,MAAM,uBAAuB,GAAG,gBAAgB,CAAC,qBAAqB;SACjE,GAAG,CAAC,oBAAoB,CAAC,EAAE,CAAC,QAAQ,oBAAoB,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,KAAK,8BAA8B,CAAC,oBAAoB,EAAE,kBAAkB,EAAE,MAAM,CAAC,GAAG,CAAC;SAClL,IAAI,CAAC,EAAE,CAAC,CAAC;IACd,MAAM,aAAa,GAAG,gBAAgB,CAAC,OAAO;SACzC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,MAAM,CAAC,SAAS,cAAc,CAAC;SACjD,IAAI,CAAC,IAAI,CAAC,CAAC;IAChB,MAAM,GAAG,GAAG,UAAU,OAAO,SAAS,MAAM,UAAU,cAAc,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,iBAAiB,GAAG,uBAAuB,aAAa,aAAa,EAAE,CAAC;IACvK,OAAO;QACH,GAAG;QACH,UAAU,EAAE,gBAAgB,CAAC,UAAU;QACvC,MAAM,EAAE,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAC5B,IAAI,EAAE,KAAK,CAAC,KAAK;YACjB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,KAAK,EAAE,KAAK,CAAC,SAAS;SACzB,CAAC,CAAC;QACH,QAAQ,EAAE,IAAI;KACjB,CAAC;AACN,CAAC;AAED,SAAS,aAAa,CAAC,KAAwB,EAAE,kBAA+B,EAAE,MAAc;IAC5F,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;QACjB,IAAI,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,oBAAoB,CAAC,EAAE;YACnD,IAAI,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,kBAAkB,CAAC,EAAE;gBACjD,KAAK,CAAC,IAAI,CACN,SAAS,MAAM,UAAU,IAAI,CAAC,SAAS,EAAE;oBACzC,QAAQ,IAAI,CAAC,SAAS,2BAA2B,IAAI,CAAC,oBAAoB,UAAU;oBACpF,SAAS,IAAI,CAAC,SAAS,yBAAyB,IAAI,CAAC,kBAAkB,UAAU;oBACjF,SAAS,IAAI,CAAC,SAAS,eAAe,IAAI,CAAC,aAAa,EAAE,CAC7D,CAAC;aACL;iBACI;gBACD,KAAK,CAAC,IAAI,CACN,SAAS,MAAM,UAAU,IAAI,CAAC,SAAS,EAAE;oBACzC,QAAQ,IAAI,CAAC,SAAS,2BAA2B,IAAI,CAAC,oBAAoB,UAAU;oBACpF,SAAS,IAAI,CAAC,SAAS,eAAe,IAAI,CAAC,aAAa,EAAE,CAC7D,CAAC;gBACF,KAAK,CAAC,IAAI,CACN,SAAS,MAAM,UAAU,IAAI,CAAC,kBAAkB,EAAE;oBAClD,QAAQ,IAAI,CAAC,kBAAkB,eAAe,IAAI,CAAC,SAAS,oBAAoB,CACnF,CAAC;gBACF,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;aACnD;SACJ;aACI,IAAI,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,kBAAkB,CAAC,EAAE;YACtD,KAAK,CAAC,IAAI,CACN,SAAS,MAAM,UAAU,IAAI,CAAC,SAAS,EAAE;gBACzC,QAAQ,IAAI,CAAC,SAAS,yBAAyB,IAAI,CAAC,kBAAkB,UAAU;gBAChF,SAAS,IAAI,CAAC,SAAS,eAAe,IAAI,CAAC,aAAa,EAAE,CAC7D,CAAC;YACF,KAAK,CAAC,IAAI,CACN,SAAS,MAAM,UAAU,IAAI,CAAC,oBAAoB,EAAE;gBACpD,QAAQ,IAAI,CAAC,oBAAoB,eAAe,IAAI,CAAC,SAAS,sBAAsB,CACvF,CAAC;YACF,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;SACrD;aACI;YACD,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;SAC9E;IACL,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,SAAS,8BAA8B,CAAC,oBAAqD,EAAE,gBAA6B,EAAE,MAAc;IACxI,MAAM,SAAS,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAChD,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAS,gBAAgB,CAAC,CAAC;IAC7D,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,IAAI,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,oBAAoB,CAAC,EAAE;QACxD,IAAI,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,kBAAkB,CAAC,EAAE;YACtD,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAC;SAC1C;aACI;YACD,WAAW,CAAC,IAAI,CACZ,IAAI,SAAS,CAAC,SAAS,2BAA2B,SAAS,CAAC,oBAAoB,UAAU;gBAC1F,SAAS,SAAS,CAAC,SAAS,eAAe,SAAS,CAAC,aAAa,EAAE,CACvE,CAAC;YACF,SAAS,CAAC,IAAI,CACV,SAAS,MAAM,UAAU,SAAS,CAAC,kBAAkB,EAAE;gBACvD,QAAQ,SAAS,CAAC,kBAAkB,eAAe,SAAS,CAAC,SAAS,oBAAoB,CAC7F,CAAC;YACF,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;SACxD;KACJ;SACI,IAAI,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,kBAAkB,CAAC,EAAE;QAC3D,WAAW,CAAC,IAAI,CACZ,IAAI,SAAS,CAAC,SAAS,yBAAyB,SAAS,CAAC,kBAAkB,UAAU;YACtF,SAAS,SAAS,CAAC,SAAS,eAAe,SAAS,CAAC,aAAa,EAAE,CACvE,CAAC;QACF,SAAS,CAAC,IAAI,CACV,SAAS,MAAM,UAAU,SAAS,CAAC,oBAAoB,EAAE;YACzD,QAAQ,SAAS,CAAC,oBAAoB,eAAe,SAAS,CAAC,SAAS,sBAAsB,CACjG,CAAC;QACF,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;KAC1D;SACI;QACD,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;KAC9E;IACD,MAAM,SAAS,GAAa,aAAa,CAAC,oBAAoB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,MAAM,CAAC,CAAC;IAC3G,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IAC1C,MAAM,iBAAiB,GAAG,oBAAoB,CAAC,MAAM;SAChD,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,SAAS,KAAK,CAAC,SAAS,oBAAoB,KAAK,CAAC,iBAAiB,SAAS,KAAK,CAAC,SAAS,YAAY,KAAK,CAAC,iBAAiB,EAAE,CAAC;SAC9I,IAAI,CAAC,EAAE,CAAC,CAAC;IACd,MAAM,uBAAuB,GAAG,oBAAoB,CAAC,qBAAqB;SACrE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,KAAK,8BAA8B,CAAC,CAAC,EAAE,kBAAkB,EAAE,MAAM,CAAC,GAAG,CAAC;SACzH,IAAI,CAAC,EAAE,CAAC,CAAC;IACd,OAAO,iBAAiB,MAAM,UAAU,SAAS,CAAC,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,iBAAiB,GAAG,uBAAuB,EAAE,CAAC;AACpK,CAAC;AAsED,MAAa,cAAc;IACvB,YACqB,QAA+B,EAC/B,gBAA4B,EAC5B,kBAA0B,EAC1B,UAA4B,EAC5B,oBAA2C;QAJ3C,aAAQ,GAAR,QAAQ,CAAuB;QAC/B,qBAAgB,GAAhB,gBAAgB,CAAY;QAC5B,uBAAkB,GAAlB,kBAAkB,CAAQ;QAC1B,eAAU,GAAV,UAAU,CAAkB;QAC5B,yBAAoB,GAApB,oBAAoB,CAAuB;IAC5D,CAAC;IAEE,aAAa;QAChB,MAAM,YAAY,GAAwB,EAAE,CAAC;QAC7C,KAAK,MAAM,mBAAmB,IAAI,IAAI,CAAC,oBAAoB,EAAE;YACzD,YAAY,CAAC,IAAI,CAAC,iBACd,IAAI,EAAE,mBAAmB,CAAC,IAAI,IAC3B,mBAAmB,CAAC,cAAc,CAAC,aAAa,EAAE,EACvD,CAAC,CAAC;SACP;QACD,OAAO;YACH,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,YAAY;SACf,CAAC;IACN,CAAC;IAEM,kBAAkB,CACrB,UAAyB;QAEzB,IAAI,cAAc,GAAoB,EAAE,CAAC;QAEzC,8CAA8C;QAC9C,MAAM,UAAU,GAAG,IAAI,CAAC,gBAAgB,CAAC;QACzC,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM,EAAE;YAC5B,MAAM,wBAAwB,GAAG,IAAI,CAAC,2BAA2B,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;YAC1F,cAAc,GAAG,cAAc,CAAC,MAAM,CAAC,wBAAwB,CAAC,CAAC;SACpE;QAED,0CAA0C;QAC1C,IAAI,UAAU,CAAC,IAAI,KAAK,WAAW,EAAE;YACjC,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,UAAU,EAAE;gBAC3C,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM,EAAE;oBAC3B,MAAM,wBAAwB,GAAG,IAAI,CAAC,2BAA2B,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;oBACzF,cAAc,GAAG,cAAc,CAAC,MAAM,CAAC,wBAAwB,CAAC,CAAC;iBACpE;aACJ;SACJ;QAED,6DAA6D;QAC7D,KAAK,MAAM,cAAc,IAAI,UAAU,CAAC,eAAe,EAAE;YACrD,MAAM,mBAAmB,GAAG,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAC3D,CAAC,CAAC,IAAI,KAAK,cAAc,CAAC,IAAI,CAAC,CAAC;YACpC,IAAI,mBAAmB,EAAE;gBACrB,MAAM,mBAAmB,GAAG,mBAAmB,CAAC,cAAc;qBACzD,kBAAkB,CAAC,cAAc,CAAC,CAAC;gBACxC,cAAc,GAAG,cAAc,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC;aAC/D;SACJ;QAED,OAAO,cAAc,CAAC;IAC1B,CAAC;IAEO,2BAA2B,CAAC,UAA0B,EAAE,UAAyB;QACrF,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAC9C,MAAM,cAAc,GAAG,UAAU,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACpD,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI;SAC9B,CAAC,CAAC,CAAC;QACJ,OAAO,cAAc,CAAC;IAC1B,CAAC;IAEM,OAAO,CACV,UAAyB,EACzB,WAAyB;QAEzB,MAAM,YAAY,GAAG,IAAI,CAAC,eAAe,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;QACnE,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE;YAC3B,OAAO,EAAE,CAAC;SACb;aACI;YACD,OAAO,YAAY,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;SAClC;IACL,CAAC;IAEO,eAAe,CACnB,UAAyB,EACzB,WAAyB;QAEzB,MAAM,IAAI,GAAG,UAAU,CAAC,SAAS,CAAC;QAClC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE;YACnB,OAAO,EAAE,CAAC;SACb;QAED,yCAAyC;QACzC,MAAM,iBAAiB,GAAwB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC5D,OAAO,EAAE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC;YAC/B,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC;YACxB,MAAM,EAAE,IAAI,CAAC,YAAY,CAAC,GAAG,EAAE,WAAW,CAAC;SAC9C,CAAC,CAAC,CAAC;QAEJ,wBAAwB;QACxB,KAAK,MAAM,mBAAmB,IAAI,IAAI,CAAC,oBAAoB,EAAE;YACzD,MAAM,cAAc,GAAG,UAAU,CAAC,eAAe,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CACpE,cAAc,CAAC,IAAI,KAAK,mBAAmB,CAAC,IAAI,CAAC,CAAC;YACtD,IAAI,CAAC,cAAc,EAAE;gBACjB,MAAM,cAAc,GAAG,UAAU,CAAC,eAAe,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;gBAC7F,MAAM,IAAI,KAAK,CAAC,oBAAoB,mBAAmB,CAAC,IAAI,kBAAkB,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;aAC/G;YACD,MAAM,eAAe,GAAG,mBAAmB,CAAC,cAAc,CAAC,eAAe,CAAC,cAAc,EAAE,WAAW,CAAC,CAAC;YAExG,wBAAwB;YACxB,IAAI,KAAK,GAAG,CAAC,CAAC;YACd,KAAK,MAAM,gBAAgB,IAAI,iBAAiB,EAAE;gBAC9C,IAAI,OAAO,GAAU,EAAE,CAAC;gBACxB,IAAI,KAAK,GAAG,eAAe,CAAC,MAAM,IAAI,QAAQ,CAAC,gBAAgB,CAAC,OAAO,EAAE,eAAe,CAAC,KAAK,CAAC,CAAC,aAAa,CAAC,EAAE;oBAC5G,OAAO,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC;oBACzC,KAAK,EAAE,CAAC;iBACX;gBACD,gBAAgB,CAAC,MAAM,mCAChB,gBAAgB,CAAC,MAAM,KAC1B,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,OAAO,GACtC,CAAC;aACL;SACJ;QAED,gDAAgD;QAChD,MAAM,YAAY,GAAmB,EAAE,CAAC;QACxC,IAAI,aAAa,GAAa,iBAAiB,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,kBAAkB,CAAC,CAAC;QAC7F,IAAI,OAAO,GAAsB,CAAC;gBAC9B,KAAK,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC,KAAK;gBACjC,MAAM,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC,MAAM;aACtC,CAAC,CAAC;QACH,KAAK,MAAM,gBAAgB,IAAI,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE;YACvD,MAAM,iBAAiB,GAAG,gBAAgB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,kBAAkB,CAAC,CAAC;YACrF,IAAI,QAAQ,CAAC,iBAAiB,EAAE,aAAa,CAAC,EAAE;gBAC5C,OAAO,CAAC,IAAI,CAAC;oBACT,KAAK,EAAE,gBAAgB,CAAC,KAAK;oBAC7B,MAAM,EAAE,gBAAgB,CAAC,MAAM;iBAClC,CAAC,CAAC;aACN;iBACI;gBACD,YAAY,CAAC,IAAI,CAAC;oBACd,aAAa;oBACb,OAAO;iBACV,CAAC,CAAC;gBACH,aAAa,GAAG,iBAAiB,CAAC;gBAClC,OAAO,GAAG,CAAC;wBACP,KAAK,EAAE,gBAAgB,CAAC,KAAK;wBAC7B,MAAM,EAAE,gBAAgB,CAAC,MAAM;qBAClC,CAAC,CAAC;aACN;SACJ;QACD,YAAY,CAAC,IAAI,CAAC;YACd,aAAa;YACb,OAAO;SACV,CAAC,CAAC;QACH,OAAO,YAAY,CAAC;IACxB,CAAC;IAEO,YAAY,CAAC,GAAiB;QAClC,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC;IACtE,CAAC;IAEO,OAAO,CAAC,GAAiB;QAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,iCACnD,GAAG,KACN,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE;gBACV,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI;aAC9B,IACH,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;QACrB,OAAO,KAAK,CAAC;IACjB,CAAC;IAEO,YAAY,CAAC,GAAiB,EAAE,WAAyB;QAC7D,IAAI,IAAI,CAAC,gBAAgB,CAAC,IAAI,KAAK,OAAO,EAAE;YACxC,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC;SACtD;aACI,IAAI,IAAI,CAAC,gBAAgB,CAAC,IAAI,KAAK,WAAW,EAAE;YACjD,IACI,IAAI,CAAC,gBAAgB,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;gBAC7C,IAAI,CAAC,oBAAoB,CAAC,MAAM,KAAK,CAAC,EAAE;gBACxC,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM;qBACtB,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC;qBAC9B,MAAM,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,iCACjB,GAAG,KACN,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,IAC5C,EAAE,EAAE,CAAC,CAAA;aACd;iBACI;gBACD,OAAO,IAAI,CAAC,gBAAgB,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,SAAS,EAAE,EAAE,CAAC,iCAC5D,GAAG,KACN,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,YAAY,CAAC,SAAS,EAAE,GAAG,EAAE,WAAW,CAAC,IAClE,EAAE,EAAE,CAAC,CAAC;aACX;SACJ;aACI,IAAI,IAAI,CAAC,gBAAgB,CAAC,IAAI,KAAK,MAAM,EAAE;YAC5C,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC;SACrD;aACI,IAAI,IAAI,CAAC,gBAAgB,CAAC,IAAI,KAAK,MAAM,EAAE;YAC5C,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,gBAAgB,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;SAClE;aACI;YACD,MAAM,gBAAgB,GAAU,IAAI,CAAC,gBAAgB,CAAC;YACtD,MAAM,IAAI,KAAK,CAAC,2BAA4B,IAAI,CAAC,gBAAwB,CAAC,IAAI,EAAE,CAAC,CAAC;SACrF;IACL,CAAC;IAEO,YAAY,CAAC,UAA+B,EAAE,GAAiB,EAAE,WAAyB;QAC9F,IAAI,UAAU,CAAC,IAAI,KAAK,OAAO,EAAE;YAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YAC9C,OAAO,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;SACzD;aACI,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM,EAAE;YACjC,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YAC9C,OAAO,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC;SAChC;aACI,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM,EAAE;YACjC,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YAC9C,MAAM,aAAa,GAAG;gBAClB,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI;aAC9B,CAAC;YACF,MAAM,CAAC,IAAI,CAAC,GAAG,IAAA,wBAAe,EAAC,CAAC,aAAa,CAAC,EAAE,WAAW,CAAC,CAAC;YAC7D,OAAO,IAAI,CAAC;SACf;aACI,IAAI,UAAU,CAAC,IAAI,KAAK,eAAe,EAAE;YAC1C,8CAA8C;YAC9C,OAAO,IAAI,CAAC;SACf;aACI;YACD,MAAM,gBAAgB,GAAU,UAAU,CAAC;YAC3C,MAAM,IAAI,KAAK,CAAC,2BAA4B,UAAkB,CAAC,IAAI,EAAE,CAAC,CAAC;SAC1E;IACL,CAAC;IAEO,UAAU,CAAC,UAA2B,EAAE,GAAiB;QAC7D,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAC9C,OAAO,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IAC1D,CAAC;IAEO,SAAS,CAAC,UAA0B,EAAE,GAAiB;QAC3D,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAC9C,OAAO,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC;IACjC,CAAC;IAEO,SAAS,CAAC,UAA0B,EAAE,GAAiB,EAAE,WAAyB;QACtF,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAC9C,MAAM,aAAa,GAAkB;YACjC,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI;SAC9B,CAAC;QACF,MAAM,CAAC,IAAI,CAAC,GAAG,IAAA,wBAAe,EAAC,CAAC,aAAa,CAAC,EAAE,WAAW,CAAC,CAAC;QAC7D,OAAO,IAAI,CAAC;IAChB,CAAC;IAEO,QAAQ,CAAC,IAAY;QACzB,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QACtE,IAAI,CAAC,KAAK,EAAE;YACR,MAAM,IAAI,KAAK,CAAC,SAAS,IAAI,6BAA6B,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;SACzH;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;CACJ;AApQD,wCAoQC;AAOD,MAAM,wBAAwB;IAC1B,YACY,uBAAgD;QAAhD,4BAAuB,GAAvB,uBAAuB,CAAyB;IACxD,CAAC;IAEL,gBAAgB,CAAC,KAAsB,EAAE,aAA4B;QACjE,IAAA,sBAAa,EAAC,KAAK,EAAE,aAAa,CAAC,CAAC;QAEpC,OAAO,IAAI,CAAC,uBAAuB,CAAC,oCAAgB,CAAC,aAAa,EAAE,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,aAAa,CAAC,OAAO,EAAE,aAAa,CAAC,UAAU,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;IAC7J,CAAC;IAEO,uBAAuB,CAAC,gBAAkC,EAAE,KAAc,EAAE,KAAsB,EAAE,OAAgB,EAAE,UAAsB,EAAE,UAAuB,EAAE,IAAc;QACzL,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,iCAChD,GAAG,KACN,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,IAC5B,EAAE,EAAsB,CAAC,CAAC;QAC5B,CAAC,EAAE,gBAAgB,EAAE,UAAU,EAAE,GAAG,IAAI,CAAC,uBAAuB,CAAC,QAAQ,CAAC,gBAAgB,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;QACtI,IAAI,CAAC,gBAAgB,CAAC,aAAa,EAAE,EAAE;YACnC,mDAAmD;YACnD,OAAO;gBACH,gBAAgB;gBAChB,gBAAgB,EAAE;oBACd,IAAI,EAAE,WAAW;oBACjB,UAAU,EAAE,EAAE;iBACjB;gBACD,uBAAuB,EAAE,EAAE;gBAC3B,UAAU;aACb,CAAA;SACJ;QACD,MAAM,uBAAuB,GAA6B,EAAE,CAAC;QAC7D,IAAI,UAAU,CAAC,IAAI,KAAK,WAAW,EAAE;YACjC,MAAM,wBAAwB,GAAG,UAAU,CAAC,UAAU;iBACjD,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,eAAe,CAAmD,CAAC;YACjH,MAAM,mBAAmB,GAAG,UAAU,CAAC,UAAU;iBAC5C,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,OAAO,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM,CAA8C,CAAC;YAChK,KAAK,MAAM,KAAK,IAAI,wBAAwB,EAAE;gBAC1C,MAAM,sBAAsB,GAAG,IAAI,CAAC,uBAAuB,CAAC,gBAAgB,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,UAAU,EAAE,UAAU,EAAE,EAAE,CAAC,CAAC;gBAC7I,uBAAuB,CAAC,IAAI,iBACxB,IAAI,EAAE,KAAK,CAAC,IAAI,IACb,sBAAsB,EAC3B,CAAC;aACN;YACD,OAAO;gBACH,gBAAgB;gBAChB,gBAAgB,EAAE;oBACd,IAAI,EAAE,WAAW;oBACjB,UAAU,EAAE,mBAAmB;iBAClC;gBACD,uBAAuB;gBACvB,UAAU;aACb,CAAC;SACL;aACI;YACD,OAAO;gBACH,gBAAgB;gBAChB,gBAAgB,EAAE,UAAU;gBAC5B,uBAAuB,EAAE,EAAE;gBAC3B,UAAU;aACb,CAAA;SACJ;IACL,CAAC;CACJ;AAED,SAAS,QAAQ,CAAC,CAAW,EAAE,CAAW;IACtC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;AACzD,CAAC;AAED,SAAgB,0BAA0B,CAAC,KAAsB,EAAE,aAA4B,EAAE,SAAsB,EAAE,OAAgB,EAAE,MAAc;IACrJ,MAAM,uBAAuB,GAAG,IAAI,2CAAuB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAChF,MAAM,kBAAkB,GAAG,IAAI,wBAAwB,CAAC,uBAAuB,CAAC,CAAC;IACjF,MAAM,WAAW,GAAG,kBAAkB,CAAC,gBAAgB,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;IAE9E,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAAC,aAAa,EAAE,EAAE;QAC/C,OAAO,IAAI,CAAC;KACf;IACD,OAAO,oBAAoB,CAAC,WAAW,EAAE,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;AACnE,CAAC;AATD,gEASC;AAED,SAAS,oBAAoB,CAAC,WAA8B,EAAE,kBAA0B,EAAE,MAAc;IACpG,MAAM,QAAQ,GAAG,sBAAsB,CAAC,WAAW,CAAC,gBAAgB,EAAE,MAAM,CAAC,CAAC;IAC9E,MAAM,gBAAgB,GAAG,WAAW,CAAC,gBAAgB,CAAC;IACtD,MAAM,oBAAoB,GAAG,WAAW,CAAC,uBAAuB;SAC3D,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,aAAa,EAAE,CAAC;SACvD,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACX,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,cAAc,EAAE,oBAAoB,CAAC,KAAK,EAAE,WAAW,CAAC,gBAAgB,CAAC,YAAY,EAAE,EAAE,MAAM,CAAC;KACnG,CAAC,CAAC,CAAC;IACR,OAAO,IAAI,cAAc,CAAC,QAAQ,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,WAAW,CAAC,UAAU,EAAE,oBAAoB,CAAC,CAAC;AAC5H,CAAC"}
+{"version":3,"file":"specification-result-sql.js","sourceRoot":"","sources":["../../src/postgres/specification-result-sql.ts"],"names":[],"mappings":";;;AAAA,mCAmBgB;AAGhB,2DAA+I;AAE/I,SAAS,sBAAsB,CAAC,gBAAkC,EAAE,MAAc;IAC9E,MAAM,SAAS,GAAG,CAAE,GAAG,gBAAgB,CAAC,MAAM,EAAE,GAAG,gBAAgB,CAAC,OAAO,CAAE,CAAC;IAC9E,MAAM,OAAO,GAAG,SAAS;SACpB,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,SAAS,gBAAgB,KAAK,CAAC,SAAS,MAAM,KAAK,CAAC,SAAS,iBAAiB,KAAK,CAAC,SAAS,MAAM,KAAK,CAAC,SAAS,gBAAgB,KAAK,CAAC,SAAS,MAAM,KAAK,CAAC,SAAS,6BAA6B,KAAK,CAAC,SAAS,EAAE,CAAC;SAC5O,IAAI,CAAC,IAAI,CAAC,CAAC;IAChB,MAAM,SAAS,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC5C,MAAM,eAAe,GAAG,gBAAgB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,oBAAoB,CAAC,CAAC;IAC1G,MAAM,aAAa,GAAG,gBAAgB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,kBAAkB,CAAC,CAAC;IACtG,MAAM,cAAc,GAAG,eAAe,CAAC,CAAC,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC,aAAc,CAAC,SAAS,CAAC;IAC9F,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAU,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;IACjE,MAAM,KAAK,GAAa,aAAa,CAAC,gBAAgB,CAAC,KAAK,EAAE,kBAAkB,EAAE,MAAM,CAAC,CAAC;IAC1F,8FAA8F;IAC9F,gBAAgB,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;IAClF,MAAM,iBAAiB,GAAG,gBAAgB,CAAC,MAAM;SAC5C,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,SAAS,oBAAoB,KAAK,CAAC,iBAAiB,SAAS,KAAK,CAAC,SAAS,YAAY,KAAK,CAAC,iBAAiB,EAAE,CAAC;SACzI,IAAI,CAAC,OAAO,CAAC,CAAC;IACnB,MAAM,uBAAuB,GAAG,gBAAgB,CAAC,qBAAqB;SACjE,GAAG,CAAC,oBAAoB,CAAC,EAAE,CAAC,QAAQ,oBAAoB,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,KAAK,8BAA8B,CAAC,oBAAoB,EAAE,kBAAkB,EAAE,MAAM,CAAC,GAAG,CAAC;SAClL,IAAI,CAAC,EAAE,CAAC,CAAC;IACd,MAAM,aAAa,GAAG,gBAAgB,CAAC,OAAO;SACzC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,MAAM,CAAC,SAAS,cAAc,CAAC;SACjD,IAAI,CAAC,IAAI,CAAC,CAAC;IAChB,MAAM,GAAG,GAAG,UAAU,OAAO,SAAS,MAAM,UAAU,cAAc,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,iBAAiB,GAAG,uBAAuB,aAAa,aAAa,EAAE,CAAC;IACvK,OAAO;QACH,GAAG;QACH,UAAU,EAAE,gBAAgB,CAAC,UAAU;QACvC,MAAM,EAAE,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAC5B,IAAI,EAAE,KAAK,CAAC,KAAK;YACjB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,KAAK,EAAE,KAAK,CAAC,SAAS;SACzB,CAAC,CAAC;QACH,QAAQ,EAAE,IAAI;KACjB,CAAC;AACN,CAAC;AAED,SAAS,aAAa,CAAC,KAAwB,EAAE,kBAA+B,EAAE,MAAc;IAC5F,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;QACjB,IAAI,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,oBAAoB,CAAC,EAAE;YACnD,IAAI,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,kBAAkB,CAAC,EAAE;gBACjD,KAAK,CAAC,IAAI,CACN,SAAS,MAAM,UAAU,IAAI,CAAC,SAAS,EAAE;oBACzC,QAAQ,IAAI,CAAC,SAAS,2BAA2B,IAAI,CAAC,oBAAoB,UAAU;oBACpF,SAAS,IAAI,CAAC,SAAS,yBAAyB,IAAI,CAAC,kBAAkB,UAAU;oBACjF,SAAS,IAAI,CAAC,SAAS,eAAe,IAAI,CAAC,aAAa,EAAE,CAC7D,CAAC;aACL;iBACI;gBACD,KAAK,CAAC,IAAI,CACN,SAAS,MAAM,UAAU,IAAI,CAAC,SAAS,EAAE;oBACzC,QAAQ,IAAI,CAAC,SAAS,2BAA2B,IAAI,CAAC,oBAAoB,UAAU;oBACpF,SAAS,IAAI,CAAC,SAAS,eAAe,IAAI,CAAC,aAAa,EAAE,CAC7D,CAAC;gBACF,KAAK,CAAC,IAAI,CACN,SAAS,MAAM,UAAU,IAAI,CAAC,kBAAkB,EAAE;oBAClD,QAAQ,IAAI,CAAC,kBAAkB,eAAe,IAAI,CAAC,SAAS,oBAAoB,CACnF,CAAC;gBACF,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;aACnD;SACJ;aACI,IAAI,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,kBAAkB,CAAC,EAAE;YACtD,KAAK,CAAC,IAAI,CACN,SAAS,MAAM,UAAU,IAAI,CAAC,SAAS,EAAE;gBACzC,QAAQ,IAAI,CAAC,SAAS,yBAAyB,IAAI,CAAC,kBAAkB,UAAU;gBAChF,SAAS,IAAI,CAAC,SAAS,eAAe,IAAI,CAAC,aAAa,EAAE,CAC7D,CAAC;YACF,KAAK,CAAC,IAAI,CACN,SAAS,MAAM,UAAU,IAAI,CAAC,oBAAoB,EAAE;gBACpD,QAAQ,IAAI,CAAC,oBAAoB,eAAe,IAAI,CAAC,SAAS,sBAAsB,CACvF,CAAC;YACF,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;SACrD;aACI;YACD,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;SAC9E;IACL,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,SAAS,8BAA8B,CAAC,oBAAqD,EAAE,gBAA6B,EAAE,MAAc;IACxI,MAAM,SAAS,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAChD,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAS,gBAAgB,CAAC,CAAC;IAC7D,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,IAAI,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,oBAAoB,CAAC,EAAE;QACxD,IAAI,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,kBAAkB,CAAC,EAAE;YACtD,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAC;SAC1C;aACI;YACD,WAAW,CAAC,IAAI,CACZ,IAAI,SAAS,CAAC,SAAS,2BAA2B,SAAS,CAAC,oBAAoB,UAAU;gBAC1F,SAAS,SAAS,CAAC,SAAS,eAAe,SAAS,CAAC,aAAa,EAAE,CACvE,CAAC;YACF,SAAS,CAAC,IAAI,CACV,SAAS,MAAM,UAAU,SAAS,CAAC,kBAAkB,EAAE;gBACvD,QAAQ,SAAS,CAAC,kBAAkB,eAAe,SAAS,CAAC,SAAS,oBAAoB,CAC7F,CAAC;YACF,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;SACxD;KACJ;SACI,IAAI,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,kBAAkB,CAAC,EAAE;QAC3D,WAAW,CAAC,IAAI,CACZ,IAAI,SAAS,CAAC,SAAS,yBAAyB,SAAS,CAAC,kBAAkB,UAAU;YACtF,SAAS,SAAS,CAAC,SAAS,eAAe,SAAS,CAAC,aAAa,EAAE,CACvE,CAAC;QACF,SAAS,CAAC,IAAI,CACV,SAAS,MAAM,UAAU,SAAS,CAAC,oBAAoB,EAAE;YACzD,QAAQ,SAAS,CAAC,oBAAoB,eAAe,SAAS,CAAC,SAAS,sBAAsB,CACjG,CAAC;QACF,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;KAC1D;SACI;QACD,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;KAC9E;IACD,MAAM,SAAS,GAAa,aAAa,CAAC,oBAAoB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,MAAM,CAAC,CAAC;IAC3G,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IAC1C,MAAM,iBAAiB,GAAG,oBAAoB,CAAC,MAAM;SAChD,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,SAAS,KAAK,CAAC,SAAS,oBAAoB,KAAK,CAAC,iBAAiB,SAAS,KAAK,CAAC,SAAS,YAAY,KAAK,CAAC,iBAAiB,EAAE,CAAC;SAC9I,IAAI,CAAC,EAAE,CAAC,CAAC;IACd,MAAM,uBAAuB,GAAG,oBAAoB,CAAC,qBAAqB;SACrE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,KAAK,8BAA8B,CAAC,CAAC,EAAE,kBAAkB,EAAE,MAAM,CAAC,GAAG,CAAC;SACzH,IAAI,CAAC,EAAE,CAAC,CAAC;IACd,OAAO,iBAAiB,MAAM,UAAU,SAAS,CAAC,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,iBAAiB,GAAG,uBAAuB,EAAE,CAAC;AACpK,CAAC;AAuED,MAAa,cAAc;IACvB,YACqB,QAA+B,EAC/B,gBAA4B,EAC5B,kBAA0B,EAC1B,UAA4B,EAC5B,oBAA2C;QAJ3C,aAAQ,GAAR,QAAQ,CAAuB;QAC/B,qBAAgB,GAAhB,gBAAgB,CAAY;QAC5B,uBAAkB,GAAlB,kBAAkB,CAAQ;QAC1B,eAAU,GAAV,UAAU,CAAkB;QAC5B,yBAAoB,GAApB,oBAAoB,CAAuB;IAC5D,CAAC;IAEE,aAAa;QAChB,MAAM,YAAY,GAAwB,EAAE,CAAC;QAC7C,KAAK,MAAM,mBAAmB,IAAI,IAAI,CAAC,oBAAoB,EAAE;YACzD,YAAY,CAAC,IAAI,CAAC,iBACd,IAAI,EAAE,mBAAmB,CAAC,IAAI,IAC3B,mBAAmB,CAAC,cAAc,CAAC,aAAa,EAAE,EACvD,CAAC,CAAC;SACP;QACD,OAAO;YACH,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,YAAY;SACf,CAAC;IACN,CAAC;IAEM,kBAAkB,CACrB,UAAyB;QAEzB,IAAI,cAAc,GAAoB,EAAE,CAAC;QAEzC,8CAA8C;QAC9C,MAAM,UAAU,GAAG,IAAI,CAAC,gBAAgB,CAAC;QACzC,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM,EAAE;YAC5B,MAAM,wBAAwB,GAAG,IAAI,CAAC,2BAA2B,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;YAC1F,cAAc,GAAG,cAAc,CAAC,MAAM,CAAC,wBAAwB,CAAC,CAAC;SACpE;QAED,0CAA0C;QAC1C,IAAI,UAAU,CAAC,IAAI,KAAK,WAAW,EAAE;YACjC,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,UAAU,EAAE;gBAC3C,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM,EAAE;oBAC3B,MAAM,wBAAwB,GAAG,IAAI,CAAC,2BAA2B,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;oBACzF,cAAc,GAAG,cAAc,CAAC,MAAM,CAAC,wBAAwB,CAAC,CAAC;iBACpE;aACJ;SACJ;QAED,6DAA6D;QAC7D,KAAK,MAAM,cAAc,IAAI,UAAU,CAAC,eAAe,EAAE;YACrD,MAAM,mBAAmB,GAAG,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAC3D,CAAC,CAAC,IAAI,KAAK,cAAc,CAAC,IAAI,CAAC,CAAC;YACpC,IAAI,mBAAmB,EAAE;gBACrB,MAAM,mBAAmB,GAAG,mBAAmB,CAAC,cAAc;qBACzD,kBAAkB,CAAC,cAAc,CAAC,CAAC;gBACxC,cAAc,GAAG,cAAc,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC;aAC/D;SACJ;QAED,OAAO,cAAc,CAAC;IAC1B,CAAC;IAEO,2BAA2B,CAAC,UAA0B,EAAE,UAAyB;QACrF,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAC9C,MAAM,cAAc,GAAG,UAAU,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACpD,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI;SAC9B,CAAC,CAAC,CAAC;QACJ,OAAO,cAAc,CAAC;IAC1B,CAAC;IAEM,OAAO,CACV,UAAyB,EACzB,WAAyB;QAEzB,MAAM,YAAY,GAAG,IAAI,CAAC,eAAe,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;QACnE,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE;YAC3B,OAAO,EAAE,CAAC;SACb;aACI;YACD,OAAO,YAAY,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;SAClC;IACL,CAAC;IAEO,eAAe,CACnB,UAAyB,EACzB,WAAyB;QAEzB,MAAM,IAAI,GAAG,UAAU,CAAC,SAAS,CAAC;QAClC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE;YACnB,OAAO,EAAE,CAAC;SACb;QAED,yCAAyC;QACzC,MAAM,iBAAiB,GAAwB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC5D,OAAO,EAAE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC;YAC/B,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC;YACxB,MAAM,EAAE,IAAI,CAAC,YAAY,CAAC,GAAG,EAAE,WAAW,CAAC;SAC9C,CAAC,CAAC,CAAC;QAEJ,wBAAwB;QACxB,KAAK,MAAM,mBAAmB,IAAI,IAAI,CAAC,oBAAoB,EAAE;YACzD,MAAM,cAAc,GAAG,UAAU,CAAC,eAAe,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CACpE,cAAc,CAAC,IAAI,KAAK,mBAAmB,CAAC,IAAI,CAAC,CAAC;YACtD,IAAI,CAAC,cAAc,EAAE;gBACjB,MAAM,cAAc,GAAG,UAAU,CAAC,eAAe,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;gBAC7F,MAAM,IAAI,KAAK,CAAC,oBAAoB,mBAAmB,CAAC,IAAI,kBAAkB,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;aAC/G;YACD,MAAM,eAAe,GAAG,mBAAmB,CAAC,cAAc,CAAC,eAAe,CAAC,cAAc,EAAE,WAAW,CAAC,CAAC;YAExG,wBAAwB;YACxB,IAAI,KAAK,GAAG,CAAC,CAAC;YACd,KAAK,MAAM,gBAAgB,IAAI,iBAAiB,EAAE;gBAC9C,IAAI,OAAO,GAAU,EAAE,CAAC;gBACxB,IAAI,KAAK,GAAG,eAAe,CAAC,MAAM,IAAI,QAAQ,CAAC,gBAAgB,CAAC,OAAO,EAAE,eAAe,CAAC,KAAK,CAAC,CAAC,aAAa,CAAC,EAAE;oBAC5G,OAAO,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC;oBACzC,KAAK,EAAE,CAAC;iBACX;gBACD,gBAAgB,CAAC,MAAM,mCAChB,gBAAgB,CAAC,MAAM,KAC1B,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,OAAO,GACtC,CAAC;aACL;SACJ;QAED,gDAAgD;QAChD,MAAM,YAAY,GAAmB,EAAE,CAAC;QACxC,IAAI,aAAa,GAAa,iBAAiB,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,kBAAkB,CAAC,CAAC;QAC7F,IAAI,OAAO,GAAsB,CAAC;gBAC9B,KAAK,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC,KAAK;gBACjC,MAAM,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC,MAAM;aACtC,CAAC,CAAC;QACH,KAAK,MAAM,gBAAgB,IAAI,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE;YACvD,MAAM,iBAAiB,GAAG,gBAAgB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,kBAAkB,CAAC,CAAC;YACrF,IAAI,QAAQ,CAAC,iBAAiB,EAAE,aAAa,CAAC,EAAE;gBAC5C,OAAO,CAAC,IAAI,CAAC;oBACT,KAAK,EAAE,gBAAgB,CAAC,KAAK;oBAC7B,MAAM,EAAE,gBAAgB,CAAC,MAAM;iBAClC,CAAC,CAAC;aACN;iBACI;gBACD,YAAY,CAAC,IAAI,CAAC;oBACd,aAAa;oBACb,OAAO;iBACV,CAAC,CAAC;gBACH,aAAa,GAAG,iBAAiB,CAAC;gBAClC,OAAO,GAAG,CAAC;wBACP,KAAK,EAAE,gBAAgB,CAAC,KAAK;wBAC7B,MAAM,EAAE,gBAAgB,CAAC,MAAM;qBAClC,CAAC,CAAC;aACN;SACJ;QACD,YAAY,CAAC,IAAI,CAAC;YACd,aAAa;YACb,OAAO;SACV,CAAC,CAAC;QACH,OAAO,YAAY,CAAC;IACxB,CAAC;IAEO,YAAY,CAAC,GAAiB;QAClC,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC;IACtE,CAAC;IAEO,OAAO,CAAC,GAAiB;QAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,iCACnD,GAAG,KACN,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE;gBACV,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI;aAC9B,IACH,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;QACrB,OAAO,KAAK,CAAC;IACjB,CAAC;IAEO,YAAY,CAAC,GAAiB,EAAE,WAAyB;QAC7D,IAAI,IAAI,CAAC,gBAAgB,CAAC,IAAI,KAAK,OAAO,EAAE;YACxC,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC;SACtD;aACI,IAAI,IAAI,CAAC,gBAAgB,CAAC,IAAI,KAAK,WAAW,EAAE;YACjD,IACI,IAAI,CAAC,gBAAgB,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;gBAC7C,IAAI,CAAC,oBAAoB,CAAC,MAAM,KAAK,CAAC,EAAE;gBACxC,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM;qBACtB,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC;qBAC9B,MAAM,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,iCACjB,GAAG,KACN,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,IAC5C,EAAE,EAAE,CAAC,CAAA;aACd;iBACI;gBACD,OAAO,IAAI,CAAC,gBAAgB,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,SAAS,EAAE,EAAE,CAAC,iCAC5D,GAAG,KACN,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,YAAY,CAAC,SAAS,EAAE,GAAG,EAAE,WAAW,CAAC,IAClE,EAAE,EAAE,CAAC,CAAC;aACX;SACJ;aACI,IAAI,IAAI,CAAC,gBAAgB,CAAC,IAAI,KAAK,MAAM,EAAE;YAC5C,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC;SACrD;aACI,IAAI,IAAI,CAAC,gBAAgB,CAAC,IAAI,KAAK,MAAM,EAAE;YAC5C,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,gBAAgB,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;SAClE;aACI,IAAI,IAAI,CAAC,gBAAgB,CAAC,IAAI,KAAK,MAAM,EAAE;YAC5C,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC;SACrD;aACI;YACD,MAAM,gBAAgB,GAAU,IAAI,CAAC,gBAAgB,CAAC;YACtD,MAAM,IAAI,KAAK,CAAC,2BAA4B,IAAI,CAAC,gBAAwB,CAAC,IAAI,EAAE,CAAC,CAAC;SACrF;IACL,CAAC;IAEO,YAAY,CAAC,UAA+B,EAAE,GAAiB,EAAE,WAAyB;QAC9F,IAAI,UAAU,CAAC,IAAI,KAAK,OAAO,EAAE;YAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YAC9C,OAAO,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;SACzD;aACI,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM,EAAE;YACjC,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YAC9C,OAAO,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC;SAChC;aACI,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM,EAAE;YACjC,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YAC9C,MAAM,aAAa,GAAG;gBAClB,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI;aAC9B,CAAC;YACF,MAAM,CAAC,IAAI,CAAC,GAAG,IAAA,wBAAe,EAAC,CAAC,aAAa,CAAC,EAAE,WAAW,CAAC,CAAC;YAC7D,OAAO,IAAI,CAAC;SACf;aACI,IAAI,UAAU,CAAC,IAAI,KAAK,eAAe,EAAE;YAC1C,8CAA8C;YAC9C,OAAO,IAAI,CAAC;SACf;aACI,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM,EAAE;YACjC,OAAO,IAAI,CAAC,SAAS,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;SAC1C;aACI;YACD,MAAM,gBAAgB,GAAU,UAAU,CAAC;YAC3C,MAAM,IAAI,KAAK,CAAC,2BAA4B,UAAkB,CAAC,IAAI,EAAE,CAAC,CAAC;SAC1E;IACL,CAAC;IAEO,UAAU,CAAC,UAA2B,EAAE,GAAiB;QAC7D,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAC9C,OAAO,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IAC1D,CAAC;IAEO,SAAS,CAAC,UAA0B,EAAE,GAAiB;QAC3D,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAC9C,OAAO,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC;IACjC,CAAC;IAEO,SAAS,CAAC,UAA0B,EAAE,GAAiB,EAAE,WAAyB;QACtF,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAC9C,MAAM,aAAa,GAAkB;YACjC,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI;SAC9B,CAAC;QACF,MAAM,CAAC,IAAI,CAAC,GAAG,IAAA,wBAAe,EAAC,CAAC,aAAa,CAAC,EAAE,WAAW,CAAC,CAAC;QAC7D,OAAO,IAAI,CAAC;IAChB,CAAC;IAEO,SAAS,CAAC,UAA0B,EAAE,GAAiB;QAC3D,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAC9C,OAAO,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC;IACtC,CAAC;IAEO,QAAQ,CAAC,IAAY;QACzB,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QACtE,IAAI,CAAC,KAAK,EAAE;YACR,MAAM,IAAI,KAAK,CAAC,SAAS,IAAI,6BAA6B,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;SACzH;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;CACJ;AA/QD,wCA+QC;AAOD,MAAM,wBAAwB;IAC1B,YACY,uBAAgD;QAAhD,4BAAuB,GAAvB,uBAAuB,CAAyB;IACxD,CAAC;IAEL,gBAAgB,CAAC,KAAsB,EAAE,aAA4B;QACjE,IAAA,sBAAa,EAAC,KAAK,EAAE,aAAa,CAAC,CAAC;QAEpC,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACrD,IAAI,gBAAgB,GAAG,oCAAgB,CAAC,aAAa,CAAC;QACtD,IAAI,UAAU,GAAgB,EAAE,CAAC;QAEjC,6DAA6D;QAC7D,MAAM,iBAAiB,GAAG,IAAI,CAAC,uBAAuB,CAAC,gBAAgB,EAAE,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,aAAa,CAAC,OAAO,EAAE,aAAa,CAAC,UAAU,EAAE,UAAU,EAAE,EAAE,CAAC,CAAC;QAEtK,oEAAoE;QACpE,IAAI,iBAAiB,CAAC,gBAAgB,CAAC,aAAa,EAAE,EAAE;YACpD,gBAAgB,GAAG,iBAAiB,CAAC,gBAAgB,CAAC;YACtD,UAAU,GAAG,iBAAiB,CAAC,gBAAgB,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,iCACzE,GAAG,KACN,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,IACpE,EAAE,EAAiB,CAAC,CAAC;YAEvB,oCAAoC;YACpC,KAAK,MAAM,KAAK,IAAI,iBAAiB,CAAC,gBAAgB,CAAC,MAAM,EAAE;gBAC3D,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE;oBAC1B,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;iBAC9E;aACJ;YAED,qCAAqC;YACrC,KAAK,MAAM,SAAS,IAAI,aAAa,CAAC,KAAK,EAAE;gBACzC,IAAI,SAAS,CAAC,UAAU,IAAI,SAAS,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE;oBACzD,KAAK,MAAM,SAAS,IAAI,SAAS,CAAC,UAAU,EAAE;wBAC1C,MAAM,EAAE,KAAK,EAAE,+BAA+B,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,gBAAgB,CAAC,wBAAwB,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;wBAC1I,MAAM,EAAE,gBAAgB,EAAE,2BAA2B,EAAE,GAAG,IAAI,CAAC,uBAAuB,CAAC,QAAQ,CAAC,+BAA+B,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,eAAe,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC;wBAEhM,IAAI,2BAA2B,CAAC,aAAa,EAAE,EAAE;4BAC7C,gBAAgB,GAAG,2BAA2B,CAAC;yBAClD;qBACJ;iBACJ;aACJ;YAED,4DAA4D;YAC5D,uCACO,iBAAiB,KACpB,gBAAgB,IAClB;SACL;QAED,OAAO,iBAAiB,CAAC;IAC7B,CAAC;IAEO,uBAAuB,CAAC,gBAAkC,EAAE,KAA2B,EAAE,KAAsB,EAAE,OAAgB,EAAE,UAAsB,EAAE,UAAuB,EAAE,IAAc;QACtM,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,CAAC,iCACpD,GAAG,KACN,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,IACtC,EAAE,EAAsB,CAAC,CAAC;QAE5B,uBAAuB;QACvB,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACvC,CAAC,EAAE,gBAAgB,EAAE,UAAU,EAAE,GAAG,IAAI,CAAC,uBAAuB,CAAC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;QAEvI,IAAI,CAAC,gBAAgB,CAAC,aAAa,EAAE,EAAE;YACnC,mDAAmD;YACnD,OAAO;gBACH,gBAAgB;gBAChB,gBAAgB,EAAE;oBACd,IAAI,EAAE,WAAW;oBACjB,UAAU,EAAE,EAAE;iBACjB;gBACD,uBAAuB,EAAE,EAAE;gBAC3B,UAAU;aACb,CAAA;SACJ;QACD,MAAM,uBAAuB,GAA6B,EAAE,CAAC;QAC7D,IAAI,UAAU,CAAC,IAAI,KAAK,WAAW,EAAE;YACjC,MAAM,wBAAwB,GAAG,UAAU,CAAC,UAAU;iBACjD,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,eAAe,CAAmD,CAAC;YACjH,MAAM,mBAAmB,GAAG,UAAU,CAAC,UAAU;iBAC5C,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,OAAO,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM,CAA8C,CAAC;YAC9L,KAAK,MAAM,KAAK,IAAI,wBAAwB,EAAE;gBAC1C,MAAM,sBAAsB,GAAG,IAAI,CAAC,uBAAuB,CAAC,gBAAgB,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,UAAU,EAAE,UAAU,EAAE,EAAE,CAAC,CAAC;gBAC7I,uBAAuB,CAAC,IAAI,iBACxB,IAAI,EAAE,KAAK,CAAC,IAAI,IACb,sBAAsB,EAC3B,CAAC;aACN;YACD,OAAO;gBACH,gBAAgB;gBAChB,gBAAgB,EAAE;oBACd,IAAI,EAAE,WAAW;oBACjB,UAAU,EAAE,mBAAmB;iBAClC;gBACD,uBAAuB;gBACvB,UAAU;aACb,CAAC;SACL;aACI;YACD,OAAO;gBACH,gBAAgB;gBAChB,gBAAgB,EAAE,UAAU;gBAC5B,uBAAuB,EAAE,EAAE;gBAC3B,UAAU;aACb,CAAA;SACJ;IACL,CAAC;CACJ;AAED,SAAS,QAAQ,CAAC,CAAW,EAAE,CAAW;IACtC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;AACzD,CAAC;AAED,SAAgB,0BAA0B,CAAC,KAAsB,EAAE,aAA4B,EAAE,SAAsB,EAAE,OAAgB,EAAE,MAAc;IACrJ,MAAM,uBAAuB,GAAG,IAAI,2CAAuB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAChF,MAAM,kBAAkB,GAAG,IAAI,wBAAwB,CAAC,uBAAuB,CAAC,CAAC;IACjF,MAAM,WAAW,GAAG,kBAAkB,CAAC,gBAAgB,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;IAE9E,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAAC,aAAa,EAAE,EAAE;QAC/C,OAAO,IAAI,CAAC;KACf;IACD,OAAO,oBAAoB,CAAC,WAAW,EAAE,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;AACnE,CAAC;AATD,gEASC;AAED,SAAS,oBAAoB,CAAC,WAA8B,EAAE,kBAA0B,EAAE,MAAc;IACpG,MAAM,QAAQ,GAAG,sBAAsB,CAAC,WAAW,CAAC,gBAAgB,EAAE,MAAM,CAAC,CAAC;IAC9E,MAAM,gBAAgB,GAAG,WAAW,CAAC,gBAAgB,CAAC;IACtD,MAAM,oBAAoB,GAAG,WAAW,CAAC,uBAAuB;SAC3D,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,aAAa,EAAE,CAAC;SACvD,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACX,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,cAAc,EAAE,oBAAoB,CAAC,KAAK,EAAE,WAAW,CAAC,gBAAgB,CAAC,YAAY,EAAE,EAAE,MAAM,CAAC;KACnG,CAAC,CAAC,CAAC;IACR,OAAO,IAAI,cAAc,CAAC,QAAQ,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,WAAW,CAAC,UAAU,EAAE,oBAAoB,CAAC,CAAC;AAC5H,CAAC"}

package/dist/postgres/specification-sql.js

@@ -25,9 +25,13 @@ function generateSqlQuery(queryDescription, schema, bookmark, limit) {
         .filter(c => c.exists === false))
         .map(notExistsWhereClause => ` AND NOT EXISTS (${generateNotExistsWhereClause(schema, notExistsWhereClause, writtenFactIndexes)})`)
         .join("");
+    const existsWhereClauses = (queryDescription.existentialConditions
+        .filter(c => c.exists === true))
+        .map(existsWhereClause => ` AND EXISTS (${generateNotExistsWhereClause(schema, existsWhereClause, writtenFactIndexes)})`)
+        .join("");
     const bookmarkParameter = queryDescription.parameters.length + 1;
     const limitParameter = bookmarkParameter + 1;
-    const sql = `SELECT ${hashes}, sort(array[${factIds}], 'desc') as bookmark FROM ${schema}.fact f${firstFactIndex}${joins.join("")} WHERE ${inputWhereClauses}${notExistsWhereClauses} AND sort(array[${factIds}], 'desc') > $${bookmarkParameter} ORDER BY bookmark ASC LIMIT $${limitParameter}`;
+    const sql = `SELECT ${hashes}, sort(array[${factIds}], 'desc') as bookmark FROM ${schema}.fact f${firstFactIndex}${joins.join("")} WHERE ${inputWhereClauses}${notExistsWhereClauses}${existsWhereClauses} AND sort(array[${factIds}], 'desc') > $${bookmarkParameter} ORDER BY bookmark ASC LIMIT $${limitParameter}`;
     const bookmarkValue = parseBookmark(bookmark);
     return {
         sql,
@@ -126,7 +130,7 @@ function parseBookmark(bookmark) {
 function sqlFromSpecification(start, schema, bookmarks, limit, specification, factTypes, roleMap) {
     (0, jinaga_1.validateGiven)(start, specification);
     const labeledStart = start.map((s, index) => ({
-        name: specification.given[index].name,
+        name: specification.given[index].label.name,
         reference: s
     })).reduce((map, s) => {
         map.set(s.name, s.reference);
@@ -139,9 +143,9 @@ function sqlFromSpecification(start, schema, bookmarks, limit, specification, fa
         bookmark: bookmarks[index]
     }));
     const queryDescriptionsAndBookmarks = feedAndBookmark.map(fb => {
-        const feedStart = fb.feed.given.map(s => labeledStart.get(s.name));
+        const feedStart = fb.feed.given.map(s => labeledStart.get(s.label.name));
         return {
-            queryDescription: buildQueryDescription(queryDescriptionBuilder, fb.feed, feedStart),
+            queryDescription: buildQueryDescription(queryDescriptionBuilder, fb.feed, feedStart, specification.given),
             bookmark: fb.bookmark
         };
     });
@@ -160,8 +164,26 @@ function sqlFromFeed(feed, start, schema, bookmark, limit, factTypes, roleMap) {
     return sql;
 }
 exports.sqlFromFeed = sqlFromFeed;
-function buildQueryDescription(queryDescriptionBuilder, specification, start) {
-    const { queryDescription } = queryDescriptionBuilder.addEdges(query_description_1.QueryDescription.unsatisfiable, specification.given, start, {}, [], specification.matches);
+function buildQueryDescription(queryDescriptionBuilder, specification, start, originalGiven) {
+    const labels = specification.given.map(g => g.label);
+    let knownFacts = {};
+    // Process main matches
+    let { queryDescription, knownFacts: updatedKnownFacts } = queryDescriptionBuilder.addEdges(query_description_1.QueryDescription.unsatisfiable, labels, start, knownFacts, [], specification.matches);
+    knownFacts = updatedKnownFacts;
+    // Process conditions from given (use originalGiven if provided, otherwise use specification.given)
+    const givenToProcess = originalGiven || specification.given;
+    for (const givenItem of givenToProcess) {
+        if (givenItem.conditions && givenItem.conditions.length > 0) {
+            for (const condition of givenItem.conditions) {
+                const { query: queryDescriptionWithExistential, path: conditionalPath } = queryDescription.withExistentialCondition(condition.exists, []);
+                const { queryDescription: queryDescriptionConditional, knownFacts: updatedKnownFacts } = queryDescriptionBuilder.addEdges(queryDescriptionWithExistential, labels, start, knownFacts, conditionalPath, condition.matches);
+                if (queryDescriptionConditional.isSatisfiable()) {
+                    queryDescription = queryDescriptionConditional;
+                    knownFacts = updatedKnownFacts;
+                }
+            }
+        }
+    }
     return queryDescription;
 }
 //# sourceMappingURL=specification-sql.js.map

package/dist/postgres/specification-sql.js.map

@@ -1 +1 @@
-{"version":3,"file":"specification-sql.js","sourceRoot":"","sources":["../../src/postgres/specification-sql.ts"],"names":[],"mappings":";;;AAAA,mCAKgB;AAEhB,2DAAkI;AAYjI,CAAC;AAEF,SAAS,gBAAgB,CAAC,gBAAkC,EAAE,MAAc,EAAE,QAAgB,EAAE,KAAa;IACzG,MAAM,MAAM,GAAG,gBAAgB,CAAC,OAAO;SAClC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,MAAM,CAAC,SAAS,gBAAgB,MAAM,CAAC,SAAS,EAAE,CAAC;SACrE,IAAI,CAAC,IAAI,CAAC,CAAC;IAChB,MAAM,OAAO,GAAG,gBAAgB,CAAC,OAAO;SACnC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,MAAM,CAAC,SAAS,UAAU,CAAC;SAC7C,IAAI,CAAC,IAAI,CAAC,CAAC;IAChB,MAAM,SAAS,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC5C,MAAM,eAAe,GAAG,gBAAgB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,oBAAoB,CAAC,CAAC;IAC1G,MAAM,aAAa,GAAG,gBAAgB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,kBAAkB,CAAC,CAAC;IACtG,MAAM,cAAc,GAAG,eAAe,CAAC,CAAC,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC,aAAc,CAAC,SAAS,CAAC;IAC9F,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAU,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;IACjE,MAAM,KAAK,GAAa,aAAa,CAAC,MAAM,EAAE,gBAAgB,CAAC,KAAK,EAAE,kBAAkB,CAAC,CAAC;IAC1F,MAAM,iBAAiB,GAAG,gBAAgB,CAAC,MAAM;SAC5C,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,iBAAiB,KAAK,CAAC,CAAC;SAC9C,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,SAAS,oBAAoB,KAAK,CAAC,iBAAiB,SAAS,KAAK,CAAC,SAAS,YAAY,KAAK,CAAC,iBAAiB,EAAE,CAAC;SACzI,IAAI,CAAC,OAAO,CAAC,CAAC;IACnB,MAAM,qBAAqB,GAAG,CAAC,gBAAgB,CAAC,qBAAqB;SAChE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC,CAAC;SAChC,GAAG,CAAC,oBAAoB,CAAC,EAAE,CAAC,oBAAoB,4BAA4B,CAAC,MAAM,EAAE,oBAAoB,EAAE,kBAAkB,CAAC,GAAG,CAAC;SAClI,IAAI,CAAC,EAAE,CAAC,CAAC;IACd,MAAM,iBAAiB,GAAG,gBAAgB,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC;IACjE,MAAM,cAAc,GAAG,iBAAiB,GAAG,CAAC,CAAC;IAC7C,MAAM,GAAG,GAAG,UAAU,MAAM,gBAAgB,OAAO,+BAA+B,MAAM,UAAU,cAAc,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,iBAAiB,GAAG,qBAAqB,mBAAmB,OAAO,iBAAiB,iBAAiB,iCAAiC,cAAc,EAAE,CAAC;IAClS,MAAM,aAAa,GAAa,aAAa,CAAC,QAAQ,CAAC,CAAC;IACxD,OAAO;QACH,GAAG;QACH,UAAU,EAAE,CAAC,GAAG,gBAAgB,CAAC,UAAU,EAAE,aAAa,EAAE,KAAK,CAAC;QAClE,MAAM,EAAE,gBAAgB,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YAC5C,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,KAAK,EAAE,MAAM,CAAC,SAAS;SAC1B,CAAC,CAAC;QACH,QAAQ,EAAE,IAAI;KACjB,CAAC;AACN,CAAC;AAED,SAAS,aAAa,CAAC,MAAc,EAAE,KAAwB,EAAE,kBAA+B;IAC5F,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;QACjB,IAAI,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,oBAAoB,CAAC,EAAE;YACnD,IAAI,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,kBAAkB,CAAC,EAAE;gBACjD,KAAK,CAAC,IAAI,CACN,SAAS,MAAM,UAAU,IAAI,CAAC,SAAS,EAAE;oBACzC,QAAQ,IAAI,CAAC,SAAS,2BAA2B,IAAI,CAAC,oBAAoB,UAAU;oBACpF,SAAS,IAAI,CAAC,SAAS,yBAAyB,IAAI,CAAC,kBAAkB,UAAU;oBACjF,SAAS,IAAI,CAAC,SAAS,eAAe,IAAI,CAAC,aAAa,EAAE,CAC7D,CAAC;aACL;iBACI;gBACD,KAAK,CAAC,IAAI,CACN,SAAS,MAAM,UAAU,IAAI,CAAC,SAAS,EAAE;oBACzC,QAAQ,IAAI,CAAC,SAAS,2BAA2B,IAAI,CAAC,oBAAoB,UAAU;oBACpF,SAAS,IAAI,CAAC,SAAS,eAAe,IAAI,CAAC,aAAa,EAAE,CAC7D,CAAC;gBACF,KAAK,CAAC,IAAI,CACN,SAAS,MAAM,UAAU,IAAI,CAAC,kBAAkB,EAAE;oBAClD,QAAQ,IAAI,CAAC,kBAAkB,eAAe,IAAI,CAAC,SAAS,oBAAoB,CACnF,CAAC;gBACF,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;aACnD;SACJ;aACI,IAAI,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,kBAAkB,CAAC,EAAE;YACtD,KAAK,CAAC,IAAI,CACN,SAAS,MAAM,UAAU,IAAI,CAAC,SAAS,EAAE;gBACzC,QAAQ,IAAI,CAAC,SAAS,yBAAyB,IAAI,CAAC,kBAAkB,UAAU;gBAChF,SAAS,IAAI,CAAC,SAAS,eAAe,IAAI,CAAC,aAAa,EAAE,CAC7D,CAAC;YACF,KAAK,CAAC,IAAI,CACN,SAAS,MAAM,UAAU,IAAI,CAAC,oBAAoB,EAAE;gBACpD,QAAQ,IAAI,CAAC,oBAAoB,eAAe,IAAI,CAAC,SAAS,sBAAsB,CACvF,CAAC;YACF,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;SACrD;aACI;YACD,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;SAC9E;IACL,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,SAAS,4BAA4B,CAAC,MAAc,EAAE,oBAAqD,EAAE,gBAA6B;IACtI,MAAM,SAAS,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAChD,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAS,gBAAgB,CAAC,CAAC;IAC7D,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,IAAI,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,oBAAoB,CAAC,EAAE;QACxD,IAAI,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,kBAAkB,CAAC,EAAE;YACtD,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAC;SAC1C;aACI;YACD,WAAW,CAAC,IAAI,CACZ,IAAI,SAAS,CAAC,SAAS,2BAA2B,SAAS,CAAC,oBAAoB,UAAU;gBAC1F,SAAS,SAAS,CAAC,SAAS,eAAe,SAAS,CAAC,aAAa,EAAE,CACvE,CAAC;YACF,SAAS,CAAC,IAAI,CACV,SAAS,MAAM,UAAU,SAAS,CAAC,kBAAkB,EAAE;gBACvD,QAAQ,SAAS,CAAC,kBAAkB,eAAe,SAAS,CAAC,SAAS,oBAAoB,CAC7F,CAAC;YACF,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;SACxD;KACJ;SACI,IAAI,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,kBAAkB,CAAC,EAAE;QAC3D,WAAW,CAAC,IAAI,CACZ,IAAI,SAAS,CAAC,SAAS,yBAAyB,SAAS,CAAC,kBAAkB,UAAU;YACtF,SAAS,SAAS,CAAC,SAAS,eAAe,SAAS,CAAC,aAAa,EAAE,CACvE,CAAC;QACF,SAAS,CAAC,IAAI,CACV,SAAS,MAAM,UAAU,SAAS,CAAC,oBAAoB,EAAE;YACzD,QAAQ,SAAS,CAAC,oBAAoB,eAAe,SAAS,CAAC,SAAS,sBAAsB,CACjG,CAAC;QACF,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;KAC1D;SACI;QACD,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;KAC9E;IACD,MAAM,SAAS,GAAa,aAAa,CAAC,MAAM,EAAE,oBAAoB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC;IAC3G,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IAC1C,OAAO,iBAAiB,MAAM,UAAU,SAAS,CAAC,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;AACtH,CAAC;AAED,SAAS,aAAa,CAAC,QAAgB;IACnC,IAAI;QACA,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,EAAE,EAAE;YAChE,OAAO,EAAE,CAAC;SACb;aACI;YACD,OAAO,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC;SAC9D;KACJ;IACD,OAAO,CAAC,EAAE;QACN,MAAM,IAAI,KAAK,CAAC,sBAAsB,QAAQ,GAAG,CAAC,CAAC;KACtD;IAED,SAAS,cAAc,CAAC,GAAW;QAC/B,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;QAC7B,IAAI,KAAK,CAAC,MAAM,CAAC,EAAE;YACf,MAAM,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC;SAC1B;QACD,OAAO,MAAM,CAAC;IAClB,CAAC;AACL,CAAC;AAED,SAAgB,oBAAoB,CAAC,KAAsB,EAAE,MAAc,EAAE,SAAmB,EAAE,KAAa,EAAE,aAA4B,EAAE,SAA8B,EAAE,OAAyC;IACpN,IAAA,sBAAa,EAAC,KAAK,EAAE,aAAa,CAAC,CAAC;IAEpC,MAAM,YAAY,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QAC1C,IAAI,EAAE,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI;QACrC,SAAS,EAAE,CAAC;KACf,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;QAClB,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC;QAC7B,OAAO,GAAG,CAAC;IACf,CAAC,EAAE,IAAI,GAAG,EAAyB,CAAC,CAAC;IAErC,MAAM,KAAK,GAAG,IAAA,mBAAU,EAAC,aAAa,CAAC,CAAC;IACxC,MAAM,uBAAuB,GAAG,IAAI,2CAAuB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAChF,MAAM,eAAe,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QAChD,IAAI;QACJ,QAAQ,EAAE,SAAS,CAAC,KAAK,CAAC;KAC7B,CAAC,CAAC,CAAC;IACJ,MAAM,6BAA6B,GAAG,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;QAC3D,MAAM,SAAS,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAE,CAAC,CAAC;QACpE,OAAO;YACH,gBAAgB,EAAE,qBAAqB,CAAC,uBAAuB,EAAE,EAAE,CAAC,IAAI,EAAE,SAAS,CAAC;YACpF,QAAQ,EAAE,EAAE,CAAC,QAAQ;SACxB,CAAC;IACN,CAAC,CAAC,CAAC;IACH,MAAM,wCAAwC,GAAG,6BAA6B,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CACvF,EAAE,CAAC,gBAAgB,CAAC,aAAa,EAAE,CAAC,CAAC;IACzC,MAAM,UAAU,GAAG,wCAAwC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAClE,gBAAgB,CAAC,GAAG,CAAC,gBAAgB,EAAE,MAAM,EAAE,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC;IACzE,OAAO,UAAU,CAAC;AACtB,CAAC;AA7BD,oDA6BC;AAED,SAAgB,WAAW,CAAC,IAAmB,EAAE,KAAsB,EAAE,MAAc,EAAE,QAAgB,EAAE,KAAa,EAAE,SAA8B,EAAE,OAAyC;IAC/L,MAAM,uBAAuB,GAAG,IAAI,2CAAuB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAChF,MAAM,gBAAgB,GAAG,qBAAqB,CAAC,uBAAuB,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IACrF,IAAI,CAAC,gBAAgB,CAAC,aAAa,EAAE,EAAE;QACnC,OAAO,IAAI,CAAC;KACf;IACD,MAAM,GAAG,GAAG,gBAAgB,CAAC,gBAAgB,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IACxE,OAAO,GAAG,CAAC;AACf,CAAC;AARD,kCAQC;AAED,SAAS,qBAAqB,CAAC,uBAAgD,EAAE,aAA4B,EAAE,KAAsB;IACjI,MAAM,EAAE,gBAAgB,EAAE,GAAG,uBAAuB,CAAC,QAAQ,CACzD,oCAAgB,CAAC,aAAa,EAC9B,aAAa,CAAC,KAAK,EACnB,KAAK,EAAE,EAAE,EAAE,EAAE,EACb,aAAa,CAAC,OAAO,CAAC,CAAC;IAC3B,OAAO,gBAAgB,CAAC;AAC5B,CAAC"}
+{"version":3,"file":"specification-sql.js","sourceRoot":"","sources":["../../src/postgres/specification-sql.ts"],"names":[],"mappings":";;;AAAA,mCAKgB;AAEhB,2DAAkI;AAYjI,CAAC;AAEF,SAAS,gBAAgB,CAAC,gBAAkC,EAAE,MAAc,EAAE,QAAgB,EAAE,KAAa;IACzG,MAAM,MAAM,GAAG,gBAAgB,CAAC,OAAO;SAClC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,MAAM,CAAC,SAAS,gBAAgB,MAAM,CAAC,SAAS,EAAE,CAAC;SACrE,IAAI,CAAC,IAAI,CAAC,CAAC;IAChB,MAAM,OAAO,GAAG,gBAAgB,CAAC,OAAO;SACnC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,MAAM,CAAC,SAAS,UAAU,CAAC;SAC7C,IAAI,CAAC,IAAI,CAAC,CAAC;IAChB,MAAM,SAAS,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC5C,MAAM,eAAe,GAAG,gBAAgB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,oBAAoB,CAAC,CAAC;IAC1G,MAAM,aAAa,GAAG,gBAAgB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,kBAAkB,CAAC,CAAC;IACtG,MAAM,cAAc,GAAG,eAAe,CAAC,CAAC,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC,aAAc,CAAC,SAAS,CAAC;IAC9F,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAU,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;IACjE,MAAM,KAAK,GAAa,aAAa,CAAC,MAAM,EAAE,gBAAgB,CAAC,KAAK,EAAE,kBAAkB,CAAC,CAAC;IAC1F,MAAM,iBAAiB,GAAG,gBAAgB,CAAC,MAAM;SAC5C,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,iBAAiB,KAAK,CAAC,CAAC;SAC9C,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,SAAS,oBAAoB,KAAK,CAAC,iBAAiB,SAAS,KAAK,CAAC,SAAS,YAAY,KAAK,CAAC,iBAAiB,EAAE,CAAC;SACzI,IAAI,CAAC,OAAO,CAAC,CAAC;IACnB,MAAM,qBAAqB,GAAG,CAAC,gBAAgB,CAAC,qBAAqB;SAChE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC,CAAC;SAChC,GAAG,CAAC,oBAAoB,CAAC,EAAE,CAAC,oBAAoB,4BAA4B,CAAC,MAAM,EAAE,oBAAoB,EAAE,kBAAkB,CAAC,GAAG,CAAC;SAClI,IAAI,CAAC,EAAE,CAAC,CAAC;IACd,MAAM,kBAAkB,GAAG,CAAC,gBAAgB,CAAC,qBAAqB;SAC7D,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC;SAC/B,GAAG,CAAC,iBAAiB,CAAC,EAAE,CAAC,gBAAgB,4BAA4B,CAAC,MAAM,EAAE,iBAAiB,EAAE,kBAAkB,CAAC,GAAG,CAAC;SACxH,IAAI,CAAC,EAAE,CAAC,CAAC;IACd,MAAM,iBAAiB,GAAG,gBAAgB,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC;IACjE,MAAM,cAAc,GAAG,iBAAiB,GAAG,CAAC,CAAC;IAC7C,MAAM,GAAG,GAAG,UAAU,MAAM,gBAAgB,OAAO,+BAA+B,MAAM,UAAU,cAAc,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,iBAAiB,GAAG,qBAAqB,GAAG,kBAAkB,mBAAmB,OAAO,iBAAiB,iBAAiB,iCAAiC,cAAc,EAAE,CAAC;IACvT,MAAM,aAAa,GAAa,aAAa,CAAC,QAAQ,CAAC,CAAC;IACxD,OAAO;QACH,GAAG;QACH,UAAU,EAAE,CAAC,GAAG,gBAAgB,CAAC,UAAU,EAAE,aAAa,EAAE,KAAK,CAAC;QAClE,MAAM,EAAE,gBAAgB,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YAC5C,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,KAAK,EAAE,MAAM,CAAC,SAAS;SAC1B,CAAC,CAAC;QACH,QAAQ,EAAE,IAAI;KACjB,CAAC;AACN,CAAC;AAED,SAAS,aAAa,CAAC,MAAc,EAAE,KAAwB,EAAE,kBAA+B;IAC5F,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;QACjB,IAAI,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,oBAAoB,CAAC,EAAE;YACnD,IAAI,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,kBAAkB,CAAC,EAAE;gBACjD,KAAK,CAAC,IAAI,CACN,SAAS,MAAM,UAAU,IAAI,CAAC,SAAS,EAAE;oBACzC,QAAQ,IAAI,CAAC,SAAS,2BAA2B,IAAI,CAAC,oBAAoB,UAAU;oBACpF,SAAS,IAAI,CAAC,SAAS,yBAAyB,IAAI,CAAC,kBAAkB,UAAU;oBACjF,SAAS,IAAI,CAAC,SAAS,eAAe,IAAI,CAAC,aAAa,EAAE,CAC7D,CAAC;aACL;iBACI;gBACD,KAAK,CAAC,IAAI,CACN,SAAS,MAAM,UAAU,IAAI,CAAC,SAAS,EAAE;oBACzC,QAAQ,IAAI,CAAC,SAAS,2BAA2B,IAAI,CAAC,oBAAoB,UAAU;oBACpF,SAAS,IAAI,CAAC,SAAS,eAAe,IAAI,CAAC,aAAa,EAAE,CAC7D,CAAC;gBACF,KAAK,CAAC,IAAI,CACN,SAAS,MAAM,UAAU,IAAI,CAAC,kBAAkB,EAAE;oBAClD,QAAQ,IAAI,CAAC,kBAAkB,eAAe,IAAI,CAAC,SAAS,oBAAoB,CACnF,CAAC;gBACF,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;aACnD;SACJ;aACI,IAAI,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,kBAAkB,CAAC,EAAE;YACtD,KAAK,CAAC,IAAI,CACN,SAAS,MAAM,UAAU,IAAI,CAAC,SAAS,EAAE;gBACzC,QAAQ,IAAI,CAAC,SAAS,yBAAyB,IAAI,CAAC,kBAAkB,UAAU;gBAChF,SAAS,IAAI,CAAC,SAAS,eAAe,IAAI,CAAC,aAAa,EAAE,CAC7D,CAAC;YACF,KAAK,CAAC,IAAI,CACN,SAAS,MAAM,UAAU,IAAI,CAAC,oBAAoB,EAAE;gBACpD,QAAQ,IAAI,CAAC,oBAAoB,eAAe,IAAI,CAAC,SAAS,sBAAsB,CACvF,CAAC;YACF,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;SACrD;aACI;YACD,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;SAC9E;IACL,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,SAAS,4BAA4B,CAAC,MAAc,EAAE,oBAAqD,EAAE,gBAA6B;IACtI,MAAM,SAAS,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAChD,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAS,gBAAgB,CAAC,CAAC;IAC7D,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,IAAI,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,oBAAoB,CAAC,EAAE;QACxD,IAAI,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,kBAAkB,CAAC,EAAE;YACtD,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAC;SAC1C;aACI;YACD,WAAW,CAAC,IAAI,CACZ,IAAI,SAAS,CAAC,SAAS,2BAA2B,SAAS,CAAC,oBAAoB,UAAU;gBAC1F,SAAS,SAAS,CAAC,SAAS,eAAe,SAAS,CAAC,aAAa,EAAE,CACvE,CAAC;YACF,SAAS,CAAC,IAAI,CACV,SAAS,MAAM,UAAU,SAAS,CAAC,kBAAkB,EAAE;gBACvD,QAAQ,SAAS,CAAC,kBAAkB,eAAe,SAAS,CAAC,SAAS,oBAAoB,CAC7F,CAAC;YACF,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;SACxD;KACJ;SACI,IAAI,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,kBAAkB,CAAC,EAAE;QAC3D,WAAW,CAAC,IAAI,CACZ,IAAI,SAAS,CAAC,SAAS,yBAAyB,SAAS,CAAC,kBAAkB,UAAU;YACtF,SAAS,SAAS,CAAC,SAAS,eAAe,SAAS,CAAC,aAAa,EAAE,CACvE,CAAC;QACF,SAAS,CAAC,IAAI,CACV,SAAS,MAAM,UAAU,SAAS,CAAC,oBAAoB,EAAE;YACzD,QAAQ,SAAS,CAAC,oBAAoB,eAAe,SAAS,CAAC,SAAS,sBAAsB,CACjG,CAAC;QACF,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;KAC1D;SACI;QACD,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;KAC9E;IACD,MAAM,SAAS,GAAa,aAAa,CAAC,MAAM,EAAE,oBAAoB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC;IAC3G,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IAC1C,OAAO,iBAAiB,MAAM,UAAU,SAAS,CAAC,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;AACtH,CAAC;AAED,SAAS,aAAa,CAAC,QAAgB;IACnC,IAAI;QACA,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,EAAE,EAAE;YAChE,OAAO,EAAE,CAAC;SACb;aACI;YACD,OAAO,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC;SAC9D;KACJ;IACD,OAAO,CAAC,EAAE;QACN,MAAM,IAAI,KAAK,CAAC,sBAAsB,QAAQ,GAAG,CAAC,CAAC;KACtD;IAED,SAAS,cAAc,CAAC,GAAW;QAC/B,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;QAC7B,IAAI,KAAK,CAAC,MAAM,CAAC,EAAE;YACf,MAAM,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC;SAC1B;QACD,OAAO,MAAM,CAAC;IAClB,CAAC;AACL,CAAC;AAED,SAAgB,oBAAoB,CAAC,KAAsB,EAAE,MAAc,EAAE,SAAmB,EAAE,KAAa,EAAE,aAA4B,EAAE,SAA8B,EAAE,OAAyC;IACpN,IAAA,sBAAa,EAAC,KAAK,EAAE,aAAa,CAAC,CAAC;IAEpC,MAAM,YAAY,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QAC1C,IAAI,EAAE,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI;QAC3C,SAAS,EAAE,CAAC;KACf,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;QAClB,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC;QAC7B,OAAO,GAAG,CAAC;IACf,CAAC,EAAE,IAAI,GAAG,EAAyB,CAAC,CAAC;IAErC,MAAM,KAAK,GAAG,IAAA,mBAAU,EAAC,aAAa,CAAC,CAAC;IACxC,MAAM,uBAAuB,GAAG,IAAI,2CAAuB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAChF,MAAM,eAAe,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QAChD,IAAI;QACJ,QAAQ,EAAE,SAAS,CAAC,KAAK,CAAC;KAC7B,CAAC,CAAC,CAAC;IACJ,MAAM,6BAA6B,GAAG,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;QAC3D,MAAM,SAAS,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAE,CAAC,CAAC;QAC1E,OAAO;YACH,gBAAgB,EAAE,qBAAqB,CAAC,uBAAuB,EAAE,EAAE,CAAC,IAAI,EAAE,SAAS,EAAE,aAAa,CAAC,KAAK,CAAC;YACzG,QAAQ,EAAE,EAAE,CAAC,QAAQ;SACxB,CAAC;IACN,CAAC,CAAC,CAAC;IACH,MAAM,wCAAwC,GAAG,6BAA6B,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CACvF,EAAE,CAAC,gBAAgB,CAAC,aAAa,EAAE,CAAC,CAAC;IACzC,MAAM,UAAU,GAAG,wCAAwC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAClE,gBAAgB,CAAC,GAAG,CAAC,gBAAgB,EAAE,MAAM,EAAE,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC;IACzE,OAAO,UAAU,CAAC;AACtB,CAAC;AA7BD,oDA6BC;AAED,SAAgB,WAAW,CAAC,IAAmB,EAAE,KAAsB,EAAE,MAAc,EAAE,QAAgB,EAAE,KAAa,EAAE,SAA8B,EAAE,OAAyC;IAC/L,MAAM,uBAAuB,GAAG,IAAI,2CAAuB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAChF,MAAM,gBAAgB,GAAG,qBAAqB,CAAC,uBAAuB,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IACrF,IAAI,CAAC,gBAAgB,CAAC,aAAa,EAAE,EAAE;QACnC,OAAO,IAAI,CAAC;KACf;IACD,MAAM,GAAG,GAAG,gBAAgB,CAAC,gBAAgB,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IACxE,OAAO,GAAG,CAAC;AACf,CAAC;AARD,kCAQC;AAED,SAAS,qBAAqB,CAAC,uBAAgD,EAAE,aAA4B,EAAE,KAAsB,EAAE,aAAqB;IACxJ,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACrD,IAAI,UAAU,GAAG,EAAE,CAAC;IAEpB,uBAAuB;IACvB,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,iBAAiB,EAAE,GAAG,uBAAuB,CAAC,QAAQ,CACtF,oCAAgB,CAAC,aAAa,EAC9B,MAAM,EACN,KAAK,EACL,UAAU,EACV,EAAE,EACF,aAAa,CAAC,OAAO,CAAC,CAAC;IAC3B,UAAU,GAAG,iBAAiB,CAAC;IAE/B,mGAAmG;IACnG,MAAM,cAAc,GAAG,aAAa,IAAI,aAAa,CAAC,KAAK,CAAC;IAC5D,KAAK,MAAM,SAAS,IAAI,cAAc,EAAE;QACpC,IAAI,SAAS,CAAC,UAAU,IAAI,SAAS,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE;YACzD,KAAK,MAAM,SAAS,IAAI,SAAS,CAAC,UAAU,EAAE;gBAC1C,MAAM,EAAE,KAAK,EAAE,+BAA+B,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,gBAAgB,CAAC,wBAAwB,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;gBAC1I,MAAM,EAAE,gBAAgB,EAAE,2BAA2B,EAAE,UAAU,EAAE,iBAAiB,EAAE,GAAG,uBAAuB,CAAC,QAAQ,CAAC,+BAA+B,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,eAAe,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC;gBAE1N,IAAI,2BAA2B,CAAC,aAAa,EAAE,EAAE;oBAC7C,gBAAgB,GAAG,2BAA2B,CAAC;oBAC/C,UAAU,GAAG,iBAAiB,CAAC;iBAClC;aACJ;SACJ;KACJ;IAED,OAAO,gBAAgB,CAAC;AAC5B,CAAC"}

package/docs/design/feeds-persistent-proxy-plan.md

@@ -0,0 +1,294 @@
+# Feeds: Persistent Client Proxy with Waitlist
+Author: @michaellperry  
+Status: Draft  
+Scope: `/feeds/:hash` streaming path (`Accept: application/x-jinaga-feed-stream`)
+
+## Summary
+
+Introduce a per-connection "FeedStreamSession" (client proxy) that:
+- Maintains a waitlist of fact references indicated by inverse observers.
+- Serializes all fetching and streaming through a single "query cycle" loop driven by the current bookmark.
+- Continues initial pagination until exhaustion, then transitions to real-time.
+- Emits an explicit "caught up" signal (SYNC) without changing the response schema (empty `references` array + current `bookmark`).
+
+This addresses race conditions between listener callbacks and bookmark mutation, ensures tuple completeness, and guarantees no missed updates when facts arrive between pages.
+
+## Goals
+
+- Deliver all historical feed results before push-only mode.
+- Prevent lost updates during the transition to "caught up".
+- Maintain tuple completeness ("projection is the tuple; send all facts in tuple").
+- Preserve response shape and backwards compatibility.
+- Provide predictable lifecycle and resource usage per stream.
+
+## Non-goals
+
+- Changing the `/feeds/:hash` response format.
+- Introducing server-sent events or WebSockets (keep current HTTP streaming).
+- Redesigning the authorization/feed query pipeline.
+
+---
+
+## Design
+
+### High-level flow
+
+1. On connection, create a `FeedStreamSession` with:
+   - `bookmark` (initial from query param `b` or empty),
+   - `waitlist` (Set of fact refs by hash/type),
+   - `activeCycle` (boolean),
+   - `shuttingDown` (boolean),
+   - `stream` (Stream<FeedResponse>).
+
+2. Start inverse observers immediately and push matching fact refs into the waitlist.
+   - Observers do not fetch/stream themselves.
+   - If no cycle is active, they signal to start (or continue) the cycle.
+
+3. Run the query cycle:
+   - While true:
+     - Call `authorization.feed(user, feed, start, bookmark)`.
+     - If tuples returned:
+       - Deduplicate facts across tuples in the page.
+       - Stream a frame `{ references, bookmark: results.bookmark }`.
+       - Remove any queued facts from the waitlist that are included in streamed tuples.
+       - Update `bookmark`.
+       - Continue.
+     - If no tuples returned:
+       - If `waitlist` is empty:
+         - Stream a SYNC frame with empty `references` and current `bookmark` (backwards compatible).
+         - End the cycle.
+       - Else:
+         - Facts arrived between last page and now. Continue the loop (run feed again) to collect their full tuples.
+
+4. On stream close, remove all observers and mark `shuttingDown` to prevent new cycles.
+
+### Class responsibilities
+
+- FeedStreamSession
+  - Owns lifecycle and state for a connection.
+  - Public methods:
+    - `start()` => sets observers and kicks off initial paginated backfill to exhaustion.
+    - `onInverseMatch(factRefs[])` => add to waitlist; `startCycleIfIdle()`.
+    - `done()` => unregister observers; cancel cycle on stream close.
+  - Private:
+    - `runCycle()` => serializes fetch/stream; guarded by `activeCycle`.
+    - `streamPage(results)` => compute deduped references and stream with bookmark.
+    - `streamSync()` => stream `{ references: [], bookmark }`.
+    - `drainWaitlistIfNeeded()` => loop continues until `no tuples && waitlist empty`.
+
+- Router integration (src/http/router.ts)
+  - Construct `FeedStreamSession` in the `/feeds/:hash` handler.
+  - Replace direct "listener => streamFeedResponse" pattern with session waitlist notifications.
+
+### Waitlist semantics
+
+- Waitlist keyed by `{hash,type}` ensures no duplicates.
+- Removal happens only when the tuple containing the fact is streamed (preserves tuple completeness).
+- Waitlist is a trigger to keep querying; we do not stream waitlist facts directly.
+
+### SYNC signaling
+
+- Preserve response schema:
+  - Emit SYNC as a frame with `references: []` and current `bookmark`.
+  - Clients that need an explicit signal can treat empty `references` as "caught up".
+
+### Concurrency and races
+
+- Single-cycle execution: `activeCycle` flag prevents concurrent runs.
+- Listener callbacks never mutate `bookmark` and never fetch/stream; they only enqueue refs and wake the cycle.
+- Bookmark progresses monotonically within the cycle; no interleaving updates.
+
+### Backpressure and limits
+
+- Add conservative limits (configurable):
+  - `maxInitialPages` (default 1000)
+  - `maxWaitlistSize` (e.g., 50k refs) -> if exceeded, drop connection with 503 and log.
+  - Optional small delay every N pages (e.g., 10ms every 10 pages).
+- Consider extending Stream to a "BackpressureStream" in a follow-up to cap buffer length.
+
+### Telemetry
+
+- Per-stream diagnostic log context (feed hash, connection id).
+- Metrics:
+  - initial pages fetched, total references streamed, cycle count per connection,
+  - time to SYNC,
+  - waitlist high-water mark,
+  - dropped due to limits.
+
+---
+
+## Integration Points
+
+- src/http/router.ts
+  - `/feeds/:hash` handler (Accept: `application/x-jinaga-feed-stream`).
+  - Replace direct `streamFeed` flow by constructing `FeedStreamSession`.
+
+- Authorization layer
+  - `authorization.feed(userIdentity, feed, start, bookmark)` pagination contract.
+
+- Feed definition and inversion
+  - `feedCache.getFeed(feedHash)`
+  - `invertSpecification(feedDefinition.feed)`
+  - `computeTupleSubsetHash` and `computeObjectHash` for filtering listener matches.
+
+- FactManager
+  - `addSpecificationListener` / `removeSpecificationListener` for inverse triggers.
+
+- Stream
+  - `Stream<FeedResponse>` feeding and lifecycle (done/close).
+
+- Configuration
+  - Add server config for page limits, waitlist cap, optional small delays.
+
+---
+
+## Dependencies and Assumptions
+
+- Existing bookmark semantics remain stable and monotonic.
+- `authorization.feed` returns `tuples` and `bookmark`, where `tuples.length < pageSize` implies near exhaustion.
+- The test client and any existing consumers tolerate empty `references` frames.
+
+---
+
+## Acceptance Criteria
+
+Functional correctness
+- Initial backfill:
+  - The server streams all historical pages until the feed is exhausted (no tuples left) before transitioning to real-time.
+  - Bookmark advances monotonically across frames.
+- Real-time updates:
+  - Facts arriving during initial pagination are not lost; the session continues querying until their tuples are streamed.
+  - Facts arriving after SYNC result in subsequent frames with their tuples, preserving order by bookmark.
+- Tuple completeness and deduplication:
+  - Each frame's `references` contains the deduplicated set of facts from all tuples in that chunk.
+  - Waitlist items are removed only when their containing tuples are streamed.
+- SYNC indication:
+  - On catching up (no tuples and empty waitlist), server emits a frame with `references: []` and current `bookmark`.
+- Lifecycle:
+  - On connection close, inverse listeners are unregistered and the cycle stops.
+  - No concurrent cycles run per connection.
+
+Performance and robustness
+- Backfill eventually completes for large feeds within configured safety limits (e.g., 1000 pages).
+- Waitlist does not grow unbounded; if exceeding configured cap, the server closes the stream gracefully with diagnostics.
+- Under concurrent connections, memory and CPU remain within acceptable bounds; no deadlocks or starvation.
+
+Security and reliability
+- No race conditions update the bookmark concurrently.
+- No unbounded buffers in the stream path.
+- Listeners are always removed when streams end.
+
+Observability
+- Logs/metrics expose: total frames, initial pages, time to SYNC, cycle restarts due to waitlist, waitlist size peaks.
+
+---
+
+## Test Plan
+
+### Unit tests (Jest)
+
+FeedStreamSession
+- "Backfill to exhaustion"
+  - Given multiple pages returned by `authorization.feed`, verify frames streamed for each page, bookmark progression, and final SYNC frame (empty `references`).
+- "Waitlist triggers continuation"
+  - With a final page empty, but waitlist non-empty (push facts into waitlist between pages), verify the cycle continues and fetches at least one more page, then SYNCs when waitlist clears.
+- "No concurrent cycles"
+  - Rapidly enqueue from listener multiple times; assert only one `authorization.feed` loop runs at a time (use mocks and counters).
+- "Deduplication"
+  - Given overlapping facts across tuples in a page, confirm only unique `{hash,type}` appear in `references`.
+- "Tuple completeness"
+  - Verify waitlist facts are only removed when their tuples appear in a streamed page.
+- "SYNC emission"
+  - Assert SYNC frame emitted (empty `references`) exactly when both: last query returned no tuples and waitlist is empty.
+- "Bookmark monotonicity"
+  - Enforce that sent bookmarks are strictly progressing or stable only for SYNC frames.
+- "Listener filtering"
+  - Only enqueue facts from inverse results that match `givenSubset` (use `computeTupleSubsetHash` matching).
+- "Lifecycle cleanup"
+  - On `stream.done()`, verify removal of all listeners and no further cycle runs.
+- "Limits"
+  - If `waitlist` exceeds cap, session terminates gracefully (mock log) and removes listeners.
+
+Router integration
+- "Session wiring"
+  - `/feeds/:hash` with stream accept header constructs session, calls `start()`, and proxies `stream.feed` to response writer.
+
+### Integration tests (Jest + supertest or Node http)
+
+- "Complete historical stream"
+  - Seed DB with > pageSize tuples (e.g., 350) matching the feed. Connect and assert received multiple frames covering all facts, then SYNC.
+- "Race during backfill"
+  - Start stream, insert facts while initial pagination runs. Assert no missed updates; frames include these facts by the time SYNC arrives.
+- "Post-SYNC updates"
+  - After SYNC, insert new facts. Assert subsequent frames deliver them with updated bookmark.
+- "Multiple concurrent clients"
+  - Spin up N clients (e.g., 20). Assert similar message counts and time-to-sync distribution; no client stalls. Reuse `test-concurrent-streams.js` patterns (or convert to automated test).
+- "Disconnect handling"
+  - Client disconnect mid-backfill. Assert listeners removed and no residual cycle iterations.
+- "Waitlist stress"
+  - Burst insert causing many inverse triggers quickly. Validate waitlist remains under cap or stream terminates with diagnostics.
+- "Timeout/long feeds"
+  - Emulate large dataset to ensure the process respects configured page limits and still reaches SYNC or terminates cleanly.
+
+Telemetry validation
+- Expose counters to a test sink; assert metrics present (initial pages, cycles, SYNC count).
+
+---
+
+## Rollout
+
+- Feature flag: `feeds.fullInitialPagination` (default enabled if prior behavior already documented; if not, roll out gradually).
+- Config options:
+  - `feeds.maxInitialPages` (default 1000)
+  - `feeds.waitlistCap` (default 50,000)
+  - `feeds.pageDelayEvery` (default 10 pages => 10ms delay)
+- Logging: scoped per-connection id and feed hash, with sampling if needed.
+
+---
+
+## Implementation Steps
+
+1. Create `FeedStreamSession` in `src/feeds/FeedStreamSession.ts`.
+   - Constructor: dependencies (`authorization`, `factManager`, `feedDefinition`, `userIdentity`, `start`, `stream`, `initialBookmark`, config).
+   - Methods: `start()`, `runCycle()`, `onInverseMatch()`, `streamPage()`, `streamSync()`, `dispose()`.
+
+2. Update `/feeds/:hash` handler in `src/http/router.ts`.
+   - Where `streamFeed` currently instantiates `Stream<FeedResponse>` and registers listeners, replace with session creation and `start()`.
+   - On `stream.done()`, call `session.dispose()`.
+
+3. Move/Reuse helper logic:
+   - Deduping facts per page.
+   - Inverse computation and given subset filtering.
+   - Bookmark management.
+
+4. Add configuration and defaults.
+
+5. Add tests:
+   - Unit tests for session (mocks for `authorization`, `factManager`, `stream`).
+   - Integration tests using real HTTP and seeded DB.
+   - Optionally adapt `test-concurrent-streams.js` into a CI test harness or keep as manual tool.
+
+6. Add telemetry and structured logs.
+
+7. Documentation:
+   - Update `documentation/streaming-feeds-full-results-solution.md` to reference the session model and SYNC semantics.
+   - Add this design document.
+
+---
+
+## Risks and Mitigations
+
+- Risk: Unbounded memory due to large waitlists or slow clients.
+  - Mitigate: Waitlist caps, future backpressure stream implementation, connection duration limits.
+- Risk: Deadlock or missed wake-ups.
+  - Mitigate: Simple state machine (`activeCycle`, `needsCycle`) and thorough unit tests for concurrency.
+- Risk: Client incompatibility with empty `references` frames.
+  - Mitigate: Already valid JSON per existing schema; integration tests against existing client.
+
+---
+
+## Open Questions
+
+- Should SYNC frames be optional behind a config gate?
+- Do we need a small debounce before emitting SYNC to reduce "thrash" under constant writes?
+- Do we need connection-level backpressure limits immediately, or as a follow-up (as per security audit notes)?

package/integration-test/integration-test/jinaga-test/package-lock.json

@@ -0,0 +1,6 @@
+{
+  "name": "jinaga-test",
+  "lockfileVersion": 3,
+  "requires": true,
+  "packages": {}
+}

package/integration-test/jinaga-test/Dockerfile

@@ -7,11 +7,6 @@ COPY package-lock.json .
 RUN npm ci
 
 COPY jinaga-server/ jinaga-server/
-COPY jinaga.test.js .
-COPY specification.test.js .
-COPY purge.test.js .
-COPY postgres.test.js .
-COPY postgres-duplicates.test.js .
-COPY orderModel.js .
+COPY *.js .
 
 ENTRYPOINT [ "npm", "test" ]