@llui/compiler 0.3.0

package/dist/modules/_shared.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"_shared.js","sourceRoot":"","sources":["../../src/modules/_shared.ts"],"names":[],"mappings":"AAAA,iEAAiE;AACjE,yDAAyD;AAEzD,OAAO,EAAE,MAAM,YAAY,CAAA;AAE3B;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,kBAAkB,CAAC,EAAiB;IAClD,MAAM,GAAG,GAAwB,EAAE,CAAA;IACnC,MAAM,IAAI,GAAG,CAAC,CAAU,EAAQ,EAAE;QAChC,IACE,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC;YACtB,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC;YAC7B,CAAC,CAAC,UAAU,CAAC,IAAI,KAAK,WAAW,EACjC,CAAC;YACD,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QACb,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;IAC1B,CAAC,CAAA;IACD,IAAI,CAAC,EAAE,CAAC,CAAA;IACR,OAAO,GAAG,CAAA;AACZ,CAAC","sourcesContent":["// Internal helpers shared across modules. Not part of the public\n// CompilerModule surface — strictly implementation glue.\n\nimport ts from 'typescript'\n\n/**\n * Walk a SourceFile and collect every `component(...)` CallExpression.\n * Used by per-target emission modules to capture their targets in `emit`\n * (not `visit`) so the refs match the post-Phase-2b AST.\n *\n * Phase 2b's `transformCall*` hooks rebuild ancestor nodes via\n * `ts.visitEachChild` whenever any descendant is rewritten — e.g. a\n * `text()` rewrite inside a `component()` call's view ladder\n * invalidates every component-call ref captured during the visitor\n * walk (Phase 2). Calling `findComponentCalls(analysis.sourceFile)` in\n * `emit` returns refs into the post-Phase-2b tree, which is the same\n * tree the umbrella's per-statement visitor walks.\n */\nexport function findComponentCalls(sf: ts.SourceFile): ts.CallExpression[] {\n  const out: ts.CallExpression[] = []\n  const walk = (n: ts.Node): void => {\n    if (\n      ts.isCallExpression(n) &&\n      ts.isIdentifier(n.expression) &&\n      n.expression.text === 'component'\n    ) {\n      out.push(n)\n    }\n    ts.forEachChild(n, walk)\n  }\n  walk(sf)\n  return out\n}\n"]}

package/dist/modules/accessibility.d.ts

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

package/dist/modules/accessibility.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"accessibility.d.ts","sourceRoot":"","sources":["../../src/modules/accessibility.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AAgBlD,wBAAgB,mBAAmB,IAAI,cAAc,CA6DpD"}

package/dist/modules/accessibility.js

@@ -0,0 +1,82 @@
+// `accessibility` — two a11y nudges:
+//   - `<img>` without `alt` → screen readers read filename
+//   - `onClick` on a non-interactive element without `role` → keyboard
+//     users can't reach it
+// Migrated from `@llui/eslint-plugin/src/rules/accessibility.ts`.
+import ts from 'typescript';
+import { rangeFromOffsets } from '../diagnostic.js';
+import { ELEMENT_HELPERS, INTERACTIVE_ELEMENTS } from './_element-helpers.js';
+function staticPropKeys(obj) {
+    const out = new Set();
+    for (const p of obj.properties) {
+        if (ts.isPropertyAssignment(p)) {
+            if (ts.isIdentifier(p.name))
+                out.add(p.name.text);
+            else if (ts.isStringLiteral(p.name))
+                out.add(p.name.text);
+        }
+        else if (ts.isShorthandPropertyAssignment(p)) {
+            out.add(p.name.text);
+        }
+    }
+    return out;
+}
+export function accessibilityModule() {
+    return {
+        name: 'accessibility',
+        compilerVersion: '^0.3.0',
+        diagnostics: [
+            {
+                id: 'llui/accessibility',
+                description: 'Missing alt on <img>, or onClick on non-interactive element without role.',
+            },
+        ],
+        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) &&
+                        ts.isIdentifier(n.expression) &&
+                        ELEMENT_HELPERS.has(n.expression.text)) {
+                        const tag = n.expression.text;
+                        const props = n.arguments[0];
+                        if (props && ts.isObjectLiteralExpression(props)) {
+                            const keys = staticPropKeys(props);
+                            if (tag === 'img' && !keys.has('alt')) {
+                                ctx.reportDiagnostic({
+                                    id: 'llui/accessibility',
+                                    severity: 'error',
+                                    category: 'style',
+                                    message: `<img> has no \`alt\` attribute. Add alt text for screen readers, or ` +
+                                        `\`alt: ''\` for decorative images.`,
+                                    location: {
+                                        file: sf.fileName,
+                                        range: rangeFromOffsets(sf.text, n.getStart(sf), n.getEnd()),
+                                    },
+                                });
+                            }
+                            if (keys.has('onClick') && !INTERACTIVE_ELEMENTS.has(tag) && !keys.has('role')) {
+                                ctx.reportDiagnostic({
+                                    id: 'llui/accessibility',
+                                    severity: 'error',
+                                    category: 'style',
+                                    message: `onClick on <${tag}> without \`role\`. Non-interactive elements with click ` +
+                                        `handlers are not keyboard-accessible. Add \`role: 'button', tabIndex: 0\`, ` +
+                                        `or use <button>.`,
+                                    location: {
+                                        file: sf.fileName,
+                                        range: rangeFromOffsets(sf.text, n.getStart(sf), n.getEnd()),
+                                    },
+                                });
+                            }
+                        }
+                    }
+                    ts.forEachChild(n, walk);
+                };
+                walk(sf);
+            },
+        },
+    };
+}
+//# sourceMappingURL=accessibility.js.map

package/dist/modules/accessibility.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"accessibility.js","sourceRoot":"","sources":["../../src/modules/accessibility.ts"],"names":[],"mappings":"AAAA,qCAAqC;AACrC,2DAA2D;AAC3D,uEAAuE;AACvE,2BAA2B;AAC3B,kEAAkE;AAElE,OAAO,EAAE,MAAM,YAAY,CAAA;AAC3B,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AAEnD,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAA;AAE7E,SAAS,cAAc,CAAC,GAA+B;IACrD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAA;IAC7B,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;QAC/B,IAAI,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/B,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC;gBAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;iBAC5C,IAAI,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC;gBAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC3D,CAAC;aAAM,IAAI,EAAE,CAAC,6BAA6B,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/C,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACtB,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,MAAM,UAAU,mBAAmB;IACjC,OAAO;QACL,IAAI,EAAE,eAAe;QACrB,eAAe,EAAE,QAAQ;QACzB,WAAW,EAAE;YACX;gBACE,EAAE,EAAE,oBAAoB;gBACxB,WAAW,EAAE,2EAA2E;aACzF;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,IACE,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC;wBACtB,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC;wBAC7B,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,EACtC,CAAC;wBACD,MAAM,GAAG,GAAG,CAAC,CAAC,UAAU,CAAC,IAAI,CAAA;wBAC7B,MAAM,KAAK,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;wBAC5B,IAAI,KAAK,IAAI,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC,EAAE,CAAC;4BACjD,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,CAAC,CAAA;4BAClC,IAAI,GAAG,KAAK,KAAK,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gCACtC,GAAG,CAAC,gBAAgB,CAAC;oCACnB,EAAE,EAAE,oBAAoB;oCACxB,QAAQ,EAAE,OAAO;oCACjB,QAAQ,EAAE,OAAO;oCACjB,OAAO,EACL,sEAAsE;wCACtE,oCAAoC;oCACtC,QAAQ,EAAE;wCACR,IAAI,EAAE,EAAE,CAAC,QAAQ;wCACjB,KAAK,EAAE,gBAAgB,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;qCAC7D;iCACF,CAAC,CAAA;4BACJ,CAAC;4BACD,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gCAC/E,GAAG,CAAC,gBAAgB,CAAC;oCACnB,EAAE,EAAE,oBAAoB;oCACxB,QAAQ,EAAE,OAAO;oCACjB,QAAQ,EAAE,OAAO;oCACjB,OAAO,EACL,eAAe,GAAG,0DAA0D;wCAC5E,6EAA6E;wCAC7E,kBAAkB;oCACpB,QAAQ,EAAE;wCACR,IAAI,EAAE,EAAE,CAAC,QAAQ;wCACjB,KAAK,EAAE,gBAAgB,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;qCAC7D;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":["// `accessibility` — two a11y nudges:\n//   - `<img>` without `alt` → screen readers read filename\n//   - `onClick` on a non-interactive element without `role` → keyboard\n//     users can't reach it\n// Migrated from `@llui/eslint-plugin/src/rules/accessibility.ts`.\n\nimport ts from 'typescript'\nimport { rangeFromOffsets } from '../diagnostic.js'\nimport type { CompilerModule } from '../module.js'\nimport { ELEMENT_HELPERS, INTERACTIVE_ELEMENTS } from './_element-helpers.js'\n\nfunction staticPropKeys(obj: ts.ObjectLiteralExpression): Set<string> {\n  const out = new Set<string>()\n  for (const p of obj.properties) {\n    if (ts.isPropertyAssignment(p)) {\n      if (ts.isIdentifier(p.name)) out.add(p.name.text)\n      else if (ts.isStringLiteral(p.name)) out.add(p.name.text)\n    } else if (ts.isShorthandPropertyAssignment(p)) {\n      out.add(p.name.text)\n    }\n  }\n  return out\n}\n\nexport function accessibilityModule(): CompilerModule {\n  return {\n    name: 'accessibility',\n    compilerVersion: '^0.3.0',\n    diagnostics: [\n      {\n        id: 'llui/accessibility',\n        description: 'Missing alt on <img>, or onClick on non-interactive element without role.',\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 (\n            ts.isCallExpression(n) &&\n            ts.isIdentifier(n.expression) &&\n            ELEMENT_HELPERS.has(n.expression.text)\n          ) {\n            const tag = n.expression.text\n            const props = n.arguments[0]\n            if (props && ts.isObjectLiteralExpression(props)) {\n              const keys = staticPropKeys(props)\n              if (tag === 'img' && !keys.has('alt')) {\n                ctx.reportDiagnostic({\n                  id: 'llui/accessibility',\n                  severity: 'error',\n                  category: 'style',\n                  message:\n                    `<img> has no \\`alt\\` attribute. Add alt text for screen readers, or ` +\n                    `\\`alt: ''\\` for decorative images.`,\n                  location: {\n                    file: sf.fileName,\n                    range: rangeFromOffsets(sf.text, n.getStart(sf), n.getEnd()),\n                  },\n                })\n              }\n              if (keys.has('onClick') && !INTERACTIVE_ELEMENTS.has(tag) && !keys.has('role')) {\n                ctx.reportDiagnostic({\n                  id: 'llui/accessibility',\n                  severity: 'error',\n                  category: 'style',\n                  message:\n                    `onClick on <${tag}> without \\`role\\`. Non-interactive elements with click ` +\n                    `handlers are not keyboard-accessible. Add \\`role: 'button', tabIndex: 0\\`, ` +\n                    `or use <button>.`,\n                  location: {\n                    file: sf.fileName,\n                    range: rangeFromOffsets(sf.text, n.getStart(sf), n.getEnd()),\n                  },\n                })\n              }\n            }\n          }\n          ts.forEachChild(n, walk)\n        }\n        walk(sf)\n      },\n    },\n  }\n}\n"]}

package/dist/modules/accessor-side-effect.d.ts

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

package/dist/modules/accessor-side-effect.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"accessor-side-effect.d.ts","sourceRoot":"","sources":["../../src/modules/accessor-side-effect.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AAuClD,wBAAgB,wBAAwB,IAAI,cAAc,CAqEzD"}

package/dist/modules/accessor-side-effect.js

@@ -0,0 +1,113 @@
+// `accessor-side-effect` — errors on `console.{log,warn,error}`,
+// `fetch`, and `alert` calls inside reactive accessor functions
+// (the arrow passed to `text(...)` or to a non-handler property like
+// `class:`). Accessors re-execute on every relevant state change;
+// side effects there fire repeatedly with no flush guarantee.
+// Migrated from `@llui/eslint-plugin/src/rules/accessor-side-effect.ts`.
+import ts from 'typescript';
+import { rangeFromOffsets } from '../diagnostic.js';
+import { findComponentCalls } from './_shared.js';
+const SIDE_EFFECT_CALLEES = new Set(['fetch', 'alert']);
+const CONSOLE_METHODS = new Set(['log', 'warn', 'error']);
+function findViewProperty(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 === 'view') {
+            return prop;
+        }
+    }
+    return undefined;
+}
+/**
+ * True when `fn` sits in an accessor position: the first argument of a
+ * `text(...)` call, or the value of a non-`on*` property assignment
+ * (so `class: s => …` qualifies, `onClick: s => …` does not).
+ */
+function isAccessorArrow(fn) {
+    const parent = fn.parent;
+    if (!parent)
+        return false;
+    if (ts.isCallExpression(parent) &&
+        ts.isIdentifier(parent.expression) &&
+        parent.expression.text === 'text' &&
+        parent.arguments[0] === fn) {
+        return true;
+    }
+    if (ts.isPropertyAssignment(parent) && ts.isIdentifier(parent.name)) {
+        return !/^on[A-Z]/.test(parent.name.text);
+    }
+    return false;
+}
+export function accessorSideEffectModule() {
+    return {
+        name: 'accessor-side-effect',
+        compilerVersion: '^0.3.0',
+        diagnostics: [
+            {
+                id: 'llui/accessor-side-effect',
+                description: 'Side effect (console, fetch, alert) inside a reactive accessor — accessors re-run on every state change.',
+            },
+        ],
+        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 viewProp = findViewProperty(call);
+                    if (!viewProp)
+                        continue;
+                    const fn = viewProp.initializer;
+                    if (!ts.isArrowFunction(fn) && !ts.isFunctionExpression(fn))
+                        continue;
+                    const walk = (n, inAccessor) => {
+                        let nextAccessor = inAccessor;
+                        if (ts.isArrowFunction(n)) {
+                            // An accessor boundary either turns the flag on (entering
+                            // a text() arg / property accessor) or doesn't change it.
+                            if (isAccessorArrow(n))
+                                nextAccessor = true;
+                        }
+                        if (inAccessor && ts.isCallExpression(n)) {
+                            // console.{log,warn,error}(…)
+                            if (ts.isPropertyAccessExpression(n.expression) &&
+                                ts.isIdentifier(n.expression.expression) &&
+                                n.expression.expression.text === 'console' &&
+                                ts.isIdentifier(n.expression.name) &&
+                                CONSOLE_METHODS.has(n.expression.name.text)) {
+                                ctx.reportDiagnostic({
+                                    id: 'llui/accessor-side-effect',
+                                    severity: 'error',
+                                    category: 'reactivity',
+                                    message: `\`console.${n.expression.name.text}\` inside a reactive accessor — fires on every state change with no flush guarantee. Move logging to update() or an effect handler.`,
+                                    location: {
+                                        file: sf.fileName,
+                                        range: rangeFromOffsets(sf.text, n.getStart(sf), n.getEnd()),
+                                    },
+                                });
+                            }
+                            // fetch(…), alert(…)
+                            if (ts.isIdentifier(n.expression) && SIDE_EFFECT_CALLEES.has(n.expression.text)) {
+                                ctx.reportDiagnostic({
+                                    id: 'llui/accessor-side-effect',
+                                    severity: 'error',
+                                    category: 'reactivity',
+                                    message: `\`${n.expression.text}()\` inside a reactive accessor — fires on every state change. Move the call to update() (return an effect) or to an effect handler.`,
+                                    location: {
+                                        file: sf.fileName,
+                                        range: rangeFromOffsets(sf.text, n.getStart(sf), n.getEnd()),
+                                    },
+                                });
+                            }
+                        }
+                        ts.forEachChild(n, (c) => walk(c, nextAccessor));
+                    };
+                    if (fn.body)
+                        walk(fn.body, false);
+                }
+            },
+        },
+    };
+}
+//# sourceMappingURL=accessor-side-effect.js.map

package/dist/modules/accessor-side-effect.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"accessor-side-effect.js","sourceRoot":"","sources":["../../src/modules/accessor-side-effect.ts"],"names":[],"mappings":"AAAA,iEAAiE;AACjE,gEAAgE;AAChE,qEAAqE;AACrE,kEAAkE;AAClE,8DAA8D;AAC9D,yEAAyE;AAEzE,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,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAA;AACvD,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;AAEzD,SAAS,gBAAgB,CAAC,IAAuB;IAC/C,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,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC7F,OAAO,IAAI,CAAA;QACb,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED;;;;GAIG;AACH,SAAS,eAAe,CAAC,EAAoB;IAC3C,MAAM,MAAM,GAAG,EAAE,CAAC,MAAM,CAAA;IACxB,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAA;IACzB,IACE,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC;QAC3B,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC;QAClC,MAAM,CAAC,UAAU,CAAC,IAAI,KAAK,MAAM;QACjC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,EAAE,EAC1B,CAAC;QACD,OAAO,IAAI,CAAA;IACb,CAAC;IACD,IAAI,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QACpE,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IAC3C,CAAC;IACD,OAAO,KAAK,CAAA;AACd,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,EACT,0GAA0G;aAC7G;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,QAAQ,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAA;oBACvC,IAAI,CAAC,QAAQ;wBAAE,SAAQ;oBACvB,MAAM,EAAE,GAAG,QAAQ,CAAC,WAAW,CAAA;oBAC/B,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,EAAE,CAAC;wBAAE,SAAQ;oBAErE,MAAM,IAAI,GAAG,CAAC,CAAU,EAAE,UAAmB,EAAQ,EAAE;wBACrD,IAAI,YAAY,GAAG,UAAU,CAAA;wBAC7B,IAAI,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC;4BAC1B,0DAA0D;4BAC1D,0DAA0D;4BAC1D,IAAI,eAAe,CAAC,CAAC,CAAC;gCAAE,YAAY,GAAG,IAAI,CAAA;wBAC7C,CAAC;wBACD,IAAI,UAAU,IAAI,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC;4BACzC,8BAA8B;4BAC9B,IACE,EAAE,CAAC,0BAA0B,CAAC,CAAC,CAAC,UAAU,CAAC;gCAC3C,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC;gCACxC,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,KAAK,SAAS;gCAC1C,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC;gCAClC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAC3C,CAAC;gCACD,GAAG,CAAC,gBAAgB,CAAC;oCACnB,EAAE,EAAE,2BAA2B;oCAC/B,QAAQ,EAAE,OAAO;oCACjB,QAAQ,EAAE,YAAY;oCACtB,OAAO,EAAE,aAAa,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,qIAAqI;oCACjL,QAAQ,EAAE;wCACR,IAAI,EAAE,EAAE,CAAC,QAAQ;wCACjB,KAAK,EAAE,gBAAgB,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;qCAC7D;iCACF,CAAC,CAAA;4BACJ,CAAC;4BACD,qBAAqB;4BACrB,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;gCAChF,GAAG,CAAC,gBAAgB,CAAC;oCACnB,EAAE,EAAE,2BAA2B;oCAC/B,QAAQ,EAAE,OAAO;oCACjB,QAAQ,EAAE,YAAY;oCACtB,OAAO,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,sIAAsI;oCACrK,QAAQ,EAAE;wCACR,IAAI,EAAE,EAAE,CAAC,QAAQ;wCACjB,KAAK,EAAE,gBAAgB,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;qCAC7D;iCACF,CAAC,CAAA;4BACJ,CAAC;wBACH,CAAC;wBACD,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAA;oBAClD,CAAC,CAAA;oBACD,IAAI,EAAE,CAAC,IAAI;wBAAE,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;gBACnC,CAAC;YACH,CAAC;SACF;KACF,CAAA;AACH,CAAC","sourcesContent":["// `accessor-side-effect` — errors on `console.{log,warn,error}`,\n// `fetch`, and `alert` calls inside reactive accessor functions\n// (the arrow passed to `text(...)` or to a non-handler property like\n// `class:`). Accessors re-execute on every relevant state change;\n// side effects there fire repeatedly with no flush guarantee.\n// Migrated from `@llui/eslint-plugin/src/rules/accessor-side-effect.ts`.\n\nimport ts from 'typescript'\nimport { rangeFromOffsets } from '../diagnostic.js'\nimport type { CompilerModule } from '../module.js'\nimport { findComponentCalls } from './_shared.js'\n\nconst SIDE_EFFECT_CALLEES = new Set(['fetch', 'alert'])\nconst CONSOLE_METHODS = new Set(['log', 'warn', 'error'])\n\nfunction findViewProperty(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 (ts.isPropertyAssignment(prop) && ts.isIdentifier(prop.name) && prop.name.text === 'view') {\n      return prop\n    }\n  }\n  return undefined\n}\n\n/**\n * True when `fn` sits in an accessor position: the first argument of a\n * `text(...)` call, or the value of a non-`on*` property assignment\n * (so `class: s => …` qualifies, `onClick: s => …` does not).\n */\nfunction isAccessorArrow(fn: ts.ArrowFunction): boolean {\n  const parent = fn.parent\n  if (!parent) return false\n  if (\n    ts.isCallExpression(parent) &&\n    ts.isIdentifier(parent.expression) &&\n    parent.expression.text === 'text' &&\n    parent.arguments[0] === fn\n  ) {\n    return true\n  }\n  if (ts.isPropertyAssignment(parent) && ts.isIdentifier(parent.name)) {\n    return !/^on[A-Z]/.test(parent.name.text)\n  }\n  return false\n}\n\nexport function accessorSideEffectModule(): CompilerModule {\n  return {\n    name: 'accessor-side-effect',\n    compilerVersion: '^0.3.0',\n    diagnostics: [\n      {\n        id: 'llui/accessor-side-effect',\n        description:\n          'Side effect (console, fetch, alert) inside a reactive accessor — accessors re-run on every state change.',\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 viewProp = findViewProperty(call)\n          if (!viewProp) continue\n          const fn = viewProp.initializer\n          if (!ts.isArrowFunction(fn) && !ts.isFunctionExpression(fn)) continue\n\n          const walk = (n: ts.Node, inAccessor: boolean): void => {\n            let nextAccessor = inAccessor\n            if (ts.isArrowFunction(n)) {\n              // An accessor boundary either turns the flag on (entering\n              // a text() arg / property accessor) or doesn't change it.\n              if (isAccessorArrow(n)) nextAccessor = true\n            }\n            if (inAccessor && ts.isCallExpression(n)) {\n              // console.{log,warn,error}(…)\n              if (\n                ts.isPropertyAccessExpression(n.expression) &&\n                ts.isIdentifier(n.expression.expression) &&\n                n.expression.expression.text === 'console' &&\n                ts.isIdentifier(n.expression.name) &&\n                CONSOLE_METHODS.has(n.expression.name.text)\n              ) {\n                ctx.reportDiagnostic({\n                  id: 'llui/accessor-side-effect',\n                  severity: 'error',\n                  category: 'reactivity',\n                  message: `\\`console.${n.expression.name.text}\\` inside a reactive accessor — fires on every state change with no flush guarantee. Move logging to update() or an effect handler.`,\n                  location: {\n                    file: sf.fileName,\n                    range: rangeFromOffsets(sf.text, n.getStart(sf), n.getEnd()),\n                  },\n                })\n              }\n              // fetch(…), alert(…)\n              if (ts.isIdentifier(n.expression) && SIDE_EFFECT_CALLEES.has(n.expression.text)) {\n                ctx.reportDiagnostic({\n                  id: 'llui/accessor-side-effect',\n                  severity: 'error',\n                  category: 'reactivity',\n                  message: `\\`${n.expression.text}()\\` inside a reactive accessor — fires on every state change. Move the call to update() (return an effect) or to an effect handler.`,\n                  location: {\n                    file: sf.fileName,\n                    range: rangeFromOffsets(sf.text, n.getStart(sf), n.getEnd()),\n                  },\n                })\n              }\n            }\n            ts.forEachChild(n, (c) => walk(c, nextAccessor))\n          }\n          if (fn.body) walk(fn.body, false)\n        }\n      },\n    },\n  }\n}\n"]}

package/dist/modules/agent-emits-drift.d.ts

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

package/dist/modules/agent-emits-drift.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"agent-emits-drift.d.ts","sourceRoot":"","sources":["../../src/modules/agent-emits-drift.ts"],"names":[],"mappings":"AAkBA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AAmFlD,wBAAgB,qBAAqB,IAAI,cAAc,CAiEtD"}

package/dist/modules/agent-emits-drift.js

@@ -0,0 +1,158 @@
+// `agent-emits-drift` — verifies `@emits("k1", "k2")` declarations on
+// Msg variants match the effect kinds the corresponding case in
+// update() actually emits.
+//
+// Two failure modes detected:
+//   1. **Emitted but not declared** — a literal `{ kind: 'X' }` appears
+//      in the case's effect array but 'X' isn't in @emits.
+//   2. **Declared but not emitted** — a kind in @emits doesn't appear in
+//      any literal effect (and the case has no opaque helper calls that
+//      might emit it).
+//
+// File-local scope: Msg union and the update() switch must be in the
+// same source file. Cross-file resolution would require type-checker
+// integration. Migrated from
+// `@llui/eslint-plugin/src/rules/agent-emits-drift.ts`.
+import ts from 'typescript';
+import { rangeFromOffsets } from '../diagnostic.js';
+import { forEachMsgVariant } from './_msg-variants.js';
+function readEmits(commentText) {
+    const outer = commentText.match(/@emits\s*\(([^)]*)\)/);
+    if (!outer || outer[1] === undefined)
+        return [];
+    const inner = outer[1];
+    const seen = new Set();
+    const out = [];
+    const re = /["“]([^"”]*)["”]/g;
+    let m;
+    while ((m = re.exec(inner)) !== null) {
+        if (m[1] !== undefined && !seen.has(m[1])) {
+            seen.add(m[1]);
+            out.push(m[1]);
+        }
+    }
+    return out;
+}
+function walkCaseBody(body, info) {
+    const walk = (n) => {
+        if (ts.isReturnStatement(n) && n.expression) {
+            const arg = n.expression;
+            if (ts.isArrayLiteralExpression(arg) && arg.elements.length === 2) {
+                const effects = arg.elements[1];
+                if (effects && ts.isArrayLiteralExpression(effects)) {
+                    for (const el of effects.elements) {
+                        if (ts.isObjectLiteralExpression(el)) {
+                            for (const prop of el.properties) {
+                                if (ts.isPropertyAssignment(prop) &&
+                                    ts.isIdentifier(prop.name) &&
+                                    prop.name.text === 'kind' &&
+                                    ts.isStringLiteral(prop.initializer)) {
+                                    info.literalKinds.add(prop.initializer.text);
+                                }
+                            }
+                        }
+                        else if (ts.isCallExpression(el) || ts.isSpreadElement(el)) {
+                            info.hasOpaqueHelpers = true;
+                        }
+                    }
+                }
+            }
+        }
+        ts.forEachChild(n, walk);
+    };
+    walk(body);
+}
+function indexSwitchCases(sf, into) {
+    const walk = (n) => {
+        if (ts.isSwitchStatement(n)) {
+            const disc = n.expression;
+            const looksLikeMsgType = ts.isPropertyAccessExpression(disc) &&
+                ts.isIdentifier(disc.name) &&
+                disc.name.text === 'type';
+            if (looksLikeMsgType) {
+                for (const sc of n.caseBlock.clauses) {
+                    if (!ts.isCaseClause(sc))
+                        continue;
+                    if (!sc.expression || !ts.isStringLiteral(sc.expression))
+                        continue;
+                    const variant = sc.expression.text;
+                    const info = into.get(variant) ?? {
+                        literalKinds: new Set(),
+                        hasOpaqueHelpers: false,
+                    };
+                    for (const stmt of sc.statements)
+                        walkCaseBody(stmt, info);
+                    into.set(variant, info);
+                }
+            }
+        }
+        ts.forEachChild(n, walk);
+    };
+    walk(sf);
+}
+export function agentEmitsDriftModule() {
+    return {
+        name: 'agent-emits-drift',
+        compilerVersion: '^0.3.0',
+        diagnostics: [
+            {
+                id: 'llui/agent-emits-drift',
+                description: '@emits declaration on Msg variant drifts from actual effect emissions in update().',
+            },
+        ],
+        visitors: {
+            [ts.SyntaxKind.SourceFile]: (ctx, node) => {
+                const visited = node;
+                const sf = ts.createSourceFile(visited.fileName, visited.text, ts.ScriptTarget.Latest, true);
+                const caseInfoByVariant = new Map();
+                indexSwitchCases(sf, caseInfoByVariant);
+                if (caseInfoByVariant.size === 0)
+                    return;
+                forEachMsgVariant(sf, ({ variant, node: typeLit, leadingCommentText }) => {
+                    const declared = readEmits(leadingCommentText);
+                    const caseInfo = caseInfoByVariant.get(variant);
+                    if (!caseInfo)
+                        return;
+                    // Drift 1: literal emissions not in @emits — always warn.
+                    for (const kind of caseInfo.literalKinds) {
+                        if (!declared.includes(kind)) {
+                            ctx.reportDiagnostic({
+                                id: 'llui/agent-emits-drift',
+                                severity: 'error',
+                                category: 'agent',
+                                message: `Msg variant "${variant}" emits effect kind "${kind}" in update() but doesn't ` +
+                                    `declare it in @emits. Either add "${kind}" to the @emits list ` +
+                                    `(\`@emits("${kind}")\`), or remove the literal effect emission.`,
+                                location: {
+                                    file: sf.fileName,
+                                    range: rangeFromOffsets(sf.text, typeLit.getStart(sf), typeLit.getEnd()),
+                                },
+                            });
+                        }
+                    }
+                    // Drift 2: @emits-declared but no literal emission in the case.
+                    // Skip when opaque helpers might be emitting the kind.
+                    if (!caseInfo.hasOpaqueHelpers) {
+                        for (const kind of declared) {
+                            if (!caseInfo.literalKinds.has(kind)) {
+                                ctx.reportDiagnostic({
+                                    id: 'llui/agent-emits-drift',
+                                    severity: 'error',
+                                    category: 'agent',
+                                    message: `Msg variant "${variant}" declares @emits "${kind}" but no case in update() ` +
+                                        `emits it as a literal effect. Either remove "${kind}" from @emits, or add ` +
+                                        `the emission (\`return [state, [{ kind: '${kind}', … }]]\`).`,
+                                    location: {
+                                        file: sf.fileName,
+                                        range: rangeFromOffsets(sf.text, typeLit.getStart(sf), typeLit.getEnd()),
+                                    },
+                                });
+                            }
+                        }
+                    }
+                });
+            },
+        },
+    };
+}
+//# sourceMappingURL=agent-emits-drift.js.map

package/dist/modules/agent-emits-drift.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"agent-emits-drift.js","sourceRoot":"","sources":["../../src/modules/agent-emits-drift.ts"],"names":[],"mappings":"AAAA,sEAAsE;AACtE,gEAAgE;AAChE,2BAA2B;AAC3B,EAAE;AACF,8BAA8B;AAC9B,wEAAwE;AACxE,2DAA2D;AAC3D,yEAAyE;AACzE,wEAAwE;AACxE,uBAAuB;AACvB,EAAE;AACF,qEAAqE;AACrE,qEAAqE;AACrE,6BAA6B;AAC7B,wDAAwD;AAExD,OAAO,EAAE,MAAM,YAAY,CAAA;AAC3B,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AAEnD,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAA;AAOtD,SAAS,SAAS,CAAC,WAAmB;IACpC,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAA;IACvD,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS;QAAE,OAAO,EAAE,CAAA;IAC/C,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAA;IACtB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,MAAM,GAAG,GAAa,EAAE,CAAA;IACxB,MAAM,EAAE,GAAG,mBAAmB,CAAA;IAC9B,IAAI,CAAyB,CAAA;IAC7B,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QACrC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1C,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;YACd,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QAChB,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,SAAS,YAAY,CAAC,IAAa,EAAE,IAAc;IACjD,MAAM,IAAI,GAAG,CAAC,CAAU,EAAQ,EAAE;QAChC,IAAI,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;YAC5C,MAAM,GAAG,GAAG,CAAC,CAAC,UAAU,CAAA;YACxB,IAAI,EAAE,CAAC,wBAAwB,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAClE,MAAM,OAAO,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;gBAC/B,IAAI,OAAO,IAAI,EAAE,CAAC,wBAAwB,CAAC,OAAO,CAAC,EAAE,CAAC;oBACpD,KAAK,MAAM,EAAE,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;wBAClC,IAAI,EAAE,CAAC,yBAAyB,CAAC,EAAE,CAAC,EAAE,CAAC;4BACrC,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;gCACjC,IACE,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC;oCAC7B,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;oCAC1B,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;oCACzB,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,EACpC,CAAC;oCACD,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAA;gCAC9C,CAAC;4BACH,CAAC;wBACH,CAAC;6BAAM,IAAI,EAAE,CAAC,gBAAgB,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC,EAAE,CAAC;4BAC7D,IAAI,CAAC,gBAAgB,GAAG,IAAI,CAAA;wBAC9B,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;IAC1B,CAAC,CAAA;IACD,IAAI,CAAC,IAAI,CAAC,CAAA;AACZ,CAAC;AAED,SAAS,gBAAgB,CAAC,EAAiB,EAAE,IAA2B;IACtE,MAAM,IAAI,GAAG,CAAC,CAAU,EAAQ,EAAE;QAChC,IAAI,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5B,MAAM,IAAI,GAAG,CAAC,CAAC,UAAU,CAAA;YACzB,MAAM,gBAAgB,GACpB,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC;gBACnC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC1B,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAA;YAC3B,IAAI,gBAAgB,EAAE,CAAC;gBACrB,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC;oBACrC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC;wBAAE,SAAQ;oBAClC,IAAI,CAAC,EAAE,CAAC,UAAU,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC,UAAU,CAAC;wBAAE,SAAQ;oBAClE,MAAM,OAAO,GAAG,EAAE,CAAC,UAAU,CAAC,IAAI,CAAA;oBAClC,MAAM,IAAI,GAAa,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI;wBAC1C,YAAY,EAAE,IAAI,GAAG,EAAE;wBACvB,gBAAgB,EAAE,KAAK;qBACxB,CAAA;oBACD,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,UAAU;wBAAE,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;oBAC1D,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAA;gBACzB,CAAC;YACH,CAAC;QACH,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;IAC1B,CAAC,CAAA;IACD,IAAI,CAAC,EAAE,CAAC,CAAA;AACV,CAAC;AAED,MAAM,UAAU,qBAAqB;IACnC,OAAO;QACL,IAAI,EAAE,mBAAmB;QACzB,eAAe,EAAE,QAAQ;QACzB,WAAW,EAAE;YACX;gBACE,EAAE,EAAE,wBAAwB;gBAC5B,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,iBAAiB,GAAG,IAAI,GAAG,EAAoB,CAAA;gBACrD,gBAAgB,CAAC,EAAE,EAAE,iBAAiB,CAAC,CAAA;gBACvC,IAAI,iBAAiB,CAAC,IAAI,KAAK,CAAC;oBAAE,OAAM;gBACxC,iBAAiB,CAAC,EAAE,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,kBAAkB,EAAE,EAAE,EAAE;oBACvE,MAAM,QAAQ,GAAG,SAAS,CAAC,kBAAkB,CAAC,CAAA;oBAC9C,MAAM,QAAQ,GAAG,iBAAiB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;oBAC/C,IAAI,CAAC,QAAQ;wBAAE,OAAM;oBACrB,0DAA0D;oBAC1D,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC;wBACzC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;4BAC7B,GAAG,CAAC,gBAAgB,CAAC;gCACnB,EAAE,EAAE,wBAAwB;gCAC5B,QAAQ,EAAE,OAAO;gCACjB,QAAQ,EAAE,OAAO;gCACjB,OAAO,EACL,gBAAgB,OAAO,wBAAwB,IAAI,4BAA4B;oCAC/E,qCAAqC,IAAI,uBAAuB;oCAChE,cAAc,IAAI,+CAA+C;gCACnE,QAAQ,EAAE;oCACR,IAAI,EAAE,EAAE,CAAC,QAAQ;oCACjB,KAAK,EAAE,gBAAgB,CAAC,EAAE,CAAC,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;iCACzE;6BACF,CAAC,CAAA;wBACJ,CAAC;oBACH,CAAC;oBACD,gEAAgE;oBAChE,uDAAuD;oBACvD,IAAI,CAAC,QAAQ,CAAC,gBAAgB,EAAE,CAAC;wBAC/B,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;4BAC5B,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gCACrC,GAAG,CAAC,gBAAgB,CAAC;oCACnB,EAAE,EAAE,wBAAwB;oCAC5B,QAAQ,EAAE,OAAO;oCACjB,QAAQ,EAAE,OAAO;oCACjB,OAAO,EACL,gBAAgB,OAAO,sBAAsB,IAAI,4BAA4B;wCAC7E,gDAAgD,IAAI,wBAAwB;wCAC5E,4CAA4C,IAAI,cAAc;oCAChE,QAAQ,EAAE;wCACR,IAAI,EAAE,EAAE,CAAC,QAAQ;wCACjB,KAAK,EAAE,gBAAgB,CAAC,EAAE,CAAC,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;qCACzE;iCACF,CAAC,CAAA;4BACJ,CAAC;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC,CAAC,CAAA;YACJ,CAAC;SACF;KACF,CAAA;AACH,CAAC","sourcesContent":["// `agent-emits-drift` — verifies `@emits(\"k1\", \"k2\")` declarations on\n// Msg variants match the effect kinds the corresponding case in\n// update() actually emits.\n//\n// Two failure modes detected:\n//   1. **Emitted but not declared** — a literal `{ kind: 'X' }` appears\n//      in the case's effect array but 'X' isn't in @emits.\n//   2. **Declared but not emitted** — a kind in @emits doesn't appear in\n//      any literal effect (and the case has no opaque helper calls that\n//      might emit it).\n//\n// File-local scope: Msg union and the update() switch must be in the\n// same source file. Cross-file resolution would require type-checker\n// integration. Migrated from\n// `@llui/eslint-plugin/src/rules/agent-emits-drift.ts`.\n\nimport ts from 'typescript'\nimport { rangeFromOffsets } from '../diagnostic.js'\nimport type { CompilerModule } from '../module.js'\nimport { forEachMsgVariant } from './_msg-variants.js'\n\ninterface CaseInfo {\n  literalKinds: Set<string>\n  hasOpaqueHelpers: boolean\n}\n\nfunction readEmits(commentText: string): string[] {\n  const outer = commentText.match(/@emits\\s*\\(([^)]*)\\)/)\n  if (!outer || outer[1] === undefined) return []\n  const inner = outer[1]\n  const seen = new Set<string>()\n  const out: string[] = []\n  const re = /[\"“]([^\"”]*)[\"”]/g\n  let m: RegExpExecArray | null\n  while ((m = re.exec(inner)) !== null) {\n    if (m[1] !== undefined && !seen.has(m[1])) {\n      seen.add(m[1])\n      out.push(m[1])\n    }\n  }\n  return out\n}\n\nfunction walkCaseBody(body: ts.Node, info: CaseInfo): void {\n  const walk = (n: ts.Node): void => {\n    if (ts.isReturnStatement(n) && n.expression) {\n      const arg = n.expression\n      if (ts.isArrayLiteralExpression(arg) && arg.elements.length === 2) {\n        const effects = arg.elements[1]\n        if (effects && ts.isArrayLiteralExpression(effects)) {\n          for (const el of effects.elements) {\n            if (ts.isObjectLiteralExpression(el)) {\n              for (const prop of el.properties) {\n                if (\n                  ts.isPropertyAssignment(prop) &&\n                  ts.isIdentifier(prop.name) &&\n                  prop.name.text === 'kind' &&\n                  ts.isStringLiteral(prop.initializer)\n                ) {\n                  info.literalKinds.add(prop.initializer.text)\n                }\n              }\n            } else if (ts.isCallExpression(el) || ts.isSpreadElement(el)) {\n              info.hasOpaqueHelpers = true\n            }\n          }\n        }\n      }\n    }\n    ts.forEachChild(n, walk)\n  }\n  walk(body)\n}\n\nfunction indexSwitchCases(sf: ts.SourceFile, into: Map<string, CaseInfo>): void {\n  const walk = (n: ts.Node): void => {\n    if (ts.isSwitchStatement(n)) {\n      const disc = n.expression\n      const looksLikeMsgType =\n        ts.isPropertyAccessExpression(disc) &&\n        ts.isIdentifier(disc.name) &&\n        disc.name.text === 'type'\n      if (looksLikeMsgType) {\n        for (const sc of n.caseBlock.clauses) {\n          if (!ts.isCaseClause(sc)) continue\n          if (!sc.expression || !ts.isStringLiteral(sc.expression)) continue\n          const variant = sc.expression.text\n          const info: CaseInfo = into.get(variant) ?? {\n            literalKinds: new Set(),\n            hasOpaqueHelpers: false,\n          }\n          for (const stmt of sc.statements) walkCaseBody(stmt, info)\n          into.set(variant, info)\n        }\n      }\n    }\n    ts.forEachChild(n, walk)\n  }\n  walk(sf)\n}\n\nexport function agentEmitsDriftModule(): CompilerModule {\n  return {\n    name: 'agent-emits-drift',\n    compilerVersion: '^0.3.0',\n    diagnostics: [\n      {\n        id: 'llui/agent-emits-drift',\n        description:\n          '@emits declaration on Msg variant drifts from actual effect emissions in update().',\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 caseInfoByVariant = new Map<string, CaseInfo>()\n        indexSwitchCases(sf, caseInfoByVariant)\n        if (caseInfoByVariant.size === 0) return\n        forEachMsgVariant(sf, ({ variant, node: typeLit, leadingCommentText }) => {\n          const declared = readEmits(leadingCommentText)\n          const caseInfo = caseInfoByVariant.get(variant)\n          if (!caseInfo) return\n          // Drift 1: literal emissions not in @emits — always warn.\n          for (const kind of caseInfo.literalKinds) {\n            if (!declared.includes(kind)) {\n              ctx.reportDiagnostic({\n                id: 'llui/agent-emits-drift',\n                severity: 'error',\n                category: 'agent',\n                message:\n                  `Msg variant \"${variant}\" emits effect kind \"${kind}\" in update() but doesn't ` +\n                  `declare it in @emits. Either add \"${kind}\" to the @emits list ` +\n                  `(\\`@emits(\"${kind}\")\\`), or remove the literal effect emission.`,\n                location: {\n                  file: sf.fileName,\n                  range: rangeFromOffsets(sf.text, typeLit.getStart(sf), typeLit.getEnd()),\n                },\n              })\n            }\n          }\n          // Drift 2: @emits-declared but no literal emission in the case.\n          // Skip when opaque helpers might be emitting the kind.\n          if (!caseInfo.hasOpaqueHelpers) {\n            for (const kind of declared) {\n              if (!caseInfo.literalKinds.has(kind)) {\n                ctx.reportDiagnostic({\n                  id: 'llui/agent-emits-drift',\n                  severity: 'error',\n                  category: 'agent',\n                  message:\n                    `Msg variant \"${variant}\" declares @emits \"${kind}\" but no case in update() ` +\n                    `emits it as a literal effect. Either remove \"${kind}\" from @emits, or add ` +\n                    `the emission (\\`return [state, [{ kind: '${kind}', … }]]\\`).`,\n                  location: {\n                    file: sf.fileName,\n                    range: rangeFromOffsets(sf.text, typeLit.getStart(sf), typeLit.getEnd()),\n                  },\n                })\n              }\n            }\n          }\n        })\n      },\n    },\n  }\n}\n"]}

package/dist/modules/agent-example-on-payload.d.ts

@@ -0,0 +1,3 @@
+import type { CompilerModule } from '../module.js';
+export declare function agentExampleOnPayloadModule(): CompilerModule;
+//# sourceMappingURL=agent-example-on-payload.d.ts.map

package/dist/modules/agent-example-on-payload.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"agent-example-on-payload.d.ts","sourceRoot":"","sources":["../../src/modules/agent-example-on-payload.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AAGlD,wBAAgB,2BAA2B,IAAI,cAAc,CAwC5D"}

package/dist/modules/agent-example-on-payload.js

@@ -0,0 +1,53 @@
+// `agent-example-on-payload` — errors when a payload-bearing Msg
+// variant (fields beyond `type`) has `@intent` but no `@example("…")`.
+// Bare intent says "what does this do"; example says "when do I use it
+// / how is it shaped in practice." Required only on payload-bearing
+// variants — nullary variants (Reset, Open, Close) are obvious.
+// Migrated from `@llui/eslint-plugin/src/rules/agent-example-on-payload.ts`.
+import ts from 'typescript';
+import { rangeFromOffsets } from '../diagnostic.js';
+import { forEachMsgVariant, variantHasPayload } from './_msg-variants.js';
+export function agentExampleOnPayloadModule() {
+    return {
+        name: 'agent-example-on-payload',
+        compilerVersion: '^0.3.0',
+        diagnostics: [
+            {
+                id: 'llui/agent-example-on-payload',
+                description: 'Msg variant with payload fields has @intent but no @example — LLM benefits from worked usage.',
+            },
+        ],
+        visitors: {
+            [ts.SyntaxKind.SourceFile]: (ctx, node) => {
+                const visited = node;
+                const sf = ts.createSourceFile(visited.fileName, visited.text, ts.ScriptTarget.Latest, true);
+                forEachMsgVariant(sf, ({ variant, node: typeLit, leadingCommentText }) => {
+                    if (!variantHasPayload(typeLit))
+                        return;
+                    if (/@humanOnly\b/.test(leadingCommentText))
+                        return;
+                    // Skip variants without @intent — agent-missing-intent will
+                    // already fire there. No point double-nagging.
+                    if (!/@intent\s*\(/.test(leadingCommentText))
+                        return;
+                    if (/@example\s*\(/.test(leadingCommentText))
+                        return;
+                    ctx.reportDiagnostic({
+                        id: 'llui/agent-example-on-payload',
+                        severity: 'error',
+                        category: 'agent',
+                        message: `Msg variant "${variant}" has payload fields but no \`@example("…")\`. ` +
+                            `Add at least one worked example showing typical usage: ` +
+                            `\`@example("Add a todo with text 'buy milk'")\` — the LLM uses this to ` +
+                            `disambiguate when/how to dispatch.`,
+                        location: {
+                            file: sf.fileName,
+                            range: rangeFromOffsets(sf.text, typeLit.getStart(sf), typeLit.getEnd()),
+                        },
+                    });
+                });
+            },
+        },
+    };
+}
+//# sourceMappingURL=agent-example-on-payload.js.map

package/dist/modules/agent-example-on-payload.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"agent-example-on-payload.js","sourceRoot":"","sources":["../../src/modules/agent-example-on-payload.ts"],"names":[],"mappings":"AAAA,iEAAiE;AACjE,uEAAuE;AACvE,uEAAuE;AACvE,oEAAoE;AACpE,gEAAgE;AAChE,6EAA6E;AAE7E,OAAO,EAAE,MAAM,YAAY,CAAA;AAC3B,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AAEnD,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAA;AAEzE,MAAM,UAAU,2BAA2B;IACzC,OAAO;QACL,IAAI,EAAE,0BAA0B;QAChC,eAAe,EAAE,QAAQ;QACzB,WAAW,EAAE;YACX;gBACE,EAAE,EAAE,+BAA+B;gBACnC,WAAW,EACT,+FAA+F;aAClG;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,iBAAiB,CAAC,EAAE,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,kBAAkB,EAAE,EAAE,EAAE;oBACvE,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC;wBAAE,OAAM;oBACvC,IAAI,cAAc,CAAC,IAAI,CAAC,kBAAkB,CAAC;wBAAE,OAAM;oBACnD,4DAA4D;oBAC5D,+CAA+C;oBAC/C,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,kBAAkB,CAAC;wBAAE,OAAM;oBACpD,IAAI,eAAe,CAAC,IAAI,CAAC,kBAAkB,CAAC;wBAAE,OAAM;oBACpD,GAAG,CAAC,gBAAgB,CAAC;wBACnB,EAAE,EAAE,+BAA+B;wBACnC,QAAQ,EAAE,OAAO;wBACjB,QAAQ,EAAE,OAAO;wBACjB,OAAO,EACL,gBAAgB,OAAO,iDAAiD;4BACxE,yDAAyD;4BACzD,yEAAyE;4BACzE,oCAAoC;wBACtC,QAAQ,EAAE;4BACR,IAAI,EAAE,EAAE,CAAC,QAAQ;4BACjB,KAAK,EAAE,gBAAgB,CAAC,EAAE,CAAC,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;yBACzE;qBACF,CAAC,CAAA;gBACJ,CAAC,CAAC,CAAA;YACJ,CAAC;SACF;KACF,CAAA;AACH,CAAC","sourcesContent":["// `agent-example-on-payload` — errors when a payload-bearing Msg\n// variant (fields beyond `type`) has `@intent` but no `@example(\"…\")`.\n// Bare intent says \"what does this do\"; example says \"when do I use it\n// / how is it shaped in practice.\" Required only on payload-bearing\n// variants — nullary variants (Reset, Open, Close) are obvious.\n// Migrated from `@llui/eslint-plugin/src/rules/agent-example-on-payload.ts`.\n\nimport ts from 'typescript'\nimport { rangeFromOffsets } from '../diagnostic.js'\nimport type { CompilerModule } from '../module.js'\nimport { forEachMsgVariant, variantHasPayload } from './_msg-variants.js'\n\nexport function agentExampleOnPayloadModule(): CompilerModule {\n  return {\n    name: 'agent-example-on-payload',\n    compilerVersion: '^0.3.0',\n    diagnostics: [\n      {\n        id: 'llui/agent-example-on-payload',\n        description:\n          'Msg variant with payload fields has @intent but no @example — LLM benefits from worked usage.',\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        forEachMsgVariant(sf, ({ variant, node: typeLit, leadingCommentText }) => {\n          if (!variantHasPayload(typeLit)) return\n          if (/@humanOnly\\b/.test(leadingCommentText)) return\n          // Skip variants without @intent — agent-missing-intent will\n          // already fire there. No point double-nagging.\n          if (!/@intent\\s*\\(/.test(leadingCommentText)) return\n          if (/@example\\s*\\(/.test(leadingCommentText)) return\n          ctx.reportDiagnostic({\n            id: 'llui/agent-example-on-payload',\n            severity: 'error',\n            category: 'agent',\n            message:\n              `Msg variant \"${variant}\" has payload fields but no \\`@example(\"…\")\\`. ` +\n              `Add at least one worked example showing typical usage: ` +\n              `\\`@example(\"Add a todo with text 'buy milk'\")\\` — the LLM uses this to ` +\n              `disambiguate when/how to dispatch.`,\n            location: {\n              file: sf.fileName,\n              range: rangeFromOffsets(sf.text, typeLit.getStart(sf), typeLit.getEnd()),\n            },\n          })\n        })\n      },\n    },\n  }\n}\n"]}

package/dist/modules/agent-exclusive-annotations.d.ts

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

package/dist/modules/agent-exclusive-annotations.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"agent-exclusive-annotations.d.ts","sourceRoot":"","sources":["../../src/modules/agent-exclusive-annotations.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AAGlD,wBAAgB,+BAA+B,IAAI,cAAc,CAwDhE"}

package/dist/modules/agent-exclusive-annotations.js

@@ -0,0 +1,68 @@
+// `agent-exclusive-annotations` — errors on Msg variant annotation
+// combinations that are mutually exclusive:
+//   - @humanOnly + @agentOnly: incoherent (opposite audiences).
+//   - @humanOnly + @requiresConfirm: redundant (humanOnly dominates).
+//   - @humanOnly + @alwaysAffordable: redundant.
+// Migrated from `@llui/eslint-plugin/src/rules/agent-exclusive-annotations.ts`.
+import ts from 'typescript';
+import { rangeFromOffsets } from '../diagnostic.js';
+import { forEachMsgVariant } from './_msg-variants.js';
+export function agentExclusiveAnnotationsModule() {
+    return {
+        name: 'agent-exclusive-annotations',
+        compilerVersion: '^0.3.0',
+        diagnostics: [
+            {
+                id: 'llui/agent-exclusive-annotations',
+                description: '@humanOnly and @agentOnly are mutually exclusive; @humanOnly also conflicts with @requiresConfirm / @alwaysAffordable.',
+            },
+        ],
+        visitors: {
+            [ts.SyntaxKind.SourceFile]: (ctx, node) => {
+                const visited = node;
+                const sf = ts.createSourceFile(visited.fileName, visited.text, ts.ScriptTarget.Latest, true);
+                forEachMsgVariant(sf, ({ variant, node: typeLit, leadingCommentText }) => {
+                    const hasHumanOnly = /@humanOnly\b/.test(leadingCommentText);
+                    const hasAgentOnly = /@agentOnly\b/.test(leadingCommentText);
+                    if (hasHumanOnly && hasAgentOnly) {
+                        ctx.reportDiagnostic({
+                            id: 'llui/agent-exclusive-annotations',
+                            severity: 'error',
+                            category: 'agent',
+                            message: `Msg variant "${variant}" has both @humanOnly and @agentOnly. ` +
+                                `Pick one — they describe opposite dispatch audiences. ` +
+                                `Use @humanOnly if the LLM should never see this variant; @agentOnly if only the LLM should.`,
+                            location: {
+                                file: sf.fileName,
+                                range: rangeFromOffsets(sf.text, typeLit.getStart(sf), typeLit.getEnd()),
+                            },
+                        });
+                        return;
+                    }
+                    if (!hasHumanOnly)
+                        return;
+                    const conflicts = [];
+                    if (/@requiresConfirm\b/.test(leadingCommentText))
+                        conflicts.push('@requiresConfirm');
+                    if (/@alwaysAffordable\b/.test(leadingCommentText))
+                        conflicts.push('@alwaysAffordable');
+                    if (conflicts.length === 0)
+                        return;
+                    ctx.reportDiagnostic({
+                        id: 'llui/agent-exclusive-annotations',
+                        severity: 'error',
+                        category: 'agent',
+                        message: `Msg variant "${variant}" has @humanOnly combined with ${conflicts.join(' and ')}; ` +
+                            `@humanOnly dominates and makes the other redundant — the LLM never sees this variant, ` +
+                            `so confirmation / affordance hints have no audience. Remove the ${conflicts.join(' / ')} tag${conflicts.length > 1 ? 's' : ''}.`,
+                        location: {
+                            file: sf.fileName,
+                            range: rangeFromOffsets(sf.text, typeLit.getStart(sf), typeLit.getEnd()),
+                        },
+                    });
+                });
+            },
+        },
+    };
+}
+//# sourceMappingURL=agent-exclusive-annotations.js.map

package/dist/modules/agent-exclusive-annotations.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"agent-exclusive-annotations.js","sourceRoot":"","sources":["../../src/modules/agent-exclusive-annotations.ts"],"names":[],"mappings":"AAAA,mEAAmE;AACnE,4CAA4C;AAC5C,gEAAgE;AAChE,sEAAsE;AACtE,iDAAiD;AACjD,gFAAgF;AAEhF,OAAO,EAAE,MAAM,YAAY,CAAA;AAC3B,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AAEnD,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAA;AAEtD,MAAM,UAAU,+BAA+B;IAC7C,OAAO;QACL,IAAI,EAAE,6BAA6B;QACnC,eAAe,EAAE,QAAQ;QACzB,WAAW,EAAE;YACX;gBACE,EAAE,EAAE,kCAAkC;gBACtC,WAAW,EACT,wHAAwH;aAC3H;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,iBAAiB,CAAC,EAAE,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,kBAAkB,EAAE,EAAE,EAAE;oBACvE,MAAM,YAAY,GAAG,cAAc,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAA;oBAC5D,MAAM,YAAY,GAAG,cAAc,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAA;oBAC5D,IAAI,YAAY,IAAI,YAAY,EAAE,CAAC;wBACjC,GAAG,CAAC,gBAAgB,CAAC;4BACnB,EAAE,EAAE,kCAAkC;4BACtC,QAAQ,EAAE,OAAO;4BACjB,QAAQ,EAAE,OAAO;4BACjB,OAAO,EACL,gBAAgB,OAAO,wCAAwC;gCAC/D,wDAAwD;gCACxD,6FAA6F;4BAC/F,QAAQ,EAAE;gCACR,IAAI,EAAE,EAAE,CAAC,QAAQ;gCACjB,KAAK,EAAE,gBAAgB,CAAC,EAAE,CAAC,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;6BACzE;yBACF,CAAC,CAAA;wBACF,OAAM;oBACR,CAAC;oBACD,IAAI,CAAC,YAAY;wBAAE,OAAM;oBACzB,MAAM,SAAS,GAAa,EAAE,CAAA;oBAC9B,IAAI,oBAAoB,CAAC,IAAI,CAAC,kBAAkB,CAAC;wBAAE,SAAS,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAA;oBACrF,IAAI,qBAAqB,CAAC,IAAI,CAAC,kBAAkB,CAAC;wBAAE,SAAS,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAA;oBACvF,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;wBAAE,OAAM;oBAClC,GAAG,CAAC,gBAAgB,CAAC;wBACnB,EAAE,EAAE,kCAAkC;wBACtC,QAAQ,EAAE,OAAO;wBACjB,QAAQ,EAAE,OAAO;wBACjB,OAAO,EACL,gBAAgB,OAAO,kCAAkC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI;4BACpF,wFAAwF;4BACxF,mEAAmE,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG;wBACnI,QAAQ,EAAE;4BACR,IAAI,EAAE,EAAE,CAAC,QAAQ;4BACjB,KAAK,EAAE,gBAAgB,CAAC,EAAE,CAAC,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;yBACzE;qBACF,CAAC,CAAA;gBACJ,CAAC,CAAC,CAAA;YACJ,CAAC;SACF;KACF,CAAA;AACH,CAAC","sourcesContent":["// `agent-exclusive-annotations` — errors on Msg variant annotation\n// combinations that are mutually exclusive:\n//   - @humanOnly + @agentOnly: incoherent (opposite audiences).\n//   - @humanOnly + @requiresConfirm: redundant (humanOnly dominates).\n//   - @humanOnly + @alwaysAffordable: redundant.\n// Migrated from `@llui/eslint-plugin/src/rules/agent-exclusive-annotations.ts`.\n\nimport ts from 'typescript'\nimport { rangeFromOffsets } from '../diagnostic.js'\nimport type { CompilerModule } from '../module.js'\nimport { forEachMsgVariant } from './_msg-variants.js'\n\nexport function agentExclusiveAnnotationsModule(): CompilerModule {\n  return {\n    name: 'agent-exclusive-annotations',\n    compilerVersion: '^0.3.0',\n    diagnostics: [\n      {\n        id: 'llui/agent-exclusive-annotations',\n        description:\n          '@humanOnly and @agentOnly are mutually exclusive; @humanOnly also conflicts with @requiresConfirm / @alwaysAffordable.',\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        forEachMsgVariant(sf, ({ variant, node: typeLit, leadingCommentText }) => {\n          const hasHumanOnly = /@humanOnly\\b/.test(leadingCommentText)\n          const hasAgentOnly = /@agentOnly\\b/.test(leadingCommentText)\n          if (hasHumanOnly && hasAgentOnly) {\n            ctx.reportDiagnostic({\n              id: 'llui/agent-exclusive-annotations',\n              severity: 'error',\n              category: 'agent',\n              message:\n                `Msg variant \"${variant}\" has both @humanOnly and @agentOnly. ` +\n                `Pick one — they describe opposite dispatch audiences. ` +\n                `Use @humanOnly if the LLM should never see this variant; @agentOnly if only the LLM should.`,\n              location: {\n                file: sf.fileName,\n                range: rangeFromOffsets(sf.text, typeLit.getStart(sf), typeLit.getEnd()),\n              },\n            })\n            return\n          }\n          if (!hasHumanOnly) return\n          const conflicts: string[] = []\n          if (/@requiresConfirm\\b/.test(leadingCommentText)) conflicts.push('@requiresConfirm')\n          if (/@alwaysAffordable\\b/.test(leadingCommentText)) conflicts.push('@alwaysAffordable')\n          if (conflicts.length === 0) return\n          ctx.reportDiagnostic({\n            id: 'llui/agent-exclusive-annotations',\n            severity: 'error',\n            category: 'agent',\n            message:\n              `Msg variant \"${variant}\" has @humanOnly combined with ${conflicts.join(' and ')}; ` +\n              `@humanOnly dominates and makes the other redundant — the LLM never sees this variant, ` +\n              `so confirmation / affordance hints have no audience. Remove the ${conflicts.join(' / ')} tag${conflicts.length > 1 ? 's' : ''}.`,\n            location: {\n              file: sf.fileName,\n              range: rangeFromOffsets(sf.text, typeLit.getStart(sf), typeLit.getEnd()),\n            },\n          })\n        })\n      },\n    },\n  }\n}\n"]}

package/dist/modules/agent-missing-intent.d.ts

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

package/dist/modules/agent-missing-intent.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"agent-missing-intent.d.ts","sourceRoot":"","sources":["../../src/modules/agent-missing-intent.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AAGlD,wBAAgB,wBAAwB,IAAI,cAAc,CAoCzD"}