aontu 0.44.0 → 0.46.0

package/dist/val/SpreadVal.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"SpreadVal.js","sourceRoot":"","sources":["../../src/val/SpreadVal.ts"],"names":[],"mappings":";AAAA,oDAAoD;;;AAgBpD,kCAEgB;AAGhB,oCAAgC;AAEhC,wCAMmB;AAInB,+BAEc;AAEd,6CAAyC;AACzC,+CAA2C;AAE3C,qCAAiC;AACjC,uCAAmC;AAGnC,MAAM,SAAU,SAAQ,uBAAU;IAKhC,YAAY,IAAa,EAAE,GAAkB;QAC3C,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QALlB,aAAQ,GAAG,IAAI,CAAA;QACf,cAAS,GAAG,IAAI,CAAA;QAChB,QAAG,GAAG,MAAM,CAAA,CAAE,iDAAiD;IAI/D,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,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;QAE7E,IAAI,GAAQ,CAAA;QAEZ,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,kEAAkE;YAClE,yCAAyC;YACzC,GAAG,GAAG,IAAI,CAAA;YACV,GAAG,CAAC,EAAE,GAAG,WAAI,CAAA;QACf,CAAC;aACI,IAAK,IAAY,CAAC,QAAQ,EAAE,CAAC;YAChC,mDAAmD;YACnD,MAAM,MAAM,GAAG,IAAA,aAAK,EAClB,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAA,YAAE,EAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,EAChD,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAAA;YACrC,GAAG,GAAG,IAAI,SAAS,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,GAAG,CAAC,CAAA;YACzC,GAAG,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,WAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAA;QAC3C,CAAC;aACI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACpB,mDAAmD;YACnD,GAAG,GAAG,IAAI,CAAC,UAAU,CAAC,IAAW,EAAE,GAAG,EAAE,EAAE,CAAC,CAAA;QAC7C,CAAC;aACI,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YACrB,yDAAyD;YACzD,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,IAAW,EAAE,GAAG,EAAE,EAAE,CAAC,CAAA;QAC9C,CAAC;aACI,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACzB,oDAAoD;YACpD,mDAAmD;YACnD,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAA,YAAE,EAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;QAC1E,CAAC;aACI,CAAC;YACJ,sDAAsD;YACtD,GAAG,GAAG,IAAI,yBAAW,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,CAAA;YACjD,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,CAAA;QACtB,CAAC;QAED,iCAAiC;QACjC,iDAAiD;QACjD,0CAA0C;QAC1C,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,EAAE,CAAC;YACjB,IAAI,GAAG,CAAC,QAAQ,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;gBAC9B,GAAG,CAAC,EAAE,EAAE,CAAA;YACV,CAAC;QACH,CAAC;aACI,IAAI,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;YACpB,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACjC,GAAG,CAAC,EAAE,EAAE,CAAA;YACV,CAAC;QACH,CAAC;QAED,GAAG,CAAC,OAAO,IAAI,IAAA,sBAAY,EAAC,EAAE,EAAE,GAAG,CAAC,CAAA;QACpC,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,wDAAwD;IACxD,2DAA2D;IAC3D,UAAU,CAAC,GAAW,EAAE,GAAiB,EAAE,EAAO;QAChD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAA;QAEvB,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAEpC,6DAA6D;QAC7D,4CAA4C;QAC5C,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzB,MAAM,GAAG,GAAG,IAAI,yBAAW,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,CAAA;YACtD,GAAG,CAAC,EAAE,GAAG,WAAI,CAAA;YACb,OAAO,GAAG,CAAA;QACZ,CAAC;QAED,MAAM,GAAG,GAAG,IAAI,eAAM,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,CAAC,CAAA;QACxC,GAAG,CAAC,MAAM,GAAG,GAAG,CAAC,MAAM,CAAA;QACvB,GAAG,CAAC,YAAY,GAAG,CAAC,GAAG,GAAG,CAAC,YAAY,CAAC,MAAM;YAC5C,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,YAAY,CAAA;QAC5C,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,IAAI,CAAA;QAEnB,IAAI,IAAI,GAAG,IAAI,CAAA;QAEf,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;YAC1B,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YAC1B,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;YAC/B,4DAA4D;YAC5D,6DAA6D;YAC7D,+DAA+D;YAC/D,gDAAgD;YAChD,IAAI,UAAU,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAA;YAC3C,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;gBACrB,UAAU,GAAG,IAAA,aAAK,EAAC,MAAM,EAAE,UAAU,EAAE,IAAA,SAAG,GAAE,EAAE,gBAAgB,CAAC,CAAA;YACjE,CAAC;YAED,yDAAyD;YACzD,0DAA0D;YAC1D,8BAA8B;YAC9B,UAAU,CAAC,IAAI,CAAC,IAAI,GAAG,KAAK,CAAA;YAC5B,UAAU,CAAC,IAAI,CAAC,IAAI,GAAG,KAAK,CAAA;YAC5B,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;gBACrB,KAAK,MAAM,CAAC,IAAI,UAAU,CAAC,GAAG,EAAE,CAAC;oBAC/B,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;wBAC7B,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,KAAK,CAAA;oBACrC,CAAC;gBACH,CAAC;YACH,CAAC;YAED,IAAA,wBAAc,EAAC,GAAG,EAAE,KAAK,CAAC,CAAA;YAE1B,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC;gBACV,SAAS,KAAK,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;oBAChC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;wBACnB,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;4BAC7B,UAAU,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gCACtC,KAAK,CAAC,KAAK,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;oCAC3C,IAAA,aAAK,EAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAA,YAAE,EAAC,EAAE,EAAE,KAAK,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,EAChE,KAAK,EAAE,UAAU,EAAE,cAAc,CAAC,CAAA;YAEhD,IAAI,GAAG,IAAI,IAAI,CAAC,WAAI,KAAK,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAA;QAC3C,CAAC;QAED,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,WAAI,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAA;QAEjC,IAAA,wBAAc,EAAC,GAAG,EAAE,GAAG,CAAC,CAAA;QACxB,oEAAoE;QACpE,gEAAgE;QAChE,4BAA4B;QAE5B,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,6DAA6D;IAC7D,WAAW,CAAC,IAAa,EAAE,GAAiB,EAAE,EAAO;QACnD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAA;QAEvB,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QAEtC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1B,MAAM,GAAG,GAAG,IAAI,yBAAW,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,CAAA;YACvD,GAAG,CAAC,EAAE,GAAG,WAAI,CAAA;YACb,OAAO,GAAG,CAAA;QACZ,CAAC;QAED,MAAM,GAAG,GAAG,IAAI,iBAAO,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,CAAC,CAAA;QACzC,GAAG,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAA;QACxB,GAAG,CAAC,YAAY,GAAG,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,MAAM;YAC7C,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAA;QAC9C,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAA;QAEpB,IAAI,IAAI,GAAG,IAAI,CAAA;QAEf,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;YAC3B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YAC3B,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;YAC/B,MAAM,UAAU,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAA;YAE7C,IAAA,wBAAc,EAAC,IAAI,EAAE,KAAK,CAAC,CAAA;YAE3B,GAAG,CAAC,GAAG,CAAC,GAAU,CAAC;gBACjB,SAAS,KAAK,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;oBAChC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;wBACnB,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;4BAC7B,UAAU,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gCACtC,KAAK,CAAC,KAAK,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;oCAC3C,IAAA,aAAK,EAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAA,YAAE,EAAC,EAAE,EAAE,KAAK,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,EAChE,KAAK,EAAE,UAAU,EAAE,mBAAmB,CAAC,CAAA;YAErD,IAAI,GAAG,IAAI,IAAI,CAAC,WAAI,KAAK,GAAG,CAAC,GAAG,CAAC,GAAU,CAAC,EAAE,EAAE,CAAC,CAAA;QACnD,CAAC;QAED,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,WAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAA;QAElC,IAAA,wBAAc,EAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QAEzB,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,KAAK,CAAC,GAAiB,EAAE,IAAc;QACrC,MAAM,GAAG,GAAG,IAAI,SAAS,CAAC;YACxB,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC;YAC9B,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC;SAChB,EAAE,GAAG,CAAC,CAAA;QACP,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,WAAI,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAA;QAClC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAA;QACpB,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,WAAW,CAAC,GAAiB;QAC3B,IAAI,CAAC,IAAI,CAAC,eAAe;YAAE,OAAO,IAAI,CAAA;QACtC,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;IACxB,CAAC;IAGD,IAAI,KAAK;QACP,2EAA2E;QAC3E,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAA;QACzB,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK;YAAE,OAAO,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAA,CAAG,cAAc;QACzE,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM;YAAE,OAAO,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAA,CAAE,YAAY;QACvE,OAAO,KAAK,GAAG,EAAE,GAAG,GAAG,CAAA;IACzB,CAAC;IAGD,GAAG,CAAC,IAAkB;QACpB,4DAA4D;QAC5D,0DAA0D;QAC1D,OAAO,SAAS,CAAA;IAClB,CAAC;IAGD,UAAU;QACR,OAAO,QAAQ,CAAA;IACjB,CAAC;CACF;AAIC,8BAAS"}

package/src/val/PathVal.ts

@@ -1,435 +0,0 @@
-/* Copyright (c) 2025 Richard Rodger, MIT License */
-
-
-import type {
-  Val,
-  ValSpec,
-} from '../type'
-
-import {
-  DONE,
-} from '../type'
-
-import {
-  walk,
-} from '../utility'
-
-import { AontuContext } from '../ctx'
-import { unite } from '../unify'
-
-import { makeNilErr } from '../err'
-
-import {
-  top
-} from './top'
-
-import { StringVal } from './StringVal'
-import { IntegerVal } from './IntegerVal'
-import { NumberVal } from './NumberVal'
-import { VarVal } from './VarVal'
-import { ConjunctVal } from './ConjunctVal'
-import { DisjunctVal } from './DisjunctVal'
-import { FeatureVal } from './FeatureVal'
-
-
-class PathVal extends FeatureVal {
-  isPath = true
-  isGenable = true
-  cjo = 32500
-
-  absolute: boolean = false
-  prefix: boolean = false
-  _resolved: Val | undefined = undefined
-
-  constructor(
-    spec: {
-      peg: any[],
-      absolute?: boolean,
-      prefix?: boolean
-    },
-    ctx?: AontuContext
-  ) {
-    super(spec, ctx)
-    this.peg = []
-
-    this.absolute = true === this.absolute ? true : // absolute sticks
-      true === spec.absolute ? true : false
-
-    this.prefix = true === spec.prefix
-
-    for (let pI = 0; pI < spec.peg.length; pI++) {
-      this.append(spec.peg[pI])
-    }
-  }
-
-
-  append(part: any) {
-    let partval
-
-    if ('string' === typeof part) {
-      partval = part
-      this.peg.push(partval)
-    }
-
-    else if (part instanceof StringVal) {
-      partval = part.peg
-      this.peg.push(partval)
-    }
-
-    else if (part instanceof IntegerVal) {
-      partval = part.src
-      this.peg.push(partval)
-    }
-
-    else if (part instanceof NumberVal) {
-      let partvals: string[] = part.src.split('.')
-      this.peg.push(...partvals)
-    }
-
-    else if (part instanceof VarVal) {
-      partval = part
-      this.peg.push(partval)
-    }
-
-    else if (part instanceof PathVal) {
-      if (part.absolute) {
-        this.absolute = true
-      }
-
-      if (this.prefix) {
-        if (part.prefix) {
-          this.peg.push('.')
-        }
-      }
-      else {
-        if (part.prefix) {
-          if (0 === this.peg.length) {
-            this.prefix = true
-          }
-
-          else if (0 < this.peg.length) {
-            this.peg.push('.')
-          }
-        }
-      }
-
-      this.peg.push(...part.peg)
-    }
-  }
-
-
-  unify(peer: Val, ctx: AontuContext): Val {
-    peer = peer ?? top()
-
-    // Already resolved (e.g. path value from path() function) — skip find
-    if (this.done) return this
-
-    let out: Val = this
-    const found = this.find(ctx)
-
-    if (found != null && !found.isNil) {
-      out = unite(ctx, found, peer, 'path')
-    }
-    else if (found?.isNil) {
-      out = found
-    }
-    else {
-      // Not yet resolvable — increment dc to signal not done
-      this.dc = DONE === this.dc ? DONE : this.dc + 1
-    }
-
-    return out
-  }
-
-
-  find(ctx: AontuContext) {
-    let out: Val | undefined = undefined
-
-    // Check if self.path starts with peg (cycle detection).
-    // Element-by-element comparison avoids string join+startsWith allocations.
-    let isprefixpath = this.peg.length <= this.path.length
-    if (isprefixpath) {
-      for (let i = 0; i < this.peg.length; i++) {
-        if (this.peg[i] !== this.path[i]) {
-          isprefixpath = false
-          break
-        }
-      }
-    }
-    // Degenerate case: peg is all empty strings (e.g. path("")) and path is empty.
-    if (!isprefixpath && this.peg.length > 0 && this.path.length === 0) {
-      let allEmpty = true
-      for (let i = 0; i < this.peg.length; i++) {
-        if ('' !== this.peg[i]) { allEmpty = false; break }
-      }
-      isprefixpath = allEmpty
-    }
-
-    let refpath: string[] = []
-    let pI = 0
-    // let descent = ''
-
-    if (isprefixpath) {
-      // console.log('SELFPATH', selfpath, 'PEGPATH', pegpath)
-      out = makeNilErr(ctx, 'path_cycle', this)
-    }
-    else {
-
-      let parts: string[] = []
-
-      let modes: string[] = []
-
-      for (let pI = 0; pI < this.peg.length; pI++) {
-        let part = this.peg[pI]
-        if (part instanceof VarVal) {
-          let strval = (part as VarVal).peg
-          let name = strval ? '' + strval.peg : ''
-
-          if ('KEY' === name) {
-            if (pI === this.peg.length - 1) {
-              modes.push(name)
-            }
-            else {
-              // TODO: return a Nil explaining error
-              return
-            }
-          }
-
-          if ('SELF' === name) {
-            if (pI === 0) {
-              modes.push(name)
-            }
-            else {
-              // TODO: return a Nil explaining error
-              return
-            }
-          }
-          else if ('PARENT' === name) {
-            if (pI === 0) {
-              modes.push(name)
-            }
-            else {
-              // TODO: return a Nil explaining error
-              return
-            }
-          }
-          else if (0 === modes.length) {
-            part = (part as VarVal).unify(top(), ctx)
-            if (part.isNil) {
-              // TODO: var not found, so can't find path
-              return
-            }
-            else {
-              part = '' + part.peg
-            }
-          }
-        }
-        else {
-          parts.push(part)
-        }
-      }
-
-      if (this.absolute) {
-        refpath = parts
-      }
-      else {
-        // TODO: deprecate $KEY, etc
-        refpath = this.path.slice(
-          0,
-          (
-            modes.includes('SELF') ? 0 :
-              modes.includes('PARENT') ? -1 :
-                -1 // siblings
-          )
-        ).concat(parts)
-      }
-
-      let sep = '.'
-      refpath = refpath
-        .reduce(((a: string[], p: string) =>
-          (p === sep ? a.length = a.length - 1 : a.push(p), a)), [])
-
-      if (modes.includes('KEY')) {
-        let key = this.path[this.path.length - 2]
-        let sv = new StringVal({ peg: null == key ? '' : key }, ctx)
-
-        // TODO: other props?
-        sv.dc = DONE
-        sv.path = this.path
-
-        return sv
-      }
-
-      let node: Val | null = ctx.root as Val
-
-      let nopath = false
-
-      if (null != node) {
-        for (; pI < refpath.length; pI++) {
-          let part = refpath[pI]
-          // console.log('PART', pI, part, node)
-
-          // descent += (' | ' + pI + '=' + node.canon) // Util.inspect(node))
-
-          if (node.isMap) {
-            node = node.peg[part]
-          }
-          else if (node.isList) {
-            node = node.peg[part]
-          }
-          else if (node.isConjunct || node.isDisjunct) {
-            // Collect matching children from all junction terms,
-            // flattening nested conjuncts and disjuncts.
-            // Spreads match any key — their peg is always included.
-            const matches: Val[] = []
-            const stack = [...node.peg]
-            while (stack.length > 0) {
-              const term = stack.pop()!
-              if (term.isConjunct || term.isDisjunct) {
-                stack.push(...term.peg)
-              }
-              else if (term.isSpread) {
-                matches.push(term.peg)
-              }
-              else if ((term.isMap || term.isList) && term.peg[part] != null) {
-                matches.push(term.peg[part])
-              }
-            }
-            if (matches.length === 1) {
-              node = matches[0]
-            }
-            else if (matches.length > 1) {
-              node = node.isConjunct
-                ? new ConjunctVal({ peg: matches })
-                : new DisjunctVal({ peg: matches })
-            }
-            else {
-              node = null
-            }
-          }
-          else if (node.done) {
-            nopath = true
-            break;
-          }
-          else {
-            break;
-          }
-
-          if (null == node) {
-            nopath = true
-            break
-          }
-
-        }
-      }
-
-      // console.log('REFPATH', ctx.cc, pI, refpath, nopath, ctx.root, node)
-
-
-      if (nopath) {
-        out = makeNilErr(ctx, 'no_path', this)
-      }
-      else if (pI === refpath.length && node != null) {
-        out = node
-
-        // Types and hidden values are cloned and made concrete
-        if (null != out) { //  && (out.mark.type || out.mark.hide)) {
-
-          // console.log('FOUND-A', out)
-
-          if (this.mark.type || this.mark.hide) {
-            out.mark.type = this.mark.type
-            out.mark.hide = this.mark.hide
-          }
-
-          if (this.mark._hide_found) {
-            out.mark.hide = true
-          }
-
-          // 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)
-            out.mark.type = false
-            out.mark.hide = false
-
-            walk(out, (_key: string | number | undefined, val: Val) => {
-              val.mark.type = false
-              val.mark.hide = false
-              return val
-            })
-
-            cache?.set(cacheKey, out)
-          }
-        }
-      }
-    }
-
-    // console.log('REF-FIND', ctx.cc, this.id, selfpath, 'PEG=', pegpath, 'RP', pI, refpath.join('.'), descent, 'O=', out?.id, out?.canon, out?.done)
-
-    return out
-  }
-
-
-
-  same(peer: Val): boolean {
-    return null == peer ? false : this.peg === peer.peg
-  }
-
-
-  clone(ctx: AontuContext, spec?: ValSpec): Val {
-    let out = (super.clone(ctx, {
-      peg: this.peg,
-      absolute: this.absolute,
-      ...(spec || {})
-    }) as PathVal)
-    return out
-  }
-
-
-  get canon() {
-    let str =
-      (this.absolute ? '$' : '') +
-      (0 < this.peg.length ? '.' : '') +
-      this.peg.map((p: any) => '.' === p ? '' :
-        (p.isVal ? p.canon : '' + p))
-        .join('.')
-    return str
-  }
-
-
-  gen(ctx: AontuContext) {
-    let nil = makeNilErr(
-      ctx,
-      'ref',
-      this,
-      undefined,
-    )
-
-    nil.path = this.path
-    nil.site.url = this.site.url
-    nil.site.row = this.site.row
-    nil.site.col = this.site.col
-
-    return undefined
-  }
-
-
-  inspection() {
-    return [
-      this.absolute ? 'absolute' : '',
-      this.prefix ? 'prefix' : '',
-    ].filter(p => '' != p).join(',')
-  }
-
-}
-
-
-export {
-  PathVal,
-}