@tsonic/frontend 0.0.62 → 0.0.64

package/dist/ir/converters/statements/declarations/registry.js

@@ -1,130 +0,0 @@
-/**
- * Metadata and binding registry management
- *
- * Provides module-level singletons for:
- * - DotnetMetadataRegistry: .NET metadata for imported types
- * - BindingRegistry: CLR bindings from tsbindgen
- * - TypeRegistry: AST-based type declarations (opaque, set by orchestrator)
- * - NominalEnv: Inheritance chain substitution (opaque, set by orchestrator)
- *
- * ALICE'S SPEC: This module does NOT import internal types.
- * TypeRegistry and NominalEnv are stored as opaque values.
- * Only the orchestrator (which IS allowed to import internals) knows the actual types.
- */
-import { DotnetMetadataRegistry } from "../../../../dotnet-metadata.js";
-import { BindingRegistry } from "../../../../program/bindings.js";
-/**
- * Module-level metadata registry singleton
- * Set once at the start of compilation via setMetadataRegistry()
- */
-let _metadataRegistry = new DotnetMetadataRegistry();
-/**
- * Module-level binding registry singleton
- * Set once at the start of compilation via setBindingRegistry()
- */
-let _bindingRegistry = new BindingRegistry();
-/**
- * Module-level type registry singleton (opaque)
- * Set once at the start of compilation via setTypeRegistry()
- * Used for AST-based type declaration lookups (deterministic typing)
- *
- * ALICE'S SPEC: Stored as opaque value. Only orchestrator knows actual type.
- */
-let _typeRegistry = undefined;
-/**
- * Module-level nominal env singleton (opaque)
- * Set once at the start of compilation via setNominalEnv()
- * Used for inheritance chain substitution (deterministic typing)
- *
- * ALICE'S SPEC: Stored as opaque value. Only orchestrator knows actual type.
- */
-let _nominalEnv = undefined;
-/**
- * Module-level TypeSystem singleton
- * Set once at the start of compilation via setTypeSystem()
- * This is the single source of truth for all type queries (Alice's spec)
- */
-let _typeSystem = undefined;
-/**
- * Set the metadata registry for this compilation
- * Called once at the start of IR building
- */
-export const setMetadataRegistry = (registry) => {
-    _metadataRegistry = registry;
-};
-/**
- * Get the current metadata registry
- */
-export const getMetadataRegistry = () => _metadataRegistry;
-/**
- * Set the binding registry for this compilation
- * Called once at the start of IR building
- */
-export const setBindingRegistry = (registry) => {
-    _bindingRegistry = registry;
-};
-/**
- * Get the current binding registry
- */
-export const getBindingRegistry = () => _bindingRegistry;
-/**
- * Set the type registry for this compilation (opaque)
- * Called once at the start of IR building by orchestrator
- *
- * ALICE'S SPEC: Parameter is opaque. Orchestrator passes actual TypeRegistry.
- */
-export const setTypeRegistry = (registry) => {
-    _typeRegistry = registry;
-};
-/**
- * Internal accessor for TypeSystem construction only.
- * NOT for use in converters - use TypeSystem methods instead.
- *
- * ALICE'S SPEC: Returns opaque value. Orchestrator casts to actual type.
- */
-export const _internalGetTypeRegistry = () => _typeRegistry;
-/**
- * Set the nominal env for this compilation (opaque)
- * Called once at the start of IR building by orchestrator
- *
- * ALICE'S SPEC: Parameter is opaque. Orchestrator passes actual NominalEnv.
- */
-export const setNominalEnv = (env) => {
-    _nominalEnv = env;
-};
-/**
- * Internal accessor for TypeSystem construction only.
- * NOT for use in converters - use TypeSystem methods instead.
- *
- * ALICE'S SPEC: Returns opaque value. Orchestrator casts to actual type.
- */
-export const _internalGetNominalEnv = () => _nominalEnv;
-/**
- * Set the TypeSystem for this compilation.
- * Called once at the start of IR building, after TypeRegistry and NominalEnv are created.
- *
- * This is the ONLY way to set the global TypeSystem. All converters should
- * eventually receive TypeSystem as a parameter, but during migration they
- * can access it via getTypeSystem().
- */
-export const setTypeSystem = (ts) => {
-    _typeSystem = ts;
-};
-/**
- * Get the current TypeSystem.
- * Returns undefined if not yet initialized.
- *
- * During Step 7 migration, converters can use this to access TypeSystem
- * before they are fully migrated to receive it as a parameter.
- */
-export const getTypeSystem = () => _typeSystem;
-/**
- * Clear type registry, nominal env, and TypeSystem.
- * Called between compilations to prevent stale data.
- */
-export const clearTypeRegistries = () => {
-    _typeRegistry = undefined;
-    _nominalEnv = undefined;
-    _typeSystem = undefined;
-};
-//# sourceMappingURL=registry.js.map

package/dist/ir/converters/statements/declarations/registry.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"registry.js","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAelE;;;GAGG;AACH,IAAI,iBAAiB,GAA2B,IAAI,sBAAsB,EAAE,CAAC;AAE7E;;;GAGG;AACH,IAAI,gBAAgB,GAAoB,IAAI,eAAe,EAAE,CAAC;AAE9D;;;;;;GAMG;AACH,IAAI,aAAa,GAAmC,SAAS,CAAC;AAE9D;;;;;;GAMG;AACH,IAAI,WAAW,GAAiC,SAAS,CAAC;AAE1D;;;;GAIG;AACH,IAAI,WAAW,GAA2B,SAAS,CAAC;AAEpD;;;GAGG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,QAAgC,EAAQ,EAAE;IAC5E,iBAAiB,GAAG,QAAQ,CAAC;AAC/B,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,GAA2B,EAAE,CAC9D,iBAAiB,CAAC;AAEpB;;;GAGG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,QAAyB,EAAQ,EAAE;IACpE,gBAAgB,GAAG,QAAQ,CAAC;AAC9B,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,GAAoB,EAAE,CAAC,gBAAgB,CAAC;AAE1E;;;;;GAKG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,QAA4B,EAAQ,EAAE;IACpE,aAAa,GAAG,QAAQ,CAAC;AAC3B,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,GAAmC,EAAE,CAC3E,aAAa,CAAC;AAEhB;;;;;GAKG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,GAAqB,EAAQ,EAAE;IAC3D,WAAW,GAAG,GAAG,CAAC;AACpB,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,GAAiC,EAAE,CACvE,WAAW,CAAC;AAEd;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,EAAc,EAAQ,EAAE;IACpD,WAAW,GAAG,EAAE,CAAC;AACnB,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,GAA2B,EAAE,CAAC,WAAW,CAAC;AAEvE;;;GAGG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,GAAS,EAAE;IAC5C,aAAa,GAAG,SAAS,CAAC;IAC1B,WAAW,GAAG,SAAS,CAAC;IACxB,WAAW,GAAG,SAAS,CAAC;AAC1B,CAAC,CAAC"}

package/dist/ir/this-parameter-inference.test.d.ts

@@ -1,13 +0,0 @@
-/**
- * Tests for TypeScript `this:` parameters in call signatures.
- *
- * tsbindgen uses TS `this:` parameters for extension-method-like surfaces, e.g.:
- *   Where<T>(this: IQueryable<T>, ...): Rewrap<this, IQueryable<T>>
- *
- * For airplane-grade deterministic typing, Tsonic must:
- * - exclude `this` from call arity (it's not a call-site argument)
- * - infer method type parameters from the receiver via the `this` parameter type
- * - erase Rewrap<TReceiver, TNewShape> to the runtime shape (TNewShape)
- */
-export {};
-//# sourceMappingURL=this-parameter-inference.test.d.ts.map

package/dist/ir/this-parameter-inference.test.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"this-parameter-inference.test.d.ts","sourceRoot":"","sources":["../../src/ir/this-parameter-inference.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG"}

package/dist/ir/this-parameter-inference.test.js

@@ -1,165 +0,0 @@
-/**
- * Tests for TypeScript `this:` parameters in call signatures.
- *
- * tsbindgen uses TS `this:` parameters for extension-method-like surfaces, e.g.:
- *   Where<T>(this: IQueryable<T>, ...): Rewrap<this, IQueryable<T>>
- *
- * For airplane-grade deterministic typing, Tsonic must:
- * - exclude `this` from call arity (it's not a call-site argument)
- * - infer method type parameters from the receiver via the `this` parameter type
- * - erase Rewrap<TReceiver, TNewShape> to the runtime shape (TNewShape)
- */
-import { describe, it } from "mocha";
-import { expect } from "chai";
-import * as ts from "typescript";
-import { buildIrModule } from "./builder.js";
-import { createProgramContext } from "./program-context.js";
-import { DotnetMetadataRegistry } from "../dotnet-metadata.js";
-import { BindingRegistry } from "../program/bindings.js";
-import { createClrBindingsResolver } from "../resolver/clr-bindings-resolver.js";
-import { createBinding } from "./binding/index.js";
-describe("TS `this:` parameter inference", () => {
-    const createTestProgram = (source, fileName = "sample.ts") => {
-        const sourceFile = ts.createSourceFile(fileName, source, ts.ScriptTarget.ES2022, true, ts.ScriptKind.TS);
-        const compilerOptions = {
-            target: ts.ScriptTarget.ES2022,
-            module: ts.ModuleKind.NodeNext,
-            strict: true,
-            noEmit: true,
-        };
-        const host = ts.createCompilerHost(compilerOptions);
-        const originalGetSourceFile = host.getSourceFile;
-        host.getSourceFile = (name, languageVersionOrOptions, onError, shouldCreateNewSourceFile) => {
-            if (name === fileName) {
-                return sourceFile;
-            }
-            return originalGetSourceFile.call(host, name, languageVersionOrOptions, onError, shouldCreateNewSourceFile);
-        };
-        const program = ts.createProgram([fileName], compilerOptions, host);
-        const checker = program.getTypeChecker();
-        const testProgram = {
-            program,
-            checker,
-            options: {
-                projectRoot: process.cwd(),
-                sourceRoot: process.cwd(),
-                rootNamespace: "TestApp",
-                strict: true,
-            },
-            sourceFiles: [sourceFile],
-            declarationSourceFiles: [],
-            metadata: new DotnetMetadataRegistry(),
-            bindings: new BindingRegistry(),
-            clrResolver: createClrBindingsResolver("/test"),
-            binding: createBinding(checker),
-        };
-        const options = { sourceRoot: "/test", rootNamespace: "TestApp" };
-        const ctx = createProgramContext(testProgram, options);
-        return { testProgram, ctx, options };
-    };
-    it("infers method type parameters from the receiver via `this:`", () => {
-        const source = `
-      import type { Rewrap } from "@tsonic/core/lang.js";
-
-      interface IQueryable_1<T> {}
-
-      interface __Ext_System_Linq_IQueryable_1<T> {
-        First<TSource>(this: IQueryable_1<TSource>): Rewrap<this, TSource>;
-        Where<TSource>(this: IQueryable_1<TSource>, predicate: (x: TSource) => boolean): Rewrap<this, IQueryable_1<TSource>>;
-      }
-
-      declare const xs: IQueryable_1<string> & __Ext_System_Linq_IQueryable_1<string>;
-
-      export function testFirst(): string {
-        return xs.First();
-      }
-
-      export function testWhere(): void {
-        const ys = xs.Where((x) => x.length > 0);
-        void ys;
-      }
-    `;
-        const { testProgram, ctx, options } = createTestProgram(source);
-        const sourceFile = testProgram.sourceFiles[0];
-        if (!sourceFile)
-            throw new Error("Failed to create source file");
-        // Provide minimal tsbindgen-style CLR bindings so __Ext_* members are treated
-        // as valid extension methods (avoids TSN4004 during IR build).
-        ctx.bindings.addBindings("/test/System.Linq/bindings.json", {
-            namespace: "System.Linq",
-            types: [
-                {
-                    clrName: "System.Linq.Queryable",
-                    assemblyName: "System.Linq",
-                    methods: [
-                        {
-                            clrName: "First",
-                            normalizedSignature: "First|(IQueryable_1):System.String|static=true",
-                            parameterCount: 1,
-                            declaringClrType: "System.Linq.Queryable",
-                            declaringAssemblyName: "System.Linq",
-                            isExtensionMethod: true,
-                        },
-                        {
-                            clrName: "Where",
-                            normalizedSignature: "Where|(IQueryable_1,System.Func_2):IQueryable_1|static=true",
-                            parameterCount: 2,
-                            declaringClrType: "System.Linq.Queryable",
-                            declaringAssemblyName: "System.Linq",
-                            isExtensionMethod: true,
-                        },
-                    ],
-                    properties: [],
-                    fields: [],
-                },
-            ],
-        });
-        const result = buildIrModule(sourceFile, testProgram, options, ctx);
-        expect(result.ok).to.equal(true);
-        if (!result.ok)
-            return;
-        // No deterministic typing diagnostics should be emitted for this pattern.
-        expect(ctx.diagnostics.map((d) => d.code)).to.deep.equal([]);
-        const module = result.value;
-        const testFirstFn = module.body.find((stmt) => stmt.kind === "functionDeclaration" && stmt.name === "testFirst");
-        if (!testFirstFn || testFirstFn.kind !== "functionDeclaration") {
-            throw new Error("Expected function declaration 'testFirst'");
-        }
-        const returnStmt = testFirstFn.body.statements.find((s) => s.kind === "returnStatement");
-        if (!returnStmt || returnStmt.kind !== "returnStatement") {
-            throw new Error("Expected return statement in testFirst()");
-        }
-        const firstCall = returnStmt.expression;
-        if (!firstCall || firstCall.kind !== "call") {
-            throw new Error("Expected call expression in testFirst() return");
-        }
-        expect(firstCall.inferredType).to.deep.equal({
-            kind: "primitiveType",
-            name: "string",
-        });
-        const testWhereFn = module.body.find((stmt) => stmt.kind === "functionDeclaration" && stmt.name === "testWhere");
-        if (!testWhereFn || testWhereFn.kind !== "functionDeclaration") {
-            throw new Error("Expected function declaration 'testWhere'");
-        }
-        const varStmt = testWhereFn.body.statements.find((s) => s.kind === "variableDeclaration");
-        if (!varStmt || varStmt.kind !== "variableDeclaration") {
-            throw new Error("Expected variable declaration in testWhere()");
-        }
-        const init = varStmt.declarations[0]?.initializer;
-        if (!init || init.kind !== "call") {
-            throw new Error("Expected call initializer for ys");
-        }
-        expect(init.inferredType).to.not.equal(undefined);
-        if (!init.inferredType)
-            return;
-        expect(init.inferredType.kind).to.equal("referenceType");
-        if (init.inferredType.kind === "referenceType") {
-            expect(init.inferredType.name).to.equal("IQueryable_1");
-            expect(init.inferredType.typeArguments?.[0]).to.deep.equal({
-                kind: "primitiveType",
-                name: "string",
-            });
-        }
-    });
-});
-//# sourceMappingURL=this-parameter-inference.test.js.map

package/dist/ir/this-parameter-inference.test.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"this-parameter-inference.test.js","sourceRoot":"","sources":["../../src/ir/this-parameter-inference.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAC/D,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,yBAAyB,EAAE,MAAM,sCAAsC,CAAC;AACjF,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAEnD,QAAQ,CAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,MAAM,iBAAiB,GAAG,CAAC,MAAc,EAAE,QAAQ,GAAG,WAAW,EAAE,EAAE;QACnE,MAAM,UAAU,GAAG,EAAE,CAAC,gBAAgB,CACpC,QAAQ,EACR,MAAM,EACN,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,EACJ,EAAE,CAAC,UAAU,CAAC,EAAE,CACjB,CAAC;QAEF,MAAM,eAAe,GAAuB;YAC1C,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM;YAC9B,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ;YAC9B,MAAM,EAAE,IAAI;YACZ,MAAM,EAAE,IAAI;SACb,CAAC;QAEF,MAAM,IAAI,GAAG,EAAE,CAAC,kBAAkB,CAAC,eAAe,CAAC,CAAC;QACpD,MAAM,qBAAqB,GAAG,IAAI,CAAC,aAAa,CAAC;QACjD,IAAI,CAAC,aAAa,GAAG,CACnB,IAAY,EACZ,wBAAsE,EACtE,OAAmC,EACnC,yBAAmC,EACnC,EAAE;YACF,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACtB,OAAO,UAAU,CAAC;YACpB,CAAC;YACD,OAAO,qBAAqB,CAAC,IAAI,CAC/B,IAAI,EACJ,IAAI,EACJ,wBAAwB,EACxB,OAAO,EACP,yBAAyB,CAC1B,CAAC;QACJ,CAAC,CAAC;QAEF,MAAM,OAAO,GAAG,EAAE,CAAC,aAAa,CAAC,CAAC,QAAQ,CAAC,EAAE,eAAe,EAAE,IAAI,CAAC,CAAC;QACpE,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;QAEzC,MAAM,WAAW,GAAG;YAClB,OAAO;YACP,OAAO;YACP,OAAO,EAAE;gBACP,WAAW,EAAE,OAAO,CAAC,GAAG,EAAE;gBAC1B,UAAU,EAAE,OAAO,CAAC,GAAG,EAAE;gBACzB,aAAa,EAAE,SAAS;gBACxB,MAAM,EAAE,IAAI;aACb;YACD,WAAW,EAAE,CAAC,UAAU,CAAC;YACzB,sBAAsB,EAAE,EAAE;YAC1B,QAAQ,EAAE,IAAI,sBAAsB,EAAE;YACtC,QAAQ,EAAE,IAAI,eAAe,EAAE;YAC/B,WAAW,EAAE,yBAAyB,CAAC,OAAO,CAAC;YAC/C,OAAO,EAAE,aAAa,CAAC,OAAO,CAAC;SAChC,CAAC;QAEF,MAAM,OAAO,GAAG,EAAE,UAAU,EAAE,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC;QAClE,MAAM,GAAG,GAAG,oBAAoB,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;QAEvD,OAAO,EAAE,WAAW,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC;IACvC,CAAC,CAAC;IAEF,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;;;;;;KAoBd,CAAC;QAEF,MAAM,EAAE,WAAW,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;QAChE,MAAM,UAAU,GAAG,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;QAC9C,IAAI,CAAC,UAAU;YAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;QAEjE,8EAA8E;QAC9E,+DAA+D;QAC/D,GAAG,CAAC,QAAQ,CAAC,WAAW,CAAC,iCAAiC,EAAE;YAC1D,SAAS,EAAE,aAAa;YACxB,KAAK,EAAE;gBACL;oBACE,OAAO,EAAE,uBAAuB;oBAChC,YAAY,EAAE,aAAa;oBAC3B,OAAO,EAAE;wBACP;4BACE,OAAO,EAAE,OAAO;4BAChB,mBAAmB,EAAE,gDAAgD;4BACrE,cAAc,EAAE,CAAC;4BACjB,gBAAgB,EAAE,uBAAuB;4BACzC,qBAAqB,EAAE,aAAa;4BACpC,iBAAiB,EAAE,IAAI;yBACxB;wBACD;4BACE,OAAO,EAAE,OAAO;4BAChB,mBAAmB,EACjB,6DAA6D;4BAC/D,cAAc,EAAE,CAAC;4BACjB,gBAAgB,EAAE,uBAAuB;4BACzC,qBAAqB,EAAE,aAAa;4BACpC,iBAAiB,EAAE,IAAI;yBACxB;qBACF;oBACD,UAAU,EAAE,EAAE;oBACd,MAAM,EAAE,EAAE;iBACX;aACF;SACF,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,aAAa,CAAC,UAAU,EAAE,WAAW,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;QACpE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,CAAC,MAAM,CAAC,EAAE;YAAE,OAAO;QAEvB,0EAA0E;QAC1E,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAE7D,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC;QAE5B,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAClC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,CAC3E,CAAC;QACF,IAAI,CAAC,WAAW,IAAI,WAAW,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;YAC/D,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;QAC/D,CAAC;QAED,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CACjD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,iBAAiB,CACpC,CAAC;QACF,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;YACzD,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;QAC9D,CAAC;QAED,MAAM,SAAS,GAAG,UAAU,CAAC,UAAU,CAAC;QACxC,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC5C,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;QACpE,CAAC;QAED,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAC3C,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,QAAQ;SACf,CAAC,CAAC;QAEH,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAClC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,CAC3E,CAAC;QACF,IAAI,CAAC,WAAW,IAAI,WAAW,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;YAC/D,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;QAC/D,CAAC;QAED,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAC9C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,qBAAqB,CACxC,CAAC;QACF,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;YACvD,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;QAClE,CAAC;QAED,MAAM,IAAI,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC;QAClD,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAClC,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;QACtD,CAAC;QAED,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAClD,IAAI,CAAC,IAAI,CAAC,YAAY;YAAE,OAAO;QAE/B,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QACzD,IAAI,IAAI,CAAC,YAAY,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAC/C,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;YACxD,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBACzD,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,QAAQ;aACf,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

@@ -1,41 +0,0 @@
-/**
- * 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

@@ -1 +0,0 @@
-{"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"}

package/dist/metadata/bindings-loader.js

@@ -1,308 +0,0 @@
-/**
- * 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 * as fs from "fs";
-import * as path from "path";
-/**
- * Load and parse a bindings.json file.
- *
- * @param filePath - Absolute path to the .bindings.json file
- * @returns Result containing parsed bindings or diagnostics
- */
-export const loadBindingsFile = (filePath) => {
-    // Check file exists
-    if (!fs.existsSync(filePath)) {
-        return {
-            ok: false,
-            error: [
-                {
-                    code: "TSN9101",
-                    message: `Bindings file not found: ${filePath}`,
-                    severity: "error",
-                    location: undefined,
-                },
-            ],
-        };
-    }
-    // Read file contents
-    let content;
-    try {
-        content = fs.readFileSync(filePath, "utf-8");
-    }
-    catch (error) {
-        return {
-            ok: false,
-            error: [
-                {
-                    code: "TSN9102",
-                    message: `Failed to read bindings file: ${error}`,
-                    severity: "error",
-                    location: undefined,
-                },
-            ],
-        };
-    }
-    // Parse JSON
-    let parsed;
-    try {
-        parsed = JSON.parse(content);
-    }
-    catch (error) {
-        return {
-            ok: false,
-            error: [
-                {
-                    code: "TSN9103",
-                    message: `Invalid JSON in bindings file: ${error}`,
-                    severity: "error",
-                    location: undefined,
-                },
-            ],
-        };
-    }
-    // Validate structure
-    const validation = validateBindingsFile(parsed, filePath);
-    if (!validation.ok) {
-        return validation;
-    }
-    return { ok: true, value: validation.value };
-};
-/**
- * Validate that parsed JSON matches BindingsFile schema.
- *
- * @param data - Parsed JSON data
- * @param filePath - File path for error messages
- * @returns Result containing validated bindings or diagnostics
- */
-const validateBindingsFile = (data, filePath) => {
-    const diagnostics = [];
-    if (typeof data !== "object" || data === null) {
-        return {
-            ok: false,
-            error: [
-                {
-                    code: "TSN9104",
-                    message: `Bindings file must be an object, got ${typeof data}`,
-                    severity: "error",
-                    location: undefined,
-                },
-            ],
-        };
-    }
-    const obj = data;
-    // Validate namespace
-    if (typeof obj.namespace !== "string") {
-        diagnostics.push({
-            code: "TSN9105",
-            message: `Missing or invalid 'namespace' field in ${path.basename(filePath)}`,
-            severity: "error",
-            location: undefined,
-        });
-    }
-    // Validate types array
-    if (!Array.isArray(obj.types)) {
-        diagnostics.push({
-            code: "TSN9106",
-            message: `Missing or invalid 'types' field in ${path.basename(filePath)}`,
-            severity: "error",
-            location: undefined,
-        });
-    }
-    else {
-        // Validate each type binding
-        for (let i = 0; i < obj.types.length; i++) {
-            const typeValidation = validateTypeBinding(obj.types[i], filePath, i);
-            if (!typeValidation.ok) {
-                diagnostics.push(...typeValidation.error);
-            }
-        }
-    }
-    if (diagnostics.length > 0) {
-        return { ok: false, error: diagnostics };
-    }
-    return { ok: true, value: obj };
-};
-/**
- * Validate a single TypeBinding object.
- *
- * @param data - Type binding to validate
- * @param filePath - File path for error messages
- * @param index - Type index in array
- * @returns Result indicating validation success or errors
- */
-const validateTypeBinding = (data, filePath, index) => {
-    const diagnostics = [];
-    const context = `type binding ${index} in ${path.basename(filePath)}`;
-    if (typeof data !== "object" || data === null) {
-        return {
-            ok: false,
-            error: [
-                {
-                    code: "TSN9107",
-                    message: `Invalid ${context}: must be an object`,
-                    severity: "error",
-                    location: undefined,
-                },
-            ],
-        };
-    }
-    const type = data;
-    // Validate required string fields
-    const requiredStringFields = ["clrName", "tsEmitName", "assemblyName"];
-    for (const field of requiredStringFields) {
-        if (typeof type[field] !== "string") {
-            diagnostics.push({
-                code: "TSN9108",
-                message: `Invalid ${context}: missing or invalid '${field}'`,
-                severity: "error",
-                location: undefined,
-            });
-        }
-    }
-    // Validate metadataToken
-    if (typeof type.metadataToken !== "number") {
-        diagnostics.push({
-            code: "TSN9109",
-            message: `Invalid ${context}: 'metadataToken' must be a number`,
-            severity: "error",
-            location: undefined,
-        });
-    }
-    // Validate optional array fields (V1 Definitions)
-    const v1ArrayFields = ["methods", "properties", "fields", "events"];
-    for (const field of v1ArrayFields) {
-        if (type[field] !== undefined && !Array.isArray(type[field])) {
-            diagnostics.push({
-                code: "TSN9110",
-                message: `Invalid ${context}: '${field}' must be an array if present`,
-                severity: "error",
-                location: undefined,
-            });
-        }
-    }
-    // Validate optional array fields (V2 Exposures)
-    const v2ArrayFields = [
-        "exposedMethods",
-        "exposedProperties",
-        "exposedFields",
-        "exposedEvents",
-    ];
-    for (const field of v2ArrayFields) {
-        if (type[field] !== undefined && !Array.isArray(type[field])) {
-            diagnostics.push({
-                code: "TSN9111",
-                message: `Invalid ${context}: '${field}' must be an array if present`,
-                severity: "error",
-                location: undefined,
-            });
-        }
-    }
-    // Note: We're doing basic structural validation here
-    // More detailed validation of nested objects (method bindings, etc.)
-    // can be added in future iterations if needed
-    if (diagnostics.length > 0) {
-        return { ok: false, error: diagnostics };
-    }
-    return { ok: true, value: type };
-};
-/**
- * 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 const loadBindingsDirectory = (directoryPath) => {
-    if (!fs.existsSync(directoryPath)) {
-        return {
-            ok: false,
-            error: [
-                {
-                    code: "TSN9112",
-                    message: `Bindings directory not found: ${directoryPath}`,
-                    severity: "error",
-                    location: undefined,
-                },
-            ],
-        };
-    }
-    const stats = fs.statSync(directoryPath);
-    if (!stats.isDirectory()) {
-        return {
-            ok: false,
-            error: [
-                {
-                    code: "TSN9113",
-                    message: `Not a directory: ${directoryPath}`,
-                    severity: "error",
-                    location: undefined,
-                },
-            ],
-        };
-    }
-    // Find all .bindings.json files
-    const files = fs
-        .readdirSync(directoryPath)
-        .filter((file) => file.endsWith(".bindings.json"))
-        .map((file) => path.join(directoryPath, file));
-    if (files.length === 0) {
-        return {
-            ok: false,
-            error: [
-                {
-                    code: "TSN9114",
-                    message: `No .bindings.json files found in ${directoryPath}`,
-                    severity: "warning",
-                    location: undefined,
-                },
-            ],
-        };
-    }
-    // Load each file
-    const bindingsFiles = [];
-    const diagnostics = [];
-    for (const file of files) {
-        const result = loadBindingsFile(file);
-        if (result.ok) {
-            bindingsFiles.push(result.value);
-        }
-        else {
-            diagnostics.push(...result.error);
-        }
-    }
-    if (diagnostics.length > 0) {
-        return { ok: false, error: diagnostics };
-    }
-    return { ok: true, value: bindingsFiles };
-};
-/**
- * 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 const buildBindingsRegistry = (bindingsFiles) => {
-    const registry = new Map();
-    for (const file of bindingsFiles) {
-        for (const typeBinding of file.types) {
-            const key = `${file.namespace}.${typeBinding.tsEmitName}`;
-            registry.set(key, typeBinding);
-        }
-    }
-    return registry;
-};
-/**
- * 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 const lookupTypeBinding = (registry, qualifiedTsName) => {
-    return registry.get(qualifiedTsName);
-};
-//# sourceMappingURL=bindings-loader.js.map