@tsonic/emitter 0.0.5 → 0.0.12

package/dist/invariants/emitter-globals-subset.test.js

@@ -0,0 +1,137 @@
+/**
+ * Mechanical Invariant Test: Emitter Special-Cases ⊆ Globals
+ *
+ * This test verifies that every identifier the emitter "just knows" about
+ * via special-casing exists in at least one globals package.
+ *
+ * The principle: The emitter must not emit CLR mappings for types that
+ * aren't declared in the globals packages. If a type isn't in globals,
+ * TypeScript name resolution will fail first (which is correct behavior).
+ *
+ * Source of truth for special-cased identifiers:
+ * - packages/emitter/src/types/references.ts
+ */
+import { describe, it } from "mocha";
+import { strict as assert } from "assert";
+/**
+ * Types that the emitter special-cases with hardcoded CLR mappings.
+ * Each entry specifies which runtime mode(s) the special-casing applies to.
+ *
+ * IMPORTANT: When adding new special-cases to the emitter, you MUST:
+ * 1. Add the type to this list
+ * 2. Ensure the type is declared in the appropriate globals package(s)
+ * 3. Update the assertions below
+ */
+const EMITTER_SPECIAL_CASES = {
+    // From references.ts:192 - Array<T> → List<T>
+    Array: { js: true, dotnet: true },
+    // From references.ts:204,217 - Promise<T> → Task<T>
+    Promise: { js: true, dotnet: true },
+    // From references.ts:236 - PromiseLike<T> → Task<T>
+    PromiseLike: { js: true, dotnet: true },
+    // From references.ts:232 - Error → Exception (JS mode only)
+    Error: { js: true, dotnet: false },
+};
+/**
+ * Types that MUST be declared in js-globals for the emitter to work correctly.
+ * These are types that have special-case handling when runtime === "js".
+ */
+const REQUIRED_IN_JS_GLOBALS = ["Array", "Promise", "PromiseLike", "Error"];
+/**
+ * Types that MUST be declared in dotnet-globals for the emitter to work correctly.
+ * These are types that have special-case handling when runtime === "dotnet".
+ */
+const REQUIRED_IN_DOTNET_GLOBALS = ["Array", "Promise", "PromiseLike"];
+/**
+ * Types that are NOT in any globals package.
+ * These must NOT be special-cased because TS name resolution will fail first.
+ * If the emitter special-cased these, it would produce wrong output for code
+ * that can't even type-check.
+ */
+const TYPES_NOT_IN_ANY_GLOBALS = [
+    "Map", // Not in globals - must fail at TS name resolution
+    "Set", // Not in globals - must fail at TS name resolution
+    "WeakMap", // Not in globals
+    "WeakSet", // Not in globals
+    "Date", // Not in globals (uses System.DateTime via imports)
+    "parseInt", // Not in globals
+    "parseFloat", // Not in globals
+    "isNaN", // Not in globals
+    "isFinite", // Not in globals
+];
+/**
+ * Types that ARE in js-globals but are NOT special-cased by the emitter.
+ * This is correct behavior - they go through normal type resolution.
+ * These are listed here to document that they're intentionally not special-cased.
+ *
+ * Note: These types are legitimate in JS mode and resolve through the normal
+ * import/binding path, not hardcoded CLR mappings.
+ */
+const IN_JS_GLOBALS_NOT_SPECIAL_CASED = [
+    "console", // In js-globals, resolves via normal path
+    "Math", // In js-globals, resolves via normal path
+    "JSON", // In js-globals, resolves via normal path
+    "RegExp", // In js-globals (minimal), resolves via normal path
+];
+describe("Emitter-Globals Subset Invariant", () => {
+    describe("Special-cased types exist in appropriate globals", () => {
+        it("all JS-mode special cases are in js-globals", () => {
+            const jsSpecialCases = Object.entries(EMITTER_SPECIAL_CASES)
+                .filter(([_, modes]) => modes.js)
+                .map(([name]) => name);
+            // This assertion documents the invariant
+            assert.deepEqual(jsSpecialCases.sort(), REQUIRED_IN_JS_GLOBALS.sort(), "JS-mode special cases must match required js-globals types");
+        });
+        it("all dotnet-mode special cases are in dotnet-globals", () => {
+            const dotnetSpecialCases = Object.entries(EMITTER_SPECIAL_CASES)
+                .filter(([_, modes]) => modes.dotnet)
+                .map(([name]) => name);
+            assert.deepEqual(dotnetSpecialCases.sort(), REQUIRED_IN_DOTNET_GLOBALS.sort(), "Dotnet-mode special cases must match required dotnet-globals types");
+        });
+        it("Error is only special-cased in JS mode", () => {
+            const errorConfig = EMITTER_SPECIAL_CASES.Error;
+            assert.equal(errorConfig.js, true, "Error should be special-cased in JS mode");
+            assert.equal(errorConfig.dotnet, false, "Error should NOT be special-cased in dotnet mode");
+        });
+    });
+    describe("Types not in globals are not special-cased", () => {
+        it("Map is not special-cased (not in any globals)", () => {
+            assert.equal(EMITTER_SPECIAL_CASES["Map"], undefined, "Map must not be special-cased - it's not in globals, TS will fail first");
+        });
+        it("Set is not special-cased (not in any globals)", () => {
+            assert.equal(EMITTER_SPECIAL_CASES["Set"], undefined, "Set must not be special-cased - it's not in globals, TS will fail first");
+        });
+        it("no types outside globals are special-cased", () => {
+            for (const typeName of TYPES_NOT_IN_ANY_GLOBALS) {
+                assert.equal(EMITTER_SPECIAL_CASES[typeName], undefined, `${typeName} must not be special-cased - it's not in any globals package`);
+            }
+        });
+    });
+    describe("JS-globals types correctly handled", () => {
+        it("console/Math/JSON are in js-globals but not special-cased (correct)", () => {
+            // These types ARE in js-globals and should NOT be special-cased.
+            // They resolve through normal type resolution, not hardcoded CLR mappings.
+            for (const typeName of IN_JS_GLOBALS_NOT_SPECIAL_CASED) {
+                assert.equal(EMITTER_SPECIAL_CASES[typeName], undefined, `${typeName} is in js-globals but should NOT be special-cased (uses normal resolution)`);
+            }
+        });
+    });
+    describe("Invariant documentation", () => {
+        it("documents the complete list of special-cased types", () => {
+            const specialCasedTypes = Object.keys(EMITTER_SPECIAL_CASES);
+            // This test will fail if someone adds a new special case without updating this file
+            assert.deepEqual(specialCasedTypes.sort(), ["Array", "Error", "Promise", "PromiseLike"], "Complete list of emitter special-cased types");
+        });
+        it("documents source locations for special cases", () => {
+            // This is a documentation test - it reminds maintainers where to look
+            const sourceLocations = {
+                Array: "packages/emitter/src/types/references.ts:192",
+                Promise: "packages/emitter/src/types/references.ts:204,217",
+                PromiseLike: "packages/emitter/src/types/references.ts:236",
+                Error: "packages/emitter/src/types/references.ts:232",
+            };
+            assert.equal(Object.keys(sourceLocations).length, Object.keys(EMITTER_SPECIAL_CASES).length, "All special cases should have documented source locations");
+        });
+    });
+});
+//# sourceMappingURL=emitter-globals-subset.test.js.map

package/dist/invariants/emitter-globals-subset.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"emitter-globals-subset.test.js","sourceRoot":"","sources":["../../src/invariants/emitter-globals-subset.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,IAAI,MAAM,EAAE,MAAM,QAAQ,CAAC;AAE1C;;;;;;;;GAQG;AACH,MAAM,qBAAqB,GAAG;IAC5B,8CAA8C;IAC9C,KAAK,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE;IAEjC,oDAAoD;IACpD,OAAO,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE;IAEnC,oDAAoD;IACpD,WAAW,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE;IAEvC,4DAA4D;IAC5D,KAAK,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE;CAC1B,CAAC;AAEX;;;GAGG;AACH,MAAM,sBAAsB,GAAG,CAAC,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,OAAO,CAAC,CAAC;AAE5E;;;GAGG;AACH,MAAM,0BAA0B,GAAG,CAAC,OAAO,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;AAEvE;;;;;GAKG;AACH,MAAM,wBAAwB,GAAG;IAC/B,KAAK,EAAE,mDAAmD;IAC1D,KAAK,EAAE,mDAAmD;IAC1D,SAAS,EAAE,iBAAiB;IAC5B,SAAS,EAAE,iBAAiB;IAC5B,MAAM,EAAE,oDAAoD;IAC5D,UAAU,EAAE,iBAAiB;IAC7B,YAAY,EAAE,iBAAiB;IAC/B,OAAO,EAAE,iBAAiB;IAC1B,UAAU,EAAE,iBAAiB;CAC9B,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,+BAA+B,GAAG;IACtC,SAAS,EAAE,0CAA0C;IACrD,MAAM,EAAE,0CAA0C;IAClD,MAAM,EAAE,0CAA0C;IAClD,QAAQ,EAAE,oDAAoD;CAC/D,CAAC;AAEF,QAAQ,CAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,QAAQ,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAChE,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;YACrD,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,CAAC,qBAAqB,CAAC;iBACzD,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;iBAChC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;YAEzB,yCAAyC;YACzC,MAAM,CAAC,SAAS,CACd,cAAc,CAAC,IAAI,EAAE,EACrB,sBAAsB,CAAC,IAAI,EAAE,EAC7B,4DAA4D,CAC7D,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;YAC7D,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,CAAC,qBAAqB,CAAC;iBAC7D,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC;iBACpC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;YAEzB,MAAM,CAAC,SAAS,CACd,kBAAkB,CAAC,IAAI,EAAE,EACzB,0BAA0B,CAAC,IAAI,EAAE,EACjC,oEAAoE,CACrE,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;YAChD,MAAM,WAAW,GAAG,qBAAqB,CAAC,KAAK,CAAC;YAChD,MAAM,CAAC,KAAK,CACV,WAAW,CAAC,EAAE,EACd,IAAI,EACJ,0CAA0C,CAC3C,CAAC;YACF,MAAM,CAAC,KAAK,CACV,WAAW,CAAC,MAAM,EAClB,KAAK,EACL,kDAAkD,CACnD,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,4CAA4C,EAAE,GAAG,EAAE;QAC1D,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;YACvD,MAAM,CAAC,KAAK,CACT,qBAAiD,CAAC,KAAK,CAAC,EACzD,SAAS,EACT,yEAAyE,CAC1E,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;YACvD,MAAM,CAAC,KAAK,CACT,qBAAiD,CAAC,KAAK,CAAC,EACzD,SAAS,EACT,yEAAyE,CAC1E,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;YACpD,KAAK,MAAM,QAAQ,IAAI,wBAAwB,EAAE,CAAC;gBAChD,MAAM,CAAC,KAAK,CACT,qBAAiD,CAAC,QAAQ,CAAC,EAC5D,SAAS,EACT,GAAG,QAAQ,8DAA8D,CAC1E,CAAC;YACJ,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAClD,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;YAC7E,iEAAiE;YACjE,2EAA2E;YAC3E,KAAK,MAAM,QAAQ,IAAI,+BAA+B,EAAE,CAAC;gBACvD,MAAM,CAAC,KAAK,CACT,qBAAiD,CAAC,QAAQ,CAAC,EAC5D,SAAS,EACT,GAAG,QAAQ,4EAA4E,CACxF,CAAC;YACJ,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACvC,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;YAC5D,MAAM,iBAAiB,GAAG,MAAM,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;YAE7D,oFAAoF;YACpF,MAAM,CAAC,SAAS,CACd,iBAAiB,CAAC,IAAI,EAAE,EACxB,CAAC,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,aAAa,CAAC,EAC5C,8CAA8C,CAC/C,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;YACtD,sEAAsE;YACtE,MAAM,eAAe,GAAG;gBACtB,KAAK,EAAE,8CAA8C;gBACrD,OAAO,EAAE,kDAAkD;gBAC3D,WAAW,EAAE,8CAA8C;gBAC3D,KAAK,EAAE,8CAA8C;aACtD,CAAC;YAEF,MAAM,CAAC,KAAK,CACV,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,MAAM,EACnC,MAAM,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC,MAAM,EACzC,2DAA2D,CAC5D,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/invariants/numeric-proof-contract.test.d.ts

@@ -0,0 +1,19 @@
+/**
+ * Contract Test: Numeric Proof System (Behavioral)
+ *
+ * These tests enforce the contract between the numeric proof pass (frontend)
+ * and the emitter (backend) using BEHAVIOR, not source code pattern matching.
+ *
+ * Key contract:
+ * 1. Only the proof pass determines whether an expression is proven Int32
+ * 2. The emitter checks IR markers (numericIntent) and ICEs if missing
+ * 3. TSN5107 is triggered based on accessKind, not heuristic name matching
+ * 4. TSN5109 is triggered when accessKind is unknown/missing (compiler bug)
+ *
+ * Test approach:
+ * - Create IR fixtures with specific accessKind values
+ * - Run proof pass and assert diagnostics or success
+ * - Run emitter and verify ICE behavior for unproven indices
+ */
+export {};
+//# sourceMappingURL=numeric-proof-contract.test.d.ts.map

package/dist/invariants/numeric-proof-contract.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"numeric-proof-contract.test.d.ts","sourceRoot":"","sources":["../../src/invariants/numeric-proof-contract.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG"}