@llui/vite-plugin 0.0.31 → 0.0.33

package/dist/cross-file-resolver.d.ts

@@ -0,0 +1,109 @@
+import ts from 'typescript';
+import { type MessageAnnotations } from './msg-annotations.js';
+import { type MsgSchema } from './msg-schema.js';
+/**
+ * Cross-file type resolver.
+ *
+ * The schema/annotation extractors (`extractMsgAnnotations`,
+ * `extractMsgSchema`, `extractStateSchema`, `extractEffectSchema`) only
+ * see the source string for the file currently being transformed. When
+ * a developer keeps the `Msg` (or `State` / `Effect`) union in a
+ * separate file and imports it where `component()` is called, those
+ * extractors silently return `null` — the plugin emits no annotations,
+ * runtime LAP validation is disabled, and Claude can dispatch arbitrary
+ * `type` strings that fall through to `assertNever`.
+ *
+ * This module follows imports and re-exports to find the source file
+ * that declares the requested type alias, returning that file's source
+ * string + the local name of the alias there. Extractors then run
+ * against that source and produce the same output they would have for
+ * a co-located declaration.
+ *
+ * Limitations:
+ *  - Composition (`type Msg = ImportedA | { type: 'b' }`): only the
+ *    locally-declared variants are extracted; the imported half isn't
+ *    walked recursively into. The lint rule `agent-msg-resolvable`
+ *    catches this case at lint time.
+ *  - Namespace imports (`import * as ns from './msg'`) and `export *`:
+ *    not followed. Same lint coverage.
+ *  - Generic types: not parameterized resolution; the type argument
+ *    must resolve to a concrete type alias.
+ */
+export interface ResolveContext {
+    /**
+     * Resolve a module specifier (e.g. `'./msg'`, `'@scope/pkg'`) against
+     * the importing file's path. Returns the absolute filesystem path of
+     * the resolved module, or `null` if it cannot be resolved (the type
+     * stays unresolved and the extractor falls back to local-only mode).
+     */
+    resolveModule: (spec: string, importerPath: string) => Promise<string | null>;
+    /**
+     * Read the source contents of an absolute module path. The contents
+     * are parsed by TypeScript so they should be valid TS/TSX. The plugin
+     *'s vite hook plumbs `fs/promises.readFile` here; tests provide an
+     * in-memory map.
+     */
+    readSource: (absolutePath: string) => Promise<string>;
+}
+export interface ResolvedTypeSource {
+    /** The full source string of the file declaring the type alias. */
+    source: string;
+    /** The local name of the alias *in that file* (after rename chains). */
+    localName: string;
+    /** Absolute path of the file declaring the alias (debug aid). */
+    filePath: string;
+}
+/**
+ * Walk imports + re-exports to find where a type alias is actually
+ * declared. Returns the source string and local name of the alias in
+ * its declaring file. Returns `null` if the chain leads to an unresolved
+ * module, a re-export through `export *`, a namespace import, or a
+ * dead-end (alias not declared anywhere we can see).
+ */
+export declare function findTypeSource(typeName: string, source: string, filePath: string, ctx: ResolveContext, visited?: Set<string>): Promise<ResolvedTypeSource | null>;
+/**
+ * Annotation extractor that walks composed Msg unions across files.
+ *
+ * Given a Msg type that may be a union of inline `{ type: 'literal' }`
+ * objects AND TypeReferences (e.g.
+ * `type Msg = ImportedFoo | { type: 'extra' }`), recursively follow
+ * each TypeReference via `findTypeSource` and merge its variants into
+ * the returned map.
+ *
+ * Composition + cross-file is the union of two failure modes the
+ * file-local sync extractor silently mishandles. This function
+ * produces the same map the runtime expects regardless of how the
+ * developer organized the type declarations.
+ *
+ * Conflict policy: if two composed branches contribute the same
+ * discriminant string (e.g. both halves declare `{ type: 'inc' }`),
+ * the first one walked wins. The lint rule `agent-msg-resolvable`
+ * fires before this point on most pathological cases; ESLint's
+ * type-checker would flag the duplicate independently.
+ */
+export declare function extractMsgAnnotationsCrossFile(source: string, typeName: string, filePath: string, ctx: ResolveContext): Promise<Record<string, MessageAnnotations> | null>;
+/**
+ * Cross-file companion to `extractMsgSchema` / `extractEffectSchema`.
+ *
+ * Discriminated-union schema extractor that follows composed
+ * TypeReferences through the resolver. Same recursion shape as
+ * `extractMsgAnnotationsCrossFile`, just collecting field shapes
+ * instead of JSDoc annotations.
+ */
+export declare function extractDiscriminatedUnionSchemaCrossFile(source: string, typeName: string, filePath: string, ctx: ResolveContext): Promise<MsgSchema | null>;
+/**
+ * Inspect the type arguments of a `component<...>()` call and return
+ * the textual identifier for each known position. Returns `null` for
+ * positions whose type argument isn't a plain identifier (e.g.
+ * inline literal types, generic instantiations, namespace-qualified
+ * names). Identifiers are what the resolver can chase; everything else
+ * we leave to the local extractor's existing behavior.
+ *
+ * Order: `[State, Msg, Effect]` matching `component<State, Msg, Effect>`.
+ */
+export declare function readComponentTypeArgNames(call: ts.CallExpression): {
+    state: string | null;
+    msg: string | null;
+    effect: string | null;
+};
+//# sourceMappingURL=cross-file-resolver.d.ts.map

package/dist/cross-file-resolver.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cross-file-resolver.d.ts","sourceRoot":"","sources":["../src/cross-file-resolver.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAA;AAC3B,OAAO,EACL,KAAK,kBAAkB,EAExB,MAAM,sBAAsB,CAAA;AAC7B,OAAO,EACL,KAAK,SAAS,EAIf,MAAM,iBAAiB,CAAA;AAExB;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAEH,MAAM,WAAW,cAAc;IAC7B;;;;;OAKG;IACH,aAAa,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAAA;IAC7E;;;;;OAKG;IACH,UAAU,EAAE,CAAC,YAAY,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,CAAA;CACtD;AAED,MAAM,WAAW,kBAAkB;IACjC,mEAAmE;IACnE,MAAM,EAAE,MAAM,CAAA;IACd,wEAAwE;IACxE,SAAS,EAAE,MAAM,CAAA;IACjB,iEAAiE;IACjE,QAAQ,EAAE,MAAM,CAAA;CACjB;AAED;;;;;;GAMG;AACH,wBAAsB,cAAc,CAClC,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,MAAM,EAChB,GAAG,EAAE,cAAc,EACnB,OAAO,GAAE,GAAG,CAAC,MAAM,CAAa,GAC/B,OAAO,CAAC,kBAAkB,GAAG,IAAI,CAAC,CAwGpC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAsB,8BAA8B,CAClD,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,MAAM,EAChB,QAAQ,EAAE,MAAM,EAChB,GAAG,EAAE,cAAc,GAClB,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,GAAG,IAAI,CAAC,CAKpD;AA6KD;;;;;;;GAOG;AACH,wBAAsB,wCAAwC,CAC5D,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,MAAM,EAChB,QAAQ,EAAE,MAAM,EAChB,GAAG,EAAE,cAAc,GAClB,OAAO,CAAC,SAAS,GAAG,IAAI,CAAC,CAK3B;AA2JD;;;;;;;;;GASG;AACH,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,GAAG;IAClE,KAAK,EAAE,MAAM,GAAG,IAAI,CAAA;IACpB,GAAG,EAAE,MAAM,GAAG,IAAI,CAAA;IAClB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;CACtB,CASA"}

package/dist/cross-file-resolver.js

@@ -0,0 +1,457 @@
+import ts from 'typescript';
+import {} from './msg-annotations.js';
+import { buildFieldDescriptor, } from './msg-schema.js';
+/**
+ * Walk imports + re-exports to find where a type alias is actually
+ * declared. Returns the source string and local name of the alias in
+ * its declaring file. Returns `null` if the chain leads to an unresolved
+ * module, a re-export through `export *`, a namespace import, or a
+ * dead-end (alias not declared anywhere we can see).
+ */
+export async function findTypeSource(typeName, source, filePath, ctx, visited = new Set()) {
+    // Cycle prevention — re-export A → A is a tight loop that some
+    // pathological re-export chains can produce. Bail rather than
+    // infinitely recurse.
+    if (visited.has(`${filePath}::${typeName}`))
+        return null;
+    visited.add(`${filePath}::${typeName}`);
+    const sf = ts.createSourceFile(filePath, source, ts.ScriptTarget.Latest, true);
+    // 1. Local declaration wins. `type X = ...` or `interface X { ... }`
+    //    (extractors only support type aliases today, but check both so
+    //    the resolver itself isn't a footgun for future extractors).
+    for (const stmt of sf.statements) {
+        if (ts.isTypeAliasDeclaration(stmt) && stmt.name.text === typeName) {
+            return { source, localName: typeName, filePath };
+        }
+        if (ts.isInterfaceDeclaration(stmt) && stmt.name.text === typeName) {
+            return { source, localName: typeName, filePath };
+        }
+    }
+    // 2. Re-export with name: `export { X } from './y'` or
+    //    `export { X as Y } from './y'`. Walk to the source module.
+    for (const stmt of sf.statements) {
+        if (!ts.isExportDeclaration(stmt))
+            continue;
+        if (!stmt.exportClause || !ts.isNamedExports(stmt.exportClause))
+            continue;
+        if (!stmt.moduleSpecifier || !ts.isStringLiteral(stmt.moduleSpecifier))
+            continue;
+        for (const spec of stmt.exportClause.elements) {
+            const exportedName = spec.name.text;
+            if (exportedName !== typeName)
+                continue;
+            // The name in the source module is `propertyName` if present
+            // (e.g. `export { Msg as M } from './msg'` exports as M but the
+            // source module has it as Msg).
+            const sourceName = spec.propertyName?.text ?? spec.name.text;
+            const resolved = await ctx.resolveModule(stmt.moduleSpecifier.text, filePath);
+            if (!resolved)
+                return null;
+            const subSource = await ctx.readSource(resolved);
+            return findTypeSource(sourceName, subSource, resolved, ctx, visited);
+        }
+    }
+    // 3. Local re-binding: `export { X } from elsewhere` shorthand was
+    //    handled above. A separate case is `import { X } from ... ; export
+    //    { X }` — the import already declares X locally, so step 5 picks
+    //    it up.
+    // 4. Star re-exports: `export * from './y'`. The barrel re-exports
+    //    every named member of `./y` under the same name. Walk each
+    //    barrel target and return the first hit. Order: textual order
+    //    in the source file (matches TypeScript's behaviour for
+    //    multi-barrel name collisions, where the first declared wins).
+    //
+    //    Multiple `export *` declarations are common in monorepo barrel
+    //    files (`export * from './msg'; export * from './effects'`).
+    //    Without this step, the resolver returns `null` and the plugin
+    //    silently emits empty annotations for any consumer that points
+    //    at a barrel.
+    for (const stmt of sf.statements) {
+        if (!ts.isExportDeclaration(stmt))
+            continue;
+        // `export * from './y'` has no exportClause; `export {} from './y'`
+        // is a different beast (re-exports nothing). Skip the latter.
+        if (stmt.exportClause)
+            continue;
+        if (!stmt.moduleSpecifier || !ts.isStringLiteral(stmt.moduleSpecifier))
+            continue;
+        const resolved = await ctx.resolveModule(stmt.moduleSpecifier.text, filePath);
+        if (!resolved)
+            continue;
+        let subSource;
+        try {
+            subSource = await ctx.readSource(resolved);
+        }
+        catch {
+            // Module path resolved but the file isn't readable (deleted,
+            // dynamic-only, etc.). Continue to the next barrel.
+            continue;
+        }
+        const found = await findTypeSource(typeName, subSource, resolved, ctx, visited);
+        if (found)
+            return found;
+    }
+    // 5. Imports: `import { X } from './y'` or `import { X as Y } from './y'`.
+    //    Walk to the source module using the original (imported) name.
+    for (const stmt of sf.statements) {
+        if (!ts.isImportDeclaration(stmt))
+            continue;
+        if (!stmt.importClause)
+            continue;
+        if (!stmt.moduleSpecifier || !ts.isStringLiteral(stmt.moduleSpecifier))
+            continue;
+        const bindings = stmt.importClause.namedBindings;
+        if (!bindings || !ts.isNamedImports(bindings))
+            continue;
+        for (const elem of bindings.elements) {
+            const localName = elem.name.text;
+            if (localName !== typeName)
+                continue;
+            // The remote name is `propertyName` when there's a rename, else
+            // the local name itself.
+            const remoteName = elem.propertyName?.text ?? elem.name.text;
+            const resolved = await ctx.resolveModule(stmt.moduleSpecifier.text, filePath);
+            if (!resolved)
+                return null;
+            const subSource = await ctx.readSource(resolved);
+            return findTypeSource(remoteName, subSource, resolved, ctx, visited);
+        }
+    }
+    // Not found in this file and no import/re-export to follow.
+    return null;
+}
+/**
+ * Annotation extractor that walks composed Msg unions across files.
+ *
+ * Given a Msg type that may be a union of inline `{ type: 'literal' }`
+ * objects AND TypeReferences (e.g.
+ * `type Msg = ImportedFoo | { type: 'extra' }`), recursively follow
+ * each TypeReference via `findTypeSource` and merge its variants into
+ * the returned map.
+ *
+ * Composition + cross-file is the union of two failure modes the
+ * file-local sync extractor silently mishandles. This function
+ * produces the same map the runtime expects regardless of how the
+ * developer organized the type declarations.
+ *
+ * Conflict policy: if two composed branches contribute the same
+ * discriminant string (e.g. both halves declare `{ type: 'inc' }`),
+ * the first one walked wins. The lint rule `agent-msg-resolvable`
+ * fires before this point on most pathological cases; ESLint's
+ * type-checker would flag the duplicate independently.
+ */
+export async function extractMsgAnnotationsCrossFile(source, typeName, filePath, ctx) {
+    const out = {};
+    const ok = await collectMsgVariants(typeName, source, filePath, ctx, out, new Set());
+    if (!ok)
+        return null;
+    return Object.keys(out).length === 0 ? null : out;
+}
+async function collectMsgVariants(typeName, source, filePath, ctx, out, visitedAliases) {
+    const located = await findTypeSource(typeName, source, filePath, ctx, new Set());
+    if (!located)
+        return false;
+    const aliasKey = `${located.filePath}::${located.localName}`;
+    if (visitedAliases.has(aliasKey))
+        return true;
+    visitedAliases.add(aliasKey);
+    const sf = ts.createSourceFile(located.filePath, located.source, ts.ScriptTarget.Latest, true);
+    const aliases = [];
+    sf.forEachChild((n) => {
+        if (ts.isTypeAliasDeclaration(n))
+            aliases.push(n);
+    });
+    const alias = aliases.find((a) => a.name.text === located.localName);
+    if (!alias)
+        return false;
+    // Single-variant alias: `type Foo = { type: 'a', ... }`. Treat as a
+    // one-element union so a Msg variant can be its own type alias.
+    const memberNodes = ts.isUnionTypeNode(alias.type)
+        ? [...alias.type.types]
+        : [alias.type];
+    for (let i = 0; i < memberNodes.length; i++) {
+        const member = memberNodes[i];
+        if (ts.isTypeLiteralNode(member)) {
+            const variant = readDiscriminantLiteral(member);
+            if (!variant)
+                continue;
+            const comment = readLeadingJSDocForMember(located.source, alias, memberNodes, i);
+            if (out[variant] === undefined) {
+                out[variant] = parseMessageAnnotations(comment);
+            }
+            continue;
+        }
+        if (ts.isTypeReferenceNode(member) && ts.isIdentifier(member.typeName)) {
+            // Composed: recurse through the resolver.
+            await collectMsgVariants(member.typeName.text, located.source, located.filePath, ctx, out, visitedAliases);
+            continue;
+        }
+        // Other shapes (intersections, conditional types, namespace-qualified
+        // names) aren't followed. Lint catches this.
+    }
+    return true;
+}
+function readDiscriminantLiteral(lit) {
+    for (const m of lit.members) {
+        if (!ts.isPropertySignature(m))
+            continue;
+        if (!m.name || !ts.isIdentifier(m.name) || m.name.text !== 'type')
+            continue;
+        if (!m.type || !ts.isLiteralTypeNode(m.type))
+            continue;
+        const literal = m.type.literal;
+        if (ts.isStringLiteral(literal))
+            return literal.text;
+    }
+    return null;
+}
+/**
+ * Read leading JSDoc for a union member at index `i` of `members`.
+ * The JSDoc lives between the previous element's end and the current
+ * element's start (or between the type alias start and the first
+ * element for `i === 0`). Mirrors the logic in
+ * `extractMsgAnnotations` so the cross-file path produces the same
+ * output for the same input.
+ */
+function readLeadingJSDocForMember(source, alias, members, i) {
+    const prev = members[i - 1];
+    const member = members[i];
+    // For non-union (single-variant) aliases the union pos is the alias
+    // body's pos.
+    const unionPos = ts.isUnionTypeNode(alias.type) ? alias.type.pos : alias.type.pos;
+    const scanPos = i === 0 || prev === undefined ? unionPos : prev.end;
+    const ranges = ts.getLeadingCommentRanges(source, scanPos) ?? [];
+    const docs = ranges
+        .filter((r) => r.kind === ts.SyntaxKind.MultiLineCommentTrivia)
+        .map((r) => source.slice(r.pos, r.end))
+        .filter((txt) => txt.startsWith('/**'));
+    // Cut off comments that appear AFTER the member starts (rare but
+    // possible with weird formatting).
+    const _end = member.pos;
+    return docs.join('\n');
+}
+function parseMessageAnnotations(comment) {
+    if (!comment)
+        return defaultMessageAnnotations();
+    const intent = readIntentTag(comment);
+    const human = /@humanOnly\b/.test(comment);
+    const agent = /@agentOnly\b/.test(comment);
+    const dispatchMode = human && !agent ? 'human-only' : agent && !human ? 'agent-only' : 'shared';
+    return {
+        intent,
+        alwaysAffordable: /@alwaysAffordable\b/.test(comment),
+        requiresConfirm: /@requiresConfirm\b/.test(comment),
+        dispatchMode,
+        examples: readExamplesTag(comment),
+        warning: readWarningTag(comment),
+        emits: readEmitsTag(comment),
+    };
+}
+function readEmitsTag(comment) {
+    const outer = comment.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) {
+        const v = m[1];
+        if (v === undefined || seen.has(v))
+            continue;
+        seen.add(v);
+        out.push(v);
+    }
+    return out;
+}
+function readExamplesTag(comment) {
+    const out = [];
+    const re = /@example\s*\(\s*["“]([^"”]*)["”]\s*\)/g;
+    let m;
+    while ((m = re.exec(comment)) !== null) {
+        if (m[1] !== undefined)
+            out.push(m[1]);
+    }
+    return out;
+}
+function readWarningTag(comment) {
+    const match = comment.match(/@warning\s*\(\s*["“]([^"”]*)["”]\s*\)/);
+    return match?.[1] ?? null;
+}
+function defaultMessageAnnotations() {
+    return {
+        intent: null,
+        alwaysAffordable: false,
+        requiresConfirm: false,
+        dispatchMode: 'shared',
+        examples: [],
+        warning: null,
+        emits: [],
+    };
+}
+function readIntentTag(comment) {
+    const match = comment.match(/@intent\s*\(\s*["“]([^"”]*)["”]\s*\)/);
+    return match?.[1] ?? null;
+}
+/**
+ * Cross-file companion to `extractMsgSchema` / `extractEffectSchema`.
+ *
+ * Discriminated-union schema extractor that follows composed
+ * TypeReferences through the resolver. Same recursion shape as
+ * `extractMsgAnnotationsCrossFile`, just collecting field shapes
+ * instead of JSDoc annotations.
+ */
+export async function extractDiscriminatedUnionSchemaCrossFile(source, typeName, filePath, ctx) {
+    const variants = {};
+    const ok = await collectSchemaVariants(typeName, source, filePath, ctx, variants, new Set());
+    if (!ok)
+        return null;
+    return Object.keys(variants).length === 0 ? null : { discriminant: 'type', variants };
+}
+async function collectSchemaVariants(typeName, source, filePath, ctx, variants, visitedAliases) {
+    const located = await findTypeSource(typeName, source, filePath, ctx, new Set());
+    if (!located)
+        return false;
+    const aliasKey = `${located.filePath}::${located.localName}`;
+    if (visitedAliases.has(aliasKey))
+        return true;
+    visitedAliases.add(aliasKey);
+    const sf = ts.createSourceFile(located.filePath, located.source, ts.ScriptTarget.Latest, true);
+    const aliases = [];
+    sf.forEachChild((n) => {
+        if (ts.isTypeAliasDeclaration(n))
+            aliases.push(n);
+    });
+    const alias = aliases.find((a) => a.name.text === located.localName);
+    if (!alias)
+        return false;
+    const memberNodes = ts.isUnionTypeNode(alias.type)
+        ? [...alias.type.types]
+        : [alias.type];
+    // Build a typeIndex that combines this file's local types with any
+    // *imported* type aliases referenced inside the variant payloads.
+    // Without this enrichment, a field typed as `GridSorting` (declared
+    // in `./state.ts` and imported here) would resolve to `'unknown'`
+    // because the local index doesn't know about it. The synthesizer
+    // would then emit `null` and the agent would have to guess at the
+    // permissible literal-union values.
+    const typeIndex = await buildEnrichedTypeIndex(sf, located.source, located.filePath, ctx);
+    for (const member of memberNodes) {
+        if (ts.isTypeLiteralNode(member)) {
+            collectOneVariant(member, variants, located.source, typeIndex);
+            continue;
+        }
+        if (ts.isTypeReferenceNode(member) && ts.isIdentifier(member.typeName)) {
+            await collectSchemaVariants(member.typeName.text, located.source, located.filePath, ctx, variants, visitedAliases);
+            continue;
+        }
+    }
+    return true;
+}
+function collectOneVariant(lit, variants, source, typeIndex) {
+    let discriminantValue = null;
+    const fields = {};
+    for (const member of lit.members) {
+        if (!ts.isPropertySignature(member) || !member.name || !ts.isIdentifier(member.name))
+            continue;
+        const name = member.name.text;
+        const memberType = member.type;
+        if (name === 'type' && memberType) {
+            if (ts.isLiteralTypeNode(memberType) && ts.isStringLiteral(memberType.literal)) {
+                discriminantValue = memberType.literal.text;
+            }
+            continue;
+        }
+        fields[name] = buildFieldDescriptor(member, source, typeIndex);
+    }
+    if (discriminantValue && variants[discriminantValue] === undefined) {
+        variants[discriminantValue] = fields;
+    }
+}
+/**
+ * Build a TypeIndex that includes the locally-declared types in `sf`
+ * AND any types imported by name into `sf`. Following the imports
+ * picks up sibling-file aliases like `GridSorting`, `ScoreMode`,
+ * `ConfirmRequest` that an app commonly extracts to a state module.
+ *
+ * Limitations:
+ *  - Only follows direct named imports (`import type { X } from './y'`).
+ *    Namespace imports and `export *` aren't followed (the lint rule
+ *    `agent-msg-resolvable` already catches the namespace case).
+ *  - The resolved external type must itself be a type alias or
+ *    interface in the target file — chained re-exports beyond the first
+ *    hop fall back to `'unknown'`.
+ *  - Best-effort: any failure to resolve an import is silent. The
+ *    field type just stays `'unknown'` as it would have without
+ *    enrichment.
+ */
+async function buildEnrichedTypeIndex(sf, source, filePath, ctx) {
+    const index = new Map();
+    // 1. Locally-declared aliases / interfaces.
+    for (const stmt of sf.statements) {
+        if (ts.isTypeAliasDeclaration(stmt)) {
+            index.set(stmt.name.text, stmt.type);
+        }
+        else if (ts.isInterfaceDeclaration(stmt)) {
+            index.set(stmt.name.text, stmt);
+        }
+    }
+    // 2. Walk imports and resolve named-imported types via the resolver.
+    //    Each successful resolve adds the target's declaration to the
+    //    index under the local name. Type-only imports
+    //    (`import type { X }`) are followed exactly the same as value
+    //    imports — TypeScript's `isTypeOnly` flag doesn't change the
+    //    referent.
+    for (const stmt of sf.statements) {
+        if (!ts.isImportDeclaration(stmt))
+            continue;
+        const named = stmt.importClause?.namedBindings;
+        if (!named || !ts.isNamedImports(named))
+            continue;
+        for (const spec of named.elements) {
+            const localName = spec.name.text;
+            const importedName = spec.propertyName?.text ?? localName;
+            if (index.has(localName))
+                continue;
+            const located = await findTypeSource(importedName, source, filePath, ctx, new Set());
+            if (!located)
+                continue;
+            const targetSf = ts.createSourceFile(located.filePath, located.source, ts.ScriptTarget.Latest, true);
+            for (const targetStmt of targetSf.statements) {
+                if (ts.isTypeAliasDeclaration(targetStmt) && targetStmt.name.text === located.localName) {
+                    index.set(localName, targetStmt.type);
+                    break;
+                }
+                if (ts.isInterfaceDeclaration(targetStmt) && targetStmt.name.text === located.localName) {
+                    index.set(localName, targetStmt);
+                    break;
+                }
+            }
+        }
+    }
+    return index;
+}
+/**
+ * Inspect the type arguments of a `component<...>()` call and return
+ * the textual identifier for each known position. Returns `null` for
+ * positions whose type argument isn't a plain identifier (e.g.
+ * inline literal types, generic instantiations, namespace-qualified
+ * names). Identifiers are what the resolver can chase; everything else
+ * we leave to the local extractor's existing behavior.
+ *
+ * Order: `[State, Msg, Effect]` matching `component<State, Msg, Effect>`.
+ */
+export function readComponentTypeArgNames(call) {
+    const args = call.typeArguments;
+    const get = (i) => {
+        const t = args?.[i];
+        if (!t)
+            return null;
+        if (ts.isTypeReferenceNode(t) && ts.isIdentifier(t.typeName))
+            return t.typeName.text;
+        return null;
+    };
+    return { state: get(0), msg: get(1), effect: get(2) };
+}
+//# sourceMappingURL=cross-file-resolver.js.map

package/dist/cross-file-resolver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cross-file-resolver.js","sourceRoot":"","sources":["../src/cross-file-resolver.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAA;AAC3B,OAAO,EAGN,MAAM,sBAAsB,CAAA;AAC7B,OAAO,EAIL,oBAAoB,GACrB,MAAM,iBAAiB,CAAA;AAyDxB;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,QAAgB,EAChB,MAAc,EACd,QAAgB,EAChB,GAAmB,EACnB,UAAuB,IAAI,GAAG,EAAE;IAEhC,+DAA+D;IAC/D,8DAA8D;IAC9D,sBAAsB;IACtB,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,QAAQ,KAAK,QAAQ,EAAE,CAAC;QAAE,OAAO,IAAI,CAAA;IACxD,OAAO,CAAC,GAAG,CAAC,GAAG,QAAQ,KAAK,QAAQ,EAAE,CAAC,CAAA;IAEvC,MAAM,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;IAE9E,qEAAqE;IACrE,oEAAoE;IACpE,iEAAiE;IACjE,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;QACjC,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACnE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAA;QAClD,CAAC;QACD,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACnE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAA;QAClD,CAAC;IACH,CAAC;IAED,uDAAuD;IACvD,gEAAgE;IAChE,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;QACjC,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;YAAE,SAAQ;QAC3C,IAAI,CAAC,IAAI,CAAC,YAAY,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,YAAY,CAAC;YAAE,SAAQ;QACzE,IAAI,CAAC,IAAI,CAAC,eAAe,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,eAAe,CAAC;YAAE,SAAQ;QAEhF,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAE,CAAC;YAC9C,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAA;YACnC,IAAI,YAAY,KAAK,QAAQ;gBAAE,SAAQ;YACvC,6DAA6D;YAC7D,gEAAgE;YAChE,gCAAgC;YAChC,MAAM,UAAU,GAAG,IAAI,CAAC,YAAY,EAAE,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAA;YAC5D,MAAM,QAAQ,GAAG,MAAM,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;YAC7E,IAAI,CAAC,QAAQ;gBAAE,OAAO,IAAI,CAAA;YAC1B,MAAM,SAAS,GAAG,MAAM,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAA;YAChD,OAAO,cAAc,CAAC,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,CAAC,CAAA;QACtE,CAAC;IACH,CAAC;IAED,mEAAmE;IACnE,uEAAuE;IACvE,qEAAqE;IACrE,YAAY;IAEZ,mEAAmE;IACnE,gEAAgE;IAChE,kEAAkE;IAClE,4DAA4D;IAC5D,mEAAmE;IACnE,EAAE;IACF,oEAAoE;IACpE,iEAAiE;IACjE,mEAAmE;IACnE,mEAAmE;IACnE,kBAAkB;IAClB,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;QACjC,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;YAAE,SAAQ;QAC3C,oEAAoE;QACpE,8DAA8D;QAC9D,IAAI,IAAI,CAAC,YAAY;YAAE,SAAQ;QAC/B,IAAI,CAAC,IAAI,CAAC,eAAe,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,eAAe,CAAC;YAAE,SAAQ;QAEhF,MAAM,QAAQ,GAAG,MAAM,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;QAC7E,IAAI,CAAC,QAAQ;YAAE,SAAQ;QACvB,IAAI,SAAiB,CAAA;QACrB,IAAI,CAAC;YACH,SAAS,GAAG,MAAM,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAA;QAC5C,CAAC;QAAC,MAAM,CAAC;YACP,6DAA6D;YAC7D,oDAAoD;YACpD,SAAQ;QACV,CAAC;QACD,MAAM,KAAK,GAAG,MAAM,cAAc,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,CAAC,CAAA;QAC/E,IAAI,KAAK;YAAE,OAAO,KAAK,CAAA;IACzB,CAAC;IAED,2EAA2E;IAC3E,mEAAmE;IACnE,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;QACjC,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;YAAE,SAAQ;QAC3C,IAAI,CAAC,IAAI,CAAC,YAAY;YAAE,SAAQ;QAChC,IAAI,CAAC,IAAI,CAAC,eAAe,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,eAAe,CAAC;YAAE,SAAQ;QAEhF,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,CAAC,aAAa,CAAA;QAChD,IAAI,CAAC,QAAQ,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,QAAQ,CAAC;YAAE,SAAQ;QAEvD,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;YACrC,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAA;YAChC,IAAI,SAAS,KAAK,QAAQ;gBAAE,SAAQ;YACpC,gEAAgE;YAChE,yBAAyB;YACzB,MAAM,UAAU,GAAG,IAAI,CAAC,YAAY,EAAE,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAA;YAC5D,MAAM,QAAQ,GAAG,MAAM,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;YAC7E,IAAI,CAAC,QAAQ;gBAAE,OAAO,IAAI,CAAA;YAC1B,MAAM,SAAS,GAAG,MAAM,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAA;YAChD,OAAO,cAAc,CAAC,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,CAAC,CAAA;QACtE,CAAC;IACH,CAAC;IAED,4DAA4D;IAC5D,OAAO,IAAI,CAAA;AACb,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,CAAC,KAAK,UAAU,8BAA8B,CAClD,MAAc,EACd,QAAgB,EAChB,QAAgB,EAChB,GAAmB;IAEnB,MAAM,GAAG,GAAuC,EAAE,CAAA;IAClD,MAAM,EAAE,GAAG,MAAM,kBAAkB,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,GAAG,EAAE,CAAC,CAAA;IACpF,IAAI,CAAC,EAAE;QAAE,OAAO,IAAI,CAAA;IACpB,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAA;AACnD,CAAC;AAED,KAAK,UAAU,kBAAkB,CAC/B,QAAgB,EAChB,MAAc,EACd,QAAgB,EAChB,GAAmB,EACnB,GAAuC,EACvC,cAA2B;IAE3B,MAAM,OAAO,GAAG,MAAM,cAAc,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,GAAG,EAAE,CAAC,CAAA;IAChF,IAAI,CAAC,OAAO;QAAE,OAAO,KAAK,CAAA;IAE1B,MAAM,QAAQ,GAAG,GAAG,OAAO,CAAC,QAAQ,KAAK,OAAO,CAAC,SAAS,EAAE,CAAA;IAC5D,IAAI,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAA;IAC7C,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IAE5B,MAAM,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;IAC9F,MAAM,OAAO,GAA8B,EAAE,CAAA;IAC7C,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,EAAE;QACpB,IAAI,EAAE,CAAC,sBAAsB,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IACnD,CAAC,CAAC,CAAA;IACF,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,SAAS,CAAC,CAAA;IACpE,IAAI,CAAC,KAAK;QAAE,OAAO,KAAK,CAAA;IAExB,oEAAoE;IACpE,gEAAgE;IAChE,MAAM,WAAW,GAAkB,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC;QAC/D,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC;QACvB,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;IAEhB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5C,MAAM,MAAM,GAAG,WAAW,CAAC,CAAC,CAAE,CAAA;QAE9B,IAAI,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,CAAC;YACjC,MAAM,OAAO,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAA;YAC/C,IAAI,CAAC,OAAO;gBAAE,SAAQ;YACtB,MAAM,OAAO,GAAG,yBAAyB,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC,CAAA;YAChF,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,SAAS,EAAE,CAAC;gBAC/B,GAAG,CAAC,OAAO,CAAC,GAAG,uBAAuB,CAAC,OAAO,CAAC,CAAA;YACjD,CAAC;YACD,SAAQ;QACV,CAAC;QAED,IAAI,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;YACvE,0CAA0C;YAC1C,MAAM,kBAAkB,CACtB,MAAM,CAAC,QAAQ,CAAC,IAAI,EACpB,OAAO,CAAC,MAAM,EACd,OAAO,CAAC,QAAQ,EAChB,GAAG,EACH,GAAG,EACH,cAAc,CACf,CAAA;YACD,SAAQ;QACV,CAAC;QAED,sEAAsE;QACtE,6CAA6C;IAC/C,CAAC;IAED,OAAO,IAAI,CAAA;AACb,CAAC;AAED,SAAS,uBAAuB,CAAC,GAAuB;IACtD,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;QAC5B,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC;YAAE,SAAQ;QACxC,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,SAAQ;QAC3E,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,SAAQ;QACtD,MAAM,OAAO,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,CAAA;QAC9B,IAAI,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC;YAAE,OAAO,OAAO,CAAC,IAAI,CAAA;IACtD,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,yBAAyB,CAChC,MAAc,EACd,KAA8B,EAC9B,OAAsB,EACtB,CAAS;IAET,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;IAC3B,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAE,CAAA;IAC1B,oEAAoE;IACpE,cAAc;IACd,MAAM,QAAQ,GAAG,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAA;IACjF,MAAM,OAAO,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAA;IACnE,MAAM,MAAM,GAAG,EAAE,CAAC,uBAAuB,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,EAAE,CAAA;IAChE,MAAM,IAAI,GAAG,MAAM;SAChB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB,CAAC;SAC9D,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;SACtC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAA;IACzC,iEAAiE;IACjE,mCAAmC;IACnC,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAA;IACvB,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACxB,CAAC;AAED,SAAS,uBAAuB,CAAC,OAAe;IAC9C,IAAI,CAAC,OAAO;QAAE,OAAO,yBAAyB,EAAE,CAAA;IAChD,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,CAAC,CAAA;IACrC,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IAC1C,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IAC1C,MAAM,YAAY,GAChB,KAAK,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAA;IAC5E,OAAO;QACL,MAAM;QACN,gBAAgB,EAAE,qBAAqB,CAAC,IAAI,CAAC,OAAO,CAAC;QACrD,eAAe,EAAE,oBAAoB,CAAC,IAAI,CAAC,OAAO,CAAC;QACnD,YAAY;QACZ,QAAQ,EAAE,eAAe,CAAC,OAAO,CAAC;QAClC,OAAO,EAAE,cAAc,CAAC,OAAO,CAAC;QAChC,KAAK,EAAE,YAAY,CAAC,OAAO,CAAC;KAC7B,CAAA;AACH,CAAC;AAED,SAAS,YAAY,CAAC,OAAe;IACnC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAA;IACnD,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,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;QACd,IAAI,CAAC,KAAK,SAAS,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,SAAQ;QAC5C,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;QACX,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IACb,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,SAAS,eAAe,CAAC,OAAe;IACtC,MAAM,GAAG,GAAa,EAAE,CAAA;IACxB,MAAM,EAAE,GAAG,wCAAwC,CAAA;IACnD,IAAI,CAAyB,CAAA;IAC7B,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QACvC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACxC,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,SAAS,cAAc,CAAC,OAAe;IACrC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,uCAAuC,CAAC,CAAA;IACpE,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAA;AAC3B,CAAC;AAED,SAAS,yBAAyB;IAChC,OAAO;QACL,MAAM,EAAE,IAAI;QACZ,gBAAgB,EAAE,KAAK;QACvB,eAAe,EAAE,KAAK;QACtB,YAAY,EAAE,QAAQ;QACtB,QAAQ,EAAE,EAAE;QACZ,OAAO,EAAE,IAAI;QACb,KAAK,EAAE,EAAE;KACV,CAAA;AACH,CAAC;AAED,SAAS,aAAa,CAAC,OAAe;IACpC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,sCAAsC,CAAC,CAAA;IACnE,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAA;AAC3B,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,wCAAwC,CAC5D,MAAc,EACd,QAAgB,EAChB,QAAgB,EAChB,GAAmB;IAEnB,MAAM,QAAQ,GAA0B,EAAE,CAAA;IAC1C,MAAM,EAAE,GAAG,MAAM,qBAAqB,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,GAAG,EAAE,CAAC,CAAA;IAC5F,IAAI,CAAC,EAAE;QAAE,OAAO,IAAI,CAAA;IACpB,OAAO,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAA;AACvF,CAAC;AAED,KAAK,UAAU,qBAAqB,CAClC,QAAgB,EAChB,MAAc,EACd,QAAgB,EAChB,GAAmB,EACnB,QAA+B,EAC/B,cAA2B;IAE3B,MAAM,OAAO,GAAG,MAAM,cAAc,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,GAAG,EAAE,CAAC,CAAA;IAChF,IAAI,CAAC,OAAO;QAAE,OAAO,KAAK,CAAA;IAE1B,MAAM,QAAQ,GAAG,GAAG,OAAO,CAAC,QAAQ,KAAK,OAAO,CAAC,SAAS,EAAE,CAAA;IAC5D,IAAI,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAA;IAC7C,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IAE5B,MAAM,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;IAC9F,MAAM,OAAO,GAA8B,EAAE,CAAA;IAC7C,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,EAAE;QACpB,IAAI,EAAE,CAAC,sBAAsB,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IACnD,CAAC,CAAC,CAAA;IACF,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,SAAS,CAAC,CAAA;IACpE,IAAI,CAAC,KAAK;QAAE,OAAO,KAAK,CAAA;IAExB,MAAM,WAAW,GAAkB,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC;QAC/D,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC;QACvB,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;IAEhB,mEAAmE;IACnE,kEAAkE;IAClE,oEAAoE;IACpE,kEAAkE;IAClE,iEAAiE;IACjE,kEAAkE;IAClE,oCAAoC;IACpC,MAAM,SAAS,GAAG,MAAM,sBAAsB,CAAC,EAAE,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAA;IAEzF,KAAK,MAAM,MAAM,IAAI,WAAW,EAAE,CAAC;QACjC,IAAI,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,CAAC;YACjC,iBAAiB,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;YAC9D,SAAQ;QACV,CAAC;QACD,IAAI,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;YACvE,MAAM,qBAAqB,CACzB,MAAM,CAAC,QAAQ,CAAC,IAAI,EACpB,OAAO,CAAC,MAAM,EACd,OAAO,CAAC,QAAQ,EAChB,GAAG,EACH,QAAQ,EACR,cAAc,CACf,CAAA;YACD,SAAQ;QACV,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED,SAAS,iBAAiB,CACxB,GAAuB,EACvB,QAA+B,EAC/B,MAAc,EACd,SAAoB;IAEpB,IAAI,iBAAiB,GAAkB,IAAI,CAAA;IAC3C,MAAM,MAAM,GAA6B,EAAE,CAAA;IAC3C,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;QACjC,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC;YAAE,SAAQ;QAC9F,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAA;QAC7B,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAA;QAC9B,IAAI,IAAI,KAAK,MAAM,IAAI,UAAU,EAAE,CAAC;YAClC,IAAI,EAAE,CAAC,iBAAiB,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC/E,iBAAiB,GAAG,UAAU,CAAC,OAAO,CAAC,IAAI,CAAA;YAC7C,CAAC;YACD,SAAQ;QACV,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,GAAG,oBAAoB,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,CAAC,CAAA;IAChE,CAAC;IACD,IAAI,iBAAiB,IAAI,QAAQ,CAAC,iBAAiB,CAAC,KAAK,SAAS,EAAE,CAAC;QACnE,QAAQ,CAAC,iBAAiB,CAAC,GAAG,MAAM,CAAA;IACtC,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,KAAK,UAAU,sBAAsB,CACnC,EAAiB,EACjB,MAAc,EACd,QAAgB,EAChB,GAAmB;IAEnB,MAAM,KAAK,GAAc,IAAI,GAAG,EAAE,CAAA;IAElC,4CAA4C;IAC5C,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;QACjC,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;YACpC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAA;QACtC,CAAC;aAAM,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3C,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;QACjC,CAAC;IACH,CAAC;IAED,qEAAqE;IACrE,kEAAkE;IAClE,mDAAmD;IACnD,kEAAkE;IAClE,iEAAiE;IACjE,eAAe;IACf,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;QACjC,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;YAAE,SAAQ;QAC3C,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,EAAE,aAAa,CAAA;QAC9C,IAAI,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,KAAK,CAAC;YAAE,SAAQ;QACjD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;YAClC,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAA;YAChC,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,EAAE,IAAI,IAAI,SAAS,CAAA;YACzD,IAAI,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC;gBAAE,SAAQ;YAClC,MAAM,OAAO,GAAG,MAAM,cAAc,CAAC,YAAY,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,GAAG,EAAE,CAAC,CAAA;YACpF,IAAI,CAAC,OAAO;gBAAE,SAAQ;YACtB,MAAM,QAAQ,GAAG,EAAE,CAAC,gBAAgB,CAClC,OAAO,CAAC,QAAQ,EAChB,OAAO,CAAC,MAAM,EACd,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,CACL,CAAA;YACD,KAAK,MAAM,UAAU,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;gBAC7C,IAAI,EAAE,CAAC,sBAAsB,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,SAAS,EAAE,CAAC;oBACxF,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE,UAAU,CAAC,IAAI,CAAC,CAAA;oBACrC,MAAK;gBACP,CAAC;gBACD,IAAI,EAAE,CAAC,sBAAsB,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,SAAS,EAAE,CAAC;oBACxF,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE,UAAU,CAAC,CAAA;oBAChC,MAAK;gBACP,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAA;AACd,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,yBAAyB,CAAC,IAAuB;IAK/D,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAA;IAC/B,MAAM,GAAG,GAAG,CAAC,CAAS,EAAiB,EAAE;QACvC,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC,CAAA;QACnB,IAAI,CAAC,CAAC;YAAE,OAAO,IAAI,CAAA;QACnB,IAAI,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC;YAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAA;QACpF,OAAO,IAAI,CAAA;IACb,CAAC,CAAA;IACD,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAA;AACvD,CAAC","sourcesContent":["import ts from 'typescript'\nimport {\n  type MessageAnnotations,\n  type DispatchMode as MessageDispatchMode,\n} from './msg-annotations.js'\nimport {\n  type MsgSchema,\n  type MsgField,\n  type TypeIndex,\n  buildFieldDescriptor,\n} from './msg-schema.js'\n\n/**\n * Cross-file type resolver.\n *\n * The schema/annotation extractors (`extractMsgAnnotations`,\n * `extractMsgSchema`, `extractStateSchema`, `extractEffectSchema`) only\n * see the source string for the file currently being transformed. When\n * a developer keeps the `Msg` (or `State` / `Effect`) union in a\n * separate file and imports it where `component()` is called, those\n * extractors silently return `null` — the plugin emits no annotations,\n * runtime LAP validation is disabled, and Claude can dispatch arbitrary\n * `type` strings that fall through to `assertNever`.\n *\n * This module follows imports and re-exports to find the source file\n * that declares the requested type alias, returning that file's source\n * string + the local name of the alias there. Extractors then run\n * against that source and produce the same output they would have for\n * a co-located declaration.\n *\n * Limitations:\n *  - Composition (`type Msg = ImportedA | { type: 'b' }`): only the\n *    locally-declared variants are extracted; the imported half isn't\n *    walked recursively into. The lint rule `agent-msg-resolvable`\n *    catches this case at lint time.\n *  - Namespace imports (`import * as ns from './msg'`) and `export *`:\n *    not followed. Same lint coverage.\n *  - Generic types: not parameterized resolution; the type argument\n *    must resolve to a concrete type alias.\n */\n\nexport interface ResolveContext {\n  /**\n   * Resolve a module specifier (e.g. `'./msg'`, `'@scope/pkg'`) against\n   * the importing file's path. Returns the absolute filesystem path of\n   * the resolved module, or `null` if it cannot be resolved (the type\n   * stays unresolved and the extractor falls back to local-only mode).\n   */\n  resolveModule: (spec: string, importerPath: string) => Promise<string | null>\n  /**\n   * Read the source contents of an absolute module path. The contents\n   * are parsed by TypeScript so they should be valid TS/TSX. The plugin\n   *'s vite hook plumbs `fs/promises.readFile` here; tests provide an\n   * in-memory map.\n   */\n  readSource: (absolutePath: string) => Promise<string>\n}\n\nexport interface ResolvedTypeSource {\n  /** The full source string of the file declaring the type alias. */\n  source: string\n  /** The local name of the alias *in that file* (after rename chains). */\n  localName: string\n  /** Absolute path of the file declaring the alias (debug aid). */\n  filePath: string\n}\n\n/**\n * Walk imports + re-exports to find where a type alias is actually\n * declared. Returns the source string and local name of the alias in\n * its declaring file. Returns `null` if the chain leads to an unresolved\n * module, a re-export through `export *`, a namespace import, or a\n * dead-end (alias not declared anywhere we can see).\n */\nexport async function findTypeSource(\n  typeName: string,\n  source: string,\n  filePath: string,\n  ctx: ResolveContext,\n  visited: Set<string> = new Set(),\n): Promise<ResolvedTypeSource | null> {\n  // Cycle prevention — re-export A → A is a tight loop that some\n  // pathological re-export chains can produce. Bail rather than\n  // infinitely recurse.\n  if (visited.has(`${filePath}::${typeName}`)) return null\n  visited.add(`${filePath}::${typeName}`)\n\n  const sf = ts.createSourceFile(filePath, source, ts.ScriptTarget.Latest, true)\n\n  // 1. Local declaration wins. `type X = ...` or `interface X { ... }`\n  //    (extractors only support type aliases today, but check both so\n  //    the resolver itself isn't a footgun for future extractors).\n  for (const stmt of sf.statements) {\n    if (ts.isTypeAliasDeclaration(stmt) && stmt.name.text === typeName) {\n      return { source, localName: typeName, filePath }\n    }\n    if (ts.isInterfaceDeclaration(stmt) && stmt.name.text === typeName) {\n      return { source, localName: typeName, filePath }\n    }\n  }\n\n  // 2. Re-export with name: `export { X } from './y'` or\n  //    `export { X as Y } from './y'`. Walk to the source module.\n  for (const stmt of sf.statements) {\n    if (!ts.isExportDeclaration(stmt)) continue\n    if (!stmt.exportClause || !ts.isNamedExports(stmt.exportClause)) continue\n    if (!stmt.moduleSpecifier || !ts.isStringLiteral(stmt.moduleSpecifier)) continue\n\n    for (const spec of stmt.exportClause.elements) {\n      const exportedName = spec.name.text\n      if (exportedName !== typeName) continue\n      // The name in the source module is `propertyName` if present\n      // (e.g. `export { Msg as M } from './msg'` exports as M but the\n      // source module has it as Msg).\n      const sourceName = spec.propertyName?.text ?? spec.name.text\n      const resolved = await ctx.resolveModule(stmt.moduleSpecifier.text, filePath)\n      if (!resolved) return null\n      const subSource = await ctx.readSource(resolved)\n      return findTypeSource(sourceName, subSource, resolved, ctx, visited)\n    }\n  }\n\n  // 3. Local re-binding: `export { X } from elsewhere` shorthand was\n  //    handled above. A separate case is `import { X } from ... ; export\n  //    { X }` — the import already declares X locally, so step 5 picks\n  //    it up.\n\n  // 4. Star re-exports: `export * from './y'`. The barrel re-exports\n  //    every named member of `./y` under the same name. Walk each\n  //    barrel target and return the first hit. Order: textual order\n  //    in the source file (matches TypeScript's behaviour for\n  //    multi-barrel name collisions, where the first declared wins).\n  //\n  //    Multiple `export *` declarations are common in monorepo barrel\n  //    files (`export * from './msg'; export * from './effects'`).\n  //    Without this step, the resolver returns `null` and the plugin\n  //    silently emits empty annotations for any consumer that points\n  //    at a barrel.\n  for (const stmt of sf.statements) {\n    if (!ts.isExportDeclaration(stmt)) continue\n    // `export * from './y'` has no exportClause; `export {} from './y'`\n    // is a different beast (re-exports nothing). Skip the latter.\n    if (stmt.exportClause) continue\n    if (!stmt.moduleSpecifier || !ts.isStringLiteral(stmt.moduleSpecifier)) continue\n\n    const resolved = await ctx.resolveModule(stmt.moduleSpecifier.text, filePath)\n    if (!resolved) continue\n    let subSource: string\n    try {\n      subSource = await ctx.readSource(resolved)\n    } catch {\n      // Module path resolved but the file isn't readable (deleted,\n      // dynamic-only, etc.). Continue to the next barrel.\n      continue\n    }\n    const found = await findTypeSource(typeName, subSource, resolved, ctx, visited)\n    if (found) return found\n  }\n\n  // 5. Imports: `import { X } from './y'` or `import { X as Y } from './y'`.\n  //    Walk to the source module using the original (imported) name.\n  for (const stmt of sf.statements) {\n    if (!ts.isImportDeclaration(stmt)) continue\n    if (!stmt.importClause) continue\n    if (!stmt.moduleSpecifier || !ts.isStringLiteral(stmt.moduleSpecifier)) continue\n\n    const bindings = stmt.importClause.namedBindings\n    if (!bindings || !ts.isNamedImports(bindings)) continue\n\n    for (const elem of bindings.elements) {\n      const localName = elem.name.text\n      if (localName !== typeName) continue\n      // The remote name is `propertyName` when there's a rename, else\n      // the local name itself.\n      const remoteName = elem.propertyName?.text ?? elem.name.text\n      const resolved = await ctx.resolveModule(stmt.moduleSpecifier.text, filePath)\n      if (!resolved) return null\n      const subSource = await ctx.readSource(resolved)\n      return findTypeSource(remoteName, subSource, resolved, ctx, visited)\n    }\n  }\n\n  // Not found in this file and no import/re-export to follow.\n  return null\n}\n\n/**\n * Annotation extractor that walks composed Msg unions across files.\n *\n * Given a Msg type that may be a union of inline `{ type: 'literal' }`\n * objects AND TypeReferences (e.g.\n * `type Msg = ImportedFoo | { type: 'extra' }`), recursively follow\n * each TypeReference via `findTypeSource` and merge its variants into\n * the returned map.\n *\n * Composition + cross-file is the union of two failure modes the\n * file-local sync extractor silently mishandles. This function\n * produces the same map the runtime expects regardless of how the\n * developer organized the type declarations.\n *\n * Conflict policy: if two composed branches contribute the same\n * discriminant string (e.g. both halves declare `{ type: 'inc' }`),\n * the first one walked wins. The lint rule `agent-msg-resolvable`\n * fires before this point on most pathological cases; ESLint's\n * type-checker would flag the duplicate independently.\n */\nexport async function extractMsgAnnotationsCrossFile(\n  source: string,\n  typeName: string,\n  filePath: string,\n  ctx: ResolveContext,\n): Promise<Record<string, MessageAnnotations> | null> {\n  const out: Record<string, MessageAnnotations> = {}\n  const ok = await collectMsgVariants(typeName, source, filePath, ctx, out, new Set())\n  if (!ok) return null\n  return Object.keys(out).length === 0 ? null : out\n}\n\nasync function collectMsgVariants(\n  typeName: string,\n  source: string,\n  filePath: string,\n  ctx: ResolveContext,\n  out: Record<string, MessageAnnotations>,\n  visitedAliases: Set<string>,\n): Promise<boolean> {\n  const located = await findTypeSource(typeName, source, filePath, ctx, new Set())\n  if (!located) return false\n\n  const aliasKey = `${located.filePath}::${located.localName}`\n  if (visitedAliases.has(aliasKey)) return true\n  visitedAliases.add(aliasKey)\n\n  const sf = ts.createSourceFile(located.filePath, located.source, ts.ScriptTarget.Latest, true)\n  const aliases: ts.TypeAliasDeclaration[] = []\n  sf.forEachChild((n) => {\n    if (ts.isTypeAliasDeclaration(n)) aliases.push(n)\n  })\n  const alias = aliases.find((a) => a.name.text === located.localName)\n  if (!alias) return false\n\n  // Single-variant alias: `type Foo = { type: 'a', ... }`. Treat as a\n  // one-element union so a Msg variant can be its own type alias.\n  const memberNodes: ts.TypeNode[] = ts.isUnionTypeNode(alias.type)\n    ? [...alias.type.types]\n    : [alias.type]\n\n  for (let i = 0; i < memberNodes.length; i++) {\n    const member = memberNodes[i]!\n\n    if (ts.isTypeLiteralNode(member)) {\n      const variant = readDiscriminantLiteral(member)\n      if (!variant) continue\n      const comment = readLeadingJSDocForMember(located.source, alias, memberNodes, i)\n      if (out[variant] === undefined) {\n        out[variant] = parseMessageAnnotations(comment)\n      }\n      continue\n    }\n\n    if (ts.isTypeReferenceNode(member) && ts.isIdentifier(member.typeName)) {\n      // Composed: recurse through the resolver.\n      await collectMsgVariants(\n        member.typeName.text,\n        located.source,\n        located.filePath,\n        ctx,\n        out,\n        visitedAliases,\n      )\n      continue\n    }\n\n    // Other shapes (intersections, conditional types, namespace-qualified\n    // names) aren't followed. Lint catches this.\n  }\n\n  return true\n}\n\nfunction readDiscriminantLiteral(lit: ts.TypeLiteralNode): string | null {\n  for (const m of lit.members) {\n    if (!ts.isPropertySignature(m)) continue\n    if (!m.name || !ts.isIdentifier(m.name) || m.name.text !== 'type') continue\n    if (!m.type || !ts.isLiteralTypeNode(m.type)) continue\n    const literal = m.type.literal\n    if (ts.isStringLiteral(literal)) return literal.text\n  }\n  return null\n}\n\n/**\n * Read leading JSDoc for a union member at index `i` of `members`.\n * The JSDoc lives between the previous element's end and the current\n * element's start (or between the type alias start and the first\n * element for `i === 0`). Mirrors the logic in\n * `extractMsgAnnotations` so the cross-file path produces the same\n * output for the same input.\n */\nfunction readLeadingJSDocForMember(\n  source: string,\n  alias: ts.TypeAliasDeclaration,\n  members: ts.TypeNode[],\n  i: number,\n): string {\n  const prev = members[i - 1]\n  const member = members[i]!\n  // For non-union (single-variant) aliases the union pos is the alias\n  // body's pos.\n  const unionPos = ts.isUnionTypeNode(alias.type) ? alias.type.pos : alias.type.pos\n  const scanPos = i === 0 || prev === undefined ? unionPos : prev.end\n  const ranges = ts.getLeadingCommentRanges(source, scanPos) ?? []\n  const docs = ranges\n    .filter((r) => r.kind === ts.SyntaxKind.MultiLineCommentTrivia)\n    .map((r) => source.slice(r.pos, r.end))\n    .filter((txt) => txt.startsWith('/**'))\n  // Cut off comments that appear AFTER the member starts (rare but\n  // possible with weird formatting).\n  const _end = member.pos\n  return docs.join('\\n')\n}\n\nfunction parseMessageAnnotations(comment: string): MessageAnnotations {\n  if (!comment) return defaultMessageAnnotations()\n  const intent = readIntentTag(comment)\n  const human = /@humanOnly\\b/.test(comment)\n  const agent = /@agentOnly\\b/.test(comment)\n  const dispatchMode: MessageDispatchMode =\n    human && !agent ? 'human-only' : agent && !human ? 'agent-only' : 'shared'\n  return {\n    intent,\n    alwaysAffordable: /@alwaysAffordable\\b/.test(comment),\n    requiresConfirm: /@requiresConfirm\\b/.test(comment),\n    dispatchMode,\n    examples: readExamplesTag(comment),\n    warning: readWarningTag(comment),\n    emits: readEmitsTag(comment),\n  }\n}\n\nfunction readEmitsTag(comment: string): string[] {\n  const outer = comment.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    const v = m[1]\n    if (v === undefined || seen.has(v)) continue\n    seen.add(v)\n    out.push(v)\n  }\n  return out\n}\n\nfunction readExamplesTag(comment: string): string[] {\n  const out: string[] = []\n  const re = /@example\\s*\\(\\s*[\"“]([^\"”]*)[\"”]\\s*\\)/g\n  let m: RegExpExecArray | null\n  while ((m = re.exec(comment)) !== null) {\n    if (m[1] !== undefined) out.push(m[1])\n  }\n  return out\n}\n\nfunction readWarningTag(comment: string): string | null {\n  const match = comment.match(/@warning\\s*\\(\\s*[\"“]([^\"”]*)[\"”]\\s*\\)/)\n  return match?.[1] ?? null\n}\n\nfunction defaultMessageAnnotations(): MessageAnnotations {\n  return {\n    intent: null,\n    alwaysAffordable: false,\n    requiresConfirm: false,\n    dispatchMode: 'shared',\n    examples: [],\n    warning: null,\n    emits: [],\n  }\n}\n\nfunction readIntentTag(comment: string): string | null {\n  const match = comment.match(/@intent\\s*\\(\\s*[\"“]([^\"”]*)[\"”]\\s*\\)/)\n  return match?.[1] ?? null\n}\n\n/**\n * Cross-file companion to `extractMsgSchema` / `extractEffectSchema`.\n *\n * Discriminated-union schema extractor that follows composed\n * TypeReferences through the resolver. Same recursion shape as\n * `extractMsgAnnotationsCrossFile`, just collecting field shapes\n * instead of JSDoc annotations.\n */\nexport async function extractDiscriminatedUnionSchemaCrossFile(\n  source: string,\n  typeName: string,\n  filePath: string,\n  ctx: ResolveContext,\n): Promise<MsgSchema | null> {\n  const variants: MsgSchema['variants'] = {}\n  const ok = await collectSchemaVariants(typeName, source, filePath, ctx, variants, new Set())\n  if (!ok) return null\n  return Object.keys(variants).length === 0 ? null : { discriminant: 'type', variants }\n}\n\nasync function collectSchemaVariants(\n  typeName: string,\n  source: string,\n  filePath: string,\n  ctx: ResolveContext,\n  variants: MsgSchema['variants'],\n  visitedAliases: Set<string>,\n): Promise<boolean> {\n  const located = await findTypeSource(typeName, source, filePath, ctx, new Set())\n  if (!located) return false\n\n  const aliasKey = `${located.filePath}::${located.localName}`\n  if (visitedAliases.has(aliasKey)) return true\n  visitedAliases.add(aliasKey)\n\n  const sf = ts.createSourceFile(located.filePath, located.source, ts.ScriptTarget.Latest, true)\n  const aliases: ts.TypeAliasDeclaration[] = []\n  sf.forEachChild((n) => {\n    if (ts.isTypeAliasDeclaration(n)) aliases.push(n)\n  })\n  const alias = aliases.find((a) => a.name.text === located.localName)\n  if (!alias) return false\n\n  const memberNodes: ts.TypeNode[] = ts.isUnionTypeNode(alias.type)\n    ? [...alias.type.types]\n    : [alias.type]\n\n  // Build a typeIndex that combines this file's local types with any\n  // *imported* type aliases referenced inside the variant payloads.\n  // Without this enrichment, a field typed as `GridSorting` (declared\n  // in `./state.ts` and imported here) would resolve to `'unknown'`\n  // because the local index doesn't know about it. The synthesizer\n  // would then emit `null` and the agent would have to guess at the\n  // permissible literal-union values.\n  const typeIndex = await buildEnrichedTypeIndex(sf, located.source, located.filePath, ctx)\n\n  for (const member of memberNodes) {\n    if (ts.isTypeLiteralNode(member)) {\n      collectOneVariant(member, variants, located.source, typeIndex)\n      continue\n    }\n    if (ts.isTypeReferenceNode(member) && ts.isIdentifier(member.typeName)) {\n      await collectSchemaVariants(\n        member.typeName.text,\n        located.source,\n        located.filePath,\n        ctx,\n        variants,\n        visitedAliases,\n      )\n      continue\n    }\n  }\n  return true\n}\n\nfunction collectOneVariant(\n  lit: ts.TypeLiteralNode,\n  variants: MsgSchema['variants'],\n  source: string,\n  typeIndex: TypeIndex,\n): void {\n  let discriminantValue: string | null = null\n  const fields: Record<string, MsgField> = {}\n  for (const member of lit.members) {\n    if (!ts.isPropertySignature(member) || !member.name || !ts.isIdentifier(member.name)) continue\n    const name = member.name.text\n    const memberType = member.type\n    if (name === 'type' && memberType) {\n      if (ts.isLiteralTypeNode(memberType) && ts.isStringLiteral(memberType.literal)) {\n        discriminantValue = memberType.literal.text\n      }\n      continue\n    }\n    fields[name] = buildFieldDescriptor(member, source, typeIndex)\n  }\n  if (discriminantValue && variants[discriminantValue] === undefined) {\n    variants[discriminantValue] = fields\n  }\n}\n\n/**\n * Build a TypeIndex that includes the locally-declared types in `sf`\n * AND any types imported by name into `sf`. Following the imports\n * picks up sibling-file aliases like `GridSorting`, `ScoreMode`,\n * `ConfirmRequest` that an app commonly extracts to a state module.\n *\n * Limitations:\n *  - Only follows direct named imports (`import type { X } from './y'`).\n *    Namespace imports and `export *` aren't followed (the lint rule\n *    `agent-msg-resolvable` already catches the namespace case).\n *  - The resolved external type must itself be a type alias or\n *    interface in the target file — chained re-exports beyond the first\n *    hop fall back to `'unknown'`.\n *  - Best-effort: any failure to resolve an import is silent. The\n *    field type just stays `'unknown'` as it would have without\n *    enrichment.\n */\nasync function buildEnrichedTypeIndex(\n  sf: ts.SourceFile,\n  source: string,\n  filePath: string,\n  ctx: ResolveContext,\n): Promise<TypeIndex> {\n  const index: TypeIndex = new Map()\n\n  // 1. Locally-declared aliases / interfaces.\n  for (const stmt of sf.statements) {\n    if (ts.isTypeAliasDeclaration(stmt)) {\n      index.set(stmt.name.text, stmt.type)\n    } else if (ts.isInterfaceDeclaration(stmt)) {\n      index.set(stmt.name.text, stmt)\n    }\n  }\n\n  // 2. Walk imports and resolve named-imported types via the resolver.\n  //    Each successful resolve adds the target's declaration to the\n  //    index under the local name. Type-only imports\n  //    (`import type { X }`) are followed exactly the same as value\n  //    imports — TypeScript's `isTypeOnly` flag doesn't change the\n  //    referent.\n  for (const stmt of sf.statements) {\n    if (!ts.isImportDeclaration(stmt)) continue\n    const named = stmt.importClause?.namedBindings\n    if (!named || !ts.isNamedImports(named)) continue\n    for (const spec of named.elements) {\n      const localName = spec.name.text\n      const importedName = spec.propertyName?.text ?? localName\n      if (index.has(localName)) continue\n      const located = await findTypeSource(importedName, source, filePath, ctx, new Set())\n      if (!located) continue\n      const targetSf = ts.createSourceFile(\n        located.filePath,\n        located.source,\n        ts.ScriptTarget.Latest,\n        true,\n      )\n      for (const targetStmt of targetSf.statements) {\n        if (ts.isTypeAliasDeclaration(targetStmt) && targetStmt.name.text === located.localName) {\n          index.set(localName, targetStmt.type)\n          break\n        }\n        if (ts.isInterfaceDeclaration(targetStmt) && targetStmt.name.text === located.localName) {\n          index.set(localName, targetStmt)\n          break\n        }\n      }\n    }\n  }\n\n  return index\n}\n\n/**\n * Inspect the type arguments of a `component<...>()` call and return\n * the textual identifier for each known position. Returns `null` for\n * positions whose type argument isn't a plain identifier (e.g.\n * inline literal types, generic instantiations, namespace-qualified\n * names). Identifiers are what the resolver can chase; everything else\n * we leave to the local extractor's existing behavior.\n *\n * Order: `[State, Msg, Effect]` matching `component<State, Msg, Effect>`.\n */\nexport function readComponentTypeArgNames(call: ts.CallExpression): {\n  state: string | null\n  msg: string | null\n  effect: string | null\n} {\n  const args = call.typeArguments\n  const get = (i: number): string | null => {\n    const t = args?.[i]\n    if (!t) return null\n    if (ts.isTypeReferenceNode(t) && ts.isIdentifier(t.typeName)) return t.typeName.text\n    return null\n  }\n  return { state: get(0), msg: get(1), effect: get(2) }\n}\n"]}