rigor-type-oracle

Rigor Type Oracle

You are about to write a type. Stop and ask Rigor first.

This project has a deterministic type oracle installed. Reading the source and concluding "currency is a String, pattern is a Regexp" is plausible-guess behaviour: it is right often enough to feel safe and wrong often enough to poison a signature file, a doc comment, or a reviewer's mental model. Rigor already knows the answer — for every expression, at every line, from the same engine that will check the code tomorrow. Asking it costs one command.

The rule: a type you did not obtain from Rigor is a guess, and a guessed type is never written anywhere. Not in sig/, not in an inline annotation (#:, # @rbs), not in a Sorbet sig, not in a YARD tag, not in a doc sentence, not in a review comment, and not as the stated reason for a nil check or an is_a? guard.

First: load the version-current copy

This skill's exact commands, flags, output spellings, and skip-reason ids drift between Rigor releases, so follow the copy that ships with the installed Rigor rather than any vendored or frozen copy of this file. Get the complete current procedure in one call:

rigor skill --full rigor-type-oracle   # this body + all its references/, inline

If you already loaded this skill via rigor skill you have the current copy — just proceed (read any references/NN-*.md from the directory the header names). If rigor is not on PATH, this task needs it: run rigor-next-steps to install Rigor first, then come back.

When to use

Trigger on the act, not on the user saying the word "type". You are in scope the moment you are about to write or assert one:

• Writing or editing RBS under sig/.
• Writing an inline annotation — rbs-inline #:, # @rbs, a %a{rigor:v1:…} override.
• Writing a Sorbet sig do … end, or any other type DSL.
• Writing a YARD / RDoc @param / @return / @raise, or any doc sentence that names a type ("returns an Array of entries").
• Stating a type in a review comment, a PR description, or a chat answer.
• Justifying a nil check, an is_a? / respond_to? guard, or a defensive to_s with "this should be an X".
• Being asked "what type is this?", "what does this method return?", "add types to this class", "document this file".