@undefineds.co/xpod 0.1.7 → 0.2.0

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

@@ -1 +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"]}
+{"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,IAAI,CAAC,sBAAsB,GAAG,OAAO,EAAE,OAAO,CAAC;QAE/C,IAAI,CAAC;YACH,uEAAuE;YACvE,uEAAuE;YACvE,+DAA+D;YAC/D,+EAA+E;YAC/E,MAAM,UAAU,GAAG,IAAI,CAAC,qBAAqB,CAAC,KAAK,CAAC,CAAC;YACrD,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;gBAC9B,MAAM,cAAc,GAAG,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC;gBACxD,IAAI,cAAc,EAAE,CAAC;oBACnB,qDAAqD;oBACrD,MAAM,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,EAAE,QAAQ,EAAE,WAAW,EAAE,KAAK,EAAE,cAAc,EAAS,EAAE,CAAC,CAAC;gBAC3F,CAAC;qBAAM,CAAC;oBACN,MAAM,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE;wBAChC,OAAO,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC;wBACxB,GAAG,OAAO;qBACJ,CAAC,CAAC;gBACZ,CAAC;YACH,CAAC;QACH,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,GAAG,CAAC;QACZ,CAAC;gBAAS,CAAC;YACT,IAAI,CAAC,sBAAsB,GAAG,SAAS,CAAC;QAC1C,CAAC;IACH,CAAC;IAED;;;OAGG;IACK,qBAAqB,CAAC,IAAY;QACxC,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAClB,qGAAqG,CACtG,CAAC;QACF,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACzB,CAAC;IAED;;OAEG;IACK,qBAAqB,CAAC,KAAa;QACzC,MAAM,UAAU,GAAa,EAAE,CAAC;QAChC,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,IAAI,KAAK,GAAG,CAAC,CAAC;QAEd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG;gBAAE,KAAK,EAAE,CAAC;iBACzB,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG;gBAAE,KAAK,EAAE,CAAC;iBAC9B,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;gBACzC,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBAC1C,IAAI,IAAI;oBAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAChC,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC;YAChB,CAAC;QACH,CAAC;QACD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;QACvC,IAAI,IAAI;YAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAEhC,OAAO,UAAU,CAAC;IACpB,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;AA3nBD,kDA2nBC","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    this.currentSecurityFilters = context?.filters;\n\n    try {\n      // Comunica does not properly await the RDF.Store remove() EventEmitter\n      // before proceeding to the next operation. This causes DELETE WHERE to\n      // complete after INSERT DATA, deleting newly inserted triples.\n      // Fix: split compound updates and handle DELETE WHERE directly via QuintStore.\n      const statements = this.splitUpdateStatements(query);\n      for (const stmt of statements) {\n        const deleteGraphUri = this.parseDeleteWhereGraph(stmt);\n        if (deleteGraphUri) {\n          // Execute DELETE WHERE directly via QuintStore.del()\n          await this.store.del({ graph: { termType: 'NamedNode', value: deleteGraphUri } as any });\n        } else {\n          await this.engine.queryVoid(stmt, {\n            sources: [this.rdfStore],\n            ...context,\n          } as any);\n        }\n      }\n    } catch (err) {\n      throw err;\n    } finally {\n      this.currentSecurityFilters = undefined;\n    }\n  }\n\n  /**\n   * Parse \"DELETE WHERE { GRAPH <uri> { ?s ?p ?o. } }\" and return the graph URI.\n   * Returns null if the statement doesn't match this pattern.\n   */\n  private parseDeleteWhereGraph(stmt: string): string | null {\n    const m = stmt.match(\n      /^\\s*DELETE\\s+WHERE\\s*\\{\\s*GRAPH\\s*<([^>]+)>\\s*\\{\\s*\\?(\\w+)\\s+\\?(\\w+)\\s+\\?(\\w+)\\s*\\.?\\s*\\}\\s*\\}\\s*$/i\n    );\n    return m ? m[1] : null;\n  }\n\n  /**\n   * Split a compound SPARQL UPDATE into individual statements.\n   */\n  private splitUpdateStatements(query: string): string[] {\n    const statements: string[] = [];\n    let depth = 0;\n    let start = 0;\n\n    for (let i = 0; i < query.length; i++) {\n      if (query[i] === '{') depth++;\n      else if (query[i] === '}') depth--;\n      else if (query[i] === ';' && depth === 0) {\n        const stmt = query.slice(start, i).trim();\n        if (stmt) statements.push(stmt);\n        start = i + 1;\n      }\n    }\n    const last = query.slice(start).trim();\n    if (last) statements.push(last);\n\n    return statements;\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/QueryOptimizer.js

@@ -153,6 +153,12 @@ class QueryOptimizer {
             current.type === 'orderby') {
             current = current.input;
         }
+        // 穿透 filter 节点，保留 filter expression 供后续包回 coreOp
+        let outerFilter = null;
+        if (current.type === 'filter') {
+            outerFilter = current.expression;
+            current = current.input;
+        }
         // 收集所有 leftjoin（OPTIONAL）和核心操作
         const leftJoins = [];
         let coreOp = null;
@@ -163,7 +169,13 @@ class QueryOptimizer {
                 collectLeftJoins(lj.input[0]);
             }
             else {
-                coreOp = op;
+                // 如果有外层 FILTER，把它包回 coreOp 上，确保核心查询仍带 FILTER 条件
+                if (outerFilter && op) {
+                    coreOp = { type: 'filter', input: op, expression: outerFilter };
+                }
+                else {
+                    coreOp = op;
+                }
             }
         };
         collectLeftJoins(current);

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

@@ -1 +1 @@
-{"version":3,"file":"QueryOptimizer.js","sourceRoot":"","sources":["../../../src/storage/sparql/QueryOptimizer.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;GAiBG;;;AAIH,uDAA+C;AAI/C,MAAM,WAAW,GAAG,IAAI,8BAAW,EAAE,CAAC;AAmDtC;;GAEG;AACH,MAAa,cAAc;IAKzB,YAAY,KAAiB,EAAE,OAA8B;QAC3D,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,KAAK,CAAC;QACpC,IAAI,CAAC,eAAe,GAAG,OAAO,CAAC,eAAe,CAAC;IACjD,CAAC;IAED,+DAA+D;IAC/D,OAAO;IACP,+DAA+D;IAE/D;;OAEG;IACH,YAAY,CAAC,OAA0B;QACrC,yBAAyB;QACzB,IAAI,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC;YAC7B,MAAM,gBAAgB,GAAG,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;YACvD,IAAI,gBAAgB,CAAC,WAAW,EAAE,CAAC;gBACjC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,gBAAgB,EAAE,CAAC;YAC1D,CAAC;QACH,CAAC;QAED,uBAAuB;QACvB,IAAI,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC;YAC3B,MAAM,gBAAgB,GAAG,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;YACvD,IAAI,gBAAgB,CAAC,WAAW,EAAE,CAAC;gBACjC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,gBAAgB,EAAE,CAAC;YAC1D,CAAC;QACH,CAAC;QAED,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IAC1C,CAAC;IAED;;;;;;OAMG;IACH,KAAK,CAAC,wBAAwB,CAC5B,QAA0B,EAC1B,YAAwB,EACxB,YAAqD;QAErD,MAAM,EAAE,UAAU,EAAE,kBAAkB,EAAE,YAAY,EAAE,GAAG,QAAQ,CAAC;QAElE,IAAI,CAAC,UAAU,IAAI,CAAC,kBAAkB,IAAI,CAAC,YAAY,EAAE,CAAC;YACxD,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;QAC9C,CAAC;QAED,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9B,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,iBAAiB;QACjB,MAAM,QAAQ,GAAa,EAAE,CAAC;QAC9B,KAAK,MAAM,OAAO,IAAI,YAAY,EAAE,CAAC;YACnC,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;YAClE,IAAI,WAAW,IAAI,WAAW,CAAC,QAAQ,KAAK,WAAW,EAAE,CAAC;gBACxD,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;YACnC,CAAC;QACH,CAAC;QAED,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,OAAO,CAAC,GAAG,CAAC,8BAA8B,YAAY,CAAC,MAAM,cAAc,QAAQ,CAAC,MAAM,WAAW,CAAC,CAAC;QACzG,CAAC;QAED,SAAS;QACT,MAAM,YAAY,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,aAAc,CAClD,QAAQ,EACR,kBAAkB,EAClB,SAAS,CAAE,oBAAoB;SAChC,CAAC;QAEF,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,OAAO,CAAC,GAAG,CAAC,oDAAoD,YAAY,CAAC,IAAI,WAAW,CAAC,CAAC;QAChG,CAAC;QAED,OAAO;QACP,IAAI,OAAO,GAAG,IAAI,CAAC,uBAAuB,CAAC,YAAY,EAAE,YAAY,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;QAEjG,OAAO;QACP,IAAI,YAAY,EAAE,OAAO,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAChD,OAAO,GAAG,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE,YAAY,CAAC,OAAO,EAAE,YAAY,CAAC,OAAO,IAAI,KAAK,CAAC,CAAC;YAC1F,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBACf,OAAO,CAAC,GAAG,CAAC,sCAAsC,YAAY,CAAC,OAAO,IAAI,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;YACrH,CAAC;QACH,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;OAEG;IACK,YAAY,CAAC,QAAoB,EAAE,OAAe,EAAE,OAAgB;QAC1E,MAAM,QAAQ,GAAG,WAAW,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QAE/C,OAAO,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACjC,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YAC7B,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YAE7B,uBAAuB;YACvB,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI;gBAAE,OAAO,CAAC,CAAC;YAC7B,IAAI,CAAC,IAAI;gBAAE,OAAO,CAAC,CAAC;YACpB,IAAI,CAAC,IAAI;gBAAE,OAAO,CAAC,CAAC,CAAC;YAErB,MAAM;YACN,IAAI,GAAW,CAAC;YAChB,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC/D,gBAAgB;gBAChB,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACpC,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACpC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;oBACjC,GAAG,GAAG,IAAI,GAAG,IAAI,CAAC;gBACpB,CAAC;qBAAM,CAAC;oBACN,QAAQ;oBACR,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC7C,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,aAAa;gBACb,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC7C,CAAC;YAED,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;QAC9B,CAAC,CAAC,CAAC;IACL,CAAC;IAED,+DAA+D;IAC/D,cAAc;IACd,+DAA+D;IAE/D;;;;;;;;;OASG;IACH,eAAe,CAAC,OAA0B;QACxC,iDAAiD;QACjD,IAAI,OAAO,GAAG,OAAO,CAAC;QACtB,OAAO,OAAO,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO;YACtD,OAAO,CAAC,IAAI,KAAK,UAAU,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS;YACzD,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAClC,OAAO,GAAI,OAAe,CAAC,KAAK,CAAC;QACnC,CAAC;QAED,+BAA+B;QAC/B,MAAM,SAAS,GAAuB,EAAE,CAAC;QACzC,IAAI,MAAM,GAA6B,IAAI,CAAC;QAE5C,MAAM,gBAAgB,GAAG,CAAC,EAAqB,EAAQ,EAAE;YACvD,IAAI,EAAE,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC3B,MAAM,EAAE,GAAG,EAAsB,CAAC;gBAClC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACnB,gBAAgB,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YAChC,CAAC;iBAAM,CAAC;gBACN,MAAM,GAAG,EAAE,CAAC;YACd,CAAC;QACH,CAAC,CAAC;QAEF,gBAAgB,CAAC,OAAO,CAAC,CAAC;QAE1B,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzB,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,mBAAmB,EAAE,CAAC;QAC7D,CAAC;QAED,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,yBAAyB,EAAE,CAAC;QACnE,CAAC;QAED,sBAAsB;QACtB,MAAM,UAAU,GAAG,IAAI,CAAC,sBAAsB,CAAC,MAAM,CAAC,CAAC;QACvD,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,uDAAuD,EAAE,CAAC;QACjG,CAAC;QAED,gBAAgB;QAChB,MAAM,kBAAkB,GAAa,EAAE,CAAC;QACxC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;QAE/C,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;YAC3B,kBAAkB;YAClB,IAAK,EAAU,CAAC,UAAU,EAAE,CAAC;gBAC3B,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,qCAAqC,EAAE,CAAC;YAC/E,CAAC;YAED,MAAM,WAAW,GAAG,IAAI,CAAC,oBAAoB,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3D,IAAI,CAAC,WAAW,EAAE,CAAC;gBACjB,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,kCAAkC,EAAE,CAAC;YAC5E,CAAC;YAED,IAAI,WAAW,CAAC,UAAU,KAAK,UAAU,EAAE,CAAC;gBAC1C,OAAO;oBACL,WAAW,EAAE,KAAK;oBAClB,MAAM,EAAE,qBAAqB,WAAW,CAAC,UAAU,gCAAgC,UAAU,EAAE;iBAChG,CAAC;YACJ,CAAC;YAED,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC;gBAC3B,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,uCAAuC,EAAE,CAAC;YACjF,CAAC;YAED,kBAAkB,CAAC,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;YAC/C,IAAI,WAAW,CAAC,SAAS,EAAE,CAAC;gBAC1B,YAAY,CAAC,GAAG,CAAC,WAAW,CAAC,SAAS,EAAE,WAAW,CAAC,SAAS,CAAC,CAAC;YACjE,CAAC;QACH,CAAC;QAED,OAAO;YACL,WAAW,EAAE,IAAI;YACjB,aAAa,EAAE,MAAM;YACrB,UAAU;YACV,kBAAkB;YAClB,YAAY;SACb,CAAC;IACJ,CAAC;IAED,+DAA+D;IAC/D,oBAAoB;IACpB,+DAA+D;IAE/D;;OAEG;IACH,eAAe,CAAC,OAA0B;QACxC,sCAAsC;QACtC,IAAI,OAAO,GAAG,OAAO,CAAC;QACtB,OAAO,OAAO,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO;YACtD,OAAO,CAAC,IAAI,KAAK,UAAU,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS;YACzD,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACjC,OAAO,GAAI,OAAe,CAAC,KAAK,CAAC;QACnC,CAAC;QAED,mBAAmB;QACnB,IAAI,QAAQ,GAAsB,EAAE,CAAC;QAErC,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC3B,MAAM,GAAG,GAAG,OAAsB,CAAC;YACnC,QAAQ,GAAG,GAAG,CAAC,QAA6B,CAAC;QAC/C,CAAC;aAAM,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACnC,MAAM,IAAI,GAAG,OAAuB,CAAC;YACrC,QAAQ,GAAG,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC;QAChD,CAAC;QAED,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,6CAA6C,EAAE,CAAC;QACvF,CAAC;QAED,kCAAkC;QAClC,MAAM,WAAW,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CACnC,CAAC,CAAC,OAAO,EAAE,QAAQ,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAC5D,CAAC;QACF,MAAM,iBAAiB,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC;QAE5E,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACnC,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,iDAAiD,EAAE,CAAC;QAC3F,CAAC;QAED,OAAO;YACL,WAAW,EAAE,IAAI;YACjB,QAAQ;YACR,OAAO,EAAE,iBAAiB,CAAC,CAAC,CAAE;YAC9B,SAAS,EAAE,SAAS;SACrB,CAAC;IACJ,CAAC;IAED,+DAA+D;IAC/D,OAAO;IACP,+DAA+D;IAE/D;;OAEG;IACK,sBAAsB,CAAC,EAAqB;QAClD,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,OAAO,GAAG,EAAqB,CAAC;YACtC,IAAI,OAAO,CAAC,OAAO,EAAE,QAAQ,KAAK,UAAU,EAAE,CAAC;gBAC7C,OAAO,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC;YAC/B,CAAC;QACH,CAAC;aAAM,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC7B,MAAM,GAAG,GAAG,EAAiB,CAAC;YAC9B,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC5B,MAAM,YAAY,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAoB,CAAC;gBACxD,IAAI,YAAY,CAAC,OAAO,EAAE,QAAQ,KAAK,UAAU,EAAE,CAAC;oBAClD,OAAO,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC;gBACpC,CAAC;YACH,CAAC;QACH,CAAC;aAAM,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAChC,OAAO,IAAI,CAAC,sBAAsB,CAAE,EAAqB,CAAC,KAAK,CAAC,CAAC;QACnE,CAAC;aAAM,IAAI,EAAE,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC9B,MAAM,IAAI,GAAG,EAAkB,CAAC;YAChC,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACxC,OAAO,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YACpD,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACK,oBAAoB,CAAC,EAAqB;QAKhD,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,OAAO,GAAG,EAAqB,CAAC;YACtC,IAAI,OAAO,CAAC,OAAO,EAAE,QAAQ,KAAK,UAAU,EAAE,CAAC;gBAC7C,OAAO,IAAI,CAAC;YACd,CAAC;YACD,OAAO;gBACL,UAAU,EAAE,OAAO,CAAC,OAAO,CAAC,KAAK;gBACjC,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,QAAQ,KAAK,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI;gBACvF,SAAS,EAAE,OAAO,CAAC,MAAM,EAAE,QAAQ,KAAK,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI;aACjF,CAAC;QACJ,CAAC;aAAM,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC7B,MAAM,GAAG,GAAG,EAAiB,CAAC;YAC9B,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC9B,OAAO,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAsB,CAAC,CAAC;YACzE,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACK,uBAAuB,CAAC,IAAkB;QAChD,MAAM,QAAQ,GAAsB,EAAE,CAAC;QAEvC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC/B,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC7B,QAAQ,CAAC,IAAI,CAAC,KAAwB,CAAC,CAAC;YAC1C,CAAC;iBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBAChC,QAAQ,CAAC,IAAI,CAAC,GAAI,KAAqB,CAAC,QAA6B,CAAC,CAAC;YACzE,CAAC;iBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACjC,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,uBAAuB,CAAC,KAAqB,CAAC,CAAC,CAAC;YACxE,CAAC;QACH,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED;;OAEG;IACK,uBAAuB,CAC7B,YAAwB,EACxB,YAA0B,EAC1B,UAAkB,EAClB,YAAiC;QAEjC,MAAM,OAAO,GAAe,EAAE,CAAC;QAE/B,KAAK,MAAM,WAAW,IAAI,YAAY,EAAE,CAAC;YACvC,MAAM,WAAW,GAAG,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;YACtE,IAAI,CAAC,WAAW,IAAI,WAAW,CAAC,QAAQ,KAAK,WAAW,EAAE,CAAC;gBACzD,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBAC1B,SAAS;YACX,CAAC;YAED,MAAM,YAAY,GAAG,YAAY,CAAC,GAAG,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;YAEzD,+BAA+B;YAC/B,MAAM,OAAO,GAAuB,EAAE,CAAC;YAEvC,qBAAqB;YACrB,KAAK,MAAM,CAAC,IAAI,WAAW,CAAC,IAAI,EAAE,EAAE,CAAC;gBACnC,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBAChC,IAAI,IAAI,EAAE,CAAC;oBACT,OAAO,CAAC,IAAI,CAAC,CAAC,CAAa,EAAE,IAAI,CAAC,CAAC,CAAC;gBACtC,CAAC;YACH,CAAC;YAED,iBAAiB;YACjB,KAAK,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,IAAI,YAAY,EAAE,CAAC;gBAChD,MAAM,MAAM,GAAG,YAAY,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;gBAC5C,IAAI,MAAM,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAChC,OAAO,CAAC,IAAI,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC3D,CAAC;YACH,CAAC;YAED,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;QACvD,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;CACF;AA/YD,wCA+YC","sourcesContent":["/**\n * QueryOptimizer - 统一的查询优化层\n * \n * 职责：\n * 1. 分析 SPARQL algebra，识别可优化的模式\n * 2. 选择最优执行策略\n * 3. 执行优化后的查询\n * \n * 支持的优化：\n * - OPTIONAL 优化：批量获取属性，避免指数级 LEFT JOIN\n * - Compound Query：多 pattern SQL JOIN，避免 JS 层 hash join\n * - FILTER 下推：条件下推到 SQL 层\n * \n * 设计原则：\n * - 所有优化逻辑集中在此类\n * - 对外暴露统一的接口\n * - 优化失败时优雅降级到 Comunica 默认行为\n */\n\nimport type { Bindings, Term, Variable } from '@rdfjs/types';\nimport type { Algebra } from 'sparqlalgebrajs';\nimport { DataFactory } from 'rdf-data-factory';\n\nimport type { QuintStore, AttributeMap } from '../quint/types';\n\nconst dataFactory = new DataFactory();\n\n/**\n * OPTIONAL 优化分析结果\n */\nexport interface OptionalAnalysis {\n  /** 是否可优化 */\n  canOptimize: boolean;\n  /** 核心查询（不含 OPTIONAL） */\n  coreOperation?: Algebra.Operation;\n  /** subject 变量名 */\n  subjectVar?: string;\n  /** 要获取的属性 predicates */\n  optionalPredicates?: string[];\n  /** 各 OPTIONAL 的变量名 */\n  optionalVars?: Map<string, string>;  // predicate -> variable\n  /** 不能优化的原因 */\n  reason?: string;\n}\n\n/**\n * Compound Query 优化分析结果\n */\nexport interface CompoundAnalysis {\n  /** 是否可优化 */\n  canOptimize: boolean;\n  /** 所有 patterns */\n  patterns?: Algebra.Pattern[];\n  /** JOIN 变量名 */\n  joinVar?: string;\n  /** JOIN 字段 */\n  joinField?: 'subject' | 'predicate' | 'object' | 'graph';\n  /** 不能优化的原因 */\n  reason?: string;\n}\n\n/**\n * 查询优化结果\n */\nexport interface OptimizationResult {\n  /** 优化类型 */\n  type: 'optional' | 'compound' | 'none';\n  /** 分析结果 */\n  analysis: OptionalAnalysis | CompoundAnalysis | null;\n}\n\nexport interface QueryOptimizerOptions {\n  debug?: boolean;\n  bindingsFactory: any;\n}\n\n/**\n * QueryOptimizer - 查询优化器\n */\nexport class QueryOptimizer {\n  private readonly store: QuintStore;\n  private readonly debug: boolean;\n  private readonly bindingsFactory: any;\n\n  constructor(store: QuintStore, options: QueryOptimizerOptions) {\n    this.store = store;\n    this.debug = options.debug ?? false;\n    this.bindingsFactory = options.bindingsFactory;\n  }\n\n  // ============================================================\n  // 公共接口\n  // ============================================================\n\n  /**\n   * 分析查询，确定最佳优化策略\n   */\n  analyzeQuery(algebra: Algebra.Operation): OptimizationResult {\n    // 先检查 OPTIONAL 优化（优先级最高）\n    if (this.store.getAttributes) {\n      const optionalAnalysis = this.analyzeOptional(algebra);\n      if (optionalAnalysis.canOptimize) {\n        return { type: 'optional', analysis: optionalAnalysis };\n      }\n    }\n\n    // 检查 Compound Query 优化\n    if (this.store.getCompound) {\n      const compoundAnalysis = this.analyzeCompound(algebra);\n      if (compoundAnalysis.canOptimize) {\n        return { type: 'compound', analysis: compoundAnalysis };\n      }\n    }\n\n    return { type: 'none', analysis: null };\n  }\n\n  /**\n   * 执行 OPTIONAL 优化查询\n   * \n   * @param analysis OPTIONAL 分析结果\n   * @param coreBindings 核心查询的绑定结果\n   * @param orderOptions 排序选项（可选）\n   */\n  async executeOptionalOptimized(\n    analysis: OptionalAnalysis,\n    coreBindings: Bindings[],\n    orderOptions?: { varName: string; reverse?: boolean }\n  ): Promise<Bindings[]> {\n    const { subjectVar, optionalPredicates, optionalVars } = analysis;\n    \n    if (!subjectVar || !optionalPredicates || !optionalVars) {\n      throw new Error('Invalid OptionalAnalysis');\n    }\n\n    if (coreBindings.length === 0) {\n      return [];\n    }\n\n    // 提取所有 subject 值\n    const subjects: string[] = [];\n    for (const binding of coreBindings) {\n      const subjectTerm = binding.get(dataFactory.variable(subjectVar));\n      if (subjectTerm && subjectTerm.termType === 'NamedNode') {\n        subjects.push(subjectTerm.value);\n      }\n    }\n\n    if (this.debug) {\n      console.log(`[QueryOptimizer] OPTIONAL: ${coreBindings.length} bindings, ${subjects.length} subjects`);\n    }\n\n    // 批量获取属性\n    const attributeMap = await this.store.getAttributes!(\n      subjects,\n      optionalPredicates,\n      undefined  // TODO: 支持 graph 过滤\n    );\n\n    if (this.debug) {\n      console.log(`[QueryOptimizer] getAttributes returned data for ${attributeMap.size} subjects`);\n    }\n\n    // 组装结果\n    let results = this.assembleOptionalResults(coreBindings, attributeMap, subjectVar, optionalVars);\n\n    // 应用排序\n    if (orderOptions?.varName && results.length > 1) {\n      results = this.sortBindings(results, orderOptions.varName, orderOptions.reverse ?? false);\n      if (this.debug) {\n        console.log(`[QueryOptimizer] Applied ORDER BY ?${orderOptions.varName} ${orderOptions.reverse ? 'DESC' : 'ASC'}`);\n      }\n    }\n\n    return results;\n  }\n\n  /**\n   * 对 Bindings 数组按指定变量排序\n   */\n  private sortBindings(bindings: Bindings[], varName: string, reverse: boolean): Bindings[] {\n    const orderVar = dataFactory.variable(varName);\n    \n    return [...bindings].sort((a, b) => {\n      const aVal = a.get(orderVar);\n      const bVal = b.get(orderVar);\n      \n      // null/undefined 值排在最后\n      if (!aVal && !bVal) return 0;\n      if (!aVal) return 1;\n      if (!bVal) return -1;\n      \n      // 比较值\n      let cmp: number;\n      if (aVal.termType === 'Literal' && bVal.termType === 'Literal') {\n        // 对于字面量，先尝试数值比较\n        const aNum = parseFloat(aVal.value);\n        const bNum = parseFloat(bVal.value);\n        if (!isNaN(aNum) && !isNaN(bNum)) {\n          cmp = aNum - bNum;\n        } else {\n          // 字符串比较\n          cmp = aVal.value.localeCompare(bVal.value);\n        }\n      } else {\n        // 其他类型用字符串比较\n        cmp = aVal.value.localeCompare(bVal.value);\n      }\n      \n      return reverse ? -cmp : cmp;\n    });\n  }\n\n  // ============================================================\n  // OPTIONAL 优化\n  // ============================================================\n\n  /**\n   * 分析查询是否可以进行 OPTIONAL 优化\n   * \n   * 可优化条件：\n   * 1. 有核心条件（BGP 或带 FILTER 的 BGP）\n   * 2. 有 OPTIONAL（>= 1 个）\n   * 3. 所有 OPTIONAL 都是简单的属性获取：?s <pred> ?var\n   * 4. 所有 OPTIONAL 使用同一个 subject 变量\n   * 5. OPTIONAL 内部没有额外的 FILTER\n   */\n  analyzeOptional(algebra: Algebra.Operation): OptionalAnalysis {\n    // 从 project -> slice -> orderby -> ... 找到实际的查询结构\n    let current = algebra;\n    while (current.type === 'project' || current.type === 'slice' || \n           current.type === 'distinct' || current.type === 'reduced' ||\n           current.type === 'orderby') {\n      current = (current as any).input;\n    }\n\n    // 收集所有 leftjoin（OPTIONAL）和核心操作\n    const leftJoins: Algebra.LeftJoin[] = [];\n    let coreOp: Algebra.Operation | null = null;\n\n    const collectLeftJoins = (op: Algebra.Operation): void => {\n      if (op.type === 'leftjoin') {\n        const lj = op as Algebra.LeftJoin;\n        leftJoins.push(lj);\n        collectLeftJoins(lj.input[0]);\n      } else {\n        coreOp = op;\n      }\n    };\n\n    collectLeftJoins(current);\n\n    if (leftJoins.length < 1) {\n      return { canOptimize: false, reason: 'No OPTIONAL found' };\n    }\n\n    if (!coreOp) {\n      return { canOptimize: false, reason: 'No core operation found' };\n    }\n\n    // 分析核心操作获取 subject 变量\n    const subjectVar = this.extractSubjectVariable(coreOp);\n    if (!subjectVar) {\n      return { canOptimize: false, reason: 'Cannot determine subject variable from core operation' };\n    }\n\n    // 分析所有 OPTIONAL\n    const optionalPredicates: string[] = [];\n    const optionalVars = new Map<string, string>();\n\n    for (const lj of leftJoins) {\n      // 检查是否有额外的 filter\n      if ((lj as any).expression) {\n        return { canOptimize: false, reason: 'OPTIONAL contains FILTER expression' };\n      }\n\n      const patternInfo = this.extractSimplePattern(lj.input[1]);\n      if (!patternInfo) {\n        return { canOptimize: false, reason: 'OPTIONAL is not a simple pattern' };\n      }\n\n      if (patternInfo.subjectVar !== subjectVar) {\n        return { \n          canOptimize: false, \n          reason: `OPTIONAL subject ?${patternInfo.subjectVar} doesn't match core subject ?${subjectVar}` \n        };\n      }\n\n      if (!patternInfo.predicate) {\n        return { canOptimize: false, reason: 'OPTIONAL predicate must be a constant' };\n      }\n\n      optionalPredicates.push(patternInfo.predicate);\n      if (patternInfo.objectVar) {\n        optionalVars.set(patternInfo.predicate, patternInfo.objectVar);\n      }\n    }\n\n    return {\n      canOptimize: true,\n      coreOperation: coreOp,\n      subjectVar,\n      optionalPredicates,\n      optionalVars,\n    };\n  }\n\n  // ============================================================\n  // Compound Query 优化\n  // ============================================================\n\n  /**\n   * 分析查询是否可以进行 Compound Query 优化\n   */\n  analyzeCompound(algebra: Algebra.Operation): CompoundAnalysis {\n    // 从 project -> slice -> ... 找到实际的查询结构\n    let current = algebra;\n    while (current.type === 'project' || current.type === 'slice' || \n           current.type === 'distinct' || current.type === 'reduced' ||\n           current.type === 'filter') {\n      current = (current as any).input;\n    }\n\n    // 检查是否是 BGP 或 JOIN\n    let patterns: Algebra.Pattern[] = [];\n\n    if (current.type === 'bgp') {\n      const bgp = current as Algebra.Bgp;\n      patterns = bgp.patterns as Algebra.Pattern[];\n    } else if (current.type === 'join') {\n      const join = current as Algebra.Join;\n      patterns = this.extractPatternsFromJoin(join);\n    }\n\n    if (patterns.length < 2) {\n      return { canOptimize: false, reason: 'Need at least 2 patterns for compound query' };\n    }\n\n    // 检查所有 pattern 是否共享同一个 subject 变量\n    const subjectVars = patterns.map(p => \n      p.subject?.termType === 'Variable' ? p.subject.value : null\n    );\n    const uniqueSubjectVars = [...new Set(subjectVars.filter(v => v !== null))];\n\n    if (uniqueSubjectVars.length !== 1) {\n      return { canOptimize: false, reason: 'Patterns do not share the same subject variable' };\n    }\n\n    return {\n      canOptimize: true,\n      patterns,\n      joinVar: uniqueSubjectVars[0]!,\n      joinField: 'subject',\n    };\n  }\n\n  // ============================================================\n  // 辅助方法\n  // ============================================================\n\n  /**\n   * 从核心操作提取 subject 变量\n   */\n  private extractSubjectVariable(op: Algebra.Operation): string | null {\n    if (op.type === 'pattern') {\n      const pattern = op as Algebra.Pattern;\n      if (pattern.subject?.termType === 'Variable') {\n        return pattern.subject.value;\n      }\n    } else if (op.type === 'bgp') {\n      const bgp = op as Algebra.Bgp;\n      if (bgp.patterns.length > 0) {\n        const firstPattern = bgp.patterns[0] as Algebra.Pattern;\n        if (firstPattern.subject?.termType === 'Variable') {\n          return firstPattern.subject.value;\n        }\n      }\n    } else if (op.type === 'filter') {\n      return this.extractSubjectVariable((op as Algebra.Filter).input);\n    } else if (op.type === 'join') {\n      const join = op as Algebra.Join;\n      if (join.input && join.input.length > 0) {\n        return this.extractSubjectVariable(join.input[0]);\n      }\n    }\n    return null;\n  }\n\n  /**\n   * 从 OPTIONAL 的右操作数提取简单 pattern 信息\n   */\n  private extractSimplePattern(op: Algebra.Operation): {\n    subjectVar: string;\n    predicate: string | null;\n    objectVar: string | null;\n  } | null {\n    if (op.type === 'pattern') {\n      const pattern = op as Algebra.Pattern;\n      if (pattern.subject?.termType !== 'Variable') {\n        return null;\n      }\n      return {\n        subjectVar: pattern.subject.value,\n        predicate: pattern.predicate?.termType === 'NamedNode' ? pattern.predicate.value : null,\n        objectVar: pattern.object?.termType === 'Variable' ? pattern.object.value : null,\n      };\n    } else if (op.type === 'bgp') {\n      const bgp = op as Algebra.Bgp;\n      if (bgp.patterns.length === 1) {\n        return this.extractSimplePattern(bgp.patterns[0] as Algebra.Operation);\n      }\n    }\n    return null;\n  }\n\n  /**\n   * 从 JOIN 操作提取所有 patterns\n   */\n  private extractPatternsFromJoin(join: Algebra.Join): Algebra.Pattern[] {\n    const patterns: Algebra.Pattern[] = [];\n    \n    for (const input of join.input) {\n      if (input.type === 'pattern') {\n        patterns.push(input as Algebra.Pattern);\n      } else if (input.type === 'bgp') {\n        patterns.push(...(input as Algebra.Bgp).patterns as Algebra.Pattern[]);\n      } else if (input.type === 'join') {\n        patterns.push(...this.extractPatternsFromJoin(input as Algebra.Join));\n      }\n    }\n\n    return patterns;\n  }\n\n  /**\n   * 组装 OPTIONAL 优化结果\n   */\n  private assembleOptionalResults(\n    coreBindings: Bindings[],\n    attributeMap: AttributeMap,\n    subjectVar: string,\n    optionalVars: Map<string, string>\n  ): Bindings[] {\n    const results: Bindings[] = [];\n    \n    for (const coreBinding of coreBindings) {\n      const subjectTerm = coreBinding.get(dataFactory.variable(subjectVar));\n      if (!subjectTerm || subjectTerm.termType !== 'NamedNode') {\n        results.push(coreBinding);\n        continue;\n      }\n\n      const subjectAttrs = attributeMap.get(subjectTerm.value);\n      \n      // 创建包含所有 OPTIONAL 变量的新 binding\n      const entries: [Variable, Term][] = [];\n      \n      // 复制核心 binding 的所有变量\n      for (const v of coreBinding.keys()) {\n        const term = coreBinding.get(v);\n        if (term) {\n          entries.push([v as Variable, term]);\n        }\n      }\n\n      // 添加 OPTIONAL 变量\n      for (const [predicate, varName] of optionalVars) {\n        const values = subjectAttrs?.get(predicate);\n        if (values && values.length > 0) {\n          entries.push([dataFactory.variable(varName), values[0]]);\n        }\n      }\n\n      results.push(this.bindingsFactory.bindings(entries));\n    }\n\n    return results;\n  }\n}\n"]}
+{"version":3,"file":"QueryOptimizer.js","sourceRoot":"","sources":["../../../src/storage/sparql/QueryOptimizer.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;GAiBG;;;AAIH,uDAA+C;AAI/C,MAAM,WAAW,GAAG,IAAI,8BAAW,EAAE,CAAC;AAmDtC;;GAEG;AACH,MAAa,cAAc;IAKzB,YAAY,KAAiB,EAAE,OAA8B;QAC3D,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,KAAK,CAAC;QACpC,IAAI,CAAC,eAAe,GAAG,OAAO,CAAC,eAAe,CAAC;IACjD,CAAC;IAED,+DAA+D;IAC/D,OAAO;IACP,+DAA+D;IAE/D;;OAEG;IACH,YAAY,CAAC,OAA0B;QACrC,yBAAyB;QACzB,IAAI,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC;YAC7B,MAAM,gBAAgB,GAAG,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;YACvD,IAAI,gBAAgB,CAAC,WAAW,EAAE,CAAC;gBACjC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,gBAAgB,EAAE,CAAC;YAC1D,CAAC;QACH,CAAC;QAED,uBAAuB;QACvB,IAAI,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC;YAC3B,MAAM,gBAAgB,GAAG,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;YACvD,IAAI,gBAAgB,CAAC,WAAW,EAAE,CAAC;gBACjC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,gBAAgB,EAAE,CAAC;YAC1D,CAAC;QACH,CAAC;QAED,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IAC1C,CAAC;IAED;;;;;;OAMG;IACH,KAAK,CAAC,wBAAwB,CAC5B,QAA0B,EAC1B,YAAwB,EACxB,YAAqD;QAErD,MAAM,EAAE,UAAU,EAAE,kBAAkB,EAAE,YAAY,EAAE,GAAG,QAAQ,CAAC;QAElE,IAAI,CAAC,UAAU,IAAI,CAAC,kBAAkB,IAAI,CAAC,YAAY,EAAE,CAAC;YACxD,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;QAC9C,CAAC;QAED,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9B,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,iBAAiB;QACjB,MAAM,QAAQ,GAAa,EAAE,CAAC;QAC9B,KAAK,MAAM,OAAO,IAAI,YAAY,EAAE,CAAC;YACnC,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;YAClE,IAAI,WAAW,IAAI,WAAW,CAAC,QAAQ,KAAK,WAAW,EAAE,CAAC;gBACxD,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;YACnC,CAAC;QACH,CAAC;QAED,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,OAAO,CAAC,GAAG,CAAC,8BAA8B,YAAY,CAAC,MAAM,cAAc,QAAQ,CAAC,MAAM,WAAW,CAAC,CAAC;QACzG,CAAC;QAED,SAAS;QACT,MAAM,YAAY,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,aAAc,CAClD,QAAQ,EACR,kBAAkB,EAClB,SAAS,CAAE,oBAAoB;SAChC,CAAC;QAEF,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,OAAO,CAAC,GAAG,CAAC,oDAAoD,YAAY,CAAC,IAAI,WAAW,CAAC,CAAC;QAChG,CAAC;QAED,OAAO;QACP,IAAI,OAAO,GAAG,IAAI,CAAC,uBAAuB,CAAC,YAAY,EAAE,YAAY,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;QAEjG,OAAO;QACP,IAAI,YAAY,EAAE,OAAO,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAChD,OAAO,GAAG,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE,YAAY,CAAC,OAAO,EAAE,YAAY,CAAC,OAAO,IAAI,KAAK,CAAC,CAAC;YAC1F,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBACf,OAAO,CAAC,GAAG,CAAC,sCAAsC,YAAY,CAAC,OAAO,IAAI,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;YACrH,CAAC;QACH,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;OAEG;IACK,YAAY,CAAC,QAAoB,EAAE,OAAe,EAAE,OAAgB;QAC1E,MAAM,QAAQ,GAAG,WAAW,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QAE/C,OAAO,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACjC,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YAC7B,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YAE7B,uBAAuB;YACvB,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI;gBAAE,OAAO,CAAC,CAAC;YAC7B,IAAI,CAAC,IAAI;gBAAE,OAAO,CAAC,CAAC;YACpB,IAAI,CAAC,IAAI;gBAAE,OAAO,CAAC,CAAC,CAAC;YAErB,MAAM;YACN,IAAI,GAAW,CAAC;YAChB,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC/D,gBAAgB;gBAChB,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACpC,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACpC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;oBACjC,GAAG,GAAG,IAAI,GAAG,IAAI,CAAC;gBACpB,CAAC;qBAAM,CAAC;oBACN,QAAQ;oBACR,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC7C,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,aAAa;gBACb,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC7C,CAAC;YAED,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;QAC9B,CAAC,CAAC,CAAC;IACL,CAAC;IAED,+DAA+D;IAC/D,cAAc;IACd,+DAA+D;IAE/D;;;;;;;;;OASG;IACH,eAAe,CAAC,OAA0B;QACxC,iDAAiD;QACjD,IAAI,OAAO,GAAG,OAAO,CAAC;QACtB,OAAO,OAAO,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO;YACtD,OAAO,CAAC,IAAI,KAAK,UAAU,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS;YACzD,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAClC,OAAO,GAAI,OAAe,CAAC,KAAK,CAAC;QACnC,CAAC;QAED,iDAAiD;QACjD,IAAI,WAAW,GAA8B,IAAI,CAAC;QAClD,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC9B,WAAW,GAAI,OAA0B,CAAC,UAAU,CAAC;YACrD,OAAO,GAAI,OAA0B,CAAC,KAAK,CAAC;QAC9C,CAAC;QAED,+BAA+B;QAC/B,MAAM,SAAS,GAAuB,EAAE,CAAC;QACzC,IAAI,MAAM,GAA6B,IAAI,CAAC;QAE5C,MAAM,gBAAgB,GAAG,CAAC,EAAqB,EAAQ,EAAE;YACvD,IAAI,EAAE,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC3B,MAAM,EAAE,GAAG,EAAsB,CAAC;gBAClC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACnB,gBAAgB,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YAChC,CAAC;iBAAM,CAAC;gBACN,gDAAgD;gBAChD,IAAI,WAAW,IAAI,EAAE,EAAE,CAAC;oBACtB,MAAM,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,UAAU,EAAE,WAAW,EAAoB,CAAC;gBACpF,CAAC;qBAAM,CAAC;oBACN,MAAM,GAAG,EAAE,CAAC;gBACd,CAAC;YACH,CAAC;QACH,CAAC,CAAC;QAEF,gBAAgB,CAAC,OAAO,CAAC,CAAC;QAE1B,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzB,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,mBAAmB,EAAE,CAAC;QAC7D,CAAC;QAED,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,yBAAyB,EAAE,CAAC;QACnE,CAAC;QAED,sBAAsB;QACtB,MAAM,UAAU,GAAG,IAAI,CAAC,sBAAsB,CAAC,MAAM,CAAC,CAAC;QACvD,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,uDAAuD,EAAE,CAAC;QACjG,CAAC;QAED,gBAAgB;QAChB,MAAM,kBAAkB,GAAa,EAAE,CAAC;QACxC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;QAE/C,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;YAC3B,kBAAkB;YAClB,IAAK,EAAU,CAAC,UAAU,EAAE,CAAC;gBAC3B,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,qCAAqC,EAAE,CAAC;YAC/E,CAAC;YAED,MAAM,WAAW,GAAG,IAAI,CAAC,oBAAoB,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3D,IAAI,CAAC,WAAW,EAAE,CAAC;gBACjB,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,kCAAkC,EAAE,CAAC;YAC5E,CAAC;YAED,IAAI,WAAW,CAAC,UAAU,KAAK,UAAU,EAAE,CAAC;gBAC1C,OAAO;oBACL,WAAW,EAAE,KAAK;oBAClB,MAAM,EAAE,qBAAqB,WAAW,CAAC,UAAU,gCAAgC,UAAU,EAAE;iBAChG,CAAC;YACJ,CAAC;YAED,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC;gBAC3B,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,uCAAuC,EAAE,CAAC;YACjF,CAAC;YAED,kBAAkB,CAAC,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;YAC/C,IAAI,WAAW,CAAC,SAAS,EAAE,CAAC;gBAC1B,YAAY,CAAC,GAAG,CAAC,WAAW,CAAC,SAAS,EAAE,WAAW,CAAC,SAAS,CAAC,CAAC;YACjE,CAAC;QACH,CAAC;QAED,OAAO;YACL,WAAW,EAAE,IAAI;YACjB,aAAa,EAAE,MAAM;YACrB,UAAU;YACV,kBAAkB;YAClB,YAAY;SACb,CAAC;IACJ,CAAC;IAED,+DAA+D;IAC/D,oBAAoB;IACpB,+DAA+D;IAE/D;;OAEG;IACH,eAAe,CAAC,OAA0B;QACxC,sCAAsC;QACtC,IAAI,OAAO,GAAG,OAAO,CAAC;QACtB,OAAO,OAAO,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO;YACtD,OAAO,CAAC,IAAI,KAAK,UAAU,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS;YACzD,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACjC,OAAO,GAAI,OAAe,CAAC,KAAK,CAAC;QACnC,CAAC;QAED,mBAAmB;QACnB,IAAI,QAAQ,GAAsB,EAAE,CAAC;QAErC,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC3B,MAAM,GAAG,GAAG,OAAsB,CAAC;YACnC,QAAQ,GAAG,GAAG,CAAC,QAA6B,CAAC;QAC/C,CAAC;aAAM,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACnC,MAAM,IAAI,GAAG,OAAuB,CAAC;YACrC,QAAQ,GAAG,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC;QAChD,CAAC;QAED,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,6CAA6C,EAAE,CAAC;QACvF,CAAC;QAED,kCAAkC;QAClC,MAAM,WAAW,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CACnC,CAAC,CAAC,OAAO,EAAE,QAAQ,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAC5D,CAAC;QACF,MAAM,iBAAiB,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC;QAE5E,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACnC,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,iDAAiD,EAAE,CAAC;QAC3F,CAAC;QAED,OAAO;YACL,WAAW,EAAE,IAAI;YACjB,QAAQ;YACR,OAAO,EAAE,iBAAiB,CAAC,CAAC,CAAE;YAC9B,SAAS,EAAE,SAAS;SACrB,CAAC;IACJ,CAAC;IAED,+DAA+D;IAC/D,OAAO;IACP,+DAA+D;IAE/D;;OAEG;IACK,sBAAsB,CAAC,EAAqB;QAClD,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,OAAO,GAAG,EAAqB,CAAC;YACtC,IAAI,OAAO,CAAC,OAAO,EAAE,QAAQ,KAAK,UAAU,EAAE,CAAC;gBAC7C,OAAO,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC;YAC/B,CAAC;QACH,CAAC;aAAM,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC7B,MAAM,GAAG,GAAG,EAAiB,CAAC;YAC9B,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC5B,MAAM,YAAY,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAoB,CAAC;gBACxD,IAAI,YAAY,CAAC,OAAO,EAAE,QAAQ,KAAK,UAAU,EAAE,CAAC;oBAClD,OAAO,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC;gBACpC,CAAC;YACH,CAAC;QACH,CAAC;aAAM,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAChC,OAAO,IAAI,CAAC,sBAAsB,CAAE,EAAqB,CAAC,KAAK,CAAC,CAAC;QACnE,CAAC;aAAM,IAAI,EAAE,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC9B,MAAM,IAAI,GAAG,EAAkB,CAAC;YAChC,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACxC,OAAO,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YACpD,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACK,oBAAoB,CAAC,EAAqB;QAKhD,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,OAAO,GAAG,EAAqB,CAAC;YACtC,IAAI,OAAO,CAAC,OAAO,EAAE,QAAQ,KAAK,UAAU,EAAE,CAAC;gBAC7C,OAAO,IAAI,CAAC;YACd,CAAC;YACD,OAAO;gBACL,UAAU,EAAE,OAAO,CAAC,OAAO,CAAC,KAAK;gBACjC,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,QAAQ,KAAK,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI;gBACvF,SAAS,EAAE,OAAO,CAAC,MAAM,EAAE,QAAQ,KAAK,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI;aACjF,CAAC;QACJ,CAAC;aAAM,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC7B,MAAM,GAAG,GAAG,EAAiB,CAAC;YAC9B,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC9B,OAAO,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAsB,CAAC,CAAC;YACzE,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACK,uBAAuB,CAAC,IAAkB;QAChD,MAAM,QAAQ,GAAsB,EAAE,CAAC;QAEvC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC/B,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC7B,QAAQ,CAAC,IAAI,CAAC,KAAwB,CAAC,CAAC;YAC1C,CAAC;iBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBAChC,QAAQ,CAAC,IAAI,CAAC,GAAI,KAAqB,CAAC,QAA6B,CAAC,CAAC;YACzE,CAAC;iBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACjC,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,uBAAuB,CAAC,KAAqB,CAAC,CAAC,CAAC;YACxE,CAAC;QACH,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED;;OAEG;IACK,uBAAuB,CAC7B,YAAwB,EACxB,YAA0B,EAC1B,UAAkB,EAClB,YAAiC;QAEjC,MAAM,OAAO,GAAe,EAAE,CAAC;QAE/B,KAAK,MAAM,WAAW,IAAI,YAAY,EAAE,CAAC;YACvC,MAAM,WAAW,GAAG,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;YACtE,IAAI,CAAC,WAAW,IAAI,WAAW,CAAC,QAAQ,KAAK,WAAW,EAAE,CAAC;gBACzD,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBAC1B,SAAS;YACX,CAAC;YAED,MAAM,YAAY,GAAG,YAAY,CAAC,GAAG,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;YAEzD,+BAA+B;YAC/B,MAAM,OAAO,GAAuB,EAAE,CAAC;YAEvC,qBAAqB;YACrB,KAAK,MAAM,CAAC,IAAI,WAAW,CAAC,IAAI,EAAE,EAAE,CAAC;gBACnC,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBAChC,IAAI,IAAI,EAAE,CAAC;oBACT,OAAO,CAAC,IAAI,CAAC,CAAC,CAAa,EAAE,IAAI,CAAC,CAAC,CAAC;gBACtC,CAAC;YACH,CAAC;YAED,iBAAiB;YACjB,KAAK,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,IAAI,YAAY,EAAE,CAAC;gBAChD,MAAM,MAAM,GAAG,YAAY,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;gBAC5C,IAAI,MAAM,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAChC,OAAO,CAAC,IAAI,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC3D,CAAC;YACH,CAAC;YAED,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;QACvD,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;CACF;AA3ZD,wCA2ZC","sourcesContent":["/**\n * QueryOptimizer - 统一的查询优化层\n * \n * 职责：\n * 1. 分析 SPARQL algebra，识别可优化的模式\n * 2. 选择最优执行策略\n * 3. 执行优化后的查询\n * \n * 支持的优化：\n * - OPTIONAL 优化：批量获取属性，避免指数级 LEFT JOIN\n * - Compound Query：多 pattern SQL JOIN，避免 JS 层 hash join\n * - FILTER 下推：条件下推到 SQL 层\n * \n * 设计原则：\n * - 所有优化逻辑集中在此类\n * - 对外暴露统一的接口\n * - 优化失败时优雅降级到 Comunica 默认行为\n */\n\nimport type { Bindings, Term, Variable } from '@rdfjs/types';\nimport type { Algebra } from 'sparqlalgebrajs';\nimport { DataFactory } from 'rdf-data-factory';\n\nimport type { QuintStore, AttributeMap } from '../quint/types';\n\nconst dataFactory = new DataFactory();\n\n/**\n * OPTIONAL 优化分析结果\n */\nexport interface OptionalAnalysis {\n  /** 是否可优化 */\n  canOptimize: boolean;\n  /** 核心查询（不含 OPTIONAL） */\n  coreOperation?: Algebra.Operation;\n  /** subject 变量名 */\n  subjectVar?: string;\n  /** 要获取的属性 predicates */\n  optionalPredicates?: string[];\n  /** 各 OPTIONAL 的变量名 */\n  optionalVars?: Map<string, string>;  // predicate -> variable\n  /** 不能优化的原因 */\n  reason?: string;\n}\n\n/**\n * Compound Query 优化分析结果\n */\nexport interface CompoundAnalysis {\n  /** 是否可优化 */\n  canOptimize: boolean;\n  /** 所有 patterns */\n  patterns?: Algebra.Pattern[];\n  /** JOIN 变量名 */\n  joinVar?: string;\n  /** JOIN 字段 */\n  joinField?: 'subject' | 'predicate' | 'object' | 'graph';\n  /** 不能优化的原因 */\n  reason?: string;\n}\n\n/**\n * 查询优化结果\n */\nexport interface OptimizationResult {\n  /** 优化类型 */\n  type: 'optional' | 'compound' | 'none';\n  /** 分析结果 */\n  analysis: OptionalAnalysis | CompoundAnalysis | null;\n}\n\nexport interface QueryOptimizerOptions {\n  debug?: boolean;\n  bindingsFactory: any;\n}\n\n/**\n * QueryOptimizer - 查询优化器\n */\nexport class QueryOptimizer {\n  private readonly store: QuintStore;\n  private readonly debug: boolean;\n  private readonly bindingsFactory: any;\n\n  constructor(store: QuintStore, options: QueryOptimizerOptions) {\n    this.store = store;\n    this.debug = options.debug ?? false;\n    this.bindingsFactory = options.bindingsFactory;\n  }\n\n  // ============================================================\n  // 公共接口\n  // ============================================================\n\n  /**\n   * 分析查询，确定最佳优化策略\n   */\n  analyzeQuery(algebra: Algebra.Operation): OptimizationResult {\n    // 先检查 OPTIONAL 优化（优先级最高）\n    if (this.store.getAttributes) {\n      const optionalAnalysis = this.analyzeOptional(algebra);\n      if (optionalAnalysis.canOptimize) {\n        return { type: 'optional', analysis: optionalAnalysis };\n      }\n    }\n\n    // 检查 Compound Query 优化\n    if (this.store.getCompound) {\n      const compoundAnalysis = this.analyzeCompound(algebra);\n      if (compoundAnalysis.canOptimize) {\n        return { type: 'compound', analysis: compoundAnalysis };\n      }\n    }\n\n    return { type: 'none', analysis: null };\n  }\n\n  /**\n   * 执行 OPTIONAL 优化查询\n   * \n   * @param analysis OPTIONAL 分析结果\n   * @param coreBindings 核心查询的绑定结果\n   * @param orderOptions 排序选项（可选）\n   */\n  async executeOptionalOptimized(\n    analysis: OptionalAnalysis,\n    coreBindings: Bindings[],\n    orderOptions?: { varName: string; reverse?: boolean }\n  ): Promise<Bindings[]> {\n    const { subjectVar, optionalPredicates, optionalVars } = analysis;\n    \n    if (!subjectVar || !optionalPredicates || !optionalVars) {\n      throw new Error('Invalid OptionalAnalysis');\n    }\n\n    if (coreBindings.length === 0) {\n      return [];\n    }\n\n    // 提取所有 subject 值\n    const subjects: string[] = [];\n    for (const binding of coreBindings) {\n      const subjectTerm = binding.get(dataFactory.variable(subjectVar));\n      if (subjectTerm && subjectTerm.termType === 'NamedNode') {\n        subjects.push(subjectTerm.value);\n      }\n    }\n\n    if (this.debug) {\n      console.log(`[QueryOptimizer] OPTIONAL: ${coreBindings.length} bindings, ${subjects.length} subjects`);\n    }\n\n    // 批量获取属性\n    const attributeMap = await this.store.getAttributes!(\n      subjects,\n      optionalPredicates,\n      undefined  // TODO: 支持 graph 过滤\n    );\n\n    if (this.debug) {\n      console.log(`[QueryOptimizer] getAttributes returned data for ${attributeMap.size} subjects`);\n    }\n\n    // 组装结果\n    let results = this.assembleOptionalResults(coreBindings, attributeMap, subjectVar, optionalVars);\n\n    // 应用排序\n    if (orderOptions?.varName && results.length > 1) {\n      results = this.sortBindings(results, orderOptions.varName, orderOptions.reverse ?? false);\n      if (this.debug) {\n        console.log(`[QueryOptimizer] Applied ORDER BY ?${orderOptions.varName} ${orderOptions.reverse ? 'DESC' : 'ASC'}`);\n      }\n    }\n\n    return results;\n  }\n\n  /**\n   * 对 Bindings 数组按指定变量排序\n   */\n  private sortBindings(bindings: Bindings[], varName: string, reverse: boolean): Bindings[] {\n    const orderVar = dataFactory.variable(varName);\n    \n    return [...bindings].sort((a, b) => {\n      const aVal = a.get(orderVar);\n      const bVal = b.get(orderVar);\n      \n      // null/undefined 值排在最后\n      if (!aVal && !bVal) return 0;\n      if (!aVal) return 1;\n      if (!bVal) return -1;\n      \n      // 比较值\n      let cmp: number;\n      if (aVal.termType === 'Literal' && bVal.termType === 'Literal') {\n        // 对于字面量，先尝试数值比较\n        const aNum = parseFloat(aVal.value);\n        const bNum = parseFloat(bVal.value);\n        if (!isNaN(aNum) && !isNaN(bNum)) {\n          cmp = aNum - bNum;\n        } else {\n          // 字符串比较\n          cmp = aVal.value.localeCompare(bVal.value);\n        }\n      } else {\n        // 其他类型用字符串比较\n        cmp = aVal.value.localeCompare(bVal.value);\n      }\n      \n      return reverse ? -cmp : cmp;\n    });\n  }\n\n  // ============================================================\n  // OPTIONAL 优化\n  // ============================================================\n\n  /**\n   * 分析查询是否可以进行 OPTIONAL 优化\n   * \n   * 可优化条件：\n   * 1. 有核心条件（BGP 或带 FILTER 的 BGP）\n   * 2. 有 OPTIONAL（>= 1 个）\n   * 3. 所有 OPTIONAL 都是简单的属性获取：?s <pred> ?var\n   * 4. 所有 OPTIONAL 使用同一个 subject 变量\n   * 5. OPTIONAL 内部没有额外的 FILTER\n   */\n  analyzeOptional(algebra: Algebra.Operation): OptionalAnalysis {\n    // 从 project -> slice -> orderby -> ... 找到实际的查询结构\n    let current = algebra;\n    while (current.type === 'project' || current.type === 'slice' ||\n           current.type === 'distinct' || current.type === 'reduced' ||\n           current.type === 'orderby') {\n      current = (current as any).input;\n    }\n\n    // 穿透 filter 节点，保留 filter expression 供后续包回 coreOp\n    let outerFilter: Algebra.Expression | null = null;\n    if (current.type === 'filter') {\n      outerFilter = (current as Algebra.Filter).expression;\n      current = (current as Algebra.Filter).input;\n    }\n\n    // 收集所有 leftjoin（OPTIONAL）和核心操作\n    const leftJoins: Algebra.LeftJoin[] = [];\n    let coreOp: Algebra.Operation | null = null;\n\n    const collectLeftJoins = (op: Algebra.Operation): void => {\n      if (op.type === 'leftjoin') {\n        const lj = op as Algebra.LeftJoin;\n        leftJoins.push(lj);\n        collectLeftJoins(lj.input[0]);\n      } else {\n        // 如果有外层 FILTER，把它包回 coreOp 上，确保核心查询仍带 FILTER 条件\n        if (outerFilter && op) {\n          coreOp = { type: 'filter', input: op, expression: outerFilter } as Algebra.Filter;\n        } else {\n          coreOp = op;\n        }\n      }\n    };\n\n    collectLeftJoins(current);\n\n    if (leftJoins.length < 1) {\n      return { canOptimize: false, reason: 'No OPTIONAL found' };\n    }\n\n    if (!coreOp) {\n      return { canOptimize: false, reason: 'No core operation found' };\n    }\n\n    // 分析核心操作获取 subject 变量\n    const subjectVar = this.extractSubjectVariable(coreOp);\n    if (!subjectVar) {\n      return { canOptimize: false, reason: 'Cannot determine subject variable from core operation' };\n    }\n\n    // 分析所有 OPTIONAL\n    const optionalPredicates: string[] = [];\n    const optionalVars = new Map<string, string>();\n\n    for (const lj of leftJoins) {\n      // 检查是否有额外的 filter\n      if ((lj as any).expression) {\n        return { canOptimize: false, reason: 'OPTIONAL contains FILTER expression' };\n      }\n\n      const patternInfo = this.extractSimplePattern(lj.input[1]);\n      if (!patternInfo) {\n        return { canOptimize: false, reason: 'OPTIONAL is not a simple pattern' };\n      }\n\n      if (patternInfo.subjectVar !== subjectVar) {\n        return { \n          canOptimize: false, \n          reason: `OPTIONAL subject ?${patternInfo.subjectVar} doesn't match core subject ?${subjectVar}` \n        };\n      }\n\n      if (!patternInfo.predicate) {\n        return { canOptimize: false, reason: 'OPTIONAL predicate must be a constant' };\n      }\n\n      optionalPredicates.push(patternInfo.predicate);\n      if (patternInfo.objectVar) {\n        optionalVars.set(patternInfo.predicate, patternInfo.objectVar);\n      }\n    }\n\n    return {\n      canOptimize: true,\n      coreOperation: coreOp,\n      subjectVar,\n      optionalPredicates,\n      optionalVars,\n    };\n  }\n\n  // ============================================================\n  // Compound Query 优化\n  // ============================================================\n\n  /**\n   * 分析查询是否可以进行 Compound Query 优化\n   */\n  analyzeCompound(algebra: Algebra.Operation): CompoundAnalysis {\n    // 从 project -> slice -> ... 找到实际的查询结构\n    let current = algebra;\n    while (current.type === 'project' || current.type === 'slice' || \n           current.type === 'distinct' || current.type === 'reduced' ||\n           current.type === 'filter') {\n      current = (current as any).input;\n    }\n\n    // 检查是否是 BGP 或 JOIN\n    let patterns: Algebra.Pattern[] = [];\n\n    if (current.type === 'bgp') {\n      const bgp = current as Algebra.Bgp;\n      patterns = bgp.patterns as Algebra.Pattern[];\n    } else if (current.type === 'join') {\n      const join = current as Algebra.Join;\n      patterns = this.extractPatternsFromJoin(join);\n    }\n\n    if (patterns.length < 2) {\n      return { canOptimize: false, reason: 'Need at least 2 patterns for compound query' };\n    }\n\n    // 检查所有 pattern 是否共享同一个 subject 变量\n    const subjectVars = patterns.map(p => \n      p.subject?.termType === 'Variable' ? p.subject.value : null\n    );\n    const uniqueSubjectVars = [...new Set(subjectVars.filter(v => v !== null))];\n\n    if (uniqueSubjectVars.length !== 1) {\n      return { canOptimize: false, reason: 'Patterns do not share the same subject variable' };\n    }\n\n    return {\n      canOptimize: true,\n      patterns,\n      joinVar: uniqueSubjectVars[0]!,\n      joinField: 'subject',\n    };\n  }\n\n  // ============================================================\n  // 辅助方法\n  // ============================================================\n\n  /**\n   * 从核心操作提取 subject 变量\n   */\n  private extractSubjectVariable(op: Algebra.Operation): string | null {\n    if (op.type === 'pattern') {\n      const pattern = op as Algebra.Pattern;\n      if (pattern.subject?.termType === 'Variable') {\n        return pattern.subject.value;\n      }\n    } else if (op.type === 'bgp') {\n      const bgp = op as Algebra.Bgp;\n      if (bgp.patterns.length > 0) {\n        const firstPattern = bgp.patterns[0] as Algebra.Pattern;\n        if (firstPattern.subject?.termType === 'Variable') {\n          return firstPattern.subject.value;\n        }\n      }\n    } else if (op.type === 'filter') {\n      return this.extractSubjectVariable((op as Algebra.Filter).input);\n    } else if (op.type === 'join') {\n      const join = op as Algebra.Join;\n      if (join.input && join.input.length > 0) {\n        return this.extractSubjectVariable(join.input[0]);\n      }\n    }\n    return null;\n  }\n\n  /**\n   * 从 OPTIONAL 的右操作数提取简单 pattern 信息\n   */\n  private extractSimplePattern(op: Algebra.Operation): {\n    subjectVar: string;\n    predicate: string | null;\n    objectVar: string | null;\n  } | null {\n    if (op.type === 'pattern') {\n      const pattern = op as Algebra.Pattern;\n      if (pattern.subject?.termType !== 'Variable') {\n        return null;\n      }\n      return {\n        subjectVar: pattern.subject.value,\n        predicate: pattern.predicate?.termType === 'NamedNode' ? pattern.predicate.value : null,\n        objectVar: pattern.object?.termType === 'Variable' ? pattern.object.value : null,\n      };\n    } else if (op.type === 'bgp') {\n      const bgp = op as Algebra.Bgp;\n      if (bgp.patterns.length === 1) {\n        return this.extractSimplePattern(bgp.patterns[0] as Algebra.Operation);\n      }\n    }\n    return null;\n  }\n\n  /**\n   * 从 JOIN 操作提取所有 patterns\n   */\n  private extractPatternsFromJoin(join: Algebra.Join): Algebra.Pattern[] {\n    const patterns: Algebra.Pattern[] = [];\n    \n    for (const input of join.input) {\n      if (input.type === 'pattern') {\n        patterns.push(input as Algebra.Pattern);\n      } else if (input.type === 'bgp') {\n        patterns.push(...(input as Algebra.Bgp).patterns as Algebra.Pattern[]);\n      } else if (input.type === 'join') {\n        patterns.push(...this.extractPatternsFromJoin(input as Algebra.Join));\n      }\n    }\n\n    return patterns;\n  }\n\n  /**\n   * 组装 OPTIONAL 优化结果\n   */\n  private assembleOptionalResults(\n    coreBindings: Bindings[],\n    attributeMap: AttributeMap,\n    subjectVar: string,\n    optionalVars: Map<string, string>\n  ): Bindings[] {\n    const results: Bindings[] = [];\n    \n    for (const coreBinding of coreBindings) {\n      const subjectTerm = coreBinding.get(dataFactory.variable(subjectVar));\n      if (!subjectTerm || subjectTerm.termType !== 'NamedNode') {\n        results.push(coreBinding);\n        continue;\n      }\n\n      const subjectAttrs = attributeMap.get(subjectTerm.value);\n      \n      // 创建包含所有 OPTIONAL 变量的新 binding\n      const entries: [Variable, Term][] = [];\n      \n      // 复制核心 binding 的所有变量\n      for (const v of coreBinding.keys()) {\n        const term = coreBinding.get(v);\n        if (term) {\n          entries.push([v as Variable, term]);\n        }\n      }\n\n      // 添加 OPTIONAL 变量\n      for (const [predicate, varName] of optionalVars) {\n        const values = subjectAttrs?.get(predicate);\n        if (values && values.length > 0) {\n          entries.push([dataFactory.variable(varName), values[0]]);\n        }\n      }\n\n      results.push(this.bindingsFactory.bindings(entries));\n    }\n\n    return results;\n  }\n}\n"]}

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

@@ -172,6 +172,20 @@ export declare class QuintQuerySource implements IQuerySource {
      * Returns null if compound query is not applicable
      */
     private tryCompoundQuery;
+    /**
+     * Execute multiple patterns individually and hash-join results on shared variables.
+     * Used when compound query is not applicable (e.g. inverse patterns with different subject vars).
+     */
+    private executeMultiPatternJoin;
+    /**
+     * Extract simple equality bindings from a FILTER expression.
+     * E.g. FILTER(?subject = <uri>) -> { subject: "uri" }
+     */
+    private extractFilterBindings;
+    /**
+     * Hash-join two binding arrays on all shared variables.
+     */
+    private hashJoinBindings;
     /**
      * Distribute filter conditions to their respective patterns
      * Returns a map of pattern index -> PushdownFilters

package/dist/storage/sparql/QuintQuerySource.js

@@ -169,7 +169,12 @@ class QuintQuerySource {
             if (compoundResult) {
                 return compoundResult;
             }
-            // Fall back to single pattern execution if compound query not applicable
+            // Compound query not applicable (e.g. inverse patterns with different subject vars).
+            // Fall back to per-pattern execution with in-memory hash join.
+            const multiResult = await this.executeMultiPatternJoin(patterns, filter);
+            if (multiResult) {
+                return multiResult;
+            }
         }
         const variables = (0, AlgebraUtils_1.extractVariables)(pattern);
         // Try to get pre-extracted filter expressions for variables in this pattern
@@ -584,6 +589,152 @@ class QuintQuerySource {
         // Convert CompoundResult to Bindings
         return this.compoundResultsToBindings(results, patterns);
     }
+    /**
+     * Execute multiple patterns individually and hash-join results on shared variables.
+     * Used when compound query is not applicable (e.g. inverse patterns with different subject vars).
+     */
+    async executeMultiPatternJoin(patterns, filter = null) {
+        if (!patterns || patterns.length < 2)
+            return null;
+        if (this.debug) {
+            console.log(`[QuintQuerySource] executeMultiPatternJoin: ${patterns.length} patterns, hasFilter=${!!filter}`);
+        }
+        // If there's a FILTER like ?subject = <uri>, extract the bound value
+        // so we can push it down to individual pattern queries
+        const filterBindings = this.extractFilterBindings(filter);
+        // Execute each pattern individually and collect bindings
+        const patternBindings = [];
+        for (let i = 0; i < patterns.length; i++) {
+            const p = patterns[i];
+            const vars = (0, AlgebraUtils_1.extractVariables)(p);
+            // Try to apply filter bindings to this pattern
+            let quintPattern;
+            const pushdown = {};
+            if (filterBindings) {
+                // Check if any variable in this pattern matches a filter binding
+                for (const [varName, termValue] of Object.entries(filterBindings)) {
+                    if (p.subject?.termType === 'Variable' && p.subject.value === varName) {
+                        pushdown['subject'] = { $eq: termValue };
+                    }
+                    else if (p.object?.termType === 'Variable' && p.object.value === varName) {
+                        pushdown['object'] = { $eq: termValue };
+                    }
+                }
+            }
+            if (Object.keys(pushdown).length > 0) {
+                quintPattern = this.patternBuilder.buildQuintPattern(p, pushdown);
+            }
+            else {
+                quintPattern = this.patternBuilder.buildBasePattern(p);
+            }
+            const quads = await this.store.get(quintPattern);
+            const bindings = this.quadsToBindings(quads, vars, p);
+            if (this.debug) {
+                console.log(`[QuintQuerySource] Pattern ${i}: ${bindings.length} results, vars=[${vars.map(v => v.value)}]`);
+            }
+            patternBindings.push(bindings);
+        }
+        // Iteratively hash-join all pattern results
+        let result = patternBindings[0];
+        for (let i = 1; i < patternBindings.length; i++) {
+            result = this.hashJoinBindings(result, patternBindings[i]);
+            if (this.debug) {
+                console.log(`[QuintQuerySource] After join with pattern ${i}: ${result.length} results`);
+            }
+            if (result.length === 0)
+                break;
+        }
+        // Apply remaining in-memory filter if needed
+        if (filter && result.length > 0) {
+            result = await this.expressionEvaluator.evaluateFilterTree(filter, result, patterns[0]);
+        }
+        return result;
+    }
+    /**
+     * Extract simple equality bindings from a FILTER expression.
+     * E.g. FILTER(?subject = <uri>) -> { subject: "uri" }
+     */
+    extractFilterBindings(filter) {
+        if (!filter)
+            return null;
+        const bindings = {};
+        const extract = (expr) => {
+            if (!expr)
+                return;
+            if (expr.expressionType === 'operator' && expr.operator === '=') {
+                const args = expr.args || [];
+                if (args.length === 2) {
+                    let varName = null;
+                    let value = null;
+                    for (const arg of args) {
+                        if (arg.expressionType === 'term' && arg.term?.termType === 'Variable') {
+                            varName = arg.term.value;
+                        }
+                        else if (arg.expressionType === 'term' && arg.term?.termType === 'NamedNode') {
+                            value = arg.term.value;
+                        }
+                    }
+                    if (varName && value) {
+                        bindings[varName] = value;
+                    }
+                }
+            }
+            else if (expr.expressionType === 'operator' && expr.operator === '&&') {
+                for (const arg of (expr.args || [])) {
+                    extract(arg);
+                }
+            }
+        };
+        extract(filter);
+        return Object.keys(bindings).length > 0 ? bindings : null;
+    }
+    /**
+     * Hash-join two binding arrays on all shared variables.
+     */
+    hashJoinBindings(left, right) {
+        if (left.length === 0 || right.length === 0)
+            return [];
+        // Find shared variables
+        const leftVars = new Set();
+        for (const k of left[0].keys())
+            leftVars.add(k.value);
+        const rightVars = new Set();
+        for (const k of right[0].keys())
+            rightVars.add(k.value);
+        const sharedVars = [...leftVars].filter(v => rightVars.has(v));
+        if (sharedVars.length === 0) {
+            // No shared variables — cartesian product
+            return this.cartesianJoin(left, right);
+        }
+        // Build hash index on right side using shared vars as key
+        const rightIndex = new Map();
+        for (const binding of right) {
+            const key = sharedVars.map(v => {
+                const t = binding.get(dataFactory.variable(v));
+                return t ? t.value : '';
+            }).join('\0');
+            if (!rightIndex.has(key))
+                rightIndex.set(key, []);
+            rightIndex.get(key).push(binding);
+        }
+        // Probe with left side
+        const results = [];
+        for (const leftBinding of left) {
+            const key = sharedVars.map(v => {
+                const t = leftBinding.get(dataFactory.variable(v));
+                return t ? t.value : '';
+            }).join('\0');
+            const matches = rightIndex.get(key);
+            if (matches) {
+                for (const rightBinding of matches) {
+                    const merged = this.mergeBindings(leftBinding, rightBinding);
+                    if (merged)
+                        results.push(merged);
+                }
+            }
+        }
+        return results;
+    }
     /**
      * Distribute filter conditions to their respective patterns
      * Returns a map of pattern index -> PushdownFilters