@tsonic/frontend 0.0.1 → 0.0.2

package/dist/ir/types/index.js

@@ -0,0 +1,7 @@
+/**
+ * IR types barrel exports
+ * Intermediate Representation (IR) types for Tsonic compiler
+ */
+// Type guards
+export { isStatement, isExpression } from "./guards.js";
+//# sourceMappingURL=index.js.map

package/dist/ir/types/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/ir/types/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAuGH,cAAc;AACd,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC"}

package/dist/ir/types/ir-types.d.ts

@@ -0,0 +1,69 @@
+/**
+ * Type system types for IR (IrType and its variants)
+ */
+import { IrParameter, IrInterfaceMember } from "./helpers.js";
+export type IrType = IrPrimitiveType | IrReferenceType | IrArrayType | IrFunctionType | IrObjectType | IrDictionaryType | IrUnionType | IrIntersectionType | IrLiteralType | IrAnyType | IrUnknownType | IrVoidType | IrNeverType;
+export type IrPrimitiveType = {
+    readonly kind: "primitiveType";
+    readonly name: "string" | "number" | "boolean" | "null" | "undefined";
+};
+export type IrReferenceType = {
+    readonly kind: "referenceType";
+    readonly name: string;
+    readonly typeArguments?: readonly IrType[];
+    /** Fully-qualified CLR type for imported types (e.g., "MyApp.models.User") */
+    readonly resolvedClrType?: string;
+};
+export type IrArrayType = {
+    readonly kind: "arrayType";
+    readonly elementType: IrType;
+};
+export type IrFunctionType = {
+    readonly kind: "functionType";
+    readonly parameters: readonly IrParameter[];
+    readonly returnType: IrType;
+};
+export type IrObjectType = {
+    readonly kind: "objectType";
+    readonly members: readonly IrInterfaceMember[];
+};
+/**
+ * Dictionary/map type for index signatures and Record<K, V>
+ *
+ * Examples:
+ * - `{ [k: string]: T }` → IrDictionaryType { keyType: string, valueType: T }
+ * - `Record<string, T>` → IrDictionaryType { keyType: string, valueType: T }
+ *
+ * Emits to C# Dictionary<TKey, TValue>.
+ * Access should be via indexer `d["key"]` (dot property access will fail in C#).
+ */
+export type IrDictionaryType = {
+    readonly kind: "dictionaryType";
+    readonly keyType: IrType;
+    readonly valueType: IrType;
+};
+export type IrUnionType = {
+    readonly kind: "unionType";
+    readonly types: readonly IrType[];
+};
+export type IrIntersectionType = {
+    readonly kind: "intersectionType";
+    readonly types: readonly IrType[];
+};
+export type IrLiteralType = {
+    readonly kind: "literalType";
+    readonly value: string | number | boolean;
+};
+export type IrAnyType = {
+    readonly kind: "anyType";
+};
+export type IrUnknownType = {
+    readonly kind: "unknownType";
+};
+export type IrVoidType = {
+    readonly kind: "voidType";
+};
+export type IrNeverType = {
+    readonly kind: "neverType";
+};
+//# sourceMappingURL=ir-types.d.ts.map

package/dist/ir/types/ir-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ir-types.d.ts","sourceRoot":"","sources":["../../../src/ir/types/ir-types.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AAE9D,MAAM,MAAM,MAAM,GACd,eAAe,GACf,eAAe,GACf,WAAW,GACX,cAAc,GACd,YAAY,GACZ,gBAAgB,GAChB,WAAW,GACX,kBAAkB,GAClB,aAAa,GACb,SAAS,GACT,aAAa,GACb,UAAU,GACV,WAAW,CAAC;AAEhB,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,MAAM,GAAG,WAAW,CAAC;CACvE,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,8EAA8E;IAC9E,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;CACnC,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,SAAS,WAAW,EAAE,CAAC;IAC5C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,SAAS,iBAAiB,EAAE,CAAC;CAChD,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;CAC3C,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;CAC9B,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;CAC3B,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;CAC5B,CAAC"}

package/dist/ir/types/ir-types.js

@@ -0,0 +1,5 @@
+/**
+ * Type system types for IR (IrType and its variants)
+ */
+export {};
+//# sourceMappingURL=ir-types.js.map

package/dist/ir/types/ir-types.js.map

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

package/dist/ir/types/module.d.ts

@@ -0,0 +1,56 @@
+/**
+ * Core IR module types (Module, Import, Export)
+ */
+import { IrStatement } from "./statements.js";
+import { IrExpression } from "./expressions.js";
+export type IrModule = {
+    readonly kind: "module";
+    readonly filePath: string;
+    readonly namespace: string;
+    readonly className: string;
+    readonly isStaticContainer: boolean;
+    readonly imports: readonly IrImport[];
+    readonly body: readonly IrStatement[];
+    readonly exports: readonly IrExport[];
+};
+export type IrImport = {
+    readonly kind: "import";
+    readonly source: string;
+    readonly isLocal: boolean;
+    readonly isDotNet: boolean;
+    readonly specifiers: readonly IrImportSpecifier[];
+    readonly resolvedNamespace?: string;
+    readonly resolvedClrType?: string;
+    readonly resolvedAssembly?: string;
+    readonly targetContainerName?: string;
+};
+export type IrImportSpecifier = {
+    readonly kind: "default";
+    readonly localName: string;
+} | {
+    readonly kind: "namespace";
+    readonly localName: string;
+} | {
+    readonly kind: "named";
+    readonly name: string;
+    readonly localName: string;
+    /** Whether this import is a type (interface/class) - emitted at namespace level in C# */
+    readonly isType?: boolean;
+};
+export type IrExport = {
+    readonly kind: "named";
+    readonly name: string;
+    readonly localName: string;
+} | {
+    readonly kind: "default";
+    readonly expression: IrExpression;
+} | {
+    readonly kind: "declaration";
+    readonly declaration: IrStatement;
+} | {
+    readonly kind: "reexport";
+    readonly name: string;
+    readonly originalName: string;
+    readonly fromModule: string;
+};
+//# sourceMappingURL=module.d.ts.map

package/dist/ir/types/module.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"module.d.ts","sourceRoot":"","sources":["../../../src/ir/types/module.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAEhD,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,iBAAiB,EAAE,OAAO,CAAC;IACpC,QAAQ,CAAC,OAAO,EAAE,SAAS,QAAQ,EAAE,CAAC;IACtC,QAAQ,CAAC,IAAI,EAAE,SAAS,WAAW,EAAE,CAAC;IACtC,QAAQ,CAAC,OAAO,EAAE,SAAS,QAAQ,EAAE,CAAC;CACvC,CAAC;AAEF,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAClD,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAEpC,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAEnC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;CACvC,CAAC;AAEF,MAAM,MAAM,iBAAiB,GACzB;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GACxD;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GAC1D;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,yFAAyF;IACzF,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;CAC3B,CAAC;AAEN,MAAM,MAAM,QAAQ,GAChB;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,YAAY,CAAA;CAAE,GAC/D;IAAE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAAC,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAA;CAAE,GACnE;IACE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,CAAC"}

package/dist/ir/types/module.js

@@ -0,0 +1,5 @@
+/**
+ * Core IR module types (Module, Import, Export)
+ */
+export {};
+//# sourceMappingURL=module.js.map

package/dist/ir/types/module.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"module.js","sourceRoot":"","sources":["../../../src/ir/types/module.ts"],"names":[],"mappings":"AAAA;;GAEG"}

package/dist/ir/types/statements.d.ts

@@ -0,0 +1,182 @@
+/**
+ * Statement types for IR
+ */
+import { IrType } from "./ir-types.js";
+import { IrPattern, IrParameter, IrTypeParameter, IrAccessibility, IrInterfaceMember } from "./helpers.js";
+import { IrExpression } from "./expressions.js";
+export type IrStatement = IrVariableDeclaration | IrFunctionDeclaration | IrClassDeclaration | IrInterfaceDeclaration | IrEnumDeclaration | IrTypeAliasDeclaration | IrExpressionStatement | IrReturnStatement | IrIfStatement | IrWhileStatement | IrForStatement | IrForOfStatement | IrSwitchStatement | IrThrowStatement | IrTryStatement | IrBlockStatement | IrBreakStatement | IrContinueStatement | IrEmptyStatement;
+export type IrVariableDeclaration = {
+    readonly kind: "variableDeclaration";
+    readonly declarationKind: "const" | "let" | "var";
+    readonly declarations: readonly IrVariableDeclarator[];
+    readonly isExported: boolean;
+};
+export type IrVariableDeclarator = {
+    readonly kind: "variableDeclarator";
+    readonly name: IrPattern;
+    /** Type from annotation or inferred. Always set for module-level exports (C# requires explicit type). */
+    readonly type?: IrType;
+    readonly initializer?: IrExpression;
+};
+export type IrFunctionDeclaration = {
+    readonly kind: "functionDeclaration";
+    readonly name: string;
+    readonly typeParameters?: readonly IrTypeParameter[];
+    readonly parameters: readonly IrParameter[];
+    readonly returnType?: IrType;
+    readonly body: IrBlockStatement;
+    readonly isAsync: boolean;
+    readonly isGenerator: boolean;
+    readonly isExported: boolean;
+};
+export type IrClassDeclaration = {
+    readonly kind: "classDeclaration";
+    readonly name: string;
+    readonly typeParameters?: readonly IrTypeParameter[];
+    readonly superClass?: IrExpression;
+    readonly implements: readonly IrType[];
+    readonly members: readonly IrClassMember[];
+    readonly isExported: boolean;
+    /** True if this class should be emitted as a C# struct instead of a class */
+    readonly isStruct: boolean;
+};
+export type IrClassMember = IrMethodDeclaration | IrPropertyDeclaration | IrConstructorDeclaration;
+export type IrMethodDeclaration = {
+    readonly kind: "methodDeclaration";
+    readonly name: string;
+    readonly typeParameters?: readonly IrTypeParameter[];
+    readonly parameters: readonly IrParameter[];
+    readonly returnType?: IrType;
+    readonly body?: IrBlockStatement;
+    readonly isStatic: boolean;
+    readonly isAsync: boolean;
+    readonly isGenerator: boolean;
+    readonly accessibility: IrAccessibility;
+    /** True if this method overrides a virtual base class method (from metadata or TS base class) */
+    readonly isOverride?: boolean;
+    /** True if this method shadows a non-virtual base method (future: emit 'new' keyword) */
+    readonly isShadow?: boolean;
+};
+export type IrPropertyDeclaration = {
+    readonly kind: "propertyDeclaration";
+    readonly name: string;
+    /** Type from annotation or inferred. Always set for class fields (C# requires explicit type). */
+    readonly type?: IrType;
+    readonly initializer?: IrExpression;
+    readonly isStatic: boolean;
+    readonly isReadonly: boolean;
+    readonly accessibility: IrAccessibility;
+    /** True if this property overrides a virtual base class property (from metadata or TS base class) */
+    readonly isOverride?: boolean;
+    /** True if this property shadows a non-virtual base property (future: emit 'new' keyword) */
+    readonly isShadow?: boolean;
+};
+export type IrConstructorDeclaration = {
+    readonly kind: "constructorDeclaration";
+    readonly parameters: readonly IrParameter[];
+    readonly body?: IrBlockStatement;
+    readonly accessibility: IrAccessibility;
+};
+export type IrInterfaceDeclaration = {
+    readonly kind: "interfaceDeclaration";
+    readonly name: string;
+    readonly typeParameters?: readonly IrTypeParameter[];
+    readonly extends: readonly IrType[];
+    readonly members: readonly IrInterfaceMember[];
+    readonly isExported: boolean;
+    /** True if this interface should be emitted as a C# struct instead of a class */
+    readonly isStruct: boolean;
+};
+export type IrEnumDeclaration = {
+    readonly kind: "enumDeclaration";
+    readonly name: string;
+    readonly members: readonly IrEnumMember[];
+    readonly isExported: boolean;
+};
+export type IrEnumMember = {
+    readonly kind: "enumMember";
+    readonly name: string;
+    readonly initializer?: IrExpression;
+};
+export type IrTypeAliasDeclaration = {
+    readonly kind: "typeAliasDeclaration";
+    readonly name: string;
+    readonly typeParameters?: readonly IrTypeParameter[];
+    readonly type: IrType;
+    readonly isExported: boolean;
+    /** True if this type alias should be emitted as a C# struct instead of a class */
+    readonly isStruct: boolean;
+};
+export type IrExpressionStatement = {
+    readonly kind: "expressionStatement";
+    readonly expression: IrExpression;
+};
+export type IrReturnStatement = {
+    readonly kind: "returnStatement";
+    readonly expression?: IrExpression;
+};
+export type IrIfStatement = {
+    readonly kind: "ifStatement";
+    readonly condition: IrExpression;
+    readonly thenStatement: IrStatement;
+    readonly elseStatement?: IrStatement;
+};
+export type IrWhileStatement = {
+    readonly kind: "whileStatement";
+    readonly condition: IrExpression;
+    readonly body: IrStatement;
+};
+export type IrForStatement = {
+    readonly kind: "forStatement";
+    readonly initializer?: IrVariableDeclaration | IrExpression;
+    readonly condition?: IrExpression;
+    readonly update?: IrExpression;
+    readonly body: IrStatement;
+};
+export type IrForOfStatement = {
+    readonly kind: "forOfStatement";
+    readonly variable: IrPattern;
+    readonly expression: IrExpression;
+    readonly body: IrStatement;
+};
+export type IrSwitchStatement = {
+    readonly kind: "switchStatement";
+    readonly expression: IrExpression;
+    readonly cases: readonly IrSwitchCase[];
+};
+export type IrSwitchCase = {
+    readonly kind: "switchCase";
+    readonly test?: IrExpression;
+    readonly statements: readonly IrStatement[];
+};
+export type IrThrowStatement = {
+    readonly kind: "throwStatement";
+    readonly expression: IrExpression;
+};
+export type IrTryStatement = {
+    readonly kind: "tryStatement";
+    readonly tryBlock: IrBlockStatement;
+    readonly catchClause?: IrCatchClause;
+    readonly finallyBlock?: IrBlockStatement;
+};
+export type IrCatchClause = {
+    readonly kind: "catchClause";
+    readonly parameter?: IrPattern;
+    readonly body: IrBlockStatement;
+};
+export type IrBlockStatement = {
+    readonly kind: "blockStatement";
+    readonly statements: readonly IrStatement[];
+};
+export type IrBreakStatement = {
+    readonly kind: "breakStatement";
+    readonly label?: string;
+};
+export type IrContinueStatement = {
+    readonly kind: "continueStatement";
+    readonly label?: string;
+};
+export type IrEmptyStatement = {
+    readonly kind: "emptyStatement";
+};
+//# sourceMappingURL=statements.d.ts.map

package/dist/ir/types/statements.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"statements.d.ts","sourceRoot":"","sources":["../../../src/ir/types/statements.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AACvC,OAAO,EACL,SAAS,EACT,WAAW,EACX,eAAe,EACf,eAAe,EACf,iBAAiB,EAClB,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAEhD,MAAM,MAAM,WAAW,GACnB,qBAAqB,GACrB,qBAAqB,GACrB,kBAAkB,GAClB,sBAAsB,GACtB,iBAAiB,GACjB,sBAAsB,GACtB,qBAAqB,GACrB,iBAAiB,GACjB,aAAa,GACb,gBAAgB,GAChB,cAAc,GACd,gBAAgB,GAChB,iBAAiB,GACjB,gBAAgB,GAChB,cAAc,GACd,gBAAgB,GAChB,gBAAgB,GAChB,mBAAmB,GACnB,gBAAgB,CAAC;AAErB,MAAM,MAAM,qBAAqB,GAAG;IAClC,QAAQ,CAAC,IAAI,EAAE,qBAAqB,CAAC;IACrC,QAAQ,CAAC,eAAe,EAAE,OAAO,GAAG,KAAK,GAAG,KAAK,CAAC;IAClD,QAAQ,CAAC,YAAY,EAAE,SAAS,oBAAoB,EAAE,CAAC;IACvD,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;CAC9B,CAAC;AAEF,MAAM,MAAM,oBAAoB,GAAG;IACjC,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;IACpC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,yGAAyG;IACzG,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,WAAW,CAAC,EAAE,YAAY,CAAC;CACrC,CAAC;AAEF,MAAM,MAAM,qBAAqB,GAAG;IAClC,QAAQ,CAAC,IAAI,EAAE,qBAAqB,CAAC;IACrC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,eAAe,EAAE,CAAC;IACrD,QAAQ,CAAC,UAAU,EAAE,SAAS,WAAW,EAAE,CAAC;IAC5C,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;CAC9B,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAClC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,eAAe,EAAE,CAAC;IACrD,QAAQ,CAAC,UAAU,CAAC,EAAE,YAAY,CAAC;IACnC,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,QAAQ,CAAC,OAAO,EAAE,SAAS,aAAa,EAAE,CAAC;IAC3C,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,6EAA6E;IAC7E,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B,CAAC;AAEF,MAAM,MAAM,aAAa,GACrB,mBAAmB,GACnB,qBAAqB,GACrB,wBAAwB,CAAC;AAE7B,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IACnC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,eAAe,EAAE,CAAC;IACrD,QAAQ,CAAC,UAAU,EAAE,SAAS,WAAW,EAAE,CAAC;IAC5C,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,IAAI,CAAC,EAAE,gBAAgB,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,QAAQ,CAAC,aAAa,EAAE,eAAe,CAAC;IACxC,iGAAiG;IACjG,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC;IAC9B,yFAAyF;IACzF,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;CAC7B,CAAC;AAEF,MAAM,MAAM,qBAAqB,GAAG;IAClC,QAAQ,CAAC,IAAI,EAAE,qBAAqB,CAAC;IACrC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,iGAAiG;IACjG,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,WAAW,CAAC,EAAE,YAAY,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,eAAe,CAAC;IACxC,qGAAqG;IACrG,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC;IAC9B,6FAA6F;IAC7F,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;CAC7B,CAAC;AAEF,MAAM,MAAM,wBAAwB,GAAG;IACrC,QAAQ,CAAC,IAAI,EAAE,wBAAwB,CAAC;IACxC,QAAQ,CAAC,UAAU,EAAE,SAAS,WAAW,EAAE,CAAC;IAC5C,QAAQ,CAAC,IAAI,CAAC,EAAE,gBAAgB,CAAC;IACjC,QAAQ,CAAC,aAAa,EAAE,eAAe,CAAC;CACzC,CAAC;AAEF,MAAM,MAAM,sBAAsB,GAAG;IACnC,QAAQ,CAAC,IAAI,EAAE,sBAAsB,CAAC;IACtC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,eAAe,EAAE,CAAC;IACrD,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,OAAO,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAC/C,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,iFAAiF;IACjF,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,SAAS,YAAY,EAAE,CAAC;IAC1C,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;CAC9B,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,CAAC,EAAE,YAAY,CAAC;CACrC,CAAC;AAEF,MAAM,MAAM,sBAAsB,GAAG;IACnC,QAAQ,CAAC,IAAI,EAAE,sBAAsB,CAAC;IACtC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,eAAe,EAAE,CAAC;IACrD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,kFAAkF;IAClF,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B,CAAC;AAEF,MAAM,MAAM,qBAAqB,GAAG;IAClC,QAAQ,CAAC,IAAI,EAAE,qBAAqB,CAAC;IACrC,QAAQ,CAAC,UAAU,EAAE,YAAY,CAAC;CACnC,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IACjC,QAAQ,CAAC,UAAU,CAAC,EAAE,YAAY,CAAC;CACpC,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,YAAY,CAAC;IACjC,QAAQ,CAAC,aAAa,EAAE,WAAW,CAAC;IACpC,QAAQ,CAAC,aAAa,CAAC,EAAE,WAAW,CAAC;CACtC,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,YAAY,CAAC;IACjC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;CAC5B,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,WAAW,CAAC,EAAE,qBAAqB,GAAG,YAAY,CAAC;IAC5D,QAAQ,CAAC,SAAS,CAAC,EAAE,YAAY,CAAC;IAClC,QAAQ,CAAC,MAAM,CAAC,EAAE,YAAY,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;CAC5B,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,YAAY,CAAC;IAClC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;CAC5B,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IACjC,QAAQ,CAAC,UAAU,EAAE,YAAY,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,SAAS,YAAY,EAAE,CAAC;CACzC,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,IAAI,CAAC,EAAE,YAAY,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,SAAS,WAAW,EAAE,CAAC;CAC7C,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,QAAQ,CAAC,UAAU,EAAE,YAAY,CAAC;CACnC,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,CAAC;IACpC,QAAQ,CAAC,WAAW,CAAC,EAAE,aAAa,CAAC;IACrC,QAAQ,CAAC,YAAY,CAAC,EAAE,gBAAgB,CAAC;CAC1C,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;CACjC,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,QAAQ,CAAC,UAAU,EAAE,SAAS,WAAW,EAAE,CAAC;CAC7C,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IACnC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;CACjC,CAAC"}

package/dist/ir/types/statements.js

@@ -0,0 +1,5 @@
+/**
+ * Statement types for IR
+ */
+export {};
+//# sourceMappingURL=statements.js.map

package/dist/ir/types/statements.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"statements.js","sourceRoot":"","sources":["../../../src/ir/types/statements.ts"],"names":[],"mappings":"AAAA;;GAEG"}

package/dist/ir/types.d.ts

@@ -0,0 +1,7 @@
+/**
+ * Intermediate Representation (IR) types for Tsonic compiler
+ * Main dispatcher - re-exports from specialized modules
+ */
+export type { IrModule, IrImport, IrImportSpecifier, IrExport, IrStatement, IrVariableDeclaration, IrVariableDeclarator, IrFunctionDeclaration, IrClassDeclaration, IrClassMember, IrMethodDeclaration, IrPropertyDeclaration, IrConstructorDeclaration, IrInterfaceDeclaration, IrEnumDeclaration, IrEnumMember, IrTypeAliasDeclaration, IrExpressionStatement, IrReturnStatement, IrIfStatement, IrWhileStatement, IrForStatement, IrForOfStatement, IrSwitchStatement, IrSwitchCase, IrThrowStatement, IrTryStatement, IrCatchClause, IrBlockStatement, IrBreakStatement, IrContinueStatement, IrEmptyStatement, IrExpression, IrLiteralExpression, IrIdentifierExpression, IrArrayExpression, IrObjectExpression, IrObjectProperty, IrFunctionExpression, IrArrowFunctionExpression, IrMemberExpression, IrCallExpression, IrNewExpression, IrThisExpression, IrUpdateExpression, IrUnaryExpression, IrBinaryExpression, IrLogicalExpression, IrConditionalExpression, IrAssignmentExpression, IrTemplateLiteralExpression, IrSpreadExpression, IrAwaitExpression, IrYieldExpression, IrType, IrPrimitiveType, IrReferenceType, IrArrayType, IrFunctionType, IrObjectType, IrDictionaryType, IrUnionType, IrIntersectionType, IrLiteralType, IrAnyType, IrUnknownType, IrVoidType, IrNeverType, IrPattern, IrIdentifierPattern, IrArrayPattern, IrObjectPattern, IrObjectPatternProperty, IrTypeParameter, IrParameter, IrInterfaceMember, IrPropertySignature, IrMethodSignature, IrAccessibility, IrBinaryOperator, IrAssignmentOperator, } from "./types/index.js";
+export { isStatement, isExpression } from "./types/guards.js";
+//# sourceMappingURL=types.d.ts.map

package/dist/ir/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/ir/types.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,YAAY,EAEV,QAAQ,EACR,QAAQ,EACR,iBAAiB,EACjB,QAAQ,EAER,WAAW,EACX,qBAAqB,EACrB,oBAAoB,EACpB,qBAAqB,EACrB,kBAAkB,EAClB,aAAa,EACb,mBAAmB,EACnB,qBAAqB,EACrB,wBAAwB,EACxB,sBAAsB,EACtB,iBAAiB,EACjB,YAAY,EACZ,sBAAsB,EACtB,qBAAqB,EACrB,iBAAiB,EACjB,aAAa,EACb,gBAAgB,EAChB,cAAc,EACd,gBAAgB,EAChB,iBAAiB,EACjB,YAAY,EACZ,gBAAgB,EAChB,cAAc,EACd,aAAa,EACb,gBAAgB,EAChB,gBAAgB,EAChB,mBAAmB,EACnB,gBAAgB,EAEhB,YAAY,EACZ,mBAAmB,EACnB,sBAAsB,EACtB,iBAAiB,EACjB,kBAAkB,EAClB,gBAAgB,EAChB,oBAAoB,EACpB,yBAAyB,EACzB,kBAAkB,EAClB,gBAAgB,EAChB,eAAe,EACf,gBAAgB,EAChB,kBAAkB,EAClB,iBAAiB,EACjB,kBAAkB,EAClB,mBAAmB,EACnB,uBAAuB,EACvB,sBAAsB,EACtB,2BAA2B,EAC3B,kBAAkB,EAClB,iBAAiB,EACjB,iBAAiB,EAEjB,MAAM,EACN,eAAe,EACf,eAAe,EACf,WAAW,EACX,cAAc,EACd,YAAY,EACZ,gBAAgB,EAChB,WAAW,EACX,kBAAkB,EAClB,aAAa,EACb,SAAS,EACT,aAAa,EACb,UAAU,EACV,WAAW,EAEX,SAAS,EACT,mBAAmB,EACnB,cAAc,EACd,eAAe,EACf,uBAAuB,EACvB,eAAe,EACf,WAAW,EACX,iBAAiB,EACjB,mBAAmB,EACnB,iBAAiB,EACjB,eAAe,EACf,gBAAgB,EAChB,oBAAoB,GACrB,MAAM,kBAAkB,CAAC;AAG1B,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC"}

package/dist/ir/types.js

@@ -0,0 +1,7 @@
+/**
+ * Intermediate Representation (IR) types for Tsonic compiler
+ * Main dispatcher - re-exports from specialized modules
+ */
+// Re-export type guards
+export { isStatement, isExpression } from "./types/guards.js";
+//# sourceMappingURL=types.js.map

package/dist/ir/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/ir/types.ts"],"names":[],"mappings":"AAAA;;;GAGG;AA4FH,wBAAwB;AACxB,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC"}

package/dist/metadata/bindings-loader.d.ts

@@ -0,0 +1,41 @@
+/**
+ * Bindings JSON loader - Reads and validates .bindings.json files from tsbindgen.
+ *
+ * This module provides pure functions to load runtime binding files and validate
+ * their structure against the expected schema.
+ *
+ * @see spec/bindings.md for complete schema documentation
+ */
+import type { Result } from "../types/result.ts";
+import type { Diagnostic } from "../types/diagnostic.ts";
+import type { BindingsFile, TypeBinding } from "../types/bindings.ts";
+/**
+ * Load and parse a bindings.json file.
+ *
+ * @param filePath - Absolute path to the .bindings.json file
+ * @returns Result containing parsed bindings or diagnostics
+ */
+export declare const loadBindingsFile: (filePath: string) => Result<BindingsFile, Diagnostic[]>;
+/**
+ * Load bindings from a directory containing .bindings.json files.
+ *
+ * @param directoryPath - Path to directory containing bindings files
+ * @returns Result containing array of loaded bindings files or diagnostics
+ */
+export declare const loadBindingsDirectory: (directoryPath: string) => Result<BindingsFile[], Diagnostic[]>;
+/**
+ * Build a registry of type bindings for fast lookup by TypeScript emit name.
+ *
+ * @param bindingsFiles - Array of loaded bindings files
+ * @returns Map from tsEmitName to TypeBinding
+ */
+export declare const buildBindingsRegistry: (bindingsFiles: readonly BindingsFile[]) => ReadonlyMap<string, TypeBinding>;
+/**
+ * Look up a type binding by fully-qualified TypeScript emit name.
+ *
+ * @param registry - Bindings registry
+ * @param qualifiedTsName - Fully qualified TS name (e.g., "System.Collections.Generic.List_1")
+ * @returns TypeBinding if found, undefined otherwise
+ */
+export declare const lookupTypeBinding: (registry: ReadonlyMap<string, TypeBinding>, qualifiedTsName: string) => TypeBinding | undefined;
+//# sourceMappingURL=bindings-loader.d.ts.map

package/dist/metadata/bindings-loader.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"bindings-loader.d.ts","sourceRoot":"","sources":["../../src/metadata/bindings-loader.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAIH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,KAAK,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAEtE;;;;;GAKG;AACH,eAAO,MAAM,gBAAgB,GAC3B,UAAU,MAAM,KACf,MAAM,CAAC,YAAY,EAAE,UAAU,EAAE,CA2DnC,CAAC;AAmKF;;;;;GAKG;AACH,eAAO,MAAM,qBAAqB,GAChC,eAAe,MAAM,KACpB,MAAM,CAAC,YAAY,EAAE,EAAE,UAAU,EAAE,CAoErC,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,qBAAqB,GAChC,eAAe,SAAS,YAAY,EAAE,KACrC,WAAW,CAAC,MAAM,EAAE,WAAW,CAWjC,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,iBAAiB,GAC5B,UAAU,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,EAC1C,iBAAiB,MAAM,KACtB,WAAW,GAAG,SAEhB,CAAC"}