@proposit/proposit-core 1.7.2 → 1.9.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/cli/commands/parse.d.ts.map +1 -1
- package/dist/cli/commands/parse.js +10 -11
- package/dist/cli/commands/parse.js.map +1 -1
- package/dist/cli/commands/repair.js +1 -1
- package/dist/cli/commands/repair.js.map +1 -1
- package/dist/cli/commands/validate.js +1 -1
- package/dist/cli/commands/validate.js.map +1 -1
- package/dist/cli/engine.js +4 -4
- package/dist/cli/engine.js.map +1 -1
- package/dist/cli/import.js +1 -1
- package/dist/cli/import.js.map +1 -1
- package/dist/cli/llm/index.js +2 -2
- package/dist/cli/llm/index.js.map +1 -1
- package/dist/extensions/argument-ingestion/shared/basics-extension.js +3 -3
- package/dist/extensions/argument-ingestion/shared/basics-extension.js.map +1 -1
- package/dist/extensions/argument-ingestion/shared/finalize-response-v2.d.ts.map +1 -1
- package/dist/extensions/argument-ingestion/shared/finalize-response-v2.js +1 -2
- package/dist/extensions/argument-ingestion/shared/finalize-response-v2.js.map +1 -1
- package/dist/extensions/argument-ingestion/shared/resolve-llm-stage-options.d.ts.map +1 -1
- package/dist/extensions/argument-ingestion/shared/resolve-llm-stage-options.js +11 -0
- package/dist/extensions/argument-ingestion/shared/resolve-llm-stage-options.js.map +1 -1
- package/dist/extensions/argument-ingestion/shared/types.d.ts +15 -2
- package/dist/extensions/argument-ingestion/shared/types.d.ts.map +1 -1
- package/dist/extensions/argument-ingestion/stages/axiom-indicator-detection.d.ts.map +1 -1
- package/dist/extensions/argument-ingestion/stages/axiom-indicator-detection.js +1 -0
- package/dist/extensions/argument-ingestion/stages/axiom-indicator-detection.js.map +1 -1
- package/dist/extensions/argument-ingestion/stages/citation-source-detection.d.ts.map +1 -1
- package/dist/extensions/argument-ingestion/stages/citation-source-detection.js +1 -0
- package/dist/extensions/argument-ingestion/stages/citation-source-detection.js.map +1 -1
- package/dist/extensions/argument-ingestion/stages/claim-canonicalization.d.ts.map +1 -1
- package/dist/extensions/argument-ingestion/stages/claim-canonicalization.js +1 -0
- package/dist/extensions/argument-ingestion/stages/claim-canonicalization.js.map +1 -1
- package/dist/extensions/argument-ingestion/stages/claim-mention-extraction.d.ts.map +1 -1
- package/dist/extensions/argument-ingestion/stages/claim-mention-extraction.js +1 -0
- package/dist/extensions/argument-ingestion/stages/claim-mention-extraction.js.map +1 -1
- package/dist/extensions/argument-ingestion/stages/claim-type-classification.d.ts.map +1 -1
- package/dist/extensions/argument-ingestion/stages/claim-type-classification.js +1 -0
- package/dist/extensions/argument-ingestion/stages/claim-type-classification.js.map +1 -1
- package/dist/extensions/argument-ingestion/stages/conclusion-selection.d.ts +12 -13
- package/dist/extensions/argument-ingestion/stages/conclusion-selection.d.ts.map +1 -1
- package/dist/extensions/argument-ingestion/stages/conclusion-selection.js +111 -39
- package/dist/extensions/argument-ingestion/stages/conclusion-selection.js.map +1 -1
- package/dist/extensions/argument-ingestion/stages/relation-extraction.d.ts.map +1 -1
- package/dist/extensions/argument-ingestion/stages/relation-extraction.js +1 -0
- package/dist/extensions/argument-ingestion/stages/relation-extraction.js.map +1 -1
- package/dist/extensions/argument-ingestion/stages/schemas.d.ts +6 -0
- package/dist/extensions/argument-ingestion/stages/schemas.d.ts.map +1 -1
- package/dist/extensions/argument-ingestion/stages/schemas.js +14 -0
- package/dist/extensions/argument-ingestion/stages/schemas.js.map +1 -1
- package/dist/extensions/argument-ingestion/stages/segmentation.d.ts.map +1 -1
- package/dist/extensions/argument-ingestion/stages/segmentation.js +1 -0
- package/dist/extensions/argument-ingestion/stages/segmentation.js.map +1 -1
- package/dist/extensions/argument-ingestion/v1-single-shot.d.ts.map +1 -1
- package/dist/extensions/argument-ingestion/v1-single-shot.js +14 -13
- package/dist/extensions/argument-ingestion/v1-single-shot.js.map +1 -1
- package/dist/extensions/openai/provider.d.ts.map +1 -1
- package/dist/extensions/openai/provider.js +5 -6
- package/dist/extensions/openai/provider.js.map +1 -1
- package/dist/extensions/openai/structured-output.js +3 -3
- package/dist/extensions/openai/structured-output.js.map +1 -1
- package/dist/lib/core/argument-engine.d.ts +7 -8
- package/dist/lib/core/argument-engine.d.ts.map +1 -1
- package/dist/lib/core/argument-engine.js +36 -39
- package/dist/lib/core/argument-engine.js.map +1 -1
- package/dist/lib/core/expression-manager.d.ts +6 -6
- package/dist/lib/core/expression-manager.d.ts.map +1 -1
- package/dist/lib/core/expression-manager.js +35 -42
- package/dist/lib/core/expression-manager.js.map +1 -1
- package/dist/lib/core/fork-library.d.ts +1 -1
- package/dist/lib/core/fork-library.js +1 -1
- package/dist/lib/core/interfaces/argument-engine.interfaces.d.ts +5 -7
- package/dist/lib/core/interfaces/argument-engine.interfaces.d.ts.map +1 -1
- package/dist/lib/core/interfaces/premise-engine.interfaces.d.ts +6 -6
- package/dist/lib/core/premise-engine.js +9 -9
- package/dist/lib/core/premise-engine.js.map +1 -1
- package/dist/lib/grammar/an-rules.d.ts +24 -33
- package/dist/lib/grammar/an-rules.d.ts.map +1 -1
- package/dist/lib/grammar/an-rules.js +83 -114
- package/dist/lib/grammar/an-rules.js.map +1 -1
- package/dist/lib/grammar/auto-normalize.d.ts.map +1 -1
- package/dist/lib/grammar/auto-normalize.js +5 -6
- package/dist/lib/grammar/auto-normalize.js.map +1 -1
- package/dist/lib/grammar/bounded-subtree.d.ts.map +1 -1
- package/dist/lib/grammar/bounded-subtree.js +2 -3
- package/dist/lib/grammar/bounded-subtree.js.map +1 -1
- package/dist/lib/grammar/naked-q.js +4 -4
- package/dist/lib/grammar/naked-q.js.map +1 -1
- package/dist/lib/grammar/normalize.js +4 -4
- package/dist/lib/grammar/normalize.js.map +1 -1
- package/dist/lib/grammar/populate-from.d.ts.map +1 -1
- package/dist/lib/grammar/populate-from.js +3 -4
- package/dist/lib/grammar/populate-from.js.map +1 -1
- package/dist/lib/index.d.ts.map +1 -1
- package/dist/lib/index.js +1 -2
- package/dist/lib/index.js.map +1 -1
- package/dist/lib/llm/types.js +2 -2
- package/dist/lib/llm/types.js.map +1 -1
- package/dist/lib/parsing/argument-parser.js +1 -1
- package/dist/lib/parsing/argument-parser.js.map +1 -1
- package/dist/lib/pipelines/execute.js +1 -1
- package/dist/lib/pipelines/execute.js.map +1 -1
- package/dist/lib/pipelines/stage-helpers.d.ts +1 -1
- package/dist/lib/pipelines/stage-helpers.d.ts.map +1 -1
- package/dist/lib/pipelines/stage-helpers.js +31 -2
- package/dist/lib/pipelines/stage-helpers.js.map +1 -1
- package/dist/lib/pipelines/types.d.ts +16 -0
- package/dist/lib/pipelines/types.d.ts.map +1 -1
- package/dist/lib/types/fork.d.ts +1 -1
- package/dist/lib/types/validation.js +9 -9
- package/dist/lib/types/validation.js.map +1 -1
- package/package.json +1 -1
|
@@ -12,17 +12,16 @@
|
|
|
12
12
|
// AN-4 Absorb same-operator adjacency through a formula. Preserves
|
|
13
13
|
// P-5.
|
|
14
14
|
//
|
|
15
|
-
// This module is the **native home** of the rule set for v1.0.
|
|
16
|
-
//
|
|
17
|
-
// `ExpressionManager.normalize()
|
|
18
|
-
//
|
|
19
|
-
//
|
|
20
|
-
//
|
|
21
|
-
// the plan's Phase D summary).
|
|
15
|
+
// This module is the **native home** of the rule set for v1.0. The
|
|
16
|
+
// rules live here, in the grammar module, rather than inside
|
|
17
|
+
// `ExpressionManager.normalize()`, so the AN pass is not coupled to the
|
|
18
|
+
// legacy `grammarConfig` machinery, and so the per-mutation AN inside
|
|
19
|
+
// `ExpressionManager` mutation methods and the legacy P-1 throw sites
|
|
20
|
+
// are no longer needed.
|
|
22
21
|
//
|
|
23
|
-
// **
|
|
24
|
-
//
|
|
25
|
-
//
|
|
22
|
+
// **All four rules are native.** `applyAN1`, `applyAN2`, `applyAN3`,
|
|
23
|
+
// and `applyAN4` implement their rules directly against the public
|
|
24
|
+
// `PremiseEngine` mutation API. AN-1 uses
|
|
26
25
|
// `pe.wrapInFormula(childOpId, formulaId)` to atomically insert a
|
|
27
26
|
// formula buffer between an operator parent and a non-`not` operator
|
|
28
27
|
// child (composing this from `addExpression` + `reparentExpression`
|
|
@@ -31,26 +30,18 @@
|
|
|
31
30
|
// `wrapInFormula` JSDoc on PE for the full argument). AN-2 and AN-3
|
|
32
31
|
// use `pe.removeExpression(id, false)`. AN-4 uses
|
|
33
32
|
// `pe.reparentExpression(c_i, outerId, position_i)` + a final
|
|
34
|
-
// `pe.removeExpression(formula, false)` cleanup.
|
|
35
|
-
// exports no longer delegate to the legacy `pe.normalizeExpressions()`
|
|
36
|
-
// full sweep.
|
|
33
|
+
// `pe.removeExpression(formula, false)` cleanup.
|
|
37
34
|
//
|
|
38
|
-
//
|
|
39
|
-
//
|
|
40
|
-
//
|
|
41
|
-
//
|
|
42
|
-
//
|
|
43
|
-
//
|
|
44
|
-
//
|
|
45
|
-
// (`engine.normalize()`) benefit automatically. D2 removes the legacy
|
|
46
|
-
// per-flag `grammarConfig` machinery and the 11 P-1 throw sites the
|
|
47
|
-
// swap currently works around.
|
|
35
|
+
// `applyANToFixedPoint` uses a reduce-or accumulator (all four rules
|
|
36
|
+
// per outer iteration, OR'd into the changed flag) rather than a `||`
|
|
37
|
+
// short-circuit chain (which would fire at most one rule per outer
|
|
38
|
+
// iteration). The PERMISSIVE config swap that once disarmed the legacy
|
|
39
|
+
// inline P-1 enforcement throws is gone — those throw sites and the
|
|
40
|
+
// surrounding `grammarConfig` machinery have been removed — so AN-2 and
|
|
41
|
+
// AN-3 can run unconditionally without tripping a P-1 throw mid-pass.
|
|
48
42
|
//
|
|
49
43
|
// The per-rule tests (`test/grammar/an-rules.test.ts`) assert behavior
|
|
50
|
-
// the native implementation must preserve
|
|
51
|
-
// pass because the delegated implementation already produces that
|
|
52
|
-
// behavior. Each test is a regression guard for the eventual native
|
|
53
|
-
// rewrite.
|
|
44
|
+
// the native implementation must preserve.
|
|
54
45
|
import { hasBinaryOperatorInBoundedSubtree } from "./bounded-subtree.js";
|
|
55
46
|
/**
|
|
56
47
|
* Convergence safety cap — typically AN converges in ≤ 3 iterations
|
|
@@ -65,25 +56,18 @@ const MAX_AN_ITERATIONS = 10;
|
|
|
65
56
|
* Run AN-2 (collapse double negation) on every premise of `engine`.
|
|
66
57
|
* Returns `true` iff any mutation occurred.
|
|
67
58
|
*
|
|
68
|
-
*
|
|
69
|
-
*
|
|
70
|
-
*
|
|
71
|
-
*
|
|
72
|
-
*
|
|
73
|
-
*
|
|
74
|
-
* through the two NOT layers.
|
|
59
|
+
* Walks each premise's expression tree looking for NOT(NOT(x)) —
|
|
60
|
+
* both the direct form (`NOT_outer → NOT_inner → x`) and the
|
|
61
|
+
* buffered form (`NOT_outer → formula → NOT_inner → x`). For each
|
|
62
|
+
* match issues two `pe.removeExpression(id, false)` calls that
|
|
63
|
+
* promote the grandchild (and, in the buffered case, the residual
|
|
64
|
+
* formula) through the two NOT layers.
|
|
75
65
|
*
|
|
76
66
|
* The buffered case leaves an unjustified `formula(x)` residue
|
|
77
67
|
* which AN-3 cleans up in a subsequent iteration of
|
|
78
68
|
* `applyANToFixedPoint`. AN-2 stays focused on the NOT-NOT
|
|
79
69
|
* collapse itself — no formula bookkeeping.
|
|
80
70
|
*
|
|
81
|
-
* Behavior parity with the legacy `ExpressionManager.normalize()`
|
|
82
|
-
* pass 4 is asserted by the regression-guard tests in
|
|
83
|
-
* `test/grammar/an-rules.test.ts` and the broader 1598-test
|
|
84
|
-
* baseline (which exercises double-negation collapse via
|
|
85
|
-
* `pe.normalizeExpressions()` and `engine.normalize()`).
|
|
86
|
-
*
|
|
87
71
|
* @since 1.0.0
|
|
88
72
|
*/
|
|
89
73
|
export function applyAN2(engine) {
|
|
@@ -156,8 +140,8 @@ function collapseOneDoubleNegationInPremise(pe) {
|
|
|
156
140
|
* Run AN-3 (collapse 0/1-child operator/formula) on every premise of
|
|
157
141
|
* `engine`. Returns `true` iff any mutation occurred.
|
|
158
142
|
*
|
|
159
|
-
*
|
|
160
|
-
*
|
|
143
|
+
* Walks each premise's expression tree and collapses four sub-cases
|
|
144
|
+
* via `pe.removeExpression(id, false)`:
|
|
161
145
|
*
|
|
162
146
|
* 1. Operator with 0 children → removed (leaf removal).
|
|
163
147
|
* 2. Operator with 1 child (non-`not`) → child promoted into the
|
|
@@ -174,13 +158,11 @@ function collapseOneDoubleNegationInPremise(pe) {
|
|
|
174
158
|
* `src/lib/grammar/bounded-subtree.ts` is used by both this rule and
|
|
175
159
|
* the P-3 validator; AN-3 binds its lookup function to
|
|
176
160
|
* `pe.getChildExpressions(id)` so it sees live mid-mutation reads,
|
|
177
|
-
* while the validator binds to a snapshot `TChildMap`.
|
|
178
|
-
*
|
|
161
|
+
* while the validator binds to a snapshot `TChildMap`. Sharing the
|
|
162
|
+
* one helper keeps the rule and its validator in lockstep.
|
|
179
163
|
*
|
|
180
|
-
* Behavior
|
|
181
|
-
*
|
|
182
|
-
* `test/grammar/an-rules.test.ts` and the broader 1603-test
|
|
183
|
-
* baseline.
|
|
164
|
+
* Behavior is asserted by the regression-guard tests in
|
|
165
|
+
* `test/grammar/an-rules.test.ts`.
|
|
184
166
|
*
|
|
185
167
|
* @since 1.0.0
|
|
186
168
|
*/
|
|
@@ -244,8 +226,8 @@ function collapseOneAN3InPremise(pe) {
|
|
|
244
226
|
* Run AN-4 (absorb same-operator through formula) on every premise of
|
|
245
227
|
* `engine`. Returns `true` iff any mutation occurred.
|
|
246
228
|
*
|
|
247
|
-
*
|
|
248
|
-
*
|
|
229
|
+
* Walks each premise's expression tree for the absorption shape
|
|
230
|
+
* `OUTER_OP → (..., ) formula → INNER_OP (same
|
|
249
231
|
* operator) → [c1, c2, …, cN]`, with both operators being `and` or
|
|
250
232
|
* `or` (S-5 restricts `implies`/`iff` to roots, so they never appear in
|
|
251
233
|
* AN-4-firing positions). For each match:
|
|
@@ -380,9 +362,9 @@ function absorbSameOperatorMatch(pe, innerId, formulaId, outerId) {
|
|
|
380
362
|
// `leftPos + ((rightPos - leftPos) / (count + 1)) * (i + 1)`,
|
|
381
363
|
// truncated to integer.
|
|
382
364
|
//
|
|
383
|
-
// **
|
|
384
|
-
//
|
|
385
|
-
//
|
|
365
|
+
// **Forbidden-set walk.** A naive computed target can collide
|
|
366
|
+
// with two kinds of obstacles, both of which would trip S-9
|
|
367
|
+
// inside `pe.reparentExpression`:
|
|
386
368
|
//
|
|
387
369
|
// (a) **The formula's current position.** The formula is still
|
|
388
370
|
// a child of `outerId` at this point — we only remove it
|
|
@@ -395,12 +377,12 @@ function absorbSameOperatorMatch(pe, innerId, formulaId, outerId) {
|
|
|
395
377
|
// collide.
|
|
396
378
|
//
|
|
397
379
|
// (b) **Already-placed inner-child target positions.** When
|
|
398
|
-
// `gap = count + 1` (integer spacing 1)
|
|
399
|
-
//
|
|
400
|
-
// *next* planned target
|
|
401
|
-
// S-9 against the just-placed inner child.
|
|
380
|
+
// `gap = count + 1` (integer spacing 1) a simple ±1 shift
|
|
381
|
+
// would move a colliding target to the slot reserved for the
|
|
382
|
+
// *next* planned target, so the next iteration would then
|
|
383
|
+
// trip S-9 against the just-placed inner child.
|
|
402
384
|
//
|
|
403
|
-
//
|
|
385
|
+
// To handle both, a single `forbidden` set is tracked: the
|
|
404
386
|
// formula's current position seeds the set, and each chosen
|
|
405
387
|
// target gets added as it's planned. For any computed target
|
|
406
388
|
// already in `forbidden`, scan outward (±1, ±2, ...) for the
|
|
@@ -408,8 +390,7 @@ function absorbSameOperatorMatch(pe, innerId, formulaId, outerId) {
|
|
|
408
390
|
// effectiveRightPos)`. The band-exhaustion case (no free integer
|
|
409
391
|
// anywhere in the band) is structurally reachable only when the
|
|
410
392
|
// position keyspace is deeply pathological — throw with a
|
|
411
|
-
// diagnostic that names the forbidden set
|
|
412
|
-
// triage.
|
|
393
|
+
// diagnostic that names the forbidden set to aid triage.
|
|
413
394
|
const refreshedFormula = pe.getExpression(formulaId);
|
|
414
395
|
const formulaCurrentPosition = refreshedFormula
|
|
415
396
|
? refreshedFormula.position
|
|
@@ -488,12 +469,12 @@ function absorbSameOperatorMatch(pe, innerId, formulaId, outerId) {
|
|
|
488
469
|
* target. Scratch positions are picked by scanning from `max`
|
|
489
470
|
* downward, skipping any position currently held by a child of
|
|
490
471
|
* `parentId`. This is robust against the pathological case where some
|
|
491
|
-
* children sit close to `POSITION_MAX` —
|
|
472
|
+
* children sit close to `POSITION_MAX` — a fixed-scratch range
|
|
492
473
|
* `[max - total, max - 1]` could collide with existing children near
|
|
493
|
-
* the top, tripping the S-9 check inside `pe.reparentExpression`.
|
|
494
|
-
*
|
|
495
|
-
* raison d'être
|
|
496
|
-
*
|
|
474
|
+
* the top, tripping the S-9 check inside `pe.reparentExpression`. That
|
|
475
|
+
* collision case is structurally reachable precisely because the
|
|
476
|
+
* redistribute fallback's own raison d'être is pathological
|
|
477
|
+
* position-keyspace clustering.
|
|
497
478
|
*
|
|
498
479
|
* Edge case: total saturation (every position from `min` to `max`
|
|
499
480
|
* occupied) is astronomical — `total > range` (≈ 4.3B) — and is not
|
|
@@ -522,11 +503,11 @@ function redistributeChildrenEvenly(pe, parentId, positionConfig) {
|
|
|
522
503
|
// still held by not-yet-moved children carrying scratch
|
|
523
504
|
// positions from phase 1.
|
|
524
505
|
//
|
|
525
|
-
//
|
|
526
|
-
//
|
|
527
|
-
//
|
|
528
|
-
//
|
|
529
|
-
//
|
|
506
|
+
// A hard-coded scratch window `[max - total, max - 1]` would
|
|
507
|
+
// cover both concerns *only* when current positions were well
|
|
508
|
+
// below the top of the range — leaving clustered-near-max inputs
|
|
509
|
+
// (which is the redistribute fallback's own raison d'être)
|
|
510
|
+
// structurally exposed to a collision.
|
|
530
511
|
const forbidden = new Set();
|
|
531
512
|
for (const c of children) {
|
|
532
513
|
forbidden.add(c.position);
|
|
@@ -534,10 +515,10 @@ function redistributeChildrenEvenly(pe, parentId, positionConfig) {
|
|
|
534
515
|
for (const t of targets) {
|
|
535
516
|
forbidden.add(t);
|
|
536
517
|
}
|
|
537
|
-
//
|
|
538
|
-
//
|
|
539
|
-
//
|
|
540
|
-
//
|
|
518
|
+
// Skip children that are already at their target position.
|
|
519
|
+
// Unconditionally scratching and back-moving every child would
|
|
520
|
+
// emit 2 reparent change records per already-at-target child;
|
|
521
|
+
// skipping them is correctness-equivalent:
|
|
541
522
|
// - The skipped child's current position equals its target, so it
|
|
542
523
|
// sits inside `forbidden` already (both via the `current` and
|
|
543
524
|
// the `targets` contributions) — phase-1 scratches still avoid
|
|
@@ -591,9 +572,9 @@ function redistributeChildrenEvenly(pe, parentId, positionConfig) {
|
|
|
591
572
|
* Run AN-1 (insert formula buffer between operators) on every premise
|
|
592
573
|
* of `engine`. Returns `true` iff any mutation occurred.
|
|
593
574
|
*
|
|
594
|
-
*
|
|
595
|
-
*
|
|
596
|
-
*
|
|
575
|
+
* Walks each premise's expression tree looking for non-`not`
|
|
576
|
+
* operators whose parent is also an operator — i.e., the P-1
|
|
577
|
+
* violation shape `parent-op → child-op (non-not)`. For
|
|
597
578
|
* each match, calls `pe.wrapInFormula(childOpId, formulaId)` which
|
|
598
579
|
* atomically inserts a freshly-minted `formula` between parent and
|
|
599
580
|
* child. The formula takes the child's original slot; the child
|
|
@@ -665,17 +646,17 @@ function insertOneFormulaBufferInPremise(pe, gen) {
|
|
|
665
646
|
/**
|
|
666
647
|
* Run AN-1..AN-4 to fixed point on every premise of `engine`.
|
|
667
648
|
*
|
|
668
|
-
*
|
|
669
|
-
*
|
|
670
|
-
*
|
|
671
|
-
*
|
|
649
|
+
* All four rules are native. The driver issues single-rule passes in
|
|
650
|
+
* order — AN-2, AN-3, AN-4, AN-1 — so buffer insertion sees the
|
|
651
|
+
* post-collapse tree (avoids inserting a buffer that would then need
|
|
652
|
+
* to be collapsed by AN-3).
|
|
672
653
|
*
|
|
673
|
-
*
|
|
674
|
-
* short-circuit chain
|
|
654
|
+
* The driver uses a reduce-or accumulator rather than a `||`
|
|
655
|
+
* short-circuit chain: every outer iteration fires all four rules
|
|
675
656
|
* and records whether ANY produced a mutation. This reduces outer
|
|
676
657
|
* iterations by ~4x in the worst case versus the short-circuit
|
|
677
658
|
* pattern, and pulls the iteration count back well within
|
|
678
|
-
* MAX_AN_ITERATIONS for
|
|
659
|
+
* MAX_AN_ITERATIONS for borderline inputs.
|
|
679
660
|
*
|
|
680
661
|
* Convergence cap: `MAX_AN_ITERATIONS = 10`. Typical convergence is ≤ 3
|
|
681
662
|
* iterations (spec §5.1); the cap protects against pathological inputs
|
|
@@ -684,13 +665,13 @@ function insertOneFormulaBufferInPremise(pe, gen) {
|
|
|
684
665
|
* @since 1.0.0
|
|
685
666
|
*/
|
|
686
667
|
export function applyANToFixedPoint(engine) {
|
|
687
|
-
//
|
|
688
|
-
// enforcement throws is gone —
|
|
668
|
+
// The PERMISSIVE swap that disarmed the legacy inline P-1
|
|
669
|
+
// enforcement throws is gone — those P-1 throw sites and the
|
|
689
670
|
// surrounding `grammarConfig.enforceFormulaBetweenOperators`
|
|
690
|
-
// machinery
|
|
671
|
+
// machinery have been removed. AN-2 and AN-3 can now run
|
|
691
672
|
// unconditionally without tripping a P-1 throw mid-pass.
|
|
692
673
|
//
|
|
693
|
-
//
|
|
674
|
+
// Re-entrance guard: AN's own mutations
|
|
694
675
|
// (`pe.removeExpression` / `pe.reparentExpression` /
|
|
695
676
|
// `pe.wrapInFormula`) re-fire `setOnMutate` on the engine, which
|
|
696
677
|
// calls `runAssistiveNormalization(this)` → `applyANToFixedPoint`
|
|
@@ -711,24 +692,24 @@ function applyANRulesToConvergence(engine) {
|
|
|
711
692
|
for (let i = 0; i < MAX_AN_ITERATIONS; i++) {
|
|
712
693
|
// Order: AN-2/3/4 before AN-1 so buffer insertion (AN-1)
|
|
713
694
|
// sees the post-collapse tree (avoids inserting a buffer
|
|
714
|
-
// that AN-3 would then collapse). All four rules are
|
|
715
|
-
//
|
|
695
|
+
// that AN-3 would then collapse). All four rules are native
|
|
696
|
+
// single-rule passes.
|
|
716
697
|
//
|
|
717
|
-
//
|
|
718
|
-
//
|
|
719
|
-
//
|
|
720
|
-
//
|
|
698
|
+
// Reduce-or accumulator rather than a `||` short-circuit: a
|
|
699
|
+
// short-circuit would fire at most one rule per outer
|
|
700
|
+
// iteration — if AN-2 fired, AN-3/4/1 would be skipped this
|
|
701
|
+
// iteration and the loop would go back to the top. The
|
|
721
702
|
// accumulator runs ALL four rules per iteration and records
|
|
722
703
|
// whether ANY made a change. This reduces outer iterations
|
|
723
704
|
// by ~4x in the worst case where multiple rules have
|
|
724
705
|
// independent firing sites in the same premise tree, and
|
|
725
706
|
// pulls the outer loop's iteration count back well within
|
|
726
|
-
// MAX_AN_ITERATIONS for inputs that
|
|
707
|
+
// MAX_AN_ITERATIONS for inputs that would otherwise approach
|
|
727
708
|
// the cap. `lastChangedRule` records the most recently
|
|
728
709
|
// changed rule (kept stable across the iteration in
|
|
729
710
|
// priority order AN-2 → AN-3 → AN-4 → AN-1 so the
|
|
730
|
-
// diagnostic still
|
|
731
|
-
//
|
|
711
|
+
// diagnostic still reports which rule was active last when
|
|
712
|
+
// the cap trips).
|
|
732
713
|
let changed = false;
|
|
733
714
|
if (applyAN2(engine)) {
|
|
734
715
|
lastChangedRule = "AN-2";
|
|
@@ -750,12 +731,11 @@ function applyANRulesToConvergence(engine) {
|
|
|
750
731
|
return;
|
|
751
732
|
}
|
|
752
733
|
// Diagnostic context: include the iteration count and the
|
|
753
|
-
// last-changed rule + a representative premise id
|
|
754
|
-
//
|
|
755
|
-
//
|
|
756
|
-
//
|
|
757
|
-
//
|
|
758
|
-
// artifact of the prior delegation pattern.
|
|
734
|
+
// last-changed rule + a representative premise id to aid triage
|
|
735
|
+
// of where the loop is oscillating when the cap trips. The outer
|
|
736
|
+
// loop is the actual convergence driver — all four rules are
|
|
737
|
+
// native single-rule passes — so a cap-trip indicates a real
|
|
738
|
+
// oscillation in a malformed Structural state.
|
|
759
739
|
const premises = engine.listPremises();
|
|
760
740
|
const representativePremiseId = premises.length > 0 ? premises[0].getId() : "<no premises>";
|
|
761
741
|
throw new Error(`AN convergence cap reached (${MAX_AN_ITERATIONS} iterations; ` +
|
|
@@ -764,15 +744,4 @@ function applyANRulesToConvergence(engine) {
|
|
|
764
744
|
`Argument may be in a malformed Structural state — ` +
|
|
765
745
|
`investigate before re-running.`);
|
|
766
746
|
}
|
|
767
|
-
// `runLegacyNormalizeAndReportChange` lived here during D0a-D0d as a
|
|
768
|
-
// shared delegation helper for applyAN1 / applyAN4. With AN-1 and AN-4
|
|
769
|
-
// natively implemented in D0e, no caller remains and the helper was
|
|
770
|
-
// removed in D0e. D0f converted the `||` short-circuit chain in
|
|
771
|
-
// `applyANToFixedPoint` to a reduce-or accumulator (synthesis P2 #2)
|
|
772
|
-
// so all four rules fire per outer iteration, and moved the PERMISSIVE
|
|
773
|
-
// config swap inside `applyANToFixedPoint`. D2 then deleted the
|
|
774
|
-
// PERMISSIVE swap entirely along with the legacy per-flag
|
|
775
|
-
// `grammarConfig` machinery + the 11 P-1 throw sites the swap worked
|
|
776
|
-
// around — `applyANToFixedPoint` is now a thin try-free wrapper around
|
|
777
|
-
// the convergence loop.
|
|
778
747
|
//# sourceMappingURL=an-rules.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"an-rules.js","sourceRoot":"","sources":["../../../src/lib/grammar/an-rules.ts"],"names":[],"mappings":"AAAA,sDAAsD;AACtD,EAAE;AACF,uEAAuE;AACvE,iBAAiB;AACjB,EAAE;AACF,oEAAoE;AACpE,2DAA2D;AAC3D,qEAAqE;AACrE,wEAAwE;AACxE,mEAAmE;AACnE,oDAAoD;AACpD,sEAAsE;AACtE,eAAe;AACf,EAAE;AACF,uEAAuE;AACvE,0DAA0D;AAC1D,wEAAwE;AACxE,wEAAwE;AACxE,mEAAmE;AACnE,sEAAsE;AACtE,+BAA+B;AAC/B,EAAE;AACF,8DAA8D;AAC9D,+DAA+D;AAC/D,sEAAsE;AACtE,kEAAkE;AAClE,qEAAqE;AACrE,oEAAoE;AACpE,mEAAmE;AACnE,2DAA2D;AAC3D,oEAAoE;AACpE,kDAAkD;AAClD,8DAA8D;AAC9D,qEAAqE;AACrE,uEAAuE;AACvE,cAAc;AACd,EAAE;AACF,oEAAoE;AACpE,uEAAuE;AACvE,gEAAgE;AAChE,sEAAsE;AACtE,wEAAwE;AACxE,wEAAwE;AACxE,iEAAiE;AACjE,sEAAsE;AACtE,oEAAoE;AACpE,+BAA+B;AAC/B,EAAE;AACF,uEAAuE;AACvE,oEAAoE;AACpE,kEAAkE;AAClE,oEAAoE;AACpE,WAAW;AAWX,OAAO,EAAE,iCAAiC,EAAE,MAAM,sBAAsB,CAAA;AAExE;;;;;;;GAOG;AACH,MAAM,iBAAiB,GAAG,EAAE,CAAA;AAE5B;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,UAAU,QAAQ,CAMtB,MAA2D;IACzD,IAAI,UAAU,GAAG,KAAK,CAAA;IACtB,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC;QACrC,gEAAgE;QAChE,+DAA+D;QAC/D,mDAAmD;QACnD,6BAA6B;QAC7B,IAAI,cAAc,GAAG,IAAI,CAAA;QACzB,OAAO,cAAc,EAAE,CAAC;YACpB,cAAc,GAAG,kCAAkC,CAAC,EAAE,CAAC,CAAA;YACvD,IAAI,cAAc;gBAAE,UAAU,GAAG,IAAI,CAAA;QACzC,CAAC;IACL,CAAC;IACD,OAAO,UAAU,CAAA;AACrB,CAAC;AAED;;;;;;GAMG;AACH,SAAS,kCAAkC,CAKzC,EAA8C;IAC5C,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,cAAc,EAAE,EAAE,CAAC;QACrC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK;YAAE,SAAQ;QACjE,MAAM,QAAQ,GAAG,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QAChD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,SAAQ;QACnC,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;QAEzB,oCAAoC;QACpC,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;YACxD,MAAM,aAAa,GAAG,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;YACtD,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAQ;YACxC,uDAAuD;YACvD,0DAA0D;YAC1D,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;YACpC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;YACnC,OAAO,IAAI,CAAA;QACf,CAAC;QAED,gDAAgD;QAChD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC3B,MAAM,eAAe,GAAG,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;YACxD,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAQ;YAC1C,MAAM,QAAQ,GAAG,eAAe,CAAC,CAAC,CAAC,CAAA;YACnC,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,IAAI,QAAQ,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;gBAC9D,SAAQ;YACZ,CAAC;YACD,MAAM,aAAa,GAAG,EAAE,CAAC,mBAAmB,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;YACzD,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAQ;YACxC,yDAAyD;YACzD,kDAAkD;YAClD,kDAAkD;YAClD,sDAAsD;YACtD,4CAA4C;YAC5C,EAAE,CAAC,gBAAgB,CAAC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;YACvC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;YACnC,OAAO,IAAI,CAAA;QACf,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAA;AAChB,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,MAAM,UAAU,QAAQ,CAMtB,MAA2D;IACzD,IAAI,UAAU,GAAG,KAAK,CAAA;IACtB,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC;QACrC,IAAI,cAAc,GAAG,IAAI,CAAA;QACzB,OAAO,cAAc,EAAE,CAAC;YACpB,cAAc,GAAG,uBAAuB,CAAC,EAAE,CAAC,CAAA;YAC5C,IAAI,cAAc;gBAAE,UAAU,GAAG,IAAI,CAAA;QACzC,CAAC;IACL,CAAC;IACD,OAAO,UAAU,CAAA;AACrB,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,uBAAuB,CAK9B,EAA8C;IAC5C,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,cAAc,EAAE,EAAE,CAAC;QACrC,qCAAqC;QACrC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC3B,MAAM,QAAQ,GAAG,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;YAChD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACxB,uCAAuC;gBACvC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;gBACnC,OAAO,IAAI,CAAA;YACf,CAAC;YACD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;gBACnD,mDAAmD;gBACnD,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;gBACnC,OAAO,IAAI,CAAA;YACf,CAAC;YACD,SAAQ;QACZ,CAAC;QAED,oCAAoC;QACpC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,QAAQ,GAAG,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;YAChD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACxB,sCAAsC;gBACtC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;gBACnC,OAAO,IAAI,CAAA;YACf,CAAC;YACD,IACI,QAAQ,CAAC,MAAM,KAAK,CAAC;gBACrB,CAAC,iCAAiC,CAC9B,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,EACd,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC,EAClC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,aAAa,CAAC,EAAE,CAAC,CAC/B,EACH,CAAC;gBACC,qDAAqD;gBACrD,mCAAmC;gBACnC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;gBACnC,OAAO,IAAI,CAAA;YACf,CAAC;QACL,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAA;AAChB,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AACH,MAAM,UAAU,QAAQ,CAMtB,MAA2D;IACzD,IAAI,UAAU,GAAG,KAAK,CAAA;IACtB,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC;QACrC,IAAI,cAAc,GAAG,IAAI,CAAA;QACzB,OAAO,cAAc,EAAE,CAAC;YACpB,cAAc,GAAG,8BAA8B,CAAC,EAAE,CAAC,CAAA;YACnD,IAAI,cAAc;gBAAE,UAAU,GAAG,IAAI,CAAA;QACzC,CAAC;IACL,CAAC;IACD,OAAO,UAAU,CAAA;AACrB,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,8BAA8B,CAKrC,EAA8C;IAC5C,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,cAAc,EAAE,EAAE,CAAC;QACtC,+DAA+D;QAC/D,mDAAmD;QACnD,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU;YAAE,SAAQ;QACvC,IAAI,KAAK,CAAC,QAAQ,KAAK,KAAK,IAAI,KAAK,CAAC,QAAQ,KAAK,IAAI;YAAE,SAAQ;QAEjE,MAAM,SAAS,GAAG,KAAK,CAAC,QAAQ,CAAA;QAChC,IAAI,SAAS,KAAK,IAAI;YAAE,SAAQ;QAChC,MAAM,OAAO,GAAG,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC,CAAA;QAC3C,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS;YAAE,SAAQ;QAEpD,MAAM,OAAO,GAAG,OAAO,CAAC,QAAQ,CAAA;QAChC,IAAI,OAAO,KAAK,IAAI;YAAE,SAAQ;QAC9B,MAAM,KAAK,GAAG,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC,CAAA;QACvC,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU;YAAE,SAAQ;QACjD,IAAI,KAAK,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ;YAAE,SAAQ;QAE/C,4BAA4B;QAC5B,uBAAuB,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,SAAS,EAAE,OAAO,CAAC,CAAA;QACzD,OAAO,IAAI,CAAA;IACf,CAAC;IACD,OAAO,KAAK,CAAA;AAChB,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,uBAAuB,CAM5B,EAA8C,EAC9C,OAAe,EACf,SAAiB,EACjB,OAAe;IAEf,MAAM,cAAc,GAAG,EAAE,CAAC,iBAAiB,EAAE,CAAA;IAE7C,iEAAiE;IACjE,2DAA2D;IAC3D,+DAA+D;IAC/D,mCAAmC;IACnC,MAAM,aAAa,GAAG,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAA;IACrD,MAAM,KAAK,GAAG,aAAa,CAAC,MAAM,CAAA;IAElC,iEAAiE;IACjE,MAAM,aAAa,GAAG,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAA;IACrD,MAAM,UAAU,GAAG,aAAa,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,SAAS,CAAC,CAAA;IACrE,MAAM,OAAO,GACT,UAAU,GAAG,CAAC;QACV,CAAC,CAAC,aAAa,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,QAAQ;QACxC,CAAC,CAAC,cAAc,CAAC,GAAG,CAAA;IAC5B,MAAM,QAAQ,GACV,UAAU,GAAG,aAAa,CAAC,MAAM,GAAG,CAAC;QACjC,CAAC,CAAC,aAAa,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,QAAQ;QACxC,CAAC,CAAC,cAAc,CAAC,GAAG,CAAA;IAE5B,mEAAmE;IACnE,gEAAgE;IAChE,kEAAkE;IAClE,kDAAkD;IAClD,MAAM,GAAG,GAAG,QAAQ,GAAG,OAAO,CAAA;IAC9B,IAAI,gBAAgB,GAAG,OAAO,CAAA;IAC9B,IAAI,iBAAiB,GAAG,QAAQ,CAAA;IAChC,IAAI,GAAG,IAAI,KAAK,EAAE,CAAC;QACf,0BAA0B,CAAC,EAAE,EAAE,OAAO,EAAE,cAAc,CAAC,CAAA;QACvD,MAAM,cAAc,GAAG,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAA;QACtD,MAAM,mBAAmB,GAAG,cAAc,CAAC,SAAS,CAChD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,SAAS,CAC5B,CAAA;QACD,gBAAgB;YACZ,mBAAmB,GAAG,CAAC;gBACnB,CAAC,CAAC,cAAc,CAAC,mBAAmB,GAAG,CAAC,CAAC,CAAC,QAAQ;gBAClD,CAAC,CAAC,cAAc,CAAC,GAAG,CAAA;QAC5B,iBAAiB;YACb,mBAAmB,GAAG,cAAc,CAAC,MAAM,GAAG,CAAC;gBAC3C,CAAC,CAAC,cAAc,CAAC,mBAAmB,GAAG,CAAC,CAAC,CAAC,QAAQ;gBAClD,CAAC,CAAC,cAAc,CAAC,GAAG,CAAA;IAChC,CAAC;IAED,2DAA2D;IAC3D,2DAA2D;IAC3D,gEAAgE;IAChE,wBAAwB;IACxB,EAAE;IACF,4DAA4D;IAC5D,gEAAgE;IAChE,0DAA0D;IAC1D,EAAE;IACF,iEAAiE;IACjE,+DAA+D;IAC/D,2CAA2C;IAC3C,+DAA+D;IAC/D,kEAAkE;IAClE,8DAA8D;IAC9D,iEAAiE;IACjE,+DAA+D;IAC/D,iBAAiB;IACjB,EAAE;IACF,8DAA8D;IAC9D,8DAA8D;IAC9D,8DAA8D;IAC9D,gEAAgE;IAChE,iDAAiD;IACjD,EAAE;IACF,iEAAiE;IACjE,4DAA4D;IAC5D,6DAA6D;IAC7D,6DAA6D;IAC7D,yDAAyD;IACzD,iEAAiE;IACjE,gEAAgE;IAChE,0DAA0D;IAC1D,8DAA8D;IAC9D,UAAU;IACV,MAAM,gBAAgB,GAAG,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC,CAAA;IACpD,MAAM,sBAAsB,GAAG,gBAAgB;QAC3C,CAAC,CAAC,gBAAgB,CAAC,QAAQ;QAC3B,CAAC,CAAC,IAAI,CAAA;IACV,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAA;IACnC,IAAI,sBAAsB,KAAK,IAAI,EAAE,CAAC;QAClC,SAAS,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAA;IACzC,CAAC;IACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7B,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAC1B,gBAAgB;YACZ,CAAC,CAAC,iBAAiB,GAAG,gBAAgB,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CACvE,CAAA;QACD,IAAI,MAAM,GAAG,WAAW,CAAA;QACxB,IAAI,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACxB,wDAAwD;YACxD,2DAA2D;YAC3D,yDAAyD;YACzD,wDAAwD;YACxD,kDAAkD;YAClD,wDAAwD;YACxD,wCAAwC;YACxC,MAAM,SAAS,GAAG,iBAAiB,GAAG,gBAAgB,CAAA;YACtD,IAAI,KAAK,GAAG,KAAK,CAAA;YACjB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,EAAE,CAAC,EAAE,EAAE,CAAC;gBACjC,MAAM,IAAI,GAAG,WAAW,GAAG,CAAC,CAAA;gBAC5B,IAAI,IAAI,GAAG,gBAAgB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBAClD,MAAM,GAAG,IAAI,CAAA;oBACb,KAAK,GAAG,IAAI,CAAA;oBACZ,MAAK;gBACT,CAAC;gBACD,MAAM,EAAE,GAAG,WAAW,GAAG,CAAC,CAAA;gBAC1B,IAAI,EAAE,GAAG,iBAAiB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;oBAC/C,MAAM,GAAG,EAAE,CAAA;oBACX,KAAK,GAAG,IAAI,CAAA;oBACZ,MAAK;gBACT,CAAC;YACL,CAAC;YACD,IAAI,CAAC,KAAK,EAAE,CAAC;gBACT,MAAM,eAAe,GAAG,CAAC,GAAG,SAAS,CAAC;qBACjC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;qBACrB,IAAI,CAAC,IAAI,CAAC,CAAA;gBACf,MAAM,IAAI,KAAK,CACX,oDAAoD;oBAChD,IAAI,gBAAgB,KAAK,iBAAiB,QAAQ;oBAClD,gBAAgB,CAAC,QAAQ,OAAO,YAAY,OAAO,IAAI;oBACvD,gBAAgB,eAAe,MAAM;oBACrC,iDAAiD;oBACjD,8CAA8C,CACrD,CAAA;YACL,CAAC;QACL,CAAC;QACD,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;QACrB,EAAE,CAAC,kBAAkB,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,MAAM,CAAC,CAAA;IAC/D,CAAC;IAED,iEAAiE;IACjE,uCAAuC;IACvC,EAAE,CAAC,gBAAgB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAA;IAElC,iEAAiE;IACjE,wDAAwD;IACxD,+DAA+D;IAC/D,6DAA6D;IAC7D,EAAE,CAAC,gBAAgB,CAAC,SAAS,EAAE,KAAK,CAAC,CAAA;AACzC,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,SAAS,0BAA0B,CAM/B,EAA8C,EAC9C,QAAgB,EAChB,cAAuD;IAEvD,MAAM,QAAQ,GAAG,EAAE,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAA;IACjD,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAA;IAC7B,IAAI,KAAK,KAAK,CAAC;QAAE,OAAM;IAEvB,MAAM,GAAG,GAAG,cAAc,CAAC,GAAG,CAAA;IAC9B,MAAM,GAAG,GAAG,cAAc,CAAC,GAAG,CAAA;IAC9B,MAAM,KAAK,GAAG,GAAG,GAAG,GAAG,CAAA;IAEvB,qDAAqD;IACrD,MAAM,OAAO,GAAa,EAAE,CAAA;IAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7B,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,KAAK,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;IACnE,CAAC;IAED,yDAAyD;IACzD,2DAA2D;IAC3D,uDAAuD;IACvD,EAAE;IACF,8DAA8D;IAC9D,+DAA+D;IAC/D,8DAA8D;IAC9D,gCAAgC;IAChC,EAAE;IACF,iEAAiE;IACjE,gEAAgE;IAChE,wDAAwD;IACxD,iEAAiE;IACjE,kDAAkD;IAClD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAA;IACnC,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACvB,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAA;IAC7B,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACtB,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IACpB,CAAC;IAED,6DAA6D;IAC7D,gEAAgE;IAChE,4DAA4D;IAC5D,+DAA+D;IAC/D,kEAAkE;IAClE,gEAAgE;IAChE,iEAAiE;IACjE,0DAA0D;IAC1D,uCAAuC;IACvC,kEAAkE;IAClE,MAAM,SAAS,GAAc,EAAE,CAAA;IAC/B,IAAI,WAAW,GAAG,CAAC,CAAA;IACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,CAAA;QACjD,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACrB,IAAI,KAAK;YAAE,WAAW,EAAE,CAAA;IAC5B,CAAC;IAED,4DAA4D;IAC5D,+DAA+D;IAC/D,gEAAgE;IAChE,gEAAgE;IAChE,+DAA+D;IAC/D,OAAO;IACP,MAAM,SAAS,GAAa,EAAE,CAAA;IAC9B,IAAI,MAAM,GAAG,GAAG,CAAA;IAChB,OAAO,SAAS,CAAC,MAAM,GAAG,WAAW,IAAI,MAAM,IAAI,GAAG,EAAE,CAAC;QACrD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACzB,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QAC1B,CAAC;QACD,MAAM,EAAE,CAAA;IACZ,CAAC;IACD,IAAI,SAAS,CAAC,MAAM,GAAG,WAAW,EAAE,CAAC;QACjC,MAAM,IAAI,KAAK,CACX,gDAAgD,WAAW,GAAG;YAC1D,kCAAkC,GAAG,KAAK,GAAG,QAAQ;YACrD,WAAW,QAAQ,+BAA+B,SAAS,CAAC,IAAI,IAAI,CAC3E,CAAA;IACL,CAAC;IAED,IAAI,UAAU,GAAG,CAAC,CAAA;IAClB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7B,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;YAAE,SAAQ;QAC3B,EAAE,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,QAAQ,EAAE,SAAS,CAAC,UAAU,EAAE,CAAC,CAAC,CAAA;IAC5E,CAAC;IAED,iEAAiE;IACjE,kEAAkE;IAClE,iEAAiE;IACjE,gCAAgC;IAChC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7B,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;YAAE,SAAQ;QAC3B,EAAE,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAA;IAC/D,CAAC;AACL,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,MAAM,UAAU,QAAQ,CAMtB,MAA2D;IACzD,IAAI,UAAU,GAAG,KAAK,CAAA;IACtB,MAAM,GAAG,GAAG,MAAM,CAAC,WAAW,CAAA;IAC9B,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC;QACrC,IAAI,cAAc,GAAG,IAAI,CAAA;QACzB,OAAO,cAAc,EAAE,CAAC;YACpB,cAAc,GAAG,+BAA+B,CAAC,EAAE,EAAE,GAAG,CAAC,CAAA;YACzD,IAAI,cAAc;gBAAE,UAAU,GAAG,IAAI,CAAA;QACzC,CAAC;IACL,CAAC;IACD,OAAO,UAAU,CAAA;AACrB,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,+BAA+B,CAKtC,EAA8C,EAAE,GAAiB;IAC/D,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,cAAc,EAAE,EAAE,CAAC;QACrC,8DAA8D;QAC9D,oBAAoB;QACpB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,SAAQ;QACtC,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK;YAAE,SAAQ;QACrC,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI;YAAE,SAAQ;QAEpC,MAAM,MAAM,GAAG,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;QAC9C,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU;YAAE,SAAQ;QAEnD,8DAA8D;QAC9D,+DAA+D;QAC/D,uBAAuB;QACvB,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,CAAA;QAChC,OAAO,IAAI,CAAA;IACf,CAAC;IACD,OAAO,KAAK,CAAA;AAChB,CAAC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,UAAU,mBAAmB,CAMjC,MAA2D;IACzD,8DAA8D;IAC9D,4DAA4D;IAC5D,6DAA6D;IAC7D,0DAA0D;IAC1D,yDAAyD;IACzD,EAAE;IACF,6CAA6C;IAC7C,qDAAqD;IACrD,iEAAiE;IACjE,kEAAkE;IAClE,8DAA8D;IAC9D,gEAAgE;IAChE,oDAAoD;IACpD,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE;QAAE,OAAM;IAClC,IAAI,CAAC;QACD,yBAAyB,CAAC,MAAM,CAAC,CAAA;IACrC,CAAC;YAAS,CAAC;QACP,MAAM,CAAC,UAAU,EAAE,CAAA;IACvB,CAAC;AACL,CAAC;AAED,SAAS,yBAAyB,CAMhC,MAA2D;IACzD,IAAI,eAAe,GAA6C,IAAI,CAAA;IACpE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,iBAAiB,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,yDAAyD;QACzD,yDAAyD;QACzD,yDAAyD;QACzD,mCAAmC;QACnC,EAAE;QACF,yDAAyD;QACzD,yDAAyD;QACzD,yDAAyD;QACzD,wDAAwD;QACxD,4DAA4D;QAC5D,2DAA2D;QAC3D,qDAAqD;QACrD,yDAAyD;QACzD,0DAA0D;QAC1D,0DAA0D;QAC1D,uDAAuD;QACvD,oDAAoD;QACpD,kDAAkD;QAClD,qDAAqD;QACrD,mCAAmC;QACnC,IAAI,OAAO,GAAG,KAAK,CAAA;QACnB,IAAI,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YACnB,eAAe,GAAG,MAAM,CAAA;YACxB,OAAO,GAAG,IAAI,CAAA;QAClB,CAAC;QACD,IAAI,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YACnB,eAAe,GAAG,MAAM,CAAA;YACxB,OAAO,GAAG,IAAI,CAAA;QAClB,CAAC;QACD,IAAI,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YACnB,eAAe,GAAG,MAAM,CAAA;YACxB,OAAO,GAAG,IAAI,CAAA;QAClB,CAAC;QACD,IAAI,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YACnB,eAAe,GAAG,MAAM,CAAA;YACxB,OAAO,GAAG,IAAI,CAAA;QAClB,CAAC;QACD,IAAI,CAAC,OAAO;YAAE,OAAM;IACxB,CAAC;IACD,0DAA0D;IAC1D,6DAA6D;IAC7D,6DAA6D;IAC7D,4DAA4D;IAC5D,6DAA6D;IAC7D,2DAA2D;IAC3D,4CAA4C;IAC5C,MAAM,QAAQ,GAAG,MAAM,CAAC,YAAY,EAAE,CAAA;IACtC,MAAM,uBAAuB,GACzB,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,eAAe,CAAA;IAC/D,MAAM,IAAI,KAAK,CACX,+BAA+B,iBAAiB,eAAe;QAC3D,sBAAsB,eAAe,IAAI,QAAQ,IAAI;QACrD,2BAA2B,uBAAuB,KAAK;QACvD,oDAAoD;QACpD,gCAAgC,CACvC,CAAA;AACL,CAAC;AAED,qEAAqE;AACrE,uEAAuE;AACvE,oEAAoE;AACpE,gEAAgE;AAChE,qEAAqE;AACrE,uEAAuE;AACvE,gEAAgE;AAChE,0DAA0D;AAC1D,qEAAqE;AACrE,uEAAuE;AACvE,wBAAwB"}
|
|
1
|
+
{"version":3,"file":"an-rules.js","sourceRoot":"","sources":["../../../src/lib/grammar/an-rules.ts"],"names":[],"mappings":"AAAA,sDAAsD;AACtD,EAAE;AACF,uEAAuE;AACvE,iBAAiB;AACjB,EAAE;AACF,oEAAoE;AACpE,2DAA2D;AAC3D,qEAAqE;AACrE,wEAAwE;AACxE,mEAAmE;AACnE,oDAAoD;AACpD,sEAAsE;AACtE,eAAe;AACf,EAAE;AACF,mEAAmE;AACnE,6DAA6D;AAC7D,wEAAwE;AACxE,sEAAsE;AACtE,sEAAsE;AACtE,wBAAwB;AACxB,EAAE;AACF,qEAAqE;AACrE,mEAAmE;AACnE,0CAA0C;AAC1C,kEAAkE;AAClE,qEAAqE;AACrE,oEAAoE;AACpE,mEAAmE;AACnE,2DAA2D;AAC3D,oEAAoE;AACpE,kDAAkD;AAClD,8DAA8D;AAC9D,iDAAiD;AACjD,EAAE;AACF,qEAAqE;AACrE,sEAAsE;AACtE,mEAAmE;AACnE,uEAAuE;AACvE,oEAAoE;AACpE,wEAAwE;AACxE,sEAAsE;AACtE,EAAE;AACF,uEAAuE;AACvE,2CAA2C;AAW3C,OAAO,EAAE,iCAAiC,EAAE,MAAM,sBAAsB,CAAA;AAExE;;;;;;;GAOG;AACH,MAAM,iBAAiB,GAAG,EAAE,CAAA;AAE5B;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,QAAQ,CAMtB,MAA2D;IACzD,IAAI,UAAU,GAAG,KAAK,CAAA;IACtB,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC;QACrC,gEAAgE;QAChE,+DAA+D;QAC/D,mDAAmD;QACnD,6BAA6B;QAC7B,IAAI,cAAc,GAAG,IAAI,CAAA;QACzB,OAAO,cAAc,EAAE,CAAC;YACpB,cAAc,GAAG,kCAAkC,CAAC,EAAE,CAAC,CAAA;YACvD,IAAI,cAAc;gBAAE,UAAU,GAAG,IAAI,CAAA;QACzC,CAAC;IACL,CAAC;IACD,OAAO,UAAU,CAAA;AACrB,CAAC;AAED;;;;;;GAMG;AACH,SAAS,kCAAkC,CAKzC,EAA8C;IAC5C,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,cAAc,EAAE,EAAE,CAAC;QACrC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK;YAAE,SAAQ;QACjE,MAAM,QAAQ,GAAG,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QAChD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,SAAQ;QACnC,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;QAEzB,oCAAoC;QACpC,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;YACxD,MAAM,aAAa,GAAG,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;YACtD,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAQ;YACxC,uDAAuD;YACvD,0DAA0D;YAC1D,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;YACpC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;YACnC,OAAO,IAAI,CAAA;QACf,CAAC;QAED,gDAAgD;QAChD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC3B,MAAM,eAAe,GAAG,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;YACxD,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAQ;YAC1C,MAAM,QAAQ,GAAG,eAAe,CAAC,CAAC,CAAC,CAAA;YACnC,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,IAAI,QAAQ,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;gBAC9D,SAAQ;YACZ,CAAC;YACD,MAAM,aAAa,GAAG,EAAE,CAAC,mBAAmB,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;YACzD,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAQ;YACxC,yDAAyD;YACzD,kDAAkD;YAClD,kDAAkD;YAClD,sDAAsD;YACtD,4CAA4C;YAC5C,EAAE,CAAC,gBAAgB,CAAC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;YACvC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;YACnC,OAAO,IAAI,CAAA;QACf,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAA;AAChB,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,MAAM,UAAU,QAAQ,CAMtB,MAA2D;IACzD,IAAI,UAAU,GAAG,KAAK,CAAA;IACtB,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC;QACrC,IAAI,cAAc,GAAG,IAAI,CAAA;QACzB,OAAO,cAAc,EAAE,CAAC;YACpB,cAAc,GAAG,uBAAuB,CAAC,EAAE,CAAC,CAAA;YAC5C,IAAI,cAAc;gBAAE,UAAU,GAAG,IAAI,CAAA;QACzC,CAAC;IACL,CAAC;IACD,OAAO,UAAU,CAAA;AACrB,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,uBAAuB,CAK9B,EAA8C;IAC5C,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,cAAc,EAAE,EAAE,CAAC;QACrC,qCAAqC;QACrC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC3B,MAAM,QAAQ,GAAG,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;YAChD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACxB,uCAAuC;gBACvC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;gBACnC,OAAO,IAAI,CAAA;YACf,CAAC;YACD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;gBACnD,mDAAmD;gBACnD,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;gBACnC,OAAO,IAAI,CAAA;YACf,CAAC;YACD,SAAQ;QACZ,CAAC;QAED,oCAAoC;QACpC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,QAAQ,GAAG,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;YAChD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACxB,sCAAsC;gBACtC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;gBACnC,OAAO,IAAI,CAAA;YACf,CAAC;YACD,IACI,QAAQ,CAAC,MAAM,KAAK,CAAC;gBACrB,CAAC,iCAAiC,CAC9B,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,EACd,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC,EAClC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,aAAa,CAAC,EAAE,CAAC,CAC/B,EACH,CAAC;gBACC,qDAAqD;gBACrD,mCAAmC;gBACnC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;gBACnC,OAAO,IAAI,CAAA;YACf,CAAC;QACL,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAA;AAChB,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AACH,MAAM,UAAU,QAAQ,CAMtB,MAA2D;IACzD,IAAI,UAAU,GAAG,KAAK,CAAA;IACtB,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC;QACrC,IAAI,cAAc,GAAG,IAAI,CAAA;QACzB,OAAO,cAAc,EAAE,CAAC;YACpB,cAAc,GAAG,8BAA8B,CAAC,EAAE,CAAC,CAAA;YACnD,IAAI,cAAc;gBAAE,UAAU,GAAG,IAAI,CAAA;QACzC,CAAC;IACL,CAAC;IACD,OAAO,UAAU,CAAA;AACrB,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,8BAA8B,CAKrC,EAA8C;IAC5C,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,cAAc,EAAE,EAAE,CAAC;QACtC,+DAA+D;QAC/D,mDAAmD;QACnD,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU;YAAE,SAAQ;QACvC,IAAI,KAAK,CAAC,QAAQ,KAAK,KAAK,IAAI,KAAK,CAAC,QAAQ,KAAK,IAAI;YAAE,SAAQ;QAEjE,MAAM,SAAS,GAAG,KAAK,CAAC,QAAQ,CAAA;QAChC,IAAI,SAAS,KAAK,IAAI;YAAE,SAAQ;QAChC,MAAM,OAAO,GAAG,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC,CAAA;QAC3C,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS;YAAE,SAAQ;QAEpD,MAAM,OAAO,GAAG,OAAO,CAAC,QAAQ,CAAA;QAChC,IAAI,OAAO,KAAK,IAAI;YAAE,SAAQ;QAC9B,MAAM,KAAK,GAAG,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC,CAAA;QACvC,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU;YAAE,SAAQ;QACjD,IAAI,KAAK,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ;YAAE,SAAQ;QAE/C,4BAA4B;QAC5B,uBAAuB,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,SAAS,EAAE,OAAO,CAAC,CAAA;QACzD,OAAO,IAAI,CAAA;IACf,CAAC;IACD,OAAO,KAAK,CAAA;AAChB,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,uBAAuB,CAM5B,EAA8C,EAC9C,OAAe,EACf,SAAiB,EACjB,OAAe;IAEf,MAAM,cAAc,GAAG,EAAE,CAAC,iBAAiB,EAAE,CAAA;IAE7C,iEAAiE;IACjE,2DAA2D;IAC3D,+DAA+D;IAC/D,mCAAmC;IACnC,MAAM,aAAa,GAAG,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAA;IACrD,MAAM,KAAK,GAAG,aAAa,CAAC,MAAM,CAAA;IAElC,iEAAiE;IACjE,MAAM,aAAa,GAAG,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAA;IACrD,MAAM,UAAU,GAAG,aAAa,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,SAAS,CAAC,CAAA;IACrE,MAAM,OAAO,GACT,UAAU,GAAG,CAAC;QACV,CAAC,CAAC,aAAa,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,QAAQ;QACxC,CAAC,CAAC,cAAc,CAAC,GAAG,CAAA;IAC5B,MAAM,QAAQ,GACV,UAAU,GAAG,aAAa,CAAC,MAAM,GAAG,CAAC;QACjC,CAAC,CAAC,aAAa,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,QAAQ;QACxC,CAAC,CAAC,cAAc,CAAC,GAAG,CAAA;IAE5B,mEAAmE;IACnE,gEAAgE;IAChE,kEAAkE;IAClE,kDAAkD;IAClD,MAAM,GAAG,GAAG,QAAQ,GAAG,OAAO,CAAA;IAC9B,IAAI,gBAAgB,GAAG,OAAO,CAAA;IAC9B,IAAI,iBAAiB,GAAG,QAAQ,CAAA;IAChC,IAAI,GAAG,IAAI,KAAK,EAAE,CAAC;QACf,0BAA0B,CAAC,EAAE,EAAE,OAAO,EAAE,cAAc,CAAC,CAAA;QACvD,MAAM,cAAc,GAAG,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAA;QACtD,MAAM,mBAAmB,GAAG,cAAc,CAAC,SAAS,CAChD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,SAAS,CAC5B,CAAA;QACD,gBAAgB;YACZ,mBAAmB,GAAG,CAAC;gBACnB,CAAC,CAAC,cAAc,CAAC,mBAAmB,GAAG,CAAC,CAAC,CAAC,QAAQ;gBAClD,CAAC,CAAC,cAAc,CAAC,GAAG,CAAA;QAC5B,iBAAiB;YACb,mBAAmB,GAAG,cAAc,CAAC,MAAM,GAAG,CAAC;gBAC3C,CAAC,CAAC,cAAc,CAAC,mBAAmB,GAAG,CAAC,CAAC,CAAC,QAAQ;gBAClD,CAAC,CAAC,cAAc,CAAC,GAAG,CAAA;IAChC,CAAC;IAED,2DAA2D;IAC3D,2DAA2D;IAC3D,gEAAgE;IAChE,wBAAwB;IACxB,EAAE;IACF,8DAA8D;IAC9D,4DAA4D;IAC5D,kCAAkC;IAClC,EAAE;IACF,iEAAiE;IACjE,+DAA+D;IAC/D,2CAA2C;IAC3C,+DAA+D;IAC/D,kEAAkE;IAClE,8DAA8D;IAC9D,iEAAiE;IACjE,+DAA+D;IAC/D,iBAAiB;IACjB,EAAE;IACF,8DAA8D;IAC9D,gEAAgE;IAChE,mEAAmE;IACnE,gEAAgE;IAChE,sDAAsD;IACtD,EAAE;IACF,2DAA2D;IAC3D,4DAA4D;IAC5D,6DAA6D;IAC7D,6DAA6D;IAC7D,yDAAyD;IACzD,iEAAiE;IACjE,gEAAgE;IAChE,0DAA0D;IAC1D,yDAAyD;IACzD,MAAM,gBAAgB,GAAG,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC,CAAA;IACpD,MAAM,sBAAsB,GAAG,gBAAgB;QAC3C,CAAC,CAAC,gBAAgB,CAAC,QAAQ;QAC3B,CAAC,CAAC,IAAI,CAAA;IACV,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAA;IACnC,IAAI,sBAAsB,KAAK,IAAI,EAAE,CAAC;QAClC,SAAS,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAA;IACzC,CAAC;IACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7B,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAC1B,gBAAgB;YACZ,CAAC,CAAC,iBAAiB,GAAG,gBAAgB,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CACvE,CAAA;QACD,IAAI,MAAM,GAAG,WAAW,CAAA;QACxB,IAAI,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACxB,wDAAwD;YACxD,2DAA2D;YAC3D,yDAAyD;YACzD,wDAAwD;YACxD,kDAAkD;YAClD,wDAAwD;YACxD,wCAAwC;YACxC,MAAM,SAAS,GAAG,iBAAiB,GAAG,gBAAgB,CAAA;YACtD,IAAI,KAAK,GAAG,KAAK,CAAA;YACjB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,EAAE,CAAC,EAAE,EAAE,CAAC;gBACjC,MAAM,IAAI,GAAG,WAAW,GAAG,CAAC,CAAA;gBAC5B,IAAI,IAAI,GAAG,gBAAgB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBAClD,MAAM,GAAG,IAAI,CAAA;oBACb,KAAK,GAAG,IAAI,CAAA;oBACZ,MAAK;gBACT,CAAC;gBACD,MAAM,EAAE,GAAG,WAAW,GAAG,CAAC,CAAA;gBAC1B,IAAI,EAAE,GAAG,iBAAiB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;oBAC/C,MAAM,GAAG,EAAE,CAAA;oBACX,KAAK,GAAG,IAAI,CAAA;oBACZ,MAAK;gBACT,CAAC;YACL,CAAC;YACD,IAAI,CAAC,KAAK,EAAE,CAAC;gBACT,MAAM,eAAe,GAAG,CAAC,GAAG,SAAS,CAAC;qBACjC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;qBACrB,IAAI,CAAC,IAAI,CAAC,CAAA;gBACf,MAAM,IAAI,KAAK,CACX,oDAAoD;oBAChD,IAAI,gBAAgB,KAAK,iBAAiB,QAAQ;oBAClD,gBAAgB,CAAC,QAAQ,OAAO,YAAY,OAAO,IAAI;oBACvD,gBAAgB,eAAe,MAAM;oBACrC,iDAAiD;oBACjD,8CAA8C,CACrD,CAAA;YACL,CAAC;QACL,CAAC;QACD,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;QACrB,EAAE,CAAC,kBAAkB,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,MAAM,CAAC,CAAA;IAC/D,CAAC;IAED,iEAAiE;IACjE,uCAAuC;IACvC,EAAE,CAAC,gBAAgB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAA;IAElC,iEAAiE;IACjE,wDAAwD;IACxD,+DAA+D;IAC/D,6DAA6D;IAC7D,EAAE,CAAC,gBAAgB,CAAC,SAAS,EAAE,KAAK,CAAC,CAAA;AACzC,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,SAAS,0BAA0B,CAM/B,EAA8C,EAC9C,QAAgB,EAChB,cAAuD;IAEvD,MAAM,QAAQ,GAAG,EAAE,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAA;IACjD,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAA;IAC7B,IAAI,KAAK,KAAK,CAAC;QAAE,OAAM;IAEvB,MAAM,GAAG,GAAG,cAAc,CAAC,GAAG,CAAA;IAC9B,MAAM,GAAG,GAAG,cAAc,CAAC,GAAG,CAAA;IAC9B,MAAM,KAAK,GAAG,GAAG,GAAG,GAAG,CAAA;IAEvB,qDAAqD;IACrD,MAAM,OAAO,GAAa,EAAE,CAAA;IAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7B,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,KAAK,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;IACnE,CAAC;IAED,yDAAyD;IACzD,2DAA2D;IAC3D,uDAAuD;IACvD,EAAE;IACF,8DAA8D;IAC9D,+DAA+D;IAC/D,8DAA8D;IAC9D,gCAAgC;IAChC,EAAE;IACF,6DAA6D;IAC7D,8DAA8D;IAC9D,iEAAiE;IACjE,2DAA2D;IAC3D,uCAAuC;IACvC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAA;IACnC,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACvB,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAA;IAC7B,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACtB,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IACpB,CAAC;IAED,2DAA2D;IAC3D,+DAA+D;IAC/D,8DAA8D;IAC9D,2CAA2C;IAC3C,kEAAkE;IAClE,gEAAgE;IAChE,iEAAiE;IACjE,0DAA0D;IAC1D,uCAAuC;IACvC,kEAAkE;IAClE,MAAM,SAAS,GAAc,EAAE,CAAA;IAC/B,IAAI,WAAW,GAAG,CAAC,CAAA;IACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,CAAA;QACjD,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACrB,IAAI,KAAK;YAAE,WAAW,EAAE,CAAA;IAC5B,CAAC;IAED,4DAA4D;IAC5D,+DAA+D;IAC/D,gEAAgE;IAChE,gEAAgE;IAChE,+DAA+D;IAC/D,OAAO;IACP,MAAM,SAAS,GAAa,EAAE,CAAA;IAC9B,IAAI,MAAM,GAAG,GAAG,CAAA;IAChB,OAAO,SAAS,CAAC,MAAM,GAAG,WAAW,IAAI,MAAM,IAAI,GAAG,EAAE,CAAC;QACrD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACzB,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QAC1B,CAAC;QACD,MAAM,EAAE,CAAA;IACZ,CAAC;IACD,IAAI,SAAS,CAAC,MAAM,GAAG,WAAW,EAAE,CAAC;QACjC,MAAM,IAAI,KAAK,CACX,gDAAgD,WAAW,GAAG;YAC1D,kCAAkC,GAAG,KAAK,GAAG,QAAQ;YACrD,WAAW,QAAQ,+BAA+B,SAAS,CAAC,IAAI,IAAI,CAC3E,CAAA;IACL,CAAC;IAED,IAAI,UAAU,GAAG,CAAC,CAAA;IAClB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7B,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;YAAE,SAAQ;QAC3B,EAAE,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,QAAQ,EAAE,SAAS,CAAC,UAAU,EAAE,CAAC,CAAC,CAAA;IAC5E,CAAC;IAED,iEAAiE;IACjE,kEAAkE;IAClE,iEAAiE;IACjE,gCAAgC;IAChC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7B,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;YAAE,SAAQ;QAC3B,EAAE,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAA;IAC/D,CAAC;AACL,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,MAAM,UAAU,QAAQ,CAMtB,MAA2D;IACzD,IAAI,UAAU,GAAG,KAAK,CAAA;IACtB,MAAM,GAAG,GAAG,MAAM,CAAC,WAAW,CAAA;IAC9B,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC;QACrC,IAAI,cAAc,GAAG,IAAI,CAAA;QACzB,OAAO,cAAc,EAAE,CAAC;YACpB,cAAc,GAAG,+BAA+B,CAAC,EAAE,EAAE,GAAG,CAAC,CAAA;YACzD,IAAI,cAAc;gBAAE,UAAU,GAAG,IAAI,CAAA;QACzC,CAAC;IACL,CAAC;IACD,OAAO,UAAU,CAAA;AACrB,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,+BAA+B,CAKtC,EAA8C,EAAE,GAAiB;IAC/D,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,cAAc,EAAE,EAAE,CAAC;QACrC,8DAA8D;QAC9D,oBAAoB;QACpB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,SAAQ;QACtC,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK;YAAE,SAAQ;QACrC,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI;YAAE,SAAQ;QAEpC,MAAM,MAAM,GAAG,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;QAC9C,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU;YAAE,SAAQ;QAEnD,8DAA8D;QAC9D,+DAA+D;QAC/D,uBAAuB;QACvB,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,CAAA;QAChC,OAAO,IAAI,CAAA;IACf,CAAC;IACD,OAAO,KAAK,CAAA;AAChB,CAAC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,UAAU,mBAAmB,CAMjC,MAA2D;IACzD,0DAA0D;IAC1D,6DAA6D;IAC7D,6DAA6D;IAC7D,yDAAyD;IACzD,yDAAyD;IACzD,EAAE;IACF,wCAAwC;IACxC,qDAAqD;IACrD,iEAAiE;IACjE,kEAAkE;IAClE,8DAA8D;IAC9D,gEAAgE;IAChE,oDAAoD;IACpD,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE;QAAE,OAAM;IAClC,IAAI,CAAC;QACD,yBAAyB,CAAC,MAAM,CAAC,CAAA;IACrC,CAAC;YAAS,CAAC;QACP,MAAM,CAAC,UAAU,EAAE,CAAA;IACvB,CAAC;AACL,CAAC;AAED,SAAS,yBAAyB,CAMhC,MAA2D;IACzD,IAAI,eAAe,GAA6C,IAAI,CAAA;IACpE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,iBAAiB,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,yDAAyD;QACzD,yDAAyD;QACzD,4DAA4D;QAC5D,sBAAsB;QACtB,EAAE;QACF,4DAA4D;QAC5D,sDAAsD;QACtD,4DAA4D;QAC5D,uDAAuD;QACvD,4DAA4D;QAC5D,2DAA2D;QAC3D,qDAAqD;QACrD,yDAAyD;QACzD,0DAA0D;QAC1D,6DAA6D;QAC7D,uDAAuD;QACvD,oDAAoD;QACpD,kDAAkD;QAClD,2DAA2D;QAC3D,kBAAkB;QAClB,IAAI,OAAO,GAAG,KAAK,CAAA;QACnB,IAAI,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YACnB,eAAe,GAAG,MAAM,CAAA;YACxB,OAAO,GAAG,IAAI,CAAA;QAClB,CAAC;QACD,IAAI,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YACnB,eAAe,GAAG,MAAM,CAAA;YACxB,OAAO,GAAG,IAAI,CAAA;QAClB,CAAC;QACD,IAAI,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YACnB,eAAe,GAAG,MAAM,CAAA;YACxB,OAAO,GAAG,IAAI,CAAA;QAClB,CAAC;QACD,IAAI,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YACnB,eAAe,GAAG,MAAM,CAAA;YACxB,OAAO,GAAG,IAAI,CAAA;QAClB,CAAC;QACD,IAAI,CAAC,OAAO;YAAE,OAAM;IACxB,CAAC;IACD,0DAA0D;IAC1D,gEAAgE;IAChE,iEAAiE;IACjE,6DAA6D;IAC7D,6DAA6D;IAC7D,+CAA+C;IAC/C,MAAM,QAAQ,GAAG,MAAM,CAAC,YAAY,EAAE,CAAA;IACtC,MAAM,uBAAuB,GACzB,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,eAAe,CAAA;IAC/D,MAAM,IAAI,KAAK,CACX,+BAA+B,iBAAiB,eAAe;QAC3D,sBAAsB,eAAe,IAAI,QAAQ,IAAI;QACrD,2BAA2B,uBAAuB,KAAK;QACvD,oDAAoD;QACpD,gCAAgC,CACvC,CAAA;AACL,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"auto-normalize.d.ts","sourceRoot":"","sources":["../../../src/lib/grammar/auto-normalize.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"auto-normalize.d.ts","sourceRoot":"","sources":["../../../src/lib/grammar/auto-normalize.ts"],"names":[],"mappings":"AAkBA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAA;AAChE,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC1B,UAAU,EACb,MAAM,sBAAsB,CAAA;AAG7B;;;;;;;;;GASG;AACH,wBAAgB,yBAAyB,CACrC,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,EACxC,MAAM,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,IAAI,CAGnE"}
|
|
@@ -10,12 +10,11 @@
|
|
|
10
10
|
// AN-4 Absorb same-operator adjacency through a formula. Preserves P-5.
|
|
11
11
|
//
|
|
12
12
|
// This module exports `runAssistiveNormalization(engine)` — the
|
|
13
|
-
// uniform AN post-hook for `assistive` mode.
|
|
14
|
-
//
|
|
15
|
-
// `
|
|
16
|
-
//
|
|
17
|
-
//
|
|
18
|
-
// `engine.behavior`.
|
|
13
|
+
// uniform AN post-hook for `assistive` mode. All four AN rules are
|
|
14
|
+
// native single-rule passes routed through `applyANToFixedPoint` in
|
|
15
|
+
// `src/lib/grammar/an-rules.ts`; there is no legacy per-flag
|
|
16
|
+
// `grammarConfig` machinery and no inline P-1 throw sites, so this
|
|
17
|
+
// bridge is unconditional delegation gated only on `engine.behavior`.
|
|
19
18
|
import { applyANToFixedPoint } from "./an-rules.js";
|
|
20
19
|
/**
|
|
21
20
|
* Run the AN rule set globally on `engine` if it is in `'assistive'`
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"auto-normalize.js","sourceRoot":"","sources":["../../../src/lib/grammar/auto-normalize.ts"],"names":[],"mappings":"AAAA,qEAAqE;AACrE,EAAE;AACF,uEAAuE;AACvE,EAAE;AACF,2EAA2E;AAC3E,oDAAoD;AACpD,qEAAqE;AACrE,4EAA4E;AAC5E,8EAA8E;AAC9E,2EAA2E;AAC3E,EAAE;AACF,gEAAgE;AAChE,
|
|
1
|
+
{"version":3,"file":"auto-normalize.js","sourceRoot":"","sources":["../../../src/lib/grammar/auto-normalize.ts"],"names":[],"mappings":"AAAA,qEAAqE;AACrE,EAAE;AACF,uEAAuE;AACvE,EAAE;AACF,2EAA2E;AAC3E,oDAAoD;AACpD,qEAAqE;AACrE,4EAA4E;AAC5E,8EAA8E;AAC9E,2EAA2E;AAC3E,EAAE;AACF,gEAAgE;AAChE,mEAAmE;AACnE,oEAAoE;AACpE,6DAA6D;AAC7D,mEAAmE;AACnE,sEAAsE;AAUtE,OAAO,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAA;AAEnD;;;;;;;;;GASG;AACH,MAAM,UAAU,yBAAyB,CAMvC,MAA2D;IACzD,IAAI,MAAM,CAAC,QAAQ,KAAK,WAAW;QAAE,OAAM;IAC3C,mBAAmB,CAAC,MAAM,CAAC,CAAA;AAC/B,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"bounded-subtree.d.ts","sourceRoot":"","sources":["../../../src/lib/grammar/bounded-subtree.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"bounded-subtree.d.ts","sourceRoot":"","sources":["../../../src/lib/grammar/bounded-subtree.ts"],"names":[],"mappings":"AAuBA,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,sBAAsB,CAAA;AAExE;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,wBAAgB,iCAAiC,CAC7C,YAAY,EAAE,MAAM,EACpB,MAAM,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,SAAS,4BAA4B,EAAE,EAC/D,aAAa,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,4BAA4B,GAAG,SAAS,GACxE,OAAO,CAsBT"}
|
|
@@ -18,9 +18,8 @@
|
|
|
18
18
|
//
|
|
19
19
|
// This module factors the traversal out behind a `(id) => readonly TExpr[]`
|
|
20
20
|
// lookup-function parameter so both consumers can share one
|
|
21
|
-
// implementation while binding the lookup to their own freshness story
|
|
22
|
-
//
|
|
23
|
-
// pre-D0e duplication; this is the shared landing place.
|
|
21
|
+
// implementation while binding the lookup to their own freshness story,
|
|
22
|
+
// rather than duplicating the bounded-subtree walk in each.
|
|
24
23
|
/**
|
|
25
24
|
* Returns `true` iff the subtree rooted at `expressionId` contains a
|
|
26
25
|
* binary operator (`and` or `or`). Traversal stops at nested formulas
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"bounded-subtree.js","sourceRoot":"","sources":["../../../src/lib/grammar/bounded-subtree.ts"],"names":[],"mappings":"AAAA,yDAAyD;AACzD,EAAE;AACF,oEAAoE;AACpE,wEAAwE;AACxE,uCAAuC;AACvC,EAAE;AACF,oEAAoE;AACpE,aAAa;AACb,EAAE;AACF,mEAAmE;AACnE,qEAAqE;AACrE,iEAAiE;AACjE,+DAA+D;AAC/D,8DAA8D;AAC9D,mEAAmE;AACnE,uEAAuE;AACvE,gEAAgE;AAChE,EAAE;AACF,4EAA4E;AAC5E,4DAA4D;AAC5D,wEAAwE;AACxE,
|
|
1
|
+
{"version":3,"file":"bounded-subtree.js","sourceRoot":"","sources":["../../../src/lib/grammar/bounded-subtree.ts"],"names":[],"mappings":"AAAA,yDAAyD;AACzD,EAAE;AACF,oEAAoE;AACpE,wEAAwE;AACxE,uCAAuC;AACvC,EAAE;AACF,oEAAoE;AACpE,aAAa;AACb,EAAE;AACF,mEAAmE;AACnE,qEAAqE;AACrE,iEAAiE;AACjE,+DAA+D;AAC/D,8DAA8D;AAC9D,mEAAmE;AACnE,uEAAuE;AACvE,gEAAgE;AAChE,EAAE;AACF,4EAA4E;AAC5E,4DAA4D;AAC5D,wEAAwE;AACxE,4DAA4D;AAI5D;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,MAAM,UAAU,iCAAiC,CAC7C,YAAoB,EACpB,MAA+D,EAC/D,aAAuE;IAEvE,MAAM,IAAI,GAAG,aAAa,CAAC,YAAY,CAAC,CAAA;IACxC,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAA;IACvB,MAAM,KAAK,GAAmC,CAAC,IAAI,CAAC,CAAA;IACpD,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,EAAG,CAAA;QAC3B,IACI,MAAM,CAAC,IAAI,KAAK,UAAU;YAC1B,CAAC,MAAM,CAAC,QAAQ,KAAK,KAAK,IAAI,MAAM,CAAC,QAAQ,KAAK,IAAI,CAAC,EACzD,CAAC;YACC,OAAO,IAAI,CAAA;QACf,CAAC;QACD,+DAA+D;QAC/D,+DAA+D;QAC/D,yDAAyD;QACzD,YAAY;QACZ,IAAI,MAAM,CAAC,EAAE,KAAK,YAAY,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS;YAAE,SAAQ;QACrE,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;YACpC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACrB,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAA;AAChB,CAAC"}
|
|
@@ -12,12 +12,12 @@
|
|
|
12
12
|
// - `isNakedQTree(pe)` — checks tree shape only (`exprs.length === 1`
|
|
13
13
|
// and `root.type === 'variable'`). Used by callers that already know
|
|
14
14
|
// the premise is `type='derivation'`, e.g.
|
|
15
|
-
// `populateFromGrounding` inside the
|
|
16
|
-
// premise has been located by `derivedClaimId`.
|
|
15
|
+
// `populateFromGrounding` inside the populate-from factory after the
|
|
16
|
+
// derivation premise has been located by `derivedClaimId`.
|
|
17
17
|
//
|
|
18
18
|
// - `isNakedQDerivationPremise(pe)` — additionally checks the
|
|
19
|
-
// premise's `type === 'derivation'`. Used by the evaluator's
|
|
20
|
-
// filter, which scans all premises (any type) and must reject
|
|
19
|
+
// premise's `type === 'derivation'`. Used by the evaluator's naked-Q
|
|
20
|
+
// skip filter, which scans all premises (any type) and must reject
|
|
21
21
|
// non-derivation premises before checking the tree shape.
|
|
22
22
|
//
|
|
23
23
|
// The two share a single tree-shape helper; the second composes the
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"naked-q.js","sourceRoot":"","sources":["../../../src/lib/grammar/naked-q.ts"],"names":[],"mappings":"AAAA,6BAA6B;AAC7B,EAAE;AACF,0EAA0E;AAC1E,oEAAoE;AACpE,iEAAiE;AACjE,qEAAqE;AACrE,yEAAyE;AACzE,EAAE;AACF,0EAA0E;AAC1E,iBAAiB;AACjB,EAAE;AACF,wEAAwE;AACxE,yEAAyE;AACzE,+CAA+C;AAC/C,yEAAyE;AACzE
|
|
1
|
+
{"version":3,"file":"naked-q.js","sourceRoot":"","sources":["../../../src/lib/grammar/naked-q.ts"],"names":[],"mappings":"AAAA,6BAA6B;AAC7B,EAAE;AACF,0EAA0E;AAC1E,oEAAoE;AACpE,iEAAiE;AACjE,qEAAqE;AACrE,yEAAyE;AACzE,EAAE;AACF,0EAA0E;AAC1E,iBAAiB;AACjB,EAAE;AACF,wEAAwE;AACxE,yEAAyE;AACzE,+CAA+C;AAC/C,yEAAyE;AACzE,+DAA+D;AAC/D,EAAE;AACF,gEAAgE;AAChE,yEAAyE;AACzE,uEAAuE;AACvE,8DAA8D;AAC9D,EAAE;AACF,oEAAoE;AACpE,uEAAuE;AACvE,wEAAwE;AACxE,2DAA2D;AAC3D,0BAA0B;AAU1B;;;;;;;GAOG;AACH,MAAM,UAAU,YAAY,CAK1B,EAA8C;IAC5C,MAAM,KAAK,GAAG,EAAE,CAAC,cAAc,EAAE,CAAA;IACjC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAA;IACpC,MAAM,IAAI,GAAG,EAAE,CAAC,iBAAiB,EAAE,CAAA;IACnC,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,KAAK,CAAA;IACpC,OAAO,IAAI,CAAC,IAAI,KAAK,UAAU,CAAA;AACnC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,yBAAyB,CAKvC,EAA8C;IAC5C,0EAA0E;IAC1E,IAAI,EAAE,CAAC,aAAa,EAAE,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,KAAK,CAAA;IAC1D,OAAO,YAAY,CAAC,EAAE,CAAC,CAAA;AAC3B,CAAC"}
|
|
@@ -15,13 +15,13 @@
|
|
|
15
15
|
// operator children. It never deletes a variable, changes a claim
|
|
16
16
|
// reference, or modifies an operator's semantics — even for Evaluable
|
|
17
17
|
// or Derivable violations. Recovery from those requires user intent and
|
|
18
|
-
// is exposed via the repair primitives
|
|
18
|
+
// is exposed via the repair primitives.
|
|
19
19
|
//
|
|
20
20
|
// Bypasses `engine.behavior`. `normalize()` is user-initiated (the UI
|
|
21
21
|
// calls it after the user confirms a Tidy / Normalize action), so it
|
|
22
|
-
// must do its job even when `behavior === 'permissive'`.
|
|
23
|
-
//
|
|
24
|
-
// swap
|
|
22
|
+
// must do its job even when `behavior === 'permissive'`. There is no
|
|
23
|
+
// legacy per-flag config, no inline P-1 throw sites, and no PERMISSIVE
|
|
24
|
+
// swap to work around them, so this bridge is just a tier-gate +
|
|
25
25
|
// unconditional delegation.
|
|
26
26
|
import { applyANToFixedPoint } from "./an-rules.js";
|
|
27
27
|
/**
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"normalize.js","sourceRoot":"","sources":["../../../src/lib/grammar/normalize.ts"],"names":[],"mappings":"AAAA,uCAAuC;AACvC,EAAE;AACF,wEAAwE;AACxE,oEAAoE;AACpE,mEAAmE;AACnE,gEAAgE;AAChE,EAAE;AACF,yEAAyE;AACzE,sEAAsE;AACtE,uEAAuE;AACvE,+DAA+D;AAC/D,EAAE;AACF,2EAA2E;AAC3E,wEAAwE;AACxE,kEAAkE;AAClE,sEAAsE;AACtE,wEAAwE;AACxE,
|
|
1
|
+
{"version":3,"file":"normalize.js","sourceRoot":"","sources":["../../../src/lib/grammar/normalize.ts"],"names":[],"mappings":"AAAA,uCAAuC;AACvC,EAAE;AACF,wEAAwE;AACxE,oEAAoE;AACpE,mEAAmE;AACnE,gEAAgE;AAChE,EAAE;AACF,yEAAyE;AACzE,sEAAsE;AACtE,uEAAuE;AACvE,+DAA+D;AAC/D,EAAE;AACF,2EAA2E;AAC3E,wEAAwE;AACxE,kEAAkE;AAClE,sEAAsE;AACtE,wEAAwE;AACxE,wCAAwC;AACxC,EAAE;AACF,sEAAsE;AACtE,qEAAqE;AACrE,qEAAqE;AACrE,uEAAuE;AACvE,iEAAiE;AACjE,4BAA4B;AAU5B,OAAO,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAA;AAGnD;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAO7B,MAA2D,EAC3D,OAAqB,aAAa;IAElC,qEAAqE;IACrE,uBAAuB;IACvB,IAAI,IAAI,KAAK,aAAa;QAAE,OAAM;IAElC,yDAAyD;IACzD,4DAA4D;IAC5D,0DAA0D;IAC1D,wBAAwB;IACxB,mBAAmB,CAAC,MAAM,CAAC,CAAA;AAC/B,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"populate-from.d.ts","sourceRoot":"","sources":["../../../src/lib/grammar/populate-from.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"populate-from.d.ts","sourceRoot":"","sources":["../../../src/lib/grammar/populate-from.ts"],"names":[],"mappings":"AAgDA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAA;AAEhE,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,0CAA0C,CAAA;AACtF,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,iCAAiC,CAAA;AAC3E,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EACZ,sBAAsB,EACtB,4BAA4B,EAC5B,0BAA0B,EAC1B,UAAU,EAEb,MAAM,sBAAsB,CAAA;AAE7B,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAA;AAE5C;;;;;GAKG;AACH,MAAM,MAAM,eAAe,CACvB,kBAAkB,SAAS,sBAAsB,GAAG,sBAAsB,IAC1E;IACA,IAAI,EAAE,WAAW,GAAG,OAAO,CAAA;IAC3B,KAAK,EAAE,kBAAkB,CAAA;IACzB,QAAQ,CAAC,EAAE,SAAS,UAAU,EAAE,CAAA;CACnC,CAAA;AAED;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CACjC,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,EACtC,KAAK,SAAS,oBAAoB,GAAG,oBAAoB,EAEzD,MAAM,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,EAC3D,cAAc,EAAE,MAAM,EACtB,MAAM,EAAE,sBAAsB,CAAC,KAAK,CAAC,GACtC,eAAe,CA4LjB"}
|
|
@@ -1,6 +1,5 @@
|
|
|
1
|
-
//
|
|
1
|
+
// populateFromCitations / populateFromAxioms factory pattern.
|
|
2
2
|
//
|
|
3
|
-
// Per briefing §7 (post-handoff refinement, 2026-05-14):
|
|
4
3
|
// - Each method is a factory operating on naked-Q derivation premises.
|
|
5
4
|
// - For 0 connections: no-op (naked-Q stays).
|
|
6
5
|
// - For 1 connection: IMPLIES(supporting-var, Q).
|
|
@@ -17,7 +16,7 @@
|
|
|
17
16
|
// - If no derivation premise exists for derivedClaimId: throws (entity-
|
|
18
17
|
// not-found is a legitimate Structural integrity check).
|
|
19
18
|
//
|
|
20
|
-
// **
|
|
19
|
+
// **Permissive-build + explicit normalize() pattern.** The
|
|
21
20
|
// expression-tree build is incremental (`removeExpression(nakedRoot)`
|
|
22
21
|
// → `addExpression(IMPLIES)` → antecedent children → consequent Q).
|
|
23
22
|
// Under the post-mutation AN hook (assistive mode), AN-3 would
|
|
@@ -108,7 +107,7 @@ export function populateFromGrounding(engine, derivedClaimId, lookup) {
|
|
|
108
107
|
const argVersion = engine.getArgument().version;
|
|
109
108
|
const premiseId = pe.getId();
|
|
110
109
|
const gen = engine.idGenerator;
|
|
111
|
-
//
|
|
110
|
+
// Permissive-build + explicit normalize() pattern. The
|
|
112
111
|
// incremental tree-build below (`removeExpression(nakedRoot)`,
|
|
113
112
|
// then `addExpression(IMPLIES)`, then antecedent, then Q) passes
|
|
114
113
|
// through transient states where parents have 0 children. Under
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"populate-from.js","sourceRoot":"","sources":["../../../src/lib/grammar/populate-from.ts"],"names":[],"mappings":"AAAA,
|
|
1
|
+
{"version":3,"file":"populate-from.js","sourceRoot":"","sources":["../../../src/lib/grammar/populate-from.ts"],"names":[],"mappings":"AAAA,8DAA8D;AAC9D,EAAE;AACF,yEAAyE;AACzE,gDAAgD;AAChD,oDAAoD;AACpD,uEAAuE;AACvE,iEAAiE;AACjE,sEAAsE;AACtE,kEAAkE;AAClE,2DAA2D;AAC3D,2EAA2E;AAC3E,2EAA2E;AAC3E,mEAAmE;AACnE,qEAAqE;AACrE,6DAA6D;AAC7D,0EAA0E;AAC1E,6DAA6D;AAC7D,EAAE;AACF,2DAA2D;AAC3D,sEAAsE;AACtE,oEAAoE;AACpE,+DAA+D;AAC/D,mEAAmE;AACnE,oEAAoE;AACpE,+DAA+D;AAC/D,mEAAmE;AACnE,oEAAoE;AACpE,mEAAmE;AACnE,iEAAiE;AACjE,oEAAoE;AACpE,EAAE;AACF,kEAAkE;AAClE,mEAAmE;AACnE,mEAAmE;AACnE,uEAAuE;AACvE,mEAAmE;AACnE,uEAAuE;AACvE,oEAAoE;AACpE,qEAAqE;AACrE,mEAAmE;AACnE,oEAAoE;AACpE,sEAAsE;AACtE,EAAE;AACF,gBAAgB;AAChB,mCAAmC;AACnC,qCAAqC;AACrC,yCAAyC;AAezC,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAA;AAiB3C;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CAQjC,MAA2D,EAC3D,cAAsB,EACtB,MAAqC;IAErC,MAAM,EAAE,GAAG,6BAA6B,CAAC,MAAM,EAAE,cAAc,CAAC,CAAA;IAChE,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;QACnB,MAAM,IAAI,KAAK,CACX,iEAAiE,cAAc,IAAI,CACtF,CAAA;IACL,CAAC;IAED,gEAAgE;IAChE,mEAAmE;IACnE,iEAAiE;IACjE,kEAAkE;IAClE,gEAAgE;IAChE,gEAAgE;IAChE,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,CAAC;QACpB,OAAO;YACH,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,EAAE,CAAC,aAAa,EAAuC;SACjE,CAAA;IACL,CAAC;IAED,kEAAkE;IAClE,kEAAkE;IAClE,qBAAqB;IACrB,MAAM,WAAW,GAAG,MAAM,CAAC,sBAAsB,CAAC,cAAc,CAAC,CAAA;IACjE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,MAAM,aAAa,GAAa,EAAE,CAAA;IAClC,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC1B,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,iBAAiB,CAAC;YAAE,SAAQ;QAC3C,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAA;QAC7B,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAA;IAC3C,CAAC;IAED,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,iDAAiD;QACjD,OAAO;YACH,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,EAAE,CAAC,aAAa,EAAuC;SACjE,CAAA;IACL,CAAC;IAED,mEAAmE;IACnE,qEAAqE;IACrE,gEAAgE;IAChE,+DAA+D;IAC/D,kEAAkE;IAClE,MAAM,cAAc,GAA0B,aAAa,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CACnE,MAAM,CAAC,wBAAwB,CAAC,EAAE,CAAC,CACtC,CAAA;IAED,gEAAgE;IAChE,oEAAoE;IACpE,iEAAiE;IACjE,gEAAgE;IAChE,iEAAiE;IACjE,yBAAyB;IACzB,MAAM,SAAS,GAAG,EAAE,CAAC,iBAAiB,EAAG,CAAA;IACzC,MAAM,WAAW,GAAI,SAAoC,CAAC,UAAU,CAAA;IACpE,MAAM,KAAK,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC,EAAE,CAAA;IACrC,MAAM,UAAU,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC,OAAO,CAAA;IAC/C,MAAM,SAAS,GAAG,EAAE,CAAC,KAAK,EAAE,CAAA;IAC5B,MAAM,GAAG,GAAG,MAAM,CAAC,WAAW,CAAA;IAE9B,uDAAuD;IACvD,+DAA+D;IAC/D,iEAAiE;IACjE,gEAAgE;IAChE,yDAAyD;IACzD,iEAAiE;IACjE,2DAA2D;IAC3D,+DAA+D;IAC/D,gEAAgE;IAChE,mDAAmD;IACnD,EAAE;IACF,8DAA8D;IAC9D,6DAA6D;IAC7D,2DAA2D;IAC3D,2DAA2D;IAC3D,wDAAwD;IACxD,wDAAwD;IACxD,6DAA6D;IAC7D,oCAAoC;IACpC,MAAM,aAAa,GAAG,MAAM,CAAC,QAAQ,CAAA;IACrC,IAAI,aAAa,KAAK,WAAW,EAAE,CAAC;QAChC,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC,CAAA;IACpC,CAAC;IACD,IAAI,CAAC;QACD,6DAA6D;QAC7D,SAAS;QACT,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,EAAE,EAAE,IAAI,CAAC,CAAA;QAEvC,+BAA+B;QAC/B,MAAM,SAAS,GAAG,GAAG,EAAE,CAAA;QACvB,EAAE,CAAC,aAAa,CAAC;YACb,EAAE,EAAE,SAAS;YACb,UAAU,EAAE,KAAK;YACjB,eAAe,EAAE,UAAU;YAC3B,SAAS;YACT,IAAI,EAAE,UAAU;YAChB,QAAQ,EAAE,SAAS;YACnB,QAAQ,EAAE,IAAI;YACd,QAAQ,EAAE,CAAC;SACuC,CAAC,CAAA;QAEvD,4DAA4D;QAC5D,wDAAwD;QACxD,0DAA0D;QAC1D,2DAA2D;QAC3D,2DAA2D;QAC3D,aAAa;QACb,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9B,MAAM,EAAE,GAAG,cAAc,CAAC,CAAC,CAAC,CAAA;YAC5B,MAAM,SAAS,GAAG,GAAG,EAAE,CAAA;YACvB,EAAE,CAAC,aAAa,CAAC;gBACb,EAAE,EAAE,SAAS;gBACb,UAAU,EAAE,KAAK;gBACjB,eAAe,EAAE,UAAU;gBAC3B,SAAS;gBACT,IAAI,EAAE,UAAU;gBAChB,UAAU,EAAE,EAAE,CAAC,EAAE;gBACjB,QAAQ,EAAE,SAAS;gBACnB,QAAQ,EAAE,CAAC;aACuC,CAAC,CAAA;QAC3D,CAAC;aAAM,CAAC;YACJ,MAAM,IAAI,GAAG,GAAG,EAAE,CAAA;YAClB,EAAE,CAAC,aAAa,CAAC;gBACb,EAAE,EAAE,IAAI;gBACR,UAAU,EAAE,KAAK;gBACjB,eAAe,EAAE,UAAU;gBAC3B,SAAS;gBACT,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,IAAI;gBACd,QAAQ,EAAE,SAAS;gBACnB,QAAQ,EAAE,CAAC;aACuC,CAAC,CAAA;YAEvD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,cAAc,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC7C,MAAM,EAAE,GAAG,cAAc,CAAC,CAAC,CAAC,CAAA;gBAC5B,MAAM,SAAS,GAAG,GAAG,EAAE,CAAA;gBACvB,EAAE,CAAC,aAAa,CAAC;oBACb,EAAE,EAAE,SAAS;oBACb,UAAU,EAAE,KAAK;oBACjB,eAAe,EAAE,UAAU;oBAC3B,SAAS;oBACT,IAAI,EAAE,UAAU;oBAChB,UAAU,EAAE,EAAE,CAAC,EAAE;oBACjB,QAAQ,EAAE,IAAI;oBACd,QAAQ,EAAE,CAAC;iBACuC,CAAC,CAAA;YAC3D,CAAC;QACL,CAAC;QAED,wDAAwD;QACxD,MAAM,OAAO,GAAG,GAAG,EAAE,CAAA;QACrB,EAAE,CAAC,aAAa,CAAC;YACb,EAAE,EAAE,OAAO;YACX,UAAU,EAAE,KAAK;YACjB,eAAe,EAAE,UAAU;YAC3B,SAAS;YACT,IAAI,EAAE,UAAU;YAChB,UAAU,EAAE,WAAW;YACvB,QAAQ,EAAE,SAAS;YACnB,QAAQ,EAAE,CAAC;SACuC,CAAC,CAAA;QAEvD,6DAA6D;QAC7D,2DAA2D;QAC3D,oBAAoB;QACpB,IAAI,aAAa,KAAK,WAAW,EAAE,CAAC;YAChC,MAAM,CAAC,WAAW,CAAC,aAAa,CAAC,CAAA;YACjC,MAAM,CAAC,SAAS,EAAE,CAAA;QACtB,CAAC;IACL,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACT,6DAA6D;QAC7D,6DAA6D;QAC7D,6DAA6D;QAC7D,2DAA2D;QAC3D,wCAAwC;QACxC,IAAI,aAAa,KAAK,WAAW,EAAE,CAAC;YAChC,MAAM,CAAC,WAAW,CAAC,aAAa,CAAC,CAAA;QACrC,CAAC;QACD,MAAM,CAAC,CAAA;IACX,CAAC;IAED,OAAO;QACH,IAAI,EAAE,WAAW;QACjB,KAAK,EAAE,EAAE,CAAC,aAAa,EAAuC;KACjE,CAAA;AACL,CAAC;AAED;;;;;;GAMG;AACH,SAAS,6BAA6B,CAOlC,MAA2D,EAC3D,cAAsB;IAEtB,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,EAAE,CAAC,aAAa,EAA6B,CAAA;QAC1D,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY;YAAE,SAAQ;QACxC,IACK,IAA0C,CAAC,cAAc;YAC1D,cAAc,EAChB,CAAC;YACC,OAAO,EAAE,CAAA;QACb,CAAC;IACL,CAAC;IACD,OAAO,SAAS,CAAA;AACpB,CAAC"}
|