@gyral/core 0.2.0 → 0.3.1

package/dist/view/normalize/tree.js

@@ -0,0 +1,235 @@
+// Tree builder for the normalizer (view/01-templates.md "Normalization"): turns the tokenizer's
+// tokens into the tree the HTML parser builds for valid markup (WHATWG "tree construction":
+// namespaces, void elements, raw text, the leading newline of <pre>/<listing>/<textarea>), so
+// part paths match the browser's DOM. Markup the parser would repair is an error instead of
+// being modelled (rule 7, repairs.ts), as are rules 3, 4, 6, 10, 12 and 13. An svg template's
+// top level is SVG content, as if inside an <svg> (01 "svg templates", svg.ts).
+import { decodeRefs, unquote } from './entities.js';
+import { breaksOutOfForeign, contextOf, rootContext, startRepair, textRepair, } from './repairs.js';
+import { BOOLEAN_ATTRS, formStateFix, msg, SVG_ONLY, VOID } from './rules.js';
+import { HTML_ONLY, namespacedAttr, SVG_HTML_POINT, svgAttr } from './svg.js';
+const RAWTEXT = new Set('script style xmp iframe noembed noframes noscript plaintext'.split(' '));
+const RCDATA = new Set(['textarea', 'title']);
+const LEADING_NEWLINE = new Set(['pre', 'listing', 'textarea']);
+const DOCUMENT = new Set(['html', 'head', 'body']);
+function integrationPoint(el) {
+    if (el.ns === 'svg')
+        return SVG_HTML_POINT.test(el.name);
+    return el.ns === 'math' && /^(mi|mo|mn|ms|mtext)$/.test(el.name);
+}
+export class TreeBuilder {
+    /** `svg`: an svg template, whose top level is SVG content (01 "svg templates"). */
+    constructor(src, svg = false) {
+        this.src = src;
+        this.svg = svg;
+        this.root = [];
+        this.server = false;
+        this.stack = [];
+    }
+    get children() {
+        return this.stack.at(-1)?.children ?? this.root;
+    }
+    context() {
+        const top = this.stack.at(-1);
+        if (top === undefined)
+            return { ctx: this.rootCtx ?? 'body', atRoot: true };
+        if (top.ns !== 'html')
+            return { ctx: 'body', atRoot: false };
+        if (top.name === 'template')
+            return { ctx: top.inner ?? 'body', atRoot: true };
+        return { ctx: contextOf(top.name), atRoot: false };
+    }
+    inTemplate() {
+        return this.stack.some((el) => el.ns === 'html' && el.name === 'template');
+    }
+    text(raw) {
+        const text = this.fresh !== undefined && raw.startsWith('\n') ? raw.slice(1) : raw;
+        this.fresh = undefined;
+        if (text === '')
+            return;
+        const { ctx, atRoot } = this.context();
+        const repair = textRepair(text, ctx, atRoot);
+        if (repair !== undefined)
+            this.src.fail(7, repair);
+        this.children.push({ type: 'text', raw: text });
+    }
+    comment(raw) {
+        this.fresh = undefined;
+        this.children.push({ type: 'comment', raw });
+    }
+    doctype(raw) {
+        this.fresh = undefined;
+        if (this.svg)
+            this.src.fail(10, msg.htmlInSvg('!doctype', true));
+        this.server = true;
+        this.children.push({ type: 'doctype', raw });
+    }
+    hole(kind) {
+        this.fresh = undefined;
+        if (this.inTemplate())
+            this.src.fail(3, msg.inTemplate());
+        this.children.push({ type: 'hole', kind });
+    }
+    start(tag) {
+        this.fresh = undefined;
+        const { name } = tag;
+        const ns = this.namespace(tag);
+        if (ns === 'html')
+            this.checkHtml(tag);
+        if (this.inTemplate() && tag.attrs.some((a) => a.kind !== 'static')) {
+            this.src.fail(3, msg.inTemplate());
+        }
+        const empty = ns === 'html' ? VOID.has(name) : tag.selfClosing;
+        const custom = ns === 'html' && name.includes('-');
+        const el = {
+            type: 'el',
+            name,
+            raw: tag.raw,
+            ns,
+            attrs: this.attributes(tag, ns),
+            props: custom ? this.props(tag) : undefined,
+            empty,
+            children: [],
+        };
+        this.children.push(el);
+        if (empty)
+            return 'data';
+        this.stack.push(el);
+        if (ns !== 'html')
+            return 'data';
+        if (LEADING_NEWLINE.has(name))
+            this.fresh = el;
+        return RAWTEXT.has(name) ? 'rawtext' : RCDATA.has(name) ? 'rcdata' : 'data';
+    }
+    namespace(tag) {
+        const parent = this.stack.at(-1);
+        if (parent === undefined ? !this.svg : parent.ns === 'html' || integrationPoint(parent)) {
+            return tag.name === 'svg' ? 'svg' : tag.name === 'math' ? 'math' : 'html';
+        }
+        // An svg template's top level: SVG content, as inside the <svg> it renders in.
+        if (parent === undefined) {
+            const fontAttr = tag.attrs.some((a) => /^(color|face|size)$/i.test(a.name));
+            if (breaksOutOfForeign(tag.name, fontAttr) || HTML_ONLY.has(tag.name)) {
+                this.src.fail(10, msg.htmlInSvg(tag.raw, true));
+            }
+            return 'svg';
+        }
+        if (parent.name === 'annotation-xml' && tag.name === 'svg')
+            return 'svg';
+        if (parent.ns === 'svg' && HTML_ONLY.has(tag.name)) {
+            this.src.fail(10, msg.htmlInSvg(tag.raw, false));
+        }
+        const fontAttr = tag.attrs.some((a) => /^(color|face|size)$/i.test(a.name));
+        if (breaksOutOfForeign(tag.name, fontAttr)) {
+            this.src.fail(7, msg.repaired(`<${tag.name}> inside <${parent.ns}> ends the <${parent.ns}> element`, `Put HTML inside <foreignObject>, or move it out of the <${parent.ns}>.`));
+        }
+        return parent.ns;
+    }
+    checkHtml(tag) {
+        const { name } = tag;
+        if (SVG_ONLY.has(name))
+            this.src.fail(10, msg.svgOnly(tag.raw));
+        if (DOCUMENT.has(name))
+            this.server = true;
+        if (tag.selfClosing && !VOID.has(name))
+            this.src.fail(6, msg.selfClosing(tag.raw));
+        const top = this.stack.at(-1);
+        if (top === undefined)
+            this.rootCtx ??= rootContext(name);
+        else if (top.ns === 'html' && top.name === 'template')
+            top.inner ??= rootContext(name);
+        const { ctx, atRoot } = this.context();
+        const hidden = tag.attrs.some((a) => a.kind === 'static' &&
+            a.name.toLowerCase() === 'type' &&
+            /^["']?hidden["']?$/i.test(a.value ?? ''));
+        const repair = startRepair(name, ctx, atRoot, this.stack, hidden);
+        if (repair !== undefined)
+            this.src.fail(7, repair);
+    }
+    /**
+     * Bound names as the parser spells them (not properties): lower case on HTML elements, SVG's
+     * camelCase on SVG elements (svg.ts); rules 4, 7 (duplicates), 10 (namespaced), 13, 14 (boolean attributes). A
+     * static `style` gets its decoded value (`css`): the client applies it as a part (emit.ts).
+     */
+    attributes(tag, ns) {
+        const seen = new Set();
+        // A nested <template>'s content is out of the parts' reach: its static styles stay.
+        const reach = !this.inTemplate();
+        return tag.attrs.map((a) => {
+            const name = a.kind === 'prop' || ns === 'math'
+                ? a.name
+                : ns === 'html'
+                    ? a.name.toLowerCase()
+                    : svgAttr(a.name);
+            if (a.kind === 'prop' && ns === 'html') {
+                const fix = formStateFix(tag.name, a.name);
+                if (fix !== undefined)
+                    this.src.fail(4, msg.formState(tag.name, a.name, fix));
+            }
+            // Dialog and popover state is bound with `?`, on the element that can open (02).
+            if (ns === 'html' && (name === 'modal' || name === 'popover-open') && a.kind !== 'prop') {
+                const fits = name === 'modal'
+                    ? tag.name === 'dialog'
+                    : tag.attrs.some((b) => b.name.toLowerCase() === 'popover');
+                if (a.kind !== 'bool' || !fits)
+                    this.src.fail(4, msg.toggle(tag.name, name));
+            }
+            if (a.kind === 'attr' &&
+                ns === 'html' &&
+                !tag.name.includes('-') &&
+                BOOLEAN_ATTRS.has(name)) {
+                this.src.fail(14, msg.booleanAttr(tag.name, name));
+            }
+            if ((a.kind === 'attr' || a.kind === 'bool') && ns !== 'html' && namespacedAttr(a.name)) {
+                this.src.fail(10, msg.namespacedAttr(a.name));
+            }
+            if (a.kind !== 'prop' && a.kind !== 'hook') {
+                const key = ns === 'math' ? a.name : a.name.toLowerCase();
+                if (seen.has(key)) {
+                    this.src.fail(7, msg.repaired(`${key} appears twice on <${tag.raw}>, and the parser keeps only the first`, `Write it once; to mix static and dynamic text, quote one value: ${key}="a \${…}".`));
+                }
+                seen.add(key);
+            }
+            if (a.kind === 'static') {
+                if (!reach || a.name.toLowerCase() !== 'style')
+                    return a;
+                return { ...a, css: a.value === null ? '' : this.decode(unquote(a.value)) };
+            }
+            const strings = a.strings?.map((s) => this.decode(s));
+            return strings === undefined ? { kind: a.kind, name } : { kind: a.kind, name, strings };
+        });
+    }
+    props(tag) {
+        return tag.attrs.flatMap((a) => a.kind === 'static'
+            ? [[a.name.toLowerCase(), a.value === null ? '' : this.decode(unquote(a.value))]]
+            : []);
+    }
+    decode(raw) {
+        return decodeRefs(raw, (ref) => this.src.fail(13, msg.charRef(ref)));
+    }
+    end(name) {
+        this.fresh = undefined;
+        const top = this.stack.at(-1);
+        if (top?.name === name) {
+            this.close(top);
+            return;
+        }
+        if (VOID.has(name) && name !== 'br')
+            return; // ignored by the parser
+        const open = this.stack.some((el) => el.name === name);
+        this.src.fail(7, open && top !== undefined
+            ? msg.repaired(`</${name}> while <${top.raw}> is still open`, `Close </${top.raw}> first (end tags must match their start tags).`)
+            : msg.repaired(`</${name}> has no matching start tag${name === 'br' || name === 'p' ? `, so the parser creates an empty <${name}>` : ''}`, name === 'br' ? 'Write <br>.' : 'Remove it.'));
+    }
+    close(el) {
+        this.stack.pop();
+        const hasText = el.children.some((c) => c.type === 'hole' && c.kind === 'text');
+        if (hasText && el.children.length !== 1)
+            this.src.fail(12, msg.textContent(el.raw));
+    }
+    finish() {
+        for (let el = this.stack.at(-1); el !== undefined; el = this.stack.at(-1))
+            this.close(el);
+    }
+}
+//# sourceMappingURL=tree.js.map

package/dist/view/normalize/tree.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tree.js","sourceRoot":"","sources":["../../../src/view/normalize/tree.ts"],"names":[],"mappings":"AAAA,gGAAgG;AAChG,4FAA4F;AAC5F,8FAA8F;AAC9F,4FAA4F;AAC5F,8FAA8F;AAC9F,gFAAgF;AAChF,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AACpD,OAAO,EACL,kBAAkB,EAClB,SAAS,EACT,WAAW,EACX,WAAW,EACX,UAAU,GAGX,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAE9E,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,cAAc,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AA2B9E,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,6DAA6D,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;AAClG,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;AAC9C,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC;AAChE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;AAEnD,SAAS,gBAAgB,CAAC,EAAe;IACvC,IAAI,EAAE,CAAC,EAAE,KAAK,KAAK;QAAE,OAAO,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACzD,OAAO,EAAE,CAAC,EAAE,KAAK,MAAM,IAAI,uBAAuB,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;AACnE,CAAC;AAED,MAAM,OAAO,WAAW;IAQtB,mFAAmF;IACnF,YACmB,GAAW,EACX,MAAM,KAAK;QADX,QAAG,GAAH,GAAG,CAAQ;QACX,QAAG,GAAH,GAAG,CAAQ;QAVrB,SAAI,GAAe,EAAE,CAAC;QAC/B,WAAM,GAAG,KAAK,CAAC;QACE,UAAK,GAAkB,EAAE,CAAC;IASxC,CAAC;IAEJ,IAAY,QAAQ;QAClB,OAAO,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC;IAClD,CAAC;IAEO,OAAO;QACb,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAI,GAAG,KAAK,SAAS;YAAE,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,OAAO,IAAI,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;QAC5E,IAAI,GAAG,CAAC,EAAE,KAAK,MAAM;YAAE,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;QAC7D,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU;YAAE,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,KAAK,IAAI,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;QAC/E,OAAO,EAAE,GAAG,EAAE,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;IACrD,CAAC;IAEO,UAAU;QAChB,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,MAAM,IAAI,EAAE,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;IAC7E,CAAC;IAED,IAAI,CAAC,GAAW;QACd,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACnF,IAAI,CAAC,KAAK,GAAG,SAAS,CAAC;QACvB,IAAI,IAAI,KAAK,EAAE;YAAE,OAAO;QACxB,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QACvC,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;QAC7C,IAAI,MAAM,KAAK,SAAS;YAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;QACnD,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;IAClD,CAAC;IAED,OAAO,CAAC,GAAW;QACjB,IAAI,CAAC,KAAK,GAAG,SAAS,CAAC;QACvB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC;IAC/C,CAAC;IAED,OAAO,CAAC,GAAW;QACjB,IAAI,CAAC,KAAK,GAAG,SAAS,CAAC;QACvB,IAAI,IAAI,CAAC,GAAG;YAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,SAAS,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC;QACjE,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;QACnB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC;IAC/C,CAAC;IAED,IAAI,CAAC,IAAsB;QACzB,IAAI,CAAC,KAAK,GAAG,SAAS,CAAC;QACvB,IAAI,IAAI,CAAC,UAAU,EAAE;YAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC;QAC1D,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IAC7C,CAAC;IAED,KAAK,CAAC,GAAa;QACjB,IAAI,CAAC,KAAK,GAAG,SAAS,CAAC;QACvB,MAAM,EAAE,IAAI,EAAE,GAAG,GAAG,CAAC;QACrB,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QAC/B,IAAI,EAAE,KAAK,MAAM;YAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QACvC,IAAI,IAAI,CAAC,UAAU,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,EAAE,CAAC;YACpE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC;QACrC,CAAC;QACD,MAAM,KAAK,GAAG,EAAE,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC;QAC/D,MAAM,MAAM,GAAG,EAAE,KAAK,MAAM,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QACnD,MAAM,EAAE,GAAgB;YACtB,IAAI,EAAE,IAAI;YACV,IAAI;YACJ,GAAG,EAAE,GAAG,CAAC,GAAG;YACZ,EAAE;YACF,KAAK,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,EAAE,CAAC;YAC/B,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS;YAC3C,KAAK;YACL,QAAQ,EAAE,EAAE;SACb,CAAC;QACF,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACvB,IAAI,KAAK;YAAE,OAAO,MAAM,CAAC;QACzB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACpB,IAAI,EAAE,KAAK,MAAM;YAAE,OAAO,MAAM,CAAC;QACjC,IAAI,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;QAC/C,OAAO,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC;IAC9E,CAAC;IAEO,SAAS,CAAC,GAAa;QAC7B,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACjC,IAAI,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,KAAK,MAAM,IAAI,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC;YACxF,OAAO,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;QAC5E,CAAC;QACD,+EAA+E;QAC/E,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,QAAQ,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YAC5E,IAAI,kBAAkB,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;YAClD,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,gBAAgB,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,KAAK,CAAC;QACzE,IAAI,MAAM,CAAC,EAAE,KAAK,KAAK,IAAI,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACnD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;QACnD,CAAC;QACD,MAAM,QAAQ,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAC5E,IAAI,kBAAkB,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;YAC3C,IAAI,CAAC,GAAG,CAAC,IAAI,CACX,CAAC,EACD,GAAG,CAAC,QAAQ,CACV,IAAI,GAAG,CAAC,IAAI,aAAa,MAAM,CAAC,EAAE,eAAe,MAAM,CAAC,EAAE,WAAW,EACrE,2DAA2D,MAAM,CAAC,EAAE,IAAI,CACzE,CACF,CAAC;QACJ,CAAC;QACD,OAAO,MAAM,CAAC,EAAE,CAAC;IACnB,CAAC;IAEO,SAAS,CAAC,GAAa;QAC7B,MAAM,EAAE,IAAI,EAAE,GAAG,GAAG,CAAC;QACrB,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QAChE,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;QAC3C,IAAI,GAAG,CAAC,WAAW,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QACnF,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAI,GAAG,KAAK,SAAS;YAAE,IAAI,CAAC,OAAO,KAAK,WAAW,CAAC,IAAI,CAAC,CAAC;aACrD,IAAI,GAAG,CAAC,EAAE,KAAK,MAAM,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU;YAAE,GAAG,CAAC,KAAK,KAAK,WAAW,CAAC,IAAI,CAAC,CAAC;QACvF,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QACvC,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAC3B,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,QAAQ;YACnB,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,MAAM;YAC/B,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,CAC5C,CAAC;QACF,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAClE,IAAI,MAAM,KAAK,SAAS;YAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;IACrD,CAAC;IAED;;;;OAIG;IACK,UAAU,CAAC,GAAa,EAAE,EAAM;QACtC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,oFAAoF;QACpF,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;QACjC,OAAO,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YACzB,MAAM,IAAI,GACR,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,EAAE,KAAK,MAAM;gBAChC,CAAC,CAAC,CAAC,CAAC,IAAI;gBACR,CAAC,CAAC,EAAE,KAAK,MAAM;oBACb,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE;oBACtB,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACxB,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,EAAE,KAAK,MAAM,EAAE,CAAC;gBACvC,MAAM,GAAG,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;gBAC3C,IAAI,GAAG,KAAK,SAAS;oBAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;YAChF,CAAC;YACD,iFAAiF;YACjF,IAAI,EAAE,KAAK,MAAM,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,cAAc,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACxF,MAAM,IAAI,GACR,IAAI,KAAK,OAAO;oBACd,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ;oBACvB,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,SAAS,CAAC,CAAC;gBAChE,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,IAAI;oBAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;YAC/E,CAAC;YACD,IACE,CAAC,CAAC,IAAI,KAAK,MAAM;gBACjB,EAAE,KAAK,MAAM;gBACb,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;gBACvB,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EACvB,CAAC;gBACD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;YACrD,CAAC;YACD,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,MAAM,IAAI,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxF,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YAChD,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBAC3C,MAAM,GAAG,GAAG,EAAE,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;gBAC1D,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBAClB,IAAI,CAAC,GAAG,CAAC,IAAI,CACX,CAAC,EACD,GAAG,CAAC,QAAQ,CACV,GAAG,GAAG,sBAAsB,GAAG,CAAC,GAAG,wCAAwC,EAC3E,mEAAmE,GAAG,aAAa,CACpF,CACF,CAAC;gBACJ,CAAC;gBACD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAChB,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACxB,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,OAAO;oBAAE,OAAO,CAAC,CAAC;gBACzD,OAAO,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;YAC9E,CAAC;YACD,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;YACtD,OAAO,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;QAC1F,CAAC,CAAC,CAAC;IACL,CAAC;IAEO,KAAK,CAAC,GAAa;QACzB,OAAO,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAC7B,CAAC,CAAC,IAAI,KAAK,QAAQ;YACjB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YACjF,CAAC,CAAC,EAAE,CACP,CAAC;IACJ,CAAC;IAEO,MAAM,CAAC,GAAW;QACxB,OAAO,UAAU,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACvE,CAAC;IAED,GAAG,CAAC,IAAY;QACd,IAAI,CAAC,KAAK,GAAG,SAAS,CAAC;QACvB,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAI,GAAG,EAAE,IAAI,KAAK,IAAI,EAAE,CAAC;YACvB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YAChB,OAAO;QACT,CAAC;QACD,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,CAAC,wBAAwB;QACrE,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QACvD,IAAI,CAAC,GAAG,CAAC,IAAI,CACX,CAAC,EACD,IAAI,IAAI,GAAG,KAAK,SAAS;YACvB,CAAC,CAAC,GAAG,CAAC,QAAQ,CACV,KAAK,IAAI,YAAY,GAAG,CAAC,GAAG,iBAAiB,EAC7C,WAAW,GAAG,CAAC,GAAG,iDAAiD,CACpE;YACH,CAAC,CAAC,GAAG,CAAC,QAAQ,CACV,KAAK,IAAI,8BAA8B,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,qCAAqC,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,EAC1H,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,YAAY,CAC7C,CACN,CAAC;IACJ,CAAC;IAEO,KAAK,CAAC,EAAe;QAC3B,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;QACjB,MAAM,OAAO,GAAG,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;QAChF,IAAI,OAAO,IAAI,EAAE,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACtF,CAAC;IAED,MAAM;QACJ,KAAK,IAAI,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,SAAS,EAAE,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC5F,CAAC;CACF","sourcesContent":["// Tree builder for the normalizer (view/01-templates.md \"Normalization\"): turns the tokenizer's\n// tokens into the tree the HTML parser builds for valid markup (WHATWG \"tree construction\":\n// namespaces, void elements, raw text, the leading newline of <pre>/<listing>/<textarea>), so\n// part paths match the browser's DOM. Markup the parser would repair is an error instead of\n// being modelled (rule 7, repairs.ts), as are rules 3, 4, 6, 10, 12 and 13. An svg template's\n// top level is SVG content, as if inside an <svg> (01 \"svg templates\", svg.ts).\nimport { decodeRefs, unquote } from './entities.js';\nimport {\n  breaksOutOfForeign,\n  contextOf,\n  rootContext,\n  startRepair,\n  textRepair,\n  type Context,\n  type Ns,\n} from './repairs.js';\nimport { BOOLEAN_ATTRS, formStateFix, msg, SVG_ONLY, VOID } from './rules.js';\nimport type { Source } from './source.js';\nimport { HTML_ONLY, namespacedAttr, SVG_HTML_POINT, svgAttr } from './svg.js';\nimport type { AttrToken, ContentMode, Sink, StartTag } from './tokenizer.js';\n\nexport interface ElementNode {\n  readonly type: 'el';\n  /** Lower-case name, and the name as written. */\n  readonly name: string;\n  readonly raw: string;\n  readonly ns: Ns;\n  /** Static and bound attributes; bound names normalized, multi strings decoded. */\n  readonly attrs: readonly AttrToken[];\n  /** A custom element's static attributes, decoded (server props); undefined otherwise. */\n  readonly props: readonly (readonly [string, string])[] | undefined;\n  /** No end tag: a void element, or a self-closed SVG/MathML element. */\n  readonly empty: boolean;\n  readonly children: TreeNode[];\n  /** For <template>: the context its first start tag chose. */\n  inner?: Context;\n}\n\nexport type TreeNode =\n  | ElementNode\n  | { readonly type: 'text'; readonly raw: string }\n  | { readonly type: 'comment'; readonly raw: string }\n  | { readonly type: 'doctype'; readonly raw: string }\n  | { readonly type: 'hole'; readonly kind: 'child' | 'text' };\n\nconst RAWTEXT = new Set('script style xmp iframe noembed noframes noscript plaintext'.split(' '));\nconst RCDATA = new Set(['textarea', 'title']);\nconst LEADING_NEWLINE = new Set(['pre', 'listing', 'textarea']);\nconst DOCUMENT = new Set(['html', 'head', 'body']);\n\nfunction integrationPoint(el: ElementNode): boolean {\n  if (el.ns === 'svg') return SVG_HTML_POINT.test(el.name);\n  return el.ns === 'math' && /^(mi|mo|mn|ms|mtext)$/.test(el.name);\n}\n\nexport class TreeBuilder implements Sink {\n  readonly root: TreeNode[] = [];\n  server = false;\n  private readonly stack: ElementNode[] = [];\n  private rootCtx: Context | undefined;\n  /** The <pre>/<listing>/<textarea> whose first newline the parser drops, if just opened. */\n  private fresh: ElementNode | undefined;\n\n  /** `svg`: an svg template, whose top level is SVG content (01 \"svg templates\"). */\n  constructor(\n    private readonly src: Source,\n    private readonly svg = false,\n  ) {}\n\n  private get children(): TreeNode[] {\n    return this.stack.at(-1)?.children ?? this.root;\n  }\n\n  private context(): { ctx: Context; atRoot: boolean } {\n    const top = this.stack.at(-1);\n    if (top === undefined) return { ctx: this.rootCtx ?? 'body', atRoot: true };\n    if (top.ns !== 'html') return { ctx: 'body', atRoot: false };\n    if (top.name === 'template') return { ctx: top.inner ?? 'body', atRoot: true };\n    return { ctx: contextOf(top.name), atRoot: false };\n  }\n\n  private inTemplate(): boolean {\n    return this.stack.some((el) => el.ns === 'html' && el.name === 'template');\n  }\n\n  text(raw: string): void {\n    const text = this.fresh !== undefined && raw.startsWith('\\n') ? raw.slice(1) : raw;\n    this.fresh = undefined;\n    if (text === '') return;\n    const { ctx, atRoot } = this.context();\n    const repair = textRepair(text, ctx, atRoot);\n    if (repair !== undefined) this.src.fail(7, repair);\n    this.children.push({ type: 'text', raw: text });\n  }\n\n  comment(raw: string): void {\n    this.fresh = undefined;\n    this.children.push({ type: 'comment', raw });\n  }\n\n  doctype(raw: string): void {\n    this.fresh = undefined;\n    if (this.svg) this.src.fail(10, msg.htmlInSvg('!doctype', true));\n    this.server = true;\n    this.children.push({ type: 'doctype', raw });\n  }\n\n  hole(kind: 'child' | 'text'): void {\n    this.fresh = undefined;\n    if (this.inTemplate()) this.src.fail(3, msg.inTemplate());\n    this.children.push({ type: 'hole', kind });\n  }\n\n  start(tag: StartTag): ContentMode {\n    this.fresh = undefined;\n    const { name } = tag;\n    const ns = this.namespace(tag);\n    if (ns === 'html') this.checkHtml(tag);\n    if (this.inTemplate() && tag.attrs.some((a) => a.kind !== 'static')) {\n      this.src.fail(3, msg.inTemplate());\n    }\n    const empty = ns === 'html' ? VOID.has(name) : tag.selfClosing;\n    const custom = ns === 'html' && name.includes('-');\n    const el: ElementNode = {\n      type: 'el',\n      name,\n      raw: tag.raw,\n      ns,\n      attrs: this.attributes(tag, ns),\n      props: custom ? this.props(tag) : undefined,\n      empty,\n      children: [],\n    };\n    this.children.push(el);\n    if (empty) return 'data';\n    this.stack.push(el);\n    if (ns !== 'html') return 'data';\n    if (LEADING_NEWLINE.has(name)) this.fresh = el;\n    return RAWTEXT.has(name) ? 'rawtext' : RCDATA.has(name) ? 'rcdata' : 'data';\n  }\n\n  private namespace(tag: StartTag): Ns {\n    const parent = this.stack.at(-1);\n    if (parent === undefined ? !this.svg : parent.ns === 'html' || integrationPoint(parent)) {\n      return tag.name === 'svg' ? 'svg' : tag.name === 'math' ? 'math' : 'html';\n    }\n    // An svg template's top level: SVG content, as inside the <svg> it renders in.\n    if (parent === undefined) {\n      const fontAttr = tag.attrs.some((a) => /^(color|face|size)$/i.test(a.name));\n      if (breaksOutOfForeign(tag.name, fontAttr) || HTML_ONLY.has(tag.name)) {\n        this.src.fail(10, msg.htmlInSvg(tag.raw, true));\n      }\n      return 'svg';\n    }\n    if (parent.name === 'annotation-xml' && tag.name === 'svg') return 'svg';\n    if (parent.ns === 'svg' && HTML_ONLY.has(tag.name)) {\n      this.src.fail(10, msg.htmlInSvg(tag.raw, false));\n    }\n    const fontAttr = tag.attrs.some((a) => /^(color|face|size)$/i.test(a.name));\n    if (breaksOutOfForeign(tag.name, fontAttr)) {\n      this.src.fail(\n        7,\n        msg.repaired(\n          `<${tag.name}> inside <${parent.ns}> ends the <${parent.ns}> element`,\n          `Put HTML inside <foreignObject>, or move it out of the <${parent.ns}>.`,\n        ),\n      );\n    }\n    return parent.ns;\n  }\n\n  private checkHtml(tag: StartTag): void {\n    const { name } = tag;\n    if (SVG_ONLY.has(name)) this.src.fail(10, msg.svgOnly(tag.raw));\n    if (DOCUMENT.has(name)) this.server = true;\n    if (tag.selfClosing && !VOID.has(name)) this.src.fail(6, msg.selfClosing(tag.raw));\n    const top = this.stack.at(-1);\n    if (top === undefined) this.rootCtx ??= rootContext(name);\n    else if (top.ns === 'html' && top.name === 'template') top.inner ??= rootContext(name);\n    const { ctx, atRoot } = this.context();\n    const hidden = tag.attrs.some(\n      (a) =>\n        a.kind === 'static' &&\n        a.name.toLowerCase() === 'type' &&\n        /^[\"']?hidden[\"']?$/i.test(a.value ?? ''),\n    );\n    const repair = startRepair(name, ctx, atRoot, this.stack, hidden);\n    if (repair !== undefined) this.src.fail(7, repair);\n  }\n\n  /**\n   * Bound names as the parser spells them (not properties): lower case on HTML elements, SVG's\n   * camelCase on SVG elements (svg.ts); rules 4, 7 (duplicates), 10 (namespaced), 13, 14 (boolean attributes). A\n   * static `style` gets its decoded value (`css`): the client applies it as a part (emit.ts).\n   */\n  private attributes(tag: StartTag, ns: Ns): AttrToken[] {\n    const seen = new Set<string>();\n    // A nested <template>'s content is out of the parts' reach: its static styles stay.\n    const reach = !this.inTemplate();\n    return tag.attrs.map((a) => {\n      const name =\n        a.kind === 'prop' || ns === 'math'\n          ? a.name\n          : ns === 'html'\n            ? a.name.toLowerCase()\n            : svgAttr(a.name);\n      if (a.kind === 'prop' && ns === 'html') {\n        const fix = formStateFix(tag.name, a.name);\n        if (fix !== undefined) this.src.fail(4, msg.formState(tag.name, a.name, fix));\n      }\n      // Dialog and popover state is bound with `?`, on the element that can open (02).\n      if (ns === 'html' && (name === 'modal' || name === 'popover-open') && a.kind !== 'prop') {\n        const fits =\n          name === 'modal'\n            ? tag.name === 'dialog'\n            : tag.attrs.some((b) => b.name.toLowerCase() === 'popover');\n        if (a.kind !== 'bool' || !fits) this.src.fail(4, msg.toggle(tag.name, name));\n      }\n      if (\n        a.kind === 'attr' &&\n        ns === 'html' &&\n        !tag.name.includes('-') &&\n        BOOLEAN_ATTRS.has(name)\n      ) {\n        this.src.fail(14, msg.booleanAttr(tag.name, name));\n      }\n      if ((a.kind === 'attr' || a.kind === 'bool') && ns !== 'html' && namespacedAttr(a.name)) {\n        this.src.fail(10, msg.namespacedAttr(a.name));\n      }\n      if (a.kind !== 'prop' && a.kind !== 'hook') {\n        const key = ns === 'math' ? a.name : a.name.toLowerCase();\n        if (seen.has(key)) {\n          this.src.fail(\n            7,\n            msg.repaired(\n              `${key} appears twice on <${tag.raw}>, and the parser keeps only the first`,\n              `Write it once; to mix static and dynamic text, quote one value: ${key}=\"a \\${…}\".`,\n            ),\n          );\n        }\n        seen.add(key);\n      }\n      if (a.kind === 'static') {\n        if (!reach || a.name.toLowerCase() !== 'style') return a;\n        return { ...a, css: a.value === null ? '' : this.decode(unquote(a.value)) };\n      }\n      const strings = a.strings?.map((s) => this.decode(s));\n      return strings === undefined ? { kind: a.kind, name } : { kind: a.kind, name, strings };\n    });\n  }\n\n  private props(tag: StartTag): [string, string][] {\n    return tag.attrs.flatMap((a) =>\n      a.kind === 'static'\n        ? [[a.name.toLowerCase(), a.value === null ? '' : this.decode(unquote(a.value))]]\n        : [],\n    );\n  }\n\n  private decode(raw: string): string {\n    return decodeRefs(raw, (ref) => this.src.fail(13, msg.charRef(ref)));\n  }\n\n  end(name: string): void {\n    this.fresh = undefined;\n    const top = this.stack.at(-1);\n    if (top?.name === name) {\n      this.close(top);\n      return;\n    }\n    if (VOID.has(name) && name !== 'br') return; // ignored by the parser\n    const open = this.stack.some((el) => el.name === name);\n    this.src.fail(\n      7,\n      open && top !== undefined\n        ? msg.repaired(\n            `</${name}> while <${top.raw}> is still open`,\n            `Close </${top.raw}> first (end tags must match their start tags).`,\n          )\n        : msg.repaired(\n            `</${name}> has no matching start tag${name === 'br' || name === 'p' ? `, so the parser creates an empty <${name}>` : ''}`,\n            name === 'br' ? 'Write <br>.' : 'Remove it.',\n          ),\n    );\n  }\n\n  private close(el: ElementNode): void {\n    this.stack.pop();\n    const hasText = el.children.some((c) => c.type === 'hole' && c.kind === 'text');\n    if (hasText && el.children.length !== 1) this.src.fail(12, msg.textContent(el.raw));\n  }\n\n  finish(): void {\n    for (let el = this.stack.at(-1); el !== undefined; el = this.stack.at(-1)) this.close(el);\n  }\n}\n"]}

package/dist/view/normalize/types.d.ts

@@ -0,0 +1,146 @@
+/** Child-index path from the template's content root (`[]` is the root itself). */
+export type Path = readonly number[];
+/** `[CHILD_END, path]`: a child hole that inserts at the end of its parent. */
+export declare const CHILD_END = 0;
+/** `[CHILD_SOLE, path]`: a child hole that is its parent's only child node (so at its end). */
+export declare const CHILD_SOLE = 1;
+/** `[CHILD_BEFORE, path, ref]`: a child hole that inserts before the parent's child `ref`. */
+export declare const CHILD_BEFORE = 2;
+/** `[ATTR_PART, path, name]`: `name=${v}`. */
+export declare const ATTR_PART = 3;
+/**
+ * `[MULTI_PART, path, name, strings]`: `name="a ${x} b"`; with one string and no values, a
+ * static `style` attribute the client applies through the CSSOM (01 "Normalization").
+ */
+export declare const MULTI_PART = 4;
+/** `[BOOL_PART, path, name]`: `?name=${v}`. */
+export declare const BOOL_PART = 5;
+/** `[PROP_PART, path, name]`: `.name=${v}`. */
+export declare const PROP_PART = 6;
+/** `[HOOK_PART, path]`: `${hook(…)}` in a start tag. */
+export declare const HOOK_PART = 7;
+/** `[TEXT_PART, path]`: the whole content of a `<textarea>` or `<title>`. */
+export declare const TEXT_PART = 8;
+/**
+ * One entry per binding, in source order: a tuple whose first entry is its kind (above), whose
+ * second is a path, then the kind's own fields. Multi-attributes take several values.
+ *
+ * - Child holes: `path` leads to the parent element (`[]`: the template root). `ref` is the
+ *   index, among the parent's child nodes in the template DOM, of the node the part inserts
+ *   before: the next static element or comment, or the anchor comment the normalizer emitted.
+ *   Without `ref` the hole inserts at the end of the parent (CHILD_END, CHILD_SOLE).
+ * - Attributes, booleans, properties: `path` leads to the element; `name` is the attribute or
+ *   property name. A multi-attribute's `strings` are its static pieces (character references
+ *   already decoded): `strings.length - 1` values are joined with them.
+ * - Hooks: `path` leads to the element. Text: `path` leads to the `<textarea>`/`<title>`.
+ */
+export type PartSpec = readonly [
+    kind: typeof CHILD_END | typeof CHILD_SOLE | typeof HOOK_PART | typeof TEXT_PART,
+    path: Path
+] | readonly [kind: typeof CHILD_BEFORE, path: Path, ref: number] | readonly [
+    kind: typeof ATTR_PART | typeof BOOL_PART | typeof PROP_PART,
+    path: Path,
+    name: string
+] | readonly [kind: typeof MULTI_PART, path: Path, name: string, strings: readonly string[]];
+/**
+ * What the server renderer writes (view/06-server.md), in order, with no tokenizing. Strings
+ * are static markup, written verbatim. Each hole op takes the next value(s); the custom-element
+ * ops take none and mark where a component's start tag ends and its end tag begins.
+ *
+ * - `child`: the value per 02's child table. Anchors are already in the next static string.
+ *   `in` is the parent element's local name (absent at the template root, where the parent is
+ *   wherever the instance is written): the development check for text the parser would move
+ *   out of table structure needs it. `svg` is set when the parent is SVG content (an SVG
+ *   element other than <foreignObject>, <desc>, <title>), where svg templates may render.
+ * - `text`: the value as escaped text (`<textarea>`, `<title>` content).
+ * - `attr`: ` name="escaped"`, or nothing for null/undefined/nothing. With `strings`, the
+ *   pieces and `strings.length - 1` values are joined first (`nothing` in any piece: nothing).
+ * - `bool`: ` name` when the value is truthy.
+ * - `prop`: nothing in markup; a prop when the element is a Gyral component.
+ * - `hook`: the hook's `server(args)` attributes.
+ * - `open`: a custom element's start tag begins. `html` is `<tag` plus its static attributes,
+ *   written verbatim; `attrs` are the same static attributes, decoded (props for a component).
+ *   The element's attribute ops follow.
+ * - `openEnd`: write `>`. A component writes its seed attribute first, and its shadow root
+ *   after.
+ * - `close`: write `</tag>`. Everything between `openEnd` and `close` is the element's children.
+ *
+ * Joining the strings with every op written empty (`open` as `html`, `openEnd` as `>`, `close`
+ * as `</tag>`) gives exactly the template's `html`, plus its static `style` attributes, which
+ * the client's `html` leaves to the part table.
+ */
+export type Segment = string | {
+    readonly k: 'child';
+    readonly in?: string;
+    readonly svg?: true;
+} | {
+    readonly k: 'text';
+} | {
+    readonly k: 'attr';
+    readonly name: string;
+    readonly strings?: readonly string[];
+} | {
+    readonly k: 'bool';
+    readonly name: string;
+} | {
+    readonly k: 'prop';
+    readonly name: string;
+} | {
+    readonly k: 'hook';
+} | {
+    readonly k: 'open';
+    readonly tag: string;
+    readonly html: string;
+    readonly attrs: readonly (readonly [name: string, value: string])[];
+} | {
+    readonly k: 'openEnd';
+} | {
+    readonly k: 'close';
+    readonly tag: string;
+};
+export interface TemplateObject {
+    /**
+     * Deterministic id of the normalized strings (id.ts). Absent from objects compiled for a
+     * production client (01 "Template ids"): there the renderer compares templates by identity.
+     */
+    readonly id?: string;
+    /**
+     * Normalized template HTML for the client: bound attributes and static `style` attributes
+     * (zero-hole multi-attribute parts) removed, anchors added.
+     */
+    readonly html: string;
+    readonly parts: readonly PartSpec[];
+    /**
+     * `true` when it contains document-level tags (<!doctype>, <html>, <head>, <body>):
+     * server-only. Absent otherwise.
+     */
+    readonly server?: true;
+    /**
+     * `true` for an svg template (`` svg`…` ``, 01 "svg templates"): its HTML is SVG content,
+     * parsed inside an <svg>. Absent otherwise.
+     */
+    readonly svg?: true;
+    /**
+     * Server writing plan. Absent from client-compiled template objects (the compiler drops it),
+     * so the client renderer never reads it; the runtime preparer and server builds keep it.
+     */
+    readonly segments?: readonly Segment[];
+    /**
+     * Server only, like `segments`: the decoded values of the template's non-empty static
+     * `style` attributes, deduplicated, so a server render can collect every `style` value it
+     * writes for a CSP (ADR 0020) without parsing its string segments. Absent when there are none.
+     */
+    readonly staticStyles?: readonly string[];
+    /** Development only: file:line:column of the call site. */
+    readonly loc?: string;
+}
+/** What the normalizer returns: a template object that always has its id. */
+export type NormalizedTemplate = TemplateObject & {
+    readonly id: string;
+};
+/**
+ * The DOM the browser must build from `html`, for the runtime preparer's check (prepare.ts):
+ * `'#text'`, `'#comment'`, or `[localName (lower case), children]`.
+ */
+export type ShapeNode = '#text' | '#comment' | readonly [name: string, children: Shape];
+export type Shape = readonly ShapeNode[];

package/dist/view/normalize/types.js

@@ -0,0 +1,29 @@
+// The template object (view/01-templates.md "The template object") and its part table
+// (view/02-bindings.md "Hole kinds"). Plain JSON data, no functions: the Vite compiler (Phase 6)
+// emits it as code, the browser instantiates from it, and the server writes from it. Compact
+// on purpose (numeric part kinds, tuples, `server` only when true), so the code compiled
+// client builds carry stays small with nothing to decode.
+// Part kinds: the first entry of a PartSpec tuple. Small numbers, because compiled client
+// builds carry every template's part table as code (view/01-templates.md "Compiled").
+/** `[CHILD_END, path]`: a child hole that inserts at the end of its parent. */
+export const CHILD_END = 0;
+/** `[CHILD_SOLE, path]`: a child hole that is its parent's only child node (so at its end). */
+export const CHILD_SOLE = 1;
+/** `[CHILD_BEFORE, path, ref]`: a child hole that inserts before the parent's child `ref`. */
+export const CHILD_BEFORE = 2;
+/** `[ATTR_PART, path, name]`: `name=${v}`. */
+export const ATTR_PART = 3;
+/**
+ * `[MULTI_PART, path, name, strings]`: `name="a ${x} b"`; with one string and no values, a
+ * static `style` attribute the client applies through the CSSOM (01 "Normalization").
+ */
+export const MULTI_PART = 4;
+/** `[BOOL_PART, path, name]`: `?name=${v}`. */
+export const BOOL_PART = 5;
+/** `[PROP_PART, path, name]`: `.name=${v}`. */
+export const PROP_PART = 6;
+/** `[HOOK_PART, path]`: `${hook(…)}` in a start tag. */
+export const HOOK_PART = 7;
+/** `[TEXT_PART, path]`: the whole content of a `<textarea>` or `<title>`. */
+export const TEXT_PART = 8;
+//# sourceMappingURL=types.js.map

package/dist/view/normalize/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/view/normalize/types.ts"],"names":[],"mappings":"AAAA,sFAAsF;AACtF,iGAAiG;AACjG,6FAA6F;AAC7F,yFAAyF;AACzF,0DAA0D;AAK1D,0FAA0F;AAC1F,sFAAsF;AACtF,+EAA+E;AAC/E,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,CAAC;AAC3B,+FAA+F;AAC/F,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAC;AAC5B,8FAA8F;AAC9F,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,CAAC;AAC9B,8CAA8C;AAC9C,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,CAAC;AAC3B;;;GAGG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAC;AAC5B,+CAA+C;AAC/C,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,CAAC;AAC3B,+CAA+C;AAC/C,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,CAAC;AAC3B,wDAAwD;AACxD,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,CAAC;AAC3B,6EAA6E;AAC7E,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,CAAC","sourcesContent":["// The template object (view/01-templates.md \"The template object\") and its part table\n// (view/02-bindings.md \"Hole kinds\"). Plain JSON data, no functions: the Vite compiler (Phase 6)\n// emits it as code, the browser instantiates from it, and the server writes from it. Compact\n// on purpose (numeric part kinds, tuples, `server` only when true), so the code compiled\n// client builds carry stays small with nothing to decode.\n\n/** Child-index path from the template's content root (`[]` is the root itself). */\nexport type Path = readonly number[];\n\n// Part kinds: the first entry of a PartSpec tuple. Small numbers, because compiled client\n// builds carry every template's part table as code (view/01-templates.md \"Compiled\").\n/** `[CHILD_END, path]`: a child hole that inserts at the end of its parent. */\nexport const CHILD_END = 0;\n/** `[CHILD_SOLE, path]`: a child hole that is its parent's only child node (so at its end). */\nexport const CHILD_SOLE = 1;\n/** `[CHILD_BEFORE, path, ref]`: a child hole that inserts before the parent's child `ref`. */\nexport const CHILD_BEFORE = 2;\n/** `[ATTR_PART, path, name]`: `name=${v}`. */\nexport const ATTR_PART = 3;\n/**\n * `[MULTI_PART, path, name, strings]`: `name=\"a ${x} b\"`; with one string and no values, a\n * static `style` attribute the client applies through the CSSOM (01 \"Normalization\").\n */\nexport const MULTI_PART = 4;\n/** `[BOOL_PART, path, name]`: `?name=${v}`. */\nexport const BOOL_PART = 5;\n/** `[PROP_PART, path, name]`: `.name=${v}`. */\nexport const PROP_PART = 6;\n/** `[HOOK_PART, path]`: `${hook(…)}` in a start tag. */\nexport const HOOK_PART = 7;\n/** `[TEXT_PART, path]`: the whole content of a `<textarea>` or `<title>`. */\nexport const TEXT_PART = 8;\n\n/**\n * One entry per binding, in source order: a tuple whose first entry is its kind (above), whose\n * second is a path, then the kind's own fields. Multi-attributes take several values.\n *\n * - Child holes: `path` leads to the parent element (`[]`: the template root). `ref` is the\n *   index, among the parent's child nodes in the template DOM, of the node the part inserts\n *   before: the next static element or comment, or the anchor comment the normalizer emitted.\n *   Without `ref` the hole inserts at the end of the parent (CHILD_END, CHILD_SOLE).\n * - Attributes, booleans, properties: `path` leads to the element; `name` is the attribute or\n *   property name. A multi-attribute's `strings` are its static pieces (character references\n *   already decoded): `strings.length - 1` values are joined with them.\n * - Hooks: `path` leads to the element. Text: `path` leads to the `<textarea>`/`<title>`.\n */\nexport type PartSpec =\n  | readonly [\n      kind: typeof CHILD_END | typeof CHILD_SOLE | typeof HOOK_PART | typeof TEXT_PART,\n      path: Path,\n    ]\n  | readonly [kind: typeof CHILD_BEFORE, path: Path, ref: number]\n  | readonly [\n      kind: typeof ATTR_PART | typeof BOOL_PART | typeof PROP_PART,\n      path: Path,\n      name: string,\n    ]\n  | readonly [kind: typeof MULTI_PART, path: Path, name: string, strings: readonly string[]];\n\n/**\n * What the server renderer writes (view/06-server.md), in order, with no tokenizing. Strings\n * are static markup, written verbatim. Each hole op takes the next value(s); the custom-element\n * ops take none and mark where a component's start tag ends and its end tag begins.\n *\n * - `child`: the value per 02's child table. Anchors are already in the next static string.\n *   `in` is the parent element's local name (absent at the template root, where the parent is\n *   wherever the instance is written): the development check for text the parser would move\n *   out of table structure needs it. `svg` is set when the parent is SVG content (an SVG\n *   element other than <foreignObject>, <desc>, <title>), where svg templates may render.\n * - `text`: the value as escaped text (`<textarea>`, `<title>` content).\n * - `attr`: ` name=\"escaped\"`, or nothing for null/undefined/nothing. With `strings`, the\n *   pieces and `strings.length - 1` values are joined first (`nothing` in any piece: nothing).\n * - `bool`: ` name` when the value is truthy.\n * - `prop`: nothing in markup; a prop when the element is a Gyral component.\n * - `hook`: the hook's `server(args)` attributes.\n * - `open`: a custom element's start tag begins. `html` is `<tag` plus its static attributes,\n *   written verbatim; `attrs` are the same static attributes, decoded (props for a component).\n *   The element's attribute ops follow.\n * - `openEnd`: write `>`. A component writes its seed attribute first, and its shadow root\n *   after.\n * - `close`: write `</tag>`. Everything between `openEnd` and `close` is the element's children.\n *\n * Joining the strings with every op written empty (`open` as `html`, `openEnd` as `>`, `close`\n * as `</tag>`) gives exactly the template's `html`, plus its static `style` attributes, which\n * the client's `html` leaves to the part table.\n */\nexport type Segment =\n  | string\n  | { readonly k: 'child'; readonly in?: string; readonly svg?: true }\n  | { readonly k: 'text' }\n  | { readonly k: 'attr'; readonly name: string; readonly strings?: readonly string[] }\n  | { readonly k: 'bool'; readonly name: string }\n  | { readonly k: 'prop'; readonly name: string }\n  | { readonly k: 'hook' }\n  | {\n      readonly k: 'open';\n      readonly tag: string;\n      readonly html: string;\n      readonly attrs: readonly (readonly [name: string, value: string])[];\n    }\n  | { readonly k: 'openEnd' }\n  | { readonly k: 'close'; readonly tag: string };\n\nexport interface TemplateObject {\n  /**\n   * Deterministic id of the normalized strings (id.ts). Absent from objects compiled for a\n   * production client (01 \"Template ids\"): there the renderer compares templates by identity.\n   */\n  readonly id?: string;\n  /**\n   * Normalized template HTML for the client: bound attributes and static `style` attributes\n   * (zero-hole multi-attribute parts) removed, anchors added.\n   */\n  readonly html: string;\n  readonly parts: readonly PartSpec[];\n  /**\n   * `true` when it contains document-level tags (<!doctype>, <html>, <head>, <body>):\n   * server-only. Absent otherwise.\n   */\n  readonly server?: true;\n  /**\n   * `true` for an svg template (`` svg`…` ``, 01 \"svg templates\"): its HTML is SVG content,\n   * parsed inside an <svg>. Absent otherwise.\n   */\n  readonly svg?: true;\n  /**\n   * Server writing plan. Absent from client-compiled template objects (the compiler drops it),\n   * so the client renderer never reads it; the runtime preparer and server builds keep it.\n   */\n  readonly segments?: readonly Segment[];\n  /**\n   * Server only, like `segments`: the decoded values of the template's non-empty static\n   * `style` attributes, deduplicated, so a server render can collect every `style` value it\n   * writes for a CSP (ADR 0020) without parsing its string segments. Absent when there are none.\n   */\n  readonly staticStyles?: readonly string[];\n  /** Development only: file:line:column of the call site. */\n  readonly loc?: string;\n}\n\n/** What the normalizer returns: a template object that always has its id. */\nexport type NormalizedTemplate = TemplateObject & { readonly id: string };\n\n/**\n * The DOM the browser must build from `html`, for the runtime preparer's check (prepare.ts):\n * `'#text'`, `'#comment'`, or `[localName (lower case), children]`.\n */\nexport type ShapeNode = '#text' | '#comment' | readonly [name: string, children: Shape];\nexport type Shape = readonly ShapeNode[];\n"]}

package/dist/view/normalize/whitespace.d.ts

@@ -0,0 +1,2 @@
+/** Minified copy of template strings (same length, bindings unmoved). Idempotent. */
+export declare function minifyStrings(strings: readonly string[]): string[];

package/dist/{template-whitespace.js → view/normalize/whitespace.js}

@@ -1,28 +1,27 @@
-// Template whitespace minification (gyral-9rf, ADR 0016 addendum).
+// Whitespace minification for templates (view/01-templates.md "Whitespace", ADR 0016 addendum).
+// Moved from core's template-whitespace.ts (Gyral's own design) into the view layer's
+// normalizer, so the compiler, the runtime preparer and the server minify identically.
 //
-// lit-html keeps every newline and indent between tags as a DOM text node; compilers (Svelte,
-// Solid, JSX) drop them. In a benchmark table row that is 12 extra nodes out of 25, and removing
-// them made create/replace/clear 11-24% faster (gyral-1kq). Gyral's `html` and `svg` tags run the
-// template strings through `minifyTemplate()` once per call site (cached by strings identity),
-// so the server and the browser always build the same template: hydration digests match in any
-// toolchain (Vite, tsx, plain Node), with no build step.
-//
-// Rules (the same text everywhere, documented in docs/references/consumer-setup.md):
+// Rules:
 // - Whitespace-only text that contains a newline is removed when it sits next to a template
-//   edge, a block-level tag, or the inside edge of a <button>/<select> (CSS never renders it
-//   there). Between two inline neighbours (phrasing elements, custom elements, bindings,
+//   edge, a block-level tag (head-only tags count: <head>, <meta>, <link>, <base>, <title>),
+//   or the inside edge of a <button>/<select>/<svg> (never rendered there). Inside <head>,
+//   whitespace-only text is always removed, newline or not, between holes too: nothing there
+//   renders. Between two inline neighbours (phrasing elements, custom elements, holes,
 //   comments) it collapses to one space.
 // - Other runs of whitespace in text collapse to one space; a leading or trailing run with a
 //   newline next to one of those edges is removed.
 // - <pre>, <textarea>, <script>, <style> and <title> contents, tags and attribute values,
-//   and comments are copied unchanged. Binding positions never move: the result has the same
-//   number of strings, so Lit parts and SSR hydration markers line up.
+//   and comments are copied unchanged. Holes never move: the result has the same number of
+//   strings.
 // The function is idempotent: minifying minified strings changes nothing.
 /** Elements whose box is block-level (or never laid out inline) by default. */
 const BLOCK = new Set(('address article aside blockquote body caption col colgroup datalist dd details dialog div ' +
     'dl dt fieldset figcaption figure footer form h1 h2 h3 h4 h5 h6 head header hgroup hr html ' +
     'legend li main menu nav ol optgroup option p pre search section select summary table tbody ' +
     'td tfoot th thead tr ul ' +
+    // Head-only elements: never rendered at all, so never inline.
+    'base link meta title ' +
     // SVG containers and shapes: whitespace between them is never rendered.
     'circle clippath defs ellipse g line lineargradient marker mask path pattern polygon ' +
     'polyline radialgradient rect stop symbol use').split(' '));
@@ -31,9 +30,10 @@ const RAW_TEXT = new Set(['script', 'style', 'textarea', 'title']);
 const PRESERVE = 'pre';
 /**
  * Inline-block controls: they sit inline among their neighbours, but whitespace at the start or
- * end of their own content is never rendered (it is at the edge of their own line box).
+ * end of their own content is never rendered (it is at the edge of their own line box). Same
+ * for <svg>: SVG content renders no text outside its text elements.
  */
-const INLINE_BOX = new Set(['button', 'select']);
+const INLINE_BOX = new Set(['button', 'select', 'svg']);
 /**
  * The edge a tag makes for the text next to it. `inside` is true when the text is inside the
  * element (after its start tag, or before its end tag).
@@ -46,12 +46,14 @@ function edgeOfTag(name, inside) {
 }
 const WS = /^[ \t\n\r\f]*$/;
 const RUN = /[ \t\n\r\f]+/g;
-function minifyChunk(text, left, right) {
+/** `head`: the text is inside `<head>`, which is never rendered. */
+function minifyChunk(text, left, right, head) {
     if (text === '')
         return text;
     if (WS.test(text)) {
-        const removable = /[\n\r]/.test(text) &&
-            (left === 'template' || right === 'template' || left === 'block' || right === 'block');
+        const removable = head ||
+            (/[\n\r]/.test(text) &&
+                (left === 'template' || right === 'template' || left === 'block' || right === 'block'));
         return removable ? '' : ' ';
     }
     // Mixed text: a leading or trailing run with a newline next to a removable edge goes too.
@@ -71,7 +73,7 @@ function minifySegment(segment, state, last) {
     let out = '';
     let chunk = '';
     const flushText = (right) => {
-        out += state.preDepth > 0 ? chunk : minifyChunk(chunk, state.left, right);
+        out += state.preDepth > 0 ? chunk : minifyChunk(chunk, state.left, right, state.head);
         chunk = '';
     };
     let i = 0;
@@ -149,6 +151,10 @@ function endTag(state, selfClosing) {
     const name = state.tagName;
     state.mode = Mode.Text;
     state.left = edgeOfTag(name, !state.closing && !selfClosing);
+    if (name === 'head' && !selfClosing)
+        state.head = !state.closing;
+    if (name === 'body')
+        state.head = false;
     if (name === PRESERVE) {
         if (state.closing)
             state.preDepth = Math.max(0, state.preDepth - 1);
@@ -169,24 +175,9 @@ export function minifyStrings(strings) {
         closing: false,
         rawName: '',
         preDepth: 0,
+        head: false,
         left: 'template',
     };
     return strings.map((segment, index) => minifySegment(segment, state, index === strings.length - 1));
 }
-const cache = new WeakMap();
-/**
- * The minified TemplateStringsArray for a call site. Cached by identity, so Lit's own template
- * cache (keyed by the strings array) still hits once per call site.
- */
-export function minifyTemplate(strings) {
-    const cached = cache.get(strings);
-    if (cached !== undefined)
-        return cached;
-    const minified = minifyStrings(strings);
-    // Lit accepts only arrays with an own `raw` field (its anti-spoofing check), as lit/static-html
-    // builds them. Cooked strings are what Lit reads; `raw` mirrors them.
-    const result = Object.freeze(Object.assign(minified, { raw: Object.freeze([...minified]) }));
-    cache.set(strings, result);
-    return result;
-}
-//# sourceMappingURL=template-whitespace.js.map
+//# sourceMappingURL=whitespace.js.map