kumi 0.0.18 → 0.0.20

data/golden/hierarchical_complex/expected/lir_04_loop_invcm.txt

@@ -0,0 +1,89 @@
+(LIR
+  (Declaration high_performer
+    %t1 = load_input "regions" :: array
+    %t14 = const 4.5 :: float
+    loop regions id=L1 in %t1 as el=%regions_el_2, idx=%regions_i_3
+      %t4 = load_field regions_el_2["offices"] :: any
+      loop offices id=L2 in %t4 as el=%offices_el_5, idx=%offices_i_6
+        %t7 = load_field offices_el_5["teams"] :: any
+        loop teams id=L3 in %t7 as el=%teams_el_8, idx=%teams_i_9
+          %t10 = load_field teams_el_8["employees"] :: any
+          loop employees id=L4 in %t10 as el=%employees_el_11, idx=%employees_i_12
+            %t13 = load_field employees_el_11["rating"] :: float
+            %t15 = call core.gte(%t13, %t14) :: boolean
+            yield %t15
+          end_loop
+        end_loop
+      end_loop
+    end_loop
+  )
+  (Declaration senior_level
+    %t16 = load_input "regions" :: array
+    %t29 = const "senior" :: string
+    loop regions id=L5 in %t16 as el=%regions_el_17, idx=%regions_i_18
+      %t19 = load_field regions_el_17["offices"] :: any
+      loop offices id=L6 in %t19 as el=%offices_el_20, idx=%offices_i_21
+        %t22 = load_field offices_el_20["teams"] :: any
+        loop teams id=L7 in %t22 as el=%teams_el_23, idx=%teams_i_24
+          %t25 = load_field teams_el_23["employees"] :: any
+          loop employees id=L8 in %t25 as el=%employees_el_26, idx=%employees_i_27
+            %t28 = load_field employees_el_26["level"] :: string
+            %t30 = call core.eq(%t28, %t29) :: boolean
+            yield %t30
+          end_loop
+        end_loop
+      end_loop
+    end_loop
+  )
+  (Declaration top_team
+    %t31 = load_input "regions" :: array
+    %t41 = const 0.9 :: float
+    loop regions id=L9 in %t31 as el=%regions_el_32, idx=%regions_i_33
+      %t34 = load_field regions_el_32["offices"] :: any
+      loop offices id=L10 in %t34 as el=%offices_el_35, idx=%offices_i_36
+        %t37 = load_field offices_el_35["teams"] :: any
+        loop teams id=L11 in %t37 as el=%teams_el_38, idx=%teams_i_39
+          %t40 = load_field teams_el_38["performance_score"] :: float
+          %t42 = call core.gte(%t40, %t41) :: boolean
+          yield %t42
+        end_loop
+      end_loop
+    end_loop
+  )
+  (Declaration employee_bonus
+    %t43 = load_input "regions" :: array
+    %t92 = const 0.9 :: float
+    %t79 = const 4.5 :: float
+    %t86 = const "senior" :: string
+    %t61 = const 0.3 :: float
+    %t67 = const 0.2 :: float
+    %t70 = const 0.05 :: float
+    loop regions id=L12 in %t43 as el=%regions_el_44, idx=%regions_i_45
+      %t46 = load_field regions_el_44["offices"] :: any
+      loop offices id=L13 in %t46 as el=%offices_el_47, idx=%offices_i_48
+        %t49 = load_field offices_el_47["teams"] :: any
+        loop teams id=L14 in %t49 as el=%teams_el_50, idx=%teams_i_51
+          %t52 = load_field teams_el_50["employees"] :: any
+          %t91 = load_field teams_el_50["performance_score"] :: float
+          %t93 = call core.gte(%t91, %t92) :: boolean
+          loop employees id=L15 in %t52 as el=%employees_el_53, idx=%employees_i_54
+            %t78 = load_field employees_el_53["rating"] :: float
+            %t80 = call core.gte(%t78, %t79) :: boolean
+            %t85 = load_field employees_el_53["level"] :: string
+            %t87 = call core.eq(%t85, %t86) :: boolean
+            %t58 = call core.and(%t87, %t93) :: boolean
+            %t59 = call core.and(%t80, %t58) :: boolean
+            %t60 = load_field employees_el_53["salary"] :: float
+            %t62 = call core.mul(%t60, %t61) :: float
+            %t65 = call core.and(%t80, %t93) :: boolean
+            %t68 = call core.mul(%t60, %t67) :: float
+            %t71 = call core.mul(%t60, %t70) :: float
+            %t72 = select %t65, %t68, %t71 :: float
+            %t73 = select %t59, %t62, %t72 :: float
+            yield %t73
+          end_loop
+        end_loop
+      end_loop
+    end_loop
+  )
+)

data/golden/hierarchical_complex/expected/lir_06_const_prop.txt

@@ -0,0 +1,89 @@
+(LIR
+  (Declaration high_performer
+    %t1 = load_input "regions" :: array
+    %t14 = const 4.5 :: float
+    loop regions id=L1 in %t1 as el=%regions_el_2, idx=%regions_i_3
+      %t4 = load_field regions_el_2["offices"] :: any
+      loop offices id=L2 in %t4 as el=%offices_el_5, idx=%offices_i_6
+        %t7 = load_field offices_el_5["teams"] :: any
+        loop teams id=L3 in %t7 as el=%teams_el_8, idx=%teams_i_9
+          %t10 = load_field teams_el_8["employees"] :: any
+          loop employees id=L4 in %t10 as el=%employees_el_11, idx=%employees_i_12
+            %t13 = load_field employees_el_11["rating"] :: float
+            %t15 = call core.gte(%t13, %t14) :: boolean
+            yield %t15
+          end_loop
+        end_loop
+      end_loop
+    end_loop
+  )
+  (Declaration senior_level
+    %t16 = load_input "regions" :: array
+    %t29 = const "senior" :: string
+    loop regions id=L5 in %t16 as el=%regions_el_17, idx=%regions_i_18
+      %t19 = load_field regions_el_17["offices"] :: any
+      loop offices id=L6 in %t19 as el=%offices_el_20, idx=%offices_i_21
+        %t22 = load_field offices_el_20["teams"] :: any
+        loop teams id=L7 in %t22 as el=%teams_el_23, idx=%teams_i_24
+          %t25 = load_field teams_el_23["employees"] :: any
+          loop employees id=L8 in %t25 as el=%employees_el_26, idx=%employees_i_27
+            %t28 = load_field employees_el_26["level"] :: string
+            %t30 = call core.eq(%t28, %t29) :: boolean
+            yield %t30
+          end_loop
+        end_loop
+      end_loop
+    end_loop
+  )
+  (Declaration top_team
+    %t31 = load_input "regions" :: array
+    %t41 = const 0.9 :: float
+    loop regions id=L9 in %t31 as el=%regions_el_32, idx=%regions_i_33
+      %t34 = load_field regions_el_32["offices"] :: any
+      loop offices id=L10 in %t34 as el=%offices_el_35, idx=%offices_i_36
+        %t37 = load_field offices_el_35["teams"] :: any
+        loop teams id=L11 in %t37 as el=%teams_el_38, idx=%teams_i_39
+          %t40 = load_field teams_el_38["performance_score"] :: float
+          %t42 = call core.gte(%t40, %t41) :: boolean
+          yield %t42
+        end_loop
+      end_loop
+    end_loop
+  )
+  (Declaration employee_bonus
+    %t43 = load_input "regions" :: array
+    %t92 = const 0.9 :: float
+    %t79 = const 4.5 :: float
+    %t86 = const "senior" :: string
+    %t61 = const 0.3 :: float
+    %t67 = const 0.2 :: float
+    %t70 = const 0.05 :: float
+    loop regions id=L12 in %t43 as el=%regions_el_44, idx=%regions_i_45
+      %t46 = load_field regions_el_44["offices"] :: any
+      loop offices id=L13 in %t46 as el=%offices_el_47, idx=%offices_i_48
+        %t49 = load_field offices_el_47["teams"] :: any
+        loop teams id=L14 in %t49 as el=%teams_el_50, idx=%teams_i_51
+          %t52 = load_field teams_el_50["employees"] :: any
+          %t91 = load_field teams_el_50["performance_score"] :: float
+          %t93 = call core.gte(%t91, %t92) :: boolean
+          loop employees id=L15 in %t52 as el=%employees_el_53, idx=%employees_i_54
+            %t78 = load_field employees_el_53["rating"] :: float
+            %t80 = call core.gte(%t78, %t79) :: boolean
+            %t85 = load_field employees_el_53["level"] :: string
+            %t87 = call core.eq(%t85, %t86) :: boolean
+            %t58 = call core.and(%t87, %t93) :: boolean
+            %t59 = call core.and(%t80, %t58) :: boolean
+            %t60 = load_field employees_el_53["salary"] :: float
+            %t62 = call core.mul(%t60, %t61) :: float
+            %t65 = call core.and(%t80, %t93) :: boolean
+            %t68 = call core.mul(%t60, %t67) :: float
+            %t71 = call core.mul(%t60, %t70) :: float
+            %t72 = select %t65, %t68, %t71 :: float
+            %t73 = select %t59, %t62, %t72 :: float
+            yield %t73
+          end_loop
+        end_loop
+      end_loop
+    end_loop
+  )
+)

data/golden/hierarchical_complex/expected/nast.txt

@@ -0,0 +1,49 @@
+(NAST
+  (TRAIT high_performer
+    (Call :"core.gte"
+    (InputRef [:regions, :region, :offices, :office, :teams, :team, :employees, :employee, :rating])
+    (Const 4.5)
+  )
+  )
+  (TRAIT senior_level
+    (Call :"core.eq"
+    (InputRef [:regions, :region, :offices, :office, :teams, :team, :employees, :employee, :level])
+    (Const "senior")
+  )
+  )
+  (TRAIT top_team
+    (Call :"core.gte"
+    (InputRef [:regions, :region, :offices, :office, :teams, :team, :performance_score])
+    (Const 0.9)
+  )
+  )
+  (VALUE employee_bonus
+    (Call :__select__
+    (Call :"core.and"
+      (Ref high_performer)
+      (Call :"core.and"
+        (Ref senior_level)
+        (Ref top_team)
+      )
+    )
+    (Call :"core.mul"
+      (InputRef [:regions, :region, :offices, :office, :teams, :team, :employees, :employee, :salary])
+      (Const 0.3)
+    )
+    (Call :__select__
+      (Call :"core.and"
+        (Ref high_performer)
+        (Ref top_team)
+      )
+      (Call :"core.mul"
+        (InputRef [:regions, :region, :offices, :office, :teams, :team, :employees, :employee, :salary])
+        (Const 0.2)
+      )
+      (Call :"core.mul"
+        (InputRef [:regions, :region, :offices, :office, :teams, :team, :employees, :employee, :salary])
+        (Const 0.05)
+      )
+    )
+  )
+  )
+)

data/golden/hierarchical_complex/expected/schema_javascript.mjs

@@ -0,0 +1,121 @@
+export function _high_performer(input) {
+  let out = [];
+  let t1 = input["regions"];
+  const t14 = 4.5;
+  t1.forEach((regions_el_2, regions_i_3) => {
+    let out_1 = [];
+    let t4 = regions_el_2["offices"];
+    t4.forEach((offices_el_5, offices_i_6) => {
+      let out_2 = [];
+      let t7 = offices_el_5["teams"];
+      t7.forEach((teams_el_8, teams_i_9) => {
+        let out_3 = [];
+        let t10 = teams_el_8["employees"];
+        t10.forEach((employees_el_11, employees_i_12) => {
+          let t13 = employees_el_11["rating"];
+          let t15 = t13 >= t14;
+          out_3.push(t15);
+        });
+        out_2.push(out_3);
+      });
+      out_1.push(out_2);
+    });
+    out.push(out_1);
+  });
+  return out;
+}
+
+export function _senior_level(input) {
+  let out = [];
+  let t16 = input["regions"];
+  const t29 = "senior";
+  t16.forEach((regions_el_17, regions_i_18) => {
+    let out_1 = [];
+    let t19 = regions_el_17["offices"];
+    t19.forEach((offices_el_20, offices_i_21) => {
+      let out_2 = [];
+      let t22 = offices_el_20["teams"];
+      t22.forEach((teams_el_23, teams_i_24) => {
+        let out_3 = [];
+        let t25 = teams_el_23["employees"];
+        t25.forEach((employees_el_26, employees_i_27) => {
+          let t28 = employees_el_26["level"];
+          let t30 = t28 == t29;
+          out_3.push(t30);
+        });
+        out_2.push(out_3);
+      });
+      out_1.push(out_2);
+    });
+    out.push(out_1);
+  });
+  return out;
+}
+
+export function _top_team(input) {
+  let out = [];
+  let t31 = input["regions"];
+  const t41 = 0.9;
+  t31.forEach((regions_el_32, regions_i_33) => {
+    let out_1 = [];
+    let t34 = regions_el_32["offices"];
+    t34.forEach((offices_el_35, offices_i_36) => {
+      let out_2 = [];
+      let t37 = offices_el_35["teams"];
+      t37.forEach((teams_el_38, teams_i_39) => {
+        let t40 = teams_el_38["performance_score"];
+        let t42 = t40 >= t41;
+        out_2.push(t42);
+      });
+      out_1.push(out_2);
+    });
+    out.push(out_1);
+  });
+  return out;
+}
+
+export function _employee_bonus(input) {
+  let out = [];
+  let t43 = input["regions"];
+  const t92 = 0.9;
+  const t79 = 4.5;
+  const t86 = "senior";
+  const t61 = 0.3;
+  const t67 = 0.2;
+  const t70 = 0.05;
+  t43.forEach((regions_el_44, regions_i_45) => {
+    let out_1 = [];
+    let t46 = regions_el_44["offices"];
+    t46.forEach((offices_el_47, offices_i_48) => {
+      let out_2 = [];
+      let t49 = offices_el_47["teams"];
+      t49.forEach((teams_el_50, teams_i_51) => {
+        let out_3 = [];
+        let t52 = teams_el_50["employees"];
+        let t91 = teams_el_50["performance_score"];
+        let t93 = t91 >= t92;
+        t52.forEach((employees_el_53, employees_i_54) => {
+          let t78 = employees_el_53["rating"];
+          let t80 = t78 >= t79;
+          let t85 = employees_el_53["level"];
+          let t87 = t85 == t86;
+          let t58 = t87 && t93;
+          let t59 = t80 && t58;
+          let t60 = employees_el_53["salary"];
+          let t62 = t60 * t61;
+          let t65 = t80 && t93;
+          let t68 = t60 * t67;
+          let t71 = t60 * t70;
+          let t72 = t65 ? t68 : t71;
+          let t73 = t59 ? t62 : t72;
+          out_3.push(t73);
+        });
+        out_2.push(out_3);
+      });
+      out_1.push(out_2);
+    });
+    out.push(out_1);
+  });
+  return out;
+}
+

data/golden/hierarchical_complex/expected/schema_ruby.rb

@@ -0,0 +1,151 @@
+# Autogenerated by Kumi Codegen
+module Kumi::Compiled::KUMI_c564c8cb0e8f3b1664084790b1d9c36eaf7d0cbbee56b7211f752b8a2bfa8a8d
+  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 :high_performer then _high_performer
+    when :senior_level then _senior_level
+    when :top_team then _top_team
+    when :employee_bonus then _employee_bonus
+    else raise KeyError, "Unknown declaration"
+    end
+  end
+
+  def _high_performer(input = @input)
+    out = []
+    t1 = input["regions"] || input[:regions]
+    t14 = 4.5
+    t1.each_with_index do |regions_el_2, regions_i_3|
+      out_1 = []
+      t4 = regions_el_2["offices"] || regions_el_2[:offices]
+      t4.each_with_index do |offices_el_5, offices_i_6|
+        out_2 = []
+        t7 = offices_el_5["teams"] || offices_el_5[:teams]
+        t7.each_with_index do |teams_el_8, teams_i_9|
+          out_3 = []
+          t10 = teams_el_8["employees"] || teams_el_8[:employees]
+          t10.each_with_index do |employees_el_11, employees_i_12|
+            t13 = employees_el_11["rating"] || employees_el_11[:rating]
+            t15 = t13 >= t14
+            out_3 << t15
+          end
+          out_2 << out_3
+        end
+        out_1 << out_2
+      end
+      out << out_1
+    end
+    out
+  end
+
+  def _senior_level(input = @input)
+    out = []
+    t16 = input["regions"] || input[:regions]
+    t29 = "senior"
+    t16.each_with_index do |regions_el_17, regions_i_18|
+      out_1 = []
+      t19 = regions_el_17["offices"] || regions_el_17[:offices]
+      t19.each_with_index do |offices_el_20, offices_i_21|
+        out_2 = []
+        t22 = offices_el_20["teams"] || offices_el_20[:teams]
+        t22.each_with_index do |teams_el_23, teams_i_24|
+          out_3 = []
+          t25 = teams_el_23["employees"] || teams_el_23[:employees]
+          t25.each_with_index do |employees_el_26, employees_i_27|
+            t28 = employees_el_26["level"] || employees_el_26[:level]
+            t30 = t28 == t29
+            out_3 << t30
+          end
+          out_2 << out_3
+        end
+        out_1 << out_2
+      end
+      out << out_1
+    end
+    out
+  end
+
+  def _top_team(input = @input)
+    out = []
+    t31 = input["regions"] || input[:regions]
+    t41 = 0.9
+    t31.each_with_index do |regions_el_32, regions_i_33|
+      out_1 = []
+      t34 = regions_el_32["offices"] || regions_el_32[:offices]
+      t34.each_with_index do |offices_el_35, offices_i_36|
+        out_2 = []
+        t37 = offices_el_35["teams"] || offices_el_35[:teams]
+        t37.each_with_index do |teams_el_38, teams_i_39|
+          t40 = teams_el_38["performance_score"] || teams_el_38[:performance_score]
+          t42 = t40 >= t41
+          out_2 << t42
+        end
+        out_1 << out_2
+      end
+      out << out_1
+    end
+    out
+  end
+
+  def _employee_bonus(input = @input)
+    out = []
+    t43 = input["regions"] || input[:regions]
+    t92 = 0.9
+    t79 = 4.5
+    t86 = "senior"
+    t61 = 0.3
+    t67 = 0.2
+    t70 = 0.05
+    t43.each_with_index do |regions_el_44, regions_i_45|
+      out_1 = []
+      t46 = regions_el_44["offices"] || regions_el_44[:offices]
+      t46.each_with_index do |offices_el_47, offices_i_48|
+        out_2 = []
+        t49 = offices_el_47["teams"] || offices_el_47[:teams]
+        t49.each_with_index do |teams_el_50, teams_i_51|
+          out_3 = []
+          t52 = teams_el_50["employees"] || teams_el_50[:employees]
+          t91 = teams_el_50["performance_score"] || teams_el_50[:performance_score]
+          t93 = t91 >= t92
+          t52.each_with_index do |employees_el_53, employees_i_54|
+            t78 = employees_el_53["rating"] || employees_el_53[:rating]
+            t80 = t78 >= t79
+            t85 = employees_el_53["level"] || employees_el_53[:level]
+            t87 = t85 == t86
+            t58 = t87 && t93
+            t59 = t80 && t58
+            t60 = employees_el_53["salary"] || employees_el_53[:salary]
+            t62 = t60 * t61
+            t65 = t80 && t93
+            t68 = t60 * t67
+            t71 = t60 * t70
+            t72 = t65 ? t68 : t71
+            t73 = t59 ? t62 : t72
+            out_3 << t73
+          end
+          out_2 << out_3
+        end
+        out_1 << out_2
+      end
+      out << out_1
+    end
+    out
+  end
+end

data/golden/hierarchical_complex/expected/snast.txt

@@ -0,0 +1,49 @@
+(SNAST
+  (TRAIT high_performer
+    (Call :core.gte
+      (InputRef regions.region.offices.office.teams.team.employees.employee.rating key_chain=[]) :: [regions, offices, teams, employees] -> float
+      (Const 4.5) :: [] -> float
+    ) :: [regions, offices, teams, employees] -> boolean
+  ) :: [regions, offices, teams, employees] -> boolean
+  (TRAIT senior_level
+    (Call :core.eq
+      (InputRef regions.region.offices.office.teams.team.employees.employee.level key_chain=[]) :: [regions, offices, teams, employees] -> string
+      (Const "senior") :: [] -> string
+    ) :: [regions, offices, teams, employees] -> boolean
+  ) :: [regions, offices, teams, employees] -> boolean
+  (TRAIT top_team
+    (Call :core.gte
+      (InputRef regions.region.offices.office.teams.team.performance_score key_chain=[]) :: [regions, offices, teams] -> float
+      (Const 0.9) :: [] -> float
+    ) :: [regions, offices, teams] -> boolean
+  ) :: [regions, offices, teams] -> boolean
+  (VALUE employee_bonus
+    (Select
+      (Call :core.and
+        (Ref high_performer) :: [regions, offices, teams, employees] -> boolean
+        (Call :core.and
+          (Ref senior_level) :: [regions, offices, teams, employees] -> boolean
+          (Ref top_team) :: [regions, offices, teams] -> boolean
+        ) :: [regions, offices, teams, employees] -> boolean
+      ) :: [regions, offices, teams, employees] -> boolean
+      (Call :core.mul
+        (InputRef regions.region.offices.office.teams.team.employees.employee.salary key_chain=[]) :: [regions, offices, teams, employees] -> float
+        (Const 0.3) :: [] -> float
+      ) :: [regions, offices, teams, employees] -> float
+      (Select
+        (Call :core.and
+          (Ref high_performer) :: [regions, offices, teams, employees] -> boolean
+          (Ref top_team) :: [regions, offices, teams] -> boolean
+        ) :: [regions, offices, teams, employees] -> boolean
+        (Call :core.mul
+          (InputRef regions.region.offices.office.teams.team.employees.employee.salary key_chain=[]) :: [regions, offices, teams, employees] -> float
+          (Const 0.2) :: [] -> float
+        ) :: [regions, offices, teams, employees] -> float
+        (Call :core.mul
+          (InputRef regions.region.offices.office.teams.team.employees.employee.salary key_chain=[]) :: [regions, offices, teams, employees] -> float
+          (Const 0.05) :: [] -> float
+        ) :: [regions, offices, teams, employees] -> float
+      ) :: [regions, offices, teams, employees] -> float
+    ) :: [regions, offices, teams, employees] -> float
+  ) :: [regions, offices, teams, employees] -> float
+)

data/golden/hierarchical_complex/expected.json

@@ -0,0 +1,34 @@
+{
+  "high_performer": [
+    [
+      [
+        [true, false],
+        [true, false]
+      ]
+    ]
+  ],
+  "senior_level": [
+    [
+      [
+        [true, false],
+        [true, false]
+      ]
+    ]
+  ],
+  "top_team": [
+    [
+      [
+        true,
+        false
+      ]
+    ]
+  ],
+  "employee_bonus": [
+    [
+      [
+        [36000.0, 4250.0],
+        [4750.0, 3500.0]
+      ]
+    ]
+  ]
+}

data/golden/hierarchical_complex/input.json

@@ -0,0 +1,26 @@
+{
+  "regions": [
+    {
+      "offices": [
+        {
+          "teams": [
+            {
+              "performance_score": 0.95,
+              "employees": [
+                {"salary": 120000.0, "rating": 4.8, "level": "senior"},
+                {"salary": 85000.0, "rating": 4.2, "level": "mid"}
+              ]
+            },
+            {
+              "performance_score": 0.75,
+              "employees": [
+                {"salary": 95000.0, "rating": 4.6, "level": "senior"},
+                {"salary": 70000.0, "rating": 3.9, "level": "junior"}
+              ]
+            }
+          ]
+        }
+      ]
+    }
+  ]
+}

data/golden/hierarchical_complex/schema.kumi

@@ -0,0 +1,38 @@
+schema do
+  input do
+    array :regions do
+      hash :region do
+        array :offices do
+          hash :office do
+            array :teams do
+              hash :team do
+                float :performance_score
+                array :employees do
+                  hash :employee do
+                    float :salary
+                    float :rating
+                    string :level
+                  end
+                end
+              end
+            end
+          end
+        end
+      end
+    end
+  end
+
+  # Employee-level traits
+  trait :high_performer, input.regions.region.offices.office.teams.team.employees.employee.rating >= 4.5
+  trait :senior_level, input.regions.region.offices.office.teams.team.employees.employee.level == "senior"
+
+  # Team-level trait (parent dimension)
+  trait :top_team, input.regions.region.offices.office.teams.team.performance_score >= 0.9
+
+  # This should work: team-level condition broadcasts to employee-level
+  value :employee_bonus do
+    on high_performer, senior_level, top_team, input.regions.region.offices.office.teams.team.employees.employee.salary * 0.30
+    on high_performer, top_team, input.regions.region.offices.office.teams.team.employees.employee.salary * 0.20
+    base input.regions.region.offices.office.teams.team.employees.employee.salary * 0.05
+  end
+end

data/golden/input_reference/expected/ast.txt

@@ -0,0 +1,46 @@
+(Root
+  inputs: [
+    (InputDeclaration :config :hash
+      [
+        (InputDeclaration :app_name :string)
+        (InputDeclaration :feature_flags :array
+          [
+            (InputDeclaration :flag_name :string)
+          ]
+        )
+        (InputDeclaration :servers :array
+          [
+            (InputDeclaration :server :hash
+              [
+                (InputDeclaration :hostname :string)
+                (InputDeclaration :port :integer)
+              ]
+            )
+          ]
+        )
+      ]
+    )
+  ]
+  values: [
+    (ValueDeclaration :app_name
+      (InputElementReference config.app_name)
+    )
+    (ValueDeclaration :all_flags
+      (InputElementReference config.feature_flags.flag_name)
+    )
+    (ValueDeclaration :server_hostnames
+      (InputElementReference config.servers.server.hostname)
+    )
+    (ValueDeclaration :server_count
+      (CallExpression :array_size
+        (InputElementReference config.servers)
+      )
+    )
+    (ValueDeclaration :total_ports
+      (CallExpression :sum
+        (InputElementReference config.servers.server.port)
+      )
+    )
+  ]
+  traits: []
+)