@tsonic/frontend 0.0.11 → 0.0.13

package/dist/ir/validation/index.js

@@ -3,5 +3,8 @@
  */
 export { validateIrSoundness, } from "./soundness-gate.js";
 export { runNumericProofPass, } from "./numeric-proof-pass.js";
+export { runNumericCoercionPass, } from "./numeric-coercion-pass.js";
 export { runYieldLoweringPass, } from "./yield-lowering-pass.js";
+export { runAttributeCollectionPass, } from "./attribute-collection-pass.js";
+export { runAnonymousTypeLoweringPass, } from "./anonymous-type-lowering-pass.js";
 //# sourceMappingURL=index.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/ir/validation/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EACL,mBAAmB,GAEpB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EACL,mBAAmB,GAEpB,MAAM,yBAAyB,CAAC;AAEjC,OAAO,EACL,oBAAoB,GAErB,MAAM,0BAA0B,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/ir/validation/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EACL,mBAAmB,GAEpB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EACL,mBAAmB,GAEpB,MAAM,yBAAyB,CAAC;AAEjC,OAAO,EACL,sBAAsB,GAEvB,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EACL,oBAAoB,GAErB,MAAM,0BAA0B,CAAC;AAElC,OAAO,EACL,0BAA0B,GAE3B,MAAM,gCAAgC,CAAC;AAExC,OAAO,EACL,4BAA4B,GAE7B,MAAM,mCAAmC,CAAC"}

package/dist/ir/validation/numeric-coercion-pass.d.ts

@@ -0,0 +1,77 @@
+/**
+ * Numeric Coercion Pass - STRICT CONTRACT enforcement
+ *
+ * This pass detects cases where an integer expression is used where a double is expected,
+ * and requires explicit user intent for the conversion.
+ *
+ * STRICT RULE: int → double requires explicit user intent
+ *
+ * Intent sites (where widening is checked):
+ * 1. Variable initialization with explicit type: `const x: number = 42` → ERROR
+ * 2. Parameter passing: `foo(42)` where foo expects `number` → ERROR
+ * 3. Return statements: `return 42` where function returns `number` → ERROR
+ * 4. Array elements: `[1, 2, 3]` in `number[]` context → ERROR (each element)
+ * 5. Object properties: `{ x: 42 }` where type has `x: number` → ERROR
+ * 6. Ternary branches: `cond ? 1 : 2` where expected is `number` → ERROR
+ * 7. Default parameters: `function f(x: number = 42)` → ERROR
+ * 8. Tuple elements: `[1, 2]` in `[number, number]` context → ERROR
+ *
+ * How to satisfy the contract:
+ * - Use double literal: `const x: number = 42.0` ✓
+ * - Use explicit cast: `const x: number = 42 as number` ✓
+ *
+ * This pass runs AFTER the IR is built, BEFORE emission.
+ * It is a HARD GATE - any errors prevent emission.
+ */
+import { Diagnostic } from "../../types/diagnostic.js";
+import { IrModule, IrExpression } from "../types.js";
+/**
+ * Result of numeric expression classification.
+ * - "Int32": Expression definitely produces an Int32 value
+ * - "Double": Expression definitely produces a Double value
+ * - "Unknown": Cannot determine at compile time (e.g., untyped identifier, complex call)
+ */
+export type NumericExprKind = "Int32" | "Double" | "Unknown";
+/**
+ * Classify an expression's numeric kind.
+ *
+ * This function propagates numeric kind through:
+ * - Literals (via numericIntent)
+ * - Identifiers with primitiveType(name="int") or primitiveType(name="number")
+ * - Arithmetic operations (uses C# promotion rules)
+ * - Unary +/- (preserves operand kind)
+ * - Ternary (requires both branches to have same kind)
+ * - Parentheses (pass through)
+ * - numericNarrowing expressions (uses targetKind)
+ *
+ * Returns "Unknown" for expressions that cannot be classified.
+ */
+export declare const classifyNumericExpr: (expr: IrExpression) => NumericExprKind;
+/**
+ * Check if an expression has explicit double intent.
+ * This is true when:
+ * - It's a numericNarrowing with targetKind "Double" (i.e., `42 as number`)
+ * - It's a literal with numericIntent "Double" (i.e., `42.0`)
+ *
+ * Used to exempt explicit casts from TSN5110 errors.
+ */
+export declare const hasExplicitDoubleIntent: (expr: IrExpression) => boolean;
+/**
+ * Result of numeric coercion validation
+ */
+export type NumericCoercionResult = {
+    readonly ok: boolean;
+    readonly module: IrModule;
+    readonly diagnostics: readonly Diagnostic[];
+};
+/**
+ * Run numeric coercion validation on all modules.
+ *
+ * HARD GATE: If any diagnostics are returned, the emitter MUST NOT run.
+ */
+export declare const runNumericCoercionPass: (modules: readonly IrModule[]) => {
+    readonly ok: boolean;
+    readonly modules: readonly IrModule[];
+    readonly diagnostics: readonly Diagnostic[];
+};
+//# sourceMappingURL=numeric-coercion-pass.d.ts.map

package/dist/ir/validation/numeric-coercion-pass.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"numeric-coercion-pass.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/numeric-coercion-pass.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,EACL,UAAU,EAGX,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,QAAQ,EAER,YAAY,EAIb,MAAM,aAAa,CAAC;AAErB;;;;;GAKG;AACH,MAAM,MAAM,eAAe,GAAG,OAAO,GAAG,QAAQ,GAAG,SAAS,CAAC;AAQ7D;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,mBAAmB,GAAI,MAAM,YAAY,KAAG,eA6GxD,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,uBAAuB,GAAI,MAAM,YAAY,KAAG,OAgB5D,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,qBAAqB,GAAG;IAClC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;CAC7C,CAAC;AAwoBF;;;;GAIG;AACH,eAAO,MAAM,sBAAsB,GACjC,SAAS,SAAS,QAAQ,EAAE,KAC3B;IACD,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,SAAS,QAAQ,EAAE,CAAC;IACtC,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;CAc7C,CAAC"}