@tsonic/frontend 0.0.4 → 0.0.11

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

@@ -0,0 +1,37 @@
+/**
+ * Numeric Proof Pass - HARD GATE for numeric type narrowings
+ *
+ * This pass runs before emission and:
+ * 1. Validates all numeric narrowings are provable
+ * 2. Attaches NumericProof to validated expressions
+ * 3. Emits error diagnostics for unprovable narrowings
+ *
+ * CRITICAL: If this pass emits ANY errors, the emitter MUST NOT run.
+ * Unlike the previous implementation, this pass does NOT allow fallback casts.
+ * If we cannot prove a narrowing, compilation FAILS.
+ *
+ * This follows Alice's "Provably-Sound Numeric Types" specification:
+ * "If Tsonic cannot prove a numeric narrowing is sound, it must fail compilation."
+ */
+import { Diagnostic } from "../../types/diagnostic.js";
+import { IrModule } from "../types.js";
+/**
+ * Result of numeric proof validation
+ */
+export type NumericProofResult = {
+    readonly ok: boolean;
+    readonly module: IrModule;
+    readonly diagnostics: readonly Diagnostic[];
+};
+/**
+ * Run numeric proof validation on all modules.
+ *
+ * HARD GATE: If any diagnostics are returned, the emitter MUST NOT run.
+ * This is not a warning system - unprovable narrowings are compilation errors.
+ */
+export declare const runNumericProofPass: (modules: readonly IrModule[]) => {
+    readonly ok: boolean;
+    readonly modules: readonly IrModule[];
+    readonly diagnostics: readonly Diagnostic[];
+};
+//# sourceMappingURL=numeric-proof-pass.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"numeric-proof-pass.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/numeric-proof-pass.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EACL,UAAU,EAGX,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,QAAQ,EAWT,MAAM,aAAa,CAAC;AAErB;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;CAC7C,CAAC;AAumCF;;;;;GAKG;AACH,eAAO,MAAM,mBAAmB,GAC9B,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;CAgB7C,CAAC"}