sjabloon 0.6.0 → 0.8.0

package/README.md

@@ -1,6 +1,6 @@
 # sjabloon
 
-A tiny, CSP-safe template engine for JavaScript. **~1.8KB min+gzip (~3.6KB with [xprsn](https://www.npmjs.com/package/xprsn)), one dependency.**
+A tiny, CSP-safe, target-neutral template engine for JavaScript. **~1.9KB min+brotli (~3.7KB with [xprsn](https://www.npmjs.com/package/xprsn)), one dependency.**
 
 [![NPM version](https://img.shields.io/npm/v/sjabloon.svg)](https://www.npmjs.com/package/sjabloon)
 [![Build Status](https://github.com/getquario/sjabloon/actions/workflows/test.yml/badge.svg)](https://github.com/getquario/sjabloon/actions/workflows/test.yml)
@@ -13,16 +13,24 @@ A tiny, CSP-safe template engine for JavaScript. **~1.8KB min+gzip (~3.6KB with
 	</picture>
 </a>
 
-*Sjabloon* is Dutch for "template". It renders text templates with full [xprsn](https://github.com/getquario/xprsn) expressions inside every tag, without turning template text into JavaScript. There is no `eval` and no `new Function`, so it runs under a strict Content Security Policy where engines that compile templates to code cannot.
+*Sjabloon* is Dutch for "template". It renders templates with full [xprsn](https://github.com/getquario/xprsn) expressions inside every tag, without turning template text into JavaScript. There is no `eval` and no `new Function`, so it runs under a strict Content Security Policy where engines that compile templates to code cannot.
+
+The engine emits **tokens**, not text. A render gives you the literal runs and the interpolated values, interleaved in render order — because different targets need different things from the same template. HTML wants escaped text; a spreadsheet wants the number `1000` and a cell format; a PDF wants styled runs. Escaping belongs at the output edge, not in the engine, so a string is just one way to consume the stream.
 
 ```js
-import { template, render } from 'sjabloon';
+import { template, text } from 'sjabloon';
+
+const cell = template('{{ total * 1.21 }}');
 
-// Compile once, render many times:
-const greet = template('Hello {{ user.name.toUpperCase() }}!');
-greet({ user: { name: 'Robin' } }); // => 'Hello ROBIN!'
+cell({ total: 1000 });        // => [{ value: 1210 }]      — still a number
+text(cell({ total: 1000 }));  // => '1210'                 — when you want the string
+```
+
+If you only want a string, import the edition that produces one directly:
+
+```js
+import { render } from 'sjabloon/html';   // {{ }} HTML-escapes, {{{ }}} is raw
 
-// Blocks, expressions, and custom functions:
 render(
   `<ul>{{#each items as it, i}}
     <li>{{ i + 1 }}. {{ it.name }}: {{ fmt(it.price * it.qty) }}</li>
@@ -33,11 +41,25 @@ render(
 );
 ```
 
+## Editions
+
+Three entry points, one engine. They share a parser, a syntax, and a diagnostics contract, and differ only in what a render produces.
+
+| Import | `template(str, funcs?)` returns | `{{ expr }}` | `{{{ expr }}}` |
+| --- | --- | --- | --- |
+| `sjabloon` | `(values?, scope?) => Token[]` | value token | `SyntaxError` |
+| `sjabloon/text` | `(values?, scope?) => string` | unescaped | `SyntaxError` |
+| `sjabloon/html` | `(values?, scope?) => string` | HTML-escaped | raw |
+
+`{{{ }}}` exists only in the HTML edition, where "raw" means something. Everywhere else `{{ }}` is already raw, so the triple form is a compile-time `SJABLOON_RAW_TAG` error rather than a silent synonym.
+
+Every edition exports `template`, `render`, and `isDiagnostic`. They all resolve to one shared core, so a diagnostic thrown through any of them authenticates through all of them.
+
 ## API
 
 ### `template(str, functions?)`
 
-Compiles the template and returns a renderer `(values?, scope?) => string`. Malformed tags, unclosed blocks, and invalid expressions throw a `SyntaxError` at compile time.
+Compiles the template and returns a renderer. What it renders to depends on the edition you imported from (see [Editions](#editions)); everything else on this page is identical across all three. Malformed tags, unclosed blocks, and invalid expressions throw a `SyntaxError` at compile time.
 
 The anchors `$` (root) and `@` (current `{{#each}}` item) work as [described below](#syntax) with no extra arguments — at the root, before any loop, both point at `values`. If you're embedding sjabloon under an engine with its own scope model, pass `{ root, item }` as the second argument to seed the two root anchors from distinct objects: `$` becomes `root` and `@` becomes `item`. Omit `item` and `@` stays unbound at the root, so reading `@.x` throws where there is no current item. Either way, `{{#each}}` still re-points `@` to the current item inside its body.
 
@@ -47,14 +69,7 @@ tpl(base, { root: reportRoot, item: currentRow }); // $ = reportRoot, @ = curren
 tpl(base, { root: reportRoot });                   // no item → @.x throws
 ```
 
-The renderer's `withRaw(values?, scope?)` method renders once and returns both channels: `{ text, raws }` — the rendered string plus each interpolation's pre-escape, pre-stringify value, whatever the expression evaluated to before it became output text. A `{{ total }}` holding `1000` yields the number `1000`, not the string `"1000"` — the whole point for typed consumers like spreadsheet cells. Both `{{ }}` and `{{{ }}}` are captured, nullish included, in render order (loop bodies once per iteration, untaken branches never). Block expressions — `#if` conditions, `#each` collections — are not interpolations and are never captured.
-
-```js
-const cell = template('{{ total * 1.21 }}');
-cell.withRaw({ total: 1000 }); // => { text: '1210', raws: [1210] } — still a number
-```
-
-The renderer also carries `names` (every variable the template reads from your values, loop variables excluded) and `functions` (the registry functions it calls, methods excluded), both deduplicated. Check a stored template against your data model and its allowed functions before you render it, or fetch only the fields it needs.
+The renderer carries `names` (every variable the template reads from your values, loop variables excluded) and `functions` (the registry functions it calls, methods excluded), both deduplicated. Check a stored template against your data model and its allowed functions before you render it, or fetch only the fields it needs.
 
 ```js
 const tpl = template('{{ fmt(title) }}{{#each items as it}}{{ it.name }}{{/each}}', { fmt: s => s });
@@ -64,7 +79,28 @@ tpl.functions; // => ['fmt']
 
 ### `render(str, values?, functions?)`
 
-Shorthand for `template(str, functions)(values)`.
+Shorthand for `template(str, functions)(values)`, returning whatever its edition renders.
+
+### `text(tokens)` — root entry only
+
+Joins a token stream the way `sjabloon/text` would have rendered it: literals verbatim, values as `String(value ?? '')`. `text(template(str)(values))` and `sjabloon/text`'s `template(str)(values)` are equal for every template and every set of values — a property the test suite and the fuzzer both check.
+
+```js
+import { template, text } from 'sjabloon';
+
+const tokens = template('{{ qty }} × {{ name }}')({ qty: 2, name: 'Koffie' });
+// => [{ value: 2 }, { literal: ' × ' }, { value: 'Koffie' }]
+
+text(tokens); // => '2 × Koffie'
+```
+
+A `Token` is either `{ literal: string }` or `{ value: unknown }`:
+
+- **Values are pre-stringify.** `{{ total }}` holding `1000` yields the number `1000`, not `"1000"`, and nullish stays nullish. Stringification is deferred to `text()` — so a value with no primitive conversion reaches the stream intact and only fails when something asks for text.
+- **Order is render order.** Loop bodies append once per iteration, untaken branches append nothing, and block expressions (`#if` conditions, `#each` collections) never appear — they steer the render rather than being part of it.
+- **Literals are the template's static runs**, one token each, never merged and never empty. So the interleaving tells you the shape: a bare `{{ amount }}` is exactly one value token, while `Total: {{ amount }}` is a literal followed by a value. That distinction is why the engine emits tokens instead of a string plus a list of values — a spreadsheet cell that is *only* a number is a different thing from one that happens to contain one.
+
+Literal tokens are frozen and shared across loop iterations; value tokens are fresh per emit.
 
 ### Error diagnostics
 
@@ -75,18 +111,18 @@ Sjabloon errors keep their native `SyntaxError` or `TypeError` class and expose:
 - `end`: the exclusive template offset;
 - `blocks`: a frozen, outermost-first array of `{ type, start, end }` opener spans.
 
-Parser codes are `SJABLOON_EACH_SYNTAX`, `SJABLOON_BLOCKED_BINDING`, `SJABLOON_UNEXPECTED_TAG`, `SJABLOON_UNKNOWN_BLOCK`, `SJABLOON_UNCLOSED_BLOCK`, and `SJABLOON_TOO_DEEP` (block nesting past 256 levels, located at the opener that crossed the cap). A missing closer uses an empty span at the end of the template. Expression offsets refer to the original template, so surrounding braces, whitespace, and trim markers contribute to their absolute position.
+Parser codes are `SJABLOON_EACH_SYNTAX`, `SJABLOON_BLOCKED_BINDING`, `SJABLOON_UNEXPECTED_TAG`, `SJABLOON_UNKNOWN_BLOCK`, `SJABLOON_UNCLOSED_BLOCK`, `SJABLOON_RAW_TAG` (a `{{{ }}}` tag outside the HTML edition, located at the whole tag), and `SJABLOON_TOO_DEEP` (block nesting past 256 levels, located at the opener that crossed the cap). A missing closer uses an empty span at the end of the template. Expression offsets refer to the original template, so surrounding braces, whitespace, and trim markers contribute to their absolute position.
 
 Unauthenticated errors thrown by registered functions, getters, methods, or value coercion hooks are host errors. Sjabloon passes them through unchanged and does not attach template diagnostic fields.
 
-Use `isDiagnostic(error)` when a host needs to distinguish those errors. It returns `true` only for errors produced or translated by the same sjabloon module instance. Copying a documented `code`, `start`, `end`, and `blocks` onto another error does not authenticate it. A diagnostic from another installed copy or module instance also returns `false`.
+Use `isDiagnostic(error)` when a host needs to distinguish those errors. It returns `true` only for errors produced or translated by the same sjabloon module instance. Copying a documented `code`, `start`, `end`, and `blocks` onto another error does not authenticate it. A diagnostic from another installed copy or module instance returns `false`. All three editions share one core, so mixing them in a single process is safe: an error thrown through `sjabloon/html` authenticates through `sjabloon`.
 
 ## Syntax
 
 | Tag | Meaning |
 | --- | --- |
-| `{{ expr }}` | Interpolate an expression, HTML-escaped |
-| `{{{ expr }}}` | Interpolate without escaping |
+| `{{ expr }}` | Interpolate an expression — a value token, or text escaped per edition |
+| `{{{ expr }}}` | Interpolate raw. **`sjabloon/html` only**; a `SyntaxError` elsewhere |
 | `{{#if expr}} … {{#elif expr}} … {{#else}} … {{/if}}` | Conditional block, with as many `{{#elif}}` links as you need |
 | `{{#each expr as item}} … {{/each}}` | Loop over an array or an object's values |
 | `{{#each expr as item, key}} … {{/each}}` | Second name binds the index (arrays) or the key (objects) |
@@ -126,14 +162,16 @@ That runtime CSP support costs some render speed. Handlebars and tempura generat
 
 ## Safety
 
-- `{{ expr }}` escapes `& < > " '` by default; unescaped output requires the explicit `{{{ }}}` form.
+- `sjabloon/html` escapes `& < > " '` in `{{ }}`; unescaped output requires the explicit `{{{ }}}` form. **If you are rendering HTML, import that edition.** The other two are output-neutral by design and escape nothing, on the assumption that you escape at your own output edge.
 - Expressions inherit all of xprsn's guards: no `__proto__`/`constructor`/`prototype` access, null-prototype hash literals, and functions resolved only from your registry.
 - Templates read your values; they cannot assign to them.
 - Registered functions are host-provided capabilities, not a sandbox boundary. Only register helpers that template authors are allowed to invoke; likewise, treat explicit raw output as trusted HTML.
 
 ## Environments
 
-Node.js 22 and newer are supported through the ESM and CommonJS builds. Browser use is supported through a standards-based ESM bundler in environments supporting ES2024. Direct `<script>` globals and UMD builds are not provided.
+Node.js 22.12 and newer, ESM only. Browser use is supported through a standards-based ESM bundler in environments supporting ES2024. Direct `<script>` globals, UMD, and CommonJS builds are not provided.
+
+Shipping CommonJS alongside ESM would put two copies of the core in any process that mixed `require` and `import`, and therefore two diagnostic identities — `isDiagnostic` would silently return `false` across the seam. One format removes that failure mode instead of documenting it.
 
 ## License
 

package/lib/core.js

@@ -0,0 +1,446 @@
+/**
+ * Tiny, CSP-safe template engine powered by xprsn expressions.
+ * Templates compile to a composition of closures; template text is never
+ * turned into JavaScript, so strict CSP is satisfied.
+ *
+ * This is the shared core: the lexer, parser and diagnostics, with output left
+ * to the profile each entry passes to `make()`. Exactly one copy of this module
+ * backs every entry, so the WeakSet below authenticates diagnostics across all
+ * of them.
+ */
+import { compile, isDiagnostic as isXprsnDiagnostic } from 'xprsn';
+
+/**
+ * @import { SjabloonDiagnostic, SjabloonErrorCode, SjabloonFunctions, SjabloonRenderer, SjabloonValues } from './types.js'
+ * @template A
+ * @typedef {(scope: any, acc: A, scratch?: any) => void} Node One compiled node: appends into
+ *   `acc` and returns nothing. The third slot is a scratch local some editions declare as a
+ *   parameter to save a `let`; callers pass two arguments.
+ */
+
+/**
+ * One lexer token: `[0, text]` for a static run, or
+ * `[1|2, body, start, end, bodyStart]` for a raw or normal tag.
+ *
+ * Deliberately loose — the two kinds have different arities and the parser
+ * indexes them positionally on the hot path.
+ *
+ * @internal
+ * @typedef {any[]} Tok
+ */
+
+const BLOCKED = /^(?:__proto__|constructor|prototype)$/;
+/** @type {WeakSet<any>} */
+const DIAGNOSTICS = new WeakSet();
+const mark = DIAGNOSTICS.add.bind(DIAGNOSTICS);
+const owns = DIAGNOSTICS.has.bind(DIAGNOSTICS);
+
+/**
+ * Check whether an error was produced or translated by sjabloon.
+ *
+ * Every entry shares one core, so a diagnostic thrown through any of them
+ * authenticates through all of them.
+ *
+ * @param {unknown} error Any thrown value.
+ * @returns {error is SjabloonDiagnostic} Whether `error` is an authentic sjabloon diagnostic.
+ */
+export const isDiagnostic = error => owns(error);
+
+// Linear scan into text/tag/raw tokens. Dashes hug braces (`{{- x -}}` trims;
+// `{{ -x }}` stays unary minus). Prefer {{{ }}} over {{ }}. `triple` latches
+// off once }}} is gone so {{{...}}×N does not rescan to EOF (stays O(n)).
+/**
+ * @param {string} s
+ * @returns {Tok[]}
+ */
+let lex = s => {
+	const out = /** @type {Tok[]} */ ([]);
+	for (let i = 0, triple = 1; i < s.length; ) {
+		const a = s.indexOf('{{', i);
+		if (a < 0) { out.push([0, s.slice(i)]); break; }
+		if (a > i) out.push([0, s.slice(i, a)]);
+		let raw = +(s[a + 2] === '{'), p = a + 2 + raw, l = s[p] === '-', b = -1;
+		if (l) p++;
+		if (raw && triple) { b = s.indexOf('}}}', p); if (b < 0) triple = 0; }
+		if (b < 0) {
+			if (raw) { raw = 0; p = a + 2; l = s[p] === '-'; if (l) p++; }
+			b = s.indexOf('}}', p);
+		}
+		if (b < 0) { out.push([0, s.slice(a)]); break; }
+		const r = b > p && s[b - 1] === '-';
+		const q = r ? b - 1 : b, whole = s.slice(p, q), body = whole.trim();
+		const start = p + whole.length - whole.trimStart().length, end = b + 2 + raw;
+		const t = [raw ? 1 : 2, body, a, end, start];
+		const prev = out.at(-1);
+		if (l && prev?.[0] === 0 && prev[1]) prev[1] = prev[1].trimEnd();
+		out.push(t);
+		i = end;
+		if (r) while (/\s/.test(s[i])) i++;
+	}
+	return out;
+};
+
+// One shared prototype for renders that omit `values` — the shape an embedder
+// passing `{ root, item }` hits on every cell. A fresh `{}` here would give each
+// wrapper its own hidden class, so lookups go megamorphic and such a render
+// costs ~12x one that passes values. Frozen: nothing may write to a prototype
+// shared across renders.
+const EMPTY = Object.freeze({});
+
+// Shared parser state; parsing is synchronous so this is safe.
+// `nms` collects free variables, `fnms` the registry functions called.
+// LIT/VAL/RAW are the compiling profile's node builders — read only while
+// parsing, never at render time, so the hot path stays free of indirection.
+/** @type {Tok[]} */
+let toks;
+/** @type {number} */
+let i;
+/** @type {SjabloonFunctions | undefined} */
+let fns;
+/** @type {Tok} */
+let last;
+/** @type {string[]} */
+let bound;
+/** @type {Set<string>} */
+let nms;
+/** @type {Set<string>} */
+let fnms;
+/** @type {string} */
+let src;
+/** @type {any[]} */
+let blocks;
+// The profile's node builders. `any` rather than `Node<A>`: `make()` is generic
+// per edition, but these are module-level and shared across all three, so no
+// single A applies here.
+/** @type {any} */
+let LIT;
+/** @type {any} */
+let VAL;
+/** @type {any} */
+let RAW;
+
+let snap = () => Object.freeze(blocks.slice());
+// Block nesting is capped so a pathological template fails as a deterministic
+// SyntaxError at the offending opener, far below the native stack limit.
+const DEPTH = 256;
+/**
+ * @param {string} type
+ * @param {Tok} t
+ */
+let opener = (type, t) => {
+	blocks.length < DEPTH || fault('Template too deeply nested', 'SJABLOON_TOO_DEEP', t);
+	return Object.freeze({ type, start: t[2], end: t[3] });
+};
+/**
+ * @template {object} E
+ * @param {E} e
+ * @param {any} context
+ * @returns {E}
+ */
+let attach = (e, context) => {
+	Object.defineProperty(e, 'blocks', { value: context, enumerable: true });
+	mark(e);
+	return e;
+};
+/**
+ * Throw a located compile-time diagnostic. `code` is typed to the published
+ * union, so a code that is not declared in `types.d.ts` fails to compile here
+ * rather than shipping undeclared — which is exactly how SJABLOON_TOO_DEEP got
+ * out for two releases.
+ *
+ * @param {string} msg
+ * @param {SjabloonErrorCode} code
+ * @param {any[]} [t] The token to point at; omitted for end-of-source faults.
+ * @returns {never}
+ */
+const fault = (msg, code, t, start = t?.[2] ?? src.length, end = t?.[3] ?? src.length) => {
+	const e = /** @type {SyntaxError & { code: SjabloonErrorCode, start: number, end: number }} */ (SyntaxError(msg));
+	e.code = code;
+	e.start = start;
+	e.end = end;
+	throw attach(e, snap());
+};
+/**
+ * Re-locate a diagnostic thrown by a nested compile or render into this
+ * template's coordinates, then rethrow it as ours. Always throws.
+ *
+ * `owns` is a plain predicate rather than a type guard: `e` is retyped here,
+ * not narrowed. `const` with an explicit `never` type is what lets callers
+ * treat the catch block as terminal.
+ *
+ * @type {(e: any, start: number, context: any, owns?: (e: unknown) => boolean) => never}
+ */
+const translated = (e, start, context, owns = isXprsnDiagnostic) => {
+	if (!owns(e)) throw e;
+	e.start += start;
+	e.end += start;
+	throw attach(e, context);
+};
+/**
+ * @param {Tok} t
+ * @returns {never}
+ */
+let unexpected = t => fault('Unexpected {{' + t[1] + '}}', 'SJABLOON_UNEXPECTED_TAG', t);
+
+// Append every node's output into the accumulator `o`, which the root wrapper
+// creates once per render and threads all the way down. Nodes return nothing:
+// no intermediate array per node list, no join, and render order is just push
+// order.
+/**
+ * @param {Node<any>[]} nodes
+ * @param {any} v
+ * @param {any} o
+ */
+let run = (nodes, v, o) => { for (const n of nodes) n(v, o); };
+
+// A leaf interpolation node: compile the expression, then let the profile turn
+// the evaluated value into output. `k` is VAL for `{{ }}`, RAW for `{{{ }}}`.
+/**
+ * @param {Tok} t
+ * @param {any} k
+ * @returns {Node<any>}
+ */
+let interp = (t, k) => k(cp(t[1], t[4], snap()));
+
+// Compile one expression and collect its free variables (minus the loop
+// variables currently in scope, which belong to the template) and the registry
+// functions it calls.
+/**
+ * @param {string} s
+ * @param {number} start
+ * @param {any} context
+ * @returns {(v: any) => any}
+ */
+let cp = (s, start, context) => {
+	/** @type {ReturnType<typeof compile>} */
+	let e;
+	try {
+		// `SjabloonFunctions` is `Record<string, Function>`; xprsn's registry wants
+		// `Record<string, (...args: any[]) => any>`, and TypeScript deliberately
+		// refuses `Function` against a call signature. The registry is passed
+		// straight through untouched, so this is a published-type mismatch rather
+		// than a real one — narrowing `SjabloonFunctions` would change the API.
+		e = compile(s, /** @type {any} */ (fns));
+	} catch (x) {
+		translated(x, start, context);
+	}
+	for (const n of e.names) bound.includes(n) || nms.add(n);
+	for (const fn of e.functions) fnms.add(fn);
+	return v => {
+		try {
+			return e(v);
+		} catch (x) {
+			translated(x, start, context, e.isDiagnostic);
+		}
+	};
+};
+
+// One `#if`/`#elif` link: parse its branch, then recurse on the chain tail.
+/**
+ * @param {(v: any) => any} cond
+ * @returns {Node<any>}
+ */
+let branch = cond => {
+	const then = parse(['#elif', '#else', '/if']);
+	const tag = last[1];
+	let els = /** @type {Node<any>[]} */ ([]);
+	if (tag.startsWith('#elif ')) els = [branch(cp(tag.slice(6), last[4] + 6, snap()))];
+	else if (tag === '#else') {
+		els = parse(['/if']);
+		last[1] === '/if' || unexpected(last);
+	} else if (tag !== '/if') unexpected(last);
+	return (v, o) => run(cond(v) ? then : els, v, o);
+};
+
+/**
+ * @param {string[]} stops
+ * @returns {Node<any>[]}
+ */
+let parse = stops => {
+	const nodes = /** @type {Node<any>[]} */ ([]);
+	for (let t; (t = toks[i++]); ) {
+		const tag = t[1];
+		if (!t[0]) {
+			// Left-trim can shave a text run down to nothing; never emit it.
+			tag && nodes.push(LIT(tag));
+		} else if (t[0] === 1) {
+			// The lexer always tokenizes `}}}` — dropping it would cost the
+			// `triple` latch that keeps lexing linear — so editions without a
+			// raw form reject it here, at the parser, with a located span.
+			RAW || fault('Raw {{{' + tag + '}}} is not available here; {{ ' + tag + ' }} is already raw', 'SJABLOON_RAW_TAG', t);
+			nodes.push(interp(t, RAW));
+		} else if (stops.includes(tag.split(' ')[0])) {
+			last = t;
+			return nodes;
+		} else if (tag[0] === '!') {
+			// comment
+		} else if (tag.startsWith('#if ')) {
+			blocks.push(opener('if', t));
+			nodes.push(branch(cp(tag.slice(4), t[4] + 4, snap())));
+			blocks.pop();
+		} else if (/^#each(?:\s|$)/.test(tag)) {
+			blocks.push(opener('each', t));
+			// `|| fault()` in the initializer, not as a follow-up statement: fault
+			// returns never, so `m` is non-null from here without a second check.
+			const m = /^#each ([\s\S]+) as ((\w+)(?:\s*,\s*(\w+))?)$/.exec(tag) || fault('Bad {{' + tag + '}}', 'SJABLOON_EACH_SYNTAX', t);
+			const name = m[3], idx = m[4], at = t[4] + tag.length - m[2].length;
+			if (BLOCKED.test(name)) fault('Bad {{' + tag + '}}', 'SJABLOON_BLOCKED_BINDING', t, at, at + name.length);
+			if (idx && BLOCKED.test(idx)) {
+				const p = t[4] + tag.length - idx.length;
+				fault('Bad {{' + tag + '}}', 'SJABLOON_BLOCKED_BINDING', t, p, p + idx.length);
+			}
+			const list = cp(m[1], t[4] + 6, snap());
+			// `name`, `idx`, and `loop` are engine-bound inside the body, so
+			// exclude them from names there and restore outer bindings after.
+			const mark = bound.length;
+			bound.push(name);
+			if (idx) bound.push(idx);
+			bound.push('loop');
+			const body = parse(['#else', '/each']);
+			bound.length = mark;
+			let empty = /** @type {Node<any>[]} */ ([]);
+			if (last[1] === '#else') {
+				empty = parse(['/each']);
+				last[1] === '/each' || unexpected(last);
+			} else if (last[1] !== '/each') unexpected(last);
+			blocks.pop();
+			// Child scopes inherit the parent via the prototype chain, so outer
+			// variables stay visible inside the loop body. `@` re-points to the
+			// current item at each level, `$` (root) rides the chain, and `loop`
+			// carries the iteration metadata (index/first/last/length).
+			nodes.push((v, o) => {
+				const lv = list(v), arr = Array.isArray(lv);
+				const ps = arr ? lv.slice() : lv && typeof lv === 'object' ? Object.keys(lv).map(k => [lv[k], k]) : [];
+				if (!ps.length) return run(empty, v, o);
+				// forEach, not a counted loop: `slice()` keeps holes and forEach
+				// skips them exactly as the `.map()` this replaced did, so sparse
+				// arrays iterate the same way with surrounding indexes unshifted.
+				ps.forEach((x, j) => {
+					const item = arr ? x : x[0], key = arr ? j : x[1];
+					const s = Object.create(v);
+					s[name] = item;
+					if (idx) s[idx] = key;
+					s['@'] = item;
+					s.loop = { index: j + 1, index0: j, first: !j, last: j === ps.length - 1, length: ps.length };
+					run(body, s, o);
+				});
+			});
+		} else if (/^#(?:if|elif|else)(?:\s|$)/.test(tag) || tag[0] === '/') {
+			unexpected(t);
+		} else if (tag[0] === '#') {
+			fault('Unknown {{' + tag + '}}', 'SJABLOON_UNKNOWN_BLOCK', t);
+		} else {
+			nodes.push(interp(t, VAL));
+		}
+	}
+	stops.length && fault('Missing {{' + stops[stops.length - 1] + '}}', 'SJABLOON_UNCLOSED_BLOCK');
+	return nodes;
+};
+
+/**
+ * Bind the parser to an output profile. Each edition calls this once at module
+ * load and gets back its own `template` and `render`; the parser itself stays
+ * module-level and shared, so there is exactly one diagnostics WeakSet.
+ *
+ * `template(str, funcs?)` compiles a template once, to render it many times.
+ *
+ * The returned renderer exposes `names`: the variables the template reads
+ * from your values, deduplicated. Loop variables the template introduces are
+ * not included. It also exposes `functions`: the registry functions the
+ * template calls, deduplicated.
+ *
+ * Two anchors are always in scope: `$` is the root values, and `@` is the
+ * current `#each` item (the root outside any loop). They let a nested loop
+ * reach the root (`$.company`) or the current item (`@.total`) explicitly,
+ * past any shadowing. Neither counts as a `name`.
+ *
+ * An embedder with its own scope model can override the anchors per render by
+ * passing `{ root, item }` as the renderer's second argument: `$` becomes
+ * `root` and `@` becomes `item` (two distinct objects). Omit `item` to leave
+ * `@` unbound, so reading `@.x` throws through xprsn's guard.
+ *
+ * Render order is push order into a single accumulator: loop bodies append once
+ * per iteration, untaken branches append nothing, and block expressions (`#if`
+ * conditions, `#each` collections) never append at all. The token edition
+ * exposes that ordering directly; the string editions collapse it to text.
+ *
+ * A profile is `[lit, val, raw, seed, take]`:
+ *   lit(text)  node emitting one static text run
+ *   val(expr)  node emitting a `{{ }}` interpolation
+ *   raw(expr)  node emitting a `{{{ }}}` interpolation
+ *   seed()     a fresh output accumulator, one per render
+ *   take(acc)  the render's return value
+ * Nodes are `(scope, acc) => void`; see run().
+ *
+ * @template A The accumulator this edition threads through its nodes.
+ * @template T What one render returns.
+ * @param {[
+ *   lit: (text: string) => Node<A>,
+ *   val: (expr: (scope: any) => any) => Node<A>,
+ *   raw: ((expr: (scope: any) => any) => Node<A>) | 0,
+ *   seed: () => A,
+ *   take: (acc: A) => T,
+ * ]} profile The output profile, as above.
+ * @returns {{
+ *   template: (str: string, funcs?: SjabloonFunctions) => SjabloonRenderer<T>,
+ *   render: (str: string, values?: SjabloonValues, funcs?: SjabloonFunctions) => T,
+ * }} That edition's API.
+ * @throws {SyntaxError} `template` throws on malformed tags, unclosed blocks,
+ *   or bad expressions.
+ */
+export let make = ([lit, val, raw, seed, take]) => {
+	/**
+	 * @param {string} str
+	 * @param {SjabloonFunctions} [funcs]
+	 * @returns {SjabloonRenderer<T>}
+	 */
+	function template(str, funcs) {
+		LIT = lit, VAL = val, RAW = raw;
+		fns = funcs;
+		// `$` (root) and `@` (current item) are engine-bound anchors, always in
+		// scope, so they never count as caller-supplied `names`.
+		bound = ['$', '@'];
+		nms = new Set();
+		fnms = new Set();
+		src = String(str);
+		blocks = [];
+		toks = lex(src);
+		i = 0;
+		// Deeply nested blocks overflow the recursive-descent parser; surface that
+		// as a SyntaxError so malformed input keeps its documented compile-time
+		// contract (mirroring xprsn's XPRSN_TOO_DEEP for expressions).
+		let nodes;
+		try {
+			nodes = parse([]);
+		} catch (x) {
+			// An empty span at the end, like an unclosed block.
+			if (x instanceof RangeError) fault('Template too deeply nested', 'SJABLOON_TOO_DEEP');
+			throw x;
+		}
+		// Wrap the values in a root scope carrying the anchors, without mutating
+		// what the caller passed: by default `$` and `@` both point at the root.
+		// An embedder can override the anchors with a `{ root, item }` second arg:
+		// `$` = root, `@` = item (distinct objects). Omitting `item` leaves `@`
+		// unbound, so `@.x` throws through xprsn's guard — a group-header band that
+		// has no current row wants exactly that.
+		const f = (/** @type {any} */ v, /** @type {any} */ o) => {
+			v = v || EMPTY;
+			const r = Object.create(v);
+			r['$'] = o ? o.root : v;
+			if (!o) r['@'] = v;
+			else if ('item' in o) r['@'] = o.item;
+			// One accumulator per render, owned here and threaded down. A registry
+			// function that renders another template gets its own, so re-entrancy
+			// needs no bookkeeping.
+			const acc = seed();
+			run(nodes, r, acc);
+			return take(acc);
+		};
+		// Array.from, not a spread: the bundler's transpile turns `[...set]` into
+		// `[].concat(set)`, which wraps the Set instead of unpacking it.
+		f.names = Array.from(nms);
+		f.functions = Array.from(fnms);
+		return f;
+	}
+	return { template, render: (str, values, funcs) => template(str, funcs)(values) };
+};

package/lib/html.d.ts

@@ -0,0 +1,17 @@
+export * from './types.js';
+import type { SjabloonFunctions, SjabloonRenderer, SjabloonValues } from './types.js';
+
+/**
+ * Compile a template once, render it many times to an HTML string.
+ *
+ * `{{ expr }}` HTML-escapes (`& < > " '`) and `{{{ expr }}}` interpolates raw.
+ * This is the only edition that knows what HTML is; the rest of sjabloon leaves
+ * escaping to the output edge.
+ *
+ * @see SjabloonRenderer for `names`/`functions`, SjabloonScope for `$` and `@`.
+ * @throws {SyntaxError} On malformed tags, unclosed blocks, or bad expressions.
+ */
+export function template(str: string, funcs?: SjabloonFunctions): SjabloonRenderer<string>;
+
+/** Compile and render in one go. Shorthand for `template(str, funcs)(values)`. */
+export function render(str: string, values?: SjabloonValues, funcs?: SjabloonFunctions): string;

package/lib/html.js

@@ -0,0 +1,21 @@
+/**
+ * The HTML edition: `{{ }}` HTML-escapes, `{{{ }}}` interpolates raw. This is
+ * 0.6's behaviour, kept for templates that target HTML directly. Everything
+ * else in sjabloon is output-neutral; escaping lives here and nowhere else.
+ */
+import { make } from './core.js';
+
+/** @type {Record<string, string>} */
+const ESC = { '&': '&amp;', '<': '&lt;', '>': '&gt;', '"': '&quot;', "'": '&#39;' };
+/** @param {any} s */
+const esc = s => String(s).replace(/[&<>"']/g, c => ESC[c]);
+
+export { isDiagnostic } from './core.js';
+
+export const { template, render } = make([
+	s => (v, o) => { o.s += s; },
+	e => (v, o, x) => (x = e(v), o.s += esc(x ?? '')),
+	e => (v, o, x) => (x = e(v), o.s += String(x ?? '')),
+	() => ({ s: '' }),
+	o => o.s,
+]);

package/lib/index.d.ts

@@ -0,0 +1,23 @@
+export * from './types.js';
+import type { SjabloonFunctions, SjabloonRenderer, SjabloonValues, Token } from './types.js';
+
+/**
+ * Compile a template once, render it many times to a token stream.
+ *
+ * `{{ expr }}` emits a value token; escaping belongs to whoever consumes the
+ * stream, so `{{{ expr }}}` has no meaning here and is a compile-time
+ * `SJABLOON_RAW_TAG` error.
+ *
+ * @see SjabloonRenderer for `names`/`functions`, SjabloonScope for `$` and `@`.
+ * @throws {SyntaxError} On malformed tags, unclosed blocks, or bad expressions.
+ */
+export function template(str: string, funcs?: SjabloonFunctions): SjabloonRenderer<Token[]>;
+
+/** Compile and render in one go. Shorthand for `template(str, funcs)(values)`. */
+export function render(str: string, values?: SjabloonValues, funcs?: SjabloonFunctions): Token[];
+
+/**
+ * Join a token stream into the string `sjabloon/text` would have produced:
+ * literals verbatim, values as `String(value ?? '')`.
+ */
+export function text(tokens: readonly Token[]): string;