@proposit/proposit-core 0.11.1 → 0.11.2

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.
@@ -92,8 +92,10 @@ export declare class ManagedDerivationPremiseEngine<TArg extends TCoreArgument =
92
92
  * - n = 0: no change. Premise stays in its current form (typically
93
93
  * naked-Q, indicating "no support given").
94
94
  * - n = 1: produces `IMPLIES(VariableExpression(S1), VariableExpression(Q))`.
95
- * - n ≥ 2: produces `IMPLIES(OR(VariableExpression(S1), …,
96
- * VariableExpression(Sn)), VariableExpression(Q))`.
95
+ * - n ≥ 2: produces `IMPLIES(formula(OR(VariableExpression(S1), …,
96
+ * VariableExpression(Sn))), VariableExpression(Q))`. The formula
97
+ * buffer between IMPLIES and OR is auto-inserted by the engine's
98
+ * standard grammar (`wrapInsertFormula`).
97
99
  *
98
100
  * Materializes a claim-bound variable for each cited source via
99
101
  * `argumentEngine.ensureClaimBoundVariable(citation.sourceClaimId)`.
@@ -101,11 +103,10 @@ export declare class ManagedDerivationPremiseEngine<TArg extends TCoreArgument =
101
103
  * **Tree construction approach:** Mutations are performed via `super.*`
102
104
  * calls, bypassing this class's overrides (which call `assertWellFormed()`
103
105
  * after every mutation and would reject intermediate states during
104
- * multi-step construction). For n 2 the grammar is temporarily switched
105
- * to `PERMISSIVE_GRAMMAR_CONFIG` so that the OR operator can sit directly
106
- * under IMPLIES without triggering an auto-inserted formula buffer. The
107
- * grammar is restored and `assertWellFormed()` is called at the end to
108
- * validate the final state.
106
+ * multi-step construction). Standard grammar is used throughout the
107
+ * engine's `wrapInsertFormula` rule inserts a formula buffer between
108
+ * IMPLIES and OR for n 2 automatically. `assertWellFormed()` is called
109
+ * at the end to validate the final state.
109
110
  *
110
111
  * @throws InvariantViolationError(DERIVATION_ANTECEDENT_NON_EMPTY) when the
111
112
  * derivation premise already has a non-empty antecedent (i.e., the
@@ -1 +1 @@
1
- {"version":3,"file":"managed-derivation-premise-engine.d.ts","sourceRoot":"","sources":["../../../src/lib/core/managed-derivation-premise-engine.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,KAAK,aAAa,EAElB,KAAK,wBAAwB,EAC7B,KAAK,YAAY,EACjB,KAAK,4BAA4B,EACjC,KAAK,0BAA0B,EAC/B,KAAK,iBAAiB,EACtB,KAAK,mBAAmB,EAC3B,MAAM,sBAAsB,CAAA;AAC7B,OAAO,EAAE,aAAa,EAAE,KAAK,sBAAsB,EAAE,MAAM,qBAAqB,CAAA;AAChF,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EAEH,KAAK,mBAAmB,EAC3B,MAAM,sBAAsB,CAAA;AAE7B;;;;GAIG;AACH,MAAM,MAAM,qBAAqB,GAAG;IAChC,wBAAwB,CAAC,OAAO,EAAE,MAAM,GAAG,mBAAmB,CAAA;CACjE,CAAA;AACD,OAAO,EAEH,KAAK,cAAc,EACtB,MAAM,qBAAqB,CAAA;AAU5B,OAAO,KAAK,EACR,gBAAgB,EAChB,0BAA0B,EAC1B,iBAAiB,EACpB,MAAM,yBAAyB,CAAA;AAChC,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAC/D,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAA;AAEvE;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,qBAAa,8BAA8B,CACvC,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,CACtE,SAAQ,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC;IAChD;;;;;;OAMG;IACH,OAAO,CAAC,YAAY,CAAc;gBAG9B,OAAO,EAAE,iBAAiB,CAAC,QAAQ,CAAC,EACpC,IAAI,EAAE;QACF,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,CAAA;QACjC,SAAS,EAAE,eAAe,CAAC,IAAI,CAAC,CAAA;QAChC,eAAe,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;KACxC,EACD,MAAM,CAAC,EAAE,mBAAmB;IAWhC;;;;;;;;;OASG;IACH,MAAM,CAAC,YAAY,CACf,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GACtC,4BAA4B,EAChC,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EAEpE,QAAQ,EAAE,sBAAsB,CAAC,QAAQ,EAAE,KAAK,CAAC,EACjD,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,EACjC,SAAS,EAAE,eAAe,CAAC,IAAI,CAAC,EAChC,eAAe,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EACrC,aAAa,CAAC,EAAE,cAAc,EAC9B,UAAU,CAAC,EAAE,MAAM,MAAM,GAC1B,8BAA8B,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC;IA8C9D;;;OAGG;IACH,SAAS,CAAC,oBAAoB,IAAI,IAAI;IActC;;;;OAIG;IACH,SAAS,CAAC,gBAAgB,IAAI,IAAI;IAuBlB,aAAa,CACzB,UAAU,EAAE,gBAAgB,CAAC,KAAK,CAAC,GACpC,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAM1C,gBAAgB,CAC5B,QAAQ,EAAE,MAAM,GAAG,IAAI,EACvB,UAAU,EAAE,0BAA0B,CAAC,KAAK,CAAC,GAC9C,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAM1C,qBAAqB,CACjC,SAAS,EAAE,MAAM,EACjB,gBAAgB,EAAE,QAAQ,GAAG,OAAO,EACpC,UAAU,EAAE,0BAA0B,CAAC,KAAK,CAAC,GAC9C,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAU1C,gBAAgB,CAC5B,YAAY,EAAE,MAAM,EACpB,OAAO,EAAE,iBAAiB,GAC3B,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAO1C,gBAAgB,CAC5B,YAAY,EAAE,MAAM,EACpB,aAAa,EAAE,OAAO,GACvB,mBAAmB,CAAC,KAAK,GAAG,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAOtD,gBAAgB,CAC5B,UAAU,EAAE,gBAAgB,CAAC,KAAK,CAAC,EACnC,UAAU,CAAC,EAAE,MAAM,EACnB,WAAW,CAAC,EAAE,MAAM,GACrB,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAW1C,cAAc,CAC1B,YAAY,EAAE,MAAM,EACpB,WAAW,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,GAC7B,mBAAmB,CAAC,KAAK,GAAG,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAOjD,cAAc,CAC1B,QAAQ,EAAE,0BAA0B,CAAC,KAAK,CAAC,EAC3C,UAAU,EAAE,0BAA0B,CAAC,KAAK,CAAC,EAC7C,UAAU,CAAC,EAAE,MAAM,EACnB,WAAW,CAAC,EAAE,MAAM,GACrB,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAc1C,cAAc,CAC1B,YAAY,EAAE,MAAM,EACpB,WAAW,EAAE,wBAAwB,EACrC,aAAa,CAAC,EAAE,MAAM,EACtB,aAAa,CAAC,EAAE,MAAM,EACtB,WAAW,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,GAC7B,mBAAmB,CAAC,KAAK,GAAG,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAajD,oBAAoB,IAAI,mBAAmB,CACvD,IAAI,EACJ,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAQe,eAAe,CAC3B,WAAW,EAAE,gBAAgB,CAAC,KAAK,CAAC,EAAE,GACvC,IAAI;IA2BP;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA6BG;IACI,qBAAqB,CACxB,WAAW,EAAE,oBAAoB,EACjC,cAAc,EAAE,qBAAqB,GACtC,IAAI;IA+IP;;;;;;;OAOG;IACH,OAAO,CAAC,yBAAyB;IA0BjC;;;;;;;;;;OAUG;IACH,OAAO,CAAC,uBAAuB;IAwC/B;;;OAGG;IACH,OAAO,CAAC,6BAA6B;IAerC;;;OAGG;IACH,OAAO,CAAC,0BAA0B;IAwBlC;;;OAGG;IACH,OAAO,CAAC,6BAA6B;CA4BxC"}
1
+ {"version":3,"file":"managed-derivation-premise-engine.d.ts","sourceRoot":"","sources":["../../../src/lib/core/managed-derivation-premise-engine.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,KAAK,aAAa,EAElB,KAAK,wBAAwB,EAC7B,KAAK,YAAY,EACjB,KAAK,4BAA4B,EACjC,KAAK,0BAA0B,EAC/B,KAAK,iBAAiB,EACtB,KAAK,mBAAmB,EAC3B,MAAM,sBAAsB,CAAA;AAC7B,OAAO,EAAE,aAAa,EAAE,KAAK,sBAAsB,EAAE,MAAM,qBAAqB,CAAA;AAChF,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EAEH,KAAK,mBAAmB,EAC3B,MAAM,sBAAsB,CAAA;AAE7B;;;;GAIG;AACH,MAAM,MAAM,qBAAqB,GAAG;IAChC,wBAAwB,CAAC,OAAO,EAAE,MAAM,GAAG,mBAAmB,CAAA;CACjE,CAAA;AACD,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,qBAAqB,CAAA;AAUzD,OAAO,KAAK,EACR,gBAAgB,EAChB,0BAA0B,EAC1B,iBAAiB,EACpB,MAAM,yBAAyB,CAAA;AAChC,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAC/D,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAA;AAEvE;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,qBAAa,8BAA8B,CACvC,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,CACtE,SAAQ,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC;IAChD;;;;;;OAMG;IACH,OAAO,CAAC,YAAY,CAAc;gBAG9B,OAAO,EAAE,iBAAiB,CAAC,QAAQ,CAAC,EACpC,IAAI,EAAE;QACF,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,CAAA;QACjC,SAAS,EAAE,eAAe,CAAC,IAAI,CAAC,CAAA;QAChC,eAAe,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;KACxC,EACD,MAAM,CAAC,EAAE,mBAAmB;IAWhC;;;;;;;;;OASG;IACH,MAAM,CAAC,YAAY,CACf,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GACtC,4BAA4B,EAChC,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EAEpE,QAAQ,EAAE,sBAAsB,CAAC,QAAQ,EAAE,KAAK,CAAC,EACjD,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,EACjC,SAAS,EAAE,eAAe,CAAC,IAAI,CAAC,EAChC,eAAe,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EACrC,aAAa,CAAC,EAAE,cAAc,EAC9B,UAAU,CAAC,EAAE,MAAM,MAAM,GAC1B,8BAA8B,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC;IA8C9D;;;OAGG;IACH,SAAS,CAAC,oBAAoB,IAAI,IAAI;IActC;;;;OAIG;IACH,SAAS,CAAC,gBAAgB,IAAI,IAAI;IAuBlB,aAAa,CACzB,UAAU,EAAE,gBAAgB,CAAC,KAAK,CAAC,GACpC,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAM1C,gBAAgB,CAC5B,QAAQ,EAAE,MAAM,GAAG,IAAI,EACvB,UAAU,EAAE,0BAA0B,CAAC,KAAK,CAAC,GAC9C,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAM1C,qBAAqB,CACjC,SAAS,EAAE,MAAM,EACjB,gBAAgB,EAAE,QAAQ,GAAG,OAAO,EACpC,UAAU,EAAE,0BAA0B,CAAC,KAAK,CAAC,GAC9C,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAU1C,gBAAgB,CAC5B,YAAY,EAAE,MAAM,EACpB,OAAO,EAAE,iBAAiB,GAC3B,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAO1C,gBAAgB,CAC5B,YAAY,EAAE,MAAM,EACpB,aAAa,EAAE,OAAO,GACvB,mBAAmB,CAAC,KAAK,GAAG,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAOtD,gBAAgB,CAC5B,UAAU,EAAE,gBAAgB,CAAC,KAAK,CAAC,EACnC,UAAU,CAAC,EAAE,MAAM,EACnB,WAAW,CAAC,EAAE,MAAM,GACrB,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAW1C,cAAc,CAC1B,YAAY,EAAE,MAAM,EACpB,WAAW,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,GAC7B,mBAAmB,CAAC,KAAK,GAAG,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAOjD,cAAc,CAC1B,QAAQ,EAAE,0BAA0B,CAAC,KAAK,CAAC,EAC3C,UAAU,EAAE,0BAA0B,CAAC,KAAK,CAAC,EAC7C,UAAU,CAAC,EAAE,MAAM,EACnB,WAAW,CAAC,EAAE,MAAM,GACrB,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAc1C,cAAc,CAC1B,YAAY,EAAE,MAAM,EACpB,WAAW,EAAE,wBAAwB,EACrC,aAAa,CAAC,EAAE,MAAM,EACtB,aAAa,CAAC,EAAE,MAAM,EACtB,WAAW,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,GAC7B,mBAAmB,CAAC,KAAK,GAAG,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAajD,oBAAoB,IAAI,mBAAmB,CACvD,IAAI,EACJ,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAQe,eAAe,CAC3B,WAAW,EAAE,gBAAgB,CAAC,KAAK,CAAC,EAAE,GACvC,IAAI;IA2BP;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA8BG;IACI,qBAAqB,CACxB,WAAW,EAAE,oBAAoB,EACjC,cAAc,EAAE,qBAAqB,GACtC,IAAI;IA2IP;;;;;;;OAOG;IACH,OAAO,CAAC,yBAAyB;IA0BjC;;;;;;;;;;OAUG;IACH,OAAO,CAAC,uBAAuB;IAwC/B;;;OAGG;IACH,OAAO,CAAC,6BAA6B;IAerC;;;OAGG;IACH,OAAO,CAAC,0BAA0B;IAwBlC;;;OAGG;IACH,OAAO,CAAC,6BAA6B;CA4BxC"}
@@ -2,7 +2,7 @@ import {} from "../schemata/index.js";
2
2
  import { PremiseEngine } from "./premise-engine.js";
3
3
  import { VariableManager } from "./variable-manager.js";
4
4
  import { defaultGenerateId, } from "./argument-engine.js";
5
- import { PERMISSIVE_GRAMMAR_CONFIG, } from "../types/grammar.js";
5
+ import {} from "../types/grammar.js";
6
6
  import { DERIVATION_TYPE_MISMATCH, DERIVATION_STRUCTURE_INVALID, DERIVATION_CONSEQUENT_LOCKED, DERIVATION_ROOT_OPERATOR_INVALID, DERIVATION_ANTECEDENT_NON_EMPTY, } from "../types/validation.js";
7
7
  import { InvariantViolationError } from "./invariant-violation-error.js";
8
8
  import { validateDerivationStructure } from "../utils/derivation-validation.js";
@@ -214,8 +214,10 @@ export class ManagedDerivationPremiseEngine extends PremiseEngine {
214
214
  * - n = 0: no change. Premise stays in its current form (typically
215
215
  * naked-Q, indicating "no support given").
216
216
  * - n = 1: produces `IMPLIES(VariableExpression(S1), VariableExpression(Q))`.
217
- * - n ≥ 2: produces `IMPLIES(OR(VariableExpression(S1), …,
218
- * VariableExpression(Sn)), VariableExpression(Q))`.
217
+ * - n ≥ 2: produces `IMPLIES(formula(OR(VariableExpression(S1), …,
218
+ * VariableExpression(Sn))), VariableExpression(Q))`. The formula
219
+ * buffer between IMPLIES and OR is auto-inserted by the engine's
220
+ * standard grammar (`wrapInsertFormula`).
219
221
  *
220
222
  * Materializes a claim-bound variable for each cited source via
221
223
  * `argumentEngine.ensureClaimBoundVariable(citation.sourceClaimId)`.
@@ -223,11 +225,10 @@ export class ManagedDerivationPremiseEngine extends PremiseEngine {
223
225
  * **Tree construction approach:** Mutations are performed via `super.*`
224
226
  * calls, bypassing this class's overrides (which call `assertWellFormed()`
225
227
  * after every mutation and would reject intermediate states during
226
- * multi-step construction). For n 2 the grammar is temporarily switched
227
- * to `PERMISSIVE_GRAMMAR_CONFIG` so that the OR operator can sit directly
228
- * under IMPLIES without triggering an auto-inserted formula buffer. The
229
- * grammar is restored and `assertWellFormed()` is called at the end to
230
- * validate the final state.
228
+ * multi-step construction). Standard grammar is used throughout the
229
+ * engine's `wrapInsertFormula` rule inserts a formula buffer between
230
+ * IMPLIES and OR for n 2 automatically. `assertWellFormed()` is called
231
+ * at the end to validate the final state.
231
232
  *
232
233
  * @throws InvariantViolationError(DERIVATION_ANTECEDENT_NON_EMPTY) when the
233
234
  * derivation premise already has a non-empty antecedent (i.e., the
@@ -316,51 +317,46 @@ export class ManagedDerivationPremiseEngine extends PremiseEngine {
316
317
  super.wrapExpression(impliesOp, s1VarExpr, undefined, qRootExprId);
317
318
  }
318
319
  else {
319
- // n ≥ 2: build IMPLIES(OR(S1,...,Sn), Q).
320
- // Temporarily use permissive grammar so OR can sit directly under
321
- // IMPLIES without an auto-inserted formula buffer.
322
- const savedGrammarConfig = this.grammarConfig;
323
- this.setGrammarConfig(PERMISSIVE_GRAMMAR_CONFIG);
324
- try {
325
- const impliesId = this.generateIdFn();
326
- const orId = this.generateIdFn();
327
- const impliesOp = {
328
- id: impliesId,
329
- argumentId: argId,
330
- argumentVersion: argVersion,
331
- premiseId,
332
- parentId: null,
333
- type: "operator",
334
- operator: "implies",
335
- };
336
- const orOp = {
337
- id: orId,
320
+ // n ≥ 2: build IMPLIES(formula(OR(S1,...,Sn)), Q). Standard grammar
321
+ // throughout the engine's wrapInsertFormula rule auto-inserts a
322
+ // formula buffer between IMPLIES and OR. The OR keeps its original
323
+ // ID, so subsequent appendExpression(orId, ...) calls still attach
324
+ // the source variables to the same OR node.
325
+ const impliesId = this.generateIdFn();
326
+ const orId = this.generateIdFn();
327
+ const impliesOp = {
328
+ id: impliesId,
329
+ argumentId: argId,
330
+ argumentVersion: argVersion,
331
+ premiseId,
332
+ parentId: null,
333
+ type: "operator",
334
+ operator: "implies",
335
+ };
336
+ const orOp = {
337
+ id: orId,
338
+ argumentId: argId,
339
+ argumentVersion: argVersion,
340
+ premiseId,
341
+ parentId: null, // wrapExpression sets the parentId internally
342
+ type: "operator",
343
+ operator: "or",
344
+ };
345
+ // rightNodeId=qRootExprId: Q → midpoint (consequent), OR → initial (antecedent).
346
+ super.wrapExpression(impliesOp, orOp, undefined, qRootExprId);
347
+ // Append each source variable expression as a child of OR.
348
+ for (const sourceVar of sourceVariables) {
349
+ const srcExprId = this.generateIdFn();
350
+ const srcVarExpr = {
351
+ id: srcExprId,
338
352
  argumentId: argId,
339
353
  argumentVersion: argVersion,
340
354
  premiseId,
341
- parentId: null, // wrapExpression sets the parentId internally
342
- type: "operator",
343
- operator: "or",
355
+ parentId: orId,
356
+ type: "variable",
357
+ variableId: sourceVar.id,
344
358
  };
345
- // rightNodeId=qRootExprId: Q → midpoint (consequent), OR → initial (antecedent).
346
- super.wrapExpression(impliesOp, orOp, undefined, qRootExprId);
347
- // Append each source variable expression as a child of OR.
348
- for (const sourceVar of sourceVariables) {
349
- const srcExprId = this.generateIdFn();
350
- const srcVarExpr = {
351
- id: srcExprId,
352
- argumentId: argId,
353
- argumentVersion: argVersion,
354
- premiseId,
355
- parentId: orId,
356
- type: "variable",
357
- variableId: sourceVar.id,
358
- };
359
- super.appendExpression(orId, srcVarExpr);
360
- }
361
- }
362
- finally {
363
- this.setGrammarConfig(savedGrammarConfig);
359
+ super.appendExpression(orId, srcVarExpr);
364
360
  }
365
361
  }
366
362
  // 5. Validate the final tree is well-formed.
@@ -1 +1 @@
1
- {"version":3,"file":"managed-derivation-premise-engine.js","sourceRoot":"","sources":["../../../src/lib/core/managed-derivation-premise-engine.ts"],"names":[],"mappings":"AAAA,OAAO,EASN,MAAM,sBAAsB,CAAA;AAC7B,OAAO,EAAE,aAAa,EAA+B,MAAM,qBAAqB,CAAA;AAChF,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EACH,iBAAiB,GAEpB,MAAM,sBAAsB,CAAA;AAU7B,OAAO,EACH,yBAAyB,GAE5B,MAAM,qBAAqB,CAAA;AAC5B,OAAO,EACH,wBAAwB,EACxB,4BAA4B,EAC5B,4BAA4B,EAC5B,gCAAgC,EAChC,+BAA+B,GAClC,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAA;AACxE,OAAO,EAAE,2BAA2B,EAAE,MAAM,mCAAmC,CAAA;AAS/E;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,OAAO,8BAKX,SAAQ,aAA0C;IAChD;;;;;;OAMG;IACK,YAAY,CAAc;IAElC,YACI,OAAoC,EACpC,IAIC,EACD,MAA4B;QAE5B,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,CAAA;QAC5B,IAAI,CAAC,YAAY,GAAG,MAAM,EAAE,UAAU,IAAI,iBAAiB,CAAA;QAC3D,6DAA6D;QAC7D,uEAAuE;QACvE,qEAAqE;QACrE,iCAAiC;QACjC,IAAI,CAAC,oBAAoB,EAAE,CAAA;IAC/B,CAAC;IAED;;;;;;;;;OASG;IACH,MAAM,CAAC,YAAY,CAOf,QAAiD,EACjD,QAAiC,EACjC,SAAgC,EAChC,eAAqC,EACrC,aAA8B,EAC9B,UAAyB;QAEzB,oDAAoD;QACpD,MAAM,WAAW,GAAI,QAAQ,CAAC,OAAwB,CAAC,IAAI,CAAA;QAC3D,IAAI,WAAW,KAAK,YAAY,EAAE,CAAC;YAC/B,MAAM,IAAI,uBAAuB,CAAC;gBAC9B;oBACI,IAAI,EAAE,wBAAwB;oBAC9B,OAAO,EAAE,GAAG,wBAAwB,oFAAoF,WAAW,IAAI;oBACvI,UAAU,EAAE,SAAS;oBACrB,QAAQ,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE;iBAChC;aACJ,CAAC,CAAA;QACN,CAAC;QAED,uEAAuE;QACvE,2DAA2D;QAC3D,MAAM,EAAE,GAAG,aAAa,CAAC,YAAY,CACjC,QAAQ,EACR,QAAQ,EACR,SAAS,EACT,eAAe,EACf,aAAa,EACb,UAAU,CACb,CAAA;QAED,iDAAiD;QACjD,sEAAsE;QACtE,MAAM,CAAC,cAAc,CAAC,EAAE,EAAE,8BAA8B,CAAC,SAAS,CAAC,CAAA;QACnE,MAAM,MAAM,GAAG,EAKd,CAAA;QAED,sEAAsE;QACtE,qDAAqD;QACrD,MAAM,CAAC,YAAY,GAAG,UAAU,IAAI,iBAAiB,CAAA;QAErD,uEAAuE;QACvE,yEAAyE;QACzE,MAAM,CAAC,gBAAgB,EAAE,CAAA;QAEzB,OAAO,MAAM,CAAA;IACjB,CAAC;IAED;;;OAGG;IACO,oBAAoB;QAC1B,MAAM,OAAO,GAAG,IAAI,CAAC,OAAuB,CAAA;QAC5C,IAAI,OAAO,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAChC,MAAM,IAAI,uBAAuB,CAAC;gBAC9B;oBACI,IAAI,EAAE,wBAAwB;oBAC9B,OAAO,EAAE,GAAG,wBAAwB,oFAAoF,OAAO,CAAC,IAAI,IAAI;oBACxI,UAAU,EAAE,SAAS;oBACrB,QAAQ,EAAE,OAAO,CAAC,EAAE;iBACvB;aACJ,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IAED;;;;OAIG;IACO,gBAAgB;QACtB,MAAM,MAAM,GAAG,2BAA2B,CACtC,IAAI,CAAC,OAAiC,EACtC,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,EAC1B,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,CAC3B,CAAA;QACD,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/B,oEAAoE;YACpE,mEAAmE;YACnE,mEAAmE;YACnE,kBAAkB;YAClB,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC3C,GAAG,CAAC;gBACJ,OAAO,EAAE,GAAG,4BAA4B,KAAK,CAAC,CAAC,OAAO,EAAE;aAC3D,CAAC,CAAC,CAAA;YACH,MAAM,IAAI,uBAAuB,CAAC,QAAQ,CAAC,CAAA;QAC/C,CAAC;IACL,CAAC;IAED,4EAA4E;IAC5E,qEAAqE;IACrE,4EAA4E;IAE5D,aAAa,CACzB,UAAmC;QAEnC,MAAM,MAAM,GAAG,KAAK,CAAC,aAAa,CAAC,UAAU,CAAC,CAAA;QAC9C,IAAI,CAAC,gBAAgB,EAAE,CAAA;QACvB,OAAO,MAAM,CAAA;IACjB,CAAC;IAEe,gBAAgB,CAC5B,QAAuB,EACvB,UAA6C;QAE7C,MAAM,MAAM,GAAG,KAAK,CAAC,gBAAgB,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAA;QAC3D,IAAI,CAAC,gBAAgB,EAAE,CAAA;QACvB,OAAO,MAAM,CAAA;IACjB,CAAC;IAEe,qBAAqB,CACjC,SAAiB,EACjB,gBAAoC,EACpC,UAA6C;QAE7C,MAAM,MAAM,GAAG,KAAK,CAAC,qBAAqB,CACtC,SAAS,EACT,gBAAgB,EAChB,UAAU,CACb,CAAA;QACD,IAAI,CAAC,gBAAgB,EAAE,CAAA;QACvB,OAAO,MAAM,CAAA;IACjB,CAAC;IAEe,gBAAgB,CAC5B,YAAoB,EACpB,OAA0B;QAE1B,IAAI,CAAC,0BAA0B,CAAC,YAAY,EAAE,OAAO,CAAC,CAAA;QACtD,MAAM,MAAM,GAAG,KAAK,CAAC,gBAAgB,CAAC,YAAY,EAAE,OAAO,CAAC,CAAA;QAC5D,IAAI,CAAC,gBAAgB,EAAE,CAAA;QACvB,OAAO,MAAM,CAAA;IACjB,CAAC;IAEe,gBAAgB,CAC5B,YAAoB,EACpB,aAAsB;QAEtB,IAAI,CAAC,6BAA6B,CAAC,YAAY,CAAC,CAAA;QAChD,MAAM,MAAM,GAAG,KAAK,CAAC,gBAAgB,CAAC,YAAY,EAAE,aAAa,CAAC,CAAA;QAClE,IAAI,CAAC,gBAAgB,EAAE,CAAA;QACvB,OAAO,MAAM,CAAA;IACjB,CAAC;IAEe,gBAAgB,CAC5B,UAAmC,EACnC,UAAmB,EACnB,WAAoB;QAEpB,IAAI,CAAC,uBAAuB,CAAC,UAAU,CAAC,CAAA;QACxC,MAAM,MAAM,GAAG,KAAK,CAAC,gBAAgB,CACjC,UAAU,EACV,UAAU,EACV,WAAW,CACd,CAAA;QACD,IAAI,CAAC,gBAAgB,EAAE,CAAA;QACvB,OAAO,MAAM,CAAA;IACjB,CAAC;IAEe,cAAc,CAC1B,YAAoB,EACpB,WAA4B;QAE5B,IAAI,CAAC,6BAA6B,CAAC,YAAY,CAAC,CAAA;QAChD,MAAM,MAAM,GAAG,KAAK,CAAC,cAAc,CAAC,YAAY,EAAE,WAAW,CAAC,CAAA;QAC9D,IAAI,CAAC,gBAAgB,EAAE,CAAA;QACvB,OAAO,MAAM,CAAA;IACjB,CAAC;IAEe,cAAc,CAC1B,QAA2C,EAC3C,UAA6C,EAC7C,UAAmB,EACnB,WAAoB;QAEpB,8EAA8E;QAC9E,8EAA8E;QAC9E,IAAI,CAAC,6BAA6B,CAAC,CAAC,UAAU,IAAI,WAAW,CAAE,CAAC,CAAA;QAChE,MAAM,MAAM,GAAG,KAAK,CAAC,cAAc,CAC/B,QAAQ,EACR,UAAU,EACV,UAAU,EACV,WAAW,CACd,CAAA;QACD,IAAI,CAAC,gBAAgB,EAAE,CAAA;QACvB,OAAO,MAAM,CAAA;IACjB,CAAC;IAEe,cAAc,CAC1B,YAAoB,EACpB,WAAqC,EACrC,aAAsB,EACtB,aAAsB,EACtB,WAA4B;QAE5B,IAAI,CAAC,6BAA6B,CAAC,YAAY,EAAE,WAAW,CAAC,CAAA;QAC7D,MAAM,MAAM,GAAG,KAAK,CAAC,cAAc,CAC/B,YAAY,EACZ,WAAW,EACX,aAAa,EACb,aAAa,EACb,WAAW,CACd,CAAA;QACD,IAAI,CAAC,gBAAgB,EAAE,CAAA;QACvB,OAAO,MAAM,CAAA;IACjB,CAAC;IAEe,oBAAoB;QAOhC,MAAM,MAAM,GAAG,KAAK,CAAC,oBAAoB,EAAE,CAAA;QAC3C,uEAAuE;QACvE,8DAA8D;QAC9D,IAAI,CAAC,gBAAgB,EAAE,CAAA;QACvB,OAAO,MAAM,CAAA;IACjB,CAAC;IAEe,eAAe,CAC3B,WAAsC;QAEtC,mEAAmE;QACnE,sEAAsE;QACtE,sDAAsD;QACtD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAiC,CAAA;QACtD,MAAM,gBAAgB,GAAG,2BAA2B,CAChD,OAAO;QACP,2EAA2E;QAC3E,yEAAyE;QACzE,gDAAgD;QAChD,WAAwD,EACxD,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,CAC3B,CAAA;QACD,IAAI,gBAAgB,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBACrD,GAAG,CAAC;gBACJ,OAAO,EAAE,GAAG,4BAA4B,KAAK,CAAC,CAAC,OAAO,EAAE;aAC3D,CAAC,CAAC,CAAA;YACH,MAAM,IAAI,uBAAuB,CAAC,QAAQ,CAAC,CAAA;QAC/C,CAAC;QACD,KAAK,CAAC,eAAe,CAAC,WAAW,CAAC,CAAA;IACtC,CAAC;IAED,4EAA4E;IAC5E,0BAA0B;IAC1B,4EAA4E;IAE5E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA6BG;IACI,qBAAqB,CACxB,WAAiC,EACjC,cAAqC;QAErC,MAAM,OAAO,GAAG,IAAI,CAAC,OAAiC,CAAA;QACtD,MAAM,cAAc,GAAG,OAAO,CAAC,cAAc,CAAA;QAE7C,gDAAgD;QAChD,MAAM,MAAM,GAAG,IAAI,CAAC,gBAAgB,CAAA;QACpC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,MAAM,CAAC,CAAA;YACnD,IACI,IAAI;gBACJ,IAAI,CAAC,IAAI,KAAK,UAAU;gBACxB,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,EAC1D,CAAC;gBACC,sEAAsE;gBACtE,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW;qBAC5B,mBAAmB,CAAC,MAAM,CAAC;qBAC3B,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAA;gBAC5C,MAAM,UAAU,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;gBAC9B,IAAI,UAAU,EAAE,CAAC;oBACb,MAAM,IAAI,uBAAuB,CAAC;wBAC9B;4BACI,IAAI,EAAE,+BAA+B;4BACrC,OAAO,EAAE,GAAG,+BAA+B,yDAAyD;4BACpG,UAAU,EAAE,SAAS;4BACrB,QAAQ,EAAE,OAAO,CAAC,EAAE;4BACpB,SAAS,EAAE,OAAO,CAAC,EAAE;yBACxB;qBACJ,CAAC,CAAA;gBACN,CAAC;YACL,CAAC;QACL,CAAC;QAED,8CAA8C;QAC9C,MAAM,SAAS,GAAG,WAAW,CAAC,0BAA0B,CAAC,cAAc,CAAC,CAAA;QACxE,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;YAAE,OAAM;QAElC,+DAA+D;QAC/D,yEAAyE;QACzE,uEAAuE;QACvE,qEAAqE;QACrE,mEAAmE;QACnE,8EAA8E;QAC9E,MAAM,eAAe,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACxC,cAAc,CAAC,wBAAwB,CAAC,CAAC,CAAC,aAAa,CAAC,CAC3D,CAAA;QACD,KAAK,MAAM,EAAE,IAAI,eAAe,EAAE,CAAC;YAC/B,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;gBACrC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,EAAqB,CAAC,CAAA;YACrD,CAAC;QACL,CAAC;QAED,oEAAoE;QACpE,uEAAuE;QACvE,kEAAkE;QAClE,MAAM,KAAK,GAAI,IAAI,CAAC,OAAwB,CAAC,UAAU,CAAA;QACvD,MAAM,UAAU,GAAI,IAAI,CAAC,OAAwB,CAAC,eAAe,CAAA;QACjE,MAAM,SAAS,GAAI,IAAI,CAAC,OAAwB,CAAC,EAAE,CAAA;QAEnD,yEAAyE;QACzE,MAAM,WAAW,GAAG,IAAI,CAAC,gBAAiB,CAAA;QAE1C,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzB,qEAAqE;YACrE,iEAAiE;YACjE,MAAM,SAAS,GAAG,IAAI,CAAC,YAAY,EAAE,CAAA;YACrC,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,EAAE,CAAA;YACpC,MAAM,SAAS,GAAG;gBACd,EAAE,EAAE,SAAS;gBACb,UAAU,EAAE,KAAK;gBACjB,eAAe,EAAE,UAAU;gBAC3B,SAAS;gBACT,QAAQ,EAAE,IAAI;gBACd,IAAI,EAAE,UAAmB;gBACzB,QAAQ,EAAE,SAAkB;aACM,CAAA;YACtC,MAAM,SAAS,GAAG;gBACd,EAAE,EAAE,QAAQ;gBACZ,UAAU,EAAE,KAAK;gBACjB,eAAe,EAAE,UAAU;gBAC3B,SAAS;gBACT,QAAQ,EAAE,IAAI,EAAE,8CAA8C;gBAC9D,IAAI,EAAE,UAAmB;gBACzB,UAAU,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE;aACC,CAAA;YACtC,sEAAsE;YACtE,0CAA0C;YAC1C,KAAK,CAAC,cAAc,CAAC,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,WAAW,CAAC,CAAA;QACtE,CAAC;aAAM,CAAC;YACJ,0CAA0C;YAC1C,kEAAkE;YAClE,mDAAmD;YACnD,MAAM,kBAAkB,GAAG,IAAI,CAAC,aAAa,CAAA;YAC7C,IAAI,CAAC,gBAAgB,CAAC,yBAAyB,CAAC,CAAA;YAChD,IAAI,CAAC;gBACD,MAAM,SAAS,GAAG,IAAI,CAAC,YAAY,EAAE,CAAA;gBACrC,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,EAAE,CAAA;gBAChC,MAAM,SAAS,GAAG;oBACd,EAAE,EAAE,SAAS;oBACb,UAAU,EAAE,KAAK;oBACjB,eAAe,EAAE,UAAU;oBAC3B,SAAS;oBACT,QAAQ,EAAE,IAAI;oBACd,IAAI,EAAE,UAAmB;oBACzB,QAAQ,EAAE,SAAkB;iBACM,CAAA;gBACtC,MAAM,IAAI,GAAG;oBACT,EAAE,EAAE,IAAI;oBACR,UAAU,EAAE,KAAK;oBACjB,eAAe,EAAE,UAAU;oBAC3B,SAAS;oBACT,QAAQ,EAAE,IAAI,EAAE,8CAA8C;oBAC9D,IAAI,EAAE,UAAmB;oBACzB,QAAQ,EAAE,IAAa;iBACW,CAAA;gBACtC,iFAAiF;gBACjF,KAAK,CAAC,cAAc,CAAC,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,CAAC,CAAA;gBAC7D,2DAA2D;gBAC3D,KAAK,MAAM,SAAS,IAAI,eAAe,EAAE,CAAC;oBACtC,MAAM,SAAS,GAAG,IAAI,CAAC,YAAY,EAAE,CAAA;oBACrC,MAAM,UAAU,GAAG;wBACf,EAAE,EAAE,SAAS;wBACb,UAAU,EAAE,KAAK;wBACjB,eAAe,EAAE,UAAU;wBAC3B,SAAS;wBACT,QAAQ,EAAE,IAAI;wBACd,IAAI,EAAE,UAAmB;wBACzB,UAAU,EAAE,SAAS,CAAC,EAAE;qBACU,CAAA;oBACtC,KAAK,CAAC,gBAAgB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAA;gBAC5C,CAAC;YACL,CAAC;oBAAS,CAAC;gBACP,IAAI,CAAC,gBAAgB,CAAC,kBAAkB,CAAC,CAAA;YAC7C,CAAC;QACL,CAAC;QAED,6CAA6C;QAC7C,IAAI,CAAC,gBAAgB,EAAE,CAAA;IAC3B,CAAC;IAED,4EAA4E;IAC5E,kBAAkB;IAClB,4EAA4E;IAE5E;;;;;;;OAOG;IACK,yBAAyB;QAC7B,MAAM,MAAM,GAAG,IAAI,CAAC,gBAAgB,CAAA;QACpC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACvB,OAAO,SAAS,CAAA;QACpB,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,MAAM,CAAC,CAAA;QACnD,IAAI,CAAC,IAAI,EAAE,CAAC;YACR,OAAO,SAAS,CAAA;QACpB,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC3B,uCAAuC;YACvC,OAAO,MAAM,CAAA;QACjB,CAAC;QACD,IACI,IAAI,CAAC,IAAI,KAAK,UAAU;YACxB,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,EAC1D,CAAC;YACC,uEAAuE;YACvE,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW;iBAC5B,mBAAmB,CAAC,MAAM,CAAC;iBAC3B,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAA;YAC5C,OAAO,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,CAAA;QAC1B,CAAC;QACD,OAAO,SAAS,CAAA;IACpB,CAAC;IAED;;;;;;;;;;OAUG;IACK,uBAAuB,CAAC,UAAmC;QAC/D,MAAM,MAAM,GAAG,IAAI,CAAC,gBAAgB,CAAA;QACpC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACvB,OAAM;QACV,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,MAAM,CAAC,CAAA;QACnD,IACI,CAAC,IAAI;YACL,IAAI,CAAC,IAAI,KAAK,UAAU;YACxB,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,EAC1D,CAAC;YACC,OAAM;QACV,CAAC;QACD,+DAA+D;QAC/D,MAAM,YAAY,GAAG,IAAI,CAAC,yBAAyB,EAAE,CAAA;QACrD,IAAI,CAAC,YAAY,EAAE,CAAC;YAChB,OAAM;QACV,CAAC;QACD,yEAAyE;QACzE,yDAAyD;QACzD,IAAI,UAAU,CAAC,QAAQ,KAAK,MAAM,EAAE,CAAC;YACjC,0DAA0D;YAC1D,MAAM,cAAc,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,YAAY,CAAC,CAAA;YACnE,IACI,cAAc;gBACd,UAAU,CAAC,QAAQ,IAAI,cAAc,CAAC,QAAQ,EAChD,CAAC;gBACC,MAAM,IAAI,uBAAuB,CAAC;oBAC9B;wBACI,IAAI,EAAE,4BAA4B;wBAClC,OAAO,EAAE,GAAG,4BAA4B,gFAAgF;wBACxH,UAAU,EAAE,YAAY;wBACxB,QAAQ,EAAE,UAAU,CAAC,EAAE;wBACvB,SAAS,EAAG,IAAI,CAAC,OAAwB,CAAC,EAAE;qBAC/C;iBACJ,CAAC,CAAA;YACN,CAAC;QACL,CAAC;IACL,CAAC;IAED;;;OAGG;IACK,6BAA6B,CAAC,MAAc;QAChD,MAAM,YAAY,GAAG,IAAI,CAAC,yBAAyB,EAAE,CAAA;QACrD,IAAI,YAAY,KAAK,SAAS,IAAI,MAAM,KAAK,YAAY,EAAE,CAAC;YACxD,MAAM,IAAI,uBAAuB,CAAC;gBAC9B;oBACI,IAAI,EAAE,4BAA4B;oBAClC,OAAO,EAAE,GAAG,4BAA4B,6EAA6E;oBACrH,UAAU,EAAE,YAAY;oBACxB,QAAQ,EAAE,MAAM;oBAChB,SAAS,EAAG,IAAI,CAAC,OAAwB,CAAC,EAAE;iBAC/C;aACJ,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IAED;;;OAGG;IACK,0BAA0B,CAC9B,MAAc,EACd,OAA0B;QAE1B,MAAM,YAAY,GAAG,IAAI,CAAC,yBAAyB,EAAE,CAAA;QACrD,IAAI,YAAY,KAAK,SAAS,IAAI,MAAM,KAAK,YAAY,EAAE,CAAC;YACxD,OAAM;QACV,CAAC;QACD,IACI,OAAO,CAAC,UAAU,KAAK,SAAS;YAChC,OAAO,CAAC,QAAQ,KAAK,SAAS,EAChC,CAAC;YACC,MAAM,IAAI,uBAAuB,CAAC;gBAC9B;oBACI,IAAI,EAAE,4BAA4B;oBAClC,OAAO,EAAE,GAAG,4BAA4B,+FAA+F;oBACvI,UAAU,EAAE,YAAY;oBACxB,QAAQ,EAAE,MAAM;oBAChB,SAAS,EAAG,IAAI,CAAC,OAAwB,CAAC,EAAE;iBAC/C;aACJ,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IAED;;;OAGG;IACK,6BAA6B,CACjC,MAAc,EACd,WAAqC;QAErC,MAAM,MAAM,GAAG,IAAI,CAAC,gBAAgB,CAAA;QACpC,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;YAC5C,OAAM;QACV,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,MAAM,CAAC,CAAA;QACnD,IACI,CAAC,IAAI;YACL,IAAI,CAAC,IAAI,KAAK,UAAU;YACxB,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,EAC1D,CAAC;YACC,OAAM;QACV,CAAC;QACD,IAAI,WAAW,KAAK,SAAS,IAAI,WAAW,KAAK,KAAK,EAAE,CAAC;YACrD,MAAM,IAAI,uBAAuB,CAAC;gBAC9B;oBACI,IAAI,EAAE,gCAAgC;oBACtC,OAAO,EAAE,GAAG,gCAAgC,8DAA8D,IAAI,CAAC,QAAQ,SAAS,WAAW,0CAA0C;oBACrL,UAAU,EAAE,YAAY;oBACxB,QAAQ,EAAE,MAAM;oBAChB,SAAS,EAAG,IAAI,CAAC,OAAwB,CAAC,EAAE;iBAC/C;aACJ,CAAC,CAAA;QACN,CAAC;IACL,CAAC;CACJ"}
1
+ {"version":3,"file":"managed-derivation-premise-engine.js","sourceRoot":"","sources":["../../../src/lib/core/managed-derivation-premise-engine.ts"],"names":[],"mappings":"AAAA,OAAO,EASN,MAAM,sBAAsB,CAAA;AAC7B,OAAO,EAAE,aAAa,EAA+B,MAAM,qBAAqB,CAAA;AAChF,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EACH,iBAAiB,GAEpB,MAAM,sBAAsB,CAAA;AAU7B,OAAO,EAAuB,MAAM,qBAAqB,CAAA;AACzD,OAAO,EACH,wBAAwB,EACxB,4BAA4B,EAC5B,4BAA4B,EAC5B,gCAAgC,EAChC,+BAA+B,GAClC,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAA;AACxE,OAAO,EAAE,2BAA2B,EAAE,MAAM,mCAAmC,CAAA;AAS/E;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,OAAO,8BAKX,SAAQ,aAA0C;IAChD;;;;;;OAMG;IACK,YAAY,CAAc;IAElC,YACI,OAAoC,EACpC,IAIC,EACD,MAA4B;QAE5B,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,CAAA;QAC5B,IAAI,CAAC,YAAY,GAAG,MAAM,EAAE,UAAU,IAAI,iBAAiB,CAAA;QAC3D,6DAA6D;QAC7D,uEAAuE;QACvE,qEAAqE;QACrE,iCAAiC;QACjC,IAAI,CAAC,oBAAoB,EAAE,CAAA;IAC/B,CAAC;IAED;;;;;;;;;OASG;IACH,MAAM,CAAC,YAAY,CAOf,QAAiD,EACjD,QAAiC,EACjC,SAAgC,EAChC,eAAqC,EACrC,aAA8B,EAC9B,UAAyB;QAEzB,oDAAoD;QACpD,MAAM,WAAW,GAAI,QAAQ,CAAC,OAAwB,CAAC,IAAI,CAAA;QAC3D,IAAI,WAAW,KAAK,YAAY,EAAE,CAAC;YAC/B,MAAM,IAAI,uBAAuB,CAAC;gBAC9B;oBACI,IAAI,EAAE,wBAAwB;oBAC9B,OAAO,EAAE,GAAG,wBAAwB,oFAAoF,WAAW,IAAI;oBACvI,UAAU,EAAE,SAAS;oBACrB,QAAQ,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE;iBAChC;aACJ,CAAC,CAAA;QACN,CAAC;QAED,uEAAuE;QACvE,2DAA2D;QAC3D,MAAM,EAAE,GAAG,aAAa,CAAC,YAAY,CACjC,QAAQ,EACR,QAAQ,EACR,SAAS,EACT,eAAe,EACf,aAAa,EACb,UAAU,CACb,CAAA;QAED,iDAAiD;QACjD,sEAAsE;QACtE,MAAM,CAAC,cAAc,CAAC,EAAE,EAAE,8BAA8B,CAAC,SAAS,CAAC,CAAA;QACnE,MAAM,MAAM,GAAG,EAKd,CAAA;QAED,sEAAsE;QACtE,qDAAqD;QACrD,MAAM,CAAC,YAAY,GAAG,UAAU,IAAI,iBAAiB,CAAA;QAErD,uEAAuE;QACvE,yEAAyE;QACzE,MAAM,CAAC,gBAAgB,EAAE,CAAA;QAEzB,OAAO,MAAM,CAAA;IACjB,CAAC;IAED;;;OAGG;IACO,oBAAoB;QAC1B,MAAM,OAAO,GAAG,IAAI,CAAC,OAAuB,CAAA;QAC5C,IAAI,OAAO,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAChC,MAAM,IAAI,uBAAuB,CAAC;gBAC9B;oBACI,IAAI,EAAE,wBAAwB;oBAC9B,OAAO,EAAE,GAAG,wBAAwB,oFAAoF,OAAO,CAAC,IAAI,IAAI;oBACxI,UAAU,EAAE,SAAS;oBACrB,QAAQ,EAAE,OAAO,CAAC,EAAE;iBACvB;aACJ,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IAED;;;;OAIG;IACO,gBAAgB;QACtB,MAAM,MAAM,GAAG,2BAA2B,CACtC,IAAI,CAAC,OAAiC,EACtC,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,EAC1B,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,CAC3B,CAAA;QACD,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/B,oEAAoE;YACpE,mEAAmE;YACnE,mEAAmE;YACnE,kBAAkB;YAClB,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC3C,GAAG,CAAC;gBACJ,OAAO,EAAE,GAAG,4BAA4B,KAAK,CAAC,CAAC,OAAO,EAAE;aAC3D,CAAC,CAAC,CAAA;YACH,MAAM,IAAI,uBAAuB,CAAC,QAAQ,CAAC,CAAA;QAC/C,CAAC;IACL,CAAC;IAED,4EAA4E;IAC5E,qEAAqE;IACrE,4EAA4E;IAE5D,aAAa,CACzB,UAAmC;QAEnC,MAAM,MAAM,GAAG,KAAK,CAAC,aAAa,CAAC,UAAU,CAAC,CAAA;QAC9C,IAAI,CAAC,gBAAgB,EAAE,CAAA;QACvB,OAAO,MAAM,CAAA;IACjB,CAAC;IAEe,gBAAgB,CAC5B,QAAuB,EACvB,UAA6C;QAE7C,MAAM,MAAM,GAAG,KAAK,CAAC,gBAAgB,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAA;QAC3D,IAAI,CAAC,gBAAgB,EAAE,CAAA;QACvB,OAAO,MAAM,CAAA;IACjB,CAAC;IAEe,qBAAqB,CACjC,SAAiB,EACjB,gBAAoC,EACpC,UAA6C;QAE7C,MAAM,MAAM,GAAG,KAAK,CAAC,qBAAqB,CACtC,SAAS,EACT,gBAAgB,EAChB,UAAU,CACb,CAAA;QACD,IAAI,CAAC,gBAAgB,EAAE,CAAA;QACvB,OAAO,MAAM,CAAA;IACjB,CAAC;IAEe,gBAAgB,CAC5B,YAAoB,EACpB,OAA0B;QAE1B,IAAI,CAAC,0BAA0B,CAAC,YAAY,EAAE,OAAO,CAAC,CAAA;QACtD,MAAM,MAAM,GAAG,KAAK,CAAC,gBAAgB,CAAC,YAAY,EAAE,OAAO,CAAC,CAAA;QAC5D,IAAI,CAAC,gBAAgB,EAAE,CAAA;QACvB,OAAO,MAAM,CAAA;IACjB,CAAC;IAEe,gBAAgB,CAC5B,YAAoB,EACpB,aAAsB;QAEtB,IAAI,CAAC,6BAA6B,CAAC,YAAY,CAAC,CAAA;QAChD,MAAM,MAAM,GAAG,KAAK,CAAC,gBAAgB,CAAC,YAAY,EAAE,aAAa,CAAC,CAAA;QAClE,IAAI,CAAC,gBAAgB,EAAE,CAAA;QACvB,OAAO,MAAM,CAAA;IACjB,CAAC;IAEe,gBAAgB,CAC5B,UAAmC,EACnC,UAAmB,EACnB,WAAoB;QAEpB,IAAI,CAAC,uBAAuB,CAAC,UAAU,CAAC,CAAA;QACxC,MAAM,MAAM,GAAG,KAAK,CAAC,gBAAgB,CACjC,UAAU,EACV,UAAU,EACV,WAAW,CACd,CAAA;QACD,IAAI,CAAC,gBAAgB,EAAE,CAAA;QACvB,OAAO,MAAM,CAAA;IACjB,CAAC;IAEe,cAAc,CAC1B,YAAoB,EACpB,WAA4B;QAE5B,IAAI,CAAC,6BAA6B,CAAC,YAAY,CAAC,CAAA;QAChD,MAAM,MAAM,GAAG,KAAK,CAAC,cAAc,CAAC,YAAY,EAAE,WAAW,CAAC,CAAA;QAC9D,IAAI,CAAC,gBAAgB,EAAE,CAAA;QACvB,OAAO,MAAM,CAAA;IACjB,CAAC;IAEe,cAAc,CAC1B,QAA2C,EAC3C,UAA6C,EAC7C,UAAmB,EACnB,WAAoB;QAEpB,8EAA8E;QAC9E,8EAA8E;QAC9E,IAAI,CAAC,6BAA6B,CAAC,CAAC,UAAU,IAAI,WAAW,CAAE,CAAC,CAAA;QAChE,MAAM,MAAM,GAAG,KAAK,CAAC,cAAc,CAC/B,QAAQ,EACR,UAAU,EACV,UAAU,EACV,WAAW,CACd,CAAA;QACD,IAAI,CAAC,gBAAgB,EAAE,CAAA;QACvB,OAAO,MAAM,CAAA;IACjB,CAAC;IAEe,cAAc,CAC1B,YAAoB,EACpB,WAAqC,EACrC,aAAsB,EACtB,aAAsB,EACtB,WAA4B;QAE5B,IAAI,CAAC,6BAA6B,CAAC,YAAY,EAAE,WAAW,CAAC,CAAA;QAC7D,MAAM,MAAM,GAAG,KAAK,CAAC,cAAc,CAC/B,YAAY,EACZ,WAAW,EACX,aAAa,EACb,aAAa,EACb,WAAW,CACd,CAAA;QACD,IAAI,CAAC,gBAAgB,EAAE,CAAA;QACvB,OAAO,MAAM,CAAA;IACjB,CAAC;IAEe,oBAAoB;QAOhC,MAAM,MAAM,GAAG,KAAK,CAAC,oBAAoB,EAAE,CAAA;QAC3C,uEAAuE;QACvE,8DAA8D;QAC9D,IAAI,CAAC,gBAAgB,EAAE,CAAA;QACvB,OAAO,MAAM,CAAA;IACjB,CAAC;IAEe,eAAe,CAC3B,WAAsC;QAEtC,mEAAmE;QACnE,sEAAsE;QACtE,sDAAsD;QACtD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAiC,CAAA;QACtD,MAAM,gBAAgB,GAAG,2BAA2B,CAChD,OAAO;QACP,2EAA2E;QAC3E,yEAAyE;QACzE,gDAAgD;QAChD,WAAwD,EACxD,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,CAC3B,CAAA;QACD,IAAI,gBAAgB,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBACrD,GAAG,CAAC;gBACJ,OAAO,EAAE,GAAG,4BAA4B,KAAK,CAAC,CAAC,OAAO,EAAE;aAC3D,CAAC,CAAC,CAAA;YACH,MAAM,IAAI,uBAAuB,CAAC,QAAQ,CAAC,CAAA;QAC/C,CAAC;QACD,KAAK,CAAC,eAAe,CAAC,WAAW,CAAC,CAAA;IACtC,CAAC;IAED,4EAA4E;IAC5E,0BAA0B;IAC1B,4EAA4E;IAE5E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA8BG;IACI,qBAAqB,CACxB,WAAiC,EACjC,cAAqC;QAErC,MAAM,OAAO,GAAG,IAAI,CAAC,OAAiC,CAAA;QACtD,MAAM,cAAc,GAAG,OAAO,CAAC,cAAc,CAAA;QAE7C,gDAAgD;QAChD,MAAM,MAAM,GAAG,IAAI,CAAC,gBAAgB,CAAA;QACpC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,MAAM,CAAC,CAAA;YACnD,IACI,IAAI;gBACJ,IAAI,CAAC,IAAI,KAAK,UAAU;gBACxB,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,EAC1D,CAAC;gBACC,sEAAsE;gBACtE,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW;qBAC5B,mBAAmB,CAAC,MAAM,CAAC;qBAC3B,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAA;gBAC5C,MAAM,UAAU,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;gBAC9B,IAAI,UAAU,EAAE,CAAC;oBACb,MAAM,IAAI,uBAAuB,CAAC;wBAC9B;4BACI,IAAI,EAAE,+BAA+B;4BACrC,OAAO,EAAE,GAAG,+BAA+B,yDAAyD;4BACpG,UAAU,EAAE,SAAS;4BACrB,QAAQ,EAAE,OAAO,CAAC,EAAE;4BACpB,SAAS,EAAE,OAAO,CAAC,EAAE;yBACxB;qBACJ,CAAC,CAAA;gBACN,CAAC;YACL,CAAC;QACL,CAAC;QAED,8CAA8C;QAC9C,MAAM,SAAS,GAAG,WAAW,CAAC,0BAA0B,CAAC,cAAc,CAAC,CAAA;QACxE,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;YAAE,OAAM;QAElC,+DAA+D;QAC/D,yEAAyE;QACzE,uEAAuE;QACvE,qEAAqE;QACrE,mEAAmE;QACnE,8EAA8E;QAC9E,MAAM,eAAe,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACxC,cAAc,CAAC,wBAAwB,CAAC,CAAC,CAAC,aAAa,CAAC,CAC3D,CAAA;QACD,KAAK,MAAM,EAAE,IAAI,eAAe,EAAE,CAAC;YAC/B,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;gBACrC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,EAAqB,CAAC,CAAA;YACrD,CAAC;QACL,CAAC;QAED,oEAAoE;QACpE,uEAAuE;QACvE,kEAAkE;QAClE,MAAM,KAAK,GAAI,IAAI,CAAC,OAAwB,CAAC,UAAU,CAAA;QACvD,MAAM,UAAU,GAAI,IAAI,CAAC,OAAwB,CAAC,eAAe,CAAA;QACjE,MAAM,SAAS,GAAI,IAAI,CAAC,OAAwB,CAAC,EAAE,CAAA;QAEnD,yEAAyE;QACzE,MAAM,WAAW,GAAG,IAAI,CAAC,gBAAiB,CAAA;QAE1C,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzB,qEAAqE;YACrE,iEAAiE;YACjE,MAAM,SAAS,GAAG,IAAI,CAAC,YAAY,EAAE,CAAA;YACrC,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,EAAE,CAAA;YACpC,MAAM,SAAS,GAAG;gBACd,EAAE,EAAE,SAAS;gBACb,UAAU,EAAE,KAAK;gBACjB,eAAe,EAAE,UAAU;gBAC3B,SAAS;gBACT,QAAQ,EAAE,IAAI;gBACd,IAAI,EAAE,UAAmB;gBACzB,QAAQ,EAAE,SAAkB;aACM,CAAA;YACtC,MAAM,SAAS,GAAG;gBACd,EAAE,EAAE,QAAQ;gBACZ,UAAU,EAAE,KAAK;gBACjB,eAAe,EAAE,UAAU;gBAC3B,SAAS;gBACT,QAAQ,EAAE,IAAI,EAAE,8CAA8C;gBAC9D,IAAI,EAAE,UAAmB;gBACzB,UAAU,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE;aACC,CAAA;YACtC,sEAAsE;YACtE,0CAA0C;YAC1C,KAAK,CAAC,cAAc,CAAC,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,WAAW,CAAC,CAAA;QACtE,CAAC;aAAM,CAAC;YACJ,oEAAoE;YACpE,kEAAkE;YAClE,mEAAmE;YACnE,mEAAmE;YACnE,4CAA4C;YAC5C,MAAM,SAAS,GAAG,IAAI,CAAC,YAAY,EAAE,CAAA;YACrC,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,EAAE,CAAA;YAChC,MAAM,SAAS,GAAG;gBACd,EAAE,EAAE,SAAS;gBACb,UAAU,EAAE,KAAK;gBACjB,eAAe,EAAE,UAAU;gBAC3B,SAAS;gBACT,QAAQ,EAAE,IAAI;gBACd,IAAI,EAAE,UAAmB;gBACzB,QAAQ,EAAE,SAAkB;aACM,CAAA;YACtC,MAAM,IAAI,GAAG;gBACT,EAAE,EAAE,IAAI;gBACR,UAAU,EAAE,KAAK;gBACjB,eAAe,EAAE,UAAU;gBAC3B,SAAS;gBACT,QAAQ,EAAE,IAAI,EAAE,8CAA8C;gBAC9D,IAAI,EAAE,UAAmB;gBACzB,QAAQ,EAAE,IAAa;aACW,CAAA;YACtC,iFAAiF;YACjF,KAAK,CAAC,cAAc,CAAC,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,CAAC,CAAA;YAC7D,2DAA2D;YAC3D,KAAK,MAAM,SAAS,IAAI,eAAe,EAAE,CAAC;gBACtC,MAAM,SAAS,GAAG,IAAI,CAAC,YAAY,EAAE,CAAA;gBACrC,MAAM,UAAU,GAAG;oBACf,EAAE,EAAE,SAAS;oBACb,UAAU,EAAE,KAAK;oBACjB,eAAe,EAAE,UAAU;oBAC3B,SAAS;oBACT,QAAQ,EAAE,IAAI;oBACd,IAAI,EAAE,UAAmB;oBACzB,UAAU,EAAE,SAAS,CAAC,EAAE;iBACU,CAAA;gBACtC,KAAK,CAAC,gBAAgB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAA;YAC5C,CAAC;QACL,CAAC;QAED,6CAA6C;QAC7C,IAAI,CAAC,gBAAgB,EAAE,CAAA;IAC3B,CAAC;IAED,4EAA4E;IAC5E,kBAAkB;IAClB,4EAA4E;IAE5E;;;;;;;OAOG;IACK,yBAAyB;QAC7B,MAAM,MAAM,GAAG,IAAI,CAAC,gBAAgB,CAAA;QACpC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACvB,OAAO,SAAS,CAAA;QACpB,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,MAAM,CAAC,CAAA;QACnD,IAAI,CAAC,IAAI,EAAE,CAAC;YACR,OAAO,SAAS,CAAA;QACpB,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC3B,uCAAuC;YACvC,OAAO,MAAM,CAAA;QACjB,CAAC;QACD,IACI,IAAI,CAAC,IAAI,KAAK,UAAU;YACxB,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,EAC1D,CAAC;YACC,uEAAuE;YACvE,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW;iBAC5B,mBAAmB,CAAC,MAAM,CAAC;iBAC3B,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAA;YAC5C,OAAO,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,CAAA;QAC1B,CAAC;QACD,OAAO,SAAS,CAAA;IACpB,CAAC;IAED;;;;;;;;;;OAUG;IACK,uBAAuB,CAAC,UAAmC;QAC/D,MAAM,MAAM,GAAG,IAAI,CAAC,gBAAgB,CAAA;QACpC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACvB,OAAM;QACV,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,MAAM,CAAC,CAAA;QACnD,IACI,CAAC,IAAI;YACL,IAAI,CAAC,IAAI,KAAK,UAAU;YACxB,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,EAC1D,CAAC;YACC,OAAM;QACV,CAAC;QACD,+DAA+D;QAC/D,MAAM,YAAY,GAAG,IAAI,CAAC,yBAAyB,EAAE,CAAA;QACrD,IAAI,CAAC,YAAY,EAAE,CAAC;YAChB,OAAM;QACV,CAAC;QACD,yEAAyE;QACzE,yDAAyD;QACzD,IAAI,UAAU,CAAC,QAAQ,KAAK,MAAM,EAAE,CAAC;YACjC,0DAA0D;YAC1D,MAAM,cAAc,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,YAAY,CAAC,CAAA;YACnE,IACI,cAAc;gBACd,UAAU,CAAC,QAAQ,IAAI,cAAc,CAAC,QAAQ,EAChD,CAAC;gBACC,MAAM,IAAI,uBAAuB,CAAC;oBAC9B;wBACI,IAAI,EAAE,4BAA4B;wBAClC,OAAO,EAAE,GAAG,4BAA4B,gFAAgF;wBACxH,UAAU,EAAE,YAAY;wBACxB,QAAQ,EAAE,UAAU,CAAC,EAAE;wBACvB,SAAS,EAAG,IAAI,CAAC,OAAwB,CAAC,EAAE;qBAC/C;iBACJ,CAAC,CAAA;YACN,CAAC;QACL,CAAC;IACL,CAAC;IAED;;;OAGG;IACK,6BAA6B,CAAC,MAAc;QAChD,MAAM,YAAY,GAAG,IAAI,CAAC,yBAAyB,EAAE,CAAA;QACrD,IAAI,YAAY,KAAK,SAAS,IAAI,MAAM,KAAK,YAAY,EAAE,CAAC;YACxD,MAAM,IAAI,uBAAuB,CAAC;gBAC9B;oBACI,IAAI,EAAE,4BAA4B;oBAClC,OAAO,EAAE,GAAG,4BAA4B,6EAA6E;oBACrH,UAAU,EAAE,YAAY;oBACxB,QAAQ,EAAE,MAAM;oBAChB,SAAS,EAAG,IAAI,CAAC,OAAwB,CAAC,EAAE;iBAC/C;aACJ,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IAED;;;OAGG;IACK,0BAA0B,CAC9B,MAAc,EACd,OAA0B;QAE1B,MAAM,YAAY,GAAG,IAAI,CAAC,yBAAyB,EAAE,CAAA;QACrD,IAAI,YAAY,KAAK,SAAS,IAAI,MAAM,KAAK,YAAY,EAAE,CAAC;YACxD,OAAM;QACV,CAAC;QACD,IACI,OAAO,CAAC,UAAU,KAAK,SAAS;YAChC,OAAO,CAAC,QAAQ,KAAK,SAAS,EAChC,CAAC;YACC,MAAM,IAAI,uBAAuB,CAAC;gBAC9B;oBACI,IAAI,EAAE,4BAA4B;oBAClC,OAAO,EAAE,GAAG,4BAA4B,+FAA+F;oBACvI,UAAU,EAAE,YAAY;oBACxB,QAAQ,EAAE,MAAM;oBAChB,SAAS,EAAG,IAAI,CAAC,OAAwB,CAAC,EAAE;iBAC/C;aACJ,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IAED;;;OAGG;IACK,6BAA6B,CACjC,MAAc,EACd,WAAqC;QAErC,MAAM,MAAM,GAAG,IAAI,CAAC,gBAAgB,CAAA;QACpC,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;YAC5C,OAAM;QACV,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,MAAM,CAAC,CAAA;QACnD,IACI,CAAC,IAAI;YACL,IAAI,CAAC,IAAI,KAAK,UAAU;YACxB,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,EAC1D,CAAC;YACC,OAAM;QACV,CAAC;QACD,IAAI,WAAW,KAAK,SAAS,IAAI,WAAW,KAAK,KAAK,EAAE,CAAC;YACrD,MAAM,IAAI,uBAAuB,CAAC;gBAC9B;oBACI,IAAI,EAAE,gCAAgC;oBACtC,OAAO,EAAE,GAAG,gCAAgC,8DAA8D,IAAI,CAAC,QAAQ,SAAS,WAAW,0CAA0C;oBACrL,UAAU,EAAE,YAAY;oBACxB,QAAQ,EAAE,MAAM;oBAChB,SAAS,EAAG,IAAI,CAAC,OAAwB,CAAC,EAAE;iBAC/C;aACJ,CAAC,CAAA;QACN,CAAC;IACL,CAAC;CACJ"}
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@proposit/proposit-core",
3
- "version": "0.11.1",
3
+ "version": "0.11.2",
4
4
  "description": "Core engine for building and manipulating propositional logic arguments.",
5
5
  "license": "MIT",
6
6
  "keywords": [