@tsonic/frontend 0.0.74 → 0.0.75

package/dist/ir/type-system/internal/universe/catalog-types.d.ts

@@ -0,0 +1,260 @@
+/**
+ * Type Universe — Catalog Type Definitions
+ *
+ * Defines the core types for the unified type catalog: TypeId, NominalEntry,
+ * MemberEntry, MethodSignatureEntry, ConstructorEntry, FieldEntry, and the
+ * catalog interfaces (AssemblyTypeCatalog, UnifiedTypeCatalog).
+ *
+ * INVARIANT INV-CLR: All nominal type identities come from ONE unified catalog.
+ * No type query is allowed to "fall back" to parallel logic or parallel stores.
+ */
+import type { IrType } from "../../../types/index.js";
+/**
+ * Canonical identity for any nominal type.
+ *
+ * Uses stableId as the primary key:
+ * - Assembly types: "{assemblyName}:{clrName}" e.g., "System.Private.CoreLib:System.String"
+ * - Source types: "{projectName}:{fullyQualifiedName}" e.g., "myapp:MyApp.Models.User"
+ *
+ * The distinction matters for:
+ * - Collisions across assemblies
+ * - Type-forwarding
+ * - Multiple assemblies declaring same namespace/type
+ */
+export type TypeId = {
+    /** Primary key: e.g., "System.Private.CoreLib:System.String" */
+    readonly stableId: string;
+    /** CLR display name for emitter: e.g., "System.String" */
+    readonly clrName: string;
+    /** Assembly name: e.g., "System.Private.CoreLib" */
+    readonly assemblyName: string;
+    /** TS surface name for symbol binding: e.g., "String" */
+    readonly tsName: string;
+};
+/**
+ * Complete type information for a nominal type.
+ *
+ * This is the unified shape for both source and assembly types.
+ * All type queries go through this structure.
+ */
+export type NominalEntry = {
+    /** Canonical identity */
+    readonly typeId: TypeId;
+    /** Type kind */
+    readonly kind: NominalKind;
+    /**
+     * Source type alias target (when kind originated from a TypeScript type alias).
+     *
+     * Present only for source-origin aliases; undefined for assembly types and
+     * non-alias source declarations.
+     */
+    readonly aliasedType?: IrType;
+    /** Type parameters (for generic types) */
+    readonly typeParameters: readonly TypeParameterEntry[];
+    /** Inheritance edges (extends, implements) */
+    readonly heritage: readonly HeritageEdge[];
+    /** Members indexed by TS name */
+    readonly members: ReadonlyMap<string, MemberEntry>;
+    /** Where this type came from */
+    readonly origin: TypeOrigin;
+    /** Accessibility modifier */
+    readonly accessibility: "public" | "internal" | "private" | "protected";
+    /** Abstract class flag */
+    readonly isAbstract: boolean;
+    /** Sealed class flag */
+    readonly isSealed: boolean;
+    /** Static class flag */
+    readonly isStatic: boolean;
+};
+/**
+ * Type kind classification.
+ */
+export type NominalKind = "class" | "interface" | "struct" | "enum" | "delegate";
+/**
+ * Where a type originated.
+ */
+export type TypeOrigin = "source" | "assembly";
+/**
+ * Type parameter declaration on a generic type.
+ */
+export type TypeParameterEntry = {
+    /** Parameter name (e.g., "T", "TKey") */
+    readonly name: string;
+    /** Constraint type (e.g., "where T : IComparable") */
+    readonly constraint?: IrType;
+    /** Default type (if any) */
+    readonly defaultType?: IrType;
+};
+/**
+ * Inheritance edge connecting types.
+ *
+ * For generic inheritance like `class MyList<T> extends List<T>`,
+ * the typeArguments capture the type parameter mappings.
+ */
+export type HeritageEdge = {
+    /** "extends" for classes, "implements" for interfaces */
+    readonly kind: "extends" | "implements";
+    /** Target type's stableId */
+    readonly targetStableId: string;
+    /** Type arguments passed to the target type */
+    readonly typeArguments: readonly IrType[];
+};
+/**
+ * Member information for properties, methods, fields, and events.
+ */
+export type MemberEntry = {
+    /** TS surface name (for symbol binding) */
+    readonly tsName: string;
+    /** CLR name (for emitter) */
+    readonly clrName: string;
+    /** Member kind */
+    readonly memberKind: MemberKind;
+    /** Type (for properties, fields); undefined for methods */
+    readonly type?: IrType;
+    /** Method signatures (for methods/overloads) */
+    readonly signatures?: readonly MethodSignatureEntry[];
+    /** Static member flag */
+    readonly isStatic: boolean;
+    /** Readonly property/field flag */
+    readonly isReadonly: boolean;
+    /** Abstract member flag */
+    readonly isAbstract: boolean;
+    /** Virtual member flag */
+    readonly isVirtual: boolean;
+    /** Override member flag */
+    readonly isOverride: boolean;
+    /** For properties: is this an indexer? */
+    readonly isIndexer: boolean;
+    /** For properties: has getter? */
+    readonly hasGetter: boolean;
+    /** For properties: has setter? */
+    readonly hasSetter: boolean;
+    /** Stable ID for this member */
+    readonly stableId: string;
+};
+/**
+ * Member kind classification.
+ */
+export type MemberKind = "property" | "method" | "field" | "event";
+/**
+ * Complete method signature information.
+ *
+ * For overloaded methods, each overload has its own entry.
+ */
+export type MethodSignatureEntry = {
+    /** Stable ID for this specific signature */
+    readonly stableId: string;
+    /** Method parameters */
+    readonly parameters: readonly ParameterEntry[];
+    /** Return type */
+    readonly returnType: IrType;
+    /** Method-level type parameters */
+    readonly typeParameters: readonly TypeParameterEntry[];
+    /** Parameter count (for quick overload filtering) */
+    readonly parameterCount: number;
+    /** Static method flag */
+    readonly isStatic: boolean;
+    /** Extension method flag */
+    readonly isExtensionMethod: boolean;
+    /** Source interface for explicit interface implementations */
+    readonly sourceInterface?: string;
+    /** Normalized signature string for dedup */
+    readonly normalizedSignature: string;
+};
+/**
+ * Parameter information for method signatures.
+ */
+export type ParameterEntry = {
+    /** Parameter name */
+    readonly name: string;
+    /** Parameter type */
+    readonly type: IrType;
+    /** Passing mode (value, ref, out, in) */
+    readonly mode: ParameterMode;
+    /** Optional parameter flag */
+    readonly isOptional: boolean;
+    /** Default value (for optional parameters) */
+    readonly defaultValue?: unknown;
+    /** Rest/params parameter flag */
+    readonly isRest: boolean;
+};
+/**
+ * Parameter passing mode for C# interop.
+ */
+export type ParameterMode = "value" | "ref" | "out" | "in";
+/**
+ * Constructor information.
+ */
+export type ConstructorEntry = {
+    /** Normalized signature for dedup */
+    readonly normalizedSignature: string;
+    /** Constructor parameters */
+    readonly parameters: readonly ParameterEntry[];
+    /** Static constructor flag */
+    readonly isStatic: boolean;
+    /** Parameter count */
+    readonly parameterCount: number;
+};
+/**
+ * Field information from metadata.
+ */
+export type FieldEntry = {
+    /** Stable ID */
+    readonly stableId: string;
+    /** CLR name */
+    readonly clrName: string;
+    /** TS surface name */
+    readonly tsName: string;
+    /** Static field flag */
+    readonly isStatic: boolean;
+    /** Readonly field flag */
+    readonly isReadonly: boolean;
+    /** Literal/const field flag */
+    readonly isLiteral: boolean;
+    /** Normalized signature for type extraction */
+    readonly normalizedSignature: string;
+};
+/**
+ * Complete catalog of types loaded from assembly metadata.
+ *
+ * This is the result of loading bindings.json files.
+ */
+export type AssemblyTypeCatalog = {
+    /** All type entries, keyed by stableId */
+    readonly entries: ReadonlyMap<string, NominalEntry>;
+    /** TS name → TypeId mapping */
+    readonly tsNameToTypeId: ReadonlyMap<string, TypeId>;
+    /** CLR name → TypeId mapping */
+    readonly clrNameToTypeId: ReadonlyMap<string, TypeId>;
+    /** Namespace → TypeIds mapping */
+    readonly namespaceToTypeIds: ReadonlyMap<string, readonly TypeId[]>;
+};
+/**
+ * Unified catalog merging source and assembly types.
+ *
+ * This is THE source of truth for all type queries.
+ * No fallback paths allowed.
+ */
+export type UnifiedTypeCatalog = {
+    /** Get entry by TypeId */
+    readonly getByTypeId: (typeId: TypeId) => NominalEntry | undefined;
+    /** Get entry by stableId string */
+    readonly getByStableId: (stableId: string) => NominalEntry | undefined;
+    /** Resolve TS name to TypeId */
+    readonly resolveTsName: (tsName: string) => TypeId | undefined;
+    /** Resolve CLR name to TypeId */
+    readonly resolveClrName: (clrName: string) => TypeId | undefined;
+    /** Get all members of a type */
+    readonly getMembers: (typeId: TypeId) => ReadonlyMap<string, MemberEntry>;
+    /** Get specific member by name */
+    readonly getMember: (typeId: TypeId, memberName: string) => MemberEntry | undefined;
+    /** Get heritage edges */
+    readonly getHeritage: (typeId: TypeId) => readonly HeritageEdge[];
+    /** Get type parameters */
+    readonly getTypeParameters: (typeId: TypeId) => readonly TypeParameterEntry[];
+    /** Check if type exists */
+    readonly hasType: (stableId: string) => boolean;
+    /** Get all type IDs */
+    readonly getAllTypeIds: () => readonly TypeId[];
+};
+//# sourceMappingURL=catalog-types.d.ts.map

package/dist/ir/type-system/internal/universe/catalog-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"catalog-types.d.ts","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/universe/catalog-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAC;AAMtD;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,MAAM,GAAG;IACnB,gEAAgE;IAChE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,0DAA0D;IAC1D,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,oDAAoD;IACpD,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,yDAAyD;IACzD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,CAAC;AAMF;;;;;GAKG;AACH,MAAM,MAAM,YAAY,GAAG;IACzB,yBAAyB;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,gBAAgB;IAChB,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B;;;;;OAKG;IACH,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,0CAA0C;IAC1C,QAAQ,CAAC,cAAc,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACvD,8CAA8C;IAC9C,QAAQ,CAAC,QAAQ,EAAE,SAAS,YAAY,EAAE,CAAC;IAC3C,iCAAiC;IACjC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IACnD,gCAAgC;IAChC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,6BAA6B;IAC7B,QAAQ,CAAC,aAAa,EAAE,QAAQ,GAAG,UAAU,GAAG,SAAS,GAAG,WAAW,CAAC;IACxE,0BAA0B;IAC1B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,wBAAwB;IACxB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,wBAAwB;IACxB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,WAAW,GACnB,OAAO,GACP,WAAW,GACX,QAAQ,GACR,MAAM,GACN,UAAU,CAAC;AAEf;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG,QAAQ,GAAG,UAAU,CAAC;AAE/C;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAAG;IAC/B,yCAAyC;IACzC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,sDAAsD;IACtD,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,4BAA4B;IAC5B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B,CAAC;AAMF;;;;;GAKG;AACH,MAAM,MAAM,YAAY,GAAG;IACzB,yDAAyD;IACzD,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,YAAY,CAAC;IACxC,6BAA6B;IAC7B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,+CAA+C;IAC/C,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;CAC3C,CAAC;AAMF;;GAEG;AACH,MAAM,MAAM,WAAW,GAAG;IACxB,2CAA2C;IAC3C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,6BAA6B;IAC7B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,kBAAkB;IAClB,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC,2DAA2D;IAC3D,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,gDAAgD;IAChD,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,oBAAoB,EAAE,CAAC;IACtD,yBAAyB;IACzB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,mCAAmC;IACnC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,2BAA2B;IAC3B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,0BAA0B;IAC1B,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,2BAA2B;IAC3B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,0CAA0C;IAC1C,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,kCAAkC;IAClC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,kCAAkC;IAClC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,gCAAgC;IAChC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG,UAAU,GAAG,QAAQ,GAAG,OAAO,GAAG,OAAO,CAAC;AAMnE;;;;GAIG;AACH,MAAM,MAAM,oBAAoB,GAAG;IACjC,4CAA4C;IAC5C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,wBAAwB;IACxB,QAAQ,CAAC,UAAU,EAAE,SAAS,cAAc,EAAE,CAAC;IAC/C,kBAAkB;IAClB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,mCAAmC;IACnC,QAAQ,CAAC,cAAc,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACvD,qDAAqD;IACrD,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,yBAAyB;IACzB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,4BAA4B;IAC5B,QAAQ,CAAC,iBAAiB,EAAE,OAAO,CAAC;IACpC,8DAA8D;IAC9D,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;IAClC,4CAA4C;IAC5C,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;CACtC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG;IAC3B,qBAAqB;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,qBAAqB;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,yCAAyC;IACzC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,8BAA8B;IAC9B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,8CAA8C;IAC9C,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;IAChC,iCAAiC;IACjC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;CAC1B,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,aAAa,GAAG,OAAO,GAAG,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC;AAM3D;;GAEG;AACH,MAAM,MAAM,gBAAgB,GAAG;IAC7B,qCAAqC;IACrC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,6BAA6B;IAC7B,QAAQ,CAAC,UAAU,EAAE,SAAS,cAAc,EAAE,CAAC;IAC/C,8BAA8B;IAC9B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,sBAAsB;IACtB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;CACjC,CAAC;AAMF;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG;IACvB,gBAAgB;IAChB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,eAAe;IACf,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,sBAAsB;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,wBAAwB;IACxB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,0BAA0B;IAC1B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,+BAA+B;IAC/B,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,+CAA+C;IAC/C,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;CACtC,CAAC;AAMF;;;;GAIG;AACH,MAAM,MAAM,mBAAmB,GAAG;IAChC,0CAA0C;IAC1C,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IACpD,+BAA+B;IAC/B,QAAQ,CAAC,cAAc,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACrD,gCAAgC;IAChC,QAAQ,CAAC,eAAe,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtD,kCAAkC;IAClC,QAAQ,CAAC,kBAAkB,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC;CACrE,CAAC;AAMF;;;;;GAKG;AACH,MAAM,MAAM,kBAAkB,GAAG;IAC/B,0BAA0B;IAC1B,QAAQ,CAAC,WAAW,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,YAAY,GAAG,SAAS,CAAC;IACnE,mCAAmC;IACnC,QAAQ,CAAC,aAAa,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,YAAY,GAAG,SAAS,CAAC;IACvE,gCAAgC;IAChC,QAAQ,CAAC,aAAa,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,CAAC;IAC/D,iCAAiC;IACjC,QAAQ,CAAC,cAAc,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,CAAC;IACjE,gCAAgC;IAChC,QAAQ,CAAC,UAAU,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAC1E,kCAAkC;IAClC,QAAQ,CAAC,SAAS,EAAE,CAClB,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,KACf,WAAW,GAAG,SAAS,CAAC;IAC7B,yBAAyB;IACzB,QAAQ,CAAC,WAAW,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,SAAS,YAAY,EAAE,CAAC;IAClE,0BAA0B;IAC1B,QAAQ,CAAC,iBAAiB,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,SAAS,kBAAkB,EAAE,CAAC;IAC9E,2BAA2B;IAC3B,QAAQ,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,OAAO,CAAC;IAChD,uBAAuB;IACvB,QAAQ,CAAC,aAAa,EAAE,MAAM,SAAS,MAAM,EAAE,CAAC;CACjD,CAAC"}

package/dist/ir/type-system/internal/universe/catalog-types.js

@@ -0,0 +1,12 @@
+/**
+ * Type Universe — Catalog Type Definitions
+ *
+ * Defines the core types for the unified type catalog: TypeId, NominalEntry,
+ * MemberEntry, MethodSignatureEntry, ConstructorEntry, FieldEntry, and the
+ * catalog interfaces (AssemblyTypeCatalog, UnifiedTypeCatalog).
+ *
+ * INVARIANT INV-CLR: All nominal type identities come from ONE unified catalog.
+ * No type query is allowed to "fall back" to parallel logic or parallel stores.
+ */
+export {};
+//# sourceMappingURL=catalog-types.js.map

package/dist/ir/type-system/internal/universe/catalog-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"catalog-types.js","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/universe/catalog-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG"}

package/dist/ir/type-system/internal/universe/clr-catalog.d.ts

@@ -8,21 +8,23 @@
  * unified type catalog. No parallel lookup paths allowed.
  *
  * The loader:
- * 1. Scans node_modules/@tsonic/* packages for metadata files
+ * 1. Loads only explicitly participating CLR package roots
  * 2. Parses bindings.json for type definitions, members, signatures
  * 4. Converts to NominalEntry structures with proper IrType members
  */
 import type { AssemblyTypeCatalog, NominalEntry, MemberEntry } from "./types.js";
-export { parseClrTypeString, splitTypeArguments, dtsTypeNodeToIrType, irTypeToSignatureKey, makeMethodSignatureKey, INSTANCE_SUFFIX, VIEWS_PREFIX, VIEWS_SUFFIX, stripTsBindgenInstanceSuffix, stripTsBindgenViewsWrapper, getRightmostQualifiedNameText, getRightmostPropertyAccessText, } from "./clr-type-parser.js";
+export { parseClrTypeString, splitTypeArguments, dtsTypeNodeToIrType, irTypeToSignatureKey, makeMethodOverloadKey, INSTANCE_SUFFIX, VIEWS_PREFIX, VIEWS_SUFFIX, stripTsBindgenInstanceSuffix, stripTsBindgenViewsWrapper, getRightmostQualifiedNameText, getRightmostPropertyAccessText, } from "./clr-type-parser.js";
 export type { TsBindgenDtsTypeInfo } from "./clr-entry-converter.js";
 export { extractHeritageFromTsBindgenDts, enrichAssemblyEntriesFromTsBindgenDts, parsePropertyType, parseFieldType, parseMethodSignature, convertRawType, } from "./clr-entry-converter.js";
 /**
- * Load all assembly types from node_modules/@tsonic packages.
+ * Load all assembly types from explicitly participating CLR packages.
  *
- * @param nodeModulesPath - Path to node_modules directory
+ * @param _nodeModulesPath - Unused legacy slot preserved for call-site stability
+ * until callers are fully migrated to the explicit-roots-only model.
+ * @param extraPackageRoots - Explicit CLR package roots participating in this build
  * @returns AssemblyTypeCatalog with all loaded types
  */
-export declare const loadClrCatalog: (nodeModulesPath: string, extraPackageRoots?: readonly string[]) => AssemblyTypeCatalog;
+export declare const loadClrCatalog: (_nodeModulesPath: string, extraPackageRoots?: readonly string[]) => AssemblyTypeCatalog;
 /**
  * Load CLR catalog from a specific package (for testing).
  */

package/dist/ir/type-system/internal/universe/clr-catalog.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"clr-catalog.d.ts","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/universe/clr-catalog.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAIH,OAAO,KAAK,EACV,mBAAmB,EAEnB,YAAY,EACZ,WAAW,EAEZ,MAAM,YAAY,CAAC;AAUpB,OAAO,EACL,kBAAkB,EAClB,kBAAkB,EAClB,mBAAmB,EACnB,oBAAoB,EACpB,sBAAsB,EACtB,eAAe,EACf,YAAY,EACZ,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC1B,6BAA6B,EAC7B,8BAA8B,GAC/B,MAAM,sBAAsB,CAAC;AAE9B,YAAY,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAErE,OAAO,EACL,+BAA+B,EAC/B,qCAAqC,EACrC,iBAAiB,EACjB,cAAc,EACd,oBAAoB,EACpB,cAAc,GACf,MAAM,0BAA0B,CAAC;AAkGlC;;;;;GAKG;AACH,eAAO,MAAM,cAAc,GACzB,iBAAiB,MAAM,EACvB,oBAAmB,SAAS,MAAM,EAAO,KACxC,mBAwEF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,yBAAyB,GACpC,cAAc,MAAM,KACnB,mBA0CF,CAAC;AAMF;;GAEG;AACH,eAAO,MAAM,iBAAiB,GAC5B,SAAS,mBAAmB,EAC5B,UAAU,MAAM,KACf,YAAY,GAAG,SAEjB,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,eAAe,GAC1B,SAAS,mBAAmB,EAC5B,QAAQ,MAAM,KACb,YAAY,GAAG,SAGjB,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,gBAAgB,GAC3B,SAAS,mBAAmB,EAC5B,SAAS,MAAM,KACd,YAAY,GAAG,SAGjB,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,iBAAiB,GAC5B,SAAS,mBAAmB,EAC5B,cAAc,MAAM,EACpB,cAAc,MAAM,KACnB,WAAW,GAAG,SAGhB,CAAC"}
+{"version":3,"file":"clr-catalog.d.ts","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/universe/clr-catalog.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAKH,OAAO,KAAK,EACV,mBAAmB,EAEnB,YAAY,EACZ,WAAW,EAEZ,MAAM,YAAY,CAAC;AA2BpB,OAAO,EACL,kBAAkB,EAClB,kBAAkB,EAClB,mBAAmB,EACnB,oBAAoB,EACpB,qBAAqB,EACrB,eAAe,EACf,YAAY,EACZ,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC1B,6BAA6B,EAC7B,8BAA8B,GAC/B,MAAM,sBAAsB,CAAC;AAE9B,YAAY,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAErE,OAAO,EACL,+BAA+B,EAC/B,qCAAqC,EACrC,iBAAiB,EACjB,cAAc,EACd,oBAAoB,EACpB,cAAc,GACf,MAAM,0BAA0B,CAAC;AAuGlC;;;;;;;GAOG;AACH,eAAO,MAAM,cAAc,GACzB,kBAAkB,MAAM,EACxB,oBAAmB,SAAS,MAAM,EAAO,KACxC,mBAuJF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,yBAAyB,GACpC,cAAc,MAAM,KACnB,mBA4CF,CAAC;AAMF;;GAEG;AACH,eAAO,MAAM,iBAAiB,GAC5B,SAAS,mBAAmB,EAC5B,UAAU,MAAM,KACf,YAAY,GAAG,SAEjB,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,eAAe,GAC1B,SAAS,mBAAmB,EAC5B,QAAQ,MAAM,KACb,YAAY,GAAG,SAGjB,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,gBAAgB,GAC3B,SAAS,mBAAmB,EAC5B,SAAS,MAAM,KACd,YAAY,GAAG,SAGjB,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,iBAAiB,GAC5B,SAAS,mBAAmB,EAC5B,cAAc,MAAM,EACpB,cAAc,MAAM,KACnB,WAAW,GAAG,SAGhB,CAAC"}

package/dist/ir/type-system/internal/universe/clr-catalog.js

@@ -8,72 +8,51 @@
  * unified type catalog. No parallel lookup paths allowed.
  *
  * The loader:
- * 1. Scans node_modules/@tsonic/* packages for metadata files
+ * 1. Loads only explicitly participating CLR package roots
  * 2. Parses bindings.json for type definitions, members, signatures
  * 4. Converts to NominalEntry structures with proper IrType members
  */
 import * as fs from "fs";
 import * as path from "path";
+import { resolveDependencyPackageRoot } from "../../../../program/package-roots.js";
+import { extractRawDotnetBindingsPayload } from "../../../../program/dotnet-binding-payload.js";
 import { convertRawType, enrichAssemblyEntriesFromTsBindgenDts, } from "./clr-entry-converter.js";
+const isSourcePackageRoot = (packagePath) => {
+    const manifestPath = path.join(packagePath, "tsonic.package.json");
+    if (!fs.existsSync(manifestPath)) {
+        return false;
+    }
+    try {
+        const parsed = JSON.parse(fs.readFileSync(manifestPath, "utf-8"));
+        return parsed.kind === "tsonic-source-package";
+    }
+    catch {
+        return false;
+    }
+};
 // ═══════════════════════════════════════════════════════════════════════════
 // BARREL RE-EXPORTS
 // ═══════════════════════════════════════════════════════════════════════════
-export { parseClrTypeString, splitTypeArguments, dtsTypeNodeToIrType, irTypeToSignatureKey, makeMethodSignatureKey, INSTANCE_SUFFIX, VIEWS_PREFIX, VIEWS_SUFFIX, stripTsBindgenInstanceSuffix, stripTsBindgenViewsWrapper, getRightmostQualifiedNameText, getRightmostPropertyAccessText, } from "./clr-type-parser.js";
+export { parseClrTypeString, splitTypeArguments, dtsTypeNodeToIrType, irTypeToSignatureKey, makeMethodOverloadKey, INSTANCE_SUFFIX, VIEWS_PREFIX, VIEWS_SUFFIX, stripTsBindgenInstanceSuffix, stripTsBindgenViewsWrapper, getRightmostQualifiedNameText, getRightmostPropertyAccessText, } from "./clr-type-parser.js";
 export { extractHeritageFromTsBindgenDts, enrichAssemblyEntriesFromTsBindgenDts, parsePropertyType, parseFieldType, parseMethodSignature, convertRawType, } from "./clr-entry-converter.js";
 // ═══════════════════════════════════════════════════════════════════════════
 // FILE DISCOVERY AND LOADING
 // ═══════════════════════════════════════════════════════════════════════════
 /**
- * Find all @tsonic packages in node_modules.
- */
-const findTsonicPackages = (nodeModulesPath) => {
-    const tsonicDir = path.join(nodeModulesPath, "@tsonic");
-    if (!fs.existsSync(tsonicDir)) {
-        return [];
-    }
-    const packages = [];
-    for (const entry of fs.readdirSync(tsonicDir, { withFileTypes: true })) {
-        const fullPath = path.join(tsonicDir, entry.name);
-        if (entry.isDirectory()) {
-            packages.push(fullPath);
-            continue;
-        }
-        // In multi-repo workspaces, @tsonic packages are often symlinked into node_modules.
-        // Dirent reports these as symbolic links, so we must stat the target to detect
-        // directory packages.
-        if (entry.isSymbolicLink()) {
-            try {
-                if (fs.statSync(fullPath).isDirectory()) {
-                    packages.push(fullPath);
-                }
-            }
-            catch {
-                // Ignore broken links.
-            }
-        }
-    }
-    return packages;
-};
-/**
- * Find all bindings.json files in a package.
+ * Find all bindings.json files in an explicit CLR package root.
  */
 const findBindingsFiles = (packagePath) => {
-    const bindingsFiles = [];
-    const isIgnorableDirReadError = (error) => {
-        if (!(error instanceof Error))
-            return false;
-        const err = error;
-        return (err.code === "EACCES" ||
-            err.code === "EPERM" ||
-            err.code === "ENOENT" ||
-            err.code === "ENOTDIR");
-    };
+    const bindingsFiles = new Set();
+    const visitedDirs = new Set();
     const walk = (dir) => {
-        if (!fs.existsSync(dir))
+        const resolvedDir = resolveExistingDirectory(dir);
+        if (!resolvedDir || visitedDirs.has(resolvedDir)) {
             return;
+        }
+        visitedDirs.add(resolvedDir);
         let entries;
         try {
-            entries = fs.readdirSync(dir, { withFileTypes: true });
+            entries = fs.readdirSync(resolvedDir, { withFileTypes: true });
         }
         catch (error) {
             if (isIgnorableDirReadError(error)) {
@@ -82,75 +61,166 @@ const findBindingsFiles = (packagePath) => {
             throw error;
         }
         for (const entry of entries) {
-            const fullPath = path.join(dir, entry.name);
-            if (entry.isDirectory()) {
+            const fullPath = path.join(resolvedDir, entry.name);
+            if (entry.isDirectory() || entry.isSymbolicLink()) {
                 walk(fullPath);
             }
-            else if (entry.name === "bindings.json") {
-                bindingsFiles.push(fullPath);
+            if (entry.name !== "bindings.json") {
+                continue;
+            }
+            const resolvedFile = resolveExistingFile(fullPath);
+            if (resolvedFile) {
+                bindingsFiles.add(resolvedFile);
             }
         }
     };
     walk(packagePath);
-    return bindingsFiles;
+    return Array.from(bindingsFiles).sort();
 };
-const isRawClrBindingsFile = (value) => {
-    if (typeof value !== "object" || value === null)
+const isIgnorableDirReadError = (error) => {
+    if (!(error instanceof Error))
         return false;
-    const candidate = value;
-    return (typeof candidate.namespace === "string" && Array.isArray(candidate.types));
+    const err = error;
+    return err.code === "EACCES" || err.code === "EPERM";
+};
+const resolveExistingDirectory = (candidatePath) => {
+    try {
+        const resolved = fs.realpathSync.native(candidatePath);
+        return fs.statSync(resolved).isDirectory() ? resolved : undefined;
+    }
+    catch {
+        return undefined;
+    }
+};
+const resolveExistingFile = (candidatePath) => {
+    try {
+        const resolved = fs.realpathSync.native(candidatePath);
+        return fs.statSync(resolved).isFile() ? resolved : undefined;
+    }
+    catch {
+        return undefined;
+    }
+};
+const resolveExistingCompanionDtsFiles = (bindingsPath) => {
+    const namespaceDir = path.dirname(bindingsPath);
+    const namespaceName = path.basename(namespaceDir);
+    const packageRoot = path.dirname(namespaceDir);
+    const candidates = [
+        path.join(packageRoot, `${namespaceName}.d.ts`),
+        path.join(namespaceDir, "internal", "index.d.ts"),
+    ];
+    const resolvedFiles = [];
+    for (const candidate of candidates) {
+        const resolved = resolveExistingFile(candidate);
+        if (resolved && !resolvedFiles.includes(resolved)) {
+            resolvedFiles.push(resolved);
+        }
+    }
+    return resolvedFiles;
 };
 // ═══════════════════════════════════════════════════════════════════════════
 // MAIN LOADER FUNCTION
 // ═══════════════════════════════════════════════════════════════════════════
 /**
- * Load all assembly types from node_modules/@tsonic packages.
+ * Load all assembly types from explicitly participating CLR packages.
  *
- * @param nodeModulesPath - Path to node_modules directory
+ * @param _nodeModulesPath - Unused legacy slot preserved for call-site stability
+ * until callers are fully migrated to the explicit-roots-only model.
+ * @param extraPackageRoots - Explicit CLR package roots participating in this build
  * @returns AssemblyTypeCatalog with all loaded types
  */
-export const loadClrCatalog = (nodeModulesPath, extraPackageRoots = []) => {
+export const loadClrCatalog = (_nodeModulesPath, extraPackageRoots = []) => {
     const entries = new Map();
     const tsNameToTypeId = new Map();
     const clrNameToTypeId = new Map();
     const namespaceToTypeIds = new Map();
     const dtsFiles = new Set();
-    // Find all @tsonic packages
-    const packageRoots = new Set(findTsonicPackages(nodeModulesPath));
+    const packageRoots = new Set();
+    const visitedPackageRoots = new Set();
+    const visitPackageRoot = (packageRoot, forceDependencyTraversal) => {
+        const resolvedRoot = resolveExistingDirectory(packageRoot);
+        if (!resolvedRoot || visitedPackageRoots.has(resolvedRoot)) {
+            return;
+        }
+        visitedPackageRoots.add(resolvedRoot);
+        const sourcePackageRoot = isSourcePackageRoot(resolvedRoot);
+        if (!sourcePackageRoot) {
+            packageRoots.add(resolvedRoot);
+        }
+        const hasBindingsManifest = !sourcePackageRoot &&
+            fs.existsSync(path.join(resolvedRoot, "tsonic.bindings.json"));
+        const hasSurfaceManifest = fs.existsSync(path.join(resolvedRoot, "tsonic.surface.json"));
+        const discoveredClrBindingsInPackage = !sourcePackageRoot && findBindingsFiles(resolvedRoot).length > 0;
+        const shouldTraverseDependencies = forceDependencyTraversal ||
+            sourcePackageRoot ||
+            hasBindingsManifest ||
+            hasSurfaceManifest ||
+            discoveredClrBindingsInPackage;
+        if (!shouldTraverseDependencies) {
+            return;
+        }
+        const packageJsonPath = path.join(resolvedRoot, "package.json");
+        if (!fs.existsSync(packageJsonPath)) {
+            return;
+        }
+        try {
+            const packageJson = JSON.parse(fs.readFileSync(packageJsonPath, "utf-8"));
+            const dependencyNames = new Set();
+            const dependencyBuckets = [
+                packageJson.dependencies,
+                packageJson.optionalDependencies,
+                packageJson.peerDependencies,
+            ];
+            for (const bucket of dependencyBuckets) {
+                if (bucket !== null &&
+                    typeof bucket === "object" &&
+                    !Array.isArray(bucket)) {
+                    for (const depName of Object.keys(bucket)) {
+                        dependencyNames.add(depName);
+                    }
+                }
+            }
+            for (const depName of dependencyNames) {
+                const dependencyRoot = resolveDependencyPackageRoot(resolvedRoot, depName);
+                if (dependencyRoot) {
+                    visitPackageRoot(dependencyRoot, false);
+                }
+            }
+        }
+        catch {
+            // Ignore unreadable or invalid package manifests.
+        }
+    };
     for (const extra of extraPackageRoots) {
-        packageRoots.add(extra);
+        visitPackageRoot(extra, true);
     }
     for (const packagePath of Array.from(packageRoots).sort()) {
+        if (isSourcePackageRoot(packagePath)) {
+            continue;
+        }
         // Find all bindings.json files
         const bindingsFiles = findBindingsFiles(packagePath);
         for (const bindingsPath of bindingsFiles) {
-            try {
-                const internalDtsPath = path.join(path.dirname(bindingsPath), "internal", "index.d.ts");
-                if (fs.existsSync(internalDtsPath)) {
-                    dtsFiles.add(internalDtsPath);
-                }
-                const content = fs.readFileSync(bindingsPath, "utf-8");
-                const parsed = JSON.parse(content);
-                if (!isRawClrBindingsFile(parsed)) {
-                    continue;
-                }
-                const bindings = parsed;
-                for (const rawType of bindings.types) {
-                    const entry = convertRawType(rawType, bindings.namespace);
-                    // Add to entries map
-                    entries.set(entry.typeId.stableId, entry);
-                    // Add to name lookup maps
-                    tsNameToTypeId.set(entry.typeId.tsName, entry.typeId);
-                    clrNameToTypeId.set(entry.typeId.clrName, entry.typeId);
-                    // Add to namespace map
-                    const nsTypes = namespaceToTypeIds.get(bindings.namespace) ?? [];
-                    nsTypes.push(entry.typeId);
-                    namespaceToTypeIds.set(bindings.namespace, nsTypes);
-                }
+            for (const companionDtsPath of resolveExistingCompanionDtsFiles(bindingsPath)) {
+                dtsFiles.add(companionDtsPath);
+            }
+            const content = fs.readFileSync(bindingsPath, "utf-8");
+            const parsed = JSON.parse(content);
+            const bindings = extractRawDotnetBindingsPayload(parsed);
+            if (!bindings) {
+                continue;
             }
-            catch (e) {
-                // Log but continue - don't fail on malformed files
-                console.warn(`Failed to load metadata from ${bindingsPath}:`, e);
+            for (const rawType of bindings.types) {
+                const entry = convertRawType(rawType, bindings.namespace);
+                // Add to entries map
+                entries.set(entry.typeId.stableId, entry);
+                // Add to name lookup maps
+                tsNameToTypeId.set(entry.typeId.tsName, entry.typeId);
+                clrNameToTypeId.set(entry.typeId.clrName, entry.typeId);
+                // Add to namespace map
+                const nsTypes = namespaceToTypeIds.get(bindings.namespace) ?? [];
+                nsTypes.push(entry.typeId);
+                namespaceToTypeIds.set(bindings.namespace, nsTypes);
             }
         }
     }
@@ -176,10 +246,10 @@ export const loadSinglePackageBindings = (bindingsPath) => {
     const dtsPath = path.join(path.dirname(bindingsPath), "internal", "index.d.ts");
     const content = fs.readFileSync(bindingsPath, "utf-8");
     const parsed = JSON.parse(content);
-    if (!isRawClrBindingsFile(parsed)) {
-        throw new Error(`Expected tsbindgen CLR bindings with 'namespace' and 'types' at ${bindingsPath}`);
+    const bindings = extractRawDotnetBindingsPayload(parsed);
+    if (!bindings) {
+        throw new Error(`Expected CLR bindings with 'namespace' and either 'types' or 'dotnet.types' at ${bindingsPath}`);
     }
-    const bindings = parsed;
     for (const rawType of bindings.types) {
         const entry = convertRawType(rawType, bindings.namespace);
         entries.set(entry.typeId.stableId, entry);