tyda 0.0.20260903171352-x86_64-linux

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA256:
+  metadata.gz: 7c4383ccdfe6347206db885fc4c660ac0defb0b35344a23436a1af4bddaa7dea
+  data.tar.gz: 1174d9f071909ccb1ac4edf3a598f18ec9ee59996e4fcdabe7237dff55e91686
+SHA512:
+  metadata.gz: 77b51ae37369f2d258f436bc34696046c03c688e1d4ecb27f071202063a709eb21a16c1e47c768114043b9a7819b6df3a700225e6caaf12895de55280116e3d5
+  data.tar.gz: 919f78da4e894ca9df61f638759200f692444765fc876c4ff385bfd3402436cd7468868bebc9349fc7e1ee728ae6fa92b79e447f03f061effb353adc3e112a47

data/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 pvcresin
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

data/README.md

@@ -0,0 +1,46 @@
+# Tyda
+
+> **"Tyda" is a working codename (subject to change).**
+
+A fast static analysis / query-style type inference engine for Ruby, plus an RBS-emitting CLI and LSP server built on it.
+
+## Overview
+
+- Fast, low-memory type inference for Ruby / Rails (inference-focused, not a full type checker)
+- Keeps CLI RBS output; treat RBS as a projection of the query inference engine
+- TypeProf-compatible LSP: CodeLens / Hover / definition / typeDefinition
+- Type-info priority: Ruby code / `.rbs` inference (highest) → inline RBS comments `#:` (next) → type checking (assistive). Sorbet (`sig` / `.rbi`) syntax-based inference is experimental
+
+## Documentation
+
+See [`docs/`](docs/) ([`docs/README.md`](docs/README.md) is the index). Living docs are written in Japanese.
+
+- [Design](docs/design.md) / [Architecture](docs/architecture.md)
+- [Features](docs/features.md) / [Capability matrix](docs/capability-matrix.md)
+- [Testing](docs/testing.md) / [Performance](docs/performance.md)
+- [Development guide](docs/development.md) / [Roadmap](docs/roadmap.md)
+
+## Development
+
+[mise](https://mise.jdx.dev) is the only local prerequisite. Then:
+
+```bash
+mise trust && mise run setup-core   # rust + ruby + vendor/rbs; enough for ./scripts/check.sh
+# mise run setup                    # + wasm target, npm, Playwright (playground)
+# ./scripts/bootstrap.sh            # bare Linux / Codespaces / cloud agents (clang + mise too)
+```
+
+Benchmarks run against real OSS projects, fetched at pinned commits so the numbers in
+[`docs/performance.md`](docs/performance.md) are reproducible:
+
+```bash
+./scripts/setup_subjects.sh          # rack, rake, rubygems, mastodon, redmine, gitlab
+./scripts/setup_subjects.sh --list   # the pinned commit table
+```
+
+Details: [`docs/development.md`](docs/development.md).
+
+## License
+
+MIT License ([`LICENSE`](LICENSE)). Third-party notices for bundled/linked components
+(ruby/rbs, prism, etc.) are in [`THIRD-PARTY-NOTICES.md`](THIRD-PARTY-NOTICES.md).

data/THIRD-PARTY-NOTICES.md

@@ -0,0 +1,26 @@
+# Third-Party Notices
+
+tyda is licensed under the MIT License (see [LICENSE](LICENSE)). It builds on
+the following third-party components, each under its own license. Their
+copyright and license notices are retained as required.
+
+## Bundled / linked components
+
+- **ruby/rbs** — the RBS C parser (compiled into the binary via the
+  `ruby-rbs-sys` crate) and the standard-library RBS type definitions
+  (`core` / `stdlib`, fetched from the `rbs` gem and bundled into the wasm
+  playground).
+  License: BSD-2-Clause or the Ruby License (dual).
+  Copyright (C) 2019 Soutaro Matsumoto. <https://github.com/ruby/rbs>
+
+- **prism** — the Ruby source parser (via the `ruby-prism` / `ruby-prism-sys`
+  crates), compiled into the binary.
+  License: MIT.
+  Copyright 2022-present, Shopify Inc. <https://github.com/ruby/prism>
+
+## Cargo dependencies
+
+The remaining Rust dependencies are under permissive licenses (predominantly
+`MIT OR Apache-2.0`, plus MIT, Apache-2.0, BSD, ISC, Unicode-3.0, Zlib). A full
+per-crate manifest can be generated with `cargo about` or `cargo deny` for a
+release build.

data/exe/tyda

@@ -0,0 +1,7 @@
+#!/usr/bin/env ruby
+# frozen_string_literal: true
+
+require "tyda"
+
+# Hand off to the bundled native binary, preserving args and exit status.
+exec(Tyda.executable, *ARGV)

data/lib/tyda/version.rb

@@ -0,0 +1,25 @@
+# frozen_string_literal: true
+
+module Tyda
+  # Single source of version truth is `tyda-version.txt`
+  # (`MAJOR.MINOR.YYYYMMDDHHMMSS`): humans bump the `MAJOR.MINOR` prefix; the
+  # patch is a release timestamp injected by CI. Cutting a release is just
+  # merging to main — the release pipeline sets TYDA_RELEASE_VERSION to
+  # `MAJOR.MINOR.<commit timestamp>` and stamps the same value into both the gem
+  # and the binary. Builds without that env (local dev, PR CI) get a dev
+  # prerelease. The resolved value is baked into the gem at build time, so the
+  # installed gem never needs `tyda-version.txt` at runtime.
+  VERSION =
+    if (release = ENV["TYDA_RELEASE_VERSION"]) && !release.strip.empty?
+      release.strip
+    else
+      version_file = File.expand_path("../../tyda-version.txt", __dir__)
+      prefix =
+        if File.exist?(version_file)
+          File.read(version_file).strip.split(".").first(2).join(".")
+        else
+          "0.0"
+        end
+      "#{prefix}.0.dev"
+    end
+end

data/lib/tyda.rb

@@ -0,0 +1,36 @@
+# frozen_string_literal: true
+
+require_relative "tyda/version"
+
+# Ruby packaging wrapper around the Tyda CLI / LSP binary (a Rust executable).
+#
+# The gem ships a precompiled `tyda` binary and exposes its path so the `tyda`
+# executable shim (exe/tyda) and editor integrations can hand off to it. The
+# inference engine itself carries no Ruby runtime dependency.
+module Tyda
+  class Error < StandardError; end
+
+  # Absolute path to the bundled native `tyda` binary.
+  #
+  # An explicit `TYDA_BINARY` env var wins (useful during development against a
+  # local `cargo build` output).
+  #
+  # An installed gem bundles a precompiled per-platform binary under `libexec/`,
+  # staged there by the release pipeline (.github/workflows/release-gem.yml). In
+  # a source checkout libexec/ is git-ignored and absent, so set TYDA_BINARY to a
+  # locally built `tyda` and we raise a clear error otherwise.
+  def self.executable
+    env = ENV["TYDA_BINARY"]
+    return env if env && !env.empty? && File.exist?(env)
+
+    bundled = File.expand_path("../libexec/#{binary_name}", __dir__)
+    return bundled if File.exist?(bundled)
+
+    raise Error, "tyda binary not found (looked for #{bundled}); set " \
+                 "TYDA_BINARY to a locally built `tyda` (e.g. target/release/tyda)"
+  end
+
+  def self.binary_name
+    Gem.win_platform? ? "tyda.exe" : "tyda"
+  end
+end

data/libexec/vendor/rbs/BSDL

@@ -0,0 +1,22 @@
+Copyright (C) 2019 Soutaro Matsumoto. All rights reserved.
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions
+are met:
+1. Redistributions of source code must retain the above copyright
+notice, this list of conditions and the following disclaimer.
+2. Redistributions in binary form must reproduce the above copyright
+notice, this list of conditions and the following disclaimer in the
+documentation and/or other materials provided with the distribution.
+
+THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
+ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
+IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
+ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
+FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
+DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
+OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
+HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
+LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
+OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
+SUCH DAMAGE.