aontu 0.40.0 → 0.42.0

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

@@ -58,47 +58,51 @@ let ID = 1000
 
 
 abstract class Val {
-  isVal = true
-
-  isTop = false
-  isNil = false
-  isMap = false
-  isList = false
-  isScalar = false
-  isScalarKind = false
-  isRef = false
-  isPref = false
-  isVar = false
-  isBag = false
-  isNumber = false
-  isInteger = false
-  isString = false
-  isBoolean = false
-  isConjunct = false
-  isDisjunct = false
-  isJunction = false
+  // Type-discriminator flags: defaults live on Val.prototype (see
+  // bottom of this file). Each subclass overrides only its own
+  // discriminator(s), so a plain Val instance writes zero flags.
+  declare isVal: boolean
+
+  declare isTop: boolean
+  declare isNil: boolean
+  declare isMap: boolean
+  declare isList: boolean
+  declare isScalar: boolean
+  declare isScalarKind: 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
+  declare isBoolean: boolean
+  declare isConjunct: boolean
+  declare isDisjunct: boolean
+  declare isJunction: boolean
 
   // Conjunct sort order. Lower values sort first in norm().
-  cjo = 99999
-
-  isOp = false
-  isPlusOp = false
-
-  isFunc = false
-  isCloseFunc = false
-  isCopyFunc = false
-  isHideFunc = false
-  isMoveFunc = false
-  isKeyFunc = false
-  isLowerFunc = false
-  isOpenFunc = false
-  isPathFunc = false
-  isPrefFunc = false
-  isSuperFunc = false
-  isTypeFunc = false
-  isUpperFunc = false
-
-  isGenable = false
+  declare cjo: number
+
+  declare isOp: boolean
+  declare isPlusOp: boolean
+
+  declare isFunc: boolean
+  declare isCloseFunc: boolean
+  declare isCopyFunc: boolean
+  declare isHideFunc: boolean
+  declare isMoveFunc: boolean
+  declare isKeyFunc: boolean
+  declare isLowerFunc: boolean
+  declare isOpenFunc: boolean
+  declare isPathFunc: boolean
+  declare isPrefFunc: boolean
+  declare isSuperFunc: boolean
+  declare isTypeFunc: boolean
+  declare isUpperFunc: boolean
+
+  declare isGenable: boolean
 
   id: number
   dc: number = 0
@@ -147,11 +151,16 @@ 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
     }
 
-    this.path = ctx?.path || []
+    // spec.path takes precedence over ctx.path: lets callers (notably
+    // Val.clone) specify the target path without paying for a full
+    // ctx.clone just to carry it.
+    this.path = spec?.path ?? ctx?.path ?? []
 
     // TODO: make this work
     // this.id = spec?.id ?? (ctx ? ++ctx.vc : ++ID)
@@ -180,27 +189,26 @@ abstract class Val {
 
 
   clone(ctx: AontuContext, spec?: ValSpec): Val {
-    let cloneCtx
-
     let path = spec?.path
     if (null == path) {
       let cut = this.path.indexOf('&')
       cut = -1 < cut ? cut + 1 : ctx.path.length
       path = ctx.path.concat(this.path.slice(cut))
     }
-    // console.log('CLONE', path, this.canon)
-    // console.trace()
-
-    cloneCtx = ctx.clone({ path })
 
+    // Carry the target path via the spec instead of cloning ctx just
+    // to hold it: the Val constructor now reads spec.path first. This
+    // saves ~120k ctx.clone calls (two Object.create each) on a
+    // foo-sdk-sized model.
     let fullspec = {
       peg: this.peg,
       mark: { type: this.mark.type, hide: this.mark.hide },
-      ...(spec ?? {})
+      ...(spec ?? {}),
+      path,
     }
 
     let out = new (this as any)
-      .constructor(fullspec, cloneCtx)
+      .constructor(fullspec, ctx)
 
     out.dc = this.done ? DONE : out.dc
 
@@ -224,6 +232,38 @@ abstract class Val {
   }
 
 
+  // True if this Val's unification result depends on its own `path`
+  // — i.e. the tree contains a RefVal, KeyFuncVal, PathFuncVal,
+  // MoveFuncVal, or SuperFuncVal. Used by MapVal/ListVal.spreadClone
+  // to share the spread constraint across keys when it's safe.
+  // Lazy + cached: the answer is a function of the Val's immutable
+  // structure, so we compute once per Val.
+  _isPathDependent?: boolean
+  get isPathDependent(): boolean {
+    if (this._isPathDependent !== undefined) return this._isPathDependent
+    let dep =
+      this.isPath || this.isKeyFunc || this.isPathFunc ||
+      this.isMoveFunc || this.isSuperFunc
+    if (!dep) {
+      const peg = this.peg
+      if (Array.isArray(peg)) {
+        for (let i = 0; i < peg.length; i++) {
+          const c = peg[i]
+          if (c && c.isVal && c.isPathDependent) { dep = true; break }
+        }
+      }
+      else if (peg != null && typeof peg === 'object') {
+        for (const k in peg) {
+          const c = (peg as any)[k]
+          if (c && c.isVal && c.isPathDependent) { dep = true; break }
+        }
+      }
+    }
+    this._isPathDependent = dep
+    return dep
+  }
+
+
   place(v: Val) {
     v.site.row = this.site.row
     v.site.col = this.site.col
@@ -311,6 +351,57 @@ abstract class Val {
 }
 
 
+// Prototype-level defaults for Val's type-discriminator flags.
+// Keeping these on the prototype (instead of per-instance class-field
+// initializers) removes ~35 property writes from every Val construction
+// and eliminates the corresponding hidden-class transitions. Subclasses
+// override only the flags that differ, via their own class-field
+// initializers (e.g. `MapVal.isMap = true`).
+Object.assign(Val.prototype, {
+  isVal: true,
+
+  isTop: false,
+  isNil: false,
+  isMap: false,
+  isList: false,
+  isScalar: false,
+  isScalarKind: false,
+  isPath: false,
+  isPref: false,
+  isVar: false,
+  isBag: false,
+  isSpread: false,
+  isNumber: false,
+  isInteger: false,
+  isString: false,
+  isBoolean: false,
+  isConjunct: false,
+  isDisjunct: false,
+  isJunction: false,
+
+  cjo: 99999,
+
+  isOp: false,
+  isPlusOp: false,
+
+  isFunc: false,
+  isCloseFunc: false,
+  isCopyFunc: false,
+  isHideFunc: false,
+  isMoveFunc: false,
+  isKeyFunc: false,
+  isLowerFunc: false,
+  isOpenFunc: false,
+  isPathFunc: false,
+  isPrefFunc: false,
+  isSuperFunc: false,
+  isTypeFunc: false,
+  isUpperFunc: false,
+
+  isGenable: false,
+})
+
+
 function inspectpeg(peg: any, d: number) {
   const indent = '  '.repeat(d)
   return pretty(Array.isArray(peg) ?

package/src/val/VarVal.ts

@@ -62,12 +62,12 @@ 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
       }
       else {
-        nameVal = this.peg.unify(peer, ctx.clone({ explain: ec(te, 'PEG') }))
+        nameVal = this.peg.unify(peer, te ? ctx.clone({ explain: ec(te, 'PEG') }) : ctx)
       }
     }
     else {
@@ -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,GAAG,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAA,YAAE,EAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;gBACzE,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"}