@stevenvo780/st-lang 4.8.0 → 4.10.0

package/dist/tests/reasoning/ban-logic/ban-logic.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ban-logic.test.js","sourceRoot":"","sources":["../../../../src/tests/reasoning/ban-logic/ban-logic.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,oBAAoB;AACpB,+DAA+D;;AAE/D,mCAA8C;AAC9C,4DA8BsC;AAEtC,gEAAgE;AAEhE,MAAM,CAAC,GAAG,IAAA,qBAAS,EAAC,GAAG,CAAC,CAAC;AACzB,MAAM,CAAC,GAAG,IAAA,qBAAS,EAAC,GAAG,CAAC,CAAC;AACzB,MAAM,IAAI,GAAG,IAAA,eAAG,EAAC,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AACrC,MAAM,GAAG,GAAG,IAAA,iBAAK,EAAC,KAAK,CAAC,CAAC;AACzB,MAAM,CAAC,GAAG,IAAA,gBAAI,EAAC,GAAG,CAAC,CAAC;AAEpB,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;YAAE,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAG,IAAA,qBAAS,EAAC,IAAA,mBAAO,EAAC,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACjC,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YACvC,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,EAAE,GAAG,IAAA,eAAG,EAAC,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAChC,MAAM,EAAE,GAAG,IAAA,eAAG,EAAC,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,sBAAU,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,IAAA,eAAM,EAAC,IAAA,sBAAU,EAAC,IAAA,iBAAK,EAAC,KAAK,CAAC,EAAE,IAAA,iBAAK,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,EAAE,GAAG,IAAA,qBAAS,EAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;QACjC,MAAM,EAAE,GAAG,IAAA,qBAAS,EAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAA,yBAAa,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,IAAA,oBAAQ,EAAC,CAAC,EAAE,IAAA,gBAAI,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAA,2BAAe,EAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAA,2BAAe,EAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,KAAK,GAAG,CAAC,IAAA,oBAAQ,EAAC,CAAC,EAAE,IAAA,iBAAK,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAA,sBAAU,EAAC,KAAK,EAAE,IAAA,oBAAQ,EAAC,CAAC,EAAE,IAAA,iBAAK,EAAC,IAAA,iBAAK,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,KAAK,GAAG,CAAC,IAAA,oBAAQ,EAAC,CAAC,EAAE,IAAA,qBAAS,EAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,IAAA,gBAAI,EAAC,CAAC,EAAE,IAAA,qBAAS,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;QAChF,MAAM,GAAG,GAAG,IAAA,qCAAyB,EAAC,KAAK,EAAE,IAAA,oBAAQ,EAAC,CAAC,EAAE,IAAA,qBAAS,EAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;QACjF,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC3B,IAAA,eAAM,EAAC,GAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACnC,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;YACxE,IAAA,eAAM,EAAC,IAAA,sBAAU,EAAC,GAAG,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtD,IAAA,eAAM,EAAC,IAAA,sBAAU,EAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnD,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;QACnD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,MAAM,GAAG,IAAA,eAAG,EAAC,SAAS,CAAC,CAAC;QAC9B,MAAM,KAAK,GAAG,CAAC,IAAA,oBAAQ,EAAC,CAAC,EAAE,IAAA,qBAAS,EAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,IAAA,gBAAI,EAAC,CAAC,EAAE,IAAA,qBAAS,EAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QAClF,MAAM,GAAG,GAAG,IAAA,qCAAyB,EAAC,KAAK,EAAE,IAAA,oBAAQ,EAAC,CAAC,EAAE,IAAA,qBAAS,EAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;QACjF,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC;IACzB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,KAAK,GAAG,CAAC,IAAA,oBAAQ,EAAC,CAAC,EAAE,IAAA,iBAAK,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,oBAAQ,EAAC,CAAC,EAAE,IAAA,uBAAW,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACtE,MAAM,GAAG,GAAG,IAAA,kCAAsB,EAAC,KAAK,EAAE,IAAA,oBAAQ,EAAC,CAAC,EAAE,IAAA,uBAAW,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1E,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC3B,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACpE,IAAA,eAAM,EAAC,IAAA,sBAAU,EAAC,GAAG,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxD,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;QACxD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,KAAK,GAAG,CAAC,IAAA,oBAAQ,EAAC,CAAC,EAAE,IAAA,uBAAW,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/C,MAAM,GAAG,GAAG,IAAA,kCAAsB,EAAC,KAAK,EAAE,IAAA,oBAAQ,EAAC,CAAC,EAAE,IAAA,uBAAW,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1E,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC;IACzB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,IAAI,GAAG,IAAA,iBAAK,EAAC,CAAC,CAAC,CAAC;QACtB,MAAM,KAAK,GAAG,CAAC,IAAA,oBAAQ,EAAC,CAAC,EAAE,IAAA,wBAAY,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,IAAA,oBAAQ,EAAC,CAAC,EAAE,IAAA,oBAAQ,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;QACnF,MAAM,GAAG,GAAG,IAAA,6BAAiB,EAAC,KAAK,EAAE,IAAA,oBAAQ,EAAC,CAAC,EAAE,IAAA,wBAAY,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC3B,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACnC,IAAA,eAAM,EAAC,IAAA,yBAAa,EAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClD,IAAA,eAAM,EAAC,IAAA,sBAAU,EAAC,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,IAAI,GAAG,IAAA,iBAAK,EAAC,CAAC,CAAC,CAAC;QACtB,MAAM,KAAK,GAAG,CAAC,IAAA,oBAAQ,EAAC,CAAC,EAAE,IAAA,oBAAQ,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,IAAA,oBAAQ,EAAC,CAAC,EAAE,IAAA,oBAAQ,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/E,MAAM,GAAG,GAAG,IAAA,6BAAiB,EAAC,KAAK,EAAE,IAAA,oBAAQ,EAAC,CAAC,EAAE,IAAA,oBAAQ,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;QACrE,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC7B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,KAAK,GAAG,IAAA,gBAAI,EAAC,CAAC,EAAE,IAAA,qBAAS,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;QAC1C,MAAM,KAAK,GAAG,CAAC,KAAK,EAAE,IAAA,oBAAQ,EAAC,CAAC,EAAE,IAAA,qBAAS,EAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1D,MAAM,GAAG,GAAG,IAAA,gCAAoB,EAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC3B,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC/B,IAAA,eAAM,EAAC,IAAA,sBAAU,EAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC3C,IAAA,eAAM,EAAC,IAAA,sBAAU,EAAC,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,KAAK,GAAG,IAAA,gBAAI,EAAC,CAAC,EAAE,IAAA,qBAAS,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;QAC1C,MAAM,GAAG,GAAG,IAAA,gCAAoB,EAAC,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC;IACzB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,CAAC,GAAG,IAAA,gBAAI,EAAC,GAAG,CAAC,CAAC;QACpB,MAAM,KAAK,GAAG,IAAA,gBAAI,EAAC,CAAC,EAAE,IAAA,mBAAO,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,IAAI,GAAG,IAAA,6BAAiB,EAAC,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC5B,uDAAuD;QACvD,MAAM,MAAM,GAAG,CAAC,KAAK,EAAE,IAAK,CAAC,CAAC;QAC9B,MAAM,IAAI,GAAG,IAAA,6BAAiB,EAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC5B,IAAI,IAAI,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACjE,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;YAC9B,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;gBAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACvD,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;gBAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACvD,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChC,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,IAAA,eAAG,EAAC,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAC/B,MAAM,IAAI,GAAG,IAAA,iBAAK,EAAC,CAAC,CAAC,CAAC;QACtB,MAAM,OAAO,GAAG;YACd,IAAA,oBAAQ,EAAC,CAAC,EAAE,IAAA,qBAAS,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAC/B,IAAA,gBAAI,EAAC,CAAC,EAAE,IAAA,qBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACxB,IAAA,oBAAQ,EAAC,CAAC,EAAE,IAAA,iBAAK,EAAC,CAAC,CAAC,CAAC;YACrB,IAAA,oBAAQ,EAAC,CAAC,EAAE,IAAA,wBAAY,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC;SACnC,CAAC;QACF,MAAM,EAAE,KAAK,EAAE,GAAG,IAAA,oBAAQ,EAAC,OAAO,CAAC,CAAC;QACpC,mEAAmE;QACnE,kEAAkE;QAClE,iEAAiE;QACjE,+DAA+D;QAC/D,6BAA6B;QAC7B,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjG,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,KAAK,GAAG,IAAA,gBAAI,EAAC,CAAC,EAAE,IAAA,mBAAO,EAAC,CAAC,EAAE,IAAA,gBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,gBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACxD,MAAM,EAAE,KAAK,EAAE,GAAG,IAAA,oBAAQ,EAAC,CAAC,KAAK,CAAC,EAAE,EAAE,aAAa,EAAE,EAAE,EAAE,cAAc,EAAE,GAAG,EAAE,CAAC,CAAC;QAChF,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,IAAA,qCAAyB,GAAE,CAAC;QACtC,IAAA,eAAM,EAAC,CAAC,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,IAAA,qCAAyB,GAAE,CAAC;QACtC,MAAM,MAAM,GAAG,IAAA,2BAAe,EAAC,CAAC,CAAC,CAAC;QAClC,gEAAgE;QAChE,iEAAiE;QACjE,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,IAAA,qCAAyB,GAAE,CAAC;QACtC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,GAAG,IAAA,qCAAyB,GAAE,CAAC;QACtC,MAAM,MAAM,GAAG,IAAA,2BAAe,EAAC,CAAC,CAAC,CAAC;QAClC,2DAA2D;QAC3D,4CAA4C;QAC5C,IAAA,eAAM,EAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,gBAAgB,EAAE,GAAG,EAAE;IAC9B,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,CAAC,GAAG,IAAA,oBAAQ,GAAE,CAAC;QACrB,IAAA,eAAM,EAAC,CAAC,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,IAAA,oBAAQ,GAAE,CAAC;QACrB,MAAM,MAAM,GAAG,IAAA,2BAAe,EAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpE,+DAA+D;QAC/D,6CAA6C;QAC7C,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,sDAAsD,EAAE,GAAG,EAAE;IACpE,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,GAAG,GAAG,IAAA,eAAG,EAAC,KAAK,CAAC,CAAC;QACvB,MAAM,OAAO,GAAG,CAAC,IAAA,oBAAQ,EAAC,CAAC,EAAE,IAAA,qBAAS,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,IAAA,gBAAI,EAAC,CAAC,EAAE,IAAA,qBAAS,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QAC7E,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,IAAA,oBAAQ,EAAC,OAAO,CAAC,CAAC;QAC3C,wCAAwC;QACxC,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CACtB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,UAAU;YACrB,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,cAAc;YAC/B,IAAA,sBAAU,EAAC,CAAC,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC;YAChC,IAAA,sBAAU,EAAC,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAC9B,CAAC;QACF,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,GAAG,IAAA,gBAAI,EAAC,GAAG,CAAC,CAAC;QACpB,MAAM,OAAO,GAAG,CAAC,IAAA,oBAAQ,EAAC,CAAC,EAAE,IAAA,iBAAK,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,gBAAI,EAAC,CAAC,EAAE,IAAA,oBAAQ,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACrE,MAAM,EAAE,KAAK,EAAE,GAAG,IAAA,oBAAQ,EAAC,OAAO,CAAC,CAAC;QACpC,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAC3B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAC7F,CAAC;QACF,IAAA,eAAM,EAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAG,IAAA,qCAAyB,GAAE,CAAC;QACtC,MAAM,CAAC,GAAG,IAAA,2BAAe,EAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,uDAAuD;QACvD,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,IAAA,qCAAyB,GAAE,CAAC;QACtC,MAAM,CAAC,GAAG,IAAA,2BAAe,EAAC,CAAC,EAAE,EAAE,aAAa,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,CAAC,CAAC;QACtE,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

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

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

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

package/dist/tests/reasoning/computability/computability.test.js

@@ -0,0 +1,246 @@
+"use strict";
+// ============================================================
+// ST Computability — Tests
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const computability_1 = require("../../../reasoning/computability");
+(0, vitest_1.describe)('computability — Turing machine core', () => {
+    (0, vitest_1.it)('step reporta halted-accept cuando ya estamos en estado de aceptación', () => {
+        const M = (0, computability_1.tmUnaryParity)();
+        const cfg = { state: 'qa', tape: ['B'], head: 0, step: 0 };
+        (0, vitest_1.expect)((0, computability_1.step)(M, cfg)).toBe('halted-accept');
+    });
+    (0, vitest_1.it)('step reporta no-transition cuando no hay regla aplicable', () => {
+        const M = (0, computability_1.tmUnaryParity)();
+        const cfg = { state: 'q0', tape: ['x'], head: 0, step: 0 };
+        (0, vitest_1.expect)((0, computability_1.step)(M, cfg)).toBe('no-transition');
+    });
+    (0, vitest_1.it)('trace devuelve la configuración inicial y al menos una posterior', () => {
+        const M = (0, computability_1.tmBinaryIncrement)();
+        const t = (0, computability_1.trace)(M, '1', 100);
+        (0, vitest_1.expect)(t.length).toBeGreaterThan(1);
+        (0, vitest_1.expect)(t[0]?.state).toBe('q0');
+    });
+    (0, vitest_1.it)('initialConfig usa blank cuando input es vacío', () => {
+        const M = (0, computability_1.tmBinaryIncrement)();
+        const cfg = (0, computability_1.initialConfig)(M, '');
+        (0, vitest_1.expect)(cfg.tape).toEqual(['B']);
+        (0, vitest_1.expect)(cfg.head).toBe(0);
+        (0, vitest_1.expect)(cfg.state).toBe('q0');
+    });
+});
+(0, vitest_1.describe)('computability — Binary increment', () => {
+    (0, vitest_1.it)('tmBinaryIncrement("101") → "110"', () => {
+        const M = (0, computability_1.tmBinaryIncrement)();
+        const r = (0, computability_1.run)(M, '101');
+        (0, vitest_1.expect)(r.result).toBe('accept');
+        (0, vitest_1.expect)((0, computability_1.readTape)(M, r.finalConfig)).toBe('110');
+    });
+    (0, vitest_1.it)('tmBinaryIncrement("111") → "1000" (acarreo completo)', () => {
+        const M = (0, computability_1.tmBinaryIncrement)();
+        const r = (0, computability_1.run)(M, '111');
+        (0, vitest_1.expect)(r.result).toBe('accept');
+        (0, vitest_1.expect)((0, computability_1.readTape)(M, r.finalConfig)).toBe('1000');
+    });
+    (0, vitest_1.it)('tmBinaryIncrement("0") → "1"', () => {
+        const M = (0, computability_1.tmBinaryIncrement)();
+        const r = (0, computability_1.run)(M, '0');
+        (0, vitest_1.expect)(r.result).toBe('accept');
+        (0, vitest_1.expect)((0, computability_1.readTape)(M, r.finalConfig)).toBe('1');
+    });
+});
+(0, vitest_1.describe)('computability — Unary parity', () => {
+    (0, vitest_1.it)('tmUnaryParity("11") acepta (par)', () => {
+        const M = (0, computability_1.tmUnaryParity)();
+        const r = (0, computability_1.run)(M, '11');
+        (0, vitest_1.expect)(r.result).toBe('accept');
+    });
+    (0, vitest_1.it)('tmUnaryParity("111") rechaza (impar)', () => {
+        const M = (0, computability_1.tmUnaryParity)();
+        const r = (0, computability_1.run)(M, '111');
+        (0, vitest_1.expect)(r.result).toBe('reject');
+    });
+    (0, vitest_1.it)('tmUnaryParity("") acepta (0 es par)', () => {
+        const M = (0, computability_1.tmUnaryParity)();
+        const r = (0, computability_1.run)(M, '');
+        (0, vitest_1.expect)(r.result).toBe('accept');
+    });
+});
+(0, vitest_1.describe)('computability — Reverse string', () => {
+    (0, vitest_1.it)('tmReverseString("abc") → "cba"', () => {
+        const M = (0, computability_1.tmReverseString)();
+        const r = (0, computability_1.run)(M, 'abc', 200);
+        (0, vitest_1.expect)(r.result).toBe('accept');
+        (0, vitest_1.expect)((0, computability_1.readTape)(M, r.finalConfig)).toBe('cba');
+    });
+    (0, vitest_1.it)('tmReverseString("a") → "a"', () => {
+        const M = (0, computability_1.tmReverseString)();
+        const r = (0, computability_1.run)(M, 'a', 100);
+        (0, vitest_1.expect)(r.result).toBe('accept');
+        (0, vitest_1.expect)((0, computability_1.readTape)(M, r.finalConfig)).toBe('a');
+    });
+    (0, vitest_1.it)('tmReverseString("ab") → "ba"', () => {
+        const M = (0, computability_1.tmReverseString)();
+        const r = (0, computability_1.run)(M, 'ab', 200);
+        (0, vitest_1.expect)(r.result).toBe('accept');
+        (0, vitest_1.expect)((0, computability_1.readTape)(M, r.finalConfig)).toBe('ba');
+    });
+});
+(0, vitest_1.describe)('computability — Copy and AddBinary', () => {
+    (0, vitest_1.it)('tmCopy("ab") → "ab#ab"', () => {
+        const M = (0, computability_1.tmCopy)();
+        const r = (0, computability_1.run)(M, 'ab', 200);
+        (0, vitest_1.expect)(r.result).toBe('accept');
+        (0, vitest_1.expect)((0, computability_1.readTape)(M, r.finalConfig)).toBe('ab#ab');
+    });
+    (0, vitest_1.it)('tmAddBinary("10+11") = 2 + 3 unario(11) = "101" (5)', () => {
+        // formato: <a binario>+<b unario>, aquí 10 (2) + 111 (3 en unario) = 5
+        const M = (0, computability_1.tmAddBinary)();
+        const r = (0, computability_1.run)(M, '10+111', 500);
+        (0, vitest_1.expect)(r.result).toBe('accept');
+        (0, vitest_1.expect)((0, computability_1.readTape)(M, r.finalConfig)).toBe('101');
+    });
+});
+(0, vitest_1.describe)('computability — boundedHalts', () => {
+    (0, vitest_1.it)('boundedHalts devuelve true cuando la TM termina dentro del budget', () => {
+        const M = (0, computability_1.tmBinaryIncrement)();
+        (0, vitest_1.expect)((0, computability_1.boundedHalts)(M, '1', 100)).toBe(true);
+    });
+    (0, vitest_1.it)('boundedHalts devuelve "unknown" si supera el budget (loop)', () => {
+        // construir un loop trivial: q0 ↔ q1 sin condición de parada
+        const M = {
+            states: new Set(['q0', 'q1']),
+            alphabet: new Set(['1']),
+            tapeAlphabet: new Set(['1', 'B']),
+            blank: 'B',
+            initialState: 'q0',
+            acceptStates: new Set(),
+            transitions: [
+                {
+                    fromState: 'q0',
+                    readSymbol: '1',
+                    toState: 'q1',
+                    writeSymbol: '1',
+                    direction: 'R',
+                },
+                {
+                    fromState: 'q0',
+                    readSymbol: 'B',
+                    toState: 'q1',
+                    writeSymbol: 'B',
+                    direction: 'R',
+                },
+                {
+                    fromState: 'q1',
+                    readSymbol: 'B',
+                    toState: 'q0',
+                    writeSymbol: 'B',
+                    direction: 'L',
+                },
+                {
+                    fromState: 'q1',
+                    readSymbol: '1',
+                    toState: 'q0',
+                    writeSymbol: '1',
+                    direction: 'L',
+                },
+            ],
+        };
+        (0, vitest_1.expect)((0, computability_1.boundedHalts)(M, '1', 20)).toBe('unknown');
+    });
+    (0, vitest_1.it)('boundedHalts simple cycle short → unknown si maxSteps < 1', () => {
+        const M = (0, computability_1.tmBinaryIncrement)();
+        (0, vitest_1.expect)((0, computability_1.boundedHalts)(M, '101', 0)).toBe('unknown');
+    });
+});
+(0, vitest_1.describe)('computability — Primitive recursive functions', () => {
+    (0, vitest_1.it)('PR zero() = 0', () => {
+        (0, vitest_1.expect)((0, computability_1.evalPR)({ kind: 'zero' }, [])).toBe(0);
+    });
+    (0, vitest_1.it)('PR succ(7) = 8', () => {
+        (0, vitest_1.expect)((0, computability_1.evalPR)({ kind: 'succ' }, [7])).toBe(8);
+    });
+    (0, vitest_1.it)('PR proj U^3_2(1,2,3) = 2', () => {
+        (0, vitest_1.expect)((0, computability_1.evalPR)({ kind: 'proj', n: 3, i: 2 }, [1, 2, 3])).toBe(2);
+    });
+    (0, vitest_1.it)('PR_ADD(3, 4) = 7', () => {
+        (0, vitest_1.expect)((0, computability_1.evalPR)(computability_1.PR_ADD, [3, 4])).toBe(7);
+    });
+    (0, vitest_1.it)('PR_ADD(0, 5) = 5', () => {
+        (0, vitest_1.expect)((0, computability_1.evalPR)(computability_1.PR_ADD, [0, 5])).toBe(5);
+    });
+    (0, vitest_1.it)('PR_MUL(3, 4) = 12', () => {
+        (0, vitest_1.expect)((0, computability_1.evalPR)(computability_1.PR_MUL, [3, 4])).toBe(12);
+    });
+    (0, vitest_1.it)('PR_MUL(0, 7) = 0', () => {
+        (0, vitest_1.expect)((0, computability_1.evalPR)(computability_1.PR_MUL, [0, 7])).toBe(0);
+    });
+    (0, vitest_1.it)('PR_POW(3, 2) = 8 (2^3 con args = [exp, base])', () => {
+        (0, vitest_1.expect)((0, computability_1.evalPR)(computability_1.PR_POW, [3, 2])).toBe(8);
+    });
+    (0, vitest_1.it)('PR_FACT(5) = 120', () => {
+        (0, vitest_1.expect)((0, computability_1.evalPR)(computability_1.PR_FACT, [5])).toBe(120);
+    });
+    (0, vitest_1.it)('PR_FACT(0) = 1', () => {
+        (0, vitest_1.expect)((0, computability_1.evalPR)(computability_1.PR_FACT, [0])).toBe(1);
+    });
+    (0, vitest_1.it)('PR_PREDECESSOR(0) = 0, pred(7) = 6', () => {
+        (0, vitest_1.expect)((0, computability_1.evalPR)(computability_1.PR_PREDECESSOR, [0])).toBe(0);
+        (0, vitest_1.expect)((0, computability_1.evalPR)(computability_1.PR_PREDECESSOR, [7])).toBe(6);
+    });
+    (0, vitest_1.it)('evalPR rechaza argumentos no enteros o negativos', () => {
+        (0, vitest_1.expect)(() => (0, computability_1.evalPR)(computability_1.PR_ADD, [-1, 0])).toThrow();
+        (0, vitest_1.expect)(() => (0, computability_1.evalPR)(computability_1.PR_ADD, [1.5, 0])).toThrow();
+    });
+});
+(0, vitest_1.describe)('computability — Ackermann (no PR)', () => {
+    (0, vitest_1.it)('A(0, n) = n + 1', () => {
+        (0, vitest_1.expect)((0, computability_1.ackermann)(0, 0)).toBe(1);
+        (0, vitest_1.expect)((0, computability_1.ackermann)(0, 5)).toBe(6);
+    });
+    (0, vitest_1.it)('A(1, 1) = 3', () => {
+        (0, vitest_1.expect)((0, computability_1.ackermann)(1, 1)).toBe(3);
+    });
+    (0, vitest_1.it)('A(2, 2) = 7', () => {
+        (0, vitest_1.expect)((0, computability_1.ackermann)(2, 2)).toBe(7);
+    });
+    (0, vitest_1.it)('A(3, 3) = 61', () => {
+        (0, vitest_1.expect)((0, computability_1.ackermann)(3, 3)).toBe(61);
+    });
+    (0, vitest_1.it)('A(3, 0) = A(2, 1) = 5', () => {
+        (0, vitest_1.expect)((0, computability_1.ackermann)(3, 0)).toBe(5);
+    });
+    (0, vitest_1.it)('isInPR detecta funciones de crecimiento moderado como "likely"', () => {
+        // f(n) = n^2 — claramente PR, debería ser likely true.
+        const r = (0, computability_1.isInPR)((n) => n * n, 4);
+        (0, vitest_1.expect)(r.likely).toBe(true);
+    });
+});
+(0, vitest_1.describe)('computability — Rice witness', () => {
+    (0, vitest_1.it)('riceWitness("acepta el lenguaje vacío") detecta no trivialidad', () => {
+        // Propiedad: "M tiene exactamente un estado de aceptación".
+        // Algunas máquinas (parity) tienen 1 estado de aceptación,
+        // otras pueden no tenerlo. Esto demuestra no-trivialidad.
+        const property = (m) => m.acceptStates.size === 1;
+        const r = (0, computability_1.riceWitness)(property);
+        // Como todas las muestras tienen exactamente 1 estado de aceptación,
+        // esta propiedad será trivialmente true sobre la muestra.
+        (0, vitest_1.expect)(r.undecidable).toBe(false);
+    });
+    (0, vitest_1.it)('riceWitness con propiedad mixta es indecidible', () => {
+        // Propiedad: "el alfabeto incluye el símbolo +" (tmAddBinary lo tiene,
+        // los otros no).
+        const property = (m) => m.alphabet.has('+');
+        const r = (0, computability_1.riceWitness)(property);
+        (0, vitest_1.expect)(r.undecidable).toBe(true);
+        (0, vitest_1.expect)(r.explanation).toMatch(/Rice/);
+    });
+    (0, vitest_1.it)('riceWitness con propiedad trivialmente falsa devuelve undecidable=false', () => {
+        const property = () => false;
+        const r = (0, computability_1.riceWitness)(property);
+        (0, vitest_1.expect)(r.undecidable).toBe(false);
+        (0, vitest_1.expect)(r.explanation).toMatch(/uniformemente negativa/);
+    });
+});
+//# sourceMappingURL=computability.test.js.map

package/dist/tests/reasoning/computability/computability.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"computability.test.js","sourceRoot":"","sources":["../../../../src/tests/reasoning/computability/computability.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,2BAA2B;AAC3B,+DAA+D;;AAE/D,mCAA8C;AAC9C,oEAqB0C;AAE1C,IAAA,iBAAQ,EAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,IAAA,WAAE,EAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,CAAC,GAAG,IAAA,6BAAa,GAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;QAC3D,IAAA,eAAM,EAAC,IAAA,oBAAI,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,CAAC,GAAG,IAAA,6BAAa,GAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;QAC3D,IAAA,eAAM,EAAC,IAAA,oBAAI,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,CAAC,GAAG,IAAA,iCAAiB,GAAE,CAAC;QAC9B,MAAM,CAAC,GAAG,IAAA,qBAAK,EAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,CAAC,GAAG,IAAA,iCAAiB,GAAE,CAAC;QAC9B,MAAM,GAAG,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,IAAA,iCAAiB,GAAE,CAAC;QAC9B,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,CAAC,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,CAAC,GAAG,IAAA,iCAAiB,GAAE,CAAC;QAC9B,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,CAAC,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,GAAG,IAAA,iCAAiB,GAAE,CAAC;QAC9B,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,CAAC,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,IAAA,6BAAa,GAAE,CAAC;QAC1B,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,IAAA,6BAAa,GAAE,CAAC;QAC1B,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,GAAG,IAAA,6BAAa,GAAE,CAAC;QAC1B,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACrB,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,CAAC,GAAG,IAAA,+BAAe,GAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,CAAC,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,IAAA,+BAAe,GAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,CAAC,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,GAAG,IAAA,+BAAe,GAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,CAAC,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,CAAC,GAAG,IAAA,sBAAM,GAAE,CAAC;QACnB,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,CAAC,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,uEAAuE;QACvE,MAAM,CAAC,GAAG,IAAA,2BAAW,GAAE,CAAC;QACxB,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,CAAC,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAA,WAAE,EAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,CAAC,GAAG,IAAA,iCAAiB,GAAE,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,4BAAY,EAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,6DAA6D;QAC7D,MAAM,CAAC,GAAG;YACR,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAC7B,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;YACxB,YAAY,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACjC,KAAK,EAAE,GAAG;YACV,YAAY,EAAE,IAAI;YAClB,YAAY,EAAE,IAAI,GAAG,EAAU;YAC/B,WAAW,EAAE;gBACX;oBACE,SAAS,EAAE,IAAI;oBACf,UAAU,EAAE,GAAG;oBACf,OAAO,EAAE,IAAI;oBACb,WAAW,EAAE,GAAG;oBAChB,SAAS,EAAE,GAAY;iBACxB;gBACD;oBACE,SAAS,EAAE,IAAI;oBACf,UAAU,EAAE,GAAG;oBACf,OAAO,EAAE,IAAI;oBACb,WAAW,EAAE,GAAG;oBAChB,SAAS,EAAE,GAAY;iBACxB;gBACD;oBACE,SAAS,EAAE,IAAI;oBACf,UAAU,EAAE,GAAG;oBACf,OAAO,EAAE,IAAI;oBACb,WAAW,EAAE,GAAG;oBAChB,SAAS,EAAE,GAAY;iBACxB;gBACD;oBACE,SAAS,EAAE,IAAI;oBACf,UAAU,EAAE,GAAG;oBACf,OAAO,EAAE,IAAI;oBACb,WAAW,EAAE,GAAG;oBAChB,SAAS,EAAE,GAAY;iBACxB;aACF;SACF,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,4BAAY,EAAC,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,CAAC,GAAG,IAAA,iCAAiB,GAAE,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,4BAAY,EAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,+CAA+C,EAAE,GAAG,EAAE;IAC7D,IAAA,WAAE,EAAC,eAAe,EAAE,GAAG,EAAE;QACvB,IAAA,eAAM,EAAC,IAAA,sBAAM,EAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,IAAA,eAAM,EAAC,IAAA,sBAAM,EAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EAAC,IAAA,sBAAM,EAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,IAAA,eAAM,EAAC,IAAA,sBAAM,EAAC,sBAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,IAAA,eAAM,EAAC,IAAA,sBAAM,EAAC,sBAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,IAAA,eAAM,EAAC,IAAA,sBAAM,EAAC,sBAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,IAAA,eAAM,EAAC,IAAA,sBAAM,EAAC,sBAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,IAAA,eAAM,EAAC,IAAA,sBAAM,EAAC,sBAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,IAAA,eAAM,EAAC,IAAA,sBAAM,EAAC,uBAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,IAAA,eAAM,EAAC,IAAA,sBAAM,EAAC,uBAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,IAAA,eAAM,EAAC,IAAA,sBAAM,EAAC,8BAAc,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,IAAA,sBAAM,EAAC,8BAAc,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,sBAAM,EAAC,sBAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QAChD,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,sBAAM,EAAC,sBAAM,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,IAAA,WAAE,EAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,IAAA,eAAM,EAAC,IAAA,yBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,yBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,aAAa,EAAE,GAAG,EAAE;QACrB,IAAA,eAAM,EAAC,IAAA,yBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,aAAa,EAAE,GAAG,EAAE;QACrB,IAAA,eAAM,EAAC,IAAA,yBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,cAAc,EAAE,GAAG,EAAE;QACtB,IAAA,eAAM,EAAC,IAAA,yBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,IAAA,eAAM,EAAC,IAAA,yBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,uDAAuD;QACvD,MAAM,CAAC,GAAG,IAAA,sBAAM,EAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAA,WAAE,EAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,4DAA4D;QAC5D,2DAA2D;QAC3D,0DAA0D;QAC1D,MAAM,QAAQ,GAAG,CAAC,CAAuC,EAAW,EAAE,CACpE,CAAC,CAAC,YAAY,CAAC,IAAI,KAAK,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAA,2BAAW,EAAC,QAAQ,CAAC,CAAC;QAChC,qEAAqE;QACrE,0DAA0D;QAC1D,IAAA,eAAM,EAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,uEAAuE;QACvE,iBAAiB;QACjB,MAAM,QAAQ,GAAG,CAAC,CAAuC,EAAW,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC3F,MAAM,CAAC,GAAG,IAAA,2BAAW,EAAC,QAAQ,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,CAAC,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,MAAM,QAAQ,GAAG,GAAY,EAAE,CAAC,KAAK,CAAC;QACtC,MAAM,CAAC,GAAG,IAAA,2BAAW,EAAC,QAAQ,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,CAAC,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,wBAAwB,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/reasoning/differential-privacy/differential-privacy.test.d.ts

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

package/dist/tests/reasoning/differential-privacy/differential-privacy.test.d.ts.map

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