@stevenvo780/st-lang 4.10.0 → 4.12.0

package/dist/tests/reasoning/linear-algebra/linear-algebra.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"linear-algebra.test.js","sourceRoot":"","sources":["../../../../src/tests/reasoning/linear-algebra/linear-algebra.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,sEAiC2C;AAE3C,MAAM,GAAG,GAAG,IAAI,CAAC;AAEjB,SAAS,iBAAiB,CAAC,MAAc,EAAE,QAAgB,EAAE,GAAG,GAAG,GAAG;IACpE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACpB,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;QACpC,IAAA,eAAM,EAAC,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;QACpC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YACb,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC;QAC3C,CAAC;QACD,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAChC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAClC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAChB,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAChB,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;gBACzC,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACjD,CAAC;YACD,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,QAAQ,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;QACrF,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CAAC,MAAc,EAAE,QAAgB,EAAE,GAAG,GAAG,GAAG;IACpE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACrB,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACzC,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC;QAC7C,CAAC;QACD,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,SAAS,CAAC,QAAQ,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;IACjF,CAAC;AACH,CAAC;AAED,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;SACX,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,yBAAQ,EAAC,CAAC,CAAC,CAAC;QACtB,iBAAiB,CAAC,IAAA,yBAAQ,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACrC,iBAAiB,CAAC,IAAA,yBAAQ,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,CAAC,GAAG,IAAA,sBAAK,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,OAAO,CAAC;YAChB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACV,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,IAAA,yBAAQ,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,OAAO,CAAC;YAChB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACV,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACV,CAAC;QACF,iBAAiB,CAAC,IAAA,0BAAS,EAAC,IAAA,0BAAS,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,GAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,iBAAiB,CAAC,IAAA,oBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QACjD,iBAAiB,CAAC,IAAA,oBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,GAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpC,iBAAiB,CAAC,IAAA,0BAAS,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,iBAAiB,CAAC,IAAA,uBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAA,oBAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,qBAAI,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;QACrD,iBAAiB,CAAC,IAAA,0BAAS,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,IAAA,sBAAK,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtC,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,oBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,oBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,WAAE,EAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,IAAA,eAAM,EAAC,IAAA,4BAAW,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;YACV,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACV,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,4BAAW,EAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,CAAC,GAAG,IAAA,yBAAQ,EAAC,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,IAAA,4BAAW,EAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACV,CAAC;QACF,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,4BAAW,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACf,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACf,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACf,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACf,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SAChB,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,wBAAO,EAAC,CAAC,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC5B,IAAI,CAAC,IAAI;YAAE,OAAO;QAClB,iBAAiB,CAAC,IAAA,yBAAQ,EAAC,IAAI,EAAE,CAAC,CAAC,EAAE,IAAA,yBAAQ,EAAC,CAAC,CAAC,CAAC,CAAC;QAClD,iBAAiB,CAAC,IAAA,yBAAQ,EAAC,CAAC,EAAE,IAAI,CAAC,EAAE,IAAA,yBAAQ,EAAC,CAAC,CAAC,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACV,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,wBAAO,EAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YACV,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;YACV,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;SACd,CAAC;QACF,MAAM,CAAC,GAAW,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7B,MAAM,CAAC,GAAG,IAAA,sBAAK,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC;YAAE,OAAO;QACf,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAClC,iBAAiB,CAAC,IAAA,uBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;SACP,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,sBAAK,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;SACP,CAAC;QACF,MAAM,CAAC,GAAW,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/B,MAAM,CAAC,GAAG,IAAA,6BAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7B,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACV,CAAC;QACF,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,IAAA,qBAAI,EAAC,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,IAAA,eAAM,EAAC,IAAA,qBAAI,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACV,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,qBAAI,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACV,CAAC;QACF,MAAM,EAAE,GAAG,IAAA,4BAAW,EAAC,CAAC,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC1B,IAAI,CAAC,EAAE;YAAE,OAAO;QAChB,MAAM,CAAC,GAAG,IAAA,kCAAiB,EAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAClC,iBAAiB,CAAC,IAAA,yBAAQ,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,yBAAQ,EAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACrC,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBACpD,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;gBACvB,IAAI,CAAC,KAAK,SAAS;oBAAE,MAAM,IAAI,KAAK,CAAC,iBAAiB,CAAC,CAAC;gBACxD,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;YACxC,CAAC;YACD,MAAM,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YAC1B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAW;YAChB,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;YACZ,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;YACb,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;SACd,CAAC;QACF,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,IAAA,4BAAW,EAAC,CAAC,CAAC,CAAC;QAChC,iBAAiB,CAAC,IAAA,yBAAQ,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACrC,MAAM,GAAG,GAAG,IAAA,yBAAQ,EAAC,IAAA,0BAAS,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACtC,iBAAiB,CAAC,GAAG,EAAE,IAAA,yBAAQ,EAAC,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;SACP,CAAC;QACF,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,IAAA,4BAAW,EAAC,CAAC,CAAC,CAAC;QAChC,iBAAiB,CAAC,IAAA,yBAAQ,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACrC,iBAAiB,CAAC,IAAA,yBAAQ,EAAC,IAAA,0BAAS,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,yBAAQ,EAAC,CAAC,CAAC,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,IAAA,WAAE,EAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACX,CAAC;QACF,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,IAAA,6BAAY,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACzC,MAAM,KAAK,GAAG,IAAA,yBAAQ,EAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,aAAa,GAAG,IAAA,yBAAQ,EAAC,IAAA,yBAAQ,EAAC,CAAC,EAAE,KAAK,CAAC,EAAE,IAAA,0BAAS,EAAC,CAAC,CAAC,CAAC,CAAC;QACjE,iBAAiB,CAAC,aAAa,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;QAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACf,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACnB,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS;gBAAE,MAAM,IAAI,KAAK,CAAC,WAAW,CAAC,CAAC;YACrE,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC;YAC1C,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,GAAG,CAAC,CAAC;QACzC,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;SACP,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,4BAAW,EAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1D,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,IAAA,yBAAQ,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,IAAI,GAAG,IAAA,4BAAW,EAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1D,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;SACP,CAAC;QACF,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,IAAA,6BAAY,EAAC,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC9B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACvC,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;YACzB,IAAI,MAAM,KAAK,SAAS;gBAAE,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,CAAC;YAChE,MAAM,CAAC,GAAW,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YAC/D,MAAM,EAAE,GAAG,IAAA,uBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACxB,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC;YACpC,iBAAiB,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;QAClC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;SACP,CAAC;QACF,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,GAAG,IAAA,+BAAc,EAAC,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;QACrF,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QACpD,MAAM,EAAE,GAAG,IAAA,uBAAM,EAAC,CAAC,EAAE,WAAW,CAAC,CAAC;QAClC,iBAAiB,CAAC,EAAE,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,UAAU,CAAC,EAAE,IAAI,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,IAAI,GAAa;YACrB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACV,CAAC;QACF,MAAM,KAAK,GAAG,IAAA,4BAAW,EAAC,IAAI,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACnB,IAAI,CAAC,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,aAAa,CAAC,CAAC;YACvC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,qBAAI,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;YAChD,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC1C,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBACnB,IAAI,CAAC,CAAC;oBAAE,MAAM,IAAI,KAAK,CAAC,aAAa,CAAC,CAAC;gBACvC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,oBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;YAChD,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,KAAK,GAAG,IAAA,4BAAW,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACV,CAAC;QACF,MAAM,KAAK,GAAG,IAAA,0BAAS,EAAC,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QAC/C,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,MAAM,EAAE,GAAG,IAAA,uBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACxB,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;gBACnB,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;YACxC,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACV,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,0BAAS,EAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACV,CAAC;QACF,MAAM,KAAK,GAAG,IAAA,4BAAW,EAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAA,qBAAI,EAAC,CAAC,CAAC,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,sCAAqB,EAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,IAAA,eAAM,EAAC,IAAA,sCAAqB,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,IAAA,sCAAqB,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,IAAA,sCAAqB,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/reasoning/set-theory/hf-functions.test.d.ts

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

package/dist/tests/reasoning/set-theory/hf-functions.test.d.ts.map

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

package/dist/tests/reasoning/set-theory/hf-functions.test.js

@@ -0,0 +1,122 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const set_theory_1 = require("../../../reasoning/set-theory");
+(0, vitest_1.describe)('HF functions', () => {
+    (0, vitest_1.it)('makeFunction + isValidFunction sobre identidad', () => {
+        const dom = (0, set_theory_1.nat)(3); // {0, 1, 2}
+        const cod = (0, set_theory_1.nat)(3);
+        const id = (0, set_theory_1.makeFunction)(dom, cod, [
+            [(0, set_theory_1.nat)(0), (0, set_theory_1.nat)(0)],
+            [(0, set_theory_1.nat)(1), (0, set_theory_1.nat)(1)],
+            [(0, set_theory_1.nat)(2), (0, set_theory_1.nat)(2)]
+        ]);
+        (0, vitest_1.expect)((0, set_theory_1.isValidFunction)(id)).toBe(true);
+        (0, vitest_1.expect)((0, set_theory_1.isInjective)(id)).toBe(true);
+        (0, vitest_1.expect)((0, set_theory_1.isSurjective)(id)).toBe(true);
+        (0, vitest_1.expect)((0, set_theory_1.isBijective)(id)).toBe(true);
+    });
+    (0, vitest_1.it)('applyHF devuelve el valor correcto y null fuera de dominio', () => {
+        const dom = (0, set_theory_1.nat)(3);
+        const cod = (0, set_theory_1.nat)(5);
+        const f = (0, set_theory_1.makeFunction)(dom, cod, [
+            [(0, set_theory_1.nat)(0), (0, set_theory_1.nat)(2)],
+            [(0, set_theory_1.nat)(1), (0, set_theory_1.nat)(4)],
+            [(0, set_theory_1.nat)(2), (0, set_theory_1.nat)(0)]
+        ]);
+        const y = (0, set_theory_1.applyHF)(f, (0, set_theory_1.nat)(1));
+        (0, vitest_1.expect)(y).not.toBeNull();
+        if (y !== null) {
+            (0, vitest_1.expect)((0, set_theory_1.setEquals)(y, (0, set_theory_1.nat)(4))).toBe(true);
+        }
+        (0, vitest_1.expect)((0, set_theory_1.applyHF)(f, (0, set_theory_1.nat)(7))).toBeNull();
+    });
+    (0, vitest_1.it)('isInjective falla si dos inputs comparten imagen', () => {
+        const dom = (0, set_theory_1.nat)(3);
+        const cod = (0, set_theory_1.nat)(3);
+        const f = (0, set_theory_1.makeFunction)(dom, cod, [
+            [(0, set_theory_1.nat)(0), (0, set_theory_1.nat)(1)],
+            [(0, set_theory_1.nat)(1), (0, set_theory_1.nat)(1)],
+            [(0, set_theory_1.nat)(2), (0, set_theory_1.nat)(2)]
+        ]);
+        (0, vitest_1.expect)((0, set_theory_1.isInjective)(f)).toBe(false);
+        (0, vitest_1.expect)((0, set_theory_1.isSurjective)(f)).toBe(false);
+    });
+    (0, vitest_1.it)('isSurjective: función cubre el codominio', () => {
+        const dom = (0, set_theory_1.pair)(set_theory_1.EMPTY, (0, set_theory_1.singleton)(set_theory_1.EMPTY));
+        const cod = (0, set_theory_1.singleton)((0, set_theory_1.nat)(7));
+        const f = (0, set_theory_1.makeFunction)(dom, cod, [
+            [set_theory_1.EMPTY, (0, set_theory_1.nat)(7)],
+            [(0, set_theory_1.singleton)(set_theory_1.EMPTY), (0, set_theory_1.nat)(7)]
+        ]);
+        (0, vitest_1.expect)((0, set_theory_1.isSurjective)(f)).toBe(true);
+        (0, vitest_1.expect)((0, set_theory_1.isInjective)(f)).toBe(false);
+    });
+    (0, vitest_1.it)('composeHF: composición de inyectivas es inyectiva', () => {
+        const a = (0, set_theory_1.nat)(3);
+        const b = (0, set_theory_1.nat)(4);
+        const c = (0, set_theory_1.nat)(5);
+        const g = (0, set_theory_1.makeFunction)(a, b, [
+            [(0, set_theory_1.nat)(0), (0, set_theory_1.nat)(1)],
+            [(0, set_theory_1.nat)(1), (0, set_theory_1.nat)(2)],
+            [(0, set_theory_1.nat)(2), (0, set_theory_1.nat)(3)]
+        ]);
+        const f = (0, set_theory_1.makeFunction)(b, c, [
+            [(0, set_theory_1.nat)(0), (0, set_theory_1.nat)(0)],
+            [(0, set_theory_1.nat)(1), (0, set_theory_1.nat)(2)],
+            [(0, set_theory_1.nat)(2), (0, set_theory_1.nat)(3)],
+            [(0, set_theory_1.nat)(3), (0, set_theory_1.nat)(4)]
+        ]);
+        (0, vitest_1.expect)((0, set_theory_1.isValidFunction)(g)).toBe(true);
+        (0, vitest_1.expect)((0, set_theory_1.isValidFunction)(f)).toBe(true);
+        const fg = (0, set_theory_1.composeHF)(f, g);
+        (0, vitest_1.expect)(fg).not.toBeNull();
+        if (fg !== null) {
+            (0, vitest_1.expect)((0, set_theory_1.isValidFunction)(fg)).toBe(true);
+            (0, vitest_1.expect)((0, set_theory_1.isInjective)(fg)).toBe(true);
+            // (f ∘ g)(0) = f(1) = 2
+            const out = (0, set_theory_1.applyHF)(fg, (0, set_theory_1.nat)(0));
+            (0, vitest_1.expect)(out).not.toBeNull();
+            if (out !== null) {
+                (0, vitest_1.expect)((0, set_theory_1.setEquals)(out, (0, set_theory_1.nat)(2))).toBe(true);
+            }
+        }
+    });
+    (0, vitest_1.it)('composeHF retorna null si codominio(g) ≠ dominio(f)', () => {
+        const g = (0, set_theory_1.makeFunction)((0, set_theory_1.nat)(2), (0, set_theory_1.nat)(2), [
+            [(0, set_theory_1.nat)(0), (0, set_theory_1.nat)(0)],
+            [(0, set_theory_1.nat)(1), (0, set_theory_1.nat)(1)]
+        ]);
+        const f = (0, set_theory_1.makeFunction)((0, set_theory_1.nat)(3), (0, set_theory_1.nat)(3), [
+            [(0, set_theory_1.nat)(0), (0, set_theory_1.nat)(0)],
+            [(0, set_theory_1.nat)(1), (0, set_theory_1.nat)(1)],
+            [(0, set_theory_1.nat)(2), (0, set_theory_1.nat)(2)]
+        ]);
+        (0, vitest_1.expect)((0, set_theory_1.composeHF)(f, g)).toBeNull();
+    });
+    (0, vitest_1.it)('isValidFunction rechaza relaciones no funcionales', () => {
+        // 0 ↦ 0 y 0 ↦ 1: dos imágenes para el mismo input.
+        const badGraph = {
+            kind: 'set',
+            elements: [
+                (0, set_theory_1.orderedPair)((0, set_theory_1.nat)(0), (0, set_theory_1.nat)(0)),
+                (0, set_theory_1.orderedPair)((0, set_theory_1.nat)(0), (0, set_theory_1.nat)(1)),
+                (0, set_theory_1.orderedPair)((0, set_theory_1.nat)(1), (0, set_theory_1.nat)(1))
+            ]
+        };
+        const f = {
+            graph: badGraph,
+            domain: (0, set_theory_1.nat)(2),
+            codomain: (0, set_theory_1.nat)(2)
+        };
+        (0, vitest_1.expect)((0, set_theory_1.isValidFunction)(f)).toBe(false);
+    });
+    (0, vitest_1.it)('función vacía: dominio y codominio vacíos, válida y vacía', () => {
+        const empty = (0, set_theory_1.makeFunction)(set_theory_1.EMPTY, set_theory_1.EMPTY, []);
+        (0, vitest_1.expect)((0, set_theory_1.isValidFunction)(empty)).toBe(true);
+        (0, vitest_1.expect)((0, set_theory_1.cardinality)(empty.graph)).toBe(0);
+        (0, vitest_1.expect)((0, set_theory_1.isInjective)(empty)).toBe(true);
+        (0, vitest_1.expect)((0, set_theory_1.isSurjective)(empty)).toBe(true);
+    });
+});
+//# sourceMappingURL=hf-functions.test.js.map

package/dist/tests/reasoning/set-theory/hf-functions.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hf-functions.test.js","sourceRoot":"","sources":["../../../../src/tests/reasoning/set-theory/hf-functions.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,8DAgBuC;AAEvC,IAAA,iBAAQ,EAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,GAAG,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,YAAY;QAChC,MAAM,GAAG,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACnB,MAAM,EAAE,GAAG,IAAA,yBAAY,EAAC,GAAG,EAAE,GAAG,EAAE;YAChC,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;YAChB,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;YAChB,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;SACjB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAA,4BAAe,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,yBAAY,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,GAAG,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACnB,MAAM,GAAG,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACnB,MAAM,CAAC,GAAG,IAAA,yBAAY,EAAC,GAAG,EAAE,GAAG,EAAE;YAC/B,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;YAChB,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;YAChB,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;SACjB,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,IAAA,oBAAO,EAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YACf,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,CAAC;QACD,IAAA,eAAM,EAAC,IAAA,oBAAO,EAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,GAAG,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACnB,MAAM,GAAG,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACnB,MAAM,CAAC,GAAG,IAAA,yBAAY,EAAC,GAAG,EAAE,GAAG,EAAE;YAC/B,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;YAChB,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;YAChB,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;SACjB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,yBAAY,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,GAAG,GAAG,IAAA,iBAAI,EAAC,kBAAK,EAAE,IAAA,sBAAS,EAAC,kBAAK,CAAC,CAAC,CAAC;QAC1C,MAAM,GAAG,GAAG,IAAA,sBAAS,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,CAAC,GAAG,IAAA,yBAAY,EAAC,GAAG,EAAE,GAAG,EAAE;YAC/B,CAAC,kBAAK,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;YACf,CAAC,IAAA,sBAAS,EAAC,kBAAK,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;SAC3B,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAA,yBAAY,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACjB,MAAM,CAAC,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACjB,MAAM,CAAC,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACjB,MAAM,CAAC,GAAe,IAAA,yBAAY,EAAC,CAAC,EAAE,CAAC,EAAE;YACvC,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;YAChB,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;YAChB,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;SACjB,CAAC,CAAC;QACH,MAAM,CAAC,GAAe,IAAA,yBAAY,EAAC,CAAC,EAAE,CAAC,EAAE;YACvC,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;YAChB,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;YAChB,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;YAChB,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;SACjB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAA,4BAAe,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAA,4BAAe,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,MAAM,EAAE,GAAG,IAAA,sBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC1B,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;YAChB,IAAA,eAAM,EAAC,IAAA,4BAAe,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACvC,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnC,wBAAwB;YACxB,MAAM,GAAG,GAAG,IAAA,oBAAO,EAAC,EAAE,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC,CAAC;YAChC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;YAC3B,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;gBACjB,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,GAAG,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC5C,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,IAAA,yBAAY,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE;YACrC,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;YAChB,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;SACjB,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,IAAA,yBAAY,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE;YACrC,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;YAChB,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;YAChB,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;SACjB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,mDAAmD;QACnD,MAAM,QAAQ,GAAG;YACf,IAAI,EAAE,KAAc;YACpB,QAAQ,EAAE;gBACR,IAAA,wBAAW,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;gBAC3B,IAAA,wBAAW,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;gBAC3B,IAAA,wBAAW,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;aAC5B;SACF,CAAC;QACF,MAAM,CAAC,GAAe;YACpB,KAAK,EAAE,QAAQ;YACf,MAAM,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC;YACd,QAAQ,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC;SACjB,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,4BAAe,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,KAAK,GAAG,IAAA,yBAAY,EAAC,kBAAK,EAAE,kBAAK,EAAE,EAAE,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAA,4BAAe,EAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAA,yBAAY,EAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/reasoning/set-theory/hf-sets.test.d.ts

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

package/dist/tests/reasoning/set-theory/hf-sets.test.d.ts.map

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

package/dist/tests/reasoning/set-theory/hf-sets.test.js

@@ -0,0 +1,177 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const set_theory_1 = require("../../../reasoning/set-theory");
+(0, vitest_1.describe)('HF sets — basic operations', () => {
+    (0, vitest_1.it)('EMPTY tiene cardinalidad 0', () => {
+        (0, vitest_1.expect)((0, set_theory_1.cardinality)(set_theory_1.EMPTY)).toBe(0);
+    });
+    (0, vitest_1.it)('singleton(EMPTY) tiene cardinalidad 1 y contiene a EMPTY', () => {
+        const s = (0, set_theory_1.singleton)(set_theory_1.EMPTY);
+        (0, vitest_1.expect)((0, set_theory_1.cardinality)(s)).toBe(1);
+        (0, vitest_1.expect)((0, set_theory_1.isElement)(set_theory_1.EMPTY, s)).toBe(true);
+    });
+    (0, vitest_1.it)('isSubset(EMPTY, A) siempre es true', () => {
+        const a = (0, set_theory_1.nat)(0);
+        const b = (0, set_theory_1.nat)(3);
+        const c = (0, set_theory_1.pair)((0, set_theory_1.singleton)(set_theory_1.EMPTY), (0, set_theory_1.nat)(2));
+        (0, vitest_1.expect)((0, set_theory_1.isSubset)(set_theory_1.EMPTY, a)).toBe(true);
+        (0, vitest_1.expect)((0, set_theory_1.isSubset)(set_theory_1.EMPTY, b)).toBe(true);
+        (0, vitest_1.expect)((0, set_theory_1.isSubset)(set_theory_1.EMPTY, c)).toBe(true);
+    });
+    (0, vitest_1.it)('setEquals es extensional: orden y duplicación no importan', () => {
+        const a = (0, set_theory_1.pair)(set_theory_1.EMPTY, (0, set_theory_1.singleton)(set_theory_1.EMPTY));
+        const b = (0, set_theory_1.pair)((0, set_theory_1.singleton)(set_theory_1.EMPTY), set_theory_1.EMPTY);
+        (0, vitest_1.expect)((0, set_theory_1.setEquals)(a, b)).toBe(true);
+        // {a, a} = {a}
+        (0, vitest_1.expect)((0, set_theory_1.setEquals)((0, set_theory_1.pair)(set_theory_1.EMPTY, set_theory_1.EMPTY), (0, set_theory_1.singleton)(set_theory_1.EMPTY))).toBe(true);
+    });
+    (0, vitest_1.it)('pair(a, a) = {a} (cardinalidad 1)', () => {
+        const a = (0, set_theory_1.nat)(2);
+        const p = (0, set_theory_1.pair)(a, a);
+        (0, vitest_1.expect)((0, set_theory_1.cardinality)(p)).toBe(1);
+        (0, vitest_1.expect)((0, set_theory_1.isElement)(a, p)).toBe(true);
+    });
+    (0, vitest_1.it)('union, intersection y difference cumplen leyes básicas', () => {
+        const a = (0, set_theory_1.nat)(3); // {0, 1, 2}
+        const b = (0, set_theory_1.pair)((0, set_theory_1.nat)(1), (0, set_theory_1.nat)(4)); // {1, 4}
+        const u = (0, set_theory_1.union)(a, b);
+        const i = (0, set_theory_1.intersection)(a, b);
+        const d = (0, set_theory_1.difference)(a, b);
+        // union contiene todos los elementos de ambos
+        (0, vitest_1.expect)((0, set_theory_1.isElement)((0, set_theory_1.nat)(0), u)).toBe(true);
+        (0, vitest_1.expect)((0, set_theory_1.isElement)((0, set_theory_1.nat)(4), u)).toBe(true);
+        // intersection = {1}
+        (0, vitest_1.expect)((0, set_theory_1.cardinality)(i)).toBe(1);
+        (0, vitest_1.expect)((0, set_theory_1.isElement)((0, set_theory_1.nat)(1), i)).toBe(true);
+        // difference = {0, 2}
+        (0, vitest_1.expect)((0, set_theory_1.cardinality)(d)).toBe(2);
+        (0, vitest_1.expect)((0, set_theory_1.isElement)((0, set_theory_1.nat)(1), d)).toBe(false);
+    });
+    (0, vitest_1.it)('powerSet({a, b}) tiene 4 elementos y los esperados', () => {
+        const a = (0, set_theory_1.singleton)(set_theory_1.EMPTY); // {∅}
+        const b = (0, set_theory_1.singleton)((0, set_theory_1.singleton)(set_theory_1.EMPTY)); // {{∅}}
+        const ab = (0, set_theory_1.pair)(a, b);
+        const p = (0, set_theory_1.powerSet)(ab);
+        (0, vitest_1.expect)((0, set_theory_1.cardinality)(p)).toBe(4);
+        (0, vitest_1.expect)((0, set_theory_1.isElement)(set_theory_1.EMPTY, p)).toBe(true);
+        (0, vitest_1.expect)((0, set_theory_1.isElement)((0, set_theory_1.singleton)(a), p)).toBe(true);
+        (0, vitest_1.expect)((0, set_theory_1.isElement)((0, set_theory_1.singleton)(b), p)).toBe(true);
+        (0, vitest_1.expect)((0, set_theory_1.isElement)(ab, p)).toBe(true);
+    });
+    (0, vitest_1.it)('powerSet(∅) = {∅} con cardinalidad 1', () => {
+        const p = (0, set_theory_1.powerSet)(set_theory_1.EMPTY);
+        (0, vitest_1.expect)((0, set_theory_1.cardinality)(p)).toBe(1);
+        (0, vitest_1.expect)((0, set_theory_1.isElement)(set_theory_1.EMPTY, p)).toBe(true);
+    });
+    (0, vitest_1.it)('cartesianProduct({a}, {b, c}) tiene 2 elementos', () => {
+        const a = (0, set_theory_1.nat)(1);
+        const b = (0, set_theory_1.nat)(2);
+        const c = (0, set_theory_1.nat)(3);
+        const cp = (0, set_theory_1.cartesianProduct)((0, set_theory_1.singleton)(a), (0, set_theory_1.pair)(b, c));
+        (0, vitest_1.expect)((0, set_theory_1.cardinality)(cp)).toBe(2);
+        // Cada elemento es un par de Kuratowski con fst=a.
+        for (const elem of cp.elements) {
+            const f = (0, set_theory_1.fst)(elem);
+            (0, vitest_1.expect)(f).not.toBeNull();
+            if (f !== null) {
+                (0, vitest_1.expect)((0, set_theory_1.setEquals)(f, a)).toBe(true);
+            }
+        }
+    });
+    (0, vitest_1.it)('cartesianProduct(∅, B) y cartesianProduct(A, ∅) son ambos vacíos', () => {
+        (0, vitest_1.expect)((0, set_theory_1.cardinality)((0, set_theory_1.cartesianProduct)(set_theory_1.EMPTY, (0, set_theory_1.nat)(3)))).toBe(0);
+        (0, vitest_1.expect)((0, set_theory_1.cardinality)((0, set_theory_1.cartesianProduct)((0, set_theory_1.nat)(3), set_theory_1.EMPTY))).toBe(0);
+    });
+    (0, vitest_1.it)('orderedPair: fst y snd recuperan los componentes (Kuratowski)', () => {
+        const a = (0, set_theory_1.nat)(2);
+        const b = (0, set_theory_1.nat)(5);
+        const p = (0, set_theory_1.orderedPair)(a, b);
+        const f = (0, set_theory_1.fst)(p);
+        const s = (0, set_theory_1.snd)(p);
+        (0, vitest_1.expect)(f).not.toBeNull();
+        (0, vitest_1.expect)(s).not.toBeNull();
+        if (f !== null && s !== null) {
+            (0, vitest_1.expect)((0, set_theory_1.setEquals)(f, a)).toBe(true);
+            (0, vitest_1.expect)((0, set_theory_1.setEquals)(s, b)).toBe(true);
+        }
+    });
+    (0, vitest_1.it)('orderedPair degenerado ⟨a, a⟩ recupera a en ambos componentes', () => {
+        const a = (0, set_theory_1.nat)(2);
+        const p = (0, set_theory_1.orderedPair)(a, a);
+        const f = (0, set_theory_1.fst)(p);
+        const s = (0, set_theory_1.snd)(p);
+        (0, vitest_1.expect)(f).not.toBeNull();
+        (0, vitest_1.expect)(s).not.toBeNull();
+        if (f !== null && s !== null) {
+            (0, vitest_1.expect)((0, set_theory_1.setEquals)(f, a)).toBe(true);
+            (0, vitest_1.expect)((0, set_theory_1.setEquals)(s, a)).toBe(true);
+        }
+    });
+    (0, vitest_1.it)('orderedPair distingue ⟨a, b⟩ de ⟨b, a⟩', () => {
+        const a = set_theory_1.EMPTY;
+        const b = (0, set_theory_1.singleton)(set_theory_1.EMPTY);
+        const ab = (0, set_theory_1.orderedPair)(a, b);
+        const ba = (0, set_theory_1.orderedPair)(b, a);
+        (0, vitest_1.expect)((0, set_theory_1.setEquals)(ab, ba)).toBe(false);
+    });
+    (0, vitest_1.it)('unionFamily de [A, B, C] coincide con union iterada', () => {
+        const a = (0, set_theory_1.nat)(2);
+        const b = (0, set_theory_1.singleton)((0, set_theory_1.nat)(5));
+        const c = (0, set_theory_1.pair)((0, set_theory_1.nat)(7), set_theory_1.EMPTY);
+        const big = (0, set_theory_1.unionFamily)([a, b, c]);
+        const iter = (0, set_theory_1.union)((0, set_theory_1.union)(a, b), c);
+        (0, vitest_1.expect)((0, set_theory_1.setEquals)(big, iter)).toBe(true);
+    });
+});
+(0, vitest_1.describe)('HF sets — von Neumann ordinals', () => {
+    (0, vitest_1.it)('nat(0) = ∅, nat(1) = {∅}, nat(2) = {∅, {∅}}', () => {
+        (0, vitest_1.expect)((0, set_theory_1.setEquals)((0, set_theory_1.nat)(0), set_theory_1.EMPTY)).toBe(true);
+        (0, vitest_1.expect)((0, set_theory_1.setEquals)((0, set_theory_1.nat)(1), (0, set_theory_1.singleton)(set_theory_1.EMPTY))).toBe(true);
+        const two = (0, set_theory_1.pair)(set_theory_1.EMPTY, (0, set_theory_1.singleton)(set_theory_1.EMPTY));
+        (0, vitest_1.expect)((0, set_theory_1.setEquals)((0, set_theory_1.nat)(2), two)).toBe(true);
+    });
+    (0, vitest_1.it)('succ(nat(3)) = nat(4)', () => {
+        (0, vitest_1.expect)((0, set_theory_1.setEquals)((0, set_theory_1.succ)((0, set_theory_1.nat)(3)), (0, set_theory_1.nat)(4))).toBe(true);
+    });
+    (0, vitest_1.it)('cardinality(nat(n)) = n para varios n', () => {
+        for (let n = 0; n <= 6; n++) {
+            (0, vitest_1.expect)((0, set_theory_1.cardinality)((0, set_theory_1.nat)(n))).toBe(n);
+        }
+    });
+    (0, vitest_1.it)('nat(m) ∈ nat(n) iff m < n', () => {
+        const five = (0, set_theory_1.nat)(5);
+        for (let m = 0; m < 5; m++) {
+            (0, vitest_1.expect)((0, set_theory_1.isElement)((0, set_theory_1.nat)(m), five)).toBe(true);
+        }
+        (0, vitest_1.expect)((0, set_theory_1.isElement)((0, set_theory_1.nat)(5), five)).toBe(false);
+        (0, vitest_1.expect)((0, set_theory_1.isElement)((0, set_theory_1.nat)(7), five)).toBe(false);
+    });
+    (0, vitest_1.it)('isTransitive cumple sobre nat(n)', () => {
+        for (let n = 0; n <= 4; n++) {
+            (0, vitest_1.expect)((0, set_theory_1.isTransitive)((0, set_theory_1.nat)(n))).toBe(true);
+        }
+    });
+    (0, vitest_1.it)('isOrdinal cumple sobre nat(n)', () => {
+        for (let n = 0; n <= 5; n++) {
+            (0, vitest_1.expect)((0, set_theory_1.isOrdinal)((0, set_theory_1.nat)(n))).toBe(true);
+        }
+    });
+    (0, vitest_1.it)('isOrdinal falla sobre conjuntos no transitivos', () => {
+        // {{∅}} no es transitiva: contiene {∅} pero no ∅.
+        const x = (0, set_theory_1.singleton)((0, set_theory_1.singleton)(set_theory_1.EMPTY));
+        (0, vitest_1.expect)((0, set_theory_1.isTransitive)(x)).toBe(false);
+        (0, vitest_1.expect)((0, set_theory_1.isOrdinal)(x)).toBe(false);
+    });
+    (0, vitest_1.it)('nat(n): cada elemento es subconjunto (transitividad)', () => {
+        const six = (0, set_theory_1.nat)(6);
+        for (const e of six.elements) {
+            (0, vitest_1.expect)((0, set_theory_1.isSubset)(e, six)).toBe(true);
+        }
+    });
+    (0, vitest_1.it)('nat(-1) y nat(2.5) lanzan RangeError', () => {
+        (0, vitest_1.expect)(() => (0, set_theory_1.nat)(-1)).toThrow(RangeError);
+        (0, vitest_1.expect)(() => (0, set_theory_1.nat)(2.5)).toThrow(RangeError);
+    });
+});
+//# sourceMappingURL=hf-sets.test.js.map

package/dist/tests/reasoning/set-theory/hf-sets.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hf-sets.test.js","sourceRoot":"","sources":["../../../../src/tests/reasoning/set-theory/hf-sets.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,8DAqBuC;AAEvC,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,kBAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,CAAC,GAAG,IAAA,sBAAS,EAAC,kBAAK,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,kBAAK,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACjB,MAAM,CAAC,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACjB,MAAM,CAAC,GAAG,IAAA,iBAAI,EAAC,IAAA,sBAAS,EAAC,kBAAK,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,IAAA,qBAAQ,EAAC,kBAAK,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAA,qBAAQ,EAAC,kBAAK,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAA,qBAAQ,EAAC,kBAAK,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,CAAC,GAAG,IAAA,iBAAI,EAAC,kBAAK,EAAE,IAAA,sBAAS,EAAC,kBAAK,CAAC,CAAC,CAAC;QACxC,MAAM,CAAC,GAAG,IAAA,iBAAI,EAAC,IAAA,sBAAS,EAAC,kBAAK,CAAC,EAAE,kBAAK,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,eAAe;QACf,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,IAAA,iBAAI,EAAC,kBAAK,EAAE,kBAAK,CAAC,EAAE,IAAA,sBAAS,EAAC,kBAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACjB,MAAM,CAAC,GAAG,IAAA,iBAAI,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACrB,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,CAAC,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,YAAY;QAC9B,MAAM,CAAC,GAAG,IAAA,iBAAI,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;QACzC,MAAM,CAAC,GAAG,IAAA,kBAAK,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACtB,MAAM,CAAC,GAAG,IAAA,yBAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7B,MAAM,CAAC,GAAG,IAAA,uBAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3B,8CAA8C;QAC9C,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,qBAAqB;QACrB,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,sBAAsB;QACtB,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,CAAC,GAAG,IAAA,sBAAS,EAAC,kBAAK,CAAC,CAAC,CAAC,MAAM;QAClC,MAAM,CAAC,GAAG,IAAA,sBAAS,EAAC,IAAA,sBAAS,EAAC,kBAAK,CAAC,CAAC,CAAC,CAAC,QAAQ;QAC/C,MAAM,EAAE,GAAG,IAAA,iBAAI,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACtB,MAAM,CAAC,GAAG,IAAA,qBAAQ,EAAC,EAAE,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,kBAAK,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,IAAA,sBAAS,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,IAAA,sBAAS,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,IAAA,qBAAQ,EAAC,kBAAK,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,kBAAK,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACjB,MAAM,CAAC,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACjB,MAAM,CAAC,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACjB,MAAM,EAAE,GAAG,IAAA,6BAAgB,EAAC,IAAA,sBAAS,EAAC,CAAC,CAAC,EAAE,IAAA,iBAAI,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,mDAAmD;QACnD,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,QAAQ,EAAE,CAAC;YAC/B,MAAM,CAAC,GAAG,IAAA,gBAAG,EAAC,IAAI,CAAC,CAAC;YACpB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;YACzB,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;gBACf,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrC,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,IAAA,6BAAgB,EAAC,kBAAK,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,IAAA,6BAAgB,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,kBAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,CAAC,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACjB,MAAM,CAAC,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACjB,MAAM,CAAC,GAAG,IAAA,wBAAW,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACjB,MAAM,CAAC,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACjB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YAC7B,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnC,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,CAAC,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACjB,MAAM,CAAC,GAAG,IAAA,wBAAW,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACjB,MAAM,CAAC,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACjB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YAC7B,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnC,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,CAAC,GAAG,kBAAK,CAAC;QAChB,MAAM,CAAC,GAAG,IAAA,sBAAS,EAAC,kBAAK,CAAC,CAAC;QAC3B,MAAM,EAAE,GAAG,IAAA,wBAAW,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7B,MAAM,EAAE,GAAG,IAAA,wBAAW,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACjB,MAAM,CAAC,GAAG,IAAA,sBAAS,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAA,iBAAI,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,kBAAK,CAAC,CAAC;QAC9B,MAAM,GAAG,GAAG,IAAA,wBAAW,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,IAAI,GAAG,IAAA,kBAAK,EAAC,IAAA,kBAAK,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,kBAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,sBAAS,EAAC,kBAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvD,MAAM,GAAG,GAAG,IAAA,iBAAI,EAAC,kBAAK,EAAE,IAAA,sBAAS,EAAC,kBAAK,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,IAAA,iBAAI,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,IAAI,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7C,CAAC;QACD,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,IAAA,eAAM,EAAC,IAAA,yBAAY,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,kDAAkD;QAClD,MAAM,CAAC,GAAG,IAAA,sBAAS,EAAC,IAAA,sBAAS,EAAC,kBAAK,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAA,yBAAY,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,GAAG,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACnB,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;YAC7B,IAAA,eAAM,EAAC,IAAA,qBAAQ,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,gBAAG,EAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/reasoning/set-theory/zfc-axioms.test.d.ts

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

package/dist/tests/reasoning/set-theory/zfc-axioms.test.d.ts.map

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

package/dist/tests/reasoning/set-theory/zfc-axioms.test.js

@@ -0,0 +1,56 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const set_theory_1 = require("../../../reasoning/set-theory");
+(0, vitest_1.describe)('ZFC axioms on Vω', () => {
+    (0, vitest_1.it)('Extensionality holds (canonicalization es extensional)', () => {
+        const r = (0, set_theory_1.checkExtensionality)();
+        (0, vitest_1.expect)(r.holds).toBe(true);
+        (0, vitest_1.expect)(r.name).toBe('Extensionality');
+    });
+    (0, vitest_1.it)('Pairing holds', () => {
+        const r = (0, set_theory_1.checkPairing)();
+        (0, vitest_1.expect)(r.holds).toBe(true);
+        (0, vitest_1.expect)(r.counterexample).toBeUndefined();
+    });
+    (0, vitest_1.it)('Union holds', () => {
+        const r = (0, set_theory_1.checkUnion)();
+        (0, vitest_1.expect)(r.holds).toBe(true);
+    });
+    (0, vitest_1.it)('Power Set holds (|P(A)| = 2^|A|)', () => {
+        const r = (0, set_theory_1.checkPowerSet)();
+        (0, vitest_1.expect)(r.holds).toBe(true);
+    });
+    (0, vitest_1.it)('Foundation holds (Vω es bien fundada)', () => {
+        const r = (0, set_theory_1.checkFoundation)();
+        (0, vitest_1.expect)(r.holds).toBe(true);
+    });
+    (0, vitest_1.it)('Infinity FALLA en Vω (no hay conjunto inductivo)', () => {
+        const r = (0, set_theory_1.checkInfinity)();
+        (0, vitest_1.expect)(r.holds).toBe(false);
+        (0, vitest_1.expect)(r.note).toBeDefined();
+        // El contraejemplo debe ser una cadena ascendente de successors.
+        (0, vitest_1.expect)(r.counterexample).toBeDefined();
+        if (r.counterexample !== undefined) {
+            (0, vitest_1.expect)(r.counterexample.length).toBeGreaterThan(8);
+        }
+    });
+    (0, vitest_1.it)('checkAllAxioms devuelve 6 resultados con shapes consistentes', () => {
+        const all = (0, set_theory_1.checkAllAxioms)();
+        (0, vitest_1.expect)(all.length).toBe(6);
+        const names = all.map((a) => a.name).sort();
+        (0, vitest_1.expect)(names).toEqual([
+            'Extensionality',
+            'Foundation',
+            'Infinity',
+            'Pairing',
+            'Power Set',
+            'Union'
+        ]);
+        // Sólo Infinity falla.
+        const failing = all.filter((a) => !a.holds);
+        (0, vitest_1.expect)(failing.length).toBe(1);
+        (0, vitest_1.expect)(failing[0]?.name).toBe('Infinity');
+    });
+});
+//# sourceMappingURL=zfc-axioms.test.js.map

package/dist/tests/reasoning/set-theory/zfc-axioms.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"zfc-axioms.test.js","sourceRoot":"","sources":["../../../../src/tests/reasoning/set-theory/zfc-axioms.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,8DAQuC;AAEvC,IAAA,iBAAQ,EAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,CAAC,GAAG,IAAA,gCAAmB,GAAE,CAAC;QAChC,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,eAAe,EAAE,GAAG,EAAE;QACvB,MAAM,CAAC,GAAG,IAAA,yBAAY,GAAE,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,cAAc,CAAC,CAAC,aAAa,EAAE,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,aAAa,EAAE,GAAG,EAAE;QACrB,MAAM,CAAC,GAAG,IAAA,uBAAU,GAAE,CAAC;QACvB,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,IAAA,0BAAa,GAAE,CAAC;QAC1B,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,IAAA,4BAAe,GAAE,CAAC;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,GAAG,IAAA,0BAAa,GAAE,CAAC;QAC1B,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;QAC7B,iEAAiE;QACjE,IAAA,eAAM,EAAC,CAAC,CAAC,cAAc,CAAC,CAAC,WAAW,EAAE,CAAC;QACvC,IAAI,CAAC,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;YACnC,IAAA,eAAM,EAAC,CAAC,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACrD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,GAAG,GAAG,IAAA,2BAAc,GAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;QAC5C,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,OAAO,CAAC;YACpB,gBAAgB;YAChB,YAAY;YACZ,UAAU;YACV,SAAS;YACT,WAAW;YACX,OAAO;SACR,CAAC,CAAC;QACH,uBAAuB;QACvB,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/tooling/doc-gen/doc-gen.test.d.ts

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

package/dist/tests/tooling/doc-gen/doc-gen.test.d.ts.map

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