@quereus/quereus 3.2.1 → 4.0.0

package/dist/src/planner/analysis/coverage-prover.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverage-prover.js","sourceRoot":"","sources":["../../../../src/planner/analysis/coverage-prover.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2KG;AAGH,OAAO,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAC1D,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAChF,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAChD,OAAO,EAAE,QAAQ,EAAE,6BAA6B,EAAE,MAAM,uBAAuB,CAAC;AAChF,OAAO,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAC5D,OAAO,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAC5D,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAElD,OAAO,EAAE,mBAAmB,EAAE,MAAM,iCAAiC,CAAC;AAItE,OAAO,EAAE,2BAA2B,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AAEjG,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAC/D,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAC/C,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AA6BxD,MAAM,MAAM,GAAmB,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AAChD,SAAS,SAAS,CAAC,MAA6B;IAC/C,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;AAClC,CAAC;AAED,6EAA6E;AAC7E,MAAM,WAAW,GAAwB,IAAI,GAAG,EAAU,CAAC;AAW3D;;;;;;;;;;;GAWG;AACH,MAAM,YAAY,GAA8B,IAAI,GAAG,CAAC;IACvD,YAAY,CAAC,IAAI;IACjB,YAAY,CAAC,OAAO;IACpB,YAAY,CAAC,QAAQ;IACrB,YAAY,CAAC,KAAK;IAClB,6EAA6E;IAC7E,qEAAqE;IACrE,YAAY,CAAC,YAAY;IACzB,YAAY,CAAC,OAAO;IACpB,YAAY,CAAC,SAAS;IACtB,YAAY,CAAC,SAAS;IACtB,YAAY,CAAC,SAAS;CACtB,CAAC,CAAC;AAEH;;;;;;;GAOG;AACH,MAAM,iBAAiB,GAA8B,IAAI,GAAG,CAAC;IAC5D,YAAY,CAAC,IAAI;IACjB,YAAY,CAAC,cAAc;IAC3B,YAAY,CAAC,QAAQ;IACrB,YAAY,CAAC,SAAS;CACtB,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAC5B,IAAwB,EACxB,EAAyB,EACzB,EAA0B,EAC1B,SAAsB,EACtB,OAA6B,EAAE;IAE/B,MAAM,OAAO,GAAG,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC;IACxC,sEAAsE;IACtE,+EAA+E;IAC/E,yEAAyE;IACzE,8EAA8E;IAC9E,4DAA4D;IAC5D,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS,CAAC,EAAE,CAAC;QAChG,OAAO,SAAS,CAAC,OAAO,CAAC,CAAC;IAC3B,CAAC;IAED,yEAAyE;IACzE,2EAA2E;IAC3E,4EAA4E;IAC5E,8EAA8E;IAC9E,6EAA6E;IAC7E,gFAAgF;IAChF,uEAAuE;IACvE,MAAM,IAAI,GAAG,qBAAqB,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;IAC1D,IAAI,CAAC,IAAI,CAAC,EAAE;QAAE,OAAO,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC5C,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;IAC/B,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;IAE7B,2EAA2E;IAC3E,0EAA0E;IAC1E,0EAA0E;IAC1E,gEAAgE;IAChE,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC;IAChD,QAAQ,CAAC,aAAa,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAE7E,MAAM,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAC;IAClD,IAAI,CAAC,aAAa,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE;QAC7C,MAAM,GAAG,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACvC,IAAI,GAAG,KAAK,SAAS,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,eAAe,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACtF,CAAC,CAAC,CAAC;IAEH,iFAAiF;IACjF,2EAA2E;IAC3E,+EAA+E;IAC/E,gFAAgF;IAChF,gFAAgF;IAChF,oFAAoF;IACpF,6EAA6E;IAC7E,8EAA8E;IAC9E,oFAAoF;IACpF,MAAM,aAAa,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC;IAC7C,MAAM,gBAAgB,GAAG,CAAC,OAAe,EAAW,EAAE;QACrD,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC5C,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC,CAAC,+CAA+C;QACtF,MAAM,OAAO,GAAG,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,aAAa,IAAI,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC;QACtF,MAAM,QAAQ,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,SAAS,IAAI,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC;QACnF,OAAO,OAAO,KAAK,QAAQ,CAAC;IAC7B,CAAC,CAAC;IAEF,KAAK,MAAM,GAAG,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;QAC9B,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,SAAS,CAAC,mBAAmB,CAAC,CAAC;QACrE,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC;YAAE,OAAO,SAAS,CAAC,oBAAoB,CAAC,CAAC;IACpE,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,SAAS,CAAC,oBAAoB,EAAE,CAAC;QACjD,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC,mBAAmB,CAAC,CAAC;QAC1E,IAAI,CAAC,gBAAgB,CAAC,EAAE,CAAC,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC,oBAAoB,CAAC,CAAC;IACzE,CAAC;IAED,+EAA+E;IAC/E,4EAA4E;IAC5E,uEAAuE;IACvE,mCAAmC;IACnC,MAAM,WAAW,GAAG,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,iBAAiB,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC;IAEpG,+EAA+E;IAC/E,4EAA4E;IAC5E,sEAAsE;IACtE,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAG,iBAAiB,CAAC,OAAO,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QACjE,IAAI,CAAC,QAAQ,CAAC,MAAM;YAAE,OAAO,QAAQ,CAAC;IACvC,CAAC;IAED,uEAAuE;IACvE,yEAAyE;IACzE,8EAA8E;IAC9E,2EAA2E;IAC3E,iEAAiE;IACjE,8EAA8E;IAC9E,mFAAmF;IACnF,MAAM,iBAAiB,GAAG,sBAAsB,CAAC,OAAO,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC;IAElF,+EAA+E;IAC/E,4EAA4E;IAC5E,8EAA8E;IAC9E,4EAA4E;IAC5E,gFAAgF;IAChF,MAAM,gBAAgB,GAAG,kBAAkB,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAC;IACxE,IAAI,gBAAgB,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC,mBAAmB,CAAC,CAAC;IAC1E,IAAI,CAAC,aAAa,CAAC,gBAAgB,EAAE,EAAE,CAAC,OAAO,CAAC;QAAE,OAAO,SAAS,CAAC,mBAAmB,CAAC,CAAC;IAExF,8EAA8E;IAC9E,0EAA0E;IAC1E,6EAA6E;IAC7E,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;IACxE,OAAO,uBAAuB,CAAC,SAAS,EAAE,EAAE,EAAE,SAAS,EAAE,iBAAiB,CAAC,CAAC;AAC7E,CAAC;AAWD;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,UAAU,qBAAqB,CACpC,IAAwB,EACxB,SAAsB,EACtB,OAA6B,EAAE;IAE/B,IAAI,QAAwC,CAAC;IAC7C,IAAI,OAAuC,CAAC;IAC5C,IAAI,IAAI,GAAmC,IAAI,CAAC;IAChD,OAAO,IAAI,EAAE,CAAC;QACb,IAAI,IAAI,YAAY,kBAAkB,EAAE,CAAC;YACxC,QAAQ,GAAG,IAAI,CAAC;YAChB,MAAM;QACP,CAAC;QACD,IAAI,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9E,MAAM,IAAI,GAAuB,IAAI,CAAC,aAAa,EAAE,CAAC;YACtD,MAAM,KAAK,GAAuB,IAAI,CAAC,cAAc,EAAE,CAAC;YACxD,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;YACpC,MAAM,QAAQ,GAAG,+BAA+B,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YAClE,MAAM,SAAS,GAAG,+BAA+B,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YACpE,wEAAwE;YACxE,IAAI,QAAQ,KAAK,SAAS;gBAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;YAClE,MAAM,KAAK,GAAuB,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;YAC1D,MAAM,UAAU,GAAuB,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;YAC/D,MAAM,aAAa,GAAG,CAAC,QAAQ,IAAI,QAAQ,KAAK,MAAM,CAAC,IAAI,CAAC,SAAS,IAAI,QAAQ,KAAK,OAAO,CAAC,CAAC;YAC/F,IAAI,CAAC,aAAa,EAAE,CAAC;gBACpB,MAAM,UAAU,GAAG,CAAC,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,OAAO,CAAC;uBAC7D,gCAAgC,CAAC,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,CAAC,cAAc,KAAK,IAAI,CAAC,CAAC;gBACvG,IAAI,CAAC,UAAU;oBAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;YACxD,CAAC;YACD,IAAI,OAAO,KAAK,SAAS;gBAAE,OAAO,GAAG,IAAI,CAAC;YAC1C,IAAI,GAAG,KAAK,CAAC;YACb,SAAS;QACV,CAAC;QACD,IAAI,IAAI,YAAY,UAAU,IAAI,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YACnE,MAAM,SAAS,GAAkC,IAAI,CAAC,YAAY,EAAE,CAAC;YACrE,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;YAClE,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;YACpB,SAAS;QACV,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;IACvC,CAAC;IACD,IAAI,CAAC,QAAQ;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;IACrD,IAAI,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE;WACxE,QAAQ,CAAC,WAAW,CAAC,UAAU,CAAC,WAAW,EAAE,KAAK,SAAS,CAAC,UAAU,CAAC,WAAW,EAAE,EAAE,CAAC;QAC1F,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;IACvC,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;AACxC,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,iBAAiB,CAChC,IAAwB,EACxB,SAAsB,EACtB,OAA6B,EAAE;IAE/B,MAAM,IAAI,GAAG,qBAAqB,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;IAC1D,IAAI,CAAC,IAAI,CAAC,EAAE;QAAE,OAAO,IAAI,CAAC;IAC1B,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QAChC,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;QAC3E,IAAI,CAAC,QAAQ,CAAC,MAAM;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC;IACrE,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,MAAM,UAAU,uBAAuB,CACtC,IAAwB,EACxB,UAA6B;IAE7B,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC;IAClD,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC5B,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,WAAW;YAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC;IACjF,CAAC;IACD,OAAO,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;AAC/F,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,SAAS,uBAAuB,CAC/B,SAAqC,EACrC,EAA0B,EAC1B,SAAsB,EACtB,iBAAsC;IAEtC,yCAAyC;IACzC,MAAM,eAAe,GAAkB,EAAE,CAAC;IAC1C,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC;QAClB,MAAM,SAAS,GAAG,2BAA2B,CAAC,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;QACvE,IAAI,SAAS,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC,sBAAsB,CAAC,CAAC;QACtE,eAAe,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC;IACpC,CAAC;IACD,MAAM,cAAc,GAAG,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,KAAK,IAAI,CAAC,CAAC;IACtF,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;QAChC,eAAe,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;IACrE,CAAC;IAED,6EAA6E;IAC7E,gFAAgF;IAChF,6EAA6E;IAC7E,mFAAmF;IACnF,IAAI,QAAQ,GAAkB,EAAE,CAAC;IACjC,IAAI,SAAS,EAAE,CAAC;QACf,MAAM,OAAO,GAAG,2BAA2B,CAAC,SAAS,EAAE,SAAS,EAAE,iBAAiB,CAAC,CAAC;QACrF,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC3B,OAAO,SAAS,CAAC,EAAE,CAAC,SAAS,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC;QAC9G,CAAC;QACD,QAAQ,GAAG,OAAO,CAAC;IACpB,CAAC;IAED,gFAAgF;IAChF,KAAK,MAAM,EAAE,IAAI,eAAe,EAAE,CAAC;QAClC,IAAI,CAAC,kBAAkB,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YACzC,OAAO,SAAS,CAAC,EAAE,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC;QACtG,CAAC;IACF,CAAC;IAED,8EAA8E;IAC9E,4EAA4E;IAC5E,oDAAoD;IACpD,MAAM,sBAAsB,GAAkB,CAAC,GAAG,eAAe,CAAC,CAAC;IACnE,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;QAC5B,sBAAsB,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5E,CAAC;IACD,IAAI,CAAC,kBAAkB,CAAC,sBAAsB,EAAE,QAAQ,CAAC,EAAE,CAAC;QAC3D,OAAO,SAAS,CAAC,sBAAsB,CAAC,CAAC;IAC1C,CAAC;IAED,OAAO,MAAM,CAAC;AACf,CAAC;AAED;;;;;;GAMG;AACH,SAAS,+BAA+B,CAAC,IAAwB,EAAE,SAAsB;IACxF,IAAI,IAAI,YAAY,kBAAkB,EAAE,CAAC;QACxC,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE;eACvE,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,WAAW,EAAE,KAAK,SAAS,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;IACtF,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,YAAY,EAAE,EAAE,CAAC;QACvC,IAAI,+BAA+B,CAAC,GAAG,EAAE,SAAS,CAAC;YAAE,OAAO,IAAI,CAAC;IAClE,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,SAAS,uBAAuB,CAAC,IAAwB,EAAE,SAAsB;IAChF,IAAI,IAAI,YAAY,kBAAkB,EAAE,CAAC;QACxC,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE;eACvE,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,WAAW,EAAE,KAAK,SAAS,CAAC,UAAU,CAAC,WAAW,EAAE;YACnF,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IACrB,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,YAAY,EAAE,EAAE,CAAC;QACvC,MAAM,KAAK,GAAG,uBAAuB,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;QACtD,IAAI,KAAK;YAAE,OAAO,KAAK,CAAC;IACzB,CAAC;IACD,OAAO,SAAS,CAAC;AAClB,CAAC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,SAAS,uBAAuB,CAAC,IAAwB;IACxD,IAAI,CAAC,GAAuB,IAAI,CAAC;IACjC,SAAS,CAAC;QACT,IAAI,CAAC,YAAY,kBAAkB;YAAE,OAAO,CAAC,CAAC;QAC9C,IAAI,CAAC,YAAY,WAAW,IAAI,CAAC,YAAY,aAAa,EAAE,CAAC;YAC5D,IAAI,CAAC,CAAC,cAAc;gBAAE,OAAO,SAAS,CAAC;YACvC,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;YACb,SAAS;QACV,CAAC;QACD,IAAI,CAAC,YAAY,SAAS,IAAI,CAAC,YAAY,QAAQ,IAAI,CAAC,YAAY,YAAY,EAAE,CAAC;YAClF,MAAM,IAAI,GAAG,CAAC,CAAC,YAAY,EAAE,CAAC;YAC9B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,SAAS,CAAC;YACxC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACZ,SAAS;QACV,CAAC;QACD,OAAO,SAAS,CAAC;IAClB,CAAC;AACF,CAAC;AAED;;;;;;;;;;;GAWG;AACH,SAAS,2BAA2B,CAAC,IAAoB;IACxD,MAAM,KAAK,GAAqB,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3D,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,OAAO,KAAK,CAAC,MAAM,EAAE,CAAC;QACrB,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QACvB,IAAI,CAAC,YAAY,YAAY,EAAE,CAAC;YAC/B,MAAM,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC;YACjC,IAAI,EAAE,KAAK,KAAK,EAAE,CAAC;gBAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;gBAAC,SAAS;YAAC,CAAC;YAC5D,IAAI,EAAE,KAAK,GAAG,IAAI,CAAC,CAAC,IAAI,YAAY,mBAAmB,IAAI,CAAC,CAAC,KAAK,YAAY,mBAAmB,EAAE,CAAC;gBAAC,KAAK,EAAE,CAAC;gBAAC,SAAS;YAAC,CAAC;QAC1H,CAAC;QACD,OAAO,SAAS,CAAC;IAClB,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,qBAAqB,CAAC,IAAwB;IAC7D,IAAI,IAAI,YAAY,aAAa,IAAI,IAAI,YAAY,aAAa,EAAE,CAAC;QACpE,OAAO,IAAI,CAAC,iBAAiB,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;IAC1E,CAAC;IACD,IAAI,IAAI,YAAY,QAAQ,EAAE,CAAC;QAC9B,IAAI,CAAC,IAAI,CAAC,SAAS;YAAE,OAAO,EAAE,CAAC;QAC/B,MAAM,aAAa,GAAG,2BAA2B,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAClE,IAAI,aAAa,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAClD,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;QAC5C,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC;QAC9C,MAAM,KAAK,GAAG,6BAA6B,CAAC,IAAI,CAAC,SAAS,EAAE,SAAS,EAAE,UAAU,CAAC;aAChF,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,WAAW,EAAE,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QACxF,yEAAyE;QACzE,kEAAkE;QAClE,IAAI,KAAK,CAAC,MAAM,KAAK,aAAa;YAAE,OAAO,SAAS,CAAC;QACrD,OAAO,KAAK,CAAC;IACd,CAAC;IACD,OAAO,SAAS,CAAC;AAClB,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,SAAS,gCAAgC,CACxC,IAAwB,EACxB,KAAyB,EACzB,UAA8B,EAC9B,SAAsB,EACtB,cAAc,GAAG,KAAK;IAEtB,MAAM,SAAS,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IAC9C,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAEvD,8EAA8E;IAC9E,yEAAyE;IACzE,gFAAgF;IAChF,+EAA+E;IAC/E,0EAA0E;IAC1E,gFAAgF;IAChF,8EAA8E;IAC9E,gFAAgF;IAChF,0CAA0C;IAC1C,MAAM,SAAS,GAAG,uBAAuB,CAAC,UAAU,CAAC,CAAC;IACtD,IAAI,CAAC,SAAS;QAAE,OAAO,KAAK,CAAC;IAE7B,2EAA2E;IAC3E,0EAA0E;IAC1E,+EAA+E;IAC/E,kDAAkD;IAClD,IAAI,CAAC,cAAc,IAAI,mBAAmB,CAAC,SAAS,EAAE,KAAK,EAAE,SAAS,CAAC;QAAE,OAAO,IAAI,CAAC;IAErF,4EAA4E;IAC5E,yBAAyB;IACzB,MAAM,IAAI,GAAG,uBAAuB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACvD,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IAExB,wDAAwD;IACxD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC7C,IAAI,CAAC,aAAa,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAChE,MAAM,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAC;IAClD,SAAS,CAAC,aAAa,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAE1E,+EAA+E;IAC/E,+EAA+E;IAC/E,0BAA0B;IAC1B,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC3B,IAAI,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QACzC,IAAI,KAAK,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;QAC/C,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YAChD,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;YACtC,KAAK,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QAC3C,CAAC;QACD,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QAC7D,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnB,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpB,CAAC;IAED,MAAM,KAAK,GAAG,gBAAgB,CAAC,SAAS,EAAE,SAAS,CAAC,WAAW,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IACjF,OAAO,KAAK,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC;AAC/C,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,SAAS,mBAAmB,CAC3B,SAAkC,EAClC,KAAyB,EACzB,SAA6B;IAE7B,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC;IAClC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAE7C,4EAA4E;IAC5E,+EAA+E;IAC/E,gFAAgF;IAChF,MAAM,cAAc,GAAG,IAAI,GAAG,EAAkB,CAAC;IACjD,KAAK,CAAC,aAAa,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IACrE,MAAM,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAC;IAClD,SAAS,CAAC,aAAa,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAE1E,MAAM,SAAS,GAA4B,EAAE,CAAC;IAC9C,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC3B,IAAI,IAAI,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QAC5C,IAAI,IAAI,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;QAC9C,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YAC9C,IAAI,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;YACzC,IAAI,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QAC1C,CAAC;QACD,0EAA0E;QAC1E,gFAAgF;QAChF,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QAC3D,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IAC9B,CAAC;IAED,MAAM,YAAY,GAAG,SAAS,CAAC,WAAW,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;IACpE,MAAM,WAAW,GAAG,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;IAE7D,6EAA6E;IAC7E,2EAA2E;IAC3E,4EAA4E;IAC5E,iFAAiF;IACjF,iFAAiF;IACjF,yDAAyD;IACzD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACxB,IAAI,GAAG,CAAC,aAAa;YAAE,SAAS;QAChC,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO;YAAE,SAAS;QAC1C,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,KAAK,YAAY;YAAE,SAAS;QAC/D,IAAI,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,WAAW;YAAE,SAAS;QAC7D,IAAI,sBAAsB,CAAC,GAAG,EAAE,SAAS,CAAC;YAAE,OAAO,IAAI,CAAC;IACzD,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,sBAAsB,CAAC,GAAwB,EAAE,SAAmD;IAC5G,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IACvD,IAAI,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IACnE,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,MAAM,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC1D,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC,CAAC,yCAAyC;IAC5F,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,SAAS,EAAE,CAAC;QACtC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC;YAAE,OAAO,KAAK,CAAC;IAClD,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC;AAED;;;;;GAKG;AACH,SAAS,iBAAiB,CACzB,OAA2B,EAC3B,aAA0C;IAE1C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC;QAC5C,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;IACrE,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,iBAAiB,CAChC,OAA2B,EAC3B,QAA4B,EAC5B,SAAsB;IAEtB,MAAM,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAC;IAClD,OAAO,CAAC,aAAa,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IACxE,MAAM,MAAM,GAAG,QAAQ,CAAC,aAAa,EAAE,CAAC;IACxC,MAAM,aAAa,GAAa,EAAE,CAAC;IACnC,KAAK,MAAM,EAAE,IAAI,SAAS,CAAC,oBAAoB,EAAE,CAAC;QACjD,MAAM,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;QACpC,MAAM,OAAO,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC/E,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC,QAAQ,CAAC,CAAC;QACtD,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC7B,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;QAAE,OAAO,SAAS,CAAC,QAAQ,CAAC,CAAC;IAElE,OAAO,MAAM,CAAC;AACf,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,SAAS,sBAAsB,CAC9B,SAAwB,EACxB,SAAsB,EACtB,WAAgC;IAEhC,MAAM,WAAW,GAAG,0BAA0B,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;IACrE,MAAM,UAAU,GAAG,SAAS,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;IACtD,OAAO,CAAC,IAAI,EAAE,EAAE;QACf,MAAM,GAAG,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,GAAG,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QACxC,IAAI,GAAG,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YACjC,uEAAuE;YACvE,2EAA2E;YAC3E,oDAAoD;YACpD,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,GAAG,CAAC,MAAM,KAAK,UAAU;gBAAE,OAAO,SAAS,CAAC;YAC5E,OAAO,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC5F,CAAC;QACD,IAAI,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,SAAS,CAAC;QAChD,OAAO,SAAS,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,SAAS,cAAc,CAAC,IAAoB;IAC3C,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAsB,CAAC;QACjC,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,WAAW,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC,KAAK,EAAE,WAAW,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;IAC3G,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAChC,MAAM,EAAE,GAAG,IAA0B,CAAC;QACtC,IAAI,EAAE,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAChC,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;IACxC,CAAC;IACD,OAAO,SAAS,CAAC;AAClB,CAAC;AAED;;;;;;GAMG;AACH,SAAS,0BAA0B,CAAC,SAAwB,EAAE,SAAsB;IACnF,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,SAAS,CAAC,IAAI;QAAE,OAAO,GAAG,CAAC;IAC/D,MAAM,KAAK,GAAqB,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IACpD,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QACvB,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACvB,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;YAC5B,SAAS;QACV,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACxB,MAAM,EAAE,GAAG,CAAoB,CAAC;YAChC,MAAM,QAAQ,GAAG,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE;mBACzE,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,EAAE,KAAK,SAAS,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC,CAAC;YAC5G,IAAI,QAAQ;gBAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;QAClE,CAAC;IACF,CAAC;IACD,OAAO,GAAG,CAAC;AACZ,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,kBAAkB,CAAC,SAAwB,EAAE,OAA4B;IACjF,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAClD,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC;IAClC,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACvD,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,GAAG,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QACxC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC;AAED,2FAA2F;AAC3F,SAAS,aAAa,CAAC,CAAwB,EAAE,CAAwB;IACxE,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IACxC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC;IACxB,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC;IACxB,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC,CAAC,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IACnE,KAAK,MAAM,CAAC,IAAI,IAAI;QAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;IACrD,OAAO,IAAI,CAAC;AACb,CAAC"}

package/dist/src/planner/analysis/key-filter.d.ts

@@ -0,0 +1,22 @@
+/**
+ * Residual key-filter injection.
+ *
+ * Shared machinery for delta-driven consumers (assertions, materialized views)
+ * that compile a *residual* plan: the original body with a key-equality filter
+ * injected onto one `TableReferenceNode`, parameterized by `pk0..`/`gk0..`. The
+ * consumer then binds one changed binding tuple per run and executes the residual
+ * to evaluate/maintain only the affected slice.
+ *
+ * Extracted verbatim from the assertion evaluator so assertions and MVs cannot
+ * drift. See `database-assertions.ts` and `database-materialized-views.ts`.
+ */
+import { BlockNode } from '../nodes/block.js';
+/**
+ * Inject a key-equality filter onto the `TableReferenceNode` matching
+ * `targetRelationKey`. Used for both `'row'` (with PK columns + `'pk'` prefix)
+ * and `'group'` (with group-key columns + `'gk'` prefix) bindings. Returns the
+ * rewritten block (or the original block unchanged if the target reference was
+ * not found — the caller treats that as "no residual available").
+ */
+export declare function injectKeyFilter(block: BlockNode, targetRelationKey: string, keyColumns: readonly number[], paramPrefix: 'pk' | 'gk'): BlockNode;
+//# sourceMappingURL=key-filter.d.ts.map

package/dist/src/planner/analysis/key-filter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"key-filter.d.ts","sourceRoot":"","sources":["../../../../src/planner/analysis/key-filter.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH,OAAO,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAM9C;;;;;;GAMG;AACH,wBAAgB,eAAe,CAC9B,KAAK,EAAE,SAAS,EAChB,iBAAiB,EAAE,MAAM,EACzB,UAAU,EAAE,SAAS,MAAM,EAAE,EAC7B,WAAW,EAAE,IAAI,GAAG,IAAI,GACtB,SAAS,CAMX"}

package/dist/src/planner/analysis/key-filter.js

@@ -0,0 +1,105 @@
+/**
+ * Residual key-filter injection.
+ *
+ * Shared machinery for delta-driven consumers (assertions, materialized views)
+ * that compile a *residual* plan: the original body with a key-equality filter
+ * injected onto one `TableReferenceNode`, parameterized by `pk0..`/`gk0..`. The
+ * consumer then binds one changed binding tuple per run and executes the residual
+ * to evaluate/maintain only the affected slice.
+ *
+ * Extracted verbatim from the assertion evaluator so assertions and MVs cannot
+ * drift. See `database-assertions.ts` and `database-materialized-views.ts`.
+ */
+import { BlockNode } from '../nodes/block.js';
+import { FilterNode } from '../nodes/filter.js';
+import { BinaryOpNode, UnaryOpNode } from '../nodes/scalar.js';
+import { ParameterReferenceNode, ColumnReferenceNode, TableReferenceNode } from '../nodes/reference.js';
+/**
+ * Inject a key-equality filter onto the `TableReferenceNode` matching
+ * `targetRelationKey`. Used for both `'row'` (with PK columns + `'pk'` prefix)
+ * and `'group'` (with group-key columns + `'gk'` prefix) bindings. Returns the
+ * rewritten block (or the original block unchanged if the target reference was
+ * not found — the caller treats that as "no residual available").
+ */
+export function injectKeyFilter(block, targetRelationKey, keyColumns, paramPrefix) {
+    const newStatements = block.getChildren().map(stmt => rewriteForKeyFilter(stmt, targetRelationKey, keyColumns, paramPrefix));
+    if (newStatements.every((s, i) => s === block.getChildren()[i]))
+        return block;
+    return new BlockNode(block.scope, newStatements, block.parameters);
+}
+function rewriteForKeyFilter(node, targetRelationKey, keyColumns, paramPrefix) {
+    const maybe = tryWrapTableReference(node, targetRelationKey, keyColumns, paramPrefix);
+    if (maybe)
+        return maybe;
+    const originalChildren = node.getChildren();
+    if (!originalChildren || originalChildren.length === 0)
+        return node;
+    const rewrittenChildren = originalChildren.map(child => rewriteForKeyFilter(child, targetRelationKey, keyColumns, paramPrefix));
+    const changed = rewrittenChildren.some((c, i) => c !== originalChildren[i]);
+    return changed ? node.withChildren(rewrittenChildren) : node;
+}
+function tryWrapTableReference(node, targetRelationKey, keyColumns, paramPrefix) {
+    if (!(node instanceof TableReferenceNode))
+        return null;
+    const tableSchema = node.tableSchema;
+    const schemaName = tableSchema.schemaName;
+    const tableName = tableSchema.name;
+    const relName = `${schemaName}.${tableName}`.toLowerCase();
+    const relKey = `${relName}#${node.id ?? 'unknown'}`;
+    if (relKey !== targetRelationKey)
+        return null;
+    const relational = node;
+    const scope = relational.scope;
+    const attributes = relational.getAttributes();
+    const makeColumnRef = (colIndex) => {
+        const attr = attributes[colIndex];
+        const expr = { type: 'column', name: attr.name, table: tableName, schema: schemaName };
+        return new ColumnReferenceNode(scope, expr, attr.type, attr.id, colIndex);
+    };
+    const makeParamRef = (i, type) => {
+        const name = `${paramPrefix}${i}`;
+        const pexpr = { type: 'parameter', name };
+        return new ParameterReferenceNode(scope, pexpr, name, type);
+    };
+    // Per-column NULL safety: `col = :param` evaluates UNKNOWN when either
+    // side is NULL, so a residual built from plain equalities would silently
+    // skip change tuples whose key columns are NULL and miss real rows.
+    // For each nullable key column emit the NULL-safe form:
+    //   (col IS NULL AND :prefix_i IS NULL) OR col = :prefix_i
+    // For NOT NULL columns (typically PK columns on the 'row' path) keep
+    // the simpler `col = :prefix_i` form to avoid disjunctive predicates
+    // that could regress index-driven access.
+    let predicate = null;
+    for (let i = 0; i < keyColumns.length; i++) {
+        const colIdx = keyColumns[i];
+        const colNullable = attributes[colIdx].type.nullable === true;
+        const left = makeColumnRef(colIdx);
+        const right = makeParamRef(i, attributes[colIdx].type);
+        const eqAst = { type: 'binary', operator: '=', left: left.expression, right: right.expression };
+        const eqNode = new BinaryOpNode(scope, eqAst, left, right);
+        let conjunct = eqNode;
+        if (colNullable) {
+            const leftForNullCheck = makeColumnRef(colIdx);
+            const rightForNullCheck = makeParamRef(i, attributes[colIdx].type);
+            const leftIsNullAst = { type: 'unary', operator: 'IS NULL', expr: leftForNullCheck.expression };
+            const rightIsNullAst = { type: 'unary', operator: 'IS NULL', expr: rightForNullCheck.expression };
+            const leftIsNull = new UnaryOpNode(scope, leftIsNullAst, leftForNullCheck);
+            const rightIsNull = new UnaryOpNode(scope, rightIsNullAst, rightForNullCheck);
+            const bothNullAst = { type: 'binary', operator: 'AND', left: leftIsNull.expression, right: rightIsNull.expression };
+            const bothNull = new BinaryOpNode(scope, bothNullAst, leftIsNull, rightIsNull);
+            const orAst = { type: 'binary', operator: 'OR', left: bothNull.expression, right: eqNode.expression };
+            conjunct = new BinaryOpNode(scope, orAst, bothNull, eqNode);
+        }
+        predicate = predicate
+            ? new BinaryOpNode(scope, { type: 'binary', operator: 'AND', left: predicate.expression, right: conjunct.expression }, predicate, conjunct)
+            : conjunct;
+    }
+    // No predicate built ⇒ `keyColumns` was empty (a ≤1-row 'row' binding).
+    // Leave the TableReferenceNode unwrapped: scanning the ≤1-row table whole
+    // is exactly the seek. (The delta executor also demotes such bindings to a
+    // global re-evaluation, so this residual is normally never dispatched.)
+    if (!predicate)
+        return null;
+    return new FilterNode(scope, relational, predicate);
+}
+//# sourceMappingURL=key-filter.js.map

package/dist/src/planner/analysis/key-filter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"key-filter.js","sourceRoot":"","sources":["../../../../src/planner/analysis/key-filter.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH,OAAO,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAE9C,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAChD,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAC/D,OAAO,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAExG;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAC9B,KAAgB,EAChB,iBAAyB,EACzB,UAA6B,EAC7B,WAAwB;IAExB,MAAM,aAAa,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CACpD,mBAAmB,CAAC,IAAI,EAAE,iBAAiB,EAAE,UAAU,EAAE,WAAW,CAAC,CACrE,CAAC;IACF,IAAI,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9E,OAAO,IAAI,SAAS,CAAC,KAAK,CAAC,KAAK,EAAE,aAAa,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;AACpE,CAAC;AAED,SAAS,mBAAmB,CAC3B,IAAc,EACd,iBAAyB,EACzB,UAA6B,EAC7B,WAAwB;IAExB,MAAM,KAAK,GAAG,qBAAqB,CAAC,IAAI,EAAE,iBAAiB,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;IACtF,IAAI,KAAK;QAAE,OAAO,KAAK,CAAC;IAExB,MAAM,gBAAgB,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IAC5C,IAAI,CAAC,gBAAgB,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAEpE,MAAM,iBAAiB,GAAG,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CACtD,mBAAmB,CAAC,KAAK,EAAE,iBAAiB,EAAE,UAAU,EAAE,WAAW,CAAC,CACtE,CAAC;IACF,MAAM,OAAO,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5E,OAAO,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC9D,CAAC;AAED,SAAS,qBAAqB,CAC7B,IAAc,EACd,iBAAyB,EACzB,UAA6B,EAC7B,WAAwB;IAExB,IAAI,CAAC,CAAC,IAAI,YAAY,kBAAkB,CAAC;QAAE,OAAO,IAAI,CAAC;IAEvD,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC;IACrC,MAAM,UAAU,GAAG,WAAW,CAAC,UAAU,CAAC;IAC1C,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC;IACnC,MAAM,OAAO,GAAG,GAAG,UAAU,IAAI,SAAS,EAAE,CAAC,WAAW,EAAE,CAAC;IAC3D,MAAM,MAAM,GAAG,GAAG,OAAO,IAAI,IAAI,CAAC,EAAE,IAAI,SAAS,EAAE,CAAC;IAEpD,IAAI,MAAM,KAAK,iBAAiB;QAAE,OAAO,IAAI,CAAC;IAE9C,MAAM,UAAU,GAAG,IAA0B,CAAC;IAC9C,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC;IAC/B,MAAM,UAAU,GAAG,UAAU,CAAC,aAAa,EAAE,CAAC;IAE9C,MAAM,aAAa,GAAG,CAAC,QAAgB,EAAkB,EAAE;QAC1D,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;QAClC,MAAM,IAAI,GAAmB,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;QACvG,OAAO,IAAI,mBAAmB,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;IAC3E,CAAC,CAAC;IAEF,MAAM,YAAY,GAAG,CAAC,CAAS,EAAE,IAAgB,EAAkB,EAAE;QACpE,MAAM,IAAI,GAAG,GAAG,WAAW,GAAG,CAAC,EAAE,CAAC;QAClC,MAAM,KAAK,GAAsB,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;QAC7D,OAAO,IAAI,sBAAsB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC7D,CAAC,CAAC;IAEF,uEAAuE;IACvE,yEAAyE;IACzE,oEAAoE;IACpE,wDAAwD;IACxD,2DAA2D;IAC3D,qEAAqE;IACrE,qEAAqE;IACrE,0CAA0C;IAC1C,IAAI,SAAS,GAA0B,IAAI,CAAC;IAC5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5C,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAC7B,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC;QAC9D,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;QACnC,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC;QACvD,MAAM,KAAK,GAAmB,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,UAAU,EAAE,KAAK,EAAE,KAAK,CAAC,UAAU,EAAE,CAAC;QAChH,MAAM,MAAM,GAAG,IAAI,YAAY,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QAC3D,IAAI,QAAQ,GAAmB,MAAM,CAAC;QACtC,IAAI,WAAW,EAAE,CAAC;YACjB,MAAM,gBAAgB,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;YAC/C,MAAM,iBAAiB,GAAG,YAAY,CAAC,CAAC,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC;YACnE,MAAM,aAAa,GAAkB,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,gBAAgB,CAAC,UAAU,EAAE,CAAC;YAC/G,MAAM,cAAc,GAAkB,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,iBAAiB,CAAC,UAAU,EAAE,CAAC;YACjH,MAAM,UAAU,GAAG,IAAI,WAAW,CAAC,KAAK,EAAE,aAAa,EAAE,gBAAgB,CAAC,CAAC;YAC3E,MAAM,WAAW,GAAG,IAAI,WAAW,CAAC,KAAK,EAAE,cAAc,EAAE,iBAAiB,CAAC,CAAC;YAC9E,MAAM,WAAW,GAAmB,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,CAAC,UAAU,EAAE,KAAK,EAAE,WAAW,CAAC,UAAU,EAAE,CAAC;YACpI,MAAM,QAAQ,GAAG,IAAI,YAAY,CAAC,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;YAC/E,MAAM,KAAK,GAAmB,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,UAAU,EAAE,KAAK,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC;YACtH,QAAQ,GAAG,IAAI,YAAY,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;QAC7D,CAAC;QACD,SAAS,GAAG,SAAS;YACpB,CAAC,CAAC,IAAI,YAAY,CACjB,KAAK,EACL,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,CAAC,UAAU,EAAE,KAAK,EAAE,QAAQ,CAAC,UAAU,EAAE,EAC3F,SAAS,EACT,QAAQ,CACR;YACD,CAAC,CAAC,QAAQ,CAAC;IACb,CAAC;IAED,wEAAwE;IACxE,0EAA0E;IAC1E,2EAA2E;IAC3E,wEAAwE;IACxE,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IAE5B,OAAO,IAAI,UAAU,CAAC,KAAK,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC;AACrD,CAAC"}

package/dist/src/planner/analysis/partial-unique-extraction.d.ts

@@ -61,8 +61,43 @@
  *   - symbolic/parameter range bounds (`age >= ?`)
  *   - per-column collation-aware text bound comparison
  */
-import type { FunctionalDependency } from '../nodes/plan-node.js';
+import type { FunctionalDependency, GuardClause } from '../nodes/plan-node.js';
 import type { TableSchema } from '../../schema/table.js';
+import type * as AST from '../../parser/ast.js';
+import { type ColumnIndexResolver } from './predicate-shape.js';
 export declare function getPartialUniqueGuardedFds(tableSchema: TableSchema): ReadonlyArray<FunctionalDependency>;
 export declare function extractPartialUniqueGuardedFds(tableSchema: TableSchema): FunctionalDependency[];
+/**
+ * Side-effect-free wrapper over {@link recognizeGuardClauses}, decomposing a
+ * conjunctive predicate AST into the shared {@link GuardClause} vocabulary using
+ * a table schema for column resolution and NOT-NULL / numeric gating. Returns
+ * `undefined` if any conjunct is unrecognized (so the caller must treat the
+ * whole predicate as opaque — never a partial recognition).
+ *
+ * Reuses the partial-UNIQUE recognizers verbatim — NO new predicate shapes — so
+ * the coverage prover (`coverage-prover.ts`) speaks exactly the same predicate
+ * language as partial-UNIQUE FD extraction.
+ *
+ * `resolve` overrides how column references map to `tableSchema` column indices
+ * (the NOT-NULL / numeric gates still key off `tableSchema`, which is sound: only
+ * indices the resolver yields are gated). Default is bare-name resolution against
+ * `tableSchema.columnIndexMap`. The coverage prover passes a qualifier-aware
+ * resolver for join-body WHERE clauses so a lookup-side column resolves to
+ * `undefined` (⇒ the whole predicate is unrecognized ⇒ a sound rejection)
+ * instead of mis-resolving onto a same-named base-table column.
+ */
+export declare function recognizeConjunctiveClauses(expr: AST.Expression, tableSchema: TableSchema, resolve?: ColumnIndexResolver): GuardClause[] | undefined;
+/**
+ * Sound, conservative entailment over guard-clause conjunctions: returns true
+ * when the conjunction `a` entails the conjunction `b` — i.e. every clause of
+ * `b` is entailed by some clause of `a`. A clause-set superset trivially entails
+ * any subset; range clauses additionally entail wider ranges on the same column,
+ * and an `is-null{negated:true}` target is entailed by any clause that pins the
+ * column to a non-NULL value (`eq-literal` / `range` / `eq-column` / a matching
+ * `is-null{negated:true}`, or an `or-of` whose every branch forces non-null).
+ *
+ * Conservative by design: a false result is always safe (it only blocks a
+ * coverage claim), so unrecognized entailments collapse to "not entailed".
+ */
+export declare function guardClausesEntail(a: ReadonlyArray<GuardClause>, b: ReadonlyArray<GuardClause>): boolean;
 //# sourceMappingURL=partial-unique-extraction.d.ts.map

package/dist/src/planner/analysis/partial-unique-extraction.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"partial-unique-extraction.d.ts","sourceRoot":"","sources":["../../../../src/planner/analysis/partial-unique-extraction.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8DG;AAEH,OAAO,KAAK,EAAE,oBAAoB,EAA+B,MAAM,uBAAuB,CAAC;AAC/F,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAMzD,wBAAgB,0BAA0B,CACzC,WAAW,EAAE,WAAW,GACtB,aAAa,CAAC,oBAAoB,CAAC,CAOrC;AAED,wBAAgB,8BAA8B,CAC7C,WAAW,EAAE,WAAW,GACtB,oBAAoB,EAAE,CA8CxB"}
+{"version":3,"file":"partial-unique-extraction.d.ts","sourceRoot":"","sources":["../../../../src/planner/analysis/partial-unique-extraction.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8DG;AAEH,OAAO,KAAK,EAAE,oBAAoB,EAAE,WAAW,EAAkB,MAAM,uBAAuB,CAAC;AAC/F,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,KAAK,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAChD,OAAO,EAAyE,KAAK,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAKvI,wBAAgB,0BAA0B,CACzC,WAAW,EAAE,WAAW,GACtB,aAAa,CAAC,oBAAoB,CAAC,CAOrC;AAED,wBAAgB,8BAA8B,CAC7C,WAAW,EAAE,WAAW,GACtB,oBAAoB,EAAE,CAqDxB;AAqCD;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,2BAA2B,CAC1C,IAAI,EAAE,GAAG,CAAC,UAAU,EACpB,WAAW,EAAE,WAAW,EACxB,OAAO,CAAC,EAAE,mBAAmB,GAC3B,WAAW,EAAE,GAAG,SAAS,CAO3B;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,kBAAkB,CACjC,CAAC,EAAE,aAAa,CAAC,WAAW,CAAC,EAC7B,CAAC,EAAE,aAAa,CAAC,WAAW,CAAC,GAC3B,OAAO,CAET"}

package/dist/src/planner/analysis/partial-unique-extraction.js

@@ -62,6 +62,7 @@
  *   - per-column collation-aware text bound comparison
  */
 import { columnIndexFromExpr, flattenDisjunction, flipComparison, literalValue } from './predicate-shape.js';
+import { compareSqlValues } from '../../util/comparison.js';
 const cache = new WeakMap();
 export function getPartialUniqueGuardedFds(tableSchema) {
     let cached = cache.get(tableSchema);
@@ -79,10 +80,13 @@ export function extractPartialUniqueGuardedFds(tableSchema) {
     const colCount = tableSchema.columns.length;
     const isColumnNotNullDeclared = (col) => tableSchema.columns[col]?.notNull === true;
     const isColumnNumericDeclared = (col) => tableSchema.columns[col]?.logicalType?.isNumeric === true;
+    // Partial-index predicates are single-table (no joins / qualifiers), so plain
+    // bare-name resolution against this table's column map is faithful.
+    const resolve = (e) => columnIndexFromExpr(e, tableSchema.columnIndexMap);
     for (const uc of ucs) {
         if (uc.predicate === undefined)
             continue;
-        const clauses = recognizeGuardClauses(uc.predicate, tableSchema.columnIndexMap, isColumnNotNullDeclared, isColumnNumericDeclared);
+        const clauses = recognizeGuardClauses(uc.predicate, resolve, isColumnNotNullDeclared, isColumnNumericDeclared);
         if (!clauses)
             continue;
         if (clauses.length === 0)
@@ -109,7 +113,10 @@ export function extractPartialUniqueGuardedFds(tableSchema) {
         if (dep.length === 0)
             continue;
         const guard = { clauses };
-        out.push({ determinants: det, dependents: dep, guard });
+        // 'unique' within the guard's scope: a partial UNIQUE index guarantees at
+        // most one row per determinant tuple among rows satisfying the predicate —
+        // precisely the guarded-'unique' semantics on FunctionalDependency.kind.
+        out.push({ determinants: det, dependents: dep, guard, kind: 'unique' });
     }
     return out;
 }
@@ -120,7 +127,7 @@ export function extractPartialUniqueGuardedFds(tableSchema) {
  * `GuardClause` — the entire FD must be skipped in that case. Returns `[]`
  * only for trivially empty inputs (which the caller treats as "no FD").
  */
-function recognizeGuardClauses(expr, columnIndexMap, isColumnNotNullDeclared, isColumnNumericDeclared) {
+function recognizeGuardClauses(expr, resolve, isColumnNotNullDeclared, isColumnNumericDeclared) {
     const conjuncts = [];
     const stack = [expr];
     while (stack.length > 0) {
@@ -135,13 +142,132 @@ function recognizeGuardClauses(expr, columnIndexMap, isColumnNotNullDeclared, is
     }
     const clauses = [];
     for (const conjunct of conjuncts) {
-        const clause = recognizeClause(conjunct, columnIndexMap, isColumnNotNullDeclared, isColumnNumericDeclared);
+        const clause = recognizeClause(conjunct, resolve, isColumnNotNullDeclared, isColumnNumericDeclared);
         if (!clause)
             return undefined;
         clauses.push(clause);
     }
     return clauses;
 }
+/**
+ * Side-effect-free wrapper over {@link recognizeGuardClauses}, decomposing a
+ * conjunctive predicate AST into the shared {@link GuardClause} vocabulary using
+ * a table schema for column resolution and NOT-NULL / numeric gating. Returns
+ * `undefined` if any conjunct is unrecognized (so the caller must treat the
+ * whole predicate as opaque — never a partial recognition).
+ *
+ * Reuses the partial-UNIQUE recognizers verbatim — NO new predicate shapes — so
+ * the coverage prover (`coverage-prover.ts`) speaks exactly the same predicate
+ * language as partial-UNIQUE FD extraction.
+ *
+ * `resolve` overrides how column references map to `tableSchema` column indices
+ * (the NOT-NULL / numeric gates still key off `tableSchema`, which is sound: only
+ * indices the resolver yields are gated). Default is bare-name resolution against
+ * `tableSchema.columnIndexMap`. The coverage prover passes a qualifier-aware
+ * resolver for join-body WHERE clauses so a lookup-side column resolves to
+ * `undefined` (⇒ the whole predicate is unrecognized ⇒ a sound rejection)
+ * instead of mis-resolving onto a same-named base-table column.
+ */
+export function recognizeConjunctiveClauses(expr, tableSchema, resolve) {
+    const isColumnNotNullDeclared = (col) => tableSchema.columns[col]?.notNull === true;
+    const isColumnNumericDeclared = (col) => tableSchema.columns[col]?.logicalType?.isNumeric === true;
+    const resolver = resolve ?? ((e) => columnIndexFromExpr(e, tableSchema.columnIndexMap));
+    return recognizeGuardClauses(expr, resolver, isColumnNotNullDeclared, isColumnNumericDeclared);
+}
+/**
+ * Sound, conservative entailment over guard-clause conjunctions: returns true
+ * when the conjunction `a` entails the conjunction `b` — i.e. every clause of
+ * `b` is entailed by some clause of `a`. A clause-set superset trivially entails
+ * any subset; range clauses additionally entail wider ranges on the same column,
+ * and an `is-null{negated:true}` target is entailed by any clause that pins the
+ * column to a non-NULL value (`eq-literal` / `range` / `eq-column` / a matching
+ * `is-null{negated:true}`, or an `or-of` whose every branch forces non-null).
+ *
+ * Conservative by design: a false result is always safe (it only blocks a
+ * coverage claim), so unrecognized entailments collapse to "not entailed".
+ */
+export function guardClausesEntail(a, b) {
+    return b.every(target => a.some(source => clauseEntails(source, target)));
+}
+/** True when single clause `a` entails single clause `b`. */
+function clauseEntails(a, b) {
+    // `b` requires the column be non-NULL: satisfied by anything that pins it.
+    if (b.kind === 'is-null' && b.negated === true) {
+        return clauseForcesColumnNonNull(a, b.column);
+    }
+    if (clausesEqual(a, b))
+        return true;
+    if (a.kind === 'range' && b.kind === 'range' && a.column === b.column) {
+        return rangeSubset(a, b);
+    }
+    return false;
+}
+/** True when clause `a` guarantees `column` is non-NULL on every matching row. */
+function clauseForcesColumnNonNull(a, column) {
+    switch (a.kind) {
+        case 'is-null': return a.negated === true && a.column === column;
+        case 'eq-literal': return a.column === column && a.value !== null;
+        case 'range': return a.column === column; // any comparison bound excludes NULL
+        case 'eq-column': return a.left === column || a.right === column; // equality excludes NULL on both sides
+        case 'or-of': return a.clauses.length > 0 && a.clauses.every(c => clauseForcesColumnNonNull(c, column));
+        default: return false;
+    }
+}
+/** Structural equality of two guard clauses (SqlValue compared via {@link compareSqlValues}). */
+function clausesEqual(a, b) {
+    if (a.kind !== b.kind)
+        return false;
+    switch (a.kind) {
+        case 'eq-literal':
+            return b.kind === 'eq-literal' && a.column === b.column && compareSqlValues(a.value, b.value) === 0;
+        case 'eq-column':
+            return b.kind === 'eq-column'
+                && ((a.left === b.left && a.right === b.right) || (a.left === b.right && a.right === b.left));
+        case 'is-null':
+            return b.kind === 'is-null' && a.column === b.column && a.negated === b.negated;
+        case 'range':
+            return b.kind === 'range' && a.column === b.column
+                && boundsEqual(a.min, b.min) && boundsEqual(a.max, b.max)
+                && a.minInclusive === b.minInclusive && a.maxInclusive === b.maxInclusive;
+        case 'or-of':
+            return b.kind === 'or-of'
+                && a.clauses.length === b.clauses.length
+                && a.clauses.every(ca => b.clauses.some(cb => clausesEqual(ca, cb)));
+        default:
+            return false;
+    }
+}
+function boundsEqual(a, b) {
+    if (a === undefined || a === null)
+        return b === undefined || b === null;
+    if (b === undefined || b === null)
+        return false;
+    return compareSqlValues(a, b) === 0;
+}
+/** True when range `a`'s allowed value set is a subset of range `b`'s (same column assumed). */
+function rangeSubset(a, b) {
+    // Lower side: b bounds below ⇒ a must bound at least as high.
+    if (b.min !== undefined && b.min !== null) {
+        if (a.min === undefined || a.min === null)
+            return false;
+        const c = compareSqlValues(a.min, b.min);
+        if (c < 0)
+            return false;
+        if (c === 0 && a.minInclusive && !b.minInclusive)
+            return false;
+    }
+    // Upper side: b bounds above ⇒ a must bound at least as low.
+    if (b.max !== undefined && b.max !== null) {
+        if (a.max === undefined || a.max === null)
+            return false;
+        const c = compareSqlValues(a.max, b.max);
+        if (c > 0)
+            return false;
+        if (c === 0 && a.maxInclusive && !b.maxInclusive)
+            return false;
+    }
+    return true;
+}
 /**
  * Recognize one conjunct (or disjunct, when called recursively from
  * `recognizeOr`) as a guard clause.
@@ -176,17 +302,17 @@ function recognizeGuardClauses(expr, columnIndexMap, isColumnNotNullDeclared, is
  * integer 0, so the rewrite would falsely activate the FD for rows the
  * runtime UC never excluded.
  */
-function recognizeClause(expr, columnIndexMap, isColumnNotNullDeclared, isColumnNumericDeclared) {
+function recognizeClause(expr, resolve, isColumnNotNullDeclared, isColumnNumericDeclared) {
     if (expr.type === 'unary') {
         const u = expr;
         if (u.operator === 'IS NULL' || u.operator === 'IS NOT NULL') {
-            const col = columnIndexFromExpr(u.expr, columnIndexMap);
+            const col = resolve(u.expr);
             if (col === undefined)
                 return undefined;
             return { kind: 'is-null', column: col, negated: u.operator === 'IS NOT NULL' };
         }
         if (u.operator === 'NOT') {
-            const col = columnIndexFromExpr(u.expr, columnIndexMap);
+            const col = resolve(u.expr);
             if (col === undefined)
                 return undefined;
             if (!isColumnNotNullDeclared(col))
@@ -198,19 +324,19 @@ function recognizeClause(expr, columnIndexMap, isColumnNotNullDeclared, isColumn
         return undefined;
     }
     if (expr.type === 'in') {
-        return recognizeIn(expr, columnIndexMap);
+        return recognizeIn(expr, resolve);
     }
     if (expr.type === 'between') {
-        return recognizeBetween(expr, columnIndexMap);
+        return recognizeBetween(expr, resolve);
     }
     if (expr.type === 'binary') {
         const b = expr;
         if (b.operator === 'OR') {
-            return recognizeOr(b, columnIndexMap, isColumnNotNullDeclared, isColumnNumericDeclared);
+            return recognizeOr(b, resolve, isColumnNotNullDeclared, isColumnNumericDeclared);
         }
         if (b.operator === '=' || b.operator === '==') {
-            const lIdx = columnIndexFromExpr(b.left, columnIndexMap);
-            const rIdx = columnIndexFromExpr(b.right, columnIndexMap);
+            const lIdx = resolve(b.left);
+            const rIdx = resolve(b.right);
             if (lIdx !== undefined && rIdx !== undefined) {
                 if (lIdx === rIdx)
                     return undefined;
@@ -231,7 +357,7 @@ function recognizeClause(expr, columnIndexMap, isColumnNotNullDeclared, isColumn
             return undefined;
         }
         if (b.operator === '<' || b.operator === '<=' || b.operator === '>' || b.operator === '>=') {
-            return recognizeRange(b, columnIndexMap);
+            return recognizeRange(b, resolve);
         }
         return undefined;
     }
@@ -241,9 +367,9 @@ function recognizeClause(expr, columnIndexMap, isColumnNotNullDeclared, isColumn
  * Recognize `col op literal` (or operand-flipped `literal op col`) as a range
  * guard. NULL literal bounds are rejected.
  */
-function recognizeRange(b, columnIndexMap) {
-    const lIdx = columnIndexFromExpr(b.left, columnIndexMap);
-    const rIdx = columnIndexFromExpr(b.right, columnIndexMap);
+function recognizeRange(b, resolve) {
+    const lIdx = resolve(b.left);
+    const rIdx = resolve(b.right);
     let colIdx;
     let lit;
     let op;
@@ -279,10 +405,10 @@ function recognizeRange(b, columnIndexMap) {
  * guard. `NOT BETWEEN` is rejected (decomposes to a disjunction of two range
  * halves which doesn't fit a single range clause).
  */
-function recognizeBetween(expr, columnIndexMap) {
+function recognizeBetween(expr, resolve) {
     if (expr.not === true)
         return undefined;
-    const colIdx = columnIndexFromExpr(expr.expr, columnIndexMap);
+    const colIdx = resolve(expr.expr);
     if (colIdx === undefined)
         return undefined;
     const lo = literalValue(expr.lower);
@@ -298,12 +424,12 @@ function recognizeBetween(expr, columnIndexMap) {
  * IN-with-subquery, non-literal values, or any other shape returns undefined.
  * A singleton list collapses to a bare `eq-literal`.
  */
-function recognizeIn(expr, columnIndexMap) {
+function recognizeIn(expr, resolve) {
     if (expr.subquery !== undefined)
         return undefined;
     if (!expr.values || expr.values.length === 0)
         return undefined;
-    const col = columnIndexFromExpr(expr.expr, columnIndexMap);
+    const col = resolve(expr.expr);
     if (col === undefined)
         return undefined;
     const subs = [];
@@ -323,13 +449,13 @@ function recognizeIn(expr, columnIndexMap) {
  * result is single-level. A singleton (degenerate) collapses to the
  * underlying clause.
  */
-function recognizeOr(expr, columnIndexMap, isColumnNotNullDeclared, isColumnNumericDeclared) {
+function recognizeOr(expr, resolve, isColumnNotNullDeclared, isColumnNumericDeclared) {
     const disjuncts = flattenDisjunction(expr);
     if (disjuncts.length === 0)
         return undefined;
     const subs = [];
     for (const d of disjuncts) {
-        const sub = recognizeClause(d, columnIndexMap, isColumnNotNullDeclared, isColumnNumericDeclared);
+        const sub = recognizeClause(d, resolve, isColumnNotNullDeclared, isColumnNumericDeclared);
         if (!sub)
             return undefined;
         if (sub.kind === 'or-of') {

package/dist/src/planner/analysis/partial-unique-extraction.js.map

@@ -1 +1 @@
-{"version":3,"file":"partial-unique-extraction.js","sourceRoot":"","sources":["../../../../src/planner/analysis/partial-unique-extraction.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8DG;AAKH,OAAO,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAE7G,MAAM,KAAK,GAAG,IAAI,OAAO,EAAoD,CAAC;AAE9E,MAAM,UAAU,0BAA0B,CACzC,WAAwB;IAExB,IAAI,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IACpC,IAAI,CAAC,MAAM,EAAE,CAAC;QACb,MAAM,GAAG,8BAA8B,CAAC,WAAW,CAAC,CAAC;QACrD,KAAK,CAAC,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;IAChC,CAAC;IACD,OAAO,MAAM,CAAC;AACf,CAAC;AAED,MAAM,UAAU,8BAA8B,CAC7C,WAAwB;IAExB,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,MAAM,GAAG,GAAG,WAAW,CAAC,iBAAiB,CAAC;IAC1C,IAAI,CAAC,GAAG;QAAE,OAAO,GAAG,CAAC;IAErB,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC;IAE5C,MAAM,uBAAuB,GAAG,CAAC,GAAW,EAAW,EAAE,CACxD,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,OAAO,KAAK,IAAI,CAAC;IAE5C,MAAM,uBAAuB,GAAG,CAAC,GAAW,EAAW,EAAE,CACxD,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,WAAW,EAAE,SAAS,KAAK,IAAI,CAAC;IAE3D,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;QACtB,IAAI,EAAE,CAAC,SAAS,KAAK,SAAS;YAAE,SAAS;QAEzC,MAAM,OAAO,GAAG,qBAAqB,CAAC,EAAE,CAAC,SAAS,EAAE,WAAW,CAAC,cAAc,EAAE,uBAAuB,EAAE,uBAAuB,CAAC,CAAC;QAClI,IAAI,CAAC,OAAO;YAAE,SAAS;QACvB,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAEnC,wEAAwE;QACxE,+DAA+D;QAC/D,uEAAuE;QACvE,gDAAgD;QAChD,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAU,CAAC;QAC7C,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACzB,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,OAAO,KAAK,IAAI;gBAAE,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAClF,CAAC;QACD,MAAM,uBAAuB,GAAG,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CACtD,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,OAAO,KAAK,IAAI,IAAI,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,CACzE,CAAC;QACF,IAAI,CAAC,uBAAuB;YAAE,SAAS;QAEvC,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;QACnC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC;QAC5B,MAAM,GAAG,GAAa,EAAE,CAAC;QACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAC;YACnC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC;QACD,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAE/B,MAAM,KAAK,GAAmB,EAAE,OAAO,EAAE,CAAC;QAC1C,GAAG,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;IACzD,CAAC;IAED,OAAO,GAAG,CAAC;AACZ,CAAC;AAED;;;;;;GAMG;AACH,SAAS,qBAAqB,CAC7B,IAAoB,EACpB,cAA2C,EAC3C,uBAAiD,EACjD,uBAAiD;IAEjD,MAAM,SAAS,GAAqB,EAAE,CAAC;IACvC,MAAM,KAAK,GAAqB,CAAC,IAAI,CAAC,CAAC;IACvC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QACzB,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAK,GAAsB,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;YACzE,MAAM,CAAC,GAAG,GAAqB,CAAC;YAChC,2EAA2E;YAC3E,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;YAC5B,SAAS;QACV,CAAC;QACD,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACrB,CAAC;IAED,MAAM,OAAO,GAAkB,EAAE,CAAC;IAClC,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,eAAe,CAAC,QAAQ,EAAE,cAAc,EAAE,uBAAuB,EAAE,uBAAuB,CAAC,CAAC;QAC3G,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAC9B,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACtB,CAAC;IACD,OAAO,OAAO,CAAC;AAChB,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,SAAS,eAAe,CACvB,IAAoB,EACpB,cAA2C,EAC3C,uBAAiD,EACjD,uBAAiD;IAEjD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,IAAqB,CAAC;QAChC,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,QAAQ,KAAK,aAAa,EAAE,CAAC;YAC9D,MAAM,GAAG,GAAG,mBAAmB,CAAC,CAAC,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;YACxD,IAAI,GAAG,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAC;YACxC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC,QAAQ,KAAK,aAAa,EAAE,CAAC;QAChF,CAAC;QACD,IAAI,CAAC,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;YAC1B,MAAM,GAAG,GAAG,mBAAmB,CAAC,CAAC,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;YACxD,IAAI,GAAG,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAC;YACxC,IAAI,CAAC,uBAAuB,CAAC,GAAG,CAAC;gBAAE,OAAO,SAAS,CAAC;YACpD,IAAI,CAAC,uBAAuB,CAAC,GAAG,CAAC;gBAAE,OAAO,SAAS,CAAC;YACpD,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;QACtD,CAAC;QACD,OAAO,SAAS,CAAC;IAClB,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACxB,OAAO,WAAW,CAAC,IAAkB,EAAE,cAAc,CAAC,CAAC;IACxD,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,gBAAgB,CAAC,IAAuB,EAAE,cAAc,CAAC,CAAC;IAClE,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAsB,CAAC;QACjC,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;YACzB,OAAO,WAAW,CAAC,CAAC,EAAE,cAAc,EAAE,uBAAuB,EAAE,uBAAuB,CAAC,CAAC;QACzF,CAAC;QACD,IAAI,CAAC,CAAC,QAAQ,KAAK,GAAG,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;YAC/C,MAAM,IAAI,GAAG,mBAAmB,CAAC,CAAC,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;YACzD,MAAM,IAAI,GAAG,mBAAmB,CAAC,CAAC,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;YAE1D,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC9C,IAAI,IAAI,KAAK,IAAI;oBAAE,OAAO,SAAS,CAAC;gBACpC,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;YACvD,CAAC;YACD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACxB,MAAM,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBAClC,IAAI,GAAG,KAAK,SAAS;oBAAE,OAAO,SAAS,CAAC;gBACxC,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;YACzD,CAAC;YACD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACxB,MAAM,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBACjC,IAAI,GAAG,KAAK,SAAS;oBAAE,OAAO,SAAS,CAAC;gBACxC,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;YACzD,CAAC;YACD,OAAO,SAAS,CAAC;QAClB,CAAC;QACD,IAAI,CAAC,CAAC,QAAQ,KAAK,GAAG,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI,IAAI,CAAC,CAAC,QAAQ,KAAK,GAAG,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;YAC5F,OAAO,cAAc,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC;QAC1C,CAAC;QACD,OAAO,SAAS,CAAC;IAClB,CAAC;IACD,OAAO,SAAS,CAAC;AAClB,CAAC;AAED;;;GAGG;AACH,SAAS,cAAc,CACtB,CAAiB,EACjB,cAA2C;IAE3C,MAAM,IAAI,GAAG,mBAAmB,CAAC,CAAC,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;IACzD,MAAM,IAAI,GAAG,mBAAmB,CAAC,CAAC,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;IAC1D,IAAI,MAA0B,CAAC;IAC/B,IAAI,GAAoC,CAAC;IACzC,IAAI,EAAU,CAAC;IACf,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACxB,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC5B,MAAM,GAAG,IAAI,CAAC;QACd,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC;IACjB,CAAC;SAAM,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QAC/B,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC3B,MAAM,GAAG,IAAI,CAAC;QACd,EAAE,GAAG,cAAc,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IACjC,CAAC;SAAM,CAAC;QACP,OAAO,SAAS,CAAC;IAClB,CAAC;IACD,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,IAAI,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAChF,QAAQ,EAAE,EAAE,CAAC;QACZ,KAAK,GAAG;YACP,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,YAAY,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;QAC9F,KAAK,IAAI;YACR,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,YAAY,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;QAC7F,KAAK,GAAG;YACP,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,YAAY,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;QAC9F,KAAK,IAAI;YACR,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,YAAY,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC;IAC9F,CAAC;IACD,OAAO,SAAS,CAAC;AAClB,CAAC;AAED;;;;GAIG;AACH,SAAS,gBAAgB,CACxB,IAAqB,EACrB,cAA2C;IAE3C,IAAI,IAAI,CAAC,GAAG,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IACxC,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;IAC9D,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC3C,MAAM,EAAE,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpC,MAAM,EAAE,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpC,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IACtD,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IACtD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC;AACpG,CAAC;AAED;;;;GAIG;AACH,SAAS,WAAW,CACnB,IAAgB,EAChB,cAA2C;IAE3C,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAClD,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC/D,MAAM,GAAG,GAAG,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;IAC3D,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACxC,MAAM,IAAI,GAAkB,EAAE,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAC7B,MAAM,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAI,GAAG,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QACxC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;IAC5D,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC;IACtC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AACzC,CAAC;AAED;;;;;GAKG;AACH,SAAS,WAAW,CACnB,IAAoB,EACpB,cAA2C,EAC3C,uBAAiD,EACjD,uBAAiD;IAEjD,MAAM,SAAS,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;IAC3C,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC7C,MAAM,IAAI,GAAkB,EAAE,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC3B,MAAM,GAAG,GAAG,eAAe,CAAC,CAAC,EAAE,cAAc,EAAE,uBAAuB,EAAE,uBAAuB,CAAC,CAAC;QACjG,IAAI,CAAC,GAAG;YAAE,OAAO,SAAS,CAAC;QAC3B,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC1B,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,OAAO;gBAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3C,CAAC;aAAM,CAAC;YACP,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChB,CAAC;IACF,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC;IACtC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AACzC,CAAC"}
+{"version":3,"file":"partial-unique-extraction.js","sourceRoot":"","sources":["../../../../src/planner/analysis/partial-unique-extraction.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8DG;AAKH,OAAO,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,cAAc,EAAE,YAAY,EAA4B,MAAM,sBAAsB,CAAC;AACvI,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAE5D,MAAM,KAAK,GAAG,IAAI,OAAO,EAAoD,CAAC;AAE9E,MAAM,UAAU,0BAA0B,CACzC,WAAwB;IAExB,IAAI,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IACpC,IAAI,CAAC,MAAM,EAAE,CAAC;QACb,MAAM,GAAG,8BAA8B,CAAC,WAAW,CAAC,CAAC;QACrD,KAAK,CAAC,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;IAChC,CAAC;IACD,OAAO,MAAM,CAAC;AACf,CAAC;AAED,MAAM,UAAU,8BAA8B,CAC7C,WAAwB;IAExB,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,MAAM,GAAG,GAAG,WAAW,CAAC,iBAAiB,CAAC;IAC1C,IAAI,CAAC,GAAG;QAAE,OAAO,GAAG,CAAC;IAErB,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC;IAE5C,MAAM,uBAAuB,GAAG,CAAC,GAAW,EAAW,EAAE,CACxD,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,OAAO,KAAK,IAAI,CAAC;IAE5C,MAAM,uBAAuB,GAAG,CAAC,GAAW,EAAW,EAAE,CACxD,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,WAAW,EAAE,SAAS,KAAK,IAAI,CAAC;IAE3D,8EAA8E;IAC9E,oEAAoE;IACpE,MAAM,OAAO,GAAwB,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,CAAC,EAAE,WAAW,CAAC,cAAc,CAAC,CAAC;IAE/F,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;QACtB,IAAI,EAAE,CAAC,SAAS,KAAK,SAAS;YAAE,SAAS;QAEzC,MAAM,OAAO,GAAG,qBAAqB,CAAC,EAAE,CAAC,SAAS,EAAE,OAAO,EAAE,uBAAuB,EAAE,uBAAuB,CAAC,CAAC;QAC/G,IAAI,CAAC,OAAO;YAAE,SAAS;QACvB,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAEnC,wEAAwE;QACxE,+DAA+D;QAC/D,uEAAuE;QACvE,gDAAgD;QAChD,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAU,CAAC;QAC7C,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACzB,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,OAAO,KAAK,IAAI;gBAAE,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAClF,CAAC;QACD,MAAM,uBAAuB,GAAG,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CACtD,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,OAAO,KAAK,IAAI,IAAI,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,CACzE,CAAC;QACF,IAAI,CAAC,uBAAuB;YAAE,SAAS;QAEvC,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;QACnC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC;QAC5B,MAAM,GAAG,GAAa,EAAE,CAAC;QACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAC;YACnC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC;QACD,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAE/B,MAAM,KAAK,GAAmB,EAAE,OAAO,EAAE,CAAC;QAC1C,0EAA0E;QAC1E,2EAA2E;QAC3E,yEAAyE;QACzE,GAAG,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;IACzE,CAAC;IAED,OAAO,GAAG,CAAC;AACZ,CAAC;AAED;;;;;;GAMG;AACH,SAAS,qBAAqB,CAC7B,IAAoB,EACpB,OAA4B,EAC5B,uBAAiD,EACjD,uBAAiD;IAEjD,MAAM,SAAS,GAAqB,EAAE,CAAC;IACvC,MAAM,KAAK,GAAqB,CAAC,IAAI,CAAC,CAAC;IACvC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QACzB,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAK,GAAsB,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;YACzE,MAAM,CAAC,GAAG,GAAqB,CAAC;YAChC,2EAA2E;YAC3E,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;YAC5B,SAAS;QACV,CAAC;QACD,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACrB,CAAC;IAED,MAAM,OAAO,GAAkB,EAAE,CAAC;IAClC,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,eAAe,CAAC,QAAQ,EAAE,OAAO,EAAE,uBAAuB,EAAE,uBAAuB,CAAC,CAAC;QACpG,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAC9B,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACtB,CAAC;IACD,OAAO,OAAO,CAAC;AAChB,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,2BAA2B,CAC1C,IAAoB,EACpB,WAAwB,EACxB,OAA6B;IAE7B,MAAM,uBAAuB,GAAG,CAAC,GAAW,EAAW,EAAE,CACxD,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,OAAO,KAAK,IAAI,CAAC;IAC5C,MAAM,uBAAuB,GAAG,CAAC,GAAW,EAAW,EAAE,CACxD,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,WAAW,EAAE,SAAS,KAAK,IAAI,CAAC;IAC3D,MAAM,QAAQ,GAAwB,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,CAAC,EAAE,WAAW,CAAC,cAAc,CAAC,CAAC,CAAC;IAC7G,OAAO,qBAAqB,CAAC,IAAI,EAAE,QAAQ,EAAE,uBAAuB,EAAE,uBAAuB,CAAC,CAAC;AAChG,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,kBAAkB,CACjC,CAA6B,EAC7B,CAA6B;IAE7B,OAAO,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,aAAa,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;AAC3E,CAAC;AAED,6DAA6D;AAC7D,SAAS,aAAa,CAAC,CAAc,EAAE,CAAc;IACpD,2EAA2E;IAC3E,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;QAChD,OAAO,yBAAyB,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IAC/C,CAAC;IACD,IAAI,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACpC,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC;QACvE,OAAO,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1B,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAED,kFAAkF;AAClF,SAAS,yBAAyB,CAAC,CAAc,EAAE,MAAc;IAChE,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,KAAK,IAAI,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC;QACjE,KAAK,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,KAAK,MAAM,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC;QAClE,KAAK,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,qCAAqC;QAC/E,KAAK,WAAW,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC,uCAAuC;QACzG,KAAK,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,yBAAyB,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;QACxG,OAAO,CAAC,CAAC,OAAO,KAAK,CAAC;IACvB,CAAC;AACF,CAAC;AAED,iGAAiG;AACjG,SAAS,YAAY,CAAC,CAAc,EAAE,CAAc;IACnD,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACpC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,YAAY;YAChB,OAAO,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,IAAI,gBAAgB,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACrG,KAAK,WAAW;YACf,OAAO,CAAC,CAAC,IAAI,KAAK,WAAW;mBACzB,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAChG,KAAK,SAAS;YACb,OAAO,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC;QACjF,KAAK,OAAO;YACX,OAAO,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM;mBAC9C,WAAW,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC;mBACtD,CAAC,CAAC,YAAY,KAAK,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,YAAY,KAAK,CAAC,CAAC,YAAY,CAAC;QAC5E,KAAK,OAAO;YACX,OAAO,CAAC,CAAC,IAAI,KAAK,OAAO;mBACrB,CAAC,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM;mBACrC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,YAAY,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QACvE;YACC,OAAO,KAAK,CAAC;IACf,CAAC;AACF,CAAC;AAED,SAAS,WAAW,CAAC,CAAuD,EAAE,CAAuD;IACpI,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,IAAI,CAAC;IACxE,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAChD,OAAO,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;AACrC,CAAC;AAED,gGAAgG;AAChG,SAAS,WAAW,CACnB,CAA0C,EAC1C,CAA0C;IAE1C,8DAA8D;IAC9D,IAAI,CAAC,CAAC,GAAG,KAAK,SAAS,IAAI,CAAC,CAAC,GAAG,KAAK,IAAI,EAAE,CAAC;QAC3C,IAAI,CAAC,CAAC,GAAG,KAAK,SAAS,IAAI,CAAC,CAAC,GAAG,KAAK,IAAI;YAAE,OAAO,KAAK,CAAC;QACxD,MAAM,CAAC,GAAG,gBAAgB,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;QACzC,IAAI,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QACxB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,CAAC,YAAY;YAAE,OAAO,KAAK,CAAC;IAChE,CAAC;IACD,6DAA6D;IAC7D,IAAI,CAAC,CAAC,GAAG,KAAK,SAAS,IAAI,CAAC,CAAC,GAAG,KAAK,IAAI,EAAE,CAAC;QAC3C,IAAI,CAAC,CAAC,GAAG,KAAK,SAAS,IAAI,CAAC,CAAC,GAAG,KAAK,IAAI;YAAE,OAAO,KAAK,CAAC;QACxD,MAAM,CAAC,GAAG,gBAAgB,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;QACzC,IAAI,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QACxB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,CAAC,YAAY;YAAE,OAAO,KAAK,CAAC;IAChE,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,SAAS,eAAe,CACvB,IAAoB,EACpB,OAA4B,EAC5B,uBAAiD,EACjD,uBAAiD;IAEjD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,IAAqB,CAAC;QAChC,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,QAAQ,KAAK,aAAa,EAAE,CAAC;YAC9D,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC5B,IAAI,GAAG,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAC;YACxC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC,QAAQ,KAAK,aAAa,EAAE,CAAC;QAChF,CAAC;QACD,IAAI,CAAC,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;YAC1B,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC5B,IAAI,GAAG,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAC;YACxC,IAAI,CAAC,uBAAuB,CAAC,GAAG,CAAC;gBAAE,OAAO,SAAS,CAAC;YACpD,IAAI,CAAC,uBAAuB,CAAC,GAAG,CAAC;gBAAE,OAAO,SAAS,CAAC;YACpD,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;QACtD,CAAC;QACD,OAAO,SAAS,CAAC;IAClB,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACxB,OAAO,WAAW,CAAC,IAAkB,EAAE,OAAO,CAAC,CAAC;IACjD,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,gBAAgB,CAAC,IAAuB,EAAE,OAAO,CAAC,CAAC;IAC3D,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAsB,CAAC;QACjC,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;YACzB,OAAO,WAAW,CAAC,CAAC,EAAE,OAAO,EAAE,uBAAuB,EAAE,uBAAuB,CAAC,CAAC;QAClF,CAAC;QACD,IAAI,CAAC,CAAC,QAAQ,KAAK,GAAG,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;YAC/C,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC7B,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAE9B,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC9C,IAAI,IAAI,KAAK,IAAI;oBAAE,OAAO,SAAS,CAAC;gBACpC,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;YACvD,CAAC;YACD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACxB,MAAM,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBAClC,IAAI,GAAG,KAAK,SAAS;oBAAE,OAAO,SAAS,CAAC;gBACxC,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;YACzD,CAAC;YACD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACxB,MAAM,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBACjC,IAAI,GAAG,KAAK,SAAS;oBAAE,OAAO,SAAS,CAAC;gBACxC,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;YACzD,CAAC;YACD,OAAO,SAAS,CAAC;QAClB,CAAC;QACD,IAAI,CAAC,CAAC,QAAQ,KAAK,GAAG,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI,IAAI,CAAC,CAAC,QAAQ,KAAK,GAAG,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;YAC5F,OAAO,cAAc,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QACnC,CAAC;QACD,OAAO,SAAS,CAAC;IAClB,CAAC;IACD,OAAO,SAAS,CAAC;AAClB,CAAC;AAED;;;GAGG;AACH,SAAS,cAAc,CACtB,CAAiB,EACjB,OAA4B;IAE5B,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC7B,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC9B,IAAI,MAA0B,CAAC;IAC/B,IAAI,GAAoC,CAAC;IACzC,IAAI,EAAU,CAAC;IACf,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACxB,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC5B,MAAM,GAAG,IAAI,CAAC;QACd,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC;IACjB,CAAC;SAAM,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QAC/B,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC3B,MAAM,GAAG,IAAI,CAAC;QACd,EAAE,GAAG,cAAc,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IACjC,CAAC;SAAM,CAAC;QACP,OAAO,SAAS,CAAC;IAClB,CAAC;IACD,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,IAAI,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAChF,QAAQ,EAAE,EAAE,CAAC;QACZ,KAAK,GAAG;YACP,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,YAAY,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;QAC9F,KAAK,IAAI;YACR,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,YAAY,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;QAC7F,KAAK,GAAG;YACP,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,YAAY,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;QAC9F,KAAK,IAAI;YACR,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,YAAY,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC;IAC9F,CAAC;IACD,OAAO,SAAS,CAAC;AAClB,CAAC;AAED;;;;GAIG;AACH,SAAS,gBAAgB,CACxB,IAAqB,EACrB,OAA4B;IAE5B,IAAI,IAAI,CAAC,GAAG,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IACxC,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC3C,MAAM,EAAE,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpC,MAAM,EAAE,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpC,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IACtD,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IACtD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC;AACpG,CAAC;AAED;;;;GAIG;AACH,SAAS,WAAW,CACnB,IAAgB,EAChB,OAA4B;IAE5B,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAClD,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC/D,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/B,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACxC,MAAM,IAAI,GAAkB,EAAE,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAC7B,MAAM,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAI,GAAG,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QACxC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;IAC5D,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC;IACtC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AACzC,CAAC;AAED;;;;;GAKG;AACH,SAAS,WAAW,CACnB,IAAoB,EACpB,OAA4B,EAC5B,uBAAiD,EACjD,uBAAiD;IAEjD,MAAM,SAAS,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;IAC3C,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC7C,MAAM,IAAI,GAAkB,EAAE,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC3B,MAAM,GAAG,GAAG,eAAe,CAAC,CAAC,EAAE,OAAO,EAAE,uBAAuB,EAAE,uBAAuB,CAAC,CAAC;QAC1F,IAAI,CAAC,GAAG;YAAE,OAAO,SAAS,CAAC;QAC3B,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC1B,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,OAAO;gBAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3C,CAAC;aAAM,CAAC;YACP,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChB,CAAC;IACF,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC;IACtC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AACzC,CAAC"}

package/dist/src/planner/analysis/predicate-normalizer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"predicate-normalizer.d.ts","sourceRoot":"","sources":["../../../../src/planner/analysis/predicate-normalizer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAQ5D;;;;;;;;;;;;;GAaG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,cAAc,GAAG,cAAc,CAEvE"}
+{"version":3,"file":"predicate-normalizer.d.ts","sourceRoot":"","sources":["../../../../src/planner/analysis/predicate-normalizer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAS5D;;;;;;;;;;;;;GAaG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,cAAc,GAAG,cAAc,CAEvE"}