@stevenvo780/st-lang 4.5.2 → 4.7.0

package/dist/tests/properties/constructive-reals.property.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"constructive-reals.property.test.js","sourceRoot":"","sources":["../../../src/tests/properties/constructive-reals.property.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,mEAAmE;AACnE,+DAA+D;AAC/D,EAAE;AACF,+DAA+D;AAC/D,uEAAuE;AACvE,mCAAmC;;AAEnC,mCAAsC;AACtC,6CAAkC;AAClC,iEAAqF;AAErF,SAAS,MAAM,CAAC,CAAwE,EAAE,CAAS;IACjG,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC/C,OAAO,MAAM,CAAC,SAAS,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;AACjD,CAAC;AAED,MAAM,MAAM,GAAG,eAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;AACjD,MAAM,WAAW,GAAG,eAAE;KACnB,KAAK,CAAC,eAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,EAAE,eAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;KACzE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAEvC,MAAM,QAAQ,GAAG,eAAE,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;AAEtE,IAAA,iBAAQ,EAAC,oEAAoE,EAAE,GAAG,EAAE;IAClF,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACvC,MAAM,GAAG,GAAG,IAAA,wBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACtB,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAC/B,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC3B,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC3B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC;YAC/C,2DAA2D;YAC3D,IAAI,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC7B,MAAM,IAAI,KAAK,CACb,qBAAqB,MAAM,SAAS,IAAI,GAAG,IAAI,WAAW,KAAK,EAAE,CAClE,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACvC,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,wBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAChC,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,wBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAChC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;gBACvC,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACrD,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACvC,MAAM,OAAO,GAAG,MAAM,CAAC,IAAA,wBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACtC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC3B,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC3B,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;gBACzD,MAAM,IAAI,KAAK,CAAC,cAAc,CAAC,CAAC;YAClC,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"constructive-reals.property.test.js","sourceRoot":"","sources":["../../../src/tests/properties/constructive-reals.property.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,mEAAmE;AACnE,+DAA+D;AAC/D,EAAE;AACF,+DAA+D;AAC/D,uEAAuE;AACvE,mCAAmC;;AAEnC,mCAAsC;AACtC,6CAAkC;AAClC,2EAA+F;AAE/F,SAAS,MAAM,CAAC,CAAwE,EAAE,CAAS;IACjG,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC/C,OAAO,MAAM,CAAC,SAAS,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;AACjD,CAAC;AAED,MAAM,MAAM,GAAG,eAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;AACjD,MAAM,WAAW,GAAG,eAAE;KACnB,KAAK,CAAC,eAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,EAAE,eAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;KACzE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAEvC,MAAM,QAAQ,GAAG,eAAE,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;AAEtE,IAAA,iBAAQ,EAAC,oEAAoE,EAAE,GAAG,EAAE;IAClF,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACvC,MAAM,GAAG,GAAG,IAAA,wBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACtB,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAC/B,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC3B,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC3B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC;YAC/C,2DAA2D;YAC3D,IAAI,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC7B,MAAM,IAAI,KAAK,CACb,qBAAqB,MAAM,SAAS,IAAI,GAAG,IAAI,WAAW,KAAK,EAAE,CAClE,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACvC,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,wBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAChC,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,wBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAChC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;gBACvC,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACrD,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACvC,MAAM,OAAO,GAAG,MAAM,CAAC,IAAA,wBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACtC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC3B,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC3B,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;gBACzD,MAAM,IAAI,KAAK,CAAC,cAAc,CAAC,CAAC;YAClC,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/properties/csp.property.test.js

@@ -8,7 +8,7 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 const vitest_1 = require("vitest");
 const generators_1 = require("./generators");
-const csp_1 = require("../../runtime/csp");
+const csp_1 = require("../../solver/csp");
 const cspArb = generators_1.fc
     .integer({ min: 2, max: 4 })
     .chain((n) => {

package/dist/tests/properties/csp.property.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"csp.property.test.js","sourceRoot":"","sources":["../../../src/tests/properties/csp.property.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,+DAA+D;AAC/D,+DAA+D;AAC/D,EAAE;AACF,uDAAuD;AACvD,kDAAkD;;AAElD,mCAAsC;AACtC,6CAAkC;AAClC,2CAAwC;AAMxC,MAAM,MAAM,GAA4B,eAAE;KACvC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;KAC3B,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE;IACX,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC1D,OAAO,eAAE;SACN,KAAK,CACJ,eAAE;SACC,KAAK,CACJ,eAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAClC,eAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAClC,eAAE,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,CAC5B;SACA,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAC9B,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAC/B;SACA,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;QACf,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,KAAK,MAAM,CAAC,IAAI,IAAI;YAAE,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACnD,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE;YAC/C,MAAM,EAAE,GAAM,IAAI,CAAC,CAAC,CAAE,CAAC;YACvB,MAAM,EAAE,GAAM,IAAI,CAAC,CAAC,CAAE,CAAC;YACvB,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;gBAClB,OAAO;oBACL,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC;oBACd,SAAS,EAAE,CAAC,IAAS,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC;iBAC9C,CAAC;YACJ,CAAC;YACD,OAAO;gBACL,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC;gBACd,SAAS,EAAE,CAAC,IAAS,EAAE,EAAE,CAAE,IAAI,CAAC,CAAC,CAAa,GAAI,IAAI,CAAC,CAAC,CAAa;aACtE,CAAC;QACJ,CAAC,CAAC,CAAC;QACH,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC;IACnD,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC;AAEL,IAAA,iBAAQ,EAAC,kDAAkD,EAAE,GAAG,EAAE;IAChE,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE;YAC1B,MAAM,EAAE,cAAc,EAAE,GAAG,IAAA,SAAG,EAAC,GAAG,CAAC,CAAC;YACpC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;gBAC9B,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC;gBAC1C,MAAM,OAAO,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBAC5C,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;oBACxB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;wBACjB,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;oBAC7D,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"csp.property.test.js","sourceRoot":"","sources":["../../../src/tests/properties/csp.property.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,+DAA+D;AAC/D,+DAA+D;AAC/D,EAAE;AACF,uDAAuD;AACvD,kDAAkD;;AAElD,mCAAsC;AACtC,6CAAkC;AAClC,0CAAuC;AAMvC,MAAM,MAAM,GAA4B,eAAE;KACvC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;KAC3B,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE;IACX,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC1D,OAAO,eAAE;SACN,KAAK,CACJ,eAAE;SACC,KAAK,CACJ,eAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAClC,eAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAClC,eAAE,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,CAC5B;SACA,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAC9B,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAC/B;SACA,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;QACf,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,KAAK,MAAM,CAAC,IAAI,IAAI;YAAE,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACnD,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE;YAC/C,MAAM,EAAE,GAAM,IAAI,CAAC,CAAC,CAAE,CAAC;YACvB,MAAM,EAAE,GAAM,IAAI,CAAC,CAAC,CAAE,CAAC;YACvB,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;gBAClB,OAAO;oBACL,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC;oBACd,SAAS,EAAE,CAAC,IAAS,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC;iBAC9C,CAAC;YACJ,CAAC;YACD,OAAO;gBACL,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC;gBACd,SAAS,EAAE,CAAC,IAAS,EAAE,EAAE,CAAE,IAAI,CAAC,CAAC,CAAa,GAAI,IAAI,CAAC,CAAC,CAAa;aACtE,CAAC;QACJ,CAAC,CAAC,CAAC;QACH,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC;IACnD,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC;AAEL,IAAA,iBAAQ,EAAC,kDAAkD,EAAE,GAAG,EAAE;IAChE,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE;YAC1B,MAAM,EAAE,cAAc,EAAE,GAAG,IAAA,SAAG,EAAC,GAAG,CAAC,CAAC;YACpC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;gBAC9B,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC;gBAC1C,MAAM,OAAO,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBAC5C,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;oBACxB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;wBACjB,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;oBAC7D,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/properties/generators.d.ts

@@ -1,11 +1,11 @@
 import * as fc from 'fast-check';
 import type { Formula } from '../../types';
-import type { HOTerm } from '../../higher-order-unify';
-import type { Term as LamTerm } from '../../lambda-calc/types';
+import type { HOTerm } from '../../proof-systems/higher-order-unify';
+import type { Term as LamTerm } from '../../type-theory/lambda-calc/types';
 import type { Term as TRSTerm } from '../../runtime/term-rewriting/types';
 import type { Term as AUTerm } from '../../runtime/anti-unification/types';
-import type { FType, FTerm } from '../../system-f/types';
-import type { MLTTTerm } from '../../mltt/types';
+import type { FType, FTerm } from '../../type-theory/system-f/types';
+import type { MLTTTerm } from '../../type-theory/mltt/types';
 import type { Expr } from '../../runtime/symbolic-diff/types';
 import type { LTS } from '../../runtime/bisimulation/types';
 export declare const atomName: () => fc.Arbitrary<string>;
@@ -72,7 +72,7 @@ export declare const hyperrealArb: () => fc.Arbitrary<{
     standard: number;
     infinitesimal: number;
 }>;
-import type { RefType } from '../../refinement-types/types';
+import type { RefType } from '../../type-theory/refinement-types/types';
 export declare const refTypeIntSimple: () => fc.Arbitrary<RefType>;
 export { fc };
 //# sourceMappingURL=generators.d.ts.map

package/dist/tests/properties/generators.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"generators.d.ts","sourceRoot":"","sources":["../../../src/tests/properties/generators.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAC;AACvD,OAAO,KAAK,EAAE,IAAI,IAAI,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAC/D,OAAO,KAAK,EAAE,IAAI,IAAI,OAAO,EAAe,MAAM,oCAAoC,CAAC;AACvF,OAAO,KAAK,EAAE,IAAI,IAAI,MAAM,EAAE,MAAM,sCAAsC,CAAC;AAC3E,OAAO,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AACjD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,mCAAmC,CAAC;AAC9D,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,kCAAkC,CAAC;AAM5D,eAAO,MAAM,QAAQ,QAAO,EAAE,CAAC,SAAS,CAAC,MAAM,CACU,CAAC;AAE1D,eAAO,MAAM,OAAO,QAAO,EAAE,CAAC,SAAS,CAAC,MAAM,CACC,CAAC;AAEhD,eAAO,MAAM,QAAQ,QAAO,EAAE,CAAC,SAAS,CAAC,MAAM,CACV,CAAC;AAEtC,eAAO,MAAM,SAAS,QAAO,EAAE,CAAC,SAAS,CAAC,MAAM,CACN,CAAC;AAS3C,eAAO,MAAM,WAAW,GAAI,iBAAY,KAAG,EAAE,CAAC,SAAS,CAAC,OAAO,CAkB9D,CAAC;AAMF;;;;;;GAMG;AACH,eAAO,MAAM,UAAU,GAAI,gBAAW,EAAE,iBAAY,KAAG,EAAE,CAAC,SAAS,CAAC;IAClE,OAAO,EAAE,UAAU,EAAE,CAAC;IACtB,OAAO,EAAE,MAAM,CAAC;CACjB,CA+BI,CAAC;AAMN,yDAAyD;AACzD,eAAO,MAAM,MAAM,GAAI,iBAAY,KAAG,EAAE,CAAC,SAAS,CAAC,MAAM,CAexD,CAAC;AAEF,uEAAuE;AACvE,eAAO,MAAM,OAAO,GAAI,iBAAY,KAAG,EAAE,CAAC,SAAS,CAAC,OAAO,CAe1D,CAAC;AAEF;0BAC0B;AAC1B,eAAO,MAAM,aAAa,GAAI,iBAAY,KAAG,EAAE,CAAC,SAAS,CAAC,OAAO,CAchE,CAAC;AASF;;;;GAIG;AACH,eAAO,MAAM,aAAa,GAAI,iBAAY,KAAG,EAAE,CAAC,SAAS,CAAC,MAAM,CA+C/D,CAAC;AAMF,eAAO,MAAM,OAAO,GAAI,iBAAY,KAAG,EAAE,CAAC,SAAS,CAAC,OAAO,CAoB1D,CAAC;AAQF,eAAO,MAAM,WAAW,QAAO,EAAE,CAAC,SAAS,CAAC;IAC1C,IAAI,EAAE,KAAK,CAAC;IACZ,IAAI,EAAE,KAAK,CAAC;CACb,CAuBA,CAAC;AAMF,eAAO,MAAM,cAAc,QAAO,EAAE,CAAC,SAAS,CAAC,QAAQ,CAUpD,CAAC;AAMJ,eAAO,MAAM,OAAO,GAAI,iBAAY,KAAG,EAAE,CAAC,SAAS,CAAC,IAAI,CAuCvD,CAAC;AAEF;6CAC6C;AAC7C,eAAO,MAAM,WAAW,yBA3Ce,EAAE,CAAC,SAAS,CAAC,IAAI,CA2CtB,CAAC;AAMnC,yEAAyE;AACzE,eAAO,MAAM,YAAY,QAAO,EAAE,CAAC,SAAS,CAAC;IAC3C,SAAS,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC,CAAC;IACrD,IAAI,EAAE,KAAK,CAAC;QACV,QAAQ,EAAE,MAAM,CAAC;QACjB,OAAO,EAAE,MAAM,EAAE,CAAC;QAClB,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;KACjD,CAAC,CAAC;CACJ,CA2CK,CAAC;AAMP,eAAO,MAAM,OAAO,QAAO,EAAE,CAAC,SAAS,CAAC,GAAG,CAmBtC,CAAC;AAYN,eAAO,MAAM,mBAAmB,QAAO,EAAE,CAAC,SAAS,CAAC;IAClD,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,GAAG,EAAE,MAAM,CAAC;CACb,CAM+C,CAAC;AAMjD,eAAO,MAAM,MAAM,QAAO,EAAE,CAAC,SAAS,CAAC;IACrC,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACvB,OAAO,EAAE,KAAK,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CAClC,CAaK,CAAC;AAMP,eAAO,MAAM,YAAY,QAAO,EAAE,CAAC,SAAS,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,aAAa,EAAE,MAAM,CAAA;CAAE,CAIhC,CAAC;AAMzD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,8BAA8B,CAAC;AAE5D,eAAO,MAAM,gBAAgB,QAAO,EAAE,CAAC,SAAS,CAAC,OAAO,CAmBrD,CAAC;AAMJ,OAAO,EAAE,EAAE,EAAE,CAAC"}
+{"version":3,"file":"generators.d.ts","sourceRoot":"","sources":["../../../src/tests/properties/generators.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,wCAAwC,CAAC;AACrE,OAAO,KAAK,EAAE,IAAI,IAAI,OAAO,EAAE,MAAM,qCAAqC,CAAC;AAC3E,OAAO,KAAK,EAAE,IAAI,IAAI,OAAO,EAAe,MAAM,oCAAoC,CAAC;AACvF,OAAO,KAAK,EAAE,IAAI,IAAI,MAAM,EAAE,MAAM,sCAAsC,CAAC;AAC3E,OAAO,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAC;AAC7D,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,mCAAmC,CAAC;AAC9D,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,kCAAkC,CAAC;AAM5D,eAAO,MAAM,QAAQ,QAAO,EAAE,CAAC,SAAS,CAAC,MAAM,CACU,CAAC;AAE1D,eAAO,MAAM,OAAO,QAAO,EAAE,CAAC,SAAS,CAAC,MAAM,CACC,CAAC;AAEhD,eAAO,MAAM,QAAQ,QAAO,EAAE,CAAC,SAAS,CAAC,MAAM,CACV,CAAC;AAEtC,eAAO,MAAM,SAAS,QAAO,EAAE,CAAC,SAAS,CAAC,MAAM,CACN,CAAC;AAS3C,eAAO,MAAM,WAAW,GAAI,iBAAY,KAAG,EAAE,CAAC,SAAS,CAAC,OAAO,CAkB9D,CAAC;AAMF;;;;;;GAMG;AACH,eAAO,MAAM,UAAU,GAAI,gBAAW,EAAE,iBAAY,KAAG,EAAE,CAAC,SAAS,CAAC;IAClE,OAAO,EAAE,UAAU,EAAE,CAAC;IACtB,OAAO,EAAE,MAAM,CAAC;CACjB,CA+BI,CAAC;AAMN,yDAAyD;AACzD,eAAO,MAAM,MAAM,GAAI,iBAAY,KAAG,EAAE,CAAC,SAAS,CAAC,MAAM,CAexD,CAAC;AAEF,uEAAuE;AACvE,eAAO,MAAM,OAAO,GAAI,iBAAY,KAAG,EAAE,CAAC,SAAS,CAAC,OAAO,CAe1D,CAAC;AAEF;0BAC0B;AAC1B,eAAO,MAAM,aAAa,GAAI,iBAAY,KAAG,EAAE,CAAC,SAAS,CAAC,OAAO,CAchE,CAAC;AASF;;;;GAIG;AACH,eAAO,MAAM,aAAa,GAAI,iBAAY,KAAG,EAAE,CAAC,SAAS,CAAC,MAAM,CA+C/D,CAAC;AAMF,eAAO,MAAM,OAAO,GAAI,iBAAY,KAAG,EAAE,CAAC,SAAS,CAAC,OAAO,CAoB1D,CAAC;AAQF,eAAO,MAAM,WAAW,QAAO,EAAE,CAAC,SAAS,CAAC;IAC1C,IAAI,EAAE,KAAK,CAAC;IACZ,IAAI,EAAE,KAAK,CAAC;CACb,CAuBA,CAAC;AAMF,eAAO,MAAM,cAAc,QAAO,EAAE,CAAC,SAAS,CAAC,QAAQ,CAUpD,CAAC;AAMJ,eAAO,MAAM,OAAO,GAAI,iBAAY,KAAG,EAAE,CAAC,SAAS,CAAC,IAAI,CAuCvD,CAAC;AAEF;6CAC6C;AAC7C,eAAO,MAAM,WAAW,yBA3Ce,EAAE,CAAC,SAAS,CAAC,IAAI,CA2CtB,CAAC;AAMnC,yEAAyE;AACzE,eAAO,MAAM,YAAY,QAAO,EAAE,CAAC,SAAS,CAAC;IAC3C,SAAS,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC,CAAC;IACrD,IAAI,EAAE,KAAK,CAAC;QACV,QAAQ,EAAE,MAAM,CAAC;QACjB,OAAO,EAAE,MAAM,EAAE,CAAC;QAClB,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;KACjD,CAAC,CAAC;CACJ,CA2CK,CAAC;AAMP,eAAO,MAAM,OAAO,QAAO,EAAE,CAAC,SAAS,CAAC,GAAG,CAmBtC,CAAC;AAYN,eAAO,MAAM,mBAAmB,QAAO,EAAE,CAAC,SAAS,CAAC;IAClD,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,GAAG,EAAE,MAAM,CAAC;CACb,CAM+C,CAAC;AAMjD,eAAO,MAAM,MAAM,QAAO,EAAE,CAAC,SAAS,CAAC;IACrC,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACvB,OAAO,EAAE,KAAK,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CAClC,CAaK,CAAC;AAMP,eAAO,MAAM,YAAY,QAAO,EAAE,CAAC,SAAS,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,aAAa,EAAE,MAAM,CAAA;CAAE,CAIhC,CAAC;AAMzD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,0CAA0C,CAAC;AAExE,eAAO,MAAM,gBAAgB,QAAO,EAAE,CAAC,SAAS,CAAC,OAAO,CAmBrD,CAAC;AAMJ,OAAO,EAAE,EAAE,EAAE,CAAC"}

package/dist/tests/properties/ho-unify.property.test.js

@@ -9,7 +9,7 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 const vitest_1 = require("vitest");
 const generators_1 = require("./generators");
-const higher_order_unify_1 = require("../../higher-order-unify");
+const higher_order_unify_1 = require("../../proof-systems/higher-order-unify");
 (0, vitest_1.describe)('property: HO-unify Miller pattern determinism', () => {
     (0, vitest_1.it)('unifyPattern is deterministic for patterns', () => {
         generators_1.fc.assert(generators_1.fc.property((0, generators_1.hoPatternTerm)(3), (0, generators_1.hoPatternTerm)(3), (p, q) => {

package/dist/tests/properties/ho-unify.property.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"ho-unify.property.test.js","sourceRoot":"","sources":["../../../src/tests/properties/ho-unify.property.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,sDAAsD;AACtD,+DAA+D;AAC/D,EAAE;AACF,yDAAyD;AACzD,6DAA6D;AAC7D,iEAAiE;;AAEjE,mCAAsC;AACtC,6CAAiD;AACjD,iEAAmE;AAEnE,IAAA,iBAAQ,EAAC,+CAA+C,EAAE,GAAG,EAAE;IAC7D,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CAAC,IAAA,0BAAa,EAAC,CAAC,CAAC,EAAE,IAAA,0BAAa,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACvD,IAAI,CAAC,IAAA,8BAAS,EAAC,CAAC,CAAC,IAAI,CAAC,IAAA,8BAAS,EAAC,CAAC,CAAC;gBAAE,OAAO,IAAI,CAAC,CAAC,uBAAuB;YACxE,MAAM,EAAE,GAAG,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC9B,MAAM,EAAE,GAAG,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC9B,4CAA4C;YAC5C,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YAC5C,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;gBAC/B,MAAM,IAAI,KAAK,CACb,4BAA4B,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,QAAQ,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,CAC/F,CAAC;YACJ,CAAC;YACD,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;YACrC,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;YACrC,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;gBACpD,MAAM,IAAI,KAAK,CACb,yCAAyC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAC7F,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CAAC,IAAA,0BAAa,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE;YAClC,IAAI,CAAC,IAAA,8BAAS,EAAC,CAAC,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC/B,MAAM,CAAC,GAAG,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC7B,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;gBACf,MAAM,IAAI,KAAK,CAAC,sCAAsC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC7E,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"ho-unify.property.test.js","sourceRoot":"","sources":["../../../src/tests/properties/ho-unify.property.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,sDAAsD;AACtD,+DAA+D;AAC/D,EAAE;AACF,yDAAyD;AACzD,6DAA6D;AAC7D,iEAAiE;;AAEjE,mCAAsC;AACtC,6CAAiD;AACjD,+EAAiF;AAEjF,IAAA,iBAAQ,EAAC,+CAA+C,EAAE,GAAG,EAAE;IAC7D,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CAAC,IAAA,0BAAa,EAAC,CAAC,CAAC,EAAE,IAAA,0BAAa,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACvD,IAAI,CAAC,IAAA,8BAAS,EAAC,CAAC,CAAC,IAAI,CAAC,IAAA,8BAAS,EAAC,CAAC,CAAC;gBAAE,OAAO,IAAI,CAAC,CAAC,uBAAuB;YACxE,MAAM,EAAE,GAAG,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC9B,MAAM,EAAE,GAAG,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC9B,4CAA4C;YAC5C,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YAC5C,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;gBAC/B,MAAM,IAAI,KAAK,CACb,4BAA4B,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,QAAQ,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,CAC/F,CAAC;YACJ,CAAC;YACD,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;YACrC,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;YACrC,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;gBACpD,MAAM,IAAI,KAAK,CACb,yCAAyC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAC7F,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CAAC,IAAA,0BAAa,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE;YAClC,IAAI,CAAC,IAAA,8BAAS,EAAC,CAAC,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC/B,MAAM,CAAC,GAAG,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC7B,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;gBACf,MAAM,IAAI,KAAK,CAAC,sCAAsC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC7E,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/properties/hyperreal.property.test.js

@@ -7,7 +7,7 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 const vitest_1 = require("vitest");
 const generators_1 = require("./generators");
-const hyperreal_1 = require("../../hyperreal");
+const hyperreal_1 = require("../../reasoning/hyperreal");
 (0, vitest_1.describe)('property: hyperreal arithmetic', () => {
     (0, vitest_1.it)('add is commutative', () => {
         generators_1.fc.assert(generators_1.fc.property((0, generators_1.hyperrealArb)(), (0, generators_1.hyperrealArb)(), (x, y) => {

package/dist/tests/properties/hyperreal.property.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"hyperreal.property.test.js","sourceRoot":"","sources":["../../../src/tests/properties/hyperreal.property.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,wCAAwC;AACxC,+DAA+D;AAC/D,EAAE;AACF,8CAA8C;;AAE9C,mCAAsC;AACtC,6CAAgD;AAChD,+CAA+C;AAE/C,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CAAC,IAAA,yBAAY,GAAE,EAAE,IAAA,yBAAY,GAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACnD,MAAM,CAAC,GAAG,IAAA,eAAG,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACpB,MAAM,CAAC,GAAG,IAAA,eAAG,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACpB,IAAI,CAAC,IAAA,cAAE,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;gBACd,MAAM,IAAI,KAAK,CACb,yBAAyB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CACrH,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CAAC,IAAA,yBAAY,GAAE,EAAE,IAAA,yBAAY,GAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACnD,MAAM,CAAC,GAAG,IAAA,eAAG,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACpB,MAAM,CAAC,GAAG,IAAA,eAAG,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACpB,IAAI,CAAC,IAAA,cAAE,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;gBACd,MAAM,IAAI,KAAK,CACb,2BAA2B,CAAC,CAAC,QAAQ,SAAS,CAAC,CAAC,QAAQ,SAAS,CAAC,CAAC,aAAa,SAAS,CAAC,CAAC,aAAa,EAAE,CAC3G,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"hyperreal.property.test.js","sourceRoot":"","sources":["../../../src/tests/properties/hyperreal.property.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,wCAAwC;AACxC,+DAA+D;AAC/D,EAAE;AACF,8CAA8C;;AAE9C,mCAAsC;AACtC,6CAAgD;AAChD,yDAAyD;AAEzD,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CAAC,IAAA,yBAAY,GAAE,EAAE,IAAA,yBAAY,GAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACnD,MAAM,CAAC,GAAG,IAAA,eAAG,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACpB,MAAM,CAAC,GAAG,IAAA,eAAG,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACpB,IAAI,CAAC,IAAA,cAAE,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;gBACd,MAAM,IAAI,KAAK,CACb,yBAAyB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CACrH,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CAAC,IAAA,yBAAY,GAAE,EAAE,IAAA,yBAAY,GAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACnD,MAAM,CAAC,GAAG,IAAA,eAAG,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACpB,MAAM,CAAC,GAAG,IAAA,eAAG,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACpB,IAAI,CAAC,IAAA,cAAE,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;gBACd,MAAM,IAAI,KAAK,CACb,2BAA2B,CAAC,CAAC,QAAQ,SAAS,CAAC,CAAC,QAAQ,SAAS,CAAC,CAAC,aAAa,SAAS,CAAC,CAAC,aAAa,EAAE,CAC3G,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/properties/intuit-nj.property.test.js

@@ -11,8 +11,8 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 const vitest_1 = require("vitest");
 const generators_1 = require("./generators");
-const intuitionistic_nj_1 = require("../../profiles/intuitionistic-nj");
-const sequent_g3_1 = require("../../profiles/sequent-g3");
+const intuitionistic_nj_1 = require("../../logic/profiles/intuitionistic-nj");
+const sequent_g3_1 = require("../../logic/profiles/sequent-g3");
 // Generador de IntuitFormula simple.
 function intuitFormulaArb(maxDepth = 3) {
     const { f } = generators_1.fc.letrec((tie) => ({

package/dist/tests/properties/intuit-nj.property.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"intuit-nj.property.test.js","sourceRoot":"","sources":["../../../src/tests/properties/intuit-nj.property.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,mDAAmD;AACnD,+DAA+D;AAC/D,EAAE;AACF,8DAA8D;AAC9D,4DAA4D;AAC5D,4BAA4B;AAC5B,EAAE;AACF,qEAAqE;;AAErE,mCAAsC;AACtC,6CAAkC;AAClC,wEAO0C;AAE1C,0DAA2E;AAG3E,qCAAqC;AACrC,SAAS,gBAAgB,CAAC,QAAQ,GAAG,CAAC;IACpC,MAAM,EAAE,CAAC,EAAE,GAAG,eAAE,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAChC,CAAC,EAAE,eAAE,CAAC,KAAK,CACT,EAAE,QAAQ,EAAE,eAAe,EAAE,GAAG,EAAE,EAClC,eAAE,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,wBAAK,EAAC,CAAC,CAAC,CAAC,EACnD,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAA,uBAAI,EAAC,GAAoB,CAAC,CAAC,EACjD,eAAE,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAC1C,IAAA,uBAAI,EAAC,CAAkB,EAAE,CAAkB,CAAC,CAC7C,EACD,eAAE,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAC1C,IAAA,sBAAG,EAAC,CAAkB,EAAE,CAAkB,CAAC,CAC5C,EACD,eAAE,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAC1C,IAAA,2BAAQ,EAAC,CAAkB,EAAE,CAAkB,CAAC,CACjD,CACF;KACF,CAAC,CAAC,CAAC;IACJ,OAAO,CAAgC,CAAC;AAC1C,CAAC;AAED,kEAAkE;AAClE,SAAS,iBAAiB,CAAC,GAAkB;IAC3C,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,MAAM;YACT,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC;QAC1C,KAAK,KAAK;YACR,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC5F,KAAK,IAAI;YACP,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC3F,KAAK,SAAS;YACZ,OAAO;gBACL,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;aAClE,CAAC;QACJ,KAAK,KAAK;YACR,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QAC7D,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IAC7B,CAAC;AACH,CAAC;AAED,IAAA,iBAAQ,EAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE;YACvC,MAAM,YAAY,GAAG,IAAA,2CAAuB,EAAC,EAAE,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;YACxE,IAAI,YAAY,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC,CAAC,+BAA+B;YACvE,MAAM,SAAS,GAAG,IAAA,yBAAc,EAAC,iBAAiB,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;YAC3E,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC;gBACxB,MAAM,IAAI,KAAK,CACb,0CAA0C,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAChE,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"intuit-nj.property.test.js","sourceRoot":"","sources":["../../../src/tests/properties/intuit-nj.property.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,mDAAmD;AACnD,+DAA+D;AAC/D,EAAE;AACF,8DAA8D;AAC9D,4DAA4D;AAC5D,4BAA4B;AAC5B,EAAE;AACF,qEAAqE;;AAErE,mCAAsC;AACtC,6CAAkC;AAClC,8EAOgD;AAEhD,gEAAiF;AAGjF,qCAAqC;AACrC,SAAS,gBAAgB,CAAC,QAAQ,GAAG,CAAC;IACpC,MAAM,EAAE,CAAC,EAAE,GAAG,eAAE,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAChC,CAAC,EAAE,eAAE,CAAC,KAAK,CACT,EAAE,QAAQ,EAAE,eAAe,EAAE,GAAG,EAAE,EAClC,eAAE,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,wBAAK,EAAC,CAAC,CAAC,CAAC,EACnD,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAA,uBAAI,EAAC,GAAoB,CAAC,CAAC,EACjD,eAAE,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAC1C,IAAA,uBAAI,EAAC,CAAkB,EAAE,CAAkB,CAAC,CAC7C,EACD,eAAE,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAC1C,IAAA,sBAAG,EAAC,CAAkB,EAAE,CAAkB,CAAC,CAC5C,EACD,eAAE,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAC1C,IAAA,2BAAQ,EAAC,CAAkB,EAAE,CAAkB,CAAC,CACjD,CACF;KACF,CAAC,CAAC,CAAC;IACJ,OAAO,CAAgC,CAAC;AAC1C,CAAC;AAED,kEAAkE;AAClE,SAAS,iBAAiB,CAAC,GAAkB;IAC3C,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,MAAM;YACT,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC;QAC1C,KAAK,KAAK;YACR,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC5F,KAAK,IAAI;YACP,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC3F,KAAK,SAAS;YACZ,OAAO;gBACL,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;aAClE,CAAC;QACJ,KAAK,KAAK;YACR,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QAC7D,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IAC7B,CAAC;AACH,CAAC;AAED,IAAA,iBAAQ,EAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE;YACvC,MAAM,YAAY,GAAG,IAAA,2CAAuB,EAAC,EAAE,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;YACxE,IAAI,YAAY,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC,CAAC,+BAA+B;YACvE,MAAM,SAAS,GAAG,IAAA,yBAAc,EAAC,iBAAiB,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;YAC3E,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC;gBACxB,MAAM,IAAI,KAAK,CACb,0CAA0C,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAChE,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/properties/lambda-calc.property.test.js

@@ -10,7 +10,7 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 const vitest_1 = require("vitest");
 const generators_1 = require("./generators");
-const substitution_1 = require("../../lambda-calc/substitution");
+const substitution_1 = require("../../type-theory/lambda-calc/substitution");
 (0, vitest_1.describe)('property: λ-calc substitution avoids variable capture', () => {
     (0, vitest_1.it)('FV(t[x:=r]) ⊆ FV(r) ∪ (FV(t) \\ {x})', () => {
         generators_1.fc.assert(generators_1.fc.property((0, generators_1.lamTerm)(3), generators_1.fc.constantFrom('x', 'y', 'z'), (0, generators_1.lamTerm)(2), (t, x, r) => {

package/dist/tests/properties/lambda-calc.property.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"lambda-calc.property.test.js","sourceRoot":"","sources":["../../../src/tests/properties/lambda-calc.property.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,2DAA2D;AAC3D,+DAA+D;AAC/D,EAAE;AACF,kDAAkD;AAClD,sEAAsE;AACtE,kEAAkE;AAClE,4CAA4C;;AAE5C,mCAAsC;AACtC,6CAA2C;AAC3C,iEAAsE;AAEtE,IAAA,iBAAQ,EAAC,uDAAuD,EAAE,GAAG,EAAE;IACrE,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CACT,IAAA,oBAAO,EAAC,CAAC,CAAC,EACV,eAAE,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAC9B,IAAA,oBAAO,EAAC,CAAC,CAAC,EACV,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;YACV,MAAM,KAAK,GAAG,IAAA,yBAAU,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAClC,MAAM,OAAO,GAAG,IAAA,uBAAQ,EAAC,KAAK,CAAC,CAAC;YAChC,MAAM,GAAG,GAAG,IAAA,uBAAQ,EAAC,CAAC,CAAC,CAAC;YACxB,MAAM,GAAG,GAAG,IAAA,uBAAQ,EAAC,CAAC,CAAC,CAAC;YACxB,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS,GAAG,CAAC,CAAC;YACrC,KAAK,MAAM,CAAC,IAAI,GAAG;gBAAE,IAAI,CAAC,KAAK,CAAC;oBAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACjD,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;gBAC3B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBACvB,MAAM,IAAI,KAAK,CACb,kDAAkD,IAAI,+BAA+B,CAAC,MAAM;wBAC1F,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CACnF,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CACF,EACD,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"lambda-calc.property.test.js","sourceRoot":"","sources":["../../../src/tests/properties/lambda-calc.property.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,2DAA2D;AAC3D,+DAA+D;AAC/D,EAAE;AACF,kDAAkD;AAClD,sEAAsE;AACtE,kEAAkE;AAClE,4CAA4C;;AAE5C,mCAAsC;AACtC,6CAA2C;AAC3C,6EAAkF;AAElF,IAAA,iBAAQ,EAAC,uDAAuD,EAAE,GAAG,EAAE;IACrE,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CACT,IAAA,oBAAO,EAAC,CAAC,CAAC,EACV,eAAE,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAC9B,IAAA,oBAAO,EAAC,CAAC,CAAC,EACV,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;YACV,MAAM,KAAK,GAAG,IAAA,yBAAU,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAClC,MAAM,OAAO,GAAG,IAAA,uBAAQ,EAAC,KAAK,CAAC,CAAC;YAChC,MAAM,GAAG,GAAG,IAAA,uBAAQ,EAAC,CAAC,CAAC,CAAC;YACxB,MAAM,GAAG,GAAG,IAAA,uBAAQ,EAAC,CAAC,CAAC,CAAC;YACxB,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS,GAAG,CAAC,CAAC;YACrC,KAAK,MAAM,CAAC,IAAI,GAAG;gBAAE,IAAI,CAAC,KAAK,CAAC;oBAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACjD,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;gBAC3B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBACvB,MAAM,IAAI,KAAK,CACb,kDAAkD,IAAI,+BAA+B,CAAC,MAAM;wBAC1F,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CACnF,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CACF,EACD,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/properties/mln.property.test.js

@@ -8,7 +8,7 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 const vitest_1 = require("vitest");
 const generators_1 = require("./generators");
-const markov_logic_1 = require("../../runtime/markov-logic");
+const markov_logic_1 = require("../../reasoning/markov-logic");
 (0, vitest_1.describe)('property: MLN hard constraints', () => {
     (0, vitest_1.it)('hard constraint violated ⇒ weight = -∞', () => {
         generators_1.fc.assert(generators_1.fc.property(generators_1.fc.boolean(), generators_1.fc.boolean(), (alicePred, bobPred) => {

package/dist/tests/properties/mln.property.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"mln.property.test.js","sourceRoot":"","sources":["../../../src/tests/properties/mln.property.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,mEAAmE;AACnE,+DAA+D;AAC/D,EAAE;AACF,4CAA4C;AAC5C,qEAAqE;;AAErE,mCAAsC;AACtC,6CAAkC;AAClC,6DAAoD;AAGpD,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CAAC,eAAE,CAAC,OAAO,EAAE,EAAE,eAAE,CAAC,OAAO,EAAE,EAAE,CAAC,SAAS,EAAE,OAAO,EAAE,EAAE;YAC7D,kEAAkE;YAClE,MAAM,MAAM,GAAc;gBACxB,QAAQ,EAAE;oBACR,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,EAAE,QAAQ,EAAE;iBAC/C;gBACD,SAAS,EAAE,EAAE,MAAM,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE;gBACvC,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC;aAC/D,CAAC;YACF,MAAM,KAAK,GAAa;gBACtB,WAAW,EAAE;oBACX,sBAAsB,EAAE,SAAS;oBACjC,kBAAkB,EAAE,OAAO;iBAC5B;aACF,CAAC;YACF,MAAM,CAAC,GAAG,IAAA,qBAAM,EAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YAChC,MAAM,QAAQ,GAAG,CAAC,SAAS,IAAI,CAAC,OAAO,CAAC;YACxC,IAAI,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;gBACnC,MAAM,IAAI,KAAK,CACb,kDAAkD,SAAS,aAAa,OAAO,OAAO,CAAC,EAAE,CAC1F,CAAC;YACJ,CAAC;YACD,IAAI,CAAC,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC,iBAAiB,EAAE,CAAC;gBACvE,MAAM,IAAI,KAAK,CACb,sCAAsC,CACvC,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"mln.property.test.js","sourceRoot":"","sources":["../../../src/tests/properties/mln.property.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,mEAAmE;AACnE,+DAA+D;AAC/D,EAAE;AACF,4CAA4C;AAC5C,qEAAqE;;AAErE,mCAAsC;AACtC,6CAAkC;AAClC,+DAAsD;AAGtD,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CAAC,eAAE,CAAC,OAAO,EAAE,EAAE,eAAE,CAAC,OAAO,EAAE,EAAE,CAAC,SAAS,EAAE,OAAO,EAAE,EAAE;YAC7D,kEAAkE;YAClE,MAAM,MAAM,GAAc;gBACxB,QAAQ,EAAE;oBACR,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,EAAE,QAAQ,EAAE;iBAC/C;gBACD,SAAS,EAAE,EAAE,MAAM,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE;gBACvC,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC;aAC/D,CAAC;YACF,MAAM,KAAK,GAAa;gBACtB,WAAW,EAAE;oBACX,sBAAsB,EAAE,SAAS;oBACjC,kBAAkB,EAAE,OAAO;iBAC5B;aACF,CAAC;YACF,MAAM,CAAC,GAAG,IAAA,qBAAM,EAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YAChC,MAAM,QAAQ,GAAG,CAAC,SAAS,IAAI,CAAC,OAAO,CAAC;YACxC,IAAI,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;gBACnC,MAAM,IAAI,KAAK,CACb,kDAAkD,SAAS,aAAa,OAAO,OAAO,CAAC,EAAE,CAC1F,CAAC;YACJ,CAAC;YACD,IAAI,CAAC,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC,iBAAiB,EAAE,CAAC;gBACvE,MAAM,IAAI,KAAK,CACb,sCAAsC,CACvC,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/properties/mltt.property.test.js

@@ -7,9 +7,9 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 const vitest_1 = require("vitest");
 const generators_1 = require("./generators");
-const mltt_1 = require("../../mltt");
-const normalize_1 = require("../../mltt/normalize");
-const equality_1 = require("../../mltt/equality");
+const mltt_1 = require("../../type-theory/mltt");
+const normalize_1 = require("../../type-theory/mltt/normalize");
+const equality_1 = require("../../type-theory/mltt/equality");
 (0, vitest_1.describe)('property: MLTT normalize preserves type', () => {
     (0, vitest_1.it)('inferType(normalize(t)) ≡ inferType(t) for well-typed terms', () => {
         generators_1.fc.assert(generators_1.fc.property((0, generators_1.mlttSimpleTerm)(), (t) => {

package/dist/tests/properties/mltt.property.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"mltt.property.test.js","sourceRoot":"","sources":["../../../src/tests/properties/mltt.property.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,oEAAoE;AACpE,+DAA+D;AAC/D,EAAE;AACF,qEAAqE;;AAErE,mCAAsC;AACtC,6CAAkD;AAClD,qCAAqD;AACrD,oDAAkE;AAClE,kDAAkD;AAElD,IAAA,iBAAQ,EAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CAAC,IAAA,2BAAc,GAAE,EAAE,CAAC,CAAC,EAAE,EAAE;YAClC,MAAM,IAAI,GAAG,IAAA,gBAAS,EAAC,CAAC,CAAC,CAAC;YAC1B,IAAI,IAAA,mBAAY,EAAC,IAAI,CAAC,EAAE,CAAC;gBACvB,kEAAkE;gBAClE,MAAM,IAAI,KAAK,CACb,4CAA4C,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,IAAI,CAAC,KAAK,EAAE,CACrF,CAAC;YACJ,CAAC;YACD,MAAM,KAAK,GAAG,IAAA,qBAAa,EAAC,CAAC,CAAC,CAAC;YAC/B,MAAM,KAAK,GAAG,IAAA,gBAAS,EAAC,KAAK,CAAC,CAAC;YAC/B,IAAI,IAAA,mBAAY,EAAC,KAAK,CAAC,EAAE,CAAC;gBACxB,MAAM,IAAI,KAAK,CACb,sCAAsC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,WAAW,KAAK,CAAC,KAAK,EAAE,CAChH,CAAC;YACJ,CAAC;YACD,IAAI,CAAC,IAAA,sBAAW,EAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;gBAC9B,MAAM,IAAI,KAAK,CACb,yBAAyB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,WAAW,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAC5G,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"mltt.property.test.js","sourceRoot":"","sources":["../../../src/tests/properties/mltt.property.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,oEAAoE;AACpE,+DAA+D;AAC/D,EAAE;AACF,qEAAqE;;AAErE,mCAAsC;AACtC,6CAAkD;AAClD,iDAAiE;AACjE,gEAA8E;AAC9E,8DAA8D;AAE9D,IAAA,iBAAQ,EAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CAAC,IAAA,2BAAc,GAAE,EAAE,CAAC,CAAC,EAAE,EAAE;YAClC,MAAM,IAAI,GAAG,IAAA,gBAAS,EAAC,CAAC,CAAC,CAAC;YAC1B,IAAI,IAAA,mBAAY,EAAC,IAAI,CAAC,EAAE,CAAC;gBACvB,kEAAkE;gBAClE,MAAM,IAAI,KAAK,CACb,4CAA4C,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,IAAI,CAAC,KAAK,EAAE,CACrF,CAAC;YACJ,CAAC;YACD,MAAM,KAAK,GAAG,IAAA,qBAAa,EAAC,CAAC,CAAC,CAAC;YAC/B,MAAM,KAAK,GAAG,IAAA,gBAAS,EAAC,KAAK,CAAC,CAAC;YAC/B,IAAI,IAAA,mBAAY,EAAC,KAAK,CAAC,EAAE,CAAC;gBACxB,MAAM,IAAI,KAAK,CACb,sCAAsC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,WAAW,KAAK,CAAC,KAAK,EAAE,CAChH,CAAC;YACJ,CAAC;YACD,IAAI,CAAC,IAAA,sBAAW,EAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;gBAC9B,MAAM,IAAI,KAAK,CACb,yBAAyB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,WAAW,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAC5G,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/properties/nbe.property.test.js

@@ -8,7 +8,7 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 const vitest_1 = require("vitest");
 const generators_1 = require("./generators");
-const nbe_1 = require("../../nbe");
+const nbe_1 = require("../../type-theory/nbe");
 // Generador de términos NbE bien-tipados pequeños:
 // usamos tipo (A → A) → A → A — el tipo de Church numerals.
 const TA = (0, nbe_1.tBase)('A');

package/dist/tests/properties/nbe.property.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"nbe.property.test.js","sourceRoot":"","sources":["../../../src/tests/properties/nbe.property.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,+BAA+B;AAC/B,+DAA+D;AAC/D,EAAE;AACF,+DAA+D;AAC/D,mEAAmE;;AAEnE,mCAAsC;AACtC,6CAAkC;AAClC,mCAAwE;AAGxE,mDAAmD;AACnD,4DAA4D;AAC5D,MAAM,EAAE,GAAY,IAAA,WAAK,EAAC,GAAG,CAAC,CAAC;AAC/B,MAAM,GAAG,GAAY,IAAA,UAAI,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;AAClC,MAAM,OAAO,GAAY,IAAA,UAAI,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC;AAExC,qDAAqD;AACrD,SAAS,aAAa,CAAC,CAAS;IAC9B,gCAAgC;IAChC,IAAI,IAAI,GAAY,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC;IAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;QAAE,IAAI,GAAG,IAAA,QAAE,EAAC,IAAA,OAAC,EAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC;IACpD,OAAO,IAAA,SAAG,EAAC,GAAG,EAAE,GAAG,EAAE,IAAA,SAAG,EAAC,GAAG,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC;AAC3C,CAAC;AAED,MAAM,SAAS,GAA0B,eAAE;KACxC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;KAC3B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;AAEhC,wEAAwE;AACxE,yBAAyB;AACzB,MAAM,WAAW,GAA0B,eAAE,CAAC,QAAQ,CACpD,IAAA,SAAG,EAAC,GAAG,EAAE,GAAG,EAAE,IAAA,SAAG,EAAC,GAAG,EAAE,EAAE,EAAE,IAAA,QAAE,EAAC,IAAA,SAAG,EAAC,GAAG,EAAE,GAAG,EAAE,IAAA,QAAE,EAAC,IAAA,OAAC,EAAC,GAAG,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAC3E,CAAC;AAEF,MAAM,OAAO,GAAG,eAAE,CAAC,KAAK,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;AAEjD,IAAA,iBAAQ,EAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE;YACzB,MAAM,EAAE,GAAG,IAAA,eAAS,EAAC,CAAC,EAAE,OAAO,CAAC,CAAC;YACjC,MAAM,EAAE,GAAG,IAAA,eAAS,EAAC,EAAE,EAAE,OAAO,CAAC,CAAC;YAClC,IAAI,CAAC,IAAA,aAAO,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;gBACrB,MAAM,IAAI,KAAK,CACb,yBAAyB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CACjG,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"nbe.property.test.js","sourceRoot":"","sources":["../../../src/tests/properties/nbe.property.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,+BAA+B;AAC/B,+DAA+D;AAC/D,EAAE;AACF,+DAA+D;AAC/D,mEAAmE;;AAEnE,mCAAsC;AACtC,6CAAkC;AAClC,+CAAoF;AAGpF,mDAAmD;AACnD,4DAA4D;AAC5D,MAAM,EAAE,GAAY,IAAA,WAAK,EAAC,GAAG,CAAC,CAAC;AAC/B,MAAM,GAAG,GAAY,IAAA,UAAI,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;AAClC,MAAM,OAAO,GAAY,IAAA,UAAI,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC;AAExC,qDAAqD;AACrD,SAAS,aAAa,CAAC,CAAS;IAC9B,gCAAgC;IAChC,IAAI,IAAI,GAAY,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC;IAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;QAAE,IAAI,GAAG,IAAA,QAAE,EAAC,IAAA,OAAC,EAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC;IACpD,OAAO,IAAA,SAAG,EAAC,GAAG,EAAE,GAAG,EAAE,IAAA,SAAG,EAAC,GAAG,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC;AAC3C,CAAC;AAED,MAAM,SAAS,GAA0B,eAAE;KACxC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;KAC3B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;AAEhC,wEAAwE;AACxE,yBAAyB;AACzB,MAAM,WAAW,GAA0B,eAAE,CAAC,QAAQ,CACpD,IAAA,SAAG,EAAC,GAAG,EAAE,GAAG,EAAE,IAAA,SAAG,EAAC,GAAG,EAAE,EAAE,EAAE,IAAA,QAAE,EAAC,IAAA,SAAG,EAAC,GAAG,EAAE,GAAG,EAAE,IAAA,QAAE,EAAC,IAAA,OAAC,EAAC,GAAG,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAC3E,CAAC;AAEF,MAAM,OAAO,GAAG,eAAE,CAAC,KAAK,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;AAEjD,IAAA,iBAAQ,EAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE;YACzB,MAAM,EAAE,GAAG,IAAA,eAAS,EAAC,CAAC,EAAE,OAAO,CAAC,CAAC;YACjC,MAAM,EAAE,GAAG,IAAA,eAAS,EAAC,EAAE,EAAE,OAAO,CAAC,CAAC;YAClC,IAAI,CAAC,IAAA,aAAO,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;gBACrB,MAAM,IAAI,KAAK,CACb,yBAAyB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CACjG,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/properties/planning.property.test.js

@@ -9,7 +9,7 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 const vitest_1 = require("vitest");
 const generators_1 = require("./generators");
-const planning_1 = require("../../runtime/planning");
+const planning_1 = require("../../reasoning/planning");
 // Generador de un problema mini estilo blocksworld 1D:
 // objetos a..b en posiciones discretas; acción move(?x, ?y).
 const problemArb = generators_1.fc

package/dist/tests/properties/planning.property.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"planning.property.test.js","sourceRoot":"","sources":["../../../src/tests/properties/planning.property.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,gEAAgE;AAChE,+DAA+D;AAC/D,EAAE;AACF,4DAA4D;AAC5D,sEAAsE;AACtE,aAAa;;AAEb,mCAAsC;AACtC,6CAAkC;AAClC,qDAAqF;AAGrF,uDAAuD;AACvD,6DAA6D;AAC7D,MAAM,UAAU,GAAgC,eAAE;KAC/C,KAAK,CACJ,eAAE,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EACjC,eAAE,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAClC;KACA,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;KAC3B,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;IACvB,UAAU,EAAE,CAAC,IAAI,CAAC;IAClB,OAAO,EAAE,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE;IACpC,OAAO,EAAE;QACP;YACE,IAAI,EAAE,MAAM;YACZ,UAAU,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC;YAC5B,aAAa,EAAE,CAAC,WAAW,CAAC;YAC5B,OAAO,EAAE,CAAC,SAAS,CAAC;YACpB,OAAO,EAAE,CAAC,WAAW,CAAC;SACvB;KACF;IACD,YAAY,EAAE,IAAI,GAAG,CAAO,CAAC,MAAM,KAAK,GAAG,CAAC,CAAC;IAC7C,IAAI,EAAE,IAAI,GAAG,CAAO,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC;CACrC,CAAC,CAAC,CAAC;AAEN,IAAA,iBAAQ,EAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,EAAE;YAClC,MAAM,IAAI,GAAG,IAAA,kBAAO,EAAC,OAAO,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;YAChE,IAAI,IAAI,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC,CAAC,6BAA6B;YAC7D,IAAI,KAAK,GAAG,IAAI,GAAG,CAAO,OAAO,CAAC,YAAY,CAAC,CAAC;YAChD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBAChC,MAAM,CAAC,GAAG,IAAA,iBAAM,EAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAC7C,KAAK,GAAG,IAAA,sBAAW,EAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YAChC,CAAC;YACD,IAAI,CAAC,IAAA,wBAAa,EAAC,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxC,MAAM,IAAI,KAAK,CACb,gCAAgC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CACxI,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"planning.property.test.js","sourceRoot":"","sources":["../../../src/tests/properties/planning.property.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,gEAAgE;AAChE,+DAA+D;AAC/D,EAAE;AACF,4DAA4D;AAC5D,sEAAsE;AACtE,aAAa;;AAEb,mCAAsC;AACtC,6CAAkC;AAClC,uDAAuF;AAGvF,uDAAuD;AACvD,6DAA6D;AAC7D,MAAM,UAAU,GAAgC,eAAE;KAC/C,KAAK,CACJ,eAAE,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EACjC,eAAE,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAClC;KACA,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;KAC3B,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;IACvB,UAAU,EAAE,CAAC,IAAI,CAAC;IAClB,OAAO,EAAE,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE;IACpC,OAAO,EAAE;QACP;YACE,IAAI,EAAE,MAAM;YACZ,UAAU,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC;YAC5B,aAAa,EAAE,CAAC,WAAW,CAAC;YAC5B,OAAO,EAAE,CAAC,SAAS,CAAC;YACpB,OAAO,EAAE,CAAC,WAAW,CAAC;SACvB;KACF;IACD,YAAY,EAAE,IAAI,GAAG,CAAO,CAAC,MAAM,KAAK,GAAG,CAAC,CAAC;IAC7C,IAAI,EAAE,IAAI,GAAG,CAAO,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC;CACrC,CAAC,CAAC,CAAC;AAEN,IAAA,iBAAQ,EAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,EAAE;YAClC,MAAM,IAAI,GAAG,IAAA,kBAAO,EAAC,OAAO,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;YAChE,IAAI,IAAI,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC,CAAC,6BAA6B;YAC7D,IAAI,KAAK,GAAG,IAAI,GAAG,CAAO,OAAO,CAAC,YAAY,CAAC,CAAC;YAChD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBAChC,MAAM,CAAC,GAAG,IAAA,iBAAM,EAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAC7C,KAAK,GAAG,IAAA,sBAAW,EAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YAChC,CAAC;YACD,IAAI,CAAC,IAAA,wBAAa,EAAC,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxC,MAAM,IAAI,KAAK,CACb,gCAAgC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CACxI,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/properties/profile-bridge.property.test.js

@@ -12,9 +12,9 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 const vitest_1 = require("vitest");
 const generators_1 = require("./generators");
-const sequent_g3_1 = require("../../profiles/sequent-g3");
-const profile_bridge_1 = require("../../profile-bridge");
-const intuitionistic_nj_1 = require("../../profiles/intuitionistic-nj");
+const sequent_g3_1 = require("../../logic/profiles/sequent-g3");
+const profile_bridge_1 = require("../../logic/profile-bridge");
+const intuitionistic_nj_1 = require("../../logic/profiles/intuitionistic-nj");
 // Convierte Formula (clásico) a IntuitFormula.
 function classicalToIntuit(phi) {
     switch (phi.kind) {

package/dist/tests/properties/profile-bridge.property.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"profile-bridge.property.test.js","sourceRoot":"","sources":["../../../src/tests/properties/profile-bridge.property.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,sEAAsE;AACtE,+DAA+D;AAC/D,EAAE;AACF,oEAAoE;AACpE,sCAAsC;AACtC,EAAE;AACF,iDAAiD;AACjD,2DAA2D;AAC3D,sDAAsD;;AAEtD,mCAAsC;AACtC,6CAA+C;AAC/C,0DAA2E;AAC3E,yDAA2D;AAC3D,wEAA2E;AAI3E,+CAA+C;AAC/C,SAAS,iBAAiB,CAAC,GAAY;IACrC,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,MAAM;YACT,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,IAAI,GAAG,EAAE,CAAC;QACjD,KAAK,KAAK;YACR,OAAO;gBACL,IAAI,EAAE,KAAK;gBACX,IAAI,EAAE,iBAAiB,CAAC,GAAG,CAAC,IAAK,CAAC,CAAC,CAAE,CAAC;gBACtC,KAAK,EAAE,iBAAiB,CAAC,GAAG,CAAC,IAAK,CAAC,CAAC,CAAE,CAAC;aACxC,CAAC;QACJ,KAAK,IAAI;YACP,OAAO;gBACL,IAAI,EAAE,IAAI;gBACV,IAAI,EAAE,iBAAiB,CAAC,GAAG,CAAC,IAAK,CAAC,CAAC,CAAE,CAAC;gBACtC,KAAK,EAAE,iBAAiB,CAAC,GAAG,CAAC,IAAK,CAAC,CAAC,CAAE,CAAC;aACxC,CAAC;QACJ,KAAK,SAAS;YACZ,OAAO;gBACL,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,iBAAiB,CAAC,GAAG,CAAC,IAAK,CAAC,CAAC,CAAE,CAAC;gBACtC,KAAK,EAAE,iBAAiB,CAAC,GAAG,CAAC,IAAK,CAAC,CAAC,CAAE,CAAC;aACxC,CAAC;QACJ,KAAK,KAAK;YACR,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,iBAAiB,CAAC,GAAG,CAAC,IAAK,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC;QAChE,KAAK,MAAM;YACT,sDAAsD;YACtD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC;QAClF,KAAK,OAAO;YACV,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QAC5B;YACE,wEAAwE;YACxE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACvC,CAAC;AACH,CAAC;AAED,IAAA,iBAAQ,EAAC,4DAA4D,EAAE,GAAG,EAAE;IAC1E,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CAAC,IAAA,wBAAW,EAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE;YAClC,MAAM,UAAU,GAAG,IAAA,yBAAc,EAAC,GAAG,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;YACzD,IAAI,CAAC,UAAU,CAAC,QAAQ;gBAAE,OAAO,IAAI,CAAC,CAAC,+BAA+B;YACtE,8DAA8D;YAC9D,yDAAyD;YACzD,MAAM,UAAU,GAAG,IAAA,oCAAmB,EAAC,GAAG,CAAC,CAAC;YAC5C,MAAM,UAAU,GAAG,iBAAiB,CAAC,UAAU,CAAC,CAAC;YACjD,MAAM,OAAO,GAAG,IAAA,2CAAuB,EAAC,EAAE,EAAE,UAAU,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;YAC1E,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;gBACrB,MAAM,IAAI,KAAK,CACb,4DAA4D,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,gBAAgB,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CAC5H,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"profile-bridge.property.test.js","sourceRoot":"","sources":["../../../src/tests/properties/profile-bridge.property.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,sEAAsE;AACtE,+DAA+D;AAC/D,EAAE;AACF,oEAAoE;AACpE,sCAAsC;AACtC,EAAE;AACF,iDAAiD;AACjD,2DAA2D;AAC3D,sDAAsD;;AAEtD,mCAAsC;AACtC,6CAA+C;AAC/C,gEAAiF;AACjF,+DAAiE;AACjE,8EAAiF;AAIjF,+CAA+C;AAC/C,SAAS,iBAAiB,CAAC,GAAY;IACrC,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,MAAM;YACT,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,IAAI,GAAG,EAAE,CAAC;QACjD,KAAK,KAAK;YACR,OAAO;gBACL,IAAI,EAAE,KAAK;gBACX,IAAI,EAAE,iBAAiB,CAAC,GAAG,CAAC,IAAK,CAAC,CAAC,CAAE,CAAC;gBACtC,KAAK,EAAE,iBAAiB,CAAC,GAAG,CAAC,IAAK,CAAC,CAAC,CAAE,CAAC;aACxC,CAAC;QACJ,KAAK,IAAI;YACP,OAAO;gBACL,IAAI,EAAE,IAAI;gBACV,IAAI,EAAE,iBAAiB,CAAC,GAAG,CAAC,IAAK,CAAC,CAAC,CAAE,CAAC;gBACtC,KAAK,EAAE,iBAAiB,CAAC,GAAG,CAAC,IAAK,CAAC,CAAC,CAAE,CAAC;aACxC,CAAC;QACJ,KAAK,SAAS;YACZ,OAAO;gBACL,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,iBAAiB,CAAC,GAAG,CAAC,IAAK,CAAC,CAAC,CAAE,CAAC;gBACtC,KAAK,EAAE,iBAAiB,CAAC,GAAG,CAAC,IAAK,CAAC,CAAC,CAAE,CAAC;aACxC,CAAC;QACJ,KAAK,KAAK;YACR,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,iBAAiB,CAAC,GAAG,CAAC,IAAK,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC;QAChE,KAAK,MAAM;YACT,sDAAsD;YACtD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC;QAClF,KAAK,OAAO;YACV,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QAC5B;YACE,wEAAwE;YACxE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACvC,CAAC;AACH,CAAC;AAED,IAAA,iBAAQ,EAAC,4DAA4D,EAAE,GAAG,EAAE;IAC1E,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CAAC,IAAA,wBAAW,EAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE;YAClC,MAAM,UAAU,GAAG,IAAA,yBAAc,EAAC,GAAG,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;YACzD,IAAI,CAAC,UAAU,CAAC,QAAQ;gBAAE,OAAO,IAAI,CAAC,CAAC,+BAA+B;YACtE,8DAA8D;YAC9D,yDAAyD;YACzD,MAAM,UAAU,GAAG,IAAA,oCAAmB,EAAC,GAAG,CAAC,CAAC;YAC5C,MAAM,UAAU,GAAG,iBAAiB,CAAC,UAAU,CAAC,CAAC;YACjD,MAAM,OAAO,GAAG,IAAA,2CAAuB,EAAC,EAAE,EAAE,UAAU,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;YAC1E,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;gBACrB,MAAM,IAAI,KAAK,CACb,4DAA4D,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,gBAAgB,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CAC5H,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/properties/refinement-types.property.test.js

@@ -10,7 +10,7 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 const vitest_1 = require("vitest");
 const generators_1 = require("./generators");
-const refinement_types_1 = require("../../refinement-types");
+const refinement_types_1 = require("../../type-theory/refinement-types");
 (0, vitest_1.describe)('property: refinement-types subtype transitivity', () => {
     (0, vitest_1.it)('t1 <: t2 ∧ t2 <: t3 ⇒ t1 <: t3', () => {
         generators_1.fc.assert(generators_1.fc.property((0, generators_1.refTypeIntSimple)(), (0, generators_1.refTypeIntSimple)(), (0, generators_1.refTypeIntSimple)(), (t1, t2, t3) => {

package/dist/tests/properties/refinement-types.property.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"refinement-types.property.test.js","sourceRoot":"","sources":["../../../src/tests/properties/refinement-types.property.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,oDAAoD;AACpD,+DAA+D;AAC/D,EAAE;AACF,wBAAwB;AACxB,+DAA+D;AAC/D,EAAE;AACF,sDAAsD;;AAEtD,mCAAsC;AACtC,6CAAoD;AACpD,6DAAmD;AAEnD,IAAA,iBAAQ,EAAC,iDAAiD,EAAE,GAAG,EAAE;IAC/D,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CAAC,IAAA,6BAAgB,GAAE,EAAE,IAAA,6BAAgB,GAAE,EAAE,IAAA,6BAAgB,GAAE,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE;YACrF,MAAM,EAAE,GAAG,IAAA,4BAAS,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YAC7B,MAAM,EAAE,GAAG,IAAA,4BAAS,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YAC7B,IAAI,CAAC,EAAE,IAAI,CAAC,EAAE;gBAAE,OAAO,IAAI,CAAC;YAC5B,MAAM,EAAE,GAAG,IAAA,4BAAS,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YAC7B,IAAI,CAAC,EAAE,EAAE,CAAC;gBACR,MAAM,IAAI,KAAK,CACb,6BAA6B,EAAE,CAAC,SAAS,QAAQ,EAAE,CAAC,SAAS,QAAQ,EAAE,CAAC,SAAS,EAAE,CACpF,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CAAC,IAAA,6BAAgB,GAAE,EAAE,CAAC,CAAC,EAAE,EAAE;YACpC,IAAI,CAAC,IAAA,4BAAS,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;gBACrB,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC;YAClE,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"refinement-types.property.test.js","sourceRoot":"","sources":["../../../src/tests/properties/refinement-types.property.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,oDAAoD;AACpD,+DAA+D;AAC/D,EAAE;AACF,wBAAwB;AACxB,+DAA+D;AAC/D,EAAE;AACF,sDAAsD;;AAEtD,mCAAsC;AACtC,6CAAoD;AACpD,yEAA+D;AAE/D,IAAA,iBAAQ,EAAC,iDAAiD,EAAE,GAAG,EAAE;IAC/D,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CAAC,IAAA,6BAAgB,GAAE,EAAE,IAAA,6BAAgB,GAAE,EAAE,IAAA,6BAAgB,GAAE,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE;YACrF,MAAM,EAAE,GAAG,IAAA,4BAAS,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YAC7B,MAAM,EAAE,GAAG,IAAA,4BAAS,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YAC7B,IAAI,CAAC,EAAE,IAAI,CAAC,EAAE;gBAAE,OAAO,IAAI,CAAC;YAC5B,MAAM,EAAE,GAAG,IAAA,4BAAS,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YAC7B,IAAI,CAAC,EAAE,EAAE,CAAC;gBACR,MAAM,IAAI,KAAK,CACb,6BAA6B,EAAE,CAAC,SAAS,QAAQ,EAAE,CAAC,SAAS,QAAQ,EAAE,CAAC,SAAS,EAAE,CACpF,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CAAC,IAAA,6BAAgB,GAAE,EAAE,CAAC,CAAC,EAAE,EAAE;YACpC,IAAI,CAAC,IAAA,4BAAS,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;gBACrB,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC;YAClE,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/properties/sequent-g3.property.test.js

@@ -9,7 +9,7 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 const vitest_1 = require("vitest");
 const generators_1 = require("./generators");
-const sequent_g3_1 = require("../../profiles/sequent-g3");
+const sequent_g3_1 = require("../../logic/profiles/sequent-g3");
 function isClosed(tree) {
     if (!tree.closed)
         return false;

package/dist/tests/properties/sequent-g3.property.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"sequent-g3.property.test.js","sourceRoot":"","sources":["../../../src/tests/properties/sequent-g3.property.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,oEAAoE;AACpE,+DAA+D;AAC/D,EAAE;AACF,6DAA6D;AAC7D,4BAA4B;AAC5B,6DAA6D;;AAE7D,mCAAsC;AACtC,6CAA+C;AAC/C,0DAAyD;AAGzD,SAAS,QAAQ,CAAC,IAAe;IAC/B,IAAI,CAAC,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC/B,OAAO,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;AAC/C,CAAC;AAED,IAAA,iBAAQ,EAAC,6DAA6D,EAAE,GAAG,EAAE;IAC3E,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CAAC,IAAA,wBAAW,EAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE;YAClC,MAAM,CAAC,GAAG,IAAA,yBAAY,EAAC,GAAG,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;YAC9C,IAAI,CAAC,CAAC,CAAC,QAAQ;gBAAE,OAAO,IAAI,CAAC,CAAC,uBAAuB;YACrD,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;gBACb,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;YACxD,CAAC;YACD,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;gBACvB,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;YAChD,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"sequent-g3.property.test.js","sourceRoot":"","sources":["../../../src/tests/properties/sequent-g3.property.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,oEAAoE;AACpE,+DAA+D;AAC/D,EAAE;AACF,6DAA6D;AAC7D,4BAA4B;AAC5B,6DAA6D;;AAE7D,mCAAsC;AACtC,6CAA+C;AAC/C,gEAA+D;AAG/D,SAAS,QAAQ,CAAC,IAAe;IAC/B,IAAI,CAAC,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC/B,OAAO,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;AAC/C,CAAC;AAED,IAAA,iBAAQ,EAAC,6DAA6D,EAAE,GAAG,EAAE;IAC3E,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CAAC,IAAA,wBAAW,EAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE;YAClC,MAAM,CAAC,GAAG,IAAA,yBAAY,EAAC,GAAG,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;YAC9C,IAAI,CAAC,CAAC,CAAC,QAAQ;gBAAE,OAAO,IAAI,CAAC,CAAC,uBAAuB;YACrD,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;gBACb,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;YACxD,CAAC;YACD,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;gBACvB,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;YAChD,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/properties/system-f.property.test.js

@@ -8,7 +8,7 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 const vitest_1 = require("vitest");
 const generators_1 = require("./generators");
-const system_f_1 = require("../../system-f");
+const system_f_1 = require("../../type-theory/system-f");
 function makeCtx() {
     // Declaramos A y B como variables de tipo para que el well-formed check pase.
     const ctx = (0, system_f_1.emptyContext)();

package/dist/tests/properties/system-f.property.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"system-f.property.test.js","sourceRoot":"","sources":["../../../src/tests/properties/system-f.property.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,6DAA6D;AAC7D,+DAA+D;AAC/D,EAAE;AACF,iEAAiE;AACjE,6DAA6D;;AAE7D,mCAAsC;AACtC,6CAA+C;AAC/C,6CAAgF;AAEhF,SAAS,OAAO;IACd,8EAA8E;IAC9E,MAAM,GAAG,GAAG,IAAA,uBAAY,GAAE,CAAC;IAC3B,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAClB,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAClB,OAAO,GAAG,CAAC;AACb,CAAC;AAED,IAAA,iBAAQ,EAAC,gEAAgE,EAAE,GAAG,EAAE;IAC9E,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CAAC,IAAA,wBAAW,GAAE,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE;YACtD,MAAM,EAAE,GAAG,IAAA,iBAAM,EAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;YACnC,MAAM,EAAE,GAAG,IAAA,iBAAM,EAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;YACnC,IAAI,IAAA,sBAAW,EAAC,EAAE,CAAC,IAAI,IAAA,sBAAW,EAAC,EAAE,CAAC,EAAE,CAAC;gBACvC,MAAM,IAAI,KAAK,CACb,yCAAyC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CACpH,CAAC;YACJ,CAAC;YACD,IAAI,CAAC,IAAA,sBAAW,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;gBACzB,MAAM,IAAI,KAAK,CACb,gCAAgC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAC/E,CAAC;YACJ,CAAC;YACD,IAAI,CAAC,IAAA,sBAAW,EAAC,EAAE,EAAE,QAAQ,CAAC,EAAE,CAAC;gBAC/B,MAAM,IAAI,KAAK,CACb,sCAAsC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,cAAc,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CACjG,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"system-f.property.test.js","sourceRoot":"","sources":["../../../src/tests/properties/system-f.property.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,6DAA6D;AAC7D,+DAA+D;AAC/D,EAAE;AACF,iEAAiE;AACjE,6DAA6D;;AAE7D,mCAAsC;AACtC,6CAA+C;AAC/C,yDAA4F;AAE5F,SAAS,OAAO;IACd,8EAA8E;IAC9E,MAAM,GAAG,GAAG,IAAA,uBAAY,GAAE,CAAC;IAC3B,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAClB,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAClB,OAAO,GAAG,CAAC;AACb,CAAC;AAED,IAAA,iBAAQ,EAAC,gEAAgE,EAAE,GAAG,EAAE;IAC9E,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CAAC,IAAA,wBAAW,GAAE,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE;YACtD,MAAM,EAAE,GAAG,IAAA,iBAAM,EAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;YACnC,MAAM,EAAE,GAAG,IAAA,iBAAM,EAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;YACnC,IAAI,IAAA,sBAAW,EAAC,EAAE,CAAC,IAAI,IAAA,sBAAW,EAAC,EAAE,CAAC,EAAE,CAAC;gBACvC,MAAM,IAAI,KAAK,CACb,yCAAyC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CACpH,CAAC;YACJ,CAAC;YACD,IAAI,CAAC,IAAA,sBAAW,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;gBACzB,MAAM,IAAI,KAAK,CACb,gCAAgC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAC/E,CAAC;YACJ,CAAC;YACD,IAAI,CAAC,IAAA,sBAAW,EAAC,EAAE,EAAE,QAAQ,CAAC,EAAE,CAAC;gBAC/B,MAAM,IAAI,KAAK,CACb,sCAAsC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,cAAc,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CACjG,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/propositional-nd-audit.test.js

@@ -1,7 +1,7 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 const vitest_1 = require("vitest");
-const propositional_1 = require("../profiles/classical/propositional");
+const propositional_1 = require("../logic/profiles/classical/propositional");
 function atom(name) {
     return { kind: 'atom', name };
 }

package/dist/tests/propositional-nd-audit.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"propositional-nd-audit.test.js","sourceRoot":"","sources":["../../src/tests/propositional-nd-audit.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAE9C,uEAA8F;AAG9F,SAAS,IAAI,CAAC,IAAY;IACxB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AAChC,CAAC;AAED,SAAS,GAAG,CAAC,OAAgB;IAC3B,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;AAC1C,CAAC;AAED,SAAS,GAAG,CAAC,IAAa,EAAE,KAAc;IACxC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;AAC9C,CAAC;AAED,SAAS,OAAO,CAAC,IAAa,EAAE,KAAc;IAC5C,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;AAClD,CAAC;AAED,SAAS,aAAa,CAAC,IAAa,EAAE,KAAc;IAClD,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;AACxD,CAAC;AAED,SAAS,UAAU,CAAC,QAAmB;IACrC,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,EAAE,OAAO,CAAU,CAAC,CAAC;IACtF,OAAO;QACL,MAAM,EAAE;YACN,OAAO,EAAE,yBAAyB;YAClC,MAAM,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC;YACxB,QAAQ,EAAE,IAAI,GAAG,EAAE;YACnB,MAAM,EAAE,IAAI,GAAG,EAAE;YACjB,SAAS,EAAE,EAAE;SACd;QACD,YAAY,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC;KAC5C,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAI,KAAU,EAAE,OAAe;IAClD,MAAM,MAAM,GAAU,EAAE,CAAC;IAEzB,SAAS,IAAI,CAAC,KAAa,EAAE,OAAY;QACvC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC;QAClD,IAAI,OAAO,CAAC,MAAM,KAAK,OAAO;YAAE,OAAO;QACvC,KAAK,IAAI,KAAK,GAAG,KAAK,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;YACtD,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;YAC3B,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC;YACzB,OAAO,CAAC,GAAG,EAAE,CAAC;QAChB,CAAC;IACH,CAAC;IAED,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACZ,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,cAAc,CAAC,EAA0B,EAAE,QAAmB,EAAE,IAAa;IACpF,MAAM,WAAW,GAAG,QAAQ,CAAC,MAAM,CAAiB,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE;QACnE,IAAI,CAAC,GAAG;YAAE,OAAO,OAAO,CAAC;QACzB,OAAO,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IAC3B,CAAC,EAAE,IAAI,CAAC,CAAC;IAET,IAAI,CAAC,WAAW;QAAE,OAAO,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,OAAO,CAAC;IAChE,OAAO,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC,MAAM,KAAK,OAAO,CAAC;AACtE,CAAC;AAED,IAAA,iBAAQ,EAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,MAAM,EAAE,GAAG,IAAI,sCAAsB,EAAE,CAAC;IAExC,IAAA,WAAE,EAAC,iFAAiF,EAAE,GAAG,EAAE;QACzF,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,MAAM,WAAW,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3C,MAAM,QAAQ,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAE5F,MAAM,iBAAiB,GAAa,EAAE,CAAC;QACvC,MAAM,iBAAiB,GAAa,EAAE,CAAC;QAEvC,KAAK,MAAM,QAAQ,IAAI,YAAY,CAAC,WAAW,EAAE,CAAC,CAAC,EAAE,CAAC;YACpD,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;YACtD,MAAM,cAAc,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,IAAA,+BAAe,EAAC,OAAO,CAAC,CAAC,CAAC;YAE3E,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;gBAC5B,MAAM,UAAU,GAAG,IAAA,+BAAe,EAAC,IAAI,CAAC,CAAC;gBACzC,IAAI,cAAc,CAAC,QAAQ,CAAC,UAAU,CAAC;oBAAE,SAAS;gBAClD,IAAI,CAAC,cAAc,CAAC,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC;oBAAE,SAAS;gBAElD,MAAM,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,YAAY,EAAE,MAAM,CAAC,CAAC;gBACrD,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;oBACjC,iBAAiB,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,UAAU,EAAE,CAAC,CAAC;oBACxE,SAAS;gBACX,CAAC;gBACD,IAAI,MAAM,CAAC,KAAK,EAAE,MAAM,KAAK,UAAU,EAAE,CAAC;oBACxC,iBAAiB,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,UAAU,EAAE,CAAC,CAAC;gBAC1E,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAA,eAAM,EAAC,iBAAiB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,iBAAiB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6EAA6E,EAAE,GAAG,EAAE;QACrF,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,MAAM,WAAW,GAAG;YAClB,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC7B,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;SACxC,CAAC;QACF,MAAM,QAAQ,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAEpE,MAAM,iBAAiB,GAAa,EAAE,CAAC;QAEvC,KAAK,MAAM,QAAQ,IAAI,WAAW,EAAE,CAAC;YACnC,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;YACtD,MAAM,cAAc,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,IAAA,+BAAe,EAAC,OAAO,CAAC,CAAC,CAAC;YAE3E,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;gBAC5B,IAAI,CAAC,cAAc,CAAC,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC;oBAAE,SAAS;gBAClD,MAAM,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,YAAY,EAAE,MAAM,CAAC,CAAC;gBACrD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBACvC,IAAI,MAAM,CAAC,KAAK,EAAE,MAAM,KAAK,UAAU,EAAE,CAAC;oBACxC,iBAAiB,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,IAAA,+BAAe,EAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACrF,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAA,eAAM,EAAC,iBAAiB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"propositional-nd-audit.test.js","sourceRoot":"","sources":["../../src/tests/propositional-nd-audit.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAE9C,6EAAoG;AAGpG,SAAS,IAAI,CAAC,IAAY;IACxB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AAChC,CAAC;AAED,SAAS,GAAG,CAAC,OAAgB;IAC3B,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;AAC1C,CAAC;AAED,SAAS,GAAG,CAAC,IAAa,EAAE,KAAc;IACxC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;AAC9C,CAAC;AAED,SAAS,OAAO,CAAC,IAAa,EAAE,KAAc;IAC5C,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;AAClD,CAAC;AAED,SAAS,aAAa,CAAC,IAAa,EAAE,KAAc;IAClD,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;AACxD,CAAC;AAED,SAAS,UAAU,CAAC,QAAmB;IACrC,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,EAAE,OAAO,CAAU,CAAC,CAAC;IACtF,OAAO;QACL,MAAM,EAAE;YACN,OAAO,EAAE,yBAAyB;YAClC,MAAM,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC;YACxB,QAAQ,EAAE,IAAI,GAAG,EAAE;YACnB,MAAM,EAAE,IAAI,GAAG,EAAE;YACjB,SAAS,EAAE,EAAE;SACd;QACD,YAAY,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC;KAC5C,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAI,KAAU,EAAE,OAAe;IAClD,MAAM,MAAM,GAAU,EAAE,CAAC;IAEzB,SAAS,IAAI,CAAC,KAAa,EAAE,OAAY;QACvC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC;QAClD,IAAI,OAAO,CAAC,MAAM,KAAK,OAAO;YAAE,OAAO;QACvC,KAAK,IAAI,KAAK,GAAG,KAAK,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;YACtD,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;YAC3B,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC;YACzB,OAAO,CAAC,GAAG,EAAE,CAAC;QAChB,CAAC;IACH,CAAC;IAED,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACZ,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,cAAc,CAAC,EAA0B,EAAE,QAAmB,EAAE,IAAa;IACpF,MAAM,WAAW,GAAG,QAAQ,CAAC,MAAM,CAAiB,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE;QACnE,IAAI,CAAC,GAAG;YAAE,OAAO,OAAO,CAAC;QACzB,OAAO,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IAC3B,CAAC,EAAE,IAAI,CAAC,CAAC;IAET,IAAI,CAAC,WAAW;QAAE,OAAO,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,OAAO,CAAC;IAChE,OAAO,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC,MAAM,KAAK,OAAO,CAAC;AACtE,CAAC;AAED,IAAA,iBAAQ,EAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,MAAM,EAAE,GAAG,IAAI,sCAAsB,EAAE,CAAC;IAExC,IAAA,WAAE,EAAC,iFAAiF,EAAE,GAAG,EAAE;QACzF,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,MAAM,WAAW,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3C,MAAM,QAAQ,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAE5F,MAAM,iBAAiB,GAAa,EAAE,CAAC;QACvC,MAAM,iBAAiB,GAAa,EAAE,CAAC;QAEvC,KAAK,MAAM,QAAQ,IAAI,YAAY,CAAC,WAAW,EAAE,CAAC,CAAC,EAAE,CAAC;YACpD,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;YACtD,MAAM,cAAc,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,IAAA,+BAAe,EAAC,OAAO,CAAC,CAAC,CAAC;YAE3E,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;gBAC5B,MAAM,UAAU,GAAG,IAAA,+BAAe,EAAC,IAAI,CAAC,CAAC;gBACzC,IAAI,cAAc,CAAC,QAAQ,CAAC,UAAU,CAAC;oBAAE,SAAS;gBAClD,IAAI,CAAC,cAAc,CAAC,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC;oBAAE,SAAS;gBAElD,MAAM,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,YAAY,EAAE,MAAM,CAAC,CAAC;gBACrD,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;oBACjC,iBAAiB,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,UAAU,EAAE,CAAC,CAAC;oBACxE,SAAS;gBACX,CAAC;gBACD,IAAI,MAAM,CAAC,KAAK,EAAE,MAAM,KAAK,UAAU,EAAE,CAAC;oBACxC,iBAAiB,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,UAAU,EAAE,CAAC,CAAC;gBAC1E,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAA,eAAM,EAAC,iBAAiB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,iBAAiB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6EAA6E,EAAE,GAAG,EAAE;QACrF,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,MAAM,WAAW,GAAG;YAClB,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC7B,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;SACxC,CAAC;QACF,MAAM,QAAQ,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAEpE,MAAM,iBAAiB,GAAa,EAAE,CAAC;QAEvC,KAAK,MAAM,QAAQ,IAAI,WAAW,EAAE,CAAC;YACnC,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;YACtD,MAAM,cAAc,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,IAAA,+BAAe,EAAC,OAAO,CAAC,CAAC,CAAC;YAE3E,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;gBAC5B,IAAI,CAAC,cAAc,CAAC,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC;oBAAE,SAAS;gBAClD,MAAM,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,YAAY,EAAE,MAAM,CAAC,CAAC;gBACrD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBACvC,IAAI,MAAM,CAAC,KAAK,EAAE,MAAM,KAAK,UAAU,EAAE,CAAC;oBACxC,iBAAiB,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,IAAA,+BAAe,EAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACrF,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAA,eAAM,EAAC,iBAAiB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/protocol-text-layer.test.js

@@ -2,7 +2,7 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 const vitest_1 = require("vitest");
 const handler_1 = require("../protocol/handler");
-const compiler_1 = require("../text-layer/compiler");
+const compiler_1 = require("../semantics/text-layer/compiler");
 (0, vitest_1.describe)('ProtocolHandler validation', () => {
     (0, vitest_1.it)('rechaza params invalidos antes de despachar', () => {
         const handler = new handler_1.ProtocolHandler();

package/dist/tests/protocol-text-layer.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"protocol-text-layer.test.js","sourceRoot":"","sources":["../../src/tests/protocol-text-layer.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAE9C,iDAAsD;AACtD,qDAAgG;AAEhG,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,OAAO,GAAG,IAAI,yBAAe,EAAE,CAAC;QACtC,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC;YAC9B,EAAE,EAAE,CAAC;YACL,MAAM,EAAE,OAAO;YACf,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE;SACvB,CAAC,CAAC;QAEH,IAAA,eAAM,EAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,OAAO,GAAG,IAAI,yBAAe,EAAE,CAAC;QACtC,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC;YAC9B,EAAE,EAAE,CAAC;YACL,MAAM,EAAE,OAAO;YACf,MAAM,EAAE,EAAE,MAAM,EAAE,+BAA+B,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE;SACzE,CAAC,CAAC;QAEH,IAAA,eAAM,EAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,OAAO,GAAG,IAAI,yBAAe,EAAE,CAAC;QAEtC,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC;YAC3B,EAAE,EAAE,CAAC;YACL,MAAM,EAAE,KAAK;YACb,MAAM,EAAE,EAAE,MAAM,EAAE,6CAA6C,EAAE;SAClE,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;YAC5B,EAAE,EAAE,CAAC;YACL,MAAM,EAAE,KAAK;YACb,MAAM,EAAE,EAAE,MAAM,EAAE,oBAAoB,EAAE;SACzC,CAAC,CAAC;QACH,MAAM,WAAW,GAAG,KAAK,CAAC,MAA+B,CAAC;QAC1D,MAAM,YAAY,GAAG,MAAM,CAAC,MAAgD,CAAC;QAE7E,IAAA,eAAM,EAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,YAAY,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,SAAS,CAAC,qCAAqC,CAAC,CAAC;IACrF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,IAAA,eAAM,EAAC,IAAA,0BAAe,EAAC,mBAAmB,CAAC,CAAC,CAAC,OAAO,CAAC;YACnD,IAAI,EAAE,UAAU;YAChB,QAAQ,EAAE,UAAU;YACpB,IAAI,EAAE,SAAS;SAChB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAA,0BAAe,EAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC;YAC7C,IAAI,EAAE,UAAU;YAChB,QAAQ,EAAE,IAAI;YACd,IAAI,EAAE,WAAW;SAClB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,0BAAe,EAAC,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QAC5C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,0BAAe,EAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QAC/C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,0BAAe,EAAC,YAAY,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,KAAK,GAAG,IAAA,+BAAoB,GAAE,CAAC;QACrC,MAAM,WAAW,GAAG,IAAA,0BAAe,EAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QAExD,IAAA,eAAM,EAAC,WAAW,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,WAAW,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"protocol-text-layer.test.js","sourceRoot":"","sources":["../../src/tests/protocol-text-layer.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAE9C,iDAAsD;AACtD,+DAA0G;AAE1G,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,OAAO,GAAG,IAAI,yBAAe,EAAE,CAAC;QACtC,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC;YAC9B,EAAE,EAAE,CAAC;YACL,MAAM,EAAE,OAAO;YACf,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE;SACvB,CAAC,CAAC;QAEH,IAAA,eAAM,EAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,OAAO,GAAG,IAAI,yBAAe,EAAE,CAAC;QACtC,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC;YAC9B,EAAE,EAAE,CAAC;YACL,MAAM,EAAE,OAAO;YACf,MAAM,EAAE,EAAE,MAAM,EAAE,+BAA+B,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE;SACzE,CAAC,CAAC;QAEH,IAAA,eAAM,EAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,OAAO,GAAG,IAAI,yBAAe,EAAE,CAAC;QAEtC,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC;YAC3B,EAAE,EAAE,CAAC;YACL,MAAM,EAAE,KAAK;YACb,MAAM,EAAE,EAAE,MAAM,EAAE,6CAA6C,EAAE;SAClE,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;YAC5B,EAAE,EAAE,CAAC;YACL,MAAM,EAAE,KAAK;YACb,MAAM,EAAE,EAAE,MAAM,EAAE,oBAAoB,EAAE;SACzC,CAAC,CAAC;QACH,MAAM,WAAW,GAAG,KAAK,CAAC,MAA+B,CAAC;QAC1D,MAAM,YAAY,GAAG,MAAM,CAAC,MAAgD,CAAC;QAE7E,IAAA,eAAM,EAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,YAAY,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,SAAS,CAAC,qCAAqC,CAAC,CAAC;IACrF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,IAAA,eAAM,EAAC,IAAA,0BAAe,EAAC,mBAAmB,CAAC,CAAC,CAAC,OAAO,CAAC;YACnD,IAAI,EAAE,UAAU;YAChB,QAAQ,EAAE,UAAU;YACpB,IAAI,EAAE,SAAS;SAChB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAA,0BAAe,EAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC;YAC7C,IAAI,EAAE,UAAU;YAChB,QAAQ,EAAE,IAAI;YACd,IAAI,EAAE,WAAW;SAClB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,0BAAe,EAAC,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QAC5C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,0BAAe,EAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QAC/C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,0BAAe,EAAC,YAAY,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,KAAK,GAAG,IAAA,+BAAoB,GAAE,CAAC;QACrC,MAAM,WAAW,GAAG,IAAA,0BAAe,EAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QAExD,IAAA,eAAM,EAAC,WAAW,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,WAAW,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

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