@stevenvo780/st-lang 4.6.0 → 4.7.0

package/dist/tests/logic/modal-frame-axioms/frame-axioms.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"frame-axioms.test.js","sourceRoot":"","sources":["../../../../src/tests/logic/modal-frame-axioms/frame-axioms.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,+CAA+C;AAC/C,+DAA+D;;AAE/D,mCAA8C;AAC9C,mFAeoD;AAEpD,MAAM,CAAC,GAAG,IAAA,yBAAI,EAAC,GAAG,CAAC,CAAC;AACpB,MAAM,CAAC,GAAG,IAAA,yBAAI,EAAC,GAAG,CAAC,CAAC;AAEpB,+DAA+D;AAC/D,yBAAyB;AACzB,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,iDAAiD,EAAE,GAAG,EAAE;IAC/D,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,IAAA,eAAM,EAAC,IAAA,iCAAY,EAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,SAAS,EAAE,GAAG,EAAE;QACjB,IAAA,eAAM,EAAC,IAAA,iCAAY,EAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,aAAa,EAAE,GAAG,EAAE;QACrB,IAAA,eAAM,EAAC,IAAA,iCAAY,EAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,IAAA,eAAM,EAAC,IAAA,iCAAY,EAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,YAAY,EAAE,GAAG,EAAE;QACpB,IAAA,eAAM,EAAC,IAAA,iCAAY,EAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,IAAA,eAAM,EAAC,IAAA,iCAAY,EAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,8DAA8D;AAC9D,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,uDAAuD,EAAE,GAAG,EAAE;IACrE,MAAM,KAAK,GAAsD;QAC/D,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE;QAC3B,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE;QAC5B,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE;QAC5B,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE;QAC3B,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE;KAC5B,CAAC;IAEF,KAAK,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,KAAK,EAAE,CAAC;QACtC,IAAA,WAAE,EAAC,UAAU,KAAK,cAAc,MAAM,EAAE,EAAE,GAAG,EAAE;YAC7C,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,iCAAY,EAAC,KAAK,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7D,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,UAAU,KAAK,iBAAiB,EAAE,GAAG,EAAE;YACxC,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,iCAAY,EAAC,KAAK,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,gDAAgD;AAChD,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnE,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,CAAC,EAAE,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,IAAA,4BAAO,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,IAAA,uBAAE,EAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,gBAAgB,EAAE,GAAG,EAAE;IAC9B,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,IAAA,wBAAG,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,iCAAY,EAAC,GAAG,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,iCAAY,EAAC,GAAG,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,iCAAY,EAAC,GAAG,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,4BAA4B;AAC5B,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,4DAA4D,EAAE,GAAG,EAAE;IAC1E,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAG,IAAA,sCAAiB,EAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;QAC9B,IAAA,eAAM,EAAC,CAAC,CAAC,KAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,KAAM,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,CAAC,GAAG,IAAA,sCAAiB,EAAC,IAAA,wBAAG,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,CAAC,GAAG,IAAA,sCAAiB,EAAC,IAAA,wBAAG,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,aAAa,EAAE,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,IAAA,eAAM,EAAC,IAAA,sCAAiB,EAAC,IAAA,wBAAG,EAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,IAAA,sCAAiB,EAAC,IAAA,wBAAG,EAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnE,IAAA,eAAM,EAAC,IAAA,sCAAiB,EAAC,IAAA,wBAAG,EAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,+DAA+D;AAC/D,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,4CAA4C,EAAE,GAAG,EAAE;IAC1D,MAAM,QAAQ,GAAG;QACf,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,WAAW;QAC/B,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW;QACzC,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,EAAE,aAAa;KAC3C,CAAC;IAEF,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;YACnD,IAAI,IAAA,4BAAO,EAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;gBACtB,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACtC,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxC,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,uCAAuC;AACvC,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,wBAAwB;AACxB,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,0CAA0C,EAAE,GAAG,EAAE;IACxD,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,IAAA,eAAM,EAAC,IAAA,kCAAa,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,IAAA,kCAAa,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,IAAA,kCAAa,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,IAAA,eAAM,EAAC,IAAA,kCAAa,EAAC,IAAA,wBAAG,EAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,IAAA,kCAAa,EAAC,IAAA,wBAAG,EAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,GAAG,GAAG,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAA,kCAAa,EAAC,IAAA,wBAAG,EAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAA,kCAAa,EAAC,IAAA,wBAAG,EAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,GAAG,GAAG,IAAA,wBAAG,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,kCAAa,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3C,wEAAwE;QACxE,IAAA,eAAM,EAAC,IAAA,kCAAa,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/logic/mu-calculus/check.test.d.ts.map

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

package/dist/tests/logic/mu-calculus/check.test.js

@@ -0,0 +1,234 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const mu_calculus_1 = require("../../../logic/profiles/mu-calculus");
+// ── helpers para construir AST ────────────────────────────────
+const atom = (name) => ({ kind: 'atom', name });
+const v = (name) => ({ kind: 'var', name });
+const not = (arg) => ({ kind: 'not', arg });
+const and = (left, right) => ({ kind: 'and', left, right });
+const or = (left, right) => ({ kind: 'or', left, right });
+const box = (arg) => ({ kind: 'box', arg });
+const diamond = (arg) => ({ kind: 'diamond', arg });
+const mu = (bind, body) => ({ kind: 'mu', bind, body });
+const nu = (bind, body) => ({ kind: 'nu', bind, body });
+function k(states, transitions, labels = {}) {
+    const labelling = {};
+    for (const s of states)
+        labelling[s] = new Set(labels[s] ?? []);
+    return { states, transitions, labelling };
+}
+(0, vitest_1.describe)('μ-calculus — operadores modales base (◇/□)', () => {
+    // s0 --> s1{p}, s0 --> s2
+    const M = k(['s0', 's1', 's2'], [
+        ['s0', 's1'],
+        ['s0', 's2'],
+    ], { s1: ['p'] });
+    (0, vitest_1.it)('◇p: estados con algún sucesor que cumple p', () => {
+        const sat = (0, mu_calculus_1.modelCheck)(M, diamond(atom('p')));
+        (0, vitest_1.expect)(sat).toEqual(new Set(['s0']));
+    });
+    (0, vitest_1.it)('□p: estados cuyos sucesores TODOS cumplen p (deadlock incluido)', () => {
+        const sat = (0, mu_calculus_1.modelCheck)(M, box(atom('p')));
+        // s0: tiene un sucesor (s2) sin p ⇒ false
+        // s1, s2: deadlocks ⇒ vacuously true
+        (0, vitest_1.expect)(sat).toEqual(new Set(['s1', 's2']));
+    });
+    (0, vitest_1.it)('◇⊤ distingue deadlocks: solo estados con al menos un sucesor', () => {
+        const sat = (0, mu_calculus_1.modelCheck)(M, diamond(nu('T', v('T'))));
+        (0, vitest_1.expect)(sat).toEqual(new Set(['s0']));
+    });
+});
+(0, vitest_1.describe)('μ-calculus — least fixed-point (μ) y reachability', () => {
+    // Cadena: s0 -> s1 -> s2{p} -> s2 (auto-loop)
+    const M = k(['s0', 's1', 's2'], [
+        ['s0', 's1'],
+        ['s1', 's2'],
+        ['s2', 's2'],
+    ], { s2: ['p'] });
+    (0, vitest_1.it)('μX. p ∨ ◇X (EF p) — reachability hacia p', () => {
+        const phi = mu('X', or(atom('p'), diamond(v('X'))));
+        const sat = (0, mu_calculus_1.modelCheck)(M, phi);
+        (0, vitest_1.expect)(sat).toEqual(new Set(['s0', 's1', 's2']));
+    });
+    (0, vitest_1.it)('μX. p ∨ ◇X en grafo sin p alcanzable → ∅', () => {
+        const N = k(['a', 'b'], [['a', 'b']], {});
+        const phi = mu('X', or(atom('p'), diamond(v('X'))));
+        (0, vitest_1.expect)((0, mu_calculus_1.modelCheck)(N, phi)).toEqual(new Set());
+    });
+});
+(0, vitest_1.describe)('μ-calculus — greatest fixed-point (ν) e invariance', () => {
+    (0, vitest_1.it)('νX. p ∧ □X (AG p) — invariante sobre todos los caminos', () => {
+        // Todos los estados etiquetados p, con loop
+        const M = k(['s0', 's1'], [
+            ['s0', 's1'],
+            ['s1', 's0'],
+        ], { s0: ['p'], s1: ['p'] });
+        const phi = nu('X', and(atom('p'), box(v('X'))));
+        (0, vitest_1.expect)((0, mu_calculus_1.modelCheck)(M, phi)).toEqual(new Set(['s0', 's1']));
+    });
+    (0, vitest_1.it)('νX. p ∧ □X falla cuando algún estado alcanzable rompe p', () => {
+        const M = k(['s0', 's1', 's2'], [
+            ['s0', 's1'],
+            ['s1', 's2'],
+            ['s2', 's2'],
+        ], { s0: ['p'], s1: ['p'] });
+        const phi = nu('X', and(atom('p'), box(v('X'))));
+        // Ningún estado satisface AG p porque s2 (alcanzable desde todos) no la cumple
+        (0, vitest_1.expect)((0, mu_calculus_1.modelCheck)(M, phi)).toEqual(new Set());
+    });
+    (0, vitest_1.it)('νX. p ∧ ◇X (EG p) — existe camino infinito con p', () => {
+        // s0{p} -> s1{p} -> s0  (ciclo con p) ; s2{p} -> s3 (sin p, dead end)
+        const M = k(['s0', 's1', 's2', 's3'], [
+            ['s0', 's1'],
+            ['s1', 's0'],
+            ['s2', 's3'],
+        ], { s0: ['p'], s1: ['p'], s2: ['p'] });
+        const phi = nu('X', and(atom('p'), diamond(v('X'))));
+        (0, vitest_1.expect)((0, mu_calculus_1.modelCheck)(M, phi)).toEqual(new Set(['s0', 's1']));
+    });
+});
+(0, vitest_1.describe)('μ-calculus — Until (E[q U p])', () => {
+    (0, vitest_1.it)('μX. p ∨ (q ∧ ◇X) — alcanza p manteniendo q en el camino', () => {
+        // s0{q} -> s1{q} -> s2{p}; s0 -> s3 (sin q ni p)
+        const M = k(['s0', 's1', 's2', 's3'], [
+            ['s0', 's1'],
+            ['s1', 's2'],
+            ['s0', 's3'],
+        ], { s0: ['q'], s1: ['q'], s2: ['p'] });
+        const phi = mu('X', or(atom('p'), and(atom('q'), diamond(v('X')))));
+        // s2 cumple p ⇒ ok. s1 tiene q y sucesor s2 cumple φ. s0 tiene q y sucesor s1 cumple φ.
+        (0, vitest_1.expect)((0, mu_calculus_1.modelCheck)(M, phi)).toEqual(new Set(['s0', 's1', 's2']));
+    });
+    (0, vitest_1.it)('E[q U p] falla si el camino atraviesa estados sin q antes de p', () => {
+        // s0 (sin q) -> s1{p}: no satisface (necesita q en s0)
+        const M = k(['s0', 's1'], [['s0', 's1']], { s1: ['p'] });
+        const phi = mu('X', or(atom('p'), and(atom('q'), diamond(v('X')))));
+        (0, vitest_1.expect)((0, mu_calculus_1.modelCheck)(M, phi)).toEqual(new Set(['s1']));
+    });
+});
+(0, vitest_1.describe)('μ-calculus — alternation depth', () => {
+    (0, vitest_1.it)('proposición atómica: depth 0', () => {
+        (0, vitest_1.expect)((0, mu_calculus_1.alternationDepth)(atom('p'))).toBe(0);
+    });
+    (0, vitest_1.it)('un solo binder μ: depth 1', () => {
+        (0, vitest_1.expect)((0, mu_calculus_1.alternationDepth)(mu('X', or(atom('p'), diamond(v('X')))))).toBe(1);
+    });
+    (0, vitest_1.it)('un solo binder ν: depth 1', () => {
+        (0, vitest_1.expect)((0, mu_calculus_1.alternationDepth)(nu('X', and(atom('p'), box(v('X')))))).toBe(1);
+    });
+    (0, vitest_1.it)('μν alternantes: depth 2', () => {
+        // μX. νY. (p ∨ X) ∧ ◇Y
+        const phi = mu('X', nu('Y', and(or(atom('p'), v('X')), diamond(v('Y')))));
+        (0, vitest_1.expect)((0, mu_calculus_1.alternationDepth)(phi)).toBe(2);
+    });
+    (0, vitest_1.it)('μμ anidados sin alternancia: depth 1', () => {
+        const phi = mu('X', mu('Y', or(v('X'), v('Y'))));
+        (0, vitest_1.expect)((0, mu_calculus_1.alternationDepth)(phi)).toBe(1);
+    });
+});
+(0, vitest_1.describe)('μ-calculus — well-formedness', () => {
+    (0, vitest_1.it)('μX. p ∨ ◇X es positiva (X bajo 0 negaciones)', () => {
+        const phi = mu('X', or(atom('p'), diamond(v('X'))));
+        (0, vitest_1.expect)((0, mu_calculus_1.isWellFormed)(phi)).toBe(true);
+    });
+    (0, vitest_1.it)('μX. ¬X NO es bien formada (X bajo neg impar)', () => {
+        const phi = mu('X', not(v('X')));
+        (0, vitest_1.expect)((0, mu_calculus_1.isWellFormed)(phi)).toBe(false);
+    });
+    (0, vitest_1.it)('μX. ¬¬X es bien formada (X bajo neg par)', () => {
+        const phi = mu('X', not(not(v('X'))));
+        (0, vitest_1.expect)((0, mu_calculus_1.isWellFormed)(phi)).toBe(true);
+    });
+    (0, vitest_1.it)('detecta variables libres', () => {
+        const phi = or(atom('p'), v('X')); // X libre
+        (0, vitest_1.expect)((0, mu_calculus_1.isClosed)(phi)).toBe(false);
+        (0, vitest_1.expect)((0, mu_calculus_1.freeVars)(phi)).toEqual(new Set(['X']));
+    });
+    (0, vitest_1.it)('fórmula cerrada no reporta variables libres', () => {
+        const phi = nu('X', and(atom('p'), box(v('X'))));
+        (0, vitest_1.expect)((0, mu_calculus_1.isClosed)(phi)).toBe(true);
+        (0, vitest_1.expect)((0, mu_calculus_1.freeVars)(phi)).toEqual(new Set());
+    });
+    (0, vitest_1.it)('μX. p ∨ ◇(¬X) NO es bien formada — X bajo negación impar bajo ◇', () => {
+        const phi = mu('X', or(atom('p'), diamond(not(v('X')))));
+        (0, vitest_1.expect)((0, mu_calculus_1.isWellFormed)(phi)).toBe(false);
+    });
+});
+(0, vitest_1.describe)('μ-calculus — ctlToMu translator', () => {
+    (0, vitest_1.it)('EX p → ◇p', () => {
+        const mu1 = (0, mu_calculus_1.ctlToMu)({ kind: 'EX', arg: { kind: 'atom', name: 'p' } });
+        (0, vitest_1.expect)(mu1).toEqual({ kind: 'diamond', arg: { kind: 'atom', name: 'p' } });
+    });
+    (0, vitest_1.it)('AX p → □p', () => {
+        const mu1 = (0, mu_calculus_1.ctlToMu)({ kind: 'AX', arg: { kind: 'atom', name: 'p' } });
+        (0, vitest_1.expect)(mu1).toEqual({ kind: 'box', arg: { kind: 'atom', name: 'p' } });
+    });
+    (0, vitest_1.it)('EF p produce μX. p ∨ ◇X equivalente al manual', () => {
+        const M = k(['s0', 's1'], [['s0', 's1']], { s1: ['p'] });
+        const muForm = (0, mu_calculus_1.ctlToMu)({ kind: 'EF', arg: { kind: 'atom', name: 'p' } });
+        (0, vitest_1.expect)((0, mu_calculus_1.modelCheck)(M, muForm)).toEqual(new Set(['s0', 's1']));
+    });
+    (0, vitest_1.it)('AG p coincide con νX. p ∧ □X sobre modelos no triviales', () => {
+        const M = k(['s0', 's1'], [
+            ['s0', 's1'],
+            ['s1', 's0'],
+        ], { s0: ['p'], s1: ['p'] });
+        const auto = (0, mu_calculus_1.ctlToMu)({ kind: 'AG', arg: { kind: 'atom', name: 'p' } });
+        const manual = nu('X', and(atom('p'), box(v('X'))));
+        (0, vitest_1.expect)((0, mu_calculus_1.modelCheck)(M, auto)).toEqual((0, mu_calculus_1.modelCheck)(M, manual));
+        (0, vitest_1.expect)((0, mu_calculus_1.modelCheck)(M, auto)).toEqual(new Set(['s0', 's1']));
+    });
+    (0, vitest_1.it)('EG p detecta camino infinito con p', () => {
+        const M = k(['s0', 's1', 's2'], [
+            ['s0', 's1'],
+            ['s1', 's0'],
+            ['s2', 's2'],
+        ], { s0: ['p'], s1: ['p'] });
+        const phi = (0, mu_calculus_1.ctlToMu)({ kind: 'EG', arg: { kind: 'atom', name: 'p' } });
+        (0, vitest_1.expect)((0, mu_calculus_1.modelCheck)(M, phi)).toEqual(new Set(['s0', 's1']));
+    });
+    (0, vitest_1.it)('E[q U p] coincide con codificación manual', () => {
+        const M = k(['s0', 's1', 's2'], [
+            ['s0', 's1'],
+            ['s1', 's2'],
+        ], { s0: ['q'], s1: ['q'], s2: ['p'] });
+        const auto = (0, mu_calculus_1.ctlToMu)({
+            kind: 'EU',
+            left: { kind: 'atom', name: 'q' },
+            right: { kind: 'atom', name: 'p' },
+        });
+        (0, vitest_1.expect)((0, mu_calculus_1.modelCheck)(M, auto)).toEqual(new Set(['s0', 's1', 's2']));
+    });
+    (0, vitest_1.it)('not/and/or se traducen estructuralmente', () => {
+        const phi = (0, mu_calculus_1.ctlToMu)({
+            kind: 'and',
+            args: [
+                { kind: 'atom', name: 'p' },
+                { kind: 'not', arg: { kind: 'atom', name: 'q' } },
+            ],
+        });
+        const M = k(['s0', 's1'], [], { s0: ['p'], s1: ['p', 'q'] });
+        (0, vitest_1.expect)((0, mu_calculus_1.modelCheck)(M, phi)).toEqual(new Set(['s0']));
+    });
+});
+(0, vitest_1.describe)('μ-calculus — utilidades', () => {
+    (0, vitest_1.it)('muToString renderiza con símbolos estándar', () => {
+        const phi = mu('X', or(atom('p'), diamond(v('X'))));
+        (0, vitest_1.expect)((0, mu_calculus_1.muToString)(phi)).toBe('μX. (p ∨ ◇X)');
+    });
+    (0, vitest_1.it)('satisfiesAt es coherente con modelCheck', () => {
+        const M = k(['s0', 's1'], [['s0', 's1']], { s1: ['p'] });
+        const phi = diamond(atom('p'));
+        (0, vitest_1.expect)((0, mu_calculus_1.satisfiesAt)(M, phi, 's0')).toBe(true);
+        (0, vitest_1.expect)((0, mu_calculus_1.satisfiesAt)(M, phi, 's1')).toBe(false);
+    });
+    (0, vitest_1.it)('modelCheck lanza ante transición a estado desconocido', () => {
+        (0, vitest_1.expect)(() => (0, mu_calculus_1.modelCheck)({ states: ['s0'], transitions: [['s0', 'ghost']], labelling: { s0: new Set() } }, atom('p'))).toThrow(/estado desconocido/);
+    });
+    (0, vitest_1.it)('modelCheck lanza ante variable libre en evaluación', () => {
+        const M = k(['s0'], [], {});
+        (0, vitest_1.expect)(() => (0, mu_calculus_1.modelCheck)(M, v('X'))).toThrow(/variable libre/);
+    });
+});
+//# sourceMappingURL=check.test.js.map

package/dist/tests/logic/mu-calculus/check.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"check.test.js","sourceRoot":"","sources":["../../../../src/tests/logic/mu-calculus/check.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,qEAS6C;AAG7C,iEAAiE;AACjE,MAAM,IAAI,GAAG,CAAC,IAAY,EAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;AACnE,MAAM,CAAC,GAAG,CAAC,IAAY,EAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AAC/D,MAAM,GAAG,GAAG,CAAC,GAAc,EAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;AAClE,MAAM,GAAG,GAAG,CAAC,IAAe,EAAE,KAAgB,EAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;AAC7F,MAAM,EAAE,GAAG,CAAC,IAAe,EAAE,KAAgB,EAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;AAC3F,MAAM,GAAG,GAAG,CAAC,GAAc,EAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;AAClE,MAAM,OAAO,GAAG,CAAC,GAAc,EAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC;AAC1E,MAAM,EAAE,GAAG,CAAC,IAAY,EAAE,IAAe,EAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;AACtF,MAAM,EAAE,GAAG,CAAC,IAAY,EAAE,IAAe,EAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;AAEtF,SAAS,CAAC,CACR,MAAgB,EAChB,WAAoC,EACpC,SAAmC,EAAE;IAErC,MAAM,SAAS,GAAgC,EAAE,CAAC;IAClD,KAAK,MAAM,CAAC,IAAI,MAAM;QAAE,SAAS,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IAChE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC;AAC5C,CAAC;AAED,IAAA,iBAAQ,EAAC,4CAA4C,EAAE,GAAG,EAAE;IAC1D,0BAA0B;IAC1B,MAAM,CAAC,GAAG,CAAC,CACT,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EAClB;QACE,CAAC,IAAI,EAAE,IAAI,CAAC;QACZ,CAAC,IAAI,EAAE,IAAI,CAAC;KACb,EACD,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CACd,CAAC;IAEF,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,GAAG,GAAG,IAAA,wBAAU,EAAC,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,GAAG,GAAG,IAAA,wBAAU,EAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC1C,0CAA0C;QAC1C,qCAAqC;QACrC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,GAAG,GAAG,IAAA,wBAAU,EAAC,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mDAAmD,EAAE,GAAG,EAAE;IACjE,8CAA8C;IAC9C,MAAM,CAAC,GAAG,CAAC,CACT,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EAClB;QACE,CAAC,IAAI,EAAE,IAAI,CAAC;QACZ,CAAC,IAAI,EAAE,IAAI,CAAC;QACZ,CAAC,IAAI,EAAE,IAAI,CAAC;KACb,EACD,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CACd,CAAC;IAEF,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACpD,MAAM,GAAG,GAAG,IAAA,wBAAU,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC1C,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,IAAA,wBAAU,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oDAAoD,EAAE,GAAG,EAAE;IAClE,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,4CAA4C;QAC5C,MAAM,CAAC,GAAG,CAAC,CACT,CAAC,IAAI,EAAE,IAAI,CAAC,EACZ;YACE,CAAC,IAAI,EAAE,IAAI,CAAC;YACZ,CAAC,IAAI,EAAE,IAAI,CAAC;SACb,EACD,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CACzB,CAAC;QACF,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,IAAA,wBAAU,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,GAAG,CAAC,CACT,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EAClB;YACE,CAAC,IAAI,EAAE,IAAI,CAAC;YACZ,CAAC,IAAI,EAAE,IAAI,CAAC;YACZ,CAAC,IAAI,EAAE,IAAI,CAAC;SACb,EACD,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CACzB,CAAC;QACF,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACjD,+EAA+E;QAC/E,IAAA,eAAM,EAAC,IAAA,wBAAU,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,sEAAsE;QACtE,MAAM,CAAC,GAAG,CAAC,CACT,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EACxB;YACE,CAAC,IAAI,EAAE,IAAI,CAAC;YACZ,CAAC,IAAI,EAAE,IAAI,CAAC;YACZ,CAAC,IAAI,EAAE,IAAI,CAAC;SACb,EACD,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CACpC,CAAC;QACF,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,IAAA,wBAAU,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,iDAAiD;QACjD,MAAM,CAAC,GAAG,CAAC,CACT,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EACxB;YACE,CAAC,IAAI,EAAE,IAAI,CAAC;YACZ,CAAC,IAAI,EAAE,IAAI,CAAC;YACZ,CAAC,IAAI,EAAE,IAAI,CAAC;SACb,EACD,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CACpC,CAAC;QACF,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACpE,wFAAwF;QACxF,IAAA,eAAM,EAAC,IAAA,wBAAU,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,uDAAuD;QACvD,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACzD,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,IAAA,wBAAU,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,IAAA,eAAM,EAAC,IAAA,8BAAgB,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,IAAA,eAAM,EAAC,IAAA,8BAAgB,EAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,IAAA,eAAM,EAAC,IAAA,8BAAgB,EAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,uBAAuB;QACvB,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1E,IAAA,eAAM,EAAC,IAAA,8BAAgB,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,IAAA,8BAAgB,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,IAAA,0BAAY,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAA,0BAAY,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAA,0BAAY,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU;QAC7C,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,IAAA,0BAAY,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,IAAA,WAAE,EAAC,WAAW,EAAE,GAAG,EAAE;QACnB,MAAM,GAAG,GAAG,IAAA,qBAAO,EAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;QACtE,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,WAAW,EAAE,GAAG,EAAE;QACnB,MAAM,GAAG,GAAG,IAAA,qBAAO,EAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;QACtE,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACzD,MAAM,MAAM,GAAG,IAAA,qBAAO,EAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,IAAA,wBAAU,EAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,GAAG,CAAC,CACT,CAAC,IAAI,EAAE,IAAI,CAAC,EACZ;YACE,CAAC,IAAI,EAAE,IAAI,CAAC;YACZ,CAAC,IAAI,EAAE,IAAI,CAAC;SACb,EACD,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CACzB,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,qBAAO,EAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;QACvE,MAAM,MAAM,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,IAAA,wBAAU,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAA,wBAAU,EAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,IAAA,wBAAU,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,CAAC,CACT,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EAClB;YACE,CAAC,IAAI,EAAE,IAAI,CAAC;YACZ,CAAC,IAAI,EAAE,IAAI,CAAC;YACZ,CAAC,IAAI,EAAE,IAAI,CAAC;SACb,EACD,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CACzB,CAAC;QACF,MAAM,GAAG,GAAG,IAAA,qBAAO,EAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;QACtE,IAAA,eAAM,EAAC,IAAA,wBAAU,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,CAAC,CACT,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EAClB;YACE,CAAC,IAAI,EAAE,IAAI,CAAC;YACZ,CAAC,IAAI,EAAE,IAAI,CAAC;SACb,EACD,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CACpC,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,qBAAO,EAAC;YACnB,IAAI,EAAE,IAAI;YACV,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE;YACjC,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE;SACnC,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAA,wBAAU,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,GAAG,GAAG,IAAA,qBAAO,EAAC;YAClB,IAAI,EAAE,KAAK;YACX,IAAI,EAAE;gBACJ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE;gBAC3B,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE;aAClD;SACF,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,IAAA,wBAAU,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,IAAA,wBAAU,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACzD,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,IAAA,eAAM,EAAC,GAAG,EAAE,CACV,IAAA,wBAAU,EACR,EAAE,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,EAAE,IAAI,GAAG,EAAE,EAAE,EAAE,EAChF,IAAI,CAAC,GAAG,CAAC,CACV,CACF,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,wBAAU,EAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/logic/profile-bridge/translations.test.d.ts.map

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

package/dist/tests/logic/profile-bridge/translations.test.js

@@ -0,0 +1,266 @@
+"use strict";
+// ============================================================
+// ST Profile Bridge — Tests
+// ============================================================
+// Cubre: Glivenko ¬¬-translation, Gödel-McKinsey-Tarski □-embedding,
+// LTL→CTL, CTL→LTL, findTranslationPath, translateFormula round-trip.
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const profile_bridge_1 = require("../../../logic/profile-bridge");
+// ── Helpers ──────────────────────────────────────────────────
+const atom = (name) => ({ kind: 'atom', name });
+const not = (...args) => ({ kind: 'not', args });
+const and = (...args) => ({ kind: 'and', args });
+const implies = (a, b) => ({ kind: 'implies', args: [a, b] });
+const box = (f) => ({ kind: 'modal_necessity', args: [f] });
+const ltlAtom = (name) => ({ kind: 'atom', name });
+const ltlNot = (arg) => ({ kind: 'not', arg });
+const ltlAnd = (...args) => ({ kind: 'and', args });
+const ltlOr = (...args) => ({ kind: 'or', args });
+const ltlX = (arg) => ({ kind: 'X', arg });
+const ltlF = (arg) => ({ kind: 'F', arg });
+const ltlG = (arg) => ({ kind: 'G', arg });
+const ltlU = (l, r) => ({ kind: 'U', left: l, right: r });
+const ltlR = (l, r) => ({ kind: 'R', left: l, right: r });
+const ctlAtom = (name) => ({ kind: 'atom', name });
+const ctlNot = (arg) => ({ kind: 'not', arg });
+const ctlEX = (arg) => ({ kind: 'EX', arg });
+const ctlAF = (arg) => ({ kind: 'AF', arg });
+const ctlEG = (arg) => ({ kind: 'EG', arg });
+const ctlAU = (l, r) => ({ kind: 'AU', left: l, right: r });
+// ── Glivenko ¬¬-translation ───────────────────────────────────
+(0, vitest_1.describe)('Glivenko — ¬¬-translation (intuitionistic → classical)', () => {
+    (0, vitest_1.it)('P → ¬¬P: átomo se envuelve en doble negación', () => {
+        const result = (0, profile_bridge_1.glivenkoTranslation)(atom('P'));
+        // átomo P → ¬¬P
+        (0, vitest_1.expect)(result.kind).toBe('not');
+        const outer = result.args?.[0];
+        (0, vitest_1.expect)(outer?.kind).toBe('not');
+        (0, vitest_1.expect)(outer?.args?.[0]?.kind).toBe('atom');
+        (0, vitest_1.expect)(outer?.args?.[0]?.name).toBe('P');
+    });
+    (0, vitest_1.it)('¬P → ¬P: negación no acumula dobles negaciones adicionales', () => {
+        const result = (0, profile_bridge_1.glivenkoTranslation)(not(atom('P')));
+        // ¬P → ¬(glivenko(P)) = ¬(¬¬P)
+        (0, vitest_1.expect)(result.kind).toBe('not');
+        const inner = result.args?.[0];
+        // inner es la traducción de P = ¬¬P
+        (0, vitest_1.expect)(inner?.kind).toBe('not');
+    });
+    (0, vitest_1.it)('(P→Q) → ¬¬(¬¬P → ¬¬Q): implicación queda bajo ¬¬', () => {
+        const result = (0, profile_bridge_1.glivenkoTranslation)(implies(atom('P'), atom('Q')));
+        // implies se envuelve en ¬¬
+        (0, vitest_1.expect)(result.kind).toBe('not');
+        const level1 = result.args?.[0];
+        (0, vitest_1.expect)(level1?.kind).toBe('not');
+        const level2 = level1?.args?.[0];
+        // el contenido es implies con args traducidos
+        (0, vitest_1.expect)(level2?.kind).toBe('implies');
+    });
+    (0, vitest_1.it)('⊤ permanece sin cambios', () => {
+        const result = (0, profile_bridge_1.glivenkoTranslation)({ kind: 'true' });
+        (0, vitest_1.expect)(result.kind).toBe('true');
+    });
+    (0, vitest_1.it)('⊥ permanece sin cambios', () => {
+        const result = (0, profile_bridge_1.glivenkoTranslation)({ kind: 'false' });
+        (0, vitest_1.expect)(result.kind).toBe('false');
+    });
+    (0, vitest_1.it)('P∧Q → ¬¬(¬¬P ∧ ¬¬Q): conjunción bajo ¬¬', () => {
+        const result = (0, profile_bridge_1.glivenkoTranslation)(and(atom('P'), atom('Q')));
+        (0, vitest_1.expect)(result.kind).toBe('not');
+        const inner = result.args?.[0];
+        (0, vitest_1.expect)(inner?.kind).toBe('not');
+        const content = inner?.args?.[0];
+        (0, vitest_1.expect)(content?.kind).toBe('and');
+        (0, vitest_1.expect)(content?.args).toHaveLength(2);
+        // cada arg es ¬¬atom
+        (0, vitest_1.expect)(content?.args?.[0]?.kind).toBe('not');
+        (0, vitest_1.expect)(content?.args?.[1]?.kind).toBe('not');
+    });
+});
+// ── Gödel-McKinsey-Tarski □-embedding ────────────────────────
+(0, vitest_1.describe)('Gödel-McKinsey-Tarski — □-embedding (classical → S4)', () => {
+    (0, vitest_1.it)('P → □P: átomo se envuelve en □', () => {
+        const result = (0, profile_bridge_1.godelTranslation)(atom('P'));
+        (0, vitest_1.expect)(result.kind).toBe('modal_necessity');
+        (0, vitest_1.expect)(result.args?.[0]?.kind).toBe('atom');
+        (0, vitest_1.expect)(result.args?.[0]?.name).toBe('P');
+    });
+    (0, vitest_1.it)('¬P → □¬□P: negación queda bajo □', () => {
+        const result = (0, profile_bridge_1.godelTranslation)(not(atom('P')));
+        // ¬P → □¬(□P)
+        (0, vitest_1.expect)(result.kind).toBe('modal_necessity');
+        const inner = result.args?.[0];
+        (0, vitest_1.expect)(inner?.kind).toBe('not');
+        const doubleBoxed = inner?.args?.[0];
+        (0, vitest_1.expect)(doubleBoxed?.kind).toBe('modal_necessity');
+    });
+    (0, vitest_1.it)('P→Q → □(□P → □Q): implicación se empotra bajo □', () => {
+        const result = (0, profile_bridge_1.godelTranslation)(implies(atom('P'), atom('Q')));
+        (0, vitest_1.expect)(result.kind).toBe('modal_necessity');
+        const inner = result.args?.[0];
+        (0, vitest_1.expect)(inner?.kind).toBe('implies');
+        // ambos lados también son □
+        (0, vitest_1.expect)(inner?.args?.[0]?.kind).toBe('modal_necessity');
+        (0, vitest_1.expect)(inner?.args?.[1]?.kind).toBe('modal_necessity');
+    });
+    (0, vitest_1.it)('⊤ permanece sin cambios', () => {
+        const result = (0, profile_bridge_1.godelTranslation)({ kind: 'true' });
+        (0, vitest_1.expect)(result.kind).toBe('true');
+    });
+    (0, vitest_1.it)('P∧Q → □P ∧ □Q: conjunción distribuye sin □ extra', () => {
+        const result = (0, profile_bridge_1.godelTranslation)(and(atom('P'), atom('Q')));
+        // and no añade □ extra en la raíz
+        (0, vitest_1.expect)(result.kind).toBe('and');
+        (0, vitest_1.expect)(result.args?.[0]?.kind).toBe('modal_necessity');
+        (0, vitest_1.expect)(result.args?.[1]?.kind).toBe('modal_necessity');
+    });
+});
+// ── LTL → CTL ────────────────────────────────────────────────
+(0, vitest_1.describe)('LTL → CTL — embedding existencial', () => {
+    (0, vitest_1.it)('X p → EX p', () => {
+        const result = (0, profile_bridge_1.ltlToCTL)(ltlX(ltlAtom('p')));
+        (0, vitest_1.expect)(result.kind).toBe('EX');
+        const inner = result;
+        (0, vitest_1.expect)(inner.arg.kind).toBe('atom');
+    });
+    (0, vitest_1.it)('F p → EF p', () => {
+        const result = (0, profile_bridge_1.ltlToCTL)(ltlF(ltlAtom('p')));
+        (0, vitest_1.expect)(result.kind).toBe('EF');
+    });
+    (0, vitest_1.it)('G p → EG p', () => {
+        const result = (0, profile_bridge_1.ltlToCTL)(ltlG(ltlAtom('p')));
+        (0, vitest_1.expect)(result.kind).toBe('EG');
+    });
+    (0, vitest_1.it)('p U q → E[p U q]', () => {
+        const result = (0, profile_bridge_1.ltlToCTL)(ltlU(ltlAtom('p'), ltlAtom('q')));
+        (0, vitest_1.expect)(result.kind).toBe('EU');
+    });
+    (0, vitest_1.it)('p R q → ¬E[¬q U ¬p] (dualidad de release)', () => {
+        const result = (0, profile_bridge_1.ltlToCTL)(ltlR(ltlAtom('p'), ltlAtom('q')));
+        // ¬E[¬q U ¬p]
+        (0, vitest_1.expect)(result.kind).toBe('not');
+        const inner = result;
+        (0, vitest_1.expect)(inner.arg.kind).toBe('EU');
+    });
+    (0, vitest_1.it)('¬p ∧ (X q) → CTL equivalente', () => {
+        const ltlF = ltlAnd(ltlNot(ltlAtom('p')), ltlX(ltlAtom('q')));
+        const result = (0, profile_bridge_1.ltlToCTL)(ltlF);
+        (0, vitest_1.expect)(result.kind).toBe('and');
+        const r = result;
+        (0, vitest_1.expect)(r.args[0]?.kind).toBe('not');
+        (0, vitest_1.expect)(r.args[1]?.kind).toBe('EX');
+    });
+});
+// ── CTL → LTL ────────────────────────────────────────────────
+(0, vitest_1.describe)('CTL → LTL — aproximación lineal (partial)', () => {
+    (0, vitest_1.it)('EX p → X p', () => {
+        const result = (0, profile_bridge_1.ctlToLTL)(ctlEX(ctlAtom('p')));
+        (0, vitest_1.expect)(result.kind).toBe('X');
+    });
+    (0, vitest_1.it)('AF p → F p (A-operators se aproximan como E)', () => {
+        const result = (0, profile_bridge_1.ctlToLTL)(ctlAF(ctlAtom('p')));
+        (0, vitest_1.expect)(result.kind).toBe('F');
+    });
+    (0, vitest_1.it)('EG p → G p', () => {
+        const result = (0, profile_bridge_1.ctlToLTL)(ctlEG(ctlAtom('p')));
+        (0, vitest_1.expect)(result.kind).toBe('G');
+    });
+    (0, vitest_1.it)('A[p U q] → p U q', () => {
+        const result = (0, profile_bridge_1.ctlToLTL)(ctlAU(ctlAtom('p'), ctlAtom('q')));
+        (0, vitest_1.expect)(result.kind).toBe('U');
+    });
+});
+// ── findTranslationPath ───────────────────────────────────────
+(0, vitest_1.describe)('findTranslationPath — BFS sobre grafo de traducciones', () => {
+    (0, vitest_1.it)('intuitionistic → classical: ruta directa [intuit, classical]', () => {
+        const path = (0, profile_bridge_1.findTranslationPath)('intuitionistic', 'classical');
+        (0, vitest_1.expect)(path).toEqual(['intuitionistic', 'classical']);
+    });
+    (0, vitest_1.it)('intuitionistic → S4: ruta directa disponible', () => {
+        const path = (0, profile_bridge_1.findTranslationPath)('intuitionistic', 'S4');
+        (0, vitest_1.expect)(path).not.toBeNull();
+        (0, vitest_1.expect)(path[0]).toBe('intuitionistic');
+        (0, vitest_1.expect)(path[path.length - 1]).toBe('S4');
+    });
+    (0, vitest_1.it)('classical → S4: ruta directa [classical, S4]', () => {
+        const path = (0, profile_bridge_1.findTranslationPath)('classical', 'S4');
+        (0, vitest_1.expect)(path).toEqual(['classical', 'S4']);
+    });
+    (0, vitest_1.it)('LTL → CTL: ruta directa [LTL, CTL]', () => {
+        const path = (0, profile_bridge_1.findTranslationPath)('LTL', 'CTL');
+        (0, vitest_1.expect)(path).toEqual(['LTL', 'CTL']);
+    });
+    (0, vitest_1.it)('mismo perfil devuelve [perfil] sin traducciones', () => {
+        (0, vitest_1.expect)((0, profile_bridge_1.findTranslationPath)('classical', 'classical')).toEqual(['classical']);
+        (0, vitest_1.expect)((0, profile_bridge_1.findTranslationPath)('LTL', 'LTL')).toEqual(['LTL']);
+    });
+    (0, vitest_1.it)('S4 → intuitionistic: no hay ruta disponible → null', () => {
+        const path = (0, profile_bridge_1.findTranslationPath)('S4', 'intuitionistic');
+        (0, vitest_1.expect)(path).toBeNull();
+    });
+});
+// ── translateFormula (API de alto nivel) ──────────────────────
+(0, vitest_1.describe)('translateFormula — traducción de alto nivel', () => {
+    (0, vitest_1.it)('traduce átomo intuicionista → clásico (Glivenko)', () => {
+        const result = (0, profile_bridge_1.translateFormula)({ profile: 'intuitionistic', ast: atom('P') }, 'classical');
+        (0, vitest_1.expect)(result).not.toBeNull();
+        (0, vitest_1.expect)(result.profile).toBe('classical');
+        // resultado es ¬¬P
+        (0, vitest_1.expect)(result.ast.kind).toBe('not');
+    });
+    (0, vitest_1.it)('traduce átomo clásico → S4 (Gödel)', () => {
+        const result = (0, profile_bridge_1.translateFormula)({ profile: 'classical', ast: atom('P') }, 'S4');
+        (0, vitest_1.expect)(result).not.toBeNull();
+        (0, vitest_1.expect)(result.profile).toBe('S4');
+        (0, vitest_1.expect)(result.ast.kind).toBe('modal_necessity');
+    });
+    (0, vitest_1.it)('traduce fórmula LTL → CTL', () => {
+        const f = ltlF(ltlAtom('goal'));
+        const result = (0, profile_bridge_1.translateFormula)({ profile: 'LTL', ast: f }, 'CTL');
+        (0, vitest_1.expect)(result).not.toBeNull();
+        (0, vitest_1.expect)(result.profile).toBe('CTL');
+        (0, vitest_1.expect)(result.ast.kind).toBe('EF');
+    });
+    (0, vitest_1.it)('devuelve null si no hay ruta disponible', () => {
+        const result = (0, profile_bridge_1.translateFormula)({ profile: 'S4', ast: atom('X') }, 'fuzzy');
+        (0, vitest_1.expect)(result).toBeNull();
+    });
+    (0, vitest_1.it)('mismo perfil → devuelve fórmula sin modificar', () => {
+        const f = atom('P');
+        const result = (0, profile_bridge_1.translateFormula)({ profile: 'classical', ast: f }, 'classical');
+        (0, vitest_1.expect)(result).not.toBeNull();
+        (0, vitest_1.expect)(result.ast).toBe(f);
+    });
+});
+// ── TRANSLATIONS registro ─────────────────────────────────────
+(0, vitest_1.describe)('TRANSLATIONS — estructura del registro', () => {
+    (0, vitest_1.it)('contiene al menos 5 traducciones registradas', () => {
+        (0, vitest_1.expect)(profile_bridge_1.TRANSLATIONS.length).toBeGreaterThanOrEqual(5);
+    });
+    (0, vitest_1.it)('todas las entradas tienen source, target, translate y validity', () => {
+        for (const t of profile_bridge_1.TRANSLATIONS) {
+            (0, vitest_1.expect)(t.source).toBeTruthy();
+            (0, vitest_1.expect)(t.target).toBeTruthy();
+            (0, vitest_1.expect)(typeof t.translate).toBe('function');
+            (0, vitest_1.expect)(['preserved', 'one-way', 'partial']).toContain(t.validity);
+        }
+    });
+    (0, vitest_1.it)('intuitionistic→classical está marcada como preserved', () => {
+        const t = profile_bridge_1.TRANSLATIONS.find((x) => x.source === 'intuitionistic' && x.target === 'classical');
+        (0, vitest_1.expect)(t).toBeDefined();
+        (0, vitest_1.expect)(t.validity).toBe('preserved');
+    });
+    (0, vitest_1.it)('CTL→LTL está marcada como partial', () => {
+        const t = profile_bridge_1.TRANSLATIONS.find((x) => x.source === 'CTL' && x.target === 'LTL');
+        (0, vitest_1.expect)(t).toBeDefined();
+        (0, vitest_1.expect)(t.validity).toBe('partial');
+    });
+    (0, vitest_1.it)('LTL→CTL está marcada como one-way', () => {
+        const t = profile_bridge_1.TRANSLATIONS.find((x) => x.source === 'LTL' && x.target === 'CTL');
+        (0, vitest_1.expect)(t).toBeDefined();
+        (0, vitest_1.expect)(t.validity).toBe('one-way');
+    });
+});
+//# sourceMappingURL=translations.test.js.map

package/dist/tests/logic/profile-bridge/translations.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"translations.test.js","sourceRoot":"","sources":["../../../../src/tests/logic/profile-bridge/translations.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,4BAA4B;AAC5B,+DAA+D;AAC/D,qEAAqE;AACrE,sEAAsE;AACtE,+DAA+D;;AAE/D,mCAA8C;AAC9C,kEAQuC;AAKvC,gEAAgE;AAEhE,MAAM,IAAI,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;AACjE,MAAM,GAAG,GAAG,CAAC,GAAG,IAAe,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AACrE,MAAM,GAAG,GAAG,CAAC,GAAG,IAAe,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AACrE,MAAM,OAAO,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AACzF,MAAM,GAAG,GAAG,CAAC,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AAE9E,MAAM,OAAO,GAAG,CAAC,IAAY,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;AACvE,MAAM,MAAM,GAAG,CAAC,GAAe,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;AACvE,MAAM,MAAM,GAAG,CAAC,GAAG,IAAkB,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AAC9E,MAAM,KAAK,GAAG,CAAC,GAAG,IAAkB,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;AAC5E,MAAM,IAAI,GAAG,CAAC,GAAe,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AACnE,MAAM,IAAI,GAAG,CAAC,GAAe,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AACnE,MAAM,IAAI,GAAG,CAAC,GAAe,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AACnE,MAAM,IAAI,GAAG,CAAC,CAAa,EAAE,CAAa,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;AAC9F,MAAM,IAAI,GAAG,CAAC,CAAa,EAAE,CAAa,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;AAE9F,MAAM,OAAO,GAAG,CAAC,IAAY,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;AACvE,MAAM,MAAM,GAAG,CAAC,GAAe,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;AACvE,MAAM,KAAK,GAAG,CAAC,GAAe,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AACrE,MAAM,KAAK,GAAG,CAAC,GAAe,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AACrE,MAAM,KAAK,GAAG,CAAC,GAAe,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AACrE,MAAM,KAAK,GAAG,CAAC,CAAa,EAAE,CAAa,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;AAEhG,iEAAiE;AAEjE,IAAA,iBAAQ,EAAC,wDAAwD,EAAE,GAAG,EAAE;IACtE,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,MAAM,GAAG,IAAA,oCAAmB,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9C,gBAAgB;QAChB,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChC,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,MAAM,GAAG,IAAA,oCAAmB,EAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACnD,+BAA+B;QAC/B,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChC,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/B,oCAAoC;QACpC,IAAA,eAAM,EAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,MAAM,GAAG,IAAA,oCAAmB,EAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAClE,4BAA4B;QAC5B,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChC,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,MAAM,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,MAAM,MAAM,GAAG,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QACjC,8CAA8C;QAC9C,IAAA,eAAM,EAAC,MAAM,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,MAAM,GAAG,IAAA,oCAAmB,EAAC,EAAE,IAAI,EAAE,MAAM,EAAa,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,MAAM,GAAG,IAAA,oCAAmB,EAAC,EAAE,IAAI,EAAE,OAAO,EAAa,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,MAAM,GAAG,IAAA,oCAAmB,EAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChC,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChC,MAAM,OAAO,GAAG,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,OAAO,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,OAAO,EAAE,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACtC,qBAAqB;QACrB,IAAA,eAAM,EAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,sDAAsD,EAAE,GAAG,EAAE;IACpE,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,MAAM,GAAG,IAAA,iCAAgB,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,MAAM,GAAG,IAAA,iCAAgB,EAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAChD,cAAc;QACd,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QAC5C,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChC,MAAM,WAAW,GAAG,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,WAAW,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,MAAM,GAAG,IAAA,iCAAgB,EAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QAC5C,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACpC,4BAA4B;QAC5B,IAAA,eAAM,EAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,MAAM,GAAG,IAAA,iCAAgB,EAAC,EAAE,IAAI,EAAE,MAAM,EAAa,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,MAAM,GAAG,IAAA,iCAAgB,EAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3D,kCAAkC;QAClC,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,IAAA,WAAE,EAAC,YAAY,EAAE,GAAG,EAAE;QACpB,MAAM,MAAM,GAAG,IAAA,yBAAQ,EAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/B,MAAM,KAAK,GAAG,MAAyC,CAAC;QACxD,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,YAAY,EAAE,GAAG,EAAE;QACpB,MAAM,MAAM,GAAG,IAAA,yBAAQ,EAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,YAAY,EAAE,GAAG,EAAE;QACpB,MAAM,MAAM,GAAG,IAAA,yBAAQ,EAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,MAAM,MAAM,GAAG,IAAA,yBAAQ,EAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,MAAM,GAAG,IAAA,yBAAQ,EAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC1D,cAAc;QACd,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChC,MAAM,KAAK,GAAG,MAA0C,CAAC;QACzD,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC9D,MAAM,MAAM,GAAG,IAAA,yBAAQ,EAAC,IAAI,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChC,MAAM,CAAC,GAAG,MAA6C,CAAC;QACxD,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,2CAA2C,EAAE,GAAG,EAAE;IACzD,IAAA,WAAE,EAAC,YAAY,EAAE,GAAG,EAAE;QACpB,MAAM,MAAM,GAAG,IAAA,yBAAQ,EAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,MAAM,GAAG,IAAA,yBAAQ,EAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,YAAY,EAAE,GAAG,EAAE;QACpB,MAAM,MAAM,GAAG,IAAA,yBAAQ,EAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,MAAM,MAAM,GAAG,IAAA,yBAAQ,EAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iEAAiE;AAEjE,IAAA,iBAAQ,EAAC,uDAAuD,EAAE,GAAG,EAAE;IACrE,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,IAAI,GAAG,IAAA,oCAAmB,EAAC,gBAAgB,EAAE,WAAW,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,gBAAgB,EAAE,WAAW,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,IAAI,GAAG,IAAA,oCAAmB,EAAC,gBAAgB,EAAE,IAAI,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC5B,IAAA,eAAM,EAAC,IAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAK,CAAC,IAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,IAAI,GAAG,IAAA,oCAAmB,EAAC,WAAW,EAAE,IAAI,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,IAAI,GAAG,IAAA,oCAAmB,EAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,IAAA,eAAM,EAAC,IAAA,oCAAmB,EAAC,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;QAC7E,IAAA,eAAM,EAAC,IAAA,oCAAmB,EAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,IAAI,GAAG,IAAA,oCAAmB,EAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC1B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iEAAiE;AAEjE,IAAA,iBAAQ,EAAC,6CAA6C,EAAE,GAAG,EAAE;IAC3D,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,MAAM,GAAG,IAAA,iCAAgB,EAAC,EAAE,OAAO,EAAE,gBAAgB,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;QAC5F,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC9B,IAAA,eAAM,EAAC,MAAO,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC1C,mBAAmB;QACnB,IAAA,eAAM,EAAE,MAAO,CAAC,GAAe,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,MAAM,GAAG,IAAA,iCAAgB,EAAC,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAChF,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC9B,IAAA,eAAM,EAAC,MAAO,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAE,MAAO,CAAC,GAAe,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,CAAC,GAAe,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;QAC5C,MAAM,MAAM,GAAG,IAAA,iCAAgB,EAAC,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QACnE,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC9B,IAAA,eAAM,EAAC,MAAO,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpC,IAAA,eAAM,EAAE,MAAO,CAAC,GAAkB,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,MAAM,GAAG,IAAA,iCAAgB,EAAC,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;QAC5E,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,MAAM,MAAM,GAAG,IAAA,iCAAgB,EAAC,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;QAC/E,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC9B,IAAA,eAAM,EAAC,MAAO,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iEAAiE;AAEjE,IAAA,iBAAQ,EAAC,wCAAwC,EAAE,GAAG,EAAE;IACtD,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,IAAA,eAAM,EAAC,6BAAY,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,KAAK,MAAM,CAAC,IAAI,6BAAY,EAAE,CAAC;YAC7B,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,CAAC;YAC9B,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,CAAC;YAC9B,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC5C,IAAA,eAAM,EAAC,CAAC,WAAW,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACpE,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,CAAC,GAAG,6BAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,gBAAgB,IAAI,CAAC,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC;QAC9F,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;QACxB,IAAA,eAAM,EAAC,CAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG,6BAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,KAAK,IAAI,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC,CAAC;QAC7E,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;QACxB,IAAA,eAAM,EAAC,CAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG,6BAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,KAAK,IAAI,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC,CAAC;QAC7E,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;QACxB,IAAA,eAAM,EAAC,CAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

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