aontu 0.41.0 → 0.43.0

package/src/val/{RefVal.ts → RefVal.ts.old}

@@ -1,8 +1,6 @@
 /* Copyright (c) 2021-2025 Richard Rodger, MIT License */
 
 
-import Util from 'node:util'
-
 import {
   walk,
   explainOpen,
@@ -16,6 +14,7 @@ import type {
   ValSpec,
 } from '../type'
 
+
 import {
   DONE,
 } from '../type'
@@ -137,10 +136,23 @@ class RefVal extends FeatureVal {
   unify(peer: Val, ctx: AontuContext): Val {
     peer = peer ?? top()
 
+    // TEMPORARY: nerf RefVals to verify spread-first resolution
+    return makeNilErr(ctx, 'ref_test_block', this, peer)
+
     const te = ctx.explain && explainOpen(ctx, ctx.explain, 'Ref', this, peer)
     let out: Val = this
     let why = 'id'
 
+    // Defer ref resolution on first pass and while spreads remain
+    if (0 === ctx.cc || 0 < ctx.sc) {
+      if (!peer.isTop && this.id !== peer.id) {
+        out = new ConjunctVal({ peg: [this, peer] }, ctx)
+      }
+      out.dc = DONE === out.dc ? DONE : this.dc + 1
+      explainClose(te, out)
+      return out
+    }
+
     if (this.id !== peer.id) {
 
       // TODO: not resolved when all Vals in path are done is an error
@@ -359,31 +371,30 @@ class RefVal extends FeatureVal {
           if (this.mark.type || this.mark.hide) {
             out.mark.type = this.mark.type
             out.mark.hide = this.mark.hide
-
-            // walk(out, (_key: string | number | undefined, val: Val) => {
-            //   val.mark.type = this.mark.type
-            //   val.mark.hide = this.mark.hide
-            //   return val
-            // })
           }
 
           if (this.mark._hide_found) {
             out.mark.hide = true
           }
 
-          // console.log('FOUND-B', out)
-
-          out = out.clone(ctx)
+          // Cache clone+walk results per (ref, target) per iteration.
+          const cacheKey = this.id + '|' + out.id
+          const cache = ctx._refCloneCache
+          const cached = cache?.get(cacheKey)
+          if (cached !== undefined) {
+            out = cached
+          }
+          else {
+            out = out.clone(ctx)
 
-          // if (this.mark.type || this.mark.hide) {
-          walk(out, (_key: string | number | undefined, val: Val) => {
-            val.mark.type = false
-            val.mark.hide = false
-            return val
-          })
-          //}
+            walk(out, (_key: string | number | undefined, val: Val) => {
+              val.mark.type = false
+              val.mark.hide = false
+              return val
+            })
 
-          // onsole.log('FOUND-C', out)
+            cache?.set(cacheKey, out)
+          }
         }
       }
     }

package/src/val/SpreadVal.ts

@@ -0,0 +1,275 @@
+/* Copyright (c) 2025 Richard Rodger, MIT License */
+
+// SpreadVal represents a spread constraint (&:{...}).
+// It owns all spread application logic — MapVal and ListVal know
+// nothing about spreads. A parsed `{a:1, &:{x:2}}` becomes
+// `ConjunctVal([MapVal({a:1}), SpreadVal({x:2})])`.
+//
+// SpreadVal.unify applies the constraint to a peer MapVal/ListVal
+// by unifying each of the peer's children with a per-key clone of
+// the spread constraint.
+
+import type {
+  Val,
+  ValSpec,
+} from '../type'
+
+import {
+  DONE,
+} from '../type'
+
+import { AontuContext } from '../ctx'
+import { unite } from '../unify'
+
+import {
+  propagateMarks,
+  walk,
+  explainOpen,
+  ec,
+  explainClose,
+} from '../utility'
+
+import { makeNilErr } from '../err'
+
+import {
+  top
+} from './top'
+
+import { FeatureVal } from './FeatureVal'
+import { ConjunctVal } from './ConjunctVal'
+import { NilVal } from './NilVal'
+import { MapVal } from './MapVal'
+import { ListVal } from './ListVal'
+
+
+class SpreadVal extends FeatureVal {
+  isSpread = true
+  isGenable = true
+  cjo = 110000  // Sorts after MapVal/ListVal in ConjunctVal norm
+
+  constructor(spec: ValSpec, ctx?: AontuContext) {
+    super(spec, ctx)
+  }
+
+
+  unify(peer: Val, ctx: AontuContext): Val {
+    peer = peer ?? top()
+
+    const te = ctx.explain && explainOpen(ctx, ctx.explain, 'Spread', this, peer)
+
+    let out: Val
+
+    if (peer.isTop) {
+      // Self-unify: spread is a constraint, not a value that converges.
+      // Mark done to prevent fixpoint cycling.
+      out = this
+      out.dc = DONE
+    }
+    else if ((peer as any).isSpread) {
+      // SpreadVal + SpreadVal: unify the two constraints
+      const merged = unite(
+        te ? ctx.clone({ explain: ec(te, 'SPR') }) : ctx,
+        this.peg, peer.peg, 'spread-merge')
+      out = new SpreadVal({ peg: merged }, ctx)
+      out.dc = merged.done ? DONE : this.dc + 1
+    }
+    else if (peer.isMap) {
+      // SpreadVal + MapVal: apply spread to each map key
+      out = this.applyToMap(peer as any, ctx, te)
+    }
+    else if (peer.isList) {
+      // SpreadVal + ListVal: apply spread to each list element
+      out = this.applyToList(peer as any, ctx, te)
+    }
+    else if (peer.isConjunct) {
+      // SpreadVal + ConjunctVal: unify with the conjunct.
+      // The conjunct fold will place us last (high cjo).
+      out = peer.unify(this, te ? ctx.clone({ explain: ec(te, 'SCJ') }) : ctx)
+    }
+    else {
+      // SpreadVal + other: defer by wrapping in ConjunctVal
+      out = new ConjunctVal({ peg: [peer, this] }, ctx)
+      out.dc = this.dc + 1
+    }
+
+    // Track unresolved spread count.
+    // cc=0: increment for spreads that don't vanish.
+    // cc>0: decrement when a spread vanishes.
+    if (0 === ctx.cc) {
+      if (out.isSpread && !out.done) {
+        ctx.sc++
+      }
+    }
+    else if (ctx.sc > 0) {
+      if (!(out.isSpread && !out.done)) {
+        ctx.sc--
+      }
+    }
+
+    ctx.explain && explainClose(te, out)
+    return out
+  }
+
+
+  // Apply this spread constraint to each key in a MapVal.
+  // Uses unite() per key with the correct descended context.
+  applyToMap(map: MapVal, ctx: AontuContext, te: any): Val {
+    const spread = this.peg
+
+    const mapKeys = Object.keys(map.peg)
+
+    // If map has no keys, preserve the spread for future merges.
+    // Mark as DONE to prevent fixpoint cycling.
+    if (mapKeys.length === 0) {
+      const out = new ConjunctVal({ peg: [map, this] }, ctx)
+      out.dc = DONE
+      return out
+    }
+
+    const out = new MapVal({ peg: {} }, ctx)
+    out.closed = map.closed
+    out.optionalKeys = 0 < map.optionalKeys.length
+      ? [...map.optionalKeys] : map.optionalKeys
+    out.site = map.site
+
+    let done = true
+
+    for (const key of mapKeys) {
+      const child = map.peg[key]
+      const keyctx = ctx.descend(key)
+      // Clone the spread for this key's context, then resolve any
+      // path-dependent functions (key(), path(), etc.) by unifying
+      // with TOP. This ensures the spread values are concrete before
+      // being merged as peer keys into the child map.
+      let key_spread = spread.spreadClone(keyctx)
+      if (!key_spread.done) {
+        key_spread = unite(keyctx, key_spread, top(), 'spread-resolve')
+      }
+
+      // Clear type marks on the spread constraint root and its
+      // direct children — type() constrains but should not mark
+      // children as type-invisible.
+      key_spread.mark.type = false
+      key_spread.mark.hide = false
+      if (key_spread.isMap) {
+        for (const k in key_spread.peg) {
+          if (key_spread.peg[k]?.isVal) {
+            key_spread.peg[k].mark.type = false
+          }
+        }
+      }
+
+      propagateMarks(map, child)
+
+      out.peg[key] =
+        undefined === child ? key_spread :
+          child.isNil ? child :
+            key_spread.isNil ? key_spread :
+              key_spread.isTop && child.done ? child :
+                child.isTop && key_spread.done ? key_spread :
+                  unite(te ? keyctx.clone({ explain: ec(te, 'SK:' + key) }) : keyctx,
+                    child, key_spread, 'spread-apply')
+
+      done = done && (DONE === out.peg[key].dc)
+    }
+
+    out.dc = done ? DONE : map.dc + 1
+
+    propagateMarks(map, out)
+    // NOTE: do not propagate type/hide marks from the spread constraint
+    // to the output — a type spread constrains children but doesn't
+    // make them type-invisible.
+
+    return out
+  }
+
+
+  // Apply this spread constraint to each element in a ListVal.
+  applyToList(list: ListVal, ctx: AontuContext, te: any): Val {
+    const spread = this.peg
+
+    const listKeys = Object.keys(list.peg)
+
+    if (listKeys.length === 0) {
+      const out = new ConjunctVal({ peg: [list, this] }, ctx)
+      out.dc = DONE
+      return out
+    }
+
+    const out = new ListVal({ peg: [] }, ctx)
+    out.closed = list.closed
+    out.optionalKeys = 0 < list.optionalKeys.length
+      ? [...list.optionalKeys] : list.optionalKeys
+    out.site = list.site
+
+    let done = true
+
+    for (const key of listKeys) {
+      const child = list.peg[key]
+      const keyctx = ctx.descend(key)
+      const key_spread = spread.spreadClone(keyctx)
+
+      propagateMarks(list, child)
+
+      out.peg[key as any] =
+        undefined === child ? key_spread :
+          child.isNil ? child :
+            key_spread.isNil ? key_spread :
+              key_spread.isTop && child.done ? child :
+                child.isTop && key_spread.done ? key_spread :
+                  unite(te ? keyctx.clone({ explain: ec(te, 'SL:' + key) }) : keyctx,
+                    child, key_spread, 'spread-apply-list')
+
+      done = done && (DONE === out.peg[key as any]?.dc)
+    }
+
+    out.dc = done ? DONE : list.dc + 1
+
+    propagateMarks(list, out)
+
+    return out
+  }
+
+
+  clone(ctx: AontuContext, spec?: ValSpec): Val {
+    const out = new SpreadVal({
+      peg: this.peg.clone(ctx, spec),
+      ...(spec || {}),
+    }, ctx)
+    out.dc = this.done ? DONE : out.dc
+    out.site = this.site
+    return out
+  }
+
+
+  spreadClone(ctx: AontuContext): Val {
+    if (!this.isPathDependent) return this
+    return this.clone(ctx)
+  }
+
+
+  get canon(): string {
+    // Use {&:...} for map spreads, [&:...] for list spreads, {&:X} for scalars
+    const pc = this.peg.canon
+    if (this.peg.isMap) return '{&:' + pc.slice(1, -1) + '}'   // {&:k:v,...}
+    if (this.peg.isList) return '[&:' + pc.slice(1, -1) + ']'  // [&:v,...]
+    return '{&:' + pc + '}'
+  }
+
+
+  gen(_ctx: AontuContext) {
+    // Unresolved spread (never applied to a map/list) generates
+    // as undefined — the spread is a constraint, not a value.
+    return undefined
+  }
+
+
+  inspection() {
+    return 'spread'
+  }
+}
+
+
+export {
+  SpreadVal,
+}

package/src/val/Val.ts

@@ -69,10 +69,11 @@ abstract class Val {
   declare isList: boolean
   declare isScalar: boolean
   declare isScalarKind: boolean
-  declare isRef: boolean
+  declare isPath: boolean
   declare isPref: boolean
   declare isVar: boolean
   declare isBag: boolean
+  declare isSpread: boolean
   declare isNumber: boolean
   declare isInteger: boolean
   declare isString: boolean
@@ -150,8 +151,10 @@ abstract class Val {
 
     if (Array.isArray(this.peg)) {
       let spread = (this.peg as any)[SPREAD]
-      this.peg = this.peg.filter(n => undefined !== n)
-        ; (this.peg as any)[SPREAD] = spread
+      if (this.peg.includes(undefined)) {
+        this.peg = this.peg.filter(n => undefined !== n)
+      }
+      ;(this.peg as any)[SPREAD] = spread
     }
 
     // spec.path takes precedence over ctx.path: lets callers (notably
@@ -239,7 +242,7 @@ abstract class Val {
   get isPathDependent(): boolean {
     if (this._isPathDependent !== undefined) return this._isPathDependent
     let dep =
-      this.isRef || this.isKeyFunc || this.isPathFunc ||
+      this.isPath || this.isKeyFunc || this.isPathFunc ||
       this.isMoveFunc || this.isSuperFunc
     if (!dep) {
       const peg = this.peg
@@ -255,10 +258,6 @@ abstract class Val {
           if (c && c.isVal && c.isPathDependent) { dep = true; break }
         }
       }
-      if (!dep) {
-        const spreadCj = (this as any).spread?.cj as Val | undefined
-        if (spreadCj && spreadCj.isPathDependent) dep = true
-      }
     }
     this._isPathDependent = dep
     return dep
@@ -367,10 +366,11 @@ Object.assign(Val.prototype, {
   isList: false,
   isScalar: false,
   isScalarKind: false,
-  isRef: false,
+  isPath: false,
   isPref: false,
   isVar: false,
   isBag: false,
+  isSpread: false,
   isNumber: false,
   isInteger: false,
   isString: false,

package/src/val/VarVal.ts

@@ -62,7 +62,7 @@ class VarVal extends FeatureVal {
     if (this.peg.isVal) {
       // $.a.b.c - convert path to absolute
       // if (this.peg instanceof RefVal) {
-      if (this.peg.isRef) {
+      if (this.peg.isPath) {
         this.peg.absolute = true
         nameVal = this.peg
       }
@@ -76,7 +76,7 @@ class VarVal extends FeatureVal {
     }
 
     // if (!(nameVal instanceof RefVal) && DONE === nameVal.dc) {
-    if (!(nameVal.isRef) && DONE === nameVal.dc) {
+    if (!(nameVal.isPath) && DONE === nameVal.dc) {
       if (nameVal instanceof StringVal) {
         let found = ctx.vars[nameVal.peg]
         if (undefined === found) {

package/dist/val/RefVal.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"RefVal.js","sourceRoot":"","sources":["../../src/val/RefVal.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AAKzD,wCAKmB;AAQnB,kCAEgB;AAIhB,gCAAmC;AACnC,oCAAgC;AAGhC,+BAEc;AAGd,2CAAuC;AACvC,6CAAyC;AACzC,2CAAuC;AACvC,+CAA2C;AAC3C,qCAAiC;AACjC,6CAAyC;AAIzC,MAAM,MAAO,SAAQ,uBAAU;IAQ7B,YACE,IAIC,EACD,GAAkB;QAElB,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QAflB,UAAK,GAAG,IAAI,CAAA;QACZ,cAAS,GAAG,IAAI,CAAA;QAChB,QAAG,GAAG,KAAK,CAAA;QAEX,aAAQ,GAAY,KAAK,CAAA;QACzB,WAAM,GAAY,KAAK,CAAA;QAWrB,IAAI,CAAC,GAAG,GAAG,EAAE,CAAA;QAEb,IAAI,CAAC,QAAQ,GAAG,IAAI,KAAK,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,kBAAkB;YAChE,IAAI,KAAK,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAA;QAEvC,IAAI,CAAC,MAAM,GAAG,IAAI,KAAK,IAAI,CAAC,MAAM,CAAA;QAElC,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;YAC5C,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAA;QAC3B,CAAC;QAED,0CAA0C;IAC5C,CAAC;IAGD,MAAM,CAAC,IAAS;QACd,IAAI,OAAO,CAAA;QAEX,8BAA8B;QAE9B,IAAI,QAAQ,KAAK,OAAO,IAAI,EAAE,CAAC;YAC7B,OAAO,GAAG,IAAI,CAAA;YACd,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;QACxB,CAAC;aAEI,IAAI,IAAI,YAAY,qBAAS,EAAE,CAAC;YACnC,OAAO,GAAG,IAAI,CAAC,GAAG,CAAA;YAClB,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;QACxB,CAAC;aAEI,IAAI,IAAI,YAAY,uBAAU,EAAE,CAAC;YACpC,0BAA0B;YAC1B,OAAO,GAAG,IAAI,CAAC,GAAG,CAAA;YAClB,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;QACxB,CAAC;QAED,wCAAwC;QACxC,sCAAsC;QACtC,4BAA4B;aACvB,IAAI,IAAI,YAAY,qBAAS,EAAE,CAAC;YACnC,sFAAsF;YACtF,IAAI,QAAQ,GAAa,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;YAC5C,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAA;QAC5B,CAAC;aAEI,IAAI,IAAI,YAAY,eAAM,EAAE,CAAC;YAChC,OAAO,GAAG,IAAI,CAAA;YACd,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;QACxB,CAAC;aAEI,IAAI,IAAI,YAAY,MAAM,EAAE,CAAC;YAChC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAClB,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAA;YACtB,CAAC;YAED,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBAChB,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;oBAChB,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;gBACpB,CAAC;YACH,CAAC;iBACI,CAAC;gBACJ,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;oBAChB,IAAI,CAAC,KAAK,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC;wBAC1B,IAAI,CAAC,MAAM,GAAG,IAAI,CAAA;oBACpB,CAAC;yBAEI,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC;wBAC7B,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;oBACpB,CAAC;gBACH,CAAC;YACH,CAAC;YAED,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAA;QAC5B,CAAC;IACH,CAAC;IAGD,KAAK,CAAC,IAAS,EAAE,GAAiB;QAChC,IAAI,GAAG,IAAI,IAAI,IAAA,SAAG,GAAE,CAAA;QAEpB,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,IAAI,IAAA,qBAAW,EAAC,GAAG,EAAE,GAAG,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;QAC1E,IAAI,GAAG,GAAQ,IAAI,CAAA;QACnB,IAAI,GAAG,GAAG,IAAI,CAAA;QAEd,IAAI,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,EAAE,CAAC;YAExB,gEAAgE;YAChE,0BAA0B;YAC1B,sEAAsE;YACtE,IAAI,KAAK,GAAoB,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;YAEhE,MAAM,QAAQ,GAAG,KAAK,IAAI,IAAI,CAAA;YAE9B,IAAI,IAAI,IAAI,QAAQ,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,EAAE,CAAC;gBAClD,GAAG,GAAG,IAAI,CAAA;YACZ,CAAC;iBACI,IAAI,QAAQ,YAAY,MAAM,EAAE,CAAC;gBACpC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;oBACf,GAAG,GAAG,IAAI,CAAA;oBACV,GAAG,GAAG,IAAI,CAAA;gBACZ,CAAC;qBACI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;oBACpB,GAAG,GAAG,IAAA,gBAAU,EAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC,GAAG,GAAG,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;oBAC1D,GAAG,GAAG,IAAI,CAAA;gBACZ,CAAC;gBAED,YAAY;qBACP,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,EAAE,CAAC;oBACnC,GAAG,GAAG,IAAI,CAAA;oBACV,GAAG,GAAG,IAAI,CAAA;gBACZ,CAAC;qBAEI,CAAC;oBACJ,oCAAoC;oBACpC,IAAI,CAAC,EAAE,GAAG,WAAI,KAAK,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,WAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAA;oBAC/C,GAAG,GAAG,IAAI,yBAAW,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,CAAA;oBACjD,GAAG,GAAG,IAAI,CAAA;gBACZ,CAAC;YACH,CAAC;iBACI,CAAC;gBACJ,GAAG,GAAG,IAAA,aAAK,EAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAA,YAAE,EAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;gBACpF,GAAG,GAAG,GAAG,CAAA;YACX,CAAC;YAED,GAAG,CAAC,EAAE,GAAG,WAAI,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,WAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAA;QAC/C,CAAC;QAED,mJAAmJ;QAEnJ,IAAA,sBAAY,EAAC,EAAE,EAAE,GAAG,CAAC,CAAA;QACrB,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,IAAI,CAAC,GAAiB;QACpB,IAAI,GAAG,GAAoB,SAAS,CAAA;QAEpC,wDAAwD;QACxD,2EAA2E;QAC3E,IAAI,YAAY,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,CAAA;QACtD,IAAI,YAAY,EAAE,CAAC;YACjB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACzC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;oBACjC,YAAY,GAAG,KAAK,CAAA;oBACpB,MAAK;gBACP,CAAC;YACH,CAAC;QACH,CAAC;QACD,+EAA+E;QAC/E,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACnE,IAAI,QAAQ,GAAG,IAAI,CAAA;YACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACzC,IAAI,EAAE,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;oBAAC,QAAQ,GAAG,KAAK,CAAC;oBAAC,MAAK;gBAAC,CAAC;YACrD,CAAC;YACD,YAAY,GAAG,QAAQ,CAAA;QACzB,CAAC;QAED,IAAI,OAAO,GAAa,EAAE,CAAA;QAC1B,IAAI,EAAE,GAAG,CAAC,CAAA;QACV,mBAAmB;QAEnB,IAAI,YAAY,EAAE,CAAC;YACjB,wDAAwD;YACxD,GAAG,GAAG,IAAA,gBAAU,EAAC,GAAG,EAAE,YAAY,EAAE,IAAI,CAAC,CAAA;QAC3C,CAAC;aACI,CAAC;YAEJ,IAAI,KAAK,GAAa,EAAE,CAAA;YAExB,IAAI,KAAK,GAAa,EAAE,CAAA;YAExB,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;gBAC5C,IAAI,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;gBACvB,IAAI,IAAI,YAAY,eAAM,EAAE,CAAC;oBAC3B,IAAI,MAAM,GAAI,IAAe,CAAC,GAAG,CAAA;oBACjC,IAAI,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAA;oBAExC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;wBACnB,IAAI,EAAE,KAAK,IAAI,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;4BAC/B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;wBAClB,CAAC;6BACI,CAAC;4BACJ,sCAAsC;4BACtC,OAAM;wBACR,CAAC;oBACH,CAAC;oBAED,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;wBACpB,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;4BACb,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;wBAClB,CAAC;6BACI,CAAC;4BACJ,sCAAsC;4BACtC,OAAM;wBACR,CAAC;oBACH,CAAC;yBACI,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;wBAC3B,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;4BACb,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;wBAClB,CAAC;6BACI,CAAC;4BACJ,sCAAsC;4BACtC,OAAM;wBACR,CAAC;oBACH,CAAC;yBACI,IAAI,CAAC,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;wBAC5B,IAAI,GAAI,IAAe,CAAC,KAAK,CAAC,IAAA,SAAG,GAAE,EAAE,GAAG,CAAC,CAAA;wBACzC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;4BACf,0CAA0C;4BAC1C,OAAM;wBACR,CAAC;6BACI,CAAC;4BACJ,IAAI,GAAG,EAAE,GAAG,IAAI,CAAC,GAAG,CAAA;wBACtB,CAAC;oBACH,CAAC;gBACH,CAAC;qBACI,CAAC;oBACJ,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBAClB,CAAC;YACH,CAAC;YAED,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAClB,OAAO,GAAG,KAAK,CAAA;YACjB,CAAC;iBACI,CAAC;gBACJ,4BAA4B;gBAC5B,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CACvB,CAAC,EACD,CACE,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;oBAC1B,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;wBAC7B,CAAC,CAAC,CAAC,WAAW;iBACnB,CACF,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;YACjB,CAAC;YAED,IAAI,GAAG,GAAG,GAAG,CAAA;YACb,OAAO,GAAG,OAAO;iBACd,MAAM,CAAC,CAAC,CAAC,CAAW,EAAE,CAAS,EAAE,EAAE,CAClC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;YAE9D,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC1B,IAAI,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;gBACzC,IAAI,EAAE,GAAG,IAAI,qBAAS,CAAC,EAAE,GAAG,EAAE,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,GAAG,CAAC,CAAA;gBAE5D,qBAAqB;gBACrB,EAAE,CAAC,EAAE,GAAG,WAAI,CAAA;gBACZ,EAAE,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAA;gBAEnB,OAAO,EAAE,CAAA;YACX,CAAC;YAED,IAAI,IAAI,GAAG,GAAG,CAAC,IAAW,CAAA;YAE1B,IAAI,MAAM,GAAG,KAAK,CAAA;YAElB,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;gBACjB,OAAO,EAAE,GAAG,OAAO,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;oBACjC,IAAI,IAAI,GAAG,OAAO,CAAC,EAAE,CAAC,CAAA;oBACtB,sCAAsC;oBAEtC,oEAAoE;oBAEpE,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;wBACf,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;oBACvB,CAAC;yBACI,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;wBACrB,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;oBACvB,CAAC;yBACI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;wBACnB,MAAM,GAAG,IAAI,CAAA;wBACb,MAAM;oBACR,CAAC;yBACI,CAAC;wBACJ,MAAM;oBACR,CAAC;oBAED,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;wBACjB,MAAM,GAAG,IAAI,CAAA;wBACb,MAAK;oBACP,CAAC;gBAEH,CAAC;YACH,CAAC;YAED,sEAAsE;YAGtE,IAAI,MAAM,EAAE,CAAC;gBACX,GAAG,GAAG,IAAA,gBAAU,EAAC,GAAG,EAAE,SAAS,EAAE,IAAI,CAAC,CAAA;YACxC,CAAC;iBACI,IAAI,EAAE,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC;gBAC/B,GAAG,GAAG,IAAI,CAAA;gBAEV,uDAAuD;gBACvD,IAAI,IAAI,IAAI,GAAG,EAAE,CAAC,CAAC,0CAA0C;oBAE3D,8BAA8B;oBAE9B,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;wBACrC,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAA;wBAC9B,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAA;wBAE9B,+DAA+D;wBAC/D,mCAAmC;wBACnC,mCAAmC;wBACnC,eAAe;wBACf,KAAK;oBACP,CAAC;oBAED,IAAI,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;wBAC1B,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAA;oBACtB,CAAC;oBAED,8BAA8B;oBAE9B,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;oBAEpB,0CAA0C;oBAC1C,IAAA,cAAI,EAAC,GAAG,EAAE,CAAC,IAAiC,EAAE,GAAQ,EAAE,EAAE;wBACxD,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,KAAK,CAAA;wBACrB,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,KAAK,CAAA;wBACrB,OAAO,GAAG,CAAA;oBACZ,CAAC,CAAC,CAAA;oBACF,GAAG;oBAEH,6BAA6B;gBAC/B,CAAC;YACH,CAAC;QACH,CAAC;QAED,kJAAkJ;QAElJ,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,IAAI,CAAC,IAAS;QACZ,OAAO,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,GAAG,CAAA;IACrD,CAAC;IAGD,KAAK,CAAC,GAAiB,EAAE,IAAc;QACrC,IAAI,GAAG,GAAI,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE;YAC1B,GAAG,EAAE,IAAI,CAAC,GAAG;YACb,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC;SAChB,CAAY,CAAA;QACb,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,IAAI,KAAK;QACP,IAAI,GAAG,GACL,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1B,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAChC,0BAA0B;YAC1B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBACvC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;iBAC5B,IAAI,CAAC,GAAG,CAAC,CAAA;QACd,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,GAAG,CAAC,GAAiB;QACnB,0DAA0D;QAC1D,IAAI,GAAG,GAAG,IAAA,gBAAU,EAClB,GAAG,EACH,KAAK,EACL,IAAI,EAAE,gDAAgD;QACtD,SAAS,CACV,CAAA;QAED,qCAAqC;QACrC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAA;QACpB,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;QAC5B,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;QAC5B,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;QAE5B,OAAO,SAAS,CAAA;IAClB,CAAC;IAGD,UAAU;QACR,OAAO;YACL,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE;YAC/B,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE;SAC5B,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IAClC,CAAC;CAEF;AAIC,wBAAM"}