Ruby · By rigortype

Measure Rigor's baseline drift across the tagged history of a real OSS Ruby project.

rigortype/rigor

Obtain a Ruby type from Rigor before writing or asserting it, using type-of, annotate, or sig-gen as appropriate.

rigortype/rigor

Add or repair a read-only upstream submodule under references/.

rigortype/rigor

Import a Ruby core/stdlib class or refinement carrier from the CRuby reference into Rigor's catalogues.

rigortype/rigor

Set up Rigor in a project's CI and surface diagnostics on pull or merge requests.

rigortype/rigor

Update Rigor's bundled gems and/or Nix Flake development environment while preserving version constraints.

rigortype/rigor

Collect rigor-survey coverage holes and work them sequentially in an interactive pi session (/queue-survey).

rigortype/rigor

Install community RBS for a project's gems so Rigor can type dependencies that currently become Dynamic.

rigortype/rigor

Update the development Ruby version markers while preserving the supported-version range.

rigortype/rigor

Create an isolated Rigor worktree with its copy-on-write gem bundle.

rigortype/rigor

Prepare a Rigor RubyGems release by bumping the version, consolidating changelog fragments, and running release gates.

rigortype/rigor

Expand Rigor's core/stdlib folding coverage for a named class, module, or method family.

rigortype/rigor

Match a configured project's Gemfile.lock to Rigor's bundled plugin catalogue and enable the plugins its current dependencies need.

rigortype/rigor