@stevenvo780/st-lang 4.8.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/logic/profiles/quantum/quantum.test.d.ts

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

package/dist/tests/logic/profiles/quantum/quantum.test.d.ts.map

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

package/dist/tests/logic/profiles/quantum/quantum.test.js

@@ -0,0 +1,209 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const quantum_1 = require("../../../../logic/profiles/quantum");
+(0, vitest_1.describe)('quantum logic — núcleo vectorial', () => {
+    (0, vitest_1.it)('dot de vectores ortogonales es 0; norma de e1 es 1', () => {
+        const e1 = (0, quantum_1.vec)([1, 0, 0]);
+        const e2 = (0, quantum_1.vec)([0, 1, 0]);
+        (0, vitest_1.expect)((0, quantum_1.dot)(e1, e2)).toBeCloseTo(0, 12);
+        (0, vitest_1.expect)((0, quantum_1.norm)(e1)).toBeCloseTo(1, 12);
+    });
+    (0, vitest_1.it)('normalize escala al unitario; norma de cero lanza', () => {
+        const v = (0, quantum_1.vec)([3, 4]);
+        const u = (0, quantum_1.normalize)(v);
+        (0, vitest_1.expect)((0, quantum_1.norm)(u)).toBeCloseTo(1, 9);
+        (0, vitest_1.expect)(() => (0, quantum_1.normalize)((0, quantum_1.vec)([0, 0, 0]))).toThrow();
+    });
+    (0, vitest_1.it)('isOrthogonal: e1 y e2 en R^3 son ortogonales; e1 y (1,1,0) no', () => {
+        (0, vitest_1.expect)((0, quantum_1.isOrthogonal)((0, quantum_1.vec)([1, 0, 0]), (0, quantum_1.vec)([0, 1, 0]))).toBe(true);
+        (0, vitest_1.expect)((0, quantum_1.isOrthogonal)((0, quantum_1.vec)([1, 0, 0]), (0, quantum_1.vec)([1, 1, 0]))).toBe(false);
+    });
+    (0, vitest_1.it)('orthonormalBasis: 3 vectores LI en R^3 → 3 vectores ortonormales', () => {
+        const basis = (0, quantum_1.orthonormalBasis)([(0, quantum_1.vec)([1, 1, 0]), (0, quantum_1.vec)([0, 1, 1]), (0, quantum_1.vec)([1, 0, 1])]);
+        (0, vitest_1.expect)(basis).not.toBeNull();
+        (0, vitest_1.expect)(basis.length).toBe(3);
+        for (const v of basis)
+            (0, vitest_1.expect)((0, quantum_1.norm)(v)).toBeCloseTo(1, 9);
+        for (let i = 0; i < basis.length; i++)
+            for (let j = i + 1; j < basis.length; j++)
+                (0, vitest_1.expect)((0, quantum_1.dot)(basis[i], basis[j])).toBeCloseTo(0, 9);
+    });
+    (0, vitest_1.it)('orthonormalBasis: vectores LD colapsan a una dimensión inferior', () => {
+        const basis = (0, quantum_1.orthonormalBasis)([(0, quantum_1.vec)([1, 0, 0]), (0, quantum_1.vec)([2, 0, 0]), (0, quantum_1.vec)([0, 1, 0])]);
+        (0, vitest_1.expect)(basis).not.toBeNull();
+        (0, vitest_1.expect)(basis.length).toBe(2);
+    });
+});
+(0, vitest_1.describe)('quantum logic — subespacios', () => {
+    (0, vitest_1.it)('span de e1 y e2 tiene dimensión 2', () => {
+        const s = (0, quantum_1.span)([(0, quantum_1.vec)([1, 0, 0]), (0, quantum_1.vec)([0, 1, 0])]);
+        (0, vitest_1.expect)(s.dimension).toBe(2);
+        (0, vitest_1.expect)(s.ambientDim).toBe(3);
+    });
+    (0, vitest_1.it)('span de dos colineales tiene dimensión 1', () => {
+        const s = (0, quantum_1.span)([(0, quantum_1.vec)([1, 1, 0]), (0, quantum_1.vec)([3, 3, 0])]);
+        (0, vitest_1.expect)(s.dimension).toBe(1);
+    });
+    (0, vitest_1.it)('isContained: e1 ⊆ span(e1, e2); pero e3 ⊄ span(e1, e2)', () => {
+        const plane = (0, quantum_1.span)([(0, quantum_1.vec)([1, 0, 0]), (0, quantum_1.vec)([0, 1, 0])]);
+        const xLine = (0, quantum_1.span)([(0, quantum_1.vec)([1, 0, 0])]);
+        const zLine = (0, quantum_1.span)([(0, quantum_1.vec)([0, 0, 1])]);
+        (0, vitest_1.expect)((0, quantum_1.isContained)(xLine, plane)).toBe(true);
+        (0, vitest_1.expect)((0, quantum_1.isContained)(zLine, plane)).toBe(false);
+    });
+    (0, vitest_1.it)('meet de subespacios ortogonales (xy y z) es {0}', () => {
+        const xy = (0, quantum_1.span)([(0, quantum_1.vec)([1, 0, 0]), (0, quantum_1.vec)([0, 1, 0])]);
+        const z = (0, quantum_1.span)([(0, quantum_1.vec)([0, 0, 1])]);
+        const m = (0, quantum_1.meet)(xy, z);
+        (0, vitest_1.expect)(m.dimension).toBe(0);
+    });
+    (0, vitest_1.it)('meet de subespacios solapados (xy y xz) es la línea x', () => {
+        const xy = (0, quantum_1.span)([(0, quantum_1.vec)([1, 0, 0]), (0, quantum_1.vec)([0, 1, 0])]);
+        const xz = (0, quantum_1.span)([(0, quantum_1.vec)([1, 0, 0]), (0, quantum_1.vec)([0, 0, 1])]);
+        const m = (0, quantum_1.meet)(xy, xz);
+        (0, vitest_1.expect)(m.dimension).toBe(1);
+        const xLine = (0, quantum_1.span)([(0, quantum_1.vec)([1, 0, 0])]);
+        (0, vitest_1.expect)((0, quantum_1.equalsSubspace)(m, xLine)).toBe(true);
+    });
+    (0, vitest_1.it)('join de e1 y e2 es el plano xy (dim 2)', () => {
+        const a = (0, quantum_1.span)([(0, quantum_1.vec)([1, 0, 0])]);
+        const b = (0, quantum_1.span)([(0, quantum_1.vec)([0, 1, 0])]);
+        const j = (0, quantum_1.join)(a, b);
+        (0, vitest_1.expect)(j.dimension).toBe(2);
+        (0, vitest_1.expect)(j.ambientDim).toBe(3);
+    });
+    (0, vitest_1.it)('orthocomplement en R^2: span(e1)⊥ ≡ span(e2)', () => {
+        const e1 = (0, quantum_1.span)([(0, quantum_1.vec)([1, 0])], 2);
+        const perp = (0, quantum_1.orthocomplement)(e1);
+        (0, vitest_1.expect)(perp.dimension).toBe(1);
+        (0, vitest_1.expect)((0, quantum_1.equalsSubspace)(perp, (0, quantum_1.span)([(0, quantum_1.vec)([0, 1])], 2))).toBe(true);
+    });
+    (0, vitest_1.it)('orthocomplement doble es identidad: (a⊥)⊥ = a', () => {
+        const a = (0, quantum_1.span)([(0, quantum_1.vec)([1, 1, 0]), (0, quantum_1.vec)([0, 1, 1])]);
+        const aPerpPerp = (0, quantum_1.orthocomplement)((0, quantum_1.orthocomplement)(a));
+        (0, vitest_1.expect)((0, quantum_1.equalsSubspace)(aPerpPerp, a)).toBe(true);
+    });
+    (0, vitest_1.it)('orthocomplement: zero⊥ = top, top⊥ = zero', () => {
+        const Z = (0, quantum_1.zeroSubspace)(3);
+        const T = (0, quantum_1.topSubspace)(3);
+        (0, vitest_1.expect)((0, quantum_1.equalsSubspace)((0, quantum_1.orthocomplement)(Z, 3), T)).toBe(true);
+        (0, vitest_1.expect)((0, quantum_1.equalsSubspace)((0, quantum_1.orthocomplement)(T, 3), Z)).toBe(true);
+    });
+});
+(0, vitest_1.describe)('quantum logic — lattice no-distributivo pero orthomodular', () => {
+    (0, vitest_1.it)('makeQuantumLattice expone zero, top y operaciones', () => {
+        const L = (0, quantum_1.makeQuantumLattice)(3);
+        (0, vitest_1.expect)(L.dimensions).toBe(3);
+        (0, vitest_1.expect)(L.zero.dimension).toBe(0);
+        (0, vitest_1.expect)(L.top.dimension).toBe(3);
+    });
+    (0, vitest_1.it)('CONTRAEJEMPLO de distributividad en R^2: tres rectas distintas', () => {
+        // En R^2, tomamos a = span(e1), b = span(e2), c = span(e1+e2).
+        // Entonces b ∨ c = todo R^2, así a ∧ (b ∨ c) = a (dimensión 1).
+        // Pero a ∧ b = {0} y a ∧ c = {0}, así (a ∧ b) ∨ (a ∧ c) = {0}.
+        const L = (0, quantum_1.makeQuantumLattice)(2);
+        const a = (0, quantum_1.span)([(0, quantum_1.vec)([1, 0])], 2);
+        const b = (0, quantum_1.span)([(0, quantum_1.vec)([0, 1])], 2);
+        const c = (0, quantum_1.span)([(0, quantum_1.vec)([1, 1])], 2);
+        const lhs = L.meet(a, L.join(b, c));
+        const rhs = L.join(L.meet(a, b), L.meet(a, c));
+        (0, vitest_1.expect)(lhs.dimension).toBe(1);
+        (0, vitest_1.expect)(rhs.dimension).toBe(0);
+        (0, vitest_1.expect)((0, quantum_1.equalsSubspace)(lhs, rhs)).toBe(false);
+    });
+    (0, vitest_1.it)('isDistributive devuelve false para R^2 (sampling encuentra contraejemplo)', () => {
+        const L = (0, quantum_1.makeQuantumLattice)(2);
+        (0, vitest_1.expect)((0, quantum_1.isDistributive)(L, 30)).toBe(false);
+    });
+    (0, vitest_1.it)('isDistributive devuelve false para R^3 con sampler que fuerza a ⊂ b ∨ c', () => {
+        const L = (0, quantum_1.makeQuantumLattice)(3);
+        (0, vitest_1.expect)((0, quantum_1.isDistributive)(L, 60)).toBe(false);
+    });
+    (0, vitest_1.it)('isModular: el lattice de subespacios de R^n SÍ es modular', () => {
+        const L = (0, quantum_1.makeQuantumLattice)(3);
+        (0, vitest_1.expect)((0, quantum_1.isModular)(L, 20)).toBe(true);
+    });
+    (0, vitest_1.it)('isOrthomodular: se cumple la ley orthomodular', () => {
+        const L = (0, quantum_1.makeQuantumLattice)(3);
+        (0, vitest_1.expect)((0, quantum_1.isOrthomodular)(L, 20)).toBe(true);
+    });
+    (0, vitest_1.it)('R^2 es modular pero NO distributivo — combinación que separa booleano de quantum', () => {
+        const L = (0, quantum_1.makeQuantumLattice)(2);
+        (0, vitest_1.expect)((0, quantum_1.isModular)(L, 30)).toBe(true);
+        (0, vitest_1.expect)((0, quantum_1.isDistributive)(L, 30)).toBe(false);
+    });
+});
+(0, vitest_1.describe)('quantum logic — Kochen–Specker', () => {
+    (0, vitest_1.it)('findOrthogonalTriples: detecta la única base ortogonal canónica en R^3', () => {
+        const v = [(0, quantum_1.vec)([1, 0, 0]), (0, quantum_1.vec)([0, 1, 0]), (0, quantum_1.vec)([0, 0, 1])];
+        const triples = (0, quantum_1.findOrthogonalTriples)(v);
+        (0, vitest_1.expect)(triples).toEqual([[0, 1, 2]]);
+    });
+    (0, vitest_1.it)('configuración trivial (una base ortonormal) SÍ es coloreable', () => {
+        const v = [(0, quantum_1.vec)([1, 0, 0]), (0, quantum_1.vec)([0, 1, 0]), (0, quantum_1.vec)([0, 0, 1])];
+        const triples = (0, quantum_1.findOrthogonalTriples)(v);
+        (0, vitest_1.expect)(triples.length).toBe(1);
+        (0, vitest_1.expect)((0, quantum_1.isKSColorable)({ vectors: v, orthoTriples: triples })).toBe(true);
+    });
+    (0, vitest_1.it)('dos bases que comparten un eje en R^3: el eje compartido todavía permite coloración', () => {
+        const s = 1 / Math.sqrt(2);
+        const v = [(0, quantum_1.vec)([1, 0, 0]), (0, quantum_1.vec)([0, 1, 0]), (0, quantum_1.vec)([0, 0, 1]), (0, quantum_1.vec)([0, s, s]), (0, quantum_1.vec)([0, s, -s])];
+        const triples = (0, quantum_1.findOrthogonalTriples)(v);
+        (0, vitest_1.expect)(triples.length).toBeGreaterThanOrEqual(2);
+        (0, vitest_1.expect)((0, quantum_1.isKSColorable)({ vectors: v, orthoTriples: triples })).toBe(true);
+    });
+    (0, vitest_1.it)('rayo repetido en el mismo triple ⇒ no coloreable trivialmente', () => {
+        // Si por error armamos un triple con dos rayos iguales, la
+        // restricción "exactamente un 1" se vuelve imposible.
+        const v = [(0, quantum_1.vec)([1, 0, 0]), (0, quantum_1.vec)([2, 0, 0]), (0, quantum_1.vec)([0, 1, 0])];
+        const cfg = { vectors: v, orthoTriples: [[0, 1, 2]] };
+        (0, vitest_1.expect)((0, quantum_1.isKSColorable)(cfg)).toBe(false);
+    });
+    (0, vitest_1.it)('kochenSpeckerTheorem3D devuelve un set R^3 estilo-Peres con varios triples', () => {
+        const cfg = (0, quantum_1.kochenSpeckerTheorem3D)();
+        (0, vitest_1.expect)(cfg.vectors.length).toBeGreaterThanOrEqual(13);
+        (0, vitest_1.expect)(cfg.orthoTriples.length).toBeGreaterThanOrEqual(3);
+        // Todos los vectores son R^3
+        for (const v of cfg.vectors)
+            (0, vitest_1.expect)(v.values.length).toBe(3);
+    });
+    (0, vitest_1.it)('Cabello-18 tiene 18 vectores en R^4 y 9 contextos', () => {
+        const { vectors, contexts } = (0, quantum_1.kochenSpeckerCabello18)();
+        (0, vitest_1.expect)(vectors.length).toBe(18);
+        (0, vitest_1.expect)(contexts.length).toBe(9);
+        for (const v of vectors)
+            (0, vitest_1.expect)(v.values.length).toBe(4);
+        // Cada vector aparece en exactamente 2 contextos.
+        const appearance = new Array(vectors.length).fill(0);
+        for (const ctx of contexts)
+            for (const i of ctx)
+                appearance[i]++;
+        (0, vitest_1.expect)(appearance.every((c) => c === 2)).toBe(true);
+    });
+    (0, vitest_1.it)('Cabello-18: cada contexto consta de 4 vectores mutuamente ortogonales', () => {
+        const { vectors, contexts } = (0, quantum_1.kochenSpeckerCabello18)();
+        for (const ctx of contexts) {
+            (0, vitest_1.expect)(ctx.length).toBe(4);
+            for (let i = 0; i < ctx.length; i++) {
+                for (let j = i + 1; j < ctx.length; j++) {
+                    const d = (0, quantum_1.dot)(vectors[ctx[i]], vectors[ctx[j]]);
+                    (0, vitest_1.expect)(d).toBeCloseTo(0, 9);
+                }
+            }
+        }
+    });
+    (0, vitest_1.it)('TEOREMA Kochen-Specker (Cabello-18): la configuración NO es coloreable', () => {
+        const { vectors, contexts } = (0, quantum_1.kochenSpeckerCabello18)();
+        (0, vitest_1.expect)((0, quantum_1.isKSColorableContexts)(vectors, contexts)).toBe(false);
+    });
+    (0, vitest_1.it)('parity argument: 9 contextos × 1 uno/ctx = 9 (impar) vs 2 apariciones/vec = par ⇒ no coloreable', () => {
+        // Sanity check del razonamiento detrás del KS Cabello-18.
+        const { contexts } = (0, quantum_1.kochenSpeckerCabello18)();
+        (0, vitest_1.expect)(contexts.length % 2).toBe(1); // 9 es impar
+        const slots = contexts.reduce((s, c) => s + c.length, 0);
+        (0, vitest_1.expect)(slots).toBe(36); // 9 × 4
+        (0, vitest_1.expect)((slots / 2) % 2).toBe(0); // cada vector ocupa 2 slots ⇒ par
+    });
+});
+//# sourceMappingURL=quantum.test.js.map

package/dist/tests/logic/profiles/quantum/quantum.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"quantum.test.js","sourceRoot":"","sources":["../../../../../src/tests/logic/profiles/quantum/quantum.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,gEAwB4C;AAE5C,IAAA,iBAAQ,EAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,EAAE,GAAG,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,EAAE,GAAG,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,IAAA,aAAG,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,cAAI,EAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAG,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtB,MAAM,CAAC,GAAG,IAAA,mBAAS,EAAC,CAAC,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,IAAA,cAAI,EAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,mBAAS,EAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,IAAA,eAAM,EAAC,IAAA,sBAAY,EAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,IAAA,sBAAY,EAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,KAAK,GAAG,IAAA,0BAAgB,EAAC,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjF,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,KAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC9B,KAAK,MAAM,CAAC,IAAI,KAAM;YAAE,IAAA,eAAM,EAAC,IAAA,cAAI,EAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC1D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAM,CAAC,MAAM,EAAE,CAAC,EAAE;YACpC,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAM,CAAC,MAAM,EAAE,CAAC,EAAE;gBACxC,IAAA,eAAM,EAAC,IAAA,aAAG,EAAC,KAAM,CAAC,CAAC,CAAC,EAAE,KAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,KAAK,GAAG,IAAA,0BAAgB,EAAC,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjF,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,KAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG,IAAA,cAAI,EAAC,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAG,IAAA,cAAI,EAAC,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,KAAK,GAAG,IAAA,cAAI,EAAC,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACrD,MAAM,KAAK,GAAG,IAAA,cAAI,EAAC,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,KAAK,GAAG,IAAA,cAAI,EAAC,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,IAAA,qBAAW,EAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAA,qBAAW,EAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,EAAE,GAAG,IAAA,cAAI,EAAC,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClD,MAAM,CAAC,GAAG,IAAA,cAAI,EAAC,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,CAAC,GAAG,IAAA,cAAI,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,EAAE,GAAG,IAAA,cAAI,EAAC,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClD,MAAM,EAAE,GAAG,IAAA,cAAI,EAAC,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClD,MAAM,CAAC,GAAG,IAAA,cAAI,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,KAAK,GAAG,IAAA,cAAI,EAAC,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,IAAA,wBAAc,EAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,CAAC,GAAG,IAAA,cAAI,EAAC,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,CAAC,GAAG,IAAA,cAAI,EAAC,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,CAAC,GAAG,IAAA,cAAI,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACrB,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,EAAE,GAAG,IAAA,cAAI,EAAC,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAClC,MAAM,IAAI,GAAG,IAAA,yBAAe,EAAC,EAAE,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,wBAAc,EAAC,IAAI,EAAE,IAAA,cAAI,EAAC,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,CAAC,GAAG,IAAA,cAAI,EAAC,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjD,MAAM,SAAS,GAAG,IAAA,yBAAe,EAAC,IAAA,yBAAe,EAAC,CAAC,CAAC,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,IAAA,wBAAc,EAAC,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,IAAA,sBAAY,EAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,CAAC,GAAG,IAAA,qBAAW,EAAC,CAAC,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,IAAA,wBAAc,EAAC,IAAA,yBAAe,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,IAAA,wBAAc,EAAC,IAAA,yBAAe,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,2DAA2D,EAAE,GAAG,EAAE;IACzE,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAG,IAAA,4BAAkB,EAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,+DAA+D;QAC/D,gEAAgE;QAChE,+DAA+D;QAC/D,MAAM,CAAC,GAAG,IAAA,4BAAkB,EAAC,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,GAAG,IAAA,cAAI,EAAC,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACjC,MAAM,CAAC,GAAG,IAAA,cAAI,EAAC,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACjC,MAAM,CAAC,GAAG,IAAA,cAAI,EAAC,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACjC,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,wBAAc,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2EAA2E,EAAE,GAAG,EAAE;QACnF,MAAM,CAAC,GAAG,IAAA,4BAAkB,EAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,wBAAc,EAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,MAAM,CAAC,GAAG,IAAA,4BAAkB,EAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,wBAAc,EAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,CAAC,GAAG,IAAA,4BAAkB,EAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,mBAAS,EAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,CAAC,GAAG,IAAA,4BAAkB,EAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,wBAAc,EAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kFAAkF,EAAE,GAAG,EAAE;QAC1F,MAAM,CAAC,GAAG,IAAA,4BAAkB,EAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,mBAAS,EAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,wBAAc,EAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,CAAC,GAAG,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3D,MAAM,OAAO,GAAG,IAAA,+BAAqB,EAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,CAAC,GAAG,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3D,MAAM,OAAO,GAAG,IAAA,+BAAqB,EAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,uBAAa,EAAC,EAAE,OAAO,EAAE,CAAC,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qFAAqF,EAAE,GAAG,EAAE;QAC7F,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,CAAC,GAAG,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5F,MAAM,OAAO,GAAG,IAAA,+BAAqB,EAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,IAAA,uBAAa,EAAC,EAAE,OAAO,EAAE,CAAC,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,2DAA2D;QAC3D,sDAAsD;QACtD,MAAM,CAAC,GAAG,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3D,MAAM,GAAG,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAoC,EAAE,CAAC;QACzF,IAAA,eAAM,EAAC,IAAA,uBAAa,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,MAAM,GAAG,GAAG,IAAA,gCAAsB,GAAE,CAAC;QACrC,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QAC1D,6BAA6B;QAC7B,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,OAAO;YAAE,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,IAAA,gCAAsB,GAAE,CAAC;QACvD,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,KAAK,MAAM,CAAC,IAAI,OAAO;YAAE,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzD,kDAAkD;QAClD,MAAM,UAAU,GAAG,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrD,KAAK,MAAM,GAAG,IAAI,QAAQ;YAAE,KAAK,MAAM,CAAC,IAAI,GAAG;gBAAE,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;QACjE,IAAA,eAAM,EAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,IAAA,gCAAsB,GAAE,CAAC;QACvD,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;YAC3B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACpC,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACxC,MAAM,CAAC,GAAG,IAAA,aAAG,EAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;oBAChD,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBAC9B,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,IAAA,gCAAsB,GAAE,CAAC;QACvD,IAAA,eAAM,EAAC,IAAA,+BAAqB,EAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iGAAiG,EAAE,GAAG,EAAE;QACzG,0DAA0D;QAC1D,MAAM,EAAE,QAAQ,EAAE,GAAG,IAAA,gCAAsB,GAAE,CAAC;QAC9C,IAAA,eAAM,EAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa;QAClD,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ;QAChC,IAAA,eAAM,EAAC,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,kCAAkC;IACrE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}