@stevenvo780/st-lang 4.9.0 → 4.10.0

package/dist/reasoning/topology/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/reasoning/topology/index.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,mDAAmD;AACnD,+DAA+D;AAC/D,EAAE;AACF,kEAAkE;AAClE,qEAAqE;AACrE,+DAA+D;AAC/D,EAAE;AACF,gBAAgB;AAChB,qEAAqE;AACrE,qEAAqE;AACrE,kCAAkC;AAClC,sEAAsE;AACtE,wCAAwC;AACxC,kEAAkE;AAClE,iEAAiE;AACjE,yEAAyE;AACzE,mEAAmE;AACnE,qEAAqE;AACrE,aAAa;AACb,EAAE;AACF,4CAA4C;AAC5C,kCAAkC;AAClC,2DAA2D;AAC3D,yCAAyC;AACzC,6DAA6D;AAC7D,sCAAsC;;AAgEtC,kCAMC;AAGD,gCAgCC;AAOD,sBAcC;AAGD,gCAEC;AAID,8BAeC;AAMD,8BAEC;AAGD,0BAMC;AAGD,kDASC;AA+FD,wCAIC;AAKD,sCAMC;AAmDD,0CA6MC;AAQD,oCASC;AAKD,4BAMC;AAQD,4BAOC;AAID,0BAgBC;AASD,wBAgBC;AAKD,0CAgBC;AAUD,kCA+BC;AAMD,0CA2BC;AAxrBD,+DAA+D;AAC/D,uCAAuC;AACvC,+DAA+D;AAE/D,sEAAsE;AACtE,SAAS,GAAG,CAAC,CAAU;IACrB,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACrB,CAAC;AAED,wDAAwD;AACxD,SAAS,QAAQ,CAAC,CAAS;IACzB,IAAI,CAAC,KAAK,EAAE;QAAE,OAAO,EAAE,CAAC;IACxB,OAAO,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;AAC5C,CAAC;AAED,oEAAoE;AACpE,SAAS,SAAS,CAAC,CAAU;IAC3B,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;IACtB,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1B,0EAA0E;IAC1E,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YAC1B,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACpE,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,+DAA+D;AAC/D,sBAAsB;AACtB,+DAA+D;AAE/D,SAAgB,WAAW;IACzB,OAAO;QACL,QAAQ,EAAE,EAAE;QACZ,SAAS,EAAE,IAAI,GAAG,EAAE;QACpB,GAAG,EAAE,CAAC,CAAC;KACR,CAAC;AACJ,CAAC;AAED,kDAAkD;AAClD,SAAgB,UAAU,CAAC,CAAoB,EAAE,CAAU;IACzD,MAAM,MAAM,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;IAC5B,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;IAC5B,IAAI,CAAC,GAAG,CAAC;QAAE,OAAO,CAAC,iCAAiC;IAEpD,qDAAqD;IACrD,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC;IACxB,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC;QACzC,MAAM,GAAG,GAAY,EAAE,CAAC;QACxB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;gBACpB,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;gBACpB,IAAI,CAAC,KAAK,SAAS;oBAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACnC,CAAC;QACH,CAAC;QACD,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC;QAC3B,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;QACpB,IAAI,MAAM,GAAG,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAClC,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;YAC3B,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAC/B,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACf,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC;YACd,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;YACjB,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC/C,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACrB,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG;QAAE,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC;AAC3B,CAAC;AAED,+DAA+D;AAC/D,yBAAyB;AACzB,+DAA+D;AAE/D,qEAAqE;AACrE,SAAgB,KAAK,CAAC,CAAU;IAC9B,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IAC7B,MAAM,GAAG,GAAc,EAAE,CAAC;IAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,MAAM,IAAI,GAAY,EAAE,CAAC;QACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAClC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACZ,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;gBACf,IAAI,CAAC,KAAK,SAAS;oBAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACpC,CAAC;QACH,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,sDAAsD;AACtD,SAAgB,UAAU,CAAC,OAAgB;IACzC,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC;AACxB,CAAC;AAED,sEAAsE;AACtE,oDAAoD;AACpD,SAAgB,SAAS,CAAC,OAAgB;IACxC,IAAI,OAAO,CAAC,MAAM,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IACnC,MAAM,GAAG,GAAoB,EAAE,CAAC;IAChC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,MAAM,IAAI,GAAY,EAAE,CAAC;QACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACxC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACZ,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;gBACrB,IAAI,CAAC,KAAK,SAAS;oBAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACpC,CAAC;QACH,CAAC;QACD,MAAM,IAAI,GAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1C,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;IACpC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,+DAA+D;AAC/D,0BAA0B;AAC1B,+DAA+D;AAE/D,SAAgB,SAAS,CAAC,CAAoB;IAC5C,OAAO,CAAC,CAAC,GAAG,CAAC;AACf,CAAC;AAED,qDAAqD;AACrD,SAAgB,OAAO,CAAC,CAAoB;IAC1C,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;QAChC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,CAAC,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,4CAA4C;AAC5C,SAAgB,mBAAmB,CAAC,CAAoB;IACtD,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IACrB,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAChB,IAAI,EAAE,KAAK,SAAS;YAAE,SAAS;QAC/B,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IACrC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,+DAA+D;AAC/D,iCAAiC;AACjC,+DAA+D;AAE/D,8DAA8D;AAC9D,SAAS,gBAAgB,CAAC,CAAoB,EAAE,CAAS;IACvD,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAClC,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IACvB,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC/B,GAAG,CAAC,IAAI,EAAE,CAAC;IACX,OAAO,GAAG,CAAC;AACb,CAAC;AAED,kEAAkE;AAClE,+DAA+D;AAC/D,SAAS,gBAAgB,CAAC,CAAoB,EAAE,CAAS;IACvD,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IACtB,MAAM,IAAI,GAAG,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACpC,MAAM,IAAI,GAAG,gBAAgB,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACxC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAE3C,MAAM,CAAC,GAAe,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,GAAG,EAAE,CAC7D,IAAI,KAAK,CAAS,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CACvC,CAAC;IACF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,MAAM,KAAK,SAAS;YAAE,SAAS;QACnC,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;YAC/B,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACjC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;gBACtB,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;gBACnB,IAAI,GAAG;oBAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACvB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,mDAAmD;AACnD,SAAS,MAAM,CAAC,CAAa;IAC3B,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC;IACtB,IAAI,IAAI,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACzB,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACnB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IACtC,IAAI,IAAI,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IAEzB,iBAAiB;IACjB,MAAM,CAAC,GAAe,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;IAC9C,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,IAAI,GAAG,GAAG,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC;QAC9C,uDAAuD;QACvD,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC;QACf,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;YAC9B,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAClB,IAAI,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC5B,KAAK,GAAG,CAAC,CAAC;gBACV,MAAM;YACR,CAAC;QACH,CAAC;QACD,IAAI,KAAK,KAAK,CAAC,CAAC;YAAE,SAAS;QAC3B,QAAQ;QACR,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YAChB,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACjB,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;YACrB,IAAI,GAAG,IAAI,GAAG,EAAE,CAAC;gBACf,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;gBACX,CAAC,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC;YACjB,CAAC;QACH,CAAC;QACD,sEAAsE;QACtE,2CAA2C;QAC3C,MAAM,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACtB,IAAI,CAAC,QAAQ;YAAE,SAAS;QACxB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;YAC9B,IAAI,CAAC,KAAK,CAAC;gBAAE,SAAS;YACtB,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAClB,IAAI,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC5B,KAAK,IAAI,CAAC,GAAG,GAAG,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;oBAChC,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBAC5B,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC;gBAChC,CAAC;YACH,CAAC;QACH,CAAC;QACD,CAAC,EAAE,CAAC;QACJ,IAAI,EAAE,CAAC;IACT,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,0CAA0C;AAC1C,SAAgB,cAAc,CAAC,CAAoB,EAAE,GAAW;IAC9D,IAAI,GAAG,IAAI,CAAC;QAAE,OAAO,CAAC,CAAC;IACvB,MAAM,CAAC,GAAG,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACnC,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;AACnB,CAAC;AAED,8BAA8B;AAC9B,uCAAuC;AACvC,wCAAwC;AACxC,SAAgB,aAAa,CAAC,CAAoB,EAAE,GAAW;IAC7D,IAAI,GAAG,GAAG,CAAC;QAAE,OAAO,CAAC,CAAC;IACtB,MAAM,EAAE,GAAG,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,IAAI,IAAI,CAAC,CAAC;IAC3C,MAAM,KAAK,GAAG,cAAc,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACrC,MAAM,MAAM,GAAG,cAAc,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC;IAC1C,OAAO,EAAE,GAAG,KAAK,GAAG,MAAM,CAAC;AAC7B,CAAC;AAED,+DAA+D;AAC/D,4BAA4B;AAC5B,+DAA+D;AAE/D,oEAAoE;AACpE,8BAA8B;AAC9B,SAAS,eAAe,CAAC,CAAoB,EAAE,CAAS;IACtD,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IACtB,MAAM,IAAI,GAAG,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACpC,MAAM,IAAI,GAAG,gBAAgB,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACxC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAE3C,MAAM,CAAC,GAAe,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,GAAG,EAAE,CAC7D,IAAI,KAAK,CAAS,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CACvC,CAAC;IACF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,MAAM,KAAK,SAAS;YAAE,SAAS;QACnC,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;QACjC,KAAK,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;YACtD,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACjC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;gBACtB,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;gBACnB,IAAI,GAAG;oBAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC;YACzC,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,MAAM,CAAC,CAAS,EAAE,CAAS;IAClC,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACpB,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACpB,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACf,MAAM,CAAC,GAAG,CAAC,CAAC;QACZ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACV,CAAC,GAAG,CAAC,CAAC;IACR,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,oDAAoD;AACpD,4EAA4E;AAC5E,2EAA2E;AAC3E,wBAAwB;AACxB,EAAE;AACF,yEAAyE;AACzE,8EAA8E;AAC9E,SAAgB,eAAe,CAAC,MAAkB;IAMhD,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC;IAC3B,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IAC3B,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAE5C,kBAAkB;IAClB,MAAM,CAAC,GAAe,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;IACnD,IAAI,IAAI,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO;YACL,GAAG,EAAE,CAAC;YACN,MAAM,EAAE,CAAC;YACT,OAAO,EAAE,IAAI;YACb,UAAU,EAAE,EAAE;SACf,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAAG,CAAC,CAAS,EAAE,CAAS,EAAQ,EAAE;QAC7C,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO;QACpB,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAChB,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAChB,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;YACb,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;YACV,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;QACZ,CAAC;IACH,CAAC,CAAC;IACF,MAAM,OAAO,GAAG,CAAC,CAAS,EAAE,CAAS,EAAQ,EAAE;QAC7C,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO;QACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;YAC9B,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACjB,IAAI,CAAC,GAAG;gBAAE,SAAS;YACnB,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACxB,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACrB,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;QACf,CAAC;IACH,CAAC,CAAC;IACF,MAAM,SAAS,GAAG,CAAC,CAAS,EAAQ,EAAE;QACpC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACjB,IAAI,CAAC,GAAG;YAAE,OAAO;QACjB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE;YAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACzD,CAAC,CAAC;IACF,MAAM,SAAS,GAAG,CAAC,MAAc,EAAE,MAAc,EAAE,CAAS,EAAQ,EAAE;QACpE,6BAA6B;QAC7B,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;QACrB,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;QACrB,IAAI,CAAC,EAAE,IAAI,CAAC,EAAE;YAAE,OAAO;QACvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE;YAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACzE,CAAC,CAAC;IACF,MAAM,SAAS,GAAG,CAAC,MAAc,EAAE,MAAc,EAAE,CAAS,EAAQ,EAAE;QACpE,mCAAmC;QACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;YAC9B,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACjB,IAAI,CAAC,GAAG;gBAAE,SAAS;YACnB,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;QAC5D,CAAC;IACH,CAAC,CAAC;IAEF,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,OAAO,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;QACpC,2EAA2E;QAC3E,IAAI,KAAK,GAAG,KAAK,CAAC;QAClB,IAAI,EAAE,GAAG,KAAK,CAAC;QACf,IAAI,EAAE,GAAG,KAAK,CAAC;QACf,IAAI,IAAI,GAAG,QAAQ,CAAC;QACpB,KAAK,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;YAClC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACjB,IAAI,CAAC,GAAG;gBAAE,SAAS;YACnB,KAAK,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;gBAClC,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBACtB,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;oBACZ,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;oBACvB,IAAI,EAAE,GAAG,IAAI,EAAE,CAAC;wBACd,IAAI,GAAG,EAAE,CAAC;wBACV,EAAE,GAAG,CAAC,CAAC;wBACP,EAAE,GAAG,CAAC,CAAC;wBACP,KAAK,GAAG,IAAI,CAAC;oBACf,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,CAAC,KAAK;YAAE,MAAM;QAElB,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACnB,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAEnB,iEAAiE;QACjE,gDAAgD;QAChD,IAAI,OAAO,GAAG,IAAI,CAAC;QACnB,OAAO,OAAO,EAAE,CAAC;YACf,OAAO,GAAG,KAAK,CAAC;YAChB,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;YACtB,IAAI,CAAC,IAAI;gBAAE,MAAM;YACjB,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC7B,IAAI,GAAG,KAAK,CAAC;gBAAE,MAAM;YAErB,gDAAgD;YAChD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC9B,IAAI,CAAC,KAAK,KAAK;oBAAE,SAAS;gBAC1B,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;gBACjB,IAAI,CAAC,GAAG;oBAAE,SAAS;gBACnB,MAAM,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBAC1B,IAAI,CAAC,KAAK,CAAC;oBAAE,SAAS;gBACtB,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC;gBAC9B,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;oBACZ,SAAS,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;gBAC1B,CAAC;gBACD,MAAM,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBAC5B,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC;oBACd,yDAAyD;oBACzD,OAAO,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;oBAClB,OAAO,GAAG,IAAI,CAAC;oBACf,MAAM;gBACR,CAAC;YACH,CAAC;YACD,IAAI,OAAO;gBAAE,SAAS;YAEtB,iDAAiD;YACjD,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;YACzB,IAAI,CAAC,OAAO;gBAAE,MAAM;YACpB,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACjC,IAAI,IAAI,KAAK,CAAC;gBAAE,MAAM;YACtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC9B,IAAI,CAAC,KAAK,KAAK;oBAAE,SAAS;gBAC1B,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAC1B,IAAI,CAAC,KAAK,CAAC;oBAAE,SAAS;gBACtB,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;gBAC/B,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;oBACZ,SAAS,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;gBAC1B,CAAC;gBACD,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAC5B,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC;oBACd,OAAO,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;oBAClB,OAAO,GAAG,IAAI,CAAC;oBACf,MAAM;gBACR,CAAC;YACH,CAAC;YACD,IAAI,OAAO;gBAAE,SAAS;YAEtB,mEAAmE;YACnE,oEAAoE;YACpE,2CAA2C;YAC3C,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACtC,IAAI,MAAM,KAAK,CAAC;gBAAE,MAAM;YACxB,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAChC,IAAI,OAAO,GAAG,IAAI,CAAC;YACnB,KAAK,EAAE,KAAK,IAAI,CAAC,GAAG,KAAK,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC7C,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;gBACjB,IAAI,CAAC,GAAG;oBAAE,SAAS;gBACnB,KAAK,IAAI,CAAC,GAAG,KAAK,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;oBACtC,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBACtB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,KAAK,CAAC,EAAE,CAAC;wBAChC,+CAA+C;wBAC/C,SAAS,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;wBACvB,OAAO,GAAG,KAAK,CAAC;wBAChB,MAAM,KAAK,CAAC;oBACd,CAAC;gBACH,CAAC;YACH,CAAC;YACD,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,OAAO,GAAG,IAAI,CAAC;gBACf,SAAS;YACX,CAAC;QACH,CAAC;QAED,+DAA+D;QAC/D,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACtC,IAAI,MAAM,GAAG,CAAC;YAAE,SAAS,CAAC,KAAK,CAAC,CAAC;QAEjC,KAAK,EAAE,CAAC;IACV,CAAC;IAED,+CAA+C;IAC/C,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/B,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACzB,IAAI,CAAC,KAAK,CAAC;YAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5C,CAAC;IACD,kEAAkE;IAClE,mEAAmE;IACnE,gCAAgC;IAChC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,sEAAsE;IACtE,+BAA+B;IAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/C,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC7B,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;QACjC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACvB,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACZ,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;YACtB,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YAClB,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;QACxB,CAAC;IACH,CAAC;IAED,OAAO;QACL,GAAG,EAAE,CAAC;QACN,MAAM,EAAE,UAAU,CAAC,MAAM;QACzB,OAAO,EAAE,IAAI,GAAG,UAAU,CAAC,MAAM;QACjC,UAAU;KACX,CAAC;AACJ,CAAC;AAED,+DAA+D;AAC/D,oBAAoB;AACpB,+DAA+D;AAE/D,uEAAuE;AACvE,uDAAuD;AACvD,SAAgB,YAAY,CAAC,CAAoB,EAAE,GAAW;IAC5D,IAAI,GAAG,GAAG,CAAC;QAAE,OAAO,CAAC,CAAC;IACtB,MAAM,EAAE,GAAG,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,IAAI,IAAI,CAAC,CAAC;IAC3C,MAAM,EAAE,GAAG,eAAe,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACnC,MAAM,GAAG,GAAG,eAAe,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC;IACxC,MAAM,KAAK,GAAG,EAAE,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC;IAC/D,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;IAClE,uBAAuB;IACvB,OAAO,EAAE,GAAG,KAAK,GAAG,MAAM,CAAC;AAC7B,CAAC;AAED,0DAA0D;AAC1D,mEAAmE;AACnE,gEAAgE;AAChE,SAAgB,QAAQ,CAAC,CAAoB,EAAE,GAAW;IACxD,IAAI,GAAG,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC;IACvB,MAAM,CAAC,GAAG,eAAe,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC;IACtC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAC9B,MAAM,EAAE,UAAU,EAAE,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IAC1C,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AACzC,CAAC;AAED,+DAA+D;AAC/D,qBAAqB;AACrB,+DAA+D;AAE/D,wEAAwE;AACxE,wEAAwE;AACxE,SAAgB,QAAQ,CAAC,CAAS;IAChC,MAAM,CAAC,GAAG,WAAW,EAAE,CAAC;IACxB,IAAI,CAAC,GAAG,CAAC;QAAE,OAAO,CAAC,CAAC;IACpB,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE;QAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3C,UAAU,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACrB,OAAO,CAAC,CAAC;AACX,CAAC;AAED,8DAA8D;AAC9D,4EAA4E;AAC5E,SAAgB,OAAO,CAAC,CAAS;IAC/B,MAAM,CAAC,GAAG,WAAW,EAAE,CAAC;IACxB,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACV,sEAAsE;QACtE,OAAO,CAAC,CAAC;IACX,CAAC;IACD,mBAAmB;IACnB,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;QAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/C,uEAAuE;IACvE,4CAA4C;IAC5C,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;QAC/C,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;QAChD,UAAU,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IACtB,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,2EAA2E;AAC3E,yEAAyE;AACzE,yEAAyE;AACzE,iEAAiE;AACjE,EAAE;AACF,oDAAoD;AACpD,oCAAoC;AACpC,SAAgB,MAAM;IACpB,MAAM,CAAC,GAAG,WAAW,EAAE,CAAC;IACxB,mDAAmD;IACnD,MAAM,CAAC,GAAG,CAAC,CAAS,EAAE,CAAS,EAAU,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1F,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAClB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;YACtB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YACtB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YAC1B,+CAA+C;YAC/C,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACzB,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,kEAAkE;AAClE,oEAAoE;AACpE,uDAAuD;AACvD,SAAgB,eAAe;IAC7B,MAAM,CAAC,GAAG,WAAW,EAAE,CAAC;IACxB,MAAM,SAAS,GAAc;QAC3B,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;KACV,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,SAAS;QAAE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5C,OAAO,CAAC,CAAC;AACX,CAAC;AAED,6DAA6D;AAC7D,uEAAuE;AACvE,mDAAmD;AACnD,kDAAkD;AAClD,gDAAgD;AAChD,2CAA2C;AAC3C,EAAE;AACF,qEAAqE;AACrE,SAAgB,WAAW;IACzB,MAAM,CAAC,GAAG,WAAW,EAAE,CAAC;IACxB,sEAAsE;IACtE,uCAAuC;IACvC,MAAM,CAAC,GAAG,CAAC,CAAS,EAAE,CAAS,EAAU,EAAE;QACzC,IAAI,EAAE,GAAG,CAAC,CAAC;QACX,IAAI,EAAE,GAAG,CAAC,CAAC;QACX,6DAA6D;QAC7D,sCAAsC;QACtC,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC;YACf,EAAE,IAAI,CAAC,CAAC;YACR,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC;QACd,CAAC;QACD,OAAO,EAAE,GAAG,CAAC,EAAE,CAAC;YACd,EAAE,IAAI,CAAC,CAAC;YACR,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC;QACd,CAAC;QACD,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;QACxB,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC;IACrB,CAAC,CAAC;IACF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAClB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;YACtB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YACtB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YAC1B,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACzB,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,+DAA+D;AAC/D,gCAAgC;AAChC,+DAA+D;AAE/D,SAAgB,eAAe,CAC7B,CAAoB,EACpB,eAA2B,IAAI;IAE/B,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC;IAChB,MAAM,YAAY,GAAa,EAAE,CAAC;IAClC,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;QAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE;YAAE,YAAY,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpE,OAAO;YACL,GAAG,EAAE,CAAC;YACN,YAAY;YACZ,SAAS,EAAE,mBAAmB,CAAC,CAAC,CAAC;SAClC,CAAC;IACJ,CAAC;IACD,IAAI;IACJ,MAAM,OAAO,GAA6B,EAAE,CAAC;IAC7C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5B,YAAY,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACzB,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACnC,CAAC;IACD,OAAO;QACL,GAAG,EAAE,CAAC;QACN,YAAY;QACZ,SAAS,EAAE,mBAAmB,CAAC,CAAC,CAAC;QACjC,OAAO;KACR,CAAC;AACJ,CAAC"}

package/dist/tests/logic/profiles/natural-deduction-nk/nk.test.d.ts

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

package/dist/tests/logic/profiles/natural-deduction-nk/nk.test.d.ts.map

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

package/dist/tests/logic/profiles/natural-deduction-nk/nk.test.js

@@ -0,0 +1,288 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const natural_deduction_nk_1 = require("../../../../logic/profiles/natural-deduction-nk");
+// --- Helpers ---
+const P = (0, natural_deduction_nk_1.atom)('P');
+const Q = (0, natural_deduction_nk_1.atom)('Q');
+function rules(tree) {
+    const out = new Set();
+    const walk = (t) => {
+        out.add(t.rule);
+        t.premises.forEach(walk);
+    };
+    if (tree)
+        walk(tree);
+    return out;
+}
+// --- Provable en NK (fragmento intuicionista) ---
+(0, vitest_1.describe)('NK — fragmento intuicionista (debe seguir siendo demostrable)', () => {
+    (0, vitest_1.it)('demuestra P → P (identidad)', () => {
+        const proof = (0, natural_deduction_nk_1.proveClassically)([], (0, natural_deduction_nk_1.implies)(P, P));
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)((0, natural_deduction_nk_1.verifyProof)(proof)).toBe(true);
+        (0, vitest_1.expect)(rules(proof).has('impI')).toBe(true);
+    });
+    (0, vitest_1.it)('demuestra (P ∧ Q) → P (proyección izquierda)', () => {
+        const proof = (0, natural_deduction_nk_1.proveClassically)([], (0, natural_deduction_nk_1.implies)((0, natural_deduction_nk_1.and)(P, Q), P));
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)((0, natural_deduction_nk_1.verifyProof)(proof)).toBe(true);
+    });
+    (0, vitest_1.it)('demuestra (P ∧ Q) → Q (proyección derecha)', () => {
+        const proof = (0, natural_deduction_nk_1.proveClassically)([], (0, natural_deduction_nk_1.implies)((0, natural_deduction_nk_1.and)(P, Q), Q));
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)((0, natural_deduction_nk_1.verifyProof)(proof)).toBe(true);
+    });
+    (0, vitest_1.it)('demuestra modus ponens: {P, P→Q} ⊢ Q', () => {
+        const proof = (0, natural_deduction_nk_1.proveClassically)([P, (0, natural_deduction_nk_1.implies)(P, Q)], Q);
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)((0, natural_deduction_nk_1.verifyProof)(proof, [P, (0, natural_deduction_nk_1.implies)(P, Q)])).toBe(true);
+        (0, vitest_1.expect)(rules(proof).has('impE')).toBe(true);
+    });
+    (0, vitest_1.it)('demuestra ¬(P ∧ ¬P) (no-contradicción)', () => {
+        const proof = (0, natural_deduction_nk_1.proveClassically)([], (0, natural_deduction_nk_1.not)((0, natural_deduction_nk_1.and)(P, (0, natural_deduction_nk_1.not)(P))));
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)((0, natural_deduction_nk_1.verifyProof)(proof)).toBe(true);
+        (0, vitest_1.expect)(rules(proof).has('notI')).toBe(true);
+    });
+});
+// --- Provable en NK pero NO en NJ (clásicas) ---
+(0, vitest_1.describe)('NK — teoremas clásicos (no demostrables en NJ)', () => {
+    (0, vitest_1.it)('demuestra ¬¬P → P (DNE)', () => {
+        const goal = (0, natural_deduction_nk_1.implies)((0, natural_deduction_nk_1.not)((0, natural_deduction_nk_1.not)(P)), P);
+        const proof = (0, natural_deduction_nk_1.proveClassically)([], goal);
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)((0, natural_deduction_nk_1.verifyProof)(proof)).toBe(true);
+        // El fragmento NJ no la prueba.
+        (0, vitest_1.expect)((0, natural_deduction_nk_1.proveIntuitOnly)([], goal)).toBeNull();
+    });
+    (0, vitest_1.it)('demuestra P ∨ ¬P (LEM)', () => {
+        const goal = (0, natural_deduction_nk_1.or)(P, (0, natural_deduction_nk_1.not)(P));
+        const proof = (0, natural_deduction_nk_1.proveClassically)([], goal);
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)((0, natural_deduction_nk_1.verifyProof)(proof)).toBe(true);
+        (0, vitest_1.expect)((0, natural_deduction_nk_1.proveIntuitOnly)([], goal)).toBeNull();
+    });
+    (0, vitest_1.it)('demuestra ((P → Q) → P) → P (ley de Peirce)', () => {
+        const goal = (0, natural_deduction_nk_1.implies)((0, natural_deduction_nk_1.implies)((0, natural_deduction_nk_1.implies)(P, Q), P), P);
+        const proof = (0, natural_deduction_nk_1.proveClassically)([], goal);
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)((0, natural_deduction_nk_1.verifyProof)(proof)).toBe(true);
+        (0, vitest_1.expect)((0, natural_deduction_nk_1.proveIntuitOnly)([], goal)).toBeNull();
+    });
+    (0, vitest_1.it)('demuestra modus tollens clásico: ((P→Q) ∧ ¬Q) → ¬P', () => {
+        const goal = (0, natural_deduction_nk_1.implies)((0, natural_deduction_nk_1.and)((0, natural_deduction_nk_1.implies)(P, Q), (0, natural_deduction_nk_1.not)(Q)), (0, natural_deduction_nk_1.not)(P));
+        const proof = (0, natural_deduction_nk_1.proveClassically)([], goal);
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)((0, natural_deduction_nk_1.verifyProof)(proof)).toBe(true);
+    });
+    (0, vitest_1.it)('demuestra De Morgan clásico: ¬(P ∧ Q) → (¬P ∨ ¬Q)', () => {
+        const goal = (0, natural_deduction_nk_1.implies)((0, natural_deduction_nk_1.not)((0, natural_deduction_nk_1.and)(P, Q)), (0, natural_deduction_nk_1.or)((0, natural_deduction_nk_1.not)(P), (0, natural_deduction_nk_1.not)(Q)));
+        const proof = (0, natural_deduction_nk_1.proveClassically)([], goal);
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)((0, natural_deduction_nk_1.verifyProof)(proof)).toBe(true);
+        (0, vitest_1.expect)((0, natural_deduction_nk_1.proveIntuitOnly)([], goal)).toBeNull();
+    });
+    (0, vitest_1.it)('demuestra contraposición clásica completa: (¬Q → ¬P) → (P → Q)', () => {
+        // El sentido "no intuicionista" de la contraposición.
+        const goal = (0, natural_deduction_nk_1.implies)((0, natural_deduction_nk_1.implies)((0, natural_deduction_nk_1.not)(Q), (0, natural_deduction_nk_1.not)(P)), (0, natural_deduction_nk_1.implies)(P, Q));
+        const proof = (0, natural_deduction_nk_1.proveClassically)([], goal);
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)((0, natural_deduction_nk_1.verifyProof)(proof)).toBe(true);
+        (0, vitest_1.expect)((0, natural_deduction_nk_1.proveIntuitOnly)([], goal)).toBeNull();
+    });
+});
+// --- Estructura y verificación ---
+(0, vitest_1.describe)('NK — verifyProof y axiomas derivados', () => {
+    (0, vitest_1.it)('verifyProof rechaza un árbol mal formado (asunción fuera de contexto)', () => {
+        const bad = {
+            conclusion: P,
+            rule: 'assumption',
+            premises: [],
+        };
+        (0, vitest_1.expect)((0, natural_deduction_nk_1.verifyProof)(bad, [])).toBe(false);
+    });
+    (0, vitest_1.it)('verifyProof valida LEM axiomático estructuralmente', () => {
+        const lem = {
+            conclusion: (0, natural_deduction_nk_1.or)(P, (0, natural_deduction_nk_1.not)(P)),
+            rule: 'LEM',
+            premises: [],
+        };
+        (0, vitest_1.expect)((0, natural_deduction_nk_1.verifyProof)(lem)).toBe(true);
+    });
+    (0, vitest_1.it)('verifyProof rechaza LEM con disyunción inválida', () => {
+        const fakeLem = {
+            conclusion: (0, natural_deduction_nk_1.or)(P, (0, natural_deduction_nk_1.not)(Q)), // ¡no es P ∨ ¬P!
+            rule: 'LEM',
+            premises: [],
+        };
+        (0, vitest_1.expect)((0, natural_deduction_nk_1.verifyProof)(fakeLem)).toBe(false);
+    });
+    (0, vitest_1.it)('verifyProof valida doubleNegE estructuralmente', () => {
+        const dne = {
+            conclusion: P,
+            rule: 'doubleNegE',
+            premises: [{ conclusion: (0, natural_deduction_nk_1.not)((0, natural_deduction_nk_1.not)(P)), rule: 'assumption', premises: [] }],
+        };
+        (0, vitest_1.expect)((0, natural_deduction_nk_1.verifyProof)(dne, [(0, natural_deduction_nk_1.not)((0, natural_deduction_nk_1.not)(P))])).toBe(true);
+    });
+    (0, vitest_1.it)('verifyProof valida rAA estructuralmente', () => {
+        // Demostramos P a partir de P (trivial) vía rAA: asume ¬P, deriva ⊥
+        // por contradicción con P (que asumimos en el contexto externo).
+        const raa = {
+            conclusion: P,
+            rule: 'rAA',
+            premises: [
+                {
+                    conclusion: (0, natural_deduction_nk_1.bottom)(),
+                    rule: 'notE',
+                    premises: [
+                        { conclusion: (0, natural_deduction_nk_1.not)(P), rule: 'assumption', premises: [] },
+                        { conclusion: P, rule: 'assumption', premises: [] },
+                    ],
+                },
+            ],
+            discharged: [(0, natural_deduction_nk_1.not)(P)],
+        };
+        (0, vitest_1.expect)((0, natural_deduction_nk_1.verifyProof)(raa, [P])).toBe(true);
+    });
+    (0, vitest_1.it)('verifyProof valida la prueba canónica de Peirce', () => {
+        const proof = (0, natural_deduction_nk_1.provedPeirce)();
+        (0, vitest_1.expect)((0, natural_deduction_nk_1.verifyProof)(proof)).toBe(true);
+    });
+    (0, vitest_1.it)('verifyProof valida la prueba canónica de DNE', () => {
+        const proof = (0, natural_deduction_nk_1.provedDNE)();
+        (0, vitest_1.expect)((0, natural_deduction_nk_1.verifyProof)(proof)).toBe(true);
+    });
+    (0, vitest_1.it)('verifyProof valida la prueba canónica de LEM', () => {
+        const proof = (0, natural_deduction_nk_1.provedLEM)();
+        (0, vitest_1.expect)((0, natural_deduction_nk_1.verifyProof)(proof)).toBe(true);
+    });
+});
+// --- Traducción NK → NJ ---
+(0, vitest_1.describe)('NK → NJ — detección de pruebas clásicas', () => {
+    (0, vitest_1.it)('nkToNJ acepta una prueba puramente intuicionista (P → P)', () => {
+        const proof = (0, natural_deduction_nk_1.proveClassically)([], (0, natural_deduction_nk_1.implies)(P, P));
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        const result = (0, natural_deduction_nk_1.nkToNJ)(proof);
+        (0, vitest_1.expect)(result.converted).toBeDefined();
+        (0, vitest_1.expect)(result.reason).toBeUndefined();
+    });
+    (0, vitest_1.it)('nkToNJ rechaza una prueba que usa LEM/rAA/Peirce/DNE', () => {
+        const proof = (0, natural_deduction_nk_1.proveClassically)([], (0, natural_deduction_nk_1.or)(P, (0, natural_deduction_nk_1.not)(P)));
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        const result = (0, natural_deduction_nk_1.nkToNJ)(proof);
+        (0, vitest_1.expect)(result.converted).toBeUndefined();
+        (0, vitest_1.expect)(result.reason).toBeDefined();
+        // Debe mencionar alguna regla clásica.
+        const mentionsClassical = natural_deduction_nk_1.CLASSICAL_ONLY_RULES.some((r) => result.reason.includes(r));
+        (0, vitest_1.expect)(mentionsClassical).toBe(true);
+    });
+    (0, vitest_1.it)('nkToNJ rechaza la prueba clásica de DNE', () => {
+        const proof = (0, natural_deduction_nk_1.proveClassically)([], (0, natural_deduction_nk_1.implies)((0, natural_deduction_nk_1.not)((0, natural_deduction_nk_1.not)(P)), P));
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        const result = (0, natural_deduction_nk_1.nkToNJ)(proof);
+        (0, vitest_1.expect)(result.reason).toBeDefined();
+    });
+    (0, vitest_1.it)('nkToNJ rechaza una prueba que contiene rAA explícita en una hoja interna', () => {
+        // Construimos manualmente una prueba híbrida: usa rAA en el interior
+        // pero concluye una fórmula que NJ también probaría.
+        const hybrid = {
+            conclusion: (0, natural_deduction_nk_1.implies)(P, P),
+            rule: 'impI',
+            premises: [
+                {
+                    conclusion: P,
+                    rule: 'rAA',
+                    premises: [
+                        {
+                            conclusion: (0, natural_deduction_nk_1.bottom)(),
+                            rule: 'notE',
+                            premises: [
+                                { conclusion: (0, natural_deduction_nk_1.not)(P), rule: 'assumption', premises: [] },
+                                { conclusion: P, rule: 'assumption', premises: [] },
+                            ],
+                        },
+                    ],
+                    discharged: [(0, natural_deduction_nk_1.not)(P)],
+                },
+            ],
+            discharged: [P],
+        };
+        // Esta prueba es válida estructuralmente.
+        (0, vitest_1.expect)((0, natural_deduction_nk_1.verifyProof)(hybrid)).toBe(true);
+        // Pero usa rAA, así que nkToNJ no la traduce.
+        const result = (0, natural_deduction_nk_1.nkToNJ)(hybrid);
+        (0, vitest_1.expect)(result.reason).toBeDefined();
+        (0, vitest_1.expect)(result.reason.includes('rAA')).toBe(true);
+    });
+});
+// --- Estructura del árbol NK ---
+(0, vitest_1.describe)('NK — propiedades estructurales del árbol', () => {
+    (0, vitest_1.it)('rAA descarga la negación de la meta', () => {
+        // Pedimos algo que requiere clásica: ¬¬P → P.
+        const proof = (0, natural_deduction_nk_1.proveClassically)([], (0, natural_deduction_nk_1.implies)((0, natural_deduction_nk_1.not)((0, natural_deduction_nk_1.not)(P)), P));
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        // En alguna parte de la prueba debe aparecer rAA o doubleNegE.
+        const r = rules(proof);
+        const usesClassical = ['rAA', 'doubleNegE', 'LEM', 'pierce'].some((x) => r.has(x));
+        (0, vitest_1.expect)(usesClassical).toBe(true);
+    });
+    (0, vitest_1.it)('impI descarga el antecedente del contexto', () => {
+        const proof = (0, natural_deduction_nk_1.proveClassically)([], (0, natural_deduction_nk_1.implies)(P, P));
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)(proof.rule).toBe('impI');
+        (0, vitest_1.expect)(proof.discharged?.length).toBe(1);
+    });
+    (0, vitest_1.it)('cada premisa de andI prueba la respectiva conjunción', () => {
+        const proof = (0, natural_deduction_nk_1.proveClassically)([P, Q], (0, natural_deduction_nk_1.and)(P, Q));
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)(proof.rule).toBe('andI');
+        (0, vitest_1.expect)(proof.premises.length).toBe(2);
+    });
+    (0, vitest_1.it)('CLASSICAL_ONLY_RULES contiene exactamente las 4 reglas clásicas', () => {
+        (0, vitest_1.expect)(natural_deduction_nk_1.CLASSICAL_ONLY_RULES).toContain('doubleNegE');
+        (0, vitest_1.expect)(natural_deduction_nk_1.CLASSICAL_ONLY_RULES).toContain('LEM');
+        (0, vitest_1.expect)(natural_deduction_nk_1.CLASSICAL_ONLY_RULES).toContain('pierce');
+        (0, vitest_1.expect)(natural_deduction_nk_1.CLASSICAL_ONLY_RULES).toContain('rAA');
+        (0, vitest_1.expect)(natural_deduction_nk_1.CLASSICAL_ONLY_RULES.length).toBe(4);
+    });
+});
+// --- Sanidad: no demuestra falsedades ---
+(0, vitest_1.describe)('NK — el sistema no demuestra falsedades', () => {
+    (0, vitest_1.it)('NO demuestra ⊥ desde el contexto vacío', () => {
+        const proof = (0, natural_deduction_nk_1.proveClassically)([], (0, natural_deduction_nk_1.bottom)());
+        (0, vitest_1.expect)(proof).toBeNull();
+    });
+    (0, vitest_1.it)('NO demuestra P desde el contexto vacío (atómico no derivable)', () => {
+        const proof = (0, natural_deduction_nk_1.proveClassically)([], P);
+        (0, vitest_1.expect)(proof).toBeNull();
+    });
+    (0, vitest_1.it)('NO demuestra P ∧ Q sin tener ambos', () => {
+        const proof = (0, natural_deduction_nk_1.proveClassically)([P], (0, natural_deduction_nk_1.and)(P, Q));
+        (0, vitest_1.expect)(proof).toBeNull();
+    });
+    (0, vitest_1.it)('NO demuestra Q desde {P} (sin enlace alguno)', () => {
+        const proof = (0, natural_deduction_nk_1.proveClassically)([P], Q);
+        (0, vitest_1.expect)(proof).toBeNull();
+    });
+    (0, vitest_1.it)('rechaza rAA con discharged incorrecto', () => {
+        const bad = {
+            conclusion: P,
+            rule: 'rAA',
+            premises: [
+                {
+                    conclusion: (0, natural_deduction_nk_1.bottom)(),
+                    rule: 'notE',
+                    premises: [
+                        { conclusion: (0, natural_deduction_nk_1.not)(P), rule: 'assumption', premises: [] },
+                        { conclusion: P, rule: 'assumption', premises: [] },
+                    ],
+                },
+            ],
+            discharged: [(0, natural_deduction_nk_1.not)(Q)], // ¡debería ser ¬P!
+        };
+        (0, vitest_1.expect)((0, natural_deduction_nk_1.verifyProof)(bad, [P])).toBe(false);
+    });
+});
+//# sourceMappingURL=nk.test.js.map

package/dist/tests/logic/profiles/natural-deduction-nk/nk.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"nk.test.js","sourceRoot":"","sources":["../../../../../src/tests/logic/profiles/natural-deduction-nk/nk.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,0FAiByD;AAEzD,kBAAkB;AAElB,MAAM,CAAC,GAAG,IAAA,2BAAI,EAAC,GAAG,CAAC,CAAC;AACpB,MAAM,CAAC,GAAG,IAAA,2BAAI,EAAC,GAAG,CAAC,CAAC;AAEpB,SAAS,KAAK,CAAC,IAAoB;IACjC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,MAAM,IAAI,GAAG,CAAC,CAAU,EAAE,EAAE;QAC1B,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAChB,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC3B,CAAC,CAAC;IACF,IAAI,IAAI;QAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IACrB,OAAO,GAAG,CAAC;AACb,CAAC;AAED,mDAAmD;AAEnD,IAAA,iBAAQ,EAAC,+DAA+D,EAAE,GAAG,EAAE;IAC7E,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,KAAK,GAAG,IAAA,uCAAgB,EAAC,EAAE,EAAE,IAAA,8BAAO,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,kCAAW,EAAC,KAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,KAAK,GAAG,IAAA,uCAAgB,EAAC,EAAE,EAAE,IAAA,8BAAO,EAAC,IAAA,0BAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,kCAAW,EAAC,KAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,KAAK,GAAG,IAAA,uCAAgB,EAAC,EAAE,EAAE,IAAA,8BAAO,EAAC,IAAA,0BAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,kCAAW,EAAC,KAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,KAAK,GAAG,IAAA,uCAAgB,EAAC,CAAC,CAAC,EAAE,IAAA,8BAAO,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,kCAAW,EAAC,KAAM,EAAE,CAAC,CAAC,EAAE,IAAA,8BAAO,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,KAAK,GAAG,IAAA,uCAAgB,EAAC,EAAE,EAAE,IAAA,0BAAG,EAAC,IAAA,0BAAG,EAAC,CAAC,EAAE,IAAA,0BAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,kCAAW,EAAC,KAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,kDAAkD;AAElD,IAAA,iBAAQ,EAAC,gDAAgD,EAAE,GAAG,EAAE;IAC9D,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,IAAI,GAAG,IAAA,8BAAO,EAAC,IAAA,0BAAG,EAAC,IAAA,0BAAG,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACrC,MAAM,KAAK,GAAG,IAAA,uCAAgB,EAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,kCAAW,EAAC,KAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,gCAAgC;QAChC,IAAA,eAAM,EAAC,IAAA,sCAAe,EAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,IAAI,GAAG,IAAA,yBAAE,EAAC,CAAC,EAAE,IAAA,0BAAG,EAAC,CAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,KAAK,GAAG,IAAA,uCAAgB,EAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,kCAAW,EAAC,KAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,sCAAe,EAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,IAAI,GAAG,IAAA,8BAAO,EAAC,IAAA,8BAAO,EAAC,IAAA,8BAAO,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACnD,MAAM,KAAK,GAAG,IAAA,uCAAgB,EAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,kCAAW,EAAC,KAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,sCAAe,EAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,IAAI,GAAG,IAAA,8BAAO,EAAC,IAAA,0BAAG,EAAC,IAAA,8BAAO,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,0BAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,0BAAG,EAAC,CAAC,CAAC,CAAC,CAAC;QACzD,MAAM,KAAK,GAAG,IAAA,uCAAgB,EAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,kCAAW,EAAC,KAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,IAAI,GAAG,IAAA,8BAAO,EAAC,IAAA,0BAAG,EAAC,IAAA,0BAAG,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,yBAAE,EAAC,IAAA,0BAAG,EAAC,CAAC,CAAC,EAAE,IAAA,0BAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACzD,MAAM,KAAK,GAAG,IAAA,uCAAgB,EAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,kCAAW,EAAC,KAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,sCAAe,EAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,sDAAsD;QACtD,MAAM,IAAI,GAAG,IAAA,8BAAO,EAAC,IAAA,8BAAO,EAAC,IAAA,0BAAG,EAAC,CAAC,CAAC,EAAE,IAAA,0BAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,8BAAO,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC7D,MAAM,KAAK,GAAG,IAAA,uCAAgB,EAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,kCAAW,EAAC,KAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,sCAAe,EAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,oCAAoC;AAEpC,IAAA,iBAAQ,EAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,IAAA,WAAE,EAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,GAAG,GAAY;YACnB,UAAU,EAAE,CAAC;YACb,IAAI,EAAE,YAAY;YAClB,QAAQ,EAAE,EAAE;SACb,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,kCAAW,EAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,GAAG,GAAY;YACnB,UAAU,EAAE,IAAA,yBAAE,EAAC,CAAC,EAAE,IAAA,0BAAG,EAAC,CAAC,CAAC,CAAC;YACzB,IAAI,EAAE,KAAK;YACX,QAAQ,EAAE,EAAE;SACb,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,kCAAW,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,OAAO,GAAY;YACvB,UAAU,EAAE,IAAA,yBAAE,EAAC,CAAC,EAAE,IAAA,0BAAG,EAAC,CAAC,CAAC,CAAC,EAAE,iBAAiB;YAC5C,IAAI,EAAE,KAAK;YACX,QAAQ,EAAE,EAAE;SACb,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,kCAAW,EAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,GAAG,GAAY;YACnB,UAAU,EAAE,CAAC;YACb,IAAI,EAAE,YAAY;YAClB,QAAQ,EAAE,CAAC,EAAE,UAAU,EAAE,IAAA,0BAAG,EAAC,IAAA,0BAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;SAC1E,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,kCAAW,EAAC,GAAG,EAAE,CAAC,IAAA,0BAAG,EAAC,IAAA,0BAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,oEAAoE;QACpE,iEAAiE;QACjE,MAAM,GAAG,GAAY;YACnB,UAAU,EAAE,CAAC;YACb,IAAI,EAAE,KAAK;YACX,QAAQ,EAAE;gBACR;oBACE,UAAU,EAAE,IAAA,6BAAM,GAAE;oBACpB,IAAI,EAAE,MAAM;oBACZ,QAAQ,EAAE;wBACR,EAAE,UAAU,EAAE,IAAA,0BAAG,EAAC,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,EAAE,EAAE;wBACxD,EAAE,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,EAAE,EAAE;qBACpD;iBACF;aACF;YACD,UAAU,EAAE,CAAC,IAAA,0BAAG,EAAC,CAAC,CAAC,CAAC;SACrB,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,kCAAW,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,KAAK,GAAG,IAAA,mCAAY,GAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,kCAAW,EAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,KAAK,GAAG,IAAA,gCAAS,GAAE,CAAC;QAC1B,IAAA,eAAM,EAAC,IAAA,kCAAW,EAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,KAAK,GAAG,IAAA,gCAAS,GAAE,CAAC;QAC1B,IAAA,eAAM,EAAC,IAAA,kCAAW,EAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,6BAA6B;AAE7B,IAAA,iBAAQ,EAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,KAAK,GAAG,IAAA,uCAAgB,EAAC,EAAE,EAAE,IAAA,8BAAO,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,IAAA,6BAAM,EAAC,KAAM,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC;QACvC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,aAAa,EAAE,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,KAAK,GAAG,IAAA,uCAAgB,EAAC,EAAE,EAAE,IAAA,yBAAE,EAAC,CAAC,EAAE,IAAA,0BAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,IAAA,6BAAM,EAAC,KAAM,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,CAAC,aAAa,EAAE,CAAC;QACzC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;QACpC,uCAAuC;QACvC,MAAM,iBAAiB,GAAG,2CAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QACvF,IAAA,eAAM,EAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,KAAK,GAAG,IAAA,uCAAgB,EAAC,EAAE,EAAE,IAAA,8BAAO,EAAC,IAAA,0BAAG,EAAC,IAAA,0BAAG,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,IAAA,6BAAM,EAAC,KAAM,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0EAA0E,EAAE,GAAG,EAAE;QAClF,qEAAqE;QACrE,qDAAqD;QACrD,MAAM,MAAM,GAAY;YACtB,UAAU,EAAE,IAAA,8BAAO,EAAC,CAAC,EAAE,CAAC,CAAC;YACzB,IAAI,EAAE,MAAM;YACZ,QAAQ,EAAE;gBACR;oBACE,UAAU,EAAE,CAAC;oBACb,IAAI,EAAE,KAAK;oBACX,QAAQ,EAAE;wBACR;4BACE,UAAU,EAAE,IAAA,6BAAM,GAAE;4BACpB,IAAI,EAAE,MAAM;4BACZ,QAAQ,EAAE;gCACR,EAAE,UAAU,EAAE,IAAA,0BAAG,EAAC,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,EAAE,EAAE;gCACxD,EAAE,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,EAAE,EAAE;6BACpD;yBACF;qBACF;oBACD,UAAU,EAAE,CAAC,IAAA,0BAAG,EAAC,CAAC,CAAC,CAAC;iBACrB;aACF;YACD,UAAU,EAAE,CAAC,CAAC,CAAC;SAChB,CAAC;QACF,0CAA0C;QAC1C,IAAA,eAAM,EAAC,IAAA,kCAAW,EAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,8CAA8C;QAC9C,MAAM,MAAM,GAAG,IAAA,6BAAM,EAAC,MAAM,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,kCAAkC;AAElC,IAAA,iBAAQ,EAAC,0CAA0C,EAAE,GAAG,EAAE;IACxD,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,8CAA8C;QAC9C,MAAM,KAAK,GAAG,IAAA,uCAAgB,EAAC,EAAE,EAAE,IAAA,8BAAO,EAAC,IAAA,0BAAG,EAAC,IAAA,0BAAG,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,+DAA+D;QAC/D,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;QACvB,MAAM,aAAa,GAAG,CAAC,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAW,CAAC,CAAC,CAAC;QAC7F,IAAA,eAAM,EAAC,aAAa,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,KAAK,GAAG,IAAA,uCAAgB,EAAC,EAAE,EAAE,IAAA,8BAAO,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,KAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,KAAM,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,KAAK,GAAG,IAAA,uCAAgB,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,0BAAG,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,KAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,KAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,IAAA,eAAM,EAAC,2CAAoB,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,2CAAoB,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,2CAAoB,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,2CAAoB,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,2CAAoB,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,2CAA2C;AAE3C,IAAA,iBAAQ,EAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,KAAK,GAAG,IAAA,uCAAgB,EAAC,EAAE,EAAE,IAAA,6BAAM,GAAE,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,KAAK,GAAG,IAAA,uCAAgB,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,KAAK,GAAG,IAAA,uCAAgB,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,0BAAG,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,KAAK,GAAG,IAAA,uCAAgB,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,GAAG,GAAY;YACnB,UAAU,EAAE,CAAC;YACb,IAAI,EAAE,KAAK;YACX,QAAQ,EAAE;gBACR;oBACE,UAAU,EAAE,IAAA,6BAAM,GAAE;oBACpB,IAAI,EAAE,MAAM;oBACZ,QAAQ,EAAE;wBACR,EAAE,UAAU,EAAE,IAAA,0BAAG,EAAC,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,EAAE,EAAE;wBACxD,EAAE,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,EAAE,EAAE;qBACpD;iBACF;aACF;YACD,UAAU,EAAE,CAAC,IAAA,0BAAG,EAAC,CAAC,CAAC,CAAC,EAAE,mBAAmB;SAC1C,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,kCAAW,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/reasoning/automata/automata.test.d.ts

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

package/dist/tests/reasoning/automata/automata.test.d.ts.map

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