@stevenvo780/st-lang 4.10.0 → 4.12.0

package/dist/tests/tooling/lemma-library/lemma-library.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lemma-library.test.js","sourceRoot":"","sources":["../../../../src/tests/tooling/lemma-library/lemma-library.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,qDAAqD;AACrD,+DAA+D;;AAE/D,mCAA8C;AAC9C,kEAawC;AAExC,IAAA,iBAAQ,EAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,GAAG,GAAG,IAAA,+BAAe,GAAE,CAAC;QAC9B,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,IAAA,eAAM,EAAC,oCAAoB,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,iCAAiB,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,iCAAiB,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,4BAAY,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,iCAAiB,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,GAAG,GAAG,IAAA,+BAAe,GAAE,CAAC;QAC9B,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,GAAG,GAAG,IAAI,4BAAY,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAiB;YAC1B,EAAE,EAAE,OAAO;YACX,IAAI,EAAE,KAAK;YACX,SAAS,EAAE,GAAG;YACd,MAAM,EAAE,eAAe;YACvB,IAAI,EAAE,EAAE;YACR,UAAU,EAAE,SAAS;SACtB,CAAC;QACF,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACf,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,MAAM,GAAG,GAAG,IAAA,+BAAe,GAAE,CAAC;IAE9B,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,KAAK,GAAG,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC;QAChD,KAAK,MAAM,CAAC,IAAI,KAAK;YAAE,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,KAAK,GAAG,GAAG,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;QACzC,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,SAAS,GAAG,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,SAAS,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAC5C,KAAK,MAAM,CAAC,IAAI,SAAS;YAAE,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,EAAE,GAAG,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QAClC,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,OAAO,GAAG,GAAG,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC;QAC5C,MAAM,IAAI,GAAG,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,eAAe,CAAC,EAAE,SAAS,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,MAAM,GAAG,GAAG,IAAA,+BAAe,GAAE,CAAC;IAE9B,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,WAAW,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;QACvD,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,eAAe,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAC1C,KAAK,MAAM,CAAC,IAAI,OAAO;YAAE,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,MAAM,GAAG,GAAG,IAAA,+BAAe,GAAE,CAAC;IAE9B,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,QAAQ,GAAG,GAAG,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC;QAC/B,IAAI,CAAC,QAAQ;YAAE,OAAO;QACtB,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5B,0DAA0D;QAC1D,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QACzC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;QAC5B,IAAI,CAAC,KAAK;YAAE,OAAO;QACnB,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QACnC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,wCAAwC,EAAE,GAAG,EAAE;IACtD,MAAM,GAAG,GAAG,IAAA,+BAAe,GAAE,CAAC;IAC9B,MAAM,KAAK,GAAG,IAAA,0BAAU,EAAC,GAAG,CAAC,CAAC;IAE9B,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,IAAA,eAAM,EAAC,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,IAAI,GAAG,IAAA,8BAAc,EAAC,KAAK,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,IAAI,GAAG,IAAA,8BAAc,EAAC,KAAK,EAAE,sBAAsB,EAAE,CAAC,CAAC,CAAC;QAC9D,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,IAAA,eAAM,EAAC,IAAA,8BAAc,EAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,IAAI,GAAG,IAAA,8BAAc,EAAC,KAAK,EAAE,kCAAkC,EAAE,CAAC,CAAC,CAAC;QAC1E,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACrC,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACzB,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACrB,IAAI,IAAI,IAAI,IAAI;gBAAE,IAAA,eAAM,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,MAAM,GAAG,GAAG,IAAA,+BAAe,GAAE,CAAC;IAE9B,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,IAAI,GAAG,+BAA+B,CAAC;QAC7C,MAAM,MAAM,GAAG,IAAA,6BAAa,EAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACxC,MAAM,GAAG,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,sBAAsB,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,IAAI,GAAG,mBAAmB,CAAC;QACjC,MAAM,MAAM,GAAG,IAAA,6BAAa,EAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACxC,MAAM,GAAG,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,MAAM,CAAC,aAAa,CAAC,CAAC,WAAW,EAAE,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,MAAM,GAAG,IAAA,6BAAa,EAAC,aAAa,EAAE,GAAG,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,MAAM,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,MAAM,GAAG,IAAA,6BAAa,EAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QAC3C,MAAM,GAAG,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;QACvC,iFAAiF;QACjF,IAAA,eAAM,EAAC,MAAM,CAAC,aAAa,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,gFAAgF;QAChF,MAAM,IAAI,GAAG,IAAA,wBAAQ,EAAC,mBAAmB,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/tooling/provenance/ledger.test.d.ts

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

package/dist/tests/tooling/provenance/ledger.test.d.ts.map

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

package/dist/tests/tooling/provenance/ledger.test.js

@@ -0,0 +1,545 @@
+"use strict";
+// ============================================================
+// Tests: ProvenanceLedger
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const provenance_1 = require("../../../tooling/provenance");
+function meta(overrides = {}) {
+    return {
+        provedAt: '2026-05-17T00:00:00.000Z',
+        provedBy: 'tester',
+        profile: 'classical.propositional',
+        tool: 'manual',
+        ...overrides,
+    };
+}
+(0, vitest_1.describe)('ProvenanceLedger', () => {
+    (0, vitest_1.it)('añade un axioma + lemma + theorem y resuelve dependencias', () => {
+        const ledger = new provenance_1.ProvenanceLedger();
+        const ax = ledger.add({
+            statement: 'P -> (Q -> P)',
+            kind: 'axiom',
+            dependencies: [],
+            metadata: meta(),
+            trust: 'verified',
+        });
+        const lem = ledger.add({
+            statement: 'P -> P',
+            kind: 'lemma',
+            dependencies: [ax],
+            metadata: meta(),
+            trust: 'verified',
+        });
+        const th = ledger.add({
+            statement: 'P -> (P or Q)',
+            kind: 'theorem',
+            dependencies: [ax, lem],
+            metadata: meta(),
+            trust: 'verified',
+        });
+        (0, vitest_1.expect)(ledger.totalNodes()).toBe(3);
+        (0, vitest_1.expect)(ledger.axiomCount()).toBe(1);
+        const got = ledger.get(th);
+        (0, vitest_1.expect)(got).toBeDefined();
+        (0, vitest_1.expect)(got.kind).toBe('theorem');
+        (0, vitest_1.expect)(got.dependencies).toEqual([ax, lem]);
+    });
+    (0, vitest_1.it)('los ids son determinísticos: mismo statement + deps → mismo id', () => {
+        const a = new provenance_1.ProvenanceLedger();
+        const b = new provenance_1.ProvenanceLedger();
+        const idA = a.add({
+            statement: 'P -> P',
+            kind: 'axiom',
+            dependencies: [],
+            metadata: meta(),
+            trust: 'verified',
+        });
+        const idB = b.add({
+            statement: '  P  ->  P  ', // whitespace distinto, mismo statement canónico
+            kind: 'axiom',
+            dependencies: [],
+            metadata: meta({ provedBy: 'otro' }),
+            trust: 'admitted',
+        });
+        (0, vitest_1.expect)(idA).toBe(idB);
+    });
+    (0, vitest_1.it)('rechaza axiomas con dependencias y dependencias inexistentes', () => {
+        const ledger = new provenance_1.ProvenanceLedger();
+        (0, vitest_1.expect)(() => ledger.add({
+            statement: 'A',
+            kind: 'axiom',
+            dependencies: ['missing'],
+            metadata: meta(),
+            trust: 'verified',
+        })).toThrow(/no puede tener dependencias/);
+        (0, vitest_1.expect)(() => ledger.add({
+            statement: 'B',
+            kind: 'lemma',
+            dependencies: ['ghost-id'],
+            metadata: meta(),
+            trust: 'verified',
+        })).toThrow(/dependencia inexistente/);
+    });
+    (0, vitest_1.it)('dependencyChain devuelve cierre en orden topológico (deps antes que el nodo)', () => {
+        const ledger = new provenance_1.ProvenanceLedger();
+        const a = ledger.add({
+            statement: 'A',
+            kind: 'axiom',
+            dependencies: [],
+            metadata: meta(),
+            trust: 'verified',
+        });
+        const b = ledger.add({
+            statement: 'B',
+            kind: 'lemma',
+            dependencies: [a],
+            metadata: meta(),
+            trust: 'verified',
+        });
+        const c = ledger.add({
+            statement: 'C',
+            kind: 'theorem',
+            dependencies: [a, b],
+            metadata: meta(),
+            trust: 'verified',
+        });
+        const chain = ledger.dependencyChain(c);
+        const ids = chain.map((n) => n.id);
+        (0, vitest_1.expect)(ids).toContain(a);
+        (0, vitest_1.expect)(ids).toContain(b);
+        (0, vitest_1.expect)(ids).toContain(c);
+        // a aparece antes que b y c; b antes que c
+        (0, vitest_1.expect)(ids.indexOf(a)).toBeLessThan(ids.indexOf(b));
+        (0, vitest_1.expect)(ids.indexOf(b)).toBeLessThan(ids.indexOf(c));
+    });
+    (0, vitest_1.it)('ancestors y descendants son inversos sobre el grafo', () => {
+        const ledger = new provenance_1.ProvenanceLedger();
+        const a = ledger.add({
+            statement: 'A',
+            kind: 'axiom',
+            dependencies: [],
+            metadata: meta(),
+            trust: 'verified',
+        });
+        const b = ledger.add({
+            statement: 'B',
+            kind: 'lemma',
+            dependencies: [a],
+            metadata: meta(),
+            trust: 'verified',
+        });
+        const c = ledger.add({
+            statement: 'C',
+            kind: 'theorem',
+            dependencies: [b],
+            metadata: meta(),
+            trust: 'verified',
+        });
+        (0, vitest_1.expect)(ledger.ancestors(c)).toEqual(new Set([a, b]));
+        (0, vitest_1.expect)(ledger.ancestors(a)).toEqual(new Set());
+        (0, vitest_1.expect)(ledger.descendants(a)).toEqual(new Set([b, c]));
+        (0, vitest_1.expect)(ledger.descendants(c)).toEqual(new Set());
+    });
+    (0, vitest_1.it)('axiomsUsed calcula el cierre y descarta lemas/teoremas', () => {
+        const ledger = new provenance_1.ProvenanceLedger();
+        const ax1 = ledger.add({
+            statement: 'AX1',
+            kind: 'axiom',
+            dependencies: [],
+            metadata: meta(),
+            trust: 'verified',
+        });
+        const ax2 = ledger.add({
+            statement: 'AX2',
+            kind: 'axiom',
+            dependencies: [],
+            metadata: meta(),
+            trust: 'verified',
+        });
+        const lem = ledger.add({
+            statement: 'L',
+            kind: 'lemma',
+            dependencies: [ax1],
+            metadata: meta(),
+            trust: 'verified',
+        });
+        const th = ledger.add({
+            statement: 'T',
+            kind: 'theorem',
+            dependencies: [lem, ax2],
+            metadata: meta(),
+            trust: 'verified',
+        });
+        (0, vitest_1.expect)(ledger.axiomsUsed(th)).toEqual(new Set([ax1, ax2]));
+        (0, vitest_1.expect)(ledger.axiomsUsed(lem)).toEqual(new Set([ax1]));
+    });
+    (0, vitest_1.it)('isFullyVerified=true sólo si todo el cierre es verified', () => {
+        const ledger = new provenance_1.ProvenanceLedger();
+        const ax = ledger.add({
+            statement: 'A',
+            kind: 'axiom',
+            dependencies: [],
+            metadata: meta(),
+            trust: 'verified',
+        });
+        const lemOk = ledger.add({
+            statement: 'L1',
+            kind: 'lemma',
+            dependencies: [ax],
+            metadata: meta(),
+            trust: 'verified',
+        });
+        const lemAdm = ledger.add({
+            statement: 'L2',
+            kind: 'lemma',
+            dependencies: [ax],
+            metadata: meta(),
+            trust: 'admitted',
+        });
+        const thOk = ledger.add({
+            statement: 'T1',
+            kind: 'theorem',
+            dependencies: [lemOk],
+            metadata: meta(),
+            trust: 'verified',
+        });
+        const thBad = ledger.add({
+            statement: 'T2',
+            kind: 'theorem',
+            dependencies: [lemAdm],
+            metadata: meta(),
+            trust: 'verified',
+        });
+        (0, vitest_1.expect)(ledger.isFullyVerified(thOk)).toBe(true);
+        (0, vitest_1.expect)(ledger.isFullyVerified(thBad)).toBe(false);
+        (0, vitest_1.expect)(ledger.isFullyVerified('inexistente')).toBe(false);
+    });
+    (0, vitest_1.it)('trustChain cuenta verified/admitted/external en el cierre', () => {
+        const ledger = new provenance_1.ProvenanceLedger();
+        const ax = ledger.add({
+            statement: 'A',
+            kind: 'axiom',
+            dependencies: [],
+            metadata: meta(),
+            trust: 'verified',
+        });
+        const ext = ledger.add({
+            statement: 'EXT',
+            kind: 'lemma',
+            dependencies: [ax],
+            metadata: meta({ tool: 'lean4' }),
+            trust: 'external',
+        });
+        const adm = ledger.add({
+            statement: 'ADM',
+            kind: 'lemma',
+            dependencies: [ax],
+            metadata: meta(),
+            trust: 'admitted',
+        });
+        const th = ledger.add({
+            statement: 'T',
+            kind: 'theorem',
+            dependencies: [ext, adm],
+            metadata: meta(),
+            trust: 'verified',
+        });
+        (0, vitest_1.expect)(ledger.trustChain(th)).toEqual({ verified: 2, admitted: 1, external: 1 });
+    });
+    (0, vitest_1.it)('findCircular devuelve [] en grafo construido vía add() (estructuralmente acíclico)', () => {
+        const ledger = new provenance_1.ProvenanceLedger();
+        const a = ledger.add({
+            statement: 'A',
+            kind: 'axiom',
+            dependencies: [],
+            metadata: meta(),
+            trust: 'verified',
+        });
+        const b = ledger.add({
+            statement: 'B',
+            kind: 'lemma',
+            dependencies: [a],
+            metadata: meta(),
+            trust: 'verified',
+        });
+        ledger.add({
+            statement: 'C',
+            kind: 'theorem',
+            dependencies: [a, b],
+            metadata: meta(),
+            trust: 'verified',
+        });
+        (0, vitest_1.expect)(ledger.findCircular()).toEqual([]);
+    });
+    (0, vitest_1.it)('findCircular detecta ciclo introducido por import malicioso', () => {
+        const ledger = new provenance_1.ProvenanceLedger();
+        // Construimos un JSON con ciclo a mano: x → y → x.
+        const x = {
+            id: 'x',
+            statement: 'X',
+            kind: 'lemma',
+            dependencies: ['y'],
+            metadata: meta(),
+            trust: 'verified',
+        };
+        const y = {
+            id: 'y',
+            statement: 'Y',
+            kind: 'lemma',
+            dependencies: ['x'],
+            metadata: meta(),
+            trust: 'verified',
+        };
+        const evilJson = JSON.stringify({ version: '1.0', nodes: [x, y] });
+        ledger.importLedger(evilJson);
+        const cycles = ledger.findCircular();
+        (0, vitest_1.expect)(cycles.length).toBeGreaterThan(0);
+    });
+    (0, vitest_1.it)('longestChain mide la cadena de dependencias más profunda', () => {
+        const ledger = new provenance_1.ProvenanceLedger();
+        const a = ledger.add({
+            statement: 'A',
+            kind: 'axiom',
+            dependencies: [],
+            metadata: meta(),
+            trust: 'verified',
+        });
+        const b = ledger.add({
+            statement: 'B',
+            kind: 'lemma',
+            dependencies: [a],
+            metadata: meta(),
+            trust: 'verified',
+        });
+        const c = ledger.add({
+            statement: 'C',
+            kind: 'lemma',
+            dependencies: [b],
+            metadata: meta(),
+            trust: 'verified',
+        });
+        ledger.add({
+            statement: 'D',
+            kind: 'theorem',
+            dependencies: [c],
+            metadata: meta(),
+            trust: 'verified',
+        });
+        (0, vitest_1.expect)(ledger.longestChain()).toBe(4);
+    });
+    (0, vitest_1.it)('round-trip export/import preserva el ledger', async () => {
+        const ledger = new provenance_1.ProvenanceLedger();
+        const ax = ledger.add({
+            statement: 'AX',
+            kind: 'axiom',
+            dependencies: [],
+            metadata: meta({ tool: 'manual', durationMs: 12 }),
+            trust: 'verified',
+        });
+        ledger.add({
+            statement: 'T',
+            kind: 'theorem',
+            dependencies: [ax],
+            metadata: meta({ tool: 'st-prover@4.10.0', proofSize: 3 }),
+            trust: 'verified',
+            proof: { steps: ['axiom', 'qed'] },
+        });
+        const json = ledger.exportLedger();
+        const restored = new provenance_1.ProvenanceLedger();
+        restored.importLedger(json);
+        (0, vitest_1.expect)(restored.totalNodes()).toBe(2);
+        (0, vitest_1.expect)(await restored.hashLedger()).toBe(await ledger.hashLedger());
+        (0, vitest_1.expect)(restored.exportLedger()).toBe(ledger.exportLedger());
+    });
+    (0, vitest_1.it)('hashLedger es determinístico e ignora orden de inserción', async () => {
+        const a = new provenance_1.ProvenanceLedger();
+        const b = new provenance_1.ProvenanceLedger();
+        const idA1 = a.add({
+            statement: 'A',
+            kind: 'axiom',
+            dependencies: [],
+            metadata: meta(),
+            trust: 'verified',
+        });
+        const idA2 = a.add({
+            statement: 'B',
+            kind: 'axiom',
+            dependencies: [],
+            metadata: meta(),
+            trust: 'verified',
+        });
+        a.add({
+            statement: 'C',
+            kind: 'lemma',
+            dependencies: [idA1, idA2],
+            metadata: meta(),
+            trust: 'verified',
+        });
+        // En `b` insertamos en otro orden
+        const idB2 = b.add({
+            statement: 'B',
+            kind: 'axiom',
+            dependencies: [],
+            metadata: meta(),
+            trust: 'verified',
+        });
+        const idB1 = b.add({
+            statement: 'A',
+            kind: 'axiom',
+            dependencies: [],
+            metadata: meta(),
+            trust: 'verified',
+        });
+        b.add({
+            statement: 'C',
+            kind: 'lemma',
+            dependencies: [idB1, idB2],
+            metadata: meta(),
+            trust: 'verified',
+        });
+        (0, vitest_1.expect)(await a.hashLedger()).toBe(await b.hashLedger());
+    });
+    (0, vitest_1.it)('auditTheorem clasifica risk=low cuando todo es verified', () => {
+        const ledger = new provenance_1.ProvenanceLedger();
+        const ax = ledger.add({
+            statement: 'A',
+            kind: 'axiom',
+            dependencies: [],
+            metadata: meta(),
+            trust: 'verified',
+        });
+        const th = ledger.add({
+            statement: 'T',
+            kind: 'theorem',
+            dependencies: [ax],
+            metadata: meta(),
+            trust: 'verified',
+        });
+        const report = (0, provenance_1.auditTheorem)(th, ledger);
+        (0, vitest_1.expect)(report.rootTheorem).toBe('T');
+        (0, vitest_1.expect)(report.trustClassification.verified).toBe(2);
+        (0, vitest_1.expect)(report.externalDependencies).toEqual([]);
+        (0, vitest_1.expect)(report.admittedDependencies).toEqual([]);
+        (0, vitest_1.expect)(report.axiomList.size).toBe(1);
+        (0, vitest_1.expect)(report.estimatedRisk).toBe('low');
+    });
+    (0, vitest_1.it)('auditTheorem detecta risk=high cuando un axioma raíz es external', () => {
+        const ledger = new provenance_1.ProvenanceLedger();
+        const sketchyAx = ledger.add({
+            statement: 'AX_EXT',
+            kind: 'axiom',
+            dependencies: [],
+            metadata: meta({ tool: 'lean4', provedBy: 'lean-community' }),
+            trust: 'external',
+        });
+        const th = ledger.add({
+            statement: 'T',
+            kind: 'theorem',
+            dependencies: [sketchyAx],
+            metadata: meta(),
+            trust: 'verified',
+        });
+        const report = (0, provenance_1.auditTheorem)(th, ledger);
+        (0, vitest_1.expect)(report.estimatedRisk).toBe('high');
+        (0, vitest_1.expect)(report.externalDependencies.length).toBe(1);
+        (0, vitest_1.expect)(report.externalDependencies[0].statement).toBe('AX_EXT');
+    });
+    (0, vitest_1.it)('auditTheorem da risk=medium cuando hay un admitted aislado sobre base verified', () => {
+        const ledger = new provenance_1.ProvenanceLedger();
+        // 10 axiomas verified + 1 lemma admitted + theorem verified → ratio ~1/12 = 8%
+        const axIds = [];
+        for (let i = 0; i < 10; i++) {
+            axIds.push(ledger.add({
+                statement: `AX${i}`,
+                kind: 'axiom',
+                dependencies: [],
+                metadata: meta(),
+                trust: 'verified',
+            }));
+        }
+        const adm = ledger.add({
+            statement: 'L_ADM',
+            kind: 'lemma',
+            dependencies: [axIds[0]],
+            metadata: meta(),
+            trust: 'admitted',
+        });
+        const th = ledger.add({
+            statement: 'T',
+            kind: 'theorem',
+            dependencies: [adm, ...axIds],
+            metadata: meta(),
+            trust: 'verified',
+        });
+        const report = (0, provenance_1.auditTheorem)(th, ledger);
+        (0, vitest_1.expect)(report.estimatedRisk).toBe('medium');
+        (0, vitest_1.expect)(report.admittedDependencies.length).toBe(1);
+    });
+    (0, vitest_1.it)('auditTheorem lanza si el id no existe', () => {
+        const ledger = new provenance_1.ProvenanceLedger();
+        (0, vitest_1.expect)(() => (0, provenance_1.auditTheorem)('nope', ledger)).toThrow(/no encontrado/);
+    });
+    (0, vitest_1.it)('provenanceToCertificate produce payload con axiomas + chain + proveniencia', () => {
+        const ledger = new provenance_1.ProvenanceLedger();
+        const ax = ledger.add({
+            statement: 'AX',
+            kind: 'axiom',
+            dependencies: [],
+            metadata: meta(),
+            trust: 'verified',
+        });
+        const thId = ledger.add({
+            statement: 'TH',
+            kind: 'theorem',
+            dependencies: [ax],
+            metadata: meta({ tool: 'st-prover@4.10.0' }),
+            trust: 'verified',
+        });
+        const th = ledger.get(thId);
+        const cert = (0, provenance_1.provenanceToCertificate)(th, ledger);
+        (0, vitest_1.expect)(cert.goal).toBe('TH');
+        (0, vitest_1.expect)(cert.axioms).toEqual(['AX']);
+        (0, vitest_1.expect)(cert.provenance.tool).toBe('st-prover@4.10.0');
+        (0, vitest_1.expect)(cert.provenance.chainLength).toBe(2);
+        (0, vitest_1.expect)(cert.provenance.dependencies.length).toBe(2);
+    });
+    (0, vitest_1.it)('add() es idempotente: re-añadir el mismo nodo no duplica', () => {
+        const ledger = new provenance_1.ProvenanceLedger();
+        const id1 = ledger.add({
+            statement: 'A',
+            kind: 'axiom',
+            dependencies: [],
+            metadata: meta(),
+            trust: 'verified',
+        });
+        const id2 = ledger.add({
+            statement: 'A',
+            kind: 'axiom',
+            dependencies: [],
+            metadata: meta({ provedBy: 'otro' }),
+            trust: 'admitted',
+        });
+        (0, vitest_1.expect)(id1).toBe(id2);
+        (0, vitest_1.expect)(ledger.totalNodes()).toBe(1);
+        // El primer trust gana — no se sobrescribe.
+        (0, vitest_1.expect)(ledger.get(id1).trust).toBe('verified');
+    });
+    (0, vitest_1.it)('get devuelve copia defensiva: mutar el resultado no afecta el ledger', () => {
+        const ledger = new provenance_1.ProvenanceLedger();
+        const ax = ledger.add({
+            statement: 'A',
+            kind: 'axiom',
+            dependencies: [],
+            metadata: meta(),
+            trust: 'verified',
+        });
+        const got = ledger.get(ax);
+        got.dependencies.push('hack');
+        got.metadata.provedBy = 'hacker';
+        const fresh = ledger.get(ax);
+        (0, vitest_1.expect)(fresh.dependencies).toEqual([]);
+        (0, vitest_1.expect)(fresh.metadata.provedBy).toBe('tester');
+    });
+});
+//# sourceMappingURL=ledger.test.js.map

package/dist/tests/tooling/provenance/ledger.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ledger.test.js","sourceRoot":"","sources":["../../../../src/tests/tooling/provenance/ledger.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,0BAA0B;AAC1B,+DAA+D;;AAE/D,mCAA8C;AAC9C,4DAIqC;AAGrC,SAAS,IAAI,CAAC,YAAyC,EAAE;IACvD,OAAO;QACL,QAAQ,EAAE,0BAA0B;QACpC,QAAQ,EAAE,QAAQ;QAClB,OAAO,EAAE,yBAAyB;QAClC,IAAI,EAAE,QAAQ;QACd,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAED,IAAA,iBAAQ,EAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,MAAM,GAAG,IAAI,6BAAgB,EAAE,CAAC;QACtC,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC;YACpB,SAAS,EAAE,eAAe;YAC1B,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,EAAE;YAChB,QAAQ,EAAE,IAAI,EAAE;YAChB,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC;YACrB,SAAS,EAAE,QAAQ;YACnB,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,CAAC,EAAE,CAAC;YAClB,QAAQ,EAAE,IAAI,EAAE;YAChB,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QACH,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC;YACpB,SAAS,EAAE,eAAe;YAC1B,IAAI,EAAE,SAAS;YACf,YAAY,EAAE,CAAC,EAAE,EAAE,GAAG,CAAC;YACvB,QAAQ,EAAE,IAAI,EAAE;YAChB,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QAEH,IAAA,eAAM,EAAC,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAEpC,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QAC1B,IAAA,eAAM,EAAC,GAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,GAAI,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,CAAC,GAAG,IAAI,6BAAgB,EAAE,CAAC;QACjC,MAAM,CAAC,GAAG,IAAI,6BAAgB,EAAE,CAAC;QACjC,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC;YAChB,SAAS,EAAE,QAAQ;YACnB,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,EAAE;YAChB,QAAQ,EAAE,IAAI,EAAE;YAChB,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QACH,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC;YAChB,SAAS,EAAE,cAAc,EAAE,gDAAgD;YAC3E,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,EAAE;YAChB,QAAQ,EAAE,IAAI,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;YACpC,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACxB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,MAAM,GAAG,IAAI,6BAAgB,EAAE,CAAC;QACtC,IAAA,eAAM,EAAC,GAAG,EAAE,CACV,MAAM,CAAC,GAAG,CAAC;YACT,SAAS,EAAE,GAAG;YACd,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,CAAC,SAAS,CAAC;YACzB,QAAQ,EAAE,IAAI,EAAE;YAChB,KAAK,EAAE,UAAU;SAClB,CAAC,CACH,CAAC,OAAO,CAAC,6BAA6B,CAAC,CAAC;QAEzC,IAAA,eAAM,EAAC,GAAG,EAAE,CACV,MAAM,CAAC,GAAG,CAAC;YACT,SAAS,EAAE,GAAG;YACd,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,CAAC,UAAU,CAAC;YAC1B,QAAQ,EAAE,IAAI,EAAE;YAChB,KAAK,EAAE,UAAU;SAClB,CAAC,CACH,CAAC,OAAO,CAAC,yBAAyB,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8EAA8E,EAAE,GAAG,EAAE;QACtF,MAAM,MAAM,GAAG,IAAI,6BAAgB,EAAE,CAAC;QACtC,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC;YACnB,SAAS,EAAE,GAAG;YACd,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,EAAE;YAChB,QAAQ,EAAE,IAAI,EAAE;YAChB,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC;YACnB,SAAS,EAAE,GAAG;YACd,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,CAAC,CAAC,CAAC;YACjB,QAAQ,EAAE,IAAI,EAAE;YAChB,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC;YACnB,SAAS,EAAE,GAAG;YACd,IAAI,EAAE,SAAS;YACf,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;YACpB,QAAQ,EAAE,IAAI,EAAE;YAChB,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QAEH,MAAM,KAAK,GAAG,MAAM,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACxC,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QACzB,2CAA2C;QAC3C,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,MAAM,GAAG,IAAI,6BAAgB,EAAE,CAAC;QACtC,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC;YACnB,SAAS,EAAE,GAAG;YACd,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,EAAE;YAChB,QAAQ,EAAE,IAAI,EAAE;YAChB,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC;YACnB,SAAS,EAAE,GAAG;YACd,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,CAAC,CAAC,CAAC;YACjB,QAAQ,EAAE,IAAI,EAAE;YAChB,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC;YACnB,SAAS,EAAE,GAAG;YACd,IAAI,EAAE,SAAS;YACf,YAAY,EAAE,CAAC,CAAC,CAAC;YACjB,QAAQ,EAAE,IAAI,EAAE;YAChB,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QAEH,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,MAAM,GAAG,IAAI,6BAAgB,EAAE,CAAC;QACtC,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC;YACrB,SAAS,EAAE,KAAK;YAChB,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,EAAE;YAChB,QAAQ,EAAE,IAAI,EAAE;YAChB,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC;YACrB,SAAS,EAAE,KAAK;YAChB,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,EAAE;YAChB,QAAQ,EAAE,IAAI,EAAE;YAChB,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC;YACrB,SAAS,EAAE,GAAG;YACd,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,CAAC,GAAG,CAAC;YACnB,QAAQ,EAAE,IAAI,EAAE;YAChB,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QACH,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC;YACpB,SAAS,EAAE,GAAG;YACd,IAAI,EAAE,SAAS;YACf,YAAY,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;YACxB,QAAQ,EAAE,IAAI,EAAE;YAChB,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,MAAM,GAAG,IAAI,6BAAgB,EAAE,CAAC;QACtC,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC;YACpB,SAAS,EAAE,GAAG;YACd,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,EAAE;YAChB,QAAQ,EAAE,IAAI,EAAE;YAChB,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC;YACvB,SAAS,EAAE,IAAI;YACf,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,CAAC,EAAE,CAAC;YAClB,QAAQ,EAAE,IAAI,EAAE;YAChB,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC;YACxB,SAAS,EAAE,IAAI;YACf,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,CAAC,EAAE,CAAC;YAClB,QAAQ,EAAE,IAAI,EAAE;YAChB,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC;YACtB,SAAS,EAAE,IAAI;YACf,IAAI,EAAE,SAAS;YACf,YAAY,EAAE,CAAC,KAAK,CAAC;YACrB,QAAQ,EAAE,IAAI,EAAE;YAChB,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC;YACvB,SAAS,EAAE,IAAI;YACf,IAAI,EAAE,SAAS;YACf,YAAY,EAAE,CAAC,MAAM,CAAC;YACtB,QAAQ,EAAE,IAAI,EAAE;YAChB,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QAEH,IAAA,eAAM,EAAC,MAAM,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,MAAM,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,MAAM,CAAC,eAAe,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,MAAM,GAAG,IAAI,6BAAgB,EAAE,CAAC;QACtC,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC;YACpB,SAAS,EAAE,GAAG;YACd,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,EAAE;YAChB,QAAQ,EAAE,IAAI,EAAE;YAChB,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC;YACrB,SAAS,EAAE,KAAK;YAChB,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,CAAC,EAAE,CAAC;YAClB,QAAQ,EAAE,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;YACjC,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC;YACrB,SAAS,EAAE,KAAK;YAChB,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,CAAC,EAAE,CAAC;YAClB,QAAQ,EAAE,IAAI,EAAE;YAChB,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QACH,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC;YACpB,SAAS,EAAE,GAAG;YACd,IAAI,EAAE,SAAS;YACf,YAAY,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;YACxB,QAAQ,EAAE,IAAI,EAAE;YAChB,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;IACnF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oFAAoF,EAAE,GAAG,EAAE;QAC5F,MAAM,MAAM,GAAG,IAAI,6BAAgB,EAAE,CAAC;QACtC,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC;YACnB,SAAS,EAAE,GAAG;YACd,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,EAAE;YAChB,QAAQ,EAAE,IAAI,EAAE;YAChB,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC;YACnB,SAAS,EAAE,GAAG;YACd,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,CAAC,CAAC,CAAC;YACjB,QAAQ,EAAE,IAAI,EAAE;YAChB,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,CAAC;YACT,SAAS,EAAE,GAAG;YACd,IAAI,EAAE,SAAS;YACf,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;YACpB,QAAQ,EAAE,IAAI,EAAE;YAChB,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,MAAM,CAAC,YAAY,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,MAAM,GAAG,IAAI,6BAAgB,EAAE,CAAC;QACtC,mDAAmD;QACnD,MAAM,CAAC,GAAmB;YACxB,EAAE,EAAE,GAAG;YACP,SAAS,EAAE,GAAG;YACd,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,CAAC,GAAG,CAAC;YACnB,QAAQ,EAAE,IAAI,EAAE;YAChB,KAAK,EAAE,UAAU;SAClB,CAAC;QACF,MAAM,CAAC,GAAmB;YACxB,EAAE,EAAE,GAAG;YACP,SAAS,EAAE,GAAG;YACd,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,CAAC,GAAG,CAAC;YACnB,QAAQ,EAAE,IAAI,EAAE;YAChB,KAAK,EAAE,UAAU;SAClB,CAAC;QACF,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACnE,MAAM,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;QAC9B,MAAM,MAAM,GAAG,MAAM,CAAC,YAAY,EAAE,CAAC;QACrC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,MAAM,GAAG,IAAI,6BAAgB,EAAE,CAAC;QACtC,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC;YACnB,SAAS,EAAE,GAAG;YACd,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,EAAE;YAChB,QAAQ,EAAE,IAAI,EAAE;YAChB,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC;YACnB,SAAS,EAAE,GAAG;YACd,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,CAAC,CAAC,CAAC;YACjB,QAAQ,EAAE,IAAI,EAAE;YAChB,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC;YACnB,SAAS,EAAE,GAAG;YACd,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,CAAC,CAAC,CAAC;YACjB,QAAQ,EAAE,IAAI,EAAE;YAChB,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,CAAC;YACT,SAAS,EAAE,GAAG;YACd,IAAI,EAAE,SAAS;YACf,YAAY,EAAE,CAAC,CAAC,CAAC;YACjB,QAAQ,EAAE,IAAI,EAAE;YAChB,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,MAAM,CAAC,YAAY,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,KAAK,IAAI,EAAE;QAC3D,MAAM,MAAM,GAAG,IAAI,6BAAgB,EAAE,CAAC;QACtC,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC;YACpB,SAAS,EAAE,IAAI;YACf,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,EAAE;YAChB,QAAQ,EAAE,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;YAClD,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,CAAC;YACT,SAAS,EAAE,GAAG;YACd,IAAI,EAAE,SAAS;YACf,YAAY,EAAE,CAAC,EAAE,CAAC;YAClB,QAAQ,EAAE,IAAI,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;YAC1D,KAAK,EAAE,UAAU;YACjB,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE;SACnC,CAAC,CAAC;QAEH,MAAM,IAAI,GAAG,MAAM,CAAC,YAAY,EAAE,CAAC;QACnC,MAAM,QAAQ,GAAG,IAAI,6BAAgB,EAAE,CAAC;QACxC,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QAE5B,IAAA,eAAM,EAAC,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,MAAM,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,QAAQ,CAAC,YAAY,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0DAA0D,EAAE,KAAK,IAAI,EAAE;QACxE,MAAM,CAAC,GAAG,IAAI,6BAAgB,EAAE,CAAC;QACjC,MAAM,CAAC,GAAG,IAAI,6BAAgB,EAAE,CAAC;QAEjC,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC;YACjB,SAAS,EAAE,GAAG;YACd,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,EAAE;YAChB,QAAQ,EAAE,IAAI,EAAE;YAChB,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC;YACjB,SAAS,EAAE,GAAG;YACd,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,EAAE;YAChB,QAAQ,EAAE,IAAI,EAAE;YAChB,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QACH,CAAC,CAAC,GAAG,CAAC;YACJ,SAAS,EAAE,GAAG;YACd,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC;YAC1B,QAAQ,EAAE,IAAI,EAAE;YAChB,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QAEH,kCAAkC;QAClC,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC;YACjB,SAAS,EAAE,GAAG;YACd,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,EAAE;YAChB,QAAQ,EAAE,IAAI,EAAE;YAChB,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC;YACjB,SAAS,EAAE,GAAG;YACd,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,EAAE;YAChB,QAAQ,EAAE,IAAI,EAAE;YAChB,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QACH,CAAC,CAAC,GAAG,CAAC;YACJ,SAAS,EAAE,GAAG;YACd,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC;YAC1B,QAAQ,EAAE,IAAI,EAAE;YAChB,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QAEH,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,MAAM,GAAG,IAAI,6BAAgB,EAAE,CAAC;QACtC,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC;YACpB,SAAS,EAAE,GAAG;YACd,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,EAAE;YAChB,QAAQ,EAAE,IAAI,EAAE;YAChB,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QACH,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC;YACpB,SAAS,EAAE,GAAG;YACd,IAAI,EAAE,SAAS;YACf,YAAY,EAAE,CAAC,EAAE,CAAC;YAClB,QAAQ,EAAE,IAAI,EAAE;YAChB,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,IAAA,yBAAY,EAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,MAAM,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,MAAM,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,MAAM,CAAC,oBAAoB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,MAAM,CAAC,oBAAoB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,MAAM,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,MAAM,GAAG,IAAI,6BAAgB,EAAE,CAAC;QACtC,MAAM,SAAS,GAAG,MAAM,CAAC,GAAG,CAAC;YAC3B,SAAS,EAAE,QAAQ;YACnB,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,EAAE;YAChB,QAAQ,EAAE,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,CAAC;YAC7D,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QACH,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC;YACpB,SAAS,EAAE,GAAG;YACd,IAAI,EAAE,SAAS;YACf,YAAY,EAAE,CAAC,SAAS,CAAC;YACzB,QAAQ,EAAE,IAAI,EAAE;YAChB,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,IAAA,yBAAY,EAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,MAAM,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,MAAM,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,MAAM,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gFAAgF,EAAE,GAAG,EAAE;QACxF,MAAM,MAAM,GAAG,IAAI,6BAAgB,EAAE,CAAC;QACtC,+EAA+E;QAC/E,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,KAAK,CAAC,IAAI,CACR,MAAM,CAAC,GAAG,CAAC;gBACT,SAAS,EAAE,KAAK,CAAC,EAAE;gBACnB,IAAI,EAAE,OAAO;gBACb,YAAY,EAAE,EAAE;gBAChB,QAAQ,EAAE,IAAI,EAAE;gBAChB,KAAK,EAAE,UAAU;aAClB,CAAC,CACH,CAAC;QACJ,CAAC;QACD,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC;YACrB,SAAS,EAAE,OAAO;YAClB,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YACxB,QAAQ,EAAE,IAAI,EAAE;YAChB,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QACH,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC;YACpB,SAAS,EAAE,GAAG;YACd,IAAI,EAAE,SAAS;YACf,YAAY,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC;YAC7B,QAAQ,EAAE,IAAI,EAAE;YAChB,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,IAAA,yBAAY,EAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,MAAM,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,MAAM,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,MAAM,GAAG,IAAI,6BAAgB,EAAE,CAAC;QACtC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,yBAAY,EAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,MAAM,MAAM,GAAG,IAAI,6BAAgB,EAAE,CAAC;QACtC,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC;YACpB,SAAS,EAAE,IAAI;YACf,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,EAAE;YAChB,QAAQ,EAAE,IAAI,EAAE;YAChB,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC;YACtB,SAAS,EAAE,IAAI;YACf,IAAI,EAAE,SAAS;YACf,YAAY,EAAE,CAAC,EAAE,CAAC;YAClB,QAAQ,EAAE,IAAI,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,CAAC;YAC5C,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QACH,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,IAAA,oCAAuB,EAAC,EAAE,EAAE,MAAM,CAI9C,CAAC;QACF,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,MAAM,GAAG,IAAI,6BAAgB,EAAE,CAAC;QACtC,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC;YACrB,SAAS,EAAE,GAAG;YACd,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,EAAE;YAChB,QAAQ,EAAE,IAAI,EAAE;YAChB,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC;YACrB,SAAS,EAAE,GAAG;YACd,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,EAAE;YAChB,QAAQ,EAAE,IAAI,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;YACpC,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpC,4CAA4C;QAC5C,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,MAAM,GAAG,IAAI,6BAAgB,EAAE,CAAC;QACtC,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC;YACpB,SAAS,EAAE,GAAG;YACd,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,EAAE;YAChB,QAAQ,EAAE,IAAI,EAAE;YAChB,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC;QAC5B,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9B,GAAG,CAAC,QAAQ,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACjC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC;QAC9B,IAAA,eAAM,EAAC,KAAK,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/tooling/test-harness/test-harness.test.d.ts

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

package/dist/tests/tooling/test-harness/test-harness.test.d.ts.map

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