kumi 0.0.4 → 0.0.6

data/lib/kumi/syntax/expressions.rb

@@ -1,30 +0,0 @@
-# frozen_string_literal: true
-
-module Kumi
-  module Syntax
-    module Expressions
-      CallExpression = Struct.new(:fn_name, :args) do
-        include Node
-        def children = args
-      end
-      CascadeExpression = Struct.new(:cases) do
-        include Node
-        def children = cases
-      end
-
-      WhenCaseExpression = Struct.new(:condition, :result) do
-        include Node
-        def children = [condition, result]
-      end
-
-      ListExpression = Struct.new(:elements) do
-        include Node
-        def children = elements
-
-        def size
-          elements.size
-        end
-      end
-    end
-  end
-end

data/lib/kumi/syntax/terminal_expressions.rb

@@ -1,27 +0,0 @@
-# frozen_string_literal: true
-
-require_relative "node"
-
-module Kumi
-  module Syntax
-    module TerminalExpressions
-      # Leaf expressions that represent a value or reference and terminate a branch.
-
-      Literal = Struct.new(:value) do
-        include Node
-        def children = []
-      end
-
-      # For field usage/reference in expressions (input.field_name)
-      FieldRef = Struct.new(:name) do
-        include Node
-        def children = []
-      end
-
-      Binding = Struct.new(:name) do
-        include Node
-        def children = []
-      end
-    end
-  end
-end

data/lib/kumi/syntax.rb

@@ -1,9 +0,0 @@
-# frozen_string_literal: true
-
-module Kumi
-  module Syntax
-    include Declarations
-    include Expressions
-    include TerminalExpressions
-  end
-end

data/test_impossible_cascade.rb

@@ -1,51 +0,0 @@
-#!/usr/bin/env ruby
-# frozen_string_literal: true
-
-require_relative "lib/kumi"
-
-# This test demonstrates that the UnsatDetector still correctly catches
-# genuinely impossible cascade conditions after our fix
-
-puts "🧪 Testing UnsatDetector Catches Impossible Cascade Conditions"
-puts "=" * 60
-
-begin
-  impossible_schema = Class.new do
-    extend Kumi::Schema
-
-    schema do
-      input do
-        integer :age, domain: 0..150
-      end
-
-      # These traits are individually satisfiable
-      trait :very_young, input.age, :<, 25
-      trait :very_old, input.age, :>, 65
-
-      # This cascade condition combines contradictory traits - should be caught!
-      value :impossible_condition do
-        on :very_young, :very_old, "Impossible: young AND old"  # age < 25 AND age > 65
-        base "Normal"
-      end
-    end
-  end
-  
-  puts "❌ ERROR: Should have caught impossible cascade condition!"
-  
-rescue Kumi::Errors::SemanticError => e
-  if e.message.include?("conjunction") && e.message.include?("logically impossible")
-    puts "✅ CORRECTLY CAUGHT impossible cascade condition!"
-    puts "   Error: #{e.message}"
-    puts
-    puts "   This proves the UnsatDetector still works for genuinely impossible conditions"
-    puts "   while allowing valid mutually exclusive cascades."
-  else
-    puts "❌ UNEXPECTED ERROR: #{e.message}"
-  end
-end
-
-puts
-puts "🎉 UnsatDetector Fix Validation Complete!"
-puts "   ✅ Valid mutually exclusive cascades: WORK"
-puts "   ✅ Impossible cascade conditions: CAUGHT"
-puts "   ✅ Existing functionality: PRESERVED"