@gyral/core 0.1.0 → 0.3.0

package/dist/view/normalize/tree.js

@@ -0,0 +1,190 @@
+// 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.
+import { decodeRefs, unquote } from './entities.js';
+import { breaksOutOfForeign, contextOf, rootContext, startRepair, textRepair, } from './repairs.js';
+import { formStateFix, msg, SVG_ONLY, VOID } from './rules.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 /^(foreignobject|desc|title)$/.test(el.name);
+    return el.ns === 'math' && /^(mi|mo|mn|ms|mtext)$/.test(el.name);
+}
+export class TreeBuilder {
+    constructor(src) {
+        this.src = src;
+        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;
+        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 || parent.ns === 'html' || integrationPoint(parent)) {
+            return tag.name === 'svg' ? 'svg' : tag.name === 'math' ? 'math' : 'html';
+        }
+        if (parent.name === 'annotation-xml' && tag.name === 'svg')
+            return 'svg';
+        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 lower-cased on HTML elements (not properties); rules 4, 7 (duplicates), 13. */
+    attributes(tag, ns) {
+        const seen = new Set();
+        return tag.attrs.map((a) => {
+            const lower = ns === 'html' && a.kind !== 'prop' ? a.name.toLowerCase() : 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));
+            }
+            if (a.kind !== 'prop' && a.kind !== 'hook') {
+                const key = ns === 'html' ? lower : a.name;
+                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')
+                return a;
+            const strings = a.strings?.map((s) => this.decode(s));
+            return strings === undefined
+                ? { kind: a.kind, name: lower }
+                : { kind: a.kind, name: lower, 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,4EAA4E;AAC5E,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,YAAY,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AA4B/D,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,8BAA8B,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACzE,OAAO,EAAE,CAAC,EAAE,KAAK,MAAM,IAAI,uBAAuB,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;AACnE,CAAC;AAED,MAAM,OAAO,WAAW;IAQtB,YAA6B,GAAW;QAAX,QAAG,GAAH,GAAG,CAAQ;QAP/B,SAAI,GAAe,EAAE,CAAC;QAC/B,WAAM,GAAG,KAAK,CAAC;QACE,UAAK,GAAkB,EAAE,CAAC;IAKA,CAAC;IAE5C,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,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,IAAI,MAAM,CAAC,EAAE,KAAK,MAAM,IAAI,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC;YAC7E,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,IAAI,MAAM,CAAC,IAAI,KAAK,gBAAgB,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,KAAK,CAAC;QACzE,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,8FAA8F;IACtF,UAAU,CAAC,GAAa,EAAE,EAAM;QACtC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,OAAO,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YACzB,MAAM,KAAK,GAAG,EAAE,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YACjF,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,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBAC3C,MAAM,GAAG,GAAG,EAAE,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;gBAC3C,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;gBAAE,OAAO,CAAC,CAAC;YAClC,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;gBAC1B,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE;gBAC/B,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;QAC7C,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.\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 { formStateFix, msg, SVG_ONLY, VOID } from './rules.js';\nimport type { Source } from './source.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 /^(foreignobject|desc|title)$/.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  constructor(private readonly src: Source) {}\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    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 || parent.ns === 'html' || integrationPoint(parent)) {\n      return tag.name === 'svg' ? 'svg' : tag.name === 'math' ? 'math' : 'html';\n    }\n    if (parent.name === 'annotation-xml' && tag.name === 'svg') return 'svg';\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  /** Bound names lower-cased on HTML elements (not properties); rules 4, 7 (duplicates), 13. */\n  private attributes(tag: StartTag, ns: Ns): AttrToken[] {\n    const seen = new Set<string>();\n    return tag.attrs.map((a) => {\n      const lower = ns === 'html' && a.kind !== 'prop' ? a.name.toLowerCase() : 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      if (a.kind !== 'prop' && a.kind !== 'hook') {\n        const key = ns === 'html' ? lower : a.name;\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') return a;\n      const strings = a.strings?.map((s) => this.decode(s));\n      return strings === undefined\n        ? { kind: a.kind, name: lower }\n        : { kind: a.kind, name: lower, 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,126 @@
+/** 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"`. */
+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.
+ * - `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`.
+ */
+export type Segment = string | {
+    readonly k: 'child';
+    readonly in?: string;
+} | {
+    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 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;
+    /**
+     * 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[];
+    /** 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,26 @@
+// 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"`. */
+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,8DAA8D;AAC9D,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/** `[MULTI_PART, path, name, strings]`: `name=\"a ${x} b\"`. */\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.\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`.\n */\nexport type Segment =\n  | string\n  | { readonly k: 'child'; readonly in?: string }\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  /** Normalized template HTML for the client: bound attributes removed, anchors added. */\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   * 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  /** 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/view/normalize/whitespace.js

@@ -0,0 +1,182 @@
+// 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.
+//
+// Rules:
+// - Whitespace-only text that contains a newline is removed when it sits next to a template
+//   edge, a block-level tag (head-only tags count: <head>, <meta>, <link>, <base>, <title>),
+//   or the inside edge of a <button>/<select> (CSS never renders it 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. 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(' '));
+/** Elements whose text content is copied verbatim (whitespace is meaningful or raw text). */
+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).
+ */
+const INLINE_BOX = new Set(['button', 'select']);
+/**
+ * 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).
+ */
+function edgeOfTag(name, inside) {
+    const lower = name.toLowerCase();
+    if (BLOCK.has(lower))
+        return 'block';
+    return inside && INLINE_BOX.has(lower) ? 'block' : 'inline';
+}
+const WS = /^[ \t\n\r\f]*$/;
+const RUN = /[ \t\n\r\f]+/g;
+/** `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 = 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.
+    const dropStart = left !== 'inline' && /^[ \t\f]*[\n\r]/.test(text);
+    const dropEnd = right !== 'inline' && /[\n\r][ \t\n\r\f]*$/.test(text);
+    let body = text.replace(RUN, ' ');
+    if (dropStart)
+        body = body.replace(/^ /, '');
+    if (dropEnd)
+        body = body.replace(/ $/, '');
+    return body;
+}
+const Mode = { Text: 0, Tag: 1, Comment: 2, RawText: 3 };
+const TAG_START = /^<(\/?)([A-Za-z!?][^\s/>]*)/;
+/** Minify one segment, carrying the HTML scan state across bindings. */
+function minifySegment(segment, state, last) {
+    let out = '';
+    let chunk = '';
+    const flushText = (right) => {
+        out += state.preDepth > 0 ? chunk : minifyChunk(chunk, state.left, right, state.head);
+        chunk = '';
+    };
+    let i = 0;
+    while (i < segment.length) {
+        const ch = segment.charAt(i);
+        if (state.mode === Mode.Comment) {
+            if (segment.startsWith('-->', i)) {
+                out += '-->';
+                i += 3;
+                state.mode = Mode.Text;
+                state.left = 'inline';
+            }
+            else {
+                out += ch;
+                i += 1;
+            }
+            continue;
+        }
+        if (state.mode === Mode.RawText) {
+            const close = `</${state.rawName}`;
+            if (segment.slice(i, i + close.length).toLowerCase() === close) {
+                state.mode = Mode.Text;
+                state.left = 'inline';
+                continue; // the closing tag is read in Text mode
+            }
+            out += ch;
+            i += 1;
+            continue;
+        }
+        if (state.mode === Mode.Tag) {
+            out += ch;
+            i += 1;
+            if (state.quote !== '') {
+                if (ch === state.quote)
+                    state.quote = '';
+            }
+            else if (ch === '"' || ch === "'") {
+                state.quote = ch;
+            }
+            else if (ch === '>') {
+                endTag(state, out.endsWith('/>'));
+            }
+            continue;
+        }
+        // Text mode.
+        if (ch === '<' && segment.startsWith('<!--', i)) {
+            flushText('inline');
+            state.mode = Mode.Comment;
+            out += '<!--';
+            i += 4;
+            continue;
+        }
+        const tag = ch === '<' ? TAG_START.exec(segment.slice(i)) : null;
+        if (tag !== null) {
+            const name = (tag[2] ?? '').toLowerCase();
+            const closing = tag[1] === '/';
+            flushText(edgeOfTag(name, closing));
+            state.closing = closing;
+            state.tagName = name;
+            state.mode = Mode.Tag;
+            out += tag[0];
+            i += tag[0].length;
+            continue;
+        }
+        chunk += ch;
+        i += 1;
+    }
+    if (state.mode === Mode.Text) {
+        flushText(last ? 'template' : 'inline');
+        state.left = 'inline'; // the next segment starts after a binding
+    }
+    return out;
+}
+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);
+        else if (!selfClosing)
+            state.preDepth += 1;
+    }
+    if (!state.closing && !selfClosing && RAW_TEXT.has(name)) {
+        state.mode = Mode.RawText;
+        state.rawName = name;
+    }
+}
+/** Minified copy of template strings (same length, bindings unmoved). Idempotent. */
+export function minifyStrings(strings) {
+    const state = {
+        mode: Mode.Text,
+        quote: '',
+        tagName: '',
+        closing: false,
+        rawName: '',
+        preDepth: 0,
+        head: false,
+        left: 'template',
+    };
+    return strings.map((segment, index) => minifySegment(segment, state, index === strings.length - 1));
+}
+//# sourceMappingURL=whitespace.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"whitespace.js","sourceRoot":"","sources":["../../../src/view/normalize/whitespace.ts"],"names":[],"mappings":"AAAA,gGAAgG;AAChG,sFAAsF;AACtF,uFAAuF;AACvF,EAAE;AACF,SAAS;AACT,4FAA4F;AAC5F,6FAA6F;AAC7F,2FAA2F;AAC3F,6FAA6F;AAC7F,uFAAuF;AACvF,yCAAyC;AACzC,6FAA6F;AAC7F,mDAAmD;AACnD,0FAA0F;AAC1F,2FAA2F;AAC3F,aAAa;AACb,0EAA0E;AAE1E,+EAA+E;AAC/E,MAAM,KAAK,GAAG,IAAI,GAAG,CACnB,CACE,4FAA4F;IAC5F,4FAA4F;IAC5F,6FAA6F;IAC7F,0BAA0B;IAC1B,8DAA8D;IAC9D,uBAAuB;IACvB,wEAAwE;IACxE,sFAAsF;IACtF,8CAA8C,CAC/C,CAAC,KAAK,CAAC,GAAG,CAAC,CACb,CAAC;AAEF,6FAA6F;AAC7F,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;AACnE,MAAM,QAAQ,GAAG,KAAK,CAAC;AAKvB;;;GAGG;AACH,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;AAEjD;;;GAGG;AACH,SAAS,SAAS,CAAC,IAAY,EAAE,MAAe;IAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IACjC,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC;IACrC,OAAO,MAAM,IAAI,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;AAC9D,CAAC;AAED,MAAM,EAAE,GAAG,gBAAgB,CAAC;AAC5B,MAAM,GAAG,GAAG,eAAe,CAAC;AAE5B,oEAAoE;AACpE,SAAS,WAAW,CAAC,IAAY,EAAE,IAAU,EAAE,KAAW,EAAE,IAAa;IACvE,IAAI,IAAI,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC;IAC7B,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAClB,MAAM,SAAS,GACb,IAAI;YACJ,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;gBAClB,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,KAAK,UAAU,IAAI,IAAI,KAAK,OAAO,IAAI,KAAK,KAAK,OAAO,CAAC,CAAC,CAAC;QAC5F,OAAO,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;IAC9B,CAAC;IACD,0FAA0F;IAC1F,MAAM,SAAS,GAAG,IAAI,KAAK,QAAQ,IAAI,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpE,MAAM,OAAO,GAAG,KAAK,KAAK,QAAQ,IAAI,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvE,IAAI,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAClC,IAAI,SAAS;QAAE,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC7C,IAAI,OAAO;QAAE,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC3C,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAW,CAAC;AAoBlE,MAAM,SAAS,GAAG,6BAA6B,CAAC;AAEhD,wEAAwE;AACxE,SAAS,aAAa,CAAC,OAAe,EAAE,KAAW,EAAE,IAAa;IAChE,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,IAAI,KAAK,GAAG,EAAE,CAAC;IACf,MAAM,SAAS,GAAG,CAAC,KAAW,EAAQ,EAAE;QACtC,GAAG,IAAI,KAAK,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QACtF,KAAK,GAAG,EAAE,CAAC;IACb,CAAC,CAAC;IACF,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;QAC1B,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,OAAO,EAAE,CAAC;YAChC,IAAI,OAAO,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC;gBACjC,GAAG,IAAI,KAAK,CAAC;gBACb,CAAC,IAAI,CAAC,CAAC;gBACP,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;gBACvB,KAAK,CAAC,IAAI,GAAG,QAAQ,CAAC;YACxB,CAAC;iBAAM,CAAC;gBACN,GAAG,IAAI,EAAE,CAAC;gBACV,CAAC,IAAI,CAAC,CAAC;YACT,CAAC;YACD,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,OAAO,EAAE,CAAC;YAChC,MAAM,KAAK,GAAG,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC;YACnC,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,KAAK,KAAK,EAAE,CAAC;gBAC/D,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;gBACvB,KAAK,CAAC,IAAI,GAAG,QAAQ,CAAC;gBACtB,SAAS,CAAC,uCAAuC;YACnD,CAAC;YACD,GAAG,IAAI,EAAE,CAAC;YACV,CAAC,IAAI,CAAC,CAAC;YACP,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC;YAC5B,GAAG,IAAI,EAAE,CAAC;YACV,CAAC,IAAI,CAAC,CAAC;YACP,IAAI,KAAK,CAAC,KAAK,KAAK,EAAE,EAAE,CAAC;gBACvB,IAAI,EAAE,KAAK,KAAK,CAAC,KAAK;oBAAE,KAAK,CAAC,KAAK,GAAG,EAAE,CAAC;YAC3C,CAAC;iBAAM,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;gBACpC,KAAK,CAAC,KAAK,GAAG,EAAE,CAAC;YACnB,CAAC;iBAAM,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;gBACtB,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;YACpC,CAAC;YACD,SAAS;QACX,CAAC;QACD,aAAa;QACb,IAAI,EAAE,KAAK,GAAG,IAAI,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC;YAChD,SAAS,CAAC,QAAQ,CAAC,CAAC;YACpB,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC;YAC1B,GAAG,IAAI,MAAM,CAAC;YACd,CAAC,IAAI,CAAC,CAAC;YACP,SAAS;QACX,CAAC;QACD,MAAM,GAAG,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACjE,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YACjB,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;YAC1C,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC;YAC/B,SAAS,CAAC,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;YACpC,KAAK,CAAC,OAAO,GAAG,OAAO,CAAC;YACxB,KAAK,CAAC,OAAO,GAAG,IAAI,CAAC;YACrB,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC;YACtB,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC;YACd,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;YACnB,SAAS;QACX,CAAC;QACD,KAAK,IAAI,EAAE,CAAC;QACZ,CAAC,IAAI,CAAC,CAAC;IACT,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC;QAC7B,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACxC,KAAK,CAAC,IAAI,GAAG,QAAQ,CAAC,CAAC,0CAA0C;IACnE,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,MAAM,CAAC,KAAW,EAAE,WAAoB;IAC/C,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC;IAC3B,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,KAAK,CAAC,IAAI,GAAG,SAAS,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,OAAO,IAAI,CAAC,WAAW,CAAC,CAAC;IAC7D,IAAI,IAAI,KAAK,MAAM,IAAI,CAAC,WAAW;QAAE,KAAK,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC;IACjE,IAAI,IAAI,KAAK,MAAM;QAAE,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC;IACxC,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;QACtB,IAAI,KAAK,CAAC,OAAO;YAAE,KAAK,CAAC,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC;aAC/D,IAAI,CAAC,WAAW;YAAE,KAAK,CAAC,QAAQ,IAAI,CAAC,CAAC;IAC7C,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,IAAI,CAAC,WAAW,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACzD,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC;QAC1B,KAAK,CAAC,OAAO,GAAG,IAAI,CAAC;IACvB,CAAC;AACH,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,aAAa,CAAC,OAA0B;IACtD,MAAM,KAAK,GAAS;QAClB,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,KAAK,EAAE,EAAE;QACT,OAAO,EAAE,EAAE;QACX,OAAO,EAAE,KAAK;QACd,OAAO,EAAE,EAAE;QACX,QAAQ,EAAE,CAAC;QACX,IAAI,EAAE,KAAK;QACX,IAAI,EAAE,UAAU;KACjB,CAAC;IACF,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CACpC,aAAa,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,KAAK,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAC5D,CAAC;AACJ,CAAC","sourcesContent":["// Whitespace minification for templates (view/01-templates.md \"Whitespace\", ADR 0016 addendum).\n// Moved from core's template-whitespace.ts (Gyral's own design) into the view layer's\n// normalizer, so the compiler, the runtime preparer and the server minify identically.\n//\n// Rules:\n// - Whitespace-only text that contains a newline is removed when it sits next to a template\n//   edge, a block-level tag (head-only tags count: <head>, <meta>, <link>, <base>, <title>),\n//   or the inside edge of a <button>/<select> (CSS never renders it there). Inside <head>,\n//   whitespace-only text is always removed, newline or not, between holes too: nothing there\n//   renders. Between two inline neighbours (phrasing elements, custom elements, holes,\n//   comments) it collapses to one space.\n// - Other runs of whitespace in text collapse to one space; a leading or trailing run with a\n//   newline next to one of those edges is removed.\n// - <pre>, <textarea>, <script>, <style> and <title> contents, tags and attribute values,\n//   and comments are copied unchanged. Holes never move: the result has the same number of\n//   strings.\n// The function is idempotent: minifying minified strings changes nothing.\n\n/** Elements whose box is block-level (or never laid out inline) by default. */\nconst BLOCK = new Set(\n  (\n    'address article aside blockquote body caption col colgroup datalist dd details dialog div ' +\n    'dl dt fieldset figcaption figure footer form h1 h2 h3 h4 h5 h6 head header hgroup hr html ' +\n    'legend li main menu nav ol optgroup option p pre search section select summary table tbody ' +\n    'td tfoot th thead tr ul ' +\n    // Head-only elements: never rendered at all, so never inline.\n    'base link meta title ' +\n    // SVG containers and shapes: whitespace between them is never rendered.\n    'circle clippath defs ellipse g line lineargradient marker mask path pattern polygon ' +\n    'polyline radialgradient rect stop symbol use'\n  ).split(' '),\n);\n\n/** Elements whose text content is copied verbatim (whitespace is meaningful or raw text). */\nconst RAW_TEXT = new Set(['script', 'style', 'textarea', 'title']);\nconst PRESERVE = 'pre';\n\n/** What sits on one side of a text chunk. */\ntype Edge = 'template' | 'inline' | 'block';\n\n/**\n * Inline-block controls: they sit inline among their neighbours, but whitespace at the start or\n * end of their own content is never rendered (it is at the edge of their own line box).\n */\nconst INLINE_BOX = new Set(['button', 'select']);\n\n/**\n * The edge a tag makes for the text next to it. `inside` is true when the text is inside the\n * element (after its start tag, or before its end tag).\n */\nfunction edgeOfTag(name: string, inside: boolean): Edge {\n  const lower = name.toLowerCase();\n  if (BLOCK.has(lower)) return 'block';\n  return inside && INLINE_BOX.has(lower) ? 'block' : 'inline';\n}\n\nconst WS = /^[ \\t\\n\\r\\f]*$/;\nconst RUN = /[ \\t\\n\\r\\f]+/g;\n\n/** `head`: the text is inside `<head>`, which is never rendered. */\nfunction minifyChunk(text: string, left: Edge, right: Edge, head: boolean): string {\n  if (text === '') return text;\n  if (WS.test(text)) {\n    const removable =\n      head ||\n      (/[\\n\\r]/.test(text) &&\n        (left === 'template' || right === 'template' || left === 'block' || right === 'block'));\n    return removable ? '' : ' ';\n  }\n  // Mixed text: a leading or trailing run with a newline next to a removable edge goes too.\n  const dropStart = left !== 'inline' && /^[ \\t\\f]*[\\n\\r]/.test(text);\n  const dropEnd = right !== 'inline' && /[\\n\\r][ \\t\\n\\r\\f]*$/.test(text);\n  let body = text.replace(RUN, ' ');\n  if (dropStart) body = body.replace(/^ /, '');\n  if (dropEnd) body = body.replace(/ $/, '');\n  return body;\n}\n\nconst Mode = { Text: 0, Tag: 1, Comment: 2, RawText: 3 } as const;\ntype Mode = (typeof Mode)[keyof typeof Mode];\n\ninterface Scan {\n  mode: Mode;\n  /** Quote char while inside an attribute value in a tag, else ''. */\n  quote: string;\n  /** Name of the tag being read (lower case), and whether it is a closing tag. */\n  tagName: string;\n  closing: boolean;\n  /** Raw-text element we are inside (its contents are copied verbatim). */\n  rawName: string;\n  /** Depth of open <pre> elements: text is copied verbatim while > 0. */\n  preDepth: number;\n  /** Inside <head> (until </head> or <body>). */\n  head: boolean;\n  /** Edge type of the boundary before the current text chunk. */\n  left: Edge;\n}\n\nconst TAG_START = /^<(\\/?)([A-Za-z!?][^\\s/>]*)/;\n\n/** Minify one segment, carrying the HTML scan state across bindings. */\nfunction minifySegment(segment: string, state: Scan, last: boolean): string {\n  let out = '';\n  let chunk = '';\n  const flushText = (right: Edge): void => {\n    out += state.preDepth > 0 ? chunk : minifyChunk(chunk, state.left, right, state.head);\n    chunk = '';\n  };\n  let i = 0;\n  while (i < segment.length) {\n    const ch = segment.charAt(i);\n    if (state.mode === Mode.Comment) {\n      if (segment.startsWith('-->', i)) {\n        out += '-->';\n        i += 3;\n        state.mode = Mode.Text;\n        state.left = 'inline';\n      } else {\n        out += ch;\n        i += 1;\n      }\n      continue;\n    }\n    if (state.mode === Mode.RawText) {\n      const close = `</${state.rawName}`;\n      if (segment.slice(i, i + close.length).toLowerCase() === close) {\n        state.mode = Mode.Text;\n        state.left = 'inline';\n        continue; // the closing tag is read in Text mode\n      }\n      out += ch;\n      i += 1;\n      continue;\n    }\n    if (state.mode === Mode.Tag) {\n      out += ch;\n      i += 1;\n      if (state.quote !== '') {\n        if (ch === state.quote) state.quote = '';\n      } else if (ch === '\"' || ch === \"'\") {\n        state.quote = ch;\n      } else if (ch === '>') {\n        endTag(state, out.endsWith('/>'));\n      }\n      continue;\n    }\n    // Text mode.\n    if (ch === '<' && segment.startsWith('<!--', i)) {\n      flushText('inline');\n      state.mode = Mode.Comment;\n      out += '<!--';\n      i += 4;\n      continue;\n    }\n    const tag = ch === '<' ? TAG_START.exec(segment.slice(i)) : null;\n    if (tag !== null) {\n      const name = (tag[2] ?? '').toLowerCase();\n      const closing = tag[1] === '/';\n      flushText(edgeOfTag(name, closing));\n      state.closing = closing;\n      state.tagName = name;\n      state.mode = Mode.Tag;\n      out += tag[0];\n      i += tag[0].length;\n      continue;\n    }\n    chunk += ch;\n    i += 1;\n  }\n  if (state.mode === Mode.Text) {\n    flushText(last ? 'template' : 'inline');\n    state.left = 'inline'; // the next segment starts after a binding\n  }\n  return out;\n}\n\nfunction endTag(state: Scan, selfClosing: boolean): void {\n  const name = state.tagName;\n  state.mode = Mode.Text;\n  state.left = edgeOfTag(name, !state.closing && !selfClosing);\n  if (name === 'head' && !selfClosing) state.head = !state.closing;\n  if (name === 'body') state.head = false;\n  if (name === PRESERVE) {\n    if (state.closing) state.preDepth = Math.max(0, state.preDepth - 1);\n    else if (!selfClosing) state.preDepth += 1;\n  }\n  if (!state.closing && !selfClosing && RAW_TEXT.has(name)) {\n    state.mode = Mode.RawText;\n    state.rawName = name;\n  }\n}\n\n/** Minified copy of template strings (same length, bindings unmoved). Idempotent. */\nexport function minifyStrings(strings: readonly string[]): string[] {\n  const state: Scan = {\n    mode: Mode.Text,\n    quote: '',\n    tagName: '',\n    closing: false,\n    rawName: '',\n    preDepth: 0,\n    head: false,\n    left: 'template',\n  };\n  return strings.map((segment, index) =>\n    minifySegment(segment, state, index === strings.length - 1),\n  );\n}\n"]}

package/dist/view/prepare-stub.d.ts

@@ -0,0 +1,3 @@
+import type * as Prepare from './prepare.js';
+export declare const prepare: typeof Prepare.prepare;
+export declare const verify: typeof Prepare.verify;

package/dist/view/prepare-stub.js

@@ -0,0 +1,7 @@
+export const prepare = (strings) => {
+    const start = strings.join('${…}').trim().slice(0, 80);
+    throw new Error(`gyral: an html template was not compiled: \`${start}\`. Under the gyral-compiled condition ` +
+        `every html\`…\` must be compiled by the Gyral Vite preset (view/01-templates.md).`);
+};
+export const verify = () => undefined;
+//# sourceMappingURL=prepare-stub.js.map

package/dist/view/prepare-stub.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prepare-stub.js","sourceRoot":"","sources":["../../src/view/prepare-stub.ts"],"names":[],"mappings":"AAKA,MAAM,CAAC,MAAM,OAAO,GAA2B,CAAC,OAAO,EAAE,EAAE;IACzD,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACvD,MAAM,IAAI,KAAK,CACb,+CAA+C,KAAK,yCAAyC;QAC3F,mFAAmF,CACtF,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,MAAM,GAA0B,GAAG,EAAE,CAAC,SAAS,CAAC","sourcesContent":["// The `gyral-compiled` build of core's `#prepare` import (view/01-templates.md \"Compiled\"):\n// with the Vite preset's template compiler every `html` template is precompiled, so the\n// runtime preparer is left out of the bundle. Reaching this means one template was not.\nimport type * as Prepare from './prepare.js';\n\nexport const prepare: typeof Prepare.prepare = (strings) => {\n  const start = strings.join('${…}').trim().slice(0, 80);\n  throw new Error(\n    `gyral: an html template was not compiled: \\`${start}\\`. Under the gyral-compiled condition ` +\n      `every html\\`…\\` must be compiled by the Gyral Vite preset (view/01-templates.md).`,\n  );\n};\n\nexport const verify: typeof Prepare.verify = () => undefined;\n"]}