redis_queued_locks 1.16.2 → 1.18.0

data/sig/redis_queued_locks/acquirer/extend_lock_ttl.rbs

@@ -6,11 +6,14 @@ module RedisQueuedLocks
     module ExtendLockTTL
       EXTEND_LOCK_PTTL: String
 
-      type extendResult = { ok: bool, result: Symbol }
+      type extendResult = { ok: bool, result: { extended_locks_count: Integer } | Symbol }
       def self.extend_lock_ttl: (
         RC::client redis_client,
         String lock_name,
         Integer milliseconds,
+        Symbol read_write_mode,
+        bool all_read_locks,
+        String acquirer_id,
         RQL::loggerObj logger,
         RQL::instrObj instrumenter,
         untyped? instrument,
@@ -23,6 +26,21 @@ module RedisQueuedLocks
         RQL::Instrument::samplerObj instr_sampler,
         bool instr_sample_this
       ) -> extendResult
+
+      private def self.extend_read_lock_ttl: (
+        RC::client redis_client,
+        String lock_name,
+        String lock_key,
+        String acquirer_id,
+        Integer milliseconds
+      ) -> extendResult
+
+      private def self.extend_all_read_locks_ttl: (
+        RC::client redis_client,
+        String lock_name,
+        String lock_key,
+        Integer milliseconds
+      ) -> extendResult
     end
   end
 end

data/sig/redis_queued_locks/acquirer/lock_info.rbs

@@ -3,8 +3,16 @@ use RedisClient as RC
 module RedisQueuedLocks
   module Acquirer
     module LockInfo
-      type lockInfo = Hash[String,String|Float|Integer]
+      type readerInfo = Hash[String,String|Float|Integer|nil]
+      type lockInfo = Hash[String,String|Float|Integer|Array[readerInfo]]
       def self.lock_info: (RC::client redis_client, String lock_name) -> lockInfo?
+      private def self.read_lock_info: (
+        RC::client redis_client,
+        String lock_name,
+        String lock_key,
+        Array[String] redis_time,
+        Array[[String, Float]] read_locks
+      ) -> lockInfo?
     end
   end
 end

data/sig/redis_queued_locks/acquirer/locks.rbs

@@ -3,14 +3,23 @@ use RedisClient as RC
 module RedisQueuedLocks
   module Acquirer
     module Locks
+      type readerInfo = Hash[String,String|Float|Integer|nil]
+      type lockInfo = Hash[String,String|Float|Integer|Array[readerInfo]]
       type lockList = Set[String]
-      type locksInfo = Set[{ lock: String, status: Symbol, info: Hash[String,String|Float|Integer] }]
+      type locksInfo = Set[{ lock: String, status: Symbol, info: lockInfo }]
       type locks = lockList | locksInfo
 
       def self.locks: (RC::client redis_client, scan_size: Integer, with_info: bool) -> locks
 
       private def self.scan_locks: (RC::client redis_client, Integer scan_size) -> lockList
       private def self.extract_locks_info: (RC::client redis_client, Set[::String] lock_keys) -> locksInfo
+      private def self.read_lock_info: (
+        RC::client redis_client,
+        String lock_name,
+        String lock_key,
+        Array[String] redis_time,
+        Array[[String, Float]] read_locks
+      ) -> lockInfo?
     end
   end
 end

data/sig/redis_queued_locks/acquirer/queue_info.rbs

@@ -3,10 +3,8 @@ use RedisClient as RC
 module RedisQueuedLocks
   module Acquirer
     module QueueInfo
-      type queueInfo = {
-        'lock_queue' => String,
-        'queue' => Array[{ 'acq_id' => String, 'score' => Integer|Float }]
-      }
+      type queueRequest = Hash[String,String|Integer|Float]
+      type queueInfo = Hash[String,String|Array[queueRequest]]
       def self.queue_info: (RC::client redis_client, String lock_name) -> queueInfo?
     end
   end

data/sig/redis_queued_locks/acquirer/queues.rbs

@@ -4,7 +4,7 @@ module RedisQueuedLocks
   module Acquirer
     module Queues
       type queueList = Set[String]
-      type queuesInfo = Set[{ queue: String, requests: Array[Hash[String,Float]] }]
+      type queuesInfo = Set[{ queue: String, requests: Array[Hash[String,String|Float]] }]
       type queues = queueList | queuesInfo
 
       def self.queues: (RC::client redis_client, scan_size: Integer, with_info: bool) -> queues

data/sig/redis_queued_locks/acquirer/release_lock.rbs

@@ -32,7 +32,14 @@ module RedisQueuedLocks
       ) -> releaseResult
 
       type fullReleaseResult = { ok: bool, result: { queue: Symbol, lock: Symbol } }
-      private def self.fully_release_lock: (RC::client redis, String lock_key, String lock_key_queue) -> fullReleaseResult
+      private def self.fully_release_lock: (
+        RC::client redis,
+        String lock_name,
+        String lock_key,
+        String lock_key_queue,
+        String read_lock_key_queue,
+        String lock_readers_key
+      ) -> fullReleaseResult
     end
   end
 end

data/sig/redis_queued_locks/acquirer/release_read_lock.rbs

@@ -0,0 +1,44 @@
+use RedisQueuedLocks as RQL
+use RedisClient as RC
+
+module RedisQueuedLocks
+  module Acquirer
+    module ReleaseReadLock
+      extend RQL::Utilities
+
+      type releaseResult = {
+        ok: bool,
+        result: {
+          rel_time: Integer|Float,
+          rel_key: String,
+          rel_acq_id: String,
+          lock_res: Symbol
+        }
+      }
+      def self.release_read_lock: (
+        RC::client redis,
+        String lock_name,
+        String acquirer_id,
+        RQL::instrObj instrumenter,
+        RQL::loggerObj logger,
+        untyped? instrument,
+        bool log_sampling_enabled,
+        Integer log_sampling_percent,
+        RQL::Logging::samplerObj log_sampler,
+        bool log_sample_this,
+        bool instr_sampling_enabled,
+        Integer instr_sampling_percent,
+        RQL::Instrument::samplerObj instr_sampler,
+        bool instr_sample_this
+      ) -> releaseResult
+
+      type fullReleaseResult = { ok: bool, result: { lock: Symbol } }
+      private def self.fully_release_read_lock: (
+        RC::client redis,
+        String lock_readers_key,
+        String read_lock_key,
+        String acquirer_id
+      ) -> fullReleaseResult
+    end
+  end
+end

data/sig/redis_queued_locks/client.rbs

@@ -44,7 +44,7 @@ module RedisQueuedLocks
       ?raise_errors: bool,
       ?fail_fast: bool,
       ?conflict_strategy: Symbol,
-      ?read_write_mode: Symbol,
+      ?read_write_mode: :read | :write,
       ?access_strategy: Symbol,
       ?identity: String,
       ?meta: Hash[String|Symbol,untyped]?,
@@ -74,7 +74,7 @@ module RedisQueuedLocks
       ?retry_jitter: Integer,
       ?fail_fast: bool,
       ?conflict_strategy: Symbol,
-      ?read_write_mode: Symbol,
+      ?read_write_mode: :read | :write,
       ?access_strategy: Symbol,
       ?identity: String,
       ?instrumenter: RQL::instrObj,
@@ -109,6 +109,23 @@ module RedisQueuedLocks
     ) -> RQL::Acquirer::ReleaseLock::releaseResult
     alias release_lock unlock
 
+    def unlock_read: (
+      String lock_name,
+      ?identity: String,
+      ?logger: RQL::loggerObj,
+      ?instrumenter: RQL::instrObj,
+      ?instrument: untyped?,
+      ?log_sampling_enabled: bool,
+      ?log_sampling_percent: Integer,
+      ?log_sampler: RQL::Logging::samplerObj,
+      ?log_sample_this: bool,
+      ?instr_sampling_enabled: bool,
+      ?instr_sampling_percent: Integer,
+      ?instr_sampler: RQL::Instrument::samplerObj,
+      ?instr_sample_this: bool
+    ) -> RQL::Acquirer::ReleaseReadLock::releaseResult
+    alias release_read_lock unlock_read
+
     def locked?: (String lock_name) -> bool
     def queued?: (String lock_name) -> bool
     def lock_info: (String lock_name) -> RQL::Acquirer::LockInfo::lockInfo?
@@ -138,6 +155,9 @@ module RedisQueuedLocks
     def extend_lock_ttl: (
       String lock_name,
       Integer milliseconds,
+      ?read_write_mode: :read | :write,
+      ?all_read_locks: bool,
+      ?identity: String,
       ?logger: RQL::loggerObj,
       ?instrumenter: RQL::instrObj,
       ?instrument: untyped?,

data/sig/redis_queued_locks/resource.rbs

@@ -4,7 +4,8 @@ module RedisQueuedLocks
     LOCK_PATTERN: String
     LOCK_QUEUE_PATTERN: String
     READ_LOCK_QUEUE_PATTERN: String
-    WRITE_LOCK_QUEUE_PATTERN: String
+    LOCK_READERS_PATTERN: String
+    READ_LOCK_PATTERN: String
     SWARM_KEY: String
     REDIS_TIMESHIFT_ERROR: Integer
 
@@ -27,7 +28,13 @@ module RedisQueuedLocks
     def self.prepare_lock_key: (String lock_name) -> String
     def self.prepare_lock_queue: (String lock_name) -> String
     def self.prepare_read_lock_queue: (String lock_name) -> String
-    def self.prepare_write_lock_queue: (String lock_name) -> String
+    def self.prepare_lock_readers: (String lock_name) -> String
+    def self.prepare_read_lock_key: (String lock_name, String acquirer_id) -> String
+    def self.lock_queue_rw_mode: (String lock_queue) -> String?
+    def self.lock_name_from_readers: (String lock_readers_key) -> String
+    def self.lock_key_from_readers: (String lock_readers_key) -> String
+    def self.host_identifier_from_acquirer: (String acquirer_id) -> String
+    def self.redis_time_ms: (Array[String] redis_time) -> Integer
     def self.calc_initial_acquirer_position: () -> Float
     def self.acquirer_dead_score: (Integer|Float queue_ttl) -> Float
     def self.calc_zombie_score: (Float zombie_ttl) -> Float

data/sig/redis_queued_locks/swarm/flush_zombies.rbs

@@ -7,7 +7,7 @@ module RedisQueuedLocks
       def self.flush_zombies: (RC::client redis_client, Integer zombie_ttl, Integer lock_scan_size, Integer queue_scan_size) -> flushedZombies
 
       def enabled?: () -> bool
-      def swarm!: () -> void
+      def spawn_swarm_element!: (Ractor::Port[SwarmElement::Isolated::resultsPortMessage] swarm_element_results_port) -> Ractor
     end
   end
 end

data/sig/redis_queued_locks/swarm/swarm_element/isolated.rbs

@@ -8,10 +8,14 @@ module RedisQueuedLocks
 
         @rql_client: RQL::Client
         @swarm_element: Ractor?
+        @swarm_element_commands_port: Ractor::Port[Symbol]?
+        @swarm_element_results_port: Ractor::Port[resultsPortMessage]?
         @sync: RQL::Utilities::Lock
 
         attr_reader rql_client: RQL::Client
         attr_reader swarm_element: Ractor?
+        attr_reader swarm_element_commands_port: Ractor::Port[Symbol]?
+        attr_reader swarm_element_results_port: Ractor::Port[resultsPortMessage]?
         attr_reader sync: RQL::Utilities::Lock
 
         def initialize: (RQL::Client rql_client) -> void
@@ -27,25 +31,29 @@ module RedisQueuedLocks
         }
         def status: () -> elementStatus
 
-        def self.swarm_loop: () { () -> Thread } -> void
+        type swarmLoopStatus = { alive: bool, state: String }
+        type swarmLoopReply = swarmLoopStatus | bool
+        type resultsPortMessage = swarmLoopReply | Ractor::Port[Symbol] | Symbol
+        def self.swarm_loop: (Ractor::Port[resultsPortMessage] swarm_element_results_port) { () -> Thread } -> void
+        def self.terminate_thread: (Thread? thread) -> void
 
         private
 
         def swarm!: () -> void
+        def spawn_swarm_element!: (Ractor::Port[resultsPortMessage] swarm_element_results_port) -> Ractor
         def idle?: () -> bool
         def swarmed?: () -> bool
         def swarmed__alive?: () -> bool
         def swarmed__dead?: () -> bool
         def swarmed__running?: () -> bool
         def swarmed__stopped?: () -> bool
-        def swarm_loop__is_active: () -> bool
-
-        type swarmLoopStatus = { main_loop: { alive: bool, state: String } }
+        def swarm_loop__is_active: () -> bool?
         def swarm_loop__status: () -> swarmLoopStatus?
 
         def swarm_loop__start: () -> void
-        def swarm_loop__pause: () -> void
+        def swarm_loop__stop: () -> void
         def swarm_loop__kill: () -> void
+        def swarm_loop__send_command: (Symbol command) -> swarmLoopReply?
       end
     end
   end

data/sig/redis_queued_locks/swarm/swarm_element/threaded.rbs

@@ -10,14 +10,14 @@ module RedisQueuedLocks
         @swarm_element: Thread?
         @main_loop: Thread?
         @swarm_element_commands: Thread::SizedQueue[Symbol]?
-        @swarm_element_results: Thread::SizedQueue[{ ok: bool, result: Hash[untyped,untyped] }]?
+        @swarm_element_results: Thread::SizedQueue[swarmLoopReply]?
         @sync: RQL::Utilities::Lock
 
         attr_reader rql_client: RQL::Client
         attr_reader swarm_element: Thread?
         attr_reader main_loop: Thread?
         attr_reader swarm_element_commands: Thread::SizedQueue[Symbol]?
-        attr_reader swarm_element_results: Thread::SizedQueue[{ ok: bool, result: Hash[untyped,untyped] }]?
+        attr_reader swarm_element_results: Thread::SizedQueue[swarmLoopReply]?
         attr_reader sync: RQL::Utilities::Lock
 
         def initialize: (RQL::Client rql_client) -> void
@@ -46,14 +46,14 @@ module RedisQueuedLocks
         def terminating?: () -> bool?
         def swarmed__stopped?: () -> bool
 
-        type swarmLoopIsActive = { ok: bool, result: { is_active: bool } }
-        def swarm_loop__is_active: () -> swarmLoopIsActive?
-
-        type swarmLoopStatus = { ok: bool, result: { main_loop: { alive: bool, state: String } } }
+        type swarmLoopStatus = { alive: bool, state: String }
+        type swarmLoopReply = swarmLoopStatus | bool
+        def swarm_loop__is_active: () -> bool?
         def swarm_loop__status: () -> swarmLoopStatus?
 
         def swarm_loop__start: () -> void
         def swarm_loop__stop: () -> void
+        def swarm_loop__send_command: (Symbol command) -> swarmLoopReply?
         def swarm_element__termiante: () -> void
       end
     end

data/sig/redis_queued_locks/swarm/zombie_info.rbs

@@ -19,6 +19,11 @@ module RedisQueuedLocks
       private def self.extract_zombie_locks: (RC::client rconn, Integer zombie_ttl, Integer lock_scan_size) -> zombieLocks
       private def self.extract_zombie_acquirers: (RC::client rconn, Integer zombie_ttl, Integer lock_scan_size) -> zombieAcquirers
       private def self.extract_all: (RC::client rconn, Integer zombie_ttl, Integer lock_scan_size) -> zombieInfo
+      private def self.each_zombie_read_lock: (
+        RC::client rconn,
+        Set[String] zombie_hosts,
+        Integer lock_scan_size
+      ) { (String lock_readers_key, String acquirer_id) -> void } -> void
     end
   end
 end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: redis_queued_locks
 version: !ruby/object:Gem::Version
-  version: 1.16.2
+  version: 1.18.0
 platform: ruby
 authors:
 - Rustam Ibragimov
@@ -35,17 +35,27 @@ executables: []
 extensions: []
 extra_rdoc_files: []
 files:
+- ".claude/project-overview.md"
+- ".claude/rules/acquirer.md"
+- ".claude/rules/arguments.md"
+- ".claude/rules/git.md"
+- ".claude/rules/logic.md"
+- ".claude/rules/swarm.md"
+- ".claude/rules/tests.md"
+- ".claude/rules/type-checking.md"
+- ".claude/rules/visitors.md"
 - ".rspec"
+- ".rubocop.rbs.yml"
 - ".rubocop.yml"
 - ".ruby-version"
 - CHANGELOG.md
+- CLAUDE.md
 - CODE_OF_CONDUCT.md
 - LICENSE.txt
 - README.md
 - Rakefile
 - Steepfile
-- github_ci/ruby3.3.gemfile
-- github_ci/ruby3.3.gemfile.lock
+- github_ci/.keep
 - lib/redis_queued_locks.rb
 - lib/redis_queued_locks/acquirer.rb
 - lib/redis_queued_locks/acquirer/acquire_lock.rb
@@ -74,6 +84,7 @@ files:
 - lib/redis_queued_locks/acquirer/release_all_locks.rb
 - lib/redis_queued_locks/acquirer/release_lock.rb
 - lib/redis_queued_locks/acquirer/release_locks_of.rb
+- lib/redis_queued_locks/acquirer/release_read_lock.rb
 - lib/redis_queued_locks/client.rb
 - lib/redis_queued_locks/config.rb
 - lib/redis_queued_locks/config/dsl.rb
@@ -131,6 +142,7 @@ files:
 - sig/redis_queued_locks/acquirer/release_all_locks.rbs
 - sig/redis_queued_locks/acquirer/release_lock.rbs
 - sig/redis_queued_locks/acquirer/release_locks_of.rbs
+- sig/redis_queued_locks/acquirer/release_read_lock.rbs
 - sig/redis_queued_locks/client.rbs
 - sig/redis_queued_locks/config.rbs
 - sig/redis_queued_locks/config/dsl.rbs
@@ -176,14 +188,14 @@ required_ruby_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">="
     - !ruby/object:Gem::Version
-      version: '3.3'
+      version: '4.0'
 required_rubygems_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">="
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.6.9
+rubygems_version: 4.0.22
 specification_version: 4
 summary: Distributed locks with "prioritized lock acquisition queue" capabilities
   based on the Redis Database.

data/github_ci/ruby3.3.gemfile

@@ -1,17 +0,0 @@
-# frozen_string_literal: true
-
-source 'https://rubygems.org'
-
-gemspec path: '..'
-
-gem 'activesupport'
-gem 'armitage-rubocop'
-gem 'bundler'
-gem 'pry'
-gem 'rake'
-gem 'rbs'
-gem 'rspec'
-gem 'rspec-retry' # NOTE: temporary decision for non-refactored tests
-gem 'simplecov'
-gem 'simplecov-lcov'
-gem 'steep'

data/github_ci/ruby3.3.gemfile.lock

@@ -1,216 +0,0 @@
-PATH
-  remote: ..
-  specs:
-    redis_queued_locks (1.15.1)
-      redis-client (~> 0.20)
-
-GEM
-  remote: https://rubygems.org/
-  specs:
-    activesupport (8.1.0)
-      base64
-      bigdecimal
-      concurrent-ruby (~> 1.0, >= 1.3.1)
-      connection_pool (>= 2.2.5)
-      drb
-      i18n (>= 1.6, < 2)
-      json
-      logger (>= 1.4.2)
-      minitest (>= 5.1)
-      securerandom (>= 0.3)
-      tzinfo (~> 2.0, >= 2.0.5)
-      uri (>= 0.13.1)
-    armitage-rubocop (1.75.7.7)
-      rubocop (= 1.75.7)
-      rubocop-capybara (= 2.22.1)
-      rubocop-factory_bot (= 2.27.1)
-      rubocop-on-rbs (= 1.7.0)
-      rubocop-performance (= 1.25.0)
-      rubocop-rails (= 2.32.0)
-      rubocop-rake (= 0.7.1)
-      rubocop-rspec (= 3.6.0)
-      rubocop-rspec_rails (= 2.31.0)
-      rubocop-thread_safety (= 0.7.2)
-    ast (2.4.3)
-    base64 (0.3.0)
-    bigdecimal (3.3.1)
-    coderay (1.1.3)
-    concurrent-ruby (1.3.5)
-    connection_pool (2.5.4)
-    csv (3.3.5)
-    diff-lcs (1.6.2)
-    docile (1.4.1)
-    drb (2.2.3)
-    ffi (1.17.2)
-    ffi (1.17.2-aarch64-linux-gnu)
-    ffi (1.17.2-aarch64-linux-musl)
-    ffi (1.17.2-arm-linux-gnu)
-    ffi (1.17.2-arm-linux-musl)
-    ffi (1.17.2-arm64-darwin)
-    ffi (1.17.2-x86-linux-gnu)
-    ffi (1.17.2-x86-linux-musl)
-    ffi (1.17.2-x86_64-darwin)
-    ffi (1.17.2-x86_64-linux-gnu)
-    ffi (1.17.2-x86_64-linux-musl)
-    fileutils (1.7.3)
-    i18n (1.14.7)
-      concurrent-ruby (~> 1.0)
-    json (2.15.1)
-    language_server-protocol (3.17.0.5)
-    lint_roller (1.1.0)
-    listen (3.9.0)
-      rb-fsevent (~> 0.10, >= 0.10.3)
-      rb-inotify (~> 0.9, >= 0.9.10)
-    logger (1.7.0)
-    method_source (1.1.0)
-    minitest (5.26.0)
-    mutex_m (0.3.0)
-    parallel (1.27.0)
-    parser (3.3.9.0)
-      ast (~> 2.4.1)
-      racc
-    prism (1.6.0)
-    pry (0.15.2)
-      coderay (~> 1.1)
-      method_source (~> 1.0)
-    racc (1.8.1)
-    rack (3.2.3)
-    rainbow (3.1.1)
-    rake (13.3.0)
-    rb-fsevent (0.11.2)
-    rb-inotify (0.11.1)
-      ffi (~> 1.0)
-    rbs (3.9.5)
-      logger
-    redis-client (0.26.1)
-      connection_pool
-    regexp_parser (2.11.3)
-    rspec (3.13.2)
-      rspec-core (~> 3.13.0)
-      rspec-expectations (~> 3.13.0)
-      rspec-mocks (~> 3.13.0)
-    rspec-core (3.13.6)
-      rspec-support (~> 3.13.0)
-    rspec-expectations (3.13.5)
-      diff-lcs (>= 1.2.0, < 2.0)
-      rspec-support (~> 3.13.0)
-    rspec-mocks (3.13.6)
-      diff-lcs (>= 1.2.0, < 2.0)
-      rspec-support (~> 3.13.0)
-    rspec-retry (0.6.2)
-      rspec-core (> 3.3)
-    rspec-support (3.13.6)
-    rubocop (1.75.7)
-      json (~> 2.3)
-      language_server-protocol (~> 3.17.0.2)
-      lint_roller (~> 1.1.0)
-      parallel (~> 1.10)
-      parser (>= 3.3.0.2)
-      rainbow (>= 2.2.2, < 4.0)
-      regexp_parser (>= 2.9.3, < 3.0)
-      rubocop-ast (>= 1.44.0, < 2.0)
-      ruby-progressbar (~> 1.7)
-      unicode-display_width (>= 2.4.0, < 4.0)
-    rubocop-ast (1.47.1)
-      parser (>= 3.3.7.2)
-      prism (~> 1.4)
-    rubocop-capybara (2.22.1)
-      lint_roller (~> 1.1)
-      rubocop (~> 1.72, >= 1.72.1)
-    rubocop-factory_bot (2.27.1)
-      lint_roller (~> 1.1)
-      rubocop (~> 1.72, >= 1.72.1)
-    rubocop-on-rbs (1.7.0)
-      lint_roller (~> 1.1)
-      rbs (~> 3.5)
-      rubocop (>= 1.72.1, < 2.0)
-      zlib
-    rubocop-performance (1.25.0)
-      lint_roller (~> 1.1)
-      rubocop (>= 1.75.0, < 2.0)
-      rubocop-ast (>= 1.38.0, < 2.0)
-    rubocop-rails (2.32.0)
-      activesupport (>= 4.2.0)
-      lint_roller (~> 1.1)
-      rack (>= 1.1)
-      rubocop (>= 1.75.0, < 2.0)
-      rubocop-ast (>= 1.44.0, < 2.0)
-    rubocop-rake (0.7.1)
-      lint_roller (~> 1.1)
-      rubocop (>= 1.72.1)
-    rubocop-rspec (3.6.0)
-      lint_roller (~> 1.1)
-      rubocop (~> 1.72, >= 1.72.1)
-    rubocop-rspec_rails (2.31.0)
-      lint_roller (~> 1.1)
-      rubocop (~> 1.72, >= 1.72.1)
-      rubocop-rspec (~> 3.5)
-    rubocop-thread_safety (0.7.2)
-      lint_roller (~> 1.1)
-      rubocop (~> 1.72, >= 1.72.1)
-    ruby-progressbar (1.13.0)
-    securerandom (0.4.1)
-    simplecov (0.22.0)
-      docile (~> 1.1)
-      simplecov-html (~> 0.11)
-      simplecov_json_formatter (~> 0.1)
-    simplecov-html (0.13.2)
-    simplecov-lcov (0.9.0)
-    simplecov_json_formatter (0.1.4)
-    steep (1.10.0)
-      activesupport (>= 5.1)
-      concurrent-ruby (>= 1.1.10)
-      csv (>= 3.0.9)
-      fileutils (>= 1.1.0)
-      json (>= 2.1.0)
-      language_server-protocol (>= 3.17.0.4, < 4.0)
-      listen (~> 3.0)
-      logger (>= 1.3.0)
-      mutex_m (>= 0.3.0)
-      parser (>= 3.1)
-      rainbow (>= 2.2.2, < 4.0)
-      rbs (~> 3.9)
-      securerandom (>= 0.1)
-      strscan (>= 1.0.0)
-      terminal-table (>= 2, < 5)
-      uri (>= 0.12.0)
-    strscan (3.1.5)
-    terminal-table (4.0.0)
-      unicode-display_width (>= 1.1.1, < 4)
-    tzinfo (2.0.6)
-      concurrent-ruby (~> 1.0)
-    unicode-display_width (3.2.0)
-      unicode-emoji (~> 4.1)
-    unicode-emoji (4.1.0)
-    uri (1.0.4)
-    zlib (3.2.1)
-
-PLATFORMS
-  aarch64-linux-gnu
-  aarch64-linux-musl
-  arm-linux-gnu
-  arm-linux-musl
-  arm64-darwin
-  ruby
-  x86-linux-gnu
-  x86-linux-musl
-  x86_64-darwin
-  x86_64-linux-gnu
-  x86_64-linux-musl
-
-DEPENDENCIES
-  activesupport
-  armitage-rubocop
-  bundler
-  pry
-  rake
-  rbs
-  redis_queued_locks!
-  rspec
-  rspec-retry
-  simplecov
-  simplecov-lcov
-  steep
-
-BUNDLED WITH
-   2.7.2