aontu 0.29.0 → 0.30.2

package/dist/val/ConjunctVal.js

@@ -0,0 +1,187 @@
+"use strict";
+/* Copyright (c) 2021-2025 Richard Rodger, MIT License */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ConjunctVal = void 0;
+exports.norm = norm;
+const type_1 = require("../type");
+const err_1 = require("../err");
+const unify_1 = require("../unify");
+const err_2 = require("../err");
+const JunctionVal_1 = require("./JunctionVal");
+const utility_1 = require("../utility");
+const top_1 = require("./top");
+const CONJUNCT_ORDERING = {
+    PrefVal: 30000,
+    RefVal: 32500,
+    DisjunctVal: 35000,
+    ConjunctVal: 40000,
+    Any: 99999
+};
+// TODO: move main logic to op/conjunct
+class ConjunctVal extends JunctionVal_1.JunctionVal {
+    constructor(spec, ctx) {
+        super(spec, ctx);
+        this.isConjunct = true;
+        this.mark.type = !!spec.mark?.type;
+        this.mark.hide = !!spec.mark?.hide;
+        this.peg = (Array.isArray(this.peg) ? this.peg : [])
+            .filter((p) => null != p && p.isVal);
+        this.peg?.map((v) => {
+            (0, utility_1.propagateMarks)(this, v);
+            return v;
+        });
+        // console.log('CONJUNCT-ctor', this.peg.map((v: Val) => v.canon))
+    }
+    // NOTE: mutation!
+    append(peer) {
+        super.append(peer);
+        (0, utility_1.propagateMarks)(this, peer);
+        return this;
+    }
+    unify(peer, ctx) {
+        peer = peer ?? (0, top_1.top)();
+        const te = ctx.explain && (0, utility_1.explainOpen)(ctx, ctx.explain, 'Conjunct', this, peer);
+        let done = true;
+        this.peg = norm(this.peg);
+        // Unify each term of conjunct against peer
+        let upeer = [];
+        let newtype = this.mark.type || peer.mark.type;
+        let newhide = this.mark.hide || peer.mark.hide;
+        for (let vI = 0; vI < this.peg.length; vI++) {
+            newtype = this.peg[vI].mark.type || newtype;
+            newhide = this.peg[vI].mark.hide || newhide;
+        }
+        for (let vI = 0; vI < this.peg.length; vI++) {
+            this.peg[vI].mark.type = newtype;
+            this.peg[vI].mark.hide = newhide;
+            // console.log('CONJUNCT-TERM', this.id, vI, this.peg[vI].canon)
+            upeer[vI] = (this.peg[vI].done && peer.isTop) ? this.peg[vI] :
+                (0, unify_1.unite)(ctx.clone({ explain: (0, utility_1.ec)(te, 'OWN') }), this.peg[vI], peer, 'cj-own');
+            upeer[vI].mark.type = newtype = newtype || upeer[vI].mark.type;
+            upeer[vI].mark.hide = newhide = newhide || upeer[vI].mark.hide;
+            // let prevdone = done
+            done = done && (type_1.DONE === upeer[vI].dc);
+            if (upeer[vI].isNil) {
+                return upeer[vI];
+                // return Nil.make(
+                //   ctx,
+                //   '&peer[' + upeer[vI].canon + ',' + peer.canon + ']',
+                //   this.peg[vI],
+                //   peer
+                // )
+            }
+        }
+        upeer = norm(upeer);
+        // console.log('CONJUNCT-UPEER', this.id, upeer.map((v: Val) => v.canon))
+        // Unify terms against each other
+        let outvals = [];
+        let val;
+        let t0 = upeer[0];
+        // next_term:
+        for (let pI = 0; pI < upeer.length; pI++) {
+            let t1 = upeer[pI + 1];
+            // console.log('CONJUNCT-TERMS-C', this.id, pI, t0, t1, 'OV=', outvals.map((v: Val) => v))
+            if (null == t1) {
+                outvals.push(t0);
+                newtype = this.mark.type || t0.mark.type;
+                newhide = this.mark.hide || t0.mark.hide;
+            }
+            // Can't unite with a RefVal, unless also a RefVal with same path.
+            // else if (t0 instanceof RefVal && !(t1 instanceof RefVal)) {
+            else if (t0.isRef && !(t1.isRef)) {
+                outvals.push(t0);
+                t0 = t1;
+            }
+            else if (t1.isRef && !(t0.isRef)) {
+                outvals.push(t0);
+                t0 = t1;
+            }
+            else {
+                val = (0, unify_1.unite)(ctx.clone({ explain: (0, utility_1.ec)(te, 'DEF') }), t0, t1, 'cj-peer-t0t1');
+                done = done && type_1.DONE === val.dc;
+                newtype = this.mark.type || val.mark.type;
+                newhide = this.mark.hide || val.mark.hide;
+                // Unite was just a conjunt anyway, so discard.
+                if (val.isConjunct) {
+                    outvals.push(t0);
+                    t0 = t1;
+                }
+                else if (val.isNil) {
+                    return val;
+                }
+                else {
+                    t0 = val;
+                }
+                // TODO: t0 should become this to avoid unnecessary repasses
+                // outvals.push(val)
+                // pI++
+            }
+        }
+        let out;
+        // console.log('CONJUCT-prepout', this.id, outvals.map((v: Val) => v.canon))
+        if (0 === outvals.length) {
+            // Empty conjuncts evaporate.
+            out = (0, top_1.top)();
+        }
+        // TODO: corrects CV[CV[1&/x]] issue above, but swaps term order!
+        else if (1 === outvals.length) {
+            out = outvals[0];
+            out.mark.type = newtype;
+            out.mark.hide = newhide;
+        }
+        else {
+            out = new ConjunctVal({ peg: outvals, mark: { type: newtype, hide: newhide } }, ctx);
+        }
+        out.dc = done ? type_1.DONE : this.dc + 1;
+        // console.log('CONJUNCT-unify', this.id, sc, pc, '->', out.canon, 'D=' + out.dc, 'E=', this.err)
+        (0, utility_1.explainClose)(te, out);
+        return out;
+    }
+    clone(ctx, spec) {
+        let out = super.clone(ctx, spec);
+        return out;
+    }
+    getJunctionSymbol() {
+        return '&';
+    }
+    gen(ctx) {
+        // Unresolved conjunct cannot be generated, so always an error.
+        let nil = (0, err_1.makeNilErr)(ctx, 'conjunct', this, // (formatPath(this.peg, this.absolute) as any),
+        undefined);
+        // TODO: refactor to use Site
+        nil.path = this.path;
+        nil.site.url = this.site.url;
+        nil.site.row = this.site.row;
+        nil.site.col = this.site.col;
+        // descErr(nil, ctx)
+        if (null == ctx) {
+            throw new err_2.AontuError(nil.msg);
+        }
+        return undefined;
+    }
+}
+exports.ConjunctVal = ConjunctVal;
+// Normalize Conjunct:
+// - flatten child conjuncts
+// - consistent sorting of terms
+function norm(terms) {
+    let expand = [];
+    for (let tI = 0, pI = 0; tI < terms.length; tI++, pI++) {
+        if (terms[tI].isConjunct) {
+            expand.push(...terms[tI].peg);
+            pI += terms[tI].peg.length - 1;
+        }
+        else {
+            expand[pI] = terms[tI];
+        }
+    }
+    // Consistent ordering ensures order independent unification.
+    expand = expand.sort((a, b) => {
+        const an = CONJUNCT_ORDERING[a.constructor.name] ?? CONJUNCT_ORDERING.Any;
+        const bn = CONJUNCT_ORDERING[b.constructor.name] ?? CONJUNCT_ORDERING.Any;
+        return an - bn;
+    });
+    // console.log('NORM', expand.map(t => t.canon).join(', '))
+    return expand;
+}
+//# sourceMappingURL=ConjunctVal.js.map

package/dist/val/ConjunctVal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ConjunctVal.js","sourceRoot":"","sources":["../../src/val/ConjunctVal.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AA0RvD,oBAAI;AAjRN,kCAEgB;AAIhB,gCAAmC;AACnC,oCAAgC;AAEhC,gCAEe;AAGf,+CAA2C;AAE3C,wCAKmB;AAInB,+BAEc;AAGd,MAAM,iBAAiB,GAA2B;IAChD,OAAO,EAAE,KAAK;IACd,MAAM,EAAE,KAAK;IACb,WAAW,EAAE,KAAK;IAClB,WAAW,EAAE,KAAK;IAClB,GAAG,EAAE,KAAK;CACX,CAAA;AAID,uCAAuC;AACvC,MAAM,WAAY,SAAQ,yBAAW;IAGnC,YACE,IAAa,EACb,GAAkB;QAElB,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QANlB,eAAU,GAAG,IAAI,CAAA;QAOf,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAA;QAClC,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAA;QAClC,IAAI,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;aACjD,MAAM,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAA;QAC3C,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE;YACvB,IAAA,wBAAc,EAAC,IAAI,EAAE,CAAC,CAAC,CAAA;YACvB,OAAO,CAAC,CAAA;QACV,CAAC,CAAC,CAAA;QACF,kEAAkE;IACpE,CAAC;IAED,kBAAkB;IAClB,MAAM,CAAC,IAAS;QACd,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;QAClB,IAAA,wBAAc,EAAC,IAAI,EAAE,IAAI,CAAC,CAAA;QAC1B,OAAO,IAAI,CAAA;IACb,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,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;QAE/E,IAAI,IAAI,GAAG,IAAI,CAAA;QAEf,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QAGzB,2CAA2C;QAC3C,IAAI,KAAK,GAAU,EAAE,CAAA;QAErB,IAAI,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAA;QAC9C,IAAI,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAA;QAE9C,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;YAC5C,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,IAAI,OAAO,CAAA;YAC3C,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,IAAI,OAAO,CAAA;QAC7C,CAAC;QAED,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;YAC5C,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,OAAO,CAAA;YAChC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,OAAO,CAAA;YAChC,gEAAgE;YAEhE,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;gBAC5D,IAAA,aAAK,EAAC,GAAG,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAA,YAAE,EAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAA;YAC5E,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,OAAO,GAAG,OAAO,IAAI,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAA;YAC9D,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,OAAO,GAAG,OAAO,IAAI,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAA;YAE9D,sBAAsB;YACtB,IAAI,GAAG,IAAI,IAAI,CAAC,WAAI,KAAK,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAA;YAEtC,IAAI,KAAK,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;gBACpB,OAAO,KAAK,CAAC,EAAE,CAAC,CAAA;gBAChB,mBAAmB;gBACnB,SAAS;gBACT,yDAAyD;gBACzD,kBAAkB;gBAClB,SAAS;gBACT,IAAI;YACN,CAAC;QACH,CAAC;QAED,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAA;QACnB,yEAAyE;QAEzE,iCAAiC;QAEjC,IAAI,OAAO,GAAU,EAAE,CAAA;QACvB,IAAI,GAAQ,CAAA;QAGZ,IAAI,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAA;QAEjB,aAAa;QACb,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;YACzC,IAAI,EAAE,GAAG,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAA;YAEtB,0FAA0F;YAE1F,IAAI,IAAI,IAAI,EAAE,EAAE,CAAC;gBACf,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;gBAChB,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAA;gBACxC,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAA;YAC1C,CAAC;YAED,kEAAkE;YAClE,8DAA8D;iBACzD,IAAI,EAAE,CAAC,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;gBACjC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;gBAChB,EAAE,GAAG,EAAE,CAAA;YACT,CAAC;iBAEI,IAAI,EAAE,CAAC,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;gBACjC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;gBAChB,EAAE,GAAG,EAAE,CAAA;YACT,CAAC;iBAGI,CAAC;gBACJ,GAAG,GAAG,IAAA,aAAK,EAAC,GAAG,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAA,YAAE,EAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,cAAc,CAAC,CAAA;gBAC1E,IAAI,GAAG,IAAI,IAAI,WAAI,KAAK,GAAG,CAAC,EAAE,CAAA;gBAC9B,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,CAAA;gBACzC,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,CAAA;gBAEzC,+CAA+C;gBAC/C,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;oBACnB,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;oBAChB,EAAE,GAAG,EAAE,CAAA;gBACT,CAAC;qBACI,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;oBACnB,OAAO,GAAG,CAAA;gBACZ,CAAC;qBACI,CAAC;oBACJ,EAAE,GAAG,GAAG,CAAA;gBACV,CAAC;gBACD,4DAA4D;gBAC5D,oBAAoB;gBAEpB,OAAO;YACT,CAAC;QACH,CAAC;QAED,IAAI,GAAQ,CAAA;QAEZ,4EAA4E;QAE5E,IAAI,CAAC,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC;YAEzB,6BAA6B;YAC7B,GAAG,GAAG,IAAA,SAAG,GAAE,CAAA;QACb,CAAC;QAED,iEAAiE;aAC5D,IAAI,CAAC,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC;YAC9B,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;YAChB,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,OAAO,CAAA;YACvB,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,OAAO,CAAA;QACzB,CAAC;aACI,CAAC;YACJ,GAAG,GAAG,IAAI,WAAW,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,CAAC,CAAA;QACtF,CAAC;QAED,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,WAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAA;QAElC,iGAAiG;QAEjG,IAAA,sBAAY,EAAC,EAAE,EAAE,GAAG,CAAC,CAAA;QAErB,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,KAAK,CAAC,GAAiB,EAAE,IAAc;QACrC,IAAI,GAAG,GAAI,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAiB,CAAA;QACjD,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,iBAAiB;QACf,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,GAAG,CAAC,GAAkB;QACpB,+DAA+D;QAC/D,IAAI,GAAG,GAAG,IAAA,gBAAU,EAClB,GAAG,EACH,UAAU,EACV,IAAI,EAAE,gDAAgD;QACtD,SAAS,CACV,CAAA;QAED,6BAA6B;QAC7B,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,oBAAoB;QAEpB,IAAI,IAAI,IAAI,GAAG,EAAE,CAAC;YAChB,MAAM,IAAI,gBAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAC/B,CAAC;QAED,OAAO,SAAS,CAAA;IAClB,CAAC;CACF;AAqCC,kCAAW;AAjCb,sBAAsB;AACtB,4BAA4B;AAC5B,gCAAgC;AAChC,SAAS,IAAI,CAAC,KAAY;IAExB,IAAI,MAAM,GAAU,EAAE,CAAA;IACtB,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC;QACvD,IAAI,KAAK,CAAC,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC;YACzB,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAA;YAC7B,EAAE,IAAI,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAA;QAChC,CAAC;aACI,CAAC;YACJ,MAAM,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC,CAAA;QACxB,CAAC;IACH,CAAC;IAGD,6DAA6D;IAC7D,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAM,EAAE,CAAM,EAAE,EAAE;QACtC,MAAM,EAAE,GAAG,iBAAiB,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,iBAAiB,CAAC,GAAG,CAAA;QACzE,MAAM,EAAE,GAAG,iBAAiB,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,iBAAiB,CAAC,GAAG,CAAA;QACzE,OAAO,EAAE,GAAG,EAAE,CAAA;IAChB,CAAC,CAAC,CAAA;IAEF,2DAA2D;IAG3D,OAAO,MAAM,CAAA;AACf,CAAC"}

package/dist/val/CopyFuncVal.d.ts

@@ -0,0 +1,13 @@
+import type { Val, ValSpec } from '../type';
+import { AontuContext } from '../ctx';
+import { NilVal } from '../val/NilVal';
+import { FuncBaseVal } from './FuncBaseVal';
+declare class CopyFuncVal extends FuncBaseVal {
+    isCopyFunc: boolean;
+    resolved?: Val;
+    constructor(spec: ValSpec, ctx?: AontuContext);
+    make(_ctx: AontuContext, spec: ValSpec): Val;
+    funcname(): string;
+    resolve(ctx: AontuContext | undefined, args: Val[]): Val | NilVal;
+}
+export { CopyFuncVal, };

package/dist/val/CopyFuncVal.js

@@ -0,0 +1,35 @@
+"use strict";
+/* Copyright (c) 2021-2025 Richard Rodger, MIT License */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.CopyFuncVal = void 0;
+const err_1 = require("../err");
+const utility_1 = require("../utility");
+const FuncBaseVal_1 = require("./FuncBaseVal");
+class CopyFuncVal extends FuncBaseVal_1.FuncBaseVal {
+    constructor(spec, ctx) {
+        super(spec, ctx);
+        this.isCopyFunc = true;
+        this.mark.type = false;
+        this.mark.hide = false;
+    }
+    make(_ctx, spec) {
+        return new CopyFuncVal(spec);
+    }
+    funcname() {
+        return 'copy';
+    }
+    resolve(ctx, args) {
+        const val = args?.[0];
+        const out = null == val || null == ctx ?
+            (0, err_1.makeNilErr)(ctx, 'invalid-arg', this) :
+            val.clone(ctx, { mark: { type: false, hide: false } });
+        (0, utility_1.walk)(out, (_key, val) => {
+            val.mark.type = false;
+            val.mark.hide = false;
+            return val;
+        });
+        return out;
+    }
+}
+exports.CopyFuncVal = CopyFuncVal;
+//# sourceMappingURL=CopyFuncVal.js.map

package/dist/val/CopyFuncVal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"CopyFuncVal.js","sourceRoot":"","sources":["../../src/val/CopyFuncVal.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AAazD,gCAAmC;AAKnC,wCAEmB;AAGnB,+CAA2C;AAG3C,MAAM,WAAY,SAAQ,yBAAW;IAKnC,YACE,IAAa,EACb,GAAkB;QAElB,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QARlB,eAAU,GAAG,IAAI,CAAA;QASf,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,KAAK,CAAA;QACtB,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,KAAK,CAAA;IACxB,CAAC;IAGD,IAAI,CAAC,IAAkB,EAAE,IAAa;QACpC,OAAO,IAAI,WAAW,CAAC,IAAI,CAAC,CAAA;IAC9B,CAAC;IAED,QAAQ;QACN,OAAO,MAAM,CAAA;IACf,CAAC;IAED,OAAO,CAAC,GAA6B,EAAE,IAAW;QAChD,MAAM,GAAG,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC,CAAA;QACrB,MAAM,GAAG,GAAG,IAAI,IAAI,GAAG,IAAI,IAAI,IAAI,GAAG,CAAC,CAAC;YACtC,IAAA,gBAAU,EAAC,GAAG,EAAE,aAAa,EAAE,IAAI,CAAC,CAAC,CAAC;YACtC,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAA;QAExD,IAAA,cAAI,EAAC,GAAG,EAAE,CAAC,IAAiC,EAAE,GAAQ,EAAE,EAAE;YACxD,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,KAAK,CAAA;YACrB,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,KAAK,CAAA;YACrB,OAAO,GAAG,CAAA;QACZ,CAAC,CAAC,CAAA;QAEF,OAAO,GAAG,CAAA;IACZ,CAAC;CACF;AAIC,kCAAW"}

package/dist/val/DisjunctVal.d.ts

@@ -0,0 +1,19 @@
+import type { Val, ValSpec } from '../type';
+import { AontuContext } from '../ctx';
+import { Site } from '../site';
+import { PrefVal } from '../val/PrefVal';
+import { JunctionVal } from '../val/JunctionVal';
+declare class DisjunctVal extends JunctionVal {
+    isDisjunct: boolean;
+    prefsRanked: boolean;
+    constructor(spec: {
+        peg: Val[];
+    }, ctx?: AontuContext, _sites?: Site[]);
+    append(peer: Val): DisjunctVal;
+    unify(peer: Val, ctx: AontuContext): Val;
+    rankPrefs(ctx: AontuContext): PrefVal | undefined;
+    clone(ctx: AontuContext, spec?: ValSpec): Val;
+    getJunctionSymbol(): string;
+    gen(ctx: AontuContext): any;
+}
+export { DisjunctVal, };

package/dist/val/DisjunctVal.js

@@ -0,0 +1,194 @@
+"use strict";
+/* Copyright (c) 2021-2025 Richard Rodger, MIT License */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.DisjunctVal = void 0;
+const type_1 = require("../type");
+const err_1 = require("../err");
+const unify_1 = require("../unify");
+const utility_1 = require("../utility");
+const top_1 = require("./top");
+const NilVal_1 = require("../val/NilVal");
+const PrefVal_1 = require("../val/PrefVal");
+const JunctionVal_1 = require("../val/JunctionVal");
+// TODO: move main logic to op/disjunct
+class DisjunctVal extends JunctionVal_1.JunctionVal {
+    // TODO: sites from normalization of orginal Disjuncts, as well as child pegs
+    constructor(spec, ctx, _sites) {
+        super(spec, ctx);
+        this.isDisjunct = true;
+        this.prefsRanked = false;
+    }
+    // NOTE: mutation!
+    append(peer) {
+        super.append(peer);
+        this.prefsRanked = false;
+        return this;
+    }
+    unify(peer, ctx) {
+        peer = peer ?? (0, top_1.top)();
+        const te = ctx.explain && (0, utility_1.explainOpen)(ctx, ctx.explain, 'Disjunct', this, peer);
+        if (!this.prefsRanked) {
+            this.rankPrefs(ctx);
+        }
+        // // // console.log('DISJUNCT-unify-A', this.id, this.canon)
+        let done = true;
+        let oval = [];
+        // Conjunction (&) distributes over disjunction (|)
+        for (let vI = 0; vI < this.peg.length; vI++) {
+            const v = this.peg[vI];
+            const cloneCtx = ctx?.clone({ err: [] });
+            // // // console.log('DJ-DIST-A', this.peg[vI].canon, peer.canon)
+            oval[vI] = (0, unify_1.unite)(cloneCtx.clone({ explain: (0, utility_1.ec)(te, 'DIST:' + vI) }), v, peer, 'dj-peer');
+            // // // console.log('DJ-DIST-B', oval[vI].canon, cloneCtx?.err)
+            if (0 < cloneCtx?.err.length) {
+                oval[vI] = (0, err_1.makeNilErr)(cloneCtx, '|:empty-dist', this);
+            }
+            done = done && type_1.DONE === oval[vI].dc;
+        }
+        // // // console.log('DISJUNCT-unify-B', this.id, oval.map(v => v.canon))
+        // Remove duplicates, and normalize
+        if (1 < oval.length) {
+            for (let vI = 0; vI < oval.length; vI++) {
+                if (oval[vI].isDisjunct) {
+                    oval.splice(vI, 1, ...oval[vI].peg);
+                }
+            }
+            // // // console.log('DISJUNCT-unify-C', this.id, oval.map(v => v.id + '=' + v.canon))
+            // TODO: not an error Nil!
+            let remove = new NilVal_1.NilVal();
+            for (let vI = 0; vI < oval.length; vI++) {
+                for (let kI = vI + 1; kI < oval.length; kI++) {
+                    if (oval[kI].same(oval[vI])) {
+                        oval[kI] = remove;
+                    }
+                }
+            }
+            // // // console.log('DISJUNCT-unify-D', this.id, oval.map(v => v.canon))
+            oval = oval.filter(v => !v.isNil);
+        }
+        let out;
+        if (1 == oval.length) {
+            out = oval[0];
+        }
+        else if (0 == oval.length) {
+            return (0, err_1.makeNilErr)(ctx, '|:empty', this, peer);
+        }
+        else {
+            out = new DisjunctVal({ peg: oval }, ctx);
+        }
+        out.dc = done ? type_1.DONE : this.dc + 1;
+        // // // console.log('DISJUNCT-unify',
+        //   this.id, sc, pc, '->', out.canon, 'D=' + out.dc, 'E=', this.err)
+        (0, utility_1.explainClose)(te, out);
+        return out;
+    }
+    rankPrefs(ctx) {
+        let lastpref = undefined;
+        let lastprefI = -1;
+        // // // console.log('RP-A', this.peg.map((p: Val) => p.canon))
+        for (let vI = 0; vI < this.peg.length; vI++) {
+            const v = this.peg[vI];
+            if (v instanceof PrefVal_1.PrefVal) {
+                if (null != lastpref) {
+                    if (v.rank === lastpref.rank) {
+                        const pref = v.unify(lastpref, ctx);
+                        if (pref.isNil) {
+                            return pref;
+                        }
+                        else {
+                            this.peg[lastprefI] = pref;
+                            lastpref = pref;
+                            this.peg[vI] = null;
+                        }
+                        // return Nil.make(ctx, '|:prefs', lastpref, v, 'associate')
+                    }
+                    else if (v.rank < lastpref.rank) {
+                        this.peg[lastprefI] = null;
+                        lastpref = v;
+                        lastprefI = vI;
+                    }
+                    else {
+                        this.peg[vI] = null;
+                    }
+                }
+                else {
+                    lastpref = v;
+                    lastprefI = vI;
+                }
+            }
+            else if (v.isDisjunct) {
+                let subrank = v.rankPrefs(ctx);
+                if (subrank instanceof PrefVal_1.PrefVal) {
+                    this.peg[vI] = subrank;
+                    lastpref = subrank;
+                    lastprefI = vI;
+                }
+            }
+        }
+        this.peg = this.peg.filter((p) => null != p);
+        this.prefsRanked = true;
+        // // // console.log('RP-Z', this.peg.map((p: Val) => p.canon))
+        if (1 === this.peg.length && this.peg[0] instanceof PrefVal_1.PrefVal) {
+            return this.peg[0];
+        }
+    }
+    clone(ctx, spec) {
+        let out = super.clone(ctx, spec);
+        return out;
+    }
+    getJunctionSymbol() {
+        return '|';
+    }
+    gen(ctx) {
+        // TODO: move this to main unify
+        // console.log('DJ-GEN', this.peg.map((p: any) => p.canon), ctx.err)
+        if (0 < this.peg.length) {
+            let vals = this.peg.filter((v) => v instanceof PrefVal_1.PrefVal);
+            // // // console.log('DJ-GEN-VALS-A', vals.map((p: any) => p.canon))
+            vals = 0 === vals.length ? this.peg : vals;
+            let val = vals[0];
+            // TODO: over unifies complex types like maps
+            // ({x:1}|{y:2})&{z:3} should be {"x":1,"z":3}|{"y":2,"z":3} not { x:1, z:3, y:2 }
+            for (let vI = 1; vI < vals.length; vI++) {
+                let valnext = val.unify(this.peg[vI], ctx);
+                // // // console.log('DJ-GEN-VALS-NEXT', valnext.canon)
+                val = valnext;
+            }
+            // console.log('DJ-GEN-VALS-B', val.canon)
+            const out = val.gen(ctx);
+            // console.log('DJ-GEN-VALS-C', out)
+            return out;
+        }
+        return super.gen(ctx);
+        // // // console.log('DJ-GEN', this.peg)
+        // if (1 === this.peg.length) {
+        //   return this.peg[0].gen(ctx)
+        // }
+        // else if (1 < this.peg.length) {
+        //   let peg = this.peg.filter((v: Val) => v instanceof PrefVal)
+        //   if (1 === peg.length) {
+        //     return peg[0].gen(ctx)
+        //   }
+        //   else {
+        //     let nil = Nil.make(
+        //       ctx,
+        //       'disjunct',
+        //       this,
+        //       undefined
+        //     )
+        //     // TODO: refactor to use Site
+        //     nil.path = this.path
+        //     nil.site.url = this.url
+        //     nil.site.row = this.row
+        //     nil.site.col = this.col
+        //     // descErr(nil, ctx)
+        //     if (null == ctx) {
+        //       throw new Error(nil.msg)
+        //     }
+        //   }
+        //   return undefined
+        // }
+    }
+}
+exports.DisjunctVal = DisjunctVal;
+//# sourceMappingURL=DisjunctVal.js.map

package/dist/val/DisjunctVal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"DisjunctVal.js","sourceRoot":"","sources":["../../src/val/DisjunctVal.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AASzD,kCAEgB;AAIhB,gCAAmC;AACnC,oCAAgC;AAEhC,wCAImB;AAMnB,+BAEc;AAEd,0CAAsC;AACtC,4CAAwC;AACxC,oDAAgD;AAIhD,uCAAuC;AACvC,MAAM,WAAY,SAAQ,yBAAW;IAKnC,6EAA6E;IAC7E,YACE,IAEC,EACD,GAAkB,EAClB,MAAe;QAEf,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QAZlB,eAAU,GAAG,IAAI,CAAA;QAEjB,gBAAW,GAAG,KAAK,CAAA;IAWnB,CAAC;IAGD,kBAAkB;IAClB,MAAM,CAAC,IAAS;QACd,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;QAClB,IAAI,CAAC,WAAW,GAAG,KAAK,CAAA;QACxB,OAAO,IAAI,CAAA;IACb,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,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;QAE/E,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;YACtB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAA;QACrB,CAAC;QAED,6DAA6D;QAE7D,IAAI,IAAI,GAAG,IAAI,CAAA;QAEf,IAAI,IAAI,GAAU,EAAE,CAAA;QAEpB,mDAAmD;QACnD,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;YAC5C,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;YACtB,MAAM,QAAQ,GAAG,GAAG,EAAE,KAAK,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAA;YAExC,iEAAiE;YACjE,IAAI,CAAC,EAAE,CAAC,GAAG,IAAA,aAAK,EAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAA,YAAE,EAAC,EAAE,EAAE,OAAO,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,CAAA;YACvF,gEAAgE;YAEhE,IAAI,CAAC,GAAG,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC;gBAC7B,IAAI,CAAC,EAAE,CAAC,GAAG,IAAA,gBAAU,EAAC,QAAQ,EAAE,cAAc,EAAE,IAAI,CAAC,CAAA;YACvD,CAAC;YAED,IAAI,GAAG,IAAI,IAAI,WAAI,KAAK,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,CAAA;QACrC,CAAC;QAED,yEAAyE;QAEzE,mCAAmC;QACnC,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;YACpB,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;gBACxC,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC;oBACxB,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAA;gBACrC,CAAC;YACH,CAAC;YAED,sFAAsF;YAEtF,0BAA0B;YAC1B,IAAI,MAAM,GAAG,IAAI,eAAM,EAAE,CAAA;YACzB,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;gBACxC,KAAK,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;oBAC7C,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;wBAC5B,IAAI,CAAC,EAAE,CAAC,GAAG,MAAM,CAAA;oBACnB,CAAC;gBACH,CAAC;YACH,CAAC;YAED,yEAAyE;YAEzE,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;QACnC,CAAC;QAED,IAAI,GAAQ,CAAA;QAEZ,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YACrB,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;QACf,CAAC;aACI,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAC1B,OAAO,IAAA,gBAAU,EAAC,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;QAC/C,CAAC;aACI,CAAC;YACJ,GAAG,GAAG,IAAI,WAAW,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,GAAG,CAAC,CAAA;QAC3C,CAAC;QAED,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,WAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAA;QAElC,sCAAsC;QACtC,qEAAqE;QAErE,IAAA,sBAAY,EAAC,EAAE,EAAE,GAAG,CAAC,CAAA;QAErB,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,SAAS,CAAC,GAAiB;QACzB,IAAI,QAAQ,GAAwB,SAAS,CAAA;QAC7C,IAAI,SAAS,GAAG,CAAC,CAAC,CAAA;QAElB,+DAA+D;QAE/D,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;YAC5C,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;YACtB,IAAI,CAAC,YAAY,iBAAO,EAAE,CAAC;gBACzB,IAAI,IAAI,IAAI,QAAQ,EAAE,CAAC;oBACrB,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,EAAE,CAAC;wBAC7B,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,QAAQ,EAAE,GAAG,CAAY,CAAA;wBAC9C,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;4BACf,OAAO,IAAI,CAAA;wBACb,CAAC;6BACI,CAAC;4BACJ,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,IAAI,CAAA;4BAC1B,QAAQ,GAAG,IAAI,CAAA;4BACf,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAA;wBACrB,CAAC;wBACD,4DAA4D;oBAC9D,CAAC;yBACI,IAAI,CAAC,CAAC,IAAI,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;wBAChC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,IAAI,CAAA;wBAC1B,QAAQ,GAAG,CAAC,CAAA;wBACZ,SAAS,GAAG,EAAE,CAAA;oBAChB,CAAC;yBACI,CAAC;wBACJ,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAA;oBACrB,CAAC;gBACH,CAAC;qBACI,CAAC;oBACJ,QAAQ,GAAG,CAAC,CAAA;oBACZ,SAAS,GAAG,EAAE,CAAA;gBAChB,CAAC;YACH,CAAC;iBACI,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;gBACtB,IAAI,OAAO,GAAQ,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAA;gBACnC,IAAI,OAAO,YAAY,iBAAO,EAAE,CAAC;oBAC/B,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAA;oBACtB,QAAQ,GAAG,OAAO,CAAA;oBAClB,SAAS,GAAG,EAAE,CAAA;gBAChB,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,IAAI,IAAI,CAAC,CAAC,CAAA;QACjD,IAAI,CAAC,WAAW,GAAG,IAAI,CAAA;QAEvB,+DAA+D;QAE/D,IAAI,CAAC,KAAK,IAAI,CAAC,GAAG,CAAC,MAAM,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,iBAAO,EAAE,CAAC;YAC5D,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;QACpB,CAAC;IACH,CAAC;IAID,KAAK,CAAC,GAAiB,EAAE,IAAc;QACrC,IAAI,GAAG,GAAI,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAiB,CAAA;QACjD,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,iBAAiB;QACf,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,GAAG,CAAC,GAAiB;QACnB,gCAAgC;QAEhC,oEAAoE;QAEpE,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC;YAExB,IAAI,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,YAAY,iBAAO,CAAC,CAAA;YAC5D,oEAAoE;YAEpE,IAAI,GAAG,CAAC,KAAK,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAA;YAE1C,IAAI,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;YAEjB,6CAA6C;YAC7C,kFAAkF;YAClF,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;gBACxC,IAAI,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAA;gBAC1C,uDAAuD;gBACvD,GAAG,GAAG,OAAO,CAAA;YACf,CAAC;YAED,0CAA0C;YAC1C,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YACxB,oCAAoC;YACpC,OAAO,GAAG,CAAA;QACZ,CAAC;QAED,OAAO,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAErB,wCAAwC;QAExC,+BAA+B;QAC/B,gCAAgC;QAChC,IAAI;QACJ,kCAAkC;QAClC,gEAAgE;QAEhE,4BAA4B;QAC5B,6BAA6B;QAC7B,MAAM;QACN,WAAW;QAEX,0BAA0B;QAC1B,aAAa;QACb,oBAAoB;QACpB,cAAc;QACd,kBAAkB;QAClB,QAAQ;QAER,oCAAoC;QACpC,2BAA2B;QAC3B,8BAA8B;QAC9B,8BAA8B;QAC9B,8BAA8B;QAE9B,2BAA2B;QAE3B,yBAAyB;QACzB,iCAAiC;QACjC,QAAQ;QACR,MAAM;QAEN,qBAAqB;QACrB,IAAI;IACN,CAAC;CACF;AAMC,kCAAW"}

package/dist/val/FeatureVal.d.ts

@@ -0,0 +1,10 @@
+import type { ValSpec } from '../type';
+import { AontuContext } from '../ctx';
+import { Val } from './Val';
+declare abstract class FeatureVal extends Val {
+    isFeature: boolean;
+    constructor(spec: ValSpec, ctx?: AontuContext);
+    superior(): Val;
+    gen(ctx: AontuContext): undefined;
+}
+export { FeatureVal, };

package/dist/val/FeatureVal.js

@@ -0,0 +1,29 @@
+"use strict";
+/* Copyright (c) 2021-2025 Richard Rodger, MIT License */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.FeatureVal = void 0;
+const Val_1 = require("./Val");
+const top_1 = require("./top");
+const err_1 = require("../err");
+class FeatureVal extends Val_1.Val {
+    constructor(spec, ctx) {
+        super(spec, ctx);
+        this.isFeature = true;
+    }
+    superior() {
+        return (0, top_1.top)();
+    }
+    gen(ctx) {
+        // Unresolved nil cannot be generated, so always an error.
+        let nerr = (0, err_1.makeNilErr)(ctx, 'no_gen', this);
+        (0, err_1.descErr)(nerr, ctx);
+        ctx?.adderr(nerr);
+        if (null == ctx || !ctx?.collect) {
+            const aerr = new err_1.AontuError(nerr.msg, [nerr]);
+            throw aerr;
+        }
+        return undefined;
+    }
+}
+exports.FeatureVal = FeatureVal;
+//# sourceMappingURL=FeatureVal.js.map

package/dist/val/FeatureVal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"FeatureVal.js","sourceRoot":"","sources":["../../src/val/FeatureVal.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AAYzD,+BAA2B;AAE3B,+BAA2B;AAE3B,gCAAwD;AAGxD,MAAe,UAAW,SAAQ,SAAG;IAGnC,YACE,IAAa,EACb,GAAkB;QAElB,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QANlB,cAAS,GAAG,IAAI,CAAA;IAOhB,CAAC;IAGD,QAAQ;QACN,OAAO,IAAA,SAAG,GAAE,CAAA;IACd,CAAC;IAGD,GAAG,CAAC,GAAiB;QACnB,0DAA0D;QAE1D,IAAI,IAAI,GAAG,IAAA,gBAAU,EAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAA;QAC1C,IAAA,aAAO,EAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QAClB,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,CAAA;QAEjB,IAAI,IAAI,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,OAAO,EAAE,CAAC;YACjC,MAAM,IAAI,GAAG,IAAI,gBAAU,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAA;YAC7C,MAAM,IAAI,CAAA;QACZ,CAAC;QAED,OAAO,SAAS,CAAA;IAClB,CAAC;CAEF;AAIC,gCAAU"}

package/dist/val/FuncBaseVal.d.ts

@@ -0,0 +1,15 @@
+import type { Val, ValSpec } from '../type';
+import { AontuContext } from '../ctx';
+import { FeatureVal } from '../val/FeatureVal';
+declare class FuncBaseVal extends FeatureVal {
+    isFunc: boolean;
+    constructor(spec: ValSpec, ctx?: AontuContext);
+    validateArgs(args: Val[], min: number): void;
+    make(ctx: AontuContext, _spec: ValSpec): Val;
+    unify(peer: Val, ctx: AontuContext): Val;
+    get canon(): string;
+    funcname(): string;
+    prepare(_ctx: AontuContext | undefined, args: Val[]): Val[];
+    resolve(ctx: AontuContext | undefined, _args: Val[]): Val;
+}
+export { FuncBaseVal, };