@stevenvo780/st-lang 4.1.0 → 4.3.0

package/dist/solver/cdcl-v2-incremental/solver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"solver.js","sourceRoot":"","sources":["../../../src/solver/cdcl-v2-incremental/solver.ts"],"names":[],"mappings":";AAAA,0EAA0E;AAC1E,EAAE;AACF,gFAAgF;AAChF,oEAAoE;AACpE,EAAE;AACF,2EAA2E;AAC3E,6EAA6E;AAC7E,8EAA8E;AAC9E,+EAA+E;AAC/E,qEAAqE;AACrE,wEAAwE;AACxE,mCAAmC;AACnC,EAAE;AACF,mEAAmE;AACnE,mCAAmC;AACnC,+DAA+D;AAC/D,0CAA0C;AAC1C,uDAAuD;AACvD,EAAE;AACF,8EAA8E;AAC9E,6EAA6E;AAC7E,8EAA8E;AAC9E,oEAAoE;;;AAEpE,wCAWoB;AAiBpB,MAAM,QAAQ,GAAG;IACf,SAAS,EAAE,MAAM;IACjB,UAAU,EAAE,IAAI;IAChB,QAAQ,EAAE,GAAG;IACb,WAAW,EAAE,KAAK;IAClB,kBAAkB,EAAE,CAAC;IACrB,YAAY,EAAE,CAAU;CACzB,CAAC;AAEF,MAAa,eAAe;IAClB,OAAO,CAAS;IACP,IAAI,CAGnB;IAEF,4EAA4E;IAC5E,2EAA2E;IAC3E,wCAAwC;IAChC,OAAO,GAAiB,EAAE,CAAC;IAC3B,WAAW,GAAa,EAAE,CAAC;IAC3B,WAAW,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC7C,SAAS,GAAG,GAAG,CAAC;IAExB,8DAA8D;IACtD,MAAM,CAAY;IAClB,QAAQ,CAAa;IACrB,OAAO,CAAa;IAE5B,SAAS;IACD,KAAK,GAAa,EAAE,CAAC;IACrB,QAAQ,GAAa,EAAE,CAAC;IACxB,KAAK,GAAG,CAAC,CAAC;IAElB,uEAAuE;IAC/D,OAAO,GAAe,EAAE,CAAC;IAEjC,kFAAkF;IAC1E,KAAK,CAAQ;IACb,MAAM,CAAa;IAE3B,iCAAiC;IACzB,WAAW,GAAsB,EAAE,CAAC;IAE5C,4EAA4E;IAC5E,sDAAsD;IACtD,kEAAkE;IAC1D,eAAe,CAAa;IAEpC,kCAAkC;IAC1B,cAAc,GAAG,CAAC,CAAC;IACnB,cAAc,GAAG,CAAC,CAAC;IACnB,YAAY,GAAG,CAAC,CAAC;IAEzB,YAAY,OAAO,GAAG,CAAC,EAAE,OAAkC;QACzD,IAAI,OAAO,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;YAC9C,MAAM,IAAI,UAAU,CAAC,qCAAqC,OAAO,EAAE,CAAC,CAAC;QACvE,CAAC;QACD,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QACvB,IAAI,CAAC,IAAI,GAAG;YACV,SAAS,EAAE,OAAO,EAAE,SAAS,IAAI,QAAQ,CAAC,SAAS;YACnD,UAAU,EAAE,OAAO,EAAE,UAAU,IAAI,QAAQ,CAAC,UAAU;YACtD,QAAQ,EAAE,OAAO,EAAE,QAAQ,IAAI,QAAQ,CAAC,QAAQ;YAChD,YAAY,EAAE,OAAO,EAAE,YAAY,IAAI,QAAQ,CAAC,YAAY;YAC5D,WAAW,EAAE,QAAQ,CAAC,WAAW;YACjC,kBAAkB,EAAE,QAAQ,CAAC,kBAAkB;SAChD,CAAC;QAEF,IAAI,CAAC,MAAM,GAAG,IAAI,SAAS,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;QACzC,IAAI,CAAC,QAAQ,GAAG,IAAI,UAAU,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACrD,IAAI,CAAC,OAAO,GAAG,IAAI,UAAU,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,uBAAa,CAAC,CAAC;QAC/D,IAAI,CAAC,eAAe,GAAG,IAAI,UAAU,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;QAEnD,IAAI,CAAC,KAAK,GAAG,IAAI,eAAK,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACtD,IAAI,CAAC,MAAM,GAAG,IAAI,oBAAU,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAE9D,IAAI,CAAC,cAAc,EAAE,CAAC;IACxB,CAAC;IAED,4EAA4E;IAC5E,eAAe;IACf,4EAA4E;IAE5E,0DAA0D;IAC1D,MAAM;QACJ,IAAI,CAAC,OAAO,EAAE,CAAC;QACf,IAAI,CAAC,aAAa,EAAE,CAAC;QACrB,kEAAkE;QAClE,wCAAwC;QACxC,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACxB,OAAO,IAAI,CAAC,OAAO,CAAC;IACtB,CAAC;IAED,sFAAsF;IACtF,SAAS,CAAC,QAA+B;QACvC,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,IAAI,CAAC,KAAK,CAAC;gBAAE,MAAM,IAAI,UAAU,CAAC,+CAA+C,CAAC,CAAC;YACnF,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACtB,IAAI,CAAC,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;gBACrB,MAAM,IAAI,UAAU,CAClB,uCAAuC,CAAC,4BAA4B,IAAI,CAAC,OAAO,GAAG,CACpF,CAAC;YACJ,CAAC;QACH,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,UAAU,CAAC,QAAQ,CAAC,CAAC;QACxC,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;QAC/B,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC1B,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzB,IAAI,MAAM,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YACvB,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,IAAA,kBAAQ,EAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;YAC3D,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,IAAA,kBAAQ,EAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;YAC3D,IAAI,EAAE;gBAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACpB,IAAI,EAAE;gBAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACtB,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IACvC,CAAC;IAED,oDAAoD;IACpD,IAAI;QACF,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC;YACpB,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM;YAC/B,UAAU,EAAE,IAAI,CAAC,YAAY,EAAE;YAC/B,OAAO,EAAE,IAAI,CAAC,OAAO;SACtB,CAAC,CAAC;IACL,CAAC;IAED,6DAA6D;IAC7D,GAAG,CAAC,MAAM,GAAG,CAAC;QACZ,IAAI,MAAM,IAAI,CAAC;YAAE,OAAO;QACxB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC/D,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC;YACrC,IAAI,CAAC,KAAK;gBAAE,MAAM;YAClB,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IAED;;;;;;;OAOG;IACH,KAAK,CAAC,cAAqC,EAAE;QAC3C,uBAAuB;QACvB,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;YAC5B,IAAI,CAAC,KAAK,CAAC;gBAAE,MAAM,IAAI,UAAU,CAAC,8CAA8C,CAAC,CAAC;YAClF,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;gBAC/B,MAAM,IAAI,UAAU,CAClB,sDAAsD,IAAI,CAAC,GAAG,CAC5D,CAAC,CACF,cAAc,IAAI,CAAC,OAAO,EAAE,CAC9B,CAAC;YACJ,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;IACpC,CAAC;IAED,mFAAmF;IACnF,UAAU,CAAC,KAAa;QACtB,IAAI,KAAK,IAAI,CAAC,IAAI,KAAK,GAAG,IAAI,CAAC,OAAO;YAAE,OAAO,SAAS,CAAC;QACzD,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC7B,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QACzB,IAAI,CAAC,KAAK,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;QAC3B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,2DAA2D;IAC3D,KAAK;QACH,IAAI,CAAC,OAAO,GAAG,EAAE,CAAC;QAClB,IAAI,CAAC,WAAW,GAAG,EAAE,CAAC;QACtB,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,SAAS,GAAG,GAAG,CAAC;QACrB,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC;QACjB,IAAI,CAAC,MAAM,GAAG,IAAI,SAAS,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAI,CAAC,QAAQ,GAAG,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3C,IAAI,CAAC,OAAO,GAAG,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,uBAAa,CAAC,CAAC;QACrD,IAAI,CAAC,eAAe,GAAG,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC;QACzC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;QAChB,IAAI,CAAC,QAAQ,GAAG,EAAE,CAAC;QACnB,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC;QACf,IAAI,CAAC,WAAW,GAAG,EAAE,CAAC;QACtB,IAAI,CAAC,cAAc,GAAG,CAAC,CAAC;QACxB,IAAI,CAAC,cAAc,GAAG,CAAC,CAAC;QACxB,IAAI,CAAC,YAAY,GAAG,CAAC,CAAC;QACtB,IAAI,CAAC,KAAK,GAAG,IAAI,eAAK,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAChD,IAAI,CAAC,MAAM,GAAG,IAAI,oBAAU,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACxD,IAAI,CAAC,cAAc,EAAE,CAAC;IACxB,CAAC;IAED,4CAA4C;IAC5C,KAAK;QACH,OAAO;YACL,SAAS,EAAE,IAAI,CAAC,cAAc;YAC9B,SAAS,EAAE,IAAI,CAAC,cAAc;YAC9B,OAAO,EAAE,IAAI,CAAC,YAAY,EAAE;YAC5B,IAAI,EAAE,IAAI,CAAC,OAAO;YAClB,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM;SAC7B,CAAC;IACJ,CAAC;IAED,4EAA4E;IAC5E,qCAAqC;IACrC,4EAA4E;IAEpE,aAAa;QACnB,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;QACvB,4DAA4D;QAC5D,MAAM,MAAM,GAAG,IAAI,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACpC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACxB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QAErB,MAAM,QAAQ,GAAG,IAAI,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAChD,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC5B,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QAEzB,MAAM,OAAO,GAAG,IAAI,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,uBAAa,CAAC,CAAC;QAC1D,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC1B,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QAEvB,MAAM,SAAS,GAAG,IAAI,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACxC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QACpC,IAAI,CAAC,eAAe,GAAG,SAAS,CAAC;QAEjC,sEAAsE;QACtE,IAAI,CAAC,cAAc,EAAE,CAAC;IACxB,CAAC;IAEO,gBAAgB;QACtB,MAAM,QAAQ,GAAG,IAAI,eAAK,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC/D,mCAAmC;QACnC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC;QACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,IAAI,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5D,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACnC,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,QAAQ,CAAC;QAEtB,MAAM,SAAS,GAAG,IAAI,oBAAU,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACvE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC;YACvC,sCAAsC;YACtC,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;gBACtB,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;gBAC1C,SAAS,CAAC,IAAI,CAAC,SAAS,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3C,CAAC;QACH,CAAC;QACD,IAAI,CAAC,MAAM,GAAG,SAAS,CAAC;IAC1B,CAAC;IAEO,cAAc;QACpB,MAAM,IAAI,GAAG,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;QAC9B,IAAI,CAAC,OAAO,GAAG,IAAI,KAAK,CAAW,IAAI,CAAC,CAAC;QACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE;YAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;QACpD,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;YAChD,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YAC3B,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBAClB,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,IAAA,kBAAQ,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;gBACtD,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,IAAA,kBAAQ,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;gBACtD,IAAI,EAAE;oBAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACpB,IAAI,EAAE;oBAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACtB,CAAC;QACH,CAAC;IACH,CAAC;IAEO,YAAY;QAClB,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,WAAW;YAAE,IAAI,CAAC,KAAK,CAAC;gBAAE,CAAC,EAAE,CAAC;QACnD,OAAO,CAAC,CAAC;IACX,CAAC;IAEO,UAAU,CAAC,KAAsB;QACvC,mEAAmE;QACnE,qEAAqE;QACrE,yEAAyE;QACzE,IAAI,CAAC,mBAAmB,EAAE,CAAC;QAE3B,yEAAyE;QACzE,oEAAoE;QACpE,uEAAuE;QACvE,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC/D,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,MAAM,CAAC;QAC7B,IAAI,CAAC,WAAW,CAAC,MAAM,GAAG,MAAM,CAAC;QAEjC,yEAAyE;QACzE,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;YACrD,IAAI,EAAE,IAAI,MAAM;gBAAE,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAChD,CAAC;QACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC;YACvC,IAAI,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,uBAAa,IAAI,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,MAAM,EAAE,CAAC;gBACnE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,uBAAa,CAAC;YAClC,CAAC;QACH,CAAC;QAED,kEAAkE;QAClE,IAAI,IAAI,CAAC,OAAO,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC;YACjC,IAAI,CAAC,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;YAC7B,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC;YAC7B,4CAA4C;YAC5C,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YACxC,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YAC5C,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YAC1C,IAAI,CAAC,eAAe,GAAG,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YAC1D,IAAI,CAAC,gBAAgB,EAAE,CAAC;QAC1B,CAAC;QAED,oDAAoD;QACpD,IAAI,CAAC,cAAc,EAAE,CAAC;IACxB,CAAC;IAED,4EAA4E;IAC5E,2BAA2B;IAC3B,4EAA4E;IAEpE,YAAY;QAClB,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;IAC9B,CAAC;IAEO,SAAS,CAAC,GAAW;QAC3B,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;IACrE,CAAC;IAEO,UAAU,CAAC,GAAW;QAC5B,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACrE,CAAC;IAEO,OAAO,CAAC,GAAW,EAAE,GAAW,EAAE,MAAc,EAAE,KAAwB;QAChF,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACxB,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QACrD,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;QACvB,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC;QACzB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACrB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACtB,IAAI,KAAK;YAAE,KAAK,CAAC,YAAY,EAAE,CAAC;QAChC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,yGAAyG;IACjG,SAAS,CAAC,KAAuB;QACvC,OAAO,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;YACtC,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;YACnC,MAAM,QAAQ,GAAG,CAAC,CAAC,CAAC;YACpB,MAAM,IAAI,GAAG,IAAA,kBAAQ,EAAC,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;YAC9C,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAC9B,IAAI,CAAC,EAAE;gBAAE,SAAS;YAClB,IAAI,CAAC,GAAG,CAAC,CAAC;YACV,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACnC,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;gBACjB,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;gBAC3B,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACvB,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC;oBACb,SAAS;gBACX,CAAC;gBACD,2DAA2D;gBAC3D,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ,EAAE,CAAC;oBACtB,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;oBACjB,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;oBACZ,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;gBACb,CAAC;gBACD,IAAI,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBACzB,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC;oBACb,SAAS;gBACX,CAAC;gBACD,uCAAuC;gBACvC,IAAI,KAAK,GAAG,KAAK,CAAC;gBAClB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBAClC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;wBAC3B,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;wBACjB,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;wBACZ,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;wBACX,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,IAAA,kBAAQ,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;wBAC5D,IAAI,QAAQ;4BAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;wBAChC,KAAK,GAAG,IAAI,CAAC;wBACb,MAAM;oBACR,CAAC;gBACH,CAAC;gBACD,IAAI,KAAK;oBAAE,SAAS;gBACpB,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC;gBACb,IAAI,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC1B,aAAa;oBACb,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE;wBAAE,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;oBACxD,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;oBACd,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC;oBAC/B,OAAO,EAAE,CAAC;gBACZ,CAAC;gBACD,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,YAAY,EAAE,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC;oBACxD,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE;wBAAE,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;oBACxD,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;oBACd,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC;oBAC/B,OAAO,EAAE,CAAC;gBACZ,CAAC;YACH,CAAC;YACD,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;QAChB,CAAC;QACD,OAAO,qBAAW,CAAC;IACrB,CAAC;IAEO,gBAAgB,CAAC,MAAc;QACrC,IAAI,IAAI,CAAC,YAAY,EAAE,IAAI,MAAM;YAAE,OAAO;QAC1C,MAAM,OAAO,GAAG,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC;QAC1F,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC;YACtD,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YAClC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YACnB,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACtB,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,uBAAa,CAAC;YAChC,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAC9B,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,OAAO,CAAC;QAC5B,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,MAAM,CAAC;QAC9B,IAAI,CAAC,KAAK,GAAG,OAAO,CAAC;IACvB,CAAC;IAED;0DACsD;IAC9C,mBAAmB;QACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3C,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YAClC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YACnB,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACtB,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,uBAAa,CAAC;YAChC,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAC9B,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QACtB,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;QACzB,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC;IACjB,CAAC;IAEO,kBAAkB,CAAC,OAAmB,EAAE,GAAW,EAAE,KAAuB;QAClF,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;QAC/B,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC3B,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzB,KAAK,CAAC,OAAO,EAAE,CAAC;QAChB,IAAI,CAAC,YAAY,EAAE,CAAC;QACpB,IAAI,OAAO,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YACxB,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,IAAA,kBAAQ,EAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;YAC5D,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,IAAA,kBAAQ,EAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;YAC5D,IAAI,EAAE;gBAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACpB,IAAI,EAAE;gBAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACtB,CAAC;QACD,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,EAAE;YACvB,KAAK,EAAE,EAAE;YACT,GAAG;YACH,QAAQ,EAAE,IAAI,CAAC,SAAS;YACxB,MAAM,EAAE,KAAK;YACb,MAAM,EAAE,OAAO,CAAC,MAAM;SACvB,CAAC,CAAC;QACH,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,4EAA4E;IAC5E,8BAA8B;IAC9B,4EAA4E;IAEpE,QAAQ,CAAC,WAAkC;QACjD,MAAM,KAAK,GAAqB;YAC9B,SAAS,EAAE,CAAC;YACZ,SAAS,EAAE,CAAC;YACZ,OAAO,EAAE,CAAC;YACV,YAAY,EAAE,CAAC;YACf,QAAQ,EAAE,CAAC;SACZ,CAAC;QACF,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAE7B,iCAAiC;QACjC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAC7B,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACnB,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,iBAAiB,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC;YACrE,CAAC;QACH,CAAC;QAED,yEAAyE;QACzE,2EAA2E;QAC3E,yEAAyE;QACzE,mEAAmE;QACnE,oDAAoD;QACpD,IAAI,CAAC,mBAAmB,EAAE,CAAC;QAE3B,yDAAyD;QACzD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC,EAAE;YAAE,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAEpE,MAAM,SAAS,GAAG,IAAI,2BAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAE5D,qEAAqE;QACrE,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;YAChD,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YAC3B,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACnB,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;gBACjB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACxB,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;oBACzB,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC;wBACzB,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,iBAAiB,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC;oBACrE,CAAC;oBACD,SAAS;gBACX,CAAC;gBACD,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC;oBACrC,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,iBAAiB,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC;gBACrE,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QACrC,IAAI,QAAQ,KAAK,qBAAW,EAAE,CAAC;YAC7B,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,iBAAiB,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC;QACrE,CAAC;QAED,sEAAsE;QACtE,qEAAqE;QACrE,iDAAiD;QACjD,MAAM,mBAAmB,GAAa,EAAE,CAAC;QACzC,KAAK,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC;YAC9B,2EAA2E;YAC3E,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBACzB,OAAO;oBACL,GAAG,EAAE,KAAK;oBACV,SAAS,EAAE,IAAI,CAAC,+BAA+B,CAAC,GAAG,CAAC;oBACpD,iBAAiB,EAAE,IAAI,CAAC,+BAA+B,CAAC,GAAG,CAAC;oBAC5D,KAAK;iBACN,CAAC;YACJ,CAAC;YACD,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC;gBAAE,SAAS,CAAC,4BAA4B;YAE/D,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YACtC,MAAM,GAAG,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;YAChC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACxB,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;YAC9B,mBAAmB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC9B,KAAK,CAAC,SAAS,EAAE,CAAC;YAClB,IAAI,CAAC,cAAc,EAAE,CAAC;YACtB,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,uBAAa,EAAE,KAAK,CAAC,CAAC;YAC7C,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;YACjC,IAAI,EAAE,KAAK,qBAAW,EAAE,CAAC;gBACvB,gEAAgE;gBAChE,iDAAiD;gBACjD,MAAM,MAAM,GAAG,IAAI,CAAC,uBAAuB,CAAC,EAAE,EAAE,mBAAmB,CAAC,CAAC;gBACrE,OAAO;oBACL,GAAG,EAAE,KAAK;oBACV,SAAS,EAAE,MAAM;oBACjB,iBAAiB,EAAE,MAAM;oBACzB,KAAK;iBACN,CAAC;YACJ,CAAC;QACH,CAAC;QAED,2DAA2D;QAC3D,IAAI,qBAAqB,GAAG,SAAS,CAAC,IAAI,EAAE,CAAC;QAC7C,IAAI,qBAAqB,GAAG,CAAC,CAAC;QAC9B,MAAM,SAAS,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,0BAA0B;QAEjE,MAAM,OAAO,GAAG,IAAI,UAAU,CAAC,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;QAEjD,OAAO,IAAI,EAAE,CAAC;YACZ,IAAI,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC;gBACjD,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,iBAAiB,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC;YACrE,CAAC;YAED,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACvC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACZ,8BAA8B;gBAC9B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAmB,CAAC;gBACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC;oBACvC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;gBAC7D,CAAC;gBACD,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;YACrC,CAAC;YAED,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YACtC,KAAK,CAAC,SAAS,EAAE,CAAC;YAClB,IAAI,CAAC,cAAc,EAAE,CAAC;YACtB,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,YAAY,EAAE,EAAE,uBAAa,EAAE,KAAK,CAAC,CAAC;YAChF,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;YAEjC,OAAO,QAAQ,KAAK,qBAAW,EAAE,CAAC;gBAChC,KAAK,CAAC,SAAS,EAAE,CAAC;gBAClB,IAAI,CAAC,cAAc,EAAE,CAAC;gBACtB,qBAAqB,EAAE,CAAC;gBAExB,IAAI,IAAI,CAAC,YAAY,EAAE,IAAI,SAAS,EAAE,CAAC;oBACrC,2DAA2D;oBAC3D,MAAM,MAAM,GAAG,IAAI,CAAC,uBAAuB,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAC;oBAC3E,OAAO;wBACL,GAAG,EAAE,KAAK;wBACV,SAAS,EAAE,MAAM;wBACjB,iBAAiB,EAAE,MAAM;wBACzB,KAAK;qBACN,CAAC;gBACJ,CAAC;gBAED,MAAM,MAAM,GAAG,IAAA,6BAAmB,EAAC,QAAQ,EAAE;oBAC3C,OAAO,EAAE,IAAI,CAAC,OAAO;oBACrB,KAAK,EAAE,IAAI,CAAC,KAAK;oBACjB,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE;oBACjC,QAAQ,EAAE,IAAI,CAAC,QAAQ;oBACvB,OAAO,EAAE,IAAI,CAAC,OAAO;iBACtB,CAAC,CAAC;gBAEH,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,MAAM;oBAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACpD,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC;gBACvB,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC;gBAExC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,GAAG,CAAC,EAAE,CAAC;oBACtD,yEAAyE;oBACzE,MAAM,MAAM,GAAG,IAAI,CAAC,uBAAuB,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAC;oBAC3E,OAAO;wBACL,GAAG,EAAE,KAAK;wBACV,SAAS,EAAE,MAAM;wBACjB,iBAAiB,EAAE,MAAM;wBACzB,KAAK;qBACN,CAAC;gBACJ,CAAC;gBAED,sEAAsE;gBACtE,sEAAsE;gBACtE,+DAA+D;gBAC/D,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;gBAC/C,IAAI,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC;gBAE1B,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAChC,oEAAoE;oBACpE,+DAA+D;oBAC/D,kEAAkE;oBAClE,mEAAmE;oBACnE,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,uBAAa,EAAE,KAAK,CAAC,EAAE,CAAC;wBAC/D,MAAM,MAAM,GAAG,IAAI,CAAC,uBAAuB,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAC;wBAC3E,OAAO;4BACL,GAAG,EAAE,KAAK;4BACV,SAAS,EAAE,MAAM;4BACjB,iBAAiB,EAAE,MAAM;4BACzB,KAAK;yBACN,CAAC;oBACJ,CAAC;gBACH,CAAC;qBAAM,CAAC;oBACN,MAAM,GAAG,GAAG,IAAA,oBAAU,EAAC,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;oBAC/D,MAAM,KAAK,GAAG,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;oBAClE,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;wBACvD,MAAM,MAAM,GAAG,IAAI,CAAC,uBAAuB,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAC;wBAC3E,OAAO;4BACL,GAAG,EAAE,KAAK;4BACV,SAAS,EAAE,MAAM;4BACjB,iBAAiB,EAAE,MAAM;4BACzB,KAAK;yBACN,CAAC;oBACJ,CAAC;gBACH,CAAC;gBACD,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;YACnC,CAAC;YAED,IAAI,qBAAqB,IAAI,qBAAqB,EAAE,CAAC;gBACnD,KAAK,CAAC,QAAQ,EAAE,CAAC;gBACjB,4DAA4D;gBAC5D,IAAI,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC;gBACjC,qBAAqB,GAAG,CAAC,CAAC;gBAC1B,qBAAqB,GAAG,SAAS,CAAC,IAAI,EAAE,CAAC;YAC3C,CAAC;YAED,IAAI,CAAC,kBAAkB,EAAE,CAAC;QAC5B,CAAC;IACH,CAAC;IAED;;;;;OAKG;IACK,+BAA+B,CAAC,GAAW;QACjD,OAAO,CAAC,GAAG,CAAC,CAAC;IACf,CAAC;IAED;;;;;;;;OAQG;IACK,uBAAuB,CAAC,UAAkB,EAAE,cAAwB;QAC1E,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QAC3C,MAAM,IAAI,GAAG,IAAI,UAAU,CAAC,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;QAC9C,MAAM,KAAK,GAAa,EAAE,CAAC;QAE3B,MAAM,cAAc,GAAG,CAAC,EAAU,EAAQ,EAAE;YAC1C,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YAC3B,IAAI,CAAC,CAAC;gBAAE,OAAO;YACf,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAClC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACzB,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC;oBAAE,SAAS;gBACjC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;gBACZ,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAChB,CAAC;QACH,CAAC,CAAC;QAEF,cAAc,CAAC,UAAU,CAAC,CAAC;QAC3B,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;YACtB,IAAI,CAAC,KAAK,SAAS;gBAAE,MAAM;YAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YAC7B,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,uBAAa,EAAE,CAAC;gBACjD,cAAc,CAAC,IAAI,CAAC,CAAC;YACvB,CAAC;QACH,CAAC;QAED,mEAAmE;QACnE,wDAAwD;QACxD,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;YAC/B,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACtB,IAAI,IAAI,CAAC,CAAC,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC9B,CAAC;QACD,iEAAiE;QACjE,4EAA4E;QAC5E,yDAAyD;QACzD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,cAAc,CAAC,KAAK,EAAE,CAAC;QACvD,OAAO,MAAM,CAAC;IAChB,CAAC;IAEO,kBAAkB;QACxB,MAAM,YAAY,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC;QAC3C,IAAI,YAAY,GAAG,GAAG;YAAE,OAAO;QAC/B,6DAA6D;QAC7D,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE;YAAE,CAAC,CAAC,MAAM,GAAG,KAAK,CAAC;QAC5D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC;YACvC,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YAC7B,IAAI,IAAI,KAAK,uBAAa,IAAI,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzD,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACrC,IAAI,CAAC;oBAAE,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;YACzB,CAAC;QACH,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,GAAG,CACtB,IAAA,+BAAqB,EAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAC3F,CAAC;QACF,IAAI,QAAQ,CAAC,IAAI,KAAK,CAAC;YAAE,OAAO;QAEhC,oEAAoE;QACpE,sEAAsE;QACtE,qEAAqE;QACrE,qEAAqE;QACrE,wEAAwE;QACxE,qEAAqE;QACrE,uEAAuE;QACvE,mEAAmE;QACnE,sEAAsE;QACtE,kEAAkE;QAClE,KAAK,QAAQ,CAAC;IAChB,CAAC;CACF;AAhuBD,0CAguBC"}

package/dist/solver/cdcl-v2-incremental/types.d.ts

@@ -0,0 +1,47 @@
+export interface IncrementalSolveResult {
+    /** True si las cláusulas + assumptions son satisfacibles. */
+    sat: boolean;
+    /** Modelo (sólo si sat). varId 1-indexado → polaridad asignada. */
+    model?: Map<number, boolean>;
+    /** Núcleo UNSAT de assumptions (sólo si !sat y había assumptions). */
+    unsatCore?: number[];
+    /** Subconjunto de assumptions que provocó el conflicto. Igual a unsatCore en v1. */
+    failedAssumptions?: number[];
+    /** Estadísticas acumuladas durante esta llamada. */
+    stats: IncrementalStats;
+}
+export interface IncrementalStats {
+    /** Decisiones tomadas en esta llamada. */
+    decisions: number;
+    /** Conflictos resueltos en esta llamada. */
+    conflicts: number;
+    /** Cláusulas aprendidas añadidas en esta llamada. */
+    learned: number;
+    /** Propagaciones aplicadas en esta llamada. */
+    propagations: number;
+    /** Restarts ejecutados en esta llamada. */
+    restarts: number;
+}
+export interface SolverSummary {
+    /** Decisiones acumuladas en todas las queries. */
+    decisions: number;
+    /** Conflictos acumulados. */
+    conflicts: number;
+    /** Cláusulas aprendidas vivas (no descartadas por pop ni reducción). */
+    learned: number;
+    /** Variables actualmente declaradas. */
+    vars: number;
+    /** Cláusulas vivas (originales + aprendidas, no eliminadas). */
+    clauses: number;
+}
+export interface IncrementalSolverOptions {
+    /** Timeout total por llamada a solve(). Default 30s. */
+    timeoutMs?: number;
+    /** Decay multiplicativo VSIDS (entre 0 y 1). Default 0.95. */
+    vsidsDecay?: number;
+    /** Multiplicador secuencia Luby para restarts. Default 100. */
+    lubyBase?: number;
+    /** Fase inicial sugerida (0 = falso, 1 = verdadero). Default 0. */
+    initialPhase?: 0 | 1;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/solver/cdcl-v2-incremental/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/solver/cdcl-v2-incremental/types.ts"],"names":[],"mappings":"AAWA,MAAM,WAAW,sBAAsB;IACrC,6DAA6D;IAC7D,GAAG,EAAE,OAAO,CAAC;IACb,mEAAmE;IACnE,KAAK,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC7B,sEAAsE;IACtE,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;IACrB,oFAAoF;IACpF,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7B,oDAAoD;IACpD,KAAK,EAAE,gBAAgB,CAAC;CACzB;AAED,MAAM,WAAW,gBAAgB;IAC/B,0CAA0C;IAC1C,SAAS,EAAE,MAAM,CAAC;IAClB,4CAA4C;IAC5C,SAAS,EAAE,MAAM,CAAC;IAClB,qDAAqD;IACrD,OAAO,EAAE,MAAM,CAAC;IAChB,+CAA+C;IAC/C,YAAY,EAAE,MAAM,CAAC;IACrB,2CAA2C;IAC3C,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,aAAa;IAC5B,kDAAkD;IAClD,SAAS,EAAE,MAAM,CAAC;IAClB,6BAA6B;IAC7B,SAAS,EAAE,MAAM,CAAC;IAClB,wEAAwE;IACxE,OAAO,EAAE,MAAM,CAAC;IAChB,wCAAwC;IACxC,IAAI,EAAE,MAAM,CAAC;IACb,gEAAgE;IAChE,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,wBAAwB;IACvC,wDAAwD;IACxD,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,8DAA8D;IAC9D,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,+DAA+D;IAC/D,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,mEAAmE;IACnE,YAAY,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;CACtB"}

package/dist/solver/cdcl-v2-incremental/types.js

@@ -0,0 +1,13 @@
+"use strict";
+// Tipos públicos del solver CDCL incremental.
+//
+// La diferencia conceptual con `solveCDCLv2` (one-shot) es que aquí el solver
+// es un objeto vivo: se le agregan cláusulas, se llama `solve()` varias veces,
+// y mantiene su pool de cláusulas aprendidas + heurísticas entre llamadas.
+//
+// Los `assumptions` son literales que se asumen `true` para una única query.
+// Si la query es UNSAT bajo esas asumptions, se devuelve el subconjunto
+// `failedAssumptions` que causó el conflicto (subset minimal del prefix
+// derivado en O(|trail|)). Eso es la base de MUS extraction y debugging.
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=types.js.map

package/dist/solver/cdcl-v2-incremental/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/solver/cdcl-v2-incremental/types.ts"],"names":[],"mappings":";AAAA,8CAA8C;AAC9C,EAAE;AACF,8EAA8E;AAC9E,+EAA+E;AAC/E,2EAA2E;AAC3E,EAAE;AACF,6EAA6E;AAC7E,wEAAwE;AACxE,wEAAwE;AACxE,yEAAyE"}

package/dist/tests/abduction/abduction.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=abduction.test.d.ts.map

package/dist/tests/abduction/abduction.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"abduction.test.d.ts","sourceRoot":"","sources":["../../../src/tests/abduction/abduction.test.ts"],"names":[],"mappings":""}

package/dist/tests/abduction/abduction.test.js

@@ -0,0 +1,380 @@
+"use strict";
+// ============================================================
+// ST Abduction — Tests
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const abduction_1 = require("../../runtime/abduction");
+// ── Helpers para tests con oráculo custom ────────────────────
+//
+// Un oráculo "set-based" trivial: las premisas son tratadas como un
+// set de strings; entails sii target ∈ closure(premises) bajo un set
+// de reglas dadas como pares (lhs[]) → rhs.
+function makeRuleEntails(rules) {
+    return (premises, target) => {
+        const facts = new Set(premises);
+        let changed = true;
+        let iter = 0;
+        while (changed && iter < 1000) {
+            changed = false;
+            iter++;
+            for (const r of rules) {
+                if (r.premises.every((p) => facts.has(p)) && !facts.has(r.conclusion)) {
+                    facts.add(r.conclusion);
+                    changed = true;
+                }
+            }
+        }
+        return facts.has(target);
+    };
+}
+// ── Test 1: caso canónico bird(x) → fly(x), observe fly(tweety) ──
+(0, vitest_1.describe)('abduction — caso canónico bird→fly', () => {
+    (0, vitest_1.it)('bird(tweety) explica fly(tweety)', () => {
+        const problem = {
+            kb: ['bird(x) → fly(x)'],
+            observation: 'fly(tweety)',
+            abducibles: ['bird(tweety)'],
+        };
+        const expls = (0, abduction_1.findExplanations)(problem);
+        (0, vitest_1.expect)(expls).toHaveLength(1);
+        const e0 = expls[0];
+        (0, vitest_1.expect)(e0).toBeDefined();
+        if (!e0)
+            return;
+        (0, vitest_1.expect)(e0.hypotheses).toEqual(['bird(tweety)']);
+        (0, vitest_1.expect)(e0.size).toBe(1);
+        (0, vitest_1.expect)(e0.parsimonious).toBe(true);
+    });
+    (0, vitest_1.it)('bestExplanation devuelve la única solución', () => {
+        const problem = {
+            kb: ['bird(x) → fly(x)'],
+            observation: 'fly(tweety)',
+            abducibles: ['bird(tweety)', 'sparrow(tweety)'],
+        };
+        const best = (0, abduction_1.bestExplanation)(problem);
+        (0, vitest_1.expect)(best).not.toBeNull();
+        (0, vitest_1.expect)(best?.hypotheses).toEqual(['bird(tweety)']);
+    });
+});
+// ── Test 2: múltiples explicaciones, preferencia minimum-cardinality ──
+(0, vitest_1.describe)('abduction — preferencia minimum-cardinality', () => {
+    // KB:
+    //   has_cough ∧ has_fever → flu
+    //   flu_short → flu                (un único hecho ya basta)
+    // Observation: flu
+    // Abducibles: [has_cough, has_fever, flu_short]
+    //
+    // Explicaciones: {flu_short} (size 1), {has_cough, has_fever} (size 2).
+    // minimum-cardinality debe devolver solo {flu_short}.
+    const kb = ['has_cough ∧ has_fever → flu', 'flu_short → flu'];
+    const abducibles = ['has_cough', 'has_fever', 'flu_short'];
+    const problem = { kb, observation: 'flu', abducibles };
+    (0, vitest_1.it)('preferred=all devuelve todas (incluye supersets)', () => {
+        const expls = (0, abduction_1.findExplanations)(problem, { preferred: 'all' });
+        // Hay al menos las dos minimal: {flu_short} y {has_cough, has_fever}.
+        const minimal = expls.filter((e) => e.parsimonious);
+        const minimalSizes = minimal.map((e) => e.size).sort();
+        (0, vitest_1.expect)(minimalSizes).toEqual([1, 2]);
+        // El total puede incluir supersets no parsimoniosos.
+        (0, vitest_1.expect)(expls.length).toBeGreaterThanOrEqual(2);
+    });
+    (0, vitest_1.it)('preferred=minimal filtra a las dos parsimoniosas', () => {
+        const expls = (0, abduction_1.findExplanations)(problem, { preferred: 'minimal' });
+        const sizes = expls.map((e) => e.size).sort();
+        (0, vitest_1.expect)(sizes).toEqual([1, 2]);
+        (0, vitest_1.expect)(expls.every((e) => e.parsimonious)).toBe(true);
+    });
+    (0, vitest_1.it)('preferred=minimum-cardinality devuelve la pequeña', () => {
+        const expls = (0, abduction_1.findExplanations)(problem, { preferred: 'minimum-cardinality' });
+        (0, vitest_1.expect)(expls).toHaveLength(1);
+        const e0 = expls[0];
+        if (!e0)
+            return;
+        (0, vitest_1.expect)(e0.hypotheses).toEqual(['flu_short']);
+        (0, vitest_1.expect)(e0.size).toBe(1);
+    });
+});
+// ── Test 3: costFunction define preferencia ──────────────────
+(0, vitest_1.describe)('abduction — preferencia minimum-cost', () => {
+    // Dos explicaciones de igual tamaño con costos distintos.
+    // KB: cause_a → symptom; cause_b → symptom.
+    // Abducibles: [cause_a, cause_b]
+    // Costs: cause_a = 5, cause_b = 1
+    // → minimum-cost debe preferir cause_b.
+    const kb = ['cause_a → symptom', 'cause_b → symptom'];
+    const abducibles = ['cause_a', 'cause_b'];
+    const problem = { kb, observation: 'symptom', abducibles };
+    const costFunction = (h) => (h === 'cause_a' ? 5 : 1);
+    (0, vitest_1.it)('minimum-cost selecciona cause_b', () => {
+        const expls = (0, abduction_1.findExplanations)(problem, {
+            costFunction,
+            preferred: 'minimum-cost',
+        });
+        (0, vitest_1.expect)(expls).toHaveLength(1);
+        const e0 = expls[0];
+        if (!e0)
+            return;
+        (0, vitest_1.expect)(e0.hypotheses).toEqual(['cause_b']);
+        (0, vitest_1.expect)(e0.costScore).toBe(1);
+    });
+    (0, vitest_1.it)('bestExplanation con costFunction usa minimum-cost por default', () => {
+        const best = (0, abduction_1.bestExplanation)(problem, { costFunction });
+        (0, vitest_1.expect)(best?.hypotheses).toEqual(['cause_b']);
+        (0, vitest_1.expect)(best?.costScore).toBe(1);
+    });
+});
+// ── Test 4: hipótesis inconsistente rechazada ────────────────
+(0, vitest_1.describe)('abduction — rechaza hipótesis inconsistente', () => {
+    (0, vitest_1.it)('no devuelve H que contradice KB', () => {
+        // KB: ¬p (de hecho fijo). Abducible: p. Observación: q.
+        // {p} es inconsistente con KB → no debe ser explicación.
+        // Como no hay forma de explicar q, no hay explicaciones.
+        const problem = {
+            kb: ['¬p'],
+            observation: 'q',
+            abducibles: ['p'],
+        };
+        const expls = (0, abduction_1.findExplanations)(problem);
+        (0, vitest_1.expect)(expls).toHaveLength(0);
+    });
+    (0, vitest_1.it)('elige H consistente cuando hay otra opción', () => {
+        // KB: ¬p, q_via_r → q
+        // Abducibles: p, q_via_r
+        // {q_via_r} consistent y entails q → única explicación.
+        const problem = {
+            kb: ['¬p', 'q_via_r → q'],
+            observation: 'q',
+            abducibles: ['p', 'q_via_r'],
+        };
+        const expls = (0, abduction_1.findExplanations)(problem);
+        (0, vitest_1.expect)(expls).toHaveLength(1);
+        const e0 = expls[0];
+        if (!e0)
+            return;
+        (0, vitest_1.expect)(e0.hypotheses).toEqual(['q_via_r']);
+    });
+});
+// ── Test 5: observación ya implicada por KB ──────────────────
+(0, vitest_1.describe)('abduction — KB ya implica O', () => {
+    (0, vitest_1.it)('devuelve explicación vacía cuando KB ⊨ O', () => {
+        // KB ya contiene la observación como hecho.
+        const problem = {
+            kb: ['daylight'],
+            observation: 'daylight',
+            abducibles: ['sun_up'],
+        };
+        const expls = (0, abduction_1.findExplanations)(problem);
+        (0, vitest_1.expect)(expls.length).toBeGreaterThan(0);
+        const empty = expls.find((e) => e.size === 0);
+        (0, vitest_1.expect)(empty).toBeDefined();
+        (0, vitest_1.expect)(empty?.parsimonious).toBe(true);
+    });
+});
+// ── Test 6: sin explicación posible ──────────────────────────
+(0, vitest_1.describe)('abduction — sin explicación', () => {
+    (0, vitest_1.it)('devuelve [] cuando ningún subset explica O', () => {
+        // KB no conecta abducibles con la observación.
+        const problem = {
+            kb: ['a → b'],
+            observation: 'unrelated',
+            abducibles: ['a', 'b', 'c'],
+        };
+        const expls = (0, abduction_1.findExplanations)(problem);
+        (0, vitest_1.expect)(expls).toHaveLength(0);
+        (0, vitest_1.expect)((0, abduction_1.bestExplanation)(problem)).toBeNull();
+    });
+});
+// ── Test 7: parsimony — supersets no son parsimoniosos ───────
+(0, vitest_1.describe)('abduction — parsimony por inclusión', () => {
+    (0, vitest_1.it)('preferred=all marca correctamente parsimonious', () => {
+        // KB: a → o
+        // Abducibles: [a, b]
+        // Explicaciones: {a} y {a,b}. {a,b} no es parsimoniosa (⊃ {a}).
+        const problem = {
+            kb: ['a → o'],
+            observation: 'o',
+            abducibles: ['a', 'b'],
+        };
+        const expls = (0, abduction_1.findExplanations)(problem, { preferred: 'all' });
+        const singleA = expls.find((e) => e.hypotheses.length === 1 && e.hypotheses[0] === 'a');
+        const pair = expls.find((e) => e.hypotheses.length === 2);
+        (0, vitest_1.expect)(singleA?.parsimonious).toBe(true);
+        (0, vitest_1.expect)(pair?.parsimonious).toBe(false);
+    });
+    (0, vitest_1.it)('preferred=minimal filtra los no parsimoniosos', () => {
+        const problem = {
+            kb: ['a → o'],
+            observation: 'o',
+            abducibles: ['a', 'b'],
+        };
+        const expls = (0, abduction_1.findExplanations)(problem, { preferred: 'minimal' });
+        (0, vitest_1.expect)(expls).toHaveLength(1);
+        const e0 = expls[0];
+        if (!e0)
+            return;
+        (0, vitest_1.expect)(e0.hypotheses).toEqual(['a']);
+    });
+});
+// ── Test 8: cadena de implicación profunda ───────────────────
+(0, vitest_1.describe)('abduction — cadenas de implicaciones', () => {
+    (0, vitest_1.it)('explica a través de cadena Horn de profundidad 3', () => {
+        // a → b, b → c, c → d. Observation: d. Abducible: a.
+        const problem = {
+            kb: ['a → b', 'b → c', 'c → d'],
+            observation: 'd',
+            abducibles: ['a'],
+        };
+        const expls = (0, abduction_1.findExplanations)(problem);
+        (0, vitest_1.expect)(expls).toHaveLength(1);
+        const e0 = expls[0];
+        if (!e0)
+            return;
+        (0, vitest_1.expect)(e0.hypotheses).toEqual(['a']);
+    });
+});
+// ── Test 9: maxSize acota el espacio ─────────────────────────
+(0, vitest_1.describe)('abduction — maxSize cap', () => {
+    (0, vitest_1.it)('respeta maxSize=1 y no encuentra explicaciones de tamaño 2', () => {
+        // Solo {a,b} conjuntos explica o; ningún singleton lo logra.
+        const problem = {
+            kb: ['a ∧ b → o'],
+            observation: 'o',
+            abducibles: ['a', 'b'],
+        };
+        // Sin cap: encuentra {a,b}.
+        const all = (0, abduction_1.findExplanations)(problem);
+        (0, vitest_1.expect)(all).toHaveLength(1);
+        // Con maxSize=1: nada.
+        const capped = (0, abduction_1.findExplanations)(problem, { maxSize: 1 });
+        (0, vitest_1.expect)(capped).toHaveLength(0);
+    });
+});
+// ── Test 10: oráculo custom (independencia del default) ─────
+(0, vitest_1.describe)('abduction — oráculo de entailment custom', () => {
+    (0, vitest_1.it)('soporta oráculo set-based externo', () => {
+        const entails = makeRuleEntails([
+            { premises: ['rain'], conclusion: 'wet_ground' },
+            { premises: ['sprinkler'], conclusion: 'wet_ground' },
+        ]);
+        const problem = {
+            kb: [],
+            observation: 'wet_ground',
+            abducibles: ['rain', 'sprinkler'],
+        };
+        const expls = (0, abduction_1.findExplanations)(problem, {
+            entails,
+            consistent: () => true,
+            preferred: 'all',
+        });
+        const sizes = expls.map((e) => e.size).sort();
+        (0, vitest_1.expect)(sizes).toEqual([1, 1, 2]); // {rain}, {sprinkler}, {rain,sprinkler}
+        const minimal = expls.filter((e) => e.parsimonious);
+        (0, vitest_1.expect)(minimal).toHaveLength(2); // {rain} y {sprinkler}
+    });
+    (0, vitest_1.it)('multiple minimal explanations con minimum-cardinality', () => {
+        const entails = makeRuleEntails([
+            { premises: ['rain'], conclusion: 'wet_ground' },
+            { premises: ['sprinkler'], conclusion: 'wet_ground' },
+        ]);
+        const problem = {
+            kb: [],
+            observation: 'wet_ground',
+            abducibles: ['rain', 'sprinkler'],
+        };
+        const expls = (0, abduction_1.findExplanations)(problem, {
+            entails,
+            consistent: () => true,
+            preferred: 'minimum-cardinality',
+        });
+        (0, vitest_1.expect)(expls).toHaveLength(2);
+        (0, vitest_1.expect)(expls.every((e) => e.size === 1)).toBe(true);
+    });
+});
+// ── Test 11: bestExplanation tiebreak determinista ───────────
+(0, vitest_1.describe)('abduction — bestExplanation determinismo', () => {
+    (0, vitest_1.it)('dos corridas devuelven el mismo resultado', () => {
+        const problem = {
+            kb: ['a → o', 'b → o', 'c → o'],
+            observation: 'o',
+            abducibles: ['a', 'b', 'c'],
+        };
+        const b1 = (0, abduction_1.bestExplanation)(problem);
+        const b2 = (0, abduction_1.bestExplanation)(problem);
+        (0, vitest_1.expect)(b1?.hypotheses).toEqual(b2?.hypotheses);
+    });
+});
+// ── Test 12: oráculo de consistencia rechaza ⊥ ──────────────
+(0, vitest_1.describe)('abduction — defaultConsistent detecta ¬p ∧ p', () => {
+    (0, vitest_1.it)('KB con p y ¬p reporta inconsistente', () => {
+        const consistent = (0, abduction_1.defaultConsistent)();
+        (0, vitest_1.expect)(consistent(['p', '¬p'])).toBe(false);
+        (0, vitest_1.expect)(consistent(['p', 'q'])).toBe(true);
+    });
+    (0, vitest_1.it)('inconsistencia derivada por forward-chaining', () => {
+        const consistent = (0, abduction_1.defaultConsistent)();
+        // p, p → ¬q, q  ⇒  ¬q ∧ q.
+        (0, vitest_1.expect)(consistent(['p', 'p → ¬q', 'q'])).toBe(false);
+    });
+});
+// ── Test 13: defaultEntails con cadenas y unificación ───────
+(0, vitest_1.describe)('abduction — defaultEntails básico', () => {
+    (0, vitest_1.it)('forward-chaining sin variables', () => {
+        const entails = (0, abduction_1.defaultEntails)();
+        (0, vitest_1.expect)(entails(['a', 'a → b'], 'b')).toBe(true);
+        (0, vitest_1.expect)(entails(['a → b'], 'b')).toBe(false);
+    });
+    (0, vitest_1.it)('forward-chaining con variable única', () => {
+        const entails = (0, abduction_1.defaultEntails)();
+        (0, vitest_1.expect)(entails(['p(alice)', 'p(x) → q(x)'], 'q(alice)')).toBe(true);
+        (0, vitest_1.expect)(entails(['p(alice)', 'p(x) → q(x)'], 'q(bob)')).toBe(false);
+    });
+    (0, vitest_1.it)('forward-chaining con dos variables', () => {
+        const entails = (0, abduction_1.defaultEntails)();
+        (0, vitest_1.expect)(entails(['parent(alice, bob)', 'parent(x, y) → ancestor(x, y)'], 'ancestor(alice, bob)')).toBe(true);
+    });
+});
+// ── Test 14: maxHypotheses limita el tamaño del output ──────
+(0, vitest_1.describe)('abduction — maxHypotheses cap', () => {
+    (0, vitest_1.it)('no devuelve más explicaciones que maxHypotheses', () => {
+        // Muchas hipótesis posibles individuales.
+        const kb = ['a → o', 'b → o', 'c → o', 'd → o'];
+        const abducibles = ['a', 'b', 'c', 'd'];
+        const problem = { kb, observation: 'o', abducibles };
+        const expls = (0, abduction_1.findExplanations)(problem, { maxHypotheses: 2, preferred: 'all' });
+        (0, vitest_1.expect)(expls.length).toBeLessThanOrEqual(2);
+    });
+});
+// ── Test 15: diagnóstico con costos asimétricos ─────────────
+(0, vitest_1.describe)('abduction — diagnóstico médico de juguete', () => {
+    // KB:
+    //   flu → fever
+    //   covid → fever
+    //   covid → cough
+    //   bacterial → fever
+    // Observación: fever.
+    // Abducibles: flu, covid, bacterial.
+    // Sin cost: las tres son explicaciones single-element parsimoniosas.
+    // Con cost: flu=1, bacterial=2, covid=10 → flu es la best.
+    const kb = ['flu → fever', 'covid → fever', 'covid → cough', 'bacterial → fever'];
+    const abducibles = ['flu', 'covid', 'bacterial'];
+    (0, vitest_1.it)('sin cost, 3 minimal explanations', () => {
+        const problem = { kb, observation: 'fever', abducibles };
+        const expls = (0, abduction_1.findExplanations)(problem, { preferred: 'minimum-cardinality' });
+        (0, vitest_1.expect)(expls).toHaveLength(3);
+        (0, vitest_1.expect)(expls.every((e) => e.size === 1)).toBe(true);
+    });
+    (0, vitest_1.it)('con cost, flu gana', () => {
+        const problem = { kb, observation: 'fever', abducibles };
+        const cost = (h) => {
+            if (h === 'flu')
+                return 1;
+            if (h === 'bacterial')
+                return 2;
+            return 10;
+        };
+        const best = (0, abduction_1.bestExplanation)(problem, { costFunction: cost });
+        (0, vitest_1.expect)(best?.hypotheses).toEqual(['flu']);
+    });
+});
+//# sourceMappingURL=abduction.test.js.map

package/dist/tests/abduction/abduction.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"abduction.test.js","sourceRoot":"","sources":["../../../src/tests/abduction/abduction.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,uBAAuB;AACvB,+DAA+D;;AAE/D,mCAA8C;AAC9C,uDAQiC;AAEjC,gEAAgE;AAChE,EAAE;AACF,oEAAoE;AACpE,qEAAqE;AACrE,4CAA4C;AAE5C,SAAS,eAAe,CACtB,KAAgE;IAEhE,OAAO,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE;QAC1B,MAAM,KAAK,GAAG,IAAI,GAAG,CAAS,QAAQ,CAAC,CAAC;QACxC,IAAI,OAAO,GAAG,IAAI,CAAC;QACnB,IAAI,IAAI,GAAG,CAAC,CAAC;QACb,OAAO,OAAO,IAAI,IAAI,GAAG,IAAI,EAAE,CAAC;YAC9B,OAAO,GAAG,KAAK,CAAC;YAChB,IAAI,EAAE,CAAC;YACP,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;gBACtB,IAAI,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC;oBACtE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;oBACxB,OAAO,GAAG,IAAI,CAAC;gBACjB,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC3B,CAAC,CAAC;AACJ,CAAC;AAED,oEAAoE;AAEpE,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,OAAO,GAAqB;YAChC,EAAE,EAAE,CAAC,kBAAkB,CAAC;YACxB,WAAW,EAAE,aAAa;YAC1B,UAAU,EAAE,CAAC,cAAc,CAAC;SAC7B,CAAC;QACF,MAAM,KAAK,GAAG,IAAA,4BAAgB,EAAC,OAAO,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACpB,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;QACzB,IAAI,CAAC,EAAE;YAAE,OAAO;QAChB,IAAA,eAAM,EAAC,EAAE,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,EAAE,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,OAAO,GAAqB;YAChC,EAAE,EAAE,CAAC,kBAAkB,CAAC;YACxB,WAAW,EAAE,aAAa;YAC1B,UAAU,EAAE,CAAC,cAAc,EAAE,iBAAiB,CAAC;SAChD,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,2BAAe,EAAC,OAAO,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC5B,IAAA,eAAM,EAAC,IAAI,EAAE,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,yEAAyE;AAEzE,IAAA,iBAAQ,EAAC,6CAA6C,EAAE,GAAG,EAAE;IAC3D,MAAM;IACN,gCAAgC;IAChC,6DAA6D;IAC7D,mBAAmB;IACnB,gDAAgD;IAChD,EAAE;IACF,wEAAwE;IACxE,sDAAsD;IACtD,MAAM,EAAE,GAAG,CAAC,6BAA6B,EAAE,iBAAiB,CAAC,CAAC;IAC9D,MAAM,UAAU,GAAG,CAAC,WAAW,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;IAC3D,MAAM,OAAO,GAAqB,EAAE,EAAE,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC;IAEzE,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,KAAK,GAAG,IAAA,4BAAgB,EAAC,OAAO,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;QAC9D,sEAAsE;QACtE,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;QACpD,MAAM,YAAY,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;QACvD,IAAA,eAAM,EAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACrC,qDAAqD;QACrD,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,KAAK,GAAG,IAAA,4BAAgB,EAAC,OAAO,EAAE,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,CAAC;QAClE,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;QAC9C,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,KAAK,GAAG,IAAA,4BAAgB,EAAC,OAAO,EAAE,EAAE,SAAS,EAAE,qBAAqB,EAAE,CAAC,CAAC;QAC9E,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACpB,IAAI,CAAC,EAAE;YAAE,OAAO;QAChB,IAAA,eAAM,EAAC,EAAE,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,0DAA0D;IAC1D,4CAA4C;IAC5C,iCAAiC;IACjC,kCAAkC;IAClC,wCAAwC;IACxC,MAAM,EAAE,GAAG,CAAC,mBAAmB,EAAE,mBAAmB,CAAC,CAAC;IACtD,MAAM,UAAU,GAAG,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;IAC1C,MAAM,OAAO,GAAqB,EAAE,EAAE,EAAE,WAAW,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC;IAE7E,MAAM,YAAY,GAAG,CAAC,CAAU,EAAU,EAAE,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAEvE,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,KAAK,GAAG,IAAA,4BAAgB,EAAC,OAAO,EAAE;YACtC,YAAY;YACZ,SAAS,EAAE,cAAc;SAC1B,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACpB,IAAI,CAAC,EAAE;YAAE,OAAO;QAChB,IAAA,eAAM,EAAC,EAAE,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,IAAI,GAAG,IAAA,2BAAe,EAAC,OAAO,EAAE,EAAE,YAAY,EAAE,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,IAAI,EAAE,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAI,EAAE,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,6CAA6C,EAAE,GAAG,EAAE;IAC3D,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,wDAAwD;QACxD,yDAAyD;QACzD,yDAAyD;QACzD,MAAM,OAAO,GAAqB;YAChC,EAAE,EAAE,CAAC,IAAI,CAAC;YACV,WAAW,EAAE,GAAG;YAChB,UAAU,EAAE,CAAC,GAAG,CAAC;SAClB,CAAC;QACF,MAAM,KAAK,GAAG,IAAA,4BAAgB,EAAC,OAAO,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,sBAAsB;QACtB,yBAAyB;QACzB,wDAAwD;QACxD,MAAM,OAAO,GAAqB;YAChC,EAAE,EAAE,CAAC,IAAI,EAAE,aAAa,CAAC;YACzB,WAAW,EAAE,GAAG;YAChB,UAAU,EAAE,CAAC,GAAG,EAAE,SAAS,CAAC;SAC7B,CAAC;QACF,MAAM,KAAK,GAAG,IAAA,4BAAgB,EAAC,OAAO,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACpB,IAAI,CAAC,EAAE;YAAE,OAAO;QAChB,IAAA,eAAM,EAAC,EAAE,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,4CAA4C;QAC5C,MAAM,OAAO,GAAqB;YAChC,EAAE,EAAE,CAAC,UAAU,CAAC;YAChB,WAAW,EAAE,UAAU;YACvB,UAAU,EAAE,CAAC,QAAQ,CAAC;SACvB,CAAC;QACF,MAAM,KAAK,GAAG,IAAA,4BAAgB,EAAC,OAAO,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACxC,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;QAC5B,IAAA,eAAM,EAAC,KAAK,EAAE,YAAY,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,+CAA+C;QAC/C,MAAM,OAAO,GAAqB;YAChC,EAAE,EAAE,CAAC,OAAO,CAAC;YACb,WAAW,EAAE,WAAW;YACxB,UAAU,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;SAC5B,CAAC;QACF,MAAM,KAAK,GAAG,IAAA,4BAAgB,EAAC,OAAO,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,2BAAe,EAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,YAAY;QACZ,qBAAqB;QACrB,gEAAgE;QAChE,MAAM,OAAO,GAAqB;YAChC,EAAE,EAAE,CAAC,OAAO,CAAC;YACb,WAAW,EAAE,GAAG;YAChB,UAAU,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;SACvB,CAAC;QACF,MAAM,KAAK,GAAG,IAAA,4BAAgB,EAAC,OAAO,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;QAC9D,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC;QACxF,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,OAAO,EAAE,YAAY,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,IAAI,EAAE,YAAY,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,OAAO,GAAqB;YAChC,EAAE,EAAE,CAAC,OAAO,CAAC;YACb,WAAW,EAAE,GAAG;YAChB,UAAU,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;SACvB,CAAC;QACF,MAAM,KAAK,GAAG,IAAA,4BAAgB,EAAC,OAAO,EAAE,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,CAAC;QAClE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACpB,IAAI,CAAC,EAAE;YAAE,OAAO;QAChB,IAAA,eAAM,EAAC,EAAE,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,qDAAqD;QACrD,MAAM,OAAO,GAAqB;YAChC,EAAE,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC;YAC/B,WAAW,EAAE,GAAG;YAChB,UAAU,EAAE,CAAC,GAAG,CAAC;SAClB,CAAC;QACF,MAAM,KAAK,GAAG,IAAA,4BAAgB,EAAC,OAAO,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACpB,IAAI,CAAC,EAAE;YAAE,OAAO;QAChB,IAAA,eAAM,EAAC,EAAE,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,6DAA6D;QAC7D,MAAM,OAAO,GAAqB;YAChC,EAAE,EAAE,CAAC,WAAW,CAAC;YACjB,WAAW,EAAE,GAAG;YAChB,UAAU,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;SACvB,CAAC;QACF,4BAA4B;QAC5B,MAAM,GAAG,GAAG,IAAA,4BAAgB,EAAC,OAAO,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5B,uBAAuB;QACvB,MAAM,MAAM,GAAG,IAAA,4BAAgB,EAAC,OAAO,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,0CAA0C,EAAE,GAAG,EAAE;IACxD,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,OAAO,GAAG,eAAe,CAAC;YAC9B,EAAE,QAAQ,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,YAAY,EAAE;YAChD,EAAE,QAAQ,EAAE,CAAC,WAAW,CAAC,EAAE,UAAU,EAAE,YAAY,EAAE;SACtD,CAAC,CAAC;QACH,MAAM,OAAO,GAAqB;YAChC,EAAE,EAAE,EAAE;YACN,WAAW,EAAE,YAAY;YACzB,UAAU,EAAE,CAAC,MAAM,EAAE,WAAW,CAAC;SAClC,CAAC;QACF,MAAM,KAAK,GAAG,IAAA,4BAAgB,EAAC,OAAO,EAAE;YACtC,OAAO;YACP,UAAU,EAAE,GAAG,EAAE,CAAC,IAAI;YACtB,SAAS,EAAE,KAAK;SACjB,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;QAC9C,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,wCAAwC;QAC1E,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,uBAAuB;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,OAAO,GAAG,eAAe,CAAC;YAC9B,EAAE,QAAQ,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,YAAY,EAAE;YAChD,EAAE,QAAQ,EAAE,CAAC,WAAW,CAAC,EAAE,UAAU,EAAE,YAAY,EAAE;SACtD,CAAC,CAAC;QACH,MAAM,OAAO,GAAqB;YAChC,EAAE,EAAE,EAAE;YACN,WAAW,EAAE,YAAY;YACzB,UAAU,EAAE,CAAC,MAAM,EAAE,WAAW,CAAC;SAClC,CAAC;QACF,MAAM,KAAK,GAAG,IAAA,4BAAgB,EAAC,OAAO,EAAE;YACtC,OAAO;YACP,UAAU,EAAE,GAAG,EAAE,CAAC,IAAI;YACtB,SAAS,EAAE,qBAAqB;SACjC,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,0CAA0C,EAAE,GAAG,EAAE;IACxD,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,OAAO,GAAqB;YAChC,EAAE,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC;YAC/B,WAAW,EAAE,GAAG;YAChB,UAAU,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;SAC5B,CAAC;QACF,MAAM,EAAE,GAAG,IAAA,2BAAe,EAAC,OAAO,CAAC,CAAC;QACpC,MAAM,EAAE,GAAG,IAAA,2BAAe,EAAC,OAAO,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,EAAE,EAAE,UAAU,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,8CAA8C,EAAE,GAAG,EAAE;IAC5D,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,UAAU,GAAG,IAAA,6BAAiB,GAAE,CAAC;QACvC,IAAA,eAAM,EAAC,UAAU,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,UAAU,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,UAAU,GAAG,IAAA,6BAAiB,GAAE,CAAC;QACvC,2BAA2B;QAC3B,IAAA,eAAM,EAAC,UAAU,CAAC,CAAC,GAAG,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,OAAO,GAAG,IAAA,0BAAc,GAAE,CAAC;QACjC,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,OAAO,GAAG,IAAA,0BAAc,GAAE,CAAC;QACjC,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,UAAU,EAAE,aAAa,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,UAAU,EAAE,aAAa,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,OAAO,GAAG,IAAA,0BAAc,GAAE,CAAC;QACjC,IAAA,eAAM,EACJ,OAAO,CAAC,CAAC,oBAAoB,EAAE,+BAA+B,CAAC,EAAE,sBAAsB,CAAC,CACzF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACf,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,0CAA0C;QAC1C,MAAM,EAAE,GAAG,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;QAChD,MAAM,UAAU,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACxC,MAAM,OAAO,GAAqB,EAAE,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC;QACvE,MAAM,KAAK,GAAG,IAAA,4BAAgB,EAAC,OAAO,EAAE,EAAE,aAAa,EAAE,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;QAChF,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,2CAA2C,EAAE,GAAG,EAAE;IACzD,MAAM;IACN,gBAAgB;IAChB,kBAAkB;IAClB,kBAAkB;IAClB,sBAAsB;IACtB,sBAAsB;IACtB,qCAAqC;IACrC,qEAAqE;IACrE,2DAA2D;IAC3D,MAAM,EAAE,GAAG,CAAC,aAAa,EAAE,eAAe,EAAE,eAAe,EAAE,mBAAmB,CAAC,CAAC;IAClF,MAAM,UAAU,GAAG,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;IAEjD,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,OAAO,GAAqB,EAAE,EAAE,EAAE,WAAW,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;QAC3E,MAAM,KAAK,GAAG,IAAA,4BAAgB,EAAC,OAAO,EAAE,EAAE,SAAS,EAAE,qBAAqB,EAAE,CAAC,CAAC;QAC9E,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,OAAO,GAAqB,EAAE,EAAE,EAAE,WAAW,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;QAC3E,MAAM,IAAI,GAAG,CAAC,CAAU,EAAU,EAAE;YAClC,IAAI,CAAC,KAAK,KAAK;gBAAE,OAAO,CAAC,CAAC;YAC1B,IAAI,CAAC,KAAK,WAAW;gBAAE,OAAO,CAAC,CAAC;YAChC,OAAO,EAAE,CAAC;QACZ,CAAC,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,2BAAe,EAAC,OAAO,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,IAAI,EAAE,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/bayesian/bayesian.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=bayesian.test.d.ts.map

package/dist/tests/bayesian/bayesian.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"bayesian.test.d.ts","sourceRoot":"","sources":["../../../src/tests/bayesian/bayesian.test.ts"],"names":[],"mappings":""}