@gyral/core 0.2.0 → 0.3.1

package/dist/eslint/row-purity-rule.d.ts

@@ -0,0 +1,2 @@
+import type { Rule } from 'eslint';
+export declare const rowPurityRule: Rule.RuleModule;

package/dist/eslint/row-purity-rule.js

@@ -0,0 +1,103 @@
+import { findVariable, isGyral, OPTIONS_SCHEMA } from './imports.js';
+const isFn = (node) => node?.type === 'ArrowFunctionExpression' ||
+    node?.type === 'FunctionExpression' ||
+    node?.type === 'FunctionDeclaration';
+/** The function a binding holds when that is static: `function F`, or `const F = (…) => …`. */
+function boundFunction(variable) {
+    const def = variable?.defs.length === 1 ? variable.defs[0] : undefined;
+    if (def?.type === 'FunctionName')
+        return def.node;
+    if (def?.type !== 'Variable' || def.parent.kind !== 'const')
+        return undefined;
+    const init = def.node.init;
+    return isFn(init) ? init : undefined;
+}
+/**
+ * The function a `row` argument is: inline, or a name bound to one. Anything else (a call, a
+ * parameter, a `let`) can't be followed statically; the development check (view/03) covers it.
+ */
+function rowFunction(context, row) {
+    if (isFn(row))
+        return row;
+    if (row.type !== 'Identifier')
+        return undefined;
+    return boundFunction(findVariable(context.sourceCode.getScope(row), row.name));
+}
+/**
+ * The references in `fn` (nested functions included) to bindings of enclosing functions. A
+ * helper beside the row (`const Cell = (…) => …` in the same function) is followed instead: it
+ * is fine when it reads nothing from an enclosing function itself. `seen` stops recursion.
+ */
+function enclosingReads(context, fn, seen) {
+    seen.add(fn);
+    return context.sourceCode.getScope(fn).through.filter((ref) => {
+        if ('isValueReference' in ref && ref.isValueReference === false)
+            return false; // a type
+        const variable = ref.resolved;
+        if (variable === null)
+            return false; // a global
+        const type = variable.scope.variableScope.type;
+        if (type === 'module' || type === 'global')
+            return false;
+        const helper = boundFunction(variable);
+        if (helper === undefined)
+            return true;
+        return !seen.has(helper) && enclosingReads(context, helper, seen).length > 0;
+    });
+}
+/** `s`, or `s.selected` / `s.a.b` when the reference starts a property chain, and its node. */
+function readOf(id) {
+    let name = id.type === 'Identifier' ? id.name : '';
+    let node = id;
+    for (let p = node.parent; p?.type === 'MemberExpression'; p = p.parent) {
+        if (p.object !== node || p.computed || p.property.type !== 'Identifier')
+            break;
+        name += `.${p.property.name}`;
+        node = p;
+    }
+    return { name, node };
+}
+const isMissing = (key) => (key.type === 'Identifier' && key.name === 'undefined') ||
+    (key.type === 'Literal' && key.value === null);
+export const rowPurityRule = {
+    meta: {
+        type: 'problem',
+        docs: {
+            description: "each()'s row reads only its item, its picked value, module-level bindings and " +
+                'imports; each() has a key function (view/03-lists.md, rules 8 and 9).',
+            recommended: true,
+            url: 'https://github.com/gyraljs/gyral/blob/main/docs/design-docs/view/03-lists.md',
+        },
+        schema: OPTIONS_SCHEMA,
+        messages: {
+            reads: '`row` reads `{{name}}`; return it from `pick` and take it as the second argument ' +
+                '(view/03-lists.md).',
+            key: 'each() needs a key function as its second argument: each(items, (x) => x.id, Row) ' +
+                '(docs/design-docs/view/03-lists.md "Keys", rule 9).',
+        },
+    },
+    create(context) {
+        const reported = new Set();
+        return {
+            CallExpression(node) {
+                if (!isGyral(context, node.callee, 'each'))
+                    return;
+                const [, key, row] = node.arguments;
+                if (key === undefined || row === undefined || isMissing(key)) {
+                    context.report({ node, messageId: 'key' });
+                }
+                const fn = row === undefined ? undefined : rowFunction(context, row);
+                if (fn === undefined)
+                    return;
+                for (const ref of enclosingReads(context, fn, new Set())) {
+                    const { name, node: read } = readOf(ref.identifier);
+                    if (reported.has(read))
+                        continue; // one row passed to several each() calls
+                    reported.add(read);
+                    context.report({ node: read, messageId: 'reads', data: { name } });
+                }
+            },
+        };
+    },
+};
+//# sourceMappingURL=row-purity-rule.js.map

package/dist/eslint/row-purity-rule.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"row-purity-rule.js","sourceRoot":"","sources":["../../src/eslint/row-purity-rule.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE,cAAc,EAA0B,MAAM,cAAc,CAAC;AAK7F,MAAM,IAAI,GAAG,CAAC,IAA6B,EAAc,EAAE,CACzD,IAAI,EAAE,IAAI,KAAK,yBAAyB;IACxC,IAAI,EAAE,IAAI,KAAK,oBAAoB;IACnC,IAAI,EAAE,IAAI,KAAK,qBAAqB,CAAC;AAEvC,+FAA+F;AAC/F,SAAS,aAAa,CAAC,QAA2C;IAChE,MAAM,GAAG,GAAG,QAAQ,EAAE,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACvE,IAAI,GAAG,EAAE,IAAI,KAAK,cAAc;QAAE,OAAO,GAAG,CAAC,IAAU,CAAC;IACxD,IAAI,GAAG,EAAE,IAAI,KAAK,UAAU,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,SAAS,CAAC;IAC9E,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,IAA+B,CAAC;IACtD,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AACvC,CAAC;AAED;;;GAGG;AACH,SAAS,WAAW,CAAC,OAAyB,EAAE,GAAS;IACvD,IAAI,IAAI,CAAC,GAAG,CAAC;QAAE,OAAO,GAAG,CAAC;IAC1B,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,SAAS,CAAC;IAChD,OAAO,aAAa,CAAC,YAAY,CAAC,OAAO,CAAC,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;AACjF,CAAC;AAED;;;;GAIG;AACH,SAAS,cAAc,CAAC,OAAyB,EAAE,EAAM,EAAE,IAAa;IACtE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACb,OAAO,OAAO,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE;QAC5D,IAAI,kBAAkB,IAAI,GAAG,IAAI,GAAG,CAAC,gBAAgB,KAAK,KAAK;YAAE,OAAO,KAAK,CAAC,CAAC,SAAS;QACxF,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC;QAC9B,IAAI,QAAQ,KAAK,IAAI;YAAE,OAAO,KAAK,CAAC,CAAC,WAAW;QAChD,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC;QAC/C,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QACzD,MAAM,MAAM,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;QACvC,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QACtC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;AACL,CAAC;AAED,+FAA+F;AAC/F,SAAS,MAAM,CAAC,EAAQ;IACtB,IAAI,IAAI,GAAG,EAAE,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;IACnD,IAAI,IAAI,GAAS,EAAE,CAAC;IACpB,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,IAAI,KAAK,kBAAkB,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;QACvE,IAAI,CAAC,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY;YAAE,MAAM;QAC/E,IAAI,IAAI,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;QAC9B,IAAI,GAAG,CAAC,CAAC;IACX,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AACxB,CAAC;AAED,MAAM,SAAS,GAAG,CAAC,GAAS,EAAW,EAAE,CACvC,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,IAAI,GAAG,CAAC,IAAI,KAAK,WAAW,CAAC;IACvD,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC;AAEjD,MAAM,CAAC,MAAM,aAAa,GAAoB;IAC5C,IAAI,EAAE;QACJ,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,WAAW,EACT,gFAAgF;gBAChF,uEAAuE;YACzE,WAAW,EAAE,IAAI;YACjB,GAAG,EAAE,8EAA8E;SACpF;QACD,MAAM,EAAE,cAAc;QACtB,QAAQ,EAAE;YACR,KAAK,EACH,mFAAmF;gBACnF,qBAAqB;YACvB,GAAG,EACD,oFAAoF;gBACpF,qDAAqD;SACxD;KACF;IACD,MAAM,CAAC,OAAO;QACZ,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAQ,CAAC;QACjC,OAAO;YACL,cAAc,CAAC,IAAI;gBACjB,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,MAAc,EAAE,MAAM,CAAC;oBAAE,OAAO;gBAC3D,MAAM,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,IAAI,CAAC,SAAmB,CAAC;gBAC9C,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS,IAAI,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC7D,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;gBAC7C,CAAC;gBACD,MAAM,EAAE,GAAG,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;gBACrE,IAAI,EAAE,KAAK,SAAS;oBAAE,OAAO;gBAC7B,KAAK,MAAM,GAAG,IAAI,cAAc,CAAC,OAAO,EAAE,EAAE,EAAE,IAAI,GAAG,EAAE,CAAC,EAAE,CAAC;oBACzD,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,UAAkB,CAAC,CAAC;oBAC5D,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;wBAAE,SAAS,CAAC,yCAAyC;oBAC3E,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBACnB,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;gBACrE,CAAC;YACH,CAAC;SACF,CAAC;IACJ,CAAC;CACF,CAAC","sourcesContent":["// gyral/each-row-purity: rules 8 and 9 of view/09-template-rules.md (view/03-lists.md \"Rows must\n// be pure\", \"Keys\"). A skipped row is only correct when its output depends on nothing but\n// (item, picked), so `each`'s row may read only its own parameters and locals, module-level\n// bindings, imports and globals; anything from an enclosing function (the view's `s`, `i`, `ctx`,\n// its locals) must come through `pick`. Helper functions declared beside the row are followed\n// (they may read only the same). And every `each` needs a key function.\nimport type { Rule, Scope } from 'eslint';\nimport { findVariable, isGyral, OPTIONS_SCHEMA, type Node, type NodeOf } from './imports.js';\n\ntype Fn =\n  NodeOf<'ArrowFunctionExpression'> | NodeOf<'FunctionExpression'> | NodeOf<'FunctionDeclaration'>;\n\nconst isFn = (node: Node | null | undefined): node is Fn =>\n  node?.type === 'ArrowFunctionExpression' ||\n  node?.type === 'FunctionExpression' ||\n  node?.type === 'FunctionDeclaration';\n\n/** The function a binding holds when that is static: `function F`, or `const F = (…) => …`. */\nfunction boundFunction(variable: Scope.Variable | null | undefined): Fn | undefined {\n  const def = variable?.defs.length === 1 ? variable.defs[0] : undefined;\n  if (def?.type === 'FunctionName') return def.node as Fn;\n  if (def?.type !== 'Variable' || def.parent.kind !== 'const') return undefined;\n  const init = def.node.init as Node | null | undefined;\n  return isFn(init) ? init : undefined;\n}\n\n/**\n * The function a `row` argument is: inline, or a name bound to one. Anything else (a call, a\n * parameter, a `let`) can't be followed statically; the development check (view/03) covers it.\n */\nfunction rowFunction(context: Rule.RuleContext, row: Node): Fn | undefined {\n  if (isFn(row)) return row;\n  if (row.type !== 'Identifier') return undefined;\n  return boundFunction(findVariable(context.sourceCode.getScope(row), row.name));\n}\n\n/**\n * The references in `fn` (nested functions included) to bindings of enclosing functions. A\n * helper beside the row (`const Cell = (…) => …` in the same function) is followed instead: it\n * is fine when it reads nothing from an enclosing function itself. `seen` stops recursion.\n */\nfunction enclosingReads(context: Rule.RuleContext, fn: Fn, seen: Set<Fn>): Scope.Reference[] {\n  seen.add(fn);\n  return context.sourceCode.getScope(fn).through.filter((ref) => {\n    if ('isValueReference' in ref && ref.isValueReference === false) return false; // a type\n    const variable = ref.resolved;\n    if (variable === null) return false; // a global\n    const type = variable.scope.variableScope.type;\n    if (type === 'module' || type === 'global') return false;\n    const helper = boundFunction(variable);\n    if (helper === undefined) return true;\n    return !seen.has(helper) && enclosingReads(context, helper, seen).length > 0;\n  });\n}\n\n/** `s`, or `s.selected` / `s.a.b` when the reference starts a property chain, and its node. */\nfunction readOf(id: Node): { name: string; node: Node } {\n  let name = id.type === 'Identifier' ? id.name : '';\n  let node: Node = id;\n  for (let p = node.parent; p?.type === 'MemberExpression'; p = p.parent) {\n    if (p.object !== node || p.computed || p.property.type !== 'Identifier') break;\n    name += `.${p.property.name}`;\n    node = p;\n  }\n  return { name, node };\n}\n\nconst isMissing = (key: Node): boolean =>\n  (key.type === 'Identifier' && key.name === 'undefined') ||\n  (key.type === 'Literal' && key.value === null);\n\nexport const rowPurityRule: Rule.RuleModule = {\n  meta: {\n    type: 'problem',\n    docs: {\n      description:\n        \"each()'s row reads only its item, its picked value, module-level bindings and \" +\n        'imports; each() has a key function (view/03-lists.md, rules 8 and 9).',\n      recommended: true,\n      url: 'https://github.com/gyraljs/gyral/blob/main/docs/design-docs/view/03-lists.md',\n    },\n    schema: OPTIONS_SCHEMA,\n    messages: {\n      reads:\n        '`row` reads `{{name}}`; return it from `pick` and take it as the second argument ' +\n        '(view/03-lists.md).',\n      key:\n        'each() needs a key function as its second argument: each(items, (x) => x.id, Row) ' +\n        '(docs/design-docs/view/03-lists.md \"Keys\", rule 9).',\n    },\n  },\n  create(context) {\n    const reported = new Set<Node>();\n    return {\n      CallExpression(node) {\n        if (!isGyral(context, node.callee as Node, 'each')) return;\n        const [, key, row] = node.arguments as Node[];\n        if (key === undefined || row === undefined || isMissing(key)) {\n          context.report({ node, messageId: 'key' });\n        }\n        const fn = row === undefined ? undefined : rowFunction(context, row);\n        if (fn === undefined) return;\n        for (const ref of enclosingReads(context, fn, new Set())) {\n          const { name, node: read } = readOf(ref.identifier as Node);\n          if (reported.has(read)) continue; // one row passed to several each() calls\n          reported.add(read);\n          context.report({ node: read, messageId: 'reads', data: { name } });\n        }\n      },\n    };\n  },\n};\n"]}

package/dist/eslint/template-rule.d.ts

@@ -0,0 +1,6 @@
+import type { Rule } from 'eslint';
+import { TemplateError } from '../view/index.js';
+/** The message ESLint shows: the TemplateError's first line (rule, fix and spec section). */
+export declare const messageOf: (error: TemplateError) => string;
+export declare const CLOSURE: string;
+export declare const templateRule: Rule.RuleModule;

package/dist/eslint/template-rule.js

@@ -0,0 +1,76 @@
+import { checkTemplate, TemplateError } from '../view/index.js';
+import { isGyral, OPTIONS_SCHEMA } from './imports.js';
+import { cookedMap, errorSpan } from './locate.js';
+/** The message ESLint shows: the TemplateError's first line (rule, fix and spec section). */
+export const messageOf = (error) => error.message.split('\n')[0] ?? '';
+export const CLOSURE = 'Views attach no closures: a function in a template hole is an event handler or a callback. ' +
+    'Name an intent with data-intent=${i.Name} for events, pass data to components (they answer ' +
+    'with outputs), and put behaviour on an element in a hook (view/02-bindings.md "Properties").';
+const INVALID_ESCAPE = 'This template has an invalid escape sequence, so it has no string value at runtime. ' +
+    'Fix the escape (write \\\\ for a backslash).';
+function quasisOf(context, node) {
+    const text = context.sourceCode.text;
+    const quasis = [];
+    const cooked = [];
+    for (const q of node.quasis) {
+        const value = q.value.cooked;
+        if (typeof value !== 'string')
+            return undefined;
+        const [from, to] = q.range ?? [0, 0];
+        // Parsers include the delimiters (` or } before, ` or ${ after) in the element's range.
+        const start = text.charAt(from) === '`' || text.charAt(from) === '}' ? from + 1 : from;
+        const end = q.tail ? to - 1 : to - 2;
+        // Undecodable (it shouldn't be): point at the quasi's start.
+        const map = cookedMap(text.slice(start, end), value) ?? Array(value.length + 1).fill(0);
+        quasis.push({ start, end, map });
+        cooked.push(value);
+    }
+    return { quasis, cooked };
+}
+export const templateRule = {
+    meta: {
+        type: 'problem',
+        docs: {
+            description: 'Template rules for html`…` and svg`…` (view/09-template-rules.md): the same checks and messages ' +
+                'as the template compiler and the development runtime.',
+            recommended: true,
+            url: 'https://github.com/gyraljs/gyral/blob/main/docs/design-docs/view/09-template-rules.md',
+        },
+        schema: OPTIONS_SCHEMA,
+        messages: { rule: '{{message}}', escape: INVALID_ESCAPE, closure: CLOSURE },
+    },
+    create(context) {
+        return {
+            TaggedTemplateExpression(node) {
+                const tag = node.tag;
+                const svg = isGyral(context, tag, 'svg');
+                if (!svg && !isGyral(context, tag, 'html'))
+                    return;
+                for (const value of node.quasi.expressions) {
+                    if (value.type === 'ArrowFunctionExpression' || value.type === 'FunctionExpression') {
+                        context.report({ node: value, messageId: 'closure' });
+                    }
+                }
+                const parts = quasisOf(context, node.quasi);
+                if (parts === undefined) {
+                    context.report({ node: node.quasi, messageId: 'escape' });
+                    return;
+                }
+                const issue = checkTemplate(parts.cooked, svg);
+                if (issue === undefined)
+                    return;
+                const span = errorSpan(parts.quasis, parts.cooked, issue.strings, issue.at, issue.from);
+                const { sourceCode } = context;
+                context.report({
+                    loc: {
+                        start: sourceCode.getLocFromIndex(span.start),
+                        end: sourceCode.getLocFromIndex(Math.max(span.end, span.start)),
+                    },
+                    messageId: 'rule',
+                    data: { message: messageOf(issue.error) },
+                });
+            },
+        };
+    },
+};
+//# sourceMappingURL=template-rule.js.map

package/dist/eslint/template-rule.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"template-rule.js","sourceRoot":"","sources":["../../src/eslint/template-rule.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAChE,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AACvD,OAAO,EAAE,SAAS,EAAE,SAAS,EAAc,MAAM,aAAa,CAAC;AAE/D,6FAA6F;AAC7F,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,KAAoB,EAAU,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AAE9F,MAAM,CAAC,MAAM,OAAO,GAClB,6FAA6F;IAC7F,6FAA6F;IAC7F,8FAA8F,CAAC;AAEjG,MAAM,cAAc,GAClB,sFAAsF;IACtF,8CAA8C,CAAC;AASjD,SAAS,QAAQ,CACf,OAAyB,EACzB,IAA+C;IAE/C,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC;IACrC,MAAM,MAAM,GAAY,EAAE,CAAC;IAC3B,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAC5B,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC;QAC7B,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAC;QAChD,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACrC,wFAAwF;QACxF,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACvF,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACrC,6DAA6D;QAC7D,MAAM,GAAG,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,KAAK,CAAC,IAAI,KAAK,CAAS,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChG,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;QACjC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrB,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;AAC5B,CAAC;AAED,MAAM,CAAC,MAAM,YAAY,GAAoB;IAC3C,IAAI,EAAE;QACJ,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,WAAW,EACT,kGAAkG;gBAClG,uDAAuD;YACzD,WAAW,EAAE,IAAI;YACjB,GAAG,EAAE,uFAAuF;SAC7F;QACD,MAAM,EAAE,cAAc;QACtB,QAAQ,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,cAAc,EAAE,OAAO,EAAE,OAAO,EAAE;KAC5E;IACD,MAAM,CAAC,OAAO;QACZ,OAAO;YACL,wBAAwB,CAAC,IAAI;gBAC3B,MAAM,GAAG,GAAG,IAAI,CAAC,GAAgB,CAAC;gBAClC,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;gBACzC,IAAI,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,EAAE,MAAM,CAAC;oBAAE,OAAO;gBACnD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC;oBAC3C,IAAI,KAAK,CAAC,IAAI,KAAK,yBAAyB,IAAI,KAAK,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;wBACpF,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,CAAC;oBACxD,CAAC;gBACH,CAAC;gBACD,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC5C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;oBACxB,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC,CAAC;oBAC1D,OAAO;gBACT,CAAC;gBACD,MAAM,KAAK,GAAG,aAAa,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;gBAC/C,IAAI,KAAK,KAAK,SAAS;oBAAE,OAAO;gBAChC,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;gBACxF,MAAM,EAAE,UAAU,EAAE,GAAG,OAAO,CAAC;gBAC/B,OAAO,CAAC,MAAM,CAAC;oBACb,GAAG,EAAE;wBACH,KAAK,EAAE,UAAU,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC;wBAC7C,GAAG,EAAE,UAAU,CAAC,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;qBAChE;oBACD,SAAS,EAAE,MAAM;oBACjB,IAAI,EAAE,EAAE,OAAO,EAAE,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE;iBAC1C,CAAC,CAAC;YACL,CAAC;SACF,CAAC;IACJ,CAAC;CACF,CAAC","sourcesContent":["// gyral/template: the template rules of view/09-template-rules.md, in the editor. Every html`…`\n// (and svg`…`) whose tag is imported from a template source goes through the normalizer's own check\n// (view/normalize/check.ts), the one rule set the compiler and the development runtime use, so\n// the message is the same TemplateError message (minus the `near:`/`at` context, which the\n// editor's location replaces). Not checked here: rule 7's parse5 comparison (compiler only) and\n// the browser's own parse (runtime only); rule 11 (a page shell is fine on the server). Also\n// reported: a function written directly in a hole (`.onclick=${() => …}`), since views attach\n// no closures (view/02-bindings.md \"Properties\"; the runtime warns for property bindings).\nimport type { Rule } from 'eslint';\nimport { checkTemplate, TemplateError } from '../view/index.js';\nimport { isGyral, OPTIONS_SCHEMA } from './imports.js';\nimport { cookedMap, errorSpan, type Quasi } from './locate.js';\n\n/** The message ESLint shows: the TemplateError's first line (rule, fix and spec section). */\nexport const messageOf = (error: TemplateError): string => error.message.split('\\n')[0] ?? '';\n\nexport const CLOSURE =\n  'Views attach no closures: a function in a template hole is an event handler or a callback. ' +\n  'Name an intent with data-intent=${i.Name} for events, pass data to components (they answer ' +\n  'with outputs), and put behaviour on an element in a hook (view/02-bindings.md \"Properties\").';\n\nconst INVALID_ESCAPE =\n  'This template has an invalid escape sequence, so it has no string value at runtime. ' +\n  'Fix the escape (write \\\\\\\\ for a backslash).';\n\n/** What this rule reads of a TemplateElement (ESTree's, or typescript-eslint's). */\ninterface QuasiNode {\n  readonly value: { readonly cooked?: string | null | undefined };\n  readonly range?: [number, number] | undefined;\n  readonly tail: boolean;\n}\n\nfunction quasisOf(\n  context: Rule.RuleContext,\n  node: { readonly quasis: readonly QuasiNode[] },\n): { quasis: Quasi[]; cooked: string[] } | undefined {\n  const text = context.sourceCode.text;\n  const quasis: Quasi[] = [];\n  const cooked: string[] = [];\n  for (const q of node.quasis) {\n    const value = q.value.cooked;\n    if (typeof value !== 'string') return undefined;\n    const [from, to] = q.range ?? [0, 0];\n    // Parsers include the delimiters (` or } before, ` or ${ after) in the element's range.\n    const start = text.charAt(from) === '`' || text.charAt(from) === '}' ? from + 1 : from;\n    const end = q.tail ? to - 1 : to - 2;\n    // Undecodable (it shouldn't be): point at the quasi's start.\n    const map = cookedMap(text.slice(start, end), value) ?? Array<number>(value.length + 1).fill(0);\n    quasis.push({ start, end, map });\n    cooked.push(value);\n  }\n  return { quasis, cooked };\n}\n\nexport const templateRule: Rule.RuleModule = {\n  meta: {\n    type: 'problem',\n    docs: {\n      description:\n        'Template rules for html`…` and svg`…` (view/09-template-rules.md): the same checks and messages ' +\n        'as the template compiler and the development runtime.',\n      recommended: true,\n      url: 'https://github.com/gyraljs/gyral/blob/main/docs/design-docs/view/09-template-rules.md',\n    },\n    schema: OPTIONS_SCHEMA,\n    messages: { rule: '{{message}}', escape: INVALID_ESCAPE, closure: CLOSURE },\n  },\n  create(context) {\n    return {\n      TaggedTemplateExpression(node) {\n        const tag = node.tag as Rule.Node;\n        const svg = isGyral(context, tag, 'svg');\n        if (!svg && !isGyral(context, tag, 'html')) return;\n        for (const value of node.quasi.expressions) {\n          if (value.type === 'ArrowFunctionExpression' || value.type === 'FunctionExpression') {\n            context.report({ node: value, messageId: 'closure' });\n          }\n        }\n        const parts = quasisOf(context, node.quasi);\n        if (parts === undefined) {\n          context.report({ node: node.quasi, messageId: 'escape' });\n          return;\n        }\n        const issue = checkTemplate(parts.cooked, svg);\n        if (issue === undefined) return;\n        const span = errorSpan(parts.quasis, parts.cooked, issue.strings, issue.at, issue.from);\n        const { sourceCode } = context;\n        context.report({\n          loc: {\n            start: sourceCode.getLocFromIndex(span.start),\n            end: sourceCode.getLocFromIndex(Math.max(span.end, span.start)),\n          },\n          messageId: 'rule',\n          data: { message: messageOf(issue.error) },\n        });\n      },\n    };\n  },\n};\n"]}

package/dist/eslint/unused-intent-rule.d.ts

@@ -0,0 +1,2 @@
+import type { Rule } from 'eslint';
+export declare const unusedIntentRule: Rule.RuleModule;

package/dist/eslint/unused-intent-rule.js

@@ -0,0 +1,186 @@
+import { findVariable, importedAs, isGyral, OPTIONS_SCHEMA, } from './imports.js';
+/**
+ * A static `data-intent` or `data-intent-<event>` value in template text (not `data-intent-on`,
+ * whose value is events).
+ */
+const STATIC_INTENT = /\sdata-intent(?:-(?!on=)[\w-]+)?=["']?([^"'\s>]+)/g;
+/** Template text that ends where a `data-intent` or `data-intent-<event>` hole starts. */
+const INTENT_HOLE = /\sdata-intent(?:-(?!on=)[\w-]+)?=["']?$/;
+const isFn = (node) => node?.type === 'ArrowFunctionExpression' ||
+    node?.type === 'FunctionExpression' ||
+    node?.type === 'FunctionDeclaration';
+const keyName = (key) => key.type === 'Identifier'
+    ? key.name
+    : key.type === 'Literal' && typeof key.value === 'string'
+        ? key.value
+        : undefined;
+/** `{ name: value }` entries of an object literal, without spreads or computed keys. */
+function entries(object) {
+    if (object.type !== 'ObjectExpression')
+        return [];
+    return object.properties.flatMap((p) => {
+        if (p.type !== 'Property' || p.computed)
+            return [];
+        const name = keyName(p.key);
+        return name === undefined ? [] : [{ name, key: p.key, value: p.value }];
+    });
+}
+/** Whether a variable is bound in this module (not imported, not a global). */
+const isLocal = (variable) => variable !== undefined && variable.defs.length > 0 && variable.defs[0]?.type !== 'ImportBinding';
+/** The function a view is: inline, or a module binding to one; undefined when elsewhere. */
+function viewFunction(context, view) {
+    if (isFn(view))
+        return view;
+    if (view.type !== 'Identifier')
+        return undefined;
+    const variable = findVariable(context.sourceCode.getScope(view), view.name);
+    const def = variable?.defs[0];
+    if (def?.type === 'FunctionName')
+        return def.node;
+    const init = def?.type === 'Variable' ? def.node.init : null;
+    return isFn(init) ? init : undefined;
+}
+/** Whether `tag` is Gyral's `html` or `svg` (an svg fragment can name intents too). */
+const isTemplateTag = (context, tag) => isGyral(context, tag, 'html') || isGyral(context, tag, 'svg');
+/** Whether `node` sits in a hole of a Gyral html or svg template. */
+function inTemplateHole(context, node) {
+    for (let n = node; n !== null; n = n.parent) {
+        const parent = n.parent;
+        if (parent?.type !== 'TemplateLiteral' || parent.parent.type !== 'TaggedTemplateExpression') {
+            continue;
+        }
+        if (isTemplateTag(context, parent.parent.tag))
+            return true;
+    }
+    return false;
+}
+/**
+ * Whether a template in the module calls, or passes on, a function imported from a module that
+ * isn't a template source: its markup, which this rule can't see, may name intents.
+ */
+function templatesCallImports(context, program) {
+    const global = context.sourceCode.getScope(program);
+    const module = global.childScopes.find((scope) => scope.type === 'module') ?? global;
+    return module.variables.some((v) => {
+        const def = v.defs[0];
+        if (def?.type !== 'ImportBinding')
+            return false;
+        if (importedAs(context, def.name) !== undefined)
+            return false; // core
+        return v.references.some((r) => {
+            const id = r.identifier;
+            return id.parent?.type === 'CallExpression' && inTemplateHole(context, id);
+        });
+    });
+}
+/** Whether `id`'s reference stays in the module: `id.Name`, or an argument to a local function. */
+function staysLocal(context, id) {
+    const parent = id.parent;
+    if (parent === null)
+        return false;
+    if (parent.type === 'MemberExpression' && parent.object === id)
+        return true;
+    if (parent.type !== 'CallExpression' || parent.callee === id)
+        return false;
+    const callee = parent.callee;
+    if (callee.type !== 'Identifier')
+        return false;
+    return isLocal(findVariable(context.sourceCode.getScope(callee), callee.name));
+}
+/** Whether the view's intents parameter (its second) can reach code outside the module. */
+function viewEscapes(context, fn) {
+    const param = fn.params[1];
+    if (param?.type !== 'Identifier')
+        return false; // absent, or destructured (counted as used)
+    const variable = context.sourceCode.getDeclaredVariables(fn).find((v) => v.name === param.name);
+    return (variable?.references ?? []).some((r) => !staysLocal(context, r.identifier));
+}
+export const unusedIntentRule = {
+    meta: {
+        type: 'suggestion',
+        docs: {
+            description: 'An intent parser that no template in the module names with data-intent: a renamed ' +
+                'intent or dead code (view/09-template-rules.md "Warnings").',
+            recommended: true,
+            url: 'https://github.com/gyraljs/gyral/blob/main/docs/design-docs/view/09-template-rules.md',
+        },
+        schema: OPTIONS_SCHEMA,
+        messages: {
+            unused: 'The intent parser "{{name}}" is never named by data-intent in this module, so it never ' +
+                'runs: name it in the view (data-intent=${i.{{name}}}), or remove the parser (messages ' +
+                'that only come from commands need none) (view/09-template-rules.md "Warnings").',
+        },
+    },
+    create(context) {
+        const used = new Set();
+        const components = [];
+        let exportsIntents = false;
+        return {
+            MemberExpression(node) {
+                const name = node.computed ? keyName(node.property) : undefined;
+                if (!node.computed && node.property.type === 'Identifier')
+                    used.add(node.property.name);
+                else if (name !== undefined)
+                    used.add(name);
+            },
+            ObjectPattern(node) {
+                for (const p of node.properties) {
+                    const name = p.type === 'Property' && !p.computed ? keyName(p.key) : undefined;
+                    if (name !== undefined)
+                        used.add(name);
+                }
+            },
+            TaggedTemplateExpression(node) {
+                if (!isTemplateTag(context, node.tag))
+                    return;
+                const { quasis, expressions } = node.quasi;
+                quasis.forEach((q, k) => {
+                    const text = q.value.cooked ?? '';
+                    for (const m of text.matchAll(STATIC_INTENT))
+                        used.add(m[1] ?? '');
+                    const value = expressions[k];
+                    if (INTENT_HOLE.test(text) && value?.type === 'Literal')
+                        used.add(String(value.value));
+                });
+            },
+            CallExpression(node) {
+                const callee = node.callee;
+                if (isGyral(context, callee, 'intentsOf')) {
+                    // `export const i = intentsOf<typeof C>()`: other modules may name the intents.
+                    const declaration = node.parent.parent?.parent;
+                    if (declaration?.type === 'ExportNamedDeclaration')
+                        exportsIntents = true;
+                    return;
+                }
+                // `define<S, M>()(tag, spec)`: the spec is the second argument of the second call.
+                if (callee.type !== 'CallExpression' ||
+                    !isGyral(context, callee.callee, 'define')) {
+                    return;
+                }
+                const spec = node.arguments[1];
+                const fields = spec === undefined ? [] : entries(spec);
+                const intent = fields.find((f) => f.name === 'intent')?.value;
+                const view = fields.find((f) => f.name === 'view')?.value;
+                if (intent === undefined)
+                    return;
+                const parsers = entries(intent).map((e) => ({ name: e.name, node: e.key }));
+                components.push({ parsers, view: view && viewFunction(context, view) });
+            },
+            'Program:exit'(program) {
+                if (exportsIntents || components.length === 0)
+                    return;
+                if (templatesCallImports(context, program))
+                    return;
+                for (const { parsers, view } of components) {
+                    if (view === undefined || viewEscapes(context, view))
+                        continue;
+                    for (const { name, node } of parsers) {
+                        if (!used.has(name))
+                            context.report({ node, messageId: 'unused', data: { name } });
+                    }
+                }
+            },
+        };
+    },
+};
+//# sourceMappingURL=unused-intent-rule.js.map

package/dist/eslint/unused-intent-rule.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"unused-intent-rule.js","sourceRoot":"","sources":["../../src/eslint/unused-intent-rule.ts"],"names":[],"mappings":"AAcA,OAAO,EACL,YAAY,EACZ,UAAU,EACV,OAAO,EACP,cAAc,GAGf,MAAM,cAAc,CAAC;AAEtB;;;GAGG;AACH,MAAM,aAAa,GAAG,oDAAoD,CAAC;AAC3E,0FAA0F;AAC1F,MAAM,WAAW,GAAG,yCAAyC,CAAC;AAU9D,MAAM,IAAI,GAAG,CAAC,IAA6B,EAAc,EAAE,CACzD,IAAI,EAAE,IAAI,KAAK,yBAAyB;IACxC,IAAI,EAAE,IAAI,KAAK,oBAAoB;IACnC,IAAI,EAAE,IAAI,KAAK,qBAAqB,CAAC;AAEvC,MAAM,OAAO,GAAG,CAAC,GAAS,EAAsB,EAAE,CAChD,GAAG,CAAC,IAAI,KAAK,YAAY;IACvB,CAAC,CAAC,GAAG,CAAC,IAAI;IACV,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,GAAG,CAAC,KAAK,KAAK,QAAQ;QACvD,CAAC,CAAC,GAAG,CAAC,KAAK;QACX,CAAC,CAAC,SAAS,CAAC;AAElB,wFAAwF;AACxF,SAAS,OAAO,CAAC,MAAY;IAC3B,IAAI,MAAM,CAAC,IAAI,KAAK,kBAAkB;QAAE,OAAO,EAAE,CAAC;IAClD,OAAO,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;QACrC,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,QAAQ;YAAE,OAAO,EAAE,CAAC;QACnD,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,GAAW,CAAC,CAAC;QACpC,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,GAAW,EAAE,KAAK,EAAE,CAAC,CAAC,KAAa,EAAE,CAAC,CAAC;IAC1F,CAAC,CAAC,CAAC;AACL,CAAC;AAED,+EAA+E;AAC/E,MAAM,OAAO,GAAG,CAAC,QAAoC,EAAW,EAAE,CAChE,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,eAAe,CAAC;AAEnG,4FAA4F;AAC5F,SAAS,YAAY,CAAC,OAAyB,EAAE,IAAU;IACzD,IAAI,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,SAAS,CAAC;IACjD,MAAM,QAAQ,GAAG,YAAY,CAAC,OAAO,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5E,MAAM,GAAG,GAAG,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9B,IAAI,GAAG,EAAE,IAAI,KAAK,cAAc;QAAE,OAAO,GAAG,CAAC,IAAU,CAAC;IACxD,MAAM,IAAI,GAAG,GAAG,EAAE,IAAI,KAAK,UAAU,CAAC,CAAC,CAAE,GAAG,CAAC,IAAI,CAAC,IAAoB,CAAC,CAAC,CAAC,IAAI,CAAC;IAC9E,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AACvC,CAAC;AAED,uFAAuF;AACvF,MAAM,aAAa,GAAG,CAAC,OAAyB,EAAE,GAAS,EAAW,EAAE,CACtE,OAAO,CAAC,OAAO,EAAE,GAAG,EAAE,MAAM,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;AAEhE,qEAAqE;AACrE,SAAS,cAAc,CAAC,OAAyB,EAAE,IAAU;IAC3D,KAAK,IAAI,CAAC,GAAgB,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;QACzD,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC;QACxB,IAAI,MAAM,EAAE,IAAI,KAAK,iBAAiB,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,0BAA0B,EAAE,CAAC;YAC5F,SAAS;QACX,CAAC;QACD,IAAI,aAAa,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,GAAW,CAAC;YAAE,OAAO,IAAI,CAAC;IACrE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;GAGG;AACH,SAAS,oBAAoB,CAAC,OAAyB,EAAE,OAAa;IACpE,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IACpD,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,MAAM,CAAC;IACrF,OAAO,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;QACjC,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,IAAI,GAAG,EAAE,IAAI,KAAK,eAAe;YAAE,OAAO,KAAK,CAAC;QAChD,IAAI,UAAU,CAAC,OAAO,EAAE,GAAG,CAAC,IAA4B,CAAC,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC,CAAC,OAAO;QAC9F,OAAO,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;YAC7B,MAAM,EAAE,GAAG,CAAC,CAAC,UAAkB,CAAC;YAChC,OAAO,EAAE,CAAC,MAAM,EAAE,IAAI,KAAK,gBAAgB,IAAI,cAAc,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QAC7E,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC;AAED,mGAAmG;AACnG,SAAS,UAAU,CAAC,OAAyB,EAAE,EAAQ;IACrD,MAAM,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC;IACzB,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAClC,IAAI,MAAM,CAAC,IAAI,KAAK,kBAAkB,IAAI,MAAM,CAAC,MAAM,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC;IAC5E,IAAI,MAAM,CAAC,IAAI,KAAK,gBAAgB,IAAI,MAAM,CAAC,MAAM,KAAK,EAAE;QAAE,OAAO,KAAK,CAAC;IAC3E,MAAM,MAAM,GAAG,MAAM,CAAC,MAAc,CAAC;IACrC,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,KAAK,CAAC;IAC/C,OAAO,OAAO,CAAC,YAAY,CAAC,OAAO,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;AACjF,CAAC;AAED,2FAA2F;AAC3F,SAAS,WAAW,CAAC,OAAyB,EAAE,EAAM;IACpD,MAAM,KAAK,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAqB,CAAC;IAC/C,IAAI,KAAK,EAAE,IAAI,KAAK,YAAY;QAAE,OAAO,KAAK,CAAC,CAAC,4CAA4C;IAC5F,MAAM,QAAQ,GAAG,OAAO,CAAC,UAAU,CAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC;IAChG,OAAO,CAAC,QAAQ,EAAE,UAAU,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,UAAkB,CAAC,CAAC,CAAC;AAC9F,CAAC;AAED,MAAM,CAAC,MAAM,gBAAgB,GAAoB;IAC/C,IAAI,EAAE;QACJ,IAAI,EAAE,YAAY;QAClB,IAAI,EAAE;YACJ,WAAW,EACT,oFAAoF;gBACpF,6DAA6D;YAC/D,WAAW,EAAE,IAAI;YACjB,GAAG,EAAE,uFAAuF;SAC7F;QACD,MAAM,EAAE,cAAc;QACtB,QAAQ,EAAE;YACR,MAAM,EACJ,yFAAyF;gBACzF,wFAAwF;gBACxF,iFAAiF;SACpF;KACF;IACD,MAAM,CAAC,OAAO;QACZ,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,MAAM,UAAU,GAAgB,EAAE,CAAC;QACnC,IAAI,cAAc,GAAG,KAAK,CAAC;QAC3B,OAAO;YACL,gBAAgB,CAAC,IAAI;gBACnB,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,QAAgB,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;gBACxE,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY;oBAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;qBACnF,IAAI,IAAI,KAAK,SAAS;oBAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC9C,CAAC;YACD,aAAa,CAAC,IAAI;gBAChB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;oBAChC,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;oBACvF,IAAI,IAAI,KAAK,SAAS;wBAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACzC,CAAC;YACH,CAAC;YACD,wBAAwB,CAAC,IAAI;gBAC3B,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,GAAW,CAAC;oBAAE,OAAO;gBACtD,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC;gBAC3C,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;oBACtB,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,IAAI,EAAE,CAAC;oBAClC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC;wBAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;oBACnE,MAAM,KAAK,GAAG,WAAW,CAAC,CAAC,CAAqB,CAAC;oBACjD,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,EAAE,IAAI,KAAK,SAAS;wBAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;gBACzF,CAAC,CAAC,CAAC;YACL,CAAC;YACD,cAAc,CAAC,IAAI;gBACjB,MAAM,MAAM,GAAG,IAAI,CAAC,MAAc,CAAC;gBACnC,IAAI,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE,CAAC;oBAC1C,gFAAgF;oBAChF,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC;oBAC/C,IAAI,WAAW,EAAE,IAAI,KAAK,wBAAwB;wBAAE,cAAc,GAAG,IAAI,CAAC;oBAC1E,OAAO;gBACT,CAAC;gBACD,mFAAmF;gBACnF,IACE,MAAM,CAAC,IAAI,KAAK,gBAAgB;oBAChC,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,MAAc,EAAE,QAAQ,CAAC,EAClD,CAAC;oBACD,OAAO;gBACT,CAAC;gBACD,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAqB,CAAC;gBACnD,MAAM,MAAM,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;gBACvD,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,EAAE,KAAK,CAAC;gBAC9D,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,EAAE,KAAK,CAAC;gBAC1D,IAAI,MAAM,KAAK,SAAS;oBAAE,OAAO;gBACjC,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;gBAC5E,UAAU,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,IAAI,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;YAC1E,CAAC;YACD,cAAc,CAAC,OAAO;gBACpB,IAAI,cAAc,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;oBAAE,OAAO;gBACtD,IAAI,oBAAoB,CAAC,OAAO,EAAE,OAAe,CAAC;oBAAE,OAAO;gBAC3D,KAAK,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,UAAU,EAAE,CAAC;oBAC3C,IAAI,IAAI,KAAK,SAAS,IAAI,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC;wBAAE,SAAS;oBAC/D,KAAK,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,OAAO,EAAE,CAAC;wBACrC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;4BAAE,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;oBACrF,CAAC;gBACH,CAAC;YACH,CAAC;SACF,CAAC;IACJ,CAAC;CACF,CAAC","sourcesContent":["// gyral/unused-intent: the \"unused intent parser\" warning of view/09-template-rules.md. A parser\n// in `define<S, M>()(tag, { intent: { Name: … } })` runs only when an element names it with\n// `data-intent`, so a parser no template in the module names is a renamed intent, dead code, or\n// (since intent names are inferred from these keys, ADR 0023) a misspelled key.\n// Static, over the whole module, so intents rendered conditionally (a dialog's buttons, an\n// error state) count as used; that is why the warning lives here and not in the runtime, which\n// sees only the templates rendered so far. A name counts as used when the module mentions it as\n// a property (`i.Name`, `{ Name } = i`, `i['Name']`) or as a static or literal `data-intent` or\n// `data-intent-<event>` value in an html or svg template. A component is skipped when its intent\n// names may be used elsewhere: its view is not in the module (an imported function), the view\n// hands its intents to an imported function, the module exports an `intentsOf()` constant, or a\n// template in the module calls (or passes on) a function imported from another module, which\n// may render `data-intent=\"Name\"` itself (a shared table header, a row module).\nimport type { Rule, Scope } from 'eslint';\nimport {\n  findVariable,\n  importedAs,\n  isGyral,\n  OPTIONS_SCHEMA,\n  type Node,\n  type NodeOf,\n} from './imports.js';\n\n/**\n * A static `data-intent` or `data-intent-<event>` value in template text (not `data-intent-on`,\n * whose value is events).\n */\nconst STATIC_INTENT = /\\sdata-intent(?:-(?!on=)[\\w-]+)?=[\"']?([^\"'\\s>]+)/g;\n/** Template text that ends where a `data-intent` or `data-intent-<event>` hole starts. */\nconst INTENT_HOLE = /\\sdata-intent(?:-(?!on=)[\\w-]+)?=[\"']?$/;\n\ninterface Component {\n  readonly parsers: readonly { readonly name: string; readonly node: Node }[];\n  readonly view: Fn | undefined;\n}\n\ntype Fn =\n  NodeOf<'ArrowFunctionExpression'> | NodeOf<'FunctionExpression'> | NodeOf<'FunctionDeclaration'>;\n\nconst isFn = (node: Node | null | undefined): node is Fn =>\n  node?.type === 'ArrowFunctionExpression' ||\n  node?.type === 'FunctionExpression' ||\n  node?.type === 'FunctionDeclaration';\n\nconst keyName = (key: Node): string | undefined =>\n  key.type === 'Identifier'\n    ? key.name\n    : key.type === 'Literal' && typeof key.value === 'string'\n      ? key.value\n      : undefined;\n\n/** `{ name: value }` entries of an object literal, without spreads or computed keys. */\nfunction entries(object: Node): { name: string; key: Node; value: Node }[] {\n  if (object.type !== 'ObjectExpression') return [];\n  return object.properties.flatMap((p) => {\n    if (p.type !== 'Property' || p.computed) return [];\n    const name = keyName(p.key as Node);\n    return name === undefined ? [] : [{ name, key: p.key as Node, value: p.value as Node }];\n  });\n}\n\n/** Whether a variable is bound in this module (not imported, not a global). */\nconst isLocal = (variable: Scope.Variable | undefined): boolean =>\n  variable !== undefined && variable.defs.length > 0 && variable.defs[0]?.type !== 'ImportBinding';\n\n/** The function a view is: inline, or a module binding to one; undefined when elsewhere. */\nfunction viewFunction(context: Rule.RuleContext, view: Node): Fn | undefined {\n  if (isFn(view)) return view;\n  if (view.type !== 'Identifier') return undefined;\n  const variable = findVariable(context.sourceCode.getScope(view), view.name);\n  const def = variable?.defs[0];\n  if (def?.type === 'FunctionName') return def.node as Fn;\n  const init = def?.type === 'Variable' ? (def.node.init as Node | null) : null;\n  return isFn(init) ? init : undefined;\n}\n\n/** Whether `tag` is Gyral's `html` or `svg` (an svg fragment can name intents too). */\nconst isTemplateTag = (context: Rule.RuleContext, tag: Node): boolean =>\n  isGyral(context, tag, 'html') || isGyral(context, tag, 'svg');\n\n/** Whether `node` sits in a hole of a Gyral html or svg template. */\nfunction inTemplateHole(context: Rule.RuleContext, node: Node): boolean {\n  for (let n: Node | null = node; n !== null; n = n.parent) {\n    const parent = n.parent;\n    if (parent?.type !== 'TemplateLiteral' || parent.parent.type !== 'TaggedTemplateExpression') {\n      continue;\n    }\n    if (isTemplateTag(context, parent.parent.tag as Node)) return true;\n  }\n  return false;\n}\n\n/**\n * Whether a template in the module calls, or passes on, a function imported from a module that\n * isn't a template source: its markup, which this rule can't see, may name intents.\n */\nfunction templatesCallImports(context: Rule.RuleContext, program: Node): boolean {\n  const global = context.sourceCode.getScope(program);\n  const module = global.childScopes.find((scope) => scope.type === 'module') ?? global;\n  return module.variables.some((v) => {\n    const def = v.defs[0];\n    if (def?.type !== 'ImportBinding') return false;\n    if (importedAs(context, def.name as NodeOf<'Identifier'>) !== undefined) return false; // core\n    return v.references.some((r) => {\n      const id = r.identifier as Node;\n      return id.parent?.type === 'CallExpression' && inTemplateHole(context, id);\n    });\n  });\n}\n\n/** Whether `id`'s reference stays in the module: `id.Name`, or an argument to a local function. */\nfunction staysLocal(context: Rule.RuleContext, id: Node): boolean {\n  const parent = id.parent;\n  if (parent === null) return false;\n  if (parent.type === 'MemberExpression' && parent.object === id) return true;\n  if (parent.type !== 'CallExpression' || parent.callee === id) return false;\n  const callee = parent.callee as Node;\n  if (callee.type !== 'Identifier') return false;\n  return isLocal(findVariable(context.sourceCode.getScope(callee), callee.name));\n}\n\n/** Whether the view's intents parameter (its second) can reach code outside the module. */\nfunction viewEscapes(context: Rule.RuleContext, fn: Fn): boolean {\n  const param = fn.params[1] as Node | undefined;\n  if (param?.type !== 'Identifier') return false; // absent, or destructured (counted as used)\n  const variable = context.sourceCode.getDeclaredVariables(fn).find((v) => v.name === param.name);\n  return (variable?.references ?? []).some((r) => !staysLocal(context, r.identifier as Node));\n}\n\nexport const unusedIntentRule: Rule.RuleModule = {\n  meta: {\n    type: 'suggestion',\n    docs: {\n      description:\n        'An intent parser that no template in the module names with data-intent: a renamed ' +\n        'intent or dead code (view/09-template-rules.md \"Warnings\").',\n      recommended: true,\n      url: 'https://github.com/gyraljs/gyral/blob/main/docs/design-docs/view/09-template-rules.md',\n    },\n    schema: OPTIONS_SCHEMA,\n    messages: {\n      unused:\n        'The intent parser \"{{name}}\" is never named by data-intent in this module, so it never ' +\n        'runs: name it in the view (data-intent=${i.{{name}}}), or remove the parser (messages ' +\n        'that only come from commands need none) (view/09-template-rules.md \"Warnings\").',\n    },\n  },\n  create(context) {\n    const used = new Set<string>();\n    const components: Component[] = [];\n    let exportsIntents = false;\n    return {\n      MemberExpression(node) {\n        const name = node.computed ? keyName(node.property as Node) : undefined;\n        if (!node.computed && node.property.type === 'Identifier') used.add(node.property.name);\n        else if (name !== undefined) used.add(name);\n      },\n      ObjectPattern(node) {\n        for (const p of node.properties) {\n          const name = p.type === 'Property' && !p.computed ? keyName(p.key as Node) : undefined;\n          if (name !== undefined) used.add(name);\n        }\n      },\n      TaggedTemplateExpression(node) {\n        if (!isTemplateTag(context, node.tag as Node)) return;\n        const { quasis, expressions } = node.quasi;\n        quasis.forEach((q, k) => {\n          const text = q.value.cooked ?? '';\n          for (const m of text.matchAll(STATIC_INTENT)) used.add(m[1] ?? '');\n          const value = expressions[k] as Node | undefined;\n          if (INTENT_HOLE.test(text) && value?.type === 'Literal') used.add(String(value.value));\n        });\n      },\n      CallExpression(node) {\n        const callee = node.callee as Node;\n        if (isGyral(context, callee, 'intentsOf')) {\n          // `export const i = intentsOf<typeof C>()`: other modules may name the intents.\n          const declaration = node.parent.parent?.parent;\n          if (declaration?.type === 'ExportNamedDeclaration') exportsIntents = true;\n          return;\n        }\n        // `define<S, M>()(tag, spec)`: the spec is the second argument of the second call.\n        if (\n          callee.type !== 'CallExpression' ||\n          !isGyral(context, callee.callee as Node, 'define')\n        ) {\n          return;\n        }\n        const spec = node.arguments[1] as Node | undefined;\n        const fields = spec === undefined ? [] : entries(spec);\n        const intent = fields.find((f) => f.name === 'intent')?.value;\n        const view = fields.find((f) => f.name === 'view')?.value;\n        if (intent === undefined) return;\n        const parsers = entries(intent).map((e) => ({ name: e.name, node: e.key }));\n        components.push({ parsers, view: view && viewFunction(context, view) });\n      },\n      'Program:exit'(program) {\n        if (exportsIntents || components.length === 0) return;\n        if (templatesCallImports(context, program as Node)) return;\n        for (const { parsers, view } of components) {\n          if (view === undefined || viewEscapes(context, view)) continue;\n          for (const { name, node } of parsers) {\n            if (!used.has(name)) context.report({ node, messageId: 'unused', data: { name } });\n          }\n        }\n      },\n    };\n  },\n};\n"]}

package/dist/features.d.ts

@@ -0,0 +1,39 @@
+import type { DriverOverrides } from './command.js';
+import type { CommandFailure, Interpreter } from './internal/interpreter.js';
+import type { PropFeature } from './props.js';
+import type { AnyStore, StoreOverrides, StoreRef, StoreSendInput } from './store.js';
+import type { CommandTrace } from './devtools-events.js';
+import type { IntentRejected, Tagged } from './types.js';
+/** A host's element, as features see it. */
+export type FeatureHost = HTMLElement & {
+    drivers: DriverOverrides;
+    stores: StoreOverrides;
+};
+/** What a component's store binding offers its model (store-binding.ts). */
+export interface StoreLink {
+    read<S>(ref: StoreRef<S>): S;
+    send(input: StoreSendInput): void;
+    connect(): boolean;
+    disconnect(): void;
+}
+/** The host a marker driver's `local` handler runs against (focus, emit, store send). */
+export interface LocalHost {
+    readonly el: FeatureHost;
+    readonly tag: string;
+    readonly root: () => ParentNode | undefined;
+    readonly stores: () => StoreLink;
+}
+/** A marker driver core runs itself, synchronously, without the interpreter. */
+export interface LocalDriver {
+    readonly local: (host: LocalHost, input: unknown) => void;
+}
+type Msg = Tagged | IntentRejected;
+export declare const features: {
+    /** Set by `command()`: a host's command interpreter, resolving drivers by name (ADR 0006). */
+    commands?: (el: FeatureHost, dispatch: (msg: Msg) => void, trace: CommandTrace | undefined, failed: CommandFailure) => Interpreter<Msg>;
+    /** Set by `defineStore()`: binds a host to the stores it declares (ADR 0013). */
+    stores?: (el: FeatureHost, tag: string, declared: readonly AnyStore[], onChange: (store: AnyStore, state: unknown, prev: unknown) => void) => StoreLink;
+    /** Set by the prop builders: attribute parsing and validation (view/05 "Props"). */
+    props?: PropFeature;
+};
+export {};

package/dist/features.js

@@ -0,0 +1,2 @@
+export const features = {};
+//# sourceMappingURL=features.js.map

package/dist/features.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"features.js","sourceRoot":"","sources":["../src/features.ts"],"names":[],"mappings":"AAsCA,MAAM,CAAC,MAAM,QAAQ,GAiBjB,EAAE,CAAC","sourcesContent":["// Features that register themselves when their API is used (ADR 0018 \"Size\", gyral-g1r.18).\n// Core reaches them only through these slots, which the feature's own API fills when called:\n// `command()` the interpreter, `defineStore()` the store binding, a prop builder the prop\n// machinery. An app that never calls one doesn't bundle what it registers. No module does this\n// at load time: bundlers keep `sideEffects: false` and tree-shake as usual.\nimport type { DriverOverrides } from './command.js';\nimport type { CommandFailure, Interpreter } from './internal/interpreter.js';\nimport type { PropFeature } from './props.js';\nimport type { AnyStore, StoreOverrides, StoreRef, StoreSendInput } from './store.js';\nimport type { CommandTrace } from './devtools-events.js';\nimport type { IntentRejected, Tagged } from './types.js';\n\n/** A host's element, as features see it. */\nexport type FeatureHost = HTMLElement & { drivers: DriverOverrides; stores: StoreOverrides };\n\n/** What a component's store binding offers its model (store-binding.ts). */\nexport interface StoreLink {\n  read<S>(ref: StoreRef<S>): S;\n  send(input: StoreSendInput): void;\n  connect(): boolean;\n  disconnect(): void;\n}\n\n/** The host a marker driver's `local` handler runs against (focus, emit, store send). */\nexport interface LocalHost {\n  readonly el: FeatureHost;\n  readonly tag: string;\n  readonly root: () => ParentNode | undefined;\n  readonly stores: () => StoreLink;\n}\n\n/** A marker driver core runs itself, synchronously, without the interpreter. */\nexport interface LocalDriver {\n  readonly local: (host: LocalHost, input: unknown) => void;\n}\n\ntype Msg = Tagged | IntentRejected;\n\nexport const features: {\n  /** Set by `command()`: a host's command interpreter, resolving drivers by name (ADR 0006). */\n  commands?: (\n    el: FeatureHost,\n    dispatch: (msg: Msg) => void,\n    trace: CommandTrace | undefined,\n    failed: CommandFailure,\n  ) => Interpreter<Msg>;\n  /** Set by `defineStore()`: binds a host to the stores it declares (ADR 0013). */\n  stores?: (\n    el: FeatureHost,\n    tag: string,\n    declared: readonly AnyStore[],\n    onChange: (store: AnyStore, state: unknown, prev: unknown) => void,\n  ) => StoreLink;\n  /** Set by the prop builders: attribute parsing and validation (view/05 \"Props\"). */\n  props?: PropFeature;\n} = {};\n"]}

package/dist/focus.d.ts

@@ -1,14 +1,22 @@
 import type { Command } from './command.js';
-/** Marker driver: `define()` handles focus commands itself. */
+import type { LocalHost } from './features.js';
+/** Marker driver: the host runs focus commands itself (`local`). */
 export declare const FOCUS: {
     readonly name: "@gyral/focus";
     readonly run: () => undefined;
+    readonly local: (host: LocalHost, input: unknown) => void;
 };
 export interface FocusOptions {
     /** Don't scroll the element into view (default `false`: the browser scrolls if needed). */
     readonly preventScroll?: boolean;
     /** Also select the text of an input or textarea. */
     readonly select?: boolean;
+    /**
+     * If nothing matches after this render, keep the request and focus the target as soon as a
+     * later render of this component produces it; a newer `focus()` from the component replaces
+     * it, and after one second it gives up with the usual warning. `settled()` doesn't wait for it.
+     */
+    readonly wait?: boolean;
 }
 /** The input of a `focus()` command. */
 export interface FocusInput extends FocusOptions {
@@ -23,17 +31,10 @@ export interface FocusInput extends FocusOptions {
  * Non-focusable targets (a heading) need `tabindex="-1"` in the view.
  */
 export declare function focus(selector: string, options?: FocusOptions): Command<never>;
-/** Runs a focus command against `root` (called by define() after the update completes). */
+/** Runs a focus command against `root` (the scheduler calls it after the render). */
 export declare function runFocus(root: ParentNode, tag: string, input: FocusInput): void;
-/** What focusAfterUpdate needs from a component: Lit's update promise and its render root. */
-export interface FocusHost {
-    readonly updateComplete: Promise<boolean>;
-    readonly isConnected: boolean;
-    readonly renderRoot: ParentNode;
-}
 /**
- * Runs a focus command after the render the same update caused, view transition included:
- * define() runs commands before #dispatch registers that update's view transition, so wait a
- * microtask first, then for updateComplete, which waits for the transition (gyral-6zz).
+ * Runs a focus command after the flush that renders the same update, view transition
+ * included: it is post-render work, so the DOM already shows the new state.
  */
-export declare function focusAfterUpdate(host: FocusHost, tag: string, input: FocusInput): void;
+export declare function queueFocus(host: Element, root: () => ParentNode | undefined, tag: string, input: FocusInput): void;