@stevenvo780/st-lang 4.0.1 → 4.2.0

package/dist/tests/coverage-95/undecidability-detector.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"undecidability-detector.test.js","sourceRoot":"","sources":["../../../src/tests/coverage-95/undecidability-detector.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,8FAAqF;AAGrF,MAAM,IAAI,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;AACjE,MAAM,GAAG,GAAG,CAAC,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AAClE,MAAM,GAAG,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AACjF,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,GAAG,KAAe,EAAW,EAAE,CAAC,CAAC;IAC3D,IAAI,EAAE,WAAW;IACjB,IAAI;IACJ,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;CACpD,CAAC,CAAC;AACH,MAAM,MAAM,GAAG,CAAC,QAAgB,EAAE,IAAa,EAAW,EAAE,CAAC,CAAC;IAC5D,IAAI,EAAE,QAAQ;IACd,QAAQ;IACR,IAAI,EAAE,CAAC,IAAI,CAAC;CACb,CAAC,CAAC;AACH,MAAM,MAAM,GAAG,CAAC,QAAgB,EAAE,IAAa,EAAW,EAAE,CAAC,CAAC;IAC5D,IAAI,EAAE,QAAQ;IACd,QAAQ;IACR,IAAI,EAAE,CAAC,IAAI,CAAC;CACb,CAAC,CAAC;AACH,MAAM,EAAE,GAAG,CAAC,IAAY,EAAE,GAAG,IAAe,EAAW,EAAE,CAAC,CAAC;IACzD,IAAI,EAAE,SAAS;IACf,IAAI;IACJ,IAAI;CACL,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,+CAA+C,EAAE,GAAG,EAAE;IAC7D,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,IAAA,eAAM,EAAC,IAAA,2CAAiB,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAA,2CAAiB,EAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,yBAAyB;QACzB,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5F,MAAM,CAAC,GAAG,IAAA,2CAAiB,EAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,wBAAwB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzE,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,wBAAwB,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,EAAG,CAAC,QAAQ,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,kCAAkC;QAClC,MAAM,CAAC,GAAG,MAAM,CACd,GAAG,EACH,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CACvF,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,2CAAiB,EAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,wBAAwB,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;QACzB,IAAA,eAAM,EAAC,EAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,gDAAgD;QAChD,MAAM,CAAC,GAAG,MAAM,CACd,GAAG,EACH,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CACvF,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,2CAAiB,EAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,yBAAyB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,IAAI,IAAI,GAAY,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC/B,CAAC;QACD,MAAM,CAAC,GAAG,IAAA,2CAAiB,EAAC,IAAI,CAAC,CAAC;QAClC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,yBAAyB,CAAC,CAAC;QAClE,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;QACzB,IAAA,eAAM,EAAC,EAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC,CAAC;QAChD,MAAM,CAAC,GAAG,IAAA,2CAAiB,EAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,uBAAuB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAG,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QAChC,MAAM,CAAC,GAAG,IAAA,2CAAiB,EAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,uBAAuB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,CAAC,GAAG,IAAI,CAAC,gBAAgB,CAAC,CAAC;QACjC,MAAM,CAAC,GAAG,IAAA,2CAAiB,EAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,uBAAuB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QAC7B,MAAM,CAAC,GAAG,IAAA,2CAAiB,EAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,uBAAuB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,GAAG,IAAI,CAAC,iBAAiB,EAAE,GAAG,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,IAAA,2CAAiB,EAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,uBAAuB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,mBAAmB;QACnB,MAAM,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9B,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACxB,MAAM,IAAI,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC1B,MAAM,KAAK,GAAG,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACvE,MAAM,CAAC,GAAG,IAAA,2CAAiB,EAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,uBAAuB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,IAAI,IAAI,GAAY,IAAI,CAAC,GAAG,CAAC,CAAC;QAC9B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,IAAI,GAAG,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACvB,CAAC;QACD,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACtE,MAAM,CAAC,GAAG,IAAA,2CAAiB,EAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,uBAAuB,CAAC,CAAC;QAClE,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;QAC3B,IAAA,eAAM,EAAC,IAAK,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,+DAA+D;QAC/D,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9E,MAAM,CAAC,GAAG,IAAA,2CAAiB,EAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,2BAA2B,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,gBAAgB;QAChB,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7D,MAAM,CAAC,GAAG,IAAA,2CAAiB,EAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACtC,MAAM,CAAC,GAAG,IAAA,2CAAiB,EAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,2BAA2B,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;QACjF,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,wBAAwB,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;IAChF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,2CAAiB,EAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG,MAAM,CACd,GAAG,EACH,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAC5E,CAAC;QACF,MAAM,EAAE,GAAG,IAAA,2CAAiB,EAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACrC,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;YACnB,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACxC,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC5C,IAAA,eAAM,EAAC,CAAC,MAAM,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;YAC9D,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/coverage-95/visitor.test.d.ts

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

package/dist/tests/coverage-95/visitor.test.d.ts.map

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

package/dist/tests/coverage-95/visitor.test.js

@@ -0,0 +1,140 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const visitor_1 = require("../../ast/visitor");
+const loc = { file: '<test>', line: 1, column: 1 };
+const atom = (name) => ({ kind: 'atom', name });
+const counted = {
+    visitLogicDecl: () => 'logic_decl',
+    visitAxiomDecl: () => 'axiom_decl',
+    visitTheoremDecl: () => 'theorem_decl',
+    visitDeriveCmd: () => 'derive_cmd',
+    visitCheckValidCmd: () => 'check_valid_cmd',
+    visitCheckSatisfiableCmd: () => 'check_satisfiable_cmd',
+    visitCheckEquivalentCmd: () => 'check_equivalent_cmd',
+    visitProveCmd: () => 'prove_cmd',
+    visitCountermodelCmd: () => 'countermodel_cmd',
+    visitTruthTableCmd: () => 'truth_table_cmd',
+    visitLetDecl: () => 'let_decl',
+    visitClaimDecl: () => 'claim_decl',
+    visitSupportDecl: () => 'support_decl',
+    visitConfidenceDecl: () => 'confidence_decl',
+    visitContextDecl: () => 'context_decl',
+    visitRenderCmd: () => 'render_cmd',
+    visitAnalyzeCmd: () => 'analyze_cmd',
+    visitExplainCmd: () => 'explain_cmd',
+    visitImportDecl: () => 'import_decl',
+    visitProofBlock: () => 'proof_block',
+    visitTheoryDecl: () => 'theory_decl',
+    visitPrintCmd: () => 'print_cmd',
+    visitSetCmd: () => 'set_cmd',
+    visitIfStmt: () => 'if_stmt',
+    visitForStmt: () => 'for_stmt',
+    visitWhileStmt: () => 'while_stmt',
+    visitFnDecl: () => 'fn_decl',
+    visitReturnStmt: () => 'return_stmt',
+    visitFnCall: () => 'fn_call',
+    visitExportDecl: () => 'export_decl',
+    visitDefineDecl: () => 'define_decl',
+    visitUnfoldCmd: () => 'unfold_cmd',
+    visitFoldCmd: () => 'fold_cmd',
+    visitSourceDecl: () => 'source_decl',
+    visitInterpretCmd: () => 'interpret_cmd',
+    visitGlossaryCmd: () => 'glossary_cmd',
+};
+const nodes = [
+    { kind: 'logic_decl', source: loc, profile: 'classical.propositional' },
+    { kind: 'axiom_decl', source: loc, name: 'A', formula: atom('P') },
+    { kind: 'theorem_decl', source: loc, name: 'T', formula: atom('Q') },
+    { kind: 'derive_cmd', source: loc, goal: atom('P'), premises: [] },
+    { kind: 'check_valid_cmd', source: loc, formula: atom('P') },
+    { kind: 'check_satisfiable_cmd', source: loc, formula: atom('P') },
+    {
+        kind: 'check_equivalent_cmd',
+        source: loc,
+        left: atom('P'),
+        right: atom('Q'),
+    },
+    { kind: 'prove_cmd', source: loc, goal: atom('P'), premises: [] },
+    { kind: 'countermodel_cmd', source: loc, formula: atom('P') },
+    {
+        kind: 'truth_table_cmd',
+        source: loc,
+        formula: atom('P'),
+    },
+    { kind: 'let_decl', source: loc, name: 'x', value: atom('P') },
+    { kind: 'claim_decl', source: loc, name: 'c1' },
+    { kind: 'support_decl', source: loc },
+    { kind: 'confidence_decl', source: loc },
+    { kind: 'context_decl', source: loc },
+    { kind: 'render_cmd', source: loc },
+    { kind: 'analyze_cmd', source: loc },
+    { kind: 'explain_cmd', source: loc },
+    { kind: 'import_decl', source: loc },
+    { kind: 'proof_block', source: loc },
+    { kind: 'theory_decl', source: loc },
+    { kind: 'print_cmd', source: loc },
+    { kind: 'set_cmd', source: loc },
+    { kind: 'if_stmt', source: loc },
+    { kind: 'for_stmt', source: loc },
+    { kind: 'while_stmt', source: loc },
+    { kind: 'fn_decl', source: loc },
+    { kind: 'return_stmt', source: loc },
+    { kind: 'fn_call', source: loc },
+    { kind: 'export_decl', source: loc },
+    { kind: 'define_decl', source: loc },
+    { kind: 'unfold_cmd', source: loc },
+    { kind: 'fold_cmd', source: loc },
+    { kind: 'source_decl', source: loc },
+    { kind: 'interpret_cmd', source: loc },
+    { kind: 'glossary_cmd', source: loc },
+];
+(0, vitest_1.describe)('ast/visitor — visit() dispatches to each visitor method', () => {
+    (0, vitest_1.it)('dispatches all 36 statement kinds to the correct visitor method', () => {
+        const results = nodes.map((n) => (0, visitor_1.visit)(n, counted));
+        (0, vitest_1.expect)(results).toEqual(nodes.map((n) => n.kind));
+    });
+    (0, vitest_1.it)('visitProgram() returns one result per statement', () => {
+        const program = {
+            kind: 'program',
+            statements: nodes.slice(0, 5),
+        };
+        const out = (0, visitor_1.visitProgram)(program, counted);
+        (0, vitest_1.expect)(out.length).toBe(5);
+        (0, vitest_1.expect)(out[0]).toBe('logic_decl');
+    });
+    (0, vitest_1.it)('throws on an unknown kind through exhaustiveness guard', () => {
+        const fake = { kind: 'totally_unknown', source: loc };
+        (0, vitest_1.expect)(() => (0, visitor_1.visit)(fake, counted)).toThrow(/no manejado/);
+    });
+});
+(0, vitest_1.describe)('ast/visitor — BaseASTVisitor default behavior', () => {
+    class CountVisitor extends visitor_1.BaseASTVisitor {
+        count = 0;
+        defaultResult() {
+            this.count++;
+            return this.count;
+        }
+    }
+    (0, vitest_1.it)('every visitor method falls back to defaultResult', () => {
+        const visitor = new CountVisitor();
+        for (const n of nodes) {
+            (0, visitor_1.visit)(n, visitor);
+        }
+        (0, vitest_1.expect)(visitor.count).toBe(nodes.length);
+    });
+    (0, vitest_1.it)('subclass can override selectively', () => {
+        class OverrideVisitor extends visitor_1.BaseASTVisitor {
+            defaultResult() {
+                return 'default';
+            }
+            visitLogicDecl(_node) {
+                return 'override-logic';
+            }
+        }
+        const v = new OverrideVisitor();
+        (0, vitest_1.expect)((0, visitor_1.visit)(nodes[0], v)).toBe('override-logic');
+        (0, vitest_1.expect)((0, visitor_1.visit)(nodes[1], v)).toBe('default');
+    });
+});
+//# sourceMappingURL=visitor.test.js.map

package/dist/tests/coverage-95/visitor.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"visitor.test.js","sourceRoot":"","sources":["../../../src/tests/coverage-95/visitor.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,+CAAyF;AA2CzF,MAAM,GAAG,GAAmB,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;AACnE,MAAM,IAAI,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;AAEjE,MAAM,OAAO,GAAuB;IAClC,cAAc,EAAE,GAAG,EAAE,CAAC,YAAY;IAClC,cAAc,EAAE,GAAG,EAAE,CAAC,YAAY;IAClC,gBAAgB,EAAE,GAAG,EAAE,CAAC,cAAc;IACtC,cAAc,EAAE,GAAG,EAAE,CAAC,YAAY;IAClC,kBAAkB,EAAE,GAAG,EAAE,CAAC,iBAAiB;IAC3C,wBAAwB,EAAE,GAAG,EAAE,CAAC,uBAAuB;IACvD,uBAAuB,EAAE,GAAG,EAAE,CAAC,sBAAsB;IACrD,aAAa,EAAE,GAAG,EAAE,CAAC,WAAW;IAChC,oBAAoB,EAAE,GAAG,EAAE,CAAC,kBAAkB;IAC9C,kBAAkB,EAAE,GAAG,EAAE,CAAC,iBAAiB;IAC3C,YAAY,EAAE,GAAG,EAAE,CAAC,UAAU;IAC9B,cAAc,EAAE,GAAG,EAAE,CAAC,YAAY;IAClC,gBAAgB,EAAE,GAAG,EAAE,CAAC,cAAc;IACtC,mBAAmB,EAAE,GAAG,EAAE,CAAC,iBAAiB;IAC5C,gBAAgB,EAAE,GAAG,EAAE,CAAC,cAAc;IACtC,cAAc,EAAE,GAAG,EAAE,CAAC,YAAY;IAClC,eAAe,EAAE,GAAG,EAAE,CAAC,aAAa;IACpC,eAAe,EAAE,GAAG,EAAE,CAAC,aAAa;IACpC,eAAe,EAAE,GAAG,EAAE,CAAC,aAAa;IACpC,eAAe,EAAE,GAAG,EAAE,CAAC,aAAa;IACpC,eAAe,EAAE,GAAG,EAAE,CAAC,aAAa;IACpC,aAAa,EAAE,GAAG,EAAE,CAAC,WAAW;IAChC,WAAW,EAAE,GAAG,EAAE,CAAC,SAAS;IAC5B,WAAW,EAAE,GAAG,EAAE,CAAC,SAAS;IAC5B,YAAY,EAAE,GAAG,EAAE,CAAC,UAAU;IAC9B,cAAc,EAAE,GAAG,EAAE,CAAC,YAAY;IAClC,WAAW,EAAE,GAAG,EAAE,CAAC,SAAS;IAC5B,eAAe,EAAE,GAAG,EAAE,CAAC,aAAa;IACpC,WAAW,EAAE,GAAG,EAAE,CAAC,SAAS;IAC5B,eAAe,EAAE,GAAG,EAAE,CAAC,aAAa;IACpC,eAAe,EAAE,GAAG,EAAE,CAAC,aAAa;IACpC,cAAc,EAAE,GAAG,EAAE,CAAC,YAAY;IAClC,YAAY,EAAE,GAAG,EAAE,CAAC,UAAU;IAC9B,eAAe,EAAE,GAAG,EAAE,CAAC,aAAa;IACpC,iBAAiB,EAAE,GAAG,EAAE,CAAC,eAAe;IACxC,gBAAgB,EAAE,GAAG,EAAE,CAAC,cAAc;CACvC,CAAC;AAEF,MAAM,KAAK,GAAgB;IACzB,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,yBAAyB,EAAmB;IACxF,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,EAAmB;IACnF,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,EAAqB;IACvF,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAmB;IACnF,EAAE,IAAI,EAAE,iBAAiB,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,EAAuB;IACjF,EAAE,IAAI,EAAE,uBAAuB,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,EAA6B;IAC7F;QACE,IAAI,EAAE,sBAAsB;QAC5B,MAAM,EAAE,GAAG;QACX,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC;QACf,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC;KACS;IAC3B,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAkB;IACjF,EAAE,IAAI,EAAE,kBAAkB,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,EAAyB;IACpF;QACE,IAAI,EAAE,iBAAiB;QACvB,MAAM,EAAE,GAAG;QACX,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC;KACa;IACjC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,EAA4B;IACxF,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAA8B;IAC3E,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,GAAG,EAAgC;IACnE,EAAE,IAAI,EAAE,iBAAiB,EAAE,MAAM,EAAE,GAAG,EAAmC;IACzE,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,GAAG,EAAgC;IACnE,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,GAAG,EAA8B;IAC/D,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,GAAG,EAA+B;IACjE,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,GAAG,EAA+B;IACjE,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,GAAG,EAA+B;IACjE,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,GAAG,EAA+B;IACjE,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,GAAG,EAA+B;IACjE,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,GAAG,EAA6B;IAC7D,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,GAAG,EAA2B;IACzD,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,GAAG,EAA2B;IACzD,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,EAA4B;IAC3D,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,GAAG,EAA8B;IAC/D,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,GAAG,EAA2B;IACzD,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,GAAG,EAA+B;IACjE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,GAAG,EAA2B;IACzD,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,GAAG,EAA+B;IACjE,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,GAAG,EAA+B;IACjE,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,GAAG,EAA8B;IAC/D,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,EAA4B;IAC3D,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,GAAG,EAA+B;IACjE,EAAE,IAAI,EAAE,eAAe,EAAE,MAAM,EAAE,GAAG,EAAiC;IACrE,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,GAAG,EAAgC;CACpE,CAAC;AAEF,IAAA,iBAAQ,EAAC,yDAAyD,EAAE,GAAG,EAAE;IACvE,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,eAAK,EAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,OAAO,GAAY;YACvB,IAAI,EAAE,SAAS;YACf,UAAU,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;SACR,CAAC;QACxB,MAAM,GAAG,GAAG,IAAA,sBAAY,EAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,iBAAiB,EAAE,MAAM,EAAE,GAAG,EAA0B,CAAC;QAC9E,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,eAAK,EAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,+CAA+C,EAAE,GAAG,EAAE;IAC7D,MAAM,YAAa,SAAQ,wBAAsB;QACxC,KAAK,GAAG,CAAC,CAAC;QACP,aAAa;YACrB,IAAI,CAAC,KAAK,EAAE,CAAC;YACb,OAAO,IAAI,CAAC,KAAK,CAAC;QACpB,CAAC;KACF;IAED,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,OAAO,GAAG,IAAI,YAAY,EAAE,CAAC;QACnC,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,IAAA,eAAK,EAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QACpB,CAAC;QACD,IAAA,eAAM,EAAC,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,eAAgB,SAAQ,wBAAsB;YACxC,aAAa;gBACrB,OAAO,SAAS,CAAC;YACnB,CAAC;YACQ,cAAc,CAAC,KAAoB;gBAC1C,OAAO,gBAAgB,CAAC;YAC1B,CAAC;SACF;QACD,MAAM,CAAC,GAAG,IAAI,eAAe,EAAE,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,eAAK,EAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,IAAA,eAAK,EAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/ctl/check.test.d.ts

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

package/dist/tests/ctl/check.test.d.ts.map

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

package/dist/tests/ctl/check.test.js

@@ -0,0 +1,337 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const ctl_1 = require("../../profiles/ctl");
+function st(id, labels = []) {
+    return { id, labels: new Set(labels) };
+}
+const atom = (name) => ({ kind: 'atom', name });
+const not = (arg) => ({ kind: 'not', arg });
+const and = (...args) => ({ kind: 'and', args });
+const or = (...args) => ({ kind: 'or', args });
+const implies = (left, right) => ({
+    kind: 'implies',
+    left,
+    right,
+});
+const EX = (arg) => ({ kind: 'EX', arg });
+const AX = (arg) => ({ kind: 'AX', arg });
+const EF = (arg) => ({ kind: 'EF', arg });
+const AF = (arg) => ({ kind: 'AF', arg });
+const EG = (arg) => ({ kind: 'EG', arg });
+const AG = (arg) => ({ kind: 'AG', arg });
+const EU = (left, right) => ({
+    kind: 'EU',
+    left,
+    right,
+});
+const AU = (left, right) => ({
+    kind: 'AU',
+    left,
+    right,
+});
+(0, vitest_1.describe)('CTL — labelling base (EX/AX)', () => {
+    // Modelo lineal: s0 -> s1 -> s2, p en s1.
+    const M = {
+        states: [st('s0'), st('s1', ['p']), st('s2')],
+        transitions: [
+            ['s0', 's1'],
+            ['s1', 's2'],
+        ],
+        initial: ['s0'],
+    };
+    (0, vitest_1.it)('AX p se cumple en estados cuyos sucesores cumplen p', () => {
+        const sat = (0, ctl_1.modelCheckCTL)(M, AX(atom('p')));
+        (0, vitest_1.expect)(sat.get('s0')).toBe(true); // único sucesor s1 cumple p
+        (0, vitest_1.expect)(sat.get('s1')).toBe(false); // sucesor s2 no cumple p
+        (0, vitest_1.expect)(sat.get('s2')).toBe(true); // deadlock → AX vacuamente true
+    });
+    (0, vitest_1.it)('EX p se cumple si algún sucesor cumple p', () => {
+        const sat = (0, ctl_1.modelCheckCTL)(M, EX(atom('p')));
+        (0, vitest_1.expect)(sat.get('s0')).toBe(true);
+        (0, vitest_1.expect)(sat.get('s1')).toBe(false);
+        (0, vitest_1.expect)(sat.get('s2')).toBe(false); // deadlock → EX trivialmente false
+    });
+    (0, vitest_1.it)('satisfiesCTL evalúa solo sobre estados iniciales', () => {
+        (0, vitest_1.expect)((0, ctl_1.satisfiesCTL)(M, EX(atom('p')))).toBe(true);
+        (0, vitest_1.expect)((0, ctl_1.satisfiesCTL)(M, atom('p'))).toBe(false); // s0 no tiene p
+    });
+});
+(0, vitest_1.describe)('CTL — alcanzabilidad (EF / AF)', () => {
+    // Diamante: s0 → s1, s0 → s2, ambos → s3 (goal).
+    const M = {
+        states: [st('s0'), st('s1'), st('s2'), st('s3', ['goal'])],
+        transitions: [
+            ['s0', 's1'],
+            ['s0', 's2'],
+            ['s1', 's3'],
+            ['s2', 's3'],
+        ],
+        initial: ['s0'],
+    };
+    (0, vitest_1.it)('EF goal se cumple en todos los estados que alcanzan s3', () => {
+        const sat = (0, ctl_1.modelCheckCTL)(M, EF(atom('goal')));
+        (0, vitest_1.expect)(sat.get('s0')).toBe(true);
+        (0, vitest_1.expect)(sat.get('s1')).toBe(true);
+        (0, vitest_1.expect)(sat.get('s2')).toBe(true);
+        (0, vitest_1.expect)(sat.get('s3')).toBe(true);
+    });
+    (0, vitest_1.it)('AF goal se cumple si todos los caminos llegan a goal', () => {
+        const sat = (0, ctl_1.modelCheckCTL)(M, AF(atom('goal')));
+        (0, vitest_1.expect)(sat.get('s0')).toBe(true);
+        (0, vitest_1.expect)(sat.get('s3')).toBe(true);
+    });
+    (0, vitest_1.it)('AF detecta contraejemplo cuando un camino diverge sin tocar goal', () => {
+        const N = {
+            states: [st('a'), st('b', ['goal']), st('loop')],
+            transitions: [
+                ['a', 'b'],
+                ['a', 'loop'],
+                ['loop', 'loop'],
+            ],
+            initial: ['a'],
+        };
+        const sat = (0, ctl_1.modelCheckCTL)(N, AF(atom('goal')));
+        // a tiene un camino al loop sin goal → AF goal falso en a
+        (0, vitest_1.expect)(sat.get('a')).toBe(false);
+        (0, vitest_1.expect)((0, ctl_1.satisfiesCTL)(N, AF(atom('goal')))).toBe(false);
+    });
+});
+(0, vitest_1.describe)('CTL — invariantes globales (EG / AG)', () => {
+    // Ciclo: s0 ↔ s1 con p en ambos, más s2 sin p alcanzable desde s1.
+    const M = {
+        states: [st('s0', ['p']), st('s1', ['p']), st('s2')],
+        transitions: [
+            ['s0', 's1'],
+            ['s1', 's0'],
+            ['s1', 's2'],
+        ],
+        initial: ['s0'],
+    };
+    (0, vitest_1.it)('EG p se cumple en estados con un camino infinito de p', () => {
+        const sat = (0, ctl_1.modelCheckCTL)(M, EG(atom('p')));
+        (0, vitest_1.expect)(sat.get('s0')).toBe(true);
+        (0, vitest_1.expect)(sat.get('s1')).toBe(true);
+        (0, vitest_1.expect)(sat.get('s2')).toBe(false);
+    });
+    (0, vitest_1.it)('AG p falla cuando hay rama que escapa de p', () => {
+        const sat = (0, ctl_1.modelCheckCTL)(M, AG(atom('p')));
+        // desde s1 podemos llegar a s2 ¬p → AG p falla en s1 y s0
+        (0, vitest_1.expect)(sat.get('s0')).toBe(false);
+        (0, vitest_1.expect)(sat.get('s1')).toBe(false);
+    });
+    (0, vitest_1.it)('AG (p → AX q) — invariant pattern', () => {
+        const N = {
+            states: [st('r1', ['p']), st('r2', ['q']), st('r3', ['q'])],
+            transitions: [
+                ['r1', 'r2'],
+                ['r2', 'r3'],
+                ['r3', 'r2'],
+            ],
+            initial: ['r1'],
+        };
+        const phi = AG(implies(atom('p'), AX(atom('q'))));
+        (0, vitest_1.expect)((0, ctl_1.satisfiesCTL)(N, phi)).toBe(true);
+    });
+});
+(0, vitest_1.describe)('CTL — until (EU / AU)', () => {
+    // a → b → c, p en a y b, goal en c.
+    const M = {
+        states: [st('a', ['p']), st('b', ['p']), st('c', ['goal'])],
+        transitions: [
+            ['a', 'b'],
+            ['b', 'c'],
+            ['c', 'c'],
+        ],
+        initial: ['a'],
+    };
+    (0, vitest_1.it)('E[p U goal] vale en a', () => {
+        (0, vitest_1.expect)((0, ctl_1.satisfiesCTL)(M, EU(atom('p'), atom('goal')))).toBe(true);
+    });
+    (0, vitest_1.it)('EU con loop: A[p U goal] aún se cumple si todos los caminos llegan', () => {
+        (0, vitest_1.expect)((0, ctl_1.satisfiesCTL)(M, AU(atom('p'), atom('goal')))).toBe(true);
+    });
+    (0, vitest_1.it)('AU falla cuando una rama no llega al goal manteniendo p', () => {
+        const N = {
+            states: [st('s', ['p']), st('t', ['p']), st('u', ['goal']), st('v')],
+            transitions: [
+                ['s', 't'],
+                ['t', 'u'],
+                ['s', 'v'], // rama sin goal y sin p
+                ['v', 'v'],
+            ],
+            initial: ['s'],
+        };
+        (0, vitest_1.expect)((0, ctl_1.satisfiesCTL)(N, AU(atom('p'), atom('goal')))).toBe(false);
+        // EU sigue valiendo: existe camino s → t → u
+        (0, vitest_1.expect)((0, ctl_1.satisfiesCTL)(N, EU(atom('p'), atom('goal')))).toBe(true);
+    });
+});
+(0, vitest_1.describe)('CTL — operadores booleanos y constantes', () => {
+    const M = {
+        states: [st('x', ['p', 'q']), st('y', ['p'])],
+        transitions: [['x', 'y']],
+        initial: ['x'],
+    };
+    (0, vitest_1.it)('¬p, p∧q, p∨q, p→q se evalúan local', () => {
+        (0, vitest_1.expect)((0, ctl_1.modelCheckCTL)(M, not(atom('p'))).get('x')).toBe(false);
+        (0, vitest_1.expect)((0, ctl_1.modelCheckCTL)(M, and(atom('p'), atom('q'))).get('x')).toBe(true);
+        (0, vitest_1.expect)((0, ctl_1.modelCheckCTL)(M, and(atom('p'), atom('q'))).get('y')).toBe(false);
+        (0, vitest_1.expect)((0, ctl_1.modelCheckCTL)(M, or(atom('p'), atom('q'))).get('y')).toBe(true);
+        (0, vitest_1.expect)((0, ctl_1.modelCheckCTL)(M, implies(atom('q'), atom('p'))).get('y')).toBe(true);
+    });
+    (0, vitest_1.it)('⊤ y ⊥ son constantes', () => {
+        (0, vitest_1.expect)((0, ctl_1.modelCheckCTL)(M, { kind: 'true' }).get('x')).toBe(true);
+        (0, vitest_1.expect)((0, ctl_1.modelCheckCTL)(M, { kind: 'false' }).get('y')).toBe(false);
+    });
+});
+(0, vitest_1.describe)('CTL — casos degenerados', () => {
+    (0, vitest_1.it)('Modelo sin transiciones: EX p falso, AX p true por vacuidad', () => {
+        const M = {
+            states: [st('only', ['p'])],
+            transitions: [],
+            initial: ['only'],
+        };
+        (0, vitest_1.expect)((0, ctl_1.modelCheckCTL)(M, EX(atom('p'))).get('only')).toBe(false);
+        (0, vitest_1.expect)((0, ctl_1.modelCheckCTL)(M, AX(atom('p'))).get('only')).toBe(true);
+    });
+    (0, vitest_1.it)('Modelo vacío de estados iniciales: satisfiesCTL true por vacuidad', () => {
+        const M = {
+            states: [st('s', ['p'])],
+            transitions: [],
+            initial: [],
+        };
+        (0, vitest_1.expect)((0, ctl_1.satisfiesCTL)(M, atom('q'))).toBe(true);
+    });
+    (0, vitest_1.it)('Transición a estado desconocido lanza error', () => {
+        const bad = {
+            states: [st('s')],
+            transitions: [['s', 'ghost']],
+            initial: ['s'],
+        };
+        (0, vitest_1.expect)(() => (0, ctl_1.modelCheckCTL)(bad, atom('p'))).toThrow(/ghost/);
+    });
+});
+(0, vitest_1.describe)('CTL — witness paths', () => {
+    // grafo: a → b → c (goal)
+    const M = {
+        states: [st('a'), st('b'), st('c', ['goal'])],
+        transitions: [
+            ['a', 'b'],
+            ['b', 'c'],
+        ],
+        initial: ['a'],
+    };
+    (0, vitest_1.it)('witness para EF goal desde a es a → b → c', () => {
+        const path = (0, ctl_1.generateWitness)(M, EF(atom('goal')), 'a');
+        (0, vitest_1.expect)(path).toEqual(['a', 'b', 'c']);
+    });
+    (0, vitest_1.it)('witness para EX en deadlock devuelve null', () => {
+        const path = (0, ctl_1.generateWitness)(M, EX(atom('goal')), 'c');
+        (0, vitest_1.expect)(path).toBeNull();
+    });
+    (0, vitest_1.it)('witness para EU atraviesa estados que cumplen A', () => {
+        const N = {
+            states: [
+                st('s0', ['p']),
+                st('s1', ['p']),
+                st('s2', ['goal']),
+                st('bad'), // sin p y sin goal
+            ],
+            transitions: [
+                ['s0', 's1'],
+                ['s1', 's2'],
+                ['s0', 'bad'],
+                ['bad', 's2'],
+            ],
+            initial: ['s0'],
+        };
+        const path = (0, ctl_1.generateWitness)(N, EU(atom('p'), atom('goal')), 's0');
+        (0, vitest_1.expect)(path).not.toBeNull();
+        (0, vitest_1.expect)(path[0]).toBe('s0');
+        (0, vitest_1.expect)(path[path.length - 1]).toBe('s2');
+        // Todos los intermedios cumplen p; bad nunca aparece.
+        (0, vitest_1.expect)(path).not.toContain('bad');
+    });
+    (0, vitest_1.it)('witness para EG construye lasso (último elemento repite en el camino)', () => {
+        const N = {
+            states: [st('a', ['p']), st('b', ['p']), st('c', ['p'])],
+            transitions: [
+                ['a', 'b'],
+                ['b', 'c'],
+                ['c', 'b'],
+            ],
+            initial: ['a'],
+        };
+        const path = (0, ctl_1.generateWitness)(N, EG(atom('p')), 'a');
+        (0, vitest_1.expect)(path).not.toBeNull();
+        (0, vitest_1.expect)(path[0]).toBe('a');
+        // El último estado del path debe estar duplicado más atrás (loop back).
+        const last = path[path.length - 1];
+        const occurrences = path.filter((s) => s === last).length;
+        (0, vitest_1.expect)(occurrences).toBeGreaterThanOrEqual(2);
+    });
+    (0, vitest_1.it)('witness para fórmulas universales (AF/AG/AX/AU) devuelve null', () => {
+        (0, vitest_1.expect)((0, ctl_1.generateWitness)(M, AF(atom('goal')), 'a')).toBeNull();
+        (0, vitest_1.expect)((0, ctl_1.generateWitness)(M, AG({ kind: 'true' }), 'a')).toBeNull();
+        (0, vitest_1.expect)((0, ctl_1.generateWitness)(M, AX(atom('goal')), 'b')).toBeNull();
+        (0, vitest_1.expect)((0, ctl_1.generateWitness)(M, AU(atom('goal'), atom('goal')), 'a')).toBeNull();
+    });
+    (0, vitest_1.it)('witness con state desconocido devuelve null', () => {
+        (0, vitest_1.expect)((0, ctl_1.generateWitness)(M, EF(atom('goal')), 'ghost')).toBeNull();
+    });
+    (0, vitest_1.it)('witness cuando φ no se cumple en el estado devuelve null', () => {
+        const N = {
+            states: [st('p1'), st('p2')],
+            transitions: [['p1', 'p2']],
+            initial: ['p1'],
+        };
+        (0, vitest_1.expect)((0, ctl_1.generateWitness)(N, EF(atom('unreachable')), 'p1')).toBeNull();
+    });
+});
+(0, vitest_1.describe)('CTL — equivalencias clásicas', () => {
+    // Modelo arbitrario para comprobar ¬EX ¬φ ≡ AX φ, ¬EG ¬φ ≡ AF φ, ¬EF ¬φ ≡ AG φ.
+    const M = {
+        states: [st('s0', ['p']), st('s1', ['p']), st('s2'), st('s3', ['p'])],
+        transitions: [
+            ['s0', 's1'],
+            ['s1', 's2'],
+            ['s2', 's3'],
+            ['s3', 's3'],
+        ],
+        initial: ['s0'],
+    };
+    (0, vitest_1.it)('AX p ≡ ¬EX ¬p en cada estado', () => {
+        const axp = (0, ctl_1.modelCheckCTL)(M, AX(atom('p')));
+        const negExNeg = (0, ctl_1.modelCheckCTL)(M, not(EX(not(atom('p')))));
+        for (const id of ['s0', 's1', 's2', 's3']) {
+            (0, vitest_1.expect)(axp.get(id)).toBe(negExNeg.get(id));
+        }
+    });
+    (0, vitest_1.it)('AF p ≡ ¬EG ¬p en cada estado', () => {
+        const afp = (0, ctl_1.modelCheckCTL)(M, AF(atom('p')));
+        const negEgNeg = (0, ctl_1.modelCheckCTL)(M, not(EG(not(atom('p')))));
+        for (const id of ['s0', 's1', 's2', 's3']) {
+            (0, vitest_1.expect)(afp.get(id)).toBe(negEgNeg.get(id));
+        }
+    });
+    (0, vitest_1.it)('AG p ≡ ¬EF ¬p en cada estado', () => {
+        const agp = (0, ctl_1.modelCheckCTL)(M, AG(atom('p')));
+        const negEfNeg = (0, ctl_1.modelCheckCTL)(M, not(EF(not(atom('p')))));
+        for (const id of ['s0', 's1', 's2', 's3']) {
+            (0, vitest_1.expect)(agp.get(id)).toBe(negEfNeg.get(id));
+        }
+    });
+});
+(0, vitest_1.describe)('CTL — utilidades', () => {
+    (0, vitest_1.it)('ctlToString renderiza los operadores principales', () => {
+        (0, vitest_1.expect)((0, ctl_1.ctlToString)(EX(atom('p')))).toBe('EX p');
+        (0, vitest_1.expect)((0, ctl_1.ctlToString)(AG(implies(atom('p'), AX(atom('q')))))).toContain('AG');
+        (0, vitest_1.expect)((0, ctl_1.ctlToString)(EU(atom('a'), atom('b')))).toBe('E[a U b]');
+        (0, vitest_1.expect)((0, ctl_1.ctlToString)(AU(atom('a'), atom('b')))).toBe('A[a U b]');
+        (0, vitest_1.expect)((0, ctl_1.ctlToString)(not(atom('p')))).toBe('¬p');
+        (0, vitest_1.expect)((0, ctl_1.ctlToString)({ kind: 'true' })).toBe('⊤');
+        (0, vitest_1.expect)((0, ctl_1.ctlToString)({ kind: 'false' })).toBe('⊥');
+    });
+});
+//# sourceMappingURL=check.test.js.map

package/dist/tests/ctl/check.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"check.test.js","sourceRoot":"","sources":["../../../src/tests/ctl/check.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,4CAA+F;AAG/F,SAAS,EAAE,CAAC,EAAU,EAAE,SAAmB,EAAE;IAC3C,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;AACzC,CAAC;AAED,MAAM,IAAI,GAAG,CAAC,IAAY,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;AACpE,MAAM,GAAG,GAAG,CAAC,GAAe,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;AACpE,MAAM,GAAG,GAAG,CAAC,GAAG,IAAkB,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AAC3E,MAAM,EAAE,GAAG,CAAC,GAAG,IAAkB,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;AACzE,MAAM,OAAO,GAAG,CAAC,IAAgB,EAAE,KAAiB,EAAc,EAAE,CAAC,CAAC;IACpE,IAAI,EAAE,SAAS;IACf,IAAI;IACJ,KAAK;CACN,CAAC,CAAC;AACH,MAAM,EAAE,GAAG,CAAC,GAAe,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAClE,MAAM,EAAE,GAAG,CAAC,GAAe,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAClE,MAAM,EAAE,GAAG,CAAC,GAAe,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAClE,MAAM,EAAE,GAAG,CAAC,GAAe,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAClE,MAAM,EAAE,GAAG,CAAC,GAAe,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAClE,MAAM,EAAE,GAAG,CAAC,GAAe,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAClE,MAAM,EAAE,GAAG,CAAC,IAAgB,EAAE,KAAiB,EAAc,EAAE,CAAC,CAAC;IAC/D,IAAI,EAAE,IAAI;IACV,IAAI;IACJ,KAAK;CACN,CAAC,CAAC;AACH,MAAM,EAAE,GAAG,CAAC,IAAgB,EAAE,KAAiB,EAAc,EAAE,CAAC,CAAC;IAC/D,IAAI,EAAE,IAAI;IACV,IAAI;IACJ,KAAK;CACN,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,0CAA0C;IAC1C,MAAM,CAAC,GAAoB;QACzB,MAAM,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;QAC7C,WAAW,EAAE;YACX,CAAC,IAAI,EAAE,IAAI,CAAC;YACZ,CAAC,IAAI,EAAE,IAAI,CAAC;SACb;QACD,OAAO,EAAE,CAAC,IAAI,CAAC;KAChB,CAAC;IAEF,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,GAAG,GAAG,IAAA,mBAAa,EAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,4BAA4B;QAC9D,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,yBAAyB;QAC5D,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,gCAAgC;IACpE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,GAAG,GAAG,IAAA,mBAAa,EAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,mCAAmC;IACxE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,IAAA,eAAM,EAAC,IAAA,kBAAY,EAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,IAAA,kBAAY,EAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,gBAAgB;IAClE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,iDAAiD;IACjD,MAAM,CAAC,GAAoB;QACzB,MAAM,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;QAC1D,WAAW,EAAE;YACX,CAAC,IAAI,EAAE,IAAI,CAAC;YACZ,CAAC,IAAI,EAAE,IAAI,CAAC;YACZ,CAAC,IAAI,EAAE,IAAI,CAAC;YACZ,CAAC,IAAI,EAAE,IAAI,CAAC;SACb;QACD,OAAO,EAAE,CAAC,IAAI,CAAC;KAChB,CAAC;IAEF,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,GAAG,GAAG,IAAA,mBAAa,EAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,GAAG,GAAG,IAAA,mBAAa,EAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,CAAC,GAAoB;YACzB,MAAM,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;YAChD,WAAW,EAAE;gBACX,CAAC,GAAG,EAAE,GAAG,CAAC;gBACV,CAAC,GAAG,EAAE,MAAM,CAAC;gBACb,CAAC,MAAM,EAAE,MAAM,CAAC;aACjB;YACD,OAAO,EAAE,CAAC,GAAG,CAAC;SACf,CAAC;QACF,MAAM,GAAG,GAAG,IAAA,mBAAa,EAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC/C,0DAA0D;QAC1D,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAA,kBAAY,EAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,mEAAmE;IACnE,MAAM,CAAC,GAAoB;QACzB,MAAM,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;QACpD,WAAW,EAAE;YACX,CAAC,IAAI,EAAE,IAAI,CAAC;YACZ,CAAC,IAAI,EAAE,IAAI,CAAC;YACZ,CAAC,IAAI,EAAE,IAAI,CAAC;SACb;QACD,OAAO,EAAE,CAAC,IAAI,CAAC;KAChB,CAAC;IAEF,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,GAAG,GAAG,IAAA,mBAAa,EAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,GAAG,GAAG,IAAA,mBAAa,EAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC5C,0DAA0D;QAC1D,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAoB;YACzB,MAAM,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YAC3D,WAAW,EAAE;gBACX,CAAC,IAAI,EAAE,IAAI,CAAC;gBACZ,CAAC,IAAI,EAAE,IAAI,CAAC;gBACZ,CAAC,IAAI,EAAE,IAAI,CAAC;aACb;YACD,OAAO,EAAE,CAAC,IAAI,CAAC;SAChB,CAAC;QACF,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,IAAA,kBAAY,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,oCAAoC;IACpC,MAAM,CAAC,GAAoB;QACzB,MAAM,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;QAC3D,WAAW,EAAE;YACX,CAAC,GAAG,EAAE,GAAG,CAAC;YACV,CAAC,GAAG,EAAE,GAAG,CAAC;YACV,CAAC,GAAG,EAAE,GAAG,CAAC;SACX;QACD,OAAO,EAAE,CAAC,GAAG,CAAC;KACf,CAAC;IAEF,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,IAAA,eAAM,EAAC,IAAA,kBAAY,EAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,IAAA,eAAM,EAAC,IAAA,kBAAY,EAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,GAAoB;YACzB,MAAM,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC;YACpE,WAAW,EAAE;gBACX,CAAC,GAAG,EAAE,GAAG,CAAC;gBACV,CAAC,GAAG,EAAE,GAAG,CAAC;gBACV,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,wBAAwB;gBACpC,CAAC,GAAG,EAAE,GAAG,CAAC;aACX;YACD,OAAO,EAAE,CAAC,GAAG,CAAC;SACf,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,kBAAY,EAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjE,6CAA6C;QAC7C,IAAA,eAAM,EAAC,IAAA,kBAAY,EAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,MAAM,CAAC,GAAoB;QACzB,MAAM,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7C,WAAW,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACzB,OAAO,EAAE,CAAC,GAAG,CAAC;KACf,CAAC;IAEF,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,IAAA,eAAM,EAAC,IAAA,mBAAa,EAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,IAAA,mBAAa,EAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxE,IAAA,eAAM,EAAC,IAAA,mBAAa,EAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,IAAA,mBAAa,EAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,IAAA,mBAAa,EAAC,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,IAAA,eAAM,EAAC,IAAA,mBAAa,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,IAAA,mBAAa,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,CAAC,GAAoB;YACzB,MAAM,EAAE,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YAC3B,WAAW,EAAE,EAAE;YACf,OAAO,EAAE,CAAC,MAAM,CAAC;SAClB,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,mBAAa,EAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,IAAA,mBAAa,EAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,CAAC,GAAoB;YACzB,MAAM,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YACxB,WAAW,EAAE,EAAE;YACf,OAAO,EAAE,EAAE;SACZ,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,kBAAY,EAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,GAAG,GAAoB;YAC3B,MAAM,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;YACjB,WAAW,EAAE,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;YAC7B,OAAO,EAAE,CAAC,GAAG,CAAC;SACf,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,mBAAa,EAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,0BAA0B;IAC1B,MAAM,CAAC,GAAoB;QACzB,MAAM,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;QAC7C,WAAW,EAAE;YACX,CAAC,GAAG,EAAE,GAAG,CAAC;YACV,CAAC,GAAG,EAAE,GAAG,CAAC;SACX;QACD,OAAO,EAAE,CAAC,GAAG,CAAC;KACf,CAAC;IAEF,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,IAAI,GAAG,IAAA,qBAAe,EAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,IAAI,GAAG,IAAA,qBAAe,EAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,GAAoB;YACzB,MAAM,EAAE;gBACN,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC;gBACf,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC;gBACf,EAAE,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,CAAC;gBAClB,EAAE,CAAC,KAAK,CAAC,EAAE,mBAAmB;aAC/B;YACD,WAAW,EAAE;gBACX,CAAC,IAAI,EAAE,IAAI,CAAC;gBACZ,CAAC,IAAI,EAAE,IAAI,CAAC;gBACZ,CAAC,IAAI,EAAE,KAAK,CAAC;gBACb,CAAC,KAAK,EAAE,IAAI,CAAC;aACd;YACD,OAAO,EAAE,CAAC,IAAI,CAAC;SAChB,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,qBAAe,EAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACnE,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC5B,IAAA,eAAM,EAAC,IAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,IAAK,CAAC,IAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3C,sDAAsD;QACtD,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,CAAC,GAAoB;YACzB,MAAM,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YACxD,WAAW,EAAE;gBACX,CAAC,GAAG,EAAE,GAAG,CAAC;gBACV,CAAC,GAAG,EAAE,GAAG,CAAC;gBACV,CAAC,GAAG,EAAE,GAAG,CAAC;aACX;YACD,OAAO,EAAE,CAAC,GAAG,CAAC;SACf,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,qBAAe,EAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC5B,IAAA,eAAM,EAAC,IAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3B,wEAAwE;QACxE,MAAM,IAAI,GAAG,IAAK,CAAC,IAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACrC,MAAM,WAAW,GAAG,IAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,MAAM,CAAC;QAC3D,IAAA,eAAM,EAAC,WAAW,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,IAAA,eAAM,EAAC,IAAA,qBAAe,EAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC7D,IAAA,eAAM,EAAC,IAAA,qBAAe,EAAC,CAAC,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QACjE,IAAA,eAAM,EAAC,IAAA,qBAAe,EAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC7D,IAAA,eAAM,EAAC,IAAA,qBAAe,EAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC7E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,IAAA,eAAM,EAAC,IAAA,qBAAe,EAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,CAAC,GAAoB;YACzB,MAAM,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;YAC5B,WAAW,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAC3B,OAAO,EAAE,CAAC,IAAI,CAAC;SAChB,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,qBAAe,EAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACvE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,gFAAgF;IAChF,MAAM,CAAC,GAAoB;QACzB,MAAM,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACrE,WAAW,EAAE;YACX,CAAC,IAAI,EAAE,IAAI,CAAC;YACZ,CAAC,IAAI,EAAE,IAAI,CAAC;YACZ,CAAC,IAAI,EAAE,IAAI,CAAC;YACZ,CAAC,IAAI,EAAE,IAAI,CAAC;SACb;QACD,OAAO,EAAE,CAAC,IAAI,CAAC;KAChB,CAAC;IAEF,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,GAAG,GAAG,IAAA,mBAAa,EAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC5C,MAAM,QAAQ,GAAG,IAAA,mBAAa,EAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3D,KAAK,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;YAC1C,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,GAAG,GAAG,IAAA,mBAAa,EAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC5C,MAAM,QAAQ,GAAG,IAAA,mBAAa,EAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3D,KAAK,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;YAC1C,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,GAAG,GAAG,IAAA,mBAAa,EAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC5C,MAAM,QAAQ,GAAG,IAAA,mBAAa,EAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3D,KAAK,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;YAC1C,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,IAAA,eAAM,EAAC,IAAA,iBAAW,EAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,IAAA,iBAAW,EAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC3E,IAAA,eAAM,EAAC,IAAA,iBAAW,EAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,IAAA,iBAAW,EAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,IAAA,iBAAW,EAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,IAAA,iBAAW,EAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,IAAA,iBAAW,EAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/curry-howard/infer.test.d.ts

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

package/dist/tests/curry-howard/infer.test.d.ts.map

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