@stevenvo780/st-lang 4.0.1 → 4.2.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/belief-revision/agm.d.ts +76 -0
- package/dist/belief-revision/agm.d.ts.map +1 -0
- package/dist/belief-revision/agm.js +249 -0
- package/dist/belief-revision/agm.js.map +1 -0
- package/dist/belief-revision/index.d.ts +6 -0
- package/dist/belief-revision/index.d.ts.map +1 -0
- package/dist/belief-revision/index.js +33 -0
- package/dist/belief-revision/index.js.map +1 -0
- package/dist/belief-revision/parser.d.ts +16 -0
- package/dist/belief-revision/parser.d.ts.map +1 -0
- package/dist/belief-revision/parser.js +199 -0
- package/dist/belief-revision/parser.js.map +1 -0
- package/dist/belief-revision/sat.d.ts +19 -0
- package/dist/belief-revision/sat.d.ts.map +1 -0
- package/dist/belief-revision/sat.js +90 -0
- package/dist/belief-revision/sat.js.map +1 -0
- package/dist/belief-revision/types.d.ts +51 -0
- package/dist/belief-revision/types.d.ts.map +1 -0
- package/dist/belief-revision/types.js +10 -0
- package/dist/belief-revision/types.js.map +1 -0
- package/dist/curry-howard/index.d.ts +7 -0
- package/dist/curry-howard/index.d.ts.map +1 -0
- package/dist/curry-howard/index.js +46 -0
- package/dist/curry-howard/index.js.map +1 -0
- package/dist/curry-howard/infer.d.ts +9 -0
- package/dist/curry-howard/infer.d.ts.map +1 -0
- package/dist/curry-howard/infer.js +129 -0
- package/dist/curry-howard/infer.js.map +1 -0
- package/dist/curry-howard/proof.d.ts +7 -0
- package/dist/curry-howard/proof.d.ts.map +1 -0
- package/dist/curry-howard/proof.js +282 -0
- package/dist/curry-howard/proof.js.map +1 -0
- package/dist/curry-howard/reduce.d.ts +7 -0
- package/dist/curry-howard/reduce.d.ts.map +1 -0
- package/dist/curry-howard/reduce.js +266 -0
- package/dist/curry-howard/reduce.js.map +1 -0
- package/dist/curry-howard/types.d.ts +91 -0
- package/dist/curry-howard/types.d.ts.map +1 -0
- package/dist/curry-howard/types.js +149 -0
- package/dist/curry-howard/types.js.map +1 -0
- package/dist/fol-prover-equality/demodulate.d.ts +29 -0
- package/dist/fol-prover-equality/demodulate.d.ts.map +1 -0
- package/dist/fol-prover-equality/demodulate.js +197 -0
- package/dist/fol-prover-equality/demodulate.js.map +1 -0
- package/dist/fol-prover-equality/index.d.ts +8 -0
- package/dist/fol-prover-equality/index.d.ts.map +1 -0
- package/dist/fol-prover-equality/index.js +24 -0
- package/dist/fol-prover-equality/index.js.map +1 -0
- package/dist/fol-prover-equality/paramodulate.d.ts +46 -0
- package/dist/fol-prover-equality/paramodulate.d.ts.map +1 -0
- package/dist/fol-prover-equality/paramodulate.js +159 -0
- package/dist/fol-prover-equality/paramodulate.js.map +1 -0
- package/dist/fol-prover-equality/prove.d.ts +7 -0
- package/dist/fol-prover-equality/prove.d.ts.map +1 -0
- package/dist/fol-prover-equality/prove.js +307 -0
- package/dist/fol-prover-equality/prove.js.map +1 -0
- package/dist/fol-prover-equality/term-utils.d.ts +43 -0
- package/dist/fol-prover-equality/term-utils.d.ts.map +1 -0
- package/dist/fol-prover-equality/term-utils.js +230 -0
- package/dist/fol-prover-equality/term-utils.js.map +1 -0
- package/dist/fol-prover-equality/types.d.ts +20 -0
- package/dist/fol-prover-equality/types.d.ts.map +1 -0
- package/dist/fol-prover-equality/types.js +5 -0
- package/dist/fol-prover-equality/types.js.map +1 -0
- package/dist/index.d.ts +4 -0
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +18 -1
- package/dist/index.js.map +1 -1
- package/dist/profiles/ctl/check.d.ts +13 -0
- package/dist/profiles/ctl/check.d.ts.map +1 -0
- package/dist/profiles/ctl/check.js +359 -0
- package/dist/profiles/ctl/check.js.map +1 -0
- package/dist/profiles/ctl/index.d.ts +5 -0
- package/dist/profiles/ctl/index.d.ts.map +1 -0
- package/dist/profiles/ctl/index.js +23 -0
- package/dist/profiles/ctl/index.js.map +1 -0
- package/dist/profiles/ctl/types.d.ts +74 -0
- package/dist/profiles/ctl/types.d.ts.map +1 -0
- package/dist/profiles/ctl/types.js +53 -0
- package/dist/profiles/ctl/types.js.map +1 -0
- package/dist/profiles/ctl/witness.d.ts +20 -0
- package/dist/profiles/ctl/witness.d.ts.map +1 -0
- package/dist/profiles/ctl/witness.js +149 -0
- package/dist/profiles/ctl/witness.js.map +1 -0
- package/dist/profiles/default-logic/entailment.d.ts +14 -0
- package/dist/profiles/default-logic/entailment.d.ts.map +1 -0
- package/dist/profiles/default-logic/entailment.js +36 -0
- package/dist/profiles/default-logic/entailment.js.map +1 -0
- package/dist/profiles/default-logic/extensions.d.ts +35 -0
- package/dist/profiles/default-logic/extensions.d.ts.map +1 -0
- package/dist/profiles/default-logic/extensions.js +276 -0
- package/dist/profiles/default-logic/extensions.js.map +1 -0
- package/dist/profiles/default-logic/index.d.ts +5 -0
- package/dist/profiles/default-logic/index.d.ts.map +1 -0
- package/dist/profiles/default-logic/index.js +33 -0
- package/dist/profiles/default-logic/index.js.map +1 -0
- package/dist/profiles/default-logic/types.d.ts +29 -0
- package/dist/profiles/default-logic/types.d.ts.map +1 -0
- package/dist/profiles/default-logic/types.js +25 -0
- package/dist/profiles/default-logic/types.js.map +1 -0
- package/dist/profiles/description-logic/index.d.ts +5 -0
- package/dist/profiles/description-logic/index.d.ts.map +1 -0
- package/dist/profiles/description-logic/index.js +39 -0
- package/dist/profiles/description-logic/index.js.map +1 -0
- package/dist/profiles/description-logic/nnf.d.ts +13 -0
- package/dist/profiles/description-logic/nnf.d.ts.map +1 -0
- package/dist/profiles/description-logic/nnf.js +123 -0
- package/dist/profiles/description-logic/nnf.js.map +1 -0
- package/dist/profiles/description-logic/tableau.d.ts +27 -0
- package/dist/profiles/description-logic/tableau.d.ts.map +1 -0
- package/dist/profiles/description-logic/tableau.js +491 -0
- package/dist/profiles/description-logic/tableau.js.map +1 -0
- package/dist/profiles/description-logic/types.d.ts +45 -0
- package/dist/profiles/description-logic/types.d.ts.map +1 -0
- package/dist/profiles/description-logic/types.js +71 -0
- package/dist/profiles/description-logic/types.js.map +1 -0
- package/dist/profiles/hybrid-logic/index.d.ts +5 -0
- package/dist/profiles/hybrid-logic/index.d.ts.map +1 -0
- package/dist/profiles/hybrid-logic/index.js +34 -0
- package/dist/profiles/hybrid-logic/index.js.map +1 -0
- package/dist/profiles/hybrid-logic/sat.d.ts +15 -0
- package/dist/profiles/hybrid-logic/sat.d.ts.map +1 -0
- package/dist/profiles/hybrid-logic/sat.js +142 -0
- package/dist/profiles/hybrid-logic/sat.js.map +1 -0
- package/dist/profiles/hybrid-logic/semantics.d.ts +20 -0
- package/dist/profiles/hybrid-logic/semantics.d.ts.map +1 -0
- package/dist/profiles/hybrid-logic/semantics.js +107 -0
- package/dist/profiles/hybrid-logic/semantics.js.map +1 -0
- package/dist/profiles/hybrid-logic/types.d.ts +78 -0
- package/dist/profiles/hybrid-logic/types.d.ts.map +1 -0
- package/dist/profiles/hybrid-logic/types.js +107 -0
- package/dist/profiles/hybrid-logic/types.js.map +1 -0
- package/dist/profiles/ltl-sat/index.d.ts +4 -0
- package/dist/profiles/ltl-sat/index.d.ts.map +1 -0
- package/dist/profiles/ltl-sat/index.js +40 -0
- package/dist/profiles/ltl-sat/index.js.map +1 -0
- package/dist/profiles/ltl-sat/sat.d.ts +8 -0
- package/dist/profiles/ltl-sat/sat.d.ts.map +1 -0
- package/dist/profiles/ltl-sat/sat.js +140 -0
- package/dist/profiles/ltl-sat/sat.js.map +1 -0
- package/dist/profiles/ltl-sat/tableau.d.ts +19 -0
- package/dist/profiles/ltl-sat/tableau.d.ts.map +1 -0
- package/dist/profiles/ltl-sat/tableau.js +358 -0
- package/dist/profiles/ltl-sat/tableau.js.map +1 -0
- package/dist/profiles/ltl-sat/types.d.ts +52 -0
- package/dist/profiles/ltl-sat/types.d.ts.map +1 -0
- package/dist/profiles/ltl-sat/types.js +101 -0
- package/dist/profiles/ltl-sat/types.js.map +1 -0
- package/dist/profiles/sequent-g3/index.d.ts +5 -0
- package/dist/profiles/sequent-g3/index.d.ts.map +1 -0
- package/dist/profiles/sequent-g3/index.js +23 -0
- package/dist/profiles/sequent-g3/index.js.map +1 -0
- package/dist/profiles/sequent-g3/latex.d.ts +7 -0
- package/dist/profiles/sequent-g3/latex.d.ts.map +1 -0
- package/dist/profiles/sequent-g3/latex.js +107 -0
- package/dist/profiles/sequent-g3/latex.js.map +1 -0
- package/dist/profiles/sequent-g3/normalize.d.ts +15 -0
- package/dist/profiles/sequent-g3/normalize.d.ts.map +1 -0
- package/dist/profiles/sequent-g3/normalize.js +121 -0
- package/dist/profiles/sequent-g3/normalize.js.map +1 -0
- package/dist/profiles/sequent-g3/prover.d.ts +16 -0
- package/dist/profiles/sequent-g3/prover.d.ts.map +1 -0
- package/dist/profiles/sequent-g3/prover.js +348 -0
- package/dist/profiles/sequent-g3/prover.js.map +1 -0
- package/dist/profiles/sequent-g3/types.d.ts +30 -0
- package/dist/profiles/sequent-g3/types.d.ts.map +1 -0
- package/dist/profiles/sequent-g3/types.js +16 -0
- package/dist/profiles/sequent-g3/types.js.map +1 -0
- package/dist/runtime/countermodel-min/index.d.ts +3 -0
- package/dist/runtime/countermodel-min/index.d.ts.map +1 -0
- package/dist/runtime/countermodel-min/index.js +9 -0
- package/dist/runtime/countermodel-min/index.js.map +1 -0
- package/dist/runtime/countermodel-min/minimize.d.ts +17 -0
- package/dist/runtime/countermodel-min/minimize.d.ts.map +1 -0
- package/dist/runtime/countermodel-min/minimize.js +0 -0
- package/dist/runtime/countermodel-min/minimize.js.map +1 -0
- package/dist/runtime/countermodel-min/types.d.ts +40 -0
- package/dist/runtime/countermodel-min/types.d.ts.map +1 -0
- package/dist/runtime/countermodel-min/types.js +6 -0
- package/dist/runtime/countermodel-min/types.js.map +1 -0
- package/dist/runtime/mus/extract.d.ts +34 -0
- package/dist/runtime/mus/extract.d.ts.map +1 -0
- package/dist/runtime/mus/extract.js +243 -0
- package/dist/runtime/mus/extract.js.map +1 -0
- package/dist/runtime/mus/index.d.ts +4 -0
- package/dist/runtime/mus/index.d.ts.map +1 -0
- package/dist/runtime/mus/index.js +12 -0
- package/dist/runtime/mus/index.js.map +1 -0
- package/dist/runtime/mus/quickxplain.d.ts +10 -0
- package/dist/runtime/mus/quickxplain.d.ts.map +1 -0
- package/dist/runtime/mus/quickxplain.js +100 -0
- package/dist/runtime/mus/quickxplain.js.map +1 -0
- package/dist/runtime/mus/types.d.ts +59 -0
- package/dist/runtime/mus/types.d.ts.map +1 -0
- package/dist/runtime/mus/types.js +20 -0
- package/dist/runtime/mus/types.js.map +1 -0
- package/dist/solver/cdcl-v2-incremental/index.d.ts +3 -0
- package/dist/solver/cdcl-v2-incremental/index.d.ts.map +1 -0
- package/dist/solver/cdcl-v2-incremental/index.js +16 -0
- package/dist/solver/cdcl-v2-incremental/index.js.map +1 -0
- package/dist/solver/cdcl-v2-incremental/solver.d.ts +83 -0
- package/dist/solver/cdcl-v2-incremental/solver.d.ts.map +1 -0
- package/dist/solver/cdcl-v2-incremental/solver.js +727 -0
- package/dist/solver/cdcl-v2-incremental/solver.js.map +1 -0
- package/dist/solver/cdcl-v2-incremental/types.d.ts +47 -0
- package/dist/solver/cdcl-v2-incremental/types.d.ts.map +1 -0
- package/dist/solver/cdcl-v2-incremental/types.js +13 -0
- package/dist/solver/cdcl-v2-incremental/types.js.map +1 -0
- package/dist/tests/belief-revision/agm.test.d.ts +2 -0
- package/dist/tests/belief-revision/agm.test.d.ts.map +1 -0
- package/dist/tests/belief-revision/agm.test.js +173 -0
- package/dist/tests/belief-revision/agm.test.js.map +1 -0
- package/dist/tests/countermodel-min/minimize.test.d.ts +2 -0
- package/dist/tests/countermodel-min/minimize.test.d.ts.map +1 -0
- package/dist/tests/countermodel-min/minimize.test.js +241 -0
- package/dist/tests/countermodel-min/minimize.test.js.map +1 -0
- package/dist/tests/coverage-95/api-and-interpreter-e2e.test.d.ts +2 -0
- package/dist/tests/coverage-95/api-and-interpreter-e2e.test.d.ts.map +1 -0
- package/dist/tests/coverage-95/api-and-interpreter-e2e.test.js +255 -0
- package/dist/tests/coverage-95/api-and-interpreter-e2e.test.js.map +1 -0
- package/dist/tests/coverage-95/argumentation.test.d.ts +2 -0
- package/dist/tests/coverage-95/argumentation.test.d.ts.map +1 -0
- package/dist/tests/coverage-95/argumentation.test.js +105 -0
- package/dist/tests/coverage-95/argumentation.test.js.map +1 -0
- package/dist/tests/coverage-95/arithmetic.test.d.ts +2 -0
- package/dist/tests/coverage-95/arithmetic.test.d.ts.map +1 -0
- package/dist/tests/coverage-95/arithmetic.test.js +139 -0
- package/dist/tests/coverage-95/arithmetic.test.js.map +1 -0
- package/dist/tests/coverage-95/belnap.test.d.ts +2 -0
- package/dist/tests/coverage-95/belnap.test.d.ts.map +1 -0
- package/dist/tests/coverage-95/belnap.test.js +145 -0
- package/dist/tests/coverage-95/belnap.test.js.map +1 -0
- package/dist/tests/coverage-95/cdcl-v2-solver.test.d.ts +2 -0
- package/dist/tests/coverage-95/cdcl-v2-solver.test.d.ts.map +1 -0
- package/dist/tests/coverage-95/cdcl-v2-solver.test.js +61 -0
- package/dist/tests/coverage-95/cdcl-v2-solver.test.js.map +1 -0
- package/dist/tests/coverage-95/classical-propositional-direct.test.d.ts +2 -0
- package/dist/tests/coverage-95/classical-propositional-direct.test.d.ts.map +1 -0
- package/dist/tests/coverage-95/classical-propositional-direct.test.js +175 -0
- package/dist/tests/coverage-95/classical-propositional-direct.test.js.map +1 -0
- package/dist/tests/coverage-95/compat.test.d.ts +2 -0
- package/dist/tests/coverage-95/compat.test.d.ts.map +1 -0
- package/dist/tests/coverage-95/compat.test.js +82 -0
- package/dist/tests/coverage-95/compat.test.js.map +1 -0
- package/dist/tests/coverage-95/examples-runner.test.d.ts +2 -0
- package/dist/tests/coverage-95/examples-runner.test.d.ts.map +1 -0
- package/dist/tests/coverage-95/examples-runner.test.js +34 -0
- package/dist/tests/coverage-95/examples-runner.test.js.map +1 -0
- package/dist/tests/coverage-95/first-order.test.d.ts +2 -0
- package/dist/tests/coverage-95/first-order.test.d.ts.map +1 -0
- package/dist/tests/coverage-95/first-order.test.js +138 -0
- package/dist/tests/coverage-95/first-order.test.js.map +1 -0
- package/dist/tests/coverage-95/fol-prover.test.d.ts +2 -0
- package/dist/tests/coverage-95/fol-prover.test.d.ts.map +1 -0
- package/dist/tests/coverage-95/fol-prover.test.js +228 -0
- package/dist/tests/coverage-95/fol-prover.test.js.map +1 -0
- package/dist/tests/coverage-95/interpreter-commands.test.d.ts +2 -0
- package/dist/tests/coverage-95/interpreter-commands.test.d.ts.map +1 -0
- package/dist/tests/coverage-95/interpreter-commands.test.js +332 -0
- package/dist/tests/coverage-95/interpreter-commands.test.js.map +1 -0
- package/dist/tests/coverage-95/lsp-server.test.d.ts +2 -0
- package/dist/tests/coverage-95/lsp-server.test.d.ts.map +1 -0
- package/dist/tests/coverage-95/lsp-server.test.js +181 -0
- package/dist/tests/coverage-95/lsp-server.test.js.map +1 -0
- package/dist/tests/coverage-95/modal-tableau-profiles.test.d.ts +2 -0
- package/dist/tests/coverage-95/modal-tableau-profiles.test.d.ts.map +1 -0
- package/dist/tests/coverage-95/modal-tableau-profiles.test.js +157 -0
- package/dist/tests/coverage-95/modal-tableau-profiles.test.js.map +1 -0
- package/dist/tests/coverage-95/parallel-sat.test.d.ts +2 -0
- package/dist/tests/coverage-95/parallel-sat.test.d.ts.map +1 -0
- package/dist/tests/coverage-95/parallel-sat.test.js +42 -0
- package/dist/tests/coverage-95/parallel-sat.test.js.map +1 -0
- package/dist/tests/coverage-95/parser-extra.test.d.ts +2 -0
- package/dist/tests/coverage-95/parser-extra.test.d.ts.map +1 -0
- package/dist/tests/coverage-95/parser-extra.test.js +210 -0
- package/dist/tests/coverage-95/parser-extra.test.js.map +1 -0
- package/dist/tests/coverage-95/propositional-utilities.test.d.ts +2 -0
- package/dist/tests/coverage-95/propositional-utilities.test.d.ts.map +1 -0
- package/dist/tests/coverage-95/propositional-utilities.test.js +281 -0
- package/dist/tests/coverage-95/propositional-utilities.test.js.map +1 -0
- package/dist/tests/coverage-95/protocol-handler.test.d.ts +2 -0
- package/dist/tests/coverage-95/protocol-handler.test.d.ts.map +1 -0
- package/dist/tests/coverage-95/protocol-handler.test.js +275 -0
- package/dist/tests/coverage-95/protocol-handler.test.js.map +1 -0
- package/dist/tests/coverage-95/smt-mock-backend.test.d.ts +2 -0
- package/dist/tests/coverage-95/smt-mock-backend.test.d.ts.map +1 -0
- package/dist/tests/coverage-95/smt-mock-backend.test.js +201 -0
- package/dist/tests/coverage-95/smt-mock-backend.test.js.map +1 -0
- package/dist/tests/coverage-95/smt-serializer.test.d.ts +2 -0
- package/dist/tests/coverage-95/smt-serializer.test.d.ts.map +1 -0
- package/dist/tests/coverage-95/smt-serializer.test.js +143 -0
- package/dist/tests/coverage-95/smt-serializer.test.js.map +1 -0
- package/dist/tests/coverage-95/smt-subprocess.test.d.ts +2 -0
- package/dist/tests/coverage-95/smt-subprocess.test.d.ts.map +1 -0
- package/dist/tests/coverage-95/smt-subprocess.test.js +96 -0
- package/dist/tests/coverage-95/smt-subprocess.test.js.map +1 -0
- package/dist/tests/coverage-95/tableau-engine.test.d.ts +2 -0
- package/dist/tests/coverage-95/tableau-engine.test.d.ts.map +1 -0
- package/dist/tests/coverage-95/tableau-engine.test.js +125 -0
- package/dist/tests/coverage-95/tableau-engine.test.js.map +1 -0
- package/dist/tests/coverage-95/temporal-ltl.test.d.ts +2 -0
- package/dist/tests/coverage-95/temporal-ltl.test.d.ts.map +1 -0
- package/dist/tests/coverage-95/temporal-ltl.test.js +94 -0
- package/dist/tests/coverage-95/temporal-ltl.test.js.map +1 -0
- package/dist/tests/coverage-95/typecheck-checker.test.d.ts +2 -0
- package/dist/tests/coverage-95/typecheck-checker.test.d.ts.map +1 -0
- package/dist/tests/coverage-95/typecheck-checker.test.js +191 -0
- package/dist/tests/coverage-95/typecheck-checker.test.js.map +1 -0
- package/dist/tests/coverage-95/undecidability-detector.test.d.ts +2 -0
- package/dist/tests/coverage-95/undecidability-detector.test.d.ts.map +1 -0
- package/dist/tests/coverage-95/undecidability-detector.test.js +149 -0
- package/dist/tests/coverage-95/undecidability-detector.test.js.map +1 -0
- package/dist/tests/coverage-95/visitor.test.d.ts +2 -0
- package/dist/tests/coverage-95/visitor.test.d.ts.map +1 -0
- package/dist/tests/coverage-95/visitor.test.js +140 -0
- package/dist/tests/coverage-95/visitor.test.js.map +1 -0
- package/dist/tests/ctl/check.test.d.ts +2 -0
- package/dist/tests/ctl/check.test.d.ts.map +1 -0
- package/dist/tests/ctl/check.test.js +337 -0
- package/dist/tests/ctl/check.test.js.map +1 -0
- package/dist/tests/curry-howard/infer.test.d.ts +2 -0
- package/dist/tests/curry-howard/infer.test.d.ts.map +1 -0
- package/dist/tests/curry-howard/infer.test.js +93 -0
- package/dist/tests/curry-howard/infer.test.js.map +1 -0
- package/dist/tests/curry-howard/proof.test.d.ts +2 -0
- package/dist/tests/curry-howard/proof.test.d.ts.map +1 -0
- package/dist/tests/curry-howard/proof.test.js +105 -0
- package/dist/tests/curry-howard/proof.test.js.map +1 -0
- package/dist/tests/curry-howard/reduce.test.d.ts +2 -0
- package/dist/tests/curry-howard/reduce.test.d.ts.map +1 -0
- package/dist/tests/curry-howard/reduce.test.js +109 -0
- package/dist/tests/curry-howard/reduce.test.js.map +1 -0
- package/dist/tests/default-logic/extensions.test.d.ts +2 -0
- package/dist/tests/default-logic/extensions.test.d.ts.map +1 -0
- package/dist/tests/default-logic/extensions.test.js +323 -0
- package/dist/tests/default-logic/extensions.test.js.map +1 -0
- package/dist/tests/description-logic/alc.test.d.ts +2 -0
- package/dist/tests/description-logic/alc.test.d.ts.map +1 -0
- package/dist/tests/description-logic/alc.test.js +253 -0
- package/dist/tests/description-logic/alc.test.js.map +1 -0
- package/dist/tests/fol-prover-equality/prove.test.d.ts +2 -0
- package/dist/tests/fol-prover-equality/prove.test.d.ts.map +1 -0
- package/dist/tests/fol-prover-equality/prove.test.js +179 -0
- package/dist/tests/fol-prover-equality/prove.test.js.map +1 -0
- package/dist/tests/hybrid-logic/semantics.test.d.ts +2 -0
- package/dist/tests/hybrid-logic/semantics.test.d.ts.map +1 -0
- package/dist/tests/hybrid-logic/semantics.test.js +169 -0
- package/dist/tests/hybrid-logic/semantics.test.js.map +1 -0
- package/dist/tests/ltl-sat/sat.test.d.ts +2 -0
- package/dist/tests/ltl-sat/sat.test.d.ts.map +1 -0
- package/dist/tests/ltl-sat/sat.test.js +160 -0
- package/dist/tests/ltl-sat/sat.test.js.map +1 -0
- package/dist/tests/mus/extract.test.d.ts +2 -0
- package/dist/tests/mus/extract.test.d.ts.map +1 -0
- package/dist/tests/mus/extract.test.js +352 -0
- package/dist/tests/mus/extract.test.js.map +1 -0
- package/dist/tests/sat-v2-incremental/basic.test.d.ts +2 -0
- package/dist/tests/sat-v2-incremental/basic.test.d.ts.map +1 -0
- package/dist/tests/sat-v2-incremental/basic.test.js +352 -0
- package/dist/tests/sat-v2-incremental/basic.test.js.map +1 -0
- package/dist/tests/sequent-g3/prover.test.d.ts +2 -0
- package/dist/tests/sequent-g3/prover.test.d.ts.map +1 -0
- package/dist/tests/sequent-g3/prover.test.js +205 -0
- package/dist/tests/sequent-g3/prover.test.js.map +1 -0
- package/dist/tests/text-layer-v2/mdx-bridge/mdx-bridge.test.d.ts +2 -0
- package/dist/tests/text-layer-v2/mdx-bridge/mdx-bridge.test.d.ts.map +1 -0
- package/dist/tests/text-layer-v2/mdx-bridge/mdx-bridge.test.js +200 -0
- package/dist/tests/text-layer-v2/mdx-bridge/mdx-bridge.test.js.map +1 -0
- package/dist/text-layer/v2/index.d.ts +2 -0
- package/dist/text-layer/v2/index.d.ts.map +1 -1
- package/dist/text-layer/v2/index.js +7 -1
- package/dist/text-layer/v2/index.js.map +1 -1
- package/dist/text-layer/v2/mdx-bridge/diff.d.ts +13 -0
- package/dist/text-layer/v2/mdx-bridge/diff.d.ts.map +1 -0
- package/dist/text-layer/v2/mdx-bridge/diff.js +69 -0
- package/dist/text-layer/v2/mdx-bridge/diff.js.map +1 -0
- package/dist/text-layer/v2/mdx-bridge/index.d.ts +14 -0
- package/dist/text-layer/v2/mdx-bridge/index.d.ts.map +1 -0
- package/dist/text-layer/v2/mdx-bridge/index.js +21 -0
- package/dist/text-layer/v2/mdx-bridge/index.js.map +1 -0
- package/dist/text-layer/v2/mdx-bridge/parser.d.ts +33 -0
- package/dist/text-layer/v2/mdx-bridge/parser.d.ts.map +1 -0
- package/dist/text-layer/v2/mdx-bridge/parser.js +192 -0
- package/dist/text-layer/v2/mdx-bridge/parser.js.map +1 -0
- package/dist/text-layer/v2/mdx-bridge/serializer.d.ts +17 -0
- package/dist/text-layer/v2/mdx-bridge/serializer.d.ts.map +1 -0
- package/dist/text-layer/v2/mdx-bridge/serializer.js +69 -0
- package/dist/text-layer/v2/mdx-bridge/serializer.js.map +1 -0
- package/dist/text-layer/v2/mdx-bridge/types.d.ts +53 -0
- package/dist/text-layer/v2/mdx-bridge/types.d.ts.map +1 -0
- package/dist/text-layer/v2/mdx-bridge/types.js +19 -0
- package/dist/text-layer/v2/mdx-bridge/types.js.map +1 -0
- package/package.json +1 -1
|
@@ -0,0 +1,200 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
|
+
const vitest_1 = require("vitest");
|
|
4
|
+
const v2_1 = require("../../../text-layer/v2");
|
|
5
|
+
const mk = (id, formula = `F_${id}`, profile = 'classical.propositional', dependencies = []) => ({ id, formula, profile, dependencies });
|
|
6
|
+
(0, vitest_1.describe)('mdxToClaims — comment style', () => {
|
|
7
|
+
(0, vitest_1.it)('extrae 2 claims comment-style con ids correctos', () => {
|
|
8
|
+
const mdx = [
|
|
9
|
+
'# Documento',
|
|
10
|
+
'Aquí afirmo que <!-- st:claim id="c1" profile="classical.propositional" formula="A->B" --> es válido.',
|
|
11
|
+
'',
|
|
12
|
+
'Y también que <!-- st:claim id="c2" profile="classical.propositional" formula="B->C" deps="c1" --> sigue.',
|
|
13
|
+
].join('\n');
|
|
14
|
+
const claims = (0, v2_1.mdxToClaims)(mdx);
|
|
15
|
+
(0, vitest_1.expect)(claims).toHaveLength(2);
|
|
16
|
+
(0, vitest_1.expect)(claims.map((c) => c.id)).toEqual(['c1', 'c2']);
|
|
17
|
+
(0, vitest_1.expect)(claims[0]?.formula).toBe('A->B');
|
|
18
|
+
(0, vitest_1.expect)(claims[1]?.dependencies).toEqual(['c1']);
|
|
19
|
+
(0, vitest_1.expect)(claims[0]?.profile).toBe('classical.propositional');
|
|
20
|
+
});
|
|
21
|
+
(0, vitest_1.it)('soporta comillas simples y sin comillas en atributos', () => {
|
|
22
|
+
const mdx = `<!-- st:claim id='c1' profile=classical formula="A&B" -->`;
|
|
23
|
+
const claims = (0, v2_1.mdxToClaims)(mdx);
|
|
24
|
+
(0, vitest_1.expect)(claims).toHaveLength(1);
|
|
25
|
+
(0, vitest_1.expect)(claims[0]?.id).toBe('c1');
|
|
26
|
+
(0, vitest_1.expect)(claims[0]?.profile).toBe('classical');
|
|
27
|
+
(0, vitest_1.expect)(claims[0]?.formula).toBe('A&B');
|
|
28
|
+
});
|
|
29
|
+
});
|
|
30
|
+
(0, vitest_1.describe)('mdxToClaims — fence style', () => {
|
|
31
|
+
(0, vitest_1.it)('extrae 3 claims fence-style', () => {
|
|
32
|
+
const mdx = [
|
|
33
|
+
'# Doc',
|
|
34
|
+
'',
|
|
35
|
+
'```st-claim id=c1 profile=classical.propositional',
|
|
36
|
+
'A -> B',
|
|
37
|
+
'```',
|
|
38
|
+
'',
|
|
39
|
+
'Prosa intermedia.',
|
|
40
|
+
'',
|
|
41
|
+
'```st-claim id=c2 profile=classical.propositional deps=c1',
|
|
42
|
+
'(A -> B) & A',
|
|
43
|
+
'```',
|
|
44
|
+
'',
|
|
45
|
+
'```st-claim id=c3 profile=classical.propositional deps=c1,c2',
|
|
46
|
+
'B',
|
|
47
|
+
'```',
|
|
48
|
+
].join('\n');
|
|
49
|
+
const claims = (0, v2_1.mdxToClaims)(mdx);
|
|
50
|
+
(0, vitest_1.expect)(claims).toHaveLength(3);
|
|
51
|
+
(0, vitest_1.expect)(claims.map((c) => c.id)).toEqual(['c1', 'c2', 'c3']);
|
|
52
|
+
(0, vitest_1.expect)(claims[2]?.dependencies).toEqual(['c1', 'c2']);
|
|
53
|
+
(0, vitest_1.expect)(claims[1]?.formula).toBe('(A -> B) & A');
|
|
54
|
+
});
|
|
55
|
+
(0, vitest_1.it)('preserva formula multi-línea en fence', () => {
|
|
56
|
+
const mdx = ['```st-claim id=c1 profile=p', 'A & B', '& C', '```'].join('\n');
|
|
57
|
+
const claims = (0, v2_1.mdxToClaims)(mdx);
|
|
58
|
+
(0, vitest_1.expect)(claims).toHaveLength(1);
|
|
59
|
+
(0, vitest_1.expect)(claims[0]?.formula).toBe('A & B\n& C');
|
|
60
|
+
});
|
|
61
|
+
});
|
|
62
|
+
(0, vitest_1.describe)('mdxToClaims — edge cases', () => {
|
|
63
|
+
(0, vitest_1.it)('MDX sin claims devuelve array vacío', () => {
|
|
64
|
+
(0, vitest_1.expect)((0, v2_1.mdxToClaims)('# Solo prosa\n\nNada aquí.')).toEqual([]);
|
|
65
|
+
(0, vitest_1.expect)((0, v2_1.mdxToClaims)('')).toEqual([]);
|
|
66
|
+
});
|
|
67
|
+
(0, vitest_1.it)('ignora bloque malformado sin id y acumula warning', () => {
|
|
68
|
+
const mdx = [
|
|
69
|
+
'<!-- st:claim profile="p" formula="A" -->', // sin id
|
|
70
|
+
'<!-- st:claim id="ok" profile="p" formula="B" -->',
|
|
71
|
+
].join('\n');
|
|
72
|
+
const { claims, warnings } = (0, v2_1.mdxToClaimsDetailed)(mdx);
|
|
73
|
+
(0, vitest_1.expect)(claims).toHaveLength(1);
|
|
74
|
+
(0, vitest_1.expect)(claims[0]?.id).toBe('ok');
|
|
75
|
+
(0, vitest_1.expect)(warnings).toHaveLength(1);
|
|
76
|
+
(0, vitest_1.expect)(warnings[0]?.message).toMatch(/sin id/);
|
|
77
|
+
});
|
|
78
|
+
(0, vitest_1.it)('ignora fence sin profile y acumula warning', () => {
|
|
79
|
+
const mdx = ['```st-claim id=c1', 'A', '```'].join('\n');
|
|
80
|
+
const { claims, warnings } = (0, v2_1.mdxToClaimsDetailed)(mdx);
|
|
81
|
+
(0, vitest_1.expect)(claims).toHaveLength(0);
|
|
82
|
+
(0, vitest_1.expect)(warnings).toHaveLength(1);
|
|
83
|
+
(0, vitest_1.expect)(warnings[0]?.message).toMatch(/sin profile/);
|
|
84
|
+
});
|
|
85
|
+
(0, vitest_1.it)('ignora claim duplicada y acumula warning', () => {
|
|
86
|
+
const mdx = [
|
|
87
|
+
'<!-- st:claim id="c1" profile="p" formula="A" -->',
|
|
88
|
+
'<!-- st:claim id="c1" profile="p" formula="B" -->',
|
|
89
|
+
].join('\n');
|
|
90
|
+
const { claims, warnings } = (0, v2_1.mdxToClaimsDetailed)(mdx);
|
|
91
|
+
(0, vitest_1.expect)(claims).toHaveLength(1);
|
|
92
|
+
(0, vitest_1.expect)(claims[0]?.formula).toBe('A');
|
|
93
|
+
(0, vitest_1.expect)(warnings.some((w) => /duplicado/.test(w.message))).toBe(true);
|
|
94
|
+
});
|
|
95
|
+
(0, vitest_1.it)('no lanza con MDX completamente roto', () => {
|
|
96
|
+
(0, vitest_1.expect)(() => (0, v2_1.mdxToClaims)('<!-- st:claim incompleto')).not.toThrow();
|
|
97
|
+
(0, vitest_1.expect)(() => (0, v2_1.mdxToClaims)('```st-claim sin-cierre\nA')).not.toThrow();
|
|
98
|
+
});
|
|
99
|
+
(0, vitest_1.it)('rawBlock preserva el texto original del bloque', () => {
|
|
100
|
+
const block = '<!-- st:claim id="c1" profile="p" formula="A" -->';
|
|
101
|
+
const claims = (0, v2_1.mdxToClaims)(`pre ${block} post`);
|
|
102
|
+
(0, vitest_1.expect)(claims[0]?.rawBlock).toBe(block);
|
|
103
|
+
});
|
|
104
|
+
});
|
|
105
|
+
(0, vitest_1.describe)('claimsToMDX', () => {
|
|
106
|
+
(0, vitest_1.it)('emite formato fence por default', () => {
|
|
107
|
+
const out = (0, v2_1.claimsToMDX)([mk('c1', 'A->B')]);
|
|
108
|
+
(0, vitest_1.expect)(out).toContain('```st-claim');
|
|
109
|
+
(0, vitest_1.expect)(out).toContain('id=c1');
|
|
110
|
+
(0, vitest_1.expect)(out).toContain('A->B');
|
|
111
|
+
(0, vitest_1.expect)(out.trim().endsWith('```')).toBe(true);
|
|
112
|
+
});
|
|
113
|
+
(0, vitest_1.it)('emite formato comment cuando se pide', () => {
|
|
114
|
+
const out = (0, v2_1.claimsToMDX)([mk('c1', 'A->B')], { template: 'comment' });
|
|
115
|
+
(0, vitest_1.expect)(out).toContain('<!-- st:claim');
|
|
116
|
+
(0, vitest_1.expect)(out).toContain('id="c1"');
|
|
117
|
+
(0, vitest_1.expect)(out).toContain('formula="A->B"');
|
|
118
|
+
(0, vitest_1.expect)(out).toContain('-->');
|
|
119
|
+
});
|
|
120
|
+
(0, vitest_1.it)('serializa dependencies como csv', () => {
|
|
121
|
+
const out = (0, v2_1.claimsToMDX)([mk('c2', 'B', 'p', ['c1', 'c0'])], { template: 'comment' });
|
|
122
|
+
(0, vitest_1.expect)(out).toContain('deps="c1,c0"');
|
|
123
|
+
});
|
|
124
|
+
(0, vitest_1.it)('omite deps cuando está vacío', () => {
|
|
125
|
+
const out = (0, v2_1.claimsToMDX)([mk('c1', 'A')], { template: 'comment' });
|
|
126
|
+
(0, vitest_1.expect)(out).not.toContain('deps=');
|
|
127
|
+
});
|
|
128
|
+
});
|
|
129
|
+
(0, vitest_1.describe)('round-trip claimsToMDX → mdxToClaims', () => {
|
|
130
|
+
const sample = [
|
|
131
|
+
mk('c1', 'A -> B', 'classical.propositional', []),
|
|
132
|
+
mk('c2', '(A -> B) & A', 'classical.propositional', ['c1']),
|
|
133
|
+
mk('c3', 'B', 'classical.propositional', ['c1', 'c2']),
|
|
134
|
+
];
|
|
135
|
+
(0, vitest_1.it)('preserva claims con template fence', () => {
|
|
136
|
+
const mdx = (0, v2_1.claimsToMDX)(sample, { template: 'fence' });
|
|
137
|
+
const parsed = (0, v2_1.mdxToClaims)(mdx).map(v2_1.stripMDXMetadata);
|
|
138
|
+
(0, vitest_1.expect)(parsed).toEqual(sample);
|
|
139
|
+
});
|
|
140
|
+
(0, vitest_1.it)('preserva claims con template comment', () => {
|
|
141
|
+
const mdx = (0, v2_1.claimsToMDX)(sample, { template: 'comment' });
|
|
142
|
+
const parsed = (0, v2_1.mdxToClaims)(mdx).map(v2_1.stripMDXMetadata);
|
|
143
|
+
(0, vitest_1.expect)(parsed).toEqual(sample);
|
|
144
|
+
});
|
|
145
|
+
});
|
|
146
|
+
(0, vitest_1.describe)('diffMDX', () => {
|
|
147
|
+
(0, vitest_1.it)('detecta add, modify y remove correctamente', () => {
|
|
148
|
+
const before = (0, v2_1.claimsToMDX)([mk('c1', 'A', 'p', []), mk('c2', 'B', 'p', ['c1']), mk('c3', 'C', 'p', [])], { template: 'fence' });
|
|
149
|
+
const after = (0, v2_1.claimsToMDX)([
|
|
150
|
+
mk('c1', 'A', 'p', []), // sin cambios
|
|
151
|
+
mk('c2', 'B & X', 'p', ['c1']), // modificada
|
|
152
|
+
// c3 eliminada
|
|
153
|
+
mk('c4', 'D', 'p', ['c1']), // añadida
|
|
154
|
+
], { template: 'fence' });
|
|
155
|
+
const delta = (0, v2_1.diffMDX)(before, after);
|
|
156
|
+
(0, vitest_1.expect)(delta.added.map((c) => c.id)).toEqual(['c4']);
|
|
157
|
+
(0, vitest_1.expect)(delta.removed).toEqual(['c3']);
|
|
158
|
+
(0, vitest_1.expect)(delta.modified.map((m) => m.id)).toEqual(['c2']);
|
|
159
|
+
(0, vitest_1.expect)(delta.modified[0]?.before.formula).toBe('B');
|
|
160
|
+
(0, vitest_1.expect)(delta.modified[0]?.after.formula).toBe('B & X');
|
|
161
|
+
});
|
|
162
|
+
(0, vitest_1.it)('cambio en profile cuenta como modified', () => {
|
|
163
|
+
const before = (0, v2_1.claimsToMDX)([mk('c1', 'A', 'classical.propositional', [])]);
|
|
164
|
+
const after = (0, v2_1.claimsToMDX)([mk('c1', 'A', 'intuitionistic.propositional', [])]);
|
|
165
|
+
const delta = (0, v2_1.diffMDX)(before, after);
|
|
166
|
+
(0, vitest_1.expect)(delta.modified).toHaveLength(1);
|
|
167
|
+
(0, vitest_1.expect)(delta.added).toEqual([]);
|
|
168
|
+
(0, vitest_1.expect)(delta.removed).toEqual([]);
|
|
169
|
+
});
|
|
170
|
+
(0, vitest_1.it)('cambio en dependencies cuenta como modified', () => {
|
|
171
|
+
const before = (0, v2_1.claimsToMDX)([mk('c1', 'A', 'p', ['x'])]);
|
|
172
|
+
const after = (0, v2_1.claimsToMDX)([mk('c1', 'A', 'p', ['x', 'y'])]);
|
|
173
|
+
const delta = (0, v2_1.diffMDX)(before, after);
|
|
174
|
+
(0, vitest_1.expect)(delta.modified).toHaveLength(1);
|
|
175
|
+
(0, vitest_1.expect)(delta.modified[0]?.after.dependencies).toEqual(['x', 'y']);
|
|
176
|
+
});
|
|
177
|
+
(0, vitest_1.it)('orden de dependencies no cuenta como modified', () => {
|
|
178
|
+
const before = (0, v2_1.claimsToMDX)([mk('c1', 'A', 'p', ['x', 'y'])]);
|
|
179
|
+
const after = (0, v2_1.claimsToMDX)([mk('c1', 'A', 'p', ['y', 'x'])]);
|
|
180
|
+
const delta = (0, v2_1.diffMDX)(before, after);
|
|
181
|
+
(0, vitest_1.expect)(delta.modified).toEqual([]);
|
|
182
|
+
});
|
|
183
|
+
(0, vitest_1.it)('MDX idéntico → delta vacío', () => {
|
|
184
|
+
const mdx = (0, v2_1.claimsToMDX)([mk('c1', 'A', 'p', []), mk('c2', 'B', 'p', ['c1'])]);
|
|
185
|
+
(0, vitest_1.expect)((0, v2_1.diffMDX)(mdx, mdx)).toEqual({ added: [], removed: [], modified: [] });
|
|
186
|
+
});
|
|
187
|
+
(0, vitest_1.it)('mezcla comment y fence en mismo MDX', () => {
|
|
188
|
+
const mdx = [
|
|
189
|
+
'<!-- st:claim id="c1" profile="p" formula="A" -->',
|
|
190
|
+
'',
|
|
191
|
+
'```st-claim id=c2 profile=p deps=c1',
|
|
192
|
+
'B',
|
|
193
|
+
'```',
|
|
194
|
+
].join('\n');
|
|
195
|
+
const claims = (0, v2_1.mdxToClaims)(mdx);
|
|
196
|
+
(0, vitest_1.expect)(claims).toHaveLength(2);
|
|
197
|
+
(0, vitest_1.expect)(claims.map((c) => c.id)).toEqual(['c1', 'c2']);
|
|
198
|
+
});
|
|
199
|
+
});
|
|
200
|
+
//# sourceMappingURL=mdx-bridge.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
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"}
|
|
@@ -3,4 +3,6 @@
|
|
|
3
3
|
*/
|
|
4
4
|
export type { Claim, ClaimValidation, ClaimSource, ClaimEvaluator } from './types';
|
|
5
5
|
export { ClaimGraph, CycleError } from './claim-graph';
|
|
6
|
+
export { mdxToClaims, mdxToClaimsDetailed, claimsToMDX, diffMDX, stripMDXMetadata, } from './mdx-bridge';
|
|
7
|
+
export type { MDXClaim, MDXClaimTemplate, ClaimsToMDXOptions, MDXDelta, MDXParseWarning, MDXParseResult, } from './mdx-bridge';
|
|
6
8
|
//# sourceMappingURL=index.d.ts.map
|
|
@@ -1 +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"}
|
|
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;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"}
|
|
@@ -3,8 +3,14 @@
|
|
|
3
3
|
* ST Text Layer 2.0 — entry point.
|
|
4
4
|
*/
|
|
5
5
|
Object.defineProperty(exports, "__esModule", { value: true });
|
|
6
|
-
exports.CycleError = exports.ClaimGraph = void 0;
|
|
6
|
+
exports.stripMDXMetadata = exports.diffMDX = exports.claimsToMDX = exports.mdxToClaimsDetailed = exports.mdxToClaims = exports.CycleError = exports.ClaimGraph = void 0;
|
|
7
7
|
var claim_graph_1 = require("./claim-graph");
|
|
8
8
|
Object.defineProperty(exports, "ClaimGraph", { enumerable: true, get: function () { return claim_graph_1.ClaimGraph; } });
|
|
9
9
|
Object.defineProperty(exports, "CycleError", { enumerable: true, get: function () { return claim_graph_1.CycleError; } });
|
|
10
|
+
var mdx_bridge_1 = require("./mdx-bridge");
|
|
11
|
+
Object.defineProperty(exports, "mdxToClaims", { enumerable: true, get: function () { return mdx_bridge_1.mdxToClaims; } });
|
|
12
|
+
Object.defineProperty(exports, "mdxToClaimsDetailed", { enumerable: true, get: function () { return mdx_bridge_1.mdxToClaimsDetailed; } });
|
|
13
|
+
Object.defineProperty(exports, "claimsToMDX", { enumerable: true, get: function () { return mdx_bridge_1.claimsToMDX; } });
|
|
14
|
+
Object.defineProperty(exports, "diffMDX", { enumerable: true, get: function () { return mdx_bridge_1.diffMDX; } });
|
|
15
|
+
Object.defineProperty(exports, "stripMDXMetadata", { enumerable: true, get: function () { return mdx_bridge_1.stripMDXMetadata; } });
|
|
10
16
|
//# sourceMappingURL=index.js.map
|
|
@@ -1 +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"}
|
|
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;AAC/B,2CAMsB;AALpB,yGAAA,WAAW,OAAA;AACX,iHAAA,mBAAmB,OAAA;AACnB,yGAAA,WAAW,OAAA;AACX,qGAAA,OAAO,OAAA;AACP,8GAAA,gBAAgB,OAAA"}
|
|
@@ -0,0 +1,13 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* MDX diff — detecta qué claims cambiaron entre dos versiones de un MDX.
|
|
3
|
+
*
|
|
4
|
+
* Algoritmo:
|
|
5
|
+
* 1. Parsear ambas versiones a Claim[] (ignorando bloques malformados).
|
|
6
|
+
* 2. Indexar por id.
|
|
7
|
+
* 3. added = ids en `after` que no estaban en `before`.
|
|
8
|
+
* removed = ids en `before` que ya no están en `after`.
|
|
9
|
+
* modified = ids en ambos cuyos campos lógicos difieren.
|
|
10
|
+
*/
|
|
11
|
+
import type { MDXDelta } from './types';
|
|
12
|
+
export declare const diffMDX: (before: string, after: string) => MDXDelta;
|
|
13
|
+
//# sourceMappingURL=diff.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
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"}
|
|
@@ -0,0 +1,69 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
/**
|
|
3
|
+
* MDX diff — detecta qué claims cambiaron entre dos versiones de un MDX.
|
|
4
|
+
*
|
|
5
|
+
* Algoritmo:
|
|
6
|
+
* 1. Parsear ambas versiones a Claim[] (ignorando bloques malformados).
|
|
7
|
+
* 2. Indexar por id.
|
|
8
|
+
* 3. added = ids en `after` que no estaban en `before`.
|
|
9
|
+
* removed = ids en `before` que ya no están en `after`.
|
|
10
|
+
* modified = ids en ambos cuyos campos lógicos difieren.
|
|
11
|
+
*/
|
|
12
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
13
|
+
exports.diffMDX = void 0;
|
|
14
|
+
const parser_1 = require("./parser");
|
|
15
|
+
const sortedDeps = (deps) => [...deps].sort();
|
|
16
|
+
/**
|
|
17
|
+
* Compara dos Claim por igualdad lógica (id, formula, profile, dependencies
|
|
18
|
+
* como conjunto). Ignora `source` y campos extra.
|
|
19
|
+
*/
|
|
20
|
+
const claimsEqual = (a, b) => {
|
|
21
|
+
if (a.id !== b.id)
|
|
22
|
+
return false;
|
|
23
|
+
if (a.formula !== b.formula)
|
|
24
|
+
return false;
|
|
25
|
+
if (a.profile !== b.profile)
|
|
26
|
+
return false;
|
|
27
|
+
const da = sortedDeps(a.dependencies);
|
|
28
|
+
const db = sortedDeps(b.dependencies);
|
|
29
|
+
if (da.length !== db.length)
|
|
30
|
+
return false;
|
|
31
|
+
for (let i = 0; i < da.length; i++) {
|
|
32
|
+
if (da[i] !== db[i])
|
|
33
|
+
return false;
|
|
34
|
+
}
|
|
35
|
+
return true;
|
|
36
|
+
};
|
|
37
|
+
const diffMDX = (before, after) => {
|
|
38
|
+
const beforeClaims = (0, parser_1.mdxToClaims)(before).map(parser_1.stripMDXMetadata);
|
|
39
|
+
const afterClaims = (0, parser_1.mdxToClaims)(after).map(parser_1.stripMDXMetadata);
|
|
40
|
+
const beforeById = new Map();
|
|
41
|
+
for (const c of beforeClaims)
|
|
42
|
+
beforeById.set(c.id, c);
|
|
43
|
+
const afterById = new Map();
|
|
44
|
+
for (const c of afterClaims)
|
|
45
|
+
afterById.set(c.id, c);
|
|
46
|
+
const added = [];
|
|
47
|
+
const removed = [];
|
|
48
|
+
const modified = [];
|
|
49
|
+
for (const [id, afterC] of afterById) {
|
|
50
|
+
const beforeC = beforeById.get(id);
|
|
51
|
+
if (!beforeC) {
|
|
52
|
+
added.push(afterC);
|
|
53
|
+
}
|
|
54
|
+
else if (!claimsEqual(beforeC, afterC)) {
|
|
55
|
+
modified.push({ id, before: beforeC, after: afterC });
|
|
56
|
+
}
|
|
57
|
+
}
|
|
58
|
+
for (const id of beforeById.keys()) {
|
|
59
|
+
if (!afterById.has(id))
|
|
60
|
+
removed.push(id);
|
|
61
|
+
}
|
|
62
|
+
// Determinismo por id.
|
|
63
|
+
added.sort((a, b) => a.id.localeCompare(b.id));
|
|
64
|
+
removed.sort();
|
|
65
|
+
modified.sort((a, b) => a.id.localeCompare(b.id));
|
|
66
|
+
return { added, removed, modified };
|
|
67
|
+
};
|
|
68
|
+
exports.diffMDX = diffMDX;
|
|
69
|
+
//# sourceMappingURL=diff.js.map
|
|
@@ -0,0 +1 @@
|
|
|
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"}
|
|
@@ -0,0 +1,14 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* ST Text Layer 2.0 — MDX bridge.
|
|
3
|
+
*
|
|
4
|
+
* Conversión bidireccional Claim[] ↔ MDX con diff de cambios.
|
|
5
|
+
*
|
|
6
|
+
* mdxToClaims(mdx) → MDXClaim[]
|
|
7
|
+
* claimsToMDX(claims, opts?) → string
|
|
8
|
+
* diffMDX(before, after) → MDXDelta
|
|
9
|
+
*/
|
|
10
|
+
export { mdxToClaims, mdxToClaimsDetailed, stripMDXMetadata } from './parser';
|
|
11
|
+
export { claimsToMDX } from './serializer';
|
|
12
|
+
export { diffMDX } from './diff';
|
|
13
|
+
export type { MDXClaim, MDXClaimTemplate, ClaimsToMDXOptions, MDXDelta, MDXParseWarning, MDXParseResult, } from './types';
|
|
14
|
+
//# sourceMappingURL=index.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
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"}
|
|
@@ -0,0 +1,21 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
/**
|
|
3
|
+
* ST Text Layer 2.0 — MDX bridge.
|
|
4
|
+
*
|
|
5
|
+
* Conversión bidireccional Claim[] ↔ MDX con diff de cambios.
|
|
6
|
+
*
|
|
7
|
+
* mdxToClaims(mdx) → MDXClaim[]
|
|
8
|
+
* claimsToMDX(claims, opts?) → string
|
|
9
|
+
* diffMDX(before, after) → MDXDelta
|
|
10
|
+
*/
|
|
11
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
12
|
+
exports.diffMDX = exports.claimsToMDX = exports.stripMDXMetadata = exports.mdxToClaimsDetailed = exports.mdxToClaims = void 0;
|
|
13
|
+
var parser_1 = require("./parser");
|
|
14
|
+
Object.defineProperty(exports, "mdxToClaims", { enumerable: true, get: function () { return parser_1.mdxToClaims; } });
|
|
15
|
+
Object.defineProperty(exports, "mdxToClaimsDetailed", { enumerable: true, get: function () { return parser_1.mdxToClaimsDetailed; } });
|
|
16
|
+
Object.defineProperty(exports, "stripMDXMetadata", { enumerable: true, get: function () { return parser_1.stripMDXMetadata; } });
|
|
17
|
+
var serializer_1 = require("./serializer");
|
|
18
|
+
Object.defineProperty(exports, "claimsToMDX", { enumerable: true, get: function () { return serializer_1.claimsToMDX; } });
|
|
19
|
+
var diff_1 = require("./diff");
|
|
20
|
+
Object.defineProperty(exports, "diffMDX", { enumerable: true, get: function () { return diff_1.diffMDX; } });
|
|
21
|
+
//# sourceMappingURL=index.js.map
|
|
@@ -0,0 +1 @@
|
|
|
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"}
|
|
@@ -0,0 +1,33 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* MDX → Claim[] parser.
|
|
3
|
+
*
|
|
4
|
+
* Reconoce dos formatos en cualquier orden y en cualquier posición del
|
|
5
|
+
* documento (dentro de prosa, dentro de listas, etc):
|
|
6
|
+
*
|
|
7
|
+
* - HTML comment style:
|
|
8
|
+
* <!-- st:claim id="c1" profile="p" formula="A->B" deps="c0,c2" -->
|
|
9
|
+
*
|
|
10
|
+
* - Fenced code block style:
|
|
11
|
+
* ```st-claim id=c1 profile=p deps=c0
|
|
12
|
+
* A->B
|
|
13
|
+
* ```
|
|
14
|
+
*
|
|
15
|
+
* Bloques malformados (sin id, sin profile, sin formula, etc.) se ignoran
|
|
16
|
+
* acumulando un warning. NUNCA lanza.
|
|
17
|
+
*/
|
|
18
|
+
import type { Claim } from '../types';
|
|
19
|
+
import type { MDXClaim, MDXParseResult } from './types';
|
|
20
|
+
/**
|
|
21
|
+
* Versión "rica" — devuelve también warnings. La API pública delega aquí.
|
|
22
|
+
*/
|
|
23
|
+
export declare const mdxToClaimsDetailed: (mdx: string) => MDXParseResult;
|
|
24
|
+
/**
|
|
25
|
+
* MDX → Claim[]. Tolera bloques malformados ignorándolos.
|
|
26
|
+
*/
|
|
27
|
+
export declare const mdxToClaims: (mdx: string) => MDXClaim[];
|
|
28
|
+
/**
|
|
29
|
+
* Helper interno: convierte MDXClaim a Claim "pelado" (sin rawBlock/source).
|
|
30
|
+
* Útil para diff que sólo compara campos lógicos.
|
|
31
|
+
*/
|
|
32
|
+
export declare const stripMDXMetadata: (claim: MDXClaim) => Claim;
|
|
33
|
+
//# sourceMappingURL=parser.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
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"}
|
|
@@ -0,0 +1,192 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
/**
|
|
3
|
+
* MDX → Claim[] parser.
|
|
4
|
+
*
|
|
5
|
+
* Reconoce dos formatos en cualquier orden y en cualquier posición del
|
|
6
|
+
* documento (dentro de prosa, dentro de listas, etc):
|
|
7
|
+
*
|
|
8
|
+
* - HTML comment style:
|
|
9
|
+
* <!-- st:claim id="c1" profile="p" formula="A->B" deps="c0,c2" -->
|
|
10
|
+
*
|
|
11
|
+
* - Fenced code block style:
|
|
12
|
+
* ```st-claim id=c1 profile=p deps=c0
|
|
13
|
+
* A->B
|
|
14
|
+
* ```
|
|
15
|
+
*
|
|
16
|
+
* Bloques malformados (sin id, sin profile, sin formula, etc.) se ignoran
|
|
17
|
+
* acumulando un warning. NUNCA lanza.
|
|
18
|
+
*/
|
|
19
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
20
|
+
exports.stripMDXMetadata = exports.mdxToClaims = exports.mdxToClaimsDetailed = void 0;
|
|
21
|
+
const COMMENT_RE = /<!--\s*st:claim\s+([^]*?)-->/g;
|
|
22
|
+
// Fence: ```st-claim [opts]\n...body...\n```
|
|
23
|
+
// Tolerante con espacios y con el cierre exacto de 3 backticks.
|
|
24
|
+
const FENCE_RE = /```st-claim([^\n]*)\n([\s\S]*?)\n```/g;
|
|
25
|
+
const truncate = (s, max = 80) => s.length > max ? s.slice(0, max - 3) + '...' : s;
|
|
26
|
+
/**
|
|
27
|
+
* Parsea una lista de atributos clave=valor. Soporta:
|
|
28
|
+
* - id="c1" o id='c1' (con comillas)
|
|
29
|
+
* - id=c1 (sin comillas, hasta whitespace)
|
|
30
|
+
* - claves repetidas: la última gana
|
|
31
|
+
*
|
|
32
|
+
* Devuelve un mapa case-sensitive.
|
|
33
|
+
*/
|
|
34
|
+
const parseAttrs = (raw) => {
|
|
35
|
+
const attrs = {};
|
|
36
|
+
// Pattern por iteración: key=value-con-o-sin-quotes
|
|
37
|
+
const re = /([a-zA-Z_][\w-]*)\s*=\s*(?:"([^"]*)"|'([^']*)'|([^\s"'`<>]+))/g;
|
|
38
|
+
let m;
|
|
39
|
+
while ((m = re.exec(raw)) !== null) {
|
|
40
|
+
const key = m[1];
|
|
41
|
+
if (key === undefined)
|
|
42
|
+
continue;
|
|
43
|
+
const value = m[2] ?? m[3] ?? m[4] ?? '';
|
|
44
|
+
attrs[key] = value;
|
|
45
|
+
}
|
|
46
|
+
return attrs;
|
|
47
|
+
};
|
|
48
|
+
const parseDeps = (raw) => {
|
|
49
|
+
if (!raw)
|
|
50
|
+
return [];
|
|
51
|
+
return raw
|
|
52
|
+
.split(',')
|
|
53
|
+
.map((s) => s.trim())
|
|
54
|
+
.filter((s) => s.length > 0);
|
|
55
|
+
};
|
|
56
|
+
const buildClaim = (attrs, formula, rawBlock, offset) => {
|
|
57
|
+
const id = attrs.id?.trim();
|
|
58
|
+
const profile = attrs.profile?.trim();
|
|
59
|
+
const trimmedFormula = formula.trim();
|
|
60
|
+
if (!id) {
|
|
61
|
+
return {
|
|
62
|
+
ok: false,
|
|
63
|
+
warning: {
|
|
64
|
+
offset,
|
|
65
|
+
message: 'st:claim sin id',
|
|
66
|
+
snippet: truncate(rawBlock),
|
|
67
|
+
},
|
|
68
|
+
};
|
|
69
|
+
}
|
|
70
|
+
if (!profile) {
|
|
71
|
+
return {
|
|
72
|
+
ok: false,
|
|
73
|
+
warning: {
|
|
74
|
+
offset,
|
|
75
|
+
message: `st:claim '${id}' sin profile`,
|
|
76
|
+
snippet: truncate(rawBlock),
|
|
77
|
+
},
|
|
78
|
+
};
|
|
79
|
+
}
|
|
80
|
+
if (!trimmedFormula) {
|
|
81
|
+
return {
|
|
82
|
+
ok: false,
|
|
83
|
+
warning: {
|
|
84
|
+
offset,
|
|
85
|
+
message: `st:claim '${id}' sin formula`,
|
|
86
|
+
snippet: truncate(rawBlock),
|
|
87
|
+
},
|
|
88
|
+
};
|
|
89
|
+
}
|
|
90
|
+
const dependencies = parseDeps(attrs.deps ?? attrs.dependencies);
|
|
91
|
+
const claim = {
|
|
92
|
+
id,
|
|
93
|
+
formula: trimmedFormula,
|
|
94
|
+
profile,
|
|
95
|
+
dependencies,
|
|
96
|
+
rawBlock,
|
|
97
|
+
};
|
|
98
|
+
// Source location (offset en el MDX original). docId queda vacío — el
|
|
99
|
+
// caller puede inyectarlo si necesita persistir.
|
|
100
|
+
claim.source = { docId: '', offset };
|
|
101
|
+
return { ok: true, claim };
|
|
102
|
+
};
|
|
103
|
+
/**
|
|
104
|
+
* Versión "rica" — devuelve también warnings. La API pública delega aquí.
|
|
105
|
+
*/
|
|
106
|
+
const mdxToClaimsDetailed = (mdx) => {
|
|
107
|
+
const claims = [];
|
|
108
|
+
const warnings = [];
|
|
109
|
+
const seenIds = new Set();
|
|
110
|
+
// Reset stateful regex flags per call (defensa porque /g mantiene lastIndex).
|
|
111
|
+
COMMENT_RE.lastIndex = 0;
|
|
112
|
+
FENCE_RE.lastIndex = 0;
|
|
113
|
+
// 1) Comentarios HTML
|
|
114
|
+
let cm;
|
|
115
|
+
while ((cm = COMMENT_RE.exec(mdx)) !== null) {
|
|
116
|
+
const rawBlock = cm[0];
|
|
117
|
+
const attrRaw = cm[1] ?? '';
|
|
118
|
+
const offset = cm.index;
|
|
119
|
+
const attrs = parseAttrs(attrRaw);
|
|
120
|
+
// En comment-style, la fórmula viene en el atributo `formula`.
|
|
121
|
+
const formula = attrs.formula ?? '';
|
|
122
|
+
const built = buildClaim(attrs, formula, rawBlock, offset);
|
|
123
|
+
if (!built.ok) {
|
|
124
|
+
warnings.push(built.warning);
|
|
125
|
+
continue;
|
|
126
|
+
}
|
|
127
|
+
if (seenIds.has(built.claim.id)) {
|
|
128
|
+
warnings.push({
|
|
129
|
+
offset,
|
|
130
|
+
message: `st:claim id duplicado: '${built.claim.id}'`,
|
|
131
|
+
snippet: truncate(rawBlock),
|
|
132
|
+
});
|
|
133
|
+
continue;
|
|
134
|
+
}
|
|
135
|
+
seenIds.add(built.claim.id);
|
|
136
|
+
claims.push(built.claim);
|
|
137
|
+
}
|
|
138
|
+
// 2) Code fences ```st-claim
|
|
139
|
+
let fm;
|
|
140
|
+
while ((fm = FENCE_RE.exec(mdx)) !== null) {
|
|
141
|
+
const rawBlock = fm[0];
|
|
142
|
+
const attrRaw = fm[1] ?? '';
|
|
143
|
+
const body = fm[2] ?? '';
|
|
144
|
+
const offset = fm.index;
|
|
145
|
+
const attrs = parseAttrs(attrRaw);
|
|
146
|
+
const built = buildClaim(attrs, body, rawBlock, offset);
|
|
147
|
+
if (!built.ok) {
|
|
148
|
+
warnings.push(built.warning);
|
|
149
|
+
continue;
|
|
150
|
+
}
|
|
151
|
+
if (seenIds.has(built.claim.id)) {
|
|
152
|
+
warnings.push({
|
|
153
|
+
offset,
|
|
154
|
+
message: `st:claim id duplicado: '${built.claim.id}'`,
|
|
155
|
+
snippet: truncate(rawBlock),
|
|
156
|
+
});
|
|
157
|
+
continue;
|
|
158
|
+
}
|
|
159
|
+
seenIds.add(built.claim.id);
|
|
160
|
+
claims.push(built.claim);
|
|
161
|
+
}
|
|
162
|
+
// Orden estable por offset (mezcla comments + fences en orden de aparición).
|
|
163
|
+
claims.sort((a, b) => {
|
|
164
|
+
const ao = a.source?.offset ?? 0;
|
|
165
|
+
const bo = b.source?.offset ?? 0;
|
|
166
|
+
return ao - bo;
|
|
167
|
+
});
|
|
168
|
+
return { claims, warnings };
|
|
169
|
+
};
|
|
170
|
+
exports.mdxToClaimsDetailed = mdxToClaimsDetailed;
|
|
171
|
+
/**
|
|
172
|
+
* MDX → Claim[]. Tolera bloques malformados ignorándolos.
|
|
173
|
+
*/
|
|
174
|
+
const mdxToClaims = (mdx) => {
|
|
175
|
+
return (0, exports.mdxToClaimsDetailed)(mdx).claims;
|
|
176
|
+
};
|
|
177
|
+
exports.mdxToClaims = mdxToClaims;
|
|
178
|
+
/**
|
|
179
|
+
* Helper interno: convierte MDXClaim a Claim "pelado" (sin rawBlock/source).
|
|
180
|
+
* Útil para diff que sólo compara campos lógicos.
|
|
181
|
+
*/
|
|
182
|
+
const stripMDXMetadata = (claim) => {
|
|
183
|
+
const { id, formula, profile, dependencies } = claim;
|
|
184
|
+
return {
|
|
185
|
+
id,
|
|
186
|
+
formula,
|
|
187
|
+
profile,
|
|
188
|
+
dependencies: [...dependencies],
|
|
189
|
+
};
|
|
190
|
+
};
|
|
191
|
+
exports.stripMDXMetadata = stripMDXMetadata;
|
|
192
|
+
//# sourceMappingURL=parser.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"parser.js","sourceRoot":"","sources":["../../../../src/text-layer/v2/mdx-bridge/parser.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;GAgBG;;;AAMH,MAAM,UAAU,GAAG,+BAA+B,CAAC;AACnD,6CAA6C;AAC7C,gEAAgE;AAChE,MAAM,QAAQ,GAAG,uCAAuC,CAAC;AAEzD,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAE,GAAG,GAAG,EAAE,EAAU,EAAE,CAC/C,CAAC,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AAEnD;;;;;;;GAOG;AACH,MAAM,UAAU,GAAG,CAAC,GAAW,EAA0B,EAAE;IACzD,MAAM,KAAK,GAA2B,EAAE,CAAC;IACzC,oDAAoD;IACpD,MAAM,EAAE,GAAG,gEAAgE,CAAC;IAC5E,IAAI,CAAyB,CAAC;IAC9B,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QACnC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACjB,IAAI,GAAG,KAAK,SAAS;YAAE,SAAS;QAChC,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACzC,KAAK,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;IACrB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,SAAS,GAAG,CAAC,GAAuB,EAAY,EAAE;IACtD,IAAI,CAAC,GAAG;QAAE,OAAO,EAAE,CAAC;IACpB,OAAO,GAAG;SACP,KAAK,CAAC,GAAG,CAAC;SACV,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;SACpB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AACjC,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CACjB,KAA6B,EAC7B,OAAe,EACf,QAAgB,EAChB,MAAc,EAC2D,EAAE;IAC3E,MAAM,EAAE,GAAG,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC;IAC5B,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC;IACtC,MAAM,cAAc,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;IAEtC,IAAI,CAAC,EAAE,EAAE,CAAC;QACR,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EAAE;gBACP,MAAM;gBACN,OAAO,EAAE,iBAAiB;gBAC1B,OAAO,EAAE,QAAQ,CAAC,QAAQ,CAAC;aAC5B;SACF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EAAE;gBACP,MAAM;gBACN,OAAO,EAAE,aAAa,EAAE,eAAe;gBACvC,OAAO,EAAE,QAAQ,CAAC,QAAQ,CAAC;aAC5B;SACF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,cAAc,EAAE,CAAC;QACpB,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EAAE;gBACP,MAAM;gBACN,OAAO,EAAE,aAAa,EAAE,eAAe;gBACvC,OAAO,EAAE,QAAQ,CAAC,QAAQ,CAAC;aAC5B;SACF,CAAC;IACJ,CAAC;IAED,MAAM,YAAY,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,YAAY,CAAC,CAAC;IAEjE,MAAM,KAAK,GAAa;QACtB,EAAE;QACF,OAAO,EAAE,cAAc;QACvB,OAAO;QACP,YAAY;QACZ,QAAQ;KACT,CAAC;IAEF,sEAAsE;IACtE,iDAAiD;IACjD,KAAK,CAAC,MAAM,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC;IAErC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AAC7B,CAAC,CAAC;AAEF;;GAEG;AACI,MAAM,mBAAmB,GAAG,CAAC,GAAW,EAAkB,EAAE;IACjE,MAAM,MAAM,GAAe,EAAE,CAAC;IAC9B,MAAM,QAAQ,GAAsB,EAAE,CAAC;IACvC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAElC,8EAA8E;IAC9E,UAAU,CAAC,SAAS,GAAG,CAAC,CAAC;IACzB,QAAQ,CAAC,SAAS,GAAG,CAAC,CAAC;IAEvB,sBAAsB;IACtB,IAAI,EAA0B,CAAC;IAC/B,OAAO,CAAC,EAAE,GAAG,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QAC5C,MAAM,QAAQ,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACvB,MAAM,OAAO,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,EAAE,CAAC,KAAK,CAAC;QACxB,MAAM,KAAK,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC;QAClC,+DAA+D;QAC/D,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;QAC3D,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;YACd,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAC7B,SAAS;QACX,CAAC;QACD,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;YAChC,QAAQ,CAAC,IAAI,CAAC;gBACZ,MAAM;gBACN,OAAO,EAAE,2BAA2B,KAAK,CAAC,KAAK,CAAC,EAAE,GAAG;gBACrD,OAAO,EAAE,QAAQ,CAAC,QAAQ,CAAC;aAC5B,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC5B,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC3B,CAAC;IAED,6BAA6B;IAC7B,IAAI,EAA0B,CAAC;IAC/B,OAAO,CAAC,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QAC1C,MAAM,QAAQ,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACvB,MAAM,OAAO,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,EAAE,CAAC,KAAK,CAAC;QACxB,MAAM,KAAK,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC;QAClC,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;QACxD,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;YACd,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAC7B,SAAS;QACX,CAAC;QACD,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;YAChC,QAAQ,CAAC,IAAI,CAAC;gBACZ,MAAM;gBACN,OAAO,EAAE,2BAA2B,KAAK,CAAC,KAAK,CAAC,EAAE,GAAG;gBACrD,OAAO,EAAE,QAAQ,CAAC,QAAQ,CAAC;aAC5B,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC5B,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC3B,CAAC;IAED,6EAA6E;IAC7E,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACnB,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,EAAE,MAAM,IAAI,CAAC,CAAC;QACjC,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,EAAE,MAAM,IAAI,CAAC,CAAC;QACjC,OAAO,EAAE,GAAG,EAAE,CAAC;IACjB,CAAC,CAAC,CAAC;IAEH,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AAC9B,CAAC,CAAC;AApEW,QAAA,mBAAmB,uBAoE9B;AAEF;;GAEG;AACI,MAAM,WAAW,GAAG,CAAC,GAAW,EAAc,EAAE;IACrD,OAAO,IAAA,2BAAmB,EAAC,GAAG,CAAC,CAAC,MAAM,CAAC;AACzC,CAAC,CAAC;AAFW,QAAA,WAAW,eAEtB;AAEF;;;GAGG;AACI,MAAM,gBAAgB,GAAG,CAAC,KAAe,EAAS,EAAE;IACzD,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,GAAG,KAAK,CAAC;IACrD,OAAO;QACL,EAAE;QACF,OAAO;QACP,OAAO;QACP,YAAY,EAAE,CAAC,GAAG,YAAY,CAAC;KAChC,CAAC;AACJ,CAAC,CAAC;AARW,QAAA,gBAAgB,oBAQ3B"}
|