@quereus/quereus 4.15.2 → 4.17.0

package/dist/src/planner/analysis/sat-checker.js.map

@@ -1 +1 @@
-{"version":3,"file":"sat-checker.js","sourceRoot":"","sources":["../../../../src/planner/analysis/sat-checker.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAQH,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,EACN,WAAW,EACX,YAAY,EACZ,QAAQ,EACR,WAAW,EACX,WAAW,GACX,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC9C,OAAO,EACN,gBAAgB,EAChB,wBAAwB,EACxB,oBAAoB,EACpB,qBAAqB,EACrB,mBAAmB,EACnB,sBAAsB,GACtB,MAAM,0BAA0B,CAAC;AAElC,OAAO,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AACvD,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAEtD,MAAM,OAAO,GAAG,YAAY,CAAC,8BAA8B,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AAsB5E,uFAAuF;AACvF,MAAM,aAAa,GAAG,EAAE,CAAC;AACzB,8EAA8E;AAC9E,MAAM,kBAAkB,GAAG,EAAE,CAAC;AAE9B;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,UAAU,mBAAmB,CAClC,SAAwC,EACxC,OAAwC,EACxC,QAAwC,EACxC,SAAiD,EACjD,YAAkD,EAClD,iBAAqC;IAErC,IAAI,SAAS,CAAC,MAAM,GAAG,aAAa;QAAE,OAAO,SAAS,CAAC;IAEvD,MAAM,UAAU,GAAG,uBAAuB,CAAC,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE,iBAAiB,CAAC,CAAC;IACrH,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC,CAAC,gDAAgD;IAEhG,kFAAkF;IAClF,oFAAoF;IACpF,iFAAiF;IACjF,oFAAoF;IACpF,kFAAkF;IAClF,qFAAqF;IACrF,8EAA8E;IAC9E,MAAM,aAAa,GAAG,0BAA0B,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;IACvE,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAgD,CAAC;IACjF,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,aAAa,EAAE,CAAC;QACzC,gBAAgB,CAAC,GAAG,CAAC,GAAG,EAAE,qBAAqB,CAAC,IAAI,EAAE,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,gBAAgB,CAAC,CAAC,CAAC;IACjG,CAAC;IAED,MAAM,IAAI,GAAG,IAAI,GAAG,EAA6B,CAAC;IAClD,MAAM,GAAG,GAAG,CAAC,CAAW,EAAE,CAAW,EAAE,GAAW,EAAU,EAAE;QAC7D,MAAM,KAAK,GAAG,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACxC,IAAI,KAAK;YAAE,OAAO,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC9B,OAAO,oBAAoB,CAAC,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,gBAAgB,CAAC,CAAC;IAC5E,CAAC,CAAC;IAEF,8CAA8C;IAC9C,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;QACxC,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACxB,IAAI,CAAC,CAAC,GAAG,KAAK,SAAS,IAAI,CAAC,CAAC,GAAG,KAAK,IAAI,EAAE,CAAC;gBAC3C,YAAY,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YACzD,CAAC;YACD,IAAI,CAAC,CAAC,GAAG,KAAK,SAAS,IAAI,CAAC,CAAC,GAAG,KAAK,IAAI,EAAE,CAAC;gBAC3C,YAAY,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YACzD,CAAC;QACF,CAAC;aAAM,CAAC;YACP,gBAAgB,CAAC,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QAChD,CAAC;IACF,CAAC;IAED,0EAA0E;IAC1E,qEAAqE;IACrE,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QAC1B,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;YAAE,SAAS;QACzC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC;QACxB,IAAI,CAAC,KAAK,IAAI;YAAE,SAAS;QACzB,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;YAC3B,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACnC,YAAY,CAAC,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YACrC,YAAY,CAAC,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YACrC,gBAAgB,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACtC,CAAC;IACF,CAAC;IAED,2BAA2B;IAC3B,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC9B,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;IACpC,CAAC;IAED,wBAAwB;IACxB,IAAI,UAAU,GAAG,KAAK,CAAC;IACvB,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC;QAC/B,yCAAyC;QACzC,IAAI,GAAG,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;YACrC,MAAM,QAAQ,GAAe,EAAE,CAAC;YAChC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,aAAa,EAAE,CAAC;gBACnC,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC;oBAAE,SAAS;gBAC7C,IAAI,aAAa,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC;oBAAE,SAAS;gBACvD,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAClB,CAAC;YACD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,OAAO,CAAC;YAC1C,GAAG,CAAC,aAAa,GAAG,QAAQ,CAAC;QAC9B,CAAC;QAED,mBAAmB;QACnB,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC9D,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;YAC/C,IAAI,CAAC,GAAG,CAAC;gBAAE,OAAO,OAAO,CAAC;YAC1B,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,YAAY,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC;gBAAE,OAAO,OAAO,CAAC;YACxE,uCAAuC;YACvC,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,YAAY,IAAI,GAAG,CAAC,YAAY,IAAI,aAAa,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;gBAC5G,OAAO,OAAO,CAAC;YAChB,CAAC;QACF,CAAC;QAED,oCAAoC;QACpC,IAAI,GAAG,CAAC,aAAa,IAAI,GAAG,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzD,IAAI,aAAa,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC;gBAAE,OAAO,OAAO,CAAC;QACjF,CAAC;QAED,IAAI,GAAG,CAAC,UAAU;YAAE,UAAU,GAAG,IAAI,CAAC;IACvC,CAAC;IAED,OAAO,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC;AACvC,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,uBAAuB,CAC/B,SAAwC,EACxC,OAAwC,EACxC,QAAwC,EACxC,SAAiD,EACjD,YAA+D,EAC/D,iBAAgD;IAEhD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA6B,CAAC;IACtD,IAAI,CAAC,YAAY;QAAE,OAAO,QAAQ,CAAC,CAAC,qCAAqC;IAEzE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,MAAM,CAAC,IAAI,OAAO;QAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAC/C,KAAK,MAAM,CAAC,IAAI,QAAQ;QAAE,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,KAAK;YAAE,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACtE,KAAK,MAAM,IAAI,IAAI,SAAS;QAAE,cAAc,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;IAEvE,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;QAC/B,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS;QACjC,IAAI,sBAAsB,CAAC,IAAI,CAAC,KAAK,QAAQ;YAAE,SAAS;QACxD,MAAM,IAAI,GAAG,iBAAiB,CAAC,CAAC,CAAC,UAAU,CAAC,iBAAiB,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC;QACtG,IAAI,CAAC,IAAI;YAAE,OAAO,SAAS,CAAC;QAC5B,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,QAAQ,CAAC;AACjB,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,SAAS,UAAU,CAAC,QAA2B,EAAE,IAAY;IAC5D,IAAI,CAAC;QACJ,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC;IACvB,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACZ,OAAO,CAAC,4EAA4E,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAC/F,OAAO,SAAS,CAAC;IAClB,CAAC;AACF,CAAC;AAED;;;;GAIG;AACH,SAAS,0BAA0B,CAClC,SAAwC,EACxC,SAAiD;IAEjD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC3C,sBAAsB,CAAC,SAAS,EAAE,SAAS,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE;QACzD,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,EAAE,CAAC,WAAW,CAAC;QAC1C,IAAI,mBAAmB,CAAC,OAAO,CAAC;YAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IACH,OAAO,GAAG,CAAC;AACZ,CAAC;AAED,2FAA2F;AAC3F,SAAS,cAAc,CACtB,CAAiB,EACjB,SAAiD,EACjD,GAAgB;IAEhB,sBAAsB,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;AAC7D,CAAC;AAED;;;;GAIG;AACH,SAAS,sBAAsB,CAC9B,KAAoC,EACpC,SAAiD,EACjD,KAAsD;IAEtD,MAAM,KAAK,GAAqB,CAAC,GAAG,KAAK,CAAC,CAAC;IAC3C,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QACzB,IAAI,GAAG,YAAY,mBAAmB,EAAE,CAAC;YACxC,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;YACvC,IAAI,GAAG,KAAK,SAAS;gBAAE,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACvC,SAAS;QACV,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,WAAW,EAAE,EAAE,CAAC;YACvC,IAAI,YAAY,IAAI,KAAK;gBAAE,KAAK,CAAC,IAAI,CAAC,KAAuB,CAAC,CAAC;QAChE,CAAC;IACF,CAAC;AACF,CAAC;AAED,SAAS,WAAW,CAAC,IAAoC,EAAE,GAAW;IACrE,IAAI,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACxB,IAAI,CAAC,GAAG,EAAE,CAAC;QACV,GAAG,GAAG;YACL,YAAY,EAAE,KAAK;YACnB,YAAY,EAAE,KAAK;YACnB,QAAQ,EAAE,EAAE;YACZ,UAAU,EAAE,KAAK;SACjB,CAAC;QACF,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACpB,CAAC;IACD,OAAO,GAAG,CAAC;AACZ,CAAC;AAED,SAAS,YAAY,CACpB,GAAsB,EACtB,KAAe,EACf,SAAkB,EAClB,GAAW,EACX,GAAsD;IAEtD,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAChC,GAAG,CAAC,QAAQ,GAAG,KAAK,CAAC;QACrB,GAAG,CAAC,YAAY,GAAG,SAAS,CAAC;QAC7B,OAAO;IACR,CAAC;IACD,MAAM,CAAC,GAAG,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;IACxC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACX,GAAG,CAAC,QAAQ,GAAG,KAAK,CAAC;QACrB,GAAG,CAAC,YAAY,GAAG,SAAS,CAAC;IAC9B,CAAC;SAAM,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,YAAY,IAAI,CAAC,SAAS,EAAE,CAAC;QACtD,GAAG,CAAC,YAAY,GAAG,KAAK,CAAC;IAC1B,CAAC;AACF,CAAC;AAED,SAAS,YAAY,CACpB,GAAsB,EACtB,KAAe,EACf,SAAkB,EAClB,GAAW,EACX,GAAsD;IAEtD,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAChC,GAAG,CAAC,QAAQ,GAAG,KAAK,CAAC;QACrB,GAAG,CAAC,YAAY,GAAG,SAAS,CAAC;QAC7B,OAAO;IACR,CAAC;IACD,MAAM,CAAC,GAAG,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;IACxC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACX,GAAG,CAAC,QAAQ,GAAG,KAAK,CAAC;QACrB,GAAG,CAAC,YAAY,GAAG,SAAS,CAAC;IAC9B,CAAC;SAAM,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,YAAY,IAAI,CAAC,SAAS,EAAE,CAAC;QACtD,GAAG,CAAC,YAAY,GAAG,KAAK,CAAC;IAC1B,CAAC;AACF,CAAC;AAED,SAAS,gBAAgB,CACxB,GAAsB,EACtB,MAA+B,EAC/B,GAAW,EACX,GAAsD;IAEtD,MAAM,OAAO,GAAe,EAAE,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,MAAM;QAAE,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxD,IAAI,OAAO,CAAC,MAAM,GAAG,kBAAkB,EAAE,CAAC;QACzC,GAAG,CAAC,UAAU,GAAG,IAAI,CAAC;QACtB,OAAO;IACR,CAAC;IACD,IAAI,GAAG,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;QACrC,GAAG,CAAC,aAAa,GAAG,OAAO,CAAC,KAAK,EAAE,CAAC;QACpC,OAAO;IACR,CAAC;IACD,MAAM,WAAW,GAAe,EAAE,CAAC;IACnC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,aAAa,EAAE,CAAC;QACnC,IAAI,aAAa,CAAC,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC;YAAE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9D,CAAC;IACD,GAAG,CAAC,aAAa,GAAG,WAAW,CAAC;AACjC,CAAC;AAED,SAAS,aAAa,CACrB,GAA4B,EAC5B,KAAe,EACf,GAAW,EACX,GAAsD;IAEtD,KAAK,MAAM,CAAC,IAAI,GAAG,EAAE,CAAC;QACrB,IAAI,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;IAC3C,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAED,SAAS,WAAW,CACnB,GAAsB,EACtB,KAAe,EACf,GAAW,EACX,GAAsD;IAEtD,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAChC,MAAM,CAAC,GAAG,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QACxC,IAAI,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QACxB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY;YAAE,OAAO,KAAK,CAAC;IAChD,CAAC;IACD,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAChC,MAAM,CAAC,GAAG,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QACxC,IAAI,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QACxB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY;YAAE,OAAO,KAAK,CAAC;IAChD,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,SAAS,MAAM,CAAC,CAAiB;IAChC,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,OAAO,GAAG,YAAY,QAAQ,IAAI,UAAU,CAAC,GAAG,CAAC;QAAE,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC;IACrE,OAAO,GAAG,CAAC;AACZ,CAAC;AAED,SAAS,SAAS,CAAC,CAAiB;IACnC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACpB,IAAI,CAAC,CAAC,CAAC,YAAY,WAAW,CAAC;QAAE,OAAO,SAAS,CAAC;IAClD,MAAM,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC;IAC7B,IAAI,CAAC,YAAY,OAAO;QAAE,OAAO,SAAS,CAAC;IAC3C,OAAO,CAAC,CAAC;AACV,CAAC;AAED,SAAS,QAAQ,CAChB,CAAiB,EACjB,SAAiD;IAEjD,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACpB,IAAI,CAAC,CAAC,CAAC,YAAY,mBAAmB,CAAC;QAAE,OAAO,SAAS,CAAC;IAC1D,OAAO,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;AACjC,CAAC;AAED;;;;GAIG;AACH,SAAS,qBAAqB,CAC7B,CAAiB,EACjB,IAAoC,EACpC,SAAiD;IAEjD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,cAAc,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;IACtC,KAAK,MAAM,GAAG,IAAI,OAAO;QAAE,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,UAAU,GAAG,IAAI,CAAC;AACrE,CAAC;AAED,SAAS,MAAM,CACd,IAAoB,EACpB,IAAoC,EACpC,SAAiD,EACjD,GAAsD;IAEtD,IAAI,IAAI,YAAY,YAAY,EAAE,CAAC;QAClC,MAAM,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC;QACpC,QAAQ,EAAE,EAAE,CAAC;YACZ,KAAK,GAAG,CAAC;YACT,KAAK,IAAI,CAAC;YACV,KAAK,IAAI,CAAC;YACV,KAAK,IAAI,CAAC;YACV,KAAK,GAAG,CAAC;YACT,KAAK,IAAI,CAAC;YACV,KAAK,GAAG,CAAC;YACT,KAAK,IAAI,CAAC,CAAC,CAAC;gBACX,YAAY,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;gBAC7C,OAAO;YACR,CAAC;YACD,OAAO,CAAC,CAAC,CAAC;gBACT,qBAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;gBAC7C,OAAO;YACR,CAAC;QACF,CAAC;IACF,CAAC;IACD,IAAI,IAAI,YAAY,WAAW,EAAE,CAAC;QACjC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,KAAK,IAAI,EAAE,CAAC;YAClC,qBAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;YAC7C,OAAO;QACR,CAAC;QACD,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QAC3C,MAAM,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,MAAM,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,IAAI,GAAG,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;YAC7F,qBAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;YAC7C,OAAO;QACR,CAAC;QACD,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACnC,YAAY,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACtC,YAAY,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACtC,OAAO;IACR,CAAC;IACD,IAAI,IAAI,YAAY,MAAM,EAAE,CAAC;QAC5B,mEAAmE;QACnE,iDAAiD;QACjD,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC/B,qBAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;YAC7C,OAAO;QACR,CAAC;QACD,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;QAChD,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACvB,2DAA2D;YAC3D,qBAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;YAC7C,OAAO;QACR,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9C,sEAAsE;YACtE,yDAAyD;YACzD,gBAAgB,CAAC,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YACvD,OAAO;QACR,CAAC;QACD,MAAM,MAAM,GAAe,EAAE,CAAC;QAC9B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAC7B,MAAM,GAAG,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;YACzB,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;gBACvB,qBAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;gBAC7C,OAAO;YACR,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClB,CAAC;QACD,gBAAgB,CAAC,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAC3D,OAAO;IACR,CAAC;IACD,IAAI,IAAI,YAAY,WAAW,EAAE,CAAC;QACjC,iEAAiE;QACjE,qBAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;QAC7C,OAAO;IACR,CAAC;IACD,4DAA4D;IAC5D,qBAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;AAC9C,CAAC;AAED,SAAS,YAAY,CACpB,IAAkB,EAClB,EAAU,EACV,IAAoC,EACpC,SAAiD,EACjD,GAAsD;IAEtD,8CAA8C;IAC9C,IAAI,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACzC,IAAI,GAAG,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChC,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACvB,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QACtC,GAAG,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,MAAM,GAAG,cAAc,CAAC,EAAE,CAAC,CAAC;IAC7B,CAAC;IACD,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QAC5C,qBAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;QAC7C,OAAO;IACR,CAAC;IACD,kEAAkE;IAClE,iEAAiE;IACjE,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;QAClB,qBAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;QAC7C,OAAO;IACR,CAAC;IACD,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACnC,QAAQ,MAAM,EAAE,CAAC;QAChB,KAAK,GAAG,CAAC;QACT,KAAK,IAAI;YACR,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YACvC,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YACvC,gBAAgB,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YACvC,OAAO;QACR,KAAK,IAAI,CAAC;QACV,KAAK,IAAI;YACR,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,kBAAkB,EAAE,CAAC;gBAC9C,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;oBAAE,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACzE,CAAC;iBAAM,CAAC;gBACP,GAAG,CAAC,UAAU,GAAG,IAAI,CAAC;YACvB,CAAC;YACD,OAAO;QACR,KAAK,GAAG;YACP,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YACxC,OAAO;QACR,KAAK,IAAI;YACR,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YACvC,OAAO;QACR,KAAK,GAAG;YACP,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YACxC,OAAO;QACR,KAAK,IAAI;YACR,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YACvC,OAAO;QACR;YACC,qBAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;YAC7C,OAAO;IACT,CAAC;AACF,CAAC"}
+{"version":3,"file":"sat-checker.js","sourceRoot":"","sources":["../../../../src/planner/analysis/sat-checker.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAQH,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,EACN,WAAW,EACX,YAAY,EACZ,QAAQ,EACR,WAAW,EACX,WAAW,GACX,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC9C,OAAO,EACN,gBAAgB,EAChB,wBAAwB,EACxB,oBAAoB,EACpB,qBAAqB,EACrB,mBAAmB,EACnB,sBAAsB,GACtB,MAAM,0BAA0B,CAAC;AAElC,OAAO,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AACvD,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACpE,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAEtD,MAAM,OAAO,GAAG,YAAY,CAAC,8BAA8B,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AAsB5E,uFAAuF;AACvF,MAAM,aAAa,GAAG,EAAE,CAAC;AACzB,8EAA8E;AAC9E,MAAM,kBAAkB,GAAG,EAAE,CAAC;AAE9B;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,UAAU,mBAAmB,CAClC,SAAwC,EACxC,OAAwC,EACxC,QAAwC,EACxC,SAAiD,EACjD,YAAkD,EAClD,iBAAqC;IAErC,IAAI,SAAS,CAAC,MAAM,GAAG,aAAa;QAAE,OAAO,SAAS,CAAC;IAEvD,MAAM,UAAU,GAAG,uBAAuB,CAAC,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE,iBAAiB,CAAC,CAAC;IACrH,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC,CAAC,gDAAgD;IAEhG,kFAAkF;IAClF,oFAAoF;IACpF,iFAAiF;IACjF,oFAAoF;IACpF,kFAAkF;IAClF,qFAAqF;IACrF,8EAA8E;IAC9E,MAAM,aAAa,GAAG,0BAA0B,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;IACvE,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAgD,CAAC;IACjF,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,aAAa,EAAE,CAAC;QACzC,gBAAgB,CAAC,GAAG,CAAC,GAAG,EAAE,qBAAqB,CAAC,IAAI,EAAE,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,gBAAgB,CAAC,CAAC,CAAC;IACjG,CAAC;IAED,MAAM,IAAI,GAAG,IAAI,GAAG,EAA6B,CAAC;IAClD,MAAM,GAAG,GAAG,CAAC,CAAW,EAAE,CAAW,EAAE,GAAW,EAAU,EAAE;QAC7D,MAAM,KAAK,GAAG,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACxC,IAAI,KAAK;YAAE,OAAO,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC9B,OAAO,oBAAoB,CAAC,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,gBAAgB,CAAC,CAAC;IAC5E,CAAC,CAAC;IAEF,8CAA8C;IAC9C,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;QACxC,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACxB,IAAI,CAAC,CAAC,GAAG,KAAK,SAAS,IAAI,CAAC,CAAC,GAAG,KAAK,IAAI,EAAE,CAAC;gBAC3C,YAAY,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YACzD,CAAC;YACD,IAAI,CAAC,CAAC,GAAG,KAAK,SAAS,IAAI,CAAC,CAAC,GAAG,KAAK,IAAI,EAAE,CAAC;gBAC3C,YAAY,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YACzD,CAAC;QACF,CAAC;aAAM,CAAC;YACP,gBAAgB,CAAC,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QAChD,CAAC;IACF,CAAC;IAED,0EAA0E;IAC1E,qEAAqE;IACrE,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QAC1B,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;YAAE,SAAS;QACzC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC;QACxB,IAAI,CAAC,KAAK,IAAI;YAAE,SAAS;QACzB,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;YAC3B,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACnC,YAAY,CAAC,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YACrC,YAAY,CAAC,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YACrC,gBAAgB,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACtC,CAAC;IACF,CAAC;IAED,2BAA2B;IAC3B,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC9B,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;IACpC,CAAC;IAED,wBAAwB;IACxB,IAAI,UAAU,GAAG,KAAK,CAAC;IACvB,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC;QAC/B,yCAAyC;QACzC,IAAI,GAAG,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;YACrC,MAAM,QAAQ,GAAe,EAAE,CAAC;YAChC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,aAAa,EAAE,CAAC;gBACnC,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC;oBAAE,SAAS;gBAC7C,IAAI,aAAa,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC;oBAAE,SAAS;gBACvD,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAClB,CAAC;YACD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,OAAO,CAAC;YAC1C,GAAG,CAAC,aAAa,GAAG,QAAQ,CAAC;QAC9B,CAAC;QAED,mBAAmB;QACnB,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC9D,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;YAC/C,IAAI,CAAC,GAAG,CAAC;gBAAE,OAAO,OAAO,CAAC;YAC1B,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,YAAY,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC;gBAAE,OAAO,OAAO,CAAC;YACxE,uCAAuC;YACvC,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,YAAY,IAAI,GAAG,CAAC,YAAY,IAAI,aAAa,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;gBAC5G,OAAO,OAAO,CAAC;YAChB,CAAC;QACF,CAAC;QAED,oCAAoC;QACpC,IAAI,GAAG,CAAC,aAAa,IAAI,GAAG,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzD,IAAI,aAAa,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC;gBAAE,OAAO,OAAO,CAAC;QACjF,CAAC;QAED,IAAI,GAAG,CAAC,UAAU;YAAE,UAAU,GAAG,IAAI,CAAC;IACvC,CAAC;IAED,OAAO,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC;AACvC,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,uBAAuB,CAC/B,SAAwC,EACxC,OAAwC,EACxC,QAAwC,EACxC,SAAiD,EACjD,YAA+D,EAC/D,iBAAgD;IAEhD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA6B,CAAC;IACtD,IAAI,CAAC,YAAY;QAAE,OAAO,QAAQ,CAAC,CAAC,qCAAqC;IAEzE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,MAAM,CAAC,IAAI,OAAO;QAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAC/C,KAAK,MAAM,CAAC,IAAI,QAAQ;QAAE,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,KAAK;YAAE,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACtE,KAAK,MAAM,IAAI,IAAI,SAAS;QAAE,cAAc,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;IAEvE,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;QAC/B,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS;QACjC,IAAI,sBAAsB,CAAC,IAAI,CAAC,KAAK,QAAQ;YAAE,SAAS;QACxD,MAAM,IAAI,GAAG,iBAAiB,CAAC,CAAC,CAAC,UAAU,CAAC,iBAAiB,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC;QACtG,IAAI,CAAC,IAAI;YAAE,OAAO,SAAS,CAAC;QAC5B,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,QAAQ,CAAC;AACjB,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,SAAS,UAAU,CAAC,QAA2B,EAAE,IAAY;IAC5D,IAAI,CAAC;QACJ,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC;IACvB,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACZ,OAAO,CAAC,4EAA4E,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAC/F,OAAO,SAAS,CAAC;IAClB,CAAC;AACF,CAAC;AAED;;;;GAIG;AACH,SAAS,0BAA0B,CAClC,SAAwC,EACxC,SAAiD;IAEjD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC3C,sBAAsB,CAAC,SAAS,EAAE,SAAS,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE;QACzD,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,EAAE,CAAC,WAAW,CAAC;QAC1C,IAAI,mBAAmB,CAAC,OAAO,CAAC;YAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IACH,OAAO,GAAG,CAAC;AACZ,CAAC;AAED,2FAA2F;AAC3F,SAAS,cAAc,CACtB,CAAiB,EACjB,SAAiD,EACjD,GAAgB;IAEhB,sBAAsB,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;AAC7D,CAAC;AAED;;;;GAIG;AACH,SAAS,sBAAsB,CAC9B,KAAoC,EACpC,SAAiD,EACjD,KAAsD;IAEtD,MAAM,KAAK,GAAqB,CAAC,GAAG,KAAK,CAAC,CAAC;IAC3C,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QACzB,IAAI,GAAG,YAAY,mBAAmB,EAAE,CAAC;YACxC,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;YACvC,IAAI,GAAG,KAAK,SAAS;gBAAE,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACvC,SAAS;QACV,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,WAAW,EAAE,EAAE,CAAC;YACvC,IAAI,YAAY,IAAI,KAAK;gBAAE,KAAK,CAAC,IAAI,CAAC,KAAuB,CAAC,CAAC;QAChE,CAAC;IACF,CAAC;AACF,CAAC;AAED,SAAS,WAAW,CAAC,IAAoC,EAAE,GAAW;IACrE,IAAI,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACxB,IAAI,CAAC,GAAG,EAAE,CAAC;QACV,GAAG,GAAG;YACL,YAAY,EAAE,KAAK;YACnB,YAAY,EAAE,KAAK;YACnB,QAAQ,EAAE,EAAE;YACZ,UAAU,EAAE,KAAK;SACjB,CAAC;QACF,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACpB,CAAC;IACD,OAAO,GAAG,CAAC;AACZ,CAAC;AAED,SAAS,YAAY,CACpB,GAAsB,EACtB,KAAe,EACf,SAAkB,EAClB,GAAW,EACX,GAAsD;IAEtD,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAChC,GAAG,CAAC,QAAQ,GAAG,KAAK,CAAC;QACrB,GAAG,CAAC,YAAY,GAAG,SAAS,CAAC;QAC7B,OAAO;IACR,CAAC;IACD,MAAM,CAAC,GAAG,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;IACxC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACX,GAAG,CAAC,QAAQ,GAAG,KAAK,CAAC;QACrB,GAAG,CAAC,YAAY,GAAG,SAAS,CAAC;IAC9B,CAAC;SAAM,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,YAAY,IAAI,CAAC,SAAS,EAAE,CAAC;QACtD,GAAG,CAAC,YAAY,GAAG,KAAK,CAAC;IAC1B,CAAC;AACF,CAAC;AAED,SAAS,YAAY,CACpB,GAAsB,EACtB,KAAe,EACf,SAAkB,EAClB,GAAW,EACX,GAAsD;IAEtD,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAChC,GAAG,CAAC,QAAQ,GAAG,KAAK,CAAC;QACrB,GAAG,CAAC,YAAY,GAAG,SAAS,CAAC;QAC7B,OAAO;IACR,CAAC;IACD,MAAM,CAAC,GAAG,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;IACxC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACX,GAAG,CAAC,QAAQ,GAAG,KAAK,CAAC;QACrB,GAAG,CAAC,YAAY,GAAG,SAAS,CAAC;IAC9B,CAAC;SAAM,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,YAAY,IAAI,CAAC,SAAS,EAAE,CAAC;QACtD,GAAG,CAAC,YAAY,GAAG,KAAK,CAAC;IAC1B,CAAC;AACF,CAAC;AAED,SAAS,gBAAgB,CACxB,GAAsB,EACtB,MAA+B,EAC/B,GAAW,EACX,GAAsD;IAEtD,MAAM,OAAO,GAAe,EAAE,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,MAAM;QAAE,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxD,IAAI,OAAO,CAAC,MAAM,GAAG,kBAAkB,EAAE,CAAC;QACzC,GAAG,CAAC,UAAU,GAAG,IAAI,CAAC;QACtB,OAAO;IACR,CAAC;IACD,IAAI,GAAG,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;QACrC,GAAG,CAAC,aAAa,GAAG,OAAO,CAAC,KAAK,EAAE,CAAC;QACpC,OAAO;IACR,CAAC;IACD,MAAM,WAAW,GAAe,EAAE,CAAC;IACnC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,aAAa,EAAE,CAAC;QACnC,IAAI,aAAa,CAAC,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC;YAAE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9D,CAAC;IACD,GAAG,CAAC,aAAa,GAAG,WAAW,CAAC;AACjC,CAAC;AAED,SAAS,aAAa,CACrB,GAA4B,EAC5B,KAAe,EACf,GAAW,EACX,GAAsD;IAEtD,KAAK,MAAM,CAAC,IAAI,GAAG,EAAE,CAAC;QACrB,IAAI,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;IAC3C,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAED,SAAS,WAAW,CACnB,GAAsB,EACtB,KAAe,EACf,GAAW,EACX,GAAsD;IAEtD,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAChC,MAAM,CAAC,GAAG,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QACxC,IAAI,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QACxB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY;YAAE,OAAO,KAAK,CAAC;IAChD,CAAC;IACD,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAChC,MAAM,CAAC,GAAG,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QACxC,IAAI,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QACxB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY;YAAE,OAAO,KAAK,CAAC;IAChD,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,SAAS,MAAM,CAAC,CAAiB;IAChC,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,OAAO,GAAG,YAAY,QAAQ,IAAI,UAAU,CAAC,GAAG,CAAC;QAAE,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC;IACrE,OAAO,GAAG,CAAC;AACZ,CAAC;AAED,SAAS,SAAS,CAAC,CAAiB;IACnC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACpB,IAAI,CAAC,CAAC,CAAC,YAAY,WAAW,CAAC;QAAE,OAAO,SAAS,CAAC;IAClD,OAAO,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;AACnC,CAAC;AAED,SAAS,QAAQ,CAChB,CAAiB,EACjB,SAAiD;IAEjD,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACpB,IAAI,CAAC,CAAC,CAAC,YAAY,mBAAmB,CAAC;QAAE,OAAO,SAAS,CAAC;IAC1D,OAAO,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;AACjC,CAAC;AAED;;;;GAIG;AACH,SAAS,qBAAqB,CAC7B,CAAiB,EACjB,IAAoC,EACpC,SAAiD;IAEjD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,cAAc,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;IACtC,KAAK,MAAM,GAAG,IAAI,OAAO;QAAE,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,UAAU,GAAG,IAAI,CAAC;AACrE,CAAC;AAED,SAAS,MAAM,CACd,IAAoB,EACpB,IAAoC,EACpC,SAAiD,EACjD,GAAsD;IAEtD,IAAI,IAAI,YAAY,YAAY,EAAE,CAAC;QAClC,MAAM,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC;QACpC,QAAQ,EAAE,EAAE,CAAC;YACZ,KAAK,GAAG,CAAC;YACT,KAAK,IAAI,CAAC;YACV,KAAK,IAAI,CAAC;YACV,KAAK,IAAI,CAAC;YACV,KAAK,GAAG,CAAC;YACT,KAAK,IAAI,CAAC;YACV,KAAK,GAAG,CAAC;YACT,KAAK,IAAI,CAAC,CAAC,CAAC;gBACX,YAAY,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;gBAC7C,OAAO;YACR,CAAC;YACD,OAAO,CAAC,CAAC,CAAC;gBACT,qBAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;gBAC7C,OAAO;YACR,CAAC;QACF,CAAC;IACF,CAAC;IACD,IAAI,IAAI,YAAY,WAAW,EAAE,CAAC;QACjC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,KAAK,IAAI,EAAE,CAAC;YAClC,qBAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;YAC7C,OAAO;QACR,CAAC;QACD,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QAC3C,MAAM,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,MAAM,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,IAAI,GAAG,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;YAC7F,qBAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;YAC7C,OAAO;QACR,CAAC;QACD,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACnC,YAAY,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACtC,YAAY,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACtC,OAAO;IACR,CAAC;IACD,IAAI,IAAI,YAAY,MAAM,EAAE,CAAC;QAC5B,mEAAmE;QACnE,iDAAiD;QACjD,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC/B,qBAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;YAC7C,OAAO;QACR,CAAC;QACD,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;QAChD,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACvB,2DAA2D;YAC3D,qBAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;YAC7C,OAAO;QACR,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9C,sEAAsE;YACtE,yDAAyD;YACzD,gBAAgB,CAAC,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YACvD,OAAO;QACR,CAAC;QACD,MAAM,MAAM,GAAe,EAAE,CAAC;QAC9B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAC7B,MAAM,GAAG,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;YACzB,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;gBACvB,qBAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;gBAC7C,OAAO;YACR,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClB,CAAC;QACD,gBAAgB,CAAC,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAC3D,OAAO;IACR,CAAC;IACD,IAAI,IAAI,YAAY,WAAW,EAAE,CAAC;QACjC,iEAAiE;QACjE,qBAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;QAC7C,OAAO;IACR,CAAC;IACD,4DAA4D;IAC5D,qBAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;AAC9C,CAAC;AAED,SAAS,YAAY,CACpB,IAAkB,EAClB,EAAU,EACV,IAAoC,EACpC,SAAiD,EACjD,GAAsD;IAEtD,8CAA8C;IAC9C,IAAI,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACzC,IAAI,GAAG,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChC,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACvB,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QACtC,GAAG,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,MAAM,GAAG,cAAc,CAAC,EAAE,CAAC,CAAC;IAC7B,CAAC;IACD,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QAC5C,qBAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;QAC7C,OAAO;IACR,CAAC;IACD,kEAAkE;IAClE,iEAAiE;IACjE,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;QAClB,qBAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;QAC7C,OAAO;IACR,CAAC;IACD,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACnC,QAAQ,MAAM,EAAE,CAAC;QAChB,KAAK,GAAG,CAAC;QACT,KAAK,IAAI;YACR,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YACvC,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YACvC,gBAAgB,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YACvC,OAAO;QACR,KAAK,IAAI,CAAC;QACV,KAAK,IAAI;YACR,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,kBAAkB,EAAE,CAAC;gBAC9C,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;oBAAE,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACzE,CAAC;iBAAM,CAAC;gBACP,GAAG,CAAC,UAAU,GAAG,IAAI,CAAC;YACvB,CAAC;YACD,OAAO;QACR,KAAK,GAAG;YACP,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YACxC,OAAO;QACR,KAAK,IAAI;YACR,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YACvC,OAAO;QACR,KAAK,GAAG;YACP,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YACxC,OAAO;QACR,KAAK,IAAI;YACR,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YACvC,OAAO;QACR;YACC,qBAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;YAC7C,OAAO;IACT,CAAC;AACF,CAAC"}

package/dist/src/planner/building/select-aggregates.d.ts

@@ -20,9 +20,11 @@ export declare function buildAggregatePhase(input: RelationalPlanNode, stmt: AST
     groupByExpressions?: ScalarPlanNode[];
     hasHavingOnlyAggregates?: boolean;
     hasOrderByOnlyAggregates?: boolean;
-    orderByNeedsPostAggregateSort?: boolean;
     aggregatesContext?: PlanningContext['aggregates'];
+    /** Grouping-key rewrite target — set only for a query WITH GROUP BY. */
     groupedRedirectContext?: GroupedRedirectContext;
+    /** What an aggregated row carries — set for EVERY aggregate query, grouped or not. */
+    groupedCoverageContext?: GroupedRedirectContext;
 };
 /**
  * What a GROUPED query's post-aggregate builders need in order to run their
@@ -105,14 +107,22 @@ export interface GroupKeyIndex {
  */
 export declare function redirectPostAggregate(expr: ScalarPlanNode, context: GroupedRedirectContext | undefined, scope: Scope): ScalarPlanNode;
 /**
- * Boundary check over a GROUPED query's finished plan: no node ABOVE the
+ * Boundary check over an AGGREGATE query's finished plan: no node ABOVE the
  * AggregateNode may reference an aggregate-input attribute id that is absent from
- * the aggregate's output. Called once per grouped query, from the end of
+ * the aggregate's output. Called once per aggregate query, from the end of
  * `buildSelectStmt`, walking the operator spine from the query root down to — and
  * stopping at — the AggregateNode itself (whose own input subtree legally reads
  * pre-grouping columns). Each scalar expression hanging off a spine operator gets
  * the subquery-aware per-expression check ({@link assertPostAggregateCoverage}).
  *
+ * "Aggregate", not "grouped": a query with no GROUP BY has exactly one implicit group,
+ * whose row carries the aggregate results and nothing else, so the same rule applies to
+ * everything above it (`having`, `order by` when it is forced above the aggregate,
+ * `limit`, `offset`). `context` is therefore built for every aggregate query — see the
+ * `groupedCoverageContext` / `groupedRedirectContext` split in
+ * {@link buildAggregatePhase}. An ungrouped query's `groupKeys` maps are empty, which is
+ * correct: it has no grouping key any post-aggregate reference could be covered by.
+ *
  * This is what turns "a builder forgot to call {@link redirectPostAggregate}" from a
  * runtime `No row context found for column …` internal error into the user-facing
  * GROUP BY message at plan time — the SELECT-list and ORDER BY escapes both shipped
@@ -127,11 +137,13 @@ export declare function redirectPostAggregate(expr: ScalarPlanNode, context: Gro
  * rejected with a user-facing GROUP BY error. If such a step is ever added, locate
  * the aggregate by node id instead of by reference.
  *
- * NOTE: one extra walk of the post-aggregate plan per grouped query per prepare, on
+ * NOTE: one extra walk of the post-aggregate plan per aggregate query per prepare, on
  * top of the redirect's own walk (see {@link redirectNode}). Measured end-to-end, not
  * isolated: compiling a six-column grouped query costs ~0.6-0.8 ms against ~0.5 ms for
  * a comparable ungrouped one, so this walk is bounded well below the surrounding
- * planning cost. Revisit if preparing grouped queries ever shows up as slow.
+ * planning cost. An ungrouped aggregate query now pays the same walk plus the
+ * `collectDefinedAttrIds` pass that builds its context. Revisit if preparing aggregate
+ * queries ever shows up as slow.
  */
 export declare function assertGroupedPlanCoverage(node: PlanNode, aggregateNode: PlanNode, context: GroupedRedirectContext): void;
 /**

package/dist/src/planner/building/select-aggregates.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"select-aggregates.d.ts","sourceRoot":"","sources":["../../../../src/planner/building/select-aggregates.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAChD,OAAO,EAAoB,KAAK,SAAS,EAAE,KAAK,QAAQ,EAAE,KAAK,kBAAkB,EAAE,KAAK,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACtI,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAI9D,OAAO,EAAE,KAAK,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAO1D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAIhD,OAAO,EAAwD,KAAK,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAKjH;;GAEG;AACH,wBAAgB,mBAAmB,CAClC,KAAK,EAAE,kBAAkB,EACzB,IAAI,EAAE,GAAG,CAAC,UAAU,EACpB,aAAa,EAAE,eAAe,EAC9B,UAAU,EAAE;IAAE,UAAU,EAAE,cAAc,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,EAAE,EAC3D,aAAa,EAAE,OAAO,EACtB,WAAW,EAAE,UAAU,EAAE,EACzB,oBAAoB,GAAE,OAAe,EACrC,UAAU,GAAE,SAAS,eAAe,EAAO,EAC3C,uBAAuB,GAAE,WAAW,CAAC,GAAG,CAAC,YAAY,EAAE,SAAS,UAAU,EAAE,CAAa,GACvF;IACF,MAAM,EAAE,kBAAkB,CAAC;IAC3B,cAAc,CAAC,EAAE,eAAe,CAAC;IACjC,oBAAoB,EAAE,OAAO,CAAC;IAC9B,gBAAgB,EAAE,OAAO,CAAC;IAC1B,aAAa,CAAC,EAAE,kBAAkB,CAAC;IACnC,kBAAkB,CAAC,EAAE,cAAc,EAAE,CAAC;IACtC,uBAAuB,CAAC,EAAE,OAAO,CAAC;IAClC,wBAAwB,CAAC,EAAE,OAAO,CAAC;IACnC,6BAA6B,CAAC,EAAE,OAAO,CAAC;IACxC,iBAAiB,CAAC,EAAE,eAAe,CAAC,YAAY,CAAC,CAAC;IAClD,sBAAsB,CAAC,EAAE,sBAAsB,CAAC;CAChD,CA8JA;AAiGD;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,WAAW,sBAAsB;IACtC,uEAAuE;IACvE,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC;IAClC,6FAA6F;IAC7F,QAAQ,CAAC,gBAAgB,EAAE,SAAS,SAAS,EAAE,CAAC;IAChD;;;;;;;;;;;;;OAaG;IACH,QAAQ,CAAC,qBAAqB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACpD;;;;OAIG;IACH,QAAQ,CAAC,aAAa,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAC5C;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,aAAa;IAC7B,kFAAkF;IAClF,QAAQ,CAAC,aAAa,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACpD,oFAAoF;IACpF,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACnD;AAkED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,qBAAqB,CACpC,IAAI,EAAE,cAAc,EACpB,OAAO,EAAE,sBAAsB,GAAG,SAAS,EAC3C,KAAK,EAAE,KAAK,GACV,cAAc,CAGhB;AAiLD;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,wBAAgB,yBAAyB,CACxC,IAAI,EAAE,QAAQ,EACd,aAAa,EAAE,QAAQ,EACvB,OAAO,EAAE,sBAAsB,GAC7B,IAAI,CAUN;AAsoBD;;;;;GAKG;AACH,wBAAgB,6BAA6B,CAC5C,IAAI,EAAE,GAAG,CAAC,UAAU,EACpB,GAAG,EAAE,eAAe,GAClB,GAAG,CAAC,YAAY,EAAE,CAIpB;AAyID;;;;;;;;GAQG;AACH,wBAAgB,8BAA8B,CAC7C,IAAI,EAAE,GAAG,CAAC,UAAU,EACpB,aAAa,EAAE,eAAe,EAC9B,oBAAoB,EAAE,eAAe,EACrC,aAAa,EAAE,kBAAkB,EACjC,UAAU,EAAE;IAAE,UAAU,EAAE,cAAc,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,EAAE,EAC3D,kBAAkB,EAAE,cAAc,EAAE,EACpC,uBAAuB,GAAE,WAAW,CAAC,GAAG,CAAC,YAAY,EAAE,SAAS,UAAU,EAAE,CAAa,EACzF,cAAc,CAAC,EAAE,sBAAsB,GACrC,UAAU,EAAE,CAkHd"}
+{"version":3,"file":"select-aggregates.d.ts","sourceRoot":"","sources":["../../../../src/planner/building/select-aggregates.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAChD,OAAO,EAAoB,KAAK,SAAS,EAAE,KAAK,QAAQ,EAAE,KAAK,kBAAkB,EAAE,KAAK,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACtI,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAI9D,OAAO,EAAE,KAAK,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAO1D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAIhD,OAAO,EAAwD,KAAK,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAKjH;;GAEG;AACH,wBAAgB,mBAAmB,CAClC,KAAK,EAAE,kBAAkB,EACzB,IAAI,EAAE,GAAG,CAAC,UAAU,EACpB,aAAa,EAAE,eAAe,EAC9B,UAAU,EAAE;IAAE,UAAU,EAAE,cAAc,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,EAAE,EAC3D,aAAa,EAAE,OAAO,EACtB,WAAW,EAAE,UAAU,EAAE,EACzB,oBAAoB,GAAE,OAAe,EACrC,UAAU,GAAE,SAAS,eAAe,EAAO,EAC3C,uBAAuB,GAAE,WAAW,CAAC,GAAG,CAAC,YAAY,EAAE,SAAS,UAAU,EAAE,CAAa,GACvF;IACF,MAAM,EAAE,kBAAkB,CAAC;IAC3B,cAAc,CAAC,EAAE,eAAe,CAAC;IACjC,oBAAoB,EAAE,OAAO,CAAC;IAC9B,gBAAgB,EAAE,OAAO,CAAC;IAC1B,aAAa,CAAC,EAAE,kBAAkB,CAAC;IACnC,kBAAkB,CAAC,EAAE,cAAc,EAAE,CAAC;IACtC,uBAAuB,CAAC,EAAE,OAAO,CAAC;IAClC,wBAAwB,CAAC,EAAE,OAAO,CAAC;IACnC,iBAAiB,CAAC,EAAE,eAAe,CAAC,YAAY,CAAC,CAAC;IAClD,wEAAwE;IACxE,sBAAsB,CAAC,EAAE,sBAAsB,CAAC;IAChD,sFAAsF;IACtF,sBAAsB,CAAC,EAAE,sBAAsB,CAAC;CAChD,CAuKA;AA4FD;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,WAAW,sBAAsB;IACtC,uEAAuE;IACvE,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC;IAClC,6FAA6F;IAC7F,QAAQ,CAAC,gBAAgB,EAAE,SAAS,SAAS,EAAE,CAAC;IAChD;;;;;;;;;;;;;OAaG;IACH,QAAQ,CAAC,qBAAqB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACpD;;;;OAIG;IACH,QAAQ,CAAC,aAAa,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAC5C;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,aAAa;IAC7B,kFAAkF;IAClF,QAAQ,CAAC,aAAa,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACpD,oFAAoF;IACpF,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACnD;AAkED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,qBAAqB,CACpC,IAAI,EAAE,cAAc,EACpB,OAAO,EAAE,sBAAsB,GAAG,SAAS,EAC3C,KAAK,EAAE,KAAK,GACV,cAAc,CAGhB;AAiLD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AACH,wBAAgB,yBAAyB,CACxC,IAAI,EAAE,QAAQ,EACd,aAAa,EAAE,QAAQ,EACvB,OAAO,EAAE,sBAAsB,GAC7B,IAAI,CAUN;AA+pBD;;;;;GAKG;AACH,wBAAgB,6BAA6B,CAC5C,IAAI,EAAE,GAAG,CAAC,UAAU,EACpB,GAAG,EAAE,eAAe,GAClB,GAAG,CAAC,YAAY,EAAE,CAIpB;AAyID;;;;;;;;GAQG;AACH,wBAAgB,8BAA8B,CAC7C,IAAI,EAAE,GAAG,CAAC,UAAU,EACpB,aAAa,EAAE,eAAe,EAC9B,oBAAoB,EAAE,eAAe,EACrC,aAAa,EAAE,kBAAkB,EACjC,UAAU,EAAE;IAAE,UAAU,EAAE,cAAc,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,EAAE,EAC3D,kBAAkB,EAAE,cAAc,EAAE,EACpC,uBAAuB,GAAE,WAAW,CAAC,GAAG,CAAC,YAAY,EAAE,SAAS,UAAU,EAAE,CAAa,EACzF,cAAc,CAAC,EAAE,sBAAsB,GACrC,UAAU,EAAE,CAkHd"}

package/dist/src/planner/building/select-aggregates.js

@@ -51,34 +51,34 @@ export function buildAggregatePhase(input, stmt, selectContext, aggregates, hasA
             hasOrderByOnlyAggregates = true;
         }
     }
-    // If there is a HAVING clause but the SELECT contains **no aggregate functions**
-    // AND **no GROUP BY**, we can safely treat the HAVING predicate as a regular filter
-    // that runs *before* the aggregation (i.e. between the source and the AggregateNode).
-    // This avoids the "missing column context" problem where the predicate refers to columns
-    // that are not available after the AggregateNode (only grouping columns and
-    // aggregate results are exposed). This behaviour is compatible with SQLite –
-    // GROUP BY with a primary-key guarantees one row per group so the semantics
-    // are unchanged.
-    const shouldPushHavingBelowAggregate = Boolean(stmt.having && !hasAggregates && !hasGroupBy);
-    if (!hasAggregates && !hasGroupBy) {
+    // A `having` clause makes this an aggregate query on its own, exactly as SQLite and
+    // PostgreSQL define it: with no `group by` the query has ONE implicit group over all
+    // input rows, and `having` filters that single group. So a query with a `having` and
+    // neither aggregates nor `group by` still goes through the aggregate pipeline below —
+    // it builds an AggregateNode with no grouping keys and no aggregates, which yields
+    // exactly one (empty) row, and every clause above it is subject to the usual coverage
+    // rule. Returning early here instead is what silently dropped the predicate.
+    const isAggregateQuery = hasAggregates || hasGroupBy || Boolean(stmt.having);
+    if (!isAggregateQuery) {
         return { output: input, needsFinalProjection: false, preAggregateSort: false };
     }
-    // ---------------------------------------------------------------------------
-    // Build HAVING predicate as *pre-aggregate* filter when appropriate
-    // ---------------------------------------------------------------------------
     let currentInput = input;
-    if (shouldPushHavingBelowAggregate) {
-        // Build the predicate using the *pre-aggregate* scope because all columns
-        // are still available here.
-        const havingExpr = buildExpression(selectContext, stmt.having, true);
-        currentInput = new FilterNode(selectContext.scope, currentInput, havingExpr);
-    }
-    // After (optional) early HAVING filter we continue with the existing pipeline
-    // ----------------------------------------------------------------------------
     // Handle pre-aggregate sorting for ORDER BY without GROUP BY. Skip when the
     // ORDER BY names an aggregate or a SELECT-list alias — neither can be evaluated
     // against the per-input rows; they need the post-aggregate row(s).
-    const preAggregateSort = Boolean(hasAggregates && !hasGroupBy && stmt.orderBy && stmt.orderBy.length > 0 && !needsPostAggregateSort);
+    // Inside the guard above, "not grouped" already means "one implicit group", so this
+    // does not test `hasAggregates`: the documented extension (an ungrouped aggregate
+    // query's ORDER BY sorts the *input* rows below the aggregation) must read the same
+    // whether or not the query happens to name an aggregate, or `select 1 from t having
+    // 1 = 1 order by a` would instead push the sort above the aggregation and be rejected
+    // by the coverage check while `select group_concat(b) from t order by a` is allowed.
+    // NOTE: for the having-only shape the aggregate list is empty, so nothing observes
+    // input order and the sort it emits cannot change the single output row — verified
+    // by dumping the program for `select 1 from hn having 1 = 1 order by val`, which
+    // carries one `sort(1 keys)` instruction. Harmless and rare; if an ungrouped
+    // aggregate query with an empty aggregate list ever shows up sorting a large input,
+    // elide the sort when `aggregates.length === 0 && groupByExpressions.length === 0`.
+    const preAggregateSort = Boolean(!hasGroupBy && stmt.orderBy && stmt.orderBy.length > 0 && !needsPostAggregateSort);
     currentInput = handlePreAggregateSort(currentInput, stmt, selectContext, preAggregateSort, selectList);
     // Build GROUP BY expressions, resolving 1-based positional references against the SELECT list.
     const groupByExpressions = stmt.groupBy ?
@@ -89,18 +89,26 @@ export function buildAggregatePhase(input, stmt, selectContext, aggregates, hasA
     // Create AggregateNode
     const aggregateNode = new AggregateNode(selectContext.scope, currentInput, groupByExpressions, aggregates);
     currentInput = aggregateNode;
-    // A GROUPED query's post-aggregate expressions — HAVING below, the rebuilt SELECT
-    // list, a window phase's specifications and function arguments, the sort keys —
-    // are all built against scopes that fall through to the pre-aggregate select scope,
-    // so a legal spelling of a grouping key can bind to a base-table attribute the
-    // grouped row does not carry. Every such expression reaches the fix through ONE
-    // entry point, {@link redirectPostAggregate}, off this one context — built here,
-    // the moment the AggregateNode exists, so no post-aggregate site can run before it
-    // does. An aggregate query with no GROUP BY has no grouping keys to redirect onto
-    // and gets none.
-    const groupedRedirectContext = groupByExpressions.length > 0
-        ? buildGroupedRedirectContext(groupByExpressions, aggregateNode.getAttributes(), aggregateNode.getRelations()[0])
-        : undefined;
+    // Two questions, two bindings — they used to be one value, and conflating them is
+    // what let an ungrouped aggregate query skip the coverage check entirely.
+    //
+    // "What does an aggregated row of this query carry?" — every aggregate query has an
+    // answer, GROUP BY or not: an ungrouped one has exactly one implicit group whose row
+    // carries only the aggregate results. That is what the finished-plan boundary check
+    // ({@link assertGroupedPlanCoverage}) and HAVING's own coverage check need, so this
+    // binding is built unconditionally.
+    const groupedCoverageContext = buildGroupedRedirectContext(groupByExpressions, aggregateNode.getAttributes(), aggregateNode.getRelations()[0]);
+    // "Are there grouping keys to rewrite post-aggregate expressions onto?" — only a
+    // query WITH GROUP BY has any. A GROUPED query's post-aggregate expressions — HAVING
+    // below, the rebuilt SELECT list, a window phase's specifications and function
+    // arguments, the sort keys — are all built against scopes that fall through to the
+    // pre-aggregate select scope, so a legal spelling of a grouping key can bind to a
+    // base-table attribute the grouped row does not carry. Every such expression reaches
+    // the fix through ONE entry point, {@link redirectPostAggregate}, off this one
+    // context — built here, the moment the AggregateNode exists, so no post-aggregate
+    // site can run before it does. `undefined` here means exactly one thing: no grouping
+    // keys, so nothing to rewrite onto and the redirect takes its pass-through branch.
+    const groupedRedirectContext = groupByExpressions.length > 0 ? groupedCoverageContext : undefined;
     // Create aggregate output scope
     const aggregateOutputScope = createAggregateOutputScope(selectContext.scope, currentInput, groupByExpressions, aggregates, projections);
     // Build the aggregates planning context entries so downstream builders
@@ -117,10 +125,9 @@ export function buildAggregatePhase(input, stmt, selectContext, aggregates, hasA
             attributeId: attr.id,
         };
     });
-    // Handle HAVING clause *after* aggregation only when we did not already push
-    // it below the AggregateNode.
-    if (stmt.having && !shouldPushHavingBelowAggregate) {
-        currentInput = buildHavingFilter(currentInput, stmt.having, selectContext, aggregateOutputScope, aggregates, groupByExpressions, groupedRedirectContext);
+    // Handle HAVING clause *after* aggregation.
+    if (stmt.having) {
+        currentInput = buildHavingFilter(currentInput, stmt.having, selectContext, aggregateOutputScope, aggregates, groupByExpressions, groupedCoverageContext, groupedRedirectContext);
     }
     // Determine if final projection is needed.
     // Force a final projection when HAVING-only or ORDER-BY-only aggregates were
@@ -150,9 +157,9 @@ export function buildAggregatePhase(input, stmt, selectContext, aggregates, hasA
         groupByExpressions,
         hasHavingOnlyAggregates,
         hasOrderByOnlyAggregates,
-        orderByNeedsPostAggregateSort: needsPostAggregateSort,
         aggregatesContext,
         groupedRedirectContext,
+        groupedCoverageContext,
     };
 }
 /**
@@ -173,12 +180,14 @@ function handlePreAggregateSort(input, stmt, selectContext, preAggregateSort, se
     return new SortNode(selectContext.scope, input, sortKeys);
 }
 /**
- * Builds the coverage test for a grouped query. `groupedOutputAttributes` is the
- * AggregateNode's output attributes (group keys followed by aggregate results),
- * needed only when the expressions to be checked were built against the aggregate
- * output scope.
+ * Builds the coverage test for a grouped query, from the GROUP BY expressions as
+ * built against the PRE-aggregate scope. Its one caller is the SELECT-list check
+ * ({@link validateAggregateProjections}), whose projections are built against that
+ * same scope. HAVING deliberately does NOT use this: its predicate lives above the
+ * AggregateNode and is checked with {@link isPreGroupingReference} instead, which
+ * can tell this query's own ungrouped columns from an enclosing query's.
  */
-function buildGroupByCoverage(groupByExpressions, groupedOutputAttributes = []) {
+function buildGroupByCoverage(groupByExpressions) {
     const attrIds = new Set();
     const fingerprints = new Set();
     for (const expr of groupByExpressions) {
@@ -187,9 +196,6 @@ function buildGroupByCoverage(groupByExpressions, groupedOutputAttributes = [])
         }
         fingerprints.add(expressionToIdentityString(expr.expression));
     }
-    for (const attr of groupedOutputAttributes) {
-        attrIds.add(attr.id);
-    }
     return { attrIds, fingerprints };
 }
 /**
@@ -447,14 +453,22 @@ function referencesAggregateInput(node, context) {
     return false;
 }
 /**
- * Boundary check over a GROUPED query's finished plan: no node ABOVE the
+ * Boundary check over an AGGREGATE query's finished plan: no node ABOVE the
  * AggregateNode may reference an aggregate-input attribute id that is absent from
- * the aggregate's output. Called once per grouped query, from the end of
+ * the aggregate's output. Called once per aggregate query, from the end of
  * `buildSelectStmt`, walking the operator spine from the query root down to — and
  * stopping at — the AggregateNode itself (whose own input subtree legally reads
  * pre-grouping columns). Each scalar expression hanging off a spine operator gets
  * the subquery-aware per-expression check ({@link assertPostAggregateCoverage}).
  *
+ * "Aggregate", not "grouped": a query with no GROUP BY has exactly one implicit group,
+ * whose row carries the aggregate results and nothing else, so the same rule applies to
+ * everything above it (`having`, `order by` when it is forced above the aggregate,
+ * `limit`, `offset`). `context` is therefore built for every aggregate query — see the
+ * `groupedCoverageContext` / `groupedRedirectContext` split in
+ * {@link buildAggregatePhase}. An ungrouped query's `groupKeys` maps are empty, which is
+ * correct: it has no grouping key any post-aggregate reference could be covered by.
+ *
  * This is what turns "a builder forgot to call {@link redirectPostAggregate}" from a
  * runtime `No row context found for column …` internal error into the user-facing
  * GROUP BY message at plan time — the SELECT-list and ORDER BY escapes both shipped
@@ -469,11 +483,13 @@ function referencesAggregateInput(node, context) {
  * rejected with a user-facing GROUP BY error. If such a step is ever added, locate
  * the aggregate by node id instead of by reference.
  *
- * NOTE: one extra walk of the post-aggregate plan per grouped query per prepare, on
+ * NOTE: one extra walk of the post-aggregate plan per aggregate query per prepare, on
  * top of the redirect's own walk (see {@link redirectNode}). Measured end-to-end, not
  * isolated: compiling a six-column grouped query costs ~0.6-0.8 ms against ~0.5 ms for
  * a comparable ungrouped one, so this walk is bounded well below the surrounding
- * planning cost. Revisit if preparing grouped queries ever shows up as slow.
+ * planning cost. An ungrouped aggregate query now pays the same walk plus the
+ * `collectDefinedAttrIds` pass that builds its context. Revisit if preparing aggregate
+ * queries ever shows up as slow.
  */
 export function assertGroupedPlanCoverage(node, aggregateNode, context) {
     if (node === aggregateNode)
@@ -522,8 +538,15 @@ function assertPostAggregateCoverage(node, context) {
  * belongs to the subquery, and its arguments may correlate back out — `over (order by
  * (select max(wg.b) from wg t))` reads an ungrouped column of this query and must say
  * so at plan time, not die at runtime with "No row context found for column b".
+ *
+ * `skipSubqueries` stops the walk at a relational child instead of descending into it,
+ * and exists for the HAVING check ({@link buildHavingFilter}). An ungrouped reference
+ * to this query's column buried inside a HAVING subquery is already rejected by the
+ * finished-plan check ({@link assertGroupedPlanCoverage}) with the general "must appear
+ * in the GROUP BY clause" wording, which is the message that shape has always raised;
+ * descending here would pre-empt it with HAVING's own dedicated message instead.
  */
-function findUngroupedPostAggregateRef(node, context, insideSubquery = false) {
+function findUngroupedPostAggregateRef(node, context, skipSubqueries = false, insideSubquery = false) {
     if (!insideSubquery && CapabilityDetectors.isAggregateFunction(node)) {
         return null;
     }
@@ -533,7 +556,9 @@ function findUngroupedPostAggregateRef(node, context, insideSubquery = false) {
     for (const child of node.getChildren()) {
         if (isCteDefinition(child))
             continue;
-        const found = findUngroupedPostAggregateRef(child, context, insideSubquery || isRelationalNode(child));
+        if (skipSubqueries && isRelationalNode(child))
+            continue;
+        const found = findUngroupedPostAggregateRef(child, context, skipSubqueries, insideSubquery || isRelationalNode(child));
         if (found)
             return found;
     }
@@ -541,11 +566,16 @@ function findUngroupedPostAggregateRef(node, context, insideSubquery = false) {
 }
 /**
  * Validates that aggregate and non-aggregate projections don't mix inappropriately.
- * With GROUP BY, every non-aggregate column reference in the SELECT list must
- * either (a) match a GROUP BY column by attribute id, or (b) appear inside a
- * subtree whose AST matches a GROUP BY expression. This is intentionally
- * stricter than full functional-dependency coverage — it matches SQL-92 and
- * the corpus assertions, without importing SQLite's permissive "bare columns" rule.
+ * Every non-aggregate column reference in the SELECT list must either (a) match a
+ * GROUP BY column by attribute id, or (b) appear inside a subtree whose AST matches
+ * a GROUP BY expression. This is intentionally stricter than full functional-dependency
+ * coverage — it matches SQL-92 and the corpus assertions, without importing SQLite's
+ * permissive "bare columns" rule.
+ *
+ * Only {@link buildAggregatePhase} calls this, and only from inside its
+ * `isAggregateQuery` guard, so "no GROUP BY" here means "one implicit group with an
+ * EMPTY set of grouping keys" — not "no grouping at all". The coverage walk therefore
+ * runs for it too, and rejects every bare select-list column.
  */
 function validateAggregateProjections(projections, hasAggregates, hasGroupBy, groupByExpressions) {
     if (projections.length === 0)
@@ -553,10 +583,13 @@ function validateAggregateProjections(projections, hasAggregates, hasGroupBy, gr
     if (hasAggregates && !hasGroupBy) {
         throw new QuereusError('Cannot mix aggregate and non-aggregate columns in SELECT list without GROUP BY', StatusCode.ERROR);
     }
-    if (!hasGroupBy)
-        return;
     // The SELECT list is built against the pre-aggregate scope, so no aggregate
-    // output attributes participate.
+    // output attributes participate. With no GROUP BY the coverage set is empty, which
+    // is exactly right for the one implicit group: it carries no base-table column, so
+    // any bare column here is rejected. Skipping the walk for that shape is what let
+    // `select * from t having 1 = 1` fall through to buildFinalAggregateProjections and
+    // raise its internal-consistency assert ("Internal: SELECT * column 'id' is not a
+    // GROUP BY key", StatusCode.INTERNAL) at the user instead of this message.
     const coverage = buildGroupByCoverage(groupByExpressions);
     for (const proj of projections) {
         assertGroupByCoverage(proj.node, coverage);
@@ -801,16 +834,21 @@ function groupKeyIndexOf(node, groupKeys) {
 /**
  * Builds HAVING filter clause.
  *
- * `groupedRedirectContext` is supplied for a GROUPED query. A HAVING reference to a
- * grouping key under a spelling the hybrid scope does not hold (`having wg.a = 'x'`
- * against `group by a`, the key nested in `upper(wg.a)`, a computed key written out
- * again) falls through to a base-table attribute, which happened to read correctly
- * only because this FilterNode sits directly on the AggregateNode's yield where the
- * representative source row is still published. {@link redirectPostAggregate} lands
- * it on the aggregate's own output column instead, so the predicate stays correct
- * wherever the filter ends up relative to a buffering operator.
+ * `groupedCoverageContext` describes what an aggregated row of this query carries and
+ * is supplied for EVERY aggregate query; it drives the coverage check below.
+ *
+ * `groupedRedirectContext` is the rewrite target and is supplied only for a GROUPED
+ * query. A HAVING reference to a grouping key under a spelling the hybrid scope does
+ * not hold (`having wg.a = 'x'` against `group by a`, the key nested in `upper(wg.a)`,
+ * a computed key written out again) falls through to a base-table attribute, which
+ * happened to read correctly only because this FilterNode sits directly on the
+ * AggregateNode's yield where the representative source row is still published.
+ * {@link redirectPostAggregate} lands it on the aggregate's own output column instead,
+ * so the predicate stays correct wherever the filter ends up relative to a buffering
+ * operator. A query with no GROUP BY has no keys to land anything on and passes
+ * `undefined`, so the redirect takes its pass-through branch.
  */
-function buildHavingFilter(input, havingClause, selectContext, aggregateOutputScope, aggregates, groupByExpressions, groupedRedirectContext) {
+function buildHavingFilter(input, havingClause, selectContext, aggregateOutputScope, aggregates, groupByExpressions, groupedCoverageContext, groupedRedirectContext) {
     const aggregateAttributes = input.getAttributes();
     // Create a hybrid scope that first tries the aggregate output scope,
     // then falls back to the original source scope for column resolution.
@@ -854,17 +892,22 @@ function buildHavingFilter(input, havingClause, selectContext, aggregateOutputSc
         })
     };
     const havingExpression = redirectPostAggregate(buildExpression(havingContext, havingClause, true), groupedRedirectContext, hybridScope);
-    // Reject HAVING references to non-grouped, non-aggregated columns.
+    // Reject HAVING references to non-grouped, non-aggregated columns — and ONLY
+    // those. The test is {@link isPreGroupingReference}: true just for a column of
+    // THIS query's pre-grouping input that the grouped row no longer carries. A
+    // column of an ENCLOSING query (a correlated reference from a subquery's HAVING,
+    // legal in SQL exactly as it is in WHERE) belongs to neither set and passes, as
+    // does a subquery's own column. An allow-list of grouping keys is unnecessary
+    // here: `redirectPostAggregate` has already rewritten every spelling of a
+    // grouping key it handles into an AggregateNode-OUTPUT reference, which
+    // `isPreGroupingReference` returns false for.
+    //
     // With GROUP BY: only GROUP BY columns/expressions and aggregates are allowed.
     // Without GROUP BY (implicit single group, only reachable here when aggregates
-    // are present): only aggregates are allowed.
-    // HAVING references resolve through `hybridScope`: GROUP BY columns and
-    // aggregate aliases land on AggregateNode-output attribute IDs, while bare
-    // source columns (registered as a fallback) land on source attribute IDs.
-    // We accept both flavors of "grouped" attribute, plus any subtree whose AST
-    // fingerprint matches a GROUP BY expression.
-    const coverage = buildGroupByCoverage(groupByExpressions, aggregateAttributes.slice(0, groupByExpressions.length + aggregates.length));
-    const ungrouped = findUngroupedColumnRef(havingExpression, coverage);
+    // are present): only aggregates are allowed. Both cases are described by
+    // `groupedCoverageContext`, which is why it is a separate parameter from the
+    // rewrite target above.
+    const ungrouped = findUngroupedPostAggregateRef(havingExpression, groupedCoverageContext, /* skipSubqueries */ true);
     if (ungrouped) {
         throw new QuereusError(`HAVING references non-grouped column '${ungrouped.expression.name}'; ` +
             `HAVING may only reference GROUP BY columns or aggregate expressions`, StatusCode.ERROR, undefined, ungrouped.expression.loc?.start.line, ungrouped.expression.loc?.start.column);