@gyral/core 0.2.0 → 0.3.1

package/dist/command.d.ts

@@ -1,12 +1,20 @@
 import type { IntentRejected } from './types.js';
 /** How commands in the same lane interact. See ADR 0006 for the table. */
 export type Concurrency = 'merge' | 'switch' | 'exhaust' | 'queue';
-export interface RetryPolicy {
+/** How `retry(driver, policy)` retries a rejected run (retry.ts). `E`: the driver's error. */
+export interface RetryPolicy<E = unknown> {
     /** Retries after the first failure. */
     readonly times: number;
     /** Delay before each retry (the base delay for exponential backoff). Default 0. */
     readonly delayMs?: number;
     readonly backoff?: 'fixed' | 'exponential';
+    /** Full jitter: wait a random time between 0 and the computed delay, so clients spread out. */
+    readonly jitter?: boolean;
+    /**
+     * Which failures to retry, given the driver's typed error (its `toError`, else the thrown
+     * value). Default: every failure. For `@gyral/http`, `retryableHttpError`.
+     */
+    readonly retryIf?: (error: E) => boolean;
 }
 export interface DriverContext<O = unknown> {
     /** Aborts when the command is switched away or its component disconnects. */
@@ -24,15 +32,35 @@ export interface Driver<I, O, E = unknown> {
     readonly run: (input: I, ctx: DriverContext<O>) => O | Promise<O>;
     /** Default policy for this driver's commands. Default `'merge'`. */
     readonly concurrency?: Concurrency;
-    readonly retry?: RetryPolicy;
     /** Turns a thrown or rejected value into this driver's typed error. */
     readonly toError?: (cause: unknown) => E;
 }
-/** Any driver, with its input type erased. */
+/**
+ * Any driver, with its input type erased. Every `Driver<I, O, E>` (from `defineDriver`,
+ * `subscription`, a test fake) is assignable to it as is: no cast.
+ */
 export type AnyDriver = Driver<never, unknown>;
-/** Drivers substituted by name (test fakes, configured instances). */
+/**
+ * A driver with no implementation of its own (`defineDriver<I, O, E>('session')`): commands built
+ * from it are typed by `I`, `O` and `E`, and it runs only when `provideDrivers` or `el.drivers`
+ * supplies a driver of that name (ADR 0006 addendum "Driver tokens").
+ */
+export interface DriverToken<E = unknown> {
+    readonly name: string;
+    readonly concurrency?: Concurrency;
+    readonly toError?: (cause: unknown) => E;
+}
+/**
+ * Drivers substituted by name (test fakes, configured instances): `el.drivers`,
+ * `provideDrivers`. Annotate a driver map with this type (or `Record<string, AnyDriver>`), not
+ * `Record<string, Driver<unknown, unknown>>`, which rejects drivers with a typed input.
+ */
 export type DriverOverrides = Readonly<Record<string, AnyDriver>>;
-/** A side effect described as data, plus pure mappers from its outcome to messages. */
+/**
+ * A side effect described as data, plus pure mappers from its outcome to messages. Commands
+ * that answer with no message (`focus()`, `call()`, `navigate()`) are `Command<never>`,
+ * which fits wherever a `Command<Msg>` is expected: no type argument needed.
+ */
 export interface Command<M> {
     readonly driver: AnyDriver;
     readonly input: unknown;
@@ -40,24 +68,38 @@ export interface Command<M> {
     readonly key?: string;
     readonly concurrency?: Concurrency;
     readonly onSuccess: (output: unknown) => M | undefined;
-    /** If omitted, failures are logged and dropped. */
+    /** If omitted, a failure is reported to the error channel (ADR 0024, G0041). */
     readonly onFailure?: (error: unknown) => M | undefined;
 }
+/**
+ * How a command's outcome becomes a message. Every field is optional: without `onSuccess` the
+ * command answers with nothing (`Command<never>`); without `onFailure` a failure is reported to
+ * the error channel (ADR 0024).
+ */
 export interface CommandHandlers<O, E, MS, MF = MS> {
-    readonly onSuccess: (output: O) => MS | undefined;
+    readonly onSuccess?: (output: O) => MS | undefined;
     readonly onFailure?: (error: E) => MF | undefined;
     readonly key?: string;
     readonly concurrency?: Concurrency;
 }
 /**
  * What a reducer (or `init`) returns: new state, optionally with commands to run. Commands may
- * also answer with the framework message `IntentRejected` (e.g. `submitForm` in @gyral/http
+ * also answer with the framework message `IntentRejected` (e.g. `submitForm` in `@gyral/http`
  * when the server rejects a form), which goes to the optional `IntentRejected` reducer.
  */
 export type Next<S, M> = S | readonly [S, ReadonlyArray<Command<M | IntentRejected>>];
-/** Identity helper so driver literals infer `I`, `O` and `E`. */
-export declare function defineDriver<I, O, E = unknown>(driver: Driver<I, O, E>): Driver<I, O, E>;
-/** Builds a command whose mappers are typed by the driver's input, output and error. */
-export declare function command<I, O, E, MS, MF = MS>(driver: Driver<I, O, E>, input: I, handlers: CommandHandlers<O, E, MS, MF>): Command<MS | MF>;
+/**
+ * Defines a driver. Given an implementation (`run`), it returns it as is, so literals infer
+ * `I`, `O` and `E`. Given only a name, it returns a typed **token**: commands built from it are
+ * typed, and it runs only when a provider (`provideDrivers`) or `el.drivers` supplies a driver of
+ * that name. A command whose token nothing provides fails with G0043, naming the driver.
+ */
+export declare function defineDriver<I, O, E = unknown>(spec: Driver<I, O, E> | DriverToken<E> | string): Driver<I, O, E>;
+/**
+ * Builds a command whose mappers are typed by the driver's input, output and error. Without
+ * handlers (or without `onSuccess`) it answers with no message: `command(log, line)` is a
+ * `Command<never>`, which fits any `Command<Msg>`.
+ */
+export declare function command<I, O, E, const MS = never, const MF = MS>(driver: Driver<I, O, E>, input: I, handlers?: CommandHandlers<O, E, MS, MF>): Command<MS | MF>;
 /** Splits a reducer result into state and commands. State is never an array (ADR 0006). */
 export declare function splitNext<S, M>(next: Next<S, M>): readonly [S, ReadonlyArray<Command<M | IntentRejected>>];

package/dist/command.js

@@ -1,17 +1,37 @@
-/** Identity helper so driver literals infer `I`, `O` and `E`. */
-export function defineDriver(driver) {
-    return driver;
+// 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';
+import { unprovided } from './internal/token.js';
+/**
+ * Defines a driver. Given an implementation (`run`), it returns it as is, so literals infer
+ * `I`, `O` and `E`. Given only a name, it returns a typed **token**: commands built from it are
+ * typed, and it runs only when a provider (`provideDrivers`) or `el.drivers` supplies a driver of
+ * that name. A command whose token nothing provides fails with G0043, naming the driver.
+ */
+export function defineDriver(spec) {
+    if (typeof spec === 'string')
+        return { name: spec, run: unprovided };
+    return 'run' in spec ? spec : { ...spec, run: unprovided };
 }
-/** 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) {
-    const { onFailure, key, concurrency } = handlers;
+const none = () => undefined;
+/**
+ * Builds a command whose mappers are typed by the driver's input, output and error. Without
+ * handlers (or without `onSuccess`) it answers with no message: `command(log, line)` is a
+ * `Command<never>`, which fits any `Command<Msg>`.
+ */
+// Two message parameters so success and failure may produce different variants; `const` keeps
+// a mapper's `{ _tag: 'Loaded' }` literal, so no type arguments are needed.
+export function command(driver, input, handlers = {}) {
+    features.commands = hostInterpreter;
+    const { onSuccess = none, onFailure, key, concurrency } = handlers;
+    // Sound: the interpreter only passes this driver's output and toError() result.
     return {
-        driver: driver,
+        driver,
         input,
-        // Sound: the interpreter only passes this driver's output and toError() result.
-        onSuccess: (output) => handlers.onSuccess(output),
-        ...(onFailure === undefined ? {} : { onFailure: (error) => onFailure(error) }),
+        onSuccess,
+        ...(onFailure && { onFailure }),
         ...(key === undefined ? {} : { key }),
         ...(concurrency === undefined ? {} : { concurrency }),
     };

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 interpreter lives in ./internal/ (ADR 0015).\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;AAC5D,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAsGjD;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAC1B,IAA+C;IAE/C,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC;IACrE,OAAO,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC;AAC7D,CAAC;AAED,MAAM,IAAI,GAAG,GAAc,EAAE,CAAC,SAAS,CAAC;AAExC;;;;GAIG;AACH,8FAA8F;AAC9F,4EAA4E;AAC5E,MAAM,UAAU,OAAO,CACrB,MAAuB,EACvB,KAAQ,EACR,WAA0C,EAAE;IAE5C,QAAQ,CAAC,QAAQ,GAAG,eAAe,CAAC;IACpC,MAAM,EAAE,SAAS,GAAG,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,WAAW,EAAE,GAAG,QAAQ,CAAC;IACnE,gFAAgF;IAChF,OAAO;QACL,MAAM;QACN,KAAK;QACL,SAAS;QACT,GAAG,CAAC,SAAS,IAAI,EAAE,SAAS,EAAE,CAAC;QAC/B,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;KAClC,CAAC;AACxB,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 { unprovided } from './internal/token.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\n/** How `retry(driver, policy)` retries a rejected run (retry.ts). `E`: the driver's error. */\nexport interface RetryPolicy<E = unknown> {\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  /** Full jitter: wait a random time between 0 and the computed delay, so clients spread out. */\n  readonly jitter?: boolean;\n  /**\n   * Which failures to retry, given the driver's typed error (its `toError`, else the thrown\n   * value). Default: every failure. For `@gyral/http`, `retryableHttpError`.\n   */\n  readonly retryIf?: (error: E) => boolean;\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  /** Turns a thrown or rejected value into this driver's typed error. */\n  readonly toError?: (cause: unknown) => E;\n}\n\n/**\n * Any driver, with its input type erased. Every `Driver<I, O, E>` (from `defineDriver`,\n * `subscription`, a test fake) is assignable to it as is: no cast.\n */\nexport type AnyDriver = Driver<never, unknown>;\n\n/**\n * A driver with no implementation of its own (`defineDriver<I, O, E>('session')`): commands built\n * from it are typed by `I`, `O` and `E`, and it runs only when `provideDrivers` or `el.drivers`\n * supplies a driver of that name (ADR 0006 addendum \"Driver tokens\").\n */\nexport interface DriverToken<E = unknown> {\n  readonly name: string;\n  readonly concurrency?: Concurrency;\n  readonly toError?: (cause: unknown) => E;\n}\n\n/**\n * Drivers substituted by name (test fakes, configured instances): `el.drivers`,\n * `provideDrivers`. Annotate a driver map with this type (or `Record<string, AnyDriver>`), not\n * `Record<string, Driver<unknown, unknown>>`, which rejects drivers with a typed input.\n */\nexport type DriverOverrides = Readonly<Record<string, AnyDriver>>;\n\n/**\n * A side effect described as data, plus pure mappers from its outcome to messages. Commands\n * that answer with no message (`focus()`, `call()`, `navigate()`) are `Command<never>`,\n * which fits wherever a `Command<Msg>` is expected: no type argument needed.\n */\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, a failure is reported to the error channel (ADR 0024, G0041). */\n  readonly onFailure?: (error: unknown) => M | undefined;\n}\n\n/**\n * How a command's outcome becomes a message. Every field is optional: without `onSuccess` the\n * command answers with nothing (`Command<never>`); without `onFailure` a failure is reported to\n * the error channel (ADR 0024).\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/**\n * Defines a driver. Given an implementation (`run`), it returns it as is, so literals infer\n * `I`, `O` and `E`. Given only a name, it returns a typed **token**: commands built from it are\n * typed, and it runs only when a provider (`provideDrivers`) or `el.drivers` supplies a driver of\n * that name. A command whose token nothing provides fails with G0043, naming the driver.\n */\nexport function defineDriver<I, O, E = unknown>(\n  spec: Driver<I, O, E> | DriverToken<E> | string,\n): Driver<I, O, E> {\n  if (typeof spec === 'string') return { name: spec, run: unprovided };\n  return 'run' in spec ? spec : { ...spec, run: unprovided };\n}\n\nconst none = (): undefined => undefined;\n\n/**\n * Builds a command whose mappers are typed by the driver's input, output and error. Without\n * handlers (or without `onSuccess`) it answers with no message: `command(log, line)` is a\n * `Command<never>`, which fits any `Command<Msg>`.\n */\n// Two message parameters so success and failure may produce different variants; `const` keeps\n// a mapper's `{ _tag: 'Loaded' }` literal, so no type arguments are needed.\nexport function command<I, O, E, const MS = never, const 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 { onSuccess = none, onFailure, key, concurrency } = handlers;\n  // Sound: the interpreter only passes this driver's output and toError() result.\n  return {\n    driver,\n    input,\n    onSuccess,\n    ...(onFailure && { onFailure }),\n    ...(key === undefined ? {} : { key }),\n    ...(concurrency === undefined ? {} : { concurrency }),\n  } as Command<MS | MF>;\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,23 @@
+/** The `lang` to parse a module with, from its id (`this.parse(code, { lang })`). */
+export declare const langOf: (id: string) => "js" | "jsx" | "ts" | "tsx";
+/** 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,149 @@
+// 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.
+/** The `lang` to parse a module with, from its id (`this.parse(code, { lang })`). */
+export const langOf = (id) => /\.[cm]?tsx$/.test(id) ? 'tsx' : /\.[cm]?ts$/.test(id) ? 'ts' : id.endsWith('x') ? 'jsx' : 'js';
+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',
+]);
+/** TS declarations whose members are runtime values (`enum E { A = 'a' }`). */
+const TS_RUNTIME = new Set(['TSEnumDeclaration', 'TSEnumBody', 'TSEnumMember']);
+/** The child nodes of `node` that can contain runtime code, in source order. */
+export function children(node) {
+    if (node.type.startsWith('TS') && !TS_RUNTIME.has(node.type)) {
+        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;AAE7D,qFAAqF;AACrF,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,EAAU,EAA+B,EAAE,CAChE,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AAUlG,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,+EAA+E;AAC/E,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,mBAAmB,EAAE,YAAY,EAAE,cAAc,CAAC,CAAC,CAAC;AAEhF,gFAAgF;AAChF,MAAM,UAAU,QAAQ,CAAC,IAAU;IACjC,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7D,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/** The `lang` to parse a module with, from its id (`this.parse(code, { lang })`). */\nexport const langOf = (id: string): 'js' | 'jsx' | 'ts' | 'tsx' =>\n  /\\.[cm]?tsx$/.test(id) ? 'tsx' : /\\.[cm]?ts$/.test(id) ? 'ts' : id.endsWith('x') ? 'jsx' : 'js';\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/** TS declarations whose members are runtime values (`enum E { A = 'a' }`). */\nconst TS_RUNTIME = new Set(['TSEnumDeclaration', 'TSEnumBody', 'TSEnumMember']);\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') && !TS_RUNTIME.has(node.type)) {\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,41 @@
+import type { Node } from './ast.js';
+import { type Parse5 } from './parse5-check.js';
+import type { HtmlImport, Tag } from './scan.js';
+import { type Edit, 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;
+        readonly tag: Tag;
+    }[];
+    /** 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;
+    /** Other edits to apply in the same pass (prop-schemas.ts); dropped inside a call site. */
+    readonly extra?: readonly Edit[];
+    /** 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;
+};

package/dist/compiler/compile.js

@@ -0,0 +1,148 @@
+// Compiles one module's `html` and `svg` call sites (view/01-templates.md "Compiled"): each
+// call site's cooked strings go through the same normalizer as the runtime path (so ids match),
+// parse5 double-checks rule 7, one module-level constant is hoisted per template object
+// (without its id in production client builds: the renderer compares those by identity), and
+// the call becomes `compiled(<const>, [values…])`, or `compiledSvg(…)` for an svg template.
+// Line breaks inside a rewritten template are kept, so every following line keeps its number;
+// the source map covers columns.
+import { analyze, TemplateError } from '../view/index.js';
+import { nodeAt, nodesAt } from './ast.js';
+import { checkWithParse5 } from './parse5-check.js';
+import { splice } from './source.js';
+/** Where a source's `compiled` lives when its `html` module isn't the one to import it from. */
+const COMPILED_ENTRIES = {
+    '@gyral/core': '@gyral/core/compiled',
+};
+/** A build error at `start`–`end` of the module (the plugin adds the code frame). */
+export class CompileError extends Error {
+    constructor(start, end, message) {
+        super(message);
+        this.start = start;
+        this.end = end;
+    }
+}
+/**
+ * The template object as emitted: no `loc` (production), no `segments` in client builds, no
+ * `id` unless `ids` (01 "Template ids": random base-36 text that gzip can't shrink). Its fields
+ * are already compact (numeric part kinds, tuples, `server` only when true; 01), so the code
+ * needs no decoding.
+ */
+function emitted(template, ssr, ids) {
+    const { id, html, parts, server, svg, segments, staticStyles } = template;
+    const client = {
+        ...(ids ? { id } : {}),
+        html,
+        parts,
+        ...(server === true ? { server } : {}),
+        ...(svg === true ? { svg } : {}),
+    };
+    if (!ssr)
+        return client;
+    return staticStyles === undefined
+        ? { ...client, segments }
+        : { ...client, segments, staticStyles };
+}
+const newlines = (text) => '\n'.repeat(text.split('\n').length - 1);
+/** Edits turning html`a${x}b${y}c` into `callee(name, [x, y])`, keeping line breaks. */
+function siteEdits(code, node, callee, name) {
+    const values = nodesAt(nodeAt(node, 'quasi') ?? node, 'expressions');
+    const first = values[0];
+    const last = values.at(-1);
+    if (first === undefined || last === undefined) {
+        const nl = newlines(code.slice(node.start, node.end));
+        return [{ start: node.start, end: node.end, text: `${callee}(${name}, [${nl}])` }];
+    }
+    const edit = (start, end, text) => ({
+        start,
+        end,
+        text: text + newlines(code.slice(start, end)),
+    });
+    const edits = [edit(node.start, first.start, `${callee}(${name}, [`)];
+    for (let k = 1; k < values.length; k++) {
+        const prev = values[k - 1];
+        const next = values[k];
+        if (prev !== undefined && next !== undefined)
+            edits.push(edit(prev.end, next.start, ', '));
+    }
+    edits.push({
+        start: last.end,
+        end: node.end,
+        text: `${newlines(code.slice(last.end, node.end))}])`,
+    });
+    return edits;
+}
+/** The cooked strings of a tagged template (what the tag receives at runtime). */
+function cookedStrings(node, tag) {
+    return nodesAt(nodeAt(node, 'quasi') ?? node, 'quasis').map((q) => {
+        const cooked = q['value']?.cooked;
+        if (typeof cooked !== 'string') {
+            throw new CompileError(q.start, q.end, `This ${tag} template has an invalid escape sequence, so it has no string value at ` +
+                'runtime. Fix the escape (write \\\\ for a backslash).');
+        }
+        return cooked;
+    });
+}
+/** Rewrites every call site in the module; nested templates inside values are included. */
+export function compileModule(input) {
+    const { lines, sites, seen } = input;
+    const { code } = lines;
+    let prefix = '_gyral$';
+    for (let n = 1; code.includes(prefix); n++)
+        prefix = `_gyral${String(n)}$`;
+    /** `compiled from "entry"` → the import's local name, per tag function and entry. */
+    const callees = new Map();
+    const imports = [];
+    const consts = new Map();
+    const decls = [];
+    const edits = [];
+    for (const { node, binding, tag } of sites) {
+        const { line, column } = lines.position(node.start);
+        const loc = `${input.file}:${String(line)}:${String(column + 1)}`;
+        let analysis;
+        try {
+            analysis = analyze(cookedStrings(node, tag), loc, tag === 'svg');
+        }
+        catch (error) {
+            if (error instanceof TemplateError)
+                throw new CompileError(node.start, node.end, error.message);
+            throw error;
+        }
+        const { template, shape } = analysis;
+        const strings = JSON.stringify(analysis.strings);
+        const known = seen.get(template.id);
+        if (known !== undefined && known.strings !== strings) {
+            throw new CompileError(node.start, node.end, `Two different templates share the id ${template.id} (this one and ${known.loc}), so ` +
+                `server output and hydration could confuse them. Change one slightly (for example add ` +
+                `a class) and report the collision (view/01-templates.md "Template ids").`);
+        }
+        seen.set(template.id, { strings, loc });
+        const repaired = input.parse5 && checkWithParse5(input.parse5, template, shape);
+        if (repaired)
+            throw new CompileError(node.start, node.end, repaired.message);
+        let name = consts.get(template.id);
+        if (name === undefined) {
+            name = `${prefix}t${String(consts.size)}`;
+            consts.set(template.id, name);
+            decls.push(`const ${name} = ${JSON.stringify(emitted(template, input.ssr, input.ids))};`);
+        }
+        const entry = COMPILED_ENTRIES[binding.specifier] ?? binding.specifier;
+        const exported = tag === 'svg' ? 'compiledSvg' : 'compiled';
+        const from = `${exported} from ${JSON.stringify(entry)}`;
+        let callee = callees.get(from);
+        if (callee === undefined) {
+            callee = `${prefix}${exported}${callees.size === 0 ? '' : String(callees.size)}`;
+            callees.set(from, callee);
+            imports.push(`import { ${exported} as ${callee} } from ${JSON.stringify(entry)};`);
+        }
+        edits.push(...siteEdits(code, node, callee, name));
+    }
+    for (const e of input.extra ?? []) {
+        if (!sites.some(({ node }) => e.start < node.end && e.end > node.start))
+            edits.push(e);
+    }
+    // Prepended to the first line (after a hashbang), so no line moves.
+    const at = code.startsWith('#!') ? code.indexOf('\n') + 1 : 0;
+    edits.unshift({ start: at, end: at, text: [...imports, ...decls].join('') });
+    return splice(lines, edits, input.id);
+}
+//# sourceMappingURL=compile.js.map

package/dist/compiler/compile.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compile.js","sourceRoot":"","sources":["../../src/compiler/compile.ts"],"names":[],"mappings":"AAAA,4FAA4F;AAC5F,gGAAgG;AAChG,wFAAwF;AACxF,6FAA6F;AAC7F,4FAA4F;AAC5F,8FAA8F;AAC9F,iCAAiC;AACjC,OAAO,EAAE,OAAO,EAAE,aAAa,EAAuB,MAAM,kBAAkB,CAAC;AAE/E,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AAC3C,OAAO,EAAE,eAAe,EAAe,MAAM,mBAAmB,CAAC;AAEjE,OAAO,EAAE,MAAM,EAAyC,MAAM,aAAa,CAAC;AAE5E,gGAAgG;AAChG,MAAM,gBAAgB,GAAqC;IACzD,aAAa,EAAE,sBAAsB;CACtC,CAAC;AAEF,qFAAqF;AACrF,MAAM,OAAO,YAAa,SAAQ,KAAK;IACrC,YACW,KAAa,EACb,GAAW,EACpB,OAAe;QAEf,KAAK,CAAC,OAAO,CAAC,CAAC;QAJN,UAAK,GAAL,KAAK,CAAQ;QACb,QAAG,GAAH,GAAG,CAAQ;IAItB,CAAC;CACF;AA0BD;;;;;GAKG;AACH,SAAS,OAAO,CAAC,QAAwB,EAAE,GAAY,EAAE,GAAY;IACnE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,QAAQ,EAAE,YAAY,EAAE,GAAG,QAAQ,CAAC;IAC1E,MAAM,MAAM,GAAG;QACb,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACtB,IAAI;QACJ,KAAK;QACL,GAAG,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACtC,GAAG,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACjC,CAAC;IACF,IAAI,CAAC,GAAG;QAAE,OAAO,MAAM,CAAC;IACxB,OAAO,YAAY,KAAK,SAAS;QAC/B,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,QAAQ,EAAE;QACzB,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC;AAC5C,CAAC;AAED,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AAEpF,wFAAwF;AACxF,SAAS,SAAS,CAAC,IAAY,EAAE,IAAU,EAAE,MAAc,EAAE,IAAY;IACvE,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,EAAE,aAAa,CAAC,CAAC;IACrE,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACxB,MAAM,IAAI,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3B,IAAI,KAAK,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QAC9C,MAAM,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACtD,OAAO,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,MAAM,IAAI,IAAI,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IACrF,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,KAAa,EAAE,GAAW,EAAE,IAAY,EAAQ,EAAE,CAAC,CAAC;QAChE,KAAK;QACL,GAAG;QACH,IAAI,EAAE,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;KAC9C,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,GAAG,MAAM,IAAI,IAAI,KAAK,CAAC,CAAC,CAAC;IACtE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC3B,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;IAC7F,CAAC;IACD,KAAK,CAAC,IAAI,CAAC;QACT,KAAK,EAAE,IAAI,CAAC,GAAG;QACf,GAAG,EAAE,IAAI,CAAC,GAAG;QACb,IAAI,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI;KACtD,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,kFAAkF;AAClF,SAAS,aAAa,CAAC,IAAU,EAAE,GAAQ;IACzC,OAAO,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,EAAE,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAChE,MAAM,MAAM,GAAI,CAAC,CAAC,OAAO,CAAsC,EAAE,MAAM,CAAC;QACxE,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;YAC/B,MAAM,IAAI,YAAY,CACpB,CAAC,CAAC,KAAK,EACP,CAAC,CAAC,GAAG,EACL,QAAQ,GAAG,yEAAyE;gBAClF,uDAAuD,CAC1D,CAAC;QACJ,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC,CAAC;AACL,CAAC;AAED,2FAA2F;AAC3F,MAAM,UAAU,aAAa,CAAC,KAAmB;IAC/C,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC;IACrC,MAAM,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC;IACvB,IAAI,MAAM,GAAG,SAAS,CAAC;IACvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE;QAAE,MAAM,GAAG,SAAS,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC;IAC3E,qFAAqF;IACrF,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,KAAK,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,KAAK,EAAE,CAAC;QAC3C,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpD,MAAM,GAAG,GAAG,GAAG,KAAK,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;QAClE,IAAI,QAAQ,CAAC;QACb,IAAI,CAAC;YACH,QAAQ,GAAG,OAAO,CAAC,aAAa,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,KAAK,KAAK,CAAC,CAAC;QACnE,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,KAAK,YAAY,aAAa;gBAChC,MAAM,IAAI,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;YAC9D,MAAM,KAAK,CAAC;QACd,CAAC;QACD,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,QAAQ,CAAC;QACrC,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QACjD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QACpC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,KAAK,OAAO,EAAE,CAAC;YACrD,MAAM,IAAI,YAAY,CACpB,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,GAAG,EACR,wCAAwC,QAAQ,CAAC,EAAE,kBAAkB,KAAK,CAAC,GAAG,QAAQ;gBACpF,uFAAuF;gBACvF,0EAA0E,CAC7E,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC;QACxC,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,IAAI,eAAe,CAAC,KAAK,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;QAChF,IAAI,QAAQ;YAAE,MAAM,IAAI,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;QAC7E,IAAI,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QACnC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,IAAI,GAAG,GAAG,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC,SAAS,IAAI,MAAM,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;QAC5F,CAAC;QACD,MAAM,KAAK,GAAG,gBAAgB,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,OAAO,CAAC,SAAS,CAAC;QACvE,MAAM,QAAQ,GAAG,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,UAAU,CAAC;QAC5D,MAAM,IAAI,GAAG,GAAG,QAAQ,SAAS,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QACzD,IAAI,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,GAAG,GAAG,MAAM,GAAG,QAAQ,GAAG,OAAO,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YACjF,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAC1B,OAAO,CAAC,IAAI,CAAC,YAAY,QAAQ,OAAO,MAAM,WAAW,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACrF,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;IACrD,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC;QAClC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzF,CAAC;IACD,oEAAoE;IACpE,MAAM,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9D,KAAK,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,GAAG,OAAO,EAAE,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IAC7E,OAAO,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;AACxC,CAAC","sourcesContent":["// Compiles one module's `html` and `svg` call sites (view/01-templates.md \"Compiled\"): each\n// call site's cooked strings go through the same normalizer as the runtime path (so ids match),\n// parse5 double-checks rule 7, one module-level constant is hoisted per template object\n// (without its id in production client builds: the renderer compares those by identity), and\n// the call becomes `compiled(<const>, [values…])`, or `compiledSvg(…)` for an svg template.\n// Line breaks inside a rewritten template are kept, so every following line keeps its number;\n// the source map covers columns.\nimport { analyze, TemplateError, type TemplateObject } from '../view/index.js';\nimport type { Node } from './ast.js';\nimport { nodeAt, nodesAt } from './ast.js';\nimport { checkWithParse5, type Parse5 } from './parse5-check.js';\nimport type { HtmlImport, Tag } from './scan.js';\nimport { splice, type Edit, type Lines, type SourceMap } from './source.js';\n\n/** Where a source's `compiled` lives when its `html` module isn't the one to import it from. */\nconst COMPILED_ENTRIES: Readonly<Record<string, string>> = {\n  '@gyral/core': '@gyral/core/compiled',\n};\n\n/** A build error at `start`–`end` of the module (the plugin adds the code frame). */\nexport class CompileError extends Error {\n  constructor(\n    readonly start: number,\n    readonly end: number,\n    message: string,\n  ) {\n    super(message);\n  }\n}\n\nexport interface CompileInput {\n  readonly lines: Lines;\n  /** Module id, and its path relative to the root (for messages). */\n  readonly id: string;\n  readonly file: string;\n  readonly sites: readonly {\n    readonly node: Node;\n    readonly binding: HtmlImport;\n    readonly tag: Tag;\n  }[];\n  /** Server build: keep the server segments. */\n  readonly ssr: boolean;\n  /**\n   * Keep template ids: SSR and development builds (development markers, the hydration id\n   * check). A production client compares templates by identity, so its objects go without.\n   */\n  readonly ids: boolean;\n  readonly parse5: Parse5 | undefined;\n  /** Other edits to apply in the same pass (prop-schemas.ts); dropped inside a call site. */\n  readonly extra?: readonly Edit[];\n  /** Template id → normalized strings and call site, for the whole build (collisions). */\n  readonly seen: Map<string, { readonly strings: string; readonly loc: string }>;\n}\n\n/**\n * The template object as emitted: no `loc` (production), no `segments` in client builds, no\n * `id` unless `ids` (01 \"Template ids\": random base-36 text that gzip can't shrink). Its fields\n * are already compact (numeric part kinds, tuples, `server` only when true; 01), so the code\n * needs no decoding.\n */\nfunction emitted(template: TemplateObject, ssr: boolean, ids: boolean): object {\n  const { id, html, parts, server, svg, segments, staticStyles } = template;\n  const client = {\n    ...(ids ? { id } : {}),\n    html,\n    parts,\n    ...(server === true ? { server } : {}),\n    ...(svg === true ? { svg } : {}),\n  };\n  if (!ssr) return client;\n  return staticStyles === undefined\n    ? { ...client, segments }\n    : { ...client, segments, staticStyles };\n}\n\nconst newlines = (text: string): string => '\\n'.repeat(text.split('\\n').length - 1);\n\n/** Edits turning html`a${x}b${y}c` into `callee(name, [x, y])`, keeping line breaks. */\nfunction siteEdits(code: string, node: Node, callee: string, name: string): Edit[] {\n  const values = nodesAt(nodeAt(node, 'quasi') ?? node, 'expressions');\n  const first = values[0];\n  const last = values.at(-1);\n  if (first === undefined || last === undefined) {\n    const nl = newlines(code.slice(node.start, node.end));\n    return [{ start: node.start, end: node.end, text: `${callee}(${name}, [${nl}])` }];\n  }\n  const edit = (start: number, end: number, text: string): Edit => ({\n    start,\n    end,\n    text: text + newlines(code.slice(start, end)),\n  });\n  const edits = [edit(node.start, first.start, `${callee}(${name}, [`)];\n  for (let k = 1; k < values.length; k++) {\n    const prev = values[k - 1];\n    const next = values[k];\n    if (prev !== undefined && next !== undefined) edits.push(edit(prev.end, next.start, ', '));\n  }\n  edits.push({\n    start: last.end,\n    end: node.end,\n    text: `${newlines(code.slice(last.end, node.end))}])`,\n  });\n  return edits;\n}\n\n/** The cooked strings of a tagged template (what the tag receives at runtime). */\nfunction cookedStrings(node: Node, tag: Tag): string[] {\n  return nodesAt(nodeAt(node, 'quasi') ?? node, 'quasis').map((q) => {\n    const cooked = (q['value'] as { cooked?: unknown } | undefined)?.cooked;\n    if (typeof cooked !== 'string') {\n      throw new CompileError(\n        q.start,\n        q.end,\n        `This ${tag} template has an invalid escape sequence, so it has no string value at ` +\n          'runtime. Fix the escape (write \\\\\\\\ for a backslash).',\n      );\n    }\n    return cooked;\n  });\n}\n\n/** Rewrites every call site in the module; nested templates inside values are included. */\nexport function compileModule(input: CompileInput): { code: string; map: SourceMap } {\n  const { lines, sites, seen } = input;\n  const { code } = lines;\n  let prefix = '_gyral$';\n  for (let n = 1; code.includes(prefix); n++) prefix = `_gyral${String(n)}$`;\n  /** `compiled from \"entry\"` → the import's local name, per tag function and entry. */\n  const callees = new Map<string, string>();\n  const imports: string[] = [];\n  const consts = new Map<string, string>();\n  const decls: string[] = [];\n  const edits: Edit[] = [];\n  for (const { node, binding, tag } of sites) {\n    const { line, column } = lines.position(node.start);\n    const loc = `${input.file}:${String(line)}:${String(column + 1)}`;\n    let analysis;\n    try {\n      analysis = analyze(cookedStrings(node, tag), loc, tag === 'svg');\n    } catch (error) {\n      if (error instanceof TemplateError)\n        throw new CompileError(node.start, node.end, error.message);\n      throw error;\n    }\n    const { template, shape } = analysis;\n    const strings = JSON.stringify(analysis.strings);\n    const known = seen.get(template.id);\n    if (known !== undefined && known.strings !== strings) {\n      throw new CompileError(\n        node.start,\n        node.end,\n        `Two different templates share the id ${template.id} (this one and ${known.loc}), so ` +\n          `server output and hydration could confuse them. Change one slightly (for example add ` +\n          `a class) and report the collision (view/01-templates.md \"Template ids\").`,\n      );\n    }\n    seen.set(template.id, { strings, loc });\n    const repaired = input.parse5 && checkWithParse5(input.parse5, template, shape);\n    if (repaired) throw new CompileError(node.start, node.end, repaired.message);\n    let name = consts.get(template.id);\n    if (name === undefined) {\n      name = `${prefix}t${String(consts.size)}`;\n      consts.set(template.id, name);\n      decls.push(`const ${name} = ${JSON.stringify(emitted(template, input.ssr, input.ids))};`);\n    }\n    const entry = COMPILED_ENTRIES[binding.specifier] ?? binding.specifier;\n    const exported = tag === 'svg' ? 'compiledSvg' : 'compiled';\n    const from = `${exported} from ${JSON.stringify(entry)}`;\n    let callee = callees.get(from);\n    if (callee === undefined) {\n      callee = `${prefix}${exported}${callees.size === 0 ? '' : String(callees.size)}`;\n      callees.set(from, callee);\n      imports.push(`import { ${exported} as ${callee} } from ${JSON.stringify(entry)};`);\n    }\n    edits.push(...siteEdits(code, node, callee, name));\n  }\n  for (const e of input.extra ?? []) {\n    if (!sites.some(({ node }) => e.start < node.end && e.end > node.start)) edits.push(e);\n  }\n  // Prepended to the first line (after a hashbang), so no line moves.\n  const at = code.startsWith('#!') ? code.indexOf('\\n') + 1 : 0;\n  edits.unshift({ start: at, end: at, text: [...imports, ...decls].join('') });\n  return splice(lines, edits, input.id);\n}\n"]}

package/dist/compiler/component-entries.d.ts

@@ -0,0 +1,7 @@
+import type { Rollup } from 'vite';
+/**
+ * Modules statically retained by the app's inputs (transitively). A component among them is
+ * defined at startup by the app's own entry; giving it to the loader as well would make the
+ * bundler split it out of the entry into a chunk of its own.
+ */
+export declare function staticallyReachable(ctx: Rollup.PluginContext, inputs: readonly string[]): Promise<Set<string>>;