fix(ci): update RuboCop config for Ruby 3.1+

- Update TargetRubyVersion from 3.0 to 3.1
- Exclude smt_solver.rb from Lint/DeprecatedConstants (SMT::TRUE/FALSE are not Ruby's deprecated constants)
- Auto-fix anonymous block forwarding for Ruby 3.1+ syntax

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

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>

Author: yhk1038

.rubocop.yml

@@ -2,7 +2,7 @@
 # https://docs.rubocop.org/rubocop/
 
 AllCops:
-  TargetRubyVersion: 3.0
+  TargetRubyVersion: 3.1
   NewCops: enable
   SuggestExtensions: false
   Exclude:
@@ -131,6 +131,10 @@ Lint/Void:
 Lint/DuplicateBranch:
   Enabled: false
 
+Lint/DeprecatedConstants:
+  Exclude:
+    - "lib/t_ruby/smt_solver.rb"
+
 # Style exceptions for specs
 Style/StringConcatenation:
   Exclude:

lib/t_ruby/parser_combinator.rb

@@ -571,8 +571,8 @@ def fail(message)
         Fail.new(message)
       end
 
-      def lazy(&block)
-        Lazy.new(&block)
+      def lazy(&)
+        Lazy.new(&)
       end
 
       def choice(*parsers)