Worked on the Shopify/tapioca repository, focusing on improving type safety and static analysis for Ruby codebases. Addressed a critical bug by updating the select method’s block return type from T::Boolean to BasicObject, ensuring the type signature accurately reflected actual behavior and supported non-boolean results. Enhanced regression coverage and test consistency to maintain code reliability and prevent future issues. Leveraged expertise in Ruby, DSL development, and type checking to deliver a well-documented, targeted fix that improved maintainability for downstream users. The work prioritized correctness and code quality, contributing to more robust static analysis for the Tapioca ecosystem.