Hindsight recommendation from Erwin Kroon's GitHub Sorbet adoption: setting `# typed: true` as the lower bound meant his team didn't have to write signatures and instead accumulated thousands of T.unsafe / T.cast / T.must usages — pure runtime overhead with no static guarantees. Starting from `# typed: strict` forces real `sig` signatures on every method and yields far more value for the same migration effort.