@tsonic/frontend 0.0.74 → 0.0.75

package/dist/ir/field-marker.test.js

@@ -45,7 +45,7 @@ describe("field<T> marker", function () {
         }
       `);
         const compileResult = compile([filePath], {
-            projectRoot: monorepoRoot,
+            projectRoot: tmpDir,
             sourceRoot: tmpDir,
             rootNamespace: "Test",
             typeRoots: [globalsPath, stubCore, corePath],

package/dist/ir/field-marker.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"field-marker.test.js","sourceRoot":"","sources":["../../src/ir/field-marker.test.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,KAAK,IAAI,MAAM,MAAM,CAAC;AAC7B,OAAO,KAAK,EAAE,MAAM,IAAI,CAAC;AACzB,OAAO,EAAE,aAAa,EAAE,MAAM,KAAK,CAAC;AACpC,OAAO,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AACtC,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAEvC,MAAM,UAAU,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAClD,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;AAC3C,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;AAC5D,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,8BAA8B,CAAC,CAAC;AAC5E,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,2BAA2B,CAAC,CAAC;AAEtE,MAAM,4BAA4B,GAAG,CAAC,GAAW,EAAQ,EAAE;IACzD,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACvC,EAAE,CAAC,aAAa,CACd,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,EAC9B,IAAI,CAAC,SAAS,CACZ,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,EACvD,IAAI,EACJ,CAAC,CACF,CACF,CAAC;IACF,EAAE,CAAC,aAAa,CACd,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,EAC3B;QACE,yCAAyC;QACzC,6BAA6B;QAC7B,GAAG;QACH,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CACb,CAAC;AACJ,CAAC,CAAC;AAEF,QAAQ,CAAC,iBAAiB,EAAE;IAC1B,IAAI,CAAC,OAAO,CAAC,KAAM,CAAC,CAAC;IAErB,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,MAAM,GAAG,0BAA0B,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC;QACtD,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAE1C,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,YAAY,EAAE,MAAM,CAAC,CAAC;QACzD,4BAA4B,CAAC,QAAQ,CAAC,CAAC;QAEvC,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QAC9C,EAAE,CAAC,aAAa,CACd,QAAQ,EACR;;;;;;;;;;OAUC,CACF,CAAC;QAEF,MAAM,aAAa,GAAG,OAAO,CAAC,CAAC,QAAQ,CAAC,EAAE;YACxC,WAAW,EAAE,YAAY;YACzB,UAAU,EAAE,MAAM;YAClB,aAAa,EAAE,MAAM;YACrB,SAAS,EAAE,CAAC,WAAW,EAAE,QAAQ,EAAE,QAAQ,CAAC;SAC7C,CAAC,CAAC;QAEH,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,CAAC,aAAa,CAAC,EAAE;YAAE,OAAO;QAE9B,MAAM,QAAQ,GAAG,OAAO,CAAC,aAAa,CAAC,KAAK,CAAC,OAAO,EAAE;YACpD,UAAU,EAAE,MAAM;YAClB,aAAa,EAAE,MAAM;SACtB,CAAC,CAAC;QAEH,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACpC,IAAI,QAAQ,CAAC,EAAE;YAAE,OAAO;QAExB,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACzD,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"field-marker.test.js","sourceRoot":"","sources":["../../src/ir/field-marker.test.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,KAAK,IAAI,MAAM,MAAM,CAAC;AAC7B,OAAO,KAAK,EAAE,MAAM,IAAI,CAAC;AACzB,OAAO,EAAE,aAAa,EAAE,MAAM,KAAK,CAAC;AACpC,OAAO,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AACtC,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAEvC,MAAM,UAAU,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAClD,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;AAC3C,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;AAC5D,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,8BAA8B,CAAC,CAAC;AAC5E,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,2BAA2B,CAAC,CAAC;AAEtE,MAAM,4BAA4B,GAAG,CAAC,GAAW,EAAQ,EAAE;IACzD,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACvC,EAAE,CAAC,aAAa,CACd,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,EAC9B,IAAI,CAAC,SAAS,CACZ,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,EACvD,IAAI,EACJ,CAAC,CACF,CACF,CAAC;IACF,EAAE,CAAC,aAAa,CACd,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,EAC3B;QACE,yCAAyC;QACzC,6BAA6B;QAC7B,GAAG;QACH,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CACb,CAAC;AACJ,CAAC,CAAC;AAEF,QAAQ,CAAC,iBAAiB,EAAE;IAC1B,IAAI,CAAC,OAAO,CAAC,KAAM,CAAC,CAAC;IAErB,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,MAAM,GAAG,0BAA0B,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC;QACtD,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAE1C,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,YAAY,EAAE,MAAM,CAAC,CAAC;QACzD,4BAA4B,CAAC,QAAQ,CAAC,CAAC;QAEvC,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QAC9C,EAAE,CAAC,aAAa,CACd,QAAQ,EACR;;;;;;;;;;OAUC,CACF,CAAC;QAEF,MAAM,aAAa,GAAG,OAAO,CAAC,CAAC,QAAQ,CAAC,EAAE;YACxC,WAAW,EAAE,MAAM;YACnB,UAAU,EAAE,MAAM;YAClB,aAAa,EAAE,MAAM;YACrB,SAAS,EAAE,CAAC,WAAW,EAAE,QAAQ,EAAE,QAAQ,CAAC;SAC7C,CAAC,CAAC;QAEH,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,CAAC,aAAa,CAAC,EAAE;YAAE,OAAO;QAE9B,MAAM,QAAQ,GAAG,OAAO,CAAC,aAAa,CAAC,KAAK,CAAC,OAAO,EAAE;YACpD,UAAU,EAAE,MAAM;YAClB,aAAa,EAAE,MAAM;SACtB,CAAC,CAAC;QAEH,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACpC,IAAI,QAAQ,CAAC,EAAE;YAAE,OAAO;QAExB,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACzD,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/ir/json-global-typing.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=json-global-typing.test.d.ts.map

package/dist/ir/json-global-typing.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"json-global-typing.test.d.ts","sourceRoot":"","sources":["../../src/ir/json-global-typing.test.ts"],"names":[],"mappings":""}

package/dist/ir/json-global-typing.test.js

@@ -0,0 +1,80 @@
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import * as path from "node:path";
+import { fileURLToPath } from "node:url";
+import { buildIrModule } from "./builder.js";
+import { runAnonymousTypeLoweringPass, runCallResolutionRefreshPass, runNumericProofPass, } from "./validation/index.js";
+import { createProgram, createProgramContext, } from "./builder-cases/_test-helpers.js";
+const currentFileDir = path.dirname(fileURLToPath(import.meta.url));
+const repoRoot = path.resolve(currentFileDir, "../../../..");
+const jsonRoundtripProjectRoot = path.join(repoRoot, "test", "fixtures", "json-native-roundtrip", "packages", "json-native-roundtrip");
+const jsonRoundtripSourceRoot = path.join(jsonRoundtripProjectRoot, "src");
+const jsonRoundtripEntryPath = path.join(jsonRoundtripSourceRoot, "index.ts");
+const buildJsonRoundtripModule = () => {
+    const programResult = createProgram([jsonRoundtripEntryPath], {
+        projectRoot: jsonRoundtripProjectRoot,
+        sourceRoot: jsonRoundtripSourceRoot,
+        rootNamespace: "Test",
+        surface: "@tsonic/js",
+    });
+    expect(programResult.ok).to.equal(true);
+    if (!programResult.ok) {
+        throw new Error(programResult.error.diagnostics
+            .map((d) => d.message)
+            .join("; "));
+    }
+    const program = programResult.value;
+    const sourceFile = program.sourceFiles.find((candidate) => path.resolve(candidate.fileName) === path.resolve(jsonRoundtripEntryPath));
+    if (!sourceFile) {
+        throw new Error("Failed to load json-native-roundtrip source file.");
+    }
+    const options = {
+        sourceRoot: jsonRoundtripSourceRoot,
+        rootNamespace: "Test",
+        surface: "@tsonic/js",
+    };
+    const ctx = createProgramContext(program, options);
+    const buildResult = buildIrModule(sourceFile, program, options, ctx);
+    expect(buildResult.ok).to.equal(true);
+    if (!buildResult.ok) {
+        throw new Error(JSON.stringify(buildResult.error));
+    }
+    const anonymous = runAnonymousTypeLoweringPass([buildResult.value]);
+    const refreshed = runCallResolutionRefreshPass(anonymous.modules, ctx);
+    const numeric = runNumericProofPass(refreshed.modules);
+    const module = numeric.modules.find((candidate) => candidate.filePath === "index.ts");
+    if (!module) {
+        throw new Error("Expected json-native-roundtrip IR module.");
+    }
+    return module;
+};
+describe("IR Builder", function () {
+    this.timeout(60000);
+    describe("global JSON typing", () => {
+        it("preserves concrete typed JSON.parse results instead of widening them back to JsValue", () => {
+            const module = buildJsonRoundtripModule();
+            const main = module.body.find((statement) => statement.kind === "functionDeclaration" && statement.name === "main");
+            expect(main).to.not.equal(undefined);
+            if (!main)
+                return;
+            const parsedDeclaration = main.body.statements.find((statement) => statement.kind === "variableDeclaration" &&
+                statement.declarations.some((declaration) => declaration.name.kind === "identifierPattern" &&
+                    declaration.name.name === "parsed"));
+            expect(parsedDeclaration).to.not.equal(undefined);
+            if (!parsedDeclaration)
+                return;
+            const parsed = parsedDeclaration.declarations.find((declaration) => declaration.name.kind === "identifierPattern" &&
+                declaration.name.name === "parsed");
+            expect(parsed?.initializer?.kind).to.equal("call");
+            expect(parsed?.initializer?.inferredType).to.deep.include({
+                kind: "referenceType",
+                name: "Payload",
+            });
+            expect(parsed?.initializer?.inferredType).to.not.deep.include({
+                kind: "referenceType",
+                name: "JsValue",
+            });
+        });
+    });
+});
+//# sourceMappingURL=json-global-typing.test.js.map

package/dist/ir/json-global-typing.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"json-global-typing.test.js","sourceRoot":"","sources":["../../src/ir/json-global-typing.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,EACL,4BAA4B,EAC5B,4BAA4B,EAC5B,mBAAmB,GACpB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,aAAa,EACb,oBAAoB,GACrB,MAAM,kCAAkC,CAAC;AAG1C,MAAM,cAAc,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AACpE,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,cAAc,EAAE,aAAa,CAAC,CAAC;AAC7D,MAAM,wBAAwB,GAAG,IAAI,CAAC,IAAI,CACxC,QAAQ,EACR,MAAM,EACN,UAAU,EACV,uBAAuB,EACvB,UAAU,EACV,uBAAuB,CACxB,CAAC;AACF,MAAM,uBAAuB,GAAG,IAAI,CAAC,IAAI,CAAC,wBAAwB,EAAE,KAAK,CAAC,CAAC;AAC3E,MAAM,sBAAsB,GAAG,IAAI,CAAC,IAAI,CAAC,uBAAuB,EAAE,UAAU,CAAC,CAAC;AAE9E,MAAM,wBAAwB,GAAG,GAAa,EAAE;IAC9C,MAAM,aAAa,GAAG,aAAa,CAAC,CAAC,sBAAsB,CAAC,EAAE;QAC5D,WAAW,EAAE,wBAAwB;QACrC,UAAU,EAAE,uBAAuB;QACnC,aAAa,EAAE,MAAM;QACrB,OAAO,EAAE,YAAY;KACtB,CAAC,CAAC;IAEH,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACxC,IAAI,CAAC,aAAa,CAAC,EAAE,EAAE,CAAC;QACtB,MAAM,IAAI,KAAK,CACb,aAAa,CAAC,KAAK,CAAC,WAAW;aAC5B,GAAG,CAAC,CAAC,CAAsB,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;aAC1C,IAAI,CAAC,IAAI,CAAC,CACd,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAAG,aAAa,CAAC,KAAK,CAAC;IACpC,MAAM,UAAU,GAAG,OAAO,CAAC,WAAW,CAAC,IAAI,CACzC,CAAC,SAA+B,EAAE,EAAE,CAClC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAC5E,CAAC;IACF,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;IACvE,CAAC;IAED,MAAM,OAAO,GAAG;QACd,UAAU,EAAE,uBAAuB;QACnC,aAAa,EAAE,MAAM;QACrB,OAAO,EAAE,YAAqB;KAC/B,CAAC;IACF,MAAM,GAAG,GAAG,oBAAoB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACnD,MAAM,WAAW,GAAG,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;IAErE,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC;QACpB,MAAM,IAAI,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;IACrD,CAAC;IAED,MAAM,SAAS,GAAG,4BAA4B,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;IACpE,MAAM,SAAS,GAAG,4BAA4B,CAAC,SAAS,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IACvE,MAAM,OAAO,GAAG,mBAAmB,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACvD,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,CACjC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,KAAK,UAAU,CACjD,CAAC;IACF,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;IAC/D,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,QAAQ,CAAC,YAAY,EAAE;IACrB,IAAI,CAAC,OAAO,CAAC,KAAM,CAAC,CAAC;IAErB,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAClC,EAAE,CAAC,sFAAsF,EAAE,GAAG,EAAE;YAC9F,MAAM,MAAM,GAAG,wBAAwB,EAAE,CAAC;YAC1C,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAC3B,CACE,SAAS,EAIT,EAAE,CACF,SAAS,CAAC,IAAI,KAAK,qBAAqB,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM,CACxE,CAAC;YAEF,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YACrC,IAAI,CAAC,IAAI;gBAAE,OAAO;YAElB,MAAM,iBAAiB,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CACjD,CAAC,SAAS,EAAsC,EAAE,CAChD,SAAS,CAAC,IAAI,KAAK,qBAAqB;gBACxC,SAAS,CAAC,YAAY,CAAC,IAAI,CACzB,CAAC,WAAW,EAAE,EAAE,CACd,WAAW,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB;oBAC7C,WAAW,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CACrC,CACJ,CAAC;YAEF,MAAM,CAAC,iBAAiB,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YAClD,IAAI,CAAC,iBAAiB;gBAAE,OAAO;YAE/B,MAAM,MAAM,GAAG,iBAAiB,CAAC,YAAY,CAAC,IAAI,CAChD,CAAC,WAAW,EAAE,EAAE,CACd,WAAW,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB;gBAC7C,WAAW,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CACrC,CAAC;YAEF,MAAM,CAAC,MAAM,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YACnD,MAAM,CAAC,MAAM,EAAE,WAAW,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC;gBACxD,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,SAAS;aAChB,CAAC,CAAC;YACH,MAAM,CAAC,MAAM,EAAE,WAAW,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;gBAC5D,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,SAAS;aAChB,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/ir/program-context-factory.d.ts

@@ -0,0 +1,25 @@
+/**
+ * ProgramContext factory — createProgramContext
+ *
+ * This is the ONLY place where internal registries are constructed and wired together.
+ * All converters and builder helpers receive context explicitly — no global state.
+ */
+import type { TsonicProgram } from "../program.js";
+import type { IrBuildOptions } from "./builder/types.js";
+import type { ProgramContext } from "./program-context-types.js";
+/**
+ * Create a ProgramContext for a compilation.
+ *
+ * This factory is the ONLY place that wires together the internal registries.
+ * It performs the full setup:
+ * 1. Build SourceCatalog / TypeRegistry using two-pass builder
+ * 2. Build CLR catalog from explicit participating CLR packages
+ * 3. Build UnifiedUniverse merging source and CLR types
+ * 4. Build NominalEnv from UnifiedTypeCatalog (TypeId-based)
+ * 5. Construct TypeSystem as single source of truth
+ *
+ * @param program - The TsonicProgram with type checker and bindings
+ * @param options - Build options (sourceRoot, rootNamespace)
+ */
+export declare const createProgramContext: (program: TsonicProgram, options: IrBuildOptions) => ProgramContext;
+//# sourceMappingURL=program-context-factory.d.ts.map

package/dist/ir/program-context-factory.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"program-context-factory.d.ts","sourceRoot":"","sources":["../../src/ir/program-context-factory.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAQH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AACnD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAazD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAmCjE;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,oBAAoB,GAC/B,SAAS,aAAa,EACtB,SAAS,cAAc,KACtB,cAsMF,CAAC"}

package/dist/ir/program-context-factory.js

@@ -0,0 +1,196 @@
+/**
+ * ProgramContext factory — createProgramContext
+ *
+ * This is the ONLY place where internal registries are constructed and wired together.
+ * All converters and builder helpers receive context explicitly — no global state.
+ */
+import * as fs from "node:fs";
+import * as path from "path";
+import * as ts from "typescript";
+import { simpleBindingContributesTypeIdentity } from "../program/binding-registry.js";
+/* eslint-disable no-restricted-imports -- this factory is the bootstrap boundary for type-system internals. */
+import { buildNominalEnv } from "./type-system/internal/nominal-env.js";
+import { convertCapturedTypeNode } from "./type-system/internal/type-converter.js";
+import { createTypeSystem } from "./type-system/type-system.js";
+import { buildAliasTable, buildSourceCatalog, buildUnifiedUniverse, loadClrCatalog, } from "./type-system/internal/universe/index.js";
+import { findPackageRootForFile, packageHasClrMetadata, } from "./program-context-types.js";
+import { collectSupportedGenericFunctionValueSymbols, collectWrittenSymbols, } from "../generic-function-values.js";
+const withSimpleTypeAliases = (assemblyCatalog, bindings) => {
+    const tsNameToTypeId = new Map(assemblyCatalog.tsNameToTypeId);
+    for (const [alias, descriptor] of bindings.getAllBindings()) {
+        if (!simpleBindingContributesTypeIdentity(descriptor)) {
+            continue;
+        }
+        if (tsNameToTypeId.has(alias))
+            continue;
+        const typeId = assemblyCatalog.clrNameToTypeId.get(descriptor.type);
+        if (!typeId)
+            continue;
+        tsNameToTypeId.set(alias, typeId);
+    }
+    return {
+        entries: assemblyCatalog.entries,
+        tsNameToTypeId,
+        clrNameToTypeId: assemblyCatalog.clrNameToTypeId,
+        namespaceToTypeIds: assemblyCatalog.namespaceToTypeIds,
+    };
+};
+/**
+ * Create a ProgramContext for a compilation.
+ *
+ * This factory is the ONLY place that wires together the internal registries.
+ * It performs the full setup:
+ * 1. Build SourceCatalog / TypeRegistry using two-pass builder
+ * 2. Build CLR catalog from explicit participating CLR packages
+ * 3. Build UnifiedUniverse merging source and CLR types
+ * 4. Build NominalEnv from UnifiedTypeCatalog (TypeId-based)
+ * 5. Construct TypeSystem as single source of truth
+ *
+ * @param program - The TsonicProgram with type checker and bindings
+ * @param options - Build options (sourceRoot, rootNamespace)
+ */
+export const createProgramContext = (program, options) => {
+    const genericFunctionValueSymbols = (() => {
+        const symbols = new Set();
+        for (const sourceFile of program.sourceFiles) {
+            const writtenSymbols = collectWrittenSymbols(sourceFile, program.checker);
+            for (const symbol of collectSupportedGenericFunctionValueSymbols(sourceFile, program.checker, writtenSymbols)) {
+                symbols.add(symbol);
+            }
+        }
+        return symbols;
+    })();
+    // Build TypeRegistry from all source files INCLUDING declaration files from typeRoots
+    // Declaration files contain globals (String, Array, etc.) needed for method resolution
+    //
+    // PHASE 4 (Alice's spec): Use buildSourceCatalog with two-pass build.
+    // Pass A: Register all type names (skeleton)
+    // Pass B: Convert all type annotations (with stable resolution)
+    const packageRootCache = new Map();
+    const packageInfoCache = new Map();
+    const packageHasMetadataCache = new Map();
+    const projectRootResolved = path.resolve(program.options.projectRoot);
+    const declarationSourceFiles = program.declarationSourceFiles.filter((sf) => {
+        const pkgRoot = findPackageRootForFile(sf.fileName, projectRootResolved, packageRootCache);
+        if (!pkgRoot)
+            return true;
+        // tsbindgen-generated CLR declarations live in packages that include bindings.json
+        // and are already represented in the CLR catalog. Including them in SourceCatalog
+        // creates tsName collisions (e.g., `IEnumerable_1`) that break nominal resolution.
+        return !packageHasClrMetadata(pkgRoot, packageInfoCache, packageHasMetadataCache);
+    });
+    const catalogSourceFiles = [
+        ...program.sourceFiles,
+        ...declarationSourceFiles,
+    ];
+    const lookupSourceFiles = [
+        ...program.sourceFiles,
+        ...program.declarationSourceFiles,
+    ];
+    const sourceFilesByPath = new Map(lookupSourceFiles.map((sourceFile) => [
+        sourceFile.fileName.replace(/\\/g, "/"),
+        sourceFile,
+    ]));
+    const { typeRegistry } = buildSourceCatalog({
+        sourceFiles: catalogSourceFiles,
+        checker: program.checker,
+        sourceRoot: options.sourceRoot,
+        rootNamespace: options.rootNamespace,
+        binding: program.binding,
+    });
+    // Load assembly type catalog only from CLR packages that actually participate
+    // in this compilation. Airplane-grade: do not crawl node_modules opportunistically.
+    const nodeModulesPath = path.resolve(program.options.projectRoot, "node_modules");
+    const extraPackageRoots = [];
+    // Any declaration package participating in the TypeScript program must also
+    // contribute its CLR metadata to the assembly catalog. This is the generic
+    // rule that keeps ambient surface packages and normal declaration packages in
+    // sync: if a package's .d.ts files are in the program, its bindings metadata
+    // must be in the universe.
+    for (const sourceFile of program.declarationSourceFiles) {
+        const pkgRoot = findPackageRootForFile(sourceFile.fileName, projectRootResolved, packageRootCache);
+        if (pkgRoot &&
+            packageHasClrMetadata(pkgRoot, packageInfoCache, packageHasMetadataCache)) {
+            extraPackageRoots.push(pkgRoot);
+        }
+    }
+    // Include any additional CLR packages discovered via imports (e.g., efcore, aspnetcore).
+    const resolvePackageRootFromBindingsPath = (bindingsPath) => {
+        let dir = path.dirname(bindingsPath);
+        while (true) {
+            if (fs.existsSync(path.join(dir, "package.json")))
+                return dir;
+            const parent = path.dirname(dir);
+            if (parent === dir)
+                return undefined;
+            dir = parent;
+        }
+    };
+    for (const bindingsPath of program.clrResolver.getDiscoveredBindingPaths()) {
+        const pkgRoot = resolvePackageRootFromBindingsPath(bindingsPath);
+        if (pkgRoot)
+            extraPackageRoots.push(pkgRoot);
+    }
+    const assemblyCatalog = withSimpleTypeAliases(loadClrCatalog(nodeModulesPath, [
+        ...(program.options.typeRoots ?? []),
+        ...extraPackageRoots,
+    ]), program.bindings);
+    const aliasTable = buildAliasTable(assemblyCatalog);
+    // Build unified catalog merging source and assembly types
+    const unifiedCatalog = buildUnifiedUniverse(typeRegistry, assemblyCatalog, program.options.rootNamespace);
+    // Phase 6: Build NominalEnv from UnifiedTypeCatalog (TypeId-based)
+    // No longer requires TypeRegistry, convertType, or binding
+    const nominalEnv = buildNominalEnv(unifiedCatalog);
+    // Build TypeSystem — the single source of truth for all type queries (Alice's spec)
+    // TypeSystem encapsulates HandleRegistry, TypeRegistry, NominalEnv and type conversion
+    const bindingInternal = program.binding;
+    const typeSystem = createTypeSystem({
+        sourceRoot: options.sourceRoot,
+        rootNamespace: options.rootNamespace,
+        handleRegistry: bindingInternal._getHandleRegistry(),
+        typeRegistry,
+        nominalEnv,
+        // Phase 5: Use convertCapturedTypeNode to encapsulate cast in internal module
+        convertTypeNode: (node) => convertCapturedTypeNode(node, program.binding),
+        // Unified catalog for CLR assembly type lookups
+        unifiedCatalog,
+        aliasTable,
+        resolveIdentifier: (node) => ts.isIdentifier(node)
+            ? program.binding.resolveIdentifier(node)
+            : undefined,
+        resolveTypeReference: (node) => ts.isTypeReferenceNode(node)
+            ? program.binding.resolveTypeReference(node)
+            : undefined,
+        resolveShorthandAssignment: (node) => ts.isShorthandPropertyAssignment(node)
+            ? program.binding.resolveShorthandAssignment(node)
+            : undefined,
+        resolveCallSignature: (node) => ts.isCallExpression(node)
+            ? program.binding.resolveCallSignature(node)
+            : undefined,
+        resolveConstructorSignature: (node) => ts.isNewExpression(node)
+            ? program.binding.resolveConstructorSignature(node)
+            : undefined,
+        checker: program.checker,
+        tsCompilerOptions: program.program.getCompilerOptions(),
+        sourceFilesByPath,
+    });
+    return {
+        projectRoot: program.options.projectRoot,
+        sourceRoot: options.sourceRoot,
+        authoritativeTsonicPackageRoots: program.authoritativeTsonicPackageRoots ?? new Map(),
+        declarationModuleAliases: program.declarationModuleAliases ?? new Map(),
+        rootNamespace: options.rootNamespace,
+        surface: program.options.surface ?? "clr",
+        checker: program.checker,
+        genericFunctionValueSymbols,
+        tsCompilerOptions: program.program.getCompilerOptions(),
+        sourceFilesByPath,
+        binding: program.binding,
+        typeSystem,
+        metadata: program.metadata,
+        bindings: program.bindings,
+        clrResolver: program.clrResolver,
+        diagnostics: [],
+    };
+};
+//# sourceMappingURL=program-context-factory.js.map

package/dist/ir/program-context-factory.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"program-context-factory.js","sourceRoot":"","sources":["../../src/ir/program-context-factory.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,KAAK,IAAI,MAAM,MAAM,CAAC;AAC7B,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAGjC,OAAO,EAAE,oCAAoC,EAAE,MAAM,gCAAgC,CAAC;AAGtF,+GAA+G;AAC/G,OAAO,EAAE,eAAe,EAAE,MAAM,uCAAuC,CAAC;AACxE,OAAO,EAAE,uBAAuB,EAAE,MAAM,0CAA0C,CAAC;AACnF,OAAO,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAChE,OAAO,EACL,eAAe,EACf,kBAAkB,EAClB,oBAAoB,EACpB,cAAc,GACf,MAAM,0CAA0C,CAAC;AAIlD,OAAO,EACL,sBAAsB,EACtB,qBAAqB,GACtB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,2CAA2C,EAC3C,qBAAqB,GACtB,MAAM,+BAA+B,CAAC;AAEvC,MAAM,qBAAqB,GAAG,CAC5B,eAAoC,EACpC,QAAyB,EACJ,EAAE;IACvB,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,eAAe,CAAC,cAAc,CAAC,CAAC;IAE/D,KAAK,MAAM,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,QAAQ,CAAC,cAAc,EAAE,EAAE,CAAC;QAC5D,IAAI,CAAC,oCAAoC,CAAC,UAAU,CAAC,EAAE,CAAC;YACtD,SAAS;QACX,CAAC;QACD,IAAI,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,SAAS;QAExC,MAAM,MAAM,GAAG,eAAe,CAAC,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QACpE,IAAI,CAAC,MAAM;YAAE,SAAS;QACtB,cAAc,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACpC,CAAC;IAED,OAAO;QACL,OAAO,EAAE,eAAe,CAAC,OAAO;QAChC,cAAc;QACd,eAAe,EAAE,eAAe,CAAC,eAAe;QAChD,kBAAkB,EAAE,eAAe,CAAC,kBAAkB;KACvD,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,OAAsB,EACtB,OAAuB,EACP,EAAE;IAClB,MAAM,2BAA2B,GAAG,CAAC,GAAG,EAAE;QACxC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAa,CAAC;QAErC,KAAK,MAAM,UAAU,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;YAC7C,MAAM,cAAc,GAAG,qBAAqB,CAAC,UAAU,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;YAC1E,KAAK,MAAM,MAAM,IAAI,2CAA2C,CAC9D,UAAU,EACV,OAAO,CAAC,OAAO,EACf,cAAc,CACf,EAAE,CAAC;gBACF,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACtB,CAAC;QACH,CAAC;QAED,OAAO,OAAiC,CAAC;IAC3C,CAAC,CAAC,EAAE,CAAC;IACL,sFAAsF;IACtF,uFAAuF;IACvF,EAAE;IACF,sEAAsE;IACtE,6CAA6C;IAC7C,gEAAgE;IAChE,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAA8B,CAAC;IAC/D,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAQ7B,CAAC;IACJ,MAAM,uBAAuB,GAAG,IAAI,GAAG,EAAmB,CAAC;IAC3D,MAAM,mBAAmB,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IAEtE,MAAM,sBAAsB,GAAG,OAAO,CAAC,sBAAsB,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE;QAC1E,MAAM,OAAO,GAAG,sBAAsB,CACpC,EAAE,CAAC,QAAQ,EACX,mBAAmB,EACnB,gBAAgB,CACjB,CAAC;QACF,IAAI,CAAC,OAAO;YAAE,OAAO,IAAI,CAAC;QAE1B,mFAAmF;QACnF,kFAAkF;QAClF,mFAAmF;QACnF,OAAO,CAAC,qBAAqB,CAC3B,OAAO,EACP,gBAAgB,EAChB,uBAAuB,CACxB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,kBAAkB,GAAG;QACzB,GAAG,OAAO,CAAC,WAAW;QACtB,GAAG,sBAAsB;KAC1B,CAAC;IACF,MAAM,iBAAiB,GAAG;QACxB,GAAG,OAAO,CAAC,WAAW;QACtB,GAAG,OAAO,CAAC,sBAAsB;KAClC,CAAC;IACF,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAC/B,iBAAiB,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC;QACpC,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;QACvC,UAAU;KACX,CAAC,CACH,CAAC;IACF,MAAM,EAAE,YAAY,EAAE,GAAG,kBAAkB,CAAC;QAC1C,WAAW,EAAE,kBAAkB;QAC/B,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,OAAO,EAAE,OAAO,CAAC,OAAO;KACzB,CAAC,CAAC;IACH,8EAA8E;IAC9E,oFAAoF;IACpF,MAAM,eAAe,GAAG,IAAI,CAAC,OAAO,CAClC,OAAO,CAAC,OAAO,CAAC,WAAW,EAC3B,cAAc,CACf,CAAC;IACF,MAAM,iBAAiB,GAAa,EAAE,CAAC;IAEvC,4EAA4E;IAC5E,2EAA2E;IAC3E,8EAA8E;IAC9E,6EAA6E;IAC7E,2BAA2B;IAC3B,KAAK,MAAM,UAAU,IAAI,OAAO,CAAC,sBAAsB,EAAE,CAAC;QACxD,MAAM,OAAO,GAAG,sBAAsB,CACpC,UAAU,CAAC,QAAQ,EACnB,mBAAmB,EACnB,gBAAgB,CACjB,CAAC;QACF,IACE,OAAO;YACP,qBAAqB,CAAC,OAAO,EAAE,gBAAgB,EAAE,uBAAuB,CAAC,EACzE,CAAC;YACD,iBAAiB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAClC,CAAC;IACH,CAAC;IAED,yFAAyF;IACzF,MAAM,kCAAkC,GAAG,CACzC,YAAoB,EACA,EAAE;QACtB,IAAI,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;QACrC,OAAO,IAAI,EAAE,CAAC;YACZ,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;gBAAE,OAAO,GAAG,CAAC;YAC9D,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YACjC,IAAI,MAAM,KAAK,GAAG;gBAAE,OAAO,SAAS,CAAC;YACrC,GAAG,GAAG,MAAM,CAAC;QACf,CAAC;IACH,CAAC,CAAC;IAEF,KAAK,MAAM,YAAY,IAAI,OAAO,CAAC,WAAW,CAAC,yBAAyB,EAAE,EAAE,CAAC;QAC3E,MAAM,OAAO,GAAG,kCAAkC,CAAC,YAAY,CAAC,CAAC;QACjE,IAAI,OAAO;YAAE,iBAAiB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC/C,CAAC;IACD,MAAM,eAAe,GAAG,qBAAqB,CAC3C,cAAc,CAAC,eAAe,EAAE;QAC9B,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,IAAI,EAAE,CAAC;QACpC,GAAG,iBAAiB;KACrB,CAAC,EACF,OAAO,CAAC,QAAQ,CACjB,CAAC;IACF,MAAM,UAAU,GAAG,eAAe,CAAC,eAAe,CAAC,CAAC;IAEpD,0DAA0D;IAC1D,MAAM,cAAc,GAAG,oBAAoB,CACzC,YAAY,EACZ,eAAe,EACf,OAAO,CAAC,OAAO,CAAC,aAAa,CAC9B,CAAC;IACF,mEAAmE;IACnE,2DAA2D;IAC3D,MAAM,UAAU,GAAG,eAAe,CAAC,cAAc,CAAC,CAAC;IAEnD,oFAAoF;IACpF,uFAAuF;IACvF,MAAM,eAAe,GAAG,OAAO,CAAC,OAA0B,CAAC;IAC3D,MAAM,UAAU,GAAG,gBAAgB,CAAC;QAClC,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,cAAc,EAAE,eAAe,CAAC,kBAAkB,EAAE;QACpD,YAAY;QACZ,UAAU;QACV,8EAA8E;QAC9E,eAAe,EAAE,CAAC,IAAa,EAAE,EAAE,CACjC,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC;QAChD,gDAAgD;QAChD,cAAc;QACd,UAAU;QACV,iBAAiB,EAAE,CAAC,IAAa,EAAE,EAAE,CACnC,EAAE,CAAC,YAAY,CAAC,IAAe,CAAC;YAC9B,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAqB,CAAC;YAC1D,CAAC,CAAC,SAAS;QACf,oBAAoB,EAAE,CAAC,IAAa,EAAE,EAAE,CACtC,EAAE,CAAC,mBAAmB,CAAC,IAAe,CAAC;YACrC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,oBAAoB,CAAC,IAA4B,CAAC;YACpE,CAAC,CAAC,SAAS;QACf,0BAA0B,EAAE,CAAC,IAAa,EAAE,EAAE,CAC5C,EAAE,CAAC,6BAA6B,CAAC,IAAe,CAAC;YAC/C,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,0BAA0B,CACxC,IAAsC,CACvC;YACH,CAAC,CAAC,SAAS;QACf,oBAAoB,EAAE,CAAC,IAAa,EAAE,EAAE,CACtC,EAAE,CAAC,gBAAgB,CAAC,IAAe,CAAC;YAClC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,oBAAoB,CAAC,IAAyB,CAAC;YACjE,CAAC,CAAC,SAAS;QACf,2BAA2B,EAAE,CAAC,IAAa,EAAE,EAAE,CAC7C,EAAE,CAAC,eAAe,CAAC,IAAe,CAAC;YACjC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,2BAA2B,CAAC,IAAwB,CAAC;YACvE,CAAC,CAAC,SAAS;QACf,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,iBAAiB,EAAE,OAAO,CAAC,OAAO,CAAC,kBAAkB,EAAE;QACvD,iBAAiB;KAClB,CAAC,CAAC;IACH,OAAO;QACL,WAAW,EAAE,OAAO,CAAC,OAAO,CAAC,WAAW;QACxC,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,+BAA+B,EAC7B,OAAO,CAAC,+BAA+B,IAAI,IAAI,GAAG,EAAkB;QACtE,wBAAwB,EAAE,OAAO,CAAC,wBAAwB,IAAI,IAAI,GAAG,EAAE;QACvE,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,OAAO,IAAI,KAAK;QACzC,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,2BAA2B;QAC3B,iBAAiB,EAAE,OAAO,CAAC,OAAO,CAAC,kBAAkB,EAAE;QACvD,iBAAiB;QACjB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,UAAU;QACV,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,WAAW,EAAE,EAAE;KAChB,CAAC;AACJ,CAAC,CAAC"}

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

@@ -0,0 +1,147 @@
+/**
+ * ProgramContext type definition and package-resolution helpers.
+ *
+ * Contains the ProgramContext type and helper functions for resolving
+ * package roots, package info, and CLR metadata discovery.
+ */
+import * as ts from "typescript";
+import type { Binding } from "./binding/index.js";
+import type { TypeAuthority } from "./type-system/type-system.js";
+import type { IrType } from "./types.js";
+import type { DotnetMetadataRegistry } from "../dotnet-metadata.js";
+import type { BindingRegistry } from "../program/bindings.js";
+import type { ClrBindingsResolver } from "../resolver/clr-bindings-resolver.js";
+import type { SurfaceMode } from "../program/types.js";
+import type { Diagnostic } from "../types/diagnostic.js";
+import type { DeclarationModuleAlias } from "../program/declaration-module-aliases.js";
+/**
+ * ProgramContext — Per-compilation context owning all semantic state.
+ *
+ * This context object carries shared resources through the converter chain,
+ * eliminating the need for global singletons.
+ *
+ * INVARIANT: One program → one context. No global state.
+ */
+export type ProgramContext = {
+    /**
+     * Project root used for package/module resolution.
+     */
+    readonly projectRoot: string;
+    /**
+     * Source root of the current app graph.
+     */
+    readonly sourceRoot: string;
+    /**
+     * Authoritative @tsonic package roots participating in the active wave.
+     */
+    readonly authoritativeTsonicPackageRoots: ReadonlyMap<string, string>;
+    /**
+     * Ambient declaration-module aliases (for example `node:http` -> `@tsonic/nodejs/http.js`).
+     */
+    readonly declarationModuleAliases: ReadonlyMap<string, DeclarationModuleAlias>;
+    /**
+     * Root namespace for generated module/type names.
+     */
+    readonly rootNamespace: string;
+    /**
+     * Selected language surface mode for this compilation.
+     */
+    readonly surface: SurfaceMode;
+    /**
+     * TypeScript checker for symbol-only queries in converter-time analyses.
+     *
+     * This must never be used for computed type inference APIs (getTypeAtLocation, etc.).
+     */
+    readonly checker: ts.TypeChecker;
+    /**
+     * Supported generic function value symbols for deterministic monomorphic callable contexts.
+     *
+     * These are collected once for the whole compilation so expression conversion can
+     * reuse the same authoritative symbol set without re-scanning source files.
+     */
+    readonly genericFunctionValueSymbols: ReadonlySet<ts.Symbol>;
+    /**
+     * Raw TypeScript compiler options for syntax-level module resolution helpers.
+     */
+    readonly tsCompilerOptions: ts.CompilerOptions;
+    /**
+     * Closed-world source files keyed by normalized absolute path.
+     */
+    readonly sourceFilesByPath: ReadonlyMap<string, ts.SourceFile>;
+    /**
+     * Binding layer for symbol resolution.
+     *
+     * Provides resolveIdentifier, resolveCallSignature, etc.
+     */
+    readonly binding: Binding;
+    /**
+     * TypeSystem for all type queries (Alice's spec).
+     *
+     * This is the ONLY source for type information. Converters should use
+     * TypeSystem methods instead of accessing TypeRegistry/NominalEnv directly.
+     */
+    readonly typeSystem: TypeAuthority;
+    /**
+     * .NET metadata registry for imported types.
+     */
+    readonly metadata: DotnetMetadataRegistry;
+    /**
+     * CLR bindings from tsbindgen.
+     */
+    readonly bindings: BindingRegistry;
+    /**
+     * CLR namespace resolver for import-driven discovery.
+     */
+    readonly clrResolver: ClrBindingsResolver;
+    /**
+     * Lexical type environment for deterministic flow typing.
+     *
+     * Used for:
+     * - Typing unannotated lambda parameters within their body (deterministic, TS-free)
+     * - Flow narrowing (e.g. `instanceof`) within control-flow branches
+     *
+     * Keyed by DeclId.id (not by identifier text) so shadowing is always correct.
+     */
+    readonly typeEnv?: ReadonlyMap<number, IrType>;
+    /**
+     * Lexical flow environment for property / access-path narrowings.
+     *
+     * Keyed by a stable serialized access path (e.g. `decl:42.foo` or `this.bar`)
+     * so negative-branch narrowing can survive for property reads like
+     * `typeof this.value === "string"` or `Array.isArray(obj.items)`.
+     */
+    readonly accessEnv?: ReadonlyMap<string, IrType>;
+    /**
+     * IR conversion diagnostics emitted by converters (non-TypeSystem).
+     *
+     * Converters should record deterministic, airplane-grade failures here
+     * instead of guessing (e.g., ambiguous CLR bindings).
+     *
+     * Collected by `buildIr()` and treated as compilation errors.
+     */
+    readonly diagnostics: Diagnostic[];
+    /**
+     * Synthetic `this` type for object-literal method/accessor conversion.
+     *
+     * When converting object literal behavior members, `this` does not refer to an
+     * enclosing class. It refers to the synthesized object shape itself.
+     */
+    readonly objectLiteralThisType?: IrType;
+};
+export declare const getCommonAncestor: (leftPath: string, rightPath: string) => string;
+export declare const findPackageRootForFile: (fileName: string, projectRootResolved: string, packageRootCache: Map<string, string | undefined>) => string | undefined;
+export declare const getPackageInfo: (pkgRoot: string, packageInfoCache: Map<string, {
+    readonly name: string | undefined;
+    readonly keywords: readonly string[];
+    readonly peerDependencies: Readonly<Record<string, string>>;
+} | undefined>) => {
+    readonly name: string | undefined;
+    readonly keywords: readonly string[];
+    readonly peerDependencies: Readonly<Record<string, string>>;
+} | undefined;
+export declare const packageHasClrMetadata: (pkgRoot: string, _packageInfoCache: Map<string, {
+    readonly name: string | undefined;
+    readonly keywords: readonly string[];
+    readonly peerDependencies: Readonly<Record<string, string>>;
+} | undefined>, packageHasMetadataCache: Map<string, boolean>) => boolean;
+//# sourceMappingURL=program-context-types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"program-context-types.d.ts","sourceRoot":"","sources":["../../src/ir/program-context-types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAClE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AACzC,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AACpE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAC9D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sCAAsC,CAAC;AAChF,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,0CAA0C,CAAC;AAEvF;;;;;;;GAOG;AACH,MAAM,MAAM,cAAc,GAAG;IAC3B;;OAEG;IACH,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAE7B;;OAEG;IACH,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAE5B;;OAEG;IACH,QAAQ,CAAC,+BAA+B,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAEtE;;OAEG;IACH,QAAQ,CAAC,wBAAwB,EAAE,WAAW,CAC5C,MAAM,EACN,sBAAsB,CACvB,CAAC;IAEF;;OAEG;IACH,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAE/B;;OAEG;IACH,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAE9B;;;;OAIG;IACH,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC,WAAW,CAAC;IAEjC;;;;;OAKG;IACH,QAAQ,CAAC,2BAA2B,EAAE,WAAW,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;IAE7D;;OAEG;IACH,QAAQ,CAAC,iBAAiB,EAAE,EAAE,CAAC,eAAe,CAAC;IAE/C;;OAEG;IACH,QAAQ,CAAC,iBAAiB,EAAE,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC;IAE/D;;;;OAIG;IACH,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAE1B;;;;;OAKG;IACH,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC;IAEnC;;OAEG;IACH,QAAQ,CAAC,QAAQ,EAAE,sBAAsB,CAAC;IAE1C;;OAEG;IACH,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC;IAEnC;;OAEG;IACH,QAAQ,CAAC,WAAW,EAAE,mBAAmB,CAAC;IAE1C;;;;;;;;OAQG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAE/C;;;;;;OAMG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAEjD;;;;;;;OAOG;IACH,QAAQ,CAAC,WAAW,EAAE,UAAU,EAAE,CAAC;IAEnC;;;;;OAKG;IACH,QAAQ,CAAC,qBAAqB,CAAC,EAAE,MAAM,CAAC;CACzC,CAAC;AAEF,eAAO,MAAM,iBAAiB,GAC5B,UAAU,MAAM,EAChB,WAAW,MAAM,KAChB,MAwBF,CAAC;AAEF,eAAO,MAAM,sBAAsB,GACjC,UAAU,MAAM,EAChB,qBAAqB,MAAM,EAC3B,kBAAkB,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC,KAChD,MAAM,GAAG,SA6BX,CAAC;AAEF,eAAO,MAAM,cAAc,GACzB,SAAS,MAAM,EACf,kBAAkB,GAAG,CACnB,MAAM,EACJ;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;IAClC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,gBAAgB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CAC7D,GACD,SAAS,CACZ,KAEC;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;IAClC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,gBAAgB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CAC7D,GACD,SA0CH,CAAC;AAEF,eAAO,MAAM,qBAAqB,GAChC,SAAS,MAAM,EACf,mBAAmB,GAAG,CACpB,MAAM,EACJ;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;IAClC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,gBAAgB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CAC7D,GACD,SAAS,CACZ,EACD,yBAAyB,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,KAC5C,OAiCF,CAAC"}

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

@@ -0,0 +1,123 @@
+/**
+ * ProgramContext type definition and package-resolution helpers.
+ *
+ * Contains the ProgramContext type and helper functions for resolving
+ * package roots, package info, and CLR metadata discovery.
+ */
+import * as fs from "node:fs";
+import * as path from "path";
+export const getCommonAncestor = (leftPath, rightPath) => {
+    const leftResolved = path.resolve(leftPath);
+    const rightResolved = path.resolve(rightPath);
+    const leftParts = leftResolved.split(path.sep).filter(Boolean);
+    const rightParts = rightResolved.split(path.sep).filter(Boolean);
+    const shared = [];
+    for (let index = 0; index < Math.min(leftParts.length, rightParts.length); index += 1) {
+        const leftPart = leftParts[index];
+        const rightPart = rightParts[index];
+        if (leftPart === undefined || rightPart === undefined)
+            break;
+        if (leftPart !== rightPart)
+            break;
+        shared.push(leftPart);
+    }
+    if (shared.length === 0) {
+        return path.parse(leftResolved).root;
+    }
+    return path.join(path.parse(leftResolved).root, ...shared);
+};
+export const findPackageRootForFile = (fileName, projectRootResolved, packageRootCache) => {
+    const normalized = fileName.replace(/\\/g, "/");
+    if (packageRootCache.has(normalized))
+        return packageRootCache.get(normalized);
+    const resolvedFileName = path.resolve(fileName);
+    const searchFloor = resolvedFileName.startsWith(`${projectRootResolved}${path.sep}`)
+        ? projectRootResolved
+        : getCommonAncestor(resolvedFileName, projectRootResolved);
+    let dir = path.dirname(resolvedFileName);
+    while (true) {
+        const pkgJson = path.join(dir, "package.json");
+        if (fs.existsSync(pkgJson)) {
+            packageRootCache.set(normalized, dir);
+            return dir;
+        }
+        if (dir === searchFloor) {
+            packageRootCache.set(normalized, undefined);
+            return undefined;
+        }
+        const parent = path.dirname(dir);
+        if (parent === dir) {
+            packageRootCache.set(normalized, undefined);
+            return undefined;
+        }
+        dir = parent;
+    }
+};
+export const getPackageInfo = (pkgRoot, packageInfoCache) => {
+    if (packageInfoCache.has(pkgRoot))
+        return packageInfoCache.get(pkgRoot);
+    try {
+        const raw = fs.readFileSync(path.join(pkgRoot, "package.json"), "utf-8");
+        const parsed = JSON.parse(raw);
+        if (typeof parsed !== "object" || parsed === null) {
+            packageInfoCache.set(pkgRoot, undefined);
+            return undefined;
+        }
+        const name = typeof parsed.name === "string"
+            ? parsed.name
+            : undefined;
+        const keywordsRaw = parsed.keywords;
+        const keywords = Array.isArray(keywordsRaw)
+            ? keywordsRaw.filter((k) => typeof k === "string")
+            : [];
+        const peerDepsRaw = parsed
+            .peerDependencies;
+        const peerDependencies = peerDepsRaw &&
+            typeof peerDepsRaw === "object" &&
+            !Array.isArray(peerDepsRaw)
+            ? Object.fromEntries(Object.entries(peerDepsRaw).filter((entry) => typeof entry[0] === "string" && typeof entry[1] === "string"))
+            : {};
+        const info = { name, keywords, peerDependencies };
+        packageInfoCache.set(pkgRoot, info);
+        return info;
+    }
+    catch {
+        packageInfoCache.set(pkgRoot, undefined);
+        return undefined;
+    }
+};
+export const packageHasClrMetadata = (pkgRoot, _packageInfoCache, packageHasMetadataCache) => {
+    const cached = packageHasMetadataCache.get(pkgRoot);
+    if (cached !== undefined)
+        return cached;
+    let found = false;
+    const stack = [pkgRoot];
+    while (stack.length > 0 && !found) {
+        const currentDir = stack.pop();
+        if (!currentDir)
+            continue;
+        try {
+            for (const entry of fs.readdirSync(currentDir, {
+                withFileTypes: true,
+            })) {
+                const fullPath = path.join(currentDir, entry.name);
+                if (entry.isFile() && entry.name === "bindings.json") {
+                    found = true;
+                    break;
+                }
+                if (entry.isDirectory()) {
+                    // Avoid descending into nested node_modules if present.
+                    if (entry.name === "node_modules")
+                        continue;
+                    stack.push(fullPath);
+                }
+            }
+        }
+        catch {
+            // Ignore unreadable directories.
+        }
+    }
+    packageHasMetadataCache.set(pkgRoot, found);
+    return found;
+};
+//# sourceMappingURL=program-context-types.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"program-context-types.js","sourceRoot":"","sources":["../../src/ir/program-context-types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,KAAK,IAAI,MAAM,MAAM,CAAC;AAoJ7B,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,QAAgB,EAChB,SAAiB,EACT,EAAE;IACV,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC5C,MAAM,aAAa,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IAC9C,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC/D,MAAM,UAAU,GAAG,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACjE,MAAM,MAAM,GAAa,EAAE,CAAC;IAE5B,KACE,IAAI,KAAK,GAAG,CAAC,EACb,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,EACrD,KAAK,IAAI,CAAC,EACV,CAAC;QACD,MAAM,QAAQ,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;QAClC,MAAM,SAAS,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;QACpC,IAAI,QAAQ,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS;YAAE,MAAM;QAC7D,IAAI,QAAQ,KAAK,SAAS;YAAE,MAAM;QAClC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACxB,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC;IACvC,CAAC;IAED,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,IAAI,EAAE,GAAG,MAAM,CAAC,CAAC;AAC7D,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,QAAgB,EAChB,mBAA2B,EAC3B,gBAAiD,EAC7B,EAAE;IACtB,MAAM,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAChD,IAAI,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC;QAAE,OAAO,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAE9E,MAAM,gBAAgB,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAChD,MAAM,WAAW,GAAG,gBAAgB,CAAC,UAAU,CAC7C,GAAG,mBAAmB,GAAG,IAAI,CAAC,GAAG,EAAE,CACpC;QACC,CAAC,CAAC,mBAAmB;QACrB,CAAC,CAAC,iBAAiB,CAAC,gBAAgB,EAAE,mBAAmB,CAAC,CAAC;IAE7D,IAAI,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;IACzC,OAAO,IAAI,EAAE,CAAC;QACZ,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;QAC/C,IAAI,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;YAC3B,gBAAgB,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YACtC,OAAO,GAAG,CAAC;QACb,CAAC;QACD,IAAI,GAAG,KAAK,WAAW,EAAE,CAAC;YACxB,gBAAgB,CAAC,GAAG,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;YAC5C,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACjC,IAAI,MAAM,KAAK,GAAG,EAAE,CAAC;YACnB,gBAAgB,CAAC,GAAG,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;YAC5C,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,GAAG,GAAG,MAAM,CAAC;IACf,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,OAAe,EACf,gBAQC,EAOW,EAAE;IACd,IAAI,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC;QAAE,OAAO,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAExE,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,cAAc,CAAC,EAAE,OAAO,CAAC,CAAC;QACzE,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAY,CAAC;QAC1C,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;YAClD,gBAAgB,CAAC,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;YACzC,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,IAAI,GACR,OAAQ,MAAsC,CAAC,IAAI,KAAK,QAAQ;YAC9D,CAAC,CAAE,MAAoC,CAAC,IAAI;YAC5C,CAAC,CAAC,SAAS,CAAC;QAEhB,MAAM,WAAW,GAAI,MAA0C,CAAC,QAAQ,CAAC;QACzE,MAAM,QAAQ,GAAsB,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC;YAC5D,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC;YAC/D,CAAC,CAAC,EAAE,CAAC;QAEP,MAAM,WAAW,GAAI,MAAkD;aACpE,gBAAgB,CAAC;QACpB,MAAM,gBAAgB,GACpB,WAAW;YACX,OAAO,WAAW,KAAK,QAAQ;YAC/B,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC;YACzB,CAAC,CAAC,MAAM,CAAC,WAAW,CAChB,MAAM,CAAC,OAAO,CAAC,WAAsC,CAAC,CAAC,MAAM,CAC3D,CAAC,KAAK,EAA6B,EAAE,CACnC,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,QAAQ,CAC/D,CACF;YACH,CAAC,CAAC,EAAE,CAAC;QAET,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,gBAAgB,EAAE,CAAC;QAClD,gBAAgB,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QACpC,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,MAAM,CAAC;QACP,gBAAgB,CAAC,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QACzC,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,OAAe,EACf,iBAQC,EACD,uBAA6C,EACpC,EAAE;IACX,MAAM,MAAM,GAAG,uBAAuB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACpD,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IAExC,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,MAAM,KAAK,GAAa,CAAC,OAAO,CAAC,CAAC;IAElC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;QAClC,MAAM,UAAU,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;QAC/B,IAAI,CAAC,UAAU;YAAE,SAAS;QAE1B,IAAI,CAAC;YACH,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,WAAW,CAAC,UAAU,EAAE;gBAC7C,aAAa,EAAE,IAAI;aACpB,CAAC,EAAE,CAAC;gBACH,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;gBACnD,IAAI,KAAK,CAAC,MAAM,EAAE,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;oBACrD,KAAK,GAAG,IAAI,CAAC;oBACb,MAAM;gBACR,CAAC;gBACD,IAAI,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;oBACxB,wDAAwD;oBACxD,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc;wBAAE,SAAS;oBAC5C,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBACvB,CAAC;YACH,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,iCAAiC;QACnC,CAAC;IACH,CAAC;IAED,uBAAuB,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAC5C,OAAO,KAAK,CAAC;AACf,CAAC,CAAC"}