@stevenvo780/st-lang 4.0.0 → 4.1.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/text-layer-v2/mdx-bridge/mdx-bridge.test.d.ts

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

package/dist/tests/text-layer-v2/mdx-bridge/mdx-bridge.test.d.ts.map

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

package/dist/tests/text-layer-v2/mdx-bridge/mdx-bridge.test.js

@@ -0,0 +1,200 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const v2_1 = require("../../../text-layer/v2");
+const mk = (id, formula = `F_${id}`, profile = 'classical.propositional', dependencies = []) => ({ id, formula, profile, dependencies });
+(0, vitest_1.describe)('mdxToClaims — comment style', () => {
+    (0, vitest_1.it)('extrae 2 claims comment-style con ids correctos', () => {
+        const mdx = [
+            '# Documento',
+            'Aquí afirmo que <!-- st:claim id="c1" profile="classical.propositional" formula="A->B" --> es válido.',
+            '',
+            'Y también que <!-- st:claim id="c2" profile="classical.propositional" formula="B->C" deps="c1" --> sigue.',
+        ].join('\n');
+        const claims = (0, v2_1.mdxToClaims)(mdx);
+        (0, vitest_1.expect)(claims).toHaveLength(2);
+        (0, vitest_1.expect)(claims.map((c) => c.id)).toEqual(['c1', 'c2']);
+        (0, vitest_1.expect)(claims[0]?.formula).toBe('A->B');
+        (0, vitest_1.expect)(claims[1]?.dependencies).toEqual(['c1']);
+        (0, vitest_1.expect)(claims[0]?.profile).toBe('classical.propositional');
+    });
+    (0, vitest_1.it)('soporta comillas simples y sin comillas en atributos', () => {
+        const mdx = `<!-- st:claim id='c1' profile=classical formula="A&B" -->`;
+        const claims = (0, v2_1.mdxToClaims)(mdx);
+        (0, vitest_1.expect)(claims).toHaveLength(1);
+        (0, vitest_1.expect)(claims[0]?.id).toBe('c1');
+        (0, vitest_1.expect)(claims[0]?.profile).toBe('classical');
+        (0, vitest_1.expect)(claims[0]?.formula).toBe('A&B');
+    });
+});
+(0, vitest_1.describe)('mdxToClaims — fence style', () => {
+    (0, vitest_1.it)('extrae 3 claims fence-style', () => {
+        const mdx = [
+            '# Doc',
+            '',
+            '```st-claim id=c1 profile=classical.propositional',
+            'A -> B',
+            '```',
+            '',
+            'Prosa intermedia.',
+            '',
+            '```st-claim id=c2 profile=classical.propositional deps=c1',
+            '(A -> B) & A',
+            '```',
+            '',
+            '```st-claim id=c3 profile=classical.propositional deps=c1,c2',
+            'B',
+            '```',
+        ].join('\n');
+        const claims = (0, v2_1.mdxToClaims)(mdx);
+        (0, vitest_1.expect)(claims).toHaveLength(3);
+        (0, vitest_1.expect)(claims.map((c) => c.id)).toEqual(['c1', 'c2', 'c3']);
+        (0, vitest_1.expect)(claims[2]?.dependencies).toEqual(['c1', 'c2']);
+        (0, vitest_1.expect)(claims[1]?.formula).toBe('(A -> B) & A');
+    });
+    (0, vitest_1.it)('preserva formula multi-línea en fence', () => {
+        const mdx = ['```st-claim id=c1 profile=p', 'A & B', '& C', '```'].join('\n');
+        const claims = (0, v2_1.mdxToClaims)(mdx);
+        (0, vitest_1.expect)(claims).toHaveLength(1);
+        (0, vitest_1.expect)(claims[0]?.formula).toBe('A & B\n& C');
+    });
+});
+(0, vitest_1.describe)('mdxToClaims — edge cases', () => {
+    (0, vitest_1.it)('MDX sin claims devuelve array vacío', () => {
+        (0, vitest_1.expect)((0, v2_1.mdxToClaims)('# Solo prosa\n\nNada aquí.')).toEqual([]);
+        (0, vitest_1.expect)((0, v2_1.mdxToClaims)('')).toEqual([]);
+    });
+    (0, vitest_1.it)('ignora bloque malformado sin id y acumula warning', () => {
+        const mdx = [
+            '<!-- st:claim profile="p" formula="A" -->', // sin id
+            '<!-- st:claim id="ok" profile="p" formula="B" -->',
+        ].join('\n');
+        const { claims, warnings } = (0, v2_1.mdxToClaimsDetailed)(mdx);
+        (0, vitest_1.expect)(claims).toHaveLength(1);
+        (0, vitest_1.expect)(claims[0]?.id).toBe('ok');
+        (0, vitest_1.expect)(warnings).toHaveLength(1);
+        (0, vitest_1.expect)(warnings[0]?.message).toMatch(/sin id/);
+    });
+    (0, vitest_1.it)('ignora fence sin profile y acumula warning', () => {
+        const mdx = ['```st-claim id=c1', 'A', '```'].join('\n');
+        const { claims, warnings } = (0, v2_1.mdxToClaimsDetailed)(mdx);
+        (0, vitest_1.expect)(claims).toHaveLength(0);
+        (0, vitest_1.expect)(warnings).toHaveLength(1);
+        (0, vitest_1.expect)(warnings[0]?.message).toMatch(/sin profile/);
+    });
+    (0, vitest_1.it)('ignora claim duplicada y acumula warning', () => {
+        const mdx = [
+            '<!-- st:claim id="c1" profile="p" formula="A" -->',
+            '<!-- st:claim id="c1" profile="p" formula="B" -->',
+        ].join('\n');
+        const { claims, warnings } = (0, v2_1.mdxToClaimsDetailed)(mdx);
+        (0, vitest_1.expect)(claims).toHaveLength(1);
+        (0, vitest_1.expect)(claims[0]?.formula).toBe('A');
+        (0, vitest_1.expect)(warnings.some((w) => /duplicado/.test(w.message))).toBe(true);
+    });
+    (0, vitest_1.it)('no lanza con MDX completamente roto', () => {
+        (0, vitest_1.expect)(() => (0, v2_1.mdxToClaims)('<!-- st:claim incompleto')).not.toThrow();
+        (0, vitest_1.expect)(() => (0, v2_1.mdxToClaims)('```st-claim sin-cierre\nA')).not.toThrow();
+    });
+    (0, vitest_1.it)('rawBlock preserva el texto original del bloque', () => {
+        const block = '<!-- st:claim id="c1" profile="p" formula="A" -->';
+        const claims = (0, v2_1.mdxToClaims)(`pre ${block} post`);
+        (0, vitest_1.expect)(claims[0]?.rawBlock).toBe(block);
+    });
+});
+(0, vitest_1.describe)('claimsToMDX', () => {
+    (0, vitest_1.it)('emite formato fence por default', () => {
+        const out = (0, v2_1.claimsToMDX)([mk('c1', 'A->B')]);
+        (0, vitest_1.expect)(out).toContain('```st-claim');
+        (0, vitest_1.expect)(out).toContain('id=c1');
+        (0, vitest_1.expect)(out).toContain('A->B');
+        (0, vitest_1.expect)(out.trim().endsWith('```')).toBe(true);
+    });
+    (0, vitest_1.it)('emite formato comment cuando se pide', () => {
+        const out = (0, v2_1.claimsToMDX)([mk('c1', 'A->B')], { template: 'comment' });
+        (0, vitest_1.expect)(out).toContain('<!-- st:claim');
+        (0, vitest_1.expect)(out).toContain('id="c1"');
+        (0, vitest_1.expect)(out).toContain('formula="A->B"');
+        (0, vitest_1.expect)(out).toContain('-->');
+    });
+    (0, vitest_1.it)('serializa dependencies como csv', () => {
+        const out = (0, v2_1.claimsToMDX)([mk('c2', 'B', 'p', ['c1', 'c0'])], { template: 'comment' });
+        (0, vitest_1.expect)(out).toContain('deps="c1,c0"');
+    });
+    (0, vitest_1.it)('omite deps cuando está vacío', () => {
+        const out = (0, v2_1.claimsToMDX)([mk('c1', 'A')], { template: 'comment' });
+        (0, vitest_1.expect)(out).not.toContain('deps=');
+    });
+});
+(0, vitest_1.describe)('round-trip claimsToMDX → mdxToClaims', () => {
+    const sample = [
+        mk('c1', 'A -> B', 'classical.propositional', []),
+        mk('c2', '(A -> B) & A', 'classical.propositional', ['c1']),
+        mk('c3', 'B', 'classical.propositional', ['c1', 'c2']),
+    ];
+    (0, vitest_1.it)('preserva claims con template fence', () => {
+        const mdx = (0, v2_1.claimsToMDX)(sample, { template: 'fence' });
+        const parsed = (0, v2_1.mdxToClaims)(mdx).map(v2_1.stripMDXMetadata);
+        (0, vitest_1.expect)(parsed).toEqual(sample);
+    });
+    (0, vitest_1.it)('preserva claims con template comment', () => {
+        const mdx = (0, v2_1.claimsToMDX)(sample, { template: 'comment' });
+        const parsed = (0, v2_1.mdxToClaims)(mdx).map(v2_1.stripMDXMetadata);
+        (0, vitest_1.expect)(parsed).toEqual(sample);
+    });
+});
+(0, vitest_1.describe)('diffMDX', () => {
+    (0, vitest_1.it)('detecta add, modify y remove correctamente', () => {
+        const before = (0, v2_1.claimsToMDX)([mk('c1', 'A', 'p', []), mk('c2', 'B', 'p', ['c1']), mk('c3', 'C', 'p', [])], { template: 'fence' });
+        const after = (0, v2_1.claimsToMDX)([
+            mk('c1', 'A', 'p', []), // sin cambios
+            mk('c2', 'B & X', 'p', ['c1']), // modificada
+            // c3 eliminada
+            mk('c4', 'D', 'p', ['c1']), // añadida
+        ], { template: 'fence' });
+        const delta = (0, v2_1.diffMDX)(before, after);
+        (0, vitest_1.expect)(delta.added.map((c) => c.id)).toEqual(['c4']);
+        (0, vitest_1.expect)(delta.removed).toEqual(['c3']);
+        (0, vitest_1.expect)(delta.modified.map((m) => m.id)).toEqual(['c2']);
+        (0, vitest_1.expect)(delta.modified[0]?.before.formula).toBe('B');
+        (0, vitest_1.expect)(delta.modified[0]?.after.formula).toBe('B & X');
+    });
+    (0, vitest_1.it)('cambio en profile cuenta como modified', () => {
+        const before = (0, v2_1.claimsToMDX)([mk('c1', 'A', 'classical.propositional', [])]);
+        const after = (0, v2_1.claimsToMDX)([mk('c1', 'A', 'intuitionistic.propositional', [])]);
+        const delta = (0, v2_1.diffMDX)(before, after);
+        (0, vitest_1.expect)(delta.modified).toHaveLength(1);
+        (0, vitest_1.expect)(delta.added).toEqual([]);
+        (0, vitest_1.expect)(delta.removed).toEqual([]);
+    });
+    (0, vitest_1.it)('cambio en dependencies cuenta como modified', () => {
+        const before = (0, v2_1.claimsToMDX)([mk('c1', 'A', 'p', ['x'])]);
+        const after = (0, v2_1.claimsToMDX)([mk('c1', 'A', 'p', ['x', 'y'])]);
+        const delta = (0, v2_1.diffMDX)(before, after);
+        (0, vitest_1.expect)(delta.modified).toHaveLength(1);
+        (0, vitest_1.expect)(delta.modified[0]?.after.dependencies).toEqual(['x', 'y']);
+    });
+    (0, vitest_1.it)('orden de dependencies no cuenta como modified', () => {
+        const before = (0, v2_1.claimsToMDX)([mk('c1', 'A', 'p', ['x', 'y'])]);
+        const after = (0, v2_1.claimsToMDX)([mk('c1', 'A', 'p', ['y', 'x'])]);
+        const delta = (0, v2_1.diffMDX)(before, after);
+        (0, vitest_1.expect)(delta.modified).toEqual([]);
+    });
+    (0, vitest_1.it)('MDX idéntico → delta vacío', () => {
+        const mdx = (0, v2_1.claimsToMDX)([mk('c1', 'A', 'p', []), mk('c2', 'B', 'p', ['c1'])]);
+        (0, vitest_1.expect)((0, v2_1.diffMDX)(mdx, mdx)).toEqual({ added: [], removed: [], modified: [] });
+    });
+    (0, vitest_1.it)('mezcla comment y fence en mismo MDX', () => {
+        const mdx = [
+            '<!-- st:claim id="c1" profile="p" formula="A" -->',
+            '',
+            '```st-claim id=c2 profile=p deps=c1',
+            'B',
+            '```',
+        ].join('\n');
+        const claims = (0, v2_1.mdxToClaims)(mdx);
+        (0, vitest_1.expect)(claims).toHaveLength(2);
+        (0, vitest_1.expect)(claims.map((c) => c.id)).toEqual(['c1', 'c2']);
+    });
+});
+//# sourceMappingURL=mdx-bridge.test.js.map

package/dist/tests/text-layer-v2/mdx-bridge/mdx-bridge.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mdx-bridge.test.js","sourceRoot":"","sources":["../../../../src/tests/text-layer-v2/mdx-bridge/mdx-bridge.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAE9C,+CAOgC;AAEhC,MAAM,EAAE,GAAG,CACT,EAAU,EACV,OAAO,GAAG,KAAK,EAAE,EAAE,EACnB,OAAO,GAAG,yBAAyB,EACnC,eAAyB,EAAE,EACpB,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC,CAAC;AAErD,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,GAAG,GAAG;YACV,aAAa;YACb,uGAAuG;YACvG,EAAE;YACF,2GAA2G;SAC5G,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAEb,MAAM,MAAM,GAAG,IAAA,gBAAW,EAAC,GAAG,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,GAAG,GAAG,2DAA2D,CAAC;QACxE,MAAM,MAAM,GAAG,IAAA,gBAAW,EAAC,GAAG,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,GAAG,GAAG;YACV,OAAO;YACP,EAAE;YACF,mDAAmD;YACnD,QAAQ;YACR,KAAK;YACL,EAAE;YACF,mBAAmB;YACnB,EAAE;YACF,2DAA2D;YAC3D,cAAc;YACd,KAAK;YACL,EAAE;YACF,8DAA8D;YAC9D,GAAG;YACH,KAAK;SACN,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAEb,MAAM,MAAM,GAAG,IAAA,gBAAW,EAAC,GAAG,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,GAAG,GAAG,CAAC,6BAA6B,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9E,MAAM,MAAM,GAAG,IAAA,gBAAW,EAAC,GAAG,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,IAAA,eAAM,EAAC,IAAA,gBAAW,EAAC,4BAA4B,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,IAAA,gBAAW,EAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,GAAG,GAAG;YACV,2CAA2C,EAAE,SAAS;YACtD,mDAAmD;SACpD,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACb,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,IAAA,wBAAmB,EAAC,GAAG,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,GAAG,GAAG,CAAC,mBAAmB,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzD,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,IAAA,wBAAmB,EAAC,GAAG,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,GAAG,GAAG;YACV,mDAAmD;YACnD,mDAAmD;SACpD,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACb,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,IAAA,wBAAmB,EAAC,GAAG,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,gBAAW,EAAC,0BAA0B,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;QACpE,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,gBAAW,EAAC,2BAA2B,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,KAAK,GAAG,mDAAmD,CAAC;QAClE,MAAM,MAAM,GAAG,IAAA,gBAAW,EAAC,OAAO,KAAK,OAAO,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,GAAG,GAAG,IAAA,gBAAW,EAAC,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,GAAG,GAAG,IAAA,gBAAW,EAAC,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC;QACrE,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,GAAG,GAAG,IAAA,gBAAW,EAAC,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC;QACrF,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,GAAG,GAAG,IAAA,gBAAW,EAAC,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC;QAClE,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,MAAM,MAAM,GAAY;QACtB,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,yBAAyB,EAAE,EAAE,CAAC;QACjD,EAAE,CAAC,IAAI,EAAE,cAAc,EAAE,yBAAyB,EAAE,CAAC,IAAI,CAAC,CAAC;QAC3D,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,yBAAyB,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;KACvD,CAAC;IAEF,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,GAAG,GAAG,IAAA,gBAAW,EAAC,MAAM,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;QACvD,MAAM,MAAM,GAAG,IAAA,gBAAW,EAAC,GAAG,CAAC,CAAC,GAAG,CAAC,qBAAgB,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,GAAG,GAAG,IAAA,gBAAW,EAAC,MAAM,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC;QACzD,MAAM,MAAM,GAAG,IAAA,gBAAW,EAAC,GAAG,CAAC,CAAC,GAAG,CAAC,qBAAgB,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,SAAS,EAAE,GAAG,EAAE;IACvB,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,MAAM,GAAG,IAAA,gBAAW,EACxB,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,EAC5E,EAAE,QAAQ,EAAE,OAAO,EAAE,CACtB,CAAC;QACF,MAAM,KAAK,GAAG,IAAA,gBAAW,EACvB;YACE,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,cAAc;YACtC,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,aAAa;YAC7C,eAAe;YACf,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,UAAU;SACvC,EACD,EAAE,QAAQ,EAAE,OAAO,EAAE,CACtB,CAAC;QAEF,MAAM,KAAK,GAAG,IAAA,YAAO,EAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,KAAK,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,MAAM,GAAG,IAAA,gBAAW,EAAC,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,yBAAyB,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QAC3E,MAAM,KAAK,GAAG,IAAA,gBAAW,EAAC,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,8BAA8B,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/E,MAAM,KAAK,GAAG,IAAA,YAAO,EAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,KAAK,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,MAAM,GAAG,IAAA,gBAAW,EAAC,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,MAAM,KAAK,GAAG,IAAA,gBAAW,EAAC,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5D,MAAM,KAAK,GAAG,IAAA,YAAO,EAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,MAAM,GAAG,IAAA,gBAAW,EAAC,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7D,MAAM,KAAK,GAAG,IAAA,gBAAW,EAAC,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5D,MAAM,KAAK,GAAG,IAAA,YAAO,EAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,GAAG,GAAG,IAAA,gBAAW,EAAC,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9E,IAAA,eAAM,EAAC,IAAA,YAAO,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,GAAG,GAAG;YACV,mDAAmD;YACnD,EAAE;YACF,qCAAqC;YACrC,GAAG;YACH,KAAK;SACN,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACb,MAAM,MAAM,GAAG,IAAA,gBAAW,EAAC,GAAG,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/text-layer/v2/index.d.ts

@@ -3,4 +3,6 @@
  */
 export type { Claim, ClaimValidation, ClaimSource, ClaimEvaluator } from './types';
 export { ClaimGraph, CycleError } from './claim-graph';
+export { mdxToClaims, mdxToClaimsDetailed, claimsToMDX, diffMDX, stripMDXMetadata, } from './mdx-bridge';
+export type { MDXClaim, MDXClaimTemplate, ClaimsToMDXOptions, MDXDelta, MDXParseWarning, MDXParseResult, } from './mdx-bridge';
 //# sourceMappingURL=index.d.ts.map

package/dist/text-layer/v2/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/text-layer/v2/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,YAAY,EAAE,KAAK,EAAE,eAAe,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,SAAS,CAAC;AACnF,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/text-layer/v2/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,YAAY,EAAE,KAAK,EAAE,eAAe,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,SAAS,CAAC;AACnF,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AACvD,OAAO,EACL,WAAW,EACX,mBAAmB,EACnB,WAAW,EACX,OAAO,EACP,gBAAgB,GACjB,MAAM,cAAc,CAAC;AACtB,YAAY,EACV,QAAQ,EACR,gBAAgB,EAChB,kBAAkB,EAClB,QAAQ,EACR,eAAe,EACf,cAAc,GACf,MAAM,cAAc,CAAC"}

package/dist/text-layer/v2/index.js

@@ -3,8 +3,14 @@
  * ST Text Layer 2.0 — entry point.
  */
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.CycleError = exports.ClaimGraph = void 0;
+exports.stripMDXMetadata = exports.diffMDX = exports.claimsToMDX = exports.mdxToClaimsDetailed = exports.mdxToClaims = exports.CycleError = exports.ClaimGraph = void 0;
 var claim_graph_1 = require("./claim-graph");
 Object.defineProperty(exports, "ClaimGraph", { enumerable: true, get: function () { return claim_graph_1.ClaimGraph; } });
 Object.defineProperty(exports, "CycleError", { enumerable: true, get: function () { return claim_graph_1.CycleError; } });
+var mdx_bridge_1 = require("./mdx-bridge");
+Object.defineProperty(exports, "mdxToClaims", { enumerable: true, get: function () { return mdx_bridge_1.mdxToClaims; } });
+Object.defineProperty(exports, "mdxToClaimsDetailed", { enumerable: true, get: function () { return mdx_bridge_1.mdxToClaimsDetailed; } });
+Object.defineProperty(exports, "claimsToMDX", { enumerable: true, get: function () { return mdx_bridge_1.claimsToMDX; } });
+Object.defineProperty(exports, "diffMDX", { enumerable: true, get: function () { return mdx_bridge_1.diffMDX; } });
+Object.defineProperty(exports, "stripMDXMetadata", { enumerable: true, get: function () { return mdx_bridge_1.stripMDXMetadata; } });
 //# sourceMappingURL=index.js.map

package/dist/text-layer/v2/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/text-layer/v2/index.ts"],"names":[],"mappings":";AAAA;;GAEG;;;AAGH,6CAAuD;AAA9C,yGAAA,UAAU,OAAA;AAAE,yGAAA,UAAU,OAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/text-layer/v2/index.ts"],"names":[],"mappings":";AAAA;;GAEG;;;AAGH,6CAAuD;AAA9C,yGAAA,UAAU,OAAA;AAAE,yGAAA,UAAU,OAAA;AAC/B,2CAMsB;AALpB,yGAAA,WAAW,OAAA;AACX,iHAAA,mBAAmB,OAAA;AACnB,yGAAA,WAAW,OAAA;AACX,qGAAA,OAAO,OAAA;AACP,8GAAA,gBAAgB,OAAA"}

package/dist/text-layer/v2/mdx-bridge/diff.d.ts

@@ -0,0 +1,13 @@
+/**
+ * MDX diff — detecta qué claims cambiaron entre dos versiones de un MDX.
+ *
+ * Algoritmo:
+ *   1. Parsear ambas versiones a Claim[] (ignorando bloques malformados).
+ *   2. Indexar por id.
+ *   3. added   = ids en `after` que no estaban en `before`.
+ *      removed = ids en `before` que ya no están en `after`.
+ *      modified = ids en ambos cuyos campos lógicos difieren.
+ */
+import type { MDXDelta } from './types';
+export declare const diffMDX: (before: string, after: string) => MDXDelta;
+//# sourceMappingURL=diff.d.ts.map

package/dist/text-layer/v2/mdx-bridge/diff.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diff.d.ts","sourceRoot":"","sources":["../../../../src/text-layer/v2/mdx-bridge/diff.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAKH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAqBxC,eAAO,MAAM,OAAO,GAAI,QAAQ,MAAM,EAAE,OAAO,MAAM,KAAG,QAgCvD,CAAC"}

package/dist/text-layer/v2/mdx-bridge/diff.js

@@ -0,0 +1,69 @@
+"use strict";
+/**
+ * MDX diff — detecta qué claims cambiaron entre dos versiones de un MDX.
+ *
+ * Algoritmo:
+ *   1. Parsear ambas versiones a Claim[] (ignorando bloques malformados).
+ *   2. Indexar por id.
+ *   3. added   = ids en `after` que no estaban en `before`.
+ *      removed = ids en `before` que ya no están en `after`.
+ *      modified = ids en ambos cuyos campos lógicos difieren.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.diffMDX = void 0;
+const parser_1 = require("./parser");
+const sortedDeps = (deps) => [...deps].sort();
+/**
+ * Compara dos Claim por igualdad lógica (id, formula, profile, dependencies
+ * como conjunto). Ignora `source` y campos extra.
+ */
+const claimsEqual = (a, b) => {
+    if (a.id !== b.id)
+        return false;
+    if (a.formula !== b.formula)
+        return false;
+    if (a.profile !== b.profile)
+        return false;
+    const da = sortedDeps(a.dependencies);
+    const db = sortedDeps(b.dependencies);
+    if (da.length !== db.length)
+        return false;
+    for (let i = 0; i < da.length; i++) {
+        if (da[i] !== db[i])
+            return false;
+    }
+    return true;
+};
+const diffMDX = (before, after) => {
+    const beforeClaims = (0, parser_1.mdxToClaims)(before).map(parser_1.stripMDXMetadata);
+    const afterClaims = (0, parser_1.mdxToClaims)(after).map(parser_1.stripMDXMetadata);
+    const beforeById = new Map();
+    for (const c of beforeClaims)
+        beforeById.set(c.id, c);
+    const afterById = new Map();
+    for (const c of afterClaims)
+        afterById.set(c.id, c);
+    const added = [];
+    const removed = [];
+    const modified = [];
+    for (const [id, afterC] of afterById) {
+        const beforeC = beforeById.get(id);
+        if (!beforeC) {
+            added.push(afterC);
+        }
+        else if (!claimsEqual(beforeC, afterC)) {
+            modified.push({ id, before: beforeC, after: afterC });
+        }
+    }
+    for (const id of beforeById.keys()) {
+        if (!afterById.has(id))
+            removed.push(id);
+    }
+    // Determinismo por id.
+    added.sort((a, b) => a.id.localeCompare(b.id));
+    removed.sort();
+    modified.sort((a, b) => a.id.localeCompare(b.id));
+    return { added, removed, modified };
+};
+exports.diffMDX = diffMDX;
+//# sourceMappingURL=diff.js.map

package/dist/text-layer/v2/mdx-bridge/diff.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diff.js","sourceRoot":"","sources":["../../../../src/text-layer/v2/mdx-bridge/diff.ts"],"names":[],"mappings":";AAAA;;;;;;;;;GASG;;;AAIH,qCAAyD;AAGzD,MAAM,UAAU,GAAG,CAAC,IAAuB,EAAY,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;AAE3E;;;GAGG;AACH,MAAM,WAAW,GAAG,CAAC,CAAQ,EAAE,CAAQ,EAAW,EAAE;IAClD,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE;QAAE,OAAO,KAAK,CAAC;IAChC,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO;QAAE,OAAO,KAAK,CAAC;IAC1C,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO;QAAE,OAAO,KAAK,CAAC;IAC1C,MAAM,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;IACtC,MAAM,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;IACtC,IAAI,EAAE,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACnC,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;IACpC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEK,MAAM,OAAO,GAAG,CAAC,MAAc,EAAE,KAAa,EAAY,EAAE;IACjE,MAAM,YAAY,GAAG,IAAA,oBAAW,EAAC,MAAM,CAAC,CAAC,GAAG,CAAC,yBAAgB,CAAC,CAAC;IAC/D,MAAM,WAAW,GAAG,IAAA,oBAAW,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,yBAAgB,CAAC,CAAC;IAE7D,MAAM,UAAU,GAAG,IAAI,GAAG,EAAiB,CAAC;IAC5C,KAAK,MAAM,CAAC,IAAI,YAAY;QAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IACtD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAiB,CAAC;IAC3C,KAAK,MAAM,CAAC,IAAI,WAAW;QAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAEpD,MAAM,KAAK,GAAY,EAAE,CAAC;IAC1B,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,QAAQ,GAAuD,EAAE,CAAC;IAExE,KAAK,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QACrC,MAAM,OAAO,GAAG,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACnC,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACrB,CAAC;aAAM,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,CAAC;YACzC,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;QACxD,CAAC;IACH,CAAC;IAED,KAAK,MAAM,EAAE,IAAI,UAAU,CAAC,IAAI,EAAE,EAAE,CAAC;QACnC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC3C,CAAC;IAED,uBAAuB;IACvB,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/C,OAAO,CAAC,IAAI,EAAE,CAAC;IACf,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAElD,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AACtC,CAAC,CAAC;AAhCW,QAAA,OAAO,WAgClB"}

package/dist/text-layer/v2/mdx-bridge/index.d.ts

@@ -0,0 +1,14 @@
+/**
+ * ST Text Layer 2.0 — MDX bridge.
+ *
+ * Conversión bidireccional Claim[] ↔ MDX con diff de cambios.
+ *
+ *   mdxToClaims(mdx)            → MDXClaim[]
+ *   claimsToMDX(claims, opts?)  → string
+ *   diffMDX(before, after)      → MDXDelta
+ */
+export { mdxToClaims, mdxToClaimsDetailed, stripMDXMetadata } from './parser';
+export { claimsToMDX } from './serializer';
+export { diffMDX } from './diff';
+export type { MDXClaim, MDXClaimTemplate, ClaimsToMDXOptions, MDXDelta, MDXParseWarning, MDXParseResult, } from './types';
+//# sourceMappingURL=index.d.ts.map

package/dist/text-layer/v2/mdx-bridge/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/text-layer/v2/mdx-bridge/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,WAAW,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,UAAU,CAAC;AAC9E,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,OAAO,EAAE,MAAM,QAAQ,CAAC;AACjC,YAAY,EACV,QAAQ,EACR,gBAAgB,EAChB,kBAAkB,EAClB,QAAQ,EACR,eAAe,EACf,cAAc,GACf,MAAM,SAAS,CAAC"}

package/dist/text-layer/v2/mdx-bridge/index.js

@@ -0,0 +1,21 @@
+"use strict";
+/**
+ * ST Text Layer 2.0 — MDX bridge.
+ *
+ * Conversión bidireccional Claim[] ↔ MDX con diff de cambios.
+ *
+ *   mdxToClaims(mdx)            → MDXClaim[]
+ *   claimsToMDX(claims, opts?)  → string
+ *   diffMDX(before, after)      → MDXDelta
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.diffMDX = exports.claimsToMDX = exports.stripMDXMetadata = exports.mdxToClaimsDetailed = exports.mdxToClaims = void 0;
+var parser_1 = require("./parser");
+Object.defineProperty(exports, "mdxToClaims", { enumerable: true, get: function () { return parser_1.mdxToClaims; } });
+Object.defineProperty(exports, "mdxToClaimsDetailed", { enumerable: true, get: function () { return parser_1.mdxToClaimsDetailed; } });
+Object.defineProperty(exports, "stripMDXMetadata", { enumerable: true, get: function () { return parser_1.stripMDXMetadata; } });
+var serializer_1 = require("./serializer");
+Object.defineProperty(exports, "claimsToMDX", { enumerable: true, get: function () { return serializer_1.claimsToMDX; } });
+var diff_1 = require("./diff");
+Object.defineProperty(exports, "diffMDX", { enumerable: true, get: function () { return diff_1.diffMDX; } });
+//# sourceMappingURL=index.js.map

package/dist/text-layer/v2/mdx-bridge/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/text-layer/v2/mdx-bridge/index.ts"],"names":[],"mappings":";AAAA;;;;;;;;GAQG;;;AAEH,mCAA8E;AAArE,qGAAA,WAAW,OAAA;AAAE,6GAAA,mBAAmB,OAAA;AAAE,0GAAA,gBAAgB,OAAA;AAC3D,2CAA2C;AAAlC,yGAAA,WAAW,OAAA;AACpB,+BAAiC;AAAxB,+FAAA,OAAO,OAAA"}

package/dist/text-layer/v2/mdx-bridge/parser.d.ts

@@ -0,0 +1,33 @@
+/**
+ * MDX → Claim[] parser.
+ *
+ * Reconoce dos formatos en cualquier orden y en cualquier posición del
+ * documento (dentro de prosa, dentro de listas, etc):
+ *
+ *   - HTML comment style:
+ *       <!-- st:claim id="c1" profile="p" formula="A->B" deps="c0,c2" -->
+ *
+ *   - Fenced code block style:
+ *       ```st-claim id=c1 profile=p deps=c0
+ *       A->B
+ *       ```
+ *
+ * Bloques malformados (sin id, sin profile, sin formula, etc.) se ignoran
+ * acumulando un warning. NUNCA lanza.
+ */
+import type { Claim } from '../types';
+import type { MDXClaim, MDXParseResult } from './types';
+/**
+ * Versión "rica" — devuelve también warnings. La API pública delega aquí.
+ */
+export declare const mdxToClaimsDetailed: (mdx: string) => MDXParseResult;
+/**
+ * MDX → Claim[]. Tolera bloques malformados ignorándolos.
+ */
+export declare const mdxToClaims: (mdx: string) => MDXClaim[];
+/**
+ * Helper interno: convierte MDXClaim a Claim "pelado" (sin rawBlock/source).
+ * Útil para diff que sólo compara campos lógicos.
+ */
+export declare const stripMDXMetadata: (claim: MDXClaim) => Claim;
+//# sourceMappingURL=parser.d.ts.map

package/dist/text-layer/v2/mdx-bridge/parser.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.d.ts","sourceRoot":"","sources":["../../../../src/text-layer/v2/mdx-bridge/parser.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,UAAU,CAAC;AAEtC,OAAO,KAAK,EAAE,QAAQ,EAAE,cAAc,EAAmB,MAAM,SAAS,CAAC;AAkGzE;;GAEG;AACH,eAAO,MAAM,mBAAmB,GAAI,KAAK,MAAM,KAAG,cAoEjD,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,WAAW,GAAI,KAAK,MAAM,KAAG,QAAQ,EAEjD,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,gBAAgB,GAAI,OAAO,QAAQ,KAAG,KAQlD,CAAC"}