@stevenvo780/st-lang 4.7.0 → 4.9.0

package/dist/tests/logic/profiles/quantum/quantum.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"quantum.test.js","sourceRoot":"","sources":["../../../../../src/tests/logic/profiles/quantum/quantum.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,gEAwB4C;AAE5C,IAAA,iBAAQ,EAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,EAAE,GAAG,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,EAAE,GAAG,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,IAAA,aAAG,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,cAAI,EAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAG,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtB,MAAM,CAAC,GAAG,IAAA,mBAAS,EAAC,CAAC,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,IAAA,cAAI,EAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,mBAAS,EAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,IAAA,eAAM,EAAC,IAAA,sBAAY,EAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,IAAA,sBAAY,EAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,KAAK,GAAG,IAAA,0BAAgB,EAAC,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjF,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,KAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC9B,KAAK,MAAM,CAAC,IAAI,KAAM;YAAE,IAAA,eAAM,EAAC,IAAA,cAAI,EAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC1D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAM,CAAC,MAAM,EAAE,CAAC,EAAE;YACpC,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAM,CAAC,MAAM,EAAE,CAAC,EAAE;gBACxC,IAAA,eAAM,EAAC,IAAA,aAAG,EAAC,KAAM,CAAC,CAAC,CAAC,EAAE,KAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,KAAK,GAAG,IAAA,0BAAgB,EAAC,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjF,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,KAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG,IAAA,cAAI,EAAC,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAG,IAAA,cAAI,EAAC,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,KAAK,GAAG,IAAA,cAAI,EAAC,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACrD,MAAM,KAAK,GAAG,IAAA,cAAI,EAAC,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,KAAK,GAAG,IAAA,cAAI,EAAC,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,IAAA,qBAAW,EAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAA,qBAAW,EAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,EAAE,GAAG,IAAA,cAAI,EAAC,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClD,MAAM,CAAC,GAAG,IAAA,cAAI,EAAC,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,CAAC,GAAG,IAAA,cAAI,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,EAAE,GAAG,IAAA,cAAI,EAAC,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClD,MAAM,EAAE,GAAG,IAAA,cAAI,EAAC,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClD,MAAM,CAAC,GAAG,IAAA,cAAI,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,KAAK,GAAG,IAAA,cAAI,EAAC,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,IAAA,wBAAc,EAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,CAAC,GAAG,IAAA,cAAI,EAAC,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,CAAC,GAAG,IAAA,cAAI,EAAC,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,CAAC,GAAG,IAAA,cAAI,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACrB,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,EAAE,GAAG,IAAA,cAAI,EAAC,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAClC,MAAM,IAAI,GAAG,IAAA,yBAAe,EAAC,EAAE,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,wBAAc,EAAC,IAAI,EAAE,IAAA,cAAI,EAAC,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,CAAC,GAAG,IAAA,cAAI,EAAC,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjD,MAAM,SAAS,GAAG,IAAA,yBAAe,EAAC,IAAA,yBAAe,EAAC,CAAC,CAAC,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,IAAA,wBAAc,EAAC,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,IAAA,sBAAY,EAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,CAAC,GAAG,IAAA,qBAAW,EAAC,CAAC,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,IAAA,wBAAc,EAAC,IAAA,yBAAe,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,IAAA,wBAAc,EAAC,IAAA,yBAAe,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,2DAA2D,EAAE,GAAG,EAAE;IACzE,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAG,IAAA,4BAAkB,EAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,+DAA+D;QAC/D,gEAAgE;QAChE,+DAA+D;QAC/D,MAAM,CAAC,GAAG,IAAA,4BAAkB,EAAC,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,GAAG,IAAA,cAAI,EAAC,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACjC,MAAM,CAAC,GAAG,IAAA,cAAI,EAAC,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACjC,MAAM,CAAC,GAAG,IAAA,cAAI,EAAC,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACjC,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,wBAAc,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2EAA2E,EAAE,GAAG,EAAE;QACnF,MAAM,CAAC,GAAG,IAAA,4BAAkB,EAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,wBAAc,EAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,MAAM,CAAC,GAAG,IAAA,4BAAkB,EAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,wBAAc,EAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,CAAC,GAAG,IAAA,4BAAkB,EAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,mBAAS,EAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,CAAC,GAAG,IAAA,4BAAkB,EAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,wBAAc,EAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kFAAkF,EAAE,GAAG,EAAE;QAC1F,MAAM,CAAC,GAAG,IAAA,4BAAkB,EAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,mBAAS,EAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,wBAAc,EAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,CAAC,GAAG,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3D,MAAM,OAAO,GAAG,IAAA,+BAAqB,EAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,CAAC,GAAG,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3D,MAAM,OAAO,GAAG,IAAA,+BAAqB,EAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,uBAAa,EAAC,EAAE,OAAO,EAAE,CAAC,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qFAAqF,EAAE,GAAG,EAAE;QAC7F,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,CAAC,GAAG,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5F,MAAM,OAAO,GAAG,IAAA,+BAAqB,EAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,IAAA,uBAAa,EAAC,EAAE,OAAO,EAAE,CAAC,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,2DAA2D;QAC3D,sDAAsD;QACtD,MAAM,CAAC,GAAG,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,aAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3D,MAAM,GAAG,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAoC,EAAE,CAAC;QACzF,IAAA,eAAM,EAAC,IAAA,uBAAa,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,MAAM,GAAG,GAAG,IAAA,gCAAsB,GAAE,CAAC;QACrC,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QAC1D,6BAA6B;QAC7B,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,OAAO;YAAE,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,IAAA,gCAAsB,GAAE,CAAC;QACvD,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,KAAK,MAAM,CAAC,IAAI,OAAO;YAAE,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzD,kDAAkD;QAClD,MAAM,UAAU,GAAG,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrD,KAAK,MAAM,GAAG,IAAI,QAAQ;YAAE,KAAK,MAAM,CAAC,IAAI,GAAG;gBAAE,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;QACjE,IAAA,eAAM,EAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,IAAA,gCAAsB,GAAE,CAAC;QACvD,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;YAC3B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACpC,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACxC,MAAM,CAAC,GAAG,IAAA,aAAG,EAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;oBAChD,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBAC9B,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,IAAA,gCAAsB,GAAE,CAAC;QACvD,IAAA,eAAM,EAAC,IAAA,+BAAqB,EAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iGAAiG,EAAE,GAAG,EAAE;QACzG,0DAA0D;QAC1D,MAAM,EAAE,QAAQ,EAAE,GAAG,IAAA,gCAAsB,GAAE,CAAC;QAC9C,IAAA,eAAM,EAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa;QAClD,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ;QAChC,IAAA,eAAM,EAAC,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,kCAAkC;IACrE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/proof-systems/certificate/certificate.test.d.ts

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

package/dist/tests/proof-systems/certificate/certificate.test.d.ts.map

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

package/dist/tests/proof-systems/certificate/certificate.test.js

@@ -0,0 +1,449 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const certificate_1 = require("../../../proof-systems/certificate");
+// --- Fixtures ---
+function makeModusPonensSteps() {
+    return [
+        { id: 's1', rule: 'axiom', args: ['p'], conclusion: 'p', depends: [] },
+        { id: 's2', rule: 'axiom', args: ['p -> q'], conclusion: 'p -> q', depends: [] },
+        { id: 's3', rule: 'modus-ponens', args: ['s2', 's1'], conclusion: 'q', depends: ['s2', 's1'] },
+    ];
+}
+async function makeValidCertificate() {
+    return (0, certificate_1.generateCertificate)({
+        goal: 'q',
+        steps: makeModusPonensSteps(),
+        profile: 'classical.propositional',
+        axioms: ['p', 'p -> q'],
+    });
+}
+// --- 1. canonicalize ---
+(0, vitest_1.describe)('canonicalize', () => {
+    (0, vitest_1.it)('es idempotente: canonicalize(parse(canonicalize(x))) ≡ canonicalize(x)', async () => {
+        const cert = await makeValidCertificate();
+        const a = (0, certificate_1.canonicalize)(cert);
+        const b = (0, certificate_1.canonicalize)({ ...cert });
+        (0, vitest_1.expect)(a).toBe(b);
+    });
+    (0, vitest_1.it)('ignora orden de claves en input', async () => {
+        const cert = await makeValidCertificate();
+        const reordered = {
+            steps: cert.steps,
+            profile: cert.profile,
+            version: cert.version,
+            axioms: cert.axioms,
+            goal: cert.goal,
+        };
+        (0, vitest_1.expect)((0, certificate_1.canonicalize)(cert)).toBe((0, certificate_1.canonicalize)(reordered));
+    });
+    (0, vitest_1.it)('normaliza whitespace en fórmulas', () => {
+        (0, vitest_1.expect)((0, certificate_1.normalizeFormula)('  p  ->   q ')).toBe('p -> q');
+        (0, vitest_1.expect)((0, certificate_1.normalizeFormula)('a\t&\nb')).toBe('a & b');
+    });
+});
+// --- 2. hashCertificate ---
+(0, vitest_1.describe)('hashCertificate', () => {
+    (0, vitest_1.it)('es determinístico para el mismo certificado', async () => {
+        const cert = await makeValidCertificate();
+        const h1 = await (0, certificate_1.hashCertificate)(cert);
+        const h2 = await (0, certificate_1.hashCertificate)(cert);
+        (0, vitest_1.expect)(h1).toBe(h2);
+        (0, vitest_1.expect)(h1).toMatch(/^[0-9a-f]{64}$/);
+    });
+    (0, vitest_1.it)('cambia si alteramos un step', async () => {
+        const cert = await makeValidCertificate();
+        const h1 = await (0, certificate_1.hashCertificate)(cert);
+        const tampered = {
+            ...cert,
+            steps: cert.steps.map((s, i) => (i === 2 ? { ...s, conclusion: 'r' } : s)),
+        };
+        const h2 = await (0, certificate_1.hashCertificate)(tampered);
+        (0, vitest_1.expect)(h1).not.toBe(h2);
+    });
+});
+// --- 3. generateCertificate from Proof ---
+(0, vitest_1.describe)('generateCertificate', () => {
+    (0, vitest_1.it)('genera desde un Proof MP con steps correctos', async () => {
+        const proof = {
+            goal: { kind: 'atom', name: 'q' },
+            steps: [
+                {
+                    stepNumber: 1,
+                    formula: { kind: 'atom', name: 'p' },
+                    justification: 'premise',
+                    premises: [],
+                    source: 'premise',
+                },
+                {
+                    stepNumber: 2,
+                    formula: {
+                        kind: 'implies',
+                        args: [
+                            { kind: 'atom', name: 'p' },
+                            { kind: 'atom', name: 'q' },
+                        ],
+                    },
+                    justification: 'premise',
+                    premises: [],
+                    source: 'premise',
+                },
+                {
+                    stepNumber: 3,
+                    formula: { kind: 'atom', name: 'q' },
+                    justification: 'MP 2,1',
+                    premises: [2, 1],
+                    source: 'rule',
+                },
+            ],
+            status: 'complete',
+            method: 'natural_deduction',
+        };
+        const cert = await (0, certificate_1.generateCertificate)(proof, {
+            profile: 'classical.propositional',
+            axioms: ['p', 'p -> q'],
+        });
+        (0, vitest_1.expect)(cert.version).toBe('1.0');
+        (0, vitest_1.expect)(cert.goal).toBe('q');
+        (0, vitest_1.expect)(cert.steps).toHaveLength(3);
+        (0, vitest_1.expect)(cert.steps[2].rule).toBe('modus-ponens');
+        (0, vitest_1.expect)(cert.steps[2].depends).toEqual(['s2', 's1']);
+        (0, vitest_1.expect)(cert.hash).toMatch(/^[0-9a-f]{64}$/);
+    });
+    (0, vitest_1.it)('preserva opts.profile y opts.axioms', async () => {
+        const cert = await makeValidCertificate();
+        (0, vitest_1.expect)(cert.profile).toBe('classical.propositional');
+        (0, vitest_1.expect)(cert.axioms).toEqual(['p', 'p -> q']);
+    });
+});
+// --- 4. verifyCertificate happy path ---
+(0, vitest_1.describe)('verifyCertificate', () => {
+    (0, vitest_1.it)('valida un certificado MP correcto', async () => {
+        const cert = await makeValidCertificate();
+        const result = await (0, certificate_1.verifyCertificate)(cert);
+        (0, vitest_1.expect)(result.valid).toBe(true);
+        (0, vitest_1.expect)(result.errors).toEqual([]);
+        (0, vitest_1.expect)(result.stepsVerified).toBe(3);
+        (0, vitest_1.expect)(result.totalSteps).toBe(3);
+    });
+    (0, vitest_1.it)('valida certificado con and-intro + and-elim', async () => {
+        const steps = [
+            { id: 's1', rule: 'axiom', args: ['p'], conclusion: 'p', depends: [] },
+            { id: 's2', rule: 'axiom', args: ['q'], conclusion: 'q', depends: [] },
+            {
+                id: 's3',
+                rule: 'and-intro',
+                args: ['s1', 's2'],
+                conclusion: 'p & q',
+                depends: ['s1', 's2'],
+            },
+            { id: 's4', rule: 'and-elim-left', args: ['s3'], conclusion: 'p', depends: ['s3'] },
+        ];
+        const cert = await (0, certificate_1.generateCertificate)({
+            goal: 'p',
+            steps,
+            profile: 'classical.propositional',
+            axioms: ['p', 'q'],
+        });
+        const r = await (0, certificate_1.verifyCertificate)(cert);
+        (0, vitest_1.expect)(r.valid).toBe(true);
+        (0, vitest_1.expect)(r.stepsVerified).toBe(4);
+    });
+    (0, vitest_1.it)('valida or-intro-left con args declarando la otra rama', async () => {
+        const steps = [
+            { id: 's1', rule: 'axiom', args: ['p'], conclusion: 'p', depends: [] },
+            { id: 's2', rule: 'or-intro-left', args: ['q'], conclusion: 'p | q', depends: ['s1'] },
+        ];
+        const cert = await (0, certificate_1.generateCertificate)({
+            goal: 'p | q',
+            steps,
+            profile: 'classical.propositional',
+            axioms: ['p'],
+        });
+        const r = await (0, certificate_1.verifyCertificate)(cert);
+        (0, vitest_1.expect)(r.valid).toBe(true);
+    });
+    (0, vitest_1.it)('valida implies-intro descargando hipótesis', async () => {
+        const steps = [
+            { id: 's1', rule: 'assumption', args: ['p'], conclusion: 'p', depends: [] },
+            {
+                id: 's2',
+                rule: 'implies-intro',
+                args: ['p'],
+                conclusion: 'p -> p',
+                depends: ['s1'],
+            },
+        ];
+        const cert = await (0, certificate_1.generateCertificate)({
+            goal: 'p -> p',
+            steps,
+            profile: 'classical.propositional',
+            axioms: [],
+        });
+        const r = await (0, certificate_1.verifyCertificate)(cert);
+        (0, vitest_1.expect)(r.valid).toBe(true);
+    });
+});
+// --- 5. verifyCertificate error paths ---
+(0, vitest_1.describe)('verifyCertificate detecta errores', () => {
+    (0, vitest_1.it)('detecta paso con conclusión no derivable por su regla', async () => {
+        const steps = makeModusPonensSteps();
+        // s3 produce conclusión incorrecta
+        steps[2] = { ...steps[2], conclusion: 'r' };
+        const cert = await (0, certificate_1.generateCertificate)({
+            goal: 'r',
+            steps,
+            profile: 'classical.propositional',
+            axioms: ['p', 'p -> q'],
+        });
+        const r = await (0, certificate_1.verifyCertificate)(cert);
+        (0, vitest_1.expect)(r.valid).toBe(false);
+        (0, vitest_1.expect)(r.errors.some((e) => e.includes('does not justify'))).toBe(true);
+    });
+    (0, vitest_1.it)('detecta dependencia faltante', async () => {
+        const steps = [
+            { id: 's1', rule: 'axiom', args: ['p'], conclusion: 'p', depends: [] },
+            {
+                id: 's2',
+                rule: 'modus-ponens',
+                args: ['s_missing', 's1'],
+                conclusion: 'q',
+                depends: ['s_missing', 's1'],
+            },
+        ];
+        const cert = await (0, certificate_1.generateCertificate)({
+            goal: 'q',
+            steps,
+            profile: 'classical.propositional',
+            axioms: [],
+        });
+        const r = await (0, certificate_1.verifyCertificate)(cert);
+        (0, vitest_1.expect)(r.valid).toBe(false);
+        (0, vitest_1.expect)(r.errors.some((e) => e.includes('missing step'))).toBe(true);
+    });
+    (0, vitest_1.it)('detecta ciclo en depends', async () => {
+        const steps = [
+            // ciclo artificial s1 -> s2 -> s1
+            { id: 's1', rule: 'modus-ponens', args: ['s2'], conclusion: 'q', depends: ['s2'] },
+            { id: 's2', rule: 'modus-ponens', args: ['s1'], conclusion: 'r', depends: ['s1'] },
+        ];
+        // Generamos hash manualmente (no usamos generateCertificate porque podría rechazar).
+        const payload = {
+            version: '1.0',
+            goal: 'q',
+            profile: 'test',
+            axioms: [],
+            steps,
+        };
+        const hash = await (0, certificate_1.hashCertificate)(payload);
+        const cert = { ...payload, hash };
+        const r = await (0, certificate_1.verifyCertificate)(cert);
+        (0, vitest_1.expect)(r.valid).toBe(false);
+        (0, vitest_1.expect)(r.errors.some((e) => e.includes('cycle detected'))).toBe(true);
+    });
+    (0, vitest_1.it)('detecta hash mismatch (tamper)', async () => {
+        const cert = await makeValidCertificate();
+        const tampered = {
+            ...cert,
+            steps: cert.steps.map((s, i) => (i === 0 ? { ...s, conclusion: 'r' } : s)),
+        };
+        // hash NO se actualiza adrede
+        const r = await (0, certificate_1.verifyCertificate)(tampered);
+        (0, vitest_1.expect)(r.valid).toBe(false);
+        (0, vitest_1.expect)(r.errors.some((e) => e.includes('hash mismatch'))).toBe(true);
+    });
+    (0, vitest_1.it)('detecta regla desconocida', async () => {
+        const cert = await makeValidCertificate();
+        const broken = {
+            ...cert,
+            steps: cert.steps.map((s, i) => (i === 2 ? { ...s, rule: 'frobnicate' } : s)),
+        };
+        broken.hash = await (0, certificate_1.hashCertificate)(broken);
+        const r = await (0, certificate_1.verifyCertificate)(broken);
+        (0, vitest_1.expect)(r.valid).toBe(false);
+        (0, vitest_1.expect)(r.errors.some((e) => e.includes('unknown rule'))).toBe(true);
+    });
+    (0, vitest_1.it)('detecta goal ausente como conclusión', async () => {
+        const cert = await makeValidCertificate();
+        const wrongGoal = { ...cert, goal: 'never_derived' };
+        wrongGoal.hash = await (0, certificate_1.hashCertificate)(wrongGoal);
+        const r = await (0, certificate_1.verifyCertificate)(wrongGoal);
+        (0, vitest_1.expect)(r.valid).toBe(false);
+        (0, vitest_1.expect)(r.errors.some((e) => e.includes('goal'))).toBe(true);
+    });
+    (0, vitest_1.it)('detecta referencia fuera de orden topológico', async () => {
+        const steps = [
+            // s1 depende de s2 que aparece después → out-of-order
+            {
+                id: 's1',
+                rule: 'modus-ponens',
+                args: ['s2', 's0'],
+                conclusion: 'q',
+                depends: ['s2', 's0'],
+            },
+            { id: 's0', rule: 'axiom', args: ['p'], conclusion: 'p', depends: [] },
+            { id: 's2', rule: 'axiom', args: ['p -> q'], conclusion: 'p -> q', depends: [] },
+        ];
+        const payload = {
+            version: '1.0',
+            goal: 'q',
+            profile: 'classical.propositional',
+            axioms: [],
+            steps,
+        };
+        const hash = await (0, certificate_1.hashCertificate)(payload);
+        const cert = { ...payload, hash };
+        const r = await (0, certificate_1.verifyCertificate)(cert);
+        (0, vitest_1.expect)(r.valid).toBe(false);
+        (0, vitest_1.expect)(r.errors.some((e) => e.includes('out of topological order'))).toBe(true);
+    });
+});
+// --- 6. LFSC import/export round-trip ---
+(0, vitest_1.describe)('LFSC export/import', () => {
+    (0, vitest_1.it)('exporta un certificado válido a S-expression', async () => {
+        const cert = await makeValidCertificate();
+        const sexp = (0, certificate_1.exportLFSC)(cert);
+        (0, vitest_1.expect)(sexp).toMatch(/^\(proof/);
+        (0, vitest_1.expect)(sexp).toContain(':version "1.0"');
+        (0, vitest_1.expect)(sexp).toContain(':goal "q"');
+        (0, vitest_1.expect)(sexp).toContain('(step :id s1 :rule axiom');
+        (0, vitest_1.expect)(sexp).toMatch(/\)$/);
+    });
+    (0, vitest_1.it)('round-trip export → import preserva la estructura', async () => {
+        const cert = await makeValidCertificate();
+        const sexp = (0, certificate_1.exportLFSC)(cert);
+        const result = (0, certificate_1.importLFSC)(sexp);
+        (0, vitest_1.expect)('error' in result).toBe(false);
+        if ('error' in result)
+            return;
+        (0, vitest_1.expect)(result.version).toBe(cert.version);
+        (0, vitest_1.expect)(result.goal).toBe(cert.goal);
+        (0, vitest_1.expect)(result.profile).toBe(cert.profile);
+        (0, vitest_1.expect)(result.axioms).toEqual(cert.axioms);
+        (0, vitest_1.expect)(result.steps).toEqual(cert.steps);
+        (0, vitest_1.expect)(result.hash).toBe(cert.hash);
+    });
+    (0, vitest_1.it)('round-trip preserva firma cuando está presente', async () => {
+        const cert = await makeValidCertificate();
+        const kp = await (0, certificate_1.generateCertificateKeyPair)();
+        const sig = await (0, certificate_1.signCertificate)(cert, kp.privateKey, kp.publicKeyHex);
+        const signedCert = { ...cert, signature: sig };
+        const sexp = (0, certificate_1.exportLFSC)(signedCert);
+        const parsed = (0, certificate_1.importLFSC)(sexp);
+        if ('error' in parsed) {
+            throw new Error('parse failed: ' + parsed.error);
+        }
+        (0, vitest_1.expect)(parsed.signature).toBeDefined();
+        (0, vitest_1.expect)(parsed.signature?.algorithm).toBe(sig.algorithm);
+        (0, vitest_1.expect)(parsed.signature?.publicKey).toBe(sig.publicKey);
+        (0, vitest_1.expect)(parsed.signature?.signature).toBe(sig.signature);
+    });
+    (0, vitest_1.it)('importLFSC retorna error con input malformado', () => {
+        const r = (0, certificate_1.importLFSC)('(garbage stuff');
+        (0, vitest_1.expect)('error' in r).toBe(true);
+    });
+    (0, vitest_1.it)('importLFSC verifica versión soportada', () => {
+        const r = (0, certificate_1.importLFSC)('(proof :version "9.9" :goal "p" :profile "x" :axioms ( ) :steps ( ) :hash "00")');
+        (0, vitest_1.expect)('error' in r).toBe(true);
+    });
+    (0, vitest_1.it)('certificado importado pasa verificación', async () => {
+        const cert = await makeValidCertificate();
+        const sexp = (0, certificate_1.exportLFSC)(cert);
+        const reimported = (0, certificate_1.importLFSC)(sexp);
+        if ('error' in reimported)
+            throw new Error(reimported.error);
+        const r = await (0, certificate_1.verifyCertificate)(reimported);
+        (0, vitest_1.expect)(r.valid).toBe(true);
+    });
+});
+// --- 7. Sign + verify ---
+(0, vitest_1.describe)('signCertificate + verifyCertificateSignature', () => {
+    (0, vitest_1.it)('firma con Ed25519 y verifica correctamente', async () => {
+        const cert = await makeValidCertificate();
+        const kp = await (0, certificate_1.generateCertificateKeyPair)();
+        const sig = await (0, certificate_1.signCertificate)(cert, kp.privateKey, kp.publicKeyHex);
+        const signed = { ...cert, signature: sig };
+        (0, vitest_1.expect)(sig.algorithm === 'Ed25519' || sig.algorithm === 'HMAC-SHA256').toBe(true);
+        (0, vitest_1.expect)(await (0, certificate_1.verifyCertificateSignature)(signed)).toBe(true);
+    });
+    (0, vitest_1.it)('detecta tamper post-firma', async () => {
+        const cert = await makeValidCertificate();
+        const kp = await (0, certificate_1.generateCertificateKeyPair)();
+        const sig = await (0, certificate_1.signCertificate)(cert, kp.privateKey, kp.publicKeyHex);
+        const tampered = {
+            ...cert,
+            goal: 'r',
+            signature: sig,
+        };
+        (0, vitest_1.expect)(await (0, certificate_1.verifyCertificateSignature)(tampered)).toBe(false);
+    });
+    (0, vitest_1.it)('generateCertificate con opts.sign incluye firma válida', async () => {
+        const kp = await (0, certificate_1.generateCertificateKeyPair)();
+        const cert = await (0, certificate_1.generateCertificate)({
+            goal: 'q',
+            steps: makeModusPonensSteps(),
+            profile: 'classical.propositional',
+            axioms: ['p', 'p -> q'],
+        }, { sign: { privateKey: kp.privateKey, publicKey: kp.publicKeyHex } });
+        (0, vitest_1.expect)(cert.signature).toBeDefined();
+        (0, vitest_1.expect)(await (0, certificate_1.verifyCertificateSignature)(cert)).toBe(true);
+    });
+});
+// --- 8. Custom rule checkers ---
+(0, vitest_1.describe)('rules custom', () => {
+    (0, vitest_1.it)('verifyCertificate respeta rule checkers custom', async () => {
+        const steps = [
+            { id: 's1', rule: 'axiom', args: ['p'], conclusion: 'p', depends: [] },
+            { id: 's2', rule: 'magic', args: ['s1'], conclusion: 'magic(p)', depends: ['s1'] },
+        ];
+        const cert = await (0, certificate_1.generateCertificate)({
+            goal: 'magic(p)',
+            steps,
+            profile: 'custom',
+            axioms: ['p'],
+        });
+        // sin la regla custom → falla
+        const r1 = await (0, certificate_1.verifyCertificate)(cert);
+        (0, vitest_1.expect)(r1.valid).toBe(false);
+        // con la regla custom → pasa
+        const custom = new Map(certificate_1.STANDARD_RULES);
+        custom.set('magic', (_args, conclusion, premises) => {
+            return conclusion === 'magic(' + premises[0] + ')';
+        });
+        const r2 = await (0, certificate_1.verifyCertificate)(cert, custom);
+        (0, vitest_1.expect)(r2.valid).toBe(true);
+        (0, vitest_1.expect)(r2.stepsVerified).toBe(2);
+    });
+});
+// --- 9. STANDARD_RULES coverage ---
+(0, vitest_1.describe)('STANDARD_RULES catálogo', () => {
+    (0, vitest_1.it)('incluye reglas básicas de proposicional clásica', () => {
+        const required = [
+            'modus-ponens',
+            'modus-tollens',
+            'and-intro',
+            'and-elim-left',
+            'and-elim-right',
+            'or-intro-left',
+            'or-intro-right',
+            'or-elim',
+            'implies-intro',
+            'implies-elim',
+            'not-intro',
+            'not-elim',
+            'axiom',
+            'assumption',
+            'iff-intro',
+            'double-neg-elim',
+        ];
+        for (const r of required) {
+            (0, vitest_1.expect)(certificate_1.STANDARD_RULES.has(r)).toBe(true);
+        }
+    });
+    (0, vitest_1.it)('reconoce variantes ASCII y Unicode de notación', () => {
+        (0, vitest_1.expect)(certificate_1.STANDARD_RULES.get('mp')).toBe(certificate_1.STANDARD_RULES.get('modus-ponens'));
+        (0, vitest_1.expect)(certificate_1.STANDARD_RULES.get('->E')).toBe(certificate_1.STANDARD_RULES.get('modus-ponens'));
+        (0, vitest_1.expect)(certificate_1.STANDARD_RULES.get('&I')).toBe(certificate_1.STANDARD_RULES.get('and-intro'));
+    });
+});
+//# sourceMappingURL=certificate.test.js.map

package/dist/tests/proof-systems/certificate/certificate.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"certificate.test.js","sourceRoot":"","sources":["../../../../src/tests/proof-systems/certificate/certificate.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,oEAc4C;AAG5C,mBAAmB;AAEnB,SAAS,oBAAoB;IAC3B,OAAO;QACL,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE;QACtE,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE;QAChF,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE;KAC/F,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,oBAAoB;IACjC,OAAO,IAAA,iCAAmB,EAAC;QACzB,IAAI,EAAE,GAAG;QACT,KAAK,EAAE,oBAAoB,EAAE;QAC7B,OAAO,EAAE,yBAAyB;QAClC,MAAM,EAAE,CAAC,GAAG,EAAE,QAAQ,CAAC;KACxB,CAAC,CAAC;AACL,CAAC;AAED,0BAA0B;AAE1B,IAAA,iBAAQ,EAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,IAAA,WAAE,EAAC,wEAAwE,EAAE,KAAK,IAAI,EAAE;QACtF,MAAM,IAAI,GAAG,MAAM,oBAAoB,EAAE,CAAC;QAC1C,MAAM,CAAC,GAAG,IAAA,0BAAY,EAAC,IAAI,CAAC,CAAC;QAC7B,MAAM,CAAC,GAAG,IAAA,0BAAY,EAAC,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,KAAK,IAAI,EAAE;QAC/C,MAAM,IAAI,GAAG,MAAM,oBAAoB,EAAE,CAAC;QAC1C,MAAM,SAAS,GAAG;YAChB,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,IAAI,EAAE,IAAI,CAAC,IAAI;SAChB,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,0BAAY,EAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAA,0BAAY,EAAC,SAAS,CAAC,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,IAAA,eAAM,EAAC,IAAA,8BAAgB,EAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,IAAA,8BAAgB,EAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,6BAA6B;AAE7B,IAAA,iBAAQ,EAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,IAAA,WAAE,EAAC,6CAA6C,EAAE,KAAK,IAAI,EAAE;QAC3D,MAAM,IAAI,GAAG,MAAM,oBAAoB,EAAE,CAAC;QAC1C,MAAM,EAAE,GAAG,MAAM,IAAA,6BAAe,EAAC,IAAI,CAAC,CAAC;QACvC,MAAM,EAAE,GAAG,MAAM,IAAA,6BAAe,EAAC,IAAI,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACpB,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,KAAK,IAAI,EAAE;QAC3C,MAAM,IAAI,GAAG,MAAM,oBAAoB,EAAE,CAAC;QAC1C,MAAM,EAAE,GAAG,MAAM,IAAA,6BAAe,EAAC,IAAI,CAAC,CAAC;QACvC,MAAM,QAAQ,GAAG;YACf,GAAG,IAAI;YACP,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SAC3E,CAAC;QACF,MAAM,EAAE,GAAG,MAAM,IAAA,6BAAe,EAAC,QAAQ,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,4CAA4C;AAE5C,IAAA,iBAAQ,EAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,IAAA,WAAE,EAAC,8CAA8C,EAAE,KAAK,IAAI,EAAE;QAC5D,MAAM,KAAK,GAAU;YACnB,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE;YACjC,KAAK,EAAE;gBACL;oBACE,UAAU,EAAE,CAAC;oBACb,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE;oBACpC,aAAa,EAAE,SAAS;oBACxB,QAAQ,EAAE,EAAE;oBACZ,MAAM,EAAE,SAAS;iBAClB;gBACD;oBACE,UAAU,EAAE,CAAC;oBACb,OAAO,EAAE;wBACP,IAAI,EAAE,SAAS;wBACf,IAAI,EAAE;4BACJ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE;4BAC3B,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE;yBAC5B;qBACF;oBACD,aAAa,EAAE,SAAS;oBACxB,QAAQ,EAAE,EAAE;oBACZ,MAAM,EAAE,SAAS;iBAClB;gBACD;oBACE,UAAU,EAAE,CAAC;oBACb,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE;oBACpC,aAAa,EAAE,QAAQ;oBACvB,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;oBAChB,MAAM,EAAE,MAAM;iBACf;aACF;YACD,MAAM,EAAE,UAAU;YAClB,MAAM,EAAE,mBAAmB;SAC5B,CAAC;QACF,MAAM,IAAI,GAAG,MAAM,IAAA,iCAAmB,EAAC,KAAK,EAAE;YAC5C,OAAO,EAAE,yBAAyB;YAClC,MAAM,EAAE,CAAC,GAAG,EAAE,QAAQ,CAAC;SACxB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,KAAK,IAAI,EAAE;QACnD,MAAM,IAAI,GAAG,MAAM,oBAAoB,EAAE,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,0CAA0C;AAE1C,IAAA,iBAAQ,EAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,IAAA,WAAE,EAAC,mCAAmC,EAAE,KAAK,IAAI,EAAE;QACjD,MAAM,IAAI,GAAG,MAAM,oBAAoB,EAAE,CAAC;QAC1C,MAAM,MAAM,GAAG,MAAM,IAAA,+BAAiB,EAAC,IAAI,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,MAAM,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,MAAM,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,KAAK,IAAI,EAAE;QAC3D,MAAM,KAAK,GAAe;YACxB,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE;YACtE,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE;YACtE;gBACE,EAAE,EAAE,IAAI;gBACR,IAAI,EAAE,WAAW;gBACjB,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC;gBAClB,UAAU,EAAE,OAAO;gBACnB,OAAO,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC;aACtB;YACD,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE;SACpF,CAAC;QACF,MAAM,IAAI,GAAG,MAAM,IAAA,iCAAmB,EAAC;YACrC,IAAI,EAAE,GAAG;YACT,KAAK;YACL,OAAO,EAAE,yBAAyB;YAClC,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;SACnB,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,MAAM,IAAA,+BAAiB,EAAC,IAAI,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,KAAK,IAAI,EAAE;QACrE,MAAM,KAAK,GAAe;YACxB,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE;YACtE,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE;SACvF,CAAC;QACF,MAAM,IAAI,GAAG,MAAM,IAAA,iCAAmB,EAAC;YACrC,IAAI,EAAE,OAAO;YACb,KAAK;YACL,OAAO,EAAE,yBAAyB;YAClC,MAAM,EAAE,CAAC,GAAG,CAAC;SACd,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,MAAM,IAAA,+BAAiB,EAAC,IAAI,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,KAAK,IAAI,EAAE;QAC1D,MAAM,KAAK,GAAe;YACxB,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE;YAC3E;gBACE,EAAE,EAAE,IAAI;gBACR,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,CAAC,GAAG,CAAC;gBACX,UAAU,EAAE,QAAQ;gBACpB,OAAO,EAAE,CAAC,IAAI,CAAC;aAChB;SACF,CAAC;QACF,MAAM,IAAI,GAAG,MAAM,IAAA,iCAAmB,EAAC;YACrC,IAAI,EAAE,QAAQ;YACd,KAAK;YACL,OAAO,EAAE,yBAAyB;YAClC,MAAM,EAAE,EAAE;SACX,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,MAAM,IAAA,+BAAiB,EAAC,IAAI,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,2CAA2C;AAE3C,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,IAAA,WAAE,EAAC,uDAAuD,EAAE,KAAK,IAAI,EAAE;QACrE,MAAM,KAAK,GAAG,oBAAoB,EAAE,CAAC;QACrC,mCAAmC;QACnC,KAAK,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC;QAC5C,MAAM,IAAI,GAAG,MAAM,IAAA,iCAAmB,EAAC;YACrC,IAAI,EAAE,GAAG;YACT,KAAK;YACL,OAAO,EAAE,yBAAyB;YAClC,MAAM,EAAE,CAAC,GAAG,EAAE,QAAQ,CAAC;SACxB,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,MAAM,IAAA,+BAAiB,EAAC,IAAI,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,KAAK,IAAI,EAAE;QAC5C,MAAM,KAAK,GAAe;YACxB,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE;YACtE;gBACE,EAAE,EAAE,IAAI;gBACR,IAAI,EAAE,cAAc;gBACpB,IAAI,EAAE,CAAC,WAAW,EAAE,IAAI,CAAC;gBACzB,UAAU,EAAE,GAAG;gBACf,OAAO,EAAE,CAAC,WAAW,EAAE,IAAI,CAAC;aAC7B;SACF,CAAC;QACF,MAAM,IAAI,GAAG,MAAM,IAAA,iCAAmB,EAAC;YACrC,IAAI,EAAE,GAAG;YACT,KAAK;YACL,OAAO,EAAE,yBAAyB;YAClC,MAAM,EAAE,EAAE;SACX,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,MAAM,IAAA,+BAAiB,EAAC,IAAI,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,KAAK,IAAI,EAAE;QACxC,MAAM,KAAK,GAAe;YACxB,kCAAkC;YAClC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE;YAClF,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE;SACnF,CAAC;QACF,qFAAqF;QACrF,MAAM,OAAO,GAAG;YACd,OAAO,EAAE,KAAc;YACvB,IAAI,EAAE,GAAG;YACT,OAAO,EAAE,MAAM;YACf,MAAM,EAAE,EAAE;YACV,KAAK;SACN,CAAC;QACF,MAAM,IAAI,GAAG,MAAM,IAAA,6BAAe,EAAC,OAAO,CAAC,CAAC;QAC5C,MAAM,IAAI,GAAqB,EAAE,GAAG,OAAO,EAAE,IAAI,EAAE,CAAC;QACpD,MAAM,CAAC,GAAG,MAAM,IAAA,+BAAiB,EAAC,IAAI,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,KAAK,IAAI,EAAE;QAC9C,MAAM,IAAI,GAAG,MAAM,oBAAoB,EAAE,CAAC;QAC1C,MAAM,QAAQ,GAAqB;YACjC,GAAG,IAAI;YACP,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SAC3E,CAAC;QACF,8BAA8B;QAC9B,MAAM,CAAC,GAAG,MAAM,IAAA,+BAAiB,EAAC,QAAQ,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,KAAK,IAAI,EAAE;QACzC,MAAM,IAAI,GAAG,MAAM,oBAAoB,EAAE,CAAC;QAC1C,MAAM,MAAM,GAAqB;YAC/B,GAAG,IAAI;YACP,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SAC9E,CAAC;QACF,MAAM,CAAC,IAAI,GAAG,MAAM,IAAA,6BAAe,EAAC,MAAM,CAAC,CAAC;QAC5C,MAAM,CAAC,GAAG,MAAM,IAAA,+BAAiB,EAAC,MAAM,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,KAAK,IAAI,EAAE;QACpD,MAAM,IAAI,GAAG,MAAM,oBAAoB,EAAE,CAAC;QAC1C,MAAM,SAAS,GAAqB,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC;QACvE,SAAS,CAAC,IAAI,GAAG,MAAM,IAAA,6BAAe,EAAC,SAAS,CAAC,CAAC;QAClD,MAAM,CAAC,GAAG,MAAM,IAAA,+BAAiB,EAAC,SAAS,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,KAAK,IAAI,EAAE;QAC5D,MAAM,KAAK,GAAe;YACxB,sDAAsD;YACtD;gBACE,EAAE,EAAE,IAAI;gBACR,IAAI,EAAE,cAAc;gBACpB,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC;gBAClB,UAAU,EAAE,GAAG;gBACf,OAAO,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC;aACtB;YACD,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE;YACtE,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE;SACjF,CAAC;QACF,MAAM,OAAO,GAAG;YACd,OAAO,EAAE,KAAc;YACvB,IAAI,EAAE,GAAG;YACT,OAAO,EAAE,yBAAyB;YAClC,MAAM,EAAE,EAAE;YACV,KAAK;SACN,CAAC;QACF,MAAM,IAAI,GAAG,MAAM,IAAA,6BAAe,EAAC,OAAO,CAAC,CAAC;QAC5C,MAAM,IAAI,GAAqB,EAAE,GAAG,OAAO,EAAE,IAAI,EAAE,CAAC;QACpD,MAAM,CAAC,GAAG,MAAM,IAAA,+BAAiB,EAAC,IAAI,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,0BAA0B,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,2CAA2C;AAE3C,IAAA,iBAAQ,EAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,IAAA,WAAE,EAAC,8CAA8C,EAAE,KAAK,IAAI,EAAE;QAC5D,MAAM,IAAI,GAAG,MAAM,oBAAoB,EAAE,CAAC;QAC1C,MAAM,IAAI,GAAG,IAAA,wBAAU,EAAC,IAAI,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,0BAA0B,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,KAAK,IAAI,EAAE;QACjE,MAAM,IAAI,GAAG,MAAM,oBAAoB,EAAE,CAAC;QAC1C,MAAM,IAAI,GAAG,IAAA,wBAAU,EAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,MAAM,GAAG,IAAA,wBAAU,EAAC,IAAI,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,OAAO,IAAI,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,OAAO,IAAI,MAAM;YAAE,OAAO;QAC9B,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,KAAK,IAAI,EAAE;QAC9D,MAAM,IAAI,GAAG,MAAM,oBAAoB,EAAE,CAAC;QAC1C,MAAM,EAAE,GAAG,MAAM,IAAA,wCAA0B,GAAE,CAAC;QAC9C,MAAM,GAAG,GAAG,MAAM,IAAA,6BAAe,EAAC,IAAI,EAAE,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC;QACxE,MAAM,UAAU,GAAqB,EAAE,GAAG,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC;QACjE,MAAM,IAAI,GAAG,IAAA,wBAAU,EAAC,UAAU,CAAC,CAAC;QACpC,MAAM,MAAM,GAAG,IAAA,wBAAU,EAAC,IAAI,CAAC,CAAC;QAChC,IAAI,OAAO,IAAI,MAAM,EAAE,CAAC;YACtB,MAAM,IAAI,KAAK,CAAC,gBAAgB,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QACnD,CAAC;QACD,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC;QACvC,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,CAAC,GAAG,IAAA,wBAAU,EAAC,gBAAgB,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,OAAO,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,IAAA,wBAAU,EAClB,iFAAiF,CAClF,CAAC;QACF,IAAA,eAAM,EAAC,OAAO,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,KAAK,IAAI,EAAE;QACvD,MAAM,IAAI,GAAG,MAAM,oBAAoB,EAAE,CAAC;QAC1C,MAAM,IAAI,GAAG,IAAA,wBAAU,EAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,UAAU,GAAG,IAAA,wBAAU,EAAC,IAAI,CAAC,CAAC;QACpC,IAAI,OAAO,IAAI,UAAU;YAAE,MAAM,IAAI,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAC7D,MAAM,CAAC,GAAG,MAAM,IAAA,+BAAiB,EAAC,UAAU,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,2BAA2B;AAE3B,IAAA,iBAAQ,EAAC,8CAA8C,EAAE,GAAG,EAAE;IAC5D,IAAA,WAAE,EAAC,4CAA4C,EAAE,KAAK,IAAI,EAAE;QAC1D,MAAM,IAAI,GAAG,MAAM,oBAAoB,EAAE,CAAC;QAC1C,MAAM,EAAE,GAAG,MAAM,IAAA,wCAA0B,GAAE,CAAC;QAC9C,MAAM,GAAG,GAAG,MAAM,IAAA,6BAAe,EAAC,IAAI,EAAE,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC;QACxE,MAAM,MAAM,GAAqB,EAAE,GAAG,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC;QAC7D,IAAA,eAAM,EAAC,GAAG,CAAC,SAAS,KAAK,SAAS,IAAI,GAAG,CAAC,SAAS,KAAK,aAAa,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClF,IAAA,eAAM,EAAC,MAAM,IAAA,wCAA0B,EAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,KAAK,IAAI,EAAE;QACzC,MAAM,IAAI,GAAG,MAAM,oBAAoB,EAAE,CAAC;QAC1C,MAAM,EAAE,GAAG,MAAM,IAAA,wCAA0B,GAAE,CAAC;QAC9C,MAAM,GAAG,GAAG,MAAM,IAAA,6BAAe,EAAC,IAAI,EAAE,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC;QACxE,MAAM,QAAQ,GAAqB;YACjC,GAAG,IAAI;YACP,IAAI,EAAE,GAAG;YACT,SAAS,EAAE,GAAG;SACf,CAAC;QACF,IAAA,eAAM,EAAC,MAAM,IAAA,wCAA0B,EAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wDAAwD,EAAE,KAAK,IAAI,EAAE;QACtE,MAAM,EAAE,GAAG,MAAM,IAAA,wCAA0B,GAAE,CAAC;QAC9C,MAAM,IAAI,GAAG,MAAM,IAAA,iCAAmB,EACpC;YACE,IAAI,EAAE,GAAG;YACT,KAAK,EAAE,oBAAoB,EAAE;YAC7B,OAAO,EAAE,yBAAyB;YAClC,MAAM,EAAE,CAAC,GAAG,EAAE,QAAQ,CAAC;SACxB,EACD,EAAE,IAAI,EAAE,EAAE,UAAU,EAAE,EAAE,CAAC,UAAU,EAAE,SAAS,EAAE,EAAE,CAAC,YAAY,EAAE,EAAE,CACpE,CAAC;QACF,IAAA,eAAM,EAAC,IAAI,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC;QACrC,IAAA,eAAM,EAAC,MAAM,IAAA,wCAA0B,EAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,kCAAkC;AAElC,IAAA,iBAAQ,EAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,IAAA,WAAE,EAAC,gDAAgD,EAAE,KAAK,IAAI,EAAE;QAC9D,MAAM,KAAK,GAAe;YACxB,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE;YACtE,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE;SACnF,CAAC;QACF,MAAM,IAAI,GAAG,MAAM,IAAA,iCAAmB,EAAC;YACrC,IAAI,EAAE,UAAU;YAChB,KAAK;YACL,OAAO,EAAE,QAAQ;YACjB,MAAM,EAAE,CAAC,GAAG,CAAC;SACd,CAAC,CAAC;QACH,8BAA8B;QAC9B,MAAM,EAAE,GAAG,MAAM,IAAA,+BAAiB,EAAC,IAAI,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAE7B,6BAA6B;QAC7B,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,4BAAc,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,EAAE;YAClD,OAAO,UAAU,KAAK,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;QACrD,CAAC,CAAC,CAAC;QACH,MAAM,EAAE,GAAG,MAAM,IAAA,+BAAiB,EAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,EAAE,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,qCAAqC;AAErC,IAAA,iBAAQ,EAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,QAAQ,GAAG;YACf,cAAc;YACd,eAAe;YACf,WAAW;YACX,eAAe;YACf,gBAAgB;YAChB,eAAe;YACf,gBAAgB;YAChB,SAAS;YACT,eAAe;YACf,cAAc;YACd,WAAW;YACX,UAAU;YACV,OAAO;YACP,YAAY;YACZ,WAAW;YACX,iBAAiB;SAClB,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,IAAA,eAAM,EAAC,4BAAc,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,IAAA,eAAM,EAAC,4BAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,4BAAc,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC;QAC1E,IAAA,eAAM,EAAC,4BAAc,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,4BAAc,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC;QAC3E,IAAA,eAAM,EAAC,4BAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,4BAAc,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/reasoning/ban-logic/ban-logic.test.d.ts

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

package/dist/tests/reasoning/ban-logic/ban-logic.test.d.ts.map

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