@gyral/core 0.2.0 → 0.3.0

package/dist/compiler/compile.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compile.js","sourceRoot":"","sources":["../../src/compiler/compile.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,2FAA2F;AAC3F,8FAA8F;AAC9F,yFAAyF;AACzF,sFAAsF;AACtF,iFAAiF;AACjF,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;AAoBD;;;;;GAKG;AACH,SAAS,OAAO,CAAC,QAAwB,EAAE,GAAY,EAAE,GAAY;IACnE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,QAAQ,CAAC;IACvD,MAAM,MAAM,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;IAC/F,OAAO,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;AAChD,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;IAC/B,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,kFAAkF;gBAChF,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,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,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,IAAI,KAAK,EAAE,CAAC;QACtC,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,CAAC,EAAE,GAAG,CAAC,CAAC;QAC/C,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,IAAI,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAChC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,GAAG,GAAG,MAAM,WAAW,OAAO,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9E,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC7B,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;IACrD,CAAC;IACD,MAAM,OAAO,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,GAAG,CAC9B,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,wBAAwB,KAAK,WAAW,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CACrF,CAAC;IACF,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` call sites (view/01-templates.md \"Compiled\"): each call site's\n// cooked strings go through the same normalizer as the runtime path (so ids match), parse5\n// double-checks rule 7, one module-level constant is hoisted per template object (without its\n// id in production client builds: the renderer compares those by identity), and the call\n// becomes `compiled(<const>, [values…])`. Line breaks inside a rewritten template are\n// kept, so every following line keeps its number; 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 } 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 { readonly node: Node; readonly binding: HtmlImport }[];\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  /** 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, segments } = template;\n  const client = { ...(ids ? { id } : {}), html, parts, ...(server === true ? { server } : {}) };\n  return ssr ? { ...client, segments } : client;\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): 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 html 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  const callees = new Map<string, string>();\n  const consts = new Map<string, string>();\n  const decls: string[] = [];\n  const edits: Edit[] = [];\n  for (const { node, binding } 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), loc);\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    let callee = callees.get(entry);\n    if (callee === undefined) {\n      callee = `${prefix}compiled${callees.size === 0 ? '' : String(callees.size)}`;\n      callees.set(entry, callee);\n    }\n    edits.push(...siteEdits(code, node, callee, name));\n  }\n  const imports = [...callees].map(\n    ([entry, local]) => `import { compiled as ${local} } from ${JSON.stringify(entry)};`,\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/hooks.d.ts

@@ -0,0 +1,18 @@
+import type { Plugin } from 'vite';
+type Fn<H> = H extends {
+    handler: infer F;
+} ? F : H;
+type HookFn<K extends keyof Plugin> = Fn<NonNullable<Plugin[K]>>;
+export interface CompilerHooks {
+    readonly configResolved: HookFn<'configResolved'>;
+    readonly buildStart: HookFn<'buildStart'>;
+    readonly transform: HookFn<'transform'>;
+    readonly generateBundle: HookFn<'generateBundle'>;
+}
+export interface CompilerSettings {
+    readonly sources: readonly string[];
+    /** The module to load parse5 from; undefined skips the parse5 check. */
+    readonly parse5: string | undefined;
+}
+export declare function createCompiler(settings: CompilerSettings): CompilerHooks;
+export {};

package/dist/compiler/hooks.js

@@ -0,0 +1,186 @@
+// The template compiler's build hooks (view/01-templates.md "Compiled",
+// view/09-template-rules.md), loaded lazily by the plugin shell in ../vite.ts on the first
+// `vite build` hook, so the preset stays loadable from any vite.config.ts:
+//   - `transform` (the shell is enforce: 'pre', so positions are the author's own source,
+//     TypeScript included, parsed by Rolldown's `this.parse`): rewrites each `html` call site
+//     of the configured sources into `compiled(<hoisted template object>, [values…])`,
+//     dependencies in node_modules included. Template rule violations, and references it
+//     can't follow, fail the build with a code frame.
+//   - `generateBundle`: fails when an uncompiled `html` survived in a chunk anyway (re-exports
+//     across modules, dynamic imports): the guarantee that the `#prepare` stub is never hit.
+import { join, relative } from 'node:path';
+import { fileURLToPath } from 'node:url';
+import { CompileError, compileModule } from './compile.js';
+import { loadParse5 } from './parse5-check.js';
+import { findUses, htmlImports } from './scan.js';
+import { Lines } from './source.js';
+/** Core's own view modules: always sources (core-internal templates, tests). */
+const VIEW = ['index', 'template'].flatMap((name) => ['.ts', '.js'].map((ext) => fileURLToPath(new URL(`../view/${name}${ext}`, import.meta.url))));
+/** template.ts's symbol description: the module defining `html`, in any copy of core. */
+const DEFINES_HTML = /Symbol\(['"]gyral\.template['"]\)/;
+const SCRIPT = /\.[cm]?[jt]sx?$/;
+const langOf = (id) => /\.[cm]?tsx$/.test(id) ? 'tsx' : /\.[cm]?ts$/.test(id) ? 'ts' : id.endsWith('x') ? 'jsx' : 'js';
+/**
+ * Whether an environment resolves core's `#view-dev` to its development module: the
+ * `development` condition is listed, or Vite's `development|production` placeholder is and
+ * the build isn't a production one. Exactly then the client keeps template ids (01).
+ */
+function developmentBuild(config) {
+    const { conditions } = config.resolve;
+    return (conditions.includes('development') ||
+        (!config.isProduction && conditions.includes('development|production')));
+}
+const CANT_FOLLOW = `This use of html can't be compiled: the template compiler rewrites only html\`…\` tagged ` +
+    `templates whose tag is the imported html itself (or ns.html for import * as ns). ` +
+    `Aliasing it, passing it around or calling it as a function would reach the runtime ` +
+    `template preparer, which builds made with the Gyral preset leave out. Write html\`…\` at ` +
+    `the call site (view/01-templates.md "Compiled").`;
+export function createCompiler(settings) {
+    const { sources } = settings;
+    /** Per environment (client, ssr, …): Vite may build them with one plugin instance. */
+    const states = new WeakMap();
+    const global = {};
+    let root = '';
+    let treeshake = true;
+    let info = () => undefined;
+    let parse5;
+    function stateOf(env) {
+        const key = env ?? global;
+        let state = states.get(key);
+        if (state === undefined) {
+            state = { sourceIds: new Set(VIEW), definers: new Set(), seen: new Map() };
+            states.set(key, state);
+        }
+        return state;
+    }
+    /** parse5, loaded once; the notice when it is missing is printed once too. */
+    function loadOnce() {
+        const specifier = settings.parse5;
+        if (specifier === undefined)
+            return undefined;
+        if (parse5 === undefined) {
+            parse5 = { module: loadParse5(specifier, root) };
+            if (parse5.module === undefined) {
+                info(`gyral: ${specifier} is not installed, so the template compiler skips its extra ` +
+                    `rule 7 check (the normalizer's own check still runs). To get it: pnpm add -D ` +
+                    `parse5 (view/09-template-rules.md).`);
+            }
+        }
+        return parse5.module;
+    }
+    return {
+        configResolved(config) {
+            root = config.root;
+            treeshake = config.build.rolldownOptions.treeshake !== false;
+            info = (message) => {
+                config.logger.info(message);
+            };
+        },
+        async buildStart() {
+            states.delete(this.environment);
+            const state = stateOf(this.environment);
+            for (const source of sources) {
+                const resolved = await this.resolve(source, join(root, 'index.html'));
+                if (resolved !== null)
+                    state.sourceIds.add(resolved.id);
+            }
+            loadOnce();
+        },
+        async transform(code, id, opts) {
+            if (id.startsWith('\0') || !SCRIPT.test(id))
+                return null;
+            const env = this.environment;
+            const state = stateOf(env);
+            if (DEFINES_HTML.test(code))
+                state.definers.add(id);
+            if (state.sourceIds.has(id))
+                return null;
+            let program;
+            try {
+                program = this.parse(code, { lang: langOf(id) });
+            }
+            catch {
+                return null; // not ours to report: the bundler fails on it with a better message
+            }
+            const { imports, reexports } = htmlImports(program);
+            if (imports.length === 0 && reexports.length === 0)
+                return null;
+            const isSource = async (specifier) => {
+                if (sources.includes(specifier))
+                    return true;
+                const resolved = await this.resolve(specifier, id);
+                return resolved !== null && state.sourceIds.has(resolved.id);
+            };
+            const lines = new Lines(code);
+            const file = relative(root, id);
+            const where = (node) => `${file}:${String(lines.position(node.start).line)}`;
+            for (const r of reexports) {
+                if (!(await isSource(r.specifier)))
+                    continue;
+                this.warn(`${where(r.node)}: re-exporting html. The template compiler only follows html ` +
+                    `imported straight from ${r.specifier}: templates written with this re-export stay ` +
+                    `uncompiled and fail the build. Import html from ${r.specifier} instead.`);
+            }
+            const matched = [];
+            for (const binding of imports)
+                if (await isSource(binding.specifier))
+                    matched.push(binding);
+            if (matched.length === 0)
+                return null;
+            const fail = (start, end, message) => this.error({
+                message,
+                id,
+                loc: { file: id, ...lines.position(start) },
+                frame: lines.frame(start, end),
+            });
+            const { sites, leftovers } = findUses(program, matched);
+            for (const l of leftovers) {
+                if (l.exported)
+                    this.warn(`${where(l.node)}: re-exporting html; its users stay uncompiled.`);
+                else
+                    fail(l.node.start, l.node.end, CANT_FOLLOW);
+            }
+            if (sites.length === 0)
+                return null;
+            const ssr = opts?.ssr === true || env.config.consumer === 'server';
+            try {
+                return compileModule({
+                    lines,
+                    id,
+                    file,
+                    sites,
+                    ssr,
+                    ids: ssr || developmentBuild(env.config),
+                    parse5: loadOnce(),
+                    seen: state.seen,
+                });
+            }
+            catch (error) {
+                if (error instanceof CompileError)
+                    return fail(error.start, error.end, error.message);
+                throw error;
+            }
+        },
+        generateBundle(_, bundle) {
+            const state = stateOf(this.environment);
+            // Without tree-shaking every export is rendered, used or not.
+            if (state.definers.size === 0 || !treeshake)
+                return;
+            for (const chunk of Object.values(bundle)) {
+                if (chunk.type !== 'chunk')
+                    continue;
+                for (const [id, module] of Object.entries(chunk.modules)) {
+                    if (!state.definers.has(id) || !module.renderedExports.includes('html'))
+                        continue;
+                    this.error(`gyral: an uncompiled html template remains in ${chunk.fileName}: something uses ` +
+                        `html from ${relative(root, id)} in a way the template compiler can't see (a ` +
+                        `re-export, a dynamic import, or a module it doesn't process). With the ` +
+                        `gyral-compiled condition the runtime preparer is left out, so that template ` +
+                        `would throw. Import html straight from '@gyral/core' where you write templates ` +
+                        `(view/01-templates.md "Compiled").`);
+                }
+            }
+        },
+    };
+}
+//# sourceMappingURL=hooks.js.map

package/dist/compiler/hooks.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hooks.js","sourceRoot":"","sources":["../../src/compiler/hooks.ts"],"names":[],"mappings":"AAAA,wEAAwE;AACxE,2FAA2F;AAC3F,2EAA2E;AAC3E,0FAA0F;AAC1F,8FAA8F;AAC9F,uFAAuF;AACvF,yFAAyF;AACzF,sDAAsD;AACtD,+FAA+F;AAC/F,6FAA6F;AAC7F,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAC3C,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAGzC,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC3D,OAAO,EAAE,UAAU,EAAe,MAAM,mBAAmB,CAAC;AAC5D,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAClD,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAkBpC,gFAAgF;AAChF,MAAM,IAAI,GAAG,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAClD,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,GAAG,CAAC,WAAW,IAAI,GAAG,GAAG,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAC9F,CAAC;AACF,yFAAyF;AACzF,MAAM,YAAY,GAAG,mCAAmC,CAAC;AACzD,MAAM,MAAM,GAAG,iBAAiB,CAAC;AAQjC,MAAM,MAAM,GAAG,CAAC,EAAU,EAA+B,EAAE,CACzD,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;AAElG;;;;GAIG;AACH,SAAS,gBAAgB,CAAC,MAGzB;IACC,MAAM,EAAE,UAAU,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC;IACtC,OAAO,CACL,UAAU,CAAC,QAAQ,CAAC,aAAa,CAAC;QAClC,CAAC,CAAC,MAAM,CAAC,YAAY,IAAI,UAAU,CAAC,QAAQ,CAAC,wBAAwB,CAAC,CAAC,CACxE,CAAC;AACJ,CAAC;AAED,MAAM,WAAW,GACf,2FAA2F;IAC3F,mFAAmF;IACnF,qFAAqF;IACrF,2FAA2F;IAC3F,kDAAkD,CAAC;AAErD,MAAM,UAAU,cAAc,CAAC,QAA0B;IACvD,MAAM,EAAE,OAAO,EAAE,GAAG,QAAQ,CAAC;IAC7B,sFAAsF;IACtF,MAAM,MAAM,GAAG,IAAI,OAAO,EAAsB,CAAC;IACjD,MAAM,MAAM,GAAG,EAAE,CAAC;IAClB,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,IAAI,SAAS,GAAG,IAAI,CAAC;IACrB,IAAI,IAAI,GAA8B,GAAG,EAAE,CAAC,SAAS,CAAC;IACtD,IAAI,MAA2D,CAAC;IAEhE,SAAS,OAAO,CAAC,GAAuB;QACtC,MAAM,GAAG,GAAG,GAAG,IAAI,MAAM,CAAC;QAC1B,IAAI,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,KAAK,GAAG,EAAE,SAAS,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,GAAG,EAAE,EAAE,IAAI,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;YAC3E,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QACzB,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,8EAA8E;IAC9E,SAAS,QAAQ;QACf,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC;QAClC,IAAI,SAAS,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC9C,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,GAAG,EAAE,MAAM,EAAE,UAAU,CAAC,SAAS,EAAE,IAAI,CAAC,EAAE,CAAC;YACjD,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;gBAChC,IAAI,CACF,UAAU,SAAS,8DAA8D;oBAC/E,+EAA+E;oBAC/E,qCAAqC,CACxC,CAAC;YACJ,CAAC;QACH,CAAC;QACD,OAAO,MAAM,CAAC,MAAM,CAAC;IACvB,CAAC;IAED,OAAO;QACL,cAAc,CAAC,MAAM;YACnB,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;YACnB,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,SAAS,KAAK,KAAK,CAAC;YAC7D,IAAI,GAAG,CAAC,OAAO,EAAE,EAAE;gBACjB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC9B,CAAC,CAAC;QACJ,CAAC;QAED,KAAK,CAAC,UAAU;YACd,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAChC,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YACxC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;gBAC7B,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC;gBACtE,IAAI,QAAQ,KAAK,IAAI;oBAAE,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;YAC1D,CAAC;YACD,QAAQ,EAAE,CAAC;QACb,CAAC;QAED,KAAK,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI;YAC5B,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;gBAAE,OAAO,IAAI,CAAC;YACzD,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC;YAC7B,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;YAC3B,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACpD,IAAI,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,OAAO,IAAI,CAAC;YACzC,IAAI,OAAa,CAAC;YAClB,IAAI,CAAC;gBACH,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,EAAE,CAAoB,CAAC;YACtE,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,IAAI,CAAC,CAAC,oEAAoE;YACnF,CAAC;YACD,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;YACpD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YAChE,MAAM,QAAQ,GAAG,KAAK,EAAE,SAAiB,EAAoB,EAAE;gBAC7D,IAAI,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC;oBAAE,OAAO,IAAI,CAAC;gBAC7C,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;gBACnD,OAAO,QAAQ,KAAK,IAAI,IAAI,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;YAC/D,CAAC,CAAC;YACF,MAAM,KAAK,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC;YAC9B,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAChC,MAAM,KAAK,GAAG,CAAC,IAAU,EAAU,EAAE,CAAC,GAAG,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3F,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;gBAC1B,IAAI,CAAC,CAAC,MAAM,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;oBAAE,SAAS;gBAC7C,IAAI,CAAC,IAAI,CACP,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,+DAA+D;oBAC7E,0BAA0B,CAAC,CAAC,SAAS,+CAA+C;oBACpF,mDAAmD,CAAC,CAAC,SAAS,WAAW,CAC5E,CAAC;YACJ,CAAC;YACD,MAAM,OAAO,GAAG,EAAE,CAAC;YACnB,KAAK,MAAM,OAAO,IAAI,OAAO;gBAAE,IAAI,MAAM,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC;oBAAE,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC5F,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YACtC,MAAM,IAAI,GAAG,CAAC,KAAa,EAAE,GAAW,EAAE,OAAe,EAAS,EAAE,CAClE,IAAI,CAAC,KAAK,CAAC;gBACT,OAAO;gBACP,EAAE;gBACF,GAAG,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE;gBAC3C,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC;aAC/B,CAAC,CAAC;YACL,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;YACxD,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;gBAC1B,IAAI,CAAC,CAAC,QAAQ;oBACZ,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,iDAAiD,CAAC,CAAC;;oBAC1E,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;YACnD,CAAC;YACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YACpC,MAAM,GAAG,GAAG,IAAI,EAAE,GAAG,KAAK,IAAI,IAAI,GAAG,CAAC,MAAM,CAAC,QAAQ,KAAK,QAAQ,CAAC;YACnE,IAAI,CAAC;gBACH,OAAO,aAAa,CAAC;oBACnB,KAAK;oBACL,EAAE;oBACF,IAAI;oBACJ,KAAK;oBACL,GAAG;oBACH,GAAG,EAAE,GAAG,IAAI,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC;oBACxC,MAAM,EAAE,QAAQ,EAAE;oBAClB,IAAI,EAAE,KAAK,CAAC,IAAI;iBACjB,CAAC,CAAC;YACL,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAI,KAAK,YAAY,YAAY;oBAAE,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;gBACtF,MAAM,KAAK,CAAC;YACd,CAAC;QACH,CAAC;QAED,cAAc,CAAC,CAAC,EAAE,MAAM;YACtB,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YACxC,8DAA8D;YAC9D,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,SAAS;gBAAE,OAAO;YACpD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC1C,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;oBAAE,SAAS;gBACrC,KAAK,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;oBACzD,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,MAAM,CAAC;wBAAE,SAAS;oBAClF,IAAI,CAAC,KAAK,CACR,iDAAiD,KAAK,CAAC,QAAQ,mBAAmB;wBAChF,aAAa,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,+CAA+C;wBAC9E,yEAAyE;wBACzE,8EAA8E;wBAC9E,iFAAiF;wBACjF,oCAAoC,CACvC,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC","sourcesContent":["// The template compiler's build hooks (view/01-templates.md \"Compiled\",\n// view/09-template-rules.md), loaded lazily by the plugin shell in ../vite.ts on the first\n// `vite build` hook, so the preset stays loadable from any vite.config.ts:\n//   - `transform` (the shell is enforce: 'pre', so positions are the author's own source,\n//     TypeScript included, parsed by Rolldown's `this.parse`): rewrites each `html` call site\n//     of the configured sources into `compiled(<hoisted template object>, [values…])`,\n//     dependencies in node_modules included. Template rule violations, and references it\n//     can't follow, fail the build with a code frame.\n//   - `generateBundle`: fails when an uncompiled `html` survived in a chunk anyway (re-exports\n//     across modules, dynamic imports): the guarantee that the `#prepare` stub is never hit.\nimport { join, relative } from 'node:path';\nimport { fileURLToPath } from 'node:url';\nimport type { Plugin } from 'vite';\nimport type { Node } from './ast.js';\nimport { CompileError, compileModule } from './compile.js';\nimport { loadParse5, type Parse5 } from './parse5-check.js';\nimport { findUses, htmlImports } from './scan.js';\nimport { Lines } from './source.js';\n\ntype Fn<H> = H extends { handler: infer F } ? F : H;\ntype HookFn<K extends keyof Plugin> = Fn<NonNullable<Plugin[K]>>;\n\nexport interface CompilerHooks {\n  readonly configResolved: HookFn<'configResolved'>;\n  readonly buildStart: HookFn<'buildStart'>;\n  readonly transform: HookFn<'transform'>;\n  readonly generateBundle: HookFn<'generateBundle'>;\n}\n\nexport interface CompilerSettings {\n  readonly sources: readonly string[];\n  /** The module to load parse5 from; undefined skips the parse5 check. */\n  readonly parse5: string | undefined;\n}\n\n/** Core's own view modules: always sources (core-internal templates, tests). */\nconst VIEW = ['index', 'template'].flatMap((name) =>\n  ['.ts', '.js'].map((ext) => fileURLToPath(new URL(`../view/${name}${ext}`, import.meta.url))),\n);\n/** template.ts's symbol description: the module defining `html`, in any copy of core. */\nconst DEFINES_HTML = /Symbol\\(['\"]gyral\\.template['\"]\\)/;\nconst SCRIPT = /\\.[cm]?[jt]sx?$/;\n\ninterface BuildState {\n  readonly sourceIds: Set<string>;\n  readonly definers: Set<string>;\n  readonly seen: Map<string, { readonly strings: string; readonly loc: string }>;\n}\n\nconst 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/**\n * Whether an environment resolves core's `#view-dev` to its development module: the\n * `development` condition is listed, or Vite's `development|production` placeholder is and\n * the build isn't a production one. Exactly then the client keeps template ids (01).\n */\nfunction developmentBuild(config: {\n  readonly isProduction: boolean;\n  readonly resolve: { readonly conditions: readonly string[] };\n}): boolean {\n  const { conditions } = config.resolve;\n  return (\n    conditions.includes('development') ||\n    (!config.isProduction && conditions.includes('development|production'))\n  );\n}\n\nconst CANT_FOLLOW =\n  `This use of html can't be compiled: the template compiler rewrites only html\\`…\\` tagged ` +\n  `templates whose tag is the imported html itself (or ns.html for import * as ns). ` +\n  `Aliasing it, passing it around or calling it as a function would reach the runtime ` +\n  `template preparer, which builds made with the Gyral preset leave out. Write html\\`…\\` at ` +\n  `the call site (view/01-templates.md \"Compiled\").`;\n\nexport function createCompiler(settings: CompilerSettings): CompilerHooks {\n  const { sources } = settings;\n  /** Per environment (client, ssr, …): Vite may build them with one plugin instance. */\n  const states = new WeakMap<object, BuildState>();\n  const global = {};\n  let root = '';\n  let treeshake = true;\n  let info: (message: string) => void = () => undefined;\n  let parse5: { readonly module: Parse5 | undefined } | undefined;\n\n  function stateOf(env: object | undefined): BuildState {\n    const key = env ?? global;\n    let state = states.get(key);\n    if (state === undefined) {\n      state = { sourceIds: new Set(VIEW), definers: new Set(), seen: new Map() };\n      states.set(key, state);\n    }\n    return state;\n  }\n\n  /** parse5, loaded once; the notice when it is missing is printed once too. */\n  function loadOnce(): Parse5 | undefined {\n    const specifier = settings.parse5;\n    if (specifier === undefined) return undefined;\n    if (parse5 === undefined) {\n      parse5 = { module: loadParse5(specifier, root) };\n      if (parse5.module === undefined) {\n        info(\n          `gyral: ${specifier} is not installed, so the template compiler skips its extra ` +\n            `rule 7 check (the normalizer's own check still runs). To get it: pnpm add -D ` +\n            `parse5 (view/09-template-rules.md).`,\n        );\n      }\n    }\n    return parse5.module;\n  }\n\n  return {\n    configResolved(config) {\n      root = config.root;\n      treeshake = config.build.rolldownOptions.treeshake !== false;\n      info = (message) => {\n        config.logger.info(message);\n      };\n    },\n\n    async buildStart() {\n      states.delete(this.environment);\n      const state = stateOf(this.environment);\n      for (const source of sources) {\n        const resolved = await this.resolve(source, join(root, 'index.html'));\n        if (resolved !== null) state.sourceIds.add(resolved.id);\n      }\n      loadOnce();\n    },\n\n    async transform(code, id, opts) {\n      if (id.startsWith('\\0') || !SCRIPT.test(id)) return null;\n      const env = this.environment;\n      const state = stateOf(env);\n      if (DEFINES_HTML.test(code)) state.definers.add(id);\n      if (state.sourceIds.has(id)) return null;\n      let program: Node;\n      try {\n        program = this.parse(code, { lang: langOf(id) }) as unknown as Node;\n      } catch {\n        return null; // not ours to report: the bundler fails on it with a better message\n      }\n      const { imports, reexports } = htmlImports(program);\n      if (imports.length === 0 && reexports.length === 0) return null;\n      const isSource = async (specifier: string): Promise<boolean> => {\n        if (sources.includes(specifier)) return true;\n        const resolved = await this.resolve(specifier, id);\n        return resolved !== null && state.sourceIds.has(resolved.id);\n      };\n      const lines = new Lines(code);\n      const file = relative(root, id);\n      const where = (node: Node): string => `${file}:${String(lines.position(node.start).line)}`;\n      for (const r of reexports) {\n        if (!(await isSource(r.specifier))) continue;\n        this.warn(\n          `${where(r.node)}: re-exporting html. The template compiler only follows html ` +\n            `imported straight from ${r.specifier}: templates written with this re-export stay ` +\n            `uncompiled and fail the build. Import html from ${r.specifier} instead.`,\n        );\n      }\n      const matched = [];\n      for (const binding of imports) if (await isSource(binding.specifier)) matched.push(binding);\n      if (matched.length === 0) return null;\n      const fail = (start: number, end: number, message: string): never =>\n        this.error({\n          message,\n          id,\n          loc: { file: id, ...lines.position(start) },\n          frame: lines.frame(start, end),\n        });\n      const { sites, leftovers } = findUses(program, matched);\n      for (const l of leftovers) {\n        if (l.exported)\n          this.warn(`${where(l.node)}: re-exporting html; its users stay uncompiled.`);\n        else fail(l.node.start, l.node.end, CANT_FOLLOW);\n      }\n      if (sites.length === 0) return null;\n      const ssr = opts?.ssr === true || env.config.consumer === 'server';\n      try {\n        return compileModule({\n          lines,\n          id,\n          file,\n          sites,\n          ssr,\n          ids: ssr || developmentBuild(env.config),\n          parse5: loadOnce(),\n          seen: state.seen,\n        });\n      } catch (error) {\n        if (error instanceof CompileError) return fail(error.start, error.end, error.message);\n        throw error;\n      }\n    },\n\n    generateBundle(_, bundle) {\n      const state = stateOf(this.environment);\n      // Without tree-shaking every export is rendered, used or not.\n      if (state.definers.size === 0 || !treeshake) return;\n      for (const chunk of Object.values(bundle)) {\n        if (chunk.type !== 'chunk') continue;\n        for (const [id, module] of Object.entries(chunk.modules)) {\n          if (!state.definers.has(id) || !module.renderedExports.includes('html')) continue;\n          this.error(\n            `gyral: an uncompiled html template remains in ${chunk.fileName}: something uses ` +\n              `html from ${relative(root, id)} in a way the template compiler can't see (a ` +\n              `re-export, a dynamic import, or a module it doesn't process). With the ` +\n              `gyral-compiled condition the runtime preparer is left out, so that template ` +\n              `would throw. Import html straight from '@gyral/core' where you write templates ` +\n              `(view/01-templates.md \"Compiled\").`,\n          );\n        }\n      }\n    },\n  };\n}\n"]}

package/dist/compiler/parse5-check.d.ts

@@ -0,0 +1,21 @@
+import { type Shape, type TemplateObject } from '../view/index.js';
+/** The slice of parse5's API the check uses (default tree adapter). */
+export interface Parse5 {
+    parseFragment(html: string): Parse5Node;
+}
+interface Parse5Node {
+    readonly nodeName: string;
+    readonly tagName?: string;
+    readonly childNodes?: readonly Parse5Node[];
+    readonly content?: Parse5Node;
+}
+/**
+ * Loads parse5 (`specifier`) as resolved from @gyral/core, else from the app's `root`;
+ * undefined when neither has it. `require` (Node loads ES modules with it too) rather than
+ * `import()`: when core runs from source, this module is loaded by a Vite module runner that
+ * is closed by the time the build starts.
+ */
+export declare function loadParse5(specifier: string, root: string): Parse5 | undefined;
+/** Rule 7's error when parse5 builds a different tree than `shape`; undefined if it agrees. */
+export declare function checkWithParse5(parse5: Parse5, template: TemplateObject, shape: Shape): Error | undefined;
+export {};

package/dist/compiler/parse5-check.js

@@ -0,0 +1,55 @@
+// Rule 7 at build time with parse5 (view/09-template-rules.md "How rule 7 is checked"): a
+// spec-compliant HTML parser parses each template's HTML as <template> content, exactly like
+// the runtime path's `<template>.innerHTML`, and its tree is compared with the shape the
+// normalizer computed paths for (view/normalize/shape.ts, shared with the browser check).
+//
+// parse5 is an optional peer dependency of @gyral/core, loaded at build time by the compiler
+// only: it never reaches browser or server bundles. Without it the build still runs
+// the normalizer's structural rule 7 check and skips this one.
+import { createRequire } from 'node:module';
+import { join } from 'node:path';
+import { repairError, shapeMismatch, } from '../view/index.js';
+const isParse5 = (value) => typeof value === 'object' &&
+    value !== null &&
+    typeof value.parseFragment === 'function';
+/**
+ * Loads parse5 (`specifier`) as resolved from @gyral/core, else from the app's `root`;
+ * undefined when neither has it. `require` (Node loads ES modules with it too) rather than
+ * `import()`: when core runs from source, this module is loaded by a Vite module runner that
+ * is closed by the time the build starts.
+ */
+export function loadParse5(specifier, root) {
+    for (const base of [import.meta.url, join(root, 'package.json')]) {
+        try {
+            const module = createRequire(base)(specifier);
+            if (isParse5(module))
+                return module;
+        }
+        catch {
+            // not resolvable from here
+        }
+    }
+    return undefined;
+}
+function toShape(nodes) {
+    return nodes.map((node) => {
+        if (node.nodeName === '#text')
+            return '#text';
+        if (node.nodeName === '#comment')
+            return '#comment';
+        const inner = node.tagName === 'template' ? node.content?.childNodes : node.childNodes;
+        return [(node.tagName ?? node.nodeName).toLowerCase(), toShape(inner ?? [])];
+    });
+}
+/** Rule 7's error when parse5 builds a different tree than `shape`; undefined if it agrees. */
+export function checkWithParse5(parse5, template, shape) {
+    // Page shells (document-level tags) are written by the server and never parsed as a
+    // fragment; fragment parsing would drop their <html>/<head>/<body> tags.
+    if (template.server)
+        return undefined;
+    const problem = shapeMismatch(shape, toShape(parse5.parseFragment(template.html).childNodes ?? []));
+    return problem === undefined
+        ? undefined
+        : repairError(template, 'The HTML parser (parse5)', problem);
+}
+//# sourceMappingURL=parse5-check.js.map

package/dist/compiler/parse5-check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parse5-check.js","sourceRoot":"","sources":["../../src/compiler/parse5-check.ts"],"names":[],"mappings":"AAAA,0FAA0F;AAC1F,6FAA6F;AAC7F,yFAAyF;AACzF,0FAA0F;AAC1F,EAAE;AACF,6FAA6F;AAC7F,oFAAoF;AACpF,+DAA+D;AAC/D,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EACL,WAAW,EACX,aAAa,GAId,MAAM,kBAAkB,CAAC;AAc1B,MAAM,QAAQ,GAAG,CAAC,KAAc,EAAmB,EAAE,CACnD,OAAO,KAAK,KAAK,QAAQ;IACzB,KAAK,KAAK,IAAI;IACd,OAAQ,KAAqC,CAAC,aAAa,KAAK,UAAU,CAAC;AAE7E;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,SAAiB,EAAE,IAAY;IACxD,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC,EAAE,CAAC;QACjE,IAAI,CAAC;YACH,MAAM,MAAM,GAAY,aAAa,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,CAAC;YACvD,IAAI,QAAQ,CAAC,MAAM,CAAC;gBAAE,OAAO,MAAM,CAAC;QACtC,CAAC;QAAC,MAAM,CAAC;YACP,2BAA2B;QAC7B,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,OAAO,CAAC,KAA4B;IAC3C,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAa,EAAE;QACnC,IAAI,IAAI,CAAC,QAAQ,KAAK,OAAO;YAAE,OAAO,OAAO,CAAC;QAC9C,IAAI,IAAI,CAAC,QAAQ,KAAK,UAAU;YAAE,OAAO,UAAU,CAAC;QACpD,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC;QACvF,OAAO,CAAC,CAAC,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,EAAE,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;AACL,CAAC;AAED,+FAA+F;AAC/F,MAAM,UAAU,eAAe,CAC7B,MAAc,EACd,QAAwB,EACxB,KAAY;IAEZ,oFAAoF;IACpF,yEAAyE;IACzE,IAAI,QAAQ,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IACtC,MAAM,OAAO,GAAG,aAAa,CAC3B,KAAK,EACL,OAAO,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,UAAU,IAAI,EAAE,CAAC,CAC9D,CAAC;IACF,OAAO,OAAO,KAAK,SAAS;QAC1B,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,WAAW,CAAC,QAAQ,EAAE,0BAA0B,EAAE,OAAO,CAAC,CAAC;AACjE,CAAC","sourcesContent":["// Rule 7 at build time with parse5 (view/09-template-rules.md \"How rule 7 is checked\"): a\n// spec-compliant HTML parser parses each template's HTML as <template> content, exactly like\n// the runtime path's `<template>.innerHTML`, and its tree is compared with the shape the\n// normalizer computed paths for (view/normalize/shape.ts, shared with the browser check).\n//\n// parse5 is an optional peer dependency of @gyral/core, loaded at build time by the compiler\n// only: it never reaches browser or server bundles. Without it the build still runs\n// the normalizer's structural rule 7 check and skips this one.\nimport { createRequire } from 'node:module';\nimport { join } from 'node:path';\nimport {\n  repairError,\n  shapeMismatch,\n  type Shape,\n  type ShapeNode,\n  type TemplateObject,\n} from '../view/index.js';\n\n/** The slice of parse5's API the check uses (default tree adapter). */\nexport interface Parse5 {\n  parseFragment(html: string): Parse5Node;\n}\n\ninterface Parse5Node {\n  readonly nodeName: string;\n  readonly tagName?: string;\n  readonly childNodes?: readonly Parse5Node[];\n  readonly content?: Parse5Node;\n}\n\nconst isParse5 = (value: unknown): value is Parse5 =>\n  typeof value === 'object' &&\n  value !== null &&\n  typeof (value as { parseFragment?: unknown }).parseFragment === 'function';\n\n/**\n * Loads parse5 (`specifier`) as resolved from @gyral/core, else from the app's `root`;\n * undefined when neither has it. `require` (Node loads ES modules with it too) rather than\n * `import()`: when core runs from source, this module is loaded by a Vite module runner that\n * is closed by the time the build starts.\n */\nexport function loadParse5(specifier: string, root: string): Parse5 | undefined {\n  for (const base of [import.meta.url, join(root, 'package.json')]) {\n    try {\n      const module: unknown = createRequire(base)(specifier);\n      if (isParse5(module)) return module;\n    } catch {\n      // not resolvable from here\n    }\n  }\n  return undefined;\n}\n\nfunction toShape(nodes: readonly Parse5Node[]): Shape {\n  return nodes.map((node): ShapeNode => {\n    if (node.nodeName === '#text') return '#text';\n    if (node.nodeName === '#comment') return '#comment';\n    const inner = node.tagName === 'template' ? node.content?.childNodes : node.childNodes;\n    return [(node.tagName ?? node.nodeName).toLowerCase(), toShape(inner ?? [])];\n  });\n}\n\n/** Rule 7's error when parse5 builds a different tree than `shape`; undefined if it agrees. */\nexport function checkWithParse5(\n  parse5: Parse5,\n  template: TemplateObject,\n  shape: Shape,\n): Error | undefined {\n  // Page shells (document-level tags) are written by the server and never parsed as a\n  // fragment; fragment parsing would drop their <html>/<head>/<body> tags.\n  if (template.server) return undefined;\n  const problem = shapeMismatch(\n    shape,\n    toShape(parse5.parseFragment(template.html).childNodes ?? []),\n  );\n  return problem === undefined\n    ? undefined\n    : repairError(template, 'The HTML parser (parse5)', problem);\n}\n"]}

package/dist/compiler/scan.d.ts

@@ -0,0 +1,31 @@
+import { type Node } from './ast.js';
+/** `import { html as local } from 'specifier'`, or `import * as local from 'specifier'`. */
+export interface HtmlImport {
+    readonly local: string;
+    readonly namespace: boolean;
+    readonly specifier: string;
+}
+export interface Imports {
+    readonly imports: readonly HtmlImport[];
+    /** `export { html } from 'specifier'` (its node, for a code frame). */
+    readonly reexports: readonly {
+        readonly node: Node;
+        readonly specifier: string;
+    }[];
+}
+export interface Uses {
+    /** TaggedTemplateExpression nodes whose tag is a matching binding. */
+    readonly sites: readonly {
+        readonly node: Node;
+        readonly binding: HtmlImport;
+    }[];
+    /** Other references; `exported`: an `export { html }` specifier. */
+    readonly leftovers: readonly {
+        readonly node: Node;
+        readonly exported: boolean;
+    }[];
+}
+/** Imports of `html` (named) and namespace imports, plus `export { html } from` re-exports. */
+export declare function htmlImports(program: Node): Imports;
+/** Every use of `bindings` in `program`, skipping names that a nested scope redeclares. */
+export declare function findUses(program: Node, bindings: readonly HtmlImport[]): Uses;

package/dist/compiler/scan.js

@@ -0,0 +1,152 @@
+// Finds a module's `html` call sites for the template compiler (view/01-templates.md
+// "Compiled"). Two steps, because matching an import against the configured sources may need
+// module resolution (async, in the plugin): `htmlImports` lists the candidate imports, and
+// `findUses` walks the module, scope-aware, for every reference to the matching bindings:
+//   - html`…` (or ns.html`…` for `import * as ns`) is a call site;
+//   - any other reference (`const h = html`, `html(strings)`, `ns[x]`, `{ html } = ns`) is a
+//     leftover the compiler can't follow: an error, since it would reach the runtime preparer;
+//   - `export { html }` re-exports it: a warning here, an error in generateBundle when an
+//     uncompiled `html` survives in the bundle.
+import { children, nodeAt, nodesAt, scopeNames } from './ast.js';
+const nameOf = (node) => node === undefined
+    ? undefined
+    : node.type === 'Identifier'
+        ? node['name']
+        : node.type === 'Literal' && typeof node['value'] === 'string'
+            ? node['value']
+            : undefined;
+const specifierOf = (node) => nameOf(nodeAt(node, 'source'));
+const isValue = (node) => node['importKind'] !== 'type' && node['exportKind'] !== 'type';
+/** Imports of `html` (named) and namespace imports, plus `export { html } from` re-exports. */
+export function htmlImports(program) {
+    const imports = [];
+    const reexports = [];
+    for (const statement of nodesAt(program, 'body')) {
+        const specifier = specifierOf(statement);
+        if (specifier === undefined || !isValue(statement))
+            continue;
+        if (statement.type === 'ImportDeclaration') {
+            for (const s of nodesAt(statement, 'specifiers')) {
+                const local = nameOf(nodeAt(s, 'local'));
+                if (local === undefined || !isValue(s))
+                    continue;
+                if (s.type === 'ImportNamespaceSpecifier') {
+                    imports.push({ local, namespace: true, specifier });
+                }
+                else if (s.type === 'ImportSpecifier' && nameOf(nodeAt(s, 'imported')) === 'html') {
+                    imports.push({ local, namespace: false, specifier });
+                }
+            }
+        }
+        else if (statement.type === 'ExportNamedDeclaration') {
+            const html = nodesAt(statement, 'specifiers').find((s) => isValue(s) && nameOf(nodeAt(s, 'local')) === 'html');
+            if (html !== undefined)
+                reexports.push({ node: html, specifier });
+        }
+    }
+    return { imports, reexports };
+}
+const unparen = (node) => node?.type === 'ParenthesizedExpression' ? unparen(nodeAt(node, 'expression')) : node;
+/** Every use of `bindings` in `program`, skipping names that a nested scope redeclares. */
+export function findUses(program, bindings) {
+    const byName = new Map(bindings.map((b) => [b.local, b]));
+    const sites = [];
+    const leftovers = [];
+    const scopes = [];
+    const binding = (node) => {
+        const name = node?.type === 'Identifier' ? node['name'] : undefined;
+        if (name === undefined || scopes.some((s) => s.has(name)))
+            return undefined;
+        return byName.get(name);
+    };
+    /** The binding a tag refers to: `html` itself, or `ns.html`. */
+    const tagBinding = (tag) => {
+        if (tag?.type === 'Identifier') {
+            const b = binding(tag);
+            return b?.namespace === false ? b : undefined;
+        }
+        if (tag?.type !== 'MemberExpression' || tag['computed'] === true)
+            return undefined;
+        const b = binding(nodeAt(tag, 'object'));
+        return b?.namespace === true && nameOf(nodeAt(tag, 'property')) === 'html' ? b : undefined;
+    };
+    const walkAll = (nodes) => {
+        for (const n of nodes)
+            walk(n);
+    };
+    function visit(node) {
+        switch (node.type) {
+            case 'ImportDeclaration':
+            case 'ExportAllDeclaration':
+            case 'MetaProperty':
+            case 'BreakStatement':
+            case 'ContinueStatement':
+                return;
+            case 'ExportNamedDeclaration':
+                if (nodeAt(node, 'source') === undefined) {
+                    for (const s of nodesAt(node, 'specifiers')) {
+                        if (binding(nodeAt(s, 'local')) !== undefined)
+                            leftovers.push({ node: s, exported: true });
+                    }
+                }
+                walkAll(nodesAt(node, 'declaration'));
+                return;
+            case 'TaggedTemplateExpression': {
+                const tag = unparen(nodeAt(node, 'tag'));
+                const b = tagBinding(tag);
+                if (b === undefined)
+                    break;
+                sites.push({ node, binding: b });
+                walkAll(nodesAt(nodeAt(node, 'quasi') ?? node, 'expressions'));
+                return;
+            }
+            case 'MemberExpression': {
+                const object = nodeAt(node, 'object');
+                const b = binding(object);
+                const computed = node['computed'] === true;
+                if (b !== undefined) {
+                    // ns.other is fine; ns.html outside a tag, or ns[expr], can't be followed.
+                    if (!b.namespace || computed || nameOf(nodeAt(node, 'property')) === 'html') {
+                        leftovers.push({ node, exported: false });
+                    }
+                }
+                else
+                    walkAll(nodesAt(node, 'object'));
+                if (computed)
+                    walkAll(nodesAt(node, 'property'));
+                return;
+            }
+            case 'Property':
+            case 'MethodDefinition':
+            case 'PropertyDefinition':
+            case 'AccessorProperty':
+                if (node['computed'] === true)
+                    walkAll(nodesAt(node, 'key'));
+                walkAll(nodesAt(node, 'decorators'));
+                walkAll(nodesAt(node, 'value'));
+                return;
+            case 'LabeledStatement':
+                walkAll(nodesAt(node, 'body'));
+                return;
+            case 'Identifier':
+                if (binding(node) !== undefined)
+                    leftovers.push({ node, exported: false });
+                return;
+        }
+        walkAll(children(node));
+    }
+    function walk(node) {
+        const declared = scopeNames(node)?.filter((name) => byName.has(name));
+        if (declared === undefined || declared.length === 0) {
+            visit(node);
+            return;
+        }
+        scopes.push(new Set(declared));
+        visit(node);
+        scopes.pop();
+    }
+    if (byName.size > 0)
+        walkAll(nodesAt(program, 'body'));
+    return { sites, leftovers };
+}
+//# sourceMappingURL=scan.js.map

package/dist/compiler/scan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scan.js","sourceRoot":"","sources":["../../src/compiler/scan.ts"],"names":[],"mappings":"AAAA,qFAAqF;AACrF,6FAA6F;AAC7F,2FAA2F;AAC3F,0FAA0F;AAC1F,mEAAmE;AACnE,6FAA6F;AAC7F,+FAA+F;AAC/F,0FAA0F;AAC1F,gDAAgD;AAChD,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAa,MAAM,UAAU,CAAC;AAsB5E,MAAM,MAAM,GAAG,CAAC,IAAsB,EAAsB,EAAE,CAC5D,IAAI,KAAK,SAAS;IAChB,CAAC,CAAC,SAAS;IACX,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY;QAC1B,CAAC,CAAE,IAAI,CAAC,MAAM,CAAY;QAC1B,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,QAAQ;YAC5D,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC;YACf,CAAC,CAAC,SAAS,CAAC;AAEpB,MAAM,WAAW,GAAG,CAAC,IAAU,EAAsB,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;AAEvF,MAAM,OAAO,GAAG,CAAC,IAAU,EAAW,EAAE,CACtC,IAAI,CAAC,YAAY,CAAC,KAAK,MAAM,IAAI,IAAI,CAAC,YAAY,CAAC,KAAK,MAAM,CAAC;AAEjE,+FAA+F;AAC/F,MAAM,UAAU,WAAW,CAAC,OAAa;IACvC,MAAM,OAAO,GAAiB,EAAE,CAAC;IACjC,MAAM,SAAS,GAAwC,EAAE,CAAC;IAC1D,KAAK,MAAM,SAAS,IAAI,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,CAAC;QACjD,MAAM,SAAS,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC;QACzC,IAAI,SAAS,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC;YAAE,SAAS;QAC7D,IAAI,SAAS,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YAC3C,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,SAAS,EAAE,YAAY,CAAC,EAAE,CAAC;gBACjD,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;gBACzC,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;oBAAE,SAAS;gBACjD,IAAI,CAAC,CAAC,IAAI,KAAK,0BAA0B,EAAE,CAAC;oBAC1C,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;gBACtD,CAAC;qBAAM,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,KAAK,MAAM,EAAE,CAAC;oBACpF,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;gBACvD,CAAC;YACH,CAAC;QACH,CAAC;aAAM,IAAI,SAAS,CAAC,IAAI,KAAK,wBAAwB,EAAE,CAAC;YACvD,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC,IAAI,CAChD,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,KAAK,MAAM,CAC3D,CAAC;YACF,IAAI,IAAI,KAAK,SAAS;gBAAE,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;QACpE,CAAC;IACH,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;AAChC,CAAC;AAED,MAAM,OAAO,GAAG,CAAC,IAAsB,EAAoB,EAAE,CAC3D,IAAI,EAAE,IAAI,KAAK,yBAAyB,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAExF,2FAA2F;AAC3F,MAAM,UAAU,QAAQ,CAAC,OAAa,EAAE,QAA+B;IACrE,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1D,MAAM,KAAK,GAA0C,EAAE,CAAC;IACxD,MAAM,SAAS,GAAwC,EAAE,CAAC;IAC1D,MAAM,MAAM,GAAkB,EAAE,CAAC;IAEjC,MAAM,OAAO,GAAG,CAAC,IAAsB,EAA0B,EAAE;QACjE,MAAM,IAAI,GAAG,IAAI,EAAE,IAAI,KAAK,YAAY,CAAC,CAAC,CAAE,IAAI,CAAC,MAAM,CAAY,CAAC,CAAC,CAAC,SAAS,CAAC;QAChF,IAAI,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAAE,OAAO,SAAS,CAAC;QAC5E,OAAO,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC,CAAC;IAEF,gEAAgE;IAChE,MAAM,UAAU,GAAG,CAAC,GAAqB,EAA0B,EAAE;QACnE,IAAI,GAAG,EAAE,IAAI,KAAK,YAAY,EAAE,CAAC;YAC/B,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;YACvB,OAAO,CAAC,EAAE,SAAS,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAChD,CAAC;QACD,IAAI,GAAG,EAAE,IAAI,KAAK,kBAAkB,IAAI,GAAG,CAAC,UAAU,CAAC,KAAK,IAAI;YAAE,OAAO,SAAS,CAAC;QACnF,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC;QACzC,OAAO,CAAC,EAAE,SAAS,KAAK,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC7F,CAAC,CAAC;IAEF,MAAM,OAAO,GAAG,CAAC,KAAsB,EAAQ,EAAE;QAC/C,KAAK,MAAM,CAAC,IAAI,KAAK;YAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC;IAEF,SAAS,KAAK,CAAC,IAAU;QACvB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,mBAAmB,CAAC;YACzB,KAAK,sBAAsB,CAAC;YAC5B,KAAK,cAAc,CAAC;YACpB,KAAK,gBAAgB,CAAC;YACtB,KAAK,mBAAmB;gBACtB,OAAO;YACT,KAAK,wBAAwB;gBAC3B,IAAI,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,SAAS,EAAE,CAAC;oBACzC,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,IAAI,EAAE,YAAY,CAAC,EAAE,CAAC;wBAC5C,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,KAAK,SAAS;4BAC3C,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;oBAChD,CAAC;gBACH,CAAC;gBACD,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC;gBACtC,OAAO;YACT,KAAK,0BAA0B,CAAC,CAAC,CAAC;gBAChC,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;gBACzC,MAAM,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;gBAC1B,IAAI,CAAC,KAAK,SAAS;oBAAE,MAAM;gBAC3B,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;gBACjC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC;gBAC/D,OAAO;YACT,CAAC;YACD,KAAK,kBAAkB,CAAC,CAAC,CAAC;gBACxB,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;gBACtC,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;gBAC1B,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,IAAI,CAAC;gBAC3C,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;oBACpB,2EAA2E;oBAC3E,IAAI,CAAC,CAAC,CAAC,SAAS,IAAI,QAAQ,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,KAAK,MAAM,EAAE,CAAC;wBAC5E,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;oBAC5C,CAAC;gBACH,CAAC;;oBAAM,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;gBACxC,IAAI,QAAQ;oBAAE,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC;gBACjD,OAAO;YACT,CAAC;YACD,KAAK,UAAU,CAAC;YAChB,KAAK,kBAAkB,CAAC;YACxB,KAAK,oBAAoB,CAAC;YAC1B,KAAK,kBAAkB;gBACrB,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,IAAI;oBAAE,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;gBAC7D,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC;gBACrC,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;gBAChC,OAAO;YACT,KAAK,kBAAkB;gBACrB,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;gBAC/B,OAAO;YACT,KAAK,YAAY;gBACf,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,SAAS;oBAAE,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;gBAC3E,OAAO;QACX,CAAC;QACD,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1B,CAAC;IAED,SAAS,IAAI,CAAC,IAAU;QACtB,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QACtE,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACpD,KAAK,CAAC,IAAI,CAAC,CAAC;YACZ,OAAO;QACT,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC/B,KAAK,CAAC,IAAI,CAAC,CAAC;QACZ,MAAM,CAAC,GAAG,EAAE,CAAC;IACf,CAAC;IAED,IAAI,MAAM,CAAC,IAAI,GAAG,CAAC;QAAE,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;IACvD,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;AAC9B,CAAC","sourcesContent":["// Finds a module's `html` call sites for the template compiler (view/01-templates.md\n// \"Compiled\"). Two steps, because matching an import against the configured sources may need\n// module resolution (async, in the plugin): `htmlImports` lists the candidate imports, and\n// `findUses` walks the module, scope-aware, for every reference to the matching bindings:\n//   - html`…` (or ns.html`…` for `import * as ns`) is a call site;\n//   - any other reference (`const h = html`, `html(strings)`, `ns[x]`, `{ html } = ns`) is a\n//     leftover the compiler can't follow: an error, since it would reach the runtime preparer;\n//   - `export { html }` re-exports it: a warning here, an error in generateBundle when an\n//     uncompiled `html` survives in the bundle.\nimport { children, nodeAt, nodesAt, scopeNames, type Node } from './ast.js';\n\n/** `import { html as local } from 'specifier'`, or `import * as local from 'specifier'`. */\nexport interface HtmlImport {\n  readonly local: string;\n  readonly namespace: boolean;\n  readonly specifier: string;\n}\n\nexport interface Imports {\n  readonly imports: readonly HtmlImport[];\n  /** `export { html } from 'specifier'` (its node, for a code frame). */\n  readonly reexports: readonly { readonly node: Node; readonly specifier: string }[];\n}\n\nexport interface Uses {\n  /** TaggedTemplateExpression nodes whose tag is a matching binding. */\n  readonly sites: readonly { readonly node: Node; readonly binding: HtmlImport }[];\n  /** Other references; `exported`: an `export { html }` specifier. */\n  readonly leftovers: readonly { readonly node: Node; readonly exported: boolean }[];\n}\n\nconst nameOf = (node: Node | undefined): string | undefined =>\n  node === undefined\n    ? undefined\n    : node.type === 'Identifier'\n      ? (node['name'] as string)\n      : node.type === 'Literal' && typeof node['value'] === 'string'\n        ? node['value']\n        : undefined;\n\nconst specifierOf = (node: Node): string | undefined => nameOf(nodeAt(node, 'source'));\n\nconst isValue = (node: Node): boolean =>\n  node['importKind'] !== 'type' && node['exportKind'] !== 'type';\n\n/** Imports of `html` (named) and namespace imports, plus `export { html } from` re-exports. */\nexport function htmlImports(program: Node): Imports {\n  const imports: HtmlImport[] = [];\n  const reexports: { node: Node; specifier: string }[] = [];\n  for (const statement of nodesAt(program, 'body')) {\n    const specifier = specifierOf(statement);\n    if (specifier === undefined || !isValue(statement)) continue;\n    if (statement.type === 'ImportDeclaration') {\n      for (const s of nodesAt(statement, 'specifiers')) {\n        const local = nameOf(nodeAt(s, 'local'));\n        if (local === undefined || !isValue(s)) continue;\n        if (s.type === 'ImportNamespaceSpecifier') {\n          imports.push({ local, namespace: true, specifier });\n        } else if (s.type === 'ImportSpecifier' && nameOf(nodeAt(s, 'imported')) === 'html') {\n          imports.push({ local, namespace: false, specifier });\n        }\n      }\n    } else if (statement.type === 'ExportNamedDeclaration') {\n      const html = nodesAt(statement, 'specifiers').find(\n        (s) => isValue(s) && nameOf(nodeAt(s, 'local')) === 'html',\n      );\n      if (html !== undefined) reexports.push({ node: html, specifier });\n    }\n  }\n  return { imports, reexports };\n}\n\nconst unparen = (node: Node | undefined): Node | undefined =>\n  node?.type === 'ParenthesizedExpression' ? unparen(nodeAt(node, 'expression')) : node;\n\n/** Every use of `bindings` in `program`, skipping names that a nested scope redeclares. */\nexport function findUses(program: Node, bindings: readonly HtmlImport[]): Uses {\n  const byName = new Map(bindings.map((b) => [b.local, b]));\n  const sites: { node: Node; binding: HtmlImport }[] = [];\n  const leftovers: { node: Node; exported: boolean }[] = [];\n  const scopes: Set<string>[] = [];\n\n  const binding = (node: Node | undefined): HtmlImport | undefined => {\n    const name = node?.type === 'Identifier' ? (node['name'] as string) : undefined;\n    if (name === undefined || scopes.some((s) => s.has(name))) return undefined;\n    return byName.get(name);\n  };\n\n  /** The binding a tag refers to: `html` itself, or `ns.html`. */\n  const tagBinding = (tag: Node | undefined): HtmlImport | undefined => {\n    if (tag?.type === 'Identifier') {\n      const b = binding(tag);\n      return b?.namespace === false ? b : undefined;\n    }\n    if (tag?.type !== 'MemberExpression' || tag['computed'] === true) return undefined;\n    const b = binding(nodeAt(tag, 'object'));\n    return b?.namespace === true && nameOf(nodeAt(tag, 'property')) === 'html' ? b : undefined;\n  };\n\n  const walkAll = (nodes: readonly Node[]): void => {\n    for (const n of nodes) walk(n);\n  };\n\n  function visit(node: Node): void {\n    switch (node.type) {\n      case 'ImportDeclaration':\n      case 'ExportAllDeclaration':\n      case 'MetaProperty':\n      case 'BreakStatement':\n      case 'ContinueStatement':\n        return;\n      case 'ExportNamedDeclaration':\n        if (nodeAt(node, 'source') === undefined) {\n          for (const s of nodesAt(node, 'specifiers')) {\n            if (binding(nodeAt(s, 'local')) !== undefined)\n              leftovers.push({ node: s, exported: true });\n          }\n        }\n        walkAll(nodesAt(node, 'declaration'));\n        return;\n      case 'TaggedTemplateExpression': {\n        const tag = unparen(nodeAt(node, 'tag'));\n        const b = tagBinding(tag);\n        if (b === undefined) break;\n        sites.push({ node, binding: b });\n        walkAll(nodesAt(nodeAt(node, 'quasi') ?? node, 'expressions'));\n        return;\n      }\n      case 'MemberExpression': {\n        const object = nodeAt(node, 'object');\n        const b = binding(object);\n        const computed = node['computed'] === true;\n        if (b !== undefined) {\n          // ns.other is fine; ns.html outside a tag, or ns[expr], can't be followed.\n          if (!b.namespace || computed || nameOf(nodeAt(node, 'property')) === 'html') {\n            leftovers.push({ node, exported: false });\n          }\n        } else walkAll(nodesAt(node, 'object'));\n        if (computed) walkAll(nodesAt(node, 'property'));\n        return;\n      }\n      case 'Property':\n      case 'MethodDefinition':\n      case 'PropertyDefinition':\n      case 'AccessorProperty':\n        if (node['computed'] === true) walkAll(nodesAt(node, 'key'));\n        walkAll(nodesAt(node, 'decorators'));\n        walkAll(nodesAt(node, 'value'));\n        return;\n      case 'LabeledStatement':\n        walkAll(nodesAt(node, 'body'));\n        return;\n      case 'Identifier':\n        if (binding(node) !== undefined) leftovers.push({ node, exported: false });\n        return;\n    }\n    walkAll(children(node));\n  }\n\n  function walk(node: Node): void {\n    const declared = scopeNames(node)?.filter((name) => byName.has(name));\n    if (declared === undefined || declared.length === 0) {\n      visit(node);\n      return;\n    }\n    scopes.push(new Set(declared));\n    visit(node);\n    scopes.pop();\n  }\n\n  if (byName.size > 0) walkAll(nodesAt(program, 'body'));\n  return { sites, leftovers };\n}\n"]}

package/dist/compiler/source.d.ts

@@ -0,0 +1,34 @@
+export interface Position {
+    /** 1-based. */
+    readonly line: number;
+    /** 0-based. */
+    readonly column: number;
+}
+export declare class Lines {
+    readonly code: string;
+    private readonly starts;
+    constructor(code: string);
+    position(offset: number): Position;
+    /** Two lines of context around `offset`, with a caret under it (Vite prints it). */
+    frame(offset: number, end?: number): string;
+}
+export interface Edit {
+    readonly start: number;
+    readonly end: number;
+    readonly text: string;
+}
+export interface SourceMap {
+    readonly version: 3;
+    readonly sources: string[];
+    readonly names: string[];
+    readonly mappings: string;
+}
+/**
+ * Applies non-overlapping `edits` to `lines.code` and maps the result back to it: a segment at
+ * the start of every output line and at every edit boundary (line-level precision, like
+ * magic-string without `hires`).
+ */
+export declare function splice(lines: Lines, edits: readonly Edit[], file: string): {
+    code: string;
+    map: SourceMap;
+};