Excellent work! I wonder if somebody already tried to run it against Rails codebase.

Companies that use Rails have also started working on https://github.com/chanzuckerberg/sorbet-rails, worth checking out!