@undefineds.co/xpod 0.1.0-local.202602081751

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

@@ -0,0 +1 @@
+{"version":3,"file":"QuintQuerySource.js","sourceRoot":"","sources":["../../../src/storage/sparql/QuintQuerySource.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;GAYG;;;AAIH,iDAAsE;AACtE,qDAA+D;AAC/D,uDAA+C;AAI/C,uEAA+G;AAC/G,qDAAkD;AAClD,+DAA4D;AAC5D,iDAAkD;AAClD,0DAA2D;AAkE3D,MAAM,WAAW,GAAG,IAAI,8BAAW,EAAE,CAAC;AAEtC;;;;;;;;;GASG;AACH,MAAa,gBAAgB;IAiB3B,YACE,KAAiB,EACjB,OAMC;QAED,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,cAAc,GAAG,KAAK,CAAC,CAAC,sCAAsC;QACnE,IAAI,CAAC,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,KAAK,CAAC;QACpC,IAAI,CAAC,eAAe,GAAG,OAAO,CAAC,eAAe,CAAC;QAC/C,IAAI,CAAC,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,CAAC;QACrD,IAAI,CAAC,iBAAiB,GAAG,OAAO,CAAC,iBAAiB,CAAC;QACnD,IAAI,CAAC,mBAAmB,GAAG,OAAO,CAAC,mBAAmB,CAAC;QAEvD,iCAAiC;QACjC,IAAI,CAAC,eAAe,GAAG,IAAI,iDAAuB,EAAE,CAAC;QACrD,IAAI,CAAC,cAAc,GAAG,IAAI,+BAAc,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QAClE,IAAI,CAAC,mBAAmB,GAAG,IAAI,yCAAmB,CAChD,KAAK,EACL,IAAI,CAAC,cAAc,EACnB,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,CACxC,CAAC;IACJ,CAAC;IAED;;;;;;;;;;;;OAYG;IACH,KAAK,CAAC,gBAAgB,CAAC,QAAwB;QAC7C,2CAA2C;QAC3C,MAAM,gBAAgB,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;QAElD,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,QAAQ,EAAE;gBACR,2CAA2C;gBAC3C;oBACE,IAAI,EAAE,WAAW;oBACjB,SAAS,EAAE;wBACT,aAAa,EAAE,SAAS;wBACxB,OAAO,EAAE;4BACP,IAAI,EAAE,SAAS;4BACf,OAAO,EAAE,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC;4BAClC,SAAS,EAAE,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC;4BACpC,MAAM,EAAE,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC;4BACjC,KAAK,EAAE,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC;yBACd;qBACrB;oBACD,iBAAiB,EAAE;wBACjB,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC;wBACzB,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC;wBACzB,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC;wBACzB,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC;qBAC1B;oBACD,6CAA6C;oBAC7C,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBACpD;gBACD,iDAAiD;gBACjD;oBACE,IAAI,EAAE,WAAW;oBACjB,SAAS,EAAE;wBACT,aAAa,EAAE,MAAM;wBACrB,IAAI,EAAE,yBAAO,CAAC,KAAK,CAAC,GAAG;qBACxB;oBACD,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBACpD;gBACD,4BAA4B;gBAC5B;oBACE,IAAI,EAAE,WAAW;oBACjB,SAAS,EAAE;wBACT,aAAa,EAAE,MAAM;wBACrB,IAAI,EAAE,yBAAO,CAAC,KAAK,CAAC,MAAM;qBAC3B;oBACD,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBACpD;gBACD,yEAAyE;gBACzE;oBACE,IAAI,EAAE,WAAW;oBACjB,SAAS,EAAE;wBACT,aAAa,EAAE,MAAM;wBACrB,IAAI,EAAE,yBAAO,CAAC,KAAK,CAAC,IAAI;qBACzB;oBACD,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBACpD;aACF;SACF,CAAC;IACJ,CAAC;IAED;;;;;;OAMG;IACH,aAAa,CAAC,SAA4B,EAAE,QAAwB,EAAE,OAA+B;QACnG,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,OAAO,CAAC,GAAG,CAAC,kEAAkE,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC;YAChG,OAAO,CAAC,GAAG,CAAC,wCAAwC,CAAC,CAAC,OAAO,EAAE,YAAY,EAAE,CAAC,CAAC;YAC/E,OAAO,CAAC,GAAG,CAAC,0CAA0C,CAAC,CAAC,OAAO,EAAE,cAAc,EAAE,CAAC,CAAC;YACnF,0BAA0B;YAC1B,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM,IAAK,SAAiB,CAAC,KAAK,EAAE,CAAC;gBAC1D,OAAO,CAAC,GAAG,CAAC,mCAAoC,SAAiB,CAAC,KAAK,EAAE,MAAM,IAAI,CAAC,EAAE,CAAC,CAAC;YAC1F,CAAC;QACH,CAAC;QAED,mDAAmD;QACnD,MAAM,SAAS,GAAG,IAAI,CAAC,yBAAyB,CAAC,SAAS,CAAC,CAAC;QAC5D,MAAM,cAAc,GAAG,IAAA,oBAAI,EAAC,IAAI,CAAC,YAAY,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;QAE5F,4BAA4B;QAC5B,0EAA0E;QAC1E,MAAM,iBAAiB,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;QACnF,cAAc,CAAC,WAAW,CAAC,UAAU,EAAE;YACrC,KAAK,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,GAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,qBAAqB,EAAE,GAAG,EAAE,GAAE,CAAC,EAAE;YAChF,WAAW,EAAE,EAAE,IAAI,EAAE,UAAmB,EAAE,KAAK,EAAE,MAAM,CAAC,iBAAiB,EAAE;YAC3E,SAAS,EAAE,iBAAiB;SAC7B,CAAC,CAAC;QAEH,OAAO,cAAgC,CAAC;IAC1C,CAAC;IAED;;;;;;;;OAQG;IACK,KAAK,CAAC,YAAY,CAAC,SAA4B,EAAE,OAA+B;QACtF,gDAAgD;QAChD,IAAI,OAAO,EAAE,YAAY,IAAI,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC;YACpD,OAAO,IAAI,CAAC,eAAe,CAAC,SAAS,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC;QAC/D,CAAC;QAED,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,uBAAuB,CAAC,SAAS,CAAC,CAAC;QAE9E,oFAAoF;QACpF,IAAI,QAAQ,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC;YAC9D,MAAM,cAAc,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,QAAQ,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;YAChF,IAAI,cAAc,EAAE,CAAC;gBACnB,OAAO,cAAc,CAAC;YACxB,CAAC;YACD,yEAAyE;QAC3E,CAAC;QAED,MAAM,SAAS,GAAG,IAAA,+BAAgB,EAAC,OAAO,CAAC,CAAC;QAE5C,4EAA4E;QAC5E,IAAI,cAAc,GAAG,MAAM,CAAC;QAC5B,IAAI,IAAI,CAAC,mBAAmB,IAAI,CAAC,MAAM,EAAE,CAAC;YACxC,kEAAkE;YAClE,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;gBACjC,MAAM,kBAAkB,GAAG,IAAI,CAAC,mBAAmB,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;gBACpE,IAAI,kBAAkB,EAAE,CAAC;oBACvB,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;wBACf,OAAO,CAAC,GAAG,CAAC,sDAAsD,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;oBACtF,CAAC;oBACD,IAAI,cAAc,EAAE,CAAC;wBACnB,mBAAmB;wBACnB,cAAc,GAAG;4BACf,IAAI,EAAE,YAAY;4BAClB,cAAc,EAAE,UAAU;4BAC1B,QAAQ,EAAE,IAAI;4BACd,IAAI,EAAE,CAAC,cAAc,EAAE,kBAAkB,CAAC;yBACb,CAAC;oBAClC,CAAC;yBAAM,CAAC;wBACN,cAAc,GAAG,kBAAkB,CAAC;oBACtC,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,+BAA+B;QAC/B,IAAI,eAAe,GAAoB,EAAE,CAAC;QAC1C,IAAI,SAAS,GAA8B,cAAc,CAAC;QAC1D,IAAI,UAAyC,CAAC;QAC9C,IAAI,qBAAuD,CAAC;QAE5D,IAAI,cAAc,EAAE,CAAC;YACnB,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,CAAC,sBAAsB,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;YACpF,eAAe,GAAG,MAAM,CAAC,OAAO,CAAC;YACjC,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC;YAC7B,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC;YAC/B,qBAAqB,GAAG,MAAM,CAAC,qBAAqB,CAAC;QACvD,CAAC;QAED,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,OAAO,CAAC,GAAG,CAAC,sCAAsC,EAAE,IAAI,CAAC,SAAS,CAAC,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YAC9F,OAAO,CAAC,GAAG,CAAC,iCAAiC,EAAE,UAAU,EAAE,MAAM,IAAI,CAAC,CAAC,CAAC;YACxE,OAAO,CAAC,GAAG,CAAC,8CAA8C,EAAE,qBAAqB,EAAE,MAAM,IAAI,CAAC,CAAC,CAAC;YAChG,OAAO,CAAC,GAAG,CAAC,mCAAmC,EAAE,SAAS,KAAK,IAAI,CAAC,CAAC;QACvE,CAAC;QAED,oBAAoB;QACpB,kEAAkE;QAClE,gEAAgE;QAChE,mDAAmD;QACnD,MAAM,cAAc,GAAG,IAAI,CAAC,iBAAiB,EAAE,CAAC;QAChD,MAAM,YAAY,GAAiB,EAAE,CAAC;QACtC,IAAI,cAAc,EAAE,KAAK,EAAE,CAAC;YAC1B,oDAAoD;YACpD,YAAY,CAAC,KAAK,GAAG,cAAc,CAAC,KAAK,GAAG,CAAC,cAAc,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC;QAC3E,CAAC;QACD,wDAAwD;QAExD,iBAAiB;QACjB,IAAI,cAAc,EAAE,KAAK,EAAE,CAAC;YAC1B,iBAAiB;YACjB,YAAY,CAAC,KAAK,GAAG,cAAc,CAAC,KAAK,CAAC;QAC5C,CAAC;aAAM,IAAI,cAAc,EAAE,YAAY,EAAE,CAAC;YACxC,sBAAsB;YACtB,MAAM,UAAU,GAAG,IAAI,CAAC,mBAAmB,CAAC,cAAc,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;YAClF,IAAI,UAAU,EAAE,CAAC;gBACf,YAAY,CAAC,KAAK,GAAG,CAAC,UAAU,CAAC,CAAC;gBAClC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;oBACf,OAAO,CAAC,GAAG,CAAC,gCAAgC,cAAc,CAAC,YAAY,OAAO,UAAU,yBAAyB,CAAC,CAAC;gBACrH,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,cAAc,EAAE,OAAO;YAAE,YAAY,CAAC,OAAO,GAAG,cAAc,CAAC,OAAO,CAAC;QAE3E,IAAI,OAAmB,CAAC;QAExB,uCAAuC;QACvC,IAAI,UAAU,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxC,OAAO,GAAG,MAAM,IAAI,CAAC,iBAAiB,CAAC,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,qBAAqB,EAAE,YAAY,CAAC,CAAC;YAC5G,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBACf,OAAO,CAAC,GAAG,CAAC,oDAAoD,OAAO,CAAC,MAAM,iBAAiB,CAAC,CAAC;YACnG,CAAC;QACH,CAAC;aAAM,IAAI,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACnD,sCAAsC;YACtC,MAAM,YAAY,GAAG,IAAI,CAAC,cAAc,CAAC,iBAAiB,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;YACrF,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;YAC/D,OAAO,GAAG,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;YAC1D,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBACf,OAAO,CAAC,GAAG,CAAC,8CAA8C,OAAO,CAAC,MAAM,UAAU,CAAC,CAAC;YACtF,CAAC;QACH,CAAC;aAAM,CAAC;YACN,sCAAsC;YACtC,MAAM,YAAY,GAAG,IAAI,CAAC,cAAc,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC;YACnE,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;YAC/D,OAAO,GAAG,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;YAC1D,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBACf,OAAO,CAAC,GAAG,CAAC,0CAA0C,OAAO,CAAC,MAAM,UAAU,CAAC,CAAC;YAClF,CAAC;QACH,CAAC;QAED,kEAAkE;QAClE,8DAA8D;QAC9D,oEAAoE;QACpE,IAAI,SAAS,IAAI,MAAM,EAAE,CAAC;YACxB,OAAO,GAAG,MAAM,IAAI,CAAC,mBAAmB,CAAC,kBAAkB,CAAC,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACzF,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBACf,OAAO,CAAC,GAAG,CAAC,8CAA8C,OAAO,CAAC,MAAM,UAAU,CAAC,CAAC;YACtF,CAAC;QACH,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;;;;OAKG;IACK,KAAK,CAAC,eAAe,CAC3B,SAA4B,EAC5B,YAAgE;QAEhE,gCAAgC;QAChC,MAAM,gBAAgB,GAAe,EAAE,CAAC;QACxC,IAAI,KAAK,EAAE,MAAM,OAAO,IAAI,YAAY,CAAC,QAAQ,EAAE,CAAC;YAClD,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACjC,CAAC;QAED,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,OAAO,CAAC,GAAG,CAAC,gDAAgD,gBAAgB,CAAC,MAAM,WAAW,CAAC,CAAC;QAClG,CAAC;QAED,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAClC,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,sCAAsC;QACtC,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,uBAAuB,CAAC,SAAS,CAAC,CAAC;QAC9E,MAAM,WAAW,GAAG,QAAQ,IAAI,CAAC,OAAO,CAAC,CAAC;QAE1C,wEAAwE;QACxE,0BAA0B;QAC1B,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;QACvC,MAAM,YAAY,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;QACzC,KAAK,MAAM,GAAG,IAAI,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC;YACtC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC9B,CAAC;QAED,8DAA8D;QAC9D,+CAA+C;QAC/C,MAAM,WAAW,GAAG,IAAI,GAAG,EAAmD,CAAC;QAC/E,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5C,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;YACzB,IAAI,CAAC,CAAC,OAAO,EAAE,QAAQ,KAAK,UAAU,IAAI,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC5E,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,UAAU,EAAE,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;YACxE,CAAC;YACD,IAAI,CAAC,CAAC,SAAS,EAAE,QAAQ,KAAK,UAAU,IAAI,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;gBAChF,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,EAAE,UAAU,EAAE,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC;YAC5E,CAAC;YACD,IAAI,CAAC,CAAC,MAAM,EAAE,QAAQ,KAAK,UAAU,IAAI,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC1E,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,UAAU,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;YACtE,CAAC;YACD,IAAI,CAAC,CAAC,KAAK,EAAE,QAAQ,KAAK,UAAU,IAAI,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;gBACxE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,UAAU,EAAE,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;YACpE,CAAC;QACH,CAAC;QAED,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,OAAO,CAAC,GAAG,CAAC,2CAA2C,EAAE,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACpF,CAAC;QAED,IAAI,WAAW,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YAC3B,gFAAgF;YAChF,6CAA6C;YAC7C,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC;YACnD,OAAO,IAAI,CAAC,aAAa,CAAC,gBAAgB,EAAE,OAAO,CAAC,CAAC;QACvD,CAAC;QAED,qDAAqD;QACrD,MAAM,CAAC,WAAW,EAAE,QAAQ,CAAC,GAAG,CAAC,GAAG,WAAW,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAE9D,qEAAqE;QACrE,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;QACrC,KAAK,MAAM,OAAO,IAAI,gBAAgB,EAAE,CAAC;YACvC,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC;YAC5D,IAAI,IAAI,EAAE,CAAC;gBACT,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC;QAED,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,OAAO,CAAC,GAAG,CAAC,sCAAsC,WAAW,KAAK,UAAU,CAAC,IAAI,gBAAgB,CAAC,CAAC;QACrG,CAAC;QAED,uDAAuD;QACvD,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3B,yCAAyC;YACzC,OAAO,IAAI,CAAC,uBAAuB,CACjC,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,CAAC,KAAK,EAChD,CAAC,GAAG,UAAU,CAAC,EAAE,gBAAgB,CAClC,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,mDAAmD;YACnD,OAAO,IAAI,CAAC,qBAAqB,CAC/B,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,CAAC,KAAK,EAC5C,CAAC,GAAG,UAAU,CAAC,EAAE,gBAAgB,CAClC,CAAC;QACJ,CAAC;IACH,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,qBAAqB,CACjC,OAAwB,EACxB,MAAiC,EACjC,WAAmB,EACnB,SAAmB,EACnB,UAAoB,EACpB,gBAA4B;QAE5B,MAAM,SAAS,GAAG,IAAA,+BAAgB,EAAC,OAAO,CAAC,CAAC;QAE5C,+CAA+C;QAC/C,IAAI,eAAe,GAAoB,EAAE,CAAC;QAE1C,IAAI,MAAM,EAAE,CAAC;YACX,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,CAAC,sBAAsB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;YAC5E,eAAe,GAAG,MAAM,CAAC,OAAO,CAAC;QACnC,CAAC;QAED,gCAAgC;QAChC,eAAe,CAAC,SAAS,CAAC,GAAG;YAC3B,GAAG,eAAe,CAAC,SAAS,CAAC;YAC7B,GAAG,EAAE,UAAU;SAChB,CAAC;QAEF,MAAM,YAAY,GAAG,IAAI,CAAC,cAAc,CAAC,iBAAiB,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;QACrF,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QACjD,MAAM,YAAY,GAAG,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;QAErE,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,OAAO,CAAC,GAAG,CAAC,wCAAwC,YAAY,CAAC,MAAM,kBAAkB,CAAC,CAAC;QAC7F,CAAC;QAED,8BAA8B;QAC9B,OAAO,IAAI,CAAC,QAAQ,CAAC,gBAAgB,EAAE,YAAY,EAAE,WAAW,CAAC,CAAC;IACpE,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,uBAAuB,CACnC,QAA2B,EAC3B,MAAiC,EACjC,WAAmB,EACnB,SAAmB,EACnB,UAAoB,EACpB,gBAA4B;QAE5B,sCAAsC;QACtC,MAAM,aAAa,GAAmB,EAAE,CAAC;QACzC,MAAM,gBAAgB,GAAG,IAAI,CAAC,2BAA2B,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QAE5E,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACzC,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;YAC5B,MAAM,cAAc,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YAErD,qDAAqD;YACrD,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACZ,cAAc,CAAC,SAAS,CAAC,GAAG;oBAC1B,GAAG,cAAc,CAAC,SAAS,CAAC;oBAC5B,GAAG,EAAE,UAAU;iBAChB,CAAC;YACJ,CAAC;YAED,MAAM,YAAY,GAAG,IAAI,CAAC,cAAc,CAAC,iBAAiB,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;YACpF,aAAa,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACnC,CAAC;QAED,yBAAyB;QACzB,MAAM,QAAQ,GAAoB;YAChC,QAAQ,EAAE,aAAa;YACvB,MAAM,EAAE,SAAS;YACjB,MAAM,EAAE,IAAI,CAAC,sBAAsB,CAAC,QAAQ,CAAC;SAC9C,CAAC;QAEF,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,WAAY,CAAC,QAAQ,CAAC,CAAC;QACxD,MAAM,YAAY,GAAG,IAAI,CAAC,yBAAyB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QAEvE,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,OAAO,CAAC,GAAG,CAAC,0CAA0C,YAAY,CAAC,MAAM,kBAAkB,CAAC,CAAC;QAC/F,CAAC;QAED,8BAA8B;QAC9B,OAAO,IAAI,CAAC,QAAQ,CAAC,gBAAgB,EAAE,YAAY,EAAE,WAAW,CAAC,CAAC;IACpE,CAAC;IAED;;OAEG;IACK,QAAQ,CACd,IAAgB,EAChB,KAAiB,EACjB,WAAmB;QAEnB,iCAAiC;QACjC,MAAM,UAAU,GAAG,IAAI,GAAG,EAAsB,CAAC;QACjD,MAAM,OAAO,GAAG,WAAW,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;QAElD,KAAK,MAAM,OAAO,IAAI,KAAK,EAAE,CAAC;YAC5B,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAClC,IAAI,IAAI,EAAE,CAAC;gBACT,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC;gBACvB,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBACzB,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAC1B,CAAC;gBACD,UAAU,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACrC,CAAC;QACH,CAAC;QAED,uBAAuB;QACvB,MAAM,OAAO,GAAe,EAAE,CAAC;QAC/B,KAAK,MAAM,WAAW,IAAI,IAAI,EAAE,CAAC;YAC/B,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACtC,IAAI,IAAI,EAAE,CAAC;gBACT,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC;gBACvB,MAAM,OAAO,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACpC,IAAI,OAAO,EAAE,CAAC;oBACZ,KAAK,MAAM,YAAY,IAAI,OAAO,EAAE,CAAC;wBACnC,iBAAiB;wBACjB,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC;wBAC7D,IAAI,MAAM,EAAE,CAAC;4BACX,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;wBACvB,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;OAEG;IACK,aAAa,CAAC,IAAc,EAAE,KAAe;QACnD,MAAM,OAAO,GAAuB,EAAE,CAAC;QAEvC,oBAAoB;QACpB,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;YAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC3B,IAAI,IAAI,EAAE,CAAC;gBACT,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;YAC5B,CAAC;QACH,CAAC;QAED,yCAAyC;QACzC,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;YAC/B,MAAM,SAAS,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACjC,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAE/B,IAAI,SAAS,EAAE,CAAC;gBACd,IAAI,QAAQ,EAAE,CAAC;oBACb,uCAAuC;oBACvC,IAAI,QAAQ,CAAC,KAAK,KAAK,SAAS,CAAC,KAAK,IAAI,QAAQ,CAAC,QAAQ,KAAK,SAAS,CAAC,QAAQ,EAAE,CAAC;wBACnF,OAAO,IAAI,CAAC,CAAC,WAAW;oBAC1B,CAAC;oBACD,iCAAiC;gBACnC,CAAC;qBAAM,CAAC;oBACN,oBAAoB;oBACpB,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC;gBACjC,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAChD,CAAC;IAED;;OAEG;IACK,aAAa,CAAC,IAAgB,EAAE,KAAiB;QACvD,MAAM,OAAO,GAAe,EAAE,CAAC;QAC/B,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;gBACtB,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBACxC,IAAI,MAAM,EAAE,CAAC;oBACX,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACvB,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,iBAAiB,CAC7B,OAAwB,EACxB,SAAqB,EACrB,UAA6B,EAC7B,qBAAuD,EACvD,YAA0B;QAE1B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,MAAM,OAAO,GAAe,EAAE,CAAC;QAE/B,mCAAmC;QACnC,KAAK,MAAM,aAAa,IAAI,UAAU,EAAE,CAAC;YACvC,MAAM,YAAY,GAAG,IAAI,CAAC,cAAc,CAAC,iBAAiB,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;YACnF,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;YAC/D,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;YAEjE,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;gBAC/B,MAAM,GAAG,GAAG,IAAI,CAAC,mBAAmB,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;gBAC5D,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBACnB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;oBACd,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACxB,CAAC;YACH,CAAC;QACH,CAAC;QAED,sCAAsC;QACtC,IAAI,qBAAqB,IAAI,qBAAqB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9D,2DAA2D;YAC3D,MAAM,YAAY,GAAG,IAAI,CAAC,cAAc,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC;YACnE,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;YAC/D,MAAM,UAAU,GAAG,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;YAEnE,wCAAwC;YACxC,KAAK,MAAM,UAAU,IAAI,qBAAqB,EAAE,CAAC;gBAC/C,MAAM,aAAa,GAAG,MAAM,IAAI,CAAC,mBAAmB,CAAC,kBAAkB,CAAC,UAAU,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;gBACzG,KAAK,MAAM,OAAO,IAAI,aAAa,EAAE,CAAC;oBACpC,MAAM,GAAG,GAAG,IAAI,CAAC,mBAAmB,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;oBAC5D,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;wBACnB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;wBACd,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;oBACxB,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;;OAGG;IACK,KAAK,CAAC,gBAAgB,CAC5B,QAA2B,EAC3B,MAAiC,EACjC,UAA6B;QAE7B,wDAAwD;QACxD,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,mDAAmD;YACnD,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBACf,OAAO,CAAC,GAAG,CAAC,2EAA2E,EAAE,WAAW,CAAC,CAAC;YACxG,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QAED,MAAM,OAAO,GAAG,iBAAiB,CAAC,CAAC,CAAC,CAAC;QACrC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,OAAO,CAAC,GAAG,CAAC,gDAAgD,QAAQ,CAAC,MAAM,yBAAyB,OAAO,EAAE,CAAC,CAAC;QACjH,CAAC;QAED,mEAAmE;QACnE,MAAM,aAAa,GAAmB,EAAE,CAAC;QACzC,MAAM,gBAAgB,GAAG,IAAI,CAAC,2BAA2B,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QAE5E,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACzC,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;YAC5B,MAAM,cAAc,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YAErD,MAAM,YAAY,GAAG,IAAI,CAAC,cAAc,CAAC,iBAAiB,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;YACpF,aAAa,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACnC,CAAC;QAED,yBAAyB;QACzB,MAAM,QAAQ,GAAoB;YAChC,QAAQ,EAAE,aAAa;YACvB,MAAM,EAAE,SAAS;YACjB,MAAM,EAAE,IAAI,CAAC,sBAAsB,CAAC,QAAQ,CAAC;SAC9C,CAAC;QAEF,yBAAyB;QACzB,MAAM,cAAc,GAAG,IAAI,CAAC,iBAAiB,EAAE,CAAC;QAChD,MAAM,YAAY,GAAiB,EAAE,CAAC;QACtC,IAAI,cAAc,EAAE,KAAK,EAAE,CAAC;YAC1B,YAAY,CAAC,KAAK,GAAG,cAAc,CAAC,KAAK,GAAG,CAAC,cAAc,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC;QAC3E,CAAC;QAED,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,WAAY,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;QAEtE,qCAAqC;QACrC,OAAO,IAAI,CAAC,yBAAyB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC3D,CAAC;IAED;;;OAGG;IACK,2BAA2B,CACjC,MAAiC,EACjC,QAA2B;QAE3B,MAAM,MAAM,GAAG,IAAI,GAAG,EAA2B,CAAC;QAElD,IAAI,CAAC,MAAM;YAAE,OAAO,MAAM,CAAC;QAE3B,gDAAgD;QAChD,MAAM,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAC;QAClD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACzC,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;YACtB,IAAI,CAAC,CAAC,MAAM,EAAE,QAAQ,KAAK,UAAU,EAAE,CAAC;gBACtC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YACzC,CAAC;QACH,CAAC;QAED,sCAAsC;QACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACzC,MAAM,aAAa,GAAG,IAAI,CAAC,eAAe,CAAC,sBAAsB,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;YACvF,IAAI,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAClD,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;YACvC,CAAC;QACH,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;OAEG;IACK,sBAAsB,CAAC,QAA2B;QACxD,MAAM,MAAM,GAA2C,EAAE,CAAC;QAE1D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACzC,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;YAEtB,mCAAmC;YACnC,IAAI,CAAC,CAAC,MAAM,EAAE,QAAQ,KAAK,UAAU,EAAE,CAAC;gBACtC,MAAM,CAAC,IAAI,CAAC;oBACV,OAAO,EAAE,CAAC;oBACV,KAAK,EAAE,QAAQ;oBACf,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE;iBACjC,CAAC,CAAC;YACL,CAAC;YAED,sCAAsC;YACtC,IAAI,CAAC,CAAC,SAAS,EAAE,QAAQ,KAAK,UAAU,EAAE,CAAC;gBACzC,MAAM,CAAC,IAAI,CAAC;oBACV,OAAO,EAAE,CAAC;oBACV,KAAK,EAAE,WAAW;oBAClB,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE;iBACpC,CAAC,CAAC;YACL,CAAC;YAED,kCAAkC;YAClC,IAAI,CAAC,CAAC,KAAK,EAAE,QAAQ,KAAK,UAAU,EAAE,CAAC;gBACrC,MAAM,CAAC,IAAI,CAAC;oBACV,OAAO,EAAE,CAAC;oBACV,KAAK,EAAE,OAAO;oBACd,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE;iBAChC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;OAEG;IACK,yBAAyB,CAC/B,OAAyB,EACzB,QAA2B;QAE3B,0CAA0C;QAC1C,MAAM,SAAS,GAAe,EAAE,CAAC;QACjC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;QAEnC,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,IAAI,CAAC,CAAC,OAAO,EAAE,QAAQ,KAAK,UAAU,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,OAAmB,CAAC,CAAC;gBACtC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAChC,CAAC;YACD,IAAI,CAAC,CAAC,SAAS,EAAE,QAAQ,KAAK,UAAU,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC7E,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,SAAqB,CAAC,CAAC;gBACxC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;YAClC,CAAC;YACD,IAAI,CAAC,CAAC,MAAM,EAAE,QAAQ,KAAK,UAAU,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;gBACvE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,MAAkB,CAAC,CAAC;gBACrC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAC/B,CAAC;YACD,IAAI,CAAC,CAAC,KAAK,EAAE,QAAQ,KAAK,UAAU,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;gBACrE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,KAAiB,CAAC,CAAC;gBACpC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAC9B,CAAC;QACH,CAAC;QAED,OAAO,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE;YAC1B,MAAM,OAAO,GAAuB,EAAE,CAAC;YAEvC,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;gBAC1B,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC;gBAExB,+CAA+C;gBAC/C,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,QAAQ,KAAK,UAAU;oBAC5C,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,KAAK,OAAO,EAAE,CAAC;oBAC1C,4BAA4B;oBAC5B,MAAM,IAAI,GAAG,WAAW,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;oBACrD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;oBACxB,SAAS;gBACX,CAAC;gBAED,oCAAoC;gBACpC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACzC,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;oBAEtB,IAAI,CAAC,CAAC,MAAM,EAAE,QAAQ,KAAK,UAAU,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,KAAK,OAAO,EAAE,CAAC;wBACpE,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,OAAO,EAAE,CAAC;wBACjC,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;wBACrC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;4BACxB,wBAAwB;4BACxB,MAAM,IAAI,GAAG,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC;4BAC1C,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;4BACxB,MAAM;wBACR,CAAC;oBACH,CAAC;oBAED,IAAI,CAAC,CAAC,SAAS,EAAE,QAAQ,KAAK,UAAU,IAAI,CAAC,CAAC,SAAS,CAAC,KAAK,KAAK,OAAO,EAAE,CAAC;wBAC1E,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,OAAO,EAAE,CAAC;wBACjC,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;wBACrC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;4BACxB,MAAM,IAAI,GAAG,WAAW,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;4BAC1C,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;4BACxB,MAAM;wBACR,CAAC;oBACH,CAAC;oBAED,IAAI,CAAC,CAAC,KAAK,EAAE,QAAQ,KAAK,UAAU,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,KAAK,OAAO,EAAE,CAAC;wBAClE,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,OAAO,EAAE,CAAC;wBACjC,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;wBACrC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;4BACxB,MAAM,IAAI,GAAG,WAAW,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;4BAC1C,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;4BACxB,MAAM;wBACR,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YAED,OAAO,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QAChD,CAAC,CAAC,CAAC;IACL,CAAC;IAED;;;OAGG;IACK,gBAAgB,CAAC,KAAa;QACpC,OAAO,IAAA,iCAAiB,EAAC,KAAK,CAAC,CAAC;IAClC,CAAC;IAED;;OAEG;IACK,eAAe,CAAC,KAAa,EAAE,SAAqB,EAAE,OAAwB;QACpF,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,OAAO,CAAC,GAAG,CAAC,uCAAuC,KAAK,CAAC,MAAM,WAAW,SAAS,CAAC,MAAM,YAAY,CAAC,CAAC;YACxG,OAAO,CAAC,GAAG,CAAC,+BAA+B,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;YAC1E,OAAO,CAAC,GAAG,CAAC,6BAA6B,EAAE;gBACzC,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,QAAQ,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK;gBACxG,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,QAAQ,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,KAAK;gBAChH,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,QAAQ,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK;gBACpG,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,QAAQ,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,IAAI,OAAO,CAAC,KAAK,EAAE,QAAQ;aAC5H,CAAC,CAAC;QACL,CAAC;QACD,OAAO,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE;YACtB,MAAM,OAAO,GAAuB,EAAE,CAAC;YACvC,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;gBAC1B,MAAM,IAAI,GAAG,IAAI,CAAC,kBAAkB,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;gBACvD,IAAI,IAAI,EAAE,CAAC;oBACT,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;gBAC1B,CAAC;YACH,CAAC;YACD,IAAI,IAAI,CAAC,KAAK,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS,CAAC,MAAM,EAAE,CAAC;gBACtD,OAAO,CAAC,GAAG,CAAC,oCAAoC,OAAO,CAAC,MAAM,OAAO,SAAS,CAAC,MAAM,kBAAkB,CAAC,CAAC;YAC3G,CAAC;YACD,OAAO,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QAChD,CAAC,CAAC,CAAC;IACL,CAAC;IAED;;OAEG;IACK,kBAAkB,CAAC,QAAkB,EAAE,IAAU,EAAE,OAAwB;QACjF,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC;QAE/B,0DAA0D;QAC1D,IAAI,OAAO,CAAC,OAAO,EAAE,QAAQ,KAAK,UAAU,IAAI,OAAO,CAAC,OAAO,CAAC,KAAK,KAAK,OAAO,EAAE,CAAC;YAClF,OAAO,IAAI,CAAC,OAAO,CAAC;QACtB,CAAC;QACD,IAAI,OAAO,CAAC,SAAS,EAAE,QAAQ,KAAK,UAAU,IAAI,OAAO,CAAC,SAAS,CAAC,KAAK,KAAK,OAAO,EAAE,CAAC;YACtF,OAAO,IAAI,CAAC,SAAS,CAAC;QACxB,CAAC;QACD,IAAI,OAAO,CAAC,MAAM,EAAE,QAAQ,KAAK,UAAU,IAAI,OAAO,CAAC,MAAM,CAAC,KAAK,KAAK,OAAO,EAAE,CAAC;YAChF,OAAO,IAAI,CAAC,MAAM,CAAC;QACrB,CAAC;QACD,IAAI,OAAO,CAAC,KAAK,EAAE,QAAQ,KAAK,UAAU,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,KAAK,OAAO,EAAE,CAAC;YAC9E,OAAO,IAAI,CAAC,KAAK,CAAC;QACpB,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;;OAGG;IACH,uBAAuB,CAAC,SAA4B;QAKlD,IAAI,OAAO,GAA2B,IAAI,CAAC;QAC3C,IAAI,QAAuC,CAAC;QAC5C,IAAI,MAAM,GAA8B,IAAI,CAAC;QAE7C,sDAAsD;QACtD,sBAAW,CAAC,gBAAgB,CAAC,SAAS,EAAE;YACtC,CAAC,yBAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,EAAgB,EAAE,EAAE;gBACzC,qDAAqD;gBACrD,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACpC,MAAM,iBAAiB,GAAsB,EAAE,CAAC;oBAChD,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;wBAC7B,IAAI,KAAK,CAAC,IAAI,KAAK,yBAAO,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;4BACzC,iBAAiB,CAAC,IAAI,CAAC,KAAwB,CAAC,CAAC;wBACnD,CAAC;6BAAM,CAAC;4BACN,iDAAiD;4BACjD,MAAM,MAAM,GAAG,IAAI,CAAC,uBAAuB,CAAC,KAAK,CAAC,CAAC;4BACnD,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;gCACpB,iBAAiB,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;4BAC7C,CAAC;iCAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;gCAC1B,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;4BACzC,CAAC;4BACD,6CAA6C;4BAC7C,IAAI,MAAM,CAAC,MAAM,IAAI,CAAC,MAAM,EAAE,CAAC;gCAC7B,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;4BACzB,CAAC;wBACH,CAAC;oBACH,CAAC;oBACD,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;wBACjC,QAAQ,GAAG,iBAAiB,CAAC;wBAC7B,IAAI,CAAC,OAAO,EAAE,CAAC;4BACb,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;wBACxB,CAAC;oBACH,CAAC;gBACH,CAAC;gBACD,OAAO,KAAK,CAAC,CAAC,wBAAwB;YACxC,CAAC;YACD,CAAC,yBAAO,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,EAAe,EAAE,EAAE;gBACvC,6EAA6E;gBAC7E,IAAI,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC1C,QAAQ,GAAG,EAAE,CAAC,QAA6B,CAAC;oBAC5C,IAAI,CAAC,OAAO,EAAE,CAAC;wBACb,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;oBACxB,CAAC;gBACH,CAAC;gBACD,OAAO,KAAK,CAAC,CAAC,yCAAyC;YACzD,CAAC;YACD,CAAC,yBAAO,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,EAAmB,EAAE,EAAE;gBAC/C,IAAI,CAAC,OAAO;oBAAE,OAAO,GAAG,EAAE,CAAC;gBAC3B,OAAO,KAAK,CAAC;YACf,CAAC;YACD,CAAC,yBAAO,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,EAAkB,EAAE,EAAE;gBAC7C,MAAM,GAAG,EAAE,CAAC,UAAU,CAAC;gBACvB,OAAO,IAAI,CAAC,CAAC,yCAAyC;YACxD,CAAC;SACF,CAAC,CAAC;QAEH,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,qCAAqC;YACrC,OAAO,GAAG;gBACR,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC;gBAClC,SAAS,EAAE,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC;gBACpC,MAAM,EAAE,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC;gBACjC,KAAK,EAAE,WAAW,CAAC,YAAY,EAAE;aACf,CAAC;QACvB,CAAC;QAED,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;IACvC,CAAC;IAED;;OAEG;IACK,yBAAyB,CAAC,SAA4B;QAC5D,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC,uBAAuB,CAAC,SAAS,CAAC,CAAC;QAEtE,IAAI,QAAQ,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpC,sCAAsC;YACtC,MAAM,OAAO,GAAe,EAAE,CAAC;YAC/B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;YAC/B,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;gBACzB,KAAK,MAAM,CAAC,IAAI,IAAA,+BAAgB,EAAC,CAAC,CAAC,EAAE,CAAC;oBACpC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;wBACvB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;wBAClB,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;oBAClB,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;QAED,OAAO,IAAA,+BAAgB,EAAC,OAAO,CAAC,CAAC;IACnC,CAAC;IAED,+DAA+D;IAC/D,gCAAgC;IAChC,+DAA+D;IAE/D,UAAU,CAAC,SAA4B,EAAE,QAAwB;QAC/D,MAAM,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC,uBAAuB,CAAC,SAAS,CAAC,CAAC;QAC5D,MAAM,YAAY,GAAG,IAAI,CAAC,cAAc,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC;QACnE,MAAM,cAAc,GAAG,IAAA,oBAAI,EAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC;QAE1D,cAAc,CAAC,WAAW,CAAC,UAAU,EAAE;YACrC,KAAK,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,GAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,qBAAqB,EAAE,GAAG,EAAE,GAAE,CAAC,EAAE;YAChF,WAAW,EAAE,EAAE,IAAI,EAAE,UAAmB,EAAE,KAAK,EAAE,MAAM,CAAC,iBAAiB,EAAE;SAC5E,CAAC,CAAC;QAEH,OAAO,cAAc,CAAC;IACxB,CAAC;IAED,KAAK,CAAC,YAAY,CAAC,SAAsB,EAAE,QAAwB;QACjE,MAAM,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC,uBAAuB,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAClE,MAAM,YAAY,GAAG,IAAI,CAAC,cAAc,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC;QACnE,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,YAAY,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;QACjE,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;IAC5B,CAAC;IAED,SAAS,CAAC,UAA0B,EAAE,QAAwB;QAC5D,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;IAClD,CAAC;IAED;;;;;;OAMG;IACK,mBAAmB,CAAC,OAAe,EAAE,OAAwB;QACnE,IAAI,OAAO,CAAC,OAAO,EAAE,QAAQ,KAAK,UAAU,IAAI,OAAO,CAAC,OAAO,CAAC,KAAK,KAAK,OAAO,EAAE,CAAC;YAClF,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,IAAI,OAAO,CAAC,SAAS,EAAE,QAAQ,KAAK,UAAU,IAAI,OAAO,CAAC,SAAS,CAAC,KAAK,KAAK,OAAO,EAAE,CAAC;YACtF,OAAO,WAAW,CAAC;QACrB,CAAC;QACD,IAAI,OAAO,CAAC,MAAM,EAAE,QAAQ,KAAK,UAAU,IAAI,OAAO,CAAC,MAAM,CAAC,KAAK,KAAK,OAAO,EAAE,CAAC;YAChF,OAAO,QAAQ,CAAC;QAClB,CAAC;QACD,IAAI,OAAO,CAAC,KAAK,EAAE,QAAQ,KAAK,UAAU,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,KAAK,OAAO,EAAE,CAAC;YAC9E,OAAO,OAAO,CAAC;QACjB,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,QAAQ;QACN,OAAO,oBAAoB,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,GAAG,CAAC;IAC5D,CAAC;CACF;AAtiCD,4CAsiCC","sourcesContent":["/**\n * QuintQuerySource - IQuerySource implementation for QuintStore\n * \n * This implements Comunica's IQuerySource interface to enable proper FILTER pushdown.\n * Unlike RDF.Store.match() which only receives 4 terms, IQuerySource.queryBindings()\n * receives the full SPARQL algebra including FILTER expressions.\n * \n * Design:\n * - Delegates filter extraction to FilterPushdownExtractor\n * - Delegates pattern building to PatternBuilder\n * - Delegates in-memory evaluation to ExpressionEvaluator\n * - Coordinates these components to execute queries efficiently\n */\n\nimport type { Quad, Term, Variable, Bindings } from '@rdfjs/types';\nimport type { AsyncIterator } from 'asynciterator';\nimport { ArrayIterator, BufferedIterator, wrap } from 'asynciterator';\nimport { Algebra, Util as AlgebraUtil } from 'sparqlalgebrajs';\nimport { DataFactory } from 'rdf-data-factory';\n\nimport type { QuintStore, QuintPattern, QueryOptions, TermName, TermOperators, CompoundPattern, CompoundResult } from '../quint/types';\nimport type { SecurityFilters } from './ComunicaQuintEngine';\nimport { FilterPushdownExtractor, type PushdownFilters, type PushdownResult } from './FilterPushdownExtractor';\nimport { PatternBuilder } from './PatternBuilder';\nimport { ExpressionEvaluator } from './ExpressionEvaluator';\nimport { extractVariables } from './AlgebraUtils';\nimport { deserializeObject } from '../quint/serialization';\n\n// Re-export types from Comunica - we define them here to avoid complex import paths\nexport interface IActionContext {\n  get<V>(key: { name: string }): V | undefined;\n  getSafe<V>(key: { name: string }): V;\n  has(key: { name: string }): boolean;\n}\n\nexport interface FragmentSelectorShape {\n  type: 'operation' | 'conjunction' | 'disjunction' | 'negation' | 'arity';\n  operation?: {\n    operationType: 'type' | 'pattern' | 'wildcard';\n    type?: string;\n    pattern?: Algebra.Operation;\n  };\n  children?: FragmentSelectorShape[];\n  child?: FragmentSelectorShape;\n  variablesOptional?: Variable[];\n  joinBindings?: true;\n  filterBindings?: true;\n  min?: number;\n  max?: number;\n}\n\nexport interface BindingsStream extends AsyncIterator<Bindings> {\n  // AsyncIterator with metadata property\n}\n\nexport interface IQueryBindingsOptions {\n  joinBindings?: {\n    bindings: BindingsStream;\n    metadata: unknown;\n  };\n  filterBindings?: {\n    bindings: BindingsStream;\n    metadata: unknown;\n  };\n}\n\nexport interface MetadataValidationState {\n  // Metadata validation state\n}\n\n/**\n * IQuerySource interface compatible with Comunica\n */\nexport interface IQuerySource {\n  referenceValue: unknown;\n  getSelectorShape(context: IActionContext): Promise<FragmentSelectorShape>;\n  queryBindings(operation: Algebra.Operation, context: IActionContext, options?: IQueryBindingsOptions): BindingsStream;\n  queryQuads(operation: Algebra.Operation, context: IActionContext): AsyncIterator<Quad>;\n  queryBoolean(operation: Algebra.Ask, context: IActionContext): Promise<boolean>;\n  queryVoid(operation: Algebra.Update, context: IActionContext): Promise<void>;\n  toString(): string;\n}\n\ninterface OptimizeParams {\n  limit?: number;\n  offset?: number;\n  order?: TermName[];\n  /** 原始 ORDER BY 变量名，用于分析绑定位置 */\n  orderVarName?: string;\n  reverse?: boolean;\n}\n\nconst dataFactory = new DataFactory();\n\n/**\n * QuintQuerySource implements IQuerySource for QuintStore\n * \n * Key features:\n * 1. Declares support for FILTER operations via getSelectorShape()\n * 2. Receives full SPARQL algebra in queryBindings() including FILTERs\n * 3. Extracts filter conditions and pushes them down to QuintStore\n * 4. Applies security filters (ACL) unconditionally\n * 5. Tree-based evaluation for remaining non-pushdownable expressions\n */\nexport class QuintQuerySource implements IQuerySource {\n  public readonly referenceValue: unknown;\n  \n  private readonly store: QuintStore;\n  private readonly debug: boolean;\n  private readonly bindingsFactory: any; // BindingsFactory from Comunica\n  \n  // Closures to get current query context\n  private readonly getSecurityFilters: () => SecurityFilters | undefined;\n  private readonly getOptimizeParams: () => OptimizeParams | null;\n  private readonly getFilterExpression: ((varName: string) => Algebra.Expression | undefined) | undefined;\n  \n  // Delegate components\n  private readonly filterExtractor: FilterPushdownExtractor;\n  private readonly patternBuilder: PatternBuilder;\n  private readonly expressionEvaluator: ExpressionEvaluator;\n  \n  constructor(\n    store: QuintStore,\n    options: {\n      debug?: boolean;\n      bindingsFactory: any;\n      getSecurityFilters: () => SecurityFilters | undefined;\n      getOptimizeParams: () => OptimizeParams | null;\n      getFilterExpression?: (varName: string) => Algebra.Expression | undefined;\n    }\n  ) {\n    this.store = store;\n    this.referenceValue = store; // Reference for source identification\n    this.debug = options.debug ?? false;\n    this.bindingsFactory = options.bindingsFactory;\n    this.getSecurityFilters = options.getSecurityFilters;\n    this.getOptimizeParams = options.getOptimizeParams;\n    this.getFilterExpression = options.getFilterExpression;\n    \n    // Initialize delegate components\n    this.filterExtractor = new FilterPushdownExtractor();\n    this.patternBuilder = new PatternBuilder(this.getSecurityFilters);\n    this.expressionEvaluator = new ExpressionEvaluator(\n      store,\n      this.patternBuilder,\n      this.extractPatternAndFilter.bind(this)\n    );\n  }\n\n  /**\n   * Declare the operations this source supports\n   * \n   * We support:\n   * - Basic quad patterns (for simple queries)\n   * - FILTER operations (for filter pushdown)\n   * - BGP operations (for multi-pattern queries)\n   * - joinBindings: allows Comunica to push JOIN operations down to us\n   * \n   * The joinBindings support enables ActorRdfJoinMultiBindSource to push\n   * multiple patterns to us efficiently, using SQL JOINs instead of\n   * Comunica's nested loop approach.\n   */\n  async getSelectorShape(_context: IActionContext): Promise<FragmentSelectorShape> {\n    // Check if store supports compound queries\n    const supportsCompound = !!this.store.getCompound;\n    \n    return {\n      type: 'disjunction',\n      children: [\n        // Support basic patterns with joinBindings\n        {\n          type: 'operation',\n          operation: {\n            operationType: 'pattern',\n            pattern: {\n              type: 'pattern',\n              subject: dataFactory.variable('s'),\n              predicate: dataFactory.variable('p'),\n              object: dataFactory.variable('o'),\n              graph: dataFactory.variable('g'),\n            } as Algebra.Pattern,\n          },\n          variablesOptional: [\n            dataFactory.variable('s'),\n            dataFactory.variable('p'),\n            dataFactory.variable('o'),\n            dataFactory.variable('g'),\n          ],\n          // Allow Comunica to push join bindings to us\n          ...(supportsCompound ? { joinBindings: true } : {}),\n        },\n        // Support BGP operations (multi-pattern queries)\n        {\n          type: 'operation',\n          operation: {\n            operationType: 'type',\n            type: Algebra.types.BGP,\n          },\n          ...(supportsCompound ? { joinBindings: true } : {}),\n        },\n        // Support FILTER operations\n        {\n          type: 'operation',\n          operation: {\n            operationType: 'type',\n            type: Algebra.types.FILTER,\n          },\n          ...(supportsCompound ? { joinBindings: true } : {}),\n        },\n        // Support JOIN operations (for receiving compound queries from Comunica)\n        {\n          type: 'operation',\n          operation: {\n            operationType: 'type',\n            type: Algebra.types.JOIN,\n          },\n          ...(supportsCompound ? { joinBindings: true } : {}),\n        },\n      ],\n    };\n  }\n\n  /**\n   * Query bindings - main entry point for SPARQL queries\n   * \n   * When Comunica's ActorRdfJoinMultiBindSource selects us for a join operation,\n   * it passes options.joinBindings containing bindings from the first pattern.\n   * We need to use these bindings to filter our query results efficiently.\n   */\n  queryBindings(operation: Algebra.Operation, _context: IActionContext, options?: IQueryBindingsOptions): BindingsStream {\n    if (this.debug) {\n      console.log(`[QuintQuerySource] queryBindings() called with operation type: ${operation.type}`);\n      console.log(`[QuintQuerySource] Has joinBindings: ${!!options?.joinBindings}`);\n      console.log(`[QuintQuerySource] Has filterBindings: ${!!options?.filterBindings}`);\n      // Log operation structure\n      if (operation.type === 'join' && (operation as any).input) {\n        console.log(`[QuintQuerySource] JOIN inputs: ${(operation as any).input?.length || 0}`);\n      }\n    }\n\n    // Wrap async execution in an iterator using wrap()\n    const variables = this.getVariablesFromOperation(operation);\n    const resultIterator = wrap(this.executeQuery(operation, options).then(results => results));\n\n    // Add metadata for Comunica\n    // Variables must be in format { variable: Variable, canBeUndef: boolean }\n    const variablesMetadata = variables.map(v => ({ variable: v, canBeUndef: false }));\n    resultIterator.setProperty('metadata', {\n      state: { invalidate: () => {}, invalid: false, addInvalidateListener: () => {} },\n      cardinality: { type: 'estimate' as const, value: Number.POSITIVE_INFINITY },\n      variables: variablesMetadata,\n    });\n\n    return resultIterator as BindingsStream;\n  }\n\n  /**\n   * Execute query and return bindings\n   * \n   * If options.joinBindings is provided, we need to:\n   * 1. Collect bindings from the stream (these are from the first pattern in the JOIN)\n   * 2. Extract variable values that overlap with our patterns\n   * 3. Use those values as IN conditions in our query\n   * 4. JOIN the results with the incoming bindings\n   */\n  private async executeQuery(operation: Algebra.Operation, options?: IQueryBindingsOptions): Promise<Bindings[]> {\n    // Handle joinBindings from Comunica (bind join)\n    if (options?.joinBindings && this.store.getCompound) {\n      return this.executeBindJoin(operation, options.joinBindings);\n    }\n\n    const { pattern, patterns, filter } = this.extractPatternAndFilter(operation);\n    \n    // Check if we can use compound query (multiple patterns with same subject variable)\n    if (patterns && patterns.length > 1 && this.store.getCompound) {\n      const compoundResult = await this.tryCompoundQuery(patterns, filter, operation);\n      if (compoundResult) {\n        return compoundResult;\n      }\n      // Fall back to single pattern execution if compound query not applicable\n    }\n\n    const variables = extractVariables(pattern);\n\n    // Try to get pre-extracted filter expressions for variables in this pattern\n    let combinedFilter = filter;\n    if (this.getFilterExpression && !filter) {\n      // Check if any variable in the pattern has a pre-extracted filter\n      for (const variable of variables) {\n        const preExtractedFilter = this.getFilterExpression(variable.value);\n        if (preExtractedFilter) {\n          if (this.debug) {\n            console.log(`[QuintQuerySource] Found pre-extracted filter for ?${variable.value}`);\n          }\n          if (combinedFilter) {\n            // Combine with AND\n            combinedFilter = {\n              type: 'expression',\n              expressionType: 'operator',\n              operator: '&&',\n              args: [combinedFilter, preExtractedFilter],\n            } as Algebra.OperatorExpression;\n          } else {\n            combinedFilter = preExtractedFilter;\n          }\n        }\n      }\n    }\n\n    // Extract pushdownable filters\n    let pushdownFilters: PushdownFilters = {};\n    let remainder: Algebra.Expression | null = combinedFilter;\n    let orBranches: PushdownFilters[] | undefined;\n    let orNonPushdownBranches: Algebra.Expression[] | undefined;\n\n    if (combinedFilter) {\n      const result = this.filterExtractor.extractPushdownFilters(combinedFilter, pattern);\n      pushdownFilters = result.filters;\n      remainder = result.remainder;\n      orBranches = result.orBranches;\n      orNonPushdownBranches = result.orNonPushdownBranches;\n    }\n\n    if (this.debug) {\n      console.log(`[QuintQuerySource] Pushdown filters:`, JSON.stringify(pushdownFilters, null, 2));\n      console.log(`[QuintQuerySource] OR branches:`, orBranches?.length || 0);\n      console.log(`[QuintQuerySource] OR non-pushdown branches:`, orNonPushdownBranches?.length || 0);\n      console.log(`[QuintQuerySource] Has remainder:`, remainder !== null);\n    }\n\n    // Get query options\n    // NOTE: Comunica handles OFFSET, we only pass limit to QuintStore\n    // If there's an offset, we need to fetch limit + offset records\n    // and let Comunica skip the first `offset` records\n    const optimizeParams = this.getOptimizeParams();\n    const queryOptions: QueryOptions = {};\n    if (optimizeParams?.limit) {\n      // Fetch enough records for Comunica to apply offset\n      queryOptions.limit = optimizeParams.limit + (optimizeParams.offset || 0);\n    }\n    // Don't pass offset to QuintStore - Comunica handles it\n    \n    // 处理 ORDER BY 下推\n    if (optimizeParams?.order) {\n      // 直接使用已映射的 order\n      queryOptions.order = optimizeParams.order;\n    } else if (optimizeParams?.orderVarName) {\n      // 通过 pattern 分析变量绑定位置\n      const orderField = this.findVariableBinding(optimizeParams.orderVarName, pattern);\n      if (orderField) {\n        queryOptions.order = [orderField];\n        if (this.debug) {\n          console.log(`[QuintQuerySource] ORDER BY ?${optimizeParams.orderVarName} -> ${orderField} (via pattern analysis)`);\n        }\n      }\n    }\n    if (optimizeParams?.reverse) queryOptions.reverse = optimizeParams.reverse;\n\n    let results: Bindings[];\n\n    // Handle OR branches (union semantics)\n    if (orBranches && orBranches.length > 0) {\n      results = await this.executeOrBranches(pattern, variables, orBranches, orNonPushdownBranches, queryOptions);\n      if (this.debug) {\n        console.log(`[QuintQuerySource] OR pushdown branches returned ${results.length} unique results`);\n      }\n    } else if (Object.keys(pushdownFilters).length > 0) {\n      // Build pattern with pushdown filters\n      const quintPattern = this.patternBuilder.buildQuintPattern(pattern, pushdownFilters);\n      const quads = await this.store.get(quintPattern, queryOptions);\n      results = this.quadsToBindings(quads, variables, pattern);\n      if (this.debug) {\n        console.log(`[QuintQuerySource] Pushdown query returned ${results.length} results`);\n      }\n    } else {\n      // No pushdown, get all matching quads\n      const quintPattern = this.patternBuilder.buildBasePattern(pattern);\n      const quads = await this.store.get(quintPattern, queryOptions);\n      results = this.quadsToBindings(quads, variables, pattern);\n      if (this.debug) {\n        console.log(`[QuintQuerySource] Base query returned ${results.length} results`);\n      }\n    }\n\n    // NOTE: We don't apply in-memory filter for pre-extracted filters\n    // because Comunica will handle the final filtering after JOIN\n    // Only apply remainder if it's from the original operation's filter\n    if (remainder && filter) {\n      results = await this.expressionEvaluator.evaluateFilterTree(remainder, results, pattern);\n      if (this.debug) {\n        console.log(`[QuintQuerySource] After in-memory filter: ${results.length} results`);\n      }\n    }\n\n    return results;\n  }\n\n  /**\n   * Execute a bind join: use incoming bindings to filter our query\n   * \n   * This is called when Comunica's ActorRdfJoinMultiBindSource pushes bindings to us.\n   * We use SQL IN clause to efficiently query only the rows matching the incoming bindings.\n   */\n  private async executeBindJoin(\n    operation: Algebra.Operation,\n    joinBindings: NonNullable<IQueryBindingsOptions['joinBindings']>\n  ): Promise<Bindings[]> {\n    // Collect all incoming bindings\n    const incomingBindings: Bindings[] = [];\n    for await (const binding of joinBindings.bindings) {\n      incomingBindings.push(binding);\n    }\n\n    if (this.debug) {\n      console.log(`[QuintQuerySource] executeBindJoin: received ${incomingBindings.length} bindings`);\n    }\n\n    if (incomingBindings.length === 0) {\n      return [];\n    }\n\n    // Extract patterns from the operation\n    const { pattern, patterns, filter } = this.extractPatternAndFilter(operation);\n    const allPatterns = patterns || [pattern];\n\n    // Find overlapping variables between incoming bindings and our patterns\n    // These are the JOIN keys\n    const incomingVars = new Set<string>();\n    const firstBinding = incomingBindings[0];\n    for (const key of firstBinding.keys()) {\n      incomingVars.add(key.value);\n    }\n\n    // Find which pattern variables overlap with incoming bindings\n    // Typically this would be the subject variable\n    const patternVars = new Map<string, { patternIdx: number; field: TermName }>();\n    for (let i = 0; i < allPatterns.length; i++) {\n      const p = allPatterns[i];\n      if (p.subject?.termType === 'Variable' && incomingVars.has(p.subject.value)) {\n        patternVars.set(p.subject.value, { patternIdx: i, field: 'subject' });\n      }\n      if (p.predicate?.termType === 'Variable' && incomingVars.has(p.predicate.value)) {\n        patternVars.set(p.predicate.value, { patternIdx: i, field: 'predicate' });\n      }\n      if (p.object?.termType === 'Variable' && incomingVars.has(p.object.value)) {\n        patternVars.set(p.object.value, { patternIdx: i, field: 'object' });\n      }\n      if (p.graph?.termType === 'Variable' && incomingVars.has(p.graph.value)) {\n        patternVars.set(p.graph.value, { patternIdx: i, field: 'graph' });\n      }\n    }\n\n    if (this.debug) {\n      console.log(`[QuintQuerySource] Overlapping variables:`, [...patternVars.keys()]);\n    }\n\n    if (patternVars.size === 0) {\n      // No overlapping variables - just execute normally and return cartesian product\n      // This shouldn't happen in typical use cases\n      const results = await this.executeQuery(operation);\n      return this.cartesianJoin(incomingBindings, results);\n    }\n\n    // Use the first overlapping variable as the join key\n    const [joinVarName, joinInfo] = [...patternVars.entries()][0];\n    \n    // Collect unique values for the join variable from incoming bindings\n    const joinValues = new Set<string>();\n    for (const binding of incomingBindings) {\n      const term = binding.get(dataFactory.variable(joinVarName));\n      if (term) {\n        joinValues.add(term.value);\n      }\n    }\n\n    if (this.debug) {\n      console.log(`[QuintQuerySource] Join variable: ?${joinVarName}, ${joinValues.size} unique values`);\n    }\n\n    // Build compound query with IN filter on join variable\n    if (allPatterns.length > 1) {\n      // Multiple patterns - use compound query\n      return this.executeBindJoinCompound(\n        allPatterns, filter, joinVarName, joinInfo.field, \n        [...joinValues], incomingBindings\n      );\n    } else {\n      // Single pattern - use simple query with IN filter\n      return this.executeBindJoinSimple(\n        pattern, filter, joinVarName, joinInfo.field,\n        [...joinValues], incomingBindings\n      );\n    }\n  }\n\n  /**\n   * Execute bind join for a single pattern using IN filter\n   */\n  private async executeBindJoinSimple(\n    pattern: Algebra.Pattern,\n    filter: Algebra.Expression | null,\n    joinVarName: string,\n    joinField: TermName,\n    joinValues: string[],\n    incomingBindings: Bindings[]\n  ): Promise<Bindings[]> {\n    const variables = extractVariables(pattern);\n\n    // Build pattern with IN filter for join values\n    let pushdownFilters: PushdownFilters = {};\n    \n    if (filter) {\n      const result = this.filterExtractor.extractPushdownFilters(filter, pattern);\n      pushdownFilters = result.filters;\n    }\n\n    // Add IN filter for join values\n    pushdownFilters[joinField] = {\n      ...pushdownFilters[joinField],\n      $in: joinValues,\n    };\n\n    const quintPattern = this.patternBuilder.buildQuintPattern(pattern, pushdownFilters);\n    const quads = await this.store.get(quintPattern);\n    const queryResults = this.quadsToBindings(quads, variables, pattern);\n\n    if (this.debug) {\n      console.log(`[QuintQuerySource] Bind join simple: ${queryResults.length} results from DB`);\n    }\n\n    // Join with incoming bindings\n    return this.hashJoin(incomingBindings, queryResults, joinVarName);\n  }\n\n  /**\n   * Execute bind join for multiple patterns using compound query\n   */\n  private async executeBindJoinCompound(\n    patterns: Algebra.Pattern[],\n    filter: Algebra.Expression | null,\n    joinVarName: string,\n    joinField: TermName,\n    joinValues: string[],\n    incomingBindings: Bindings[]\n  ): Promise<Bindings[]> {\n    // Build QuintPattern for each pattern\n    const quintPatterns: QuintPattern[] = [];\n    const filtersByPattern = this.distributeFiltersToPatterns(filter, patterns);\n\n    for (let i = 0; i < patterns.length; i++) {\n      const pattern = patterns[i];\n      const patternFilters = filtersByPattern.get(i) || {};\n      \n      // Add IN filter for join values on the first pattern\n      if (i === 0) {\n        patternFilters[joinField] = {\n          ...patternFilters[joinField],\n          $in: joinValues,\n        };\n      }\n      \n      const quintPattern = this.patternBuilder.buildQuintPattern(pattern, patternFilters);\n      quintPatterns.push(quintPattern);\n    }\n\n    // Build compound pattern\n    const compound: CompoundPattern = {\n      patterns: quintPatterns,\n      joinOn: joinField,\n      select: this.buildSelectForPatterns(patterns),\n    };\n\n    const results = await this.store.getCompound!(compound);\n    const queryResults = this.compoundResultsToBindings(results, patterns);\n\n    if (this.debug) {\n      console.log(`[QuintQuerySource] Bind join compound: ${queryResults.length} results from DB`);\n    }\n\n    // Join with incoming bindings\n    return this.hashJoin(incomingBindings, queryResults, joinVarName);\n  }\n\n  /**\n   * Hash join two binding sets on a common variable\n   */\n  private hashJoin(\n    left: Bindings[],\n    right: Bindings[],\n    joinVarName: string\n  ): Bindings[] {\n    // Build hash table on right side\n    const rightIndex = new Map<string, Bindings[]>();\n    const joinVar = dataFactory.variable(joinVarName);\n    \n    for (const binding of right) {\n      const term = binding.get(joinVar);\n      if (term) {\n        const key = term.value;\n        if (!rightIndex.has(key)) {\n          rightIndex.set(key, []);\n        }\n        rightIndex.get(key)!.push(binding);\n      }\n    }\n\n    // Probe with left side\n    const results: Bindings[] = [];\n    for (const leftBinding of left) {\n      const term = leftBinding.get(joinVar);\n      if (term) {\n        const key = term.value;\n        const matches = rightIndex.get(key);\n        if (matches) {\n          for (const rightBinding of matches) {\n            // Merge bindings\n            const merged = this.mergeBindings(leftBinding, rightBinding);\n            if (merged) {\n              results.push(merged);\n            }\n          }\n        }\n      }\n    }\n\n    return results;\n  }\n\n  /**\n   * Merge two bindings, returning null if they conflict\n   */\n  private mergeBindings(left: Bindings, right: Bindings): Bindings | null {\n    const entries: [Variable, Term][] = [];\n    \n    // Add all from left\n    for (const key of left.keys()) {\n      const term = left.get(key);\n      if (term) {\n        entries.push([key, term]);\n      }\n    }\n    \n    // Add from right, checking for conflicts\n    for (const key of right.keys()) {\n      const rightTerm = right.get(key);\n      const leftTerm = left.get(key);\n      \n      if (rightTerm) {\n        if (leftTerm) {\n          // Both have this variable - must match\n          if (leftTerm.value !== rightTerm.value || leftTerm.termType !== rightTerm.termType) {\n            return null; // Conflict\n          }\n          // Same value, already in entries\n        } else {\n          // Only right has it\n          entries.push([key, rightTerm]);\n        }\n      }\n    }\n    \n    return this.bindingsFactory.bindings(entries);\n  }\n\n  /**\n   * Cartesian product of two binding sets\n   */\n  private cartesianJoin(left: Bindings[], right: Bindings[]): Bindings[] {\n    const results: Bindings[] = [];\n    for (const l of left) {\n      for (const r of right) {\n        const merged = this.mergeBindings(l, r);\n        if (merged) {\n          results.push(merged);\n        }\n      }\n    }\n    return results;\n  }\n\n  /**\n   * Execute OR branches with union semantics\n   */\n  private async executeOrBranches(\n    pattern: Algebra.Pattern,\n    variables: Variable[],\n    orBranches: PushdownFilters[],\n    orNonPushdownBranches: Algebra.Expression[] | undefined,\n    queryOptions: QueryOptions\n  ): Promise<Bindings[]> {\n    const seen = new Set<string>();\n    const results: Bindings[] = [];\n\n    // Execute each pushdownable branch\n    for (const branchFilters of orBranches) {\n      const quintPattern = this.patternBuilder.buildQuintPattern(pattern, branchFilters);\n      const quads = await this.store.get(quintPattern, queryOptions);\n      const bindings = this.quadsToBindings(quads, variables, pattern);\n      \n      for (const binding of bindings) {\n        const key = this.expressionEvaluator.getBindingKey(binding);\n        if (!seen.has(key)) {\n          seen.add(key);\n          results.push(binding);\n        }\n      }\n    }\n\n    // Handle non-pushdownable OR branches\n    if (orNonPushdownBranches && orNonPushdownBranches.length > 0) {\n      // Get base results without filter for in-memory evaluation\n      const quintPattern = this.patternBuilder.buildBasePattern(pattern);\n      const quads = await this.store.get(quintPattern, queryOptions);\n      const candidates = this.quadsToBindings(quads, variables, pattern);\n      \n      // Evaluate each non-pushdownable branch\n      for (const branchExpr of orNonPushdownBranches) {\n        const branchResults = await this.expressionEvaluator.evaluateFilterTree(branchExpr, candidates, pattern);\n        for (const binding of branchResults) {\n          const key = this.expressionEvaluator.getBindingKey(binding);\n          if (!seen.has(key)) {\n            seen.add(key);\n            results.push(binding);\n          }\n        }\n      }\n    }\n\n    return results;\n  }\n\n  /**\n   * Try to execute a compound query for multiple patterns joined by same subject\n   * Returns null if compound query is not applicable\n   */\n  private async tryCompoundQuery(\n    patterns: Algebra.Pattern[],\n    filter: Algebra.Expression | null,\n    _operation: Algebra.Operation\n  ): Promise<Bindings[] | null> {\n    // Check if all patterns share the same subject variable\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      // Not all patterns share the same subject variable\n      if (this.debug) {\n        console.log(`[QuintQuerySource] Cannot use compound query: different subject variables`, subjectVars);\n      }\n      return null;\n    }\n\n    const joinVar = uniqueSubjectVars[0];\n    if (this.debug) {\n      console.log(`[QuintQuerySource] Using compound query with ${patterns.length} patterns, joined on ?${joinVar}`);\n    }\n\n    // Build QuintPattern for each pattern, including filter conditions\n    const quintPatterns: QuintPattern[] = [];\n    const filtersByPattern = this.distributeFiltersToPatterns(filter, patterns);\n\n    for (let i = 0; i < patterns.length; i++) {\n      const pattern = patterns[i];\n      const patternFilters = filtersByPattern.get(i) || {};\n      \n      const quintPattern = this.patternBuilder.buildQuintPattern(pattern, patternFilters);\n      quintPatterns.push(quintPattern);\n    }\n\n    // Build compound pattern\n    const compound: CompoundPattern = {\n      patterns: quintPatterns,\n      joinOn: 'subject',\n      select: this.buildSelectForPatterns(patterns),\n    };\n\n    // Execute compound query\n    const optimizeParams = this.getOptimizeParams();\n    const queryOptions: QueryOptions = {};\n    if (optimizeParams?.limit) {\n      queryOptions.limit = optimizeParams.limit + (optimizeParams.offset || 0);\n    }\n\n    const results = await this.store.getCompound!(compound, queryOptions);\n\n    // Convert CompoundResult to Bindings\n    return this.compoundResultsToBindings(results, patterns);\n  }\n\n  /**\n   * Distribute filter conditions to their respective patterns\n   * Returns a map of pattern index -> PushdownFilters\n   */\n  private distributeFiltersToPatterns(\n    filter: Algebra.Expression | null,\n    patterns: Algebra.Pattern[]\n  ): Map<number, PushdownFilters> {\n    const result = new Map<number, PushdownFilters>();\n    \n    if (!filter) return result;\n\n    // Build a map of variable name to pattern index\n    const varToPatternIdx = new Map<string, number>();\n    for (let i = 0; i < patterns.length; i++) {\n      const p = patterns[i];\n      if (p.object?.termType === 'Variable') {\n        varToPatternIdx.set(p.object.value, i);\n      }\n    }\n\n    // Extract filters and distribute them\n    for (let i = 0; i < patterns.length; i++) {\n      const patternResult = this.filterExtractor.extractPushdownFilters(filter, patterns[i]);\n      if (Object.keys(patternResult.filters).length > 0) {\n        result.set(i, patternResult.filters);\n      }\n    }\n\n    return result;\n  }\n\n  /**\n   * Build SELECT clause config for patterns\n   */\n  private buildSelectForPatterns(patterns: Algebra.Pattern[]): CompoundPattern['select'] {\n    const select: NonNullable<CompoundPattern['select']> = [];\n    \n    for (let i = 0; i < patterns.length; i++) {\n      const p = patterns[i];\n      \n      // Select object if it's a variable\n      if (p.object?.termType === 'Variable') {\n        select.push({\n          pattern: i,\n          field: 'object',\n          alias: `p${i}_${p.object.value}`,\n        });\n      }\n      \n      // Select predicate if it's a variable\n      if (p.predicate?.termType === 'Variable') {\n        select.push({\n          pattern: i,\n          field: 'predicate',\n          alias: `p${i}_${p.predicate.value}`,\n        });\n      }\n\n      // Select graph if it's a variable\n      if (p.graph?.termType === 'Variable') {\n        select.push({\n          pattern: i,\n          field: 'graph',\n          alias: `p${i}_${p.graph.value}`,\n        });\n      }\n    }\n\n    return select;\n  }\n\n  /**\n   * Convert CompoundResult array to Bindings array\n   */\n  private compoundResultsToBindings(\n    results: CompoundResult[],\n    patterns: Algebra.Pattern[]\n  ): Bindings[] {\n    // Collect all variables from all patterns\n    const variables: Variable[] = [];\n    const varNames = new Set<string>();\n    \n    for (const p of patterns) {\n      if (p.subject?.termType === 'Variable' && !varNames.has(p.subject.value)) {\n        variables.push(p.subject as Variable);\n        varNames.add(p.subject.value);\n      }\n      if (p.predicate?.termType === 'Variable' && !varNames.has(p.predicate.value)) {\n        variables.push(p.predicate as Variable);\n        varNames.add(p.predicate.value);\n      }\n      if (p.object?.termType === 'Variable' && !varNames.has(p.object.value)) {\n        variables.push(p.object as Variable);\n        varNames.add(p.object.value);\n      }\n      if (p.graph?.termType === 'Variable' && !varNames.has(p.graph.value)) {\n        variables.push(p.graph as Variable);\n        varNames.add(p.graph.value);\n      }\n    }\n\n    return results.map(result => {\n      const entries: [Variable, Term][] = [];\n      \n      for (const v of variables) {\n        const varName = v.value;\n        \n        // Check if this is the join variable (subject)\n        if (patterns[0].subject?.termType === 'Variable' && \n            patterns[0].subject.value === varName) {\n          // Use joinValue for subject\n          const term = dataFactory.namedNode(result.joinValue);\n          entries.push([v, term]);\n          continue;\n        }\n        \n        // Look for the variable in bindings\n        for (let i = 0; i < patterns.length; i++) {\n          const p = patterns[i];\n          \n          if (p.object?.termType === 'Variable' && p.object.value === varName) {\n            const alias = `p${i}_${varName}`;\n            const value = result.bindings[alias];\n            if (value !== undefined) {\n              // Deserialize the value\n              const term = this.deserializeValue(value);\n              entries.push([v, term]);\n              break;\n            }\n          }\n          \n          if (p.predicate?.termType === 'Variable' && p.predicate.value === varName) {\n            const alias = `p${i}_${varName}`;\n            const value = result.bindings[alias];\n            if (value !== undefined) {\n              const term = dataFactory.namedNode(value);\n              entries.push([v, term]);\n              break;\n            }\n          }\n\n          if (p.graph?.termType === 'Variable' && p.graph.value === varName) {\n            const alias = `p${i}_${varName}`;\n            const value = result.bindings[alias];\n            if (value !== undefined) {\n              const term = dataFactory.namedNode(value);\n              entries.push([v, term]);\n              break;\n            }\n          }\n        }\n      }\n      \n      return this.bindingsFactory.bindings(entries);\n    });\n  }\n\n  /**\n   * Deserialize a value from storage format to RDF Term\n   * Uses the same deserialization logic as QuintStore\n   */\n  private deserializeValue(value: string): Term {\n    return deserializeObject(value);\n  }\n\n  /**\n   * Convert quads to bindings based on pattern variables\n   */\n  private quadsToBindings(quads: Quad[], variables: Variable[], pattern: Algebra.Pattern): Bindings[] {\n    if (this.debug) {\n      console.log(`[QuintQuerySource] quadsToBindings: ${quads.length} quads, ${variables.length} variables`);\n      console.log(`[QuintQuerySource] Variables:`, variables.map(v => v.value));\n      console.log(`[QuintQuerySource] Pattern:`, {\n        subject: pattern.subject?.termType === 'Variable' ? `?${pattern.subject.value}` : pattern.subject?.value,\n        predicate: pattern.predicate?.termType === 'Variable' ? `?${pattern.predicate.value}` : pattern.predicate?.value,\n        object: pattern.object?.termType === 'Variable' ? `?${pattern.object.value}` : pattern.object?.value,\n        graph: pattern.graph?.termType === 'Variable' ? `?${pattern.graph.value}` : pattern.graph?.value || pattern.graph?.termType,\n      });\n    }\n    return quads.map(quad => {\n      const entries: [Variable, Term][] = [];\n      for (const v of variables) {\n        const term = this.getTermForVariable(v, quad, pattern);\n        if (term) {\n          entries.push([v, term]);\n        }\n      }\n      if (this.debug && entries.length !== variables.length) {\n        console.log(`[QuintQuerySource] Warning: only ${entries.length} of ${variables.length} variables bound`);\n      }\n      return this.bindingsFactory.bindings(entries);\n    });\n  }\n\n  /**\n   * Get the term from quad that matches the variable position in pattern\n   */\n  private getTermForVariable(variable: Variable, quad: Quad, pattern: Algebra.Pattern): Term | null {\n    const varName = variable.value;\n    \n    // Check which position in the pattern this variable is in\n    if (pattern.subject?.termType === 'Variable' && pattern.subject.value === varName) {\n      return quad.subject;\n    }\n    if (pattern.predicate?.termType === 'Variable' && pattern.predicate.value === varName) {\n      return quad.predicate;\n    }\n    if (pattern.object?.termType === 'Variable' && pattern.object.value === varName) {\n      return quad.object;\n    }\n    if (pattern.graph?.termType === 'Variable' && pattern.graph.value === varName) {\n      return quad.graph;\n    }\n    \n    return null;\n  }\n\n  /**\n   * Extract BGP pattern and filter from operation\n   * Returns either a single pattern or multiple patterns (from BGP or JOIN)\n   */\n  extractPatternAndFilter(operation: Algebra.Operation): { \n    pattern: Algebra.Pattern; \n    patterns?: Algebra.Pattern[];  // Multiple patterns from BGP or JOIN\n    filter: Algebra.Expression | null;\n  } {\n    let pattern: Algebra.Pattern | null = null;\n    let patterns: Algebra.Pattern[] | undefined;\n    let filter: Algebra.Expression | null = null;\n\n    // Walk the algebra tree to find pattern(s) and filter\n    AlgebraUtil.recurseOperation(operation, {\n      [Algebra.types.JOIN]: (op: Algebra.Join) => {\n        // JOIN contains multiple patterns - extract them all\n        if (op.input && op.input.length > 0) {\n          const extractedPatterns: Algebra.Pattern[] = [];\n          for (const input of op.input) {\n            if (input.type === Algebra.types.PATTERN) {\n              extractedPatterns.push(input as Algebra.Pattern);\n            } else {\n              // Recurse into nested operation to find patterns\n              const nested = this.extractPatternAndFilter(input);\n              if (nested.patterns) {\n                extractedPatterns.push(...nested.patterns);\n              } else if (nested.pattern) {\n                extractedPatterns.push(nested.pattern);\n              }\n              // Also collect filter from nested operations\n              if (nested.filter && !filter) {\n                filter = nested.filter;\n              }\n            }\n          }\n          if (extractedPatterns.length > 0) {\n            patterns = extractedPatterns;\n            if (!pattern) {\n              pattern = patterns[0];\n            }\n          }\n        }\n        return false; // Don't recurse further\n      },\n      [Algebra.types.BGP]: (op: Algebra.Bgp) => {\n        // BGP contains multiple patterns - this is what we want for compound queries\n        if (op.patterns && op.patterns.length > 0) {\n          patterns = op.patterns as Algebra.Pattern[];\n          if (!pattern) {\n            pattern = patterns[0];\n          }\n        }\n        return false; // Don't recurse into individual patterns\n      },\n      [Algebra.types.PATTERN]: (op: Algebra.Pattern) => {\n        if (!pattern) pattern = op;\n        return false;\n      },\n      [Algebra.types.FILTER]: (op: Algebra.Filter) => {\n        filter = op.expression;\n        return true; // Continue to find pattern inside filter\n      },\n    });\n\n    if (!pattern) {\n      // Create empty pattern if none found\n      pattern = {\n        type: 'pattern',\n        subject: dataFactory.variable('s'),\n        predicate: dataFactory.variable('p'),\n        object: dataFactory.variable('o'),\n        graph: dataFactory.defaultGraph(),\n      } as Algebra.Pattern;\n    }\n\n    return { pattern, patterns, filter };\n  }\n\n  /**\n   * Get variables from operation\n   */\n  private getVariablesFromOperation(operation: Algebra.Operation): Variable[] {\n    const { pattern, patterns } = this.extractPatternAndFilter(operation);\n    \n    if (patterns && patterns.length > 1) {\n      // Collect variables from all patterns\n      const allVars: Variable[] = [];\n      const seen = new Set<string>();\n      for (const p of patterns) {\n        for (const v of extractVariables(p)) {\n          if (!seen.has(v.value)) {\n            seen.add(v.value);\n            allVars.push(v);\n          }\n        }\n      }\n      return allVars;\n    }\n    \n    return extractVariables(pattern);\n  }\n\n  // ============================================================\n  // Required IQuerySource Methods\n  // ============================================================\n\n  queryQuads(operation: Algebra.Operation, _context: IActionContext): AsyncIterator<Quad> {\n    const { pattern } = this.extractPatternAndFilter(operation);\n    const quintPattern = this.patternBuilder.buildBasePattern(pattern);\n    const resultIterator = wrap(this.store.get(quintPattern));\n    \n    resultIterator.setProperty('metadata', {\n      state: { invalidate: () => {}, invalid: false, addInvalidateListener: () => {} },\n      cardinality: { type: 'estimate' as const, value: Number.POSITIVE_INFINITY },\n    });\n\n    return resultIterator;\n  }\n\n  async queryBoolean(operation: Algebra.Ask, _context: IActionContext): Promise<boolean> {\n    const { pattern } = this.extractPatternAndFilter(operation.input);\n    const quintPattern = this.patternBuilder.buildBasePattern(pattern);\n    const results = await this.store.get(quintPattern, { limit: 1 });\n    return results.length > 0;\n  }\n\n  queryVoid(_operation: Algebra.Update, _context: IActionContext): Promise<void> {\n    throw new Error('queryVoid is not implemented');\n  }\n\n  /**\n   * 在 pattern 中查找变量绑定到哪个位置\n   * \n   * 例如：{ ?s <http://schema.org/name> ?name }\n   * - ?s 绑定到 subject\n   * - ?name 绑定到 object\n   */\n  private findVariableBinding(varName: string, pattern: Algebra.Pattern): TermName | null {\n    if (pattern.subject?.termType === 'Variable' && pattern.subject.value === varName) {\n      return 'subject';\n    }\n    if (pattern.predicate?.termType === 'Variable' && pattern.predicate.value === varName) {\n      return 'predicate';\n    }\n    if (pattern.object?.termType === 'Variable' && pattern.object.value === varName) {\n      return 'object';\n    }\n    if (pattern.graph?.termType === 'Variable' && pattern.graph.value === varName) {\n      return 'graph';\n    }\n    return null;\n  }\n\n  toString(): string {\n    return `QuintQuerySource(${this.store.constructor.name})`;\n  }\n}\n"]}

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

@@ -0,0 +1,40 @@
+/**
+ * SimpleSparqlExecutor - 绕过 Comunica 执行简单 SPARQL UPDATE
+ *
+ * 针对 Pod 创建场景优化：
+ * - 直接解析 INSERT DATA / DELETE DATA
+ * - 不经过 Comunica 的复杂查询计划
+ * - 批量执行，减少事务开销
+ */
+import type { QuintStore } from '../quint/types';
+/**
+ * 简单的 SPARQL UPDATE 解析器
+ * 只处理 INSERT DATA / DELETE DATA 的简单形式
+ */
+export declare class SimpleSparqlExecutor {
+    private readonly store;
+    constructor(store: QuintStore);
+    /**
+     * 尝试执行简单的 SPARQL UPDATE
+     * @returns true 如果成功执行，false 如果不支持该查询格式
+     */
+    tryExecute(query: string): Promise<boolean>;
+    /**
+     * 解析简单的 SPARQL UPDATE
+     * 支持的格式：
+     * - INSERT DATA { GRAPH <uri> { ... } }
+     * - DELETE DATA { GRAPH <uri> { ... } }
+     * - INSERT DATA { ... }
+     * - DELETE DATA { ... }
+     */
+    private parseSimpleUpdate;
+    /**
+     * 从代码块解析三元组
+     * 简单实现，只处理基本格式
+     */
+    private parseQuadsFromBlock;
+    /**
+     * 解析 Turtle 格式的三元组（简化版）
+     */
+    private parseTriples;
+}

package/dist/storage/sparql/SimpleSparqlExecutor.js

@@ -0,0 +1,131 @@
+"use strict";
+/**
+ * SimpleSparqlExecutor - 绕过 Comunica 执行简单 SPARQL UPDATE
+ *
+ * 针对 Pod 创建场景优化：
+ * - 直接解析 INSERT DATA / DELETE DATA
+ * - 不经过 Comunica 的复杂查询计划
+ * - 批量执行，减少事务开销
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.SimpleSparqlExecutor = void 0;
+/**
+ * 简单的 SPARQL UPDATE 解析器
+ * 只处理 INSERT DATA / DELETE DATA 的简单形式
+ */
+class SimpleSparqlExecutor {
+    constructor(store) {
+        this.store = store;
+    }
+    /**
+     * 尝试执行简单的 SPARQL UPDATE
+     * @returns true 如果成功执行，false 如果不支持该查询格式
+     */
+    async tryExecute(query) {
+        const pattern = this.parseSimpleUpdate(query);
+        if (!pattern) {
+            return false; // 不支持，让调用方使用 Comunica
+        }
+        if (pattern.type === 'insert') {
+            await this.store.multiPut(pattern.quads);
+        }
+        else {
+            // 逐条删除（因为 QuintStore 没有 multiDel 方法）
+            for (const q of pattern.quads) {
+                await this.store.del({
+                    graph: q.graph,
+                    subject: q.subject,
+                    predicate: q.predicate,
+                    object: q.object,
+                });
+            }
+        }
+        return true;
+    }
+    /**
+     * 解析简单的 SPARQL UPDATE
+     * 支持的格式：
+     * - INSERT DATA { GRAPH <uri> { ... } }
+     * - DELETE DATA { GRAPH <uri> { ... } }
+     * - INSERT DATA { ... }
+     * - DELETE DATA { ... }
+     */
+    parseSimpleUpdate(query) {
+        const trimmed = query.trim();
+        // 检查是否是 INSERT DATA
+        const insertMatch = trimmed.match(/^INSERT\s+DATA\s*\{/i);
+        if (insertMatch) {
+            const quads = this.parseQuadsFromBlock(trimmed, 'INSERT DATA');
+            if (quads) {
+                return { type: 'insert', quads };
+            }
+        }
+        // 检查是否是 DELETE DATA
+        const deleteMatch = trimmed.match(/^DELETE\s+DATA\s*\{/i);
+        if (deleteMatch) {
+            const quads = this.parseQuadsFromBlock(trimmed, 'DELETE DATA');
+            if (quads) {
+                return { type: 'delete', quads };
+            }
+        }
+        return null; // 不支持
+    }
+    /**
+     * 从代码块解析三元组
+     * 简单实现，只处理基本格式
+     */
+    parseQuadsFromBlock(query, prefix) {
+        // 提取大括号内的内容
+        const blockStart = query.indexOf('{');
+        const blockEnd = query.lastIndexOf('}');
+        if (blockStart === -1 || blockEnd === -1 || blockEnd <= blockStart) {
+            return null;
+        }
+        let content = query.slice(blockStart + 1, blockEnd).trim();
+        // 检查是否有 GRAPH 块
+        const graphMatch = content.match(/GRAPH\s*<([^>]+)>\s*\{/);
+        if (graphMatch) {
+            const graphUri = graphMatch[1];
+            const graphBlockStart = content.indexOf('{', content.indexOf('GRAPH'));
+            const graphBlockEnd = content.indexOf('}', graphBlockStart);
+            if (graphBlockStart === -1 || graphBlockEnd === -1) {
+                return null;
+            }
+            content = content.slice(graphBlockStart + 1, graphBlockEnd).trim();
+            // 解析三元组并添加 graph
+            const triples = this.parseTriples(content);
+            if (!triples)
+                return null;
+            const { DataFactory } = require('n3');
+            const { namedNode } = DataFactory;
+            return triples.map(t => ({
+                ...t,
+                graph: namedNode(graphUri),
+            }));
+        }
+        // 没有 GRAPH，使用默认图
+        return this.parseTriples(content);
+    }
+    /**
+     * 解析 Turtle 格式的三元组（简化版）
+     */
+    parseTriples(content) {
+        // 简化实现：使用 N3 Parser
+        try {
+            const { Parser, DataFactory } = require('n3');
+            const { defaultGraph } = DataFactory;
+            const parser = new Parser();
+            const quads = parser.parse(content);
+            // 为没有 graph 的 quad 添加默认图
+            return quads.map((q) => ({
+                ...q,
+                graph: q.graph || defaultGraph(),
+            }));
+        }
+        catch (error) {
+            return null;
+        }
+    }
+}
+exports.SimpleSparqlExecutor = SimpleSparqlExecutor;
+//# sourceMappingURL=SimpleSparqlExecutor.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"SimpleSparqlExecutor.js","sourceRoot":"","sources":["../../../src/storage/sparql/SimpleSparqlExecutor.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;;AAiBH;;;GAGG;AACH,MAAa,oBAAoB;IAC/B,YAA6B,KAAiB;QAAjB,UAAK,GAAL,KAAK,CAAY;IAAG,CAAC;IAElD;;;OAGG;IACH,KAAK,CAAC,UAAU,CAAC,KAAa;QAC5B,MAAM,OAAO,GAAG,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC;QAC9C,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,OAAO,KAAK,CAAC,CAAC,sBAAsB;QACtC,CAAC;QAED,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC9B,MAAM,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC3C,CAAC;aAAM,CAAC;YACN,qCAAqC;YACrC,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;gBAC9B,MAAM,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;oBACnB,KAAK,EAAE,CAAC,CAAC,KAAK;oBACd,OAAO,EAAE,CAAC,CAAC,OAAO;oBAClB,SAAS,EAAE,CAAC,CAAC,SAAS;oBACtB,MAAM,EAAE,CAAC,CAAC,MAAM;iBACjB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;;;;;;OAOG;IACK,iBAAiB,CAAC,KAAa;QACrC,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;QAE7B,oBAAoB;QACpB,MAAM,WAAW,GAAG,OAAO,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC;QAC1D,IAAI,WAAW,EAAE,CAAC;YAChB,MAAM,KAAK,GAAG,IAAI,CAAC,mBAAmB,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;YAC/D,IAAI,KAAK,EAAE,CAAC;gBACV,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;YACnC,CAAC;QACH,CAAC;QAED,oBAAoB;QACpB,MAAM,WAAW,GAAG,OAAO,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC;QAC1D,IAAI,WAAW,EAAE,CAAC;YAChB,MAAM,KAAK,GAAG,IAAI,CAAC,mBAAmB,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;YAC/D,IAAI,KAAK,EAAE,CAAC;gBACV,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;YACnC,CAAC;QACH,CAAC;QAED,OAAO,IAAI,CAAC,CAAC,MAAM;IACrB,CAAC;IAED;;;OAGG;IACK,mBAAmB,CAAC,KAAa,EAAE,MAAc;QACvD,YAAY;QACZ,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACtC,MAAM,QAAQ,GAAG,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;QACxC,IAAI,UAAU,KAAK,CAAC,CAAC,IAAI,QAAQ,KAAK,CAAC,CAAC,IAAI,QAAQ,IAAI,UAAU,EAAE,CAAC;YACnE,OAAO,IAAI,CAAC;QACd,CAAC;QAED,IAAI,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,UAAU,GAAG,CAAC,EAAE,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QAE3D,gBAAgB;QAChB,MAAM,UAAU,GAAG,OAAO,CAAC,KAAK,CAAC,wBAAwB,CAAC,CAAC;QAC3D,IAAI,UAAU,EAAE,CAAC;YACf,MAAM,QAAQ,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;YAC/B,MAAM,eAAe,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;YACvE,MAAM,aAAa,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,eAAe,CAAC,CAAC;YAC5D,IAAI,eAAe,KAAK,CAAC,CAAC,IAAI,aAAa,KAAK,CAAC,CAAC,EAAE,CAAC;gBACnD,OAAO,IAAI,CAAC;YACd,CAAC;YACD,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,eAAe,GAAG,CAAC,EAAE,aAAa,CAAC,CAAC,IAAI,EAAE,CAAC;YAEnE,iBAAiB;YACjB,MAAM,OAAO,GAAG,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;YAC3C,IAAI,CAAC,OAAO;gBAAE,OAAO,IAAI,CAAC;YAE1B,MAAM,EAAE,WAAW,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YACtC,MAAM,EAAE,SAAS,EAAE,GAAG,WAAW,CAAC;YAClC,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBACvB,GAAG,CAAC;gBACJ,KAAK,EAAE,SAAS,CAAC,QAAQ,CAAC;aAC3B,CAAC,CAAC,CAAC;QACN,CAAC;QAED,iBAAiB;QACjB,OAAO,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;IACpC,CAAC;IAED;;OAEG;IACK,YAAY,CAAC,OAAe;QAClC,oBAAoB;QACpB,IAAI,CAAC;YACH,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YAC9C,MAAM,EAAE,YAAY,EAAE,GAAG,WAAW,CAAC;YAErC,MAAM,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;YAC5B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAEpC,yBAAyB;YACzB,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAO,EAAE,EAAE,CAAC,CAAC;gBAC7B,GAAG,CAAC;gBACJ,KAAK,EAAE,CAAC,CAAC,KAAK,IAAI,YAAY,EAAE;aACjC,CAAC,CAAC,CAAC;QACN,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;CACF;AA3HD,oDA2HC","sourcesContent":["/**\n * SimpleSparqlExecutor - 绕过 Comunica 执行简单 SPARQL UPDATE\n * \n * 针对 Pod 创建场景优化：\n * - 直接解析 INSERT DATA / DELETE DATA\n * - 不经过 Comunica 的复杂查询计划\n * - 批量执行，减少事务开销\n */\n\nimport type { Quad } from '@rdfjs/types';\nimport type { QuintStore } from '../quint/types';\n\ninterface InsertDataPattern {\n  type: 'insert';\n  quads: Quad[];\n}\n\ninterface DeleteDataPattern {\n  type: 'delete';\n  quads: Quad[];\n}\n\ntype SparqlPattern = InsertDataPattern | DeleteDataPattern | null;\n\n/**\n * 简单的 SPARQL UPDATE 解析器\n * 只处理 INSERT DATA / DELETE DATA 的简单形式\n */\nexport class SimpleSparqlExecutor {\n  constructor(private readonly store: QuintStore) {}\n\n  /**\n   * 尝试执行简单的 SPARQL UPDATE\n   * @returns true 如果成功执行，false 如果不支持该查询格式\n   */\n  async tryExecute(query: string): Promise<boolean> {\n    const pattern = this.parseSimpleUpdate(query);\n    if (!pattern) {\n      return false; // 不支持，让调用方使用 Comunica\n    }\n\n    if (pattern.type === 'insert') {\n      await this.store.multiPut(pattern.quads);\n    } else {\n      // 逐条删除（因为 QuintStore 没有 multiDel 方法）\n      for (const q of pattern.quads) {\n        await this.store.del({\n          graph: q.graph,\n          subject: q.subject,\n          predicate: q.predicate,\n          object: q.object,\n        });\n      }\n    }\n    return true;\n  }\n\n  /**\n   * 解析简单的 SPARQL UPDATE\n   * 支持的格式：\n   * - INSERT DATA { GRAPH <uri> { ... } }\n   * - DELETE DATA { GRAPH <uri> { ... } }\n   * - INSERT DATA { ... }\n   * - DELETE DATA { ... }\n   */\n  private parseSimpleUpdate(query: string): SparqlPattern {\n    const trimmed = query.trim();\n    \n    // 检查是否是 INSERT DATA\n    const insertMatch = trimmed.match(/^INSERT\\s+DATA\\s*\\{/i);\n    if (insertMatch) {\n      const quads = this.parseQuadsFromBlock(trimmed, 'INSERT DATA');\n      if (quads) {\n        return { type: 'insert', quads };\n      }\n    }\n    \n    // 检查是否是 DELETE DATA\n    const deleteMatch = trimmed.match(/^DELETE\\s+DATA\\s*\\{/i);\n    if (deleteMatch) {\n      const quads = this.parseQuadsFromBlock(trimmed, 'DELETE DATA');\n      if (quads) {\n        return { type: 'delete', quads };\n      }\n    }\n    \n    return null; // 不支持\n  }\n\n  /**\n   * 从代码块解析三元组\n   * 简单实现，只处理基本格式\n   */\n  private parseQuadsFromBlock(query: string, prefix: string): Quad[] | null {\n    // 提取大括号内的内容\n    const blockStart = query.indexOf('{');\n    const blockEnd = query.lastIndexOf('}');\n    if (blockStart === -1 || blockEnd === -1 || blockEnd <= blockStart) {\n      return null;\n    }\n    \n    let content = query.slice(blockStart + 1, blockEnd).trim();\n    \n    // 检查是否有 GRAPH 块\n    const graphMatch = content.match(/GRAPH\\s*<([^>]+)>\\s*\\{/);\n    if (graphMatch) {\n      const graphUri = graphMatch[1];\n      const graphBlockStart = content.indexOf('{', content.indexOf('GRAPH'));\n      const graphBlockEnd = content.indexOf('}', graphBlockStart);\n      if (graphBlockStart === -1 || graphBlockEnd === -1) {\n        return null;\n      }\n      content = content.slice(graphBlockStart + 1, graphBlockEnd).trim();\n      \n      // 解析三元组并添加 graph\n      const triples = this.parseTriples(content);\n      if (!triples) return null;\n      \n      const { DataFactory } = require('n3');\n      const { namedNode } = DataFactory;\n      return triples.map(t => ({\n        ...t,\n        graph: namedNode(graphUri),\n      }));\n    }\n    \n    // 没有 GRAPH，使用默认图\n    return this.parseTriples(content);\n  }\n\n  /**\n   * 解析 Turtle 格式的三元组（简化版）\n   */\n  private parseTriples(content: string): Quad[] | null {\n    // 简化实现：使用 N3 Parser\n    try {\n      const { Parser, DataFactory } = require('n3');\n      const { defaultGraph } = DataFactory;\n      \n      const parser = new Parser();\n      const quads = parser.parse(content);\n      \n      // 为没有 graph 的 quad 添加默认图\n      return quads.map((q: Quad) => ({\n        ...q,\n        graph: q.graph || defaultGraph(),\n      }));\n    } catch (error) {\n      return null;\n    }\n  }\n}\n"]}

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

@@ -0,0 +1,74 @@
+import type { Quad } from '@rdfjs/types';
+import type { AsyncIterator } from 'asynciterator';
+import type { QuintStore } from '../quint/types';
+/**
+ * SPARQL Engine interface - common abstraction for SPARQL query engines
+ */
+export interface SparqlEngine {
+    queryBindings(query: string, basePath: string): Promise<any>;
+    queryQuads(query: string, basePath: string): Promise<any>;
+    queryBoolean(query: string, basePath: string): Promise<boolean>;
+    queryVoid(query: string, basePath: string): Promise<void>;
+    constructGraph(graph: string, basePath: string): Promise<AsyncIterator<Quad>>;
+    listGraphs(basePath: string): Promise<Set<string>>;
+    close(): Promise<void>;
+}
+/**
+ * Quadstore-based SPARQL engine implementation
+ */
+export declare class QuadstoreSparqlEngine implements SparqlEngine {
+    private readonly store;
+    private readonly engine;
+    private readonly optimizedEngine;
+    private readonly ready;
+    constructor(endpoint: string);
+    queryBindings(query: string, basePath: string): Promise<any>;
+    queryQuads(query: string, basePath: string): Promise<any>;
+    queryBoolean(query: string, basePath: string): Promise<boolean>;
+    queryVoid(query: string, basePath: string): Promise<void>;
+    constructGraph(graph: string, basePath: string): Promise<AsyncIterator<Quad>>;
+    listGraphs(basePath: string): Promise<Set<string>>;
+    close(): Promise<void>;
+    private createContext;
+    private isInScope;
+}
+/**
+ * QuintStore-based SPARQL engine implementation
+ *
+ * Uses security filters to enforce access boundaries,
+ * which are pushed down to the storage layer.
+ */
+export declare class QuintstoreSparqlEngine implements SparqlEngine {
+    private readonly store;
+    private readonly engine;
+    private readonly ready;
+    constructor(store: QuintStore);
+    queryBindings(query: string, basePath: string): Promise<any>;
+    queryQuads(query: string, basePath: string): Promise<any>;
+    queryBoolean(query: string, basePath: string): Promise<boolean>;
+    queryVoid(query: string, basePath: string): Promise<void>;
+    constructGraph(graph: string, basePath: string): Promise<AsyncIterator<Quad>>;
+    listGraphs(basePath: string): Promise<Set<string>>;
+    close(): Promise<void>;
+}
+/**
+ * SubgraphQueryEngine - SPARQL engine with subgraph (tenant) isolation
+ *
+ * Wraps a SparqlEngine implementation for use in the system.
+ */
+export declare class SubgraphQueryEngine {
+    private readonly logger;
+    private readonly impl;
+    /**
+     * Create a SubgraphQueryEngine
+     * @param engine - A SparqlEngine implementation (QuadstoreSparqlEngine or QuintstoreSparqlEngine)
+     */
+    constructor(engine: SparqlEngine);
+    queryBindings(query: string, basePath: string): Promise<any>;
+    queryQuads(query: string, basePath: string): Promise<any>;
+    queryBoolean(query: string, basePath: string): Promise<boolean>;
+    queryVoid(query: string, basePath: string): Promise<void>;
+    constructGraph(graph: string, basePath: string): Promise<AsyncIterator<Quad>>;
+    listGraphs(basePath: string): Promise<Set<string>>;
+    close(): Promise<void>;
+}