@gyral/core 0.2.0 → 0.3.1

package/dist/compiler/loader-source.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"loader-source.js","sourceRoot":"","sources":["../../src/compiler/loader-source.ts"],"names":[],"mappings":"AAAA,4FAA4F;AAC5F,6FAA6F;AAQ7F;;;;;;;GAOG;AACH,MAAM,UAAU,YAAY,CAC1B,IAAiC,EACjC,UAAyB,EAAE;IAE3B,MAAM,OAAO,GAAG;QACd,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,CACd,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,MAAM,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,kBAAkB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CACpF;QACD,GAAG,CAAC,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC;aACrB,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;aAC/B,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,6BAA6B,CAAC;KACxE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACb,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,EAAE,GAAG,CAAC,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACnF,OAAO;;EAEP,OAAO;;gBAEO,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA6DtC,CAAC;AACF,CAAC","sourcesContent":["// The component loader's source (./components.ts): a module that imports a tag's module the\n// first time that tag is in the document. No Node imports, so tests can run it in a browser.\n\n/** How a production build writes the loader (./components.ts). */\nexport interface LoaderOptions {\n  /** Tags the app's entry defines: wait for registration and watch their shadow roots. */\n  readonly known?: readonly string[];\n}\n\n/**\n * The loader: imports a tag's module the first time that tag is rendered, in the document or in\n * the shadow root of a component it defined (now, or after a mutation, checked once per\n * microtask), then forgets it. It registers itself on `globalThis[Symbol.for('gyral.components')]`\n * so `componentsReady()` (core) can wait until every rendered tag it knows is defined.\n * Shadow roots are observed by the one shared MutationObserver; a removed host's root is\n * dropped from the scan and its registration is collected with it.\n */\nexport function loaderSource(\n  tags: ReadonlyMap<string, string>,\n  options: LoaderOptions = {},\n): string {\n  const entries = [\n    ...[...tags].map(\n      ([tag, url]) => `  [${JSON.stringify(tag)}, () => import(${JSON.stringify(url)})],`,\n    ),\n    ...(options.known ?? [])\n      .filter((tag) => !tags.has(tag))\n      .map((tag) => `  [${JSON.stringify(tag)}, () => Promise.resolve()],`),\n  ].join('\\n');\n  const watched = [...new Set([...tags.keys(), ...(options.known ?? [])])].join(',');\n  return `// Generated by gyralVitePreset({ components: true }).\nconst pending = new Map([\n${entries}\n]);\nconst known = ${JSON.stringify(watched)};\nconst roots = new Set();\nconst inflight = new Set();\nlet queued = false;\nconst observer = new MutationObserver(() => {\n  if (!queued) {\n    queued = true;\n    queueMicrotask(scan);\n  }\n});\nfunction watch(root) {\n  for (const host of root.querySelectorAll(known)) {\n    const shadow = host.shadowRoot;\n    if (shadow !== null && !roots.has(shadow)) {\n      roots.add(shadow);\n      observer.observe(shadow, { childList: true, subtree: true });\n      watch(shadow);\n    }\n  }\n}\nfunction scan() {\n  queued = false;\n  for (const root of roots) if (!root.host.isConnected) roots.delete(root);\n  if (known !== '') {\n    watch(document);\n    for (const root of [...roots]) watch(root);\n  }\n  for (const [tag, load] of pending) {\n    if (customElements.get(tag) !== undefined) {\n      pending.delete(tag);\n      continue;\n    }\n    let found = document.querySelector(tag) !== null;\n    for (const root of roots) if (!found && root.querySelector(tag) !== null) found = true;\n    if (!found) continue;\n    pending.delete(tag);\n    const done = load()\n      .then(() => customElements.whenDefined(tag))\n      .then(() => {\n        // The upgraded host renders into its shadow root next: look there too.\n        if (!queued) {\n          queued = true;\n          queueMicrotask(scan);\n        }\n      })\n      .finally(() => inflight.delete(done));\n    inflight.add(done);\n  }\n  if (pending.size === 0) observer.disconnect();\n}\nasync function ready() {\n  for (;;) {\n    scan();\n    if (inflight.size === 0) return;\n    await Promise.allSettled([...inflight]);\n    await new Promise((resolve) => setTimeout(resolve));\n  }\n}\nglobalThis[Symbol.for('gyral.components')] = { ready };\nobserver.observe(document.documentElement, { childList: true, subtree: true });\nscan();\n`;\n}\n"]}

package/dist/compiler/locate.d.ts

@@ -0,0 +1,14 @@
+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 LocatorHooks {
+    readonly configResolved: HookFn<'configResolved'>;
+    readonly transform: HookFn<'transform'>;
+}
+/** Core's own view modules: always sources (core-internal templates, tests). */
+export declare const VIEW: string[];
+/** `sources`: as the compiler's (module specifiers whose `html` and `svg` are the view layer's tags). */
+export declare function createLocator(sources: readonly string[]): LocatorHooks;
+export {};

package/dist/compiler/locate.js

@@ -0,0 +1,78 @@
+// Development source locations for runtime templates (view/01-templates.md "Source locations",
+// gyral-g1r.24). `vite serve` (the dev server and Vitest) doesn't compile templates, and stack
+// traces point into Vite's transformed modules, whose lines aren't the author's. So the preset's
+// `gyral:template-locations` plugin (serve only, enforce: 'pre', loaded lazily like the
+// compiler) rewrites each html`…` call site of the configured sources into
+//   (html.at?.("src/app.ts:12:5") ?? html)`…`
+// (svg`…` call sites the same way, with svg.at) and the development runtime records that
+// position for the template (view/loc.ts). Nothing else changes and no line moves. Uses the
+// compiler can't follow (an aliased html) stay as they are: the runtime falls back to the stack
+// trace there.
+import { relative } from 'node:path';
+import { fileURLToPath } from 'node:url';
+import { langOf, nodeAt } from './ast.js';
+import { findUses, htmlImports } from './scan.js';
+import { Lines, splice } from './source.js';
+/** Core's own view modules: always sources (core-internal templates, tests). */
+export const VIEW = ['index', 'template'].flatMap((name) => ['.ts', '.js'].map((ext) => fileURLToPath(new URL(`../view/${name}${ext}`, import.meta.url))));
+const SCRIPT = /\.[cm]?[jt]sx?$/;
+/** `sources`: as the compiler's (module specifiers whose `html` and `svg` are the view layer's tags). */
+export function createLocator(sources) {
+    let root = '';
+    /** Resolved ids of the sources, per environment (resolution may differ between them). */
+    const resolved = new WeakMap();
+    return {
+        configResolved(config) {
+            root = config.root;
+        },
+        async transform(code, id) {
+            if (id.startsWith('\0') || !SCRIPT.test(id) || id.includes('/node_modules/'))
+                return null;
+            let program;
+            try {
+                program = this.parse(code, { lang: langOf(id) });
+            }
+            catch {
+                return null; // not ours to report
+            }
+            const { imports } = htmlImports(program);
+            if (imports.length === 0)
+                return null;
+            let ids = resolved.get(this.environment);
+            if (ids === undefined) {
+                ids = Promise.all(sources.map((s) => this.resolve(s, id))).then((rs) => new Set([...VIEW, ...rs.flatMap((r) => (r === null ? [] : [r.id]))]));
+                resolved.set(this.environment, ids);
+            }
+            const sourceIds = await ids;
+            const matched = [];
+            for (const binding of imports) {
+                const r = sources.includes(binding.specifier)
+                    ? null
+                    : await this.resolve(binding.specifier, id);
+                if (sources.includes(binding.specifier) || (r !== null && sourceIds.has(r.id))) {
+                    matched.push(binding);
+                }
+            }
+            if (matched.length === 0)
+                return null;
+            const { sites } = findUses(program, matched);
+            if (sites.length === 0)
+                return null;
+            const lines = new Lines(code);
+            const file = relative(root, id);
+            const edits = [];
+            for (const { node } of sites) {
+                const tag = nodeAt(node, 'tag');
+                if (tag === undefined)
+                    continue;
+                const { line, column } = lines.position(node.start);
+                const loc = JSON.stringify(`${file}:${String(line)}:${String(column + 1)}`);
+                const name = code.slice(tag.start, tag.end);
+                edits.push({ start: tag.start, end: tag.start, text: '(' });
+                edits.push({ start: tag.end, end: tag.end, text: `.at?.(${loc}) ?? ${name})` });
+            }
+            return splice(lines, edits, id);
+        },
+    };
+}
+//# sourceMappingURL=locate.js.map

package/dist/compiler/locate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"locate.js","sourceRoot":"","sources":["../../src/compiler/locate.ts"],"names":[],"mappings":"AAAA,+FAA+F;AAC/F,+FAA+F;AAC/F,iGAAiG;AACjG,wFAAwF;AACxF,2EAA2E;AAC3E,8CAA8C;AAC9C,yFAAyF;AACzF,4FAA4F;AAC5F,gGAAgG;AAChG,eAAe;AACf,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACrC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAEzC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAa,MAAM,UAAU,CAAC;AACrD,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAClD,OAAO,EAAE,KAAK,EAAE,MAAM,EAAa,MAAM,aAAa,CAAC;AAUvD,gFAAgF;AAChF,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CACzD,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;AAEF,MAAM,MAAM,GAAG,iBAAiB,CAAC;AAEjC,yGAAyG;AACzG,MAAM,UAAU,aAAa,CAAC,OAA0B;IACtD,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,yFAAyF;IACzF,MAAM,QAAQ,GAAG,IAAI,OAAO,EAAgC,CAAC;IAE7D,OAAO;QACL,cAAc,CAAC,MAAM;YACnB,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;QACrB,CAAC;QAED,KAAK,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE;YACtB,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,gBAAgB,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC1F,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,qBAAqB;YACpC,CAAC;YACD,MAAM,EAAE,OAAO,EAAE,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;YACzC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YACtC,IAAI,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YACzC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;gBACtB,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAC7D,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAC7E,CAAC;gBACF,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;YACtC,CAAC;YACD,MAAM,SAAS,GAAG,MAAM,GAAG,CAAC;YAC5B,MAAM,OAAO,GAAG,EAAE,CAAC;YACnB,KAAK,MAAM,OAAO,IAAI,OAAO,EAAE,CAAC;gBAC9B,MAAM,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC;oBAC3C,CAAC,CAAC,IAAI;oBACN,CAAC,CAAC,MAAM,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;gBAC9C,IAAI,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;oBAC/E,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACxB,CAAC;YACH,CAAC;YACD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YACtC,MAAM,EAAE,KAAK,EAAE,GAAG,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;YAC7C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YACpC,MAAM,KAAK,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC;YAC9B,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAChC,MAAM,KAAK,GAAW,EAAE,CAAC;YACzB,KAAK,MAAM,EAAE,IAAI,EAAE,IAAI,KAAK,EAAE,CAAC;gBAC7B,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBAChC,IAAI,GAAG,KAAK,SAAS;oBAAE,SAAS;gBAChC,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACpD,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;gBAC5E,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC5C,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;gBAC5D,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,EAAE,SAAS,GAAG,QAAQ,IAAI,GAAG,EAAE,CAAC,CAAC;YAClF,CAAC;YACD,OAAO,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QAClC,CAAC;KACF,CAAC;AACJ,CAAC","sourcesContent":["// Development source locations for runtime templates (view/01-templates.md \"Source locations\",\n// gyral-g1r.24). `vite serve` (the dev server and Vitest) doesn't compile templates, and stack\n// traces point into Vite's transformed modules, whose lines aren't the author's. So the preset's\n// `gyral:template-locations` plugin (serve only, enforce: 'pre', loaded lazily like the\n// compiler) rewrites each html`…` call site of the configured sources into\n//   (html.at?.(\"src/app.ts:12:5\") ?? html)`…`\n// (svg`…` call sites the same way, with svg.at) and the development runtime records that\n// position for the template (view/loc.ts). Nothing else changes and no line moves. Uses the\n// compiler can't follow (an aliased html) stay as they are: the runtime falls back to the stack\n// trace there.\nimport { relative } from 'node:path';\nimport { fileURLToPath } from 'node:url';\nimport type { Plugin } from 'vite';\nimport { langOf, nodeAt, type Node } from './ast.js';\nimport { findUses, htmlImports } from './scan.js';\nimport { Lines, splice, type Edit } 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 LocatorHooks {\n  readonly configResolved: HookFn<'configResolved'>;\n  readonly transform: HookFn<'transform'>;\n}\n\n/** Core's own view modules: always sources (core-internal templates, tests). */\nexport const VIEW = ['index', 'template'].flatMap((name) =>\n  ['.ts', '.js'].map((ext) => fileURLToPath(new URL(`../view/${name}${ext}`, import.meta.url))),\n);\n\nconst SCRIPT = /\\.[cm]?[jt]sx?$/;\n\n/** `sources`: as the compiler's (module specifiers whose `html` and `svg` are the view layer's tags). */\nexport function createLocator(sources: readonly string[]): LocatorHooks {\n  let root = '';\n  /** Resolved ids of the sources, per environment (resolution may differ between them). */\n  const resolved = new WeakMap<object, Promise<Set<string>>>();\n\n  return {\n    configResolved(config) {\n      root = config.root;\n    },\n\n    async transform(code, id) {\n      if (id.startsWith('\\0') || !SCRIPT.test(id) || id.includes('/node_modules/')) 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\n      }\n      const { imports } = htmlImports(program);\n      if (imports.length === 0) return null;\n      let ids = resolved.get(this.environment);\n      if (ids === undefined) {\n        ids = Promise.all(sources.map((s) => this.resolve(s, id))).then(\n          (rs) => new Set([...VIEW, ...rs.flatMap((r) => (r === null ? [] : [r.id]))]),\n        );\n        resolved.set(this.environment, ids);\n      }\n      const sourceIds = await ids;\n      const matched = [];\n      for (const binding of imports) {\n        const r = sources.includes(binding.specifier)\n          ? null\n          : await this.resolve(binding.specifier, id);\n        if (sources.includes(binding.specifier) || (r !== null && sourceIds.has(r.id))) {\n          matched.push(binding);\n        }\n      }\n      if (matched.length === 0) return null;\n      const { sites } = findUses(program, matched);\n      if (sites.length === 0) return null;\n      const lines = new Lines(code);\n      const file = relative(root, id);\n      const edits: Edit[] = [];\n      for (const { node } of sites) {\n        const tag = nodeAt(node, 'tag');\n        if (tag === undefined) continue;\n        const { line, column } = lines.position(node.start);\n        const loc = JSON.stringify(`${file}:${String(line)}:${String(column + 1)}`);\n        const name = code.slice(tag.start, tag.end);\n        edits.push({ start: tag.start, end: tag.start, text: '(' });\n        edits.push({ start: tag.end, end: tag.end, text: `.at?.(${loc}) ?? ${name})` });\n      }\n      return splice(lines, edits, id);\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,60 @@
+// 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). An
+// svg template is parsed inside an <svg>, as the browser path does (template-element.ts).
+//
+// 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;
+    let nodes = parse5.parseFragment(template.svg ? `<svg>${template.html}</svg>` : template.html).childNodes;
+    // An svg template: the <svg>'s children, plus anything the parser moved out of it.
+    if (template.svg && nodes !== undefined)
+        nodes = [...(nodes[0]?.childNodes ?? []), ...nodes.slice(1)];
+    const problem = shapeMismatch(shape, toShape(nodes ?? []));
+    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,6FAA6F;AAC7F,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,IAAI,KAAK,GAAG,MAAM,CAAC,aAAa,CAC9B,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,QAAQ,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAC7D,CAAC,UAAU,CAAC;IACb,mFAAmF;IACnF,IAAI,QAAQ,CAAC,GAAG,IAAI,KAAK,KAAK,SAAS;QACrC,KAAK,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,UAAU,IAAI,EAAE,CAAC,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/D,MAAM,OAAO,GAAG,aAAa,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC;IAC3D,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). An\n// svg template is parsed inside an <svg>, as the browser path does (template-element.ts).\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  let nodes = parse5.parseFragment(\n    template.svg ? `<svg>${template.html}</svg>` : template.html,\n  ).childNodes;\n  // An svg template: the <svg>'s children, plus anything the parser moved out of it.\n  if (template.svg && nodes !== undefined)\n    nodes = [...(nodes[0]?.childNodes ?? []), ...nodes.slice(1)];\n  const problem = shapeMismatch(shape, toShape(nodes ?? []));\n  return problem === undefined\n    ? undefined\n    : repairError(template, 'The HTML parser (parse5)', problem);\n}\n"]}

package/dist/compiler/prop-schemas.d.ts

@@ -0,0 +1,4 @@
+import { type Node } from './ast.js';
+import type { Edit } from './source.js';
+/** Edits that replace the droppable first argument of each `prop.value(…)` call with `void 0`. */
+export declare function stripPropSchemas(program: Node, code: string): Edit[];

package/dist/compiler/prop-schemas.js

@@ -0,0 +1,108 @@
+// Property-only prop schemas out of production client builds (gyral-c5d.14, view/05-element.md
+// "When props are validated"): `prop.value(check, opts)` declares a prop with no attribute, and
+// production never checks property sets (or seeds), so its schema or type guard can't run
+// there. Replacing a check that is a plain reference (`prop.value(Settings)`, `schemas.settings`) or an
+// inline function (`prop.value((u): u is Settings => …)`) with `void 0` lets the bundler drop it and
+// whatever only it used, e.g. a schema module (when the bundler can: Rolldown in Vite 8.3 keeps
+// side-effect-free schema builders in a lazy chunk once their library is in a chunk shared with
+// the entry; view/05 "When props are validated"). Calls (`prop.value(v.array(Item))`) stay: their
+// evaluation could have effects, and this pass never changes what runs. `prop.json` keeps its
+// check (attributes are parsed through it in production). Development builds keep everything:
+// they validate property sets.
+import { children, nodeAt, nodesAt, scopeNames } from './ast.js';
+/** Where `prop` comes from: the documented import only (`import { prop } from '@gyral/core'`). */
+const CORE = '@gyral/core';
+/** TypeScript wrappers around a runtime expression (`x as T`, `x satisfies T`, `x!`). */
+const WRAPPERS = new Set(['TSAsExpression', 'TSSatisfiesExpression', 'TSNonNullExpression']);
+/** Expressions whose evaluation has no effect: dropping them changes nothing that runs. */
+function droppable(node) {
+    if (node === undefined)
+        return false;
+    if (WRAPPERS.has(node.type))
+        return droppable(nodeAt(node, 'expression'));
+    switch (node.type) {
+        case 'Identifier':
+        case 'ArrowFunctionExpression':
+        case 'FunctionExpression':
+            return true;
+        case 'MemberExpression': {
+            // `schemas.settings`: a chain of plain names (no computed keys, no calls, no optional links).
+            const object = nodeAt(node, 'object');
+            return (node['computed'] !== true &&
+                node['optional'] !== true &&
+                (object?.type === 'Identifier' ||
+                    (object?.type === 'MemberExpression' && droppable(object))));
+        }
+        default:
+            return false;
+    }
+}
+/** The names `prop` is imported as: `{ local }` or, for `import * as ns`, `{ ns }`. */
+function propImports(program) {
+    const locals = new Set();
+    const ns = new Set();
+    for (const statement of nodesAt(program, 'body')) {
+        if (statement.type !== 'ImportDeclaration' || statement['importKind'] === 'type')
+            continue;
+        if (nodeAt(statement, 'source')?.['value'] !== CORE)
+            continue;
+        for (const s of nodesAt(statement, 'specifiers')) {
+            const local = nodeAt(s, 'local')?.['name'];
+            if (typeof local !== 'string' || s['importKind'] === 'type')
+                continue;
+            if (s.type === 'ImportNamespaceSpecifier')
+                ns.add(local);
+            const imported = nodeAt(s, 'imported');
+            if (s.type === 'ImportSpecifier' && (imported?.['name'] ?? imported?.['value']) === 'prop') {
+                locals.add(local);
+            }
+        }
+    }
+    return { locals, ns };
+}
+/** Edits that replace the droppable first argument of each `prop.value(…)` call with `void 0`. */
+export function stripPropSchemas(program, code) {
+    const { locals, ns } = propImports(program);
+    if (locals.size === 0 && ns.size === 0)
+        return [];
+    const edits = [];
+    const scopes = [];
+    const visible = (name, names) => typeof name === 'string' && names.has(name) && !scopes.some((s) => s.has(name));
+    /** `prop.value` (or `ns.prop.value`) with `prop`/`ns` the imported binding. */
+    const isPropValue = (callee) => {
+        if (callee?.type !== 'MemberExpression' || callee['computed'] === true)
+            return false;
+        if (nodeAt(callee, 'property')?.['name'] !== 'value')
+            return false;
+        const object = nodeAt(callee, 'object');
+        if (object?.type === 'Identifier')
+            return visible(object['name'], locals);
+        if (object?.type !== 'MemberExpression' || object['computed'] === true)
+            return false;
+        const base = nodeAt(object, 'object');
+        return (nodeAt(object, 'property')?.['name'] === 'prop' &&
+            base?.type === 'Identifier' &&
+            visible(base['name'], ns));
+    };
+    const walk = (node) => {
+        const declared = scopeNames(node)?.filter((name) => locals.has(name) || ns.has(name));
+        if (declared !== undefined && declared.length > 0)
+            scopes.push(new Set(declared));
+        if (node.type === 'CallExpression' && isPropValue(nodeAt(node, 'callee'))) {
+            const [check] = nodesAt(node, 'arguments');
+            if (check !== undefined && droppable(check)) {
+                // Keep the line count, so every following line keeps its number.
+                const lines = code.slice(check.start, check.end).split('\n').length - 1;
+                edits.push({ start: check.start, end: check.end, text: `void 0${'\n'.repeat(lines)}` });
+            }
+        }
+        for (const child of children(node))
+            walk(child);
+        if (declared !== undefined && declared.length > 0)
+            scopes.pop();
+    };
+    for (const statement of nodesAt(program, 'body'))
+        walk(statement);
+    return edits;
+}
+//# sourceMappingURL=prop-schemas.js.map

package/dist/compiler/prop-schemas.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prop-schemas.js","sourceRoot":"","sources":["../../src/compiler/prop-schemas.ts"],"names":[],"mappings":"AAAA,+FAA+F;AAC/F,gGAAgG;AAChG,0FAA0F;AAC1F,wGAAwG;AACxG,qGAAqG;AACrG,gGAAgG;AAChG,gGAAgG;AAChG,kGAAkG;AAClG,8FAA8F;AAC9F,8FAA8F;AAC9F,+BAA+B;AAC/B,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAa,MAAM,UAAU,CAAC;AAG5E,kGAAkG;AAClG,MAAM,IAAI,GAAG,aAAa,CAAC;AAE3B,yFAAyF;AACzF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,gBAAgB,EAAE,uBAAuB,EAAE,qBAAqB,CAAC,CAAC,CAAC;AAE7F,2FAA2F;AAC3F,SAAS,SAAS,CAAC,IAAsB;IACvC,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACrC,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC;IAC1E,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,YAAY,CAAC;QAClB,KAAK,yBAAyB,CAAC;QAC/B,KAAK,oBAAoB;YACvB,OAAO,IAAI,CAAC;QACd,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,8FAA8F;YAC9F,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACtC,OAAO,CACL,IAAI,CAAC,UAAU,CAAC,KAAK,IAAI;gBACzB,IAAI,CAAC,UAAU,CAAC,KAAK,IAAI;gBACzB,CAAC,MAAM,EAAE,IAAI,KAAK,YAAY;oBAC5B,CAAC,MAAM,EAAE,IAAI,KAAK,kBAAkB,IAAI,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAC9D,CAAC;QACJ,CAAC;QACD;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED,uFAAuF;AACvF,SAAS,WAAW,CAAC,OAAa;IAChC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,MAAM,EAAE,GAAG,IAAI,GAAG,EAAU,CAAC;IAC7B,KAAK,MAAM,SAAS,IAAI,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,CAAC;QACjD,IAAI,SAAS,CAAC,IAAI,KAAK,mBAAmB,IAAI,SAAS,CAAC,YAAY,CAAC,KAAK,MAAM;YAAE,SAAS;QAC3F,IAAI,MAAM,CAAC,SAAS,EAAE,QAAQ,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,IAAI;YAAE,SAAS;QAC9D,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,SAAS,EAAE,YAAY,CAAC,EAAE,CAAC;YACjD,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;YAC3C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,CAAC,YAAY,CAAC,KAAK,MAAM;gBAAE,SAAS;YACtE,IAAI,CAAC,CAAC,IAAI,KAAK,0BAA0B;gBAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACzD,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;YACvC,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB,IAAI,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC,OAAO,CAAC,CAAC,KAAK,MAAM,EAAE,CAAC;gBAC3F,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACpB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;AACxB,CAAC;AAED,kGAAkG;AAClG,MAAM,UAAU,gBAAgB,CAAC,OAAa,EAAE,IAAY;IAC1D,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;IAC5C,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAClD,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,MAAM,OAAO,GAAG,CAAC,IAAa,EAAE,KAAkB,EAAW,EAAE,CAC7D,OAAO,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IAElF,+EAA+E;IAC/E,MAAM,WAAW,GAAG,CAAC,MAAwB,EAAW,EAAE;QACxD,IAAI,MAAM,EAAE,IAAI,KAAK,kBAAkB,IAAI,MAAM,CAAC,UAAU,CAAC,KAAK,IAAI;YAAE,OAAO,KAAK,CAAC;QACrF,IAAI,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,OAAO;YAAE,OAAO,KAAK,CAAC;QACnE,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACxC,IAAI,MAAM,EAAE,IAAI,KAAK,YAAY;YAAE,OAAO,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC;QAC1E,IAAI,MAAM,EAAE,IAAI,KAAK,kBAAkB,IAAI,MAAM,CAAC,UAAU,CAAC,KAAK,IAAI;YAAE,OAAO,KAAK,CAAC;QACrF,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACtC,OAAO,CACL,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,MAAM;YAC/C,IAAI,EAAE,IAAI,KAAK,YAAY;YAC3B,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAC1B,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,IAAI,GAAG,CAAC,IAAU,EAAQ,EAAE;QAChC,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QACtF,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;QAClF,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,IAAI,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC;YAC1E,MAAM,CAAC,KAAK,CAAC,GAAG,OAAO,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;YAC3C,IAAI,KAAK,KAAK,SAAS,IAAI,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC5C,iEAAiE;gBACjE,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;gBACxE,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,IAAI,EAAE,SAAS,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;YAC1F,CAAC;QACH,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,IAAI,CAAC;YAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QAChD,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,CAAC,GAAG,EAAE,CAAC;IAClE,CAAC,CAAC;IACF,KAAK,MAAM,SAAS,IAAI,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC;QAAE,IAAI,CAAC,SAAS,CAAC,CAAC;IAClE,OAAO,KAAK,CAAC;AACf,CAAC","sourcesContent":["// Property-only prop schemas out of production client builds (gyral-c5d.14, view/05-element.md\n// \"When props are validated\"): `prop.value(check, opts)` declares a prop with no attribute, and\n// production never checks property sets (or seeds), so its schema or type guard can't run\n// there. Replacing a check that is a plain reference (`prop.value(Settings)`, `schemas.settings`) or an\n// inline function (`prop.value((u): u is Settings => …)`) with `void 0` lets the bundler drop it and\n// whatever only it used, e.g. a schema module (when the bundler can: Rolldown in Vite 8.3 keeps\n// side-effect-free schema builders in a lazy chunk once their library is in a chunk shared with\n// the entry; view/05 \"When props are validated\"). Calls (`prop.value(v.array(Item))`) stay: their\n// evaluation could have effects, and this pass never changes what runs. `prop.json` keeps its\n// check (attributes are parsed through it in production). Development builds keep everything:\n// they validate property sets.\nimport { children, nodeAt, nodesAt, scopeNames, type Node } from './ast.js';\nimport type { Edit } from './source.js';\n\n/** Where `prop` comes from: the documented import only (`import { prop } from '@gyral/core'`). */\nconst CORE = '@gyral/core';\n\n/** TypeScript wrappers around a runtime expression (`x as T`, `x satisfies T`, `x!`). */\nconst WRAPPERS = new Set(['TSAsExpression', 'TSSatisfiesExpression', 'TSNonNullExpression']);\n\n/** Expressions whose evaluation has no effect: dropping them changes nothing that runs. */\nfunction droppable(node: Node | undefined): boolean {\n  if (node === undefined) return false;\n  if (WRAPPERS.has(node.type)) return droppable(nodeAt(node, 'expression'));\n  switch (node.type) {\n    case 'Identifier':\n    case 'ArrowFunctionExpression':\n    case 'FunctionExpression':\n      return true;\n    case 'MemberExpression': {\n      // `schemas.settings`: a chain of plain names (no computed keys, no calls, no optional links).\n      const object = nodeAt(node, 'object');\n      return (\n        node['computed'] !== true &&\n        node['optional'] !== true &&\n        (object?.type === 'Identifier' ||\n          (object?.type === 'MemberExpression' && droppable(object)))\n      );\n    }\n    default:\n      return false;\n  }\n}\n\n/** The names `prop` is imported as: `{ local }` or, for `import * as ns`, `{ ns }`. */\nfunction propImports(program: Node): { readonly locals: Set<string>; readonly ns: Set<string> } {\n  const locals = new Set<string>();\n  const ns = new Set<string>();\n  for (const statement of nodesAt(program, 'body')) {\n    if (statement.type !== 'ImportDeclaration' || statement['importKind'] === 'type') continue;\n    if (nodeAt(statement, 'source')?.['value'] !== CORE) continue;\n    for (const s of nodesAt(statement, 'specifiers')) {\n      const local = nodeAt(s, 'local')?.['name'];\n      if (typeof local !== 'string' || s['importKind'] === 'type') continue;\n      if (s.type === 'ImportNamespaceSpecifier') ns.add(local);\n      const imported = nodeAt(s, 'imported');\n      if (s.type === 'ImportSpecifier' && (imported?.['name'] ?? imported?.['value']) === 'prop') {\n        locals.add(local);\n      }\n    }\n  }\n  return { locals, ns };\n}\n\n/** Edits that replace the droppable first argument of each `prop.value(…)` call with `void 0`. */\nexport function stripPropSchemas(program: Node, code: string): Edit[] {\n  const { locals, ns } = propImports(program);\n  if (locals.size === 0 && ns.size === 0) return [];\n  const edits: Edit[] = [];\n  const scopes: Set<string>[] = [];\n  const visible = (name: unknown, names: Set<string>): boolean =>\n    typeof name === 'string' && names.has(name) && !scopes.some((s) => s.has(name));\n\n  /** `prop.value` (or `ns.prop.value`) with `prop`/`ns` the imported binding. */\n  const isPropValue = (callee: Node | undefined): boolean => {\n    if (callee?.type !== 'MemberExpression' || callee['computed'] === true) return false;\n    if (nodeAt(callee, 'property')?.['name'] !== 'value') return false;\n    const object = nodeAt(callee, 'object');\n    if (object?.type === 'Identifier') return visible(object['name'], locals);\n    if (object?.type !== 'MemberExpression' || object['computed'] === true) return false;\n    const base = nodeAt(object, 'object');\n    return (\n      nodeAt(object, 'property')?.['name'] === 'prop' &&\n      base?.type === 'Identifier' &&\n      visible(base['name'], ns)\n    );\n  };\n\n  const walk = (node: Node): void => {\n    const declared = scopeNames(node)?.filter((name) => locals.has(name) || ns.has(name));\n    if (declared !== undefined && declared.length > 0) scopes.push(new Set(declared));\n    if (node.type === 'CallExpression' && isPropValue(nodeAt(node, 'callee'))) {\n      const [check] = nodesAt(node, 'arguments');\n      if (check !== undefined && droppable(check)) {\n        // Keep the line count, so every following line keeps its number.\n        const lines = code.slice(check.start, check.end).split('\\n').length - 1;\n        edits.push({ start: check.start, end: check.end, text: `void 0${'\\n'.repeat(lines)}` });\n      }\n    }\n    for (const child of children(node)) walk(child);\n    if (declared !== undefined && declared.length > 0) scopes.pop();\n  };\n  for (const statement of nodesAt(program, 'body')) walk(statement);\n  return edits;\n}\n"]}

package/dist/compiler/scan.d.ts

@@ -0,0 +1,41 @@
+import { type Node } from './ast.js';
+/** The template tags the compiler rewrites. */
+export type Tag = 'html' | 'svg';
+/**
+ * `import { html as local } from 'specifier'` (`tag` says which tag, html or svg), or
+ * `import * as local from 'specifier'` (no `tag`: `ns.html` and `ns.svg` both are).
+ */
+export interface HtmlImport {
+    readonly local: string;
+    readonly namespace: boolean;
+    readonly specifier: string;
+    readonly tag?: Tag;
+}
+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, and which tag it is. */
+    readonly sites: readonly {
+        readonly node: Node;
+        readonly binding: HtmlImport;
+        readonly tag: Tag;
+    }[];
+    /** Other references; `exported`: an `export { html }` specifier. */
+    readonly leftovers: readonly {
+        readonly node: Node;
+        readonly exported: boolean;
+    }[];
+}
+/**
+ * Imports of `html` and `svg` (named) and namespace imports, plus `export { html } from`
+ * re-exports (of either tag).
+ */
+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,160 @@
+// Finds a module's `html` and `svg` 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, and so is svg`…`;
+//   - 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. Everything said of `html` holds for `svg`.
+import { children, nodeAt, nodesAt, scopeNames } from './ast.js';
+const TAGS = ['html', 'svg'];
+const tagOf = (name) => name !== undefined && TAGS.includes(name) ? name : undefined;
+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` and `svg` (named) and namespace imports, plus `export { html } from`
+ * re-exports (of either tag).
+ */
+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') {
+                    const tag = tagOf(nameOf(nodeAt(s, 'imported')));
+                    if (tag !== undefined)
+                        imports.push({ local, namespace: false, specifier, tag });
+                }
+            }
+        }
+        else if (statement.type === 'ExportNamedDeclaration') {
+            const html = nodesAt(statement, 'specifiers').find((s) => isValue(s) && tagOf(nameOf(nodeAt(s, 'local'))) !== undefined);
+            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, and which tag: `html` itself, or `ns.html` (or svg). */
+    const tagBinding = (tag) => {
+        if (tag?.type === 'Identifier') {
+            const b = binding(tag);
+            return b?.tag === undefined ? undefined : { binding: b, tag: b.tag };
+        }
+        if (tag?.type !== 'MemberExpression' || tag['computed'] === true)
+            return undefined;
+        const b = binding(nodeAt(tag, 'object'));
+        const name = tagOf(nameOf(nodeAt(tag, 'property')));
+        return b?.namespace === true && name !== undefined ? { binding: b, tag: name } : 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, ...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 (or ns.svg) outside a tag, or ns[expr], can't be followed.
+                    if (!b.namespace || computed || tagOf(nameOf(nodeAt(node, 'property'))) !== undefined) {
+                        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,+FAA+F;AAC/F,6FAA6F;AAC7F,2FAA2F;AAC3F,0FAA0F;AAC1F,qFAAqF;AACrF,6FAA6F;AAC7F,+FAA+F;AAC/F,0FAA0F;AAC1F,2FAA2F;AAC3F,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAa,MAAM,UAAU,CAAC;AAI5E,MAAM,IAAI,GAAsB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;AAChD,MAAM,KAAK,GAAG,CAAC,IAAwB,EAAmB,EAAE,CAC1D,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAE,IAAY,CAAC,CAAC,CAAC,SAAS,CAAC;AA8BxE,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;;;GAGG;AACH,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,EAAE,CAAC;oBACxC,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;oBACjD,IAAI,GAAG,KAAK,SAAS;wBAAE,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC;gBACnF,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,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,SAAS,CACrE,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,GAAoD,EAAE,CAAC;IAClE,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,wFAAwF;IACxF,MAAM,UAAU,GAAG,CAAC,GAAqB,EAAiD,EAAE;QAC1F,IAAI,GAAG,EAAE,IAAI,KAAK,YAAY,EAAE,CAAC;YAC/B,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;YACvB,OAAO,CAAC,EAAE,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC;QACvE,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,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;QACpD,OAAO,CAAC,EAAE,SAAS,KAAK,IAAI,IAAI,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,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,GAAG,CAAC,EAAE,CAAC,CAAC;gBAC3B,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,uFAAuF;oBACvF,IAAI,CAAC,CAAC,CAAC,SAAS,IAAI,QAAQ,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;wBACtF,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` and `svg` 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, and so is svg`…`;\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. Everything said of `html` holds for `svg`.\nimport { children, nodeAt, nodesAt, scopeNames, type Node } from './ast.js';\n\n/** The template tags the compiler rewrites. */\nexport type Tag = 'html' | 'svg';\nconst TAGS: readonly string[] = ['html', 'svg'];\nconst tagOf = (name: string | undefined): Tag | undefined =>\n  name !== undefined && TAGS.includes(name) ? (name as Tag) : undefined;\n\n/**\n * `import { html as local } from 'specifier'` (`tag` says which tag, html or svg), or\n * `import * as local from 'specifier'` (no `tag`: `ns.html` and `ns.svg` both are).\n */\nexport interface HtmlImport {\n  readonly local: string;\n  readonly namespace: boolean;\n  readonly specifier: string;\n  readonly tag?: Tag;\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, and which tag it is. */\n  readonly sites: readonly {\n    readonly node: Node;\n    readonly binding: HtmlImport;\n    readonly tag: Tag;\n  }[];\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/**\n * Imports of `html` and `svg` (named) and namespace imports, plus `export { html } from`\n * re-exports (of either tag).\n */\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') {\n          const tag = tagOf(nameOf(nodeAt(s, 'imported')));\n          if (tag !== undefined) imports.push({ local, namespace: false, specifier, tag });\n        }\n      }\n    } else if (statement.type === 'ExportNamedDeclaration') {\n      const html = nodesAt(statement, 'specifiers').find(\n        (s) => isValue(s) && tagOf(nameOf(nodeAt(s, 'local'))) !== undefined,\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; tag: Tag }[] = [];\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, and which tag: `html` itself, or `ns.html` (or svg). */\n  const tagBinding = (tag: Node | undefined): { binding: HtmlImport; tag: Tag } | undefined => {\n    if (tag?.type === 'Identifier') {\n      const b = binding(tag);\n      return b?.tag === undefined ? undefined : { binding: b, tag: b.tag };\n    }\n    if (tag?.type !== 'MemberExpression' || tag['computed'] === true) return undefined;\n    const b = binding(nodeAt(tag, 'object'));\n    const name = tagOf(nameOf(nodeAt(tag, 'property')));\n    return b?.namespace === true && name !== undefined ? { binding: b, tag: name } : 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, ...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 (or ns.svg) outside a tag, or ns[expr], can't be followed.\n          if (!b.namespace || computed || tagOf(nameOf(nodeAt(node, 'property'))) !== undefined) {\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/scope.d.ts

@@ -0,0 +1,8 @@
+export interface Scope {
+    /** Whether module `id` can affect Gyral components, so the scan must read it. */
+    inScope(id: string): boolean;
+    /** The name of the package module `id` belongs to (`@gyral/core` is where `raw` comes from). */
+    packageOf(id: string): string | undefined;
+}
+/** A scope for one build: manifests and answers are cached per package directory. */
+export declare function createScope(): Scope;