@stevenvo780/st-lang 4.4.0 → 4.5.0

package/dist/tests/integration/cross-modules.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cross-modules.test.js","sourceRoot":"","sources":["../../../src/tests/integration/cross-modules.test.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;AAEH,mCAA8C;AAE9C,wEAAwE;AACxE,oEAA0E;AAC1E,uDAAuD;AAGvD,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,mEAAmE;QACnE,mEAAmE;QACnE,+BAA+B;QAC/B,MAAM,OAAO,GAAe,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAEjE,+BAA+B;QAC/B,MAAM,MAAM,GAAc,CAAC,GAAG,EAAE,EAAE;YAChC,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YAClC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC3D,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;YACtB,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC;gBAC3C,MAAM,GAAG,GAAG,IAAI,GAAG,EAAmB,CAAC;gBACvC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACxD,MAAM,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CACxB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,CACzE,CAAC;gBACF,IAAI,GAAG;oBAAE,OAAO,IAAI,CAAC;YACvB,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC,CAAC;QAEF,kEAAkE;QAClE,MAAM,MAAM,GAAG,IAAI,wBAAe,CAAC,CAAC,CAAC,CAAC;QACtC,KAAK,MAAM,CAAC,IAAI,OAAO;YAAE,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAC7C,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC;QAC9B,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAE/B,cAAc;QACd,MAAM,SAAS,GAAG,IAAA,oBAAU,EAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAC9C,uDAAuD;QACvD,IAAA,eAAM,EAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAChD,oCAAoC;QACpC,MAAM,SAAS,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtC,wEAAwE;QACxE,KAAK,MAAM,GAAG,IAAI,SAAS,CAAC,GAAG,EAAE,CAAC;YAChC,MAAM,UAAU,GAAG,SAAS,CAAC,GAAG;iBAC7B,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC;iBACtB,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,CAAC;YACzB,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC1B,IAAA,eAAM,EAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxC,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,MAAM,GAAG,IAAI,wBAAe,CAAC,CAAC,CAAC,CAAC;QACtC,gBAAgB;QAChB,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACzB,MAAM,CAAC,IAAI,EAAE,CAAC;QACd,iEAAiE;QACjE,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvB,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvB,MAAM,EAAE,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC;QAC1B,IAAA,eAAM,EAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3B,WAAW;QACX,MAAM,CAAC,GAAG,EAAE,CAAC;QACb,iDAAiD;QACjD,MAAM,EAAE,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC;QAC1B,IAAA,eAAM,EAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,wEAAwE;AACxE,kDAAkD;AAClD,6DAAiE;AAGjE,IAAA,iBAAQ,EAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,KAAK,GAAG,IAAI,oBAAY,EAAE,CAAC;QAEjC,kCAAkC;QAClC,MAAM,CAAC,GAAY,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QAC/C,MAAM,SAAS,GAAY,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QAE7D,MAAM,CAAC,GAAG,IAAA,gBAAQ,EAAC,EAAE,EAAE,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAE5B,qBAAqB;QACrB,MAAM,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC;YACrB,OAAO,EAAE,OAAO;YAChB,iBAAiB,EAAE,EAAE;YACrB,OAAO,EAAE,KAAK;YACd,KAAK,EAAE,CAAC,CAAC,KAAK;YACd,QAAQ,EAAE,EAAE,QAAQ,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE;SACxD,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAErC,8BAA8B;QAC9B,MAAM,GAAG,GAAG,KAAK,CAAC,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QAC1B,IAAA,eAAM,EAAC,GAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAEnC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;QAC5B,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAY,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QAC/C,MAAM,CAAC,GAAY,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QAC/C,MAAM,KAAK,GAAY,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QACrD,MAAM,IAAI,GAAY,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC;QAE5D,MAAM,CAAC,GAAG,IAAA,gBAAQ,EAAC,EAAE,EAAE,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,CAAC,GAAY,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QAC/C,MAAM,CAAC,GAAG,IAAA,gBAAQ,EAAC,EAAE,EAAE,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;QAC7D,0CAA0C;QAC1C,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,yEAAyE;AACzE,mDAQ2B;AAG3B,IAAA,iBAAQ,EAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,EAAE,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,CAAC;QACrB,MAAM,EAAE,GAAG,IAAA,qBAAO,EAAC,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,EAAE,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,+BAA+B;QAC/B,MAAM,IAAI,GAAG,uBAAS,CAAC;QACvB,wCAAwC;QACxC,MAAM,UAAU,GAAG,GAAgB,EAAE;YACnC,oEAAoE;YACpE,MAAM,KAAK,GAAG,IAAA,qBAAO,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAmB,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAqB,EAAE,CAAC,CAAC,EAAE,CAAC,CAAqB,CAAC,CAAC;YAChH,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC;QAC3D,CAAC,CAAC;QACF,kDAAkD;QAClD,MAAM,QAAQ,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;QACnD,MAAM,GAAG,GAAG,IAAA,kBAAI,EAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,CAAC,GAAG,IAAA,qBAAO,EAAC,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3C,MAAM,CAAC,GAAG,IAAA,qBAAO,EAAC,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,iCAAiC;QAC7E,MAAM,KAAK,GAA8B;YACvC,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;YACf,QAAQ,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,6BAA6B;SACpD,CAAC;QACF,wDAAwD;QACxD,MAAM,MAAM,GAAG,IAAA,mBAAU,EAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QACpC,2EAA2E;QAC3E,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,wEAAwE;AACxE,6EAImD;AACnD,2EAAqF;AACrF,qEAAiF;AAEjF,IAAA,iBAAQ,EAAC,0CAA0C,EAAE,GAAG,EAAE;IACxD,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,CAAC,GAAG,IAAA,gBAAK,EAAC,GAAG,CAAC,CAAC;QACrB,MAAM,QAAQ,GAAG,IAAA,kBAAG,EAAC,CAAC,EAAE,IAAA,kBAAG,EAAC,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,UAAU,GAAG,IAAA,6BAAa,EAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QAChD,oEAAoE;QACpE,MAAM,GAAG,GAAG,IAAA,oBAAY,EAAC,UAAU,CAAC,CAAC;QACrC,mDAAmD;QACnD,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,MAAM,CAAC,GAAG,IAAA,gBAAK,EAAC,GAAG,CAAC,CAAC;QACrB,MAAM,MAAM,GAAG,IAAA,kBAAG,EAAC,CAAC,EAAE,IAAA,kBAAG,EAAC,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,CAAC,GAAG,IAAA,6BAAa,EAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QACrC,MAAM,GAAG,GAAG,IAAA,oBAAY,EAAC,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,CAAC,GAAG,IAAA,gBAAK,EAAC,GAAG,CAAC,CAAC;QACrB,MAAM,CAAC,GAAG,IAAA,gBAAK,EAAC,GAAG,CAAC,CAAC;QACrB,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,KAAc,EAAE,IAAI,EAAE,CAAC,IAAA,kBAAG,EAAC,CAAC,EAAE,IAAA,kBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,kBAAG,EAAC,CAAC,EAAE,IAAA,kBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3E,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,IAAA,wBAAQ,EAAC,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QAC1B,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QAC1B,4BAA4B;QAC5B,IAAA,eAAM,EAAC,IAAA,oBAAY,EAAC,GAAI,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAA,oBAAY,EAAC,GAAI,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACxC,4BAA4B;QAC5B,IAAA,eAAM,EAAC,IAAA,oBAAY,EAAC,GAAI,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAA,oBAAY,EAAC,GAAI,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,GAAG,IAAA,kBAAG,EAAC,EAAE,CAAC,CAAC;QAClB,MAAM,CAAC,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAE,CAAsC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,wEAAwE;AACxE,qDAAqE;AAErE,IAAA,iBAAQ,EAAC,iDAAiD,EAAE,GAAG,EAAE;IAC/D,MAAM,WAAW,GAAoB;QACnC,SAAS,EAAE;YACT,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE;YAC/C,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE;YACjD,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE;YAC5C,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE;YAChD,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE;SACjD;QACD,IAAI,EAAE;YACJ,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE;YACrF,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE;YACvF;gBACE,QAAQ,EAAE,OAAO;gBACjB,OAAO,EAAE,CAAC,UAAU,EAAE,YAAY,CAAC;gBACnC,OAAO,EAAE;oBACP,+BAA+B,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE;oBAC5D,gCAAgC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE;oBAC7D,gCAAgC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE;oBAC7D,iCAAiC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE;iBACjE;aACF;YACD;gBACE,QAAQ,EAAE,WAAW;gBACrB,OAAO,EAAE,CAAC,OAAO,CAAC;gBAClB,OAAO,EAAE;oBACP,YAAY,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE;oBACvC,aAAa,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE;iBAC3C;aACF;YACD;gBACE,QAAQ,EAAE,WAAW;gBACrB,OAAO,EAAE,CAAC,OAAO,CAAC;gBAClB,OAAO,EAAE;oBACP,YAAY,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE;oBACvC,aAAa,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE;iBAC3C;aACF;SACF;KACF,CAAC;IAEF,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,QAAQ,GAA2B,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;QAClF,MAAM,SAAS,GAAG,IAAA,gBAAK,EAAC,WAAW,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;QAC3D,MAAM,KAAK,GAAG,SAAS,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;QAC5B,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,KAAM,GAAG,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,iBAAiB;IACxE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,QAAQ,GAA2B,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;QAC/D,MAAM,SAAS,GAAG,IAAA,gBAAK,EAAC,WAAW,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;QAC3D,IAAI,GAAG,GAAG,CAAC,CAAC;QACZ,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC;YAAE,GAAG,IAAI,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,SAAS,GAAG,IAAA,gBAAK,EAAC,WAAW,EAAE,UAAU,EAAE,EAAE,CAAC,CAAC;QACrD,MAAM,KAAK,GAAG,SAAS,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;QAC5B,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,KAAM,GAAG,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,wEAAwE;AACxE,qCAOoB;AACpB,qDAO4B;AAE5B,IAAA,iBAAQ,EAAC,oDAAoD,EAAE,GAAG,EAAE;IAClE,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,GAAG,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC;QACpB,MAAM,IAAI,GAAG,IAAA,kBAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,iBAAE,EAAC,GAAG,CAAC,CAAC,CAAC;QAClC,MAAM,EAAE,GAAG,IAAA,wBAAO,EAAC,IAAI,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,IAAA,2BAAY,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrC,IAAI,CAAC,IAAA,2BAAY,EAAC,EAAE,CAAC,EAAE,CAAC;YACtB,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC9B,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBACxB,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;gBAC3B,IAAA,eAAM,EAAC,EAAE,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YAC3B,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAG,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC;QACpB,MAAM,CAAC,GAAG,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC;QACpB,MAAM,EAAE,GAAG,IAAA,oBAAK,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACvB,MAAM,IAAI,GAAG,IAAA,kBAAG,EAAC,GAAG,EAAE,EAAE,EAAE,IAAA,kBAAG,EAAC,GAAG,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,IAAA,iBAAE,EAAC,GAAG,CAAC,EAAE,GAAG,EAAE,IAAA,iBAAE,EAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QACnF,MAAM,EAAE,GAAG,IAAA,wBAAO,EAAC,IAAI,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,IAAA,2BAAY,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrC,IAAI,CAAC,IAAA,2BAAY,EAAC,EAAE,CAAC,EAAE,CAAC;YACtB,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAChC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,mCAAmC;QACnC,MAAM,OAAO,GAAG,IAAA,WAAI,EAAC,GAAG,EAAE,IAAA,gBAAS,EAAC,CAAC,CAAC,EAAE,IAAA,WAAI,EAAC,GAAG,CAAC,CAAC,CAAC;QACnD,MAAM,CAAC,GAAG,IAAA,gBAAS,EAAC,OAAO,CAAC,CAAC;QAC7B,0CAA0C;QAC1C,IAAI,OAAO,IAAI,CAAC,EAAE,CAAC;YACjB,6DAA6D;YAC7D,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC3B,CAAC;aAAM,CAAC;YACN,8BAA8B;YAC9B,IAAA,eAAM,EAAC,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClE,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,wEAAwE;AACxE,qEAQwC;AAExC,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,MAAM,GAAG,IAAA,4BAAS,EAAC,IAAA,oBAAM,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,oBAAM,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACnF,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACxC,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;QACnC,8DAA8D;QAC9D,IAAA,eAAM,EAAC,IAAA,6BAAU,EAAC,IAAA,6BAAU,EAAC,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,SAAS,CAAC,EAAE,IAAA,oBAAM,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChH,0DAA0D;QAC1D,IAAA,eAAM,EAAC,IAAA,6BAAU,EAAC,IAAA,6BAAU,EAAC,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,UAAU,CAAC,EAAE,IAAA,oBAAM,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjH,+CAA+C;QAC/C,IAAA,eAAM,EAAC,IAAA,6BAAU,EAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAE,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,IAAA,6BAAU,EAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAE,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAG,IAAA,oBAAM,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAM,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACnD,MAAM,MAAM,GAAG,IAAA,4BAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,6BAAU,EAAC,MAAM,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,KAAK,GAAG,CAAC,IAAA,oBAAM,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,oBAAM,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,oBAAM,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC9E,MAAM,MAAM,GAAG,IAAA,gCAAa,EAAC,KAAK,CAAC,CAAC;QACpC,yEAAyE;QACzE,IAAA,eAAM,EAAC,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,KAAK,GAAG;YACZ,IAAA,oBAAM,EAAC,MAAM,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC;YAC9B,IAAA,oBAAM,EAAC,MAAM,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC;YAC9B,IAAA,oBAAM,EAAC,MAAM,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC;SAC/B,CAAC;QACF,MAAM,MAAM,GAAG,IAAA,gCAAa,EAAC,KAAK,CAAC,CAAC;QACpC,4CAA4C;QAC5C,IAAA,eAAM,EAAC,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAChD,IAAI,MAAM,CAAC,cAAc,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC1C,IAAA,eAAM,EAAC,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAChD,yDAAyD;YACzD,MAAM,IAAI,GAAG,MAAM,CAAC,cAAc,CAAC,IAAI,IAAI,EAAE,CAAC;YAC9C,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACpC,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC9B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACjC,CAAC;YACD,2EAA2E;YAC3E,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpC,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,yEAAyE;AACzE,6CAawB;AAExB,IAAA,iBAAQ,EAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,IAAI,GAAG,IAAA,gBAAK,EAAC,GAAG,EAAE,IAAA,eAAI,EAAC,GAAG,EAAE,IAAA,gBAAK,EAAC,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QAC3E,MAAM,GAAG,GAAG,IAAA,uBAAY,GAAE,CAAC;QAC3B,MAAM,EAAE,GAAG,IAAA,iBAAM,EAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,sBAAW,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpC,IAAI,CAAC,IAAA,sBAAW,EAAC,EAAE,CAAC,EAAE,CAAC;YACrB,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACjC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAG,IAAA,gBAAK,EAAC,GAAG,CAAC,CAAC;QACrB,MAAM,MAAM,GAAG,IAAA,gBAAK,EAAC,GAAG,EAAE,IAAA,eAAI,EAAC,GAAG,EAAE,IAAA,gBAAK,EAAC,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QAC7E,MAAM,GAAG,GAAG,IAAA,gBAAK,EAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,qBAAqB;QACnD,0DAA0D;QAC1D,MAAM,OAAO,GAAG,IAAA,eAAI,EAAC,GAAG,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;QACtD,MAAM,GAAG,GAAG,IAAA,uBAAY,GAAE,CAAC;QAC3B,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACrB,MAAM,EAAE,GAAG,IAAA,iBAAM,EAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QAChC,oEAAoE;QACpE,0DAA0D;QAC1D,IAAI,CAAC,IAAA,sBAAW,EAAC,EAAE,CAAC,EAAE,CAAC;YACrB,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACxB,CAAC;aAAM,CAAC;YACN,yEAAyE;YACzE,8EAA8E;YAC9E,IAAA,eAAM,EAAC,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACzC,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,wEAAwE;AACxE,mCAQmB;AAEnB,IAAA,iBAAQ,EAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,kCAAkC;QAClC,MAAM,EAAE,GAAG,IAAA,SAAG,EAAC,GAAG,EAAE,IAAA,WAAK,EAAC,GAAG,CAAC,EAAE,IAAA,OAAM,EAAC,GAAG,CAAC,CAAC,CAAC;QAC7C,MAAM,OAAO,GAAG,IAAA,QAAE,EAAC,EAAE,EAAE,IAAA,OAAM,EAAC,GAAG,CAAC,CAAC,CAAC;QACpC,MAAM,KAAK,GAAG,IAAA,WAAK,EAAC,GAAG,CAAC,CAAC;QACzB,MAAM,MAAM,GAAG,IAAA,qBAAe,GAAE,CAAC;QACjC,MAAM,MAAM,GAAG,IAAA,eAAY,EAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;QACpD,mDAAmD;QACnD,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChC,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC1B,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,yDAAyD;QACzD,MAAM,MAAM,GAAG,IAAA,SAAG,EAAC,GAAG,EAAE,IAAA,WAAK,EAAC,GAAG,CAAC,EAAE,IAAA,OAAM,EAAC,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,OAAO,GAAG,IAAA,UAAI,EAAC,IAAA,WAAK,EAAC,GAAG,CAAC,EAAE,IAAA,WAAK,EAAC,GAAG,CAAC,CAAC,CAAC;QAC7C,MAAM,MAAM,GAAG,IAAA,qBAAe,EAAC,IAAI,CAAC,CAAC;QACrC,MAAM,MAAM,GAAG,IAAA,eAAY,EAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QACrD,8DAA8D;QAC9D,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,yBAAyB;QACzB,MAAM,GAAG,GAAG,IAAA,SAAG,EAAC,GAAG,EAAE,IAAA,WAAK,EAAC,GAAG,CAAC,EAAE,IAAA,OAAM,EAAC,GAAG,CAAC,CAAC,CAAC;QAC9C,yCAAyC;QACzC,MAAM,GAAG,GAAG,IAAA,SAAG,EAAC,GAAG,EAAE,IAAA,WAAK,EAAC,GAAG,CAAC,EAAE,IAAA,OAAM,EAAC,GAAG,CAAC,CAAC,CAAC;QAC9C,MAAM,OAAO,GAAG,IAAA,UAAI,EAAC,IAAA,WAAK,EAAC,GAAG,CAAC,EAAE,IAAA,WAAK,EAAC,GAAG,CAAC,CAAC,CAAC;QAC7C,MAAM,EAAE,GAAG,IAAA,eAAY,EAAC,GAAG,EAAE,OAAO,EAAE,IAAA,qBAAe,EAAC,IAAI,CAAC,CAAC,CAAC;QAC7D,MAAM,EAAE,GAAG,IAAA,eAAY,EAAC,GAAG,EAAE,OAAO,EAAE,IAAA,qBAAe,EAAC,IAAI,CAAC,CAAC,CAAC;QAC7D,kEAAkE;QAClE,IAAA,eAAM,EAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,yEAAyE;AACzE,iDAU0B;AAE1B,IAAA,iBAAQ,EAAC,4DAA4D,EAAE,GAAG,EAAE;IAC1E,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,GAAG,GAAG,IAAA,iCAAoB,EAAC,CAAC,IAAA,oBAAO,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAO,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,GAAG,GAAG,IAAA,iCAAoB,EAAC;YAC/B,IAAA,oBAAO,EAAC,GAAG,CAAC;YACZ,IAAA,oBAAO,EAAC,GAAG,CAAC;YACZ,IAAA,mBAAM,EAAC,IAAA,oBAAO,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAO,EAAC,GAAG,CAAC,CAAC;SACnC,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAG,IAAA,oBAAO,EAAC,GAAG,CAAC,CAAC;QACvB,MAAM,CAAC,GAAG,IAAA,oBAAO,EAAC,GAAG,CAAC,CAAC;QACvB,MAAM,GAAG,GAAG,IAAA,iBAAI,EAAC,IAAA,mBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,GAAG,GAAG,IAAA,gBAAG,EAAC,IAAA,iBAAI,EAAC,CAAC,CAAC,EAAE,IAAA,iBAAI,EAAC,CAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAA,0BAAa,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,GAAG,GAAG,IAAA,iCAAoB,EAAC;YAC/B,IAAA,gBAAG,EAAC,IAAA,oBAAO,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAO,EAAC,GAAG,CAAC,CAAC;YAC/B,IAAA,mBAAM,EAAC,IAAA,oBAAO,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAO,EAAC,GAAG,CAAC,CAAC;SACnC,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,wEAAwE;AACxE,2CAI2B;AAC3B,uDAS6B;AAE7B,IAAA,iBAAQ,EAAC,sDAAsD,EAAE,GAAG,EAAE;IACpE,IAAA,WAAE,EAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,oCAAoC;QACpC,oCAAoC;QACpC,2CAA2C;QAC3C,MAAM,GAAG,GAAG,IAAA,mBAAY,EACtB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EACf,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EACf,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CACzE,CAAC;QACF,MAAM,QAAQ,GAAG,IAAA,iBAAW,EAAC,GAAG,CAAC,CAAC;QAClC,4EAA4E;QAC5E,IAAA,eAAM,EAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QAClD,sEAAsE;QACtE,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,0DAA0D;YAC1D,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC7C,IAAA,eAAM,EAAC,SAAS,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QACrD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0EAA0E,EAAE,GAAG,EAAE;QAClF,MAAM,GAAG,GAAG,IAAA,mBAAY,EACtB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EACf,CAAC,GAAG,EAAE,GAAG,CAAC,EACV,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CACjD,CAAC;QACF,MAAM,QAAQ,GAAG,IAAA,iBAAW,EAAC,GAAG,CAAC,CAAC;QAClC,MAAM,KAAK,GAAG,IAAA,aAAU,EAAC,QAAQ,CAAC,CAAC;QACnC,2DAA2D;QAC3D,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAChD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,wCAAwC;QACxC,MAAM,EAAE,GAAG,IAAA,+BAAe,EAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QACtE,MAAM,QAAQ,GAAG,IAAA,iCAAiB,EAAC,EAAE,CAAC,CAAC;QACvC,iDAAiD;QACjD,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,+BAA+B;QAC/B,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,EAAE,GAAG,IAAA,+BAAe,EAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QACrD,MAAM,MAAM,GAAG,IAAA,iCAAiB,EAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;QAC/C,kDAAkD;QAClD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,EAAE,GAAG,IAAA,+BAAe,EAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QAClF,IAAA,eAAM,EAAC,IAAA,4BAAY,EAAC,EAAE,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,wEAAwE;AACxE,oDAAqD;AAGrD,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,+CAA+C;QAC/C,MAAM,OAAO,GAAkB;YAC7B,UAAU,EAAE,CAAC,IAAI,CAAC;YAClB,OAAO,EAAE,EAAE,KAAK,EAAE,CAAC,QAAQ,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE;YACpD,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,MAAM;oBACZ,UAAU,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC;oBAC5B,aAAa,EAAE,CAAC,UAAU,CAAC;oBAC3B,OAAO,EAAE,CAAC,QAAQ,CAAC;oBACnB,OAAO,EAAE,CAAC,UAAU,CAAC;iBACtB;aACF;YACD,YAAY,EAAE,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;YAC/B,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;SACxB,CAAC;QAEF,MAAM,IAAI,GAAG,IAAA,aAAO,EAAC,OAAO,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC5B,IAAA,eAAM,EAAC,IAAK,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QAC/C,yCAAyC;QACzC,IAAA,eAAM,EAAC,IAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,OAAO,GAAkB;YAC7B,UAAU,EAAE,CAAC,IAAI,CAAC;YAClB,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,EAAE;YACX,YAAY,EAAE,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;YAClC,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;SAC3B,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,aAAO,EAAC,OAAO,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC5B,IAAA,eAAM,EAAC,IAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAK,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,OAAO,GAAkB;YAC7B,UAAU,EAAE,CAAC,IAAI,CAAC;YAClB,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,EAAE,EAAE,eAAe;YAC5B,YAAY,EAAE,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;YAClC,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;SAC3B,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,aAAO,EAAC,OAAO,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC1B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,wEAAwE;AACxE,2DAQ+B;AAE/B,IAAA,iBAAQ,EAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,KAAc,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QAC9C,mBAAmB;QACnB,MAAM,KAAK,GAAG,IAAA,qBAAM,EAAC,IAAA,qBAAM,EAAC,IAAA,qBAAM,EAAC,IAAA,mBAAC,GAAE,EAAE,IAAA,mBAAC,GAAE,CAAC,EAAE,IAAA,mBAAC,GAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACvD,MAAM,EAAE,MAAM,EAAE,GAAG,IAAA,2BAAY,EAAC,KAAK,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,yBAAO,EAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,KAAc,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QACpD,MAAM,GAAG,GAAG,IAAA,2BAAY,EAAC,IAAA,qBAAM,EAAC,IAAA,mBAAC,GAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,IAAA,yBAAO,EAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,KAAc,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QAC9C,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,KAAc,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QAC9C,MAAM,GAAG,GAAG,IAAA,qBAAM,EAAC,IAAA,qBAAM,EAAC,IAAA,mBAAC,GAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACtC,MAAM,GAAG,GAAG,IAAA,2BAAY,EAAC,GAAG,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,yBAAO,EAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,GAAG,GAAG,IAAA,8BAAe,EAAC,IAAA,mBAAC,GAAE,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACxB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAKH,IAAA,iBAAQ,EAAC,wCAAwC,EAAE,GAAG,EAAE;IACtD,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,0DAA0D;QAC1D,oCAAoC;QACpC,wBAAwB;QACxB,oEAAoE;QACpE,MAAM,SAAS,GAAY,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,iBAAiB,EAAE,CAAC;QACrE,MAAM,CAAC,GAAG,IAAA,gBAAQ,EAAC,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,GAAY,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QAC/C,MAAM,CAAC,GAAY,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QAC/C,MAAM,KAAK,GAAY,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QACzD,qBAAqB;QACrB,MAAM,CAAC,GAAG,IAAA,gBAAQ,EAAC,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAY,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QAC/C,MAAM,CAAC,GAAY,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QAC/C,MAAM,KAAK,GAAY,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QACzD,MAAM,IAAI,GAAY,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACjD,MAAM,IAAI,GAAY,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACjD,MAAM,CAAC,GAAG,IAAA,gBAAQ,EAAC,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,yEAAyE;AACzE,IAAA,iBAAQ,EAAC,gDAAgD,EAAE,GAAG,EAAE;IAC9D,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,KAAK,GAAG,IAAI,oBAAY,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC,CAAC;QAClD,yEAAyE;QACzE,MAAM,aAAa,GAAG,CAAC,OAAe,EAAE,IAAY,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC;YACnE,OAAO;YACP,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,MAAM;YACf,KAAK,EAAE,EAAE;YACT,QAAQ,EAAE,EAAE,QAAQ,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE;SACxD,CAAC,CAAC;QACH,MAAM,GAAG,GAAG,aAAa,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QAC7C,MAAM,GAAG,GAAG,aAAa,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QAC7C,kDAAkD;QAClD,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAClB,kCAAkC;QAClC,MAAM,IAAI,GAAG,aAAa,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACvB,2CAA2C;QAC3C,aAAa,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QACjC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;QAC5B,IAAA,eAAM,EAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC9B,2CAA2C;QAC3C,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,kCAAkC;QACrF,kDAAkD;QAClD,IAAA,eAAM,EAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,MAAM,KAAK,GAAG,IAAI,oBAAY,EAAE,CAAC;QACjC,gFAAgF;QAChF,KAAK,CAAC,KAAK,CAAC;YACV,OAAO,EAAE,OAAO;YAChB,iBAAiB,EAAE,iBAAiB;YACpC,OAAO,EAAE,MAAM;YACf,KAAK,EAAE,IAAI;YACX,QAAQ,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE;SAClC,CAAC,CAAC;QACH,KAAK,CAAC,KAAK,CAAC;YACV,OAAO,EAAE,OAAO;YAChB,iBAAiB,EAAE,SAAS;YAC5B,OAAO,EAAE,MAAM;YACf,KAAK,EAAE,IAAI;YACX,QAAQ,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE;SAClC,CAAC,CAAC;QACH,gEAAgE;QAChE,MAAM,OAAO,GAAG,KAAK,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC;QACnD,0CAA0C;QAC1C,IAAA,eAAM,EAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5D,iCAAiC;QACjC,IAAA,eAAM,EAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/nbe/nbe.test.d.ts

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

package/dist/tests/nbe/nbe.test.d.ts.map

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

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

@@ -0,0 +1,121 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const nbe_1 = require("../../nbe");
+// ---------- Tipos base reutilizables ----------
+const P = (0, nbe_1.tBase)('P');
+const Q = (0, nbe_1.tBase)('Q');
+const PtoP = (0, nbe_1.tArr)(P, P);
+const PtoPtoP = (0, nbe_1.tArr)(P, PtoP);
+(0, vitest_1.describe)('NbE — Normalization by Evaluation para STLC', () => {
+    (0, vitest_1.it)('β-reduce: (λx:P. x) y  ⇒  y', () => {
+        // y es libre de tipo P
+        const t = (0, nbe_1.ap)((0, nbe_1.lam)('x', P, (0, nbe_1.v)('x')), (0, nbe_1.v)('y'));
+        const nf = (0, nbe_1.normalize)(t, P);
+        (0, vitest_1.expect)((0, nbe_1.alphaEq)(nf, (0, nbe_1.v)('y'))).toBe(true);
+    });
+    (0, vitest_1.it)('η-long: identidad en P→P queda como λ_x0:P. _x0', () => {
+        const t = (0, nbe_1.lam)('x', P, (0, nbe_1.v)('x'));
+        const nf = (0, nbe_1.normalize)(t, PtoP);
+        // Esperamos λ?:P. ?  (α-equivalente a la identidad)
+        (0, vitest_1.expect)((0, nbe_1.alphaEq)(nf, (0, nbe_1.lam)('y', P, (0, nbe_1.v)('y')))).toBe(true);
+    });
+    (0, vitest_1.it)('η-expansión de variable libre f : P→P  ⇒  λ_x0:P. f _x0', () => {
+        const t = (0, nbe_1.v)('f'); // libre
+        const nf = (0, nbe_1.normalize)(t, PtoP);
+        (0, vitest_1.expect)((0, nbe_1.alphaEq)(nf, (0, nbe_1.lam)('z', P, (0, nbe_1.ap)((0, nbe_1.v)('f'), (0, nbe_1.v)('z'))))).toBe(true);
+    });
+    (0, vitest_1.it)('η-expansión profunda de f : (P→P)→(P→P)', () => {
+        const t = (0, nbe_1.v)('f');
+        const nf = (0, nbe_1.normalize)(t, (0, nbe_1.tArr)(PtoP, PtoP));
+        // λg:P→P. λx:P. f g x
+        const expected = (0, nbe_1.lam)('g', PtoP, (0, nbe_1.lam)('x', P, (0, nbe_1.ap)((0, nbe_1.ap)((0, nbe_1.v)('f'), (0, nbe_1.v)('g')), (0, nbe_1.v)('x'))));
+        (0, vitest_1.expect)((0, nbe_1.alphaEq)(nf, expected)).toBe(true);
+    });
+    (0, vitest_1.it)('forma normal ya normal: λx:P→P. λy:P. x y  estable módulo α', () => {
+        const t = (0, nbe_1.lam)('x', PtoP, (0, nbe_1.lam)('y', P, (0, nbe_1.ap)((0, nbe_1.v)('x'), (0, nbe_1.v)('y'))));
+        const nf = (0, nbe_1.normalize)(t, (0, nbe_1.tArr)(PtoP, PtoP));
+        (0, vitest_1.expect)((0, nbe_1.alphaEq)(nf, t)).toBe(true);
+    });
+    (0, vitest_1.it)('β + η combinados: (λf:P→P. λx:P. f (f x)) (λy:P. y)  ⇒  λ_x:P. _x', () => {
+        const inner = (0, nbe_1.lam)('y', P, (0, nbe_1.v)('y')); // id
+        const doubled = (0, nbe_1.lam)('f', PtoP, (0, nbe_1.lam)('x', P, (0, nbe_1.ap)((0, nbe_1.v)('f'), (0, nbe_1.ap)((0, nbe_1.v)('f'), (0, nbe_1.v)('x')))));
+        const t = (0, nbe_1.ap)(doubled, inner);
+        const nf = (0, nbe_1.normalize)(t, PtoP);
+        (0, vitest_1.expect)((0, nbe_1.alphaEq)(nf, (0, nbe_1.lam)('x', P, (0, nbe_1.v)('x')))).toBe(true);
+    });
+    (0, vitest_1.it)('K combinator (λx:P. λy:Q. x) aplicado a a:P  ⇒  λy:Q. a', () => {
+        const K = (0, nbe_1.lam)('x', P, (0, nbe_1.lam)('y', Q, (0, nbe_1.v)('x')));
+        const t = (0, nbe_1.ap)(K, (0, nbe_1.v)('a'));
+        const nf = (0, nbe_1.normalize)(t, (0, nbe_1.tArr)(Q, P));
+        (0, vitest_1.expect)((0, nbe_1.alphaEq)(nf, (0, nbe_1.lam)('y', Q, (0, nbe_1.v)('a')))).toBe(true);
+    });
+    (0, vitest_1.it)('Church-style const: (λx:P. λy:P. y) a b ⇒ b', () => {
+        const term = (0, nbe_1.apN)((0, nbe_1.lam)('x', P, (0, nbe_1.lam)('y', P, (0, nbe_1.v)('y'))), (0, nbe_1.v)('a'), (0, nbe_1.v)('b'));
+        const nf = (0, nbe_1.normalize)(term, P);
+        (0, vitest_1.expect)((0, nbe_1.alphaEq)(nf, (0, nbe_1.v)('b'))).toBe(true);
+    });
+    (0, vitest_1.it)('aplicación atascada: f a  con f libre P→P  ⇒  f a (no se simplifica)', () => {
+        const t = (0, nbe_1.ap)((0, nbe_1.v)('f'), (0, nbe_1.v)('a'));
+        const nf = (0, nbe_1.normalize)(t, P);
+        (0, vitest_1.expect)((0, nbe_1.alphaEq)(nf, (0, nbe_1.ap)((0, nbe_1.v)('f'), (0, nbe_1.v)('a')))).toBe(true);
+    });
+    (0, vitest_1.it)('determinismo: misma entrada produce misma salida string-a-string', () => {
+        const t = (0, nbe_1.ap)((0, nbe_1.lam)('x', P, (0, nbe_1.v)('x')), (0, nbe_1.v)('y'));
+        const a = (0, nbe_1.termToString)((0, nbe_1.normalize)(t, P));
+        const b = (0, nbe_1.termToString)((0, nbe_1.normalize)(t, P));
+        const c = (0, nbe_1.termToString)((0, nbe_1.normalize)(t, P));
+        (0, vitest_1.expect)(a).toBe(b);
+        (0, vitest_1.expect)(b).toBe(c);
+    });
+    (0, vitest_1.it)('β-reducción con captura evitada: (λx:P. λy:P. x) y  ⇒  λ_y:P. y_outer', () => {
+        // El "y" exterior es la variable libre; el binder interno NO debe
+        // capturarla. Como reify usa supply fresco, el binder queda como
+        // _x0 (u otro nombre fresco), no como "y".
+        const t = (0, nbe_1.ap)((0, nbe_1.lam)('x', P, (0, nbe_1.lam)('y', P, (0, nbe_1.v)('x'))), (0, nbe_1.v)('y'));
+        const nf = (0, nbe_1.normalize)(t, (0, nbe_1.tArr)(P, P));
+        // El resultado debe ser α-equivalente a λz:P. y
+        (0, vitest_1.expect)((0, nbe_1.alphaEq)(nf, (0, nbe_1.lam)('z', P, (0, nbe_1.v)('y')))).toBe(true);
+    });
+    (0, vitest_1.it)('aplicación n-aria: (λx:P. λy:P. λz:P. x) a b c  ⇒  a', () => {
+        const f = (0, nbe_1.lam)('x', P, (0, nbe_1.lam)('y', P, (0, nbe_1.lam)('z', P, (0, nbe_1.v)('x'))));
+        const t = (0, nbe_1.apN)(f, (0, nbe_1.v)('a'), (0, nbe_1.v)('b'), (0, nbe_1.v)('c'));
+        const nf = (0, nbe_1.normalize)(t, P);
+        (0, vitest_1.expect)((0, nbe_1.alphaEq)(nf, (0, nbe_1.v)('a'))).toBe(true);
+    });
+    (0, vitest_1.it)('S-like: (λf:P→P→P. λx:P. f x x) (λa:P. λb:P. a) v  ⇒  v', () => {
+        // f := proj1 (λa:P. λb:P. a)
+        // λx:P. f x x  =  λx:P. (λa.λb.a) x x  ⇒  λx:P. x
+        // Aplicado a v ⇒ v
+        const proj1 = (0, nbe_1.lam)('a', P, (0, nbe_1.lam)('b', P, (0, nbe_1.v)('a')));
+        const w = (0, nbe_1.lam)('f', PtoPtoP, (0, nbe_1.lam)('x', P, (0, nbe_1.ap)((0, nbe_1.ap)((0, nbe_1.v)('f'), (0, nbe_1.v)('x')), (0, nbe_1.v)('x'))));
+        const t = (0, nbe_1.ap)((0, nbe_1.ap)(w, proj1), (0, nbe_1.v)('v_arg'));
+        const nf = (0, nbe_1.normalize)(t, P);
+        (0, vitest_1.expect)((0, nbe_1.alphaEq)(nf, (0, nbe_1.v)('v_arg'))).toBe(true);
+    });
+    (0, vitest_1.it)('evaluate produce una clausura para una λ', () => {
+        const val = (0, nbe_1.evaluate)((0, nbe_1.lam)('x', P, (0, nbe_1.v)('x')), new Map());
+        (0, vitest_1.expect)(val.kind).toBe('closure');
+    });
+    (0, vitest_1.it)('reify con supply explícito es reproducible', () => {
+        const t = (0, nbe_1.v)('f'); // libre, tipo P→P
+        const val = (0, nbe_1.evaluate)(t, new Map());
+        const a = (0, nbe_1.termToString)((0, nbe_1.reify)(val, PtoP, (0, nbe_1.makeFreshSupply)('q')));
+        const b = (0, nbe_1.termToString)((0, nbe_1.reify)(val, PtoP, (0, nbe_1.makeFreshSupply)('q')));
+        (0, vitest_1.expect)(a).toBe(b);
+        // El nombre fresco debe aparecer con el prefijo elegido.
+        (0, vitest_1.expect)(a.includes('q0')).toBe(true);
+    });
+    (0, vitest_1.it)('idempotencia: normalize(normalize(t)) ≡α normalize(t)', () => {
+        const t = (0, nbe_1.ap)((0, nbe_1.lam)('f', PtoP, (0, nbe_1.lam)('x', P, (0, nbe_1.ap)((0, nbe_1.v)('f'), (0, nbe_1.ap)((0, nbe_1.v)('f'), (0, nbe_1.v)('x'))))), (0, nbe_1.lam)('y', P, (0, nbe_1.v)('y')));
+        const nf1 = (0, nbe_1.normalize)(t, PtoP);
+        const nf2 = (0, nbe_1.normalize)(nf1, PtoP);
+        (0, vitest_1.expect)((0, nbe_1.alphaEq)(nf1, nf2)).toBe(true);
+    });
+    (0, vitest_1.it)('η-expansión en aplicación parcial: (λx:P→P. x) f  con f:P→P  ⇒  λ_x:P. f _x', () => {
+        const t = (0, nbe_1.ap)((0, nbe_1.lam)('x', PtoP, (0, nbe_1.v)('x')), (0, nbe_1.v)('f'));
+        const nf = (0, nbe_1.normalize)(t, PtoP);
+        (0, vitest_1.expect)((0, nbe_1.alphaEq)(nf, (0, nbe_1.lam)('z', P, (0, nbe_1.ap)((0, nbe_1.v)('f'), (0, nbe_1.v)('z'))))).toBe(true);
+    });
+});
+//# sourceMappingURL=nbe.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"nbe.test.js","sourceRoot":"","sources":["../../../src/tests/nbe/nbe.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,mCAcmB;AAEnB,iDAAiD;AACjD,MAAM,CAAC,GAAG,IAAA,WAAK,EAAC,GAAG,CAAC,CAAC;AACrB,MAAM,CAAC,GAAG,IAAA,WAAK,EAAC,GAAG,CAAC,CAAC;AACrB,MAAM,IAAI,GAAG,IAAA,UAAI,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACxB,MAAM,OAAO,GAAG,IAAA,UAAI,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC;AAE9B,IAAA,iBAAQ,EAAC,6CAA6C,EAAE,GAAG,EAAE;IAC3D,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,uBAAuB;QACvB,MAAM,CAAC,GAAG,IAAA,QAAE,EAAC,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QAC1C,MAAM,EAAE,GAAG,IAAA,eAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,EAAE,EAAE,IAAA,OAAC,EAAC,GAAG,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,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QAC9B,MAAM,EAAE,GAAG,IAAA,eAAS,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC9B,oDAAoD;QACpD,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,EAAE,EAAE,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,GAAS,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,QAAQ;QAChC,MAAM,EAAE,GAAG,IAAA,eAAS,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,EAAE,EAAE,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,QAAE,EAAC,IAAA,OAAC,EAAC,GAAG,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAS,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC;QACvB,MAAM,EAAE,GAAG,IAAA,eAAS,EAAC,CAAC,EAAE,IAAA,UAAI,EAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QAC1C,sBAAsB;QACtB,MAAM,QAAQ,GAAG,IAAA,SAAG,EAAC,GAAG,EAAE,IAAI,EAAE,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,QAAE,EAAC,IAAA,QAAE,EAAC,IAAA,OAAC,EAAC,GAAG,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7E,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,CAAC,GAAG,IAAA,SAAG,EAAC,GAAG,EAAE,IAAI,EAAE,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,QAAE,EAAC,IAAA,OAAC,EAAC,GAAG,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1D,MAAM,EAAE,GAAG,IAAA,eAAS,EAAC,CAAC,EAAE,IAAA,UAAI,EAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,KAAK,GAAG,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK;QACxC,MAAM,OAAO,GAAG,IAAA,SAAG,EAAC,GAAG,EAAE,IAAI,EAAE,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,QAAE,EAAC,IAAA,OAAC,EAAC,GAAG,CAAC,EAAE,IAAA,QAAE,EAAC,IAAA,OAAC,EAAC,GAAG,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5E,MAAM,CAAC,GAAG,IAAA,QAAE,EAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QAC7B,MAAM,EAAE,GAAG,IAAA,eAAS,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,EAAE,EAAE,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,GAAG,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3C,MAAM,CAAC,GAAG,IAAA,QAAE,EAAC,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QACxB,MAAM,EAAE,GAAG,IAAA,eAAS,EAAC,CAAC,EAAE,IAAA,UAAI,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,EAAE,EAAE,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,IAAI,GAAG,IAAA,SAAG,EAAC,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QACnE,MAAM,EAAE,GAAG,IAAA,eAAS,EAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,EAAE,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,CAAC,GAAG,IAAA,QAAE,EAAC,IAAA,OAAC,EAAC,GAAG,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QAC7B,MAAM,EAAE,GAAG,IAAA,eAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,EAAE,EAAE,IAAA,QAAE,EAAC,IAAA,OAAC,EAAC,GAAG,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,CAAC,GAAG,IAAA,QAAE,EAAC,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QAC1C,MAAM,CAAC,GAAG,IAAA,kBAAY,EAAC,IAAA,eAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACxC,MAAM,CAAC,GAAG,IAAA,kBAAY,EAAC,IAAA,eAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACxC,MAAM,CAAC,GAAG,IAAA,kBAAY,EAAC,IAAA,eAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,kEAAkE;QAClE,iEAAiE;QACjE,2CAA2C;QAC3C,MAAM,CAAC,GAAG,IAAA,QAAE,EAAC,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QACvD,MAAM,EAAE,GAAG,IAAA,eAAS,EAAC,CAAC,EAAE,IAAA,UAAI,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpC,gDAAgD;QAChD,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,EAAE,EAAE,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,CAAC,GAAG,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,MAAM,CAAC,GAAG,IAAA,SAAG,EAAC,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QACzC,MAAM,EAAE,GAAG,IAAA,eAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,EAAE,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,6BAA6B;QAC7B,kDAAkD;QAClD,mBAAmB;QACnB,MAAM,KAAK,GAAG,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC/C,MAAM,CAAC,GAAG,IAAA,SAAG,EAAC,GAAG,EAAE,OAAO,EAAE,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,QAAE,EAAC,IAAA,QAAE,EAAC,IAAA,OAAC,EAAC,GAAG,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACzE,MAAM,CAAC,GAAG,IAAA,QAAE,EAAC,IAAA,QAAE,EAAC,CAAC,EAAE,KAAK,CAAC,EAAE,IAAA,OAAC,EAAC,OAAO,CAAC,CAAC,CAAC;QACvC,MAAM,EAAE,GAAG,IAAA,eAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,EAAE,EAAE,IAAA,OAAC,EAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,GAAG,GAAG,IAAA,cAAQ,EAAC,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAS,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,kBAAkB;QAC1C,MAAM,GAAG,GAAG,IAAA,cAAQ,EAAC,CAAC,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QACnC,MAAM,CAAC,GAAG,IAAA,kBAAY,EAAC,IAAA,WAAK,EAAC,GAAG,EAAE,IAAI,EAAE,IAAA,qBAAe,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC/D,MAAM,CAAC,GAAG,IAAA,kBAAY,EAAC,IAAA,WAAK,EAAC,GAAG,EAAE,IAAI,EAAE,IAAA,qBAAe,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,yDAAyD;QACzD,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,CAAC,GAAG,IAAA,QAAE,EAAC,IAAA,SAAG,EAAC,GAAG,EAAE,IAAI,EAAE,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,QAAE,EAAC,IAAA,OAAC,EAAC,GAAG,CAAC,EAAE,IAAA,QAAE,EAAC,IAAA,OAAC,EAAC,GAAG,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC/F,MAAM,GAAG,GAAG,IAAA,eAAS,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC/B,MAAM,GAAG,GAAG,IAAA,eAAS,EAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6EAA6E,EAAE,GAAG,EAAE;QACrF,MAAM,CAAC,GAAG,IAAA,QAAE,EAAC,IAAA,SAAG,EAAC,GAAG,EAAE,IAAI,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QAC7C,MAAM,EAAE,GAAG,IAAA,eAAS,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,EAAE,EAAE,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,QAAE,EAAC,IAAA,OAAC,EAAC,GAAG,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/profile-bridge/translations.test.d.ts

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

package/dist/tests/profile-bridge/translations.test.d.ts.map

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

package/dist/tests/profile-bridge/translations.test.js

@@ -0,0 +1,266 @@
+"use strict";
+// ============================================================
+// ST Profile Bridge — Tests
+// ============================================================
+// Cubre: Glivenko ¬¬-translation, Gödel-McKinsey-Tarski □-embedding,
+// LTL→CTL, CTL→LTL, findTranslationPath, translateFormula round-trip.
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const profile_bridge_1 = require("../../profile-bridge");
+// ── Helpers ──────────────────────────────────────────────────
+const atom = (name) => ({ kind: 'atom', name });
+const not = (...args) => ({ kind: 'not', args });
+const and = (...args) => ({ kind: 'and', args });
+const implies = (a, b) => ({ kind: 'implies', args: [a, b] });
+const box = (f) => ({ kind: 'modal_necessity', args: [f] });
+const ltlAtom = (name) => ({ kind: 'atom', name });
+const ltlNot = (arg) => ({ kind: 'not', arg });
+const ltlAnd = (...args) => ({ kind: 'and', args });
+const ltlOr = (...args) => ({ kind: 'or', args });
+const ltlX = (arg) => ({ kind: 'X', arg });
+const ltlF = (arg) => ({ kind: 'F', arg });
+const ltlG = (arg) => ({ kind: 'G', arg });
+const ltlU = (l, r) => ({ kind: 'U', left: l, right: r });
+const ltlR = (l, r) => ({ kind: 'R', left: l, right: r });
+const ctlAtom = (name) => ({ kind: 'atom', name });
+const ctlNot = (arg) => ({ kind: 'not', arg });
+const ctlEX = (arg) => ({ kind: 'EX', arg });
+const ctlAF = (arg) => ({ kind: 'AF', arg });
+const ctlEG = (arg) => ({ kind: 'EG', arg });
+const ctlAU = (l, r) => ({ kind: 'AU', left: l, right: r });
+// ── Glivenko ¬¬-translation ───────────────────────────────────
+(0, vitest_1.describe)('Glivenko — ¬¬-translation (intuitionistic → classical)', () => {
+    (0, vitest_1.it)('P → ¬¬P: átomo se envuelve en doble negación', () => {
+        const result = (0, profile_bridge_1.glivenkoTranslation)(atom('P'));
+        // átomo P → ¬¬P
+        (0, vitest_1.expect)(result.kind).toBe('not');
+        const outer = result.args?.[0];
+        (0, vitest_1.expect)(outer?.kind).toBe('not');
+        (0, vitest_1.expect)(outer?.args?.[0]?.kind).toBe('atom');
+        (0, vitest_1.expect)(outer?.args?.[0]?.name).toBe('P');
+    });
+    (0, vitest_1.it)('¬P → ¬P: negación no acumula dobles negaciones adicionales', () => {
+        const result = (0, profile_bridge_1.glivenkoTranslation)(not(atom('P')));
+        // ¬P → ¬(glivenko(P)) = ¬(¬¬P)
+        (0, vitest_1.expect)(result.kind).toBe('not');
+        const inner = result.args?.[0];
+        // inner es la traducción de P = ¬¬P
+        (0, vitest_1.expect)(inner?.kind).toBe('not');
+    });
+    (0, vitest_1.it)('(P→Q) → ¬¬(¬¬P → ¬¬Q): implicación queda bajo ¬¬', () => {
+        const result = (0, profile_bridge_1.glivenkoTranslation)(implies(atom('P'), atom('Q')));
+        // implies se envuelve en ¬¬
+        (0, vitest_1.expect)(result.kind).toBe('not');
+        const level1 = result.args?.[0];
+        (0, vitest_1.expect)(level1?.kind).toBe('not');
+        const level2 = level1?.args?.[0];
+        // el contenido es implies con args traducidos
+        (0, vitest_1.expect)(level2?.kind).toBe('implies');
+    });
+    (0, vitest_1.it)('⊤ permanece sin cambios', () => {
+        const result = (0, profile_bridge_1.glivenkoTranslation)({ kind: 'true' });
+        (0, vitest_1.expect)(result.kind).toBe('true');
+    });
+    (0, vitest_1.it)('⊥ permanece sin cambios', () => {
+        const result = (0, profile_bridge_1.glivenkoTranslation)({ kind: 'false' });
+        (0, vitest_1.expect)(result.kind).toBe('false');
+    });
+    (0, vitest_1.it)('P∧Q → ¬¬(¬¬P ∧ ¬¬Q): conjunción bajo ¬¬', () => {
+        const result = (0, profile_bridge_1.glivenkoTranslation)(and(atom('P'), atom('Q')));
+        (0, vitest_1.expect)(result.kind).toBe('not');
+        const inner = result.args?.[0];
+        (0, vitest_1.expect)(inner?.kind).toBe('not');
+        const content = inner?.args?.[0];
+        (0, vitest_1.expect)(content?.kind).toBe('and');
+        (0, vitest_1.expect)(content?.args).toHaveLength(2);
+        // cada arg es ¬¬atom
+        (0, vitest_1.expect)(content?.args?.[0]?.kind).toBe('not');
+        (0, vitest_1.expect)(content?.args?.[1]?.kind).toBe('not');
+    });
+});
+// ── Gödel-McKinsey-Tarski □-embedding ────────────────────────
+(0, vitest_1.describe)('Gödel-McKinsey-Tarski — □-embedding (classical → S4)', () => {
+    (0, vitest_1.it)('P → □P: átomo se envuelve en □', () => {
+        const result = (0, profile_bridge_1.godelTranslation)(atom('P'));
+        (0, vitest_1.expect)(result.kind).toBe('modal_necessity');
+        (0, vitest_1.expect)(result.args?.[0]?.kind).toBe('atom');
+        (0, vitest_1.expect)(result.args?.[0]?.name).toBe('P');
+    });
+    (0, vitest_1.it)('¬P → □¬□P: negación queda bajo □', () => {
+        const result = (0, profile_bridge_1.godelTranslation)(not(atom('P')));
+        // ¬P → □¬(□P)
+        (0, vitest_1.expect)(result.kind).toBe('modal_necessity');
+        const inner = result.args?.[0];
+        (0, vitest_1.expect)(inner?.kind).toBe('not');
+        const doubleBoxed = inner?.args?.[0];
+        (0, vitest_1.expect)(doubleBoxed?.kind).toBe('modal_necessity');
+    });
+    (0, vitest_1.it)('P→Q → □(□P → □Q): implicación se empotra bajo □', () => {
+        const result = (0, profile_bridge_1.godelTranslation)(implies(atom('P'), atom('Q')));
+        (0, vitest_1.expect)(result.kind).toBe('modal_necessity');
+        const inner = result.args?.[0];
+        (0, vitest_1.expect)(inner?.kind).toBe('implies');
+        // ambos lados también son □
+        (0, vitest_1.expect)(inner?.args?.[0]?.kind).toBe('modal_necessity');
+        (0, vitest_1.expect)(inner?.args?.[1]?.kind).toBe('modal_necessity');
+    });
+    (0, vitest_1.it)('⊤ permanece sin cambios', () => {
+        const result = (0, profile_bridge_1.godelTranslation)({ kind: 'true' });
+        (0, vitest_1.expect)(result.kind).toBe('true');
+    });
+    (0, vitest_1.it)('P∧Q → □P ∧ □Q: conjunción distribuye sin □ extra', () => {
+        const result = (0, profile_bridge_1.godelTranslation)(and(atom('P'), atom('Q')));
+        // and no añade □ extra en la raíz
+        (0, vitest_1.expect)(result.kind).toBe('and');
+        (0, vitest_1.expect)(result.args?.[0]?.kind).toBe('modal_necessity');
+        (0, vitest_1.expect)(result.args?.[1]?.kind).toBe('modal_necessity');
+    });
+});
+// ── LTL → CTL ────────────────────────────────────────────────
+(0, vitest_1.describe)('LTL → CTL — embedding existencial', () => {
+    (0, vitest_1.it)('X p → EX p', () => {
+        const result = (0, profile_bridge_1.ltlToCTL)(ltlX(ltlAtom('p')));
+        (0, vitest_1.expect)(result.kind).toBe('EX');
+        const inner = result;
+        (0, vitest_1.expect)(inner.arg.kind).toBe('atom');
+    });
+    (0, vitest_1.it)('F p → EF p', () => {
+        const result = (0, profile_bridge_1.ltlToCTL)(ltlF(ltlAtom('p')));
+        (0, vitest_1.expect)(result.kind).toBe('EF');
+    });
+    (0, vitest_1.it)('G p → EG p', () => {
+        const result = (0, profile_bridge_1.ltlToCTL)(ltlG(ltlAtom('p')));
+        (0, vitest_1.expect)(result.kind).toBe('EG');
+    });
+    (0, vitest_1.it)('p U q → E[p U q]', () => {
+        const result = (0, profile_bridge_1.ltlToCTL)(ltlU(ltlAtom('p'), ltlAtom('q')));
+        (0, vitest_1.expect)(result.kind).toBe('EU');
+    });
+    (0, vitest_1.it)('p R q → ¬E[¬q U ¬p] (dualidad de release)', () => {
+        const result = (0, profile_bridge_1.ltlToCTL)(ltlR(ltlAtom('p'), ltlAtom('q')));
+        // ¬E[¬q U ¬p]
+        (0, vitest_1.expect)(result.kind).toBe('not');
+        const inner = result;
+        (0, vitest_1.expect)(inner.arg.kind).toBe('EU');
+    });
+    (0, vitest_1.it)('¬p ∧ (X q) → CTL equivalente', () => {
+        const ltlF = ltlAnd(ltlNot(ltlAtom('p')), ltlX(ltlAtom('q')));
+        const result = (0, profile_bridge_1.ltlToCTL)(ltlF);
+        (0, vitest_1.expect)(result.kind).toBe('and');
+        const r = result;
+        (0, vitest_1.expect)(r.args[0]?.kind).toBe('not');
+        (0, vitest_1.expect)(r.args[1]?.kind).toBe('EX');
+    });
+});
+// ── CTL → LTL ────────────────────────────────────────────────
+(0, vitest_1.describe)('CTL → LTL — aproximación lineal (partial)', () => {
+    (0, vitest_1.it)('EX p → X p', () => {
+        const result = (0, profile_bridge_1.ctlToLTL)(ctlEX(ctlAtom('p')));
+        (0, vitest_1.expect)(result.kind).toBe('X');
+    });
+    (0, vitest_1.it)('AF p → F p (A-operators se aproximan como E)', () => {
+        const result = (0, profile_bridge_1.ctlToLTL)(ctlAF(ctlAtom('p')));
+        (0, vitest_1.expect)(result.kind).toBe('F');
+    });
+    (0, vitest_1.it)('EG p → G p', () => {
+        const result = (0, profile_bridge_1.ctlToLTL)(ctlEG(ctlAtom('p')));
+        (0, vitest_1.expect)(result.kind).toBe('G');
+    });
+    (0, vitest_1.it)('A[p U q] → p U q', () => {
+        const result = (0, profile_bridge_1.ctlToLTL)(ctlAU(ctlAtom('p'), ctlAtom('q')));
+        (0, vitest_1.expect)(result.kind).toBe('U');
+    });
+});
+// ── findTranslationPath ───────────────────────────────────────
+(0, vitest_1.describe)('findTranslationPath — BFS sobre grafo de traducciones', () => {
+    (0, vitest_1.it)('intuitionistic → classical: ruta directa [intuit, classical]', () => {
+        const path = (0, profile_bridge_1.findTranslationPath)('intuitionistic', 'classical');
+        (0, vitest_1.expect)(path).toEqual(['intuitionistic', 'classical']);
+    });
+    (0, vitest_1.it)('intuitionistic → S4: ruta directa disponible', () => {
+        const path = (0, profile_bridge_1.findTranslationPath)('intuitionistic', 'S4');
+        (0, vitest_1.expect)(path).not.toBeNull();
+        (0, vitest_1.expect)(path[0]).toBe('intuitionistic');
+        (0, vitest_1.expect)(path[path.length - 1]).toBe('S4');
+    });
+    (0, vitest_1.it)('classical → S4: ruta directa [classical, S4]', () => {
+        const path = (0, profile_bridge_1.findTranslationPath)('classical', 'S4');
+        (0, vitest_1.expect)(path).toEqual(['classical', 'S4']);
+    });
+    (0, vitest_1.it)('LTL → CTL: ruta directa [LTL, CTL]', () => {
+        const path = (0, profile_bridge_1.findTranslationPath)('LTL', 'CTL');
+        (0, vitest_1.expect)(path).toEqual(['LTL', 'CTL']);
+    });
+    (0, vitest_1.it)('mismo perfil devuelve [perfil] sin traducciones', () => {
+        (0, vitest_1.expect)((0, profile_bridge_1.findTranslationPath)('classical', 'classical')).toEqual(['classical']);
+        (0, vitest_1.expect)((0, profile_bridge_1.findTranslationPath)('LTL', 'LTL')).toEqual(['LTL']);
+    });
+    (0, vitest_1.it)('S4 → intuitionistic: no hay ruta disponible → null', () => {
+        const path = (0, profile_bridge_1.findTranslationPath)('S4', 'intuitionistic');
+        (0, vitest_1.expect)(path).toBeNull();
+    });
+});
+// ── translateFormula (API de alto nivel) ──────────────────────
+(0, vitest_1.describe)('translateFormula — traducción de alto nivel', () => {
+    (0, vitest_1.it)('traduce átomo intuicionista → clásico (Glivenko)', () => {
+        const result = (0, profile_bridge_1.translateFormula)({ profile: 'intuitionistic', ast: atom('P') }, 'classical');
+        (0, vitest_1.expect)(result).not.toBeNull();
+        (0, vitest_1.expect)(result.profile).toBe('classical');
+        // resultado es ¬¬P
+        (0, vitest_1.expect)(result.ast.kind).toBe('not');
+    });
+    (0, vitest_1.it)('traduce átomo clásico → S4 (Gödel)', () => {
+        const result = (0, profile_bridge_1.translateFormula)({ profile: 'classical', ast: atom('P') }, 'S4');
+        (0, vitest_1.expect)(result).not.toBeNull();
+        (0, vitest_1.expect)(result.profile).toBe('S4');
+        (0, vitest_1.expect)(result.ast.kind).toBe('modal_necessity');
+    });
+    (0, vitest_1.it)('traduce fórmula LTL → CTL', () => {
+        const f = ltlF(ltlAtom('goal'));
+        const result = (0, profile_bridge_1.translateFormula)({ profile: 'LTL', ast: f }, 'CTL');
+        (0, vitest_1.expect)(result).not.toBeNull();
+        (0, vitest_1.expect)(result.profile).toBe('CTL');
+        (0, vitest_1.expect)(result.ast.kind).toBe('EF');
+    });
+    (0, vitest_1.it)('devuelve null si no hay ruta disponible', () => {
+        const result = (0, profile_bridge_1.translateFormula)({ profile: 'S4', ast: atom('X') }, 'fuzzy');
+        (0, vitest_1.expect)(result).toBeNull();
+    });
+    (0, vitest_1.it)('mismo perfil → devuelve fórmula sin modificar', () => {
+        const f = atom('P');
+        const result = (0, profile_bridge_1.translateFormula)({ profile: 'classical', ast: f }, 'classical');
+        (0, vitest_1.expect)(result).not.toBeNull();
+        (0, vitest_1.expect)(result.ast).toBe(f);
+    });
+});
+// ── TRANSLATIONS registro ─────────────────────────────────────
+(0, vitest_1.describe)('TRANSLATIONS — estructura del registro', () => {
+    (0, vitest_1.it)('contiene al menos 5 traducciones registradas', () => {
+        (0, vitest_1.expect)(profile_bridge_1.TRANSLATIONS.length).toBeGreaterThanOrEqual(5);
+    });
+    (0, vitest_1.it)('todas las entradas tienen source, target, translate y validity', () => {
+        for (const t of profile_bridge_1.TRANSLATIONS) {
+            (0, vitest_1.expect)(t.source).toBeTruthy();
+            (0, vitest_1.expect)(t.target).toBeTruthy();
+            (0, vitest_1.expect)(typeof t.translate).toBe('function');
+            (0, vitest_1.expect)(['preserved', 'one-way', 'partial']).toContain(t.validity);
+        }
+    });
+    (0, vitest_1.it)('intuitionistic→classical está marcada como preserved', () => {
+        const t = profile_bridge_1.TRANSLATIONS.find((x) => x.source === 'intuitionistic' && x.target === 'classical');
+        (0, vitest_1.expect)(t).toBeDefined();
+        (0, vitest_1.expect)(t.validity).toBe('preserved');
+    });
+    (0, vitest_1.it)('CTL→LTL está marcada como partial', () => {
+        const t = profile_bridge_1.TRANSLATIONS.find((x) => x.source === 'CTL' && x.target === 'LTL');
+        (0, vitest_1.expect)(t).toBeDefined();
+        (0, vitest_1.expect)(t.validity).toBe('partial');
+    });
+    (0, vitest_1.it)('LTL→CTL está marcada como one-way', () => {
+        const t = profile_bridge_1.TRANSLATIONS.find((x) => x.source === 'LTL' && x.target === 'CTL');
+        (0, vitest_1.expect)(t).toBeDefined();
+        (0, vitest_1.expect)(t.validity).toBe('one-way');
+    });
+});
+//# sourceMappingURL=translations.test.js.map

package/dist/tests/profile-bridge/translations.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"translations.test.js","sourceRoot":"","sources":["../../../src/tests/profile-bridge/translations.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,4BAA4B;AAC5B,+DAA+D;AAC/D,qEAAqE;AACrE,sEAAsE;AACtE,+DAA+D;;AAE/D,mCAA8C;AAC9C,yDAQ8B;AAK9B,gEAAgE;AAEhE,MAAM,IAAI,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;AACjE,MAAM,GAAG,GAAG,CAAC,GAAG,IAAe,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AACrE,MAAM,GAAG,GAAG,CAAC,GAAG,IAAe,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AACrE,MAAM,OAAO,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AACzF,MAAM,GAAG,GAAG,CAAC,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AAE9E,MAAM,OAAO,GAAG,CAAC,IAAY,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;AACvE,MAAM,MAAM,GAAG,CAAC,GAAe,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;AACvE,MAAM,MAAM,GAAG,CAAC,GAAG,IAAkB,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AAC9E,MAAM,KAAK,GAAG,CAAC,GAAG,IAAkB,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;AAC5E,MAAM,IAAI,GAAG,CAAC,GAAe,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AACnE,MAAM,IAAI,GAAG,CAAC,GAAe,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AACnE,MAAM,IAAI,GAAG,CAAC,GAAe,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AACnE,MAAM,IAAI,GAAG,CAAC,CAAa,EAAE,CAAa,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;AAC9F,MAAM,IAAI,GAAG,CAAC,CAAa,EAAE,CAAa,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;AAE9F,MAAM,OAAO,GAAG,CAAC,IAAY,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;AACvE,MAAM,MAAM,GAAG,CAAC,GAAe,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;AACvE,MAAM,KAAK,GAAG,CAAC,GAAe,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AACrE,MAAM,KAAK,GAAG,CAAC,GAAe,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AACrE,MAAM,KAAK,GAAG,CAAC,GAAe,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AACrE,MAAM,KAAK,GAAG,CAAC,CAAa,EAAE,CAAa,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;AAEhG,iEAAiE;AAEjE,IAAA,iBAAQ,EAAC,wDAAwD,EAAE,GAAG,EAAE;IACtE,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,MAAM,GAAG,IAAA,oCAAmB,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9C,gBAAgB;QAChB,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChC,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,MAAM,GAAG,IAAA,oCAAmB,EAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACnD,+BAA+B;QAC/B,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChC,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/B,oCAAoC;QACpC,IAAA,eAAM,EAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,MAAM,GAAG,IAAA,oCAAmB,EAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAClE,4BAA4B;QAC5B,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChC,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,MAAM,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,MAAM,MAAM,GAAG,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QACjC,8CAA8C;QAC9C,IAAA,eAAM,EAAC,MAAM,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,MAAM,GAAG,IAAA,oCAAmB,EAAC,EAAE,IAAI,EAAE,MAAM,EAAa,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,MAAM,GAAG,IAAA,oCAAmB,EAAC,EAAE,IAAI,EAAE,OAAO,EAAa,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,MAAM,GAAG,IAAA,oCAAmB,EAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChC,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChC,MAAM,OAAO,GAAG,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,OAAO,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,OAAO,EAAE,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACtC,qBAAqB;QACrB,IAAA,eAAM,EAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,sDAAsD,EAAE,GAAG,EAAE;IACpE,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,MAAM,GAAG,IAAA,iCAAgB,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,MAAM,GAAG,IAAA,iCAAgB,EAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAChD,cAAc;QACd,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QAC5C,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChC,MAAM,WAAW,GAAG,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,WAAW,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,MAAM,GAAG,IAAA,iCAAgB,EAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QAC5C,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACpC,4BAA4B;QAC5B,IAAA,eAAM,EAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,MAAM,GAAG,IAAA,iCAAgB,EAAC,EAAE,IAAI,EAAE,MAAM,EAAa,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,MAAM,GAAG,IAAA,iCAAgB,EAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3D,kCAAkC;QAClC,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,IAAA,WAAE,EAAC,YAAY,EAAE,GAAG,EAAE;QACpB,MAAM,MAAM,GAAG,IAAA,yBAAQ,EAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/B,MAAM,KAAK,GAAG,MAAyC,CAAC;QACxD,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,YAAY,EAAE,GAAG,EAAE;QACpB,MAAM,MAAM,GAAG,IAAA,yBAAQ,EAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,YAAY,EAAE,GAAG,EAAE;QACpB,MAAM,MAAM,GAAG,IAAA,yBAAQ,EAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,MAAM,MAAM,GAAG,IAAA,yBAAQ,EAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,MAAM,GAAG,IAAA,yBAAQ,EAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC1D,cAAc;QACd,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChC,MAAM,KAAK,GAAG,MAA0C,CAAC;QACzD,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC9D,MAAM,MAAM,GAAG,IAAA,yBAAQ,EAAC,IAAI,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChC,MAAM,CAAC,GAAG,MAA6C,CAAC;QACxD,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,2CAA2C,EAAE,GAAG,EAAE;IACzD,IAAA,WAAE,EAAC,YAAY,EAAE,GAAG,EAAE;QACpB,MAAM,MAAM,GAAG,IAAA,yBAAQ,EAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,MAAM,GAAG,IAAA,yBAAQ,EAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,YAAY,EAAE,GAAG,EAAE;QACpB,MAAM,MAAM,GAAG,IAAA,yBAAQ,EAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,MAAM,MAAM,GAAG,IAAA,yBAAQ,EAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iEAAiE;AAEjE,IAAA,iBAAQ,EAAC,uDAAuD,EAAE,GAAG,EAAE;IACrE,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,IAAI,GAAG,IAAA,oCAAmB,EAAC,gBAAgB,EAAE,WAAW,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,gBAAgB,EAAE,WAAW,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,IAAI,GAAG,IAAA,oCAAmB,EAAC,gBAAgB,EAAE,IAAI,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC5B,IAAA,eAAM,EAAC,IAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAK,CAAC,IAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,IAAI,GAAG,IAAA,oCAAmB,EAAC,WAAW,EAAE,IAAI,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,IAAI,GAAG,IAAA,oCAAmB,EAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,IAAA,eAAM,EAAC,IAAA,oCAAmB,EAAC,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;QAC7E,IAAA,eAAM,EAAC,IAAA,oCAAmB,EAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,IAAI,GAAG,IAAA,oCAAmB,EAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC1B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iEAAiE;AAEjE,IAAA,iBAAQ,EAAC,6CAA6C,EAAE,GAAG,EAAE;IAC3D,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,MAAM,GAAG,IAAA,iCAAgB,EAAC,EAAE,OAAO,EAAE,gBAAgB,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;QAC5F,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC9B,IAAA,eAAM,EAAC,MAAO,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC1C,mBAAmB;QACnB,IAAA,eAAM,EAAE,MAAO,CAAC,GAAe,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,MAAM,GAAG,IAAA,iCAAgB,EAAC,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAChF,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC9B,IAAA,eAAM,EAAC,MAAO,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAE,MAAO,CAAC,GAAe,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,CAAC,GAAe,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;QAC5C,MAAM,MAAM,GAAG,IAAA,iCAAgB,EAAC,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QACnE,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC9B,IAAA,eAAM,EAAC,MAAO,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpC,IAAA,eAAM,EAAE,MAAO,CAAC,GAAkB,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,MAAM,GAAG,IAAA,iCAAgB,EAAC,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;QAC5E,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,MAAM,MAAM,GAAG,IAAA,iCAAgB,EAAC,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;QAC/E,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC9B,IAAA,eAAM,EAAC,MAAO,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iEAAiE;AAEjE,IAAA,iBAAQ,EAAC,wCAAwC,EAAE,GAAG,EAAE;IACtD,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,IAAA,eAAM,EAAC,6BAAY,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,KAAK,MAAM,CAAC,IAAI,6BAAY,EAAE,CAAC;YAC7B,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,CAAC;YAC9B,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,CAAC;YAC9B,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC5C,IAAA,eAAM,EAAC,CAAC,WAAW,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACpE,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,CAAC,GAAG,6BAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,gBAAgB,IAAI,CAAC,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC;QAC9F,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;QACxB,IAAA,eAAM,EAAC,CAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG,6BAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,KAAK,IAAI,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC,CAAC;QAC7E,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;QACxB,IAAA,eAAM,EAAC,CAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG,6BAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,KAAK,IAAI,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC,CAAC;QAC7E,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;QACxB,IAAA,eAAM,EAAC,CAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/proof-nets/proof-nets.test.d.ts

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

package/dist/tests/proof-nets/proof-nets.test.d.ts.map

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