@proposit/proposit-core 0.12.3 → 1.0.1

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.
Files changed (125) hide show
  1. package/README.md +104 -93
  2. package/dist/cli/commands/premises.d.ts.map +1 -1
  3. package/dist/cli/commands/premises.js +28 -24
  4. package/dist/cli/commands/premises.js.map +1 -1
  5. package/dist/cli/commands/repair.d.ts.map +1 -1
  6. package/dist/cli/commands/repair.js +4 -2
  7. package/dist/cli/commands/repair.js.map +1 -1
  8. package/dist/cli/commands/validate.d.ts.map +1 -1
  9. package/dist/cli/commands/validate.js +7 -1
  10. package/dist/cli/commands/validate.js.map +1 -1
  11. package/dist/cli/engine.d.ts.map +1 -1
  12. package/dist/cli/engine.js +7 -25
  13. package/dist/cli/engine.js.map +1 -1
  14. package/dist/cli/import.d.ts.map +1 -1
  15. package/dist/cli/import.js +66 -28
  16. package/dist/cli/import.js.map +1 -1
  17. package/dist/lib/core/argument-engine.d.ts +275 -10
  18. package/dist/lib/core/argument-engine.d.ts.map +1 -1
  19. package/dist/lib/core/argument-engine.js +442 -82
  20. package/dist/lib/core/argument-engine.js.map +1 -1
  21. package/dist/lib/core/argument-library.d.ts +5 -1
  22. package/dist/lib/core/argument-library.d.ts.map +1 -1
  23. package/dist/lib/core/argument-library.js +7 -3
  24. package/dist/lib/core/argument-library.js.map +1 -1
  25. package/dist/lib/core/expression-manager.d.ts +68 -73
  26. package/dist/lib/core/expression-manager.d.ts.map +1 -1
  27. package/dist/lib/core/expression-manager.js +272 -771
  28. package/dist/lib/core/expression-manager.js.map +1 -1
  29. package/dist/lib/core/fork.d.ts +5 -1
  30. package/dist/lib/core/fork.d.ts.map +1 -1
  31. package/dist/lib/core/fork.js +16 -6
  32. package/dist/lib/core/fork.js.map +1 -1
  33. package/dist/lib/core/interfaces/argument-engine.interfaces.d.ts +68 -7
  34. package/dist/lib/core/interfaces/argument-engine.interfaces.d.ts.map +1 -1
  35. package/dist/lib/core/interfaces/library.interfaces.d.ts +8 -3
  36. package/dist/lib/core/interfaces/library.interfaces.d.ts.map +1 -1
  37. package/dist/lib/core/interfaces/premise-engine.interfaces.d.ts +50 -47
  38. package/dist/lib/core/interfaces/premise-engine.interfaces.d.ts.map +1 -1
  39. package/dist/lib/core/premise-engine.d.ts +80 -11
  40. package/dist/lib/core/premise-engine.d.ts.map +1 -1
  41. package/dist/lib/core/premise-engine.js +245 -83
  42. package/dist/lib/core/premise-engine.js.map +1 -1
  43. package/dist/lib/core/proposit-core.d.ts.map +1 -1
  44. package/dist/lib/core/proposit-core.js +13 -3
  45. package/dist/lib/core/proposit-core.js.map +1 -1
  46. package/dist/lib/grammar/an-rules.d.ts +158 -0
  47. package/dist/lib/grammar/an-rules.d.ts.map +1 -0
  48. package/dist/lib/grammar/an-rules.js +778 -0
  49. package/dist/lib/grammar/an-rules.js.map +1 -0
  50. package/dist/lib/grammar/auto-normalize.d.ts +14 -0
  51. package/dist/lib/grammar/auto-normalize.d.ts.map +1 -0
  52. package/dist/lib/grammar/auto-normalize.js +35 -0
  53. package/dist/lib/grammar/auto-normalize.js.map +1 -0
  54. package/dist/lib/grammar/bounded-subtree.d.ts +30 -0
  55. package/dist/lib/grammar/bounded-subtree.d.ts.map +1 -0
  56. package/dist/lib/grammar/bounded-subtree.js +74 -0
  57. package/dist/lib/grammar/bounded-subtree.js.map +1 -0
  58. package/dist/lib/grammar/naked-q.d.ts +20 -0
  59. package/dist/lib/grammar/naked-q.d.ts.map +1 -0
  60. package/dist/lib/grammar/naked-q.js +58 -0
  61. package/dist/lib/grammar/naked-q.js.map +1 -0
  62. package/dist/lib/grammar/normalize.d.ts +12 -0
  63. package/dist/lib/grammar/normalize.d.ts.map +1 -0
  64. package/dist/lib/grammar/normalize.js +45 -0
  65. package/dist/lib/grammar/normalize.js.map +1 -0
  66. package/dist/lib/grammar/populate-from.d.ts +25 -0
  67. package/dist/lib/grammar/populate-from.d.ts.map +1 -0
  68. package/dist/lib/grammar/populate-from.js +252 -0
  69. package/dist/lib/grammar/populate-from.js.map +1 -0
  70. package/dist/lib/grammar/repair.d.ts +65 -0
  71. package/dist/lib/grammar/repair.d.ts.map +1 -0
  72. package/dist/lib/grammar/repair.js +251 -0
  73. package/dist/lib/grammar/repair.js.map +1 -0
  74. package/dist/lib/grammar/types.d.ts +17 -0
  75. package/dist/lib/grammar/types.d.ts.map +1 -0
  76. package/dist/lib/grammar/types.js +82 -0
  77. package/dist/lib/grammar/types.js.map +1 -0
  78. package/dist/lib/grammar/validate.d.ts +4 -0
  79. package/dist/lib/grammar/validate.d.ts.map +1 -0
  80. package/dist/lib/grammar/validate.js +28 -0
  81. package/dist/lib/grammar/validate.js.map +1 -0
  82. package/dist/lib/grammar/validators/context.d.ts +11 -0
  83. package/dist/lib/grammar/validators/context.d.ts.map +1 -0
  84. package/dist/lib/grammar/validators/context.js +5 -0
  85. package/dist/lib/grammar/validators/context.js.map +1 -0
  86. package/dist/lib/grammar/validators/derivable.d.ts +63 -0
  87. package/dist/lib/grammar/validators/derivable.d.ts.map +1 -0
  88. package/dist/lib/grammar/validators/derivable.js +502 -0
  89. package/dist/lib/grammar/validators/derivable.js.map +1 -0
  90. package/dist/lib/grammar/validators/evaluable.d.ts +48 -0
  91. package/dist/lib/grammar/validators/evaluable.d.ts.map +1 -0
  92. package/dist/lib/grammar/validators/evaluable.js +226 -0
  93. package/dist/lib/grammar/validators/evaluable.js.map +1 -0
  94. package/dist/lib/grammar/validators/presentable.d.ts +45 -0
  95. package/dist/lib/grammar/validators/presentable.d.ts.map +1 -0
  96. package/dist/lib/grammar/validators/presentable.js +231 -0
  97. package/dist/lib/grammar/validators/presentable.js.map +1 -0
  98. package/dist/lib/grammar/validators/structural.d.ts +103 -0
  99. package/dist/lib/grammar/validators/structural.d.ts.map +1 -0
  100. package/dist/lib/grammar/validators/structural.js +602 -0
  101. package/dist/lib/grammar/validators/structural.js.map +1 -0
  102. package/dist/lib/index.d.ts +4 -3
  103. package/dist/lib/index.d.ts.map +1 -1
  104. package/dist/lib/index.js +2 -2
  105. package/dist/lib/index.js.map +1 -1
  106. package/dist/lib/parsing/argument-parser.d.ts.map +1 -1
  107. package/dist/lib/parsing/argument-parser.js +52 -10
  108. package/dist/lib/parsing/argument-parser.js.map +1 -1
  109. package/dist/lib/types/evaluation.d.ts +1 -1
  110. package/dist/lib/types/evaluation.d.ts.map +1 -1
  111. package/dist/lib/types/fork.d.ts +12 -3
  112. package/dist/lib/types/fork.d.ts.map +1 -1
  113. package/dist/lib/types/validation.d.ts +0 -6
  114. package/dist/lib/types/validation.d.ts.map +1 -1
  115. package/dist/lib/types/validation.js +23 -6
  116. package/dist/lib/types/validation.js.map +1 -1
  117. package/package.json +1 -1
  118. package/dist/lib/core/managed-derivation-premise-engine.d.ts +0 -172
  119. package/dist/lib/core/managed-derivation-premise-engine.d.ts.map +0 -1
  120. package/dist/lib/core/managed-derivation-premise-engine.js +0 -550
  121. package/dist/lib/core/managed-derivation-premise-engine.js.map +0 -1
  122. package/dist/lib/types/grammar.d.ts +0 -83
  123. package/dist/lib/types/grammar.d.ts.map +0 -1
  124. package/dist/lib/types/grammar.js +0 -24
  125. package/dist/lib/types/grammar.js.map +0 -1
@@ -287,37 +287,75 @@ export function importArgumentFromYaml(yamlString) {
287
287
  for (const variable of variablesByName.values()) {
288
288
  engine.addVariable(variable);
289
289
  }
290
- // Create premises and build expression trees
291
- for (let i = 0; i < input.premises.length; i++) {
292
- const premiseDef = input.premises[i];
293
- const isDerivation = premiseDef.type === "derivation";
294
- if (isDerivation) {
295
- // Derivation premise delegate to the engine's derivation init flow,
296
- // which auto-creates the naked-Q root expression.
297
- const { result: dpm } = engine.createPremise({
298
- type: "derivation",
299
- derivedClaimId: premiseDef.derivedClaimId,
300
- ...(premiseDef.metadata ?? {}),
301
- });
302
- const dRole = premiseDef.role ?? "supporting";
303
- if (dRole === "conclusion") {
304
- engine.setConclusionPremise(dpm.getId());
290
+ // D2b permissive-build + explicit normalize() pattern. The
291
+ // per-premise tree-build below is incremental (one
292
+ // `pm.addExpression` per AST node, parents first). Under the
293
+ // post-mutation AN hook (assistive mode), AN-3 would eagerly
294
+ // collapse 0-child operators between addExpression calls,
295
+ // breaking the build. Switch to `permissive` for the duration of
296
+ // the build, then restore assistive + run a single explicit
297
+ // `engine.normalize()` at the end so AN-1 / AN-2 / AN-3 / AN-4
298
+ // fire on the fully-built tree. The returned engine is in
299
+ // canonical assistive state.
300
+ // D3 — unify with populate-from's pattern: `normalize()` runs only
301
+ // on the success path (inside `try` after all builds succeed).
302
+ // Behavior restoration runs on both success and failure paths via
303
+ // a `catch` that rethrows. Running `normalize()` from a `finally`
304
+ // block would mean AN executes on a half-built tree when the
305
+ // build throws, potentially masking the original error or
306
+ // collapsing the partial state the caller wants to diagnose.
307
+ const savedBehavior = engine.behavior;
308
+ engine.setBehavior("permissive");
309
+ try {
310
+ // Create premises and build expression trees
311
+ for (let i = 0; i < input.premises.length; i++) {
312
+ const premiseDef = input.premises[i];
313
+ const isDerivation = premiseDef.type === "derivation";
314
+ if (isDerivation) {
315
+ // Derivation premise — delegate to the engine's derivation init flow,
316
+ // which auto-creates the naked-Q root expression.
317
+ const { result: dpm } = engine.createPremise({
318
+ type: "derivation",
319
+ derivedClaimId: premiseDef.derivedClaimId,
320
+ ...(premiseDef.metadata ?? {}),
321
+ });
322
+ const dRole = premiseDef.role ?? "supporting";
323
+ if (dRole === "conclusion") {
324
+ engine.setConclusionPremise(dpm.getId());
325
+ }
305
326
  }
306
- }
307
- else {
308
- // Freeform premise create premise then build expression tree.
309
- const { result: pm } = premiseDef.metadata
310
- ? engine.createPremise({ ...premiseDef.metadata })
311
- : engine.createPremise();
312
- // Build expression tree from parsed AST
313
- buildExpressions(parsedFormulas[i], null, POSITION_INITIAL, argumentId, 0, pm.getId(), variablesByName, (expr) => pm.addExpression(expr));
314
- // Assign conclusion role; supporting is derived from expression type
315
- const role = premiseDef.role ?? "supporting";
316
- if (role === "conclusion") {
317
- engine.setConclusionPremise(pm.getId());
327
+ else {
328
+ // Freeform premise — create premise then build expression tree.
329
+ const { result: pm } = premiseDef.metadata
330
+ ? engine.createPremise({ ...premiseDef.metadata })
331
+ : engine.createPremise();
332
+ // Build expression tree from parsed AST
333
+ buildExpressions(parsedFormulas[i], null, POSITION_INITIAL, argumentId, 0, pm.getId(), variablesByName, (expr) => pm.addExpression(expr));
334
+ // Assign conclusion role; supporting is derived from expression type
335
+ const role = premiseDef.role ?? "supporting";
336
+ if (role === "conclusion") {
337
+ engine.setConclusionPremise(pm.getId());
338
+ }
339
+ // Non-conclusion inference premises are automatically supporting
318
340
  }
319
- // Non-conclusion inference premises are automatically supporting
320
341
  }
342
+ // Success path: restore the original behavior, then run a
343
+ // single explicit `engine.normalize()` so AN-1/AN-2/AN-3/AN-4
344
+ // fire on the fully-built tree (when the caller wanted
345
+ // assistive behavior).
346
+ engine.setBehavior(savedBehavior);
347
+ if (savedBehavior === "assistive") {
348
+ engine.normalize();
349
+ }
350
+ }
351
+ catch (e) {
352
+ // Failure path: restore behavior so the engine is not left
353
+ // stuck in permissive after a build error. The build is not
354
+ // transactional — the caller may inspect the partial state
355
+ // surfaced by the original throw; only the behavior flag
356
+ // gets restored here.
357
+ engine.setBehavior(savedBehavior);
358
+ throw e;
321
359
  }
322
360
  return { engine, claimLibrary, claimCitationLibrary };
323
361
  }
@@ -1 +1 @@
1
- {"version":3,"file":"import.js","sourceRoot":"","sources":["../../src/cli/import.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,KAAK,IAAI,SAAS,EAAE,MAAM,MAAM,CAAA;AACzC,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AACrC,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAA;AAKlE,OAAO,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAA;AAC5D,OAAO,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAA;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAA;AAC3D,OAAO,EAAE,oBAAoB,EAAE,MAAM,uCAAuC,CAAA;AAC5E,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAA;AAC3D,OAAO,EAAE,sBAAsB,EAA4B,MAAM,eAAe,CAAA;AAEhF;;;GAGG;AACH,SAAS,gBAAgB,CACrB,GAAgB,EAChB,MAAe,EACf,YAAoB,EACpB,YAAgC;IAEhC,IAAI,CAAC,MAAM,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;QAC5D,MAAM,KAAK,GAAG,YAAY;YACtB,CAAC,CAAC,YAAY,YAAY,YAAY,YAAY,GAAG;YACrD,CAAC,CAAC,oBAAoB,YAAY,EAAE,CAAA;QACxC,MAAM,IAAI,KAAK,CACX,GAAG,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,wBAAwB,mEAAmE,KAAK,GAAG,CAC3J,CAAA;IACL,CAAC;IACD,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,UAAU;YACX,MAAK;QACT,KAAK,KAAK;YACN,gBAAgB,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,YAAY,CAAC,CAAA;YAChE,MAAK;QACT,KAAK,KAAK,CAAC;QACX,KAAK,IAAI;YACL,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;gBACjC,gBAAgB,CAAC,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,YAAY,CAAC,CAAA;YAChE,CAAC;YACD,MAAK;QACT,KAAK,SAAS,CAAC;QACf,KAAK,KAAK;YACN,gBAAgB,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,EAAE,YAAY,CAAC,CAAA;YAC7D,gBAAgB,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,YAAY,EAAE,YAAY,CAAC,CAAA;YAC9D,MAAK;IACb,CAAC;AACL,CAAC;AAED,kEAAkE;AAClE,SAAS,oBAAoB,CAAC,GAAgB,EAAE,KAAkB;IAC9D,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,UAAU;YACX,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YACnB,MAAK;QACT,KAAK,KAAK;YACN,oBAAoB,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;YACxC,MAAK;QACT,KAAK,KAAK,CAAC;QACX,KAAK,IAAI;YACL,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;gBACjC,oBAAoB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;YACxC,CAAC;YACD,MAAK;QACT,KAAK,SAAS,CAAC;QACf,KAAK,KAAK;YACN,oBAAoB,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;YACrC,oBAAoB,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;YACtC,MAAK;IACb,CAAC;AACL,CAAC;AAED;;;GAGG;AACH,SAAS,gBAAgB,CACrB,GAAgB,EAChB,QAAuB,EACvB,QAAgB,EAChB,UAAkB,EAClB,eAAuB,EACvB,SAAiB,EACjB,eAAmE,EACnE,aAA+C;IAE/C,MAAM,EAAE,GAAG,UAAU,EAAE,CAAA;IAEvB,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,UAAU,CAAC,CAAC,CAAC;YACd,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAE,CAAA;YAC/C,aAAa,CAAC;gBACV,EAAE;gBACF,UAAU;gBACV,eAAe;gBACf,SAAS;gBACT,IAAI,EAAE,UAAU;gBAChB,UAAU,EAAE,QAAQ,CAAC,EAAE;gBACvB,QAAQ;gBACR,QAAQ;aACX,CAAC,CAAA;YACF,OAAO,EAAE,CAAA;QACb,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACT,aAAa,CAAC;gBACV,EAAE;gBACF,UAAU;gBACV,eAAe;gBACf,SAAS;gBACT,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,KAAK;gBACf,QAAQ;gBACR,QAAQ;aACX,CAAC,CAAA;YACF,gBAAgB,CACZ,GAAG,CAAC,OAAO,EACX,EAAE,EACF,CAAC,EACD,UAAU,EACV,eAAe,EACf,SAAS,EACT,eAAe,EACf,aAAa,CAChB,CAAA;YACD,OAAO,EAAE,CAAA;QACb,CAAC;QACD,KAAK,KAAK,CAAC;QACX,KAAK,IAAI,CAAC,CAAC,CAAC;YACR,4DAA4D;YAC5D,mEAAmE;YACnE,IAAI,iBAAiB,GAAG,QAAQ,CAAA;YAChC,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;gBACpB,MAAM,SAAS,GAAG,UAAU,EAAE,CAAA;gBAC9B,aAAa,CAAC;oBACV,EAAE,EAAE,SAAS;oBACb,UAAU;oBACV,eAAe;oBACf,SAAS;oBACT,IAAI,EAAE,SAAS;oBACf,QAAQ;oBACR,QAAQ;iBACX,CAAC,CAAA;gBACF,iBAAiB,GAAG,SAAS,CAAA;YACjC,CAAC;YACD,aAAa,CAAC;gBACV,EAAE;gBACF,UAAU;gBACV,eAAe;gBACf,SAAS;gBACT,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,GAAG,CAAC,IAAI;gBAClB,QAAQ,EAAE,iBAAiB;gBAC3B,QAAQ,EAAE,iBAAiB,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ;aAC1D,CAAC,CAAA;YACF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC3C,gBAAgB,CACZ,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EACf,EAAE,EACF,CAAC,EACD,UAAU,EACV,eAAe,EACf,SAAS,EACT,eAAe,EACf,aAAa,CAChB,CAAA;YACL,CAAC;YACD,OAAO,EAAE,CAAA;QACb,CAAC;QACD,KAAK,SAAS,CAAC;QACf,KAAK,KAAK,CAAC,CAAC,CAAC;YACT,aAAa,CAAC;gBACV,EAAE;gBACF,UAAU;gBACV,eAAe;gBACf,SAAS;gBACT,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,GAAG,CAAC,IAAI;gBAClB,QAAQ;gBACR,QAAQ;aACX,CAAC,CAAA;YACF,gBAAgB,CACZ,GAAG,CAAC,IAAI,EACR,EAAE,EACF,CAAC,EACD,UAAU,EACV,eAAe,EACf,SAAS,EACT,eAAe,EACf,aAAa,CAChB,CAAA;YACD,gBAAgB,CACZ,GAAG,CAAC,KAAK,EACT,EAAE,EACF,CAAC,EACD,UAAU,EACV,eAAe,EACf,SAAS,EACT,eAAe,EACf,aAAa,CAChB,CAAA;YACD,OAAO,EAAE,CAAA;QACb,CAAC;IACL,CAAC;AACL,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,sBAAsB,CAAC,UAAkB;IAKrD,MAAM,GAAG,GAAY,SAAS,CAAC,UAAU,CAAC,CAAA;IAC1C,MAAM,KAAK,GAAsB,KAAK,CAAC,KAAK,CAAC,sBAAsB,EAAE,GAAG,CAAC,CAAA;IAEzE,oEAAoE;IACpE,6EAA6E;IAC7E,uEAAuE;IACvE,4BAA4B;IAC5B,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,IAAI,EAAE,CAAA;IACtC,KAAK,MAAM,KAAK,IAAI,WAAW,EAAE,CAAC;QAC9B,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW;YAAE,SAAQ;QACxC,MAAM,UAAU,GAAI,KAAiC,CAAC,UAAU,CAAA;QAChE,IACI,OAAO,UAAU,KAAK,QAAQ;YAC9B,CAAC,sBAAsB,CAAC,QAAQ,CAAC,UAAiC,CAAC,EACrE,CAAC;YACC,MAAM,IAAI,KAAK,CACX,6BAA6B,KAAK,CAAC,EAAE,IAAI,GAAG,mDAAmD,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACrI,CAAA;QACL,CAAC;IACL,CAAC;IAED,6CAA6C;IAC7C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;QACjC,MAAM,YAAY,GAAG,OAAO,CAAC,IAAI,KAAK,YAAY,CAAA;QAClD,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,EAAE,KAAK;YACjC,CAAC,CAAC,YAAY,OAAO,CAAC,QAAQ,CAAC,KAAK,YAAY,CAAC,GAAG;YACpD,CAAC,CAAC,oBAAoB,CAAC,EAAE,CAAA;QAC7B,IAAI,YAAY,EAAE,CAAC;YACf,IAAI,CAAC,OAAO,CAAC,cAAc,EAAE,CAAC;gBAC1B,MAAM,IAAI,KAAK,CACX,GAAG,KAAK,8CAA8C,CACzD,CAAA;YACL,CAAC;YACD,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;gBAChC,MAAM,IAAI,KAAK,CACX,GAAG,KAAK,uDAAuD,CAClE,CAAA;YACL,CAAC;QACL,CAAC;aAAM,CAAC;YACJ,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;gBAChC,MAAM,IAAI,KAAK,CACX,GAAG,KAAK,8CAA8C,CACzD,CAAA;YACL,CAAC;QACL,CAAC;IACL,CAAC;IAED,yEAAyE;IACzE,MAAM,cAAc,GAA2B,EAAE,CAAA;IACjD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;QACjC,IAAI,OAAO,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAChC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YACzB,SAAQ;QACZ,CAAC;QACD,IAAI,GAAgB,CAAA;QACpB,IAAI,CAAC;YACD,GAAG,GAAG,YAAY,CAAC,OAAO,CAAC,OAAQ,CAAC,CAAA;QACxC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,EAAE,KAAK;gBACjC,CAAC,CAAC,YAAY,OAAO,CAAC,QAAQ,CAAC,KAAK,YAAY,CAAC,GAAG;gBACpD,CAAC,CAAC,oBAAoB,CAAC,EAAE,CAAA;YAC7B,MAAM,GAAG,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;YAClE,MAAM,IAAI,KAAK,CAAC,+BAA+B,KAAK,KAAK,GAAG,EAAE,CAAC,CAAA;QACnE,CAAC;QACD,gBAAgB,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAA;QACvD,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IAC5B,CAAC;IAED,4BAA4B;IAC5B,MAAM,iBAAiB,GAAG,KAAK,CAAC,QAAQ;SACnC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SACjD,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;IAC5B,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CACX,uDAAuD,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,oCAAoC,CAC1H,CAAA;IACL,CAAC;IAED,2DAA2D;IAC3D,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAA;IAC1C,KAAK,MAAM,GAAG,IAAI,cAAc,EAAE,CAAC;QAC/B,IAAI,GAAG,KAAK,IAAI;YAAE,oBAAoB,CAAC,GAAG,EAAE,gBAAgB,CAAC,CAAA;IACjE,CAAC;IAED,qBAAqB;IACrB,MAAM,UAAU,GAAG,UAAU,EAAE,CAAA;IAC/B,MAAM,QAAQ,GAAG;QACb,EAAE,EAAE,UAAU;QACd,OAAO,EAAE,CAAC;QACV,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,KAAK;QAC3B,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,KAAK,SAAS;YACxC,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,QAAQ,CAAC,WAAW,EAAE;YAC7C,CAAC,CAAC,EAAE,CAAC;QACT,SAAS,EAAE,IAAI,IAAI,EAAE;QACrB,SAAS,EAAE,KAAK;KACnB,CAAA;IAED,MAAM,YAAY,GAAG,IAAI,YAAY,EAAE,CAAA;IACvC,MAAM,YAAY,GAAG,YAAY,CAAC,MAAM,CAAC;QACrC,EAAE,EAAE,UAAU,EAAE;QAChB,IAAI,EAAE,QAAQ;KACjB,CAAC,CAAA;IAEF,oEAAoE;IACpE,4EAA4E;IAC5E,+DAA+D;IAC/D,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QACzC,MAAM,UAAU,GAA8C;YAC1D,EAAE,EAAE,SAAS,CAAC,EAAE;YAChB,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,GAAG,CAAC,SAAS,CAAC,KAAK,KAAK,SAAS;gBAC7B,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE;gBAC5B,CAAC,CAAC,EAAE,CAAC;SACZ,CAAA;QACD,IAAI,SAAS,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACjC,MAAM,UAAU,GAAG,SAAoC,CAAA;YACvD,IAAI,OAAO,UAAU,CAAC,UAAU,KAAK,QAAQ,EAAE,CAAC;gBAC5C,CAAC;gBAAC,UAAsC,CAAC,UAAU;oBAC/C,UAAU,CAAC,UAAU,CAAA;YAC7B,CAAC;QACL,CAAC;QACD,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;IACnC,CAAC;IAED,MAAM,oBAAoB,GAAG,IAAI,oBAAoB,CAAC,YAAY,CAAC,CAAA;IACnE,MAAM,MAAM,GAAG,IAAI,cAAc,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAA;IAEzD,gDAAgD;IAChD,MAAM,eAAe,GAAG,IAAI,GAAG,EAG5B,CAAA;IACH,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,gBAAgB,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC9C,MAAM,QAAQ,GAA0C;YACpD,EAAE,EAAE,UAAU,EAAE;YAChB,UAAU;YACV,eAAe,EAAE,CAAC;YAClB,MAAM,EAAE,IAAI;YACZ,OAAO,EAAE,YAAY,CAAC,EAAE;YACxB,YAAY,EAAE,YAAY,CAAC,OAAO;SACrC,CAAA;QACD,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;IACvC,CAAC;IAED,+EAA+E;IAC/E,KAAK,MAAM,QAAQ,IAAI,eAAe,CAAC,MAAM,EAAE,EAAE,CAAC;QAC9C,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAA;IAChC,CAAC;IAED,6CAA6C;IAC7C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,UAAU,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;QACpC,MAAM,YAAY,GAAG,UAAU,CAAC,IAAI,KAAK,YAAY,CAAA;QAErD,IAAI,YAAY,EAAE,CAAC;YACf,sEAAsE;YACtE,kDAAkD;YAClD,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,MAAM,CAAC,aAAa,CAAC;gBACzC,IAAI,EAAE,YAAY;gBAClB,cAAc,EAAE,UAAU,CAAC,cAAe;gBAC1C,GAAG,CAAC,UAAU,CAAC,QAAQ,IAAI,EAAE,CAAC;aACjC,CAAC,CAAA;YACF,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,IAAI,YAAY,CAAA;YAC7C,IAAI,KAAK,KAAK,YAAY,EAAE,CAAC;gBACzB,MAAM,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAA;YAC5C,CAAC;QACL,CAAC;aAAM,CAAC;YACJ,gEAAgE;YAChE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,UAAU,CAAC,QAAQ;gBACtC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,GAAG,UAAU,CAAC,QAAQ,EAAE,CAAC;gBAClD,CAAC,CAAC,MAAM,CAAC,aAAa,EAAE,CAAA;YAE5B,wCAAwC;YACxC,gBAAgB,CACZ,cAAc,CAAC,CAAC,CAAE,EAClB,IAAI,EACJ,gBAAgB,EAChB,UAAU,EACV,CAAC,EACD,EAAE,CAAC,KAAK,EAAE,EACV,eAAe,EACf,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,CACnC,CAAA;YAED,qEAAqE;YACrE,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,IAAI,YAAY,CAAA;YAC5C,IAAI,IAAI,KAAK,YAAY,EAAE,CAAC;gBACxB,MAAM,CAAC,oBAAoB,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAA;YAC3C,CAAC;YACD,iEAAiE;QACrE,CAAC;IACL,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,oBAAoB,EAAE,CAAA;AACzD,CAAC"}
1
+ {"version":3,"file":"import.js","sourceRoot":"","sources":["../../src/cli/import.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,KAAK,IAAI,SAAS,EAAE,MAAM,MAAM,CAAA;AACzC,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AACrC,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAA;AAKlE,OAAO,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAA;AAC5D,OAAO,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAA;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAA;AAC3D,OAAO,EAAE,oBAAoB,EAAE,MAAM,uCAAuC,CAAA;AAC5E,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAA;AAC3D,OAAO,EAAE,sBAAsB,EAA4B,MAAM,eAAe,CAAA;AAEhF;;;GAGG;AACH,SAAS,gBAAgB,CACrB,GAAgB,EAChB,MAAe,EACf,YAAoB,EACpB,YAAgC;IAEhC,IAAI,CAAC,MAAM,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;QAC5D,MAAM,KAAK,GAAG,YAAY;YACtB,CAAC,CAAC,YAAY,YAAY,YAAY,YAAY,GAAG;YACrD,CAAC,CAAC,oBAAoB,YAAY,EAAE,CAAA;QACxC,MAAM,IAAI,KAAK,CACX,GAAG,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,wBAAwB,mEAAmE,KAAK,GAAG,CAC3J,CAAA;IACL,CAAC;IACD,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,UAAU;YACX,MAAK;QACT,KAAK,KAAK;YACN,gBAAgB,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,YAAY,CAAC,CAAA;YAChE,MAAK;QACT,KAAK,KAAK,CAAC;QACX,KAAK,IAAI;YACL,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;gBACjC,gBAAgB,CAAC,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,YAAY,CAAC,CAAA;YAChE,CAAC;YACD,MAAK;QACT,KAAK,SAAS,CAAC;QACf,KAAK,KAAK;YACN,gBAAgB,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,EAAE,YAAY,CAAC,CAAA;YAC7D,gBAAgB,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,YAAY,EAAE,YAAY,CAAC,CAAA;YAC9D,MAAK;IACb,CAAC;AACL,CAAC;AAED,kEAAkE;AAClE,SAAS,oBAAoB,CAAC,GAAgB,EAAE,KAAkB;IAC9D,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,UAAU;YACX,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YACnB,MAAK;QACT,KAAK,KAAK;YACN,oBAAoB,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;YACxC,MAAK;QACT,KAAK,KAAK,CAAC;QACX,KAAK,IAAI;YACL,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;gBACjC,oBAAoB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;YACxC,CAAC;YACD,MAAK;QACT,KAAK,SAAS,CAAC;QACf,KAAK,KAAK;YACN,oBAAoB,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;YACrC,oBAAoB,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;YACtC,MAAK;IACb,CAAC;AACL,CAAC;AAED;;;GAGG;AACH,SAAS,gBAAgB,CACrB,GAAgB,EAChB,QAAuB,EACvB,QAAgB,EAChB,UAAkB,EAClB,eAAuB,EACvB,SAAiB,EACjB,eAAmE,EACnE,aAA+C;IAE/C,MAAM,EAAE,GAAG,UAAU,EAAE,CAAA;IAEvB,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,UAAU,CAAC,CAAC,CAAC;YACd,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAE,CAAA;YAC/C,aAAa,CAAC;gBACV,EAAE;gBACF,UAAU;gBACV,eAAe;gBACf,SAAS;gBACT,IAAI,EAAE,UAAU;gBAChB,UAAU,EAAE,QAAQ,CAAC,EAAE;gBACvB,QAAQ;gBACR,QAAQ;aACX,CAAC,CAAA;YACF,OAAO,EAAE,CAAA;QACb,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACT,aAAa,CAAC;gBACV,EAAE;gBACF,UAAU;gBACV,eAAe;gBACf,SAAS;gBACT,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,KAAK;gBACf,QAAQ;gBACR,QAAQ;aACX,CAAC,CAAA;YACF,gBAAgB,CACZ,GAAG,CAAC,OAAO,EACX,EAAE,EACF,CAAC,EACD,UAAU,EACV,eAAe,EACf,SAAS,EACT,eAAe,EACf,aAAa,CAChB,CAAA;YACD,OAAO,EAAE,CAAA;QACb,CAAC;QACD,KAAK,KAAK,CAAC;QACX,KAAK,IAAI,CAAC,CAAC,CAAC;YACR,4DAA4D;YAC5D,mEAAmE;YACnE,IAAI,iBAAiB,GAAG,QAAQ,CAAA;YAChC,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;gBACpB,MAAM,SAAS,GAAG,UAAU,EAAE,CAAA;gBAC9B,aAAa,CAAC;oBACV,EAAE,EAAE,SAAS;oBACb,UAAU;oBACV,eAAe;oBACf,SAAS;oBACT,IAAI,EAAE,SAAS;oBACf,QAAQ;oBACR,QAAQ;iBACX,CAAC,CAAA;gBACF,iBAAiB,GAAG,SAAS,CAAA;YACjC,CAAC;YACD,aAAa,CAAC;gBACV,EAAE;gBACF,UAAU;gBACV,eAAe;gBACf,SAAS;gBACT,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,GAAG,CAAC,IAAI;gBAClB,QAAQ,EAAE,iBAAiB;gBAC3B,QAAQ,EAAE,iBAAiB,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ;aAC1D,CAAC,CAAA;YACF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC3C,gBAAgB,CACZ,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EACf,EAAE,EACF,CAAC,EACD,UAAU,EACV,eAAe,EACf,SAAS,EACT,eAAe,EACf,aAAa,CAChB,CAAA;YACL,CAAC;YACD,OAAO,EAAE,CAAA;QACb,CAAC;QACD,KAAK,SAAS,CAAC;QACf,KAAK,KAAK,CAAC,CAAC,CAAC;YACT,aAAa,CAAC;gBACV,EAAE;gBACF,UAAU;gBACV,eAAe;gBACf,SAAS;gBACT,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,GAAG,CAAC,IAAI;gBAClB,QAAQ;gBACR,QAAQ;aACX,CAAC,CAAA;YACF,gBAAgB,CACZ,GAAG,CAAC,IAAI,EACR,EAAE,EACF,CAAC,EACD,UAAU,EACV,eAAe,EACf,SAAS,EACT,eAAe,EACf,aAAa,CAChB,CAAA;YACD,gBAAgB,CACZ,GAAG,CAAC,KAAK,EACT,EAAE,EACF,CAAC,EACD,UAAU,EACV,eAAe,EACf,SAAS,EACT,eAAe,EACf,aAAa,CAChB,CAAA;YACD,OAAO,EAAE,CAAA;QACb,CAAC;IACL,CAAC;AACL,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,sBAAsB,CAAC,UAAkB;IAKrD,MAAM,GAAG,GAAY,SAAS,CAAC,UAAU,CAAC,CAAA;IAC1C,MAAM,KAAK,GAAsB,KAAK,CAAC,KAAK,CAAC,sBAAsB,EAAE,GAAG,CAAC,CAAA;IAEzE,oEAAoE;IACpE,6EAA6E;IAC7E,uEAAuE;IACvE,4BAA4B;IAC5B,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,IAAI,EAAE,CAAA;IACtC,KAAK,MAAM,KAAK,IAAI,WAAW,EAAE,CAAC;QAC9B,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW;YAAE,SAAQ;QACxC,MAAM,UAAU,GAAI,KAAiC,CAAC,UAAU,CAAA;QAChE,IACI,OAAO,UAAU,KAAK,QAAQ;YAC9B,CAAC,sBAAsB,CAAC,QAAQ,CAAC,UAAiC,CAAC,EACrE,CAAC;YACC,MAAM,IAAI,KAAK,CACX,6BAA6B,KAAK,CAAC,EAAE,IAAI,GAAG,mDAAmD,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACrI,CAAA;QACL,CAAC;IACL,CAAC;IAED,6CAA6C;IAC7C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;QACjC,MAAM,YAAY,GAAG,OAAO,CAAC,IAAI,KAAK,YAAY,CAAA;QAClD,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,EAAE,KAAK;YACjC,CAAC,CAAC,YAAY,OAAO,CAAC,QAAQ,CAAC,KAAK,YAAY,CAAC,GAAG;YACpD,CAAC,CAAC,oBAAoB,CAAC,EAAE,CAAA;QAC7B,IAAI,YAAY,EAAE,CAAC;YACf,IAAI,CAAC,OAAO,CAAC,cAAc,EAAE,CAAC;gBAC1B,MAAM,IAAI,KAAK,CACX,GAAG,KAAK,8CAA8C,CACzD,CAAA;YACL,CAAC;YACD,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;gBAChC,MAAM,IAAI,KAAK,CACX,GAAG,KAAK,uDAAuD,CAClE,CAAA;YACL,CAAC;QACL,CAAC;aAAM,CAAC;YACJ,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;gBAChC,MAAM,IAAI,KAAK,CACX,GAAG,KAAK,8CAA8C,CACzD,CAAA;YACL,CAAC;QACL,CAAC;IACL,CAAC;IAED,yEAAyE;IACzE,MAAM,cAAc,GAA2B,EAAE,CAAA;IACjD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;QACjC,IAAI,OAAO,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAChC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YACzB,SAAQ;QACZ,CAAC;QACD,IAAI,GAAgB,CAAA;QACpB,IAAI,CAAC;YACD,GAAG,GAAG,YAAY,CAAC,OAAO,CAAC,OAAQ,CAAC,CAAA;QACxC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,EAAE,KAAK;gBACjC,CAAC,CAAC,YAAY,OAAO,CAAC,QAAQ,CAAC,KAAK,YAAY,CAAC,GAAG;gBACpD,CAAC,CAAC,oBAAoB,CAAC,EAAE,CAAA;YAC7B,MAAM,GAAG,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;YAClE,MAAM,IAAI,KAAK,CAAC,+BAA+B,KAAK,KAAK,GAAG,EAAE,CAAC,CAAA;QACnE,CAAC;QACD,gBAAgB,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAA;QACvD,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IAC5B,CAAC;IAED,4BAA4B;IAC5B,MAAM,iBAAiB,GAAG,KAAK,CAAC,QAAQ;SACnC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SACjD,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;IAC5B,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CACX,uDAAuD,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,oCAAoC,CAC1H,CAAA;IACL,CAAC;IAED,2DAA2D;IAC3D,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAA;IAC1C,KAAK,MAAM,GAAG,IAAI,cAAc,EAAE,CAAC;QAC/B,IAAI,GAAG,KAAK,IAAI;YAAE,oBAAoB,CAAC,GAAG,EAAE,gBAAgB,CAAC,CAAA;IACjE,CAAC;IAED,qBAAqB;IACrB,MAAM,UAAU,GAAG,UAAU,EAAE,CAAA;IAC/B,MAAM,QAAQ,GAAG;QACb,EAAE,EAAE,UAAU;QACd,OAAO,EAAE,CAAC;QACV,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,KAAK;QAC3B,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,KAAK,SAAS;YACxC,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,QAAQ,CAAC,WAAW,EAAE;YAC7C,CAAC,CAAC,EAAE,CAAC;QACT,SAAS,EAAE,IAAI,IAAI,EAAE;QACrB,SAAS,EAAE,KAAK;KACnB,CAAA;IAED,MAAM,YAAY,GAAG,IAAI,YAAY,EAAE,CAAA;IACvC,MAAM,YAAY,GAAG,YAAY,CAAC,MAAM,CAAC;QACrC,EAAE,EAAE,UAAU,EAAE;QAChB,IAAI,EAAE,QAAQ;KACjB,CAAC,CAAA;IAEF,oEAAoE;IACpE,4EAA4E;IAC5E,+DAA+D;IAC/D,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QACzC,MAAM,UAAU,GAA8C;YAC1D,EAAE,EAAE,SAAS,CAAC,EAAE;YAChB,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,GAAG,CAAC,SAAS,CAAC,KAAK,KAAK,SAAS;gBAC7B,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE;gBAC5B,CAAC,CAAC,EAAE,CAAC;SACZ,CAAA;QACD,IAAI,SAAS,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACjC,MAAM,UAAU,GAAG,SAAoC,CAAA;YACvD,IAAI,OAAO,UAAU,CAAC,UAAU,KAAK,QAAQ,EAAE,CAAC;gBAC5C,CAAC;gBAAC,UAAsC,CAAC,UAAU;oBAC/C,UAAU,CAAC,UAAU,CAAA;YAC7B,CAAC;QACL,CAAC;QACD,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;IACnC,CAAC;IAED,MAAM,oBAAoB,GAAG,IAAI,oBAAoB,CAAC,YAAY,CAAC,CAAA;IACnE,MAAM,MAAM,GAAG,IAAI,cAAc,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAA;IAEzD,gDAAgD;IAChD,MAAM,eAAe,GAAG,IAAI,GAAG,EAG5B,CAAA;IACH,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,gBAAgB,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC9C,MAAM,QAAQ,GAA0C;YACpD,EAAE,EAAE,UAAU,EAAE;YAChB,UAAU;YACV,eAAe,EAAE,CAAC;YAClB,MAAM,EAAE,IAAI;YACZ,OAAO,EAAE,YAAY,CAAC,EAAE;YACxB,YAAY,EAAE,YAAY,CAAC,OAAO;SACrC,CAAA;QACD,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;IACvC,CAAC;IAED,+EAA+E;IAC/E,KAAK,MAAM,QAAQ,IAAI,eAAe,CAAC,MAAM,EAAE,EAAE,CAAC;QAC9C,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAA;IAChC,CAAC;IAED,6DAA6D;IAC7D,mDAAmD;IACnD,6DAA6D;IAC7D,6DAA6D;IAC7D,0DAA0D;IAC1D,iEAAiE;IACjE,4DAA4D;IAC5D,+DAA+D;IAC/D,0DAA0D;IAC1D,6BAA6B;IAC7B,mEAAmE;IACnE,+DAA+D;IAC/D,kEAAkE;IAClE,kEAAkE;IAClE,6DAA6D;IAC7D,0DAA0D;IAC1D,6DAA6D;IAC7D,MAAM,aAAa,GAAG,MAAM,CAAC,QAAQ,CAAA;IACrC,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC,CAAA;IAChC,IAAI,CAAC;QACD,6CAA6C;QAC7C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7C,MAAM,UAAU,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;YACpC,MAAM,YAAY,GAAG,UAAU,CAAC,IAAI,KAAK,YAAY,CAAA;YAErD,IAAI,YAAY,EAAE,CAAC;gBACf,sEAAsE;gBACtE,kDAAkD;gBAClD,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,MAAM,CAAC,aAAa,CAAC;oBACzC,IAAI,EAAE,YAAY;oBAClB,cAAc,EAAE,UAAU,CAAC,cAAe;oBAC1C,GAAG,CAAC,UAAU,CAAC,QAAQ,IAAI,EAAE,CAAC;iBACjC,CAAC,CAAA;gBACF,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,IAAI,YAAY,CAAA;gBAC7C,IAAI,KAAK,KAAK,YAAY,EAAE,CAAC;oBACzB,MAAM,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAA;gBAC5C,CAAC;YACL,CAAC;iBAAM,CAAC;gBACJ,gEAAgE;gBAChE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,UAAU,CAAC,QAAQ;oBACtC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,GAAG,UAAU,CAAC,QAAQ,EAAE,CAAC;oBAClD,CAAC,CAAC,MAAM,CAAC,aAAa,EAAE,CAAA;gBAE5B,wCAAwC;gBACxC,gBAAgB,CACZ,cAAc,CAAC,CAAC,CAAE,EAClB,IAAI,EACJ,gBAAgB,EAChB,UAAU,EACV,CAAC,EACD,EAAE,CAAC,KAAK,EAAE,EACV,eAAe,EACf,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,CACnC,CAAA;gBAED,qEAAqE;gBACrE,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,IAAI,YAAY,CAAA;gBAC5C,IAAI,IAAI,KAAK,YAAY,EAAE,CAAC;oBACxB,MAAM,CAAC,oBAAoB,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAA;gBAC3C,CAAC;gBACD,iEAAiE;YACrE,CAAC;QACL,CAAC;QAED,0DAA0D;QAC1D,8DAA8D;QAC9D,uDAAuD;QACvD,uBAAuB;QACvB,MAAM,CAAC,WAAW,CAAC,aAAa,CAAC,CAAA;QACjC,IAAI,aAAa,KAAK,WAAW,EAAE,CAAC;YAChC,MAAM,CAAC,SAAS,EAAE,CAAA;QACtB,CAAC;IACL,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACT,2DAA2D;QAC3D,4DAA4D;QAC5D,2DAA2D;QAC3D,yDAAyD;QACzD,sBAAsB;QACtB,MAAM,CAAC,WAAW,CAAC,aAAa,CAAC,CAAA;QACjC,MAAM,CAAC,CAAA;IACX,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,oBAAoB,EAAE,CAAA;AACzD,CAAC"}
@@ -1,12 +1,15 @@
1
1
  import { type TClaimBoundVariable, type TPremiseBoundVariable, type TCoreArgument, type TCoreClaim, type TCorePremise, type TCorePropositionalExpression, type TCorePropositionalVariable, type TOptionalChecksum } from "../schemata/index.js";
2
2
  import type { TCoreArgumentEvaluationOptions, TCoreArgumentEvaluationResult, TCoreArgumentRoleState, TCoreExpressionAssignment, TCoreValidationResult, TCoreValidityCheckOptions, TCoreValidityCheckResult } from "../types/evaluation.js";
3
3
  import type { TCoreChecksumConfig } from "../types/checksum.js";
4
- import { type TGrammarConfig } from "../types/grammar.js";
5
4
  import type { TCorePositionConfig } from "../utils/position.js";
6
5
  import type { TInvariantValidationResult } from "../types/validation.js";
7
6
  import type { TCoreMutationResult } from "../types/mutation.js";
8
7
  import type { TReactiveSnapshot } from "../types/reactive.js";
9
8
  import type { TExpressionInput } from "./expression-manager.js";
9
+ import { type TPopulateResult } from "../grammar/populate-from.js";
10
+ import type { TGrammarTier, TViolation } from "../grammar/types.js";
11
+ import type { TCoreClaimConnection } from "../schemata/claim-connection.js";
12
+ import type { TClaimConnectionLookup } from "./interfaces/library.interfaces.js";
10
13
  import { PremiseEngine } from "./premise-engine.js";
11
14
  import type { TPremiseEngineSnapshot } from "./premise-engine.js";
12
15
  import type { TVariableManagerSnapshot } from "./variable-manager.js";
@@ -16,7 +19,24 @@ export declare const defaultGenerateId: () => string;
16
19
  export type TLogicEngineOptions = {
17
20
  checksumConfig?: TCoreChecksumConfig;
18
21
  positionConfig?: TCorePositionConfig;
19
- grammarConfig?: TGrammarConfig;
22
+ /**
23
+ * Engine behavior. Controls whether the auto-normalization (AN) rule
24
+ * set runs as a post-hook after every successful Structural mutation.
25
+ *
26
+ * - `'assistive'` (default): AN runs after every successful Structural
27
+ * mutation. AN preserves Presentable — if the pre-mutation state was
28
+ * Presentable, the post-mutation state is Presentable.
29
+ * - `'permissive'`: AN does not run. The engine accepts mutations that
30
+ * leave the argument outside the Presentable/Derivable/Evaluable
31
+ * tiers (down to but not including Structural, which is always
32
+ * guaranteed).
33
+ *
34
+ * Switchable at runtime via `engine.setBehavior(...)`. See
35
+ * `docs/Proposit_Grammar.md` §4 for the full contract.
36
+ *
37
+ * @since 1.0.0
38
+ */
39
+ behavior?: "assistive" | "permissive";
20
40
  /** UUID generator for new entity IDs. Defaults to `globalThis.crypto.randomUUID()`. */
21
41
  generateId?: () => string;
22
42
  };
@@ -42,9 +62,10 @@ export declare class ArgumentEngine<TArg extends TCoreArgument = TCoreArgument,
42
62
  private conclusionPremiseId;
43
63
  private checksumConfig?;
44
64
  private positionConfig?;
45
- private grammarConfig?;
65
+ private engineBehavior;
46
66
  private generateId;
47
67
  private restoringFromSnapshot;
68
+ private applyingAN;
48
69
  private checksumDirty;
49
70
  private cachedMetaChecksum;
50
71
  private cachedDescendantChecksum;
@@ -74,6 +95,79 @@ export declare class ArgumentEngine<TArg extends TCoreArgument = TCoreArgument,
74
95
  private buildAllPremisesRecord;
75
96
  private buildPremiseRecord;
76
97
  private markReactiveDirty;
98
+ /**
99
+ * Current engine behavior setting. Controls whether the
100
+ * auto-normalization (AN) rule set runs as a post-hook after every
101
+ * successful Structural mutation. See the JSDoc on
102
+ * `TLogicEngineOptions.behavior` for the full contract.
103
+ *
104
+ * @since 1.0.0
105
+ */
106
+ get behavior(): "assistive" | "permissive";
107
+ /**
108
+ * Access to the engine's ID generator function. Used by in-package
109
+ * helpers that build new entity trees and need fresh IDs (e.g. the
110
+ * `populateFromGrounding` factory in
111
+ * `src/lib/grammar/populate-from.ts`). The generator is captured
112
+ * once at construction (default `crypto.randomUUID`) and stays
113
+ * immutable for the engine's lifetime; this accessor returns the
114
+ * same function reference on every call.
115
+ *
116
+ * Replaces the prior `(engine as unknown as { generateId: () =>
117
+ * string }).generateId` cast in `populate-from.ts`. The accessor is
118
+ * marked `@internal` so it is not surfaced in generated API docs /
119
+ * type bundles — the in-package factory callers are its intended
120
+ * consumers; external programmatic-construction use cases should
121
+ * supply their own generator rather than borrowing the engine's.
122
+ *
123
+ * @internal
124
+ * @since 1.0.0
125
+ */
126
+ get idGenerator(): () => string;
127
+ /**
128
+ * Switches the engine's behavior at runtime. Going `permissive →
129
+ * assistive` does **not** auto-run a global `normalize()` pass; the
130
+ * UI is expected to prompt the user before invoking `normalize()`
131
+ * explicitly.
132
+ *
133
+ * As of v1.0 (Phase D2) behavior is enforced entirely via the AN
134
+ * post-mutation hook in `runAssistiveNormalization` — the legacy
135
+ * per-flag `grammarConfig` plumbing that bridged behavior to
136
+ * premise-level enforcement is gone. Switching `permissive →
137
+ * assistive` makes the next successful Structural mutation trigger
138
+ * the AN pass; switching the other direction stops the AN pass
139
+ * from running until the user opts back in.
140
+ *
141
+ * @since 1.0.0
142
+ */
143
+ setBehavior(b: "assistive" | "permissive"): void;
144
+ /**
145
+ * Acquire the AN re-entrance guard. Returns `true` iff the guard
146
+ * was acquired (i.e. AN is not already running for this engine);
147
+ * the caller is then obligated to call `endApplyAN()` after the
148
+ * AN sweep. Returns `false` if AN is already in progress, in
149
+ * which case the caller short-circuits to avoid nested AN
150
+ * sweeps.
151
+ *
152
+ * Used by `applyANToFixedPoint` in `src/lib/grammar/an-rules.ts`
153
+ * (the single chokepoint for both `runAssistiveNormalization`
154
+ * and `normalizeArgument`). The post-mutation hook in
155
+ * `setOnMutate` calls `runAssistiveNormalization(this)` which
156
+ * delegates to `applyANToFixedPoint`; AN's own mutations re-fire
157
+ * `setOnMutate`, which would otherwise recurse. This guard
158
+ * breaks the recursion.
159
+ *
160
+ * @internal
161
+ * @since 1.0.0
162
+ */
163
+ beginApplyAN(): boolean;
164
+ /**
165
+ * Release the AN re-entrance guard. Pairs with `beginApplyAN()`.
166
+ *
167
+ * @internal
168
+ * @since 1.0.0
169
+ */
170
+ endApplyAN(): void;
77
171
  getArgument(): TArg;
78
172
  getExtras(): Record<string, unknown>;
79
173
  setExtras(extras: Record<string, unknown>): TCoreMutationResult<Record<string, unknown>, TExpr, TVar, TPremise, TArg>;
@@ -125,6 +219,16 @@ export declare class ArgumentEngine<TArg extends TCoreArgument = TCoreArgument,
125
219
  removeVariable(variableId: string): TCoreMutationResult<TVar | undefined, TExpr, TVar, TPremise, TArg>;
126
220
  getVariables(): TVar[];
127
221
  getVariable(variableId: string): TVar | undefined;
222
+ /**
223
+ * Look up a claim by `(id, version)` in the engine's claim library.
224
+ * Returns `undefined` if the claim is not present. Exposed for
225
+ * repair primitives and other tooling that needs to inspect a
226
+ * claim's `type` discriminator at a particular version pinned by
227
+ * a claim-bound variable.
228
+ *
229
+ * @since 1.0.0
230
+ */
231
+ getClaim(claimId: string, claimVersion: number): TClaim | undefined;
128
232
  hasVariable(variableId: string): boolean;
129
233
  getVariableBySymbol(symbol: string): TVar | undefined;
130
234
  buildVariableIndex<K>(keyFn: (v: TVar) => K): Map<K, TVar>;
@@ -137,11 +241,125 @@ export declare class ArgumentEngine<TArg extends TCoreArgument = TCoreArgument,
137
241
  getExpressionsByVariableId(variableId: string): TExpr[];
138
242
  listRootExpressions(): TExpr[];
139
243
  /**
140
- * Normalizes expression trees across all premises. Collapses unjustified
141
- * formulas, operators with 0/1 children, and inserts formula buffers where
142
- * needed. Works regardless of `autoNormalize` setting.
244
+ * Construct (or no-op on) the per-claim derivation premise's
245
+ * antecedent from a citation lookup. Factory + naked-Q-only:
246
+ *
247
+ * - 0 connections → no-op (naked-Q stays).
248
+ * - 1 connection → `IMPLIES(citation-var, Q)`.
249
+ * - ≥ 2 connections → `IMPLIES(OR(c1, …, cn), Q)`. In
250
+ * `'assistive'` mode the per-mutation AN-1 post-hook inserts a
251
+ * formula buffer between IMPLIES and OR; in `'permissive'` the
252
+ * OR sits directly under IMPLIES (a P-1 violation surfaces via
253
+ * `validate('presentable')`).
254
+ *
255
+ * **No throw on already-populated.** Per the Structural-only
256
+ * mutation throw rule, if the target derivation premise is not in
257
+ * the naked-Q form the factory returns `{ kind: 'no-op', state:
258
+ * <existing> }` without mutating. UI/caller is responsible for
259
+ * explicit user consent + clearing the antecedent via a repair
260
+ * primitive before re-calling. Preserves the no-changes-without-
261
+ * consent principle.
262
+ *
263
+ * Throws only when no derivation premise exists for the given
264
+ * `derivedClaimId` (legitimate entity-not-found Structural check).
265
+ *
266
+ * @since 1.0.0
267
+ */
268
+ populateFromCitations<TConn extends TCoreClaimConnection = TCoreClaimConnection>(derivedClaimId: string, citationLookup: TClaimConnectionLookup<TConn>): TPopulateResult;
269
+ /**
270
+ * Mirror of `populateFromCitations` for axiom connections. Same
271
+ * factory contract: naked-Q-only, no throw on already-populated.
272
+ *
273
+ * @since 1.0.0
274
+ */
275
+ populateFromAxioms<TConn extends TCoreClaimConnection = TCoreClaimConnection>(derivedClaimId: string, axiomLookup: TClaimConnectionLookup<TConn>): TPopulateResult;
276
+ /**
277
+ * Repair primitive: resolve E-3 violations by deleting each
278
+ * unresolvable claim- or premise-bound variable, cascading the
279
+ * removal across all premises. Returns the violations resolved
280
+ * (for UX confirmation / undo / "we made N changes" feedback).
281
+ *
282
+ * **User-initiated; never auto-runs.** Respects `behavior`: in
283
+ * `'assistive'` mode, the AN post-hook fires after each cascade
284
+ * mutation; in `'permissive'` no AN runs.
285
+ *
286
+ * @since 1.0.0
287
+ */
288
+ removeUnresolvableVariables(): readonly TViolation[];
289
+ /**
290
+ * Repair primitive: resolve E-1 violations (operators with < 2
291
+ * children) by running the AN-3 cleanup pass globally. Returns the
292
+ * violations resolved. The repair is non-meaning-changing — it
293
+ * only removes empty operators and promotes single-child operators
294
+ * — but lives alongside `normalize()` so the UI can present a
295
+ * focused "Remove N orphan operators" action with a precise return
296
+ * value.
297
+ *
298
+ * **User-initiated; never auto-runs.** Bypasses `behavior` —
299
+ * cleanup runs even in permissive mode (the user has already
300
+ * accepted the action by clicking the repair button).
301
+ *
302
+ * @since 1.0.0
303
+ */
304
+ removeOrphanOperators(): readonly TViolation[];
305
+ /**
306
+ * Repair primitive: resolve E-6 violations (claim has > 1
307
+ * derivation premise) by keeping one premise per `derivedClaimId`
308
+ * and deleting the rest. Strategy controls which premise is kept:
309
+ *
310
+ * - `'keep-first'` (default): keep the premise with the
311
+ * lexicographically smallest id; delete the rest. Deterministic
312
+ * and snapshot-stable.
313
+ * - `'keep-largest-antecedent'`: keep the premise whose antecedent
314
+ * subtree has the most claim-bound variable expressions; tie-break
315
+ * by id.
316
+ *
317
+ * **User-initiated; never auto-runs.** Respects `behavior`.
318
+ *
319
+ * @since 1.0.0
320
+ */
321
+ removeDuplicateDerivationPremises(strategy?: "keep-first" | "keep-largest-antecedent"): readonly TViolation[];
322
+ /**
323
+ * Repair primitive: resolve D-3 violations (mixed-grounding
324
+ * antecedent — axioms + citations in one derivation) by deleting
325
+ * every axiom-bound variable expression from the offending
326
+ * antecedent subtree. The remaining citation-bound variables stay,
327
+ * giving the derivation a homogeneous citation-grounded antecedent.
328
+ *
329
+ * **User-initiated; never auto-runs.** Respects `behavior`. In
330
+ * `'assistive'` mode, AN may collapse a resulting single-child OR
331
+ * via AN-3; in `'permissive'` the OR may persist with one child
332
+ * (a downstream D-2 violation — follow up with
333
+ * `removeOrphanOperators()` if desired).
334
+ *
335
+ * @since 1.0.0
143
336
  */
144
- normalizeAllExpressions(): TCoreMutationResult<void, TExpr, TVar, TPremise, TArg>;
337
+ dropAxiomsFromMixedAntecedent(): readonly TViolation[];
338
+ /**
339
+ * Global normalize pass per spec §6. Runs the AN rule set
340
+ * (AN-1..AN-4) everywhere it can fire, converging the argument
341
+ * toward `tier` (defaults to `'presentable'`).
342
+ *
343
+ * `normalize` is non-destructive in the logical-meaning sense — it
344
+ * does not delete variables, change claim references, or modify
345
+ * operator semantics. Recovery from Evaluable or Derivable violations
346
+ * requires user intent and is exposed via the repair primitives
347
+ * (Phase C4).
348
+ *
349
+ * In v1.0 every AN rule targets a Presentable invariant, so calls
350
+ * with `tier` ∈ {'structural', 'evaluable', 'derivable'} are
351
+ * effectively no-ops. The parameter exists as forward-compatible
352
+ * API surface for a future submit/finalize gate.
353
+ *
354
+ * **Bypasses `behavior`.** `normalize()` is user-initiated (the UI
355
+ * invokes it after the user confirms a Tidy / Normalize action), so
356
+ * cleanup runs regardless of whether the engine is in `'assistive'`
357
+ * or `'permissive'` mode. The engine's `behavior` setting is not
358
+ * mutated by this call.
359
+ *
360
+ * @since 1.0.0
361
+ */
362
+ normalize(tier?: TGrammarTier): void;
145
363
  getRoleState(): TCoreArgumentRoleState;
146
364
  setConclusionPremise(premiseId: string): TCoreMutationResult<TCoreArgumentRoleState, TExpr, TVar, TPremise, TArg>;
147
365
  clearConclusionPremise(): TCoreMutationResult<TCoreArgumentRoleState, TExpr, TVar, TPremise, TArg>;
@@ -149,14 +367,14 @@ export declare class ArgumentEngine<TArg extends TCoreArgument = TCoreArgument,
149
367
  listSupportingPremises(): PremiseEngine<TArg, TPremise, TExpr, TVar>[];
150
368
  snapshot(): TArgumentEngineSnapshot<TArg, TPremise, TExpr, TVar>;
151
369
  /** Creates a new ArgumentEngine from a previously captured snapshot. */
152
- static fromSnapshot<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TClaim extends TCoreClaim = TCoreClaim>(snapshot: TArgumentEngineSnapshot<TArg, TPremise, TExpr, TVar>, claimLibrary: TClaimLookup<TClaim>, grammarConfig?: TGrammarConfig, checksumVerification?: "ignore" | "strict", generateId?: () => string): ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>;
370
+ static fromSnapshot<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TClaim extends TCoreClaim = TCoreClaim>(snapshot: TArgumentEngineSnapshot<TArg, TPremise, TExpr, TVar>, claimLibrary: TClaimLookup<TClaim>, checksumVerification?: "ignore" | "strict", generateId?: () => string): ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>;
153
371
  /**
154
372
  * Creates a new ArgumentEngine from flat arrays of entities, as typically
155
373
  * stored in a relational database. Expressions are grouped by their
156
374
  * `premiseId` field and loaded in BFS order (roots first, then children
157
375
  * of already-added nodes) to satisfy parent-existence requirements.
158
376
  */
159
- static fromData<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TClaim extends TCoreClaim = TCoreClaim>(argument: TOptionalChecksum<TArg>, claimLibrary: TClaimLookup<TClaim>, variables: TOptionalChecksum<TVar>[], premises: TOptionalChecksum<TPremise>[], expressions: TExpressionInput<TExpr>[], roles: TCoreArgumentRoleState, config?: TLogicEngineOptions, grammarConfig?: TGrammarConfig, checksumVerification?: "ignore" | "strict"): ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>;
377
+ static fromData<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TClaim extends TCoreClaim = TCoreClaim>(argument: TOptionalChecksum<TArg>, claimLibrary: TClaimLookup<TClaim>, variables: TOptionalChecksum<TVar>[], premises: TOptionalChecksum<TPremise>[], expressions: TExpressionInput<TExpr>[], roles: TCoreArgumentRoleState, config?: TLogicEngineOptions, checksumVerification?: "ignore" | "strict"): ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>;
160
378
  /**
161
379
  * Verifies that all checksum fields in the snapshot match the recomputed
162
380
  * checksums on the restored engine. Throws on the first mismatch.
@@ -190,13 +408,60 @@ export declare class ArgumentEngine<TArg extends TCoreArgument = TCoreArgument,
190
408
  }>;
191
409
  };
192
410
  private validateAfterPremiseMutation;
193
- validate(): TInvariantValidationResult;
411
+ /**
412
+ * Four-tier grammar validation per spec §4. Returns the union of
413
+ * violations from Structural up through `tier` — `'structural'`
414
+ * returns S-rule violations only, `'evaluable'` returns S + E,
415
+ * `'derivable'` returns S + E + D, `'presentable'` returns the full
416
+ * union. Empty array means the argument is at the requested tier
417
+ * or stricter. Never throws on grammar issues.
418
+ *
419
+ * For the legacy pre-1.0 invariant sweep (schema conformance,
420
+ * reference integrity, ownership, conclusion ref, circularity,
421
+ * checksums) use {@link validateInvariants} instead. The pre-1.0
422
+ * no-arg overload of `validate()` was removed in Phase D4.
423
+ */
424
+ validate(tier: TGrammarTier): readonly TViolation[];
425
+ /**
426
+ * Legacy invariant sweep — schema conformance, reference integrity,
427
+ * ownership, conclusion-ref + circularity, checksum stability, and
428
+ * per-premise validation. Returns a `TInvariantValidationResult`.
429
+ * Used internally by mutation-rollback and snapshot-load paths and
430
+ * exposed publicly for library-wide invariant checks (see
431
+ * `ArgumentLibrary.validate` and `PropositCore.validate`).
432
+ *
433
+ * Distinct from {@link validate}, which runs the four-tier grammar
434
+ * validator (`Structural ⊇ Evaluable ⊇ Derivable ⊇ Presentable`)
435
+ * and returns a `readonly TViolation[]`. The two are
436
+ * complementary — grammar tiers cover AST-shape rules; this method
437
+ * covers schema/reference/structural-bookkeeping invariants that
438
+ * sit outside the tier hierarchy.
439
+ *
440
+ * @since 1.0.0 — replaces the legacy `validate()` no-arg overload
441
+ * removed in Phase D4 of the `grammar-tiers/core` branch.
442
+ */
443
+ validateInvariants(): TInvariantValidationResult;
444
+ /**
445
+ * Construct the pure-data `TValidatorContext` consumed by the
446
+ * grammar-tier validators. Claims are gathered by walking the
447
+ * engine's claim-bound variables and looking each one up in the
448
+ * claim library — the `TClaimLookup` contract doesn't expose
449
+ * iteration, so we materialize the referenced subset only.
450
+ */
451
+ private asGrammarValidatorContext;
194
452
  validateEvaluability(): TCoreValidationResult;
195
453
  /**
196
454
  * Returns the derivation-specific subset of `validateEvaluability` checks.
197
455
  * Apps can pre-check derivation premise structures before invoking the full
198
456
  * evaluation pipeline.
199
457
  *
458
+ * Violations carry the underlying `DERIVATION_STRUCTURE_INVALID` code
459
+ * (per the derivation-validation utility). The pre-1.0
460
+ * `DERIVATION_STRUCTURE_INVALID_AT_EVALUATION` override was removed in
461
+ * Phase D4 alongside the legacy `validate()` no-arg overload — naked-Q
462
+ * is a valid Derivable state (per spec §4.2) and is skipped by
463
+ * evaluation rather than thrown.
464
+ *
200
465
  * @since 0.11.0
201
466
  */
202
467
  validateDerivationStructures(): TInvariantValidationResult;
@@ -1 +1 @@
1
- {"version":3,"file":"argument-engine.d.ts","sourceRoot":"","sources":["../../../src/lib/core/argument-engine.ts"],"names":[],"mappings":"AAAA,OAAO,EAGH,KAAK,mBAAmB,EACxB,KAAK,qBAAqB,EAC1B,KAAK,aAAa,EAClB,KAAK,UAAU,EAEf,KAAK,YAAY,EACjB,KAAK,4BAA4B,EACjC,KAAK,0BAA0B,EAC/B,KAAK,iBAAiB,EACzB,MAAM,sBAAsB,CAAA;AAC7B,OAAO,KAAK,EACR,8BAA8B,EAC9B,6BAA6B,EAC7B,sBAAsB,EACtB,yBAAyB,EACzB,qBAAqB,EACrB,yBAAyB,EACzB,wBAAwB,EAE3B,MAAM,wBAAwB,CAAA;AAC/B,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAC/D,OAAO,EAGH,KAAK,cAAc,EACtB,MAAM,qBAAqB,CAAA;AAC5B,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAC/D,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,wBAAwB,CAAA;AAcxE,OAAO,KAAK,EAAE,mBAAmB,EAAkB,MAAM,sBAAsB,CAAA;AAC/E,OAAO,KAAK,EACR,iBAAiB,EAEpB,MAAM,sBAAsB,CAAA;AAqB7B,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAA;AAE/D,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACnD,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAA;AAEjE,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,uBAAuB,CAAA;AACrE,OAAO,KAAK,EACR,YAAY,EACZ,mBAAmB,EACnB,0BAA0B,EAC1B,kBAAkB,EAClB,mBAAmB,EACnB,kBAAkB,EAClB,iBAAiB,EACjB,YAAY,EACZ,0BAA0B,EAC1B,YAAY,EACf,MAAM,uBAAuB,CAAA;AAE9B,wFAAwF;AACxF,eAAO,MAAM,iBAAiB,QAAO,MAAwC,CAAA;AAE7E,MAAM,MAAM,mBAAmB,GAAG;IAC9B,cAAc,CAAC,EAAE,mBAAmB,CAAA;IACpC,cAAc,CAAC,EAAE,mBAAmB,CAAA;IACpC,aAAa,CAAC,EAAE,cAAc,CAAA;IAC9B,uFAAuF;IACvF,UAAU,CAAC,EAAE,MAAM,MAAM,CAAA;CAC5B,CAAA;AAED,MAAM,MAAM,uBAAuB,CAC/B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,IACpE;IACA,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,CAAA;IACjC,SAAS,EAAE,wBAAwB,CAAC,IAAI,CAAC,CAAA;IACzC,QAAQ,EAAE,sBAAsB,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAA;IACnD,mBAAmB,CAAC,EAAE,MAAM,CAAA;IAC5B,MAAM,CAAC,EAAE,mBAAmB,CAAA;CAC/B,CAAA;AAED;;;;;;GAMG;AACH,qBAAa,cAAc,CACvB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,CAEtC,YACI,YAAY,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EACzC,mBAAmB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAChD,0BAA0B,CAAC,KAAK,CAAC,EACjC,kBAAkB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC/C,mBAAmB,EACnB,kBAAkB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC/C,iBAAiB,CAAC,IAAI,CAAC,EACvB,YAAY,EACZ,0BAA0B,CAAC,UAAU,GAAG,WAAW,CAAC;IAExD,OAAO,CAAC,QAAQ,CAAyB;IACzC,OAAO,CAAC,QAAQ,CAAyD;IACzE,OAAO,CAAC,SAAS,CAAuB;IACxC,OAAO,CAAC,YAAY,CAAsB;IAC1C,OAAO,CAAC,mBAAmB,CAAoB;IAC/C,OAAO,CAAC,cAAc,CAAC,CAAqB;IAC5C,OAAO,CAAC,cAAc,CAAC,CAAqB;IAC5C,OAAO,CAAC,aAAa,CAAC,CAAgB;IACtC,OAAO,CAAC,UAAU,CAAc;IAChC,OAAO,CAAC,qBAAqB,CAAQ;IACrC,OAAO,CAAC,aAAa,CAAO;IAC5B,OAAO,CAAC,kBAAkB,CAAoB;IAC9C,OAAO,CAAC,wBAAwB,CAA2B;IAC3D,OAAO,CAAC,sBAAsB,CAAoB;IAClD,OAAO,CAAC,gCAAgC,CAA2B;IACnE,OAAO,CAAC,iCAAiC,CAA2B;IACpE,OAAO,CAAC,eAAe,CAAqB;IAC5C,OAAO,CAAC,SAAS,CAAwB;IACzC,OAAO,CAAC,aAAa,CAMpB;IACD,OAAO,CAAC,sBAAsB,CAEf;gBAGX,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,EACjC,YAAY,EAAE,YAAY,CAAC,MAAM,CAAC,EAClC,OAAO,CAAC,EAAE,mBAAmB;IAkBjC,OAAO,CAAC,sBAAsB;IAS9B,OAAO,CAAC,gBAAgB;IA0CxB,OAAO,CAAC,oBAAoB;IAM5B,OAAO,CAAC,0BAA0B;IAiBlC,OAAO,CAAC,oBAAoB;IAUrB,SAAS,GAAI,UAAU,MAAM,IAAI,KAAG,CAAC,MAAM,IAAI,CAAC,CAKtD;IAED,SAAS,CAAC,iBAAiB,IAAI,IAAI;IAMnC,OAAO,CAAC,eAAe;IAUvB,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,oBAAoB,CAG3C;IAED,OAAO,CAAC,yBAAyB;IAQjC,OAAO,CAAC,wBAAwB;IAQhC,SAAS,CAAC,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC;IA0BpC,WAAW,QAAO,iBAAiB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,CAEtE;IAED,SAAS,CAAC,qBAAqB,IAAI,iBAAiB,CAChD,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,CACP;IAyED,OAAO,CAAC,oBAAoB;IAQ5B,OAAO,CAAC,sBAAsB;IAc9B,OAAO,CAAC,kBAAkB;IAc1B,OAAO,CAAC,iBAAiB;IAmClB,WAAW,IAAI,IAAI;IAUnB,SAAS,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAYpC,SAAS,CACZ,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAChC,mBAAmB,CAClB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACvB,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAoBM,YAAY,CACf,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACjC,mBAAmB,CAClB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACvB,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAIM,eAAe,IAAI,MAAM;IA0BhC,6FAA6F;IAC7F,OAAO,CAAC,MAAM,CAAC,wBAAwB;IA4ChC,aAAa,IAAI,mBAAmB,CACvC,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IACM,aAAa,CAChB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,EAC3C,MAAM,EAAE,MAAM,GACf,mBAAmB,CAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IACM,aAAa,CAChB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC/B,MAAM,CAAC,EAAE,MAAM,GAChB,mBAAmB,CAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IACM,aAAa,CAAC,OAAO,EAAE;QAC1B,IAAI,CAAC,EAAE,UAAU,GAAG,YAAY,CAAA;QAChC,cAAc,CAAC,EAAE,MAAM,CAAA;QACvB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;QAChC,MAAM,CAAC,EAAE,MAAM,CAAA;KAClB,GAAG,mBAAmB,CACnB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAyBM,mBAAmB,CACtB,EAAE,EAAE,MAAM,EACV,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAChC,MAAM,CAAC,EAAE,MAAM,GAChB,mBAAmB,CAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IACM,mBAAmB,CACtB,EAAE,EAAE,MAAM,EACV,OAAO,EAAE;QACL,IAAI,CAAC,EAAE,UAAU,GAAG,YAAY,CAAA;QAChC,cAAc,CAAC,EAAE,MAAM,CAAA;QACvB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;QAChC,MAAM,CAAC,EAAE,MAAM,CAAA;KAClB,GACF,mBAAmB,CAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAwLM,aAAa,CAChB,SAAS,EAAE,MAAM,GAClB,mBAAmB,CAAC,QAAQ,GAAG,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAuClE,UAAU,CACb,SAAS,EAAE,MAAM,GAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,SAAS;IAIlD,UAAU,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO;IAItC,cAAc,IAAI,MAAM,EAAE;IAM1B,YAAY,IAAI,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE;IAS5D,WAAW,CACd,QAAQ,EAAE,iBAAiB,CAAC,mBAAmB,CAAC,GAC5C,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC5B,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IA4CzD;;;;;;;;;;OAUG;IACI,wBAAwB,CAAC,OAAO,EAAE,MAAM,GAAG,mBAAmB;IA4C9D,qBAAqB,CACxB,QAAQ,EAAE,iBAAiB,CAAC,qBAAqB,CAAC,GAC9C,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC5B,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAqCzD,uFAAuF;IAChF,6BAA6B,CAChC,QAAQ,EAAE,iBAAiB,CAAC,qBAAqB,CAAC,GAC9C,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC5B,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IA0CzD,2FAA2F;IACpF,sBAAsB,CACzB,QAAQ,EAAE,IAAI,CACV,iBAAiB,CAAC,qBAAqB,CAAC,EACxC,gBAAgB,CACnB,GACG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC3B,mBAAmB,EAAE,MAAM,GAC5B,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAOlD,cAAc,CACjB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACjC,mBAAmB,CAAC,IAAI,GAAG,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IA8FrE,OAAO,CAAC,kBAAkB;IA8BnB,cAAc,CACjB,UAAU,EAAE,MAAM,GACnB,mBAAmB,CAAC,IAAI,GAAG,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAM9D,YAAY,IAAI,IAAI,EAAE;IAItB,WAAW,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS;IAIjD,WAAW,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO;IAIxC,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS;IAIrD,kBAAkB,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,IAAI,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC;IAQ1D,0BAA0B,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,EAAE;IAOrD,aAAa,CAAC,YAAY,EAAE,MAAM,GAAG,KAAK,GAAG,SAAS;IAMtD,aAAa,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO;IAI5C,sBAAsB,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAIhE,yBAAyB,CAC5B,YAAY,EAAE,MAAM,GACrB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,SAAS;IAMlD,iBAAiB,IAAI,KAAK,EAAE;IAQ5B,0BAA0B,CAAC,UAAU,EAAE,MAAM,GAAG,KAAK,EAAE;IAiBvD,mBAAmB,IAAI,KAAK,EAAE;IASrC;;;;OAIG;IACI,uBAAuB,IAAI,mBAAmB,CACjD,IAAI,EACJ,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAoBM,YAAY,IAAI,sBAAsB;IAQtC,oBAAoB,CACvB,SAAS,EAAE,MAAM,GAClB,mBAAmB,CAClB,sBAAsB,EACtB,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAkBM,sBAAsB,IAAI,mBAAmB,CAChD,sBAAsB,EACtB,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAcM,oBAAoB,IACrB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAC1C,SAAS;IAOR,sBAAsB,IAAI,aAAa,CAC1C,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,CACP,EAAE;IAMI,QAAQ,IAAI,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC;IAsBvE,wEAAwE;WAC1D,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,MAAM,SAAS,UAAU,GAAG,UAAU,EAEtC,QAAQ,EAAE,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC9D,YAAY,EAAE,YAAY,CAAC,MAAM,CAAC,EAClC,aAAa,CAAC,EAAE,cAAc,EAC9B,oBAAoB,CAAC,EAAE,QAAQ,GAAG,QAAQ,EAC1C,UAAU,CAAC,EAAE,MAAM,MAAM,GAC1B,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC;IAuGtD;;;;;OAKG;WACW,QAAQ,CAClB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GACtC,4BAA4B,EAChC,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EAEtC,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,EACjC,YAAY,EAAE,YAAY,CAAC,MAAM,CAAC,EAClC,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,EAAE,EACpC,QAAQ,EAAE,iBAAiB,CAAC,QAAQ,CAAC,EAAE,EACvC,WAAW,EAAE,gBAAgB,CAAC,KAAK,CAAC,EAAE,EACtC,KAAK,EAAE,sBAAsB,EAC7B,MAAM,CAAC,EAAE,mBAAmB,EAC5B,aAAa,CAAC,EAAE,cAAc,EAC9B,oBAAoB,CAAC,EAAE,QAAQ,GAAG,QAAQ,GAC3C,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC;IAuItD;;;OAGG;IACH,OAAO,CAAC,MAAM,CAAC,uBAAuB;IA4FtC;;;OAGG;IACH,OAAO,CAAC,MAAM,CAAC,mBAAmB;IAiE3B,QAAQ,CACX,QAAQ,EAAE,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAC/D,IAAI;IAUP,OAAO,CAAC,gBAAgB;IAkDjB,QAAQ,IAAI,MAAM;IAOlB,kBAAkB,IAAI,MAAM,GAAG,IAAI;IAOnC,gBAAgB,IAAI,MAAM;IAO1B,qBAAqB,CACxB,IAAI,EAAE,UAAU,GAAG,WAAW,GAC/B,MAAM,GAAG,IAAI;IAST,cAAc,IAAI,IAAI;IAuE7B,OAAO,CAAC,SAAS;IASjB,sEAAsE;IACtE,OAAO,CAAC,oBAAoB;IAM5B,OAAO,CAAC,sBAAsB;IAavB,0BAA0B,IAAI;QACjC,WAAW,EAAE,MAAM,EAAE,CAAA;QACrB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE;YAAE,MAAM,EAAE,MAAM,CAAC;YAAC,UAAU,EAAE,MAAM,EAAE,CAAA;SAAE,CAAC,CAAA;QAC9D,QAAQ,EAAE,MAAM,CACZ,MAAM,EACN;YAAE,WAAW,EAAE,MAAM,EAAE,CAAC;YAAC,UAAU,EAAE,MAAM,EAAE,CAAA;SAAE,CAClD,CAAA;KACJ;IAMD,OAAO,CAAC,4BAA4B;IAM7B,QAAQ,IAAI,0BAA0B;IAItC,oBAAoB,IAAI,qBAAqB;IASpD;;;;;;OAMG;IACI,4BAA4B,IAAI,0BAA0B;IAWjE,OAAO,CAAC,gCAAgC;IAcxC,OAAO,CAAE,2BAA2B;IAuBpC,OAAO,CAAC,mBAAmB;IAiC3B,OAAO,CAAC,mBAAmB;IAmB3B;;;;;OAKG;IACH,OAAO,CAAC,8BAA8B;IAetC;;;;;;;;OAQG;IACH,OAAO,CAAC,+BAA+B;IAoBvC;;;;OAIG;IACH,OAAO,CAAC,4BAA4B;IAI7B,QAAQ,CACX,UAAU,EAAE,yBAAyB,EACrC,OAAO,CAAC,EAAE,8BAA8B,GACzC,6BAA6B;IAezB,aAAa,CAChB,OAAO,CAAC,EAAE,yBAAyB,GACpC,wBAAwB;IAwB3B;;;OAGG;IACI,OAAO,IAAI,OAAO;IAIzB;;;OAGG;IACH,SAAS,CAAC,OAAO,CACb,gBAAgB,EAAE,MAAM,EACxB,qBAAqB,EAAE,MAAM,GAC9B,OAAO;CAGb"}
1
+ {"version":3,"file":"argument-engine.d.ts","sourceRoot":"","sources":["../../../src/lib/core/argument-engine.ts"],"names":[],"mappings":"AAAA,OAAO,EAGH,KAAK,mBAAmB,EACxB,KAAK,qBAAqB,EAC1B,KAAK,aAAa,EAClB,KAAK,UAAU,EAEf,KAAK,YAAY,EACjB,KAAK,4BAA4B,EACjC,KAAK,0BAA0B,EAC/B,KAAK,iBAAiB,EACzB,MAAM,sBAAsB,CAAA;AAC7B,OAAO,KAAK,EACR,8BAA8B,EAC9B,6BAA6B,EAC7B,sBAAsB,EACtB,yBAAyB,EACzB,qBAAqB,EACrB,yBAAyB,EACzB,wBAAwB,EAE3B,MAAM,wBAAwB,CAAA;AAC/B,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAC/D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAC/D,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,wBAAwB,CAAA;AAaxE,OAAO,KAAK,EAAE,mBAAmB,EAAkB,MAAM,sBAAsB,CAAA;AAC/E,OAAO,KAAK,EACR,iBAAiB,EAEpB,MAAM,sBAAsB,CAAA;AAqB7B,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAA;AAI/D,OAAO,EAEH,KAAK,eAAe,EACvB,MAAM,6BAA6B,CAAA;AAQpC,OAAO,KAAK,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAA;AAEnE,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,iCAAiC,CAAA;AAC3E,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAA;AAEhF,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACnD,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAA;AAEjE,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,uBAAuB,CAAA;AACrE,OAAO,KAAK,EACR,YAAY,EACZ,mBAAmB,EACnB,0BAA0B,EAC1B,kBAAkB,EAClB,mBAAmB,EACnB,kBAAkB,EAClB,iBAAiB,EACjB,YAAY,EACZ,0BAA0B,EAC1B,YAAY,EACf,MAAM,uBAAuB,CAAA;AAE9B,wFAAwF;AACxF,eAAO,MAAM,iBAAiB,QAAO,MAAwC,CAAA;AAE7E,MAAM,MAAM,mBAAmB,GAAG;IAC9B,cAAc,CAAC,EAAE,mBAAmB,CAAA;IACpC,cAAc,CAAC,EAAE,mBAAmB,CAAA;IACpC;;;;;;;;;;;;;;;;OAgBG;IACH,QAAQ,CAAC,EAAE,WAAW,GAAG,YAAY,CAAA;IACrC,uFAAuF;IACvF,UAAU,CAAC,EAAE,MAAM,MAAM,CAAA;CAC5B,CAAA;AAED,MAAM,MAAM,uBAAuB,CAC/B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,IACpE;IACA,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,CAAA;IACjC,SAAS,EAAE,wBAAwB,CAAC,IAAI,CAAC,CAAA;IACzC,QAAQ,EAAE,sBAAsB,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAA;IACnD,mBAAmB,CAAC,EAAE,MAAM,CAAA;IAC5B,MAAM,CAAC,EAAE,mBAAmB,CAAA;CAC/B,CAAA;AAED;;;;;;GAMG;AACH,qBAAa,cAAc,CACvB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,CAEtC,YACI,YAAY,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EACzC,mBAAmB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAChD,0BAA0B,CAAC,KAAK,CAAC,EACjC,kBAAkB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC/C,mBAAmB,EACnB,kBAAkB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC/C,iBAAiB,CAAC,IAAI,CAAC,EACvB,YAAY,EACZ,0BAA0B,CAAC,UAAU,GAAG,WAAW,CAAC;IAExD,OAAO,CAAC,QAAQ,CAAyB;IACzC,OAAO,CAAC,QAAQ,CAAyD;IACzE,OAAO,CAAC,SAAS,CAAuB;IACxC,OAAO,CAAC,YAAY,CAAsB;IAC1C,OAAO,CAAC,mBAAmB,CAAoB;IAC/C,OAAO,CAAC,cAAc,CAAC,CAAqB;IAC5C,OAAO,CAAC,cAAc,CAAC,CAAqB;IAC5C,OAAO,CAAC,cAAc,CAA4B;IAClD,OAAO,CAAC,UAAU,CAAc;IAChC,OAAO,CAAC,qBAAqB,CAAQ;IAerC,OAAO,CAAC,UAAU,CAAQ;IAC1B,OAAO,CAAC,aAAa,CAAO;IAC5B,OAAO,CAAC,kBAAkB,CAAoB;IAC9C,OAAO,CAAC,wBAAwB,CAA2B;IAC3D,OAAO,CAAC,sBAAsB,CAAoB;IAClD,OAAO,CAAC,gCAAgC,CAA2B;IACnE,OAAO,CAAC,iCAAiC,CAA2B;IACpE,OAAO,CAAC,eAAe,CAAqB;IAC5C,OAAO,CAAC,SAAS,CAAwB;IACzC,OAAO,CAAC,aAAa,CAMpB;IACD,OAAO,CAAC,sBAAsB,CAEf;gBAGX,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,EACjC,YAAY,EAAE,YAAY,CAAC,MAAM,CAAC,EAClC,OAAO,CAAC,EAAE,mBAAmB;IAkBjC,OAAO,CAAC,sBAAsB;IAS9B,OAAO,CAAC,gBAAgB;IA0CxB,OAAO,CAAC,oBAAoB;IAM5B,OAAO,CAAC,0BAA0B;IAiBlC,OAAO,CAAC,oBAAoB;IAUrB,SAAS,GAAI,UAAU,MAAM,IAAI,KAAG,CAAC,MAAM,IAAI,CAAC,CAKtD;IAED,SAAS,CAAC,iBAAiB,IAAI,IAAI;IAMnC,OAAO,CAAC,eAAe;IAUvB,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,oBAAoB,CAG3C;IAED,OAAO,CAAC,yBAAyB;IAQjC,OAAO,CAAC,wBAAwB;IAQhC,SAAS,CAAC,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC;IA0BpC,WAAW,QAAO,iBAAiB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,CAEtE;IAED,SAAS,CAAC,qBAAqB,IAAI,iBAAiB,CAChD,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,CACP;IAyED,OAAO,CAAC,oBAAoB;IAQ5B,OAAO,CAAC,sBAAsB;IAc9B,OAAO,CAAC,kBAAkB;IAc1B,OAAO,CAAC,iBAAiB;IAmCzB;;;;;;;OAOG;IACH,IAAW,QAAQ,IAAI,WAAW,GAAG,YAAY,CAEhD;IAED;;;;;;;;;;;;;;;;;;OAkBG;IACH,IAAW,WAAW,IAAI,MAAM,MAAM,CAErC;IAED;;;;;;;;;;;;;;;OAeG;IACI,WAAW,CAAC,CAAC,EAAE,WAAW,GAAG,YAAY,GAAG,IAAI;IAIvD;;;;;;;;;;;;;;;;;;OAkBG;IACI,YAAY,IAAI,OAAO;IAM9B;;;;;OAKG;IACI,UAAU,IAAI,IAAI;IAIlB,WAAW,IAAI,IAAI;IAUnB,SAAS,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAYpC,SAAS,CACZ,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAChC,mBAAmB,CAClB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACvB,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAoBM,YAAY,CACf,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACjC,mBAAmB,CAClB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACvB,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAIM,eAAe,IAAI,MAAM;IA0BhC,6FAA6F;IAC7F,OAAO,CAAC,MAAM,CAAC,wBAAwB;IA4ChC,aAAa,IAAI,mBAAmB,CACvC,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IACM,aAAa,CAChB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,EAC3C,MAAM,EAAE,MAAM,GACf,mBAAmB,CAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IACM,aAAa,CAChB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC/B,MAAM,CAAC,EAAE,MAAM,GAChB,mBAAmB,CAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IACM,aAAa,CAAC,OAAO,EAAE;QAC1B,IAAI,CAAC,EAAE,UAAU,GAAG,YAAY,CAAA;QAChC,cAAc,CAAC,EAAE,MAAM,CAAA;QACvB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;QAChC,MAAM,CAAC,EAAE,MAAM,CAAA;KAClB,GAAG,mBAAmB,CACnB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAyBM,mBAAmB,CACtB,EAAE,EAAE,MAAM,EACV,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAChC,MAAM,CAAC,EAAE,MAAM,GAChB,mBAAmB,CAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IACM,mBAAmB,CACtB,EAAE,EAAE,MAAM,EACV,OAAO,EAAE;QACL,IAAI,CAAC,EAAE,UAAU,GAAG,YAAY,CAAA;QAChC,cAAc,CAAC,EAAE,MAAM,CAAA;QACvB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;QAChC,MAAM,CAAC,EAAE,MAAM,CAAA;KAClB,GACF,mBAAmB,CAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAiMM,aAAa,CAChB,SAAS,EAAE,MAAM,GAClB,mBAAmB,CAAC,QAAQ,GAAG,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAuClE,UAAU,CACb,SAAS,EAAE,MAAM,GAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,SAAS;IAIlD,UAAU,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO;IAItC,cAAc,IAAI,MAAM,EAAE;IAM1B,YAAY,IAAI,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE;IAS5D,WAAW,CACd,QAAQ,EAAE,iBAAiB,CAAC,mBAAmB,CAAC,GAC5C,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC5B,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IA4CzD;;;;;;;;;;OAUG;IACI,wBAAwB,CAAC,OAAO,EAAE,MAAM,GAAG,mBAAmB;IA4C9D,qBAAqB,CACxB,QAAQ,EAAE,iBAAiB,CAAC,qBAAqB,CAAC,GAC9C,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC5B,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAqCzD,uFAAuF;IAChF,6BAA6B,CAChC,QAAQ,EAAE,iBAAiB,CAAC,qBAAqB,CAAC,GAC9C,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC5B,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IA0CzD,2FAA2F;IACpF,sBAAsB,CACzB,QAAQ,EAAE,IAAI,CACV,iBAAiB,CAAC,qBAAqB,CAAC,EACxC,gBAAgB,CACnB,GACG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC3B,mBAAmB,EAAE,MAAM,GAC5B,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAOlD,cAAc,CACjB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACjC,mBAAmB,CAAC,IAAI,GAAG,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IA8FrE,OAAO,CAAC,kBAAkB;IA8BnB,cAAc,CACjB,UAAU,EAAE,MAAM,GACnB,mBAAmB,CAAC,IAAI,GAAG,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAM9D,YAAY,IAAI,IAAI,EAAE;IAItB,WAAW,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS;IAIxD;;;;;;;;OAQG;IACI,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAInE,WAAW,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO;IAIxC,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS;IAIrD,kBAAkB,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,IAAI,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC;IAQ1D,0BAA0B,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,EAAE;IAOrD,aAAa,CAAC,YAAY,EAAE,MAAM,GAAG,KAAK,GAAG,SAAS;IAMtD,aAAa,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO;IAI5C,sBAAsB,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAIhE,yBAAyB,CAC5B,YAAY,EAAE,MAAM,GACrB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,SAAS;IAMlD,iBAAiB,IAAI,KAAK,EAAE;IAQ5B,0BAA0B,CAAC,UAAU,EAAE,MAAM,GAAG,KAAK,EAAE;IAiBvD,mBAAmB,IAAI,KAAK,EAAE;IASrC;;;;;;;;;;;;;;;;;;;;;;;;OAwBG;IACI,qBAAqB,CACxB,KAAK,SAAS,oBAAoB,GAAG,oBAAoB,EAEzD,cAAc,EAAE,MAAM,EACtB,cAAc,EAAE,sBAAsB,CAAC,KAAK,CAAC,GAC9C,eAAe;IAIlB;;;;;OAKG;IACI,kBAAkB,CACrB,KAAK,SAAS,oBAAoB,GAAG,oBAAoB,EAEzD,cAAc,EAAE,MAAM,EACtB,WAAW,EAAE,sBAAsB,CAAC,KAAK,CAAC,GAC3C,eAAe;IAIlB;;;;;;;;;;;OAWG;IACI,2BAA2B,IAAI,SAAS,UAAU,EAAE;IAI3D;;;;;;;;;;;;;;OAcG;IACI,qBAAqB,IAAI,SAAS,UAAU,EAAE;IAIrD;;;;;;;;;;;;;;;OAeG;IACI,iCAAiC,CACpC,QAAQ,GAAE,YAAY,GAAG,yBAAwC,GAClE,SAAS,UAAU,EAAE;IAIxB;;;;;;;;;;;;;;OAcG;IACI,6BAA6B,IAAI,SAAS,UAAU,EAAE;IAI7D;;;;;;;;;;;;;;;;;;;;;;;OAuBG;IACI,SAAS,CAAC,IAAI,GAAE,YAA4B,GAAG,IAAI;IAUnD,YAAY,IAAI,sBAAsB;IAQtC,oBAAoB,CACvB,SAAS,EAAE,MAAM,GAClB,mBAAmB,CAClB,sBAAsB,EACtB,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAkBM,sBAAsB,IAAI,mBAAmB,CAChD,sBAAsB,EACtB,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAcM,oBAAoB,IACrB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAC1C,SAAS;IAOR,sBAAsB,IAAI,aAAa,CAC1C,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,CACP,EAAE;IAMI,QAAQ,IAAI,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC;IAiCvE,wEAAwE;WAC1D,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,MAAM,SAAS,UAAU,GAAG,UAAU,EAEtC,QAAQ,EAAE,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC9D,YAAY,EAAE,YAAY,CAAC,MAAM,CAAC,EAClC,oBAAoB,CAAC,EAAE,QAAQ,GAAG,QAAQ,EAC1C,UAAU,CAAC,EAAE,MAAM,MAAM,GAC1B,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC;IAsGtD;;;;;OAKG;WACW,QAAQ,CAClB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GACtC,4BAA4B,EAChC,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EAEtC,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,EACjC,YAAY,EAAE,YAAY,CAAC,MAAM,CAAC,EAClC,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,EAAE,EACpC,QAAQ,EAAE,iBAAiB,CAAC,QAAQ,CAAC,EAAE,EACvC,WAAW,EAAE,gBAAgB,CAAC,KAAK,CAAC,EAAE,EACtC,KAAK,EAAE,sBAAsB,EAC7B,MAAM,CAAC,EAAE,mBAAmB,EAC5B,oBAAoB,CAAC,EAAE,QAAQ,GAAG,QAAQ,GAC3C,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC;IA+HtD;;;OAGG;IACH,OAAO,CAAC,MAAM,CAAC,uBAAuB;IA4FtC;;;OAGG;IACH,OAAO,CAAC,MAAM,CAAC,mBAAmB;IAiE3B,QAAQ,CACX,QAAQ,EAAE,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAC/D,IAAI;IAUP,OAAO,CAAC,gBAAgB;IAuDjB,QAAQ,IAAI,MAAM;IAOlB,kBAAkB,IAAI,MAAM,GAAG,IAAI;IAOnC,gBAAgB,IAAI,MAAM;IAO1B,qBAAqB,CACxB,IAAI,EAAE,UAAU,GAAG,WAAW,GAC/B,MAAM,GAAG,IAAI;IAST,cAAc,IAAI,IAAI;IAuE7B,OAAO,CAAC,SAAS;IASjB,sEAAsE;IACtE,OAAO,CAAC,oBAAoB;IAM5B,OAAO,CAAC,sBAAsB;IAavB,0BAA0B,IAAI;QACjC,WAAW,EAAE,MAAM,EAAE,CAAA;QACrB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE;YAAE,MAAM,EAAE,MAAM,CAAC;YAAC,UAAU,EAAE,MAAM,EAAE,CAAA;SAAE,CAAC,CAAA;QAC9D,QAAQ,EAAE,MAAM,CACZ,MAAM,EACN;YAAE,WAAW,EAAE,MAAM,EAAE,CAAC;YAAC,UAAU,EAAE,MAAM,EAAE,CAAA;SAAE,CAClD,CAAA;KACJ;IAMD,OAAO,CAAC,4BAA4B;IAMpC;;;;;;;;;;;;OAYG;IACI,QAAQ,CAAC,IAAI,EAAE,YAAY,GAAG,SAAS,UAAU,EAAE;IAI1D;;;;;;;;;;;;;;;;;OAiBG;IACI,kBAAkB,IAAI,0BAA0B;IAIvD;;;;;;OAMG;IACH,OAAO,CAAC,yBAAyB;IAuC1B,oBAAoB,IAAI,qBAAqB;IASpD;;;;;;;;;;;;;OAaG;IACI,4BAA4B,IAAI,0BAA0B;IAQjE,OAAO,CAAC,gCAAgC;IAcxC,OAAO,CAAE,2BAA2B;IAuBpC,OAAO,CAAC,mBAAmB;IAiC3B,OAAO,CAAC,mBAAmB;IAyC3B;;;;;OAKG;IACH,OAAO,CAAC,8BAA8B;IAetC;;;;;;;;OAQG;IACH,OAAO,CAAC,+BAA+B;IAoBvC;;;;OAIG;IACH,OAAO,CAAC,4BAA4B;IAI7B,QAAQ,CACX,UAAU,EAAE,yBAAyB,EACrC,OAAO,CAAC,EAAE,8BAA8B,GACzC,6BAA6B;IAezB,aAAa,CAChB,OAAO,CAAC,EAAE,yBAAyB,GACpC,wBAAwB;IAwB3B;;;OAGG;IACI,OAAO,IAAI,OAAO;IAIzB;;;OAGG;IACH,SAAS,CAAC,OAAO,CACb,gBAAgB,EAAE,MAAM,EACxB,qBAAqB,EAAE,MAAM,GAC9B,OAAO;CAGb"}