@proposit/proposit-core 0.8.9
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/README.md +1032 -0
- package/dist/cli/commands/analysis.d.ts +3 -0
- package/dist/cli/commands/analysis.d.ts.map +1 -0
- package/dist/cli/commands/analysis.js +504 -0
- package/dist/cli/commands/analysis.js.map +1 -0
- package/dist/cli/commands/arguments.d.ts +3 -0
- package/dist/cli/commands/arguments.d.ts.map +1 -0
- package/dist/cli/commands/arguments.js +187 -0
- package/dist/cli/commands/arguments.js.map +1 -0
- package/dist/cli/commands/claims.d.ts +3 -0
- package/dist/cli/commands/claims.d.ts.map +1 -0
- package/dist/cli/commands/claims.js +120 -0
- package/dist/cli/commands/claims.js.map +1 -0
- package/dist/cli/commands/diff.d.ts +3 -0
- package/dist/cli/commands/diff.d.ts.map +1 -0
- package/dist/cli/commands/diff.js +61 -0
- package/dist/cli/commands/diff.js.map +1 -0
- package/dist/cli/commands/expressions.d.ts +3 -0
- package/dist/cli/commands/expressions.d.ts.map +1 -0
- package/dist/cli/commands/expressions.js +344 -0
- package/dist/cli/commands/expressions.js.map +1 -0
- package/dist/cli/commands/graph.d.ts +13 -0
- package/dist/cli/commands/graph.d.ts.map +1 -0
- package/dist/cli/commands/graph.js +382 -0
- package/dist/cli/commands/graph.js.map +1 -0
- package/dist/cli/commands/meta.d.ts +3 -0
- package/dist/cli/commands/meta.d.ts.map +1 -0
- package/dist/cli/commands/meta.js +14 -0
- package/dist/cli/commands/meta.js.map +1 -0
- package/dist/cli/commands/parse.d.ts +3 -0
- package/dist/cli/commands/parse.d.ts.map +1 -0
- package/dist/cli/commands/parse.js +171 -0
- package/dist/cli/commands/parse.js.map +1 -0
- package/dist/cli/commands/premises.d.ts +3 -0
- package/dist/cli/commands/premises.d.ts.map +1 -0
- package/dist/cli/commands/premises.js +261 -0
- package/dist/cli/commands/premises.js.map +1 -0
- package/dist/cli/commands/render.d.ts +3 -0
- package/dist/cli/commands/render.d.ts.map +1 -0
- package/dist/cli/commands/render.js +109 -0
- package/dist/cli/commands/render.js.map +1 -0
- package/dist/cli/commands/repair.d.ts +3 -0
- package/dist/cli/commands/repair.d.ts.map +1 -0
- package/dist/cli/commands/repair.js +53 -0
- package/dist/cli/commands/repair.js.map +1 -0
- package/dist/cli/commands/roles.d.ts +3 -0
- package/dist/cli/commands/roles.d.ts.map +1 -0
- package/dist/cli/commands/roles.js +64 -0
- package/dist/cli/commands/roles.js.map +1 -0
- package/dist/cli/commands/sources.d.ts +3 -0
- package/dist/cli/commands/sources.d.ts.map +1 -0
- package/dist/cli/commands/sources.js +103 -0
- package/dist/cli/commands/sources.js.map +1 -0
- package/dist/cli/commands/validate.d.ts +3 -0
- package/dist/cli/commands/validate.d.ts.map +1 -0
- package/dist/cli/commands/validate.js +27 -0
- package/dist/cli/commands/validate.js.map +1 -0
- package/dist/cli/commands/variables.d.ts +3 -0
- package/dist/cli/commands/variables.d.ts.map +1 -0
- package/dist/cli/commands/variables.js +206 -0
- package/dist/cli/commands/variables.js.map +1 -0
- package/dist/cli/commands/version-show.d.ts +3 -0
- package/dist/cli/commands/version-show.d.ts.map +1 -0
- package/dist/cli/commands/version-show.js +31 -0
- package/dist/cli/commands/version-show.js.map +1 -0
- package/dist/cli/config.d.ts +8 -0
- package/dist/cli/config.d.ts.map +1 -0
- package/dist/cli/config.js +24 -0
- package/dist/cli/config.js.map +1 -0
- package/dist/cli/engine.d.ts +19 -0
- package/dist/cli/engine.d.ts.map +1 -0
- package/dist/cli/engine.js +173 -0
- package/dist/cli/engine.js.map +1 -0
- package/dist/cli/import.d.ts +22 -0
- package/dist/cli/import.d.ts.map +1 -0
- package/dist/cli/import.js +242 -0
- package/dist/cli/import.js.map +1 -0
- package/dist/cli/llm/index.d.ts +6 -0
- package/dist/cli/llm/index.d.ts.map +1 -0
- package/dist/cli/llm/index.js +26 -0
- package/dist/cli/llm/index.js.map +1 -0
- package/dist/cli/llm/openai.d.ts +4 -0
- package/dist/cli/llm/openai.d.ts.map +1 -0
- package/dist/cli/llm/openai.js +44 -0
- package/dist/cli/llm/openai.js.map +1 -0
- package/dist/cli/llm/types.d.ts +14 -0
- package/dist/cli/llm/types.d.ts.map +1 -0
- package/dist/cli/llm/types.js +2 -0
- package/dist/cli/llm/types.js.map +1 -0
- package/dist/cli/logging.d.ts +8 -0
- package/dist/cli/logging.d.ts.map +1 -0
- package/dist/cli/logging.js +23 -0
- package/dist/cli/logging.js.map +1 -0
- package/dist/cli/output/diff-renderer.d.ts +4 -0
- package/dist/cli/output/diff-renderer.d.ts.map +1 -0
- package/dist/cli/output/diff-renderer.js +89 -0
- package/dist/cli/output/diff-renderer.js.map +1 -0
- package/dist/cli/output.d.ts +6 -0
- package/dist/cli/output.d.ts.map +1 -0
- package/dist/cli/output.js +41 -0
- package/dist/cli/output.js.map +1 -0
- package/dist/cli/router.d.ts +14 -0
- package/dist/cli/router.d.ts.map +1 -0
- package/dist/cli/router.js +59 -0
- package/dist/cli/router.js.map +1 -0
- package/dist/cli/schemata.d.ts +74 -0
- package/dist/cli/schemata.d.ts.map +1 -0
- package/dist/cli/schemata.js +89 -0
- package/dist/cli/schemata.js.map +1 -0
- package/dist/cli/storage/analysis.d.ts +9 -0
- package/dist/cli/storage/analysis.d.ts.map +1 -0
- package/dist/cli/storage/analysis.js +108 -0
- package/dist/cli/storage/analysis.js.map +1 -0
- package/dist/cli/storage/arguments.d.ts +12 -0
- package/dist/cli/storage/arguments.d.ts.map +1 -0
- package/dist/cli/storage/arguments.js +80 -0
- package/dist/cli/storage/arguments.js.map +1 -0
- package/dist/cli/storage/libraries.d.ts +14 -0
- package/dist/cli/storage/libraries.d.ts.map +1 -0
- package/dist/cli/storage/libraries.js +80 -0
- package/dist/cli/storage/libraries.js.map +1 -0
- package/dist/cli/storage/premises.d.ts +9 -0
- package/dist/cli/storage/premises.d.ts.map +1 -0
- package/dist/cli/storage/premises.js +67 -0
- package/dist/cli/storage/premises.js.map +1 -0
- package/dist/cli/storage/roles.d.ts +4 -0
- package/dist/cli/storage/roles.d.ts.map +1 -0
- package/dist/cli/storage/roles.js +26 -0
- package/dist/cli/storage/roles.js.map +1 -0
- package/dist/cli/storage/variables.d.ts +4 -0
- package/dist/cli/storage/variables.d.ts.map +1 -0
- package/dist/cli/storage/variables.js +36 -0
- package/dist/cli/storage/variables.js.map +1 -0
- package/dist/cli.d.ts +3 -0
- package/dist/cli.d.ts.map +1 -0
- package/dist/cli.js +65 -0
- package/dist/cli.js.map +1 -0
- package/dist/extensions/basics/argument-parser.d.ts +12 -0
- package/dist/extensions/basics/argument-parser.d.ts.map +1 -0
- package/dist/extensions/basics/argument-parser.js +27 -0
- package/dist/extensions/basics/argument-parser.js.map +1 -0
- package/dist/extensions/basics/index.d.ts +4 -0
- package/dist/extensions/basics/index.d.ts.map +1 -0
- package/dist/extensions/basics/index.js +3 -0
- package/dist/extensions/basics/index.js.map +1 -0
- package/dist/extensions/basics/schemata.d.ts +35 -0
- package/dist/extensions/basics/schemata.d.ts.map +1 -0
- package/dist/extensions/basics/schemata.js +55 -0
- package/dist/extensions/basics/schemata.js.map +1 -0
- package/dist/extensions/ieee/formatting.d.ts +18 -0
- package/dist/extensions/ieee/formatting.d.ts.map +1 -0
- package/dist/extensions/ieee/formatting.js +57 -0
- package/dist/extensions/ieee/formatting.js.map +1 -0
- package/dist/extensions/ieee/index.d.ts +6 -0
- package/dist/extensions/ieee/index.d.ts.map +1 -0
- package/dist/extensions/ieee/index.js +6 -0
- package/dist/extensions/ieee/index.js.map +1 -0
- package/dist/extensions/ieee/references.d.ts +1379 -0
- package/dist/extensions/ieee/references.d.ts.map +1 -0
- package/dist/extensions/ieee/references.js +929 -0
- package/dist/extensions/ieee/references.js.map +1 -0
- package/dist/extensions/ieee/relaxed.d.ts +1371 -0
- package/dist/extensions/ieee/relaxed.d.ts.map +1 -0
- package/dist/extensions/ieee/relaxed.js +160 -0
- package/dist/extensions/ieee/relaxed.js.map +1 -0
- package/dist/extensions/ieee/segment-builder.d.ts +9 -0
- package/dist/extensions/ieee/segment-builder.d.ts.map +1 -0
- package/dist/extensions/ieee/segment-builder.js +98 -0
- package/dist/extensions/ieee/segment-builder.js.map +1 -0
- package/dist/extensions/ieee/segment-templates.d.ts +58 -0
- package/dist/extensions/ieee/segment-templates.d.ts.map +1 -0
- package/dist/extensions/ieee/segment-templates.js +1618 -0
- package/dist/extensions/ieee/segment-templates.js.map +1 -0
- package/dist/extensions/ieee/source.d.ts +434 -0
- package/dist/extensions/ieee/source.d.ts.map +1 -0
- package/dist/extensions/ieee/source.js +12 -0
- package/dist/extensions/ieee/source.js.map +1 -0
- package/dist/index.d.ts +10 -0
- package/dist/index.d.ts.map +1 -0
- package/dist/index.js +10 -0
- package/dist/index.js.map +1 -0
- package/dist/lib/consts.d.ts +21 -0
- package/dist/lib/consts.d.ts.map +1 -0
- package/dist/lib/consts.js +117 -0
- package/dist/lib/consts.js.map +1 -0
- package/dist/lib/core/argument-engine.d.ts +181 -0
- package/dist/lib/core/argument-engine.d.ts.map +1 -0
- package/dist/lib/core/argument-engine.js +1294 -0
- package/dist/lib/core/argument-engine.js.map +1 -0
- package/dist/lib/core/argument-library.d.ts +84 -0
- package/dist/lib/core/argument-library.d.ts.map +1 -0
- package/dist/lib/core/argument-library.js +122 -0
- package/dist/lib/core/argument-library.js.map +1 -0
- package/dist/lib/core/argument-validation.d.ts +74 -0
- package/dist/lib/core/argument-validation.d.ts.map +1 -0
- package/dist/lib/core/argument-validation.js +315 -0
- package/dist/lib/core/argument-validation.js.map +1 -0
- package/dist/lib/core/change-collector.d.ts +24 -0
- package/dist/lib/core/change-collector.d.ts.map +1 -0
- package/dist/lib/core/change-collector.js +63 -0
- package/dist/lib/core/change-collector.js.map +1 -0
- package/dist/lib/core/checksum.d.ts +15 -0
- package/dist/lib/core/checksum.d.ts.map +1 -0
- package/dist/lib/core/checksum.js +43 -0
- package/dist/lib/core/checksum.js.map +1 -0
- package/dist/lib/core/claim-library.d.ts +23 -0
- package/dist/lib/core/claim-library.d.ts.map +1 -0
- package/dist/lib/core/claim-library.js +21 -0
- package/dist/lib/core/claim-library.js.map +1 -0
- package/dist/lib/core/claim-source-library.d.ts +32 -0
- package/dist/lib/core/claim-source-library.d.ts.map +1 -0
- package/dist/lib/core/claim-source-library.js +193 -0
- package/dist/lib/core/claim-source-library.js.map +1 -0
- package/dist/lib/core/diff.d.ts +20 -0
- package/dist/lib/core/diff.d.ts.map +1 -0
- package/dist/lib/core/diff.js +260 -0
- package/dist/lib/core/diff.js.map +1 -0
- package/dist/lib/core/evaluation/argument-evaluation.d.ts +53 -0
- package/dist/lib/core/evaluation/argument-evaluation.d.ts.map +1 -0
- package/dist/lib/core/evaluation/argument-evaluation.js +535 -0
- package/dist/lib/core/evaluation/argument-evaluation.js.map +1 -0
- package/dist/lib/core/evaluation/grading.d.ts +28 -0
- package/dist/lib/core/evaluation/grading.d.ts.map +1 -0
- package/dist/lib/core/evaluation/grading.js +44 -0
- package/dist/lib/core/evaluation/grading.js.map +1 -0
- package/dist/lib/core/evaluation/kleene.d.ts +12 -0
- package/dist/lib/core/evaluation/kleene.d.ts.map +1 -0
- package/dist/lib/core/evaluation/kleene.js +29 -0
- package/dist/lib/core/evaluation/kleene.js.map +1 -0
- package/dist/lib/core/evaluation/validation.d.ts +10 -0
- package/dist/lib/core/evaluation/validation.d.ts.map +1 -0
- package/dist/lib/core/evaluation/validation.js +28 -0
- package/dist/lib/core/evaluation/validation.js.map +1 -0
- package/dist/lib/core/expression-manager.d.ts +278 -0
- package/dist/lib/core/expression-manager.d.ts.map +1 -0
- package/dist/lib/core/expression-manager.js +1622 -0
- package/dist/lib/core/expression-manager.js.map +1 -0
- package/dist/lib/core/fork-library.d.ts +26 -0
- package/dist/lib/core/fork-library.d.ts.map +1 -0
- package/dist/lib/core/fork-library.js +71 -0
- package/dist/lib/core/fork-library.js.map +1 -0
- package/dist/lib/core/fork-namespace.d.ts +32 -0
- package/dist/lib/core/fork-namespace.d.ts.map +1 -0
- package/dist/lib/core/fork-namespace.js +99 -0
- package/dist/lib/core/fork-namespace.js.map +1 -0
- package/dist/lib/core/fork.d.ts +30 -0
- package/dist/lib/core/fork.d.ts.map +1 -0
- package/dist/lib/core/fork.js +125 -0
- package/dist/lib/core/fork.js.map +1 -0
- package/dist/lib/core/interfaces/argument-engine.interfaces.d.ts +366 -0
- package/dist/lib/core/interfaces/argument-engine.interfaces.d.ts.map +1 -0
- package/dist/lib/core/interfaces/argument-engine.interfaces.js +2 -0
- package/dist/lib/core/interfaces/argument-engine.interfaces.js.map +1 -0
- package/dist/lib/core/interfaces/index.d.ts +5 -0
- package/dist/lib/core/interfaces/index.d.ts.map +1 -0
- package/dist/lib/core/interfaces/index.js +2 -0
- package/dist/lib/core/interfaces/index.js.map +1 -0
- package/dist/lib/core/interfaces/library.interfaces.d.ts +347 -0
- package/dist/lib/core/interfaces/library.interfaces.d.ts.map +1 -0
- package/dist/lib/core/interfaces/library.interfaces.js +2 -0
- package/dist/lib/core/interfaces/library.interfaces.js.map +1 -0
- package/dist/lib/core/interfaces/premise-engine.interfaces.d.ts +401 -0
- package/dist/lib/core/interfaces/premise-engine.interfaces.d.ts.map +1 -0
- package/dist/lib/core/interfaces/premise-engine.interfaces.js +2 -0
- package/dist/lib/core/interfaces/premise-engine.interfaces.js.map +1 -0
- package/dist/lib/core/interfaces/shared.interfaces.d.ts +28 -0
- package/dist/lib/core/interfaces/shared.interfaces.d.ts.map +1 -0
- package/dist/lib/core/interfaces/shared.interfaces.js +2 -0
- package/dist/lib/core/interfaces/shared.interfaces.js.map +1 -0
- package/dist/lib/core/invariant-violation-error.d.ts +10 -0
- package/dist/lib/core/invariant-violation-error.d.ts.map +1 -0
- package/dist/lib/core/invariant-violation-error.js +16 -0
- package/dist/lib/core/invariant-violation-error.js.map +1 -0
- package/dist/lib/core/parser/formula-gen.js +923 -0
- package/dist/lib/core/parser/formula.d.ts +24 -0
- package/dist/lib/core/parser/formula.d.ts.map +1 -0
- package/dist/lib/core/parser/formula.js +8 -0
- package/dist/lib/core/parser/formula.js.map +1 -0
- package/dist/lib/core/premise-engine.d.ts +122 -0
- package/dist/lib/core/premise-engine.d.ts.map +1 -0
- package/dist/lib/core/premise-engine.js +1362 -0
- package/dist/lib/core/premise-engine.js.map +1 -0
- package/dist/lib/core/proposit-core.d.ts +111 -0
- package/dist/lib/core/proposit-core.d.ts.map +1 -0
- package/dist/lib/core/proposit-core.js +365 -0
- package/dist/lib/core/proposit-core.js.map +1 -0
- package/dist/lib/core/relationships.d.ts +15 -0
- package/dist/lib/core/relationships.d.ts.map +1 -0
- package/dist/lib/core/relationships.js +319 -0
- package/dist/lib/core/relationships.js.map +1 -0
- package/dist/lib/core/source-library.d.ts +23 -0
- package/dist/lib/core/source-library.d.ts.map +1 -0
- package/dist/lib/core/source-library.js +21 -0
- package/dist/lib/core/source-library.js.map +1 -0
- package/dist/lib/core/variable-manager.d.ts +68 -0
- package/dist/lib/core/variable-manager.d.ts.map +1 -0
- package/dist/lib/core/variable-manager.js +200 -0
- package/dist/lib/core/variable-manager.js.map +1 -0
- package/dist/lib/core/versioned-library.d.ts +52 -0
- package/dist/lib/core/versioned-library.d.ts.map +1 -0
- package/dist/lib/core/versioned-library.js +192 -0
- package/dist/lib/core/versioned-library.js.map +1 -0
- package/dist/lib/index.d.ts +54 -0
- package/dist/lib/index.d.ts.map +1 -0
- package/dist/lib/index.js +39 -0
- package/dist/lib/index.js.map +1 -0
- package/dist/lib/parsing/argument-parser.d.ts +49 -0
- package/dist/lib/parsing/argument-parser.d.ts.map +1 -0
- package/dist/lib/parsing/argument-parser.js +403 -0
- package/dist/lib/parsing/argument-parser.js.map +1 -0
- package/dist/lib/parsing/clamp-max-lengths.d.ts +11 -0
- package/dist/lib/parsing/clamp-max-lengths.d.ts.map +1 -0
- package/dist/lib/parsing/clamp-max-lengths.js +56 -0
- package/dist/lib/parsing/clamp-max-lengths.js.map +1 -0
- package/dist/lib/parsing/index.d.ts +7 -0
- package/dist/lib/parsing/index.d.ts.map +1 -0
- package/dist/lib/parsing/index.js +4 -0
- package/dist/lib/parsing/index.js.map +1 -0
- package/dist/lib/parsing/prompt-builder.d.ts +11 -0
- package/dist/lib/parsing/prompt-builder.d.ts.map +1 -0
- package/dist/lib/parsing/prompt-builder.js +229 -0
- package/dist/lib/parsing/prompt-builder.js.map +1 -0
- package/dist/lib/parsing/schemata.d.ts +79 -0
- package/dist/lib/parsing/schemata.d.ts.map +1 -0
- package/dist/lib/parsing/schemata.js +92 -0
- package/dist/lib/parsing/schemata.js.map +1 -0
- package/dist/lib/parsing/types.d.ts +24 -0
- package/dist/lib/parsing/types.d.ts.map +1 -0
- package/dist/lib/parsing/types.js +2 -0
- package/dist/lib/parsing/types.js.map +1 -0
- package/dist/lib/schemata/analysis.d.ts +9 -0
- package/dist/lib/schemata/analysis.d.ts.map +1 -0
- package/dist/lib/schemata/analysis.js +13 -0
- package/dist/lib/schemata/analysis.js.map +1 -0
- package/dist/lib/schemata/argument.d.ts +14 -0
- package/dist/lib/schemata/argument.d.ts.map +1 -0
- package/dist/lib/schemata/argument.js +24 -0
- package/dist/lib/schemata/argument.js.map +1 -0
- package/dist/lib/schemata/claim.d.ts +9 -0
- package/dist/lib/schemata/claim.d.ts.map +1 -0
- package/dist/lib/schemata/claim.js +18 -0
- package/dist/lib/schemata/claim.js.map +1 -0
- package/dist/lib/schemata/fork.d.ts +76 -0
- package/dist/lib/schemata/fork.d.ts.map +1 -0
- package/dist/lib/schemata/fork.js +55 -0
- package/dist/lib/schemata/fork.js.map +1 -0
- package/dist/lib/schemata/import.d.ts +33 -0
- package/dist/lib/schemata/import.d.ts.map +1 -0
- package/dist/lib/schemata/import.js +18 -0
- package/dist/lib/schemata/import.js.map +1 -0
- package/dist/lib/schemata/index.d.ts +8 -0
- package/dist/lib/schemata/index.d.ts.map +1 -0
- package/dist/lib/schemata/index.js +8 -0
- package/dist/lib/schemata/index.js.map +1 -0
- package/dist/lib/schemata/propositional.d.ts +142 -0
- package/dist/lib/schemata/propositional.d.ts.map +1 -0
- package/dist/lib/schemata/propositional.js +120 -0
- package/dist/lib/schemata/propositional.js.map +1 -0
- package/dist/lib/schemata/shared.d.ts +41 -0
- package/dist/lib/schemata/shared.d.ts.map +1 -0
- package/dist/lib/schemata/shared.js +66 -0
- package/dist/lib/schemata/shared.js.map +1 -0
- package/dist/lib/schemata/source.d.ts +18 -0
- package/dist/lib/schemata/source.d.ts.map +1 -0
- package/dist/lib/schemata/source.js +35 -0
- package/dist/lib/schemata/source.js.map +1 -0
- package/dist/lib/types/checksum.d.ts +20 -0
- package/dist/lib/types/checksum.d.ts.map +1 -0
- package/dist/lib/types/checksum.js +2 -0
- package/dist/lib/types/checksum.js.map +1 -0
- package/dist/lib/types/diff.d.ts +60 -0
- package/dist/lib/types/diff.d.ts.map +1 -0
- package/dist/lib/types/diff.js +2 -0
- package/dist/lib/types/diff.js.map +1 -0
- package/dist/lib/types/evaluation.d.ts +164 -0
- package/dist/lib/types/evaluation.d.ts.map +1 -0
- package/dist/lib/types/evaluation.js +2 -0
- package/dist/lib/types/evaluation.js.map +1 -0
- package/dist/lib/types/fork.d.ts +25 -0
- package/dist/lib/types/fork.d.ts.map +1 -0
- package/dist/lib/types/fork.js +2 -0
- package/dist/lib/types/fork.js.map +1 -0
- package/dist/lib/types/grammar.d.ts +38 -0
- package/dist/lib/types/grammar.d.ts.map +1 -0
- package/dist/lib/types/grammar.js +11 -0
- package/dist/lib/types/grammar.js.map +1 -0
- package/dist/lib/types/mutation.d.ts +31 -0
- package/dist/lib/types/mutation.d.ts.map +1 -0
- package/dist/lib/types/mutation.js +2 -0
- package/dist/lib/types/mutation.js.map +1 -0
- package/dist/lib/types/reactive.d.ts +14 -0
- package/dist/lib/types/reactive.d.ts.map +1 -0
- package/dist/lib/types/reactive.js +2 -0
- package/dist/lib/types/reactive.js.map +1 -0
- package/dist/lib/types/relationships.d.ts +36 -0
- package/dist/lib/types/relationships.d.ts.map +1 -0
- package/dist/lib/types/relationships.js +2 -0
- package/dist/lib/types/relationships.js.map +1 -0
- package/dist/lib/types/validation.d.ts +47 -0
- package/dist/lib/types/validation.d.ts.map +1 -0
- package/dist/lib/types/validation.js +43 -0
- package/dist/lib/types/validation.js.map +1 -0
- package/dist/lib/utils/changeset.d.ts +124 -0
- package/dist/lib/utils/changeset.d.ts.map +1 -0
- package/dist/lib/utils/changeset.js +221 -0
- package/dist/lib/utils/changeset.js.map +1 -0
- package/dist/lib/utils/collections.d.ts +12 -0
- package/dist/lib/utils/collections.d.ts.map +1 -0
- package/dist/lib/utils/collections.js +24 -0
- package/dist/lib/utils/collections.js.map +1 -0
- package/dist/lib/utils/default-map.d.ts +17 -0
- package/dist/lib/utils/default-map.d.ts.map +1 -0
- package/dist/lib/utils/default-map.js +33 -0
- package/dist/lib/utils/default-map.js.map +1 -0
- package/dist/lib/utils/lookup.d.ts +47 -0
- package/dist/lib/utils/lookup.d.ts.map +1 -0
- package/dist/lib/utils/lookup.js +62 -0
- package/dist/lib/utils/lookup.js.map +1 -0
- package/dist/lib/utils/position.d.ts +12 -0
- package/dist/lib/utils/position.d.ts.map +1 -0
- package/dist/lib/utils/position.js +13 -0
- package/dist/lib/utils/position.js.map +1 -0
- package/package.json +82 -0
- package/skills/proposit-core/SKILL.md +35 -0
- package/skills/proposit-core/docs/api-usage.md +442 -0
- package/skills/proposit-core/docs/architecture.md +256 -0
- package/skills/proposit-core/docs/cli.md +304 -0
- package/skills/proposit-core/docs/testing.md +281 -0
- package/skills/proposit-core/docs/types-schemas.md +648 -0
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"premise-engine.js","sourceRoot":"","sources":["../../../src/lib/core/premise-engine.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,iBAAiB,EACjB,iBAAiB,EACjB,cAAc,GAQjB,MAAM,sBAAsB,CAAA;AAC7B,OAAO,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAA;AACpD,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAA;AAC/E,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AAUtE,OAAO,EACH,SAAS,EACT,SAAS,EACT,aAAa,EACb,SAAS,EACT,QAAQ,GACX,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EACH,uBAAuB,EACvB,cAAc,EACd,oBAAoB,GACvB,MAAM,4BAA4B,CAAA;AACnC,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAKrC,OAAO,EACH,sBAAsB,EACtB,+BAA+B,EAC/B,8BAA8B,GACjC,MAAM,wBAAwB,CAAA;AAE/B,OAAO,EACH,iBAAiB,GAEpB,MAAM,sBAAsB,CAAA;AAE7B,OAAO,EACH,uBAAuB,EACvB,uBAAuB,EACvB,uBAAuB,GAC1B,MAAM,cAAc,CAAA;AACrB,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AAC3D,OAAO,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAA;AAOxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAA;AAC3D,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAuBvD,MAAM,OAAO,aAAa;IAiBd,OAAO,CAA6B;IACpC,gBAAgB,CAAoB;IACpC,SAAS,CAAuB;IAChC,WAAW,CAA0B;IACrC,uBAAuB,CAAiC;IACxD,QAAQ,CAAyB;IACjC,cAAc,CAAsB;IACpC,aAAa,GAAG,IAAI,CAAA;IACpB,kBAAkB,CAAoB;IACtC,wBAAwB,CAA2B;IACnD,sBAAsB,CAAoB;IAC1C,eAAe,CAAsB;IACrC,UAAU,CAAc;IACxB,QAAQ,CAAa;IACrB,gBAAgB,CAGZ;IACJ,sBAAsB,CAAkC;IACxD,mBAAmB,CAAoB;IACvC,wBAAwB,CAAmC;IAC3D,gBAAgB,GAAG,KAAK,CAAA;IAEhC,YACI,OAAoC,EACpC,IAIC,EACD,MAA4B;QAE5B,IAAI,CAAC,OAAO,GAAG,EAAE,GAAG,OAAO,EAAE,CAAA;QAC7B,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAA;QAC7B,IAAI,CAAC,cAAc,GAAG,MAAM,EAAE,cAAc,CAAA;QAC5C,IAAI,CAAC,gBAAgB,GAAG,SAAS,CAAA;QACjC,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAA;QAC/B,IAAI,CAAC,WAAW,GAAG,IAAI,iBAAiB,CAAQ,MAAM,CAAC,CAAA;QACvD,IAAI,CAAC,uBAAuB,GAAG,IAAI,UAAU,CAAC,GAAG,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,CAAA;QAC9D,IAAI,CAAC,eAAe,GAAG,IAAI,CAAC,eAAe,CAAA;QAC3C,IAAI,CAAC,UAAU,GAAG,MAAM,EAAE,UAAU,IAAI,iBAAiB,CAAA;IAC7D,CAAC;IAEM,WAAW,CAAC,QAAkC;QACjD,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAA;IAC5B,CAAC;IAEM,mBAAmB,CACtB,KAAuE;QAEvE,IAAI,CAAC,gBAAgB,GAAG,KAAK,CAAA;IACjC,CAAC;IAEM,yBAAyB,CAC5B,KAAoD;QAEpD,IAAI,CAAC,sBAAsB,GAAG,KAAK,CAAA;IACvC,CAAC;IAEM,sBAAsB,CACzB,QAAyC;QAEzC,IAAI,CAAC,mBAAmB,GAAG,QAAQ,CAAA;IACvC,CAAC;IAEM,2BAA2B,CAC9B,QAAwD;QAExD,IAAI,CAAC,wBAAwB,GAAG,QAAQ,CAAA;IAC5C,CAAC;IAEO,eAAe;QACnB,MAAM,sBAAsB,GAAuB,EAAE,CAAA;QACrD,IAAI,IAAI,CAAC,eAAe,EAAE,CAAC;YACvB,KAAK,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,IAAI,IAAI,CAAC,eAAe,EAAE,CAAC;gBACrD,IAAI,SAAS,KAAK,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC;oBAChC,sBAAsB,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAA;gBACpD,CAAC;YACL,CAAC;QACL,CAAC;QACD,OAAO;YACH,WAAW,EAAE,EAAE,GAAG,IAAI,CAAC,OAAO,EAAE;YAChC,gBAAgB,EAAE,IAAI,CAAC,gBAAgB;YACvC,kBAAkB,EAAE,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE;YAC/C,sBAAsB;SACzB,CAAA;IACL,CAAC;IAEO,0BAA0B,CAC9B,IAAkD;QAElD,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,WAA0C,CAAA;QAC9D,IAAI,CAAC,gBAAgB,GAAG,IAAI,CAAC,gBAAgB,CAAA;QAC7C,IAAI,CAAC,WAAW,GAAG,iBAAiB,CAAC,YAAY,CAC7C,IAAI,CAAC,kBAAuD,CAC/D,CAAA;QACD,mCAAmC;QACnC,IAAI,IAAI,CAAC,eAAe,EAAE,CAAC;YACvB,KAAK,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC;gBAC1D,IAAI,SAAS,KAAK,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC;oBAChC,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;gBACvC,CAAC;YACL,CAAC;YACD,KAAK,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,IAAI,IAAI,CAAC,sBAAsB,EAAE,CAAC;gBAC5D,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;YAC/C,CAAC;QACL,CAAC;QACD,IAAI,CAAC,oBAAoB,EAAE,CAAA;IAC/B,CAAC;IAES,cAAc,CAAI,EAAW;QACnC,IAAI,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACxB,OAAO,EAAE,EAAE,CAAA;QACf,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,eAAe,EAAE,CAAA;QACnC,IAAI,CAAC,gBAAgB,GAAG,IAAI,CAAA;QAC5B,IAAI,CAAC;YACD,MAAM,MAAM,GAAG,EAAE,EAAE,CAAA;YACnB,MAAM,UAAU,GACZ,IAAI,CAAC,wBAAwB,EAAE,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAA;YACxD,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC;gBACjB,IAAI,CAAC,0BAA0B,CAAC,IAAI,CAAC,CAAA;gBACrC,MAAM,IAAI,uBAAuB,CAAC,UAAU,CAAC,UAAU,CAAC,CAAA;YAC5D,CAAC;YACD,OAAO,MAAM,CAAA;QACjB,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACT,IAAI,CAAC,CAAC,CAAC,YAAY,uBAAuB,CAAC,EAAE,CAAC;gBAC1C,IAAI,CAAC,0BAA0B,CAAC,IAAI,CAAC,CAAA;YACzC,CAAC;YACD,MAAM,CAAC,CAAA;QACX,CAAC;gBAAS,CAAC;YACP,IAAI,CAAC,gBAAgB,GAAG,KAAK,CAAA;QACjC,CAAC;IACL,CAAC;IAEM,8BAA8B,CACjC,UAAkB;QAElB,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE;YAC5B,MAAM,aAAa,GAAG,IAAI,CAAC,uBAAuB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;YAClE,IAAI,aAAa,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;gBAC3B,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;YACtC,CAAC;YAED,MAAM,SAAS,GAAG,IAAI,eAAe,EAA+B,CAAA;YAEpE,qEAAqE;YACrE,MAAM,aAAa,GAAG,IAAI,CAAC,QAAQ,CAAA;YACnC,IAAI,CAAC,QAAQ,GAAG,SAAS,CAAA;YACzB,IAAI,CAAC;gBACD,sEAAsE;gBACtE,MAAM,OAAO,GAAY,EAAE,CAAA;gBAC3B,KAAK,MAAM,MAAM,IAAI,CAAC,GAAG,aAAa,CAAC,EAAE,CAAC;oBACtC,4DAA4D;oBAC5D,4DAA4D;oBAC5D,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,MAAM,CAAC;wBAAE,SAAQ;oBAErD,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC,gBAAgB,CAC7C,MAAM,EACN,IAAI,CACP,CAAA;oBACD,IAAI,MAAM;wBAAE,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;oBAChC,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;wBACtB,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC;4BAC1C,SAAS,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAA;wBAClC,CAAC;oBACL,CAAC;gBACL,CAAC;gBAED,+DAA+D;gBAC/D,oEAAoE;gBACpE,MAAM,OAAO,GAAG,SAAS,CAAC,WAAW,EAAE,CAAA;gBACvC,IAAI,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAA;gBAEjC,iDAAiD;gBACjD,IAAI,CAAC,QAAQ,GAAG,aAAa,CAAA;gBAC7B,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACrB,IAAI,CAAC,QAAQ,EAAE,EAAE,CAAA;gBACrB,CAAC;gBAED,OAAO;oBACH,MAAM,EAAE,OAAO;oBACf,OAAO;iBACV,CAAA;YACL,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACT,IAAI,CAAC,QAAQ,GAAG,aAAa,CAAA;gBAC7B,MAAM,CAAC,CAAA;YACX,CAAC;QACL,CAAC,CAAC,CAAA;IACN,CAAC;IAEM,aAAa,CAChB,UAAmC;QAEnC,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE;YAC5B,IAAI,CAAC,uBAAuB,CACxB,UAAU,CAAC,UAAU,EACrB,UAAU,CAAC,eAAe,CAC7B,CAAA;YACD,IAAI,CAAC,6BAA6B,CAAC,UAAU,CAAC,CAAA;YAE9C,IAAI,UAAU,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;gBAC/B,IAAI,IAAI,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;oBACtC,MAAM,IAAI,KAAK,CACX,YAAY,IAAI,CAAC,OAAO,CAAC,EAAE,kCAAkC,CAChE,CAAA;gBACL,CAAC;YACL,CAAC;iBAAM,CAAC;gBACJ,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACvD,MAAM,IAAI,KAAK,CACX,sBAAsB,UAAU,CAAC,QAAQ,mCAAmC,CAC/E,CAAA;gBACL,CAAC;YACL,CAAC;YAED,MAAM,SAAS,GAAG,IAAI,eAAe,EAA+B,CAAA;YACpE,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,SAAS,CAAC,CAAA;YACxC,IAAI,CAAC;gBACD,iEAAiE;gBACjE,kDAAkD;gBAClD,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,UAAU,CAAC,CAAA;gBAE1C,IAAI,UAAU,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;oBAC/B,IAAI,CAAC,gBAAgB,GAAG,UAAU,CAAC,EAAE,CAAA;gBACzC,CAAC;gBACD,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;oBACjC,IAAI,CAAC,uBAAuB;yBACvB,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC;yBAC1B,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;gBAC3B,CAAC;gBAED,MAAM,OAAO,GAAG,IAAI,CAAC,0BAA0B,CAAC,SAAS,CAAC,CAAA;gBAC1D,OAAO;oBACH,MAAM,EAAE,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,UAAU,CAAC,EAAE,CAAE;oBACtD,OAAO;iBACV,CAAA;YACL,CAAC;oBAAS,CAAC;gBACP,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,IAAI,CAAC,CAAA;YACvC,CAAC;QACL,CAAC,CAAC,CAAA;IACN,CAAC;IAEM,gBAAgB,CACnB,QAAuB,EACvB,UAA6C;QAE7C,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE;YAC5B,IAAI,CAAC,uBAAuB,CACxB,UAAU,CAAC,UAAU,EACrB,UAAU,CAAC,eAAe,CAC7B,CAAA;YACD,IAAI,CAAC,6BAA6B,CAAC,UAAU,CAAC,CAAA;YAE9C,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;gBACpB,IAAI,IAAI,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;oBACtC,MAAM,IAAI,KAAK,CACX,YAAY,IAAI,CAAC,OAAO,CAAC,EAAE,kCAAkC,CAChE,CAAA;gBACL,CAAC;YACL,CAAC;iBAAM,CAAC;gBACJ,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAC5C,MAAM,IAAI,KAAK,CACX,sBAAsB,QAAQ,mCAAmC,CACpE,CAAA;gBACL,CAAC;YACL,CAAC;YAED,MAAM,SAAS,GAAG,IAAI,eAAe,EAA+B,CAAA;YACpE,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,SAAS,CAAC,CAAA;YACxC,IAAI,CAAC;gBACD,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAA;gBAEvD,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;oBACjC,IAAI,CAAC,uBAAuB;yBACvB,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC;yBAC1B,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;gBAC3B,CAAC;gBAED,MAAM,OAAO,GAAG,IAAI,CAAC,0BAA0B,CAAC,SAAS,CAAC,CAAA;gBAC1D,OAAO;oBACH,MAAM,EAAE,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,UAAU,CAAC,EAAE,CAAE;oBACtD,OAAO;iBACV,CAAA;YACL,CAAC;oBAAS,CAAC;gBACP,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,IAAI,CAAC,CAAA;YACvC,CAAC;QACL,CAAC,CAAC,CAAA;IACN,CAAC;IAEM,qBAAqB,CACxB,SAAiB,EACjB,gBAAoC,EACpC,UAA6C;QAE7C,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE;YAC5B,IAAI,CAAC,uBAAuB,CACxB,UAAU,CAAC,UAAU,EACrB,UAAU,CAAC,eAAe,CAC7B,CAAA;YACD,IAAI,CAAC,6BAA6B,CAAC,UAAU,CAAC,CAAA;YAE9C,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC7C,MAAM,IAAI,KAAK,CACX,eAAe,SAAS,8BAA8B,CACzD,CAAA;YACL,CAAC;YAED,MAAM,SAAS,GAAG,IAAI,eAAe,EAA+B,CAAA;YACpE,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,SAAS,CAAC,CAAA;YACxC,IAAI,CAAC;gBACD,IAAI,CAAC,WAAW,CAAC,qBAAqB,CAClC,SAAS,EACT,gBAAgB,EAChB,UAAU,CACb,CAAA;gBAED,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;oBACjC,IAAI,CAAC,uBAAuB;yBACvB,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC;yBAC1B,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;gBAC3B,CAAC;gBAED,MAAM,OAAO,GAAG,IAAI,CAAC,0BAA0B,CAAC,SAAS,CAAC,CAAA;gBAC1D,OAAO;oBACH,MAAM,EAAE,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,UAAU,CAAC,EAAE,CAAE;oBACtD,OAAO;iBACV,CAAA;YACL,CAAC;oBAAS,CAAC;gBACP,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,IAAI,CAAC,CAAA;YACvC,CAAC;QACL,CAAC,CAAC,CAAA;IACN,CAAC;IAEM,gBAAgB,CACnB,YAAoB,EACpB,OAA0B;QAE1B,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE;YAC5B,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,YAAY,CAAC,CAAA;YAC7D,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACZ,MAAM,IAAI,KAAK,CACX,eAAe,YAAY,2BAA2B,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAC5E,CAAA;YACL,CAAC;YAED,IAAI,OAAO,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;gBACnC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;oBAClD,MAAM,IAAI,KAAK,CACX,wBAAwB,YAAY,uCAAuC,OAAO,CAAC,UAAU,IAAI,CACpG,CAAA;gBACL,CAAC;YACL,CAAC;YAED,MAAM,SAAS,GAAG,IAAI,eAAe,EAA+B,CAAA;YACpE,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,SAAS,CAAC,CAAA;YACxC,IAAI,CAAC;gBACD,MAAM,aAAa,GACf,QAAQ,CAAC,IAAI,KAAK,UAAU;oBACxB,CAAC,CAAC,QAAQ,CAAC,UAAU;oBACrB,CAAC,CAAC,SAAS,CAAA;gBAEnB,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAC7C,YAAY,EACZ,OAAO,CACV,CAAA;gBAED,IACI,OAAO,CAAC,UAAU,KAAK,SAAS;oBAChC,aAAa,KAAK,SAAS;oBAC3B,aAAa,KAAK,OAAO,CAAC,UAAU,EACtC,CAAC;oBACC,IAAI,CAAC,uBAAuB;yBACvB,GAAG,CAAC,aAAa,CAAC;wBACnB,EAAE,MAAM,CAAC,YAAY,CAAC,CAAA;oBAC1B,IAAI,CAAC,uBAAuB;yBACvB,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC;yBACvB,GAAG,CAAC,YAAY,CAAC,CAAA;gBAC1B,CAAC;gBAED,MAAM,SAAS,GAAG,IAAI,CAAC,sBAAsB,CAAC,SAAS,CAAC,CAAA;gBACxD,IAAI,SAAS,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;oBACtC,IAAI,CAAC,SAAS,EAAE,CAAA;oBAChB,IAAI,CAAC,QAAQ,EAAE,EAAE,CAAA;gBACrB,CAAC;gBAED,IAAI,CAAC,mBAAmB,CAAC,SAAS,CAAC,CAAA;gBACnC,OAAO;oBACH,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE,SAAS;iBACrB,CAAA;YACL,CAAC;oBAAS,CAAC;gBACP,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,IAAI,CAAC,CAAA;YACvC,CAAC;QACL,CAAC,CAAC,CAAA;IACN,CAAC;IAEM,gBAAgB,CACnB,YAAoB,EACpB,aAAsB;QAEtB,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE;YAC5B,uDAAuD;YACvD,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,YAAY,CAAC,CAAA;YAE7D,MAAM,SAAS,GAAG,IAAI,eAAe,EAA+B,CAAA;YACpE,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,SAAS,CAAC,CAAA;YACxC,IAAI,CAAC;gBACD,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACZ,OAAO;wBACH,MAAM,EAAE,SAAS;wBACjB,OAAO,EAAE,SAAS,CAAC,WAAW,EAAE;qBACnC,CAAA;gBACL,CAAC;gBAED,IAAI,aAAa,EAAE,CAAC;oBAChB,0DAA0D;oBAC1D,qEAAqE;oBACrE,mEAAmE;oBACnE,MAAM,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,YAAY,CAAC,CAAA;oBAEjD,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAAC,YAAY,EAAE,IAAI,CAAC,CAAA;oBAErD,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;wBACzB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;4BAC3B,IAAI,CAAC,uBAAuB;iCACvB,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC;gCACrB,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;wBACzB,CAAC;oBACL,CAAC;gBACL,CAAC;qBAAM,CAAC;oBACJ,wDAAwD;oBACxD,kDAAkD;oBAClD,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;wBAC/B,IAAI,CAAC,uBAAuB;6BACvB,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC;4BACzB,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;oBAC7B,CAAC;oBAED,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAAC,YAAY,EAAE,KAAK,CAAC,CAAA;gBAC1D,CAAC;gBAED,MAAM,OAAO,GAAG,IAAI,CAAC,0BAA0B,CAAC,SAAS,CAAC,CAAA;gBAC1D,OAAO;oBACH,MAAM,EAAE,QAAQ;oBAChB,OAAO;iBACV,CAAA;YACL,CAAC;oBAAS,CAAC;gBACP,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,IAAI,CAAC,CAAA;YACvC,CAAC;QACL,CAAC,CAAC,CAAA;IACN,CAAC;IAEM,gBAAgB,CACnB,UAAmC,EACnC,UAAmB,EACnB,WAAoB;QAEpB,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE;YAC5B,IAAI,CAAC,uBAAuB,CACxB,UAAU,CAAC,UAAU,EACrB,UAAU,CAAC,eAAe,CAC7B,CAAA;YACD,IAAI,CAAC,6BAA6B,CAAC,UAAU,CAAC,CAAA;YAE9C,MAAM,SAAS,GAAG,IAAI,eAAe,EAA+B,CAAA;YACpE,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,SAAS,CAAC,CAAA;YACxC,IAAI,CAAC;gBACD,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAC7B,UAAU,EACV,UAAU,EACV,WAAW,CACd,CAAA;gBAED,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;oBACjC,IAAI,CAAC,uBAAuB;yBACvB,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC;yBAC1B,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;gBAC3B,CAAC;gBAED,MAAM,OAAO,GAAG,IAAI,CAAC,0BAA0B,CAAC,SAAS,CAAC,CAAA;gBAC1D,OAAO;oBACH,MAAM,EAAE,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,UAAU,CAAC,EAAE,CAAE;oBACtD,OAAO;iBACV,CAAA;YACL,CAAC;oBAAS,CAAC;gBACP,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,IAAI,CAAC,CAAA;YACvC,CAAC;QACL,CAAC,CAAC,CAAA;IACN,CAAC;IAEM,cAAc,CACjB,QAA2C,EAC3C,UAA6C,EAC7C,UAAmB,EACnB,WAAoB;QAEpB,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE;YAC5B,IAAI,CAAC,uBAAuB,CACxB,QAAQ,CAAC,UAAU,EACnB,QAAQ,CAAC,eAAe,CAC3B,CAAA;YACD,IAAI,CAAC,uBAAuB,CACxB,UAAU,CAAC,UAAU,EACrB,UAAU,CAAC,eAAe,CAC7B,CAAA;YACD,IAAI,CAAC,6BAA6B,CAAC,UAAU,CAAC,CAAA;YAE9C,MAAM,SAAS,GAAG,IAAI,eAAe,EAA+B,CAAA;YACpE,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,SAAS,CAAC,CAAA;YACxC,IAAI,CAAC;gBACD,IAAI,CAAC,WAAW,CAAC,cAAc,CAC3B,QAAQ,EACR,UAAU,EACV,UAAU,EACV,WAAW,CACd,CAAA;gBAED,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;oBACjC,IAAI,CAAC,uBAAuB;yBACvB,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC;yBAC1B,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;gBAC3B,CAAC;gBAED,MAAM,OAAO,GAAG,IAAI,CAAC,0BAA0B,CAAC,SAAS,CAAC,CAAA;gBAC1D,OAAO;oBACH,MAAM,EAAE,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,QAAQ,CAAC,EAAE,CAAE;oBACpD,OAAO;iBACV,CAAA;YACL,CAAC;oBAAS,CAAC;gBACP,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,IAAI,CAAC,CAAA;YACvC,CAAC;QACL,CAAC,CAAC,CAAA;IACN,CAAC;IAED;;;;OAIG;IACI,oBAAoB;QAOvB,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE;YAC5B,MAAM,SAAS,GAAG,IAAI,eAAe,EAA+B,CAAA;YACpE,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,SAAS,CAAC,CAAA;YACxC,IAAI,CAAC;gBACD,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,CAAA;gBAC5B,MAAM,OAAO,GAAG,IAAI,CAAC,0BAA0B,CAAC,SAAS,CAAC,CAAA;gBAC1D,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,CAAA;YACzC,CAAC;oBAAS,CAAC;gBACP,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,IAAI,CAAC,CAAA;YACvC,CAAC;QACL,CAAC,CAAC,CAAA;IACN,CAAC;IAEM,cAAc,CACjB,YAAoB,EACpB,WAA4B;QAE5B,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE;YAC5B,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,YAAY,CAAC,CAAA;YAC3D,IAAI,CAAC,MAAM,EAAE,CAAC;gBACV,MAAM,IAAI,KAAK,CACX,eAAe,YAAY,8BAA8B,CAC5D,CAAA;YACL,CAAC;YAED,IAAI,CAAC,uBAAuB,CACxB,MAAM,CAAC,UAAU,EACjB,MAAM,CAAC,eAAe,CACzB,CAAA;YAED,MAAM,SAAS,GAAG,IAAI,eAAe,EAA+B,CAAA;YACpE,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,SAAS,CAAC,CAAA;YACxC,IAAI,CAAC;gBACD,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ;oBAC1B,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,MAAM,CAAC,QAAQ,CAAC;oBACjD,CAAC,CAAC,SAAS,CAAA;gBAEf,2CAA2C;gBAC3C,MAAM,WAAW,GACb,MAAM,EAAE,IAAI,KAAK,UAAU,IAAI,MAAM,CAAC,QAAQ,KAAK,KAAK,CAAA;gBAE5D,uDAAuD;gBACvD,MAAM,WAAW,GACb,MAAM,EAAE,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,QAAQ;oBACzC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,MAAM,CAAC,QAAQ,CAAC;oBACjD,CAAC,CAAC,SAAS,CAAA;gBACnB,MAAM,aAAa,GACf,MAAM,EAAE,IAAI,KAAK,SAAS;oBAC1B,WAAW,EAAE,IAAI,KAAK,UAAU;oBAChC,WAAW,CAAC,QAAQ,KAAK,KAAK,CAAA;gBAElC,IAAI,WAAW,IAAI,aAAa,EAAE,CAAC;oBAC/B,IAAI,aAAa,EAAE,CAAC;wBAChB,uCAAuC;wBACvC,wDAAwD;wBACxD,gDAAgD;wBAChD,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAAC,WAAW,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;oBAC5D,CAAC;yBAAM,CAAC;wBACJ,0DAA0D;wBAC1D,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;oBACvD,CAAC;oBAED,MAAM,OAAO,GAAG,IAAI,CAAC,0BAA0B,CAAC,SAAS,CAAC,CAAA;oBAC1D,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,CAAA;gBACpC,CAAC;qBAAM,CAAC;oBACJ,0DAA0D;oBAC1D,wDAAwD;oBACxD,8CAA8C;oBAC9C,MAAM,YAAY,GACd,MAAM,CAAC,IAAI,KAAK,UAAU,IAAI,MAAM,CAAC,QAAQ,KAAK,KAAK,CAAA;oBAE3D,IAAI,SAAiB,CAAA;oBAErB,IAAI,YAAY,EAAE,CAAC;wBACf,+BAA+B;wBAC/B,MAAM,WAAW,GAAG;4BAChB,GAAG,WAAW;4BACd,EAAE,EAAE,IAAI,CAAC,UAAU,EAAE;4BACrB,UAAU,EAAE,MAAM,CAAC,UAAU;4BAC7B,eAAe,EAAE,MAAM,CAAC,eAAe;4BACvC,SAAS,EAAE,MAAM,CAAC,SAAS;4BAC3B,IAAI,EAAE,SAAS;4BACf,QAAQ,EAAE,MAAM,CAAC,QAAQ;4BACzB,QAAQ,EAAE,MAAM,CAAC,QAAQ;yBACD,CAAA;wBAC5B,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAC7B,WAAW,EACX,YAAY,CACf,CAAA;wBAED,MAAM,OAAO,GAAG;4BACZ,GAAG,WAAW;4BACd,EAAE,EAAE,IAAI,CAAC,UAAU,EAAE;4BACrB,UAAU,EAAE,MAAM,CAAC,UAAU;4BAC7B,eAAe,EAAE,MAAM,CAAC,eAAe;4BACvC,SAAS,EAAE,MAAM,CAAC,SAAS;4BAC3B,IAAI,EAAE,UAAU;4BAChB,QAAQ,EAAE,KAAK;4BACf,QAAQ,EAAE,MAAM,CAAC,QAAQ;4BACzB,QAAQ,EAAE,MAAM,CAAC,QAAQ;yBACD,CAAA;wBAC5B,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAC7B,OAAO,EACP,WAAW,CAAC,EAAE,CACjB,CAAA;wBACD,SAAS,GAAG,OAAO,CAAC,EAAE,CAAA;oBAC1B,CAAC;yBAAM,CAAC;wBACJ,sCAAsC;wBACtC,MAAM,OAAO,GAAG;4BACZ,GAAG,WAAW;4BACd,EAAE,EAAE,IAAI,CAAC,UAAU,EAAE;4BACrB,UAAU,EAAE,MAAM,CAAC,UAAU;4BAC7B,eAAe,EAAE,MAAM,CAAC,eAAe;4BACvC,SAAS,EAAE,MAAM,CAAC,SAAS;4BAC3B,IAAI,EAAE,UAAU;4BAChB,QAAQ,EAAE,KAAK;4BACf,QAAQ,EAAE,MAAM,CAAC,QAAQ;4BACzB,QAAQ,EAAE,MAAM,CAAC,QAAQ;yBACD,CAAA;wBAE5B,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAAC,OAAO,EAAE,YAAY,CAAC,CAAA;wBACxD,SAAS,GAAG,OAAO,CAAC,EAAE,CAAA;oBAC1B,CAAC;oBAED,MAAM,OAAO,GAAG,IAAI,CAAC,0BAA0B,CAAC,SAAS,CAAC,CAAA;oBAC1D,OAAO;wBACH,MAAM,EAAE,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,SAAS,CAAE;wBAClD,OAAO;qBACV,CAAA;gBACL,CAAC;YACL,CAAC;oBAAS,CAAC;gBACP,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,IAAI,CAAC,CAAA;YACvC,CAAC;QACL,CAAC,CAAC,CAAA;IACN,CAAC;IAEM,cAAc,CACjB,YAAoB,EACpB,WAAqC,EACrC,aAAsB,EACtB,aAAsB,EACtB,WAA4B;QAE5B,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE;YAC5B,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,YAAY,CAAC,CAAA;YAC3D,IAAI,CAAC,MAAM,EAAE,CAAC;gBACV,MAAM,IAAI,KAAK,CACX,eAAe,YAAY,8BAA8B,CAC5D,CAAA;YACL,CAAC;YACD,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC7B,MAAM,IAAI,KAAK,CACX,eAAe,YAAY,2CAA2C,MAAM,CAAC,IAAI,KAAK,CACzF,CAAA;YACL,CAAC;YACD,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,IAAI,MAAM,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;gBAC1D,MAAM,IAAI,KAAK,CACX,6DAA6D,CAChE,CAAA;YACL,CAAC;YAED,IAAI,CAAC,uBAAuB,CACxB,MAAM,CAAC,UAAU,EACjB,MAAM,CAAC,eAAe,CACzB,CAAA;YAED,wCAAwC;YACxC,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,IAAI,MAAM,CAAC,QAAQ,KAAK,WAAW,EAAE,CAAC;gBAChE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;YAC1C,CAAC;YAED,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,YAAY,CAAC,CAAA;YACnE,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAA;YAElC,MAAM,SAAS,GAAG,IAAI,eAAe,EAA+B,CAAA;YACpE,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,SAAS,CAAC,CAAA;YACxC,IAAI,CAAC;gBACD,IAAI,UAAU,IAAI,CAAC,EAAE,CAAC;oBAClB,iEAAiE;oBACjE,6DAA6D;oBAC7D,+DAA+D;oBAC/D,qBAAqB;oBACrB,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ;wBAC1B,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,MAAM,CAAC,QAAQ,CAAC;wBACjD,CAAC,CAAC,SAAS,CAAA;oBACf,IAAI,WAA8B,CAAA;oBAClC,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;wBACjB,uEAAuE;wBACvE,IAAI,MAAM,EAAE,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;4BAChD,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAC9C,MAAM,CAAC,QAAQ,CAClB,CAAA;4BACD,IACI,WAAW,EAAE,IAAI,KAAK,UAAU;gCAChC,WAAW,CAAC,QAAQ,KAAK,WAAW,EACtC,CAAC;gCACC,WAAW,GAAG,WAAW,CAAA;4BAC7B,CAAC;wBACL,CAAC;6BAAM,IACH,MAAM,EAAE,IAAI,KAAK,UAAU;4BAC3B,MAAM,CAAC,QAAQ,KAAK,WAAW,EACjC,CAAC;4BACC,WAAW,GAAG,MAAM,CAAA;wBACxB,CAAC;oBACL,CAAC;oBAED,IAAI,WAAW,EAAE,CAAC;wBACd,gBAAgB;wBAChB,uEAAuE;wBACvE,mEAAmE;wBACnE,sDAAsD;wBAEtD,0DAA0D;wBAC1D,MAAM,iBAAiB,GACnB,MAAM,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAA;wBAEnD,oCAAoC;wBACpC,MAAM,YAAY,GAAG,iBAAiB;4BAClC,CAAC,CAAC,iBAAiB,CAAC,QAAQ;4BAC5B,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAA;wBAErB,gFAAgF;wBAChF,MAAM,aAAa,GACf,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,WAAW,CAAC,EAAE,CAAC,CAAA;wBAExD,uDAAuD;wBACvD,MAAM,SAAS,GAAG,aAAa,CAAC,SAAS,CACrC,CAAC,CAAC,EAAE,EAAE,CACF,CAAC,CAAC,EAAE,KAAK,CAAC,iBAAiB,EAAE,EAAE,IAAI,YAAY,CAAC,CACvD,CAAA;wBACD,MAAM,WAAW,GAAG,aAAa,CAAC,SAAS,GAAG,CAAC,CAAC,CAAA;wBAChD,MAAM,YAAY,GAAG,WAAW;4BAC5B,CAAC,CAAC,WAAW,CAAC,QAAQ;4BACtB,CAAC,CAAC,YAAY,CAAA;wBAElB,sBAAsB;wBACtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;4BACvC,MAAM,aAAa,GACf,CAAC,KAAK,CAAC;gCACH,CAAC,CAAC,YAAY;gCACd,CAAC,CAAC,QAAQ,CACJ,CAAC,KAAK,CAAC;oCACH,CAAC,CAAC,YAAY;oCACd,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAC9B,YAAY,CACf,CAAA;4BACX,IAAI,CAAC,WAAW,CAAC,kBAAkB,CAC/B,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,EACd,WAAW,CAAC,EAAE,EACd,aAAa,CAChB,CAAA;wBACL,CAAC;wBAED,uDAAuD;wBACvD,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAAC,YAAY,CAAC,CAAA;wBAE/C,gEAAgE;wBAChE,IAAI,iBAAiB,EAAE,CAAC;4BACpB,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAC7B,iBAAiB,CAAC,EAAE,CACvB,CAAA;wBACL,CAAC;wBAED,MAAM,OAAO,GACT,IAAI,CAAC,0BAA0B,CAAC,SAAS,CAAC,CAAA;wBAC9C,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,CAAA;oBACpC,CAAC;yBAAM,CAAC;wBACJ,wBAAwB;wBACxB,IAAI,CAAC,WAAW,CAAC,kBAAkB,CAC/B,YAAY,EACZ,WAAW,CACd,CAAA;wBAED,MAAM,OAAO,GACT,IAAI,CAAC,0BAA0B,CAAC,SAAS,CAAC,CAAA;wBAC9C,OAAO;4BACH,MAAM,EAAE,IAAI,CAAC,WAAW,CAAC,aAAa,CAClC,YAAY,CACd;4BACF,OAAO;yBACV,CAAA;oBACL,CAAC;gBACL,CAAC;qBAAM,CAAC;oBACJ,8BAA8B;oBAC9B,IAAI,CAAC,aAAa,IAAI,CAAC,aAAa,EAAE,CAAC;wBACnC,MAAM,IAAI,KAAK,CACX,aAAa,YAAY,SAAS,UAAU,qEAAqE,CACpH,CAAA;oBACL,CAAC;oBAED,0DAA0D;oBAC1D,MAAM,WAAW,GACb,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,aAAa,CAAC,CAAA;oBACjD,MAAM,WAAW,GACb,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,aAAa,CAAC,CAAA;oBACjD,IAAI,CAAC,WAAW,IAAI,WAAW,CAAC,QAAQ,KAAK,YAAY,EAAE,CAAC;wBACxD,MAAM,IAAI,KAAK,CACX,eAAe,aAAa,iCAAiC,YAAY,IAAI,CAChF,CAAA;oBACL,CAAC;oBACD,IAAI,CAAC,WAAW,IAAI,WAAW,CAAC,QAAQ,KAAK,YAAY,EAAE,CAAC;wBACxD,MAAM,IAAI,KAAK,CACX,eAAe,aAAa,iCAAiC,YAAY,IAAI,CAChF,CAAA;oBACL,CAAC;oBAED,sEAAsE;oBACtE,MAAM,eAAe,GAAG,IAAI,CAAC,GAAG,CAC5B,WAAW,CAAC,QAAQ,EACpB,WAAW,CAAC,QAAQ,CACvB,CAAA;oBAED,+DAA+D;oBAC/D,6DAA6D;oBAC7D,2DAA2D;oBAC3D,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,EAAE,CAAA;oBACnC,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,EAAE,CAAA;oBAEjC,6DAA6D;oBAC7D,6DAA6D;oBAC7D,8DAA8D;oBAC9D,iBAAiB;oBACjB,MAAM,UAAU,GACZ,WAAW,CAAC,QAAQ,IAAI,WAAW,CAAC,QAAQ;wBACxC,CAAC,CAAC,WAAW;wBACb,CAAC,CAAC,WAAW,CAAA;oBACrB,MAAM,WAAW,GACb,WAAW,CAAC,QAAQ,IAAI,WAAW,CAAC,QAAQ;wBACxC,CAAC,CAAC,WAAW;wBACb,CAAC,CAAC,WAAW,CAAA;oBAErB,6DAA6D;oBAC7D,qCAAqC;oBACrC,IAAI,CAAC,WAAW,CAAC,kBAAkB,CAC/B,UAAU,CAAC,EAAE,EACb,IAAI,EACJ,UAAU,CAAC,QAAQ,CACtB,CAAA;oBACD,IAAI,CAAC,WAAW,CAAC,kBAAkB,CAC/B,WAAW,CAAC,EAAE,EACd,IAAI,EACJ,WAAW,CAAC,QAAQ,CACvB,CAAA;oBAED,mDAAmD;oBACnD,MAAM,WAAW,GAAG;wBAChB,GAAG,WAAW;wBACd,EAAE,EAAE,SAAS;wBACb,UAAU,EAAE,MAAM,CAAC,UAAU;wBAC7B,eAAe,EAAE,MAAM,CAAC,eAAe;wBACvC,SAAS,EAAE,MAAM,CAAC,SAAS;wBAC3B,IAAI,EAAE,SAAS;wBACf,QAAQ,EAAE,YAAY;wBACtB,QAAQ,EAAE,eAAe;qBACD,CAAA;oBAC5B,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,WAAW,CAAC,CAAA;oBAE3C,6CAA6C;oBAC7C,MAAM,SAAS,GAAG;wBACd,GAAG,WAAW;wBACd,EAAE,EAAE,OAAO;wBACX,UAAU,EAAE,MAAM,CAAC,UAAU;wBAC7B,eAAe,EAAE,MAAM,CAAC,eAAe;wBACvC,SAAS,EAAE,MAAM,CAAC,SAAS;wBAC3B,IAAI,EAAE,UAAU;wBAChB,QAAQ,EAAE,WAAW;wBACrB,QAAQ,EAAE,SAAS;wBACnB,QAAQ,EAAE,gBAAgB;qBACF,CAAA;oBAC5B,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,SAAS,CAAC,CAAA;oBAEzC,uDAAuD;oBACvD,IAAI,CAAC,WAAW,CAAC,kBAAkB,CAC/B,UAAU,CAAC,EAAE,EACb,OAAO,EACP,gBAAgB,CACnB,CAAA;oBACD,IAAI,CAAC,WAAW,CAAC,kBAAkB,CAC/B,WAAW,CAAC,EAAE,EACd,OAAO,EACP,QAAQ,CAAC,gBAAgB,EAAE,YAAY,CAAC,CAC3C,CAAA;oBAED,MAAM,OAAO,GAAG,IAAI,CAAC,0BAA0B,CAAC,SAAS,CAAC,CAAA;oBAC1D,OAAO;wBACH,MAAM,EAAE,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,OAAO,CAAE;wBAChD,OAAO;qBACV,CAAA;gBACL,CAAC;YACL,CAAC;oBAAS,CAAC;gBACP,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,IAAI,CAAC,CAAA;YACvC,CAAC;QACL,CAAC,CAAC,CAAA;IACN,CAAC;IAEM,aAAa,CAAC,EAAU;QAC3B,OAAO,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,EAAE,CAAC,CAAA;IAC7C,CAAC;IAEM,KAAK;QACR,OAAO,IAAI,CAAC,OAAO,CAAC,EAAE,CAAA;IAC1B,CAAC;IAEM,SAAS;QACZ,MAAM,EACF,EAAE,EAAE,GAAG,EACP,UAAU,EAAE,WAAW,EACvB,eAAe,EAAE,gBAAgB,EACjC,QAAQ,EAAE,SAAS,EACnB,kBAAkB,EAAE,mBAAmB,EACvC,gBAAgB,EAAE,iBAAiB,EACnC,GAAG,MAAM,EACZ,GAAG,IAAI,CAAC,OAAkC,CAAA;QAC3C,OAAO,EAAE,GAAG,MAAM,EAAE,CAAA;IACxB,CAAC;IAEM,SAAS,CACZ,MAA+B;QAQ/B,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE;YAC5B,6CAA6C;YAC7C,MAAM,EACF,EAAE,EACF,UAAU,EACV,eAAe,EACf,QAAQ,EACR,kBAAkB,EAClB,gBAAgB,GACnB,GAAG,IAAI,CAAC,OAAkC,CAAA;YAC3C,IAAI,CAAC,OAAO,GAAG;gBACX,GAAG,MAAM;gBACT,EAAE;gBACF,UAAU;gBACV,eAAe;gBACf,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC/C,GAAG,CAAC,kBAAkB,KAAK,SAAS;oBAChC,CAAC,CAAC,EAAE,kBAAkB,EAAE;oBACxB,CAAC,CAAC,EAAE,CAAC;gBACT,GAAG,CAAC,gBAAgB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACnC,CAAA;YAChC,IAAI,CAAC,SAAS,EAAE,CAAA;YAChB,IAAI,CAAC,QAAQ,EAAE,EAAE,CAAA;YACjB,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,SAAS,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;QACpD,CAAC,CAAC,CAAA;IACN,CAAC;IAEM,mBAAmB;QACtB,OAAO,IAAI,CAAC,gBAAgB,CAAA;IAChC,CAAC;IAEM,iBAAiB;QACpB,IAAI,IAAI,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;YACtC,OAAO,SAAS,CAAA;QACpB,CAAC;QACD,OAAO,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAA;IAChE,CAAC;IAEM,YAAY;QACf,OAAO,cAAc,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,CAAA;IACnD,CAAC;IAEM,cAAc;QACjB,OAAO,cAAc,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC,CAAA;IACrD,CAAC;IAEM,mBAAmB,CAAC,QAAuB;QAC9C,OAAO,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAA;IACzD,CAAC;IAEM,WAAW;QACd,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,EAAE,CAAA;QACrC,OAAO,CACH,IAAI,EAAE,IAAI,KAAK,UAAU;YACzB,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,CAC3D,CAAA;IACL,CAAC;IAEM,YAAY;QACf,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,CAAA;IAC9B,CAAC;IAEM,oBAAoB;QACvB,MAAM,MAAM,GAA2B,EAAE,CAAA;QACzC,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAA;QAExD,IAAI,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1C,MAAM,CAAC,IAAI,CACP,cAAc,CAAC;gBACX,IAAI,EAAE,eAAe;gBACrB,OAAO,EAAE,YAAY,IAAI,CAAC,OAAO,CAAC,EAAE,mCAAmC;gBACvE,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE;aAC7B,CAAC,CACL,CAAA;YACD,OAAO,oBAAoB,CAAC,MAAM,CAAC,CAAA;QACvC,CAAC;QAED,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACrB,MAAM,CAAC,IAAI,CACP,cAAc,CAAC;gBACX,IAAI,EAAE,sBAAsB;gBAC5B,OAAO,EAAE,YAAY,IAAI,CAAC,OAAO,CAAC,EAAE,2CAA2C;gBAC/E,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE;aAC7B,CAAC,CACL,CAAA;QACL,CAAC;QAED,IAAI,IAAI,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;YACtC,MAAM,CAAC,IAAI,CACP,cAAc,CAAC;gBACX,IAAI,EAAE,sBAAsB;gBAC5B,OAAO,EAAE,YAAY,IAAI,CAAC,OAAO,CAAC,EAAE,uCAAuC;gBAC3E,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE;aAC7B,CAAC,CACL,CAAA;QACL,CAAC;aAAM,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,IAAI,CAAC,gBAAgB,CAAC,EAAE,CAAC;YAChE,MAAM,CAAC,IAAI,CACP,cAAc,CAAC;gBACX,IAAI,EAAE,uBAAuB;gBAC7B,OAAO,EAAE,YAAY,IAAI,CAAC,OAAO,CAAC,EAAE,uBAAuB,IAAI,CAAC,gBAAgB,mBAAmB;gBACnG,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE;gBAC1B,YAAY,EAAE,IAAI,CAAC,gBAAgB;aACtC,CAAC,CACL,CAAA;QACL,CAAC;aAAM,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,gBAAgB,EAAE,CAAC;YAC3D,MAAM,CAAC,IAAI,CACP,cAAc,CAAC;gBACX,IAAI,EAAE,uBAAuB;gBAC7B,OAAO,EAAE,YAAY,IAAI,CAAC,OAAO,CAAC,EAAE,uBAAuB,IAAI,CAAC,gBAAgB,iCAAiC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI;gBAChI,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE;gBAC1B,YAAY,EAAE,IAAI,CAAC,gBAAgB;aACtC,CAAC,CACL,CAAA;QACL,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,EAAE,CAAC;YAC5C,IACI,IAAI,CAAC,IAAI,KAAK,UAAU;gBACxB,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,EAC9C,CAAC;gBACC,MAAM,CAAC,IAAI,CACP,cAAc,CAAC;oBACX,IAAI,EAAE,0BAA0B;oBAChC,OAAO,EAAE,eAAe,IAAI,CAAC,EAAE,qCAAqC,IAAI,CAAC,UAAU,IAAI;oBACvF,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE;oBAC1B,YAAY,EAAE,IAAI,CAAC,EAAE;oBACrB,UAAU,EAAE,IAAI,CAAC,UAAU;iBAC9B,CAAC,CACL,CAAA;YACL,CAAC;YAED,IACI,IAAI,CAAC,IAAI,KAAK,UAAU;gBACxB,IAAI,CAAC,sBAAsB,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,EAChD,CAAC;gBACC,MAAM,CAAC,IAAI,CAAC;oBACR,IAAI,EAAE,0BAA0B;oBAChC,QAAQ,EAAE,SAAS;oBACnB,OAAO,EAAE,aAAa,IAAI,CAAC,UAAU,iDAAiD;oBACtF,YAAY,EAAE,IAAI,CAAC,EAAE;iBACxB,CAAC,CAAA;YACN,CAAC;YAED,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACtD,SAAQ;YACZ,CAAC;YAED,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;YAE9D,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC1B,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACxB,MAAM,CAAC,IAAI,CACP,cAAc,CAAC;wBACX,IAAI,EAAE,0BAA0B;wBAChC,OAAO,EAAE,uBAAuB,IAAI,CAAC,EAAE,sCAAsC,QAAQ,CAAC,MAAM,GAAG;wBAC/F,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE;wBAC1B,YAAY,EAAE,IAAI,CAAC,EAAE;qBACxB,CAAC,CACL,CAAA;gBACL,CAAC;gBACD,SAAQ;YACZ,CAAC;YAED,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACnD,MAAM,CAAC,IAAI,CACP,cAAc,CAAC;oBACX,IAAI,EAAE,0BAA0B;oBAChC,OAAO,EAAE,aAAa,IAAI,CAAC,EAAE,4CAA4C,QAAQ,CAAC,MAAM,GAAG;oBAC3F,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE;oBAC1B,YAAY,EAAE,IAAI,CAAC,EAAE;iBACxB,CAAC,CACL,CAAA;YACL,CAAC;YAED,IACI,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC;gBACxD,QAAQ,CAAC,MAAM,KAAK,CAAC,EACvB,CAAC;gBACC,MAAM,CAAC,IAAI,CACP,cAAc,CAAC;oBACX,IAAI,EAAE,0BAA0B;oBAChC,OAAO,EAAE,aAAa,IAAI,CAAC,EAAE,MAAM,IAAI,CAAC,QAAQ,yCAAyC,QAAQ,CAAC,MAAM,GAAG;oBAC3G,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE;oBAC1B,YAAY,EAAE,IAAI,CAAC,EAAE;iBACxB,CAAC,CACL,CAAA;YACL,CAAC;YAED,IACI,CAAC,IAAI,CAAC,QAAQ,KAAK,KAAK,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC;gBACnD,QAAQ,CAAC,MAAM,GAAG,CAAC,EACrB,CAAC;gBACC,MAAM,CAAC,IAAI,CACP,cAAc,CAAC;oBACX,IAAI,EAAE,0BAA0B;oBAChC,OAAO,EAAE,aAAa,IAAI,CAAC,EAAE,MAAM,IAAI,CAAC,QAAQ,0CAA0C,QAAQ,CAAC,MAAM,GAAG;oBAC5G,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE;oBAC1B,YAAY,EAAE,IAAI,CAAC,EAAE;iBACxB,CAAC,CACL,CAAA;YACL,CAAC;YAED,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;gBACzD,MAAM,cAAc,GAAG,IAAI,GAAG,CAC1B,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAC1C,CAAA;gBACD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,cAAc,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;oBACrD,MAAM,CAAC,IAAI,CACP,cAAc,CAAC;wBACX,IAAI,EAAE,+BAA+B;wBACrC,OAAO,EAAE,aAAa,IAAI,CAAC,EAAE,MAAM,IAAI,CAAC,QAAQ,yDAAyD;wBACzG,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE;wBAC1B,YAAY,EAAE,IAAI,CAAC,EAAE;qBACxB,CAAC,CACL,CAAA;gBACL,CAAC;YACL,CAAC;QACL,CAAC;QAED,OAAO,oBAAoB,CAAC,MAAM,CAAC,CAAA;IACvC,CAAC;IAEM,QAAQ,CACX,UAAqC,EACrC,OAIC;QAED,MAAM,UAAU,GAAG,IAAI,CAAC,oBAAoB,EAAE,CAAA;QAC9C,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC;YACjB,MAAM,IAAI,KAAK,CACX,YAAY,IAAI,CAAC,OAAO,CAAC,EAAE,uBAAuB,UAAU,CAAC,MAAM;iBAC9D,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;iBAC1B,IAAI,CAAC,IAAI,CAAC,EAAE,CACpB,CAAA;QACL,CAAC;QAED,MAAM,gBAAgB,GAAG,IAAI,CAAC,gBAAiB,CAAA;QAC/C,MAAM,qBAAqB,GAAG,YAAY,CACtC,IAAI,CAAC,WAAW;aACX,OAAO,EAAE;aACT,MAAM,CACH,CACI,IAAI,EAIN,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAChC;aACA,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CACtC,CAAA;QAED,IAAI,OAAO,EAAE,iBAAiB,IAAI,OAAO,EAAE,oBAAoB,EAAE,CAAC;YAC9D,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,qBAAqB,CAAC,CAAA;YACvD,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,MAAM,CACxD,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,CACpD,CAAA;YACD,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACzB,MAAM,IAAI,KAAK,CACX,yDAAyD,IAAI,CAAC,OAAO,CAAC,EAAE,MAAM,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACzG,CAAA;YACL,CAAC;QACL,CAAC;QAED,MAAM,gBAAgB,GAAwC,EAAE,CAAA;QAChE,MAAM,kBAAkB,GAAG,CACvB,YAAoB,EACD,EAAE;YACrB,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,YAAY,CAAC,CAAA;YAC/D,IAAI,CAAC,UAAU,EAAE,CAAC;gBACd,MAAM,IAAI,KAAK,CAAC,eAAe,YAAY,kBAAkB,CAAC,CAAA;YAClE,CAAC;YAED,MAAM,aAAa,GAAG,UAAU,CAAC,mBAAmB,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;YACnE,IAAI,aAAa,KAAK,UAAU,EAAE,CAAC;gBAC/B,gBAAgB,CAAC,UAAU,CAAC,EAAE,CAAC,GAAG,KAAK,CAAA;gBACvC,OAAO,KAAK,CAAA;YAChB,CAAC;YAED,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBACjC,IAAI,KAA0B,CAAA;gBAC9B,IAAI,OAAO,EAAE,QAAQ,EAAE,CAAC;oBACpB,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,WAAW,CACvC,UAAU,CAAC,UAAU,CACxB,CAAA;oBACD,IACI,QAAQ;wBACR,cAAc,CAAC,QAAQ,CAAC;wBACxB,CAAC,iBAAiB,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAY,CAAC,EAC1D,CAAC;wBACC,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,UAAU,CAAC,CAAA;oBACnD,CAAC;yBAAM,CAAC;wBACJ,KAAK;4BACD,UAAU,CAAC,SAAS,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,IAAI,CAAA;oBAC3D,CAAC;gBACL,CAAC;qBAAM,CAAC;oBACJ,KAAK,GAAG,UAAU,CAAC,SAAS,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,IAAI,CAAA;gBAC/D,CAAC;gBACD,gBAAgB,CAAC,UAAU,CAAC,EAAE,CAAC,GAAG,KAAK,CAAA;gBACvC,OAAO,KAAK,CAAA;YAChB,CAAC;YAED,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;YACpE,IAAI,KAA0B,CAAA;YAE9B,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAChC,KAAK,GAAG,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;gBAC1C,gBAAgB,CAAC,UAAU,CAAC,EAAE,CAAC,GAAG,KAAK,CAAA;gBACvC,OAAO,KAAK,CAAA;YAChB,CAAC;YAED,QAAQ,UAAU,CAAC,QAAQ,EAAE,CAAC;gBAC1B,KAAK,KAAK;oBACN,KAAK,GAAG,SAAS,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;oBACrD,MAAK;gBACT,KAAK,KAAK;oBACN,KAAK,GAAG,QAAQ,CAAC,MAAM,CACnB,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CACX,SAAS,CAAC,GAAG,EAAE,kBAAkB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,EAChD,IAAI,CACP,CAAA;oBACD,MAAK;gBACT,KAAK,IAAI;oBACL,KAAK,GAAG,QAAQ,CAAC,MAAM,CACnB,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CACX,QAAQ,CAAC,GAAG,EAAE,kBAAkB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,EAC/C,KAAK,CACR,CAAA;oBACD,MAAK;gBACT,KAAK,SAAS,CAAC,CAAC,CAAC;oBACb,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;oBACxB,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;oBACzB,KAAK,GAAG,aAAa,CACjB,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC,EAC3B,kBAAkB,CAAC,KAAK,CAAC,EAAE,CAAC,CAC/B,CAAA;oBACD,MAAK;gBACT,CAAC;gBACD,KAAK,KAAK,CAAC,CAAC,CAAC;oBACT,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;oBACxB,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;oBACzB,KAAK,GAAG,SAAS,CACb,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC,EAC3B,kBAAkB,CAAC,KAAK,CAAC,EAAE,CAAC,CAC/B,CAAA;oBACD,MAAK;gBACT,CAAC;YACL,CAAC;YAED,gBAAgB,CAAC,UAAU,CAAC,EAAE,CAAC,GAAG,KAAK,CAAA;YACvC,OAAO,KAAK,CAAA;QAChB,CAAC,CAAA;QAED,MAAM,SAAS,GAAG,kBAAkB,CAAC,gBAAgB,CAAC,CAAA;QACtD,MAAM,cAAc,GAAwC,EAAE,CAAA;QAC9D,KAAK,MAAM,UAAU,IAAI,qBAAqB,EAAE,CAAC;YAC7C,IAAI,OAAO,EAAE,QAAQ,EAAE,CAAC;gBACpB,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,UAAU,CAAC,CAAA;gBACvD,IAAI,QAAQ,IAAI,cAAc,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACvC,cAAc,CAAC,UAAU,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAA;oBACzD,SAAQ;gBACZ,CAAC;YACL,CAAC;YACD,cAAc,CAAC,UAAU,CAAC;gBACtB,UAAU,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,IAAI,CAAA;QAChD,CAAC;QAED,IAAI,mBAAgE,CAAA;QACpE,IACI,IAAI,CAAC,WAAW,EAAE;YAClB,UAAU,CAAC,mBAAmB,CAAC,gBAAgB,CAAC,KAAK,UAAU,EACjE,CAAC;YACC,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,gBAAgB,CAAC,CAAA;YAC7D,IAAI,IAAI,EAAE,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC5B,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;gBAC9D,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;gBACxB,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;gBACzB,IAAI,IAAI,IAAI,KAAK,EAAE,CAAC;oBAChB,MAAM,SAAS,GAAG,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;oBAC3C,MAAM,UAAU,GAAG,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;oBAC7C,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;wBAC9B,mBAAmB,GAAG;4BAClB,IAAI,EAAE,SAAS;4BACf,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE;4BAC1B,gBAAgB;4BAChB,SAAS;4BACT,UAAU;4BACV,SAAS;4BACT,cAAc,EAAE,SAAS;4BACzB,cAAc,EAAE,UAAU;4BAC1B,eAAe,EAAE,SAAS,CAAC,SAAS,CAAC;4BACrC,KAAK,EAAE,SAAS;4BAChB,YAAY,EAAE,SAAS,CAAC,SAAS,EAAE,UAAU,CAAC;yBACjD,CAAA;oBACL,CAAC;yBAAM,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;wBACjC,MAAM,WAAW,GAAG,uBAAuB,CACvC,SAAS,EACT,UAAU,CACb,CAAA;wBACD,MAAM,WAAW,GAAG,uBAAuB,CACvC,UAAU,EACV,SAAS,CACZ,CAAA;wBACD,mBAAmB,GAAG;4BAClB,IAAI,EAAE,KAAK;4BACX,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE;4BAC1B,gBAAgB;4BAChB,SAAS;4BACT,UAAU;4BACV,SAAS;4BACT,WAAW;4BACX,WAAW;4BACX,aAAa,EAAE,SAAS,CAAC,SAAS,EAAE,UAAU,CAAC;4BAC/C,cAAc,EAAE,SAAS,CACrB,SAAS,CAAC,SAAS,CAAC,EACpB,SAAS,CAAC,UAAU,CAAC,CACxB;yBACJ,CAAA;oBACL,CAAC;gBACL,CAAC;YACL,CAAC;QACL,CAAC;QAED,OAAO;YACH,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE;YAC1B,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,YAAY;YAC5D,gBAAgB;YAChB,SAAS;YACT,gBAAgB;YAChB,cAAc;YACd,mBAAmB;SACtB,CAAA;IACL,CAAC;IAEM,eAAe;QAClB,IAAI,IAAI,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;YACtC,OAAO,EAAE,CAAA;QACb,CAAC;QACD,OAAO,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAA;IACvD,CAAC;IAEM,wBAAwB;QAC3B,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAA;QAC7B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,EAAE,CAAC;YAC5C,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC3B,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;YAC5B,CAAC;QACL,CAAC;QACD,OAAO,GAAG,CAAA;IACd,CAAC;IAEM,aAAa;QAChB,IAAI,CAAC,cAAc,EAAE,CAAA;QACrB,OAAO;YACH,GAAG,IAAI,CAAC,OAAO;YACf,QAAQ,EAAE,IAAI,CAAC,kBAAmB;YAClC,kBAAkB,EAAE,IAAI,CAAC,wBAAyB;YAClD,gBAAgB,EAAE,IAAI,CAAC,sBAAuB;SACrC,CAAA;IACjB,CAAC;IAEM,QAAQ;QACX,IAAI,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,kBAAkB,KAAK,SAAS,EAAE,CAAC;YAC9D,IAAI,CAAC,cAAc,EAAE,CAAA;QACzB,CAAC;QACD,OAAO,IAAI,CAAC,kBAAmB,CAAA;IACnC,CAAC;IAEM,kBAAkB;QACrB,IAAI,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,wBAAwB,KAAK,SAAS,EAAE,CAAC;YACpE,IAAI,CAAC,cAAc,EAAE,CAAA;QACzB,CAAC;QACD,OAAO,IAAI,CAAC,wBAAyB,CAAA;IACzC,CAAC;IAEM,gBAAgB;QACnB,IAAI,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,sBAAsB,KAAK,SAAS,EAAE,CAAC;YAClE,IAAI,CAAC,cAAc,EAAE,CAAA;QACzB,CAAC;QACD,OAAO,IAAI,CAAC,sBAAuB,CAAA;IACvC,CAAC;IAEM,qBAAqB,CAAC,KAAoB;QAC7C,OAAO,IAAI,CAAC,kBAAkB,EAAE,CAAA;IACpC,CAAC;IAEM,cAAc;QACjB,IAAI,CAAC,WAAW,CAAC,wBAAwB,EAAE,CAAA;QAE3C,MAAM,aAAa,GACf,IAAI,CAAC,cAAc,EAAE,aAAa;YAClC,uBAAuB,CAAC,aAAc,CAAA;QAC1C,IAAI,CAAC,kBAAkB,GAAG,cAAc,CACpC,IAAI,CAAC,OAA6C,EAClD,aAAa,CAChB,CAAA;QAED,MAAM,MAAM,GAAG,IAAI,CAAC,gBAAgB,CAAA;QACpC,IAAI,MAAM,EAAE,CAAC;YACT,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,MAAM,CAAC,CAAA;YACvD,IAAI,CAAC,wBAAwB,GAAG,QAAQ;gBACpC,CAAC,CAAC,QAAQ,CAAC,gBAAgB;gBAC3B,CAAC,CAAC,IAAI,CAAA;QACd,CAAC;aAAM,CAAC;YACJ,IAAI,CAAC,wBAAwB,GAAG,IAAI,CAAA;QACxC,CAAC;QAED,IAAI,CAAC,sBAAsB;YACvB,IAAI,CAAC,wBAAwB,KAAK,IAAI;gBAClC,CAAC,CAAC,IAAI,CAAC,kBAAkB;gBACzB,CAAC,CAAC,WAAW,CACP,IAAI,CAAC,kBAAkB,GAAG,IAAI,CAAC,wBAAwB,CAC1D,CAAA;QAEX,IAAI,CAAC,aAAa,GAAG,KAAK,CAAA;IAC9B,CAAC;IAEM,QAAQ;QACX,MAAM,UAAU,GAA0B,EAAE,CAAA;QAC5C,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,CAAA;QAEjC,sEAAsE;QACtE,MAAM,WAAW,GAAG,IAAI,CAAC,aAAa,EAAE,CAAA;QACxC,IACI,CAAC,KAAK,CAAC,KAAK,CACR,iBAAiB,EACjB,WAAsC,CACzC,EACH,CAAC;YACC,UAAU,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,sBAAsB;gBAC5B,OAAO,EAAE,YAAY,SAAS,0CAA0C;gBACxE,UAAU,EAAE,SAAS;gBACrB,QAAQ,EAAE,SAAS;gBACnB,SAAS;aACZ,CAAC,CAAA;QACN,CAAC;QAED,kEAAkE;QAClE,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAA;QAC9C,KAAK,MAAM,CAAC,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;YACpC,UAAU,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,EAAE,SAAS,EAAE,CAAC,CAAA;QACxC,CAAC;QAED,iCAAiC;QACjC,IAAI,IAAI,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;YACtC,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAC3C,IAAI,CAAC,gBAAgB,CACxB,CAAA;YACD,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACZ,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,+BAA+B;oBACrC,OAAO,EAAE,YAAY,SAAS,uBAAuB,IAAI,CAAC,gBAAgB,uCAAuC;oBACjH,UAAU,EAAE,SAAS;oBACrB,QAAQ,EAAE,SAAS;oBACnB,SAAS;iBACZ,CAAC,CAAA;YACN,CAAC;iBAAM,IAAI,QAAQ,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;gBACpC,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,+BAA+B;oBACrC,OAAO,EAAE,YAAY,SAAS,uBAAuB,IAAI,CAAC,gBAAgB,4BAA4B,QAAQ,CAAC,QAAQ,IAAI;oBAC3H,UAAU,EAAE,SAAS;oBACrB,QAAQ,EAAE,SAAS;oBACnB,SAAS;iBACZ,CAAC,CAAA;YACN,CAAC;QACL,CAAC;QAED,8DAA8D;QAC9D,uEAAuE;QACvE,IAAI,IAAI,CAAC,mBAAmB,EAAE,CAAC;YAC3B,MAAM,WAAW,GAAG,IAAI,CAAC,mBAAmB,EAAE,CAAA;YAC9C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,EAAE,CAAC;gBAC5C,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;oBAC3B,MAAM,OAAO,GACT,IAAuD,CAAA;oBAC3D,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;wBACvC,UAAU,CAAC,IAAI,CAAC;4BACZ,IAAI,EAAE,8BAA8B;4BACpC,OAAO,EAAE,eAAe,IAAI,CAAC,EAAE,iBAAiB,SAAS,uCAAuC,OAAO,CAAC,UAAU,IAAI;4BACtH,UAAU,EAAE,YAAY;4BACxB,QAAQ,EAAE,IAAI,CAAC,EAAE;4BACjB,SAAS;yBACZ,CAAC,CAAA;oBACN,CAAC;gBACL,CAAC;YACL,CAAC;QACL,CAAC;QAED,OAAO;YACH,EAAE,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC;YAC3B,UAAU;SACb,CAAA;IACL,CAAC;IAED,4EAA4E;IAC5E,kBAAkB;IAClB,4EAA4E;IAE5E;;;;OAIG;IACI,eAAe,CAAC,WAAsC;QACzD,IAAI,CAAC,WAAW,CAAC,eAAe,CAAC,WAAW,CAAC,CAAA;QAE7C,sDAAsD;QACtD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,EAAE,CAAC;YAC5C,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;gBACzB,IAAI,CAAC,gBAAgB,GAAG,IAAI,CAAC,EAAE,CAAA;YACnC,CAAC;YACD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC3B,IAAI,CAAC,uBAAuB,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;YAClE,CAAC;YACD,IAAI,IAAI,CAAC,eAAe,EAAE,CAAC;gBACvB,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;YACtD,CAAC;QACL,CAAC;QACD,IAAI,CAAC,SAAS,EAAE,CAAA;IACpB,CAAC;IAEM,SAAS;QACZ,IAAI,CAAC,aAAa,GAAG,IAAI,CAAA;IAC7B,CAAC;IAED;;;OAGG;IACK,oBAAoB;QACxB,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAA;QACxD,IAAI,CAAC,gBAAgB,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAA;IACxC,CAAC;IAEO,cAAc,CAAC,MAAc;QACjC,MAAM,MAAM,GAAY,EAAE,CAAA;QAC1B,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,CAAA;QACtB,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,MAAM,EAAE,GAAG,KAAK,CAAC,GAAG,EAAG,CAAA;YACvB,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,EAAE,CAAC,CAAA;YAC/C,IAAI,CAAC,IAAI;gBAAE,SAAQ;YACnB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YACjB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC3D,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;YACxB,CAAC;QACL,CAAC;QACD,OAAO,MAAM,CAAA;IACjB,CAAC;IAEO,uBAAuB,CAC3B,UAAkB,EAClB,eAAuB;QAEvB,IAAI,UAAU,KAAK,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;YAClC,MAAM,IAAI,KAAK,CACX,sBAAsB,UAAU,wCAAwC,IAAI,CAAC,QAAQ,CAAC,EAAE,IAAI,CAC/F,CAAA;QACL,CAAC;QACD,IAAI,eAAe,KAAK,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;YAC5C,MAAM,IAAI,KAAK,CACX,2BAA2B,eAAe,6CAA6C,IAAI,CAAC,QAAQ,CAAC,OAAO,IAAI,CACnH,CAAA;QACL,CAAC;IACL,CAAC;IAEO,6BAA6B,CACjC,UAAuE;QAEvE,IACI,UAAU,CAAC,IAAI,KAAK,UAAU;YAC9B,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,UAAU,CAAC,UAAU,CAAC,EACpD,CAAC;YACC,MAAM,IAAI,KAAK,CACX,wBAAwB,UAAU,CAAC,EAAE,uCAAuC,UAAU,CAAC,UAAU,IAAI,CACxG,CAAA;QACL,CAAC;QAED,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,gBAAgB,EAAE,CAAC;YAC1D,IAAI,IAAI,CAAC,gBAAgB,CAAC,UAAU,CAAC,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;gBAChE,MAAM,IAAI,KAAK,CACX,+BAA+B,UAAU,CAAC,UAAU,uDAAuD,CAC9G,CAAA;YACL,CAAC;QACL,CAAC;IACL,CAAC;IAEO,gBAAgB,CAAC,YAAoB;QACzC,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,YAAY,CAAC,CAAA;QAC/D,IAAI,CAAC,UAAU,EAAE,CAAC;YACd,MAAM,IAAI,KAAK,CAAC,eAAe,YAAY,kBAAkB,CAAC,CAAA;QAClE,CAAC;QAED,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACjC,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,UAAU,CAAC,UAAU,CAAC,CAAA;YAClE,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACZ,MAAM,IAAI,KAAK,CACX,aAAa,UAAU,CAAC,UAAU,qBAAqB,YAAY,kBAAkB,CACxF,CAAA;YACL,CAAC;YACD,OAAO,QAAQ,CAAC,MAAM,CAAA;QAC1B,CAAC;QAED,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAChC,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;YACpE,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACxB,OAAO,KAAK,CAAA;YAChB,CAAC;YACD,OAAO,IAAI,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAA;QACvD,CAAC;QAED,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;QACpE,IAAI,UAAU,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;YAChC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACxB,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAA;YAC5D,CAAC;YACD,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAA;QAClG,CAAC;QAED,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,OAAO,KAAK,CAAA;QAChB,CAAC;QAED,MAAM,gBAAgB,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAC5C,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC,CAClC,CAAA;QACD,OAAO,IAAI,gBAAgB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAA;IACxF,CAAC;IAEO,cAAc,CAAC,QAAkC;QACrD,QAAQ,QAAQ,EAAE,CAAC;YACf,KAAK,KAAK;gBACN,OAAO,GAAG,CAAA;YACd,KAAK,IAAI;gBACL,OAAO,GAAG,CAAA;YACd,KAAK,SAAS;gBACV,OAAO,GAAG,CAAA;YACd,KAAK,KAAK;gBACN,OAAO,GAAG,CAAA;YACd,KAAK,KAAK;gBACN,OAAO,GAAG,CAAA;QAClB,CAAC;IACL,CAAC;IAEM,QAAQ;QACX,IAAI,CAAC,cAAc,EAAE,CAAA;QACrB,MAAM,YAAY,GAAG,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAA;QAChD,OAAO;YACH,OAAO,EAAE;gBACL,GAAG,IAAI,CAAC,OAAO;gBACf,QAAQ,EAAE,IAAI,CAAC,kBAAmB;gBAClC,kBAAkB,EAAE,IAAI,CAAC,wBAAyB;gBAClD,gBAAgB,EAAE,IAAI,CAAC,sBAAuB;aACjD;YACD,gBAAgB,EAAE,IAAI,CAAC,gBAAgB;YACvC,WAAW,EAAE,YAAY;YACzB,MAAM,EAAE;gBACJ,GAAG,YAAY,CAAC,MAAM;gBACtB,cAAc,EAAE,uBAAuB,CAAC,IAAI,CAAC,cAAc,CAAC;aACxC;SAC3B,CAAA;IACL,CAAC;IAED,uEAAuE;IAChE,MAAM,CAAC,YAAY,CAOtB,QAAiD,EACjD,QAAiC,EACjC,SAAgC,EAChC,eAAqC,EACrC,aAA8B,EAC9B,UAAyB;QAEzB,oEAAoE;QACpE,6DAA6D;QAC7D,MAAM,gBAAgB,GAClB,QAAQ,CAAC,MAAM;YACX,CAAC,CAAC;gBACI,GAAG,QAAQ,CAAC,MAAM;gBAClB,cAAc,EAAE,uBAAuB,CACnC,QAAQ,CAAC,MAAM,CAAC,cAAc,CACjC;gBACD,UAAU,EAAE,UAAU,IAAI,QAAQ,CAAC,MAAM,CAAC,UAAU;aACvD;YACH,CAAC,CAAC,UAAU;gBACV,CAAC,CAAC,EAAE,UAAU,EAAE;gBAChB,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAA;QAC3B,MAAM,EAAE,GAAG,IAAI,aAAa,CACxB,QAAQ,CAAC,OAAO,EAChB,EAAE,QAAQ,EAAE,SAAS,EAAE,eAAe,EAAE,EACxC,gBAAgB,CACnB,CAAA;QACD,wCAAwC;QACxC,EAAE,CAAC,WAAW,GAAG,iBAAiB,CAAC,YAAY,CAC3C,QAAQ,CAAC,WAAW,EACpB,aAAa,EACb,UAAU,CACb,CAAA;QACD,yCAAyC;QACzC,EAAE,CAAC,gBAAgB,GAAG,QAAQ,CAAC,gBAAgB,CAAA;QAC/C,4CAA4C;QAC5C,EAAE,CAAC,oBAAoB,EAAE,CAAA;QACzB,mDAAmD;QACnD,IAAI,eAAe,EAAE,CAAC;YAClB,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,WAAW,CAAC,OAAO,EAAE,EAAE,CAAC;gBAC1C,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,CAAA;YAC5C,CAAC;QACL,CAAC;QACD,OAAO,EAAE,CAAA;IACb,CAAC;IAED;;;;;OAKG;IACK,0BAA0B,CAC9B,SAAuD;QAEvD,IAAI,CAAC,oBAAoB,EAAE,CAAA;QAC3B,IAAI,CAAC,SAAS,EAAE,CAAA;QAChB,MAAM,OAAO,GAAG,IAAI,CAAC,sBAAsB,CAAC,SAAS,CAAC,CAAA;QACtD,IAAI,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAA;QACjC,IAAI,CAAC,QAAQ,EAAE,EAAE,CAAA;QACjB,OAAO,OAAO,CAAA;IAClB,CAAC;IAEO,sBAAsB,CAC1B,SAAuD;QAEvD,iDAAiD;QACjD,MAAM,qBAAqB,GAAG,IAAI,CAAC,sBAAsB,IAAI,IAAI,CAAA;QAEjE,IAAI,CAAC,WAAW,CAAC,wBAAwB,EAAE,CAAA;QAC3C,MAAM,OAAO,GAAG,SAAS,CAAC,WAAW,EAAE,CAAA;QACvC,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;YACtB,OAAO,CAAC,WAAW,CAAC,KAAK,GAAG,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CACrD,CAAC,IAAI,EAAE,EAAE;gBACL,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;gBACvD,OAAO,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI,CAAA;YAC1C,CAAC,CACJ,CAAA;YACD,OAAO,CAAC,WAAW,CAAC,QAAQ,GAAG,OAAO,CAAC,WAAW,CAAC,QAAQ,CAAC,GAAG,CAC3D,CAAC,IAAI,EAAE,EAAE;gBACL,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;gBACvD,OAAO,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI,CAAA;YAC1C,CAAC,CACJ,CAAA;QACL,CAAC;QAED,oDAAoD;QACpD,IAAI,CAAC,cAAc,EAAE,CAAA;QACrB,IAAI,IAAI,CAAC,sBAAsB,KAAK,qBAAqB,EAAE,CAAC;YACxD,OAAO,CAAC,QAAQ,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;YAC7D,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,CAAA;QACxD,CAAC;QAED,OAAO,OAAO,CAAA;IAClB,CAAC;IAEO,mBAAmB,CACvB,OAAoD;QAEpD,IAAI,CAAC,IAAI,CAAC,eAAe,IAAI,CAAC,OAAO,CAAC,WAAW;YAAE,OAAM;QACzD,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;YAC3C,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;QACtD,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC;YAC7C,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QACxC,CAAC;IACL,CAAC;IAEO,oBAAoB;QACxB,IAAI,CAAC,uBAAuB,GAAG,IAAI,UAAU,CAAC,GAAG,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,CAAA;QAC9D,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,EAAE,CAAC;YAC5C,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC3B,IAAI,CAAC,uBAAuB,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;YAClE,CAAC;QACL,CAAC;IACL,CAAC;CACJ"}
|
|
@@ -0,0 +1,111 @@
|
|
|
1
|
+
import type { TCoreArgument, TCorePremise, TCorePropositionalExpression, TCorePropositionalVariable } from "../schemata/index.js";
|
|
2
|
+
import type { TCoreClaim } from "../schemata/claim.js";
|
|
3
|
+
import type { TCoreClaimSourceAssociation, TCoreSource } from "../schemata/source.js";
|
|
4
|
+
import type { TCoreArgumentForkRecord, TCorePremiseForkRecord, TCoreExpressionForkRecord, TCoreVariableForkRecord, TCoreClaimForkRecord, TCoreSourceForkRecord } from "../schemata/fork.js";
|
|
5
|
+
import type { TPropositCoreSnapshot, TPropositCoreConfig } from "./interfaces/library.interfaces.js";
|
|
6
|
+
import type { TInvariantValidationResult } from "../types/validation.js";
|
|
7
|
+
import type { TForkArgumentOptions, TForkRemapTable } from "../types/fork.js";
|
|
8
|
+
import type { TCoreArgumentDiff, TCoreDiffOptions } from "../types/diff.js";
|
|
9
|
+
import { ClaimLibrary } from "./claim-library.js";
|
|
10
|
+
import { SourceLibrary } from "./source-library.js";
|
|
11
|
+
import { ClaimSourceLibrary } from "./claim-source-library.js";
|
|
12
|
+
import { ArgumentLibrary } from "./argument-library.js";
|
|
13
|
+
import { ArgumentEngine } from "./argument-engine.js";
|
|
14
|
+
import { ForkLibrary } from "./fork-library.js";
|
|
15
|
+
/**
|
|
16
|
+
* Options for constructing a `PropositCore` instance. Accepts optional
|
|
17
|
+
* pre-constructed library instances and/or shared configuration. When a
|
|
18
|
+
* library instance is provided, it is used directly; otherwise a new one
|
|
19
|
+
* is constructed using the shared config.
|
|
20
|
+
*/
|
|
21
|
+
export type TPropositCoreOptions<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TSource extends TCoreSource = TCoreSource, TClaim extends TCoreClaim = TCoreClaim, TAssoc extends TCoreClaimSourceAssociation = TCoreClaimSourceAssociation, TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord, TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord, TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord, TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord, TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord, TSourceFork extends TCoreSourceForkRecord = TCoreSourceForkRecord> = TPropositCoreConfig & {
|
|
22
|
+
/** Pre-constructed claim library instance. */
|
|
23
|
+
claimLibrary?: ClaimLibrary<TClaim>;
|
|
24
|
+
/** Pre-constructed source library instance. */
|
|
25
|
+
sourceLibrary?: SourceLibrary<TSource>;
|
|
26
|
+
/** Pre-constructed claim-source association library instance. */
|
|
27
|
+
claimSourceLibrary?: ClaimSourceLibrary<TAssoc>;
|
|
28
|
+
/** Pre-constructed fork library instance. */
|
|
29
|
+
forkLibrary?: ForkLibrary<TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork, TSourceFork>;
|
|
30
|
+
/** Pre-constructed argument library instance. */
|
|
31
|
+
argumentLibrary?: ArgumentLibrary<TArg, TPremise, TExpr, TVar, TSource, TClaim, TAssoc>;
|
|
32
|
+
};
|
|
33
|
+
/**
|
|
34
|
+
* Top-level orchestrator for the proposit-core system. Owns all five
|
|
35
|
+
* libraries (claims, sources, claim-source associations, forks, arguments)
|
|
36
|
+
* and provides unified snapshot/restore and validation.
|
|
37
|
+
*
|
|
38
|
+
* Construction order follows dependency order:
|
|
39
|
+
* claims -> sources -> claimSources -> forks -> arguments.
|
|
40
|
+
*/
|
|
41
|
+
export declare class PropositCore<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TSource extends TCoreSource = TCoreSource, TClaim extends TCoreClaim = TCoreClaim, TAssoc extends TCoreClaimSourceAssociation = TCoreClaimSourceAssociation, TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord, TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord, TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord, TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord, TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord, TSourceFork extends TCoreSourceForkRecord = TCoreSourceForkRecord> {
|
|
42
|
+
readonly claims: ClaimLibrary<TClaim>;
|
|
43
|
+
readonly sources: SourceLibrary<TSource>;
|
|
44
|
+
readonly claimSources: ClaimSourceLibrary<TAssoc>;
|
|
45
|
+
readonly forks: ForkLibrary<TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork, TSourceFork>;
|
|
46
|
+
readonly arguments: ArgumentLibrary<TArg, TPremise, TExpr, TVar, TSource, TClaim, TAssoc>;
|
|
47
|
+
protected generateId: () => string;
|
|
48
|
+
constructor(options?: TPropositCoreOptions<TArg, TPremise, TExpr, TVar, TSource, TClaim, TAssoc, TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork, TSourceFork>);
|
|
49
|
+
/**
|
|
50
|
+
* Returns a serializable snapshot of the entire PropositCore state,
|
|
51
|
+
* including all libraries.
|
|
52
|
+
*/
|
|
53
|
+
snapshot(): TPropositCoreSnapshot<TArg, TPremise, TExpr, TVar, TSource, TClaim, TAssoc, TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork, TSourceFork>;
|
|
54
|
+
/**
|
|
55
|
+
* Restores a `PropositCore` instance from a snapshot. Libraries are
|
|
56
|
+
* restored in dependency order: claims -> sources -> claimSources ->
|
|
57
|
+
* forks -> arguments.
|
|
58
|
+
*
|
|
59
|
+
* @param snapshot - The serialized PropositCore snapshot.
|
|
60
|
+
* @param config - Optional shared configuration for the restored instance.
|
|
61
|
+
* @returns A fully restored `PropositCore` instance.
|
|
62
|
+
*/
|
|
63
|
+
static fromSnapshot<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TSource extends TCoreSource = TCoreSource, TClaim extends TCoreClaim = TCoreClaim, TAssoc extends TCoreClaimSourceAssociation = TCoreClaimSourceAssociation, TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord, TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord, TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord, TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord, TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord, TSourceFork extends TCoreSourceForkRecord = TCoreSourceForkRecord>(snapshot: TPropositCoreSnapshot<TArg, TPremise, TExpr, TVar, TSource, TClaim, TAssoc, TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork, TSourceFork>, config?: TPropositCoreConfig): PropositCore<TArg, TPremise, TExpr, TVar, TSource, TClaim, TAssoc, TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork, TSourceFork>;
|
|
64
|
+
/**
|
|
65
|
+
* Runs invariant validation across all managed libraries and merges
|
|
66
|
+
* the results.
|
|
67
|
+
*
|
|
68
|
+
* @returns A combined validation result.
|
|
69
|
+
*/
|
|
70
|
+
validate(): TInvariantValidationResult;
|
|
71
|
+
/**
|
|
72
|
+
* Forks an argument, cloning its referenced claims, sources, and
|
|
73
|
+
* claim-source associations, then remaps variable claim references to
|
|
74
|
+
* point at the cloned claims. Creates fork records in all six
|
|
75
|
+
* namespaces.
|
|
76
|
+
*
|
|
77
|
+
* @param argumentId - The ID of the argument to fork.
|
|
78
|
+
* @param newArgumentId - The ID for the forked argument. Defaults to `this.generateId()`.
|
|
79
|
+
* @param options - Optional fork configuration and extras for fork records.
|
|
80
|
+
* @returns The forked engine, remap tables, and the argument fork record.
|
|
81
|
+
*/
|
|
82
|
+
forkArgument(argumentId: string, newArgumentId?: string, options?: TForkArgumentOptions & {
|
|
83
|
+
forkId?: string;
|
|
84
|
+
argumentForkExtras?: Partial<Omit<TArgFork, keyof TCoreArgumentForkRecord>>;
|
|
85
|
+
premiseForkExtras?: Partial<Omit<TPremiseFork, keyof TCorePremiseForkRecord>>;
|
|
86
|
+
expressionForkExtras?: Partial<Omit<TExprFork, keyof TCoreExpressionForkRecord>>;
|
|
87
|
+
variableForkExtras?: Partial<Omit<TVarFork, keyof TCoreVariableForkRecord>>;
|
|
88
|
+
claimForkExtras?: Partial<Omit<TClaimFork, keyof TCoreClaimForkRecord>>;
|
|
89
|
+
sourceForkExtras?: Partial<Omit<TSourceFork, keyof TCoreSourceForkRecord>>;
|
|
90
|
+
}): {
|
|
91
|
+
engine: ArgumentEngine<TArg, TPremise, TExpr, TVar, TSource, TClaim, TAssoc>;
|
|
92
|
+
remapTable: TForkRemapTable;
|
|
93
|
+
claimRemap: Map<string, string>;
|
|
94
|
+
sourceRemap: Map<string, string>;
|
|
95
|
+
argumentFork: TArgFork;
|
|
96
|
+
};
|
|
97
|
+
/**
|
|
98
|
+
* Computes a structural diff between two arguments managed by this
|
|
99
|
+
* `PropositCore` instance. Automatically injects fork-aware entity
|
|
100
|
+
* matchers derived from the fork records stored in `this.forks`.
|
|
101
|
+
* Caller-provided matchers in `options` take precedence over the
|
|
102
|
+
* fork-aware defaults.
|
|
103
|
+
*
|
|
104
|
+
* @param argumentIdA - The ID of the "before" argument.
|
|
105
|
+
* @param argumentIdB - The ID of the "after" argument.
|
|
106
|
+
* @param options - Optional diff configuration and comparator overrides.
|
|
107
|
+
* @returns A structural diff between the two arguments.
|
|
108
|
+
*/
|
|
109
|
+
diffArguments(argumentIdA: string, argumentIdB: string, options?: TCoreDiffOptions<TArg, TVar, TPremise, TExpr>): TCoreArgumentDiff<TArg, TVar, TPremise, TExpr>;
|
|
110
|
+
}
|
|
111
|
+
//# sourceMappingURL=proposit-core.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"proposit-core.d.ts","sourceRoot":"","sources":["../../../src/lib/core/proposit-core.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC7B,MAAM,sBAAsB,CAAA;AAC7B,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAA;AACtD,OAAO,KAAK,EACR,2BAA2B,EAC3B,WAAW,EACd,MAAM,uBAAuB,CAAA;AAC9B,OAAO,KAAK,EACR,uBAAuB,EACvB,sBAAsB,EACtB,yBAAyB,EACzB,uBAAuB,EACvB,oBAAoB,EACpB,qBAAqB,EACxB,MAAM,qBAAqB,CAAA;AAC5B,OAAO,KAAK,EACR,qBAAqB,EACrB,mBAAmB,EACtB,MAAM,oCAAoC,CAAA;AAC3C,OAAO,KAAK,EACR,0BAA0B,EAE7B,MAAM,wBAAwB,CAAA;AAC/B,OAAO,KAAK,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAA;AAC7E,OAAO,KAAK,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AAE3E,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACjD,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACnD,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAA;AAC9D,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EAAE,cAAc,EAAqB,MAAM,sBAAsB,CAAA;AACxE,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAI/C;;;;;GAKG;AACH,MAAM,MAAM,oBAAoB,CAC5B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,OAAO,SAAS,WAAW,GAAG,WAAW,EACzC,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,MAAM,SAAS,2BAA2B,GAAG,2BAA2B,EACxE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,YAAY,SAAS,sBAAsB,GAAG,sBAAsB,EACpE,SAAS,SAAS,yBAAyB,GAAG,yBAAyB,EACvE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,UAAU,SAAS,oBAAoB,GAAG,oBAAoB,EAC9D,WAAW,SAAS,qBAAqB,GAAG,qBAAqB,IACjE,mBAAmB,GAAG;IACtB,8CAA8C;IAC9C,YAAY,CAAC,EAAE,YAAY,CAAC,MAAM,CAAC,CAAA;IACnC,+CAA+C;IAC/C,aAAa,CAAC,EAAE,aAAa,CAAC,OAAO,CAAC,CAAA;IACtC,iEAAiE;IACjE,kBAAkB,CAAC,EAAE,kBAAkB,CAAC,MAAM,CAAC,CAAA;IAC/C,6CAA6C;IAC7C,WAAW,CAAC,EAAE,WAAW,CACrB,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,EACV,WAAW,CACd,CAAA;IACD,iDAAiD;IACjD,eAAe,CAAC,EAAE,eAAe,CAC7B,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,OAAO,EACP,MAAM,EACN,MAAM,CACT,CAAA;CACJ,CAAA;AAED;;;;;;;GAOG;AACH,qBAAa,YAAY,CACrB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,OAAO,SAAS,WAAW,GAAG,WAAW,EACzC,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,MAAM,SAAS,2BAA2B,GAAG,2BAA2B,EACxE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,YAAY,SAAS,sBAAsB,GAAG,sBAAsB,EACpE,SAAS,SAAS,yBAAyB,GAAG,yBAAyB,EACvE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,UAAU,SAAS,oBAAoB,GAAG,oBAAoB,EAC9D,WAAW,SAAS,qBAAqB,GAAG,qBAAqB;IAEjE,SAAgB,MAAM,EAAE,YAAY,CAAC,MAAM,CAAC,CAAA;IAC5C,SAAgB,OAAO,EAAE,aAAa,CAAC,OAAO,CAAC,CAAA;IAC/C,SAAgB,YAAY,EAAE,kBAAkB,CAAC,MAAM,CAAC,CAAA;IACxD,SAAgB,KAAK,EAAE,WAAW,CAC9B,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,EACV,WAAW,CACd,CAAA;IACD,SAAgB,SAAS,EAAE,eAAe,CACtC,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,OAAO,EACP,MAAM,EACN,MAAM,CACT,CAAA;IACD,SAAS,CAAC,UAAU,EAAE,MAAM,MAAM,CAAA;gBAG9B,OAAO,CAAC,EAAE,oBAAoB,CAC1B,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,OAAO,EACP,MAAM,EACN,MAAM,EACN,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,EACV,WAAW,CACd;IA2DL;;;OAGG;IACI,QAAQ,IAAI,qBAAqB,CACpC,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,OAAO,EACP,MAAM,EACN,MAAM,EACN,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,EACV,WAAW,CACd;IAUD;;;;;;;;OAQG;WACW,YAAY,CACtB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GACtC,4BAA4B,EAChC,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,OAAO,SAAS,WAAW,GAAG,WAAW,EACzC,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,MAAM,SAAS,2BAA2B,GACtC,2BAA2B,EAC/B,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,YAAY,SAAS,sBAAsB,GAAG,sBAAsB,EACpE,SAAS,SAAS,yBAAyB,GAAG,yBAAyB,EACvE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,UAAU,SAAS,oBAAoB,GAAG,oBAAoB,EAC9D,WAAW,SAAS,qBAAqB,GAAG,qBAAqB,EAEjE,QAAQ,EAAE,qBAAqB,CAC3B,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,OAAO,EACP,MAAM,EACN,MAAM,EACN,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,EACV,WAAW,CACd,EACD,MAAM,CAAC,EAAE,mBAAmB,GAC7B,YAAY,CACX,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,OAAO,EACP,MAAM,EACN,MAAM,EACN,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,EACV,WAAW,CACd;IA8ED;;;;;OAKG;IACI,QAAQ,IAAI,0BAA0B;IAW7C;;;;;;;;;;OAUG;IACI,YAAY,CACf,UAAU,EAAE,MAAM,EAClB,aAAa,CAAC,EAAE,MAAM,EACtB,OAAO,CAAC,EAAE,oBAAoB,GAAG;QAC7B,MAAM,CAAC,EAAE,MAAM,CAAA;QACf,kBAAkB,CAAC,EAAE,OAAO,CACxB,IAAI,CAAC,QAAQ,EAAE,MAAM,uBAAuB,CAAC,CAChD,CAAA;QACD,iBAAiB,CAAC,EAAE,OAAO,CACvB,IAAI,CAAC,YAAY,EAAE,MAAM,sBAAsB,CAAC,CACnD,CAAA;QACD,oBAAoB,CAAC,EAAE,OAAO,CAC1B,IAAI,CAAC,SAAS,EAAE,MAAM,yBAAyB,CAAC,CACnD,CAAA;QACD,kBAAkB,CAAC,EAAE,OAAO,CACxB,IAAI,CAAC,QAAQ,EAAE,MAAM,uBAAuB,CAAC,CAChD,CAAA;QACD,eAAe,CAAC,EAAE,OAAO,CACrB,IAAI,CAAC,UAAU,EAAE,MAAM,oBAAoB,CAAC,CAC/C,CAAA;QACD,gBAAgB,CAAC,EAAE,OAAO,CACtB,IAAI,CAAC,WAAW,EAAE,MAAM,qBAAqB,CAAC,CACjD,CAAA;KACJ,GACF;QACC,MAAM,EAAE,cAAc,CAClB,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,OAAO,EACP,MAAM,EACN,MAAM,CACT,CAAA;QACD,UAAU,EAAE,eAAe,CAAA;QAC3B,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;QAC/B,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;QAChC,YAAY,EAAE,QAAQ,CAAA;KACzB;IAiQD;;;;;;;;;;;OAWG;IACI,aAAa,CAChB,WAAW,EAAE,MAAM,EACnB,WAAW,EAAE,MAAM,EACnB,OAAO,CAAC,EAAE,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,GACxD,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC;CAiCpD"}
|
|
@@ -0,0 +1,365 @@
|
|
|
1
|
+
import { isClaimBound } from "../schemata/propositional.js";
|
|
2
|
+
import { ClaimLibrary } from "./claim-library.js";
|
|
3
|
+
import { SourceLibrary } from "./source-library.js";
|
|
4
|
+
import { ClaimSourceLibrary } from "./claim-source-library.js";
|
|
5
|
+
import { ArgumentLibrary } from "./argument-library.js";
|
|
6
|
+
import { ArgumentEngine, defaultGenerateId } from "./argument-engine.js";
|
|
7
|
+
import { ForkLibrary } from "./fork-library.js";
|
|
8
|
+
import { forkArgumentEngine } from "./fork.js";
|
|
9
|
+
import { diffArguments as standaloneDiffArguments } from "./diff.js";
|
|
10
|
+
/**
|
|
11
|
+
* Top-level orchestrator for the proposit-core system. Owns all five
|
|
12
|
+
* libraries (claims, sources, claim-source associations, forks, arguments)
|
|
13
|
+
* and provides unified snapshot/restore and validation.
|
|
14
|
+
*
|
|
15
|
+
* Construction order follows dependency order:
|
|
16
|
+
* claims -> sources -> claimSources -> forks -> arguments.
|
|
17
|
+
*/
|
|
18
|
+
export class PropositCore {
|
|
19
|
+
claims;
|
|
20
|
+
sources;
|
|
21
|
+
claimSources;
|
|
22
|
+
forks;
|
|
23
|
+
arguments;
|
|
24
|
+
generateId;
|
|
25
|
+
constructor(options) {
|
|
26
|
+
this.generateId = options?.generateId ?? defaultGenerateId;
|
|
27
|
+
const checksumOpts = options?.checksumConfig
|
|
28
|
+
? { checksumConfig: options.checksumConfig }
|
|
29
|
+
: undefined;
|
|
30
|
+
// Dependency order: claims -> sources -> claimSources -> forks -> arguments
|
|
31
|
+
this.claims =
|
|
32
|
+
options?.claimLibrary ?? new ClaimLibrary(checksumOpts);
|
|
33
|
+
this.sources =
|
|
34
|
+
options?.sourceLibrary ?? new SourceLibrary(checksumOpts);
|
|
35
|
+
this.claimSources =
|
|
36
|
+
options?.claimSourceLibrary ??
|
|
37
|
+
new ClaimSourceLibrary(this.claims, this.sources, checksumOpts);
|
|
38
|
+
this.forks =
|
|
39
|
+
options?.forkLibrary ??
|
|
40
|
+
new ForkLibrary();
|
|
41
|
+
this.arguments =
|
|
42
|
+
options?.argumentLibrary ??
|
|
43
|
+
new ArgumentLibrary({
|
|
44
|
+
claimLibrary: this.claims,
|
|
45
|
+
sourceLibrary: this.sources,
|
|
46
|
+
claimSourceLibrary: this.claimSources,
|
|
47
|
+
}, {
|
|
48
|
+
checksumConfig: options?.checksumConfig,
|
|
49
|
+
positionConfig: options?.positionConfig,
|
|
50
|
+
grammarConfig: options?.grammarConfig,
|
|
51
|
+
generateId: this.generateId,
|
|
52
|
+
});
|
|
53
|
+
}
|
|
54
|
+
/**
|
|
55
|
+
* Returns a serializable snapshot of the entire PropositCore state,
|
|
56
|
+
* including all libraries.
|
|
57
|
+
*/
|
|
58
|
+
snapshot() {
|
|
59
|
+
return {
|
|
60
|
+
arguments: this.arguments.snapshot(),
|
|
61
|
+
claims: this.claims.snapshot(),
|
|
62
|
+
sources: this.sources.snapshot(),
|
|
63
|
+
claimSources: this.claimSources.snapshot(),
|
|
64
|
+
forks: this.forks.snapshot(),
|
|
65
|
+
};
|
|
66
|
+
}
|
|
67
|
+
/**
|
|
68
|
+
* Restores a `PropositCore` instance from a snapshot. Libraries are
|
|
69
|
+
* restored in dependency order: claims -> sources -> claimSources ->
|
|
70
|
+
* forks -> arguments.
|
|
71
|
+
*
|
|
72
|
+
* @param snapshot - The serialized PropositCore snapshot.
|
|
73
|
+
* @param config - Optional shared configuration for the restored instance.
|
|
74
|
+
* @returns A fully restored `PropositCore` instance.
|
|
75
|
+
*/
|
|
76
|
+
static fromSnapshot(snapshot, config) {
|
|
77
|
+
const checksumOpts = config?.checksumConfig
|
|
78
|
+
? { checksumConfig: config.checksumConfig }
|
|
79
|
+
: undefined;
|
|
80
|
+
// Dependency order: claims -> sources -> claimSources -> forks -> arguments
|
|
81
|
+
const claims = ClaimLibrary.fromSnapshot(snapshot.claims, checksumOpts);
|
|
82
|
+
const sources = SourceLibrary.fromSnapshot(snapshot.sources, checksumOpts);
|
|
83
|
+
const claimSources = ClaimSourceLibrary.fromSnapshot(snapshot.claimSources, claims, sources, checksumOpts);
|
|
84
|
+
const forks = ForkLibrary.fromSnapshot(snapshot.forks);
|
|
85
|
+
const restoredArguments = ArgumentLibrary.fromSnapshot(snapshot.arguments, {
|
|
86
|
+
claimLibrary: claims,
|
|
87
|
+
sourceLibrary: sources,
|
|
88
|
+
claimSourceLibrary: claimSources,
|
|
89
|
+
}, {
|
|
90
|
+
checksumConfig: config?.checksumConfig,
|
|
91
|
+
positionConfig: config?.positionConfig,
|
|
92
|
+
grammarConfig: config?.grammarConfig,
|
|
93
|
+
generateId: config?.generateId,
|
|
94
|
+
});
|
|
95
|
+
const core = new PropositCore({
|
|
96
|
+
claimLibrary: claims,
|
|
97
|
+
sourceLibrary: sources,
|
|
98
|
+
claimSourceLibrary: claimSources,
|
|
99
|
+
forkLibrary: forks,
|
|
100
|
+
argumentLibrary: restoredArguments,
|
|
101
|
+
});
|
|
102
|
+
core.generateId = config?.generateId ?? defaultGenerateId;
|
|
103
|
+
return core;
|
|
104
|
+
}
|
|
105
|
+
/**
|
|
106
|
+
* Runs invariant validation across all managed libraries and merges
|
|
107
|
+
* the results.
|
|
108
|
+
*
|
|
109
|
+
* @returns A combined validation result.
|
|
110
|
+
*/
|
|
111
|
+
validate() {
|
|
112
|
+
const violations = [
|
|
113
|
+
...this.claims.validate().violations,
|
|
114
|
+
...this.sources.validate().violations,
|
|
115
|
+
...this.claimSources.validate().violations,
|
|
116
|
+
...this.forks.validate().violations,
|
|
117
|
+
...this.arguments.validate().violations,
|
|
118
|
+
];
|
|
119
|
+
return { ok: violations.length === 0, violations };
|
|
120
|
+
}
|
|
121
|
+
/**
|
|
122
|
+
* Forks an argument, cloning its referenced claims, sources, and
|
|
123
|
+
* claim-source associations, then remaps variable claim references to
|
|
124
|
+
* point at the cloned claims. Creates fork records in all six
|
|
125
|
+
* namespaces.
|
|
126
|
+
*
|
|
127
|
+
* @param argumentId - The ID of the argument to fork.
|
|
128
|
+
* @param newArgumentId - The ID for the forked argument. Defaults to `this.generateId()`.
|
|
129
|
+
* @param options - Optional fork configuration and extras for fork records.
|
|
130
|
+
* @returns The forked engine, remap tables, and the argument fork record.
|
|
131
|
+
*/
|
|
132
|
+
forkArgument(argumentId, newArgumentId, options) {
|
|
133
|
+
// Step 1: Retrieve source engine
|
|
134
|
+
const engine = this.arguments.get(argumentId);
|
|
135
|
+
if (!engine) {
|
|
136
|
+
throw new Error(`Argument "${argumentId}" not found in ArgumentLibrary.`);
|
|
137
|
+
}
|
|
138
|
+
// Step 2: canFork guard
|
|
139
|
+
if (!engine.canFork()) {
|
|
140
|
+
throw new Error(`Forking argument "${argumentId}" is not allowed.`);
|
|
141
|
+
}
|
|
142
|
+
const sourceArg = engine.getArgument();
|
|
143
|
+
const resolvedNewArgumentId = newArgumentId ?? this.generateId();
|
|
144
|
+
const forkId = options?.forkId ?? this.generateId();
|
|
145
|
+
// Build expressionId → premiseId map from source engine snapshot
|
|
146
|
+
const sourceSnap = engine.snapshot();
|
|
147
|
+
const exprToPremiseMap = new Map();
|
|
148
|
+
for (const ps of sourceSnap.premises) {
|
|
149
|
+
for (const expr of ps.expressions.expressions) {
|
|
150
|
+
exprToPremiseMap.set(expr.id, ps.premise.id);
|
|
151
|
+
}
|
|
152
|
+
}
|
|
153
|
+
// Step 3: Clone claims
|
|
154
|
+
const claimRemap = new Map();
|
|
155
|
+
const claimVersionMap = new Map();
|
|
156
|
+
const variables = engine.getVariables();
|
|
157
|
+
const uniqueClaimIds = new Set();
|
|
158
|
+
for (const v of variables) {
|
|
159
|
+
if (isClaimBound(v)) {
|
|
160
|
+
uniqueClaimIds.add(v.claimId);
|
|
161
|
+
}
|
|
162
|
+
}
|
|
163
|
+
for (const originalClaimId of uniqueClaimIds) {
|
|
164
|
+
const currentClaim = this.claims.getCurrent(originalClaimId);
|
|
165
|
+
if (!currentClaim) {
|
|
166
|
+
throw new Error(`Claim "${originalClaimId}" not found in ClaimLibrary.`);
|
|
167
|
+
}
|
|
168
|
+
claimVersionMap.set(originalClaimId, currentClaim.version);
|
|
169
|
+
const newClaimId = this.generateId();
|
|
170
|
+
const { id: _id, version: _v, frozen: _f, checksum: _c, ...claimData } = currentClaim;
|
|
171
|
+
this.claims.create({
|
|
172
|
+
...claimData,
|
|
173
|
+
id: newClaimId,
|
|
174
|
+
});
|
|
175
|
+
claimRemap.set(originalClaimId, newClaimId);
|
|
176
|
+
}
|
|
177
|
+
// Step 4: Clone sources
|
|
178
|
+
const sourceRemap = new Map();
|
|
179
|
+
const sourceVersionMap = new Map();
|
|
180
|
+
const uniqueSourceIds = new Set();
|
|
181
|
+
for (const originalClaimId of uniqueClaimIds) {
|
|
182
|
+
const associations = this.claimSources.getForClaim(originalClaimId);
|
|
183
|
+
for (const assoc of associations) {
|
|
184
|
+
uniqueSourceIds.add(assoc.sourceId);
|
|
185
|
+
}
|
|
186
|
+
}
|
|
187
|
+
for (const originalSourceId of uniqueSourceIds) {
|
|
188
|
+
const currentSource = this.sources.getCurrent(originalSourceId);
|
|
189
|
+
if (!currentSource) {
|
|
190
|
+
throw new Error(`Source "${originalSourceId}" not found in SourceLibrary.`);
|
|
191
|
+
}
|
|
192
|
+
sourceVersionMap.set(originalSourceId, currentSource.version);
|
|
193
|
+
const newSourceId = this.generateId();
|
|
194
|
+
const { id: _id, version: _v, frozen: _f, checksum: _c, ...sourceData } = currentSource;
|
|
195
|
+
this.sources.create({
|
|
196
|
+
...sourceData,
|
|
197
|
+
id: newSourceId,
|
|
198
|
+
});
|
|
199
|
+
sourceRemap.set(originalSourceId, newSourceId);
|
|
200
|
+
}
|
|
201
|
+
// Step 5: Clone associations
|
|
202
|
+
for (const originalClaimId of uniqueClaimIds) {
|
|
203
|
+
const associations = this.claimSources.getForClaim(originalClaimId);
|
|
204
|
+
for (const assoc of associations) {
|
|
205
|
+
const clonedClaimId = claimRemap.get(originalClaimId);
|
|
206
|
+
const clonedSourceId = sourceRemap.get(assoc.sourceId);
|
|
207
|
+
if (clonedSourceId) {
|
|
208
|
+
this.claimSources.add({
|
|
209
|
+
id: this.generateId(),
|
|
210
|
+
claimId: clonedClaimId,
|
|
211
|
+
claimVersion: 0,
|
|
212
|
+
sourceId: clonedSourceId,
|
|
213
|
+
sourceVersion: 0,
|
|
214
|
+
});
|
|
215
|
+
}
|
|
216
|
+
}
|
|
217
|
+
}
|
|
218
|
+
// Step 6: Fork engine
|
|
219
|
+
const { engine: forkedEngine, remapTable } = forkArgumentEngine(engine, resolvedNewArgumentId, {
|
|
220
|
+
claimLibrary: this.claims,
|
|
221
|
+
sourceLibrary: this.sources,
|
|
222
|
+
claimSourceLibrary: this.claimSources,
|
|
223
|
+
}, {
|
|
224
|
+
...options,
|
|
225
|
+
generateId: options?.generateId ?? this.generateId,
|
|
226
|
+
});
|
|
227
|
+
// Step 7: Remap claim references
|
|
228
|
+
const snap = forkedEngine.snapshot();
|
|
229
|
+
snap.variables.variables = snap.variables.variables.map((v) => {
|
|
230
|
+
if (isClaimBound(v)) {
|
|
231
|
+
const clonedClaimId = claimRemap.get(v.claimId);
|
|
232
|
+
if (clonedClaimId) {
|
|
233
|
+
return {
|
|
234
|
+
...v,
|
|
235
|
+
claimId: clonedClaimId,
|
|
236
|
+
claimVersion: 0,
|
|
237
|
+
};
|
|
238
|
+
}
|
|
239
|
+
}
|
|
240
|
+
return v;
|
|
241
|
+
});
|
|
242
|
+
const finalEngine = ArgumentEngine.fromSnapshot(snap, this.claims, this.sources, this.claimSources, snap.config?.grammarConfig, "ignore", this.generateId);
|
|
243
|
+
// Step 8: Register engine
|
|
244
|
+
this.arguments.register(finalEngine);
|
|
245
|
+
// Step 9: Create fork records
|
|
246
|
+
// Argument fork record
|
|
247
|
+
const argumentFork = this.forks.arguments.create({
|
|
248
|
+
entityId: resolvedNewArgumentId,
|
|
249
|
+
forkedFromEntityId: sourceArg.id,
|
|
250
|
+
forkedFromArgumentId: sourceArg.id,
|
|
251
|
+
forkedFromArgumentVersion: sourceArg.version,
|
|
252
|
+
forkId,
|
|
253
|
+
...options?.argumentForkExtras,
|
|
254
|
+
});
|
|
255
|
+
// Premise fork records
|
|
256
|
+
for (const [oldPremiseId, newPremiseId] of remapTable.premises) {
|
|
257
|
+
this.forks.premises.create({
|
|
258
|
+
entityId: newPremiseId,
|
|
259
|
+
forkedFromEntityId: oldPremiseId,
|
|
260
|
+
forkedFromArgumentId: sourceArg.id,
|
|
261
|
+
forkedFromArgumentVersion: sourceArg.version,
|
|
262
|
+
forkId,
|
|
263
|
+
...options?.premiseForkExtras,
|
|
264
|
+
});
|
|
265
|
+
}
|
|
266
|
+
// Expression fork records
|
|
267
|
+
for (const [oldExprId, newExprId] of remapTable.expressions) {
|
|
268
|
+
this.forks.expressions.create({
|
|
269
|
+
entityId: newExprId,
|
|
270
|
+
forkedFromEntityId: oldExprId,
|
|
271
|
+
forkedFromArgumentId: sourceArg.id,
|
|
272
|
+
forkedFromArgumentVersion: sourceArg.version,
|
|
273
|
+
forkId,
|
|
274
|
+
forkedFromPremiseId: exprToPremiseMap.get(oldExprId),
|
|
275
|
+
...options?.expressionForkExtras,
|
|
276
|
+
});
|
|
277
|
+
}
|
|
278
|
+
// Variable fork records
|
|
279
|
+
for (const [oldVarId, newVarId] of remapTable.variables) {
|
|
280
|
+
this.forks.variables.create({
|
|
281
|
+
entityId: newVarId,
|
|
282
|
+
forkedFromEntityId: oldVarId,
|
|
283
|
+
forkedFromArgumentId: sourceArg.id,
|
|
284
|
+
forkedFromArgumentVersion: sourceArg.version,
|
|
285
|
+
forkId,
|
|
286
|
+
...options?.variableForkExtras,
|
|
287
|
+
});
|
|
288
|
+
}
|
|
289
|
+
// Claim fork records
|
|
290
|
+
for (const [originalClaimId, clonedClaimId] of claimRemap) {
|
|
291
|
+
this.forks.claims.create({
|
|
292
|
+
entityId: clonedClaimId,
|
|
293
|
+
forkedFromEntityId: originalClaimId,
|
|
294
|
+
forkedFromArgumentId: sourceArg.id,
|
|
295
|
+
forkedFromArgumentVersion: sourceArg.version,
|
|
296
|
+
forkId,
|
|
297
|
+
forkedFromEntityVersion: claimVersionMap.get(originalClaimId),
|
|
298
|
+
...options?.claimForkExtras,
|
|
299
|
+
});
|
|
300
|
+
}
|
|
301
|
+
// Source fork records
|
|
302
|
+
for (const [originalSourceId, clonedSourceId] of sourceRemap) {
|
|
303
|
+
this.forks.sources.create({
|
|
304
|
+
entityId: clonedSourceId,
|
|
305
|
+
forkedFromEntityId: originalSourceId,
|
|
306
|
+
forkedFromArgumentId: sourceArg.id,
|
|
307
|
+
forkedFromArgumentVersion: sourceArg.version,
|
|
308
|
+
forkId,
|
|
309
|
+
forkedFromEntityVersion: sourceVersionMap.get(originalSourceId),
|
|
310
|
+
...options?.sourceForkExtras,
|
|
311
|
+
});
|
|
312
|
+
}
|
|
313
|
+
// Step 10: Return
|
|
314
|
+
return {
|
|
315
|
+
engine: finalEngine,
|
|
316
|
+
remapTable,
|
|
317
|
+
claimRemap,
|
|
318
|
+
sourceRemap,
|
|
319
|
+
argumentFork,
|
|
320
|
+
};
|
|
321
|
+
}
|
|
322
|
+
/**
|
|
323
|
+
* Computes a structural diff between two arguments managed by this
|
|
324
|
+
* `PropositCore` instance. Automatically injects fork-aware entity
|
|
325
|
+
* matchers derived from the fork records stored in `this.forks`.
|
|
326
|
+
* Caller-provided matchers in `options` take precedence over the
|
|
327
|
+
* fork-aware defaults.
|
|
328
|
+
*
|
|
329
|
+
* @param argumentIdA - The ID of the "before" argument.
|
|
330
|
+
* @param argumentIdB - The ID of the "after" argument.
|
|
331
|
+
* @param options - Optional diff configuration and comparator overrides.
|
|
332
|
+
* @returns A structural diff between the two arguments.
|
|
333
|
+
*/
|
|
334
|
+
diffArguments(argumentIdA, argumentIdB, options) {
|
|
335
|
+
const engineA = this.arguments.get(argumentIdA);
|
|
336
|
+
if (!engineA) {
|
|
337
|
+
throw new Error(`Argument "${argumentIdA}" not found.`);
|
|
338
|
+
}
|
|
339
|
+
const engineB = this.arguments.get(argumentIdB);
|
|
340
|
+
if (!engineB) {
|
|
341
|
+
throw new Error(`Argument "${argumentIdB}" not found.`);
|
|
342
|
+
}
|
|
343
|
+
// Build fork-aware matchers from fork records
|
|
344
|
+
const forkPremiseMatcher = (a, b) => {
|
|
345
|
+
const record = this.forks.premises.get(b.id);
|
|
346
|
+
return record?.forkedFromEntityId === a.id;
|
|
347
|
+
};
|
|
348
|
+
const forkVariableMatcher = (a, b) => {
|
|
349
|
+
const record = this.forks.variables.get(b.id);
|
|
350
|
+
return record?.forkedFromEntityId === a.id;
|
|
351
|
+
};
|
|
352
|
+
const forkExpressionMatcher = (a, b) => {
|
|
353
|
+
const record = this.forks.expressions.get(b.id);
|
|
354
|
+
return record?.forkedFromEntityId === a.id;
|
|
355
|
+
};
|
|
356
|
+
// Caller-provided matchers override fork-aware matchers
|
|
357
|
+
return standaloneDiffArguments(engineA, engineB, {
|
|
358
|
+
...options,
|
|
359
|
+
premiseMatcher: options?.premiseMatcher ?? forkPremiseMatcher,
|
|
360
|
+
variableMatcher: options?.variableMatcher ?? forkVariableMatcher,
|
|
361
|
+
expressionMatcher: options?.expressionMatcher ?? forkExpressionMatcher,
|
|
362
|
+
});
|
|
363
|
+
}
|
|
364
|
+
}
|
|
365
|
+
//# sourceMappingURL=proposit-core.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"proposit-core.js","sourceRoot":"","sources":["../../../src/lib/core/proposit-core.ts"],"names":[],"mappings":"AA6BA,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAA;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACjD,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACnD,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAA;AAC9D,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAA;AACxE,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAC/C,OAAO,EAAE,kBAAkB,EAAE,MAAM,WAAW,CAAA;AAC9C,OAAO,EAAE,aAAa,IAAI,uBAAuB,EAAE,MAAM,WAAW,CAAA;AAkDpE;;;;;;;GAOG;AACH,MAAM,OAAO,YAAY;IAeL,MAAM,CAAsB;IAC5B,OAAO,CAAwB;IAC/B,YAAY,CAA4B;IACxC,KAAK,CAOpB;IACe,SAAS,CAQxB;IACS,UAAU,CAAc;IAElC,YACI,OAcC;QAED,IAAI,CAAC,UAAU,GAAG,OAAO,EAAE,UAAU,IAAI,iBAAiB,CAAA;QAE1D,MAAM,YAAY,GAAG,OAAO,EAAE,cAAc;YACxC,CAAC,CAAC,EAAE,cAAc,EAAE,OAAO,CAAC,cAAc,EAAE;YAC5C,CAAC,CAAC,SAAS,CAAA;QAEf,4EAA4E;QAC5E,IAAI,CAAC,MAAM;YACP,OAAO,EAAE,YAAY,IAAI,IAAI,YAAY,CAAS,YAAY,CAAC,CAAA;QAEnE,IAAI,CAAC,OAAO;YACR,OAAO,EAAE,aAAa,IAAI,IAAI,aAAa,CAAU,YAAY,CAAC,CAAA;QAEtE,IAAI,CAAC,YAAY;YACb,OAAO,EAAE,kBAAkB;gBAC3B,IAAI,kBAAkB,CAClB,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,OAAO,EACZ,YAAY,CACf,CAAA;QAEL,IAAI,CAAC,KAAK;YACN,OAAO,EAAE,WAAW;gBACpB,IAAI,WAAW,EAOZ,CAAA;QAEP,IAAI,CAAC,SAAS;YACV,OAAO,EAAE,eAAe;gBACxB,IAAI,eAAe,CASf;oBACI,YAAY,EAAE,IAAI,CAAC,MAAM;oBACzB,aAAa,EAAE,IAAI,CAAC,OAAO;oBAC3B,kBAAkB,EAAE,IAAI,CAAC,YAAY;iBACxC,EACD;oBACI,cAAc,EAAE,OAAO,EAAE,cAAc;oBACvC,cAAc,EAAE,OAAO,EAAE,cAAc;oBACvC,aAAa,EAAE,OAAO,EAAE,aAAa;oBACrC,UAAU,EAAE,IAAI,CAAC,UAAU;iBAC9B,CACJ,CAAA;IACT,CAAC;IAED;;;OAGG;IACI,QAAQ;QAeX,OAAO;YACH,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE;YACpC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE;YAC9B,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE;YAChC,YAAY,EAAE,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAE;YAC1C,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE;SAC/B,CAAA;IACL,CAAC;IAED;;;;;;;;OAQG;IACI,MAAM,CAAC,YAAY,CAiBtB,QAcC,EACD,MAA4B;QAgB5B,MAAM,YAAY,GAAG,MAAM,EAAE,cAAc;YACvC,CAAC,CAAC,EAAE,cAAc,EAAE,MAAM,CAAC,cAAc,EAAE;YAC3C,CAAC,CAAC,SAAS,CAAA;QAEf,4EAA4E;QAC5E,MAAM,MAAM,GAAG,YAAY,CAAC,YAAY,CACpC,QAAQ,CAAC,MAAM,EACf,YAAY,CACf,CAAA;QACD,MAAM,OAAO,GAAG,aAAa,CAAC,YAAY,CACtC,QAAQ,CAAC,OAAO,EAChB,YAAY,CACf,CAAA;QACD,MAAM,YAAY,GAAG,kBAAkB,CAAC,YAAY,CAChD,QAAQ,CAAC,YAAY,EACrB,MAAM,EACN,OAAO,EACP,YAAY,CACf,CAAA;QACD,MAAM,KAAK,GAAG,WAAW,CAAC,YAAY,CAOpC,QAAQ,CAAC,KAAK,CAAC,CAAA;QACjB,MAAM,iBAAiB,GAAG,eAAe,CAAC,YAAY,CASlD,QAAQ,CAAC,SAAS,EAClB;YACI,YAAY,EAAE,MAAM;YACpB,aAAa,EAAE,OAAO;YACtB,kBAAkB,EAAE,YAAY;SACnC,EACD;YACI,cAAc,EAAE,MAAM,EAAE,cAAc;YACtC,cAAc,EAAE,MAAM,EAAE,cAAc;YACtC,aAAa,EAAE,MAAM,EAAE,aAAa;YACpC,UAAU,EAAE,MAAM,EAAE,UAAU;SACjC,CACJ,CAAA;QAED,MAAM,IAAI,GAAG,IAAI,YAAY,CAc3B;YACE,YAAY,EAAE,MAAM;YACpB,aAAa,EAAE,OAAO;YACtB,kBAAkB,EAAE,YAAY;YAChC,WAAW,EAAE,KAAK;YAClB,eAAe,EAAE,iBAAiB;SACrC,CAAC,CAAA;QAEF,IAAI,CAAC,UAAU,GAAG,MAAM,EAAE,UAAU,IAAI,iBAAiB,CAAA;QAEzD,OAAO,IAAI,CAAA;IACf,CAAC;IAED;;;;;OAKG;IACI,QAAQ;QACX,MAAM,UAAU,GAA0B;YACtC,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,UAAU;YACpC,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,UAAU;YACrC,GAAG,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAE,CAAC,UAAU;YAC1C,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,UAAU;YACnC,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC,UAAU;SAC1C,CAAA;QACD,OAAO,EAAE,EAAE,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,UAAU,EAAE,CAAA;IACtD,CAAC;IAED;;;;;;;;;;OAUG;IACI,YAAY,CACf,UAAkB,EAClB,aAAsB,EACtB,OAoBC;QAgBD,iCAAiC;QACjC,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QAC7C,IAAI,CAAC,MAAM,EAAE,CAAC;YACV,MAAM,IAAI,KAAK,CACX,aAAa,UAAU,iCAAiC,CAC3D,CAAA;QACL,CAAC;QAED,wBAAwB;QACxB,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;YACpB,MAAM,IAAI,KAAK,CAAC,qBAAqB,UAAU,mBAAmB,CAAC,CAAA;QACvE,CAAC;QAED,MAAM,SAAS,GAAG,MAAM,CAAC,WAAW,EAAE,CAAA;QACtC,MAAM,qBAAqB,GAAG,aAAa,IAAI,IAAI,CAAC,UAAU,EAAE,CAAA;QAChE,MAAM,MAAM,GAAG,OAAO,EAAE,MAAM,IAAI,IAAI,CAAC,UAAU,EAAE,CAAA;QAEnD,iEAAiE;QACjE,MAAM,UAAU,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAA;QACpC,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAkB,CAAA;QAClD,KAAK,MAAM,EAAE,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;YACnC,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,WAAW,CAAC,WAAW,EAAE,CAAC;gBAC5C,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;YAChD,CAAC;QACL,CAAC;QAED,uBAAuB;QACvB,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAA;QAC5C,MAAM,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAA;QACjD,MAAM,SAAS,GAAG,MAAM,CAAC,YAAY,EAAE,CAAA;QACvC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAA;QACxC,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YACxB,IAAI,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClB,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;YACjC,CAAC;QACL,CAAC;QACD,KAAK,MAAM,eAAe,IAAI,cAAc,EAAE,CAAC;YAC3C,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,eAAe,CAAC,CAAA;YAC5D,IAAI,CAAC,YAAY,EAAE,CAAC;gBAChB,MAAM,IAAI,KAAK,CACX,UAAU,eAAe,8BAA8B,CAC1D,CAAA;YACL,CAAC;YACD,eAAe,CAAC,GAAG,CAAC,eAAe,EAAE,YAAY,CAAC,OAAO,CAAC,CAAA;YAC1D,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,EAAE,CAAA;YACpC,MAAM,EACF,EAAE,EAAE,GAAG,EACP,OAAO,EAAE,EAAE,EACX,MAAM,EAAE,EAAE,EACV,QAAQ,EAAE,EAAE,EACZ,GAAG,SAAS,EACf,GAAG,YAAuC,CAAA;YAC3C,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;gBACf,GAAG,SAAS;gBACZ,EAAE,EAAE,UAAU;aACkC,CAAC,CAAA;YACrD,UAAU,CAAC,GAAG,CAAC,eAAe,EAAE,UAAU,CAAC,CAAA;QAC/C,CAAC;QAED,wBAAwB;QACxB,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAA;QAC7C,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAkB,CAAA;QAClD,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAA;QACzC,KAAK,MAAM,eAAe,IAAI,cAAc,EAAE,CAAC;YAC3C,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,eAAe,CAAC,CAAA;YACnE,KAAK,MAAM,KAAK,IAAI,YAAY,EAAE,CAAC;gBAC/B,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;YACvC,CAAC;QACL,CAAC;QACD,KAAK,MAAM,gBAAgB,IAAI,eAAe,EAAE,CAAC;YAC7C,MAAM,aAAa,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAA;YAC/D,IAAI,CAAC,aAAa,EAAE,CAAC;gBACjB,MAAM,IAAI,KAAK,CACX,WAAW,gBAAgB,+BAA+B,CAC7D,CAAA;YACL,CAAC;YACD,gBAAgB,CAAC,GAAG,CAAC,gBAAgB,EAAE,aAAa,CAAC,OAAO,CAAC,CAAA;YAC7D,MAAM,WAAW,GAAG,IAAI,CAAC,UAAU,EAAE,CAAA;YACrC,MAAM,EACF,EAAE,EAAE,GAAG,EACP,OAAO,EAAE,EAAE,EACX,MAAM,EAAE,EAAE,EACV,QAAQ,EAAE,EAAE,EACZ,GAAG,UAAU,EAChB,GAAG,aAAwC,CAAA;YAC5C,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;gBAChB,GAAG,UAAU;gBACb,EAAE,EAAE,WAAW;aACkC,CAAC,CAAA;YACtD,WAAW,CAAC,GAAG,CAAC,gBAAgB,EAAE,WAAW,CAAC,CAAA;QAClD,CAAC;QAED,6BAA6B;QAC7B,KAAK,MAAM,eAAe,IAAI,cAAc,EAAE,CAAC;YAC3C,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,eAAe,CAAC,CAAA;YACnE,KAAK,MAAM,KAAK,IAAI,YAAY,EAAE,CAAC;gBAC/B,MAAM,aAAa,GAAG,UAAU,CAAC,GAAG,CAAC,eAAe,CAAE,CAAA;gBACtD,MAAM,cAAc,GAAG,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;gBACtD,IAAI,cAAc,EAAE,CAAC;oBACjB,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC;wBAClB,EAAE,EAAE,IAAI,CAAC,UAAU,EAAE;wBACrB,OAAO,EAAE,aAAa;wBACtB,YAAY,EAAE,CAAC;wBACf,QAAQ,EAAE,cAAc;wBACxB,aAAa,EAAE,CAAC;qBACS,CAAC,CAAA;gBAClC,CAAC;YACL,CAAC;QACL,CAAC;QAED,sBAAsB;QACtB,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,UAAU,EAAE,GAAG,kBAAkB,CAS3D,MAAM,EACN,qBAAqB,EACrB;YACI,YAAY,EAAE,IAAI,CAAC,MAAM;YACzB,aAAa,EAAE,IAAI,CAAC,OAAO;YAC3B,kBAAkB,EAAE,IAAI,CAAC,YAAY;SACxC,EACD;YACI,GAAG,OAAO;YACV,UAAU,EAAE,OAAO,EAAE,UAAU,IAAI,IAAI,CAAC,UAAU;SACrD,CACJ,CAAA;QAED,iCAAiC;QACjC,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,EAAE,CAAA;QACpC,IAAI,CAAC,SAAS,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YAC1D,IAAI,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClB,MAAM,aAAa,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;gBAC/C,IAAI,aAAa,EAAE,CAAC;oBAChB,OAAO;wBACH,GAAG,CAAC;wBACJ,OAAO,EAAE,aAAa;wBACtB,YAAY,EAAE,CAAC;qBACN,CAAA;gBACjB,CAAC;YACL,CAAC;YACD,OAAO,CAAC,CAAA;QACZ,CAAC,CAAC,CAAA;QAEF,MAAM,WAAW,GAAG,cAAc,CAAC,YAAY,CAS3C,IAAI,EACJ,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,OAAO,EACZ,IAAI,CAAC,YAAY,EACjB,IAAI,CAAC,MAAM,EAAE,aAAa,EAC1B,QAAQ,EACR,IAAI,CAAC,UAAU,CAClB,CAAA;QAED,0BAA0B;QAC1B,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAA;QAEpC,8BAA8B;QAE9B,uBAAuB;QACvB,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC;YAC7C,QAAQ,EAAE,qBAAqB;YAC/B,kBAAkB,EAAE,SAAS,CAAC,EAAE;YAChC,oBAAoB,EAAE,SAAS,CAAC,EAAE;YAClC,yBAAyB,EAAE,SAAS,CAAC,OAAO;YAC5C,MAAM;YACN,GAAG,OAAO,EAAE,kBAAkB;SACrB,CAAC,CAAA;QAEd,uBAAuB;QACvB,KAAK,MAAM,CAAC,YAAY,EAAE,YAAY,CAAC,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;YAC7D,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC;gBACvB,QAAQ,EAAE,YAAY;gBACtB,kBAAkB,EAAE,YAAY;gBAChC,oBAAoB,EAAE,SAAS,CAAC,EAAE;gBAClC,yBAAyB,EAAE,SAAS,CAAC,OAAO;gBAC5C,MAAM;gBACN,GAAG,OAAO,EAAE,iBAAiB;aAChB,CAAC,CAAA;QACtB,CAAC;QAED,0BAA0B;QAC1B,KAAK,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC,IAAI,UAAU,CAAC,WAAW,EAAE,CAAC;YAC1D,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC;gBAC1B,QAAQ,EAAE,SAAS;gBACnB,kBAAkB,EAAE,SAAS;gBAC7B,oBAAoB,EAAE,SAAS,CAAC,EAAE;gBAClC,yBAAyB,EAAE,SAAS,CAAC,OAAO;gBAC5C,MAAM;gBACN,mBAAmB,EAAE,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAE;gBACrD,GAAG,OAAO,EAAE,oBAAoB;aACtB,CAAC,CAAA;QACnB,CAAC;QAED,wBAAwB;QACxB,KAAK,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,UAAU,CAAC,SAAS,EAAE,CAAC;YACtD,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC;gBACxB,QAAQ,EAAE,QAAQ;gBAClB,kBAAkB,EAAE,QAAQ;gBAC5B,oBAAoB,EAAE,SAAS,CAAC,EAAE;gBAClC,yBAAyB,EAAE,SAAS,CAAC,OAAO;gBAC5C,MAAM;gBACN,GAAG,OAAO,EAAE,kBAAkB;aACrB,CAAC,CAAA;QAClB,CAAC;QAED,qBAAqB;QACrB,KAAK,MAAM,CAAC,eAAe,EAAE,aAAa,CAAC,IAAI,UAAU,EAAE,CAAC;YACxD,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;gBACrB,QAAQ,EAAE,aAAa;gBACvB,kBAAkB,EAAE,eAAe;gBACnC,oBAAoB,EAAE,SAAS,CAAC,EAAE;gBAClC,yBAAyB,EAAE,SAAS,CAAC,OAAO;gBAC5C,MAAM;gBACN,uBAAuB,EAAE,eAAe,CAAC,GAAG,CAAC,eAAe,CAAE;gBAC9D,GAAG,OAAO,EAAE,eAAe;aAChB,CAAC,CAAA;QACpB,CAAC;QAED,sBAAsB;QACtB,KAAK,MAAM,CAAC,gBAAgB,EAAE,cAAc,CAAC,IAAI,WAAW,EAAE,CAAC;YAC3D,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;gBACtB,QAAQ,EAAE,cAAc;gBACxB,kBAAkB,EAAE,gBAAgB;gBACpC,oBAAoB,EAAE,SAAS,CAAC,EAAE;gBAClC,yBAAyB,EAAE,SAAS,CAAC,OAAO;gBAC5C,MAAM;gBACN,uBAAuB,EACnB,gBAAgB,CAAC,GAAG,CAAC,gBAAgB,CAAE;gBAC3C,GAAG,OAAO,EAAE,gBAAgB;aAChB,CAAC,CAAA;QACrB,CAAC;QAED,kBAAkB;QAClB,OAAO;YACH,MAAM,EAAE,WAAW;YACnB,UAAU;YACV,UAAU;YACV,WAAW;YACX,YAAY;SACf,CAAA;IACL,CAAC;IAED;;;;;;;;;;;OAWG;IACI,aAAa,CAChB,WAAmB,EACnB,WAAmB,EACnB,OAAuD;QAEvD,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;QAC/C,IAAI,CAAC,OAAO,EAAE,CAAC;YACX,MAAM,IAAI,KAAK,CAAC,aAAa,WAAW,cAAc,CAAC,CAAA;QAC3D,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;QAC/C,IAAI,CAAC,OAAO,EAAE,CAAC;YACX,MAAM,IAAI,KAAK,CAAC,aAAa,WAAW,cAAc,CAAC,CAAA;QAC3D,CAAC;QAED,8CAA8C;QAC9C,MAAM,kBAAkB,GAAG,CAAC,CAAW,EAAE,CAAW,EAAW,EAAE;YAC7D,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;YAC5C,OAAO,MAAM,EAAE,kBAAkB,KAAK,CAAC,CAAC,EAAE,CAAA;QAC9C,CAAC,CAAA;QACD,MAAM,mBAAmB,GAAG,CAAC,CAAO,EAAE,CAAO,EAAW,EAAE;YACtD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;YAC7C,OAAO,MAAM,EAAE,kBAAkB,KAAK,CAAC,CAAC,EAAE,CAAA;QAC9C,CAAC,CAAA;QACD,MAAM,qBAAqB,GAAG,CAAC,CAAQ,EAAE,CAAQ,EAAW,EAAE;YAC1D,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;YAC/C,OAAO,MAAM,EAAE,kBAAkB,KAAK,CAAC,CAAC,EAAE,CAAA;QAC9C,CAAC,CAAA;QAED,wDAAwD;QACxD,OAAO,uBAAuB,CAAC,OAAO,EAAE,OAAO,EAAE;YAC7C,GAAG,OAAO;YACV,cAAc,EAAE,OAAO,EAAE,cAAc,IAAI,kBAAkB;YAC7D,eAAe,EAAE,OAAO,EAAE,eAAe,IAAI,mBAAmB;YAChE,iBAAiB,EACb,OAAO,EAAE,iBAAiB,IAAI,qBAAqB;SAC1D,CAAC,CAAA;IACN,CAAC;CACJ"}
|
|
@@ -0,0 +1,15 @@
|
|
|
1
|
+
import type { ArgumentEngine } from "./argument-engine.js";
|
|
2
|
+
import type { PremiseEngine } from "./premise-engine.js";
|
|
3
|
+
import type { TCorePremiseProfile, TCorePremiseRelationshipAnalysis } from "../types/relationships.js";
|
|
4
|
+
/**
|
|
5
|
+
* Builds a profile of a premise's variable appearances, recording each
|
|
6
|
+
* variable's side (antecedent/consequent) and polarity (positive/negative).
|
|
7
|
+
*/
|
|
8
|
+
export declare function buildPremiseProfile(premise: PremiseEngine): TCorePremiseProfile;
|
|
9
|
+
/**
|
|
10
|
+
* Analyzes how every other premise in the argument relates to the focused
|
|
11
|
+
* premise, classifying each as supporting, contradicting, restricting,
|
|
12
|
+
* downstream, or unrelated.
|
|
13
|
+
*/
|
|
14
|
+
export declare function analyzePremiseRelationships(engine: ArgumentEngine, focusedPremiseId: string): TCorePremiseRelationshipAnalysis;
|
|
15
|
+
//# sourceMappingURL=relationships.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"relationships.d.ts","sourceRoot":"","sources":["../../../src/lib/core/relationships.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAC1D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACxD,OAAO,KAAK,EAER,mBAAmB,EAGnB,gCAAgC,EAEnC,MAAM,2BAA2B,CAAA;AAuClC;;;GAGG;AACH,wBAAgB,mBAAmB,CAC/B,OAAO,EAAE,aAAa,GACvB,mBAAmB,CAyBrB;AAwPD;;;;GAIG;AACH,wBAAgB,2BAA2B,CACvC,MAAM,EAAE,cAAc,EACtB,gBAAgB,EAAE,MAAM,GACzB,gCAAgC,CAyHlC"}
|