@undefineds.co/xpod 0.1.0-local.202602081751

package/dist/storage/sparql/ComunicaQuintEngine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ComunicaQuintEngine.js","sourceRoot":"","sources":["../../../src/storage/sparql/ComunicaQuintEngine.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;GAcG;;;AAEH,mCAAsC;AAGtC,qEAA2D;AAC3D,6EAAmE;AACnE,qDAA0D;AAC1D,iDAAqC;AACrC,uDAA+C;AAG/C,yDAAsD;AACtD,qDAAkD;AA8ClD,0DAA0D;AAC1D,MAAM,yBAAyB,GAAG,4CAA4C,CAAC;AAE/E,MAAM,WAAW,GAAG,IAAI,8BAAW,EAAE,CAAC;AAEtC;;;GAGG;AACH,MAAM,aAAa;IACjB,YACmB,KAAiB,EACjB,kBAAqD,EACrD,KAAc;QAFd,UAAK,GAAL,KAAK,CAAY;QACjB,uBAAkB,GAAlB,kBAAkB,CAAmC;QACrD,UAAK,GAAL,KAAK,CAAS;IAC9B,CAAC;IAEJ,KAAK,CACH,OAAqB,EACrB,SAAuB,EACvB,MAAoB,EACpB,KAAmB;QAEnB,qBAAqB;QACrB,MAAM,OAAO,GAAiB,EAAE,CAAC;QAEjC,IAAI,OAAO,IAAI,OAAO,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;YAC/C,OAAO,CAAC,OAAO,GAAG,OAAO,CAAC;QAC5B,CAAC;QACD,IAAI,SAAS,IAAI,SAAS,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;YACnD,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC;QAChC,CAAC;QACD,IAAI,MAAM,IAAI,MAAM,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;YAC7C,OAAO,CAAC,MAAM,GAAG,MAAM,CAAC;QAC1B,CAAC;QACD,IAAI,KAAK,IAAI,KAAK,CAAC,QAAQ,KAAK,UAAU,IAAI,KAAK,CAAC,QAAQ,KAAK,cAAc,EAAE,CAAC;YAChF,OAAO,CAAC,KAAK,GAAG,KAAK,CAAC;QACxB,CAAC;QAED,oDAAoD;QACpD,MAAM,eAAe,GAAG,IAAI,CAAC,kBAAkB,EAAE,CAAC;QAClD,IAAI,eAAe,EAAE,CAAC;YACpB,IAAI,eAAe,CAAC,OAAO,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;gBAChD,OAAO,CAAC,OAAO,GAAG,eAAe,CAAC,OAAO,CAAC;YAC5C,CAAC;YACD,IAAI,eAAe,CAAC,SAAS,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC;gBACpD,OAAO,CAAC,SAAS,GAAG,eAAe,CAAC,SAAS,CAAC;YAChD,CAAC;YACD,IAAI,eAAe,CAAC,MAAM,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;gBAC9C,OAAO,CAAC,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC;YAC1C,CAAC;YACD,IAAI,eAAe,CAAC,KAAK,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;gBAC5C,OAAO,CAAC,KAAK,GAAG,eAAe,CAAC,KAAK,CAAC;YACxC,CAAC;QACH,CAAC;QAED,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,OAAO,CAAC,GAAG,CAAC,gCAAgC,CAAC,CAAC;YAC9C,OAAO,CAAC,GAAG,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;QACrC,CAAC;QAED,sDAAsD;QACtD,MAAM,eAAe,GAAG,IAAA,oBAAI,EAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;QACtD,OAAO,eAAsB,CAAC;IAChC,CAAC;IAED;;OAEG;IACH,MAAM,CAAC,MAAwB;QAC7B,MAAM,OAAO,GAAG,IAAI,qBAAY,EAAE,CAAC;QAEnC,MAAM,KAAK,GAAW,EAAE,CAAC;QACzB,IAAI,KAAK,GAAG,KAAK,CAAC;QAElB,qBAAqB;QACrB,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,IAAU,EAAE,EAAE;YAC/B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnB,CAAC,CAAC,CAAC;QAEH,MAAM,SAAS,GAAG,GAAG,EAAE;YACrB,IAAI,KAAK;gBAAE,OAAO;YAClB,KAAK,GAAG,IAAI,CAAC;YACb,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACrB,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAc,CAAC;qBAChC,IAAI,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;qBAC/B,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC;YAChD,CAAC;iBAAM,CAAC;gBACN,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACtB,CAAC;QACH,CAAC,CAAC;QAEF,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QAC5B,MAAM,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,GAAG,EAAE,EAAE;YACzB,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QAC7B,CAAC,CAAC,CAAC;QAEH,qDAAqD;QACrD,wEAAwE;QACxE,YAAY,CAAC,GAAG,EAAE;YAChB,IAAK,MAAc,CAAC,aAAa,IAAK,MAAc,CAAC,MAAM,EAAE,CAAC;gBAC5D,SAAS,EAAE,CAAC;YACd,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;OAEG;IACH,MAAM,CAAC,MAAwB;QAC7B,MAAM,OAAO,GAAG,IAAI,qBAAY,EAAE,CAAC;QAEnC,MAAM,cAAc,GAAsB,EAAE,CAAC;QAC7C,IAAI,KAAK,GAAG,KAAK,CAAC;QAElB,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,IAAU,EAAE,EAAE;YAC/B,MAAM,OAAO,GAAiB;gBAC5B,OAAO,EAAE,IAAI,CAAC,OAAO;gBACrB,SAAS,EAAE,IAAI,CAAC,SAAS;gBACzB,MAAM,EAAE,IAAI,CAAC,MAAM;aACpB,CAAC;YACF,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,QAAQ,KAAK,cAAc,EAAE,CAAC;gBACzD,OAAO,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;YAC7B,CAAC;YACD,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;QAEH,MAAM,SAAS,GAAG,GAAG,EAAE;YACrB,IAAI,KAAK;gBAAE,OAAO;YAClB,KAAK,GAAG,IAAI,CAAC;YACb,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC;iBACxB,IAAI,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;iBAC/B,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC;QAChD,CAAC,CAAC;QAEF,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QAC5B,MAAM,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,GAAG,EAAE,EAAE;YACzB,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QAC7B,CAAC,CAAC,CAAC;QAEH,qDAAqD;QACrD,YAAY,CAAC,GAAG,EAAE;YAChB,IAAK,MAAc,CAAC,aAAa,IAAK,MAAc,CAAC,MAAM,EAAE,CAAC;gBAC5D,SAAS,EAAE,CAAC;YACd,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;OAEG;IACH,aAAa,CACX,OAAqB,EACrB,SAAuB,EACvB,MAAoB,EACpB,KAAmB;QAEnB,MAAM,OAAO,GAAG,IAAI,qBAAY,EAAE,CAAC;QAEnC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,OAAO,CAAC,GAAG,CAAC,iCAAiC,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;QACxF,CAAC;QAED,MAAM,OAAO,GAAiB,EAAE,CAAC;QACjC,IAAI,OAAO,IAAI,OAAO,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;YAC/C,OAAO,CAAC,OAAO,GAAG,OAAO,CAAC;QAC5B,CAAC;QACD,IAAI,SAAS,IAAI,SAAS,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;YACnD,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC;QAChC,CAAC;QACD,IAAI,MAAM,IAAI,MAAM,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;YAC7C,OAAO,CAAC,MAAM,GAAG,MAAM,CAAC;QAC1B,CAAC;QACD,IAAI,KAAK,IAAI,KAAK,CAAC,QAAQ,KAAK,UAAU,IAAI,KAAK,CAAC,QAAQ,KAAK,cAAc,EAAE,CAAC;YAChF,OAAO,CAAC,KAAK,GAAG,KAAK,CAAC;QACxB,CAAC;QAED,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC;aACpB,IAAI,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;aAC/B,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC;QAE9C,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;OAEG;IACH,WAAW,CAAC,KAAoB;QAC9B,MAAM,OAAO,GAAG,IAAI,qBAAY,EAAE,CAAC;QAEnC,MAAM,SAAS,GAAG,OAAO,KAAK,KAAK,QAAQ;YACzC,CAAC,CAAC,EAAE,QAAQ,EAAE,WAAoB,EAAE,KAAK,EAAE,KAAK,EAAE;YAClD,CAAC,CAAC,KAAK,CAAC;QAEV,MAAM,OAAO,GAAiB,EAAE,KAAK,EAAE,SAAiB,EAAE,CAAC;QAE3D,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC;aACpB,IAAI,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;aAC/B,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC;QAE9C,OAAO,OAAO,CAAC;IACjB,CAAC;CACF;AAED,MAAa,mBAAmB;IAiB9B,YAAY,KAAiB,EAAE,OAAoC;QAPnE,oCAAoC;QAC5B,0BAAqB,GAA0B,IAAI,CAAC;QAG5D,kDAAkD;QAC1C,6BAAwB,GAAoC,IAAI,GAAG,EAAE,CAAC;QAG5E,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,KAAK,GAAG,OAAO,EAAE,KAAK,IAAI,KAAK,CAAC;QAErC,wCAAwC;QACxC,IAAI,CAAC,QAAQ,GAAG,IAAI,aAAa,CAC/B,KAAK,EACL,GAAG,EAAE,CAAC,IAAI,CAAC,sBAAsB,EACjC,IAAI,CAAC,KAAK,CACX,CAAC;QAEF,yBAAyB;QACzB,IAAI,CAAC,eAAe,GAAG,IAAK,wCAAuB,CAAC,WAAW,CAAC,CAAC;QAEjE,iFAAiF;QACjF,IAAI,CAAC,WAAW,GAAG,IAAI,mCAAgB,CAAC,KAAK,EAAE;YAC7C,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,eAAe,EAAE,IAAI,CAAC,eAAe;YACrC,kBAAkB,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,sBAAsB;YACrD,iBAAiB,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,qBAAqB;YACnD,mBAAmB,EAAE,CAAC,OAAe,EAAE,EAAE,CAAC,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,OAAO,CAAC;SACrF,CAAC,CAAC;QAEH,qEAAqE;QACrE,IAAI,CAAC,cAAc,GAAG,IAAI,+BAAc,CAAC,KAAK,EAAE;YAC9C,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,eAAe,EAAE,IAAI,CAAC,eAAe;SACtC,CAAC,CAAC;QAEH,IAAI,CAAC,MAAM,GAAG,IAAI,gCAAW,EAAE,CAAC;IAClC,CAAC;IAED;;;OAGG;IACH,YAAY,CAAC,KAAa;QACxB,MAAM,OAAO,GAAG,IAAA,2BAAS,EAAC,KAAK,CAAC,CAAC;QACjC,OAAO,IAAI,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC;IACtC,CAAC;IAED;;OAEG;IACK,cAAc,CAAC,EAAqB;QAC1C,MAAM,MAAM,GAAkB;YAC5B,SAAS,EAAE,KAAK;YAChB,WAAW,EAAE,EAAE;YACf,YAAY,EAAE,EAAE;YAChB,eAAe,EAAE,EAAE;YACnB,qBAAqB,EAAE,GAAG;SAC3B,CAAC;QAEF,IAAI,CAAC,WAAW,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QAE7B,0BAA0B;QAC1B,MAAM,KAAK,GAAG,MAAM,CAAC,YAAY,CAAC,MAAM,GAAG,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC;QACzE,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YACd,MAAM,CAAC,qBAAqB,GAAG,MAAM,CAAC,YAAY,CAAC,MAAM,GAAG,KAAK,CAAC;QACpE,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;OAEG;IACK,WAAW,CAAC,EAAqB,EAAE,MAAqB;QAC9D,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACzB,MAAM,CAAC,SAAS,GAAG,IAAI,CAAC;YACxB,MAAM,QAAQ,GAAG,EAAoB,CAAC;YACtC,IAAI,CAAC,iBAAiB,CAAC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;YACpD,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC3C,CAAC;aAAM,IAAI,OAAO,IAAI,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;YACrC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,KAA0B,EAAE,MAAM,CAAC,CAAC;QAC1D,CAAC;QACD,IAAI,MAAM,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC;YAC5B,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,IAAyB,EAAE,MAAM,CAAC,CAAC;QACzD,CAAC;QACD,IAAI,OAAO,IAAI,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;YAC9B,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,KAA0B,EAAE,MAAM,CAAC,CAAC;QAC1D,CAAC;IACH,CAAC;IAED;;OAEG;IACK,iBAAiB,CAAC,IAAwB,EAAE,MAAqB;QACvE,IAAI,IAAI,CAAC,cAAc,KAAK,UAAU,EAAE,CAAC;YACvC,MAAM,MAAM,GAAG,IAAkC,CAAC;YAClD,MAAM,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC;YAEzC,wBAAwB;YACxB,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC7B,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBACpC,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC/B,CAAC;iBAAM,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC/C,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACjC,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC/B,CAAC;iBAAM,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;gBACxC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBACpC,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC/B,CAAC;iBAAM,IAAI,CAAC,WAAW,EAAE,SAAS,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;gBACtE,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAClC,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC/B,CAAC;iBAAM,IAAI,EAAE,KAAK,OAAO,EAAE,CAAC;gBAC1B,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACjC,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC/B,CAAC;iBAAM,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;gBAChF,+CAA+C;gBAC/C,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBACrC,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC/B,CAAC;iBAAM,IAAI,EAAE,KAAK,aAAa,EAAE,CAAC;gBAChC,sEAAsE;gBACtE,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBACpC,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC/B,CAAC;iBAAM,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC1C,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBACnC,iCAAiC;gBACjC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;oBAC9B,IAAI,CAAC,iBAAiB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;gBACtC,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,6BAA6B;gBAC7B,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBACpC,MAAM,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAClC,CAAC;QACH,CAAC;aAAM,IAAI,IAAI,CAAC,cAAc,KAAK,WAAW,EAAE,CAAC;YAC/C,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAClC,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACrC,CAAC;IACH,CAAC;IAED;;;;;;;OAOG;IACH,KAAK,CAAC,aAAa,CAAC,KAAa,EAAE,OAAsB;QACvD,MAAM,MAAM,GAAG,IAAI,CAAC,qBAAqB,CAAC,KAAK,CAAC,CAAC;QACjD,IAAI,CAAC,qBAAqB,GAAG,MAAM,CAAC;QACpC,IAAI,CAAC,sBAAsB,GAAG,OAAO,EAAE,OAAO,CAAC;QAE/C,yDAAyD;QACzD,6EAA6E;QAC7E,yEAAyE;QACzE,IAAI,CAAC,sBAAsB,CAAC,KAAK,CAAC,CAAC;QAEnC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,OAAO,CAAC,GAAG,CAAC,2CAA2C,EAAE,IAAI,CAAC,qBAAqB,CAAC,CAAC;YACrF,OAAO,CAAC,GAAG,CAAC,yCAAyC,EAAE,IAAI,CAAC,sBAAsB,CAAC,CAAC;YACpF,OAAO,CAAC,GAAG,CAAC,wDAAwD,EAAE,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC;QAC5G,CAAC;QAED,oCAAoC;QACpC,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,IAAA,2BAAS,EAAC,KAAK,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;YAClD,MAAM,SAAS,GAAG,IAAI,CAAC,cAAc,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;YAE5D,IAAI,SAAS,CAAC,IAAI,KAAK,UAAU,IAAI,SAAS,CAAC,QAAQ,EAAE,CAAC;gBACxD,MAAM,gBAAgB,GAAG,SAAS,CAAC,QAAuD,CAAC;gBAE3F,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;oBACf,OAAO,CAAC,GAAG,CAAC,wDAAwD,EAAE;wBACpE,UAAU,EAAE,gBAAgB,CAAC,UAAU;wBACvC,UAAU,EAAE,gBAAgB,CAAC,kBAAkB,EAAE,MAAM;qBACxD,CAAC,CAAC;gBACL,CAAC;gBAED,oBAAoB;gBACpB,MAAM,YAAY,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,gBAAgB,CAAC,aAAc,EAAE,OAAO,CAAC,CAAC;gBAE3F,oDAAoD;gBACpD,MAAM,YAAY,GAAG,MAAM,EAAE,YAAY;oBACvC,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,YAAY,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE;oBAC3D,CAAC,CAAC,SAAS,CAAC;gBACd,IAAI,OAAO,GAAG,MAAM,IAAI,CAAC,cAAc,CAAC,wBAAwB,CAC9D,gBAAgB,EAChB,YAAY,EACZ,YAAY,CACb,CAAC;gBAEF,oBAAoB;gBACpB,IAAI,MAAM,EAAE,MAAM,IAAI,MAAM,EAAE,KAAK,EAAE,CAAC;oBACpC,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,IAAI,CAAC,CAAC;oBACjC,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;oBAC5D,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBACtC,CAAC;gBAED,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;oBACf,OAAO,CAAC,GAAG,CAAC,6CAA6C,OAAO,CAAC,MAAM,UAAU,CAAC,CAAC;gBACrF,CAAC;gBAED,MAAM,YAAY,GAAG,IAAA,oBAAI,EAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;gBACpD,OAAO,YAAsC,CAAC;YAChD,CAAC;QACH,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBACf,OAAO,CAAC,GAAG,CAAC,mEAAmE,EAAE,KAAK,CAAC,CAAC;YAC1F,CAAC;QACH,CAAC;QAED,4EAA4E;QAC5E,kDAAkD;QAClD,iFAAiF;QACjF,wFAAwF;QACxF,gFAAgF;QAChF,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,WAAW,EAAE,GAAG,OAAO,IAAI,EAAE,CAAC;QAC/E,MAAM,YAAY,GAAG;YACnB,GAAG,WAAW;YACd,6FAA6F;YAC7F,CAAC,yBAAyB,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC;SAC5D,CAAC;QAEF,OAAO,MAAM,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,EAAE,YAAmB,CAAC,CAAC;IACrE,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,gBAAgB,CAC5B,aAAgC,EAChC,QAAuB;QAEvB,MAAM,QAAQ,GAAe,EAAE,CAAC;QAEhC,MAAM,WAAW,GAAG;YAClB,GAAG,EAAE,GAAM,EAAE,CAAC,SAA0B;YACxC,OAAO,EAAE,GAAM,EAAE,GAAG,MAAM,IAAI,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC;YACzD,GAAG,EAAE,GAAG,EAAE,CAAC,KAAK;SACjB,CAAC;QAEF,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,aAAa,EAAE,WAAkB,EAAE,SAAS,CAAC,CAAC;QAE5F,IAAI,KAAK,EAAE,MAAM,OAAO,IAAI,MAAM,EAAE,CAAC;YACnC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACzB,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED;;;OAGG;IACK,sBAAsB,CAAC,KAAa;QAC1C,IAAI,CAAC,wBAAwB,CAAC,KAAK,EAAE,CAAC;QAEtC,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,IAAA,2BAAS,EAAC,KAAK,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;YAClD,IAAI,CAAC,wBAAwB,CAAC,OAAO,CAAC,CAAC;QACzC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBACf,OAAO,CAAC,GAAG,CAAC,kDAAkD,EAAE,KAAK,CAAC,CAAC;YACzE,CAAC;QACH,CAAC;IACH,CAAC;IAED;;OAEG;IACK,wBAAwB,CAAC,EAAqB;QACpD,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACzB,MAAM,QAAQ,GAAG,EAAoB,CAAC;YACtC,MAAM,UAAU,GAAG,QAAQ,CAAC,UAAU,CAAC;YAEvC,wCAAwC;YACxC,MAAM,SAAS,GAAG,IAAI,CAAC,sBAAsB,CAAC,UAAU,CAAC,CAAC;YAE1D,yCAAyC;YACzC,KAAK,MAAM,OAAO,IAAI,SAAS,EAAE,CAAC;gBAChC,oDAAoD;gBACpD,MAAM,QAAQ,GAAG,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;gBAC5D,IAAI,QAAQ,EAAE,CAAC;oBACb,mBAAmB;oBACnB,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,OAAO,EAAE;wBACzC,IAAI,EAAE,YAAY;wBAClB,cAAc,EAAE,UAAU;wBAC1B,QAAQ,EAAE,IAAI;wBACd,IAAI,EAAE,CAAC,QAAQ,EAAE,UAAU,CAAC;qBACC,CAAC,CAAC;gBACnC,CAAC;qBAAM,CAAC;oBACN,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;gBACzD,CAAC;YACH,CAAC;YAED,gCAAgC;YAChC,IAAI,CAAC,wBAAwB,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAChD,CAAC;aAAM,IAAI,OAAO,IAAI,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;YACrC,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC5B,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;oBAC7B,IAAI,CAAC,wBAAwB,CAAC,KAA0B,CAAC,CAAC;gBAC5D,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC,wBAAwB,CAAC,EAAE,CAAC,KAA0B,CAAC,CAAC;YAC/D,CAAC;QACH,CAAC;QACD,IAAI,MAAM,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC;YAC5B,IAAI,CAAC,wBAAwB,CAAC,EAAE,CAAC,IAAyB,CAAC,CAAC;QAC9D,CAAC;QACD,IAAI,OAAO,IAAI,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;YAC9B,IAAI,CAAC,wBAAwB,CAAC,EAAE,CAAC,KAA0B,CAAC,CAAC;QAC/D,CAAC;IACH,CAAC;IAED;;OAEG;IACK,sBAAsB,CAAC,IAAwB;QACrD,MAAM,SAAS,GAAa,EAAE,CAAC;QAE/B,MAAM,WAAW,GAAG,CAAC,CAAqB,EAAQ,EAAE;YAClD,IAAI,CAAC,CAAC,cAAc,KAAK,MAAM,EAAE,CAAC;gBAChC,MAAM,IAAI,GAAI,CAA4B,CAAC,IAAI,CAAC;gBAChD,IAAI,IAAI,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;oBACjC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC7B,CAAC;YACH,CAAC;iBAAM,IAAI,CAAC,CAAC,cAAc,KAAK,UAAU,EAAE,CAAC;gBAC3C,MAAM,MAAM,GAAG,CAA+B,CAAC;gBAC/C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;oBAC9B,WAAW,CAAC,GAAG,CAAC,CAAC;gBACnB,CAAC;YACH,CAAC;QACH,CAAC,CAAC;QAEF,WAAW,CAAC,IAAI,CAAC,CAAC;QAClB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED;;OAEG;IACH,8BAA8B,CAAC,OAAe;QAC5C,OAAO,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACpD,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,YAAY,CAAC,KAAa,EAAE,OAAsB;QACtD,MAAM,MAAM,GAAG,IAAI,CAAC,qBAAqB,CAAC,KAAK,CAAC,CAAC;QACjD,IAAI,CAAC,qBAAqB,GAAG,MAAM,CAAC;QACpC,IAAI,CAAC,sBAAsB,GAAG,OAAO,EAAE,OAAO,CAAC;QAE/C,4BAA4B;QAC5B,IAAI,CAAC,IAAI,CAAC,qBAAqB,EAAE,CAAC;YAChC,IAAI,CAAC,qBAAqB,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;QAC5C,CAAC;aAAM,IAAI,IAAI,CAAC,qBAAqB,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC1D,IAAI,CAAC,qBAAqB,CAAC,KAAK,GAAG,CAAC,CAAC;QACvC,CAAC;QAED,IAAI,CAAC;YACH,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,WAAW,EAAE,GAAG,OAAO,IAAI,EAAE,CAAC;YAC/E,MAAM,YAAY,GAAG;gBACnB,GAAG,WAAW;gBACd,CAAC,yBAAyB,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC;aAC5D,CAAC;YAEF,OAAO,MAAM,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,YAAmB,CAAC,CAAC;QACpE,CAAC;gBAAS,CAAC;YACT,IAAI,CAAC,qBAAqB,GAAG,IAAI,CAAC;YAClC,IAAI,CAAC,sBAAsB,GAAG,SAAS,CAAC;QAC1C,CAAC;IACH,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,UAAU,CAAC,KAAa,EAAE,OAAsB;QACpD,OAAO,CAAC,GAAG,CAAC,8CAA8C,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QACpF,MAAM,MAAM,GAAG,IAAI,CAAC,qBAAqB,CAAC,KAAK,CAAC,CAAC;QACjD,IAAI,CAAC,qBAAqB,GAAG,MAAM,CAAC;QACpC,IAAI,CAAC,sBAAsB,GAAG,OAAO,EAAE,OAAO,CAAC;QAE/C,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YACzB,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,WAAW,EAAE,GAAG,OAAO,IAAI,EAAE,CAAC;YAC/E,MAAM,YAAY,GAAG;gBACnB,GAAG,WAAW;gBACd,CAAC,yBAAyB,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC;aAC5D,CAAC;YAEF,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,EAAE,YAAmB,CAAC,CAAC;YACxE,OAAO,CAAC,GAAG,CAAC,iDAAiD,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,IAAI,CAAC,CAAC;YACrF,OAAO,MAAM,CAAC;QAChB,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO,CAAC,KAAK,CAAC,0CAA0C,EAAE,GAAG,CAAC,CAAC;YAC/D,MAAM,GAAG,CAAC;QACZ,CAAC;gBAAS,CAAC;YACT,IAAI,CAAC,qBAAqB,GAAG,IAAI,CAAC;YAClC,IAAI,CAAC,sBAAsB,GAAG,SAAS,CAAC;QAC1C,CAAC;IACH,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,SAAS,CAAC,KAAa,EAAE,OAAsB;QACnD,OAAO,CAAC,GAAG,CAAC,6CAA6C,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QACnF,IAAI,CAAC,sBAAsB,GAAG,OAAO,EAAE,OAAO,CAAC;QAE/C,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YACzB,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE;gBAChD,OAAO,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC;gBACxB,GAAG,OAAO;aACJ,CAAC,CAAC;YACV,OAAO,CAAC,GAAG,CAAC,gDAAgD,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,IAAI,CAAC,CAAC;YACpF,OAAO,MAAM,CAAC;QAChB,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO,CAAC,KAAK,CAAC,yCAAyC,EAAE,GAAG,CAAC,CAAC;YAC9D,MAAM,GAAG,CAAC;QACZ,CAAC;gBAAS,CAAC;YACT,IAAI,CAAC,sBAAsB,GAAG,SAAS,CAAC;QAC1C,CAAC;IACH,CAAC;IAED;;OAEG;IACK,qBAAqB,CAAC,KAAa;QACzC,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,IAAA,2BAAS,EAAC,KAAK,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;YAClD,OAAO,IAAI,CAAC,gCAAgC,CAAC,OAAO,CAAC,CAAC;QACxD,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBACf,OAAO,CAAC,GAAG,CAAC,gDAAgD,EAAE,KAAK,CAAC,CAAC;YACvE,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED;;OAEG;IACK,gCAAgC,CAAC,OAA0B;QACjE,IAAI,KAAyB,CAAC;QAC9B,IAAI,MAA0B,CAAC;QAC/B,IAAI,KAA6B,CAAC;QAClC,IAAI,YAAgC,CAAC;QACrC,IAAI,OAA4B,CAAC;QACjC,IAAI,SAAS,GAAG,OAAO,CAAC;QACxB,IAAI,YAAY,GAAG,IAAI,CAAC;QAExB,OAAO,SAAS,EAAE,CAAC;YACjB,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;gBACvB,KAAK,OAAO,CAAC,CAAC,CAAC;oBACb,MAAM,KAAK,GAAG,SAA0B,CAAC;oBACzC,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;wBAC/B,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC;oBACvB,CAAC;oBACD,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;wBAC9B,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC;oBACvB,CAAC;oBACD,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC;oBACxB,MAAM;gBACR,CAAC;gBAED,KAAK,SAAS,CAAC,CAAC,CAAC;oBACf,MAAM,OAAO,GAAG,SAA4B,CAAC;oBAC7C,IAAI,OAAO,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;wBACrC,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC,CAAuB,CAAC;wBAE1D,aAAa;wBACb,sEAAsE;wBACtE,0HAA0H;wBAC1H,IAAI,OAA2B,CAAC;wBAChC,OAAO,GAAG,KAAK,CAAC;wBAEhB,IAAI,IAAI,CAAC,cAAc,KAAK,MAAM,EAAE,CAAC;4BACnC,MAAM,QAAQ,GAAG,IAA8B,CAAC;4BAChD,IAAI,QAAQ,CAAC,IAAI,EAAE,QAAQ,KAAK,UAAU,EAAE,CAAC;gCAC3C,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC;4BAChC,CAAC;wBACH,CAAC;6BAAM,IAAI,IAAI,CAAC,cAAc,KAAK,UAAU,EAAE,CAAC;4BAC9C,MAAM,MAAM,GAAG,IAAkC,CAAC;4BAClD,IAAI,MAAM,CAAC,QAAQ,KAAK,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gCAC3D,OAAO,GAAG,IAAI,CAAC;gCACf,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAuB,CAAC;gCACvD,IAAI,SAAS,CAAC,cAAc,KAAK,MAAM,EAAE,CAAC;oCACxC,MAAM,QAAQ,GAAG,SAAmC,CAAC;oCACrD,IAAI,QAAQ,CAAC,IAAI,EAAE,QAAQ,KAAK,UAAU,EAAE,CAAC;wCAC3C,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC;oCAChC,CAAC;gCACH,CAAC;4BACH,CAAC;iCAAM,IAAI,MAAM,CAAC,QAAQ,KAAK,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gCACjE,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAuB,CAAC;gCACvD,IAAI,SAAS,CAAC,cAAc,KAAK,MAAM,EAAE,CAAC;oCACxC,MAAM,QAAQ,GAAG,SAAmC,CAAC;oCACrD,IAAI,QAAQ,CAAC,IAAI,EAAE,QAAQ,KAAK,UAAU,EAAE,CAAC;wCAC3C,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC;oCAChC,CAAC;gCACH,CAAC;4BACH,CAAC;wBACH,CAAC;wBAED,IAAI,OAAO,EAAE,CAAC;4BACZ,YAAY,GAAG,OAAO,CAAC,CAAE,UAAU;4BAEnC,kBAAkB;4BAClB,MAAM,QAAQ,GAAG,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC;4BAClD,IAAI,QAAQ,EAAE,CAAC;gCACb,KAAK,GAAG,CAAC,QAAQ,CAAC,CAAC;4BACrB,CAAC;4BACD,8CAA8C;wBAChD,CAAC;oBACH,CAAC;oBACD,SAAS,GAAG,OAAO,CAAC,KAAK,CAAC;oBAC1B,MAAM;gBACR,CAAC;gBAED,KAAK,SAAS,CAAC;gBACf,KAAK,UAAU,CAAC;gBAChB,KAAK,SAAS,CAAC,CAAC,CAAC;oBACf,SAAS,GAAI,SAAiB,CAAC,KAAK,CAAC;oBACrC,MAAM;gBACR,CAAC;gBAED,KAAK,KAAK,CAAC,CAAC,CAAC;oBACX,MAAM,GAAG,GAAG,SAAwB,CAAC;oBACrC,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;wBAC9B,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC;oBACzD,CAAC;oBACD,YAAY,GAAG,KAAK,CAAC;oBACrB,OAAO,YAAY,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;gBAC/E,CAAC;gBAED,KAAK,MAAM,CAAC;gBACZ,KAAK,UAAU,CAAC;gBAChB,KAAK,OAAO,CAAC;gBACb,KAAK,OAAO;oBACV,iCAAiC;oBACjC,0BAA0B;oBAC1B,YAAY,GAAG,KAAK,CAAC;oBACrB,IAAI,YAAY,EAAE,CAAC;wBACjB,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC;oBACzD,CAAC;oBACD,OAAO,IAAI,CAAC;gBAEd,KAAK,QAAQ,CAAC;gBACd,KAAK,QAAQ,CAAC;gBACd,KAAK,OAAO;oBACV,qCAAqC;oBACrC,IAAI,YAAY,EAAE,CAAC;wBACjB,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC;oBACzD,CAAC;oBACD,OAAO,IAAI,CAAC;gBAEd;oBACE,OAAO,IAAI,CAAC;YAChB,CAAC;QACH,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACK,kBAAkB,CAAC,OAAe;QACxC,MAAM,OAAO,GAA6B;YACxC,GAAG,EAAE,SAAS;YACd,SAAS,EAAE,SAAS;YACpB,GAAG,EAAE,WAAW;YAChB,WAAW,EAAE,WAAW;YACxB,GAAG,EAAE,QAAQ;YACb,QAAQ,EAAE,QAAQ;YAClB,GAAG,EAAE,OAAO;YACZ,OAAO,EAAE,OAAO;SACjB,CAAC;QACF,OAAO,OAAO,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,IAAI,IAAI,CAAC;IAChD,CAAC;CACF;AAjlBD,kDAilBC","sourcesContent":["/**\n * ComunicaQuintEngine - Comunica SPARQL engine backed by QuintStore\n * \n * Features:\n * 1. Query pushdown optimization (LIMIT/ORDER BY)\n * 2. FILTER pushdown via IQuerySource interface\n * 3. External filters for security boundaries (ACL)\n * 4. OPTIONAL optimization via QueryOptimizer\n * \n * Architecture:\n * - Uses QuintQuerySource (IQuerySource) for proper FILTER pushdown\n * - Uses QueryOptimizer for OPTIONAL and Compound Query optimization\n * - Comunica pushes FILTER operations down to sources that declare support\n * - QuintQuerySource extracts filters from algebra and applies them to QuintStore\n */\n\nimport { EventEmitter } from 'events';\nimport type { Quad, Term, Bindings, ResultStream } from '@rdfjs/types';\nimport type * as RDF from '@rdfjs/types';\nimport { QueryEngine } from '@comunica/query-sparql-rdfjs';\nimport { BindingsFactory } from '@comunica/utils-bindings-factory';\nimport { translate, type Algebra } from 'sparqlalgebrajs';\nimport { wrap } from 'asynciterator';\nimport { DataFactory } from 'rdf-data-factory';\n\nimport type { QuintStore, QuintPattern, QueryOptions, TermName, TermOperators } from '../quint/types';\nimport { QuintQuerySource } from './QuintQuerySource';\nimport { QueryOptimizer } from './QueryOptimizer';\nimport { SimpleSparqlExecutor } from './SimpleSparqlExecutor';\n\nexport interface ComunicaQuintEngineOptions {\n  debug?: boolean;\n}\n\n/**\n * Security/ACL filters passed from upstream\n * These are applied unconditionally to restrict query scope\n */\nexport interface SecurityFilters {\n  subject?: TermOperators;\n  predicate?: TermOperators;\n  object?: TermOperators;\n  graph?: TermOperators;\n}\n\nexport interface QueryContext {\n  sources?: unknown[];\n  baseIRI?: string;\n  /** Security filters for access control */\n  filters?: SecurityFilters;\n  [key: string]: unknown;\n}\n\n/**\n * Query analysis result (stateless)\n */\nexport interface QueryAnalysis {\n  hasFilter: boolean;\n  filterTypes: string[];\n  pushdownable: string[];\n  nonPushdownable: string[];\n  estimatedPushdownRate: number;\n}\n\ninterface OptimizeParams {\n  limit?: number;\n  offset?: number;\n  order?: TermName[];\n  /** 原始 ORDER BY 变量名，用于在 QuintQuerySource 中分析绑定位置 */\n  orderVarName?: string;\n  reverse?: boolean;\n}\n\n// Context key names - must match Comunica's internal keys\nconst CONTEXT_KEY_QUERY_SOURCES = '@comunica/bus-query-operation:querySources';\n\nconst dataFactory = new DataFactory();\n\n/**\n * Custom RDF/JS Store backed by QuintStore\n * Used for UPDATE operations (INSERT/DELETE) which don't need FILTER pushdown\n */\nclass QuintRdfStore implements RDF.Store {\n  constructor(\n    private readonly store: QuintStore,\n    private readonly getSecurityFilters: () => SecurityFilters | undefined,\n    private readonly debug: boolean\n  ) {}\n\n  match(\n    subject?: Term | null,\n    predicate?: Term | null,\n    object?: Term | null,\n    graph?: Term | null\n  ): RDF.Stream {\n    // Build QuintPattern\n    const pattern: QuintPattern = {};\n    \n    if (subject && subject.termType !== 'Variable') {\n      pattern.subject = subject;\n    }\n    if (predicate && predicate.termType !== 'Variable') {\n      pattern.predicate = predicate;\n    }\n    if (object && object.termType !== 'Variable') {\n      pattern.object = object;\n    }\n    if (graph && graph.termType !== 'Variable' && graph.termType !== 'DefaultGraph') {\n      pattern.graph = graph;\n    }\n\n    // Apply security filters (from upstream, e.g., ACL)\n    const securityFilters = this.getSecurityFilters();\n    if (securityFilters) {\n      if (securityFilters.subject && !pattern.subject) {\n        pattern.subject = securityFilters.subject;\n      }\n      if (securityFilters.predicate && !pattern.predicate) {\n        pattern.predicate = securityFilters.predicate;\n      }\n      if (securityFilters.object && !pattern.object) {\n        pattern.object = securityFilters.object;\n      }\n      if (securityFilters.graph && !pattern.graph) {\n        pattern.graph = securityFilters.graph;\n      }\n    }\n\n    if (this.debug) {\n      console.log(`[QuintRdfStore] match() called`);\n      console.log(`  pattern:`, pattern);\n    }\n\n    // Use wrap to convert Promise<Array> to AsyncIterator\n    const promiseIterator = wrap(this.store.get(pattern));\n    return promiseIterator as any;\n  }\n\n  /**\n   * Import quads from a stream (Sink interface)\n   */\n  import(stream: RDF.Stream<Quad>): EventEmitter {\n    const emitter = new EventEmitter();\n    \n    const quads: Quad[] = [];\n    let ended = false;\n    \n    // Handle data events\n    stream.on('data', (quad: Quad) => {\n      quads.push(quad);\n    });\n    \n    const handleEnd = () => {\n      if (ended) return;\n      ended = true;\n      if (quads.length > 0) {\n        this.store.multiPut(quads as any[])\n          .then(() => emitter.emit('end'))\n          .catch((err) => emitter.emit('error', err));\n      } else {\n        emitter.emit('end');\n      }\n    };\n    \n    stream.on('end', handleEnd);\n    stream.on('error', (err) => {\n      emitter.emit('error', err);\n    });\n    \n    // Handle already-ended streams (synchronous streams)\n    // Use setImmediate to ensure we check after all synchronous data events\n    setImmediate(() => {\n      if ((stream as any).readableEnded || (stream as any).closed) {\n        handleEnd();\n      }\n    });\n    \n    return emitter;\n  }\n\n  /**\n   * Remove quads from a stream (Store interface)\n   */\n  remove(stream: RDF.Stream<Quad>): EventEmitter {\n    const emitter = new EventEmitter();\n    \n    const deletePromises: Promise<number>[] = [];\n    let ended = false;\n    \n    stream.on('data', (quad: Quad) => {\n      const pattern: QuintPattern = {\n        subject: quad.subject,\n        predicate: quad.predicate,\n        object: quad.object,\n      };\n      if (quad.graph && quad.graph.termType !== 'DefaultGraph') {\n        pattern.graph = quad.graph;\n      }\n      deletePromises.push(this.store.del(pattern));\n    });\n    \n    const handleEnd = () => {\n      if (ended) return;\n      ended = true;\n      Promise.all(deletePromises)\n        .then(() => emitter.emit('end'))\n        .catch((err) => emitter.emit('error', err));\n    };\n    \n    stream.on('end', handleEnd);\n    stream.on('error', (err) => {\n      emitter.emit('error', err);\n    });\n    \n    // Handle already-ended streams (synchronous streams)\n    setImmediate(() => {\n      if ((stream as any).readableEnded || (stream as any).closed) {\n        handleEnd();\n      }\n    });\n    \n    return emitter;\n  }\n\n  /**\n   * Remove all matching quads (Store interface)\n   */\n  removeMatches(\n    subject?: Term | null,\n    predicate?: Term | null,\n    object?: Term | null,\n    graph?: Term | null\n  ): EventEmitter {\n    const emitter = new EventEmitter();\n    \n    if (this.debug) {\n      console.log(`[QuintRdfStore] removeMatches()`, { subject, predicate, object, graph });\n    }\n    \n    const pattern: QuintPattern = {};\n    if (subject && subject.termType !== 'Variable') {\n      pattern.subject = subject;\n    }\n    if (predicate && predicate.termType !== 'Variable') {\n      pattern.predicate = predicate;\n    }\n    if (object && object.termType !== 'Variable') {\n      pattern.object = object;\n    }\n    if (graph && graph.termType !== 'Variable' && graph.termType !== 'DefaultGraph') {\n      pattern.graph = graph;\n    }\n    \n    this.store.del(pattern)\n      .then(() => emitter.emit('end'))\n      .catch((err) => emitter.emit('error', err));\n    \n    return emitter;\n  }\n\n  /**\n   * Delete a named graph (Store interface)\n   */\n  deleteGraph(graph: Term | string): EventEmitter {\n    const emitter = new EventEmitter();\n    \n    const graphTerm = typeof graph === 'string' \n      ? { termType: 'NamedNode' as const, value: graph }\n      : graph;\n    \n    const pattern: QuintPattern = { graph: graphTerm as Term };\n    \n    this.store.del(pattern)\n      .then(() => emitter.emit('end'))\n      .catch((err) => emitter.emit('error', err));\n    \n    return emitter;\n  }\n}\n\nexport class ComunicaQuintEngine {\n  private readonly store: QuintStore;\n  private readonly rdfStore: QuintRdfStore;\n  private readonly querySource: QuintQuerySource;\n  private readonly queryOptimizer: QueryOptimizer;\n  private readonly simpleExecutor: SimpleSparqlExecutor;\n  private readonly engine: QueryEngine;\n  private readonly debug: boolean;\n  private bindingsFactory: any;\n  \n  // Current query optimization params\n  private currentOptimizeParams: OptimizeParams | null = null;\n  // Current security filters (from upstream)\n  private currentSecurityFilters: SecurityFilters | undefined;\n  // Current query's FILTER expressions for pushdown\n  private currentFilterExpressions: Map<string, Algebra.Expression> = new Map();\n\n  constructor(store: QuintStore, options?: ComunicaQuintEngineOptions) {\n    this.store = store;\n    this.debug = options?.debug ?? false;\n    \n    // Create RdfStore for UPDATE operations\n    this.rdfStore = new QuintRdfStore(\n      store,\n      () => this.currentSecurityFilters,\n      this.debug\n    );\n    \n    // Create BindingsFactory\n    this.bindingsFactory = new (BindingsFactory as any)(dataFactory);\n    \n    // Create QuintQuerySource with IQuerySource interface for proper FILTER pushdown\n    this.querySource = new QuintQuerySource(store, {\n      debug: this.debug,\n      bindingsFactory: this.bindingsFactory,\n      getSecurityFilters: () => this.currentSecurityFilters,\n      getOptimizeParams: () => this.currentOptimizeParams,\n      getFilterExpression: (varName: string) => this.currentFilterExpressions.get(varName),\n    });\n    \n    // Create QueryOptimizer for OPTIONAL and Compound Query optimization\n    this.queryOptimizer = new QueryOptimizer(store, {\n      debug: this.debug,\n      bindingsFactory: this.bindingsFactory,\n    });\n    \n    this.engine = new QueryEngine();\n  }\n\n  /**\n   * Analyze a query's pushdown potential (stateless)\n   * Returns analysis of what can/cannot be pushed down without executing the query\n   */\n  analyzeQuery(query: string): QueryAnalysis {\n    const algebra = translate(query);\n    return this.analyzeAlgebra(algebra);\n  }\n\n  /**\n   * Analyze algebra tree for pushdown potential\n   */\n  private analyzeAlgebra(op: Algebra.Operation): QueryAnalysis {\n    const result: QueryAnalysis = {\n      hasFilter: false,\n      filterTypes: [],\n      pushdownable: [],\n      nonPushdownable: [],\n      estimatedPushdownRate: 1.0,\n    };\n\n    this.walkAlgebra(op, result);\n\n    // Calculate pushdown rate\n    const total = result.pushdownable.length + result.nonPushdownable.length;\n    if (total > 0) {\n      result.estimatedPushdownRate = result.pushdownable.length / total;\n    }\n\n    return result;\n  }\n\n  /**\n   * Walk algebra tree and collect filter info\n   */\n  private walkAlgebra(op: Algebra.Operation, result: QueryAnalysis): void {\n    if (op.type === 'filter') {\n      result.hasFilter = true;\n      const filterOp = op as Algebra.Filter;\n      this.analyzeExpression(filterOp.expression, result);\n      this.walkAlgebra(filterOp.input, result);\n    } else if ('input' in op && op.input) {\n      this.walkAlgebra(op.input as Algebra.Operation, result);\n    }\n    if ('left' in op && op.left) {\n      this.walkAlgebra(op.left as Algebra.Operation, result);\n    }\n    if ('right' in op && op.right) {\n      this.walkAlgebra(op.right as Algebra.Operation, result);\n    }\n  }\n\n  /**\n   * Analyze a filter expression\n   */\n  private analyzeExpression(expr: Algebra.Expression, result: QueryAnalysis): void {\n    if (expr.expressionType === 'operator') {\n      const opExpr = expr as Algebra.OperatorExpression;\n      const op = opExpr.operator.toLowerCase();\n\n      // Classify the operator\n      if (['=', '!='].includes(op)) {\n        result.filterTypes.push('equality');\n        result.pushdownable.push(op);\n      } else if (['<', '>', '<=', '>='].includes(op)) {\n        result.filterTypes.push('range');\n        result.pushdownable.push(op);\n      } else if (['in', 'notin'].includes(op)) {\n        result.filterTypes.push('equality');\n        result.pushdownable.push(op);\n      } else if (['strstarts', 'strends', 'contains', 'regex'].includes(op)) {\n        result.filterTypes.push('string');\n        result.pushdownable.push(op);\n      } else if (op === 'bound') {\n        result.filterTypes.push('bound');\n        result.pushdownable.push(op);\n      } else if (['isiri', 'isuri', 'isblank', 'isliteral', 'isnumeric'].includes(op)) {\n        // Type checking functions - can be pushed down\n        result.filterTypes.push('typecheck');\n        result.pushdownable.push(op);\n      } else if (op === 'langmatches') {\n        // LANGMATCHES can be pushed down using $endsWith on serialized format\n        result.filterTypes.push('language');\n        result.pushdownable.push(op);\n      } else if (['&&', '||', '!'].includes(op)) {\n        result.filterTypes.push('logical');\n        // Recurse into logical operators\n        for (const arg of opExpr.args) {\n          this.analyzeExpression(arg, result);\n        }\n      } else {\n        // Non-pushdownable functions\n        result.filterTypes.push('function');\n        result.nonPushdownable.push(op);\n      }\n    } else if (expr.expressionType === 'existence') {\n      result.filterTypes.push('exists');\n      result.pushdownable.push('exists');\n    }\n  }\n\n  /**\n   * Execute SELECT query\n   * Uses IQuerySource for proper FILTER pushdown\n   * \n   * OPTIONAL 优化：\n   * 如果查询包含多个 OPTIONAL 且只是获取属性（不参与过滤），\n   * 则先执行核心条件获取 subjects，再批量获取属性\n   */\n  async queryBindings(query: string, context?: QueryContext): Promise<ResultStream<Bindings>> {\n    const params = this.extractOptimizeParams(query);\n    this.currentOptimizeParams = params;\n    this.currentSecurityFilters = context?.filters;\n    \n    // Extract FILTER expressions from the query for pushdown\n    // Note: We don't clear these in finally because the stream is lazy-evaluated\n    // and sub-queries may need access to filters after this function returns\n    this.extractAndStoreFilters(query);\n    \n    if (this.debug) {\n      console.log(`[ComunicaQuintEngine] Query optimization:`, this.currentOptimizeParams);\n      console.log(`[ComunicaQuintEngine] Security filters:`, this.currentSecurityFilters);\n      console.log(`[ComunicaQuintEngine] Filter expressions for pushdown:`, this.currentFilterExpressions.size);\n    }\n\n    // 尝试 OPTIONAL 优化（使用 QueryOptimizer）\n    try {\n      const algebra = translate(query, { quads: true });\n      const optResult = this.queryOptimizer.analyzeQuery(algebra);\n      \n      if (optResult.type === 'optional' && optResult.analysis) {\n        const optionalAnalysis = optResult.analysis as import('./QueryOptimizer').OptionalAnalysis;\n        \n        if (this.debug) {\n          console.log(`[ComunicaQuintEngine] OPTIONAL optimization available:`, {\n            subjectVar: optionalAnalysis.subjectVar,\n            predicates: optionalAnalysis.optionalPredicates?.length,\n          });\n        }\n        \n        // 执行核心查询获取 subjects\n        const coreBindings = await this.executeCoreQuery(optionalAnalysis.coreOperation!, context);\n        \n        // 使用 QueryOptimizer 执行优化查询（排序也在 QueryOptimizer 中处理）\n        const orderOptions = params?.orderVarName \n          ? { varName: params.orderVarName, reverse: params.reverse }\n          : undefined;\n        let results = await this.queryOptimizer.executeOptionalOptimized(\n          optionalAnalysis, \n          coreBindings,\n          orderOptions\n        );\n        \n        // 应用 LIMIT 和 OFFSET\n        if (params?.offset || params?.limit) {\n          const start = params.offset ?? 0;\n          const end = params.limit ? start + params.limit : undefined;\n          results = results.slice(start, end);\n        }\n        \n        if (this.debug) {\n          console.log(`[ComunicaQuintEngine] OPTIONAL optimized: ${results.length} results`);\n        }\n        \n        const resultStream = wrap(Promise.resolve(results));\n        return resultStream as ResultStream<Bindings>;\n      }\n    } catch (error) {\n      if (this.debug) {\n        console.log(`[ComunicaQuintEngine] OPTIONAL optimization failed, falling back:`, error);\n      }\n    }\n\n    // Create context with pre-identified source to bypass source identification\n    // This allows us to use our IQuerySource directly\n    // IMPORTANT: Use plain object instead of ActionContext to avoid version mismatch\n    // between the root @comunica/core and the one bundled with @comunica/query-sparql-rdfjs\n    // The engine will convert it to ActionContext using its internal @comunica/core\n    const { sources: _ignored, filters: _filters, ...restContext } = context || {};\n    const queryContext = {\n      ...restContext,\n      // Set the identified sources directly - this skips ActorContextPreprocessQuerySourceIdentify\n      [CONTEXT_KEY_QUERY_SOURCES]: [{ source: this.querySource }],\n    };\n\n    return await this.engine.queryBindings(query, queryContext as any);\n  }\n\n  /**\n   * 执行核心查询（不含 OPTIONAL）\n   */\n  private async executeCoreQuery(\n    coreOperation: Algebra.Operation,\n    _context?: QueryContext\n  ): Promise<Bindings[]> {\n    const bindings: Bindings[] = [];\n\n    const mockContext = {\n      get: <V>() => undefined as V | undefined,\n      getSafe: <V>() => { throw new Error('Not implemented'); },\n      has: () => false,\n    };\n\n    const stream = this.querySource.queryBindings(coreOperation, mockContext as any, undefined);\n    \n    for await (const binding of stream) {\n      bindings.push(binding);\n    }\n\n    return bindings;\n  }\n\n  /**\n   * Extract FILTER expressions from query and store them for later pushdown\n   * Maps variable names to their filter expressions\n   */\n  private extractAndStoreFilters(query: string): void {\n    this.currentFilterExpressions.clear();\n    \n    try {\n      const algebra = translate(query, { quads: true });\n      this.collectFilterExpressions(algebra);\n    } catch (error) {\n      if (this.debug) {\n        console.log(`[ComunicaQuintEngine] Failed to extract filters:`, error);\n      }\n    }\n  }\n  \n  /**\n   * Recursively collect FILTER expressions and their variable bindings\n   */\n  private collectFilterExpressions(op: Algebra.Operation): void {\n    if (op.type === 'filter') {\n      const filterOp = op as Algebra.Filter;\n      const expression = filterOp.expression;\n      \n      // Extract variables from the expression\n      const variables = this.getExpressionVariables(expression);\n      \n      // Store the expression for each variable\n      for (const varName of variables) {\n        // Merge with existing expressions for this variable\n        const existing = this.currentFilterExpressions.get(varName);\n        if (existing) {\n          // Combine with AND\n          this.currentFilterExpressions.set(varName, {\n            type: 'expression',\n            expressionType: 'operator',\n            operator: '&&',\n            args: [existing, expression],\n          } as Algebra.OperatorExpression);\n        } else {\n          this.currentFilterExpressions.set(varName, expression);\n        }\n      }\n      \n      // Continue to nested operations\n      this.collectFilterExpressions(filterOp.input);\n    } else if ('input' in op && op.input) {\n      if (Array.isArray(op.input)) {\n        for (const child of op.input) {\n          this.collectFilterExpressions(child as Algebra.Operation);\n        }\n      } else {\n        this.collectFilterExpressions(op.input as Algebra.Operation);\n      }\n    }\n    if ('left' in op && op.left) {\n      this.collectFilterExpressions(op.left as Algebra.Operation);\n    }\n    if ('right' in op && op.right) {\n      this.collectFilterExpressions(op.right as Algebra.Operation);\n    }\n  }\n  \n  /**\n   * Get variable names from an expression\n   */\n  private getExpressionVariables(expr: Algebra.Expression): string[] {\n    const variables: string[] = [];\n    \n    const collectVars = (e: Algebra.Expression): void => {\n      if (e.expressionType === 'term') {\n        const term = (e as Algebra.TermExpression).term;\n        if (term.termType === 'Variable') {\n          variables.push(term.value);\n        }\n      } else if (e.expressionType === 'operator') {\n        const opExpr = e as Algebra.OperatorExpression;\n        for (const arg of opExpr.args) {\n          collectVars(arg);\n        }\n      }\n    };\n    \n    collectVars(expr);\n    return variables;\n  }\n  \n  /**\n   * Get the current filter expression for a variable (used by QuintQuerySource)\n   */\n  getFilterExpressionForVariable(varName: string): Algebra.Expression | undefined {\n    return this.currentFilterExpressions.get(varName);\n  }\n\n  /**\n   * Execute ASK query\n   */\n  async queryBoolean(query: string, context?: QueryContext): Promise<boolean> {\n    const params = this.extractOptimizeParams(query);\n    this.currentOptimizeParams = params;\n    this.currentSecurityFilters = context?.filters;\n    \n    // Optimize ASK with limit=1\n    if (!this.currentOptimizeParams) {\n      this.currentOptimizeParams = { limit: 1 };\n    } else if (this.currentOptimizeParams.limit === undefined) {\n      this.currentOptimizeParams.limit = 1;\n    }\n    \n    try {\n      const { sources: _ignored, filters: _filters, ...restContext } = context || {};\n      const queryContext = {\n        ...restContext,\n        [CONTEXT_KEY_QUERY_SOURCES]: [{ source: this.querySource }],\n      };\n\n      return await this.engine.queryBoolean(query, queryContext as any);\n    } finally {\n      this.currentOptimizeParams = null;\n      this.currentSecurityFilters = undefined;\n    }\n  }\n\n  /**\n   * Execute CONSTRUCT/DESCRIBE query\n   */\n  async queryQuads(query: string, context?: QueryContext): Promise<ResultStream<Quad>> {\n    console.log(`[ComunicaQuintEngine.queryQuads] Starting: ${query.slice(0, 100)}...`);\n    const params = this.extractOptimizeParams(query);\n    this.currentOptimizeParams = params;\n    this.currentSecurityFilters = context?.filters;\n    \n    try {\n      const start = Date.now();\n      const { sources: _ignored, filters: _filters, ...restContext } = context || {};\n      const queryContext = {\n        ...restContext,\n        [CONTEXT_KEY_QUERY_SOURCES]: [{ source: this.querySource }],\n      };\n\n      const result = await this.engine.queryQuads(query, queryContext as any);\n      console.log(`[ComunicaQuintEngine.queryQuads] Completed in ${Date.now() - start}ms`);\n      return result;\n    } catch (err) {\n      console.error(`[ComunicaQuintEngine.queryQuads] Failed:`, err);\n      throw err;\n    } finally {\n      this.currentOptimizeParams = null;\n      this.currentSecurityFilters = undefined;\n    }\n  }\n\n  /**\n   * Execute UPDATE query (INSERT/DELETE)\n   * Uses RDF.Store interface since UPDATE doesn't need FILTER pushdown\n   */\n  async queryVoid(query: string, context?: QueryContext): Promise<void> {\n    console.log(`[ComunicaQuintEngine.queryVoid] Starting: ${query.slice(0, 100)}...`);\n    this.currentSecurityFilters = context?.filters;\n    \n    try {\n      const start = Date.now();\n      const result = await this.engine.queryVoid(query, {\n        sources: [this.rdfStore],\n        ...context,\n      } as any);\n      console.log(`[ComunicaQuintEngine.queryVoid] Completed in ${Date.now() - start}ms`);\n      return result;\n    } catch (err) {\n      console.error(`[ComunicaQuintEngine.queryVoid] Failed:`, err);\n      throw err;\n    } finally {\n      this.currentSecurityFilters = undefined;\n    }\n  }\n\n  /**\n   * Extract optimization params from SPARQL query\n   */\n  private extractOptimizeParams(query: string): OptimizeParams | null {\n    try {\n      const algebra = translate(query, { quads: true });\n      return this.extractOptimizeParamsFromAlgebra(algebra);\n    } catch (error) {\n      if (this.debug) {\n        console.log(`[ComunicaQuintEngine] Failed to analyze query:`, error);\n      }\n      return null;\n    }\n  }\n\n  /**\n   * Extract optimization params from SPARQL algebra\n   */\n  private extractOptimizeParamsFromAlgebra(algebra: Algebra.Operation): OptimizeParams | null {\n    let limit: number | undefined;\n    let offset: number | undefined;\n    let order: TermName[] | undefined;\n    let orderVarName: string | undefined;\n    let reverse: boolean | undefined;\n    let currentOp = algebra;\n    let canPushLimit = true;\n\n    while (currentOp) {\n      switch (currentOp.type) {\n        case 'slice': {\n          const slice = currentOp as Algebra.Slice;\n          if (slice.length !== undefined) {\n            limit = slice.length;\n          }\n          if (slice.start !== undefined) {\n            offset = slice.start;\n          }\n          currentOp = slice.input;\n          break;\n        }\n        \n        case 'orderby': {\n          const orderBy = currentOp as Algebra.OrderBy;\n          if (orderBy.expressions.length === 1) {\n            const expr = orderBy.expressions[0] as Algebra.Expression;\n            \n            // 提取变量名和排序方向\n            // ORDER BY ?name: { expressionType: \"term\", term: { value: \"name\" } }\n            // ORDER BY DESC(?name): { expressionType: \"operator\", operator: \"desc\", args: [{ expressionType: \"term\", term: {...} }] }\n            let varName: string | undefined;\n            reverse = false;\n            \n            if (expr.expressionType === 'term') {\n              const termExpr = expr as Algebra.TermExpression;\n              if (termExpr.term?.termType === 'Variable') {\n                varName = termExpr.term.value;\n              }\n            } else if (expr.expressionType === 'operator') {\n              const opExpr = expr as Algebra.OperatorExpression;\n              if (opExpr.operator === 'desc' && opExpr.args.length === 1) {\n                reverse = true;\n                const innerExpr = opExpr.args[0] as Algebra.Expression;\n                if (innerExpr.expressionType === 'term') {\n                  const termExpr = innerExpr as Algebra.TermExpression;\n                  if (termExpr.term?.termType === 'Variable') {\n                    varName = termExpr.term.value;\n                  }\n                }\n              } else if (opExpr.operator === 'asc' && opExpr.args.length === 1) {\n                const innerExpr = opExpr.args[0] as Algebra.Expression;\n                if (innerExpr.expressionType === 'term') {\n                  const termExpr = innerExpr as Algebra.TermExpression;\n                  if (termExpr.term?.termType === 'Variable') {\n                    varName = termExpr.term.value;\n                  }\n                }\n              }\n            }\n            \n            if (varName) {\n              orderVarName = varName;  // 保存原始变量名\n              \n              // 尝试直接映射（s/p/o/g）\n              const termName = this.variableToTermName(varName);\n              if (termName) {\n                order = [termName];\n              }\n              // 如果直接映射失败，QuintQuerySource 会通过 pattern 分析来确定\n            }\n          }\n          currentOp = orderBy.input;\n          break;\n        }\n\n        case 'project':\n        case 'distinct':\n        case 'reduced': {\n          currentOp = (currentOp as any).input;\n          break;\n        }\n\n        case 'bgp': {\n          const bgp = currentOp as Algebra.Bgp;\n          if (bgp.patterns.length === 1) {\n            return { limit, offset, order, orderVarName, reverse };\n          }\n          canPushLimit = false;\n          return canPushLimit ? { limit, offset, order, orderVarName, reverse } : null;\n        }\n\n        case 'join':\n        case 'leftjoin':\n        case 'union':\n        case 'minus':\n          // 虽然不能下推 LIMIT，但仍然返回 ORDER BY 参数\n          // 因为 OPTIONAL 优化路径会自己处理排序\n          canPushLimit = false;\n          if (orderVarName) {\n            return { limit, offset, order, orderVarName, reverse };\n          }\n          return null;\n\n        case 'filter':\n        case 'extend':\n        case 'group':\n          // 同样，返回 ORDER BY 参数供 OPTIONAL 优化路径使用\n          if (orderVarName) {\n            return { limit, offset, order, orderVarName, reverse };\n          }\n          return null;\n\n        default:\n          return null;\n      }\n    }\n\n    return null;\n  }\n\n  /**\n   * Map SPARQL variable name to TermName\n   */\n  private variableToTermName(varName: string): TermName | null {\n    const mapping: Record<string, TermName> = {\n      's': 'subject',\n      'subject': 'subject',\n      'p': 'predicate',\n      'predicate': 'predicate',\n      'o': 'object',\n      'object': 'object',\n      'g': 'graph',\n      'graph': 'graph',\n    };\n    return mapping[varName.toLowerCase()] ?? null;\n  }\n}\n"]}

package/dist/storage/sparql/ExpressionEvaluator.d.ts

@@ -0,0 +1,54 @@
+/**
+ * ExpressionEvaluator - In-memory SPARQL expression evaluation
+ *
+ * Evaluates SPARQL expressions that cannot be pushed down to the database.
+ * Used for filtering bindings after initial pattern matching.
+ */
+import type { Term, Bindings } from '@rdfjs/types';
+import type { Algebra } from 'sparqlalgebrajs';
+import type { QuintStore } from '../quint/types';
+import type { PatternBuilder } from './PatternBuilder';
+/**
+ * Callback for extracting pattern from operation
+ */
+export type ExtractPatternFn = (operation: Algebra.Operation) => {
+    pattern: Algebra.Pattern;
+    filter: Algebra.Expression | null;
+};
+/**
+ * ExpressionEvaluator handles in-memory evaluation of SPARQL expressions
+ */
+export declare class ExpressionEvaluator {
+    private readonly store;
+    private readonly patternBuilder;
+    private readonly extractPatternAndFilter;
+    constructor(store: QuintStore, patternBuilder: PatternBuilder, extractPatternAndFilter: ExtractPatternFn);
+    /**
+     * Evaluate filter expression tree against candidate bindings
+     */
+    evaluateFilterTree(expr: Algebra.Expression, candidates: Bindings[], pattern: Algebra.Pattern): Promise<Bindings[]>;
+    /**
+     * Evaluate operator expression
+     */
+    private evaluateOperator;
+    /**
+     * Union multiple binding sets
+     */
+    private unionBindings;
+    /**
+     * Evaluate EXISTS/NOT EXISTS
+     */
+    private evaluateExistence;
+    private checkExists;
+    /**
+     * Evaluate single binding against operator
+     */
+    evaluateSingleBinding(expr: Algebra.OperatorExpression, binding: Bindings): boolean;
+    getTermValue(expr: Algebra.Expression, binding: Bindings): Term | null;
+    getNumericValue(expr: Algebra.Expression, binding: Bindings): number | null;
+    getStringValue(expr: Algebra.Expression, binding: Bindings): string | null;
+    compareTerms(left: Term | null, right: Term | null, op: string): boolean;
+    isNumericLiteral(lit: any): boolean;
+    effectiveBooleanValue(term: Term): boolean;
+    getBindingKey(binding: Bindings): string;
+}

package/dist/storage/sparql/ExpressionEvaluator.js

@@ -0,0 +1,340 @@
+"use strict";
+/**
+ * ExpressionEvaluator - In-memory SPARQL expression evaluation
+ *
+ * Evaluates SPARQL expressions that cannot be pushed down to the database.
+ * Used for filtering bindings after initial pattern matching.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ExpressionEvaluator = void 0;
+const rdf_data_factory_1 = require("rdf-data-factory");
+const serialization_1 = require("../quint/serialization");
+const dataFactory = new rdf_data_factory_1.DataFactory();
+/**
+ * ExpressionEvaluator handles in-memory evaluation of SPARQL expressions
+ */
+class ExpressionEvaluator {
+    constructor(store, patternBuilder, extractPatternAndFilter) {
+        this.store = store;
+        this.patternBuilder = patternBuilder;
+        this.extractPatternAndFilter = extractPatternAndFilter;
+    }
+    /**
+     * Evaluate filter expression tree against candidate bindings
+     */
+    async evaluateFilterTree(expr, candidates, pattern) {
+        if (candidates.length === 0)
+            return [];
+        switch (expr.expressionType) {
+            case 'operator':
+                return this.evaluateOperator(expr, candidates, pattern);
+            case 'existence':
+                return this.evaluateExistence(expr, candidates, pattern);
+            case 'term':
+                const termExpr = expr;
+                return this.effectiveBooleanValue(termExpr.term) ? candidates : [];
+            default:
+                return candidates; // Unknown: be permissive
+        }
+    }
+    /**
+     * Evaluate operator expression
+     */
+    async evaluateOperator(expr, candidates, pattern) {
+        const op = expr.operator.toLowerCase();
+        // Logical AND
+        if (op === '&&') {
+            let result = candidates;
+            for (const arg of expr.args) {
+                result = await this.evaluateFilterTree(arg, result, pattern);
+            }
+            return result;
+        }
+        // Logical OR
+        if (op === '||') {
+            const resultSets = await Promise.all(expr.args.map(arg => this.evaluateFilterTree(arg, candidates, pattern)));
+            return this.unionBindings(resultSets);
+        }
+        // Logical NOT
+        if (op === '!') {
+            const positives = await this.evaluateFilterTree(expr.args[0], candidates, pattern);
+            const positiveKeys = new Set(positives.map(b => this.getBindingKey(b)));
+            return candidates.filter(b => !positiveKeys.has(this.getBindingKey(b)));
+        }
+        // Other operators: evaluate each binding individually
+        return candidates.filter(b => this.evaluateSingleBinding(expr, b));
+    }
+    /**
+     * Union multiple binding sets
+     */
+    unionBindings(sets) {
+        const seen = new Set();
+        const result = [];
+        for (const set of sets) {
+            for (const binding of set) {
+                const key = this.getBindingKey(binding);
+                if (!seen.has(key)) {
+                    seen.add(key);
+                    result.push(binding);
+                }
+            }
+        }
+        return result;
+    }
+    /**
+     * Evaluate EXISTS/NOT EXISTS
+     */
+    async evaluateExistence(expr, candidates, _pattern) {
+        const results = [];
+        for (const binding of candidates) {
+            const exists = await this.checkExists(expr.input, binding);
+            if (expr.not ? !exists : exists) {
+                results.push(binding);
+            }
+        }
+        return results;
+    }
+    async checkExists(subOperation, binding) {
+        const { pattern: subPattern } = this.extractPatternAndFilter(subOperation);
+        const quintPattern = this.patternBuilder.buildExistsPattern(subPattern, binding);
+        const results = await this.store.get(quintPattern, { limit: 1 });
+        return results.length > 0;
+    }
+    /**
+     * Evaluate single binding against operator
+     */
+    evaluateSingleBinding(expr, binding) {
+        const op = expr.operator.toLowerCase();
+        // Comparison
+        if (['=', '!=', '<', '>', '<=', '>='].includes(op)) {
+            const left = this.getTermValue(expr.args[0], binding);
+            const right = this.getTermValue(expr.args[1], binding);
+            if (left === null || right === null)
+                return false;
+            return this.compareTerms(left, right, op);
+        }
+        // BOUND
+        if (op === 'bound') {
+            const varExpr = expr.args[0];
+            if (varExpr.expressionType === 'term') {
+                const term = varExpr.term;
+                if (term.termType === 'Variable') {
+                    return binding.get(term) !== undefined;
+                }
+            }
+            return false;
+        }
+        // String functions
+        if (op === 'strstarts') {
+            const str = this.getStringValue(expr.args[0], binding);
+            const prefix = this.getStringValue(expr.args[1], binding);
+            return str !== null && prefix !== null && str.startsWith(prefix);
+        }
+        if (op === 'strends') {
+            const str = this.getStringValue(expr.args[0], binding);
+            const suffix = this.getStringValue(expr.args[1], binding);
+            return str !== null && suffix !== null && str.endsWith(suffix);
+        }
+        if (op === 'contains') {
+            const str = this.getStringValue(expr.args[0], binding);
+            const substr = this.getStringValue(expr.args[1], binding);
+            return str !== null && substr !== null && str.includes(substr);
+        }
+        if (op === 'regex') {
+            const str = this.getStringValue(expr.args[0], binding);
+            const pattern = this.getStringValue(expr.args[1], binding);
+            if (str === null || pattern === null)
+                return false;
+            try {
+                const flags = expr.args[2] ? this.getStringValue(expr.args[2], binding) || '' : '';
+                return new RegExp(pattern, flags).test(str);
+            }
+            catch {
+                return false;
+            }
+        }
+        // Type checking functions
+        if (op === 'isiri' || op === 'isuri') {
+            const term = this.getTermValue(expr.args[0], binding);
+            return term !== null && term.termType === 'NamedNode';
+        }
+        if (op === 'isblank') {
+            const term = this.getTermValue(expr.args[0], binding);
+            return term !== null && term.termType === 'BlankNode';
+        }
+        if (op === 'isliteral') {
+            const term = this.getTermValue(expr.args[0], binding);
+            return term !== null && term.termType === 'Literal';
+        }
+        if (op === 'isnumeric') {
+            const term = this.getTermValue(expr.args[0], binding);
+            if (term?.termType === 'Literal') {
+                const lit = term;
+                return lit.datatype && serialization_1.NUMERIC_TYPES.has(lit.datatype.value);
+            }
+            return false;
+        }
+        // LANGMATCHES
+        if (op === 'langmatches') {
+            const langExpr = expr.args[0];
+            if (langExpr.expressionType === 'operator' && langExpr.operator.toLowerCase() === 'lang') {
+                const term = this.getTermValue(langExpr.args[0], binding);
+                if (term?.termType === 'Literal') {
+                    const lit = term;
+                    const lang = lit.language || '';
+                    const pattern = this.getStringValue(expr.args[1], binding);
+                    if (pattern === '*')
+                        return lang.length > 0;
+                    if (pattern)
+                        return lang.toLowerCase() === pattern.toLowerCase();
+                }
+            }
+            return false;
+        }
+        // IN / NOT IN
+        if (op === 'in') {
+            const value = this.getTermValue(expr.args[0], binding);
+            if (value === null)
+                return false;
+            for (let i = 1; i < expr.args.length; i++) {
+                if (this.compareTerms(value, this.getTermValue(expr.args[i], binding), '='))
+                    return true;
+            }
+            return false;
+        }
+        if (op === 'notin') {
+            const value = this.getTermValue(expr.args[0], binding);
+            if (value === null)
+                return true;
+            for (let i = 1; i < expr.args.length; i++) {
+                if (this.compareTerms(value, this.getTermValue(expr.args[i], binding), '='))
+                    return false;
+            }
+            return true;
+        }
+        return true; // Unknown: be permissive
+    }
+    // ============================================================
+    // Helper Methods
+    // ============================================================
+    getTermValue(expr, binding) {
+        if (expr.expressionType === 'term') {
+            const termExpr = expr;
+            if (termExpr.term.termType === 'Variable') {
+                return binding.get(termExpr.term) || null;
+            }
+            return termExpr.term;
+        }
+        if (expr.expressionType === 'operator') {
+            const opExpr = expr;
+            const op = opExpr.operator.toLowerCase();
+            // STR function
+            if (op === 'str') {
+                const inner = this.getTermValue(opExpr.args[0], binding);
+                if (inner)
+                    return dataFactory.literal(inner.value);
+            }
+            // STRLEN function - returns integer
+            if (op === 'strlen') {
+                const str = this.getStringValue(opExpr.args[0], binding);
+                if (str !== null) {
+                    return dataFactory.literal(str.length.toString(), dataFactory.namedNode('http://www.w3.org/2001/XMLSchema#integer'));
+                }
+            }
+            // Numeric functions
+            if (op === 'abs') {
+                const val = this.getNumericValue(opExpr.args[0], binding);
+                if (val !== null) {
+                    return dataFactory.literal(Math.abs(val).toString(), dataFactory.namedNode('http://www.w3.org/2001/XMLSchema#decimal'));
+                }
+            }
+            if (op === 'round') {
+                const val = this.getNumericValue(opExpr.args[0], binding);
+                if (val !== null) {
+                    return dataFactory.literal(Math.round(val).toString(), dataFactory.namedNode('http://www.w3.org/2001/XMLSchema#decimal'));
+                }
+            }
+            if (op === 'floor') {
+                const val = this.getNumericValue(opExpr.args[0], binding);
+                if (val !== null) {
+                    return dataFactory.literal(Math.floor(val).toString(), dataFactory.namedNode('http://www.w3.org/2001/XMLSchema#decimal'));
+                }
+            }
+            if (op === 'ceil') {
+                const val = this.getNumericValue(opExpr.args[0], binding);
+                if (val !== null) {
+                    return dataFactory.literal(Math.ceil(val).toString(), dataFactory.namedNode('http://www.w3.org/2001/XMLSchema#decimal'));
+                }
+            }
+        }
+        return null;
+    }
+    getNumericValue(expr, binding) {
+        const term = this.getTermValue(expr, binding);
+        if (term?.termType === 'Literal') {
+            const val = parseFloat(term.value);
+            if (!isNaN(val))
+                return val;
+        }
+        return null;
+    }
+    getStringValue(expr, binding) {
+        const term = this.getTermValue(expr, binding);
+        return term?.value ?? null;
+    }
+    compareTerms(left, right, op) {
+        if (left === null || right === null)
+            return false;
+        if (left.termType === 'Literal' && right.termType === 'Literal') {
+            const leftLit = left;
+            const rightLit = right;
+            if (this.isNumericLiteral(leftLit) && this.isNumericLiteral(rightLit)) {
+                const l = parseFloat(leftLit.value), r = parseFloat(rightLit.value);
+                switch (op) {
+                    case '=': return l === r;
+                    case '!=': return l !== r;
+                    case '<': return l < r;
+                    case '>': return l > r;
+                    case '<=': return l <= r;
+                    case '>=': return l >= r;
+                }
+            }
+            const cmp = leftLit.value.localeCompare(rightLit.value);
+            switch (op) {
+                case '=': return cmp === 0;
+                case '!=': return cmp !== 0;
+                case '<': return cmp < 0;
+                case '>': return cmp > 0;
+                case '<=': return cmp <= 0;
+                case '>=': return cmp >= 0;
+            }
+        }
+        switch (op) {
+            case '=': return left.value === right.value;
+            case '!=': return left.value !== right.value;
+            default: return false;
+        }
+    }
+    isNumericLiteral(lit) {
+        return lit.datatype && serialization_1.NUMERIC_TYPES.has(lit.datatype.value);
+    }
+    effectiveBooleanValue(term) {
+        if (term.termType === 'Literal') {
+            const lit = term;
+            if (lit.datatype?.value === 'http://www.w3.org/2001/XMLSchema#boolean') {
+                return lit.value === 'true';
+            }
+            return lit.value.length > 0;
+        }
+        return true;
+    }
+    getBindingKey(binding) {
+        const parts = [];
+        binding.forEach((value, key) => {
+            parts.push(`${key.value}=${value.value}`);
+        });
+        return parts.sort().join('|');
+    }
+}
+exports.ExpressionEvaluator = ExpressionEvaluator;
+//# sourceMappingURL=ExpressionEvaluator.js.map

package/dist/storage/sparql/ExpressionEvaluator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ExpressionEvaluator.js","sourceRoot":"","sources":["../../../src/storage/sparql/ExpressionEvaluator.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;;AAIH,uDAA+C;AAG/C,0DAAuD;AAGvD,MAAM,WAAW,GAAG,IAAI,8BAAW,EAAE,CAAC;AAOtC;;GAEG;AACH,MAAa,mBAAmB;IAC9B,YACmB,KAAiB,EACjB,cAA8B,EAC9B,uBAAyC;QAFzC,UAAK,GAAL,KAAK,CAAY;QACjB,mBAAc,GAAd,cAAc,CAAgB;QAC9B,4BAAuB,GAAvB,uBAAuB,CAAkB;IACzD,CAAC;IAEJ;;OAEG;IACH,KAAK,CAAC,kBAAkB,CACtB,IAAwB,EACxB,UAAsB,EACtB,OAAwB;QAExB,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QAEvC,QAAQ,IAAI,CAAC,cAAc,EAAE,CAAC;YAC5B,KAAK,UAAU;gBACb,OAAO,IAAI,CAAC,gBAAgB,CAAC,IAAkC,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;YACxF,KAAK,WAAW;gBACd,OAAO,IAAI,CAAC,iBAAiB,CAAC,IAAmC,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;YAC1F,KAAK,MAAM;gBACT,MAAM,QAAQ,GAAG,IAA8B,CAAC;gBAChD,OAAO,IAAI,CAAC,qBAAqB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;YACrE;gBACE,OAAO,UAAU,CAAC,CAAC,yBAAyB;QAChD,CAAC;IACH,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,gBAAgB,CAC5B,IAAgC,EAChC,UAAsB,EACtB,OAAwB;QAExB,MAAM,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC;QAEvC,cAAc;QACd,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;YAChB,IAAI,MAAM,GAAG,UAAU,CAAC;YACxB,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC5B,MAAM,GAAG,MAAM,IAAI,CAAC,kBAAkB,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;YAC/D,CAAC;YACD,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,aAAa;QACb,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;YAChB,MAAM,UAAU,GAAG,MAAM,OAAO,CAAC,GAAG,CAClC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,kBAAkB,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,CACxE,CAAC;YACF,OAAO,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC;QACxC,CAAC;QAED,cAAc;QACd,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;YACnF,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACxE,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1E,CAAC;QAED,sDAAsD;QACtD,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,qBAAqB,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IACrE,CAAC;IAED;;OAEG;IACK,aAAa,CAAC,IAAkB;QACtC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,MAAM,MAAM,GAAe,EAAE,CAAC;QAC9B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,KAAK,MAAM,OAAO,IAAI,GAAG,EAAE,CAAC;gBAC1B,MAAM,GAAG,GAAG,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;gBACxC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBACnB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;oBACd,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACvB,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,iBAAiB,CAC7B,IAAiC,EACjC,UAAsB,EACtB,QAAyB;QAEzB,MAAM,OAAO,GAAe,EAAE,CAAC;QAC/B,KAAK,MAAM,OAAO,IAAI,UAAU,EAAE,CAAC;YACjC,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;YAC3D,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;gBAChC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACxB,CAAC;QACH,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAEO,KAAK,CAAC,WAAW,CAAC,YAA+B,EAAE,OAAiB;QAC1E,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,IAAI,CAAC,uBAAuB,CAAC,YAAY,CAAC,CAAC;QAC3E,MAAM,YAAY,GAAG,IAAI,CAAC,cAAc,CAAC,kBAAkB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QACjF,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,YAAY,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;QACjE,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;IAC5B,CAAC;IAED;;OAEG;IACH,qBAAqB,CAAC,IAAgC,EAAE,OAAiB;QACvE,MAAM,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC;QAEvC,aAAa;QACb,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;YACnD,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;YACtD,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;YACvD,IAAI,IAAI,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI;gBAAE,OAAO,KAAK,CAAC;YAClD,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QAC5C,CAAC;QAED,QAAQ;QACR,IAAI,EAAE,KAAK,OAAO,EAAE,CAAC;YACnB,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC7B,IAAI,OAAO,CAAC,cAAc,KAAK,MAAM,EAAE,CAAC;gBACtC,MAAM,IAAI,GAAI,OAAkC,CAAC,IAAI,CAAC;gBACtD,IAAI,IAAI,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;oBACjC,OAAO,OAAO,CAAC,GAAG,CAAC,IAAgB,CAAC,KAAK,SAAS,CAAC;gBACrD,CAAC;YACH,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QAED,mBAAmB;QACnB,IAAI,EAAE,KAAK,WAAW,EAAE,CAAC;YACvB,MAAM,GAAG,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;YACvD,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;YAC1D,OAAO,GAAG,KAAK,IAAI,IAAI,MAAM,KAAK,IAAI,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QACnE,CAAC;QACD,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACrB,MAAM,GAAG,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;YACvD,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;YAC1D,OAAO,GAAG,KAAK,IAAI,IAAI,MAAM,KAAK,IAAI,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QACjE,CAAC;QACD,IAAI,EAAE,KAAK,UAAU,EAAE,CAAC;YACtB,MAAM,GAAG,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;YACvD,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;YAC1D,OAAO,GAAG,KAAK,IAAI,IAAI,MAAM,KAAK,IAAI,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QACjE,CAAC;QACD,IAAI,EAAE,KAAK,OAAO,EAAE,CAAC;YACnB,MAAM,GAAG,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;YACvD,MAAM,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;YAC3D,IAAI,GAAG,KAAK,IAAI,IAAI,OAAO,KAAK,IAAI;gBAAE,OAAO,KAAK,CAAC;YACnD,IAAI,CAAC;gBACH,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACnF,OAAO,IAAI,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC9C,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QAED,0BAA0B;QAC1B,IAAI,EAAE,KAAK,OAAO,IAAI,EAAE,KAAK,OAAO,EAAE,CAAC;YACrC,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;YACtD,OAAO,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,QAAQ,KAAK,WAAW,CAAC;QACxD,CAAC;QACD,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACrB,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;YACtD,OAAO,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,QAAQ,KAAK,WAAW,CAAC;QACxD,CAAC;QACD,IAAI,EAAE,KAAK,WAAW,EAAE,CAAC;YACvB,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;YACtD,OAAO,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC;QACtD,CAAC;QACD,IAAI,EAAE,KAAK,WAAW,EAAE,CAAC;YACvB,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;YACtD,IAAI,IAAI,EAAE,QAAQ,KAAK,SAAS,EAAE,CAAC;gBACjC,MAAM,GAAG,GAAG,IAAW,CAAC;gBACxB,OAAO,GAAG,CAAC,QAAQ,IAAI,6BAAa,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YAC/D,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QAED,cAAc;QACd,IAAI,EAAE,KAAK,aAAa,EAAE,CAAC;YACzB,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAA+B,CAAC;YAC5D,IAAI,QAAQ,CAAC,cAAc,KAAK,UAAU,IAAI,QAAQ,CAAC,QAAQ,CAAC,WAAW,EAAE,KAAK,MAAM,EAAE,CAAC;gBACzF,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;gBAC1D,IAAI,IAAI,EAAE,QAAQ,KAAK,SAAS,EAAE,CAAC;oBACjC,MAAM,GAAG,GAAG,IAAW,CAAC;oBACxB,MAAM,IAAI,GAAG,GAAG,CAAC,QAAQ,IAAI,EAAE,CAAC;oBAChC,MAAM,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;oBAC3D,IAAI,OAAO,KAAK,GAAG;wBAAE,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;oBAC5C,IAAI,OAAO;wBAAE,OAAO,IAAI,CAAC,WAAW,EAAE,KAAK,OAAO,CAAC,WAAW,EAAE,CAAC;gBACnE,CAAC;YACH,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QAED,cAAc;QACd,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;YAChB,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;YACvD,IAAI,KAAK,KAAK,IAAI;gBAAE,OAAO,KAAK,CAAC;YACjC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC1C,IAAI,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC;oBAAE,OAAO,IAAI,CAAC;YAC3F,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,EAAE,KAAK,OAAO,EAAE,CAAC;YACnB,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;YACvD,IAAI,KAAK,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YAChC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC1C,IAAI,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC;oBAAE,OAAO,KAAK,CAAC;YAC5F,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QAED,OAAO,IAAI,CAAC,CAAC,yBAAyB;IACxC,CAAC;IAED,+DAA+D;IAC/D,iBAAiB;IACjB,+DAA+D;IAE/D,YAAY,CAAC,IAAwB,EAAE,OAAiB;QACtD,IAAI,IAAI,CAAC,cAAc,KAAK,MAAM,EAAE,CAAC;YACnC,MAAM,QAAQ,GAAG,IAA8B,CAAC;YAChD,IAAI,QAAQ,CAAC,IAAI,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;gBAC1C,OAAO,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAgB,CAAC,IAAI,IAAI,CAAC;YACxD,CAAC;YACD,OAAO,QAAQ,CAAC,IAAI,CAAC;QACvB,CAAC;QACD,IAAI,IAAI,CAAC,cAAc,KAAK,UAAU,EAAE,CAAC;YACvC,MAAM,MAAM,GAAG,IAAkC,CAAC;YAClD,MAAM,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC;YAEzC,eAAe;YACf,IAAI,EAAE,KAAK,KAAK,EAAE,CAAC;gBACjB,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;gBACzD,IAAI,KAAK;oBAAE,OAAO,WAAW,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACrD,CAAC;YAED,oCAAoC;YACpC,IAAI,EAAE,KAAK,QAAQ,EAAE,CAAC;gBACpB,MAAM,GAAG,GAAG,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;gBACzD,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;oBACjB,OAAO,WAAW,CAAC,OAAO,CACxB,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,EACrB,WAAW,CAAC,SAAS,CAAC,0CAA0C,CAAC,CAClE,CAAC;gBACJ,CAAC;YACH,CAAC;YAED,oBAAoB;YACpB,IAAI,EAAE,KAAK,KAAK,EAAE,CAAC;gBACjB,MAAM,GAAG,GAAG,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;gBAC1D,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;oBACjB,OAAO,WAAW,CAAC,OAAO,CACxB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EACxB,WAAW,CAAC,SAAS,CAAC,0CAA0C,CAAC,CAClE,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,IAAI,EAAE,KAAK,OAAO,EAAE,CAAC;gBACnB,MAAM,GAAG,GAAG,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;gBAC1D,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;oBACjB,OAAO,WAAW,CAAC,OAAO,CACxB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAC1B,WAAW,CAAC,SAAS,CAAC,0CAA0C,CAAC,CAClE,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,IAAI,EAAE,KAAK,OAAO,EAAE,CAAC;gBACnB,MAAM,GAAG,GAAG,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;gBAC1D,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;oBACjB,OAAO,WAAW,CAAC,OAAO,CACxB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAC1B,WAAW,CAAC,SAAS,CAAC,0CAA0C,CAAC,CAClE,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,IAAI,EAAE,KAAK,MAAM,EAAE,CAAC;gBAClB,MAAM,GAAG,GAAG,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;gBAC1D,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;oBACjB,OAAO,WAAW,CAAC,OAAO,CACxB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EACzB,WAAW,CAAC,SAAS,CAAC,0CAA0C,CAAC,CAClE,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,eAAe,CAAC,IAAwB,EAAE,OAAiB;QACzD,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC9C,IAAI,IAAI,EAAE,QAAQ,KAAK,SAAS,EAAE,CAAC;YACjC,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACnC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;gBAAE,OAAO,GAAG,CAAC;QAC9B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,cAAc,CAAC,IAAwB,EAAE,OAAiB;QACxD,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC9C,OAAO,IAAI,EAAE,KAAK,IAAI,IAAI,CAAC;IAC7B,CAAC;IAED,YAAY,CAAC,IAAiB,EAAE,KAAkB,EAAE,EAAU;QAC5D,IAAI,IAAI,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,KAAK,CAAC;QAElD,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YAChE,MAAM,OAAO,GAAG,IAAW,CAAC;YAC5B,MAAM,QAAQ,GAAG,KAAY,CAAC;YAE9B,IAAI,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACtE,MAAM,CAAC,GAAG,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;gBACpE,QAAQ,EAAE,EAAE,CAAC;oBACX,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;oBACzB,KAAK,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;oBAC1B,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;oBACvB,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;oBACvB,KAAK,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;oBACzB,KAAK,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;gBAC3B,CAAC;YACH,CAAC;YAED,MAAM,GAAG,GAAG,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YACxD,QAAQ,EAAE,EAAE,CAAC;gBACX,KAAK,GAAG,CAAC,CAAC,OAAO,GAAG,KAAK,CAAC,CAAC;gBAC3B,KAAK,IAAI,CAAC,CAAC,OAAO,GAAG,KAAK,CAAC,CAAC;gBAC5B,KAAK,GAAG,CAAC,CAAC,OAAO,GAAG,GAAG,CAAC,CAAC;gBACzB,KAAK,GAAG,CAAC,CAAC,OAAO,GAAG,GAAG,CAAC,CAAC;gBACzB,KAAK,IAAI,CAAC,CAAC,OAAO,GAAG,IAAI,CAAC,CAAC;gBAC3B,KAAK,IAAI,CAAC,CAAC,OAAO,GAAG,IAAI,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC;QAED,QAAQ,EAAE,EAAE,CAAC;YACX,KAAK,GAAG,CAAC,CAAC,OAAO,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC;YAC5C,KAAK,IAAI,CAAC,CAAC,OAAO,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC;YAC7C,OAAO,CAAC,CAAC,OAAO,KAAK,CAAC;QACxB,CAAC;IACH,CAAC;IAED,gBAAgB,CAAC,GAAQ;QACvB,OAAO,GAAG,CAAC,QAAQ,IAAI,6BAAa,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC/D,CAAC;IAED,qBAAqB,CAAC,IAAU;QAC9B,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YAChC,MAAM,GAAG,GAAG,IAAW,CAAC;YACxB,IAAI,GAAG,CAAC,QAAQ,EAAE,KAAK,KAAK,0CAA0C,EAAE,CAAC;gBACvE,OAAO,GAAG,CAAC,KAAK,KAAK,MAAM,CAAC;YAC9B,CAAC;YACD,OAAO,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QAC9B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,aAAa,CAAC,OAAiB;QAC7B,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,OAAO,CAAC,OAAO,CAAC,CAAC,KAAW,EAAE,GAAa,EAAE,EAAE;YAC7C,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;QAC5C,CAAC,CAAC,CAAC;QACH,OAAO,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChC,CAAC;CACF;AAnXD,kDAmXC","sourcesContent":["/**\n * ExpressionEvaluator - In-memory SPARQL expression evaluation\n * \n * Evaluates SPARQL expressions that cannot be pushed down to the database.\n * Used for filtering bindings after initial pattern matching.\n */\n\nimport type { Term, Variable, Bindings } from '@rdfjs/types';\nimport type { Algebra } from 'sparqlalgebrajs';\nimport { DataFactory } from 'rdf-data-factory';\n\nimport type { QuintStore, QuintPattern } from '../quint/types';\nimport { NUMERIC_TYPES } from '../quint/serialization';\nimport type { PatternBuilder } from './PatternBuilder';\n\nconst dataFactory = new DataFactory();\n\n/**\n * Callback for extracting pattern from operation\n */\nexport type ExtractPatternFn = (operation: Algebra.Operation) => { pattern: Algebra.Pattern; filter: Algebra.Expression | null };\n\n/**\n * ExpressionEvaluator handles in-memory evaluation of SPARQL expressions\n */\nexport class ExpressionEvaluator {\n  constructor(\n    private readonly store: QuintStore,\n    private readonly patternBuilder: PatternBuilder,\n    private readonly extractPatternAndFilter: ExtractPatternFn\n  ) {}\n\n  /**\n   * Evaluate filter expression tree against candidate bindings\n   */\n  async evaluateFilterTree(\n    expr: Algebra.Expression,\n    candidates: Bindings[],\n    pattern: Algebra.Pattern\n  ): Promise<Bindings[]> {\n    if (candidates.length === 0) return [];\n\n    switch (expr.expressionType) {\n      case 'operator':\n        return this.evaluateOperator(expr as Algebra.OperatorExpression, candidates, pattern);\n      case 'existence':\n        return this.evaluateExistence(expr as Algebra.ExistenceExpression, candidates, pattern);\n      case 'term':\n        const termExpr = expr as Algebra.TermExpression;\n        return this.effectiveBooleanValue(termExpr.term) ? candidates : [];\n      default:\n        return candidates; // Unknown: be permissive\n    }\n  }\n\n  /**\n   * Evaluate operator expression\n   */\n  private async evaluateOperator(\n    expr: Algebra.OperatorExpression,\n    candidates: Bindings[],\n    pattern: Algebra.Pattern\n  ): Promise<Bindings[]> {\n    const op = expr.operator.toLowerCase();\n\n    // Logical AND\n    if (op === '&&') {\n      let result = candidates;\n      for (const arg of expr.args) {\n        result = await this.evaluateFilterTree(arg, result, pattern);\n      }\n      return result;\n    }\n\n    // Logical OR\n    if (op === '||') {\n      const resultSets = await Promise.all(\n        expr.args.map(arg => this.evaluateFilterTree(arg, candidates, pattern))\n      );\n      return this.unionBindings(resultSets);\n    }\n\n    // Logical NOT\n    if (op === '!') {\n      const positives = await this.evaluateFilterTree(expr.args[0], candidates, pattern);\n      const positiveKeys = new Set(positives.map(b => this.getBindingKey(b)));\n      return candidates.filter(b => !positiveKeys.has(this.getBindingKey(b)));\n    }\n\n    // Other operators: evaluate each binding individually\n    return candidates.filter(b => this.evaluateSingleBinding(expr, b));\n  }\n\n  /**\n   * Union multiple binding sets\n   */\n  private unionBindings(sets: Bindings[][]): Bindings[] {\n    const seen = new Set<string>();\n    const result: Bindings[] = [];\n    for (const set of sets) {\n      for (const binding of set) {\n        const key = this.getBindingKey(binding);\n        if (!seen.has(key)) {\n          seen.add(key);\n          result.push(binding);\n        }\n      }\n    }\n    return result;\n  }\n\n  /**\n   * Evaluate EXISTS/NOT EXISTS\n   */\n  private async evaluateExistence(\n    expr: Algebra.ExistenceExpression,\n    candidates: Bindings[],\n    _pattern: Algebra.Pattern\n  ): Promise<Bindings[]> {\n    const results: Bindings[] = [];\n    for (const binding of candidates) {\n      const exists = await this.checkExists(expr.input, binding);\n      if (expr.not ? !exists : exists) {\n        results.push(binding);\n      }\n    }\n    return results;\n  }\n\n  private async checkExists(subOperation: Algebra.Operation, binding: Bindings): Promise<boolean> {\n    const { pattern: subPattern } = this.extractPatternAndFilter(subOperation);\n    const quintPattern = this.patternBuilder.buildExistsPattern(subPattern, binding);\n    const results = await this.store.get(quintPattern, { limit: 1 });\n    return results.length > 0;\n  }\n\n  /**\n   * Evaluate single binding against operator\n   */\n  evaluateSingleBinding(expr: Algebra.OperatorExpression, binding: Bindings): boolean {\n    const op = expr.operator.toLowerCase();\n\n    // Comparison\n    if (['=', '!=', '<', '>', '<=', '>='].includes(op)) {\n      const left = this.getTermValue(expr.args[0], binding);\n      const right = this.getTermValue(expr.args[1], binding);\n      if (left === null || right === null) return false;\n      return this.compareTerms(left, right, op);\n    }\n\n    // BOUND\n    if (op === 'bound') {\n      const varExpr = expr.args[0];\n      if (varExpr.expressionType === 'term') {\n        const term = (varExpr as Algebra.TermExpression).term;\n        if (term.termType === 'Variable') {\n          return binding.get(term as Variable) !== undefined;\n        }\n      }\n      return false;\n    }\n\n    // String functions\n    if (op === 'strstarts') {\n      const str = this.getStringValue(expr.args[0], binding);\n      const prefix = this.getStringValue(expr.args[1], binding);\n      return str !== null && prefix !== null && str.startsWith(prefix);\n    }\n    if (op === 'strends') {\n      const str = this.getStringValue(expr.args[0], binding);\n      const suffix = this.getStringValue(expr.args[1], binding);\n      return str !== null && suffix !== null && str.endsWith(suffix);\n    }\n    if (op === 'contains') {\n      const str = this.getStringValue(expr.args[0], binding);\n      const substr = this.getStringValue(expr.args[1], binding);\n      return str !== null && substr !== null && str.includes(substr);\n    }\n    if (op === 'regex') {\n      const str = this.getStringValue(expr.args[0], binding);\n      const pattern = this.getStringValue(expr.args[1], binding);\n      if (str === null || pattern === null) return false;\n      try {\n        const flags = expr.args[2] ? this.getStringValue(expr.args[2], binding) || '' : '';\n        return new RegExp(pattern, flags).test(str);\n      } catch {\n        return false;\n      }\n    }\n\n    // Type checking functions\n    if (op === 'isiri' || op === 'isuri') {\n      const term = this.getTermValue(expr.args[0], binding);\n      return term !== null && term.termType === 'NamedNode';\n    }\n    if (op === 'isblank') {\n      const term = this.getTermValue(expr.args[0], binding);\n      return term !== null && term.termType === 'BlankNode';\n    }\n    if (op === 'isliteral') {\n      const term = this.getTermValue(expr.args[0], binding);\n      return term !== null && term.termType === 'Literal';\n    }\n    if (op === 'isnumeric') {\n      const term = this.getTermValue(expr.args[0], binding);\n      if (term?.termType === 'Literal') {\n        const lit = term as any;\n        return lit.datatype && NUMERIC_TYPES.has(lit.datatype.value);\n      }\n      return false;\n    }\n\n    // LANGMATCHES\n    if (op === 'langmatches') {\n      const langExpr = expr.args[0] as Algebra.OperatorExpression;\n      if (langExpr.expressionType === 'operator' && langExpr.operator.toLowerCase() === 'lang') {\n        const term = this.getTermValue(langExpr.args[0], binding);\n        if (term?.termType === 'Literal') {\n          const lit = term as any;\n          const lang = lit.language || '';\n          const pattern = this.getStringValue(expr.args[1], binding);\n          if (pattern === '*') return lang.length > 0;\n          if (pattern) return lang.toLowerCase() === pattern.toLowerCase();\n        }\n      }\n      return false;\n    }\n\n    // IN / NOT IN\n    if (op === 'in') {\n      const value = this.getTermValue(expr.args[0], binding);\n      if (value === null) return false;\n      for (let i = 1; i < expr.args.length; i++) {\n        if (this.compareTerms(value, this.getTermValue(expr.args[i], binding), '=')) return true;\n      }\n      return false;\n    }\n    if (op === 'notin') {\n      const value = this.getTermValue(expr.args[0], binding);\n      if (value === null) return true;\n      for (let i = 1; i < expr.args.length; i++) {\n        if (this.compareTerms(value, this.getTermValue(expr.args[i], binding), '=')) return false;\n      }\n      return true;\n    }\n\n    return true; // Unknown: be permissive\n  }\n\n  // ============================================================\n  // Helper Methods\n  // ============================================================\n\n  getTermValue(expr: Algebra.Expression, binding: Bindings): Term | null {\n    if (expr.expressionType === 'term') {\n      const termExpr = expr as Algebra.TermExpression;\n      if (termExpr.term.termType === 'Variable') {\n        return binding.get(termExpr.term as Variable) || null;\n      }\n      return termExpr.term;\n    }\n    if (expr.expressionType === 'operator') {\n      const opExpr = expr as Algebra.OperatorExpression;\n      const op = opExpr.operator.toLowerCase();\n      \n      // STR function\n      if (op === 'str') {\n        const inner = this.getTermValue(opExpr.args[0], binding);\n        if (inner) return dataFactory.literal(inner.value);\n      }\n      \n      // STRLEN function - returns integer\n      if (op === 'strlen') {\n        const str = this.getStringValue(opExpr.args[0], binding);\n        if (str !== null) {\n          return dataFactory.literal(\n            str.length.toString(),\n            dataFactory.namedNode('http://www.w3.org/2001/XMLSchema#integer')\n          );\n        }\n      }\n      \n      // Numeric functions\n      if (op === 'abs') {\n        const val = this.getNumericValue(opExpr.args[0], binding);\n        if (val !== null) {\n          return dataFactory.literal(\n            Math.abs(val).toString(),\n            dataFactory.namedNode('http://www.w3.org/2001/XMLSchema#decimal')\n          );\n        }\n      }\n      if (op === 'round') {\n        const val = this.getNumericValue(opExpr.args[0], binding);\n        if (val !== null) {\n          return dataFactory.literal(\n            Math.round(val).toString(),\n            dataFactory.namedNode('http://www.w3.org/2001/XMLSchema#decimal')\n          );\n        }\n      }\n      if (op === 'floor') {\n        const val = this.getNumericValue(opExpr.args[0], binding);\n        if (val !== null) {\n          return dataFactory.literal(\n            Math.floor(val).toString(),\n            dataFactory.namedNode('http://www.w3.org/2001/XMLSchema#decimal')\n          );\n        }\n      }\n      if (op === 'ceil') {\n        const val = this.getNumericValue(opExpr.args[0], binding);\n        if (val !== null) {\n          return dataFactory.literal(\n            Math.ceil(val).toString(),\n            dataFactory.namedNode('http://www.w3.org/2001/XMLSchema#decimal')\n          );\n        }\n      }\n    }\n    return null;\n  }\n\n  getNumericValue(expr: Algebra.Expression, binding: Bindings): number | null {\n    const term = this.getTermValue(expr, binding);\n    if (term?.termType === 'Literal') {\n      const val = parseFloat(term.value);\n      if (!isNaN(val)) return val;\n    }\n    return null;\n  }\n\n  getStringValue(expr: Algebra.Expression, binding: Bindings): string | null {\n    const term = this.getTermValue(expr, binding);\n    return term?.value ?? null;\n  }\n\n  compareTerms(left: Term | null, right: Term | null, op: string): boolean {\n    if (left === null || right === null) return false;\n    \n    if (left.termType === 'Literal' && right.termType === 'Literal') {\n      const leftLit = left as any;\n      const rightLit = right as any;\n      \n      if (this.isNumericLiteral(leftLit) && this.isNumericLiteral(rightLit)) {\n        const l = parseFloat(leftLit.value), r = parseFloat(rightLit.value);\n        switch (op) {\n          case '=': return l === r;\n          case '!=': return l !== r;\n          case '<': return l < r;\n          case '>': return l > r;\n          case '<=': return l <= r;\n          case '>=': return l >= r;\n        }\n      }\n      \n      const cmp = leftLit.value.localeCompare(rightLit.value);\n      switch (op) {\n        case '=': return cmp === 0;\n        case '!=': return cmp !== 0;\n        case '<': return cmp < 0;\n        case '>': return cmp > 0;\n        case '<=': return cmp <= 0;\n        case '>=': return cmp >= 0;\n      }\n    }\n    \n    switch (op) {\n      case '=': return left.value === right.value;\n      case '!=': return left.value !== right.value;\n      default: return false;\n    }\n  }\n\n  isNumericLiteral(lit: any): boolean {\n    return lit.datatype && NUMERIC_TYPES.has(lit.datatype.value);\n  }\n\n  effectiveBooleanValue(term: Term): boolean {\n    if (term.termType === 'Literal') {\n      const lit = term as any;\n      if (lit.datatype?.value === 'http://www.w3.org/2001/XMLSchema#boolean') {\n        return lit.value === 'true';\n      }\n      return lit.value.length > 0;\n    }\n    return true;\n  }\n\n  getBindingKey(binding: Bindings): string {\n    const parts: string[] = [];\n    binding.forEach((value: Term, key: Variable) => {\n      parts.push(`${key.value}=${value.value}`);\n    });\n    return parts.sort().join('|');\n  }\n}\n"]}

package/dist/storage/sparql/FilterPushdownExtractor.d.ts

@@ -0,0 +1,74 @@
+/**
+ * FilterPushdownExtractor - Extract pushdownable conditions from SPARQL FILTER
+ *
+ * Analyzes SPARQL FILTER expressions and extracts conditions that can be
+ * pushed down to the database layer for efficient query execution.
+ *
+ * Supported pushdown operations:
+ * - Comparison: =, !=, <, >, <=, >=
+ * - String functions: STRSTARTS, STRENDS, CONTAINS, REGEX
+ * - Type checking: isIRI, isBlank, isLiteral, isNumeric
+ * - Language: LANGMATCHES
+ * - Logical: AND, OR (with $in optimization)
+ * - Set operations: IN, NOT IN
+ * - Existence: BOUND, !BOUND
+ */
+import type { Algebra } from 'sparqlalgebrajs';
+import type { TermOperators } from '../quint/types';
+/**
+ * Pushdown filters extracted from SPARQL FILTER clauses
+ * Maps variable names to their filter conditions
+ */
+export interface PushdownFilters {
+    [varName: string]: TermOperators;
+}
+/**
+ * Result of extracting pushdown filters from an expression
+ */
+export interface PushdownResult {
+    filters: PushdownFilters;
+    remainder: Algebra.Expression | null;
+    orBranches?: PushdownFilters[];
+    orNonPushdownBranches?: Algebra.Expression[];
+}
+/**
+ * FilterPushdownExtractor extracts pushdownable conditions from FILTER expressions
+ */
+export declare class FilterPushdownExtractor {
+    /**
+     * Extract pushdownable filters from an expression
+     * Returns filters that can be pushed down and the remaining expression
+     */
+    extractPushdownFilters(expr: Algebra.Expression, pattern: Algebra.Pattern): PushdownResult;
+    /**
+     * Handle OR expression pushdown
+     * - Same variable equality: convert to $in
+     * - Different variables: create OR branches for separate queries
+     * - Mixed (pushdownable + non-pushdownable): orBranches + orNonPushdownBranches
+     */
+    private extractOrPushdown;
+    /**
+     * Try to convert same-variable equalities to $in
+     */
+    private tryConvertToIn;
+    /**
+     * Try to extract pushdown filter from a single operator expression
+     */
+    tryExtractSinglePushdown(expr: Algebra.OperatorExpression, pattern: Algebra.Pattern): PushdownFilters | null;
+    /**
+     * Extract comparison operator info
+     */
+    private extractComparison;
+    private mapComparisonOp;
+    private reverseComparisonOp;
+    /**
+     * Serialize value for comparison
+     *
+     * Range comparison handling:
+     * - $gt, $lte: Use fpstring + max suffix to be >= all values with same fpstring
+     * - $lt, $gte: Use fpstring only (prefix), stored values are always > prefix
+     * - $eq, $ne: Use exact serialization
+     */
+    serializeForComparison(value: string, datatype: string | undefined, filterOp: string): string;
+    serializeExactValue(value: string, datatype?: string): string;
+}