svelte-docinfo 0.7.0 → 0.8.0

package/dist/typescript-extract-shared.d.ts

@@ -76,7 +76,7 @@ export declare const createExtractContext: (program: ts.Program, checker: ts.Typ
  * at all, so every `undefined` in the type is author-written and stripping
  * would corrupt it: `x?: T | undefined` trimmed to `T`, `x?: T | null |
  * undefined` to `T | null`, and a null-free multi-member union rebuilt through
- * `getNonNullableType` (`x?: E | F` printed as `(E & {}) | (F & {})`).
+ * `getNonNullableType` (`x?: E | F` printed as `NonNullable<E> | NonNullable<F>`).
  *
  * Property sites only — component props, type-alias and interface properties,
  * class properties. Optional *parameters* and optional *tuple elements* widen
@@ -135,6 +135,10 @@ export declare const getLocalExportStatement: (exportSymbol: ts.Symbol, sourceFi
  * call here on a `ValueModule` symbol would fall through to `'variable'` and
  * leak `typeof import("/abs/path")` into the output — keep the namespace
  * dispatch in `analyzeExports`.
+ *
+ * Standalone `namespace Foo {}` declarations aren't modeled: they fall through
+ * to `'variable'` and document as `typeof Foo` (or `any` for a type-only
+ * namespace) with no members.
  */
 export declare const inferDeclarationKind: (symbol: ts.Symbol, node: ts.Node) => DeclarationKind;
 /**
@@ -150,7 +154,9 @@ export declare const inferDeclarationKind: (symbol: ts.Symbol, node: ts.Node) =>
  * selected instead; value-space kinds (and unmerged symbols) keep the
  * `valueDeclaration`-first selection. The merged value meaning goes
  * undocumented under the one-declaration-per-export-name model — the type is
- * what consumers look up.
+ * what consumers look up. A class+interface merge resolves value-space
+ * (`class`), so it documents the class with no doc fallback and no
+ * `mergedValue` marker — a class already implies value+type.
  */
 export declare const selectDeclarationNode: (symbol: ts.Symbol) => ts.Declaration | undefined;
 /**
@@ -175,7 +181,14 @@ export declare const selectDeclarationNode: (symbol: ts.Symbol) => ts.Declaratio
  *
  * Applies to the structured fields only. A callable's `typeSignature` comes from
  * `checker.signatureToString`, which has no flag to omit the widening, so it renders
- * optional parameters as the checker does — `(a?: number | undefined): void`.
+ * optional parameters as the checker does — `(a?: number | undefined): void`. The strip
+ * is top-level only, so an optional property nested in a printed object type keeps its
+ * widening too (`b: {c?: boolean}` → `"{ c?: boolean | undefined; }"`).
+ *
+ * The result is the checker's canonical rendering, not what an editor shows on hover:
+ * the language service prints from the declaration node, so for an alias-lost
+ * `type Foo = z.infer<typeof S>` (any alias over an indexed access or conditional) hover
+ * reads `Foo` while this carries the expanded, possibly truncated, structure.
  *
  * A non-union optional is printed as written, since there's no widening member to
  * remove: `x?: undefined` stays `"undefined"` (stripping would leave `never`, the same
@@ -222,11 +235,12 @@ export declare const getTypeSignature: (type: ts.Type, checker: ts.TypeChecker,
  * under `exactOptionalPropertyTypes` a written `fn?: (() => void) | undefined`
  * classifies callable like `fn?: () => void` (that spelling is often forced
  * there — assigning a possibly-`undefined` handler to the property requires
- * it). `| null` stays demoted per the paragraph above — `null` is a real value
- * absence doesn't imply. The printed and structured outputs still gate their
- * strips on `optionalWidened`, where a written `undefined` is content. On the
- * method sites the strip is identity under the flag anyway — method syntax
- * can't write `| undefined`.
+ * it). Two cases stay non-callable and land as `kind: 'variable'` with the
+ * union kept: `| null` (a real value, per the paragraph above) and a
+ * *required* property's written `undefined` (nothing else carries it; `false`
+ * here is identity). The printed and structured outputs still gate their
+ * strips on `optionalWidened`, where a written `undefined` is content; on
+ * method sites the gate is moot, since method syntax can't write `| undefined`.
  */
 export declare const getNonOptionalType: (type: ts.Type, checker: ts.TypeChecker, optional: boolean) => ts.Type;
 /**
@@ -305,10 +319,10 @@ export declare const populatePropertyMember: (member: MemberJsonBuild, propType:
  * The one visibility rule, shared by the two ways a class's members reach
  * output: `extractClassInfo` walking `node.members` at the class's own
  * declaration, and `filterDocumentedProperties` projecting a class *type* at a
- * structural container (`type X = LocalClass`, and since generic
- * instantiations extract, `type X = LocalGen<string>`). Held in one place
- * because the two paths disagreeing is what let `#` fields reach `members`
- * through an alias while the class itself dropped them.
+ * structural container (`type X = LocalClass`, `type X = LocalGen<string>`).
+ * Held in one place so an alias over a class hides exactly what the class
+ * hides — the two paths disagreeing would leak `#` fields into `members`
+ * through the alias.
  *
  * `protected` is deliberately not private: it is part of the extension API a
  * subclass author documents against. Only classes can declare either form —
@@ -380,6 +394,12 @@ export declare const filterDocumentedProperties: (type: ts.Type, typeNode: ts.No
  * Only `extends` entries are passed by either caller: an interface has no
  * other clause kind, and a class's `implements` adds no members.
  *
+ * Scoped to the processed declaration's own heritage clauses — the same node
+ * `extends` and `members` come from — so on a merged interface only the
+ * selected block contributes, while a reference to that interface elsewhere
+ * descends every block. The three fields stay consistent with each other rather
+ * than with the descent.
+ *
  * @mutates declaration - sets `externalTypes` when the walk finds any, left absent when not
  */
 export declare const applyHeritageExternalTypes: (declaration: DeclarationJsonBuild, heritageTypes: ReadonlyArray<ts.ExpressionWithTypeArguments>, ctx: ExtractContext) => void;

package/dist/typescript-extract-shared.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"typescript-extract-shared.d.ts","sourceRoot":"../src/lib/","sources":["../src/lib/typescript-extract-shared.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,KAAK,EACX,gBAAgB,EAChB,eAAe,EACf,mBAAmB,EAEnB,aAAa,EAEb,UAAU,EAEV,MAAM,YAAY,CAAC;AACpB,OAAO,KAAK,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACpF,OAAO,EAAE,KAAK,UAAU,EAA+B,MAAM,kBAAkB,CAAC;AAGhF,OAAO,EAAoC,KAAK,kBAAkB,EAAE,MAAM,YAAY,CAAC;AACvF,OAAO,EAIN,KAAK,aAAa,EAClB,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAAwB,KAAK,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACpF,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAE9D;;;;;;;;;;GAUG;AACH,MAAM,WAAW,cAAc;IAC9B,OAAO,EAAE,EAAE,CAAC,WAAW,CAAC;IACxB,uFAAuF;IACvF,WAAW,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;IAC/B,oFAAoF;IACpF,cAAc,EAAE,cAAc,CAAC;IAC/B;;;;;;OAMG;IACH,aAAa,EAAE,aAAa,GAAG,SAAS,CAAC;IACzC;;;;;OAKG;IACH,0BAA0B,EAAE,OAAO,CAAC;CACpC;AAED;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,oBAAoB,GAChC,SAAS,EAAE,CAAC,OAAO,EACnB,SAAS,EAAE,CAAC,WAAW,EACvB,SAAS,mBAAmB,EAC5B,aAAa,KAAK,CAAC,UAAU,CAAC,EAC9B,eAAe,aAAa,GAAG,SAAS,KACtC,cAMD,CAAC;AAEH;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,eAAe,GAAI,KAAK,cAAc,EAAE,UAAU,OAAO,KAAG,OAC7B,CAAC;AAE7C;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,gBAAgB,GAAI,QAAQ,EAAE,CAAC,MAAM,EAAE,UAAU,MAAM,KAAG,OAItE,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,uBAAuB,GACnC,cAAc,EAAE,CAAC,MAAM,EACvB,YAAY,EAAE,CAAC,UAAU,KAEvB;IAAE,IAAI,EAAE,EAAE,CAAC,eAAe,GAAG,EAAE,CAAC,eAAe,CAAC;IAAC,SAAS,EAAE,EAAE,CAAC,iBAAiB,CAAA;CAAE,GAClF,SAcF,CAAC;AAEF;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,oBAAoB,GAAI,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,IAAI,KAAG,eA0BvE,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,qBAAqB,GAAI,QAAQ,EAAE,CAAC,MAAM,KAAG,EAAE,CAAC,WAAW,GAAG,SAgB1E,CAAC;AAKF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,eAAO,MAAM,gBAAgB,GAC5B,MAAM,EAAE,CAAC,IAAI,EACb,SAAS,EAAE,CAAC,WAAW,EACvB,UAAU,OAAO,KACf,MAOF,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AACH,eAAO,MAAM,kBAAkB,GAC9B,MAAM,EAAE,CAAC,IAAI,EACb,SAAS,EAAE,CAAC,WAAW,EACvB,UAAU,OAAO,KACf,EAAE,CAAC,IAA8D,CAAC;AAErE;;;;;;;;;;GAUG;AACH,eAAO,MAAM,0BAA0B,GACtC,KAAK,EAAE,CAAC,SAAS,EACjB,KAAK,cAAc,EACnB,aAAa,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,SAAS,KAC7C,KAAK,CAAC,aAAa,CAgErB,CAAC;AAsLF;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,eAAO,MAAM,sBAAsB,GAClC,QAAQ,oBAAoB,GAAG,eAAe,EAC9C,YAAY,aAAa,CAAC,EAAE,CAAC,SAAS,CAAC,EACvC,KAAK,cAAc,EACnB,OAAO,kBAAkB,GAAG,SAAS,EACrC,qBAAqB,EAAE,CAAC,IAAI,EAC5B,MAAM,MAAM,EACZ,uBAAoB,KAClB,IAiBF,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,cAAc,GAAI,MAAM,EAAE,CAAC,YAAY,KAAG,MAAM,GAAG,SAGnD,CAAC;AAEd;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,eAAO,MAAM,sBAAsB,GAClC,QAAQ,eAAe,EACvB,UAAU,EAAE,CAAC,IAAI,EACjB,KAAK,cAAc,EACnB,UAAU,OAAO,EACjB,OAAO,kBAAkB,GAAG,SAAS,EACrC,qBAAqB,EAAE,CAAC,IAAI,EAC5B,MAAM,MAAM,EACZ,YAAY,EAAE,CAAC,QAAQ,GAAG,SAAS,KACjC,IA4CF,CAAC;AA0CF;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,0BAA0B,GAAI,MAAM,EAAE,CAAC,WAAW,KAAG,OAOjE,CAAC;AAeF;;;;;;;;GAQG;AACH,eAAO,MAAM,mBAAmB,GAAI,MAAM,EAAE,CAAC,SAAS,EAAE,gBAAgB,cAAc,KAAG,OACjC,CAAC;AAEzD;;;;;GAKG;AACH,eAAO,MAAM,mBAAmB,GAAI,KAAK,EAAE,CAAC,SAAS,EAAE,gBAAgB,cAAc,KAAG,OACjC,CAAC;AAijBxD;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,eAAO,MAAM,0BAA0B,GACtC,MAAM,EAAE,CAAC,IAAI,EACb,UAAU,EAAE,CAAC,IAAI,EACjB,SAAS,EAAE,CAAC,WAAW,EACvB,gBAAgB,cAAc,KAC5B;IAAE,UAAU,EAAE,KAAK,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;IAAC,aAAa,EAAE,KAAK,CAAC,MAAM,CAAC,CAAA;CAkB9D,CAAC;AAEF;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,0BAA0B,GACtC,aAAa,oBAAoB,EACjC,eAAe,aAAa,CAAC,EAAE,CAAC,2BAA2B,CAAC,EAC5D,KAAK,cAAc,KACjB,IAQF,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,gBAAgB,GAC5B,aAAa,EAAE,CAAC,UAAU,GAAG,SAAS,KACpC,UAAU,GAAG,SA+Bf,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,eAAe,GAAI,MAAM,EAAE,CAAC,IAAI,KAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAQ3F,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,iBAAiB,GAAI,OAAO,EAAE,CAAC,wBAAwB,KAAG,gBActE,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,GAC5B,WAAW,aAAa,CAAC,EAAE,CAAC,YAAY,CAAC,GAAG,SAAS,KACnD,KAAK,CAAC,mBAAmB,CAa3B,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,eAAO,MAAM,4BAA4B,GACxC,eAAe,MAAM,aAAa,CAAC,EAAE,CAAC,SAAS,CAAC,EAChD,eAAe,MAAM,GAAG,WAAW,EACnC,kBAAkB,CAAC,GAAG,EAAE,EAAE,CAAC,SAAS,KAAK,EAAE,CAAC,IAAI,GAAG,SAAS,EAC5D,6BAA6B,EAAE,CAAC,IAAI,EACpC,aAAa,oBAAoB,EACjC,KAAK,cAAc,EACnB,cAAc;IAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,KAChD,IAkDF,CAAC"}
+{"version":3,"file":"typescript-extract-shared.d.ts","sourceRoot":"../src/lib/","sources":["../src/lib/typescript-extract-shared.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,KAAK,EACX,gBAAgB,EAChB,eAAe,EACf,mBAAmB,EAEnB,aAAa,EAEb,UAAU,EAEV,MAAM,YAAY,CAAC;AACpB,OAAO,KAAK,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACpF,OAAO,EAAE,KAAK,UAAU,EAA+B,MAAM,kBAAkB,CAAC;AAGhF,OAAO,EAAoC,KAAK,kBAAkB,EAAE,MAAM,YAAY,CAAC;AACvF,OAAO,EAIN,KAAK,aAAa,EAClB,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAAwB,KAAK,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACpF,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAE9D;;;;;;;;;;GAUG;AACH,MAAM,WAAW,cAAc;IAC9B,OAAO,EAAE,EAAE,CAAC,WAAW,CAAC;IACxB,uFAAuF;IACvF,WAAW,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;IAC/B,oFAAoF;IACpF,cAAc,EAAE,cAAc,CAAC;IAC/B;;;;;;OAMG;IACH,aAAa,EAAE,aAAa,GAAG,SAAS,CAAC;IACzC;;;;;OAKG;IACH,0BAA0B,EAAE,OAAO,CAAC;CACpC;AAED;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,oBAAoB,GAChC,SAAS,EAAE,CAAC,OAAO,EACnB,SAAS,EAAE,CAAC,WAAW,EACvB,SAAS,mBAAmB,EAC5B,aAAa,KAAK,CAAC,UAAU,CAAC,EAC9B,eAAe,aAAa,GAAG,SAAS,KACtC,cAMD,CAAC;AAEH;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,eAAe,GAAI,KAAK,cAAc,EAAE,UAAU,OAAO,KAAG,OAC7B,CAAC;AAE7C;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,gBAAgB,GAAI,QAAQ,EAAE,CAAC,MAAM,EAAE,UAAU,MAAM,KAAG,OAItE,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,uBAAuB,GACnC,cAAc,EAAE,CAAC,MAAM,EACvB,YAAY,EAAE,CAAC,UAAU,KAEvB;IAAE,IAAI,EAAE,EAAE,CAAC,eAAe,GAAG,EAAE,CAAC,eAAe,CAAC;IAAC,SAAS,EAAE,EAAE,CAAC,iBAAiB,CAAA;CAAE,GAClF,SAcF,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,eAAO,MAAM,oBAAoB,GAAI,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,IAAI,KAAG,eA0BvE,CAAC;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,qBAAqB,GAAI,QAAQ,EAAE,CAAC,MAAM,KAAG,EAAE,CAAC,WAAW,GAAG,SAgB1E,CAAC;AAKF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4CG;AACH,eAAO,MAAM,gBAAgB,GAC5B,MAAM,EAAE,CAAC,IAAI,EACb,SAAS,EAAE,CAAC,WAAW,EACvB,UAAU,OAAO,KACf,MAOF,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AACH,eAAO,MAAM,kBAAkB,GAC9B,MAAM,EAAE,CAAC,IAAI,EACb,SAAS,EAAE,CAAC,WAAW,EACvB,UAAU,OAAO,KACf,EAAE,CAAC,IAA8D,CAAC;AAErE;;;;;;;;;;GAUG;AACH,eAAO,MAAM,0BAA0B,GACtC,KAAK,EAAE,CAAC,SAAS,EACjB,KAAK,cAAc,EACnB,aAAa,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,SAAS,KAC7C,KAAK,CAAC,aAAa,CAgErB,CAAC;AAoLF;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,eAAO,MAAM,sBAAsB,GAClC,QAAQ,oBAAoB,GAAG,eAAe,EAC9C,YAAY,aAAa,CAAC,EAAE,CAAC,SAAS,CAAC,EACvC,KAAK,cAAc,EACnB,OAAO,kBAAkB,GAAG,SAAS,EACrC,qBAAqB,EAAE,CAAC,IAAI,EAC5B,MAAM,MAAM,EACZ,uBAAoB,KAClB,IAiBF,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,cAAc,GAAI,MAAM,EAAE,CAAC,YAAY,KAAG,MAAM,GAAG,SAGnD,CAAC;AAEd;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,eAAO,MAAM,sBAAsB,GAClC,QAAQ,eAAe,EACvB,UAAU,EAAE,CAAC,IAAI,EACjB,KAAK,cAAc,EACnB,UAAU,OAAO,EACjB,OAAO,kBAAkB,GAAG,SAAS,EACrC,qBAAqB,EAAE,CAAC,IAAI,EAC5B,MAAM,MAAM,EACZ,YAAY,EAAE,CAAC,QAAQ,GAAG,SAAS,KACjC,IA4CF,CAAC;AA0CF;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,0BAA0B,GAAI,MAAM,EAAE,CAAC,WAAW,KAAG,OAOjE,CAAC;AAeF;;;;;;;;GAQG;AACH,eAAO,MAAM,mBAAmB,GAAI,MAAM,EAAE,CAAC,SAAS,EAAE,gBAAgB,cAAc,KAAG,OACjC,CAAC;AAEzD;;;;;GAKG;AACH,eAAO,MAAM,mBAAmB,GAAI,KAAK,EAAE,CAAC,SAAS,EAAE,gBAAgB,cAAc,KAAG,OACjC,CAAC;AAojBxD;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,eAAO,MAAM,0BAA0B,GACtC,MAAM,EAAE,CAAC,IAAI,EACb,UAAU,EAAE,CAAC,IAAI,EACjB,SAAS,EAAE,CAAC,WAAW,EACvB,gBAAgB,cAAc,KAC5B;IAAE,UAAU,EAAE,KAAK,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;IAAC,aAAa,EAAE,KAAK,CAAC,MAAM,CAAC,CAAA;CAkB9D,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,eAAO,MAAM,0BAA0B,GACtC,aAAa,oBAAoB,EACjC,eAAe,aAAa,CAAC,EAAE,CAAC,2BAA2B,CAAC,EAC5D,KAAK,cAAc,KACjB,IAQF,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,gBAAgB,GAC5B,aAAa,EAAE,CAAC,UAAU,GAAG,SAAS,KACpC,UAAU,GAAG,SA+Bf,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,eAAe,GAAI,MAAM,EAAE,CAAC,IAAI,KAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAQ3F,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,iBAAiB,GAAI,OAAO,EAAE,CAAC,wBAAwB,KAAG,gBActE,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,GAC5B,WAAW,aAAa,CAAC,EAAE,CAAC,YAAY,CAAC,GAAG,SAAS,KACnD,KAAK,CAAC,mBAAmB,CAa3B,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,eAAO,MAAM,4BAA4B,GACxC,eAAe,MAAM,aAAa,CAAC,EAAE,CAAC,SAAS,CAAC,EAChD,eAAe,MAAM,GAAG,WAAW,EACnC,kBAAkB,CAAC,GAAG,EAAE,EAAE,CAAC,SAAS,KAAK,EAAE,CAAC,IAAI,GAAG,SAAS,EAC5D,6BAA6B,EAAE,CAAC,IAAI,EACpC,aAAa,oBAAoB,EACjC,KAAK,cAAc,EACnB,cAAc;IAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,KAChD,IAkDF,CAAC"}

package/dist/typescript-extract-shared.js

@@ -14,7 +14,7 @@
  */
 import ts from 'typescript';
 import {} from './diagnostics.js';
-import { to_error_message } from './error.js';
+import { toErrorMessage } from './error.js';
 import { stripVirtualSuffix } from './source.js';
 import { applyToDeclaration, parseComment } from './tsdoc.js';
 import { specifierExportedName, optionalWideningTarget, resolveTypeInfo } from './typescript-extract-type-json.js';
@@ -48,7 +48,7 @@ export const createExtractContext = (program, checker, options, diagnostics, ali
  * at all, so every `undefined` in the type is author-written and stripping
  * would corrupt it: `x?: T | undefined` trimmed to `T`, `x?: T | null |
  * undefined` to `T | null`, and a null-free multi-member union rebuilt through
- * `getNonNullableType` (`x?: E | F` printed as `(E & {}) | (F & {})`).
+ * `getNonNullableType` (`x?: E | F` printed as `NonNullable<E> | NonNullable<F>`).
  *
  * Property sites only — component props, type-alias and interface properties,
  * class properties. Optional *parameters* and optional *tuple elements* widen
@@ -126,6 +126,10 @@ export const getLocalExportStatement = (exportSymbol, sourceFile) => {
  * call here on a `ValueModule` symbol would fall through to `'variable'` and
  * leak `typeof import("/abs/path")` into the output — keep the namespace
  * dispatch in `analyzeExports`.
+ *
+ * Standalone `namespace Foo {}` declarations aren't modeled: they fall through
+ * to `'variable'` and document as `typeof Foo` (or `any` for a type-only
+ * namespace) with no members.
  */
 export const inferDeclarationKind = (symbol, node) => {
     // Check symbol flags
@@ -175,7 +179,9 @@ export const inferDeclarationKind = (symbol, node) => {
  * selected instead; value-space kinds (and unmerged symbols) keep the
  * `valueDeclaration`-first selection. The merged value meaning goes
  * undocumented under the one-declaration-per-export-name model — the type is
- * what consumers look up.
+ * what consumers look up. A class+interface merge resolves value-space
+ * (`class`), so it documents the class with no doc fallback and no
+ * `mergedValue` marker — a class already implies value+type.
  */
 export const selectDeclarationNode = (symbol) => {
     // Class/Function flags win in inferDeclarationKind, so only a flag set
@@ -221,7 +227,14 @@ const UNDEFINED_UNION_SUFFIX = ' | undefined';
  *
  * Applies to the structured fields only. A callable's `typeSignature` comes from
  * `checker.signatureToString`, which has no flag to omit the widening, so it renders
- * optional parameters as the checker does — `(a?: number | undefined): void`.
+ * optional parameters as the checker does — `(a?: number | undefined): void`. The strip
+ * is top-level only, so an optional property nested in a printed object type keeps its
+ * widening too (`b: {c?: boolean}` → `"{ c?: boolean | undefined; }"`).
+ *
+ * The result is the checker's canonical rendering, not what an editor shows on hover:
+ * the language service prints from the declaration node, so for an alias-lost
+ * `type Foo = z.infer<typeof S>` (any alias over an indexed access or conditional) hover
+ * reads `Foo` while this carries the expanded, possibly truncated, structure.
  *
  * A non-union optional is printed as written, since there's no widening member to
  * remove: `x?: undefined` stays `"undefined"` (stripping would leave `never`, the same
@@ -275,11 +288,12 @@ export const getTypeSignature = (type, checker, optional) => {
  * under `exactOptionalPropertyTypes` a written `fn?: (() => void) | undefined`
  * classifies callable like `fn?: () => void` (that spelling is often forced
  * there — assigning a possibly-`undefined` handler to the property requires
- * it). `| null` stays demoted per the paragraph above — `null` is a real value
- * absence doesn't imply. The printed and structured outputs still gate their
- * strips on `optionalWidened`, where a written `undefined` is content. On the
- * method sites the strip is identity under the flag anyway — method syntax
- * can't write `| undefined`.
+ * it). Two cases stay non-callable and land as `kind: 'variable'` with the
+ * union kept: `| null` (a real value, per the paragraph above) and a
+ * *required* property's written `undefined` (nothing else carries it; `false`
+ * here is identity). The printed and structured outputs still gate their
+ * strips on `optionalWidened`, where a written `undefined` is content; on
+ * method sites the gate is moot, since method syntax can't write `| undefined`.
  */
 export const getNonOptionalType = (type, checker, optional) => optionalWideningTarget(type, checker, optional).target;
 /**
@@ -450,14 +464,12 @@ const applyReturnType = (target, sig, ctx) => {
  * `returnDescription`. These are signature-scope: each overload may
  * describe its own parameters and return value distinctly.
  *
- * Symbol-scope tags (`@example`, `@deprecated`, `@internal`, `@since`, `@see`,
- * `@throws`, `@mutates`) describe the function as a whole and belong on the parent
+ * Symbol-scope tags describe the function as a whole and belong on the parent
  * declaration. The primary overload — the one whose JSDoc text matches the
- * parent's `docComment` — already feeds the parent's symbol-level extraction,
- * so its symbol-scope tags reach the parent through that path. On non-primary
- * overloads, symbol-scope tags would otherwise be silently dropped from
- * output; this function emits a `misplaced_tag` warning instead, pointing the
- * author at the primary signature.
+ * parent's `docComment` — already feeds the parent's symbol-level extraction.
+ * Tags on non-primary overloads are still dropped, but not silently: this
+ * function emits `misplaced_tag` for each (tag set and rationale on
+ * `MisplacedTagDiagnostic`).
  *
  * @param signatures - all call signatures from the type checker
  * @param ctx - the extraction pass's context
@@ -487,10 +499,10 @@ const extractOverloads = (signatures, ctx, parentTsdoc, parentName) => {
             overload.genericParams = decl.typeParameters.map(parseGenericParam);
         }
         // Detect primary overload by matching JSDoc text against the parent's.
-        // The TS API resolves the parent declaration's JSDoc by walking from the
-        // implementation node to the first overload signature with JSDoc; that
-        // signature is the "primary" — its symbol-scope tags already reach the
-        // parent through symbol-level extraction. Non-primary overloads with
+        // The parent's JSDoc comes from the symbol's first declaration — the
+        // first overload signature, JSDoc or not — so that signature is the
+        // "primary": its symbol-scope tags already reach the parent through
+        // symbol-level extraction. Non-primary overloads with
         // symbol-scope tags would silently lose them; surface as warnings instead.
         const isPrimary = tsdoc?.text !== undefined &&
             parentTsdoc?.text !== undefined &&
@@ -674,10 +686,10 @@ const isExternalProperty = (prop, isExternalFile) => originIsExternal(prop.getDe
  * The one visibility rule, shared by the two ways a class's members reach
  * output: `extractClassInfo` walking `node.members` at the class's own
  * declaration, and `filterDocumentedProperties` projecting a class *type* at a
- * structural container (`type X = LocalClass`, and since generic
- * instantiations extract, `type X = LocalGen<string>`). Held in one place
- * because the two paths disagreeing is what let `#` fields reach `members`
- * through an alias while the class itself dropped them.
+ * structural container (`type X = LocalClass`, `type X = LocalGen<string>`).
+ * Held in one place so an alias over a class hides exactly what the class
+ * hides — the two paths disagreeing would leak `#` fields into `members`
+ * through the alias.
  *
  * `protected` is deliberately not private: it is part of the extension API a
  * subclass author documents against. Only classes can declare either form —
@@ -725,10 +737,9 @@ export const isExternalSignature = (sig, isExternalFile) => originIsExternal(sig
  * signatures. An empty entry is a contribution the checker synthesized, with
  * no origin to test.
  *
- * The enumeration membership filters against, in one place — so a contribution
- * kind can't be dropped from `members` without also counting toward
- * attribution, which is how call/construct signatures came to be filtered
- * nowhere and labeled nowhere.
+ * The enumeration membership filters against, held in one place so membership
+ * filtering and `externalTypes` labeling cover the same contribution kinds and
+ * can't disagree.
  */
 const contributionOrigins = (type, checker) => [
     ...type.getProperties().map((prop) => prop.getDeclarations() ?? []),
@@ -802,6 +813,10 @@ const pushExternalTypeRef = (out, text) => {
  * spelling already matches. That is also why the shared rule's export-specifier
  * arm never fires here: it answers with the specifier's own published name,
  * which is what an identifier reaching it was already spelled as.
+ *
+ * The substitution is one hop — the `ImportSpecifier`'s exported name — so a
+ * package's own `export {Foo as Bar}` and a local re-export chain both keep the
+ * importable name rather than walking to the declaration's own.
  */
 const importedNameOf = (symbol, writtenText) => {
     const name = specifierExportedName(symbol);
@@ -1195,11 +1210,11 @@ const collectExternalTypeRefs = (node, walk, out, depth, subst) => {
  * local names itself, so a reference to a local alias — the generated
  * `$$ComponentProps` the svelte2tsx props annotation names, or an author's own
  * `type Props = …` — reaches the composition behind it without unwrapping the
- * node first. Unwrapping was lossy at exactly the position the leaf fallback
- * covers: it replaced a generic reference with the definition's right-hand
- * side, dropping the written type arguments, and left an untraversable
- * definition (mapped, conditional) with no node to attribute at all, where the
- * root reference is the name the contract says to record.
+ * node first. Unwrapping would be lossy at exactly the position the leaf
+ * fallback covers: it would replace a generic reference with the definition's
+ * right-hand side, dropping the written type arguments, and leave an
+ * untraversable definition (mapped, conditional) with no node to attribute at
+ * all, where the root reference is the name the contract says to record.
  */
 const resolveAnnotationTypeNode = (typeNode) => ts.isTypeNode(typeNode) ? typeNode : undefined;
 /**
@@ -1256,6 +1271,12 @@ export const filterDocumentedProperties = (type, typeNode, checker, isExternalFi
  * Only `extends` entries are passed by either caller: an interface has no
  * other clause kind, and a class's `implements` adds no members.
  *
+ * Scoped to the processed declaration's own heritage clauses — the same node
+ * `extends` and `members` come from — so on a merged interface only the
+ * selected block contributes, while a reference to that interface elsewhere
+ * descends every block. The three fields stay consistent with each other rather
+ * than with the descent.
+ *
  * @mutates declaration - sets `externalTypes` when the walk finds any, left absent when not
  */
 export const applyHeritageExternalTypes = (declaration, heritageTypes, ctx) => {
@@ -1426,7 +1447,7 @@ export const emitCallOrConstructSignature = (getSignatures, signatureKind, resol
             file: loc.file,
             line: loc.line,
             column: loc.column,
-            message: `Failed to analyze ${signatureKind} signatures for ${errorContext.kindLabel} "${declaration.name}": ${to_error_message(err)}`,
+            message: `Failed to analyze ${signatureKind} signatures for ${errorContext.kindLabel} "${declaration.name}": ${toErrorMessage(err)}`,
             severity: 'warning',
             functionName: declaration.name ?? '<default export>'
         });

package/dist/typescript-extract-type-json.d.ts

@@ -55,7 +55,7 @@ import type { TypeJson } from './types.js';
  * - a union left with exactly one member after dropping `undefined` takes that
  *   member directly — it *is* the annotated type. Matters for a bare
  *   unconstrained type parameter (`c?: E`), where `getNonNullableType` can
- *   only answer `NonNullable<E>` and would print `E & {}`
+ *   only answer `NonNullable<E>`
  * - every other union takes `getNonNullableType`, which rebuilds the union
  *   rather than picking a member (so a union of callables keeps its combined
  *   call signature) and preserves the alias symbol
@@ -83,11 +83,14 @@ export declare const namedSymbolName: (type: ts.Type) => string | undefined;
  * type: no alias symbol (the checker still prints `type A = B` as `B`), no
  * nominal symbol (interfaces/classes/enums print their own name), and not an
  * interned terminal (`type A = string` and `type A = 'x'` carry no alias
- * symbol either but print fine). True exactly for the expansion-prone class
- * the alias registry targets and the `alias_lost` diagnostic reports —
+ * symbol either but print fine). True for the expansion-prone class the alias
+ * registry targets and the `alias_lost` diagnostic reports —
  * indexed-access and conditional right-hand sides (`z.infer<typeof S>` et
  * al.), whose resolution lands on a pre-existing interned type that TypeScript
  * never retroactively stamps an alias symbol on.
+ *
+ * The exception is a lost alias over an array root: `namedSymbolName` names it
+ * `Array`, so the predicate is false and it never registers.
  */
 export declare const isAliasLostType: (type: ts.Type) => boolean;
 /**
@@ -116,6 +119,11 @@ export interface AliasRegistryEntry {
  * per analysis cycle by `buildAliasRegistry` (`typescript-alias-registry.ts`);
  * `undefined` wherever no pre-pass ran (registry recovery disabled, written
  * recovery unaffected).
+ *
+ * Registry hits must be linkable: identity-exact matches against aliases the
+ * output documents. That's why `@nodocs` aliases and aliases in gated modules
+ * (`internal/`) never register, and why package aliases never do ("never name
+ * what the project didn't declare").
  */
 export interface AliasRegistry {
     /** Checker type identity → the winning alias (`compareStrings` name-then-module tie-break). */

package/dist/typescript-extract-type-json.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"typescript-extract-type-json.d.ts","sourceRoot":"../src/lib/","sources":["../src/lib/typescript-extract-type-json.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAEH,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,KAAK,EAAoB,QAAQ,EAAE,MAAM,YAAY,CAAC;AAmE7D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,eAAO,MAAM,sBAAsB,GAClC,MAAM,EAAE,CAAC,IAAI,EACb,SAAS,EAAE,CAAC,WAAW,EACvB,UAAU,OAAO,KACf;IAAE,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC;IAAC,aAAa,EAAE,OAAO,CAAA;CAM3C,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,eAAe,GAAI,MAAM,EAAE,CAAC,IAAI,KAAG,MAAM,GAAG,SAGxD,CAAC;AAkBF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,eAAe,GAAI,MAAM,EAAE,CAAC,IAAI,KAAG,OAGS,CAAC;AAE1D;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,GAAI,MAAM,EAAE,CAAC,IAAI,KAAG,OAC2B,CAAC;AAE/E;;;;;GAKG;AACH,eAAO,MAAM,uBAAuB,GAAI,MAAM,EAAE,CAAC,IAAI,KAAG,OAEuB,CAAC;AAEhF,6GAA6G;AAC7G,MAAM,WAAW,kBAAkB;IAClC,mCAAmC;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,+DAA+D;IAC/D,MAAM,EAAE,MAAM,CAAC;CACf;AAED;;;;;;GAMG;AACH,MAAM,WAAW,aAAa;IAC7B,+FAA+F;IAC/F,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC;IACzC;;;;;;OAMG;IACH,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;IAC7C;;;;;;;;OAQG;IACH,eAAe,EAAE,GAAG,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC;CAC9C;AAOD;;;;;;;GAOG;AACH,eAAO,MAAM,iBAAiB,GAAI,MAAM,EAAE,CAAC,SAAS,KAAG,MAAM,GAAG,SAW/D,CAAC;AAUF;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,qBAAqB,GAAI,QAAQ,EAAE,CAAC,MAAM,KAAG,MAAM,GAAG,SASlE,CAAC;AA8JF;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,mBAAmB,GAAI,MAAM,EAAE,CAAC,IAAI,EAAE,SAAS,EAAE,CAAC,WAAW,KAAG,MAAM,GAAG,SAMrF,CAAC;AA4KF,4FAA4F;AAC5F,MAAM,WAAW,gBAAgB;IAChC,6EAA6E;IAC7E,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC;IACd,2EAA2E;IAC3E,KAAK,EAAE,EAAE,CAAC,gBAAgB,GAAG,EAAE,CAAC,oBAAoB,GAAG,SAAS,CAAC;IACjE,gDAAgD;IAChD,QAAQ,EAAE,OAAO,CAAC;IAClB,kGAAkG;IAClG,IAAI,EAAE,OAAO,CAAC;IACd,gGAAgG;IAChG,QAAQ,EAAE,OAAO,CAAC;CAClB;AAED;;;;GAIG;AACH,eAAO,MAAM,aAAa,GACzB,MAAM,EAAE,CAAC,aAAa,EACtB,SAAS,EAAE,CAAC,WAAW,KACrB,KAAK,CAAC,gBAAgB,CAYxB,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,gBAAgB,GAAI,IAAI,gBAAgB,KAAG,MAAM,GAAG,SACW,CAAC;AAe7E;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,eAAO,MAAM,gBAAgB,GAC5B,aAAa,EAAE,CAAC,IAAI,EACpB,SAAS,EAAE,CAAC,WAAW,EACvB,eAAe,aAAa,GAAG,SAAS,EACxC,cAAc,EAAE,CAAC,QAAQ,KACvB;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,QAAQ,GAAG,SAAS,CAAA;CAiBhD,CAAC;AAkOF,0EAA0E;AAC1E,MAAM,WAAW,sBAAsB;IACtC,8DAA8D;IAC9D,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,kEAAkE;IAClE,WAAW,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC;CAC1B;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AACH,eAAO,MAAM,eAAe,GAC3B,MAAM,EAAE,CAAC,IAAI,EACb,SAAS,EAAE,CAAC,WAAW,EACvB,eAAe,aAAa,GAAG,SAAS,EACxC,UAAU,OAAO,EACjB,UAAU,sBAAsB,KAC9B,QAAQ,GAAG,SAgCb,CAAC"}
+{"version":3,"file":"typescript-extract-type-json.d.ts","sourceRoot":"../src/lib/","sources":["../src/lib/typescript-extract-type-json.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAEH,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,KAAK,EAAoB,QAAQ,EAAE,MAAM,YAAY,CAAC;AAmE7D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,eAAO,MAAM,sBAAsB,GAClC,MAAM,EAAE,CAAC,IAAI,EACb,SAAS,EAAE,CAAC,WAAW,EACvB,UAAU,OAAO,KACf;IAAE,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC;IAAC,aAAa,EAAE,OAAO,CAAA;CAM3C,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,eAAe,GAAI,MAAM,EAAE,CAAC,IAAI,KAAG,MAAM,GAAG,SAGxD,CAAC;AAkBF;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,eAAe,GAAI,MAAM,EAAE,CAAC,IAAI,KAAG,OAGS,CAAC;AAE1D;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,GAAI,MAAM,EAAE,CAAC,IAAI,KAAG,OAC2B,CAAC;AAE/E;;;;;GAKG;AACH,eAAO,MAAM,uBAAuB,GAAI,MAAM,EAAE,CAAC,IAAI,KAAG,OAEuB,CAAC;AAEhF,6GAA6G;AAC7G,MAAM,WAAW,kBAAkB;IAClC,mCAAmC;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,+DAA+D;IAC/D,MAAM,EAAE,MAAM,CAAC;CACf;AAED;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,aAAa;IAC7B,+FAA+F;IAC/F,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC;IACzC;;;;;;OAMG;IACH,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;IAC7C;;;;;;;;OAQG;IACH,eAAe,EAAE,GAAG,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC;CAC9C;AAOD;;;;;;;GAOG;AACH,eAAO,MAAM,iBAAiB,GAAI,MAAM,EAAE,CAAC,SAAS,KAAG,MAAM,GAAG,SAW/D,CAAC;AAUF;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,qBAAqB,GAAI,QAAQ,EAAE,CAAC,MAAM,KAAG,MAAM,GAAG,SASlE,CAAC;AA8JF;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,mBAAmB,GAAI,MAAM,EAAE,CAAC,IAAI,EAAE,SAAS,EAAE,CAAC,WAAW,KAAG,MAAM,GAAG,SAMrF,CAAC;AA4KF,4FAA4F;AAC5F,MAAM,WAAW,gBAAgB;IAChC,6EAA6E;IAC7E,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC;IACd,2EAA2E;IAC3E,KAAK,EAAE,EAAE,CAAC,gBAAgB,GAAG,EAAE,CAAC,oBAAoB,GAAG,SAAS,CAAC;IACjE,gDAAgD;IAChD,QAAQ,EAAE,OAAO,CAAC;IAClB,kGAAkG;IAClG,IAAI,EAAE,OAAO,CAAC;IACd,gGAAgG;IAChG,QAAQ,EAAE,OAAO,CAAC;CAClB;AAED;;;;GAIG;AACH,eAAO,MAAM,aAAa,GACzB,MAAM,EAAE,CAAC,aAAa,EACtB,SAAS,EAAE,CAAC,WAAW,KACrB,KAAK,CAAC,gBAAgB,CAYxB,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,gBAAgB,GAAI,IAAI,gBAAgB,KAAG,MAAM,GAAG,SACW,CAAC;AAe7E;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,eAAO,MAAM,gBAAgB,GAC5B,aAAa,EAAE,CAAC,IAAI,EACpB,SAAS,EAAE,CAAC,WAAW,EACvB,eAAe,aAAa,GAAG,SAAS,EACxC,cAAc,EAAE,CAAC,QAAQ,KACvB;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,QAAQ,GAAG,SAAS,CAAA;CAiBhD,CAAC;AAkOF,0EAA0E;AAC1E,MAAM,WAAW,sBAAsB;IACtC,8DAA8D;IAC9D,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,kEAAkE;IAClE,WAAW,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC;CAC1B;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AACH,eAAO,MAAM,eAAe,GAC3B,MAAM,EAAE,CAAC,IAAI,EACb,SAAS,EAAE,CAAC,WAAW,EACvB,eAAe,aAAa,GAAG,SAAS,EACxC,UAAU,OAAO,EACjB,UAAU,sBAAsB,KAC9B,QAAQ,GAAG,SAgCb,CAAC"}

package/dist/typescript-extract-type-json.js

@@ -109,7 +109,7 @@ const hasNullMember = (type) => type.isUnion()
  * - a union left with exactly one member after dropping `undefined` takes that
  *   member directly — it *is* the annotated type. Matters for a bare
  *   unconstrained type parameter (`c?: E`), where `getNonNullableType` can
- *   only answer `NonNullable<E>` and would print `E & {}`
+ *   only answer `NonNullable<E>`
  * - every other union takes `getNonNullableType`, which rebuilds the union
  *   rather than picking a member (so a union of callables keeps its combined
  *   call signature) and preserves the alias symbol
@@ -159,11 +159,14 @@ const isModuleObjectType = (type) => {
  * type: no alias symbol (the checker still prints `type A = B` as `B`), no
  * nominal symbol (interfaces/classes/enums print their own name), and not an
  * interned terminal (`type A = string` and `type A = 'x'` carry no alias
- * symbol either but print fine). True exactly for the expansion-prone class
- * the alias registry targets and the `alias_lost` diagnostic reports —
+ * symbol either but print fine). True for the expansion-prone class the alias
+ * registry targets and the `alias_lost` diagnostic reports —
  * indexed-access and conditional right-hand sides (`z.infer<typeof S>` et
  * al.), whose resolution lands on a pre-existing interned type that TypeScript
  * never retroactively stamps an alias symbol on.
+ *
+ * The exception is a lost alias over an array root: `namedSymbolName` names it
+ * `Array`, so the predicate is false and it never registers.
  */
 export const isAliasLostType = (type) => type.aliasSymbol === undefined &&
     namedSymbolName(type) === undefined &&
@@ -693,12 +696,12 @@ const buildTypeJson = (type, checker, depth, recovery, options = NO_OPTIONS) =>
             }
             return { kind: 'reference', name: type.aliasSymbol.name };
         }
-        // one consult for every nameless object shape, tuples included (sub-cap
-        // tuples never consulted before — tuple references carry no symbol, so
-        // they *did* recover at the cap, an inconsistency this placement closes).
-        // Arrays and named instantiations decline via the nameless gate
-        // (`Array`/`ReadonlyArray`/the instantiation's own symbol), so their
-        // structural branches below still run
+        // one consult for every nameless object shape, tuples included — tuple
+        // references carry no symbol and recover at the cap, so consulting here
+        // keeps sub-cap tuples consistent with capped ones. Arrays and named
+        // instantiations decline via the nameless gate (`Array`/`ReadonlyArray`/
+        // the instantiation's own symbol), so their structural branches below
+        // still run
         const recovered = recoveredReference(type, recovery, depth);
         if (recovered)
             return recovered;

package/dist/typescript-extract-type-properties.js

@@ -15,7 +15,7 @@
  * @module
  */
 import ts from 'typescript';
-import { to_error_message } from './error.js';
+import { toErrorMessage } from './error.js';
 import { parseComment } from './tsdoc.js';
 import { resolveTypeInfo } from './typescript-extract-type-json.js';
 import {} from './typescript-program.js';
@@ -91,7 +91,7 @@ const extractLocalIndexInfo = (nodeType, checker, isExternalFile, indexKind) =>
 /**
  * Resolve, emit, and diagnose a local index signature for a type alias.
  *
- * Wraps `extractLocalIndexType` with the boilerplate shared by string and
+ * Wraps `extractLocalIndexInfo` with the boilerplate shared by string and
  * number kinds: push a `[key: string]` / `[key: number]` member when found,
  * flip `partial: true` and add a `type_extraction_failed` diagnostic on
  * checker errors. Pulled out of the call site to avoid copy-paste drift
@@ -131,7 +131,7 @@ const emitLocalIndexSignature = (declaration, nodeType, node, ctx, kind) => {
             file: loc.file,
             line: loc.line,
             column: loc.column,
-            message: `Failed to extract ${kind} index signature for type "${declaration.name ?? '<default export>'}": ${to_error_message(err)}`,
+            message: `Failed to extract ${kind} index signature for type "${declaration.name ?? '<default export>'}": ${toErrorMessage(err)}`,
             severity: 'warning',
             symbolName: declaration.name ?? '<default export>'
         });

package/dist/typescript-extract-type.js

@@ -18,7 +18,7 @@
  * @module
  */
 import ts from 'typescript';
-import { to_error_message } from './error.js';
+import { toErrorMessage } from './error.js';
 import { parseComment, applyToDeclaration } from './tsdoc.js';
 import { applyHeritageExternalTypes, emitCallOrConstructSignature, extractModifiers, getNodeLocation, getNonOptionalType, memberNameText, parseGenericParam, populateCallableMember, populatePropertyMember } from './typescript-extract-shared.js';
 import { resolveTypeInfo } from './typescript-extract-type-json.js';
@@ -62,7 +62,7 @@ export const extractTypeInfo = (node, declaration, ctx) => {
             file: loc.file,
             line: loc.line,
             column: loc.column,
-            message: `Failed to extract type for "${declaration.name}": ${to_error_message(err)}`,
+            message: `Failed to extract type for "${declaration.name}": ${toErrorMessage(err)}`,
             severity: 'warning',
             symbolName: declaration.name ?? '<default export>'
         });
@@ -135,7 +135,7 @@ export const extractTypeInfo = (node, declaration, ctx) => {
                         file: loc.file,
                         line: loc.line,
                         column: loc.column,
-                        message: `Failed to extract type for interface property "${propName}" in "${declaration.name}": ${to_error_message(err)}`,
+                        message: `Failed to extract type for interface property "${propName}" in "${declaration.name}": ${toErrorMessage(err)}`,
                         severity: 'warning',
                         symbolName: propName
                     });
@@ -190,7 +190,7 @@ export const extractTypeInfo = (node, declaration, ctx) => {
                         file: loc.file,
                         line: loc.line,
                         column: loc.column,
-                        message: `Failed to analyze interface method "${methodName}": ${to_error_message(err)}`,
+                        message: `Failed to analyze interface method "${methodName}": ${toErrorMessage(err)}`,
                         severity: 'warning',
                         functionName: methodName
                     });
@@ -229,7 +229,7 @@ export const extractTypeInfo = (node, declaration, ctx) => {
                                 file: loc.file,
                                 line: loc.line,
                                 column: loc.column,
-                                message: `Failed to extract type for index signature "${name}" in "${declaration.name}": ${to_error_message(err)}`,
+                                message: `Failed to extract type for index signature "${name}" in "${declaration.name}": ${toErrorMessage(err)}`,
                                 severity: 'warning',
                                 symbolName: name
                             });
@@ -289,7 +289,7 @@ export const extractEnumInfo = (node, declaration, ctx) => {
             file: loc.file,
             line: loc.line,
             column: loc.column,
-            message: `Failed to extract type for "${declaration.name}": ${to_error_message(err)}`,
+            message: `Failed to extract type for "${declaration.name}": ${toErrorMessage(err)}`,
             severity: 'warning',
             symbolName: declaration.name ?? '<default export>'
         });
@@ -327,7 +327,7 @@ export const extractEnumInfo = (node, declaration, ctx) => {
                 file: loc.file,
                 line: loc.line,
                 column: loc.column,
-                message: `Failed to extract type for enum member "${memberName}" in "${declaration.name}": ${to_error_message(err)}`,
+                message: `Failed to extract type for enum member "${memberName}" in "${declaration.name}": ${toErrorMessage(err)}`,
                 severity: 'warning',
                 symbolName: memberName
             });

package/dist/typescript-program.d.ts

@@ -5,8 +5,8 @@
  * plumbing, `.svelte` module resolution):
  *
  * - `createAnalysisProgram` — one-shot `ts.Program` from a `ts.CompilerHost`.
- *   Lower-level escape hatch for power users + dependency resolution. Does not
- *   support incremental updates.
+ *   Lower-level escape hatch for power users. Does not support incremental
+ *   updates.
  * - `createAnalysisLanguageService` — persistent `ts.LanguageService` with
  *   versioned `IScriptSnapshot`s. Incremental: subsequent `getProgram()` calls
  *   reuse parsed ASTs and checker state for unchanged files. Used by
@@ -54,7 +54,9 @@ export interface VirtualFileEntry {
     content: string;
     /**
      * Overrides script-kind inference from the path's extension; `undefined`
-     * defers to the extension.
+     * defers to the extension. JS-lang Svelte virtuals set this to parse as JS
+     * despite their `.ts` suffix; no `allowJs` needed, since virtuals are
+     * host-served.
      */
     scriptKind?: ts.ScriptKind;
 }
@@ -219,7 +221,10 @@ export interface AnalysisLanguageService {
  * resolution via `ts.resolveModuleName`) without the cost of building a full
  * `ts.Program`.
  *
- * @throws Error if tsconfig.json (or the requested `tsconfigName`) is not found.
+ * Each call globs the tsconfig `include` to build `rootFileNames`; reuse the
+ * result rather than calling per resolve.
+ *
+ * @throws Error if tsconfig.json (or the file named by `options.tsconfig`) is not found.
  */
 export declare const loadTsconfig: (options?: LoadTsconfigOptions, log?: AnalysisLog) => {
     compilerOptions: ts.CompilerOptions;
@@ -271,13 +276,23 @@ export declare const createAnalysisProgram: (options?: AnalysisProgramOptions, l
 export declare const createAnalysisLanguageService: (options?: AnalysisLanguageServiceOptions, log?: AnalysisLog) => AnalysisLanguageService;
 /**
  * Predicate for determining whether a TypeScript source file is external to the project.
- * Used by intersection type filtering to separate user-authored properties from
- * library/framework properties.
+ * Used by external-contribution filtering (`filterDocumentedProperties` and the
+ * index/call-signature origin checks) and `externalTypes` attribution to separate
+ * project-authored contributions from library/framework ones.
  *
- * Constructed from `ModuleSourceOptions` at analysis entry points — files under the
- * source root (e.g., `src/lib/`) are internal, everything else is external.
+ * Built by `createIsExternalFile`, which defines externality.
  */
 export type IsExternalFile = (sourceFile: ts.SourceFile) => boolean;
+/**
+ * Create an `IsExternalFile` predicate from `ModuleSourceOptions`.
+ *
+ * A file is external if it is:
+ * - Outside the project root
+ * - Inside `node_modules/`
+ * - A `.d.ts` declaration file outside the source root (catches framework-generated
+ *   declarations like `.svelte-kit/non-ambient.d.ts` while keeping user `.d.ts` files
+ *   in the source tree)
+ */
 export declare const createIsExternalFile: (options: ModuleSourceOptions) => IsExternalFile;
 /**
  * Path-string counterpart of `IsExternalFile`, for call sites that hold a

package/dist/typescript-program.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"typescript-program.d.ts","sourceRoot":"../src/lib/","sources":["../src/lib/typescript-program.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAGH,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC;AAE5C,OAAO,EAAE,KAAK,mBAAmB,EAAiB,MAAM,oBAAoB,CAAC;AAG7E;;;;;;GAMG;AACH,MAAM,WAAW,mBAAmB;IACnC;;;OAGG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB;;;OAGG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB;;;;;OAKG;IACH,eAAe,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC;CACrC;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAChC,OAAO,EAAE,MAAM,CAAC;IAChB;;;OAGG;IACH,UAAU,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC;CAC3B;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,WAAW,aAAa;IAC7B,sEAAsE;IACtE,GAAG,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,8DAA8D;IAC9D,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,mFAAmF;IACnF,GAAG,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;IAC1B,KAAK,IAAI,IAAI,CAAC;CACd;AAED,iDAAiD;AACjD,eAAO,MAAM,mBAAmB,QAAO,aA8BtC,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,eAAO,MAAM,iBAAiB,GAC7B,MAAM,EAAE,CAAC,YAAY,EACrB,cAAc,WAAW,CAAC,MAAM,EAAE,gBAAgB,CAAC,KACjD,WAAW,CAAC,MAAM,EAAE,gBAAgB,CA2CtC,CAAC;AAEF;;GAEG;AACH,MAAM,WAAW,sBAAuB,SAAQ,mBAAmB;IAClE;;;;;;;;;;OAUG;IACH,YAAY,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;CAC7C;AAED;;GAEG;AACH,MAAM,WAAW,8BAA+B,SAAQ,sBAAsB;IAC7E;;;;;;OAMG;IACH,gBAAgB,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC;CACvC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,WAAW,uBAAuB;IACvC;;;;;;;;;;OAUG;IACH,UAAU,IAAI,EAAE,CAAC,OAAO,CAAC;IACzB;;;;;;;;;;;OAWG;IACH,kBAAkB,IAAI,EAAE,CAAC,eAAe,CAAC;IACzC;;;;;;;;OAQG;IACH,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,gBAAgB,GAAG,OAAO,CAAC;IACxD;;;;OAIG;IACH,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IAClC,mDAAmD;IACnD,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IAC/B;;;;;OAKG;IACH,OAAO,IAAI,IAAI,CAAC;CAChB;AAED;;;;;;;;;;GAUG;AACH,eAAO,MAAM,YAAY,GACxB,UAAU,mBAAmB,EAC7B,MAAM,WAAW,KACf;IAAE,eAAe,EAAE,EAAE,CAAC,eAAe,CAAC;IAAC,aAAa,EAAE,KAAK,CAAC,MAAM,CAAC,CAAA;CAmBrE,CAAC;AA6CF;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,qBAAqB,GACjC,UAAU,sBAAsB,EAChC,MAAM,WAAW,KACf,EAAE,CAAC,OAkBL,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,eAAO,MAAM,6BAA6B,GACzC,UAAU,8BAA8B,EACxC,MAAM,WAAW,KACf,uBAoJF,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,MAAM,cAAc,GAAG,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,KAAK,OAAO,CAAC;AAwBpE,eAAO,MAAM,oBAAoB,GAAI,SAAS,mBAAmB,KAAG,cAMnE,CAAC;AAKF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,oBAAoB,GAAI,SAAS,mBAAmB,KAAG,CAAC,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAO7F,CAAC"}
+{"version":3,"file":"typescript-program.d.ts","sourceRoot":"../src/lib/","sources":["../src/lib/typescript-program.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAGH,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC;AAE5C,OAAO,EAAE,KAAK,mBAAmB,EAAiB,MAAM,oBAAoB,CAAC;AAI7E;;;;;;GAMG;AACH,MAAM,WAAW,mBAAmB;IACnC;;;OAGG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB;;;OAGG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB;;;;;OAKG;IACH,eAAe,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC;CACrC;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAChC,OAAO,EAAE,MAAM,CAAC;IAChB;;;;;OAKG;IACH,UAAU,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC;CAC3B;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,WAAW,aAAa;IAC7B,sEAAsE;IACtE,GAAG,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,8DAA8D;IAC9D,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,mFAAmF;IACnF,GAAG,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;IAC1B,KAAK,IAAI,IAAI,CAAC;CACd;AAED,iDAAiD;AACjD,eAAO,MAAM,mBAAmB,QAAO,aA8BtC,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,eAAO,MAAM,iBAAiB,GAC7B,MAAM,EAAE,CAAC,YAAY,EACrB,cAAc,WAAW,CAAC,MAAM,EAAE,gBAAgB,CAAC,KACjD,WAAW,CAAC,MAAM,EAAE,gBAAgB,CA2CtC,CAAC;AAEF;;GAEG;AACH,MAAM,WAAW,sBAAuB,SAAQ,mBAAmB;IAClE;;;;;;;;;;OAUG;IACH,YAAY,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;CAC7C;AAED;;GAEG;AACH,MAAM,WAAW,8BAA+B,SAAQ,sBAAsB;IAC7E;;;;;;OAMG;IACH,gBAAgB,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC;CACvC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,WAAW,uBAAuB;IACvC;;;;;;;;;;OAUG;IACH,UAAU,IAAI,EAAE,CAAC,OAAO,CAAC;IACzB;;;;;;;;;;;OAWG;IACH,kBAAkB,IAAI,EAAE,CAAC,eAAe,CAAC;IACzC;;;;;;;;OAQG;IACH,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,gBAAgB,GAAG,OAAO,CAAC;IACxD;;;;OAIG;IACH,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IAClC,mDAAmD;IACnD,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IAC/B;;;;;OAKG;IACH,OAAO,IAAI,IAAI,CAAC;CAChB;AAED;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,YAAY,GACxB,UAAU,mBAAmB,EAC7B,MAAM,WAAW,KACf;IAAE,eAAe,EAAE,EAAE,CAAC,eAAe,CAAC;IAAC,aAAa,EAAE,KAAK,CAAC,MAAM,CAAC,CAAA;CAmBrE,CAAC;AA6CF;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,qBAAqB,GACjC,UAAU,sBAAsB,EAChC,MAAM,WAAW,KACf,EAAE,CAAC,OAkBL,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,eAAO,MAAM,6BAA6B,GACzC,UAAU,8BAA8B,EACxC,MAAM,WAAW,KACf,uBAyJF,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,MAAM,cAAc,GAAG,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,KAAK,OAAO,CAAC;AAcpE;;;;;;;;;GASG;AACH,eAAO,MAAM,oBAAoB,GAAI,SAAS,mBAAmB,KAAG,cAMnE,CAAC;AAKF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,oBAAoB,GAAI,SAAS,mBAAmB,KAAG,CAAC,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAO7F,CAAC"}