@gyral/core 0.3.0 → 0.3.1

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"]}

package/dist/compiler/features.d.ts

@@ -0,0 +1,34 @@
+import { langOf } from './ast.js';
+import { type Feature } from './facts.js';
+export type { Feature } from './facts.js';
+/**
+ * Text a module must contain to use a feature (the plugins' transform filters list the same).
+ * `invokers`: also any import or export, which may reach `raw`.
+ */
+export declare const FEATURE_HINTS: Readonly<Record<Feature, RegExp>>;
+/** A plugin context's `resolve`, as far as detection needs it. */
+type Resolve = (source: string, importer: string) => Promise<{
+    readonly id: string;
+} | null>;
+/** What the scan needs from the transform hook's plugin context. */
+export interface ScanContext {
+    /** `this.parse` (Rolldown's parser, TypeScript included). */
+    readonly parse: (code: string, lang: ReturnType<typeof langOf>) => unknown;
+    readonly resolve: Resolve;
+}
+export interface FeatureHooks {
+    /** Finds the core copy the app imports (its compiled entry), to register with and to skip. */
+    buildStart(resolve: Resolve, root: string): Promise<void>;
+    resolveId(source: string): {
+        id: string;
+        moduleSideEffects: true;
+    } | null;
+    load(id: string): string | null;
+    /** The imports to append to module `id` for the features its `code` may use; '' for none. */
+    inject(code: string, id: string, context: ScanContext): Promise<string>;
+}
+/**
+ * Detection for `features`. `ownEntry`: the compiled entry of the core copy running the plugin,
+ * used when the app's root can't resolve `@gyral/core/compiled` (fixtures, unusual layouts).
+ */
+export declare function createFeatures(features: readonly Feature[], ownEntry: string): FeatureHooks;

package/dist/compiler/features.js

@@ -0,0 +1,158 @@
+// Build-time feature detection (view/05-element.md "Features register themselves",
+// gyral-c5d.11, gyral-c5d.12), loaded lazily by the plugin shells in ../vite.ts. Some optional
+// machinery can't register itself from an API call, because apps reach it through plain data:
+// spec fields (`viewTransition`, `renderOnFrame`, `states`, `subscriptions`) and markup (`data-intent-on`
+// values, `raw()` content). In builds that leave that machinery out by default (the
+// `gyral-compiled` condition, and `gyral-client-only` for the invoker fallback), the modules
+// that can affect Gyral components are scanned, and a module that may use a feature gets one
+// import added at its end: `virtual:gyral-use/<feature>`, a side-effect module that calls
+// `register()` from core's `use-<feature>` module before any module that imports it runs. The
+// registration modules are reached only this way, never from an entry, so a build that doesn't
+// use a feature doesn't even load its code (Rolldown emits chunks for every import() it loads,
+// tree-shaken or not).
+//
+// Which modules (scope.ts): the app's own source, and installed packages that are Gyral's or
+// depend on one, directly or through their dependencies. What counts in them (facts.ts): names
+// and strings in the module's AST, never comments, and `raw` only when it comes from
+// `@gyral/core`. Both over-approximate, so the scan stays sound: a field or event can only be
+// set by writing its name somewhere, in a module that can reach Gyral (a name built at run
+// time, such as `{ ['sta' + 'tes']: … }`, or spec data written in a package that doesn't
+// depend on Gyral, are the gaps; view/05 says what then degrades). A false positive only bundles a few hundred
+// bytes that weren't needed. Core's own modules are skipped (they implement it); a module that
+// doesn't parse is matched on its text, comments included.
+import { join } from 'node:path';
+import { langOf } from './ast.js';
+import { factsOf, writes } from './facts.js';
+import { createScope } from './scope.js';
+/** The text fallback, for a module that doesn't parse: the 0.3.1-next.0 scan. */
+const TEXT_USES = {
+    invokers: /data-intent-command\s*=|data-intent-on\s*=\s*\\?["']?(?:[\w-]+\s+)*(?:command\b|\$\{)|(["'`])command\1|\braw\b\s*(?:\(|as\b)/i,
+    transitions: /\bviewTransition\b/,
+    frame: /\brenderOnFrame\b/,
+    states: /\bstates\b/,
+    forms: /\bformAssociated\b/,
+    subscriptions: /\bsubscriptions\b/,
+    dialogs: /\?(?:modal|popover-open)\s*=/i,
+    disposal: /\bdispose\b/,
+    errorView: /\berror\b/,
+    errored: /\bErrored\b/,
+};
+/** Each feature's registration module in core (`src/<name>.ts`, published as `dist/<name>.js`). */
+const REGISTRATION = {
+    invokers: 'use-invokers',
+    transitions: 'use-transitions',
+    frame: 'use-frame-lane',
+    states: 'use-states',
+    forms: 'use-form-associated',
+    subscriptions: 'use-subscriptions',
+    dialogs: 'use-dialogs',
+    disposal: 'use-disposal',
+    errorView: 'use-error-view',
+    errored: 'use-errored',
+};
+/**
+ * Text a module must contain to use a feature (the plugins' transform filters list the same).
+ * `invokers`: also any import or export, which may reach `raw`.
+ */
+export const FEATURE_HINTS = {
+    invokers: /data-intent-on|command|raw|import|export/i,
+    transitions: /viewTransition/,
+    frame: /renderOnFrame/,
+    states: /states/,
+    forms: /formAssociated/,
+    subscriptions: /subscriptions/,
+    dialogs: /modal|popover-open/i,
+    disposal: /dispose/,
+    errorView: /error/,
+    errored: /Errored/,
+};
+const PREFIX = 'virtual:gyral-use/';
+/** The package that exports `raw`. */
+const CORE = '@gyral/core';
+const RESOLVED = '\0gyral-use/';
+const SCRIPT = /\.[cm]?[jt]sx?$/;
+/** core's compiled entry, in its source tree or its published dist/: [, dir, extension]. */
+const ENTRY_FILE = /[\\/](src|dist)[\\/]view[\\/]compiled\.(ts|js)$/;
+const importsOf = (features) => features.map((feature) => `\nimport ${JSON.stringify(PREFIX + feature)};`).join('');
+/**
+ * Detection for `features`. `ownEntry`: the compiled entry of the core copy running the plugin,
+ * used when the app's root can't resolve `@gyral/core/compiled` (fixtures, unusual layouts).
+ */
+export function createFeatures(features, ownEntry) {
+    let entry = ownEntry;
+    let scope = createScope();
+    const skipped = new Set([ownEntry.replace(ENTRY_FILE, '/')]);
+    /** A registration module next to the compiled entry's view/ directory. */
+    const moduleOf = (name) => entry.replace(ENTRY_FILE, (_, dir, ext) => `/${dir}/${name}.${ext}`);
+    const isCore = (id) => [...skipped].some((dir) => id.startsWith(dir));
+    /**
+     * Whether one of `specifiers`, imported by `importer`, is a module of core (where `raw` comes
+     * from): `@gyral/core` or one of its subpaths, or a specifier that resolves into core (an
+     * alias, a path). Another package that re-exports core's `raw` counts in its own module.
+     */
+    async function coreAmong(specifiers, importer, resolve) {
+        for (const specifier of specifiers) {
+            if (specifier === CORE || specifier.startsWith(`${CORE}/`))
+                return true;
+            let resolved = null;
+            try {
+                resolved = await resolve(specifier, importer);
+            }
+            catch {
+                // unresolvable: the bundler reports it
+            }
+            const id = resolved?.id.replace(/\?.*$/, '');
+            if (id !== undefined && (isCore(id) || scope.packageOf(id) === CORE))
+                return true;
+        }
+        return false;
+    }
+    return {
+        async buildStart(resolve, root) {
+            scope = createScope(); // manifests may have changed since the last build (watch mode)
+            const resolved = await resolve('@gyral/core/compiled', join(root, 'index.html'));
+            if (resolved === null || !ENTRY_FILE.test(resolved.id))
+                return;
+            entry = resolved.id;
+            skipped.add(entry.replace(ENTRY_FILE, '/'));
+        },
+        resolveId(source) {
+            if (!source.startsWith(PREFIX))
+                return null;
+            const feature = source.slice(PREFIX.length);
+            return features.includes(feature)
+                ? { id: RESOLVED + feature, moduleSideEffects: true }
+                : null;
+        },
+        load(id) {
+            if (!id.startsWith(RESOLVED))
+                return null;
+            const file = moduleOf(REGISTRATION[id.slice(RESOLVED.length)]);
+            return `import { register } from ${JSON.stringify(file)};\nregister();\n`;
+        },
+        async inject(code, id, context) {
+            const file = id.replace(/\?.*$/, '');
+            if (id.startsWith('\0') || !SCRIPT.test(file) || isCore(file))
+                return '';
+            const hinted = features.filter((feature) => FEATURE_HINTS[feature].test(code));
+            if (hinted.length === 0 || !scope.inScope(file))
+                return '';
+            let program;
+            try {
+                program = context.parse(code, langOf(file));
+            }
+            catch {
+                return importsOf(hinted.filter((feature) => TEXT_USES[feature].test(code)));
+            }
+            const facts = factsOf(program);
+            const used = [];
+            for (const feature of hinted) {
+                if (writes(facts, feature) ||
+                    (feature === 'invokers' && (await coreAmong(facts.rawSources, id, context.resolve))))
+                    used.push(feature);
+            }
+            return importsOf(used);
+        },
+    };
+}
+//# sourceMappingURL=features.js.map

package/dist/compiler/features.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"features.js","sourceRoot":"","sources":["../../src/compiler/features.ts"],"names":[],"mappings":"AAAA,mFAAmF;AACnF,+FAA+F;AAC/F,8FAA8F;AAC9F,0GAA0G;AAC1G,oFAAoF;AACpF,6FAA6F;AAC7F,6FAA6F;AAC7F,0FAA0F;AAC1F,8FAA8F;AAC9F,+FAA+F;AAC/F,+FAA+F;AAC/F,uBAAuB;AACvB,EAAE;AACF,6FAA6F;AAC7F,+FAA+F;AAC/F,qFAAqF;AACrF,8FAA8F;AAC9F,2FAA2F;AAC3F,yFAAyF;AACzF,+GAA+G;AAC/G,+FAA+F;AAC/F,2DAA2D;AAC3D,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,MAAM,EAAa,MAAM,UAAU,CAAC;AAC7C,OAAO,EAAE,OAAO,EAAE,MAAM,EAAgB,MAAM,YAAY,CAAC;AAC3D,OAAO,EAAE,WAAW,EAAc,MAAM,YAAY,CAAC;AAIrD,iFAAiF;AACjF,MAAM,SAAS,GAAsC;IACnD,QAAQ,EACN,+HAA+H;IACjI,WAAW,EAAE,oBAAoB;IACjC,KAAK,EAAE,mBAAmB;IAC1B,MAAM,EAAE,YAAY;IACpB,KAAK,EAAE,oBAAoB;IAC3B,aAAa,EAAE,mBAAmB;IAClC,OAAO,EAAE,+BAA+B;IACxC,QAAQ,EAAE,aAAa;IACvB,SAAS,EAAE,WAAW;IACtB,OAAO,EAAE,aAAa;CACvB,CAAC;AAEF,mGAAmG;AACnG,MAAM,YAAY,GAAsC;IACtD,QAAQ,EAAE,cAAc;IACxB,WAAW,EAAE,iBAAiB;IAC9B,KAAK,EAAE,gBAAgB;IACvB,MAAM,EAAE,YAAY;IACpB,KAAK,EAAE,qBAAqB;IAC5B,aAAa,EAAE,mBAAmB;IAClC,OAAO,EAAE,aAAa;IACtB,QAAQ,EAAE,cAAc;IACxB,SAAS,EAAE,gBAAgB;IAC3B,OAAO,EAAE,aAAa;CACvB,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,aAAa,GAAsC;IAC9D,QAAQ,EAAE,2CAA2C;IACrD,WAAW,EAAE,gBAAgB;IAC7B,KAAK,EAAE,eAAe;IACtB,MAAM,EAAE,QAAQ;IAChB,KAAK,EAAE,gBAAgB;IACvB,aAAa,EAAE,eAAe;IAC9B,OAAO,EAAE,qBAAqB;IAC9B,QAAQ,EAAE,SAAS;IACnB,SAAS,EAAE,OAAO;IAClB,OAAO,EAAE,SAAS;CACnB,CAAC;AAEF,MAAM,MAAM,GAAG,oBAAoB,CAAC;AACpC,sCAAsC;AACtC,MAAM,IAAI,GAAG,aAAa,CAAC;AAC3B,MAAM,QAAQ,GAAG,cAAc,CAAC;AAChC,MAAM,MAAM,GAAG,iBAAiB,CAAC;AACjC,4FAA4F;AAC5F,MAAM,UAAU,GAAG,iDAAiD,CAAC;AAqBrE,MAAM,SAAS,GAAG,CAAC,QAA4B,EAAU,EAAE,CACzD,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,YAAY,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAEtF;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,QAA4B,EAAE,QAAgB;IAC3E,IAAI,KAAK,GAAG,QAAQ,CAAC;IACrB,IAAI,KAAK,GAAU,WAAW,EAAE,CAAC;IACjC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IAC7D,0EAA0E;IAC1E,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAU,EAAE,CACxC,KAAK,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,EAAE,GAAW,EAAE,GAAW,EAAE,EAAE,CAAC,IAAI,GAAG,IAAI,IAAI,IAAI,GAAG,EAAE,CAAC,CAAC;IACvF,MAAM,MAAM,GAAG,CAAC,EAAU,EAAW,EAAE,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;IAEvF;;;;OAIG;IACH,KAAK,UAAU,SAAS,CACtB,UAA6B,EAC7B,QAAgB,EAChB,OAAgB;QAEhB,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;YACnC,IAAI,SAAS,KAAK,IAAI,IAAI,SAAS,CAAC,UAAU,CAAC,GAAG,IAAI,GAAG,CAAC;gBAAE,OAAO,IAAI,CAAC;YACxE,IAAI,QAAQ,GAAmC,IAAI,CAAC;YACpD,IAAI,CAAC;gBACH,QAAQ,GAAG,MAAM,OAAO,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;YAChD,CAAC;YAAC,MAAM,CAAC;gBACP,uCAAuC;YACzC,CAAC;YACD,MAAM,EAAE,GAAG,QAAQ,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YAC7C,IAAI,EAAE,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;QACpF,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO;QACL,KAAK,CAAC,UAAU,CAAC,OAAO,EAAE,IAAI;YAC5B,KAAK,GAAG,WAAW,EAAE,CAAC,CAAC,+DAA+D;YACtF,MAAM,QAAQ,GAAG,MAAM,OAAO,CAAC,sBAAsB,EAAE,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC;YACjF,IAAI,QAAQ,KAAK,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAAE,OAAO;YAC/D,KAAK,GAAG,QAAQ,CAAC,EAAE,CAAC;YACpB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC;QAC9C,CAAC;QACD,SAAS,CAAC,MAAM;YACd,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC5C,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAY,CAAC;YACvD,OAAO,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC;gBAC/B,CAAC,CAAC,EAAE,EAAE,EAAE,QAAQ,GAAG,OAAO,EAAE,iBAAiB,EAAE,IAAI,EAAE;gBACrD,CAAC,CAAC,IAAI,CAAC;QACX,CAAC;QACD,IAAI,CAAC,EAAE;YACL,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC1C,MAAM,IAAI,GAAG,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAY,CAAC,CAAC,CAAC;YAC1E,OAAO,4BAA4B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,kBAAkB,CAAC;QAC5E,CAAC;QACD,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO;YAC5B,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YACrC,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC;gBAAE,OAAO,EAAE,CAAC;YACzE,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YAC/E,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;gBAAE,OAAO,EAAE,CAAC;YAC3D,IAAI,OAAa,CAAC;YAClB,IAAI,CAAC;gBACH,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAS,CAAC;YACtD,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC9E,CAAC;YACD,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;YAC/B,MAAM,IAAI,GAAc,EAAE,CAAC;YAC3B,KAAK,MAAM,OAAO,IAAI,MAAM,EAAE,CAAC;gBAC7B,IACE,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC;oBACtB,CAAC,OAAO,KAAK,UAAU,IAAI,CAAC,MAAM,SAAS,CAAC,KAAK,CAAC,UAAU,EAAE,EAAE,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;oBAEpF,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACvB,CAAC;YACD,OAAO,SAAS,CAAC,IAAI,CAAC,CAAC;QACzB,CAAC;KACF,CAAC;AACJ,CAAC","sourcesContent":["// Build-time feature detection (view/05-element.md \"Features register themselves\",\n// gyral-c5d.11, gyral-c5d.12), loaded lazily by the plugin shells in ../vite.ts. Some optional\n// machinery can't register itself from an API call, because apps reach it through plain data:\n// spec fields (`viewTransition`, `renderOnFrame`, `states`, `subscriptions`) and markup (`data-intent-on`\n// values, `raw()` content). In builds that leave that machinery out by default (the\n// `gyral-compiled` condition, and `gyral-client-only` for the invoker fallback), the modules\n// that can affect Gyral components are scanned, and a module that may use a feature gets one\n// import added at its end: `virtual:gyral-use/<feature>`, a side-effect module that calls\n// `register()` from core's `use-<feature>` module before any module that imports it runs. The\n// registration modules are reached only this way, never from an entry, so a build that doesn't\n// use a feature doesn't even load its code (Rolldown emits chunks for every import() it loads,\n// tree-shaken or not).\n//\n// Which modules (scope.ts): the app's own source, and installed packages that are Gyral's or\n// depend on one, directly or through their dependencies. What counts in them (facts.ts): names\n// and strings in the module's AST, never comments, and `raw` only when it comes from\n// `@gyral/core`. Both over-approximate, so the scan stays sound: a field or event can only be\n// set by writing its name somewhere, in a module that can reach Gyral (a name built at run\n// time, such as `{ ['sta' + 'tes']: … }`, or spec data written in a package that doesn't\n// depend on Gyral, are the gaps; view/05 says what then degrades). A false positive only bundles a few hundred\n// bytes that weren't needed. Core's own modules are skipped (they implement it); a module that\n// doesn't parse is matched on its text, comments included.\nimport { join } from 'node:path';\nimport { langOf, type Node } from './ast.js';\nimport { factsOf, writes, type Feature } from './facts.js';\nimport { createScope, type Scope } from './scope.js';\n\nexport type { Feature } from './facts.js';\n\n/** The text fallback, for a module that doesn't parse: the 0.3.1-next.0 scan. */\nconst TEXT_USES: Readonly<Record<Feature, RegExp>> = {\n  invokers:\n    /data-intent-command\\s*=|data-intent-on\\s*=\\s*\\\\?[\"']?(?:[\\w-]+\\s+)*(?:command\\b|\\$\\{)|([\"'`])command\\1|\\braw\\b\\s*(?:\\(|as\\b)/i,\n  transitions: /\\bviewTransition\\b/,\n  frame: /\\brenderOnFrame\\b/,\n  states: /\\bstates\\b/,\n  forms: /\\bformAssociated\\b/,\n  subscriptions: /\\bsubscriptions\\b/,\n  dialogs: /\\?(?:modal|popover-open)\\s*=/i,\n  disposal: /\\bdispose\\b/,\n  errorView: /\\berror\\b/,\n  errored: /\\bErrored\\b/,\n};\n\n/** Each feature's registration module in core (`src/<name>.ts`, published as `dist/<name>.js`). */\nconst REGISTRATION: Readonly<Record<Feature, string>> = {\n  invokers: 'use-invokers',\n  transitions: 'use-transitions',\n  frame: 'use-frame-lane',\n  states: 'use-states',\n  forms: 'use-form-associated',\n  subscriptions: 'use-subscriptions',\n  dialogs: 'use-dialogs',\n  disposal: 'use-disposal',\n  errorView: 'use-error-view',\n  errored: 'use-errored',\n};\n\n/**\n * Text a module must contain to use a feature (the plugins' transform filters list the same).\n * `invokers`: also any import or export, which may reach `raw`.\n */\nexport const FEATURE_HINTS: Readonly<Record<Feature, RegExp>> = {\n  invokers: /data-intent-on|command|raw|import|export/i,\n  transitions: /viewTransition/,\n  frame: /renderOnFrame/,\n  states: /states/,\n  forms: /formAssociated/,\n  subscriptions: /subscriptions/,\n  dialogs: /modal|popover-open/i,\n  disposal: /dispose/,\n  errorView: /error/,\n  errored: /Errored/,\n};\n\nconst PREFIX = 'virtual:gyral-use/';\n/** The package that exports `raw`. */\nconst CORE = '@gyral/core';\nconst RESOLVED = '\\0gyral-use/';\nconst SCRIPT = /\\.[cm]?[jt]sx?$/;\n/** core's compiled entry, in its source tree or its published dist/: [, dir, extension]. */\nconst ENTRY_FILE = /[\\\\/](src|dist)[\\\\/]view[\\\\/]compiled\\.(ts|js)$/;\n\n/** A plugin context's `resolve`, as far as detection needs it. */\ntype Resolve = (source: string, importer: string) => Promise<{ readonly id: string } | null>;\n\n/** What the scan needs from the transform hook's plugin context. */\nexport interface ScanContext {\n  /** `this.parse` (Rolldown's parser, TypeScript included). */\n  readonly parse: (code: string, lang: ReturnType<typeof langOf>) => unknown;\n  readonly resolve: Resolve;\n}\n\nexport interface FeatureHooks {\n  /** Finds the core copy the app imports (its compiled entry), to register with and to skip. */\n  buildStart(resolve: Resolve, root: string): Promise<void>;\n  resolveId(source: string): { id: string; moduleSideEffects: true } | null;\n  load(id: string): string | null;\n  /** The imports to append to module `id` for the features its `code` may use; '' for none. */\n  inject(code: string, id: string, context: ScanContext): Promise<string>;\n}\n\nconst importsOf = (features: readonly Feature[]): string =>\n  features.map((feature) => `\\nimport ${JSON.stringify(PREFIX + feature)};`).join('');\n\n/**\n * Detection for `features`. `ownEntry`: the compiled entry of the core copy running the plugin,\n * used when the app's root can't resolve `@gyral/core/compiled` (fixtures, unusual layouts).\n */\nexport function createFeatures(features: readonly Feature[], ownEntry: string): FeatureHooks {\n  let entry = ownEntry;\n  let scope: Scope = createScope();\n  const skipped = new Set([ownEntry.replace(ENTRY_FILE, '/')]);\n  /** A registration module next to the compiled entry's view/ directory. */\n  const moduleOf = (name: string): string =>\n    entry.replace(ENTRY_FILE, (_, dir: string, ext: string) => `/${dir}/${name}.${ext}`);\n  const isCore = (id: string): boolean => [...skipped].some((dir) => id.startsWith(dir));\n\n  /**\n   * Whether one of `specifiers`, imported by `importer`, is a module of core (where `raw` comes\n   * from): `@gyral/core` or one of its subpaths, or a specifier that resolves into core (an\n   * alias, a path). Another package that re-exports core's `raw` counts in its own module.\n   */\n  async function coreAmong(\n    specifiers: readonly string[],\n    importer: string,\n    resolve: Resolve,\n  ): Promise<boolean> {\n    for (const specifier of specifiers) {\n      if (specifier === CORE || specifier.startsWith(`${CORE}/`)) return true;\n      let resolved: { readonly id: string } | null = null;\n      try {\n        resolved = await resolve(specifier, importer);\n      } catch {\n        // unresolvable: the bundler reports it\n      }\n      const id = resolved?.id.replace(/\\?.*$/, '');\n      if (id !== undefined && (isCore(id) || scope.packageOf(id) === CORE)) return true;\n    }\n    return false;\n  }\n\n  return {\n    async buildStart(resolve, root) {\n      scope = createScope(); // manifests may have changed since the last build (watch mode)\n      const resolved = await resolve('@gyral/core/compiled', join(root, 'index.html'));\n      if (resolved === null || !ENTRY_FILE.test(resolved.id)) return;\n      entry = resolved.id;\n      skipped.add(entry.replace(ENTRY_FILE, '/'));\n    },\n    resolveId(source) {\n      if (!source.startsWith(PREFIX)) return null;\n      const feature = source.slice(PREFIX.length) as Feature;\n      return features.includes(feature)\n        ? { id: RESOLVED + feature, moduleSideEffects: true }\n        : null;\n    },\n    load(id) {\n      if (!id.startsWith(RESOLVED)) return null;\n      const file = moduleOf(REGISTRATION[id.slice(RESOLVED.length) as Feature]);\n      return `import { register } from ${JSON.stringify(file)};\\nregister();\\n`;\n    },\n    async inject(code, id, context) {\n      const file = id.replace(/\\?.*$/, '');\n      if (id.startsWith('\\0') || !SCRIPT.test(file) || isCore(file)) return '';\n      const hinted = features.filter((feature) => FEATURE_HINTS[feature].test(code));\n      if (hinted.length === 0 || !scope.inScope(file)) return '';\n      let program: Node;\n      try {\n        program = context.parse(code, langOf(file)) as Node;\n      } catch {\n        return importsOf(hinted.filter((feature) => TEXT_USES[feature].test(code)));\n      }\n      const facts = factsOf(program);\n      const used: Feature[] = [];\n      for (const feature of hinted) {\n        if (\n          writes(facts, feature) ||\n          (feature === 'invokers' && (await coreAmong(facts.rawSources, id, context.resolve)))\n        )\n          used.push(feature);\n      }\n      return importsOf(used);\n    },\n  };\n}\n"]}

package/dist/compiler/hooks.d.ts

@@ -6,6 +6,8 @@ type HookFn<K extends keyof Plugin> = Fn<NonNullable<Plugin[K]>>;
 export interface CompilerHooks {
     readonly configResolved: HookFn<'configResolved'>;
     readonly buildStart: HookFn<'buildStart'>;
+    readonly resolveId: HookFn<'resolveId'>;
+    readonly load: HookFn<'load'>;
     readonly transform: HookFn<'transform'>;
     readonly generateBundle: HookFn<'generateBundle'>;
 }
@@ -13,6 +15,8 @@ export interface CompilerSettings {
     readonly sources: readonly string[];
     /** The module to load parse5 from; undefined skips the parse5 check. */
     readonly parse5: string | undefined;
+    /** The compiled entry of the core copy running the plugin (features.ts). */
+    readonly ownEntry: string;
 }
 export declare function createCompiler(settings: CompilerSettings): CompilerHooks;
 export {};