kumi 0.0.18 → 0.0.20

data/golden/min_reduce_scope/schema.kumi

@@ -0,0 +1,25 @@
+schema do
+  input do
+    array :depts do
+      hash :dept do
+        array :teams do
+          hash :team do
+            integer :headcount
+          end
+        end
+      end
+    end
+  end
+
+  # elementwise check stays at team scope
+  trait :big_team, input.depts.dept.teams.team.headcount > 10
+
+  # 1) department totals: must drop :teams only
+  value :dept_total, fn(:sum, input.depts.dept.teams.team.headcount)
+
+  # 2) company total: must drop :teams then :depts
+  value :company_total, fn(:sum, fn(:sum, input.depts.dept.teams.team.headcount))
+
+  # 3) masked reduction: sum only headcount from big teams
+  value :dept_total_masked, fn(:sum_if, input.depts.dept.teams.team.headcount, big_team)
+end

data/golden/mixed_dimensions/expected/ast.txt

@@ -0,0 +1,54 @@
+(Root
+  inputs: [
+    (InputDeclaration :numbers :array
+      [
+        (InputDeclaration :num :hash
+          [
+            (InputDeclaration :value :integer)
+          ]
+        )
+      ]
+    )
+    (InputDeclaration :scalar_val :integer)
+    (InputDeclaration :matrix :array
+      [
+        (InputDeclaration :m :hash
+          [
+            (InputDeclaration :row :array
+              [
+                (InputDeclaration :r :hash
+                  [
+                    (InputDeclaration :cell :float)
+                  ]
+                )
+              ]
+            )
+          ]
+        )
+      ]
+    )
+  ]
+  values: [
+    (ValueDeclaration :constant
+      (Literal 42)
+    )
+    (ValueDeclaration :sum_numbers
+      (CallExpression :sum
+        (InputElementReference numbers.num.value)
+      )
+    )
+    (ValueDeclaration :matrix_sums
+      (CallExpression :sum
+        (InputElementReference matrix.m.row.r.cell)
+      )
+    )
+    (ValueDeclaration :mixed_array
+      (ArrayExpression
+        (InputReference :scalar_val)
+        (DeclarationReference :sum_numbers)
+        (InputElementReference matrix.m.row.r.cell)
+      )
+    )
+  ]
+  traits: []
+)

data/golden/mixed_dimensions/expected/input_plan.txt

@@ -0,0 +1,15 @@
+numbers: array (array) access_mode=element
+  └─> num: element_access
+  num: hash (hash)
+    └─> value: property_access
+    value: integer
+scalar_val: integer
+matrix: array (array) access_mode=element
+  └─> m: element_access
+  m: hash (hash)
+    └─> row: property_access → array_loop
+    row: array (array) access_mode=element
+      └─> r: element_access
+      r: hash (hash)
+        └─> cell: property_access
+        cell: float

data/golden/mixed_dimensions/expected/lir_00_unoptimized.txt

@@ -0,0 +1,42 @@
+(LIR
+  (Declaration sum_numbers
+    %acc_1 = decl_acc :: integer
+    %t2 = load_input "numbers" :: array
+    loop numbers id=L1 in %t2 as el=%numbers_el_3, idx=%numbers_i_4
+      %t5 = load_field numbers_el_3["value"] :: integer
+      %acc_1 = acc_add agg.sum(%acc_1, %t5) :: integer
+    end_loop
+    %t6 = acc_load %acc_1 :: integer
+    yield %t6
+  )
+  (Declaration matrix_sums
+    %t7 = load_input "matrix" :: array
+    loop matrix id=L2 in %t7 as el=%matrix_el_8, idx=%matrix_i_9
+      %acc_10 = decl_acc :: float
+      %t11 = load_field matrix_el_8["row"] :: any
+      loop row id=L3 in %t11 as el=%row_el_12, idx=%row_i_13
+        %t14 = load_field row_el_12["cell"] :: float
+        %acc_10 = acc_add agg.sum(%acc_10, %t14) :: float
+      end_loop
+      %t15 = acc_load %acc_10 :: float
+      yield %t15
+    end_loop
+  )
+  (Declaration mixed_array
+    %t16 = load_input "matrix" :: array
+    loop matrix id=L4 in %t16 as el=%matrix_el_17, idx=%matrix_i_18
+      %t19 = load_field matrix_el_17["row"] :: any
+      loop row id=L5 in %t19 as el=%row_el_20, idx=%row_i_21
+        %t22 = load_input "scalar_val" :: integer
+        %t23 = load_decl sum_numbers :: integer
+        %t24 = load_field row_el_20["cell"] :: float
+        %t25 = make_tuple(%t22, %t23, %t24) :: tuple<integer, integer, float>
+        yield %t25
+      end_loop
+    end_loop
+  )
+  (Declaration constant
+    %t26 = const 42 :: integer
+    yield %t26
+  )
+)

data/golden/mixed_dimensions/expected/lir_01_hoist_scalar_references.txt

@@ -0,0 +1,42 @@
+(LIR
+  (Declaration sum_numbers
+    %acc_1 = decl_acc :: integer
+    %t2 = load_input "numbers" :: array
+    loop numbers id=L1 in %t2 as el=%numbers_el_3, idx=%numbers_i_4
+      %t5 = load_field numbers_el_3["value"] :: integer
+      %acc_1 = acc_add agg.sum(%acc_1, %t5) :: integer
+    end_loop
+    %t6 = acc_load %acc_1 :: integer
+    yield %t6
+  )
+  (Declaration matrix_sums
+    %t7 = load_input "matrix" :: array
+    loop matrix id=L2 in %t7 as el=%matrix_el_8, idx=%matrix_i_9
+      %acc_10 = decl_acc :: float
+      %t11 = load_field matrix_el_8["row"] :: any
+      loop row id=L3 in %t11 as el=%row_el_12, idx=%row_i_13
+        %t14 = load_field row_el_12["cell"] :: float
+        %acc_10 = acc_add agg.sum(%acc_10, %t14) :: float
+      end_loop
+      %t15 = acc_load %acc_10 :: float
+      yield %t15
+    end_loop
+  )
+  (Declaration mixed_array
+    %t16 = load_input "matrix" :: array
+    %t23 = load_decl sum_numbers :: integer
+    loop matrix id=L4 in %t16 as el=%matrix_el_17, idx=%matrix_i_18
+      %t19 = load_field matrix_el_17["row"] :: any
+      loop row id=L5 in %t19 as el=%row_el_20, idx=%row_i_21
+        %t22 = load_input "scalar_val" :: integer
+        %t24 = load_field row_el_20["cell"] :: float
+        %t25 = make_tuple(%t22, %t23, %t24) :: tuple<integer, integer, float>
+        yield %t25
+      end_loop
+    end_loop
+  )
+  (Declaration constant
+    %t26 = const 42 :: integer
+    yield %t26
+  )
+)

data/golden/mixed_dimensions/expected/lir_02_inlined.txt

@@ -0,0 +1,48 @@
+(LIR
+  (Declaration sum_numbers
+    %acc_1 = decl_acc :: integer
+    %t2 = load_input "numbers" :: array
+    loop numbers id=L1 in %t2 as el=%numbers_el_3, idx=%numbers_i_4
+      %t5 = load_field numbers_el_3["value"] :: integer
+      %acc_1 = acc_add agg.sum(%acc_1, %t5) :: integer
+    end_loop
+    %t6 = acc_load %acc_1 :: integer
+    yield %t6
+  )
+  (Declaration matrix_sums
+    %t7 = load_input "matrix" :: array
+    loop matrix id=L2 in %t7 as el=%matrix_el_8, idx=%matrix_i_9
+      %acc_10 = decl_acc :: float
+      %t11 = load_field matrix_el_8["row"] :: any
+      loop row id=L3 in %t11 as el=%row_el_12, idx=%row_i_13
+        %t14 = load_field row_el_12["cell"] :: float
+        %acc_10 = acc_add agg.sum(%acc_10, %t14) :: float
+      end_loop
+      %t15 = acc_load %acc_10 :: float
+      yield %t15
+    end_loop
+  )
+  (Declaration mixed_array
+    %t16 = load_input "matrix" :: array
+    %acc28 = decl_acc :: integer
+    %t29 = load_input "numbers" :: array
+    loop numbers id=L6 in %t29 as el=%numbers_el_3, idx=%numbers_i_4
+      %t30 = load_field numbers_el_3["value"] :: integer
+      %acc28 = acc_add agg.sum(%acc28, %t30) :: integer
+    end_loop
+    %t31 = acc_load %acc28 :: integer
+    loop matrix id=L4 in %t16 as el=%matrix_el_17, idx=%matrix_i_18
+      %t19 = load_field matrix_el_17["row"] :: any
+      loop row id=L5 in %t19 as el=%row_el_20, idx=%row_i_21
+        %t22 = load_input "scalar_val" :: integer
+        %t24 = load_field row_el_20["cell"] :: float
+        %t25 = make_tuple(%t22, %t31, %t24) :: tuple<integer, integer, float>
+        yield %t25
+      end_loop
+    end_loop
+  )
+  (Declaration constant
+    %t26 = const 42 :: integer
+    yield %t26
+  )
+)

data/golden/mixed_dimensions/expected/lir_03_cse.txt

@@ -0,0 +1,48 @@
+(LIR
+  (Declaration sum_numbers
+    %acc_1 = decl_acc :: integer
+    %t2 = load_input "numbers" :: array
+    loop numbers id=L1 in %t2 as el=%numbers_el_3, idx=%numbers_i_4
+      %t5 = load_field numbers_el_3["value"] :: integer
+      %acc_1 = acc_add agg.sum(%acc_1, %t5) :: integer
+    end_loop
+    %t6 = acc_load %acc_1 :: integer
+    yield %t6
+  )
+  (Declaration matrix_sums
+    %t7 = load_input "matrix" :: array
+    loop matrix id=L2 in %t7 as el=%matrix_el_8, idx=%matrix_i_9
+      %acc_10 = decl_acc :: float
+      %t11 = load_field matrix_el_8["row"] :: any
+      loop row id=L3 in %t11 as el=%row_el_12, idx=%row_i_13
+        %t14 = load_field row_el_12["cell"] :: float
+        %acc_10 = acc_add agg.sum(%acc_10, %t14) :: float
+      end_loop
+      %t15 = acc_load %acc_10 :: float
+      yield %t15
+    end_loop
+  )
+  (Declaration mixed_array
+    %t16 = load_input "matrix" :: array
+    %acc28 = decl_acc :: integer
+    %t29 = load_input "numbers" :: array
+    loop numbers id=L6 in %t29 as el=%numbers_el_3, idx=%numbers_i_4
+      %t30 = load_field numbers_el_3["value"] :: integer
+      %acc28 = acc_add agg.sum(%acc28, %t30) :: integer
+    end_loop
+    %t31 = acc_load %acc28 :: integer
+    loop matrix id=L4 in %t16 as el=%matrix_el_17, idx=%matrix_i_18
+      %t19 = load_field matrix_el_17["row"] :: any
+      loop row id=L5 in %t19 as el=%row_el_20, idx=%row_i_21
+        %t22 = load_input "scalar_val" :: integer
+        %t24 = load_field row_el_20["cell"] :: float
+        %t25 = make_tuple(%t22, %t31, %t24) :: tuple<integer, integer, float>
+        yield %t25
+      end_loop
+    end_loop
+  )
+  (Declaration constant
+    %t26 = const 42 :: integer
+    yield %t26
+  )
+)

data/golden/mixed_dimensions/expected/lir_04_1_loop_fusion.txt

@@ -0,0 +1,48 @@
+(LIR
+  (Declaration sum_numbers
+    %acc_1 = decl_acc :: integer
+    %t2 = load_input "numbers" :: array
+    loop numbers id=L1 in %t2 as el=%numbers_el_3, idx=%numbers_i_4
+      %t5 = load_field numbers_el_3["value"] :: integer
+      %acc_1 = acc_add agg.sum(%acc_1, %t5) :: integer
+    end_loop
+    %t6 = acc_load %acc_1 :: integer
+    yield %t6
+  )
+  (Declaration matrix_sums
+    %t7 = load_input "matrix" :: array
+    loop matrix id=L2 in %t7 as el=%matrix_el_8, idx=%matrix_i_9
+      %acc_10 = decl_acc :: float
+      %t11 = load_field matrix_el_8["row"] :: any
+      loop row id=L3 in %t11 as el=%row_el_12, idx=%row_i_13
+        %t14 = load_field row_el_12["cell"] :: float
+        %acc_10 = acc_add agg.sum(%acc_10, %t14) :: float
+      end_loop
+      %t15 = acc_load %acc_10 :: float
+      yield %t15
+    end_loop
+  )
+  (Declaration mixed_array
+    %t16 = load_input "matrix" :: array
+    %acc28 = decl_acc :: integer
+    %t29 = load_input "numbers" :: array
+    loop numbers id=L6 in %t29 as el=%numbers_el_3, idx=%numbers_i_4
+      %t30 = load_field numbers_el_3["value"] :: integer
+      %acc28 = acc_add agg.sum(%acc28, %t30) :: integer
+    end_loop
+    %t31 = acc_load %acc28 :: integer
+    loop matrix id=L4 in %t16 as el=%matrix_el_17, idx=%matrix_i_18
+      %t19 = load_field matrix_el_17["row"] :: any
+      loop row id=L5 in %t19 as el=%row_el_20, idx=%row_i_21
+        %t22 = load_input "scalar_val" :: integer
+        %t24 = load_field row_el_20["cell"] :: float
+        %t25 = make_tuple(%t22, %t31, %t24) :: tuple<integer, integer, float>
+        yield %t25
+      end_loop
+    end_loop
+  )
+  (Declaration constant
+    %t26 = const 42 :: integer
+    yield %t26
+  )
+)

data/golden/mixed_dimensions/expected/lir_04_loop_invcm.txt

@@ -0,0 +1,48 @@
+(LIR
+  (Declaration sum_numbers
+    %acc_1 = decl_acc :: integer
+    %t2 = load_input "numbers" :: array
+    loop numbers id=L1 in %t2 as el=%numbers_el_3, idx=%numbers_i_4
+      %t5 = load_field numbers_el_3["value"] :: integer
+      %acc_1 = acc_add agg.sum(%acc_1, %t5) :: integer
+    end_loop
+    %t6 = acc_load %acc_1 :: integer
+    yield %t6
+  )
+  (Declaration matrix_sums
+    %t7 = load_input "matrix" :: array
+    loop matrix id=L2 in %t7 as el=%matrix_el_8, idx=%matrix_i_9
+      %acc_10 = decl_acc :: float
+      %t11 = load_field matrix_el_8["row"] :: any
+      loop row id=L3 in %t11 as el=%row_el_12, idx=%row_i_13
+        %t14 = load_field row_el_12["cell"] :: float
+        %acc_10 = acc_add agg.sum(%acc_10, %t14) :: float
+      end_loop
+      %t15 = acc_load %acc_10 :: float
+      yield %t15
+    end_loop
+  )
+  (Declaration mixed_array
+    %t16 = load_input "matrix" :: array
+    %acc28 = decl_acc :: integer
+    %t29 = load_input "numbers" :: array
+    loop numbers id=L6 in %t29 as el=%numbers_el_3, idx=%numbers_i_4
+      %t30 = load_field numbers_el_3["value"] :: integer
+      %acc28 = acc_add agg.sum(%acc28, %t30) :: integer
+    end_loop
+    %t31 = acc_load %acc28 :: integer
+    %t22 = load_input "scalar_val" :: integer
+    loop matrix id=L4 in %t16 as el=%matrix_el_17, idx=%matrix_i_18
+      %t19 = load_field matrix_el_17["row"] :: any
+      loop row id=L5 in %t19 as el=%row_el_20, idx=%row_i_21
+        %t24 = load_field row_el_20["cell"] :: float
+        %t25 = make_tuple(%t22, %t31, %t24) :: tuple<integer, integer, float>
+        yield %t25
+      end_loop
+    end_loop
+  )
+  (Declaration constant
+    %t26 = const 42 :: integer
+    yield %t26
+  )
+)

data/golden/mixed_dimensions/expected/lir_06_const_prop.txt

@@ -0,0 +1,48 @@
+(LIR
+  (Declaration sum_numbers
+    %acc_1 = decl_acc :: integer
+    %t2 = load_input "numbers" :: array
+    loop numbers id=L1 in %t2 as el=%numbers_el_3, idx=%numbers_i_4
+      %t5 = load_field numbers_el_3["value"] :: integer
+      %acc_1 = acc_add agg.sum(%acc_1, %t5) :: integer
+    end_loop
+    %t6 = acc_load %acc_1 :: integer
+    yield %t6
+  )
+  (Declaration matrix_sums
+    %t7 = load_input "matrix" :: array
+    loop matrix id=L2 in %t7 as el=%matrix_el_8, idx=%matrix_i_9
+      %acc_10 = decl_acc :: float
+      %t11 = load_field matrix_el_8["row"] :: any
+      loop row id=L3 in %t11 as el=%row_el_12, idx=%row_i_13
+        %t14 = load_field row_el_12["cell"] :: float
+        %acc_10 = acc_add agg.sum(%acc_10, %t14) :: float
+      end_loop
+      %t15 = acc_load %acc_10 :: float
+      yield %t15
+    end_loop
+  )
+  (Declaration mixed_array
+    %t16 = load_input "matrix" :: array
+    %acc28 = decl_acc :: integer
+    %t29 = load_input "numbers" :: array
+    loop numbers id=L6 in %t29 as el=%numbers_el_3, idx=%numbers_i_4
+      %t30 = load_field numbers_el_3["value"] :: integer
+      %acc28 = acc_add agg.sum(%acc28, %t30) :: integer
+    end_loop
+    %t31 = acc_load %acc28 :: integer
+    %t22 = load_input "scalar_val" :: integer
+    loop matrix id=L4 in %t16 as el=%matrix_el_17, idx=%matrix_i_18
+      %t19 = load_field matrix_el_17["row"] :: any
+      loop row id=L5 in %t19 as el=%row_el_20, idx=%row_i_21
+        %t24 = load_field row_el_20["cell"] :: float
+        %t25 = make_tuple(%t22, %t31, %t24) :: tuple<integer, integer, float>
+        yield %t25
+      end_loop
+    end_loop
+  )
+  (Declaration constant
+    %t26 = const 42 :: integer
+    yield %t26
+  )
+)

data/golden/mixed_dimensions/expected/nast.txt

@@ -0,0 +1,22 @@
+(NAST
+  (VALUE sum_numbers
+    (Call :"agg.sum"
+    (InputRef [:numbers, :num, :value])
+  )
+  )
+  (VALUE matrix_sums
+    (Call :"agg.sum"
+    (InputRef [:matrix, :m, :row, :r, :cell])
+  )
+  )
+  (VALUE mixed_array
+    (Tuple
+    (InputRef [:scalar_val])
+    (Ref sum_numbers)
+    (InputRef [:matrix, :m, :row, :r, :cell])
+  )
+  )
+  (VALUE constant
+    (Const 42)
+  )
+)

data/golden/mixed_dimensions/expected/schema_javascript.mjs

@@ -0,0 +1,53 @@
+export function _sum_numbers(input) {
+  let acc_1 = 0;
+  let t2 = input["numbers"];
+  t2.forEach((numbers_el_3, numbers_i_4) => {
+    let t5 = numbers_el_3["value"];
+    acc_1 += t5;
+  });
+  return acc_1;
+}
+
+export function _matrix_sums(input) {
+  let out = [];
+  let t7 = input["matrix"];
+  t7.forEach((matrix_el_8, matrix_i_9) => {
+    let acc_10 = 0;
+    let t11 = matrix_el_8["row"];
+    t11.forEach((row_el_12, row_i_13) => {
+      let t14 = row_el_12["cell"];
+      acc_10 += t14;
+    });
+    out.push(acc_10);
+  });
+  return out;
+}
+
+export function _mixed_array(input) {
+  let out = [];
+  let t16 = input["matrix"];
+  let acc28 = 0;
+  let t29 = input["numbers"];
+  t29.forEach((numbers_el_3, numbers_i_4) => {
+    let t30 = numbers_el_3["value"];
+    acc28 += t30;
+  });
+  let t22 = input["scalar_val"];
+  t16.forEach((matrix_el_17, matrix_i_18) => {
+    let out_1 = [];
+    let t19 = matrix_el_17["row"];
+    t19.forEach((row_el_20, row_i_21) => {
+      let t24 = row_el_20["cell"];
+      let t25 = [t22, acc28, t24];
+      out_1.push(t25);
+    });
+    out.push(out_1);
+  });
+  return out;
+}
+
+export function _constant(input) {
+  const t26 = 42;
+  return t26;
+}
+

data/golden/mixed_dimensions/expected/schema_ruby.rb

@@ -0,0 +1,84 @@
+# Autogenerated by Kumi Codegen
+module Kumi::Compiled::KUMI_6956147434af4c2cdea2b50d3a8b5f46f84443101a3d62ab070150885747ccd1
+  def self.from(input_data = nil)
+    instance = Object.new
+    instance.extend(self)
+    instance.instance_variable_set(:@input, input_data)
+    instance
+  end
+
+  def self.__kumi_executable__
+    instance = Object.new
+    instance.extend(self)
+    instance
+  end
+
+  def update(input_data)
+    @input = @input.merge(input_data)
+    self
+  end
+
+  def [](name)
+    case name
+    when :sum_numbers then _sum_numbers
+    when :matrix_sums then _matrix_sums
+    when :mixed_array then _mixed_array
+    when :constant then _constant
+    else raise KeyError, "Unknown declaration"
+    end
+  end
+
+  def _sum_numbers(input = @input)
+    acc_1 = 0
+    t2 = input["numbers"] || input[:numbers]
+    t2.each_with_index do |numbers_el_3, numbers_i_4|
+      t5 = numbers_el_3["value"] || numbers_el_3[:value]
+      acc_1 += t5
+    end
+    acc_1
+  end
+
+  def _matrix_sums(input = @input)
+    out = []
+    t7 = input["matrix"] || input[:matrix]
+    t7.each_with_index do |matrix_el_8, matrix_i_9|
+      acc_10 = 0
+      t11 = matrix_el_8["row"] || matrix_el_8[:row]
+      t11.each_with_index do |row_el_12, row_i_13|
+        t14 = row_el_12["cell"] || row_el_12[:cell]
+        acc_10 += t14
+      end
+      t15 = acc_10
+      out << t15
+    end
+    out
+  end
+
+  def _mixed_array(input = @input)
+    out = []
+    t16 = input["matrix"] || input[:matrix]
+    acc28 = 0
+    t29 = input["numbers"] || input[:numbers]
+    t29.each_with_index do |numbers_el_3, numbers_i_4|
+      t30 = numbers_el_3["value"] || numbers_el_3[:value]
+      acc28 += t30
+    end
+    t31 = acc28
+    t22 = input["scalar_val"] || input[:scalar_val]
+    t16.each_with_index do |matrix_el_17, matrix_i_18|
+      out_1 = []
+      t19 = matrix_el_17["row"] || matrix_el_17[:row]
+      t19.each_with_index do |row_el_20, row_i_21|
+        t24 = row_el_20["cell"] || row_el_20[:cell]
+        t25 = [t22, t31, t24]
+        out_1 << t25
+      end
+      out << out_1
+    end
+    out
+  end
+
+  def _constant(input = @input)
+    42
+  end
+end

data/golden/mixed_dimensions/expected/snast.txt

@@ -0,0 +1,22 @@
+(SNAST
+  (VALUE sum_numbers
+    (Reduce :agg.sum over [numbers]
+      (InputRef numbers.num.value key_chain=[]) :: [numbers] -> integer
+    ) :: [] -> integer
+  ) :: [] -> integer
+  (VALUE matrix_sums
+    (Reduce :agg.sum over [row]
+      (InputRef matrix.m.row.r.cell key_chain=[]) :: [matrix, row] -> float
+    ) :: [matrix] -> float
+  ) :: [matrix] -> float
+  (VALUE mixed_array
+    (Tuple
+      (InputRef scalar_val key_chain=[]) :: [] -> integer
+      (Ref sum_numbers) :: [] -> integer
+      (InputRef matrix.m.row.r.cell key_chain=[]) :: [matrix, row] -> float
+    ) :: [matrix, row] -> tuple<integer, integer, float>
+  ) :: [matrix, row] -> tuple<integer, integer, float>
+  (VALUE constant
+    (Const 42) :: [] -> integer
+  ) :: [] -> integer
+)

data/golden/mixed_dimensions/expected.json

@@ -0,0 +1,6 @@
+{
+  "constant": 42,
+  "sum_numbers": 60,
+  "matrix_sums": [4.0, 8.0],
+  "mixed_array": [[[100, 60.0, 1.5], [100, 60.0, 2.5]], [[100, 60.0, 3.5], [100, 60.0, 4.5]]]
+}

data/golden/mixed_dimensions/input.json

@@ -0,0 +1,22 @@
+{
+  "numbers": [
+    {"value": 10},
+    {"value": 20},
+    {"value": 30}
+  ],
+  "scalar_val": 100,
+  "matrix": [
+    {
+      "row": [
+        {"cell": 1.5},
+        {"cell": 2.5}
+      ]
+    },
+    {
+      "row": [
+        {"cell": 3.5},
+        {"cell": 4.5}
+      ]
+    }
+  ]
+}

data/golden/mixed_dimensions/schema.kumi

@@ -0,0 +1,35 @@
+schema do
+  input do
+    array :numbers do
+      hash :num do
+        integer :value
+      end
+    end
+    integer :scalar_val
+    array :matrix do
+      hash :m do
+        array :row do
+          hash :r do
+            float :cell
+          end
+        end
+      end
+    end
+  end
+
+  # Scalar (rank 0)
+  value :constant, 42
+
+  # 1D array (rank 1)
+  value :sum_numbers, fn(:sum, input.numbers.num.value)
+
+  # 2D operation (rank 2)
+  value :matrix_sums, fn(:sum, input.matrix.m.row.r.cell)
+
+  # Mixed array with different dimensional elements
+  value :mixed_array, [
+    input.scalar_val, # scalar (rank 0 broadcast to rank 2)
+    sum_numbers,               # reduced to rank 0, broadcasted to rank 2
+    input.matrix.m.row.r.cell  # scalar at rank 2
+  ]
+end