kumi 0.0.25 → 0.0.26

data/golden/us_tax_2024/expected.json

@@ -1 +1,120 @@
-{"summary": {"single": {"federal": {"marginal": 0.22, "effective": 0.13841, "tax": 13841.0}, "fica": {"effective": 0.0765, "tax": 7650.0}, "state": {"marginal": 0.06, "effective": 0.06, "tax": 6000.0}, "local": {"marginal": 0.0388, "effective": 0.0388, "tax": 3880.0}, "total": {"effective": 0.31371, "tax": 31371.0}, "after_tax": 68629.0, "retirement_contrib": 0, "take_home": 68629.0}, "married_joint": {"federal": {"marginal": 0.12, "effective": 0.08032, "tax": 8032.0}, "fica": {"effective": 0.0765, "tax": 7650.0}, "state": {"marginal": 0.06, "effective": 0.06, "tax": 6000.0}, "local": {"marginal": 0.0388, "effective": 0.0388, "tax": 3880.0}, "total": {"effective": 0.25562, "tax": 25562.0}, "after_tax": 74438.0, "retirement_contrib": 0, "take_home": 74438.0}, "married_separate": {"federal": {"marginal": 0.22, "effective": 0.13841, "tax": 13841.0}, "fica": {"effective": 0.0765, "tax": 7650.0}, "state": {"marginal": 0.06, "effective": 0.06, "tax": 6000.0}, "local": {"marginal": 0.0388, "effective": 0.0388, "tax": 3880.0}, "total": {"effective": 0.31371, "tax": 31371.0}, "after_tax": 68629.0, "retirement_contrib": 0, "take_home": 68629.0}, "head_of_household": {"federal": {"marginal": 0.22, "effective": 0.10541, "tax": 10541.0}, "fica": {"effective": 0.0765, "tax": 7650.0}, "state": {"marginal": 0.06, "effective": 0.06, "tax": 6000.0}, "local": {"marginal": 0.0388, "effective": 0.0388, "tax": 3880.0}, "total": {"effective": 0.28071, "tax": 28071.0}, "after_tax": 71929.0, "retirement_contrib": 0, "take_home": 71929.0}}}
+{
+  "summary": [
+    {
+      "filing_status": "single",
+      "federal": {
+        "marginal": 0.24,
+        "effective": 0.17025666666666667,
+        "tax": 25538.5
+      },
+      "fica": {
+        "effective": 0.0765,
+        "tax": 11475
+      },
+      "state": {
+        "marginal": 0,
+        "effective": 0,
+        "tax": 0
+      },
+      "local": {
+        "marginal": 0,
+        "effective": 0,
+        "tax": 0
+      },
+      "total": {
+        "effective": 0.24675666666666668,
+        "tax": 37013.5
+      },
+      "after_tax": 112986.5,
+      "retirement_contrib": 0,
+      "take_home": 112986.5
+    },
+    {
+      "filing_status": "married_joint",
+      "federal": {
+        "marginal": 0.22,
+        "effective": 0.11121333333333333,
+        "tax": 16682
+      },
+      "fica": {
+        "effective": 0.0765,
+        "tax": 11475
+      },
+      "state": {
+        "marginal": 0,
+        "effective": 0,
+        "tax": 0
+      },
+      "local": {
+        "marginal": 0,
+        "effective": 0,
+        "tax": 0
+      },
+      "total": {
+        "effective": 0.18771333333333334,
+        "tax": 28157
+      },
+      "after_tax": 121843,
+      "retirement_contrib": 0,
+      "take_home": 121843
+    },
+    {
+      "filing_status": "married_separate",
+      "federal": {
+        "marginal": 0.24,
+        "effective": 0.17025666666666667,
+        "tax": 25538.5
+      },
+      "fica": {
+        "effective": 0.078,
+        "tax": 11700
+      },
+      "state": {
+        "marginal": 0,
+        "effective": 0,
+        "tax": 0
+      },
+      "local": {
+        "marginal": 0,
+        "effective": 0,
+        "tax": 0
+      },
+      "total": {
+        "effective": 0.24825666666666665,
+        "tax": 37238.5
+      },
+      "after_tax": 112761.5,
+      "retirement_contrib": 0,
+      "take_home": 112761.5
+    },
+    {
+      "filing_status": "head_of_household",
+      "federal": {
+        "marginal": 0.24,
+        "effective": 0.14728666666666668,
+        "tax": 22093
+      },
+      "fica": {
+        "effective": 0.0765,
+        "tax": 11475
+      },
+      "state": {
+        "marginal": 0,
+        "effective": 0,
+        "tax": 0
+      },
+      "local": {
+        "marginal": 0,
+        "effective": 0,
+        "tax": 0
+      },
+      "total": {
+        "effective": 0.22378666666666666,
+        "tax": 33568
+      },
+      "after_tax": 116432,
+      "retirement_contrib": 0,
+      "take_home": 116432
+    }
+  ]
+}

data/golden/us_tax_2024/input.json

@@ -1,11 +1,14 @@
 {
-  "income": 100000,
-  "state_rate": 0.06,
-  "local_rate": 0.0388,
+  "income": 150000,
+  "state_rate": 0,
+  "local_rate": 0,
   "retirement_contrib": 0,
-  "fed": {
-    "single": {
+  "filing_status": "single",
+  "statuses": [
+    {
+      "name": "single",
       "std": 14600,
+      "addl_threshold": 200000,
       "rates": [
         {
           "lo": 0,
@@ -44,8 +47,10 @@
         }
       ]
     },
-    "married_joint": {
+    {
+      "name": "married_joint",
       "std": 29200,
+      "addl_threshold": 250000,
       "rates": [
         {
           "lo": 0,
@@ -84,8 +89,10 @@
         }
       ]
     },
-    "married_separate": {
+    {
+      "name": "married_separate",
       "std": 14600,
+      "addl_threshold": 125000,
       "rates": [
         {
           "lo": 0,
@@ -124,8 +131,10 @@
         }
       ]
     },
-    "head_of_household": {
+    {
+      "name": "head_of_household",
       "std": 21900,
+      "addl_threshold": 200000,
       "rates": [
         {
           "lo": 0,
@@ -164,5 +173,5 @@
         }
       ]
     }
-  }
+  ]
 }

data/golden/us_tax_2024/schema.kumi

@@ -1,14 +1,17 @@
 schema do
   input do
-    float :income
-    float :state_rate
-    float :local_rate
-    float :retirement_contrib
-
-    hash :fed do
-      hash :single do
-        float :std
-        array :rates do
+    float  :income
+    float  :state_rate
+    float  :local_rate
+    float  :retirement_contrib
+    string :filing_status
+
+    array :statuses do
+      hash :status do
+        string :name
+        float  :std
+        float  :addl_threshold
+        array  :rates do
           hash :bracket do
             float :lo
             float :hi # -1 = open-ended
@@ -16,40 +19,10 @@ schema do
           end
         end
       end
-      hash :married_joint do
-        float :std
-        array :rates do
-          hash :bracket do
-            float :lo
-            float :hi
-            float :rate
-          end
-        end
-      end
-      hash :married_separate do
-        float :std
-        array :rates do
-          hash :bracket do
-            float :lo
-            float :hi
-            float :rate
-          end
-        end
-      end
-      hash :head_of_household do
-        float :std
-        array :rates do
-          hash :bracket do
-            float :lo
-            float :hi
-            float :rate
-          end
-        end
-      end
     end
   end
 
-  # ——— shared helpers ———
+  # shared
   let :big_hi, 100_000_000_000.0
   let :state_tax, input.income * input.state_rate
   let :local_tax, input.income * input.local_rate
@@ -60,144 +33,41 @@ schema do
   let :med_base_rate, 0.0145
   let :addl_med_rate, 0.009
 
-  # thresholds differ by filing status
-  let :addl_threshold_single, 200_000.0
-  let :addl_threshold_mj,     250_000.0
-  let :addl_threshold_ms,     125_000.0
-  let :addl_threshold_hoh,    200_000.0
-
-  # ——— SINGLE ———
-  let :taxable_single, fn(:max, [input.income - input.fed.single.std, 0])
-  let :lo_s,   input.fed.single.rates.bracket.lo
-  let :hi_s,   input.fed.single.rates.bracket.hi
-  let :rate_s, input.fed.single.rates.bracket.rate
-  let   :hi_s_eff, select(hi_s == -1, big_hi, hi_s)
-  let   :amt_s, fn(:clamp, taxable_single - lo_s, 0, hi_s_eff - lo_s)
-  let :fed_tax_single, fn(:sum, amt_s * rate_s)
-  let :in_br_s, (taxable_single >= lo_s) & (taxable_single < hi_s_eff)
-  let :fed_marginal_single, fn(:sum_if, rate_s, in_br_s)
-  let :fed_eff_single, fed_tax_single / fn(:max, [input.income, 1.0])
-
-  let :ss_tax_s,       fn(:min, [input.income, ss_wage_base]) * ss_rate
-  let :med_tax_s,      input.income * med_base_rate
-  let :addl_med_tax_s, fn(:max, [input.income - addl_threshold_single, 0]) * addl_med_rate
-  let :fica_tax_single, ss_tax_s + med_tax_s + addl_med_tax_s
-  let :fica_eff_single, fica_tax_single / fn(:max, [input.income, 1.0])
-
-  let :total_tax_single, fed_tax_single + fica_tax_single + state_tax + local_tax
-  let :total_eff_single, total_tax_single / fn(:max, [input.income, 1.0])
-  let :after_tax_single, input.income - total_tax_single
-  let :take_home_single, after_tax_single - input.retirement_contrib
-
-  # ——— MARRIED JOINT ———
-  let :taxable_mj, fn(:max, [input.income - input.fed.married_joint.std, 0])
-  let :lo_mj,   input.fed.married_joint.rates.bracket.lo
-  let :hi_mj,   input.fed.married_joint.rates.bracket.hi
-  let :rate_mj, input.fed.married_joint.rates.bracket.rate
-  let   :hi_mj_eff, select(hi_mj == -1, big_hi, hi_mj)
-  let   :amt_mj, fn(:clamp, taxable_mj - lo_mj, 0, hi_mj_eff - lo_mj)
-  let :fed_tax_mj, fn(:sum, amt_mj * rate_mj)
-  let :in_br_mj, (taxable_mj >= lo_mj) & (taxable_mj < hi_mj_eff)
-  let :fed_marginal_mj, fn(:sum_if, rate_mj, in_br_mj)
-  let :fed_eff_mj, fed_tax_mj / fn(:max, [input.income, 1.0])
-
-  let :ss_tax_mj,       ss_tax_s
-  let :med_tax_mj,      med_tax_s
-  let :addl_med_tax_mj, fn(:max, [input.income - addl_threshold_mj, 0]) * addl_med_rate
-  let :fica_tax_mj, ss_tax_mj + med_tax_mj + addl_med_tax_mj
-  let :fica_eff_mj, fica_tax_mj / fn(:max, [input.income, 1.0])
-
-  let :total_tax_mj, fed_tax_mj + fica_tax_mj + state_tax + local_tax
-  let :total_eff_mj, total_tax_mj / fn(:max, [input.income, 1.0])
-  let :after_tax_mj, input.income - total_tax_mj
-  let :take_home_mj, after_tax_mj - input.retirement_contrib
-
-  # ——— MARRIED SEPARATE ———
-  let :taxable_ms, fn(:max, [input.income - input.fed.married_separate.std, 0])
-  let :lo_ms,   input.fed.married_separate.rates.bracket.lo
-  let :hi_ms,   input.fed.married_separate.rates.bracket.hi
-  let :rate_ms, input.fed.married_separate.rates.bracket.rate
-  let   :hi_ms_eff, select(hi_ms == -1, big_hi, hi_ms)
-  let   :amt_ms, fn(:clamp, taxable_ms - lo_ms, 0, hi_ms_eff - lo_ms)
-  let :fed_tax_ms, fn(:sum, amt_ms * rate_ms)
-  let :in_br_ms, (taxable_ms >= lo_ms) & (taxable_ms < hi_ms_eff)
-  let :fed_marginal_ms, fn(:sum_if, rate_ms, in_br_ms)
-  let :fed_eff_ms, fed_tax_ms / fn(:max, [input.income, 1.0])
-
-  let :ss_tax_ms,       ss_tax_s
-  let :med_tax_ms,      med_tax_s
-  let :addl_med_tax_ms, fn(:max, [input.income - addl_threshold_ms, 0]) * addl_med_rate
-  let :fica_tax_ms, ss_tax_ms + med_tax_ms + addl_med_tax_ms
-  let :fica_eff_ms, fica_tax_ms / fn(:max, [input.income, 1.0])
-
-  let :total_tax_ms, fed_tax_ms + fica_tax_ms + state_tax + local_tax
-  let :total_eff_ms, total_tax_ms / fn(:max, [input.income, 1.0])
-  let :after_tax_ms, input.income - total_tax_ms
-  let :take_home_ms, after_tax_ms - input.retirement_contrib
-
-  # ——— HEAD OF HOUSEHOLD ———
-  let :taxable_hoh, fn(:max, [input.income - input.fed.head_of_household.std, 0])
-  let :lo_h,   input.fed.head_of_household.rates.bracket.lo
-  let :hi_h,   input.fed.head_of_household.rates.bracket.hi
-  let :rate_h, input.fed.head_of_household.rates.bracket.rate
-  let   :hi_h_eff, select(hi_h == -1, big_hi, hi_h)
-  let   :amt_h, fn(:clamp, taxable_hoh - lo_h, 0, hi_h_eff - lo_h)
-  let :fed_tax_hoh, fn(:sum, amt_h * rate_h)
-  let :in_br_h, (taxable_hoh >= lo_h) & (taxable_hoh < hi_h_eff)
-  let :fed_marginal_hoh, fn(:sum_if, rate_h, in_br_h)
-  let :fed_eff_hoh, fed_tax_hoh / fn(:max, [input.income, 1.0])
-
-  let :ss_tax_h,       ss_tax_s
-  let :med_tax_h,      med_tax_s
-  let :addl_med_tax_h, fn(:max, [input.income - addl_threshold_hoh, 0]) * addl_med_rate
-  let :fica_tax_hoh, ss_tax_h + med_tax_h + addl_med_tax_h
-  let :fica_eff_hoh, fica_tax_hoh / fn(:max, [input.income, 1.0])
-
-  let :total_tax_hoh, fed_tax_hoh + fica_tax_hoh + state_tax + local_tax
-  let :total_eff_hoh, total_tax_hoh / fn(:max, [input.income, 1.0])
-  let :after_tax_hoh, input.income - total_tax_hoh
-  let :take_home_hoh, after_tax_hoh - input.retirement_contrib
-
+  # per-status federal
+  let :taxable,   fn(:max, [input.income - input.statuses.status.std, 0])
+  let :lo,        input.statuses.status.rates.bracket.lo
+  let :hi,        input.statuses.status.rates.bracket.hi
+  let :rate,      input.statuses.status.rates.bracket.rate
+  let :hi_eff,    select(hi == -1, big_hi, hi)
+  let :amt,       fn(:clamp, taxable - lo, 0, hi_eff - lo)
+  let :fed_tax,   fn(:sum, amt * rate)
+  let :in_br,     (taxable >= lo) & (taxable < hi_eff)
+  let :fed_marg,  fn(:sum_if, rate, in_br)
+  let :fed_eff,   fed_tax / fn(:max, [input.income, 1.0])
+
+  # per-status FICA
+  let :ss_tax,         fn(:min, [input.income, ss_wage_base]) * ss_rate
+  let :med_tax,        input.income * med_base_rate
+  let :addl_med_tax,   fn(:max, [input.income - input.statuses.status.addl_threshold, 0]) * addl_med_rate
+  let :fica_tax,       ss_tax + med_tax + addl_med_tax
+  let :fica_eff,       fica_tax / fn(:max, [input.income, 1.0])
+
+  # totals per status
+  let :total_tax,  fed_tax + fica_tax + state_tax + local_tax
+  let :total_eff,  total_tax / fn(:max, [input.income, 1.0])
+  let :after_tax,  input.income - total_tax
+  let :take_home,  after_tax - input.retirement_contrib
+
+  # array of result objects, one per status
   value :summary, {
-    single: {
-      federal: { marginal: fed_marginal_single, effective: fed_eff_single, tax: fed_tax_single },
-      fica: { effective: fica_eff_single, tax: fica_tax_single },
-      state: { marginal: input.state_rate, effective: input.state_rate, tax: state_tax },
-      local: { marginal: input.local_rate, effective: input.local_rate, tax: local_tax },
-      total: { effective: total_eff_single, tax: total_tax_single },
-      after_tax: after_tax_single,
-      retirement_contrib: input.retirement_contrib,
-      take_home: take_home_single
-    },
-    married_joint: {
-      federal: { marginal: fed_marginal_mj, effective: fed_eff_mj, tax: fed_tax_mj },
-      fica: { effective: fica_eff_mj, tax: fica_tax_mj },
-      state: { marginal: input.state_rate, effective: input.state_rate, tax: state_tax },
-      local: { marginal: input.local_rate, effective: input.local_rate, tax: local_tax },
-      total: { effective: total_eff_mj, tax: total_tax_mj },
-      after_tax: after_tax_mj,
-      retirement_contrib: input.retirement_contrib,
-      take_home: take_home_mj
-    },
-    married_separate: {
-      federal: { marginal: fed_marginal_ms, effective: fed_eff_ms, tax: fed_tax_ms },
-      fica: { effective: fica_eff_ms, tax: fica_tax_ms },
-      state: { marginal: input.state_rate, effective: input.state_rate, tax: state_tax },
-      local: { marginal: input.local_rate, effective: input.local_rate, tax: local_tax },
-      total: { effective: total_eff_ms, tax: total_tax_ms },
-      after_tax: after_tax_ms,
-      retirement_contrib: input.retirement_contrib,
-      take_home: take_home_ms
-    },
-    head_of_household: {
-      federal: { marginal: fed_marginal_hoh, effective: fed_eff_hoh, tax: fed_tax_hoh },
-      fica: { effective: fica_eff_hoh, tax: fica_tax_hoh },
-      state: { marginal: input.state_rate, effective: input.state_rate, tax: state_tax },
-      local: { marginal: input.local_rate, effective: input.local_rate, tax: local_tax },
-      total: { effective: total_eff_hoh, tax: total_tax_hoh },
-      after_tax: after_tax_hoh,
-      retirement_contrib: input.retirement_contrib,
-      take_home: take_home_hoh
-    }
+    filing_status: input.statuses.status.name,
+    federal: { marginal: fed_marg, effective: fed_eff, tax: fed_tax },
+    fica: { effective: fica_eff, tax: fica_tax },
+    state: { marginal: input.state_rate, effective: input.state_rate, tax: state_tax },
+    local: { marginal: input.local_rate, effective: input.local_rate, tax: local_tax },
+    total: { effective: total_eff, tax: total_tax },
+    after_tax: after_tax,
+    retirement_contrib: input.retirement_contrib,
+    take_home: take_home
   }
 end

data/golden/with_constants/expected/lir_00_unoptimized.txt

@@ -3,7 +3,7 @@
     %t1 = const 100 :: integer
     %t2 = const 85 :: integer
     %t3 = const 92 :: integer
-    %t4 = make_tuple(%t1, %t2, %t3) :: tuple<integer>
+    %t4 = make_tuple(%t1, %t2, %t3) :: tuple<integer, integer, integer>
     yield %t4
   )
   (Declaration first_score

data/golden/with_constants/expected/lir_01_hoist_scalar_references.txt

@@ -3,7 +3,7 @@
     %t1 = const 100 :: integer
     %t2 = const 85 :: integer
     %t3 = const 92 :: integer
-    %t4 = make_tuple(%t1, %t2, %t3) :: tuple<integer>
+    %t4 = make_tuple(%t1, %t2, %t3) :: tuple<integer, integer, integer>
     yield %t4
   )
   (Declaration first_score

data/golden/with_constants/expected/lir_02_inlined.txt

@@ -3,7 +3,7 @@
     %t1 = const 100 :: integer
     %t2 = const 85 :: integer
     %t3 = const 92 :: integer
-    %t4 = make_tuple(%t1, %t2, %t3) :: tuple<integer>
+    %t4 = make_tuple(%t1, %t2, %t3) :: tuple<integer, integer, integer>
     yield %t4
   )
   (Declaration first_score

data/golden/with_constants/expected/lir_03_cse.txt

@@ -3,7 +3,7 @@
     %t1 = const 100 :: integer
     %t2 = const 85 :: integer
     %t3 = const 92 :: integer
-    %t4 = make_tuple(%t1, %t2, %t3) :: tuple<integer>
+    %t4 = make_tuple(%t1, %t2, %t3) :: tuple<integer, integer, integer>
     yield %t4
   )
   (Declaration first_score

data/golden/with_constants/expected/lir_04_1_loop_fusion.txt

@@ -3,7 +3,7 @@
     %t1 = const 100 :: integer
     %t2 = const 85 :: integer
     %t3 = const 92 :: integer
-    %t4 = make_tuple(%t1, %t2, %t3) :: tuple<integer>
+    %t4 = make_tuple(%t1, %t2, %t3) :: tuple<integer, integer, integer>
     yield %t4
   )
   (Declaration first_score

data/golden/with_constants/expected/lir_04_loop_invcm.txt

@@ -3,7 +3,7 @@
     %t1 = const 100 :: integer
     %t2 = const 85 :: integer
     %t3 = const 92 :: integer
-    %t4 = make_tuple(%t1, %t2, %t3) :: tuple<integer>
+    %t4 = make_tuple(%t1, %t2, %t3) :: tuple<integer, integer, integer>
     yield %t4
   )
   (Declaration first_score

data/golden/with_constants/expected/lir_06_const_prop.txt

@@ -3,7 +3,7 @@
     %t1 = const 100 :: integer
     %t2 = const 85 :: integer
     %t3 = const 92 :: integer
-    %t4 = make_tuple(%t1, %t2, %t3) :: tuple<integer>
+    %t4 = make_tuple(%t1, %t2, %t3) :: tuple<integer, integer, integer>
     yield %t4
   )
   (Declaration first_score

data/golden/with_constants/expected/nast.txt

@@ -7,13 +7,13 @@
   )
   )
   (VALUE first_score
-    (Call :"core.at"
+    (Call :at
     (Ref scores)
     (Const 0)
   )
   )
   (VALUE second_score
-    (Call :"core.at"
+    (Call :at
     (Ref scores)
     (Const 1)
   )

data/golden/with_constants/expected/schema_ruby.rb

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

data/golden/with_constants/expected/snast.txt

@@ -4,8 +4,8 @@
       (Const 100) :: [] -> integer
       (Const 85) :: [] -> integer
       (Const 92) :: [] -> integer
-    ) :: [] -> tuple<integer>
-  ) :: [] -> tuple<integer>
+    ) :: [] -> tuple<integer, integer, integer>
+  ) :: [] -> tuple<integer, integer, integer>
   (VALUE first_score
     (Const 100) :: [] -> integer
   ) :: [] -> integer

data/lib/kumi/analyzer.rb

@@ -13,18 +13,17 @@ module Kumi
       Passes::DeclarationValidator,            # 4. Checks the basic structure of each rule.
       Passes::SemanticConstraintValidator,     # 5. Validates DSL semantic constraints at AST level.
       Passes::DependencyResolver,              # 6. Builds the dependency graph with conditional dependencies.
-      Passes::UnsatDetector,                   # 7. Detects unsatisfiable constraints and analyzes cascade mutual exclusion.
-      Passes::Toposorter,                      # 8. Creates the final evaluation order, allowing safe cycles.
-      # Passes::BroadcastDetector,               # 9. Detects which operations should be broadcast over arrays.
-      # Passes::TypeInferencerPass,              # 10. Infers types for all declarations (uses vectorization metadata).
-      # Passes::TypeChecker,                     # 11. Validates types using inferred information.
-      Passes::InputAccessPlannerPass # 12. Plans access strategies for input fields.
-      # Passes::ScopeResolutionPass,             # 13. Plans execution scope and lifting needs for declarations.
-      # Passes::JoinReducePlanningPass,          # 14. Plans join/reduce operations (Generates IR Structs)
-      # Passes::LowerToIRPass,                   # 15. Lowers the schema to IR (Generates IR Structs)
-      # Passes::LoadInputCSE,                    # 16. Eliminates redundant load_input operations
-      # Passes::IRDependencyPass,                # 17. Extracts IR-level dependencies for VM execution optimization
-      # Passes::IRExecutionSchedulePass          # 18. Builds a precomputed execution schedule.
+      Passes::Toposorter,                      # 7. Creates the final evaluation order, allowing safe cycles.
+      # Passes::BroadcastDetector,               # 8. Detects which operations should be broadcast over arrays.
+      # Passes::TypeInferencerPass,              # 9. Infers types for all declarations (uses vectorization metadata).
+      # Passes::TypeChecker,                     # 10. Validates types using inferred information.
+      Passes::InputAccessPlannerPass # 11. Plans access strategies for input fields.
+      # Passes::ScopeResolutionPass,             # 12. Plans execution scope and lifting needs for declarations.
+      # Passes::JoinReducePlanningPass,          # 13. Plans join/reduce operations (Generates IR Structs)
+      # Passes::LowerToIRPass,                   # 14. Lowers the schema to IR (Generates IR Structs)
+      # Passes::LoadInputCSE,                    # 15. Eliminates redundant load_input operations
+      # Passes::IRDependencyPass,                # 16. Extracts IR-level dependencies for VM execution optimization
+      # Passes::IRExecutionSchedulePass          # 17. Builds a precomputed execution schedule.
     ].freeze
 
     # Pipeline passes for the determinisitic NAST->LIR approach
@@ -33,6 +32,7 @@ module Kumi
       Passes::ConstantFoldingPass,             # Folds constant expressions in NAST
       Passes::NASTDimensionalAnalyzerPass,     # Extracts dimensional and type metadata from NAST
       Passes::SNASTPass,                       # Creates Semantic NAST with dimensional stamps and execution plans
+      Passes::UnsatDetector,                   # Detects impossible constraints with resolved function IDs and SNAST metadata
       Passes::OutputSchemaPass,                # Builds minimal output schema from SNAST
       Passes::AttachTerminalInfoPass,          # Attaches key_chain info to InputRef nodes
       Passes::AttachAnchorsPass,