@gyral/core 0.1.0 → 0.3.0

package/CHANGELOG.md

@@ -1,5 +1,117 @@
 # @gyral/core
 
+## 0.3.0
+
+### Minor Changes
+
+- 595e1c4: `renderPage({ csp })` also takes `contentSecurityPolicy()`'s options (`{ directives, styles? }`)
+  and builds the `Content-Security-Policy` header when the page renders, so components whose
+  modules were imported after startup get their `<style>` hashes too (a policy built earlier
+  silently lacked them, and the browser blocked those styles). `styles` defaults to the page's
+  own; the header is cached per options object until another component registers.
+  `contentSecurityPolicy()` stays for static use; in development `renderPage` warns when a header
+  it is given lacks a registered component's hash. `@gyral/core/server` adds `styleHashSync()`
+  (the CSP hash, synchronously: a small SHA-256 in JavaScript), `componentStyles()` and
+  `development`. The `create-gyral` ssr template uses `csp: {}`.
+- ca68fe8: `@gyral/core/eslint`: an ESLint flat-config plugin (`gyral.configs.recommended`). `gyral/template`
+  reports the template rules (docs/design-docs/view/09-template-rules.md) in the editor, with the
+  compiler's and the development runtime's own messages, at the tag, text or `${…}` they are
+  about; `gyral/each-row-purity` reports `each` rows that read the view's scope and `each` calls
+  without a key function (view/03-lists.md). ESLint 9 or 10 is an optional peer dependency.
+- 784bd2f: `renderOnFrame` (spec field): messages from bursty sources (a WebSocket feed, sensors) render in
+  the next animation frame, once for all of them, instead of in the microtask flush; reducers still
+  run at once, and `'StoreChanged'` covers store changes. Pages without frames render from a 100 ms
+  timer, so `settled()` never stalls. The microtask flush stays the default (flush-timing spike,
+  docs/design-docs/view/04-scheduler.md).
+- 6971fbe: Smaller bundles (size pass, ADR 0018): code an app doesn't use is no longer bundled. The keyed
+  list reconciler comes with `each`, `raw` with `raw`, the command interpreter with `command()`,
+  the store binding with `defineStore()` and prop parsing with the prop builders. Hydration and
+  islands load lazily, with the first server-rendered host, so client-only pages never fetch them;
+  the invoker-command fallback loads only where `CommandEvent` is missing. A component root now
+  listens only for the events its templates can fire intents on (any statically named
+  `data-intent-on` type works without `spec.events`). New: `intents<Msg>()`, a module-level
+  constant of intent names for pure `each` rows.
+- d3f540a: Gyral's own view layer replaces Lit (ADR 0018). No Gyral package depends on Lit any more, and
+  `@gyral/core` has no runtime dependencies. Upgrade guide with before/after code:
+  [docs/references/migrating-0.2-to-0.3.md](https://github.com/gyraljs/gyral/blob/main/docs/references/migrating-0.2-to-0.3.md).
+
+  - **`@gyral/core`:** `define()` returns a plain `HTMLElement` subclass rendered by one global
+    scheduler; `await settled()` replaces `el.updateComplete`. `html`, `css` and `nothing` are
+    Gyral's own; new are `each(items, key, row, pick?)` (keyed lists with pure rows),
+    `intents<Msg>()`, `raw()`, `defineHook()` (the hooks `invalid` and `labelledBy` keep their call
+    sites) and `HydrationMismatch`. Props are declared with `prop.string/number/boolean/json/value`
+    over Standard Schema: attributes are kebab-case by default and always validated. Form state
+    uses plain bindings (`value=${v}`, `?checked=${v}`, `<textarea>${v}</textarea>`), written
+    only when the model's value changes, so other renders keep the user's edits. Removed:
+    `svg`, `classMap`, `styleMap`, `unsafeCSS` (interpolate in `css`), `repeat`, `keyed`, `live`,
+    `liveBoolean`, `textarea()`, `textareaMarkup`, `directive`/`ElementDirective`,
+    `defineStoresProvider`, `HIDDEN_MARKER`, `HYDRATE_KEY`, `CSSStyleSheet` in `styles`, and
+    `LIT_PACKAGES`/`LIT_PREBUNDLE` from `@gyral/core/vite`. `gyralVitePreset()` now runs the
+    template compiler in `vite build` (rule errors fail the build). Server rendering is
+    `@gyral/core/server`; hydration is built in: each server-rendered component adopts its DOM in
+    place on its own, mismatches throw `HydrationMismatch` in development and re-render just that
+    component in production, and islands may sit anywhere.
+  - **`@gyral/ssr`:** renders with `@gyral/core/server` (synchronous, no DOM shim). `serverHtml` is
+    gone (use core's `html`); `contentSecurityPolicy()` allows components' `<style>` by hash, so
+    `style-src` needs no `'unsafe-inline'`. A template that writes children inside a light
+    component's tag is an error. `@gyral/ssr/hydrate` is kept as an empty entry; remove the import.
+  - **`@gyral/testing`:** `hydrated()` waits for `settled()` and takes `{ releaseIslands }`; it no
+    longer awaits other elements' `updateComplete`, and `mountSsr` no longer ignores Lit's console
+    banner.
+  - **`@gyral/devtools`:** the panel renders with the new view layer; no Lit peer.
+  - **`create-gyral`:** the templates install no Lit packages and no `lit-html` override.
+
+### Patch Changes
+
+- fe849f8: Compiled templates are smaller: part tables are tuples with numeric kinds and `server` is written
+  only when true (about a quarter less template code raw; every example's bundle shrinks by
+  35-97 B gzip). Nothing decodes them at runtime; template ids are unchanged.
+- 49ff2ad: The Vite preset's new `gyral:dev-server` plugin makes server rendering under Vite's dev server
+  (`ssrLoadModule`) produce development output (`<!--gyral:ID-->` markers, development checks)
+  with installed packages too: in serve mode it keeps `@gyral/*`, and the app's dependencies that
+  depend on them, out of SSR externalization, so they resolve the `development` condition and
+  share one `@gyral/core`. `vite build` is unchanged.
+- 9c6c8bd: The server renderer escapes `<` and `>` in attribute values and in the seed attribute too, so
+  no markup (such as `<script>`) appears raw inside an attribute. Browsers decode them, so values
+  and hydration are unchanged.
+- 8803ef3: Leaner page shells. A `server` template (a document shell such as `@gyral/ssr`'s `page()`) is
+  never hydrated, so the server no longer writes anchor comments (`<!---->`) for it or for `raw()`
+  values in its holes; templates nested in a shell keep theirs. The whitespace rules treat
+  `<head>`, `<meta>`, `<link>`, `<base>` and `<title>` as block-level edges and drop all
+  whitespace-only text inside `<head>`. Ids of templates with those tags change (the same in the
+  compiler, the browser and the server).
+- b2ae8e5: Production client builds no longer carry template ids: the template compiler leaves them out
+  of the hoisted template objects, and the renderer compares templates by object identity there
+  (about a fifth less compiled template code gzip: 10.32 → 8.27 KiB on a 210-template corpus).
+  SSR and development builds keep their ids (development markers, collision checks). One visible
+  difference: identical markup at call sites in two modules is now two templates in production,
+  so switching between them replaces the instance instead of patching it.
+
+## 0.2.0
+
+### Minor Changes
+
+- 74054b3: Smaller and faster, with no public API change:
+
+  - **No Effect.** The command interpreter is now plain TypeScript with no runtime dependencies,
+    so `@gyral/core` depends only on Lit. An empty app drops from about 49 KiB to about 11 KiB
+    gzipped, starts faster and uses less memory; rendering speed is unchanged (ADR 0015).
+  - **Template whitespace minification.** `html` and `svg` remove indentation whitespace between
+    tags (once per template, on server and client alike), so lists build far fewer DOM nodes and
+    bulk list updates are 9–22% faster. Inline spacing is kept as one space; `<pre>`,
+    `<textarea>`, `<script>`, `<style>`, attributes and comments are unchanged. For exact
+    whitespace under CSS `white-space: pre*`, use `html` from `lit`.
+  - **lit-html leak guidance.** lit-html 3.3.1 and later leak a comment node per removed
+    `repeat()` item (lit/lit#5298). Development builds warn once when an affected version is
+    loaded; pin lit-html to 3.3.0 with an override until it is fixed upstream
+    (docs/references/consumer-setup.md). New `create-gyral` apps are pinned.
+
+### Patch Changes
+
+- a7275e8: Copyright and package author are Mike Zupper.
+- fa0156a: `focus()` returned by a reducer whose update renders inside a View Transition now runs after
+  the new view has rendered, instead of before it (it used to warn "matched no focusable element").
+
 ## 0.1.0
 
 ### Minor Changes

package/LICENSE

@@ -1,6 +1,6 @@
 MIT License
 
-Copyright (c) 2026 The Zoop Troop, Inc.
+Copyright (c) 2026 Mike Zupper
 
 Permission is hereby granted, free of charge, to any person obtaining a copy
 of this software and associated documentation files (the "Software"), to deal

package/NOTICE

@@ -1,5 +1,5 @@
 Gyral
-Copyright (c) 2026 The Zoop Troop, Inc.
+Copyright (c) 2026 Mike Zupper
 
 Gyral is inspired by Cycle.js (https://github.com/cyclejs/cyclejs), released
 under the MIT License:

package/README.md

@@ -1,11 +1,11 @@
 # @gyral/core
 
-Model-View-Intent web components on [Lit](https://lit.dev) and the web platform. _Inspired by [Cycle.js](https://cycle.js.org)._ Intent parses platform events into typed messages, the model is a set of pure reducers, and the view is a pure template that names intents. Side effects are commands: data that drivers run at the edges.
+Model-View-Intent web components on the web platform, with their own view layer. _Inspired by [Cycle.js](https://cycle.js.org)._ Intent parses platform events into typed messages, the model is a set of pure reducers, and the view is a pure template that names intents. Side effects are commands: data that drivers run at the edges.
 
 ## Install
 
 ```sh
-pnpm add @gyral/core lit
+pnpm add @gyral/core
 ```
 
 ## Example
@@ -34,17 +34,19 @@ define<{ count: number }, Msg>('gy-counter', {
 ```
 
 `@gyral/core/vite` exports `gyralVitePreset()`, the Vite/Vitest settings every Gyral app needs
-(one copy of Lit, Lit modules pre-bundled).
+(the build-time template compiler). `@gyral/core/eslint` is an ESLint plugin with the same
+template rules for the editor: `export default [gyral.configs.recommended]`.
 
 ## Documentation
 
 Guides and API reference: **[gyral.dev](https://gyral.dev)**. Source, issues and the
-consumer setup guide (peer dependencies, Vite preset, SSR checklist):
-[github.com/gyraljs/gyral](https://github.com/gyraljs/gyral).
+consumer setup guide (packages, Vite preset, template compiler):
+[github.com/gyraljs/gyral](https://github.com/gyraljs/gyral). Upgrading from 0.2:
+[docs/references/migrating-0.2-to-0.3.md](https://github.com/gyraljs/gyral/blob/main/docs/references/migrating-0.2-to-0.3.md).
 
 > Status: pre-alpha. APIs change between 0.x releases.
 
 ## License
 
-MIT © The Zoop Troop, Inc. See LICENSE and NOTICE (Cycle.js attribution). Gyral, gyraljs and
-the Gyral logo are trademarks of The Zoop Troop, Inc.
+MIT © Mike Zupper. See LICENSE and NOTICE (Cycle.js attribution). Gyral, gyraljs and
+the Gyral logo are trademarks of Mike Zupper.

package/dist/children.d.ts

@@ -1,9 +1,11 @@
 import type { Command } from './command.js';
+import type { LocalHost } from './features.js';
 import type { IntentParser, Tagged } from './types.js';
-/** Marker driver: `define()` handles emit commands itself, synchronously ordered. */
+/** Marker driver: the host runs emit commands itself (`local`), synchronously ordered. */
 export declare const EMIT: {
     readonly name: "@gyral/emit";
     readonly run: () => undefined;
+    readonly local: (host: LocalHost, output: unknown) => void;
 };
 /**
  * A command that sends `output` to the parent component. The parent receives it as an
@@ -12,7 +14,8 @@ export declare const EMIT: {
 export declare function emit(output: Tagged & Readonly<Record<string, unknown>>): Command<never>;
 /**
  * Sends an output to the parent component. A microtask keeps outputs in order and out of the
- * parent's render pass; the event bubbles through the parent's shadow tree only (not composed).
+ * parent's render pass (settled() waits for it); the event bubbles through the parent's shadow
+ * tree only (not composed).
  */
 export declare function dispatchOutput(host: Element, output: unknown): void;
 /** Anything `child()` can read an output type from: a `define()` class. */

package/dist/children.js

@@ -1,8 +1,12 @@
 import { OUTPUT_EVENT } from './intent.js';
-/** Marker driver: `define()` handles emit commands itself, synchronously ordered. */
+import { defer } from './scheduler.js';
+/** Marker driver: the host runs emit commands itself (`local`), synchronously ordered. */
 export const EMIT = {
     name: '@gyral/emit',
     run: () => undefined,
+    local: (host, output) => {
+        dispatchOutput(host.el, output);
+    },
 };
 /**
  * A command that sends `output` to the parent component. The parent receives it as an
@@ -13,10 +17,11 @@ export function emit(output) {
 }
 /**
  * Sends an output to the parent component. A microtask keeps outputs in order and out of the
- * parent's render pass; the event bubbles through the parent's shadow tree only (not composed).
+ * parent's render pass (settled() waits for it); the event bubbles through the parent's shadow
+ * tree only (not composed).
  */
 export function dispatchOutput(host, output) {
-    queueMicrotask(() => {
+    defer(() => {
         if (!host.isConnected)
             return;
         host.dispatchEvent(new CustomEvent(OUTPUT_EVENT, { detail: output, bubbles: true, composed: false }));

package/dist/children.js.map

@@ -1 +1 @@
-{"version":3,"file":"children.js","sourceRoot":"","sources":["../src/children.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAG3C,qFAAqF;AACrF,MAAM,CAAC,MAAM,IAAI,GAAG;IAClB,IAAI,EAAE,aAAa;IACnB,GAAG,EAAE,GAAG,EAAE,CAAC,SAAS;CACZ,CAAC;AAEX;;;GAGG;AACH,MAAM,UAAU,IAAI,CAAC,MAAkD;IACrE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE,CAAC;AACrE,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,IAAa,EAAE,MAAe;IAC3D,cAAc,CAAC,GAAG,EAAE;QAClB,IAAI,CAAC,IAAI,CAAC,WAAW;YAAE,OAAO;QAC9B,IAAI,CAAC,aAAa,CAChB,IAAI,WAAW,CAAC,YAAY,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAClF,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAaD,oEAAoE;AACpE,MAAM,aAAa,GAAG,CACpB,MAAyB,EACL,EAAE,CACtB,WAAW,IAAI,MAAM,IAAI,MAAM,CAAC,SAAS,KAAK,SAAS;IACrD,CAAC,CAAE,MAA6B;IAChC,CAAC,CAAE,MAAmC,EAAE,CAAC;AAE7C;;;;;;;;;;GAUG;AACH,MAAM,UAAU,KAAK,CACnB,MAAyB,EACzB,KAA0C;IAE1C,OAAO,CAAC,KAAkB,EAAE,EAAE;QAC5B,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,sDAAsD;QAC1F,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,YAAY,IAAI,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QACpF,8EAA8E;QAC9E,OAAO,KAAK,CAAC,KAAK,CAAC,MAAW,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IAChD,CAAC,CAAC;AACJ,CAAC","sourcesContent":["// Child components: props down, outputs up (docs/design-docs/0010-child-components.md).\nimport type { Command } from './command.js';\nimport { OUTPUT_EVENT } from './intent.js';\nimport type { IntentInput, IntentParser, Tagged } from './types.js';\n\n/** Marker driver: `define()` handles emit commands itself, synchronously ordered. */\nexport const EMIT = {\n  name: '@gyral/emit',\n  run: () => undefined,\n} as const;\n\n/**\n * A command that sends `output` to the parent component. The parent receives it as an\n * intent on the child element: `<my-child data-intent=${i.Picked}>` + `child(MyChild, …)`.\n */\nexport function emit(output: Tagged & Readonly<Record<string, unknown>>): Command<never> {\n  return { driver: EMIT, input: output, onSuccess: () => undefined };\n}\n\n/**\n * Sends an output to the parent component. A microtask keeps outputs in order and out of the\n * parent's render pass; the event bubbles through the parent's shadow tree only (not composed).\n */\nexport function dispatchOutput(host: Element, output: unknown): void {\n  queueMicrotask(() => {\n    if (!host.isConnected) return;\n    host.dispatchEvent(\n      new CustomEvent(OUTPUT_EVENT, { detail: output, bubbles: true, composed: false }),\n    );\n  });\n}\n\n/** Anything `child()` can read an output type from: a `define()` class. */\nexport interface OutputSource<O extends Tagged, E extends Element> {\n  new (): E;\n  /** Type-only marker for the component's output union. Never set at runtime. */\n  readonly outputs?: O;\n}\n\n/** A child class, or a function returning it (for recursive or later-defined components). */\nexport type ChildSource<O extends Tagged, E extends Element> =\n  OutputSource<O, E> | (() => OutputSource<O, E>);\n\n// Classes have a prototype; arrow functions (the lazy form) do not.\nconst resolveSource = <O extends Tagged, E extends Element>(\n  source: ChildSource<O, E>,\n): OutputSource<O, E> =>\n  'prototype' in source && source.prototype !== undefined\n    ? (source as OutputSource<O, E>)\n    : (source as () => OutputSource<O, E>)();\n\n/**\n * Intent parser for a child component's outputs, typed by the child's output union.\n * `el` is the child element, for reading its props (an item id, for example).\n *\n * Pass `() => Child` when the class isn't defined yet, e.g. a component that contains\n * itself; annotate the constant's type so TypeScript accepts the self-reference:\n *\n *   const Folder: GyralElementClass<State, Msg, Props, Out> = define('x-folder', {\n *     intent: { Child: child(() => Folder, (out, el) => …) }, …\n *   });\n */\nexport function child<O extends Tagged, E extends Element, M>(\n  source: ChildSource<O, E>,\n  toMsg: (output: O, el: E) => M | undefined,\n): IntentParser<M> {\n  return (input: IntentInput) => {\n    const type = resolveSource(source); // resolved per event, so the lazy form never hits TDZ\n    if (!(input.target instanceof type) || input.detail === undefined) return undefined;\n    // Sound: only `emit()` from a component of this class dispatches this detail.\n    return toMsg(input.detail as O, input.target);\n  };\n}\n"]}
+{"version":3,"file":"children.js","sourceRoot":"","sources":["../src/children.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAGvC,0FAA0F;AAC1F,MAAM,CAAC,MAAM,IAAI,GAAG;IAClB,IAAI,EAAE,aAAa;IACnB,GAAG,EAAE,GAAG,EAAE,CAAC,SAAS;IACpB,KAAK,EAAE,CAAC,IAAe,EAAE,MAAe,EAAE,EAAE;QAC1C,cAAc,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IAClC,CAAC;CACO,CAAC;AAEX;;;GAGG;AACH,MAAM,UAAU,IAAI,CAAC,MAAkD;IACrE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE,CAAC;AACrE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,IAAa,EAAE,MAAe;IAC3D,KAAK,CAAC,GAAG,EAAE;QACT,IAAI,CAAC,IAAI,CAAC,WAAW;YAAE,OAAO;QAC9B,IAAI,CAAC,aAAa,CAChB,IAAI,WAAW,CAAC,YAAY,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAClF,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAaD,oEAAoE;AACpE,MAAM,aAAa,GAAG,CACpB,MAAyB,EACL,EAAE,CACtB,WAAW,IAAI,MAAM,IAAI,MAAM,CAAC,SAAS,KAAK,SAAS;IACrD,CAAC,CAAE,MAA6B;IAChC,CAAC,CAAE,MAAmC,EAAE,CAAC;AAE7C;;;;;;;;;;GAUG;AACH,MAAM,UAAU,KAAK,CACnB,MAAyB,EACzB,KAA0C;IAE1C,OAAO,CAAC,KAAkB,EAAE,EAAE;QAC5B,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,sDAAsD;QAC1F,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,YAAY,IAAI,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QACpF,8EAA8E;QAC9E,OAAO,KAAK,CAAC,KAAK,CAAC,MAAW,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IAChD,CAAC,CAAC;AACJ,CAAC","sourcesContent":["// Child components: props down, outputs up (docs/design-docs/0010-child-components.md).\nimport type { Command } from './command.js';\nimport type { LocalHost } from './features.js';\nimport { OUTPUT_EVENT } from './intent.js';\nimport { defer } from './scheduler.js';\nimport type { IntentInput, IntentParser, Tagged } from './types.js';\n\n/** Marker driver: the host runs emit commands itself (`local`), synchronously ordered. */\nexport const EMIT = {\n  name: '@gyral/emit',\n  run: () => undefined,\n  local: (host: LocalHost, output: unknown) => {\n    dispatchOutput(host.el, output);\n  },\n} as const;\n\n/**\n * A command that sends `output` to the parent component. The parent receives it as an\n * intent on the child element: `<my-child data-intent=${i.Picked}>` + `child(MyChild, …)`.\n */\nexport function emit(output: Tagged & Readonly<Record<string, unknown>>): Command<never> {\n  return { driver: EMIT, input: output, onSuccess: () => undefined };\n}\n\n/**\n * Sends an output to the parent component. A microtask keeps outputs in order and out of the\n * parent's render pass (settled() waits for it); the event bubbles through the parent's shadow\n * tree only (not composed).\n */\nexport function dispatchOutput(host: Element, output: unknown): void {\n  defer(() => {\n    if (!host.isConnected) return;\n    host.dispatchEvent(\n      new CustomEvent(OUTPUT_EVENT, { detail: output, bubbles: true, composed: false }),\n    );\n  });\n}\n\n/** Anything `child()` can read an output type from: a `define()` class. */\nexport interface OutputSource<O extends Tagged, E extends Element> {\n  new (): E;\n  /** Type-only marker for the component's output union. Never set at runtime. */\n  readonly outputs?: O;\n}\n\n/** A child class, or a function returning it (for recursive or later-defined components). */\nexport type ChildSource<O extends Tagged, E extends Element> =\n  OutputSource<O, E> | (() => OutputSource<O, E>);\n\n// Classes have a prototype; arrow functions (the lazy form) do not.\nconst resolveSource = <O extends Tagged, E extends Element>(\n  source: ChildSource<O, E>,\n): OutputSource<O, E> =>\n  'prototype' in source && source.prototype !== undefined\n    ? (source as OutputSource<O, E>)\n    : (source as () => OutputSource<O, E>)();\n\n/**\n * Intent parser for a child component's outputs, typed by the child's output union.\n * `el` is the child element, for reading its props (an item id, for example).\n *\n * Pass `() => Child` when the class isn't defined yet, e.g. a component that contains\n * itself; annotate the constant's type so TypeScript accepts the self-reference:\n *\n *   const Folder: GyralElementClass<State, Msg, Props, Out> = define('x-folder', {\n *     intent: { Child: child(() => Folder, (out, el) => …) }, …\n *   });\n */\nexport function child<O extends Tagged, E extends Element, M>(\n  source: ChildSource<O, E>,\n  toMsg: (output: O, el: E) => M | undefined,\n): IntentParser<M> {\n  return (input: IntentInput) => {\n    const type = resolveSource(source); // resolved per event, so the lazy form never hits TDZ\n    if (!(input.target instanceof type) || input.detail === undefined) return undefined;\n    // Sound: only `emit()` from a component of this class dispatches this detail.\n    return toMsg(input.detail as O, input.target);\n  };\n}\n"]}

package/dist/command.js

@@ -1,3 +1,8 @@
+// Effects as data (docs/design-docs/0006-effects-and-drivers.md). Plain TypeScript only: the
+// interpreter lives in ./internal/ (ADR 0015); `command()` registers it (features.ts), so apps
+// that build no commands don't bundle it.
+import { features } from './features.js';
+import { hostInterpreter } from './internal/interpreter.js';
 /** Identity helper so driver literals infer `I`, `O` and `E`. */
 export function defineDriver(driver) {
     return driver;
@@ -5,6 +10,7 @@ export function defineDriver(driver) {
 /** Builds a command whose mappers are typed by the driver's input, output and error. */
 // Two message parameters so success and failure may produce different variants.
 export function command(driver, input, handlers) {
+    features.commands = hostInterpreter;
     const { onFailure, key, concurrency } = handlers;
     return {
         driver: driver,

package/dist/command.js.map

@@ -1 +1 @@
-{"version":3,"file":"command.js","sourceRoot":"","sources":["../src/command.ts"],"names":[],"mappings":"AAqEA,iEAAiE;AACjE,MAAM,UAAU,YAAY,CAAoB,MAAuB;IACrE,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,wFAAwF;AACxF,gFAAgF;AAChF,MAAM,UAAU,OAAO,CACrB,MAAuB,EACvB,KAAQ,EACR,QAAuC;IAEvC,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,WAAW,EAAE,GAAG,QAAQ,CAAC;IACjD,OAAO;QACL,MAAM,EAAE,MAAM;QACd,KAAK;QACL,gFAAgF;QAChF,SAAS,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,MAAW,CAAC;QACtD,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,KAAc,EAAE,EAAE,CAAC,SAAS,CAAC,KAAU,CAAC,EAAE,CAAC;QAC5F,GAAG,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC;QACrC,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC;KACtD,CAAC;AACJ,CAAC;AAED,2FAA2F;AAC3F,MAAM,UAAU,SAAS,CACvB,IAAgB;IAEhB,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACvE,OAAO,IAAgE,CAAC;IAC1E,CAAC;IACD,OAAO,CAAC,IAAS,EAAE,EAAE,CAAC,CAAC;AACzB,CAAC","sourcesContent":["// Effects as data (docs/design-docs/0006-effects-and-drivers.md). Plain TypeScript only:\nimport type { IntentRejected } from './types.js';\n// the Effect-based interpreter lives in ./internal/.\n\n/** How commands in the same lane interact. See ADR 0006 for the table. */\nexport type Concurrency = 'merge' | 'switch' | 'exhaust' | 'queue';\n\nexport interface RetryPolicy {\n  /** Retries after the first failure. */\n  readonly times: number;\n  /** Delay before each retry (the base delay for exponential backoff). Default 0. */\n  readonly delayMs?: number;\n  readonly backoff?: 'fixed' | 'exponential';\n}\n\nexport interface DriverContext<O = unknown> {\n  /** Aborts when the command is switched away or its component disconnects. */\n  readonly signal: AbortSignal;\n  /**\n   * Delivers an extra result while the command runs (streaming drivers: routers, timers,\n   * sockets). Each value goes through the command's `onSuccess`. Ignored once the command\n   * has settled or been aborted. A streaming `run` usually never resolves; abort ends it.\n   */\n  readonly emit: (output: O) => void;\n}\n\n/** Performs one kind of side effect. A plain object: easy to fake in tests. */\nexport interface Driver<I, O, E = unknown> {\n  readonly name: string;\n  readonly run: (input: I, ctx: DriverContext<O>) => O | Promise<O>;\n  /** Default policy for this driver's commands. Default `'merge'`. */\n  readonly concurrency?: Concurrency;\n  readonly retry?: RetryPolicy;\n  /** Turns a thrown or rejected value into this driver's typed error. */\n  readonly toError?: (cause: unknown) => E;\n}\n\n/** Any driver, with its input type erased. */\nexport type AnyDriver = Driver<never, unknown>;\n\n/** Drivers substituted by name (test fakes, configured instances). */\nexport type DriverOverrides = Readonly<Record<string, AnyDriver>>;\n\n/** A side effect described as data, plus pure mappers from its outcome to messages. */\nexport interface Command<M> {\n  readonly driver: AnyDriver;\n  readonly input: unknown;\n  /** Concurrency lane. Default: the driver's name. */\n  readonly key?: string;\n  readonly concurrency?: Concurrency;\n  readonly onSuccess: (output: unknown) => M | undefined;\n  /** If omitted, failures are logged and dropped. */\n  readonly onFailure?: (error: unknown) => M | undefined;\n}\n\nexport interface CommandHandlers<O, E, MS, MF = MS> {\n  readonly onSuccess: (output: O) => MS | undefined;\n  readonly onFailure?: (error: E) => MF | undefined;\n  readonly key?: string;\n  readonly concurrency?: Concurrency;\n}\n\n/**\n * What a reducer (or `init`) returns: new state, optionally with commands to run. Commands may\n * also answer with the framework message `IntentRejected` (e.g. `submitForm` in @gyral/http\n * when the server rejects a form), which goes to the optional `IntentRejected` reducer.\n */\nexport type Next<S, M> = S | readonly [S, ReadonlyArray<Command<M | IntentRejected>>];\n\n/** Identity helper so driver literals infer `I`, `O` and `E`. */\nexport function defineDriver<I, O, E = unknown>(driver: Driver<I, O, E>): Driver<I, O, E> {\n  return driver;\n}\n\n/** Builds a command whose mappers are typed by the driver's input, output and error. */\n// Two message parameters so success and failure may produce different variants.\nexport function command<I, O, E, MS, MF = MS>(\n  driver: Driver<I, O, E>,\n  input: I,\n  handlers: CommandHandlers<O, E, MS, MF>,\n): Command<MS | MF> {\n  const { onFailure, key, concurrency } = handlers;\n  return {\n    driver: driver,\n    input,\n    // Sound: the interpreter only passes this driver's output and toError() result.\n    onSuccess: (output) => handlers.onSuccess(output as O),\n    ...(onFailure === undefined ? {} : { onFailure: (error: unknown) => onFailure(error as E) }),\n    ...(key === undefined ? {} : { key }),\n    ...(concurrency === undefined ? {} : { concurrency }),\n  };\n}\n\n/** Splits a reducer result into state and commands. State is never an array (ADR 0006). */\nexport function splitNext<S, M>(\n  next: Next<S, M>,\n): readonly [S, ReadonlyArray<Command<M | IntentRejected>>] {\n  if (Array.isArray(next) && next.length === 2 && Array.isArray(next[1])) {\n    return next as readonly [S, ReadonlyArray<Command<M | IntentRejected>>];\n  }\n  return [next as S, []];\n}\n"]}
+{"version":3,"file":"command.js","sourceRoot":"","sources":["../src/command.ts"],"names":[],"mappings":"AAAA,6FAA6F;AAC7F,+FAA+F;AAC/F,0CAA0C;AAC1C,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAoE5D,iEAAiE;AACjE,MAAM,UAAU,YAAY,CAAoB,MAAuB;IACrE,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,wFAAwF;AACxF,gFAAgF;AAChF,MAAM,UAAU,OAAO,CACrB,MAAuB,EACvB,KAAQ,EACR,QAAuC;IAEvC,QAAQ,CAAC,QAAQ,GAAG,eAAe,CAAC;IACpC,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,WAAW,EAAE,GAAG,QAAQ,CAAC;IACjD,OAAO;QACL,MAAM,EAAE,MAAM;QACd,KAAK;QACL,gFAAgF;QAChF,SAAS,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,MAAW,CAAC;QACtD,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,KAAc,EAAE,EAAE,CAAC,SAAS,CAAC,KAAU,CAAC,EAAE,CAAC;QAC5F,GAAG,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC;QACrC,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC;KACtD,CAAC;AACJ,CAAC;AAED,2FAA2F;AAC3F,MAAM,UAAU,SAAS,CACvB,IAAgB;IAEhB,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACvE,OAAO,IAAgE,CAAC;IAC1E,CAAC;IACD,OAAO,CAAC,IAAS,EAAE,EAAE,CAAC,CAAC;AACzB,CAAC","sourcesContent":["// Effects as data (docs/design-docs/0006-effects-and-drivers.md). Plain TypeScript only: the\n// interpreter lives in ./internal/ (ADR 0015); `command()` registers it (features.ts), so apps\n// that build no commands don't bundle it.\nimport { features } from './features.js';\nimport { hostInterpreter } from './internal/interpreter.js';\nimport type { IntentRejected } from './types.js';\n\n/** How commands in the same lane interact. See ADR 0006 for the table. */\nexport type Concurrency = 'merge' | 'switch' | 'exhaust' | 'queue';\n\nexport interface RetryPolicy {\n  /** Retries after the first failure. */\n  readonly times: number;\n  /** Delay before each retry (the base delay for exponential backoff). Default 0. */\n  readonly delayMs?: number;\n  readonly backoff?: 'fixed' | 'exponential';\n}\n\nexport interface DriverContext<O = unknown> {\n  /** Aborts when the command is switched away or its component disconnects. */\n  readonly signal: AbortSignal;\n  /**\n   * Delivers an extra result while the command runs (streaming drivers: routers, timers,\n   * sockets). Each value goes through the command's `onSuccess`. Ignored once the command\n   * has settled or been aborted. A streaming `run` usually never resolves; abort ends it.\n   */\n  readonly emit: (output: O) => void;\n}\n\n/** Performs one kind of side effect. A plain object: easy to fake in tests. */\nexport interface Driver<I, O, E = unknown> {\n  readonly name: string;\n  readonly run: (input: I, ctx: DriverContext<O>) => O | Promise<O>;\n  /** Default policy for this driver's commands. Default `'merge'`. */\n  readonly concurrency?: Concurrency;\n  readonly retry?: RetryPolicy;\n  /** Turns a thrown or rejected value into this driver's typed error. */\n  readonly toError?: (cause: unknown) => E;\n}\n\n/** Any driver, with its input type erased. */\nexport type AnyDriver = Driver<never, unknown>;\n\n/** Drivers substituted by name (test fakes, configured instances). */\nexport type DriverOverrides = Readonly<Record<string, AnyDriver>>;\n\n/** A side effect described as data, plus pure mappers from its outcome to messages. */\nexport interface Command<M> {\n  readonly driver: AnyDriver;\n  readonly input: unknown;\n  /** Concurrency lane. Default: the driver's name. */\n  readonly key?: string;\n  readonly concurrency?: Concurrency;\n  readonly onSuccess: (output: unknown) => M | undefined;\n  /** If omitted, failures are logged and dropped. */\n  readonly onFailure?: (error: unknown) => M | undefined;\n}\n\nexport interface CommandHandlers<O, E, MS, MF = MS> {\n  readonly onSuccess: (output: O) => MS | undefined;\n  readonly onFailure?: (error: E) => MF | undefined;\n  readonly key?: string;\n  readonly concurrency?: Concurrency;\n}\n\n/**\n * What a reducer (or `init`) returns: new state, optionally with commands to run. Commands may\n * also answer with the framework message `IntentRejected` (e.g. `submitForm` in @gyral/http\n * when the server rejects a form), which goes to the optional `IntentRejected` reducer.\n */\nexport type Next<S, M> = S | readonly [S, ReadonlyArray<Command<M | IntentRejected>>];\n\n/** Identity helper so driver literals infer `I`, `O` and `E`. */\nexport function defineDriver<I, O, E = unknown>(driver: Driver<I, O, E>): Driver<I, O, E> {\n  return driver;\n}\n\n/** Builds a command whose mappers are typed by the driver's input, output and error. */\n// Two message parameters so success and failure may produce different variants.\nexport function command<I, O, E, MS, MF = MS>(\n  driver: Driver<I, O, E>,\n  input: I,\n  handlers: CommandHandlers<O, E, MS, MF>,\n): Command<MS | MF> {\n  features.commands = hostInterpreter;\n  const { onFailure, key, concurrency } = handlers;\n  return {\n    driver: driver,\n    input,\n    // Sound: the interpreter only passes this driver's output and toError() result.\n    onSuccess: (output) => handlers.onSuccess(output as O),\n    ...(onFailure === undefined ? {} : { onFailure: (error: unknown) => onFailure(error as E) }),\n    ...(key === undefined ? {} : { key }),\n    ...(concurrency === undefined ? {} : { concurrency }),\n  };\n}\n\n/** Splits a reducer result into state and commands. State is never an array (ADR 0006). */\nexport function splitNext<S, M>(\n  next: Next<S, M>,\n): readonly [S, ReadonlyArray<Command<M | IntentRejected>>] {\n  if (Array.isArray(next) && next.length === 2 && Array.isArray(next[1])) {\n    return next as readonly [S, ReadonlyArray<Command<M | IntentRejected>>];\n  }\n  return [next as S, []];\n}\n"]}

package/dist/compiler/ast.d.ts

@@ -0,0 +1,21 @@
+/** An ESTree node: `start`/`end` are UTF-16 offsets into the module's code. */
+export interface Node {
+    readonly type: string;
+    readonly start: number;
+    readonly end: number;
+    readonly [key: string]: unknown;
+}
+export declare const isNode: (value: unknown) => value is Node;
+export declare const nodeAt: (node: Node, key: string) => Node | undefined;
+/** The node or nodes at `key` (an array, or a single node). */
+export declare const nodesAt: (node: Node, key: string) => Node[];
+/** The child nodes of `node` that can contain runtime code, in source order. */
+export declare function children(node: Node): Node[];
+/** The names a binding pattern declares (`a`, `{ a, b: [c] }`, `...d`, `e = 1`). */
+export declare function patternNames(pattern: Node | undefined): string[];
+export declare const isFunction: (node: Node) => boolean;
+/**
+ * The names `node` declares for its own scope, or undefined when it opens no scope. The
+ * Program scope is left out: the imported binding lives there.
+ */
+export declare function scopeNames(node: Node): string[] | undefined;

package/dist/compiler/ast.js

@@ -0,0 +1,145 @@
+// A minimal view of the ESTree AST that Rolldown's `this.parse` returns (oxc, TypeScript
+// included), for the template compiler's scanner (scan.ts): generic child iteration, the
+// names a binding pattern declares, and the names each scope declares, so a local variable
+// that shadows the imported `html` is never mistaken for it.
+export const isNode = (value) => typeof value === 'object' &&
+    value !== null &&
+    typeof value.type === 'string';
+export const nodeAt = (node, key) => {
+    const value = node[key];
+    return isNode(value) ? value : undefined;
+};
+/** The node or nodes at `key` (an array, or a single node). */
+export const nodesAt = (node, key) => {
+    const value = node[key];
+    return Array.isArray(value) ? value.filter(isNode) : isNode(value) ? [value] : [];
+};
+/** TypeScript-only keys: type annotations never reference a value. */
+const TYPE_KEYS = new Set([
+    'typeAnnotation',
+    'typeArguments',
+    'typeParameters',
+    'returnType',
+    'superTypeArguments',
+    'implements',
+]);
+/** TS nodes that wrap a runtime expression; every other `TS*` node is type-only. */
+const TS_VALUE = new Set([
+    'TSAsExpression',
+    'TSSatisfiesExpression',
+    'TSNonNullExpression',
+    'TSTypeAssertion',
+    'TSInstantiationExpression',
+    'TSExportAssignment',
+]);
+/** The child nodes of `node` that can contain runtime code, in source order. */
+export function children(node) {
+    if (node.type.startsWith('TS')) {
+        if (TS_VALUE.has(node.type))
+            return nodesAt(node, 'expression');
+        if (node.type === 'TSParameterProperty')
+            return nodesAt(node, 'parameter');
+        if (node.type === 'TSModuleDeclaration')
+            return nodesAt(node, 'body');
+        if (node.type === 'TSModuleBlock')
+            return nodesAt(node, 'body');
+        return [];
+    }
+    const out = [];
+    for (const key in node) {
+        if (key === 'type' || key === 'start' || key === 'end' || TYPE_KEYS.has(key))
+            continue;
+        const value = node[key];
+        if (Array.isArray(value))
+            out.push(...value.filter(isNode));
+        else if (isNode(value))
+            out.push(value);
+    }
+    return out.sort((a, b) => a.start - b.start);
+}
+/** The names a binding pattern declares (`a`, `{ a, b: [c] }`, `...d`, `e = 1`). */
+export function patternNames(pattern) {
+    if (pattern === undefined)
+        return [];
+    switch (pattern.type) {
+        case 'Identifier':
+            return [pattern['name']];
+        case 'ObjectPattern':
+            return nodesAt(pattern, 'properties').flatMap((p) => p.type === 'RestElement'
+                ? patternNames(nodeAt(p, 'argument'))
+                : patternNames(nodeAt(p, 'value')));
+        case 'ArrayPattern':
+            return nodesAt(pattern, 'elements').flatMap(patternNames);
+        case 'RestElement':
+            return patternNames(nodeAt(pattern, 'argument'));
+        case 'AssignmentPattern':
+            return patternNames(nodeAt(pattern, 'left'));
+        case 'TSParameterProperty':
+            return patternNames(nodeAt(pattern, 'parameter'));
+        default:
+            return [];
+    }
+}
+const FUNCTIONS = new Set(['FunctionDeclaration', 'FunctionExpression', 'ArrowFunctionExpression']);
+export const isFunction = (node) => FUNCTIONS.has(node.type);
+/** `var` names declared anywhere in a function body (hoisted), not crossing nested functions. */
+function varNames(node, out) {
+    if (node.type === 'VariableDeclaration' && node['kind'] === 'var') {
+        for (const d of nodesAt(node, 'declarations'))
+            out.push(...patternNames(nodeAt(d, 'id')));
+    }
+    for (const child of children(node))
+        if (!isFunction(child))
+            varNames(child, out);
+}
+/** Block-scoped names declared directly in a list of statements. */
+function lexicalNames(statements) {
+    return statements.flatMap((s) => {
+        if (s.type === 'VariableDeclaration' && s['kind'] !== 'var') {
+            return nodesAt(s, 'declarations').flatMap((d) => patternNames(nodeAt(d, 'id')));
+        }
+        if (s.type === 'FunctionDeclaration' || s.type === 'ClassDeclaration') {
+            return patternNames(nodeAt(s, 'id'));
+        }
+        return [];
+    });
+}
+/**
+ * The names `node` declares for its own scope, or undefined when it opens no scope. The
+ * Program scope is left out: the imported binding lives there.
+ */
+export function scopeNames(node) {
+    switch (node.type) {
+        case 'FunctionDeclaration':
+        case 'FunctionExpression':
+        case 'ArrowFunctionExpression': {
+            const names = nodesAt(node, 'params').flatMap(patternNames);
+            if (node.type === 'FunctionExpression')
+                names.push(...patternNames(nodeAt(node, 'id')));
+            const body = nodeAt(node, 'body');
+            if (body?.type === 'BlockStatement') {
+                varNames(body, names);
+                names.push(...lexicalNames(nodesAt(body, 'body')));
+            }
+            return names;
+        }
+        case 'BlockStatement':
+        case 'StaticBlock':
+            return lexicalNames(nodesAt(node, 'body'));
+        case 'SwitchStatement':
+            return lexicalNames(nodesAt(node, 'cases').flatMap((c) => nodesAt(c, 'consequent')));
+        case 'ForStatement':
+        case 'ForInStatement':
+        case 'ForOfStatement': {
+            const head = nodeAt(node, node.type === 'ForStatement' ? 'init' : 'left');
+            return head === undefined ? [] : lexicalNames([head]);
+        }
+        case 'CatchClause':
+            return patternNames(nodeAt(node, 'param'));
+        case 'ClassExpression':
+            return patternNames(nodeAt(node, 'id'));
+        default:
+            return undefined;
+    }
+}
+//# sourceMappingURL=ast.js.map

package/dist/compiler/ast.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ast.js","sourceRoot":"","sources":["../../src/compiler/ast.ts"],"names":[],"mappings":"AAAA,yFAAyF;AACzF,yFAAyF;AACzF,2FAA2F;AAC3F,6DAA6D;AAU7D,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAc,EAAiB,EAAE,CACtD,OAAO,KAAK,KAAK,QAAQ;IACzB,KAAK,KAAK,IAAI;IACd,OAAQ,KAA4B,CAAC,IAAI,KAAK,QAAQ,CAAC;AAEzD,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,IAAU,EAAE,GAAW,EAAoB,EAAE;IAClE,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;IACxB,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AAC3C,CAAC,CAAC;AAEF,+DAA+D;AAC/D,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,IAAU,EAAE,GAAW,EAAU,EAAE;IACzD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;IACxB,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACpF,CAAC,CAAC;AAEF,sEAAsE;AACtE,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC;IACxB,gBAAgB;IAChB,eAAe;IACf,gBAAgB;IAChB,YAAY;IACZ,oBAAoB;IACpB,YAAY;CACb,CAAC,CAAC;AAEH,oFAAoF;AACpF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC;IACvB,gBAAgB;IAChB,uBAAuB;IACvB,qBAAqB;IACrB,iBAAiB;IACjB,2BAA2B;IAC3B,oBAAoB;CACrB,CAAC,CAAC;AAEH,gFAAgF;AAChF,MAAM,UAAU,QAAQ,CAAC,IAAU;IACjC,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,OAAO,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;QAChE,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB;YAAE,OAAO,OAAO,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QAC3E,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB;YAAE,OAAO,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACtE,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe;YAAE,OAAO,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAChE,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,GAAG,GAAW,EAAE,CAAC;IACvB,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,GAAG,KAAK,MAAM,IAAI,GAAG,KAAK,OAAO,IAAI,GAAG,KAAK,KAAK,IAAI,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QACvF,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACxB,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;aACvD,IAAI,MAAM,CAAC,KAAK,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;AAC/C,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,YAAY,CAAC,OAAyB;IACpD,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACrC,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,YAAY;YACf,OAAO,CAAC,OAAO,CAAC,MAAM,CAAW,CAAC,CAAC;QACrC,KAAK,eAAe;YAClB,OAAO,OAAO,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAClD,CAAC,CAAC,IAAI,KAAK,aAAa;gBACtB,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;gBACrC,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CACrC,CAAC;QACJ,KAAK,cAAc;YACjB,OAAO,OAAO,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;QAC5D,KAAK,aAAa;YAChB,OAAO,YAAY,CAAC,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC;QACnD,KAAK,mBAAmB;YACtB,OAAO,YAAY,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;QAC/C,KAAK,qBAAqB;YACxB,OAAO,YAAY,CAAC,MAAM,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC;QACpD;YACE,OAAO,EAAE,CAAC;IACd,CAAC;AACH,CAAC;AAED,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,CAAC,qBAAqB,EAAE,oBAAoB,EAAE,yBAAyB,CAAC,CAAC,CAAC;AAEpG,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAU,EAAW,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAE5E,iGAAiG;AACjG,SAAS,QAAQ,CAAC,IAAU,EAAE,GAAa;IACzC,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,KAAK,EAAE,CAAC;QAClE,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,IAAI,EAAE,cAAc,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5F,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,IAAI,CAAC;QAAE,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;YAAE,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;AACnF,CAAC;AAED,oEAAoE;AACpE,SAAS,YAAY,CAAC,UAA2B;IAC/C,OAAO,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;QAC9B,IAAI,CAAC,CAAC,IAAI,KAAK,qBAAqB,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,KAAK,EAAE,CAAC;YAC5D,OAAO,OAAO,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;QAClF,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,qBAAqB,IAAI,CAAC,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;YACtE,OAAO,YAAY,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;QACvC,CAAC;QACD,OAAO,EAAE,CAAC;IACZ,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAC,IAAU;IACnC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,qBAAqB,CAAC;QAC3B,KAAK,oBAAoB,CAAC;QAC1B,KAAK,yBAAyB,CAAC,CAAC,CAAC;YAC/B,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;YAC5D,IAAI,IAAI,CAAC,IAAI,KAAK,oBAAoB;gBAAE,KAAK,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;YACxF,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAClC,IAAI,IAAI,EAAE,IAAI,KAAK,gBAAgB,EAAE,CAAC;gBACpC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBACtB,KAAK,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;YACrD,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,KAAK,gBAAgB,CAAC;QACtB,KAAK,aAAa;YAChB,OAAO,YAAY,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;QAC7C,KAAK,iBAAiB;YACpB,OAAO,YAAY,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC;QACvF,KAAK,cAAc,CAAC;QACpB,KAAK,gBAAgB,CAAC;QACtB,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,KAAK,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YAC1E,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACxD,CAAC;QACD,KAAK,aAAa;YAChB,OAAO,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;QAC7C,KAAK,iBAAiB;YACpB,OAAO,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QAC1C;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC","sourcesContent":["// A minimal view of the ESTree AST that Rolldown's `this.parse` returns (oxc, TypeScript\n// included), for the template compiler's scanner (scan.ts): generic child iteration, the\n// names a binding pattern declares, and the names each scope declares, so a local variable\n// that shadows the imported `html` is never mistaken for it.\n\n/** An ESTree node: `start`/`end` are UTF-16 offsets into the module's code. */\nexport interface Node {\n  readonly type: string;\n  readonly start: number;\n  readonly end: number;\n  readonly [key: string]: unknown;\n}\n\nexport const isNode = (value: unknown): value is Node =>\n  typeof value === 'object' &&\n  value !== null &&\n  typeof (value as { type?: unknown }).type === 'string';\n\nexport const nodeAt = (node: Node, key: string): Node | undefined => {\n  const value = node[key];\n  return isNode(value) ? value : undefined;\n};\n\n/** The node or nodes at `key` (an array, or a single node). */\nexport const nodesAt = (node: Node, key: string): Node[] => {\n  const value = node[key];\n  return Array.isArray(value) ? value.filter(isNode) : isNode(value) ? [value] : [];\n};\n\n/** TypeScript-only keys: type annotations never reference a value. */\nconst TYPE_KEYS = new Set([\n  'typeAnnotation',\n  'typeArguments',\n  'typeParameters',\n  'returnType',\n  'superTypeArguments',\n  'implements',\n]);\n\n/** TS nodes that wrap a runtime expression; every other `TS*` node is type-only. */\nconst TS_VALUE = new Set([\n  'TSAsExpression',\n  'TSSatisfiesExpression',\n  'TSNonNullExpression',\n  'TSTypeAssertion',\n  'TSInstantiationExpression',\n  'TSExportAssignment',\n]);\n\n/** The child nodes of `node` that can contain runtime code, in source order. */\nexport function children(node: Node): Node[] {\n  if (node.type.startsWith('TS')) {\n    if (TS_VALUE.has(node.type)) return nodesAt(node, 'expression');\n    if (node.type === 'TSParameterProperty') return nodesAt(node, 'parameter');\n    if (node.type === 'TSModuleDeclaration') return nodesAt(node, 'body');\n    if (node.type === 'TSModuleBlock') return nodesAt(node, 'body');\n    return [];\n  }\n  const out: Node[] = [];\n  for (const key in node) {\n    if (key === 'type' || key === 'start' || key === 'end' || TYPE_KEYS.has(key)) continue;\n    const value = node[key];\n    if (Array.isArray(value)) out.push(...value.filter(isNode));\n    else if (isNode(value)) out.push(value);\n  }\n  return out.sort((a, b) => a.start - b.start);\n}\n\n/** The names a binding pattern declares (`a`, `{ a, b: [c] }`, `...d`, `e = 1`). */\nexport function patternNames(pattern: Node | undefined): string[] {\n  if (pattern === undefined) return [];\n  switch (pattern.type) {\n    case 'Identifier':\n      return [pattern['name'] as string];\n    case 'ObjectPattern':\n      return nodesAt(pattern, 'properties').flatMap((p) =>\n        p.type === 'RestElement'\n          ? patternNames(nodeAt(p, 'argument'))\n          : patternNames(nodeAt(p, 'value')),\n      );\n    case 'ArrayPattern':\n      return nodesAt(pattern, 'elements').flatMap(patternNames);\n    case 'RestElement':\n      return patternNames(nodeAt(pattern, 'argument'));\n    case 'AssignmentPattern':\n      return patternNames(nodeAt(pattern, 'left'));\n    case 'TSParameterProperty':\n      return patternNames(nodeAt(pattern, 'parameter'));\n    default:\n      return [];\n  }\n}\n\nconst FUNCTIONS = new Set(['FunctionDeclaration', 'FunctionExpression', 'ArrowFunctionExpression']);\n\nexport const isFunction = (node: Node): boolean => FUNCTIONS.has(node.type);\n\n/** `var` names declared anywhere in a function body (hoisted), not crossing nested functions. */\nfunction varNames(node: Node, out: string[]): void {\n  if (node.type === 'VariableDeclaration' && node['kind'] === 'var') {\n    for (const d of nodesAt(node, 'declarations')) out.push(...patternNames(nodeAt(d, 'id')));\n  }\n  for (const child of children(node)) if (!isFunction(child)) varNames(child, out);\n}\n\n/** Block-scoped names declared directly in a list of statements. */\nfunction lexicalNames(statements: readonly Node[]): string[] {\n  return statements.flatMap((s) => {\n    if (s.type === 'VariableDeclaration' && s['kind'] !== 'var') {\n      return nodesAt(s, 'declarations').flatMap((d) => patternNames(nodeAt(d, 'id')));\n    }\n    if (s.type === 'FunctionDeclaration' || s.type === 'ClassDeclaration') {\n      return patternNames(nodeAt(s, 'id'));\n    }\n    return [];\n  });\n}\n\n/**\n * The names `node` declares for its own scope, or undefined when it opens no scope. The\n * Program scope is left out: the imported binding lives there.\n */\nexport function scopeNames(node: Node): string[] | undefined {\n  switch (node.type) {\n    case 'FunctionDeclaration':\n    case 'FunctionExpression':\n    case 'ArrowFunctionExpression': {\n      const names = nodesAt(node, 'params').flatMap(patternNames);\n      if (node.type === 'FunctionExpression') names.push(...patternNames(nodeAt(node, 'id')));\n      const body = nodeAt(node, 'body');\n      if (body?.type === 'BlockStatement') {\n        varNames(body, names);\n        names.push(...lexicalNames(nodesAt(body, 'body')));\n      }\n      return names;\n    }\n    case 'BlockStatement':\n    case 'StaticBlock':\n      return lexicalNames(nodesAt(node, 'body'));\n    case 'SwitchStatement':\n      return lexicalNames(nodesAt(node, 'cases').flatMap((c) => nodesAt(c, 'consequent')));\n    case 'ForStatement':\n    case 'ForInStatement':\n    case 'ForOfStatement': {\n      const head = nodeAt(node, node.type === 'ForStatement' ? 'init' : 'left');\n      return head === undefined ? [] : lexicalNames([head]);\n    }\n    case 'CatchClause':\n      return patternNames(nodeAt(node, 'param'));\n    case 'ClassExpression':\n      return patternNames(nodeAt(node, 'id'));\n    default:\n      return undefined;\n  }\n}\n"]}

package/dist/compiler/compile.d.ts

@@ -0,0 +1,38 @@
+import type { Node } from './ast.js';
+import { type Parse5 } from './parse5-check.js';
+import type { HtmlImport } from './scan.js';
+import { type Lines, type SourceMap } from './source.js';
+/** A build error at `start`–`end` of the module (the plugin adds the code frame). */
+export declare class CompileError extends Error {
+    readonly start: number;
+    readonly end: number;
+    constructor(start: number, end: number, message: string);
+}
+export interface CompileInput {
+    readonly lines: Lines;
+    /** Module id, and its path relative to the root (for messages). */
+    readonly id: string;
+    readonly file: string;
+    readonly sites: readonly {
+        readonly node: Node;
+        readonly binding: HtmlImport;
+    }[];
+    /** Server build: keep the server segments. */
+    readonly ssr: boolean;
+    /**
+     * Keep template ids: SSR and development builds (development markers, the hydration id
+     * check). A production client compares templates by identity, so its objects go without.
+     */
+    readonly ids: boolean;
+    readonly parse5: Parse5 | undefined;
+    /** Template id → normalized strings and call site, for the whole build (collisions). */
+    readonly seen: Map<string, {
+        readonly strings: string;
+        readonly loc: string;
+    }>;
+}
+/** Rewrites every call site in the module; nested templates inside values are included. */
+export declare function compileModule(input: CompileInput): {
+    code: string;
+    map: SourceMap;
+};