@gyral/core 0.2.0 → 0.3.0

package/dist/eslint/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/eslint/index.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAUlD,MAAM,KAAK,GAAG,EAAE,QAAQ,EAAE,YAAY,EAAE,iBAAiB,EAAE,aAAa,EAAE,CAAC;AAC3E,MAAM,OAAO,GAAmC,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;AAEpE,MAAM,MAAM,GAAgB,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,oBAAoB,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;AAErF,8FAA8F;AAC9F,4EAA4E;AAC5E,OAAO,CAAC,WAAW,GAAG;IACpB,IAAI,EAAE,mBAAmB;IACzB,OAAO,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE;IAC1B,KAAK,EAAE,EAAE,gBAAgB,EAAE,OAAO,EAAE,uBAAuB,EAAE,OAAO,EAAE;CACvE,CAAC;AAEF,eAAe,MAAM,CAAC;AACtB,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,CAAC","sourcesContent":["// @gyral/core/eslint: the template rules (view/09-template-rules.md) in the editor, as an\n// ESLint flat-config plugin. ESLint is an optional peer dependency; nothing here reaches a\n// browser or server bundle.\n//\n//   import gyral from '@gyral/core/eslint';\n//   export default [gyral.configs.recommended];\nimport type { ESLint, Linter } from 'eslint';\nimport { rowPurityRule } from './row-purity-rule.js';\nimport { templateRule } from './template-rule.js';\n\nexport interface GyralPlugin extends ESLint.Plugin {\n  readonly rules: {\n    readonly template: typeof templateRule;\n    readonly 'each-row-purity': typeof rowPurityRule;\n  };\n  readonly configs: { readonly recommended: Linter.Config };\n}\n\nconst rules = { template: templateRule, 'each-row-purity': rowPurityRule };\nconst configs: { recommended: Linter.Config } = { recommended: {} };\n\nconst plugin: GyralPlugin = { meta: { name: '@gyral/core/eslint' }, rules, configs };\n\n// The config names the plugin object itself, so it can be combined with configs that register\n// `gyral` too (ESLint rejects two different objects under one plugin name).\nconfigs.recommended = {\n  name: 'gyral/recommended',\n  plugins: { gyral: plugin },\n  rules: { 'gyral/template': 'error', 'gyral/each-row-purity': 'error' },\n};\n\nexport default plugin;\nexport { rowPurityRule, templateRule };\n"]}

package/dist/eslint/locate.d.ts

@@ -0,0 +1,33 @@
+/** One quasi of a template literal: where its text starts in the file, and its offset map. */
+export interface Quasi {
+    /** File offset of the quasi's first character (after the backtick or `}`). */
+    readonly start: number;
+    /** File offset where the quasi's text ends (at the closing backtick or `${`). */
+    readonly end: number;
+    /** For each cooked offset (and one past the end), the offset in the source text. */
+    readonly map: readonly number[];
+}
+/**
+ * Maps each offset of the cooked string to the source text it came from. Returns undefined when
+ * decoding `text` doesn't give `cooked` (the caller then points at the quasi's start).
+ */
+export declare function cookedMap(text: string, cooked: string): number[] | undefined;
+/**
+ * Maps each offset of `minified` (and one past its end) to `original`. The minifier only
+ * collapses a whitespace run to one space or drops it, and copies everything else.
+ */
+export declare function minifiedMap(original: string, minified: string): number[];
+/** A source range, as file offsets. */
+export interface Span {
+    readonly start: number;
+    readonly end: number;
+}
+/** A position in the normalizer's minified strings: string index, offset (view/normalize/check.ts). */
+type At = readonly [index: number, offset: number];
+/**
+ * The range to report for a template's first error: the token the tree builder was handling
+ * (a tag, an end tag, text) when it has one; the whole `${…}` when the error is at a hole
+ * (including `<${…}>`, where the tag name would be); else the character the tokenizer stopped at.
+ */
+export declare function errorSpan(quasis: readonly Quasi[], originals: readonly string[], minified: readonly string[], at: At, from: At | undefined): Span;
+export {};

package/dist/eslint/locate.js

@@ -0,0 +1,132 @@
+// Where a template rule error is in the source (@gyral/core/eslint, view/09-template-rules.md).
+// The normalizer reports the string and offset it stopped at, in the whitespace-minified cooked
+// strings. Three maps lead back to the file: minified → cooked (whitespace runs the minifier
+// collapsed or dropped), cooked → source text (escapes, line continuations and CRLF, which the
+// cooked string spells differently), and the quasi's place in the file.
+const SIMPLE = {
+    n: '\n',
+    t: '\t',
+    r: '\r',
+    b: '\b',
+    f: '\f',
+    v: '\v',
+};
+const LINE_END = /[\n\r\u2028\u2029]/;
+/** The length of the escape sequence at `k` (after its backslash) and the text it cooks to. */
+function escape(text, k) {
+    const c = text.charAt(k);
+    const simple = SIMPLE[c];
+    if (simple !== undefined)
+        return { length: 1, value: simple };
+    if (c === '\r')
+        return { length: text.charAt(k + 1) === '\n' ? 2 : 1, value: '' };
+    if (LINE_END.test(c))
+        return { length: 1, value: '' };
+    if (c === '0' && !/[0-9]/.test(text.charAt(k + 1)))
+        return { length: 1, value: '\0' };
+    const hex = c === 'x'
+        ? /^x([0-9a-fA-F]{2})/.exec(text.slice(k))
+        : c === 'u'
+            ? /^u(?:([0-9a-fA-F]{4})|\{([0-9a-fA-F]+)\})/.exec(text.slice(k))
+            : null;
+    if (hex !== null) {
+        const code = Number.parseInt(hex[1] ?? hex[2] ?? '0', 16);
+        return { length: hex[0].length, value: String.fromCodePoint(code) };
+    }
+    return { length: c.length, value: c };
+}
+/**
+ * Maps each offset of the cooked string to the source text it came from. Returns undefined when
+ * decoding `text` doesn't give `cooked` (the caller then points at the quasi's start).
+ */
+export function cookedMap(text, cooked) {
+    const map = [];
+    let out = '';
+    let k = 0;
+    while (k < text.length) {
+        const c = text.charAt(k);
+        let length = 1;
+        let value = c;
+        if (c === '\\') {
+            const e = escape(text, k + 1);
+            length = 1 + e.length;
+            value = e.value;
+        }
+        else if (c === '\r') {
+            length = text.charAt(k + 1) === '\n' ? 2 : 1;
+            value = '\n';
+        }
+        for (let n = 0; n < value.length; n++)
+            map.push(k);
+        out += value;
+        k += length;
+    }
+    map.push(text.length);
+    return out === cooked ? map : undefined;
+}
+const isWs = (c) => c === ' ' || c === '\t' || c === '\n' || c === '\r' || c === '\f';
+/**
+ * Maps each offset of `minified` (and one past its end) to `original`. The minifier only
+ * collapses a whitespace run to one space or drops it, and copies everything else.
+ */
+export function minifiedMap(original, minified) {
+    const map = [];
+    let a = 0;
+    for (let b = 0; b < minified.length; b++) {
+        const c = minified.charAt(b);
+        // A dropped run: skip it.
+        while (c !== ' ' && isWs(original.charAt(a)) && original.charAt(a) !== c)
+            a++;
+        map.push(a);
+        // A run collapsed to this space (one that starts with a space is copied char by char,
+        // and its rest skipped as dropped before the next character).
+        if (c === ' ' && original.charAt(a) !== ' ' && isWs(original.charAt(a))) {
+            while (isWs(original.charAt(a)))
+                a++;
+        }
+        else if (a < original.length)
+            a++;
+    }
+    map.push(original.length);
+    return map;
+}
+/**
+ * The range to report for a template's first error: the token the tree builder was handling
+ * (a tag, an end tag, text) when it has one; the whole `${…}` when the error is at a hole
+ * (including `<${…}>`, where the tag name would be); else the character the tokenizer stopped at.
+ */
+export function errorSpan(quasis, originals, minified, at, from) {
+    const maps = minified.map((m, i) => minifiedMap(originals[i] ?? '', m));
+    /** File offset where minified character `off` of string `i` starts. */
+    const startOf = (i, off) => {
+        const q = quasis[i];
+        return q === undefined ? 0 : q.start + (q.map[maps[i]?.[off] ?? 0] ?? 0);
+    };
+    /** File offset just after minified character `off - 1` of string `i`. */
+    const endOf = (i, off) => {
+        const q = quasis[i];
+        if (q === undefined)
+            return 0;
+        if (off <= 0)
+            return q.start;
+        return q.start + (q.map[(maps[i]?.[off - 1] ?? 0) + 1] ?? 0);
+    };
+    const [index, offset] = at;
+    const s = minified[index] ?? '';
+    const quasi = quasis[index];
+    const next = quasis[index + 1];
+    if (quasi === undefined)
+        return { start: 0, end: 0 };
+    if (from !== undefined && (from[0] < index || from[1] < offset)) {
+        return { start: startOf(from[0], from[1]), end: endOf(index, offset) };
+    }
+    if (next !== undefined && /^(<\/?)?$/.test(s.slice(offset))) {
+        return { start: offset < s.length ? startOf(index, offset) : quasi.end, end: next.start };
+    }
+    if (offset < s.length)
+        return { start: startOf(index, offset), end: endOf(index, offset + 1) };
+    return s.length > 0
+        ? { start: startOf(index, s.length - 1), end: endOf(index, s.length) }
+        : { start: quasi.end, end: quasi.end + 1 };
+}
+//# sourceMappingURL=locate.js.map

package/dist/eslint/locate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"locate.js","sourceRoot":"","sources":["../../src/eslint/locate.ts"],"names":[],"mappings":"AAAA,gGAAgG;AAChG,gGAAgG;AAChG,6FAA6F;AAC7F,+FAA+F;AAC/F,wEAAwE;AAYxE,MAAM,MAAM,GAAqC;IAC/C,CAAC,EAAE,IAAI;IACP,CAAC,EAAE,IAAI;IACP,CAAC,EAAE,IAAI;IACP,CAAC,EAAE,IAAI;IACP,CAAC,EAAE,IAAI;IACP,CAAC,EAAE,IAAI;CACR,CAAC;AACF,MAAM,QAAQ,GAAG,oBAAoB,CAAC;AAEtC,+FAA+F;AAC/F,SAAS,MAAM,CAAC,IAAY,EAAE,CAAS;IACrC,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACzB,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACzB,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IAC9D,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;IAClF,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;IACtD,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IACtF,MAAM,GAAG,GACP,CAAC,KAAK,GAAG;QACP,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC1C,CAAC,CAAC,CAAC,KAAK,GAAG;YACT,CAAC,CAAC,2CAA2C,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YACjE,CAAC,CAAC,IAAI,CAAC;IACb,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;QACjB,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,EAAE,CAAC,CAAC;QAC1D,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;IACtE,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;AACxC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,SAAS,CAAC,IAAY,EAAE,MAAc;IACpD,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QACvB,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACzB,IAAI,MAAM,GAAG,CAAC,CAAC;QACf,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YACf,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YAC9B,MAAM,GAAG,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;YACtB,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;QAClB,CAAC;aAAM,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YACtB,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7C,KAAK,GAAG,IAAI,CAAC;QACf,CAAC;QACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnD,GAAG,IAAI,KAAK,CAAC;QACb,CAAC,IAAI,MAAM,CAAC;IACd,CAAC;IACD,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACtB,OAAO,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;AAC1C,CAAC;AAED,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE,CAClC,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI,CAAC;AAEpE;;;GAGG;AACH,MAAM,UAAU,WAAW,CAAC,QAAgB,EAAE,QAAgB;IAC5D,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC7B,0BAA0B;QAC1B,OAAO,CAAC,KAAK,GAAG,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC;YAAE,CAAC,EAAE,CAAC;QAC9E,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACZ,sFAAsF;QACtF,8DAA8D;QAC9D,IAAI,CAAC,KAAK,GAAG,IAAI,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACxE,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;gBAAE,CAAC,EAAE,CAAC;QACvC,CAAC;aAAM,IAAI,CAAC,GAAG,QAAQ,CAAC,MAAM;YAAE,CAAC,EAAE,CAAC;IACtC,CAAC;IACD,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC1B,OAAO,GAAG,CAAC;AACb,CAAC;AAWD;;;;GAIG;AACH,MAAM,UAAU,SAAS,CACvB,MAAwB,EACxB,SAA4B,EAC5B,QAA2B,EAC3B,EAAM,EACN,IAAoB;IAEpB,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IACxE,uEAAuE;IACvE,MAAM,OAAO,GAAG,CAAC,CAAS,EAAE,GAAW,EAAU,EAAE;QACjD,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACpB,OAAO,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3E,CAAC,CAAC;IACF,yEAAyE;IACzE,MAAM,KAAK,GAAG,CAAC,CAAS,EAAE,GAAW,EAAU,EAAE;QAC/C,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACpB,IAAI,CAAC,KAAK,SAAS;YAAE,OAAO,CAAC,CAAC;QAC9B,IAAI,GAAG,IAAI,CAAC;YAAE,OAAO,CAAC,CAAC,KAAK,CAAC;QAC7B,OAAO,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC/D,CAAC,CAAC;IACF,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC;IAC3B,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;IAChC,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC5B,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IAC/B,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;IACrD,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC;QAChE,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC;IACzE,CAAC;IACD,IAAI,IAAI,KAAK,SAAS,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;QAC5D,OAAO,EAAE,KAAK,EAAE,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;IAC5F,CAAC;IACD,IAAI,MAAM,GAAG,CAAC,CAAC,MAAM;QAAE,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,KAAK,EAAE,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;IAC/F,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC;QACjB,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE;QACtE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;AAC/C,CAAC","sourcesContent":["// Where a template rule error is in the source (@gyral/core/eslint, view/09-template-rules.md).\n// The normalizer reports the string and offset it stopped at, in the whitespace-minified cooked\n// strings. Three maps lead back to the file: minified → cooked (whitespace runs the minifier\n// collapsed or dropped), cooked → source text (escapes, line continuations and CRLF, which the\n// cooked string spells differently), and the quasi's place in the file.\n\n/** One quasi of a template literal: where its text starts in the file, and its offset map. */\nexport interface Quasi {\n  /** File offset of the quasi's first character (after the backtick or `}`). */\n  readonly start: number;\n  /** File offset where the quasi's text ends (at the closing backtick or `${`). */\n  readonly end: number;\n  /** For each cooked offset (and one past the end), the offset in the source text. */\n  readonly map: readonly number[];\n}\n\nconst SIMPLE: Readonly<Record<string, string>> = {\n  n: '\\n',\n  t: '\\t',\n  r: '\\r',\n  b: '\\b',\n  f: '\\f',\n  v: '\\v',\n};\nconst LINE_END = /[\\n\\r\\u2028\\u2029]/;\n\n/** The length of the escape sequence at `k` (after its backslash) and the text it cooks to. */\nfunction escape(text: string, k: number): { length: number; value: string } {\n  const c = text.charAt(k);\n  const simple = SIMPLE[c];\n  if (simple !== undefined) return { length: 1, value: simple };\n  if (c === '\\r') return { length: text.charAt(k + 1) === '\\n' ? 2 : 1, value: '' };\n  if (LINE_END.test(c)) return { length: 1, value: '' };\n  if (c === '0' && !/[0-9]/.test(text.charAt(k + 1))) return { length: 1, value: '\\0' };\n  const hex =\n    c === 'x'\n      ? /^x([0-9a-fA-F]{2})/.exec(text.slice(k))\n      : c === 'u'\n        ? /^u(?:([0-9a-fA-F]{4})|\\{([0-9a-fA-F]+)\\})/.exec(text.slice(k))\n        : null;\n  if (hex !== null) {\n    const code = Number.parseInt(hex[1] ?? hex[2] ?? '0', 16);\n    return { length: hex[0].length, value: String.fromCodePoint(code) };\n  }\n  return { length: c.length, value: c };\n}\n\n/**\n * Maps each offset of the cooked string to the source text it came from. Returns undefined when\n * decoding `text` doesn't give `cooked` (the caller then points at the quasi's start).\n */\nexport function cookedMap(text: string, cooked: string): number[] | undefined {\n  const map: number[] = [];\n  let out = '';\n  let k = 0;\n  while (k < text.length) {\n    const c = text.charAt(k);\n    let length = 1;\n    let value = c;\n    if (c === '\\\\') {\n      const e = escape(text, k + 1);\n      length = 1 + e.length;\n      value = e.value;\n    } else if (c === '\\r') {\n      length = text.charAt(k + 1) === '\\n' ? 2 : 1;\n      value = '\\n';\n    }\n    for (let n = 0; n < value.length; n++) map.push(k);\n    out += value;\n    k += length;\n  }\n  map.push(text.length);\n  return out === cooked ? map : undefined;\n}\n\nconst isWs = (c: string): boolean =>\n  c === ' ' || c === '\\t' || c === '\\n' || c === '\\r' || c === '\\f';\n\n/**\n * Maps each offset of `minified` (and one past its end) to `original`. The minifier only\n * collapses a whitespace run to one space or drops it, and copies everything else.\n */\nexport function minifiedMap(original: string, minified: string): number[] {\n  const map: number[] = [];\n  let a = 0;\n  for (let b = 0; b < minified.length; b++) {\n    const c = minified.charAt(b);\n    // A dropped run: skip it.\n    while (c !== ' ' && isWs(original.charAt(a)) && original.charAt(a) !== c) a++;\n    map.push(a);\n    // A run collapsed to this space (one that starts with a space is copied char by char,\n    // and its rest skipped as dropped before the next character).\n    if (c === ' ' && original.charAt(a) !== ' ' && isWs(original.charAt(a))) {\n      while (isWs(original.charAt(a))) a++;\n    } else if (a < original.length) a++;\n  }\n  map.push(original.length);\n  return map;\n}\n\n/** A source range, as file offsets. */\nexport interface Span {\n  readonly start: number;\n  readonly end: number;\n}\n\n/** A position in the normalizer's minified strings: string index, offset (view/normalize/check.ts). */\ntype At = readonly [index: number, offset: number];\n\n/**\n * The range to report for a template's first error: the token the tree builder was handling\n * (a tag, an end tag, text) when it has one; the whole `${…}` when the error is at a hole\n * (including `<${…}>`, where the tag name would be); else the character the tokenizer stopped at.\n */\nexport function errorSpan(\n  quasis: readonly Quasi[],\n  originals: readonly string[],\n  minified: readonly string[],\n  at: At,\n  from: At | undefined,\n): Span {\n  const maps = minified.map((m, i) => minifiedMap(originals[i] ?? '', m));\n  /** File offset where minified character `off` of string `i` starts. */\n  const startOf = (i: number, off: number): number => {\n    const q = quasis[i];\n    return q === undefined ? 0 : q.start + (q.map[maps[i]?.[off] ?? 0] ?? 0);\n  };\n  /** File offset just after minified character `off - 1` of string `i`. */\n  const endOf = (i: number, off: number): number => {\n    const q = quasis[i];\n    if (q === undefined) return 0;\n    if (off <= 0) return q.start;\n    return q.start + (q.map[(maps[i]?.[off - 1] ?? 0) + 1] ?? 0);\n  };\n  const [index, offset] = at;\n  const s = minified[index] ?? '';\n  const quasi = quasis[index];\n  const next = quasis[index + 1];\n  if (quasi === undefined) return { start: 0, end: 0 };\n  if (from !== undefined && (from[0] < index || from[1] < offset)) {\n    return { start: startOf(from[0], from[1]), end: endOf(index, offset) };\n  }\n  if (next !== undefined && /^(<\\/?)?$/.test(s.slice(offset))) {\n    return { start: offset < s.length ? startOf(index, offset) : quasi.end, end: next.start };\n  }\n  if (offset < s.length) return { start: startOf(index, offset), end: endOf(index, offset + 1) };\n  return s.length > 0\n    ? { start: startOf(index, s.length - 1), end: endOf(index, s.length) }\n    : { start: quasi.end, end: quasi.end + 1 };\n}\n"]}

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,5 @@
+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 templateRule: Rule.RuleModule;

package/dist/eslint/template-rule.js

@@ -0,0 +1,66 @@
+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] ?? '';
+const INVALID_ESCAPE = 'This html 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`…` (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 },
+    },
+    create(context) {
+        return {
+            TaggedTemplateExpression(node) {
+                if (!isGyral(context, node.tag, 'html'))
+                    return;
+                const parts = quasisOf(context, node.quasi);
+                if (parts === undefined) {
+                    context.report({ node: node.quasi, messageId: 'escape' });
+                    return;
+                }
+                const issue = checkTemplate(parts.cooked);
+                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":"AAOA,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,GAClB,2FAA2F;IAC3F,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,uFAAuF;gBACvF,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;KAC1D;IACD,MAAM,CAAC,OAAO;QACZ,OAAO;YACL,wBAAwB,CAAC,IAAI;gBAC3B,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,GAAgB,EAAE,MAAM,CAAC;oBAAE,OAAO;gBAC7D,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,CAAC,CAAC;gBAC1C,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// 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).\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\nconst INVALID_ESCAPE =\n  'This html 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`…` (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 },\n  },\n  create(context) {\n    return {\n      TaggedTemplateExpression(node) {\n        if (!isGyral(context, node.tag as Rule.Node, 'html')) return;\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);\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/features.d.ts

@@ -0,0 +1,39 @@
+import type { DriverOverrides } from './command.js';
+import type { 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, drivers: DriverOverrides | undefined, dispatch: (msg: Msg) => void, trace: CommandTrace | undefined) => 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 { 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    drivers: DriverOverrides | undefined,\n    dispatch: (msg: Msg) => void,\n    trace: CommandTrace | undefined,\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,8 +1,10 @@
 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). */
@@ -23,17 +25,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;

package/dist/focus.js

@@ -1,7 +1,11 @@
-/** Marker driver: `define()` handles focus commands itself. */
+import { afterRender, POST_FOCUS } from './scheduler.js';
+/** Marker driver: the host runs focus commands itself (`local`). */
 export const FOCUS = {
     name: '@gyral/focus',
     run: () => undefined,
+    local: (host, input) => {
+        queueFocus(host.el, host.root, host.tag, input);
+    },
 };
 /**
  * A command that focuses the first element matching `selector` inside this component (its
@@ -15,7 +19,7 @@ export function focus(selector, options = {}) {
     const input = { selector, ...options };
     return { driver: FOCUS, input, onSuccess: () => undefined };
 }
-/** 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 function runFocus(root, tag, input) {
     const target = root.querySelector(input.selector);
     if (!(target instanceof HTMLElement || target instanceof SVGElement)) {
@@ -28,15 +32,14 @@ export function runFocus(root, tag, input) {
     }
 }
 /**
- * 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 function focusAfterUpdate(host, tag, input) {
-    void Promise.resolve().then(async () => {
-        await host.updateComplete;
-        if (host.isConnected)
-            runFocus(host.renderRoot, tag, input);
+export function queueFocus(host, root, tag, input) {
+    afterRender(POST_FOCUS, () => {
+        const target = root();
+        if (host.isConnected && target !== undefined)
+            runFocus(target, tag, input);
     });
 }
 //# sourceMappingURL=focus.js.map

package/dist/focus.js.map

@@ -1 +1 @@
-{"version":3,"file":"focus.js","sourceRoot":"","sources":["../src/focus.ts"],"names":[],"mappings":"AAKA,+DAA+D;AAC/D,MAAM,CAAC,MAAM,KAAK,GAAG;IACnB,IAAI,EAAE,cAAc;IACpB,GAAG,EAAE,GAAG,EAAE,CAAC,SAAS;CACZ,CAAC;AAcX;;;;;;;GAOG;AACH,MAAM,UAAU,KAAK,CAAC,QAAgB,EAAE,UAAwB,EAAE;IAChE,MAAM,KAAK,GAAe,EAAE,QAAQ,EAAE,GAAG,OAAO,EAAE,CAAC;IACnD,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE,CAAC;AAC9D,CAAC;AAED,2FAA2F;AAC3F,MAAM,UAAU,QAAQ,CAAC,IAAgB,EAAE,GAAW,EAAE,KAAiB;IACvE,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAClD,IAAI,CAAC,CAAC,MAAM,YAAY,WAAW,IAAI,MAAM,YAAY,UAAU,CAAC,EAAE,CAAC;QACrE,OAAO,CAAC,IAAI,CAAC,IAAI,GAAG,YAAY,KAAK,CAAC,QAAQ,kCAAkC,CAAC,CAAC;QAClF,OAAO;IACT,CAAC;IACD,MAAM,CAAC,KAAK,CAAC,EAAE,aAAa,EAAE,KAAK,CAAC,aAAa,IAAI,KAAK,EAAE,CAAC,CAAC;IAC9D,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI,IAAI,QAAQ,IAAI,MAAM,IAAI,OAAO,MAAM,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;QACtF,MAA2B,CAAC,MAAM,EAAE,CAAC;IACxC,CAAC;AACH,CAAC;AASD;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAAC,IAAe,EAAE,GAAW,EAAE,KAAiB;IAC9E,KAAK,OAAO,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE;QACrC,MAAM,IAAI,CAAC,cAAc,CAAC;QAC1B,IAAI,IAAI,CAAC,WAAW;YAAE,QAAQ,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;AACL,CAAC","sourcesContent":["// Focus management from the model (gyral-czi.28). Moving focus is a side effect, so the model\n// asks for it with a command; define() runs it against the component's own render root after\n// the render that the same reducer caused, so the element to focus already exists.\nimport type { Command } from './command.js';\n\n/** Marker driver: `define()` handles focus commands itself. */\nexport const FOCUS = {\n  name: '@gyral/focus',\n  run: () => undefined,\n} as const;\n\nexport interface FocusOptions {\n  /** Don't scroll the element into view (default `false`: the browser scrolls if needed). */\n  readonly preventScroll?: boolean;\n  /** Also select the text of an input or textarea. */\n  readonly select?: boolean;\n}\n\n/** The input of a `focus()` command. */\nexport interface FocusInput extends FocusOptions {\n  readonly selector: string;\n}\n\n/**\n * A command that focuses the first element matching `selector` inside this component (its\n * shadow root, or its own children in light-DOM mode) once the current update has rendered:\n *\n *   NextPage: (s, m) => [{ ...s, page: m.page }, [focus('h2', { preventScroll: true })]]\n *\n * Non-focusable targets (a heading) need `tabindex=\"-1\"` in the view.\n */\nexport function focus(selector: string, options: FocusOptions = {}): Command<never> {\n  const input: FocusInput = { selector, ...options };\n  return { driver: FOCUS, input, onSuccess: () => undefined };\n}\n\n/** Runs a focus command against `root` (called by define() after the update completes). */\nexport function runFocus(root: ParentNode, tag: string, input: FocusInput): void {\n  const target = root.querySelector(input.selector);\n  if (!(target instanceof HTMLElement || target instanceof SVGElement)) {\n    console.warn(`<${tag}> focus(\"${input.selector}\") matched no focusable element.`);\n    return;\n  }\n  target.focus({ preventScroll: input.preventScroll ?? false });\n  if (input.select === true && 'select' in target && typeof target.select === 'function') {\n    (target as HTMLInputElement).select();\n  }\n}\n\n/** What focusAfterUpdate needs from a component: Lit's update promise and its render root. */\nexport interface FocusHost {\n  readonly updateComplete: Promise<boolean>;\n  readonly isConnected: boolean;\n  readonly renderRoot: ParentNode;\n}\n\n/**\n * Runs a focus command after the render the same update caused, view transition included:\n * define() runs commands before #dispatch registers that update's view transition, so wait a\n * microtask first, then for updateComplete, which waits for the transition (gyral-6zz).\n */\nexport function focusAfterUpdate(host: FocusHost, tag: string, input: FocusInput): void {\n  void Promise.resolve().then(async () => {\n    await host.updateComplete;\n    if (host.isConnected) runFocus(host.renderRoot, tag, input);\n  });\n}\n"]}
+{"version":3,"file":"focus.js","sourceRoot":"","sources":["../src/focus.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAEzD,oEAAoE;AACpE,MAAM,CAAC,MAAM,KAAK,GAAG;IACnB,IAAI,EAAE,cAAc;IACpB,GAAG,EAAE,GAAG,EAAE,CAAC,SAAS;IACpB,KAAK,EAAE,CAAC,IAAe,EAAE,KAAc,EAAE,EAAE;QACzC,UAAU,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,KAAmB,CAAC,CAAC;IAChE,CAAC;CACO,CAAC;AAcX;;;;;;;GAOG;AACH,MAAM,UAAU,KAAK,CAAC,QAAgB,EAAE,UAAwB,EAAE;IAChE,MAAM,KAAK,GAAe,EAAE,QAAQ,EAAE,GAAG,OAAO,EAAE,CAAC;IACnD,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE,CAAC;AAC9D,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,QAAQ,CAAC,IAAgB,EAAE,GAAW,EAAE,KAAiB;IACvE,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAClD,IAAI,CAAC,CAAC,MAAM,YAAY,WAAW,IAAI,MAAM,YAAY,UAAU,CAAC,EAAE,CAAC;QACrE,OAAO,CAAC,IAAI,CAAC,IAAI,GAAG,YAAY,KAAK,CAAC,QAAQ,kCAAkC,CAAC,CAAC;QAClF,OAAO;IACT,CAAC;IACD,MAAM,CAAC,KAAK,CAAC,EAAE,aAAa,EAAE,KAAK,CAAC,aAAa,IAAI,KAAK,EAAE,CAAC,CAAC;IAC9D,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI,IAAI,QAAQ,IAAI,MAAM,IAAI,OAAO,MAAM,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;QACtF,MAA2B,CAAC,MAAM,EAAE,CAAC;IACxC,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,UAAU,CACxB,IAAa,EACb,IAAkC,EAClC,GAAW,EACX,KAAiB;IAEjB,WAAW,CAAC,UAAU,EAAE,GAAG,EAAE;QAC3B,MAAM,MAAM,GAAG,IAAI,EAAE,CAAC;QACtB,IAAI,IAAI,CAAC,WAAW,IAAI,MAAM,KAAK,SAAS;YAAE,QAAQ,CAAC,MAAM,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;AACL,CAAC","sourcesContent":["// Focus management from the model (gyral-czi.28). Moving focus is a side effect, so the model\n// asks for it with a command; define() queues it as the scheduler's first post-render work\n// (view/04-scheduler.md \"Post-render queue\"), against the component's own root, so the element\n// to focus already exists.\nimport type { Command } from './command.js';\nimport type { LocalHost } from './features.js';\nimport { afterRender, POST_FOCUS } from './scheduler.js';\n\n/** Marker driver: the host runs focus commands itself (`local`). */\nexport const FOCUS = {\n  name: '@gyral/focus',\n  run: () => undefined,\n  local: (host: LocalHost, input: unknown) => {\n    queueFocus(host.el, host.root, host.tag, input as FocusInput);\n  },\n} as const;\n\nexport interface FocusOptions {\n  /** Don't scroll the element into view (default `false`: the browser scrolls if needed). */\n  readonly preventScroll?: boolean;\n  /** Also select the text of an input or textarea. */\n  readonly select?: boolean;\n}\n\n/** The input of a `focus()` command. */\nexport interface FocusInput extends FocusOptions {\n  readonly selector: string;\n}\n\n/**\n * A command that focuses the first element matching `selector` inside this component (its\n * shadow root, or its own children in light-DOM mode) once the current update has rendered:\n *\n *   NextPage: (s, m) => [{ ...s, page: m.page }, [focus('h2', { preventScroll: true })]]\n *\n * Non-focusable targets (a heading) need `tabindex=\"-1\"` in the view.\n */\nexport function focus(selector: string, options: FocusOptions = {}): Command<never> {\n  const input: FocusInput = { selector, ...options };\n  return { driver: FOCUS, input, onSuccess: () => undefined };\n}\n\n/** Runs a focus command against `root` (the scheduler calls it after the render). */\nexport function runFocus(root: ParentNode, tag: string, input: FocusInput): void {\n  const target = root.querySelector(input.selector);\n  if (!(target instanceof HTMLElement || target instanceof SVGElement)) {\n    console.warn(`<${tag}> focus(\"${input.selector}\") matched no focusable element.`);\n    return;\n  }\n  target.focus({ preventScroll: input.preventScroll ?? false });\n  if (input.select === true && 'select' in target && typeof target.select === 'function') {\n    (target as HTMLInputElement).select();\n  }\n}\n\n/**\n * Runs a focus command after the flush that renders the same update, view transition\n * included: it is post-render work, so the DOM already shows the new state.\n */\nexport function queueFocus(\n  host: Element,\n  root: () => ParentNode | undefined,\n  tag: string,\n  input: FocusInput,\n): void {\n  afterRender(POST_FOCUS, () => {\n    const target = root();\n    if (host.isConnected && target !== undefined) runFocus(target, tag, input);\n  });\n}\n"]}

package/dist/hooks/invalid.d.ts

@@ -0,0 +1,14 @@
+type Errors = readonly string[] | string | undefined;
+/**
+ * Mirrors model errors to native validity: `setCustomValidity` and `aria-invalid`.
+ *
+ *   <input name="email" ${invalid(s.errors.email)} />
+ *
+ * The custom error clears when the control fires `input` or `change` (the user edited it), when
+ * the bound errors become `undefined` or empty (the model cleared them), or when a submit finds
+ * the error stale (the value changed without an event, e.g. set from code): then the error is
+ * dropped and the form is submitted again once. An error is applied again only when a new value
+ * arrives (keep `fieldErrors()` results in state): `client` runs only when the errors change.
+ */
+export declare const invalid: (errors?: Errors) => import("../index.js").HookResult<[errors?: Errors]>;
+export {};