@gyral/core 0.2.0 → 0.3.1

package/dist/compiler/component-entries.js

@@ -0,0 +1,42 @@
+/**
+ * Modules statically retained by the app's inputs (transitively). A component among them is
+ * defined at startup by the app's own entry; giving it to the loader as well would make the
+ * bundler split it out of the entry into a chunk of its own.
+ */
+export async function staticallyReachable(ctx, inputs) {
+    const seen = new Set();
+    const reachable = new Set();
+    const entries = new Set();
+    const queue = [];
+    for (const input of inputs) {
+        const resolved = await ctx.resolve(input, undefined, { isEntry: true });
+        if (resolved !== null && !resolved.external) {
+            entries.add(resolved.id);
+            queue.push(resolved);
+        }
+    }
+    while (queue.length > 0) {
+        const resolved = queue.pop();
+        if (resolved === undefined)
+            break;
+        const { id } = resolved;
+        if (seen.has(id) || id === '\0virtual:gyral/components')
+            continue;
+        seen.add(id);
+        const info = await ctx.load({ ...resolved, resolveDependencies: true });
+        // A side-effect-only import can be dropped by tree shaking. Keep such components in
+        // the loader rather than assuming the entry registered them (including through barrels).
+        if ((info.moduleSideEffects ?? resolved.moduleSideEffects) === false && !entries.has(id))
+            continue;
+        reachable.add(id);
+        for (const next of info.importedIds) {
+            if (seen.has(next))
+                continue;
+            const dependency = await ctx.resolve(next, id);
+            if (dependency !== null && !dependency.external)
+                queue.push(dependency);
+        }
+    }
+    return reachable;
+}
+//# sourceMappingURL=component-entries.js.map

package/dist/compiler/component-entries.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"component-entries.js","sourceRoot":"","sources":["../../src/compiler/component-entries.ts"],"names":[],"mappings":"AAIA;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,GAAyB,EACzB,MAAyB;IAEzB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,KAAK,GAAwB,EAAE,CAAC;IACtC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAG,MAAM,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,SAAS,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;QACxE,IAAI,QAAQ,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC;YAC5C,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACvB,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;QAC7B,IAAI,QAAQ,KAAK,SAAS;YAAE,MAAM;QAClC,MAAM,EAAE,EAAE,EAAE,GAAG,QAAQ,CAAC;QACxB,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,4BAA4B;YAAE,SAAS;QAClE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACb,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,QAAQ,EAAE,mBAAmB,EAAE,IAAI,EAAE,CAAC,CAAC;QACxE,oFAAoF;QACpF,yFAAyF;QACzF,IAAI,CAAC,IAAI,CAAC,iBAAiB,IAAI,QAAQ,CAAC,iBAAiB,CAAC,KAAK,KAAK,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YACtF,SAAS;QACX,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAClB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YACpC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC7B,MAAM,UAAU,GAAG,MAAM,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAC/C,IAAI,UAAU,KAAK,IAAI,IAAI,CAAC,UAAU,CAAC,QAAQ;gBAAE,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC","sourcesContent":["// Preserve components statically retained by the app entry instead of forcing another\n// dynamic-import entry for them (ADR 0016, gyral-1zd.31).\nimport type { Rollup } from 'vite';\n\n/**\n * Modules statically retained by the app's inputs (transitively). A component among them is\n * defined at startup by the app's own entry; giving it to the loader as well would make the\n * bundler split it out of the entry into a chunk of its own.\n */\nexport async function staticallyReachable(\n  ctx: Rollup.PluginContext,\n  inputs: readonly string[],\n): Promise<Set<string>> {\n  const seen = new Set<string>();\n  const reachable = new Set<string>();\n  const entries = new Set<string>();\n  const queue: Rollup.ResolvedId[] = [];\n  for (const input of inputs) {\n    const resolved = await ctx.resolve(input, undefined, { isEntry: true });\n    if (resolved !== null && !resolved.external) {\n      entries.add(resolved.id);\n      queue.push(resolved);\n    }\n  }\n  while (queue.length > 0) {\n    const resolved = queue.pop();\n    if (resolved === undefined) break;\n    const { id } = resolved;\n    if (seen.has(id) || id === '\\0virtual:gyral/components') continue;\n    seen.add(id);\n    const info = await ctx.load({ ...resolved, resolveDependencies: true });\n    // A side-effect-only import can be dropped by tree shaking. Keep such components in\n    // the loader rather than assuming the entry registered them (including through barrels).\n    if ((info.moduleSideEffects ?? resolved.moduleSideEffects) === false && !entries.has(id))\n      continue;\n    reachable.add(id);\n    for (const next of info.importedIds) {\n      if (seen.has(next)) continue;\n      const dependency = await ctx.resolve(next, id);\n      if (dependency !== null && !dependency.external) queue.push(dependency);\n    }\n  }\n  return reachable;\n}\n"]}

package/dist/compiler/components.d.ts

@@ -0,0 +1,4 @@
+import type { Plugin } from 'vite';
+import type { ComponentsOptions } from '../vite.js';
+/** Automatic component loading (`gyralVitePreset({ components })`). */
+export declare function createComponents(options: ComponentsOptions): Plugin;

package/dist/compiler/components.js

@@ -0,0 +1,182 @@
+// Automatic component loading (`gyralVitePreset({ components })`, ADR 0016 addendum "Automatic
+// component loading"): finds the app's components, adds a loader to the client build that
+// imports a tag's module once the tag is in the page, and writes the manifest
+// `@gyral/ssr/static`'s `componentsFromManifest` reads. ../vite.ts loads it on the plugin's
+// first hook, as it loads the compiler.
+import { relative, resolve, sep } from 'node:path';
+import { staticallyReachable } from './component-entries.js';
+import { loaderSource } from './loader-source.js';
+import { discoverComponents } from './tag-map.js';
+/** The loader module's id, and Vite's id for it (a virtual module). */
+const COMPONENTS_ID = 'virtual:gyral/components';
+const COMPONENTS_RESOLVED = `\0${COMPONENTS_ID}`;
+/** The file the build writes next to `.vite/manifest.json` (read by `@gyral/ssr/static`). */
+const COMPONENTS_MANIFEST = '.vite/gyral-components.json';
+const SOURCE_FILE = /\.[cm]?[jt]sx?$/;
+/**
+ * Tag → root-relative URL (`/src/…`) of the module defining it: ./tag-map.ts's scan, then the
+ * `modules` the app lists for components the scan can't see (defined through a wrapper).
+ */
+function scanComponents(root, include, listed = {}) {
+    const tags = new Map();
+    for (const [tag, path] of Object.entries(listed)) {
+        tags.set(tag, `/${relative(root, resolve(root, path)).split(sep).join('/')}`);
+    }
+    for (const { tag, file } of discoverComponents(root, include)) {
+        const url = `/${relative(root, file).split(sep).join('/')}`;
+        const known = tags.get(tag);
+        if (known === undefined)
+            tags.set(tag, url);
+        else if (known !== url && listed[tag] === undefined) {
+            console.warn(`gyral: <${tag}> is defined in ${known} and ${url}; loading ${known}`);
+        }
+    }
+    return tags;
+}
+/** The app's own inputs (everything but the loader), as module specifiers. */
+function inputsOf(input) {
+    if (input === undefined)
+        return [];
+    if (typeof input === 'string')
+        return [input];
+    if (Array.isArray(input))
+        return [...input];
+    return Object.values(input);
+}
+/** The client build's input with the loader added. */
+function withLoader(input) {
+    if (input === undefined)
+        return { components: COMPONENTS_ID };
+    if (typeof input === 'string') {
+        const name = input.replace(/^.*\//, '').replace(/\.[^.]*$/, '');
+        return withLoader({ [name]: input });
+    }
+    if (Array.isArray(input))
+        return [...input, COMPONENTS_ID];
+    const entries = input;
+    let name = 'components';
+    while (name in entries)
+        name += '-loader';
+    return { ...entries, [name]: COMPONENTS_ID };
+}
+/** Automatic component loading (`gyralVitePreset({ components })`). */
+export function createComponents(options) {
+    const include = options.include ?? ['src'];
+    let root = process.cwd();
+    let tags = new Map();
+    /** The app's own build inputs, recorded before the loader is added. */
+    let appInputs = [];
+    /** Tags the app's entry defines itself (statically imported): not loaded by the loader. */
+    let entryTags = [];
+    let loaderFile = '';
+    const scan = () => (tags = scanComponents(root, include, options.modules));
+    const api = { tags: scan };
+    return {
+        name: 'gyral:components',
+        api,
+        config(config, env) {
+            root = resolve(config.root ?? process.cwd());
+            if (env.command !== 'build' || env.isSsrBuild === true)
+                return;
+            const build = (config.build ??= {});
+            const key = build.rolldownOptions !== undefined ? 'rolldownOptions' : 'rollupOptions';
+            const bundler = (build[key] ??= {});
+            const input = bundler.input ?? config.input;
+            appInputs = inputsOf(input);
+            bundler.input = withLoader(input);
+            build.manifest ??= true;
+        },
+        configResolved(config) {
+            root = config.root;
+            if (config.command !== 'build' || config.build.ssr !== false)
+                return;
+            const preload = config.build.modulePreload;
+            if (preload === false)
+                return;
+            const previous = preload.resolveDependencies;
+            preload.resolveDependencies = (file, deps, context) => context.hostType === 'js' && context.hostId === loaderFile
+                ? []
+                : (previous?.(file, deps, context) ?? deps);
+        },
+        buildStart() {
+            scan();
+        },
+        resolveId(source) {
+            return source === COMPONENTS_ID ? COMPONENTS_RESOLVED : null;
+        },
+        async load(id) {
+            if (id !== COMPONENTS_RESOLVED)
+                return null;
+            if (this.environment.config.command === 'serve') {
+                scan();
+                return loaderSource(tags);
+            }
+            // A production build: components the app's entry imports are already defined at startup,
+            // and every other one becomes a dynamic import. The dependency filter removes repeated
+            // JS preload lists (renderPage already preloads them); Vite still loads their CSS.
+            const inEntry = await staticallyReachable(this, appInputs);
+            entryTags = [];
+            const lazy = new Map();
+            for (const [tag, url] of tags) {
+                const file = resolve(root, url.slice(1));
+                if (inEntry.has(file)) {
+                    entryTags.push(tag);
+                    continue;
+                }
+                lazy.set(tag, url);
+            }
+            return loaderSource(lazy, { known: entryTags });
+        },
+        configureServer(server) {
+            // A new or edited component module changes the loader's table.
+            const refresh = (file) => {
+                if (!SOURCE_FILE.test(file))
+                    return;
+                const module = server.environments.client.moduleGraph.getModuleById(COMPONENTS_RESOLVED);
+                if (module !== undefined)
+                    server.environments.client.moduleGraph.invalidateModule(module);
+            };
+            server.watcher.on('add', refresh);
+            server.watcher.on('unlink', refresh);
+            server.watcher.on('change', refresh);
+        },
+        generateBundle(_output, bundle) {
+            if (this.environment.config.consumer !== 'client')
+                return;
+            const loader = Object.values(bundle).find((chunk) => chunk.type === 'chunk' && chunk.facadeModuleId === COMPONENTS_RESOLVED);
+            if (loader?.type !== 'chunk')
+                return;
+            loaderFile = loader.fileName;
+            const modules = Object.fromEntries([...tags].map(([tag, url]) => [tag, url.slice(1)]));
+            // Each tag's chunk by file. A module another chunk imports statically is bundled into
+            // that chunk (often the entry), so Vite's manifest has no key for it; the server finds
+            // the chunk by file instead (`componentAssets`).
+            const chunkOf = new Map();
+            for (const chunk of Object.values(bundle)) {
+                if (chunk.type !== 'chunk')
+                    continue;
+                for (const id of chunk.moduleIds)
+                    chunkOf.set(id, chunk.fileName);
+            }
+            const chunks = {};
+            for (const [tag, url] of tags) {
+                const file = chunkOf.get(resolve(root, url.slice(1)));
+                if (file !== undefined)
+                    chunks[tag] = file;
+            }
+            const written = {
+                loader: loader.fileName,
+                loaderImports: loader.imports,
+                modules,
+                chunks,
+                entryTags,
+            };
+            this.emitFile({
+                type: 'asset',
+                fileName: COMPONENTS_MANIFEST,
+                source: `${JSON.stringify(written, null, 2)}\n`,
+            });
+        },
+    };
+}
+//# sourceMappingURL=components.js.map

package/dist/compiler/components.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"components.js","sourceRoot":"","sources":["../../src/compiler/components.ts"],"names":[],"mappings":"AAAA,+FAA+F;AAC/F,0FAA0F;AAC1F,8EAA8E;AAC9E,4FAA4F;AAC5F,wCAAwC;AACxC,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAEnD,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAE7D,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAElD,uEAAuE;AACvE,MAAM,aAAa,GAAG,0BAA0B,CAAC;AACjD,MAAM,mBAAmB,GAAG,KAAK,aAAa,EAAE,CAAC;AACjD,6FAA6F;AAC7F,MAAM,mBAAmB,GAAG,6BAA6B,CAAC;AAE1D,MAAM,WAAW,GAAG,iBAAiB,CAAC;AAEtC;;;GAGG;AACH,SAAS,cAAc,CACrB,IAAY,EACZ,OAA0B,EAC1B,SAA2C,EAAE;IAE7C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACjD,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChF,CAAC;IACD,KAAK,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;QAC9D,MAAM,GAAG,GAAG,IAAI,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5D,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,KAAK,KAAK,SAAS;YAAE,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;aACvC,IAAI,KAAK,KAAK,GAAG,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,SAAS,EAAE,CAAC;YACpD,OAAO,CAAC,IAAI,CAAC,WAAW,GAAG,mBAAmB,KAAK,QAAQ,GAAG,aAAa,KAAK,EAAE,CAAC,CAAC;QACtF,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAID,8EAA8E;AAC9E,SAAS,QAAQ,CAAC,KAAY;IAC5B,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACnC,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAC9C,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,CAAC,GAAI,KAA2B,CAAC,CAAC;IACnE,OAAO,MAAM,CAAC,MAAM,CAAC,KAAyC,CAAC,CAAC;AAClE,CAAC;AAED,sDAAsD;AACtD,SAAS,UAAU,CAAC,KAAY;IAC9B,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,CAAC;IAC9D,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;QAChE,OAAO,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IACvC,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,CAAC,GAAI,KAA2B,EAAE,aAAa,CAAC,CAAC;IAClF,MAAM,OAAO,GAAG,KAAyC,CAAC;IAC1D,IAAI,IAAI,GAAG,YAAY,CAAC;IACxB,OAAO,IAAI,IAAI,OAAO;QAAE,IAAI,IAAI,SAAS,CAAC;IAC1C,OAAO,EAAE,GAAG,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE,aAAa,EAAE,CAAC;AAC/C,CAAC;AAOD,uEAAuE;AACvE,MAAM,UAAU,gBAAgB,CAAC,OAA0B;IACzD,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3C,IAAI,IAAI,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;IACzB,IAAI,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACrC,uEAAuE;IACvE,IAAI,SAAS,GAAa,EAAE,CAAC;IAC7B,2FAA2F;IAC3F,IAAI,SAAS,GAAa,EAAE,CAAC;IAC7B,IAAI,UAAU,GAAG,EAAE,CAAC;IACpB,MAAM,IAAI,GAAG,GAAwB,EAAE,CAAC,CAAC,IAAI,GAAG,cAAc,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;IAChG,MAAM,GAAG,GAAwB,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IAChD,OAAO;QACL,IAAI,EAAE,kBAAkB;QACxB,GAAG;QACH,MAAM,CAAC,MAAM,EAAE,GAAG;YAChB,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;YAC7C,IAAI,GAAG,CAAC,OAAO,KAAK,OAAO,IAAI,GAAG,CAAC,UAAU,KAAK,IAAI;gBAAE,OAAO;YAM/D,MAAM,KAAK,GAAG,CAAE,MAA4B,CAAC,KAAK,KAAK,EAAE,CAAC,CAAC;YAC3D,MAAM,GAAG,GAAG,KAAK,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,eAAe,CAAC;YACtF,MAAM,OAAO,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC;YACpC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC;YAC5C,SAAS,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;YAC5B,OAAO,CAAC,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;YAClC,KAAK,CAAC,QAAQ,KAAK,IAAI,CAAC;QAC1B,CAAC;QACD,cAAc,CAAC,MAAM;YACnB,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;YACnB,IAAI,MAAM,CAAC,OAAO,KAAK,OAAO,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,KAAK,KAAK;gBAAE,OAAO;YACrE,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC;YAC3C,IAAI,OAAO,KAAK,KAAK;gBAAE,OAAO;YAC9B,MAAM,QAAQ,GAAG,OAAO,CAAC,mBAAmB,CAAC;YAC7C,OAAO,CAAC,mBAAmB,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,CACpD,OAAO,CAAC,QAAQ,KAAK,IAAI,IAAI,OAAO,CAAC,MAAM,KAAK,UAAU;gBACxD,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,CAAC,CAAC;QAClD,CAAC;QACD,UAAU;YACR,IAAI,EAAE,CAAC;QACT,CAAC;QACD,SAAS,CAAC,MAAM;YACd,OAAO,MAAM,KAAK,aAAa,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC;QAC/D,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE;YACX,IAAI,EAAE,KAAK,mBAAmB;gBAAE,OAAO,IAAI,CAAC;YAC5C,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,KAAK,OAAO,EAAE,CAAC;gBAChD,IAAI,EAAE,CAAC;gBACP,OAAO,YAAY,CAAC,IAAI,CAAC,CAAC;YAC5B,CAAC;YACD,yFAAyF;YACzF,uFAAuF;YACvF,mFAAmF;YACnF,MAAM,OAAO,GAAG,MAAM,mBAAmB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YAC3D,SAAS,GAAG,EAAE,CAAC;YACf,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;YACvC,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC;gBAC9B,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;gBACzC,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBACtB,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;oBACpB,SAAS;gBACX,CAAC;gBACD,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACrB,CAAC;YACD,OAAO,YAAY,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;QAClD,CAAC;QACD,eAAe,CAAC,MAAM;YACpB,+DAA+D;YAC/D,MAAM,OAAO,GAAG,CAAC,IAAY,EAAQ,EAAE;gBACrC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,OAAO;gBACpC,MAAM,MAAM,GAAG,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,WAAW,CAAC,aAAa,CAAC,mBAAmB,CAAC,CAAC;gBACzF,IAAI,MAAM,KAAK,SAAS;oBAAE,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,WAAW,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;YAC5F,CAAC,CAAC;YACF,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;YAClC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YACrC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACvC,CAAC;QACD,cAAc,CAAC,OAAO,EAAE,MAAM;YAC5B,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,QAAQ,KAAK,QAAQ;gBAAE,OAAO;YAC1D,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CACvC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,cAAc,KAAK,mBAAmB,CAClF,CAAC;YACF,IAAI,MAAM,EAAE,IAAI,KAAK,OAAO;gBAAE,OAAO;YACrC,UAAU,GAAG,MAAM,CAAC,QAAQ,CAAC;YAC7B,MAAM,OAAO,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACvF,sFAAsF;YACtF,uFAAuF;YACvF,iDAAiD;YACjD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;YAC1C,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC1C,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;oBAAE,SAAS;gBACrC,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,SAAS;oBAAE,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;YACpE,CAAC;YACD,MAAM,MAAM,GAA2B,EAAE,CAAC;YAC1C,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC;gBAC9B,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACtD,IAAI,IAAI,KAAK,SAAS;oBAAE,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC;YAC7C,CAAC;YACD,MAAM,OAAO,GAAG;gBACd,MAAM,EAAE,MAAM,CAAC,QAAQ;gBACvB,aAAa,EAAE,MAAM,CAAC,OAAO;gBAC7B,OAAO;gBACP,MAAM;gBACN,SAAS;aACV,CAAC;YACF,IAAI,CAAC,QAAQ,CAAC;gBACZ,IAAI,EAAE,OAAO;gBACb,QAAQ,EAAE,mBAAmB;gBAC7B,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI;aAChD,CAAC,CAAC;QACL,CAAC;KACF,CAAC;AACJ,CAAC","sourcesContent":["// Automatic component loading (`gyralVitePreset({ components })`, ADR 0016 addendum \"Automatic\n// component loading\"): finds the app's components, adds a loader to the client build that\n// imports a tag's module once the tag is in the page, and writes the manifest\n// `@gyral/ssr/static`'s `componentsFromManifest` reads. ../vite.ts loads it on the plugin's\n// first hook, as it loads the compiler.\nimport { relative, resolve, sep } from 'node:path';\nimport type { Plugin } from 'vite';\nimport { staticallyReachable } from './component-entries.js';\nimport type { ComponentsOptions } from '../vite.js';\nimport { loaderSource } from './loader-source.js';\nimport { discoverComponents } from './tag-map.js';\n\n/** The loader module's id, and Vite's id for it (a virtual module). */\nconst COMPONENTS_ID = 'virtual:gyral/components';\nconst COMPONENTS_RESOLVED = `\\0${COMPONENTS_ID}`;\n/** The file the build writes next to `.vite/manifest.json` (read by `@gyral/ssr/static`). */\nconst COMPONENTS_MANIFEST = '.vite/gyral-components.json';\n\nconst SOURCE_FILE = /\\.[cm]?[jt]sx?$/;\n\n/**\n * Tag → root-relative URL (`/src/…`) of the module defining it: ./tag-map.ts's scan, then the\n * `modules` the app lists for components the scan can't see (defined through a wrapper).\n */\nfunction scanComponents(\n  root: string,\n  include: readonly string[],\n  listed: Readonly<Record<string, string>> = {},\n): Map<string, string> {\n  const tags = new Map<string, string>();\n  for (const [tag, path] of Object.entries(listed)) {\n    tags.set(tag, `/${relative(root, resolve(root, path)).split(sep).join('/')}`);\n  }\n  for (const { tag, file } of discoverComponents(root, include)) {\n    const url = `/${relative(root, file).split(sep).join('/')}`;\n    const known = tags.get(tag);\n    if (known === undefined) tags.set(tag, url);\n    else if (known !== url && listed[tag] === undefined) {\n      console.warn(`gyral: <${tag}> is defined in ${known} and ${url}; loading ${known}`);\n    }\n  }\n  return tags;\n}\n\ntype Input = string | readonly string[] | Readonly<Record<string, string>> | undefined;\n\n/** The app's own inputs (everything but the loader), as module specifiers. */\nfunction inputsOf(input: Input): string[] {\n  if (input === undefined) return [];\n  if (typeof input === 'string') return [input];\n  if (Array.isArray(input)) return [...(input as readonly string[])];\n  return Object.values(input as Readonly<Record<string, string>>);\n}\n\n/** The client build's input with the loader added. */\nfunction withLoader(input: Input): string[] | Record<string, string> {\n  if (input === undefined) return { components: COMPONENTS_ID };\n  if (typeof input === 'string') {\n    const name = input.replace(/^.*\\//, '').replace(/\\.[^.]*$/, '');\n    return withLoader({ [name]: input });\n  }\n  if (Array.isArray(input)) return [...(input as readonly string[]), COMPONENTS_ID];\n  const entries = input as Readonly<Record<string, string>>;\n  let name = 'components';\n  while (name in entries) name += '-loader';\n  return { ...entries, [name]: COMPONENTS_ID };\n}\n\n/** The API `gyralDevServer` reads from this plugin (the tags it found, fresh). */\ninterface ComponentsPluginApi {\n  readonly tags: () => ReadonlyMap<string, string>;\n}\n\n/** Automatic component loading (`gyralVitePreset({ components })`). */\nexport function createComponents(options: ComponentsOptions): Plugin {\n  const include = options.include ?? ['src'];\n  let root = process.cwd();\n  let tags = new Map<string, string>();\n  /** The app's own build inputs, recorded before the loader is added. */\n  let appInputs: string[] = [];\n  /** Tags the app's entry defines itself (statically imported): not loaded by the loader. */\n  let entryTags: string[] = [];\n  let loaderFile = '';\n  const scan = (): Map<string, string> => (tags = scanComponents(root, include, options.modules));\n  const api: ComponentsPluginApi = { tags: scan };\n  return {\n    name: 'gyral:components',\n    api,\n    config(config, env) {\n      root = resolve(config.root ?? process.cwd());\n      if (env.command !== 'build' || env.isSsrBuild === true) return;\n      type Build = {\n        manifest?: boolean | string;\n        rollupOptions?: { input?: Input };\n        rolldownOptions?: { input?: Input };\n      };\n      const build = ((config as { build?: Build }).build ??= {});\n      const key = build.rolldownOptions !== undefined ? 'rolldownOptions' : 'rollupOptions';\n      const bundler = (build[key] ??= {});\n      const input = bundler.input ?? config.input;\n      appInputs = inputsOf(input);\n      bundler.input = withLoader(input);\n      build.manifest ??= true;\n    },\n    configResolved(config) {\n      root = config.root;\n      if (config.command !== 'build' || config.build.ssr !== false) return;\n      const preload = config.build.modulePreload;\n      if (preload === false) return;\n      const previous = preload.resolveDependencies;\n      preload.resolveDependencies = (file, deps, context) =>\n        context.hostType === 'js' && context.hostId === loaderFile\n          ? []\n          : (previous?.(file, deps, context) ?? deps);\n    },\n    buildStart() {\n      scan();\n    },\n    resolveId(source) {\n      return source === COMPONENTS_ID ? COMPONENTS_RESOLVED : null;\n    },\n    async load(id) {\n      if (id !== COMPONENTS_RESOLVED) return null;\n      if (this.environment.config.command === 'serve') {\n        scan();\n        return loaderSource(tags);\n      }\n      // A production build: components the app's entry imports are already defined at startup,\n      // and every other one becomes a dynamic import. The dependency filter removes repeated\n      // JS preload lists (renderPage already preloads them); Vite still loads their CSS.\n      const inEntry = await staticallyReachable(this, appInputs);\n      entryTags = [];\n      const lazy = new Map<string, string>();\n      for (const [tag, url] of tags) {\n        const file = resolve(root, url.slice(1));\n        if (inEntry.has(file)) {\n          entryTags.push(tag);\n          continue;\n        }\n        lazy.set(tag, url);\n      }\n      return loaderSource(lazy, { known: entryTags });\n    },\n    configureServer(server) {\n      // A new or edited component module changes the loader's table.\n      const refresh = (file: string): void => {\n        if (!SOURCE_FILE.test(file)) return;\n        const module = server.environments.client.moduleGraph.getModuleById(COMPONENTS_RESOLVED);\n        if (module !== undefined) server.environments.client.moduleGraph.invalidateModule(module);\n      };\n      server.watcher.on('add', refresh);\n      server.watcher.on('unlink', refresh);\n      server.watcher.on('change', refresh);\n    },\n    generateBundle(_output, bundle) {\n      if (this.environment.config.consumer !== 'client') return;\n      const loader = Object.values(bundle).find(\n        (chunk) => chunk.type === 'chunk' && chunk.facadeModuleId === COMPONENTS_RESOLVED,\n      );\n      if (loader?.type !== 'chunk') return;\n      loaderFile = loader.fileName;\n      const modules = Object.fromEntries([...tags].map(([tag, url]) => [tag, url.slice(1)]));\n      // Each tag's chunk by file. A module another chunk imports statically is bundled into\n      // that chunk (often the entry), so Vite's manifest has no key for it; the server finds\n      // the chunk by file instead (`componentAssets`).\n      const chunkOf = new Map<string, string>();\n      for (const chunk of Object.values(bundle)) {\n        if (chunk.type !== 'chunk') continue;\n        for (const id of chunk.moduleIds) chunkOf.set(id, chunk.fileName);\n      }\n      const chunks: Record<string, string> = {};\n      for (const [tag, url] of tags) {\n        const file = chunkOf.get(resolve(root, url.slice(1)));\n        if (file !== undefined) chunks[tag] = file;\n      }\n      const written = {\n        loader: loader.fileName,\n        loaderImports: loader.imports,\n        modules,\n        chunks,\n        entryTags,\n      };\n      this.emitFile({\n        type: 'asset',\n        fileName: COMPONENTS_MANIFEST,\n        source: `${JSON.stringify(written, null, 2)}\\n`,\n      });\n    },\n  };\n}\n"]}

package/dist/compiler/facts.d.ts

@@ -0,0 +1,31 @@
+import { type Node } from './ast.js';
+/** Optional machinery the build adds when a module may use it. */
+export type Feature = 'invokers' | 'transitions' | 'frame' | 'states' | 'forms' | 'subscriptions' | 'dialogs' | 'disposal' | 'errorView' | 'errored';
+/** The spec field each spec-field feature is reached through (04, 05). */
+export declare const FIELDS: {
+    readonly transitions: "viewTransition";
+    readonly frame: "renderOnFrame";
+    readonly states: "states";
+    readonly forms: "formAssociated";
+    readonly subscriptions: "subscriptions";
+    readonly disposal: "dispose";
+    readonly errorView: "error";
+    readonly errored: "Errored";
+};
+export interface ModuleFacts {
+    /** Identifier names in runtime code, import declarations left out. */
+    readonly names: ReadonlySet<string>;
+    /** String literal values, and template literal texts with `${}` for each expression. */
+    readonly texts: readonly string[];
+    /** Specifiers through which the module may reach a `raw` export (see the header). */
+    readonly rawSources: readonly string[];
+    /** Whether the module may give a component an error view (see `specError`). */
+    readonly errorView: boolean;
+}
+/** The facts the scan needs about a module (`program`, from `this.parse`). */
+export declare function factsOf(program: Node): ModuleFacts;
+/**
+ * Whether the module may use `feature` by what it writes itself. For `invokers` that is the
+ * markup and strings; `raw` needs resolving `rawSources` (features.ts).
+ */
+export declare function writes(facts: ModuleFacts, feature: Feature): boolean;

package/dist/compiler/facts.js

@@ -0,0 +1,285 @@
+// What one module may use, for the build-time feature scan (features.ts, view/05-element.md
+// "Features register themselves"), read from its AST (Rolldown's `this.parse`, the author's
+// source: both plugins that scan run before other transforms). Comments are not in the AST,
+// and type-only code is skipped (ast.ts `children`), so neither counts. What does:
+//   - spec fields (`viewTransition`, `renderOnFrame`, `states`, `subscriptions`) and the hook
+//     spec key `dispose`: the name as an identifier
+//     anywhere in runtime code (a property key, `spec.states = …`, `{ states }`, a binding a
+//     namespace import may spread, `export { f as states }`), or a string that is exactly the
+//     name (`Object.defineProperty(spec, 'states', …)`). A word inside a longer string doesn't;
+//   - command intents: a string or template whose markup has a `data-intent-command` attribute,
+//     `data-intent-on="command"` or a bound `data-intent-on`, or a string that is exactly "command" (`events: ['command']`, a
+//     `setAttribute`);
+//   - dialog and popover bindings: a template whose markup binds `?modal=` or `?popover-open=`;
+//   - `raw` (its markup is read at run time, so it may hold `data-intent-on="command"`): the
+//     module lists the specifiers through which it may reach a `raw` export, and features.ts
+//     counts it when one of them is a module of `@gyral/core`. Through: a named import of `raw` (any
+//     alias) that the module references; a namespace import read other than as `ns.<name>`
+//     (`ns.raw`, `ns[key]`, the namespace passed on); a re-export of `raw`, `export *`; a
+//     dynamic `import()`. A module that re-exports core's `raw` counts itself, so `raw`
+//     imported through a re-exporting module (the app's, a design system's) is still seen there.
+import { children, nodeAt, nodesAt } from './ast.js';
+/** The spec field each spec-field feature is reached through (04, 05). */
+export const FIELDS = {
+    transitions: 'viewTransition',
+    frame: 'renderOnFrame',
+    states: 'states',
+    forms: 'formAssociated',
+    subscriptions: 'subscriptions',
+    disposal: 'dispose',
+    errorView: 'error',
+    errored: 'Errored',
+};
+/** Markup that binds the dialog or popover state (`?modal=`, `?popover-open=`, view/02). */
+const TOGGLE_BINDING = /\?(?:modal|popover-open)\s*=/i;
+/**
+ * Markup that makes a root listen for `command` (05 "Intent events"): a `data-intent-command`
+ * attribute (static or bound; a string that is exactly its name, as `setAttribute` takes it), a
+ * static `data-intent-on="command"` (quoted or not, alone or in a quoted list), or a bound
+ * `data-intent-on` (all intent events), which a template's text shows as `${}` where its
+ * expression is, and a string as an unfinished value at its end. The attribute's name is matched in any case, as the runtime reads it.
+ */
+const INTENT_ON_COMMAND = /data-intent-command(?:\s*=|$)|data-intent-on\s*=\s*(?:["'][^"'>]*?(?:(?<![\w-])command(?![\w-])|\$\{\}|$)|command(?![\w-])|[^"'\s>]*(?:\$\{\}|$))/i;
+const stringOf = (node) => {
+    if (node?.type === 'Literal')
+        return typeof node['value'] === 'string' ? node['value'] : undefined;
+    if (node?.type !== 'TemplateLiteral' || nodesAt(node, 'expressions').length > 0)
+        return undefined;
+    return templateText(node);
+};
+/** A template literal's text (cooked where valid), `${}` standing for each expression. */
+function templateText(node) {
+    return nodesAt(node, 'quasis')
+        .map((q) => {
+        const value = q['value'];
+        return value?.cooked ?? value?.raw ?? '';
+    })
+        .join('${}');
+}
+/** An identifier's name, or a string literal's value (`import { 'raw' as r }`). */
+const nameOf = (node) => node?.type === 'Identifier' ? node['name'] : stringOf(node);
+const isValue = (node) => node['importKind'] !== 'type' && node['exportKind'] !== 'type';
+const bump = (counts, name) => {
+    counts.set(name, (counts.get(name) ?? 0) + 1);
+};
+const FUNCTION = new Set(['ArrowFunctionExpression', 'FunctionExpression']);
+/** A callee named `define` (`define`, `ns.define`), or the inner call of `define<…>()(…)`. */
+function isDefine(callee) {
+    if (callee?.type === 'CallExpression')
+        return isDefine(nodeAt(callee, 'callee'));
+    if (callee?.type === 'Identifier')
+        return callee['name'] === 'define';
+    if (callee?.type === 'MemberExpression' && callee['computed'] !== true)
+        return nameOf(nodeAt(callee, 'property')) === 'define';
+    return false;
+}
+/**
+ * The `error` spec field (ADR 0024) by its position, not its name, because `error` is also a
+ * common state field, `catch (error)` binding and message name (gyral-1zd.29). It counts:
+ *   - an `error` key (any value) in a spec object passed to `define()`, inline or through a
+ *     `const` in the same module, spreads of such consts included;
+ *   - anywhere else, an `error` key whose value is a function (`error: (failure, s) => …`,
+ *     `error(failure, s) { … }`) or a shorthand `{ error }`, and an assignment of a function to
+ *     a member `x.error` (a spec built elsewhere and passed in).
+ * What it misses: a spec object built in another module whose `error` value isn't written as a
+ * function there (`export const spec = { error: someView }`); view/05 says to write the error
+ * view as a function in the spec.
+ */
+function specError(program) {
+    const objects = new Map();
+    let found = false;
+    const keyOf = (prop) => prop['computed'] === true ? undefined : nameOf(nodeAt(prop, 'key'));
+    const specHasError = (node, depth = 0) => {
+        if (node?.type === 'Identifier' && depth < 3) {
+            return specHasError(objects.get(node['name']), depth + 1);
+        }
+        if (node?.type !== 'ObjectExpression')
+            return false;
+        return nodesAt(node, 'properties').some((p) => p.type === 'SpreadElement'
+            ? specHasError(nodeAt(p, 'argument'), depth + 1)
+            : keyOf(p) === 'error');
+    };
+    const collect = (node) => {
+        if (node.type === 'VariableDeclarator') {
+            const id = nodeAt(node, 'id');
+            const init = nodeAt(node, 'init');
+            if (id?.type === 'Identifier' && init?.type === 'ObjectExpression')
+                objects.set(id['name'], init);
+        }
+        for (const child of children(node))
+            collect(child);
+    };
+    const visit = (node) => {
+        if (found)
+            return;
+        switch (node.type) {
+            case 'CallExpression':
+                if (isDefine(nodeAt(node, 'callee'))) {
+                    const args = nodesAt(node, 'arguments');
+                    if (args.some((a) => specHasError(a)))
+                        found = true;
+                }
+                break;
+            case 'Property':
+            case 'MethodDefinition':
+            case 'PropertyDefinition':
+                if (keyOf(node) === 'error') {
+                    const value = nodeAt(node, 'value');
+                    if (node['shorthand'] === true ||
+                        node['method'] === true ||
+                        node.type === 'MethodDefinition' ||
+                        (value !== undefined && FUNCTION.has(value.type))) {
+                        found = true;
+                    }
+                }
+                break;
+            case 'AssignmentExpression': {
+                const left = nodeAt(node, 'left');
+                const right = nodeAt(node, 'right');
+                if (left?.type === 'MemberExpression' &&
+                    left['computed'] !== true &&
+                    nameOf(nodeAt(left, 'property')) === 'error' &&
+                    right !== undefined &&
+                    FUNCTION.has(right.type)) {
+                    found = true;
+                }
+                break;
+            }
+        }
+        for (const child of children(node))
+            visit(child);
+    };
+    for (const statement of nodesAt(program, 'body'))
+        collect(statement);
+    for (const statement of nodesAt(program, 'body'))
+        visit(statement);
+    return found;
+}
+/** The facts the scan needs about a module (`program`, from `this.parse`). */
+export function factsOf(program) {
+    /** Every identifier name, and how often each is referenced (property names left out). */
+    const names = new Set();
+    const refs = new Map();
+    const texts = [];
+    const reached = [];
+    /** Imports of `raw` (local name → specifier), and namespace imports. */
+    const rawImports = new Map();
+    const namespaces = new Map();
+    /** Per namespace, the reads `ns.<name other than raw>`: they can't reach `raw`. */
+    const safe = new Map();
+    for (const statement of nodesAt(program, 'body')) {
+        const specifier = stringOf(nodeAt(statement, 'source'));
+        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')
+                    namespaces.set(local, specifier);
+                else if (s.type === 'ImportSpecifier' && nameOf(nodeAt(s, 'imported')) === 'raw')
+                    rawImports.set(local, specifier);
+            }
+        }
+        else if (statement.type === 'ExportAllDeclaration') {
+            reached.push(specifier);
+        }
+        else if (statement.type === 'ExportNamedDeclaration') {
+            const specifiers = nodesAt(statement, 'specifiers');
+            if (specifiers.some((s) => isValue(s) && nameOf(nodeAt(s, 'local')) === 'raw'))
+                reached.push(specifier);
+        }
+    }
+    /** A non-computed property name (`{ key: … }`, `a.key`, a class member): not a reference. */
+    const key = (node) => {
+        if (node?.type === 'Identifier')
+            names.add(node['name']);
+        else if (node !== undefined)
+            visit(node);
+    };
+    const visit = (node) => {
+        switch (node.type) {
+            case 'ImportDeclaration':
+                return;
+            case 'Identifier':
+            case 'JSXIdentifier':
+                names.add(node['name']);
+                bump(refs, node['name']);
+                return;
+            case 'Literal':
+                if (typeof node['value'] === 'string')
+                    texts.push(node['value']);
+                return;
+            case 'TemplateLiteral':
+                texts.push(templateText(node));
+                break;
+            case 'ImportExpression': {
+                const specifier = stringOf(nodeAt(node, 'source'));
+                if (specifier !== undefined)
+                    reached.push(specifier);
+                break;
+            }
+            case 'MemberExpression': {
+                const object = nodeAt(node, 'object');
+                const property = nodeAt(node, 'property');
+                const computed = node['computed'] === true;
+                const ns = object?.type === 'Identifier' ? object['name'] : undefined;
+                if (ns !== undefined && namespaces.has(ns)) {
+                    const name = computed ? stringOf(property) : nameOf(property);
+                    if (name !== undefined && name !== 'raw')
+                        bump(safe, ns);
+                }
+                if (object !== undefined)
+                    visit(object);
+                if (computed) {
+                    if (property !== undefined)
+                        visit(property);
+                }
+                else
+                    key(property);
+                return;
+            }
+            case 'Property':
+            case 'MethodDefinition':
+            case 'PropertyDefinition':
+            case 'AccessorProperty':
+                if (node['computed'] === true || node['shorthand'] === true)
+                    break;
+                key(nodeAt(node, 'key'));
+                for (const child of children(node))
+                    if (child !== nodeAt(node, 'key'))
+                        visit(child);
+                return;
+        }
+        for (const child of children(node))
+            visit(child);
+    };
+    for (const statement of nodesAt(program, 'body'))
+        visit(statement);
+    for (const [local, specifier] of rawImports) {
+        if ((refs.get(local) ?? 0) > 0)
+            reached.push(specifier);
+    }
+    for (const [local, specifier] of namespaces) {
+        if ((refs.get(local) ?? 0) > (safe.get(local) ?? 0))
+            reached.push(specifier);
+    }
+    return { names, texts, rawSources: [...new Set(reached)], errorView: specError(program) };
+}
+/**
+ * Whether the module may use `feature` by what it writes itself. For `invokers` that is the
+ * markup and strings; `raw` needs resolving `rawSources` (features.ts).
+ */
+export function writes(facts, feature) {
+    if (feature === 'invokers') {
+        return facts.texts.some((text) => text === 'command' || INTENT_ON_COMMAND.test(text));
+    }
+    if (feature === 'dialogs')
+        return facts.texts.some((text) => TOGGLE_BINDING.test(text));
+    if (feature === 'errorView')
+        return facts.errorView;
+    const name = FIELDS[feature];
+    return facts.names.has(name) || facts.texts.includes(name);
+}
+//# sourceMappingURL=facts.js.map

package/dist/compiler/facts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"facts.js","sourceRoot":"","sources":["../../src/compiler/facts.ts"],"names":[],"mappings":"AAAA,4FAA4F;AAC5F,4FAA4F;AAC5F,4FAA4F;AAC5F,mFAAmF;AACnF,8FAA8F;AAC9F,oDAAoD;AACpD,6FAA6F;AAC7F,8FAA8F;AAC9F,gGAAgG;AAChG,gGAAgG;AAChG,8HAA8H;AAC9H,uBAAuB;AACvB,gGAAgG;AAChG,6FAA6F;AAC7F,6FAA6F;AAC7F,qGAAqG;AACrG,2FAA2F;AAC3F,0FAA0F;AAC1F,wFAAwF;AACxF,iGAAiG;AACjG,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAa,MAAM,UAAU,CAAC;AAehE,0EAA0E;AAC1E,MAAM,CAAC,MAAM,MAAM,GAAG;IACpB,WAAW,EAAE,gBAAgB;IAC7B,KAAK,EAAE,eAAe;IACtB,MAAM,EAAE,QAAQ;IAChB,KAAK,EAAE,gBAAgB;IACvB,aAAa,EAAE,eAAe;IAC9B,QAAQ,EAAE,SAAS;IACnB,SAAS,EAAE,OAAO;IAClB,OAAO,EAAE,SAAS;CACmE,CAAC;AAExF,4FAA4F;AAC5F,MAAM,cAAc,GAAG,+BAA+B,CAAC;AAEvD;;;;;;GAMG;AACH,MAAM,iBAAiB,GACrB,oJAAoJ,CAAC;AAavJ,MAAM,QAAQ,GAAG,CAAC,IAAsB,EAAsB,EAAE;IAC9D,IAAI,IAAI,EAAE,IAAI,KAAK,SAAS;QAC1B,OAAO,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACvE,IAAI,IAAI,EAAE,IAAI,KAAK,iBAAiB,IAAI,OAAO,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAClG,OAAO,YAAY,CAAC,IAAI,CAAC,CAAC;AAC5B,CAAC,CAAC;AAEF,0FAA0F;AAC1F,SAAS,YAAY,CAAC,IAAU;IAC9B,OAAO,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC;SAC3B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACT,MAAM,KAAK,GAAG,CAAC,CAAC,OAAO,CAAyD,CAAC;QACjF,OAAO,KAAK,EAAE,MAAM,IAAI,KAAK,EAAE,GAAG,IAAI,EAAE,CAAC;IAC3C,CAAC,CAAC;SACD,IAAI,CAAC,KAAK,CAAC,CAAC;AACjB,CAAC;AAED,mFAAmF;AACnF,MAAM,MAAM,GAAG,CAAC,IAAsB,EAAsB,EAAE,CAC5D,IAAI,EAAE,IAAI,KAAK,YAAY,CAAC,CAAC,CAAE,IAAI,CAAC,MAAM,CAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AAE1E,MAAM,OAAO,GAAG,CAAC,IAAU,EAAW,EAAE,CACtC,IAAI,CAAC,YAAY,CAAC,KAAK,MAAM,IAAI,IAAI,CAAC,YAAY,CAAC,KAAK,MAAM,CAAC;AAEjE,MAAM,IAAI,GAAG,CAAC,MAA2B,EAAE,IAAY,EAAQ,EAAE;IAC/D,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AAChD,CAAC,CAAC;AAEF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,yBAAyB,EAAE,oBAAoB,CAAC,CAAC,CAAC;AAE5E,8FAA8F;AAC9F,SAAS,QAAQ,CAAC,MAAwB;IACxC,IAAI,MAAM,EAAE,IAAI,KAAK,gBAAgB;QAAE,OAAO,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;IACjF,IAAI,MAAM,EAAE,IAAI,KAAK,YAAY;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,QAAQ,CAAC;IACtE,IAAI,MAAM,EAAE,IAAI,KAAK,kBAAkB,IAAI,MAAM,CAAC,UAAU,CAAC,KAAK,IAAI;QACpE,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,KAAK,QAAQ,CAAC;IACzD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;;;;GAWG;AACH,SAAS,SAAS,CAAC,OAAa;IAC9B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAgB,CAAC;IACxC,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,MAAM,KAAK,GAAG,CAAC,IAAU,EAAsB,EAAE,CAC/C,IAAI,CAAC,UAAU,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;IACtE,MAAM,YAAY,GAAG,CAAC,IAAsB,EAAE,KAAK,GAAG,CAAC,EAAW,EAAE;QAClE,IAAI,IAAI,EAAE,IAAI,KAAK,YAAY,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YAC7C,OAAO,YAAY,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAW,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QACtE,CAAC;QACD,IAAI,IAAI,EAAE,IAAI,KAAK,kBAAkB;YAAE,OAAO,KAAK,CAAC;QACpD,OAAO,OAAO,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAC5C,CAAC,CAAC,IAAI,KAAK,eAAe;YACxB,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,EAAE,UAAU,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC;YAChD,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,OAAO,CACzB,CAAC;IACJ,CAAC,CAAC;IACF,MAAM,OAAO,GAAG,CAAC,IAAU,EAAQ,EAAE;QACnC,IAAI,IAAI,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;YACvC,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAC9B,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAClC,IAAI,EAAE,EAAE,IAAI,KAAK,YAAY,IAAI,IAAI,EAAE,IAAI,KAAK,kBAAkB;gBAChE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAW,EAAE,IAAI,CAAC,CAAC;QAC5C,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,IAAI,CAAC;YAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IACrD,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,CAAC,IAAU,EAAQ,EAAE;QACjC,IAAI,KAAK;YAAE,OAAO;QAClB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,gBAAgB;gBACnB,IAAI,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC;oBACrC,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;oBACxC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;wBAAE,KAAK,GAAG,IAAI,CAAC;gBACtD,CAAC;gBACD,MAAM;YACR,KAAK,UAAU,CAAC;YAChB,KAAK,kBAAkB,CAAC;YACxB,KAAK,oBAAoB;gBACvB,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,OAAO,EAAE,CAAC;oBAC5B,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;oBACpC,IACE,IAAI,CAAC,WAAW,CAAC,KAAK,IAAI;wBAC1B,IAAI,CAAC,QAAQ,CAAC,KAAK,IAAI;wBACvB,IAAI,CAAC,IAAI,KAAK,kBAAkB;wBAChC,CAAC,KAAK,KAAK,SAAS,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EACjD,CAAC;wBACD,KAAK,GAAG,IAAI,CAAC;oBACf,CAAC;gBACH,CAAC;gBACD,MAAM;YACR,KAAK,sBAAsB,CAAC,CAAC,CAAC;gBAC5B,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;gBAClC,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;gBACpC,IACE,IAAI,EAAE,IAAI,KAAK,kBAAkB;oBACjC,IAAI,CAAC,UAAU,CAAC,KAAK,IAAI;oBACzB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,KAAK,OAAO;oBAC5C,KAAK,KAAK,SAAS;oBACnB,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EACxB,CAAC;oBACD,KAAK,GAAG,IAAI,CAAC;gBACf,CAAC;gBACD,MAAM;YACR,CAAC;QACH,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACnD,CAAC,CAAC;IACF,KAAK,MAAM,SAAS,IAAI,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC;QAAE,OAAO,CAAC,SAAS,CAAC,CAAC;IACrE,KAAK,MAAM,SAAS,IAAI,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC;QAAE,KAAK,CAAC,SAAS,CAAC,CAAC;IACnE,OAAO,KAAK,CAAC;AACf,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,OAAO,CAAC,OAAa;IACnC,yFAAyF;IACzF,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,wEAAwE;IACxE,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC7C,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC7C,mFAAmF;IACnF,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IAEvC,KAAK,MAAM,SAAS,IAAI,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,CAAC;QACjD,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAC;QACxD,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;oBAAE,UAAU,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;qBACvE,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,KAAK,KAAK;oBAC9E,UAAU,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YACrC,CAAC;QACH,CAAC;aAAM,IAAI,SAAS,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;YACrD,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC1B,CAAC;aAAM,IAAI,SAAS,CAAC,IAAI,KAAK,wBAAwB,EAAE,CAAC;YACvD,MAAM,UAAU,GAAG,OAAO,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;YACpD,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,KAAK,KAAK,CAAC;gBAC5E,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;IAED,6FAA6F;IAC7F,MAAM,GAAG,GAAG,CAAC,IAAsB,EAAQ,EAAE;QAC3C,IAAI,IAAI,EAAE,IAAI,KAAK,YAAY;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAW,CAAC,CAAC;aAC9D,IAAI,IAAI,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC,CAAC;IAEF,MAAM,KAAK,GAAG,CAAC,IAAU,EAAQ,EAAE;QACjC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,mBAAmB;gBACtB,OAAO;YACT,KAAK,YAAY,CAAC;YAClB,KAAK,eAAe;gBAClB,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAW,CAAC,CAAC;gBAClC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAW,CAAC,CAAC;gBACnC,OAAO;YACT,KAAK,SAAS;gBACZ,IAAI,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,QAAQ;oBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;gBACjE,OAAO;YACT,KAAK,iBAAiB;gBACpB,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC/B,MAAM;YACR,KAAK,kBAAkB,CAAC,CAAC,CAAC;gBACxB,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;gBACnD,IAAI,SAAS,KAAK,SAAS;oBAAE,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBACrD,MAAM;YACR,CAAC;YACD,KAAK,kBAAkB,CAAC,CAAC,CAAC;gBACxB,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;gBACtC,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;gBAC1C,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,IAAI,CAAC;gBAC3C,MAAM,EAAE,GAAG,MAAM,EAAE,IAAI,KAAK,YAAY,CAAC,CAAC,CAAE,MAAM,CAAC,MAAM,CAAY,CAAC,CAAC,CAAC,SAAS,CAAC;gBAClF,IAAI,EAAE,KAAK,SAAS,IAAI,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;oBAC3C,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;oBAC9D,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,KAAK;wBAAE,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBAC3D,CAAC;gBACD,IAAI,MAAM,KAAK,SAAS;oBAAE,KAAK,CAAC,MAAM,CAAC,CAAC;gBACxC,IAAI,QAAQ,EAAE,CAAC;oBACb,IAAI,QAAQ,KAAK,SAAS;wBAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;gBAC9C,CAAC;;oBAAM,GAAG,CAAC,QAAQ,CAAC,CAAC;gBACrB,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,IAAI,IAAI,CAAC,WAAW,CAAC,KAAK,IAAI;oBAAE,MAAM;gBACnE,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;gBACzB,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,IAAI,CAAC;oBAAE,IAAI,KAAK,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC;wBAAE,KAAK,CAAC,KAAK,CAAC,CAAC;gBACpF,OAAO;QACX,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACnD,CAAC,CAAC;IACF,KAAK,MAAM,SAAS,IAAI,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC;QAAE,KAAK,CAAC,SAAS,CAAC,CAAC;IAEnE,KAAK,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,UAAU,EAAE,CAAC;QAC5C,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC1D,CAAC;IACD,KAAK,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,UAAU,EAAE,CAAC;QAC5C,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,EAAE,SAAS,EAAE,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;AAC5F,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,MAAM,CAAC,KAAkB,EAAE,OAAgB;IACzD,IAAI,OAAO,KAAK,UAAU,EAAE,CAAC;QAC3B,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,SAAS,IAAI,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACxF,CAAC;IACD,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACxF,IAAI,OAAO,KAAK,WAAW;QAAE,OAAO,KAAK,CAAC,SAAS,CAAC;IACpD,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;IAC7B,OAAO,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AAC7D,CAAC","sourcesContent":["// What one module may use, for the build-time feature scan (features.ts, view/05-element.md\n// \"Features register themselves\"), read from its AST (Rolldown's `this.parse`, the author's\n// source: both plugins that scan run before other transforms). Comments are not in the AST,\n// and type-only code is skipped (ast.ts `children`), so neither counts. What does:\n//   - spec fields (`viewTransition`, `renderOnFrame`, `states`, `subscriptions`) and the hook\n//     spec key `dispose`: the name as an identifier\n//     anywhere in runtime code (a property key, `spec.states = …`, `{ states }`, a binding a\n//     namespace import may spread, `export { f as states }`), or a string that is exactly the\n//     name (`Object.defineProperty(spec, 'states', …)`). A word inside a longer string doesn't;\n//   - command intents: a string or template whose markup has a `data-intent-command` attribute,\n//     `data-intent-on=\"command\"` or a bound `data-intent-on`, or a string that is exactly \"command\" (`events: ['command']`, a\n//     `setAttribute`);\n//   - dialog and popover bindings: a template whose markup binds `?modal=` or `?popover-open=`;\n//   - `raw` (its markup is read at run time, so it may hold `data-intent-on=\"command\"`): the\n//     module lists the specifiers through which it may reach a `raw` export, and features.ts\n//     counts it when one of them is a module of `@gyral/core`. Through: a named import of `raw` (any\n//     alias) that the module references; a namespace import read other than as `ns.<name>`\n//     (`ns.raw`, `ns[key]`, the namespace passed on); a re-export of `raw`, `export *`; a\n//     dynamic `import()`. A module that re-exports core's `raw` counts itself, so `raw`\n//     imported through a re-exporting module (the app's, a design system's) is still seen there.\nimport { children, nodeAt, nodesAt, type Node } from './ast.js';\n\n/** Optional machinery the build adds when a module may use it. */\nexport type Feature =\n  | 'invokers'\n  | 'transitions'\n  | 'frame'\n  | 'states'\n  | 'forms'\n  | 'subscriptions'\n  | 'dialogs'\n  | 'disposal'\n  | 'errorView'\n  | 'errored';\n\n/** The spec field each spec-field feature is reached through (04, 05). */\nexport const FIELDS = {\n  transitions: 'viewTransition',\n  frame: 'renderOnFrame',\n  states: 'states',\n  forms: 'formAssociated',\n  subscriptions: 'subscriptions',\n  disposal: 'dispose',\n  errorView: 'error',\n  errored: 'Errored',\n} as const satisfies Readonly<Record<Exclude<Feature, 'invokers' | 'dialogs'>, string>>;\n\n/** Markup that binds the dialog or popover state (`?modal=`, `?popover-open=`, view/02). */\nconst TOGGLE_BINDING = /\\?(?:modal|popover-open)\\s*=/i;\n\n/**\n * Markup that makes a root listen for `command` (05 \"Intent events\"): a `data-intent-command`\n * attribute (static or bound; a string that is exactly its name, as `setAttribute` takes it), a\n * static `data-intent-on=\"command\"` (quoted or not, alone or in a quoted list), or a bound\n * `data-intent-on` (all intent events), which a template's text shows as `${}` where its\n * expression is, and a string as an unfinished value at its end. The attribute's name is matched in any case, as the runtime reads it.\n */\nconst INTENT_ON_COMMAND =\n  /data-intent-command(?:\\s*=|$)|data-intent-on\\s*=\\s*(?:[\"'][^\"'>]*?(?:(?<![\\w-])command(?![\\w-])|\\$\\{\\}|$)|command(?![\\w-])|[^\"'\\s>]*(?:\\$\\{\\}|$))/i;\n\nexport interface ModuleFacts {\n  /** Identifier names in runtime code, import declarations left out. */\n  readonly names: ReadonlySet<string>;\n  /** String literal values, and template literal texts with `${}` for each expression. */\n  readonly texts: readonly string[];\n  /** Specifiers through which the module may reach a `raw` export (see the header). */\n  readonly rawSources: readonly string[];\n  /** Whether the module may give a component an error view (see `specError`). */\n  readonly errorView: boolean;\n}\n\nconst stringOf = (node: Node | undefined): string | undefined => {\n  if (node?.type === 'Literal')\n    return typeof node['value'] === 'string' ? node['value'] : undefined;\n  if (node?.type !== 'TemplateLiteral' || nodesAt(node, 'expressions').length > 0) return undefined;\n  return templateText(node);\n};\n\n/** A template literal's text (cooked where valid), `${}` standing for each expression. */\nfunction templateText(node: Node): string {\n  return nodesAt(node, 'quasis')\n    .map((q) => {\n      const value = q['value'] as { cooked?: string | null; raw?: string } | undefined;\n      return value?.cooked ?? value?.raw ?? '';\n    })\n    .join('${}');\n}\n\n/** An identifier's name, or a string literal's value (`import { 'raw' as r }`). */\nconst nameOf = (node: Node | undefined): string | undefined =>\n  node?.type === 'Identifier' ? (node['name'] as string) : stringOf(node);\n\nconst isValue = (node: Node): boolean =>\n  node['importKind'] !== 'type' && node['exportKind'] !== 'type';\n\nconst bump = (counts: Map<string, number>, name: string): void => {\n  counts.set(name, (counts.get(name) ?? 0) + 1);\n};\n\nconst FUNCTION = new Set(['ArrowFunctionExpression', 'FunctionExpression']);\n\n/** A callee named `define` (`define`, `ns.define`), or the inner call of `define<…>()(…)`. */\nfunction isDefine(callee: Node | undefined): boolean {\n  if (callee?.type === 'CallExpression') return isDefine(nodeAt(callee, 'callee'));\n  if (callee?.type === 'Identifier') return callee['name'] === 'define';\n  if (callee?.type === 'MemberExpression' && callee['computed'] !== true)\n    return nameOf(nodeAt(callee, 'property')) === 'define';\n  return false;\n}\n\n/**\n * The `error` spec field (ADR 0024) by its position, not its name, because `error` is also a\n * common state field, `catch (error)` binding and message name (gyral-1zd.29). It counts:\n *   - an `error` key (any value) in a spec object passed to `define()`, inline or through a\n *     `const` in the same module, spreads of such consts included;\n *   - anywhere else, an `error` key whose value is a function (`error: (failure, s) => …`,\n *     `error(failure, s) { … }`) or a shorthand `{ error }`, and an assignment of a function to\n *     a member `x.error` (a spec built elsewhere and passed in).\n * What it misses: a spec object built in another module whose `error` value isn't written as a\n * function there (`export const spec = { error: someView }`); view/05 says to write the error\n * view as a function in the spec.\n */\nfunction specError(program: Node): boolean {\n  const objects = new Map<string, Node>();\n  let found = false;\n  const keyOf = (prop: Node): string | undefined =>\n    prop['computed'] === true ? undefined : nameOf(nodeAt(prop, 'key'));\n  const specHasError = (node: Node | undefined, depth = 0): boolean => {\n    if (node?.type === 'Identifier' && depth < 3) {\n      return specHasError(objects.get(node['name'] as string), depth + 1);\n    }\n    if (node?.type !== 'ObjectExpression') return false;\n    return nodesAt(node, 'properties').some((p) =>\n      p.type === 'SpreadElement'\n        ? specHasError(nodeAt(p, 'argument'), depth + 1)\n        : keyOf(p) === 'error',\n    );\n  };\n  const collect = (node: Node): void => {\n    if (node.type === 'VariableDeclarator') {\n      const id = nodeAt(node, 'id');\n      const init = nodeAt(node, 'init');\n      if (id?.type === 'Identifier' && init?.type === 'ObjectExpression')\n        objects.set(id['name'] as string, init);\n    }\n    for (const child of children(node)) collect(child);\n  };\n  const visit = (node: Node): void => {\n    if (found) return;\n    switch (node.type) {\n      case 'CallExpression':\n        if (isDefine(nodeAt(node, 'callee'))) {\n          const args = nodesAt(node, 'arguments');\n          if (args.some((a) => specHasError(a))) found = true;\n        }\n        break;\n      case 'Property':\n      case 'MethodDefinition':\n      case 'PropertyDefinition':\n        if (keyOf(node) === 'error') {\n          const value = nodeAt(node, 'value');\n          if (\n            node['shorthand'] === true ||\n            node['method'] === true ||\n            node.type === 'MethodDefinition' ||\n            (value !== undefined && FUNCTION.has(value.type))\n          ) {\n            found = true;\n          }\n        }\n        break;\n      case 'AssignmentExpression': {\n        const left = nodeAt(node, 'left');\n        const right = nodeAt(node, 'right');\n        if (\n          left?.type === 'MemberExpression' &&\n          left['computed'] !== true &&\n          nameOf(nodeAt(left, 'property')) === 'error' &&\n          right !== undefined &&\n          FUNCTION.has(right.type)\n        ) {\n          found = true;\n        }\n        break;\n      }\n    }\n    for (const child of children(node)) visit(child);\n  };\n  for (const statement of nodesAt(program, 'body')) collect(statement);\n  for (const statement of nodesAt(program, 'body')) visit(statement);\n  return found;\n}\n\n/** The facts the scan needs about a module (`program`, from `this.parse`). */\nexport function factsOf(program: Node): ModuleFacts {\n  /** Every identifier name, and how often each is referenced (property names left out). */\n  const names = new Set<string>();\n  const refs = new Map<string, number>();\n  const texts: string[] = [];\n  const reached: string[] = [];\n  /** Imports of `raw` (local name → specifier), and namespace imports. */\n  const rawImports = new Map<string, string>();\n  const namespaces = new Map<string, string>();\n  /** Per namespace, the reads `ns.<name other than raw>`: they can't reach `raw`. */\n  const safe = new Map<string, number>();\n\n  for (const statement of nodesAt(program, 'body')) {\n    const specifier = stringOf(nodeAt(statement, 'source'));\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') namespaces.set(local, specifier);\n        else if (s.type === 'ImportSpecifier' && nameOf(nodeAt(s, 'imported')) === 'raw')\n          rawImports.set(local, specifier);\n      }\n    } else if (statement.type === 'ExportAllDeclaration') {\n      reached.push(specifier);\n    } else if (statement.type === 'ExportNamedDeclaration') {\n      const specifiers = nodesAt(statement, 'specifiers');\n      if (specifiers.some((s) => isValue(s) && nameOf(nodeAt(s, 'local')) === 'raw'))\n        reached.push(specifier);\n    }\n  }\n\n  /** A non-computed property name (`{ key: … }`, `a.key`, a class member): not a reference. */\n  const key = (node: Node | undefined): void => {\n    if (node?.type === 'Identifier') names.add(node['name'] as string);\n    else if (node !== undefined) visit(node);\n  };\n\n  const visit = (node: Node): void => {\n    switch (node.type) {\n      case 'ImportDeclaration':\n        return;\n      case 'Identifier':\n      case 'JSXIdentifier':\n        names.add(node['name'] as string);\n        bump(refs, node['name'] as string);\n        return;\n      case 'Literal':\n        if (typeof node['value'] === 'string') texts.push(node['value']);\n        return;\n      case 'TemplateLiteral':\n        texts.push(templateText(node));\n        break;\n      case 'ImportExpression': {\n        const specifier = stringOf(nodeAt(node, 'source'));\n        if (specifier !== undefined) reached.push(specifier);\n        break;\n      }\n      case 'MemberExpression': {\n        const object = nodeAt(node, 'object');\n        const property = nodeAt(node, 'property');\n        const computed = node['computed'] === true;\n        const ns = object?.type === 'Identifier' ? (object['name'] as string) : undefined;\n        if (ns !== undefined && namespaces.has(ns)) {\n          const name = computed ? stringOf(property) : nameOf(property);\n          if (name !== undefined && name !== 'raw') bump(safe, ns);\n        }\n        if (object !== undefined) visit(object);\n        if (computed) {\n          if (property !== undefined) visit(property);\n        } else key(property);\n        return;\n      }\n      case 'Property':\n      case 'MethodDefinition':\n      case 'PropertyDefinition':\n      case 'AccessorProperty':\n        if (node['computed'] === true || node['shorthand'] === true) break;\n        key(nodeAt(node, 'key'));\n        for (const child of children(node)) if (child !== nodeAt(node, 'key')) visit(child);\n        return;\n    }\n    for (const child of children(node)) visit(child);\n  };\n  for (const statement of nodesAt(program, 'body')) visit(statement);\n\n  for (const [local, specifier] of rawImports) {\n    if ((refs.get(local) ?? 0) > 0) reached.push(specifier);\n  }\n  for (const [local, specifier] of namespaces) {\n    if ((refs.get(local) ?? 0) > (safe.get(local) ?? 0)) reached.push(specifier);\n  }\n  return { names, texts, rawSources: [...new Set(reached)], errorView: specError(program) };\n}\n\n/**\n * Whether the module may use `feature` by what it writes itself. For `invokers` that is the\n * markup and strings; `raw` needs resolving `rawSources` (features.ts).\n */\nexport function writes(facts: ModuleFacts, feature: Feature): boolean {\n  if (feature === 'invokers') {\n    return facts.texts.some((text) => text === 'command' || INTENT_ON_COMMAND.test(text));\n  }\n  if (feature === 'dialogs') return facts.texts.some((text) => TOGGLE_BINDING.test(text));\n  if (feature === 'errorView') return facts.errorView;\n  const name = FIELDS[feature];\n  return facts.names.has(name) || facts.texts.includes(name);\n}\n"]}