kumi 0.0.21 → 0.0.23

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 1a372c01f8e35d9342f5a3464e1b4b2911b99c286bb244aab11049bcf1190266
-  data.tar.gz: 8f7640952006b57ea0e16e6a4237309244c913370443d3ecf641da15ade5eb5c
+  metadata.gz: fb114ffa6a4c06a4a5c517757ba3030043095e62b54e15b206989cdcd10329fd
+  data.tar.gz: db8aa5df3fec33213cb27478523b24d3f94812b55e59ba5c39105f5ec1ae9a21
 SHA512:
-  metadata.gz: c832c97b0b4c1888a46aae7130feef16da2ecfabb270dc14025f855e102b5d36961ca75b8a205bb496d8cb638454f2a1d3c022bd5b8d80885de9b33b9815360c
-  data.tar.gz: 5f254ea25bcd5f38f333c1e0db71d01786cd0e25a66b332ac5b63d22c30877c72a772ca47bd6ceadebf6915db083d91ae5d63fbb6e49bde1864b7a5d150feb43
+  metadata.gz: d4af4d0d9406226983cf67d4cdf22b366fb01588c977cca449bbd221c5c25a633f04f98f0b9982c44228c526b452306a4c374cac823972581d9e0f4d7c368870
+  data.tar.gz: 73cf1f508cf9501177b80014bbf28c111979057191bc4643a2749339dabe85dcdee46e202825ec285a378b301540d23aa67d7d4ff39e343a7c5f833c62b6d199

data/CHANGELOG.md

@@ -1,4 +1,14 @@
 ## [Unreleased]
+
+## [0.0.23] – 2025-10-13
+### Fixed
+- OutputSchemaPass now excludes inline `:let` declarations from output_schema metadata, matching JS/Ruby codegen behavior
+
+## [0.0.22] – 2025-10-13
+### Removed
+- Legacy analyzer passes and compiler components referencing old Registry and Runtime APIs
+- Obsolete test files that depended on removed infrastructure
+
 ## [0.0.21] – 2025-10-13
 Fix - update Gemfile.lock to current version
 

data/README.md

@@ -3,6 +3,7 @@
 [![CI](https://github.com/amuta/kumi/workflows/CI/badge.svg)](https://github.com/amuta/kumi/actions)
 [![Gem Version](https://badge.fury.io/rb/kumi.svg)](https://badge.fury.io/rb/kumi)
 
+**[Try the interactive demo →](https://kumi-play.example.com)**
 
 ---
 
@@ -13,23 +14,15 @@
 ---
 
 
-Kumi is a **declarative calculation DSL for Ruby**. You write business rules once; Kumi:
+**Declarative calculation DSL for Ruby.** Write business rules once, run them anywhere.
 
-- Builds a **typed dependency graph** with vector semantics.
-- Performs **static validation** at definition time.
-- Lowers to a **portable Low-level IR (LIR)**.
-- Code-generates standalone **Ruby** and **JavaScript**.
+Kumi compiles high-level schemas into standalone Ruby and JavaScript with no runtime dependencies.
 
-Targets: finance, tax, pricing, insurance, payroll, analytics—domains where **correctness, transparency, and reproducibility** matter.
+**Built for:** finance, tax, pricing, insurance, payroll, analytics—domains where correctness and transparency matter.
 
 ---
 
-## Codegen: Currently Ruby and JavaScript
-
-*Note: this is not available on the last published gem version (0.0.18), but if you clone this repository you can just copy a ./golden/$schema_name and modify schema.kumi as you and run bin/kumi golden test $schema_name*
-
-
-Kumi emits the kernel for your schema with no runtime in the target language. You can use it within your ruby application backend and/or export to the client.
+## Example: Conway's Game of Life
 
 
 <details>
@@ -78,114 +71,39 @@ end
 
 </details>
 
-<details>
-<summary><strong>Optimized LIR (lowered IR)</strong></summary>
-
-```bash
-# ...
-  (Declaration next_state
-    %t285 = load_input "rows" :: array
-    %t1539 = Length %t285 :: integer
-    %t1540 = const -1 :: integer
-    %t1542 = const 0 :: integer
-    %t1546 = const 1 :: integer
-    %t1334 = const 3 :: integer
-    %t1339 = const 2 :: integer
-    %t1547 = call core.sub(%t1539, %t1546) :: integer
-    loop rows id=L31 in %t285 as el=%rows_el_286, idx=%rows_i_287
-      %t1541 = call core.sub(%rows_i_287, %t1540) :: integer
-      %t1561 = call core.sub(%rows_i_287, %t1546) :: integer
-      %t1580 = call core.mod(%rows_i_287, %t1539) :: integer
-      # ...
-```
-
-</details>
-
-<details>
-<summary><strong>Generated Ruby (excerpt)</strong></summary>
-
-```ruby
-# Autogenerated by Kumi Codegen
-module Kumi::Compiled::KUMI_bd17a3ebee1bec4e58b72118d43e8c1c93bf773f257fc93d9c32a783d212ea4f
-  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 :next_state then _next_state
-    else raise KeyError, "Unknown declaration"
-    end
-  end
-
-  def _next_state(input = @input)
-    out = []
-    t285 = input["rows"] || input[:rows]
-    t1539 = t285.length
-    t1540 = -1
-    t1542 = 0
-    t1546 = 1
-    t1334 = 3
-    t1339 = 2
-    t1547 = t1539 - t1546
-    t285.each_with_index do |rows_el_286, rows_i_287|
-      out_1 = []
-      t1541 = rows_i_287 - t1540
-      t1561 = rows_i_287 - t1546
-      t1580 = rows_i_287 % t1539
-      t1543 = t1541 >= t1542
-      t1544 = t1541 < t1539
-      t1549 = [[ t1541, t1542 ].max, t1547 ].min
-      t1563 = t1561 >= t1542
-# ...
-```
-
-</details>
 
 <details>
 <summary><strong>Generated JavaScript (excerpt)</strong></summary>
 
 ```js
-export class KumiCompiledModule {
-  _next_state(input) {
-    let out = [];
-    let t285 = input["rows"];
-    let t1539 = t285.length
-    const t1540 = -1;
-    const t1542 = 0;
-    const t1546 = 1;
-    const t1334 = 3;
-    const t1339 = 2;
-    let t1547 = t1539 - t1546;
-    t285.forEach((rows_el_286, rows_i_287) => {
-      let out_1 = [];
-      let t1541 = rows_i_287 - t1540;
-      let t1561 = rows_i_287 - t1546;
-      let t1580 = ((rows_i_287 % t1539) + t1539) % t1539;
-      let t1543 = t1541 >= t1542;
-      let t1544 = t1541 < t1539;
-      let t1549 = Math.min(Math.max(t1541, t1542), t1547);
-      let t1563 = t1561 >= t1542;
-      let t1564 = t1561 < t1539;
-      let t1569 = Math.min(Math.max(t1561, t1542), t1547);
-      let t1581 = t1580 + t1539;
-      let t1545 = t1543 && t1544;
-      let t1550 = t285[t1549]
-      // ...
+export function _next_state(input) {
+  let out = [];
+  let t285 = input["rows"];
+  let t1539 = t285.length;
+  const t1540 = -1;
+  const t1542 = 0;
+  const t1546 = 1;
+  const t1334 = 3;
+  const t1339 = 2;
+  let t1547 = t1539 - t1546;
+  t285.forEach((rows_el_286, rows_i_287) => {
+    let out_1 = [];
+    let t1541 = rows_i_287 - t1540;
+    let t1561 = rows_i_287 - t1546;
+    let t1580 = ((rows_i_287 % t1539) + t1539) % t1539;
+    // ... neighbor calculations, Conway's rules
+    let t1332 = [t1557, t1577, t1597, t1617, t1645, t1673, t1701, t1729];
+    let t1333 = t1332.reduce((a, b) => a + b, 0);
+    let t1335 = t1333 == t1334;
+    let t1340 = t1333 == t1339;
+    let t1344 = col_el_288 > t1542;
+    let t1345 = t1340 && t1344;
+    let t528 = t1335 || t1345;
+    let t293 = t528 ? t1546 : t1542;
+    out_1.push(t293);
+  });
+  return out;
+}
 ```
 
 </details>
@@ -200,6 +118,32 @@ gem install kumi
 
 Requires Ruby 3.1+. No external dependencies.
 
+## Quick Start
+
+```ruby
+require 'kumi'
+
+Kumi.configure do |config|
+  config.compilation_mode = :jit
+end
+
+module Double
+  extend Kumi::Schema
+
+  schema do
+    input { integer :x }
+    value :doubled, input.x * 2
+  end
+end
+
+# Execute in Ruby
+result = Double.from(x: 5)
+result[:doubled]  # => 10
+
+# Export to JavaScript
+Double.write_source("output.mjs", platform: :javascript)
+```
+
 ---
 
 ## License

data/lib/kumi/core/analyzer/passes/output_schema_pass.rb

@@ -9,15 +9,17 @@ module Kumi
             snast_module = get_state(:snast_module)
             return state unless snast_module
 
-            output_schema = build_output_schema(snast_module)
+            hints = get_state(:hints)
+            output_schema = build_output_schema(snast_module, hints)
             state.with(:output_schema, output_schema.freeze)
           end
 
           private
 
-          def build_output_schema(snast_module)
-            snast_module.decls.transform_values do |decl|
-              build_output_field(decl)
+          def build_output_schema(snast_module, hints)
+            snast_module.decls.each_with_object({}) do |(name, decl), acc|
+              next if hints[name][:inline]
+              acc[name] = build_output_field(decl)
             end
           end
 

data/lib/kumi/core/functions/function_spec.rb

@@ -0,0 +1,16 @@
+# frozen_string_literal: true
+
+module Kumi
+  module Core
+    module Functions
+      # Minimal function specification for NAST dimensional analysis
+      FunctionSpec = Struct.new(
+        :id,              # "core.add"
+        :kind,            # :elementwise, :reduce, :constructor
+        :parameter_names, # [:left_operand, :right_operand]
+        :dtype_rule,      # "promote(left_operand,right_operand)" or proc
+        keyword_init: true
+      )
+    end
+  end
+end

data/lib/kumi/core/functions/loader.rb

@@ -1,7 +1,7 @@
 # frozen_string_literal: true
 
 require "yaml"
-require_relative "model"
+require_relative "function_spec"
 require_relative "type_rules"
 
 module Kumi
@@ -34,7 +34,7 @@ module Kumi
           parameter_names = (fn_hash["params"] || []).map { |p| p["name"].to_sym }
           dtype_rule_fn = TypeRules.compile_dtype_rule(fn_hash.fetch("dtype"), parameter_names)
 
-          FunctionSpec.new(
+          Functions::FunctionSpec.new(
             id: function_id,
             kind: function_kind,
             parameter_names: parameter_names,

data/lib/kumi/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module Kumi
-  VERSION = "0.0.21"
+  VERSION = "0.0.23"
 end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: kumi
 version: !ruby/object:Gem::Version
-  version: 0.0.21
+  version: 0.0.23
 platform: ruby
 authors:
 - André Muta
@@ -537,7 +537,6 @@ files:
 - golden/with_constants/schema.kumi
 - lib/kumi.rb
 - lib/kumi/analyzer.rb
-- lib/kumi/compiler.rb
 - lib/kumi/configuration.rb
 - lib/kumi/core/analyzer/analysis_state.rb
 - lib/kumi/core/analyzer/binder.rb
@@ -551,7 +550,6 @@ files:
 - lib/kumi/core/analyzer/passes/assemble_irv2_pass.rb
 - lib/kumi/core/analyzer/passes/attach_anchors_pass.rb
 - lib/kumi/core/analyzer/passes/attach_terminal_info_pass.rb
-- lib/kumi/core/analyzer/passes/broadcast_detector.rb
 - lib/kumi/core/analyzer/passes/codegen/js/declaration_emitter.rb
 - lib/kumi/core/analyzer/passes/codegen/js/emitter.rb
 - lib/kumi/core/analyzer/passes/codegen/js/output_buffer.rb
@@ -583,7 +581,6 @@ files:
 - lib/kumi/core/analyzer/passes/lir/stencil_emitter.rb
 - lib/kumi/core/analyzer/passes/lir/validation_pass.rb
 - lib/kumi/core/analyzer/passes/load_input_cse.rb
-- lib/kumi/core/analyzer/passes/lower_to_ir_pass.rb
 - lib/kumi/core/analyzer/passes/lower_to_irv2_pass.rb
 - lib/kumi/core/analyzer/passes/name_indexer.rb
 - lib/kumi/core/analyzer/passes/nast_dimensional_analyzer_pass.rb
@@ -591,12 +588,9 @@ files:
 - lib/kumi/core/analyzer/passes/output_schema_pass.rb
 - lib/kumi/core/analyzer/passes/pass_base.rb
 - lib/kumi/core/analyzer/passes/precompute_access_paths_pass.rb
-- lib/kumi/core/analyzer/passes/scope_resolution_pass.rb
 - lib/kumi/core/analyzer/passes/semantic_constraint_validator.rb
 - lib/kumi/core/analyzer/passes/snast_pass.rb
 - lib/kumi/core/analyzer/passes/toposorter.rb
-- lib/kumi/core/analyzer/passes/type_checker.rb
-- lib/kumi/core/analyzer/passes/type_inferencer_pass.rb
 - lib/kumi/core/analyzer/passes/unsat_detector.rb
 - lib/kumi/core/analyzer/passes/visitor_pass.rb
 - lib/kumi/core/analyzer/plans.rb
@@ -619,7 +613,6 @@ files:
 - lib/kumi/core/compiler/accessors/materialize_accessor.rb
 - lib/kumi/core/compiler/accessors/ravel_accessor.rb
 - lib/kumi/core/compiler/accessors/read_accessor.rb
-- lib/kumi/core/compiler_base.rb
 - lib/kumi/core/constraint_relationship_solver.rb
 - lib/kumi/core/domain/enum_analyzer.rb
 - lib/kumi/core/domain/range_analyzer.rb
@@ -628,7 +621,6 @@ files:
 - lib/kumi/core/error_reporter.rb
 - lib/kumi/core/error_reporting.rb
 - lib/kumi/core/errors.rb
-- lib/kumi/core/explain.rb
 - lib/kumi/core/export.rb
 - lib/kumi/core/export/deserializer.rb
 - lib/kumi/core/export/errors.rb
@@ -636,8 +628,8 @@ files:
 - lib/kumi/core/export/node_registry.rb
 - lib/kumi/core/export/node_serializers.rb
 - lib/kumi/core/export/serializer.rb
+- lib/kumi/core/functions/function_spec.rb
 - lib/kumi/core/functions/loader.rb
-- lib/kumi/core/functions/model.rb
 - lib/kumi/core/functions/type_rules.rb
 - lib/kumi/core/input/type_matcher.rb
 - lib/kumi/core/input/validator.rb
@@ -716,7 +708,6 @@ files:
 - lib/kumi/registry_v2.rb
 - lib/kumi/registry_v2/loader.rb
 - lib/kumi/schema.rb
-- lib/kumi/schema_metadata.rb
 - lib/kumi/support/diff.rb
 - lib/kumi/support/ir_render.rb
 - lib/kumi/support/lir_printer.rb

data/lib/kumi/compiler.rb

@@ -1,21 +0,0 @@
-# frozen_string_literal: true
-
-module Kumi
-  # Compiles an analyzed schema into executable lambdas
-  class Compiler < Core::CompilerBase
-    def self.compile(schema, analyzer:, schema_name: nil)
-      new(schema, analyzer, schema_name: schema_name).compile
-    end
-
-    def initialize(schema, analyzer, schema_name: nil)
-      super(schema, analyzer)
-      @bindings = {}
-      @schema_name = schema_name
-    end
-
-    def compile
-      # Switch to LIR: Use the analysis state instead of old compilation
-      Runtime::Executable.from_analysis(@analysis.state, schema_name: @schema_name)
-    end
-  end
-end