fix(ci): resolve remaining CI failures

- Remove unused 'path' import in VSCode extension
- Fix ESLint errors by using proper type annotations instead of 'any'
- Fix SMT solver simplify methods to return TRuby::SMT::TRUE/FALSE instead of literals
- Fix SMT solver test for double negation
- Update Ruby version matrix: remove 3.0 (EOL), add 3.4
- Update required Ruby version from 3.0 to 3.1 in gemspec

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude Opus 4.5 <[email protected]>

Author: yhk1038

.github/workflows/ci.yml

@@ -18,7 +18,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        ruby: ['3.0', '3.1', '3.2', '3.3']
+        ruby: ['3.1', '3.2', '3.3', '3.4']
 
     steps:
       - uses: actions/checkout@v4

editors/vscode/src/extension.ts

@@ -1,5 +1,4 @@
 import * as vscode from 'vscode';
-import * as path from 'path';
 import {
     LanguageClient,
     LanguageClientOptions,

editors/vscode/src/test/suite/extension.test.ts

@@ -28,14 +28,13 @@ suite('T-Ruby Extension Test Suite', () => {
     });
 
     test('T-Ruby language should be registered', () => {
-        const languages = vscode.languages.getLanguages();
         // Language registration is async, so we just check the extension contributes it
         const extension = vscode.extensions.getExtension('t-ruby.t-ruby');
         assert.ok(extension);
 
         const contributes = extension.packageJSON.contributes;
         assert.ok(contributes.languages);
-        assert.ok(contributes.languages.some((lang: any) => lang.id === 't-ruby'));
+        assert.ok(contributes.languages.some((lang: { id: string }) => lang.id === 't-ruby'));
     });
 
     test('Grammar should be registered', () => {
@@ -44,7 +43,7 @@ suite('T-Ruby Extension Test Suite', () => {
 
         const contributes = extension.packageJSON.contributes;
         assert.ok(contributes.grammars);
-        assert.ok(contributes.grammars.some((grammar: any) => grammar.language === 't-ruby'));
+        assert.ok(contributes.grammars.some((grammar: { language: string }) => grammar.language === 't-ruby'));
     });
 
     test('Configuration should be available', () => {
@@ -62,7 +61,7 @@ suite('T-Ruby Extension Test Suite', () => {
         assert.ok(extension);
 
         const languages = extension.packageJSON.contributes.languages;
-        const tRubyLang = languages.find((lang: any) => lang.id === 't-ruby');
+        const tRubyLang = languages.find((lang: { id: string; extensions: string[] }) => lang.id === 't-ruby');
 
         assert.ok(tRubyLang);
         assert.ok(tRubyLang.extensions.includes('.trb'));

lib/t_ruby/smt_solver.rb

@@ -193,9 +193,9 @@ def simplify
         l = @left.simplify
         r = @right.simplify
 
-        return false if l == false || r == false
-        return r if l == true
-        return l if r == true
+        return FALSE if l == FALSE || r == FALSE
+        return r if l == TRUE
+        return l if r == TRUE
         return l if l == r
 
         And.new(l, r)
@@ -235,9 +235,9 @@ def simplify
         l = @left.simplify
         r = @right.simplify
 
-        return true if l == true || r == true
-        return r if l == false
-        return l if r == false
+        return TRUE if l == TRUE || r == TRUE
+        return r if l == FALSE
+        return l if r == FALSE
         return l if l == r
 
         Or.new(l, r)
@@ -441,7 +441,7 @@ def substitute(bindings)
       end
 
       def simplify
-        return true if @left == @right
+        return TRUE if @left == @right
 
         self
       end

spec/t_ruby/smt_solver_spec.rb

@@ -28,7 +28,7 @@
 
       it "simplifies double negation" do
         v = var("x")
-        double_neg = !v.nil?
+        double_neg = TRuby::SMT::Not.new(TRuby::SMT::Not.new(v))
         expect(double_neg.simplify).to eq(v)
       end
 

t_ruby.gemspec

@@ -13,7 +13,7 @@ Gem::Specification.new do |spec|
                      "and optional type signature files (.rbs)"
   spec.homepage = "https://type-ruby.github.io"
   spec.license = "MIT"
-  spec.required_ruby_version = ">= 3.0.0"
+  spec.required_ruby_version = ">= 3.1.0"
 
   spec.files = Dir["lib/**/*.rb", "bin/*", "LICENSE", "README.md"]
   spec.bindir = "bin"