@stevenvo780/st-lang 4.6.0 → 4.8.0

package/dist/tests/logic/description-logic/alc.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"alc.test.js","sourceRoot":"","sources":["../../../../src/tests/logic/description-logic/alc.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,8CAA8C;AAC9C,+DAA+D;;AAE/D,mCAA8C;AAC9C,iFAuBmD;AAEnD,IAAA,iBAAQ,EAAC,WAAW,EAAE,GAAG,EAAE;IACzB,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,IAAA,uBAAG,EAAC,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,IAAA,sBAAE,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9D,MAAM,CAAC,GAAG,IAAA,yBAAK,EAAC,CAAC,CAAC,CAAC;QACnB,kCAAkC;QAClC,IAAA,eAAM,EAAC,IAAA,gCAAY,EAAC,CAAC,EAAE,IAAA,sBAAE,EAAC,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,uBAAG,EAAC,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CACzF,IAAI,CACL,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,IAAA,eAAM,EAAC,IAAA,gCAAY,EAAC,IAAA,yBAAK,EAAC,IAAA,uBAAG,EAAC,uBAAG,CAAC,CAAC,EAAE,0BAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,IAAA,gCAAY,EAAC,IAAA,yBAAK,EAAC,IAAA,uBAAG,EAAC,0BAAM,CAAC,CAAC,EAAE,uBAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,CAAC,GAAG,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,IAAA,gCAAY,EAAC,IAAA,yBAAK,EAAC,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,uBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjF,IAAA,eAAM,EAAC,IAAA,gCAAY,EAAC,IAAA,yBAAK,EAAC,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,uBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,IAAA,eAAM,EAAC,IAAA,mCAAe,EAAC,uBAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,mCAAe,EAAC,0BAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAA,mCAAe,EAAC,IAAA,0BAAM,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,IAAA,mCAAe,EAAC,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,IAAA,mCAAe,EAAC,IAAA,0BAAM,EAAC,UAAU,EAAE,IAAA,0BAAM,EAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QACvF,IAAA,eAAM,EAAC,IAAA,mCAAe,EAAC,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,IAAA,mCAAe,EAAC,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,IAAA,mCAAe,EAAC,IAAA,sBAAE,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAG,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC;QACxC,MAAM,CAAC,GAAG,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAA,+BAAW,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAA,+BAAW,EAAC,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,IAAA,eAAM,EAAC,IAAA,iCAAa,EAAC,uBAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,IAAA,eAAM,EAAC,IAAA,iCAAa,EAAC,0BAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EAAC,IAAA,iCAAa,EAAC,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,IAAA,eAAM,EAAC,IAAA,iCAAa,EAAC,IAAA,sBAAE,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,IAAA,eAAM,EAAC,IAAA,iCAAa,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,IAAA,eAAM,EAAC,IAAA,iCAAa,EAAC,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,IAAA,eAAM,EAAC,IAAA,iCAAa,EAAC,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,CAAC,GAAG,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,IAAA,iCAAa,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,GAAG,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAClE,IAAA,eAAM,EAAC,IAAA,iCAAa,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,GAAG,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,IAAA,iCAAa,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,CAAC,GAAG,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,EAAE,0BAAM,CAAC,EAAE,IAAA,0BAAM,EAAC,GAAG,EAAE,uBAAG,CAAC,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,IAAA,iCAAa,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,IAAA,iCAAa,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,IAAA,WAAE,EAAC,WAAW,EAAE,GAAG,EAAE;QACnB,IAAA,eAAM,EAAC,IAAA,8BAAU,EAAC,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,WAAW,EAAE,GAAG,EAAE;QACnB,IAAA,eAAM,EAAC,IAAA,8BAAU,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,IAAA,sBAAE,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,IAAA,eAAM,EAAC,IAAA,8BAAU,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,IAAA,eAAM,EAAC,IAAA,8BAAU,EAAC,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,sBAAE,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAC1F,IAAI,CACL,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EACJ,IAAA,8BAAU,EACR,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,EACvD,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAC3C,CACF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACf,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,IAAA,eAAM,EAAC,IAAA,8BAAU,EAAC,0BAAM,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,IAAA,eAAM,EAAC,IAAA,8BAAU,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,uBAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,MAAM,EAAE,GAAoB;QAC1B,IAAI,EAAE,CAAC,IAAA,4BAAQ,EAAC,IAAA,0BAAM,EAAC,KAAK,CAAC,EAAE,IAAA,0BAAM,EAAC,QAAQ,CAAC,CAAC,EAAE,IAAA,4BAAQ,EAAC,IAAA,0BAAM,EAAC,QAAQ,CAAC,EAAE,IAAA,0BAAM,EAAC,QAAQ,CAAC,CAAC,CAAC;QAC/F,IAAI,EAAE,EAAE;KACT,CAAC;IAEF,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,IAAA,eAAM,EAAC,IAAA,8BAAU,EAAC,IAAA,0BAAM,EAAC,KAAK,CAAC,EAAE,IAAA,0BAAM,EAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,cAAc,EAAE,GAAG,EAAE;QACtB,IAAA,eAAM,EAAC,IAAA,8BAAU,EAAC,IAAA,0BAAM,EAAC,KAAK,CAAC,EAAE,IAAA,0BAAM,EAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,IAAA,eAAM,EAAC,IAAA,8BAAU,EAAC,IAAA,0BAAM,EAAC,QAAQ,CAAC,EAAE,IAAA,0BAAM,EAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,GAAG,GAAoB;YAC3B,IAAI,EAAE,CAAC,IAAA,8BAAU,EAAC,IAAA,0BAAM,EAAC,UAAU,CAAC,EAAE,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,WAAW,CAAC,EAAE,IAAA,0BAAM,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAC/E,IAAI,EAAE,EAAE;SACT,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,8BAAU,EAAC,IAAA,0BAAM,EAAC,UAAU,CAAC,EAAE,IAAA,0BAAM,EAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtE,IAAA,eAAM,EAAC,IAAA,8BAAU,EAAC,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,WAAW,CAAC,EAAE,IAAA,0BAAM,EAAC,KAAK,CAAC,CAAC,EAAE,IAAA,0BAAM,EAAC,UAAU,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClG,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,EAAE,GAAoB;YAC1B,IAAI,EAAE,EAAE;YACR,IAAI,EAAE;gBACJ,IAAA,4BAAQ,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC;gBAC1B,IAAA,gCAAY,EAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;gBAC3B,IAAA,4BAAQ,EAAC,GAAG,EAAE,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC;aAChC;SACF,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,8BAAU,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,EAAE,GAAoB;YAC1B,IAAI,EAAE,EAAE;YACR,IAAI,EAAE,CAAC,IAAA,4BAAQ,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC;SACnC,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,8BAAU,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,EAAE,GAAoB;YAC1B,IAAI,EAAE,CAAC,IAAA,4BAAQ,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC;YAC1C,IAAI,EAAE,CAAC,IAAA,4BAAQ,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC;SACnC,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,8BAAU,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,EAAE,GAAoB;YAC1B,IAAI,EAAE,EAAE;YACR,IAAI,EAAE,CAAC,IAAA,4BAAQ,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,4BAAQ,EAAC,GAAG,EAAE,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;SACpE,CAAC;QACF,wDAAwD;QACxD,IAAA,eAAM,EAAC,IAAA,8BAAU,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,EAAE,GAAoB;YAC1B,IAAI,EAAE,EAAE;YACR,IAAI,EAAE,CAAC,IAAA,gCAAY,EAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,IAAA,4BAAQ,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;SAC7E,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,8BAAU,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,EAAE,GAAoB;YAC1B,IAAI,EAAE;gBACJ,IAAA,4BAAQ,EAAC,IAAA,0BAAM,EAAC,KAAK,CAAC,EAAE,IAAA,0BAAM,EAAC,QAAQ,CAAC,CAAC;gBACzC,IAAA,4BAAQ,EAAC,IAAA,0BAAM,EAAC,QAAQ,CAAC,EAAE,IAAA,0BAAM,EAAC,QAAQ,CAAC,CAAC;aAC7C;YACD,IAAI,EAAE,EAAE;SACT,CAAC;QACF,MAAM,GAAG,GAAG,IAAA,4BAAQ,EAAC,EAAE,CAAC,CAAC;QACzB,gDAAgD;QAChD,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5C,4CAA4C;QAC5C,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClD,0BAA0B;QAC1B,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,EAAE,GAAoB;YAC1B,IAAI,EAAE;gBACJ,IAAA,4BAAQ,EAAC,IAAA,0BAAM,EAAC,OAAO,CAAC,EAAE,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,QAAQ,CAAC,CAAC,CAAC;gBAChD,IAAA,4BAAQ,EAAC,IAAA,0BAAM,EAAC,aAAa,CAAC,EAAE,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,OAAO,CAAC,EAAE,IAAA,0BAAM,EAAC,QAAQ,CAAC,CAAC,CAAC;aACxE;YACD,IAAI,EAAE,EAAE;SACT,CAAC;QACF,MAAM,GAAG,GAAG,IAAA,4BAAQ,EAAC,EAAE,CAAC,CAAC;QACzB,wFAAwF;QACxF,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,CAAC,aAAa,CAAE,CAAC;QACnC,IAAA,eAAM,EAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,EAAE,GAAG,IAAA,2BAAO,GAAE,CAAC;QACrB,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,IAAA,iCAAa,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,+CAA+C,EAAE,GAAG,EAAE;IAC7D,IAAA,WAAE,EAAC,+EAA+E,EAAE,GAAG,EAAE;QACvF,MAAM,EAAE,GAAoB;YAC1B,IAAI,EAAE,CAAC,IAAA,8BAAU,EAAC,IAAA,0BAAM,EAAC,QAAQ,CAAC,EAAE,IAAA,0BAAM,EAAC,WAAW,EAAE,IAAA,0BAAM,EAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YAC3E,IAAI,EAAE,EAAE;SACT,CAAC;QACF,wDAAwD;QACxD,IAAA,eAAM,EAAC,IAAA,iCAAa,EAAC,IAAA,0BAAM,EAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mFAAmF,EAAE,GAAG,EAAE;QAC3F,MAAM,EAAE,GAAoB;YAC1B,IAAI,EAAE;gBACJ,IAAA,4BAAQ,EACN,IAAA,0BAAM,EAAC,QAAQ,CAAC,EAChB,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,QAAQ,EAAE,IAAA,0BAAM,EAAC,QAAQ,CAAC,CAAC,EAAE,IAAA,0BAAM,EAAC,QAAQ,EAAE,0BAAM,CAAC,CAAC,CAClE;aACF;YACD,IAAI,EAAE,EAAE;SACT,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,iCAAa,EAAC,IAAA,0BAAM,EAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,qBAAqB;QACrB,MAAM,GAAG,GAAG,IAAA,uBAAG,EAAC,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC/C,MAAM,GAAG,GAAG,IAAA,sBAAE,EAAC,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,IAAA,8BAAU,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAA,8BAAU,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,IAAA,eAAM,EACJ,IAAA,8BAAU,EACR,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,EAC1C,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CACxD,CACF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACf,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EACJ,IAAA,8BAAU,EACR,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,EACvD,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAC3C,CACF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACf,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/logic/hybrid-logic/semantics.test.d.ts.map

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

package/dist/tests/logic/hybrid-logic/semantics.test.js

@@ -0,0 +1,169 @@
+"use strict";
+// ============================================================
+// ST Hybrid Logic — Tests de semántica y satisfacibilidad
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const hybrid_logic_1 = require("../../../logic/profiles/hybrid-logic");
+// Helpers para construir frames a mano sin escribir el shape completo.
+function frame(spec) {
+    const valuation = {};
+    for (const [k, v] of Object.entries(spec.valuation ?? {}))
+        valuation[k] = new Set(v);
+    return {
+        worlds: spec.worlds,
+        accessibility: spec.accessibility ?? [],
+        nominals: spec.nominals ?? {},
+        valuation,
+    };
+}
+(0, vitest_1.describe)('Hybrid logic — semántica básica', () => {
+    (0, vitest_1.it)('un átomo es verdadero en los mundos de su valuación', () => {
+        const F = frame({ worlds: ['w0', 'w1'], valuation: { p: ['w0'] } });
+        (0, vitest_1.expect)((0, hybrid_logic_1.satisfies)(F, 'w0', (0, hybrid_logic_1.atom)('p'))).toBe(true);
+        (0, vitest_1.expect)((0, hybrid_logic_1.satisfies)(F, 'w1', (0, hybrid_logic_1.atom)('p'))).toBe(false);
+    });
+    (0, vitest_1.it)('un nominal i denota un único mundo del frame', () => {
+        const F = frame({ worlds: ['w0', 'w1'], nominals: { i: 'w0' } });
+        (0, vitest_1.expect)((0, hybrid_logic_1.satisfies)(F, 'w0', (0, hybrid_logic_1.nominal)('i'))).toBe(true);
+        (0, vitest_1.expect)((0, hybrid_logic_1.satisfies)(F, 'w1', (0, hybrid_logic_1.nominal)('i'))).toBe(false);
+    });
+    (0, vitest_1.it)('@i salta al mundo nombrado por i', () => {
+        const F = frame({
+            worlds: ['w0', 'w1'],
+            nominals: { i: 'w1' },
+            valuation: { p: ['w1'] },
+        });
+        // Evaluamos @i p desde w0; el @ ignora el mundo actual.
+        (0, vitest_1.expect)((0, hybrid_logic_1.satisfies)(F, 'w0', (0, hybrid_logic_1.at)('i', (0, hybrid_logic_1.atom)('p')))).toBe(true);
+        (0, vitest_1.expect)((0, hybrid_logic_1.satisfies)(F, 'w0', (0, hybrid_logic_1.at)('i', (0, hybrid_logic_1.not)((0, hybrid_logic_1.atom)('p'))))).toBe(false);
+    });
+    (0, vitest_1.it)('@i p ∧ @i ¬p es insatisfacible', () => {
+        const result = (0, hybrid_logic_1.isSatisfiable)((0, hybrid_logic_1.and)((0, hybrid_logic_1.at)('i', (0, hybrid_logic_1.atom)('p')), (0, hybrid_logic_1.at)('i', (0, hybrid_logic_1.not)((0, hybrid_logic_1.atom)('p')))));
+        (0, vitest_1.expect)(result.sat).toBe(false);
+    });
+    (0, vitest_1.it)('@i p tiene modelo si existe algún mundo donde p valga y poder mapear i allí', () => {
+        const result = (0, hybrid_logic_1.isSatisfiable)((0, hybrid_logic_1.at)('i', (0, hybrid_logic_1.atom)('p')));
+        (0, vitest_1.expect)(result.sat).toBe(true);
+        (0, vitest_1.expect)(result.frame).toBeDefined();
+    });
+});
+(0, vitest_1.describe)('Hybrid logic — diamond/box', () => {
+    (0, vitest_1.it)('◇φ verdadero sii existe sucesor donde φ vale', () => {
+        const F = frame({
+            worlds: ['w0', 'w1'],
+            accessibility: [['w0', 'w1']],
+            valuation: { p: ['w1'] },
+        });
+        (0, vitest_1.expect)((0, hybrid_logic_1.satisfies)(F, 'w0', (0, hybrid_logic_1.diamond)((0, hybrid_logic_1.atom)('p')))).toBe(true);
+        (0, vitest_1.expect)((0, hybrid_logic_1.satisfies)(F, 'w1', (0, hybrid_logic_1.diamond)((0, hybrid_logic_1.atom)('p')))).toBe(false); // w1 sin sucesores
+    });
+    (0, vitest_1.it)('□φ vacuamente verdadero en hojas (sin sucesores)', () => {
+        const F = frame({ worlds: ['w0'], accessibility: [] });
+        (0, vitest_1.expect)((0, hybrid_logic_1.satisfies)(F, 'w0', (0, hybrid_logic_1.box)((0, hybrid_logic_1.atom)('p')))).toBe(true);
+    });
+});
+(0, vitest_1.describe)('Hybrid logic — ↓-binder', () => {
+    (0, vitest_1.it)('↓i. ◇i es satisfacible sólo en frames con un loop', () => {
+        // ↓i. ◇i dice: "el mundo actual es accesible a sí mismo".
+        const result = (0, hybrid_logic_1.isSatisfiable)((0, hybrid_logic_1.down)('i', (0, hybrid_logic_1.diamond)((0, hybrid_logic_1.nominal)('i'))));
+        (0, vitest_1.expect)(result.sat).toBe(true);
+        // El frame encontrado debe contener un loop sobre el mundo testigo.
+        const w = result.world;
+        const hasLoop = result.frame.accessibility.some(([u, v]) => u === w && v === w);
+        (0, vitest_1.expect)(hasLoop).toBe(true);
+    });
+    (0, vitest_1.it)('↓i. □¬i es satisfacible (mundo sin self-loop)', () => {
+        const result = (0, hybrid_logic_1.isSatisfiable)((0, hybrid_logic_1.down)('i', (0, hybrid_logic_1.box)((0, hybrid_logic_1.not)((0, hybrid_logic_1.nominal)('i')))));
+        (0, vitest_1.expect)(result.sat).toBe(true);
+    });
+    (0, vitest_1.it)('↓i. ◇◇i sat: alcanzable en 2 saltos volviendo al origen', () => {
+        // El modelo más chico es un self-loop w → w (◇◇i con w → w → w).
+        const result = (0, hybrid_logic_1.isSatisfiable)((0, hybrid_logic_1.down)('i', (0, hybrid_logic_1.diamond)((0, hybrid_logic_1.diamond)((0, hybrid_logic_1.nominal)('i')))));
+        (0, vitest_1.expect)(result.sat).toBe(true);
+        const w = result.world;
+        // Debe existir un camino de longitud 2 desde w que termine en w.
+        const acc = result.frame.accessibility;
+        const oneStep = acc.filter(([u]) => u === w).map(([, v]) => v);
+        const twoStepBack = oneStep.some((v) => acc.some(([u, dest]) => u === v && dest === w));
+        (0, vitest_1.expect)(twoStepBack).toBe(true);
+    });
+    (0, vitest_1.it)('↓i. @i p ↔ p (evaluado en w, @i salta a w mismo)', () => {
+        const F = frame({ worlds: ['w0', 'w1'], valuation: { p: ['w0'] } });
+        (0, vitest_1.expect)((0, hybrid_logic_1.satisfies)(F, 'w0', (0, hybrid_logic_1.down)('i', (0, hybrid_logic_1.at)('i', (0, hybrid_logic_1.atom)('p'))))).toBe(true);
+        (0, vitest_1.expect)((0, hybrid_logic_1.satisfies)(F, 'w1', (0, hybrid_logic_1.down)('i', (0, hybrid_logic_1.at)('i', (0, hybrid_logic_1.atom)('p'))))).toBe(false);
+    });
+});
+(0, vitest_1.describe)('Hybrid logic — ∃-world quantifier', () => {
+    (0, vitest_1.it)('∃i. @i p es satisfacible sii algún mundo tiene p', () => {
+        const result = (0, hybrid_logic_1.isSatisfiable)((0, hybrid_logic_1.existsWorld)('i', (0, hybrid_logic_1.at)('i', (0, hybrid_logic_1.atom)('p'))));
+        (0, vitest_1.expect)(result.sat).toBe(true);
+        // El modelo debe tener al menos un mundo con p verdadero.
+        const pSet = result.frame.valuation.p ?? new Set();
+        (0, vitest_1.expect)(pSet.size).toBeGreaterThan(0);
+    });
+    (0, vitest_1.it)('∃i. @i (p ∧ ¬p) es insatisfacible', () => {
+        const result = (0, hybrid_logic_1.isSatisfiable)((0, hybrid_logic_1.existsWorld)('i', (0, hybrid_logic_1.at)('i', (0, hybrid_logic_1.and)((0, hybrid_logic_1.atom)('p'), (0, hybrid_logic_1.not)((0, hybrid_logic_1.atom)('p'))))));
+        (0, vitest_1.expect)(result.sat).toBe(false);
+    });
+    (0, vitest_1.it)('∃i. ↓j. (@i p ∧ @j ¬p) sat: dos mundos con valuaciones distintas', () => {
+        const phi = (0, hybrid_logic_1.existsWorld)('i', (0, hybrid_logic_1.down)('j', (0, hybrid_logic_1.and)((0, hybrid_logic_1.at)('i', (0, hybrid_logic_1.atom)('p')), (0, hybrid_logic_1.at)('j', (0, hybrid_logic_1.not)((0, hybrid_logic_1.atom)('p'))))));
+        const result = (0, hybrid_logic_1.isSatisfiable)(phi);
+        (0, vitest_1.expect)(result.sat).toBe(true);
+    });
+});
+(0, vitest_1.describe)('Hybrid logic — combinaciones', () => {
+    (0, vitest_1.it)('@i (p → @j p) con i y j distintos pero conectados', () => {
+        const F = frame({
+            worlds: ['w0', 'w1'],
+            nominals: { i: 'w0', j: 'w1' },
+            valuation: { p: ['w0', 'w1'] },
+        });
+        (0, vitest_1.expect)((0, hybrid_logic_1.satisfies)(F, 'w0', (0, hybrid_logic_1.at)('i', (0, hybrid_logic_1.implies)((0, hybrid_logic_1.atom)('p'), (0, hybrid_logic_1.at)('j', (0, hybrid_logic_1.atom)('p')))))).toBe(true);
+    });
+    (0, vitest_1.it)('@i ◇j: i tiene acceso al mundo de j', () => {
+        const F = frame({
+            worlds: ['w0', 'w1'],
+            accessibility: [['w0', 'w1']],
+            nominals: { i: 'w0', j: 'w1' },
+        });
+        (0, vitest_1.expect)((0, hybrid_logic_1.satisfies)(F, 'w0', (0, hybrid_logic_1.at)('i', (0, hybrid_logic_1.diamond)((0, hybrid_logic_1.nominal)('j'))))).toBe(true);
+        // Sin la arista no se satisface.
+        const G = frame({
+            worlds: ['w0', 'w1'],
+            accessibility: [],
+            nominals: { i: 'w0', j: 'w1' },
+        });
+        (0, vitest_1.expect)((0, hybrid_logic_1.satisfies)(G, 'w0', (0, hybrid_logic_1.at)('i', (0, hybrid_logic_1.diamond)((0, hybrid_logic_1.nominal)('j'))))).toBe(false);
+    });
+    (0, vitest_1.it)('isSatisfiableInFrame devuelve el mundo testigo', () => {
+        const F = frame({
+            worlds: ['w0', 'w1'],
+            nominals: { i: 'w1' },
+            valuation: { p: ['w1'] },
+        });
+        const w = (0, hybrid_logic_1.isSatisfiableInFrame)(F, (0, hybrid_logic_1.at)('i', (0, hybrid_logic_1.atom)('p')));
+        (0, vitest_1.expect)(w).toBeDefined();
+    });
+    (0, vitest_1.it)('nominal libre sin asignación lanza error en satisfies', () => {
+        const F = frame({ worlds: ['w0'] });
+        (0, vitest_1.expect)(() => (0, hybrid_logic_1.satisfies)(F, 'w0', (0, hybrid_logic_1.nominal)('i'))).toThrow(/Nominal no asignado/);
+    });
+    (0, vitest_1.it)('@-operator sobre nominal no asignado lanza error en satisfies', () => {
+        const F = frame({ worlds: ['w0'] });
+        (0, vitest_1.expect)(() => (0, hybrid_logic_1.satisfies)(F, 'w0', (0, hybrid_logic_1.at)('i', (0, hybrid_logic_1.atom)('p')))).toThrow(/no asignado/);
+    });
+});
+(0, vitest_1.describe)('Hybrid logic — formulaToString', () => {
+    (0, vitest_1.it)('renderiza notación estándar', () => {
+        (0, vitest_1.expect)((0, hybrid_logic_1.formulaToString)((0, hybrid_logic_1.atom)('p'))).toBe('p');
+        (0, vitest_1.expect)((0, hybrid_logic_1.formulaToString)((0, hybrid_logic_1.nominal)('i'))).toBe('i');
+        (0, vitest_1.expect)((0, hybrid_logic_1.formulaToString)((0, hybrid_logic_1.not)((0, hybrid_logic_1.atom)('p')))).toBe('¬p');
+        (0, vitest_1.expect)((0, hybrid_logic_1.formulaToString)((0, hybrid_logic_1.at)('i', (0, hybrid_logic_1.atom)('p')))).toBe('@i p');
+        (0, vitest_1.expect)((0, hybrid_logic_1.formulaToString)((0, hybrid_logic_1.down)('i', (0, hybrid_logic_1.diamond)((0, hybrid_logic_1.nominal)('i'))))).toBe('↓i. ◇i');
+        (0, vitest_1.expect)((0, hybrid_logic_1.formulaToString)((0, hybrid_logic_1.existsWorld)('i', (0, hybrid_logic_1.at)('i', (0, hybrid_logic_1.atom)('p'))))).toBe('∃i. @i p');
+        (0, vitest_1.expect)((0, hybrid_logic_1.formulaToString)((0, hybrid_logic_1.box)((0, hybrid_logic_1.atom)('p')))).toBe('□p');
+        (0, vitest_1.expect)((0, hybrid_logic_1.formulaToString)((0, hybrid_logic_1.diamond)((0, hybrid_logic_1.atom)('p')))).toBe('◇p');
+    });
+});
+//# sourceMappingURL=semantics.test.js.map

package/dist/tests/logic/hybrid-logic/semantics.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"semantics.test.js","sourceRoot":"","sources":["../../../../src/tests/logic/hybrid-logic/semantics.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,0DAA0D;AAC1D,+DAA+D;;AAE/D,mCAA8C;AAC9C,uEAgB8C;AAE9C,uEAAuE;AACvE,SAAS,KAAK,CAAC,IAKd;IACC,MAAM,SAAS,GAAgC,EAAE,CAAC;IAClD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC;QAAE,SAAS,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC;IACrF,OAAO;QACL,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,aAAa,EAAE,IAAI,CAAC,aAAa,IAAI,EAAE;QACvC,QAAQ,EAAE,IAAI,CAAC,QAAQ,IAAI,EAAE;QAC7B,SAAS;KACV,CAAC;AACJ,CAAC;AAED,IAAA,iBAAQ,EAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,IAAA,wBAAS,EAAC,CAAC,EAAE,IAAI,EAAE,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,IAAA,wBAAS,EAAC,CAAC,EAAE,IAAI,EAAE,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,GAAG,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,QAAQ,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,IAAA,wBAAS,EAAC,CAAC,EAAE,IAAI,EAAE,IAAA,sBAAO,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,IAAA,wBAAS,EAAC,CAAC,EAAE,IAAI,EAAE,IAAA,sBAAO,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,KAAK,CAAC;YACd,MAAM,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC;YACpB,QAAQ,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE;YACrB,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE;SACzB,CAAC,CAAC;QACH,wDAAwD;QACxD,IAAA,eAAM,EAAC,IAAA,wBAAS,EAAC,CAAC,EAAE,IAAI,EAAE,IAAA,iBAAE,EAAC,GAAG,EAAE,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,IAAA,wBAAS,EAAC,CAAC,EAAE,IAAI,EAAE,IAAA,iBAAE,EAAC,GAAG,EAAE,IAAA,kBAAG,EAAC,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,MAAM,GAAG,IAAA,4BAAa,EAAC,IAAA,kBAAG,EAAC,IAAA,iBAAE,EAAC,GAAG,EAAE,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,iBAAE,EAAC,GAAG,EAAE,IAAA,kBAAG,EAAC,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/E,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6EAA6E,EAAE,GAAG,EAAE;QACrF,MAAM,MAAM,GAAG,IAAA,4BAAa,EAAC,IAAA,iBAAE,EAAC,GAAG,EAAE,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;IACrC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,GAAG,KAAK,CAAC;YACd,MAAM,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC;YACpB,aAAa,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAC7B,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE;SACzB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAA,wBAAS,EAAC,CAAC,EAAE,IAAI,EAAE,IAAA,sBAAO,EAAC,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,IAAA,wBAAS,EAAC,CAAC,EAAE,IAAI,EAAE,IAAA,sBAAO,EAAC,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,mBAAmB;IACjF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,GAAG,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,aAAa,EAAE,EAAE,EAAE,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,IAAA,wBAAS,EAAC,CAAC,EAAE,IAAI,EAAE,IAAA,kBAAG,EAAC,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,0DAA0D;QAC1D,MAAM,MAAM,GAAG,IAAA,4BAAa,EAAC,IAAA,mBAAI,EAAC,GAAG,EAAE,IAAA,sBAAO,EAAC,IAAA,sBAAO,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,oEAAoE;QACpE,MAAM,CAAC,GAAG,MAAM,CAAC,KAAM,CAAC;QACxB,MAAM,OAAO,GAAG,MAAM,CAAC,KAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QACjF,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,MAAM,GAAG,IAAA,4BAAa,EAAC,IAAA,mBAAI,EAAC,GAAG,EAAE,IAAA,kBAAG,EAAC,IAAA,kBAAG,EAAC,IAAA,sBAAO,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,iEAAiE;QACjE,MAAM,MAAM,GAAG,IAAA,4BAAa,EAAC,IAAA,mBAAI,EAAC,GAAG,EAAE,IAAA,sBAAO,EAAC,IAAA,sBAAO,EAAC,IAAA,sBAAO,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACxE,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,CAAC,GAAG,MAAM,CAAC,KAAM,CAAC;QACxB,iEAAiE;QACjE,MAAM,GAAG,GAAG,MAAM,CAAC,KAAM,CAAC,aAAa,CAAC;QACxC,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/D,MAAM,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC;QACxF,IAAA,eAAM,EAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,GAAG,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,IAAA,wBAAS,EAAC,CAAC,EAAE,IAAI,EAAE,IAAA,mBAAI,EAAC,GAAG,EAAE,IAAA,iBAAE,EAAC,GAAG,EAAE,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrE,IAAA,eAAM,EAAC,IAAA,wBAAS,EAAC,CAAC,EAAE,IAAI,EAAE,IAAA,mBAAI,EAAC,GAAG,EAAE,IAAA,iBAAE,EAAC,GAAG,EAAE,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,MAAM,GAAG,IAAA,4BAAa,EAAC,IAAA,0BAAW,EAAC,GAAG,EAAE,IAAA,iBAAE,EAAC,GAAG,EAAE,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACnE,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,0DAA0D;QAC1D,MAAM,IAAI,GAAG,MAAM,CAAC,KAAM,CAAC,SAAS,CAAC,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;QAC5D,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,MAAM,GAAG,IAAA,4BAAa,EAAC,IAAA,0BAAW,EAAC,GAAG,EAAE,IAAA,iBAAE,EAAC,GAAG,EAAE,IAAA,kBAAG,EAAC,IAAA,mBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,kBAAG,EAAC,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACxF,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,GAAG,GAAG,IAAA,0BAAW,EAAC,GAAG,EAAE,IAAA,mBAAI,EAAC,GAAG,EAAE,IAAA,kBAAG,EAAC,IAAA,iBAAE,EAAC,GAAG,EAAE,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,iBAAE,EAAC,GAAG,EAAE,IAAA,kBAAG,EAAC,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1F,MAAM,MAAM,GAAG,IAAA,4BAAa,EAAC,GAAG,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAG,KAAK,CAAC;YACd,MAAM,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC;YACpB,QAAQ,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE;YAC9B,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE;SAC/B,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAA,wBAAS,EAAC,CAAC,EAAE,IAAI,EAAE,IAAA,iBAAE,EAAC,GAAG,EAAE,IAAA,sBAAO,EAAC,IAAA,mBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAE,EAAC,GAAG,EAAE,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,GAAG,KAAK,CAAC;YACd,MAAM,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC;YACpB,aAAa,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAC7B,QAAQ,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE;SAC/B,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAA,wBAAS,EAAC,CAAC,EAAE,IAAI,EAAE,IAAA,iBAAE,EAAC,GAAG,EAAE,IAAA,sBAAO,EAAC,IAAA,sBAAO,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtE,iCAAiC;QACjC,MAAM,CAAC,GAAG,KAAK,CAAC;YACd,MAAM,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC;YACpB,aAAa,EAAE,EAAE;YACjB,QAAQ,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE;SAC/B,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAA,wBAAS,EAAC,CAAC,EAAE,IAAI,EAAE,IAAA,iBAAE,EAAC,GAAG,EAAE,IAAA,sBAAO,EAAC,IAAA,sBAAO,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAG,KAAK,CAAC;YACd,MAAM,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC;YACpB,QAAQ,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE;YACrB,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE;SACzB,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,IAAA,mCAAoB,EAAC,CAAC,EAAE,IAAA,iBAAE,EAAC,GAAG,EAAE,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,CAAC,GAAG,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,wBAAS,EAAC,CAAC,EAAE,IAAI,EAAE,IAAA,sBAAO,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,CAAC,GAAG,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,wBAAS,EAAC,CAAC,EAAE,IAAI,EAAE,IAAA,iBAAE,EAAC,GAAG,EAAE,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,IAAA,eAAM,EAAC,IAAA,8BAAe,EAAC,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAA,8BAAe,EAAC,IAAA,sBAAO,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,IAAA,8BAAe,EAAC,IAAA,kBAAG,EAAC,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,IAAA,8BAAe,EAAC,IAAA,iBAAE,EAAC,GAAG,EAAE,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,IAAA,8BAAe,EAAC,IAAA,mBAAI,EAAC,GAAG,EAAE,IAAA,sBAAO,EAAC,IAAA,sBAAO,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,IAAA,8BAAe,EAAC,IAAA,0BAAW,EAAC,GAAG,EAAE,IAAA,iBAAE,EAAC,GAAG,EAAE,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC/E,IAAA,eAAM,EAAC,IAAA,8BAAe,EAAC,IAAA,kBAAG,EAAC,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,IAAA,8BAAe,EAAC,IAAA,sBAAO,EAAC,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/logic/intuitionistic-nj/nj.test.d.ts.map

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

package/dist/tests/logic/intuitionistic-nj/nj.test.js

@@ -0,0 +1,216 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const intuitionistic_nj_1 = require("../../../logic/profiles/intuitionistic-nj");
+// --- Helpers ---
+const P = (0, intuitionistic_nj_1.atom)('P');
+const Q = (0, intuitionistic_nj_1.atom)('Q');
+const R = (0, intuitionistic_nj_1.atom)('R');
+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 NJ ---
+(0, vitest_1.describe)('NJ — fórmulas demostrables intuicionistamente', () => {
+    (0, vitest_1.it)('demuestra P → P (identidad)', () => {
+        const proof = (0, intuitionistic_nj_1.proveIntuitionistically)([], (0, intuitionistic_nj_1.implies)(P, P));
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)((0, intuitionistic_nj_1.verifyProof)(proof)).toBe(true);
+        (0, vitest_1.expect)(rules(proof).has('impI')).toBe(true);
+        (0, vitest_1.expect)(rules(proof).has('assumption')).toBe(true);
+    });
+    (0, vitest_1.it)('demuestra (P ∧ Q) → P (proyección izquierda)', () => {
+        const proof = (0, intuitionistic_nj_1.proveIntuitionistically)([], (0, intuitionistic_nj_1.implies)((0, intuitionistic_nj_1.and)(P, Q), P));
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)((0, intuitionistic_nj_1.verifyProof)(proof)).toBe(true);
+    });
+    (0, vitest_1.it)('demuestra (P ∧ Q) → Q (proyección derecha)', () => {
+        const proof = (0, intuitionistic_nj_1.proveIntuitionistically)([], (0, intuitionistic_nj_1.implies)((0, intuitionistic_nj_1.and)(P, Q), Q));
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)((0, intuitionistic_nj_1.verifyProof)(proof)).toBe(true);
+    });
+    (0, vitest_1.it)('demuestra P → (Q → P) (estabilidad)', () => {
+        const proof = (0, intuitionistic_nj_1.proveIntuitionistically)([], (0, intuitionistic_nj_1.implies)(P, (0, intuitionistic_nj_1.implies)(Q, P)));
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)((0, intuitionistic_nj_1.verifyProof)(proof)).toBe(true);
+    });
+    (0, vitest_1.it)('demuestra ((P → Q) ∧ P) → Q (modus ponens curry)', () => {
+        const proof = (0, intuitionistic_nj_1.proveIntuitionistically)([], (0, intuitionistic_nj_1.implies)((0, intuitionistic_nj_1.and)((0, intuitionistic_nj_1.implies)(P, Q), P), Q));
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)((0, intuitionistic_nj_1.verifyProof)(proof)).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, intuitionistic_nj_1.proveIntuitionistically)([], (0, intuitionistic_nj_1.not)((0, intuitionistic_nj_1.and)(P, (0, intuitionistic_nj_1.not)(P))));
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)((0, intuitionistic_nj_1.verifyProof)(proof)).toBe(true);
+        (0, vitest_1.expect)(rules(proof).has('notI')).toBe(true);
+    });
+    (0, vitest_1.it)('demuestra P → ¬¬P (introducción de doble negación)', () => {
+        const proof = (0, intuitionistic_nj_1.proveIntuitionistically)([], (0, intuitionistic_nj_1.implies)(P, (0, intuitionistic_nj_1.not)((0, intuitionistic_nj_1.not)(P))));
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)((0, intuitionistic_nj_1.verifyProof)(proof)).toBe(true);
+    });
+    (0, vitest_1.it)('demuestra ¬P → (P → ⊥) (definición de negación)', () => {
+        const proof = (0, intuitionistic_nj_1.proveIntuitionistically)([], (0, intuitionistic_nj_1.implies)((0, intuitionistic_nj_1.not)(P), (0, intuitionistic_nj_1.implies)(P, (0, intuitionistic_nj_1.bottom)())));
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)((0, intuitionistic_nj_1.verifyProof)(proof)).toBe(true);
+    });
+    (0, vitest_1.it)('demuestra (P → Q) → (¬Q → ¬P) (contraposición)', () => {
+        const proof = (0, intuitionistic_nj_1.proveIntuitionistically)([], (0, intuitionistic_nj_1.implies)((0, intuitionistic_nj_1.implies)(P, Q), (0, intuitionistic_nj_1.implies)((0, intuitionistic_nj_1.not)(Q), (0, intuitionistic_nj_1.not)(P))));
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)((0, intuitionistic_nj_1.verifyProof)(proof)).toBe(true);
+    });
+    (0, vitest_1.it)('demuestra (P ∧ ¬P) → Q (ex falso vía contradicción)', () => {
+        const proof = (0, intuitionistic_nj_1.proveIntuitionistically)([], (0, intuitionistic_nj_1.implies)((0, intuitionistic_nj_1.and)(P, (0, intuitionistic_nj_1.not)(P)), Q));
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)((0, intuitionistic_nj_1.verifyProof)(proof)).toBe(true);
+    });
+    (0, vitest_1.it)('demuestra ⊥ → Q desde el contexto (ex falso quodlibet)', () => {
+        const proof = (0, intuitionistic_nj_1.proveIntuitionistically)([(0, intuitionistic_nj_1.bottom)()], Q);
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)((0, intuitionistic_nj_1.verifyProof)(proof, [(0, intuitionistic_nj_1.bottom)()])).toBe(true);
+        (0, vitest_1.expect)(rules(proof).has('bottomE')).toBe(true);
+    });
+    (0, vitest_1.it)('demuestra (P ∨ Q) → (Q ∨ P) (commutatividad de ∨)', () => {
+        const proof = (0, intuitionistic_nj_1.proveIntuitionistically)([], (0, intuitionistic_nj_1.implies)((0, intuitionistic_nj_1.or)(P, Q), (0, intuitionistic_nj_1.or)(Q, P)));
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)((0, intuitionistic_nj_1.verifyProof)(proof)).toBe(true);
+        (0, vitest_1.expect)(rules(proof).has('orE')).toBe(true);
+    });
+    (0, vitest_1.it)('demuestra P ∨ ¬P bajo la asunción de P (asunción directa)', () => {
+        const proof = (0, intuitionistic_nj_1.proveIntuitionistically)([P], (0, intuitionistic_nj_1.or)(P, (0, intuitionistic_nj_1.not)(P)));
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)((0, intuitionistic_nj_1.verifyProof)(proof, [P])).toBe(true);
+    });
+    (0, vitest_1.it)('demuestra modus ponens: {P, P→Q} ⊢ Q', () => {
+        const proof = (0, intuitionistic_nj_1.proveIntuitionistically)([P, (0, intuitionistic_nj_1.implies)(P, Q)], Q);
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)((0, intuitionistic_nj_1.verifyProof)(proof, [P, (0, intuitionistic_nj_1.implies)(P, Q)])).toBe(true);
+        (0, vitest_1.expect)(rules(proof).has('impE')).toBe(true);
+    });
+    (0, vitest_1.it)('demuestra (P → Q) → ((Q → R) → (P → R)) (composición)', () => {
+        const proof = (0, intuitionistic_nj_1.proveIntuitionistically)([], (0, intuitionistic_nj_1.implies)((0, intuitionistic_nj_1.implies)(P, Q), (0, intuitionistic_nj_1.implies)((0, intuitionistic_nj_1.implies)(Q, R), (0, intuitionistic_nj_1.implies)(P, R))));
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)((0, intuitionistic_nj_1.verifyProof)(proof)).toBe(true);
+    });
+});
+// --- No provable en NJ: contraejemplos clásicos ---
+(0, vitest_1.describe)('NJ — fórmulas no demostrables intuicionistamente (counter-model Kripke)', () => {
+    (0, vitest_1.it)('NO demuestra ¬¬P → P (DNE clásica)', () => {
+        const proof = (0, intuitionistic_nj_1.proveIntuitionistically)([], (0, intuitionistic_nj_1.implies)((0, intuitionistic_nj_1.not)((0, intuitionistic_nj_1.not)(P)), P));
+        (0, vitest_1.expect)(proof).toBeNull();
+        const cm = (0, intuitionistic_nj_1.kripkeCounterModel)((0, intuitionistic_nj_1.implies)((0, intuitionistic_nj_1.not)((0, intuitionistic_nj_1.not)(P)), P));
+        (0, vitest_1.expect)(cm).not.toBeNull();
+        (0, vitest_1.expect)(cm.worlds.length).toBeGreaterThanOrEqual(2);
+    });
+    (0, vitest_1.it)('NO demuestra P ∨ ¬P (LEM)', () => {
+        const proof = (0, intuitionistic_nj_1.proveIntuitionistically)([], (0, intuitionistic_nj_1.or)(P, (0, intuitionistic_nj_1.not)(P)));
+        (0, vitest_1.expect)(proof).toBeNull();
+        const cm = (0, intuitionistic_nj_1.kripkeCounterModel)((0, intuitionistic_nj_1.or)(P, (0, intuitionistic_nj_1.not)(P)));
+        (0, vitest_1.expect)(cm).not.toBeNull();
+        // El counter-model típico: w0 no fuerza P pero algún w0 ≤ v fuerza P.
+        (0, vitest_1.expect)(cm.worlds.length).toBeGreaterThanOrEqual(2);
+    });
+    (0, vitest_1.it)('NO demuestra ((P → Q) → P) → P (ley de Peirce)', () => {
+        const proof = (0, intuitionistic_nj_1.proveIntuitionistically)([], (0, intuitionistic_nj_1.implies)((0, intuitionistic_nj_1.implies)((0, intuitionistic_nj_1.implies)(P, Q), P), P));
+        (0, vitest_1.expect)(proof).toBeNull();
+        const cm = (0, intuitionistic_nj_1.kripkeCounterModel)((0, intuitionistic_nj_1.implies)((0, intuitionistic_nj_1.implies)((0, intuitionistic_nj_1.implies)(P, Q), P), P));
+        (0, vitest_1.expect)(cm).not.toBeNull();
+    });
+    (0, vitest_1.it)('NO demuestra ¬(P ∧ Q) → (¬P ∨ ¬Q) (De Morgan unilateral)', () => {
+        const proof = (0, intuitionistic_nj_1.proveIntuitionistically)([], (0, intuitionistic_nj_1.implies)((0, intuitionistic_nj_1.not)((0, intuitionistic_nj_1.and)(P, Q)), (0, intuitionistic_nj_1.or)((0, intuitionistic_nj_1.not)(P), (0, intuitionistic_nj_1.not)(Q))));
+        (0, vitest_1.expect)(proof).toBeNull();
+        const cm = (0, intuitionistic_nj_1.kripkeCounterModel)((0, intuitionistic_nj_1.implies)((0, intuitionistic_nj_1.not)((0, intuitionistic_nj_1.and)(P, Q)), (0, intuitionistic_nj_1.or)((0, intuitionistic_nj_1.not)(P), (0, intuitionistic_nj_1.not)(Q))));
+        (0, vitest_1.expect)(cm).not.toBeNull();
+    });
+    (0, vitest_1.it)('SÍ demuestra (¬P ∨ ¬Q) → ¬(P ∧ Q) (De Morgan trivial)', () => {
+        // El otro sentido de De Morgan SÍ es intuicionista — sanity check.
+        const proof = (0, intuitionistic_nj_1.proveIntuitionistically)([], (0, intuitionistic_nj_1.implies)((0, intuitionistic_nj_1.or)((0, intuitionistic_nj_1.not)(P), (0, intuitionistic_nj_1.not)(Q)), (0, intuitionistic_nj_1.not)((0, intuitionistic_nj_1.and)(P, Q))));
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)((0, intuitionistic_nj_1.verifyProof)(proof)).toBe(true);
+    });
+});
+// --- Cross-check prover vs Kripke ---
+(0, vitest_1.describe)('NJ — coherencia entre prover y semántica Kripke', () => {
+    (0, vitest_1.it)('toda fórmula demostrada NJ es válida en Kripke', () => {
+        const provables = [
+            (0, intuitionistic_nj_1.implies)(P, P),
+            (0, intuitionistic_nj_1.implies)((0, intuitionistic_nj_1.and)(P, Q), P),
+            (0, intuitionistic_nj_1.implies)(P, (0, intuitionistic_nj_1.implies)(Q, P)),
+            (0, intuitionistic_nj_1.not)((0, intuitionistic_nj_1.and)(P, (0, intuitionistic_nj_1.not)(P))),
+            (0, intuitionistic_nj_1.implies)(P, (0, intuitionistic_nj_1.not)((0, intuitionistic_nj_1.not)(P))),
+            (0, intuitionistic_nj_1.implies)((0, intuitionistic_nj_1.and)((0, intuitionistic_nj_1.implies)(P, Q), P), Q),
+        ];
+        for (const f of provables) {
+            (0, vitest_1.expect)((0, intuitionistic_nj_1.proveIntuitionistically)([], f), `prover should prove`).not.toBeNull();
+            (0, vitest_1.expect)((0, intuitionistic_nj_1.isIPCValid)(f), `kripke should validate`).toBe(true);
+        }
+    });
+    (0, vitest_1.it)('toda fórmula con counter-model NO es demostrable NJ', () => {
+        const refutables = [
+            (0, intuitionistic_nj_1.implies)((0, intuitionistic_nj_1.not)((0, intuitionistic_nj_1.not)(P)), P), // DNE
+            (0, intuitionistic_nj_1.or)(P, (0, intuitionistic_nj_1.not)(P)), // LEM
+            (0, intuitionistic_nj_1.implies)((0, intuitionistic_nj_1.implies)((0, intuitionistic_nj_1.implies)(P, Q), P), P), // Peirce
+        ];
+        for (const f of refutables) {
+            (0, vitest_1.expect)((0, intuitionistic_nj_1.kripkeCounterModel)(f), `counter-model exists`).not.toBeNull();
+            (0, vitest_1.expect)((0, intuitionistic_nj_1.proveIntuitionistically)([], f), `prover should fail`).toBeNull();
+        }
+    });
+    (0, vitest_1.it)('counter-model LEM: w0 ⊮ P ∨ ¬P (estructura del modelo de Kripke)', () => {
+        const cm = (0, intuitionistic_nj_1.kripkeCounterModel)((0, intuitionistic_nj_1.or)(P, (0, intuitionistic_nj_1.not)(P)));
+        (0, vitest_1.expect)(cm).not.toBeNull();
+        // El modelo mínimo tiene dos mundos: w0 (sin P) y un w0 ≤ v (con P).
+        // En w0, ¬P falla porque hay un futuro v con P; P falla porque w0 no lo fuerza.
+        (0, vitest_1.expect)(cm.worlds).toContain('w0');
+        const allAtoms = new Set();
+        for (const set of cm.forcing.values())
+            for (const a of set)
+                allAtoms.add(a);
+        (0, vitest_1.expect)(allAtoms.has('P')).toBe(true);
+        (0, vitest_1.expect)(cm.forcing.get('w0')?.has('P') ?? false).toBe(false);
+    });
+});
+// --- Estructura del árbol NJ ---
+(0, vitest_1.describe)('NJ — propiedades estructurales del árbol', () => {
+    (0, vitest_1.it)('verifyProof rechaza un árbol mal formado', () => {
+        const bad = {
+            conclusion: P,
+            rule: 'assumption',
+            premises: [],
+        };
+        // P no está en el contexto vacío.
+        (0, vitest_1.expect)((0, intuitionistic_nj_1.verifyProof)(bad, [])).toBe(false);
+    });
+    (0, vitest_1.it)('impI descarga el antecedente del contexto', () => {
+        const proof = (0, intuitionistic_nj_1.proveIntuitionistically)([], (0, intuitionistic_nj_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.expect)(proof.discharged[0].kind).toBe('atom');
+    });
+    (0, vitest_1.it)('notI deriva ⊥ desde la asunción descargada', () => {
+        const proof = (0, intuitionistic_nj_1.proveIntuitionistically)([], (0, intuitionistic_nj_1.not)((0, intuitionistic_nj_1.and)(P, (0, intuitionistic_nj_1.not)(P))));
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)((0, intuitionistic_nj_1.verifyProof)(proof)).toBe(true);
+        // La raíz es notI con discharge sobre P ∧ ¬P
+        (0, vitest_1.expect)(proof.rule).toBe('notI');
+        (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, intuitionistic_nj_1.proveIntuitionistically)([P, Q], (0, intuitionistic_nj_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.expect)(proof.premises[0].conclusion.kind).toBe('atom');
+        (0, vitest_1.expect)(proof.premises[1].conclusion.kind).toBe('atom');
+    });
+});
+//# sourceMappingURL=nj.test.js.map

package/dist/tests/logic/intuitionistic-nj/nj.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"nj.test.js","sourceRoot":"","sources":["../../../../src/tests/logic/intuitionistic-nj/nj.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,iFAamD;AAEnD,kBAAkB;AAElB,MAAM,CAAC,GAAG,IAAA,wBAAI,EAAC,GAAG,CAAC,CAAC;AACpB,MAAM,CAAC,GAAG,IAAA,wBAAI,EAAC,GAAG,CAAC,CAAC;AACpB,MAAM,CAAC,GAAG,IAAA,wBAAI,EAAC,GAAG,CAAC,CAAC;AAEpB,SAAS,KAAK,CAAC,IAAoB;IACjC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAa,CAAC;IACjC,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,yBAAyB;AAEzB,IAAA,iBAAQ,EAAC,+CAA+C,EAAE,GAAG,EAAE;IAC7D,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,KAAK,GAAG,IAAA,2CAAuB,EAAC,EAAE,EAAE,IAAA,2BAAO,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,+BAAW,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;QAC5C,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,KAAK,GAAG,IAAA,2CAAuB,EAAC,EAAE,EAAE,IAAA,2BAAO,EAAC,IAAA,uBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,+BAAW,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,2CAAuB,EAAC,EAAE,EAAE,IAAA,2BAAO,EAAC,IAAA,uBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,+BAAW,EAAC,KAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,KAAK,GAAG,IAAA,2CAAuB,EAAC,EAAE,EAAE,IAAA,2BAAO,EAAC,CAAC,EAAE,IAAA,2BAAO,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACrE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,+BAAW,EAAC,KAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,KAAK,GAAG,IAAA,2CAAuB,EAAC,EAAE,EAAE,IAAA,2BAAO,EAAC,IAAA,uBAAG,EAAC,IAAA,2BAAO,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC7E,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,+BAAW,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,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,KAAK,GAAG,IAAA,2CAAuB,EAAC,EAAE,EAAE,IAAA,uBAAG,EAAC,IAAA,uBAAG,EAAC,CAAC,EAAE,IAAA,uBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,+BAAW,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,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,KAAK,GAAG,IAAA,2CAAuB,EAAC,EAAE,EAAE,IAAA,2BAAO,EAAC,CAAC,EAAE,IAAA,uBAAG,EAAC,IAAA,uBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACnE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,+BAAW,EAAC,KAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,KAAK,GAAG,IAAA,2CAAuB,EAAC,EAAE,EAAE,IAAA,2BAAO,EAAC,IAAA,uBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,2BAAO,EAAC,CAAC,EAAE,IAAA,0BAAM,GAAE,CAAC,CAAC,CAAC,CAAC;QACjF,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,+BAAW,EAAC,KAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,KAAK,GAAG,IAAA,2CAAuB,EAAC,EAAE,EAAE,IAAA,2BAAO,EAAC,IAAA,2BAAO,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,2BAAO,EAAC,IAAA,uBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,uBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3F,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,+BAAW,EAAC,KAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,KAAK,GAAG,IAAA,2CAAuB,EAAC,EAAE,EAAE,IAAA,2BAAO,EAAC,IAAA,uBAAG,EAAC,CAAC,EAAE,IAAA,uBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,+BAAW,EAAC,KAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,KAAK,GAAG,IAAA,2CAAuB,EAAC,CAAC,IAAA,0BAAM,GAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,+BAAW,EAAC,KAAM,EAAE,CAAC,IAAA,0BAAM,GAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,KAAK,GAAG,IAAA,2CAAuB,EAAC,EAAE,EAAE,IAAA,2BAAO,EAAC,IAAA,sBAAE,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,sBAAE,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,+BAAW,EAAC,KAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,KAAK,GAAG,IAAA,2CAAuB,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,sBAAE,EAAC,CAAC,EAAE,IAAA,uBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,+BAAW,EAAC,KAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,KAAK,GAAG,IAAA,2CAAuB,EAAC,CAAC,CAAC,EAAE,IAAA,2BAAO,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,+BAAW,EAAC,KAAM,EAAE,CAAC,CAAC,EAAE,IAAA,2BAAO,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,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,KAAK,GAAG,IAAA,2CAAuB,EACnC,EAAE,EACF,IAAA,2BAAO,EAAC,IAAA,2BAAO,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,2BAAO,EAAC,IAAA,2BAAO,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,2BAAO,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAC9D,CAAC;QACF,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,+BAAW,EAAC,KAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,qDAAqD;AAErD,IAAA,iBAAQ,EAAC,yEAAyE,EAAE,GAAG,EAAE;IACvF,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,KAAK,GAAG,IAAA,2CAAuB,EAAC,EAAE,EAAE,IAAA,2BAAO,EAAC,IAAA,uBAAG,EAAC,IAAA,uBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACnE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;QACzB,MAAM,EAAE,GAAG,IAAA,sCAAkB,EAAC,IAAA,2BAAO,EAAC,IAAA,uBAAG,EAAC,IAAA,uBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC1B,IAAA,eAAM,EAAC,EAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,KAAK,GAAG,IAAA,2CAAuB,EAAC,EAAE,EAAE,IAAA,sBAAE,EAAC,CAAC,EAAE,IAAA,uBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;QACzB,MAAM,EAAE,GAAG,IAAA,sCAAkB,EAAC,IAAA,sBAAE,EAAC,CAAC,EAAE,IAAA,uBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC1B,sEAAsE;QACtE,IAAA,eAAM,EAAC,EAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,KAAK,GAAG,IAAA,2CAAuB,EAAC,EAAE,EAAE,IAAA,2BAAO,EAAC,IAAA,2BAAO,EAAC,IAAA,2BAAO,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACjF,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;QACzB,MAAM,EAAE,GAAG,IAAA,sCAAkB,EAAC,IAAA,2BAAO,EAAC,IAAA,2BAAO,EAAC,IAAA,2BAAO,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACrE,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,KAAK,GAAG,IAAA,2CAAuB,EAAC,EAAE,EAAE,IAAA,2BAAO,EAAC,IAAA,uBAAG,EAAC,IAAA,uBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,sBAAE,EAAC,IAAA,uBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,uBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvF,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;QACzB,MAAM,EAAE,GAAG,IAAA,sCAAkB,EAAC,IAAA,2BAAO,EAAC,IAAA,uBAAG,EAAC,IAAA,uBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,sBAAE,EAAC,IAAA,uBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,uBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3E,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,mEAAmE;QACnE,MAAM,KAAK,GAAG,IAAA,2CAAuB,EAAC,EAAE,EAAE,IAAA,2BAAO,EAAC,IAAA,sBAAE,EAAC,IAAA,uBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,uBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,uBAAG,EAAC,IAAA,uBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvF,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,+BAAW,EAAC,KAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,uCAAuC;AAEvC,IAAA,iBAAQ,EAAC,iDAAiD,EAAE,GAAG,EAAE;IAC/D,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,SAAS,GAAG;YAChB,IAAA,2BAAO,EAAC,CAAC,EAAE,CAAC,CAAC;YACb,IAAA,2BAAO,EAAC,IAAA,uBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;YACrB,IAAA,2BAAO,EAAC,CAAC,EAAE,IAAA,2BAAO,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACzB,IAAA,uBAAG,EAAC,IAAA,uBAAG,EAAC,CAAC,EAAE,IAAA,uBAAG,EAAC,CAAC,CAAC,CAAC,CAAC;YACnB,IAAA,2BAAO,EAAC,CAAC,EAAE,IAAA,uBAAG,EAAC,IAAA,uBAAG,EAAC,CAAC,CAAC,CAAC,CAAC;YACvB,IAAA,2BAAO,EAAC,IAAA,uBAAG,EAAC,IAAA,2BAAO,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;SAClC,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YAC1B,IAAA,eAAM,EAAC,IAAA,2CAAuB,EAAC,EAAE,EAAE,CAAC,CAAC,EAAE,qBAAqB,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;YAC7E,IAAA,eAAM,EAAC,IAAA,8BAAU,EAAC,CAAC,CAAC,EAAE,wBAAwB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7D,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,UAAU,GAAG;YACjB,IAAA,2BAAO,EAAC,IAAA,uBAAG,EAAC,IAAA,uBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM;YAC/B,IAAA,sBAAE,EAAC,CAAC,EAAE,IAAA,uBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,MAAM;YACrB,IAAA,2BAAO,EAAC,IAAA,2BAAO,EAAC,IAAA,2BAAO,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS;SACjD,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;YAC3B,IAAA,eAAM,EAAC,IAAA,sCAAkB,EAAC,CAAC,CAAC,EAAE,sBAAsB,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;YACrE,IAAA,eAAM,EAAC,IAAA,2CAAuB,EAAC,EAAE,EAAE,CAAC,CAAC,EAAE,oBAAoB,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC1E,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,EAAE,GAAG,IAAA,sCAAkB,EAAC,IAAA,sBAAE,EAAC,CAAC,EAAE,IAAA,uBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC1B,qEAAqE;QACrE,gFAAgF;QAChF,IAAA,eAAM,EAAC,EAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACnC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;QACnC,KAAK,MAAM,GAAG,IAAI,EAAG,CAAC,OAAO,CAAC,MAAM,EAAE;YAAE,KAAK,MAAM,CAAC,IAAI,GAAG;gBAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC7E,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,EAAG,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,kCAAkC;AAElC,IAAA,iBAAQ,EAAC,0CAA0C,EAAE,GAAG,EAAE;IACxD,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,GAAG,GAAY;YACnB,UAAU,EAAE,CAAC;YACb,IAAI,EAAE,YAAY;YAClB,QAAQ,EAAE,EAAE;SACb,CAAC;QACF,kCAAkC;QAClC,IAAA,eAAM,EAAC,IAAA,+BAAW,EAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,KAAK,GAAG,IAAA,2CAAuB,EAAC,EAAE,EAAE,IAAA,2BAAO,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACzD,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;QAC1C,IAAA,eAAM,EAAC,KAAM,CAAC,UAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,KAAK,GAAG,IAAA,2CAAuB,EAAC,EAAE,EAAE,IAAA,uBAAG,EAAC,IAAA,uBAAG,EAAC,CAAC,EAAE,IAAA,uBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,+BAAW,EAAC,KAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,6CAA6C;QAC7C,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,2CAAuB,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,uBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACzD,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;QACvC,IAAA,eAAM,EAAC,KAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,KAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/logic/ltl-sat/sat.test.d.ts.map

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