@gyral/core 0.2.0 → 0.3.0

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/{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> (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. 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(' '));
@@ -46,12 +45,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 +72,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 +150,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 +174,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

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"]}

package/dist/view/prepare.d.ts

@@ -0,0 +1,8 @@
+import type { TemplateObject } from './normalize/types.js';
+/** The template object of a call site's strings, normalized (with development checks) once. */
+export declare function prepare(strings: readonly string[]): TemplateObject;
+/**
+ * Throws rule 7 when the browser's parse of `template.html` (in `el`) differs from the tree
+ * the normalizer computed paths for. Templates that didn't come from `prepare` are skipped.
+ */
+export declare function verify(template: TemplateObject, el: HTMLTemplateElement): void;

package/dist/view/prepare.js

@@ -0,0 +1,57 @@
+// The runtime template preparer (view/01-templates.md "Runtime"), resolved through core's
+// `#prepare` import by default. It runs the normalizer once per call site (template.ts caches
+// the result) and, when the browser first parses a template's HTML (template-element.ts),
+// checks that the parse built exactly the DOM the normalizer's paths assume. A difference
+// means the parser repaired the markup: rule 7 (view/09-template-rules.md). Builds made with
+// the `gyral-compiled` condition get prepare-stub.ts instead.
+import { recordTemplateId } from './normalize/id.js';
+import { analyze } from './normalize/normalize.js';
+import { repairError, shapeMismatch } from './normalize/shape.js';
+const shapes = new WeakMap();
+const prepared = new WeakMap();
+// One-entry cache in front of the WeakMap: list rows ask for the same call site in a row.
+let lastSource;
+let lastTemplate;
+/** The template object of a call site's strings, normalized (with development checks) once. */
+export function prepare(strings) {
+    if (strings === lastSource)
+        return lastTemplate;
+    let template = prepared.get(strings);
+    if (template === undefined) {
+        const analysis = analyze(strings);
+        template = analysis.template;
+        recordTemplateId(analysis.template.id, analysis.strings);
+        shapes.set(template, analysis.shape);
+        prepared.set(strings, template);
+    }
+    lastSource = strings;
+    lastTemplate = template;
+    return template;
+}
+/** The DOM the browser built, as a Shape (lower-case names, <template> content inlined). */
+function domShape(nodes) {
+    return [...nodes].map((node) => {
+        if (node.nodeType === 3)
+            return '#text';
+        if (node.nodeType === 8)
+            return '#comment';
+        if (node.nodeType !== 1)
+            return [node.nodeName.toLowerCase(), []];
+        const el = node;
+        const children = el.localName === 'template' ? el.content.childNodes : el.childNodes;
+        return [el.localName.toLowerCase(), domShape(children)];
+    });
+}
+/**
+ * Throws rule 7 when the browser's parse of `template.html` (in `el`) differs from the tree
+ * the normalizer computed paths for. Templates that didn't come from `prepare` are skipped.
+ */
+export function verify(template, el) {
+    const shape = shapes.get(template);
+    if (shape === undefined)
+        return;
+    const problem = shapeMismatch(shape, domShape(el.content.childNodes));
+    if (problem !== undefined)
+        throw repairError(template, "The browser's HTML parser", problem);
+}
+//# sourceMappingURL=prepare.js.map

package/dist/view/prepare.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prepare.js","sourceRoot":"","sources":["../../src/view/prepare.ts"],"names":[],"mappings":"AAAA,0FAA0F;AAC1F,8FAA8F;AAC9F,0FAA0F;AAC1F,0FAA0F;AAC1F,6FAA6F;AAC7F,8DAA8D;AAC9D,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAC;AACnD,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAGlE,MAAM,MAAM,GAAG,IAAI,OAAO,EAAyB,CAAC;AACpD,MAAM,QAAQ,GAAG,IAAI,OAAO,EAAqC,CAAC;AAClE,0FAA0F;AAC1F,IAAI,UAAyC,CAAC;AAC9C,IAAI,YAAwC,CAAC;AAE7C,+FAA+F;AAC/F,MAAM,UAAU,OAAO,CAAC,OAA0B;IAChD,IAAI,OAAO,KAAK,UAAU;QAAE,OAAO,YAA8B,CAAC;IAClE,IAAI,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACrC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;QAClC,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC;QAC7B,gBAAgB,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;QACzD,MAAM,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;QACrC,QAAQ,CAAC,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IAClC,CAAC;IACD,UAAU,GAAG,OAAO,CAAC;IACrB,YAAY,GAAG,QAAQ,CAAC;IACxB,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,4FAA4F;AAC5F,SAAS,QAAQ,CAAC,KAA4B;IAC5C,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAa,EAAE;QACxC,IAAI,IAAI,CAAC,QAAQ,KAAK,CAAC;YAAE,OAAO,OAAO,CAAC;QACxC,IAAI,IAAI,CAAC,QAAQ,KAAK,CAAC;YAAE,OAAO,UAAU,CAAC;QAC3C,IAAI,IAAI,CAAC,QAAQ,KAAK,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,EAAE,EAAE,CAAC,CAAC;QAClE,MAAM,EAAE,GAAG,IAAe,CAAC;QAC3B,MAAM,QAAQ,GACZ,EAAE,CAAC,SAAS,KAAK,UAAU,CAAC,CAAC,CAAE,EAA0B,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC;QAC/F,OAAO,CAAC,EAAE,CAAC,SAAS,CAAC,WAAW,EAAE,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,MAAM,CAAC,QAAwB,EAAE,EAAuB;IACtE,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACnC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO;IAChC,MAAM,OAAO,GAAG,aAAa,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;IACtE,IAAI,OAAO,KAAK,SAAS;QAAE,MAAM,WAAW,CAAC,QAAQ,EAAE,2BAA2B,EAAE,OAAO,CAAC,CAAC;AAC/F,CAAC","sourcesContent":["// The runtime template preparer (view/01-templates.md \"Runtime\"), resolved through core's\n// `#prepare` import by default. It runs the normalizer once per call site (template.ts caches\n// the result) and, when the browser first parses a template's HTML (template-element.ts),\n// checks that the parse built exactly the DOM the normalizer's paths assume. A difference\n// means the parser repaired the markup: rule 7 (view/09-template-rules.md). Builds made with\n// the `gyral-compiled` condition get prepare-stub.ts instead.\nimport { recordTemplateId } from './normalize/id.js';\nimport { analyze } from './normalize/normalize.js';\nimport { repairError, shapeMismatch } from './normalize/shape.js';\nimport type { Shape, ShapeNode, TemplateObject } from './normalize/types.js';\n\nconst shapes = new WeakMap<TemplateObject, Shape>();\nconst prepared = new WeakMap<readonly string[], TemplateObject>();\n// One-entry cache in front of the WeakMap: list rows ask for the same call site in a row.\nlet lastSource: readonly string[] | undefined;\nlet lastTemplate: TemplateObject | undefined;\n\n/** The template object of a call site's strings, normalized (with development checks) once. */\nexport function prepare(strings: readonly string[]): TemplateObject {\n  if (strings === lastSource) return lastTemplate as TemplateObject;\n  let template = prepared.get(strings);\n  if (template === undefined) {\n    const analysis = analyze(strings);\n    template = analysis.template;\n    recordTemplateId(analysis.template.id, analysis.strings);\n    shapes.set(template, analysis.shape);\n    prepared.set(strings, template);\n  }\n  lastSource = strings;\n  lastTemplate = template;\n  return template;\n}\n\n/** The DOM the browser built, as a Shape (lower-case names, <template> content inlined). */\nfunction domShape(nodes: NodeListOf<ChildNode>): Shape {\n  return [...nodes].map((node): ShapeNode => {\n    if (node.nodeType === 3) return '#text';\n    if (node.nodeType === 8) return '#comment';\n    if (node.nodeType !== 1) return [node.nodeName.toLowerCase(), []];\n    const el = node as Element;\n    const children =\n      el.localName === 'template' ? (el as HTMLTemplateElement).content.childNodes : el.childNodes;\n    return [el.localName.toLowerCase(), domShape(children)];\n  });\n}\n\n/**\n * Throws rule 7 when the browser's parse of `template.html` (in `el`) differs from the tree\n * the normalizer computed paths for. Templates that didn't come from `prepare` are skipped.\n */\nexport function verify(template: TemplateObject, el: HTMLTemplateElement): void {\n  const shape = shapes.get(template);\n  if (shape === undefined) return;\n  const problem = shapeMismatch(shape, domShape(el.content.childNodes));\n  if (problem !== undefined) throw repairError(template, \"The browser's HTML parser\", problem);\n}\n"]}

package/dist/view/registry.d.ts

@@ -0,0 +1,63 @@
+import type { ChildValue } from './render/values.js';
+/** What a server render of one component returns: its view and what its seed must carry. */
+export interface ServerRendering {
+    /** `view(state, intents, ctx)` for the resolved props and state. */
+    readonly view: ChildValue;
+    /**
+     * The `data-gyral-seed` payload (ADR 0012): `props` that no attribute carries, and `state`
+     * unless it equals `init(props)`'s state. JSON-serializable.
+     */
+    readonly seed: {
+        readonly state?: unknown;
+        readonly props: Readonly<Record<string, unknown>>;
+    };
+}
+/** The input of one server render, gathered from the start tag (06 "Components"). */
+export interface ServerRenderInput {
+    /** Static attributes plus attribute/boolean holes, as strings (`''` for a present boolean). */
+    readonly attributes: Readonly<Record<string, string>>;
+    /** Property holes: values as is. */
+    readonly properties: Readonly<Record<string, unknown>>;
+    /** Messages run through their reducers after `init` (ADR 0008's rejected-form re-render). */
+    readonly initialMessages?: readonly unknown[] | undefined;
+    /**
+     * The nearest provider's scope (opaque to view/), or undefined for the request's own scope.
+     * The renderer passes it down: a provider's subtree can span several streamed chunks, so a
+     * global set around the subtree would not survive between pulls.
+     */
+    readonly scope?: unknown;
+}
+/** One registered component, as the server renderer sees it. */
+export interface ServerComponent {
+    readonly tag: string;
+    /** `shadow: false` (ADR 0014): render as light-DOM children, not `<template shadowrootmode>`. */
+    readonly light: boolean;
+    /** CSS texts for the declarative shadow root's `<style>` (08). Empty for light components. */
+    readonly styles: readonly string[];
+    /** The island strategy (07): anything but `load` adds `defer-hydration` and `data-gyral-hydrate`. */
+    readonly hydrate: 'load' | 'idle' | 'visible' | 'interaction';
+    /** Parses props (validated as in the browser), runs `init` (commands dropped) and the view. */
+    render(input: ServerRenderInput): ServerRendering;
+}
+/** Records a component. A tag registered twice keeps its first entry, as `customElements` does. */
+export declare function registerServerComponent(component: ServerComponent): void;
+/** The component registered under `tag`, if any. */
+export declare const serverComponent: (tag: string) => ServerComponent | undefined;
+/** Every registered component (for `styleHashes()`, 06 "CSP"). */
+export declare const serverComponents: () => readonly ServerComponent[];
+/**
+ * A server-side provider element (`<gyral-stores>`, ADR 0013): written as a plain element, it
+ * gives its subtree a scope (passed to components as `ServerRenderInput.scope`) and may add
+ * attributes to its start tag (its seed).
+ */
+export interface ServerProvider {
+    readonly tag: string;
+    open(input: ServerRenderInput): {
+        readonly scope: unknown;
+        readonly attributes: Readonly<Record<string, string>>;
+    };
+}
+/** Records a provider element. A tag registered twice keeps its first entry. */
+export declare function registerServerProvider(provider: ServerProvider): void;
+/** The provider registered under `tag`, if any. */
+export declare const serverProvider: (tag: string) => ServerProvider | undefined;

package/dist/view/registry.js

@@ -0,0 +1,19 @@
+const components = new Map();
+/** Records a component. A tag registered twice keeps its first entry, as `customElements` does. */
+export function registerServerComponent(component) {
+    if (!components.has(component.tag))
+        components.set(component.tag, component);
+}
+/** The component registered under `tag`, if any. */
+export const serverComponent = (tag) => components.get(tag);
+/** Every registered component (for `styleHashes()`, 06 "CSP"). */
+export const serverComponents = () => [...components.values()];
+const providers = new Map();
+/** Records a provider element. A tag registered twice keeps its first entry. */
+export function registerServerProvider(provider) {
+    if (!providers.has(provider.tag))
+        providers.set(provider.tag, provider);
+}
+/** The provider registered under `tag`, if any. */
+export const serverProvider = (tag) => providers.get(tag);
+//# sourceMappingURL=registry.js.map

package/dist/view/registry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry.js","sourceRoot":"","sources":["../../src/view/registry.ts"],"names":[],"mappings":"AAgDA,MAAM,UAAU,GAAG,IAAI,GAAG,EAA2B,CAAC;AAEtD,mGAAmG;AACnG,MAAM,UAAU,uBAAuB,CAAC,SAA0B;IAChE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC;QAAE,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;AAC/E,CAAC;AAED,oDAAoD;AACpD,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,GAAW,EAA+B,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAEjG,kEAAkE;AAClE,MAAM,CAAC,MAAM,gBAAgB,GAAG,GAA+B,EAAE,CAAC,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;AAe3F,MAAM,SAAS,GAAG,IAAI,GAAG,EAA0B,CAAC;AAEpD,gFAAgF;AAChF,MAAM,UAAU,sBAAsB,CAAC,QAAwB;IAC7D,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;AAC1E,CAAC;AAED,mDAAmD;AACnD,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,GAAW,EAA8B,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC","sourcesContent":["// The server registry (view/05-element.md \"Registration\", view/06-server.md \"Components\").\n// Outside the browser `define()` records each spec (server-specs.ts); `@gyral/core/server`\n// turns them into entries here (server-component.ts `registerRecordedSpecs`) before each\n// render, and its renderer (view/server/) looks start tags up and renders the component in\n// place. Providers (`<gyral-stores>`, ADR 0013) register a scope for their subtree. Plain data\n// and functions, no DOM: it lives in view/ so view/server/ can read it.\nimport type { ChildValue } from './render/values.js';\n\n/** What a server render of one component returns: its view and what its seed must carry. */\nexport interface ServerRendering {\n  /** `view(state, intents, ctx)` for the resolved props and state. */\n  readonly view: ChildValue;\n  /**\n   * The `data-gyral-seed` payload (ADR 0012): `props` that no attribute carries, and `state`\n   * unless it equals `init(props)`'s state. JSON-serializable.\n   */\n  readonly seed: { readonly state?: unknown; readonly props: Readonly<Record<string, unknown>> };\n}\n\n/** The input of one server render, gathered from the start tag (06 \"Components\"). */\nexport interface ServerRenderInput {\n  /** Static attributes plus attribute/boolean holes, as strings (`''` for a present boolean). */\n  readonly attributes: Readonly<Record<string, string>>;\n  /** Property holes: values as is. */\n  readonly properties: Readonly<Record<string, unknown>>;\n  /** Messages run through their reducers after `init` (ADR 0008's rejected-form re-render). */\n  readonly initialMessages?: readonly unknown[] | undefined;\n  /**\n   * The nearest provider's scope (opaque to view/), or undefined for the request's own scope.\n   * The renderer passes it down: a provider's subtree can span several streamed chunks, so a\n   * global set around the subtree would not survive between pulls.\n   */\n  readonly scope?: unknown;\n}\n\n/** One registered component, as the server renderer sees it. */\nexport interface ServerComponent {\n  readonly tag: string;\n  /** `shadow: false` (ADR 0014): render as light-DOM children, not `<template shadowrootmode>`. */\n  readonly light: boolean;\n  /** CSS texts for the declarative shadow root's `<style>` (08). Empty for light components. */\n  readonly styles: readonly string[];\n  /** The island strategy (07): anything but `load` adds `defer-hydration` and `data-gyral-hydrate`. */\n  readonly hydrate: 'load' | 'idle' | 'visible' | 'interaction';\n  /** Parses props (validated as in the browser), runs `init` (commands dropped) and the view. */\n  render(input: ServerRenderInput): ServerRendering;\n}\n\nconst components = new Map<string, ServerComponent>();\n\n/** Records a component. A tag registered twice keeps its first entry, as `customElements` does. */\nexport function registerServerComponent(component: ServerComponent): void {\n  if (!components.has(component.tag)) components.set(component.tag, component);\n}\n\n/** The component registered under `tag`, if any. */\nexport const serverComponent = (tag: string): ServerComponent | undefined => components.get(tag);\n\n/** Every registered component (for `styleHashes()`, 06 \"CSP\"). */\nexport const serverComponents = (): readonly ServerComponent[] => [...components.values()];\n\n/**\n * A server-side provider element (`<gyral-stores>`, ADR 0013): written as a plain element, it\n * gives its subtree a scope (passed to components as `ServerRenderInput.scope`) and may add\n * attributes to its start tag (its seed).\n */\nexport interface ServerProvider {\n  readonly tag: string;\n  open(input: ServerRenderInput): {\n    readonly scope: unknown;\n    readonly attributes: Readonly<Record<string, string>>;\n  };\n}\n\nconst providers = new Map<string, ServerProvider>();\n\n/** Records a provider element. A tag registered twice keeps its first entry. */\nexport function registerServerProvider(provider: ServerProvider): void {\n  if (!providers.has(provider.tag)) providers.set(provider.tag, provider);\n}\n\n/** The provider registered under `tag`, if any. */\nexport const serverProvider = (tag: string): ServerProvider | undefined => providers.get(tag);\n"]}

package/dist/view/render/adopt-attr.d.ts

@@ -0,0 +1,14 @@
+import { type AttrPart } from './attr-parts.js';
+/**
+ * Takes this render's values as committed without writing (the server wrote them). Form state
+ * the user changed before scripts ran stays: like every part, it writes only when the model's
+ * value changes (07 "Form state"). `?indeterminate`, which no attribute carries, is set; a
+ * property is set unless a nested component already has it from its own seed.
+ */
+export declare function adoptAttr(part: AttrPart, values: readonly unknown[]): void;
+/**
+ * Development: the element shows what `part` adopted. Form state the user edits is compared
+ * by its attribute or default text, which edits don't change; `?open` isn't compared. `fail`
+ * throws the walk's mismatch.
+ */
+export declare function checkAttr(part: AttrPart, fail: (expected: string, found: string, at: Node) => never): void;

package/dist/view/render/adopt-attr.js

@@ -0,0 +1,77 @@
+// Element parts in hydration (view/07-hydration.md "The parallel walk", "Form state"): an
+// attribute, property, hook or text part built over server DOM takes this render's values as
+// committed. Lives with the walk, in the lazily loaded hydration code, not in attr-parts.ts.
+import { absent, ATTR, BOOL, CHECKED, HOOK, MULTI, PLAIN, PROP, STATE, TEXTAREA, textOf, TITLE, truthy, VALUE, } from './attr-parts.js';
+/**
+ * Takes this render's values as committed without writing (the server wrote them). Form state
+ * the user changed before scripts ran stays: like every part, it writes only when the model's
+ * value changes (07 "Form state"). `?indeterminate`, which no attribute carries, is set; a
+ * property is set unless a nested component already has it from its own seed.
+ */
+export function adoptAttr(part, values) {
+    const v = values[part.at];
+    const el = part.el;
+    const live = el;
+    const name = part.name;
+    const kind = part.kind;
+    if (kind === HOOK)
+        part.hook(v);
+    else if (kind === PROP) {
+        part.value = v;
+        const own = live[name] !== undefined && el.localName.includes('-');
+        if (!own && !Object.is(live[name], v))
+            live[name] = v;
+    }
+    else if (kind === MULTI) {
+        const pieces = part.pieces;
+        for (let i = 0; i < pieces.length; i++)
+            pieces[i] = values[part.at + i];
+        part.value = part.join(pieces);
+    }
+    else if (kind === ATTR || kind === VALUE) {
+        part.value = v;
+        if (kind === VALUE && PLAIN.test(el.type))
+            part.kind = ATTR;
+    }
+    else if (kind === TITLE || kind === TEXTAREA)
+        part.value = textOf(part, v);
+    else {
+        part.value = truthy(v);
+        if (kind === STATE && live[name] !== part.value)
+            live[name] = part.value;
+    }
+}
+/**
+ * Development: the element shows what `part` adopted. Form state the user edits is compared
+ * by its attribute or default text, which edits don't change; `?open` isn't compared. `fail`
+ * throws the walk's mismatch.
+ */
+export function checkAttr(part, fail) {
+    const { el, name, value } = part;
+    let want = value;
+    let got;
+    switch (part.kind) {
+        case ATTR:
+        case VALUE:
+        case MULTI:
+            if (part.kind !== MULTI)
+                want = absent(value) ? null : String(value);
+            got = el.getAttribute(name);
+            break;
+        case BOOL:
+        case CHECKED:
+            got = el.hasAttribute(name);
+            break;
+        case TITLE:
+        case TEXTAREA:
+            got = el.textContent;
+            break;
+        default:
+            return;
+    }
+    if (got !== want) {
+        const what = name === '' ? 'content' : name;
+        fail(`${what} ${JSON.stringify(want)}`, `${JSON.stringify(got)} on <${el.localName}>`, el);
+    }
+}
+//# sourceMappingURL=adopt-attr.js.map

package/dist/view/render/adopt-attr.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"adopt-attr.js","sourceRoot":"","sources":["../../../src/view/render/adopt-attr.ts"],"names":[],"mappings":"AAAA,0FAA0F;AAC1F,6FAA6F;AAC7F,6FAA6F;AAC7F,OAAO,EACL,MAAM,EACN,IAAI,EACJ,IAAI,EACJ,OAAO,EACP,IAAI,EACJ,KAAK,EACL,KAAK,EACL,IAAI,EACJ,KAAK,EACL,QAAQ,EACR,MAAM,EACN,KAAK,EACL,MAAM,EACN,KAAK,GAEN,MAAM,iBAAiB,CAAC;AAEzB;;;;;GAKG;AACH,MAAM,UAAU,SAAS,CAAC,IAAc,EAAE,MAA0B;IAClE,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC1B,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC;IACnB,MAAM,IAAI,GAAG,EAAwC,CAAC;IACtD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,IAAI,IAAI,KAAK,IAAI;QAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;SAC3B,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QACvB,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC;QACf,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,SAAS,IAAI,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QACnE,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACxD,CAAC;SAAM,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;QAC1B,MAAM,MAAM,GAAG,IAAI,CAAC,MAAmB,CAAC;QACxC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE;YAAE,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACxE,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACjC,CAAC;SAAM,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;QAC3C,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC;QACf,IAAI,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,IAAI,CAAE,EAAuB,CAAC,IAAI,CAAC;YAAE,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IACpF,CAAC;SAAM,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,QAAQ;QAAE,IAAI,CAAC,KAAK,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;SACxE,CAAC;QACJ,IAAI,CAAC,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK;YAAE,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;IAC3E,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,SAAS,CACvB,IAAc,EACd,IAA0D;IAE1D,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC;IACjC,IAAI,IAAI,GAAY,KAAK,CAAC;IAC1B,IAAI,GAAY,CAAC;IACjB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,IAAI,CAAC;QACV,KAAK,KAAK,CAAC;QACX,KAAK,KAAK;YACR,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;gBAAE,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACrE,GAAG,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;YAC5B,MAAM;QACR,KAAK,IAAI,CAAC;QACV,KAAK,OAAO;YACV,GAAG,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;YAC5B,MAAM;QACR,KAAK,KAAK,CAAC;QACX,KAAK,QAAQ;YACX,GAAG,GAAG,EAAE,CAAC,WAAW,CAAC;YACrB,MAAM;QACR;YACE,OAAO;IACX,CAAC;IACD,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;QACjB,MAAM,IAAI,GAAG,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;QAC5C,IAAI,CAAC,GAAG,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,SAAS,GAAG,EAAE,EAAE,CAAC,CAAC;IAC7F,CAAC;AACH,CAAC","sourcesContent":["// Element parts in hydration (view/07-hydration.md \"The parallel walk\", \"Form state\"): an\n// attribute, property, hook or text part built over server DOM takes this render's values as\n// committed. Lives with the walk, in the lazily loaded hydration code, not in attr-parts.ts.\nimport {\n  absent,\n  ATTR,\n  BOOL,\n  CHECKED,\n  HOOK,\n  MULTI,\n  PLAIN,\n  PROP,\n  STATE,\n  TEXTAREA,\n  textOf,\n  TITLE,\n  truthy,\n  VALUE,\n  type AttrPart,\n} from './attr-parts.js';\n\n/**\n * Takes this render's values as committed without writing (the server wrote them). Form state\n * the user changed before scripts ran stays: like every part, it writes only when the model's\n * value changes (07 \"Form state\"). `?indeterminate`, which no attribute carries, is set; a\n * property is set unless a nested component already has it from its own seed.\n */\nexport function adoptAttr(part: AttrPart, values: readonly unknown[]): void {\n  const v = values[part.at];\n  const el = part.el;\n  const live = el as unknown as Record<string, unknown>;\n  const name = part.name;\n  const kind = part.kind;\n  if (kind === HOOK) part.hook(v);\n  else if (kind === PROP) {\n    part.value = v;\n    const own = live[name] !== undefined && el.localName.includes('-');\n    if (!own && !Object.is(live[name], v)) live[name] = v;\n  } else if (kind === MULTI) {\n    const pieces = part.pieces as unknown[];\n    for (let i = 0; i < pieces.length; i++) pieces[i] = values[part.at + i];\n    part.value = part.join(pieces);\n  } else if (kind === ATTR || kind === VALUE) {\n    part.value = v;\n    if (kind === VALUE && PLAIN.test((el as HTMLInputElement).type)) part.kind = ATTR;\n  } else if (kind === TITLE || kind === TEXTAREA) part.value = textOf(part, v);\n  else {\n    part.value = truthy(v);\n    if (kind === STATE && live[name] !== part.value) live[name] = part.value;\n  }\n}\n\n/**\n * Development: the element shows what `part` adopted. Form state the user edits is compared\n * by its attribute or default text, which edits don't change; `?open` isn't compared. `fail`\n * throws the walk's mismatch.\n */\nexport function checkAttr(\n  part: AttrPart,\n  fail: (expected: string, found: string, at: Node) => never,\n): void {\n  const { el, name, value } = part;\n  let want: unknown = value;\n  let got: unknown;\n  switch (part.kind) {\n    case ATTR:\n    case VALUE:\n    case MULTI:\n      if (part.kind !== MULTI) want = absent(value) ? null : String(value);\n      got = el.getAttribute(name);\n      break;\n    case BOOL:\n    case CHECKED:\n      got = el.hasAttribute(name);\n      break;\n    case TITLE:\n    case TEXTAREA:\n      got = el.textContent;\n      break;\n    default:\n      return;\n  }\n  if (got !== want) {\n    const what = name === '' ? 'content' : name;\n    fail(`${what} ${JSON.stringify(want)}`, `${JSON.stringify(got)} on <${el.localName}>`, el);\n  }\n}\n"]}