@proposit/proposit-core 1.8.0 → 1.10.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.
Files changed (97) hide show
  1. package/dist/cli/commands/parse.d.ts.map +1 -1
  2. package/dist/cli/commands/parse.js +10 -11
  3. package/dist/cli/commands/parse.js.map +1 -1
  4. package/dist/cli/commands/repair.js +1 -1
  5. package/dist/cli/commands/repair.js.map +1 -1
  6. package/dist/cli/commands/validate.js +1 -1
  7. package/dist/cli/commands/validate.js.map +1 -1
  8. package/dist/cli/engine.js +4 -4
  9. package/dist/cli/engine.js.map +1 -1
  10. package/dist/cli/import.js +1 -1
  11. package/dist/cli/import.js.map +1 -1
  12. package/dist/cli/llm/index.js +2 -2
  13. package/dist/cli/llm/index.js.map +1 -1
  14. package/dist/extensions/argument-ingestion/shared/basics-extension.js +3 -3
  15. package/dist/extensions/argument-ingestion/shared/basics-extension.js.map +1 -1
  16. package/dist/extensions/argument-ingestion/shared/finalize-response-v2.d.ts.map +1 -1
  17. package/dist/extensions/argument-ingestion/shared/finalize-response-v2.js +1 -2
  18. package/dist/extensions/argument-ingestion/shared/finalize-response-v2.js.map +1 -1
  19. package/dist/extensions/argument-ingestion/shared/types.d.ts +2 -2
  20. package/dist/extensions/argument-ingestion/stages/conclusion-selection.d.ts +12 -13
  21. package/dist/extensions/argument-ingestion/stages/conclusion-selection.d.ts.map +1 -1
  22. package/dist/extensions/argument-ingestion/stages/conclusion-selection.js +110 -39
  23. package/dist/extensions/argument-ingestion/stages/conclusion-selection.js.map +1 -1
  24. package/dist/extensions/argument-ingestion/stages/schemas.d.ts +6 -0
  25. package/dist/extensions/argument-ingestion/stages/schemas.d.ts.map +1 -1
  26. package/dist/extensions/argument-ingestion/stages/schemas.js +14 -0
  27. package/dist/extensions/argument-ingestion/stages/schemas.js.map +1 -1
  28. package/dist/extensions/argument-ingestion/v1-single-shot.d.ts.map +1 -1
  29. package/dist/extensions/argument-ingestion/v1-single-shot.js +13 -13
  30. package/dist/extensions/argument-ingestion/v1-single-shot.js.map +1 -1
  31. package/dist/extensions/openai/errors.d.ts +23 -0
  32. package/dist/extensions/openai/errors.d.ts.map +1 -1
  33. package/dist/extensions/openai/errors.js +28 -0
  34. package/dist/extensions/openai/errors.js.map +1 -1
  35. package/dist/extensions/openai/index.d.ts +3 -3
  36. package/dist/extensions/openai/index.d.ts.map +1 -1
  37. package/dist/extensions/openai/index.js +4 -3
  38. package/dist/extensions/openai/index.js.map +1 -1
  39. package/dist/extensions/openai/provider.d.ts +118 -0
  40. package/dist/extensions/openai/provider.d.ts.map +1 -1
  41. package/dist/extensions/openai/provider.js +272 -23
  42. package/dist/extensions/openai/provider.js.map +1 -1
  43. package/dist/extensions/openai/structured-output.js +3 -3
  44. package/dist/extensions/openai/structured-output.js.map +1 -1
  45. package/dist/lib/core/argument-engine.d.ts +7 -8
  46. package/dist/lib/core/argument-engine.d.ts.map +1 -1
  47. package/dist/lib/core/argument-engine.js +36 -39
  48. package/dist/lib/core/argument-engine.js.map +1 -1
  49. package/dist/lib/core/expression-manager.d.ts +6 -6
  50. package/dist/lib/core/expression-manager.d.ts.map +1 -1
  51. package/dist/lib/core/expression-manager.js +35 -42
  52. package/dist/lib/core/expression-manager.js.map +1 -1
  53. package/dist/lib/core/fork-library.d.ts +1 -1
  54. package/dist/lib/core/fork-library.js +1 -1
  55. package/dist/lib/core/interfaces/argument-engine.interfaces.d.ts +5 -7
  56. package/dist/lib/core/interfaces/argument-engine.interfaces.d.ts.map +1 -1
  57. package/dist/lib/core/interfaces/premise-engine.interfaces.d.ts +6 -6
  58. package/dist/lib/core/premise-engine.js +9 -9
  59. package/dist/lib/core/premise-engine.js.map +1 -1
  60. package/dist/lib/grammar/an-rules.d.ts +24 -33
  61. package/dist/lib/grammar/an-rules.d.ts.map +1 -1
  62. package/dist/lib/grammar/an-rules.js +83 -114
  63. package/dist/lib/grammar/an-rules.js.map +1 -1
  64. package/dist/lib/grammar/auto-normalize.d.ts.map +1 -1
  65. package/dist/lib/grammar/auto-normalize.js +5 -6
  66. package/dist/lib/grammar/auto-normalize.js.map +1 -1
  67. package/dist/lib/grammar/bounded-subtree.d.ts.map +1 -1
  68. package/dist/lib/grammar/bounded-subtree.js +2 -3
  69. package/dist/lib/grammar/bounded-subtree.js.map +1 -1
  70. package/dist/lib/grammar/naked-q.js +4 -4
  71. package/dist/lib/grammar/naked-q.js.map +1 -1
  72. package/dist/lib/grammar/normalize.js +4 -4
  73. package/dist/lib/grammar/normalize.js.map +1 -1
  74. package/dist/lib/grammar/populate-from.d.ts.map +1 -1
  75. package/dist/lib/grammar/populate-from.js +3 -4
  76. package/dist/lib/grammar/populate-from.js.map +1 -1
  77. package/dist/lib/index.d.ts.map +1 -1
  78. package/dist/lib/index.js +1 -2
  79. package/dist/lib/index.js.map +1 -1
  80. package/dist/lib/llm/types.d.ts +15 -0
  81. package/dist/lib/llm/types.d.ts.map +1 -1
  82. package/dist/lib/llm/types.js +2 -2
  83. package/dist/lib/llm/types.js.map +1 -1
  84. package/dist/lib/parsing/argument-parser.js +1 -1
  85. package/dist/lib/parsing/argument-parser.js.map +1 -1
  86. package/dist/lib/pipelines/execute.js +1 -1
  87. package/dist/lib/pipelines/execute.js.map +1 -1
  88. package/dist/lib/pipelines/stage-helpers.d.ts +1 -1
  89. package/dist/lib/pipelines/stage-helpers.d.ts.map +1 -1
  90. package/dist/lib/pipelines/stage-helpers.js +39 -2
  91. package/dist/lib/pipelines/stage-helpers.js.map +1 -1
  92. package/dist/lib/pipelines/types.d.ts +25 -0
  93. package/dist/lib/pipelines/types.d.ts.map +1 -1
  94. package/dist/lib/types/fork.d.ts +1 -1
  95. package/dist/lib/types/validation.js +9 -9
  96. package/dist/lib/types/validation.js.map +1 -1
  97. 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. Phase D
16
- // owns this module: D0 (this file) lifts the rules out of
17
- // `ExpressionManager.normalize()` and into the grammar module so the AN
18
- // pass is no longer coupled to the legacy `grammarConfig` machinery; D2
19
- // removes the legacy plumbing entirely (the per-mutation AN inside
20
- // `ExpressionManager` mutation methods + the 11 P-1 throw sites — see
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
- // **D0e AN-1 + AN-2 + AN-3 + AN-4 all native.** `applyAN1`,
24
- // `applyAN2`, `applyAN3`, and `applyAN4` implement their rules
25
- // directly against the public `PremiseEngine` mutation API. AN-1 uses
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. The four `applyAN*`
35
- // exports no longer delegate to the legacy `pe.normalizeExpressions()`
36
- // full sweep.
33
+ // `pe.removeExpression(formula, false)` cleanup.
37
34
  //
38
- // **D0f.** `applyANToFixedPoint` switched from a `||` short-circuit
39
- // chain (one rule per outer iteration) to a reduce-or accumulator (all
40
- // four rules per outer iteration, OR'd into the changed flag)
41
- // synthesis P2 #2 carry-over. The PERMISSIVE config-swap that disarms
42
- // the 11 legacy inline P-1 enforcement throws moved from `normalize.ts`
43
- // into `applyANToFixedPoint` itself so both `runAssistiveNormalization`
44
- // (post-mutation hook in assistive mode) and `normalizeArgument`
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 once it lands; today they
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
- * **D0b: native rewrite.** Walks each premise's expression tree
69
- * looking for NOT(NOT(x)) — both the direct form (`NOT_outer →
70
- * NOT_inner → x`) and the buffered form (`NOT_outer → formula →
71
- * NOT_inner x`). For each match issues two
72
- * `pe.removeExpression(id, false)` calls that promote the
73
- * grandchild (and, in the buffered case, the residual formula)
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
- * **D0c: native rewrite.** Walks each premise's expression tree and
160
- * collapses four sub-cases via `pe.removeExpression(id, false)`:
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`. The lift
178
- * resolves the pre-D0e duplication (D0a P2 #3 / D0d P2 #3).
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 parity with the legacy `ExpressionManager.normalize()`
181
- * passes 1 + 2 is asserted by the regression-guard tests in
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
- * **D0e: native rewrite.** Walks each premise's expression tree for
248
- * the absorption shape `OUTER_OP → (..., ) formula → INNER_OP (same
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
- // **D2 — D1 P2 #1 carry-over: forbidden-set walk.** A naive
384
- // computed target can collide with two kinds of obstacles, both
385
- // of which would trip S-9 inside `pe.reparentExpression`:
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) the D1 ±1 shift
399
- // moved a colliding target to the slot reserved for the
400
- // *next* planned target the next iteration then tripped
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
- // The fix tracks both obstacles in a single `forbidden` set: the
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 so the next dev can
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` — the prior fixed-scratch range
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`. The
494
- * D0e review (P2 #1) flagged this as the redistribute-fallback's own
495
- * raison d'être was pathological position-keyspace clustering, so the
496
- * collision case was structurally reachable.
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
- // The pre-D0f hard-coded scratch window `[max - total, max - 1]`
526
- // happened to cover both concerns *only* when current positions
527
- // were well below the top of the range — making the bug
528
- // structurally reachable for clustered-near-max inputs (which is
529
- // the redistribute-fallback's own raison d'être).
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
- // D1 — P2 #2: skip children that are already at their target
538
- // position. The pre-D1 code unconditionally scratched and back-
539
- // moved every child, emitting 2 reparent change records per
540
- // already-at-target child. Skipping is correctness-equivalent:
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
- * **D0e: native rewrite.** Walks each premise's expression tree
595
- * looking for non-`not` operators whose parent is also an operator —
596
- * i.e., the P-1 violation shape `parent-op → child-op (non-not)`. For
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
- * **D0e state: all four rules are native.** The driver issues
669
- * single-rule passes in order — AN-2, AN-3, AN-4, AN-1 — so buffer
670
- * insertion sees the post-collapse tree (avoids inserting a buffer
671
- * that would then need to be collapsed by AN-3).
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
- * **D0f state: reduce-or accumulator** (replaces the prior `||`
674
- * short-circuit chain). Every outer iteration fires all four rules
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 previously-borderline inputs.
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
- // D2: the PERMISSIVE swap that disarmed the legacy inline P-1
688
- // enforcement throws is gone — the 11 P-1 throw sites + the
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 were deleted in D2. AN-2 and AN-3 can now run
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
- // D2b: re-entrance guard. AN's own mutations
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 now
715
- // native single-rule passes (D0e).
695
+ // that AN-3 would then collapse). All four rules are native
696
+ // single-rule passes.
716
697
  //
717
- // **D0f: reduce-or accumulator** (was `||` short-circuit
718
- // pre-D0f). The short-circuit fired at most one rule per
719
- // outer iteration — if AN-2 fired, AN-3/4/1 were skipped
720
- // this iteration and the loop went back to the top. The
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 previously approached
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 tells the next dev which rule was
731
- // active last when the cap trips).
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. Helps the
754
- // next dev triage where the loop is oscillating when the cap
755
- // trips. As of D0e the outer loop is the actual convergence
756
- // driver — all four rules are native single-rule passes — so
757
- // a cap-trip indicates a real oscillation, not a budgeting
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":"AAmBA,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"}
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. As of D2 all four AN
14
- // rules are native single-rule passes routed through
15
- // `applyANToFixedPoint` in `src/lib/grammar/an-rules.ts`; the legacy
16
- // per-flag `grammarConfig` machinery + the 11 P-1 throw sites are
17
- // gone, so this bridge is unconditional delegation gated only on
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,kEAAkE;AAClE,qDAAqD;AACrD,qEAAqE;AACrE,kEAAkE;AAClE,iEAAiE;AACjE,qBAAqB;AAUrB,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
+ {"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":"AAwBA,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"}
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
- // The dual-review syntheses (D0a P2 #3, D0d P2 #3) called out the
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,kEAAkE;AAClE,yDAAyD;AAIzD;;;;;;;;;;;;;;;;;;;;;;;;;;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"}
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 C6 factory after the derivation
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 C8 skip
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,oDAAoD;AACpD,EAAE;AACF,gEAAgE;AAChE,yEAAyE;AACzE,kEAAkE;AAClE,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"}
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 (Phase C4).
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'`. D2 deleted
23
- // the legacy per-flag config + the 11 P-1 throw sites + the PERMISSIVE
24
- // swap that worked around them, so this bridge is now a tier-gate +
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,mDAAmD;AACnD,EAAE;AACF,sEAAsE;AACtE,qEAAqE;AACrE,oEAAoE;AACpE,uEAAuE;AACvE,oEAAoE;AACpE,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
+ {"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":"AAiDA,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
+ {"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
- // C6: populateFromCitations / populateFromAxioms factory pattern.
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
- // **D2b — permissive-build + explicit normalize() pattern.** The
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
- // D2b — permissive-build + explicit normalize() pattern. The
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,kEAAkE;AAClE,EAAE;AACF,yDAAyD;AACzD,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,iEAAiE;AACjE,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,6DAA6D;IAC7D,+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"}
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"}