autotype 0.1.0

data/spec/examples.txt

@@ -0,0 +1,72 @@
+example_id                          | status | run_time        |
+----------------------------------- | ------ | --------------- |
+./spec/autotype_config_spec.rb[1:1] | passed | 0.00003 seconds |
+./spec/autotype_config_spec.rb[1:2] | passed | 0.00005 seconds |
+./spec/autotype_config_spec.rb[1:3] | passed | 0.00004 seconds |
+./spec/autotype_config_spec.rb[1:4] | passed | 0.0002 seconds  |
+./spec/autotype_config_spec.rb[2:1] | passed | 0.00042 seconds |
+./spec/autotype_config_spec.rb[2:2] | passed | 0.00047 seconds |
+./spec/autotype_config_spec.rb[2:3] | passed | 0.00188 seconds |
+./spec/autotype_config_spec.rb[2:4] | passed | 0.00091 seconds |
+./spec/autotype_native_spec.rb[1:1] | passed | 0.00179 seconds |
+./spec/autotype_native_spec.rb[1:2] | passed | 0.00007 seconds |
+./spec/autotype_native_spec.rb[1:3] | passed | 0.00022 seconds |
+./spec/autotype_spec.rb[1:1]        | passed | 0.00025 seconds |
+./spec/autotype_spec.rb[1:2]        | passed | 0.00018 seconds |
+./spec/autotype_spec.rb[1:3]        | passed | 0.00018 seconds |
+./spec/autotype_spec.rb[1:4]        | passed | 0.00031 seconds |
+./spec/autotype_spec.rb[1:5]        | passed | 0.00075 seconds |
+./spec/autotype_spec.rb[1:6]        | passed | 0.00063 seconds |
+./spec/autotype_spec.rb[1:7]        | passed | 0.00051 seconds |
+./spec/autotype_spec.rb[1:8]        | passed | 0.0003 seconds  |
+./spec/autotype_spec.rb[1:9]        | passed | 0.00024 seconds |
+./spec/autotype_spec.rb[1:10]       | passed | 0.00052 seconds |
+./spec/autotype_spec.rb[1:11]       | passed | 0.0003 seconds  |
+./spec/autotype_spec.rb[1:12]       | passed | 0.00028 seconds |
+./spec/autotype_spec.rb[1:13]       | passed | 0.00022 seconds |
+./spec/autotype_spec.rb[1:14]       | passed | 0.00017 seconds |
+./spec/autotype_spec.rb[1:15]       | passed | 0.00032 seconds |
+./spec/autotype_spec.rb[1:16]       | passed | 0.00029 seconds |
+./spec/autotype_spec.rb[1:17]       | passed | 0.00025 seconds |
+./spec/autotype_spec.rb[1:18]       | passed | 0.00069 seconds |
+./spec/autotype_spec.rb[1:19]       | passed | 0.00033 seconds |
+./spec/autotype_spec.rb[1:20]       | passed | 0.00608 seconds |
+./spec/autotype_spec.rb[1:21]       | passed | 0.0007 seconds  |
+./spec/autotype_spec.rb[1:22]       | passed | 0.00014 seconds |
+./spec/autotype_spec.rb[1:23]       | passed | 0.00039 seconds |
+./spec/autotype_spec.rb[1:24]       | passed | 0.00016 seconds |
+./spec/autotype_spec.rb[1:25]       | passed | 0.00031 seconds |
+./spec/autotype_spec.rb[1:26]       | passed | 0.00063 seconds |
+./spec/autotype_spec.rb[1:27]       | passed | 0.00031 seconds |
+./spec/autotype_spec.rb[1:28]       | passed | 0.00048 seconds |
+./spec/autotype_spec.rb[1:29]       | passed | 0.00059 seconds |
+./spec/autotype_spec.rb[1:30]       | passed | 0.00086 seconds |
+./spec/autotype_spec.rb[1:31]       | passed | 0.00101 seconds |
+./spec/autotype_spec.rb[1:32]       | passed | 0.00307 seconds |
+./spec/autotype_spec.rb[1:33]       | passed | 0.00052 seconds |
+./spec/autotype_spec.rb[1:34]       | passed | 0.00033 seconds |
+./spec/autotype_spec.rb[1:35]       | passed | 0.00037 seconds |
+./spec/autotype_spec.rb[1:36]       | passed | 0.00038 seconds |
+./spec/autotype_spec.rb[1:37]       | passed | 0.00045 seconds |
+./spec/autotype_spec.rb[1:38]       | passed | 0.00046 seconds |
+./spec/autotype_spec.rb[1:39]       | passed | 0.00157 seconds |
+./spec/autotype_spec.rb[1:40]       | passed | 0.00218 seconds |
+./spec/autotype_spec.rb[1:41]       | passed | 0.00081 seconds |
+./spec/autotype_spec.rb[1:42]       | passed | 0.00028 seconds |
+./spec/autotype_spec.rb[1:43]       | passed | 0.00129 seconds |
+./spec/autotype_spec.rb[1:44]       | passed | 0.00034 seconds |
+./spec/autotype_spec.rb[1:45]       | passed | 0.00041 seconds |
+./spec/autotype_spec.rb[1:46]       | passed | 0.00057 seconds |
+./spec/autotype_spec.rb[1:47]       | passed | 0.00067 seconds |
+./spec/autotype_spec.rb[1:48]       | passed | 0.00036 seconds |
+./spec/autotype_spec.rb[1:49]       | passed | 0.00075 seconds |
+./spec/autotype_spec.rb[1:50]       | passed | 0.00033 seconds |
+./spec/autotype_spec.rb[1:51]       | passed | 0.00025 seconds |
+./spec/autotype_spec.rb[1:52]       | passed | 0.00026 seconds |
+./spec/autotype_spec.rb[1:53]       | passed | 0.00015 seconds |
+./spec/autotype_spec.rb[1:54]       | passed | 0.0003 seconds  |
+./spec/autotype_spec.rb[1:55]       | passed | 0.00028 seconds |
+./spec/autotype_spec.rb[1:56]       | passed | 0.00024 seconds |
+./spec/autotype_spec.rb[1:57]       | passed | 0.0019 seconds  |
+./spec/autotype_spec.rb[1:58]       | passed | 0.00108 seconds |
+./spec/autotype_spec.rb[1:59]       | passed | 0.00016 seconds |

data/spec/fixtures/autotype.yml

@@ -0,0 +1,9 @@
+# Optional overrides — Autotype discovers wiring and entity paths automatically.
+# Only add entries here when heuristics get something wrong.
+
+skip:
+  - vendor/**
+
+# types:
+#   members:
+#     query: MyApp::Entities::Query

data/spec/fixtures/entities/tool_call.rb

@@ -0,0 +1,7 @@
+# frozen_string_literal: true
+
+module App
+  module Entities
+    ToolCall = Entity.define(:step)
+  end
+end

data/spec/fixtures/entities/tool_result.rb

@@ -0,0 +1,7 @@
+# frozen_string_literal: true
+
+module App
+  module Entities
+    ToolResult = Entity.define(:step)
+  end
+end

data/spec/fixtures/pipeline/actors/demo_actor.rb

@@ -0,0 +1,8 @@
+# frozen_string_literal: true
+
+module Actors
+  class DemoActor < App::Actor
+    input :tool_calls, type: App::Entities::ToolCall
+    input :tool_results, type: App::Entities::ToolResult
+  end
+end

data/spec/spec_helper.rb

@@ -0,0 +1,25 @@
+# frozen_string_literal: true
+
+require "autotype"
+require "tempfile"
+
+RSpec.configure do |config|
+  config.expect_with :rspec do |expectations|
+    expectations.include_chain_clauses_in_custom_matcher_descriptions = true
+  end
+
+  config.mock_with :rspec do |mocks|
+    mocks.verify_partial_doubles = true
+  end
+
+  config.shared_context_metadata_behavior = :apply_to_host_groups
+  config.filter_run_when_matching :focus
+  config.example_status_persistence_file_path = "spec/examples.txt"
+  config.disable_monkey_patching!
+  config.warnings = true
+  config.order = :random
+  Kernel.srand config.seed
+end
+
+require_relative "../lib/autotype/native"
+require_relative "../lib/autotype/native_bridge"

metadata

@@ -0,0 +1,149 @@
+--- !ruby/object:Gem::Specification
+name: autotype
+version: !ruby/object:Gem::Version
+  version: 0.1.0
+platform: ruby
+authors:
+- Louis Mullie
+bindir: exe
+cert_chain: []
+date: 1980-01-02 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: async
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '2.0'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '2.0'
+- !ruby/object:Gem::Dependency
+  name: faraday
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '2.0'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '2.0'
+- !ruby/object:Gem::Dependency
+  name: prism
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.0'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.0'
+- !ruby/object:Gem::Dependency
+  name: dotenv
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '3.0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '3.0'
+- !ruby/object:Gem::Dependency
+  name: rspec
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '3.13'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '3.13'
+description: Infers Ruby method signatures from Prism AST analysis and fixed-point
+  constraint solving.
+email:
+- louis.mullie@gmail.com
+executables:
+- autotype
+extensions:
+- ext/autotype/extconf.rb
+extra_rdoc_files: []
+files:
+- Gemfile
+- LICENSE
+- README.md
+- Rakefile
+- autotype.example.yml
+- autotype.gemspec
+- exe/autotype
+- ext/autotype/Makefile
+- ext/autotype/autotype.bundle.dSYM/Contents/Info.plist
+- ext/autotype/autotype.bundle.dSYM/Contents/Resources/Relocations/aarch64/autotype.bundle.yml
+- ext/autotype/autotype.c
+- ext/autotype/extconf.rb
+- lib/autotype.rb
+- lib/autotype/discovery_profile.rb
+- lib/autotype/engine.rb
+- lib/autotype/native.rb
+- lib/autotype/native_bridge.rb
+- lib/autotype/profile.rb
+- lib/autotype/type_string.rb
+- lib/autotype/version.rb
+- native/autotype/Makefile
+- native/autotype/include/stc.h
+- native/autotype/src/main.c
+- native/autotype/src/solver.c
+- native/autotype/src/type.c
+- spec/autotype_config_spec.rb
+- spec/autotype_native_spec.rb
+- spec/autotype_spec.rb
+- spec/examples.txt
+- spec/fixtures/autotype.yml
+- spec/fixtures/entities/tool_call.rb
+- spec/fixtures/entities/tool_result.rb
+- spec/fixtures/pipeline/actors/demo_actor.rb
+- spec/spec_helper.rb
+homepage: https://github.com/louismullie/autotype
+licenses:
+- MIT
+metadata:
+  homepage_uri: https://github.com/louismullie/autotype
+  source_code_uri: https://github.com/louismullie/autotype
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: 3.2.0
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubygems_version: 3.6.9
+specification_version: 4
+summary: Syntax-less Ruby type inference from method usage
+test_files: []