@llui/compiler 0.3.0

package/dist/modules/agent-missing-intent.js

@@ -0,0 +1,47 @@
+// `agent-missing-intent` — errors when a Msg union variant has no
+// `@intent("...")` JSDoc tag. The intent label is what Claude sees;
+// without one, the agent surface synthesizes from the variant name
+// alone (often unclear). Variants annotated `@humanOnly` are skipped.
+// Migrated from `@llui/eslint-plugin/src/rules/agent-missing-intent.ts`.
+import ts from 'typescript';
+import { rangeFromOffsets } from '../diagnostic.js';
+import { forEachMsgVariant } from './_msg-variants.js';
+export function agentMissingIntentModule() {
+    return {
+        name: 'agent-missing-intent',
+        compilerVersion: '^0.3.0',
+        diagnostics: [
+            {
+                id: 'llui/agent-missing-intent',
+                description: 'Msg variant is missing @intent("...") — Claude will see a synthesized label.',
+            },
+        ],
+        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 (/@humanOnly\b/.test(leadingCommentText))
+                        return;
+                    if (/@intent\s*\(\s*["“]([^"”]*)["”]\s*\)/.test(leadingCommentText))
+                        return;
+                    ctx.reportDiagnostic({
+                        id: 'llui/agent-missing-intent',
+                        severity: 'error',
+                        category: 'agent',
+                        message: `Msg variant "${variant}" is missing \`@intent("...")\` — without an explicit ` +
+                            `intent label, the agent surface synthesizes from the variant name and Claude ` +
+                            `gets a noisier hint. Add a JSDoc block above this variant: ` +
+                            `\`/** @intent("Verb-phrase describing what this does") */\` ` +
+                            `(or \`@humanOnly\` if this variant is not LLM-dispatchable).`,
+                        location: {
+                            file: sf.fileName,
+                            range: rangeFromOffsets(sf.text, typeLit.getStart(sf), typeLit.getEnd()),
+                        },
+                    });
+                });
+            },
+        },
+    };
+}
+//# sourceMappingURL=agent-missing-intent.js.map

package/dist/modules/agent-missing-intent.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"agent-missing-intent.js","sourceRoot":"","sources":["../../src/modules/agent-missing-intent.ts"],"names":[],"mappings":"AAAA,kEAAkE;AAClE,oEAAoE;AACpE,mEAAmE;AACnE,sEAAsE;AACtE,yEAAyE;AAEzE,OAAO,EAAE,MAAM,YAAY,CAAA;AAC3B,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AAEnD,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAA;AAEtD,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,8EAA8E;aAC5F;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,CAAC,IAAI,CAAC,kBAAkB,CAAC;wBAAE,OAAM;oBACnD,IAAI,sCAAsC,CAAC,IAAI,CAAC,kBAAkB,CAAC;wBAAE,OAAM;oBAC3E,GAAG,CAAC,gBAAgB,CAAC;wBACnB,EAAE,EAAE,2BAA2B;wBAC/B,QAAQ,EAAE,OAAO;wBACjB,QAAQ,EAAE,OAAO;wBACjB,OAAO,EACL,gBAAgB,OAAO,wDAAwD;4BAC/E,+EAA+E;4BAC/E,6DAA6D;4BAC7D,8DAA8D;4BAC9D,8DAA8D;wBAChE,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-missing-intent` — errors when a Msg union variant has no\n// `@intent(\"...\")` JSDoc tag. The intent label is what Claude sees;\n// without one, the agent surface synthesizes from the variant name\n// alone (often unclear). Variants annotated `@humanOnly` are skipped.\n// Migrated from `@llui/eslint-plugin/src/rules/agent-missing-intent.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 agentMissingIntentModule(): CompilerModule {\n  return {\n    name: 'agent-missing-intent',\n    compilerVersion: '^0.3.0',\n    diagnostics: [\n      {\n        id: 'llui/agent-missing-intent',\n        description: 'Msg variant is missing @intent(\"...\") — Claude will see a synthesized label.',\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 (/@humanOnly\\b/.test(leadingCommentText)) return\n          if (/@intent\\s*\\(\\s*[\"“]([^\"”]*)[\"”]\\s*\\)/.test(leadingCommentText)) return\n          ctx.reportDiagnostic({\n            id: 'llui/agent-missing-intent',\n            severity: 'error',\n            category: 'agent',\n            message:\n              `Msg variant \"${variant}\" is missing \\`@intent(\"...\")\\` — without an explicit ` +\n              `intent label, the agent surface synthesizes from the variant name and Claude ` +\n              `gets a noisier hint. Add a JSDoc block above this variant: ` +\n              `\\`/** @intent(\"Verb-phrase describing what this does\") */\\` ` +\n              `(or \\`@humanOnly\\` if this variant is not LLM-dispatchable).`,\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-msg-resolvable.d.ts

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

package/dist/modules/agent-msg-resolvable.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"agent-msg-resolvable.d.ts","sourceRoot":"","sources":["../../src/modules/agent-msg-resolvable.ts"],"names":[],"mappings":"AAsBA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AAyClD,wBAAgB,wBAAwB,IAAI,cAAc,CA8GzD"}

package/dist/modules/agent-msg-resolvable.js

@@ -0,0 +1,161 @@
+// `agent-msg-resolvable` — verifies the `Msg` type argument of every
+// `component<S, M, E>()` call resolves to a type the compiler can
+// statically reach: either a local `type M = …` declaration or a named
+// import from another module.
+//
+// Catches the silent-failure case where M references something the
+// resolver can't follow — a typo, a missing barrel re-export, a
+// namespace import — which would silently disable agent metadata
+// emission. Migrated from
+// `@llui/eslint-plugin/src/rules/agent-msg-resolvable.ts`.
+//
+// File-local check: the compiler doesn't run a full cross-file resolver
+// here (it's available in the broader transform pipeline but not
+// threaded into this module). The file-local form catches:
+//   - the M type arg isn't a plain identifier (generics, inline unions,
+//     namespace-qualified names);
+//   - the M identifier isn't declared locally and isn't named-imported
+//     from any source;
+//   - the M identifier comes from a namespace import (`import * as`).
+import ts from 'typescript';
+import { rangeFromOffsets } from '../diagnostic.js';
+function collectImports(sf) {
+    const info = { named: new Set(), defaults: new Set(), namespaces: new Set() };
+    for (const stmt of sf.statements) {
+        if (!ts.isImportDeclaration(stmt))
+            continue;
+        const clause = stmt.importClause;
+        if (!clause)
+            continue;
+        if (clause.name)
+            info.defaults.add(clause.name.text);
+        if (clause.namedBindings) {
+            if (ts.isNamespaceImport(clause.namedBindings)) {
+                info.namespaces.add(clause.namedBindings.name.text);
+            }
+            else {
+                for (const el of clause.namedBindings.elements) {
+                    info.named.add(el.name.text);
+                }
+            }
+        }
+    }
+    return info;
+}
+function collectLocalTypeNames(sf) {
+    const out = new Set();
+    for (const stmt of sf.statements) {
+        if (ts.isTypeAliasDeclaration(stmt))
+            out.add(stmt.name.text);
+        else if (ts.isInterfaceDeclaration(stmt))
+            out.add(stmt.name.text);
+        else if (ts.isClassDeclaration(stmt) && stmt.name)
+            out.add(stmt.name.text);
+    }
+    return out;
+}
+export function agentMsgResolvableModule() {
+    return {
+        name: 'agent-msg-resolvable',
+        compilerVersion: '^0.3.0',
+        diagnostics: [
+            {
+                id: 'llui/agent-msg-resolvable',
+                description: 'component<>() Msg type arg must be locally declared or named-imported.',
+            },
+        ],
+        visitors: {
+            [ts.SyntaxKind.SourceFile]: (ctx, node) => {
+                const visited = node;
+                const sf = ts.createSourceFile(visited.fileName, visited.text, ts.ScriptTarget.Latest, true);
+                const imports = collectImports(sf);
+                const locals = collectLocalTypeNames(sf);
+                const walk = (n) => {
+                    if (ts.isCallExpression(n) &&
+                        ts.isIdentifier(n.expression) &&
+                        n.expression.text === 'component' &&
+                        n.typeArguments &&
+                        n.typeArguments.length >= 2) {
+                        const stateArg = n.typeArguments[0];
+                        const msgArg = n.typeArguments[1];
+                        const effectArg = n.typeArguments[2];
+                        const stateText = stateArg.getText(sf);
+                        const msgText = msgArg.getText(sf);
+                        const effectText = effectArg ? effectArg.getText(sf) : 'never';
+                        // Keyword Msg types — `never`, `void`, `undefined`, `unknown`,
+                        // `any` — are the canonical "no messages" shape for
+                        // utility/side-effect components like a Vike Page that only
+                        // renders. Skip the resolvability check; no annotations
+                        // are expected for those.
+                        if (msgArg.kind === ts.SyntaxKind.NeverKeyword ||
+                            msgArg.kind === ts.SyntaxKind.VoidKeyword ||
+                            msgArg.kind === ts.SyntaxKind.UndefinedKeyword ||
+                            msgArg.kind === ts.SyntaxKind.UnknownKeyword ||
+                            msgArg.kind === ts.SyntaxKind.AnyKeyword) {
+                            ts.forEachChild(n, walk);
+                            return;
+                        }
+                        // Identifier-typed arg is the only resolvable shape.
+                        if (!ts.isTypeReferenceNode(msgArg) || !ts.isIdentifier(msgArg.typeName)) {
+                            ctx.reportDiagnostic({
+                                id: 'llui/agent-msg-resolvable',
+                                severity: 'error',
+                                category: 'agent',
+                                message: `\`component<${stateText}, ${msgText}, ${effectText}>()\`: Msg type argument ` +
+                                    `is not a plain identifier. The LLui compiler can only chase identifier-typed ` +
+                                    `type arguments — generics like \`Msg<T>\`, namespace-qualified names like ` +
+                                    `\`m.Msg\`, or inline literal unions are not followed. Replace with a named ` +
+                                    `type alias declared in this file or named-imported from another.`,
+                                location: {
+                                    file: sf.fileName,
+                                    range: rangeFromOffsets(sf.text, msgArg.getStart(sf), msgArg.getEnd()),
+                                },
+                            });
+                            ts.forEachChild(n, walk);
+                            return;
+                        }
+                        const msgName = msgArg.typeName.text;
+                        if (locals.has(msgName)) {
+                            ts.forEachChild(n, walk);
+                            return;
+                        }
+                        if (imports.namespaces.has(msgName)) {
+                            ctx.reportDiagnostic({
+                                id: 'llui/agent-msg-resolvable',
+                                severity: 'error',
+                                category: 'agent',
+                                message: `\`component<${stateText}, ${msgName}, ${effectText}>()\`: Msg type "${msgName}" ` +
+                                    `comes from a namespace import (\`import * as ...\`). The cross-file resolver ` +
+                                    `does not follow namespace imports — replace with a named import: ` +
+                                    `\`import { ${msgName} } from "..."\`.`,
+                                location: {
+                                    file: sf.fileName,
+                                    range: rangeFromOffsets(sf.text, msgArg.getStart(sf), msgArg.getEnd()),
+                                },
+                            });
+                        }
+                        else if (!imports.named.has(msgName) && !imports.defaults.has(msgName)) {
+                            ctx.reportDiagnostic({
+                                id: 'llui/agent-msg-resolvable',
+                                severity: 'error',
+                                category: 'agent',
+                                message: `\`component<${stateText}, ${msgName}, ${effectText}>()\`: Msg type "${msgName}" ` +
+                                    `is neither declared in this file nor imported with a named import. The plugin ` +
+                                    `will emit no annotations and LAP validation will silently disable. Either ` +
+                                    `declare \`type ${msgName} = ...\` here, import it with ` +
+                                    `\`import { ${msgName} } from "..."\`, or replace with an inline union.`,
+                                location: {
+                                    file: sf.fileName,
+                                    range: rangeFromOffsets(sf.text, msgArg.getStart(sf), msgArg.getEnd()),
+                                },
+                            });
+                        }
+                    }
+                    ts.forEachChild(n, walk);
+                };
+                walk(sf);
+            },
+        },
+    };
+}
+//# sourceMappingURL=agent-msg-resolvable.js.map

package/dist/modules/agent-msg-resolvable.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"agent-msg-resolvable.js","sourceRoot":"","sources":["../../src/modules/agent-msg-resolvable.ts"],"names":[],"mappings":"AAAA,qEAAqE;AACrE,kEAAkE;AAClE,uEAAuE;AACvE,8BAA8B;AAC9B,EAAE;AACF,mEAAmE;AACnE,gEAAgE;AAChE,iEAAiE;AACjE,0BAA0B;AAC1B,2DAA2D;AAC3D,EAAE;AACF,wEAAwE;AACxE,iEAAiE;AACjE,2DAA2D;AAC3D,wEAAwE;AACxE,kCAAkC;AAClC,uEAAuE;AACvE,uBAAuB;AACvB,sEAAsE;AAEtE,OAAO,EAAE,MAAM,YAAY,CAAA;AAC3B,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AAYnD,SAAS,cAAc,CAAC,EAAiB;IACvC,MAAM,IAAI,GAAe,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE,QAAQ,EAAE,IAAI,GAAG,EAAE,EAAE,UAAU,EAAE,IAAI,GAAG,EAAE,EAAE,CAAA;IACzF,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;QACjC,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;YAAE,SAAQ;QAC3C,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,CAAA;QAChC,IAAI,CAAC,MAAM;YAAE,SAAQ;QACrB,IAAI,MAAM,CAAC,IAAI;YAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACpD,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC;YACzB,IAAI,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC;gBAC/C,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YACrD,CAAC;iBAAM,CAAC;gBACN,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,aAAa,CAAC,QAAQ,EAAE,CAAC;oBAC/C,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBAC9B,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED,SAAS,qBAAqB,CAAC,EAAiB;IAC9C,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAA;IAC7B,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;QACjC,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC;YAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;aACvD,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC;YAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;aAC5D,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI;YAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IAC5E,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,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,wEAAwE;aACtF;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,OAAO,GAAG,cAAc,CAAC,EAAE,CAAC,CAAA;gBAClC,MAAM,MAAM,GAAG,qBAAqB,CAAC,EAAE,CAAC,CAAA;gBACxC,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,CAAC,CAAC,UAAU,CAAC,IAAI,KAAK,WAAW;wBACjC,CAAC,CAAC,aAAa;wBACf,CAAC,CAAC,aAAa,CAAC,MAAM,IAAI,CAAC,EAC3B,CAAC;wBACD,MAAM,QAAQ,GAAG,CAAC,CAAC,aAAa,CAAC,CAAC,CAAE,CAAA;wBACpC,MAAM,MAAM,GAAG,CAAC,CAAC,aAAa,CAAC,CAAC,CAAE,CAAA;wBAClC,MAAM,SAAS,GAAG,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAA;wBACpC,MAAM,SAAS,GAAG,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;wBACtC,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;wBAClC,MAAM,UAAU,GAAG,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAA;wBAE9D,+DAA+D;wBAC/D,oDAAoD;wBACpD,4DAA4D;wBAC5D,wDAAwD;wBACxD,0BAA0B;wBAC1B,IACE,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;4BAC1C,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;4BACzC,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;4BAC9C,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;4BAC5C,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU,EACxC,CAAC;4BACD,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;4BACxB,OAAM;wBACR,CAAC;wBACD,qDAAqD;wBACrD,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;4BACzE,GAAG,CAAC,gBAAgB,CAAC;gCACnB,EAAE,EAAE,2BAA2B;gCAC/B,QAAQ,EAAE,OAAO;gCACjB,QAAQ,EAAE,OAAO;gCACjB,OAAO,EACL,eAAe,SAAS,KAAK,OAAO,KAAK,UAAU,2BAA2B;oCAC9E,+EAA+E;oCAC/E,4EAA4E;oCAC5E,6EAA6E;oCAC7E,kEAAkE;gCACpE,QAAQ,EAAE;oCACR,IAAI,EAAE,EAAE,CAAC,QAAQ;oCACjB,KAAK,EAAE,gBAAgB,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;iCACvE;6BACF,CAAC,CAAA;4BACF,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;4BACxB,OAAM;wBACR,CAAC;wBACD,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAA;wBACpC,IAAI,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;4BACxB,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;4BACxB,OAAM;wBACR,CAAC;wBACD,IAAI,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;4BACpC,GAAG,CAAC,gBAAgB,CAAC;gCACnB,EAAE,EAAE,2BAA2B;gCAC/B,QAAQ,EAAE,OAAO;gCACjB,QAAQ,EAAE,OAAO;gCACjB,OAAO,EACL,eAAe,SAAS,KAAK,OAAO,KAAK,UAAU,oBAAoB,OAAO,IAAI;oCAClF,+EAA+E;oCAC/E,mEAAmE;oCACnE,cAAc,OAAO,kBAAkB;gCACzC,QAAQ,EAAE;oCACR,IAAI,EAAE,EAAE,CAAC,QAAQ;oCACjB,KAAK,EAAE,gBAAgB,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;iCACvE;6BACF,CAAC,CAAA;wBACJ,CAAC;6BAAM,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;4BACzE,GAAG,CAAC,gBAAgB,CAAC;gCACnB,EAAE,EAAE,2BAA2B;gCAC/B,QAAQ,EAAE,OAAO;gCACjB,QAAQ,EAAE,OAAO;gCACjB,OAAO,EACL,eAAe,SAAS,KAAK,OAAO,KAAK,UAAU,oBAAoB,OAAO,IAAI;oCAClF,gFAAgF;oCAChF,4EAA4E;oCAC5E,kBAAkB,OAAO,gCAAgC;oCACzD,cAAc,OAAO,mDAAmD;gCAC1E,QAAQ,EAAE;oCACR,IAAI,EAAE,EAAE,CAAC,QAAQ;oCACjB,KAAK,EAAE,gBAAgB,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;iCACvE;6BACF,CAAC,CAAA;wBACJ,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":["// `agent-msg-resolvable` — verifies the `Msg` type argument of every\n// `component<S, M, E>()` call resolves to a type the compiler can\n// statically reach: either a local `type M = …` declaration or a named\n// import from another module.\n//\n// Catches the silent-failure case where M references something the\n// resolver can't follow — a typo, a missing barrel re-export, a\n// namespace import — which would silently disable agent metadata\n// emission. Migrated from\n// `@llui/eslint-plugin/src/rules/agent-msg-resolvable.ts`.\n//\n// File-local check: the compiler doesn't run a full cross-file resolver\n// here (it's available in the broader transform pipeline but not\n// threaded into this module). The file-local form catches:\n//   - the M type arg isn't a plain identifier (generics, inline unions,\n//     namespace-qualified names);\n//   - the M identifier isn't declared locally and isn't named-imported\n//     from any source;\n//   - the M identifier comes from a namespace import (`import * as`).\n\nimport ts from 'typescript'\nimport { rangeFromOffsets } from '../diagnostic.js'\nimport type { CompilerModule } from '../module.js'\n\ninterface ImportInfo {\n  /** Imported via `import { Name } from '...'` (named/value or type). */\n  named: Set<string>\n  /** Imported via `import Name from '...'` (default). */\n  defaults: Set<string>\n  /** Imported via `import * as Name from '...'`. */\n  namespaces: Set<string>\n}\n\nfunction collectImports(sf: ts.SourceFile): ImportInfo {\n  const info: ImportInfo = { named: new Set(), defaults: new Set(), namespaces: new Set() }\n  for (const stmt of sf.statements) {\n    if (!ts.isImportDeclaration(stmt)) continue\n    const clause = stmt.importClause\n    if (!clause) continue\n    if (clause.name) info.defaults.add(clause.name.text)\n    if (clause.namedBindings) {\n      if (ts.isNamespaceImport(clause.namedBindings)) {\n        info.namespaces.add(clause.namedBindings.name.text)\n      } else {\n        for (const el of clause.namedBindings.elements) {\n          info.named.add(el.name.text)\n        }\n      }\n    }\n  }\n  return info\n}\n\nfunction collectLocalTypeNames(sf: ts.SourceFile): Set<string> {\n  const out = new Set<string>()\n  for (const stmt of sf.statements) {\n    if (ts.isTypeAliasDeclaration(stmt)) out.add(stmt.name.text)\n    else if (ts.isInterfaceDeclaration(stmt)) out.add(stmt.name.text)\n    else if (ts.isClassDeclaration(stmt) && stmt.name) out.add(stmt.name.text)\n  }\n  return out\n}\n\nexport function agentMsgResolvableModule(): CompilerModule {\n  return {\n    name: 'agent-msg-resolvable',\n    compilerVersion: '^0.3.0',\n    diagnostics: [\n      {\n        id: 'llui/agent-msg-resolvable',\n        description: 'component<>() Msg type arg must be locally declared or named-imported.',\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 imports = collectImports(sf)\n        const locals = collectLocalTypeNames(sf)\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.typeArguments &&\n            n.typeArguments.length >= 2\n          ) {\n            const stateArg = n.typeArguments[0]!\n            const msgArg = n.typeArguments[1]!\n            const effectArg = n.typeArguments[2]\n            const stateText = stateArg.getText(sf)\n            const msgText = msgArg.getText(sf)\n            const effectText = effectArg ? effectArg.getText(sf) : 'never'\n\n            // Keyword Msg types — `never`, `void`, `undefined`, `unknown`,\n            // `any` — are the canonical \"no messages\" shape for\n            // utility/side-effect components like a Vike Page that only\n            // renders. Skip the resolvability check; no annotations\n            // are expected for those.\n            if (\n              msgArg.kind === ts.SyntaxKind.NeverKeyword ||\n              msgArg.kind === ts.SyntaxKind.VoidKeyword ||\n              msgArg.kind === ts.SyntaxKind.UndefinedKeyword ||\n              msgArg.kind === ts.SyntaxKind.UnknownKeyword ||\n              msgArg.kind === ts.SyntaxKind.AnyKeyword\n            ) {\n              ts.forEachChild(n, walk)\n              return\n            }\n            // Identifier-typed arg is the only resolvable shape.\n            if (!ts.isTypeReferenceNode(msgArg) || !ts.isIdentifier(msgArg.typeName)) {\n              ctx.reportDiagnostic({\n                id: 'llui/agent-msg-resolvable',\n                severity: 'error',\n                category: 'agent',\n                message:\n                  `\\`component<${stateText}, ${msgText}, ${effectText}>()\\`: Msg type argument ` +\n                  `is not a plain identifier. The LLui compiler can only chase identifier-typed ` +\n                  `type arguments — generics like \\`Msg<T>\\`, namespace-qualified names like ` +\n                  `\\`m.Msg\\`, or inline literal unions are not followed. Replace with a named ` +\n                  `type alias declared in this file or named-imported from another.`,\n                location: {\n                  file: sf.fileName,\n                  range: rangeFromOffsets(sf.text, msgArg.getStart(sf), msgArg.getEnd()),\n                },\n              })\n              ts.forEachChild(n, walk)\n              return\n            }\n            const msgName = msgArg.typeName.text\n            if (locals.has(msgName)) {\n              ts.forEachChild(n, walk)\n              return\n            }\n            if (imports.namespaces.has(msgName)) {\n              ctx.reportDiagnostic({\n                id: 'llui/agent-msg-resolvable',\n                severity: 'error',\n                category: 'agent',\n                message:\n                  `\\`component<${stateText}, ${msgName}, ${effectText}>()\\`: Msg type \"${msgName}\" ` +\n                  `comes from a namespace import (\\`import * as ...\\`). The cross-file resolver ` +\n                  `does not follow namespace imports — replace with a named import: ` +\n                  `\\`import { ${msgName} } from \"...\"\\`.`,\n                location: {\n                  file: sf.fileName,\n                  range: rangeFromOffsets(sf.text, msgArg.getStart(sf), msgArg.getEnd()),\n                },\n              })\n            } else if (!imports.named.has(msgName) && !imports.defaults.has(msgName)) {\n              ctx.reportDiagnostic({\n                id: 'llui/agent-msg-resolvable',\n                severity: 'error',\n                category: 'agent',\n                message:\n                  `\\`component<${stateText}, ${msgName}, ${effectText}>()\\`: Msg type \"${msgName}\" ` +\n                  `is neither declared in this file nor imported with a named import. The plugin ` +\n                  `will emit no annotations and LAP validation will silently disable. Either ` +\n                  `declare \\`type ${msgName} = ...\\` here, import it with ` +\n                  `\\`import { ${msgName} } from \"...\"\\`, or replace with an inline union.`,\n                location: {\n                  file: sf.fileName,\n                  range: rangeFromOffsets(sf.text, msgArg.getStart(sf), msgArg.getEnd()),\n                },\n              })\n            }\n          }\n          ts.forEachChild(n, walk)\n        }\n        walk(sf)\n      },\n    },\n  }\n}\n"]}

package/dist/modules/agent-nonextractable-handler.d.ts

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

package/dist/modules/agent-nonextractable-handler.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"agent-nonextractable-handler.d.ts","sourceRoot":"","sources":["../../src/modules/agent-nonextractable-handler.ts"],"names":[],"mappings":"AAkBA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AA8BlD,wBAAgB,gCAAgC,IAAI,cAAc,CA6EjE"}

package/dist/modules/agent-nonextractable-handler.js

@@ -0,0 +1,127 @@
+// `agent-nonextractable-handler` — errors when a `send(...)` call inside
+// view() has a first argument that is NOT an object literal with a
+// string-literal `type` field. Statically-extractable handlers are how
+// the agent's `list_actions` advertises affordances; dynamic shapes
+// like `send(makeMsg())` or `send({ type: variant })` are invisible to
+// the static walker. Migrated from
+// `@llui/eslint-plugin/src/rules/agent-nonextractable-handler.ts`.
+//
+// Note: the ESLint rule gated on whether `@llui/agent` is installed in
+// the consumer's nearest package.json. The compiler doesn't have a
+// natural way to walk up to package.json from inside a transform —
+// and the consumer's intent is captured by the build pipeline already
+// (if you don't ship agent metadata, the diagnostic is information-
+// only). Erroring unconditionally is consistent with the
+// LLM-first stance: agent-extractable handlers are always preferable.
+import ts from 'typescript';
+import { rangeFromOffsets } from '../diagnostic.js';
+import { findComponentCalls } from './_shared.js';
+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;
+}
+function readTypeLiteral(obj) {
+    for (const prop of obj.properties) {
+        if (!ts.isPropertyAssignment(prop))
+            continue;
+        const isTypeKey = (ts.isIdentifier(prop.name) && prop.name.text === 'type') ||
+            (ts.isStringLiteral(prop.name) && prop.name.text === 'type');
+        if (!isTypeKey)
+            continue;
+        if (ts.isStringLiteral(prop.initializer))
+            return prop.initializer.text;
+        if (ts.isNoSubstitutionTemplateLiteral(prop.initializer)) {
+            return prop.initializer.text;
+        }
+        return null;
+    }
+    return null;
+}
+export function agentNonextractableHandlerModule() {
+    return {
+        name: 'agent-nonextractable-handler',
+        compilerVersion: '^0.3.0',
+        diagnostics: [
+            {
+                id: 'llui/agent-nonextractable-handler',
+                description: "send() in view with non-literal-typed argument — Claude's list_actions won't advertise this action.",
+            },
+        ],
+        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;
+                    if (!fn.body)
+                        continue;
+                    const walk = (n) => {
+                        if (ts.isCallExpression(n) &&
+                            ts.isIdentifier(n.expression) &&
+                            n.expression.text === 'send') {
+                            const first = n.arguments[0];
+                            let nonextractable = false;
+                            // Translator-passthrough exemption: `(m) => send(m)` or
+                            // `(m) => send(m as never)` is a library-Msg forwarder.
+                            // The actual dispatched type comes from the library's
+                            // own variants, surfaced via the universal handler-tagger
+                            // (binding-descriptors), not from this call site. The
+                            // ESLint rule didn't have this exemption explicitly, but
+                            // form-validation's `form.connect((s) => s.form, (m) => send(m as never))`
+                            // pattern is the canonical case — flagging it is noise.
+                            const isPassthroughId = (e) => {
+                                let cur = e;
+                                while (ts.isAsExpression(cur) || ts.isParenthesizedExpression(cur)) {
+                                    cur = cur.expression;
+                                }
+                                return ts.isIdentifier(cur);
+                            };
+                            if (!first) {
+                                nonextractable = true;
+                            }
+                            else if (isPassthroughId(first)) {
+                                // Bare identifier (possibly `as`-cast) — passthrough.
+                            }
+                            else if (!ts.isObjectLiteralExpression(first)) {
+                                nonextractable = true;
+                            }
+                            else if (readTypeLiteral(first) === null) {
+                                nonextractable = true;
+                            }
+                            if (nonextractable) {
+                                ctx.reportDiagnostic({
+                                    id: 'llui/agent-nonextractable-handler',
+                                    severity: 'error',
+                                    category: 'agent',
+                                    message: `\`send()\` call in view isn't statically extractable; the agent's ` +
+                                        `\`list_actions\` won't advertise this action. Prefer \`send({ type: 'literal' })\` ` +
+                                        `with a string-literal \`type\`; avoid computed dispatch (\`send(makeMsg())\`, ` +
+                                        `\`send({ type: variant })\`).`,
+                                    location: {
+                                        file: sf.fileName,
+                                        range: rangeFromOffsets(sf.text, n.getStart(sf), n.getEnd()),
+                                    },
+                                });
+                            }
+                        }
+                        ts.forEachChild(n, walk);
+                    };
+                    walk(fn.body);
+                }
+            },
+        },
+    };
+}
+//# sourceMappingURL=agent-nonextractable-handler.js.map

package/dist/modules/agent-nonextractable-handler.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"agent-nonextractable-handler.js","sourceRoot":"","sources":["../../src/modules/agent-nonextractable-handler.ts"],"names":[],"mappings":"AAAA,yEAAyE;AACzE,mEAAmE;AACnE,uEAAuE;AACvE,oEAAoE;AACpE,uEAAuE;AACvE,mCAAmC;AACnC,mEAAmE;AACnE,EAAE;AACF,uEAAuE;AACvE,mEAAmE;AACnE,mEAAmE;AACnE,sEAAsE;AACtE,oEAAoE;AACpE,yDAAyD;AACzD,sEAAsE;AAEtE,OAAO,EAAE,MAAM,YAAY,CAAA;AAC3B,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AAEnD,OAAO,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAA;AAEjD,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,SAAS,eAAe,CAAC,GAA+B;IACtD,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;QAClC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC;YAAE,SAAQ;QAC5C,MAAM,SAAS,GACb,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC;YACzD,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAA;QAC9D,IAAI,CAAC,SAAS;YAAE,SAAQ;QACxB,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC;YAAE,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,CAAA;QACtE,IAAI,EAAE,CAAC,+BAA+B,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;YACzD,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,CAAA;QAC9B,CAAC;QACD,OAAO,IAAI,CAAA;IACb,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED,MAAM,UAAU,gCAAgC;IAC9C,OAAO;QACL,IAAI,EAAE,8BAA8B;QACpC,eAAe,EAAE,QAAQ;QACzB,WAAW,EAAE;YACX;gBACE,EAAE,EAAE,mCAAmC;gBACvC,WAAW,EACT,qGAAqG;aACxG;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;oBACrE,IAAI,CAAC,EAAE,CAAC,IAAI;wBAAE,SAAQ;oBACtB,MAAM,IAAI,GAAG,CAAC,CAAU,EAAQ,EAAE;wBAChC,IACE,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC;4BACtB,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC;4BAC7B,CAAC,CAAC,UAAU,CAAC,IAAI,KAAK,MAAM,EAC5B,CAAC;4BACD,MAAM,KAAK,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;4BAC5B,IAAI,cAAc,GAAG,KAAK,CAAA;4BAC1B,wDAAwD;4BACxD,wDAAwD;4BACxD,sDAAsD;4BACtD,0DAA0D;4BAC1D,sDAAsD;4BACtD,yDAAyD;4BACzD,2EAA2E;4BAC3E,wDAAwD;4BACxD,MAAM,eAAe,GAAG,CAAC,CAAU,EAAW,EAAE;gCAC9C,IAAI,GAAG,GAAY,CAAC,CAAA;gCACpB,OAAO,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,yBAAyB,CAAC,GAAG,CAAC,EAAE,CAAC;oCACnE,GAAG,GAAG,GAAG,CAAC,UAAU,CAAA;gCACtB,CAAC;gCACD,OAAO,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,CAAA;4BAC7B,CAAC,CAAA;4BACD,IAAI,CAAC,KAAK,EAAE,CAAC;gCACX,cAAc,GAAG,IAAI,CAAA;4BACvB,CAAC;iCAAM,IAAI,eAAe,CAAC,KAAK,CAAC,EAAE,CAAC;gCAClC,sDAAsD;4BACxD,CAAC;iCAAM,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC,EAAE,CAAC;gCAChD,cAAc,GAAG,IAAI,CAAA;4BACvB,CAAC;iCAAM,IAAI,eAAe,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC;gCAC3C,cAAc,GAAG,IAAI,CAAA;4BACvB,CAAC;4BACD,IAAI,cAAc,EAAE,CAAC;gCACnB,GAAG,CAAC,gBAAgB,CAAC;oCACnB,EAAE,EAAE,mCAAmC;oCACvC,QAAQ,EAAE,OAAO;oCACjB,QAAQ,EAAE,OAAO;oCACjB,OAAO,EACL,oEAAoE;wCACpE,qFAAqF;wCACrF,gFAAgF;wCAChF,+BAA+B;oCACjC,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,IAAI,CAAC,CAAA;oBAC1B,CAAC,CAAA;oBACD,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAA;gBACf,CAAC;YACH,CAAC;SACF;KACF,CAAA;AACH,CAAC","sourcesContent":["// `agent-nonextractable-handler` — errors when a `send(...)` call inside\n// view() has a first argument that is NOT an object literal with a\n// string-literal `type` field. Statically-extractable handlers are how\n// the agent's `list_actions` advertises affordances; dynamic shapes\n// like `send(makeMsg())` or `send({ type: variant })` are invisible to\n// the static walker. Migrated from\n// `@llui/eslint-plugin/src/rules/agent-nonextractable-handler.ts`.\n//\n// Note: the ESLint rule gated on whether `@llui/agent` is installed in\n// the consumer's nearest package.json. The compiler doesn't have a\n// natural way to walk up to package.json from inside a transform —\n// and the consumer's intent is captured by the build pipeline already\n// (if you don't ship agent metadata, the diagnostic is information-\n// only). Erroring unconditionally is consistent with the\n// LLM-first stance: agent-extractable handlers are always preferable.\n\nimport ts from 'typescript'\nimport { rangeFromOffsets } from '../diagnostic.js'\nimport type { CompilerModule } from '../module.js'\nimport { findComponentCalls } from './_shared.js'\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\nfunction readTypeLiteral(obj: ts.ObjectLiteralExpression): string | null {\n  for (const prop of obj.properties) {\n    if (!ts.isPropertyAssignment(prop)) continue\n    const isTypeKey =\n      (ts.isIdentifier(prop.name) && prop.name.text === 'type') ||\n      (ts.isStringLiteral(prop.name) && prop.name.text === 'type')\n    if (!isTypeKey) continue\n    if (ts.isStringLiteral(prop.initializer)) return prop.initializer.text\n    if (ts.isNoSubstitutionTemplateLiteral(prop.initializer)) {\n      return prop.initializer.text\n    }\n    return null\n  }\n  return null\n}\n\nexport function agentNonextractableHandlerModule(): CompilerModule {\n  return {\n    name: 'agent-nonextractable-handler',\n    compilerVersion: '^0.3.0',\n    diagnostics: [\n      {\n        id: 'llui/agent-nonextractable-handler',\n        description:\n          \"send() in view with non-literal-typed argument — Claude's list_actions won't advertise this action.\",\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          if (!fn.body) continue\n          const walk = (n: ts.Node): void => {\n            if (\n              ts.isCallExpression(n) &&\n              ts.isIdentifier(n.expression) &&\n              n.expression.text === 'send'\n            ) {\n              const first = n.arguments[0]\n              let nonextractable = false\n              // Translator-passthrough exemption: `(m) => send(m)` or\n              // `(m) => send(m as never)` is a library-Msg forwarder.\n              // The actual dispatched type comes from the library's\n              // own variants, surfaced via the universal handler-tagger\n              // (binding-descriptors), not from this call site. The\n              // ESLint rule didn't have this exemption explicitly, but\n              // form-validation's `form.connect((s) => s.form, (m) => send(m as never))`\n              // pattern is the canonical case — flagging it is noise.\n              const isPassthroughId = (e: ts.Node): boolean => {\n                let cur: ts.Node = e\n                while (ts.isAsExpression(cur) || ts.isParenthesizedExpression(cur)) {\n                  cur = cur.expression\n                }\n                return ts.isIdentifier(cur)\n              }\n              if (!first) {\n                nonextractable = true\n              } else if (isPassthroughId(first)) {\n                // Bare identifier (possibly `as`-cast) — passthrough.\n              } else if (!ts.isObjectLiteralExpression(first)) {\n                nonextractable = true\n              } else if (readTypeLiteral(first) === null) {\n                nonextractable = true\n              }\n              if (nonextractable) {\n                ctx.reportDiagnostic({\n                  id: 'llui/agent-nonextractable-handler',\n                  severity: 'error',\n                  category: 'agent',\n                  message:\n                    `\\`send()\\` call in view isn't statically extractable; the agent's ` +\n                    `\\`list_actions\\` won't advertise this action. Prefer \\`send({ type: 'literal' })\\` ` +\n                    `with a string-literal \\`type\\`; avoid computed dispatch (\\`send(makeMsg())\\`, ` +\n                    `\\`send({ type: variant })\\`).`,\n                  location: {\n                    file: sf.fileName,\n                    range: rangeFromOffsets(sf.text, n.getStart(sf), n.getEnd()),\n                  },\n                })\n              }\n            }\n            ts.forEachChild(n, walk)\n          }\n          walk(fn.body)\n        }\n      },\n    },\n  }\n}\n"]}

package/dist/modules/agent-optional-field-undocumented.d.ts

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

package/dist/modules/agent-optional-field-undocumented.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"agent-optional-field-undocumented.d.ts","sourceRoot":"","sources":["../../src/modules/agent-optional-field-undocumented.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AAKlD,wBAAgB,oCAAoC,IAAI,cAAc,CAsDrE"}

package/dist/modules/agent-optional-field-undocumented.js

@@ -0,0 +1,67 @@
+// `agent-optional-field-undocumented` — errors when a Msg variant's
+// optional field (TS `?:`) lacks any leading JSDoc. Optional fields
+// are the most ambiguous part of a payload from an LLM's perspective —
+// some hint is required (`@should("…")` is the LLui idiom, but any
+// JSDoc satisfies the rule). Variants annotated `@humanOnly` are
+// skipped — the LLM never sees them. Migrated from
+// `@llui/eslint-plugin/src/rules/agent-optional-field-undocumented.ts`.
+import ts from 'typescript';
+import { rangeFromOffsets } from '../diagnostic.js';
+import { forEachMsgVariant } from './_msg-variants.js';
+const JSDOC_BLOCK_RE = /\/\*\*[\s\S]*?\*\//;
+export function agentOptionalFieldUndocumentedModule() {
+    return {
+        name: 'agent-optional-field-undocumented',
+        compilerVersion: '^0.3.0',
+        diagnostics: [
+            {
+                id: 'llui/agent-optional-field-undocumented',
+                description: 'Optional Msg-variant field has no JSDoc — add @should("hint") or any JSDoc.',
+            },
+        ],
+        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 (/@humanOnly\b/.test(leadingCommentText))
+                        return;
+                    let prevEnd = typeLit.getStart(sf) + 1; // skip the opening brace
+                    for (const sig of typeLit.members) {
+                        if (!ts.isPropertySignature(sig) || !sig.name || !ts.isIdentifier(sig.name)) {
+                            prevEnd = sig.getEnd();
+                            continue;
+                        }
+                        const fieldName = sig.name.text;
+                        if (fieldName === 'type') {
+                            prevEnd = sig.getEnd();
+                            continue;
+                        }
+                        if (!sig.questionToken) {
+                            prevEnd = sig.getEnd();
+                            continue;
+                        }
+                        const text = sf.text.slice(prevEnd, sig.getStart(sf));
+                        if (!JSDOC_BLOCK_RE.test(text)) {
+                            ctx.reportDiagnostic({
+                                id: 'llui/agent-optional-field-undocumented',
+                                severity: 'error',
+                                category: 'agent',
+                                message: `Msg variant "${variant}" has optional field "${fieldName}" with no JSDoc. ` +
+                                    `Add \`@should("hint")\` if the LLM should fill it in unless it has a specific ` +
+                                    `reason not to, or any JSDoc block to mark it intentionally undocumented for the agent. ` +
+                                    `Example: \`/** @should("the user's display name") */ name?: string\`.`,
+                                location: {
+                                    file: sf.fileName,
+                                    range: rangeFromOffsets(sf.text, sig.getStart(sf), sig.getEnd()),
+                                },
+                            });
+                        }
+                        prevEnd = sig.getEnd();
+                    }
+                });
+            },
+        },
+    };
+}
+//# sourceMappingURL=agent-optional-field-undocumented.js.map

package/dist/modules/agent-optional-field-undocumented.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"agent-optional-field-undocumented.js","sourceRoot":"","sources":["../../src/modules/agent-optional-field-undocumented.ts"],"names":[],"mappings":"AAAA,oEAAoE;AACpE,oEAAoE;AACpE,uEAAuE;AACvE,mEAAmE;AACnE,iEAAiE;AACjE,mDAAmD;AACnD,wEAAwE;AAExE,OAAO,EAAE,MAAM,YAAY,CAAA;AAC3B,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AAEnD,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAA;AAEtD,MAAM,cAAc,GAAG,oBAAoB,CAAA;AAE3C,MAAM,UAAU,oCAAoC;IAClD,OAAO;QACL,IAAI,EAAE,mCAAmC;QACzC,eAAe,EAAE,QAAQ;QACzB,WAAW,EAAE;YACX;gBACE,EAAE,EAAE,wCAAwC;gBAC5C,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,iBAAiB,CAAC,EAAE,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,kBAAkB,EAAE,EAAE,EAAE;oBACvE,IAAI,cAAc,CAAC,IAAI,CAAC,kBAAkB,CAAC;wBAAE,OAAM;oBACnD,IAAI,OAAO,GAAG,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,GAAG,CAAC,CAAA,CAAC,yBAAyB;oBAChE,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;wBAClC,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;4BAC5E,OAAO,GAAG,GAAG,CAAC,MAAM,EAAE,CAAA;4BACtB,SAAQ;wBACV,CAAC;wBACD,MAAM,SAAS,GAAG,GAAG,CAAC,IAAI,CAAC,IAAI,CAAA;wBAC/B,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;4BACzB,OAAO,GAAG,GAAG,CAAC,MAAM,EAAE,CAAA;4BACtB,SAAQ;wBACV,CAAC;wBACD,IAAI,CAAC,GAAG,CAAC,aAAa,EAAE,CAAC;4BACvB,OAAO,GAAG,GAAG,CAAC,MAAM,EAAE,CAAA;4BACtB,SAAQ;wBACV,CAAC;wBACD,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAA;wBACrD,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;4BAC/B,GAAG,CAAC,gBAAgB,CAAC;gCACnB,EAAE,EAAE,wCAAwC;gCAC5C,QAAQ,EAAE,OAAO;gCACjB,QAAQ,EAAE,OAAO;gCACjB,OAAO,EACL,gBAAgB,OAAO,yBAAyB,SAAS,mBAAmB;oCAC5E,gFAAgF;oCAChF,yFAAyF;oCACzF,uEAAuE;gCACzE,QAAQ,EAAE;oCACR,IAAI,EAAE,EAAE,CAAC,QAAQ;oCACjB,KAAK,EAAE,gBAAgB,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC;iCACjE;6BACF,CAAC,CAAA;wBACJ,CAAC;wBACD,OAAO,GAAG,GAAG,CAAC,MAAM,EAAE,CAAA;oBACxB,CAAC;gBACH,CAAC,CAAC,CAAA;YACJ,CAAC;SACF;KACF,CAAA;AACH,CAAC","sourcesContent":["// `agent-optional-field-undocumented` — errors when a Msg variant's\n// optional field (TS `?:`) lacks any leading JSDoc. Optional fields\n// are the most ambiguous part of a payload from an LLM's perspective —\n// some hint is required (`@should(\"…\")` is the LLui idiom, but any\n// JSDoc satisfies the rule). Variants annotated `@humanOnly` are\n// skipped — the LLM never sees them. Migrated from\n// `@llui/eslint-plugin/src/rules/agent-optional-field-undocumented.ts`.\n\nimport ts from 'typescript'\nimport { rangeFromOffsets } from '../diagnostic.js'\nimport type { CompilerModule } from '../module.js'\nimport { forEachMsgVariant } from './_msg-variants.js'\n\nconst JSDOC_BLOCK_RE = /\\/\\*\\*[\\s\\S]*?\\*\\//\n\nexport function agentOptionalFieldUndocumentedModule(): CompilerModule {\n  return {\n    name: 'agent-optional-field-undocumented',\n    compilerVersion: '^0.3.0',\n    diagnostics: [\n      {\n        id: 'llui/agent-optional-field-undocumented',\n        description: 'Optional Msg-variant field has no JSDoc — add @should(\"hint\") or any JSDoc.',\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 (/@humanOnly\\b/.test(leadingCommentText)) return\n          let prevEnd = typeLit.getStart(sf) + 1 // skip the opening brace\n          for (const sig of typeLit.members) {\n            if (!ts.isPropertySignature(sig) || !sig.name || !ts.isIdentifier(sig.name)) {\n              prevEnd = sig.getEnd()\n              continue\n            }\n            const fieldName = sig.name.text\n            if (fieldName === 'type') {\n              prevEnd = sig.getEnd()\n              continue\n            }\n            if (!sig.questionToken) {\n              prevEnd = sig.getEnd()\n              continue\n            }\n            const text = sf.text.slice(prevEnd, sig.getStart(sf))\n            if (!JSDOC_BLOCK_RE.test(text)) {\n              ctx.reportDiagnostic({\n                id: 'llui/agent-optional-field-undocumented',\n                severity: 'error',\n                category: 'agent',\n                message:\n                  `Msg variant \"${variant}\" has optional field \"${fieldName}\" with no JSDoc. ` +\n                  `Add \\`@should(\"hint\")\\` if the LLM should fill it in unless it has a specific ` +\n                  `reason not to, or any JSDoc block to mark it intentionally undocumented for the agent. ` +\n                  `Example: \\`/** @should(\"the user's display name\") */ name?: string\\`.`,\n                location: {\n                  file: sf.fileName,\n                  range: rangeFromOffsets(sf.text, sig.getStart(sf), sig.getEnd()),\n                },\n              })\n            }\n            prevEnd = sig.getEnd()\n          }\n        })\n      },\n    },\n  }\n}\n"]}

package/dist/modules/agent-tagsend-translator-missing.d.ts

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

package/dist/modules/agent-tagsend-translator-missing.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"agent-tagsend-translator-missing.d.ts","sourceRoot":"","sources":["../../src/modules/agent-tagsend-translator-missing.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AAElD,wBAAgB,mCAAmC,IAAI,cAAc,CAkDpE"}

package/dist/modules/agent-tagsend-translator-missing.js

@@ -0,0 +1,58 @@
+// `agent-tagsend-translator-missing` — errors when `*.connect(get, send,
+// …)` is called with the raw component `send` as its 2nd argument. The
+// library's internal Msgs flow through `send` directly and surface in
+// the agent's `list_actions` via `tagSend`, leaking library plumbing
+// (`move`, `drop`, `cancel`, etc.) into the agent affordance list.
+// The fix is to wrap with a translator: `(libMsg) => send({ type: '…',
+// msg: libMsg })`. Migrated from
+// `@llui/eslint-plugin/src/rules/agent-tagsend-translator-missing.ts`.
+import ts from 'typescript';
+import { rangeFromOffsets } from '../diagnostic.js';
+export function agentTagsendTranslatorMissingModule() {
+    return {
+        name: 'agent-tagsend-translator-missing',
+        compilerVersion: '^0.3.0',
+        diagnostics: [
+            {
+                id: 'llui/agent-tagsend-translator-missing',
+                description: '`*.connect(get, send, ...)` passes raw `send` — library Msgs leak into agent affordances.',
+            },
+        ],
+        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.isPropertyAccessExpression(n.expression) &&
+                        ts.isIdentifier(n.expression.name) &&
+                        n.expression.name.text === 'connect' &&
+                        n.arguments.length >= 2) {
+                        const sendArg = n.arguments[1];
+                        if (ts.isIdentifier(sendArg) && sendArg.text === 'send') {
+                            const calleeName = ts.isIdentifier(n.expression.expression)
+                                ? n.expression.expression.text
+                                : '<lib>';
+                            ctx.reportDiagnostic({
+                                id: 'llui/agent-tagsend-translator-missing',
+                                severity: 'error',
+                                category: 'agent',
+                                message: `\`${calleeName}.connect(...)\` receives the raw component \`send\` as its 2nd ` +
+                                    `argument. Library-internal Msgs will leak into the agent's \`list_actions\` via ` +
+                                    `\`tagSend\`. Wrap with a translator that maps library Msgs to your domain Msgs: ` +
+                                    `\`(libMsg) => send({ type: '<YourMsg>', msg: libMsg })\`.`,
+                                location: {
+                                    file: sf.fileName,
+                                    range: rangeFromOffsets(sf.text, n.getStart(sf), n.getEnd()),
+                                },
+                            });
+                        }
+                    }
+                    ts.forEachChild(n, walk);
+                };
+                walk(sf);
+            },
+        },
+    };
+}
+//# sourceMappingURL=agent-tagsend-translator-missing.js.map

package/dist/modules/agent-tagsend-translator-missing.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"agent-tagsend-translator-missing.js","sourceRoot":"","sources":["../../src/modules/agent-tagsend-translator-missing.ts"],"names":[],"mappings":"AAAA,yEAAyE;AACzE,uEAAuE;AACvE,sEAAsE;AACtE,qEAAqE;AACrE,mEAAmE;AACnE,uEAAuE;AACvE,iCAAiC;AACjC,uEAAuE;AAEvE,OAAO,EAAE,MAAM,YAAY,CAAA;AAC3B,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AAGnD,MAAM,UAAU,mCAAmC;IACjD,OAAO;QACL,IAAI,EAAE,kCAAkC;QACxC,eAAe,EAAE,QAAQ;QACzB,WAAW,EAAE;YACX;gBACE,EAAE,EAAE,uCAAuC;gBAC3C,WAAW,EACT,2FAA2F;aAC9F;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,0BAA0B,CAAC,CAAC,CAAC,UAAU,CAAC;wBAC3C,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC;wBAClC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;wBACpC,CAAC,CAAC,SAAS,CAAC,MAAM,IAAI,CAAC,EACvB,CAAC;wBACD,MAAM,OAAO,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAE,CAAA;wBAC/B,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;4BACxD,MAAM,UAAU,GAAG,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC;gCACzD,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI;gCAC9B,CAAC,CAAC,OAAO,CAAA;4BACX,GAAG,CAAC,gBAAgB,CAAC;gCACnB,EAAE,EAAE,uCAAuC;gCAC3C,QAAQ,EAAE,OAAO;gCACjB,QAAQ,EAAE,OAAO;gCACjB,OAAO,EACL,KAAK,UAAU,iEAAiE;oCAChF,kFAAkF;oCAClF,kFAAkF;oCAClF,2DAA2D;gCAC7D,QAAQ,EAAE;oCACR,IAAI,EAAE,EAAE,CAAC,QAAQ;oCACjB,KAAK,EAAE,gBAAgB,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;iCAC7D;6BACF,CAAC,CAAA;wBACJ,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":["// `agent-tagsend-translator-missing` — errors when `*.connect(get, send,\n// …)` is called with the raw component `send` as its 2nd argument. The\n// library's internal Msgs flow through `send` directly and surface in\n// the agent's `list_actions` via `tagSend`, leaking library plumbing\n// (`move`, `drop`, `cancel`, etc.) into the agent affordance list.\n// The fix is to wrap with a translator: `(libMsg) => send({ type: '…',\n// msg: libMsg })`. Migrated from\n// `@llui/eslint-plugin/src/rules/agent-tagsend-translator-missing.ts`.\n\nimport ts from 'typescript'\nimport { rangeFromOffsets } from '../diagnostic.js'\nimport type { CompilerModule } from '../module.js'\n\nexport function agentTagsendTranslatorMissingModule(): CompilerModule {\n  return {\n    name: 'agent-tagsend-translator-missing',\n    compilerVersion: '^0.3.0',\n    diagnostics: [\n      {\n        id: 'llui/agent-tagsend-translator-missing',\n        description:\n          '`*.connect(get, send, ...)` passes raw `send` — library Msgs leak into agent affordances.',\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.isPropertyAccessExpression(n.expression) &&\n            ts.isIdentifier(n.expression.name) &&\n            n.expression.name.text === 'connect' &&\n            n.arguments.length >= 2\n          ) {\n            const sendArg = n.arguments[1]!\n            if (ts.isIdentifier(sendArg) && sendArg.text === 'send') {\n              const calleeName = ts.isIdentifier(n.expression.expression)\n                ? n.expression.expression.text\n                : '<lib>'\n              ctx.reportDiagnostic({\n                id: 'llui/agent-tagsend-translator-missing',\n                severity: 'error',\n                category: 'agent',\n                message:\n                  `\\`${calleeName}.connect(...)\\` receives the raw component \\`send\\` as its 2nd ` +\n                  `argument. Library-internal Msgs will leak into the agent's \\`list_actions\\` via ` +\n                  `\\`tagSend\\`. Wrap with a translator that maps library Msgs to your domain Msgs: ` +\n                  `\\`(libMsg) => send({ type: '<YourMsg>', msg: libMsg })\\`.`,\n                location: {\n                  file: sf.fileName,\n                  range: rangeFromOffsets(sf.text, n.getStart(sf), n.getEnd()),\n                },\n              })\n            }\n          }\n          ts.forEachChild(n, walk)\n        }\n        walk(sf)\n      },\n    },\n  }\n}\n"]}

package/dist/modules/agent-warning-on-confirm.d.ts

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

package/dist/modules/agent-warning-on-confirm.d.ts.map

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