@tabnas/transduce 0.2.9 → 0.2.10

package/dist/routers.js

@@ -24,5 +24,10 @@ exports.routers = Object.freeze({
     transduceTree(spec, downstream) {
         return new transduce_tree_1.TransduceTree(spec, downstream);
     },
+    // TransduceTree reads a spec's `:member` and `:text`, and holds a text to
+    // the spec's `maxTextBytes` as it grows.
+    transduceTreeReadsMemberAndText() {
+        return true;
+    },
 });
 //# sourceMappingURL=routers.js.map

package/dist/routers.js.map

@@ -1 +1 @@
-{"version":3,"file":"routers.js","sourceRoot":"","sources":["../src/routers.ts"],"names":[],"mappings":";AAAA,4CAA4C;;;AA2B5C,mCAAiC;AACjC,mCAAgC;AAChC,iCAAiC;AACjC,uDAAiD;AACjD,qDAAgD;AAEhD,sEAAsE;AACzD,QAAA,OAAO,GAAY,MAAM,CAAC,MAAM,CAAC;IAC5C,MAAM,CACJ,KAA6B,EAC7B,MAAc,EACd,UAAsB,EACtB,OAAgB,EAChB,UAAqB;QAErB,OAAO,IAAI,cAAM,CAAC,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,CAAC,CAAA;IACnE,CAAC;IAED,aAAa,CACX,OAAqB,EACrB,MAAc,EACd,UAAsB,EACtB,OAAgB,EAChB,IAAe;QAEf,OAAO,IAAI,+BAAa,CAAC,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,IAAI,CAAC,CAAA;IACtE,CAAC;IAED,QAAQ,CACN,OAAU,EACV,IAA6C,EAC7C,MAAyB,EACzB,GAAwB;QAExB,OAAO,IAAI,eAAQ,CAAU,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,CAAA;IAC1D,CAAC;IAED,OAAO,CAAC,KAAW,EAAE,MAAc,EAAE,KAAgB,EAAE,OAAgB;QACrE,OAAO,IAAI,eAAO,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;IACnD,CAAC;IAED,aAAa,CAAC,IAAc,EAAE,UAAgB;QAC5C,OAAO,IAAI,8BAAa,CAAC,IAAI,EAAE,UAAU,CAAC,CAAA;IAC5C,CAAC;CACF,CAAC,CAAA"}
+{"version":3,"file":"routers.js","sourceRoot":"","sources":["../src/routers.ts"],"names":[],"mappings":";AAAA,4CAA4C;;;AA2B5C,mCAAiC;AACjC,mCAAgC;AAChC,iCAAiC;AACjC,uDAAiD;AACjD,qDAAgD;AAEhD,sEAAsE;AACzD,QAAA,OAAO,GAAY,MAAM,CAAC,MAAM,CAAC;IAC5C,MAAM,CACJ,KAA6B,EAC7B,MAAc,EACd,UAAsB,EACtB,OAAgB,EAChB,UAAqB;QAErB,OAAO,IAAI,cAAM,CAAC,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,CAAC,CAAA;IACnE,CAAC;IAED,aAAa,CACX,OAAqB,EACrB,MAAc,EACd,UAAsB,EACtB,OAAgB,EAChB,IAAe;QAEf,OAAO,IAAI,+BAAa,CAAC,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,IAAI,CAAC,CAAA;IACtE,CAAC;IAED,QAAQ,CACN,OAAU,EACV,IAA6C,EAC7C,MAAyB,EACzB,GAAwB;QAExB,OAAO,IAAI,eAAQ,CAAU,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,CAAA;IAC1D,CAAC;IAED,OAAO,CAAC,KAAW,EAAE,MAAc,EAAE,KAAgB,EAAE,OAAgB;QACrE,OAAO,IAAI,eAAO,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;IACnD,CAAC;IAED,aAAa,CAAC,IAAc,EAAE,UAAgB;QAC5C,OAAO,IAAI,8BAAa,CAAC,IAAI,EAAE,UAAU,CAAC,CAAA;IAC5C,CAAC;IAED,0EAA0E;IAC1E,yCAAyC;IACzC,+BAA+B;QAC7B,OAAO,IAAI,CAAA;IACb,CAAC;CACF,CAAC,CAAA"}

package/dist/transduce-tree.d.ts

@@ -4,8 +4,13 @@ export declare class TransduceTree implements ParserSink {
     readonly down: Sink;
     open: number;
     carry: boolean;
+    readonly texts: string[];
+    readonly bytes: number[];
     constructor(spec: TreeSpec, down: Sink);
     event(ev: ParserEvent): Flow;
+    private get max();
+    private spell;
+    private write;
     private openPass;
     private closePass;
 }

package/dist/transduce-tree.js

@@ -10,18 +10,32 @@ exports.TransduceTree = void 0;
 // alchemy's `TreeSpec` documents what a native must do: each pass is looked
 // up by its rule's name, one lookup per pass whatever the spec's size; an
 // open pass announces its key, then begins its container or yields its
-// scalar from one of its tokens; a close pass ends its container, or
-// yields its own value; and a container whose rule is replaced by a rule
-// the spec names a container is one container, so that close ends nothing
-// and the replacing open begins nothing. The state is the count of open
-// containers and whether a close handed its container on, so the native
-// retains the document's nesting and nothing of its width or length, as
-// the library's step does. alchemy-cli's differential test holds the two
-// to the same bytes.
+// scalar from one of its tokens, then announces its member; a close pass
+// yields its text, when its rule is a `:text` rule, then ends its
+// container, or yields its own value; and a container whose rule is
+// replaced by a rule the spec names a container is one container, so that
+// close ends nothing and the replacing open begins nothing. The state is
+// the count of open containers, whether a close handed its container on,
+// and the text each open `:text` rule has gathered, to which every pass
+// writes its tokens' source text, so the native retains the document's
+// nesting and an open rule's text, and nothing else of its width or
+// length, as the library's step does. alchemy-cli's differential test
+// holds the two to the same bytes.
+//
+// A text is held to the spec's `maxTextBytes` as it grows, at the joins
+// the library's `string-join` makes and in their order: a pass's tokens
+// together, then the innermost text with them, and a closed text with the
+// text around it, each refused past the bound with alchemy's
+// `treeTextRefusal`. The routers say this native reads `:member` and
+// `:text` (routers.ts), which is what lets the lowering hand it a spec
+// that uses either.
 //
 // A pass's events are worked out before the first of them is written, as
 // the library's step returns them together: a pass that fails writes none.
-// The failures are the library's, with its codes and texts.
+// The failures are the library's, with its codes and texts, and in its
+// order: an open pass's key, then what it begins or yields, then its
+// tokens' text, then its member; a close pass's text, then what it ends or
+// yields.
 const shared_1 = require("@tabnas/alchemy/shared");
 // The library's `transduce-tree`, natively, writing to `down`.
 class TransduceTree {
@@ -32,6 +46,10 @@ class TransduceTree {
         this.open = 0;
         // A close handed its container on to the rule replacing it.
         this.carry = false;
+        // The text each open `:text` rule has gathered, the innermost last, and
+        // its length in UTF-8 bytes, which the bound is held to.
+        this.texts = [];
+        this.bytes = [];
     }
     event(ev) {
         switch (ev.type) {
@@ -46,30 +64,49 @@ class TransduceTree {
                 return this.down.event(shared_1.Ev.end);
         }
     }
+    // The most bytes a text may hold.
+    get max() {
+        return this.spec.maxTextBytes ?? Infinity;
+    }
+    // The pass's tokens written to the innermost open text, if one is and the
+    // pass consumed any, as the library's `transduce-spell` writes them: the
+    // tokens' text joined, then written to the innermost, each join held to
+    // the bound.
+    spell(pass) {
+        if (0 === this.texts.length || 0 === pass.tokens.length)
+            return;
+        let more = '';
+        let n = 0;
+        for (const token of pass.tokens) {
+            more += token.src;
+            n += (0, shared_1.utf8Bytes)(token.src);
+        }
+        if (n > this.max)
+            throw (0, shared_1.treeTextRefusal)(n, this.max);
+        this.write(more, n);
+    }
+    // `more`, of `n` bytes, written at the end of the innermost open text, as
+    // the library's `transduce-write` joins the two, held to the bound.
+    write(more, n) {
+        const last = this.texts.length - 1;
+        const len = this.bytes[last] + n;
+        if (len > this.max)
+            throw (0, shared_1.treeTextRefusal)(len, this.max);
+        this.texts[last] += more;
+        this.bytes[last] = len;
+    }
     openPass(pass) {
         const rule = this.spec.rules.get(pass.name);
-        if (undefined === rule)
+        if (undefined === rule) {
+            this.spell(pass);
             return 'continue';
-        let key;
-        if (undefined !== rule.key) {
-            if ('name' in rule.key)
-                key = rule.key.name;
-            else {
-                const token = pass.tokens[rule.key.token];
-                if (undefined !== token) {
-                    if ('string' !== token.val.type) {
-                        throw typeError(`key: the name must be a string, not ${kind(token.val)}`);
-                    }
-                    key = token.val.value;
-                }
-            }
         }
+        const key = named(rule.key, pass);
         let then;
+        let begins = false;
         if (undefined !== rule.container) {
-            if (this.carry)
-                this.carry = false;
-            else {
-                this.open++;
+            if (!this.carry) {
+                begins = true;
                 then = 'object' === rule.container ? shared_1.Ev.objectStart : shared_1.Ev.arrayStart;
             }
         }
@@ -78,31 +115,85 @@ class TransduceTree {
             if (undefined !== token)
                 then = scalar(token.val);
         }
-        if (undefined !== key && 'stop' === this.down.event(shared_1.Ev.key(key)))
-            return 'stop';
-        return undefined === then ? 'continue' : this.down.event(then);
+        this.spell(pass);
+        const member = named(rule.member, pass);
+        if (undefined !== rule.container) {
+            if (begins)
+                this.open++;
+            else
+                this.carry = false;
+        }
+        if (true === rule.text) {
+            this.texts.push('');
+            this.bytes.push(0);
+        }
+        for (const ev of [
+            undefined === key ? undefined : shared_1.Ev.key(key),
+            then,
+            undefined === member ? undefined : shared_1.Ev.key(member),
+        ]) {
+            if (undefined !== ev && 'stop' === this.down.event(ev))
+                return 'stop';
+        }
+        return 'continue';
     }
     closePass(pass) {
         const rule = this.spec.rules.get(pass.name);
-        if (undefined === rule)
+        if (undefined === rule) {
+            this.spell(pass);
             return 'continue';
+        }
+        // A `:text` rule's text closes first, and joins the one around it
+        // before this pass's own tokens do; it is yielded before anything
+        // else, once the rest of the pass is known not to fail.
+        let text;
+        if (true === rule.text) {
+            text = this.texts.pop();
+            if (undefined === text)
+                throw typeError('top: the vector is empty; there is no last item');
+            const n = this.bytes.pop();
+            if (0 < this.texts.length)
+                this.write(text, n);
+        }
+        this.spell(pass);
+        let then;
         if (undefined === rule.container) {
             if ('value' === rule.scalar && undefined !== pass.value)
-                return this.down.event(scalar(pass.value));
-            return 'continue';
+                then = scalar(pass.value);
         }
-        if (undefined !== pass.alt && (0, shared_1.isTreeContainer)(this.spec, pass.alt.r)) {
+        else if (undefined !== pass.alt && (0, shared_1.isTreeContainer)(this.spec, pass.alt.r)) {
             this.carry = true;
-            return 'continue';
         }
-        if (0 === this.open)
-            throw typeError('pop: the vector is empty; there is no last item to remove');
-        this.open--;
-        this.carry = false;
-        return this.down.event('object' === rule.container ? shared_1.Ev.objectEnd : shared_1.Ev.arrayEnd);
+        else {
+            if (0 === this.open)
+                throw typeError('pop: the vector is empty; there is no last item to remove');
+            this.open--;
+            this.carry = false;
+            then = 'object' === rule.container ? shared_1.Ev.objectEnd : shared_1.Ev.arrayEnd;
+        }
+        if (undefined !== text && 'stop' === this.down.event(shared_1.Ev.string(text)))
+            return 'stop';
+        return undefined === then ? 'continue' : this.down.event(then);
     }
 }
 exports.TransduceTree = TransduceTree;
+// The member name a field of a rule's entry names for a pass: the string,
+// or the `:val` of the pass's token at that index, nothing when the pass
+// consumed no such token; the library's `key` refuses a name that is not a
+// string.
+function named(field, pass) {
+    if (undefined === field)
+        return undefined;
+    if ('name' in field)
+        return field.name;
+    const token = pass.tokens[field.token];
+    if (undefined === token)
+        return undefined;
+    if ('string' !== token.val.type) {
+        throw typeError(`key: the name must be a string, not ${kind(token.val)}`);
+    }
+    return token.val.value;
+}
 // A value as the library's `scalar` takes it, or its refusal.
 function scalar(value) {
     switch (value.type) {

package/dist/transduce-tree.js.map

@@ -1 +1 @@
-{"version":3,"file":"transduce-tree.js","sourceRoot":"","sources":["../src/transduce-tree.ts"],"names":[],"mappings":";AAAA,4CAA4C;;;AAE5C,yEAAyE;AACzE,0EAA0E;AAC1E,iEAAiE;AACjE,EAAE;AACF,wEAAwE;AACxE,4EAA4E;AAC5E,0EAA0E;AAC1E,uEAAuE;AACvE,qEAAqE;AACrE,yEAAyE;AACzE,0EAA0E;AAC1E,wEAAwE;AACxE,wEAAwE;AACxE,wEAAwE;AACxE,yEAAyE;AACzE,qBAAqB;AACrB,EAAE;AACF,yEAAyE;AACzE,2EAA2E;AAC3E,4DAA4D;AAE5D,mDAAyE;AAGzE,+DAA+D;AAC/D;IAME,YACW,IAAc,EACd,IAAU;QADV,SAAI,GAAJ,IAAI,CAAU;QACd,SAAI,GAAJ,IAAI,CAAM;QAPrB,mBAAmB;QACnB,SAAI,GAAG,CAAC,CAAA;QACR,4DAA4D;QAC5D,UAAK,GAAG,KAAK,CAAA;IAKV,CAAC;IAEJ,KAAK,CAAC,EAAe;QACnB,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;YAChB,KAAK,MAAM;gBACT,OAAO,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,CAAA;YAC/B,KAAK,OAAO;gBACV,OAAO,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,CAAA;YAChC,KAAK,KAAK;gBACR,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;oBAClB,MAAM,IAAI,aAAI,CAAC,sBAAsB,EAAE,mEAAmE,CAAC,CAAA;gBAC7G,CAAC;gBACD,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,WAAE,CAAC,GAAG,CAAC,CAAA;QAClC,CAAC;IACH,CAAC;IAEO,QAAQ,CAAC,IAAc;QAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC3C,IAAI,SAAS,KAAK,IAAI;YAAE,OAAO,UAAU,CAAA;QACzC,IAAI,GAAuB,CAAA;QAC3B,IAAI,SAAS,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC;YAC3B,IAAI,MAAM,IAAI,IAAI,CAAC,GAAG;gBAAE,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAA;iBACtC,CAAC;gBACJ,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;gBACzC,IAAI,SAAS,KAAK,KAAK,EAAE,CAAC;oBACxB,IAAI,QAAQ,KAAK,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;wBAChC,MAAM,SAAS,CAAC,uCAAuC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;oBAC3E,CAAC;oBACD,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAA;gBACvB,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,IAA2B,CAAA;QAC/B,IAAI,SAAS,KAAK,IAAI,CAAC,SAAS,EAAE,CAAC;YACjC,IAAI,IAAI,CAAC,KAAK;gBAAE,IAAI,CAAC,KAAK,GAAG,KAAK,CAAA;iBAC7B,CAAC;gBACJ,IAAI,CAAC,IAAI,EAAE,CAAA;gBACX,IAAI,GAAG,QAAQ,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,WAAE,CAAC,WAAW,CAAC,CAAC,CAAC,WAAE,CAAC,UAAU,CAAA;YACrE,CAAC;QACH,CAAC;aAAM,IAAI,SAAS,KAAK,IAAI,CAAC,MAAM,IAAI,OAAO,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;YAChE,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;YAC5C,IAAI,SAAS,KAAK,KAAK;gBAAE,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;QACnD,CAAC;QACD,IAAI,SAAS,KAAK,GAAG,IAAI,MAAM,KAAK,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,WAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAAE,OAAO,MAAM,CAAA;QAC/E,OAAO,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;IAChE,CAAC;IAEO,SAAS,CAAC,IAAc;QAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC3C,IAAI,SAAS,KAAK,IAAI;YAAE,OAAO,UAAU,CAAA;QACzC,IAAI,SAAS,KAAK,IAAI,CAAC,SAAS,EAAE,CAAC;YACjC,IAAI,OAAO,KAAK,IAAI,CAAC,MAAM,IAAI,SAAS,KAAK,IAAI,CAAC,KAAK;gBAAE,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAA;YACnG,OAAO,UAAU,CAAA;QACnB,CAAC;QACD,IAAI,SAAS,KAAK,IAAI,CAAC,GAAG,IAAI,IAAA,wBAAe,EAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACrE,IAAI,CAAC,KAAK,GAAG,IAAI,CAAA;YACjB,OAAO,UAAU,CAAA;QACnB,CAAC;QACD,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI;YAAE,MAAM,SAAS,CAAC,2DAA2D,CAAC,CAAA;QACjG,IAAI,CAAC,IAAI,EAAE,CAAA;QACX,IAAI,CAAC,KAAK,GAAG,KAAK,CAAA;QAClB,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,WAAE,CAAC,SAAS,CAAC,CAAC,CAAC,WAAE,CAAC,QAAQ,CAAC,CAAA;IAClF,CAAC;CACF;;AAED,8DAA8D;AAC9D,SAAS,MAAM,CAAC,KAAY;IAC1B,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,MAAM;YACT,OAAO,WAAE,CAAC,IAAI,CAAA;QAChB,KAAK,MAAM;YACT,OAAO,WAAE,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;QAC7B,KAAK,QAAQ;YACX,OAAO,WAAE,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAA;QAC7C,KAAK,QAAQ;YACX,OAAO,WAAE,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;QAC/B;YACE,MAAM,SAAS,CAAC,wEAAwE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;IAC1G,CAAC;AACH,CAAC;AAED,2CAA2C;AAC3C,SAAS,IAAI,CAAC,KAAY;IACxB,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,MAAM;YACT,OAAO,MAAM,CAAA;QACf,KAAK,MAAM;YACT,OAAO,WAAW,CAAA;QACpB,KAAK,QAAQ;YACX,OAAO,UAAU,CAAA;QACnB,KAAK,QAAQ;YACX,OAAO,UAAU,CAAA;QACnB,KAAK,OAAO;YACV,OAAO,UAAU,CAAA;QACnB,KAAK,QAAQ;YACX,OAAO,UAAU,CAAA;IACrB,CAAC;AACH,CAAC;AAED,uEAAuE;AACvE,SAAS;AACT,SAAS,SAAS,CAAC,OAAe;IAChC,OAAO,IAAI,aAAI,CAAC,gBAAgB,EAAE,kBAAkB,OAAO,EAAE,CAAC,CAAA;AAChE,CAAC"}
+{"version":3,"file":"transduce-tree.js","sourceRoot":"","sources":["../src/transduce-tree.ts"],"names":[],"mappings":";AAAA,4CAA4C;;;AAE5C,yEAAyE;AACzE,0EAA0E;AAC1E,iEAAiE;AACjE,EAAE;AACF,wEAAwE;AACxE,4EAA4E;AAC5E,0EAA0E;AAC1E,uEAAuE;AACvE,yEAAyE;AACzE,kEAAkE;AAClE,oEAAoE;AACpE,0EAA0E;AAC1E,yEAAyE;AACzE,yEAAyE;AACzE,wEAAwE;AACxE,uEAAuE;AACvE,oEAAoE;AACpE,sEAAsE;AACtE,mCAAmC;AACnC,EAAE;AACF,wEAAwE;AACxE,wEAAwE;AACxE,0EAA0E;AAC1E,6DAA6D;AAC7D,qEAAqE;AACrE,uEAAuE;AACvE,oBAAoB;AACpB,EAAE;AACF,yEAAyE;AACzE,2EAA2E;AAC3E,uEAAuE;AACvE,qEAAqE;AACrE,2EAA2E;AAC3E,UAAU;AAEV,mDAAqG;AAGrG,+DAA+D;AAC/D;IAUE,YACW,IAAc,EACd,IAAU;QADV,SAAI,GAAJ,IAAI,CAAU;QACd,SAAI,GAAJ,IAAI,CAAM;QAXrB,mBAAmB;QACnB,SAAI,GAAG,CAAC,CAAA;QACR,4DAA4D;QAC5D,UAAK,GAAG,KAAK,CAAA;QACb,wEAAwE;QACxE,yDAAyD;QAChD,UAAK,GAAa,EAAE,CAAA;QACpB,UAAK,GAAa,EAAE,CAAA;IAK1B,CAAC;IAEJ,KAAK,CAAC,EAAe;QACnB,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;YAChB,KAAK,MAAM;gBACT,OAAO,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,CAAA;YAC/B,KAAK,OAAO;gBACV,OAAO,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,CAAA;YAChC,KAAK,KAAK;gBACR,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;oBAClB,MAAM,IAAI,aAAI,CAAC,sBAAsB,EAAE,mEAAmE,CAAC,CAAA;gBAC7G,CAAC;gBACD,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,WAAE,CAAC,GAAG,CAAC,CAAA;QAClC,CAAC;IACH,CAAC;IAED,kCAAkC;IAClC,IAAY,GAAG;QACb,OAAO,IAAI,CAAC,IAAI,CAAC,YAAY,IAAI,QAAQ,CAAA;IAC3C,CAAC;IAED,0EAA0E;IAC1E,yEAAyE;IACzE,wEAAwE;IACxE,aAAa;IACL,KAAK,CAAC,IAAc;QAC1B,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,KAAK,IAAI,CAAC,MAAM,CAAC,MAAM;YAAE,OAAM;QAC/D,IAAI,IAAI,GAAG,EAAE,CAAA;QACb,IAAI,CAAC,GAAG,CAAC,CAAA;QACT,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAChC,IAAI,IAAI,KAAK,CAAC,GAAG,CAAA;YACjB,CAAC,IAAI,IAAA,kBAAS,EAAC,KAAK,CAAC,GAAG,CAAC,CAAA;QAC3B,CAAC;QACD,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG;YAAE,MAAM,IAAA,wBAAe,EAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAA;QACpD,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;IACrB,CAAC;IAED,0EAA0E;IAC1E,oEAAoE;IAC5D,KAAK,CAAC,IAAY,EAAE,CAAS;QACnC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAA;QAClC,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QAChC,IAAI,GAAG,GAAG,IAAI,CAAC,GAAG;YAAE,MAAM,IAAA,wBAAe,EAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAA;QACxD,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,IAAI,CAAA;QACxB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,CAAA;IACxB,CAAC;IAEO,QAAQ,CAAC,IAAc;QAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC3C,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;YACvB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;YAChB,OAAO,UAAU,CAAA;QACnB,CAAC;QACD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;QACjC,IAAI,IAA2B,CAAA;QAC/B,IAAI,MAAM,GAAG,KAAK,CAAA;QAClB,IAAI,SAAS,KAAK,IAAI,CAAC,SAAS,EAAE,CAAC;YACjC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;gBAChB,MAAM,GAAG,IAAI,CAAA;gBACb,IAAI,GAAG,QAAQ,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,WAAE,CAAC,WAAW,CAAC,CAAC,CAAC,WAAE,CAAC,UAAU,CAAA;YACrE,CAAC;QACH,CAAC;aAAM,IAAI,SAAS,KAAK,IAAI,CAAC,MAAM,IAAI,OAAO,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;YAChE,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;YAC5C,IAAI,SAAS,KAAK,KAAK;gBAAE,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;QACnD,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;QAChB,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;QACvC,IAAI,SAAS,KAAK,IAAI,CAAC,SAAS,EAAE,CAAC;YACjC,IAAI,MAAM;gBAAE,IAAI,CAAC,IAAI,EAAE,CAAA;;gBAClB,IAAI,CAAC,KAAK,GAAG,KAAK,CAAA;QACzB,CAAC;QACD,IAAI,IAAI,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC;YACvB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;YACnB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QACpB,CAAC;QACD,KAAK,MAAM,EAAE,IAAI;YACf,SAAS,KAAK,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAE,CAAC,GAAG,CAAC,GAAG,CAAC;YAC3C,IAAI;YACJ,SAAS,KAAK,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAE,CAAC,GAAG,CAAC,MAAM,CAAC;SAClD,EAAE,CAAC;YACF,IAAI,SAAS,KAAK,EAAE,IAAI,MAAM,KAAK,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBAAE,OAAO,MAAM,CAAA;QACvE,CAAC;QACD,OAAO,UAAU,CAAA;IACnB,CAAC;IAEO,SAAS,CAAC,IAAc;QAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC3C,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;YACvB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;YAChB,OAAO,UAAU,CAAA;QACnB,CAAC;QACD,kEAAkE;QAClE,kEAAkE;QAClE,wDAAwD;QACxD,IAAI,IAAwB,CAAA;QAC5B,IAAI,IAAI,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC;YACvB,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,CAAA;YACvB,IAAI,SAAS,KAAK,IAAI;gBAAE,MAAM,SAAS,CAAC,iDAAiD,CAAC,CAAA;YAC1F,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,EAAY,CAAA;YACpC,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM;gBAAE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;QAChD,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;QAChB,IAAI,IAA2B,CAAA;QAC/B,IAAI,SAAS,KAAK,IAAI,CAAC,SAAS,EAAE,CAAC;YACjC,IAAI,OAAO,KAAK,IAAI,CAAC,MAAM,IAAI,SAAS,KAAK,IAAI,CAAC,KAAK;gBAAE,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACpF,CAAC;aAAM,IAAI,SAAS,KAAK,IAAI,CAAC,GAAG,IAAI,IAAA,wBAAe,EAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5E,IAAI,CAAC,KAAK,GAAG,IAAI,CAAA;QACnB,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI;gBAAE,MAAM,SAAS,CAAC,2DAA2D,CAAC,CAAA;YACjG,IAAI,CAAC,IAAI,EAAE,CAAA;YACX,IAAI,CAAC,KAAK,GAAG,KAAK,CAAA;YAClB,IAAI,GAAG,QAAQ,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,WAAE,CAAC,SAAS,CAAC,CAAC,CAAC,WAAE,CAAC,QAAQ,CAAA;QACjE,CAAC;QACD,IAAI,SAAS,KAAK,IAAI,IAAI,MAAM,KAAK,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,WAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAAE,OAAO,MAAM,CAAA;QACpF,OAAO,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;IAChE,CAAC;CACF;;AAED,0EAA0E;AAC1E,yEAAyE;AACzE,2EAA2E;AAC3E,UAAU;AACV,SAAS,KAAK,CAAC,KAA0B,EAAE,IAAc;IACvD,IAAI,SAAS,KAAK,KAAK;QAAE,OAAO,SAAS,CAAA;IACzC,IAAI,MAAM,IAAI,KAAK;QAAE,OAAO,KAAK,CAAC,IAAI,CAAA;IACtC,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;IACtC,IAAI,SAAS,KAAK,KAAK;QAAE,OAAO,SAAS,CAAA;IACzC,IAAI,QAAQ,KAAK,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;QAChC,MAAM,SAAS,CAAC,uCAAuC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IAC3E,CAAC;IACD,OAAO,KAAK,CAAC,GAAG,CAAC,KAAK,CAAA;AACxB,CAAC;AAED,8DAA8D;AAC9D,SAAS,MAAM,CAAC,KAAY;IAC1B,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,MAAM;YACT,OAAO,WAAE,CAAC,IAAI,CAAA;QAChB,KAAK,MAAM;YACT,OAAO,WAAE,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;QAC7B,KAAK,QAAQ;YACX,OAAO,WAAE,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAA;QAC7C,KAAK,QAAQ;YACX,OAAO,WAAE,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;QAC/B;YACE,MAAM,SAAS,CAAC,wEAAwE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;IAC1G,CAAC;AACH,CAAC;AAED,2CAA2C;AAC3C,SAAS,IAAI,CAAC,KAAY;IACxB,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,MAAM;YACT,OAAO,MAAM,CAAA;QACf,KAAK,MAAM;YACT,OAAO,WAAW,CAAA;QACpB,KAAK,QAAQ;YACX,OAAO,UAAU,CAAA;QACnB,KAAK,QAAQ;YACX,OAAO,UAAU,CAAA;QACnB,KAAK,OAAO;YACV,OAAO,UAAU,CAAA;QACnB,KAAK,QAAQ;YACX,OAAO,UAAU,CAAA;IACrB,CAAC;AACH,CAAC;AAED,uEAAuE;AACvE,SAAS;AACT,SAAS,SAAS,CAAC,OAAe;IAChC,OAAO,IAAI,aAAI,CAAC,gBAAgB,EAAE,kBAAkB,OAAO,EAAE,CAAC,CAAA;AAChE,CAAC"}

package/dist/transduce.d.ts

@@ -1,4 +1,4 @@
-export declare const VERSION = "0.2.9";
+export declare const VERSION = "0.2.10";
 export { Datum, DatumBuilder, byteSize, fromJSON, fromTabnas, getPath, takePath, toJSON, toText, walkDatum, } from '@tabnas/alchemy/shared';
 export type { Duplicates } from '@tabnas/alchemy/shared';
 export { Code, Fail, isFail } from '@tabnas/alchemy/shared';
@@ -25,7 +25,7 @@ export { Guarded } from './guard';
 export { ParserSource } from './parser-source';
 export { ParserEventSource } from './parser-event-source';
 export { TransduceTree } from './transduce-tree';
-export { isTreeContainer, parserEventFromJSON, parserEventToJSON } from '@tabnas/alchemy/shared';
+export { isTreeContainer, parserEventFromJSON, parserEventToJSON, treeTextRefusal } from '@tabnas/alchemy/shared';
 export type { ParserEvent, ParserSink, PassAlt, PassToken, RulePass, TreeContainer, TreeKey, TreeRule, TreeScalar, TreeSpec, } from '@tabnas/alchemy/shared';
 export { DEFAULT_CHUNK_BYTES, LineFormat, LinesSource } from './lines';
 export type { LinesChunk, LinesInput, LinesWriter } from './lines';

package/dist/transduce.js

@@ -2,7 +2,7 @@
 /* Copyright (c) 2026 tabnas, MIT License */
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.engineFailure = exports.ValueSource = exports.SourceMode = exports.Prune = exports.replay = exports.TreeContract = exports.FnSink = exports.EventRecorder = exports.CountSink = exports.pathText = exports.keyText = exports.Selector = exports.Path = exports.Transition = exports.ScanEmit = exports.CaptureSpec = exports.SelectedRecorder = exports.Router = exports.FnRoute = exports.Matcher = exports.utf8Bytes = exports.NODE_BYTES = exports.Metrics = exports.Limits = exports.LIMIT_NAMES = exports.AbortFlag = exports.numberText = exports.jsonString = exports.jsonNumber = exports.isJsonNumber = exports.isStart = exports.isScalar = exports.isEnd = exports.eventText = exports.eventEquals = exports.Ev = exports.isFail = exports.Fail = exports.Code = exports.walkDatum = exports.toText = exports.toJSON = exports.takePath = exports.getPath = exports.fromTabnas = exports.fromJSON = exports.byteSize = exports.DatumBuilder = exports.Datum = exports.VERSION = void 0;
-exports.routers = exports.TableFromJson = exports.columnFromMeta = exports.boundColumn = exports.Table = exports.Schema = exports.Cell = exports.isIncremental = exports.capability = exports.INCREMENTAL = exports.LinesSource = exports.LineFormat = exports.DEFAULT_CHUNK_BYTES = exports.parserEventToJSON = exports.parserEventFromJSON = exports.isTreeContainer = exports.TransduceTree = exports.ParserEventSource = exports.ParserSource = exports.Guarded = exports.walkValue = void 0;
+exports.routers = exports.TableFromJson = exports.columnFromMeta = exports.boundColumn = exports.Table = exports.Schema = exports.Cell = exports.isIncremental = exports.capability = exports.INCREMENTAL = exports.LinesSource = exports.LineFormat = exports.DEFAULT_CHUNK_BYTES = exports.treeTextRefusal = exports.parserEventToJSON = exports.parserEventFromJSON = exports.isTreeContainer = exports.TransduceTree = exports.ParserEventSource = exports.ParserSource = exports.Guarded = exports.walkValue = void 0;
 // Streaming transducers over any tabnas parser.
 //
 // A transducer decides what a source contributes to an output model; a
@@ -34,7 +34,7 @@ exports.routers = exports.TableFromJson = exports.columnFromMeta = exports.bound
 // under the names it always exported them by. `routers` is this package's
 // stages as alchemy's `Routers`, for a host to pass to alchemy's `compile`.
 // This package's version, as package.json declares it.
-exports.VERSION = '0.2.9';
+exports.VERSION = '0.2.10';
 var shared_1 = require("@tabnas/alchemy/shared");
 Object.defineProperty(exports, "Datum", { enumerable: true, get: function () { return shared_1.Datum; } });
 Object.defineProperty(exports, "DatumBuilder", { enumerable: true, get: function () { return shared_1.DatumBuilder; } });
@@ -110,6 +110,7 @@ var shared_10 = require("@tabnas/alchemy/shared");
 Object.defineProperty(exports, "isTreeContainer", { enumerable: true, get: function () { return shared_10.isTreeContainer; } });
 Object.defineProperty(exports, "parserEventFromJSON", { enumerable: true, get: function () { return shared_10.parserEventFromJSON; } });
 Object.defineProperty(exports, "parserEventToJSON", { enumerable: true, get: function () { return shared_10.parserEventToJSON; } });
+Object.defineProperty(exports, "treeTextRefusal", { enumerable: true, get: function () { return shared_10.treeTextRefusal; } });
 var lines_1 = require("./lines");
 Object.defineProperty(exports, "DEFAULT_CHUNK_BYTES", { enumerable: true, get: function () { return lines_1.DEFAULT_CHUNK_BYTES; } });
 Object.defineProperty(exports, "LineFormat", { enumerable: true, get: function () { return lines_1.LineFormat; } });

package/dist/transduce.js.map

@@ -1 +1 @@
-{"version":3,"file":"transduce.js","sourceRoot":"","sources":["../src/transduce.ts"],"names":[],"mappings":";AAAA,4CAA4C;;;;AAE5C,gDAAgD;AAChD,EAAE;AACF,uEAAuE;AACvE,oEAAoE;AACpE,mBAAmB;AACnB,EAAE;AACF,2EAA2E;AAC3E,YAAY;AACZ,0EAA0E;AAC1E,wEAAwE;AACxE,4EAA4E;AAC5E,qDAAqD;AACrD,wEAAwE;AACxE,YAAY;AACZ,0EAA0E;AAC1E,yDAAyD;AACzD,qEAAqE;AACrE,qCAAqC;AACrC,0EAA0E;AAC1E,mBAAmB;AACnB,EAAE;AACF,uEAAuE;AACvE,yEAAyE;AACzE,gEAAgE;AAChE,EAAE;AACF,wEAAwE;AACxE,6DAA6D;AAC7D,wEAAwE;AACxE,0EAA0E;AAC1E,4EAA4E;AAE5E,uDAAuD;AAC1C,QAAA,OAAO,GAAG,OAAO,CAAA;AAE9B,iDAW+B;AAV7B,+FAAA,KAAK,OAAA;AACL,sGAAA,YAAY,OAAA;AACZ,kGAAA,QAAQ,OAAA;AACR,kGAAA,QAAQ,OAAA;AACR,oGAAA,UAAU,OAAA;AACV,iGAAA,OAAO,OAAA;AACP,kGAAA,QAAQ,OAAA;AACR,gGAAA,MAAM,OAAA;AACN,gGAAA,MAAM,OAAA;AACN,mGAAA,SAAS,OAAA;AAGX,iDAA2D;AAAlD,8FAAA,IAAI,OAAA;AAAE,8FAAA,IAAI,OAAA;AAAE,gGAAA,MAAM,OAAA;AAE3B,iDAA6F;AAApF,4FAAA,EAAE,OAAA;AAAE,qGAAA,WAAW,OAAA;AAAE,mGAAA,SAAS,OAAA;AAAE,+FAAA,KAAK,OAAA;AAAE,kGAAA,QAAQ,OAAA;AAAE,iGAAA,OAAO,OAAA;AAE7D,iDAAyF;AAAhF,sGAAA,YAAY,OAAA;AAAE,oGAAA,UAAU,OAAA;AAAE,oGAAA,UAAU,OAAA;AAAE,oGAAA,UAAU,OAAA;AACzD,iDAO+B;AAN7B,mGAAA,SAAS,OAAA;AACT,qGAAA,WAAW,OAAA;AACX,gGAAA,MAAM,OAAA;AACN,iGAAA,OAAO,OAAA;AACP,oGAAA,UAAU,OAAA;AACV,mGAAA,SAAS,OAAA;AAEX,qCAAmC;AAA1B,kGAAA,OAAO,OAAA;AAGhB,iCAA2D;AAAlD,gGAAA,OAAO,OAAA;AAAE,+FAAA,MAAM,OAAA;AAAE,yGAAA,gBAAgB,OAAA;AAC1C,iDAAoD;AAA3C,qGAAA,WAAW,OAAA;AAEpB,+BAAiC;AAAxB,gGAAA,QAAQ,OAAA;AACjB,iDAAmD;AAA1C,oGAAA,UAAU,OAAA;AACnB,iDAA0E;AAAjE,8FAAA,IAAI,OAAA;AAAE,kGAAA,QAAQ,OAAA;AAAE,iGAAA,OAAO,OAAA;AAAE,kGAAA,QAAQ,OAAA;AAE1C,iDAA+F;AAAtF,mGAAA,SAAS,OAAA;AAAE,uGAAA,aAAa,OAAA;AAAE,gGAAA,MAAM,OAAA;AAAE,sGAAA,YAAY,OAAA;AAAE,gGAAA,MAAM,OAAA;AAE/D,mCAAmF;AAA1E,+FAAA,KAAK,OAAA;AAAE,oGAAA,UAAU,OAAA;AAAE,qGAAA,WAAW,OAAA;AAAE,uGAAA,aAAa,OAAA;AAAE,mGAAA,SAAS,OAAA;AAEjE,iCAAiC;AAAxB,gGAAA,OAAO,OAAA;AAChB,iDAA8C;AAArC,6GAAA,YAAY,OAAA;AACrB,6DAAyD;AAAhD,wHAAA,iBAAiB,OAAA;AAC1B,mDAAgD;AAAvC,+GAAA,aAAa,OAAA;AACtB,kDAAgG;AAAvF,0GAAA,eAAe,OAAA;AAAE,8GAAA,mBAAmB,OAAA;AAAE,4GAAA,iBAAiB,OAAA;AAahE,iCAAsE;AAA7D,4GAAA,mBAAmB,OAAA;AAAE,mGAAA,UAAU,OAAA;AAAE,oGAAA,WAAW,OAAA;AAErD,2CAAqE;AAA5D,yGAAA,WAAW,OAAA;AAAE,wGAAA,UAAU,OAAA;AAAE,2GAAA,aAAa,OAAA;AAC/C,kDAAyF;AAAhF,+FAAA,IAAI,OAAA;AAAE,iGAAA,MAAM,OAAA;AAAE,gGAAA,KAAK,OAAA;AAAE,sGAAA,WAAW,OAAA;AAAE,yGAAA,cAAc,OAAA;AAUzD,qDAAiD;AAAxC,gHAAA,aAAa,OAAA;AACtB,qCAAmC;AAA1B,kGAAA,OAAO,OAAA"}
+{"version":3,"file":"transduce.js","sourceRoot":"","sources":["../src/transduce.ts"],"names":[],"mappings":";AAAA,4CAA4C;;;;AAE5C,gDAAgD;AAChD,EAAE;AACF,uEAAuE;AACvE,oEAAoE;AACpE,mBAAmB;AACnB,EAAE;AACF,2EAA2E;AAC3E,YAAY;AACZ,0EAA0E;AAC1E,wEAAwE;AACxE,4EAA4E;AAC5E,qDAAqD;AACrD,wEAAwE;AACxE,YAAY;AACZ,0EAA0E;AAC1E,yDAAyD;AACzD,qEAAqE;AACrE,qCAAqC;AACrC,0EAA0E;AAC1E,mBAAmB;AACnB,EAAE;AACF,uEAAuE;AACvE,yEAAyE;AACzE,gEAAgE;AAChE,EAAE;AACF,wEAAwE;AACxE,6DAA6D;AAC7D,wEAAwE;AACxE,0EAA0E;AAC1E,4EAA4E;AAE5E,uDAAuD;AAC1C,QAAA,OAAO,GAAG,QAAQ,CAAA;AAE/B,iDAW+B;AAV7B,+FAAA,KAAK,OAAA;AACL,sGAAA,YAAY,OAAA;AACZ,kGAAA,QAAQ,OAAA;AACR,kGAAA,QAAQ,OAAA;AACR,oGAAA,UAAU,OAAA;AACV,iGAAA,OAAO,OAAA;AACP,kGAAA,QAAQ,OAAA;AACR,gGAAA,MAAM,OAAA;AACN,gGAAA,MAAM,OAAA;AACN,mGAAA,SAAS,OAAA;AAGX,iDAA2D;AAAlD,8FAAA,IAAI,OAAA;AAAE,8FAAA,IAAI,OAAA;AAAE,gGAAA,MAAM,OAAA;AAE3B,iDAA6F;AAApF,4FAAA,EAAE,OAAA;AAAE,qGAAA,WAAW,OAAA;AAAE,mGAAA,SAAS,OAAA;AAAE,+FAAA,KAAK,OAAA;AAAE,kGAAA,QAAQ,OAAA;AAAE,iGAAA,OAAO,OAAA;AAE7D,iDAAyF;AAAhF,sGAAA,YAAY,OAAA;AAAE,oGAAA,UAAU,OAAA;AAAE,oGAAA,UAAU,OAAA;AAAE,oGAAA,UAAU,OAAA;AACzD,iDAO+B;AAN7B,mGAAA,SAAS,OAAA;AACT,qGAAA,WAAW,OAAA;AACX,gGAAA,MAAM,OAAA;AACN,iGAAA,OAAO,OAAA;AACP,oGAAA,UAAU,OAAA;AACV,mGAAA,SAAS,OAAA;AAEX,qCAAmC;AAA1B,kGAAA,OAAO,OAAA;AAGhB,iCAA2D;AAAlD,gGAAA,OAAO,OAAA;AAAE,+FAAA,MAAM,OAAA;AAAE,yGAAA,gBAAgB,OAAA;AAC1C,iDAAoD;AAA3C,qGAAA,WAAW,OAAA;AAEpB,+BAAiC;AAAxB,gGAAA,QAAQ,OAAA;AACjB,iDAAmD;AAA1C,oGAAA,UAAU,OAAA;AACnB,iDAA0E;AAAjE,8FAAA,IAAI,OAAA;AAAE,kGAAA,QAAQ,OAAA;AAAE,iGAAA,OAAO,OAAA;AAAE,kGAAA,QAAQ,OAAA;AAE1C,iDAA+F;AAAtF,mGAAA,SAAS,OAAA;AAAE,uGAAA,aAAa,OAAA;AAAE,gGAAA,MAAM,OAAA;AAAE,sGAAA,YAAY,OAAA;AAAE,gGAAA,MAAM,OAAA;AAE/D,mCAAmF;AAA1E,+FAAA,KAAK,OAAA;AAAE,oGAAA,UAAU,OAAA;AAAE,qGAAA,WAAW,OAAA;AAAE,uGAAA,aAAa,OAAA;AAAE,mGAAA,SAAS,OAAA;AAEjE,iCAAiC;AAAxB,gGAAA,OAAO,OAAA;AAChB,iDAA8C;AAArC,6GAAA,YAAY,OAAA;AACrB,6DAAyD;AAAhD,wHAAA,iBAAiB,OAAA;AAC1B,mDAAgD;AAAvC,+GAAA,aAAa,OAAA;AACtB,kDAAiH;AAAxG,0GAAA,eAAe,OAAA;AAAE,8GAAA,mBAAmB,OAAA;AAAE,4GAAA,iBAAiB,OAAA;AAAE,0GAAA,eAAe,OAAA;AAajF,iCAAsE;AAA7D,4GAAA,mBAAmB,OAAA;AAAE,mGAAA,UAAU,OAAA;AAAE,oGAAA,WAAW,OAAA;AAErD,2CAAqE;AAA5D,yGAAA,WAAW,OAAA;AAAE,wGAAA,UAAU,OAAA;AAAE,2GAAA,aAAa,OAAA;AAC/C,kDAAyF;AAAhF,+FAAA,IAAI,OAAA;AAAE,iGAAA,MAAM,OAAA;AAAE,gGAAA,KAAK,OAAA;AAAE,sGAAA,WAAW,OAAA;AAAE,yGAAA,cAAc,OAAA;AAUzD,qDAAiD;AAAxC,gHAAA,aAAa,OAAA;AACtB,qCAAmC;AAA1B,kGAAA,OAAO,OAAA"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@tabnas/transduce",
-  "version": "0.2.9",
+  "version": "0.2.10",
   "main": "dist/transduce.js",
   "type": "commonjs",
   "types": "dist/transduce.d.ts",

package/src/routers.ts

@@ -69,4 +69,10 @@ export const routers: Routers = Object.freeze({
   transduceTree(spec: TreeSpec, downstream: Sink): ParserSink {
     return new TransduceTree(spec, downstream)
   },
+
+  // TransduceTree reads a spec's `:member` and `:text`, and holds a text to
+  // the spec's `maxTextBytes` as it grows.
+  transduceTreeReadsMemberAndText(): boolean {
+    return true
+  },
 })

package/src/transduce-tree.ts

@@ -8,21 +8,35 @@
 // alchemy's `TreeSpec` documents what a native must do: each pass is looked
 // up by its rule's name, one lookup per pass whatever the spec's size; an
 // open pass announces its key, then begins its container or yields its
-// scalar from one of its tokens; a close pass ends its container, or
-// yields its own value; and a container whose rule is replaced by a rule
-// the spec names a container is one container, so that close ends nothing
-// and the replacing open begins nothing. The state is the count of open
-// containers and whether a close handed its container on, so the native
-// retains the document's nesting and nothing of its width or length, as
-// the library's step does. alchemy-cli's differential test holds the two
-// to the same bytes.
+// scalar from one of its tokens, then announces its member; a close pass
+// yields its text, when its rule is a `:text` rule, then ends its
+// container, or yields its own value; and a container whose rule is
+// replaced by a rule the spec names a container is one container, so that
+// close ends nothing and the replacing open begins nothing. The state is
+// the count of open containers, whether a close handed its container on,
+// and the text each open `:text` rule has gathered, to which every pass
+// writes its tokens' source text, so the native retains the document's
+// nesting and an open rule's text, and nothing else of its width or
+// length, as the library's step does. alchemy-cli's differential test
+// holds the two to the same bytes.
+//
+// A text is held to the spec's `maxTextBytes` as it grows, at the joins
+// the library's `string-join` makes and in their order: a pass's tokens
+// together, then the innermost text with them, and a closed text with the
+// text around it, each refused past the bound with alchemy's
+// `treeTextRefusal`. The routers say this native reads `:member` and
+// `:text` (routers.ts), which is what lets the lowering hand it a spec
+// that uses either.
 //
 // A pass's events are worked out before the first of them is written, as
 // the library's step returns them together: a pass that fails writes none.
-// The failures are the library's, with its codes and texts.
+// The failures are the library's, with its codes and texts, and in its
+// order: an open pass's key, then what it begins or yields, then its
+// tokens' text, then its member; a close pass's text, then what it ends or
+// yields.
 
-import { Datum, Ev, Fail, isTreeContainer } from '@tabnas/alchemy/shared'
-import type { Flow, JsonEvent, ParserEvent, ParserSink, RulePass, Sink, TreeSpec } from '@tabnas/alchemy/shared'
+import { Datum, Ev, Fail, isTreeContainer, treeTextRefusal, utf8Bytes } from '@tabnas/alchemy/shared'
+import type { Flow, JsonEvent, ParserEvent, ParserSink, RulePass, Sink, TreeKey, TreeSpec } from '@tabnas/alchemy/shared'
 
 // The library's `transduce-tree`, natively, writing to `down`.
 export class TransduceTree implements ParserSink {
@@ -30,6 +44,10 @@ export class TransduceTree implements ParserSink {
   open = 0
   // A close handed its container on to the rule replacing it.
   carry = false
+  // The text each open `:text` rule has gathered, the innermost last, and
+  // its length in UTF-8 bytes, which the bound is held to.
+  readonly texts: string[] = []
+  readonly bytes: number[] = []
 
   constructor(
     readonly spec: TreeSpec,
@@ -50,53 +68,121 @@ export class TransduceTree implements ParserSink {
     }
   }
 
+  // The most bytes a text may hold.
+  private get max(): number {
+    return this.spec.maxTextBytes ?? Infinity
+  }
+
+  // The pass's tokens written to the innermost open text, if one is and the
+  // pass consumed any, as the library's `transduce-spell` writes them: the
+  // tokens' text joined, then written to the innermost, each join held to
+  // the bound.
+  private spell(pass: RulePass): void {
+    if (0 === this.texts.length || 0 === pass.tokens.length) return
+    let more = ''
+    let n = 0
+    for (const token of pass.tokens) {
+      more += token.src
+      n += utf8Bytes(token.src)
+    }
+    if (n > this.max) throw treeTextRefusal(n, this.max)
+    this.write(more, n)
+  }
+
+  // `more`, of `n` bytes, written at the end of the innermost open text, as
+  // the library's `transduce-write` joins the two, held to the bound.
+  private write(more: string, n: number): void {
+    const last = this.texts.length - 1
+    const len = this.bytes[last] + n
+    if (len > this.max) throw treeTextRefusal(len, this.max)
+    this.texts[last] += more
+    this.bytes[last] = len
+  }
+
   private openPass(pass: RulePass): Flow {
     const rule = this.spec.rules.get(pass.name)
-    if (undefined === rule) return 'continue'
-    let key: string | undefined
-    if (undefined !== rule.key) {
-      if ('name' in rule.key) key = rule.key.name
-      else {
-        const token = pass.tokens[rule.key.token]
-        if (undefined !== token) {
-          if ('string' !== token.val.type) {
-            throw typeError(`key: the name must be a string, not ${kind(token.val)}`)
-          }
-          key = token.val.value
-        }
-      }
+    if (undefined === rule) {
+      this.spell(pass)
+      return 'continue'
     }
+    const key = named(rule.key, pass)
     let then: JsonEvent | undefined
+    let begins = false
     if (undefined !== rule.container) {
-      if (this.carry) this.carry = false
-      else {
-        this.open++
+      if (!this.carry) {
+        begins = true
         then = 'object' === rule.container ? Ev.objectStart : Ev.arrayStart
       }
     } else if (undefined !== rule.scalar && 'value' !== rule.scalar) {
       const token = pass.tokens[rule.scalar.token]
       if (undefined !== token) then = scalar(token.val)
     }
-    if (undefined !== key && 'stop' === this.down.event(Ev.key(key))) return 'stop'
-    return undefined === then ? 'continue' : this.down.event(then)
+    this.spell(pass)
+    const member = named(rule.member, pass)
+    if (undefined !== rule.container) {
+      if (begins) this.open++
+      else this.carry = false
+    }
+    if (true === rule.text) {
+      this.texts.push('')
+      this.bytes.push(0)
+    }
+    for (const ev of [
+      undefined === key ? undefined : Ev.key(key),
+      then,
+      undefined === member ? undefined : Ev.key(member),
+    ]) {
+      if (undefined !== ev && 'stop' === this.down.event(ev)) return 'stop'
+    }
+    return 'continue'
   }
 
   private closePass(pass: RulePass): Flow {
     const rule = this.spec.rules.get(pass.name)
-    if (undefined === rule) return 'continue'
-    if (undefined === rule.container) {
-      if ('value' === rule.scalar && undefined !== pass.value) return this.down.event(scalar(pass.value))
+    if (undefined === rule) {
+      this.spell(pass)
       return 'continue'
     }
-    if (undefined !== pass.alt && isTreeContainer(this.spec, pass.alt.r)) {
+    // A `:text` rule's text closes first, and joins the one around it
+    // before this pass's own tokens do; it is yielded before anything
+    // else, once the rest of the pass is known not to fail.
+    let text: string | undefined
+    if (true === rule.text) {
+      text = this.texts.pop()
+      if (undefined === text) throw typeError('top: the vector is empty; there is no last item')
+      const n = this.bytes.pop() as number
+      if (0 < this.texts.length) this.write(text, n)
+    }
+    this.spell(pass)
+    let then: JsonEvent | undefined
+    if (undefined === rule.container) {
+      if ('value' === rule.scalar && undefined !== pass.value) then = scalar(pass.value)
+    } else if (undefined !== pass.alt && isTreeContainer(this.spec, pass.alt.r)) {
       this.carry = true
-      return 'continue'
+    } else {
+      if (0 === this.open) throw typeError('pop: the vector is empty; there is no last item to remove')
+      this.open--
+      this.carry = false
+      then = 'object' === rule.container ? Ev.objectEnd : Ev.arrayEnd
     }
-    if (0 === this.open) throw typeError('pop: the vector is empty; there is no last item to remove')
-    this.open--
-    this.carry = false
-    return this.down.event('object' === rule.container ? Ev.objectEnd : Ev.arrayEnd)
+    if (undefined !== text && 'stop' === this.down.event(Ev.string(text))) return 'stop'
+    return undefined === then ? 'continue' : this.down.event(then)
+  }
+}
+
+// The member name a field of a rule's entry names for a pass: the string,
+// or the `:val` of the pass's token at that index, nothing when the pass
+// consumed no such token; the library's `key` refuses a name that is not a
+// string.
+function named(field: TreeKey | undefined, pass: RulePass): string | undefined {
+  if (undefined === field) return undefined
+  if ('name' in field) return field.name
+  const token = pass.tokens[field.token]
+  if (undefined === token) return undefined
+  if ('string' !== token.val.type) {
+    throw typeError(`key: the name must be a string, not ${kind(token.val)}`)
   }
+  return token.val.value
 }
 
 // A value as the library's `scalar` takes it, or its refusal.

package/src/transduce.ts

@@ -32,7 +32,7 @@
 // stages as alchemy's `Routers`, for a host to pass to alchemy's `compile`.
 
 // This package's version, as package.json declares it.
-export const VERSION = '0.2.9'
+export const VERSION = '0.2.10'
 
 export {
   Datum,
@@ -78,7 +78,7 @@ export { Guarded } from './guard'
 export { ParserSource } from './parser-source'
 export { ParserEventSource } from './parser-event-source'
 export { TransduceTree } from './transduce-tree'
-export { isTreeContainer, parserEventFromJSON, parserEventToJSON } from '@tabnas/alchemy/shared'
+export { isTreeContainer, parserEventFromJSON, parserEventToJSON, treeTextRefusal } from '@tabnas/alchemy/shared'
 export type {
   ParserEvent,
   ParserSink,