@stevenvo780/st-lang 4.1.0 → 4.3.0

package/dist/tests/ltl-sat/sat.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sat.test.js","sourceRoot":"","sources":["../../../src/tests/ltl-sat/sat.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,oDAkBgC;AAEhC,MAAM,CAAC,GAAG,IAAA,cAAI,EAAC,GAAG,CAAC,CAAC;AACpB,MAAM,CAAC,GAAG,IAAA,cAAI,EAAC,GAAG,CAAC,CAAC;AACpB,MAAM,CAAC,GAAG,IAAA,cAAI,EAAC,GAAG,CAAC,CAAC;AAEpB,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,GAAG,GAAG,IAAA,uBAAa,EAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC;QAClC,IAAA,eAAM,EAAC,GAAG,CAAC,OAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,GAAG,GAAG,IAAA,uBAAa,EAAC,IAAA,aAAG,EAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,IAAA,eAAM,EAAC,IAAA,iBAAO,EAAC,IAAA,YAAE,EAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,GAAG,GAAG,IAAA,uBAAa,EAAC,IAAA,oBAAU,EAAC,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,+DAA+D;QAC/D,MAAM,SAAS,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC;QACjF,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,GAAG,GAAG,IAAA,uBAAa,EAAC,IAAA,aAAG,EAAC,IAAA,kBAAQ,EAAC,CAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,GAAG,GAAG,IAAA,aAAG,EAAC,IAAA,kBAAQ,EAAC,IAAA,iBAAO,EAAC,CAAC,EAAE,IAAA,cAAI,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAA,oBAAU,EAAC,IAAA,aAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACtE,IAAA,eAAM,EAAC,IAAA,uBAAa,EAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,GAAG,GAAG,IAAA,uBAAa,EAAC,IAAA,eAAK,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,MAAM,SAAS,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC;QACjF,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,GAAG,GAAG,IAAA,aAAG,EAAC,IAAA,eAAK,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,kBAAQ,EAAC,IAAA,aAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,IAAA,uBAAa,EAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,GAAG,GAAG,IAAA,uBAAa,EAAC,IAAA,kBAAQ,EAAC,IAAA,oBAAU,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,kDAAkD;QAClD,MAAM,QAAQ,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;QACnF,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,GAAG,GAAG,IAAA,uBAAa,EAAC,IAAA,oBAAU,EAAC,IAAA,kBAAQ,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,IAAA,eAAM,EAAC,IAAA,iBAAO,EAAC,IAAA,iBAAO,EAAC,IAAA,kBAAQ,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,IAAA,eAAM,EAAC,IAAA,iBAAO,EAAC,IAAA,iBAAO,EAAC,CAAC,EAAE,IAAA,oBAAU,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,IAAA,eAAM,EAAC,IAAA,iBAAO,EAAC,IAAA,iBAAO,EAAC,IAAA,kBAAQ,EAAC,CAAC,CAAC,EAAE,IAAA,kBAAQ,EAAC,IAAA,kBAAQ,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,IAAA,eAAM,EAAC,IAAA,iBAAO,EAAC,IAAA,iBAAO,EAAC,CAAC,EAAE,IAAA,cAAI,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,IAAA,eAAM,EAAC,IAAA,iBAAO,EAAC,IAAA,YAAE,EAAC,IAAA,oBAAU,EAAC,CAAC,CAAC,EAAE,IAAA,kBAAQ,EAAC,IAAA,aAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,0CAA0C,EAAE,GAAG,EAAE;IACxD,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,GAAG,GAAG,IAAA,uBAAa,EAAC,IAAA,iBAAO,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,wEAAwE;QACxE,4DAA4D;QAC5D,8CAA8C;QAC9C,MAAM,GAAG,GAAG,IAAA,aAAG,EAAC,IAAA,iBAAO,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,uBAAa,EAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,GAAG,GAAG,IAAA,uBAAa,EAAC,IAAA,mBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,wEAAwE;QACxE,MAAM,GAAG,GAAG,IAAA,aAAG,EAAC,IAAA,mBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,kBAAQ,EAAC,IAAA,aAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,kBAAQ,EAAC,IAAA,aAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACrE,IAAA,eAAM,EAAC,IAAA,uBAAa,EAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,GAAG,GAAG,IAAA,aAAG,EAAC,IAAA,aAAG,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,GAAG,GAAG,IAAA,eAAK,EAAC,GAAG,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5B,sDAAsD;QACtD,MAAM,CAAC,GAAG,IAAA,yBAAe,EAAC,GAAG,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,GAAG,GAAG,IAAA,aAAG,EAAC,IAAA,eAAK,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC7B,MAAM,GAAG,GAAG,IAAA,eAAK,EAAC,GAAG,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,GAAG,GAAG,IAAA,eAAK,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACxB,MAAM,EAAE,GAAG,IAAA,iBAAO,EAAC,GAAG,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;QACnC,0BAA0B;QAC1B,MAAM,KAAK,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;QACnE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,KAAK,GAAG,IAAA,iBAAO,EAAC,IAAA,oBAAU,EAAC,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,KAAK,CAAC,SAAS,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,KAAK,CAAC,SAAS,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,IAAA,eAAM,EAAC,IAAA,uBAAa,EAAC,IAAA,kBAAQ,EAAC,IAAA,iBAAO,EAAC,CAAC,EAAE,IAAA,oBAAU,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,GAAG,GAAG,IAAA,aAAG,EAAC,IAAA,kBAAQ,EAAC,IAAA,iBAAO,EAAC,CAAC,EAAE,IAAA,oBAAU,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAA,kBAAQ,EAAC,CAAC,CAAC,EAAE,IAAA,kBAAQ,EAAC,IAAA,aAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACpF,IAAA,eAAM,EAAC,IAAA,uBAAa,EAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,GAAG,GAAG,IAAA,aAAG,EAAC,IAAA,cAAI,EAAC,IAAA,cAAI,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,cAAI,EAAC,IAAA,cAAI,EAAC,IAAA,aAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,IAAA,uBAAa,EAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,GAAG,GAAG,IAAA,aAAG,EAAC,CAAC,EAAE,IAAA,cAAI,EAAC,IAAA,aAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,cAAI,EAAC,IAAA,cAAI,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,IAAA,uBAAa,EAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,IAAA,eAAM,EAAC,IAAA,uBAAa,EAAC,IAAA,kBAAQ,EAAC,IAAA,aAAG,EAAC,IAAA,aAAG,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,GAAG,GAAG,IAAA,aAAG,EAAC,IAAA,kBAAQ,EAAC,IAAA,iBAAO,EAAC,CAAC,EAAE,IAAA,cAAI,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAA,oBAAU,EAAC,CAAC,CAAC,EAAE,IAAA,kBAAQ,EAAC,IAAA,aAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAChF,IAAA,eAAM,EAAC,IAAA,uBAAa,EAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,IAAA,eAAM,EAAC,IAAA,uBAAa,EAAC,IAAA,aAAG,EAAC,CAAC,EAAE,IAAA,oBAAU,EAAC,CAAC,CAAC,EAAE,IAAA,kBAAQ,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/many-valued/many-valued.test.d.ts

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

package/dist/tests/many-valued/many-valued.test.d.ts.map

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

package/dist/tests/many-valued/many-valued.test.js

@@ -0,0 +1,150 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const many_valued_1 = require("../../profiles/many-valued");
+const P = (0, many_valued_1.atom)('P');
+const Q = (0, many_valued_1.atom)('Q');
+(0, vitest_1.describe)('many-valued logics — núcleo de evaluación', () => {
+    (0, vitest_1.it)('Łukasiewicz: P → P es tautología', () => {
+        (0, vitest_1.expect)((0, many_valued_1.isTautology)((0, many_valued_1.implies)(P, P), 'lukasiewicz')).toBe(true);
+    });
+    (0, vitest_1.it)('Łukasiewicz (strong OR): P ∨ ¬P SÍ es tautología vía s-norm min(1, p+(1-p))=1', () => {
+        // Con la disyunción fuerte (s-norm), P ∨ ¬P se colapsa a 1 siempre.
+        // Es Gödel/Producto quienes rompen el tercero excluido — ver tests abajo.
+        (0, vitest_1.expect)((0, many_valued_1.isTautology)((0, many_valued_1.or)(P, (0, many_valued_1.not)(P)), 'lukasiewicz')).toBe(true);
+        const v = (0, many_valued_1.evaluate)((0, many_valued_1.or)(P, (0, many_valued_1.not)(P)), { P: 0.5 }, 'lukasiewicz');
+        (0, vitest_1.expect)(v).toBeCloseTo(1, 9); // min(1, 0.5+0.5)=1
+    });
+    (0, vitest_1.it)('Łukasiewicz: P ∧ ¬P NO siempre 0 — pero ¬(P ∧ ¬P) sí es tautología', () => {
+        // En Łukasiewicz, P ∧ ¬P = max(0, P + (1-P) - 1) = max(0, 0) = 0
+        // Así que ¬(P ∧ ¬P) sí es tautología (es la "no-contradicción").
+        (0, vitest_1.expect)((0, many_valued_1.isTautology)((0, many_valued_1.not)((0, many_valued_1.and)(P, (0, many_valued_1.not)(P))), 'lukasiewicz')).toBe(true);
+        (0, vitest_1.expect)((0, many_valued_1.isContradiction)((0, many_valued_1.and)(P, (0, many_valued_1.not)(P)), 'lukasiewicz')).toBe(true);
+    });
+    (0, vitest_1.it)('Gödel: P ∨ ¬P NO es tautología', () => {
+        (0, vitest_1.expect)((0, many_valued_1.isTautology)((0, many_valued_1.or)(P, (0, many_valued_1.not)(P)), 'godel')).toBe(false);
+        // Cuando P=0.5: ¬P=0 (porque P≠0), entonces max(0.5, 0)=0.5
+        const v = (0, many_valued_1.evaluate)((0, many_valued_1.or)(P, (0, many_valued_1.not)(P)), { P: 0.5 }, 'godel');
+        (0, vitest_1.expect)(v).toBeCloseTo(0.5, 9);
+    });
+    (0, vitest_1.it)('Gödel: P → P es tautología', () => {
+        (0, vitest_1.expect)((0, many_valued_1.isTautology)((0, many_valued_1.implies)(P, P), 'godel')).toBe(true);
+    });
+    (0, vitest_1.it)('Gödel: P ∧ P = P (t-norm idempotente)', () => {
+        for (const p of [0, 0.25, 0.5, 0.75, 1]) {
+            (0, vitest_1.expect)((0, many_valued_1.evaluate)((0, many_valued_1.and)(P, P), { P: p }, 'godel')).toBeCloseTo(p, 9);
+        }
+    });
+    (0, vitest_1.it)('Producto: P ∧ P puede ser strictly menor que P (P=0.5 → 0.25)', () => {
+        (0, vitest_1.expect)((0, many_valued_1.evaluate)((0, many_valued_1.and)(P, P), { P: 0.5 }, 'product')).toBeCloseTo(0.25, 9);
+        (0, vitest_1.expect)((0, many_valued_1.evaluate)((0, many_valued_1.and)(P, P), { P: 0.3 }, 'product')).toBeCloseTo(0.09, 9);
+        (0, vitest_1.expect)((0, many_valued_1.evaluate)((0, many_valued_1.and)(P, P), { P: 1 }, 'product')).toBeCloseTo(1, 9);
+        (0, vitest_1.expect)((0, many_valued_1.evaluate)((0, many_valued_1.and)(P, P), { P: 0 }, 'product')).toBeCloseTo(0, 9);
+    });
+    (0, vitest_1.it)('Producto: P → P es tautología y P → Q vale q/p cuando p>q', () => {
+        (0, vitest_1.expect)((0, many_valued_1.isTautology)((0, many_valued_1.implies)(P, P), 'product')).toBe(true);
+        // P=0.8, Q=0.2 → q/p = 0.25
+        (0, vitest_1.expect)((0, many_valued_1.evaluate)((0, many_valued_1.implies)(P, Q), { P: 0.8, Q: 0.2 }, 'product')).toBeCloseTo(0.25, 9);
+        // P=0.2, Q=0.8 → 1 (porque p<=q)
+        (0, vitest_1.expect)((0, many_valued_1.evaluate)((0, many_valued_1.implies)(P, Q), { P: 0.2, Q: 0.8 }, 'product')).toBeCloseTo(1, 9);
+    });
+    (0, vitest_1.it)('Comparación: P ∧ Q con P=0.6, Q=0.4 da distinto en cada sistema', () => {
+        const env = { P: 0.6, Q: 0.4 };
+        const luka = (0, many_valued_1.evaluate)((0, many_valued_1.and)(P, Q), env, 'lukasiewicz');
+        const godel = (0, many_valued_1.evaluate)((0, many_valued_1.and)(P, Q), env, 'godel');
+        const prod = (0, many_valued_1.evaluate)((0, many_valued_1.and)(P, Q), env, 'product');
+        // Łukasiewicz: max(0, 0.6+0.4-1)=0
+        (0, vitest_1.expect)(luka).toBeCloseTo(0, 9);
+        // Gödel: min(0.6, 0.4)=0.4
+        (0, vitest_1.expect)(godel).toBeCloseTo(0.4, 9);
+        // Product: 0.6*0.4=0.24
+        (0, vitest_1.expect)(prod).toBeCloseTo(0.24, 9);
+        (0, vitest_1.expect)(luka).not.toBeCloseTo(godel, 2);
+        (0, vitest_1.expect)(godel).not.toBeCloseTo(prod, 2);
+    });
+    (0, vitest_1.it)('Comparación de implicación: P=0.6, Q=0.4 (p>q)', () => {
+        const env = { P: 0.6, Q: 0.4 };
+        // Łukasiewicz: min(1, 1-0.6+0.4)=0.8
+        (0, vitest_1.expect)((0, many_valued_1.evaluate)((0, many_valued_1.implies)(P, Q), env, 'lukasiewicz')).toBeCloseTo(0.8, 9);
+        // Gödel: p>q → 0.4
+        (0, vitest_1.expect)((0, many_valued_1.evaluate)((0, many_valued_1.implies)(P, Q), env, 'godel')).toBeCloseTo(0.4, 9);
+        // Product: q/p = 0.4/0.6 ≈ 0.6667
+        (0, vitest_1.expect)((0, many_valued_1.evaluate)((0, many_valued_1.implies)(P, Q), env, 'product')).toBeCloseTo(2 / 3, 9);
+    });
+    (0, vitest_1.it)('Łukasiewicz: negación involutiva ¬¬P = P es tautología modal', () => {
+        // En la rejilla, ¬¬P debe coincidir con P; expresado como
+        // (¬¬P → P) ∧ (P → ¬¬P) ambas deben ser tautologías.
+        (0, vitest_1.expect)((0, many_valued_1.isTautology)((0, many_valued_1.implies)((0, many_valued_1.not)((0, many_valued_1.not)(P)), P), 'lukasiewicz')).toBe(true);
+        (0, vitest_1.expect)((0, many_valued_1.isTautology)((0, many_valued_1.implies)(P, (0, many_valued_1.not)((0, many_valued_1.not)(P))), 'lukasiewicz')).toBe(true);
+    });
+    (0, vitest_1.it)('Gödel/Product: ¬¬P ≠ P (negación no involutiva)', () => {
+        // En Gödel/Product, ¬0.5 = 0 → ¬¬0.5 = 1, distinto de 0.5.
+        (0, vitest_1.expect)((0, many_valued_1.evaluate)((0, many_valued_1.not)((0, many_valued_1.not)(P)), { P: 0.5 }, 'godel')).toBeCloseTo(1, 9);
+        (0, vitest_1.expect)((0, many_valued_1.evaluate)((0, many_valued_1.not)((0, many_valued_1.not)(P)), { P: 0.5 }, 'product')).toBeCloseTo(1, 9);
+        // por tanto (¬¬P → P) NO es tautología
+        (0, vitest_1.expect)((0, many_valued_1.isTautology)((0, many_valued_1.implies)((0, many_valued_1.not)((0, many_valued_1.not)(P)), P), 'godel')).toBe(false);
+        (0, vitest_1.expect)((0, many_valued_1.isTautology)((0, many_valued_1.implies)((0, many_valued_1.not)((0, many_valued_1.not)(P)), P), 'product')).toBe(false);
+    });
+    (0, vitest_1.it)('Modus ponens (P ∧ (P → Q)) → Q es tautología en los 3 sistemas', () => {
+        const mp = (0, many_valued_1.implies)((0, many_valued_1.and)(P, (0, many_valued_1.implies)(P, Q)), Q);
+        for (const sys of ['lukasiewicz', 'godel', 'product']) {
+            (0, vitest_1.expect)((0, many_valued_1.isTautology)(mp, sys)).toBe(true);
+        }
+    });
+    (0, vitest_1.it)('findValuation: P ∨ ¬P en Łukasiewicz no tiene contraejemplo (s-norm fuerte)', () => {
+        // En Łukasiewicz strong, P∨¬P = min(1, P+1-P)=1 siempre.
+        const v = (0, many_valued_1.findValuation)((0, many_valued_1.or)(P, (0, many_valued_1.not)(P)), 'lukasiewicz', 0.5);
+        (0, vitest_1.expect)(v).toBeNull();
+    });
+    (0, vitest_1.it)('findValuation encuentra contraejemplo de P ∨ ¬P en Gödel', () => {
+        const v = (0, many_valued_1.findValuation)((0, many_valued_1.or)(P, (0, many_valued_1.not)(P)), 'godel', 0.5);
+        // P=0.5 → ¬P=0 → max=0.5
+        (0, vitest_1.expect)(v).not.toBeNull();
+        if (v) {
+            (0, vitest_1.expect)(v.P).toBeCloseTo(0.5, 6);
+        }
+    });
+    (0, vitest_1.it)('isContradiction: 0 sólo es 0 — P ∧ ¬P es contradicción en Łukasiewicz', () => {
+        (0, vitest_1.expect)((0, many_valued_1.isContradiction)((0, many_valued_1.and)(P, (0, many_valued_1.not)(P)), 'lukasiewicz')).toBe(true);
+    });
+    (0, vitest_1.it)('collectFuzzyAtoms recoge átomos únicos y ordenados', () => {
+        const f = (0, many_valued_1.and)(P, (0, many_valued_1.or)(Q, (0, many_valued_1.not)((0, many_valued_1.atom)('R'))));
+        (0, vitest_1.expect)((0, many_valued_1.collectFuzzyAtoms)(f)).toEqual(['P', 'Q', 'R']);
+    });
+    (0, vitest_1.it)('evaluate clamp01: entradas fuera de [0,1] se clampean', () => {
+        // env con valor 2 — el evaluator clampea a 1.
+        (0, vitest_1.expect)((0, many_valued_1.evaluate)(P, { P: 2 }, 'lukasiewicz')).toBeCloseTo(1, 9);
+        (0, vitest_1.expect)((0, many_valued_1.evaluate)(P, { P: -0.5 }, 'product')).toBeCloseTo(0, 9);
+    });
+    (0, vitest_1.it)('Casos extremos 0/1: comportamiento clásico recuperado', () => {
+        // Cuando P,Q ∈ {0,1}, las 3 lógicas degeneran a clásica.
+        for (const p of [0, 1]) {
+            for (const q of [0, 1]) {
+                const env = { P: p, Q: q };
+                const luka = (0, many_valued_1.evaluate)((0, many_valued_1.implies)(P, Q), env, 'lukasiewicz');
+                const god = (0, many_valued_1.evaluate)((0, many_valued_1.implies)(P, Q), env, 'godel');
+                const prod = (0, many_valued_1.evaluate)((0, many_valued_1.implies)(P, Q), env, 'product');
+                const classical = p === 1 && q === 0 ? 0 : 1;
+                (0, vitest_1.expect)(luka).toBeCloseTo(classical, 9);
+                (0, vitest_1.expect)(god).toBeCloseTo(classical, 9);
+                (0, vitest_1.expect)(prod).toBeCloseTo(classical, 9);
+            }
+        }
+    });
+    (0, vitest_1.it)('Łukasiewicz: (P → Q) ∨ (Q → P) — prelinearity / Dummett', () => {
+        // Es tautología en los 3 sistemas (axioma común de las lógicas de Hájek).
+        const dum = (0, many_valued_1.or)((0, many_valued_1.implies)(P, Q), (0, many_valued_1.implies)(Q, P));
+        (0, vitest_1.expect)((0, many_valued_1.isTautology)(dum, 'lukasiewicz')).toBe(true);
+        (0, vitest_1.expect)((0, many_valued_1.isTautology)(dum, 'godel')).toBe(true);
+        (0, vitest_1.expect)((0, many_valued_1.isTautology)(dum, 'product')).toBe(true);
+    });
+    (0, vitest_1.it)('Producto: P ∧ Q = P*Q (t-norm conmutativo y asociativo)', () => {
+        const env1 = { P: 0.5, Q: 0.4 };
+        const env2 = { P: 0.4, Q: 0.5 };
+        const v1 = (0, many_valued_1.evaluate)((0, many_valued_1.and)(P, Q), env1, 'product');
+        const v2 = (0, many_valued_1.evaluate)((0, many_valued_1.and)(P, Q), env2, 'product');
+        (0, vitest_1.expect)(v1).toBeCloseTo(v2, 9);
+        (0, vitest_1.expect)(v1).toBeCloseTo(0.2, 9);
+    });
+});
+//# sourceMappingURL=many-valued.test.js.map

package/dist/tests/many-valued/many-valued.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"many-valued.test.js","sourceRoot":"","sources":["../../../src/tests/many-valued/many-valued.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,4DAYoC;AAEpC,MAAM,CAAC,GAAG,IAAA,kBAAI,EAAC,GAAG,CAAC,CAAC;AACpB,MAAM,CAAC,GAAG,IAAA,kBAAI,EAAC,GAAG,CAAC,CAAC;AAEpB,IAAA,iBAAQ,EAAC,2CAA2C,EAAE,GAAG,EAAE;IACzD,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,IAAA,qBAAO,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+EAA+E,EAAE,GAAG,EAAE;QACvF,oEAAoE;QACpE,0EAA0E;QAC1E,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,IAAA,gBAAE,EAAC,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7D,MAAM,CAAC,GAAG,IAAA,sBAAQ,EAAC,IAAA,gBAAE,EAAC,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,aAAa,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,oBAAoB;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,iEAAiE;QACjE,iEAAiE;QACjE,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,IAAA,iBAAG,EAAC,IAAA,iBAAG,EAAC,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnE,IAAA,eAAM,EAAC,IAAA,6BAAe,EAAC,IAAA,iBAAG,EAAC,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,IAAA,gBAAE,EAAC,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxD,4DAA4D;QAC5D,MAAM,CAAC,GAAG,IAAA,sBAAQ,EAAC,IAAA,gBAAE,EAAC,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,OAAO,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,IAAA,qBAAO,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;YACxC,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,IAAA,iBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACnE,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,IAAA,iBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACxE,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,IAAA,iBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACxE,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,IAAA,iBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACnE,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,IAAA,iBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,IAAA,qBAAO,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzD,4BAA4B;QAC5B,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,IAAA,qBAAO,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC,WAAW,CACxE,IAAI,EACJ,CAAC,CACF,CAAC;QACF,iCAAiC;QACjC,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,IAAA,qBAAO,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC,WAAW,CACxE,CAAC,EACD,CAAC,CACF,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,GAAG,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,IAAA,sBAAQ,EAAC,IAAA,iBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,aAAa,CAAC,CAAC;QACrD,MAAM,KAAK,GAAG,IAAA,sBAAQ,EAAC,IAAA,iBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QAChD,MAAM,IAAI,GAAG,IAAA,sBAAQ,EAAC,IAAA,iBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;QAEjD,mCAAmC;QACnC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/B,2BAA2B;QAC3B,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QAClC,wBAAwB;QACxB,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAElC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,GAAG,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC;QAC/B,qCAAqC;QACrC,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,IAAA,qBAAO,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACxE,mBAAmB;QACnB,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,IAAA,qBAAO,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QAClE,kCAAkC;QAClC,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,IAAA,qBAAO,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,0DAA0D;QAC1D,qDAAqD;QACrD,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,IAAA,qBAAO,EAAC,IAAA,iBAAG,EAAC,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,IAAA,qBAAO,EAAC,CAAC,EAAE,IAAA,iBAAG,EAAC,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,2DAA2D;QAC3D,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,IAAA,iBAAG,EAAC,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACrE,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,IAAA,iBAAG,EAAC,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACvE,uCAAuC;QACvC,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,IAAA,qBAAO,EAAC,IAAA,iBAAG,EAAC,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClE,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,IAAA,qBAAO,EAAC,IAAA,iBAAG,EAAC,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,EAAE,GAAG,IAAA,qBAAO,EAAC,IAAA,iBAAG,EAAC,CAAC,EAAE,IAAA,qBAAO,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7C,KAAK,MAAM,GAAG,IAAI,CAAC,aAAa,EAAE,OAAO,EAAE,SAAS,CAAoB,EAAE,CAAC;YACzE,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6EAA6E,EAAE,GAAG,EAAE;QACrF,yDAAyD;QACzD,MAAM,CAAC,GAAG,IAAA,2BAAa,EAAC,IAAA,gBAAE,EAAC,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,GAAG,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACvB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,CAAC,GAAG,IAAA,2BAAa,EAAC,IAAA,gBAAE,EAAC,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;QACrD,yBAAyB;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,EAAE,CAAC;YACN,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QAClC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,IAAA,eAAM,EAAC,IAAA,6BAAe,EAAC,IAAA,iBAAG,EAAC,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,CAAC,GAAG,IAAA,iBAAG,EAAC,CAAC,EAAE,IAAA,gBAAE,EAAC,CAAC,EAAE,IAAA,iBAAG,EAAC,IAAA,kBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAA,+BAAiB,EAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,8CAA8C;QAC9C,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,yDAAyD;QACzD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YACvB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;gBACvB,MAAM,GAAG,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC3B,MAAM,IAAI,GAAG,IAAA,sBAAQ,EAAC,IAAA,qBAAO,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,aAAa,CAAC,CAAC;gBACzD,MAAM,GAAG,GAAG,IAAA,sBAAQ,EAAC,IAAA,qBAAO,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;gBAClD,MAAM,IAAI,GAAG,IAAA,sBAAQ,EAAC,IAAA,qBAAO,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;gBACrD,MAAM,SAAS,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC7C,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC;gBACvC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC;gBACtC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC;YACzC,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,0EAA0E;QAC1E,MAAM,GAAG,GAAG,IAAA,gBAAE,EAAC,IAAA,qBAAO,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,qBAAO,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,GAAG,EAAE,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,IAAI,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC;QAChC,MAAM,EAAE,GAAG,IAAA,sBAAQ,EAAC,IAAA,iBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;QAChD,MAAM,EAAE,GAAG,IAAA,sBAAQ,EAAC,IAAA,iBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/modal-frame-axioms/frame-axioms.test.d.ts

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

package/dist/tests/modal-frame-axioms/frame-axioms.test.d.ts.map

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

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

@@ -0,0 +1,236 @@
+"use strict";
+// ============================================================
+// Tests del tableau modal con axiomas de frame
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const modal_frame_axioms_1 = require("../../profiles/modal-frame-axioms");
+const p = (0, modal_frame_axioms_1.atom)('p');
+const q = (0, modal_frame_axioms_1.atom)('q');
+// ------------------------------------------------------------
+// Sistemas y composición
+// ------------------------------------------------------------
+(0, vitest_1.describe)('systemAxioms — composición de sistemas estándar', () => {
+    (0, vitest_1.it)('K no tiene axiomas de frame', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.systemAxioms)('K')).toEqual([]);
+    });
+    (0, vitest_1.it)('T = {T}', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.systemAxioms)('T').sort()).toEqual(['T']);
+    });
+    (0, vitest_1.it)('S4 = {T, 4}', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.systemAxioms)('S4').sort()).toEqual(['4', 'T']);
+    });
+    (0, vitest_1.it)('S5 = {T, 4, 5}', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.systemAxioms)('S5').sort()).toEqual(['4', '5', 'T']);
+    });
+    (0, vitest_1.it)('B = {T, B}', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.systemAxioms)('B').sort()).toEqual(['B', 'T']);
+    });
+    (0, vitest_1.it)('KD45 = {D, 4, 5}', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.systemAxioms)('KD45').sort()).toEqual(['4', '5', 'D']);
+    });
+});
+// ------------------------------------------------------------
+// Cada axioma es válido en su sistema mínimo y refutable en K
+// ------------------------------------------------------------
+(0, vitest_1.describe)('axiomas individuales — válidos en su sistema, no en K', () => {
+    const cases = [
+        { axiom: 'T', system: 'T' },
+        { axiom: '4', system: 'K4' },
+        { axiom: '5', system: 'K5' },
+        { axiom: 'B', system: 'B' },
+        { axiom: 'D', system: 'D' },
+    ];
+    for (const { axiom, system } of cases) {
+        (0, vitest_1.it)(`axioma ${axiom} válido en ${system}`, () => {
+            (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.axiomFormula)(axiom, p), system)).toBe(true);
+        });
+        (0, vitest_1.it)(`axioma ${axiom} NO válido en K`, () => {
+            (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.axiomFormula)(axiom, p), 'K')).toBe(false);
+        });
+    }
+});
+// ------------------------------------------------------------
+// Axiomas característicos canónicos por sistema
+// ------------------------------------------------------------
+(0, vitest_1.describe)('S4 — reflexivo + transitivo', () => {
+    (0, vitest_1.it)('□p → □□p es válido (axioma 4)', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.box)(p), (0, modal_frame_axioms_1.box)((0, modal_frame_axioms_1.box)(p))), 'S4')).toBe(true);
+    });
+    (0, vitest_1.it)('□p → p es válido (axioma T)', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.box)(p), p), 'S4')).toBe(true);
+    });
+    (0, vitest_1.it)('◇◇p → ◇p es válido (densidad bajo trans)', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.diamond)((0, modal_frame_axioms_1.diamond)(p)), (0, modal_frame_axioms_1.diamond)(p)), 'S4')).toBe(true);
+    });
+    (0, vitest_1.it)('◇p → □◇p NO es válido (axioma 5 no se cumple en S4)', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.diamond)(p), (0, modal_frame_axioms_1.box)((0, modal_frame_axioms_1.diamond)(p))), 'S4')).toBe(false);
+    });
+});
+(0, vitest_1.describe)('S5 — equivalencia', () => {
+    (0, vitest_1.it)('◇p → □◇p es válido (axioma 5)', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.diamond)(p), (0, modal_frame_axioms_1.box)((0, modal_frame_axioms_1.diamond)(p))), 'S5')).toBe(true);
+    });
+    (0, vitest_1.it)('p → □◇p es válido (axioma B)', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)(p, (0, modal_frame_axioms_1.box)((0, modal_frame_axioms_1.diamond)(p))), 'S5')).toBe(true);
+    });
+    (0, vitest_1.it)('□p ↔ ¬◇¬p, formulado como □p → ¬◇¬p, válido', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.box)(p), (0, modal_frame_axioms_1.not)((0, modal_frame_axioms_1.diamond)((0, modal_frame_axioms_1.not)(p)))), 'S5')).toBe(true);
+    });
+    (0, vitest_1.it)('◇□p → p es válido (resultado clásico S5)', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.diamond)((0, modal_frame_axioms_1.box)(p)), p), 'S5')).toBe(true);
+    });
+    (0, vitest_1.it)('◇□p → □p es válido en S5 pero no en S4', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.diamond)((0, modal_frame_axioms_1.box)(p)), (0, modal_frame_axioms_1.box)(p)), 'S5')).toBe(true);
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.diamond)((0, modal_frame_axioms_1.box)(p)), (0, modal_frame_axioms_1.box)(p)), 'S4')).toBe(false);
+    });
+});
+(0, vitest_1.describe)('T — reflexividad', () => {
+    (0, vitest_1.it)('□p → p es válido en T', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.box)(p), p), 'T')).toBe(true);
+    });
+    (0, vitest_1.it)('p → ◇p es válido en T (dual de T)', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)(p, (0, modal_frame_axioms_1.diamond)(p)), 'T')).toBe(true);
+    });
+    (0, vitest_1.it)('□p → ◇p es válido en T (refl ⇒ serial)', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.box)(p), (0, modal_frame_axioms_1.diamond)(p)), 'T')).toBe(true);
+    });
+    (0, vitest_1.it)('□p → □□p NO es válido en T (no hay transitividad)', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.box)(p), (0, modal_frame_axioms_1.box)((0, modal_frame_axioms_1.box)(p))), 'T')).toBe(false);
+    });
+});
+(0, vitest_1.describe)('K — sin axiomas de frame', () => {
+    (0, vitest_1.it)('□p → p NO es válido en K', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.box)(p), p), 'K')).toBe(false);
+    });
+    (0, vitest_1.it)('□p → ◇p NO es válido en K (sin D)', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.box)(p), (0, modal_frame_axioms_1.diamond)(p)), 'K')).toBe(false);
+    });
+    (0, vitest_1.it)('axioma K válido: □(p→q) → (□p→□q)', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.box)((0, modal_frame_axioms_1.implies)(p, q)), (0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.box)(p), (0, modal_frame_axioms_1.box)(q))), 'K')).toBe(true);
+    });
+    (0, vitest_1.it)('necesitación: □(p ∨ ¬p) válido en cualquier sistema normal', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.box)((0, modal_frame_axioms_1.or)(p, (0, modal_frame_axioms_1.not)(p))), 'K')).toBe(true);
+    });
+});
+(0, vitest_1.describe)('D — serialidad', () => {
+    (0, vitest_1.it)('□p → ◇p es válido en D', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.box)(p), (0, modal_frame_axioms_1.diamond)(p)), 'D')).toBe(true);
+    });
+    (0, vitest_1.it)('¬(□p ∧ □¬p) es válido en D (consistencia normativa)', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.not)((0, modal_frame_axioms_1.and)((0, modal_frame_axioms_1.box)(p), (0, modal_frame_axioms_1.box)((0, modal_frame_axioms_1.not)(p)))), 'D')).toBe(true);
+    });
+    (0, vitest_1.it)('□p → p NO es válido en D (D no implica T)', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.box)(p), p), 'D')).toBe(false);
+    });
+});
+(0, vitest_1.describe)('B — simetría (KTB)', () => {
+    (0, vitest_1.it)('p → □◇p válido en B (axioma B)', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)(p, (0, modal_frame_axioms_1.box)((0, modal_frame_axioms_1.diamond)(p))), 'B')).toBe(true);
+    });
+    (0, vitest_1.it)('◇□p → p válido en B', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.diamond)((0, modal_frame_axioms_1.box)(p)), p), 'B')).toBe(true);
+    });
+    (0, vitest_1.it)('□p → □□p NO válido en B (sin transitividad)', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.box)(p), (0, modal_frame_axioms_1.box)((0, modal_frame_axioms_1.box)(p))), 'B')).toBe(false);
+    });
+});
+(0, vitest_1.describe)('KD45 — lógica doxástica estándar', () => {
+    (0, vitest_1.it)('axioma D válido: □p → ◇p', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.axiomFormula)('D', p), 'KD45')).toBe(true);
+    });
+    (0, vitest_1.it)('axioma 4 válido: □p → □□p (positive introspection)', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.axiomFormula)('4', p), 'KD45')).toBe(true);
+    });
+    (0, vitest_1.it)('axioma 5 válido: ◇p → □◇p (negative introspection)', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.axiomFormula)('5', p), 'KD45')).toBe(true);
+    });
+    (0, vitest_1.it)('□p → p NO válido en KD45 (creencia ≠ verdad)', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.box)(p), p), 'KD45')).toBe(false);
+    });
+});
+// ------------------------------------------------------------
+// Tableau directo y modelos
+// ------------------------------------------------------------
+(0, vitest_1.describe)('tableauWithAxioms — devuelve modelo cuando es satisfacible', () => {
+    (0, vitest_1.it)('p satisfacible en K — modelo con w0 forzando p', () => {
+        const r = (0, modal_frame_axioms_1.tableauWithAxioms)(p, []);
+        (0, vitest_1.expect)(r.sat).toBe(true);
+        (0, vitest_1.expect)(r.model).toBeDefined();
+        (0, vitest_1.expect)(r.model.valuation.get(r.model.actual)?.has('p')).toBe(true);
+    });
+    (0, vitest_1.it)('□p ∧ ¬p satisfacible en K (irreflexivo) — closed=false', () => {
+        const r = (0, modal_frame_axioms_1.tableauWithAxioms)((0, modal_frame_axioms_1.and)((0, modal_frame_axioms_1.box)(p), (0, modal_frame_axioms_1.not)(p)), []);
+        (0, vitest_1.expect)(r.sat).toBe(true);
+        (0, vitest_1.expect)(r.closed).toBe(false);
+    });
+    (0, vitest_1.it)('□p ∧ ¬p insatisfacible en T (reflexivo) — closed=true', () => {
+        const r = (0, modal_frame_axioms_1.tableauWithAxioms)((0, modal_frame_axioms_1.and)((0, modal_frame_axioms_1.box)(p), (0, modal_frame_axioms_1.not)(p)), ['T']);
+        (0, vitest_1.expect)(r.sat).toBe(false);
+        (0, vitest_1.expect)(r.closed).toBe(true);
+        (0, vitest_1.expect)(r.model).toBeUndefined();
+    });
+    (0, vitest_1.it)('contradicción proposicional cierra en cualquier sistema', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.tableauWithAxioms)((0, modal_frame_axioms_1.and)(p, (0, modal_frame_axioms_1.not)(p)), []).closed).toBe(true);
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.tableauWithAxioms)((0, modal_frame_axioms_1.and)(p, (0, modal_frame_axioms_1.not)(p)), ['T']).closed).toBe(true);
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.tableauWithAxioms)((0, modal_frame_axioms_1.and)(p, (0, modal_frame_axioms_1.not)(p)), ['T', '4', '5']).closed).toBe(true);
+    });
+});
+// ------------------------------------------------------------
+// Composición / monotonía: T-validez ⊆ S4-validez ⊆ S5-validez
+// ------------------------------------------------------------
+(0, vitest_1.describe)('monotonía: añadir axiomas no quita validez', () => {
+    const formulas = [
+        (0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.box)(p), p), // T-válido
+        (0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.box)(p), (0, modal_frame_axioms_1.box)((0, modal_frame_axioms_1.box)(p))), // 4-válido
+        (0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.box)(p), (0, modal_frame_axioms_1.diamond)(p)), // T,D-válido
+    ];
+    for (const phi of formulas) {
+        (0, vitest_1.it)(`si φ válida en T también lo es en S4 y S5`, () => {
+            if ((0, modal_frame_axioms_1.isValid)(phi, 'T')) {
+                (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)(phi, 'S4')).toBe(true);
+                (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)(phi, 'S5')).toBe(true);
+            }
+        });
+    }
+});
+// ------------------------------------------------------------
+// Casos negativos: claras refutaciones
+// ------------------------------------------------------------
+(0, vitest_1.describe)('refutaciones explícitas', () => {
+    (0, vitest_1.it)('p → □p NO válido en S5 (sólo si universal)', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)(p, (0, modal_frame_axioms_1.box)(p)), 'S5')).toBe(false);
+    });
+    (0, vitest_1.it)('◇p → p NO válido en T (T no da simetría)', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.diamond)(p), p), 'T')).toBe(false);
+    });
+    (0, vitest_1.it)('□◇p → ◇□p NO válido en S4 (McKinsey no es teorema)', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.box)((0, modal_frame_axioms_1.diamond)(p)), (0, modal_frame_axioms_1.diamond)((0, modal_frame_axioms_1.box)(p))), 'S4')).toBe(false);
+    });
+});
+// ------------------------------------------------------------
+// isSatisfiable directo
+// ------------------------------------------------------------
+(0, vitest_1.describe)('isSatisfiable — consistencia con isValid', () => {
+    (0, vitest_1.it)('p satisfacible en todos los sistemas', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isSatisfiable)(p, 'K')).toBe(true);
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isSatisfiable)(p, 'T')).toBe(true);
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isSatisfiable)(p, 'S5')).toBe(true);
+    });
+    (0, vitest_1.it)('p ∧ ¬p insatisfacible en todos los sistemas', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isSatisfiable)((0, modal_frame_axioms_1.and)(p, (0, modal_frame_axioms_1.not)(p)), 'K')).toBe(false);
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isSatisfiable)((0, modal_frame_axioms_1.and)(p, (0, modal_frame_axioms_1.not)(p)), 'KD45')).toBe(false);
+    });
+    (0, vitest_1.it)('isValid(φ) ⇔ ¬isSatisfiable(¬φ)', () => {
+        const phi = (0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.box)(p), p);
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)(phi, 'T')).toBe(!(0, modal_frame_axioms_1.isSatisfiable)((0, modal_frame_axioms_1.not)(phi), 'T'));
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)(phi, 'K')).toBe(!(0, modal_frame_axioms_1.isSatisfiable)((0, modal_frame_axioms_1.not)(phi), 'K'));
+    });
+    (0, vitest_1.it)('□p ∧ ¬p satisfacible en K (mundo aislado), insatisfacible en T', () => {
+        const phi = (0, modal_frame_axioms_1.and)((0, modal_frame_axioms_1.box)(p), (0, modal_frame_axioms_1.not)(p));
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isSatisfiable)(phi, 'K')).toBe(true);
+        // En T (reflexividad) w0 R w0, entonces □p fuerza p(w0), contradicción.
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isSatisfiable)(phi, 'T')).toBe(false);
+    });
+});
+//# sourceMappingURL=frame-axioms.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"frame-axioms.test.js","sourceRoot":"","sources":["../../../src/tests/modal-frame-axioms/frame-axioms.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,+CAA+C;AAC/C,+DAA+D;;AAE/D,mCAA8C;AAC9C,0EAe2C;AAE3C,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/mus/extract.test.d.ts

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

package/dist/tests/mus/extract.test.d.ts.map

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