simplecov-sorbet 0.1.0

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA256:
+  metadata.gz: 769829fc88734ccfb203a5472a779e267ba07dac55d6fd6099955fd9de090740
+  data.tar.gz: a948a59b02a9e94812f85ebdce285629d4b665617209df09b20641069498ac94
+SHA512:
+  metadata.gz: 577b36bd437cacde42b28a22b17d480b7983cfd6ab88c93ed14a955dc79656e650d8cf233a539c173e87a1277fa9681b4855a0128755c4464b2c58e0bfe36c0c
+  data.tar.gz: fea6c1ed8d99d3d66111bcaad5369e77867321025b16730b0b12e4e6c2d374f8c288db3eb8a0264fe019622e352c981f99db3361164b02a14266234cd4e5f62f

data/.github/workflows/ci.yml

@@ -0,0 +1,49 @@
+name: CI
+
+on:
+  push:
+    branches: [main]
+  pull_request:
+    branches: [main]
+
+jobs:
+  lint:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: ruby/setup-ruby@v1
+        with:
+          ruby-version: '4.0'
+          bundler-cache: true
+      - run: bundle exec rubocop
+
+  typecheck:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: ruby/setup-ruby@v1
+        with:
+          ruby-version: '4.0'
+          bundler-cache: true
+      - run: bundle exec srb tc
+
+  test:
+    runs-on: ubuntu-latest
+    strategy:
+      fail-fast: false
+      matrix:
+        ruby: ['3.3', '3.4', '4.0']
+    steps:
+      - uses: actions/checkout@v4
+      - uses: ruby/setup-ruby@v1
+        with:
+          ruby-version: ${{ matrix.ruby }}
+          bundler-cache: true
+      - run: bundle exec rake test
+      - name: Upload coverage to Codecov
+        if: matrix.ruby == '3.3'
+        uses: codecov/codecov-action@v5
+        with:
+          token: ${{ secrets.CODECOV_TOKEN }}
+          files: coverage/coverage.json
+          fail_ci_if_error: false

data/.github/workflows/release.yml

@@ -0,0 +1,30 @@
+name: Release
+
+on:
+  push:
+    tags: ['v*']
+
+jobs:
+  publish:
+    runs-on: ubuntu-latest
+    permissions:
+      id-token: write
+      contents: read
+    steps:
+      - uses: actions/checkout@v4
+      - uses: ruby/setup-ruby@v1
+        with:
+          ruby-version: '3.3'
+      - name: Verify version matches tag
+        run: |
+          TAG_VERSION="${GITHUB_REF#refs/tags/v}"
+          GEM_VERSION=$(ruby -e "require './lib/simplecov/sorbet/version'; puts SimpleCov::Sorbet::VERSION")
+          if [ "$TAG_VERSION" != "$GEM_VERSION" ]; then
+            echo "::error::Tag ($TAG_VERSION) does not match gem version ($GEM_VERSION)"
+            exit 1
+          fi
+      - uses: rubygems/configure-rubygems-credentials@main
+      - name: Build and publish gem
+        run: |
+          gem build simplecov-sorbet.gemspec
+          gem push simplecov-sorbet-*.gem

data/.gitignore

@@ -0,0 +1,12 @@
+*.gem
+/.bundle/
+/coverage/
+/pkg/
+/tmp/
+/.idea
+
+# Generated per-machine by `dev up` (d3mlabs dev tool); never committed
+/.shadowenv.d/
+
+# Generated by dev knowledge sync; never committed
+/.cursor/rules/org-invariants.mdc

data/.rubocop.yml

@@ -0,0 +1,15 @@
+inherit_gem:
+  rubocop-shopify: rubocop.yml
+
+plugins:
+  - rubocop-sorbet
+
+AllCops:
+  SuggestExtensions: false
+
+# Tests are written in the RSpock dialect: bare comparisons in Then/Expect
+# blocks and block-name constants (Given/When/Then/Where/Cleanup) are
+# rewritten into assertions by the AST transform, not evaluated for value.
+Lint/Void:
+  Exclude:
+    - test/**/*_test.rb

data/.ruby-version

@@ -0,0 +1 @@
+4.0.6

data/CHANGELOG.md

@@ -0,0 +1,9 @@
+# Changelog
+All notable changes to this project will be documented in this file.
+
+The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
+and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
+
+## [0.1.0] - 2026-07-29
+### Initial release
+- `T.type_alias` block skipping: requiring `simplecov/sorbet` prepends an extension onto `SimpleCov::Directive.disabled_ranges` that parses each covered file (Prism via ast_transform's analysis API) and appends every alias block's line range to all three directive categories. Multi-line alias bodies are runtime-unreachable by design and no longer read as coverage misses.

data/Gemfile

@@ -0,0 +1,17 @@
+# frozen_string_literal: true
+
+source "https://rubygems.org"
+
+# Specify the gem's runtime dependencies in simplecov-sorbet.gemspec
+gemspec
+
+# Development dependencies
+gem "bundler", ">= 2.1"
+gem "minitest", "~> 5.14"
+gem "minitest-reporters", "~> 1.4"
+gem "rake", "~> 13.0"
+gem "rspock", "~> 3.0"
+gem "rubocop-shopify", "~> 3.0", require: false
+gem "rubocop-sorbet", ">= 0.10", require: false
+gem "sorbet", require: false
+gem "tapioca", require: false

data/Gemfile.lock

@@ -0,0 +1,198 @@
+PATH
+  remote: .
+  specs:
+    simplecov-sorbet (0.1.0)
+      ast_transform (~> 3.1)
+      simplecov (~> 1.0)
+      sorbet-runtime
+
+GEM
+  remote: https://rubygems.org/
+  specs:
+    ansi (1.6.0)
+    ast (2.4.3)
+    ast_transform (3.1.0)
+      parser (>= 3.3)
+      prism (>= 1.5)
+      unparser (>= 0.8)
+    benchmark (0.5.0)
+    builder (3.3.0)
+    diff-lcs (2.0.0)
+    erubi (1.13.1)
+    json (2.21.1)
+    language_server-protocol (3.17.0.6)
+    lint_roller (1.1.0)
+    logger (1.7.0)
+    minitest (5.27.0)
+    minitest-reporters (1.8.0)
+      ansi
+      builder
+      minitest (>= 5.0, < 7)
+      ruby-progressbar
+    mocha (3.1.0)
+      ruby2_keywords (>= 0.0.5)
+    netrc (0.11.0)
+    parallel (2.1.0)
+    parser (3.3.12.0)
+      ast (~> 2.4.1)
+      racc
+    prism (1.9.0)
+    racc (1.8.1)
+    rainbow (3.1.1)
+    rake (13.4.2)
+    rbi (0.4.1)
+      prism (~> 1.0)
+      rbs (>= 4.0.1)
+    rbs (4.1.0)
+      logger
+      prism (>= 1.6.0)
+      tsort
+    regexp_parser (2.12.0)
+    require-hooks (0.4.1)
+    rexml (3.4.4)
+    rspock (3.0.0)
+      ast_transform (~> 3.0)
+      minitest (~> 5.0)
+      mocha (>= 1.0)
+    rubocop (1.88.2)
+      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.49.0, < 2.0)
+      ruby-progressbar (~> 1.7)
+      unicode-display_width (>= 2.4.0, < 4.0)
+    rubocop-ast (1.50.0)
+      parser (>= 3.3.7.2)
+      prism (~> 1.7)
+    rubocop-shopify (3.0.1)
+      lint_roller
+      rubocop (~> 1.72, >= 1.72.1)
+    rubocop-sorbet (0.13.2)
+      lint_roller
+      rubocop (>= 1.75.2)
+    ruby-progressbar (1.13.0)
+    ruby2_keywords (0.0.5)
+    rubydex (0.3.0-aarch64-linux)
+    rubydex (0.3.0-arm64-darwin)
+    rubydex (0.3.0-x86_64-darwin)
+    rubydex (0.3.0-x86_64-linux)
+    simplecov (1.0.3)
+    sorbet (0.6.13367)
+      sorbet-static (= 0.6.13367)
+    sorbet-runtime (0.6.13367)
+    sorbet-static (0.6.13367-aarch64-linux)
+    sorbet-static (0.6.13367-universal-darwin)
+    sorbet-static (0.6.13367-x86_64-linux)
+    sorbet-static-and-runtime (0.6.13367)
+      sorbet (= 0.6.13367)
+      sorbet-runtime (= 0.6.13367)
+    spoom (1.8.5)
+      erubi (>= 1.10.0)
+      prism (>= 0.28.0)
+      rbi (>= 0.4.1)
+      rbs (>= 4.0.0.dev.5)
+      rexml (>= 3.2.6)
+      sorbet-static-and-runtime (>= 0.5.10187)
+      thor (>= 0.19.2)
+    tapioca (0.19.2)
+      benchmark
+      bundler (>= 2.2.25)
+      netrc (>= 0.11.0)
+      parallel (>= 1.21.0)
+      rbi (>= 0.3.7)
+      require-hooks (>= 0.2.2)
+      rubydex (>= 0.1.0.beta10)
+      sorbet-static-and-runtime (>= 0.6.12698)
+      spoom (>= 1.7.16)
+      thor (>= 1.2.0)
+      tsort
+    thor (1.5.0)
+    tsort (0.2.0)
+    unicode-display_width (3.2.0)
+      unicode-emoji (~> 4.1)
+    unicode-emoji (4.2.0)
+    unparser (0.9.0)
+      diff-lcs (>= 1.6, < 3)
+      parser (>= 3.3.0)
+      prism (>= 1.5.1)
+
+PLATFORMS
+  aarch64-linux
+  arm64-darwin
+  universal-darwin
+  x86_64-darwin
+  x86_64-linux
+
+DEPENDENCIES
+  bundler (>= 2.1)
+  minitest (~> 5.14)
+  minitest-reporters (~> 1.4)
+  rake (~> 13.0)
+  rspock (~> 3.0)
+  rubocop-shopify (~> 3.0)
+  rubocop-sorbet (>= 0.10)
+  simplecov-sorbet!
+  sorbet
+  tapioca
+
+CHECKSUMS
+  ansi (1.6.0) sha256=ac9ea0c0ea8d32fb4e271348e609963ac78882f34b73836c2a02b3622e666658
+  ast (2.4.3) sha256=954615157c1d6a382bc27d690d973195e79db7f55e9765ac7c481c60bdb4d383
+  ast_transform (3.1.0) sha256=e1b80d7600e20439407d446b813457343cd5adc9d01287d68cc7e4d8dc60643c
+  benchmark (0.5.0) sha256=465df122341aedcb81a2a24b4d3bd19b6c67c1530713fd533f3ff034e419236c
+  builder (3.3.0) sha256=497918d2f9dca528fdca4b88d84e4ef4387256d984b8154e9d5d3fe5a9c8835f
+  bundler (4.0.17) sha256=214e21431b5665dd2f99df8a5511c6b151d7a72e8015c8b38f8b775b61cbb6c1
+  diff-lcs (2.0.0) sha256=708a5d52ec2945b50f8f53a181174aa1ef2c496edf81c05957fe956dabb363d5
+  erubi (1.13.1) sha256=a082103b0885dbc5ecf1172fede897f9ebdb745a4b97a5e8dc63953db1ee4ad9
+  json (2.21.1) sha256=13a43df75d95641443f5702dff350f237164a9d811ff0f2c2800d4d980220583
+  language_server-protocol (3.17.0.6) sha256=5ef2c0c138f8267e1bc631d3328347d354f96724b0af22f2c79516120443b7f0
+  lint_roller (1.1.0) sha256=2c0c845b632a7d172cb849cc90c1bce937a28c5c8ccccb50dfd46a485003cc87
+  logger (1.7.0) sha256=196edec7cc44b66cfb40f9755ce11b392f21f7967696af15d274dde7edff0203
+  minitest (5.27.0) sha256=2d3b17f8a36fe7801c1adcffdbc38233b938eb0b4966e97a6739055a45fa77d5
+  minitest-reporters (1.8.0) sha256=8ce5280fb73ad3178ae525454df169b6f28c1b38b1d088ea91815d3a370ba384
+  mocha (3.1.0) sha256=75f42d69ebfb1f10b32489dff8f8431d37a418120ecdfc07afe3bc183d4e1d56
+  netrc (0.11.0) sha256=de1ce33da8c99ab1d97871726cba75151113f117146becbe45aa85cb3dabee3f
+  parallel (2.1.0) sha256=b35258865c2e31134c5ecb708beaaf6772adf9d5efae28e93e99260877b09356
+  parser (3.3.12.0) sha256=21a6d7f755d5a24dfbdc6e6b772e4e879a52e7631a88bc5a3a134606052c9828
+  prism (1.9.0) sha256=7b530c6a9f92c24300014919c9dcbc055bf4cdf51ec30aed099b06cd6674ef85
+  racc (1.8.1) sha256=4a7f6929691dbec8b5209a0b373bc2614882b55fc5d2e447a21aaa691303d62f
+  rainbow (3.1.1) sha256=039491aa3a89f42efa1d6dec2fc4e62ede96eb6acd95e52f1ad581182b79bc6a
+  rake (13.4.2) sha256=cb825b2bd5f1f8e91ca37bddb4b9aaf345551b4731da62949be002fa89283701
+  rbi (0.4.1) sha256=66611ca331b0b47d98607a7afda12ab44e0a98297d5393d4b93b846b9786d44d
+  rbs (4.1.0) sha256=8baba59008b0643b4ba2090e9b1d0149655b0bbd42eb2ffe42b1d0eb6923fd72
+  regexp_parser (2.12.0) sha256=35a916a1d63190ab5c9009457136ae5f3c0c7512d60291d0d1378ba18ce08ebb
+  require-hooks (0.4.1) sha256=3a4cd3ed0131b9ec5c2e68f64cb0c5ba56daec6fc363d56e8eef74816c374d7d
+  rexml (3.4.4) sha256=19e0a2c3425dfbf2d4fc1189747bdb2f849b6c5e74180401b15734bc97b5d142
+  rspock (3.0.0) sha256=279095618eb3f154a6770829a1b8537d65bb22a41555f5d89a727aeb19d0bb1e
+  rubocop (1.88.2) sha256=8def251c90cd955feb4daa3edc0ab56893250c4ce90ef81e6c80c03f9a939bbf
+  rubocop-ast (1.50.0) sha256=b9ca88300da0803ee222ad20cdb30494c0a784eed06fdc35d254b06d662788db
+  rubocop-shopify (3.0.1) sha256=4adffa6313294bd9da2b0896ae44c5eb8e419336b2413de20c38b7691a7e6774
+  rubocop-sorbet (0.13.2) sha256=7901e57b6b8e9e9b970d941dbdbb89f2c9de0183bfd2551460468f8aa9548655
+  ruby-progressbar (1.13.0) sha256=80fc9c47a9b640d6834e0dc7b3c94c9df37f08cb072b7761e4a71e22cff29b33
+  ruby2_keywords (0.0.5) sha256=ffd13740c573b7301cf7a2e61fc857b2a8e3d3aff32545d6f8300d8bae10e3ef
+  rubydex (0.3.0-aarch64-linux) sha256=a7221b71b21c5a1cdda1fbac0946ee0411a2efd94c8115cf37e4e69461d88e73
+  rubydex (0.3.0-arm64-darwin) sha256=19f685610216e4e7f488722ac90dfbc33113a384dd16db309cf939606f4c32dd
+  rubydex (0.3.0-x86_64-darwin) sha256=59d20c98b0bf2226f5db5bee14cf57075aa93aa0c3fa0176f496a217691ff7b6
+  rubydex (0.3.0-x86_64-linux) sha256=dfe4026591f226b4a1b53f82f86dc14fad2e7c221ee8a5be99a0a46bf2d58b04
+  simplecov (1.0.3) sha256=38ef0514f16ae7562f0d0f4df02610071115103d301b6de7dacbcc000082e39b
+  simplecov-sorbet (0.1.0)
+  sorbet (0.6.13367) sha256=099d9f5f420e09606deb84c9110f352e1caa970eabc01978c55dc6eb089858ce
+  sorbet-runtime (0.6.13367) sha256=4891cafce050f32f0e03f593a63cfa2ed535e541633b75a035ed36fb1b067d42
+  sorbet-static (0.6.13367-aarch64-linux) sha256=46416a8ed47e5c12d129a6f6418a98d2bb56d8ebeaea6d6a6a47306b4307acc5
+  sorbet-static (0.6.13367-universal-darwin) sha256=4b917d62aa2429273ea9af3cdfb3da9586e2524e9acdf33b9a3745cbc2a03aa5
+  sorbet-static (0.6.13367-x86_64-linux) sha256=232f7ab7f97bdb5becb0e0d23b154f9e995fa20b3a3b6e21161c80d614f9f394
+  sorbet-static-and-runtime (0.6.13367) sha256=be34c7aa16c9e73e63a9aa466619d78443649da210caf766a04b2042c9624c2a
+  spoom (1.8.5) sha256=c69e8d00ae4aaca98fc55087c4e402c276c45d9661536f0f7ec7b1cdf82a4cc7
+  tapioca (0.19.2) sha256=938731b07811aee8d23871b1aee8861d464fbaf2cfffbf79a62b0c869a5120ec
+  thor (1.5.0) sha256=e3a9e55fe857e44859ce104a84675ab6e8cd59c650a49106a05f55f136425e73
+  tsort (0.2.0) sha256=9650a793f6859a43b6641671278f79cfead60ac714148aabe4e3f0060480089f
+  unicode-display_width (3.2.0) sha256=0cdd96b5681a5949cdbc2c55e7b420facae74c4aaf9a9815eee1087cb1853c42
+  unicode-emoji (4.2.0) sha256=519e69150f75652e40bf736106cfbc8f0f73aa3fb6a65afe62fefa7f80b0f80f
+  unparser (0.9.0) sha256=4331f174a73a23b69250b13d47da3794ed1449711ee0f9ed8947dc020ba76067
+
+BUNDLED WITH
+  4.0.17

data/LICENSE.txt

@@ -0,0 +1,21 @@
+The MIT License (MIT)
+
+Copyright (c) 2026 Jean-Philippe Duchesne
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in
+all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+THE SOFTWARE.

data/README.md

@@ -0,0 +1,64 @@
+# SimpleCov::Sorbet
+
+A [SimpleCov](https://github.com/simplecov-ruby/simplecov) extension for [Sorbet](https://sorbet.org) codebases: it skips constructs Sorbet makes runtime-unreachable by design, so they stop reading as coverage misses.
+
+Today that means multi-line `T.type_alias` blocks. sorbet-runtime resolves aliases lazily and collection checks are shallow, so the block body of
+
+```ruby
+ResolvedSegment = T.type_alias do
+  [
+    CommentParser::Segment,
+    T.nilable(String),
+    T.nilable(T::Hash[Symbol, T.untyped]),
+  ]
+end
+```
+
+never executes — and SimpleCov (and any patch-coverage gate built on it, like Codecov's) reports those lines as uncovered. The usual workarounds are cramming the alias onto one line or sprinkling `# simplecov:disable` comments; both encode a tool-compatibility fact into every file that has an alias. This gem moves that knowledge to the layer that owns it: detection is purely syntactic (a [Prism](https://github.com/ruby/prism)-backed AST pass via [ast_transform](https://github.com/rspockframework/ast-transform)), and the found ranges feed straight into SimpleCov's skip machinery.
+
+## Installation
+
+Add the gem to your Gemfile's test group:
+
+```ruby
+gem "simplecov-sorbet", require: false
+```
+
+Then require it anywhere near your SimpleCov setup — before or after `SimpleCov.start`, both work (ranges are consumed at report time):
+
+```ruby
+require "simplecov"
+require "simplecov/sorbet"
+
+SimpleCov.start
+```
+
+## How it works
+
+Requiring `simplecov/sorbet` prepends an extension onto `SimpleCov::Directive.disabled_ranges`, the seam SimpleCov 1.0 consults for `# simplecov:disable` ranges — for both loaded files (`SourceFile`) and tracked-but-unloaded files (`LinesClassifier`). The extension parses each covered file, collects the line range of every `T.type_alias` block (including the `::T` form), and appends those ranges to all three directive categories (`line`, `branch`, `method` — the block body is runtime-unreachable, so anything inside it is skippable). Files the parser rejects contribute no ranges and are otherwise reported untouched.
+
+## Requirements
+
+- Ruby >= 3.3
+- simplecov ~> 1.0
+- A Sorbet codebase (the gem depends on sorbet-runtime for its own inline sigs; it never loads your type system)
+
+## Development
+
+This repo is managed with d3mlabs' `dev` tool (`dev up`, `dev test`, `dev style`, `dev typecheck`), but plain Bundler works without it: `bundle install`, then `bundle exec rake test`. The Ruby version is declared in `dependencies.rb` and mirrored in `.ruby-version`.
+
+## Releasing a New Version
+
+1. Update `VERSION` in `lib/simplecov/sorbet/version.rb`, run `bundle install` to regenerate `Gemfile.lock`, commit, open a PR, and merge to main
+2. Tag and push:
+   ```
+   git checkout main && git pull
+   git tag v0.1.0
+   git push origin v0.1.0
+   ```
+
+The [release workflow](.github/workflows/release.yml) validates that the tag matches `version.rb`, builds the gem, and publishes it to [rubygems.org](https://rubygems.org) via [Trusted Publishing](https://guides.rubygems.org/trusted-publishing/).
+
+## License
+
+MIT — see [LICENSE.txt](LICENSE.txt).

data/Rakefile

@@ -0,0 +1,16 @@
+# frozen_string_literal: true
+
+require "bundler/gem_tasks"
+require "rake/testtask"
+
+# test_loader runs first (-r) so rspock and ASTTransform.install are set up
+# before any test file loads (the rspock dialect is rewritten at load time).
+Rake::TestTask.new(:test) do |t|
+  t.libs << "test"
+  t.libs << File.expand_path("lib", __dir__)
+  t.ruby_opts << "-r #{File.expand_path('test/test_loader.rb', __dir__)}"
+  t.test_files = FileList["test/**/*_test.rb"]
+  t.warning = false
+end
+
+task default: :test

data/bin/tapioca

@@ -0,0 +1,16 @@
+#!/usr/bin/env ruby
+# frozen_string_literal: true
+
+#
+# This file was generated by Bundler.
+#
+# The application 'tapioca' is installed as part of a gem, and
+# this file is here to facilitate running it.
+#
+
+ENV["BUNDLE_GEMFILE"] ||= File.expand_path("../Gemfile", __dir__)
+
+require "rubygems"
+require "bundler/setup"
+
+load Gem.bin_path("tapioca", "tapioca")

data/dependencies.rb

@@ -0,0 +1,12 @@
+# typed: false
+# frozen_string_literal: true
+
+# Toolchain-only manifest for d3mlabs' dev tool: it provisions this exact
+# Ruby (rbenv + shadowenv) for `dev` commands. Gems stay bundler-managed
+# through the hand-written gemspec/Gemfile; contributors without dev can
+# ignore this file and use .ruby-version.
+require "dev/deps"
+
+Dev::Deps.define do
+  ruby "4.0.6"
+end

data/dev.yml

@@ -0,0 +1,14 @@
+name: simplecov-sorbet
+commands:
+  up:
+    desc: Install gems
+    run: bundle install
+  test:
+    desc: Run this repo's tests
+    run: bundle exec rake test
+  style:
+    desc: Run RuboCop
+    run: bundle exec rubocop
+  typecheck:
+    desc: Run Sorbet
+    run: bundle exec srb tc

data/lib/simplecov/sorbet/directive_extension.rb

@@ -0,0 +1,51 @@
+# typed: strict
+# frozen_string_literal: true
+
+module SimpleCov
+  module Sorbet
+    # Prepended onto SimpleCov::Directive's singleton class. Directive.disabled_ranges is the one choke point both
+    # SourceFile (loaded files) and LinesClassifier (tracked-but-unloaded files) consult for skip ranges, so
+    # extending its result covers every path SimpleCov classifies lines through. Alias ranges join all three
+    # categories: the block body is runtime-unreachable, so any line, branch, or method inside it is skippable.
+    module DirectiveExtension
+      extend T::Sig
+
+      sig { params(src_lines: T::Array[String]).returns(T::Hash[Symbol, T::Array[T::Range[Integer]]]) }
+      def disabled_ranges(src_lines)
+        ranges = T.let(super, T::Hash[Symbol, T::Array[T::Range[Integer]]])
+        alias_ranges = type_alias_ranges(src_lines.join)
+        return ranges if alias_ranges.empty?
+
+        ranges.each_value { |category_ranges| category_ranges.concat(alias_ranges) }
+        ranges
+      end
+
+      private
+
+      # Scans +source+ for +T.type_alias+ blocks. Unparseable source yields no ranges: coverage annotation must
+      # never take down a suite's reporting, and a file Ruby executed but this parser rejects has no aliases we
+      # could trust anyway. The rescue is deliberately wide — Prism parses most broken source tolerantly, and what
+      # escapes is not Parser::SyntaxError but arbitrary errors from the whitequark builder choking on
+      # error-recovered trees (e.g. NoMethodError in join_exprs).
+      #
+      # @param source [String] The Ruby source to scan.
+      #
+      # @return [Array<Range<Integer>>] One line range per alias block, in source order.
+      sig { params(source: String).returns(T::Array[T::Range[Integer]]) }
+      def type_alias_ranges(source)
+        TypeAliasRanges.new.run(source_parser.parse(source)).ranges
+      rescue StandardError
+        []
+      end
+
+      # The parser is fixed for the extension's lifetime. Prepended onto SimpleCov::Directive's singleton class,
+      # this module has no constructor to own it, so the singleton's ivar plays that role.
+      #
+      # @return [ASTTransform::SourceParser] The memoized parser.
+      sig { returns(ASTTransform::SourceParser) }
+      def source_parser
+        @source_parser ||= T.let(ASTTransform::SourceParser.new, T.nilable(ASTTransform::SourceParser))
+      end
+    end
+  end
+end

data/lib/simplecov/sorbet/type_alias_ranges.rb

@@ -0,0 +1,49 @@
+# typed: strict
+# frozen_string_literal: true
+
+module SimpleCov
+  module Sorbet
+    # Read-only analysis pass collecting the line ranges of +T.type_alias+ blocks. Their bodies are
+    # runtime-unreachable by design: sorbet-runtime resolves aliases lazily and collection checks are shallow, so a
+    # multi-line alias block never executes and reads as a permanent coverage miss. Detection is purely syntactic —
+    # this gem never loads Sorbet's type system.
+    class TypeAliasRanges < ASTTransform::AbstractAnalysis
+      extend T::Sig
+
+      # Structural patterns for the alias send (node equality ignores source locations): +T.type_alias+ and its
+      # explicit top-level form +::T.type_alias+.
+      TYPE_ALIAS_SENDS = T.let(
+        [
+          s(:send, s(:const, nil, :T), :type_alias),
+          s(:send, s(:const, s(:cbase), :T), :type_alias),
+        ].freeze,
+        T::Array[Parser::AST::Node],
+      )
+
+      # One line range per alias block, in source order.
+      sig { returns(T::Array[T::Range[Integer]]) }
+      attr_reader :ranges
+
+      sig { void }
+      def initialize
+        @ranges = T.let([], T::Array[T::Range[Integer]])
+        super
+      end
+
+      # Collects the block's full expression range when the block's send is a +T.type_alias+.
+      #
+      # @param node [Parser::AST::Node] The block node being visited.
+      #
+      # @return [Parser::AST::Node] The rebuilt node (discarded by AbstractAnalysis#run).
+      sig { params(node: Parser::AST::Node).returns(Parser::AST::Node) }
+      def on_block(node)
+        if TYPE_ALIAS_SENDS.include?(node.children.first)
+          expression = node.loc.expression
+          @ranges << (expression.first_line..expression.last_line)
+        end
+
+        super
+      end
+    end
+  end
+end

data/lib/simplecov/sorbet/version.rb

@@ -0,0 +1,8 @@
+# typed: strict
+# frozen_string_literal: true
+
+module SimpleCov
+  module Sorbet
+    VERSION = "0.1.0"
+  end
+end

data/lib/simplecov/sorbet.rb

@@ -0,0 +1,21 @@
+# typed: strict
+# frozen_string_literal: true
+
+require "simplecov"
+require "sorbet-runtime"
+require "ast_transform"
+require "ast_transform/abstract_analysis"
+
+require "simplecov/sorbet/version"
+require "simplecov/sorbet/type_alias_ranges"
+require "simplecov/sorbet/directive_extension"
+
+module SimpleCov
+  # SimpleCov extension for Sorbet codebases: skips constructs Sorbet makes runtime-unreachable by design, starting
+  # with multi-line +T.type_alias+ blocks. Requiring this file installs the extension; Module#prepend is idempotent,
+  # so requiring it more than once is harmless.
+  module Sorbet
+  end
+end
+
+SimpleCov::Directive.singleton_class.prepend(SimpleCov::Sorbet::DirectiveExtension)

data/lib/simplecov-sorbet.rb

@@ -0,0 +1,6 @@
+# typed: strict
+# frozen_string_literal: true
+
+# Entry point matching the gem name, so both `require "simplecov-sorbet"` and the conventional dashed-name path
+# `require "simplecov/sorbet"` work.
+require "simplecov/sorbet"

data/simplecov-sorbet.gemspec

@@ -0,0 +1,34 @@
+# frozen_string_literal: true
+
+lib = File.expand_path("../lib", __FILE__)
+$LOAD_PATH.unshift(lib) unless $LOAD_PATH.include?(lib)
+require "simplecov/sorbet/version"
+
+Gem::Specification.new do |spec|
+  spec.name          = "simplecov-sorbet"
+  spec.version       = SimpleCov::Sorbet::VERSION
+  spec.authors       = ["Jean-Philippe Duchesne"]
+  spec.email         = ["jpduchesne89@gmail.com"]
+
+  spec.summary       = "SimpleCov extension that skips runtime-unreachable Sorbet constructs (T.type_alias blocks)."
+  spec.description   = "Multi-line T.type_alias blocks never execute (sorbet-runtime resolves aliases lazily), " \
+    "so SimpleCov reports them as uncovered. This extension detects them syntactically and feeds their line " \
+    "ranges into SimpleCov's skip machinery."
+  spec.homepage      = "https://github.com/d3mlabs/simplecov-sorbet"
+  spec.license       = "MIT"
+  spec.files         = %x(git ls-files -z).split("\x0").reject do |f|
+    f.match(%r{^(test|spec|features|sorbet)/})
+  end
+  spec.require_paths = ["lib"]
+  spec.required_ruby_version = ">= 3.3"
+
+  # Development dependencies live in the Gemfile (Gemspec/DevelopmentDependencies).
+
+  # Runtime dependencies
+  # simplecov ~> 1.0: Directive.disabled_ranges is the seam this gem extends.
+  spec.add_runtime_dependency "simplecov", "~> 1.0"
+  # ast_transform ~> 3.1: AbstractAnalysis + ASTTransform.parse (Prism-backed).
+  spec.add_runtime_dependency "ast_transform", "~> 3.1"
+  # sorbet-runtime backs the inline sigs; the audience is Sorbet codebases, so it is already in their bundle.
+  spec.add_runtime_dependency "sorbet-runtime"
+end

metadata

@@ -0,0 +1,108 @@
+--- !ruby/object:Gem::Specification
+name: simplecov-sorbet
+version: !ruby/object:Gem::Version
+  version: 0.1.0
+platform: ruby
+authors:
+- Jean-Philippe Duchesne
+autorequire:
+bindir: bin
+cert_chain: []
+date: 2026-07-29 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: simplecov
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.0'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.0'
+- !ruby/object:Gem::Dependency
+  name: ast_transform
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '3.1'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '3.1'
+- !ruby/object:Gem::Dependency
+  name: sorbet-runtime
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+description: Multi-line T.type_alias blocks never execute (sorbet-runtime resolves
+  aliases lazily), so SimpleCov reports them as uncovered. This extension detects
+  them syntactically and feeds their line ranges into SimpleCov's skip machinery.
+email:
+- jpduchesne89@gmail.com
+executables: []
+extensions: []
+extra_rdoc_files: []
+files:
+- ".github/workflows/ci.yml"
+- ".github/workflows/release.yml"
+- ".gitignore"
+- ".rubocop.yml"
+- ".ruby-version"
+- CHANGELOG.md
+- Gemfile
+- Gemfile.lock
+- LICENSE.txt
+- README.md
+- Rakefile
+- bin/tapioca
+- dependencies.rb
+- dev.yml
+- lib/simplecov-sorbet.rb
+- lib/simplecov/sorbet.rb
+- lib/simplecov/sorbet/directive_extension.rb
+- lib/simplecov/sorbet/type_alias_ranges.rb
+- lib/simplecov/sorbet/version.rb
+- simplecov-sorbet.gemspec
+homepage: https://github.com/d3mlabs/simplecov-sorbet
+licenses:
+- MIT
+metadata: {}
+post_install_message:
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '3.3'
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubygems_version: 3.5.22
+signing_key:
+specification_version: 4
+summary: SimpleCov extension that skips runtime-unreachable Sorbet constructs (T.type_alias
+  blocks).
+test_files: []