@llui/compiler 0.3.0

package/dist/modules/no-sample-in-accessor.js

@@ -0,0 +1,141 @@
+// `no-sample-in-accessor` — errors when `sample()` appears inside an
+// accessor passed to a structural primitive (each.items/key, branch.on,
+// show.when, scope.on, child.props, foreign.props) or a binding helper
+// (text, unsafeHtml). The sampled read is invisible to the compiler's
+// mask analysis and breaks reconciliation. Migrated from
+// `@llui/eslint-plugin/src/rules/no-sample-in-accessor.ts`.
+import ts from 'typescript';
+import { rangeFromOffsets } from '../diagnostic.js';
+const ACCESSOR_PROPS_BY_PRIMITIVE = {
+    each: new Set(['items', 'key']),
+    branch: new Set(['on']),
+    show: new Set(['when']),
+    scope: new Set(['on']),
+    child: new Set(['props']),
+    foreign: new Set(['props']),
+};
+const BINDING_HELPERS = new Set(['text', 'unsafeHtml']);
+function isSampleCall(n) {
+    if (!ts.isCallExpression(n))
+        return false;
+    if (ts.isIdentifier(n.expression) && n.expression.text === 'sample')
+        return true;
+    if (ts.isPropertyAccessExpression(n.expression) &&
+        ts.isIdentifier(n.expression.name) &&
+        n.expression.name.text === 'sample')
+        return true;
+    return false;
+}
+function findFirstSampleInside(body) {
+    let found;
+    const walk = (n) => {
+        if (found)
+            return;
+        if (isSampleCall(n)) {
+            found = n;
+            return;
+        }
+        // Don't descend into nested functions — `sample` inside a handler
+        // callback isn't running in the accessor's reactive position.
+        if ((ts.isArrowFunction(n) || ts.isFunctionExpression(n) || ts.isFunctionDeclaration(n)) &&
+            n !== body) {
+            return;
+        }
+        ts.forEachChild(n, walk);
+    };
+    walk(body);
+    return found;
+}
+function getCalleeName(callee) {
+    if (ts.isIdentifier(callee))
+        return callee.text;
+    if (ts.isPropertyAccessExpression(callee) && ts.isIdentifier(callee.name))
+        return callee.name.text;
+    return null;
+}
+export function noSampleInAccessorModule() {
+    return {
+        name: 'no-sample-in-accessor',
+        compilerVersion: '^0.3.0',
+        diagnostics: [
+            {
+                id: 'llui/no-sample-in-accessor',
+                description: '`sample()` inside an accessor — invisible to mask analysis, breaks reconciliation.',
+            },
+        ],
+        visitors: {
+            [ts.SyntaxKind.SourceFile]: (ctx, node) => {
+                const visited = node;
+                const sf = ts.createSourceFile(visited.fileName, visited.text, ts.ScriptTarget.Latest, true);
+                const walk = (n) => {
+                    if (ts.isCallExpression(n)) {
+                        const name = getCalleeName(n.expression);
+                        if (name) {
+                            const accessorProps = ACCESSOR_PROPS_BY_PRIMITIVE[name];
+                            if (accessorProps !== undefined) {
+                                const opts = n.arguments[0];
+                                if (opts && ts.isObjectLiteralExpression(opts)) {
+                                    for (const prop of opts.properties) {
+                                        if (!ts.isPropertyAssignment(prop))
+                                            continue;
+                                        if (!ts.isIdentifier(prop.name))
+                                            continue;
+                                        if (!accessorProps.has(prop.name.text))
+                                            continue;
+                                        const v = prop.initializer;
+                                        if (!ts.isArrowFunction(v) && !ts.isFunctionExpression(v))
+                                            continue;
+                                        if (!v.body)
+                                            continue;
+                                        const sample = findFirstSampleInside(v.body);
+                                        if (sample) {
+                                            ctx.reportDiagnostic({
+                                                id: 'llui/no-sample-in-accessor',
+                                                severity: 'error',
+                                                category: 'reactivity',
+                                                message: `\`sample()\` inside \`${name}({ ${prop.name.text}: … })\` reads state ` +
+                                                    `outside the accessor's parameter — invisible to the compiler's mask ` +
+                                                    `analysis. The accessor must be a pure function of its parameter. Lift ` +
+                                                    `the outer state into the parameter (e.g. for \`each.key\`, bake the dep ` +
+                                                    `into \`items\`: \`items: (s) => s.rows.map(it => ({ it, rev: s.rev }))\`, ` +
+                                                    `then \`key: (r) => \`\${r.it.id}|\${r.rev}\`\`).`,
+                                                location: {
+                                                    file: sf.fileName,
+                                                    range: rangeFromOffsets(sf.text, sample.getStart(sf), sample.getEnd()),
+                                                },
+                                            });
+                                        }
+                                    }
+                                }
+                            }
+                            else if (BINDING_HELPERS.has(name)) {
+                                const arg = n.arguments[0];
+                                if (arg && (ts.isArrowFunction(arg) || ts.isFunctionExpression(arg)) && arg.body) {
+                                    const sample = findFirstSampleInside(arg.body);
+                                    if (sample) {
+                                        ctx.reportDiagnostic({
+                                            id: 'llui/no-sample-in-accessor',
+                                            severity: 'error',
+                                            category: 'reactivity',
+                                            message: `\`sample()\` inside \`${name}((s) => …)\` is redundant and invisible to ` +
+                                                `mask analysis. Read the state directly via the accessor's parameter: ` +
+                                                `\`${name}((s) => s.field)\` re-runs reactively on every commit; the ` +
+                                                `\`sample()\` wrapper bypasses that.`,
+                                            location: {
+                                                file: sf.fileName,
+                                                range: rangeFromOffsets(sf.text, sample.getStart(sf), sample.getEnd()),
+                                            },
+                                        });
+                                    }
+                                }
+                            }
+                        }
+                    }
+                    ts.forEachChild(n, walk);
+                };
+                walk(sf);
+            },
+        },
+    };
+}
+//# sourceMappingURL=no-sample-in-accessor.js.map

package/dist/modules/no-sample-in-accessor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"no-sample-in-accessor.js","sourceRoot":"","sources":["../../src/modules/no-sample-in-accessor.ts"],"names":[],"mappings":"AAAA,qEAAqE;AACrE,wEAAwE;AACxE,uEAAuE;AACvE,sEAAsE;AACtE,yDAAyD;AACzD,4DAA4D;AAE5D,OAAO,EAAE,MAAM,YAAY,CAAA;AAC3B,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AAGnD,MAAM,2BAA2B,GAAgC;IAC/D,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAC/B,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IACvB,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;IACvB,KAAK,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IACtB,KAAK,EAAE,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC;IACzB,OAAO,EAAE,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC;CAC5B,CAAA;AAED,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAA;AAEvD,SAAS,YAAY,CAAC,CAAU;IAC9B,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAA;IACzC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAA;IAChF,IACE,EAAE,CAAC,0BAA0B,CAAC,CAAC,CAAC,UAAU,CAAC;QAC3C,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC;QAClC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAEnC,OAAO,IAAI,CAAA;IACb,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAa;IAC1C,IAAI,KAAoC,CAAA;IACxC,MAAM,IAAI,GAAG,CAAC,CAAU,EAAQ,EAAE;QAChC,IAAI,KAAK;YAAE,OAAM;QACjB,IAAI,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;YACpB,KAAK,GAAG,CAAsB,CAAA;YAC9B,OAAM;QACR,CAAC;QACD,kEAAkE;QAClE,8DAA8D;QAC9D,IACE,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC;YACpF,CAAC,KAAK,IAAI,EACV,CAAC;YACD,OAAM;QACR,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;IAC1B,CAAC,CAAA;IACD,IAAI,CAAC,IAAI,CAAC,CAAA;IACV,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,aAAa,CAAC,MAAqB;IAC1C,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAA;IAC/C,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAA;IAClG,OAAO,IAAI,CAAA;AACb,CAAC;AAED,MAAM,UAAU,wBAAwB;IACtC,OAAO;QACL,IAAI,EAAE,uBAAuB;QAC7B,eAAe,EAAE,QAAQ;QACzB,WAAW,EAAE;YACX;gBACE,EAAE,EAAE,4BAA4B;gBAChC,WAAW,EACT,oFAAoF;aACvF;SACF;QACD,QAAQ,EAAE;YACR,CAAC,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE;gBACxC,MAAM,OAAO,GAAG,IAAqB,CAAA;gBACrC,MAAM,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;gBAC5F,MAAM,IAAI,GAAG,CAAC,CAAU,EAAQ,EAAE;oBAChC,IAAI,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC;wBAC3B,MAAM,IAAI,GAAG,aAAa,CAAC,CAAC,CAAC,UAAU,CAAC,CAAA;wBACxC,IAAI,IAAI,EAAE,CAAC;4BACT,MAAM,aAAa,GAAG,2BAA2B,CAAC,IAAI,CAAC,CAAA;4BACvD,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;gCAChC,MAAM,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;gCAC3B,IAAI,IAAI,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;oCAC/C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;wCACnC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC;4CAAE,SAAQ;wCAC5C,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;4CAAE,SAAQ;wCACzC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;4CAAE,SAAQ;wCAChD,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,CAAA;wCAC1B,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC;4CAAE,SAAQ;wCACnE,IAAI,CAAC,CAAC,CAAC,IAAI;4CAAE,SAAQ;wCACrB,MAAM,MAAM,GAAG,qBAAqB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;wCAC5C,IAAI,MAAM,EAAE,CAAC;4CACX,GAAG,CAAC,gBAAgB,CAAC;gDACnB,EAAE,EAAE,4BAA4B;gDAChC,QAAQ,EAAE,OAAO;gDACjB,QAAQ,EAAE,YAAY;gDACtB,OAAO,EACL,yBAAyB,IAAI,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,uBAAuB;oDACxE,sEAAsE;oDACtE,wEAAwE;oDACxE,0EAA0E;oDAC1E,4EAA4E;oDAC5E,kDAAkD;gDACpD,QAAQ,EAAE;oDACR,IAAI,EAAE,EAAE,CAAC,QAAQ;oDACjB,KAAK,EAAE,gBAAgB,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;iDACvE;6CACF,CAAC,CAAA;wCACJ,CAAC;oCACH,CAAC;gCACH,CAAC;4BACH,CAAC;iCAAM,IAAI,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gCACrC,MAAM,GAAG,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;gCAC1B,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC;oCACjF,MAAM,MAAM,GAAG,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;oCAC9C,IAAI,MAAM,EAAE,CAAC;wCACX,GAAG,CAAC,gBAAgB,CAAC;4CACnB,EAAE,EAAE,4BAA4B;4CAChC,QAAQ,EAAE,OAAO;4CACjB,QAAQ,EAAE,YAAY;4CACtB,OAAO,EACL,yBAAyB,IAAI,6CAA6C;gDAC1E,uEAAuE;gDACvE,KAAK,IAAI,6DAA6D;gDACtE,qCAAqC;4CACvC,QAAQ,EAAE;gDACR,IAAI,EAAE,EAAE,CAAC,QAAQ;gDACjB,KAAK,EAAE,gBAAgB,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;6CACvE;yCACF,CAAC,CAAA;oCACJ,CAAC;gCACH,CAAC;4BACH,CAAC;wBACH,CAAC;oBACH,CAAC;oBACD,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;gBAC1B,CAAC,CAAA;gBACD,IAAI,CAAC,EAAE,CAAC,CAAA;YACV,CAAC;SACF;KACF,CAAA;AACH,CAAC","sourcesContent":["// `no-sample-in-accessor` — errors when `sample()` appears inside an\n// accessor passed to a structural primitive (each.items/key, branch.on,\n// show.when, scope.on, child.props, foreign.props) or a binding helper\n// (text, unsafeHtml). The sampled read is invisible to the compiler's\n// mask analysis and breaks reconciliation. Migrated from\n// `@llui/eslint-plugin/src/rules/no-sample-in-accessor.ts`.\n\nimport ts from 'typescript'\nimport { rangeFromOffsets } from '../diagnostic.js'\nimport type { CompilerModule } from '../module.js'\n\nconst ACCESSOR_PROPS_BY_PRIMITIVE: Record<string, Set<string>> = {\n  each: new Set(['items', 'key']),\n  branch: new Set(['on']),\n  show: new Set(['when']),\n  scope: new Set(['on']),\n  child: new Set(['props']),\n  foreign: new Set(['props']),\n}\n\nconst BINDING_HELPERS = new Set(['text', 'unsafeHtml'])\n\nfunction isSampleCall(n: ts.Node): boolean {\n  if (!ts.isCallExpression(n)) return false\n  if (ts.isIdentifier(n.expression) && n.expression.text === 'sample') return true\n  if (\n    ts.isPropertyAccessExpression(n.expression) &&\n    ts.isIdentifier(n.expression.name) &&\n    n.expression.name.text === 'sample'\n  )\n    return true\n  return false\n}\n\nfunction findFirstSampleInside(body: ts.Node): ts.CallExpression | undefined {\n  let found: ts.CallExpression | undefined\n  const walk = (n: ts.Node): void => {\n    if (found) return\n    if (isSampleCall(n)) {\n      found = n as ts.CallExpression\n      return\n    }\n    // Don't descend into nested functions — `sample` inside a handler\n    // callback isn't running in the accessor's reactive position.\n    if (\n      (ts.isArrowFunction(n) || ts.isFunctionExpression(n) || ts.isFunctionDeclaration(n)) &&\n      n !== body\n    ) {\n      return\n    }\n    ts.forEachChild(n, walk)\n  }\n  walk(body)\n  return found\n}\n\nfunction getCalleeName(callee: ts.Expression): string | null {\n  if (ts.isIdentifier(callee)) return callee.text\n  if (ts.isPropertyAccessExpression(callee) && ts.isIdentifier(callee.name)) return callee.name.text\n  return null\n}\n\nexport function noSampleInAccessorModule(): CompilerModule {\n  return {\n    name: 'no-sample-in-accessor',\n    compilerVersion: '^0.3.0',\n    diagnostics: [\n      {\n        id: 'llui/no-sample-in-accessor',\n        description:\n          '`sample()` inside an accessor — invisible to mask analysis, breaks reconciliation.',\n      },\n    ],\n    visitors: {\n      [ts.SyntaxKind.SourceFile]: (ctx, node) => {\n        const visited = node as ts.SourceFile\n        const sf = ts.createSourceFile(visited.fileName, visited.text, ts.ScriptTarget.Latest, true)\n        const walk = (n: ts.Node): void => {\n          if (ts.isCallExpression(n)) {\n            const name = getCalleeName(n.expression)\n            if (name) {\n              const accessorProps = ACCESSOR_PROPS_BY_PRIMITIVE[name]\n              if (accessorProps !== undefined) {\n                const opts = n.arguments[0]\n                if (opts && ts.isObjectLiteralExpression(opts)) {\n                  for (const prop of opts.properties) {\n                    if (!ts.isPropertyAssignment(prop)) continue\n                    if (!ts.isIdentifier(prop.name)) continue\n                    if (!accessorProps.has(prop.name.text)) continue\n                    const v = prop.initializer\n                    if (!ts.isArrowFunction(v) && !ts.isFunctionExpression(v)) continue\n                    if (!v.body) continue\n                    const sample = findFirstSampleInside(v.body)\n                    if (sample) {\n                      ctx.reportDiagnostic({\n                        id: 'llui/no-sample-in-accessor',\n                        severity: 'error',\n                        category: 'reactivity',\n                        message:\n                          `\\`sample()\\` inside \\`${name}({ ${prop.name.text}: … })\\` reads state ` +\n                          `outside the accessor's parameter — invisible to the compiler's mask ` +\n                          `analysis. The accessor must be a pure function of its parameter. Lift ` +\n                          `the outer state into the parameter (e.g. for \\`each.key\\`, bake the dep ` +\n                          `into \\`items\\`: \\`items: (s) => s.rows.map(it => ({ it, rev: s.rev }))\\`, ` +\n                          `then \\`key: (r) => \\`\\${r.it.id}|\\${r.rev}\\`\\`).`,\n                        location: {\n                          file: sf.fileName,\n                          range: rangeFromOffsets(sf.text, sample.getStart(sf), sample.getEnd()),\n                        },\n                      })\n                    }\n                  }\n                }\n              } else if (BINDING_HELPERS.has(name)) {\n                const arg = n.arguments[0]\n                if (arg && (ts.isArrowFunction(arg) || ts.isFunctionExpression(arg)) && arg.body) {\n                  const sample = findFirstSampleInside(arg.body)\n                  if (sample) {\n                    ctx.reportDiagnostic({\n                      id: 'llui/no-sample-in-accessor',\n                      severity: 'error',\n                      category: 'reactivity',\n                      message:\n                        `\\`sample()\\` inside \\`${name}((s) => …)\\` is redundant and invisible to ` +\n                        `mask analysis. Read the state directly via the accessor's parameter: ` +\n                        `\\`${name}((s) => s.field)\\` re-runs reactively on every commit; the ` +\n                        `\\`sample()\\` wrapper bypasses that.`,\n                      location: {\n                        file: sf.fileName,\n                        range: rangeFromOffsets(sf.text, sample.getStart(sf), sample.getEnd()),\n                      },\n                    })\n                  }\n                }\n              }\n            }\n          }\n          ts.forEachChild(n, walk)\n        }\n        walk(sf)\n      },\n    },\n  }\n}\n"]}

package/dist/modules/no-sample-in-reactive-position.d.ts

@@ -0,0 +1,3 @@
+import type { CompilerModule } from '../module.js';
+export declare function noSampleInReactivePositionModule(): CompilerModule;
+//# sourceMappingURL=no-sample-in-reactive-position.d.ts.map

package/dist/modules/no-sample-in-reactive-position.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"no-sample-in-reactive-position.d.ts","sourceRoot":"","sources":["../../src/modules/no-sample-in-reactive-position.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AAgBlD,wBAAgB,gCAAgC,IAAI,cAAc,CAsDjE"}

package/dist/modules/no-sample-in-reactive-position.js

@@ -0,0 +1,72 @@
+// `no-sample-in-reactive-position` — errors when `sample(...)` results
+// are passed directly to a reactive-accessor-taking position like
+// `text(sample(...))` or `unsafeHtml(sample(...))`. The result is
+// static; the rendered DOM never updates. Migrated from
+// `@llui/eslint-plugin/src/rules/no-sample-in-reactive-position.ts`.
+import ts from 'typescript';
+import { rangeFromOffsets } from '../diagnostic.js';
+const REACTIVE_TARGETS = new Set(['text', 'unsafeHtml']);
+function isSampleCall(n) {
+    if (!ts.isCallExpression(n))
+        return false;
+    if (ts.isIdentifier(n.expression) && n.expression.text === 'sample')
+        return true;
+    if (ts.isPropertyAccessExpression(n.expression) &&
+        ts.isIdentifier(n.expression.name) &&
+        n.expression.name.text === 'sample')
+        return true;
+    return false;
+}
+export function noSampleInReactivePositionModule() {
+    return {
+        name: 'no-sample-in-reactive-position',
+        compilerVersion: '^0.3.0',
+        diagnostics: [
+            {
+                id: 'llui/no-sample-in-reactive-position',
+                description: '`text(sample(…))` / `unsafeHtml(sample(…))` reads once at view-construction — DOM never updates.',
+            },
+        ],
+        visitors: {
+            [ts.SyntaxKind.SourceFile]: (ctx, node) => {
+                const visited = node;
+                const sf = ts.createSourceFile(visited.fileName, visited.text, ts.ScriptTarget.Latest, true);
+                const walk = (n) => {
+                    if (ts.isCallExpression(n)) {
+                        let calleeName = null;
+                        if (ts.isIdentifier(n.expression) && REACTIVE_TARGETS.has(n.expression.text)) {
+                            calleeName = n.expression.text;
+                        }
+                        else if (ts.isPropertyAccessExpression(n.expression) &&
+                            ts.isIdentifier(n.expression.name) &&
+                            REACTIVE_TARGETS.has(n.expression.name.text)) {
+                            calleeName = n.expression.name.text;
+                        }
+                        if (calleeName) {
+                            const arg = n.arguments[0];
+                            if (arg && isSampleCall(arg)) {
+                                ctx.reportDiagnostic({
+                                    id: 'llui/no-sample-in-reactive-position',
+                                    severity: 'error',
+                                    category: 'reactivity',
+                                    message: `\`${calleeName}(sample(…))\` reads the value once at view-construction and ` +
+                                        `the resulting node never updates. \`sample\` is an opt-out of reactivity — ` +
+                                        `drop the wrapper to make \`${calleeName}\` reactive: \`${calleeName}((s) => …)\` ` +
+                                        `reads on every commit, or \`${calleeName}(item.field)\` reads from an \`each\` ` +
+                                        `ItemAccessor.`,
+                                    location: {
+                                        file: sf.fileName,
+                                        range: rangeFromOffsets(sf.text, arg.getStart(sf), arg.getEnd()),
+                                    },
+                                });
+                            }
+                        }
+                    }
+                    ts.forEachChild(n, walk);
+                };
+                walk(sf);
+            },
+        },
+    };
+}
+//# sourceMappingURL=no-sample-in-reactive-position.js.map

package/dist/modules/no-sample-in-reactive-position.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"no-sample-in-reactive-position.js","sourceRoot":"","sources":["../../src/modules/no-sample-in-reactive-position.ts"],"names":[],"mappings":"AAAA,uEAAuE;AACvE,kEAAkE;AAClE,kEAAkE;AAClE,wDAAwD;AACxD,qEAAqE;AAErE,OAAO,EAAE,MAAM,YAAY,CAAA;AAC3B,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AAGnD,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAA;AAExD,SAAS,YAAY,CAAC,CAAU;IAC9B,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAA;IACzC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAA;IAChF,IACE,EAAE,CAAC,0BAA0B,CAAC,CAAC,CAAC,UAAU,CAAC;QAC3C,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC;QAClC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAEnC,OAAO,IAAI,CAAA;IACb,OAAO,KAAK,CAAA;AACd,CAAC;AAED,MAAM,UAAU,gCAAgC;IAC9C,OAAO;QACL,IAAI,EAAE,gCAAgC;QACtC,eAAe,EAAE,QAAQ;QACzB,WAAW,EAAE;YACX;gBACE,EAAE,EAAE,qCAAqC;gBACzC,WAAW,EACT,kGAAkG;aACrG;SACF;QACD,QAAQ,EAAE;YACR,CAAC,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE;gBACxC,MAAM,OAAO,GAAG,IAAqB,CAAA;gBACrC,MAAM,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;gBAC5F,MAAM,IAAI,GAAG,CAAC,CAAU,EAAQ,EAAE;oBAChC,IAAI,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC;wBAC3B,IAAI,UAAU,GAAkB,IAAI,CAAA;wBACpC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;4BAC7E,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC,IAAI,CAAA;wBAChC,CAAC;6BAAM,IACL,EAAE,CAAC,0BAA0B,CAAC,CAAC,CAAC,UAAU,CAAC;4BAC3C,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC;4BAClC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAC5C,CAAC;4BACD,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAA;wBACrC,CAAC;wBACD,IAAI,UAAU,EAAE,CAAC;4BACf,MAAM,GAAG,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;4BAC1B,IAAI,GAAG,IAAI,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC;gCAC7B,GAAG,CAAC,gBAAgB,CAAC;oCACnB,EAAE,EAAE,qCAAqC;oCACzC,QAAQ,EAAE,OAAO;oCACjB,QAAQ,EAAE,YAAY;oCACtB,OAAO,EACL,KAAK,UAAU,8DAA8D;wCAC7E,6EAA6E;wCAC7E,8BAA8B,UAAU,kBAAkB,UAAU,eAAe;wCACnF,+BAA+B,UAAU,wCAAwC;wCACjF,eAAe;oCACjB,QAAQ,EAAE;wCACR,IAAI,EAAE,EAAE,CAAC,QAAQ;wCACjB,KAAK,EAAE,gBAAgB,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC;qCACjE;iCACF,CAAC,CAAA;4BACJ,CAAC;wBACH,CAAC;oBACH,CAAC;oBACD,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;gBAC1B,CAAC,CAAA;gBACD,IAAI,CAAC,EAAE,CAAC,CAAA;YACV,CAAC;SACF;KACF,CAAA;AACH,CAAC","sourcesContent":["// `no-sample-in-reactive-position` — errors when `sample(...)` results\n// are passed directly to a reactive-accessor-taking position like\n// `text(sample(...))` or `unsafeHtml(sample(...))`. The result is\n// static; the rendered DOM never updates. Migrated from\n// `@llui/eslint-plugin/src/rules/no-sample-in-reactive-position.ts`.\n\nimport ts from 'typescript'\nimport { rangeFromOffsets } from '../diagnostic.js'\nimport type { CompilerModule } from '../module.js'\n\nconst REACTIVE_TARGETS = new Set(['text', 'unsafeHtml'])\n\nfunction isSampleCall(n: ts.Node): boolean {\n  if (!ts.isCallExpression(n)) return false\n  if (ts.isIdentifier(n.expression) && n.expression.text === 'sample') return true\n  if (\n    ts.isPropertyAccessExpression(n.expression) &&\n    ts.isIdentifier(n.expression.name) &&\n    n.expression.name.text === 'sample'\n  )\n    return true\n  return false\n}\n\nexport function noSampleInReactivePositionModule(): CompilerModule {\n  return {\n    name: 'no-sample-in-reactive-position',\n    compilerVersion: '^0.3.0',\n    diagnostics: [\n      {\n        id: 'llui/no-sample-in-reactive-position',\n        description:\n          '`text(sample(…))` / `unsafeHtml(sample(…))` reads once at view-construction — DOM never updates.',\n      },\n    ],\n    visitors: {\n      [ts.SyntaxKind.SourceFile]: (ctx, node) => {\n        const visited = node as ts.SourceFile\n        const sf = ts.createSourceFile(visited.fileName, visited.text, ts.ScriptTarget.Latest, true)\n        const walk = (n: ts.Node): void => {\n          if (ts.isCallExpression(n)) {\n            let calleeName: string | null = null\n            if (ts.isIdentifier(n.expression) && REACTIVE_TARGETS.has(n.expression.text)) {\n              calleeName = n.expression.text\n            } else if (\n              ts.isPropertyAccessExpression(n.expression) &&\n              ts.isIdentifier(n.expression.name) &&\n              REACTIVE_TARGETS.has(n.expression.name.text)\n            ) {\n              calleeName = n.expression.name.text\n            }\n            if (calleeName) {\n              const arg = n.arguments[0]\n              if (arg && isSampleCall(arg)) {\n                ctx.reportDiagnostic({\n                  id: 'llui/no-sample-in-reactive-position',\n                  severity: 'error',\n                  category: 'reactivity',\n                  message:\n                    `\\`${calleeName}(sample(…))\\` reads the value once at view-construction and ` +\n                    `the resulting node never updates. \\`sample\\` is an opt-out of reactivity — ` +\n                    `drop the wrapper to make \\`${calleeName}\\` reactive: \\`${calleeName}((s) => …)\\` ` +\n                    `reads on every commit, or \\`${calleeName}(item.field)\\` reads from an \\`each\\` ` +\n                    `ItemAccessor.`,\n                  location: {\n                    file: sf.fileName,\n                    range: rangeFromOffsets(sf.text, arg.getStart(sf), arg.getEnd()),\n                  },\n                })\n              }\n            }\n          }\n          ts.forEachChild(n, walk)\n        }\n        walk(sf)\n      },\n    },\n  }\n}\n"]}

package/dist/modules/pure-update-function.d.ts

@@ -0,0 +1,3 @@
+import type { CompilerModule } from '../module.js';
+export declare function pureUpdateFunctionModule(): CompilerModule;
+//# sourceMappingURL=pure-update-function.d.ts.map

package/dist/modules/pure-update-function.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pure-update-function.d.ts","sourceRoot":"","sources":["../../src/modules/pure-update-function.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AA8BlD,wBAAgB,wBAAwB,IAAI,cAAc,CAmGzD"}

package/dist/modules/pure-update-function.js

@@ -0,0 +1,127 @@
+// `pure-update-function` — errors on side-effecting calls inside a
+// component's update function. update() must be a pure reducer;
+// non-determinism (Math.random, Date.now), I/O (fetch, document,
+// localStorage), and scheduling (setTimeout) break replay,
+// time-travel debugging, and reproducibility. Return an Effect
+// instead. Migrated from
+// `@llui/eslint-plugin/src/rules/pure-update-function.ts`.
+import ts from 'typescript';
+import { rangeFromOffsets } from '../diagnostic.js';
+import { findComponentCalls } from './_shared.js';
+const BANNED_GLOBAL_CALLS = new Set([
+    'fetch',
+    'setTimeout',
+    'setInterval',
+    'clearTimeout',
+    'clearInterval',
+    'requestAnimationFrame',
+    'cancelAnimationFrame',
+]);
+const IMPURE_ROOT_OBJECTS = new Set(['document', 'window', 'localStorage', 'sessionStorage']);
+function findUpdateProperty(call) {
+    const arg = call.arguments[0];
+    if (!arg || !ts.isObjectLiteralExpression(arg))
+        return undefined;
+    for (const prop of arg.properties) {
+        if (ts.isPropertyAssignment(prop) &&
+            ts.isIdentifier(prop.name) &&
+            prop.name.text === 'update') {
+            return prop;
+        }
+    }
+    return undefined;
+}
+export function pureUpdateFunctionModule() {
+    return {
+        name: 'pure-update-function',
+        compilerVersion: '^0.3.0',
+        diagnostics: [
+            {
+                id: 'llui/pure-update-function',
+                description: 'Side effect inside update() — return an Effect instead, keep update() pure.',
+            },
+        ],
+        visitors: {
+            [ts.SyntaxKind.SourceFile]: (ctx, node) => {
+                const visited = node;
+                const sf = ts.createSourceFile(visited.fileName, visited.text, ts.ScriptTarget.Latest, true);
+                for (const call of findComponentCalls(sf)) {
+                    const updateProp = findUpdateProperty(call);
+                    if (!updateProp)
+                        continue;
+                    const fn = updateProp.initializer;
+                    if (!ts.isArrowFunction(fn) && !ts.isFunctionExpression(fn))
+                        continue;
+                    if (!fn.body)
+                        continue;
+                    const report = (n, name) => {
+                        ctx.reportDiagnostic({
+                            id: 'llui/pure-update-function',
+                            severity: 'error',
+                            category: 'reactivity',
+                            message: `update() must be a pure reducer; \`${name}\` is a side effect. ` +
+                                `Return an Effect from update() (e.g. \`return [state, [{ type: 'fetch', ... }]]\`) ` +
+                                `and run the side effect in the corresponding effect handler.`,
+                            location: {
+                                file: sf.fileName,
+                                range: rangeFromOffsets(sf.text, n.getStart(sf), n.getEnd()),
+                            },
+                        });
+                    };
+                    const walk = (n) => {
+                        // Boundary check — do walk into nested arrows here. The
+                        // ESLint rule used parent-chain "is inside update" without
+                        // a nested-fn cutoff; deferred callbacks would still trigger
+                        // (e.g. nested arrow that does `setTimeout` inside update).
+                        // We preserve that semantics: the rule flags any sync
+                        // *or* deferred side-effect declared in the update body,
+                        // because the reducer should not even orchestrate them.
+                        // Direct calls: fetch(), setTimeout(), …
+                        if (ts.isCallExpression(n) && ts.isIdentifier(n.expression)) {
+                            if (BANNED_GLOBAL_CALLS.has(n.expression.text)) {
+                                report(n, n.expression.text);
+                            }
+                        }
+                        // Member calls: window.fetch, Math.random, Date.now, document.*, localStorage.*, sessionStorage.*
+                        if (ts.isCallExpression(n) &&
+                            ts.isPropertyAccessExpression(n.expression) &&
+                            ts.isIdentifier(n.expression.name)) {
+                            const propName = n.expression.name.text;
+                            const root = n.expression.expression;
+                            const objName = ts.isIdentifier(root) ? root.text : '';
+                            const isBanned = (objName === 'window' && BANNED_GLOBAL_CALLS.has(propName)) ||
+                                (objName === 'Math' && propName === 'random') ||
+                                (objName === 'Date' && propName === 'now') ||
+                                objName === 'document' ||
+                                objName === 'localStorage' ||
+                                objName === 'sessionStorage';
+                            if (isBanned)
+                                report(n, `${objName}.${propName}`);
+                        }
+                        // Bare property reads on impure root objects (not as a call).
+                        if (ts.isPropertyAccessExpression(n) &&
+                            ts.isIdentifier(n.expression) &&
+                            IMPURE_ROOT_OBJECTS.has(n.expression.text)) {
+                            // Skip if this access is the callee of an enclosing CallExpression
+                            // (handled by the call branch above).
+                            const parent = n.parent;
+                            const isCallee = parent && ts.isCallExpression(parent) && parent.expression === n;
+                            if (!isCallee) {
+                                report(n, n.expression.text);
+                            }
+                        }
+                        // `new Date()` — non-deterministic time read.
+                        if (ts.isNewExpression(n) &&
+                            ts.isIdentifier(n.expression) &&
+                            n.expression.text === 'Date') {
+                            report(n, 'new Date()');
+                        }
+                        ts.forEachChild(n, walk);
+                    };
+                    walk(fn.body);
+                }
+            },
+        },
+    };
+}
+//# sourceMappingURL=pure-update-function.js.map

package/dist/modules/pure-update-function.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pure-update-function.js","sourceRoot":"","sources":["../../src/modules/pure-update-function.ts"],"names":[],"mappings":"AAAA,mEAAmE;AACnE,gEAAgE;AAChE,iEAAiE;AACjE,2DAA2D;AAC3D,+DAA+D;AAC/D,yBAAyB;AACzB,2DAA2D;AAE3D,OAAO,EAAE,MAAM,YAAY,CAAA;AAC3B,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AAEnD,OAAO,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAA;AAEjD,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC;IAClC,OAAO;IACP,YAAY;IACZ,aAAa;IACb,cAAc;IACd,eAAe;IACf,uBAAuB;IACvB,sBAAsB;CACvB,CAAC,CAAA;AAEF,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,QAAQ,EAAE,cAAc,EAAE,gBAAgB,CAAC,CAAC,CAAA;AAE7F,SAAS,kBAAkB,CAAC,IAAuB;IACjD,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;IAC7B,IAAI,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,GAAG,CAAC;QAAE,OAAO,SAAS,CAAA;IAChE,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;QAClC,IACE,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC;YAC7B,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAC1B,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAC3B,CAAC;YACD,OAAO,IAAI,CAAA;QACb,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED,MAAM,UAAU,wBAAwB;IACtC,OAAO;QACL,IAAI,EAAE,sBAAsB;QAC5B,eAAe,EAAE,QAAQ;QACzB,WAAW,EAAE;YACX;gBACE,EAAE,EAAE,2BAA2B;gBAC/B,WAAW,EAAE,6EAA6E;aAC3F;SACF;QACD,QAAQ,EAAE;YACR,CAAC,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE;gBACxC,MAAM,OAAO,GAAG,IAAqB,CAAA;gBACrC,MAAM,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;gBAC5F,KAAK,MAAM,IAAI,IAAI,kBAAkB,CAAC,EAAE,CAAC,EAAE,CAAC;oBAC1C,MAAM,UAAU,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAA;oBAC3C,IAAI,CAAC,UAAU;wBAAE,SAAQ;oBACzB,MAAM,EAAE,GAAG,UAAU,CAAC,WAAW,CAAA;oBACjC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,EAAE,CAAC;wBAAE,SAAQ;oBACrE,IAAI,CAAC,EAAE,CAAC,IAAI;wBAAE,SAAQ;oBAEtB,MAAM,MAAM,GAAG,CAAC,CAAU,EAAE,IAAY,EAAQ,EAAE;wBAChD,GAAG,CAAC,gBAAgB,CAAC;4BACnB,EAAE,EAAE,2BAA2B;4BAC/B,QAAQ,EAAE,OAAO;4BACjB,QAAQ,EAAE,YAAY;4BACtB,OAAO,EACL,sCAAsC,IAAI,uBAAuB;gCACjE,qFAAqF;gCACrF,8DAA8D;4BAChE,QAAQ,EAAE;gCACR,IAAI,EAAE,EAAE,CAAC,QAAQ;gCACjB,KAAK,EAAE,gBAAgB,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;6BAC7D;yBACF,CAAC,CAAA;oBACJ,CAAC,CAAA;oBAED,MAAM,IAAI,GAAG,CAAC,CAAU,EAAQ,EAAE;wBAChC,wDAAwD;wBACxD,2DAA2D;wBAC3D,6DAA6D;wBAC7D,4DAA4D;wBAC5D,sDAAsD;wBACtD,yDAAyD;wBACzD,wDAAwD;wBAExD,yCAAyC;wBACzC,IAAI,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC;4BAC5D,IAAI,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;gCAC/C,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAA;4BAC9B,CAAC;wBACH,CAAC;wBACD,kGAAkG;wBAClG,IACE,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC;4BACtB,EAAE,CAAC,0BAA0B,CAAC,CAAC,CAAC,UAAU,CAAC;4BAC3C,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,EAClC,CAAC;4BACD,MAAM,QAAQ,GAAG,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAA;4BACvC,MAAM,IAAI,GAAG,CAAC,CAAC,UAAU,CAAC,UAAU,CAAA;4BACpC,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAA;4BACtD,MAAM,QAAQ,GACZ,CAAC,OAAO,KAAK,QAAQ,IAAI,mBAAmB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gCAC3D,CAAC,OAAO,KAAK,MAAM,IAAI,QAAQ,KAAK,QAAQ,CAAC;gCAC7C,CAAC,OAAO,KAAK,MAAM,IAAI,QAAQ,KAAK,KAAK,CAAC;gCAC1C,OAAO,KAAK,UAAU;gCACtB,OAAO,KAAK,cAAc;gCAC1B,OAAO,KAAK,gBAAgB,CAAA;4BAC9B,IAAI,QAAQ;gCAAE,MAAM,CAAC,CAAC,EAAE,GAAG,OAAO,IAAI,QAAQ,EAAE,CAAC,CAAA;wBACnD,CAAC;wBACD,8DAA8D;wBAC9D,IACE,EAAE,CAAC,0BAA0B,CAAC,CAAC,CAAC;4BAChC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC;4BAC7B,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,EAC1C,CAAC;4BACD,mEAAmE;4BACnE,sCAAsC;4BACtC,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAA;4BACvB,MAAM,QAAQ,GAAG,MAAM,IAAI,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,KAAK,CAAC,CAAA;4BACjF,IAAI,CAAC,QAAQ,EAAE,CAAC;gCACd,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAA;4BAC9B,CAAC;wBACH,CAAC;wBACD,8CAA8C;wBAC9C,IACE,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC;4BACrB,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC;4BAC7B,CAAC,CAAC,UAAU,CAAC,IAAI,KAAK,MAAM,EAC5B,CAAC;4BACD,MAAM,CAAC,CAAC,EAAE,YAAY,CAAC,CAAA;wBACzB,CAAC;wBACD,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;oBAC1B,CAAC,CAAA;oBACD,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAA;gBACf,CAAC;YACH,CAAC;SACF;KACF,CAAA;AACH,CAAC","sourcesContent":["// `pure-update-function` — errors on side-effecting calls inside a\n// component's update function. update() must be a pure reducer;\n// non-determinism (Math.random, Date.now), I/O (fetch, document,\n// localStorage), and scheduling (setTimeout) break replay,\n// time-travel debugging, and reproducibility. Return an Effect\n// instead. Migrated from\n// `@llui/eslint-plugin/src/rules/pure-update-function.ts`.\n\nimport ts from 'typescript'\nimport { rangeFromOffsets } from '../diagnostic.js'\nimport type { CompilerModule } from '../module.js'\nimport { findComponentCalls } from './_shared.js'\n\nconst BANNED_GLOBAL_CALLS = new Set([\n  'fetch',\n  'setTimeout',\n  'setInterval',\n  'clearTimeout',\n  'clearInterval',\n  'requestAnimationFrame',\n  'cancelAnimationFrame',\n])\n\nconst IMPURE_ROOT_OBJECTS = new Set(['document', 'window', 'localStorage', 'sessionStorage'])\n\nfunction findUpdateProperty(call: ts.CallExpression): ts.PropertyAssignment | undefined {\n  const arg = call.arguments[0]\n  if (!arg || !ts.isObjectLiteralExpression(arg)) return undefined\n  for (const prop of arg.properties) {\n    if (\n      ts.isPropertyAssignment(prop) &&\n      ts.isIdentifier(prop.name) &&\n      prop.name.text === 'update'\n    ) {\n      return prop\n    }\n  }\n  return undefined\n}\n\nexport function pureUpdateFunctionModule(): CompilerModule {\n  return {\n    name: 'pure-update-function',\n    compilerVersion: '^0.3.0',\n    diagnostics: [\n      {\n        id: 'llui/pure-update-function',\n        description: 'Side effect inside update() — return an Effect instead, keep update() pure.',\n      },\n    ],\n    visitors: {\n      [ts.SyntaxKind.SourceFile]: (ctx, node) => {\n        const visited = node as ts.SourceFile\n        const sf = ts.createSourceFile(visited.fileName, visited.text, ts.ScriptTarget.Latest, true)\n        for (const call of findComponentCalls(sf)) {\n          const updateProp = findUpdateProperty(call)\n          if (!updateProp) continue\n          const fn = updateProp.initializer\n          if (!ts.isArrowFunction(fn) && !ts.isFunctionExpression(fn)) continue\n          if (!fn.body) continue\n\n          const report = (n: ts.Node, name: string): void => {\n            ctx.reportDiagnostic({\n              id: 'llui/pure-update-function',\n              severity: 'error',\n              category: 'reactivity',\n              message:\n                `update() must be a pure reducer; \\`${name}\\` is a side effect. ` +\n                `Return an Effect from update() (e.g. \\`return [state, [{ type: 'fetch', ... }]]\\`) ` +\n                `and run the side effect in the corresponding effect handler.`,\n              location: {\n                file: sf.fileName,\n                range: rangeFromOffsets(sf.text, n.getStart(sf), n.getEnd()),\n              },\n            })\n          }\n\n          const walk = (n: ts.Node): void => {\n            // Boundary check — do walk into nested arrows here. The\n            // ESLint rule used parent-chain \"is inside update\" without\n            // a nested-fn cutoff; deferred callbacks would still trigger\n            // (e.g. nested arrow that does `setTimeout` inside update).\n            // We preserve that semantics: the rule flags any sync\n            // *or* deferred side-effect declared in the update body,\n            // because the reducer should not even orchestrate them.\n\n            // Direct calls: fetch(), setTimeout(), …\n            if (ts.isCallExpression(n) && ts.isIdentifier(n.expression)) {\n              if (BANNED_GLOBAL_CALLS.has(n.expression.text)) {\n                report(n, n.expression.text)\n              }\n            }\n            // Member calls: window.fetch, Math.random, Date.now, document.*, localStorage.*, sessionStorage.*\n            if (\n              ts.isCallExpression(n) &&\n              ts.isPropertyAccessExpression(n.expression) &&\n              ts.isIdentifier(n.expression.name)\n            ) {\n              const propName = n.expression.name.text\n              const root = n.expression.expression\n              const objName = ts.isIdentifier(root) ? root.text : ''\n              const isBanned =\n                (objName === 'window' && BANNED_GLOBAL_CALLS.has(propName)) ||\n                (objName === 'Math' && propName === 'random') ||\n                (objName === 'Date' && propName === 'now') ||\n                objName === 'document' ||\n                objName === 'localStorage' ||\n                objName === 'sessionStorage'\n              if (isBanned) report(n, `${objName}.${propName}`)\n            }\n            // Bare property reads on impure root objects (not as a call).\n            if (\n              ts.isPropertyAccessExpression(n) &&\n              ts.isIdentifier(n.expression) &&\n              IMPURE_ROOT_OBJECTS.has(n.expression.text)\n            ) {\n              // Skip if this access is the callee of an enclosing CallExpression\n              // (handled by the call branch above).\n              const parent = n.parent\n              const isCallee = parent && ts.isCallExpression(parent) && parent.expression === n\n              if (!isCallee) {\n                report(n, n.expression.text)\n              }\n            }\n            // `new Date()` — non-deterministic time read.\n            if (\n              ts.isNewExpression(n) &&\n              ts.isIdentifier(n.expression) &&\n              n.expression.text === 'Date'\n            ) {\n              report(n, 'new Date()')\n            }\n            ts.forEachChild(n, walk)\n          }\n          walk(fn.body)\n        }\n      },\n    },\n  }\n}\n"]}

package/dist/modules/reactive-paths.d.ts

@@ -0,0 +1,3 @@
+import type { CompilerModule } from '../module.js';
+export declare const reactivePathsModule: CompilerModule;
+//# sourceMappingURL=reactive-paths.d.ts.map

package/dist/modules/reactive-paths.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reactive-paths.d.ts","sourceRoot":"","sources":["../../src/modules/reactive-paths.ts"],"names":[],"mappings":"AAmBA,OAAO,KAAK,EAAE,cAAc,EAAwB,MAAM,cAAc,CAAA;AAOxE,eAAO,MAAM,mBAAmB,EAAE,cAqCjC,CAAA"}

package/dist/modules/reactive-paths.js

@@ -0,0 +1,77 @@
+// `reactive-paths` — proof-of-concept compiler module (v2c §2 / v2c/2.3).
+//
+// Walks the file's reactive accessors via the same path-collection logic
+// the monolithic `transform.ts` uses (`collectStatePathsFromSource`) and
+// emits a `__prefixes: [...]` array — one stable closure per minimal
+// reference-stable prefix, in sorted order.
+//
+// The POC's job is to prove the visitor-registry primitive can produce
+// an emission whose shape matches what today's monolith produces. It
+// does NOT replace `transform.ts`'s `__prefixes` emission yet — that's
+// the v2c decomposition push proper. The two paths run side-by-side
+// during the validation pass (`test/poc-module-prefixes.test.ts`),
+// and the test asserts the path sets match.
+//
+// Once the monolith decomposes, this module owns `__prefixes` and the
+// legacy injection path in `transform.ts` deletes.
+import ts from 'typescript';
+import { collectStatePathsFromSource } from '../collect-deps.js';
+export const reactivePathsModule = {
+    name: 'reactive-paths',
+    compilerVersion: '^0.3.0',
+    diagnostics: [],
+    visitors: {
+        [ts.SyntaxKind.SourceFile]: (ctx, node) => {
+            const slot = ctx.getSlot('reactive-paths', () => ({
+                sourceFile: null,
+            }));
+            slot.sourceFile = node;
+        },
+    },
+    emit(ctx, analysis) {
+        const slot = analysis.perModule.get('reactive-paths');
+        if (!slot?.sourceFile)
+            return [];
+        const paths = collectStatePathsFromSource(slot.sourceFile);
+        if (paths.size === 0)
+            return [];
+        // Build `__prefixes: [s => s.foo, s => s.bar.baz, ...]` as an
+        // ArrayLiteralExpression. The accessor functions are stable
+        // closures; the runtime's `computeDirtyFromPrefixes` reference-
+        // compares each prefix(prev) vs prefix(next) per bit.
+        const arrows = [...paths].sort().map((path) => buildPrefixAccessor(ctx.factory, path));
+        const arrayLit = ctx.factory.createArrayLiteralExpression(arrows, false);
+        const contribution = {
+            module: 'reactive-paths',
+            field: '__prefixes',
+            value: arrayLit,
+        };
+        return [contribution];
+    },
+};
+/**
+ * Build a `(s) => s?.<path>?.<leaf>` arrow expression for a dotted path.
+ * `path` is depth-2 normalised by the collector (e.g. `user.name`).
+ *
+ * Multi-segment paths use optional chaining (`?.`) on every segment so
+ * the prefix function stays well-defined under structural-sharing
+ * reducers where an intermediate slice may be undefined transiently.
+ * Single-segment paths (`s.theme`) use plain `.` since there's no
+ * intermediate. The monolith's `buildAccess` in `transform.ts` uses the
+ * exact same shape — produces byte-equivalent emission when the path
+ * sets match.
+ */
+function buildPrefixAccessor(f, path) {
+    const parts = path.split('.');
+    const useChain = parts.length > 1;
+    let expr = f.createIdentifier('s');
+    for (const part of parts) {
+        expr = useChain
+            ? f.createPropertyAccessChain(expr, f.createToken(ts.SyntaxKind.QuestionDotToken), f.createIdentifier(part))
+            : f.createPropertyAccessExpression(expr, f.createIdentifier(part));
+    }
+    return f.createArrowFunction(undefined, undefined, [
+        f.createParameterDeclaration(undefined, undefined, f.createIdentifier('s'), undefined, undefined, undefined),
+    ], undefined, f.createToken(ts.SyntaxKind.EqualsGreaterThanToken), expr);
+}
+//# sourceMappingURL=reactive-paths.js.map

package/dist/modules/reactive-paths.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reactive-paths.js","sourceRoot":"","sources":["../../src/modules/reactive-paths.ts"],"names":[],"mappings":"AAAA,0EAA0E;AAC1E,EAAE;AACF,yEAAyE;AACzE,yEAAyE;AACzE,qEAAqE;AACrE,4CAA4C;AAC5C,EAAE;AACF,uEAAuE;AACvE,qEAAqE;AACrE,uEAAuE;AACvE,oEAAoE;AACpE,mEAAmE;AACnE,4CAA4C;AAC5C,EAAE;AACF,sEAAsE;AACtE,mDAAmD;AAEnD,OAAO,EAAE,MAAM,YAAY,CAAA;AAC3B,OAAO,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAA;AAQhE,MAAM,CAAC,MAAM,mBAAmB,GAAmB;IACjD,IAAI,EAAE,gBAAgB;IACtB,eAAe,EAAE,QAAQ;IACzB,WAAW,EAAE,EAAE;IAEf,QAAQ,EAAE;QACR,CAAC,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE;YACxC,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CACtB,gBAAgB,EAChB,GAAsB,EAAE,CAAC,CAAC;gBACxB,UAAU,EAAE,IAAI;aACjB,CAAC,CACH,CAAA;YACD,IAAI,CAAC,UAAU,GAAG,IAAqB,CAAA;QACzC,CAAC;KACF;IAED,IAAI,CAAC,GAAG,EAAE,QAAQ;QAChB,MAAM,IAAI,GAAG,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,gBAAgB,CAAkC,CAAA;QACtF,IAAI,CAAC,IAAI,EAAE,UAAU;YAAE,OAAO,EAAE,CAAA;QAChC,MAAM,KAAK,GAAG,2BAA2B,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;QAC1D,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC;YAAE,OAAO,EAAE,CAAA;QAE/B,8DAA8D;QAC9D,4DAA4D;QAC5D,gEAAgE;QAChE,sDAAsD;QACtD,MAAM,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,mBAAmB,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAA;QACtF,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,4BAA4B,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;QAExE,MAAM,YAAY,GAAyB;YACzC,MAAM,EAAE,gBAAgB;YACxB,KAAK,EAAE,YAAY;YACnB,KAAK,EAAE,QAAQ;SAChB,CAAA;QACD,OAAO,CAAC,YAAY,CAAC,CAAA;IACvB,CAAC;CACF,CAAA;AAED;;;;;;;;;;;GAWG;AACH,SAAS,mBAAmB,CAAC,CAAiB,EAAE,IAAY;IAC1D,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;IAC7B,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAA;IACjC,IAAI,IAAI,GAAkB,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAA;IACjD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,GAAG,QAAQ;YACb,CAAC,CAAC,CAAC,CAAC,yBAAyB,CACzB,IAAI,EACJ,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC,UAAU,CAAC,gBAAgB,CAAC,EAC7C,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,CACzB;YACH,CAAC,CAAC,CAAC,CAAC,8BAA8B,CAAC,IAAI,EAAE,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAA;IACtE,CAAC;IACD,OAAO,CAAC,CAAC,mBAAmB,CAC1B,SAAS,EACT,SAAS,EACT;QACE,CAAC,CAAC,0BAA0B,CAC1B,SAAS,EACT,SAAS,EACT,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,EACvB,SAAS,EACT,SAAS,EACT,SAAS,CACV;KACF,EACD,SAAS,EACT,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC,UAAU,CAAC,sBAAsB,CAAC,EACnD,IAAI,CACL,CAAA;AACH,CAAC","sourcesContent":["// `reactive-paths` — proof-of-concept compiler module (v2c §2 / v2c/2.3).\n//\n// Walks the file's reactive accessors via the same path-collection logic\n// the monolithic `transform.ts` uses (`collectStatePathsFromSource`) and\n// emits a `__prefixes: [...]` array — one stable closure per minimal\n// reference-stable prefix, in sorted order.\n//\n// The POC's job is to prove the visitor-registry primitive can produce\n// an emission whose shape matches what today's monolith produces. It\n// does NOT replace `transform.ts`'s `__prefixes` emission yet — that's\n// the v2c decomposition push proper. The two paths run side-by-side\n// during the validation pass (`test/poc-module-prefixes.test.ts`),\n// and the test asserts the path sets match.\n//\n// Once the monolith decomposes, this module owns `__prefixes` and the\n// legacy injection path in `transform.ts` deletes.\n\nimport ts from 'typescript'\nimport { collectStatePathsFromSource } from '../collect-deps.js'\nimport type { CompilerModule, EmissionContribution } from '../module.js'\n\ninterface ReactivePathsSlot {\n  /** Source file the module was applied to — for emission-time access. */\n  sourceFile: ts.SourceFile | null\n}\n\nexport const reactivePathsModule: CompilerModule = {\n  name: 'reactive-paths',\n  compilerVersion: '^0.3.0',\n  diagnostics: [],\n\n  visitors: {\n    [ts.SyntaxKind.SourceFile]: (ctx, node) => {\n      const slot = ctx.getSlot(\n        'reactive-paths',\n        (): ReactivePathsSlot => ({\n          sourceFile: null,\n        }),\n      )\n      slot.sourceFile = node as ts.SourceFile\n    },\n  },\n\n  emit(ctx, analysis) {\n    const slot = analysis.perModule.get('reactive-paths') as ReactivePathsSlot | undefined\n    if (!slot?.sourceFile) return []\n    const paths = collectStatePathsFromSource(slot.sourceFile)\n    if (paths.size === 0) return []\n\n    // Build `__prefixes: [s => s.foo, s => s.bar.baz, ...]` as an\n    // ArrayLiteralExpression. The accessor functions are stable\n    // closures; the runtime's `computeDirtyFromPrefixes` reference-\n    // compares each prefix(prev) vs prefix(next) per bit.\n    const arrows = [...paths].sort().map((path) => buildPrefixAccessor(ctx.factory, path))\n    const arrayLit = ctx.factory.createArrayLiteralExpression(arrows, false)\n\n    const contribution: EmissionContribution = {\n      module: 'reactive-paths',\n      field: '__prefixes',\n      value: arrayLit,\n    }\n    return [contribution]\n  },\n}\n\n/**\n * Build a `(s) => s?.<path>?.<leaf>` arrow expression for a dotted path.\n * `path` is depth-2 normalised by the collector (e.g. `user.name`).\n *\n * Multi-segment paths use optional chaining (`?.`) on every segment so\n * the prefix function stays well-defined under structural-sharing\n * reducers where an intermediate slice may be undefined transiently.\n * Single-segment paths (`s.theme`) use plain `.` since there's no\n * intermediate. The monolith's `buildAccess` in `transform.ts` uses the\n * exact same shape — produces byte-equivalent emission when the path\n * sets match.\n */\nfunction buildPrefixAccessor(f: ts.NodeFactory, path: string): ts.ArrowFunction {\n  const parts = path.split('.')\n  const useChain = parts.length > 1\n  let expr: ts.Expression = f.createIdentifier('s')\n  for (const part of parts) {\n    expr = useChain\n      ? f.createPropertyAccessChain(\n          expr,\n          f.createToken(ts.SyntaxKind.QuestionDotToken),\n          f.createIdentifier(part),\n        )\n      : f.createPropertyAccessExpression(expr, f.createIdentifier(part))\n  }\n  return f.createArrowFunction(\n    undefined,\n    undefined,\n    [\n      f.createParameterDeclaration(\n        undefined,\n        undefined,\n        f.createIdentifier('s'),\n        undefined,\n        undefined,\n        undefined,\n      ),\n    ],\n    undefined,\n    f.createToken(ts.SyntaxKind.EqualsGreaterThanToken),\n    expr,\n  )\n}\n"]}

package/dist/modules/row-factory.d.ts

@@ -0,0 +1,12 @@
+import type { CompilerModule } from '../module.js';
+export interface RowFactoryModuleOptions {
+    viewHelperNames: Set<string>;
+    viewHelperAliases: Map<string, string>;
+    /** Filename for the warn message. */
+    filename: string;
+    /** Original source text — passed through to the rewrite (unused
+     *  by the function, but the signature requires it). */
+    source: string;
+}
+export declare function rowFactoryModule(options: RowFactoryModuleOptions): CompilerModule;
+//# sourceMappingURL=row-factory.d.ts.map

package/dist/modules/row-factory.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"row-factory.d.ts","sourceRoot":"","sources":["../../src/modules/row-factory.ts"],"names":[],"mappings":"AAoBA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AAGlD,MAAM,WAAW,uBAAuB;IACtC,eAAe,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC5B,iBAAiB,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IACtC,qCAAqC;IACrC,QAAQ,EAAE,MAAM,CAAA;IAChB;2DACuD;IACvD,MAAM,EAAE,MAAM,CAAA;CACf;AAED,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,uBAAuB,GAAG,cAAc,CAqBjF"}