@tabnas/transduce 0.2.8 → 0.2.10

package/dist/parser-event-source.d.ts

@@ -0,0 +1,17 @@
+import { AbortFlag, Datum, Limits, Metrics } from '@tabnas/alchemy/shared';
+import type { Flow, ParserSink } from '@tabnas/alchemy/shared';
+import type { Tabnas } from '@tabnas/parser';
+export declare class ParserEventSource {
+    private parser;
+    private text;
+    private sourceLimits;
+    private abortFlag;
+    private sourceMetrics;
+    private used;
+    constructor(parser: Tabnas, text: string);
+    limits(limits: Limits): this;
+    abort(abort: AbortFlag): this;
+    metrics(metrics: Metrics): this;
+    run(sink: ParserSink): Flow;
+}
+export declare function scalarOf(value: unknown, lexeme: string | undefined): Datum;

package/dist/parser-event-source.js

@@ -0,0 +1,227 @@
+"use strict";
+/* Copyright (c) 2026 tabnas, MIT License */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ParserEventSource = void 0;
+exports.scalarOf = scalarOf;
+// `ParserEventSource`: `ParserEvents/1` from a tabnas parse of one text,
+// the input a transducer part reads (rs/src/source/parser_events.rs).
+//
+// The source installs one `ruleDone` subscriber, which relays each rule
+// pass the engine completes as a `ParserEvent`, on the thread that parses,
+// into a `ParserSink`: an `open` when a rule's open pass has run, a `close`
+// when its close pass has. It knows no grammar. When the engine has
+// returned the parse's value it sends one `end`, so a document is complete
+// only once it validated, as every source's is.
+//
+// What each pass carries is alchemy's `RulePass`:
+//
+// - the rule's `name`, its depth `d` and instance `i` (the engine's, which
+//   counts from 1 here and from 0 in Go and Rust: DIVERGENCE.md 6), the
+//   alternate that matched (`alt`: `p`, `r`, `b`, and its groups `g`,
+//   sorted, since they are tags whose order the runtimes' engines keep
+//   differently), whether recovery forced the close, and its named counters
+//   `n`, sorted by name;
+// - the `tokens` the pass consumed: those its alternate matched (the
+//   engine's `o[:oN]` or `c[:cN]`), less the `b` it gave back from their
+//   end, which are the next rule's to consume, and none when `b` is more
+//   than it recorded, since a close alternate can back up a token it did
+//   not record. A token is its name, its value, its source text and its
+//   1-based row and column; a token with no value (the end of the source,
+//   a fixed token such as `[`, which Rust's engine gives its text:
+//   DIVERGENCE.md 7) has `null`, and a number carries its source text as its lexeme when
+//   that text is a JSON number spelling the value (RFC 8259), the rule the
+//   incremental source keeps lexemes by, so a renderer can write it as it
+//   stands;
+// - on a close pass, the rule's node when that is a scalar (`value`), a
+//   number with the lexeme of the rule's first open token as above;
+//   nothing on an open pass, nor for a container.
+//
+// A pass made while a probe is open is speculative: the grammar parses
+// ahead and rewinds past it (tabnas-bnf's probe, the engine's own for a
+// serialized grammar's `pd_` keys), so it is never the document's. The
+// engine flags it (`RuleDone.probe`), and the source drops it before any
+// sink sees it.
+//
+// The source holds its limits as it builds each pass, before the sink sees
+// it: a token's value or source text, or a pass's value, longer than
+// `max_scalar_bytes` is refused with that limit's name, as a JSON-events
+// source refuses a scalar. `max_depth` and `max_key_bytes` hold where a
+// part's outputs become `JsonEvents/1`, on the events it writes. The abort
+// flag is polled per pass, and `Metrics.events` counts the events
+// delivered.
+//
+// Failure mapping is `ParserSource`'s: a sink failure is thrown as it was;
+// a sink that stopped is `'stop'`; a parse cancelled through the caller's
+// `AbortFlag` is `ABORTED`; any other engine error is `INPUT_INVALID` with
+// the engine's code and position. A source runs once, as `ParserSource`
+// does: its parser carries the run's subscriber and budget.
+const shared_1 = require("@tabnas/alchemy/shared");
+const rule_events_1 = require("./rule-events");
+const source_1 = require("./source");
+// A tabnas parser applied to one text, as a source of its rule passes.
+class ParserEventSource {
+    // A source with default limits, its own abort flag and fresh metrics; the
+    // builder methods change each.
+    constructor(parser, text) {
+        this.sourceLimits = shared_1.Limits.default();
+        this.abortFlag = new shared_1.AbortFlag();
+        this.sourceMetrics = new shared_1.Metrics();
+        this.used = false;
+        this.parser = parser;
+        this.text = text;
+    }
+    limits(limits) {
+        this.sourceLimits = limits;
+        return this;
+    }
+    abort(abort) {
+        this.abortFlag = abort;
+        return this;
+    }
+    metrics(metrics) {
+        this.sourceMetrics = metrics;
+        return this;
+    }
+    // Parse, relaying each pass into `sink`, then `end`.
+    run(sink) {
+        if (this.used) {
+            throw new shared_1.Fail('STREAM_REUSED', "a ParserEventSource runs once: its parser carries the run's subscriber and budget; " +
+                'make a new source, with a new parser, for another run');
+        }
+        this.used = true;
+        const abort = this.abortFlag;
+        const stop = new shared_1.AbortFlag();
+        const relay = new Relay(sink, this.sourceLimits.max_scalar_bytes, abort, stop);
+        (0, rule_events_1.prepare)(this.parser, () => !abort.isAborted() && !stop.isAborted(), (rule, done) => relay.onDone(rule, done));
+        let parsed;
+        try {
+            this.parser.parse(this.text);
+            parsed = { ok: true };
+        }
+        catch (error) {
+            parsed = { ok: false, error };
+        }
+        try {
+            const status = relay.status;
+            if ('failed' === status.type)
+                throw status.error;
+            if ('stopped' === status.type)
+                return 'stop';
+            if (!parsed.ok)
+                throw (0, source_1.engineFailure)(parsed.error, abort);
+            return relay.send({ type: 'end' });
+        }
+        finally {
+            this.sourceMetrics.events += relay.events;
+        }
+    }
+}
+exports.ParserEventSource = ParserEventSource;
+// The subscriber's state: the sink and how the run stands.
+class Relay {
+    constructor(sink, maxScalarBytes, abort, 
+    // Set to make the parse guard cancel the parse.
+    stop) {
+        this.sink = sink;
+        this.maxScalarBytes = maxScalarBytes;
+        this.abort = abort;
+        this.stop = stop;
+        this.status = { type: 'running' };
+        this.events = 0;
+    }
+    send(ev) {
+        this.events++;
+        return this.sink.event(ev);
+    }
+    fail(error) {
+        this.status = { type: 'failed', error };
+        this.stop.abort();
+    }
+    // One pass the engine completed.
+    onDone(rule, done) {
+        if (true === done.probe || 'running' !== this.status.type)
+            return;
+        if (this.abort.isAborted()) {
+            this.fail(shared_1.Fail.aborted());
+            return;
+        }
+        const open = 'o' === done.state;
+        let ev;
+        try {
+            const pass = rulePass(rule, done, open, this.maxScalarBytes);
+            ev = open ? { type: 'open', pass } : { type: 'close', pass };
+        }
+        catch (error) {
+            this.fail(error);
+            return;
+        }
+        try {
+            if ('stop' === this.send(ev)) {
+                this.status = { type: 'stopped' };
+                this.stop.abort();
+            }
+        }
+        catch (error) {
+            this.fail(error);
+        }
+    }
+}
+// The pass as alchemy's `RulePass`, its sizes held to `max_scalar_bytes`.
+function rulePass(rule, done, open, max) {
+    const r = rule;
+    const recorded = open ? r.o.slice(0, r.oN) : r.c.slice(0, r.cN);
+    const b = null == done.alt ? 0 : done.alt.b;
+    const kept = recorded.slice(0, Math.max(0, recorded.length - b));
+    const tokens = kept.map((t) => {
+        const src = 'string' === typeof t.src ? t.src : String(t.src ?? '');
+        held((0, shared_1.utf8Bytes)(src), "a token's source text", max);
+        const val = scalarOf(t.val, src);
+        if ('string' === val.type)
+            held((0, shared_1.utf8Bytes)(val.value), "a token's value", max);
+        return { name: t.name, val, src, row: t.rI, col: t.cI };
+    });
+    let value;
+    if (!open && undefined !== r.node && undefined !== (0, shared_1.engineScalar)(r.node)) {
+        const first = r.o[0];
+        value = scalarOf(r.node, 0 < r.oN && 'string' === typeof first?.src ? first.src : undefined);
+        if ('string' === value.type)
+            held((0, shared_1.utf8Bytes)(value.value), "a rule's value", max);
+    }
+    const n = Object.entries((r.n ?? {}))
+        .map(([k, v]) => [k, Math.trunc(v)])
+        .sort(([a], [b]) => byCodeUnit(a, b));
+    const alt = null == done.alt
+        ? undefined
+        : { p: done.alt.p, r: done.alt.r, b: done.alt.b, g: [...done.alt.g].sort(byCodeUnit) };
+    return {
+        name: rule.name,
+        d: rule.d,
+        i: rule.i,
+        ...(undefined === alt ? {} : { alt }),
+        tokens,
+        forced: true === done.forced,
+        n,
+        ...(undefined === value ? {} : { value }),
+    };
+}
+// Strings in code-unit order, as Rust's `sort` orders ASCII names.
+function byCodeUnit(a, b) {
+    return a < b ? -1 : a > b ? 1 : 0;
+}
+// An engine value as a pass carries it: `undefined` as null, and a number
+// with `lexeme` when that text is a JSON number spelling it.
+function scalarOf(value, lexeme) {
+    const scalar = (0, shared_1.engineScalar)(value);
+    if (undefined !== scalar && 'number' === scalar.type) {
+        const keep = undefined !== lexeme && (0, shared_1.isJsonNumber)(lexeme) && Number(lexeme) === scalar.value;
+        return shared_1.Datum.number(scalar.value, keep ? lexeme : undefined);
+    }
+    return (0, shared_1.fromTabnas)(value);
+}
+// `max_scalar_bytes` held on one text a pass carries.
+function held(bytes, what, max) {
+    if (bytes > max) {
+        throw shared_1.Fail.limit('max_scalar_bytes', max, `${what} of ${bytes} bytes is larger than ${max}`);
+    }
+}
+//# sourceMappingURL=parser-event-source.js.map

package/dist/parser-event-source.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser-event-source.js","sourceRoot":"","sources":["../src/parser-event-source.ts"],"names":[],"mappings":";AAAA,4CAA4C;;;;AAE5C,yEAAyE;AACzE,sEAAsE;AACtE,EAAE;AACF,wEAAwE;AACxE,2EAA2E;AAC3E,4EAA4E;AAC5E,oEAAoE;AACpE,2EAA2E;AAC3E,gDAAgD;AAChD,EAAE;AACF,kDAAkD;AAClD,EAAE;AACF,2EAA2E;AAC3E,wEAAwE;AACxE,sEAAsE;AACtE,uEAAuE;AACvE,4EAA4E;AAC5E,yBAAyB;AACzB,qEAAqE;AACrE,yEAAyE;AACzE,yEAAyE;AACzE,yEAAyE;AACzE,wEAAwE;AACxE,0EAA0E;AAC1E,mEAAmE;AACnE,yFAAyF;AACzF,2EAA2E;AAC3E,0EAA0E;AAC1E,YAAY;AACZ,wEAAwE;AACxE,oEAAoE;AACpE,kDAAkD;AAClD,EAAE;AACF,uEAAuE;AACvE,wEAAwE;AACxE,uEAAuE;AACvE,yEAAyE;AACzE,gBAAgB;AAChB,EAAE;AACF,2EAA2E;AAC3E,qEAAqE;AACrE,yEAAyE;AACzE,wEAAwE;AACxE,2EAA2E;AAC3E,kEAAkE;AAClE,aAAa;AACb,EAAE;AACF,2EAA2E;AAC3E,0EAA0E;AAC1E,2EAA2E;AAC3E,wEAAwE;AACxE,4DAA4D;AAE5D,mDAU+B;AAI/B,+CAAuC;AACvC,qCAAwC;AAExC,uEAAuE;AACvE;IAQE,0EAA0E;IAC1E,+BAA+B;IAC/B,YAAY,MAAc,EAAE,IAAY;QAPhC,iBAAY,GAAW,eAAM,CAAC,OAAO,EAAE,CAAA;QACvC,cAAS,GAAc,IAAI,kBAAS,EAAE,CAAA;QACtC,kBAAa,GAAY,IAAI,gBAAO,EAAE,CAAA;QACtC,SAAI,GAAG,KAAK,CAAA;QAKlB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAA;QACpB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAA;IAClB,CAAC;IAED,MAAM,CAAC,MAAc;QACnB,IAAI,CAAC,YAAY,GAAG,MAAM,CAAA;QAC1B,OAAO,IAAI,CAAA;IACb,CAAC;IAED,KAAK,CAAC,KAAgB;QACpB,IAAI,CAAC,SAAS,GAAG,KAAK,CAAA;QACtB,OAAO,IAAI,CAAA;IACb,CAAC;IAED,OAAO,CAAC,OAAgB;QACtB,IAAI,CAAC,aAAa,GAAG,OAAO,CAAA;QAC5B,OAAO,IAAI,CAAA;IACb,CAAC;IAED,qDAAqD;IACrD,GAAG,CAAC,IAAgB;QAClB,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACd,MAAM,IAAI,aAAI,CACZ,eAAe,EACf,qFAAqF;gBACnF,uDAAuD,CAC1D,CAAA;QACH,CAAC;QACD,IAAI,CAAC,IAAI,GAAG,IAAI,CAAA;QAChB,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAA;QAC5B,MAAM,IAAI,GAAG,IAAI,kBAAS,EAAE,CAAA;QAC5B,MAAM,KAAK,GAAG,IAAI,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,YAAY,CAAC,gBAAgB,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;QAC9E,IAAA,qBAAO,EACL,IAAI,CAAC,MAAM,EACX,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,EAC7C,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CACzC,CAAA;QACD,IAAI,MAAoD,CAAA;QACxD,IAAI,CAAC;YACH,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YAC5B,MAAM,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,CAAA;QACvB,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,GAAG,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAA;QAC/B,CAAC;QACD,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAA;YAC3B,IAAI,QAAQ,KAAK,MAAM,CAAC,IAAI;gBAAE,MAAM,MAAM,CAAC,KAAK,CAAA;YAChD,IAAI,SAAS,KAAK,MAAM,CAAC,IAAI;gBAAE,OAAO,MAAM,CAAA;YAC5C,IAAI,CAAC,MAAM,CAAC,EAAE;gBAAE,MAAM,IAAA,sBAAa,EAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;YACxD,OAAO,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAA;QACpC,CAAC;gBAAS,CAAC;YACT,IAAI,CAAC,aAAa,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,CAAA;QAC3C,CAAC;IACH,CAAC;CACF;;AAID,2DAA2D;AAC3D,MAAM,KAAK;IAIT,YACW,IAAgB,EAChB,cAAsB,EACtB,KAAgB;IACzB,gDAAgD;IACvC,IAAe;QAJf,SAAI,GAAJ,IAAI,CAAY;QAChB,mBAAc,GAAd,cAAc,CAAQ;QACtB,UAAK,GAAL,KAAK,CAAW;QAEhB,SAAI,GAAJ,IAAI,CAAW;QAR1B,WAAM,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,CAAA;QACpC,WAAM,GAAG,CAAC,CAAA;IAQP,CAAC;IAEJ,IAAI,CAAC,EAAe;QAClB,IAAI,CAAC,MAAM,EAAE,CAAA;QACb,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;IAC5B,CAAC;IAEO,IAAI,CAAC,KAAc;QACzB,IAAI,CAAC,MAAM,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAA;QACvC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAA;IACnB,CAAC;IAED,iCAAiC;IACjC,MAAM,CAAC,IAAU,EAAE,IAAc;QAC/B,IAAI,IAAI,KAAK,IAAI,CAAC,KAAK,IAAI,SAAS,KAAK,IAAI,CAAC,MAAM,CAAC,IAAI;YAAE,OAAM;QACjE,IAAI,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,EAAE,CAAC;YAC3B,IAAI,CAAC,IAAI,CAAC,aAAI,CAAC,OAAO,EAAE,CAAC,CAAA;YACzB,OAAM;QACR,CAAC;QACD,MAAM,IAAI,GAAG,GAAG,KAAK,IAAI,CAAC,KAAK,CAAA;QAC/B,IAAI,EAAe,CAAA;QACnB,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,cAAc,CAAC,CAAA;YAC5D,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAA;QAC9D,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;YAChB,OAAM;QACR,CAAC;QACD,IAAI,CAAC;YACH,IAAI,MAAM,KAAK,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC7B,IAAI,CAAC,MAAM,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,CAAA;gBACjC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAA;YACnB,CAAC;QACH,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAClB,CAAC;IACH,CAAC;CACF;AAED,0EAA0E;AAC1E,SAAS,QAAQ,CAAC,IAAU,EAAE,IAAc,EAAE,IAAa,EAAE,GAAW;IACtE,MAAM,CAAC,GAAQ,IAAI,CAAA;IACnB,MAAM,QAAQ,GAAU,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAA;IACtE,MAAM,CAAC,GAAG,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAA;IAC3C,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAA;IAChE,MAAM,MAAM,GAAgB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE;QAC9C,MAAM,GAAG,GAAW,QAAQ,KAAK,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC,CAAA;QAC3E,IAAI,CAAC,IAAA,kBAAS,EAAC,GAAG,CAAC,EAAE,uBAAuB,EAAE,GAAG,CAAC,CAAA;QAClD,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;QAChC,IAAI,QAAQ,KAAK,GAAG,CAAC,IAAI;YAAE,IAAI,CAAC,IAAA,kBAAS,EAAC,GAAG,CAAC,KAAK,CAAC,EAAE,iBAAiB,EAAE,GAAG,CAAC,CAAA;QAC7E,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAA;IACzD,CAAC,CAAC,CAAA;IACF,IAAI,KAAwB,CAAA;IAC5B,IAAI,CAAC,IAAI,IAAI,SAAS,KAAK,CAAC,CAAC,IAAI,IAAI,SAAS,KAAK,IAAA,qBAAY,EAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QACxE,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QACpB,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,QAAQ,KAAK,OAAO,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;QAC5F,IAAI,QAAQ,KAAK,KAAK,CAAC,IAAI;YAAE,IAAI,CAAC,IAAA,kBAAS,EAAC,KAAK,CAAC,KAAK,CAAC,EAAE,gBAAgB,EAAE,GAAG,CAAC,CAAA;IAClF,CAAC;IACD,MAAM,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAA2B,CAAC;SAC5D,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAU,CAAC;SAC5C,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IACvC,MAAM,GAAG,GACP,IAAI,IAAI,IAAI,CAAC,GAAG;QACd,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAA;IAC1F,OAAO;QACL,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,CAAC,EAAE,IAAI,CAAC,CAAC;QACT,CAAC,EAAE,IAAI,CAAC,CAAC;QACT,GAAG,CAAC,SAAS,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC;QACrC,MAAM;QACN,MAAM,EAAE,IAAI,KAAK,IAAI,CAAC,MAAM;QAC5B,CAAC;QACD,GAAG,CAAC,SAAS,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;KAC1C,CAAA;AACH,CAAC;AAED,mEAAmE;AACnE,SAAS,UAAU,CAAC,CAAS,EAAE,CAAS;IACtC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AACnC,CAAC;AAED,0EAA0E;AAC1E,6DAA6D;AAC7D,kBAAyB,KAAc,EAAE,MAA0B;IACjE,MAAM,MAAM,GAAG,IAAA,qBAAY,EAAC,KAAK,CAAC,CAAA;IAClC,IAAI,SAAS,KAAK,MAAM,IAAI,QAAQ,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC;QACrD,MAAM,IAAI,GAAG,SAAS,KAAK,MAAM,IAAI,IAAA,qBAAY,EAAC,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,MAAM,CAAC,KAAK,CAAA;QAC5F,OAAO,cAAK,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;IAC9D,CAAC;IACD,OAAO,IAAA,mBAAU,EAAC,KAAK,CAAC,CAAA;AAC1B,CAAC;AAED,sDAAsD;AACtD,SAAS,IAAI,CAAC,KAAa,EAAE,IAAY,EAAE,GAAW;IACpD,IAAI,KAAK,GAAG,GAAG,EAAE,CAAC;QAChB,MAAM,aAAI,CAAC,KAAK,CAAC,kBAAkB,EAAE,GAAG,EAAE,GAAG,IAAI,OAAO,KAAK,yBAAyB,GAAG,EAAE,CAAC,CAAA;IAC9F,CAAC;AACH,CAAC"}

package/dist/routers.js

@@ -6,6 +6,7 @@ const guard_1 = require("./guard");
 const route_1 = require("./route");
 const scan_1 = require("./scan");
 const table_from_json_1 = require("./table-from-json");
+const transduce_tree_1 = require("./transduce-tree");
 // Each method constructs the stage it names with the same parameters.
 exports.routers = Object.freeze({
     router(specs, limits, duplicates, metrics, downstream) {
@@ -20,5 +21,13 @@ exports.routers = Object.freeze({
     guarded(inner, limits, abort, metrics) {
         return new guard_1.Guarded(inner, limits, abort, metrics);
     },
+    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;;;AAwB5C,mCAAiC;AACjC,mCAAgC;AAChC,iCAAiC;AACjC,uDAAiD;AAEjD,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;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

@@ -0,0 +1,16 @@
+import type { Flow, ParserEvent, ParserSink, Sink, TreeSpec } from '@tabnas/alchemy/shared';
+export declare class TransduceTree implements ParserSink {
+    readonly spec: TreeSpec;
+    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

@@ -0,0 +1,234 @@
+"use strict";
+/* Copyright (c) 2026 tabnas, MIT License */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.TransduceTree = void 0;
+// `TransduceTree`: alchemy's `transduce-tree` run natively, the parser's
+// rule passes (`ParserEvents/1`) in and a tree's `JsonEvents/1` out, as a
+// `TreeSpec` keyed by rule name says (rs/src/transduce_tree.rs).
+//
+// The library's text (`stdlib/transduce.alc`) is the specification, and
+// 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, 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, 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 {
+    constructor(spec, down) {
+        this.spec = spec;
+        this.down = down;
+        // Containers open.
+        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) {
+            case 'open':
+                return this.openPass(ev.pass);
+            case 'close':
+                return this.closePass(ev.pass);
+            case 'end':
+                if (0 < this.open) {
+                    throw new shared_1.Fail('PROTOCOL_ORDER_ERROR', "the rule passes ended inside a container, which a tree's never do");
+                }
+                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) {
+            this.spell(pass);
+            return 'continue';
+        }
+        const key = named(rule.key, pass);
+        let then;
+        let begins = false;
+        if (undefined !== rule.container) {
+            if (!this.carry) {
+                begins = true;
+                then = 'object' === rule.container ? shared_1.Ev.objectStart : shared_1.Ev.arrayStart;
+            }
+        }
+        else if (undefined !== rule.scalar && 'value' !== rule.scalar) {
+            const token = pass.tokens[rule.scalar.token];
+            if (undefined !== token)
+                then = scalar(token.val);
+        }
+        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) {
+            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)
+                then = scalar(pass.value);
+        }
+        else if (undefined !== pass.alt && (0, shared_1.isTreeContainer)(this.spec, pass.alt.r)) {
+            this.carry = true;
+        }
+        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) {
+        case 'null':
+            return shared_1.Ev.null;
+        case 'bool':
+            return shared_1.Ev.bool(value.value);
+        case 'number':
+            return shared_1.Ev.number(value.value, value.lexeme);
+        case 'string':
+            return shared_1.Ev.string(value.value);
+        default:
+            throw typeError(`scalar: the value must be null, a boolean, a number or a string, not ${kind(value)}`);
+    }
+}
+// What a value is, in the runtime's words.
+function kind(value) {
+    switch (value.type) {
+        case 'null':
+            return 'null';
+        case 'bool':
+            return 'a boolean';
+        case 'number':
+            return 'a number';
+        case 'string':
+            return 'a string';
+        case 'array':
+            return 'a vector';
+        case 'object':
+            return 'a record';
+    }
+}
+// The runtime's type error: `DSL_TYPE_ERROR`, the `type_mismatch` word
+// first.
+function typeError(message) {
+    return new shared_1.Fail('DSL_TYPE_ERROR', `type_mismatch: ${message}`);
+}
+//# sourceMappingURL=transduce-tree.js.map

package/dist/transduce-tree.js.map

@@ -0,0 +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,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.8";
+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';
@@ -23,6 +23,10 @@ export { Prune, SourceMode, ValueSource, engineFailure, walkValue } from './sour
 export type { Source } from './source';
 export { Guarded } from './guard';
 export { ParserSource } from './parser-source';
+export { ParserEventSource } from './parser-event-source';
+export { TransduceTree } from './transduce-tree';
+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';
 export { INCREMENTAL, capability, isIncremental } from './capability';

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.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
@@ -12,7 +12,11 @@ exports.routers = exports.TableFromJson = exports.columnFromMeta = exports.bound
 // - the source protocol `JsonEvent` (`JsonEvents/1`) and the push boundary
 //   `Sink`;
 // - sources that produce it from a parsed value, from a live tabnas parse
-//   through the engine's rule events, or from line-delimited input;
+//   through the engine's rule events, or from line-delimited input, and
+//   the source of the parser's rule passes themselves (`ParserEventSource`,
+//   `ParserEvents/1`), what a transducer part reads;
+// - `TransduceTree`, alchemy's `transduce-tree` run natively over those
+//   passes;
 // - `Selector`s and the matcher and router that recognize selected scopes
 //   in one pass and materialize them under a byte limit;
 // - the table protocol `TableEvent` (`TableRows/1`) and the standard
@@ -30,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.8';
+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; } });
@@ -98,6 +102,15 @@ var guard_1 = require("./guard");
 Object.defineProperty(exports, "Guarded", { enumerable: true, get: function () { return guard_1.Guarded; } });
 var parser_source_1 = require("./parser-source");
 Object.defineProperty(exports, "ParserSource", { enumerable: true, get: function () { return parser_source_1.ParserSource; } });
+var parser_event_source_1 = require("./parser-event-source");
+Object.defineProperty(exports, "ParserEventSource", { enumerable: true, get: function () { return parser_event_source_1.ParserEventSource; } });
+var transduce_tree_1 = require("./transduce-tree");
+Object.defineProperty(exports, "TransduceTree", { enumerable: true, get: function () { return transduce_tree_1.TransduceTree; } });
+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; } });
@@ -106,12 +119,12 @@ var capability_1 = require("./capability");
 Object.defineProperty(exports, "INCREMENTAL", { enumerable: true, get: function () { return capability_1.INCREMENTAL; } });
 Object.defineProperty(exports, "capability", { enumerable: true, get: function () { return capability_1.capability; } });
 Object.defineProperty(exports, "isIncremental", { enumerable: true, get: function () { return capability_1.isIncremental; } });
-var shared_10 = require("@tabnas/alchemy/shared");
-Object.defineProperty(exports, "Cell", { enumerable: true, get: function () { return shared_10.Cell; } });
-Object.defineProperty(exports, "Schema", { enumerable: true, get: function () { return shared_10.Schema; } });
-Object.defineProperty(exports, "Table", { enumerable: true, get: function () { return shared_10.Table; } });
-Object.defineProperty(exports, "boundColumn", { enumerable: true, get: function () { return shared_10.boundColumn; } });
-Object.defineProperty(exports, "columnFromMeta", { enumerable: true, get: function () { return shared_10.columnFromMeta; } });
+var shared_11 = require("@tabnas/alchemy/shared");
+Object.defineProperty(exports, "Cell", { enumerable: true, get: function () { return shared_11.Cell; } });
+Object.defineProperty(exports, "Schema", { enumerable: true, get: function () { return shared_11.Schema; } });
+Object.defineProperty(exports, "Table", { enumerable: true, get: function () { return shared_11.Table; } });
+Object.defineProperty(exports, "boundColumn", { enumerable: true, get: function () { return shared_11.boundColumn; } });
+Object.defineProperty(exports, "columnFromMeta", { enumerable: true, get: function () { return shared_11.columnFromMeta; } });
 var table_from_json_1 = require("./table-from-json");
 Object.defineProperty(exports, "TableFromJson", { enumerable: true, get: function () { return table_from_json_1.TableFromJson; } });
 var routers_1 = require("./routers");

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,oEAAoE;AACpE,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,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/dist/tsconfig.tsbuildinfo

@@ -1 +1 @@
-{"version":"7.0.2","root":["../src/capability.ts","../src/guard.ts","../src/lines.ts","../src/matcher.ts","../src/parser-source.ts","../src/route.ts","../src/routers.ts","../src/rule-events.ts","../src/scan.ts","../src/source.ts","../src/table-from-json.ts","../src/transduce.ts"],"packageJsons":["../node_modules/@tabnas/alchemy/package.json","../node_modules/@tabnas/csv/package.json","../node_modules/@tabnas/json/package.json","../node_modules/@tabnas/jsonic/package.json","../node_modules/@tabnas/parser/package.json","../node_modules/@types/node/package.json","../node_modules/undici-types/package.json","../package.json"],"missingPackageJsons":["../node_modules/@tabnas/alchemy/dist/package.json","../node_modules/@tabnas/alchemy/dist/shared/package.json","../node_modules/@tabnas/alchemy/shared/package.json","../node_modules/@tabnas/csv/dist/package.json","../node_modules/@tabnas/json/dist/package.json","../node_modules/@tabnas/parser/dist/package.json","../node_modules/@types/assert/package.json","../node_modules/@types/assert/strict/package.json","../node_modules/@types/async_hooks/package.json","../node_modules/@types/buffer/package.json","../node_modules/@types/child_process/package.json","../node_modules/@types/cluster/package.json","../node_modules/@types/console/package.json","../node_modules/@types/constants/package.json","../node_modules/@types/crypto/package.json","../node_modules/@types/dgram/package.json","../node_modules/@types/diagnostics_channel/package.json","../node_modules/@types/dns/package.json","../node_modules/@types/dns/promises/package.json","../node_modules/@types/domain/package.json","../node_modules/@types/events/package.json","../node_modules/@types/fs/package.json","../node_modules/@types/fs/promises/package.json","../node_modules/@types/http/package.json","../node_modules/@types/http2/package.json","../node_modules/@types/https/package.json","../node_modules/@types/inspector/package.json","../node_modules/@types/inspector/promises/package.json","../node_modules/@types/module/package.json","../node_modules/@types/net/package.json","../node_modules/@types/node/assert/package.json","../node_modules/@types/node/dns/package.json","../node_modules/@types/node/fs/package.json","../node_modules/@types/node/inspector/package.json","../node_modules/@types/node/path/package.json","../node_modules/@types/node/readline/package.json","../node_modules/@types/node/stream/package.json","../node_modules/@types/node/test/package.json","../node_modules/@types/node/timers/package.json","../node_modules/@types/node/util/package.json","../node_modules/@types/node/web-globals/package.json","../node_modules/@types/node/zlib/package.json","../node_modules/@types/os/package.json","../node_modules/@types/path/package.json","../node_modules/@types/path/posix/package.json","../node_modules/@types/path/win32/package.json","../node_modules/@types/perf_hooks/package.json","../node_modules/@types/process/package.json","../node_modules/@types/punycode/package.json","../node_modules/@types/querystring/package.json","../node_modules/@types/readline/package.json","../node_modules/@types/readline/promises/package.json","../node_modules/@types/repl/package.json","../node_modules/@types/stream/consumers/package.json","../node_modules/@types/stream/iter/package.json","../node_modules/@types/stream/package.json","../node_modules/@types/stream/promises/package.json","../node_modules/@types/stream/web/package.json","../node_modules/@types/string_decoder/package.json","../node_modules/@types/timers/package.json","../node_modules/@types/timers/promises/package.json","../node_modules/@types/tls/package.json","../node_modules/@types/trace_events/package.json","../node_modules/@types/tty/package.json","../node_modules/@types/url/package.json","../node_modules/@types/util/package.json","../node_modules/@types/util/types/package.json","../node_modules/@types/v8/package.json","../node_modules/@types/vm/package.json","../node_modules/@types/wasi/package.json","../node_modules/@types/worker_threads/package.json","../node_modules/@types/zlib/package.json","../node_modules/assert/package.json","../node_modules/assert/strict/package.json","../node_modules/async_hooks/package.json","../node_modules/buffer/package.json","../node_modules/child_process/package.json","../node_modules/cluster/package.json","../node_modules/console/package.json","../node_modules/constants/package.json","../node_modules/crypto/package.json","../node_modules/dgram/package.json","../node_modules/diagnostics_channel/package.json","../node_modules/dns/package.json","../node_modules/dns/promises/package.json","../node_modules/domain/package.json","../node_modules/events/package.json","../node_modules/fs/package.json","../node_modules/fs/promises/package.json","../node_modules/http/package.json","../node_modules/http2/package.json","../node_modules/https/package.json","../node_modules/inspector/package.json","../node_modules/inspector/promises/package.json","../node_modules/module/package.json","../node_modules/net/package.json","../node_modules/os/package.json","../node_modules/path/package.json","../node_modules/path/posix/package.json","../node_modules/path/win32/package.json","../node_modules/perf_hooks/package.json","../node_modules/process/package.json","../node_modules/punycode/package.json","../node_modules/querystring/package.json","../node_modules/readline/package.json","../node_modules/readline/promises/package.json","../node_modules/repl/package.json","../node_modules/stream/consumers/package.json","../node_modules/stream/iter/package.json","../node_modules/stream/package.json","../node_modules/stream/promises/package.json","../node_modules/stream/web/package.json","../node_modules/string_decoder/package.json","../node_modules/timers/package.json","../node_modules/timers/promises/package.json","../node_modules/tls/package.json","../node_modules/trace_events/package.json","../node_modules/tty/package.json","../node_modules/url/package.json","../node_modules/util/package.json","../node_modules/util/types/package.json","../node_modules/v8/package.json","../node_modules/vm/package.json","../node_modules/wasi/package.json","../node_modules/worker_threads/package.json","../node_modules/zlib/package.json"]}
+{"version":"7.0.2","root":["../src/capability.ts","../src/guard.ts","../src/lines.ts","../src/matcher.ts","../src/parser-event-source.ts","../src/parser-source.ts","../src/route.ts","../src/routers.ts","../src/rule-events.ts","../src/scan.ts","../src/source.ts","../src/table-from-json.ts","../src/transduce-tree.ts","../src/transduce.ts"],"packageJsons":["../node_modules/@tabnas/alchemy/package.json","../node_modules/@tabnas/csv/package.json","../node_modules/@tabnas/json/package.json","../node_modules/@tabnas/jsonic/package.json","../node_modules/@tabnas/parser/package.json","../node_modules/@types/node/package.json","../node_modules/undici-types/package.json","../package.json"],"missingPackageJsons":["../node_modules/@tabnas/alchemy/dist/package.json","../node_modules/@tabnas/alchemy/dist/shared/package.json","../node_modules/@tabnas/alchemy/shared/package.json","../node_modules/@tabnas/csv/dist/package.json","../node_modules/@tabnas/json/dist/package.json","../node_modules/@tabnas/parser/dist/package.json","../node_modules/@types/assert/package.json","../node_modules/@types/assert/strict/package.json","../node_modules/@types/async_hooks/package.json","../node_modules/@types/buffer/package.json","../node_modules/@types/child_process/package.json","../node_modules/@types/cluster/package.json","../node_modules/@types/console/package.json","../node_modules/@types/constants/package.json","../node_modules/@types/crypto/package.json","../node_modules/@types/dgram/package.json","../node_modules/@types/diagnostics_channel/package.json","../node_modules/@types/dns/package.json","../node_modules/@types/dns/promises/package.json","../node_modules/@types/domain/package.json","../node_modules/@types/events/package.json","../node_modules/@types/fs/package.json","../node_modules/@types/fs/promises/package.json","../node_modules/@types/http/package.json","../node_modules/@types/http2/package.json","../node_modules/@types/https/package.json","../node_modules/@types/inspector/package.json","../node_modules/@types/inspector/promises/package.json","../node_modules/@types/module/package.json","../node_modules/@types/net/package.json","../node_modules/@types/node/assert/package.json","../node_modules/@types/node/dns/package.json","../node_modules/@types/node/fs/package.json","../node_modules/@types/node/inspector/package.json","../node_modules/@types/node/path/package.json","../node_modules/@types/node/readline/package.json","../node_modules/@types/node/stream/package.json","../node_modules/@types/node/test/package.json","../node_modules/@types/node/timers/package.json","../node_modules/@types/node/util/package.json","../node_modules/@types/node/web-globals/package.json","../node_modules/@types/node/zlib/package.json","../node_modules/@types/os/package.json","../node_modules/@types/path/package.json","../node_modules/@types/path/posix/package.json","../node_modules/@types/path/win32/package.json","../node_modules/@types/perf_hooks/package.json","../node_modules/@types/process/package.json","../node_modules/@types/punycode/package.json","../node_modules/@types/querystring/package.json","../node_modules/@types/readline/package.json","../node_modules/@types/readline/promises/package.json","../node_modules/@types/repl/package.json","../node_modules/@types/stream/consumers/package.json","../node_modules/@types/stream/iter/package.json","../node_modules/@types/stream/package.json","../node_modules/@types/stream/promises/package.json","../node_modules/@types/stream/web/package.json","../node_modules/@types/string_decoder/package.json","../node_modules/@types/timers/package.json","../node_modules/@types/timers/promises/package.json","../node_modules/@types/tls/package.json","../node_modules/@types/trace_events/package.json","../node_modules/@types/tty/package.json","../node_modules/@types/url/package.json","../node_modules/@types/util/package.json","../node_modules/@types/util/types/package.json","../node_modules/@types/v8/package.json","../node_modules/@types/vm/package.json","../node_modules/@types/wasi/package.json","../node_modules/@types/worker_threads/package.json","../node_modules/@types/zlib/package.json","../node_modules/assert/package.json","../node_modules/assert/strict/package.json","../node_modules/async_hooks/package.json","../node_modules/buffer/package.json","../node_modules/child_process/package.json","../node_modules/cluster/package.json","../node_modules/console/package.json","../node_modules/constants/package.json","../node_modules/crypto/package.json","../node_modules/dgram/package.json","../node_modules/diagnostics_channel/package.json","../node_modules/dns/package.json","../node_modules/dns/promises/package.json","../node_modules/domain/package.json","../node_modules/events/package.json","../node_modules/fs/package.json","../node_modules/fs/promises/package.json","../node_modules/http/package.json","../node_modules/http2/package.json","../node_modules/https/package.json","../node_modules/inspector/package.json","../node_modules/inspector/promises/package.json","../node_modules/module/package.json","../node_modules/net/package.json","../node_modules/os/package.json","../node_modules/path/package.json","../node_modules/path/posix/package.json","../node_modules/path/win32/package.json","../node_modules/perf_hooks/package.json","../node_modules/process/package.json","../node_modules/punycode/package.json","../node_modules/querystring/package.json","../node_modules/readline/package.json","../node_modules/readline/promises/package.json","../node_modules/repl/package.json","../node_modules/stream/consumers/package.json","../node_modules/stream/iter/package.json","../node_modules/stream/package.json","../node_modules/stream/promises/package.json","../node_modules/stream/web/package.json","../node_modules/string_decoder/package.json","../node_modules/timers/package.json","../node_modules/timers/promises/package.json","../node_modules/tls/package.json","../node_modules/trace_events/package.json","../node_modules/tty/package.json","../node_modules/url/package.json","../node_modules/util/package.json","../node_modules/util/types/package.json","../node_modules/v8/package.json","../node_modules/vm/package.json","../node_modules/wasi/package.json","../node_modules/worker_threads/package.json","../node_modules/zlib/package.json"]}

package/package.json

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

package/src/parser-event-source.ts

@@ -0,0 +1,252 @@
+/* Copyright (c) 2026 tabnas, MIT License */
+
+// `ParserEventSource`: `ParserEvents/1` from a tabnas parse of one text,
+// the input a transducer part reads (rs/src/source/parser_events.rs).
+//
+// The source installs one `ruleDone` subscriber, which relays each rule
+// pass the engine completes as a `ParserEvent`, on the thread that parses,
+// into a `ParserSink`: an `open` when a rule's open pass has run, a `close`
+// when its close pass has. It knows no grammar. When the engine has
+// returned the parse's value it sends one `end`, so a document is complete
+// only once it validated, as every source's is.
+//
+// What each pass carries is alchemy's `RulePass`:
+//
+// - the rule's `name`, its depth `d` and instance `i` (the engine's, which
+//   counts from 1 here and from 0 in Go and Rust: DIVERGENCE.md 6), the
+//   alternate that matched (`alt`: `p`, `r`, `b`, and its groups `g`,
+//   sorted, since they are tags whose order the runtimes' engines keep
+//   differently), whether recovery forced the close, and its named counters
+//   `n`, sorted by name;
+// - the `tokens` the pass consumed: those its alternate matched (the
+//   engine's `o[:oN]` or `c[:cN]`), less the `b` it gave back from their
+//   end, which are the next rule's to consume, and none when `b` is more
+//   than it recorded, since a close alternate can back up a token it did
+//   not record. A token is its name, its value, its source text and its
+//   1-based row and column; a token with no value (the end of the source,
+//   a fixed token such as `[`, which Rust's engine gives its text:
+//   DIVERGENCE.md 7) has `null`, and a number carries its source text as its lexeme when
+//   that text is a JSON number spelling the value (RFC 8259), the rule the
+//   incremental source keeps lexemes by, so a renderer can write it as it
+//   stands;
+// - on a close pass, the rule's node when that is a scalar (`value`), a
+//   number with the lexeme of the rule's first open token as above;
+//   nothing on an open pass, nor for a container.
+//
+// A pass made while a probe is open is speculative: the grammar parses
+// ahead and rewinds past it (tabnas-bnf's probe, the engine's own for a
+// serialized grammar's `pd_` keys), so it is never the document's. The
+// engine flags it (`RuleDone.probe`), and the source drops it before any
+// sink sees it.
+//
+// The source holds its limits as it builds each pass, before the sink sees
+// it: a token's value or source text, or a pass's value, longer than
+// `max_scalar_bytes` is refused with that limit's name, as a JSON-events
+// source refuses a scalar. `max_depth` and `max_key_bytes` hold where a
+// part's outputs become `JsonEvents/1`, on the events it writes. The abort
+// flag is polled per pass, and `Metrics.events` counts the events
+// delivered.
+//
+// Failure mapping is `ParserSource`'s: a sink failure is thrown as it was;
+// a sink that stopped is `'stop'`; a parse cancelled through the caller's
+// `AbortFlag` is `ABORTED`; any other engine error is `INPUT_INVALID` with
+// the engine's code and position. A source runs once, as `ParserSource`
+// does: its parser carries the run's subscriber and budget.
+
+import {
+  AbortFlag,
+  Datum,
+  Fail,
+  Limits,
+  Metrics,
+  engineScalar,
+  fromTabnas,
+  isJsonNumber,
+  utf8Bytes,
+} from '@tabnas/alchemy/shared'
+import type { Flow, ParserEvent, ParserSink, PassAlt, PassToken, RulePass } from '@tabnas/alchemy/shared'
+import type { Rule, RuleDone, Tabnas } from '@tabnas/parser'
+
+import { prepare } from './rule-events'
+import { engineFailure } from './source'
+
+// A tabnas parser applied to one text, as a source of its rule passes.
+export class ParserEventSource {
+  private parser: Tabnas
+  private text: string
+  private sourceLimits: Limits = Limits.default()
+  private abortFlag: AbortFlag = new AbortFlag()
+  private sourceMetrics: Metrics = new Metrics()
+  private used = false
+
+  // A source with default limits, its own abort flag and fresh metrics; the
+  // builder methods change each.
+  constructor(parser: Tabnas, text: string) {
+    this.parser = parser
+    this.text = text
+  }
+
+  limits(limits: Limits): this {
+    this.sourceLimits = limits
+    return this
+  }
+
+  abort(abort: AbortFlag): this {
+    this.abortFlag = abort
+    return this
+  }
+
+  metrics(metrics: Metrics): this {
+    this.sourceMetrics = metrics
+    return this
+  }
+
+  // Parse, relaying each pass into `sink`, then `end`.
+  run(sink: ParserSink): Flow {
+    if (this.used) {
+      throw new Fail(
+        'STREAM_REUSED',
+        "a ParserEventSource runs once: its parser carries the run's subscriber and budget; " +
+          'make a new source, with a new parser, for another run',
+      )
+    }
+    this.used = true
+    const abort = this.abortFlag
+    const stop = new AbortFlag()
+    const relay = new Relay(sink, this.sourceLimits.max_scalar_bytes, abort, stop)
+    prepare(
+      this.parser,
+      () => !abort.isAborted() && !stop.isAborted(),
+      (rule, done) => relay.onDone(rule, done),
+    )
+    let parsed: { ok: true } | { ok: false; error: unknown }
+    try {
+      this.parser.parse(this.text)
+      parsed = { ok: true }
+    } catch (error) {
+      parsed = { ok: false, error }
+    }
+    try {
+      const status = relay.status
+      if ('failed' === status.type) throw status.error
+      if ('stopped' === status.type) return 'stop'
+      if (!parsed.ok) throw engineFailure(parsed.error, abort)
+      return relay.send({ type: 'end' })
+    } finally {
+      this.sourceMetrics.events += relay.events
+    }
+  }
+}
+
+type Status = { type: 'running' } | { type: 'stopped' } | { type: 'failed'; error: unknown }
+
+// The subscriber's state: the sink and how the run stands.
+class Relay {
+  status: Status = { type: 'running' }
+  events = 0
+
+  constructor(
+    readonly sink: ParserSink,
+    readonly maxScalarBytes: number,
+    readonly abort: AbortFlag,
+    // Set to make the parse guard cancel the parse.
+    readonly stop: AbortFlag,
+  ) {}
+
+  send(ev: ParserEvent): Flow {
+    this.events++
+    return this.sink.event(ev)
+  }
+
+  private fail(error: unknown): void {
+    this.status = { type: 'failed', error }
+    this.stop.abort()
+  }
+
+  // One pass the engine completed.
+  onDone(rule: Rule, done: RuleDone): void {
+    if (true === done.probe || 'running' !== this.status.type) return
+    if (this.abort.isAborted()) {
+      this.fail(Fail.aborted())
+      return
+    }
+    const open = 'o' === done.state
+    let ev: ParserEvent
+    try {
+      const pass = rulePass(rule, done, open, this.maxScalarBytes)
+      ev = open ? { type: 'open', pass } : { type: 'close', pass }
+    } catch (error) {
+      this.fail(error)
+      return
+    }
+    try {
+      if ('stop' === this.send(ev)) {
+        this.status = { type: 'stopped' }
+        this.stop.abort()
+      }
+    } catch (error) {
+      this.fail(error)
+    }
+  }
+}
+
+// The pass as alchemy's `RulePass`, its sizes held to `max_scalar_bytes`.
+function rulePass(rule: Rule, done: RuleDone, open: boolean, max: number): RulePass {
+  const r: any = rule
+  const recorded: any[] = open ? r.o.slice(0, r.oN) : r.c.slice(0, r.cN)
+  const b = null == done.alt ? 0 : done.alt.b
+  const kept = recorded.slice(0, Math.max(0, recorded.length - b))
+  const tokens: PassToken[] = kept.map((t: any) => {
+    const src: string = 'string' === typeof t.src ? t.src : String(t.src ?? '')
+    held(utf8Bytes(src), "a token's source text", max)
+    const val = scalarOf(t.val, src)
+    if ('string' === val.type) held(utf8Bytes(val.value), "a token's value", max)
+    return { name: t.name, val, src, row: t.rI, col: t.cI }
+  })
+  let value: Datum | undefined
+  if (!open && undefined !== r.node && undefined !== engineScalar(r.node)) {
+    const first = r.o[0]
+    value = scalarOf(r.node, 0 < r.oN && 'string' === typeof first?.src ? first.src : undefined)
+    if ('string' === value.type) held(utf8Bytes(value.value), "a rule's value", max)
+  }
+  const n = Object.entries((r.n ?? {}) as Record<string, number>)
+    .map(([k, v]) => [k, Math.trunc(v)] as const)
+    .sort(([a], [b]) => byCodeUnit(a, b))
+  const alt: PassAlt | undefined =
+    null == done.alt
+      ? undefined
+      : { p: done.alt.p, r: done.alt.r, b: done.alt.b, g: [...done.alt.g].sort(byCodeUnit) }
+  return {
+    name: rule.name,
+    d: rule.d,
+    i: rule.i,
+    ...(undefined === alt ? {} : { alt }),
+    tokens,
+    forced: true === done.forced,
+    n,
+    ...(undefined === value ? {} : { value }),
+  }
+}
+
+// Strings in code-unit order, as Rust's `sort` orders ASCII names.
+function byCodeUnit(a: string, b: string): number {
+  return a < b ? -1 : a > b ? 1 : 0
+}
+
+// An engine value as a pass carries it: `undefined` as null, and a number
+// with `lexeme` when that text is a JSON number spelling it.
+export function scalarOf(value: unknown, lexeme: string | undefined): Datum {
+  const scalar = engineScalar(value)
+  if (undefined !== scalar && 'number' === scalar.type) {
+    const keep = undefined !== lexeme && isJsonNumber(lexeme) && Number(lexeme) === scalar.value
+    return Datum.number(scalar.value, keep ? lexeme : undefined)
+  }
+  return fromTabnas(value)
+}
+
+// `max_scalar_bytes` held on one text a pass carries.
+function held(bytes: number, what: string, max: number): void {
+  if (bytes > max) {
+    throw Fail.limit('max_scalar_bytes', max, `${what} of ${bytes} bytes is larger than ${max}`)
+  }
+}

package/src/routers.ts

@@ -1,7 +1,8 @@
 /* Copyright (c) 2026 tabnas, MIT License */
 
 // This package's stages as alchemy's `Routers`: what an alchemy program's
-// runtime builds its routes, tables, scans and guards from. Alchemy
+// runtime builds its routes, tables, scans and guards from, and the native
+// `transduce-tree` it runs over the parser's rule passes. Alchemy
 // declares the interface (`@tabnas/alchemy/shared`) and imports no
 // transducer; a host passes `routers` to its `compile`, with render's
 // `renderers`: `compile(src, file, { routers, renderers })`.
@@ -13,6 +14,7 @@ import {
   Flow,
   Limits,
   Metrics,
+  ParserSink,
   RouteSink,
   Routers,
   Scan,
@@ -20,12 +22,14 @@ import {
   TableBinding,
   TableSink,
   Transition,
+  TreeSpec,
 } from '@tabnas/alchemy/shared'
 
 import { Guarded } from './guard'
 import { Router } from './route'
 import { ScanEmit } from './scan'
 import { TableFromJson } from './table-from-json'
+import { TransduceTree } from './transduce-tree'
 
 // Each method constructs the stage it names with the same parameters.
 export const routers: Routers = Object.freeze({
@@ -61,4 +65,14 @@ export const routers: Routers = Object.freeze({
   guarded(inner: Sink, limits: Limits, abort: AbortFlag, metrics: Metrics): Sink {
     return new Guarded(inner, limits, abort, metrics)
   },
+
+  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

@@ -0,0 +1,226 @@
+/* Copyright (c) 2026 tabnas, MIT License */
+
+// `TransduceTree`: alchemy's `transduce-tree` run natively, the parser's
+// rule passes (`ParserEvents/1`) in and a tree's `JsonEvents/1` out, as a
+// `TreeSpec` keyed by rule name says (rs/src/transduce_tree.rs).
+//
+// The library's text (`stdlib/transduce.alc`) is the specification, and
+// 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, 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, 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, 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 {
+  // Containers open.
+  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,
+    readonly down: Sink,
+  ) {}
+
+  event(ev: ParserEvent): Flow {
+    switch (ev.type) {
+      case 'open':
+        return this.openPass(ev.pass)
+      case 'close':
+        return this.closePass(ev.pass)
+      case 'end':
+        if (0 < this.open) {
+          throw new Fail('PROTOCOL_ORDER_ERROR', "the rule passes ended inside a container, which a tree's never do")
+        }
+        return this.down.event(Ev.end)
+    }
+  }
+
+  // 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) {
+      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) {
+        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)
+    }
+    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) {
+      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: 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
+    } 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 (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.
+function scalar(value: Datum): JsonEvent {
+  switch (value.type) {
+    case 'null':
+      return Ev.null
+    case 'bool':
+      return Ev.bool(value.value)
+    case 'number':
+      return Ev.number(value.value, value.lexeme)
+    case 'string':
+      return Ev.string(value.value)
+    default:
+      throw typeError(`scalar: the value must be null, a boolean, a number or a string, not ${kind(value)}`)
+  }
+}
+
+// What a value is, in the runtime's words.
+function kind(value: Datum): string {
+  switch (value.type) {
+    case 'null':
+      return 'null'
+    case 'bool':
+      return 'a boolean'
+    case 'number':
+      return 'a number'
+    case 'string':
+      return 'a string'
+    case 'array':
+      return 'a vector'
+    case 'object':
+      return 'a record'
+  }
+}
+
+// The runtime's type error: `DSL_TYPE_ERROR`, the `type_mismatch` word
+// first.
+function typeError(message: string): Fail {
+  return new Fail('DSL_TYPE_ERROR', `type_mismatch: ${message}`)
+}

package/src/transduce.ts

@@ -9,7 +9,11 @@
 // - the source protocol `JsonEvent` (`JsonEvents/1`) and the push boundary
 //   `Sink`;
 // - sources that produce it from a parsed value, from a live tabnas parse
-//   through the engine's rule events, or from line-delimited input;
+//   through the engine's rule events, or from line-delimited input, and
+//   the source of the parser's rule passes themselves (`ParserEventSource`,
+//   `ParserEvents/1`), what a transducer part reads;
+// - `TransduceTree`, alchemy's `transduce-tree` run natively over those
+//   passes;
 // - `Selector`s and the matcher and router that recognize selected scopes
 //   in one pass and materialize them under a byte limit;
 // - the table protocol `TableEvent` (`TableRows/1`) and the standard
@@ -28,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.8'
+export const VERSION = '0.2.10'
 
 export {
   Datum,
@@ -72,6 +76,21 @@ export { Prune, SourceMode, ValueSource, engineFailure, walkValue } from './sour
 export type { Source } from './source'
 export { Guarded } from './guard'
 export { ParserSource } from './parser-source'
+export { ParserEventSource } from './parser-event-source'
+export { TransduceTree } from './transduce-tree'
+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'
 export { INCREMENTAL, capability, isIncremental } from './capability'