aontu 0.30.1 → 0.30.2

package/dist/type.d.ts

@@ -0,0 +1,32 @@
+import * as Fs from 'node:fs';
+import { Resolver } from '@jsonic/multisource';
+import { Val, DONE, SPREAD } from './val/Val';
+import type { ValMark, ValSpec } from './val/Val';
+type FST = typeof Fs;
+type AontuOptions = {
+    src?: string;
+    print?: number;
+    resolver?: Resolver;
+    base?: string;
+    path?: string;
+    debug?: boolean;
+    trace?: boolean;
+    fs?: FST;
+    deps?: any;
+    log?: any;
+    idcount?: number;
+    collect?: boolean;
+    err?: any[];
+    explain?: any[];
+};
+declare const DEFAULT_OPTS: () => AontuOptions;
+type ValMap = {
+    [key: string]: Val;
+};
+type ValList = Val[];
+type ErrContext = {
+    src?: string;
+    fs?: FST;
+};
+export type { Val, ValMark, ValSpec, ValMap, ValList, AontuOptions, ErrContext, FST, };
+export { DONE, SPREAD, DEFAULT_OPTS, Resolver, };

package/dist/type.js

@@ -0,0 +1,16 @@
+"use strict";
+/* Copyright (c) 2022-2025 Richard Rodger, MIT License */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.DEFAULT_OPTS = exports.SPREAD = exports.DONE = void 0;
+const Val_1 = require("./val/Val");
+Object.defineProperty(exports, "DONE", { enumerable: true, get: function () { return Val_1.DONE; } });
+Object.defineProperty(exports, "SPREAD", { enumerable: true, get: function () { return Val_1.SPREAD; } });
+const DEFAULT_OPTS = () => {
+    return {
+        print: -1,
+        debug: false,
+        trace: false,
+    };
+};
+exports.DEFAULT_OPTS = DEFAULT_OPTS;
+//# sourceMappingURL=type.js.map

package/dist/type.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type.js","sourceRoot":"","sources":["../src/type.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AASzD,mCAA6C;AAyD3C,qFAzDY,UAAI,OAyDZ;AACJ,uFA1DkB,YAAM,OA0DlB;AAhCR,MAAM,YAAY,GAAuB,GAAG,EAAE;IAC5C,OAAO;QACL,KAAK,EAAE,CAAC,CAAC;QACT,KAAK,EAAE,KAAK;QACZ,KAAK,EAAE,KAAK;KACb,CAAA;AACH,CAAC,CAAA;AA2BC,oCAAY"}

package/dist/unify.d.ts

@@ -0,0 +1,14 @@
+import type { Val } from './type';
+import { AontuContext } from './ctx';
+import { Lang } from './lang';
+declare const unite: (ctx: AontuContext, a: any, b: any, whence: string) => any;
+declare class Unify {
+    root: Val;
+    res: Val;
+    err: any[];
+    explain: any[] | null;
+    cc: number;
+    lang: Lang;
+    constructor(root: Val | string, lang?: Lang, ctx?: AontuContext | any, src?: any);
+}
+export { Unify, unite, };

package/dist/unify.js

@@ -0,0 +1,156 @@
+"use strict";
+/* Copyright (c) 2021-2023 Richard Rodger, MIT License */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.unite = exports.Unify = void 0;
+const ctx_1 = require("./ctx");
+const type_1 = require("./type");
+const err_1 = require("./err");
+const lang_1 = require("./lang");
+const utility_1 = require("./utility");
+const top_1 = require("./val/top");
+// TODO: relation to unify loops?
+const MAXCYCLE = 9;
+let uc = 0;
+// Vals should only have to unify downwards (in .unify) over Vals they understand.
+// and for complex Vals, TOP, which means self unify if not yet done
+const unite = (ctx, a, b, whence) => {
+    const te = ctx.explain && (0, utility_1.explainOpen)(ctx, ctx.explain, 'unite', a, b);
+    let out = a;
+    let why = 'u';
+    // const saw = a?.isTop && b?.isTop ? '' :
+    //   (a ? a.id + (a.done ? '' : '*') : '') + '~' + (b ? b.id + (b.done ? '' : '*') : '')
+    const saw = (a ? a.id + (a.done ? '' : '*') : '') + '~' + (b ? b.id + (b.done ? '' : '*') : '') +
+        '@' + ctx.pathstr;
+    /*
+    if (10 < ctx.seen[saw]) {
+      console.log('UNITE-SAW', ctx.cc, saw, ctx.seen[saw], 1 < ctx.seen[saw] ? (a?.canon + ' ~ ' + b?.canon) : '')
+      console.trace()
+    }
+    */
+    if (MAXCYCLE < ctx.seen[saw]) {
+        out = (0, err_1.makeNilErr)(ctx, 'cycle', a, b);
+    }
+    else {
+        ctx.seen[saw] = 1 + (ctx.seen[saw] ?? 0);
+        try {
+            let unified = false;
+            if (b && (!a || a.isTop)) {
+                out = b;
+                why = 'b';
+            }
+            else if (a && (!b || b.isTop)) {
+                out = a;
+                why = 'a';
+            }
+            else if (a && b && !b.isTop) {
+                if (a.isNil) {
+                    out = update(a, b);
+                    why = 'an';
+                }
+                else if (b.isNil) {
+                    out = update(b, a);
+                    why = 'bn';
+                }
+                else if (a.isConjunct) {
+                    out = a.unify(b, ctx.clone({ explain: (0, utility_1.ec)(te, 'CJ') }));
+                    unified = true;
+                    why = 'acj';
+                }
+                else if (b.isConjunct
+                    || b.isDisjunct
+                    || b.isRef
+                    || b.isPref
+                    || b.isFunc) {
+                    out = b.unify(a, ctx.clone({ explain: (0, utility_1.ec)(te, 'BW') }));
+                    unified = true;
+                    why = 'bv';
+                }
+                // Exactly equal scalars.
+                else if (a.constructor === b.constructor && a.peg === b.peg) {
+                    out = update(a, b);
+                    why = 'up';
+                }
+                else {
+                    out = a.unify(b, ctx.clone({ explain: (0, utility_1.ec)(te, 'GN') }));
+                    unified = true;
+                    why = 'ab';
+                }
+            }
+            if (!out || !out.unify) {
+                out = (0, err_1.makeNilErr)(ctx, 'unite', a, b, whence + '/nil');
+                why += 'N';
+            }
+            if (type_1.DONE !== out.dc && !unified) {
+                let nout = out.unify((0, top_1.top)(), ctx.clone({ explain: (0, utility_1.ec)(te, 'ND') }));
+                out = nout;
+                why += 'T';
+            }
+            uc++;
+        }
+        catch (err) {
+            // TODO: handle unexpected
+            out = (0, err_1.makeNilErr)(ctx, 'internal', a, b);
+        }
+    }
+    ctx.explain && (0, utility_1.explainClose)(te, out);
+    return out;
+};
+exports.unite = unite;
+function update(x, _y) {
+    // TODO: update x with y.site
+    return x;
+}
+class Unify {
+    constructor(root, lang, ctx, src) {
+        this.lang = lang || new lang_1.Lang();
+        if ('string' === typeof root) {
+            root = this.lang.parse(root);
+        }
+        if ('string' !== typeof src) {
+            src = '';
+        }
+        this.cc = 0;
+        this.root = root;
+        this.res = root;
+        this.err = ctx?.err ?? root.err ?? [];
+        this.explain = ctx?.explain ?? root.explain ?? null;
+        let res = root;
+        let uctx;
+        // Only unify if no syntax errors
+        if (!root.isNil) {
+            if (ctx instanceof ctx_1.AontuContext) {
+                uctx = ctx;
+            }
+            else {
+                uctx = new ctx_1.AontuContext({
+                    ...(ctx || {}),
+                    root: res,
+                    err: this.err,
+                    explain: this.explain,
+                    src,
+                });
+            }
+            // TODO: messy
+            // uctx.seterr(this.err)
+            uctx.err = this.err;
+            uctx.explain = this.explain;
+            const explain = null == ctx?.explain ? undefined : ctx?.explain;
+            const te = explain && (0, utility_1.explainOpen)(uctx, explain, 'root', res);
+            // NOTE: if true === res.done already, then this loop never needs to run.
+            let maxcc = 9; // 99
+            for (; this.cc < maxcc && type_1.DONE !== res.dc; this.cc++) {
+                // console.log('CC', this.cc, res.canon)
+                uctx.cc = this.cc;
+                res = unite(uctx.clone({ explain: (0, utility_1.ec)(te, 'run') }), res, (0, top_1.top)(), 'unify');
+                if (0 < uctx.err.length) {
+                    break;
+                }
+                uctx = uctx.clone({ root: res });
+            }
+            uctx.explain && (0, utility_1.explainClose)(te, res);
+        }
+        this.res = res;
+    }
+}
+exports.Unify = Unify;
+//# sourceMappingURL=unify.js.map

package/dist/unify.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"unify.js","sourceRoot":"","sources":["../src/unify.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AAKzD,+BAAoC;AAEpC,iCAA6B;AAE7B,+BAAkC;AAIlC,iCAEe;AAGf,uCAEkB;AAGlB,mCAEkB;AAGlB,iCAAiC;AACjC,MAAM,QAAQ,GAAG,CAAC,CAAA;AAElB,IAAI,EAAE,GAAG,CAAC,CAAA;AAEV,kFAAkF;AAClF,oEAAoE;AACpE,MAAM,KAAK,GAAG,CAAC,GAAiB,EAAE,CAAM,EAAE,CAAM,EAAE,MAAc,EAAE,EAAE;IAClE,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,IAAI,IAAA,qBAAW,EAAC,GAAG,EAAE,GAAG,CAAC,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAEtE,IAAI,GAAG,GAAG,CAAC,CAAA;IACX,IAAI,GAAG,GAAG,GAAG,CAAA;IAEb,0CAA0C;IAC1C,wFAAwF;IAExF,MAAM,GAAG,GACP,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACnF,GAAG,GAAG,GAAG,CAAC,OAAO,CAAA;IAEnB;;;;;MAKE;IAEF,IAAI,QAAQ,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7B,GAAG,GAAG,IAAA,gBAAU,EAAC,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACtC,CAAC;SACI,CAAC;QACJ,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAA;QAExC,IAAI,CAAC;YAEH,IAAI,OAAO,GAAG,KAAK,CAAA;YAEnB,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzB,GAAG,GAAG,CAAC,CAAA;gBACP,GAAG,GAAG,GAAG,CAAA;YACX,CAAC;iBAEI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC9B,GAAG,GAAG,CAAC,CAAA;gBACP,GAAG,GAAG,GAAG,CAAA;YACX,CAAC;iBAEI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;gBAC5B,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;oBACZ,GAAG,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;oBAClB,GAAG,GAAG,IAAI,CAAA;gBACZ,CAAC;qBACI,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;oBACjB,GAAG,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;oBAClB,GAAG,GAAG,IAAI,CAAA;gBACZ,CAAC;qBACI,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;oBACtB,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAA,YAAE,EAAC,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAA;oBACtD,OAAO,GAAG,IAAI,CAAA;oBACd,GAAG,GAAG,KAAK,CAAA;gBACb,CAAC;qBACI,IACH,CAAC,CAAC,UAAU;uBACT,CAAC,CAAC,UAAU;uBACZ,CAAC,CAAC,KAAK;uBACP,CAAC,CAAC,MAAM;uBACR,CAAC,CAAC,MAAM,EACX,CAAC;oBAED,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAA,YAAE,EAAC,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAA;oBACtD,OAAO,GAAG,IAAI,CAAA;oBACd,GAAG,GAAG,IAAI,CAAA;gBACZ,CAAC;gBAED,yBAAyB;qBACpB,IAAI,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,EAAE,CAAC;oBAC5D,GAAG,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;oBAClB,GAAG,GAAG,IAAI,CAAA;gBACZ,CAAC;qBAEI,CAAC;oBACJ,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAA,YAAE,EAAC,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAA;oBACtD,OAAO,GAAG,IAAI,CAAA;oBACd,GAAG,GAAG,IAAI,CAAA;gBACZ,CAAC;YACH,CAAC;YAED,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;gBACvB,GAAG,GAAG,IAAA,gBAAU,EAAC,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC,CAAA;gBACrD,GAAG,IAAI,GAAG,CAAA;YACZ,CAAC;YAED,IAAI,WAAI,KAAK,GAAG,CAAC,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC;gBAChC,IAAI,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,IAAA,SAAG,GAAE,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAA,YAAE,EAAC,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAA;gBACjE,GAAG,GAAG,IAAI,CAAA;gBACV,GAAG,IAAI,GAAG,CAAA;YACZ,CAAC;YAED,EAAE,EAAE,CAAA;QACN,CAAC;QACD,OAAO,GAAQ,EAAE,CAAC;YAChB,0BAA0B;YAC1B,GAAG,GAAG,IAAA,gBAAU,EAAC,GAAG,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;QACzC,CAAC;IACH,CAAC;IAED,GAAG,CAAC,OAAO,IAAI,IAAA,sBAAY,EAAC,EAAE,EAAE,GAAG,CAAC,CAAA;IAEpC,OAAO,GAAG,CAAA;AACZ,CAAC,CAAA;AAsFC,sBAAK;AAnFP,SAAS,MAAM,CAAC,CAAM,EAAE,EAAO;IAC7B,6BAA6B;IAC7B,OAAO,CAAC,CAAA;AACV,CAAC;AAGD,MAAM,KAAK;IAST,YAAY,IAAkB,EAAE,IAAW,EAAE,GAAwB,EAAE,GAAS;QAC9E,IAAI,CAAC,IAAI,GAAG,IAAI,IAAI,IAAI,WAAI,EAAE,CAAA;QAC9B,IAAI,QAAQ,KAAK,OAAO,IAAI,EAAE,CAAC;YAC7B,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;QAC9B,CAAC;QAED,IAAI,QAAQ,KAAK,OAAO,GAAG,EAAE,CAAC;YAC5B,GAAG,GAAG,EAAE,CAAA;QACV,CAAC;QAED,IAAI,CAAC,EAAE,GAAG,CAAC,CAAA;QACX,IAAI,CAAC,IAAI,GAAG,IAAI,CAAA;QAChB,IAAI,CAAC,GAAG,GAAG,IAAI,CAAA;QACf,IAAI,CAAC,GAAG,GAAG,GAAG,EAAE,GAAG,IAAI,IAAI,CAAC,GAAG,IAAI,EAAE,CAAA;QACrC,IAAI,CAAC,OAAO,GAAG,GAAG,EAAE,OAAO,IAAI,IAAI,CAAC,OAAO,IAAI,IAAI,CAAA;QAEnD,IAAI,GAAG,GAAG,IAAI,CAAA;QACd,IAAI,IAAkB,CAAA;QAEtB,iCAAiC;QACjC,IAAI,CAAE,IAAe,CAAC,KAAK,EAAE,CAAC;YAC5B,IAAI,GAAG,YAAY,kBAAY,EAAE,CAAC;gBAChC,IAAI,GAAG,GAAG,CAAA;YACZ,CAAC;iBACI,CAAC;gBACJ,IAAI,GAAG,IAAI,kBAAY,CAAC;oBACtB,GAAG,CAAC,GAAG,IAAI,EAAE,CAAC;oBACd,IAAI,EAAE,GAAG;oBACT,GAAG,EAAE,IAAI,CAAC,GAAG;oBACb,OAAO,EAAE,IAAI,CAAC,OAAO;oBACrB,GAAG;iBACJ,CAAC,CAAA;YACJ,CAAC;YAED,cAAc;YACd,wBAAwB;YACxB,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAA;YACnB,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,CAAA;YAE3B,MAAM,OAAO,GAAG,IAAI,IAAI,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,EAAE,OAAO,CAAA;YAC/D,MAAM,EAAE,GAAG,OAAO,IAAI,IAAA,qBAAW,EAAC,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,CAAA;YAE7D,yEAAyE;YACzE,IAAI,KAAK,GAAG,CAAC,CAAA,CAAC,KAAK;YACnB,OAAO,IAAI,CAAC,EAAE,GAAG,KAAK,IAAI,WAAI,KAAK,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC;gBACrD,wCAAwC;gBACxC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,CAAA;gBACjB,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAA,YAAE,EAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,IAAA,SAAG,GAAE,EAAE,OAAO,CAAC,CAAA;gBAExE,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC;oBACxB,MAAK;gBACP,CAAC;gBAED,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAA;YAClC,CAAC;YAED,IAAI,CAAC,OAAO,IAAI,IAAA,sBAAY,EAAC,EAAE,EAAE,GAAG,CAAC,CAAA;QACvC,CAAC;QAED,IAAI,CAAC,GAAG,GAAG,GAAG,CAAA;IAChB,CAAC;CACF;AAMC,sBAAK"}

package/dist/utility.d.ts

@@ -0,0 +1,14 @@
+import type { Val } from './type';
+declare function propagateMarks(source: Val, target: Val): void;
+declare function formatPath(path: Val | string[], absolute?: boolean): string;
+type WalkApply = (key: string | number | undefined, val: Val, parent: Val | undefined, path: (string | number)[]) => Val;
+/**
+ * Walk a Val structure depth first, applying functions before and after descending.
+ * Only traverses Val instances - stops at non-Val children.
+ */
+declare function walk(val: Val, before?: WalkApply, after?: WalkApply, maxdepth?: number | null, key?: string | number, parent?: Val, path?: (string | number)[]): Val;
+declare function explainOpen(ctx: any, t: any[] | undefined | null | false, note: string, ac?: Val, bc?: Val): any[] | null;
+declare function ec(t: any[] | undefined | null, why: string): (string | null)[] | undefined;
+declare function explainClose(t: any[] | undefined | null, out?: Val): void;
+declare function formatExplain(t: any[], d?: number): string;
+export { propagateMarks, formatPath, walk, WalkApply, explainOpen, ec, explainClose, formatExplain, };

package/dist/utility.js

@@ -0,0 +1,122 @@
+"use strict";
+/* Copyright (c) 2023-2025 Richard Rodger, MIT License */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.propagateMarks = propagateMarks;
+exports.formatPath = formatPath;
+exports.walk = walk;
+exports.explainOpen = explainOpen;
+exports.ec = ec;
+exports.explainClose = explainClose;
+exports.formatExplain = formatExplain;
+// Mark value in source is propagated to target (true ratchets).
+function propagateMarks(source, target) {
+    for (let name in source.mark) {
+        target.mark[name] = target.mark[name] || source.mark[name];
+    }
+}
+function formatPath(path, absolute) {
+    let parts;
+    if (Array.isArray(path)) {
+        parts = path;
+    }
+    else {
+        parts = path.path;
+    }
+    let pathstr = (0 < parts.length && false !== absolute ? '$.' : '') + parts.join('.');
+    return pathstr;
+}
+/**
+ * Walk a Val structure depth first, applying functions before and after descending.
+ * Only traverses Val instances - stops at non-Val children.
+ */
+function walk(
+// These arguments are the public interface.
+val, 
+// Before descending into a node.
+before, 
+// After descending into a node.
+after, 
+// Maximum recursive depth, default: 32. Use null for infinite depth.
+maxdepth, 
+// These arguments are used for recursive state.
+key, parent, path) {
+    let out = null == before ? val : before(key, val, parent, path || []);
+    maxdepth = null != maxdepth && 0 <= maxdepth ? maxdepth : 32;
+    if (null != maxdepth && 0 === maxdepth) {
+        return out;
+    }
+    if (null != path && null != maxdepth && 0 < maxdepth && maxdepth <= path.length) {
+        return out;
+    }
+    const child = out.peg;
+    // Container Vals (Map etc) have peg = plain {} or []
+    if (null != child && !child.isVal) {
+        if ('object' === typeof child) {
+            for (let ckey in child) {
+                child[ckey] = walk(child[ckey], before, after, maxdepth, ckey, out, [...(path || []), ckey]);
+            }
+        }
+        else if (Array.isArray(child)) {
+            for (let i = 0; i < child.length; i++) {
+                child[i] = walk(child[i], before, after, maxdepth, i, out, [...(path || []), '' + i]);
+            }
+        }
+    }
+    out = null == after ? out : after(key, out, parent, path || []);
+    return out;
+}
+const T_NOTE = 0;
+const T_WHY = 1;
+const T_AVAL = 2;
+const T_BVAL = 3;
+const T_OVAL = 4;
+const T_CHILDREN = 5;
+function explainOpen(ctx, t, note, ac, bc) {
+    if (false === t)
+        return null;
+    t = t ?? [null, 'root', null, null, null, null];
+    t[T_WHY] = t[T_WHY] ?? '';
+    t[T_NOTE] = (0 <= ctx.cc ? ctx.cc + '~' : '') + note;
+    if (ac) {
+        t[T_AVAL] = ac.id + (ac.done ? '' : '!') + '=' + ac.canon;
+    }
+    if (bc) {
+        t[T_BVAL] = bc.id + (bc.done ? '' : '!') + '=' + bc.canon;
+    }
+    return t;
+}
+function ec(t, why) {
+    if (null == t)
+        return;
+    const child = [null, why, null, null, null, null];
+    t[T_CHILDREN] = t[T_CHILDREN] ?? [];
+    t[T_CHILDREN].push(child);
+    return child;
+}
+function explainClose(t, out) {
+    if (null == t)
+        return;
+    if (out) {
+        t[T_OVAL] = out.id + (out.done ? '' : '!') + '=' + out.canon;
+    }
+}
+function formatExplain(t, d) {
+    d = null == d ? 0 : d;
+    const indent = ('  '.repeat(d));
+    if (Array.isArray(t)) {
+        const b = [
+            indent + t.slice(0, t.length - 1).join(' ')
+        ];
+        const children = t[t.length - 1];
+        if (Array.isArray(children)) {
+            for (let ce of children) {
+                b.push(formatExplain(ce, d + 1));
+            }
+        }
+        return b.join('\n');
+    }
+    else {
+        return indent + t;
+    }
+}
+//# sourceMappingURL=utility.js.map

package/dist/utility.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"utility.js","sourceRoot":"","sources":["../src/utility.ts"],"names":[],"mappings":";AAAA,yDAAyD;;AAyKvD,wCAAc;AACd,gCAAU;AACV,oBAAI;AAEJ,kCAAW;AACX,gBAAE;AACF,oCAAY;AACZ,sCAAa;AAzKf,gEAAgE;AAChE,SAAS,cAAc,CAAC,MAAW,EAAE,MAAW;IAC9C,KAAK,IAAI,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAC5B,MAAM,CAAC,IAAY,CAAC,IAAI,CAAC,GAAI,MAAM,CAAC,IAAY,CAAC,IAAI,CAAC,IAAK,MAAM,CAAC,IAAY,CAAC,IAAI,CAAC,CAAA;IACvF,CAAC;AACH,CAAC;AAGD,SAAS,UAAU,CAAC,IAAoB,EAAE,QAAkB;IAC1D,IAAI,KAAe,CAAA;IACnB,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,KAAK,GAAG,IAAI,CAAA;IACd,CAAC;SACI,CAAC;QACJ,KAAK,GAAG,IAAI,CAAC,IAAI,CAAA;IACnB,CAAC;IAED,IAAI,OAAO,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,IAAI,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IAEpF,OAAO,OAAO,CAAA;AAChB,CAAC;AAUD;;;GAGG;AACH,SAAS,IAAI;AACX,4CAA4C;AAC5C,GAAQ;AAER,iCAAiC;AACjC,MAAkB;AAElB,gCAAgC;AAChC,KAAiB;AAEjB,qEAAqE;AACrE,QAAwB;AAExB,gDAAgD;AAChD,GAAqB,EACrB,MAAY,EACZ,IAA0B;IAE1B,IAAI,GAAG,GAAG,IAAI,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC,CAAA;IAErE,QAAQ,GAAG,IAAI,IAAI,QAAQ,IAAI,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAA;IAC5D,IAAI,IAAI,IAAI,QAAQ,IAAI,CAAC,KAAK,QAAQ,EAAE,CAAC;QACvC,OAAO,GAAG,CAAA;IACZ,CAAC;IACD,IAAI,IAAI,IAAI,IAAI,IAAI,IAAI,IAAI,QAAQ,IAAI,CAAC,GAAG,QAAQ,IAAI,QAAQ,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAChF,OAAO,GAAG,CAAA;IACZ,CAAC;IAED,MAAM,KAAK,GAAQ,GAAG,CAAC,GAAG,CAAA;IAE1B,qDAAqD;IACrD,IAAI,IAAI,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;QAClC,IAAI,QAAQ,KAAK,OAAO,KAAK,EAAE,CAAC;YAC9B,KAAK,IAAI,IAAI,IAAI,KAAK,EAAE,CAAC;gBACvB,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,CAChB,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAA;YAC7E,CAAC;QACH,CAAC;aACI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YAC9B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACtC,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,CACb,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAA;YACzE,CAAC;QACH,CAAC;IACH,CAAC;IAED,GAAG,GAAG,IAAI,IAAI,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC,CAAA;IAE/D,OAAO,GAAG,CAAA;AACZ,CAAC;AAGD,MAAM,MAAM,GAAG,CAAC,CAAA;AAChB,MAAM,KAAK,GAAG,CAAC,CAAA;AACf,MAAM,MAAM,GAAG,CAAC,CAAA;AAChB,MAAM,MAAM,GAAG,CAAC,CAAA;AAChB,MAAM,MAAM,GAAG,CAAC,CAAA;AAChB,MAAM,UAAU,GAAG,CAAC,CAAA;AAGpB,SAAS,WAAW,CAClB,GAAQ,EACR,CAAmC,EACnC,IAAY,EACZ,EAAQ,EACR,EAAQ;IAER,IAAI,KAAK,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAE7B,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;IAC/C,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,CAAA;IACzB,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,CAAA;IACpD,IAAI,EAAE,EAAE,CAAC;QACP,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,GAAG,GAAG,EAAE,CAAC,KAAK,CAAA;IAC3D,CAAC;IACD,IAAI,EAAE,EAAE,CAAC;QACP,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,GAAG,GAAG,EAAE,CAAC,KAAK,CAAA;IAC3D,CAAC;IAED,OAAO,CAAC,CAAA;AACV,CAAC;AAGD,SAAS,EAAE,CAAC,CAA2B,EAAE,GAAW;IAClD,IAAI,IAAI,IAAI,CAAC;QAAE,OAAO;IAEtB,MAAM,KAAK,GAAG,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;IACjD,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,CAAA;IACnC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IACzB,OAAO,KAAK,CAAA;AACd,CAAC;AAGD,SAAS,YAAY,CAAC,CAA2B,EAAE,GAAS;IAC1D,IAAI,IAAI,IAAI,CAAC;QAAE,OAAO;IAEtB,IAAI,GAAG,EAAE,CAAC;QACR,CAAC,CAAC,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,GAAG,GAAG,GAAG,CAAC,KAAK,CAAA;IAC9D,CAAC;AACH,CAAC;AAGD,SAAS,aAAa,CAAC,CAAQ,EAAE,CAAU;IACzC,CAAC,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACrB,MAAM,MAAM,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;IAE/B,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACrB,MAAM,CAAC,GAAG;YACR,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;SAC5C,CAAA;QAED,MAAM,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;QAChC,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC5B,KAAK,IAAI,EAAE,IAAI,QAAQ,EAAE,CAAC;gBACxB,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;YAClC,CAAC;QACH,CAAC;QAED,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACrB,CAAC;SACI,CAAC;QACJ,OAAO,MAAM,GAAG,CAAC,CAAA;IACnB,CAAC;AACH,CAAC"}

package/dist/val/BagVal.d.ts

@@ -0,0 +1,10 @@
+import type { ValSpec } from '../type';
+import { AontuContext } from '../ctx';
+import { FeatureVal } from './FeatureVal';
+declare abstract class BagVal extends FeatureVal {
+    isBag: boolean;
+    closed: boolean;
+    optionalKeys: string[];
+    constructor(spec: ValSpec, ctx?: AontuContext);
+}
+export { BagVal, };

package/dist/val/BagVal.js

@@ -0,0 +1,15 @@
+"use strict";
+/* Copyright (c) 2021-2025 Richard Rodger, MIT License */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.BagVal = void 0;
+const FeatureVal_1 = require("./FeatureVal");
+class BagVal extends FeatureVal_1.FeatureVal {
+    constructor(spec, ctx) {
+        super(spec, ctx);
+        this.isBag = true;
+        this.closed = false;
+        this.optionalKeys = [];
+    }
+}
+exports.BagVal = BagVal;
+//# sourceMappingURL=BagVal.js.map

package/dist/val/BagVal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"BagVal.js","sourceRoot":"","sources":["../../src/val/BagVal.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AAYzD,6CAAyC;AAGzC,MAAe,MAAO,SAAQ,uBAAU;IAMtC,YACE,IAAa,EACb,GAAkB;QAElB,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QATlB,UAAK,GAAG,IAAI,CAAA;QAEZ,WAAM,GAAY,KAAK,CAAA;QACvB,iBAAY,GAAa,EAAE,CAAA;IAO3B,CAAC;CACF;AAIC,wBAAM"}

package/dist/val/BooleanVal.d.ts

@@ -0,0 +1,9 @@
+import type { Val, ValSpec } from '../type';
+import { AontuContext } from '../ctx';
+import { ScalarVal } from './ScalarVal';
+declare class BooleanVal extends ScalarVal {
+    isBoolean: boolean;
+    constructor(spec: ValSpec, ctx?: AontuContext);
+    unify(peer: Val, ctx: AontuContext): Val;
+}
+export { BooleanVal, };

package/dist/val/BooleanVal.js

@@ -0,0 +1,16 @@
+"use strict";
+/* Copyright (c) 2021-2023 Richard Rodger, MIT License */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.BooleanVal = void 0;
+const ScalarVal_1 = require("./ScalarVal");
+class BooleanVal extends ScalarVal_1.ScalarVal {
+    constructor(spec, ctx) {
+        super({ peg: spec.peg, kind: Boolean }, ctx);
+        this.isBoolean = true;
+    }
+    unify(peer, ctx) {
+        return super.unify(peer, ctx);
+    }
+}
+exports.BooleanVal = BooleanVal;
+//# sourceMappingURL=BooleanVal.js.map

package/dist/val/BooleanVal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"BooleanVal.js","sourceRoot":"","sources":["../../src/val/BooleanVal.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AAWzD,2CAAuC;AAEvC,MAAM,UAAW,SAAQ,qBAAS;IAGhC,YACE,IAAa,EACb,GAAkB;QAElB,KAAK,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,GAAG,CAAC,CAAA;QAN9C,cAAS,GAAG,IAAI,CAAA;IAOhB,CAAC;IAED,KAAK,CAAC,IAAS,EAAE,GAAiB;QAChC,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;IAC/B,CAAC;CACF;AAIC,gCAAU"}

package/dist/val/CloseFuncVal.d.ts

@@ -0,0 +1,11 @@
+import type { Val, ValSpec } from '../type';
+import { AontuContext } from '../ctx';
+import { FuncBaseVal } from './FuncBaseVal';
+declare class CloseFuncVal extends FuncBaseVal {
+    isCloseFunc: boolean;
+    constructor(spec: ValSpec, ctx?: AontuContext);
+    make(_ctx: AontuContext, spec: ValSpec): Val;
+    funcname(): string;
+    resolve(ctx: AontuContext, args: Val[]): any;
+}
+export { CloseFuncVal, };

package/dist/val/CloseFuncVal.js

@@ -0,0 +1,32 @@
+"use strict";
+/* Copyright (c) 2021-2025 Richard Rodger, MIT License */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.CloseFuncVal = void 0;
+const err_1 = require("../err");
+const FuncBaseVal_1 = require("./FuncBaseVal");
+class CloseFuncVal extends FuncBaseVal_1.FuncBaseVal {
+    constructor(spec, ctx) {
+        super(spec, ctx);
+        this.isCloseFunc = true;
+        this.validateArgs(spec.peg, 1);
+    }
+    make(_ctx, spec) {
+        return new CloseFuncVal(spec);
+    }
+    funcname() {
+        return 'close';
+    }
+    resolve(ctx, args) {
+        const argval = args[0];
+        if (null == argval) {
+            return (0, err_1.makeNilErr)(ctx, 'no_first_arg', this, undefined, 'close');
+        }
+        if (argval.isMap || argval.isList) {
+            argval.closed = true;
+            // console.log('CLOSED', argval.canon)
+        }
+        return argval;
+    }
+}
+exports.CloseFuncVal = CloseFuncVal;
+//# sourceMappingURL=CloseFuncVal.js.map

package/dist/val/CloseFuncVal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"CloseFuncVal.js","sourceRoot":"","sources":["../../src/val/CloseFuncVal.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AAYzD,gCAAmC;AAGnC,+CAA2C;AAI3C,MAAM,YAAa,SAAQ,yBAAW;IAGpC,YACE,IAAa,EACb,GAAkB;QAElB,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QANlB,gBAAW,GAAG,IAAI,CAAA;QAOhB,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAA;IAChC,CAAC;IAGD,IAAI,CAAC,IAAkB,EAAE,IAAa;QACpC,OAAO,IAAI,YAAY,CAAC,IAAI,CAAC,CAAA;IAC/B,CAAC;IAED,QAAQ;QACN,OAAO,OAAO,CAAA;IAChB,CAAC;IAGD,OAAO,CAAC,GAAiB,EAAE,IAAW;QACpC,MAAM,MAAM,GAAQ,IAAI,CAAC,CAAC,CAAC,CAAA;QAE3B,IAAI,IAAI,IAAI,MAAM,EAAE,CAAC;YACnB,OAAO,IAAA,gBAAU,EAAC,GAAG,EAAE,cAAc,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,CAAA;QAClE,CAAC;QAED,IAAI,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YACjC,MAAiB,CAAC,MAAM,GAAG,IAAI,CAAA;YAChC,sCAAsC;QACxC,CAAC;QAED,OAAO,MAAM,CAAA;IACf,CAAC;CAEF;AAIC,oCAAY"}

package/dist/val/ConjunctVal.d.ts

@@ -0,0 +1,14 @@
+import type { Val, ValSpec } from '../type';
+import { AontuContext } from '../ctx';
+import { JunctionVal } from './JunctionVal';
+declare class ConjunctVal extends JunctionVal {
+    isConjunct: boolean;
+    constructor(spec: ValSpec, ctx?: AontuContext);
+    append(peer: Val): ConjunctVal;
+    unify(peer: Val, ctx: AontuContext): Val;
+    clone(ctx: AontuContext, spec?: ValSpec): Val;
+    getJunctionSymbol(): string;
+    gen(ctx?: AontuContext): undefined;
+}
+declare function norm(terms: Val[]): Val[];
+export { norm, ConjunctVal, };