svelte-docinfo 0.5.4 → 0.6.0

package/dist/analyze-core.d.ts

@@ -17,8 +17,16 @@
  * - `AnalyzeResultJson` / `OnDuplicates` / `OnDuplicatesCallback` — shared types
  *   surfaced through the main barrel directly from this module.
  * - `throwOnDuplicates` — convenience callback paired with `OnDuplicates`.
+ * - `finalizeDiagnostics` — the diagnostic boundary passes (virtual position
+ *   remap, then path normalization) in their required order; the one call for
+ *   callers assembling modules themselves.
  * - `normalizeDiagnosticPaths` — boundary helper for build-tool integrations
  *   that bypass the session and collect their own diagnostics.
+ * - `normalizeModulePathsInTypes` — output pass rewriting the absolute module
+ *   paths the checker embeds in printed type text. Runs inside `analyzeCore`;
+ *   exposed for the same reason as `normalizeDiagnosticPaths`, so a caller
+ *   assembling modules itself through `analyzeModule` can meet the same
+ *   output contract.
  *
  * @internal — module split is implementation detail; consumers go through
  * `analyze.ts` / `session.ts` for the stable surface.
@@ -33,6 +41,7 @@ import type { AnalysisLog } from './log.js';
 import { type SvelteVirtualFile } from './svelte.js';
 import { type SourceFileInfo } from './source.js';
 import { type ModuleSourceOptions } from './source-config.js';
+import type { AliasRegistry } from './typescript-extract-type-json.js';
 import { type DuplicateDeclaration } from './postprocess.js';
 /**
  * Custom callback for handling duplicate declaration names.
@@ -105,10 +114,12 @@ export declare const AnalyzeResultJson: z.ZodObject<{
         declarations: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
             kind: z.ZodLiteral<"function">;
             returnType: z.ZodOptional<z.ZodString>;
+            returnTypeInfo: z.ZodOptional<z.ZodType<import("./types.js").TypeJson, import("./types.js").TypeJson, z.core.$ZodTypeInternals<import("./types.js").TypeJson, import("./types.js").TypeJson>>>;
             returnDescription: z.ZodOptional<z.ZodString>;
             parameters: z.ZodDefault<z.ZodArray<z.ZodObject<{
                 name: z.ZodString;
                 type: z.ZodString;
+                typeInfo: z.ZodOptional<z.ZodType<import("./types.js").TypeJson, import("./types.js").TypeJson, z.core.$ZodTypeInternals<import("./types.js").TypeJson, import("./types.js").TypeJson>>>;
                 optional: z.ZodDefault<z.ZodBoolean>;
                 rest: z.ZodDefault<z.ZodBoolean>;
                 description: z.ZodOptional<z.ZodString>;
@@ -120,6 +131,7 @@ export declare const AnalyzeResultJson: z.ZodObject<{
                 parameters: z.ZodDefault<z.ZodArray<z.ZodObject<{
                     name: z.ZodString;
                     type: z.ZodString;
+                    typeInfo: z.ZodOptional<z.ZodType<import("./types.js").TypeJson, import("./types.js").TypeJson, z.core.$ZodTypeInternals<import("./types.js").TypeJson, import("./types.js").TypeJson>>>;
                     optional: z.ZodDefault<z.ZodBoolean>;
                     rest: z.ZodDefault<z.ZodBoolean>;
                     description: z.ZodOptional<z.ZodString>;
@@ -127,6 +139,7 @@ export declare const AnalyzeResultJson: z.ZodObject<{
                     propertyDescriptions: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
                 }, z.core.$strict>>>;
                 returnType: z.ZodOptional<z.ZodString>;
+                returnTypeInfo: z.ZodOptional<z.ZodType<import("./types.js").TypeJson, import("./types.js").TypeJson, z.core.$ZodTypeInternals<import("./types.js").TypeJson, import("./types.js").TypeJson>>>;
                 genericParams: z.ZodDefault<z.ZodArray<z.ZodObject<{
                     name: z.ZodString;
                     constraint: z.ZodOptional<z.ZodString>;
@@ -140,6 +153,7 @@ export declare const AnalyzeResultJson: z.ZodObject<{
                 module: z.ZodString;
                 name: z.ZodString;
             }, z.core.$strict>>;
+            internalMessage: z.ZodOptional<z.ZodString>;
             mutates: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
             partial: z.ZodDefault<z.ZodBoolean>;
             examples: z.ZodDefault<z.ZodArray<z.ZodString>>;
@@ -170,17 +184,21 @@ export declare const AnalyzeResultJson: z.ZodObject<{
             }, z.core.$strict>>>;
         }, z.core.$strict>, z.ZodObject<{
             kind: z.ZodLiteral<"class">;
-            extends: z.ZodOptional<z.ZodString>;
+            extends: z.ZodDefault<z.ZodArray<z.ZodString>>;
+            externalTypes: z.ZodDefault<z.ZodArray<z.ZodString>>;
             implements: z.ZodDefault<z.ZodArray<z.ZodString>>;
             members: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
                 kind: z.ZodLiteral<"function">;
                 name: z.ZodString;
                 optional: z.ZodDefault<z.ZodBoolean>;
+                defaultValue: z.ZodOptional<z.ZodString>;
                 returnType: z.ZodOptional<z.ZodString>;
+                returnTypeInfo: z.ZodOptional<z.ZodType<import("./types.js").TypeJson, import("./types.js").TypeJson, z.core.$ZodTypeInternals<import("./types.js").TypeJson, import("./types.js").TypeJson>>>;
                 returnDescription: z.ZodOptional<z.ZodString>;
                 parameters: z.ZodDefault<z.ZodArray<z.ZodObject<{
                     name: z.ZodString;
                     type: z.ZodString;
+                    typeInfo: z.ZodOptional<z.ZodType<import("./types.js").TypeJson, import("./types.js").TypeJson, z.core.$ZodTypeInternals<import("./types.js").TypeJson, import("./types.js").TypeJson>>>;
                     optional: z.ZodDefault<z.ZodBoolean>;
                     rest: z.ZodDefault<z.ZodBoolean>;
                     description: z.ZodOptional<z.ZodString>;
@@ -192,6 +210,7 @@ export declare const AnalyzeResultJson: z.ZodObject<{
                     parameters: z.ZodDefault<z.ZodArray<z.ZodObject<{
                         name: z.ZodString;
                         type: z.ZodString;
+                        typeInfo: z.ZodOptional<z.ZodType<import("./types.js").TypeJson, import("./types.js").TypeJson, z.core.$ZodTypeInternals<import("./types.js").TypeJson, import("./types.js").TypeJson>>>;
                         optional: z.ZodDefault<z.ZodBoolean>;
                         rest: z.ZodDefault<z.ZodBoolean>;
                         description: z.ZodOptional<z.ZodString>;
@@ -199,6 +218,7 @@ export declare const AnalyzeResultJson: z.ZodObject<{
                         propertyDescriptions: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
                     }, z.core.$strict>>>;
                     returnType: z.ZodOptional<z.ZodString>;
+                    returnTypeInfo: z.ZodOptional<z.ZodType<import("./types.js").TypeJson, import("./types.js").TypeJson, z.core.$ZodTypeInternals<import("./types.js").TypeJson, import("./types.js").TypeJson>>>;
                     genericParams: z.ZodDefault<z.ZodArray<z.ZodObject<{
                         name: z.ZodString;
                         constraint: z.ZodOptional<z.ZodString>;
@@ -207,6 +227,7 @@ export declare const AnalyzeResultJson: z.ZodObject<{
                     docComment: z.ZodOptional<z.ZodString>;
                     returnDescription: z.ZodOptional<z.ZodString>;
                 }, z.core.$strict>>>;
+                internalMessage: z.ZodOptional<z.ZodString>;
                 mutates: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
                 partial: z.ZodDefault<z.ZodBoolean>;
                 examples: z.ZodDefault<z.ZodArray<z.ZodString>>;
@@ -244,6 +265,8 @@ export declare const AnalyzeResultJson: z.ZodObject<{
                     "$derived.by": "$derived.by";
                 }>>;
                 defaultValue: z.ZodOptional<z.ZodString>;
+                typeInfo: z.ZodOptional<z.ZodType<import("./types.js").TypeJson, import("./types.js").TypeJson, z.core.$ZodTypeInternals<import("./types.js").TypeJson, import("./types.js").TypeJson>>>;
+                internalMessage: z.ZodOptional<z.ZodString>;
                 mutates: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
                 partial: z.ZodDefault<z.ZodBoolean>;
                 examples: z.ZodDefault<z.ZodArray<z.ZodString>>;
@@ -278,6 +301,7 @@ export declare const AnalyzeResultJson: z.ZodObject<{
                 parameters: z.ZodDefault<z.ZodArray<z.ZodObject<{
                     name: z.ZodString;
                     type: z.ZodString;
+                    typeInfo: z.ZodOptional<z.ZodType<import("./types.js").TypeJson, import("./types.js").TypeJson, z.core.$ZodTypeInternals<import("./types.js").TypeJson, import("./types.js").TypeJson>>>;
                     optional: z.ZodDefault<z.ZodBoolean>;
                     rest: z.ZodDefault<z.ZodBoolean>;
                     description: z.ZodOptional<z.ZodString>;
@@ -289,6 +313,7 @@ export declare const AnalyzeResultJson: z.ZodObject<{
                     parameters: z.ZodDefault<z.ZodArray<z.ZodObject<{
                         name: z.ZodString;
                         type: z.ZodString;
+                        typeInfo: z.ZodOptional<z.ZodType<import("./types.js").TypeJson, import("./types.js").TypeJson, z.core.$ZodTypeInternals<import("./types.js").TypeJson, import("./types.js").TypeJson>>>;
                         optional: z.ZodDefault<z.ZodBoolean>;
                         rest: z.ZodDefault<z.ZodBoolean>;
                         description: z.ZodOptional<z.ZodString>;
@@ -296,6 +321,7 @@ export declare const AnalyzeResultJson: z.ZodObject<{
                         propertyDescriptions: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
                     }, z.core.$strict>>>;
                     returnType: z.ZodOptional<z.ZodString>;
+                    returnTypeInfo: z.ZodOptional<z.ZodType<import("./types.js").TypeJson, import("./types.js").TypeJson, z.core.$ZodTypeInternals<import("./types.js").TypeJson, import("./types.js").TypeJson>>>;
                     genericParams: z.ZodDefault<z.ZodArray<z.ZodObject<{
                         name: z.ZodString;
                         constraint: z.ZodOptional<z.ZodString>;
@@ -304,6 +330,7 @@ export declare const AnalyzeResultJson: z.ZodObject<{
                     docComment: z.ZodOptional<z.ZodString>;
                     returnDescription: z.ZodOptional<z.ZodString>;
                 }, z.core.$strict>>>;
+                internalMessage: z.ZodOptional<z.ZodString>;
                 mutates: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
                 partial: z.ZodDefault<z.ZodBoolean>;
                 examples: z.ZodDefault<z.ZodArray<z.ZodString>>;
@@ -337,6 +364,7 @@ export declare const AnalyzeResultJson: z.ZodObject<{
                 module: z.ZodString;
                 name: z.ZodString;
             }, z.core.$strict>>;
+            internalMessage: z.ZodOptional<z.ZodString>;
             mutates: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
             partial: z.ZodDefault<z.ZodBoolean>;
             examples: z.ZodDefault<z.ZodArray<z.ZodString>>;
@@ -368,15 +396,19 @@ export declare const AnalyzeResultJson: z.ZodObject<{
         }, z.core.$strict>, z.ZodObject<{
             kind: z.ZodLiteral<"interface">;
             extends: z.ZodDefault<z.ZodArray<z.ZodString>>;
+            externalTypes: z.ZodDefault<z.ZodArray<z.ZodString>>;
             members: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
                 kind: z.ZodLiteral<"function">;
                 name: z.ZodString;
                 optional: z.ZodDefault<z.ZodBoolean>;
+                defaultValue: z.ZodOptional<z.ZodString>;
                 returnType: z.ZodOptional<z.ZodString>;
+                returnTypeInfo: z.ZodOptional<z.ZodType<import("./types.js").TypeJson, import("./types.js").TypeJson, z.core.$ZodTypeInternals<import("./types.js").TypeJson, import("./types.js").TypeJson>>>;
                 returnDescription: z.ZodOptional<z.ZodString>;
                 parameters: z.ZodDefault<z.ZodArray<z.ZodObject<{
                     name: z.ZodString;
                     type: z.ZodString;
+                    typeInfo: z.ZodOptional<z.ZodType<import("./types.js").TypeJson, import("./types.js").TypeJson, z.core.$ZodTypeInternals<import("./types.js").TypeJson, import("./types.js").TypeJson>>>;
                     optional: z.ZodDefault<z.ZodBoolean>;
                     rest: z.ZodDefault<z.ZodBoolean>;
                     description: z.ZodOptional<z.ZodString>;
@@ -388,6 +420,7 @@ export declare const AnalyzeResultJson: z.ZodObject<{
                     parameters: z.ZodDefault<z.ZodArray<z.ZodObject<{
                         name: z.ZodString;
                         type: z.ZodString;
+                        typeInfo: z.ZodOptional<z.ZodType<import("./types.js").TypeJson, import("./types.js").TypeJson, z.core.$ZodTypeInternals<import("./types.js").TypeJson, import("./types.js").TypeJson>>>;
                         optional: z.ZodDefault<z.ZodBoolean>;
                         rest: z.ZodDefault<z.ZodBoolean>;
                         description: z.ZodOptional<z.ZodString>;
@@ -395,6 +428,7 @@ export declare const AnalyzeResultJson: z.ZodObject<{
                         propertyDescriptions: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
                     }, z.core.$strict>>>;
                     returnType: z.ZodOptional<z.ZodString>;
+                    returnTypeInfo: z.ZodOptional<z.ZodType<import("./types.js").TypeJson, import("./types.js").TypeJson, z.core.$ZodTypeInternals<import("./types.js").TypeJson, import("./types.js").TypeJson>>>;
                     genericParams: z.ZodDefault<z.ZodArray<z.ZodObject<{
                         name: z.ZodString;
                         constraint: z.ZodOptional<z.ZodString>;
@@ -403,6 +437,7 @@ export declare const AnalyzeResultJson: z.ZodObject<{
                     docComment: z.ZodOptional<z.ZodString>;
                     returnDescription: z.ZodOptional<z.ZodString>;
                 }, z.core.$strict>>>;
+                internalMessage: z.ZodOptional<z.ZodString>;
                 mutates: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
                 partial: z.ZodDefault<z.ZodBoolean>;
                 examples: z.ZodDefault<z.ZodArray<z.ZodString>>;
@@ -440,6 +475,8 @@ export declare const AnalyzeResultJson: z.ZodObject<{
                     "$derived.by": "$derived.by";
                 }>>;
                 defaultValue: z.ZodOptional<z.ZodString>;
+                typeInfo: z.ZodOptional<z.ZodType<import("./types.js").TypeJson, import("./types.js").TypeJson, z.core.$ZodTypeInternals<import("./types.js").TypeJson, import("./types.js").TypeJson>>>;
+                internalMessage: z.ZodOptional<z.ZodString>;
                 mutates: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
                 partial: z.ZodDefault<z.ZodBoolean>;
                 examples: z.ZodDefault<z.ZodArray<z.ZodString>>;
@@ -474,6 +511,7 @@ export declare const AnalyzeResultJson: z.ZodObject<{
                 parameters: z.ZodDefault<z.ZodArray<z.ZodObject<{
                     name: z.ZodString;
                     type: z.ZodString;
+                    typeInfo: z.ZodOptional<z.ZodType<import("./types.js").TypeJson, import("./types.js").TypeJson, z.core.$ZodTypeInternals<import("./types.js").TypeJson, import("./types.js").TypeJson>>>;
                     optional: z.ZodDefault<z.ZodBoolean>;
                     rest: z.ZodDefault<z.ZodBoolean>;
                     description: z.ZodOptional<z.ZodString>;
@@ -485,6 +523,7 @@ export declare const AnalyzeResultJson: z.ZodObject<{
                     parameters: z.ZodDefault<z.ZodArray<z.ZodObject<{
                         name: z.ZodString;
                         type: z.ZodString;
+                        typeInfo: z.ZodOptional<z.ZodType<import("./types.js").TypeJson, import("./types.js").TypeJson, z.core.$ZodTypeInternals<import("./types.js").TypeJson, import("./types.js").TypeJson>>>;
                         optional: z.ZodDefault<z.ZodBoolean>;
                         rest: z.ZodDefault<z.ZodBoolean>;
                         description: z.ZodOptional<z.ZodString>;
@@ -492,6 +531,7 @@ export declare const AnalyzeResultJson: z.ZodObject<{
                         propertyDescriptions: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
                     }, z.core.$strict>>>;
                     returnType: z.ZodOptional<z.ZodString>;
+                    returnTypeInfo: z.ZodOptional<z.ZodType<import("./types.js").TypeJson, import("./types.js").TypeJson, z.core.$ZodTypeInternals<import("./types.js").TypeJson, import("./types.js").TypeJson>>>;
                     genericParams: z.ZodDefault<z.ZodArray<z.ZodObject<{
                         name: z.ZodString;
                         constraint: z.ZodOptional<z.ZodString>;
@@ -500,6 +540,7 @@ export declare const AnalyzeResultJson: z.ZodObject<{
                     docComment: z.ZodOptional<z.ZodString>;
                     returnDescription: z.ZodOptional<z.ZodString>;
                 }, z.core.$strict>>>;
+                internalMessage: z.ZodOptional<z.ZodString>;
                 mutates: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
                 partial: z.ZodDefault<z.ZodBoolean>;
                 examples: z.ZodDefault<z.ZodArray<z.ZodString>>;
@@ -528,11 +569,13 @@ export declare const AnalyzeResultJson: z.ZodObject<{
                     defaultType: z.ZodOptional<z.ZodString>;
                 }, z.core.$strict>>>;
             }, z.core.$strict>], "kind">>>;
+            mergedValue: z.ZodDefault<z.ZodBoolean>;
             alsoExportedFrom: z.ZodDefault<z.ZodArray<z.ZodString>>;
             aliasOf: z.ZodOptional<z.ZodObject<{
                 module: z.ZodString;
                 name: z.ZodString;
             }, z.core.$strict>>;
+            internalMessage: z.ZodOptional<z.ZodString>;
             mutates: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
             partial: z.ZodDefault<z.ZodBoolean>;
             examples: z.ZodDefault<z.ZodArray<z.ZodString>>;
@@ -563,16 +606,20 @@ export declare const AnalyzeResultJson: z.ZodObject<{
             }, z.core.$strict>>>;
         }, z.core.$strict>, z.ZodObject<{
             kind: z.ZodLiteral<"type">;
-            intersects: z.ZodDefault<z.ZodArray<z.ZodString>>;
+            externalTypes: z.ZodDefault<z.ZodArray<z.ZodString>>;
+            typeInfo: z.ZodOptional<z.ZodType<import("./types.js").TypeJson, import("./types.js").TypeJson, z.core.$ZodTypeInternals<import("./types.js").TypeJson, import("./types.js").TypeJson>>>;
             members: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
                 kind: z.ZodLiteral<"function">;
                 name: z.ZodString;
                 optional: z.ZodDefault<z.ZodBoolean>;
+                defaultValue: z.ZodOptional<z.ZodString>;
                 returnType: z.ZodOptional<z.ZodString>;
+                returnTypeInfo: z.ZodOptional<z.ZodType<import("./types.js").TypeJson, import("./types.js").TypeJson, z.core.$ZodTypeInternals<import("./types.js").TypeJson, import("./types.js").TypeJson>>>;
                 returnDescription: z.ZodOptional<z.ZodString>;
                 parameters: z.ZodDefault<z.ZodArray<z.ZodObject<{
                     name: z.ZodString;
                     type: z.ZodString;
+                    typeInfo: z.ZodOptional<z.ZodType<import("./types.js").TypeJson, import("./types.js").TypeJson, z.core.$ZodTypeInternals<import("./types.js").TypeJson, import("./types.js").TypeJson>>>;
                     optional: z.ZodDefault<z.ZodBoolean>;
                     rest: z.ZodDefault<z.ZodBoolean>;
                     description: z.ZodOptional<z.ZodString>;
@@ -584,6 +631,7 @@ export declare const AnalyzeResultJson: z.ZodObject<{
                     parameters: z.ZodDefault<z.ZodArray<z.ZodObject<{
                         name: z.ZodString;
                         type: z.ZodString;
+                        typeInfo: z.ZodOptional<z.ZodType<import("./types.js").TypeJson, import("./types.js").TypeJson, z.core.$ZodTypeInternals<import("./types.js").TypeJson, import("./types.js").TypeJson>>>;
                         optional: z.ZodDefault<z.ZodBoolean>;
                         rest: z.ZodDefault<z.ZodBoolean>;
                         description: z.ZodOptional<z.ZodString>;
@@ -591,6 +639,7 @@ export declare const AnalyzeResultJson: z.ZodObject<{
                         propertyDescriptions: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
                     }, z.core.$strict>>>;
                     returnType: z.ZodOptional<z.ZodString>;
+                    returnTypeInfo: z.ZodOptional<z.ZodType<import("./types.js").TypeJson, import("./types.js").TypeJson, z.core.$ZodTypeInternals<import("./types.js").TypeJson, import("./types.js").TypeJson>>>;
                     genericParams: z.ZodDefault<z.ZodArray<z.ZodObject<{
                         name: z.ZodString;
                         constraint: z.ZodOptional<z.ZodString>;
@@ -599,6 +648,7 @@ export declare const AnalyzeResultJson: z.ZodObject<{
                     docComment: z.ZodOptional<z.ZodString>;
                     returnDescription: z.ZodOptional<z.ZodString>;
                 }, z.core.$strict>>>;
+                internalMessage: z.ZodOptional<z.ZodString>;
                 mutates: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
                 partial: z.ZodDefault<z.ZodBoolean>;
                 examples: z.ZodDefault<z.ZodArray<z.ZodString>>;
@@ -636,6 +686,8 @@ export declare const AnalyzeResultJson: z.ZodObject<{
                     "$derived.by": "$derived.by";
                 }>>;
                 defaultValue: z.ZodOptional<z.ZodString>;
+                typeInfo: z.ZodOptional<z.ZodType<import("./types.js").TypeJson, import("./types.js").TypeJson, z.core.$ZodTypeInternals<import("./types.js").TypeJson, import("./types.js").TypeJson>>>;
+                internalMessage: z.ZodOptional<z.ZodString>;
                 mutates: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
                 partial: z.ZodDefault<z.ZodBoolean>;
                 examples: z.ZodDefault<z.ZodArray<z.ZodString>>;
@@ -670,6 +722,7 @@ export declare const AnalyzeResultJson: z.ZodObject<{
                 parameters: z.ZodDefault<z.ZodArray<z.ZodObject<{
                     name: z.ZodString;
                     type: z.ZodString;
+                    typeInfo: z.ZodOptional<z.ZodType<import("./types.js").TypeJson, import("./types.js").TypeJson, z.core.$ZodTypeInternals<import("./types.js").TypeJson, import("./types.js").TypeJson>>>;
                     optional: z.ZodDefault<z.ZodBoolean>;
                     rest: z.ZodDefault<z.ZodBoolean>;
                     description: z.ZodOptional<z.ZodString>;
@@ -681,6 +734,7 @@ export declare const AnalyzeResultJson: z.ZodObject<{
                     parameters: z.ZodDefault<z.ZodArray<z.ZodObject<{
                         name: z.ZodString;
                         type: z.ZodString;
+                        typeInfo: z.ZodOptional<z.ZodType<import("./types.js").TypeJson, import("./types.js").TypeJson, z.core.$ZodTypeInternals<import("./types.js").TypeJson, import("./types.js").TypeJson>>>;
                         optional: z.ZodDefault<z.ZodBoolean>;
                         rest: z.ZodDefault<z.ZodBoolean>;
                         description: z.ZodOptional<z.ZodString>;
@@ -688,6 +742,7 @@ export declare const AnalyzeResultJson: z.ZodObject<{
                         propertyDescriptions: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
                     }, z.core.$strict>>>;
                     returnType: z.ZodOptional<z.ZodString>;
+                    returnTypeInfo: z.ZodOptional<z.ZodType<import("./types.js").TypeJson, import("./types.js").TypeJson, z.core.$ZodTypeInternals<import("./types.js").TypeJson, import("./types.js").TypeJson>>>;
                     genericParams: z.ZodDefault<z.ZodArray<z.ZodObject<{
                         name: z.ZodString;
                         constraint: z.ZodOptional<z.ZodString>;
@@ -696,6 +751,7 @@ export declare const AnalyzeResultJson: z.ZodObject<{
                     docComment: z.ZodOptional<z.ZodString>;
                     returnDescription: z.ZodOptional<z.ZodString>;
                 }, z.core.$strict>>>;
+                internalMessage: z.ZodOptional<z.ZodString>;
                 mutates: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
                 partial: z.ZodDefault<z.ZodBoolean>;
                 examples: z.ZodDefault<z.ZodArray<z.ZodString>>;
@@ -724,11 +780,13 @@ export declare const AnalyzeResultJson: z.ZodObject<{
                     defaultType: z.ZodOptional<z.ZodString>;
                 }, z.core.$strict>>>;
             }, z.core.$strict>], "kind">>>;
+            mergedValue: z.ZodDefault<z.ZodBoolean>;
             alsoExportedFrom: z.ZodDefault<z.ZodArray<z.ZodString>>;
             aliasOf: z.ZodOptional<z.ZodObject<{
                 module: z.ZodString;
                 name: z.ZodString;
             }, z.core.$strict>>;
+            internalMessage: z.ZodOptional<z.ZodString>;
             mutates: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
             partial: z.ZodDefault<z.ZodBoolean>;
             examples: z.ZodDefault<z.ZodArray<z.ZodString>>;
@@ -766,11 +824,13 @@ export declare const AnalyzeResultJson: z.ZodObject<{
                 "$derived.by": "$derived.by";
             }>>;
             defaultValue: z.ZodOptional<z.ZodString>;
+            typeInfo: z.ZodOptional<z.ZodType<import("./types.js").TypeJson, import("./types.js").TypeJson, z.core.$ZodTypeInternals<import("./types.js").TypeJson, import("./types.js").TypeJson>>>;
             alsoExportedFrom: z.ZodDefault<z.ZodArray<z.ZodString>>;
             aliasOf: z.ZodOptional<z.ZodObject<{
                 module: z.ZodString;
                 name: z.ZodString;
             }, z.core.$strict>>;
+            internalMessage: z.ZodOptional<z.ZodString>;
             mutates: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
             partial: z.ZodDefault<z.ZodBoolean>;
             examples: z.ZodDefault<z.ZodArray<z.ZodString>>;
@@ -805,11 +865,14 @@ export declare const AnalyzeResultJson: z.ZodObject<{
                 kind: z.ZodLiteral<"function">;
                 name: z.ZodString;
                 optional: z.ZodDefault<z.ZodBoolean>;
+                defaultValue: z.ZodOptional<z.ZodString>;
                 returnType: z.ZodOptional<z.ZodString>;
+                returnTypeInfo: z.ZodOptional<z.ZodType<import("./types.js").TypeJson, import("./types.js").TypeJson, z.core.$ZodTypeInternals<import("./types.js").TypeJson, import("./types.js").TypeJson>>>;
                 returnDescription: z.ZodOptional<z.ZodString>;
                 parameters: z.ZodDefault<z.ZodArray<z.ZodObject<{
                     name: z.ZodString;
                     type: z.ZodString;
+                    typeInfo: z.ZodOptional<z.ZodType<import("./types.js").TypeJson, import("./types.js").TypeJson, z.core.$ZodTypeInternals<import("./types.js").TypeJson, import("./types.js").TypeJson>>>;
                     optional: z.ZodDefault<z.ZodBoolean>;
                     rest: z.ZodDefault<z.ZodBoolean>;
                     description: z.ZodOptional<z.ZodString>;
@@ -821,6 +884,7 @@ export declare const AnalyzeResultJson: z.ZodObject<{
                     parameters: z.ZodDefault<z.ZodArray<z.ZodObject<{
                         name: z.ZodString;
                         type: z.ZodString;
+                        typeInfo: z.ZodOptional<z.ZodType<import("./types.js").TypeJson, import("./types.js").TypeJson, z.core.$ZodTypeInternals<import("./types.js").TypeJson, import("./types.js").TypeJson>>>;
                         optional: z.ZodDefault<z.ZodBoolean>;
                         rest: z.ZodDefault<z.ZodBoolean>;
                         description: z.ZodOptional<z.ZodString>;
@@ -828,6 +892,7 @@ export declare const AnalyzeResultJson: z.ZodObject<{
                         propertyDescriptions: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
                     }, z.core.$strict>>>;
                     returnType: z.ZodOptional<z.ZodString>;
+                    returnTypeInfo: z.ZodOptional<z.ZodType<import("./types.js").TypeJson, import("./types.js").TypeJson, z.core.$ZodTypeInternals<import("./types.js").TypeJson, import("./types.js").TypeJson>>>;
                     genericParams: z.ZodDefault<z.ZodArray<z.ZodObject<{
                         name: z.ZodString;
                         constraint: z.ZodOptional<z.ZodString>;
@@ -836,6 +901,7 @@ export declare const AnalyzeResultJson: z.ZodObject<{
                     docComment: z.ZodOptional<z.ZodString>;
                     returnDescription: z.ZodOptional<z.ZodString>;
                 }, z.core.$strict>>>;
+                internalMessage: z.ZodOptional<z.ZodString>;
                 mutates: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
                 partial: z.ZodDefault<z.ZodBoolean>;
                 examples: z.ZodDefault<z.ZodArray<z.ZodString>>;
@@ -873,6 +939,8 @@ export declare const AnalyzeResultJson: z.ZodObject<{
                     "$derived.by": "$derived.by";
                 }>>;
                 defaultValue: z.ZodOptional<z.ZodString>;
+                typeInfo: z.ZodOptional<z.ZodType<import("./types.js").TypeJson, import("./types.js").TypeJson, z.core.$ZodTypeInternals<import("./types.js").TypeJson, import("./types.js").TypeJson>>>;
+                internalMessage: z.ZodOptional<z.ZodString>;
                 mutates: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
                 partial: z.ZodDefault<z.ZodBoolean>;
                 examples: z.ZodDefault<z.ZodArray<z.ZodString>>;
@@ -907,6 +975,7 @@ export declare const AnalyzeResultJson: z.ZodObject<{
                 parameters: z.ZodDefault<z.ZodArray<z.ZodObject<{
                     name: z.ZodString;
                     type: z.ZodString;
+                    typeInfo: z.ZodOptional<z.ZodType<import("./types.js").TypeJson, import("./types.js").TypeJson, z.core.$ZodTypeInternals<import("./types.js").TypeJson, import("./types.js").TypeJson>>>;
                     optional: z.ZodDefault<z.ZodBoolean>;
                     rest: z.ZodDefault<z.ZodBoolean>;
                     description: z.ZodOptional<z.ZodString>;
@@ -918,6 +987,7 @@ export declare const AnalyzeResultJson: z.ZodObject<{
                     parameters: z.ZodDefault<z.ZodArray<z.ZodObject<{
                         name: z.ZodString;
                         type: z.ZodString;
+                        typeInfo: z.ZodOptional<z.ZodType<import("./types.js").TypeJson, import("./types.js").TypeJson, z.core.$ZodTypeInternals<import("./types.js").TypeJson, import("./types.js").TypeJson>>>;
                         optional: z.ZodDefault<z.ZodBoolean>;
                         rest: z.ZodDefault<z.ZodBoolean>;
                         description: z.ZodOptional<z.ZodString>;
@@ -925,6 +995,7 @@ export declare const AnalyzeResultJson: z.ZodObject<{
                         propertyDescriptions: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
                     }, z.core.$strict>>>;
                     returnType: z.ZodOptional<z.ZodString>;
+                    returnTypeInfo: z.ZodOptional<z.ZodType<import("./types.js").TypeJson, import("./types.js").TypeJson, z.core.$ZodTypeInternals<import("./types.js").TypeJson, import("./types.js").TypeJson>>>;
                     genericParams: z.ZodDefault<z.ZodArray<z.ZodObject<{
                         name: z.ZodString;
                         constraint: z.ZodOptional<z.ZodString>;
@@ -933,6 +1004,7 @@ export declare const AnalyzeResultJson: z.ZodObject<{
                     docComment: z.ZodOptional<z.ZodString>;
                     returnDescription: z.ZodOptional<z.ZodString>;
                 }, z.core.$strict>>>;
+                internalMessage: z.ZodOptional<z.ZodString>;
                 mutates: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
                 partial: z.ZodDefault<z.ZodBoolean>;
                 examples: z.ZodDefault<z.ZodArray<z.ZodString>>;
@@ -966,6 +1038,7 @@ export declare const AnalyzeResultJson: z.ZodObject<{
                 module: z.ZodString;
                 name: z.ZodString;
             }, z.core.$strict>>;
+            internalMessage: z.ZodOptional<z.ZodString>;
             mutates: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
             partial: z.ZodDefault<z.ZodBoolean>;
             examples: z.ZodDefault<z.ZodArray<z.ZodString>>;
@@ -996,7 +1069,7 @@ export declare const AnalyzeResultJson: z.ZodObject<{
             }, z.core.$strict>>>;
         }, z.core.$strict>, z.ZodObject<{
             kind: z.ZodLiteral<"component">;
-            intersects: z.ZodDefault<z.ZodArray<z.ZodString>>;
+            externalTypes: z.ZodDefault<z.ZodArray<z.ZodString>>;
             props: z.ZodDefault<z.ZodArray<z.ZodObject<{
                 examples: z.ZodDefault<z.ZodArray<z.ZodString>>;
                 deprecatedMessage: z.ZodOptional<z.ZodString>;
@@ -1008,6 +1081,7 @@ export declare const AnalyzeResultJson: z.ZodObject<{
                 since: z.ZodOptional<z.ZodString>;
                 name: z.ZodString;
                 type: z.ZodString;
+                typeInfo: z.ZodOptional<z.ZodType<import("./types.js").TypeJson, import("./types.js").TypeJson, z.core.$ZodTypeInternals<import("./types.js").TypeJson, import("./types.js").TypeJson>>>;
                 optional: z.ZodDefault<z.ZodBoolean>;
                 description: z.ZodOptional<z.ZodString>;
                 defaultValue: z.ZodOptional<z.ZodString>;
@@ -1015,6 +1089,7 @@ export declare const AnalyzeResultJson: z.ZodObject<{
                 parameters: z.ZodOptional<z.ZodArray<z.ZodObject<{
                     name: z.ZodString;
                     type: z.ZodString;
+                    typeInfo: z.ZodOptional<z.ZodType<import("./types.js").TypeJson, import("./types.js").TypeJson, z.core.$ZodTypeInternals<import("./types.js").TypeJson, import("./types.js").TypeJson>>>;
                     optional: z.ZodDefault<z.ZodBoolean>;
                     rest: z.ZodDefault<z.ZodBoolean>;
                     description: z.ZodOptional<z.ZodString>;
@@ -1031,6 +1106,7 @@ export declare const AnalyzeResultJson: z.ZodObject<{
                 module: z.ZodString;
                 name: z.ZodString;
             }, z.core.$strict>>;
+            internalMessage: z.ZodOptional<z.ZodString>;
             mutates: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
             partial: z.ZodDefault<z.ZodBoolean>;
             examples: z.ZodDefault<z.ZodArray<z.ZodString>>;
@@ -1064,6 +1140,7 @@ export declare const AnalyzeResultJson: z.ZodObject<{
             parameters: z.ZodDefault<z.ZodArray<z.ZodObject<{
                 name: z.ZodString;
                 type: z.ZodString;
+                typeInfo: z.ZodOptional<z.ZodType<import("./types.js").TypeJson, import("./types.js").TypeJson, z.core.$ZodTypeInternals<import("./types.js").TypeJson, import("./types.js").TypeJson>>>;
                 optional: z.ZodDefault<z.ZodBoolean>;
                 rest: z.ZodDefault<z.ZodBoolean>;
                 description: z.ZodOptional<z.ZodString>;
@@ -1075,6 +1152,7 @@ export declare const AnalyzeResultJson: z.ZodObject<{
                 module: z.ZodString;
                 name: z.ZodString;
             }, z.core.$strict>>;
+            internalMessage: z.ZodOptional<z.ZodString>;
             mutates: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
             partial: z.ZodDefault<z.ZodBoolean>;
             examples: z.ZodDefault<z.ZodArray<z.ZodString>>;
@@ -1111,6 +1189,7 @@ export declare const AnalyzeResultJson: z.ZodObject<{
                 module: z.ZodString;
                 name: z.ZodString;
             }, z.core.$strict>>;
+            internalMessage: z.ZodOptional<z.ZodString>;
             mutates: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
             partial: z.ZodDefault<z.ZodBoolean>;
             examples: z.ZodDefault<z.ZodArray<z.ZodString>>;
@@ -1206,6 +1285,18 @@ export declare const AnalyzeResultJson: z.ZodObject<{
             warning: "warning";
         }>;
         kind: z.ZodLiteral<"svelte_prop_failed">;
+    }, z.core.$strict>, z.ZodObject<{
+        componentName: z.ZodString;
+        propNames: z.ZodArray<z.ZodString>;
+        file: z.ZodString;
+        line: z.ZodOptional<z.ZodNumber>;
+        column: z.ZodOptional<z.ZodNumber>;
+        message: z.ZodString;
+        severity: z.ZodEnum<{
+            error: "error";
+            warning: "warning";
+        }>;
+        kind: z.ZodLiteral<"legacy_props">;
     }, z.core.$strict>, z.ZodObject<{
         reason: z.ZodEnum<{
             not_in_program: "not_in_program";
@@ -1258,11 +1349,12 @@ export declare const AnalyzeResultJson: z.ZodObject<{
     }, z.core.$strict>, z.ZodObject<{
         tagName: z.ZodEnum<{
             default: "default";
+            deprecated: "deprecated";
             throws: "throws";
             since: "since";
             mutates: "mutates";
-            deprecated: "deprecated";
             example: "example";
+            internal: "internal";
             see: "see";
             nodocs: "nodocs";
         }>;
@@ -1331,6 +1423,17 @@ export declare const AnalyzeResultJson: z.ZodObject<{
             warning: "warning";
         }>;
         kind: z.ZodLiteral<"resolver_failed">;
+    }, z.core.$strict>, z.ZodObject<{
+        aliasName: z.ZodString;
+        file: z.ZodString;
+        line: z.ZodOptional<z.ZodNumber>;
+        column: z.ZodOptional<z.ZodNumber>;
+        message: z.ZodString;
+        severity: z.ZodEnum<{
+            error: "error";
+            warning: "warning";
+        }>;
+        kind: z.ZodLiteral<"alias_lost">;
     }, z.core.$strict>], "kind">>>;
 }, z.core.$strict>;
 export type AnalyzeResultJson = z.infer<typeof AnalyzeResultJson>;
@@ -1380,10 +1483,14 @@ export interface AnalyzeResultJsonWire {
  * `alsoExportedFrom` on returned declarations is always empty from this path —
  * cross-module re-export resolution requires all modules (`mergeReExports`
  * consumes the returned module's `reExports` in phase 2).
+ *
+ * `aliasRegistry` is optional at this boundary: direct callers assembling
+ * modules themselves get written-name recovery only, while `analyzeCore`
+ * passes the registry its pre-pass built (see `buildAliasRegistry`).
  */
 export declare const analyzeModule: (sourceFile: SourceFileInfo & {
     dependents?: ReadonlyArray<string>;
-}, program: ts.Program, options: ModuleSourceOptions, diagnostics: Array<Diagnostic>, log?: AnalysisLog) => ModuleJson | undefined;
+}, program: ts.Program, options: ModuleSourceOptions, diagnostics: Array<Diagnostic>, log?: AnalysisLog, aliasRegistry?: AliasRegistry) => ModuleJson | undefined;
 /**
  * Inputs to `analyzeCore`. The caller (one-shot wrapper or session.query)
  * is responsible for normalizing `sourceOptions`, obtaining the program,
@@ -1403,40 +1510,88 @@ export interface AnalyzeCoreInputs {
     svelteVirtualFiles: ReadonlyMap<string, SvelteVirtualFile>;
     /** Svelte file IDs whose svelte2tsx transform failed at ingest. */
     transformFailedIds?: ReadonlySet<string>;
+    /**
+     * Gated Svelte files (owned but failing `isSource` — the `internal/`
+     * convention) whose virtuals are in `svelteVirtualFiles`. Analyzed only
+     * when an emitted component alias references them, as canonical-fill
+     * context for `resolveComponentAliases` — their modules never emit and
+     * their analysis diagnostics are dropped (`partial` on the canonical
+     * propagates to the filled alias instead).
+     */
+    contextSvelteFiles?: ReadonlyArray<SourceFileInfo>;
     onDuplicates?: OnDuplicates;
     log?: AnalysisLog;
 }
+export declare const analyzeCore: (inputs: AnalyzeCoreInputs) => AnalyzeResultJson;
 /**
- * Run the two-phase analysis loop on pre-prepared inputs.
- *
- * @internal Shared two-phase orchestrator used internally by `session.query`
- * and the one-shot wrappers. Importable from `svelte-docinfo/analyze-core.js`
- * for tests and power users — not part of the stable barrel API and not
- * guaranteed across minor versions.
+ * Run the diagnostic boundary passes in their required order: virtual
+ * position remap first (`remapVirtualDiagnosticPositions`), then path
+ * normalization (`normalizeDiagnosticPaths` — it strips the virtual suffix
+ * the remap matches `file` against, so the reverse order silently keeps
+ * virtual positions). The one call for callers assembling modules themselves
+ * through `analyzeModule` / `analyzeSvelteModule`; using it makes the
+ * ordering unrepresentable instead of a contract to remember. Omit
+ * `virtualFiles` when no Svelte virtuals are in play.
  *
- * Phase 1: per-file dispatch (TS / Svelte / CSS / JSON / placeholder for
- * transform-failed Svelte). Phase 2: re-export merge, component-alias fill,
- * sort, duplicate detection. Diagnostic paths are normalized to
- * project-root-relative form before return.
- *
- * Dependents are read from `sourceFile.dependents` (caller-supplied via
- * `extractDependencies`); `analyzeCore` does not compute them. `session.query`
- * runs `computeDependents` on the owned set before invoking this.
+ * @mutates diagnostics — rewrites positions, `file`, and `message`
  */
-export declare const analyzeCore: (inputs: AnalyzeCoreInputs) => AnalyzeResultJson;
+export declare const finalizeDiagnostics: (diagnostics: Array<Diagnostic>, options: {
+    projectRoot: string;
+    virtualFiles?: Iterable<SvelteVirtualFile>;
+}) => void;
 /**
- * Normalize `Diagnostic.file` to project-root-relative form, in place.
+ * Normalize the paths a `Diagnostic` carries to project-root-relative form,
+ * in place.
  *
  * Producers inside the analysis pipeline can write absolute paths or virtual
  * paths (svelte2tsx output like `Foo.svelte.__svelte2tsx__.ts`). This pass
  * collapses both to the public contract: a path relative to `projectRoot`
- * with no leading slash and no `./` prefix.
+ * with no leading slash and no `./` prefix. A file outside the root gets the
+ * `../` form, matching module paths in printed type text — and making the
+ * documented "rejoin with `projectRoot` to get an absolute path" actually
+ * hold for it, which dropping the leading slash did not.
+ *
+ * `message` gets the same treatment as `file`, by textual substitution. A
+ * message is free-form, and not every path in one comes from a field this
+ * pass can see — `import_parse_failed` wraps an es-module-lexer error that
+ * embeds the file name itself. Scrubbing here means the contract holds for
+ * the whole record rather than one field, so a producer can't reintroduce an
+ * absolute path through prose.
  *
  * Exposed for build-tool integrations that bypass the session and collect
  * their own discovery/dep diagnostics — they need the same normalization to
- * match the public contract.
+ * match the public contract. **Hand it absolute paths.** An already-relative
+ * `file` is left alone (relativizing it would resolve against `cwd`), so this
+ * pass can only correct the absolute form — a relative path on a base other
+ * than the project root passes through and ships as-is.
  *
- * @mutates diagnostics — rewrites each diagnostic's `file` field
+ * @mutates diagnostics — rewrites each diagnostic's `file` and `message`
+ * @see `finalizeDiagnostics` — when Svelte virtuals are in play, the position
+ * remap must run before this pass (it strips the suffix the remap matches on)
  */
 export declare const normalizeDiagnosticPaths: (diagnostics: Array<Diagnostic>, projectRoot: string) => void;
+/**
+ * Normalize the absolute module paths TypeScript embeds in printed type text,
+ * in place.
+ *
+ * The checker prints a module object as `typeof import("<absolute path>")`,
+ * which reaches output through every checker-printed field — `typeSignature`
+ * on declarations and members, `returnType`, and the `text`/`name` of a
+ * `TypeJson` node. Left alone it makes output machine-dependent (two checkouts
+ * of the same source produce different bytes), publishes local filesystem
+ * paths on any site that renders `typeSignature`, and exposes the svelte2tsx
+ * virtual suffix that `stripVirtualSuffix` exists to hide.
+ *
+ * A path that resolves to a module in this output is rewritten to that
+ * module's `ModuleJson.path`, so the string doubles as a lookup key: a
+ * consumer linkifies with `modules.find((m) => m.path === s)` and reads a miss
+ * as "not a module here." See `createModulePathNormalizer` for the remaining
+ * tiers.
+ *
+ * Runs as a whole-output pass rather than at the ~20 `typeToString` /
+ * `signatureToString` call sites, so a new printing site can't miss it.
+ *
+ * @mutates modules — rewrites printed type text on declarations and members
+ */
+export declare const normalizeModulePathsInTypes: (modules: Array<ModuleJson>, options: ModuleSourceOptions, program: ts.Program) => void;
 //# sourceMappingURL=analyze-core.d.ts.map