kumi 0.0.27 → 0.0.28

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: a850b47be185d9e65a5b86121f6208b80eac6eba1f8a4bc78879893304cd02ea
-  data.tar.gz: f8a14f4516963be8c6ff8e4b9839189ead2ee134f790ea46f8945e2be6b06876
+  metadata.gz: 644df492ff48a0f3490909636f678554b93cfea464e7c133366609743d6ac8a8
+  data.tar.gz: df9b82c1e0e29466e033fac43dafda4ad990402d005d606acdf41133c3860f25
 SHA512:
-  metadata.gz: 2f4e71671cf52c9fbbdede6da6d401f44c4e55a6562fdda0b5d866f11d284a1a2645138e8f469d21fe0f7ab3546e5509348b6223f08d914a60a133b21ca9f57b
-  data.tar.gz: 7fa1e8c26b801ce265310f4dc8837ec7ec7f4218798d10360c4ab707f856ef8bb833c80f04cd08f52e1590df502c1d54fa44f270db384e7269abbda79de3eeec
+  metadata.gz: 71555d229915f8a71d47fe719f976c3d0e212576f1bbf5061463ede08c0e49e7126b338646036eb2573e3f1492297da8e42bc40331ce02289d4112b9d71be6f2
+  data.tar.gz: '09cd854fca02d7e15f52ea51f7153e9105075d4509b19219cd4cc0924c25048126df97de350e06d845ab6d65c5027e23e710ef2cf0a1ca59922fea3cefb45a3a'

data/CHANGELOG.md

@@ -1,5 +1,15 @@
 ## [Unreleased]
 
+## [0.0.28] – 2025-10-20
+### Changed
+- Error location formatting now uses explicit `line=` and `column=` keywords for clarity
+- Location extraction prioritizes structured Location objects over message parsing
+- Default file label changed from "(string)" to "schema" for better UX
+
+### Fixed
+- Removed redundant location information from error messages
+- Parse error messages now properly format location details
+
 ## [0.0.27] – 2025-10-20
 ### Added
 - Decimal type system for precise money/bignum calculations

data/README.md

@@ -7,20 +7,37 @@
 
 ---
 
-**Declarative, typed, vectorized calculation DSL (Ruby-embedded) that builds a deterministic dependency graph.**  
-Normalized, typed **AST → IR → LIR**. Static checks and **constraint UNSAT** at compile time. Codegen is thin.
+## What is Kumi?
+
+Kumi is a **declarative DSL for building calculation systems** that are:
+- **Typed & verifiable at compile time** (catch errors before they hit production)
+- **Vectorized** (arrays and nested data structures work naturally)
+- **Transparent** (inspect generated code and execution order)
+- **Portable** (compile the same schema to Ruby or JavaScript)
+
+Instead of writing procedural formulas, you declare *what* values depend on *what*, and Kumi figures out the computation order, validates types, detects impossible constraints, and generates efficient code.
+
+## Why Kumi Exists
+
+Calculation systems are everywhere: tax engines, pricing models, financial projections, compliance checks. They're usually:
+- Hard to verify (logic spread across multiple files)
+- Fragile (changing one formula breaks hidden dependencies)
+- Duplicated (same logic needed in backend and frontend)
+- Opaque (hard to audit which rules applied to which data)
+
+Kumi makes them explicit, testable, and portable.
 
 ---
 
 **Status**: experimental. Public API may change. Typing and some static checks are still evolving.
 
-**Feedback**: have a use case or a paper cut? Open an issue or reach out.
+**Feedback**: have a use case or hit a rough edge? Open an issue or reach out.
 
 ---
 
 ## Example: US Tax Calculator (2024)
 
-See the [interactive demo](https://kumi-play-web.fly.dev/) or browse the [golden test files](golden/us_tax_2024/) (schema, input, expected output, generated code).
+A single schema computes federal, state, FICA taxes across multiple filing statuses—all types verified at compile time. Try it in the [interactive demo](https://kumi-play-web.fly.dev/) or inspect the [full schema, input, output, and generated code](golden/us_tax_2024/).
 
 <details>
 <summary><strong>Schema</strong></summary>
@@ -118,10 +135,6 @@ Requires Ruby 3.1+. No external dependencies.
 ```ruby
 require 'kumi'
 
-Kumi.configure do |config|
-  config.compilation_mode = :jit
-end
-
 module Double
   extend Kumi::Schema
 
@@ -135,10 +148,12 @@ end
 result = Double.from(x: 5)
 result[:doubled]  # => 10
 
-# Export to JavaScript
+# Export to JavaScript (same logic)
 Double.write_source("output.mjs", platform: :javascript)
 ```
 
+Try the [interactive demo](https://kumi-play-web.fly.dev/) (no setup required).
+
 ---
 
 ## Documentation

data/data/functions/core/arithmetic.yaml

@@ -9,7 +9,9 @@ functions:
 
   - id: core.add
     kind: elementwise
-    params: [{ name: left_operand }, { name: right_operand }]
+    params:
+      - { name: left_operand, dtype: numeric }
+      - { name: right_operand, dtype: numeric }
     dtype:
       rule: promote
       params: [left_operand, right_operand]
@@ -33,15 +35,19 @@ functions:
 
   - id: core.sub
     kind: elementwise
-    params: [{ name: left_operand }, { name: right_operand }]
+    params:
+      - { name: left_operand, dtype: numeric }
+      - { name: right_operand, dtype: numeric }
     dtype:
       rule: promote
       params: [left_operand, right_operand]
     aliases: ["sub", "subtract"]
 
-  - id: core.mul
+  - id: core.mul:numeric
     kind: elementwise
-    params: [{ name: left_operand }, { name: right_operand }]
+    params:
+      - { name: left_operand, dtype: numeric }
+      - { name: right_operand, dtype: numeric }
     dtype:
       rule: promote
       params: [left_operand, right_operand]
@@ -63,9 +69,21 @@ functions:
         # For multiplication: divide by absolute values considering sign changes
         range: "derive from result bounds and operand bounds considering sign combinations"
 
+  - id: core.mul:string_repeat
+    kind: elementwise
+    params:
+      - { name: string_value, dtype: string }
+      - { name: repeat_count, dtype: integer }
+    dtype:
+      rule: scalar
+      kind: string
+    aliases: ["mul", "multiply"]
+
   - id: core.pow
     kind: elementwise
-    params: [{ name: base }, { name: exponent }]
+    params:
+      - { name: base, dtype: numeric }
+      - { name: exponent, dtype: numeric }
     dtype:
       rule: promote
       params: [base, exponent]
@@ -73,7 +91,9 @@ functions:
 
   - id: core.div
     kind: elementwise
-    params: [{ name: left_operand }, { name: right_operand }]
+    params:
+      - { name: left_operand, dtype: numeric }
+      - { name: right_operand, dtype: numeric }
     dtype:
       rule: scalar
       kind: float
@@ -82,8 +102,8 @@ functions:
   - id: core.mod
     kind: elementwise
     params:
-      - { name: left_operand }
-      - { name: right_operand }
+      - { name: left_operand, dtype: numeric }
+      - { name: right_operand, dtype: numeric }
     dtype:
       rule: promote
       params: [left_operand, right_operand]

data/data/functions/core/boolean.yaml

@@ -1,7 +1,9 @@
 functions:
   - id: core.and
     kind: elementwise
-    params: [{ name: left_operand }, { name: right_operand }]
+    params:
+      - { name: left_operand, dtype: boolean }
+      - { name: right_operand, dtype: boolean }
     dtype:
       rule: scalar
       kind: boolean
@@ -9,7 +11,9 @@ functions:
 
   - id: core.or
     kind: elementwise
-    params: [{ name: left_operand }, { name: right_operand }]
+    params:
+      - { name: left_operand, dtype: boolean }
+      - { name: right_operand, dtype: boolean }
     dtype:
       rule: scalar
       kind: boolean
@@ -17,7 +21,8 @@ functions:
 
   - id: core.not
     kind: elementwise
-    params: [{ name: operand }]
+    params:
+      - { name: operand, dtype: boolean }
     dtype:
       rule: scalar
       kind: boolean

data/data/functions/core/comparison.yaml

@@ -1,7 +1,9 @@
 functions:
   - id: core.gte
     kind: elementwise
-    params: [{ name: left_operand }, { name: right_operand }]
+    params:
+      - { name: left_operand, dtype: orderable }
+      - { name: right_operand, dtype: orderable }
     dtype:
       rule: scalar
       kind: boolean
@@ -10,7 +12,9 @@ functions:
 
   - id: core.gt
     kind: elementwise
-    params: [{ name: left_operand }, { name: right_operand }]
+    params:
+      - { name: left_operand, dtype: orderable }
+      - { name: right_operand, dtype: orderable }
     dtype:
       rule: scalar
       kind: boolean
@@ -19,7 +23,9 @@ functions:
 
   - id: core.lte
     kind: elementwise
-    params: [{ name: left_operand }, { name: right_operand }]
+    params:
+      - { name: left_operand, dtype: orderable }
+      - { name: right_operand, dtype: orderable }
     dtype:
       rule: scalar
       kind: boolean
@@ -28,7 +34,9 @@ functions:
 
   - id: core.lt
     kind: elementwise
-    params: [{ name: left_operand }, { name: right_operand }]
+    params:
+      - { name: left_operand, dtype: orderable }
+      - { name: right_operand, dtype: orderable }
     dtype:
       rule: scalar
       kind: boolean

data/data/kernels/javascript/core/arithmetic.yaml

@@ -15,10 +15,14 @@ kernels:
     fn: core.sub
     inline: "= $0 - $1"
 
-  - id: mul:javascript:v1
-    fn: core.mul
+  - id: mul:numeric:javascript:v1
+    fn: core.mul:numeric
     inline: "= $0 * $1"
 
+  - id: mul:string_repeat:javascript:v1
+    fn: core.mul:string_repeat
+    inline: "= $0.repeat($1)"
+
   - id: pow:javascript:v1
     fn: core.pow
     inline: "= Math.pow($0, $1)"

data/data/kernels/ruby/core/arithmetic.yaml

@@ -17,11 +17,16 @@ kernels:
     inline: "= $0 - $1"
     impl: "(a, b)\n  a - b"
 
-  - id: mul:ruby:v1
-    fn: core.mul
+  - id: mul:numeric:ruby:v1
+    fn: core.mul:numeric
     inline: "= $0 * $1"
     impl: "(a, b)\n  a * b"
 
+  - id: mul:string_repeat:ruby:v1
+    fn: core.mul:string_repeat
+    inline: "= $0 * $1"
+    impl: "(str, count)\n  str * count"
+
   - id: pow:ruby:v1
     fn: core.pow
     inline: "= $0 ** $1"

data/golden/array_element/expected/schema_ruby.rb

@@ -1,5 +1,5 @@
 # Autogenerated by Kumi Codegen
-module Kumi::Compiled::KUMI_89360babebc3896b16e46cb4cf2f0f8feb3d6f6428e9bf430575b05328fa27eb
+module Kumi::Compiled::KUMI_c471bb50d63caec69c74f4f90a802a61121c5d8df77d991ce58327c31c003c54
   def self.from(input_data = nil)
     instance = Object.new
     instance.extend(self)

data/golden/array_index/expected/lir_00_unoptimized.txt

@@ -11,7 +11,7 @@
     loop x id=L2 in %t5 as el=%x_el_6, idx=%x_i_7
       loop y id=L3 in %x_el_6 as el=%y_el_8, idx=%y_i_9
         %t10 = load_decl W axes=[x] :: integer
-        %t11 = call core.mul(%x_i_7, %t10) :: integer
+        %t11 = call core.mul:numeric(%x_i_7, %t10) :: integer
         %t12 = call core.add(%t11, %y_i_9) :: integer
         yield %t12
       end_loop
@@ -23,7 +23,7 @@
       loop y id=L5 in %x_el_14 as el=%y_el_16, idx=%y_i_17
         %t18 = load_input "x" :: array
         %t19 = call core.array_size(%t18) :: integer
-        %t20 = call core.mul(%y_i_17, %t19) :: integer
+        %t20 = call core.mul:numeric(%y_i_17, %t19) :: integer
         %t21 = call core.add(%t20, %x_i_15) :: integer
         yield %t21
       end_loop

data/golden/array_index/expected/lir_01_hoist_scalar_references.txt

@@ -11,7 +11,7 @@
     loop x id=L2 in %t5 as el=%x_el_6, idx=%x_i_7
       loop y id=L3 in %x_el_6 as el=%y_el_8, idx=%y_i_9
         %t10 = load_decl W axes=[x] :: integer
-        %t11 = call core.mul(%x_i_7, %t10) :: integer
+        %t11 = call core.mul:numeric(%x_i_7, %t10) :: integer
         %t12 = call core.add(%t11, %y_i_9) :: integer
         yield %t12
       end_loop
@@ -23,7 +23,7 @@
       loop y id=L5 in %x_el_14 as el=%y_el_16, idx=%y_i_17
         %t18 = load_input "x" :: array
         %t19 = call core.array_size(%t18) :: integer
-        %t20 = call core.mul(%y_i_17, %t19) :: integer
+        %t20 = call core.mul:numeric(%y_i_17, %t19) :: integer
         %t21 = call core.add(%t20, %x_i_15) :: integer
         yield %t21
       end_loop

data/golden/array_index/expected/lir_02_inlined.txt

@@ -12,7 +12,7 @@
       %t28 = load_input "x" :: array
       %t29 = call core.array_size(%x_el_6) :: integer
       loop y id=L3 in %x_el_6 as el=%y_el_8, idx=%y_i_9
-        %t11 = call core.mul(%x_i_7, %t29) :: integer
+        %t11 = call core.mul:numeric(%x_i_7, %t29) :: integer
         %t12 = call core.add(%t11, %y_i_9) :: integer
         yield %t12
       end_loop
@@ -24,7 +24,7 @@
       loop y id=L5 in %x_el_14 as el=%y_el_16, idx=%y_i_17
         %t18 = load_input "x" :: array
         %t19 = call core.array_size(%t18) :: integer
-        %t20 = call core.mul(%y_i_17, %t19) :: integer
+        %t20 = call core.mul:numeric(%y_i_17, %t19) :: integer
         %t21 = call core.add(%t20, %x_i_15) :: integer
         yield %t21
       end_loop

data/golden/array_index/expected/lir_03_cse.txt

@@ -11,7 +11,7 @@
     loop x id=L2 in %t5 as el=%x_el_6, idx=%x_i_7
       %t29 = call core.array_size(%x_el_6) :: integer
       loop y id=L3 in %x_el_6 as el=%y_el_8, idx=%y_i_9
-        %t11 = call core.mul(%x_i_7, %t29) :: integer
+        %t11 = call core.mul:numeric(%x_i_7, %t29) :: integer
         %t12 = call core.add(%t11, %y_i_9) :: integer
         yield %t12
       end_loop
@@ -22,7 +22,7 @@
     loop x id=L4 in %t13 as el=%x_el_14, idx=%x_i_15
       loop y id=L5 in %x_el_14 as el=%y_el_16, idx=%y_i_17
         %t19 = call core.array_size(%t13) :: integer
-        %t20 = call core.mul(%y_i_17, %t19) :: integer
+        %t20 = call core.mul:numeric(%y_i_17, %t19) :: integer
         %t21 = call core.add(%t20, %x_i_15) :: integer
         yield %t21
       end_loop

data/golden/array_index/expected/lir_04_1_loop_fusion.txt

@@ -11,7 +11,7 @@
     loop x id=L2 in %t5 as el=%x_el_6, idx=%x_i_7
       %t29 = call core.array_size(%x_el_6) :: integer
       loop y id=L3 in %x_el_6 as el=%y_el_8, idx=%y_i_9
-        %t11 = call core.mul(%x_i_7, %t29) :: integer
+        %t11 = call core.mul:numeric(%x_i_7, %t29) :: integer
         %t12 = call core.add(%t11, %y_i_9) :: integer
         yield %t12
       end_loop
@@ -22,7 +22,7 @@
     loop x id=L4 in %t13 as el=%x_el_14, idx=%x_i_15
       loop y id=L5 in %x_el_14 as el=%y_el_16, idx=%y_i_17
         %t19 = call core.array_size(%t13) :: integer
-        %t20 = call core.mul(%y_i_17, %t19) :: integer
+        %t20 = call core.mul:numeric(%y_i_17, %t19) :: integer
         %t21 = call core.add(%t20, %x_i_15) :: integer
         yield %t21
       end_loop

data/golden/array_index/expected/lir_04_loop_invcm.txt

@@ -10,7 +10,7 @@
     %t5 = load_input "x" :: array
     loop x id=L2 in %t5 as el=%x_el_6, idx=%x_i_7
       %t29 = call core.array_size(%x_el_6) :: integer
-      %t11 = call core.mul(%x_i_7, %t29) :: integer
+      %t11 = call core.mul:numeric(%x_i_7, %t29) :: integer
       loop y id=L3 in %x_el_6 as el=%y_el_8, idx=%y_i_9
         %t12 = call core.add(%t11, %y_i_9) :: integer
         yield %t12
@@ -22,7 +22,7 @@
     %t19 = call core.array_size(%t13) :: integer
     loop x id=L4 in %t13 as el=%x_el_14, idx=%x_i_15
       loop y id=L5 in %x_el_14 as el=%y_el_16, idx=%y_i_17
-        %t20 = call core.mul(%y_i_17, %t19) :: integer
+        %t20 = call core.mul:numeric(%y_i_17, %t19) :: integer
         %t21 = call core.add(%t20, %x_i_15) :: integer
         yield %t21
       end_loop

data/golden/array_index/expected/lir_06_const_prop.txt

@@ -10,7 +10,7 @@
     %t5 = load_input "x" :: array
     loop x id=L2 in %t5 as el=%x_el_6, idx=%x_i_7
       %t29 = call core.array_size(%x_el_6) :: integer
-      %t11 = call core.mul(%x_i_7, %t29) :: integer
+      %t11 = call core.mul:numeric(%x_i_7, %t29) :: integer
       loop y id=L3 in %x_el_6 as el=%y_el_8, idx=%y_i_9
         %t12 = call core.add(%t11, %y_i_9) :: integer
         yield %t12
@@ -22,7 +22,7 @@
     %t19 = call core.array_size(%t13) :: integer
     loop x id=L4 in %t13 as el=%x_el_14, idx=%x_i_15
       loop y id=L5 in %x_el_14 as el=%y_el_16, idx=%y_i_17
-        %t20 = call core.mul(%y_i_17, %t19) :: integer
+        %t20 = call core.mul:numeric(%y_i_17, %t19) :: integer
         %t21 = call core.add(%t20, %x_i_15) :: integer
         yield %t21
       end_loop

data/golden/array_index/expected/schema_ruby.rb

@@ -1,5 +1,5 @@
 # Autogenerated by Kumi Codegen
-module Kumi::Compiled::KUMI_1ee54aec6cf6cfd2570cdd73e6ce47bc23c82e4faaf4a03ca6bd11d1e8d34b0e
+module Kumi::Compiled::KUMI_874ab4afa8620b57bf0b29130c4beab47d4b6f3e93de001a63d88e7fe497a308
   def self.from(input_data = nil)
     instance = Object.new
     instance.extend(self)

data/golden/array_index/expected/snast.txt

@@ -6,7 +6,7 @@
   ) :: [x] -> integer
   (VALUE box
     (Call :core.add
-      (Call :core.mul
+      (Call :core.mul:numeric
         (IndexRef i input=x.__index(i)) :: [x] -> integer
         (Ref W) :: [x] -> integer
       ) :: [x] -> integer
@@ -15,7 +15,7 @@
   ) :: [x, y] -> integer
   (VALUE col_major
     (Call :core.add
-      (Call :core.mul
+      (Call :core.mul:numeric
         (IndexRef j input=x.y.__index(j)) :: [x, y] -> integer
         (Call :core.array_size
           (InputRef x key_chain=[]) :: [] -> array

data/golden/array_operations/expected/lir_00_unoptimized.txt

@@ -4,7 +4,7 @@
     loop items id=L1 in %t1 as el=%items_el_2, idx=%items_i_3
       %t4 = load_field items_el_2["price"] :: float
       %t5 = load_field items_el_2["quantity"] :: integer
-      %t6 = call core.mul(%t4, %t5) :: float
+      %t6 = call core.mul:numeric(%t4, %t5) :: float
       yield %t6
     end_loop
   )
@@ -13,7 +13,7 @@
     loop items id=L2 in %t7 as el=%items_el_8, idx=%items_i_9
       %t10 = load_field items_el_8["price"] :: float
       %t11 = const 0.9 :: float
-      %t12 = call core.mul(%t10, %t11) :: float
+      %t12 = call core.mul:numeric(%t10, %t11) :: float
       yield %t12
     end_loop
   )

data/golden/array_operations/expected/lir_01_hoist_scalar_references.txt

@@ -4,7 +4,7 @@
     loop items id=L1 in %t1 as el=%items_el_2, idx=%items_i_3
       %t4 = load_field items_el_2["price"] :: float
       %t5 = load_field items_el_2["quantity"] :: integer
-      %t6 = call core.mul(%t4, %t5) :: float
+      %t6 = call core.mul:numeric(%t4, %t5) :: float
       yield %t6
     end_loop
   )
@@ -13,7 +13,7 @@
     loop items id=L2 in %t7 as el=%items_el_8, idx=%items_i_9
       %t10 = load_field items_el_8["price"] :: float
       %t11 = const 0.9 :: float
-      %t12 = call core.mul(%t10, %t11) :: float
+      %t12 = call core.mul:numeric(%t10, %t11) :: float
       yield %t12
     end_loop
   )

data/golden/array_operations/expected/lir_02_inlined.txt

@@ -4,7 +4,7 @@
     loop items id=L1 in %t1 as el=%items_el_2, idx=%items_i_3
       %t4 = load_field items_el_2["price"] :: float
       %t5 = load_field items_el_2["quantity"] :: integer
-      %t6 = call core.mul(%t4, %t5) :: float
+      %t6 = call core.mul:numeric(%t4, %t5) :: float
       yield %t6
     end_loop
   )
@@ -13,7 +13,7 @@
     loop items id=L2 in %t7 as el=%items_el_8, idx=%items_i_9
       %t10 = load_field items_el_8["price"] :: float
       %t11 = const 0.9 :: float
-      %t12 = call core.mul(%t10, %t11) :: float
+      %t12 = call core.mul:numeric(%t10, %t11) :: float
       yield %t12
     end_loop
   )

data/golden/array_operations/expected/lir_03_cse.txt

@@ -4,7 +4,7 @@
     loop items id=L1 in %t1 as el=%items_el_2, idx=%items_i_3
       %t4 = load_field items_el_2["price"] :: float
       %t5 = load_field items_el_2["quantity"] :: integer
-      %t6 = call core.mul(%t4, %t5) :: float
+      %t6 = call core.mul:numeric(%t4, %t5) :: float
       yield %t6
     end_loop
   )
@@ -13,7 +13,7 @@
     loop items id=L2 in %t7 as el=%items_el_8, idx=%items_i_9
       %t10 = load_field items_el_8["price"] :: float
       %t11 = const 0.9 :: float
-      %t12 = call core.mul(%t10, %t11) :: float
+      %t12 = call core.mul:numeric(%t10, %t11) :: float
       yield %t12
     end_loop
   )

data/golden/array_operations/expected/lir_04_1_loop_fusion.txt

@@ -4,7 +4,7 @@
     loop items id=L1 in %t1 as el=%items_el_2, idx=%items_i_3
       %t4 = load_field items_el_2["price"] :: float
       %t5 = load_field items_el_2["quantity"] :: integer
-      %t6 = call core.mul(%t4, %t5) :: float
+      %t6 = call core.mul:numeric(%t4, %t5) :: float
       yield %t6
     end_loop
   )
@@ -13,7 +13,7 @@
     loop items id=L2 in %t7 as el=%items_el_8, idx=%items_i_9
       %t10 = load_field items_el_8["price"] :: float
       %t11 = const 0.9 :: float
-      %t12 = call core.mul(%t10, %t11) :: float
+      %t12 = call core.mul:numeric(%t10, %t11) :: float
       yield %t12
     end_loop
   )

data/golden/array_operations/expected/lir_04_loop_invcm.txt

@@ -4,7 +4,7 @@
     loop items id=L1 in %t1 as el=%items_el_2, idx=%items_i_3
       %t4 = load_field items_el_2["price"] :: float
       %t5 = load_field items_el_2["quantity"] :: integer
-      %t6 = call core.mul(%t4, %t5) :: float
+      %t6 = call core.mul:numeric(%t4, %t5) :: float
       yield %t6
     end_loop
   )
@@ -13,7 +13,7 @@
     %t11 = const 0.9 :: float
     loop items id=L2 in %t7 as el=%items_el_8, idx=%items_i_9
       %t10 = load_field items_el_8["price"] :: float
-      %t12 = call core.mul(%t10, %t11) :: float
+      %t12 = call core.mul:numeric(%t10, %t11) :: float
       yield %t12
     end_loop
   )

data/golden/array_operations/expected/lir_06_const_prop.txt

@@ -4,7 +4,7 @@
     loop items id=L1 in %t1 as el=%items_el_2, idx=%items_i_3
       %t4 = load_field items_el_2["price"] :: float
       %t5 = load_field items_el_2["quantity"] :: integer
-      %t6 = call core.mul(%t4, %t5) :: float
+      %t6 = call core.mul:numeric(%t4, %t5) :: float
       yield %t6
     end_loop
   )
@@ -13,7 +13,7 @@
     %t11 = const 0.9 :: float
     loop items id=L2 in %t7 as el=%items_el_8, idx=%items_i_9
       %t10 = load_field items_el_8["price"] :: float
-      %t12 = call core.mul(%t10, %t11) :: float
+      %t12 = call core.mul:numeric(%t10, %t11) :: float
       yield %t12
     end_loop
   )

data/golden/array_operations/expected/schema_ruby.rb

@@ -1,5 +1,5 @@
 # Autogenerated by Kumi Codegen
-module Kumi::Compiled::KUMI_0cb193cac7097725954d884c342db7afb7158942e3608106d1d84042f47fb997
+module Kumi::Compiled::KUMI_b08d7f192e1ffb8868072e38be0c03320a56a08950f1fa98a5982614dd5d7a6d
   def self.from(input_data = nil)
     instance = Object.new
     instance.extend(self)

data/golden/array_operations/expected/snast.txt

@@ -1,12 +1,12 @@
 (SNAST
   (VALUE subtotals
-    (Call :core.mul
+    (Call :core.mul:numeric
       (InputRef items.item.price key_chain=[]) :: [items] -> float
       (InputRef items.item.quantity key_chain=[]) :: [items] -> integer
     ) :: [items] -> float
   ) :: [items] -> float
   (VALUE discounted_price
-    (Call :core.mul
+    (Call :core.mul:numeric
       (InputRef items.item.price key_chain=[]) :: [items] -> float
       (Const 0.9) :: [] -> float
     ) :: [items] -> float

data/golden/cascade_logic/expected/schema_ruby.rb

@@ -1,5 +1,5 @@
 # Autogenerated by Kumi Codegen
-module Kumi::Compiled::KUMI_ced9076f56216648b58d9ecbfaf37f152c120ca7fbea32964e0ef891829acbca
+module Kumi::Compiled::KUMI_ea8e631bd824ece5423ddafc69362e81b847190a419fa644cf040bbe81b3c9f6
   def self.from(input_data = nil)
     instance = Object.new
     instance.extend(self)

data/golden/chained_fusion/expected/schema_ruby.rb

@@ -1,5 +1,5 @@
 # Autogenerated by Kumi Codegen
-module Kumi::Compiled::KUMI_48491984ea6dc439d6851cae7cc74e9d139f13ab6290dea881bd89a3ee853b3b
+module Kumi::Compiled::KUMI_6a70b58297ad4cc11ad823969c665f4a3b1fd2bfd9121ea025c8c5d197e491fe
   def self.from(input_data = nil)
     instance = Object.new
     instance.extend(self)

data/golden/decimal_explicit/expected/lir_00_unoptimized.txt

@@ -12,13 +12,13 @@
   (Declaration subtotal
     %t5 = load_decl price :: decimal
     %t6 = load_input "quantity" :: integer
-    %t7 = call core.mul(%t5, %t6) :: integer
+    %t7 = call core.mul:numeric(%t5, %t6) :: integer
     yield %t7
   )
   (Declaration tax_amount
     %t8 = load_decl subtotal :: integer
     %t9 = load_decl rate :: decimal
-    %t10 = call core.mul(%t8, %t9) :: integer
+    %t10 = call core.mul:numeric(%t8, %t9) :: integer
     yield %t10
   )
   (Declaration total

data/golden/decimal_explicit/expected/lir_01_hoist_scalar_references.txt

@@ -12,13 +12,13 @@
   (Declaration subtotal
     %t5 = load_decl price :: decimal
     %t6 = load_input "quantity" :: integer
-    %t7 = call core.mul(%t5, %t6) :: integer
+    %t7 = call core.mul:numeric(%t5, %t6) :: integer
     yield %t7
   )
   (Declaration tax_amount
     %t8 = load_decl subtotal :: integer
     %t9 = load_decl rate :: decimal
-    %t10 = call core.mul(%t8, %t9) :: integer
+    %t10 = call core.mul:numeric(%t8, %t9) :: integer
     yield %t10
   )
   (Declaration total